fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r387-oct2-167903711600256
Last Updated
May 14, 2023

About the Execution of Smart for ShieldIIPt-PT-005B

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
6945.020 3600000.00 3600160.00 0.00 [undef] Time out reached

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r387-oct2-167903711600256.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ShieldIIPt-PT-005B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r387-oct2-167903711600256
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 572K
-rw-r--r-- 1 mcc users 8.6K Feb 25 17:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 101K Feb 25 17:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 16:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 25 16:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 17:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 116K Feb 25 17:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 17:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 95K Feb 25 17:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:56 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:56 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 83K Mar 5 18:23 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 1679063324121

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldIIPt-PT-005B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPt (PT), instance 005B
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 353 places, 328 transitions, 816 arcs.
AT ITER 0 NEW BEST:: SOT 64144 SOS 18153 HAS SOPS 18153 HAS SOUS 16578 HAS SOUPS 16578 WITH SCORE 16596.153
AT ITER 1 NEW BEST:: SOT 64108 SOS 18023 HAS SOPS 18023 HAS SOUS 16470 HAS SOUPS 16470 WITH SCORE 16488.023
AT ITER 2 NEW BEST:: SOT 64093 SOS 18013 HAS SOPS 18013 HAS SOUS 16460 HAS SOUPS 16460 WITH SCORE 16478.013
AT ITER 21 NEW BEST:: SOT 64093 SOS 18002 HAS SOPS 18002 HAS SOUS 16449 HAS SOUPS 16449 WITH SCORE 16467.002
AT ITER 50 NEW BEST:: SOT 64093 SOS 17996 HAS SOPS 17996 HAS SOUS 16447 HAS SOUPS 16447 WITH SCORE 16464.996
AT ITER 77 NEW BEST:: SOT 64057 SOS 17888 HAS SOPS 17888 HAS SOUS 16339 HAS SOUPS 16339 WITH SCORE 16356.888
AT ITER 82 NEW BEST:: SOT 64044 SOS 17849 HAS SOPS 17849 HAS SOUS 16300 HAS SOUPS 16300 WITH SCORE 16317.849
AT ITER 87 NEW BEST:: SOT 64095 SOS 17951 HAS SOPS 17951 HAS SOUS 16283 HAS SOUPS 16283 WITH SCORE 16300.951
AT ITER 89 NEW BEST:: SOT 64064 SOS 17924 HAS SOPS 17924 HAS SOUS 16256 HAS SOUPS 16256 WITH SCORE 16273.924
AT ITER 121 NEW BEST:: SOT 64045 SOS 17886 HAS SOPS 17886 HAS SOUS 16233 HAS SOUPS 16233 WITH SCORE 16250.886
AT ITER 126 NEW BEST:: SOT 64064 SOS 17850 HAS SOPS 17850 HAS SOUS 16139 HAS SOUPS 16139 WITH SCORE 16156.85
AT ITER 129 NEW BEST:: SOT 64059 SOS 17850 HAS SOPS 17850 HAS SOUS 16134 HAS SOUPS 16134 WITH SCORE 16151.85
AT ITER 132 NEW BEST:: SOT 64029 SOS 17775 HAS SOPS 17775 HAS SOUS 16059 HAS SOUPS 16059 WITH SCORE 16076.775
AT ITER 136 NEW BEST:: SOT 64061 SOS 17751 HAS SOPS 17751 HAS SOUS 16035 HAS SOUPS 16035 WITH SCORE 16052.751
AT ITER 161 NEW BEST:: SOT 64061 SOS 17676 HAS SOPS 17676 HAS SOUS 16034 HAS SOUPS 16034 WITH SCORE 16051.676
AT ITER 175 NEW BEST:: SOT 64036 SOS 17576 HAS SOPS 17576 HAS SOUS 15959 HAS SOUPS 15959 WITH SCORE 15976.576
AT ITER 189 NEW BEST:: SOT 64034 SOS 17574 HAS SOPS 17574 HAS SOUS 15957 HAS SOUPS 15957 WITH SCORE 15974.574
AT ITER 193 NEW BEST:: SOT 63981 SOS 17547 HAS SOPS 17547 HAS SOUS 15930 HAS SOUPS 15930 WITH SCORE 15947.547
AT ITER 212 NEW BEST:: SOT 63981 SOS 17547 HAS SOPS 17547 HAS SOUS 15915 HAS SOUPS 15915 WITH SCORE 15932.547
AT ITER 242 NEW BEST:: SOT 63981 SOS 17503 HAS SOPS 17503 HAS SOUS 15871 HAS SOUPS 15871 WITH SCORE 15888.503
AT ITER 244 NEW BEST:: SOT 63978 SOS 17473 HAS SOPS 17473 HAS SOUS 15851 HAS SOUPS 15851 WITH SCORE 15868.473
AT ITER 267 NEW BEST:: SOT 63978 SOS 17531 HAS SOPS 17531 HAS SOUS 15841 HAS SOUPS 15841 WITH SCORE 15858.531
AT ITER 301 NEW BEST:: SOT 63959 SOS 17349 HAS SOPS 17349 HAS SOUS 15722 HAS SOUPS 15722 WITH SCORE 15739.349
AT ITER 306 NEW BEST:: SOT 63948 SOS 17338 HAS SOPS 17338 HAS SOUS 15711 HAS SOUPS 15711 WITH SCORE 15728.338
AT ITER 317 NEW BEST:: SOT 63919 SOS 17251 HAS SOPS 17251 HAS SOUS 15653 HAS SOUPS 15653 WITH SCORE 15670.251
AT ITER 342 NEW BEST:: SOT 63917 SOS 17247 HAS SOPS 17247 HAS SOUS 15651 HAS SOUPS 15651 WITH SCORE 15668.247
AT ITER 357 NEW BEST:: SOT 63917 SOS 17211 HAS SOPS 17211 HAS SOUS 15637 HAS SOUPS 15637 WITH SCORE 15654.211
AT ITER 358 NEW BEST:: SOT 63917 SOS 17191 HAS SOPS 17191 HAS SOUS 15617 HAS SOUPS 15617 WITH SCORE 15634.191
AT ITER 390 NEW BEST:: SOT 63946 SOS 17238 HAS SOPS 17238 HAS SOUS 15614 HAS SOUPS 15614 WITH SCORE 15631.238
AT ITER 402 NEW BEST:: SOT 63946 SOS 17201 HAS SOPS 17201 HAS SOUS 15614 HAS SOUPS 15614 WITH SCORE 15631.201
AT ITER 405 NEW BEST:: SOT 63954 SOS 17119 HAS SOPS 17119 HAS SOUS 15550 HAS SOUPS 15550 WITH SCORE 15567.119
AT ITER 416 NEW BEST:: SOT 63921 SOS 17053 HAS SOPS 17053 HAS SOUS 15500 HAS SOUPS 15500 WITH SCORE 15517.053
AT ITER 421 NEW BEST:: SOT 63921 SOS 17000 HAS SOPS 17000 HAS SOUS 15500 HAS SOUPS 15500 WITH SCORE 15517.0
AT ITER 439 NEW BEST:: SOT 63890 SOS 16895 HAS SOPS 16895 HAS SOUS 15438 HAS SOUPS 15438 WITH SCORE 15454.895
AT ITER 448 NEW BEST:: SOT 63871 SOS 16875 HAS SOPS 16875 HAS SOUS 15418 HAS SOUPS 15418 WITH SCORE 15434.875
AT ITER 450 NEW BEST:: SOT 63870 SOS 16862 HAS SOPS 16862 HAS SOUS 15416 HAS SOUPS 15416 WITH SCORE 15432.862
AT ITER 452 NEW BEST:: SOT 63870 SOS 16860 HAS SOPS 16860 HAS SOUS 15416 HAS SOUPS 15416 WITH SCORE 15432.86
AT ITER 461 NEW BEST:: SOT 63870 SOS 16860 HAS SOPS 16860 HAS SOUS 15412 HAS SOUPS 15412 WITH SCORE 15428.86
AT ITER 465 NEW BEST:: SOT 63869 SOS 16859 HAS SOPS 16859 HAS SOUS 15410 HAS SOUPS 15410 WITH SCORE 15426.859
AT ITER 470 NEW BEST:: SOT 63869 SOS 16838 HAS SOPS 16838 HAS SOUS 15387 HAS SOUPS 15387 WITH SCORE 15403.838
AT ITER 472 NEW BEST:: SOT 63869 SOS 16825 HAS SOPS 16825 HAS SOUS 15373 HAS SOUPS 15373 WITH SCORE 15389.825
AT ITER 477 NEW BEST:: SOT 63865 SOS 16872 HAS SOPS 16872 HAS SOUS 15364 HAS SOUPS 15364 WITH SCORE 15380.872
AT ITER 482 NEW BEST:: SOT 63865 SOS 16859 HAS SOPS 16859 HAS SOUS 15351 HAS SOUPS 15351 WITH SCORE 15367.859
AT ITER 484 NEW BEST:: SOT 63864 SOS 16858 HAS SOPS 16858 HAS SOUS 15350 HAS SOUPS 15350 WITH SCORE 15366.858
AT ITER 493 NEW BEST:: SOT 63862 SOS 16854 HAS SOPS 16854 HAS SOUS 15346 HAS SOUPS 15346 WITH SCORE 15362.854
AT ITER 498 NEW BEST:: SOT 63850 SOS 16802 HAS SOPS 16802 HAS SOUS 15322 HAS SOUPS 15322 WITH SCORE 15338.802
AT ITER 499 NEW BEST:: SOT 63850 SOS 16797 HAS SOPS 16797 HAS SOUS 15317 HAS SOUPS 15317 WITH SCORE 15333.797
AT ITER 516 NEW BEST:: SOT 63850 SOS 16797 HAS SOPS 16797 HAS SOUS 15314 HAS SOUPS 15314 WITH SCORE 15330.797
AT ITER 517 NEW BEST:: SOT 63848 SOS 16795 HAS SOPS 16795 HAS SOUS 15312 HAS SOUPS 15312 WITH SCORE 15328.795
AT ITER 519 NEW BEST:: SOT 63797 SOS 16752 HAS SOPS 16752 HAS SOUS 15261 HAS SOUPS 15261 WITH SCORE 15277.752
AT ITER 527 NEW BEST:: SOT 63796 SOS 16750 HAS SOPS 16750 HAS SOUS 15259 HAS SOUPS 15259 WITH SCORE 15275.75
AT ITER 529 NEW BEST:: SOT 63745 SOS 16759 HAS SOPS 16759 HAS SOUS 15249 HAS SOUPS 15249 WITH SCORE 15265.759
AT ITER 533 NEW BEST:: SOT 63771 SOS 16746 HAS SOPS 16746 HAS SOUS 15244 HAS SOUPS 15244 WITH SCORE 15260.746
AT ITER 542 NEW BEST:: SOT 63778 SOS 16773 HAS SOPS 16773 HAS SOUS 15228 HAS SOUPS 15228 WITH SCORE 15244.773
AT ITER 546 NEW BEST:: SOT 63773 SOS 16768 HAS SOPS 16768 HAS SOUS 15223 HAS SOUPS 15223 WITH SCORE 15239.768
AT ITER 562 NEW BEST:: SOT 63773 SOS 16712 HAS SOPS 16712 HAS SOUS 15195 HAS SOUPS 15195 WITH SCORE 15211.712
AT ITER 567 NEW BEST:: SOT 63772 SOS 16660 HAS SOPS 16660 HAS SOUS 15151 HAS SOUPS 15151 WITH SCORE 15167.66
AT ITER 569 NEW BEST:: SOT 63722 SOS 16638 HAS SOPS 16638 HAS SOUS 15063 HAS SOUPS 15063 WITH SCORE 15079.638
AT ITER 594 NEW BEST:: SOT 63694 SOS 16634 HAS SOPS 16634 HAS SOUS 15011 HAS SOUPS 15011 WITH SCORE 15027.634
AT ITER 602 NEW BEST:: SOT 63694 SOS 16582 HAS SOPS 16582 HAS SOUS 15011 HAS SOUPS 15011 WITH SCORE 15027.582
AT ITER 605 NEW BEST:: SOT 63672 SOS 16516 HAS SOPS 16516 HAS SOUS 14967 HAS SOUPS 14967 WITH SCORE 14983.516
AT ITER 607 NEW BEST:: SOT 63672 SOS 16508 HAS SOPS 16508 HAS SOUS 14959 HAS SOUPS 14959 WITH SCORE 14975.508
AT ITER 673 NEW BEST:: SOT 63672 SOS 16492 HAS SOPS 16492 HAS SOUS 14943 HAS SOUPS 14943 WITH SCORE 14959.492
AT ITER 688 NEW BEST:: SOT 63670 SOS 16478 HAS SOPS 16478 HAS SOUS 14929 HAS SOUPS 14929 WITH SCORE 14945.478
AT ITER 697 NEW BEST:: SOT 63639 SOS 16471 HAS SOPS 16471 HAS SOUS 14922 HAS SOUPS 14922 WITH SCORE 14938.471
AT ITER 703 NEW BEST:: SOT 63639 SOS 16428 HAS SOPS 16428 HAS SOUS 14879 HAS SOUPS 14879 WITH SCORE 14895.428
AT ITER 735 NEW BEST:: SOT 63590 SOS 16368 HAS SOPS 16368 HAS SOUS 14819 HAS SOUPS 14819 WITH SCORE 14835.368
AT ITER 738 NEW BEST:: SOT 63604 SOS 16365 HAS SOPS 16365 HAS SOUS 14815 HAS SOUPS 14815 WITH SCORE 14831.365
AT ITER 742 NEW BEST:: SOT 63571 SOS 16308 HAS SOPS 16308 HAS SOUS 14758 HAS SOUPS 14758 WITH SCORE 14774.308
AT ITER 743 NEW BEST:: SOT 63560 SOS 16339 HAS SOPS 16339 HAS SOUS 14732 HAS SOUPS 14732 WITH SCORE 14748.339
AT ITER 756 NEW BEST:: SOT 63560 SOS 16303 HAS SOPS 16303 HAS SOUS 14714 HAS SOUPS 14714 WITH SCORE 14730.303
AT ITER 761 NEW BEST:: SOT 63560 SOS 16299 HAS SOPS 16299 HAS SOUS 14714 HAS SOUPS 14714 WITH SCORE 14730.299
AT ITER 765 NEW BEST:: SOT 63527 SOS 16228 HAS SOPS 16228 HAS SOUS 14667 HAS SOUPS 14667 WITH SCORE 14683.228
AT ITER 769 NEW BEST:: SOT 63454 SOS 16202 HAS SOPS 16202 HAS SOUS 14594 HAS SOUPS 14594 WITH SCORE 14610.202
AT ITER 783 NEW BEST:: SOT 63422 SOS 16104 HAS SOPS 16104 HAS SOUS 14496 HAS SOUPS 14496 WITH SCORE 14512.104
AT ITER 803 NEW BEST:: SOT 63416 SOS 16093 HAS SOPS 16093 HAS SOUS 14492 HAS SOUPS 14492 WITH SCORE 14508.093
AT ITER 845 NEW BEST:: SOT 63411 SOS 16083 HAS SOPS 16083 HAS SOUS 14492 HAS SOUPS 14492 WITH SCORE 14508.083
AT ITER 874 NEW BEST:: SOT 63411 SOS 16057 HAS SOPS 16057 HAS SOUS 14466 HAS SOUPS 14466 WITH SCORE 14482.057
AT ITER 876 NEW BEST:: SOT 63344 SOS 15999 HAS SOPS 15999 HAS SOUS 14449 HAS SOUPS 14449 WITH SCORE 14464.999
AT ITER 906 NEW BEST:: SOT 63361 SOS 16017 HAS SOPS 16017 HAS SOUS 14432 HAS SOUPS 14432 WITH SCORE 14448.017
AT ITER 907 NEW BEST:: SOT 63361 SOS 16015 HAS SOPS 16015 HAS SOUS 14430 HAS SOUPS 14430 WITH SCORE 14446.015
AT ITER 931 NEW BEST:: SOT 63361 SOS 15975 HAS SOPS 15975 HAS SOUS 14390 HAS SOUPS 14390 WITH SCORE 14405.975
AT ITER 938 NEW BEST:: SOT 63389 SOS 16031 HAS SOPS 16031 HAS SOUS 14387 HAS SOUPS 14387 WITH SCORE 14403.031
AT ITER 950 NEW BEST:: SOT 63361 SOS 16065 HAS SOPS 16065 HAS SOUS 14376 HAS SOUPS 14376 WITH SCORE 14392.065
AT ITER 986 NEW BEST:: SOT 63369 SOS 16053 HAS SOPS 16053 HAS SOUS 14364 HAS SOUPS 14364 WITH SCORE 14380.053
AT ITER 989 NEW BEST:: SOT 63376 SOS 16047 HAS SOPS 16047 HAS SOUS 14358 HAS SOUPS 14358 WITH SCORE 14374.047
AT ITER 1000 NEW BEST:: SOT 63309 SOS 15987 HAS SOPS 15987 HAS SOUS 14298 HAS SOUPS 14298 WITH SCORE 14313.987
AT ITER 1003 NEW BEST:: SOT 63322 SOS 15935 HAS SOPS 15935 HAS SOUS 14246 HAS SOUPS 14246 WITH SCORE 14261.935
AT ITER 1004 NEW BEST:: SOT 63322 SOS 15921 HAS SOPS 15921 HAS SOUS 14246 HAS SOUPS 14246 WITH SCORE 14261.921
AT ITER 1020 NEW BEST:: SOT 63297 SOS 15881 HAS SOPS 15881 HAS SOUS 14206 HAS SOUPS 14206 WITH SCORE 14221.881
AT ITER 1051 NEW BEST:: SOT 63291 SOS 15875 HAS SOPS 15875 HAS SOUS 14198 HAS SOUPS 14198 WITH SCORE 14213.875
AT ITER 1061 NEW BEST:: SOT 63266 SOS 15824 HAS SOPS 15824 HAS SOUS 14189 HAS SOUPS 14189 WITH SCORE 14204.824
AT ITER 1065 NEW BEST:: SOT 63265 SOS 15822 HAS SOPS 15822 HAS SOUS 14188 HAS SOUPS 14188 WITH SCORE 14203.822
AT ITER 1069 NEW BEST:: SOT 63245 SOS 15792 HAS SOPS 15792 HAS SOUS 14158 HAS SOUPS 14158 WITH SCORE 14173.792
AT ITER 1087 NEW BEST:: SOT 63245 SOS 15789 HAS SOPS 15789 HAS SOUS 14155 HAS SOUPS 14155 WITH SCORE 14170.789
AT ITER 1124 NEW BEST:: SOT 63221 SOS 15765 HAS SOPS 15765 HAS SOUS 14131 HAS SOUPS 14131 WITH SCORE 14146.765
AT ITER 1158 NEW BEST:: SOT 63227 SOS 15714 HAS SOPS 15714 HAS SOUS 14099 HAS SOUPS 14099 WITH SCORE 14114.714
AT ITER 1163 NEW BEST:: SOT 63216 SOS 15670 HAS SOPS 15670 HAS SOUS 14066 HAS SOUPS 14066 WITH SCORE 14081.67
AT ITER 1164 NEW BEST:: SOT 63196 SOS 15630 HAS SOPS 15630 HAS SOUS 14039 HAS SOUPS 14039 WITH SCORE 14054.63
AT ITER 1208 NEW BEST:: SOT 63166 SOS 15550 HAS SOPS 15550 HAS SOUS 13959 HAS SOUPS 13959 WITH SCORE 13974.55
AT ITER 1214 NEW BEST:: SOT 63132 SOS 15448 HAS SOPS 15448 HAS SOUS 13891 HAS SOUPS 13891 WITH SCORE 13906.448
AT ITER 1228 NEW BEST:: SOT 63132 SOS 15486 HAS SOPS 15486 HAS SOUS 13860 HAS SOUPS 13860 WITH SCORE 13875.486
AT ITER 1238 NEW BEST:: SOT 63132 SOS 15461 HAS SOPS 15461 HAS SOUS 13835 HAS SOUPS 13835 WITH SCORE 13850.461
AT ITER 1263 NEW BEST:: SOT 63102 SOS 15431 HAS SOPS 15431 HAS SOUS 13805 HAS SOUPS 13805 WITH SCORE 13820.431
AT ITER 1273 NEW BEST:: SOT 63092 SOS 15419 HAS SOPS 15419 HAS SOUS 13794 HAS SOUPS 13794 WITH SCORE 13809.419
AT ITER 1282 NEW BEST:: SOT 63082 SOS 15398 HAS SOPS 15398 HAS SOUS 13773 HAS SOUPS 13773 WITH SCORE 13788.398
AT ITER 1302 NEW BEST:: SOT 63068 SOS 15370 HAS SOPS 15370 HAS SOUS 13745 HAS SOUPS 13745 WITH SCORE 13760.37
AT ITER 1334 NEW BEST:: SOT 63087 SOS 15344 HAS SOPS 15344 HAS SOUS 13715 HAS SOUPS 13715 WITH SCORE 13730.344
AT ITER 1373 NEW BEST:: SOT 63087 SOS 15302 HAS SOPS 15302 HAS SOUS 13715 HAS SOUPS 13715 WITH SCORE 13730.302
AT ITER 1383 NEW BEST:: SOT 63093 SOS 15272 HAS SOPS 15272 HAS SOUS 13707 HAS SOUPS 13707 WITH SCORE 13722.272
AT ITER 1387 NEW BEST:: SOT 63085 SOS 15256 HAS SOPS 15256 HAS SOUS 13674 HAS SOUPS 13674 WITH SCORE 13689.256
AT ITER 1396 NEW BEST:: SOT 63061 SOS 15146 HAS SOPS 15146 HAS SOUS 13590 HAS SOUPS 13590 WITH SCORE 13605.146
AT ITER 1400 NEW BEST:: SOT 63005 SOS 15002 HAS SOPS 15002 HAS SOUS 13465 HAS SOUPS 13465 WITH SCORE 13480.002
AT ITER 1413 NEW BEST:: SOT 62988 SOS 15009 HAS SOPS 15009 HAS SOUS 13464 HAS SOUPS 13464 WITH SCORE 13479.009
AT ITER 1420 NEW BEST:: SOT 62995 SOS 14963 HAS SOPS 14963 HAS SOUS 13450 HAS SOUPS 13450 WITH SCORE 13464.963
AT ITER 1432 NEW BEST:: SOT 62990 SOS 15091 HAS SOPS 15091 HAS SOUS 13445 HAS SOUPS 13445 WITH SCORE 13460.091
AT ITER 1435 NEW BEST:: SOT 62990 SOS 15053 HAS SOPS 15053 HAS SOUS 13445 HAS SOUPS 13445 WITH SCORE 13460.053
AT ITER 1446 NEW BEST:: SOT 62978 SOS 15017 HAS SOPS 15017 HAS SOUS 13433 HAS SOUPS 13433 WITH SCORE 13448.017
AT ITER 1459 NEW BEST:: SOT 62976 SOS 15014 HAS SOPS 15014 HAS SOUS 13430 HAS SOUPS 13430 WITH SCORE 13445.014
AT ITER 1480 NEW BEST:: SOT 62989 SOS 15018 HAS SOPS 15018 HAS SOUS 13412 HAS SOUPS 13412 WITH SCORE 13427.018
AT ITER 1485 NEW BEST:: SOT 62988 SOS 14983 HAS SOPS 14983 HAS SOUS 13377 HAS SOUPS 13377 WITH SCORE 13391.983
AT ITER 1492 NEW BEST:: SOT 62952 SOS 14991 HAS SOPS 14991 HAS SOUS 13348 HAS SOUPS 13348 WITH SCORE 13362.991
AT ITER 1498 NEW BEST:: SOT 62944 SOS 14970 HAS SOPS 14970 HAS SOUS 13327 HAS SOUPS 13327 WITH SCORE 13341.97
AT ITER 1499 NEW BEST:: SOT 62944 SOS 14936 HAS SOPS 14936 HAS SOUS 13322 HAS SOUPS 13322 WITH SCORE 13336.936
AT ITER 1542 NEW BEST:: SOT 62950 SOS 14932 HAS SOPS 14932 HAS SOUS 13312 HAS SOUPS 13312 WITH SCORE 13326.932
AT ITER 1566 NEW BEST:: SOT 62930 SOS 14899 HAS SOPS 14899 HAS SOUS 13283 HAS SOUPS 13283 WITH SCORE 13297.899
AT ITER 1568 NEW BEST:: SOT 62927 SOS 14896 HAS SOPS 14896 HAS SOUS 13280 HAS SOUPS 13280 WITH SCORE 13294.896
AT ITER 1574 NEW BEST:: SOT 62927 SOS 14868 HAS SOPS 14868 HAS SOUS 13252 HAS SOUPS 13252 WITH SCORE 13266.868
AT ITER 1581 NEW BEST:: SOT 62925 SOS 14866 HAS SOPS 14866 HAS SOUS 13248 HAS SOUPS 13248 WITH SCORE 13262.866
AT ITER 1587 NEW BEST:: SOT 62918 SOS 14866 HAS SOPS 14866 HAS SOUS 13241 HAS SOUPS 13241 WITH SCORE 13255.866
AT ITER 1605 NEW BEST:: SOT 62909 SOS 14849 HAS SOPS 14849 HAS SOUS 13224 HAS SOUPS 13224 WITH SCORE 13238.849
AT ITER 1606 NEW BEST:: SOT 62917 SOS 14847 HAS SOPS 14847 HAS SOUS 13212 HAS SOUPS 13212 WITH SCORE 13226.847
AT ITER 1609 NEW BEST:: SOT 62934 SOS 14835 HAS SOPS 14835 HAS SOUS 13200 HAS SOUPS 13200 WITH SCORE 13214.835
AT ITER 1622 NEW BEST:: SOT 62920 SOS 14784 HAS SOPS 14784 HAS SOUS 13149 HAS SOUPS 13149 WITH SCORE 13163.784
AT ITER 1629 NEW BEST:: SOT 62919 SOS 14783 HAS SOPS 14783 HAS SOUS 13148 HAS SOUPS 13148 WITH SCORE 13162.783
AT ITER 1677 NEW BEST:: SOT 62919 SOS 14778 HAS SOPS 14778 HAS SOUS 13148 HAS SOUPS 13148 WITH SCORE 13162.778
AT ITER 1710 NEW BEST:: SOT 62932 SOS 14759 HAS SOPS 14759 HAS SOUS 13129 HAS SOUPS 13129 WITH SCORE 13143.759
AT ITER 1743 NEW BEST:: SOT 62929 SOS 14730 HAS SOPS 14730 HAS SOUS 13072 HAS SOUPS 13072 WITH SCORE 13086.73
AT ITER 1744 NEW BEST:: SOT 62929 SOS 14717 HAS SOPS 14717 HAS SOUS 13072 HAS SOUPS 13072 WITH SCORE 13086.717
AT ITER 1759 NEW BEST:: SOT 62929 SOS 14655 HAS SOPS 14655 HAS SOUS 13069 HAS SOUPS 13069 WITH SCORE 13083.655
AT ITER 1768 NEW BEST:: SOT 62917 SOS 14631 HAS SOPS 14631 HAS SOUS 13045 HAS SOUPS 13045 WITH SCORE 13059.631
AT ITER 1793 NEW BEST:: SOT 62910 SOS 14577 HAS SOPS 14577 HAS SOUS 12968 HAS SOUPS 12968 WITH SCORE 12982.577
AT ITER 1805 NEW BEST:: SOT 62910 SOS 14568 HAS SOPS 14568 HAS SOUS 12959 HAS SOUPS 12959 WITH SCORE 12973.568
AT ITER 1836 NEW BEST:: SOT 62908 SOS 14564 HAS SOPS 14564 HAS SOUS 12955 HAS SOUPS 12955 WITH SCORE 12969.564
AT ITER 1845 NEW BEST:: SOT 62893 SOS 14556 HAS SOPS 14556 HAS SOUS 12947 HAS SOUPS 12947 WITH SCORE 12961.556
AT ITER 1853 NEW BEST:: SOT 62907 SOS 14554 HAS SOPS 14554 HAS SOUS 12945 HAS SOUPS 12945 WITH SCORE 12959.554
AT ITER 1870 NEW BEST:: SOT 62904 SOS 14551 HAS SOPS 14551 HAS SOUS 12942 HAS SOUPS 12942 WITH SCORE 12956.551
AT ITER 1875 NEW BEST:: SOT 62901 SOS 14564 HAS SOPS 14564 HAS SOUS 12926 HAS SOUPS 12926 WITH SCORE 12940.564
AT ITER 1908 NEW BEST:: SOT 62893 SOS 14556 HAS SOPS 14556 HAS SOUS 12918 HAS SOUPS 12918 WITH SCORE 12932.556
AT ITER 1920 NEW BEST:: SOT 62869 SOS 14484 HAS SOPS 14484 HAS SOUS 12894 HAS SOUPS 12894 WITH SCORE 12908.484
AT ITER 1924 NEW BEST:: SOT 62869 SOS 14458 HAS SOPS 14458 HAS SOUS 12893 HAS SOUPS 12893 WITH SCORE 12907.458
AT ITER 1930 NEW BEST:: SOT 62853 SOS 14481 HAS SOPS 14481 HAS SOUS 12880 HAS SOUPS 12880 WITH SCORE 12894.481
AT ITER 1953 NEW BEST:: SOT 62851 SOS 14477 HAS SOPS 14477 HAS SOUS 12878 HAS SOUPS 12878 WITH SCORE 12892.477
AT ITER 1964 NEW BEST:: SOT 62834 SOS 14411 HAS SOPS 14411 HAS SOUS 12812 HAS SOUPS 12812 WITH SCORE 12826.411
AT ITER 1995 NEW BEST:: SOT 62802 SOS 14379 HAS SOPS 14379 HAS SOUS 12748 HAS SOUPS 12748 WITH SCORE 12762.379
AT ITER 2017 NEW BEST:: SOT 62769 SOS 14376 HAS SOPS 14376 HAS SOUS 12735 HAS SOUPS 12735 WITH SCORE 12749.376
AT ITER 2023 NEW BEST:: SOT 62763 SOS 14358 HAS SOPS 14358 HAS SOUS 12717 HAS SOUPS 12717 WITH SCORE 12731.358
AT ITER 2085 NEW BEST:: SOT 62753 SOS 14370 HAS SOPS 14370 HAS SOUS 12701 HAS SOUPS 12701 WITH SCORE 12715.37
AT ITER 2100 NEW BEST:: SOT 62745 SOS 14385 HAS SOPS 14385 HAS SOUS 12690 HAS SOUPS 12690 WITH SCORE 12704.385
AT ITER 2107 NEW BEST:: SOT 62740 SOS 14380 HAS SOPS 14380 HAS SOUS 12685 HAS SOUPS 12685 WITH SCORE 12699.38
AT ITER 2108 NEW BEST:: SOT 62694 SOS 14411 HAS SOPS 14411 HAS SOUS 12653 HAS SOUPS 12653 WITH SCORE 12667.411
AT ITER 2109 NEW BEST:: SOT 62687 SOS 14397 HAS SOPS 14397 HAS SOUS 12639 HAS SOUPS 12639 WITH SCORE 12653.397
AT ITER 2118 NEW BEST:: SOT 62676 SOS 14375 HAS SOPS 14375 HAS SOUS 12617 HAS SOUPS 12617 WITH SCORE 12631.375
AT ITER 2129 NEW BEST:: SOT 62680 SOS 14373 HAS SOPS 14373 HAS SOUS 12615 HAS SOUPS 12615 WITH SCORE 12629.373
AT ITER 2143 NEW BEST:: SOT 62672 SOS 14338 HAS SOPS 14338 HAS SOUS 12599 HAS SOUPS 12599 WITH SCORE 12613.338
AT ITER 2164 NEW BEST:: SOT 62567 SOS 14128 HAS SOPS 14128 HAS SOUS 12579 HAS SOUPS 12579 WITH SCORE 12593.128
AT ITER 2171 NEW BEST:: SOT 62545 SOS 14118 HAS SOPS 14118 HAS SOUS 12579 HAS SOUPS 12579 WITH SCORE 12593.118
AT ITER 2203 NEW BEST:: SOT 62540 SOS 14109 HAS SOPS 14109 HAS SOUS 12570 HAS SOUPS 12570 WITH SCORE 12584.109
AT ITER 2207 NEW BEST:: SOT 62540 SOS 14090 HAS SOPS 14090 HAS SOUS 12551 HAS SOUPS 12551 WITH SCORE 12565.09
AT ITER 2213 NEW BEST:: SOT 62524 SOS 14058 HAS SOPS 14058 HAS SOUS 12519 HAS SOUPS 12519 WITH SCORE 12533.058
AT ITER 2217 NEW BEST:: SOT 62540 SOS 14069 HAS SOPS 14069 HAS SOUS 12515 HAS SOUPS 12515 WITH SCORE 12529.069
AT ITER 2226 NEW BEST:: SOT 62539 SOS 14055 HAS SOPS 14055 HAS SOUS 12514 HAS SOUPS 12514 WITH SCORE 12528.055
AT ITER 2238 NEW BEST:: SOT 62538 SOS 14054 HAS SOPS 14054 HAS SOUS 12513 HAS SOUPS 12513 WITH SCORE 12527.054
AT ITER 2244 NEW BEST:: SOT 62491 SOS 13990 HAS SOPS 13990 HAS SOUS 12475 HAS SOUPS 12475 WITH SCORE 12488.99
AT ITER 2258 NEW BEST:: SOT 62480 SOS 13998 HAS SOPS 13998 HAS SOUS 12474 HAS SOUPS 12474 WITH SCORE 12487.998
AT ITER 2260 NEW BEST:: SOT 62461 SOS 13960 HAS SOPS 13960 HAS SOUS 12436 HAS SOUPS 12436 WITH SCORE 12449.96
AT ITER 2281 NEW BEST:: SOT 62444 SOS 13943 HAS SOPS 13943 HAS SOUS 12401 HAS SOUPS 12401 WITH SCORE 12414.943
AT ITER 2292 NEW BEST:: SOT 62444 SOS 13937 HAS SOPS 13937 HAS SOUS 12395 HAS SOUPS 12395 WITH SCORE 12408.937
AT ITER 2305 NEW BEST:: SOT 62453 SOS 13928 HAS SOPS 13928 HAS SOUS 12395 HAS SOUPS 12395 WITH SCORE 12408.928
AT ITER 2334 NEW BEST:: SOT 62448 SOS 13908 HAS SOPS 13908 HAS SOUS 12380 HAS SOUPS 12380 WITH SCORE 12393.908
AT ITER 2338 NEW BEST:: SOT 62422 SOS 13843 HAS SOPS 13843 HAS SOUS 12314 HAS SOUPS 12314 WITH SCORE 12327.843
AT ITER 2409 NEW BEST:: SOT 62410 SOS 13832 HAS SOPS 13832 HAS SOUS 12301 HAS SOUPS 12301 WITH SCORE 12314.832
AT ITER 2422 NEW BEST:: SOT 62407 SOS 13819 HAS SOPS 13819 HAS SOUS 12295 HAS SOUPS 12295 WITH SCORE 12308.819
AT ITER 2444 NEW BEST:: SOT 62396 SOS 13784 HAS SOPS 13784 HAS SOUS 12283 HAS SOUPS 12283 WITH SCORE 12296.784
AT ITER 2454 NEW BEST:: SOT 62398 SOS 13768 HAS SOPS 13768 HAS SOUS 12252 HAS SOUPS 12252 WITH SCORE 12265.768
AT ITER 2507 NEW BEST:: SOT 62393 SOS 13702 HAS SOPS 13702 HAS SOUS 12237 HAS SOUPS 12237 WITH SCORE 12250.702
AT ITER 2546 NEW BEST:: SOT 62393 SOS 13691 HAS SOPS 13691 HAS SOUS 12226 HAS SOUPS 12226 WITH SCORE 12239.691
AT ITER 2550 NEW BEST:: SOT 62388 SOS 13693 HAS SOPS 13693 HAS SOUS 12221 HAS SOUPS 12221 WITH SCORE 12234.693
AT ITER 2566 NEW BEST:: SOT 62390 SOS 13692 HAS SOPS 13692 HAS SOUS 12220 HAS SOUPS 12220 WITH SCORE 12233.692
AT ITER 2600 NEW BEST:: SOT 62367 SOS 13630 HAS SOPS 13630 HAS SOUS 12193 HAS SOUPS 12193 WITH SCORE 12206.63
AT ITER 2601 NEW BEST:: SOT 62364 SOS 13630 HAS SOPS 13630 HAS SOUS 12190 HAS SOUPS 12190 WITH SCORE 12203.63
AT ITER 2651 NEW BEST:: SOT 62358 SOS 13624 HAS SOPS 13624 HAS SOUS 12165 HAS SOUPS 12165 WITH SCORE 12178.624
AT ITER 2690 NEW BEST:: SOT 62442 SOS 13787 HAS SOPS 13787 HAS SOUS 12164 HAS SOUPS 12164 WITH SCORE 12177.787
AT ITER 2702 NEW BEST:: SOT 62443 SOS 13780 HAS SOPS 13780 HAS SOUS 12159 HAS SOUPS 12159 WITH SCORE 12172.78
AT ITER 2720 NEW BEST:: SOT 62425 SOS 13769 HAS SOPS 13769 HAS SOUS 12148 HAS SOUPS 12148 WITH SCORE 12161.769
AT ITER 2757 NEW BEST:: SOT 62425 SOS 13743 HAS SOPS 13743 HAS SOUS 12136 HAS SOUPS 12136 WITH SCORE 12149.743
AT ITER 2784 NEW BEST:: SOT 62420 SOS 13743 HAS SOPS 13743 HAS SOUS 12131 HAS SOUPS 12131 WITH SCORE 12144.743
AT ITER 2792 NEW BEST:: SOT 62420 SOS 13710 HAS SOPS 13710 HAS SOUS 12118 HAS SOUPS 12118 WITH SCORE 12131.71
AT ITER 2849 NEW BEST:: SOT 62419 SOS 13710 HAS SOPS 13710 HAS SOUS 12115 HAS SOUPS 12115 WITH SCORE 12128.71
AT ITER 2869 NEW BEST:: SOT 62422 SOS 13642 HAS SOPS 13642 HAS SOUS 12106 HAS SOUPS 12106 WITH SCORE 12119.642
AT ITER 2880 NEW BEST:: SOT 62429 SOS 13649 HAS SOPS 13649 HAS SOUS 12099 HAS SOUPS 12099 WITH SCORE 12112.649
AT ITER 2928 NEW BEST:: SOT 62429 SOS 13619 HAS SOPS 13619 HAS SOUS 12080 HAS SOUPS 12080 WITH SCORE 12093.619
AT ITER 2931 NEW BEST:: SOT 62441 SOS 13631 HAS SOPS 13631 HAS SOUS 12078 HAS SOUPS 12078 WITH SCORE 12091.631
AT ITER 2965 NEW BEST:: SOT 62441 SOS 13621 HAS SOPS 13621 HAS SOUS 12058 HAS SOUPS 12058 WITH SCORE 12071.621
AT ITER 2982 NEW BEST:: SOT 62440 SOS 13660 HAS SOPS 13660 HAS SOUS 12057 HAS SOUPS 12057 WITH SCORE 12070.66
AT ITER 3018 NEW BEST:: SOT 62440 SOS 13650 HAS SOPS 13650 HAS SOUS 12047 HAS SOUPS 12047 WITH SCORE 12060.65
AT ITER 3024 NEW BEST:: SOT 62435 SOS 13640 HAS SOPS 13640 HAS SOUS 12042 HAS SOUPS 12042 WITH SCORE 12055.64
AT ITER 3036 NEW BEST:: SOT 62444 SOS 13611 HAS SOPS 13611 HAS SOUS 12013 HAS SOUPS 12013 WITH SCORE 12026.611
AT ITER 3057 NEW BEST:: SOT 62435 SOS 13574 HAS SOPS 13574 HAS SOUS 12007 HAS SOUPS 12007 WITH SCORE 12020.574
AT ITER 3070 NEW BEST:: SOT 62456 SOS 13550 HAS SOPS 13550 HAS SOUS 11978 HAS SOUPS 11978 WITH SCORE 11991.55
AT ITER 3076 NEW BEST:: SOT 62470 SOS 13544 HAS SOPS 13544 HAS SOUS 11968 HAS SOUPS 11968 WITH SCORE 11981.544
AT ITER 3148 NEW BEST:: SOT 62470 SOS 13544 HAS SOPS 13544 HAS SOUS 11967 HAS SOUPS 11967 WITH SCORE 11980.544
AT ITER 3162 NEW BEST:: SOT 62460 SOS 13562 HAS SOPS 13562 HAS SOUS 11965 HAS SOUPS 11965 WITH SCORE 11978.562
AT ITER 3177 NEW BEST:: SOT 62438 SOS 13575 HAS SOPS 13575 HAS SOUS 11947 HAS SOUPS 11947 WITH SCORE 11960.575
AT ITER 3202 NEW BEST:: SOT 62462 SOS 13596 HAS SOPS 13596 HAS SOUS 11944 HAS SOUPS 11944 WITH SCORE 11957.596
AT ITER 3225 NEW BEST:: SOT 62449 SOS 13570 HAS SOPS 13570 HAS SOUS 11918 HAS SOUPS 11918 WITH SCORE 11931.57
AT ITER 3237 NEW BEST:: SOT 62449 SOS 13508 HAS SOPS 13508 HAS SOUS 11883 HAS SOUPS 11883 WITH SCORE 11896.508
AT ITER 3257 NEW BEST:: SOT 62440 SOS 13490 HAS SOPS 13490 HAS SOUS 11870 HAS SOUPS 11870 WITH SCORE 11883.49
AT ITER 3279 NEW BEST:: SOT 62459 SOS 13459 HAS SOPS 13459 HAS SOUS 11862 HAS SOUPS 11862 WITH SCORE 11875.459
AT ITER 3281 NEW BEST:: SOT 62459 SOS 13458 HAS SOPS 13458 HAS SOUS 11861 HAS SOUPS 11861 WITH SCORE 11874.458
AT ITER 3283 NEW BEST:: SOT 62458 SOS 13466 HAS SOPS 13466 HAS SOUS 11860 HAS SOUPS 11860 WITH SCORE 11873.466
AT ITER 3286 NEW BEST:: SOT 62465 SOS 13436 HAS SOPS 13436 HAS SOUS 11845 HAS SOUPS 11845 WITH SCORE 11858.436
AT ITER 3293 NEW BEST:: SOT 62462 SOS 13428 HAS SOPS 13428 HAS SOUS 11842 HAS SOUPS 11842 WITH SCORE 11855.428
AT ITER 3326 NEW BEST:: SOT 62459 SOS 13422 HAS SOPS 13422 HAS SOUS 11836 HAS SOUPS 11836 WITH SCORE 11849.422
AT ITER 3328 NEW BEST:: SOT 62437 SOS 13378 HAS SOPS 13378 HAS SOUS 11792 HAS SOUPS 11792 WITH SCORE 11805.378
AT ITER 3338 NEW BEST:: SOT 62435 SOS 13365 HAS SOPS 13365 HAS SOUS 11779 HAS SOUPS 11779 WITH SCORE 11792.365
AT ITER 3345 NEW BEST:: SOT 62427 SOS 13352 HAS SOPS 13352 HAS SOUS 11766 HAS SOUPS 11766 WITH SCORE 11779.352
AT ITER 3470 NEW BEST:: SOT 62415 SOS 13347 HAS SOPS 13347 HAS SOUS 11761 HAS SOUPS 11761 WITH SCORE 11774.347
AT ITER 3478 NEW BEST:: SOT 62398 SOS 13296 HAS SOPS 13296 HAS SOUS 11727 HAS SOUPS 11727 WITH SCORE 11740.296
AT ITER 3490 NEW BEST:: SOT 62398 SOS 13251 HAS SOPS 13251 HAS SOUS 11718 HAS SOUPS 11718 WITH SCORE 11731.251
AT ITER 3508 NEW BEST:: SOT 62398 SOS 13240 HAS SOPS 13240 HAS SOUS 11718 HAS SOUPS 11718 WITH SCORE 11731.24
AT ITER 3510 NEW BEST:: SOT 62399 SOS 13218 HAS SOPS 13218 HAS SOUS 11696 HAS SOUPS 11696 WITH SCORE 11709.218
AT ITER 3511 NEW BEST:: SOT 62398 SOS 13216 HAS SOPS 13216 HAS SOUS 11694 HAS SOUPS 11694 WITH SCORE 11707.216
AT ITER 3532 NEW BEST:: SOT 62383 SOS 13186 HAS SOPS 13186 HAS SOUS 11677 HAS SOUPS 11677 WITH SCORE 11690.186
AT ITER 3548 NEW BEST:: SOT 62365 SOS 13147 HAS SOPS 13147 HAS SOUS 11671 HAS SOUPS 11671 WITH SCORE 11684.147
AT ITER 3550 NEW BEST:: SOT 62363 SOS 13112 HAS SOPS 13112 HAS SOUS 11646 HAS SOUPS 11646 WITH SCORE 11659.112
AT ITER 3559 NEW BEST:: SOT 62359 SOS 13104 HAS SOPS 13104 HAS SOUS 11642 HAS SOUPS 11642 WITH SCORE 11655.104
AT ITER 3576 NEW BEST:: SOT 62356 SOS 13049 HAS SOPS 13049 HAS SOUS 11622 HAS SOUPS 11622 WITH SCORE 11635.049
AT ITER 3593 NEW BEST:: SOT 62334 SOS 13005 HAS SOPS 13005 HAS SOUS 11610 HAS SOUPS 11610 WITH SCORE 11623.005
AT ITER 3637 NEW BEST:: SOT 62293 SOS 12966 HAS SOPS 12966 HAS SOUS 11602 HAS SOUPS 11602 WITH SCORE 11614.966
AT ITER 3663 NEW BEST:: SOT 62293 SOS 12966 HAS SOPS 12966 HAS SOUS 11600 HAS SOUPS 11600 WITH SCORE 11612.966
AT ITER 3687 NEW BEST:: SOT 62282 SOS 12950 HAS SOPS 12950 HAS SOUS 11585 HAS SOUPS 11585 WITH SCORE 11597.95
AT ITER 3696 NEW BEST:: SOT 62284 SOS 12946 HAS SOPS 12946 HAS SOUS 11581 HAS SOUPS 11581 WITH SCORE 11593.946
AT ITER 3714 NEW BEST:: SOT 62274 SOS 12902 HAS SOPS 12902 HAS SOUS 11547 HAS SOUPS 11547 WITH SCORE 11559.902
AT ITER 3762 NEW BEST:: SOT 62273 SOS 12876 HAS SOPS 12876 HAS SOUS 11521 HAS SOUPS 11521 WITH SCORE 11533.876
AT ITER 3764 NEW BEST:: SOT 62308 SOS 12910 HAS SOPS 12910 HAS SOUS 11520 HAS SOUPS 11520 WITH SCORE 11532.91
AT ITER 3790 NEW BEST:: SOT 62292 SOS 12905 HAS SOPS 12905 HAS SOUS 11515 HAS SOUPS 11515 WITH SCORE 11527.905
AT ITER 3799 NEW BEST:: SOT 62306 SOS 12903 HAS SOPS 12903 HAS SOUS 11513 HAS SOUPS 11513 WITH SCORE 11525.903
AT ITER 3808 NEW BEST:: SOT 62306 SOS 12902 HAS SOPS 12902 HAS SOUS 11512 HAS SOUPS 11512 WITH SCORE 11524.902
AT ITER 3809 NEW BEST:: SOT 62279 SOS 12851 HAS SOPS 12851 HAS SOUS 11482 HAS SOUPS 11482 WITH SCORE 11494.851
AT ITER 3849 NEW BEST:: SOT 62279 SOS 12851 HAS SOPS 12851 HAS SOUS 11439 HAS SOUPS 11439 WITH SCORE 11451.851
AT ITER 3859 NEW BEST:: SOT 62282 SOS 12845 HAS SOPS 12845 HAS SOUS 11434 HAS SOUPS 11434 WITH SCORE 11446.845
AT ITER 3904 NEW BEST:: SOT 62282 SOS 12830 HAS SOPS 12830 HAS SOUS 11424 HAS SOUPS 11424 WITH SCORE 11436.83
AT ITER 3907 NEW BEST:: SOT 62282 SOS 12830 HAS SOPS 12830 HAS SOUS 11422 HAS SOUPS 11422 WITH SCORE 11434.83
AT ITER 3914 NEW BEST:: SOT 62235 SOS 12735 HAS SOPS 12735 HAS SOUS 11375 HAS SOUPS 11375 WITH SCORE 11387.735
AT ITER 3938 NEW BEST:: SOT 62179 SOS 12687 HAS SOPS 12687 HAS SOUS 11351 HAS SOUPS 11351 WITH SCORE 11363.687
AT ITER 3962 NEW BEST:: SOT 62156 SOS 12686 HAS SOPS 12686 HAS SOUS 11321 HAS SOUPS 11321 WITH SCORE 11333.686
AT ITER 3963 NEW BEST:: SOT 62148 SOS 12678 HAS SOPS 12678 HAS SOUS 11313 HAS SOUPS 11313 WITH SCORE 11325.678
AT ITER 4011 NEW BEST:: SOT 62148 SOS 12739 HAS SOPS 12739 HAS SOUS 11287 HAS SOUPS 11287 WITH SCORE 11299.739
AT ITER 4016 NEW BEST:: SOT 62148 SOS 12721 HAS SOPS 12721 HAS SOUS 11287 HAS SOUPS 11287 WITH SCORE 11299.721
AT ITER 4139 NEW BEST:: SOT 62154 SOS 12718 HAS SOPS 12718 HAS SOUS 11284 HAS SOUPS 11284 WITH SCORE 11296.718
AT ITER 4156 NEW BEST:: SOT 62154 SOS 12686 HAS SOPS 12686 HAS SOUS 11277 HAS SOUPS 11277 WITH SCORE 11289.686
AT ITER 4183 NEW BEST:: SOT 62139 SOS 12671 HAS SOPS 12671 HAS SOUS 11277 HAS SOUPS 11277 WITH SCORE 11289.671
AT ITER 4198 NEW BEST:: SOT 62139 SOS 12645 HAS SOPS 12645 HAS SOUS 11277 HAS SOUPS 11277 WITH SCORE 11289.645
AT ITER 4270 NEW BEST:: SOT 62139 SOS 12642 HAS SOPS 12642 HAS SOUS 11277 HAS SOUPS 11277 WITH SCORE 11289.642
AT ITER 4300 NEW BEST:: SOT 62154 SOS 12634 HAS SOPS 12634 HAS SOUS 11269 HAS SOUPS 11269 WITH SCORE 11281.634
AT ITER 4359 NEW BEST:: SOT 62147 SOS 12652 HAS SOPS 12652 HAS SOUS 11255 HAS SOUPS 11255 WITH SCORE 11267.652
AT ITER 4365 NEW BEST:: SOT 62182 SOS 12592 HAS SOPS 12592 HAS SOUS 11229 HAS SOUPS 11229 WITH SCORE 11241.592
AT ITER 4404 NEW BEST:: SOT 62180 SOS 12590 HAS SOPS 12590 HAS SOUS 11227 HAS SOUPS 11227 WITH SCORE 11239.59
AT ITER 4453 NEW BEST:: SOT 62177 SOS 12581 HAS SOPS 12581 HAS SOUS 11221 HAS SOUPS 11221 WITH SCORE 11233.581
AT ITER 4512 NEW BEST:: SOT 62177 SOS 12570 HAS SOPS 12570 HAS SOUS 11210 HAS SOUPS 11210 WITH SCORE 11222.57
AT ITER 4538 NEW BEST:: SOT 62200 SOS 12541 HAS SOPS 12541 HAS SOUS 11209 HAS SOUPS 11209 WITH SCORE 11221.541
AT ITER 4578 NEW BEST:: SOT 62195 SOS 12546 HAS SOPS 12546 HAS SOUS 11199 HAS SOUPS 11199 WITH SCORE 11211.546
AT ITER 4646 NEW BEST:: SOT 62183 SOS 12537 HAS SOPS 12537 HAS SOUS 11189 HAS SOUPS 11189 WITH SCORE 11201.537
AT ITER 4662 NEW BEST:: SOT 62190 SOS 12537 HAS SOPS 12537 HAS SOUS 11182 HAS SOUPS 11182 WITH SCORE 11194.537
AT ITER 4683 NEW BEST:: SOT 62185 SOS 12484 HAS SOPS 12484 HAS SOUS 11129 HAS SOUPS 11129 WITH SCORE 11141.484
AT ITER 4716 NEW BEST:: SOT 62191 SOS 12470 HAS SOPS 12470 HAS SOUS 11125 HAS SOUPS 11125 WITH SCORE 11137.47
AT ITER 4774 NEW BEST:: SOT 62191 SOS 12458 HAS SOPS 12458 HAS SOUS 11125 HAS SOUPS 11125 WITH SCORE 11137.458
AT ITER 4791 NEW BEST:: SOT 62191 SOS 12438 HAS SOPS 12438 HAS SOUS 11105 HAS SOUPS 11105 WITH SCORE 11117.438
AT ITER 4857 NEW BEST:: SOT 62121 SOS 12298 HAS SOPS 12298 HAS SOUS 11103 HAS SOUPS 11103 WITH SCORE 11115.298
AT ITER 4869 NEW BEST:: SOT 62119 SOS 12291 HAS SOPS 12291 HAS SOUS 11089 HAS SOUPS 11089 WITH SCORE 11101.291
AT ITER 4888 NEW BEST:: SOT 62114 SOS 12268 HAS SOPS 12268 HAS SOUS 11079 HAS SOUPS 11079 WITH SCORE 11091.268
AT ITER 4947 NEW BEST:: SOT 62083 SOS 12180 HAS SOPS 12180 HAS SOUS 11061 HAS SOUPS 11061 WITH SCORE 11073.18
AT ITER 4983 NEW BEST:: SOT 62083 SOS 12180 HAS SOPS 12180 HAS SOUS 11052 HAS SOUPS 11052 WITH SCORE 11064.18
AT ITER 4985 NEW BEST:: SOT 62083 SOS 12173 HAS SOPS 12173 HAS SOUS 11045 HAS SOUPS 11045 WITH SCORE 11057.173
AT ITER 5007 NEW BEST:: SOT 62040 SOS 12173 HAS SOPS 12173 HAS SOUS 10991 HAS SOUPS 10991 WITH SCORE 11003.173
AT ITER 5101 NEW BEST:: SOT 62040 SOS 12173 HAS SOPS 12173 HAS SOUS 10987 HAS SOUPS 10987 WITH SCORE 10999.173
AT ITER 5135 NEW BEST:: SOT 62018 SOS 12129 HAS SOPS 12129 HAS SOUS 10965 HAS SOUPS 10965 WITH SCORE 10977.129
AT ITER 5172 NEW BEST:: SOT 62017 SOS 12121 HAS SOPS 12121 HAS SOUS 10957 HAS SOUPS 10957 WITH SCORE 10969.121
AT ITER 5200 NEW BEST:: SOT 62016 SOS 12084 HAS SOPS 12084 HAS SOUS 10955 HAS SOUPS 10955 WITH SCORE 10967.084
AT ITER 5233 NEW BEST:: SOT 62000 SOS 12017 HAS SOPS 12017 HAS SOUS 10909 HAS SOUPS 10909 WITH SCORE 10921.017
AT ITER 5242 NEW BEST:: SOT 61999 SOS 12015 HAS SOPS 12015 HAS SOUS 10907 HAS SOUPS 10907 WITH SCORE 10919.015
AT ITER 5262 NEW BEST:: SOT 61997 SOS 12013 HAS SOPS 12013 HAS SOUS 10905 HAS SOUPS 10905 WITH SCORE 10917.013
AT ITER 5294 NEW BEST:: SOT 62012 SOS 12025 HAS SOPS 12025 HAS SOUS 10902 HAS SOUPS 10902 WITH SCORE 10914.025
AT ITER 5357 NEW BEST:: SOT 62037 SOS 12009 HAS SOPS 12009 HAS SOUS 10886 HAS SOUPS 10886 WITH SCORE 10898.009
AT ITER 5370 NEW BEST:: SOT 62026 SOS 11976 HAS SOPS 11976 HAS SOUS 10864 HAS SOUPS 10864 WITH SCORE 10875.976
AT ITER 5412 NEW BEST:: SOT 62026 SOS 11958 HAS SOPS 11958 HAS SOUS 10846 HAS SOUPS 10846 WITH SCORE 10857.958
AT ITER 5414 NEW BEST:: SOT 62026 SOS 11968 HAS SOPS 11968 HAS SOUS 10830 HAS SOUPS 10830 WITH SCORE 10841.968
AT ITER 5470 NEW BEST:: SOT 62018 SOS 11989 HAS SOPS 11989 HAS SOUS 10799 HAS SOUPS 10799 WITH SCORE 10810.989
AT ITER 5473 NEW BEST:: SOT 62018 SOS 11986 HAS SOPS 11986 HAS SOUS 10799 HAS SOUPS 10799 WITH SCORE 10810.986
AT ITER 5475 NEW BEST:: SOT 62018 SOS 11961 HAS SOPS 11961 HAS SOUS 10782 HAS SOUPS 10782 WITH SCORE 10793.961
AT ITER 5487 NEW BEST:: SOT 61996 SOS 11935 HAS SOPS 11935 HAS SOUS 10749 HAS SOUPS 10749 WITH SCORE 10760.935
AT ITER 5561 NEW BEST:: SOT 62005 SOS 11858 HAS SOPS 11858 HAS SOUS 10745 HAS SOUPS 10745 WITH SCORE 10756.858
AT ITER 5575 NEW BEST:: SOT 61991 SOS 11841 HAS SOPS 11841 HAS SOUS 10742 HAS SOUPS 10742 WITH SCORE 10753.841
AT ITER 5595 NEW BEST:: SOT 61952 SOS 11796 HAS SOPS 11796 HAS SOUS 10724 HAS SOUPS 10724 WITH SCORE 10735.796
AT ITER 5596 NEW BEST:: SOT 61953 SOS 11732 HAS SOPS 11732 HAS SOUS 10695 HAS SOUPS 10695 WITH SCORE 10706.732
AT ITER 5603 NEW BEST:: SOT 61953 SOS 11732 HAS SOPS 11732 HAS SOUS 10694 HAS SOUPS 10694 WITH SCORE 10705.732
AT ITER 5630 NEW BEST:: SOT 61953 SOS 11729 HAS SOPS 11729 HAS SOUS 10691 HAS SOUPS 10691 WITH SCORE 10702.729
AT ITER 5636 NEW BEST:: SOT 61955 SOS 11677 HAS SOPS 11677 HAS SOUS 10669 HAS SOUPS 10669 WITH SCORE 10680.677
AT ITER 5690 NEW BEST:: SOT 61949 SOS 11665 HAS SOPS 11665 HAS SOUS 10663 HAS SOUPS 10663 WITH SCORE 10674.665
AT ITER 5707 NEW BEST:: SOT 61940 SOS 11647 HAS SOPS 11647 HAS SOUS 10654 HAS SOUPS 10654 WITH SCORE 10665.647
AT ITER 5715 NEW BEST:: SOT 61937 SOS 11651 HAS SOPS 11651 HAS SOUS 10653 HAS SOUPS 10653 WITH SCORE 10664.651
AT ITER 5753 NEW BEST:: SOT 61935 SOS 11641 HAS SOPS 11641 HAS SOUS 10651 HAS SOUPS 10651 WITH SCORE 10662.641
AT ITER 5755 NEW BEST:: SOT 61927 SOS 11625 HAS SOPS 11625 HAS SOUS 10595 HAS SOUPS 10595 WITH SCORE 10606.625
AT ITER 5757 NEW BEST:: SOT 61926 SOS 11624 HAS SOPS 11624 HAS SOUS 10594 HAS SOUPS 10594 WITH SCORE 10605.624
AT ITER 5768 NEW BEST:: SOT 61922 SOS 11600 HAS SOPS 11600 HAS SOUS 10557 HAS SOUPS 10557 WITH SCORE 10568.6
AT ITER 5790 NEW BEST:: SOT 61920 SOS 11588 HAS SOPS 11588 HAS SOUS 10550 HAS SOUPS 10550 WITH SCORE 10561.588
AT ITER 5914 NEW BEST:: SOT 61908 SOS 11597 HAS SOPS 11597 HAS SOUS 10549 HAS SOUPS 10549 WITH SCORE 10560.597
AT ITER 5934 NEW BEST:: SOT 61904 SOS 11586 HAS SOPS 11586 HAS SOUS 10546 HAS SOUPS 10546 WITH SCORE 10557.586
AT ITER 5944 NEW BEST:: SOT 61897 SOS 11572 HAS SOPS 11572 HAS SOUS 10539 HAS SOUPS 10539 WITH SCORE 10550.572
AT ITER 5946 NEW BEST:: SOT 61886 SOS 11531 HAS SOPS 11531 HAS SOUS 10517 HAS SOUPS 10517 WITH SCORE 10528.531
AT ITER 5952 NEW BEST:: SOT 61886 SOS 11531 HAS SOPS 11531 HAS SOUS 10502 HAS SOUPS 10502 WITH SCORE 10513.531
AT ITER 5980 NEW BEST:: SOT 61886 SOS 11519 HAS SOPS 11519 HAS SOUS 10502 HAS SOUPS 10502 WITH SCORE 10513.519
AT ITER 6033 NEW BEST:: SOT 61844 SOS 11502 HAS SOPS 11502 HAS SOUS 10485 HAS SOUPS 10485 WITH SCORE 10496.502
AT ITER 6039 NEW BEST:: SOT 61835 SOS 11477 HAS SOPS 11477 HAS SOUS 10460 HAS SOUPS 10460 WITH SCORE 10471.477
AT ITER 6164 NEW BEST:: SOT 61827 SOS 11392 HAS SOPS 11392 HAS SOUS 10438 HAS SOUPS 10438 WITH SCORE 10449.392
AT ITER 6165 NEW BEST:: SOT 61827 SOS 11392 HAS SOPS 11392 HAS SOUS 10437 HAS SOUPS 10437 WITH SCORE 10448.392
AT ITER 6169 NEW BEST:: SOT 61821 SOS 11380 HAS SOPS 11380 HAS SOUS 10432 HAS SOUPS 10432 WITH SCORE 10443.38
AT ITER 6186 NEW BEST:: SOT 61826 SOS 11390 HAS SOPS 11390 HAS SOUS 10426 HAS SOUPS 10426 WITH SCORE 10437.39
AT ITER 6198 NEW BEST:: SOT 61812 SOS 11383 HAS SOPS 11383 HAS SOUS 10419 HAS SOUPS 10419 WITH SCORE 10430.383
AT ITER 6208 NEW BEST:: SOT 61812 SOS 11378 HAS SOPS 11378 HAS SOUS 10414 HAS SOUPS 10414 WITH SCORE 10425.378
AT ITER 6272 NEW BEST:: SOT 61815 SOS 11374 HAS SOPS 11374 HAS SOUS 10410 HAS SOUPS 10410 WITH SCORE 10421.374
AT ITER 6318 NEW BEST:: SOT 61794 SOS 11326 HAS SOPS 11326 HAS SOUS 10378 HAS SOUPS 10378 WITH SCORE 10389.326
AT ITER 6366 NEW BEST:: SOT 61794 SOS 11324 HAS SOPS 11324 HAS SOUS 10376 HAS SOUPS 10376 WITH SCORE 10387.324
AT ITER 6381 NEW BEST:: SOT 61801 SOS 11314 HAS SOPS 11314 HAS SOUS 10369 HAS SOUPS 10369 WITH SCORE 10380.314
AT ITER 6408 NEW BEST:: SOT 61793 SOS 11309 HAS SOPS 11309 HAS SOUS 10364 HAS SOUPS 10364 WITH SCORE 10375.309
AT ITER 6553 NEW BEST:: SOT 61798 SOS 11308 HAS SOPS 11308 HAS SOUS 10359 HAS SOUPS 10359 WITH SCORE 10370.308
AT ITER 6559 NEW BEST:: SOT 61805 SOS 11313 HAS SOPS 11313 HAS SOUS 10357 HAS SOUPS 10357 WITH SCORE 10368.313
AT ITER 6571 NEW BEST:: SOT 61805 SOS 11283 HAS SOPS 11283 HAS SOUS 10357 HAS SOUPS 10357 WITH SCORE 10368.283
AT ITER 6572 NEW BEST:: SOT 61804 SOS 11281 HAS SOPS 11281 HAS SOUS 10355 HAS SOUPS 10355 WITH SCORE 10366.281
AT ITER 6581 NEW BEST:: SOT 61804 SOS 11257 HAS SOPS 11257 HAS SOUS 10343 HAS SOUPS 10343 WITH SCORE 10354.257
AT ITER 6598 NEW BEST:: SOT 61804 SOS 11241 HAS SOPS 11241 HAS SOUS 10335 HAS SOUPS 10335 WITH SCORE 10346.241
AT ITER 6599 NEW BEST:: SOT 61804 SOS 11224 HAS SOPS 11224 HAS SOUS 10318 HAS SOUPS 10318 WITH SCORE 10329.224
AT ITER 6610 NEW BEST:: SOT 61818 SOS 11205 HAS SOPS 11205 HAS SOUS 10299 HAS SOUPS 10299 WITH SCORE 10310.205
AT ITER 6615 NEW BEST:: SOT 61827 SOS 11190 HAS SOPS 11190 HAS SOUS 10296 HAS SOUPS 10296 WITH SCORE 10307.19
AT ITER 6649 NEW BEST:: SOT 61818 SOS 11180 HAS SOPS 11180 HAS SOUS 10286 HAS SOUPS 10286 WITH SCORE 10297.18
AT ITER 6707 NEW BEST:: SOT 61817 SOS 11179 HAS SOPS 11179 HAS SOUS 10285 HAS SOUPS 10285 WITH SCORE 10296.179
AT ITER 6717 NEW BEST:: SOT 61811 SOS 11173 HAS SOPS 11173 HAS SOUS 10279 HAS SOUPS 10279 WITH SCORE 10290.173
AT ITER 6802 NEW BEST:: SOT 61811 SOS 11173 HAS SOPS 11173 HAS SOUS 10261 HAS SOUPS 10261 WITH SCORE 10272.173
AT ITER 6818 NEW BEST:: SOT 61809 SOS 11169 HAS SOPS 11169 HAS SOUS 10257 HAS SOUPS 10257 WITH SCORE 10268.169
AT ITER 7028 NEW BEST:: SOT 61809 SOS 11168 HAS SOPS 11168 HAS SOUS 10256 HAS SOUPS 10256 WITH SCORE 10267.168
AT ITER 7133 NEW BEST:: SOT 61801 SOS 11160 HAS SOPS 11160 HAS SOUS 10251 HAS SOUPS 10251 WITH SCORE 10262.16
AT ITER 7156 NEW BEST:: SOT 61773 SOS 11122 HAS SOPS 11122 HAS SOUS 10213 HAS SOUPS 10213 WITH SCORE 10224.122
AT ITER 7165 NEW BEST:: SOT 61773 SOS 11122 HAS SOPS 11122 HAS SOUS 10210 HAS SOUPS 10210 WITH SCORE 10221.122
AT ITER 7176 NEW BEST:: SOT 61722 SOS 11078 HAS SOPS 11078 HAS SOUS 10166 HAS SOUPS 10166 WITH SCORE 10177.078
AT ITER 7230 NEW BEST:: SOT 61714 SOS 11072 HAS SOPS 11072 HAS SOUS 10156 HAS SOUPS 10156 WITH SCORE 10167.072
AT ITER 7259 NEW BEST:: SOT 61701 SOS 11046 HAS SOPS 11046 HAS SOUS 10144 HAS SOUPS 10144 WITH SCORE 10155.046
AT ITER 7283 NEW BEST:: SOT 61701 SOS 11042 HAS SOPS 11042 HAS SOUS 10140 HAS SOUPS 10140 WITH SCORE 10151.042
AT ITER 7292 NEW BEST:: SOT 61701 SOS 11042 HAS SOPS 11042 HAS SOUS 10137 HAS SOUPS 10137 WITH SCORE 10148.042
AT ITER 7297 NEW BEST:: SOT 61692 SOS 11027 HAS SOPS 11027 HAS SOUS 10137 HAS SOUPS 10137 WITH SCORE 10148.027
AT ITER 7328 NEW BEST:: SOT 61687 SOS 11017 HAS SOPS 11017 HAS SOUS 10132 HAS SOUPS 10132 WITH SCORE 10143.017
AT ITER 7333 NEW BEST:: SOT 61675 SOS 11009 HAS SOPS 11009 HAS SOUS 10124 HAS SOUPS 10124 WITH SCORE 10135.009
AT ITER 7340 NEW BEST:: SOT 61675 SOS 11007 HAS SOPS 11007 HAS SOUS 10122 HAS SOUPS 10122 WITH SCORE 10133.007
AT ITER 7357 NEW BEST:: SOT 61669 SOS 11028 HAS SOPS 11028 HAS SOUS 10120 HAS SOUPS 10120 WITH SCORE 10131.028
AT ITER 7420 NEW BEST:: SOT 61667 SOS 11035 HAS SOPS 11035 HAS SOUS 10109 HAS SOUPS 10109 WITH SCORE 10120.035
AT ITER 7425 NEW BEST:: SOT 61662 SOS 11033 HAS SOPS 11033 HAS SOUS 10107 HAS SOUPS 10107 WITH SCORE 10118.033
AT ITER 7426 NEW BEST:: SOT 61695 SOS 11008 HAS SOPS 11008 HAS SOUS 10099 HAS SOUPS 10099 WITH SCORE 10110.008
AT ITER 7458 NEW BEST:: SOT 61694 SOS 11006 HAS SOPS 11006 HAS SOUS 10093 HAS SOUPS 10093 WITH SCORE 10104.006
AT ITER 7461 NEW BEST:: SOT 61707 SOS 11055 HAS SOPS 11055 HAS SOUS 10088 HAS SOUPS 10088 WITH SCORE 10099.055
AT ITER 7473 NEW BEST:: SOT 61707 SOS 11053 HAS SOPS 11053 HAS SOUS 10086 HAS SOUPS 10086 WITH SCORE 10097.053
AT ITER 7501 NEW BEST:: SOT 61707 SOS 11030 HAS SOPS 11030 HAS SOUS 10086 HAS SOUPS 10086 WITH SCORE 10097.03
AT ITER 7539 NEW BEST:: SOT 61707 SOS 11030 HAS SOPS 11030 HAS SOUS 10078 HAS SOUPS 10078 WITH SCORE 10089.03
AT ITER 7631 NEW BEST:: SOT 61707 SOS 11029 HAS SOPS 11029 HAS SOUS 10078 HAS SOUPS 10078 WITH SCORE 10089.029
AT ITER 7632 NEW BEST:: SOT 61707 SOS 11015 HAS SOPS 11015 HAS SOUS 10071 HAS SOUPS 10071 WITH SCORE 10082.015
AT ITER 7636 NEW BEST:: SOT 61707 SOS 10999 HAS SOPS 10999 HAS SOUS 10063 HAS SOUPS 10063 WITH SCORE 10073.999
AT ITER 7654 NEW BEST:: SOT 61697 SOS 10979 HAS SOPS 10979 HAS SOUS 10043 HAS SOUPS 10043 WITH SCORE 10053.979
AT ITER 7657 NEW BEST:: SOT 61693 SOS 10971 HAS SOPS 10971 HAS SOUS 10039 HAS SOUPS 10039 WITH SCORE 10049.971
AT ITER 7704 NEW BEST:: SOT 61693 SOS 10971 HAS SOPS 10971 HAS SOUS 10034 HAS SOUPS 10034 WITH SCORE 10044.971
AT ITER 7737 NEW BEST:: SOT 61685 SOS 10961 HAS SOPS 10961 HAS SOUS 10024 HAS SOUPS 10024 WITH SCORE 10034.961
AT ITER 7762 NEW BEST:: SOT 61638 SOS 11001 HAS SOPS 11001 HAS SOUS 10009 HAS SOUPS 10009 WITH SCORE 10020.001
AT ITER 7764 NEW BEST:: SOT 61638 SOS 11000 HAS SOPS 11000 HAS SOUS 10008 HAS SOUPS 10008 WITH SCORE 10019.0
AT ITER 7774 NEW BEST:: SOT 61633 SOS 10994 HAS SOPS 10994 HAS SOUS 10007 HAS SOUPS 10007 WITH SCORE 10017.994
AT ITER 7832 NEW BEST:: SOT 61633 SOS 10973 HAS SOPS 10973 HAS SOUS 10007 HAS SOUPS 10007 WITH SCORE 10017.973
AT ITER 7837 NEW BEST:: SOT 61629 SOS 10965 HAS SOPS 10965 HAS SOUS 9999 HAS SOUPS 9999 WITH SCORE 10009.965
AT ITER 7850 NEW BEST:: SOT 61639 SOS 10928 HAS SOPS 10928 HAS SOUS 9983 HAS SOUPS 9983 WITH SCORE 9993.928
AT ITER 7860 NEW BEST:: SOT 61651 SOS 10906 HAS SOPS 10906 HAS SOUS 9982 HAS SOUPS 9982 WITH SCORE 9992.906
AT ITER 7887 NEW BEST:: SOT 61596 SOS 10721 HAS SOPS 10721 HAS SOUS 9852 HAS SOUPS 9852 WITH SCORE 9862.721
AT ITER 7945 NEW BEST:: SOT 61595 SOS 10719 HAS SOPS 10719 HAS SOUS 9850 HAS SOUPS 9850 WITH SCORE 9860.719
AT ITER 7966 NEW BEST:: SOT 61600 SOS 10719 HAS SOPS 10719 HAS SOUS 9845 HAS SOUPS 9845 WITH SCORE 9855.719
AT ITER 7970 NEW BEST:: SOT 61598 SOS 10717 HAS SOPS 10717 HAS SOUS 9843 HAS SOUPS 9843 WITH SCORE 9853.717
AT ITER 7991 NEW BEST:: SOT 61598 SOS 10716 HAS SOPS 10716 HAS SOUS 9842 HAS SOUPS 9842 WITH SCORE 9852.716
AT ITER 8019 NEW BEST:: SOT 61588 SOS 10694 HAS SOPS 10694 HAS SOUS 9820 HAS SOUPS 9820 WITH SCORE 9830.694
AT ITER 8052 NEW BEST:: SOT 61579 SOS 10667 HAS SOPS 10667 HAS SOUS 9802 HAS SOUPS 9802 WITH SCORE 9812.667
AT ITER 8104 NEW BEST:: SOT 61579 SOS 10664 HAS SOPS 10664 HAS SOUS 9799 HAS SOUPS 9799 WITH SCORE 9809.664
AT ITER 8240 NEW BEST:: SOT 61578 SOS 10661 HAS SOPS 10661 HAS SOUS 9797 HAS SOUPS 9797 WITH SCORE 9807.661
AT ITER 8243 NEW BEST:: SOT 61575 SOS 10636 HAS SOPS 10636 HAS SOUS 9772 HAS SOUPS 9772 WITH SCORE 9782.636
AT ITER 8314 NEW BEST:: SOT 61575 SOS 10634 HAS SOPS 10634 HAS SOUS 9771 HAS SOUPS 9771 WITH SCORE 9781.634
AT ITER 8317 NEW BEST:: SOT 61574 SOS 10633 HAS SOPS 10633 HAS SOUS 9770 HAS SOUPS 9770 WITH SCORE 9780.633
AT ITER 8334 NEW BEST:: SOT 61572 SOS 10615 HAS SOPS 10615 HAS SOUS 9760 HAS SOUPS 9760 WITH SCORE 9770.615
AT ITER 8347 NEW BEST:: SOT 61553 SOS 10591 HAS SOPS 10591 HAS SOUS 9755 HAS SOUPS 9755 WITH SCORE 9765.591
AT ITER 8383 NEW BEST:: SOT 61552 SOS 10590 HAS SOPS 10590 HAS SOUS 9754 HAS SOUPS 9754 WITH SCORE 9764.59
AT ITER 8411 NEW BEST:: SOT 61545 SOS 10569 HAS SOPS 10569 HAS SOUS 9747 HAS SOUPS 9747 WITH SCORE 9757.569
AT ITER 8418 NEW BEST:: SOT 61505 SOS 10597 HAS SOPS 10597 HAS SOUS 9727 HAS SOUPS 9727 WITH SCORE 9737.597
AT ITER 8501 NEW BEST:: SOT 61502 SOS 10588 HAS SOPS 10588 HAS SOUS 9721 HAS SOUPS 9721 WITH SCORE 9731.588
AT ITER 8545 NEW BEST:: SOT 61494 SOS 10580 HAS SOPS 10580 HAS SOUS 9713 HAS SOUPS 9713 WITH SCORE 9723.58
AT ITER 8607 NEW BEST:: SOT 61490 SOS 10576 HAS SOPS 10576 HAS SOUS 9713 HAS SOUPS 9713 WITH SCORE 9723.576
AT ITER 8611 NEW BEST:: SOT 61476 SOS 10540 HAS SOPS 10540 HAS SOUS 9696 HAS SOUPS 9696 WITH SCORE 9706.54
AT ITER 8705 NEW BEST:: SOT 61473 SOS 10547 HAS SOPS 10547 HAS SOUS 9692 HAS SOUPS 9692 WITH SCORE 9702.547
AT ITER 8706 NEW BEST:: SOT 61454 SOS 10516 HAS SOPS 10516 HAS SOUS 9661 HAS SOUPS 9661 WITH SCORE 9671.516
AT ITER 8775 NEW BEST:: SOT 61450 SOS 10510 HAS SOPS 10510 HAS SOUS 9657 HAS SOUPS 9657 WITH SCORE 9667.51
AT ITER 8800 NEW BEST:: SOT 61449 SOS 10508 HAS SOPS 10508 HAS SOUS 9655 HAS SOUPS 9655 WITH SCORE 9665.508
AT ITER 8823 NEW BEST:: SOT 61445 SOS 10498 HAS SOPS 10498 HAS SOUS 9645 HAS SOUPS 9645 WITH SCORE 9655.498
AT ITER 8830 NEW BEST:: SOT 61443 SOS 10494 HAS SOPS 10494 HAS SOUS 9641 HAS SOUPS 9641 WITH SCORE 9651.494
AT ITER 8868 NEW BEST:: SOT 61432 SOS 10455 HAS SOPS 10455 HAS SOUS 9604 HAS SOUPS 9604 WITH SCORE 9614.455
AT ITER 8875 NEW BEST:: SOT 61430 SOS 10454 HAS SOPS 10454 HAS SOUS 9600 HAS SOUPS 9600 WITH SCORE 9610.454
AT ITER 8879 NEW BEST:: SOT 61430 SOS 10447 HAS SOPS 10447 HAS SOUS 9593 HAS SOUPS 9593 WITH SCORE 9603.447
AT ITER 8909 NEW BEST:: SOT 61430 SOS 10407 HAS SOPS 10407 HAS SOUS 9573 HAS SOUPS 9573 WITH SCORE 9583.407
AT ITER 8926 NEW BEST:: SOT 61424 SOS 10395 HAS SOPS 10395 HAS SOUS 9561 HAS SOUPS 9561 WITH SCORE 9571.395
AT ITER 8941 NEW BEST:: SOT 61423 SOS 10394 HAS SOPS 10394 HAS SOUS 9560 HAS SOUPS 9560 WITH SCORE 9570.394
AT ITER 8954 NEW BEST:: SOT 61440 SOS 10384 HAS SOPS 10384 HAS SOUS 9554 HAS SOUPS 9554 WITH SCORE 9564.384
AT ITER 8963 NEW BEST:: SOT 61440 SOS 10374 HAS SOPS 10374 HAS SOUS 9554 HAS SOUPS 9554 WITH SCORE 9564.374
AT ITER 8986 NEW BEST:: SOT 61437 SOS 10338 HAS SOPS 10338 HAS SOUS 9551 HAS SOUPS 9551 WITH SCORE 9561.338
AT ITER 9061 NEW BEST:: SOT 61441 SOS 10336 HAS SOPS 10336 HAS SOUS 9549 HAS SOUPS 9549 WITH SCORE 9559.336
AT ITER 9101 NEW BEST:: SOT 61425 SOS 10313 HAS SOPS 10313 HAS SOUS 9526 HAS SOUPS 9526 WITH SCORE 9536.313
AT ITER 9120 NEW BEST:: SOT 61425 SOS 10310 HAS SOPS 10310 HAS SOUS 9523 HAS SOUPS 9523 WITH SCORE 9533.31
AT ITER 9142 NEW BEST:: SOT 61413 SOS 10286 HAS SOPS 10286 HAS SOUS 9511 HAS SOUPS 9511 WITH SCORE 9521.286
AT ITER 9150 NEW BEST:: SOT 61415 SOS 10279 HAS SOPS 10279 HAS SOUS 9510 HAS SOUPS 9510 WITH SCORE 9520.279
AT ITER 9151 NEW BEST:: SOT 61409 SOS 10268 HAS SOPS 10268 HAS SOUS 9502 HAS SOUPS 9502 WITH SCORE 9512.268
AT ITER 9203 NEW BEST:: SOT 61376 SOS 10235 HAS SOPS 10235 HAS SOUS 9486 HAS SOUPS 9486 WITH SCORE 9496.235
AT ITER 9238 NEW BEST:: SOT 61376 SOS 10232 HAS SOPS 10232 HAS SOUS 9483 HAS SOUPS 9483 WITH SCORE 9493.232
AT ITER 9260 NEW BEST:: SOT 61373 SOS 10229 HAS SOPS 10229 HAS SOUS 9477 HAS SOUPS 9477 WITH SCORE 9487.229
AT ITER 9262 NEW BEST:: SOT 61371 SOS 10225 HAS SOPS 10225 HAS SOUS 9475 HAS SOUPS 9475 WITH SCORE 9485.225
AT ITER 9270 NEW BEST:: SOT 61372 SOS 10203 HAS SOPS 10203 HAS SOUS 9459 HAS SOUPS 9459 WITH SCORE 9469.203
AT ITER 9278 NEW BEST:: SOT 61363 SOS 10179 HAS SOPS 10179 HAS SOUS 9450 HAS SOUPS 9450 WITH SCORE 9460.179
AT ITER 9323 NEW BEST:: SOT 61370 SOS 10165 HAS SOPS 10165 HAS SOUS 9436 HAS SOUPS 9436 WITH SCORE 9446.165
AT ITER 9374 NEW BEST:: SOT 61364 SOS 10159 HAS SOPS 10159 HAS SOUS 9430 HAS SOUPS 9430 WITH SCORE 9440.159
AT ITER 9467 NEW BEST:: SOT 61385 SOS 10149 HAS SOPS 10149 HAS SOUS 9417 HAS SOUPS 9417 WITH SCORE 9427.149
AT ITER 9521 NEW BEST:: SOT 61385 SOS 10142 HAS SOPS 10142 HAS SOUS 9417 HAS SOUPS 9417 WITH SCORE 9427.142
AT ITER 9568 NEW BEST:: SOT 61383 SOS 10149 HAS SOPS 10149 HAS SOUS 9412 HAS SOUPS 9412 WITH SCORE 9422.149
AT ITER 9573 NEW BEST:: SOT 61383 SOS 10141 HAS SOPS 10141 HAS SOUS 9404 HAS SOUPS 9404 WITH SCORE 9414.141
AT ITER 9653 NEW BEST:: SOT 61377 SOS 10129 HAS SOPS 10129 HAS SOUS 9398 HAS SOUPS 9398 WITH SCORE 9408.129
AT ITER 9685 NEW BEST:: SOT 61377 SOS 10125 HAS SOPS 10125 HAS SOUS 9397 HAS SOUPS 9397 WITH SCORE 9407.125
AT ITER 9700 NEW BEST:: SOT 61379 SOS 10109 HAS SOPS 10109 HAS SOUS 9381 HAS SOUPS 9381 WITH SCORE 9391.109
AT ITER 9751 NEW BEST:: SOT 61375 SOS 10098 HAS SOPS 10098 HAS SOUS 9374 HAS SOUPS 9374 WITH SCORE 9384.098
AT ITER 9785 NEW BEST:: SOT 61378 SOS 10053 HAS SOPS 10053 HAS SOUS 9365 HAS SOUPS 9365 WITH SCORE 9375.053
AT ITER 9838 NEW BEST:: SOT 61391 SOS 10039 HAS SOPS 10039 HAS SOUS 9355 HAS SOUPS 9355 WITH SCORE 9365.039
AT ITER 9870 NEW BEST:: SOT 61396 SOS 10047 HAS SOPS 10047 HAS SOUS 9351 HAS SOUPS 9351 WITH SCORE 9361.047
AT ITER 9896 NEW BEST:: SOT 61377 SOS 9998 HAS SOPS 9998 HAS SOUS 9332 HAS SOUPS 9332 WITH SCORE 9341.998
AT ITER 9906 NEW BEST:: SOT 61377 SOS 9997 HAS SOPS 9997 HAS SOUS 9331 HAS SOUPS 9331 WITH SCORE 9340.997
AT ITER 9966 NEW BEST:: SOT 61379 SOS 10001 HAS SOPS 10001 HAS SOUS 9322 HAS SOUPS 9322 WITH SCORE 9332.001
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 9251048 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16153020 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Caught signal 15, terminating.

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="ShieldIIPt-PT-005B"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
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 smart"
echo " Input is ShieldIIPt-PT-005B, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r387-oct2-167903711600256"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPt-PT-005B.tgz
mv ShieldIIPt-PT-005B 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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;