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.r171-tall-167838858800576.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is FlexibleBarrier-PT-20a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r171-tall-167838858800576
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 732K
-rw-r--r-- 1 mcc users 8.3K Feb 25 13:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 92K Feb 25 13:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 25 12:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 12:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:08 LTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:08 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.5K Feb 25 13:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 59K Feb 25 13:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.2K Feb 25 13:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 80K Feb 25 13:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:08 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:08 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 321K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679482819938

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=FlexibleBarrier-PT-20a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 11:00:21] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 11:00:21] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 11:00:21] [INFO ] Load time of PNML (sax parser for PT used): 79 ms
[2023-03-22 11:00:21] [INFO ] Transformed 243 places.
[2023-03-22 11:00:21] [INFO ] Transformed 1064 transitions.
[2023-03-22 11:00:21] [INFO ] Found NUPN structural information;
[2023-03-22 11:00:21] [INFO ] Parsed PT model containing 243 places and 1064 transitions and 5317 arcs in 150 ms.
[2023-03-22 11:00:21] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 243 places, 1064 transitions and 5317 arcs took 12 ms.
Total runtime 190 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 20a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 243 places, 1064 transitions, 5317 arcs.
AT ITER 0 NEW BEST:: SOT 230369 SOS 200657 HAS SOPS 200657 HAS SOUS 111239 HAS SOUPS 111239 WITH SCORE 111439.657
AT ITER 1 NEW BEST:: SOT 229815 SOS 200386 HAS SOPS 200386 HAS SOUS 110981 HAS SOUPS 110981 WITH SCORE 111181.386
AT ITER 2 NEW BEST:: SOT 229024 SOS 199595 HAS SOPS 199595 HAS SOUS 110530 HAS SOUPS 110530 WITH SCORE 110729.595
AT ITER 3 NEW BEST:: SOT 229022 SOS 199451 HAS SOPS 199451 HAS SOUS 110458 HAS SOUPS 110458 WITH SCORE 110657.451
AT ITER 4 NEW BEST:: SOT 229079 SOS 199310 HAS SOPS 199310 HAS SOUS 110451 HAS SOUPS 110451 WITH SCORE 110650.31
AT ITER 5 NEW BEST:: SOT 229078 SOS 198796 HAS SOPS 198796 HAS SOUS 109120 HAS SOUPS 109120 WITH SCORE 109318.796
AT ITER 6 NEW BEST:: SOT 228910 SOS 198220 HAS SOPS 198220 HAS SOUS 108880 HAS SOUPS 108880 WITH SCORE 109078.22
AT ITER 8 NEW BEST:: SOT 229003 SOS 198305 HAS SOPS 198305 HAS SOUS 106029 HAS SOUPS 106029 WITH SCORE 106227.305
AT ITER 9 NEW BEST:: SOT 229188 SOS 197534 HAS SOPS 197534 HAS SOUS 100366 HAS SOUPS 100366 WITH SCORE 100563.534
AT ITER 11 NEW BEST:: SOT 228615 SOS 196894 HAS SOPS 196894 HAS SOUS 100095 HAS SOUPS 100095 WITH SCORE 100291.894
AT ITER 12 NEW BEST:: SOT 228410 SOS 196611 HAS SOPS 196611 HAS SOUS 99914 HAS SOUPS 99914 WITH SCORE 100110.611
AT ITER 14 NEW BEST:: SOT 228409 SOS 196609 HAS SOPS 196609 HAS SOUS 99914 HAS SOUPS 99914 WITH SCORE 100110.609
AT ITER 15 NEW BEST:: SOT 228409 SOS 196419 HAS SOPS 196419 HAS SOUS 99863 HAS SOUPS 99863 WITH SCORE 100059.419
AT ITER 16 NEW BEST:: SOT 228458 SOS 195761 HAS SOPS 195761 HAS SOUS 97638 HAS SOUPS 97638 WITH SCORE 97833.761
AT ITER 18 NEW BEST:: SOT 228420 SOS 194147 HAS SOPS 194147 HAS SOUS 90932 HAS SOUPS 90932 WITH SCORE 91126.147
AT ITER 20 NEW BEST:: SOT 228445 SOS 194197 HAS SOPS 194197 HAS SOUS 90931 HAS SOUPS 90931 WITH SCORE 91125.197
AT ITER 24 NEW BEST:: SOT 228596 SOS 193994 HAS SOPS 193994 HAS SOUS 90917 HAS SOUPS 90917 WITH SCORE 91110.994
AT ITER 26 NEW BEST:: SOT 228576 SOS 193974 HAS SOPS 193974 HAS SOUS 90917 HAS SOUPS 90917 WITH SCORE 91110.974
AT ITER 30 NEW BEST:: SOT 228739 SOS 191133 HAS SOPS 191133 HAS SOUS 85436 HAS SOUPS 85436 WITH SCORE 85627.133
AT ITER 35 NEW BEST:: SOT 228781 SOS 189743 HAS SOPS 189743 HAS SOUS 83750 HAS SOUPS 83750 WITH SCORE 83939.743
AT ITER 36 NEW BEST:: SOT 228788 SOS 188230 HAS SOPS 188230 HAS SOUS 82519 HAS SOUPS 82519 WITH SCORE 82707.23
AT ITER 43 NEW BEST:: SOT 228791 SOS 184156 HAS SOPS 184156 HAS SOUS 77303 HAS SOUPS 77303 WITH SCORE 77487.156
AT ITER 47 NEW BEST:: SOT 228320 SOS 183664 HAS SOPS 183664 HAS SOUS 77035 HAS SOUPS 77035 WITH SCORE 77218.664
AT ITER 48 NEW BEST:: SOT 228518 SOS 179730 HAS SOPS 179730 HAS SOUS 73268 HAS SOUPS 73268 WITH SCORE 73447.73
AT ITER 53 NEW BEST:: SOT 228518 SOS 177550 HAS SOPS 177550 HAS SOUS 70566 HAS SOUPS 70566 WITH SCORE 70743.55
AT ITER 55 NEW BEST:: SOT 228594 SOS 177510 HAS SOPS 177510 HAS SOUS 70526 HAS SOUPS 70526 WITH SCORE 70703.51
AT ITER 56 NEW BEST:: SOT 228556 SOS 177472 HAS SOPS 177472 HAS SOUS 70488 HAS SOUPS 70488 WITH SCORE 70665.472
AT ITER 57 NEW BEST:: SOT 228556 SOS 177294 HAS SOPS 177294 HAS SOUS 70430 HAS SOUPS 70430 WITH SCORE 70607.294
AT ITER 61 NEW BEST:: SOT 227651 SOS 176194 HAS SOPS 176194 HAS SOUS 69832 HAS SOUPS 69832 WITH SCORE 70008.194
AT ITER 62 NEW BEST:: SOT 227648 SOS 176187 HAS SOPS 176187 HAS SOUS 69829 HAS SOUPS 69829 WITH SCORE 70005.187
AT ITER 65 NEW BEST:: SOT 221008 SOS 184269 HAS SOPS 168826 HAS SOUS 67472 HAS SOUPS 67290 WITH SCORE 67474.269
AT ITER 66 NEW BEST:: SOT 221029 SOS 184180 HAS SOPS 168640 HAS SOUS 67286 HAS SOUPS 67104 WITH SCORE 67288.18
AT ITER 69 NEW BEST:: SOT 221029 SOS 183991 HAS SOPS 168451 HAS SOUS 67223 HAS SOUPS 67041 WITH SCORE 67224.991
AT ITER 72 NEW BEST:: SOT 221038 SOS 183275 HAS SOPS 167696 HAS SOUS 66886 HAS SOUPS 66704 WITH SCORE 66887.275
AT ITER 73 NEW BEST:: SOT 221035 SOS 183268 HAS SOPS 167689 HAS SOUS 66883 HAS SOUPS 66701 WITH SCORE 66884.268
AT ITER 75 NEW BEST:: SOT 221035 SOS 183239 HAS SOPS 167660 HAS SOUS 66854 HAS SOUPS 66672 WITH SCORE 66855.239
AT ITER 84 NEW BEST:: SOT 221007 SOS 183265 HAS SOPS 167670 HAS SOUS 66810 HAS SOUPS 66628 WITH SCORE 66811.265
AT ITER 85 NEW BEST:: SOT 221044 SOS 183265 HAS SOPS 166818 HAS SOUS 65793 HAS SOUPS 65611 WITH SCORE 65794.265
AT ITER 89 NEW BEST:: SOT 221042 SOS 183263 HAS SOPS 166816 HAS SOUS 65791 HAS SOUPS 65609 WITH SCORE 65792.263
AT ITER 96 NEW BEST:: SOT 221093 SOS 183126 HAS SOPS 166663 HAS SOUS 65667 HAS SOUPS 65469 WITH SCORE 65652.126
AT ITER 97 NEW BEST:: SOT 221082 SOS 181796 HAS SOPS 165333 HAS SOUS 65403 HAS SOUPS 65205 WITH SCORE 65386.796
AT ITER 99 NEW BEST:: SOT 221044 SOS 181675 HAS SOPS 165325 HAS SOUS 65375 HAS SOUPS 65177 WITH SCORE 65358.675
AT ITER 100 NEW BEST:: SOT 221759 SOS 181137 HAS SOPS 162167 HAS SOUS 63766 HAS SOUPS 63568 WITH SCORE 63749.137
AT ITER 105 NEW BEST:: SOT 217689 SOS 177445 HAS SOPS 158096 HAS SOUS 59839 HAS SOUPS 59571 WITH SCORE 59748.445
AT ITER 106 NEW BEST:: SOT 217128 SOS 176909 HAS SOPS 157560 HAS SOUS 59555 HAS SOUPS 59287 WITH SCORE 59463.909
AT ITER 110 NEW BEST:: SOT 217166 SOS 176865 HAS SOPS 157516 HAS SOUS 59501 HAS SOUPS 59233 WITH SCORE 59409.865
AT ITER 111 NEW BEST:: SOT 217092 SOS 176413 HAS SOPS 156990 HAS SOUS 59118 HAS SOUPS 58850 WITH SCORE 59026.413
AT ITER 115 NEW BEST:: SOT 214499 SOS 173851 HAS SOPS 154428 HAS SOUS 57870 HAS SOUPS 57602 WITH SCORE 57775.851
AT ITER 116 NEW BEST:: SOT 214502 SOS 173783 HAS SOPS 154360 HAS SOUS 57799 HAS SOUPS 57531 WITH SCORE 57704.783
AT ITER 117 NEW BEST:: SOT 210942 SOS 170005 HAS SOPS 150556 HAS SOUS 55728 HAS SOUPS 55460 WITH SCORE 55630.005
AT ITER 118 NEW BEST:: SOT 210823 SOS 169836 HAS SOPS 150268 HAS SOUS 55470 HAS SOUPS 55202 WITH SCORE 55371.836
AT ITER 122 NEW BEST:: SOT 211084 SOS 168722 HAS SOPS 144591 HAS SOUS 52212 HAS SOUPS 51944 WITH SCORE 52112.722
AT ITER 123 NEW BEST:: SOT 211137 SOS 168672 HAS SOPS 144503 HAS SOUS 52135 HAS SOUPS 51867 WITH SCORE 52035.672
AT ITER 127 NEW BEST:: SOT 211135 SOS 168666 HAS SOPS 144497 HAS SOUS 52135 HAS SOUPS 51867 WITH SCORE 52035.666
AT ITER 132 NEW BEST:: SOT 211724 SOS 169237 HAS SOPS 144744 HAS SOUS 51882 HAS SOUPS 51614 WITH SCORE 51783.237
AT ITER 136 NEW BEST:: SOT 210689 SOS 168224 HAS SOPS 144499 HAS SOUS 51853 HAS SOUPS 51585 WITH SCORE 51753.224
AT ITER 144 NEW BEST:: SOT 210850 SOS 166693 HAS SOPS 139908 HAS SOUS 50357 HAS SOUPS 50089 WITH SCORE 50255.693
AT ITER 145 NEW BEST:: SOT 210838 SOS 166760 HAS SOPS 139884 HAS SOUS 50333 HAS SOUPS 50065 WITH SCORE 50231.76
AT ITER 152 NEW BEST:: SOT 210838 SOS 166736 HAS SOPS 139860 HAS SOUS 50333 HAS SOUPS 50065 WITH SCORE 50231.736
AT ITER 154 NEW BEST:: SOT 210852 SOS 166736 HAS SOPS 139860 HAS SOUS 50316 HAS SOUPS 50048 WITH SCORE 50214.736
AT ITER 156 NEW BEST:: SOT 210834 SOS 166558 HAS SOPS 139551 HAS SOUS 50140 HAS SOUPS 49872 WITH SCORE 50038.558
AT ITER 157 NEW BEST:: SOT 210764 SOS 166346 HAS SOPS 136589 HAS SOUS 48500 HAS SOUPS 48232 WITH SCORE 48398.346
AT ITER 162 NEW BEST:: SOT 210825 SOS 166168 HAS SOPS 136390 HAS SOUS 48383 HAS SOUPS 48115 WITH SCORE 48281.168
AT ITER 167 NEW BEST:: SOT 210617 SOS 166067 HAS SOPS 136181 HAS SOUS 48191 HAS SOUPS 47917 WITH SCORE 48083.067
AT ITER 169 NEW BEST:: SOT 206935 SOS 162297 HAS SOPS 132364 HAS SOUS 46321 HAS SOUPS 46047 WITH SCORE 46209.297
AT ITER 171 NEW BEST:: SOT 206731 SOS 162093 HAS SOPS 132160 HAS SOUS 46216 HAS SOUPS 45942 WITH SCORE 46104.093
AT ITER 172 NEW BEST:: SOT 206384 SOS 161751 HAS SOPS 131818 HAS SOUS 46055 HAS SOUPS 45781 WITH SCORE 45942.751
AT ITER 174 NEW BEST:: SOT 206379 SOS 159630 HAS SOPS 129697 HAS SOUS 45867 HAS SOUPS 45593 WITH SCORE 45752.63
AT ITER 177 NEW BEST:: SOT 206114 SOS 159360 HAS SOPS 129336 HAS SOUS 45549 HAS SOUPS 45275 WITH SCORE 45434.36
AT ITER 183 NEW BEST:: SOT 206107 SOS 159353 HAS SOPS 129329 HAS SOUS 45549 HAS SOUPS 45275 WITH SCORE 45434.353
AT ITER 187 NEW BEST:: SOT 206102 SOS 159405 HAS SOPS 129365 HAS SOUS 45546 HAS SOUPS 45272 WITH SCORE 45431.405
AT ITER 190 NEW BEST:: SOT 205569 SOS 158867 HAS SOPS 128827 HAS SOUS 45273 HAS SOUPS 44999 WITH SCORE 45157.867
AT ITER 192 NEW BEST:: SOT 205597 SOS 158909 HAS SOPS 128771 HAS SOUS 44839 HAS SOUPS 44565 WITH SCORE 44723.909
AT ITER 193 NEW BEST:: SOT 205576 SOS 158845 HAS SOPS 128729 HAS SOUS 44838 HAS SOUPS 44564 WITH SCORE 44722.845
AT ITER 200 NEW BEST:: SOT 205576 SOS 158341 HAS SOPS 128225 HAS SOUS 44798 HAS SOUPS 44524 WITH SCORE 44682.341
AT ITER 201 NEW BEST:: SOT 205200 SOS 157965 HAS SOPS 127849 HAS SOUS 44610 HAS SOUPS 44336 WITH SCORE 44493.965
AT ITER 203 NEW BEST:: SOT 205196 SOS 157926 HAS SOPS 127810 HAS SOUS 44605 HAS SOUPS 44331 WITH SCORE 44488.926
AT ITER 209 NEW BEST:: SOT 205196 SOS 157910 HAS SOPS 127794 HAS SOUS 44589 HAS SOUPS 44315 WITH SCORE 44472.91
AT ITER 223 NEW BEST:: SOT 200642 SOS 153334 HAS SOPS 123218 HAS SOUS 42342 HAS SOUPS 42068 WITH SCORE 42221.334
AT ITER 225 NEW BEST:: SOT 200672 SOS 153336 HAS SOPS 123219 HAS SOUS 42312 HAS SOUPS 42038 WITH SCORE 42191.336
AT ITER 226 NEW BEST:: SOT 200728 SOS 153372 HAS SOPS 123255 HAS SOUS 42280 HAS SOUPS 42006 WITH SCORE 42159.372
AT ITER 233 NEW BEST:: SOT 200727 SOS 153395 HAS SOPS 123253 HAS SOUS 42253 HAS SOUPS 41979 WITH SCORE 42132.395
AT ITER 234 NEW BEST:: SOT 200688 SOS 153329 HAS SOPS 123189 HAS SOUS 42204 HAS SOUPS 41930 WITH SCORE 42083.329
AT ITER 237 NEW BEST:: SOT 199770 SOS 152410 HAS SOPS 122270 HAS SOUS 41752 HAS SOUPS 41478 WITH SCORE 41630.41
AT ITER 238 NEW BEST:: SOT 199791 SOS 152452 HAS SOPS 122260 HAS SOUS 41361 HAS SOUPS 41087 WITH SCORE 41239.452
AT ITER 240 NEW BEST:: SOT 199735 SOS 152204 HAS SOPS 121992 HAS SOUS 41161 HAS SOUPS 40887 WITH SCORE 41039.204
AT ITER 246 NEW BEST:: SOT 193934 SOS 146369 HAS SOPS 116136 HAS SOUS 38180 HAS SOUPS 37906 WITH SCORE 38052.369
AT ITER 248 NEW BEST:: SOT 189505 SOS 142091 HAS SOPS 113066 HAS SOUS 36732 HAS SOUPS 36458 WITH SCORE 36600.091
AT ITER 250 NEW BEST:: SOT 189402 SOS 141902 HAS SOPS 112817 HAS SOUS 36483 HAS SOUPS 36209 WITH SCORE 36350.902
AT ITER 255 NEW BEST:: SOT 189358 SOS 141814 HAS SOPS 112165 HAS SOUS 34963 HAS SOUPS 34687 WITH SCORE 34828.814
AT ITER 258 NEW BEST:: SOT 189297 SOS 141681 HAS SOPS 112007 HAS SOUS 34805 HAS SOUPS 34529 WITH SCORE 34670.681
AT ITER 264 NEW BEST:: SOT 189321 SOS 141579 HAS SOPS 111948 HAS SOUS 34765 HAS SOUPS 34489 WITH SCORE 34630.579
AT ITER 265 NEW BEST:: SOT 189320 SOS 141577 HAS SOPS 111946 HAS SOUS 34764 HAS SOUPS 34488 WITH SCORE 34629.577
AT ITER 273 NEW BEST:: SOT 189627 SOS 140859 HAS SOPS 108241 HAS SOUS 33145 HAS SOUPS 32869 WITH SCORE 33009.859
AT ITER 274 NEW BEST:: SOT 189628 SOS 140790 HAS SOPS 108162 HAS SOUS 33072 HAS SOUPS 32796 WITH SCORE 32936.79
AT ITER 275 NEW BEST:: SOT 189665 SOS 140786 HAS SOPS 108143 HAS SOUS 33055 HAS SOUPS 32779 WITH SCORE 32919.786
AT ITER 278 NEW BEST:: SOT 189564 SOS 140676 HAS SOPS 108033 HAS SOUS 32988 HAS SOUPS 32712 WITH SCORE 32852.676
AT ITER 281 NEW BEST:: SOT 189562 SOS 140672 HAS SOPS 107995 HAS SOUS 32918 HAS SOUPS 32642 WITH SCORE 32782.672
AT ITER 285 NEW BEST:: SOT 189272 SOS 140839 HAS SOPS 108143 HAS SOUS 32795 HAS SOUPS 32519 WITH SCORE 32659.839
AT ITER 286 NEW BEST:: SOT 189272 SOS 140798 HAS SOPS 108102 HAS SOUS 32788 HAS SOUPS 32512 WITH SCORE 32652.798
AT ITER 288 NEW BEST:: SOT 189272 SOS 140771 HAS SOPS 108075 HAS SOUS 32788 HAS SOUPS 32512 WITH SCORE 32652.771
AT ITER 289 NEW BEST:: SOT 189336 SOS 140790 HAS SOPS 108023 HAS SOUS 32691 HAS SOUPS 32415 WITH SCORE 32555.79
AT ITER 303 NEW BEST:: SOT 189347 SOS 140792 HAS SOPS 108019 HAS SOUS 32669 HAS SOUPS 32393 WITH SCORE 32533.792
AT ITER 307 NEW BEST:: SOT 188545 SOS 139990 HAS SOPS 107217 HAS SOUS 32259 HAS SOUPS 31983 WITH SCORE 32122.99
AT ITER 312 NEW BEST:: SOT 188540 SOS 139470 HAS SOPS 106697 HAS SOUS 32200 HAS SOUPS 31924 WITH SCORE 32063.47
AT ITER 318 NEW BEST:: SOT 188540 SOS 139478 HAS SOPS 106697 HAS SOUS 32199 HAS SOUPS 31923 WITH SCORE 32062.478
AT ITER 319 NEW BEST:: SOT 188535 SOS 139468 HAS SOPS 106687 HAS SOUS 32194 HAS SOUPS 31918 WITH SCORE 32057.468
AT ITER 320 NEW BEST:: SOT 188518 SOS 139438 HAS SOPS 106657 HAS SOUS 32166 HAS SOUPS 31890 WITH SCORE 32029.438
AT ITER 323 NEW BEST:: SOT 188418 SOS 139334 HAS SOPS 106553 HAS SOUS 32114 HAS SOUPS 31838 WITH SCORE 31977.334
AT ITER 333 NEW BEST:: SOT 188423 SOS 139344 HAS SOPS 106533 HAS SOUS 32084 HAS SOUPS 31808 WITH SCORE 31947.344
AT ITER 338 NEW BEST:: SOT 188358 SOS 139249 HAS SOPS 106382 HAS SOUS 31930 HAS SOUPS 31654 WITH SCORE 31793.249
AT ITER 343 NEW BEST:: SOT 188205 SOS 139073 HAS SOPS 106206 HAS SOUS 31822 HAS SOUPS 31546 WITH SCORE 31685.073
AT ITER 346 NEW BEST:: SOT 188118 SOS 138986 HAS SOPS 106116 HAS SOUS 31732 HAS SOUPS 31456 WITH SCORE 31594.986
AT ITER 351 NEW BEST:: SOT 188117 SOS 138984 HAS SOPS 106114 HAS SOUS 31731 HAS SOUPS 31455 WITH SCORE 31593.984
AT ITER 357 NEW BEST:: SOT 188092 SOS 138932 HAS SOPS 106027 HAS SOUS 31646 HAS SOUPS 31370 WITH SCORE 31508.932
AT ITER 358 NEW BEST:: SOT 188092 SOS 138828 HAS SOPS 105923 HAS SOUS 31542 HAS SOUPS 31266 WITH SCORE 31404.828
AT ITER 363 NEW BEST:: SOT 188092 SOS 138828 HAS SOPS 105923 HAS SOUS 31534 HAS SOUPS 31258 WITH SCORE 31396.828
AT ITER 368 NEW BEST:: SOT 188019 SOS 138653 HAS SOPS 105641 HAS SOUS 31399 HAS SOUPS 31123 WITH SCORE 31261.653
AT ITER 382 NEW BEST:: SOT 187868 SOS 138183 HAS SOPS 105156 HAS SOUS 31048 HAS SOUPS 30772 WITH SCORE 30910.183
AT ITER 383 NEW BEST:: SOT 187816 SOS 138152 HAS SOPS 105125 HAS SOUS 31001 HAS SOUPS 30725 WITH SCORE 30863.152
AT ITER 386 NEW BEST:: SOT 187781 SOS 138093 HAS SOPS 105055 HAS SOUS 31001 HAS SOUPS 30725 WITH SCORE 30863.093
AT ITER 389 NEW BEST:: SOT 187833 SOS 138175 HAS SOPS 105137 HAS SOUS 30987 HAS SOUPS 30711 WITH SCORE 30849.175
AT ITER 393 NEW BEST:: SOT 187830 SOS 138167 HAS SOPS 105113 HAS SOUS 30960 HAS SOUPS 30684 WITH SCORE 30822.167
AT ITER 395 NEW BEST:: SOT 187904 SOS 138234 HAS SOPS 105134 HAS SOUS 30937 HAS SOUPS 30661 WITH SCORE 30799.234
AT ITER 398 NEW BEST:: SOT 187862 SOS 138223 HAS SOPS 105123 HAS SOUS 30931 HAS SOUPS 30655 WITH SCORE 30793.223
AT ITER 402 NEW BEST:: SOT 187880 SOS 138215 HAS SOPS 105121 HAS SOUS 30923 HAS SOUPS 30647 WITH SCORE 30785.215
AT ITER 406 NEW BEST:: SOT 187880 SOS 138002 HAS SOPS 104908 HAS SOUS 30917 HAS SOUPS 30641 WITH SCORE 30779.002
AT ITER 409 NEW BEST:: SOT 187880 SOS 137999 HAS SOPS 104905 HAS SOUS 30914 HAS SOUPS 30638 WITH SCORE 30775.999
AT ITER 412 NEW BEST:: SOT 187889 SOS 137999 HAS SOPS 104905 HAS SOUS 30905 HAS SOUPS 30629 WITH SCORE 30766.999
AT ITER 432 NEW BEST:: SOT 187889 SOS 137982 HAS SOPS 104888 HAS SOUS 30886 HAS SOUPS 30610 WITH SCORE 30747.982
AT ITER 437 NEW BEST:: SOT 187764 SOS 137857 HAS SOPS 104763 HAS SOUS 30826 HAS SOUPS 30550 WITH SCORE 30687.857
AT ITER 444 NEW BEST:: SOT 187750 SOS 137825 HAS SOPS 104711 HAS SOUS 30807 HAS SOUPS 30531 WITH SCORE 30668.825
AT ITER 450 NEW BEST:: SOT 187639 SOS 137726 HAS SOPS 104613 HAS SOUS 30665 HAS SOUPS 30389 WITH SCORE 30526.726
AT ITER 452 NEW BEST:: SOT 187600 SOS 137648 HAS SOPS 104535 HAS SOUS 30665 HAS SOUPS 30389 WITH SCORE 30526.648
AT ITER 455 NEW BEST:: SOT 187592 SOS 137635 HAS SOPS 104514 HAS SOUS 30644 HAS SOUPS 30368 WITH SCORE 30505.635
AT ITER 456 NEW BEST:: SOT 187561 SOS 137573 HAS SOPS 104452 HAS SOUS 30530 HAS SOUPS 30254 WITH SCORE 30391.573
AT ITER 463 NEW BEST:: SOT 187628 SOS 137691 HAS SOPS 104492 HAS SOUS 30506 HAS SOUPS 30230 WITH SCORE 30367.691
AT ITER 468 NEW BEST:: SOT 187613 SOS 137661 HAS SOPS 104462 HAS SOUS 30491 HAS SOUPS 30215 WITH SCORE 30352.661
AT ITER 470 NEW BEST:: SOT 187668 SOS 137703 HAS SOPS 104520 HAS SOUS 30475 HAS SOUPS 30199 WITH SCORE 30336.703
AT ITER 472 NEW BEST:: SOT 187627 SOS 137657 HAS SOPS 104474 HAS SOUS 30441 HAS SOUPS 30165 WITH SCORE 30302.657
AT ITER 473 NEW BEST:: SOT 187578 SOS 137608 HAS SOPS 104376 HAS SOUS 30343 HAS SOUPS 30067 WITH SCORE 30204.608
AT ITER 475 NEW BEST:: SOT 184403 SOS 134687 HAS SOPS 103073 HAS SOUS 30075 HAS SOUPS 29799 WITH SCORE 29933.687
AT ITER 476 NEW BEST:: SOT 184403 SOS 134599 HAS SOPS 102985 HAS SOUS 29987 HAS SOUPS 29711 WITH SCORE 29845.599
AT ITER 480 NEW BEST:: SOT 184381 SOS 134572 HAS SOPS 102958 HAS SOUS 29962 HAS SOUPS 29686 WITH SCORE 29820.572
AT ITER 483 NEW BEST:: SOT 184315 SOS 134506 HAS SOPS 102892 HAS SOUS 29896 HAS SOUPS 29620 WITH SCORE 29754.506
AT ITER 490 NEW BEST:: SOT 184358 SOS 134561 HAS SOPS 102936 HAS SOUS 29886 HAS SOUPS 29610 WITH SCORE 29744.561
AT ITER 512 NEW BEST:: SOT 184250 SOS 134352 HAS SOPS 102727 HAS SOUS 29677 HAS SOUPS 29401 WITH SCORE 29535.352
AT ITER 513 NEW BEST:: SOT 184194 SOS 134240 HAS SOPS 102615 HAS SOUS 29574 HAS SOUPS 29298 WITH SCORE 29432.24
AT ITER 517 NEW BEST:: SOT 184211 SOS 134221 HAS SOPS 102569 HAS SOUS 29572 HAS SOUPS 29296 WITH SCORE 29430.221
AT ITER 520 NEW BEST:: SOT 184205 SOS 134219 HAS SOPS 102567 HAS SOUS 29566 HAS SOUPS 29290 WITH SCORE 29424.219
AT ITER 525 NEW BEST:: SOT 183713 SOS 133683 HAS SOPS 101831 HAS SOUS 28962 HAS SOUPS 28686 WITH SCORE 28819.683
AT ITER 526 NEW BEST:: SOT 183667 SOS 133614 HAS SOPS 101739 HAS SOUS 28882 HAS SOUPS 28606 WITH SCORE 28739.614
AT ITER 536 NEW BEST:: SOT 183645 SOS 133548 HAS SOPS 101673 HAS SOUS 28832 HAS SOUPS 28556 WITH SCORE 28689.548
AT ITER 556 NEW BEST:: SOT 183645 SOS 133538 HAS SOPS 101663 HAS SOUS 28822 HAS SOUPS 28546 WITH SCORE 28679.538
AT ITER 559 NEW BEST:: SOT 183645 SOS 133469 HAS SOPS 101617 HAS SOUS 28799 HAS SOUPS 28523 WITH SCORE 28656.469
AT ITER 562 NEW BEST:: SOT 183463 SOS 133231 HAS SOPS 101369 HAS SOUS 28672 HAS SOUPS 28396 WITH SCORE 28529.231
AT ITER 571 NEW BEST:: SOT 183555 SOS 133139 HAS SOPS 101185 HAS SOUS 28575 HAS SOUPS 28299 WITH SCORE 28432.139
AT ITER 580 NEW BEST:: SOT 183555 SOS 133074 HAS SOPS 101147 HAS SOUS 28575 HAS SOUPS 28299 WITH SCORE 28432.074
AT ITER 582 NEW BEST:: SOT 183451 SOS 132866 HAS SOPS 100867 HAS SOUS 28327 HAS SOUPS 28051 WITH SCORE 28183.866
AT ITER 583 NEW BEST:: SOT 181883 SOS 131314 HAS SOPS 99449 HAS SOUS 27757 HAS SOUPS 27481 WITH SCORE 27612.314
AT ITER 591 NEW BEST:: SOT 181928 SOS 131337 HAS SOPS 98832 HAS SOUS 27220 HAS SOUPS 26944 WITH SCORE 27075.337
AT ITER 594 NEW BEST:: SOT 182192 SOS 131584 HAS SOPS 98939 HAS SOUS 26751 HAS SOUPS 26468 WITH SCORE 26599.584
AT ITER 597 NEW BEST:: SOT 182185 SOS 131572 HAS SOPS 98925 HAS SOUS 26737 HAS SOUPS 26454 WITH SCORE 26585.572
AT ITER 598 NEW BEST:: SOT 182190 SOS 131527 HAS SOPS 98880 HAS SOUS 26692 HAS SOUPS 26409 WITH SCORE 26540.527
AT ITER 604 NEW BEST:: SOT 182218 SOS 131523 HAS SOPS 98876 HAS SOUS 26655 HAS SOUPS 26372 WITH SCORE 26503.523
AT ITER 619 NEW BEST:: SOT 182218 SOS 131487 HAS SOPS 98840 HAS SOUS 26619 HAS SOUPS 26336 WITH SCORE 26467.487
AT ITER 632 NEW BEST:: SOT 182218 SOS 131441 HAS SOPS 97210 HAS SOUS 25617 HAS SOUPS 25334 WITH SCORE 25465.441
AT ITER 641 NEW BEST:: SOT 182124 SOS 131390 HAS SOPS 97103 HAS SOUS 25554 HAS SOUPS 25271 WITH SCORE 25402.39
AT ITER 651 NEW BEST:: SOT 182070 SOS 131248 HAS SOPS 96995 HAS SOUS 25552 HAS SOUPS 25269 WITH SCORE 25400.248
AT ITER 657 NEW BEST:: SOT 182070 SOS 131252 HAS SOPS 96969 HAS SOUS 25352 HAS SOUPS 25069 WITH SCORE 25200.252
AT ITER 658 NEW BEST:: SOT 181916 SOS 131018 HAS SOPS 96710 HAS SOUS 25088 HAS SOUPS 24805 WITH SCORE 24936.018
AT ITER 661 NEW BEST:: SOT 181916 SOS 130962 HAS SOPS 96654 HAS SOUS 24976 HAS SOUPS 24693 WITH SCORE 24823.962
AT ITER 668 NEW BEST:: SOT 181925 SOS 130792 HAS SOPS 96484 HAS SOUS 24965 HAS SOUPS 24682 WITH SCORE 24812.792
AT ITER 669 NEW BEST:: SOT 182057 SOS 130936 HAS SOPS 96556 HAS SOUS 24773 HAS SOUPS 24490 WITH SCORE 24620.936
AT ITER 671 NEW BEST:: SOT 180927 SOS 131059 HAS SOPS 95424 HAS SOUS 23777 HAS SOUPS 23456 WITH SCORE 23587.059
AT ITER 674 NEW BEST:: SOT 181309 SOS 131393 HAS SOPS 95653 HAS SOUS 23729 HAS SOUPS 23408 WITH SCORE 23539.393
AT ITER 678 NEW BEST:: SOT 180495 SOS 137774 HAS SOPS 94713 HAS SOUS 23347 HAS SOUPS 22920 WITH SCORE 23057.774
AT ITER 681 NEW BEST:: SOT 180495 SOS 137788 HAS SOPS 94713 HAS SOUS 23333 HAS SOUPS 22906 WITH SCORE 23043.788
AT ITER 683 NEW BEST:: SOT 180481 SOS 137751 HAS SOPS 94685 HAS SOUS 23328 HAS SOUPS 22901 WITH SCORE 23038.751
AT ITER 689 NEW BEST:: SOT 180431 SOS 137653 HAS SOPS 94570 HAS SOUS 23246 HAS SOUPS 22819 WITH SCORE 22956.653
AT ITER 692 NEW BEST:: SOT 180348 SOS 137701 HAS SOPS 94507 HAS SOUS 23183 HAS SOUPS 22756 WITH SCORE 22893.701
AT ITER 695 NEW BEST:: SOT 180318 SOS 137733 HAS SOPS 94447 HAS SOUS 23123 HAS SOUPS 22696 WITH SCORE 22833.733
AT ITER 705 NEW BEST:: SOT 180331 SOS 137712 HAS SOPS 94439 HAS SOUS 23115 HAS SOUPS 22688 WITH SCORE 22825.712
AT ITER 706 NEW BEST:: SOT 180330 SOS 137769 HAS SOPS 94452 HAS SOUS 23026 HAS SOUPS 22599 WITH SCORE 22736.769
AT ITER 708 NEW BEST:: SOT 180329 SOS 137767 HAS SOPS 94450 HAS SOUS 23005 HAS SOUPS 22578 WITH SCORE 22715.767
AT ITER 709 NEW BEST:: SOT 180281 SOS 137665 HAS SOPS 94354 HAS SOUS 22940 HAS SOUPS 22513 WITH SCORE 22650.665
AT ITER 717 NEW BEST:: SOT 180277 SOS 137661 HAS SOPS 94346 HAS SOUS 22932 HAS SOUPS 22505 WITH SCORE 22642.661
AT ITER 740 NEW BEST:: SOT 180237 SOS 137473 HAS SOPS 94138 HAS SOUS 22724 HAS SOUPS 22297 WITH SCORE 22434.473
AT ITER 744 NEW BEST:: SOT 180231 SOS 137450 HAS SOPS 94117 HAS SOUS 22720 HAS SOUPS 22293 WITH SCORE 22430.45
AT ITER 745 NEW BEST:: SOT 180228 SOS 137447 HAS SOPS 94111 HAS SOUS 22714 HAS SOUPS 22287 WITH SCORE 22424.447
AT ITER 755 NEW BEST:: SOT 180200 SOS 137363 HAS SOPS 94027 HAS SOUS 22658 HAS SOUPS 22231 WITH SCORE 22368.363
AT ITER 763 NEW BEST:: SOT 180206 SOS 137361 HAS SOPS 93988 HAS SOUS 22639 HAS SOUPS 22212 WITH SCORE 22349.361
AT ITER 764 NEW BEST:: SOT 180147 SOS 137302 HAS SOPS 93929 HAS SOUS 22605 HAS SOUPS 22178 WITH SCORE 22315.302
AT ITER 766 NEW BEST:: SOT 180147 SOS 137322 HAS SOPS 93929 HAS SOUS 22585 HAS SOUPS 22158 WITH SCORE 22295.322
AT ITER 768 NEW BEST:: SOT 179980 SOS 137071 HAS SOPS 93593 HAS SOUS 22334 HAS SOUPS 21907 WITH SCORE 22044.071
AT ITER 772 NEW BEST:: SOT 179943 SOS 136997 HAS SOPS 93482 HAS SOUS 22223 HAS SOUPS 21796 WITH SCORE 21932.997
AT ITER 775 NEW BEST:: SOT 179904 SOS 136777 HAS SOPS 93304 HAS SOUS 22142 HAS SOUPS 21715 WITH SCORE 21851.777
AT ITER 789 NEW BEST:: SOT 179894 SOS 136767 HAS SOPS 93294 HAS SOUS 22132 HAS SOUPS 21705 WITH SCORE 21841.767
AT ITER 792 NEW BEST:: SOT 179930 SOS 136767 HAS SOPS 93258 HAS SOUS 22096 HAS SOUPS 21669 WITH SCORE 21805.767
AT ITER 795 NEW BEST:: SOT 179912 SOS 136739 HAS SOPS 93222 HAS SOUS 22078 HAS SOUPS 21651 WITH SCORE 21787.739
AT ITER 796 NEW BEST:: SOT 179889 SOS 136716 HAS SOPS 93193 HAS SOUS 22066 HAS SOUPS 21639 WITH SCORE 21775.716
AT ITER 804 NEW BEST:: SOT 179035 SOS 135843 HAS SOPS 92297 HAS SOUS 21572 HAS SOUPS 21145 WITH SCORE 21280.843
AT ITER 805 NEW BEST:: SOT 179035 SOS 135827 HAS SOPS 92281 HAS SOUS 21556 HAS SOUPS 21129 WITH SCORE 21264.827
AT ITER 813 NEW BEST:: SOT 179011 SOS 135691 HAS SOPS 92177 HAS SOUS 21508 HAS SOUPS 21081 WITH SCORE 21216.691
AT ITER 816 NEW BEST:: SOT 178959 SOS 135588 HAS SOPS 92073 HAS SOUS 21432 HAS SOUPS 21005 WITH SCORE 21140.588
AT ITER 821 NEW BEST:: SOT 178115 SOS 134755 HAS SOPS 91231 HAS SOUS 21013 HAS SOUPS 20586 WITH SCORE 20720.755
AT ITER 829 NEW BEST:: SOT 178092 SOS 134709 HAS SOPS 91185 HAS SOUS 20990 HAS SOUPS 20563 WITH SCORE 20697.709
AT ITER 838 NEW BEST:: SOT 178092 SOS 134577 HAS SOPS 91119 HAS SOUS 20924 HAS SOUPS 20497 WITH SCORE 20631.577
AT ITER 840 NEW BEST:: SOT 178087 SOS 134567 HAS SOPS 91109 HAS SOUS 20919 HAS SOUPS 20492 WITH SCORE 20626.567
AT ITER 855 NEW BEST:: SOT 178087 SOS 134557 HAS SOPS 91109 HAS SOUS 20919 HAS SOUPS 20492 WITH SCORE 20626.557
AT ITER 860 NEW BEST:: SOT 178101 SOS 134495 HAS SOPS 91098 HAS SOUS 20908 HAS SOUPS 20481 WITH SCORE 20615.495
AT ITER 861 NEW BEST:: SOT 178068 SOS 134351 HAS SOPS 90978 HAS SOUS 20791 HAS SOUPS 20364 WITH SCORE 20498.351
AT ITER 867 NEW BEST:: SOT 178068 SOS 134351 HAS SOPS 90966 HAS SOUS 20683 HAS SOUPS 20253 WITH SCORE 20387.351
AT ITER 892 NEW BEST:: SOT 178085 SOS 134367 HAS SOPS 90980 HAS SOUS 20679 HAS SOUPS 20249 WITH SCORE 20383.367
AT ITER 897 NEW BEST:: SOT 178072 SOS 134351 HAS SOPS 90964 HAS SOUS 20664 HAS SOUPS 20234 WITH SCORE 20368.351
AT ITER 910 NEW BEST:: SOT 178072 SOS 134356 HAS SOPS 90964 HAS SOUS 20659 HAS SOUPS 20229 WITH SCORE 20363.356
AT ITER 913 NEW BEST:: SOT 178067 SOS 134356 HAS SOPS 90959 HAS SOUS 20654 HAS SOUPS 20224 WITH SCORE 20358.356
AT ITER 917 NEW BEST:: SOT 178067 SOS 134356 HAS SOPS 90959 HAS SOUS 20639 HAS SOUPS 20209 WITH SCORE 20343.356
AT ITER 927 NEW BEST:: SOT 178029 SOS 134280 HAS SOPS 90845 HAS SOUS 20525 HAS SOUPS 20095 WITH SCORE 20229.28
AT ITER 930 NEW BEST:: SOT 177990 SOS 134241 HAS SOPS 90767 HAS SOUS 20468 HAS SOUPS 20038 WITH SCORE 20172.241
AT ITER 948 NEW BEST:: SOT 177984 SOS 134331 HAS SOPS 90806 HAS SOUS 20462 HAS SOUPS 20032 WITH SCORE 20166.331
AT ITER 949 NEW BEST:: SOT 177882 SOS 134385 HAS SOPS 90750 HAS SOUS 20440 HAS SOUPS 20010 WITH SCORE 20144.385
AT ITER 952 NEW BEST:: SOT 177786 SOS 134183 HAS SOPS 90558 HAS SOUS 20374 HAS SOUPS 19944 WITH SCORE 20078.183
AT ITER 953 NEW BEST:: SOT 177641 SOS 133911 HAS SOPS 90268 HAS SOUS 20084 HAS SOUPS 19654 WITH SCORE 19787.911
AT ITER 958 NEW BEST:: SOT 177633 SOS 133903 HAS SOPS 90252 HAS SOUS 20068 HAS SOUPS 19638 WITH SCORE 19771.903
AT ITER 970 NEW BEST:: SOT 177626 SOS 133882 HAS SOPS 90197 HAS SOUS 20027 HAS SOUPS 19597 WITH SCORE 19730.882
AT ITER 986 NEW BEST:: SOT 177596 SOS 133822 HAS SOPS 90098 HAS SOUS 19889 HAS SOUPS 19459 WITH SCORE 19592.822
AT ITER 994 NEW BEST:: SOT 177510 SOS 133736 HAS SOPS 89977 HAS SOUS 19768 HAS SOUPS 19338 WITH SCORE 19471.736
AT ITER 1006 NEW BEST:: SOT 177353 SOS 133592 HAS SOPS 89720 HAS SOUS 19511 HAS SOUPS 19081 WITH SCORE 19214.592
AT ITER 1009 NEW BEST:: SOT 177329 SOS 133568 HAS SOPS 89672 HAS SOUS 19463 HAS SOUPS 19033 WITH SCORE 19166.568
AT ITER 1019 NEW BEST:: SOT 177316 SOS 133504 HAS SOPS 89646 HAS SOUS 19421 HAS SOUPS 18991 WITH SCORE 19124.504
AT ITER 1028 NEW BEST:: SOT 177304 SOS 133504 HAS SOPS 89634 HAS SOUS 19409 HAS SOUPS 18979 WITH SCORE 19112.504
AT ITER 1035 NEW BEST:: SOT 177276 SOS 133438 HAS SOPS 89548 HAS SOUS 19323 HAS SOUPS 18893 WITH SCORE 19026.438
AT ITER 1042 NEW BEST:: SOT 177295 SOS 133476 HAS SOPS 89116 HAS SOUS 18777 HAS SOUPS 18347 WITH SCORE 18480.476
AT ITER 1091 NEW BEST:: SOT 177246 SOS 133365 HAS SOPS 89018 HAS SOUS 18740 HAS SOUPS 18310 WITH SCORE 18443.365
AT ITER 1097 NEW BEST:: SOT 177258 SOS 133347 HAS SOPS 89017 HAS SOUS 18740 HAS SOUPS 18310 WITH SCORE 18443.347
AT ITER 1106 NEW BEST:: SOT 177182 SOS 135492 HAS SOPS 88936 HAS SOUS 18721 HAS SOUPS 18286 WITH SCORE 18421.492
AT ITER 1108 NEW BEST:: SOT 177176 SOS 135485 HAS SOPS 88924 HAS SOUS 18711 HAS SOUPS 18276 WITH SCORE 18411.485
AT ITER 1121 NEW BEST:: SOT 177176 SOS 135457 HAS SOPS 88896 HAS SOUS 18683 HAS SOUPS 18248 WITH SCORE 18383.457
AT ITER 1122 NEW BEST:: SOT 177102 SOS 135380 HAS SOPS 88748 HAS SOUS 18535 HAS SOUPS 18100 WITH SCORE 18235.38
AT ITER 1129 NEW BEST:: SOT 177045 SOS 135266 HAS SOPS 88556 HAS SOUS 18379 HAS SOUPS 17944 WITH SCORE 18079.266
AT ITER 1130 NEW BEST:: SOT 177053 SOS 135235 HAS SOPS 88542 HAS SOUS 18357 HAS SOUPS 17922 WITH SCORE 18057.235
AT ITER 1137 NEW BEST:: SOT 177053 SOS 135217 HAS SOPS 88533 HAS SOUS 18357 HAS SOUPS 17922 WITH SCORE 18057.217
AT ITER 1149 NEW BEST:: SOT 177049 SOS 135209 HAS SOPS 88525 HAS SOUS 18349 HAS SOUPS 17914 WITH SCORE 18049.209
AT ITER 1159 NEW BEST:: SOT 177052 SOS 135149 HAS SOPS 88465 HAS SOUS 18289 HAS SOUPS 17854 WITH SCORE 17989.149
AT ITER 1170 NEW BEST:: SOT 177062 SOS 135152 HAS SOPS 88485 HAS SOUS 18284 HAS SOUPS 17849 WITH SCORE 17984.152
AT ITER 1185 NEW BEST:: SOT 176982 SOS 135059 HAS SOPS 88325 HAS SOUS 18131 HAS SOUPS 17696 WITH SCORE 17831.059
AT ITER 1197 NEW BEST:: SOT 176939 SOS 134987 HAS SOPS 88239 HAS SOUS 18062 HAS SOUPS 17627 WITH SCORE 17761.987
AT ITER 1202 NEW BEST:: SOT 176902 SOS 134913 HAS SOPS 88128 HAS SOUS 17988 HAS SOUPS 17553 WITH SCORE 17687.913
AT ITER 1205 NEW BEST:: SOT 176854 SOS 134865 HAS SOPS 88101 HAS SOUS 17972 HAS SOUPS 17537 WITH SCORE 17671.865
AT ITER 1213 NEW BEST:: SOT 176850 SOS 134853 HAS SOPS 88089 HAS SOUS 17960 HAS SOUPS 17525 WITH SCORE 17659.853
AT ITER 1219 NEW BEST:: SOT 176831 SOS 134838 HAS SOPS 88074 HAS SOUS 17945 HAS SOUPS 17510 WITH SCORE 17644.838
AT ITER 1228 NEW BEST:: SOT 176809 SOS 134783 HAS SOPS 88019 HAS SOUS 17918 HAS SOUPS 17483 WITH SCORE 17617.783
AT ITER 1239 NEW BEST:: SOT 176371 SOS 134673 HAS SOPS 87859 HAS SOUS 17682 HAS SOUPS 17247 WITH SCORE 17381.673
AT ITER 1269 NEW BEST:: SOT 176390 SOS 134587 HAS SOPS 87817 HAS SOUS 17648 HAS SOUPS 17213 WITH SCORE 17347.587
AT ITER 1270 NEW BEST:: SOT 175754 SOS 133964 HAS SOPS 87293 HAS SOUS 17542 HAS SOUPS 17107 WITH SCORE 17240.964
AT ITER 1274 NEW BEST:: SOT 175754 SOS 133767 HAS SOPS 87293 HAS SOUS 17540 HAS SOUPS 17107 WITH SCORE 17240.767
AT ITER 1302 NEW BEST:: SOT 175724 SOS 133737 HAS SOPS 87233 HAS SOUS 17484 HAS SOUPS 17051 WITH SCORE 17184.737
AT ITER 1303 NEW BEST:: SOT 175718 SOS 133731 HAS SOPS 87224 HAS SOUS 17475 HAS SOUPS 17042 WITH SCORE 17175.731
AT ITER 1345 NEW BEST:: SOT 175711 SOS 133710 HAS SOPS 87210 HAS SOUS 17468 HAS SOUPS 17035 WITH SCORE 17168.71
AT ITER 1347 NEW BEST:: SOT 175710 SOS 133739 HAS SOPS 87208 HAS SOUS 17466 HAS SOUPS 17033 WITH SCORE 17166.739
AT ITER 1349 NEW BEST:: SOT 175617 SOS 133646 HAS SOPS 87053 HAS SOUS 17342 HAS SOUPS 16909 WITH SCORE 17042.646
AT ITER 1354 NEW BEST:: SOT 175525 SOS 133558 HAS SOPS 86981 HAS SOUS 17278 HAS SOUPS 16845 WITH SCORE 16978.558
AT ITER 1356 NEW BEST:: SOT 175486 SOS 133519 HAS SOPS 86981 HAS SOUS 17278 HAS SOUPS 16845 WITH SCORE 16978.519
AT ITER 1359 NEW BEST:: SOT 175414 SOS 133447 HAS SOPS 86981 HAS SOUS 17278 HAS SOUPS 16845 WITH SCORE 16978.447
AT ITER 1364 NEW BEST:: SOT 175063 SOS 133130 HAS SOPS 86746 HAS SOUS 17241 HAS SOUPS 16808 WITH SCORE 16941.13
AT ITER 1371 NEW BEST:: SOT 174995 SOS 133036 HAS SOPS 86610 HAS SOUS 17102 HAS SOUPS 16669 WITH SCORE 16802.036
AT ITER 1382 NEW BEST:: SOT 175008 SOS 133104 HAS SOPS 86636 HAS SOUS 17085 HAS SOUPS 16652 WITH SCORE 16785.104
AT ITER 1394 NEW BEST:: SOT 174991 SOS 133087 HAS SOPS 86602 HAS SOUS 17051 HAS SOUPS 16618 WITH SCORE 16751.087
AT ITER 1395 NEW BEST:: SOT 174899 SOS 133023 HAS SOPS 86483 HAS SOUS 16936 HAS SOUPS 16503 WITH SCORE 16636.023
AT ITER 1401 NEW BEST:: SOT 174871 SOS 132974 HAS SOPS 86427 HAS SOUS 16904 HAS SOUPS 16471 WITH SCORE 16603.974
AT ITER 1402 NEW BEST:: SOT 174871 SOS 132972 HAS SOPS 86426 HAS SOUS 16903 HAS SOUPS 16470 WITH SCORE 16602.972
AT ITER 1403 NEW BEST:: SOT 174833 SOS 132934 HAS SOPS 86369 HAS SOUS 16868 HAS SOUPS 16435 WITH SCORE 16567.934
AT ITER 1410 NEW BEST:: SOT 174827 SOS 132914 HAS SOPS 86343 HAS SOUS 16828 HAS SOUPS 16395 WITH SCORE 16527.914
AT ITER 1422 NEW BEST:: SOT 174833 SOS 132861 HAS SOPS 86306 HAS SOUS 16798 HAS SOUPS 16365 WITH SCORE 16497.861
AT ITER 1463 NEW BEST:: SOT 174791 SOS 132791 HAS SOPS 86222 HAS SOUS 16728 HAS SOUPS 16295 WITH SCORE 16427.791
AT ITER 1467 NEW BEST:: SOT 174772 SOS 132740 HAS SOPS 86152 HAS SOUS 16658 HAS SOUPS 16225 WITH SCORE 16357.74
AT ITER 1485 NEW BEST:: SOT 174753 SOS 132722 HAS SOPS 86132 HAS SOUS 16656 HAS SOUPS 16223 WITH SCORE 16355.722
AT ITER 1490 NEW BEST:: SOT 174788 SOS 132722 HAS SOPS 86097 HAS SOUS 16615 HAS SOUPS 16182 WITH SCORE 16314.722
AT ITER 1497 NEW BEST:: SOT 174777 SOS 132700 HAS SOPS 86075 HAS SOUS 16604 HAS SOUPS 16171 WITH SCORE 16303.7
AT ITER 1498 NEW BEST:: SOT 174777 SOS 132700 HAS SOPS 86072 HAS SOUS 16601 HAS SOUPS 16168 WITH SCORE 16300.7
AT ITER 1505 NEW BEST:: SOT 174770 SOS 132645 HAS SOPS 86017 HAS SOUS 16553 HAS SOUPS 16120 WITH SCORE 16252.645
AT ITER 1507 NEW BEST:: SOT 174732 SOS 132563 HAS SOPS 85909 HAS SOUS 16457 HAS SOUPS 16024 WITH SCORE 16156.563
AT ITER 1520 NEW BEST:: SOT 174699 SOS 132497 HAS SOPS 85843 HAS SOUS 16424 HAS SOUPS 15991 WITH SCORE 16123.497
AT ITER 1532 NEW BEST:: SOT 174694 SOS 132492 HAS SOPS 85833 HAS SOUS 16414 HAS SOUPS 15981 WITH SCORE 16113.492
AT ITER 1540 NEW BEST:: SOT 174680 SOS 132471 HAS SOPS 85805 HAS SOUS 16386 HAS SOUPS 15953 WITH SCORE 16085.471
AT ITER 1542 NEW BEST:: SOT 174670 SOS 132451 HAS SOPS 85733 HAS SOUS 16302 HAS SOUPS 15869 WITH SCORE 16001.451
AT ITER 1543 NEW BEST:: SOT 174686 SOS 132414 HAS SOPS 85731 HAS SOUS 16300 HAS SOUPS 15867 WITH SCORE 15999.414
AT ITER 1547 NEW BEST:: SOT 174654 SOS 132329 HAS SOPS 85667 HAS SOUS 16285 HAS SOUPS 15852 WITH SCORE 15984.329
AT ITER 1567 NEW BEST:: SOT 174602 SOS 132283 HAS SOPS 85613 HAS SOUS 16234 HAS SOUPS 15801 WITH SCORE 15933.283
AT ITER 1599 NEW BEST:: SOT 174589 SOS 132283 HAS SOPS 85600 HAS SOUS 16221 HAS SOUPS 15788 WITH SCORE 15920.283
AT ITER 1602 NEW BEST:: SOT 174588 SOS 132282 HAS SOPS 85598 HAS SOUS 16219 HAS SOUPS 15786 WITH SCORE 15918.282
AT ITER 1604 NEW BEST:: SOT 174593 SOS 132236 HAS SOPS 85567 HAS SOUS 16217 HAS SOUPS 15784 WITH SCORE 15916.236
AT ITER 1644 NEW BEST:: SOT 174573 SOS 132202 HAS SOPS 85527 HAS SOUS 16191 HAS SOUPS 15758 WITH SCORE 15890.202
AT ITER 1655 NEW BEST:: SOT 174573 SOS 132201 HAS SOPS 85526 HAS SOUS 16191 HAS SOUPS 15758 WITH SCORE 15890.201
AT ITER 1662 NEW BEST:: SOT 174572 SOS 132155 HAS SOPS 85496 HAS SOUS 16189 HAS SOUPS 15756 WITH SCORE 15888.155
AT ITER 1706 NEW BEST:: SOT 174570 SOS 132151 HAS SOPS 85491 HAS SOUS 16185 HAS SOUPS 15752 WITH SCORE 15884.151
AT ITER 1712 NEW BEST:: SOT 174559 SOS 132127 HAS SOPS 85456 HAS SOUS 16150 HAS SOUPS 15717 WITH SCORE 15849.127
AT ITER 1722 NEW BEST:: SOT 174550 SOS 132109 HAS SOPS 85438 HAS SOUS 16141 HAS SOUPS 15708 WITH SCORE 15840.109
AT ITER 1755 NEW BEST:: SOT 174541 SOS 132100 HAS SOPS 85429 HAS SOUS 16132 HAS SOUPS 15699 WITH SCORE 15831.1
AT ITER 1756 NEW BEST:: SOT 174544 SOS 132083 HAS SOPS 85396 HAS SOUS 16115 HAS SOUPS 15682 WITH SCORE 15814.083
AT ITER 1766 NEW BEST:: SOT 174540 SOS 132076 HAS SOPS 85389 HAS SOUS 16115 HAS SOUPS 15682 WITH SCORE 15814.076
AT ITER 1779 NEW BEST:: SOT 174540 SOS 132070 HAS SOPS 85383 HAS SOUS 16109 HAS SOUPS 15676 WITH SCORE 15808.07
AT ITER 1784 NEW BEST:: SOT 174484 SOS 132034 HAS SOPS 85318 HAS SOUS 16044 HAS SOUPS 15611 WITH SCORE 15743.034
AT ITER 1800 NEW BEST:: SOT 174484 SOS 132025 HAS SOPS 85311 HAS SOUS 16039 HAS SOUPS 15606 WITH SCORE 15738.025
AT ITER 1819 NEW BEST:: SOT 174473 SOS 132003 HAS SOPS 85289 HAS SOUS 16017 HAS SOUPS 15584 WITH SCORE 15716.003
AT ITER 1831 NEW BEST:: SOT 174482 SOS 131948 HAS SOPS 85234 HAS SOUS 15976 HAS SOUPS 15543 WITH SCORE 15674.948
AT ITER 1846 NEW BEST:: SOT 174467 SOS 131918 HAS SOPS 85222 HAS SOUS 15964 HAS SOUPS 15531 WITH SCORE 15662.918
AT ITER 1883 NEW BEST:: SOT 174195 SOS 131650 HAS SOPS 85147 HAS SOUS 15901 HAS SOUPS 15468 WITH SCORE 15599.65
AT ITER 1926 NEW BEST:: SOT 174160 SOS 131615 HAS SOPS 85133 HAS SOUS 15887 HAS SOUPS 15454 WITH SCORE 15585.615
AT ITER 1936 NEW BEST:: SOT 174137 SOS 131592 HAS SOPS 85129 HAS SOUS 15883 HAS SOUPS 15450 WITH SCORE 15581.592
AT ITER 1982 NEW BEST:: SOT 174143 SOS 131572 HAS SOPS 85116 HAS SOUS 15870 HAS SOUPS 15437 WITH SCORE 15568.572
AT ITER 1983 NEW BEST:: SOT 174104 SOS 131483 HAS SOPS 85038 HAS SOUS 15859 HAS SOUPS 15426 WITH SCORE 15557.483
AT ITER 2012 NEW BEST:: SOT 174104 SOS 131480 HAS SOPS 84990 HAS SOUS 15766 HAS SOUPS 15333 WITH SCORE 15464.48
AT ITER 2023 NEW BEST:: SOT 174089 SOS 131438 HAS SOPS 84947 HAS SOUS 15742 HAS SOUPS 15309 WITH SCORE 15440.438
AT ITER 2052 NEW BEST:: SOT 174084 SOS 131433 HAS SOPS 84942 HAS SOUS 15737 HAS SOUPS 15304 WITH SCORE 15435.433
AT ITER 2055 NEW BEST:: SOT 173732 SOS 131079 HAS SOPS 84690 HAS SOUS 15647 HAS SOUPS 15214 WITH SCORE 15345.079
AT ITER 2067 NEW BEST:: SOT 173725 SOS 131098 HAS SOPS 84676 HAS SOUS 15633 HAS SOUPS 15200 WITH SCORE 15331.098
AT ITER 2070 NEW BEST:: SOT 173717 SOS 131060 HAS SOPS 84638 HAS SOUS 15603 HAS SOUPS 15170 WITH SCORE 15301.06
AT ITER 2073 NEW BEST:: SOT 173716 SOS 131058 HAS SOPS 84635 HAS SOUS 15600 HAS SOUPS 15167 WITH SCORE 15298.058
AT ITER 2079 NEW BEST:: SOT 173704 SOS 131022 HAS SOPS 84611 HAS SOUS 15599 HAS SOUPS 15166 WITH SCORE 15297.022
AT ITER 2096 NEW BEST:: SOT 173703 SOS 131020 HAS SOPS 84585 HAS SOUS 15533 HAS SOUPS 15100 WITH SCORE 15231.02
AT ITER 2097 NEW BEST:: SOT 173703 SOS 131012 HAS SOPS 84581 HAS SOUS 15529 HAS SOUPS 15096 WITH SCORE 15227.012
AT ITER 2105 NEW BEST:: SOT 173696 SOS 131012 HAS SOPS 84567 HAS SOUS 15515 HAS SOUPS 15082 WITH SCORE 15213.012
AT ITER 2112 NEW BEST:: SOT 173747 SOS 131157 HAS SOPS 84669 HAS SOUS 15487 HAS SOUPS 15054 WITH SCORE 15185.157
AT ITER 2117 NEW BEST:: SOT 173740 SOS 131198 HAS SOPS 84679 HAS SOUS 15473 HAS SOUPS 15040 WITH SCORE 15171.198
AT ITER 2122 NEW BEST:: SOT 173665 SOS 131088 HAS SOPS 84569 HAS SOUS 15403 HAS SOUPS 14970 WITH SCORE 15101.088
AT ITER 2149 NEW BEST:: SOT 173669 SOS 131080 HAS SOPS 84565 HAS SOUS 15399 HAS SOUPS 14966 WITH SCORE 15097.08
AT ITER 2150 NEW BEST:: SOT 173669 SOS 131073 HAS SOPS 84565 HAS SOUS 15399 HAS SOUPS 14966 WITH SCORE 15097.073
AT ITER 2174 NEW BEST:: SOT 173615 SOS 131135 HAS SOPS 84533 HAS SOUS 15363 HAS SOUPS 14930 WITH SCORE 15061.135
AT ITER 2186 NEW BEST:: SOT 173610 SOS 131130 HAS SOPS 84523 HAS SOUS 15353 HAS SOUPS 14920 WITH SCORE 15051.13
AT ITER 2188 NEW BEST:: SOT 173610 SOS 131128 HAS SOPS 84521 HAS SOUS 15353 HAS SOUPS 14920 WITH SCORE 15051.128
AT ITER 2208 NEW BEST:: SOT 173604 SOS 131038 HAS SOPS 84509 HAS SOUS 15341 HAS SOUPS 14908 WITH SCORE 15039.038
AT ITER 2219 NEW BEST:: SOT 173592 SOS 131026 HAS SOPS 84493 HAS SOUS 15326 HAS SOUPS 14892 WITH SCORE 15023.026
AT ITER 2228 NEW BEST:: SOT 173550 SOS 130986 HAS SOPS 84427 HAS SOUS 15285 HAS SOUPS 14851 WITH SCORE 14981.986
AT ITER 2265 NEW BEST:: SOT 173543 SOS 130972 HAS SOPS 84406 HAS SOUS 15264 HAS SOUPS 14830 WITH SCORE 14960.972
AT ITER 2268 NEW BEST:: SOT 173807 SOS 131254 HAS SOPS 84542 HAS SOUS 15120 HAS SOUPS 14686 WITH SCORE 14817.254
AT ITER 2280 NEW BEST:: SOT 173799 SOS 131242 HAS SOPS 84526 HAS SOUS 15108 HAS SOUPS 14674 WITH SCORE 14805.242
AT ITER 2286 NEW BEST:: SOT 173794 SOS 131249 HAS SOPS 84516 HAS SOUS 15086 HAS SOUPS 14652 WITH SCORE 14783.249
AT ITER 2298 NEW BEST:: SOT 173805 SOS 131288 HAS SOPS 84538 HAS SOUS 15080 HAS SOUPS 14646 WITH SCORE 14777.288
AT ITER 2337 NEW BEST:: SOT 173804 SOS 131287 HAS SOPS 84536 HAS SOUS 15079 HAS SOUPS 14645 WITH SCORE 14776.287
AT ITER 2364 NEW BEST:: SOT 173788 SOS 131271 HAS SOPS 84513 HAS SOUS 15065 HAS SOUPS 14631 WITH SCORE 14762.271
AT ITER 2367 NEW BEST:: SOT 173788 SOS 131043 HAS SOPS 84288 HAS SOUS 15065 HAS SOUPS 14631 WITH SCORE 14762.043
AT ITER 2377 NEW BEST:: SOT 173788 SOS 131043 HAS SOPS 84284 HAS SOUS 15061 HAS SOUPS 14627 WITH SCORE 14758.043
AT ITER 2414 NEW BEST:: SOT 173786 SOS 131040 HAS SOPS 84281 HAS SOUS 15058 HAS SOUPS 14624 WITH SCORE 14755.04
AT ITER 2422 NEW BEST:: SOT 173776 SOS 131030 HAS SOPS 84271 HAS SOUS 15058 HAS SOUPS 14624 WITH SCORE 14755.03
AT ITER 2423 NEW BEST:: SOT 173730 SOS 130984 HAS SOPS 84224 HAS SOUS 15011 HAS SOUPS 14577 WITH SCORE 14707.984
AT ITER 2434 NEW BEST:: SOT 173729 SOS 131004 HAS SOPS 84222 HAS SOUS 14979 HAS SOUPS 14545 WITH SCORE 14676.004
AT ITER 2436 NEW BEST:: SOT 173727 SOS 131001 HAS SOPS 84218 HAS SOUS 14975 HAS SOUPS 14541 WITH SCORE 14672.001
AT ITER 2464 NEW BEST:: SOT 173672 SOS 130943 HAS SOPS 84108 HAS SOUS 14865 HAS SOUPS 14431 WITH SCORE 14561.943
AT ITER 2486 NEW BEST:: SOT 173662 SOS 130934 HAS SOPS 84105 HAS SOUS 14856 HAS SOUPS 14422 WITH SCORE 14552.934
AT ITER 2514 NEW BEST:: SOT 173661 SOS 130930 HAS SOPS 84102 HAS SOUS 14854 HAS SOUPS 14420 WITH SCORE 14550.93
AT ITER 2544 NEW BEST:: SOT 173664 SOS 130933 HAS SOPS 84084 HAS SOUS 14812 HAS SOUPS 14378 WITH SCORE 14508.933
AT ITER 2583 NEW BEST:: SOT 173649 SOS 130919 HAS SOPS 84070 HAS SOUS 14798 HAS SOUPS 14364 WITH SCORE 14494.919
AT ITER 2629 NEW BEST:: SOT 173649 SOS 130700 HAS SOPS 83857 HAS SOUS 14792 HAS SOUPS 14358 WITH SCORE 14488.7
AT ITER 2645 NEW BEST:: SOT 173589 SOS 130689 HAS SOPS 83789 HAS SOUS 14727 HAS SOUPS 14293 WITH SCORE 14423.689
AT ITER 2649 NEW BEST:: SOT 173578 SOS 130667 HAS SOPS 83767 HAS SOUS 14701 HAS SOUPS 14267 WITH SCORE 14397.667
AT ITER 2659 NEW BEST:: SOT 173579 SOS 130667 HAS SOPS 83767 HAS SOUS 14700 HAS SOUPS 14266 WITH SCORE 14396.667
AT ITER 2664 NEW BEST:: SOT 173570 SOS 130656 HAS SOPS 83749 HAS SOUS 14682 HAS SOUPS 14248 WITH SCORE 14378.656
AT ITER 2666 NEW BEST:: SOT 173536 SOS 130659 HAS SOPS 83738 HAS SOUS 14654 HAS SOUPS 14220 WITH SCORE 14350.659
AT ITER 2708 NEW BEST:: SOT 173517 SOS 130621 HAS SOPS 83700 HAS SOUS 14632 HAS SOUPS 14198 WITH SCORE 14328.621
AT ITER 2715 NEW BEST:: SOT 173512 SOS 130621 HAS SOPS 83695 HAS SOUS 14627 HAS SOUPS 14193 WITH SCORE 14323.621
AT ITER 2716 NEW BEST:: SOT 173535 SOS 130551 HAS SOPS 83653 HAS SOUS 14600 HAS SOUPS 14166 WITH SCORE 14296.551
AT ITER 2772 NEW BEST:: SOT 173534 SOS 130550 HAS SOPS 83651 HAS SOUS 14598 HAS SOUPS 14164 WITH SCORE 14294.55
AT ITER 2777 NEW BEST:: SOT 173513 SOS 130526 HAS SOPS 83609 HAS SOUS 14559 HAS SOUPS 14125 WITH SCORE 14255.526
AT ITER 2785 NEW BEST:: SOT 173527 SOS 130536 HAS SOPS 83604 HAS SOUS 14521 HAS SOUPS 14087 WITH SCORE 14217.536
AT ITER 2789 NEW BEST:: SOT 173528 SOS 130530 HAS SOPS 83606 HAS SOUS 14519 HAS SOUPS 14085 WITH SCORE 14215.53
AT ITER 2826 NEW BEST:: SOT 173533 SOS 130164 HAS SOPS 83250 HAS SOUS 14517 HAS SOUPS 14083 WITH SCORE 14213.164
AT ITER 2848 NEW BEST:: SOT 173502 SOS 130144 HAS SOPS 83209 HAS SOUS 14486 HAS SOUPS 14052 WITH SCORE 14182.144
AT ITER 2869 NEW BEST:: SOT 173501 SOS 130147 HAS SOPS 83207 HAS SOUS 14484 HAS SOUPS 14050 WITH SCORE 14180.147
AT ITER 2874 NEW BEST:: SOT 173460 SOS 130106 HAS SOPS 83199 HAS SOUS 14476 HAS SOUPS 14042 WITH SCORE 14172.106
AT ITER 2888 NEW BEST:: SOT 173455 SOS 130087 HAS SOPS 83179 HAS SOUS 14460 HAS SOUPS 14026 WITH SCORE 14156.087
AT ITER 2889 NEW BEST:: SOT 173435 SOS 130048 HAS SOPS 83139 HAS SOUS 14438 HAS SOUPS 14004 WITH SCORE 14134.048
AT ITER 2894 NEW BEST:: SOT 173437 SOS 130043 HAS SOPS 83134 HAS SOUS 14427 HAS SOUPS 13993 WITH SCORE 14123.043
AT ITER 2899 NEW BEST:: SOT 173447 SOS 130033 HAS SOPS 83138 HAS SOUS 14420 HAS SOUPS 13986 WITH SCORE 14116.033
AT ITER 2923 NEW BEST:: SOT 173441 SOS 130047 HAS SOPS 83126 HAS SOUS 14408 HAS SOUPS 13974 WITH SCORE 14104.047
AT ITER 2930 NEW BEST:: SOT 173441 SOS 130001 HAS SOPS 83080 HAS SOUS 14408 HAS SOUPS 13974 WITH SCORE 14104.001
AT ITER 2937 NEW BEST:: SOT 173458 SOS 130019 HAS SOPS 82985 HAS SOUS 14401 HAS SOUPS 13967 WITH SCORE 14097.019
AT ITER 2938 NEW BEST:: SOT 173456 SOS 130017 HAS SOPS 82981 HAS SOUS 14397 HAS SOUPS 13963 WITH SCORE 14093.017
AT ITER 2943 NEW BEST:: SOT 173452 SOS 130013 HAS SOPS 82973 HAS SOUS 14389 HAS SOUPS 13955 WITH SCORE 14085.013
AT ITER 2964 NEW BEST:: SOT 173452 SOS 130024 HAS SOPS 82973 HAS SOUS 14378 HAS SOUPS 13944 WITH SCORE 14074.024
AT ITER 2995 NEW BEST:: SOT 173415 SOS 129926 HAS SOPS 82899 HAS SOUS 14296 HAS SOUPS 13862 WITH SCORE 13991.926
AT ITER 3013 NEW BEST:: SOT 173413 SOS 129922 HAS SOPS 82895 HAS SOUS 14293 HAS SOUPS 13859 WITH SCORE 13988.922
AT ITER 3018 NEW BEST:: SOT 173406 SOS 129908 HAS SOPS 82881 HAS SOUS 14286 HAS SOUPS 13852 WITH SCORE 13981.908
AT ITER 3020 NEW BEST:: SOT 173416 SOS 129889 HAS SOPS 82873 HAS SOUS 14278 HAS SOUPS 13844 WITH SCORE 13973.889
AT ITER 3024 NEW BEST:: SOT 173357 SOS 129829 HAS SOPS 82813 HAS SOUS 14247 HAS SOUPS 13813 WITH SCORE 13942.829
AT ITER 3078 NEW BEST:: SOT 173355 SOS 129763 HAS SOPS 82747 HAS SOUS 14237 HAS SOUPS 13803 WITH SCORE 13932.763
AT ITER 3084 NEW BEST:: SOT 173305 SOS 129611 HAS SOPS 82595 HAS SOUS 14137 HAS SOUPS 13703 WITH SCORE 13832.611
AT ITER 3146 NEW BEST:: SOT 173301 SOS 129603 HAS SOPS 82587 HAS SOUS 14129 HAS SOUPS 13695 WITH SCORE 13824.603
AT ITER 3153 NEW BEST:: SOT 173301 SOS 129457 HAS SOPS 82445 HAS SOUS 14125 HAS SOUPS 13691 WITH SCORE 13820.457
AT ITER 3200 NEW BEST:: SOT 173281 SOS 129441 HAS SOPS 82419 HAS SOUS 14117 HAS SOUPS 13683 WITH SCORE 13812.441
AT ITER 3208 NEW BEST:: SOT 173281 SOS 129413 HAS SOPS 82405 HAS SOUS 14117 HAS SOUPS 13683 WITH SCORE 13812.413
AT ITER 3228 NEW BEST:: SOT 173293 SOS 129400 HAS SOPS 82383 HAS SOUS 14102 HAS SOUPS 13668 WITH SCORE 13797.4
AT ITER 3232 NEW BEST:: SOT 173288 SOS 129393 HAS SOPS 82376 HAS SOUS 14101 HAS SOUPS 13667 WITH SCORE 13796.393
AT ITER 3254 NEW BEST:: SOT 173288 SOS 129393 HAS SOPS 82376 HAS SOUS 14100 HAS SOUPS 13666 WITH SCORE 13795.393
AT ITER 3264 NEW BEST:: SOT 173274 SOS 129386 HAS SOPS 82362 HAS SOUS 14093 HAS SOUPS 13659 WITH SCORE 13788.386
AT ITER 3283 NEW BEST:: SOT 173270 SOS 129378 HAS SOPS 82342 HAS SOUS 14077 HAS SOUPS 13643 WITH SCORE 13772.378
AT ITER 3330 NEW BEST:: SOT 173269 SOS 129375 HAS SOPS 82338 HAS SOUS 14075 HAS SOUPS 13641 WITH SCORE 13770.375
AT ITER 3344 NEW BEST:: SOT 173260 SOS 129375 HAS SOPS 82329 HAS SOUS 14066 HAS SOUPS 13632 WITH SCORE 13761.375
AT ITER 3358 NEW BEST:: SOT 173256 SOS 129367 HAS SOPS 82317 HAS SOUS 14058 HAS SOUPS 13624 WITH SCORE 13753.367
AT ITER 3361 NEW BEST:: SOT 173250 SOS 129355 HAS SOPS 82302 HAS SOUS 14046 HAS SOUPS 13612 WITH SCORE 13741.355
AT ITER 3380 NEW BEST:: SOT 173232 SOS 129319 HAS SOPS 82266 HAS SOUS 14010 HAS SOUPS 13576 WITH SCORE 13705.319
AT ITER 3385 NEW BEST:: SOT 173231 SOS 129318 HAS SOPS 82264 HAS SOUS 14008 HAS SOUPS 13574 WITH SCORE 13703.318
AT ITER 3417 NEW BEST:: SOT 173231 SOS 129312 HAS SOPS 82258 HAS SOUS 14002 HAS SOUPS 13568 WITH SCORE 13697.312
AT ITER 3425 NEW BEST:: SOT 173227 SOS 129302 HAS SOPS 82246 HAS SOUS 13992 HAS SOUPS 13558 WITH SCORE 13687.302
AT ITER 3429 NEW BEST:: SOT 173159 SOS 129235 HAS SOPS 82217 HAS SOUS 13980 HAS SOUPS 13546 WITH SCORE 13675.235
AT ITER 3449 NEW BEST:: SOT 173120 SOS 129152 HAS SOPS 82139 HAS SOUS 13902 HAS SOUPS 13468 WITH SCORE 13597.152
AT ITER 3471 NEW BEST:: SOT 173120 SOS 129151 HAS SOPS 82139 HAS SOUS 13902 HAS SOUPS 13468 WITH SCORE 13597.151
AT ITER 3498 NEW BEST:: SOT 173110 SOS 129131 HAS SOPS 82114 HAS SOUS 13882 HAS SOUPS 13448 WITH SCORE 13577.131
AT ITER 3499 NEW BEST:: SOT 173108 SOS 129129 HAS SOPS 82110 HAS SOUS 13878 HAS SOUPS 13444 WITH SCORE 13573.129
AT ITER 3514 NEW BEST:: SOT 173107 SOS 129129 HAS SOPS 82109 HAS SOUS 13877 HAS SOUPS 13443 WITH SCORE 13572.129
AT ITER 3516 NEW BEST:: SOT 173106 SOS 129128 HAS SOPS 82107 HAS SOUS 13875 HAS SOUPS 13441 WITH SCORE 13570.128
AT ITER 3537 NEW BEST:: SOT 173097 SOS 129124 HAS SOPS 82099 HAS SOUS 13867 HAS SOUPS 13433 WITH SCORE 13562.124
AT ITER 3590 NEW BEST:: SOT 173098 SOS 129159 HAS SOPS 82101 HAS SOUS 13864 HAS SOUPS 13430 WITH SCORE 13559.159
AT ITER 3619 NEW BEST:: SOT 173073 SOS 131548 HAS SOPS 82071 HAS SOUS 13864 HAS SOUPS 13425 WITH SCORE 13556.548
AT ITER 3645 NEW BEST:: SOT 173078 SOS 131537 HAS SOPS 82081 HAS SOUS 13850 HAS SOUPS 13411 WITH SCORE 13542.537
AT ITER 3660 NEW BEST:: SOT 173067 SOS 131507 HAS SOPS 82059 HAS SOUS 13846 HAS SOUPS 13407 WITH SCORE 13538.507
AT ITER 3689 NEW BEST:: SOT 173092 SOS 131529 HAS SOPS 82037 HAS SOUS 13833 HAS SOUPS 13394 WITH SCORE 13525.529
AT ITER 3693 NEW BEST:: SOT 173086 SOS 131520 HAS SOPS 82025 HAS SOUS 13827 HAS SOUPS 13388 WITH SCORE 13519.52
AT ITER 3714 NEW BEST:: SOT 173087 SOS 131533 HAS SOPS 82027 HAS SOUS 13817 HAS SOUPS 13378 WITH SCORE 13509.533
AT ITER 3717 NEW BEST:: SOT 173069 SOS 131524 HAS SOPS 82000 HAS SOUS 13790 HAS SOUPS 13351 WITH SCORE 13482.524
AT ITER 3745 NEW BEST:: SOT 173065 SOS 131516 HAS SOPS 81990 HAS SOUS 13782 HAS SOUPS 13343 WITH SCORE 13474.516
AT ITER 3746 NEW BEST:: SOT 173026 SOS 131457 HAS SOPS 81912 HAS SOUS 13724 HAS SOUPS 13285 WITH SCORE 13416.457
AT ITER 3790 NEW BEST:: SOT 173055 SOS 131485 HAS SOPS 81910 HAS SOUS 13722 HAS SOUPS 13283 WITH SCORE 13414.485
AT ITER 3818 NEW BEST:: SOT 173026 SOS 131459 HAS SOPS 81852 HAS SOUS 13661 HAS SOUPS 13222 WITH SCORE 13353.459
AT ITER 3841 NEW BEST:: SOT 173024 SOS 131455 HAS SOPS 81848 HAS SOUS 13657 HAS SOUPS 13218 WITH SCORE 13349.455
AT ITER 3845 NEW BEST:: SOT 173012 SOS 131421 HAS SOPS 81824 HAS SOUS 13633 HAS SOUPS 13194 WITH SCORE 13325.421
AT ITER 3857 NEW BEST:: SOT 172971 SOS 131367 HAS SOPS 81770 HAS SOUS 13587 HAS SOUPS 13148 WITH SCORE 13279.367
AT ITER 3872 NEW BEST:: SOT 172975 SOS 131187 HAS SOPS 81346 HAS SOUS 13551 HAS SOUPS 13112 WITH SCORE 13243.187
AT ITER 3874 NEW BEST:: SOT 172881 SOS 131093 HAS SOPS 81345 HAS SOUS 13549 HAS SOUPS 13111 WITH SCORE 13242.093
AT ITER 3877 NEW BEST:: SOT 172881 SOS 131093 HAS SOPS 81345 HAS SOUS 13545 HAS SOUPS 13107 WITH SCORE 13238.093
AT ITER 3903 NEW BEST:: SOT 172882 SOS 131105 HAS SOPS 81347 HAS SOUS 13538 HAS SOUPS 13100 WITH SCORE 13231.105
AT ITER 3907 NEW BEST:: SOT 172879 SOS 131099 HAS SOPS 81341 HAS SOUS 13533 HAS SOUPS 13095 WITH SCORE 13226.099
AT ITER 3938 NEW BEST:: SOT 172879 SOS 131091 HAS SOPS 81333 HAS SOUS 13525 HAS SOUPS 13087 WITH SCORE 13218.091
AT ITER 3944 NEW BEST:: SOT 172871 SOS 131091 HAS SOPS 81325 HAS SOUS 13517 HAS SOUPS 13079 WITH SCORE 13210.091
AT ITER 3954 NEW BEST:: SOT 172873 SOS 131093 HAS SOPS 81295 HAS SOUS 13457 HAS SOUPS 13019 WITH SCORE 13150.093
AT ITER 4024 NEW BEST:: SOT 172873 SOS 131092 HAS SOPS 81294 HAS SOUS 13457 HAS SOUPS 13019 WITH SCORE 13150.092
AT ITER 4059 NEW BEST:: SOT 172870 SOS 131090 HAS SOPS 81288 HAS SOUS 13450 HAS SOUPS 13012 WITH SCORE 13143.09
AT ITER 4060 NEW BEST:: SOT 172862 SOS 131074 HAS SOPS 81272 HAS SOUS 13442 HAS SOUPS 13004 WITH SCORE 13135.074
AT ITER 4062 NEW BEST:: SOT 172854 SOS 131062 HAS SOPS 81256 HAS SOUS 13430 HAS SOUPS 12992 WITH SCORE 13123.062
AT ITER 4113 NEW BEST:: SOT 172852 SOS 131051 HAS SOPS 81252 HAS SOUS 13426 HAS SOUPS 12988 WITH SCORE 13119.051
AT ITER 4118 NEW BEST:: SOT 172854 SOS 131049 HAS SOPS 81251 HAS SOUS 13419 HAS SOUPS 12981 WITH SCORE 13112.049
AT ITER 4183 NEW BEST:: SOT 172854 SOS 131062 HAS SOPS 81251 HAS SOUS 13413 HAS SOUPS 12975 WITH SCORE 13106.062
AT ITER 4200 NEW BEST:: SOT 172838 SOS 131074 HAS SOPS 81241 HAS SOUS 13397 HAS SOUPS 12959 WITH SCORE 13090.074
AT ITER 4207 NEW BEST:: SOT 172829 SOS 131056 HAS SOPS 81223 HAS SOUS 13373 HAS SOUPS 12935 WITH SCORE 13066.056
AT ITER 4222 NEW BEST:: SOT 172811 SOS 131038 HAS SOPS 81187 HAS SOUS 13337 HAS SOUPS 12899 WITH SCORE 13030.038
AT ITER 4230 NEW BEST:: SOT 172817 SOS 131042 HAS SOPS 81189 HAS SOUS 13331 HAS SOUPS 12893 WITH SCORE 13024.042
AT ITER 4250 NEW BEST:: SOT 172802 SOS 131024 HAS SOPS 81165 HAS SOUS 13310 HAS SOUPS 12872 WITH SCORE 13003.024
AT ITER 4265 NEW BEST:: SOT 172863 SOS 129868 HAS SOPS 79621 HAS SOUS 13261 HAS SOUPS 12823 WITH SCORE 12952.868
AT ITER 4266 NEW BEST:: SOT 172839 SOS 129820 HAS SOPS 79573 HAS SOUS 13208 HAS SOUPS 12770 WITH SCORE 12899.82
AT ITER 4271 NEW BEST:: SOT 172867 SOS 129797 HAS SOPS 79558 HAS SOUS 13187 HAS SOUPS 12749 WITH SCORE 12878.797
AT ITER 4297 NEW BEST:: SOT 172865 SOS 129790 HAS SOPS 79554 HAS SOUS 13183 HAS SOUPS 12745 WITH SCORE 12874.79
AT ITER 4321 NEW BEST:: SOT 172905 SOS 129825 HAS SOPS 79537 HAS SOUS 13141 HAS SOUPS 12703 WITH SCORE 12832.825
AT ITER 4388 NEW BEST:: SOT 172907 SOS 129811 HAS SOPS 79523 HAS SOUS 13125 HAS SOUPS 12687 WITH SCORE 12816.811
AT ITER 4438 NEW BEST:: SOT 172863 SOS 129767 HAS SOPS 79475 HAS SOUS 13117 HAS SOUPS 12679 WITH SCORE 12808.767
AT ITER 4462 NEW BEST:: SOT 172857 SOS 129761 HAS SOPS 79466 HAS SOUS 13108 HAS SOUPS 12670 WITH SCORE 12799.761
AT ITER 4471 NEW BEST:: SOT 172856 SOS 129758 HAS SOPS 79464 HAS SOUS 13106 HAS SOUPS 12668 WITH SCORE 12797.758
AT ITER 4487 NEW BEST:: SOT 172855 SOS 129757 HAS SOPS 79462 HAS SOUS 13104 HAS SOUPS 12666 WITH SCORE 12795.757
AT ITER 4497 NEW BEST:: SOT 172742 SOS 129649 HAS SOPS 79486 HAS SOUS 13095 HAS SOUPS 12657 WITH SCORE 12786.649
AT ITER 4506 NEW BEST:: SOT 172728 SOS 129607 HAS SOPS 79426 HAS SOUS 13059 HAS SOUPS 12621 WITH SCORE 12750.607
AT ITER 4581 NEW BEST:: SOT 172719 SOS 129582 HAS SOPS 79408 HAS SOUS 13057 HAS SOUPS 12619 WITH SCORE 12748.582
AT ITER 4615 NEW BEST:: SOT 172719 SOS 129579 HAS SOPS 79405 HAS SOUS 13051 HAS SOUPS 12613 WITH SCORE 12742.579
AT ITER 4621 NEW BEST:: SOT 172719 SOS 129551 HAS SOPS 79391 HAS SOUS 13037 HAS SOUPS 12599 WITH SCORE 12728.551
AT ITER 4624 NEW BEST:: SOT 172706 SOS 129521 HAS SOPS 79358 HAS SOUS 13014 HAS SOUPS 12576 WITH SCORE 12705.521
AT ITER 4636 NEW BEST:: SOT 172705 SOS 129520 HAS SOPS 79356 HAS SOUS 13012 HAS SOUPS 12574 WITH SCORE 12703.52
AT ITER 4716 NEW BEST:: SOT 172703 SOS 129507 HAS SOPS 79352 HAS SOUS 13008 HAS SOUPS 12570 WITH SCORE 12699.507
AT ITER 4732 NEW BEST:: SOT 172701 SOS 129503 HAS SOPS 79346 HAS SOUS 13002 HAS SOUPS 12564 WITH SCORE 12693.503
AT ITER 4747 NEW BEST:: SOT 172699 SOS 129483 HAS SOPS 79333 HAS SOUS 12998 HAS SOUPS 12560 WITH SCORE 12689.483
AT ITER 4777 NEW BEST:: SOT 172689 SOS 129473 HAS SOPS 79318 HAS SOUS 12983 HAS SOUPS 12545 WITH SCORE 12674.473
AT ITER 4778 NEW BEST:: SOT 172690 SOS 129483 HAS SOPS 79320 HAS SOUS 12977 HAS SOUPS 12539 WITH SCORE 12668.483
AT ITER 4848 NEW BEST:: SOT 172688 SOS 129479 HAS SOPS 79316 HAS SOUS 12976 HAS SOUPS 12538 WITH SCORE 12667.479
AT ITER 4868 NEW BEST:: SOT 172685 SOS 129481 HAS SOPS 79315 HAS SOUS 12975 HAS SOUPS 12537 WITH SCORE 12666.481
AT ITER 4881 NEW BEST:: SOT 172683 SOS 129477 HAS SOPS 79311 HAS SOUS 12969 HAS SOUPS 12531 WITH SCORE 12660.477
AT ITER 4897 NEW BEST:: SOT 172691 SOS 129493 HAS SOPS 79310 HAS SOUS 12964 HAS SOUPS 12526 WITH SCORE 12655.493
AT ITER 4903 NEW BEST:: SOT 172686 SOS 129493 HAS SOPS 79305 HAS SOUS 12959 HAS SOUPS 12521 WITH SCORE 12650.493
AT ITER 4947 NEW BEST:: SOT 172797 SOS 129606 HAS SOPS 79357 HAS SOUS 12941 HAS SOUPS 12503 WITH SCORE 12632.606
AT ITER 4948 NEW BEST:: SOT 172796 SOS 129604 HAS SOPS 79355 HAS SOUS 12940 HAS SOUPS 12502 WITH SCORE 12631.604
AT ITER 4952 NEW BEST:: SOT 172776 SOS 129594 HAS SOPS 79335 HAS SOUS 12930 HAS SOUPS 12492 WITH SCORE 12621.594
AT ITER 4965 NEW BEST:: SOT 172803 SOS 129622 HAS SOPS 79099 HAS SOUS 12894 HAS SOUPS 12456 WITH SCORE 12585.622
AT ITER 4979 NEW BEST:: SOT 172802 SOS 129622 HAS SOPS 79098 HAS SOUS 12893 HAS SOUPS 12455 WITH SCORE 12584.622
AT ITER 5037 NEW BEST:: SOT 172775 SOS 129617 HAS SOPS 79071 HAS SOUS 12866 HAS SOUPS 12428 WITH SCORE 12557.617
AT ITER 5055 NEW BEST:: SOT 172752 SOS 129615 HAS SOPS 79047 HAS SOUS 12840 HAS SOUPS 12402 WITH SCORE 12531.615
AT ITER 5133 NEW BEST:: SOT 172752 SOS 129555 HAS SOPS 78987 HAS SOUS 12780 HAS SOUPS 12342 WITH SCORE 12471.555
AT ITER 5161 NEW BEST:: SOT 172750 SOS 129539 HAS SOPS 78976 HAS SOUS 12776 HAS SOUPS 12338 WITH SCORE 12467.539
AT ITER 5171 NEW BEST:: SOT 172730 SOS 129509 HAS SOPS 78936 HAS SOUS 12736 HAS SOUPS 12298 WITH SCORE 12427.509
AT ITER 5232 NEW BEST:: SOT 172731 SOS 129486 HAS SOPS 78920 HAS SOUS 12721 HAS SOUPS 12283 WITH SCORE 12412.486
AT ITER 5250 NEW BEST:: SOT 172706 SOS 129436 HAS SOPS 78870 HAS SOUS 12696 HAS SOUPS 12258 WITH SCORE 12387.436
AT ITER 5280 NEW BEST:: SOT 172656 SOS 129338 HAS SOPS 78770 HAS SOUS 12606 HAS SOUPS 12168 WITH SCORE 12297.338
AT ITER 5302 NEW BEST:: SOT 172650 SOS 129332 HAS SOPS 78758 HAS SOUS 12594 HAS SOUPS 12156 WITH SCORE 12285.332
AT ITER 5323 NEW BEST:: SOT 172650 SOS 129331 HAS SOPS 78757 HAS SOUS 12594 HAS SOUPS 12156 WITH SCORE 12285.331
AT ITER 5376 NEW BEST:: SOT 172650 SOS 129319 HAS SOPS 78745 HAS SOUS 12594 HAS SOUPS 12156 WITH SCORE 12285.319
AT ITER 5398 NEW BEST:: SOT 172654 SOS 129121 HAS SOPS 78547 HAS SOUS 12590 HAS SOUPS 12152 WITH SCORE 12281.121
AT ITER 5404 NEW BEST:: SOT 172653 SOS 129119 HAS SOPS 78545 HAS SOUS 12589 HAS SOUPS 12151 WITH SCORE 12280.119
AT ITER 5417 NEW BEST:: SOT 172643 SOS 129109 HAS SOPS 78525 HAS SOUS 12569 HAS SOUPS 12131 WITH SCORE 12260.109
AT ITER 5421 NEW BEST:: SOT 172642 SOS 129719 HAS SOPS 78452 HAS SOUS 12567 HAS SOUPS 12128 WITH SCORE 12257.719
AT ITER 5429 NEW BEST:: SOT 172644 SOS 129716 HAS SOPS 78451 HAS SOUS 12566 HAS SOUPS 12127 WITH SCORE 12256.716
AT ITER 5491 NEW BEST:: SOT 172633 SOS 129714 HAS SOPS 78443 HAS SOUS 12558 HAS SOUPS 12119 WITH SCORE 12248.714
AT ITER 5495 NEW BEST:: SOT 172622 SOS 129711 HAS SOPS 78441 HAS SOUS 12553 HAS SOUPS 12114 WITH SCORE 12243.711
AT ITER 5544 NEW BEST:: SOT 172620 SOS 129715 HAS SOPS 78441 HAS SOUS 12551 HAS SOUPS 12112 WITH SCORE 12241.715
AT ITER 5566 NEW BEST:: SOT 172618 SOS 129659 HAS SOPS 78383 HAS SOUS 12547 HAS SOUPS 12108 WITH SCORE 12237.659
AT ITER 5587 NEW BEST:: SOT 172608 SOS 129645 HAS SOPS 78363 HAS SOUS 12533 HAS SOUPS 12094 WITH SCORE 12223.645
AT ITER 5599 NEW BEST:: SOT 172603 SOS 129663 HAS SOPS 78367 HAS SOUS 12523 HAS SOUPS 12084 WITH SCORE 12213.663
AT ITER 5641 NEW BEST:: SOT 172581 SOS 129641 HAS SOPS 78323 HAS SOUS 12479 HAS SOUPS 12040 WITH SCORE 12169.641
AT ITER 5645 NEW BEST:: SOT 172534 SOS 129641 HAS SOPS 78276 HAS SOUS 12432 HAS SOUPS 11993 WITH SCORE 12122.641
AT ITER 5658 NEW BEST:: SOT 172530 SOS 129633 HAS SOPS 78264 HAS SOUS 12420 HAS SOUPS 11981 WITH SCORE 12110.633
AT ITER 5667 NEW BEST:: SOT 172518 SOS 130180 HAS SOPS 78811 HAS SOUS 12416 HAS SOUPS 11977 WITH SCORE 12107.18
AT ITER 5677 NEW BEST:: SOT 172516 SOS 130178 HAS SOPS 78809 HAS SOUS 12414 HAS SOUPS 11975 WITH SCORE 12105.178
AT ITER 5678 NEW BEST:: SOT 172486 SOS 130148 HAS SOPS 78778 HAS SOUS 12398 HAS SOUPS 11959 WITH SCORE 12089.148
AT ITER 5685 NEW BEST:: SOT 172457 SOS 130119 HAS SOPS 78720 HAS SOUS 12340 HAS SOUPS 11901 WITH SCORE 12031.119
AT ITER 5773 NEW BEST:: SOT 172457 SOS 130116 HAS SOPS 78717 HAS SOUS 12337 HAS SOUPS 11898 WITH SCORE 12028.116
AT ITER 5774 NEW BEST:: SOT 172441 SOS 130089 HAS SOPS 78685 HAS SOUS 12305 HAS SOUPS 11866 WITH SCORE 11996.089
AT ITER 5826 NEW BEST:: SOT 172424 SOS 130076 HAS SOPS 78672 HAS SOUS 12300 HAS SOUPS 11861 WITH SCORE 11991.076
AT ITER 5857 NEW BEST:: SOT 172427 SOS 130098 HAS SOPS 78678 HAS SOUS 12297 HAS SOUPS 11858 WITH SCORE 11988.098
AT ITER 5870 NEW BEST:: SOT 172423 SOS 130092 HAS SOPS 78670 HAS SOUS 12288 HAS SOUPS 11849 WITH SCORE 11979.092
AT ITER 5878 NEW BEST:: SOT 172383 SOS 130089 HAS SOPS 78648 HAS SOUS 12267 HAS SOUPS 11828 WITH SCORE 11958.089
AT ITER 5892 NEW BEST:: SOT 172370 SOS 130075 HAS SOPS 78635 HAS SOUS 12253 HAS SOUPS 11814 WITH SCORE 11944.075
AT ITER 5924 NEW BEST:: SOT 172370 SOS 130272 HAS SOPS 78634 HAS SOUS 12254 HAS SOUPS 11813 WITH SCORE 11943.272
AT ITER 5939 NEW BEST:: SOT 172369 SOS 130271 HAS SOPS 78632 HAS SOUS 12252 HAS SOUPS 11811 WITH SCORE 11941.271
AT ITER 5991 NEW BEST:: SOT 172350 SOS 130247 HAS SOPS 78611 HAS SOUS 12231 HAS SOUPS 11790 WITH SCORE 11920.247
AT ITER 6009 NEW BEST:: SOT 172350 SOS 130250 HAS SOPS 78611 HAS SOUS 12228 HAS SOUPS 11787 WITH SCORE 11917.25
AT ITER 6021 NEW BEST:: SOT 172342 SOS 130242 HAS SOPS 78595 HAS SOUS 12212 HAS SOUPS 11771 WITH SCORE 11901.242
AT ITER 6026 NEW BEST:: SOT 172342 SOS 130239 HAS SOPS 78595 HAS SOUS 12212 HAS SOUPS 11771 WITH SCORE 11901.239
AT ITER 6038 NEW BEST:: SOT 172377 SOS 130271 HAS SOPS 78495 HAS SOUS 12188 HAS SOUPS 11747 WITH SCORE 11877.271
AT ITER 6039 NEW BEST:: SOT 172376 SOS 130266 HAS SOPS 78491 HAS SOUS 12186 HAS SOUPS 11745 WITH SCORE 11875.266
AT ITER 6055 NEW BEST:: SOT 172361 SOS 130251 HAS SOPS 78469 HAS SOUS 12172 HAS SOUPS 11731 WITH SCORE 11861.251
AT ITER 6060 NEW BEST:: SOT 172361 SOS 130252 HAS SOPS 78460 HAS SOUS 12158 HAS SOUPS 11717 WITH SCORE 11847.252
AT ITER 6080 NEW BEST:: SOT 172360 SOS 130251 HAS SOPS 78397 HAS SOUS 12150 HAS SOUPS 11709 WITH SCORE 11839.251
AT ITER 6121 NEW BEST:: SOT 172355 SOS 130258 HAS SOPS 78387 HAS SOUS 12128 HAS SOUPS 11687 WITH SCORE 11817.258
AT ITER 6182 NEW BEST:: SOT 172359 SOS 130255 HAS SOPS 78384 HAS SOUS 12125 HAS SOUPS 11684 WITH SCORE 11814.255
AT ITER 6201 NEW BEST:: SOT 172356 SOS 130245 HAS SOPS 78378 HAS SOUS 12125 HAS SOUPS 11684 WITH SCORE 11814.245
AT ITER 6249 NEW BEST:: SOT 172357 SOS 130239 HAS SOPS 78365 HAS SOUS 12113 HAS SOUPS 11670 WITH SCORE 11800.239
AT ITER 6278 NEW BEST:: SOT 172354 SOS 130231 HAS SOPS 78359 HAS SOUS 12107 HAS SOUPS 11664 WITH SCORE 11794.231
AT ITER 6303 NEW BEST:: SOT 172350 SOS 130216 HAS SOPS 78351 HAS SOUS 12101 HAS SOUPS 11658 WITH SCORE 11788.216
AT ITER 6351 NEW BEST:: SOT 172346 SOS 130206 HAS SOPS 78343 HAS SOUS 12093 HAS SOUPS 11652 WITH SCORE 11782.206
AT ITER 6379 NEW BEST:: SOT 172345 SOS 130205 HAS SOPS 78342 HAS SOUS 12093 HAS SOUPS 11652 WITH SCORE 11782.205
AT ITER 6396 NEW BEST:: SOT 172345 SOS 130208 HAS SOPS 78342 HAS SOUS 12090 HAS SOUPS 11649 WITH SCORE 11779.208
AT ITER 6407 NEW BEST:: SOT 172337 SOS 130192 HAS SOPS 78326 HAS SOUS 12078 HAS SOUPS 11637 WITH SCORE 11767.192
AT ITER 6409 NEW BEST:: SOT 172336 SOS 130187 HAS SOPS 78319 HAS SOUS 12071 HAS SOUPS 11630 WITH SCORE 11760.187
AT ITER 6441 NEW BEST:: SOT 172275 SOS 130125 HAS SOPS 78273 HAS SOUS 12069 HAS SOUPS 11628 WITH SCORE 11758.125
AT ITER 6445 NEW BEST:: SOT 172275 SOS 130117 HAS SOPS 78265 HAS SOUS 12061 HAS SOUPS 11620 WITH SCORE 11750.117
AT ITER 6489 NEW BEST:: SOT 172278 SOS 130120 HAS SOPS 78267 HAS SOUS 12059 HAS SOUPS 11618 WITH SCORE 11748.12
AT ITER 6496 NEW BEST:: SOT 172259 SOS 130106 HAS SOPS 78258 HAS SOUS 12040 HAS SOUPS 11599 WITH SCORE 11729.106
AT ITER 6502 NEW BEST:: SOT 172257 SOS 130106 HAS SOPS 78254 HAS SOUS 12036 HAS SOUPS 11595 WITH SCORE 11725.106
AT ITER 6510 NEW BEST:: SOT 172257 SOS 130102 HAS SOPS 78252 HAS SOUS 12036 HAS SOUPS 11595 WITH SCORE 11725.102
AT ITER 6565 NEW BEST:: SOT 172307 SOS 130149 HAS SOPS 78154 HAS SOUS 12022 HAS SOUPS 11581 WITH SCORE 11711.149
AT ITER 6572 NEW BEST:: SOT 172307 SOS 130127 HAS SOPS 78154 HAS SOUS 12022 HAS SOUPS 11581 WITH SCORE 11711.127
AT ITER 6583 NEW BEST:: SOT 172305 SOS 130123 HAS SOPS 78150 HAS SOUS 12020 HAS SOUPS 11579 WITH SCORE 11709.123
AT ITER 6609 NEW BEST:: SOT 172301 SOS 130122 HAS SOPS 78142 HAS SOUS 12017 HAS SOUPS 11576 WITH SCORE 11706.122
AT ITER 6643 NEW BEST:: SOT 172307 SOS 130123 HAS SOPS 78141 HAS SOUS 12016 HAS SOUPS 11575 WITH SCORE 11705.123
AT ITER 6733 NEW BEST:: SOT 172309 SOS 130127 HAS SOPS 78145 HAS SOUS 12014 HAS SOUPS 11573 WITH SCORE 11703.127
AT ITER 6755 NEW BEST:: SOT 172307 SOS 130125 HAS SOPS 78141 HAS SOUS 12010 HAS SOUPS 11569 WITH SCORE 11699.125
AT ITER 6819 NEW BEST:: SOT 172304 SOS 130124 HAS SOPS 78135 HAS SOUS 12004 HAS SOUPS 11563 WITH SCORE 11693.124
AT ITER 6835 NEW BEST:: SOT 172303 SOS 130123 HAS SOPS 78133 HAS SOUS 12002 HAS SOUPS 11561 WITH SCORE 11691.123
AT ITER 6851 NEW BEST:: SOT 172319 SOS 130123 HAS SOPS 78137 HAS SOUS 11993 HAS SOUPS 11552 WITH SCORE 11682.123
AT ITER 6909 NEW BEST:: SOT 172302 SOS 130107 HAS SOPS 78109 HAS SOUS 11976 HAS SOUPS 11535 WITH SCORE 11665.107
AT ITER 6952 NEW BEST:: SOT 172292 SOS 130089 HAS SOPS 78089 HAS SOUS 11952 HAS SOUPS 11511 WITH SCORE 11641.089
AT ITER 6964 NEW BEST:: SOT 172290 SOS 130083 HAS SOPS 78083 HAS SOUS 11948 HAS SOUPS 11507 WITH SCORE 11637.083
AT ITER 6967 NEW BEST:: SOT 172264 SOS 130070 HAS SOPS 78066 HAS SOUS 11944 HAS SOUPS 11503 WITH SCORE 11633.07
AT ITER 7044 NEW BEST:: SOT 172311 SOS 130085 HAS SOPS 78096 HAS SOUS 11942 HAS SOUPS 11501 WITH SCORE 11631.085
AT ITER 7090 NEW BEST:: SOT 172304 SOS 130078 HAS SOPS 78082 HAS SOUS 11928 HAS SOUPS 11487 WITH SCORE 11617.078
AT ITER 7092 NEW BEST:: SOT 172304 SOS 130077 HAS SOPS 78081 HAS SOUS 11927 HAS SOUPS 11486 WITH SCORE 11616.077
AT ITER 7104 NEW BEST:: SOT 172294 SOS 130062 HAS SOPS 78066 HAS SOUS 11912 HAS SOUPS 11471 WITH SCORE 11601.062
AT ITER 7133 NEW BEST:: SOT 172287 SOS 130006 HAS SOPS 78052 HAS SOUS 11898 HAS SOUPS 11457 WITH SCORE 11587.006
AT ITER 7157 NEW BEST:: SOT 172289 SOS 130011 HAS SOPS 78056 HAS SOUS 11897 HAS SOUPS 11456 WITH SCORE 11586.011
AT ITER 7166 NEW BEST:: SOT 172282 SOS 129977 HAS SOPS 78042 HAS SOUS 11896 HAS SOUPS 11455 WITH SCORE 11584.977
AT ITER 7210 NEW BEST:: SOT 172282 SOS 129955 HAS SOPS 78020 HAS SOUS 11874 HAS SOUPS 11433 WITH SCORE 11562.955
AT ITER 7227 NEW BEST:: SOT 172282 SOS 129957 HAS SOPS 78020 HAS SOUS 11872 HAS SOUPS 11431 WITH SCORE 11560.957
AT ITER 7248 NEW BEST:: SOT 172221 SOS 129897 HAS SOPS 77974 HAS SOUS 11868 HAS SOUPS 11427 WITH SCORE 11556.897
AT ITER 7271 NEW BEST:: SOT 172225 SOS 129895 HAS SOPS 77956 HAS SOUS 11837 HAS SOUPS 11396 WITH SCORE 11525.895
AT ITER 7342 NEW BEST:: SOT 172228 SOS 129901 HAS SOPS 77962 HAS SOUS 11832 HAS SOUPS 11391 WITH SCORE 11520.901
AT ITER 7343 NEW BEST:: SOT 172218 SOS 129891 HAS SOPS 77956 HAS SOUS 11826 HAS SOUPS 11385 WITH SCORE 11514.891
AT ITER 7409 NEW BEST:: SOT 172221 SOS 129885 HAS SOPS 77947 HAS SOUS 11815 HAS SOUPS 11374 WITH SCORE 11503.885
AT ITER 7471 NEW BEST:: SOT 172219 SOS 129883 HAS SOPS 77943 HAS SOUS 11812 HAS SOUPS 11371 WITH SCORE 11500.883
AT ITER 7473 NEW BEST:: SOT 172217 SOS 129879 HAS SOPS 77939 HAS SOUS 11810 HAS SOUPS 11369 WITH SCORE 11498.879
AT ITER 7509 NEW BEST:: SOT 172087 SOS 129749 HAS SOPS 77819 HAS SOUS 11779 HAS SOUPS 11338 WITH SCORE 11467.749
AT ITER 7522 NEW BEST:: SOT 172088 SOS 129748 HAS SOPS 77820 HAS SOUS 11779 HAS SOUPS 11338 WITH SCORE 11467.748
AT ITER 7592 NEW BEST:: SOT 172080 SOS 129748 HAS SOPS 77812 HAS SOUS 11771 HAS SOUPS 11330 WITH SCORE 11459.748
AT ITER 7617 NEW BEST:: SOT 172077 SOS 129739 HAS SOPS 77803 HAS SOUS 11765 HAS SOUPS 11324 WITH SCORE 11453.739
AT ITER 7635 NEW BEST:: SOT 172137 SOS 129799 HAS SOPS 77802 HAS SOUS 11770 HAS SOUPS 11323 WITH SCORE 11452.799
AT ITER 7743 NEW BEST:: SOT 172128 SOS 129800 HAS SOPS 77794 HAS SOUS 11762 HAS SOUPS 11315 WITH SCORE 11444.8
AT ITER 7795 NEW BEST:: SOT 172099 SOS 129771 HAS SOPS 77765 HAS SOUS 11762 HAS SOUPS 11315 WITH SCORE 11444.771
AT ITER 7804 NEW BEST:: SOT 172085 SOS 129743 HAS SOPS 77737 HAS SOUS 11748 HAS SOUPS 11301 WITH SCORE 11430.743
AT ITER 7818 NEW BEST:: SOT 172094 SOS 129737 HAS SOPS 77741 HAS SOUS 11740 HAS SOUPS 11293 WITH SCORE 11422.737
AT ITER 7892 NEW BEST:: SOT 172091 SOS 129735 HAS SOPS 77735 HAS SOUS 11737 HAS SOUPS 11290 WITH SCORE 11419.735
AT ITER 7893 NEW BEST:: SOT 172080 SOS 129713 HAS SOPS 77702 HAS SOUS 11704 HAS SOUPS 11257 WITH SCORE 11386.713
AT ITER 7923 NEW BEST:: SOT 172073 SOS 129716 HAS SOPS 77696 HAS SOUS 11696 HAS SOUPS 11249 WITH SCORE 11378.716
AT ITER 8086 NEW BEST:: SOT 172065 SOS 129702 HAS SOPS 77680 HAS SOUS 11684 HAS SOUPS 11237 WITH SCORE 11366.702
AT ITER 8087 NEW BEST:: SOT 172065 SOS 129701 HAS SOPS 77679 HAS SOUS 11683 HAS SOUPS 11236 WITH SCORE 11365.701
AT ITER 8149 NEW BEST:: SOT 172035 SOS 129638 HAS SOPS 77619 HAS SOUS 11660 HAS SOUPS 11213 WITH SCORE 11342.638
AT ITER 8192 NEW BEST:: SOT 172031 SOS 129650 HAS SOPS 77611 HAS SOUS 11654 HAS SOUPS 11207 WITH SCORE 11336.65
AT ITER 8244 NEW BEST:: SOT 172027 SOS 128965 HAS SOPS 76940 HAS SOUS 11647 HAS SOUPS 11200 WITH SCORE 11328.965
AT ITER 8263 NEW BEST:: SOT 172029 SOS 128966 HAS SOPS 76941 HAS SOUS 11646 HAS SOUPS 11199 WITH SCORE 11327.966
AT ITER 8292 NEW BEST:: SOT 172022 SOS 128959 HAS SOPS 76934 HAS SOUS 11646 HAS SOUPS 11199 WITH SCORE 11327.959
AT ITER 8328 NEW BEST:: SOT 172021 SOS 128958 HAS SOPS 76933 HAS SOUS 11645 HAS SOUPS 11198 WITH SCORE 11326.958
AT ITER 8342 NEW BEST:: SOT 172019 SOS 128955 HAS SOPS 76929 HAS SOUS 11641 HAS SOUPS 11194 WITH SCORE 11322.955
AT ITER 8343 NEW BEST:: SOT 172017 SOS 128953 HAS SOPS 76925 HAS SOUS 11635 HAS SOUPS 11188 WITH SCORE 11316.953
AT ITER 8435 NEW BEST:: SOT 172012 SOS 128927 HAS SOPS 76915 HAS SOUS 11625 HAS SOUPS 11178 WITH SCORE 11306.927
AT ITER 8437 NEW BEST:: SOT 172012 SOS 128917 HAS SOPS 76905 HAS SOUS 11615 HAS SOUPS 11168 WITH SCORE 11296.917
AT ITER 8609 NEW BEST:: SOT 172007 SOS 128912 HAS SOPS 76895 HAS SOUS 11608 HAS SOUPS 11161 WITH SCORE 11289.912
AT ITER 8675 NEW BEST:: SOT 172007 SOS 128924 HAS SOPS 76895 HAS SOUS 11606 HAS SOUPS 11159 WITH SCORE 11287.924
AT ITER 8678 NEW BEST:: SOT 172003 SOS 128920 HAS SOPS 76889 HAS SOUS 11600 HAS SOUPS 11153 WITH SCORE 11281.92
AT ITER 8685 NEW BEST:: SOT 172005 SOS 128890 HAS SOPS 76872 HAS SOUS 11594 HAS SOUPS 11147 WITH SCORE 11275.89
AT ITER 8699 NEW BEST:: SOT 172001 SOS 128886 HAS SOPS 76868 HAS SOUS 11591 HAS SOUPS 11144 WITH SCORE 11272.886
AT ITER 8821 NEW BEST:: SOT 172001 SOS 128886 HAS SOPS 76867 HAS SOUS 11590 HAS SOUPS 11143 WITH SCORE 11271.886
AT ITER 8839 NEW BEST:: SOT 171998 SOS 128886 HAS SOPS 76864 HAS SOUS 11587 HAS SOUPS 11140 WITH SCORE 11268.886
AT ITER 8861 NEW BEST:: SOT 172005 SOS 128886 HAS SOPS 76857 HAS SOUS 11580 HAS SOUPS 11133 WITH SCORE 11261.886
AT ITER 8977 NEW BEST:: SOT 172005 SOS 128883 HAS SOPS 76854 HAS SOUS 11580 HAS SOUPS 11133 WITH SCORE 11261.883
AT ITER 9047 NEW BEST:: SOT 172004 SOS 128883 HAS SOPS 76853 HAS SOUS 11579 HAS SOUPS 11132 WITH SCORE 11260.883
AT ITER 9051 NEW BEST:: SOT 172004 SOS 128873 HAS SOPS 76843 HAS SOUS 11569 HAS SOUPS 11122 WITH SCORE 11250.873
AT ITER 9074 NEW BEST:: SOT 171994 SOS 128858 HAS SOPS 76823 HAS SOUS 11554 HAS SOUPS 11107 WITH SCORE 11235.858
AT ITER 9122 NEW BEST:: SOT 171980 SOS 128847 HAS SOPS 76812 HAS SOUS 11540 HAS SOUPS 11093 WITH SCORE 11221.847
AT ITER 9185 NEW BEST:: SOT 171970 SOS 128847 HAS SOPS 76802 HAS SOUS 11530 HAS SOUPS 11083 WITH SCORE 11211.847
AT ITER 9234 NEW BEST:: SOT 171967 SOS 128847 HAS SOPS 76796 HAS SOUS 11518 HAS SOUPS 11071 WITH SCORE 11199.847
AT ITER 9279 NEW BEST:: SOT 171964 SOS 128840 HAS SOPS 76788 HAS SOUS 11512 HAS SOUPS 11065 WITH SCORE 11193.84
AT ITER 9314 NEW BEST:: SOT 171962 SOS 128838 HAS SOPS 76784 HAS SOUS 11508 HAS SOUPS 11061 WITH SCORE 11189.838
AT ITER 9343 NEW BEST:: SOT 171960 SOS 128834 HAS SOPS 76780 HAS SOUS 11506 HAS SOUPS 11059 WITH SCORE 11187.834
AT ITER 9407 NEW BEST:: SOT 171965 SOS 128825 HAS SOPS 76776 HAS SOUS 11502 HAS SOUPS 11055 WITH SCORE 11183.825
AT ITER 9408 NEW BEST:: SOT 171964 SOS 128824 HAS SOPS 76774 HAS SOUS 11501 HAS SOUPS 11054 WITH SCORE 11182.824
AT ITER 9459 NEW BEST:: SOT 171964 SOS 128783 HAS SOPS 76774 HAS SOUS 11501 HAS SOUPS 11054 WITH SCORE 11182.783
AT ITER 9553 NEW BEST:: SOT 171960 SOS 128775 HAS SOPS 76764 HAS SOUS 11491 HAS SOUPS 11044 WITH SCORE 11172.775
AT ITER 9679 NEW BEST:: SOT 171950 SOS 128772 HAS SOPS 76750 HAS SOUS 11481 HAS SOUPS 11034 WITH SCORE 11162.772
AT ITER 9698 NEW BEST:: SOT 171949 SOS 128771 HAS SOPS 76748 HAS SOUS 11479 HAS SOUPS 11032 WITH SCORE 11160.771
AT ITER 9782 NEW BEST:: SOT 171948 SOS 128769 HAS SOPS 76746 HAS SOUS 11478 HAS SOUPS 11031 WITH SCORE 11159.769
AT ITER 9827 NEW BEST:: SOT 171953 SOS 128786 HAS SOPS 76756 HAS SOUS 11476 HAS SOUPS 11029 WITH SCORE 11157.786
AT ITER 9839 NEW BEST:: SOT 171931 SOS 128714 HAS SOPS 76687 HAS SOUS 11432 HAS SOUPS 10985 WITH SCORE 11113.714
AT ITER 9933 NEW BEST:: SOT 171927 SOS 128714 HAS SOPS 76683 HAS SOUS 11424 HAS SOUPS 10977 WITH SCORE 11105.714
AT ITER 9984 NEW BEST:: SOT 171925 SOS 128710 HAS SOPS 76677 HAS SOUS 11418 HAS SOUPS 10971 WITH SCORE 11099.71
STATE_SPACE STATES 3833759992447475122177 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 22 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 128164726414181564153857 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679483367359

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FlexibleBarrier-PT-20a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is FlexibleBarrier-PT-20a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r171-tall-167838858800576"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-20a.tgz
mv FlexibleBarrier-PT-20a 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 ;