Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922808401056.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Eratosthenes-PT-500, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922808401056
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 3.8K Apr 14 12:30 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 14 12:30 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 14 12:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 14 12:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 15:19 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 15:19 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 14 12:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 14 12:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 23K Apr 14 12:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 14 12:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 14 12:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.1M Mar 24 05:37 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 1589369592058

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Eratosthenes (PT), instance 500
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 499 places, 2191 transitions, 6573 arcs.
AT ITER 0 NEW BEST:: SOT 752693 SOS 402068 HAS SOPS 326004 HAS SOUS 94659 HAS SOUPS 71179 WITH SCORE 71581.068
AT ITER 1 NEW BEST:: SOT 752848 SOS 402184 HAS SOPS 325965 HAS SOUS 94730 HAS SOUPS 71140 WITH SCORE 71542.184
AT ITER 3 NEW BEST:: SOT 752760 SOS 402119 HAS SOPS 326173 HAS SOUS 94668 HAS SOUPS 71140 WITH SCORE 71542.119
AT ITER 8 NEW BEST:: SOT 753845 SOS 401493 HAS SOPS 324462 HAS SOUS 95715 HAS SOUPS 71140 WITH SCORE 71541.493
AT ITER 9 NEW BEST:: SOT 755318 SOS 401319 HAS SOPS 322815 HAS SOUS 96496 HAS SOUPS 70874 WITH SCORE 71275.319
AT ITER 11 NEW BEST:: SOT 757036 SOS 400855 HAS SOPS 322733 HAS SOUS 96101 HAS SOUPS 70574 WITH SCORE 70974.855
AT ITER 12 NEW BEST:: SOT 757183 SOS 400844 HAS SOPS 323307 HAS SOUS 96040 HAS SOUPS 70574 WITH SCORE 70974.844
AT ITER 13 NEW BEST:: SOT 755724 SOS 399574 HAS SOPS 321848 HAS SOUS 96039 HAS SOUPS 70428 WITH SCORE 70827.574
AT ITER 16 NEW BEST:: SOT 756637 SOS 399528 HAS SOPS 320889 HAS SOUS 96711 HAS SOUPS 70428 WITH SCORE 70827.528
AT ITER 19 NEW BEST:: SOT 757251 SOS 399334 HAS SOPS 321503 HAS SOUS 96511 HAS SOUPS 70428 WITH SCORE 70827.334
AT ITER 22 NEW BEST:: SOT 757732 SOS 399288 HAS SOPS 320976 HAS SOUS 96864 HAS SOUPS 70428 WITH SCORE 70827.288
AT ITER 26 NEW BEST:: SOT 757683 SOS 399190 HAS SOPS 320927 HAS SOUS 96822 HAS SOUPS 70428 WITH SCORE 70827.19
AT ITER 28 NEW BEST:: SOT 757845 SOS 399308 HAS SOPS 320883 HAS SOUS 96881 HAS SOUPS 70384 WITH SCORE 70783.308
AT ITER 33 NEW BEST:: SOT 758775 SOS 399062 HAS SOPS 319941 HAS SOUS 97412 HAS SOUPS 70384 WITH SCORE 70783.062
AT ITER 34 NEW BEST:: SOT 758771 SOS 399047 HAS SOPS 319923 HAS SOUS 97411 HAS SOUPS 70384 WITH SCORE 70783.047
AT ITER 38 NEW BEST:: SOT 758705 SOS 399045 HAS SOPS 320195 HAS SOUS 97391 HAS SOUPS 70384 WITH SCORE 70783.045
AT ITER 40 NEW BEST:: SOT 734459 SOS 384465 HAS SOPS 294221 HAS SOUS 95492 HAS SOUPS 67894 WITH SCORE 68278.465
AT ITER 42 NEW BEST:: SOT 734459 SOS 384273 HAS SOPS 294221 HAS SOUS 95444 HAS SOUPS 67894 WITH SCORE 68278.273
AT ITER 44 NEW BEST:: SOT 734646 SOS 384207 HAS SOPS 293858 HAS SOUS 95521 HAS SOUPS 67894 WITH SCORE 68278.207
AT ITER 45 NEW BEST:: SOT 735693 SOS 384843 HAS SOPS 293447 HAS SOUS 95944 HAS SOUPS 67726 WITH SCORE 68110.843
AT ITER 47 NEW BEST:: SOT 735946 SOS 384777 HAS SOPS 293128 HAS SOUS 96021 HAS SOUPS 67726 WITH SCORE 68110.777
AT ITER 50 NEW BEST:: SOT 735900 SOS 384662 HAS SOPS 293036 HAS SOUS 95998 HAS SOUPS 67703 WITH SCORE 68087.662
AT ITER 52 NEW BEST:: SOT 734168 SOS 383088 HAS SOPS 290170 HAS SOUS 95958 HAS SOUPS 67082 WITH SCORE 67465.088
AT ITER 55 NEW BEST:: SOT 734295 SOS 382985 HAS SOPS 289787 HAS SOUS 96102 HAS SOUPS 67082 WITH SCORE 67464.985
AT ITER 56 NEW BEST:: SOT 734017 SOS 382829 HAS SOPS 289909 HAS SOUS 96072 HAS SOUPS 67082 WITH SCORE 67464.829
AT ITER 57 NEW BEST:: SOT 734045 SOS 382821 HAS SOPS 289873 HAS SOUS 96072 HAS SOUPS 67082 WITH SCORE 67464.821
AT ITER 61 NEW BEST:: SOT 733689 SOS 383219 HAS SOPS 285817 HAS SOUS 95923 HAS SOUPS 66292 WITH SCORE 66675.219
AT ITER 63 NEW BEST:: SOT 734285 SOS 382935 HAS SOPS 284937 HAS SOUS 96222 HAS SOUPS 66292 WITH SCORE 66674.935
AT ITER 64 NEW BEST:: SOT 734285 SOS 382797 HAS SOPS 284799 HAS SOUS 96259 HAS SOUPS 66292 WITH SCORE 66674.797
AT ITER 66 NEW BEST:: SOT 735343 SOS 382693 HAS SOPS 283637 HAS SOUS 96462 HAS SOUPS 65986 WITH SCORE 66368.693
AT ITER 67 NEW BEST:: SOT 735296 SOS 382683 HAS SOPS 284038 HAS SOUS 96425 HAS SOUPS 65986 WITH SCORE 66368.683
AT ITER 73 NEW BEST:: SOT 735259 SOS 382575 HAS SOPS 283967 HAS SOUS 96396 HAS SOUPS 65986 WITH SCORE 66368.575
AT ITER 74 NEW BEST:: SOT 736398 SOS 382004 HAS SOPS 282257 HAS SOUS 97465 HAS SOUPS 65986 WITH SCORE 66368.004
AT ITER 75 NEW BEST:: SOT 737866 SOS 381652 HAS SOPS 280437 HAS SOUS 97595 HAS SOUPS 65986 WITH SCORE 66367.652
AT ITER 76 NEW BEST:: SOT 738728 SOS 381448 HAS SOPS 281299 HAS SOUS 97408 HAS SOUPS 65986 WITH SCORE 66367.448
AT ITER 77 NEW BEST:: SOT 738491 SOS 380974 HAS SOPS 281814 HAS SOUS 97314 HAS SOUPS 65986 WITH SCORE 66366.974
AT ITER 80 NEW BEST:: SOT 739758 SOS 381020 HAS SOPS 281215 HAS SOUS 97528 HAS SOUPS 65892 WITH SCORE 66273.02
AT ITER 81 NEW BEST:: SOT 740101 SOS 380666 HAS SOPS 280518 HAS SOUS 97424 HAS SOUPS 65788 WITH SCORE 66168.666
AT ITER 82 NEW BEST:: SOT 740671 SOS 380364 HAS SOPS 280676 HAS SOUS 97330 HAS SOUPS 65687 WITH SCORE 66067.364
AT ITER 83 NEW BEST:: SOT 738860 SOS 378800 HAS SOPS 278767 HAS SOUS 96982 HAS SOUPS 65241 WITH SCORE 65619.8
AT ITER 88 NEW BEST:: SOT 738831 SOS 378550 HAS SOPS 278546 HAS SOUS 96958 HAS SOUPS 65145 WITH SCORE 65523.55
AT ITER 92 NEW BEST:: SOT 738819 SOS 378418 HAS SOPS 278372 HAS SOUS 96958 HAS SOUPS 65145 WITH SCORE 65523.418
AT ITER 93 NEW BEST:: SOT 739968 SOS 378714 HAS SOPS 277805 HAS SOUS 97073 HAS SOUPS 64989 WITH SCORE 65367.714
AT ITER 95 NEW BEST:: SOT 740064 SOS 378466 HAS SOPS 277549 HAS SOUS 96985 HAS SOUPS 64989 WITH SCORE 65367.466
AT ITER 99 NEW BEST:: SOT 740059 SOS 378168 HAS SOPS 277640 HAS SOUS 96985 HAS SOUPS 64989 WITH SCORE 65367.168
AT ITER 100 NEW BEST:: SOT 741715 SOS 378144 HAS SOPS 278740 HAS SOUS 96707 HAS SOUPS 64989 WITH SCORE 65367.144
AT ITER 106 NEW BEST:: SOT 739286 SOS 379317 HAS SOPS 276237 HAS SOUS 96559 HAS SOUPS 64804 WITH SCORE 65183.317
AT ITER 107 NEW BEST:: SOT 739392 SOS 379211 HAS SOPS 276131 HAS SOUS 96347 HAS SOUPS 64804 WITH SCORE 65183.211
AT ITER 108 NEW BEST:: SOT 739348 SOS 379154 HAS SOPS 276211 HAS SOUS 96254 HAS SOUPS 64804 WITH SCORE 65183.154
AT ITER 110 NEW BEST:: SOT 740893 SOS 380291 HAS SOPS 276082 HAS SOUS 96713 HAS SOUPS 64665 WITH SCORE 65045.291
AT ITER 114 NEW BEST:: SOT 740964 SOS 380027 HAS SOPS 275689 HAS SOUS 96713 HAS SOUPS 64665 WITH SCORE 65045.027
AT ITER 117 NEW BEST:: SOT 740870 SOS 379839 HAS SOPS 275711 HAS SOUS 96713 HAS SOUPS 64665 WITH SCORE 65044.839
AT ITER 119 NEW BEST:: SOT 742719 SOS 379676 HAS SOPS 274050 HAS SOUS 96941 HAS SOUPS 64442 WITH SCORE 64821.676
AT ITER 120 NEW BEST:: SOT 736618 SOS 375167 HAS SOPS 267164 HAS SOUS 95707 HAS SOUPS 63001 WITH SCORE 63376.167
AT ITER 121 NEW BEST:: SOT 736641 SOS 375005 HAS SOPS 266979 HAS SOUS 95704 HAS SOUPS 63001 WITH SCORE 63376.005
AT ITER 123 NEW BEST:: SOT 739189 SOS 374784 HAS SOPS 266255 HAS SOUS 95448 HAS SOUPS 62954 WITH SCORE 63328.784
AT ITER 125 NEW BEST:: SOT 739476 SOS 374701 HAS SOPS 266834 HAS SOUS 95441 HAS SOUPS 62954 WITH SCORE 63328.701
AT ITER 132 NEW BEST:: SOT 740419 SOS 374343 HAS SOPS 268151 HAS SOUS 95254 HAS SOUPS 62954 WITH SCORE 63328.343
AT ITER 133 NEW BEST:: SOT 740499 SOS 374263 HAS SOPS 267911 HAS SOUS 95315 HAS SOUPS 62954 WITH SCORE 63328.263
AT ITER 135 NEW BEST:: SOT 740465 SOS 374195 HAS SOPS 267557 HAS SOUS 95475 HAS SOUPS 62954 WITH SCORE 63328.195
AT ITER 136 NEW BEST:: SOT 737827 SOS 372483 HAS SOPS 264595 HAS SOUS 95796 HAS SOUPS 62930 WITH SCORE 63302.483
AT ITER 137 NEW BEST:: SOT 737816 SOS 372461 HAS SOPS 264584 HAS SOUS 95796 HAS SOUPS 62930 WITH SCORE 63302.461
AT ITER 138 NEW BEST:: SOT 732888 SOS 368572 HAS SOPS 258772 HAS SOUS 95926 HAS SOUPS 62833 WITH SCORE 63201.572
AT ITER 139 NEW BEST:: SOT 733280 SOS 368928 HAS SOPS 258736 HAS SOUS 96125 HAS SOUPS 62814 WITH SCORE 63182.928
AT ITER 147 NEW BEST:: SOT 733585 SOS 368926 HAS SOPS 259041 HAS SOUS 95924 HAS SOUPS 62661 WITH SCORE 63029.926
AT ITER 149 NEW BEST:: SOT 733742 SOS 368964 HAS SOPS 259198 HAS SOUS 95808 HAS SOUPS 62569 WITH SCORE 62937.964
AT ITER 150 NEW BEST:: SOT 733742 SOS 368499 HAS SOPS 259198 HAS SOUS 95715 HAS SOUPS 62569 WITH SCORE 62937.499
AT ITER 154 NEW BEST:: SOT 733906 SOS 368607 HAS SOPS 259142 HAS SOUS 95659 HAS SOUPS 62513 WITH SCORE 62881.607
AT ITER 157 NEW BEST:: SOT 736001 SOS 367097 HAS SOPS 255537 HAS SOUS 96613 HAS SOUPS 62513 WITH SCORE 62880.097
AT ITER 158 NEW BEST:: SOT 727141 SOS 361729 HAS SOPS 245519 HAS SOUS 95687 HAS SOUPS 61014 WITH SCORE 61375.729
AT ITER 162 NEW BEST:: SOT 727690 SOS 360657 HAS SOPS 243588 HAS SOUS 96496 HAS SOUPS 61014 WITH SCORE 61374.657
AT ITER 164 NEW BEST:: SOT 728650 SOS 361305 HAS SOPS 243276 HAS SOUS 96528 HAS SOUPS 60868 WITH SCORE 61229.305
AT ITER 168 NEW BEST:: SOT 730349 SOS 361843 HAS SOPS 242115 HAS SOUS 97387 HAS SOUPS 60652 WITH SCORE 61013.843
AT ITER 169 NEW BEST:: SOT 730577 SOS 361641 HAS SOPS 241591 HAS SOUS 97458 HAS SOUPS 60652 WITH SCORE 61013.641
AT ITER 171 NEW BEST:: SOT 730577 SOS 361325 HAS SOPS 241591 HAS SOUS 97142 HAS SOUPS 60652 WITH SCORE 61013.325
AT ITER 174 NEW BEST:: SOT 724838 SOS 357092 HAS SOPS 235208 HAS SOUS 97389 HAS SOUPS 60601 WITH SCORE 60958.092
AT ITER 175 NEW BEST:: SOT 726955 SOS 356811 HAS SOPS 235519 HAS SOUS 96799 HAS SOUPS 60601 WITH SCORE 60957.811
AT ITER 180 NEW BEST:: SOT 727573 SOS 356797 HAS SOPS 235137 HAS SOUS 96594 HAS SOUPS 60396 WITH SCORE 60752.797
AT ITER 181 NEW BEST:: SOT 727669 SOS 356749 HAS SOPS 235281 HAS SOUS 96546 HAS SOUPS 60396 WITH SCORE 60752.749
AT ITER 182 NEW BEST:: SOT 727720 SOS 356437 HAS SOPS 235194 HAS SOUS 96546 HAS SOUPS 60396 WITH SCORE 60752.437
AT ITER 185 NEW BEST:: SOT 727791 SOS 356415 HAS SOPS 235101 HAS SOUS 96593 HAS SOUPS 60392 WITH SCORE 60748.415
AT ITER 186 NEW BEST:: SOT 727601 SOS 356205 HAS SOPS 235081 HAS SOUS 96471 HAS SOUPS 60392 WITH SCORE 60748.205
AT ITER 187 NEW BEST:: SOT 727556 SOS 354999 HAS SOPS 234292 HAS SOUS 96099 HAS SOUPS 60206 WITH SCORE 60560.999
AT ITER 189 NEW BEST:: SOT 727577 SOS 354945 HAS SOPS 234217 HAS SOUS 96067 HAS SOUPS 60206 WITH SCORE 60560.945
AT ITER 190 NEW BEST:: SOT 728364 SOS 354359 HAS SOPS 233708 HAS SOUS 95851 HAS SOUPS 60206 WITH SCORE 60560.359
AT ITER 196 NEW BEST:: SOT 728364 SOS 354338 HAS SOPS 233708 HAS SOUS 95851 HAS SOUPS 60206 WITH SCORE 60560.338
AT ITER 198 NEW BEST:: SOT 728468 SOS 354442 HAS SOPS 233604 HAS SOUS 95851 HAS SOUPS 60154 WITH SCORE 60508.442
AT ITER 202 NEW BEST:: SOT 725803 SOS 352072 HAS SOPS 230939 HAS SOUS 95259 HAS SOUPS 59378 WITH SCORE 59730.072
AT ITER 204 NEW BEST:: SOT 723339 SOS 350042 HAS SOPS 228613 HAS SOUS 95377 HAS SOUPS 59358 WITH SCORE 59708.042
AT ITER 205 NEW BEST:: SOT 723333 SOS 350030 HAS SOPS 228607 HAS SOUS 95377 HAS SOUPS 59358 WITH SCORE 59708.03
AT ITER 209 NEW BEST:: SOT 722836 SOS 349614 HAS SOPS 228110 HAS SOUS 95329 HAS SOUPS 59276 WITH SCORE 59625.614
AT ITER 217 NEW BEST:: SOT 723071 SOS 349604 HAS SOPS 228025 HAS SOUS 95090 HAS SOUPS 59191 WITH SCORE 59540.604
AT ITER 218 NEW BEST:: SOT 724092 SOS 348539 HAS SOPS 225700 HAS SOUS 95960 HAS SOUPS 59191 WITH SCORE 59539.539
AT ITER 219 NEW BEST:: SOT 724683 SOS 348449 HAS SOPS 225019 HAS SOUS 96066 HAS SOUPS 59191 WITH SCORE 59539.449
AT ITER 222 NEW BEST:: SOT 725249 SOS 348063 HAS SOPS 225079 HAS SOUS 95522 HAS SOUPS 58963 WITH SCORE 59311.063
AT ITER 223 NEW BEST:: SOT 726179 SOS 348675 HAS SOPS 224761 HAS SOUS 95833 HAS SOUPS 58814 WITH SCORE 59162.675
AT ITER 224 NEW BEST:: SOT 727713 SOS 348993 HAS SOPS 225045 HAS SOUS 95489 HAS SOUPS 58720 WITH SCORE 59068.993
AT ITER 230 NEW BEST:: SOT 727649 SOS 348865 HAS SOPS 224981 HAS SOUS 95425 HAS SOUPS 58656 WITH SCORE 59004.865
AT ITER 233 NEW BEST:: SOT 729283 SOS 350061 HAS SOPS 224839 HAS SOUS 95831 HAS SOUPS 58546 WITH SCORE 58896.061
AT ITER 235 NEW BEST:: SOT 730011 SOS 349237 HAS SOPS 223743 HAS SOUS 95586 HAS SOUPS 58546 WITH SCORE 58895.237
AT ITER 238 NEW BEST:: SOT 721914 SOS 347270 HAS SOPS 208706 HAS SOUS 97039 HAS SOUPS 58502 WITH SCORE 58849.27
AT ITER 239 NEW BEST:: SOT 721845 SOS 350357 HAS SOPS 208379 HAS SOUS 96902 HAS SOUPS 58136 WITH SCORE 58486.357
AT ITER 240 NEW BEST:: SOT 722080 SOS 350277 HAS SOPS 208614 HAS SOUS 96834 HAS SOUPS 58136 WITH SCORE 58486.277
AT ITER 242 NEW BEST:: SOT 722080 SOS 350033 HAS SOPS 208492 HAS SOUS 96773 HAS SOUPS 58136 WITH SCORE 58486.033
AT ITER 243 NEW BEST:: SOT 720850 SOS 349351 HAS SOPS 207770 HAS SOUS 96941 HAS SOUPS 57900 WITH SCORE 58249.351
AT ITER 244 NEW BEST:: SOT 721592 SOS 350027 HAS SOPS 207704 HAS SOUS 97178 HAS SOUPS 57834 WITH SCORE 58184.027
AT ITER 245 NEW BEST:: SOT 721768 SOS 349851 HAS SOPS 207880 HAS SOUS 96929 HAS SOUPS 57658 WITH SCORE 58007.851
AT ITER 246 NEW BEST:: SOT 722100 SOS 350108 HAS SOPS 207805 HAS SOUS 97259 HAS SOUPS 57583 WITH SCORE 57933.108
AT ITER 250 NEW BEST:: SOT 722094 SOS 350096 HAS SOPS 207799 HAS SOUS 97235 HAS SOUPS 57577 WITH SCORE 57927.096
AT ITER 251 NEW BEST:: SOT 722503 SOS 350362 HAS SOPS 207656 HAS SOUS 97184 HAS SOUPS 57485 WITH SCORE 57835.362
AT ITER 253 NEW BEST:: SOT 722651 SOS 350658 HAS SOPS 207804 HAS SOUS 97208 HAS SOUPS 57482 WITH SCORE 57832.658
AT ITER 254 NEW BEST:: SOT 723107 SOS 350902 HAS SOPS 207592 HAS SOUS 97337 HAS SOUPS 57375 WITH SCORE 57725.902
AT ITER 255 NEW BEST:: SOT 723101 SOS 350800 HAS SOPS 207496 HAS SOUS 97331 HAS SOUPS 57330 WITH SCORE 57680.8
AT ITER 258 NEW BEST:: SOT 722997 SOS 358292 HAS SOPS 207392 HAS SOUS 97191 HAS SOUPS 57173 WITH SCORE 57531.292
AT ITER 261 NEW BEST:: SOT 723731 SOS 357834 HAS SOPS 206414 HAS SOUS 96997 HAS SOUPS 56979 WITH SCORE 57336.834
AT ITER 262 NEW BEST:: SOT 723611 SOS 357766 HAS SOPS 206380 HAS SOUS 96997 HAS SOUPS 56979 WITH SCORE 57336.766
AT ITER 264 NEW BEST:: SOT 724227 SOS 358246 HAS SOPS 206620 HAS SOUS 96981 HAS SOUPS 56947 WITH SCORE 57305.246
AT ITER 268 NEW BEST:: SOT 724256 SOS 358109 HAS SOPS 206649 HAS SOUS 96964 HAS SOUPS 56947 WITH SCORE 57305.109
AT ITER 269 NEW BEST:: SOT 725164 SOS 357225 HAS SOPS 208637 HAS SOUS 96653 HAS SOUPS 56947 WITH SCORE 57304.225
AT ITER 270 NEW BEST:: SOT 725146 SOS 357189 HAS SOPS 208637 HAS SOUS 96635 HAS SOUPS 56929 WITH SCORE 57286.189
AT ITER 272 NEW BEST:: SOT 723637 SOS 356745 HAS SOPS 207986 HAS SOUS 96899 HAS SOUPS 56784 WITH SCORE 57140.745
AT ITER 278 NEW BEST:: SOT 724310 SOS 356403 HAS SOPS 207815 HAS SOUS 96765 HAS SOUPS 56650 WITH SCORE 57006.403
AT ITER 281 NEW BEST:: SOT 725045 SOS 356253 HAS SOPS 206930 HAS SOUS 96911 HAS SOUPS 56444 WITH SCORE 56800.253
AT ITER 282 NEW BEST:: SOT 725571 SOS 356150 HAS SOPS 207456 HAS SOUS 96623 HAS SOUPS 56444 WITH SCORE 56800.15
AT ITER 287 NEW BEST:: SOT 726477 SOS 354954 HAS SOPS 205354 HAS SOUS 96541 HAS SOUPS 56396 WITH SCORE 56750.954
AT ITER 289 NEW BEST:: SOT 726767 SOS 355018 HAS SOPS 205128 HAS SOUS 96681 HAS SOUPS 56385 WITH SCORE 56740.018
AT ITER 291 NEW BEST:: SOT 726761 SOS 355000 HAS SOPS 205110 HAS SOUS 96681 HAS SOUPS 56385 WITH SCORE 56740.0
AT ITER 296 NEW BEST:: SOT 726637 SOS 354938 HAS SOPS 205048 HAS SOUS 96743 HAS SOUPS 56385 WITH SCORE 56739.938
AT ITER 298 NEW BEST:: SOT 729324 SOS 355047 HAS SOPS 202119 HAS SOUS 97907 HAS SOUPS 56343 WITH SCORE 56698.047
AT ITER 299 NEW BEST:: SOT 729234 SOS 354984 HAS SOPS 202107 HAS SOUS 97907 HAS SOUPS 56343 WITH SCORE 56697.984
AT ITER 300 NEW BEST:: SOT 729372 SOS 354644 HAS SOPS 201629 HAS SOUS 97878 HAS SOUPS 56266 WITH SCORE 56620.644
AT ITER 301 NEW BEST:: SOT 729348 SOS 354572 HAS SOPS 201629 HAS SOUS 97854 HAS SOUPS 56266 WITH SCORE 56620.572
AT ITER 303 NEW BEST:: SOT 729345 SOS 354569 HAS SOPS 201628 HAS SOUS 97851 HAS SOUPS 56265 WITH SCORE 56619.569
AT ITER 306 NEW BEST:: SOT 729337 SOS 354565 HAS SOPS 201618 HAS SOUS 97852 HAS SOUPS 56265 WITH SCORE 56619.565
AT ITER 309 NEW BEST:: SOT 729466 SOS 353662 HAS SOPS 201747 HAS SOUS 97852 HAS SOUPS 56265 WITH SCORE 56618.662
AT ITER 310 NEW BEST:: SOT 729740 SOS 353364 HAS SOPS 201175 HAS SOUS 97863 HAS SOUPS 56265 WITH SCORE 56618.364
AT ITER 314 NEW BEST:: SOT 729824 SOS 353136 HAS SOPS 201391 HAS SOUS 97863 HAS SOUPS 56265 WITH SCORE 56618.136
AT ITER 315 NEW BEST:: SOT 729631 SOS 353026 HAS SOPS 201474 HAS SOUS 97828 HAS SOUPS 56265 WITH SCORE 56618.026
AT ITER 316 NEW BEST:: SOT 723441 SOS 350516 HAS SOPS 195754 HAS SOUS 98298 HAS SOUPS 56265 WITH SCORE 56615.516
AT ITER 317 NEW BEST:: SOT 723682 SOS 350698 HAS SOPS 195695 HAS SOUS 98389 HAS SOUPS 56206 WITH SCORE 56556.698
AT ITER 320 NEW BEST:: SOT 723970 SOS 350440 HAS SOPS 195427 HAS SOUS 98111 HAS SOUPS 56067 WITH SCORE 56417.44
AT ITER 321 NEW BEST:: SOT 726146 SOS 352142 HAS SOPS 194953 HAS SOUS 98211 HAS SOUPS 55877 WITH SCORE 56229.142
AT ITER 323 NEW BEST:: SOT 726472 SOS 352089 HAS SOPS 195279 HAS SOUS 97968 HAS SOUPS 55877 WITH SCORE 56229.089
AT ITER 324 NEW BEST:: SOT 726576 SOS 351953 HAS SOPS 194695 HAS SOUS 98320 HAS SOUPS 55775 WITH SCORE 56126.953
AT ITER 325 NEW BEST:: SOT 726627 SOS 351789 HAS SOPS 194480 HAS SOUS 98240 HAS SOUPS 55719 WITH SCORE 56070.789
AT ITER 328 NEW BEST:: SOT 727198 SOS 350231 HAS SOPS 192351 HAS SOUS 98235 HAS SOUPS 55569 WITH SCORE 55919.231
AT ITER 329 NEW BEST:: SOT 727094 SOS 350137 HAS SOPS 192361 HAS SOUS 98283 HAS SOUPS 55560 WITH SCORE 55910.137
AT ITER 332 NEW BEST:: SOT 727145 SOS 349966 HAS SOPS 192230 HAS SOUS 98374 HAS SOUPS 55560 WITH SCORE 55909.966
AT ITER 333 NEW BEST:: SOT 728387 SOS 349440 HAS SOPS 190462 HAS SOUS 98358 HAS SOUPS 55301 WITH SCORE 55650.44
AT ITER 334 NEW BEST:: SOT 729242 SOS 350302 HAS SOPS 189621 HAS SOUS 98675 HAS SOUPS 55211 WITH SCORE 55561.302
AT ITER 335 NEW BEST:: SOT 725963 SOS 351648 HAS SOPS 183872 HAS SOUS 97756 HAS SOUPS 53988 WITH SCORE 54339.648
AT ITER 337 NEW BEST:: SOT 728014 SOS 353210 HAS SOPS 183383 HAS SOUS 98175 HAS SOUPS 53823 WITH SCORE 54176.21
AT ITER 338 NEW BEST:: SOT 727855 SOS 352630 HAS SOPS 183224 HAS SOUS 98016 HAS SOUPS 53795 WITH SCORE 54147.63
AT ITER 350 NEW BEST:: SOT 726002 SOS 351164 HAS SOPS 181531 HAS SOUS 98081 HAS SOUPS 53700 WITH SCORE 54051.164
AT ITER 353 NEW BEST:: SOT 724632 SOS 350984 HAS SOPS 179777 HAS SOUS 98131 HAS SOUPS 53700 WITH SCORE 54050.984
AT ITER 354 NEW BEST:: SOT 725806 SOS 350810 HAS SOPS 180951 HAS SOUS 97743 HAS SOUPS 53506 WITH SCORE 53856.81
AT ITER 356 NEW BEST:: SOT 725918 SOS 350626 HAS SOPS 180655 HAS SOUS 97702 HAS SOUPS 53455 WITH SCORE 53805.626
AT ITER 360 NEW BEST:: SOT 725643 SOS 350313 HAS SOPS 180696 HAS SOUS 97623 HAS SOUPS 53455 WITH SCORE 53805.313
AT ITER 361 NEW BEST:: SOT 725771 SOS 350281 HAS SOPS 180536 HAS SOUS 97623 HAS SOUPS 53383 WITH SCORE 53733.281
AT ITER 363 NEW BEST:: SOT 724035 SOS 348969 HAS SOPS 178800 HAS SOUS 97488 HAS SOUPS 53248 WITH SCORE 53596.969
AT ITER 367 NEW BEST:: SOT 723909 SOS 348780 HAS SOPS 178632 HAS SOUS 97488 HAS SOUPS 53248 WITH SCORE 53596.78
AT ITER 370 NEW BEST:: SOT 724181 SOS 348120 HAS SOPS 177528 HAS SOUS 97797 HAS SOUPS 53076 WITH SCORE 53424.12
AT ITER 371 NEW BEST:: SOT 724561 SOS 347800 HAS SOPS 178340 HAS SOUS 97447 HAS SOUPS 53029 WITH SCORE 53376.8
AT ITER 374 NEW BEST:: SOT 724523 SOS 347724 HAS SOPS 178302 HAS SOUS 97447 HAS SOUPS 53029 WITH SCORE 53376.724
AT ITER 376 NEW BEST:: SOT 723529 SOS 347086 HAS SOPS 177308 HAS SOUS 97421 HAS SOUPS 52928 WITH SCORE 53275.086
AT ITER 378 NEW BEST:: SOT 724620 SOS 348248 HAS SOPS 176699 HAS SOUS 97714 HAS SOUPS 52847 WITH SCORE 53195.248
AT ITER 386 NEW BEST:: SOT 724867 SOS 346870 HAS SOPS 175074 HAS SOUS 97662 HAS SOUPS 52795 WITH SCORE 53141.87
AT ITER 388 NEW BEST:: SOT 725149 SOS 346674 HAS SOPS 174748 HAS SOUS 97586 HAS SOUPS 52719 WITH SCORE 53065.674
AT ITER 389 NEW BEST:: SOT 725040 SOS 346316 HAS SOPS 174639 HAS SOUS 97289 HAS SOUPS 52702 WITH SCORE 53048.316
AT ITER 390 NEW BEST:: SOT 722667 SOS 345021 HAS SOPS 171860 HAS SOUS 97774 HAS SOUPS 52623 WITH SCORE 52968.021
AT ITER 395 NEW BEST:: SOT 722369 SOS 344815 HAS SOPS 172342 HAS SOUS 97644 HAS SOUPS 52623 WITH SCORE 52967.815
AT ITER 405 NEW BEST:: SOT 722363 SOS 344668 HAS SOPS 172201 HAS SOUS 97644 HAS SOUPS 52623 WITH SCORE 52967.668
AT ITER 406 NEW BEST:: SOT 722163 SOS 344463 HAS SOPS 172157 HAS SOUS 97551 HAS SOUPS 52579 WITH SCORE 52923.463
AT ITER 407 NEW BEST:: SOT 722854 SOS 344253 HAS SOPS 171256 HAS SOUS 97701 HAS SOUPS 52441 WITH SCORE 52785.253
AT ITER 411 NEW BEST:: SOT 722549 SOS 344111 HAS SOPS 171419 HAS SOUS 97397 HAS SOUPS 52432 WITH SCORE 52776.111
AT ITER 415 NEW BEST:: SOT 722148 SOS 345185 HAS SOPS 170750 HAS SOUS 97255 HAS SOUPS 52156 WITH SCORE 52501.185
AT ITER 421 NEW BEST:: SOT 721106 SOS 344163 HAS SOPS 169708 HAS SOUS 97287 HAS SOUPS 52104 WITH SCORE 52448.163
AT ITER 424 NEW BEST:: SOT 721010 SOS 344115 HAS SOPS 169612 HAS SOUS 97335 HAS SOUPS 52104 WITH SCORE 52448.115
AT ITER 427 NEW BEST:: SOT 721635 SOS 344613 HAS SOPS 169861 HAS SOUS 97330 HAS SOUPS 52099 WITH SCORE 52443.613
AT ITER 431 NEW BEST:: SOT 721645 SOS 344165 HAS SOPS 169767 HAS SOUS 97278 HAS SOUPS 52047 WITH SCORE 52391.165
AT ITER 434 NEW BEST:: SOT 721645 SOS 344017 HAS SOPS 169767 HAS SOUS 97204 HAS SOUPS 52047 WITH SCORE 52391.017
AT ITER 436 NEW BEST:: SOT 722493 SOS 343256 HAS SOPS 170237 HAS SOUS 96826 HAS SOUPS 51858 WITH SCORE 52201.256
AT ITER 441 NEW BEST:: SOT 727353 SOS 340114 HAS SOPS 175097 HAS SOUS 96802 HAS SOUPS 51858 WITH SCORE 52198.114
AT ITER 442 NEW BEST:: SOT 724408 SOS 357247 HAS SOPS 172152 HAS SOUS 96205 HAS SOUPS 51261 WITH SCORE 51618.247
AT ITER 443 NEW BEST:: SOT 725904 SOS 356771 HAS SOPS 170180 HAS SOUS 96347 HAS SOUPS 51261 WITH SCORE 51617.771
AT ITER 444 NEW BEST:: SOT 726314 SOS 356883 HAS SOPS 169882 HAS SOUS 96226 HAS SOUPS 51092 WITH SCORE 51448.883
AT ITER 445 NEW BEST:: SOT 725883 SOS 356812 HAS SOPS 169451 HAS SOUS 96417 HAS SOUPS 51092 WITH SCORE 51448.812
AT ITER 447 NEW BEST:: SOT 724719 SOS 355760 HAS SOPS 167591 HAS SOUS 96533 HAS SOUPS 51092 WITH SCORE 51447.76
AT ITER 449 NEW BEST:: SOT 725371 SOS 355552 HAS SOPS 166731 HAS SOUS 96407 HAS SOUPS 50966 WITH SCORE 51321.552
AT ITER 452 NEW BEST:: SOT 725273 SOS 355441 HAS SOPS 166803 HAS SOUS 96322 HAS SOUPS 50966 WITH SCORE 51321.441
AT ITER 453 NEW BEST:: SOT 726234 SOS 355935 HAS SOPS 166336 HAS SOUS 96469 HAS SOUPS 50782 WITH SCORE 51137.935
AT ITER 455 NEW BEST:: SOT 726696 SOS 355575 HAS SOPS 165942 HAS SOUS 95984 HAS SOUPS 50568 WITH SCORE 50923.575
AT ITER 458 NEW BEST:: SOT 727445 SOS 355153 HAS SOPS 164899 HAS SOUS 95728 HAS SOUPS 50440 WITH SCORE 50795.153
AT ITER 461 NEW BEST:: SOT 727395 SOS 355097 HAS SOPS 164937 HAS SOUS 95717 HAS SOUPS 50440 WITH SCORE 50795.097
AT ITER 467 NEW BEST:: SOT 728848 SOS 353986 HAS SOPS 162991 HAS SOUS 95365 HAS SOUPS 50440 WITH SCORE 50793.986
AT ITER 468 NEW BEST:: SOT 729048 SOS 353956 HAS SOPS 162718 HAS SOUS 95365 HAS SOUPS 50397 WITH SCORE 50750.956
AT ITER 470 NEW BEST:: SOT 729172 SOS 353832 HAS SOPS 162594 HAS SOUS 95117 HAS SOUPS 50273 WITH SCORE 50626.832
AT ITER 472 NEW BEST:: SOT 726073 SOS 352653 HAS SOPS 159495 HAS SOUS 95117 HAS SOUPS 50273 WITH SCORE 50625.653
AT ITER 478 NEW BEST:: SOT 726048 SOS 352603 HAS SOPS 159470 HAS SOUS 95326 HAS SOUPS 50273 WITH SCORE 50625.603
AT ITER 481 NEW BEST:: SOT 727414 SOS 352295 HAS SOPS 158556 HAS SOUS 94979 HAS SOUPS 50013 WITH SCORE 50365.295
AT ITER 482 NEW BEST:: SOT 727419 SOS 352235 HAS SOPS 158511 HAS SOUS 94969 HAS SOUPS 50008 WITH SCORE 50360.235
AT ITER 483 NEW BEST:: SOT 727233 SOS 351863 HAS SOPS 158325 HAS SOUS 95023 HAS SOUPS 50008 WITH SCORE 50359.863
AT ITER 486 NEW BEST:: SOT 729281 SOS 352939 HAS SOPS 157353 HAS SOUS 95112 HAS SOUPS 49770 WITH SCORE 50122.939
AT ITER 489 NEW BEST:: SOT 729087 SOS 352551 HAS SOPS 157159 HAS SOUS 95095 HAS SOUPS 49770 WITH SCORE 50122.551
AT ITER 492 NEW BEST:: SOT 727945 SOS 351175 HAS SOPS 156925 HAS SOUS 94301 HAS SOUPS 49720 WITH SCORE 50071.175
AT ITER 493 NEW BEST:: SOT 729094 SOS 351088 HAS SOPS 158286 HAS SOUS 94248 HAS SOUPS 49720 WITH SCORE 50071.088
AT ITER 501 NEW BEST:: SOT 728865 SOS 350954 HAS SOPS 158489 HAS SOUS 94064 HAS SOUPS 49720 WITH SCORE 50070.954
AT ITER 504 NEW BEST:: SOT 728925 SOS 350690 HAS SOPS 158677 HAS SOUS 94000 HAS SOUPS 49720 WITH SCORE 50070.69
AT ITER 508 NEW BEST:: SOT 729281 SOS 350443 HAS SOPS 158485 HAS SOUS 93863 HAS SOUPS 49720 WITH SCORE 50070.443
AT ITER 520 NEW BEST:: SOT 729361 SOS 350203 HAS SOPS 158485 HAS SOUS 93823 HAS SOUPS 49720 WITH SCORE 50070.203
AT ITER 521 NEW BEST:: SOT 727219 SOS 349804 HAS SOPS 153753 HAS SOUS 93124 HAS SOUPS 48191 WITH SCORE 48540.804
AT ITER 523 NEW BEST:: SOT 728117 SOS 348630 HAS SOPS 153331 HAS SOUS 92455 HAS SOUPS 48182 WITH SCORE 48530.63
AT ITER 527 NEW BEST:: SOT 726855 SOS 347234 HAS SOPS 147839 HAS SOUS 92533 HAS SOUPS 47843 WITH SCORE 48190.234
AT ITER 534 NEW BEST:: SOT 723472 SOS 350107 HAS SOPS 144645 HAS SOUS 92321 HAS SOUPS 47631 WITH SCORE 47981.107
AT ITER 536 NEW BEST:: SOT 724667 SOS 350247 HAS SOPS 143590 HAS SOUS 92321 HAS SOUPS 47406 WITH SCORE 47756.247
AT ITER 537 NEW BEST:: SOT 725874 SOS 349676 HAS SOPS 142409 HAS SOUS 92070 HAS SOUPS 47354 WITH SCORE 47703.676
AT ITER 540 NEW BEST:: SOT 726223 SOS 349610 HAS SOPS 142758 HAS SOUS 91838 HAS SOUPS 47354 WITH SCORE 47703.61
AT ITER 542 NEW BEST:: SOT 729182 SOS 349642 HAS SOPS 145281 HAS SOUS 91649 HAS SOUPS 47252 WITH SCORE 47601.642
AT ITER 544 NEW BEST:: SOT 729250 SOS 348910 HAS SOPS 144357 HAS SOUS 91800 HAS SOUPS 47252 WITH SCORE 47600.91
AT ITER 546 NEW BEST:: SOT 730928 SOS 347547 HAS SOPS 143131 HAS SOUS 91292 HAS SOUPS 47107 WITH SCORE 47454.547
AT ITER 547 NEW BEST:: SOT 730848 SOS 347487 HAS SOPS 142451 HAS SOUS 91292 HAS SOUPS 47107 WITH SCORE 47454.487
AT ITER 549 NEW BEST:: SOT 732433 SOS 347381 HAS SOPS 140760 HAS SOUS 91058 HAS SOUPS 46873 WITH SCORE 47220.381
AT ITER 550 NEW BEST:: SOT 732547 SOS 346993 HAS SOPS 140258 HAS SOUS 91057 HAS SOUPS 46873 WITH SCORE 47219.993
AT ITER 551 NEW BEST:: SOT 737051 SOS 345705 HAS SOPS 144762 HAS SOUS 90817 HAS SOUPS 46873 WITH SCORE 47218.705
AT ITER 552 NEW BEST:: SOT 737058 SOS 345317 HAS SOPS 144233 HAS SOUS 90817 HAS SOUPS 46873 WITH SCORE 47218.317
AT ITER 555 NEW BEST:: SOT 736727 SOS 345505 HAS SOPS 143732 HAS SOUS 90643 HAS SOUPS 46699 WITH SCORE 47044.505
AT ITER 566 NEW BEST:: SOT 736696 SOS 345494 HAS SOPS 143701 HAS SOUS 90714 HAS SOUPS 46668 WITH SCORE 47013.494
AT ITER 568 NEW BEST:: SOT 736002 SOS 344453 HAS SOPS 143701 HAS SOUS 90367 HAS SOUPS 46668 WITH SCORE 47012.453
AT ITER 572 NEW BEST:: SOT 736340 SOS 344193 HAS SOPS 143831 HAS SOUS 90263 HAS SOUPS 46616 WITH SCORE 46960.193
AT ITER 575 NEW BEST:: SOT 736108 SOS 343985 HAS SOPS 143855 HAS SOUS 90245 HAS SOUPS 46616 WITH SCORE 46959.985
AT ITER 580 NEW BEST:: SOT 736369 SOS 341867 HAS SOPS 143676 HAS SOUS 90217 HAS SOUPS 46616 WITH SCORE 46957.867
AT ITER 586 NEW BEST:: SOT 736668 SOS 342305 HAS SOPS 143815 HAS SOUS 90137 HAS SOUPS 46536 WITH SCORE 46878.305
AT ITER 589 NEW BEST:: SOT 738847 SOS 342547 HAS SOPS 141878 HAS SOUS 90475 HAS SOUPS 46290 WITH SCORE 46632.547
AT ITER 590 NEW BEST:: SOT 737799 SOS 341561 HAS SOPS 141940 HAS SOUS 90197 HAS SOUPS 46249 WITH SCORE 46590.561
AT ITER 591 NEW BEST:: SOT 737941 SOS 341560 HAS SOPS 141892 HAS SOUS 90102 HAS SOUPS 46249 WITH SCORE 46590.56
AT ITER 594 NEW BEST:: SOT 738720 SOS 343425 HAS SOPS 142364 HAS SOUS 90175 HAS SOUPS 46236 WITH SCORE 46579.425
AT ITER 595 NEW BEST:: SOT 739199 SOS 342655 HAS SOPS 142303 HAS SOUS 90175 HAS SOUPS 46236 WITH SCORE 46578.655
AT ITER 599 NEW BEST:: SOT 740379 SOS 343479 HAS SOPS 141947 HAS SOUS 90284 HAS SOUPS 46056 WITH SCORE 46399.479
AT ITER 600 NEW BEST:: SOT 740345 SOS 343606 HAS SOPS 141913 HAS SOUS 90385 HAS SOUPS 46027 WITH SCORE 46370.606
AT ITER 604 NEW BEST:: SOT 740438 SOS 342126 HAS SOPS 140578 HAS SOUS 90041 HAS SOUPS 46014 WITH SCORE 46356.126
AT ITER 608 NEW BEST:: SOT 740306 SOS 342038 HAS SOPS 140446 HAS SOUS 90043 HAS SOUPS 45928 WITH SCORE 46270.038
AT ITER 613 NEW BEST:: SOT 740159 SOS 342158 HAS SOPS 140299 HAS SOUS 90103 HAS SOUPS 45781 WITH SCORE 46123.158
AT ITER 619 NEW BEST:: SOT 741384 SOS 341528 HAS SOPS 138444 HAS SOUS 90111 HAS SOUPS 45538 WITH SCORE 45879.528
AT ITER 620 NEW BEST:: SOT 741341 SOS 341122 HAS SOPS 138401 HAS SOUS 90111 HAS SOUPS 45538 WITH SCORE 45879.122
AT ITER 623 NEW BEST:: SOT 740831 SOS 340587 HAS SOPS 138279 HAS SOUS 90038 HAS SOUPS 45434 WITH SCORE 45774.587
AT ITER 626 NEW BEST:: SOT 742177 SOS 341158 HAS SOPS 138413 HAS SOUS 89645 HAS SOUPS 45344 WITH SCORE 45685.158
AT ITER 628 NEW BEST:: SOT 739028 SOS 339534 HAS SOPS 135321 HAS SOUS 89575 HAS SOUPS 45217 WITH SCORE 45556.534
AT ITER 630 NEW BEST:: SOT 739919 SOS 339436 HAS SOPS 134332 HAS SOUS 89575 HAS SOUPS 45217 WITH SCORE 45556.436
AT ITER 633 NEW BEST:: SOT 739432 SOS 338906 HAS SOPS 133179 HAS SOUS 89715 HAS SOUPS 45217 WITH SCORE 45555.906
AT ITER 634 NEW BEST:: SOT 722047 SOS 330841 HAS SOPS 115358 HAS SOUS 84999 HAS SOUPS 40174 WITH SCORE 40504.841
AT ITER 637 NEW BEST:: SOT 724077 SOS 331287 HAS SOPS 113496 HAS SOUS 85134 HAS SOUPS 39927 WITH SCORE 40258.287
AT ITER 639 NEW BEST:: SOT 721491 SOS 334691 HAS SOPS 110374 HAS SOUS 85180 HAS SOUPS 39679 WITH SCORE 40013.691
AT ITER 642 NEW BEST:: SOT 721714 SOS 334462 HAS SOPS 110057 HAS SOUS 84928 HAS SOUPS 39562 WITH SCORE 39896.462
AT ITER 643 NEW BEST:: SOT 721529 SOS 332310 HAS SOPS 111168 HAS SOUS 84631 HAS SOUPS 39531 WITH SCORE 39863.31
AT ITER 645 NEW BEST:: SOT 721674 SOS 332390 HAS SOPS 111103 HAS SOUS 84654 HAS SOUPS 39466 WITH SCORE 39798.39
AT ITER 647 NEW BEST:: SOT 721674 SOS 332387 HAS SOPS 111109 HAS SOUS 84654 HAS SOUPS 39466 WITH SCORE 39798.387
AT ITER 648 NEW BEST:: SOT 722406 SOS 331966 HAS SOPS 110101 HAS SOUS 84509 HAS SOUPS 39466 WITH SCORE 39797.966
AT ITER 649 NEW BEST:: SOT 721276 SOS 331734 HAS SOPS 108867 HAS SOUS 84084 HAS SOUPS 38989 WITH SCORE 39320.734
AT ITER 651 NEW BEST:: SOT 721429 SOS 332040 HAS SOPS 108696 HAS SOUS 84030 HAS SOUPS 38935 WITH SCORE 39267.04
AT ITER 652 NEW BEST:: SOT 721201 SOS 331812 HAS SOPS 108696 HAS SOUS 84030 HAS SOUPS 38935 WITH SCORE 39266.812
AT ITER 653 NEW BEST:: SOT 721282 SOS 331785 HAS SOPS 108615 HAS SOUS 84003 HAS SOUPS 38908 WITH SCORE 39239.785
AT ITER 660 NEW BEST:: SOT 721057 SOS 331647 HAS SOPS 108390 HAS SOUS 83969 HAS SOUPS 38787 WITH SCORE 39118.647
AT ITER 664 NEW BEST:: SOT 721263 SOS 331603 HAS SOPS 108292 HAS SOUS 83796 HAS SOUPS 38669 WITH SCORE 39000.603
AT ITER 665 NEW BEST:: SOT 721277 SOS 332612 HAS SOPS 108306 HAS SOUS 83686 HAS SOUPS 38559 WITH SCORE 38891.612
AT ITER 667 NEW BEST:: SOT 721979 SOS 333318 HAS SOPS 108310 HAS SOUS 84066 HAS SOUPS 38556 WITH SCORE 38889.318
AT ITER 668 NEW BEST:: SOT 721753 SOS 334234 HAS SOPS 108084 HAS SOUS 84002 HAS SOUPS 38492 WITH SCORE 38826.234
AT ITER 669 NEW BEST:: SOT 721813 SOS 334204 HAS SOPS 108244 HAS SOUS 83952 HAS SOUPS 38492 WITH SCORE 38826.204
AT ITER 670 NEW BEST:: SOT 721621 SOS 334012 HAS SOPS 108052 HAS SOUS 83926 HAS SOUPS 38370 WITH SCORE 38704.012
AT ITER 671 NEW BEST:: SOT 721318 SOS 333470 HAS SOPS 108005 HAS SOUS 83783 HAS SOUPS 38318 WITH SCORE 38651.47
AT ITER 673 NEW BEST:: SOT 721318 SOS 333353 HAS SOPS 108005 HAS SOUS 83744 HAS SOUPS 38318 WITH SCORE 38651.353
AT ITER 674 NEW BEST:: SOT 721198 SOS 333113 HAS SOPS 107885 HAS SOUS 83387 HAS SOUPS 38198 WITH SCORE 38531.113
AT ITER 678 NEW BEST:: SOT 721198 SOS 333088 HAS SOPS 107885 HAS SOUS 83362 HAS SOUPS 38198 WITH SCORE 38531.088
AT ITER 681 NEW BEST:: SOT 721163 SOS 332983 HAS SOPS 107850 HAS SOUS 83327 HAS SOUPS 38198 WITH SCORE 38530.983
AT ITER 685 NEW BEST:: SOT 721171 SOS 332801 HAS SOPS 107660 HAS SOUS 83228 HAS SOUPS 38099 WITH SCORE 38431.801
AT ITER 693 NEW BEST:: SOT 705893 SOS 340239 HAS SOPS 91440 HAS SOUS 80325 HAS SOUPS 34882 WITH SCORE 35222.239
AT ITER 697 NEW BEST:: SOT 706309 SOS 340438 HAS SOPS 91434 HAS SOUS 79897 HAS SOUPS 34876 WITH SCORE 35216.438
AT ITER 699 NEW BEST:: SOT 704934 SOS 339683 HAS SOPS 91655 HAS SOUS 79840 HAS SOUPS 34799 WITH SCORE 35138.683
AT ITER 700 NEW BEST:: SOT 705016 SOS 339719 HAS SOPS 91481 HAS SOUS 79794 HAS SOUPS 34718 WITH SCORE 35057.719
AT ITER 701 NEW BEST:: SOT 705225 SOS 339557 HAS SOPS 91110 HAS SOUS 79684 HAS SOUPS 34608 WITH SCORE 34947.557
AT ITER 703 NEW BEST:: SOT 705171 SOS 339503 HAS SOPS 91110 HAS SOUS 79662 HAS SOUPS 34608 WITH SCORE 34947.503
AT ITER 707 NEW BEST:: SOT 705001 SOS 339453 HAS SOPS 90505 HAS SOUS 79662 HAS SOUPS 34608 WITH SCORE 34947.453
AT ITER 709 NEW BEST:: SOT 705486 SOS 339296 HAS SOPS 90024 HAS SOUS 79375 HAS SOUPS 34447 WITH SCORE 34786.296
AT ITER 713 NEW BEST:: SOT 704942 SOS 338936 HAS SOPS 89396 HAS SOUS 79151 HAS SOUPS 34195 WITH SCORE 34533.936
AT ITER 717 NEW BEST:: SOT 704806 SOS 339105 HAS SOPS 89260 HAS SOUS 79282 HAS SOUPS 34179 WITH SCORE 34518.105
AT ITER 721 NEW BEST:: SOT 705273 SOS 339445 HAS SOPS 89295 HAS SOUS 79148 HAS SOUPS 34153 WITH SCORE 34492.445
AT ITER 722 NEW BEST:: SOT 705212 SOS 338957 HAS SOPS 88990 HAS SOUS 79026 HAS SOUPS 34092 WITH SCORE 34430.957
AT ITER 728 NEW BEST:: SOT 706437 SOS 338005 HAS SOPS 86813 HAS SOUS 79208 HAS SOUPS 34092 WITH SCORE 34430.005
AT ITER 730 NEW BEST:: SOT 706503 SOS 337731 HAS SOPS 86647 HAS SOUS 79208 HAS SOUPS 34092 WITH SCORE 34429.731
AT ITER 732 NEW BEST:: SOT 706439 SOS 337635 HAS SOPS 86647 HAS SOUS 79176 HAS SOUPS 34092 WITH SCORE 34429.635
AT ITER 741 NEW BEST:: SOT 710143 SOS 327193 HAS SOPS 91101 HAS SOUS 78876 HAS SOUPS 34092 WITH SCORE 34419.193
AT ITER 744 NEW BEST:: SOT 710160 SOS 327106 HAS SOPS 92086 HAS SOUS 78755 HAS SOUPS 34092 WITH SCORE 34419.106
AT ITER 747 NEW BEST:: SOT 709872 SOS 326818 HAS SOPS 92086 HAS SOUS 78611 HAS SOUPS 34092 WITH SCORE 34418.818
AT ITER 762 NEW BEST:: SOT 710692 SOS 327909 HAS SOPS 91442 HAS SOUS 78917 HAS SOUPS 34074 WITH SCORE 34401.909
AT ITER 765 NEW BEST:: SOT 710658 SOS 327841 HAS SOPS 91408 HAS SOUS 78917 HAS SOUPS 34040 WITH SCORE 34367.841
AT ITER 766 NEW BEST:: SOT 711053 SOS 328109 HAS SOPS 91339 HAS SOUS 78801 HAS SOUPS 33982 WITH SCORE 34310.109
AT ITER 768 NEW BEST:: SOT 711332 SOS 328295 HAS SOPS 91246 HAS SOUS 78733 HAS SOUPS 33914 WITH SCORE 34242.295
AT ITER 770 NEW BEST:: SOT 711312 SOS 327925 HAS SOPS 91226 HAS SOUS 78461 HAS SOUPS 33871 WITH SCORE 34198.925
AT ITER 773 NEW BEST:: SOT 711364 SOS 327925 HAS SOPS 91200 HAS SOUS 78435 HAS SOUPS 33858 WITH SCORE 34185.925
AT ITER 774 NEW BEST:: SOT 711364 SOS 327909 HAS SOPS 91200 HAS SOUS 78435 HAS SOUPS 33858 WITH SCORE 34185.909
AT ITER 775 NEW BEST:: SOT 711594 SOS 325971 HAS SOPS 89032 HAS SOUS 78326 HAS SOUPS 33749 WITH SCORE 34074.971
AT ITER 782 NEW BEST:: SOT 711579 SOS 325836 HAS SOPS 89017 HAS SOUS 78305 HAS SOUPS 33743 WITH SCORE 34068.836
AT ITER 783 NEW BEST:: SOT 711938 SOS 326178 HAS SOPS 89000 HAS SOUS 78458 HAS SOUPS 33726 WITH SCORE 34052.178
AT ITER 784 NEW BEST:: SOT 711798 SOS 326108 HAS SOPS 89000 HAS SOUS 78582 HAS SOUPS 33726 WITH SCORE 34052.108
AT ITER 787 NEW BEST:: SOT 711101 SOS 325168 HAS SOPS 89211 HAS SOUS 78354 HAS SOUPS 33726 WITH SCORE 34051.168
AT ITER 790 NEW BEST:: SOT 709771 SOS 325238 HAS SOPS 87881 HAS SOUS 78354 HAS SOUPS 33531 WITH SCORE 33856.238
AT ITER 794 NEW BEST:: SOT 710831 SOS 325510 HAS SOPS 87093 HAS SOUS 78363 HAS SOUPS 33300 WITH SCORE 33625.51
AT ITER 799 NEW BEST:: SOT 710898 SOS 325572 HAS SOPS 87088 HAS SOUS 78363 HAS SOUPS 33295 WITH SCORE 33620.572
AT ITER 800 NEW BEST:: SOT 711086 SOS 325525 HAS SOPS 86900 HAS SOUS 78316 HAS SOUPS 33248 WITH SCORE 33573.525
AT ITER 801 NEW BEST:: SOT 705447 SOS 323082 HAS SOPS 80889 HAS SOUS 74462 HAS SOUPS 29301 WITH SCORE 29624.082
AT ITER 802 NEW BEST:: SOT 705465 SOS 323046 HAS SOPS 80931 HAS SOUS 74462 HAS SOUPS 29301 WITH SCORE 29624.046
AT ITER 804 NEW BEST:: SOT 705185 SOS 322766 HAS SOPS 80875 HAS SOUS 74462 HAS SOUPS 29245 WITH SCORE 29567.766
AT ITER 805 NEW BEST:: SOT 705079 SOS 322436 HAS SOPS 80415 HAS SOUS 74519 HAS SOUPS 29243 WITH SCORE 29565.436
AT ITER 810 NEW BEST:: SOT 704949 SOS 322176 HAS SOPS 80285 HAS SOUS 74519 HAS SOUPS 29113 WITH SCORE 29435.176
AT ITER 816 NEW BEST:: SOT 704949 SOS 322139 HAS SOPS 80285 HAS SOUS 74482 HAS SOUPS 29113 WITH SCORE 29435.139
AT ITER 817 NEW BEST:: SOT 704909 SOS 322099 HAS SOPS 80285 HAS SOUS 74491 HAS SOUPS 29113 WITH SCORE 29435.099
AT ITER 819 NEW BEST:: SOT 705650 SOS 322528 HAS SOPS 79622 HAS SOUS 74555 HAS SOUPS 29033 WITH SCORE 29355.528
AT ITER 826 NEW BEST:: SOT 706769 SOS 323398 HAS SOPS 79525 HAS SOUS 74465 HAS SOUPS 29006 WITH SCORE 29329.398
AT ITER 827 NEW BEST:: SOT 707800 SOS 324284 HAS SOPS 79380 HAS SOUS 74614 HAS SOUPS 28923 WITH SCORE 29247.284
AT ITER 831 NEW BEST:: SOT 707800 SOS 323600 HAS SOPS 78924 HAS SOUS 74462 HAS SOUPS 28847 WITH SCORE 29170.6
AT ITER 832 NEW BEST:: SOT 708608 SOS 323511 HAS SOPS 80352 HAS SOUS 74278 HAS SOUPS 28847 WITH SCORE 29170.511
AT ITER 833 NEW BEST:: SOT 709865 SOS 323937 HAS SOPS 80565 HAS SOUS 73962 HAS SOUPS 28792 WITH SCORE 29115.937
AT ITER 838 NEW BEST:: SOT 709991 SOS 323685 HAS SOPS 80187 HAS SOUS 74015 HAS SOUPS 28775 WITH SCORE 29098.685
AT ITER 851 NEW BEST:: SOT 709962 SOS 323488 HAS SOPS 80158 HAS SOUS 73793 HAS SOUPS 28729 WITH SCORE 29052.488
AT ITER 852 NEW BEST:: SOT 709547 SOS 323173 HAS SOPS 80155 HAS SOUS 73931 HAS SOUPS 28716 WITH SCORE 29039.173
AT ITER 853 NEW BEST:: SOT 702513 SOS 325788 HAS SOPS 73121 HAS SOUS 72049 HAS SOUPS 26767 WITH SCORE 27092.788
AT ITER 854 NEW BEST:: SOT 702606 SOS 325504 HAS SOPS 72744 HAS SOUS 72049 HAS SOUPS 26767 WITH SCORE 27092.504
AT ITER 855 NEW BEST:: SOT 702606 SOS 325380 HAS SOPS 72744 HAS SOUS 72049 HAS SOUPS 26767 WITH SCORE 27092.38
AT ITER 860 NEW BEST:: SOT 702502 SOS 325276 HAS SOPS 72744 HAS SOUS 72081 HAS SOUPS 26767 WITH SCORE 27092.276
AT ITER 865 NEW BEST:: SOT 702202 SOS 324976 HAS SOPS 72744 HAS SOUS 72027 HAS SOUPS 26767 WITH SCORE 27091.976
AT ITER 868 NEW BEST:: SOT 702166 SOS 324922 HAS SOPS 72744 HAS SOUS 72009 HAS SOUPS 26767 WITH SCORE 27091.922
AT ITER 869 NEW BEST:: SOT 702151 SOS 324917 HAS SOPS 72739 HAS SOUS 72019 HAS SOUPS 26767 WITH SCORE 27091.917
AT ITER 873 NEW BEST:: SOT 702119 SOS 324818 HAS SOPS 72707 HAS SOUS 71984 HAS SOUPS 26767 WITH SCORE 27091.818
AT ITER 877 NEW BEST:: SOT 703085 SOS 325646 HAS SOPS 72569 HAS SOUS 72289 HAS SOUPS 26756 WITH SCORE 27081.646
AT ITER 879 NEW BEST:: SOT 704185 SOS 326310 HAS SOPS 72133 HAS SOUS 72263 HAS SOUPS 26647 WITH SCORE 26973.31
AT ITER 881 NEW BEST:: SOT 705285 SOS 327326 HAS SOPS 72049 HAS SOUS 72806 HAS SOUPS 26598 WITH SCORE 26925.326
AT ITER 883 NEW BEST:: SOT 705913 SOS 327322 HAS SOPS 71627 HAS SOUS 72310 HAS SOUPS 26430 WITH SCORE 26757.322
AT ITER 914 NEW BEST:: SOT 705695 SOS 327198 HAS SOPS 70889 HAS SOUS 72336 HAS SOUPS 26430 WITH SCORE 26757.198
AT ITER 915 NEW BEST:: SOT 705091 SOS 326974 HAS SOPS 70777 HAS SOUS 72470 HAS SOUPS 26318 WITH SCORE 26644.974
AT ITER 920 NEW BEST:: SOT 705245 SOS 327076 HAS SOPS 70725 HAS SOUS 72418 HAS SOUPS 26266 WITH SCORE 26593.076
AT ITER 923 NEW BEST:: SOT 705576 SOS 327094 HAS SOPS 70412 HAS SOUS 72260 HAS SOUPS 26108 WITH SCORE 26435.094
AT ITER 924 NEW BEST:: SOT 705569 SOS 327031 HAS SOPS 70405 HAS SOUS 72246 HAS SOUPS 26101 WITH SCORE 26428.031
AT ITER 929 NEW BEST:: SOT 705620 SOS 326968 HAS SOPS 70324 HAS SOUS 72198 HAS SOUPS 26068 WITH SCORE 26394.968
AT ITER 930 NEW BEST:: SOT 706028 SOS 327224 HAS SOPS 70172 HAS SOUS 72254 HAS SOUPS 26012 WITH SCORE 26339.224
AT ITER 931 NEW BEST:: SOT 704354 SOS 327768 HAS SOPS 68498 HAS SOUS 71796 HAS SOUPS 25554 WITH SCORE 25881.768
AT ITER 933 NEW BEST:: SOT 704599 SOS 327722 HAS SOPS 68475 HAS SOUS 71595 HAS SOUPS 25487 WITH SCORE 25814.722
AT ITER 937 NEW BEST:: SOT 704599 SOS 327636 HAS SOPS 68475 HAS SOUS 71423 HAS SOUPS 25487 WITH SCORE 25814.636
AT ITER 938 NEW BEST:: SOT 704874 SOS 327631 HAS SOPS 68528 HAS SOUS 71337 HAS SOUPS 25450 WITH SCORE 25777.631
AT ITER 940 NEW BEST:: SOT 704860 SOS 327603 HAS SOPS 68478 HAS SOUS 71346 HAS SOUPS 25450 WITH SCORE 25777.603
AT ITER 944 NEW BEST:: SOT 704561 SOS 327977 HAS SOPS 68155 HAS SOUS 71284 HAS SOUPS 25380 WITH SCORE 25707.977
AT ITER 953 NEW BEST:: SOT 704602 SOS 327469 HAS SOPS 67842 HAS SOUS 71166 HAS SOUPS 25321 WITH SCORE 25648.469
AT ITER 959 NEW BEST:: SOT 704602 SOS 327467 HAS SOPS 67842 HAS SOUS 71164 HAS SOUPS 25321 WITH SCORE 25648.467
AT ITER 960 NEW BEST:: SOT 699606 SOS 334830 HAS SOPS 60896 HAS SOUS 68960 HAS SOUPS 22853 WITH SCORE 23187.83
AT ITER 968 NEW BEST:: SOT 699777 SOS 334944 HAS SOPS 60839 HAS SOUS 68846 HAS SOUPS 22796 WITH SCORE 23130.944
AT ITER 972 NEW BEST:: SOT 700131 SOS 334468 HAS SOPS 60009 HAS SOUS 68772 HAS SOUPS 22722 WITH SCORE 23056.468
AT ITER 981 NEW BEST:: SOT 700185 SOS 333384 HAS SOPS 58871 HAS SOUS 68523 HAS SOUPS 22436 WITH SCORE 22769.384
AT ITER 989 NEW BEST:: SOT 701674 SOS 334802 HAS SOPS 58800 HAS SOUS 68767 HAS SOUPS 22365 WITH SCORE 22699.802
AT ITER 997 NEW BEST:: SOT 701796 SOS 334626 HAS SOPS 58642 HAS SOUS 68732 HAS SOUPS 22365 WITH SCORE 22699.626
AT ITER 998 NEW BEST:: SOT 701453 SOS 334850 HAS SOPS 58075 HAS SOUS 68562 HAS SOUPS 22181 WITH SCORE 22515.85
AT ITER 1000 NEW BEST:: SOT 698845 SOS 337848 HAS SOPS 55467 HAS SOUS 67280 HAS SOUPS 20677 WITH SCORE 21014.848
AT ITER 1001 NEW BEST:: SOT 696773 SOS 339243 HAS SOPS 53204 HAS SOUS 66813 HAS SOUPS 19859 WITH SCORE 20198.243
AT ITER 1005 NEW BEST:: SOT 696460 SOS 339537 HAS SOPS 53121 HAS SOUS 66845 HAS SOUPS 19776 WITH SCORE 20115.537
AT ITER 1006 NEW BEST:: SOT 696486 SOS 339430 HAS SOPS 52935 HAS SOUS 66845 HAS SOUPS 19776 WITH SCORE 20115.43
AT ITER 1007 NEW BEST:: SOT 696327 SOS 339271 HAS SOPS 52935 HAS SOUS 66695 HAS SOUPS 19776 WITH SCORE 20115.271
AT ITER 1008 NEW BEST:: SOT 697912 SOS 340839 HAS SOPS 52918 HAS SOUS 66979 HAS SOUPS 19764 WITH SCORE 20104.839
AT ITER 1009 NEW BEST:: SOT 699071 SOS 339979 HAS SOPS 52261 HAS SOUS 66752 HAS SOUPS 19537 WITH SCORE 19876.979
AT ITER 1014 NEW BEST:: SOT 699969 SOS 340765 HAS SOPS 52149 HAS SOUS 66844 HAS SOUPS 19464 WITH SCORE 19804.765
AT ITER 1017 NEW BEST:: SOT 700938 SOS 341971 HAS SOPS 51654 HAS SOUS 67363 HAS SOUPS 19299 WITH SCORE 19640.971
AT ITER 1018 NEW BEST:: SOT 700992 SOS 342011 HAS SOPS 51640 HAS SOUS 67349 HAS SOUPS 19285 WITH SCORE 19627.011
AT ITER 1023 NEW BEST:: SOT 702556 SOS 343083 HAS SOPS 51148 HAS SOUS 67267 HAS SOUPS 19193 WITH SCORE 19536.083
AT ITER 1029 NEW BEST:: SOT 702484 SOS 343019 HAS SOPS 51140 HAS SOUS 67275 HAS SOUPS 19185 WITH SCORE 19528.019
AT ITER 1033 NEW BEST:: SOT 702698 SOS 342921 HAS SOPS 50828 HAS SOUS 67455 HAS SOUPS 19053 WITH SCORE 19395.921
AT ITER 1037 NEW BEST:: SOT 703772 SOS 343777 HAS SOPS 50610 HAS SOUS 67315 HAS SOUPS 18903 WITH SCORE 19246.777
AT ITER 1046 NEW BEST:: SOT 703696 SOS 343701 HAS SOPS 50610 HAS SOUS 67315 HAS SOUPS 18903 WITH SCORE 19246.701
AT ITER 1049 NEW BEST:: SOT 703923 SOS 343155 HAS SOPS 49837 HAS SOUS 67201 HAS SOUPS 18889 WITH SCORE 19232.155
AT ITER 1050 NEW BEST:: SOT 704253 SOS 343227 HAS SOPS 49579 HAS SOUS 67152 HAS SOUPS 18840 WITH SCORE 19183.227
AT ITER 1051 NEW BEST:: SOT 705135 SOS 344039 HAS SOPS 49509 HAS SOUS 67282 HAS SOUPS 18780 WITH SCORE 19124.039
AT ITER 1052 NEW BEST:: SOT 705133 SOS 343979 HAS SOPS 49605 HAS SOUS 67282 HAS SOUPS 18780 WITH SCORE 19123.979
AT ITER 1058 NEW BEST:: SOT 704654 SOS 343959 HAS SOPS 49394 HAS SOUS 67384 HAS SOUPS 18748 WITH SCORE 19091.959
AT ITER 1067 NEW BEST:: SOT 704682 SOS 343980 HAS SOPS 49408 HAS SOUS 67377 HAS SOUPS 18741 WITH SCORE 19084.98
AT ITER 1068 NEW BEST:: SOT 704769 SOS 344038 HAS SOPS 49379 HAS SOUS 67319 HAS SOUPS 18712 WITH SCORE 19056.038
AT ITER 1069 NEW BEST:: SOT 702533 SOS 347188 HAS SOPS 46319 HAS SOUS 67081 HAS SOUPS 18198 WITH SCORE 18545.188
AT ITER 1074 NEW BEST:: SOT 702645 SOS 346644 HAS SOPS 46431 HAS SOUS 67081 HAS SOUPS 18198 WITH SCORE 18544.644
AT ITER 1083 NEW BEST:: SOT 701216 SOS 345610 HAS SOPS 46370 HAS SOUS 67174 HAS SOUPS 18175 WITH SCORE 18520.61
AT ITER 1085 NEW BEST:: SOT 701811 SOS 346192 HAS SOPS 46357 HAS SOUS 67257 HAS SOUPS 18162 WITH SCORE 18508.192
AT ITER 1088 NEW BEST:: SOT 701985 SOS 345889 HAS SOPS 45787 HAS SOUS 67164 HAS SOUPS 18069 WITH SCORE 18414.889
AT ITER 1103 NEW BEST:: SOT 701865 SOS 345589 HAS SOPS 45787 HAS SOUS 67164 HAS SOUPS 18069 WITH SCORE 18414.589
AT ITER 1105 NEW BEST:: SOT 702303 SOS 345865 HAS SOPS 45625 HAS SOUS 67082 HAS SOUPS 17987 WITH SCORE 18332.865
AT ITER 1107 NEW BEST:: SOT 702660 SOS 345595 HAS SOPS 44998 HAS SOUS 67032 HAS SOUPS 17927 WITH SCORE 18272.595
AT ITER 1112 NEW BEST:: SOT 701711 SOS 344913 HAS SOPS 45265 HAS SOUS 66622 HAS SOUPS 17896 WITH SCORE 18240.913
AT ITER 1113 NEW BEST:: SOT 701711 SOS 345017 HAS SOPS 45057 HAS SOUS 66518 HAS SOUPS 17792 WITH SCORE 18137.017
AT ITER 1114 NEW BEST:: SOT 701010 SOS 344405 HAS SOPS 44672 HAS SOUS 66410 HAS SOUPS 17684 WITH SCORE 18028.405
AT ITER 1115 NEW BEST:: SOT 700329 SOS 345308 HAS SOPS 43689 HAS SOUS 66266 HAS SOUPS 17389 WITH SCORE 17734.308
AT ITER 1116 NEW BEST:: SOT 700293 SOS 344736 HAS SOPS 42253 HAS SOUS 66366 HAS SOUPS 17389 WITH SCORE 17733.736
AT ITER 1119 NEW BEST:: SOT 700285 SOS 344759 HAS SOPS 42245 HAS SOUS 66420 HAS SOUPS 17381 WITH SCORE 17725.759
AT ITER 1127 NEW BEST:: SOT 700558 SOS 344715 HAS SOPS 41928 HAS SOUS 66681 HAS SOUPS 17340 WITH SCORE 17684.715
AT ITER 1128 NEW BEST:: SOT 702051 SOS 345765 HAS SOPS 41485 HAS SOUS 66810 HAS SOUPS 17298 WITH SCORE 17643.765
AT ITER 1137 NEW BEST:: SOT 702364 SOS 344991 HAS SOPS 41198 HAS SOUS 66610 HAS SOUPS 17198 WITH SCORE 17542.991
AT ITER 1139 NEW BEST:: SOT 702423 SOS 344619 HAS SOPS 40767 HAS SOUS 66575 HAS SOUPS 17198 WITH SCORE 17542.619
AT ITER 1140 NEW BEST:: SOT 704138 SOS 348943 HAS SOPS 39502 HAS SOUS 66927 HAS SOUPS 17078 WITH SCORE 17426.943
AT ITER 1143 NEW BEST:: SOT 704138 SOS 348759 HAS SOPS 39318 HAS SOUS 66881 HAS SOUPS 17078 WITH SCORE 17426.759
AT ITER 1147 NEW BEST:: SOT 704045 SOS 349803 HAS SOPS 38815 HAS SOUS 67099 HAS SOUPS 17026 WITH SCORE 17375.803
AT ITER 1151 NEW BEST:: SOT 704212 SOS 349993 HAS SOPS 38838 HAS SOUS 67075 HAS SOUPS 17002 WITH SCORE 17351.993
AT ITER 1167 NEW BEST:: SOT 704646 SOS 350349 HAS SOPS 38760 HAS SOUS 67061 HAS SOUPS 16970 WITH SCORE 17320.349
AT ITER 1169 NEW BEST:: SOT 704646 SOS 350269 HAS SOPS 38760 HAS SOUS 66981 HAS SOUPS 16970 WITH SCORE 17320.269
AT ITER 1172 NEW BEST:: SOT 704220 SOS 349843 HAS SOPS 38760 HAS SOUS 66991 HAS SOUPS 16970 WITH SCORE 17319.843
AT ITER 1173 NEW BEST:: SOT 704220 SOS 349552 HAS SOPS 38760 HAS SOUS 66894 HAS SOUPS 16970 WITH SCORE 17319.552
AT ITER 1181 NEW BEST:: SOT 704158 SOS 349332 HAS SOPS 38698 HAS SOUS 66764 HAS SOUPS 16930 WITH SCORE 17279.332
AT ITER 1187 NEW BEST:: SOT 704884 SOS 350008 HAS SOPS 38648 HAS SOUS 66491 HAS SOUPS 16645 WITH SCORE 16995.008
AT ITER 1189 NEW BEST:: SOT 704941 SOS 350059 HAS SOPS 38633 HAS SOUS 66493 HAS SOUPS 16633 WITH SCORE 16983.059
AT ITER 1193 NEW BEST:: SOT 703815 SOS 350591 HAS SOPS 37275 HAS SOUS 66392 HAS SOUPS 16300 WITH SCORE 16650.591
AT ITER 1203 NEW BEST:: SOT 704066 SOS 351149 HAS SOPS 37190 HAS SOUS 66392 HAS SOUPS 16244 WITH SCORE 16595.149
AT ITER 1204 NEW BEST:: SOT 704204 SOS 351257 HAS SOPS 37160 HAS SOUS 66364 HAS SOUPS 16216 WITH SCORE 16567.257
AT ITER 1208 NEW BEST:: SOT 703450 SOS 351712 HAS SOPS 36406 HAS SOUS 65931 HAS SOUPS 15632 WITH SCORE 15983.712
AT ITER 1214 NEW BEST:: SOT 703646 SOS 351867 HAS SOPS 36286 HAS SOUS 65975 HAS SOUPS 15583 WITH SCORE 15934.867
AT ITER 1215 NEW BEST:: SOT 703952 SOS 351069 HAS SOPS 36592 HAS SOUS 65834 HAS SOUPS 15583 WITH SCORE 15934.069
AT ITER 1217 NEW BEST:: SOT 703952 SOS 351041 HAS SOPS 36592 HAS SOUS 65806 HAS SOUPS 15583 WITH SCORE 15934.041
AT ITER 1225 NEW BEST:: SOT 703571 SOS 352414 HAS SOPS 36821 HAS SOUS 66053 HAS SOUPS 15490 WITH SCORE 15842.414
AT ITER 1230 NEW BEST:: SOT 703575 SOS 352414 HAS SOPS 36817 HAS SOUS 66049 HAS SOUPS 15486 WITH SCORE 15838.414
AT ITER 1231 NEW BEST:: SOT 703575 SOS 352353 HAS SOPS 36817 HAS SOUS 65988 HAS SOUPS 15486 WITH SCORE 15838.353
AT ITER 1233 NEW BEST:: SOT 703492 SOS 356923 HAS SOPS 36734 HAS SOUS 65917 HAS SOUPS 15415 WITH SCORE 15771.923
AT ITER 1243 NEW BEST:: SOT 703540 SOS 356859 HAS SOPS 36590 HAS SOUS 65901 HAS SOUPS 15399 WITH SCORE 15755.859
AT ITER 1245 NEW BEST:: SOT 704245 SOS 357397 HAS SOPS 36423 HAS SOUS 65891 HAS SOUPS 15301 WITH SCORE 15658.397
AT ITER 1248 NEW BEST:: SOT 704243 SOS 357393 HAS SOPS 36421 HAS SOUS 65981 HAS SOUPS 15299 WITH SCORE 15656.393
AT ITER 1251 NEW BEST:: SOT 705102 SOS 357893 HAS SOPS 36062 HAS SOUS 65755 HAS SOUPS 15279 WITH SCORE 15636.893
AT ITER 1255 NEW BEST:: SOT 704982 SOS 357564 HAS SOPS 36031 HAS SOUS 65598 HAS SOUPS 15211 WITH SCORE 15568.564
AT ITER 1257 NEW BEST:: SOT 705040 SOS 357522 HAS SOPS 35773 HAS SOUS 65707 HAS SOUPS 15162 WITH SCORE 15519.522
AT ITER 1262 NEW BEST:: SOT 704893 SOS 357312 HAS SOPS 35710 HAS SOUS 65665 HAS SOUPS 15120 WITH SCORE 15477.312
AT ITER 1264 NEW BEST:: SOT 705543 SOS 357810 HAS SOPS 35558 HAS SOUS 65513 HAS SOUPS 14968 WITH SCORE 15325.81
AT ITER 1268 NEW BEST:: SOT 705051 SOS 360532 HAS SOPS 35284 HAS SOUS 65591 HAS SOUPS 14937 WITH SCORE 15297.532
AT ITER 1269 NEW BEST:: SOT 705066 SOS 360527 HAS SOPS 35259 HAS SOUS 65576 HAS SOUPS 14927 WITH SCORE 15287.527
AT ITER 1271 NEW BEST:: SOT 705949 SOS 361627 HAS SOPS 35254 HAS SOUS 66036 HAS SOUPS 14922 WITH SCORE 15283.627
AT ITER 1276 NEW BEST:: SOT 705651 SOS 362729 HAS SOPS 34956 HAS SOUS 65885 HAS SOUPS 14771 WITH SCORE 15133.729
AT ITER 1279 NEW BEST:: SOT 705607 SOS 362685 HAS SOPS 34956 HAS SOUS 65855 HAS SOUPS 14771 WITH SCORE 15133.685
AT ITER 1281 NEW BEST:: SOT 705749 SOS 362561 HAS SOPS 34690 HAS SOUS 65862 HAS SOUPS 14755 WITH SCORE 15117.561
AT ITER 1283 NEW BEST:: SOT 705734 SOS 362576 HAS SOPS 34663 HAS SOUS 65865 HAS SOUPS 14740 WITH SCORE 15102.576000000001
AT ITER 1286 NEW BEST:: SOT 704118 SOS 364191 HAS SOPS 32785 HAS SOUS 65472 HAS SOUPS 14221 WITH SCORE 14585.191
AT ITER 1287 NEW BEST:: SOT 704637 SOS 364527 HAS SOPS 32656 HAS SOUS 65364 HAS SOUPS 14113 WITH SCORE 14477.527
AT ITER 1288 NEW BEST:: SOT 704612 SOS 364681 HAS SOPS 32631 HAS SOUS 65373 HAS SOUPS 14088 WITH SCORE 14452.681
AT ITER 1291 NEW BEST:: SOT 704364 SOS 370359 HAS SOPS 32383 HAS SOUS 65234 HAS SOUPS 13949 WITH SCORE 14319.359
AT ITER 1296 NEW BEST:: SOT 704636 SOS 370903 HAS SOPS 32253 HAS SOUS 65230 HAS SOUPS 13945 WITH SCORE 14315.903
AT ITER 1305 NEW BEST:: SOT 704545 SOS 370696 HAS SOPS 32112 HAS SOUS 65155 HAS SOUPS 13870 WITH SCORE 14240.696
AT ITER 1306 NEW BEST:: SOT 704895 SOS 370508 HAS SOPS 32166 HAS SOUS 64841 HAS SOUPS 13852 WITH SCORE 14222.508
AT ITER 1308 NEW BEST:: SOT 704720 SOS 370298 HAS SOPS 32131 HAS SOUS 64841 HAS SOUPS 13852 WITH SCORE 14222.298
AT ITER 1317 NEW BEST:: SOT 704440 SOS 370018 HAS SOPS 32131 HAS SOUS 64717 HAS SOUPS 13852 WITH SCORE 14222.018
AT ITER 1319 NEW BEST:: SOT 704672 SOS 369582 HAS SOPS 32063 HAS SOUS 64499 HAS SOUPS 13784 WITH SCORE 14153.582
AT ITER 1321 NEW BEST:: SOT 704538 SOS 369424 HAS SOPS 31929 HAS SOUS 64389 HAS SOUPS 13674 WITH SCORE 14043.424
AT ITER 1332 NEW BEST:: SOT 704623 SOS 369322 HAS SOPS 31742 HAS SOUS 64372 HAS SOUPS 13657 WITH SCORE 14026.322
AT ITER 1334 NEW BEST:: SOT 704625 SOS 369313 HAS SOPS 31742 HAS SOUS 64371 HAS SOUPS 13657 WITH SCORE 14026.313
AT ITER 1339 NEW BEST:: SOT 706843 SOS 369954 HAS SOPS 30418 HAS SOUS 64045 HAS SOUPS 13584 WITH SCORE 13953.954
AT ITER 1341 NEW BEST:: SOT 706843 SOS 369736 HAS SOPS 30418 HAS SOUS 63827 HAS SOUPS 13584 WITH SCORE 13953.736
AT ITER 1343 NEW BEST:: SOT 706392 SOS 369574 HAS SOPS 30115 HAS SOUS 63670 HAS SOUPS 13427 WITH SCORE 13796.574
AT ITER 1345 NEW BEST:: SOT 706235 SOS 369533 HAS SOPS 30114 HAS SOUS 63747 HAS SOUPS 13426 WITH SCORE 13795.533
AT ITER 1356 NEW BEST:: SOT 706843 SOS 369825 HAS SOPS 29798 HAS SOUS 63715 HAS SOUPS 13291 WITH SCORE 13660.825
AT ITER 1364 NEW BEST:: SOT 706827 SOS 369825 HAS SOPS 29782 HAS SOUS 63763 HAS SOUPS 13275 WITH SCORE 13644.825
AT ITER 1365 NEW BEST:: SOT 706707 SOS 369705 HAS SOPS 29782 HAS SOUS 63714 HAS SOUPS 13275 WITH SCORE 13644.705
AT ITER 1373 NEW BEST:: SOT 706607 SOS 371705 HAS SOPS 29682 HAS SOUS 63664 HAS SOUPS 13175 WITH SCORE 13546.705
AT ITER 1375 NEW BEST:: SOT 706276 SOS 372403 HAS SOPS 29031 HAS SOUS 63447 HAS SOUPS 12798 WITH SCORE 13170.403
AT ITER 1376 NEW BEST:: SOT 707112 SOS 373055 HAS SOPS 29051 HAS SOUS 63224 HAS SOUPS 12779 WITH SCORE 13152.055
AT ITER 1377 NEW BEST:: SOT 707226 SOS 373055 HAS SOPS 28937 HAS SOUS 63110 HAS SOUPS 12665 WITH SCORE 13038.055
AT ITER 1379 NEW BEST:: SOT 707615 SOS 372833 HAS SOPS 27726 HAS SOUS 62817 HAS SOUPS 12372 WITH SCORE 12744.833
AT ITER 1382 NEW BEST:: SOT 707615 SOS 372465 HAS SOPS 27772 HAS SOUS 62771 HAS SOUPS 12372 WITH SCORE 12744.465
AT ITER 1383 NEW BEST:: SOT 707519 SOS 372369 HAS SOPS 27772 HAS SOUS 62757 HAS SOUPS 12372 WITH SCORE 12744.369
AT ITER 1386 NEW BEST:: SOT 707519 SOS 371872 HAS SOPS 27772 HAS SOUS 62757 HAS SOUPS 12372 WITH SCORE 12743.872
AT ITER 1389 NEW BEST:: SOT 711372 SOS 375234 HAS SOPS 27281 HAS SOUS 62849 HAS SOUPS 12334 WITH SCORE 12709.234
AT ITER 1393 NEW BEST:: SOT 711612 SOS 375220 HAS SOPS 26989 HAS SOUS 62887 HAS SOUPS 12334 WITH SCORE 12709.22
AT ITER 1395 NEW BEST:: SOT 711640 SOS 374816 HAS SOPS 27477 HAS SOUS 62887 HAS SOUPS 12334 WITH SCORE 12708.816
AT ITER 1397 NEW BEST:: SOT 710760 SOS 373936 HAS SOPS 27477 HAS SOUS 62873 HAS SOUPS 12334 WITH SCORE 12707.936
AT ITER 1405 NEW BEST:: SOT 711213 SOS 374269 HAS SOPS 27548 HAS SOUS 62806 HAS SOUPS 12267 WITH SCORE 12641.269
AT ITER 1414 NEW BEST:: SOT 710797 SOS 373853 HAS SOPS 27548 HAS SOUS 62598 HAS SOUPS 12267 WITH SCORE 12640.853
AT ITER 1423 NEW BEST:: SOT 710796 SOS 373839 HAS SOPS 27535 HAS SOUS 62597 HAS SOUPS 12266 WITH SCORE 12639.839
AT ITER 1427 NEW BEST:: SOT 712483 SOS 375149 HAS SOPS 27502 HAS SOUS 62233 HAS SOUPS 12246 WITH SCORE 12621.149
AT ITER 1428 NEW BEST:: SOT 712309 SOS 375075 HAS SOPS 27465 HAS SOUS 62485 HAS SOUPS 12209 WITH SCORE 12584.075
AT ITER 1431 NEW BEST:: SOT 711515 SOS 377075 HAS SOPS 26671 HAS SOUS 62332 HAS SOUPS 12056 WITH SCORE 12433.075
AT ITER 1434 NEW BEST:: SOT 713118 SOS 378653 HAS SOPS 26498 HAS SOUS 62514 HAS SOUPS 11946 WITH SCORE 12324.653
AT ITER 1438 NEW BEST:: SOT 713113 SOS 378643 HAS SOPS 26493 HAS SOUS 62454 HAS SOUPS 11941 WITH SCORE 12319.643
AT ITER 1444 NEW BEST:: SOT 713152 SOS 378667 HAS SOPS 26478 HAS SOUS 62423 HAS SOUPS 11926 WITH SCORE 12304.667
AT ITER 1449 NEW BEST:: SOT 713118 SOS 378565 HAS SOPS 26512 HAS SOUS 62389 HAS SOUPS 11926 WITH SCORE 12304.565
AT ITER 1453 NEW BEST:: SOT 714704 SOS 378793 HAS SOPS 25154 HAS SOUS 62362 HAS SOUPS 11844 WITH SCORE 12222.793
AT ITER 1454 NEW BEST:: SOT 714804 SOS 378912 HAS SOPS 25092 HAS SOUS 62310 HAS SOUPS 11765 WITH SCORE 12143.912
AT ITER 1455 NEW BEST:: SOT 714190 SOS 378270 HAS SOPS 25064 HAS SOUS 62046 HAS SOUPS 11709 WITH SCORE 12087.27
AT ITER 1462 NEW BEST:: SOT 714086 SOS 378418 HAS SOPS 24960 HAS SOUS 62298 HAS SOUPS 11605 WITH SCORE 11983.418
AT ITER 1463 NEW BEST:: SOT 714062 SOS 378388 HAS SOPS 24960 HAS SOUS 62280 HAS SOUPS 11605 WITH SCORE 11983.388
AT ITER 1465 NEW BEST:: SOT 714048 SOS 378367 HAS SOPS 24960 HAS SOUS 62273 HAS SOUPS 11605 WITH SCORE 11983.367
AT ITER 1474 NEW BEST:: SOT 714134 SOS 378259 HAS SOPS 24946 HAS SOUS 62253 HAS SOUPS 11585 WITH SCORE 11963.259
AT ITER 1485 NEW BEST:: SOT 714134 SOS 378101 HAS SOPS 24946 HAS SOUS 62095 HAS SOUPS 11585 WITH SCORE 11963.101
AT ITER 1486 NEW BEST:: SOT 713862 SOS 377829 HAS SOPS 24946 HAS SOUS 62095 HAS SOUPS 11585 WITH SCORE 11962.829
AT ITER 1488 NEW BEST:: SOT 713521 SOS 377697 HAS SOPS 24605 HAS SOUS 62315 HAS SOUPS 11378 WITH SCORE 11755.697
AT ITER 1489 NEW BEST:: SOT 713940 SOS 377255 HAS SOPS 24512 HAS SOUS 62047 HAS SOUPS 11366 WITH SCORE 11743.255
AT ITER 1490 NEW BEST:: SOT 715239 SOS 378383 HAS SOPS 24341 HAS SOUS 61873 HAS SOUPS 11272 WITH SCORE 11650.383
AT ITER 1506 NEW BEST:: SOT 716910 SOS 379401 HAS SOPS 23688 HAS SOUS 61690 HAS SOUPS 11106 WITH SCORE 11485.401
AT ITER 1514 NEW BEST:: SOT 716310 SOS 379101 HAS SOPS 23688 HAS SOUS 61840 HAS SOUPS 11106 WITH SCORE 11485.101
AT ITER 1518 NEW BEST:: SOT 716079 SOS 378753 HAS SOPS 23571 HAS SOUS 61810 HAS SOUPS 11060 WITH SCORE 11438.753
AT ITER 1520 NEW BEST:: SOT 716298 SOS 378856 HAS SOPS 23522 HAS SOUS 61727 HAS SOUPS 11044 WITH SCORE 11422.856
AT ITER 1522 NEW BEST:: SOT 715174 SOS 389740 HAS SOPS 22398 HAS SOUS 61327 HAS SOUPS 10644 WITH SCORE 11033.74
AT ITER 1529 NEW BEST:: SOT 716087 SOS 390366 HAS SOPS 22111 HAS SOUS 61422 HAS SOUPS 10540 WITH SCORE 10930.366
AT ITER 1531 NEW BEST:: SOT 716077 SOS 390356 HAS SOPS 22111 HAS SOUS 61421 HAS SOUPS 10540 WITH SCORE 10930.356
AT ITER 1532 NEW BEST:: SOT 715878 SOS 388830 HAS SOPS 22288 HAS SOUS 61064 HAS SOUPS 10445 WITH SCORE 10833.83
AT ITER 1533 NEW BEST:: SOT 715631 SOS 388507 HAS SOPS 22212 HAS SOUS 61050 HAS SOUPS 10431 WITH SCORE 10819.507
AT ITER 1535 NEW BEST:: SOT 715322 SOS 389345 HAS SOPS 21812 HAS SOUS 60881 HAS SOUPS 10262 WITH SCORE 10651.345
AT ITER 1543 NEW BEST:: SOT 714945 SOS 389669 HAS SOPS 21743 HAS SOUS 60973 HAS SOUPS 10200 WITH SCORE 10589.669
AT ITER 1549 NEW BEST:: SOT 714993 SOS 389765 HAS SOPS 21567 HAS SOUS 61032 HAS SOUPS 10147 WITH SCORE 10536.765
AT ITER 1550 NEW BEST:: SOT 714778 SOS 389667 HAS SOPS 21352 HAS SOUS 61009 HAS SOUPS 10124 WITH SCORE 10513.667
AT ITER 1553 NEW BEST:: SOT 715071 SOS 389718 HAS SOPS 21431 HAS SOUS 60960 HAS SOUPS 10075 WITH SCORE 10464.718
AT ITER 1558 NEW BEST:: SOT 714315 SOS 388962 HAS SOPS 21431 HAS SOUS 60774 HAS SOUPS 10075 WITH SCORE 10463.962
AT ITER 1563 NEW BEST:: SOT 714008 SOS 388424 HAS SOPS 21428 HAS SOUS 60641 HAS SOUPS 10068 WITH SCORE 10456.424
AT ITER 1565 NEW BEST:: SOT 713908 SOS 388249 HAS SOPS 21428 HAS SOUS 60541 HAS SOUPS 10068 WITH SCORE 10456.249
AT ITER 1569 NEW BEST:: SOT 714806 SOS 389139 HAS SOPS 21420 HAS SOUS 60481 HAS SOUPS 10060 WITH SCORE 10449.139
AT ITER 1586 NEW BEST:: SOT 714806 SOS 389011 HAS SOPS 21420 HAS SOUS 60481 HAS SOUPS 10060 WITH SCORE 10449.011
AT ITER 1587 NEW BEST:: SOT 714616 SOS 388821 HAS SOPS 21420 HAS SOUS 60388 HAS SOUPS 10060 WITH SCORE 10448.821
AT ITER 1589 NEW BEST:: SOT 714624 SOS 388757 HAS SOPS 21424 HAS SOUS 60384 HAS SOUPS 10060 WITH SCORE 10448.757
AT ITER 1592 NEW BEST:: SOT 713817 SOS 387445 HAS SOPS 21221 HAS SOUS 59982 HAS SOUPS 9982 WITH SCORE 10369.445
AT ITER 1603 NEW BEST:: SOT 713777 SOS 387400 HAS SOPS 21221 HAS SOUS 59962 HAS SOUPS 9982 WITH SCORE 10369.4
AT ITER 1614 NEW BEST:: SOT 714054 SOS 387802 HAS SOPS 21194 HAS SOUS 60011 HAS SOUPS 9955 WITH SCORE 10342.802
AT ITER 1615 NEW BEST:: SOT 714097 SOS 386579 HAS SOPS 21237 HAS SOUS 59880 HAS SOUPS 9824 WITH SCORE 10210.579
AT ITER 1620 NEW BEST:: SOT 713971 SOS 386453 HAS SOPS 21237 HAS SOUS 59880 HAS SOUPS 9824 WITH SCORE 10210.453
AT ITER 1624 NEW BEST:: SOT 716496 SOS 388953 HAS SOPS 21212 HAS SOUS 60472 HAS SOUPS 9799 WITH SCORE 10187.953
AT ITER 1625 NEW BEST:: SOT 716467 SOS 388994 HAS SOPS 21183 HAS SOUS 60465 HAS SOUPS 9792 WITH SCORE 10180.994
AT ITER 1630 NEW BEST:: SOT 716604 SOS 388367 HAS SOPS 21214 HAS SOUS 60412 HAS SOUPS 9739 WITH SCORE 10127.367
AT ITER 1637 NEW BEST:: SOT 716559 SOS 388277 HAS SOPS 21169 HAS SOUS 60508 HAS SOUPS 9694 WITH SCORE 10082.277
AT ITER 1640 NEW BEST:: SOT 715838 SOS 390552 HAS SOPS 20802 HAS SOUS 60541 HAS SOUPS 9550 WITH SCORE 9940.552
AT ITER 1646 NEW BEST:: SOT 715788 SOS 390261 HAS SOPS 20752 HAS SOUS 60491 HAS SOUPS 9550 WITH SCORE 9940.261
AT ITER 1657 NEW BEST:: SOT 715548 SOS 390101 HAS SOPS 20672 HAS SOUS 60475 HAS SOUPS 9534 WITH SCORE 9924.101
AT ITER 1669 NEW BEST:: SOT 717006 SOS 390665 HAS SOPS 20170 HAS SOUS 60223 HAS SOUPS 9514 WITH SCORE 9904.665
AT ITER 1674 NEW BEST:: SOT 714262 SOS 400951 HAS SOPS 17030 HAS SOUS 59037 HAS SOUPS 8328 WITH SCORE 8728.951000000001
AT ITER 1679 NEW BEST:: SOT 714332 SOS 400970 HAS SOPS 16924 HAS SOUS 59048 HAS SOUPS 8317 WITH SCORE 8717.97
AT ITER 1681 NEW BEST:: SOT 714158 SOS 400894 HAS SOPS 16750 HAS SOUS 58874 HAS SOUPS 8143 WITH SCORE 8543.894
AT ITER 1682 NEW BEST:: SOT 714290 SOS 401026 HAS SOPS 16717 HAS SOUS 58940 HAS SOUPS 8110 WITH SCORE 8511.026
AT ITER 1684 NEW BEST:: SOT 713737 SOS 401571 HAS SOPS 16672 HAS SOUS 59175 HAS SOUPS 8091 WITH SCORE 8492.571
AT ITER 1689 NEW BEST:: SOT 713737 SOS 401570 HAS SOPS 16672 HAS SOUS 59175 HAS SOUPS 8091 WITH SCORE 8492.57
AT ITER 1691 NEW BEST:: SOT 713795 SOS 401650 HAS SOPS 16586 HAS SOUS 59215 HAS SOUPS 8059 WITH SCORE 8460.65
AT ITER 1694 NEW BEST:: SOT 713767 SOS 402014 HAS SOPS 16558 HAS SOUS 59187 HAS SOUPS 8031 WITH SCORE 8433.014
AT ITER 1695 NEW BEST:: SOT 713496 SOS 401853 HAS SOPS 16541 HAS SOUS 59170 HAS SOUPS 8014 WITH SCORE 8415.853
AT ITER 1701 NEW BEST:: SOT 713535 SOS 401721 HAS SOPS 16496 HAS SOUS 59128 HAS SOUPS 8000 WITH SCORE 8401.721
AT ITER 1708 NEW BEST:: SOT 713433 SOS 401619 HAS SOPS 16496 HAS SOUS 59077 HAS SOUPS 8000 WITH SCORE 8401.619
AT ITER 1722 NEW BEST:: SOT 713433 SOS 401585 HAS SOPS 16496 HAS SOUS 59077 HAS SOUPS 8000 WITH SCORE 8401.585
AT ITER 1740 NEW BEST:: SOT 713807 SOS 400994 HAS SOPS 15428 HAS SOUS 59077 HAS SOUPS 7897 WITH SCORE 8297.994
AT ITER 1741 NEW BEST:: SOT 713984 SOS 401213 HAS SOPS 15335 HAS SOUS 59018 HAS SOUPS 7838 WITH SCORE 8239.213
AT ITER 1742 NEW BEST:: SOT 713956 SOS 401132 HAS SOPS 15307 HAS SOUS 58968 HAS SOUPS 7813 WITH SCORE 8214.132
AT ITER 1748 NEW BEST:: SOT 713999 SOS 401170 HAS SOPS 15254 HAS SOUS 58961 HAS SOUPS 7806 WITH SCORE 8207.17
AT ITER 1754 NEW BEST:: SOT 713855 SOS 401008 HAS SOPS 15254 HAS SOUS 58906 HAS SOUPS 7806 WITH SCORE 8207.008
AT ITER 1755 NEW BEST:: SOT 713855 SOS 400601 HAS SOPS 15254 HAS SOUS 58869 HAS SOUPS 7806 WITH SCORE 8206.601
AT ITER 1774 NEW BEST:: SOT 713972 SOS 400365 HAS SOPS 14995 HAS SOUS 58653 HAS SOUPS 7777 WITH SCORE 8177.365
AT ITER 1792 NEW BEST:: SOT 713904 SOS 400297 HAS SOPS 14995 HAS SOUS 58653 HAS SOUPS 7777 WITH SCORE 8177.2970000000005
AT ITER 1796 NEW BEST:: SOT 713680 SOS 400773 HAS SOPS 14939 HAS SOUS 58613 HAS SOUPS 7737 WITH SCORE 8137.773
AT ITER 1809 NEW BEST:: SOT 713669 SOS 401941 HAS SOPS 14758 HAS SOUS 58592 HAS SOUPS 7716 WITH SCORE 8117.941
AT ITER 1810 NEW BEST:: SOT 713832 SOS 402078 HAS SOPS 14795 HAS SOUS 58588 HAS SOUPS 7712 WITH SCORE 8114.078
AT ITER 1815 NEW BEST:: SOT 713830 SOS 402076 HAS SOPS 14795 HAS SOUS 58587 HAS SOUPS 7712 WITH SCORE 8114.076
AT ITER 1822 NEW BEST:: SOT 713322 SOS 406340 HAS SOPS 14287 HAS SOUS 58796 HAS SOUPS 7613 WITH SCORE 8019.34
AT ITER 1834 NEW BEST:: SOT 712434 SOS 405600 HAS SOPS 14287 HAS SOUS 58944 HAS SOUPS 7613 WITH SCORE 8018.6
AT ITER 1839 NEW BEST:: SOT 712110 SOS 405276 HAS SOPS 14287 HAS SOUS 58890 HAS SOUPS 7613 WITH SCORE 8018.276
AT ITER 1840 NEW BEST:: SOT 711858 SOS 405168 HAS SOPS 14233 HAS SOUS 59012 HAS SOUPS 7591 WITH SCORE 7996.168
AT ITER 1841 NEW BEST:: SOT 711842 SOS 405136 HAS SOPS 14217 HAS SOUS 59012 HAS SOUPS 7575 WITH SCORE 7980.136
AT ITER 1843 NEW BEST:: SOT 712506 SOS 405022 HAS SOPS 14263 HAS SOUS 59001 HAS SOUPS 7564 WITH SCORE 7969.022
AT ITER 1846 NEW BEST:: SOT 712730 SOS 405353 HAS SOPS 14253 HAS SOUS 59030 HAS SOUPS 7554 WITH SCORE 7959.353
AT ITER 1849 NEW BEST:: SOT 712745 SOS 405295 HAS SOPS 14268 HAS SOUS 59029 HAS SOUPS 7553 WITH SCORE 7958.295
AT ITER 1860 NEW BEST:: SOT 712724 SOS 405253 HAS SOPS 14247 HAS SOUS 59008 HAS SOUPS 7532 WITH SCORE 7937.253
AT ITER 1865 NEW BEST:: SOT 712110 SOS 404639 HAS SOPS 14247 HAS SOUS 59008 HAS SOUPS 7532 WITH SCORE 7936.639
AT ITER 1869 NEW BEST:: SOT 713071 SOS 404447 HAS SOPS 14000 HAS SOUS 58563 HAS SOUPS 7389 WITH SCORE 7793.447
AT ITER 1880 NEW BEST:: SOT 712915 SOS 404315 HAS SOPS 14012 HAS SOUS 58575 HAS SOUPS 7389 WITH SCORE 7793.315
AT ITER 1886 NEW BEST:: SOT 712805 SOS 404205 HAS SOPS 14012 HAS SOUS 58676 HAS SOUPS 7389 WITH SCORE 7793.205
AT ITER 1892 NEW BEST:: SOT 712077 SOS 403295 HAS SOPS 14012 HAS SOUS 58494 HAS SOUPS 7389 WITH SCORE 7792.295
AT ITER 1895 NEW BEST:: SOT 712044 SOS 403178 HAS SOPS 13945 HAS SOUS 58460 HAS SOUPS 7389 WITH SCORE 7792.178
AT ITER 1901 NEW BEST:: SOT 712059 SOS 403178 HAS SOPS 13930 HAS SOUS 58460 HAS SOUPS 7374 WITH SCORE 7777.178
AT ITER 1904 NEW BEST:: SOT 713704 SOS 404666 HAS SOPS 13879 HAS SOUS 58211 HAS SOUPS 7298 WITH SCORE 7702.666
AT ITER 1906 NEW BEST:: SOT 713704 SOS 404658 HAS SOPS 13879 HAS SOUS 58211 HAS SOUPS 7298 WITH SCORE 7702.658
AT ITER 1907 NEW BEST:: SOT 713704 SOS 404574 HAS SOPS 13879 HAS SOUS 58169 HAS SOUPS 7298 WITH SCORE 7702.574
AT ITER 1908 NEW BEST:: SOT 712373 SOS 427456 HAS SOPS 12754 HAS SOUS 58057 HAS SOUPS 7101 WITH SCORE 7528.456
AT ITER 1909 NEW BEST:: SOT 711665 SOS 426748 HAS SOPS 12754 HAS SOUS 58068 HAS SOUPS 7101 WITH SCORE 7527.748
AT ITER 1914 NEW BEST:: SOT 712787 SOS 427952 HAS SOPS 12732 HAS SOUS 58389 HAS SOUPS 7079 WITH SCORE 7506.952
AT ITER 1918 NEW BEST:: SOT 712753 SOS 428324 HAS SOPS 12698 HAS SOUS 58465 HAS SOUPS 7045 WITH SCORE 7473.324
AT ITER 1922 NEW BEST:: SOT 712869 SOS 428286 HAS SOPS 12706 HAS SOUS 58431 HAS SOUPS 7011 WITH SCORE 7439.286
AT ITER 1924 NEW BEST:: SOT 713568 SOS 428976 HAS SOPS 11812 HAS SOUS 58420 HAS SOUPS 6965 WITH SCORE 7393.976
AT ITER 1927 NEW BEST:: SOT 713568 SOS 428940 HAS SOPS 11812 HAS SOUS 58369 HAS SOUPS 6965 WITH SCORE 7393.94
AT ITER 1928 NEW BEST:: SOT 713996 SOS 429313 HAS SOPS 11757 HAS SOUS 58346 HAS SOUPS 6942 WITH SCORE 7371.313
AT ITER 1932 NEW BEST:: SOT 714269 SOS 429222 HAS SOPS 11666 HAS SOUS 58073 HAS SOUPS 6851 WITH SCORE 7280.222
AT ITER 1933 NEW BEST:: SOT 714193 SOS 429146 HAS SOPS 11666 HAS SOUS 58093 HAS SOUPS 6851 WITH SCORE 7280.146
AT ITER 1948 NEW BEST:: SOT 714165 SOS 429220 HAS SOPS 11664 HAS SOUS 58091 HAS SOUPS 6849 WITH SCORE 7278.22
AT ITER 1949 NEW BEST:: SOT 714211 SOS 429266 HAS SOPS 11618 HAS SOUS 58045 HAS SOUPS 6803 WITH SCORE 7232.266
AT ITER 1951 NEW BEST:: SOT 714219 SOS 428139 HAS SOPS 11245 HAS SOUS 57879 HAS SOUPS 6764 WITH SCORE 7192.139
AT ITER 1963 NEW BEST:: SOT 714681 SOS 428527 HAS SOPS 11171 HAS SOUS 57835 HAS SOUPS 6720 WITH SCORE 7148.527
AT ITER 1981 NEW BEST:: SOT 714647 SOS 428436 HAS SOPS 11183 HAS SOUS 57835 HAS SOUPS 6720 WITH SCORE 7148.436
AT ITER 2000 NEW BEST:: SOT 714337 SOS 428126 HAS SOPS 11183 HAS SOUS 57799 HAS SOUPS 6720 WITH SCORE 7148.126
AT ITER 2002 NEW BEST:: SOT 713433 SOS 427222 HAS SOPS 11183 HAS SOUS 57812 HAS SOUPS 6720 WITH SCORE 7147.222
AT ITER 2004 NEW BEST:: SOT 713369 SOS 427445 HAS SOPS 11119 HAS SOUS 57982 HAS SOUPS 6656 WITH SCORE 7083.445
AT ITER 2007 NEW BEST:: SOT 713305 SOS 427381 HAS SOPS 11119 HAS SOUS 57950 HAS SOUPS 6656 WITH SCORE 7083.381
AT ITER 2009 NEW BEST:: SOT 713264 SOS 427179 HAS SOPS 11078 HAS SOUS 57675 HAS SOUPS 6615 WITH SCORE 7042.179
AT ITER 2012 NEW BEST:: SOT 712912 SOS 426783 HAS SOPS 11078 HAS SOUS 57587 HAS SOUPS 6615 WITH SCORE 7041.783
AT ITER 2014 NEW BEST:: SOT 714417 SOS 427054 HAS SOPS 10591 HAS SOUS 57374 HAS SOUPS 6474 WITH SCORE 6901.054
AT ITER 2016 NEW BEST:: SOT 714362 SOS 427309 HAS SOPS 10536 HAS SOUS 57349 HAS SOUPS 6449 WITH SCORE 6876.309
AT ITER 2025 NEW BEST:: SOT 714368 SOS 427314 HAS SOPS 10536 HAS SOUS 57348 HAS SOUPS 6448 WITH SCORE 6875.314
AT ITER 2028 NEW BEST:: SOT 714857 SOS 427650 HAS SOPS 10383 HAS SOUS 57286 HAS SOUPS 6386 WITH SCORE 6813.65
AT ITER 2036 NEW BEST:: SOT 714817 SOS 427610 HAS SOPS 10383 HAS SOUS 57256 HAS SOUPS 6386 WITH SCORE 6813.61
AT ITER 2039 NEW BEST:: SOT 714478 SOS 427271 HAS SOPS 10270 HAS SOUS 57203 HAS SOUPS 6333 WITH SCORE 6760.271
AT ITER 2041 NEW BEST:: SOT 714549 SOS 426990 HAS SOPS 10247 HAS SOUS 57152 HAS SOUPS 6282 WITH SCORE 6708.99
AT ITER 2059 NEW BEST:: SOT 714933 SOS 427758 HAS SOPS 9953 HAS SOUS 57666 HAS SOUPS 6203 WITH SCORE 6630.758
AT ITER 2063 NEW BEST:: SOT 714795 SOS 427620 HAS SOPS 9953 HAS SOUS 57633 HAS SOUPS 6203 WITH SCORE 6630.62
AT ITER 2078 NEW BEST:: SOT 714523 SOS 427484 HAS SOPS 9953 HAS SOUS 57769 HAS SOUPS 6203 WITH SCORE 6630.484
AT ITER 2083 NEW BEST:: SOT 713147 SOS 426108 HAS SOPS 9953 HAS SOUS 57683 HAS SOUPS 6203 WITH SCORE 6629.108
AT ITER 2087 NEW BEST:: SOT 713696 SOS 426494 HAS SOPS 9790 HAS SOUS 57854 HAS SOUPS 6082 WITH SCORE 6508.494
AT ITER 2096 NEW BEST:: SOT 713174 SOS 425972 HAS SOPS 9790 HAS SOUS 57767 HAS SOUPS 6082 WITH SCORE 6507.972
AT ITER 2098 NEW BEST:: SOT 713074 SOS 426110 HAS SOPS 9690 HAS SOUS 58040 HAS SOUPS 6017 WITH SCORE 6443.11
AT ITER 2105 NEW BEST:: SOT 712928 SOS 426322 HAS SOPS 9544 HAS SOUS 58035 HAS SOUPS 6012 WITH SCORE 6438.322
AT ITER 2109 NEW BEST:: SOT 712814 SOS 426512 HAS SOPS 9506 HAS SOUS 58068 HAS SOUPS 6007 WITH SCORE 6433.512
AT ITER 2118 NEW BEST:: SOT 712586 SOS 426284 HAS SOPS 9506 HAS SOUS 57954 HAS SOUPS 6007 WITH SCORE 6433.284
AT ITER 2127 NEW BEST:: SOT 712117 SOS 425570 HAS SOPS 9485 HAS SOUS 57772 HAS SOUPS 5986 WITH SCORE 6411.57
AT ITER 2134 NEW BEST:: SOT 712101 SOS 424929 HAS SOPS 9063 HAS SOUS 57189 HAS SOUPS 5876 WITH SCORE 6300.929
AT ITER 2137 NEW BEST:: SOT 712053 SOS 424881 HAS SOPS 9063 HAS SOUS 57201 HAS SOUPS 5876 WITH SCORE 6300.881
AT ITER 2140 NEW BEST:: SOT 711893 SOS 424721 HAS SOPS 9063 HAS SOUS 57221 HAS SOUPS 5876 WITH SCORE 6300.721
AT ITER 2146 NEW BEST:: SOT 711892 SOS 424855 HAS SOPS 9062 HAS SOUS 57220 HAS SOUPS 5875 WITH SCORE 6299.855
AT ITER 2147 NEW BEST:: SOT 711472 SOS 424435 HAS SOPS 9062 HAS SOUS 57207 HAS SOUPS 5875 WITH SCORE 6299.435
AT ITER 2153 NEW BEST:: SOT 711262 SOS 424290 HAS SOPS 9052 HAS SOUS 57247 HAS SOUPS 5865 WITH SCORE 6289.29
AT ITER 2157 NEW BEST:: SOT 711550 SOS 424706 HAS SOPS 9020 HAS SOUS 57535 HAS SOUPS 5833 WITH SCORE 6257.706
AT ITER 2168 NEW BEST:: SOT 711322 SOS 424478 HAS SOPS 9020 HAS SOUS 57307 HAS SOUPS 5833 WITH SCORE 6257.478
AT ITER 2176 NEW BEST:: SOT 711266 SOS 424436 HAS SOPS 9020 HAS SOUS 57335 HAS SOUPS 5833 WITH SCORE 6257.436
AT ITER 2178 NEW BEST:: SOT 711098 SOS 424352 HAS SOPS 9020 HAS SOUS 57419 HAS SOUPS 5833 WITH SCORE 6257.352
AT ITER 2183 NEW BEST:: SOT 710366 SOS 423803 HAS SOPS 9020 HAS SOUS 57602 HAS SOUPS 5833 WITH SCORE 6256.803
AT ITER 2188 NEW BEST:: SOT 711776 SOS 424355 HAS SOPS 8414 HAS SOUS 57429 HAS SOUPS 5660 WITH SCORE 6084.355
AT ITER 2193 NEW BEST:: SOT 711791 SOS 424400 HAS SOPS 8399 HAS SOUS 57414 HAS SOUPS 5645 WITH SCORE 6069.4
AT ITER 2195 NEW BEST:: SOT 712121 SOS 425490 HAS SOPS 8385 HAS SOUS 57496 HAS SOUPS 5641 WITH SCORE 6066.49
AT ITER 2199 NEW BEST:: SOT 712045 SOS 425376 HAS SOPS 8385 HAS SOUS 57458 HAS SOUPS 5641 WITH SCORE 6066.376
AT ITER 2208 NEW BEST:: SOT 712042 SOS 425367 HAS SOPS 8385 HAS SOUS 57455 HAS SOUPS 5641 WITH SCORE 6066.367
AT ITER 2216 NEW BEST:: SOT 712765 SOS 426069 HAS SOPS 8364 HAS SOUS 57620 HAS SOUPS 5620 WITH SCORE 6046.069
AT ITER 2222 NEW BEST:: SOT 712578 SOS 425877 HAS SOPS 8359 HAS SOUS 57582 HAS SOUPS 5615 WITH SCORE 6040.877
AT ITER 2230 NEW BEST:: SOT 712578 SOS 425859 HAS SOPS 8395 HAS SOUS 57582 HAS SOUPS 5615 WITH SCORE 6040.859
AT ITER 2245 NEW BEST:: SOT 712578 SOS 425427 HAS SOPS 8395 HAS SOUS 57582 HAS SOUPS 5615 WITH SCORE 6040.427
AT ITER 2247 NEW BEST:: SOT 712470 SOS 425319 HAS SOPS 8395 HAS SOUS 57555 HAS SOUPS 5615 WITH SCORE 6040.319
AT ITER 2250 NEW BEST:: SOT 712927 SOS 425484 HAS SOPS 7996 HAS SOUS 57626 HAS SOUPS 5579 WITH SCORE 6004.484
AT ITER 2276 NEW BEST:: SOT 713250 SOS 425146 HAS SOPS 7991 HAS SOUS 57456 HAS SOUPS 5573 WITH SCORE 5998.146
AT ITER 2283 NEW BEST:: SOT 713140 SOS 425091 HAS SOPS 7991 HAS SOUS 57511 HAS SOUPS 5573 WITH SCORE 5998.091
AT ITER 2284 NEW BEST:: SOT 713148 SOS 425103 HAS SOPS 7983 HAS SOUS 57507 HAS SOUPS 5565 WITH SCORE 5990.103
AT ITER 2287 NEW BEST:: SOT 713108 SOS 424117 HAS SOPS 7943 HAS SOUS 57467 HAS SOUPS 5525 WITH SCORE 5949.117
AT ITER 2289 NEW BEST:: SOT 713248 SOS 424267 HAS SOPS 7823 HAS SOUS 57408 HAS SOUPS 5466 WITH SCORE 5890.267
AT ITER 2290 NEW BEST:: SOT 713053 SOS 424061 HAS SOPS 7812 HAS SOUS 57397 HAS SOUPS 5455 WITH SCORE 5879.061
AT ITER 2292 NEW BEST:: SOT 712943 SOS 423884 HAS SOPS 7702 HAS SOUS 57364 HAS SOUPS 5422 WITH SCORE 5845.884
AT ITER 2293 NEW BEST:: SOT 713156 SOS 424183 HAS SOPS 7407 HAS SOUS 57421 HAS SOUPS 5352 WITH SCORE 5776.183
AT ITER 2304 NEW BEST:: SOT 713429 SOS 424421 HAS SOPS 7372 HAS SOUS 57386 HAS SOUPS 5317 WITH SCORE 5741.421
AT ITER 2310 NEW BEST:: SOT 715551 SOS 426137 HAS SOPS 6650 HAS SOUS 57799 HAS SOUPS 5161 WITH SCORE 5587.137
AT ITER 2311 NEW BEST:: SOT 715499 SOS 425697 HAS SOPS 6598 HAS SOUS 57579 HAS SOUPS 5109 WITH SCORE 5534.697
AT ITER 2315 NEW BEST:: SOT 715299 SOS 425497 HAS SOPS 6598 HAS SOUS 57479 HAS SOUPS 5109 WITH SCORE 5534.497
AT ITER 2316 NEW BEST:: SOT 715299 SOS 425435 HAS SOPS 6598 HAS SOUS 57479 HAS SOUPS 5109 WITH SCORE 5534.435
AT ITER 2318 NEW BEST:: SOT 715302 SOS 425423 HAS SOPS 6595 HAS SOUS 57476 HAS SOUPS 5106 WITH SCORE 5531.423
AT ITER 2321 NEW BEST:: SOT 714826 SOS 424861 HAS SOPS 6509 HAS SOUS 57284 HAS SOUPS 5041 WITH SCORE 5465.861
AT ITER 2322 NEW BEST:: SOT 714640 SOS 424644 HAS SOPS 6509 HAS SOUS 57213 HAS SOUPS 5041 WITH SCORE 5465.644
AT ITER 2324 NEW BEST:: SOT 714839 SOS 424838 HAS SOPS 6504 HAS SOUS 57325 HAS SOUPS 5036 WITH SCORE 5460.838
AT ITER 2329 NEW BEST:: SOT 715935 SOS 425674 HAS SOPS 6470 HAS SOUS 57166 HAS SOUPS 4988 WITH SCORE 5413.674
AT ITER 2331 NEW BEST:: SOT 715723 SOS 425442 HAS SOPS 6450 HAS SOUS 57146 HAS SOUPS 4968 WITH SCORE 5393.442
AT ITER 2336 NEW BEST:: SOT 716539 SOS 426730 HAS SOPS 6406 HAS SOUS 57212 HAS SOUPS 4938 WITH SCORE 5364.73
AT ITER 2340 NEW BEST:: SOT 716427 SOS 426617 HAS SOPS 6405 HAS SOUS 57252 HAS SOUPS 4937 WITH SCORE 5363.617
AT ITER 2344 NEW BEST:: SOT 716275 SOS 426199 HAS SOPS 6405 HAS SOUS 57170 HAS SOUPS 4937 WITH SCORE 5363.199
AT ITER 2354 NEW BEST:: SOT 716925 SOS 426819 HAS SOPS 6375 HAS SOUS 57480 HAS SOUPS 4907 WITH SCORE 5333.819
AT ITER 2361 NEW BEST:: SOT 716915 SOS 427915 HAS SOPS 6365 HAS SOUS 57656 HAS SOUPS 4897 WITH SCORE 5324.915
AT ITER 2372 NEW BEST:: SOT 717055 SOS 428085 HAS SOPS 6345 HAS SOUS 57656 HAS SOUPS 4887 WITH SCORE 5315.085
AT ITER 2377 NEW BEST:: SOT 717461 SOS 428693 HAS SOPS 6343 HAS SOUS 57858 HAS SOUPS 4885 WITH SCORE 5313.693
AT ITER 2383 NEW BEST:: SOT 717420 SOS 428652 HAS SOPS 6343 HAS SOUS 57799 HAS SOUPS 4885 WITH SCORE 5313.652
AT ITER 2384 NEW BEST:: SOT 717362 SOS 428594 HAS SOPS 6343 HAS SOUS 57799 HAS SOUPS 4885 WITH SCORE 5313.594
AT ITER 2395 NEW BEST:: SOT 717354 SOS 428938 HAS SOPS 6335 HAS SOUS 58039 HAS SOUPS 4877 WITH SCORE 5305.938
AT ITER 2407 NEW BEST:: SOT 717396 SOS 428922 HAS SOPS 6327 HAS SOUS 58031 HAS SOUPS 4869 WITH SCORE 5297.9220000000005
AT ITER 2412 NEW BEST:: SOT 717396 SOS 428894 HAS SOPS 6327 HAS SOUS 58031 HAS SOUPS 4869 WITH SCORE 5297.894
AT ITER 2421 NEW BEST:: SOT 716760 SOS 428417 HAS SOPS 6327 HAS SOUS 58190 HAS SOUPS 4869 WITH SCORE 5297.417
AT ITER 2423 NEW BEST:: SOT 716874 SOS 428185 HAS SOPS 6211 HAS SOUS 58047 HAS SOUPS 4841 WITH SCORE 5269.185
AT ITER 2433 NEW BEST:: SOT 716791 SOS 428019 HAS SOPS 6128 HAS SOUS 57997 HAS SOUPS 4791 WITH SCORE 5219.019
AT ITER 2437 NEW BEST:: SOT 717022 SOS 428249 HAS SOPS 6127 HAS SOUS 57997 HAS SOUPS 4762 WITH SCORE 5190.249
AT ITER 2441 NEW BEST:: SOT 717315 SOS 428465 HAS SOPS 6087 HAS SOUS 57994 HAS SOUPS 4759 WITH SCORE 5187.465
AT ITER 2443 NEW BEST:: SOT 717287 SOS 428901 HAS SOPS 6055 HAS SOUS 57968 HAS SOUPS 4733 WITH SCORE 5161.901
AT ITER 2450 NEW BEST:: SOT 716477 SOS 428091 HAS SOPS 6055 HAS SOUS 57968 HAS SOUPS 4733 WITH SCORE 5161.091
AT ITER 2451 NEW BEST:: SOT 716477 SOS 427924 HAS SOPS 6055 HAS SOUS 57801 HAS SOUPS 4733 WITH SCORE 5160.924
AT ITER 2455 NEW BEST:: SOT 716057 SOS 427504 HAS SOPS 6055 HAS SOUS 57801 HAS SOUPS 4733 WITH SCORE 5160.504
AT ITER 2458 NEW BEST:: SOT 715777 SOS 427224 HAS SOPS 6055 HAS SOUS 57801 HAS SOUPS 4733 WITH SCORE 5160.224
AT ITER 2459 NEW BEST:: SOT 715793 SOS 427208 HAS SOPS 6039 HAS SOUS 57769 HAS SOUPS 4717 WITH SCORE 5144.208
AT ITER 2460 NEW BEST:: SOT 715223 SOS 426638 HAS SOPS 6039 HAS SOUS 57674 HAS SOUPS 4717 WITH SCORE 5143.638
AT ITER 2477 NEW BEST:: SOT 715204 SOS 426550 HAS SOPS 6020 HAS SOUS 57555 HAS SOUPS 4698 WITH SCORE 5124.55
AT ITER 2482 NEW BEST:: SOT 715144 SOS 426490 HAS SOPS 6020 HAS SOUS 57516 HAS SOUPS 4698 WITH SCORE 5124.49
AT ITER 2504 NEW BEST:: SOT 715122 SOS 426468 HAS SOPS 6020 HAS SOUS 57505 HAS SOUPS 4698 WITH SCORE 5124.468
AT ITER 2521 NEW BEST:: SOT 714348 SOS 425694 HAS SOPS 6020 HAS SOUS 57467 HAS SOUPS 4698 WITH SCORE 5123.694
AT ITER 2523 NEW BEST:: SOT 714078 SOS 425424 HAS SOPS 6020 HAS SOUS 57494 HAS SOUPS 4698 WITH SCORE 5123.424
AT ITER 2524 NEW BEST:: SOT 713899 SOS 427731 HAS SOPS 5841 HAS SOUS 57398 HAS SOUPS 4602 WITH SCORE 5029.731
AT ITER 2527 NEW BEST:: SOT 713927 SOS 427717 HAS SOPS 5813 HAS SOUS 57384 HAS SOUPS 4588 WITH SCORE 5015.717
AT ITER 2547 NEW BEST:: SOT 713553 SOS 427343 HAS SOPS 5813 HAS SOUS 57197 HAS SOUPS 4588 WITH SCORE 5015.343
AT ITER 2553 NEW BEST:: SOT 713528 SOS 427477 HAS SOPS 5788 HAS SOUS 57355 HAS SOUPS 4563 WITH SCORE 4990.477
AT ITER 2556 NEW BEST:: SOT 713480 SOS 427429 HAS SOPS 5788 HAS SOUS 57323 HAS SOUPS 4563 WITH SCORE 4990.429
AT ITER 2558 NEW BEST:: SOT 713475 SOS 427429 HAS SOPS 5783 HAS SOUS 57318 HAS SOUPS 4558 WITH SCORE 4985.429
AT ITER 2563 NEW BEST:: SOT 713063 SOS 427223 HAS SOPS 5783 HAS SOUS 57318 HAS SOUPS 4558 WITH SCORE 4985.223
AT ITER 2567 NEW BEST:: SOT 712907 SOS 427067 HAS SOPS 5783 HAS SOUS 57305 HAS SOUPS 4558 WITH SCORE 4985.067
AT ITER 2569 NEW BEST:: SOT 712803 SOS 426924 HAS SOPS 5783 HAS SOUS 57292 HAS SOUPS 4558 WITH SCORE 4984.924
AT ITER 2572 NEW BEST:: SOT 712484 SOS 427521 HAS SOPS 5654 HAS SOUS 57248 HAS SOUPS 4514 WITH SCORE 4941.521
AT ITER 2578 NEW BEST:: SOT 712480 SOS 427513 HAS SOPS 5650 HAS SOUS 57244 HAS SOUPS 4510 WITH SCORE 4937.513
AT ITER 2580 NEW BEST:: SOT 712429 SOS 427411 HAS SOPS 5599 HAS SOUS 57482 HAS SOUPS 4471 WITH SCORE 4898.411
AT ITER 2585 NEW BEST:: SOT 712429 SOS 427381 HAS SOPS 5589 HAS SOUS 57477 HAS SOUPS 4466 WITH SCORE 4893.381
AT ITER 2587 NEW BEST:: SOT 712368 SOS 427301 HAS SOPS 5570 HAS SOUS 57458 HAS SOUPS 4447 WITH SCORE 4874.301
AT ITER 2601 NEW BEST:: SOT 711938 SOS 426871 HAS SOPS 5570 HAS SOUS 57534 HAS SOUPS 4447 WITH SCORE 4873.871
AT ITER 2607 NEW BEST:: SOT 711947 SOS 426707 HAS SOPS 5565 HAS SOUS 57515 HAS SOUPS 4442 WITH SCORE 4868.707
AT ITER 2613 NEW BEST:: SOT 712124 SOS 427095 HAS SOPS 5538 HAS SOUS 57488 HAS SOUPS 4415 WITH SCORE 4842.095
AT ITER 2616 NEW BEST:: SOT 712446 SOS 425795 HAS SOPS 5536 HAS SOUS 57324 HAS SOUPS 4413 WITH SCORE 4838.795
AT ITER 2622 NEW BEST:: SOT 712318 SOS 425667 HAS SOPS 5536 HAS SOUS 57260 HAS SOUPS 4413 WITH SCORE 4838.667
AT ITER 2626 NEW BEST:: SOT 711571 SOS 425229 HAS SOPS 5493 HAS SOUS 57420 HAS SOUPS 4397 WITH SCORE 4822.229
AT ITER 2635 NEW BEST:: SOT 711241 SOS 424899 HAS SOPS 5493 HAS SOUS 57420 HAS SOUPS 4397 WITH SCORE 4821.899
AT ITER 2642 NEW BEST:: SOT 710943 SOS 424601 HAS SOPS 5493 HAS SOUS 57420 HAS SOUPS 4397 WITH SCORE 4821.601
AT ITER 2645 NEW BEST:: SOT 710880 SOS 425135 HAS SOPS 5430 HAS SOUS 57918 HAS SOUPS 4347 WITH SCORE 4772.135
AT ITER 2649 NEW BEST:: SOT 710915 SOS 425135 HAS SOPS 5395 HAS SOUS 57883 HAS SOUPS 4312 WITH SCORE 4737.135
AT ITER 2657 NEW BEST:: SOT 712715 SOS 426759 HAS SOPS 5371 HAS SOUS 57791 HAS SOUPS 4288 WITH SCORE 4714.759
AT ITER 2667 NEW BEST:: SOT 712581 SOS 426788 HAS SOPS 5369 HAS SOUS 57822 HAS SOUPS 4286 WITH SCORE 4712.7880000000005
AT ITER 2671 NEW BEST:: SOT 712429 SOS 426484 HAS SOPS 5377 HAS SOUS 57756 HAS SOUPS 4260 WITH SCORE 4686.484
AT ITER 2678 NEW BEST:: SOT 712456 SOS 426538 HAS SOPS 5350 HAS SOUS 57729 HAS SOUPS 4233 WITH SCORE 4659.5380000000005
AT ITER 2680 NEW BEST:: SOT 712124 SOS 426206 HAS SOPS 5350 HAS SOUS 57698 HAS SOUPS 4233 WITH SCORE 4659.206
AT ITER 2687 NEW BEST:: SOT 712141 SOS 426197 HAS SOPS 5324 HAS SOUS 57646 HAS SOUPS 4207 WITH SCORE 4633.197
AT ITER 2696 NEW BEST:: SOT 712085 SOS 426141 HAS SOPS 5324 HAS SOUS 57646 HAS SOUPS 4207 WITH SCORE 4633.141
AT ITER 2702 NEW BEST:: SOT 712085 SOS 425231 HAS SOPS 5324 HAS SOUS 57633 HAS SOUPS 4207 WITH SCORE 4632.231
AT ITER 2704 NEW BEST:: SOT 711939 SOS 425085 HAS SOPS 5324 HAS SOUS 57633 HAS SOUPS 4207 WITH SCORE 4632.085
AT ITER 2720 NEW BEST:: SOT 711909 SOS 426145 HAS SOPS 5294 HAS SOUS 57827 HAS SOUPS 4177 WITH SCORE 4603.145
AT ITER 2746 NEW BEST:: SOT 711539 SOS 436069 HAS SOPS 4924 HAS SOUS 57582 HAS SOUPS 3932 WITH SCORE 4368.069
AT ITER 2747 NEW BEST:: SOT 711403 SOS 435831 HAS SOPS 4924 HAS SOUS 57446 HAS SOUPS 3932 WITH SCORE 4367.831
AT ITER 2759 NEW BEST:: SOT 711653 SOS 436268 HAS SOPS 4922 HAS SOUS 57507 HAS SOUPS 3930 WITH SCORE 4366.268
AT ITER 2786 NEW BEST:: SOT 711591 SOS 436175 HAS SOPS 4922 HAS SOUS 57476 HAS SOUPS 3930 WITH SCORE 4366.175
AT ITER 2789 NEW BEST:: SOT 711980 SOS 436473 HAS SOPS 4831 HAS SOUS 57336 HAS SOUPS 3860 WITH SCORE 4296.473
AT ITER 2800 NEW BEST:: SOT 711762 SOS 436255 HAS SOPS 4831 HAS SOUS 57227 HAS SOUPS 3860 WITH SCORE 4296.255
AT ITER 2803 NEW BEST:: SOT 711690 SOS 436165 HAS SOPS 4831 HAS SOUS 57191 HAS SOUPS 3860 WITH SCORE 4296.165
AT ITER 2806 NEW BEST:: SOT 711539 SOS 435999 HAS SOPS 4884 HAS SOUS 57026 HAS SOUPS 3831 WITH SCORE 4266.999
AT ITER 2855 NEW BEST:: SOT 711542 SOS 433005 HAS SOPS 4857 HAS SOUS 56996 HAS SOUPS 3801 WITH SCORE 4234.005
AT ITER 2857 NEW BEST:: SOT 711474 SOS 432835 HAS SOPS 4857 HAS SOUS 56962 HAS SOUPS 3801 WITH SCORE 4233.835
AT ITER 2860 NEW BEST:: SOT 711505 SOS 432835 HAS SOPS 4826 HAS SOUS 56931 HAS SOUPS 3770 WITH SCORE 4202.835
AT ITER 2861 NEW BEST:: SOT 711585 SOS 432851 HAS SOPS 4778 HAS SOUS 56915 HAS SOUPS 3754 WITH SCORE 4186.851
AT ITER 2862 NEW BEST:: SOT 711585 SOS 432847 HAS SOPS 4778 HAS SOUS 56913 HAS SOUPS 3754 WITH SCORE 4186.847
AT ITER 2864 NEW BEST:: SOT 711461 SOS 432785 HAS SOPS 4778 HAS SOUS 56975 HAS SOUPS 3754 WITH SCORE 4186.785
AT ITER 2877 NEW BEST:: SOT 711249 SOS 432679 HAS SOPS 4778 HAS SOUS 56975 HAS SOUPS 3754 WITH SCORE 4186.679
AT ITER 2879 NEW BEST:: SOT 711193 SOS 432623 HAS SOPS 4778 HAS SOUS 56975 HAS SOUPS 3754 WITH SCORE 4186.623
AT ITER 2880 NEW BEST:: SOT 711196 SOS 432605 HAS SOPS 4775 HAS SOUS 56969 HAS SOUPS 3751 WITH SCORE 4183.605
AT ITER 2897 NEW BEST:: SOT 711136 SOS 432885 HAS SOPS 4715 HAS SOUS 56911 HAS SOUPS 3693 WITH SCORE 4125.885
AT ITER 2913 NEW BEST:: SOT 711340 SOS 432933 HAS SOPS 4559 HAS SOUS 56821 HAS SOUPS 3603 WITH SCORE 4035.933
AT ITER 2940 NEW BEST:: SOT 711340 SOS 432772 HAS SOPS 4559 HAS SOUS 56821 HAS SOUPS 3603 WITH SCORE 4035.772
AT ITER 2971 NEW BEST:: SOT 711326 SOS 432758 HAS SOPS 4559 HAS SOUS 56821 HAS SOUPS 3603 WITH SCORE 4035.758
AT ITER 2974 NEW BEST:: SOT 710600 SOS 432032 HAS SOPS 4559 HAS SOUS 56700 HAS SOUPS 3603 WITH SCORE 4035.032
AT ITER 2975 NEW BEST:: SOT 710434 SOS 431700 HAS SOPS 4559 HAS SOUS 56700 HAS SOUPS 3603 WITH SCORE 4034.7
AT ITER 2976 NEW BEST:: SOT 711164 SOS 432159 HAS SOPS 4197 HAS SOUS 56727 HAS SOUPS 3512 WITH SCORE 3944.159
AT ITER 2990 NEW BEST:: SOT 711164 SOS 432119 HAS SOPS 4197 HAS SOUS 56687 HAS SOUPS 3512 WITH SCORE 3944.119
AT ITER 2997 NEW BEST:: SOT 711216 SOS 432223 HAS SOPS 4157 HAS SOUS 56647 HAS SOUPS 3472 WITH SCORE 3904.223
AT ITER 3000 NEW BEST:: SOT 711234 SOS 433313 HAS SOPS 4107 HAS SOUS 56631 HAS SOUPS 3456 WITH SCORE 3889.313
AT ITER 3005 NEW BEST:: SOT 711126 SOS 433043 HAS SOPS 4107 HAS SOUS 56577 HAS SOUPS 3456 WITH SCORE 3889.043
AT ITER 3031 NEW BEST:: SOT 711168 SOS 433064 HAS SOPS 4093 HAS SOUS 56563 HAS SOUPS 3449 WITH SCORE 3882.064
AT ITER 3054 NEW BEST:: SOT 710996 SOS 432806 HAS SOPS 4093 HAS SOUS 56391 HAS SOUPS 3449 WITH SCORE 3881.806
AT ITER 3063 NEW BEST:: SOT 710800 SOS 432610 HAS SOPS 4093 HAS SOUS 56307 HAS SOUPS 3449 WITH SCORE 3881.61
AT ITER 3066 NEW BEST:: SOT 710800 SOS 432532 HAS SOPS 4093 HAS SOUS 56255 HAS SOUPS 3449 WITH SCORE 3881.532
AT ITER 3075 NEW BEST:: SOT 710725 SOS 432454 HAS SOPS 4090 HAS SOUS 56246 HAS SOUPS 3446 WITH SCORE 3878.454
AT ITER 3090 NEW BEST:: SOT 710235 SOS 431964 HAS SOPS 4090 HAS SOUS 56246 HAS SOUPS 3446 WITH SCORE 3877.964
AT ITER 3102 NEW BEST:: SOT 712008 SOS 433734 HAS SOPS 4087 HAS SOUS 56400 HAS SOUPS 3443 WITH SCORE 3876.734
AT ITER 3104 NEW BEST:: SOT 712005 SOS 433975 HAS SOPS 4082 HAS SOUS 56397 HAS SOUPS 3439 WITH SCORE 3872.975
AT ITER 3132 NEW BEST:: SOT 711925 SOS 433895 HAS SOPS 4082 HAS SOUS 56397 HAS SOUPS 3439 WITH SCORE 3872.895
AT ITER 3133 NEW BEST:: SOT 711925 SOS 433679 HAS SOPS 4082 HAS SOUS 56343 HAS SOUPS 3439 WITH SCORE 3872.679
AT ITER 3143 NEW BEST:: SOT 711918 SOS 434001 HAS SOPS 4043 HAS SOUS 56327 HAS SOUPS 3423 WITH SCORE 3857.001
AT ITER 3149 NEW BEST:: SOT 711594 SOS 433677 HAS SOPS 4043 HAS SOUS 56351 HAS SOUPS 3423 WITH SCORE 3856.677
AT ITER 3159 NEW BEST:: SOT 711380 SOS 434203 HAS SOPS 3935 HAS SOUS 56243 HAS SOUPS 3315 WITH SCORE 3749.203
AT ITER 3162 NEW BEST:: SOT 711312 SOS 434135 HAS SOPS 3935 HAS SOUS 56243 HAS SOUPS 3315 WITH SCORE 3749.135
AT ITER 3163 NEW BEST:: SOT 710912 SOS 433935 HAS SOPS 3935 HAS SOUS 56343 HAS SOUPS 3315 WITH SCORE 3748.935
AT ITER 3184 NEW BEST:: SOT 710559 SOS 442133 HAS SOPS 3794 HAS SOUS 56439 HAS SOUPS 3305 WITH SCORE 3747.133
AT ITER 3196 NEW BEST:: SOT 710535 SOS 442109 HAS SOPS 3794 HAS SOUS 56439 HAS SOUPS 3305 WITH SCORE 3747.109
AT ITER 3203 NEW BEST:: SOT 710535 SOS 442098 HAS SOPS 3794 HAS SOUS 56428 HAS SOUPS 3305 WITH SCORE 3747.098
AT ITER 3206 NEW BEST:: SOT 710499 SOS 442068 HAS SOPS 3794 HAS SOUS 56446 HAS SOUPS 3305 WITH SCORE 3747.068
AT ITER 3207 NEW BEST:: SOT 710706 SOS 442252 HAS SOPS 3725 HAS SOUS 56446 HAS SOUPS 3282 WITH SCORE 3724.252
AT ITER 3209 NEW BEST:: SOT 710734 SOS 442392 HAS SOPS 3585 HAS SOUS 56446 HAS SOUPS 3198 WITH SCORE 3640.392
AT ITER 3232 NEW BEST:: SOT 710492 SOS 442150 HAS SOPS 3585 HAS SOUS 56446 HAS SOUPS 3198 WITH SCORE 3640.15
AT ITER 3238 NEW BEST:: SOT 710466 SOS 444814 HAS SOPS 3559 HAS SOUS 56420 HAS SOUPS 3172 WITH SCORE 3616.814
AT ITER 3247 NEW BEST:: SOT 710296 SOS 444644 HAS SOPS 3559 HAS SOUS 56420 HAS SOUPS 3172 WITH SCORE 3616.6440000000002
AT ITER 3251 NEW BEST:: SOT 710296 SOS 444522 HAS SOPS 3559 HAS SOUS 56298 HAS SOUPS 3172 WITH SCORE 3616.522
AT ITER 3252 NEW BEST:: SOT 709792 SOS 444018 HAS SOPS 3559 HAS SOUS 56298 HAS SOUPS 3172 WITH SCORE 3616.018
AT ITER 3267 NEW BEST:: SOT 709792 SOS 443856 HAS SOPS 3559 HAS SOUS 56136 HAS SOUPS 3172 WITH SCORE 3615.8559999999998
AT ITER 3272 NEW BEST:: SOT 709911 SOS 443989 HAS SOPS 3558 HAS SOUS 56164 HAS SOUPS 3171 WITH SCORE 3614.989
AT ITER 3273 NEW BEST:: SOT 709711 SOS 443439 HAS SOPS 3558 HAS SOUS 56164 HAS SOUPS 3171 WITH SCORE 3614.439
AT ITER 3276 NEW BEST:: SOT 709721 SOS 443479 HAS SOPS 3548 HAS SOUS 56164 HAS SOUPS 3161 WITH SCORE 3604.479
AT ITER 3277 NEW BEST:: SOT 709685 SOS 443452 HAS SOPS 3548 HAS SOUS 56173 HAS SOUPS 3161 WITH SCORE 3604.452
AT ITER 3283 NEW BEST:: SOT 709469 SOS 443236 HAS SOPS 3548 HAS SOUS 56249 HAS SOUPS 3161 WITH SCORE 3604.236
AT ITER 3286 NEW BEST:: SOT 709480 SOS 443258 HAS SOPS 3545 HAS SOUS 56260 HAS SOUPS 3158 WITH SCORE 3601.258
AT ITER 3287 NEW BEST:: SOT 709456 SOS 443234 HAS SOPS 3545 HAS SOUS 56248 HAS SOUPS 3158 WITH SCORE 3601.234
AT ITER 3290 NEW BEST:: SOT 710338 SOS 444110 HAS SOPS 3539 HAS SOUS 56353 HAS SOUPS 3154 WITH SCORE 3598.11
AT ITER 3296 NEW BEST:: SOT 710404 SOS 444154 HAS SOPS 3517 HAS SOUS 56309 HAS SOUPS 3143 WITH SCORE 3587.154
AT ITER 3305 NEW BEST:: SOT 710388 SOS 444086 HAS SOPS 3517 HAS SOUS 56305 HAS SOUPS 3143 WITH SCORE 3587.0860000000002
AT ITER 3317 NEW BEST:: SOT 710376 SOS 456165 HAS SOPS 3407 HAS SOUS 56258 HAS SOUPS 3047 WITH SCORE 3503.165
AT ITER 3319 NEW BEST:: SOT 710563 SOS 456035 HAS SOPS 3202 HAS SOUS 56202 HAS SOUPS 2991 WITH SCORE 3447.035
AT ITER 3338 NEW BEST:: SOT 710483 SOS 455955 HAS SOPS 3202 HAS SOUS 56238 HAS SOUPS 2991 WITH SCORE 3446.955
AT ITER 3347 NEW BEST:: SOT 710539 SOS 455815 HAS SOPS 3202 HAS SOUS 56238 HAS SOUPS 2991 WITH SCORE 3446.815
AT ITER 3365 NEW BEST:: SOT 710539 SOS 455140 HAS SOPS 3202 HAS SOUS 56193 HAS SOUPS 2991 WITH SCORE 3446.14
AT ITER 3366 NEW BEST:: SOT 710361 SOS 454784 HAS SOPS 3202 HAS SOUS 56193 HAS SOUPS 2991 WITH SCORE 3445.784
AT ITER 3392 NEW BEST:: SOT 710338 SOS 454761 HAS SOPS 3179 HAS SOUS 56216 HAS SOUPS 2968 WITH SCORE 3422.761
AT ITER 3407 NEW BEST:: SOT 710338 SOS 454611 HAS SOPS 3179 HAS SOUS 56066 HAS SOUPS 2968 WITH SCORE 3422.611
AT ITER 3409 NEW BEST:: SOT 711079 SOS 455269 HAS SOPS 3096 HAS SOUS 55979 HAS SOUPS 2902 WITH SCORE 3357.2690000000002
AT ITER 3419 NEW BEST:: SOT 711035 SOS 455225 HAS SOPS 3096 HAS SOUS 55979 HAS SOUPS 2902 WITH SCORE 3357.225
AT ITER 3430 NEW BEST:: SOT 710947 SOS 455137 HAS SOPS 3096 HAS SOUS 56079 HAS SOUPS 2902 WITH SCORE 3357.137
AT ITER 3457 NEW BEST:: SOT 711586 SOS 455821 HAS SOPS 3087 HAS SOUS 56178 HAS SOUPS 2893 WITH SCORE 3348.821
AT ITER 3466 NEW BEST:: SOT 711586 SOS 455666 HAS SOPS 3087 HAS SOUS 56023 HAS SOUPS 2893 WITH SCORE 3348.666
AT ITER 3483 NEW BEST:: SOT 711614 SOS 455414 HAS SOPS 3087 HAS SOUS 56023 HAS SOUPS 2893 WITH SCORE 3348.4139999999998
AT ITER 3505 NEW BEST:: SOT 711602 SOS 457901 HAS SOPS 3075 HAS SOUS 56011 HAS SOUPS 2881 WITH SCORE 3338.901
AT ITER 3518 NEW BEST:: SOT 711392 SOS 457691 HAS SOPS 3075 HAS SOUS 55906 HAS SOUPS 2881 WITH SCORE 3338.691
AT ITER 3519 NEW BEST:: SOT 711354 SOS 457653 HAS SOPS 3075 HAS SOUS 55887 HAS SOUPS 2881 WITH SCORE 3338.6530000000002
AT ITER 3525 NEW BEST:: SOT 711346 SOS 457649 HAS SOPS 3075 HAS SOUS 55891 HAS SOUPS 2881 WITH SCORE 3338.649
AT ITER 3527 NEW BEST:: SOT 711346 SOS 457637 HAS SOPS 3075 HAS SOUS 55867 HAS SOUPS 2881 WITH SCORE 3338.637
AT ITER 3531 NEW BEST:: SOT 711336 SOS 464205 HAS SOPS 3065 HAS SOUS 55857 HAS SOUPS 2871 WITH SCORE 3335.205
AT ITER 3538 NEW BEST:: SOT 711623 SOS 464455 HAS SOPS 3028 HAS SOUS 55789 HAS SOUPS 2837 WITH SCORE 3301.455
AT ITER 3542 NEW BEST:: SOT 711331 SOS 464163 HAS SOPS 3028 HAS SOUS 55643 HAS SOUPS 2837 WITH SCORE 3301.163
AT ITER 3552 NEW BEST:: SOT 711331 SOS 464079 HAS SOPS 3028 HAS SOUS 55601 HAS SOUPS 2837 WITH SCORE 3301.079
AT ITER 3555 NEW BEST:: SOT 711465 SOS 463987 HAS SOPS 2922 HAS SOUS 55481 HAS SOUPS 2777 WITH SCORE 3240.987
AT ITER 3556 NEW BEST:: SOT 711467 SOS 463977 HAS SOPS 2918 HAS SOUS 55477 HAS SOUPS 2775 WITH SCORE 3238.977
AT ITER 3585 NEW BEST:: SOT 711467 SOS 462427 HAS SOPS 2918 HAS SOUS 55477 HAS SOUPS 2775 WITH SCORE 3237.427
AT ITER 3608 NEW BEST:: SOT 711467 SOS 462368 HAS SOPS 2918 HAS SOUS 55477 HAS SOUPS 2775 WITH SCORE 3237.368
AT ITER 3609 NEW BEST:: SOT 711311 SOS 462186 HAS SOPS 2918 HAS SOUS 55451 HAS SOUPS 2775 WITH SCORE 3237.186
AT ITER 3623 NEW BEST:: SOT 710633 SOS 461508 HAS SOPS 2918 HAS SOUS 55338 HAS SOUPS 2775 WITH SCORE 3236.508
AT ITER 3630 NEW BEST:: SOT 710633 SOS 461485 HAS SOPS 2918 HAS SOUS 55315 HAS SOUPS 2775 WITH SCORE 3236.485
AT ITER 3648 NEW BEST:: SOT 710633 SOS 461317 HAS SOPS 2918 HAS SOUS 55147 HAS SOUPS 2775 WITH SCORE 3236.317
AT ITER 3652 NEW BEST:: SOT 710577 SOS 461261 HAS SOPS 2918 HAS SOUS 55154 HAS SOUPS 2775 WITH SCORE 3236.261
AT ITER 3654 NEW BEST:: SOT 710577 SOS 461160 HAS SOPS 2918 HAS SOUS 55053 HAS SOUPS 2775 WITH SCORE 3236.16
AT ITER 3680 NEW BEST:: SOT 710389 SOS 460972 HAS SOPS 2918 HAS SOUS 54959 HAS SOUPS 2775 WITH SCORE 3235.972
AT ITER 3681 NEW BEST:: SOT 710321 SOS 460921 HAS SOPS 2918 HAS SOUS 54993 HAS SOUPS 2775 WITH SCORE 3235.921
AT ITER 3698 NEW BEST:: SOT 710289 SOS 460905 HAS SOPS 2918 HAS SOUS 55025 HAS SOUPS 2775 WITH SCORE 3235.905
AT ITER 3714 NEW BEST:: SOT 709875 SOS 460491 HAS SOPS 2918 HAS SOUS 55025 HAS SOUPS 2775 WITH SCORE 3235.491
AT ITER 3716 NEW BEST:: SOT 709873 SOS 460489 HAS SOPS 2918 HAS SOUS 55025 HAS SOUPS 2775 WITH SCORE 3235.489
AT ITER 3732 NEW BEST:: SOT 709871 SOS 460487 HAS SOPS 2918 HAS SOUS 55025 HAS SOUPS 2775 WITH SCORE 3235.487
AT ITER 3734 NEW BEST:: SOT 709716 SOS 460255 HAS SOPS 2919 HAS SOUS 54869 HAS SOUPS 2775 WITH SCORE 3235.255
AT ITER 3740 NEW BEST:: SOT 709794 SOS 460242 HAS SOPS 2919 HAS SOUS 54856 HAS SOUPS 2775 WITH SCORE 3235.242
AT ITER 3778 NEW BEST:: SOT 709110 SOS 459558 HAS SOPS 2919 HAS SOUS 54856 HAS SOUPS 2775 WITH SCORE 3234.558
AT ITER 3782 NEW BEST:: SOT 708812 SOS 459111 HAS SOPS 2919 HAS SOUS 54558 HAS SOUPS 2775 WITH SCORE 3234.111
AT ITER 3815 NEW BEST:: SOT 708862 SOS 458911 HAS SOPS 2919 HAS SOUS 54558 HAS SOUPS 2775 WITH SCORE 3233.911
AT ITER 3819 NEW BEST:: SOT 708912 SOS 458969 HAS SOPS 2913 HAS SOUS 54552 HAS SOUPS 2769 WITH SCORE 3227.969
AT ITER 3830 NEW BEST:: SOT 708912 SOS 458921 HAS SOPS 2913 HAS SOUS 54552 HAS SOUPS 2769 WITH SCORE 3227.921
AT ITER 3841 NEW BEST:: SOT 709000 SOS 459053 HAS SOPS 2891 HAS SOUS 54552 HAS SOUPS 2747 WITH SCORE 3206.053
AT ITER 3842 NEW BEST:: SOT 709000 SOS 458925 HAS SOPS 2891 HAS SOUS 54488 HAS SOUPS 2747 WITH SCORE 3205.925
AT ITER 3854 NEW BEST:: SOT 708928 SOS 458781 HAS SOPS 2891 HAS SOUS 54488 HAS SOUPS 2747 WITH SCORE 3205.781
AT ITER 3855 NEW BEST:: SOT 708906 SOS 459109 HAS SOPS 2869 HAS SOUS 54560 HAS SOUPS 2726 WITH SCORE 3185.109
AT ITER 3856 NEW BEST:: SOT 707994 SOS 458197 HAS SOPS 2869 HAS SOUS 54228 HAS SOUPS 2726 WITH SCORE 3184.197
AT ITER 3876 NEW BEST:: SOT 707890 SOS 458093 HAS SOPS 2869 HAS SOUS 54228 HAS SOUPS 2726 WITH SCORE 3184.093
AT ITER 3880 NEW BEST:: SOT 707916 SOS 458041 HAS SOPS 2869 HAS SOUS 54215 HAS SOUPS 2726 WITH SCORE 3184.041
AT ITER 3909 NEW BEST:: SOT 707734 SOS 457859 HAS SOPS 2869 HAS SOUS 54215 HAS SOUPS 2726 WITH SCORE 3183.859
AT ITER 3911 NEW BEST:: SOT 707654 SOS 457779 HAS SOPS 2869 HAS SOUS 54215 HAS SOUPS 2726 WITH SCORE 3183.779
AT ITER 3915 NEW BEST:: SOT 707654 SOS 457755 HAS SOPS 2869 HAS SOUS 54215 HAS SOUPS 2726 WITH SCORE 3183.755
AT ITER 3921 NEW BEST:: SOT 707819 SOS 457809 HAS SOPS 2850 HAS SOUS 54050 HAS SOUPS 2707 WITH SCORE 3164.809
AT ITER 3924 NEW BEST:: SOT 707362 SOS 457305 HAS SOPS 2803 HAS SOUS 53837 HAS SOUPS 2660 WITH SCORE 3117.305
AT ITER 3939 NEW BEST:: SOT 707362 SOS 456717 HAS SOPS 2803 HAS SOUS 53837 HAS SOUPS 2660 WITH SCORE 3116.717
AT ITER 3941 NEW BEST:: SOT 707303 SOS 454547 HAS SOPS 2744 HAS SOUS 53787 HAS SOUPS 2610 WITH SCORE 3064.547
AT ITER 3945 NEW BEST:: SOT 707269 SOS 454496 HAS SOPS 2744 HAS SOUS 53770 HAS SOUPS 2610 WITH SCORE 3064.496
AT ITER 3946 NEW BEST:: SOT 707586 SOS 454802 HAS SOPS 2733 HAS SOUS 53807 HAS SOUPS 2600 WITH SCORE 3054.802
AT ITER 3954 NEW BEST:: SOT 707526 SOS 454742 HAS SOPS 2733 HAS SOUS 53822 HAS SOUPS 2600 WITH SCORE 3054.742
AT ITER 3967 NEW BEST:: SOT 707410 SOS 454539 HAS SOPS 2733 HAS SOUS 53764 HAS SOUPS 2600 WITH SCORE 3054.5389999999998
AT ITER 3978 NEW BEST:: SOT 707332 SOS 451263 HAS SOPS 2733 HAS SOUS 53725 HAS SOUPS 2600 WITH SCORE 3051.263
AT ITER 3979 NEW BEST:: SOT 707096 SOS 450909 HAS SOPS 2733 HAS SOUS 53607 HAS SOUPS 2600 WITH SCORE 3050.909
AT ITER 3980 NEW BEST:: SOT 706856 SOS 450789 HAS SOPS 2733 HAS SOUS 53847 HAS SOUPS 2600 WITH SCORE 3050.7889999999998
AT ITER 3990 NEW BEST:: SOT 707324 SOS 451479 HAS SOPS 2709 HAS SOUS 53823 HAS SOUPS 2576 WITH SCORE 3027.479
AT ITER 4011 NEW BEST:: SOT 706988 SOS 451143 HAS SOPS 2709 HAS SOUS 53781 HAS SOUPS 2576 WITH SCORE 3027.143
AT ITER 4020 NEW BEST:: SOT 706772 SOS 450927 HAS SOPS 2709 HAS SOUS 53673 HAS SOUPS 2576 WITH SCORE 3026.927
AT ITER 4032 NEW BEST:: SOT 706771 SOS 451016 HAS SOPS 2708 HAS SOUS 53762 HAS SOUPS 2575 WITH SCORE 3026.016
AT ITER 4037 NEW BEST:: SOT 706619 SOS 450788 HAS SOPS 2708 HAS SOUS 53686 HAS SOUPS 2575 WITH SCORE 3025.788
AT ITER 4039 NEW BEST:: SOT 706483 SOS 450720 HAS SOPS 2708 HAS SOUS 53686 HAS SOUPS 2575 WITH SCORE 3025.7200000000003
AT ITER 4047 NEW BEST:: SOT 706401 SOS 451755 HAS SOPS 2626 HAS SOUS 53633 HAS SOUPS 2522 WITH SCORE 2973.755
AT ITER 4074 NEW BEST:: SOT 709658 SOS 454959 HAS SOPS 2573 HAS SOUS 54229 HAS SOUPS 2484 WITH SCORE 2938.959
AT ITER 4081 NEW BEST:: SOT 709618 SOS 454919 HAS SOPS 2573 HAS SOUS 54241 HAS SOUPS 2484 WITH SCORE 2938.919
AT ITER 4082 NEW BEST:: SOT 709534 SOS 454835 HAS SOPS 2573 HAS SOUS 54241 HAS SOUPS 2484 WITH SCORE 2938.835
AT ITER 4090 NEW BEST:: SOT 708562 SOS 453863 HAS SOPS 2573 HAS SOUS 54187 HAS SOUPS 2484 WITH SCORE 2937.863
AT ITER 4096 NEW BEST:: SOT 708680 SOS 453804 HAS SOPS 2573 HAS SOUS 54187 HAS SOUPS 2484 WITH SCORE 2937.804
AT ITER 4104 NEW BEST:: SOT 708680 SOS 453780 HAS SOPS 2573 HAS SOUS 54175 HAS SOUPS 2484 WITH SCORE 2937.78
AT ITER 4111 NEW BEST:: SOT 708680 SOS 453665 HAS SOPS 2573 HAS SOUS 54060 HAS SOUPS 2484 WITH SCORE 2937.665
AT ITER 4139 NEW BEST:: SOT 708532 SOS 453554 HAS SOPS 2573 HAS SOUS 54060 HAS SOUPS 2484 WITH SCORE 2937.554
AT ITER 4149 NEW BEST:: SOT 706956 SOS 451978 HAS SOPS 2573 HAS SOUS 53762 HAS SOUPS 2484 WITH SCORE 2935.978
AT ITER 4197 NEW BEST:: SOT 706868 SOS 451890 HAS SOPS 2573 HAS SOUS 53762 HAS SOUPS 2484 WITH SCORE 2935.89
AT ITER 4202 NEW BEST:: SOT 706862 SOS 451884 HAS SOPS 2573 HAS SOUS 53759 HAS SOUPS 2484 WITH SCORE 2935.884
AT ITER 4214 NEW BEST:: SOT 706474 SOS 451496 HAS SOPS 2573 HAS SOUS 53565 HAS SOUPS 2484 WITH SCORE 2935.496
AT ITER 4221 NEW BEST:: SOT 706240 SOS 451262 HAS SOPS 2573 HAS SOUS 53448 HAS SOUPS 2484 WITH SCORE 2935.262
AT ITER 4280 NEW BEST:: SOT 706172 SOS 451177 HAS SOPS 2573 HAS SOUS 53397 HAS SOUPS 2484 WITH SCORE 2935.177
AT ITER 4295 NEW BEST:: SOT 706172 SOS 450934 HAS SOPS 2573 HAS SOUS 53316 HAS SOUPS 2484 WITH SCORE 2934.934
AT ITER 4299 NEW BEST:: SOT 705836 SOS 450766 HAS SOPS 2573 HAS SOUS 53372 HAS SOUPS 2484 WITH SCORE 2934.766
AT ITER 4301 NEW BEST:: SOT 705776 SOS 450706 HAS SOPS 2573 HAS SOUS 53392 HAS SOUPS 2484 WITH SCORE 2934.706
AT ITER 4308 NEW BEST:: SOT 705746 SOS 450676 HAS SOPS 2573 HAS SOUS 53389 HAS SOUPS 2484 WITH SCORE 2934.676
AT ITER 4322 NEW BEST:: SOT 705956 SOS 450466 HAS SOPS 2573 HAS SOUS 53284 HAS SOUPS 2484 WITH SCORE 2934.466
AT ITER 4344 NEW BEST:: SOT 706002 SOS 450374 HAS SOPS 2573 HAS SOUS 53284 HAS SOUPS 2484 WITH SCORE 2934.374
AT ITER 4353 NEW BEST:: SOT 705896 SOS 450268 HAS SOPS 2573 HAS SOUS 53178 HAS SOUPS 2484 WITH SCORE 2934.268
AT ITER 4369 NEW BEST:: SOT 705896 SOS 450158 HAS SOPS 2573 HAS SOUS 53156 HAS SOUPS 2484 WITH SCORE 2934.158
AT ITER 4379 NEW BEST:: SOT 705704 SOS 449966 HAS SOPS 2573 HAS SOUS 53188 HAS SOUPS 2484 WITH SCORE 2933.966
AT ITER 4390 NEW BEST:: SOT 705704 SOS 449953 HAS SOPS 2573 HAS SOUS 53186 HAS SOUPS 2484 WITH SCORE 2933.953
AT ITER 4394 NEW BEST:: SOT 704524 SOS 448773 HAS SOPS 2573 HAS SOUS 53015 HAS SOUPS 2484 WITH SCORE 2932.773
AT ITER 4400 NEW BEST:: SOT 704362 SOS 448530 HAS SOPS 2573 HAS SOUS 52934 HAS SOUPS 2484 WITH SCORE 2932.53
AT ITER 4401 NEW BEST:: SOT 704362 SOS 448452 HAS SOPS 2573 HAS SOUS 52934 HAS SOUPS 2484 WITH SCORE 2932.452
AT ITER 4426 NEW BEST:: SOT 704328 SOS 448418 HAS SOPS 2573 HAS SOUS 52929 HAS SOUPS 2484 WITH SCORE 2932.418
AT ITER 4428 NEW BEST:: SOT 704383 SOS 448143 HAS SOPS 2463 HAS SOUS 52709 HAS SOUPS 2429 WITH SCORE 2877.143
AT ITER 4447 NEW BEST:: SOT 704335 SOS 448023 HAS SOPS 2463 HAS SOUS 52680 HAS SOUPS 2429 WITH SCORE 2877.023
AT ITER 4521 NEW BEST:: SOT 703791 SOS 447479 HAS SOPS 2463 HAS SOUS 52544 HAS SOUPS 2429 WITH SCORE 2876.479
AT ITER 4549 NEW BEST:: SOT 703655 SOS 447411 HAS SOPS 2463 HAS SOUS 52612 HAS SOUPS 2429 WITH SCORE 2876.411
AT ITER 4560 NEW BEST:: SOT 703545 SOS 447246 HAS SOPS 2463 HAS SOUS 52557 HAS SOUPS 2429 WITH SCORE 2876.246
AT ITER 4601 NEW BEST:: SOT 703153 SOS 446854 HAS SOPS 2463 HAS SOUS 52459 HAS SOUPS 2429 WITH SCORE 2875.854
AT ITER 4620 NEW BEST:: SOT 703065 SOS 446810 HAS SOPS 2463 HAS SOUS 52503 HAS SOUPS 2429 WITH SCORE 2875.81
AT ITER 4630 NEW BEST:: SOT 703063 SOS 446807 HAS SOPS 2463 HAS SOUS 52501 HAS SOUPS 2429 WITH SCORE 2875.807
AT ITER 4687 NEW BEST:: SOT 703063 SOS 446778 HAS SOPS 2463 HAS SOUS 52472 HAS SOUPS 2429 WITH SCORE 2875.7780000000002
AT ITER 4715 NEW BEST:: SOT 702961 SOS 446676 HAS SOPS 2463 HAS SOUS 52421 HAS SOUPS 2429 WITH SCORE 2875.676
AT ITER 4724 NEW BEST:: SOT 702686 SOS 446401 HAS SOPS 2438 HAS SOUS 52313 HAS SOUPS 2408 WITH SCORE 2854.401
AT ITER 4750 NEW BEST:: SOT 703120 SOS 446821 HAS SOPS 2424 HAS SOUS 52285 HAS SOUPS 2394 WITH SCORE 2840.821
AT ITER 4754 NEW BEST:: SOT 703150 SOS 446761 HAS SOPS 2424 HAS SOUS 52285 HAS SOUPS 2394 WITH SCORE 2840.761
AT ITER 4765 NEW BEST:: SOT 702860 SOS 446616 HAS SOPS 2424 HAS SOUS 52430 HAS SOUPS 2394 WITH SCORE 2840.616
AT ITER 4793 NEW BEST:: SOT 702269 SOS 446222 HAS SOPS 2424 HAS SOUS 52869 HAS SOUPS 2394 WITH SCORE 2840.222
AT ITER 4832 NEW BEST:: SOT 701795 SOS 445748 HAS SOPS 2424 HAS SOUS 52869 HAS SOUPS 2394 WITH SCORE 2839.748
AT ITER 4841 NEW BEST:: SOT 701719 SOS 445668 HAS SOPS 2420 HAS SOUS 52843 HAS SOUPS 2390 WITH SCORE 2835.668
AT ITER 4854 NEW BEST:: SOT 701139 SOS 445116 HAS SOPS 2416 HAS SOUS 52859 HAS SOUPS 2386 WITH SCORE 2831.116
AT ITER 4857 NEW BEST:: SOT 700977 SOS 444954 HAS SOPS 2416 HAS SOUS 52748 HAS SOUPS 2386 WITH SCORE 2830.954
AT ITER 4879 NEW BEST:: SOT 700975 SOS 445250 HAS SOPS 2414 HAS SOUS 52821 HAS SOUPS 2384 WITH SCORE 2829.25
AT ITER 4928 NEW BEST:: SOT 700990 SOS 445240 HAS SOPS 2414 HAS SOUS 52811 HAS SOUPS 2384 WITH SCORE 2829.24
AT ITER 4933 NEW BEST:: SOT 700990 SOS 445132 HAS SOPS 2414 HAS SOUS 52703 HAS SOUPS 2384 WITH SCORE 2829.132
AT ITER 4940 NEW BEST:: SOT 700989 SOS 445123 HAS SOPS 2415 HAS SOUS 52701 HAS SOUPS 2384 WITH SCORE 2829.123
AT ITER 4961 NEW BEST:: SOT 700989 SOS 445013 HAS SOPS 2415 HAS SOUS 52701 HAS SOUPS 2384 WITH SCORE 2829.013
AT ITER 4991 NEW BEST:: SOT 700744 SOS 444768 HAS SOPS 2415 HAS SOUS 52701 HAS SOUPS 2384 WITH SCORE 2828.768
AT ITER 4999 NEW BEST:: SOT 700288 SOS 444255 HAS SOPS 2415 HAS SOUS 52587 HAS SOUPS 2384 WITH SCORE 2828.255
AT ITER 5002 NEW BEST:: SOT 699660 SOS 443784 HAS SOPS 2415 HAS SOUS 52744 HAS SOUPS 2384 WITH SCORE 2827.784
AT ITER 5004 NEW BEST:: SOT 699684 SOS 443778 HAS SOPS 2415 HAS SOUS 52744 HAS SOUPS 2384 WITH SCORE 2827.7780000000002
AT ITER 5050 NEW BEST:: SOT 699661 SOS 443893 HAS SOPS 2392 HAS SOUS 52721 HAS SOUPS 2361 WITH SCORE 2804.893
AT ITER 5051 NEW BEST:: SOT 699661 SOS 443559 HAS SOPS 2392 HAS SOUS 52387 HAS SOUPS 2361 WITH SCORE 2804.559
AT ITER 5055 NEW BEST:: SOT 698917 SOS 442443 HAS SOPS 2392 HAS SOUS 51955 HAS SOUPS 2361 WITH SCORE 2803.443
AT ITER 5085 NEW BEST:: SOT 698277 SOS 441739 HAS SOPS 2392 HAS SOUS 51827 HAS SOUPS 2361 WITH SCORE 2802.739
AT ITER 5087 NEW BEST:: SOT 698265 SOS 441724 HAS SOPS 2392 HAS SOUS 51824 HAS SOUPS 2361 WITH SCORE 2802.724
AT ITER 5120 NEW BEST:: SOT 698237 SOS 441696 HAS SOPS 2392 HAS SOUS 51810 HAS SOUPS 2361 WITH SCORE 2802.696
AT ITER 5127 NEW BEST:: SOT 698285 SOS 441856 HAS SOPS 2376 HAS SOUS 51794 HAS SOUPS 2345 WITH SCORE 2786.8559999999998
AT ITER 5129 NEW BEST:: SOT 698259 SOS 441830 HAS SOPS 2376 HAS SOUS 51794 HAS SOUPS 2345 WITH SCORE 2786.83
AT ITER 5166 NEW BEST:: SOT 698744 SOS 442338 HAS SOPS 2357 HAS SOUS 52080 HAS SOUPS 2342 WITH SCORE 2784.338
AT ITER 5181 NEW BEST:: SOT 698730 SOS 442331 HAS SOPS 2357 HAS SOUS 52087 HAS SOUPS 2342 WITH SCORE 2784.331
AT ITER 5207 NEW BEST:: SOT 698219 SOS 442205 HAS SOPS 2294 HAS SOUS 52136 HAS SOUPS 2279 WITH SCORE 2721.205
AT ITER 5239 NEW BEST:: SOT 698279 SOS 442127 HAS SOPS 2288 HAS SOUS 52110 HAS SOUPS 2275 WITH SCORE 2717.127
AT ITER 5254 NEW BEST:: SOT 698274 SOS 442127 HAS SOPS 2287 HAS SOUS 52109 HAS SOUPS 2274 WITH SCORE 2716.127
AT ITER 5259 NEW BEST:: SOT 698128 SOS 441981 HAS SOPS 2287 HAS SOUS 52109 HAS SOUPS 2274 WITH SCORE 2715.9809999999998
AT ITER 5294 NEW BEST:: SOT 697758 SOS 441611 HAS SOPS 2287 HAS SOUS 52072 HAS SOUPS 2274 WITH SCORE 2715.611
AT ITER 5295 NEW BEST:: SOT 697456 SOS 441309 HAS SOPS 2287 HAS SOUS 52072 HAS SOUPS 2274 WITH SCORE 2715.309
AT ITER 5297 NEW BEST:: SOT 697456 SOS 441099 HAS SOPS 2287 HAS SOUS 52072 HAS SOUPS 2274 WITH SCORE 2715.099
AT ITER 5298 NEW BEST:: SOT 697218 SOS 440895 HAS SOPS 2287 HAS SOUS 52106 HAS SOUPS 2274 WITH SCORE 2714.895
AT ITER 5302 NEW BEST:: SOT 696824 SOS 440501 HAS SOPS 2287 HAS SOUS 52034 HAS SOUPS 2274 WITH SCORE 2714.501
AT ITER 5305 NEW BEST:: SOT 696808 SOS 440477 HAS SOPS 2287 HAS SOUS 52010 HAS SOUPS 2274 WITH SCORE 2714.477
AT ITER 5334 NEW BEST:: SOT 696266 SOS 440206 HAS SOPS 2287 HAS SOUS 52281 HAS SOUPS 2274 WITH SCORE 2714.206
AT ITER 5338 NEW BEST:: SOT 696188 SOS 440128 HAS SOPS 2287 HAS SOUS 52250 HAS SOUPS 2274 WITH SCORE 2714.128
AT ITER 5342 NEW BEST:: SOT 696188 SOS 440076 HAS SOPS 2287 HAS SOUS 52250 HAS SOUPS 2274 WITH SCORE 2714.076
AT ITER 5347 NEW BEST:: SOT 696188 SOS 440064 HAS SOPS 2287 HAS SOUS 52238 HAS SOUPS 2274 WITH SCORE 2714.064
AT ITER 5353 NEW BEST:: SOT 696154 SOS 440047 HAS SOPS 2287 HAS SOUS 52255 HAS SOUPS 2274 WITH SCORE 2714.047
AT ITER 5388 NEW BEST:: SOT 696709 SOS 440245 HAS SOPS 2272 HAS SOUS 52244 HAS SOUPS 2263 WITH SCORE 2703.245
AT ITER 5390 NEW BEST:: SOT 695901 SOS 439437 HAS SOPS 2272 HAS SOUS 51962 HAS SOUPS 2263 WITH SCORE 2702.437
AT ITER 5475 NEW BEST:: SOT 695269 SOS 438805 HAS SOPS 2272 HAS SOUS 51962 HAS SOUPS 2263 WITH SCORE 2701.805
AT ITER 5490 NEW BEST:: SOT 694921 SOS 438457 HAS SOPS 2272 HAS SOUS 51875 HAS SOUPS 2263 WITH SCORE 2701.457
AT ITER 5547 NEW BEST:: SOT 693877 SOS 437413 HAS SOPS 2272 HAS SOUS 51452 HAS SOUPS 2263 WITH SCORE 2700.413
AT ITER 5560 NEW BEST:: SOT 693799 SOS 437374 HAS SOPS 2272 HAS SOUS 51452 HAS SOUPS 2263 WITH SCORE 2700.374
AT ITER 5575 NEW BEST:: SOT 694026 SOS 437596 HAS SOPS 2267 HAS SOUS 51457 HAS SOUPS 2258 WITH SCORE 2695.596
AT ITER 5589 NEW BEST:: SOT 694026 SOS 437372 HAS SOPS 2267 HAS SOUS 51233 HAS SOUPS 2258 WITH SCORE 2695.372
AT ITER 5617 NEW BEST:: SOT 693912 SOS 437277 HAS SOPS 2267 HAS SOUS 51252 HAS SOUPS 2258 WITH SCORE 2695.277
AT ITER 5637 NEW BEST:: SOT 693912 SOS 437150 HAS SOPS 2267 HAS SOUS 51125 HAS SOUPS 2258 WITH SCORE 2695.15
AT ITER 5651 NEW BEST:: SOT 693612 SOS 437000 HAS SOPS 2267 HAS SOUS 51275 HAS SOUPS 2258 WITH SCORE 2695.0
AT ITER 5659 NEW BEST:: SOT 693484 SOS 436744 HAS SOPS 2267 HAS SOUS 51275 HAS SOUPS 2258 WITH SCORE 2694.744
AT ITER 5661 NEW BEST:: SOT 693268 SOS 436528 HAS SOPS 2267 HAS SOUS 51245 HAS SOUPS 2258 WITH SCORE 2694.5280000000002
AT ITER 5672 NEW BEST:: SOT 693260 SOS 436520 HAS SOPS 2267 HAS SOUS 51245 HAS SOUPS 2258 WITH SCORE 2694.52
AT ITER 5693 NEW BEST:: SOT 693260 SOS 436512 HAS SOPS 2267 HAS SOUS 51229 HAS SOUPS 2258 WITH SCORE 2694.512
AT ITER 5726 NEW BEST:: SOT 692624 SOS 435770 HAS SOPS 2267 HAS SOUS 51006 HAS SOUPS 2258 WITH SCORE 2693.77
AT ITER 5765 NEW BEST:: SOT 692332 SOS 435478 HAS SOPS 2267 HAS SOUS 50792 HAS SOUPS 2258 WITH SCORE 2693.478
AT ITER 5771 NEW BEST:: SOT 692188 SOS 435366 HAS SOPS 2267 HAS SOUS 50824 HAS SOUPS 2258 WITH SCORE 2693.366
AT ITER 5772 NEW BEST:: SOT 691938 SOS 435116 HAS SOPS 2267 HAS SOUS 50844 HAS SOUPS 2258 WITH SCORE 2693.116
AT ITER 5805 NEW BEST:: SOT 691930 SOS 435104 HAS SOPS 2267 HAS SOUS 50840 HAS SOUPS 2258 WITH SCORE 2693.104
AT ITER 5807 NEW BEST:: SOT 691870 SOS 435044 HAS SOPS 2267 HAS SOUS 50825 HAS SOUPS 2258 WITH SCORE 2693.044
AT ITER 5812 NEW BEST:: SOT 691532 SOS 434875 HAS SOPS 2267 HAS SOUS 50994 HAS SOUPS 2258 WITH SCORE 2692.875
AT ITER 5825 NEW BEST:: SOT 691480 SOS 434823 HAS SOPS 2267 HAS SOUS 50994 HAS SOUPS 2258 WITH SCORE 2692.823
AT ITER 5877 NEW BEST:: SOT 690988 SOS 434331 HAS SOPS 2267 HAS SOUS 50748 HAS SOUPS 2258 WITH SCORE 2692.331
AT ITER 5888 NEW BEST:: SOT 690988 SOS 434241 HAS SOPS 2267 HAS SOUS 50738 HAS SOUPS 2258 WITH SCORE 2692.241
AT ITER 5892 NEW BEST:: SOT 690960 SOS 434213 HAS SOPS 2267 HAS SOUS 50738 HAS SOUPS 2258 WITH SCORE 2692.213
AT ITER 5901 NEW BEST:: SOT 690948 SOS 434237 HAS SOPS 2255 HAS SOUS 50738 HAS SOUPS 2246 WITH SCORE 2680.237
AT ITER 5930 NEW BEST:: SOT 690540 SOS 433829 HAS SOPS 2255 HAS SOUS 50602 HAS SOUPS 2246 WITH SCORE 2679.829
AT ITER 5941 NEW BEST:: SOT 690611 SOS 433899 HAS SOPS 2254 HAS SOUS 50621 HAS SOUPS 2245 WITH SCORE 2678.899
AT ITER 5947 NEW BEST:: SOT 690457 SOS 433668 HAS SOPS 2254 HAS SOUS 50544 HAS SOUPS 2245 WITH SCORE 2678.668
AT ITER 5959 NEW BEST:: SOT 690293 SOS 433299 HAS SOPS 2254 HAS SOUS 50503 HAS SOUPS 2245 WITH SCORE 2678.299
AT ITER 5986 NEW BEST:: SOT 690187 SOS 433140 HAS SOPS 2254 HAS SOUS 50400 HAS SOUPS 2245 WITH SCORE 2678.14
AT ITER 5992 NEW BEST:: SOT 690197 SOS 433130 HAS SOPS 2254 HAS SOUS 50400 HAS SOUPS 2245 WITH SCORE 2678.13
AT ITER 6025 NEW BEST:: SOT 690157 SOS 433090 HAS SOPS 2254 HAS SOUS 50400 HAS SOUPS 2245 WITH SCORE 2678.09
AT ITER 6049 NEW BEST:: SOT 690157 SOS 433039 HAS SOPS 2254 HAS SOUS 50383 HAS SOUPS 2245 WITH SCORE 2678.0389999999998
AT ITER 6087 NEW BEST:: SOT 689659 SOS 432541 HAS SOPS 2254 HAS SOUS 50300 HAS SOUPS 2245 WITH SCORE 2677.541
AT ITER 6089 NEW BEST:: SOT 689659 SOS 432514 HAS SOPS 2254 HAS SOUS 50273 HAS SOUPS 2245 WITH SCORE 2677.514
AT ITER 6131 NEW BEST:: SOT 689635 SOS 432490 HAS SOPS 2254 HAS SOUS 50267 HAS SOUPS 2245 WITH SCORE 2677.49
AT ITER 6164 NEW BEST:: SOT 689640 SOS 432488 HAS SOPS 2254 HAS SOUS 50267 HAS SOUPS 2245 WITH SCORE 2677.488
AT ITER 6165 NEW BEST:: SOT 689340 SOS 432128 HAS SOPS 2254 HAS SOUS 50207 HAS SOUPS 2245 WITH SCORE 2677.128
AT ITER 6174 NEW BEST:: SOT 689226 SOS 432071 HAS SOPS 2254 HAS SOUS 50283 HAS SOUPS 2245 WITH SCORE 2677.071
AT ITER 6179 NEW BEST:: SOT 689226 SOS 432047 HAS SOPS 2254 HAS SOUS 50259 HAS SOUPS 2245 WITH SCORE 2677.047
AT ITER 6181 NEW BEST:: SOT 689178 SOS 431987 HAS SOPS 2254 HAS SOUS 50235 HAS SOUPS 2245 WITH SCORE 2676.987
AT ITER 6182 NEW BEST:: SOT 688694 SOS 431503 HAS SOPS 2254 HAS SOUS 50045 HAS SOUPS 2245 WITH SCORE 2676.503
AT ITER 6186 NEW BEST:: SOT 688554 SOS 431363 HAS SOPS 2254 HAS SOUS 50047 HAS SOUPS 2245 WITH SCORE 2676.363
AT ITER 6189 NEW BEST:: SOT 687393 SOS 430202 HAS SOPS 2254 HAS SOUS 50126 HAS SOUPS 2245 WITH SCORE 2675.202
AT ITER 6194 NEW BEST:: SOT 687383 SOS 430192 HAS SOPS 2254 HAS SOUS 50121 HAS SOUPS 2245 WITH SCORE 2675.192
AT ITER 6199 NEW BEST:: SOT 687383 SOS 430174 HAS SOPS 2254 HAS SOUS 50121 HAS SOUPS 2245 WITH SCORE 2675.174
AT ITER 6209 NEW BEST:: SOT 687101 SOS 429751 HAS SOPS 2254 HAS SOUS 49953 HAS SOUPS 2245 WITH SCORE 2674.751
AT ITER 6218 NEW BEST:: SOT 686969 SOS 429619 HAS SOPS 2254 HAS SOUS 49931 HAS SOUPS 2245 WITH SCORE 2674.619
AT ITER 6225 NEW BEST:: SOT 686969 SOS 429550 HAS SOPS 2254 HAS SOUS 49931 HAS SOUPS 2245 WITH SCORE 2674.55
AT ITER 6294 NEW BEST:: SOT 686930 SOS 429565 HAS SOPS 2246 HAS SOUS 49923 HAS SOUPS 2237 WITH SCORE 2666.565
AT ITER 6304 NEW BEST:: SOT 686538 SOS 429173 HAS SOPS 2246 HAS SOUS 49764 HAS SOUPS 2237 WITH SCORE 2666.173
AT ITER 6314 NEW BEST:: SOT 686266 SOS 428901 HAS SOPS 2246 HAS SOUS 49973 HAS SOUPS 2237 WITH SCORE 2665.901
AT ITER 6329 NEW BEST:: SOT 686252 SOS 428887 HAS SOPS 2246 HAS SOUS 49966 HAS SOUPS 2237 WITH SCORE 2665.887
AT ITER 6338 NEW BEST:: SOT 686068 SOS 428726 HAS SOPS 2246 HAS SOUS 50035 HAS SOUPS 2237 WITH SCORE 2665.726
AT ITER 6372 NEW BEST:: SOT 686094 SOS 428700 HAS SOPS 2246 HAS SOUS 50022 HAS SOUPS 2237 WITH SCORE 2665.7
AT ITER 6446 NEW BEST:: SOT 686026 SOS 428632 HAS SOPS 2246 HAS SOUS 50056 HAS SOUPS 2237 WITH SCORE 2665.632
AT ITER 6448 NEW BEST:: SOT 685839 SOS 428445 HAS SOPS 2246 HAS SOUS 49933 HAS SOUPS 2237 WITH SCORE 2665.445
AT ITER 6466 NEW BEST:: SOT 685629 SOS 428165 HAS SOPS 2246 HAS SOUS 49792 HAS SOUPS 2237 WITH SCORE 2665.165
AT ITER 6467 NEW BEST:: SOT 685245 SOS 427781 HAS SOPS 2246 HAS SOUS 49792 HAS SOUPS 2237 WITH SCORE 2664.781
AT ITER 6472 NEW BEST:: SOT 685241 SOS 427777 HAS SOPS 2246 HAS SOUS 49788 HAS SOUPS 2237 WITH SCORE 2664.777
AT ITER 6498 NEW BEST:: SOT 685284 SOS 427605 HAS SOPS 2246 HAS SOUS 49745 HAS SOUPS 2237 WITH SCORE 2664.605
AT ITER 6511 NEW BEST:: SOT 685284 SOS 427591 HAS SOPS 2246 HAS SOUS 49731 HAS SOUPS 2237 WITH SCORE 2664.591
AT ITER 6525 NEW BEST:: SOT 685284 SOS 427541 HAS SOPS 2246 HAS SOUS 49681 HAS SOUPS 2237 WITH SCORE 2664.541
AT ITER 6542 NEW BEST:: SOT 685276 SOS 427525 HAS SOPS 2246 HAS SOUS 49677 HAS SOUPS 2237 WITH SCORE 2664.525
AT ITER 6554 NEW BEST:: SOT 685274 SOS 427522 HAS SOPS 2246 HAS SOUS 49676 HAS SOUPS 2237 WITH SCORE 2664.522
AT ITER 6573 NEW BEST:: SOT 685274 SOS 427500 HAS SOPS 2246 HAS SOUS 49632 HAS SOUPS 2237 WITH SCORE 2664.5
AT ITER 6585 NEW BEST:: SOT 684970 SOS 427196 HAS SOPS 2246 HAS SOUS 49613 HAS SOUPS 2237 WITH SCORE 2664.196
AT ITER 6596 NEW BEST:: SOT 684895 SOS 427121 HAS SOPS 2246 HAS SOUS 49618 HAS SOUPS 2237 WITH SCORE 2664.121
AT ITER 6606 NEW BEST:: SOT 684863 SOS 427085 HAS SOPS 2246 HAS SOUS 49610 HAS SOUPS 2237 WITH SCORE 2664.085
AT ITER 6618 NEW BEST:: SOT 684735 SOS 426957 HAS SOPS 2246 HAS SOUS 49493 HAS SOUPS 2237 WITH SCORE 2663.957
AT ITER 6641 NEW BEST:: SOT 685009 SOS 427246 HAS SOPS 2224 HAS SOUS 49480 HAS SOUPS 2224 WITH SCORE 2651.246
AT ITER 6693 NEW BEST:: SOT 685009 SOS 427209 HAS SOPS 2224 HAS SOUS 49406 HAS SOUPS 2224 WITH SCORE 2651.209
AT ITER 6709 NEW BEST:: SOT 684949 SOS 427164 HAS SOPS 2224 HAS SOUS 49421 HAS SOUPS 2224 WITH SCORE 2651.1639999999998
AT ITER 6742 NEW BEST:: SOT 684891 SOS 426874 HAS SOPS 2224 HAS SOUS 49392 HAS SOUPS 2224 WITH SCORE 2650.874
AT ITER 6763 NEW BEST:: SOT 684153 SOS 426136 HAS SOPS 2224 HAS SOUS 49366 HAS SOUPS 2224 WITH SCORE 2650.136
AT ITER 6799 NEW BEST:: SOT 684101 SOS 426084 HAS SOPS 2224 HAS SOUS 49353 HAS SOUPS 2224 WITH SCORE 2650.084
AT ITER 6820 NEW BEST:: SOT 683663 SOS 425646 HAS SOPS 2224 HAS SOUS 49134 HAS SOUPS 2224 WITH SCORE 2649.646
AT ITER 6830 NEW BEST:: SOT 683507 SOS 425464 HAS SOPS 2224 HAS SOUS 49134 HAS SOUPS 2224 WITH SCORE 2649.464
AT ITER 6853 NEW BEST:: SOT 683073 SOS 425247 HAS SOPS 2224 HAS SOUS 49134 HAS SOUPS 2224 WITH SCORE 2649.247
AT ITER 6854 NEW BEST:: SOT 683025 SOS 425199 HAS SOPS 2224 HAS SOUS 49122 HAS SOUPS 2224 WITH SCORE 2649.199
AT ITER 6867 NEW BEST:: SOT 682773 SOS 424947 HAS SOPS 2224 HAS SOUS 49080 HAS SOUPS 2224 WITH SCORE 2648.947
AT ITER 6877 NEW BEST:: SOT 682755 SOS 424920 HAS SOPS 2224 HAS SOUS 49071 HAS SOUPS 2224 WITH SCORE 2648.92
AT ITER 6887 NEW BEST:: SOT 682443 SOS 424608 HAS SOPS 2224 HAS SOUS 48915 HAS SOUPS 2224 WITH SCORE 2648.608
AT ITER 6889 NEW BEST:: SOT 682149 SOS 424314 HAS SOPS 2224 HAS SOUS 48915 HAS SOUPS 2224 WITH SCORE 2648.314
AT ITER 6923 NEW BEST:: SOT 682236 SOS 424444 HAS SOPS 2223 HAS SOUS 48914 HAS SOUPS 2223 WITH SCORE 2647.444
AT ITER 6934 NEW BEST:: SOT 681978 SOS 424229 HAS SOPS 2223 HAS SOUS 49074 HAS SOUPS 2223 WITH SCORE 2647.229
AT ITER 6980 NEW BEST:: SOT 682042 SOS 424197 HAS SOPS 2223 HAS SOUS 49074 HAS SOUPS 2223 WITH SCORE 2647.197
AT ITER 6981 NEW BEST:: SOT 681174 SOS 423329 HAS SOPS 2223 HAS SOUS 48783 HAS SOUPS 2223 WITH SCORE 2646.329
AT ITER 7029 NEW BEST:: SOT 681172 SOS 423326 HAS SOPS 2223 HAS SOUS 48781 HAS SOUPS 2223 WITH SCORE 2646.326
AT ITER 7035 NEW BEST:: SOT 681008 SOS 423162 HAS SOPS 2223 HAS SOUS 48882 HAS SOUPS 2223 WITH SCORE 2646.1620000000003
AT ITER 7040 NEW BEST:: SOT 680998 SOS 423150 HAS SOPS 2223 HAS SOUS 48880 HAS SOUPS 2223 WITH SCORE 2646.15
AT ITER 7047 NEW BEST:: SOT 680968 SOS 423117 HAS SOPS 2223 HAS SOUS 48877 HAS SOUPS 2223 WITH SCORE 2646.117
AT ITER 7049 NEW BEST:: SOT 680932 SOS 423081 HAS SOPS 2223 HAS SOUS 48889 HAS SOUPS 2223 WITH SCORE 2646.081
AT ITER 7058 NEW BEST:: SOT 680932 SOS 422718 HAS SOPS 2223 HAS SOUS 48526 HAS SOUPS 2223 WITH SCORE 2645.718
AT ITER 7070 NEW BEST:: SOT 680836 SOS 422598 HAS SOPS 2223 HAS SOUS 48526 HAS SOUPS 2223 WITH SCORE 2645.598
AT ITER 7079 NEW BEST:: SOT 680835 SOS 422976 HAS SOPS 2222 HAS SOUS 48525 HAS SOUPS 2222 WITH SCORE 2644.976
AT ITER 7105 NEW BEST:: SOT 680643 SOS 422752 HAS SOPS 2222 HAS SOUS 48493 HAS SOUPS 2222 WITH SCORE 2644.752
AT ITER 7136 NEW BEST:: SOT 680607 SOS 422710 HAS SOPS 2222 HAS SOUS 48481 HAS SOUPS 2222 WITH SCORE 2644.71
AT ITER 7167 NEW BEST:: SOT 680569 SOS 422577 HAS SOPS 2222 HAS SOUS 48443 HAS SOUPS 2222 WITH SCORE 2644.577
AT ITER 7170 NEW BEST:: SOT 680521 SOS 422529 HAS SOPS 2222 HAS SOUS 48399 HAS SOUPS 2222 WITH SCORE 2644.529
AT ITER 7215 NEW BEST:: SOT 680221 SOS 422229 HAS SOPS 2222 HAS SOUS 48249 HAS SOUPS 2222 WITH SCORE 2644.229
AT ITER 7261 NEW BEST:: SOT 680171 SOS 422179 HAS SOPS 2222 HAS SOUS 48207 HAS SOUPS 2222 WITH SCORE 2644.179
AT ITER 7282 NEW BEST:: SOT 680171 SOS 422023 HAS SOPS 2222 HAS SOUS 48194 HAS SOUPS 2222 WITH SCORE 2644.023
AT ITER 7306 NEW BEST:: SOT 679781 SOS 421633 HAS SOPS 2222 HAS SOUS 47906 HAS SOUPS 2222 WITH SCORE 2643.633
AT ITER 7312 NEW BEST:: SOT 679781 SOS 421189 HAS SOPS 2222 HAS SOUS 47906 HAS SOUPS 2222 WITH SCORE 2643.189
AT ITER 7329 NEW BEST:: SOT 679446 SOS 420988 HAS SOPS 2222 HAS SOUS 47906 HAS SOUPS 2222 WITH SCORE 2642.988
AT ITER 7331 NEW BEST:: SOT 679364 SOS 420906 HAS SOPS 2222 HAS SOUS 47906 HAS SOUPS 2222 WITH SCORE 2642.906
AT ITER 7355 NEW BEST:: SOT 679332 SOS 420874 HAS SOPS 2222 HAS SOUS 47898 HAS SOUPS 2222 WITH SCORE 2642.874
AT ITER 7399 NEW BEST:: SOT 679216 SOS 420729 HAS SOPS 2222 HAS SOUS 47782 HAS SOUPS 2222 WITH SCORE 2642.729
AT ITER 7408 NEW BEST:: SOT 678910 SOS 420406 HAS SOPS 2222 HAS SOUS 47605 HAS SOUPS 2222 WITH SCORE 2642.406
AT ITER 7426 NEW BEST:: SOT 678910 SOS 420150 HAS SOPS 2222 HAS SOUS 47605 HAS SOUPS 2222 WITH SCORE 2642.15
AT ITER 7444 NEW BEST:: SOT 678760 SOS 419975 HAS SOPS 2222 HAS SOUS 47555 HAS SOUPS 2222 WITH SCORE 2641.975
AT ITER 7449 NEW BEST:: SOT 678712 SOS 419951 HAS SOPS 2222 HAS SOUS 47555 HAS SOUPS 2222 WITH SCORE 2641.951
AT ITER 7470 NEW BEST:: SOT 678712 SOS 419928 HAS SOPS 2222 HAS SOUS 47532 HAS SOUPS 2222 WITH SCORE 2641.928
AT ITER 7497 NEW BEST:: SOT 678632 SOS 419808 HAS SOPS 2222 HAS SOUS 47452 HAS SOUPS 2222 WITH SCORE 2641.808
AT ITER 7540 NEW BEST:: SOT 677798 SOS 419252 HAS SOPS 2222 HAS SOUS 47591 HAS SOUPS 2222 WITH SCORE 2641.252
AT ITER 7578 NEW BEST:: SOT 677740 SOS 419276 HAS SOPS 2220 HAS SOUS 47589 HAS SOUPS 2220 WITH SCORE 2639.276
AT ITER 7628 NEW BEST:: SOT 677740 SOS 419206 HAS SOPS 2220 HAS SOUS 47575 HAS SOUPS 2220 WITH SCORE 2639.206
AT ITER 7666 NEW BEST:: SOT 677736 SOS 419204 HAS SOPS 2220 HAS SOUS 47575 HAS SOUPS 2220 WITH SCORE 2639.204
AT ITER 7677 NEW BEST:: SOT 677713 SOS 419230 HAS SOPS 2213 HAS SOUS 47568 HAS SOUPS 2213 WITH SCORE 2632.23
AT ITER 7679 NEW BEST:: SOT 677549 SOS 419066 HAS SOPS 2213 HAS SOUS 47568 HAS SOUPS 2213 WITH SCORE 2632.066
AT ITER 7708 NEW BEST:: SOT 677363 SOS 418880 HAS SOPS 2213 HAS SOUS 47807 HAS SOUPS 2213 WITH SCORE 2631.88
AT ITER 7738 NEW BEST:: SOT 677347 SOS 418862 HAS SOPS 2213 HAS SOUS 47799 HAS SOUPS 2213 WITH SCORE 2631.862
AT ITER 7744 NEW BEST:: SOT 677287 SOS 418802 HAS SOPS 2213 HAS SOUS 47768 HAS SOUPS 2213 WITH SCORE 2631.802
AT ITER 7763 NEW BEST:: SOT 677203 SOS 418718 HAS SOPS 2213 HAS SOUS 47759 HAS SOUPS 2213 WITH SCORE 2631.718
AT ITER 7772 NEW BEST:: SOT 676507 SOS 418022 HAS SOPS 2213 HAS SOUS 47534 HAS SOUPS 2213 WITH SCORE 2631.022
AT ITER 7790 NEW BEST:: SOT 676507 SOS 417926 HAS SOPS 2213 HAS SOUS 47438 HAS SOUPS 2213 WITH SCORE 2630.926
AT ITER 7791 NEW BEST:: SOT 676483 SOS 417902 HAS SOPS 2213 HAS SOUS 47438 HAS SOUPS 2213 WITH SCORE 2630.902
AT ITER 7793 NEW BEST:: SOT 676459 SOS 417770 HAS SOPS 2213 HAS SOUS 47414 HAS SOUPS 2213 WITH SCORE 2630.77
AT ITER 7852 NEW BEST:: SOT 676099 SOS 417410 HAS SOPS 2213 HAS SOUS 47234 HAS SOUPS 2213 WITH SCORE 2630.41
AT ITER 7859 NEW BEST:: SOT 676132 SOS 417454 HAS SOPS 2202 HAS SOUS 47278 HAS SOUPS 2202 WITH SCORE 2619.454
AT ITER 7862 NEW BEST:: SOT 676102 SOS 417385 HAS SOPS 2202 HAS SOUS 47272 HAS SOUPS 2202 WITH SCORE 2619.385
AT ITER 7909 NEW BEST:: SOT 675842 SOS 417125 HAS SOPS 2202 HAS SOUS 47142 HAS SOUPS 2202 WITH SCORE 2619.125
AT ITER 7937 NEW BEST:: SOT 675812 SOS 417095 HAS SOPS 2202 HAS SOUS 47132 HAS SOUPS 2202 WITH SCORE 2619.0950000000003
AT ITER 7964 NEW BEST:: SOT 675812 SOS 417035 HAS SOPS 2202 HAS SOUS 47132 HAS SOUPS 2202 WITH SCORE 2619.035
AT ITER 7981 NEW BEST:: SOT 675316 SOS 416787 HAS SOPS 2202 HAS SOUS 47380 HAS SOUPS 2202 WITH SCORE 2618.7870000000003
AT ITER 8005 NEW BEST:: SOT 675268 SOS 416739 HAS SOPS 2202 HAS SOUS 47380 HAS SOUPS 2202 WITH SCORE 2618.739
AT ITER 8008 NEW BEST:: SOT 675224 SOS 416695 HAS SOPS 2202 HAS SOUS 47369 HAS SOUPS 2202 WITH SCORE 2618.695
AT ITER 8017 NEW BEST:: SOT 675208 SOS 416669 HAS SOPS 2202 HAS SOUS 47369 HAS SOUPS 2202 WITH SCORE 2618.669
AT ITER 8031 NEW BEST:: SOT 675243 SOS 416634 HAS SOPS 2202 HAS SOUS 47369 HAS SOUPS 2202 WITH SCORE 2618.634
AT ITER 8064 NEW BEST:: SOT 675243 SOS 416562 HAS SOPS 2202 HAS SOUS 47345 HAS SOUPS 2202 WITH SCORE 2618.562
AT ITER 8155 NEW BEST:: SOT 675215 SOS 416534 HAS SOPS 2202 HAS SOUS 47366 HAS SOUPS 2202 WITH SCORE 2618.534
AT ITER 8156 NEW BEST:: SOT 675215 SOS 416444 HAS SOPS 2202 HAS SOUS 47276 HAS SOUPS 2202 WITH SCORE 2618.444
AT ITER 8158 NEW BEST:: SOT 675035 SOS 416324 HAS SOPS 2202 HAS SOUS 47336 HAS SOUPS 2202 WITH SCORE 2618.324
AT ITER 8168 NEW BEST:: SOT 674995 SOS 416224 HAS SOPS 2202 HAS SOUS 47336 HAS SOUPS 2202 WITH SCORE 2618.224
AT ITER 8181 NEW BEST:: SOT 674975 SOS 416134 HAS SOPS 2202 HAS SOUS 47326 HAS SOUPS 2202 WITH SCORE 2618.134
AT ITER 8228 NEW BEST:: SOT 674885 SOS 416059 HAS SOPS 2202 HAS SOUS 47326 HAS SOUPS 2202 WITH SCORE 2618.059
AT ITER 8241 NEW BEST:: SOT 674835 SOS 415909 HAS SOPS 2202 HAS SOUS 47276 HAS SOUPS 2202 WITH SCORE 2617.909
AT ITER 8251 NEW BEST:: SOT 674699 SOS 415841 HAS SOPS 2202 HAS SOUS 47310 HAS SOUPS 2202 WITH SCORE 2617.841
AT ITER 8254 NEW BEST:: SOT 674549 SOS 415616 HAS SOPS 2202 HAS SOUS 47260 HAS SOUPS 2202 WITH SCORE 2617.616
AT ITER 8267 NEW BEST:: SOT 674225 SOS 415211 HAS SOPS 2202 HAS SOUS 47179 HAS SOUPS 2202 WITH SCORE 2617.2110000000002
AT ITER 8316 NEW BEST:: SOT 674297 SOS 415175 HAS SOPS 2202 HAS SOUS 47143 HAS SOUPS 2202 WITH SCORE 2617.175
AT ITER 8342 NEW BEST:: SOT 674257 SOS 415135 HAS SOPS 2202 HAS SOUS 47123 HAS SOUPS 2202 WITH SCORE 2617.135
AT ITER 8382 NEW BEST:: SOT 674257 SOS 415121 HAS SOPS 2202 HAS SOUS 47123 HAS SOUPS 2202 WITH SCORE 2617.121
AT ITER 8389 NEW BEST:: SOT 674157 SOS 414996 HAS SOPS 2202 HAS SOUS 47098 HAS SOUPS 2202 WITH SCORE 2616.996
AT ITER 8417 NEW BEST:: SOT 674043 SOS 414882 HAS SOPS 2202 HAS SOUS 47098 HAS SOUPS 2202 WITH SCORE 2616.882
AT ITER 8420 NEW BEST:: SOT 674051 SOS 414874 HAS SOPS 2202 HAS SOUS 47098 HAS SOUPS 2202 WITH SCORE 2616.874
AT ITER 8470 NEW BEST:: SOT 673523 SOS 414346 HAS SOPS 2202 HAS SOUS 46912 HAS SOUPS 2202 WITH SCORE 2616.346
AT ITER 8507 NEW BEST:: SOT 673180 SOS 414003 HAS SOPS 2202 HAS SOUS 46898 HAS SOUPS 2202 WITH SCORE 2616.003
AT ITER 8521 NEW BEST:: SOT 673012 SOS 413856 HAS SOPS 2202 HAS SOUS 46961 HAS SOUPS 2202 WITH SCORE 2615.8559999999998
AT ITER 8531 NEW BEST:: SOT 672642 SOS 413523 HAS SOPS 2202 HAS SOUS 46998 HAS SOUPS 2202 WITH SCORE 2615.523
AT ITER 8541 NEW BEST:: SOT 672642 SOS 413303 HAS SOPS 2202 HAS SOUS 46778 HAS SOUPS 2202 WITH SCORE 2615.303
AT ITER 8548 NEW BEST:: SOT 672632 SOS 412158 HAS SOPS 2202 HAS SOUS 46778 HAS SOUPS 2202 WITH SCORE 2614.158
AT ITER 8600 NEW BEST:: SOT 672620 SOS 412146 HAS SOPS 2202 HAS SOUS 46784 HAS SOUPS 2202 WITH SCORE 2614.146
AT ITER 8607 NEW BEST:: SOT 671168 SOS 410694 HAS SOPS 2202 HAS SOUS 46341 HAS SOUPS 2202 WITH SCORE 2612.694
AT ITER 8608 NEW BEST:: SOT 671168 SOS 410536 HAS SOPS 2202 HAS SOUS 46262 HAS SOUPS 2202 WITH SCORE 2612.536
AT ITER 8610 NEW BEST:: SOT 670924 SOS 410292 HAS SOPS 2202 HAS SOUS 46018 HAS SOUPS 2202 WITH SCORE 2612.292
AT ITER 8643 NEW BEST:: SOT 670855 SOS 410269 HAS SOPS 2202 HAS SOUS 46064 HAS SOUPS 2202 WITH SCORE 2612.2690000000002
AT ITER 8648 NEW BEST:: SOT 670855 SOS 410191 HAS SOPS 2202 HAS SOUS 46064 HAS SOUPS 2202 WITH SCORE 2612.191
AT ITER 8656 NEW BEST:: SOT 670435 SOS 409771 HAS SOPS 2202 HAS SOUS 46064 HAS SOUPS 2202 WITH SCORE 2611.771
AT ITER 8732 NEW BEST:: SOT 670347 SOS 409683 HAS SOPS 2202 HAS SOUS 45998 HAS SOUPS 2202 WITH SCORE 2611.683
AT ITER 8737 NEW BEST:: SOT 670347 SOS 409674 HAS SOPS 2202 HAS SOUS 45985 HAS SOUPS 2202 WITH SCORE 2611.674
AT ITER 8753 NEW BEST:: SOT 670331 SOS 409658 HAS SOPS 2202 HAS SOUS 45985 HAS SOUPS 2202 WITH SCORE 2611.658
AT ITER 8784 NEW BEST:: SOT 670257 SOS 409510 HAS SOPS 2202 HAS SOUS 45948 HAS SOUPS 2202 WITH SCORE 2611.51
AT ITER 8804 NEW BEST:: SOT 670091 SOS 409344 HAS SOPS 2202 HAS SOUS 45943 HAS SOUPS 2202 WITH SCORE 2611.344
AT ITER 8827 NEW BEST:: SOT 669309 SOS 408562 HAS SOPS 2202 HAS SOUS 45552 HAS SOUPS 2202 WITH SCORE 2610.562
AT ITER 8837 NEW BEST:: SOT 669309 SOS 408340 HAS SOPS 2202 HAS SOUS 45330 HAS SOUPS 2202 WITH SCORE 2610.34
AT ITER 8863 NEW BEST:: SOT 669309 SOS 408337 HAS SOPS 2202 HAS SOUS 45318 HAS SOUPS 2202 WITH SCORE 2610.337
AT ITER 8883 NEW BEST:: SOT 669229 SOS 408257 HAS SOPS 2202 HAS SOUS 45269 HAS SOUPS 2202 WITH SCORE 2610.257
AT ITER 8897 NEW BEST:: SOT 669223 SOS 408227 HAS SOPS 2202 HAS SOUS 45263 HAS SOUPS 2202 WITH SCORE 2610.227
AT ITER 8920 NEW BEST:: SOT 669223 SOS 408219 HAS SOPS 2202 HAS SOUS 45259 HAS SOUPS 2202 WITH SCORE 2610.219
AT ITER 8924 NEW BEST:: SOT 669171 SOS 408128 HAS SOPS 2202 HAS SOUS 45233 HAS SOUPS 2202 WITH SCORE 2610.128
AT ITER 8928 NEW BEST:: SOT 669113 SOS 407954 HAS SOPS 2202 HAS SOUS 45233 HAS SOUPS 2202 WITH SCORE 2609.954
AT ITER 8929 NEW BEST:: SOT 669031 SOS 407872 HAS SOPS 2202 HAS SOUS 45233 HAS SOUPS 2202 WITH SCORE 2609.872
AT ITER 8962 NEW BEST:: SOT 669031 SOS 407546 HAS SOPS 2202 HAS SOUS 45233 HAS SOUPS 2202 WITH SCORE 2609.546
AT ITER 9011 NEW BEST:: SOT 669015 SOS 407530 HAS SOPS 2202 HAS SOUS 45233 HAS SOUPS 2202 WITH SCORE 2609.53
AT ITER 9037 NEW BEST:: SOT 669015 SOS 406870 HAS SOPS 2202 HAS SOUS 45229 HAS SOUPS 2202 WITH SCORE 2608.87
AT ITER 9050 NEW BEST:: SOT 669015 SOS 406834 HAS SOPS 2202 HAS SOUS 45223 HAS SOUPS 2202 WITH SCORE 2608.834
AT ITER 9061 NEW BEST:: SOT 668267 SOS 406086 HAS SOPS 2202 HAS SOUS 45304 HAS SOUPS 2202 WITH SCORE 2608.0860000000002
AT ITER 9065 NEW BEST:: SOT 668047 SOS 405866 HAS SOPS 2202 HAS SOUS 45184 HAS SOUPS 2202 WITH SCORE 2607.866
AT ITER 9083 NEW BEST:: SOT 668005 SOS 405817 HAS SOPS 2202 HAS SOUS 45156 HAS SOUPS 2202 WITH SCORE 2607.817
AT ITER 9106 NEW BEST:: SOT 667953 SOS 405791 HAS SOPS 2202 HAS SOUS 45156 HAS SOUPS 2202 WITH SCORE 2607.791
AT ITER 9112 NEW BEST:: SOT 667941 SOS 405779 HAS SOPS 2202 HAS SOUS 45162 HAS SOUPS 2202 WITH SCORE 2607.779
AT ITER 9118 NEW BEST:: SOT 667639 SOS 405477 HAS SOPS 2202 HAS SOUS 45011 HAS SOUPS 2202 WITH SCORE 2607.477
AT ITER 9141 NEW BEST:: SOT 667635 SOS 405473 HAS SOPS 2202 HAS SOUS 45011 HAS SOUPS 2202 WITH SCORE 2607.473
AT ITER 9147 NEW BEST:: SOT 667635 SOS 405353 HAS SOPS 2202 HAS SOUS 45011 HAS SOUPS 2202 WITH SCORE 2607.353
AT ITER 9148 NEW BEST:: SOT 667575 SOS 405263 HAS SOPS 2202 HAS SOUS 45011 HAS SOUPS 2202 WITH SCORE 2607.263
AT ITER 9200 NEW BEST:: SOT 667545 SOS 405008 HAS SOPS 2202 HAS SOUS 44996 HAS SOUPS 2202 WITH SCORE 2607.008
AT ITER 9229 NEW BEST:: SOT 667137 SOS 404532 HAS SOPS 2202 HAS SOUS 44860 HAS SOUPS 2202 WITH SCORE 2606.532
AT ITER 9285 NEW BEST:: SOT 667133 SOS 404448 HAS SOPS 2202 HAS SOUS 44860 HAS SOUPS 2202 WITH SCORE 2606.448
AT ITER 9313 NEW BEST:: SOT 667105 SOS 404378 HAS SOPS 2202 HAS SOUS 44860 HAS SOUPS 2202 WITH SCORE 2606.378
AT ITER 9332 NEW BEST:: SOT 667039 SOS 404312 HAS SOPS 2202 HAS SOUS 44860 HAS SOUPS 2202 WITH SCORE 2606.312
AT ITER 9457 NEW BEST:: SOT 667039 SOS 404252 HAS SOPS 2202 HAS SOUS 44860 HAS SOUPS 2202 WITH SCORE 2606.252
AT ITER 9459 NEW BEST:: SOT 667039 SOS 404174 HAS SOPS 2202 HAS SOUS 44821 HAS SOUPS 2202 WITH SCORE 2606.174
AT ITER 9480 NEW BEST:: SOT 666947 SOS 404013 HAS SOPS 2202 HAS SOUS 44798 HAS SOUPS 2202 WITH SCORE 2606.013
AT ITER 9508 NEW BEST:: SOT 666927 SOS 403993 HAS SOPS 2202 HAS SOUS 44798 HAS SOUPS 2202 WITH SCORE 2605.993
AT ITER 9613 NEW BEST:: SOT 667023 SOS 403849 HAS SOPS 2202 HAS SOUS 44678 HAS SOUPS 2202 WITH SCORE 2605.849
AT ITER 9614 NEW BEST:: SOT 667011 SOS 403837 HAS SOPS 2202 HAS SOUS 44678 HAS SOUPS 2202 WITH SCORE 2605.837
AT ITER 9636 NEW BEST:: SOT 666983 SOS 403802 HAS SOPS 2202 HAS SOUS 44671 HAS SOUPS 2202 WITH SCORE 2605.802
AT ITER 9642 NEW BEST:: SOT 666983 SOS 403766 HAS SOPS 2202 HAS SOUS 44671 HAS SOUPS 2202 WITH SCORE 2605.766
AT ITER 9726 NEW BEST:: SOT 666857 SOS 403640 HAS SOPS 2202 HAS SOUS 44671 HAS SOUPS 2202 WITH SCORE 2605.64
AT ITER 9744 NEW BEST:: SOT 666773 SOS 403556 HAS SOPS 2202 HAS SOUS 44671 HAS SOUPS 2202 WITH SCORE 2605.556
AT ITER 9777 NEW BEST:: SOT 666691 SOS 403474 HAS SOPS 2202 HAS SOUS 44600 HAS SOUPS 2202 WITH SCORE 2605.474
AT ITER 9783 NEW BEST:: SOT 666539 SOS 403365 HAS SOPS 2200 HAS SOUS 44613 HAS SOUPS 2200 WITH SCORE 2603.365
AT ITER 9795 NEW BEST:: SOT 666491 SOS 403333 HAS SOPS 2200 HAS SOUS 44661 HAS SOUPS 2200 WITH SCORE 2603.333
AT ITER 9815 NEW BEST:: SOT 666131 SOS 403063 HAS SOPS 2200 HAS SOUS 44661 HAS SOUPS 2200 WITH SCORE 2603.063
AT ITER 9820 NEW BEST:: SOT 666131 SOS 402943 HAS SOPS 2200 HAS SOUS 44661 HAS SOUPS 2200 WITH SCORE 2602.943
AT ITER 9821 NEW BEST:: SOT 666127 SOS 402937 HAS SOPS 2200 HAS SOUS 44659 HAS SOUPS 2200 WITH SCORE 2602.937
AT ITER 9822 NEW BEST:: SOT 665791 SOS 402559 HAS SOPS 2200 HAS SOUS 44491 HAS SOUPS 2200 WITH SCORE 2602.559
AT ITER 9836 NEW BEST:: SOT 665791 SOS 402415 HAS SOPS 2200 HAS SOUS 44491 HAS SOUPS 2200 WITH SCORE 2602.415
AT ITER 9884 NEW BEST:: SOT 665276 SOS 401900 HAS SOPS 2200 HAS SOUS 44576 HAS SOUPS 2200 WITH SCORE 2601.9
AT ITER 9913 NEW BEST:: SOT 665248 SOS 401858 HAS SOPS 2200 HAS SOUS 44548 HAS SOUPS 2200 WITH SCORE 2601.858
AT ITER 9938 NEW BEST:: SOT 665318 SOS 401823 HAS SOPS 2200 HAS SOUS 44548 HAS SOUPS 2200 WITH SCORE 2601.823
AT ITER 9958 NEW BEST:: SOT 665222 SOS 401679 HAS SOPS 2200 HAS SOUS 44500 HAS SOUPS 2200 WITH SCORE 2601.679
STATE_SPACE STATES 41315998049390537434494706752048189989275292685267576205290549704650361952269459114074325652482205302974450751563959894016 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 499 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 32061214486327057049167892439589395431677627123767639135305466570808680874961100272521676706326191315108173783213632877756416 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589369654865

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

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="Eratosthenes-PT-500"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is Eratosthenes-PT-500, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r063-tajo-158922808401056"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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