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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 540K
-rw-r--r-- 1 mcc users 7.5K Feb 25 17:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 25 17:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 17:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 17:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:57 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:57 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:57 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:57 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.7K Feb 25 18:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 25 18:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 25 17:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 17:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:57 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:57 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 159K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679560848965

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=ShieldIIPt-PT-030A
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 08:40:52] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 08:40:52] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 08:40:52] [INFO ] Load time of PNML (sax parser for PT used): 116 ms
[2023-03-23 08:40:52] [INFO ] Transformed 573 places.
[2023-03-23 08:40:52] [INFO ] Transformed 423 transitions.
[2023-03-23 08:40:52] [INFO ] Found NUPN structural information;
[2023-03-23 08:40:52] [INFO ] Parsed PT model containing 573 places and 423 transitions and 1806 arcs in 293 ms.
[2023-03-23 08:40:52] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 573 places, 423 transitions and 1806 arcs took 6 ms.
Total runtime 349 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPt (PT), instance 030A
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: 573 places, 423 transitions, 1806 arcs.
AT ITER 0 NEW BEST:: SOT 193864 SOS 163732 HAS SOPS 163732 HAS SOUS 143675 HAS SOUPS 143675 WITH SCORE 143838.732
AT ITER 1 NEW BEST:: SOT 193340 SOS 162926 HAS SOPS 162926 HAS SOUS 143119 HAS SOUPS 143119 WITH SCORE 143281.926
AT ITER 2 NEW BEST:: SOT 193340 SOS 162664 HAS SOPS 162664 HAS SOUS 143060 HAS SOUPS 143060 WITH SCORE 143222.664
AT ITER 5 NEW BEST:: SOT 193216 SOS 162540 HAS SOPS 162540 HAS SOUS 142874 HAS SOUPS 142874 WITH SCORE 143036.54
AT ITER 6 NEW BEST:: SOT 193097 SOS 162411 HAS SOPS 162411 HAS SOUS 142788 HAS SOUPS 142788 WITH SCORE 142950.411
AT ITER 7 NEW BEST:: SOT 193097 SOS 162096 HAS SOPS 162096 HAS SOUS 142682 HAS SOUPS 142682 WITH SCORE 142844.096
AT ITER 9 NEW BEST:: SOT 193097 SOS 161883 HAS SOPS 161883 HAS SOUS 142681 HAS SOUPS 142681 WITH SCORE 142842.883
AT ITER 10 NEW BEST:: SOT 193097 SOS 161908 HAS SOPS 161908 HAS SOUS 142654 HAS SOUPS 142654 WITH SCORE 142815.908
AT ITER 12 NEW BEST:: SOT 192898 SOS 161707 HAS SOPS 161707 HAS SOUS 142453 HAS SOUPS 142453 WITH SCORE 142614.707
AT ITER 13 NEW BEST:: SOT 192898 SOS 161541 HAS SOPS 161541 HAS SOUS 142369 HAS SOUPS 142369 WITH SCORE 142530.541
AT ITER 14 NEW BEST:: SOT 192898 SOS 161268 HAS SOPS 161268 HAS SOUS 142070 HAS SOUPS 142070 WITH SCORE 142231.268
AT ITER 15 NEW BEST:: SOT 192653 SOS 161023 HAS SOPS 161023 HAS SOUS 141710 HAS SOUPS 141710 WITH SCORE 141871.023
AT ITER 16 NEW BEST:: SOT 192523 SOS 160893 HAS SOPS 160893 HAS SOUS 141476 HAS SOUPS 141476 WITH SCORE 141636.893
AT ITER 19 NEW BEST:: SOT 192316 SOS 160686 HAS SOPS 160686 HAS SOUS 141226 HAS SOUPS 141226 WITH SCORE 141386.686
AT ITER 22 NEW BEST:: SOT 192003 SOS 160413 HAS SOPS 160413 HAS SOUS 140857 HAS SOUPS 140857 WITH SCORE 141017.413
AT ITER 25 NEW BEST:: SOT 191551 SOS 159475 HAS SOPS 159475 HAS SOUS 140036 HAS SOUPS 140036 WITH SCORE 140195.475
AT ITER 27 NEW BEST:: SOT 191639 SOS 158881 HAS SOPS 158881 HAS SOUS 139884 HAS SOUPS 139884 WITH SCORE 140042.881
AT ITER 28 NEW BEST:: SOT 191332 SOS 158573 HAS SOPS 158573 HAS SOUS 139662 HAS SOUPS 139662 WITH SCORE 139820.573
AT ITER 29 NEW BEST:: SOT 191420 SOS 158061 HAS SOPS 158061 HAS SOUS 139354 HAS SOUPS 139354 WITH SCORE 139512.061
AT ITER 30 NEW BEST:: SOT 191420 SOS 157694 HAS SOPS 157694 HAS SOUS 138816 HAS SOUPS 138816 WITH SCORE 138973.694
AT ITER 32 NEW BEST:: SOT 191194 SOS 157468 HAS SOPS 157468 HAS SOUS 138599 HAS SOUPS 138599 WITH SCORE 138756.468
AT ITER 33 NEW BEST:: SOT 191123 SOS 157397 HAS SOPS 157397 HAS SOUS 138528 HAS SOUPS 138528 WITH SCORE 138685.397
AT ITER 34 NEW BEST:: SOT 191123 SOS 157168 HAS SOPS 157168 HAS SOUS 138260 HAS SOUPS 138260 WITH SCORE 138417.168
AT ITER 35 NEW BEST:: SOT 190976 SOS 157021 HAS SOPS 157021 HAS SOUS 138068 HAS SOUPS 138068 WITH SCORE 138225.021
AT ITER 36 NEW BEST:: SOT 190826 SOS 156869 HAS SOPS 156869 HAS SOUS 137916 HAS SOUPS 137916 WITH SCORE 138072.869
AT ITER 37 NEW BEST:: SOT 190826 SOS 156609 HAS SOPS 156609 HAS SOUS 137863 HAS SOUPS 137863 WITH SCORE 138019.609
AT ITER 38 NEW BEST:: SOT 190619 SOS 156402 HAS SOPS 156402 HAS SOUS 137806 HAS SOUPS 137806 WITH SCORE 137962.402
AT ITER 40 NEW BEST:: SOT 190361 SOS 155954 HAS SOPS 155954 HAS SOUS 137422 HAS SOUPS 137422 WITH SCORE 137577.954
AT ITER 42 NEW BEST:: SOT 189950 SOS 154895 HAS SOPS 154895 HAS SOUS 136640 HAS SOUPS 136640 WITH SCORE 136794.895
AT ITER 43 NEW BEST:: SOT 189695 SOS 154728 HAS SOPS 154728 HAS SOUS 136410 HAS SOUPS 136410 WITH SCORE 136564.728
AT ITER 44 NEW BEST:: SOT 189698 SOS 154168 HAS SOPS 154168 HAS SOUS 136155 HAS SOUPS 136155 WITH SCORE 136309.168
AT ITER 45 NEW BEST:: SOT 189698 SOS 154168 HAS SOPS 154168 HAS SOUS 136154 HAS SOUPS 136154 WITH SCORE 136308.168
AT ITER 46 NEW BEST:: SOT 189409 SOS 153879 HAS SOPS 153879 HAS SOUS 135830 HAS SOUPS 135830 WITH SCORE 135983.879
AT ITER 48 NEW BEST:: SOT 189409 SOS 153925 HAS SOPS 153925 HAS SOUS 135824 HAS SOUPS 135824 WITH SCORE 135977.925
AT ITER 52 NEW BEST:: SOT 189409 SOS 153979 HAS SOPS 153979 HAS SOUS 135780 HAS SOUPS 135780 WITH SCORE 135933.979
AT ITER 53 NEW BEST:: SOT 189139 SOS 153709 HAS SOPS 153709 HAS SOUS 135676 HAS SOUPS 135676 WITH SCORE 135829.709
AT ITER 55 NEW BEST:: SOT 188878 SOS 152794 HAS SOPS 152794 HAS SOUS 134956 HAS SOUPS 134956 WITH SCORE 135108.794
AT ITER 56 NEW BEST:: SOT 188642 SOS 152558 HAS SOPS 152558 HAS SOUS 134617 HAS SOUPS 134617 WITH SCORE 134769.558
AT ITER 57 NEW BEST:: SOT 188628 SOS 152427 HAS SOPS 152427 HAS SOUS 134558 HAS SOUPS 134558 WITH SCORE 134710.427
AT ITER 60 NEW BEST:: SOT 188299 SOS 152108 HAS SOPS 152108 HAS SOUS 133984 HAS SOUPS 133984 WITH SCORE 134136.108
AT ITER 62 NEW BEST:: SOT 188299 SOS 152167 HAS SOPS 152167 HAS SOUS 133955 HAS SOUPS 133955 WITH SCORE 134107.167
AT ITER 64 NEW BEST:: SOT 188154 SOS 152020 HAS SOPS 152020 HAS SOUS 133808 HAS SOUPS 133808 WITH SCORE 133960.02
AT ITER 68 NEW BEST:: SOT 187710 SOS 151276 HAS SOPS 151276 HAS SOUS 133334 HAS SOUPS 133334 WITH SCORE 133485.276
AT ITER 69 NEW BEST:: SOT 187781 SOS 150860 HAS SOPS 150860 HAS SOUS 133092 HAS SOUPS 133092 WITH SCORE 133242.86
AT ITER 71 NEW BEST:: SOT 187781 SOS 150949 HAS SOPS 150949 HAS SOUS 133001 HAS SOUPS 133001 WITH SCORE 133151.949
AT ITER 72 NEW BEST:: SOT 187781 SOS 150731 HAS SOPS 150731 HAS SOUS 133001 HAS SOUPS 133001 WITH SCORE 133151.731
AT ITER 73 NEW BEST:: SOT 187773 SOS 150555 HAS SOPS 150555 HAS SOUS 132979 HAS SOUPS 132979 WITH SCORE 133129.555
AT ITER 74 NEW BEST:: SOT 187604 SOS 150384 HAS SOPS 150384 HAS SOUS 132808 HAS SOUPS 132808 WITH SCORE 132958.384
AT ITER 75 NEW BEST:: SOT 187294 SOS 150074 HAS SOPS 150074 HAS SOUS 132392 HAS SOUPS 132392 WITH SCORE 132542.074
AT ITER 76 NEW BEST:: SOT 187122 SOS 149902 HAS SOPS 149902 HAS SOUS 132218 HAS SOUPS 132218 WITH SCORE 132367.902
AT ITER 78 NEW BEST:: SOT 187122 SOS 149934 HAS SOPS 149934 HAS SOUS 132202 HAS SOUPS 132202 WITH SCORE 132351.934
AT ITER 79 NEW BEST:: SOT 187122 SOS 149597 HAS SOPS 149597 HAS SOUS 132051 HAS SOUPS 132051 WITH SCORE 132200.597
AT ITER 80 NEW BEST:: SOT 186816 SOS 148813 HAS SOPS 148813 HAS SOUS 131567 HAS SOUPS 131567 WITH SCORE 131715.813
AT ITER 82 NEW BEST:: SOT 186568 SOS 148565 HAS SOPS 148565 HAS SOUS 131196 HAS SOUPS 131196 WITH SCORE 131344.565
AT ITER 83 NEW BEST:: SOT 186644 SOS 148075 HAS SOPS 148075 HAS SOUS 131013 HAS SOUPS 131013 WITH SCORE 131161.075
AT ITER 85 NEW BEST:: SOT 186388 SOS 147714 HAS SOPS 147714 HAS SOUS 130506 HAS SOUPS 130506 WITH SCORE 130653.714
AT ITER 87 NEW BEST:: SOT 186133 SOS 146614 HAS SOPS 146614 HAS SOUS 130006 HAS SOUPS 130006 WITH SCORE 130152.614
AT ITER 88 NEW BEST:: SOT 185964 SOS 146445 HAS SOPS 146445 HAS SOUS 129837 HAS SOUPS 129837 WITH SCORE 129983.445
AT ITER 89 NEW BEST:: SOT 185964 SOS 146403 HAS SOPS 146403 HAS SOUS 129823 HAS SOUPS 129823 WITH SCORE 129969.403
AT ITER 92 NEW BEST:: SOT 185913 SOS 146352 HAS SOPS 146352 HAS SOUS 129772 HAS SOUPS 129772 WITH SCORE 129918.352
AT ITER 94 NEW BEST:: SOT 185821 SOS 146260 HAS SOPS 146260 HAS SOUS 129680 HAS SOUPS 129680 WITH SCORE 129826.26
AT ITER 95 NEW BEST:: SOT 185676 SOS 145198 HAS SOPS 145198 HAS SOUS 129160 HAS SOUPS 129160 WITH SCORE 129305.198
AT ITER 96 NEW BEST:: SOT 185572 SOS 145094 HAS SOPS 145094 HAS SOUS 129101 HAS SOUPS 129101 WITH SCORE 129246.094
AT ITER 99 NEW BEST:: SOT 185445 SOS 144967 HAS SOPS 144967 HAS SOUS 128974 HAS SOUPS 128974 WITH SCORE 129118.967
AT ITER 100 NEW BEST:: SOT 185444 SOS 144612 HAS SOPS 144612 HAS SOUS 128590 HAS SOUPS 128590 WITH SCORE 128734.612
AT ITER 102 NEW BEST:: SOT 185085 SOS 144253 HAS SOPS 144253 HAS SOUS 128341 HAS SOUPS 128341 WITH SCORE 128485.253
AT ITER 103 NEW BEST:: SOT 184971 SOS 144139 HAS SOPS 144139 HAS SOUS 128256 HAS SOUPS 128256 WITH SCORE 128400.139
AT ITER 104 NEW BEST:: SOT 184867 SOS 143397 HAS SOPS 143397 HAS SOUS 127573 HAS SOUPS 127573 WITH SCORE 127716.397
AT ITER 105 NEW BEST:: SOT 184710 SOS 143240 HAS SOPS 143240 HAS SOUS 127416 HAS SOUPS 127416 WITH SCORE 127559.24
AT ITER 106 NEW BEST:: SOT 184307 SOS 142248 HAS SOPS 142248 HAS SOUS 126697 HAS SOUPS 126697 WITH SCORE 126839.248
AT ITER 107 NEW BEST:: SOT 184070 SOS 142011 HAS SOPS 142011 HAS SOUS 126460 HAS SOUPS 126460 WITH SCORE 126602.011
AT ITER 108 NEW BEST:: SOT 183978 SOS 141919 HAS SOPS 141919 HAS SOUS 126368 HAS SOUPS 126368 WITH SCORE 126509.919
AT ITER 109 NEW BEST:: SOT 183644 SOS 141585 HAS SOPS 141585 HAS SOUS 126089 HAS SOUPS 126089 WITH SCORE 126230.585
AT ITER 112 NEW BEST:: SOT 183464 SOS 141459 HAS SOPS 141459 HAS SOUS 125963 HAS SOUPS 125963 WITH SCORE 126104.459
AT ITER 113 NEW BEST:: SOT 183450 SOS 141432 HAS SOPS 141432 HAS SOUS 125936 HAS SOUPS 125936 WITH SCORE 126077.432
AT ITER 116 NEW BEST:: SOT 183450 SOS 141470 HAS SOPS 141470 HAS SOUS 125890 HAS SOUPS 125890 WITH SCORE 126031.47
AT ITER 119 NEW BEST:: SOT 183450 SOS 141382 HAS SOPS 141382 HAS SOUS 125802 HAS SOUPS 125802 WITH SCORE 125943.382
AT ITER 122 NEW BEST:: SOT 183507 SOS 140962 HAS SOPS 140962 HAS SOUS 125554 HAS SOUPS 125554 WITH SCORE 125694.962
AT ITER 123 NEW BEST:: SOT 183507 SOS 140801 HAS SOPS 140801 HAS SOUS 125386 HAS SOUPS 125386 WITH SCORE 125526.801
AT ITER 125 NEW BEST:: SOT 183505 SOS 140336 HAS SOPS 140336 HAS SOUS 125060 HAS SOUPS 125060 WITH SCORE 125200.336
AT ITER 126 NEW BEST:: SOT 183181 SOS 140012 HAS SOPS 140012 HAS SOUS 124736 HAS SOUPS 124736 WITH SCORE 124876.012
AT ITER 127 NEW BEST:: SOT 182793 SOS 139409 HAS SOPS 139409 HAS SOUS 124219 HAS SOUPS 124219 WITH SCORE 124358.409
AT ITER 129 NEW BEST:: SOT 182625 SOS 139241 HAS SOPS 139241 HAS SOUS 124051 HAS SOUPS 124051 WITH SCORE 124190.241
AT ITER 133 NEW BEST:: SOT 182445 SOS 139061 HAS SOPS 139061 HAS SOUS 123781 HAS SOUPS 123781 WITH SCORE 123920.061
AT ITER 134 NEW BEST:: SOT 182445 SOS 139046 HAS SOPS 139046 HAS SOUS 123781 HAS SOUPS 123781 WITH SCORE 123920.046
AT ITER 136 NEW BEST:: SOT 182364 SOS 138884 HAS SOPS 138884 HAS SOUS 123700 HAS SOUPS 123700 WITH SCORE 123838.884
AT ITER 142 NEW BEST:: SOT 182036 SOS 138593 HAS SOPS 138593 HAS SOUS 123313 HAS SOUPS 123313 WITH SCORE 123451.593
AT ITER 144 NEW BEST:: SOT 181977 SOS 137828 HAS SOPS 137828 HAS SOUS 122868 HAS SOUPS 122868 WITH SCORE 123005.828
AT ITER 146 NEW BEST:: SOT 181766 SOS 137435 HAS SOPS 137435 HAS SOUS 122538 HAS SOUPS 122538 WITH SCORE 122675.435
AT ITER 147 NEW BEST:: SOT 181677 SOS 137346 HAS SOPS 137346 HAS SOUS 122501 HAS SOUPS 122501 WITH SCORE 122638.346
AT ITER 148 NEW BEST:: SOT 181666 SOS 137324 HAS SOPS 137324 HAS SOUS 122479 HAS SOUPS 122479 WITH SCORE 122616.324
AT ITER 154 NEW BEST:: SOT 181249 SOS 136905 HAS SOPS 136905 HAS SOUS 122103 HAS SOUPS 122103 WITH SCORE 122239.905
AT ITER 155 NEW BEST:: SOT 181284 SOS 136940 HAS SOPS 136940 HAS SOUS 121963 HAS SOUPS 121963 WITH SCORE 122099.94
AT ITER 156 NEW BEST:: SOT 181227 SOS 136883 HAS SOPS 136883 HAS SOUS 121906 HAS SOUPS 121906 WITH SCORE 122042.883
AT ITER 157 NEW BEST:: SOT 181081 SOS 136737 HAS SOPS 136737 HAS SOUS 121687 HAS SOUPS 121687 WITH SCORE 121823.737
AT ITER 159 NEW BEST:: SOT 181081 SOS 136726 HAS SOPS 136726 HAS SOUS 121676 HAS SOUPS 121676 WITH SCORE 121812.726
AT ITER 161 NEW BEST:: SOT 180688 SOS 135910 HAS SOPS 135910 HAS SOUS 120999 HAS SOUPS 120999 WITH SCORE 121134.91
AT ITER 162 NEW BEST:: SOT 180675 SOS 135897 HAS SOPS 135897 HAS SOUS 120999 HAS SOUPS 120999 WITH SCORE 121134.897
AT ITER 163 NEW BEST:: SOT 180543 SOS 135764 HAS SOPS 135764 HAS SOUS 120823 HAS SOUPS 120823 WITH SCORE 120958.764
AT ITER 165 NEW BEST:: SOT 180186 SOS 135407 HAS SOPS 135407 HAS SOUS 120466 HAS SOUPS 120466 WITH SCORE 120601.407
AT ITER 169 NEW BEST:: SOT 180186 SOS 135078 HAS SOPS 135078 HAS SOUS 120405 HAS SOUPS 120405 WITH SCORE 120540.078
AT ITER 170 NEW BEST:: SOT 179859 SOS 133914 HAS SOPS 133914 HAS SOUS 119912 HAS SOUPS 119912 WITH SCORE 120045.914
AT ITER 172 NEW BEST:: SOT 179799 SOS 133854 HAS SOPS 133854 HAS SOUS 119852 HAS SOUPS 119852 WITH SCORE 119985.854
AT ITER 175 NEW BEST:: SOT 179799 SOS 133977 HAS SOPS 133977 HAS SOUS 119809 HAS SOUPS 119809 WITH SCORE 119942.977
AT ITER 176 NEW BEST:: SOT 179675 SOS 133479 HAS SOPS 133479 HAS SOUS 119438 HAS SOUPS 119438 WITH SCORE 119571.479
AT ITER 177 NEW BEST:: SOT 179556 SOS 133241 HAS SOPS 133241 HAS SOUS 119216 HAS SOUPS 119216 WITH SCORE 119349.241
AT ITER 180 NEW BEST:: SOT 179372 SOS 133158 HAS SOPS 133158 HAS SOUS 119133 HAS SOUPS 119133 WITH SCORE 119266.158
AT ITER 184 NEW BEST:: SOT 179257 SOS 133043 HAS SOPS 133043 HAS SOUS 119018 HAS SOUPS 119018 WITH SCORE 119151.043
AT ITER 187 NEW BEST:: SOT 178929 SOS 132715 HAS SOPS 132715 HAS SOUS 118705 HAS SOUPS 118705 WITH SCORE 118837.715
AT ITER 188 NEW BEST:: SOT 178682 SOS 132468 HAS SOPS 132468 HAS SOUS 118456 HAS SOUPS 118456 WITH SCORE 118588.468
AT ITER 190 NEW BEST:: SOT 178984 SOS 132486 HAS SOPS 132486 HAS SOUS 118372 HAS SOUPS 118372 WITH SCORE 118504.486
AT ITER 192 NEW BEST:: SOT 178885 SOS 132387 HAS SOPS 132387 HAS SOUS 118273 HAS SOUPS 118273 WITH SCORE 118405.387
AT ITER 193 NEW BEST:: SOT 178618 SOS 131598 HAS SOPS 131598 HAS SOUS 117735 HAS SOUPS 117735 WITH SCORE 117866.598
AT ITER 195 NEW BEST:: SOT 178618 SOS 131598 HAS SOPS 131598 HAS SOUS 117615 HAS SOUPS 117615 WITH SCORE 117746.598
AT ITER 196 NEW BEST:: SOT 178564 SOS 131383 HAS SOPS 131383 HAS SOUS 117578 HAS SOUPS 117578 WITH SCORE 117709.383
AT ITER 197 NEW BEST:: SOT 178534 SOS 131197 HAS SOPS 131197 HAS SOUS 117411 HAS SOUPS 117411 WITH SCORE 117542.197
AT ITER 199 NEW BEST:: SOT 178515 SOS 131178 HAS SOPS 131178 HAS SOUS 117392 HAS SOUPS 117392 WITH SCORE 117523.178
AT ITER 208 NEW BEST:: SOT 178261 SOS 130924 HAS SOPS 130924 HAS SOUS 117136 HAS SOUPS 117136 WITH SCORE 117266.924
AT ITER 210 NEW BEST:: SOT 178175 SOS 130836 HAS SOPS 130836 HAS SOUS 117048 HAS SOUPS 117048 WITH SCORE 117178.836
AT ITER 213 NEW BEST:: SOT 177773 SOS 129975 HAS SOPS 129975 HAS SOUS 116646 HAS SOUPS 116646 WITH SCORE 116775.975
AT ITER 214 NEW BEST:: SOT 177916 SOS 129403 HAS SOPS 129403 HAS SOUS 116483 HAS SOUPS 116483 WITH SCORE 116612.403
AT ITER 216 NEW BEST:: SOT 177916 SOS 129371 HAS SOPS 129371 HAS SOUS 116467 HAS SOUPS 116467 WITH SCORE 116596.371
AT ITER 217 NEW BEST:: SOT 177677 SOS 128315 HAS SOPS 128315 HAS SOUS 116026 HAS SOUPS 116026 WITH SCORE 116154.315
AT ITER 219 NEW BEST:: SOT 177352 SOS 127990 HAS SOPS 127990 HAS SOUS 115563 HAS SOUPS 115563 WITH SCORE 115690.99
AT ITER 220 NEW BEST:: SOT 177352 SOS 128086 HAS SOPS 128086 HAS SOUS 115457 HAS SOUPS 115457 WITH SCORE 115585.086
AT ITER 226 NEW BEST:: SOT 177352 SOS 128057 HAS SOPS 128057 HAS SOUS 115399 HAS SOUPS 115399 WITH SCORE 115527.057
AT ITER 227 NEW BEST:: SOT 177352 SOS 127869 HAS SOPS 127869 HAS SOUS 115399 HAS SOUPS 115399 WITH SCORE 115526.869
AT ITER 231 NEW BEST:: SOT 177179 SOS 127422 HAS SOPS 127422 HAS SOUS 115025 HAS SOUPS 115025 WITH SCORE 115152.422
AT ITER 234 NEW BEST:: SOT 177153 SOS 127082 HAS SOPS 127082 HAS SOUS 114783 HAS SOUPS 114783 WITH SCORE 114910.082
AT ITER 235 NEW BEST:: SOT 177040 SOS 126969 HAS SOPS 126969 HAS SOUS 114670 HAS SOUPS 114670 WITH SCORE 114796.969
AT ITER 242 NEW BEST:: SOT 176878 SOS 126815 HAS SOPS 126815 HAS SOUS 114516 HAS SOUPS 114516 WITH SCORE 114642.815
AT ITER 243 NEW BEST:: SOT 176763 SOS 126811 HAS SOPS 126811 HAS SOUS 114442 HAS SOUPS 114442 WITH SCORE 114568.811
AT ITER 245 NEW BEST:: SOT 176708 SOS 126756 HAS SOPS 126756 HAS SOUS 114387 HAS SOUPS 114387 WITH SCORE 114513.756
AT ITER 246 NEW BEST:: SOT 176634 SOS 126634 HAS SOPS 126634 HAS SOUS 114265 HAS SOUPS 114265 WITH SCORE 114391.634
AT ITER 248 NEW BEST:: SOT 176592 SOS 126424 HAS SOPS 126424 HAS SOUS 114181 HAS SOUPS 114181 WITH SCORE 114307.424
AT ITER 250 NEW BEST:: SOT 176592 SOS 126424 HAS SOPS 126424 HAS SOUS 114179 HAS SOUPS 114179 WITH SCORE 114305.424
AT ITER 251 NEW BEST:: SOT 176643 SOS 126164 HAS SOPS 126164 HAS SOUS 114125 HAS SOUPS 114125 WITH SCORE 114251.164
AT ITER 252 NEW BEST:: SOT 176643 SOS 126146 HAS SOPS 126146 HAS SOUS 114125 HAS SOUPS 114125 WITH SCORE 114251.146
AT ITER 255 NEW BEST:: SOT 176501 SOS 125829 HAS SOPS 125829 HAS SOUS 113859 HAS SOUPS 113859 WITH SCORE 113984.829
AT ITER 260 NEW BEST:: SOT 176147 SOS 125465 HAS SOPS 125465 HAS SOUS 113731 HAS SOUPS 113731 WITH SCORE 113856.465
AT ITER 262 NEW BEST:: SOT 176104 SOS 125336 HAS SOPS 125336 HAS SOUS 113688 HAS SOUPS 113688 WITH SCORE 113813.336
AT ITER 266 NEW BEST:: SOT 176104 SOS 125355 HAS SOPS 125355 HAS SOUS 113534 HAS SOUPS 113534 WITH SCORE 113659.355
AT ITER 272 NEW BEST:: SOT 176104 SOS 125355 HAS SOPS 125355 HAS SOUS 113485 HAS SOUPS 113485 WITH SCORE 113610.355
AT ITER 274 NEW BEST:: SOT 175898 SOS 125149 HAS SOPS 125149 HAS SOUS 113288 HAS SOUPS 113288 WITH SCORE 113413.149
AT ITER 277 NEW BEST:: SOT 175618 SOS 124779 HAS SOPS 124779 HAS SOUS 112918 HAS SOUPS 112918 WITH SCORE 113042.779
AT ITER 279 NEW BEST:: SOT 175517 SOS 124630 HAS SOPS 124630 HAS SOUS 112902 HAS SOUPS 112902 WITH SCORE 113026.63
AT ITER 280 NEW BEST:: SOT 175410 SOS 124244 HAS SOPS 124244 HAS SOUS 112627 HAS SOUPS 112627 WITH SCORE 112751.244
AT ITER 281 NEW BEST:: SOT 175335 SOS 124169 HAS SOPS 124169 HAS SOUS 112552 HAS SOUPS 112552 WITH SCORE 112676.169
AT ITER 283 NEW BEST:: SOT 175335 SOS 124169 HAS SOPS 124169 HAS SOUS 112319 HAS SOUPS 112319 WITH SCORE 112443.169
AT ITER 284 NEW BEST:: SOT 175176 SOS 123746 HAS SOPS 123746 HAS SOUS 112007 HAS SOUPS 112007 WITH SCORE 112130.746
AT ITER 285 NEW BEST:: SOT 175166 SOS 123518 HAS SOPS 123518 HAS SOUS 111884 HAS SOUPS 111884 WITH SCORE 112007.518
AT ITER 286 NEW BEST:: SOT 175162 SOS 123458 HAS SOPS 123458 HAS SOUS 111876 HAS SOUPS 111876 WITH SCORE 111999.458
AT ITER 289 NEW BEST:: SOT 175162 SOS 123348 HAS SOPS 123348 HAS SOUS 111828 HAS SOUPS 111828 WITH SCORE 111951.348
AT ITER 294 NEW BEST:: SOT 175022 SOS 123053 HAS SOPS 123053 HAS SOUS 111530 HAS SOUPS 111530 WITH SCORE 111653.053
AT ITER 295 NEW BEST:: SOT 174932 SOS 122897 HAS SOPS 122897 HAS SOUS 111445 HAS SOUPS 111445 WITH SCORE 111567.897
AT ITER 296 NEW BEST:: SOT 174701 SOS 122666 HAS SOPS 122666 HAS SOUS 111214 HAS SOUPS 111214 WITH SCORE 111336.666
AT ITER 297 NEW BEST:: SOT 174555 SOS 122226 HAS SOPS 122226 HAS SOUS 110976 HAS SOUPS 110976 WITH SCORE 111098.226
AT ITER 298 NEW BEST:: SOT 174555 SOS 121871 HAS SOPS 121871 HAS SOUS 110871 HAS SOUPS 110871 WITH SCORE 110992.871
AT ITER 303 NEW BEST:: SOT 174554 SOS 121429 HAS SOPS 121429 HAS SOUS 110603 HAS SOUPS 110603 WITH SCORE 110724.429
AT ITER 306 NEW BEST:: SOT 174222 SOS 120414 HAS SOPS 120414 HAS SOUS 109961 HAS SOUPS 109961 WITH SCORE 110081.414
AT ITER 307 NEW BEST:: SOT 174222 SOS 120140 HAS SOPS 120140 HAS SOUS 109753 HAS SOUPS 109753 WITH SCORE 109873.14
AT ITER 308 NEW BEST:: SOT 174222 SOS 120138 HAS SOPS 120138 HAS SOUS 109751 HAS SOUPS 109751 WITH SCORE 109871.138
AT ITER 310 NEW BEST:: SOT 174070 SOS 119848 HAS SOPS 119848 HAS SOUS 109693 HAS SOUPS 109693 WITH SCORE 109812.848
AT ITER 313 NEW BEST:: SOT 174119 SOS 119808 HAS SOPS 119808 HAS SOUS 109685 HAS SOUPS 109685 WITH SCORE 109804.808
AT ITER 318 NEW BEST:: SOT 174060 SOS 119749 HAS SOPS 119749 HAS SOUS 109626 HAS SOUPS 109626 WITH SCORE 109745.749
AT ITER 322 NEW BEST:: SOT 174099 SOS 119588 HAS SOPS 119588 HAS SOUS 109621 HAS SOUPS 109621 WITH SCORE 109740.588
AT ITER 323 NEW BEST:: SOT 173743 SOS 119232 HAS SOPS 119232 HAS SOUS 109196 HAS SOUPS 109196 WITH SCORE 109315.232
AT ITER 327 NEW BEST:: SOT 173644 SOS 119133 HAS SOPS 119133 HAS SOUS 109056 HAS SOUPS 109056 WITH SCORE 109175.133
AT ITER 333 NEW BEST:: SOT 173355 SOS 118506 HAS SOPS 118506 HAS SOUS 108510 HAS SOUPS 108510 WITH SCORE 108628.506
AT ITER 335 NEW BEST:: SOT 173286 SOS 118368 HAS SOPS 118368 HAS SOUS 108333 HAS SOUPS 108333 WITH SCORE 108451.368
AT ITER 336 NEW BEST:: SOT 173198 SOS 118280 HAS SOPS 118280 HAS SOUS 108245 HAS SOUPS 108245 WITH SCORE 108363.28
AT ITER 347 NEW BEST:: SOT 173169 SOS 118251 HAS SOPS 118251 HAS SOUS 108216 HAS SOUPS 108216 WITH SCORE 108334.251
AT ITER 348 NEW BEST:: SOT 172935 SOS 117992 HAS SOPS 117992 HAS SOUS 107957 HAS SOUPS 107957 WITH SCORE 108074.992
AT ITER 353 NEW BEST:: SOT 172975 SOS 117905 HAS SOPS 117905 HAS SOUS 107864 HAS SOUPS 107864 WITH SCORE 107981.905
AT ITER 355 NEW BEST:: SOT 172728 SOS 117712 HAS SOPS 117712 HAS SOUS 107705 HAS SOUPS 107705 WITH SCORE 107822.712
AT ITER 356 NEW BEST:: SOT 172748 SOS 117282 HAS SOPS 117282 HAS SOUS 107521 HAS SOUPS 107521 WITH SCORE 107638.282
AT ITER 358 NEW BEST:: SOT 172845 SOS 117184 HAS SOPS 117184 HAS SOUS 107489 HAS SOUPS 107489 WITH SCORE 107606.184
AT ITER 360 NEW BEST:: SOT 172826 SOS 117040 HAS SOPS 117040 HAS SOUS 107332 HAS SOUPS 107332 WITH SCORE 107449.04
AT ITER 361 NEW BEST:: SOT 172522 SOS 116432 HAS SOPS 116432 HAS SOUS 106816 HAS SOUPS 106816 WITH SCORE 106932.432
AT ITER 363 NEW BEST:: SOT 172422 SOS 116212 HAS SOPS 116212 HAS SOUS 106596 HAS SOUPS 106596 WITH SCORE 106712.212
AT ITER 364 NEW BEST:: SOT 171876 SOS 115576 HAS SOPS 115576 HAS SOUS 106048 HAS SOUPS 106048 WITH SCORE 106163.576
AT ITER 366 NEW BEST:: SOT 171809 SOS 115133 HAS SOPS 115133 HAS SOUS 105700 HAS SOUPS 105700 WITH SCORE 105815.133
AT ITER 376 NEW BEST:: SOT 171775 SOS 114993 HAS SOPS 114993 HAS SOUS 105491 HAS SOUPS 105491 WITH SCORE 105605.993
AT ITER 377 NEW BEST:: SOT 171541 SOS 114759 HAS SOPS 114759 HAS SOUS 105257 HAS SOUPS 105257 WITH SCORE 105371.759
AT ITER 384 NEW BEST:: SOT 171512 SOS 114730 HAS SOPS 114730 HAS SOUS 105228 HAS SOUPS 105228 WITH SCORE 105342.73
AT ITER 385 NEW BEST:: SOT 171670 SOS 114763 HAS SOPS 114763 HAS SOUS 105213 HAS SOUPS 105213 WITH SCORE 105327.763
AT ITER 386 NEW BEST:: SOT 171673 SOS 114762 HAS SOPS 114762 HAS SOUS 105200 HAS SOUPS 105200 WITH SCORE 105314.762
AT ITER 388 NEW BEST:: SOT 171572 SOS 114526 HAS SOPS 114526 HAS SOUS 104964 HAS SOUPS 104964 WITH SCORE 105078.526
AT ITER 390 NEW BEST:: SOT 171189 SOS 114163 HAS SOPS 114163 HAS SOUS 104668 HAS SOUPS 104668 WITH SCORE 104782.163
AT ITER 393 NEW BEST:: SOT 171189 SOS 114163 HAS SOPS 114163 HAS SOUS 104625 HAS SOUPS 104625 WITH SCORE 104739.163
AT ITER 394 NEW BEST:: SOT 171169 SOS 114123 HAS SOPS 114123 HAS SOUS 104605 HAS SOUPS 104605 WITH SCORE 104719.123
AT ITER 401 NEW BEST:: SOT 171071 SOS 114025 HAS SOPS 114025 HAS SOUS 104507 HAS SOUPS 104507 WITH SCORE 104621.025
AT ITER 402 NEW BEST:: SOT 171067 SOS 114011 HAS SOPS 114011 HAS SOUS 104493 HAS SOUPS 104493 WITH SCORE 104607.011
AT ITER 408 NEW BEST:: SOT 170788 SOS 113636 HAS SOPS 113636 HAS SOUS 104078 HAS SOUPS 104078 WITH SCORE 104191.636
AT ITER 409 NEW BEST:: SOT 170607 SOS 113505 HAS SOPS 113505 HAS SOUS 104005 HAS SOUPS 104005 WITH SCORE 104118.505
AT ITER 411 NEW BEST:: SOT 170221 SOS 112965 HAS SOPS 112965 HAS SOUS 103578 HAS SOUPS 103578 WITH SCORE 103690.965
AT ITER 412 NEW BEST:: SOT 170221 SOS 113128 HAS SOPS 113128 HAS SOUS 103545 HAS SOUPS 103545 WITH SCORE 103658.128
AT ITER 413 NEW BEST:: SOT 170068 SOS 112654 HAS SOPS 112654 HAS SOUS 103271 HAS SOUPS 103271 WITH SCORE 103383.654
AT ITER 416 NEW BEST:: SOT 169960 SOS 112544 HAS SOPS 112544 HAS SOUS 103161 HAS SOUPS 103161 WITH SCORE 103273.544
AT ITER 432 NEW BEST:: SOT 169777 SOS 112306 HAS SOPS 112306 HAS SOUS 102954 HAS SOUPS 102954 WITH SCORE 103066.306
AT ITER 433 NEW BEST:: SOT 169777 SOS 112172 HAS SOPS 112172 HAS SOUS 102820 HAS SOUPS 102820 WITH SCORE 102932.172
AT ITER 434 NEW BEST:: SOT 169777 SOS 112172 HAS SOPS 112172 HAS SOUS 102798 HAS SOUPS 102798 WITH SCORE 102910.172
AT ITER 439 NEW BEST:: SOT 169777 SOS 112070 HAS SOPS 112070 HAS SOUS 102596 HAS SOUPS 102596 WITH SCORE 102708.07
AT ITER 447 NEW BEST:: SOT 169777 SOS 111892 HAS SOPS 111892 HAS SOUS 102466 HAS SOUPS 102466 WITH SCORE 102577.892
AT ITER 450 NEW BEST:: SOT 169769 SOS 111683 HAS SOPS 111683 HAS SOUS 102292 HAS SOUPS 102292 WITH SCORE 102403.683
AT ITER 455 NEW BEST:: SOT 169769 SOS 111682 HAS SOPS 111682 HAS SOUS 102291 HAS SOUPS 102291 WITH SCORE 102402.682
AT ITER 457 NEW BEST:: SOT 169667 SOS 111456 HAS SOPS 111456 HAS SOUS 102065 HAS SOUPS 102065 WITH SCORE 102176.456
AT ITER 458 NEW BEST:: SOT 169771 SOS 111398 HAS SOPS 111398 HAS SOUS 102030 HAS SOUPS 102030 WITH SCORE 102141.398
AT ITER 459 NEW BEST:: SOT 169771 SOS 111297 HAS SOPS 111297 HAS SOUS 101828 HAS SOUPS 101828 WITH SCORE 101939.297
AT ITER 466 NEW BEST:: SOT 169679 SOS 111273 HAS SOPS 111273 HAS SOUS 101684 HAS SOUPS 101684 WITH SCORE 101795.273
AT ITER 469 NEW BEST:: SOT 169813 SOS 110540 HAS SOPS 110540 HAS SOUS 101192 HAS SOUPS 101192 WITH SCORE 101302.54
AT ITER 470 NEW BEST:: SOT 169813 SOS 110342 HAS SOPS 110342 HAS SOUS 101102 HAS SOUPS 101102 WITH SCORE 101212.342
AT ITER 472 NEW BEST:: SOT 169588 SOS 110020 HAS SOPS 110020 HAS SOUS 100780 HAS SOUPS 100780 WITH SCORE 100890.02
AT ITER 473 NEW BEST:: SOT 169519 SOS 109981 HAS SOPS 109981 HAS SOUS 100674 HAS SOUPS 100674 WITH SCORE 100783.981
AT ITER 476 NEW BEST:: SOT 169313 SOS 109775 HAS SOPS 109775 HAS SOUS 100468 HAS SOUPS 100468 WITH SCORE 100577.775
AT ITER 477 NEW BEST:: SOT 169186 SOS 109648 HAS SOPS 109648 HAS SOUS 100341 HAS SOUPS 100341 WITH SCORE 100450.648
AT ITER 478 NEW BEST:: SOT 169136 SOS 109598 HAS SOPS 109598 HAS SOUS 100291 HAS SOUPS 100291 WITH SCORE 100400.598
AT ITER 485 NEW BEST:: SOT 169086 SOS 109500 HAS SOPS 109500 HAS SOUS 100093 HAS SOUPS 100093 WITH SCORE 100202.5
AT ITER 491 NEW BEST:: SOT 169071 SOS 109485 HAS SOPS 109485 HAS SOUS 100078 HAS SOUPS 100078 WITH SCORE 100187.485
AT ITER 492 NEW BEST:: SOT 169014 SOS 109371 HAS SOPS 109371 HAS SOUS 99964 HAS SOUPS 99964 WITH SCORE 100073.371
AT ITER 493 NEW BEST:: SOT 168781 SOS 109138 HAS SOPS 109138 HAS SOUS 99731 HAS SOUPS 99731 WITH SCORE 99840.138
AT ITER 494 NEW BEST:: SOT 168773 SOS 109106 HAS SOPS 109106 HAS SOUS 99699 HAS SOUPS 99699 WITH SCORE 99808.106
AT ITER 495 NEW BEST:: SOT 168773 SOS 109075 HAS SOPS 109075 HAS SOUS 99672 HAS SOUPS 99672 WITH SCORE 99781.075
AT ITER 496 NEW BEST:: SOT 168708 SOS 108574 HAS SOPS 108574 HAS SOUS 99260 HAS SOUPS 99260 WITH SCORE 99368.574
AT ITER 497 NEW BEST:: SOT 168690 SOS 108556 HAS SOPS 108556 HAS SOUS 99242 HAS SOUPS 99242 WITH SCORE 99350.556
AT ITER 504 NEW BEST:: SOT 168531 SOS 108395 HAS SOPS 108395 HAS SOUS 99168 HAS SOUPS 99168 WITH SCORE 99276.395
AT ITER 512 NEW BEST:: SOT 168612 SOS 107926 HAS SOPS 107926 HAS SOUS 98864 HAS SOUPS 98864 WITH SCORE 98971.926
AT ITER 513 NEW BEST:: SOT 168508 SOS 107831 HAS SOPS 107831 HAS SOUS 98705 HAS SOUPS 98705 WITH SCORE 98812.831
AT ITER 522 NEW BEST:: SOT 168334 SOS 107624 HAS SOPS 107624 HAS SOUS 98201 HAS SOUPS 98201 WITH SCORE 98308.624
AT ITER 523 NEW BEST:: SOT 168270 SOS 107558 HAS SOPS 107558 HAS SOUS 98133 HAS SOUPS 98133 WITH SCORE 98240.558
AT ITER 526 NEW BEST:: SOT 168253 SOS 107517 HAS SOPS 107517 HAS SOUS 98099 HAS SOUPS 98099 WITH SCORE 98206.517
AT ITER 527 NEW BEST:: SOT 167463 SOS 106373 HAS SOPS 106373 HAS SOUS 97057 HAS SOUPS 97057 WITH SCORE 97163.373
AT ITER 532 NEW BEST:: SOT 167456 SOS 106366 HAS SOPS 106366 HAS SOUS 97050 HAS SOUPS 97050 WITH SCORE 97156.366
AT ITER 533 NEW BEST:: SOT 166962 SOS 105747 HAS SOPS 105747 HAS SOUS 96466 HAS SOUPS 96466 WITH SCORE 96571.747
AT ITER 535 NEW BEST:: SOT 166962 SOS 105245 HAS SOPS 105245 HAS SOUS 96034 HAS SOUPS 96034 WITH SCORE 96139.245
AT ITER 538 NEW BEST:: SOT 166835 SOS 105118 HAS SOPS 105118 HAS SOUS 95907 HAS SOUPS 95907 WITH SCORE 96012.118
AT ITER 544 NEW BEST:: SOT 166835 SOS 104394 HAS SOPS 104394 HAS SOUS 95398 HAS SOUPS 95398 WITH SCORE 95502.394
AT ITER 545 NEW BEST:: SOT 166782 SOS 104322 HAS SOPS 104322 HAS SOUS 95307 HAS SOUPS 95307 WITH SCORE 95411.322
AT ITER 546 NEW BEST:: SOT 166739 SOS 104460 HAS SOPS 104460 HAS SOUS 95296 HAS SOUPS 95296 WITH SCORE 95400.46
AT ITER 547 NEW BEST:: SOT 166707 SOS 104428 HAS SOPS 104428 HAS SOUS 95264 HAS SOUPS 95264 WITH SCORE 95368.428
AT ITER 551 NEW BEST:: SOT 166664 SOS 104321 HAS SOPS 104321 HAS SOUS 95178 HAS SOUPS 95178 WITH SCORE 95282.321
AT ITER 552 NEW BEST:: SOT 166616 SOS 104293 HAS SOPS 104293 HAS SOUS 95150 HAS SOUPS 95150 WITH SCORE 95254.293
AT ITER 553 NEW BEST:: SOT 166650 SOS 104135 HAS SOPS 104135 HAS SOUS 95006 HAS SOUPS 95006 WITH SCORE 95110.135
AT ITER 562 NEW BEST:: SOT 166650 SOS 104147 HAS SOPS 104147 HAS SOUS 95001 HAS SOUPS 95001 WITH SCORE 95105.147
AT ITER 564 NEW BEST:: SOT 166622 SOS 104054 HAS SOPS 104054 HAS SOUS 94997 HAS SOUPS 94997 WITH SCORE 95101.054
AT ITER 565 NEW BEST:: SOT 166316 SOS 102995 HAS SOPS 102995 HAS SOUS 94270 HAS SOUPS 94270 WITH SCORE 94372.995
AT ITER 568 NEW BEST:: SOT 166303 SOS 102969 HAS SOPS 102969 HAS SOUS 94257 HAS SOUPS 94257 WITH SCORE 94359.969
AT ITER 569 NEW BEST:: SOT 166403 SOS 102980 HAS SOPS 102980 HAS SOUS 94222 HAS SOUPS 94222 WITH SCORE 94324.98
AT ITER 570 NEW BEST:: SOT 166337 SOS 102914 HAS SOPS 102914 HAS SOUS 94156 HAS SOUPS 94156 WITH SCORE 94258.914
AT ITER 572 NEW BEST:: SOT 166370 SOS 102859 HAS SOPS 102859 HAS SOUS 94101 HAS SOUPS 94101 WITH SCORE 94203.859
AT ITER 585 NEW BEST:: SOT 166358 SOS 102823 HAS SOPS 102823 HAS SOUS 94065 HAS SOUPS 94065 WITH SCORE 94167.823
AT ITER 588 NEW BEST:: SOT 166228 SOS 102743 HAS SOPS 102743 HAS SOUS 93893 HAS SOUPS 93893 WITH SCORE 93995.743
AT ITER 590 NEW BEST:: SOT 165930 SOS 102372 HAS SOPS 102372 HAS SOUS 93511 HAS SOUPS 93511 WITH SCORE 93613.372
AT ITER 591 NEW BEST:: SOT 166019 SOS 102305 HAS SOPS 102305 HAS SOUS 93493 HAS SOUPS 93493 WITH SCORE 93595.305
AT ITER 594 NEW BEST:: SOT 166019 SOS 102180 HAS SOPS 102180 HAS SOUS 93489 HAS SOUPS 93489 WITH SCORE 93591.18
AT ITER 596 NEW BEST:: SOT 166015 SOS 102176 HAS SOPS 102176 HAS SOUS 93489 HAS SOUPS 93489 WITH SCORE 93591.176
AT ITER 598 NEW BEST:: SOT 165503 SOS 101599 HAS SOPS 101599 HAS SOUS 92897 HAS SOUPS 92897 WITH SCORE 92998.599
AT ITER 602 NEW BEST:: SOT 165487 SOS 101675 HAS SOPS 101675 HAS SOUS 92812 HAS SOUPS 92812 WITH SCORE 92913.675
AT ITER 603 NEW BEST:: SOT 165413 SOS 101674 HAS SOPS 101674 HAS SOUS 92756 HAS SOUPS 92756 WITH SCORE 92857.674
AT ITER 604 NEW BEST:: SOT 165413 SOS 101387 HAS SOPS 101387 HAS SOUS 92618 HAS SOUPS 92618 WITH SCORE 92719.387
AT ITER 606 NEW BEST:: SOT 165362 SOS 101297 HAS SOPS 101297 HAS SOUS 92550 HAS SOUPS 92550 WITH SCORE 92651.297
AT ITER 609 NEW BEST:: SOT 165308 SOS 101216 HAS SOPS 101216 HAS SOUS 92469 HAS SOUPS 92469 WITH SCORE 92570.216
AT ITER 611 NEW BEST:: SOT 165174 SOS 101015 HAS SOPS 101015 HAS SOUS 92268 HAS SOUPS 92268 WITH SCORE 92369.015
AT ITER 614 NEW BEST:: SOT 165099 SOS 100966 HAS SOPS 100966 HAS SOUS 92219 HAS SOUPS 92219 WITH SCORE 92319.966
AT ITER 615 NEW BEST:: SOT 164972 SOS 100608 HAS SOPS 100608 HAS SOUS 91861 HAS SOUPS 91861 WITH SCORE 91961.608
AT ITER 619 NEW BEST:: SOT 164888 SOS 100524 HAS SOPS 100524 HAS SOUS 91777 HAS SOUPS 91777 WITH SCORE 91877.524
AT ITER 622 NEW BEST:: SOT 164827 SOS 100556 HAS SOPS 100556 HAS SOUS 91672 HAS SOUPS 91672 WITH SCORE 91772.556
AT ITER 625 NEW BEST:: SOT 164764 SOS 100369 HAS SOPS 100369 HAS SOUS 91531 HAS SOUPS 91531 WITH SCORE 91631.369
AT ITER 626 NEW BEST:: SOT 164712 SOS 100317 HAS SOPS 100317 HAS SOUS 91479 HAS SOUPS 91479 WITH SCORE 91579.317
AT ITER 632 NEW BEST:: SOT 164700 SOS 100293 HAS SOPS 100293 HAS SOUS 91455 HAS SOUPS 91455 WITH SCORE 91555.293
AT ITER 633 NEW BEST:: SOT 164528 SOS 99661 HAS SOPS 99661 HAS SOUS 90887 HAS SOUPS 90887 WITH SCORE 90986.661
AT ITER 641 NEW BEST:: SOT 164469 SOS 99602 HAS SOPS 99602 HAS SOUS 90774 HAS SOUPS 90774 WITH SCORE 90873.602
AT ITER 643 NEW BEST:: SOT 164468 SOS 99594 HAS SOPS 99594 HAS SOUS 90773 HAS SOUPS 90773 WITH SCORE 90872.594
AT ITER 645 NEW BEST:: SOT 164360 SOS 99592 HAS SOPS 99592 HAS SOUS 90771 HAS SOUPS 90771 WITH SCORE 90870.592
AT ITER 646 NEW BEST:: SOT 164252 SOS 99484 HAS SOPS 99484 HAS SOUS 90663 HAS SOUPS 90663 WITH SCORE 90762.484
AT ITER 649 NEW BEST:: SOT 164252 SOS 99481 HAS SOPS 99481 HAS SOUS 90663 HAS SOUPS 90663 WITH SCORE 90762.481
AT ITER 650 NEW BEST:: SOT 164233 SOS 99405 HAS SOPS 99405 HAS SOUS 90625 HAS SOUPS 90625 WITH SCORE 90724.405
AT ITER 652 NEW BEST:: SOT 164223 SOS 99375 HAS SOPS 99375 HAS SOUS 90610 HAS SOUPS 90610 WITH SCORE 90709.375
AT ITER 654 NEW BEST:: SOT 164494 SOS 99338 HAS SOPS 99338 HAS SOUS 90573 HAS SOUPS 90573 WITH SCORE 90672.338
AT ITER 655 NEW BEST:: SOT 164376 SOS 99203 HAS SOPS 99203 HAS SOUS 90438 HAS SOUPS 90438 WITH SCORE 90537.203
AT ITER 657 NEW BEST:: SOT 164376 SOS 99088 HAS SOPS 99088 HAS SOUS 90323 HAS SOUPS 90323 WITH SCORE 90422.088
AT ITER 660 NEW BEST:: SOT 164321 SOS 99033 HAS SOPS 99033 HAS SOUS 90268 HAS SOUPS 90268 WITH SCORE 90367.033
AT ITER 665 NEW BEST:: SOT 164321 SOS 98463 HAS SOPS 98463 HAS SOUS 90078 HAS SOUPS 90078 WITH SCORE 90176.463
AT ITER 666 NEW BEST:: SOT 164122 SOS 98129 HAS SOPS 98129 HAS SOUS 89744 HAS SOUPS 89744 WITH SCORE 89842.129
AT ITER 669 NEW BEST:: SOT 164122 SOS 97918 HAS SOPS 97918 HAS SOUS 89604 HAS SOUPS 89604 WITH SCORE 89701.918
AT ITER 674 NEW BEST:: SOT 164175 SOS 97901 HAS SOPS 97901 HAS SOUS 89574 HAS SOUPS 89574 WITH SCORE 89671.901
AT ITER 675 NEW BEST:: SOT 164130 SOS 97766 HAS SOPS 97766 HAS SOUS 89476 HAS SOUPS 89476 WITH SCORE 89573.766
AT ITER 676 NEW BEST:: SOT 164130 SOS 97604 HAS SOPS 97604 HAS SOUS 89395 HAS SOUPS 89395 WITH SCORE 89492.604
AT ITER 681 NEW BEST:: SOT 164130 SOS 97432 HAS SOPS 97432 HAS SOUS 89309 HAS SOUPS 89309 WITH SCORE 89406.432
AT ITER 684 NEW BEST:: SOT 164052 SOS 97256 HAS SOPS 97256 HAS SOUS 89182 HAS SOUPS 89182 WITH SCORE 89279.256
AT ITER 688 NEW BEST:: SOT 163749 SOS 96864 HAS SOPS 96864 HAS SOUS 88604 HAS SOUPS 88604 WITH SCORE 88700.864
AT ITER 689 NEW BEST:: SOT 163681 SOS 96708 HAS SOPS 96708 HAS SOUS 88360 HAS SOUPS 88360 WITH SCORE 88456.708
AT ITER 690 NEW BEST:: SOT 163647 SOS 96674 HAS SOPS 96674 HAS SOUS 88326 HAS SOUPS 88326 WITH SCORE 88422.674
AT ITER 697 NEW BEST:: SOT 163621 SOS 96648 HAS SOPS 96648 HAS SOUS 88300 HAS SOUPS 88300 WITH SCORE 88396.648
AT ITER 699 NEW BEST:: SOT 163477 SOS 96441 HAS SOPS 96441 HAS SOUS 88093 HAS SOUPS 88093 WITH SCORE 88189.441
AT ITER 702 NEW BEST:: SOT 163384 SOS 96000 HAS SOPS 96000 HAS SOUS 87749 HAS SOUPS 87749 WITH SCORE 87845.0
AT ITER 707 NEW BEST:: SOT 163384 SOS 95794 HAS SOPS 95794 HAS SOUS 87709 HAS SOUPS 87709 WITH SCORE 87804.794
AT ITER 709 NEW BEST:: SOT 163310 SOS 95680 HAS SOPS 95680 HAS SOUS 87619 HAS SOUPS 87619 WITH SCORE 87714.68
AT ITER 718 NEW BEST:: SOT 163310 SOS 95680 HAS SOPS 95680 HAS SOUS 87518 HAS SOUPS 87518 WITH SCORE 87613.68
AT ITER 722 NEW BEST:: SOT 163294 SOS 95820 HAS SOPS 95820 HAS SOUS 87460 HAS SOUPS 87460 WITH SCORE 87555.82
AT ITER 729 NEW BEST:: SOT 163237 SOS 95740 HAS SOPS 95740 HAS SOUS 87204 HAS SOUPS 87204 WITH SCORE 87299.74
AT ITER 730 NEW BEST:: SOT 163273 SOS 95733 HAS SOPS 95733 HAS SOUS 87192 HAS SOUPS 87192 WITH SCORE 87287.733
AT ITER 748 NEW BEST:: SOT 163197 SOS 95712 HAS SOPS 95712 HAS SOUS 87171 HAS SOUPS 87171 WITH SCORE 87266.712
AT ITER 755 NEW BEST:: SOT 163191 SOS 95688 HAS SOPS 95688 HAS SOUS 87159 HAS SOUPS 87159 WITH SCORE 87254.688
AT ITER 760 NEW BEST:: SOT 163191 SOS 95673 HAS SOPS 95673 HAS SOUS 87144 HAS SOUPS 87144 WITH SCORE 87239.673
AT ITER 764 NEW BEST:: SOT 163131 SOS 95613 HAS SOPS 95613 HAS SOUS 87084 HAS SOUPS 87084 WITH SCORE 87179.613
AT ITER 765 NEW BEST:: SOT 163032 SOS 95405 HAS SOPS 95405 HAS SOUS 86967 HAS SOUPS 86967 WITH SCORE 87062.405
AT ITER 768 NEW BEST:: SOT 163032 SOS 95400 HAS SOPS 95400 HAS SOUS 86962 HAS SOUPS 86962 WITH SCORE 87057.4
AT ITER 771 NEW BEST:: SOT 162990 SOS 95358 HAS SOPS 95358 HAS SOUS 86920 HAS SOUPS 86920 WITH SCORE 87015.358
AT ITER 774 NEW BEST:: SOT 162910 SOS 95278 HAS SOPS 95278 HAS SOUS 86840 HAS SOUPS 86840 WITH SCORE 86935.278
AT ITER 776 NEW BEST:: SOT 162910 SOS 95276 HAS SOPS 95276 HAS SOUS 86838 HAS SOUPS 86838 WITH SCORE 86933.276
AT ITER 777 NEW BEST:: SOT 162794 SOS 94706 HAS SOPS 94706 HAS SOUS 86610 HAS SOUPS 86610 WITH SCORE 86704.706
AT ITER 781 NEW BEST:: SOT 162794 SOS 94512 HAS SOPS 94512 HAS SOUS 86524 HAS SOUPS 86524 WITH SCORE 86618.512
AT ITER 790 NEW BEST:: SOT 162794 SOS 94515 HAS SOPS 94515 HAS SOUS 86498 HAS SOUPS 86498 WITH SCORE 86592.515
AT ITER 804 NEW BEST:: SOT 162791 SOS 94542 HAS SOPS 94542 HAS SOUS 86479 HAS SOUPS 86479 WITH SCORE 86573.542
AT ITER 807 NEW BEST:: SOT 162791 SOS 94538 HAS SOPS 94538 HAS SOUS 86479 HAS SOUPS 86479 WITH SCORE 86573.538
AT ITER 810 NEW BEST:: SOT 162740 SOS 94487 HAS SOPS 94487 HAS SOUS 86428 HAS SOUPS 86428 WITH SCORE 86522.487
AT ITER 811 NEW BEST:: SOT 162650 SOS 94018 HAS SOPS 94018 HAS SOUS 86111 HAS SOUPS 86111 WITH SCORE 86205.018
AT ITER 812 NEW BEST:: SOT 162501 SOS 93869 HAS SOPS 93869 HAS SOUS 85962 HAS SOUPS 85962 WITH SCORE 86055.869
AT ITER 828 NEW BEST:: SOT 162286 SOS 93403 HAS SOPS 93403 HAS SOUS 85687 HAS SOUPS 85687 WITH SCORE 85780.403
AT ITER 829 NEW BEST:: SOT 162147 SOS 93126 HAS SOPS 93126 HAS SOUS 85524 HAS SOUPS 85524 WITH SCORE 85617.126
AT ITER 830 NEW BEST:: SOT 162147 SOS 93197 HAS SOPS 93197 HAS SOUS 85508 HAS SOUPS 85508 WITH SCORE 85601.197
AT ITER 833 NEW BEST:: SOT 162082 SOS 93138 HAS SOPS 93138 HAS SOUS 85447 HAS SOUPS 85447 WITH SCORE 85540.138
AT ITER 837 NEW BEST:: SOT 162082 SOS 93100 HAS SOPS 93100 HAS SOUS 85447 HAS SOUPS 85447 WITH SCORE 85540.1
AT ITER 842 NEW BEST:: SOT 162082 SOS 92968 HAS SOPS 92968 HAS SOUS 85315 HAS SOUPS 85315 WITH SCORE 85407.968
AT ITER 860 NEW BEST:: SOT 162012 SOS 92889 HAS SOPS 92889 HAS SOUS 85236 HAS SOUPS 85236 WITH SCORE 85328.889
AT ITER 865 NEW BEST:: SOT 162063 SOS 92907 HAS SOPS 92907 HAS SOUS 85174 HAS SOUPS 85174 WITH SCORE 85266.907
AT ITER 869 NEW BEST:: SOT 161914 SOS 92758 HAS SOPS 92758 HAS SOUS 85025 HAS SOUPS 85025 WITH SCORE 85117.758
AT ITER 876 NEW BEST:: SOT 161914 SOS 92637 HAS SOPS 92637 HAS SOUS 84943 HAS SOUPS 84943 WITH SCORE 85035.637
AT ITER 886 NEW BEST:: SOT 161914 SOS 92573 HAS SOPS 92573 HAS SOUS 84911 HAS SOUPS 84911 WITH SCORE 85003.573
AT ITER 888 NEW BEST:: SOT 161884 SOS 92543 HAS SOPS 92543 HAS SOUS 84881 HAS SOUPS 84881 WITH SCORE 84973.543
AT ITER 895 NEW BEST:: SOT 161884 SOS 92317 HAS SOPS 92317 HAS SOUS 84764 HAS SOUPS 84764 WITH SCORE 84856.317
AT ITER 902 NEW BEST:: SOT 161924 SOS 92268 HAS SOPS 92268 HAS SOUS 84757 HAS SOUPS 84757 WITH SCORE 84849.268
AT ITER 903 NEW BEST:: SOT 161924 SOS 92296 HAS SOPS 92296 HAS SOUS 84737 HAS SOUPS 84737 WITH SCORE 84829.296
AT ITER 906 NEW BEST:: SOT 161798 SOS 92170 HAS SOPS 92170 HAS SOUS 84605 HAS SOUPS 84605 WITH SCORE 84697.17
AT ITER 907 NEW BEST:: SOT 161808 SOS 92086 HAS SOPS 92086 HAS SOUS 84563 HAS SOUPS 84563 WITH SCORE 84655.086
AT ITER 913 NEW BEST:: SOT 161808 SOS 91906 HAS SOPS 91906 HAS SOUS 84473 HAS SOUPS 84473 WITH SCORE 84564.906
AT ITER 916 NEW BEST:: SOT 161731 SOS 91829 HAS SOPS 91829 HAS SOUS 84409 HAS SOUPS 84409 WITH SCORE 84500.829
AT ITER 919 NEW BEST:: SOT 161511 SOS 91929 HAS SOPS 91929 HAS SOUS 84305 HAS SOUPS 84305 WITH SCORE 84396.929
AT ITER 920 NEW BEST:: SOT 161511 SOS 91924 HAS SOPS 91924 HAS SOUS 84300 HAS SOUPS 84300 WITH SCORE 84391.924
AT ITER 928 NEW BEST:: SOT 161492 SOS 91905 HAS SOPS 91905 HAS SOUS 84281 HAS SOUPS 84281 WITH SCORE 84372.905
AT ITER 930 NEW BEST:: SOT 161496 SOS 91935 HAS SOPS 91935 HAS SOUS 84267 HAS SOUPS 84267 WITH SCORE 84358.935
AT ITER 934 NEW BEST:: SOT 161466 SOS 91876 HAS SOPS 91876 HAS SOUS 84208 HAS SOUPS 84208 WITH SCORE 84299.876
AT ITER 935 NEW BEST:: SOT 160908 SOS 91229 HAS SOPS 91229 HAS SOUS 83561 HAS SOUPS 83561 WITH SCORE 83652.229
AT ITER 946 NEW BEST:: SOT 160890 SOS 91211 HAS SOPS 91211 HAS SOUS 83539 HAS SOUPS 83539 WITH SCORE 83630.211
AT ITER 949 NEW BEST:: SOT 160897 SOS 91151 HAS SOPS 91151 HAS SOUS 83527 HAS SOUPS 83527 WITH SCORE 83618.151
AT ITER 959 NEW BEST:: SOT 160855 SOS 91109 HAS SOPS 91109 HAS SOUS 83485 HAS SOUPS 83485 WITH SCORE 83576.109
AT ITER 965 NEW BEST:: SOT 160547 SOS 90794 HAS SOPS 90794 HAS SOUS 83170 HAS SOUPS 83170 WITH SCORE 83260.794
AT ITER 968 NEW BEST:: SOT 160344 SOS 90591 HAS SOPS 90591 HAS SOUS 82967 HAS SOUPS 82967 WITH SCORE 83057.591
AT ITER 971 NEW BEST:: SOT 160344 SOS 90586 HAS SOPS 90586 HAS SOUS 82967 HAS SOUPS 82967 WITH SCORE 83057.586
AT ITER 976 NEW BEST:: SOT 160214 SOS 90557 HAS SOPS 90557 HAS SOUS 82854 HAS SOUPS 82854 WITH SCORE 82944.557
AT ITER 980 NEW BEST:: SOT 160199 SOS 90542 HAS SOPS 90542 HAS SOUS 82790 HAS SOUPS 82790 WITH SCORE 82880.542
AT ITER 983 NEW BEST:: SOT 160170 SOS 90455 HAS SOPS 90455 HAS SOUS 82761 HAS SOUPS 82761 WITH SCORE 82851.455
AT ITER 985 NEW BEST:: SOT 160170 SOS 90412 HAS SOPS 90412 HAS SOUS 82753 HAS SOUPS 82753 WITH SCORE 82843.412
AT ITER 989 NEW BEST:: SOT 160170 SOS 90356 HAS SOPS 90356 HAS SOUS 82686 HAS SOUPS 82686 WITH SCORE 82776.356
AT ITER 993 NEW BEST:: SOT 160166 SOS 90348 HAS SOPS 90348 HAS SOUS 82678 HAS SOUPS 82678 WITH SCORE 82768.348
AT ITER 994 NEW BEST:: SOT 160130 SOS 90185 HAS SOPS 90185 HAS SOUS 82515 HAS SOUPS 82515 WITH SCORE 82605.185
AT ITER 996 NEW BEST:: SOT 160130 SOS 90125 HAS SOPS 90125 HAS SOUS 82515 HAS SOUPS 82515 WITH SCORE 82605.125
AT ITER 1011 NEW BEST:: SOT 160163 SOS 90015 HAS SOPS 90015 HAS SOUS 82405 HAS SOUPS 82405 WITH SCORE 82495.015
AT ITER 1019 NEW BEST:: SOT 160106 SOS 89735 HAS SOPS 89735 HAS SOUS 82208 HAS SOUPS 82208 WITH SCORE 82297.735
AT ITER 1021 NEW BEST:: SOT 160105 SOS 89733 HAS SOPS 89733 HAS SOUS 82205 HAS SOUPS 82205 WITH SCORE 82294.733
AT ITER 1025 NEW BEST:: SOT 159998 SOS 89619 HAS SOPS 89619 HAS SOUS 82091 HAS SOUPS 82091 WITH SCORE 82180.619
AT ITER 1026 NEW BEST:: SOT 159929 SOS 89481 HAS SOPS 89481 HAS SOUS 82022 HAS SOUPS 82022 WITH SCORE 82111.481
AT ITER 1028 NEW BEST:: SOT 159918 SOS 89457 HAS SOPS 89457 HAS SOUS 81998 HAS SOUPS 81998 WITH SCORE 82087.457
AT ITER 1030 NEW BEST:: SOT 159918 SOS 89455 HAS SOPS 89455 HAS SOUS 81998 HAS SOUPS 81998 WITH SCORE 82087.455
AT ITER 1032 NEW BEST:: SOT 159800 SOS 89326 HAS SOPS 89326 HAS SOUS 81858 HAS SOUPS 81858 WITH SCORE 81947.326
AT ITER 1035 NEW BEST:: SOT 159694 SOS 89125 HAS SOPS 89125 HAS SOUS 81657 HAS SOUPS 81657 WITH SCORE 81746.125
AT ITER 1037 NEW BEST:: SOT 159642 SOS 89047 HAS SOPS 89047 HAS SOUS 81579 HAS SOUPS 81579 WITH SCORE 81668.047
AT ITER 1045 NEW BEST:: SOT 159632 SOS 89037 HAS SOPS 89037 HAS SOUS 81579 HAS SOUPS 81579 WITH SCORE 81668.037
AT ITER 1055 NEW BEST:: SOT 159599 SOS 88988 HAS SOPS 88988 HAS SOUS 81494 HAS SOUPS 81494 WITH SCORE 81582.988
AT ITER 1056 NEW BEST:: SOT 159535 SOS 88924 HAS SOPS 88924 HAS SOUS 81494 HAS SOUPS 81494 WITH SCORE 81582.924
AT ITER 1066 NEW BEST:: SOT 159533 SOS 88922 HAS SOPS 88922 HAS SOUS 81491 HAS SOUPS 81491 WITH SCORE 81579.922
AT ITER 1070 NEW BEST:: SOT 159418 SOS 88807 HAS SOPS 88807 HAS SOUS 81470 HAS SOUPS 81470 WITH SCORE 81558.807
AT ITER 1072 NEW BEST:: SOT 159215 SOS 88544 HAS SOPS 88544 HAS SOUS 81123 HAS SOUPS 81123 WITH SCORE 81211.544
AT ITER 1083 NEW BEST:: SOT 158937 SOS 88266 HAS SOPS 88266 HAS SOUS 80845 HAS SOUPS 80845 WITH SCORE 80933.266
AT ITER 1086 NEW BEST:: SOT 158937 SOS 88260 HAS SOPS 88260 HAS SOUS 80836 HAS SOUPS 80836 WITH SCORE 80924.26
AT ITER 1088 NEW BEST:: SOT 158915 SOS 88238 HAS SOPS 88238 HAS SOUS 80814 HAS SOUPS 80814 WITH SCORE 80902.238
AT ITER 1100 NEW BEST:: SOT 158861 SOS 88184 HAS SOPS 88184 HAS SOUS 80805 HAS SOUPS 80805 WITH SCORE 80893.184
AT ITER 1103 NEW BEST:: SOT 158841 SOS 88163 HAS SOPS 88163 HAS SOUS 80780 HAS SOUPS 80780 WITH SCORE 80868.163
AT ITER 1123 NEW BEST:: SOT 158792 SOS 88101 HAS SOPS 88101 HAS SOUS 80644 HAS SOUPS 80644 WITH SCORE 80732.101
AT ITER 1130 NEW BEST:: SOT 158792 SOS 87998 HAS SOPS 87998 HAS SOUS 80409 HAS SOUPS 80409 WITH SCORE 80496.998
AT ITER 1132 NEW BEST:: SOT 158698 SOS 87724 HAS SOPS 87724 HAS SOUS 80194 HAS SOUPS 80194 WITH SCORE 80281.724
AT ITER 1136 NEW BEST:: SOT 158698 SOS 87773 HAS SOPS 87773 HAS SOUS 80139 HAS SOUPS 80139 WITH SCORE 80226.773
AT ITER 1139 NEW BEST:: SOT 158484 SOS 87292 HAS SOPS 87292 HAS SOUS 79913 HAS SOUPS 79913 WITH SCORE 80000.292
AT ITER 1143 NEW BEST:: SOT 158444 SOS 87212 HAS SOPS 87212 HAS SOUS 79854 HAS SOUPS 79854 WITH SCORE 79941.212
AT ITER 1146 NEW BEST:: SOT 158432 SOS 87160 HAS SOPS 87160 HAS SOUS 79822 HAS SOUPS 79822 WITH SCORE 79909.16
AT ITER 1147 NEW BEST:: SOT 158417 SOS 87228 HAS SOPS 87228 HAS SOUS 79817 HAS SOUPS 79817 WITH SCORE 79904.228
AT ITER 1149 NEW BEST:: SOT 158417 SOS 87086 HAS SOPS 87086 HAS SOUS 79817 HAS SOUPS 79817 WITH SCORE 79904.086
AT ITER 1152 NEW BEST:: SOT 158344 SOS 86904 HAS SOPS 86904 HAS SOUS 79775 HAS SOUPS 79775 WITH SCORE 79861.904
AT ITER 1154 NEW BEST:: SOT 158328 SOS 86893 HAS SOPS 86893 HAS SOUS 79764 HAS SOUPS 79764 WITH SCORE 79850.893
AT ITER 1155 NEW BEST:: SOT 158048 SOS 86400 HAS SOPS 86400 HAS SOUS 79271 HAS SOUPS 79271 WITH SCORE 79357.4
AT ITER 1159 NEW BEST:: SOT 158048 SOS 86374 HAS SOPS 86374 HAS SOUS 79244 HAS SOUPS 79244 WITH SCORE 79330.374
AT ITER 1164 NEW BEST:: SOT 157982 SOS 86209 HAS SOPS 86209 HAS SOUS 79089 HAS SOUPS 79089 WITH SCORE 79175.209
AT ITER 1165 NEW BEST:: SOT 157982 SOS 86200 HAS SOPS 86200 HAS SOUS 79089 HAS SOUPS 79089 WITH SCORE 79175.2
AT ITER 1167 NEW BEST:: SOT 157979 SOS 86194 HAS SOPS 86194 HAS SOUS 79083 HAS SOUPS 79083 WITH SCORE 79169.194
AT ITER 1173 NEW BEST:: SOT 157921 SOS 86136 HAS SOPS 86136 HAS SOUS 79054 HAS SOUPS 79054 WITH SCORE 79140.136
AT ITER 1175 NEW BEST:: SOT 157921 SOS 86132 HAS SOPS 86132 HAS SOUS 79054 HAS SOUPS 79054 WITH SCORE 79140.132
AT ITER 1177 NEW BEST:: SOT 157936 SOS 86127 HAS SOPS 86127 HAS SOUS 79049 HAS SOUPS 79049 WITH SCORE 79135.127
AT ITER 1179 NEW BEST:: SOT 157945 SOS 86158 HAS SOPS 86158 HAS SOUS 79006 HAS SOUPS 79006 WITH SCORE 79092.158
AT ITER 1180 NEW BEST:: SOT 157984 SOS 85966 HAS SOPS 85966 HAS SOUS 78963 HAS SOUPS 78963 WITH SCORE 79048.966
AT ITER 1182 NEW BEST:: SOT 157984 SOS 85948 HAS SOPS 85948 HAS SOUS 78945 HAS SOUPS 78945 WITH SCORE 79030.948
AT ITER 1187 NEW BEST:: SOT 157964 SOS 85895 HAS SOPS 85895 HAS SOUS 78945 HAS SOUPS 78945 WITH SCORE 79030.895
AT ITER 1190 NEW BEST:: SOT 157934 SOS 85865 HAS SOPS 85865 HAS SOUS 78905 HAS SOUPS 78905 WITH SCORE 78990.865
AT ITER 1195 NEW BEST:: SOT 157934 SOS 85841 HAS SOPS 85841 HAS SOUS 78863 HAS SOUPS 78863 WITH SCORE 78948.841
AT ITER 1205 NEW BEST:: SOT 157933 SOS 85840 HAS SOPS 85840 HAS SOUS 78862 HAS SOUPS 78862 WITH SCORE 78947.84
AT ITER 1208 NEW BEST:: SOT 157806 SOS 85617 HAS SOPS 85617 HAS SOUS 78669 HAS SOUPS 78669 WITH SCORE 78754.617
AT ITER 1216 NEW BEST:: SOT 157608 SOS 85421 HAS SOPS 85421 HAS SOUS 78498 HAS SOUPS 78498 WITH SCORE 78583.421
AT ITER 1223 NEW BEST:: SOT 157398 SOS 85104 HAS SOPS 85104 HAS SOUS 78351 HAS SOUPS 78351 WITH SCORE 78436.104
AT ITER 1231 NEW BEST:: SOT 157398 SOS 84998 HAS SOPS 84998 HAS SOUS 78298 HAS SOUPS 78298 WITH SCORE 78382.998
AT ITER 1233 NEW BEST:: SOT 157398 SOS 84926 HAS SOPS 84926 HAS SOUS 78186 HAS SOUPS 78186 WITH SCORE 78270.926
AT ITER 1239 NEW BEST:: SOT 157235 SOS 84807 HAS SOPS 84807 HAS SOUS 78071 HAS SOUPS 78071 WITH SCORE 78155.807
AT ITER 1246 NEW BEST:: SOT 157322 SOS 84770 HAS SOPS 84770 HAS SOUS 77994 HAS SOUPS 77994 WITH SCORE 78078.77
AT ITER 1250 NEW BEST:: SOT 157347 SOS 84704 HAS SOPS 84704 HAS SOUS 77898 HAS SOUPS 77898 WITH SCORE 77982.704
AT ITER 1260 NEW BEST:: SOT 157179 SOS 84536 HAS SOPS 84536 HAS SOUS 77730 HAS SOUPS 77730 WITH SCORE 77814.536
AT ITER 1261 NEW BEST:: SOT 156915 SOS 84233 HAS SOPS 84233 HAS SOUS 77442 HAS SOUPS 77442 WITH SCORE 77526.233
AT ITER 1267 NEW BEST:: SOT 156915 SOS 84225 HAS SOPS 84225 HAS SOUS 77437 HAS SOUPS 77437 WITH SCORE 77521.225
AT ITER 1286 NEW BEST:: SOT 156916 SOS 84210 HAS SOPS 84210 HAS SOUS 77422 HAS SOUPS 77422 WITH SCORE 77506.21
AT ITER 1294 NEW BEST:: SOT 156895 SOS 84168 HAS SOPS 84168 HAS SOUS 77380 HAS SOUPS 77380 WITH SCORE 77464.168
AT ITER 1295 NEW BEST:: SOT 156919 SOS 84116 HAS SOPS 84116 HAS SOUS 77363 HAS SOUPS 77363 WITH SCORE 77447.116
AT ITER 1297 NEW BEST:: SOT 157017 SOS 84214 HAS SOPS 84214 HAS SOUS 77175 HAS SOUPS 77175 WITH SCORE 77259.214
AT ITER 1305 NEW BEST:: SOT 157218 SOS 84078 HAS SOPS 84078 HAS SOUS 77039 HAS SOUPS 77039 WITH SCORE 77123.078
AT ITER 1306 NEW BEST:: SOT 157302 SOS 84049 HAS SOPS 84049 HAS SOUS 76978 HAS SOUPS 76978 WITH SCORE 77062.049
AT ITER 1310 NEW BEST:: SOT 157302 SOS 83992 HAS SOPS 83992 HAS SOUS 76943 HAS SOUPS 76943 WITH SCORE 77026.992
AT ITER 1314 NEW BEST:: SOT 157176 SOS 83866 HAS SOPS 83866 HAS SOUS 76817 HAS SOUPS 76817 WITH SCORE 76900.866
AT ITER 1342 NEW BEST:: SOT 157077 SOS 83862 HAS SOPS 83862 HAS SOUS 76817 HAS SOUPS 76817 WITH SCORE 76900.862
AT ITER 1347 NEW BEST:: SOT 157024 SOS 83809 HAS SOPS 83809 HAS SOUS 76764 HAS SOUPS 76764 WITH SCORE 76847.809
AT ITER 1348 NEW BEST:: SOT 156997 SOS 83764 HAS SOPS 83764 HAS SOUS 76728 HAS SOUPS 76728 WITH SCORE 76811.764
AT ITER 1350 NEW BEST:: SOT 156996 SOS 83763 HAS SOPS 83763 HAS SOUS 76727 HAS SOUPS 76727 WITH SCORE 76810.763
AT ITER 1357 NEW BEST:: SOT 156977 SOS 83722 HAS SOPS 83722 HAS SOUS 76684 HAS SOUPS 76684 WITH SCORE 76767.722
AT ITER 1364 NEW BEST:: SOT 156502 SOS 83455 HAS SOPS 83455 HAS SOUS 76570 HAS SOUPS 76570 WITH SCORE 76653.455
AT ITER 1367 NEW BEST:: SOT 156582 SOS 83436 HAS SOPS 83436 HAS SOUS 76551 HAS SOUPS 76551 WITH SCORE 76634.436
AT ITER 1369 NEW BEST:: SOT 156596 SOS 83331 HAS SOPS 83331 HAS SOUS 76550 HAS SOUPS 76550 WITH SCORE 76633.331
AT ITER 1371 NEW BEST:: SOT 156491 SOS 83226 HAS SOPS 83226 HAS SOUS 76168 HAS SOUPS 76168 WITH SCORE 76251.226
AT ITER 1379 NEW BEST:: SOT 156657 SOS 82845 HAS SOPS 82845 HAS SOUS 75949 HAS SOUPS 75949 WITH SCORE 76031.845
AT ITER 1383 NEW BEST:: SOT 156657 SOS 82817 HAS SOPS 82817 HAS SOUS 75921 HAS SOUPS 75921 WITH SCORE 76003.817
AT ITER 1394 NEW BEST:: SOT 156657 SOS 82800 HAS SOPS 82800 HAS SOUS 75904 HAS SOUPS 75904 WITH SCORE 75986.8
AT ITER 1396 NEW BEST:: SOT 156554 SOS 82663 HAS SOPS 82663 HAS SOUS 75855 HAS SOUPS 75855 WITH SCORE 75937.663
AT ITER 1397 NEW BEST:: SOT 156450 SOS 82455 HAS SOPS 82455 HAS SOUS 75647 HAS SOUPS 75647 WITH SCORE 75729.455
AT ITER 1404 NEW BEST:: SOT 156388 SOS 82393 HAS SOPS 82393 HAS SOUS 75604 HAS SOUPS 75604 WITH SCORE 75686.393
AT ITER 1418 NEW BEST:: SOT 156388 SOS 82276 HAS SOPS 82276 HAS SOUS 75576 HAS SOUPS 75576 WITH SCORE 75658.276
AT ITER 1430 NEW BEST:: SOT 156274 SOS 82104 HAS SOPS 82104 HAS SOUS 75336 HAS SOUPS 75336 WITH SCORE 75418.104
AT ITER 1431 NEW BEST:: SOT 156274 SOS 82080 HAS SOPS 82080 HAS SOUS 75312 HAS SOUPS 75312 WITH SCORE 75394.08
AT ITER 1432 NEW BEST:: SOT 156210 SOS 82016 HAS SOPS 82016 HAS SOUS 75260 HAS SOUPS 75260 WITH SCORE 75342.016
AT ITER 1433 NEW BEST:: SOT 156210 SOS 81995 HAS SOPS 81995 HAS SOUS 75260 HAS SOUPS 75260 WITH SCORE 75341.995
AT ITER 1443 NEW BEST:: SOT 156379 SOS 81962 HAS SOPS 81962 HAS SOUS 75227 HAS SOUPS 75227 WITH SCORE 75308.962
AT ITER 1449 NEW BEST:: SOT 156407 SOS 81837 HAS SOPS 81837 HAS SOUS 75156 HAS SOUPS 75156 WITH SCORE 75237.837
AT ITER 1450 NEW BEST:: SOT 156331 SOS 81714 HAS SOPS 81714 HAS SOUS 74986 HAS SOUPS 74986 WITH SCORE 75067.714
AT ITER 1455 NEW BEST:: SOT 156331 SOS 81600 HAS SOPS 81600 HAS SOUS 74926 HAS SOUPS 74926 WITH SCORE 75007.6
AT ITER 1456 NEW BEST:: SOT 156331 SOS 81511 HAS SOPS 81511 HAS SOUS 74875 HAS SOUPS 74875 WITH SCORE 74956.511
AT ITER 1457 NEW BEST:: SOT 156182 SOS 81316 HAS SOPS 81316 HAS SOUS 74694 HAS SOUPS 74694 WITH SCORE 74775.316
AT ITER 1474 NEW BEST:: SOT 156227 SOS 81361 HAS SOPS 81361 HAS SOUS 74666 HAS SOUPS 74666 WITH SCORE 74747.361
AT ITER 1485 NEW BEST:: SOT 156183 SOS 81317 HAS SOPS 81317 HAS SOUS 74622 HAS SOUPS 74622 WITH SCORE 74703.317
AT ITER 1491 NEW BEST:: SOT 156164 SOS 81298 HAS SOPS 81298 HAS SOUS 74603 HAS SOUPS 74603 WITH SCORE 74684.298
AT ITER 1495 NEW BEST:: SOT 156056 SOS 81247 HAS SOPS 81247 HAS SOUS 74513 HAS SOUPS 74513 WITH SCORE 74594.247
AT ITER 1504 NEW BEST:: SOT 156042 SOS 81233 HAS SOPS 81233 HAS SOUS 74499 HAS SOUPS 74499 WITH SCORE 74580.233
AT ITER 1506 NEW BEST:: SOT 156000 SOS 81184 HAS SOPS 81184 HAS SOUS 74450 HAS SOUPS 74450 WITH SCORE 74531.184
AT ITER 1507 NEW BEST:: SOT 156027 SOS 80950 HAS SOPS 80950 HAS SOUS 74332 HAS SOUPS 74332 WITH SCORE 74412.95
AT ITER 1512 NEW BEST:: SOT 155991 SOS 80914 HAS SOPS 80914 HAS SOUS 74296 HAS SOUPS 74296 WITH SCORE 74376.914
AT ITER 1513 NEW BEST:: SOT 155719 SOS 80642 HAS SOPS 80642 HAS SOUS 74024 HAS SOUPS 74024 WITH SCORE 74104.642
AT ITER 1514 NEW BEST:: SOT 155665 SOS 80624 HAS SOPS 80624 HAS SOUS 74006 HAS SOUPS 74006 WITH SCORE 74086.624
AT ITER 1516 NEW BEST:: SOT 155680 SOS 80623 HAS SOPS 80623 HAS SOUS 74005 HAS SOUPS 74005 WITH SCORE 74085.623
AT ITER 1518 NEW BEST:: SOT 155679 SOS 80620 HAS SOPS 80620 HAS SOUS 73980 HAS SOUPS 73980 WITH SCORE 74060.62
AT ITER 1519 NEW BEST:: SOT 155635 SOS 80576 HAS SOPS 80576 HAS SOUS 73936 HAS SOUPS 73936 WITH SCORE 74016.576
AT ITER 1521 NEW BEST:: SOT 155635 SOS 80289 HAS SOPS 80289 HAS SOUS 73805 HAS SOUPS 73805 WITH SCORE 73885.289
AT ITER 1525 NEW BEST:: SOT 155635 SOS 80182 HAS SOPS 80182 HAS SOUS 73591 HAS SOUPS 73591 WITH SCORE 73671.182
AT ITER 1529 NEW BEST:: SOT 155607 SOS 80154 HAS SOPS 80154 HAS SOUS 73563 HAS SOUPS 73563 WITH SCORE 73643.154
AT ITER 1532 NEW BEST:: SOT 155595 SOS 80142 HAS SOPS 80142 HAS SOUS 73497 HAS SOUPS 73497 WITH SCORE 73577.142
AT ITER 1539 NEW BEST:: SOT 155399 SOS 79946 HAS SOPS 79946 HAS SOUS 73213 HAS SOUPS 73213 WITH SCORE 73292.946
AT ITER 1549 NEW BEST:: SOT 155383 SOS 79891 HAS SOPS 79891 HAS SOUS 73193 HAS SOUPS 73193 WITH SCORE 73272.891
AT ITER 1552 NEW BEST:: SOT 155251 SOS 79803 HAS SOPS 79803 HAS SOUS 73124 HAS SOUPS 73124 WITH SCORE 73203.803
AT ITER 1553 NEW BEST:: SOT 155251 SOS 79782 HAS SOPS 79782 HAS SOUS 73116 HAS SOUPS 73116 WITH SCORE 73195.782
AT ITER 1554 NEW BEST:: SOT 155197 SOS 79710 HAS SOPS 79710 HAS SOUS 72940 HAS SOUPS 72940 WITH SCORE 73019.71
AT ITER 1562 NEW BEST:: SOT 155191 SOS 79614 HAS SOPS 79614 HAS SOUS 72926 HAS SOUPS 72926 WITH SCORE 73005.614
AT ITER 1565 NEW BEST:: SOT 155215 SOS 79519 HAS SOPS 79519 HAS SOUS 72892 HAS SOUPS 72892 WITH SCORE 72971.519
AT ITER 1570 NEW BEST:: SOT 155156 SOS 79460 HAS SOPS 79460 HAS SOUS 72833 HAS SOUPS 72833 WITH SCORE 72912.46
AT ITER 1571 NEW BEST:: SOT 155143 SOS 79447 HAS SOPS 79447 HAS SOUS 72773 HAS SOUPS 72773 WITH SCORE 72852.447
AT ITER 1575 NEW BEST:: SOT 155169 SOS 79482 HAS SOPS 79482 HAS SOUS 72732 HAS SOUPS 72732 WITH SCORE 72811.482
AT ITER 1578 NEW BEST:: SOT 154955 SOS 79268 HAS SOPS 79268 HAS SOUS 72464 HAS SOUPS 72464 WITH SCORE 72543.268
AT ITER 1584 NEW BEST:: SOT 154955 SOS 79164 HAS SOPS 79164 HAS SOUS 72464 HAS SOUPS 72464 WITH SCORE 72543.164
AT ITER 1596 NEW BEST:: SOT 154716 SOS 79009 HAS SOPS 79009 HAS SOUS 72194 HAS SOUPS 72194 WITH SCORE 72273.009
AT ITER 1597 NEW BEST:: SOT 154716 SOS 78999 HAS SOPS 78999 HAS SOUS 72187 HAS SOUPS 72187 WITH SCORE 72265.999
AT ITER 1599 NEW BEST:: SOT 154690 SOS 78947 HAS SOPS 78947 HAS SOUS 72135 HAS SOUPS 72135 WITH SCORE 72213.947
AT ITER 1600 NEW BEST:: SOT 154690 SOS 78950 HAS SOPS 78950 HAS SOUS 72037 HAS SOUPS 72037 WITH SCORE 72115.95
AT ITER 1601 NEW BEST:: SOT 154665 SOS 78925 HAS SOPS 78925 HAS SOUS 72012 HAS SOUPS 72012 WITH SCORE 72090.925
AT ITER 1610 NEW BEST:: SOT 154604 SOS 78864 HAS SOPS 78864 HAS SOUS 71951 HAS SOUPS 71951 WITH SCORE 72029.864
AT ITER 1621 NEW BEST:: SOT 154558 SOS 78769 HAS SOPS 78769 HAS SOUS 71856 HAS SOUPS 71856 WITH SCORE 71934.769
AT ITER 1624 NEW BEST:: SOT 154552 SOS 78763 HAS SOPS 78763 HAS SOUS 71850 HAS SOUPS 71850 WITH SCORE 71928.763
AT ITER 1626 NEW BEST:: SOT 154448 SOS 78659 HAS SOPS 78659 HAS SOUS 71728 HAS SOUPS 71728 WITH SCORE 71806.659
AT ITER 1631 NEW BEST:: SOT 154433 SOS 78627 HAS SOPS 78627 HAS SOUS 71698 HAS SOUPS 71698 WITH SCORE 71776.627
AT ITER 1636 NEW BEST:: SOT 154413 SOS 78580 HAS SOPS 78580 HAS SOUS 71658 HAS SOUPS 71658 WITH SCORE 71736.58
AT ITER 1640 NEW BEST:: SOT 154391 SOS 78525 HAS SOPS 78525 HAS SOUS 71614 HAS SOUPS 71614 WITH SCORE 71692.525
AT ITER 1641 NEW BEST:: SOT 154391 SOS 78411 HAS SOPS 78411 HAS SOUS 71453 HAS SOUPS 71453 WITH SCORE 71531.411
AT ITER 1642 NEW BEST:: SOT 154389 SOS 78409 HAS SOPS 78409 HAS SOUS 71451 HAS SOUPS 71451 WITH SCORE 71529.409
AT ITER 1647 NEW BEST:: SOT 154353 SOS 78312 HAS SOPS 78312 HAS SOUS 71390 HAS SOUPS 71390 WITH SCORE 71468.312
AT ITER 1648 NEW BEST:: SOT 154350 SOS 78303 HAS SOPS 78303 HAS SOUS 71381 HAS SOUPS 71381 WITH SCORE 71459.303
AT ITER 1657 NEW BEST:: SOT 154340 SOS 78293 HAS SOPS 78293 HAS SOUS 71371 HAS SOUPS 71371 WITH SCORE 71449.293
AT ITER 1658 NEW BEST:: SOT 154261 SOS 78214 HAS SOPS 78214 HAS SOUS 71292 HAS SOUPS 71292 WITH SCORE 71370.214
AT ITER 1659 NEW BEST:: SOT 154261 SOS 78191 HAS SOPS 78191 HAS SOUS 71269 HAS SOUPS 71269 WITH SCORE 71347.191
AT ITER 1677 NEW BEST:: SOT 154261 SOS 77893 HAS SOPS 77893 HAS SOUS 71176 HAS SOUPS 71176 WITH SCORE 71253.893
AT ITER 1679 NEW BEST:: SOT 154261 SOS 77848 HAS SOPS 77848 HAS SOUS 71161 HAS SOUPS 71161 WITH SCORE 71238.848
AT ITER 1685 NEW BEST:: SOT 154175 SOS 77764 HAS SOPS 77764 HAS SOUS 71143 HAS SOUPS 71143 WITH SCORE 71220.764
AT ITER 1688 NEW BEST:: SOT 154134 SOS 77754 HAS SOPS 77754 HAS SOUS 71133 HAS SOUPS 71133 WITH SCORE 71210.754
AT ITER 1693 NEW BEST:: SOT 153990 SOS 77609 HAS SOPS 77609 HAS SOUS 70988 HAS SOUPS 70988 WITH SCORE 71065.609
AT ITER 1700 NEW BEST:: SOT 153936 SOS 77501 HAS SOPS 77501 HAS SOUS 70880 HAS SOUPS 70880 WITH SCORE 70957.501
AT ITER 1710 NEW BEST:: SOT 153916 SOS 77134 HAS SOPS 77134 HAS SOUS 70731 HAS SOUPS 70731 WITH SCORE 70808.134
AT ITER 1718 NEW BEST:: SOT 153908 SOS 77122 HAS SOPS 77122 HAS SOUS 70719 HAS SOUPS 70719 WITH SCORE 70796.122
AT ITER 1720 NEW BEST:: SOT 153898 SOS 77112 HAS SOPS 77112 HAS SOUS 70709 HAS SOUPS 70709 WITH SCORE 70786.112
AT ITER 1731 NEW BEST:: SOT 153898 SOS 77100 HAS SOPS 77100 HAS SOUS 70697 HAS SOUPS 70697 WITH SCORE 70774.1
AT ITER 1732 NEW BEST:: SOT 153914 SOS 77086 HAS SOPS 77086 HAS SOUS 70674 HAS SOUPS 70674 WITH SCORE 70751.086
AT ITER 1747 NEW BEST:: SOT 153877 SOS 77049 HAS SOPS 77049 HAS SOUS 70637 HAS SOUPS 70637 WITH SCORE 70714.049
AT ITER 1750 NEW BEST:: SOT 153877 SOS 77033 HAS SOPS 77033 HAS SOUS 70624 HAS SOUPS 70624 WITH SCORE 70701.033
AT ITER 1751 NEW BEST:: SOT 153877 SOS 77060 HAS SOPS 77060 HAS SOUS 70568 HAS SOUPS 70568 WITH SCORE 70645.06
AT ITER 1766 NEW BEST:: SOT 153820 SOS 76799 HAS SOPS 76799 HAS SOUS 70331 HAS SOUPS 70331 WITH SCORE 70407.799
AT ITER 1769 NEW BEST:: SOT 153619 SOS 76802 HAS SOPS 76802 HAS SOUS 70278 HAS SOUPS 70278 WITH SCORE 70354.802
AT ITER 1783 NEW BEST:: SOT 153609 SOS 76782 HAS SOPS 76782 HAS SOUS 70258 HAS SOUPS 70258 WITH SCORE 70334.782
AT ITER 1785 NEW BEST:: SOT 153489 SOS 76614 HAS SOPS 76614 HAS SOUS 70164 HAS SOUPS 70164 WITH SCORE 70240.614
AT ITER 1788 NEW BEST:: SOT 153509 SOS 76602 HAS SOPS 76602 HAS SOUS 70152 HAS SOUPS 70152 WITH SCORE 70228.602
AT ITER 1794 NEW BEST:: SOT 153509 SOS 76602 HAS SOPS 76602 HAS SOUS 70140 HAS SOUPS 70140 WITH SCORE 70216.602
AT ITER 1813 NEW BEST:: SOT 153508 SOS 76601 HAS SOPS 76601 HAS SOUS 70124 HAS SOUPS 70124 WITH SCORE 70200.601
AT ITER 1815 NEW BEST:: SOT 153515 SOS 76527 HAS SOPS 76527 HAS SOUS 70104 HAS SOUPS 70104 WITH SCORE 70180.527
AT ITER 1824 NEW BEST:: SOT 153469 SOS 76427 HAS SOPS 76427 HAS SOUS 70024 HAS SOUPS 70024 WITH SCORE 70100.427
AT ITER 1844 NEW BEST:: SOT 153428 SOS 76410 HAS SOPS 76410 HAS SOUS 69921 HAS SOUPS 69921 WITH SCORE 69997.41
AT ITER 1854 NEW BEST:: SOT 153424 SOS 76379 HAS SOPS 76379 HAS SOUS 69913 HAS SOUPS 69913 WITH SCORE 69989.379
AT ITER 1856 NEW BEST:: SOT 153424 SOS 76307 HAS SOPS 76307 HAS SOUS 69877 HAS SOUPS 69877 WITH SCORE 69953.307
AT ITER 1866 NEW BEST:: SOT 153411 SOS 76294 HAS SOPS 76294 HAS SOUS 69864 HAS SOUPS 69864 WITH SCORE 69940.294
AT ITER 1873 NEW BEST:: SOT 153437 SOS 76162 HAS SOPS 76162 HAS SOUS 69798 HAS SOUPS 69798 WITH SCORE 69874.162
AT ITER 1874 NEW BEST:: SOT 153437 SOS 76162 HAS SOPS 76162 HAS SOUS 69749 HAS SOUPS 69749 WITH SCORE 69825.162
AT ITER 1879 NEW BEST:: SOT 153385 SOS 76110 HAS SOPS 76110 HAS SOUS 69642 HAS SOUPS 69642 WITH SCORE 69718.11
AT ITER 1880 NEW BEST:: SOT 153321 SOS 75982 HAS SOPS 75982 HAS SOUS 69578 HAS SOUPS 69578 WITH SCORE 69653.982
AT ITER 1881 NEW BEST:: SOT 153323 SOS 75862 HAS SOPS 75862 HAS SOUS 69512 HAS SOUPS 69512 WITH SCORE 69587.862
AT ITER 1882 NEW BEST:: SOT 153284 SOS 75823 HAS SOPS 75823 HAS SOUS 69473 HAS SOUPS 69473 WITH SCORE 69548.823
AT ITER 1894 NEW BEST:: SOT 153284 SOS 75823 HAS SOPS 75823 HAS SOUS 69462 HAS SOUPS 69462 WITH SCORE 69537.823
AT ITER 1895 NEW BEST:: SOT 153243 SOS 75782 HAS SOPS 75782 HAS SOUS 69436 HAS SOUPS 69436 WITH SCORE 69511.782
AT ITER 1910 NEW BEST:: SOT 153243 SOS 75744 HAS SOPS 75744 HAS SOUS 69436 HAS SOUPS 69436 WITH SCORE 69511.744
AT ITER 1912 NEW BEST:: SOT 153240 SOS 75741 HAS SOPS 75741 HAS SOUS 69433 HAS SOUPS 69433 WITH SCORE 69508.741
AT ITER 1915 NEW BEST:: SOT 153230 SOS 75731 HAS SOPS 75731 HAS SOUS 69423 HAS SOUPS 69423 WITH SCORE 69498.731
AT ITER 1922 NEW BEST:: SOT 153218 SOS 75833 HAS SOPS 75833 HAS SOUS 69348 HAS SOUPS 69348 WITH SCORE 69423.833
AT ITER 1929 NEW BEST:: SOT 153136 SOS 75669 HAS SOPS 75669 HAS SOUS 69184 HAS SOUPS 69184 WITH SCORE 69259.669
AT ITER 1942 NEW BEST:: SOT 152980 SOS 75431 HAS SOPS 75431 HAS SOUS 68946 HAS SOUPS 68946 WITH SCORE 69021.431
AT ITER 1967 NEW BEST:: SOT 152927 SOS 75376 HAS SOPS 75376 HAS SOUS 68891 HAS SOUPS 68891 WITH SCORE 68966.376
AT ITER 1969 NEW BEST:: SOT 152848 SOS 75297 HAS SOPS 75297 HAS SOUS 68732 HAS SOUPS 68732 WITH SCORE 68807.297
AT ITER 1980 NEW BEST:: SOT 152759 SOS 75065 HAS SOPS 75065 HAS SOUS 68500 HAS SOUPS 68500 WITH SCORE 68575.065
AT ITER 1981 NEW BEST:: SOT 152755 SOS 75061 HAS SOPS 75061 HAS SOUS 68496 HAS SOUPS 68496 WITH SCORE 68571.061
AT ITER 1996 NEW BEST:: SOT 152884 SOS 75012 HAS SOPS 75012 HAS SOUS 68475 HAS SOUPS 68475 WITH SCORE 68550.012
AT ITER 2005 NEW BEST:: SOT 152841 SOS 74969 HAS SOPS 74969 HAS SOUS 68437 HAS SOUPS 68437 WITH SCORE 68511.969
AT ITER 2007 NEW BEST:: SOT 152810 SOS 74938 HAS SOPS 74938 HAS SOUS 68406 HAS SOUPS 68406 WITH SCORE 68480.938
AT ITER 2014 NEW BEST:: SOT 152842 SOS 74939 HAS SOPS 74939 HAS SOUS 68370 HAS SOUPS 68370 WITH SCORE 68444.939
AT ITER 2026 NEW BEST:: SOT 152802 SOS 74899 HAS SOPS 74899 HAS SOUS 68330 HAS SOUPS 68330 WITH SCORE 68404.899
AT ITER 2027 NEW BEST:: SOT 152745 SOS 74842 HAS SOPS 74842 HAS SOUS 68326 HAS SOUPS 68326 WITH SCORE 68400.842
AT ITER 2032 NEW BEST:: SOT 152670 SOS 74636 HAS SOPS 74636 HAS SOUS 68120 HAS SOUPS 68120 WITH SCORE 68194.636
AT ITER 2042 NEW BEST:: SOT 152648 SOS 74557 HAS SOPS 74557 HAS SOUS 68019 HAS SOUPS 68019 WITH SCORE 68093.557
AT ITER 2045 NEW BEST:: SOT 152648 SOS 74767 HAS SOPS 74767 HAS SOUS 67998 HAS SOUPS 67998 WITH SCORE 68072.767
AT ITER 2060 NEW BEST:: SOT 152614 SOS 74725 HAS SOPS 74725 HAS SOUS 67978 HAS SOUPS 67978 WITH SCORE 68052.725
AT ITER 2063 NEW BEST:: SOT 152502 SOS 74613 HAS SOPS 74613 HAS SOUS 67887 HAS SOUPS 67887 WITH SCORE 67961.613
AT ITER 2073 NEW BEST:: SOT 152500 SOS 74618 HAS SOPS 74618 HAS SOUS 67885 HAS SOUPS 67885 WITH SCORE 67959.618
AT ITER 2074 NEW BEST:: SOT 152487 SOS 74522 HAS SOPS 74522 HAS SOUS 67792 HAS SOUPS 67792 WITH SCORE 67866.522
AT ITER 2075 NEW BEST:: SOT 152479 SOS 74514 HAS SOPS 74514 HAS SOUS 67784 HAS SOUPS 67784 WITH SCORE 67858.514
AT ITER 2082 NEW BEST:: SOT 152356 SOS 73899 HAS SOPS 73899 HAS SOUS 67408 HAS SOUPS 67408 WITH SCORE 67481.899
AT ITER 2092 NEW BEST:: SOT 152338 SOS 73881 HAS SOPS 73881 HAS SOUS 67390 HAS SOUPS 67390 WITH SCORE 67463.881
AT ITER 2123 NEW BEST:: SOT 152338 SOS 73878 HAS SOPS 73878 HAS SOUS 67389 HAS SOUPS 67389 WITH SCORE 67462.878
AT ITER 2127 NEW BEST:: SOT 151944 SOS 73484 HAS SOPS 73484 HAS SOUS 67203 HAS SOUPS 67203 WITH SCORE 67276.484
AT ITER 2128 NEW BEST:: SOT 151867 SOS 73407 HAS SOPS 73407 HAS SOUS 67126 HAS SOUPS 67126 WITH SCORE 67199.407
AT ITER 2133 NEW BEST:: SOT 151835 SOS 73414 HAS SOPS 73414 HAS SOUS 67075 HAS SOUPS 67075 WITH SCORE 67148.414
AT ITER 2135 NEW BEST:: SOT 151715 SOS 73294 HAS SOPS 73294 HAS SOUS 66867 HAS SOUPS 66867 WITH SCORE 66940.294
AT ITER 2171 NEW BEST:: SOT 151715 SOS 73288 HAS SOPS 73288 HAS SOUS 66861 HAS SOUPS 66861 WITH SCORE 66934.288
AT ITER 2184 NEW BEST:: SOT 151560 SOS 72638 HAS SOPS 72638 HAS SOUS 66416 HAS SOUPS 66416 WITH SCORE 66488.638
AT ITER 2187 NEW BEST:: SOT 151443 SOS 72457 HAS SOPS 72457 HAS SOUS 66235 HAS SOUPS 66235 WITH SCORE 66307.457
AT ITER 2198 NEW BEST:: SOT 151435 SOS 72400 HAS SOPS 72400 HAS SOUS 66223 HAS SOUPS 66223 WITH SCORE 66295.4
AT ITER 2208 NEW BEST:: SOT 151466 SOS 72143 HAS SOPS 72143 HAS SOUS 66069 HAS SOUPS 66069 WITH SCORE 66141.143
AT ITER 2218 NEW BEST:: SOT 151458 SOS 72126 HAS SOPS 72126 HAS SOUS 66052 HAS SOUPS 66052 WITH SCORE 66124.126
AT ITER 2221 NEW BEST:: SOT 151452 SOS 72114 HAS SOPS 72114 HAS SOUS 66040 HAS SOUPS 66040 WITH SCORE 66112.114
AT ITER 2229 NEW BEST:: SOT 151452 SOS 72114 HAS SOPS 72114 HAS SOUS 66006 HAS SOUPS 66006 WITH SCORE 66078.114
AT ITER 2233 NEW BEST:: SOT 151452 SOS 72103 HAS SOPS 72103 HAS SOUS 65995 HAS SOUPS 65995 WITH SCORE 66067.103
AT ITER 2255 NEW BEST:: SOT 151452 SOS 72092 HAS SOPS 72092 HAS SOUS 65973 HAS SOUPS 65973 WITH SCORE 66045.092
AT ITER 2257 NEW BEST:: SOT 151432 SOS 72028 HAS SOPS 72028 HAS SOUS 65909 HAS SOUPS 65909 WITH SCORE 65981.028
AT ITER 2259 NEW BEST:: SOT 151479 SOS 71945 HAS SOPS 71945 HAS SOUS 65826 HAS SOUPS 65826 WITH SCORE 65897.945
AT ITER 2260 NEW BEST:: SOT 151621 SOS 71866 HAS SOPS 71866 HAS SOUS 65792 HAS SOUPS 65792 WITH SCORE 65863.866
AT ITER 2262 NEW BEST:: SOT 151480 SOS 71751 HAS SOPS 71751 HAS SOUS 65749 HAS SOUPS 65749 WITH SCORE 65820.751
AT ITER 2272 NEW BEST:: SOT 151468 SOS 71649 HAS SOPS 71649 HAS SOUS 65660 HAS SOUPS 65660 WITH SCORE 65731.649
AT ITER 2285 NEW BEST:: SOT 151444 SOS 71601 HAS SOPS 71601 HAS SOUS 65612 HAS SOUPS 65612 WITH SCORE 65683.601
AT ITER 2291 NEW BEST:: SOT 151413 SOS 71532 HAS SOPS 71532 HAS SOUS 65543 HAS SOUPS 65543 WITH SCORE 65614.532
AT ITER 2300 NEW BEST:: SOT 151393 SOS 71512 HAS SOPS 71512 HAS SOUS 65523 HAS SOUPS 65523 WITH SCORE 65594.512
AT ITER 2304 NEW BEST:: SOT 151398 SOS 71482 HAS SOPS 71482 HAS SOUS 65493 HAS SOUPS 65493 WITH SCORE 65564.482
AT ITER 2314 NEW BEST:: SOT 151358 SOS 71430 HAS SOPS 71430 HAS SOUS 65413 HAS SOUPS 65413 WITH SCORE 65484.43
AT ITER 2317 NEW BEST:: SOT 151186 SOS 71115 HAS SOPS 71115 HAS SOUS 65104 HAS SOUPS 65104 WITH SCORE 65175.115
AT ITER 2334 NEW BEST:: SOT 151174 SOS 71071 HAS SOPS 71071 HAS SOUS 65058 HAS SOUPS 65058 WITH SCORE 65129.071
AT ITER 2337 NEW BEST:: SOT 151154 SOS 70985 HAS SOPS 70985 HAS SOUS 65038 HAS SOUPS 65038 WITH SCORE 65108.985
AT ITER 2338 NEW BEST:: SOT 151132 SOS 70963 HAS SOPS 70963 HAS SOUS 65016 HAS SOUPS 65016 WITH SCORE 65086.963
AT ITER 2342 NEW BEST:: SOT 151048 SOS 70879 HAS SOPS 70879 HAS SOUS 64960 HAS SOUPS 64960 WITH SCORE 65030.879
AT ITER 2345 NEW BEST:: SOT 151033 SOS 70864 HAS SOPS 70864 HAS SOUS 64945 HAS SOUPS 64945 WITH SCORE 65015.864
AT ITER 2355 NEW BEST:: SOT 151033 SOS 70837 HAS SOPS 70837 HAS SOUS 64918 HAS SOUPS 64918 WITH SCORE 64988.837
AT ITER 2374 NEW BEST:: SOT 151025 SOS 70829 HAS SOPS 70829 HAS SOUS 64910 HAS SOUPS 64910 WITH SCORE 64980.829
AT ITER 2381 NEW BEST:: SOT 151015 SOS 70819 HAS SOPS 70819 HAS SOUS 64900 HAS SOUPS 64900 WITH SCORE 64970.819
AT ITER 2383 NEW BEST:: SOT 150943 SOS 70672 HAS SOPS 70672 HAS SOUS 64753 HAS SOUPS 64753 WITH SCORE 64823.672
AT ITER 2384 NEW BEST:: SOT 150964 SOS 70735 HAS SOPS 70735 HAS SOUS 64745 HAS SOUPS 64745 WITH SCORE 64815.735
AT ITER 2394 NEW BEST:: SOT 150964 SOS 70735 HAS SOPS 70735 HAS SOUS 64741 HAS SOUPS 64741 WITH SCORE 64811.735
AT ITER 2397 NEW BEST:: SOT 150856 SOS 70557 HAS SOPS 70557 HAS SOUS 64584 HAS SOUPS 64584 WITH SCORE 64654.557
AT ITER 2400 NEW BEST:: SOT 150776 SOS 70431 HAS SOPS 70431 HAS SOUS 64458 HAS SOUPS 64458 WITH SCORE 64528.431
AT ITER 2410 NEW BEST:: SOT 150673 SOS 70242 HAS SOPS 70242 HAS SOUS 64269 HAS SOUPS 64269 WITH SCORE 64339.242
AT ITER 2412 NEW BEST:: SOT 150653 SOS 70218 HAS SOPS 70218 HAS SOUS 64245 HAS SOUPS 64245 WITH SCORE 64315.218
AT ITER 2427 NEW BEST:: SOT 150735 SOS 70182 HAS SOPS 70182 HAS SOUS 64187 HAS SOUPS 64187 WITH SCORE 64257.182
AT ITER 2431 NEW BEST:: SOT 150691 SOS 70073 HAS SOPS 70073 HAS SOUS 64099 HAS SOUPS 64099 WITH SCORE 64169.073
AT ITER 2455 NEW BEST:: SOT 150671 SOS 69966 HAS SOPS 69966 HAS SOUS 63952 HAS SOUPS 63952 WITH SCORE 64021.966
AT ITER 2465 NEW BEST:: SOT 150636 SOS 69924 HAS SOPS 69924 HAS SOUS 63910 HAS SOUPS 63910 WITH SCORE 63979.924
AT ITER 2478 NEW BEST:: SOT 150631 SOS 69919 HAS SOPS 69919 HAS SOUS 63910 HAS SOUPS 63910 WITH SCORE 63979.919
AT ITER 2482 NEW BEST:: SOT 150601 SOS 69751 HAS SOPS 69751 HAS SOUS 63772 HAS SOUPS 63772 WITH SCORE 63841.751
AT ITER 2487 NEW BEST:: SOT 150601 SOS 69536 HAS SOPS 69536 HAS SOUS 63757 HAS SOUPS 63757 WITH SCORE 63826.536
AT ITER 2493 NEW BEST:: SOT 150566 SOS 69469 HAS SOPS 69469 HAS SOUS 63688 HAS SOUPS 63688 WITH SCORE 63757.469
AT ITER 2502 NEW BEST:: SOT 150536 SOS 69439 HAS SOPS 69439 HAS SOUS 63667 HAS SOUPS 63667 WITH SCORE 63736.439
AT ITER 2511 NEW BEST:: SOT 150513 SOS 69395 HAS SOPS 69395 HAS SOUS 63623 HAS SOUPS 63623 WITH SCORE 63692.395
AT ITER 2540 NEW BEST:: SOT 150399 SOS 69167 HAS SOPS 69167 HAS SOUS 63493 HAS SOUPS 63493 WITH SCORE 63562.167
AT ITER 2548 NEW BEST:: SOT 150333 SOS 69035 HAS SOPS 69035 HAS SOUS 63361 HAS SOUPS 63361 WITH SCORE 63430.035
AT ITER 2582 NEW BEST:: SOT 150300 SOS 68973 HAS SOPS 68973 HAS SOUS 63328 HAS SOUPS 63328 WITH SCORE 63396.973
AT ITER 2614 NEW BEST:: SOT 150175 SOS 68716 HAS SOPS 68716 HAS SOUS 63078 HAS SOUPS 63078 WITH SCORE 63146.716
AT ITER 2618 NEW BEST:: SOT 150175 SOS 68696 HAS SOPS 68696 HAS SOUS 63058 HAS SOUPS 63058 WITH SCORE 63126.696
AT ITER 2624 NEW BEST:: SOT 150165 SOS 68682 HAS SOPS 68682 HAS SOUS 63044 HAS SOUPS 63044 WITH SCORE 63112.682
AT ITER 2630 NEW BEST:: SOT 150165 SOS 68680 HAS SOPS 68680 HAS SOUS 63042 HAS SOUPS 63042 WITH SCORE 63110.68
AT ITER 2646 NEW BEST:: SOT 150054 SOS 68557 HAS SOPS 68557 HAS SOUS 62937 HAS SOUPS 62937 WITH SCORE 63005.557
AT ITER 2656 NEW BEST:: SOT 150050 SOS 68549 HAS SOPS 68549 HAS SOUS 62929 HAS SOUPS 62929 WITH SCORE 62997.549
AT ITER 2663 NEW BEST:: SOT 150022 SOS 68521 HAS SOPS 68521 HAS SOUS 62901 HAS SOUPS 62901 WITH SCORE 62969.521
AT ITER 2664 NEW BEST:: SOT 150014 SOS 68513 HAS SOPS 68513 HAS SOUS 62893 HAS SOUPS 62893 WITH SCORE 62961.513
AT ITER 2676 NEW BEST:: SOT 150014 SOS 68513 HAS SOPS 68513 HAS SOUS 62891 HAS SOUPS 62891 WITH SCORE 62959.513
AT ITER 2682 NEW BEST:: SOT 150032 SOS 68553 HAS SOPS 68553 HAS SOUS 62855 HAS SOUPS 62855 WITH SCORE 62923.553
AT ITER 2686 NEW BEST:: SOT 149979 SOS 68478 HAS SOPS 68478 HAS SOUS 62790 HAS SOUPS 62790 WITH SCORE 62858.478
AT ITER 2687 NEW BEST:: SOT 149979 SOS 68103 HAS SOPS 68103 HAS SOUS 62540 HAS SOUPS 62540 WITH SCORE 62608.103
AT ITER 2693 NEW BEST:: SOT 149971 SOS 68095 HAS SOPS 68095 HAS SOUS 62533 HAS SOUPS 62533 WITH SCORE 62601.095
AT ITER 2694 NEW BEST:: SOT 149949 SOS 68062 HAS SOPS 68062 HAS SOUS 62500 HAS SOUPS 62500 WITH SCORE 62568.062
AT ITER 2703 NEW BEST:: SOT 149878 SOS 68001 HAS SOPS 68001 HAS SOUS 62400 HAS SOUPS 62400 WITH SCORE 62468.001
AT ITER 2707 NEW BEST:: SOT 149878 SOS 67833 HAS SOPS 67833 HAS SOUS 62314 HAS SOUPS 62314 WITH SCORE 62381.833
AT ITER 2708 NEW BEST:: SOT 149856 SOS 67801 HAS SOPS 67801 HAS SOUS 62282 HAS SOUPS 62282 WITH SCORE 62349.801
AT ITER 2721 NEW BEST:: SOT 149799 SOS 67744 HAS SOPS 67744 HAS SOUS 62225 HAS SOUPS 62225 WITH SCORE 62292.744
AT ITER 2731 NEW BEST:: SOT 149797 SOS 67734 HAS SOPS 67734 HAS SOUS 62212 HAS SOUPS 62212 WITH SCORE 62279.734
AT ITER 2736 NEW BEST:: SOT 149789 SOS 67761 HAS SOPS 67761 HAS SOUS 62177 HAS SOUPS 62177 WITH SCORE 62244.761
AT ITER 2746 NEW BEST:: SOT 149706 SOS 67579 HAS SOPS 67579 HAS SOUS 61991 HAS SOUPS 61991 WITH SCORE 62058.579
AT ITER 2750 NEW BEST:: SOT 149703 SOS 67576 HAS SOPS 67576 HAS SOUS 61991 HAS SOUPS 61991 WITH SCORE 62058.576
AT ITER 2755 NEW BEST:: SOT 149690 SOS 67537 HAS SOPS 67537 HAS SOUS 61952 HAS SOUPS 61952 WITH SCORE 62019.537
AT ITER 2757 NEW BEST:: SOT 149752 SOS 67548 HAS SOPS 67548 HAS SOUS 61927 HAS SOUPS 61927 WITH SCORE 61994.548
AT ITER 2759 NEW BEST:: SOT 149683 SOS 67379 HAS SOPS 67379 HAS SOUS 61858 HAS SOUPS 61858 WITH SCORE 61925.379
AT ITER 2772 NEW BEST:: SOT 149680 SOS 67392 HAS SOPS 67392 HAS SOUS 61824 HAS SOUPS 61824 WITH SCORE 61891.392
AT ITER 2778 NEW BEST:: SOT 149680 SOS 67378 HAS SOPS 67378 HAS SOUS 61808 HAS SOUPS 61808 WITH SCORE 61875.378
AT ITER 2787 NEW BEST:: SOT 149680 SOS 67363 HAS SOPS 67363 HAS SOUS 61808 HAS SOUPS 61808 WITH SCORE 61875.363
AT ITER 2800 NEW BEST:: SOT 149649 SOS 67128 HAS SOPS 67128 HAS SOUS 61573 HAS SOUPS 61573 WITH SCORE 61640.128
AT ITER 2813 NEW BEST:: SOT 149649 SOS 67110 HAS SOPS 67110 HAS SOUS 61555 HAS SOUPS 61555 WITH SCORE 61622.11
AT ITER 2821 NEW BEST:: SOT 149634 SOS 67095 HAS SOPS 67095 HAS SOUS 61540 HAS SOUPS 61540 WITH SCORE 61607.095
AT ITER 2836 NEW BEST:: SOT 149561 SOS 67027 HAS SOPS 67027 HAS SOUS 61472 HAS SOUPS 61472 WITH SCORE 61539.027
AT ITER 2841 NEW BEST:: SOT 149502 SOS 66736 HAS SOPS 66736 HAS SOUS 61275 HAS SOUPS 61275 WITH SCORE 61341.736
AT ITER 2858 NEW BEST:: SOT 149495 SOS 66855 HAS SOPS 66855 HAS SOUS 61140 HAS SOUPS 61140 WITH SCORE 61206.855
AT ITER 2864 NEW BEST:: SOT 149496 SOS 66828 HAS SOPS 66828 HAS SOUS 61113 HAS SOUPS 61113 WITH SCORE 61179.828
AT ITER 2890 NEW BEST:: SOT 149476 SOS 66808 HAS SOPS 66808 HAS SOUS 61093 HAS SOUPS 61093 WITH SCORE 61159.808
AT ITER 2893 NEW BEST:: SOT 149274 SOS 66598 HAS SOPS 66598 HAS SOUS 60883 HAS SOUPS 60883 WITH SCORE 60949.598
AT ITER 2918 NEW BEST:: SOT 149248 SOS 66572 HAS SOPS 66572 HAS SOUS 60857 HAS SOUPS 60857 WITH SCORE 60923.572
AT ITER 2926 NEW BEST:: SOT 149360 SOS 66503 HAS SOPS 66503 HAS SOUS 60851 HAS SOUPS 60851 WITH SCORE 60917.503
AT ITER 2943 NEW BEST:: SOT 149338 SOS 66469 HAS SOPS 66469 HAS SOUS 60839 HAS SOUPS 60839 WITH SCORE 60905.469
AT ITER 2955 NEW BEST:: SOT 149239 SOS 66370 HAS SOPS 66370 HAS SOUS 60816 HAS SOUPS 60816 WITH SCORE 60882.37
AT ITER 2961 NEW BEST:: SOT 149277 SOS 66311 HAS SOPS 66311 HAS SOUS 60797 HAS SOUPS 60797 WITH SCORE 60863.311
AT ITER 2964 NEW BEST:: SOT 149168 SOS 66022 HAS SOPS 66022 HAS SOUS 60571 HAS SOUPS 60571 WITH SCORE 60637.022
AT ITER 2970 NEW BEST:: SOT 149128 SOS 65956 HAS SOPS 65956 HAS SOUS 60505 HAS SOUPS 60505 WITH SCORE 60570.956
AT ITER 2981 NEW BEST:: SOT 149064 SOS 65796 HAS SOPS 65796 HAS SOUS 60377 HAS SOUPS 60377 WITH SCORE 60442.796
AT ITER 3005 NEW BEST:: SOT 149061 SOS 65793 HAS SOPS 65793 HAS SOUS 60374 HAS SOUPS 60374 WITH SCORE 60439.793
AT ITER 3008 NEW BEST:: SOT 149022 SOS 65754 HAS SOPS 65754 HAS SOUS 60335 HAS SOUPS 60335 WITH SCORE 60400.754
AT ITER 3011 NEW BEST:: SOT 148986 SOS 65557 HAS SOPS 65557 HAS SOUS 60221 HAS SOUPS 60221 WITH SCORE 60286.557
AT ITER 3013 NEW BEST:: SOT 148957 SOS 65542 HAS SOPS 65542 HAS SOUS 60210 HAS SOUPS 60210 WITH SCORE 60275.542
AT ITER 3015 NEW BEST:: SOT 148975 SOS 65444 HAS SOPS 65444 HAS SOUS 60095 HAS SOUPS 60095 WITH SCORE 60160.444
AT ITER 3018 NEW BEST:: SOT 148953 SOS 65422 HAS SOPS 65422 HAS SOUS 60073 HAS SOUPS 60073 WITH SCORE 60138.422
AT ITER 3026 NEW BEST:: SOT 148980 SOS 65407 HAS SOPS 65407 HAS SOUS 60058 HAS SOUPS 60058 WITH SCORE 60123.407
AT ITER 3033 NEW BEST:: SOT 148973 SOS 65400 HAS SOPS 65400 HAS SOUS 60051 HAS SOUPS 60051 WITH SCORE 60116.4
AT ITER 3047 NEW BEST:: SOT 148969 SOS 65364 HAS SOPS 65364 HAS SOUS 60043 HAS SOUPS 60043 WITH SCORE 60108.364
AT ITER 3052 NEW BEST:: SOT 148969 SOS 65275 HAS SOPS 65275 HAS SOUS 60017 HAS SOUPS 60017 WITH SCORE 60082.275
AT ITER 3058 NEW BEST:: SOT 148969 SOS 65270 HAS SOPS 65270 HAS SOUS 60012 HAS SOUPS 60012 WITH SCORE 60077.27
AT ITER 3060 NEW BEST:: SOT 148862 SOS 65102 HAS SOPS 65102 HAS SOUS 60000 HAS SOUPS 60000 WITH SCORE 60065.102
AT ITER 3064 NEW BEST:: SOT 148861 SOS 64995 HAS SOPS 64995 HAS SOUS 59893 HAS SOUPS 59893 WITH SCORE 59957.995
AT ITER 3070 NEW BEST:: SOT 148857 SOS 65025 HAS SOPS 65025 HAS SOUS 59891 HAS SOUPS 59891 WITH SCORE 59956.025
AT ITER 3076 NEW BEST:: SOT 148851 SOS 64990 HAS SOPS 64990 HAS SOUS 59865 HAS SOUPS 59865 WITH SCORE 59929.99
AT ITER 3083 NEW BEST:: SOT 148766 SOS 64896 HAS SOPS 64896 HAS SOUS 59771 HAS SOUPS 59771 WITH SCORE 59835.896
AT ITER 3095 NEW BEST:: SOT 148736 SOS 64708 HAS SOPS 64708 HAS SOUS 59583 HAS SOUPS 59583 WITH SCORE 59647.708
AT ITER 3130 NEW BEST:: SOT 148739 SOS 64563 HAS SOPS 64563 HAS SOUS 59540 HAS SOUPS 59540 WITH SCORE 59604.563
AT ITER 3167 NEW BEST:: SOT 148728 SOS 64552 HAS SOPS 64552 HAS SOUS 59529 HAS SOUPS 59529 WITH SCORE 59593.552
AT ITER 3173 NEW BEST:: SOT 148728 SOS 64493 HAS SOPS 64493 HAS SOUS 59470 HAS SOUPS 59470 WITH SCORE 59534.493
AT ITER 3174 NEW BEST:: SOT 148597 SOS 63657 HAS SOPS 63657 HAS SOUS 58953 HAS SOUPS 58953 WITH SCORE 59016.657
AT ITER 3177 NEW BEST:: SOT 148597 SOS 63637 HAS SOPS 63637 HAS SOUS 58943 HAS SOUPS 58943 WITH SCORE 59006.637
AT ITER 3178 NEW BEST:: SOT 148597 SOS 63636 HAS SOPS 63636 HAS SOUS 58941 HAS SOUPS 58941 WITH SCORE 59004.636
AT ITER 3203 NEW BEST:: SOT 148597 SOS 63636 HAS SOPS 63636 HAS SOUS 58924 HAS SOUPS 58924 WITH SCORE 58987.636
AT ITER 3204 NEW BEST:: SOT 148579 SOS 63600 HAS SOPS 63600 HAS SOUS 58888 HAS SOUPS 58888 WITH SCORE 58951.6
AT ITER 3216 NEW BEST:: SOT 148441 SOS 63462 HAS SOPS 63462 HAS SOUS 58750 HAS SOUPS 58750 WITH SCORE 58813.462
AT ITER 3236 NEW BEST:: SOT 148427 SOS 63556 HAS SOPS 63556 HAS SOUS 58713 HAS SOUPS 58713 WITH SCORE 58776.556
AT ITER 3239 NEW BEST:: SOT 148382 SOS 63511 HAS SOPS 63511 HAS SOUS 58668 HAS SOUPS 58668 WITH SCORE 58731.511
AT ITER 3243 NEW BEST:: SOT 148334 SOS 63439 HAS SOPS 63439 HAS SOUS 58596 HAS SOUPS 58596 WITH SCORE 58659.439
AT ITER 3249 NEW BEST:: SOT 148353 SOS 63433 HAS SOPS 63433 HAS SOUS 58590 HAS SOUPS 58590 WITH SCORE 58653.433
AT ITER 3250 NEW BEST:: SOT 148346 SOS 63366 HAS SOPS 63366 HAS SOUS 58538 HAS SOUPS 58538 WITH SCORE 58601.366
AT ITER 3251 NEW BEST:: SOT 148262 SOS 63249 HAS SOPS 63249 HAS SOUS 58421 HAS SOUPS 58421 WITH SCORE 58484.249
AT ITER 3253 NEW BEST:: SOT 148079 SOS 62879 HAS SOPS 62879 HAS SOUS 58074 HAS SOUPS 58074 WITH SCORE 58136.879
AT ITER 3261 NEW BEST:: SOT 148079 SOS 62742 HAS SOPS 62742 HAS SOUS 58047 HAS SOUPS 58047 WITH SCORE 58109.742
AT ITER 3279 NEW BEST:: SOT 147958 SOS 62736 HAS SOPS 62736 HAS SOUS 58043 HAS SOUPS 58043 WITH SCORE 58105.736
AT ITER 3284 NEW BEST:: SOT 147983 SOS 62641 HAS SOPS 62641 HAS SOUS 57963 HAS SOUPS 57963 WITH SCORE 58025.641
AT ITER 3288 NEW BEST:: SOT 147991 SOS 62649 HAS SOPS 62649 HAS SOUS 57959 HAS SOUPS 57959 WITH SCORE 58021.649
AT ITER 3305 NEW BEST:: SOT 147969 SOS 62583 HAS SOPS 62583 HAS SOUS 57893 HAS SOUPS 57893 WITH SCORE 57955.583
AT ITER 3307 NEW BEST:: SOT 147957 SOS 62547 HAS SOPS 62547 HAS SOUS 57869 HAS SOUPS 57869 WITH SCORE 57931.547
AT ITER 3312 NEW BEST:: SOT 147970 SOS 62501 HAS SOPS 62501 HAS SOUS 57810 HAS SOUPS 57810 WITH SCORE 57872.501
AT ITER 3324 NEW BEST:: SOT 147940 SOS 62471 HAS SOPS 62471 HAS SOUS 57780 HAS SOUPS 57780 WITH SCORE 57842.471
AT ITER 3329 NEW BEST:: SOT 147911 SOS 62442 HAS SOPS 62442 HAS SOUS 57751 HAS SOUPS 57751 WITH SCORE 57813.442
AT ITER 3340 NEW BEST:: SOT 147911 SOS 62218 HAS SOPS 62218 HAS SOUS 57657 HAS SOUPS 57657 WITH SCORE 57719.218
AT ITER 3352 NEW BEST:: SOT 147911 SOS 62228 HAS SOPS 62228 HAS SOUS 57574 HAS SOUPS 57574 WITH SCORE 57636.228
AT ITER 3362 NEW BEST:: SOT 147908 SOS 62214 HAS SOPS 62214 HAS SOUS 57560 HAS SOUPS 57560 WITH SCORE 57622.214
AT ITER 3395 NEW BEST:: SOT 147867 SOS 62173 HAS SOPS 62173 HAS SOUS 57557 HAS SOUPS 57557 WITH SCORE 57619.173
AT ITER 3397 NEW BEST:: SOT 147854 SOS 62221 HAS SOPS 62221 HAS SOUS 57505 HAS SOUPS 57505 WITH SCORE 57567.221
AT ITER 3403 NEW BEST:: SOT 147854 SOS 62247 HAS SOPS 62247 HAS SOUS 57493 HAS SOUPS 57493 WITH SCORE 57555.247
AT ITER 3406 NEW BEST:: SOT 147854 SOS 62213 HAS SOPS 62213 HAS SOUS 57476 HAS SOUPS 57476 WITH SCORE 57538.213
AT ITER 3415 NEW BEST:: SOT 147769 SOS 62201 HAS SOPS 62201 HAS SOUS 57476 HAS SOUPS 57476 WITH SCORE 57538.201
AT ITER 3432 NEW BEST:: SOT 147706 SOS 62182 HAS SOPS 62182 HAS SOUS 57457 HAS SOUPS 57457 WITH SCORE 57519.182
AT ITER 3444 NEW BEST:: SOT 147725 SOS 62187 HAS SOPS 62187 HAS SOUS 57451 HAS SOUPS 57451 WITH SCORE 57513.187
AT ITER 3445 NEW BEST:: SOT 147587 SOS 62048 HAS SOPS 62048 HAS SOUS 57304 HAS SOUPS 57304 WITH SCORE 57366.048
AT ITER 3451 NEW BEST:: SOT 147571 SOS 62016 HAS SOPS 62016 HAS SOUS 57272 HAS SOUPS 57272 WITH SCORE 57334.016
AT ITER 3456 NEW BEST:: SOT 147571 SOS 62007 HAS SOPS 62007 HAS SOUS 57263 HAS SOUPS 57263 WITH SCORE 57325.007
AT ITER 3476 NEW BEST:: SOT 147571 SOS 61997 HAS SOPS 61997 HAS SOUS 57253 HAS SOUPS 57253 WITH SCORE 57314.997
AT ITER 3484 NEW BEST:: SOT 147543 SOS 61934 HAS SOPS 61934 HAS SOUS 57197 HAS SOUPS 57197 WITH SCORE 57258.934
AT ITER 3489 NEW BEST:: SOT 147526 SOS 61931 HAS SOPS 61931 HAS SOUS 57194 HAS SOUPS 57194 WITH SCORE 57255.931
AT ITER 3501 NEW BEST:: SOT 147516 SOS 61911 HAS SOPS 61911 HAS SOUS 57164 HAS SOUPS 57164 WITH SCORE 57225.911
AT ITER 3508 NEW BEST:: SOT 147515 SOS 61909 HAS SOPS 61909 HAS SOUS 57162 HAS SOUPS 57162 WITH SCORE 57223.909
AT ITER 3538 NEW BEST:: SOT 147359 SOS 61630 HAS SOPS 61630 HAS SOUS 56883 HAS SOUPS 56883 WITH SCORE 56944.63
AT ITER 3542 NEW BEST:: SOT 147355 SOS 61626 HAS SOPS 61626 HAS SOUS 56879 HAS SOUPS 56879 WITH SCORE 56940.626
AT ITER 3576 NEW BEST:: SOT 147267 SOS 61455 HAS SOPS 61455 HAS SOUS 56718 HAS SOUPS 56718 WITH SCORE 56779.455
AT ITER 3579 NEW BEST:: SOT 147221 SOS 61363 HAS SOPS 61363 HAS SOUS 56626 HAS SOUPS 56626 WITH SCORE 56687.363
AT ITER 3593 NEW BEST:: SOT 147191 SOS 61303 HAS SOPS 61303 HAS SOUS 56566 HAS SOUPS 56566 WITH SCORE 56627.303
AT ITER 3619 NEW BEST:: SOT 147333 SOS 61301 HAS SOPS 61301 HAS SOUS 56470 HAS SOUPS 56470 WITH SCORE 56531.301
AT ITER 3623 NEW BEST:: SOT 147320 SOS 61288 HAS SOPS 61288 HAS SOUS 56457 HAS SOUPS 56457 WITH SCORE 56518.288
AT ITER 3637 NEW BEST:: SOT 147320 SOS 61170 HAS SOPS 61170 HAS SOUS 56435 HAS SOUPS 56435 WITH SCORE 56496.17
AT ITER 3640 NEW BEST:: SOT 147329 SOS 61127 HAS SOPS 61127 HAS SOUS 56392 HAS SOUPS 56392 WITH SCORE 56453.127
AT ITER 3659 NEW BEST:: SOT 147281 SOS 61141 HAS SOPS 61141 HAS SOUS 56364 HAS SOUPS 56364 WITH SCORE 56425.141
AT ITER 3663 NEW BEST:: SOT 147191 SOS 60979 HAS SOPS 60979 HAS SOUS 56181 HAS SOUPS 56181 WITH SCORE 56241.979
AT ITER 3666 NEW BEST:: SOT 147184 SOS 60972 HAS SOPS 60972 HAS SOUS 56181 HAS SOUPS 56181 WITH SCORE 56241.972
AT ITER 3700 NEW BEST:: SOT 147135 SOS 60883 HAS SOPS 60883 HAS SOUS 56092 HAS SOUPS 56092 WITH SCORE 56152.883
AT ITER 3707 NEW BEST:: SOT 147115 SOS 60863 HAS SOPS 60863 HAS SOUS 56072 HAS SOUPS 56072 WITH SCORE 56132.863
AT ITER 3710 NEW BEST:: SOT 147098 SOS 60830 HAS SOPS 60830 HAS SOUS 56029 HAS SOUPS 56029 WITH SCORE 56089.83
AT ITER 3732 NEW BEST:: SOT 146920 SOS 60602 HAS SOPS 60602 HAS SOUS 55803 HAS SOUPS 55803 WITH SCORE 55863.602
AT ITER 3743 NEW BEST:: SOT 146913 SOS 60595 HAS SOPS 60595 HAS SOUS 55796 HAS SOUPS 55796 WITH SCORE 55856.595
AT ITER 3748 NEW BEST:: SOT 146905 SOS 60583 HAS SOPS 60583 HAS SOUS 55784 HAS SOUPS 55784 WITH SCORE 55844.583
AT ITER 3757 NEW BEST:: SOT 146905 SOS 60581 HAS SOPS 60581 HAS SOUS 55782 HAS SOUPS 55782 WITH SCORE 55842.581
AT ITER 3764 NEW BEST:: SOT 146905 SOS 60581 HAS SOPS 60581 HAS SOUS 55750 HAS SOUPS 55750 WITH SCORE 55810.581
AT ITER 3767 NEW BEST:: SOT 146863 SOS 60539 HAS SOPS 60539 HAS SOUS 55708 HAS SOUPS 55708 WITH SCORE 55768.539
AT ITER 3769 NEW BEST:: SOT 146862 SOS 60486 HAS SOPS 60486 HAS SOUS 55655 HAS SOUPS 55655 WITH SCORE 55715.486
AT ITER 3786 NEW BEST:: SOT 146807 SOS 60442 HAS SOPS 60442 HAS SOUS 55611 HAS SOUPS 55611 WITH SCORE 55671.442
AT ITER 3806 NEW BEST:: SOT 146756 SOS 60353 HAS SOPS 60353 HAS SOUS 55522 HAS SOUPS 55522 WITH SCORE 55582.353
AT ITER 3814 NEW BEST:: SOT 146696 SOS 60293 HAS SOPS 60293 HAS SOUS 55462 HAS SOUPS 55462 WITH SCORE 55522.293
AT ITER 3854 NEW BEST:: SOT 146690 SOS 60212 HAS SOPS 60212 HAS SOUS 55406 HAS SOUPS 55406 WITH SCORE 55466.212
AT ITER 3881 NEW BEST:: SOT 146616 SOS 60099 HAS SOPS 60099 HAS SOUS 55293 HAS SOUPS 55293 WITH SCORE 55353.099
AT ITER 3883 NEW BEST:: SOT 146599 SOS 59951 HAS SOPS 59951 HAS SOUS 55195 HAS SOUPS 55195 WITH SCORE 55254.951
AT ITER 3893 NEW BEST:: SOT 146553 SOS 59893 HAS SOPS 59893 HAS SOUS 55135 HAS SOUPS 55135 WITH SCORE 55194.893
AT ITER 3932 NEW BEST:: SOT 146544 SOS 59866 HAS SOPS 59866 HAS SOUS 55108 HAS SOUPS 55108 WITH SCORE 55167.866
AT ITER 3952 NEW BEST:: SOT 146554 SOS 59821 HAS SOPS 59821 HAS SOUS 55063 HAS SOUPS 55063 WITH SCORE 55122.821
AT ITER 3982 NEW BEST:: SOT 146554 SOS 59754 HAS SOPS 59754 HAS SOUS 54996 HAS SOUPS 54996 WITH SCORE 55055.754
AT ITER 4014 NEW BEST:: SOT 146628 SOS 59828 HAS SOPS 59828 HAS SOUS 54946 HAS SOUPS 54946 WITH SCORE 55005.828
AT ITER 4018 NEW BEST:: SOT 146623 SOS 59816 HAS SOPS 59816 HAS SOUS 54929 HAS SOUPS 54929 WITH SCORE 54988.816
AT ITER 4046 NEW BEST:: SOT 146607 SOS 59798 HAS SOPS 59798 HAS SOUS 54911 HAS SOUPS 54911 WITH SCORE 54970.798
AT ITER 4065 NEW BEST:: SOT 146585 SOS 59776 HAS SOPS 59776 HAS SOUS 54889 HAS SOUPS 54889 WITH SCORE 54948.776
AT ITER 4076 NEW BEST:: SOT 146581 SOS 59768 HAS SOPS 59768 HAS SOUS 54881 HAS SOUPS 54881 WITH SCORE 54940.768
AT ITER 4093 NEW BEST:: SOT 146533 SOS 59699 HAS SOPS 59699 HAS SOUS 54812 HAS SOUPS 54812 WITH SCORE 54871.699
AT ITER 4105 NEW BEST:: SOT 146411 SOS 59583 HAS SOPS 59583 HAS SOUS 54730 HAS SOUPS 54730 WITH SCORE 54789.583
AT ITER 4136 NEW BEST:: SOT 146383 SOS 59535 HAS SOPS 59535 HAS SOUS 54682 HAS SOUPS 54682 WITH SCORE 54741.535
AT ITER 4137 NEW BEST:: SOT 146364 SOS 59516 HAS SOPS 59516 HAS SOUS 54663 HAS SOUPS 54663 WITH SCORE 54722.516
AT ITER 4148 NEW BEST:: SOT 146363 SOS 59511 HAS SOPS 59511 HAS SOUS 54661 HAS SOUPS 54661 WITH SCORE 54720.511
AT ITER 4154 NEW BEST:: SOT 146363 SOS 59511 HAS SOPS 59511 HAS SOUS 54626 HAS SOUPS 54626 WITH SCORE 54685.511
AT ITER 4182 NEW BEST:: SOT 146348 SOS 59445 HAS SOPS 59445 HAS SOUS 54516 HAS SOUPS 54516 WITH SCORE 54575.445
AT ITER 4188 NEW BEST:: SOT 146348 SOS 59443 HAS SOPS 59443 HAS SOUS 54513 HAS SOUPS 54513 WITH SCORE 54572.443
AT ITER 4202 NEW BEST:: SOT 146348 SOS 59435 HAS SOPS 59435 HAS SOUS 54505 HAS SOUPS 54505 WITH SCORE 54564.435
AT ITER 4215 NEW BEST:: SOT 146348 SOS 59404 HAS SOPS 59404 HAS SOUS 54480 HAS SOUPS 54480 WITH SCORE 54539.404
AT ITER 4228 NEW BEST:: SOT 146337 SOS 59393 HAS SOPS 59393 HAS SOUS 54469 HAS SOUPS 54469 WITH SCORE 54528.393
AT ITER 4248 NEW BEST:: SOT 146371 SOS 59337 HAS SOPS 59337 HAS SOUS 54444 HAS SOUPS 54444 WITH SCORE 54503.337
AT ITER 4262 NEW BEST:: SOT 146406 SOS 59308 HAS SOPS 59308 HAS SOUS 54415 HAS SOUPS 54415 WITH SCORE 54474.308
AT ITER 4283 NEW BEST:: SOT 146260 SOS 59147 HAS SOPS 59147 HAS SOUS 54254 HAS SOUPS 54254 WITH SCORE 54313.147
AT ITER 4299 NEW BEST:: SOT 146230 SOS 59117 HAS SOPS 59117 HAS SOUS 54224 HAS SOUPS 54224 WITH SCORE 54283.117
AT ITER 4327 NEW BEST:: SOT 146230 SOS 59107 HAS SOPS 59107 HAS SOUS 54219 HAS SOUPS 54219 WITH SCORE 54278.107
AT ITER 4333 NEW BEST:: SOT 146230 SOS 59084 HAS SOPS 59084 HAS SOUS 54219 HAS SOUPS 54219 WITH SCORE 54278.084
AT ITER 4342 NEW BEST:: SOT 146230 SOS 59059 HAS SOPS 59059 HAS SOUS 54194 HAS SOUPS 54194 WITH SCORE 54253.059
AT ITER 4359 NEW BEST:: SOT 146225 SOS 59054 HAS SOPS 59054 HAS SOUS 54189 HAS SOUPS 54189 WITH SCORE 54248.054
AT ITER 4407 NEW BEST:: SOT 146201 SOS 58982 HAS SOPS 58982 HAS SOUS 54141 HAS SOUPS 54141 WITH SCORE 54199.982
AT ITER 4408 NEW BEST:: SOT 146199 SOS 58921 HAS SOPS 58921 HAS SOUS 54115 HAS SOUPS 54115 WITH SCORE 54173.921
AT ITER 4433 NEW BEST:: SOT 146191 SOS 58870 HAS SOPS 58870 HAS SOUS 54049 HAS SOUPS 54049 WITH SCORE 54107.87
AT ITER 4436 NEW BEST:: SOT 146135 SOS 58809 HAS SOPS 58809 HAS SOUS 53996 HAS SOUPS 53996 WITH SCORE 54054.809
AT ITER 4437 NEW BEST:: SOT 146121 SOS 58779 HAS SOPS 58779 HAS SOUS 53966 HAS SOUPS 53966 WITH SCORE 54024.779
AT ITER 4441 NEW BEST:: SOT 146076 SOS 58599 HAS SOPS 58599 HAS SOUS 53831 HAS SOUPS 53831 WITH SCORE 53889.599
AT ITER 4447 NEW BEST:: SOT 146074 SOS 58591 HAS SOPS 58591 HAS SOUS 53824 HAS SOUPS 53824 WITH SCORE 53882.591
AT ITER 4448 NEW BEST:: SOT 146074 SOS 58579 HAS SOPS 58579 HAS SOUS 53819 HAS SOUPS 53819 WITH SCORE 53877.579
AT ITER 4450 NEW BEST:: SOT 146074 SOS 58544 HAS SOPS 58544 HAS SOUS 53784 HAS SOUPS 53784 WITH SCORE 53842.544
AT ITER 4490 NEW BEST:: SOT 146033 SOS 58525 HAS SOPS 58525 HAS SOUS 53780 HAS SOUPS 53780 WITH SCORE 53838.525
AT ITER 4505 NEW BEST:: SOT 146029 SOS 58521 HAS SOPS 58521 HAS SOUS 53776 HAS SOUPS 53776 WITH SCORE 53834.521
AT ITER 4508 NEW BEST:: SOT 146039 SOS 58438 HAS SOPS 58438 HAS SOUS 53735 HAS SOUPS 53735 WITH SCORE 53793.438
AT ITER 4510 NEW BEST:: SOT 146037 SOS 58437 HAS SOPS 58437 HAS SOUS 53735 HAS SOUPS 53735 WITH SCORE 53793.437
AT ITER 4514 NEW BEST:: SOT 146030 SOS 58430 HAS SOPS 58430 HAS SOUS 53728 HAS SOUPS 53728 WITH SCORE 53786.43
AT ITER 4529 NEW BEST:: SOT 146030 SOS 58479 HAS SOPS 58479 HAS SOUS 53628 HAS SOUPS 53628 WITH SCORE 53686.479
AT ITER 4531 NEW BEST:: SOT 146030 SOS 58473 HAS SOPS 58473 HAS SOUS 53628 HAS SOUPS 53628 WITH SCORE 53686.473
AT ITER 4533 NEW BEST:: SOT 146052 SOS 58463 HAS SOPS 58463 HAS SOUS 53566 HAS SOUPS 53566 WITH SCORE 53624.463
AT ITER 4544 NEW BEST:: SOT 146060 SOS 58448 HAS SOPS 58448 HAS SOUS 53551 HAS SOUPS 53551 WITH SCORE 53609.448
AT ITER 4564 NEW BEST:: SOT 146075 SOS 58427 HAS SOPS 58427 HAS SOUS 53523 HAS SOUPS 53523 WITH SCORE 53581.427
AT ITER 4569 NEW BEST:: SOT 146043 SOS 58363 HAS SOPS 58363 HAS SOUS 53487 HAS SOUPS 53487 WITH SCORE 53545.363
AT ITER 4580 NEW BEST:: SOT 146036 SOS 58356 HAS SOPS 58356 HAS SOUS 53480 HAS SOUPS 53480 WITH SCORE 53538.356
AT ITER 4594 NEW BEST:: SOT 145982 SOS 58312 HAS SOPS 58312 HAS SOUS 53436 HAS SOUPS 53436 WITH SCORE 53494.312
AT ITER 4600 NEW BEST:: SOT 145938 SOS 58262 HAS SOPS 58262 HAS SOUS 53386 HAS SOUPS 53386 WITH SCORE 53444.262
AT ITER 4603 NEW BEST:: SOT 145922 SOS 58246 HAS SOPS 58246 HAS SOUS 53370 HAS SOUPS 53370 WITH SCORE 53428.246
AT ITER 4611 NEW BEST:: SOT 145907 SOS 58216 HAS SOPS 58216 HAS SOUS 53340 HAS SOUPS 53340 WITH SCORE 53398.216
AT ITER 4650 NEW BEST:: SOT 145795 SOS 57936 HAS SOPS 57936 HAS SOUS 53116 HAS SOUPS 53116 WITH SCORE 53173.936
AT ITER 4654 NEW BEST:: SOT 145795 SOS 57934 HAS SOPS 57934 HAS SOUS 53116 HAS SOUPS 53116 WITH SCORE 53173.934
AT ITER 4662 NEW BEST:: SOT 145760 SOS 57853 HAS SOPS 57853 HAS SOUS 53040 HAS SOUPS 53040 WITH SCORE 53097.853
AT ITER 4697 NEW BEST:: SOT 145760 SOS 57847 HAS SOPS 57847 HAS SOUS 53034 HAS SOUPS 53034 WITH SCORE 53091.847
AT ITER 4720 NEW BEST:: SOT 145759 SOS 57844 HAS SOPS 57844 HAS SOUS 53031 HAS SOUPS 53031 WITH SCORE 53088.844
AT ITER 4722 NEW BEST:: SOT 145759 SOS 57839 HAS SOPS 57839 HAS SOUS 53026 HAS SOUPS 53026 WITH SCORE 53083.839
AT ITER 4731 NEW BEST:: SOT 145681 SOS 57702 HAS SOPS 57702 HAS SOUS 52866 HAS SOUPS 52866 WITH SCORE 52923.702
AT ITER 4736 NEW BEST:: SOT 145661 SOS 57619 HAS SOPS 57619 HAS SOUS 52783 HAS SOUPS 52783 WITH SCORE 52840.619
AT ITER 4741 NEW BEST:: SOT 145580 SOS 57514 HAS SOPS 57514 HAS SOUS 52707 HAS SOUPS 52707 WITH SCORE 52764.514
AT ITER 4762 NEW BEST:: SOT 145539 SOS 57444 HAS SOPS 57444 HAS SOUS 52637 HAS SOUPS 52637 WITH SCORE 52694.444
AT ITER 4810 NEW BEST:: SOT 145517 SOS 57485 HAS SOPS 57485 HAS SOUS 52628 HAS SOUPS 52628 WITH SCORE 52685.485
AT ITER 4859 NEW BEST:: SOT 145503 SOS 57470 HAS SOPS 57470 HAS SOUS 52612 HAS SOUPS 52612 WITH SCORE 52669.47
AT ITER 4872 NEW BEST:: SOT 145481 SOS 57436 HAS SOPS 57436 HAS SOUS 52568 HAS SOUPS 52568 WITH SCORE 52625.436
AT ITER 4880 NEW BEST:: SOT 145463 SOS 57409 HAS SOPS 57409 HAS SOUS 52541 HAS SOUPS 52541 WITH SCORE 52598.409
AT ITER 4892 NEW BEST:: SOT 145427 SOS 57384 HAS SOPS 57384 HAS SOUS 52477 HAS SOUPS 52477 WITH SCORE 52534.384
AT ITER 4899 NEW BEST:: SOT 145448 SOS 57324 HAS SOPS 57324 HAS SOUS 52462 HAS SOUPS 52462 WITH SCORE 52519.324
AT ITER 4910 NEW BEST:: SOT 145447 SOS 57321 HAS SOPS 57321 HAS SOUS 52461 HAS SOUPS 52461 WITH SCORE 52518.321
AT ITER 4929 NEW BEST:: SOT 145425 SOS 57297 HAS SOPS 57297 HAS SOUS 52437 HAS SOUPS 52437 WITH SCORE 52494.297
AT ITER 4930 NEW BEST:: SOT 145393 SOS 57241 HAS SOPS 57241 HAS SOUS 52381 HAS SOUPS 52381 WITH SCORE 52438.241
AT ITER 4934 NEW BEST:: SOT 145343 SOS 57179 HAS SOPS 57179 HAS SOUS 52315 HAS SOUPS 52315 WITH SCORE 52372.179
AT ITER 4956 NEW BEST:: SOT 145303 SOS 57175 HAS SOPS 57175 HAS SOUS 52311 HAS SOUPS 52311 WITH SCORE 52368.175
AT ITER 4974 NEW BEST:: SOT 145280 SOS 57152 HAS SOPS 57152 HAS SOUS 52288 HAS SOUPS 52288 WITH SCORE 52345.152
AT ITER 4977 NEW BEST:: SOT 145276 SOS 57146 HAS SOPS 57146 HAS SOUS 52282 HAS SOUPS 52282 WITH SCORE 52339.146
AT ITER 4997 NEW BEST:: SOT 145253 SOS 57035 HAS SOPS 57035 HAS SOUS 52215 HAS SOUPS 52215 WITH SCORE 52272.035
AT ITER 4998 NEW BEST:: SOT 145248 SOS 57030 HAS SOPS 57030 HAS SOUS 52210 HAS SOUPS 52210 WITH SCORE 52267.03
AT ITER 5010 NEW BEST:: SOT 145109 SOS 56878 HAS SOPS 56878 HAS SOUS 52058 HAS SOUPS 52058 WITH SCORE 52114.878
AT ITER 5015 NEW BEST:: SOT 145109 SOS 56878 HAS SOPS 56878 HAS SOUS 52045 HAS SOUPS 52045 WITH SCORE 52101.878
AT ITER 5038 NEW BEST:: SOT 145064 SOS 56833 HAS SOPS 56833 HAS SOUS 52000 HAS SOUPS 52000 WITH SCORE 52056.833
AT ITER 5043 NEW BEST:: SOT 145214 SOS 56930 HAS SOPS 56930 HAS SOUS 51997 HAS SOUPS 51997 WITH SCORE 52053.93
AT ITER 5050 NEW BEST:: SOT 145174 SOS 56890 HAS SOPS 56890 HAS SOUS 51977 HAS SOUPS 51977 WITH SCORE 52033.89
AT ITER 5055 NEW BEST:: SOT 145163 SOS 56879 HAS SOPS 56879 HAS SOUS 51977 HAS SOUPS 51977 WITH SCORE 52033.879
AT ITER 5059 NEW BEST:: SOT 145152 SOS 56857 HAS SOPS 56857 HAS SOUS 51883 HAS SOUPS 51883 WITH SCORE 51939.857
AT ITER 5070 NEW BEST:: SOT 145148 SOS 56853 HAS SOPS 56853 HAS SOUS 51879 HAS SOUPS 51879 WITH SCORE 51935.853
AT ITER 5074 NEW BEST:: SOT 145148 SOS 56845 HAS SOPS 56845 HAS SOUS 51868 HAS SOUPS 51868 WITH SCORE 51924.845
AT ITER 5090 NEW BEST:: SOT 145128 SOS 56825 HAS SOPS 56825 HAS SOUS 51859 HAS SOUPS 51859 WITH SCORE 51915.825
AT ITER 5098 NEW BEST:: SOT 145128 SOS 56797 HAS SOPS 56797 HAS SOUS 51854 HAS SOUPS 51854 WITH SCORE 51910.797
AT ITER 5103 NEW BEST:: SOT 145127 SOS 56795 HAS SOPS 56795 HAS SOUS 51852 HAS SOUPS 51852 WITH SCORE 51908.795
AT ITER 5106 NEW BEST:: SOT 145144 SOS 56788 HAS SOPS 56788 HAS SOUS 51839 HAS SOUPS 51839 WITH SCORE 51895.788
AT ITER 5124 NEW BEST:: SOT 145219 SOS 56460 HAS SOPS 56460 HAS SOUS 51817 HAS SOUPS 51817 WITH SCORE 51873.46
AT ITER 5140 NEW BEST:: SOT 145191 SOS 56432 HAS SOPS 56432 HAS SOUS 51817 HAS SOUPS 51817 WITH SCORE 51873.432
AT ITER 5176 NEW BEST:: SOT 145189 SOS 56402 HAS SOPS 56402 HAS SOUS 51787 HAS SOUPS 51787 WITH SCORE 51843.402
AT ITER 5180 NEW BEST:: SOT 145183 SOS 56387 HAS SOPS 56387 HAS SOUS 51778 HAS SOUPS 51778 WITH SCORE 51834.387
AT ITER 5182 NEW BEST:: SOT 145174 SOS 56378 HAS SOPS 56378 HAS SOUS 51769 HAS SOUPS 51769 WITH SCORE 51825.378
AT ITER 5189 NEW BEST:: SOT 145158 SOS 56386 HAS SOPS 56386 HAS SOUS 51743 HAS SOUPS 51743 WITH SCORE 51799.386
AT ITER 5203 NEW BEST:: SOT 145137 SOS 56388 HAS SOPS 56388 HAS SOUS 51741 HAS SOUPS 51741 WITH SCORE 51797.388
AT ITER 5204 NEW BEST:: SOT 145123 SOS 56377 HAS SOPS 56377 HAS SOUS 51730 HAS SOUPS 51730 WITH SCORE 51786.377
AT ITER 5210 NEW BEST:: SOT 145096 SOS 56332 HAS SOPS 56332 HAS SOUS 51694 HAS SOUPS 51694 WITH SCORE 51750.332
AT ITER 5225 NEW BEST:: SOT 145056 SOS 56327 HAS SOPS 56327 HAS SOUS 51689 HAS SOUPS 51689 WITH SCORE 51745.327
AT ITER 5228 NEW BEST:: SOT 145055 SOS 56326 HAS SOPS 56326 HAS SOUS 51688 HAS SOUPS 51688 WITH SCORE 51744.326
AT ITER 5241 NEW BEST:: SOT 144975 SOS 56223 HAS SOPS 56223 HAS SOUS 51540 HAS SOUPS 51540 WITH SCORE 51596.223
AT ITER 5253 NEW BEST:: SOT 144984 SOS 56160 HAS SOPS 56160 HAS SOUS 51485 HAS SOUPS 51485 WITH SCORE 51541.16
AT ITER 5287 NEW BEST:: SOT 144960 SOS 56136 HAS SOPS 56136 HAS SOUS 51461 HAS SOUPS 51461 WITH SCORE 51517.136
AT ITER 5291 NEW BEST:: SOT 144954 SOS 56114 HAS SOPS 56114 HAS SOUS 51443 HAS SOUPS 51443 WITH SCORE 51499.114
AT ITER 5299 NEW BEST:: SOT 144895 SOS 56013 HAS SOPS 56013 HAS SOUS 51401 HAS SOUPS 51401 WITH SCORE 51457.013
AT ITER 5349 NEW BEST:: SOT 144895 SOS 56023 HAS SOPS 56023 HAS SOUS 51361 HAS SOUPS 51361 WITH SCORE 51417.023
AT ITER 5373 NEW BEST:: SOT 144840 SOS 55845 HAS SOPS 55845 HAS SOUS 51196 HAS SOUPS 51196 WITH SCORE 51251.845
AT ITER 5428 NEW BEST:: SOT 144817 SOS 55847 HAS SOPS 55847 HAS SOUS 51192 HAS SOUPS 51192 WITH SCORE 51247.847
AT ITER 5431 NEW BEST:: SOT 144817 SOS 55839 HAS SOPS 55839 HAS SOUS 51192 HAS SOUPS 51192 WITH SCORE 51247.839
AT ITER 5432 NEW BEST:: SOT 144817 SOS 55826 HAS SOPS 55826 HAS SOUS 51147 HAS SOUPS 51147 WITH SCORE 51202.826
AT ITER 5466 NEW BEST:: SOT 144785 SOS 55762 HAS SOPS 55762 HAS SOUS 51115 HAS SOUPS 51115 WITH SCORE 51170.762
AT ITER 5467 NEW BEST:: SOT 144752 SOS 55649 HAS SOPS 55649 HAS SOUS 51002 HAS SOUPS 51002 WITH SCORE 51057.649
AT ITER 5468 NEW BEST:: SOT 144730 SOS 55539 HAS SOPS 55539 HAS SOUS 50958 HAS SOUPS 50958 WITH SCORE 51013.539
AT ITER 5472 NEW BEST:: SOT 144759 SOS 55511 HAS SOPS 55511 HAS SOUS 50930 HAS SOUPS 50930 WITH SCORE 50985.511
AT ITER 5475 NEW BEST:: SOT 144655 SOS 55315 HAS SOPS 55315 HAS SOUS 50718 HAS SOUPS 50718 WITH SCORE 50773.315
AT ITER 5483 NEW BEST:: SOT 144658 SOS 55288 HAS SOPS 55288 HAS SOUS 50708 HAS SOUPS 50708 WITH SCORE 50763.288
AT ITER 5490 NEW BEST:: SOT 144668 SOS 55343 HAS SOPS 55343 HAS SOUS 50697 HAS SOUPS 50697 WITH SCORE 50752.343
AT ITER 5491 NEW BEST:: SOT 144668 SOS 55303 HAS SOPS 55303 HAS SOUS 50635 HAS SOUPS 50635 WITH SCORE 50690.303
AT ITER 5504 NEW BEST:: SOT 144656 SOS 55252 HAS SOPS 55252 HAS SOUS 50610 HAS SOUPS 50610 WITH SCORE 50665.252
AT ITER 5506 NEW BEST:: SOT 144626 SOS 55228 HAS SOPS 55228 HAS SOUS 50599 HAS SOUPS 50599 WITH SCORE 50654.228
AT ITER 5559 NEW BEST:: SOT 144624 SOS 55226 HAS SOPS 55226 HAS SOUS 50599 HAS SOUPS 50599 WITH SCORE 50654.226
AT ITER 5570 NEW BEST:: SOT 144617 SOS 55215 HAS SOPS 55215 HAS SOUS 50588 HAS SOUPS 50588 WITH SCORE 50643.215
AT ITER 5572 NEW BEST:: SOT 144606 SOS 55173 HAS SOPS 55173 HAS SOUS 50543 HAS SOUPS 50543 WITH SCORE 50598.173
AT ITER 5578 NEW BEST:: SOT 144556 SOS 55104 HAS SOPS 55104 HAS SOUS 50450 HAS SOUPS 50450 WITH SCORE 50505.104
AT ITER 5593 NEW BEST:: SOT 144546 SOS 55074 HAS SOPS 55074 HAS SOUS 50420 HAS SOUPS 50420 WITH SCORE 50475.074
AT ITER 5605 NEW BEST:: SOT 144471 SOS 54999 HAS SOPS 54999 HAS SOUS 50345 HAS SOUPS 50345 WITH SCORE 50399.999
AT ITER 5606 NEW BEST:: SOT 144469 SOS 54867 HAS SOPS 54867 HAS SOUS 50192 HAS SOUPS 50192 WITH SCORE 50246.867
AT ITER 5611 NEW BEST:: SOT 144471 SOS 54868 HAS SOPS 54868 HAS SOUS 50191 HAS SOUPS 50191 WITH SCORE 50245.868
AT ITER 5613 NEW BEST:: SOT 144466 SOS 54863 HAS SOPS 54863 HAS SOUS 50180 HAS SOUPS 50180 WITH SCORE 50234.863
AT ITER 5637 NEW BEST:: SOT 144468 SOS 54751 HAS SOPS 54751 HAS SOUS 50124 HAS SOUPS 50124 WITH SCORE 50178.751
AT ITER 5640 NEW BEST:: SOT 144432 SOS 54715 HAS SOPS 54715 HAS SOUS 50124 HAS SOUPS 50124 WITH SCORE 50178.715
AT ITER 5641 NEW BEST:: SOT 144366 SOS 54649 HAS SOPS 54649 HAS SOUS 50058 HAS SOUPS 50058 WITH SCORE 50112.649
AT ITER 5642 NEW BEST:: SOT 144393 SOS 54647 HAS SOPS 54647 HAS SOUS 50056 HAS SOUPS 50056 WITH SCORE 50110.647
AT ITER 5679 NEW BEST:: SOT 144377 SOS 54631 HAS SOPS 54631 HAS SOUS 50030 HAS SOUPS 50030 WITH SCORE 50084.631
AT ITER 5683 NEW BEST:: SOT 144341 SOS 54608 HAS SOPS 54608 HAS SOUS 50007 HAS SOUPS 50007 WITH SCORE 50061.608
AT ITER 5695 NEW BEST:: SOT 144297 SOS 54514 HAS SOPS 54514 HAS SOUS 49913 HAS SOUPS 49913 WITH SCORE 49967.514
AT ITER 5698 NEW BEST:: SOT 144254 SOS 54471 HAS SOPS 54471 HAS SOUS 49870 HAS SOUPS 49870 WITH SCORE 49924.471
AT ITER 5715 NEW BEST:: SOT 144216 SOS 54385 HAS SOPS 54385 HAS SOUS 49784 HAS SOUPS 49784 WITH SCORE 49838.385
AT ITER 5742 NEW BEST:: SOT 144256 SOS 54621 HAS SOPS 54621 HAS SOUS 49769 HAS SOUPS 49769 WITH SCORE 49823.621
AT ITER 5754 NEW BEST:: SOT 144248 SOS 54614 HAS SOPS 54614 HAS SOUS 49762 HAS SOUPS 49762 WITH SCORE 49816.614
AT ITER 5765 NEW BEST:: SOT 144248 SOS 54567 HAS SOPS 54567 HAS SOUS 49739 HAS SOUPS 49739 WITH SCORE 49793.567
AT ITER 5772 NEW BEST:: SOT 144364 SOS 54463 HAS SOPS 54463 HAS SOUS 49705 HAS SOUPS 49705 WITH SCORE 49759.463
AT ITER 5780 NEW BEST:: SOT 144364 SOS 54451 HAS SOPS 54451 HAS SOUS 49699 HAS SOUPS 49699 WITH SCORE 49753.451
AT ITER 5792 NEW BEST:: SOT 144364 SOS 54436 HAS SOPS 54436 HAS SOUS 49684 HAS SOUPS 49684 WITH SCORE 49738.436
AT ITER 5823 NEW BEST:: SOT 144363 SOS 54435 HAS SOPS 54435 HAS SOUS 49683 HAS SOUPS 49683 WITH SCORE 49737.435
AT ITER 5844 NEW BEST:: SOT 144373 SOS 54429 HAS SOPS 54429 HAS SOUS 49677 HAS SOUPS 49677 WITH SCORE 49731.429
AT ITER 5848 NEW BEST:: SOT 144343 SOS 54414 HAS SOPS 54414 HAS SOUS 49617 HAS SOUPS 49617 WITH SCORE 49671.414
AT ITER 5882 NEW BEST:: SOT 144343 SOS 54408 HAS SOPS 54408 HAS SOUS 49611 HAS SOUPS 49611 WITH SCORE 49665.408
AT ITER 5884 NEW BEST:: SOT 144330 SOS 54365 HAS SOPS 54365 HAS SOUS 49585 HAS SOUPS 49585 WITH SCORE 49639.365
AT ITER 5904 NEW BEST:: SOT 144324 SOS 54345 HAS SOPS 54345 HAS SOUS 49571 HAS SOUPS 49571 WITH SCORE 49625.345
AT ITER 5919 NEW BEST:: SOT 144324 SOS 54345 HAS SOPS 54345 HAS SOUS 49568 HAS SOUPS 49568 WITH SCORE 49622.345
AT ITER 5961 NEW BEST:: SOT 144324 SOS 54345 HAS SOPS 54345 HAS SOUS 49557 HAS SOUPS 49557 WITH SCORE 49611.345
AT ITER 5990 NEW BEST:: SOT 144313 SOS 54312 HAS SOPS 54312 HAS SOUS 49524 HAS SOUPS 49524 WITH SCORE 49578.312
AT ITER 5998 NEW BEST:: SOT 144305 SOS 54304 HAS SOPS 54304 HAS SOUS 49516 HAS SOUPS 49516 WITH SCORE 49570.304
AT ITER 5999 NEW BEST:: SOT 144291 SOS 54281 HAS SOPS 54281 HAS SOUS 49507 HAS SOUPS 49507 WITH SCORE 49561.281
AT ITER 6041 NEW BEST:: SOT 144291 SOS 54263 HAS SOPS 54263 HAS SOUS 49498 HAS SOUPS 49498 WITH SCORE 49552.263
AT ITER 6049 NEW BEST:: SOT 144280 SOS 54252 HAS SOPS 54252 HAS SOUS 49487 HAS SOUPS 49487 WITH SCORE 49541.252
AT ITER 6074 NEW BEST:: SOT 144281 SOS 54268 HAS SOPS 54268 HAS SOUS 49472 HAS SOUPS 49472 WITH SCORE 49526.268
AT ITER 6076 NEW BEST:: SOT 144269 SOS 54256 HAS SOPS 54256 HAS SOUS 49460 HAS SOUPS 49460 WITH SCORE 49514.256
AT ITER 6091 NEW BEST:: SOT 144256 SOS 54243 HAS SOPS 54243 HAS SOUS 49460 HAS SOUPS 49460 WITH SCORE 49514.243
AT ITER 6098 NEW BEST:: SOT 144252 SOS 54235 HAS SOPS 54235 HAS SOUS 49452 HAS SOUPS 49452 WITH SCORE 49506.235
AT ITER 6146 NEW BEST:: SOT 144428 SOS 54060 HAS SOPS 54060 HAS SOUS 49407 HAS SOUPS 49407 WITH SCORE 49461.06
AT ITER 6150 NEW BEST:: SOT 144389 SOS 54021 HAS SOPS 54021 HAS SOUS 49368 HAS SOUPS 49368 WITH SCORE 49422.021
AT ITER 6155 NEW BEST:: SOT 144369 SOS 53984 HAS SOPS 53984 HAS SOUS 49341 HAS SOUPS 49341 WITH SCORE 49394.984
AT ITER 6160 NEW BEST:: SOT 144297 SOS 53912 HAS SOPS 53912 HAS SOUS 49269 HAS SOUPS 49269 WITH SCORE 49322.912
AT ITER 6162 NEW BEST:: SOT 144297 SOS 53861 HAS SOPS 53861 HAS SOUS 49218 HAS SOUPS 49218 WITH SCORE 49271.861
AT ITER 6163 NEW BEST:: SOT 144263 SOS 53488 HAS SOPS 53488 HAS SOUS 49037 HAS SOUPS 49037 WITH SCORE 49090.488
AT ITER 6169 NEW BEST:: SOT 144262 SOS 53486 HAS SOPS 53486 HAS SOUS 49035 HAS SOUPS 49035 WITH SCORE 49088.486
AT ITER 6193 NEW BEST:: SOT 144252 SOS 53479 HAS SOPS 53479 HAS SOUS 49028 HAS SOUPS 49028 WITH SCORE 49081.479
AT ITER 6221 NEW BEST:: SOT 144253 SOS 53548 HAS SOPS 53548 HAS SOUS 49013 HAS SOUPS 49013 WITH SCORE 49066.548
AT ITER 6232 NEW BEST:: SOT 144239 SOS 53308 HAS SOPS 53308 HAS SOUS 48930 HAS SOUPS 48930 WITH SCORE 48983.308
AT ITER 6233 NEW BEST:: SOT 144235 SOS 53165 HAS SOPS 53165 HAS SOUS 48846 HAS SOUPS 48846 WITH SCORE 48899.165
AT ITER 6239 NEW BEST:: SOT 144250 SOS 53108 HAS SOPS 53108 HAS SOUS 48797 HAS SOUPS 48797 WITH SCORE 48850.108
AT ITER 6245 NEW BEST:: SOT 144163 SOS 52968 HAS SOPS 52968 HAS SOUS 48657 HAS SOUPS 48657 WITH SCORE 48709.968
AT ITER 6250 NEW BEST:: SOT 144143 SOS 52928 HAS SOPS 52928 HAS SOUS 48617 HAS SOUPS 48617 WITH SCORE 48669.928
AT ITER 6252 NEW BEST:: SOT 144140 SOS 52925 HAS SOPS 52925 HAS SOUS 48614 HAS SOUPS 48614 WITH SCORE 48666.925
AT ITER 6258 NEW BEST:: SOT 144120 SOS 52860 HAS SOPS 52860 HAS SOUS 48565 HAS SOUPS 48565 WITH SCORE 48617.86
AT ITER 6272 NEW BEST:: SOT 144068 SOS 52797 HAS SOPS 52797 HAS SOUS 48528 HAS SOUPS 48528 WITH SCORE 48580.797
AT ITER 6295 NEW BEST:: SOT 144172 SOS 52601 HAS SOPS 52601 HAS SOUS 48357 HAS SOUPS 48357 WITH SCORE 48409.601
AT ITER 6307 NEW BEST:: SOT 144161 SOS 52590 HAS SOPS 52590 HAS SOUS 48346 HAS SOUPS 48346 WITH SCORE 48398.59
AT ITER 6323 NEW BEST:: SOT 144144 SOS 52573 HAS SOPS 52573 HAS SOUS 48329 HAS SOUPS 48329 WITH SCORE 48381.573
AT ITER 6334 NEW BEST:: SOT 143997 SOS 52340 HAS SOPS 52340 HAS SOUS 48096 HAS SOUPS 48096 WITH SCORE 48148.34
AT ITER 6365 NEW BEST:: SOT 143997 SOS 52340 HAS SOPS 52340 HAS SOUS 48088 HAS SOUPS 48088 WITH SCORE 48140.34
AT ITER 6379 NEW BEST:: SOT 143916 SOS 52265 HAS SOPS 52265 HAS SOUS 48037 HAS SOUPS 48037 WITH SCORE 48089.265
AT ITER 6415 NEW BEST:: SOT 143878 SOS 52227 HAS SOPS 52227 HAS SOUS 47999 HAS SOUPS 47999 WITH SCORE 48051.227
AT ITER 6419 NEW BEST:: SOT 143875 SOS 52215 HAS SOPS 52215 HAS SOUS 47990 HAS SOUPS 47990 WITH SCORE 48042.215
AT ITER 6432 NEW BEST:: SOT 143831 SOS 52171 HAS SOPS 52171 HAS SOUS 47946 HAS SOUPS 47946 WITH SCORE 47998.171
AT ITER 6433 NEW BEST:: SOT 143825 SOS 52160 HAS SOPS 52160 HAS SOUS 47935 HAS SOUPS 47935 WITH SCORE 47987.16
AT ITER 6440 NEW BEST:: SOT 143824 SOS 52156 HAS SOPS 52156 HAS SOUS 47930 HAS SOUPS 47930 WITH SCORE 47982.156
AT ITER 6526 NEW BEST:: SOT 143791 SOS 52119 HAS SOPS 52119 HAS SOUS 47893 HAS SOUPS 47893 WITH SCORE 47945.119
AT ITER 6530 NEW BEST:: SOT 143771 SOS 52077 HAS SOPS 52077 HAS SOUS 47864 HAS SOUPS 47864 WITH SCORE 47916.077
AT ITER 6531 NEW BEST:: SOT 143721 SOS 52053 HAS SOPS 52053 HAS SOUS 47789 HAS SOUPS 47789 WITH SCORE 47841.053
AT ITER 6543 NEW BEST:: SOT 143712 SOS 52035 HAS SOPS 52035 HAS SOUS 47771 HAS SOUPS 47771 WITH SCORE 47823.035
AT ITER 6546 NEW BEST:: SOT 143654 SOS 51977 HAS SOPS 51977 HAS SOUS 47713 HAS SOUPS 47713 WITH SCORE 47764.977
AT ITER 6548 NEW BEST:: SOT 143648 SOS 51947 HAS SOPS 51947 HAS SOUS 47701 HAS SOUPS 47701 WITH SCORE 47752.947
AT ITER 6561 NEW BEST:: SOT 143648 SOS 51945 HAS SOPS 51945 HAS SOUS 47699 HAS SOUPS 47699 WITH SCORE 47750.945
AT ITER 6574 NEW BEST:: SOT 143626 SOS 51923 HAS SOPS 51923 HAS SOUS 47677 HAS SOUPS 47677 WITH SCORE 47728.923
AT ITER 6601 NEW BEST:: SOT 143620 SOS 51885 HAS SOPS 51885 HAS SOUS 47639 HAS SOUPS 47639 WITH SCORE 47690.885
AT ITER 6611 NEW BEST:: SOT 143592 SOS 51776 HAS SOPS 51776 HAS SOUS 47558 HAS SOUPS 47558 WITH SCORE 47609.776
AT ITER 6612 NEW BEST:: SOT 143586 SOS 51752 HAS SOPS 51752 HAS SOUS 47534 HAS SOUPS 47534 WITH SCORE 47585.752
AT ITER 6668 NEW BEST:: SOT 143564 SOS 51708 HAS SOPS 51708 HAS SOUS 47490 HAS SOUPS 47490 WITH SCORE 47541.708
AT ITER 6714 NEW BEST:: SOT 143540 SOS 51684 HAS SOPS 51684 HAS SOUS 47478 HAS SOUPS 47478 WITH SCORE 47529.684
AT ITER 6715 NEW BEST:: SOT 143540 SOS 51684 HAS SOPS 51684 HAS SOUS 47474 HAS SOUPS 47474 WITH SCORE 47525.684
AT ITER 6752 NEW BEST:: SOT 143540 SOS 51679 HAS SOPS 51679 HAS SOUS 47473 HAS SOUPS 47473 WITH SCORE 47524.679
AT ITER 6757 NEW BEST:: SOT 143534 SOS 51673 HAS SOPS 51673 HAS SOUS 47467 HAS SOUPS 47467 WITH SCORE 47518.673
AT ITER 6759 NEW BEST:: SOT 143534 SOS 51624 HAS SOPS 51624 HAS SOUS 47421 HAS SOUPS 47421 WITH SCORE 47472.624
AT ITER 6763 NEW BEST:: SOT 143546 SOS 51599 HAS SOPS 51599 HAS SOUS 47396 HAS SOUPS 47396 WITH SCORE 47447.599
AT ITER 6772 NEW BEST:: SOT 143563 SOS 51584 HAS SOPS 51584 HAS SOUS 47381 HAS SOUPS 47381 WITH SCORE 47432.584
AT ITER 6792 NEW BEST:: SOT 143556 SOS 51577 HAS SOPS 51577 HAS SOUS 47374 HAS SOUPS 47374 WITH SCORE 47425.577
AT ITER 6798 NEW BEST:: SOT 143558 SOS 51579 HAS SOPS 51579 HAS SOUS 47368 HAS SOUPS 47368 WITH SCORE 47419.579
AT ITER 6815 NEW BEST:: SOT 143542 SOS 51512 HAS SOPS 51512 HAS SOUS 47335 HAS SOUPS 47335 WITH SCORE 47386.512
AT ITER 6822 NEW BEST:: SOT 143465 SOS 51453 HAS SOPS 51453 HAS SOUS 47313 HAS SOUPS 47313 WITH SCORE 47364.453
AT ITER 6826 NEW BEST:: SOT 143401 SOS 51256 HAS SOPS 51256 HAS SOUS 47116 HAS SOUPS 47116 WITH SCORE 47167.256
AT ITER 6829 NEW BEST:: SOT 143409 SOS 51224 HAS SOPS 51224 HAS SOUS 47100 HAS SOUPS 47100 WITH SCORE 47151.224
AT ITER 6854 NEW BEST:: SOT 143409 SOS 51211 HAS SOPS 51211 HAS SOUS 47087 HAS SOUPS 47087 WITH SCORE 47138.211
AT ITER 6875 NEW BEST:: SOT 143271 SOS 51057 HAS SOPS 51057 HAS SOUS 46912 HAS SOUPS 46912 WITH SCORE 46963.057
AT ITER 6891 NEW BEST:: SOT 143284 SOS 51051 HAS SOPS 51051 HAS SOUS 46906 HAS SOUPS 46906 WITH SCORE 46957.051
AT ITER 6915 NEW BEST:: SOT 143284 SOS 51028 HAS SOPS 51028 HAS SOUS 46883 HAS SOUPS 46883 WITH SCORE 46934.028
AT ITER 6922 NEW BEST:: SOT 143174 SOS 50946 HAS SOPS 50946 HAS SOUS 46747 HAS SOUPS 46747 WITH SCORE 46797.946
AT ITER 6924 NEW BEST:: SOT 143174 SOS 50877 HAS SOPS 50877 HAS SOUS 46738 HAS SOUPS 46738 WITH SCORE 46788.877
AT ITER 6968 NEW BEST:: SOT 143170 SOS 50870 HAS SOPS 50870 HAS SOUS 46732 HAS SOUPS 46732 WITH SCORE 46782.87
AT ITER 6975 NEW BEST:: SOT 143170 SOS 50858 HAS SOPS 50858 HAS SOUS 46716 HAS SOUPS 46716 WITH SCORE 46766.858
AT ITER 6977 NEW BEST:: SOT 143016 SOS 50530 HAS SOPS 50530 HAS SOUS 46388 HAS SOUPS 46388 WITH SCORE 46438.53
AT ITER 6989 NEW BEST:: SOT 142947 SOS 50521 HAS SOPS 50521 HAS SOUS 46379 HAS SOUPS 46379 WITH SCORE 46429.521
AT ITER 7002 NEW BEST:: SOT 142891 SOS 50449 HAS SOPS 50449 HAS SOUS 46335 HAS SOUPS 46335 WITH SCORE 46385.449
AT ITER 7008 NEW BEST:: SOT 142891 SOS 50320 HAS SOPS 50320 HAS SOUS 46267 HAS SOUPS 46267 WITH SCORE 46317.32
AT ITER 7106 NEW BEST:: SOT 142855 SOS 50205 HAS SOPS 50205 HAS SOUS 46176 HAS SOUPS 46176 WITH SCORE 46226.205
AT ITER 7110 NEW BEST:: SOT 142843 SOS 50193 HAS SOPS 50193 HAS SOUS 46164 HAS SOUPS 46164 WITH SCORE 46214.193
AT ITER 7131 NEW BEST:: SOT 142827 SOS 50059 HAS SOPS 50059 HAS SOUS 46071 HAS SOUPS 46071 WITH SCORE 46121.059
AT ITER 7135 NEW BEST:: SOT 142827 SOS 50044 HAS SOPS 50044 HAS SOUS 46041 HAS SOUPS 46041 WITH SCORE 46091.044
AT ITER 7146 NEW BEST:: SOT 142810 SOS 49993 HAS SOPS 49993 HAS SOUS 45973 HAS SOUPS 45973 WITH SCORE 46022.993
AT ITER 7168 NEW BEST:: SOT 142744 SOS 49941 HAS SOPS 49941 HAS SOUS 45942 HAS SOUPS 45942 WITH SCORE 45991.941
AT ITER 7177 NEW BEST:: SOT 142729 SOS 49936 HAS SOPS 49936 HAS SOUS 45937 HAS SOUPS 45937 WITH SCORE 45986.936
AT ITER 7210 NEW BEST:: SOT 142718 SOS 49921 HAS SOPS 49921 HAS SOUS 45922 HAS SOUPS 45922 WITH SCORE 45971.921
AT ITER 7221 NEW BEST:: SOT 142727 SOS 49907 HAS SOPS 49907 HAS SOUS 45908 HAS SOUPS 45908 WITH SCORE 45957.907
AT ITER 7245 NEW BEST:: SOT 142709 SOS 49859 HAS SOPS 49859 HAS SOUS 45866 HAS SOUPS 45866 WITH SCORE 45915.859
AT ITER 7264 NEW BEST:: SOT 142678 SOS 49828 HAS SOPS 49828 HAS SOUS 45835 HAS SOUPS 45835 WITH SCORE 45884.828
AT ITER 7271 NEW BEST:: SOT 142645 SOS 49795 HAS SOPS 49795 HAS SOUS 45802 HAS SOUPS 45802 WITH SCORE 45851.795
AT ITER 7274 NEW BEST:: SOT 142609 SOS 49710 HAS SOPS 49710 HAS SOUS 45717 HAS SOUPS 45717 WITH SCORE 45766.71
AT ITER 7275 NEW BEST:: SOT 142564 SOS 49665 HAS SOPS 49665 HAS SOUS 45672 HAS SOUPS 45672 WITH SCORE 45721.665
AT ITER 7285 NEW BEST:: SOT 142564 SOS 49639 HAS SOPS 49639 HAS SOUS 45646 HAS SOUPS 45646 WITH SCORE 45695.639
AT ITER 7291 NEW BEST:: SOT 142494 SOS 49549 HAS SOPS 49549 HAS SOUS 45591 HAS SOUPS 45591 WITH SCORE 45640.549
AT ITER 7293 NEW BEST:: SOT 142494 SOS 49549 HAS SOPS 49549 HAS SOUS 45558 HAS SOUPS 45558 WITH SCORE 45607.549
AT ITER 7326 NEW BEST:: SOT 142488 SOS 49535 HAS SOPS 49535 HAS SOUS 45544 HAS SOUPS 45544 WITH SCORE 45593.535
AT ITER 7328 NEW BEST:: SOT 142475 SOS 49505 HAS SOPS 49505 HAS SOUS 45518 HAS SOUPS 45518 WITH SCORE 45567.505
AT ITER 7355 NEW BEST:: SOT 142472 SOS 49503 HAS SOPS 49503 HAS SOUS 45512 HAS SOUPS 45512 WITH SCORE 45561.503
AT ITER 7369 NEW BEST:: SOT 142468 SOS 49484 HAS SOPS 49484 HAS SOUS 45497 HAS SOUPS 45497 WITH SCORE 45546.484
AT ITER 7406 NEW BEST:: SOT 142476 SOS 49476 HAS SOPS 49476 HAS SOUS 45493 HAS SOUPS 45493 WITH SCORE 45542.476
AT ITER 7411 NEW BEST:: SOT 142475 SOS 49333 HAS SOPS 49333 HAS SOUS 45328 HAS SOUPS 45328 WITH SCORE 45377.333
AT ITER 7447 NEW BEST:: SOT 142480 SOS 49334 HAS SOPS 49334 HAS SOUS 45317 HAS SOUPS 45317 WITH SCORE 45366.334
AT ITER 7467 NEW BEST:: SOT 142458 SOS 49312 HAS SOPS 49312 HAS SOUS 45273 HAS SOUPS 45273 WITH SCORE 45322.312
AT ITER 7470 NEW BEST:: SOT 142452 SOS 49288 HAS SOPS 49288 HAS SOUS 45261 HAS SOUPS 45261 WITH SCORE 45310.288
AT ITER 7473 NEW BEST:: SOT 142460 SOS 49224 HAS SOPS 49224 HAS SOUS 45191 HAS SOUPS 45191 WITH SCORE 45240.224
AT ITER 7482 NEW BEST:: SOT 142459 SOS 49220 HAS SOPS 49220 HAS SOUS 45188 HAS SOUPS 45188 WITH SCORE 45237.22
AT ITER 7512 NEW BEST:: SOT 142451 SOS 49212 HAS SOPS 49212 HAS SOUS 45180 HAS SOUPS 45180 WITH SCORE 45229.212
AT ITER 7525 NEW BEST:: SOT 142410 SOS 49163 HAS SOPS 49163 HAS SOUS 45131 HAS SOUPS 45131 WITH SCORE 45180.163
AT ITER 7528 NEW BEST:: SOT 142401 SOS 49136 HAS SOPS 49136 HAS SOUS 45113 HAS SOUPS 45113 WITH SCORE 45162.136
AT ITER 7565 NEW BEST:: SOT 142413 SOS 49124 HAS SOPS 49124 HAS SOUS 45101 HAS SOUPS 45101 WITH SCORE 45150.124
AT ITER 7575 NEW BEST:: SOT 142357 SOS 49045 HAS SOPS 49045 HAS SOUS 45063 HAS SOUPS 45063 WITH SCORE 45112.045
AT ITER 7582 NEW BEST:: SOT 142402 SOS 49003 HAS SOPS 49003 HAS SOUS 45032 HAS SOUPS 45032 WITH SCORE 45081.003
AT ITER 7598 NEW BEST:: SOT 142401 SOS 48979 HAS SOPS 48979 HAS SOUS 45019 HAS SOUPS 45019 WITH SCORE 45067.979
AT ITER 7668 NEW BEST:: SOT 142401 SOS 48805 HAS SOPS 48805 HAS SOUS 44939 HAS SOUPS 44939 WITH SCORE 44987.805
AT ITER 7695 NEW BEST:: SOT 142399 SOS 48802 HAS SOPS 48802 HAS SOUS 44937 HAS SOUPS 44937 WITH SCORE 44985.802
AT ITER 7696 NEW BEST:: SOT 142399 SOS 48802 HAS SOPS 48802 HAS SOUS 44918 HAS SOUPS 44918 WITH SCORE 44966.802
AT ITER 7730 NEW BEST:: SOT 142394 SOS 48797 HAS SOPS 48797 HAS SOUS 44918 HAS SOUPS 44918 WITH SCORE 44966.797
AT ITER 7732 NEW BEST:: SOT 142368 SOS 48753 HAS SOPS 48753 HAS SOUS 44874 HAS SOUPS 44874 WITH SCORE 44922.753
AT ITER 7751 NEW BEST:: SOT 142350 SOS 48735 HAS SOPS 48735 HAS SOUS 44874 HAS SOUPS 44874 WITH SCORE 44922.735
AT ITER 7762 NEW BEST:: SOT 142320 SOS 48696 HAS SOPS 48696 HAS SOUS 44835 HAS SOUPS 44835 WITH SCORE 44883.696
AT ITER 7784 NEW BEST:: SOT 142304 SOS 48672 HAS SOPS 48672 HAS SOUS 44810 HAS SOUPS 44810 WITH SCORE 44858.672
AT ITER 7814 NEW BEST:: SOT 142302 SOS 48665 HAS SOPS 48665 HAS SOUS 44803 HAS SOUPS 44803 WITH SCORE 44851.665
AT ITER 7868 NEW BEST:: SOT 142346 SOS 48708 HAS SOPS 48708 HAS SOUS 44783 HAS SOUPS 44783 WITH SCORE 44831.708
AT ITER 7879 NEW BEST:: SOT 142330 SOS 48681 HAS SOPS 48681 HAS SOUS 44759 HAS SOUPS 44759 WITH SCORE 44807.681
AT ITER 7888 NEW BEST:: SOT 142329 SOS 48676 HAS SOPS 48676 HAS SOUS 44757 HAS SOUPS 44757 WITH SCORE 44805.676
AT ITER 7889 NEW BEST:: SOT 142329 SOS 48667 HAS SOPS 48667 HAS SOUS 44757 HAS SOUPS 44757 WITH SCORE 44805.667
AT ITER 7905 NEW BEST:: SOT 142315 SOS 48569 HAS SOPS 48569 HAS SOUS 44671 HAS SOUPS 44671 WITH SCORE 44719.569
AT ITER 7937 NEW BEST:: SOT 142335 SOS 48535 HAS SOPS 48535 HAS SOUS 44637 HAS SOUPS 44637 WITH SCORE 44685.535
AT ITER 7950 NEW BEST:: SOT 142335 SOS 48521 HAS SOPS 48521 HAS SOUS 44623 HAS SOUPS 44623 WITH SCORE 44671.521
AT ITER 7955 NEW BEST:: SOT 142333 SOS 48519 HAS SOPS 48519 HAS SOUS 44621 HAS SOUPS 44621 WITH SCORE 44669.519
AT ITER 7966 NEW BEST:: SOT 142316 SOS 48494 HAS SOPS 48494 HAS SOUS 44602 HAS SOUPS 44602 WITH SCORE 44650.494
AT ITER 7983 NEW BEST:: SOT 142310 SOS 48488 HAS SOPS 48488 HAS SOUS 44596 HAS SOUPS 44596 WITH SCORE 44644.488
AT ITER 8014 NEW BEST:: SOT 142311 SOS 48473 HAS SOPS 48473 HAS SOUS 44581 HAS SOUPS 44581 WITH SCORE 44629.473
AT ITER 8023 NEW BEST:: SOT 142311 SOS 48470 HAS SOPS 48470 HAS SOUS 44581 HAS SOUPS 44581 WITH SCORE 44629.47
AT ITER 8036 NEW BEST:: SOT 142303 SOS 48484 HAS SOPS 48484 HAS SOUS 44565 HAS SOUPS 44565 WITH SCORE 44613.484
AT ITER 8038 NEW BEST:: SOT 142297 SOS 48478 HAS SOPS 48478 HAS SOUS 44559 HAS SOUPS 44559 WITH SCORE 44607.478
AT ITER 8043 NEW BEST:: SOT 142296 SOS 48458 HAS SOPS 48458 HAS SOUS 44539 HAS SOUPS 44539 WITH SCORE 44587.458
AT ITER 8067 NEW BEST:: SOT 142253 SOS 48313 HAS SOPS 48313 HAS SOUS 44431 HAS SOUPS 44431 WITH SCORE 44479.313
AT ITER 8085 NEW BEST:: SOT 142217 SOS 48241 HAS SOPS 48241 HAS SOUS 44359 HAS SOUPS 44359 WITH SCORE 44407.241
AT ITER 8142 NEW BEST:: SOT 142217 SOS 48189 HAS SOPS 48189 HAS SOUS 44307 HAS SOUPS 44307 WITH SCORE 44355.189
AT ITER 8156 NEW BEST:: SOT 142200 SOS 48172 HAS SOPS 48172 HAS SOUS 44290 HAS SOUPS 44290 WITH SCORE 44338.172
AT ITER 8170 NEW BEST:: SOT 142188 SOS 48176 HAS SOPS 48176 HAS SOUS 44242 HAS SOUPS 44242 WITH SCORE 44290.176
AT ITER 8175 NEW BEST:: SOT 142171 SOS 48158 HAS SOPS 48158 HAS SOUS 44201 HAS SOUPS 44201 WITH SCORE 44249.158
AT ITER 8198 NEW BEST:: SOT 142160 SOS 48125 HAS SOPS 48125 HAS SOUS 44168 HAS SOUPS 44168 WITH SCORE 44216.125
AT ITER 8200 NEW BEST:: SOT 142127 SOS 48089 HAS SOPS 48089 HAS SOUS 44132 HAS SOUPS 44132 WITH SCORE 44180.089
AT ITER 8211 NEW BEST:: SOT 142127 SOS 48164 HAS SOPS 48164 HAS SOUS 44099 HAS SOUPS 44099 WITH SCORE 44147.164
AT ITER 8216 NEW BEST:: SOT 142139 SOS 48206 HAS SOPS 48206 HAS SOUS 44079 HAS SOUPS 44079 WITH SCORE 44127.206
AT ITER 8217 NEW BEST:: SOT 142112 SOS 48194 HAS SOPS 48194 HAS SOUS 44067 HAS SOUPS 44067 WITH SCORE 44115.194
AT ITER 8222 NEW BEST:: SOT 142152 SOS 48178 HAS SOPS 48178 HAS SOUS 44039 HAS SOUPS 44039 WITH SCORE 44087.178
AT ITER 8223 NEW BEST:: SOT 142135 SOS 48162 HAS SOPS 48162 HAS SOUS 44023 HAS SOUPS 44023 WITH SCORE 44071.162
AT ITER 8242 NEW BEST:: SOT 142135 SOS 48136 HAS SOPS 48136 HAS SOUS 43997 HAS SOUPS 43997 WITH SCORE 44045.136
AT ITER 8243 NEW BEST:: SOT 142075 SOS 48140 HAS SOPS 48140 HAS SOUS 43953 HAS SOUPS 43953 WITH SCORE 44001.14
AT ITER 8329 NEW BEST:: SOT 142075 SOS 48130 HAS SOPS 48130 HAS SOUS 43948 HAS SOUPS 43948 WITH SCORE 43996.13
AT ITER 8360 NEW BEST:: SOT 142051 SOS 48106 HAS SOPS 48106 HAS SOUS 43900 HAS SOUPS 43900 WITH SCORE 43948.106
AT ITER 8379 NEW BEST:: SOT 142051 SOS 48071 HAS SOPS 48071 HAS SOUS 43865 HAS SOUPS 43865 WITH SCORE 43913.071
AT ITER 8413 NEW BEST:: SOT 142045 SOS 48043 HAS SOPS 48043 HAS SOUS 43837 HAS SOUPS 43837 WITH SCORE 43885.043
AT ITER 8416 NEW BEST:: SOT 142045 SOS 47960 HAS SOPS 47960 HAS SOUS 43834 HAS SOUPS 43834 WITH SCORE 43881.96
AT ITER 8423 NEW BEST:: SOT 142040 SOS 47945 HAS SOPS 47945 HAS SOUS 43824 HAS SOUPS 43824 WITH SCORE 43871.945
AT ITER 8476 NEW BEST:: SOT 142040 SOS 47923 HAS SOPS 47923 HAS SOUS 43813 HAS SOUPS 43813 WITH SCORE 43860.923
AT ITER 8499 NEW BEST:: SOT 142040 SOS 47906 HAS SOPS 47906 HAS SOUS 43796 HAS SOUPS 43796 WITH SCORE 43843.906
AT ITER 8503 NEW BEST:: SOT 142032 SOS 47893 HAS SOPS 47893 HAS SOUS 43770 HAS SOUPS 43770 WITH SCORE 43817.893
AT ITER 8514 NEW BEST:: SOT 142067 SOS 47878 HAS SOPS 47878 HAS SOUS 43755 HAS SOUPS 43755 WITH SCORE 43802.878
AT ITER 8526 NEW BEST:: SOT 142041 SOS 47852 HAS SOPS 47852 HAS SOUS 43743 HAS SOUPS 43743 WITH SCORE 43790.852
AT ITER 8561 NEW BEST:: SOT 142038 SOS 47840 HAS SOPS 47840 HAS SOUS 43743 HAS SOUPS 43743 WITH SCORE 43790.84
AT ITER 8564 NEW BEST:: SOT 142048 SOS 47834 HAS SOPS 47834 HAS SOUS 43734 HAS SOUPS 43734 WITH SCORE 43781.834
AT ITER 8567 NEW BEST:: SOT 142048 SOS 47788 HAS SOPS 47788 HAS SOUS 43711 HAS SOUPS 43711 WITH SCORE 43758.788
AT ITER 8591 NEW BEST:: SOT 142044 SOS 47784 HAS SOPS 47784 HAS SOUS 43707 HAS SOUPS 43707 WITH SCORE 43754.784
AT ITER 8598 NEW BEST:: SOT 142091 SOS 47804 HAS SOPS 47804 HAS SOUS 43684 HAS SOUPS 43684 WITH SCORE 43731.804
AT ITER 8610 NEW BEST:: SOT 142026 SOS 47739 HAS SOPS 47739 HAS SOUS 43619 HAS SOUPS 43619 WITH SCORE 43666.739
AT ITER 8636 NEW BEST:: SOT 142016 SOS 47724 HAS SOPS 47724 HAS SOUS 43604 HAS SOUPS 43604 WITH SCORE 43651.724
AT ITER 8637 NEW BEST:: SOT 142004 SOS 47712 HAS SOPS 47712 HAS SOUS 43592 HAS SOUPS 43592 WITH SCORE 43639.712
AT ITER 8644 NEW BEST:: SOT 142001 SOS 47703 HAS SOPS 47703 HAS SOUS 43586 HAS SOUPS 43586 WITH SCORE 43633.703
AT ITER 8670 NEW BEST:: SOT 141993 SOS 47695 HAS SOPS 47695 HAS SOUS 43586 HAS SOUPS 43586 WITH SCORE 43633.695
AT ITER 8675 NEW BEST:: SOT 141949 SOS 47628 HAS SOPS 47628 HAS SOUS 43519 HAS SOUPS 43519 WITH SCORE 43566.628
AT ITER 8695 NEW BEST:: SOT 141934 SOS 47603 HAS SOPS 47603 HAS SOUS 43504 HAS SOUPS 43504 WITH SCORE 43551.603
AT ITER 8706 NEW BEST:: SOT 141910 SOS 47467 HAS SOPS 47467 HAS SOUS 43378 HAS SOUPS 43378 WITH SCORE 43425.467
AT ITER 8726 NEW BEST:: SOT 141908 SOS 47465 HAS SOPS 47465 HAS SOUS 43374 HAS SOUPS 43374 WITH SCORE 43421.465
AT ITER 8740 NEW BEST:: SOT 141896 SOS 47453 HAS SOPS 47453 HAS SOUS 43374 HAS SOUPS 43374 WITH SCORE 43421.453
AT ITER 8741 NEW BEST:: SOT 141842 SOS 47399 HAS SOPS 47399 HAS SOUS 43320 HAS SOUPS 43320 WITH SCORE 43367.399
AT ITER 8763 NEW BEST:: SOT 141826 SOS 47364 HAS SOPS 47364 HAS SOUS 43300 HAS SOUPS 43300 WITH SCORE 43347.364
AT ITER 8778 NEW BEST:: SOT 141779 SOS 47273 HAS SOPS 47273 HAS SOUS 43196 HAS SOUPS 43196 WITH SCORE 43243.273
AT ITER 8788 NEW BEST:: SOT 141750 SOS 47234 HAS SOPS 47234 HAS SOUS 43157 HAS SOUPS 43157 WITH SCORE 43204.234
AT ITER 8805 NEW BEST:: SOT 141748 SOS 47230 HAS SOPS 47230 HAS SOUS 43153 HAS SOUPS 43153 WITH SCORE 43200.23
AT ITER 8842 NEW BEST:: SOT 141737 SOS 47205 HAS SOPS 47205 HAS SOUS 43128 HAS SOUPS 43128 WITH SCORE 43175.205
AT ITER 8850 NEW BEST:: SOT 141703 SOS 47157 HAS SOPS 47157 HAS SOUS 43080 HAS SOUPS 43080 WITH SCORE 43127.157
AT ITER 8852 NEW BEST:: SOT 141659 SOS 47096 HAS SOPS 47096 HAS SOUS 43019 HAS SOUPS 43019 WITH SCORE 43066.096
AT ITER 8854 NEW BEST:: SOT 141650 SOS 47078 HAS SOPS 47078 HAS SOUS 43001 HAS SOUPS 43001 WITH SCORE 43048.078
AT ITER 8866 NEW BEST:: SOT 141639 SOS 47067 HAS SOPS 47067 HAS SOUS 42990 HAS SOUPS 42990 WITH SCORE 43037.067
AT ITER 8869 NEW BEST:: SOT 141639 SOS 47059 HAS SOPS 47059 HAS SOUS 42982 HAS SOUPS 42982 WITH SCORE 43029.059
AT ITER 8931 NEW BEST:: SOT 141636 SOS 47051 HAS SOPS 47051 HAS SOUS 42972 HAS SOUPS 42972 WITH SCORE 43019.051
AT ITER 8948 NEW BEST:: SOT 141655 SOS 46970 HAS SOPS 46970 HAS SOUS 42930 HAS SOUPS 42930 WITH SCORE 42976.97
AT ITER 8957 NEW BEST:: SOT 141654 SOS 46918 HAS SOPS 46918 HAS SOUS 42903 HAS SOUPS 42903 WITH SCORE 42949.918
AT ITER 8958 NEW BEST:: SOT 141605 SOS 46857 HAS SOPS 46857 HAS SOUS 42855 HAS SOUPS 42855 WITH SCORE 42901.857
AT ITER 8963 NEW BEST:: SOT 141596 SOS 46848 HAS SOPS 46848 HAS SOUS 42838 HAS SOUPS 42838 WITH SCORE 42884.848
AT ITER 8964 NEW BEST:: SOT 141595 SOS 46847 HAS SOPS 46847 HAS SOUS 42837 HAS SOUPS 42837 WITH SCORE 42883.847
AT ITER 8970 NEW BEST:: SOT 141604 SOS 46842 HAS SOPS 46842 HAS SOUS 42811 HAS SOUPS 42811 WITH SCORE 42857.842
AT ITER 9011 NEW BEST:: SOT 141601 SOS 46833 HAS SOPS 46833 HAS SOUS 42802 HAS SOUPS 42802 WITH SCORE 42848.833
AT ITER 9036 NEW BEST:: SOT 141589 SOS 46719 HAS SOPS 46719 HAS SOUS 42735 HAS SOUPS 42735 WITH SCORE 42781.719
AT ITER 9041 NEW BEST:: SOT 141583 SOS 46713 HAS SOPS 46713 HAS SOUS 42729 HAS SOUPS 42729 WITH SCORE 42775.713
AT ITER 9053 NEW BEST:: SOT 141583 SOS 46701 HAS SOPS 46701 HAS SOUS 42717 HAS SOUPS 42717 WITH SCORE 42763.701
AT ITER 9070 NEW BEST:: SOT 141581 SOS 46697 HAS SOPS 46697 HAS SOUS 42712 HAS SOUPS 42712 WITH SCORE 42758.697
AT ITER 9073 NEW BEST:: SOT 141580 SOS 46696 HAS SOPS 46696 HAS SOUS 42711 HAS SOUPS 42711 WITH SCORE 42757.696
AT ITER 9119 NEW BEST:: SOT 141517 SOS 46701 HAS SOPS 46701 HAS SOUS 42685 HAS SOUPS 42685 WITH SCORE 42731.701
AT ITER 9123 NEW BEST:: SOT 141465 SOS 46629 HAS SOPS 46629 HAS SOUS 42613 HAS SOUPS 42613 WITH SCORE 42659.629
AT ITER 9129 NEW BEST:: SOT 141449 SOS 46606 HAS SOPS 46606 HAS SOUS 42570 HAS SOUPS 42570 WITH SCORE 42616.606
AT ITER 9191 NEW BEST:: SOT 141431 SOS 46580 HAS SOPS 46580 HAS SOUS 42544 HAS SOUPS 42544 WITH SCORE 42590.58
AT ITER 9201 NEW BEST:: SOT 141322 SOS 46471 HAS SOPS 46471 HAS SOUS 42435 HAS SOUPS 42435 WITH SCORE 42481.471
AT ITER 9223 NEW BEST:: SOT 141319 SOS 46462 HAS SOPS 46462 HAS SOUS 42426 HAS SOUPS 42426 WITH SCORE 42472.462
AT ITER 9239 NEW BEST:: SOT 141351 SOS 46409 HAS SOPS 46409 HAS SOUS 42407 HAS SOUPS 42407 WITH SCORE 42453.409
AT ITER 9253 NEW BEST:: SOT 141342 SOS 46400 HAS SOPS 46400 HAS SOUS 42398 HAS SOUPS 42398 WITH SCORE 42444.4
AT ITER 9254 NEW BEST:: SOT 141342 SOS 46364 HAS SOPS 46364 HAS SOUS 42398 HAS SOUPS 42398 WITH SCORE 42444.364
AT ITER 9362 NEW BEST:: SOT 141360 SOS 46449 HAS SOPS 46449 HAS SOUS 42389 HAS SOUPS 42389 WITH SCORE 42435.449
AT ITER 9418 NEW BEST:: SOT 141364 SOS 46453 HAS SOPS 46453 HAS SOUS 42317 HAS SOUPS 42317 WITH SCORE 42363.453
AT ITER 9423 NEW BEST:: SOT 141364 SOS 46427 HAS SOPS 46427 HAS SOUS 42285 HAS SOUPS 42285 WITH SCORE 42331.427
AT ITER 9574 NEW BEST:: SOT 141359 SOS 46417 HAS SOPS 46417 HAS SOUS 42275 HAS SOUPS 42275 WITH SCORE 42321.417
AT ITER 9593 NEW BEST:: SOT 141359 SOS 46413 HAS SOPS 46413 HAS SOUS 42275 HAS SOUPS 42275 WITH SCORE 42321.413
AT ITER 9596 NEW BEST:: SOT 141357 SOS 46411 HAS SOPS 46411 HAS SOUS 42273 HAS SOUPS 42273 WITH SCORE 42319.411
AT ITER 9624 NEW BEST:: SOT 141396 SOS 46420 HAS SOPS 46420 HAS SOUS 42208 HAS SOUPS 42208 WITH SCORE 42254.42
AT ITER 9631 NEW BEST:: SOT 141304 SOS 46302 HAS SOPS 46302 HAS SOUS 42090 HAS SOUPS 42090 WITH SCORE 42136.302
AT ITER 9720 NEW BEST:: SOT 141296 SOS 46284 HAS SOPS 46284 HAS SOUS 42072 HAS SOUPS 42072 WITH SCORE 42118.284
AT ITER 9723 NEW BEST:: SOT 141293 SOS 46277 HAS SOPS 46277 HAS SOUS 42065 HAS SOUPS 42065 WITH SCORE 42111.277
AT ITER 9727 NEW BEST:: SOT 141282 SOS 46258 HAS SOPS 46258 HAS SOUS 42044 HAS SOUPS 42044 WITH SCORE 42090.258
AT ITER 9751 NEW BEST:: SOT 141270 SOS 46201 HAS SOPS 46201 HAS SOUS 42007 HAS SOUPS 42007 WITH SCORE 42053.201
AT ITER 9757 NEW BEST:: SOT 141262 SOS 46185 HAS SOPS 46185 HAS SOUS 41991 HAS SOUPS 41991 WITH SCORE 42037.185
AT ITER 9769 NEW BEST:: SOT 141254 SOS 46186 HAS SOPS 46186 HAS SOUS 41955 HAS SOUPS 41955 WITH SCORE 42001.186
AT ITER 9770 NEW BEST:: SOT 141254 SOS 46216 HAS SOPS 46216 HAS SOUS 41949 HAS SOUPS 41949 WITH SCORE 41995.216
AT ITER 9775 NEW BEST:: SOT 141254 SOS 46207 HAS SOPS 46207 HAS SOUS 41940 HAS SOUPS 41940 WITH SCORE 41986.207
AT ITER 9803 NEW BEST:: SOT 141250 SOS 46199 HAS SOPS 46199 HAS SOUS 41932 HAS SOUPS 41932 WITH SCORE 41978.199
AT ITER 9810 NEW BEST:: SOT 141250 SOS 46165 HAS SOPS 46165 HAS SOUS 41898 HAS SOUPS 41898 WITH SCORE 41944.165
AT ITER 9833 NEW BEST:: SOT 141243 SOS 46137 HAS SOPS 46137 HAS SOUS 41877 HAS SOUPS 41877 WITH SCORE 41923.137
AT ITER 9841 NEW BEST:: SOT 141160 SOS 46035 HAS SOPS 46035 HAS SOUS 41783 HAS SOUPS 41783 WITH SCORE 41829.035
AT ITER 9849 NEW BEST:: SOT 141121 SOS 46029 HAS SOPS 46029 HAS SOUS 41735 HAS SOUPS 41735 WITH SCORE 41781.029
AT ITER 9859 NEW BEST:: SOT 141106 SOS 45939 HAS SOPS 45939 HAS SOUS 41685 HAS SOUPS 41685 WITH SCORE 41730.939
AT ITER 9867 NEW BEST:: SOT 141019 SOS 45852 HAS SOPS 45852 HAS SOUS 41642 HAS SOUPS 41642 WITH SCORE 41687.852
AT ITER 9877 NEW BEST:: SOT 141015 SOS 45840 HAS SOPS 45840 HAS SOUS 41634 HAS SOUPS 41634 WITH SCORE 41679.84
AT ITER 9901 NEW BEST:: SOT 141015 SOS 45818 HAS SOPS 45818 HAS SOUS 41623 HAS SOUPS 41623 WITH SCORE 41668.818
AT ITER 9920 NEW BEST:: SOT 141015 SOS 45725 HAS SOPS 45725 HAS SOUS 41592 HAS SOUPS 41592 WITH SCORE 41637.725
AT ITER 9922 NEW BEST:: SOT 141015 SOS 45701 HAS SOPS 45701 HAS SOUS 41566 HAS SOUPS 41566 WITH SCORE 41611.701
AT ITER 9935 NEW BEST:: SOT 140993 SOS 45657 HAS SOPS 45657 HAS SOUS 41522 HAS SOUPS 41522 WITH SCORE 41567.657
AT ITER 9940 NEW BEST:: SOT 140976 SOS 45650 HAS SOPS 45650 HAS SOUS 41515 HAS SOUPS 41515 WITH SCORE 41560.65
AT ITER 9942 NEW BEST:: SOT 140970 SOS 45536 HAS SOPS 45536 HAS SOUS 41444 HAS SOUPS 41444 WITH SCORE 41489.536
AT ITER 9974 NEW BEST:: SOT 140967 SOS 45534 HAS SOPS 45534 HAS SOUS 41442 HAS SOUPS 41442 WITH SCORE 41487.534
AT ITER 9990 NEW BEST:: SOT 140967 SOS 45516 HAS SOPS 45516 HAS SOUS 41442 HAS SOUPS 41442 WITH SCORE 41487.516
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 8646264 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16122164 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ 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
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldIIPt-PT-030A"
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 ShieldIIPt-PT-030A, 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 r395-oct2-167903718600296"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPt-PT-030A.tgz
mv ShieldIIPt-PT-030A 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 ;