About the Execution of Smart+red for NQueens-PT-10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5544.968 | 796784.00 | 811722.00 | 2751.60 | 7.5354E+0006 4.6240E+0007 1 60 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r267-smll-167863541300032.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is NQueens-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863541300032
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 484K
-rw-r--r-- 1 mcc users 5.6K Feb 26 17:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 55K Feb 26 17:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 26 17:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 17:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.5K Feb 26 17:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 26 17:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Feb 26 17:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 70K Feb 26 17:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 96K Mar 5 18:22 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1678729981707
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=NQueens-PT-10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 17:53:05] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 17:53:05] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 17:53:05] [INFO ] Load time of PNML (sax parser for PT used): 94 ms
[2023-03-13 17:53:05] [INFO ] Transformed 160 places.
[2023-03-13 17:53:05] [INFO ] Transformed 100 transitions.
[2023-03-13 17:53:05] [INFO ] Parsed PT model containing 160 places and 100 transitions and 500 arcs in 269 ms.
[2023-03-13 17:53:05] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 160 places, 100 transitions and 500 arcs took 7 ms.
Total runtime 325 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NQueens (PT), instance 10
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart
Filename model.pnml
Petri model created: 160 places, 100 transitions, 500 arcs.
AT ITER 0 NEW BEST:: SOT 12139 SOS 7385 HAS SOPS 7385 HAS SOUS 6950 HAS SOUPS 6950 WITH SCORE 6957.385
AT ITER 8 NEW BEST:: SOT 12094 SOS 7350 HAS SOPS 7350 HAS SOUS 6905 HAS SOUPS 6905 WITH SCORE 6912.35
AT ITER 14 NEW BEST:: SOT 12092 SOS 7339 HAS SOPS 7339 HAS SOUS 6883 HAS SOUPS 6883 WITH SCORE 6890.339
AT ITER 16 NEW BEST:: SOT 12092 SOS 7317 HAS SOPS 7317 HAS SOUS 6876 HAS SOUPS 6876 WITH SCORE 6883.317
AT ITER 21 NEW BEST:: SOT 11979 SOS 7220 HAS SOPS 7220 HAS SOUS 6779 HAS SOUPS 6779 WITH SCORE 6786.22
AT ITER 22 NEW BEST:: SOT 11952 SOS 7285 HAS SOPS 7285 HAS SOUS 6755 HAS SOUPS 6755 WITH SCORE 6762.285
AT ITER 24 NEW BEST:: SOT 11879 SOS 7257 HAS SOPS 7257 HAS SOUS 6709 HAS SOUPS 6709 WITH SCORE 6716.257
AT ITER 28 NEW BEST:: SOT 11852 SOS 7270 HAS SOPS 7270 HAS SOUS 6682 HAS SOUPS 6682 WITH SCORE 6689.27
AT ITER 37 NEW BEST:: SOT 11762 SOS 7180 HAS SOPS 7180 HAS SOUS 6592 HAS SOUPS 6592 WITH SCORE 6599.18
AT ITER 40 NEW BEST:: SOT 11729 SOS 7154 HAS SOPS 7154 HAS SOUS 6559 HAS SOUPS 6559 WITH SCORE 6566.154
AT ITER 41 NEW BEST:: SOT 11729 SOS 7133 HAS SOPS 7133 HAS SOUS 6559 HAS SOUPS 6559 WITH SCORE 6566.133
AT ITER 51 NEW BEST:: SOT 11721 SOS 7127 HAS SOPS 7127 HAS SOUS 6556 HAS SOUPS 6556 WITH SCORE 6563.127
AT ITER 53 NEW BEST:: SOT 11665 SOS 7071 HAS SOPS 7071 HAS SOUS 6502 HAS SOUPS 6502 WITH SCORE 6509.071
AT ITER 68 NEW BEST:: SOT 11665 SOS 7070 HAS SOPS 7070 HAS SOUS 6502 HAS SOUPS 6502 WITH SCORE 6509.07
AT ITER 73 NEW BEST:: SOT 11633 SOS 7058 HAS SOPS 7058 HAS SOUS 6481 HAS SOUPS 6481 WITH SCORE 6488.058
AT ITER 84 NEW BEST:: SOT 11633 SOS 7009 HAS SOPS 7009 HAS SOUS 6481 HAS SOUPS 6481 WITH SCORE 6488.009
AT ITER 85 NEW BEST:: SOT 11620 SOS 6996 HAS SOPS 6996 HAS SOUS 6463 HAS SOUPS 6463 WITH SCORE 6469.996
AT ITER 89 NEW BEST:: SOT 11594 SOS 6970 HAS SOPS 6970 HAS SOUS 6433 HAS SOUPS 6433 WITH SCORE 6439.97
AT ITER 90 NEW BEST:: SOT 11594 SOS 6968 HAS SOPS 6968 HAS SOUS 6433 HAS SOUPS 6433 WITH SCORE 6439.968
AT ITER 103 NEW BEST:: SOT 11594 SOS 6883 HAS SOPS 6883 HAS SOUS 6433 HAS SOUPS 6433 WITH SCORE 6439.883
AT ITER 106 NEW BEST:: SOT 11594 SOS 6878 HAS SOPS 6878 HAS SOUS 6433 HAS SOUPS 6433 WITH SCORE 6439.878
AT ITER 118 NEW BEST:: SOT 11594 SOS 6862 HAS SOPS 6862 HAS SOUS 6433 HAS SOUPS 6433 WITH SCORE 6439.862
AT ITER 132 NEW BEST:: SOT 11598 SOS 6852 HAS SOPS 6852 HAS SOUS 6426 HAS SOUPS 6426 WITH SCORE 6432.852
AT ITER 145 NEW BEST:: SOT 11587 SOS 6843 HAS SOPS 6843 HAS SOUS 6405 HAS SOUPS 6405 WITH SCORE 6411.843
AT ITER 154 NEW BEST:: SOT 11587 SOS 6819 HAS SOPS 6819 HAS SOUS 6398 HAS SOUPS 6398 WITH SCORE 6404.819
AT ITER 162 NEW BEST:: SOT 11582 SOS 6812 HAS SOPS 6812 HAS SOUS 6398 HAS SOUPS 6398 WITH SCORE 6404.812
AT ITER 163 NEW BEST:: SOT 11582 SOS 6775 HAS SOPS 6775 HAS SOUS 6398 HAS SOUPS 6398 WITH SCORE 6404.775
AT ITER 168 NEW BEST:: SOT 11582 SOS 6775 HAS SOPS 6775 HAS SOUS 6394 HAS SOUPS 6394 WITH SCORE 6400.775
AT ITER 170 NEW BEST:: SOT 11541 SOS 6754 HAS SOPS 6754 HAS SOUS 6372 HAS SOUPS 6372 WITH SCORE 6378.754
AT ITER 192 NEW BEST:: SOT 11533 SOS 6745 HAS SOPS 6745 HAS SOUS 6365 HAS SOUPS 6365 WITH SCORE 6371.745
AT ITER 195 NEW BEST:: SOT 11533 SOS 6743 HAS SOPS 6743 HAS SOUS 6365 HAS SOUPS 6365 WITH SCORE 6371.743
AT ITER 199 NEW BEST:: SOT 11480 SOS 6793 HAS SOPS 6793 HAS SOUS 6329 HAS SOUPS 6329 WITH SCORE 6335.793
AT ITER 209 NEW BEST:: SOT 11480 SOS 6783 HAS SOPS 6783 HAS SOUS 6329 HAS SOUPS 6329 WITH SCORE 6335.783
AT ITER 213 NEW BEST:: SOT 11497 SOS 6791 HAS SOPS 6791 HAS SOUS 6328 HAS SOUPS 6328 WITH SCORE 6334.791
AT ITER 214 NEW BEST:: SOT 11493 SOS 6798 HAS SOPS 6798 HAS SOUS 6322 HAS SOUPS 6322 WITH SCORE 6328.798
AT ITER 218 NEW BEST:: SOT 11437 SOS 6862 HAS SOPS 6862 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6323.862
AT ITER 241 NEW BEST:: SOT 11439 SOS 6844 HAS SOPS 6844 HAS SOUS 6302 HAS SOUPS 6302 WITH SCORE 6308.844
AT ITER 243 NEW BEST:: SOT 11439 SOS 6771 HAS SOPS 6771 HAS SOUS 6267 HAS SOUPS 6267 WITH SCORE 6273.771
AT ITER 250 NEW BEST:: SOT 11439 SOS 6751 HAS SOPS 6751 HAS SOUS 6267 HAS SOUPS 6267 WITH SCORE 6273.751
AT ITER 260 NEW BEST:: SOT 11439 SOS 6719 HAS SOPS 6719 HAS SOUS 6264 HAS SOUPS 6264 WITH SCORE 6270.719
AT ITER 269 NEW BEST:: SOT 11413 SOS 6768 HAS SOPS 6768 HAS SOUS 6260 HAS SOUPS 6260 WITH SCORE 6266.768
AT ITER 286 NEW BEST:: SOT 11350 SOS 6840 HAS SOPS 6840 HAS SOUS 6212 HAS SOUPS 6212 WITH SCORE 6218.84
AT ITER 293 NEW BEST:: SOT 11327 SOS 6817 HAS SOPS 6817 HAS SOUS 6192 HAS SOUPS 6192 WITH SCORE 6198.817
AT ITER 317 NEW BEST:: SOT 11325 SOS 6812 HAS SOPS 6812 HAS SOUS 6174 HAS SOUPS 6174 WITH SCORE 6180.812
AT ITER 340 NEW BEST:: SOT 11322 SOS 6809 HAS SOPS 6809 HAS SOUS 6171 HAS SOUPS 6171 WITH SCORE 6177.809
AT ITER 346 NEW BEST:: SOT 11322 SOS 6806 HAS SOPS 6806 HAS SOUS 6171 HAS SOUPS 6171 WITH SCORE 6177.806
AT ITER 353 NEW BEST:: SOT 11300 SOS 6790 HAS SOPS 6790 HAS SOUS 6153 HAS SOUPS 6153 WITH SCORE 6159.79
AT ITER 356 NEW BEST:: SOT 11314 SOS 6783 HAS SOPS 6783 HAS SOUS 6146 HAS SOUPS 6146 WITH SCORE 6152.783
AT ITER 364 NEW BEST:: SOT 11309 SOS 6778 HAS SOPS 6778 HAS SOUS 6141 HAS SOUPS 6141 WITH SCORE 6147.778
AT ITER 395 NEW BEST:: SOT 11306 SOS 6773 HAS SOPS 6773 HAS SOUS 6138 HAS SOUPS 6138 WITH SCORE 6144.773
AT ITER 399 NEW BEST:: SOT 11306 SOS 6765 HAS SOPS 6765 HAS SOUS 6131 HAS SOUPS 6131 WITH SCORE 6137.765
AT ITER 402 NEW BEST:: SOT 11303 SOS 6762 HAS SOPS 6762 HAS SOUS 6128 HAS SOUPS 6128 WITH SCORE 6134.762
AT ITER 415 NEW BEST:: SOT 11303 SOS 6752 HAS SOPS 6752 HAS SOUS 6127 HAS SOUPS 6127 WITH SCORE 6133.752
AT ITER 438 NEW BEST:: SOT 11282 SOS 6799 HAS SOPS 6799 HAS SOUS 6118 HAS SOUPS 6118 WITH SCORE 6124.799
AT ITER 445 NEW BEST:: SOT 11279 SOS 6796 HAS SOPS 6796 HAS SOUS 6115 HAS SOUPS 6115 WITH SCORE 6121.796
AT ITER 450 NEW BEST:: SOT 11279 SOS 6795 HAS SOPS 6795 HAS SOUS 6108 HAS SOUPS 6108 WITH SCORE 6114.795
AT ITER 453 NEW BEST:: SOT 11273 SOS 6763 HAS SOPS 6763 HAS SOUS 6084 HAS SOUPS 6084 WITH SCORE 6090.763
AT ITER 457 NEW BEST:: SOT 11273 SOS 6743 HAS SOPS 6743 HAS SOUS 6084 HAS SOUPS 6084 WITH SCORE 6090.743
AT ITER 466 NEW BEST:: SOT 11273 SOS 6672 HAS SOPS 6672 HAS SOUS 6084 HAS SOUPS 6084 WITH SCORE 6090.672
AT ITER 475 NEW BEST:: SOT 11272 SOS 6671 HAS SOPS 6671 HAS SOUS 6083 HAS SOUPS 6083 WITH SCORE 6089.671
AT ITER 500 NEW BEST:: SOT 11190 SOS 6600 HAS SOPS 6600 HAS SOUS 6012 HAS SOUPS 6012 WITH SCORE 6018.6
AT ITER 502 NEW BEST:: SOT 11162 SOS 6621 HAS SOPS 6621 HAS SOUS 6000 HAS SOUPS 6000 WITH SCORE 6006.621
AT ITER 528 NEW BEST:: SOT 11161 SOS 6620 HAS SOPS 6620 HAS SOUS 5999 HAS SOUPS 5999 WITH SCORE 6005.62
AT ITER 531 NEW BEST:: SOT 11161 SOS 6615 HAS SOPS 6615 HAS SOUS 5999 HAS SOUPS 5999 WITH SCORE 6005.615
AT ITER 539 NEW BEST:: SOT 11154 SOS 6618 HAS SOPS 6618 HAS SOUS 5995 HAS SOUPS 5995 WITH SCORE 6001.618
AT ITER 554 NEW BEST:: SOT 11151 SOS 6615 HAS SOPS 6615 HAS SOUS 5992 HAS SOUPS 5992 WITH SCORE 5998.615
AT ITER 557 NEW BEST:: SOT 11151 SOS 6545 HAS SOPS 6545 HAS SOUS 5985 HAS SOUPS 5985 WITH SCORE 5991.545
AT ITER 559 NEW BEST:: SOT 11151 SOS 6534 HAS SOPS 6534 HAS SOUS 5985 HAS SOUPS 5985 WITH SCORE 5991.534
AT ITER 562 NEW BEST:: SOT 11151 SOS 6471 HAS SOPS 6471 HAS SOUS 5985 HAS SOUPS 5985 WITH SCORE 5991.471
AT ITER 567 NEW BEST:: SOT 11151 SOS 6466 HAS SOPS 6466 HAS SOUS 5981 HAS SOUPS 5981 WITH SCORE 5987.466
AT ITER 571 NEW BEST:: SOT 11151 SOS 6459 HAS SOPS 6459 HAS SOUS 5981 HAS SOUPS 5981 WITH SCORE 5987.459
AT ITER 597 NEW BEST:: SOT 11151 SOS 6451 HAS SOPS 6451 HAS SOUS 5981 HAS SOUPS 5981 WITH SCORE 5987.451
AT ITER 616 NEW BEST:: SOT 11167 SOS 6442 HAS SOPS 6442 HAS SOUS 5978 HAS SOUPS 5978 WITH SCORE 5984.442
AT ITER 650 NEW BEST:: SOT 11167 SOS 6426 HAS SOPS 6426 HAS SOUS 5978 HAS SOUPS 5978 WITH SCORE 5984.426
AT ITER 654 NEW BEST:: SOT 11164 SOS 6423 HAS SOPS 6423 HAS SOUS 5975 HAS SOUPS 5975 WITH SCORE 5981.423
AT ITER 655 NEW BEST:: SOT 11165 SOS 6321 HAS SOPS 6321 HAS SOUS 5964 HAS SOUPS 5964 WITH SCORE 5970.321
AT ITER 671 NEW BEST:: SOT 11136 SOS 6292 HAS SOPS 6292 HAS SOUS 5944 HAS SOUPS 5944 WITH SCORE 5950.292
AT ITER 679 NEW BEST:: SOT 11135 SOS 6345 HAS SOPS 6345 HAS SOUS 5943 HAS SOUPS 5943 WITH SCORE 5949.345
AT ITER 693 NEW BEST:: SOT 11120 SOS 6337 HAS SOPS 6337 HAS SOUS 5935 HAS SOUPS 5935 WITH SCORE 5941.337
AT ITER 694 NEW BEST:: SOT 11092 SOS 6329 HAS SOPS 6329 HAS SOUS 5927 HAS SOUPS 5927 WITH SCORE 5933.329
AT ITER 698 NEW BEST:: SOT 11079 SOS 6398 HAS SOPS 6398 HAS SOUS 5914 HAS SOUPS 5914 WITH SCORE 5920.398
AT ITER 699 NEW BEST:: SOT 11079 SOS 6391 HAS SOPS 6391 HAS SOUS 5914 HAS SOUPS 5914 WITH SCORE 5920.391
AT ITER 715 NEW BEST:: SOT 11079 SOS 6381 HAS SOPS 6381 HAS SOUS 5914 HAS SOUPS 5914 WITH SCORE 5920.381
AT ITER 720 NEW BEST:: SOT 11066 SOS 6348 HAS SOPS 6348 HAS SOUS 5882 HAS SOUPS 5882 WITH SCORE 5888.348
AT ITER 756 NEW BEST:: SOT 11050 SOS 6324 HAS SOPS 6324 HAS SOUS 5866 HAS SOUPS 5866 WITH SCORE 5872.324
AT ITER 759 NEW BEST:: SOT 11050 SOS 6321 HAS SOPS 6321 HAS SOUS 5866 HAS SOUPS 5866 WITH SCORE 5872.321
AT ITER 761 NEW BEST:: SOT 11043 SOS 6306 HAS SOPS 6306 HAS SOUS 5858 HAS SOUPS 5858 WITH SCORE 5864.306
AT ITER 766 NEW BEST:: SOT 11036 SOS 6299 HAS SOPS 6299 HAS SOUS 5851 HAS SOUPS 5851 WITH SCORE 5857.299
AT ITER 776 NEW BEST:: SOT 11027 SOS 6280 HAS SOPS 6280 HAS SOUS 5822 HAS SOUPS 5822 WITH SCORE 5828.28
AT ITER 783 NEW BEST:: SOT 11014 SOS 6267 HAS SOPS 6267 HAS SOUS 5809 HAS SOUPS 5809 WITH SCORE 5815.267
AT ITER 794 NEW BEST:: SOT 11014 SOS 6268 HAS SOPS 6268 HAS SOUS 5805 HAS SOUPS 5805 WITH SCORE 5811.268
AT ITER 800 NEW BEST:: SOT 11012 SOS 6266 HAS SOPS 6266 HAS SOUS 5803 HAS SOUPS 5803 WITH SCORE 5809.266
AT ITER 842 NEW BEST:: SOT 11002 SOS 6256 HAS SOPS 6256 HAS SOUS 5797 HAS SOUPS 5797 WITH SCORE 5803.256
AT ITER 899 NEW BEST:: SOT 10983 SOS 6270 HAS SOPS 6270 HAS SOUS 5782 HAS SOUPS 5782 WITH SCORE 5788.27
AT ITER 903 NEW BEST:: SOT 10974 SOS 6261 HAS SOPS 6261 HAS SOUS 5773 HAS SOUPS 5773 WITH SCORE 5779.261
AT ITER 905 NEW BEST:: SOT 10974 SOS 6225 HAS SOPS 6225 HAS SOUS 5770 HAS SOUPS 5770 WITH SCORE 5776.225
AT ITER 925 NEW BEST:: SOT 10966 SOS 6217 HAS SOPS 6217 HAS SOUS 5762 HAS SOUPS 5762 WITH SCORE 5768.217
AT ITER 949 NEW BEST:: SOT 10965 SOS 6216 HAS SOPS 6216 HAS SOUS 5761 HAS SOUPS 5761 WITH SCORE 5767.216
AT ITER 964 NEW BEST:: SOT 10954 SOS 6211 HAS SOPS 6211 HAS SOUS 5754 HAS SOUPS 5754 WITH SCORE 5760.211
AT ITER 968 NEW BEST:: SOT 10954 SOS 6213 HAS SOPS 6213 HAS SOUS 5747 HAS SOUPS 5747 WITH SCORE 5753.213
AT ITER 976 NEW BEST:: SOT 10954 SOS 6216 HAS SOPS 6216 HAS SOUS 5744 HAS SOUPS 5744 WITH SCORE 5750.216
AT ITER 1006 NEW BEST:: SOT 10954 SOS 6204 HAS SOPS 6204 HAS SOUS 5744 HAS SOUPS 5744 WITH SCORE 5750.204
AT ITER 1035 NEW BEST:: SOT 10951 SOS 6201 HAS SOPS 6201 HAS SOUS 5741 HAS SOUPS 5741 WITH SCORE 5747.201
AT ITER 1039 NEW BEST:: SOT 10944 SOS 6374 HAS SOPS 6374 HAS SOUS 5740 HAS SOUPS 5740 WITH SCORE 5746.374
AT ITER 1045 NEW BEST:: SOT 10940 SOS 6370 HAS SOPS 6370 HAS SOUS 5736 HAS SOUPS 5736 WITH SCORE 5742.37
AT ITER 1053 NEW BEST:: SOT 10940 SOS 6368 HAS SOPS 6368 HAS SOUS 5736 HAS SOUPS 5736 WITH SCORE 5742.368
AT ITER 1056 NEW BEST:: SOT 10937 SOS 6365 HAS SOPS 6365 HAS SOUS 5733 HAS SOUPS 5733 WITH SCORE 5739.365
AT ITER 1084 NEW BEST:: SOT 10920 SOS 6437 HAS SOPS 6437 HAS SOUS 5727 HAS SOUPS 5727 WITH SCORE 5733.437
AT ITER 1086 NEW BEST:: SOT 10920 SOS 6436 HAS SOPS 6436 HAS SOUS 5727 HAS SOUPS 5727 WITH SCORE 5733.436
AT ITER 1101 NEW BEST:: SOT 10920 SOS 6433 HAS SOPS 6433 HAS SOUS 5727 HAS SOUPS 5727 WITH SCORE 5733.433
AT ITER 1134 NEW BEST:: SOT 10920 SOS 6424 HAS SOPS 6424 HAS SOUS 5727 HAS SOUPS 5727 WITH SCORE 5733.424
AT ITER 1138 NEW BEST:: SOT 10916 SOS 6403 HAS SOPS 6403 HAS SOUS 5727 HAS SOUPS 5727 WITH SCORE 5733.403
AT ITER 1155 NEW BEST:: SOT 10907 SOS 6394 HAS SOPS 6394 HAS SOUS 5727 HAS SOUPS 5727 WITH SCORE 5733.394
AT ITER 1160 NEW BEST:: SOT 10907 SOS 6391 HAS SOPS 6391 HAS SOUS 5712 HAS SOUPS 5712 WITH SCORE 5718.391
AT ITER 1177 NEW BEST:: SOT 10906 SOS 6394 HAS SOPS 6394 HAS SOUS 5711 HAS SOUPS 5711 WITH SCORE 5717.394
AT ITER 1226 NEW BEST:: SOT 10900 SOS 6386 HAS SOPS 6386 HAS SOUS 5703 HAS SOUPS 5703 WITH SCORE 5709.386
AT ITER 1250 NEW BEST:: SOT 10900 SOS 6398 HAS SOPS 6398 HAS SOUS 5697 HAS SOUPS 5697 WITH SCORE 5703.398
AT ITER 1264 NEW BEST:: SOT 10898 SOS 6468 HAS SOPS 6468 HAS SOUS 5695 HAS SOUPS 5695 WITH SCORE 5701.468
AT ITER 1280 NEW BEST:: SOT 10896 SOS 6466 HAS SOPS 6466 HAS SOUS 5693 HAS SOUPS 5693 WITH SCORE 5699.466
AT ITER 1290 NEW BEST:: SOT 10896 SOS 6464 HAS SOPS 6464 HAS SOUS 5693 HAS SOUPS 5693 WITH SCORE 5699.464
AT ITER 1299 NEW BEST:: SOT 10892 SOS 6473 HAS SOPS 6473 HAS SOUS 5689 HAS SOUPS 5689 WITH SCORE 5695.473
AT ITER 1333 NEW BEST:: SOT 10892 SOS 6351 HAS SOPS 6351 HAS SOUS 5689 HAS SOUPS 5689 WITH SCORE 5695.351
AT ITER 1343 NEW BEST:: SOT 10874 SOS 6333 HAS SOPS 6333 HAS SOUS 5676 HAS SOUPS 5676 WITH SCORE 5682.333
AT ITER 1349 NEW BEST:: SOT 10872 SOS 6331 HAS SOPS 6331 HAS SOUS 5674 HAS SOUPS 5674 WITH SCORE 5680.331
AT ITER 1355 NEW BEST:: SOT 10876 SOS 6334 HAS SOPS 6334 HAS SOUS 5673 HAS SOUPS 5673 WITH SCORE 5679.334
AT ITER 1388 NEW BEST:: SOT 10876 SOS 6318 HAS SOPS 6318 HAS SOUS 5666 HAS SOUPS 5666 WITH SCORE 5672.318
AT ITER 1416 NEW BEST:: SOT 10876 SOS 6314 HAS SOPS 6314 HAS SOUS 5666 HAS SOUPS 5666 WITH SCORE 5672.314
AT ITER 1427 NEW BEST:: SOT 10873 SOS 6312 HAS SOPS 6312 HAS SOUS 5664 HAS SOUPS 5664 WITH SCORE 5670.312
AT ITER 1433 NEW BEST:: SOT 10873 SOS 6286 HAS SOPS 6286 HAS SOUS 5664 HAS SOUPS 5664 WITH SCORE 5670.286
AT ITER 1435 NEW BEST:: SOT 10873 SOS 6284 HAS SOPS 6284 HAS SOUS 5660 HAS SOUPS 5660 WITH SCORE 5666.284
AT ITER 1437 NEW BEST:: SOT 10873 SOS 6272 HAS SOPS 6272 HAS SOUS 5658 HAS SOUPS 5658 WITH SCORE 5664.272
AT ITER 1453 NEW BEST:: SOT 10873 SOS 6262 HAS SOPS 6262 HAS SOUS 5651 HAS SOUPS 5651 WITH SCORE 5657.262
AT ITER 1464 NEW BEST:: SOT 10873 SOS 6261 HAS SOPS 6261 HAS SOUS 5651 HAS SOUPS 5651 WITH SCORE 5657.261
AT ITER 1476 NEW BEST:: SOT 10873 SOS 6244 HAS SOPS 6244 HAS SOUS 5651 HAS SOUPS 5651 WITH SCORE 5657.244
AT ITER 1480 NEW BEST:: SOT 10868 SOS 6254 HAS SOPS 6254 HAS SOUS 5646 HAS SOUPS 5646 WITH SCORE 5652.254
AT ITER 1481 NEW BEST:: SOT 10857 SOS 6243 HAS SOPS 6243 HAS SOUS 5635 HAS SOUPS 5635 WITH SCORE 5641.243
AT ITER 1488 NEW BEST:: SOT 10857 SOS 6244 HAS SOPS 6244 HAS SOUS 5633 HAS SOUPS 5633 WITH SCORE 5639.244
AT ITER 1513 NEW BEST:: SOT 10857 SOS 6232 HAS SOPS 6232 HAS SOUS 5633 HAS SOUPS 5633 WITH SCORE 5639.232
AT ITER 1531 NEW BEST:: SOT 10857 SOS 6227 HAS SOPS 6227 HAS SOUS 5633 HAS SOUPS 5633 WITH SCORE 5639.227
AT ITER 1548 NEW BEST:: SOT 10855 SOS 6365 HAS SOPS 6365 HAS SOUS 5631 HAS SOUPS 5631 WITH SCORE 5637.365
AT ITER 1564 NEW BEST:: SOT 10855 SOS 6361 HAS SOPS 6361 HAS SOUS 5629 HAS SOUPS 5629 WITH SCORE 5635.361
AT ITER 1570 NEW BEST:: SOT 10855 SOS 6349 HAS SOPS 6349 HAS SOUS 5629 HAS SOUPS 5629 WITH SCORE 5635.349
AT ITER 1575 NEW BEST:: SOT 10855 SOS 6335 HAS SOPS 6335 HAS SOUS 5629 HAS SOUPS 5629 WITH SCORE 5635.335
AT ITER 1576 NEW BEST:: SOT 10855 SOS 6335 HAS SOPS 6335 HAS SOUS 5627 HAS SOUPS 5627 WITH SCORE 5633.335
AT ITER 1604 NEW BEST:: SOT 10855 SOS 6329 HAS SOPS 6329 HAS SOUS 5627 HAS SOUPS 5627 WITH SCORE 5633.329
AT ITER 1701 NEW BEST:: SOT 10855 SOS 6324 HAS SOPS 6324 HAS SOUS 5627 HAS SOUPS 5627 WITH SCORE 5633.324
AT ITER 1718 NEW BEST:: SOT 10836 SOS 6385 HAS SOPS 6385 HAS SOUS 5618 HAS SOUPS 5618 WITH SCORE 5624.385
AT ITER 1746 NEW BEST:: SOT 10836 SOS 6381 HAS SOPS 6381 HAS SOUS 5618 HAS SOUPS 5618 WITH SCORE 5624.381
AT ITER 1767 NEW BEST:: SOT 10830 SOS 6375 HAS SOPS 6375 HAS SOUS 5612 HAS SOUPS 5612 WITH SCORE 5618.375
AT ITER 1788 NEW BEST:: SOT 10830 SOS 6364 HAS SOPS 6364 HAS SOUS 5612 HAS SOUPS 5612 WITH SCORE 5618.364
AT ITER 1804 NEW BEST:: SOT 10830 SOS 6354 HAS SOPS 6354 HAS SOUS 5612 HAS SOUPS 5612 WITH SCORE 5618.354
AT ITER 1807 NEW BEST:: SOT 10830 SOS 6357 HAS SOPS 6357 HAS SOUS 5604 HAS SOUPS 5604 WITH SCORE 5610.357
AT ITER 1841 NEW BEST:: SOT 10830 SOS 6357 HAS SOPS 6357 HAS SOUS 5597 HAS SOUPS 5597 WITH SCORE 5603.357
AT ITER 1864 NEW BEST:: SOT 10800 SOS 6327 HAS SOPS 6327 HAS SOUS 5567 HAS SOUPS 5567 WITH SCORE 5573.327
AT ITER 1913 NEW BEST:: SOT 10788 SOS 6325 HAS SOPS 6325 HAS SOUS 5555 HAS SOUPS 5555 WITH SCORE 5561.325
AT ITER 1917 NEW BEST:: SOT 10766 SOS 6357 HAS SOPS 6357 HAS SOUS 5550 HAS SOUPS 5550 WITH SCORE 5556.357
AT ITER 1920 NEW BEST:: SOT 10766 SOS 6339 HAS SOPS 6339 HAS SOUS 5550 HAS SOUPS 5550 WITH SCORE 5556.339
AT ITER 1925 NEW BEST:: SOT 10760 SOS 6333 HAS SOPS 6333 HAS SOUS 5548 HAS SOUPS 5548 WITH SCORE 5554.333
AT ITER 1987 NEW BEST:: SOT 10772 SOS 6329 HAS SOPS 6329 HAS SOUS 5544 HAS SOUPS 5544 WITH SCORE 5550.329
AT ITER 1988 NEW BEST:: SOT 10772 SOS 6338 HAS SOPS 6338 HAS SOUS 5540 HAS SOUPS 5540 WITH SCORE 5546.338
AT ITER 1997 NEW BEST:: SOT 10769 SOS 6335 HAS SOPS 6335 HAS SOUS 5537 HAS SOUPS 5537 WITH SCORE 5543.335
AT ITER 2005 NEW BEST:: SOT 10752 SOS 6350 HAS SOPS 6350 HAS SOUS 5520 HAS SOUPS 5520 WITH SCORE 5526.35
AT ITER 2021 NEW BEST:: SOT 10752 SOS 6347 HAS SOPS 6347 HAS SOUS 5518 HAS SOUPS 5518 WITH SCORE 5524.347
AT ITER 2035 NEW BEST:: SOT 10752 SOS 6332 HAS SOPS 6332 HAS SOUS 5518 HAS SOUPS 5518 WITH SCORE 5524.332
AT ITER 2106 NEW BEST:: SOT 10752 SOS 6309 HAS SOPS 6309 HAS SOUS 5515 HAS SOUPS 5515 WITH SCORE 5521.309
AT ITER 2139 NEW BEST:: SOT 10752 SOS 6326 HAS SOPS 6326 HAS SOUS 5512 HAS SOUPS 5512 WITH SCORE 5518.326
AT ITER 2153 NEW BEST:: SOT 10750 SOS 6423 HAS SOPS 6423 HAS SOUS 5510 HAS SOUPS 5510 WITH SCORE 5516.423
AT ITER 2163 NEW BEST:: SOT 10749 SOS 6422 HAS SOPS 6422 HAS SOUS 5507 HAS SOUPS 5507 WITH SCORE 5513.422
AT ITER 2176 NEW BEST:: SOT 10747 SOS 6420 HAS SOPS 6420 HAS SOUS 5505 HAS SOUPS 5505 WITH SCORE 5511.42
AT ITER 2191 NEW BEST:: SOT 10747 SOS 6411 HAS SOPS 6411 HAS SOUS 5497 HAS SOUPS 5497 WITH SCORE 5503.411
AT ITER 2207 NEW BEST:: SOT 10745 SOS 6409 HAS SOPS 6409 HAS SOUS 5496 HAS SOUPS 5496 WITH SCORE 5502.409
AT ITER 2269 NEW BEST:: SOT 10749 SOS 6416 HAS SOPS 6416 HAS SOUS 5494 HAS SOUPS 5494 WITH SCORE 5500.416
AT ITER 2273 NEW BEST:: SOT 10749 SOS 6407 HAS SOPS 6407 HAS SOUS 5494 HAS SOUPS 5494 WITH SCORE 5500.407
AT ITER 2282 NEW BEST:: SOT 10749 SOS 6407 HAS SOPS 6407 HAS SOUS 5493 HAS SOUPS 5493 WITH SCORE 5499.407
AT ITER 2358 NEW BEST:: SOT 10749 SOS 6403 HAS SOPS 6403 HAS SOUS 5493 HAS SOUPS 5493 WITH SCORE 5499.403
AT ITER 2368 NEW BEST:: SOT 10749 SOS 6388 HAS SOPS 6388 HAS SOUS 5490 HAS SOUPS 5490 WITH SCORE 5496.388
AT ITER 2372 NEW BEST:: SOT 10749 SOS 6377 HAS SOPS 6377 HAS SOUS 5490 HAS SOUPS 5490 WITH SCORE 5496.377
AT ITER 2375 NEW BEST:: SOT 10743 SOS 6393 HAS SOPS 6393 HAS SOUS 5484 HAS SOUPS 5484 WITH SCORE 5490.393
AT ITER 2419 NEW BEST:: SOT 10738 SOS 6514 HAS SOPS 6514 HAS SOUS 5479 HAS SOUPS 5479 WITH SCORE 5485.514
AT ITER 2466 NEW BEST:: SOT 10736 SOS 6512 HAS SOPS 6512 HAS SOUS 5477 HAS SOUPS 5477 WITH SCORE 5483.512
AT ITER 2511 NEW BEST:: SOT 10736 SOS 6509 HAS SOPS 6509 HAS SOUS 5477 HAS SOUPS 5477 WITH SCORE 5483.509
AT ITER 2523 NEW BEST:: SOT 10735 SOS 6508 HAS SOPS 6508 HAS SOUS 5476 HAS SOUPS 5476 WITH SCORE 5482.508
AT ITER 2525 NEW BEST:: SOT 10735 SOS 6502 HAS SOPS 6502 HAS SOUS 5476 HAS SOUPS 5476 WITH SCORE 5482.502
AT ITER 2543 NEW BEST:: SOT 10730 SOS 6497 HAS SOPS 6497 HAS SOUS 5471 HAS SOUPS 5471 WITH SCORE 5477.497
AT ITER 2555 NEW BEST:: SOT 10729 SOS 6502 HAS SOPS 6502 HAS SOUS 5470 HAS SOUPS 5470 WITH SCORE 5476.502
AT ITER 2564 NEW BEST:: SOT 10656 SOS 6485 HAS SOPS 6485 HAS SOUS 5466 HAS SOUPS 5466 WITH SCORE 5472.485
AT ITER 2592 NEW BEST:: SOT 10652 SOS 6481 HAS SOPS 6481 HAS SOUS 5462 HAS SOUPS 5462 WITH SCORE 5468.481
AT ITER 2593 NEW BEST:: SOT 10635 SOS 6520 HAS SOPS 6520 HAS SOUS 5454 HAS SOUPS 5454 WITH SCORE 5460.52
AT ITER 2603 NEW BEST:: SOT 10635 SOS 6520 HAS SOPS 6520 HAS SOUS 5448 HAS SOUPS 5448 WITH SCORE 5454.52
AT ITER 2621 NEW BEST:: SOT 10625 SOS 6510 HAS SOPS 6510 HAS SOUS 5440 HAS SOUPS 5440 WITH SCORE 5446.51
AT ITER 2627 NEW BEST:: SOT 10625 SOS 6511 HAS SOPS 6511 HAS SOUS 5439 HAS SOUPS 5439 WITH SCORE 5445.511
AT ITER 2655 NEW BEST:: SOT 10625 SOS 6507 HAS SOPS 6507 HAS SOUS 5435 HAS SOUPS 5435 WITH SCORE 5441.507
AT ITER 2690 NEW BEST:: SOT 10618 SOS 6500 HAS SOPS 6500 HAS SOUS 5428 HAS SOUPS 5428 WITH SCORE 5434.5
AT ITER 2727 NEW BEST:: SOT 10618 SOS 6491 HAS SOPS 6491 HAS SOUS 5428 HAS SOUPS 5428 WITH SCORE 5434.491
AT ITER 2740 NEW BEST:: SOT 10594 SOS 6467 HAS SOPS 6467 HAS SOUS 5424 HAS SOUPS 5424 WITH SCORE 5430.467
AT ITER 2746 NEW BEST:: SOT 10594 SOS 6439 HAS SOPS 6439 HAS SOUS 5424 HAS SOUPS 5424 WITH SCORE 5430.439
AT ITER 2763 NEW BEST:: SOT 10580 SOS 6454 HAS SOPS 6454 HAS SOUS 5410 HAS SOUPS 5410 WITH SCORE 5416.454
AT ITER 2790 NEW BEST:: SOT 10583 SOS 6453 HAS SOPS 6453 HAS SOUS 5403 HAS SOUPS 5403 WITH SCORE 5409.453
AT ITER 2825 NEW BEST:: SOT 10581 SOS 6451 HAS SOPS 6451 HAS SOUS 5401 HAS SOUPS 5401 WITH SCORE 5407.451
AT ITER 2831 NEW BEST:: SOT 10581 SOS 6451 HAS SOPS 6451 HAS SOUS 5397 HAS SOUPS 5397 WITH SCORE 5403.451
AT ITER 2847 NEW BEST:: SOT 10577 SOS 6447 HAS SOPS 6447 HAS SOUS 5393 HAS SOUPS 5393 WITH SCORE 5399.447
AT ITER 2854 NEW BEST:: SOT 10577 SOS 6443 HAS SOPS 6443 HAS SOUS 5393 HAS SOUPS 5393 WITH SCORE 5399.443
AT ITER 2861 NEW BEST:: SOT 10577 SOS 6408 HAS SOPS 6408 HAS SOUS 5391 HAS SOUPS 5391 WITH SCORE 5397.408
AT ITER 2863 NEW BEST:: SOT 10576 SOS 6407 HAS SOPS 6407 HAS SOUS 5390 HAS SOUPS 5390 WITH SCORE 5396.407
AT ITER 2867 NEW BEST:: SOT 10576 SOS 6406 HAS SOPS 6406 HAS SOUS 5390 HAS SOUPS 5390 WITH SCORE 5396.406
AT ITER 2876 NEW BEST:: SOT 10572 SOS 6402 HAS SOPS 6402 HAS SOUS 5386 HAS SOUPS 5386 WITH SCORE 5392.402
AT ITER 2882 NEW BEST:: SOT 10562 SOS 6507 HAS SOPS 6507 HAS SOUS 5378 HAS SOUPS 5378 WITH SCORE 5384.507
AT ITER 2886 NEW BEST:: SOT 10562 SOS 6506 HAS SOPS 6506 HAS SOUS 5377 HAS SOUPS 5377 WITH SCORE 5383.506
AT ITER 2922 NEW BEST:: SOT 10561 SOS 6516 HAS SOPS 6516 HAS SOUS 5376 HAS SOUPS 5376 WITH SCORE 5382.516
AT ITER 2932 NEW BEST:: SOT 10561 SOS 6506 HAS SOPS 6506 HAS SOUS 5376 HAS SOUPS 5376 WITH SCORE 5382.506
AT ITER 2954 NEW BEST:: SOT 10559 SOS 6512 HAS SOPS 6512 HAS SOUS 5374 HAS SOUPS 5374 WITH SCORE 5380.512
AT ITER 2967 NEW BEST:: SOT 10559 SOS 6520 HAS SOPS 6520 HAS SOUS 5372 HAS SOUPS 5372 WITH SCORE 5378.52
AT ITER 2986 NEW BEST:: SOT 10558 SOS 6519 HAS SOPS 6519 HAS SOUS 5371 HAS SOUPS 5371 WITH SCORE 5377.519
AT ITER 2997 NEW BEST:: SOT 10552 SOS 6525 HAS SOPS 6525 HAS SOUS 5370 HAS SOUPS 5370 WITH SCORE 5376.525
AT ITER 3037 NEW BEST:: SOT 10552 SOS 6520 HAS SOPS 6520 HAS SOUS 5364 HAS SOUPS 5364 WITH SCORE 5370.52
AT ITER 3043 NEW BEST:: SOT 10548 SOS 6516 HAS SOPS 6516 HAS SOUS 5360 HAS SOUPS 5360 WITH SCORE 5366.516
AT ITER 3049 NEW BEST:: SOT 10548 SOS 6511 HAS SOPS 6511 HAS SOUS 5360 HAS SOUPS 5360 WITH SCORE 5366.511
AT ITER 3070 NEW BEST:: SOT 10540 SOS 6494 HAS SOPS 6494 HAS SOUS 5354 HAS SOUPS 5354 WITH SCORE 5360.494
AT ITER 3081 NEW BEST:: SOT 10535 SOS 6594 HAS SOPS 6594 HAS SOUS 5349 HAS SOUPS 5349 WITH SCORE 5355.594
AT ITER 3158 NEW BEST:: SOT 10534 SOS 6648 HAS SOPS 6648 HAS SOUS 5348 HAS SOUPS 5348 WITH SCORE 5354.648
AT ITER 3161 NEW BEST:: SOT 10527 SOS 6623 HAS SOPS 6623 HAS SOUS 5341 HAS SOUPS 5341 WITH SCORE 5347.623
AT ITER 3179 NEW BEST:: SOT 10517 SOS 6613 HAS SOPS 6613 HAS SOUS 5328 HAS SOUPS 5328 WITH SCORE 5334.613
AT ITER 3193 NEW BEST:: SOT 10509 SOS 6605 HAS SOPS 6605 HAS SOUS 5324 HAS SOUPS 5324 WITH SCORE 5330.605
AT ITER 3202 NEW BEST:: SOT 10505 SOS 6601 HAS SOPS 6601 HAS SOUS 5321 HAS SOUPS 5321 WITH SCORE 5327.601
AT ITER 3204 NEW BEST:: SOT 10505 SOS 6602 HAS SOPS 6602 HAS SOUS 5320 HAS SOUPS 5320 WITH SCORE 5326.602
AT ITER 3210 NEW BEST:: SOT 10505 SOS 6595 HAS SOPS 6595 HAS SOUS 5320 HAS SOUPS 5320 WITH SCORE 5326.595
AT ITER 3229 NEW BEST:: SOT 10505 SOS 6587 HAS SOPS 6587 HAS SOUS 5318 HAS SOUPS 5318 WITH SCORE 5324.587
AT ITER 3267 NEW BEST:: SOT 10503 SOS 6587 HAS SOPS 6587 HAS SOUS 5314 HAS SOUPS 5314 WITH SCORE 5320.587
AT ITER 3300 NEW BEST:: SOT 10505 SOS 6589 HAS SOPS 6589 HAS SOUS 5313 HAS SOUPS 5313 WITH SCORE 5319.589
AT ITER 3306 NEW BEST:: SOT 10508 SOS 6589 HAS SOPS 6589 HAS SOUS 5311 HAS SOUPS 5311 WITH SCORE 5317.589
AT ITER 3314 NEW BEST:: SOT 10492 SOS 6573 HAS SOPS 6573 HAS SOUS 5300 HAS SOUPS 5300 WITH SCORE 5306.573
AT ITER 3316 NEW BEST:: SOT 10474 SOS 6559 HAS SOPS 6559 HAS SOUS 5284 HAS SOUPS 5284 WITH SCORE 5290.559
AT ITER 3437 NEW BEST:: SOT 10470 SOS 6743 HAS SOPS 6743 HAS SOUS 5283 HAS SOUPS 5283 WITH SCORE 5289.743
AT ITER 3463 NEW BEST:: SOT 10465 SOS 6738 HAS SOPS 6738 HAS SOUS 5278 HAS SOUPS 5278 WITH SCORE 5284.738
AT ITER 3464 NEW BEST:: SOT 10465 SOS 6736 HAS SOPS 6736 HAS SOUS 5277 HAS SOUPS 5277 WITH SCORE 5283.736
AT ITER 3468 NEW BEST:: SOT 10465 SOS 6730 HAS SOPS 6730 HAS SOUS 5277 HAS SOUPS 5277 WITH SCORE 5283.73
AT ITER 3494 NEW BEST:: SOT 10465 SOS 6722 HAS SOPS 6722 HAS SOUS 5277 HAS SOUPS 5277 WITH SCORE 5283.722
AT ITER 3518 NEW BEST:: SOT 10465 SOS 6714 HAS SOPS 6714 HAS SOUS 5277 HAS SOUPS 5277 WITH SCORE 5283.714
AT ITER 3534 NEW BEST:: SOT 10465 SOS 6714 HAS SOPS 6714 HAS SOUS 5276 HAS SOUPS 5276 WITH SCORE 5282.714
AT ITER 3540 NEW BEST:: SOT 10460 SOS 6734 HAS SOPS 6734 HAS SOUS 5271 HAS SOUPS 5271 WITH SCORE 5277.734
AT ITER 3576 NEW BEST:: SOT 10460 SOS 6724 HAS SOPS 6724 HAS SOUS 5271 HAS SOUPS 5271 WITH SCORE 5277.724
AT ITER 3587 NEW BEST:: SOT 10460 SOS 6717 HAS SOPS 6717 HAS SOUS 5271 HAS SOUPS 5271 WITH SCORE 5277.717
AT ITER 3626 NEW BEST:: SOT 10460 SOS 6736 HAS SOPS 6736 HAS SOUS 5270 HAS SOUPS 5270 WITH SCORE 5276.736
AT ITER 3694 NEW BEST:: SOT 10460 SOS 6736 HAS SOPS 6736 HAS SOUS 5266 HAS SOUPS 5266 WITH SCORE 5272.736
AT ITER 3708 NEW BEST:: SOT 10457 SOS 6737 HAS SOPS 6737 HAS SOUS 5261 HAS SOUPS 5261 WITH SCORE 5267.737
AT ITER 3744 NEW BEST:: SOT 10455 SOS 6736 HAS SOPS 6736 HAS SOUS 5260 HAS SOUPS 5260 WITH SCORE 5266.736
AT ITER 3748 NEW BEST:: SOT 10398 SOS 6745 HAS SOPS 6745 HAS SOUS 5258 HAS SOUPS 5258 WITH SCORE 5264.745
AT ITER 3756 NEW BEST:: SOT 10398 SOS 6743 HAS SOPS 6743 HAS SOUS 5258 HAS SOUPS 5258 WITH SCORE 5264.743
AT ITER 3768 NEW BEST:: SOT 10399 SOS 6744 HAS SOPS 6744 HAS SOUS 5249 HAS SOUPS 5249 WITH SCORE 5255.744
AT ITER 3784 NEW BEST:: SOT 10399 SOS 6726 HAS SOPS 6726 HAS SOUS 5249 HAS SOUPS 5249 WITH SCORE 5255.726
AT ITER 3817 NEW BEST:: SOT 10395 SOS 6722 HAS SOPS 6722 HAS SOUS 5249 HAS SOUPS 5249 WITH SCORE 5255.722
AT ITER 3855 NEW BEST:: SOT 10393 SOS 6720 HAS SOPS 6720 HAS SOUS 5247 HAS SOUPS 5247 WITH SCORE 5253.72
AT ITER 3934 NEW BEST:: SOT 10390 SOS 6717 HAS SOPS 6717 HAS SOUS 5244 HAS SOUPS 5244 WITH SCORE 5250.717
AT ITER 3950 NEW BEST:: SOT 10389 SOS 6716 HAS SOPS 6716 HAS SOUS 5243 HAS SOUPS 5243 WITH SCORE 5249.716
AT ITER 3961 NEW BEST:: SOT 10389 SOS 6700 HAS SOPS 6700 HAS SOUS 5233 HAS SOUPS 5233 WITH SCORE 5239.7
AT ITER 4036 NEW BEST:: SOT 10394 SOS 6731 HAS SOPS 6731 HAS SOUS 5232 HAS SOUPS 5232 WITH SCORE 5238.731
AT ITER 4047 NEW BEST:: SOT 10415 SOS 6752 HAS SOPS 6752 HAS SOUS 5231 HAS SOUPS 5231 WITH SCORE 5237.752
AT ITER 4048 NEW BEST:: SOT 10410 SOS 6747 HAS SOPS 6747 HAS SOUS 5225 HAS SOUPS 5225 WITH SCORE 5231.747
AT ITER 4077 NEW BEST:: SOT 10409 SOS 6746 HAS SOPS 6746 HAS SOUS 5224 HAS SOUPS 5224 WITH SCORE 5230.746
AT ITER 4088 NEW BEST:: SOT 10409 SOS 6724 HAS SOPS 6724 HAS SOUS 5224 HAS SOUPS 5224 WITH SCORE 5230.724
AT ITER 4099 NEW BEST:: SOT 10409 SOS 6719 HAS SOPS 6719 HAS SOUS 5224 HAS SOUPS 5224 WITH SCORE 5230.719
AT ITER 4132 NEW BEST:: SOT 10382 SOS 6688 HAS SOPS 6688 HAS SOUS 5221 HAS SOUPS 5221 WITH SCORE 5227.688
AT ITER 4266 NEW BEST:: SOT 10379 SOS 6685 HAS SOPS 6685 HAS SOUS 5218 HAS SOUPS 5218 WITH SCORE 5224.685
AT ITER 4271 NEW BEST:: SOT 10377 SOS 6683 HAS SOPS 6683 HAS SOUS 5216 HAS SOUPS 5216 WITH SCORE 5222.683
AT ITER 4304 NEW BEST:: SOT 10374 SOS 6680 HAS SOPS 6680 HAS SOUS 5213 HAS SOUPS 5213 WITH SCORE 5219.68
AT ITER 4331 NEW BEST:: SOT 10374 SOS 6677 HAS SOPS 6677 HAS SOUS 5206 HAS SOUPS 5206 WITH SCORE 5212.677
AT ITER 4374 NEW BEST:: SOT 10374 SOS 6676 HAS SOPS 6676 HAS SOUS 5206 HAS SOUPS 5206 WITH SCORE 5212.676
AT ITER 4427 NEW BEST:: SOT 10373 SOS 6675 HAS SOPS 6675 HAS SOUS 5205 HAS SOUPS 5205 WITH SCORE 5211.675
AT ITER 4456 NEW BEST:: SOT 10373 SOS 6663 HAS SOPS 6663 HAS SOUS 5205 HAS SOUPS 5205 WITH SCORE 5211.663
AT ITER 4477 NEW BEST:: SOT 10373 SOS 6667 HAS SOPS 6667 HAS SOUS 5204 HAS SOUPS 5204 WITH SCORE 5210.667
AT ITER 4487 NEW BEST:: SOT 10384 SOS 6633 HAS SOPS 6633 HAS SOUS 5204 HAS SOUPS 5204 WITH SCORE 5210.633
AT ITER 4519 NEW BEST:: SOT 10384 SOS 6627 HAS SOPS 6627 HAS SOUS 5204 HAS SOUPS 5204 WITH SCORE 5210.627
AT ITER 4544 NEW BEST:: SOT 10384 SOS 6627 HAS SOPS 6627 HAS SOUS 5201 HAS SOUPS 5201 WITH SCORE 5207.627
AT ITER 4559 NEW BEST:: SOT 10383 SOS 6626 HAS SOPS 6626 HAS SOUS 5200 HAS SOUPS 5200 WITH SCORE 5206.626
AT ITER 4585 NEW BEST:: SOT 10321 SOS 6570 HAS SOPS 6570 HAS SOUS 5195 HAS SOUPS 5195 WITH SCORE 5201.57
AT ITER 4599 NEW BEST:: SOT 10356 SOS 6588 HAS SOPS 6588 HAS SOUS 5184 HAS SOUPS 5184 WITH SCORE 5190.588
AT ITER 4646 NEW BEST:: SOT 10344 SOS 6626 HAS SOPS 6626 HAS SOUS 5175 HAS SOUPS 5175 WITH SCORE 5181.626
AT ITER 4652 NEW BEST:: SOT 10337 SOS 6625 HAS SOPS 6625 HAS SOUS 5174 HAS SOUPS 5174 WITH SCORE 5180.625
AT ITER 4663 NEW BEST:: SOT 10336 SOS 6610 HAS SOPS 6610 HAS SOUS 5173 HAS SOUPS 5173 WITH SCORE 5179.61
AT ITER 4669 NEW BEST:: SOT 10336 SOS 6610 HAS SOPS 6610 HAS SOUS 5172 HAS SOUPS 5172 WITH SCORE 5178.61
AT ITER 4679 NEW BEST:: SOT 10336 SOS 6610 HAS SOPS 6610 HAS SOUS 5168 HAS SOUPS 5168 WITH SCORE 5174.61
AT ITER 4760 NEW BEST:: SOT 10311 SOS 6592 HAS SOPS 6592 HAS SOUS 5165 HAS SOUPS 5165 WITH SCORE 5171.592
AT ITER 4767 NEW BEST:: SOT 10311 SOS 6596 HAS SOPS 6596 HAS SOUS 5160 HAS SOUPS 5160 WITH SCORE 5166.596
AT ITER 4780 NEW BEST:: SOT 10324 SOS 6609 HAS SOPS 6609 HAS SOUS 5158 HAS SOUPS 5158 WITH SCORE 5164.609
AT ITER 4782 NEW BEST:: SOT 10323 SOS 6608 HAS SOPS 6608 HAS SOUS 5157 HAS SOUPS 5157 WITH SCORE 5163.608
AT ITER 4862 NEW BEST:: SOT 10323 SOS 6608 HAS SOPS 6608 HAS SOUS 5156 HAS SOUPS 5156 WITH SCORE 5162.608
AT ITER 4863 NEW BEST:: SOT 10323 SOS 6608 HAS SOPS 6608 HAS SOUS 5145 HAS SOUPS 5145 WITH SCORE 5151.608
AT ITER 4892 NEW BEST:: SOT 10326 SOS 6605 HAS SOPS 6605 HAS SOUS 5142 HAS SOUPS 5142 WITH SCORE 5148.605
AT ITER 4897 NEW BEST:: SOT 10331 SOS 6610 HAS SOPS 6610 HAS SOUS 5139 HAS SOUPS 5139 WITH SCORE 5145.61
AT ITER 4953 NEW BEST:: SOT 10331 SOS 6610 HAS SOPS 6610 HAS SOUS 5135 HAS SOUPS 5135 WITH SCORE 5141.61
AT ITER 5003 NEW BEST:: SOT 10331 SOS 6609 HAS SOPS 6609 HAS SOUS 5135 HAS SOUPS 5135 WITH SCORE 5141.609
AT ITER 5013 NEW BEST:: SOT 10336 SOS 6604 HAS SOPS 6604 HAS SOUS 5133 HAS SOUPS 5133 WITH SCORE 5139.604
AT ITER 5015 NEW BEST:: SOT 10334 SOS 6602 HAS SOPS 6602 HAS SOUS 5131 HAS SOUPS 5131 WITH SCORE 5137.602
AT ITER 5024 NEW BEST:: SOT 10334 SOS 6602 HAS SOPS 6602 HAS SOUS 5128 HAS SOUPS 5128 WITH SCORE 5134.602
AT ITER 5088 NEW BEST:: SOT 10334 SOS 6602 HAS SOPS 6602 HAS SOUS 5127 HAS SOUPS 5127 WITH SCORE 5133.602
AT ITER 5089 NEW BEST:: SOT 10335 SOS 6602 HAS SOPS 6602 HAS SOUS 5126 HAS SOUPS 5126 WITH SCORE 5132.602
AT ITER 5167 NEW BEST:: SOT 10304 SOS 6635 HAS SOPS 6635 HAS SOUS 5106 HAS SOUPS 5106 WITH SCORE 5112.635
AT ITER 5168 NEW BEST:: SOT 10302 SOS 6661 HAS SOPS 6661 HAS SOUS 5104 HAS SOUPS 5104 WITH SCORE 5110.661
AT ITER 5185 NEW BEST:: SOT 10300 SOS 6659 HAS SOPS 6659 HAS SOUS 5102 HAS SOUPS 5102 WITH SCORE 5108.659
AT ITER 5236 NEW BEST:: SOT 10290 SOS 6649 HAS SOPS 6649 HAS SOUS 5097 HAS SOUPS 5097 WITH SCORE 5103.649
AT ITER 5261 NEW BEST:: SOT 10291 SOS 6652 HAS SOPS 6652 HAS SOUS 5075 HAS SOUPS 5075 WITH SCORE 5081.652
AT ITER 5276 NEW BEST:: SOT 10283 SOS 6676 HAS SOPS 6676 HAS SOUS 5068 HAS SOUPS 5068 WITH SCORE 5074.676
AT ITER 5381 NEW BEST:: SOT 10285 SOS 6675 HAS SOPS 6675 HAS SOUS 5065 HAS SOUPS 5065 WITH SCORE 5071.675
AT ITER 5405 NEW BEST:: SOT 10283 SOS 6674 HAS SOPS 6674 HAS SOUS 5064 HAS SOUPS 5064 WITH SCORE 5070.674
AT ITER 5414 NEW BEST:: SOT 10269 SOS 6660 HAS SOPS 6660 HAS SOUS 5060 HAS SOUPS 5060 WITH SCORE 5066.66
AT ITER 5421 NEW BEST:: SOT 10269 SOS 6660 HAS SOPS 6660 HAS SOUS 5057 HAS SOUPS 5057 WITH SCORE 5063.66
AT ITER 5427 NEW BEST:: SOT 10268 SOS 6659 HAS SOPS 6659 HAS SOUS 5056 HAS SOUPS 5056 WITH SCORE 5062.659
AT ITER 5502 NEW BEST:: SOT 10268 SOS 6657 HAS SOPS 6657 HAS SOUS 5056 HAS SOUPS 5056 WITH SCORE 5062.657
AT ITER 5506 NEW BEST:: SOT 10267 SOS 6654 HAS SOPS 6654 HAS SOUS 5055 HAS SOUPS 5055 WITH SCORE 5061.654
AT ITER 5520 NEW BEST:: SOT 10267 SOS 6654 HAS SOPS 6654 HAS SOUS 5053 HAS SOUPS 5053 WITH SCORE 5059.654
AT ITER 5526 NEW BEST:: SOT 10266 SOS 6653 HAS SOPS 6653 HAS SOUS 5052 HAS SOUPS 5052 WITH SCORE 5058.653
AT ITER 5554 NEW BEST:: SOT 10267 SOS 6654 HAS SOPS 6654 HAS SOUS 5051 HAS SOUPS 5051 WITH SCORE 5057.654
AT ITER 5556 NEW BEST:: SOT 10267 SOS 6679 HAS SOPS 6679 HAS SOUS 5050 HAS SOUPS 5050 WITH SCORE 5056.679
AT ITER 5648 NEW BEST:: SOT 10267 SOS 6629 HAS SOPS 6629 HAS SOUS 5050 HAS SOUPS 5050 WITH SCORE 5056.629
AT ITER 5662 NEW BEST:: SOT 10263 SOS 6625 HAS SOPS 6625 HAS SOUS 5046 HAS SOUPS 5046 WITH SCORE 5052.625
AT ITER 5693 NEW BEST:: SOT 10264 SOS 6602 HAS SOPS 6602 HAS SOUS 5042 HAS SOUPS 5042 WITH SCORE 5048.602
AT ITER 5696 NEW BEST:: SOT 10250 SOS 6588 HAS SOPS 6588 HAS SOUS 5025 HAS SOUPS 5025 WITH SCORE 5031.588
AT ITER 5738 NEW BEST:: SOT 10250 SOS 6588 HAS SOPS 6588 HAS SOUS 5023 HAS SOUPS 5023 WITH SCORE 5029.588
AT ITER 5786 NEW BEST:: SOT 10250 SOS 6588 HAS SOPS 6588 HAS SOUS 5014 HAS SOUPS 5014 WITH SCORE 5020.588
AT ITER 5852 NEW BEST:: SOT 10257 SOS 6595 HAS SOPS 6595 HAS SOUS 5013 HAS SOUPS 5013 WITH SCORE 5019.595
AT ITER 5921 NEW BEST:: SOT 10257 SOS 6594 HAS SOPS 6594 HAS SOUS 5013 HAS SOUPS 5013 WITH SCORE 5019.594
AT ITER 5953 NEW BEST:: SOT 10257 SOS 6589 HAS SOPS 6589 HAS SOUS 5012 HAS SOUPS 5012 WITH SCORE 5018.589
AT ITER 5966 NEW BEST:: SOT 10248 SOS 6583 HAS SOPS 6583 HAS SOUS 5006 HAS SOUPS 5006 WITH SCORE 5012.583
AT ITER 6026 NEW BEST:: SOT 10231 SOS 6619 HAS SOPS 6619 HAS SOUS 5005 HAS SOUPS 5005 WITH SCORE 5011.619
AT ITER 6089 NEW BEST:: SOT 10230 SOS 6618 HAS SOPS 6618 HAS SOUS 5004 HAS SOUPS 5004 WITH SCORE 5010.618
AT ITER 6108 NEW BEST:: SOT 10230 SOS 6609 HAS SOPS 6609 HAS SOUS 4987 HAS SOUPS 4987 WITH SCORE 4993.609
AT ITER 6116 NEW BEST:: SOT 10230 SOS 6609 HAS SOPS 6609 HAS SOUS 4985 HAS SOUPS 4985 WITH SCORE 4991.609
AT ITER 6145 NEW BEST:: SOT 10211 SOS 6594 HAS SOPS 6594 HAS SOUS 4957 HAS SOUPS 4957 WITH SCORE 4963.594
AT ITER 6258 NEW BEST:: SOT 10209 SOS 6592 HAS SOPS 6592 HAS SOUS 4955 HAS SOUPS 4955 WITH SCORE 4961.592
AT ITER 6312 NEW BEST:: SOT 10209 SOS 6592 HAS SOPS 6592 HAS SOUS 4951 HAS SOUPS 4951 WITH SCORE 4957.592
AT ITER 6322 NEW BEST:: SOT 10207 SOS 6590 HAS SOPS 6590 HAS SOUS 4949 HAS SOUPS 4949 WITH SCORE 4955.59
AT ITER 6331 NEW BEST:: SOT 10207 SOS 6587 HAS SOPS 6587 HAS SOUS 4949 HAS SOUPS 4949 WITH SCORE 4955.587
AT ITER 6428 NEW BEST:: SOT 10199 SOS 6579 HAS SOPS 6579 HAS SOUS 4938 HAS SOUPS 4938 WITH SCORE 4944.579
AT ITER 6436 NEW BEST:: SOT 10199 SOS 6562 HAS SOPS 6562 HAS SOUS 4938 HAS SOUPS 4938 WITH SCORE 4944.562
AT ITER 6439 NEW BEST:: SOT 10199 SOS 6550 HAS SOPS 6550 HAS SOUS 4938 HAS SOUPS 4938 WITH SCORE 4944.55
AT ITER 6559 NEW BEST:: SOT 10190 SOS 6553 HAS SOPS 6553 HAS SOUS 4930 HAS SOUPS 4930 WITH SCORE 4936.553
AT ITER 6626 NEW BEST:: SOT 10190 SOS 6552 HAS SOPS 6552 HAS SOUS 4930 HAS SOUPS 4930 WITH SCORE 4936.552
AT ITER 6642 NEW BEST:: SOT 10211 SOS 6573 HAS SOPS 6573 HAS SOUS 4925 HAS SOUPS 4925 WITH SCORE 4931.573
AT ITER 6656 NEW BEST:: SOT 10210 SOS 6577 HAS SOPS 6577 HAS SOUS 4924 HAS SOUPS 4924 WITH SCORE 4930.577
AT ITER 6679 NEW BEST:: SOT 10210 SOS 6577 HAS SOPS 6577 HAS SOUS 4915 HAS SOUPS 4915 WITH SCORE 4921.577
AT ITER 6691 NEW BEST:: SOT 10210 SOS 6568 HAS SOPS 6568 HAS SOUS 4915 HAS SOUPS 4915 WITH SCORE 4921.568
AT ITER 6704 NEW BEST:: SOT 10210 SOS 6567 HAS SOPS 6567 HAS SOUS 4912 HAS SOUPS 4912 WITH SCORE 4918.567
AT ITER 6742 NEW BEST:: SOT 10200 SOS 6569 HAS SOPS 6569 HAS SOUS 4911 HAS SOUPS 4911 WITH SCORE 4917.569
AT ITER 6773 NEW BEST:: SOT 10200 SOS 6569 HAS SOPS 6569 HAS SOUS 4903 HAS SOUPS 4903 WITH SCORE 4909.569
AT ITER 6795 NEW BEST:: SOT 10200 SOS 6564 HAS SOPS 6564 HAS SOUS 4903 HAS SOUPS 4903 WITH SCORE 4909.564
AT ITER 6869 NEW BEST:: SOT 10196 SOS 6560 HAS SOPS 6560 HAS SOUS 4896 HAS SOUPS 4896 WITH SCORE 4902.56
AT ITER 6882 NEW BEST:: SOT 10196 SOS 6556 HAS SOPS 6556 HAS SOUS 4892 HAS SOUPS 4892 WITH SCORE 4898.556
AT ITER 6927 NEW BEST:: SOT 10188 SOS 6548 HAS SOPS 6548 HAS SOUS 4884 HAS SOUPS 4884 WITH SCORE 4890.548
AT ITER 6981 NEW BEST:: SOT 10194 SOS 6491 HAS SOPS 6491 HAS SOUS 4882 HAS SOUPS 4882 WITH SCORE 4888.491
AT ITER 6996 NEW BEST:: SOT 10190 SOS 6488 HAS SOPS 6488 HAS SOUS 4879 HAS SOUPS 4879 WITH SCORE 4885.488
AT ITER 7007 NEW BEST:: SOT 10182 SOS 6481 HAS SOPS 6481 HAS SOUS 4879 HAS SOUPS 4879 WITH SCORE 4885.481
AT ITER 7040 NEW BEST:: SOT 10180 SOS 6489 HAS SOPS 6489 HAS SOUS 4877 HAS SOUPS 4877 WITH SCORE 4883.489
AT ITER 7120 NEW BEST:: SOT 10179 SOS 6488 HAS SOPS 6488 HAS SOUS 4876 HAS SOUPS 4876 WITH SCORE 4882.488
AT ITER 7143 NEW BEST:: SOT 10178 SOS 6493 HAS SOPS 6493 HAS SOUS 4875 HAS SOUPS 4875 WITH SCORE 4881.493
AT ITER 7219 NEW BEST:: SOT 10175 SOS 6495 HAS SOPS 6495 HAS SOUS 4873 HAS SOUPS 4873 WITH SCORE 4879.495
AT ITER 7278 NEW BEST:: SOT 10160 SOS 6505 HAS SOPS 6505 HAS SOUS 4863 HAS SOUPS 4863 WITH SCORE 4869.505
AT ITER 7318 NEW BEST:: SOT 10160 SOS 6505 HAS SOPS 6505 HAS SOUS 4860 HAS SOUPS 4860 WITH SCORE 4866.505
AT ITER 7320 NEW BEST:: SOT 10160 SOS 6506 HAS SOPS 6506 HAS SOUS 4858 HAS SOUPS 4858 WITH SCORE 4864.506
AT ITER 7647 NEW BEST:: SOT 10160 SOS 6503 HAS SOPS 6503 HAS SOUS 4858 HAS SOUPS 4858 WITH SCORE 4864.503
AT ITER 7731 NEW BEST:: SOT 10160 SOS 6503 HAS SOPS 6503 HAS SOUS 4854 HAS SOUPS 4854 WITH SCORE 4860.503
AT ITER 7795 NEW BEST:: SOT 10160 SOS 6499 HAS SOPS 6499 HAS SOUS 4854 HAS SOUPS 4854 WITH SCORE 4860.499
AT ITER 7932 NEW BEST:: SOT 10145 SOS 6519 HAS SOPS 6519 HAS SOUS 4852 HAS SOUPS 4852 WITH SCORE 4858.519
AT ITER 7955 NEW BEST:: SOT 10139 SOS 6533 HAS SOPS 6533 HAS SOUS 4847 HAS SOUPS 4847 WITH SCORE 4853.533
AT ITER 7965 NEW BEST:: SOT 10137 SOS 6530 HAS SOPS 6530 HAS SOUS 4845 HAS SOUPS 4845 WITH SCORE 4851.53
AT ITER 7979 NEW BEST:: SOT 10102 SOS 6495 HAS SOPS 6495 HAS SOUS 4845 HAS SOUPS 4845 WITH SCORE 4851.495
AT ITER 8097 NEW BEST:: SOT 10073 SOS 6473 HAS SOPS 6473 HAS SOUS 4837 HAS SOUPS 4837 WITH SCORE 4843.473
AT ITER 8101 NEW BEST:: SOT 10073 SOS 6475 HAS SOPS 6475 HAS SOUS 4835 HAS SOUPS 4835 WITH SCORE 4841.475
AT ITER 8102 NEW BEST:: SOT 10072 SOS 6474 HAS SOPS 6474 HAS SOUS 4834 HAS SOUPS 4834 WITH SCORE 4840.474
AT ITER 8124 NEW BEST:: SOT 10071 SOS 6473 HAS SOPS 6473 HAS SOUS 4833 HAS SOUPS 4833 WITH SCORE 4839.473
AT ITER 8130 NEW BEST:: SOT 10070 SOS 6492 HAS SOPS 6492 HAS SOUS 4832 HAS SOUPS 4832 WITH SCORE 4838.492
AT ITER 8142 NEW BEST:: SOT 10067 SOS 6631 HAS SOPS 6631 HAS SOUS 4831 HAS SOUPS 4831 WITH SCORE 4837.631
AT ITER 8194 NEW BEST:: SOT 10067 SOS 6616 HAS SOPS 6616 HAS SOUS 4831 HAS SOUPS 4831 WITH SCORE 4837.616
AT ITER 8328 NEW BEST:: SOT 10026 SOS 6691 HAS SOPS 6691 HAS SOUS 4827 HAS SOUPS 4827 WITH SCORE 4833.691
AT ITER 8422 NEW BEST:: SOT 10026 SOS 6691 HAS SOPS 6691 HAS SOUS 4822 HAS SOUPS 4822 WITH SCORE 4828.691
AT ITER 8439 NEW BEST:: SOT 10014 SOS 6679 HAS SOPS 6679 HAS SOUS 4808 HAS SOUPS 4808 WITH SCORE 4814.679
AT ITER 8447 NEW BEST:: SOT 10012 SOS 6682 HAS SOPS 6682 HAS SOUS 4806 HAS SOUPS 4806 WITH SCORE 4812.682
AT ITER 8519 NEW BEST:: SOT 9999 SOS 6669 HAS SOPS 6669 HAS SOUS 4787 HAS SOUPS 4787 WITH SCORE 4793.669
AT ITER 8534 NEW BEST:: SOT 9993 SOS 6663 HAS SOPS 6663 HAS SOUS 4781 HAS SOUPS 4781 WITH SCORE 4787.663
AT ITER 8565 NEW BEST:: SOT 9993 SOS 6663 HAS SOPS 6663 HAS SOUS 4774 HAS SOUPS 4774 WITH SCORE 4780.663
AT ITER 8585 NEW BEST:: SOT 9993 SOS 6653 HAS SOPS 6653 HAS SOUS 4770 HAS SOUPS 4770 WITH SCORE 4776.653
AT ITER 8590 NEW BEST:: SOT 9993 SOS 6625 HAS SOPS 6625 HAS SOUS 4770 HAS SOUPS 4770 WITH SCORE 4776.625
AT ITER 8638 NEW BEST:: SOT 9992 SOS 6624 HAS SOPS 6624 HAS SOUS 4769 HAS SOUPS 4769 WITH SCORE 4775.624
AT ITER 8759 NEW BEST:: SOT 9983 SOS 6620 HAS SOPS 6620 HAS SOUS 4769 HAS SOUPS 4769 WITH SCORE 4775.62
AT ITER 8792 NEW BEST:: SOT 9981 SOS 6618 HAS SOPS 6618 HAS SOUS 4767 HAS SOUPS 4767 WITH SCORE 4773.618
AT ITER 8857 NEW BEST:: SOT 9975 SOS 6612 HAS SOPS 6612 HAS SOUS 4761 HAS SOUPS 4761 WITH SCORE 4767.612
AT ITER 8861 NEW BEST:: SOT 9975 SOS 6612 HAS SOPS 6612 HAS SOUS 4759 HAS SOUPS 4759 WITH SCORE 4765.612
AT ITER 8926 NEW BEST:: SOT 9975 SOS 6575 HAS SOPS 6575 HAS SOUS 4757 HAS SOUPS 4757 WITH SCORE 4763.575
AT ITER 8961 NEW BEST:: SOT 9980 SOS 6580 HAS SOPS 6580 HAS SOUS 4752 HAS SOUPS 4752 WITH SCORE 4758.58
AT ITER 8969 NEW BEST:: SOT 9978 SOS 6578 HAS SOPS 6578 HAS SOUS 4750 HAS SOUPS 4750 WITH SCORE 4756.578
AT ITER 9027 NEW BEST:: SOT 9978 SOS 6576 HAS SOPS 6576 HAS SOUS 4748 HAS SOUPS 4748 WITH SCORE 4754.576
AT ITER 9034 NEW BEST:: SOT 9970 SOS 6575 HAS SOPS 6575 HAS SOUS 4748 HAS SOUPS 4748 WITH SCORE 4754.575
AT ITER 9099 NEW BEST:: SOT 9967 SOS 6572 HAS SOPS 6572 HAS SOUS 4742 HAS SOUPS 4742 WITH SCORE 4748.572
AT ITER 9201 NEW BEST:: SOT 9966 SOS 6567 HAS SOPS 6567 HAS SOUS 4741 HAS SOUPS 4741 WITH SCORE 4747.567
AT ITER 9407 NEW BEST:: SOT 9943 SOS 6544 HAS SOPS 6544 HAS SOUS 4718 HAS SOUPS 4718 WITH SCORE 4724.544
AT ITER 9512 NEW BEST:: SOT 9941 SOS 6536 HAS SOPS 6536 HAS SOUS 4716 HAS SOUPS 4716 WITH SCORE 4722.536
AT ITER 9560 NEW BEST:: SOT 9940 SOS 6535 HAS SOPS 6535 HAS SOUS 4716 HAS SOUPS 4716 WITH SCORE 4722.535
AT ITER 9566 NEW BEST:: SOT 9938 SOS 6527 HAS SOPS 6527 HAS SOUS 4713 HAS SOUPS 4713 WITH SCORE 4719.527
AT ITER 9584 NEW BEST:: SOT 9937 SOS 6526 HAS SOPS 6526 HAS SOUS 4712 HAS SOUPS 4712 WITH SCORE 4718.526
AT ITER 9644 NEW BEST:: SOT 9942 SOS 6531 HAS SOPS 6531 HAS SOUS 4708 HAS SOUPS 4708 WITH SCORE 4714.531
AT ITER 9721 NEW BEST:: SOT 9945 SOS 6519 HAS SOPS 6519 HAS SOUS 4708 HAS SOUPS 4708 WITH SCORE 4714.519
AT ITER 9839 NEW BEST:: SOT 9945 SOS 6519 HAS SOPS 6519 HAS SOUS 4701 HAS SOUPS 4701 WITH SCORE 4707.519
AT ITER 9973 NEW BEST:: SOT 9945 SOS 6495 HAS SOPS 6495 HAS SOUS 4701 HAS SOUPS 4701 WITH SCORE 4707.495
AT ITER 9992 NEW BEST:: SOT 9940 SOS 6490 HAS SOPS 6490 HAS SOUS 4698 HAS SOUPS 4698 WITH SCORE 4704.49
STATE_SPACE STATES 7535369 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 60 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 46239572 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1678730778491
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="NQueens-PT-10"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is NQueens-PT-10, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r267-smll-167863541300032"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/NQueens-PT-10.tgz
mv NQueens-PT-10 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;