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.r123-tajo-158961355100688.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 PolyORBNT-PT-S10J30, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961355100688
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 23M
-rw-r--r-- 1 mcc users 28K Apr 12 06:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Apr 12 06:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 494K Apr 11 06:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.4M Apr 11 06:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 7.9K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 34K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 473K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 1.3M Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Apr 10 13:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 46K Apr 10 13:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 255K Apr 9 19:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 714K Apr 9 19:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.1K Apr 10 22:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.4K Apr 10 22:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 18M 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 1589648806208

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

Filename model.pnml
Petri model created: 664 places, 12050 transitions, 112559 arcs.
AT ITER 0 NEW BEST:: SOT 4562297 SOS 2082561 HAS SOPS 2082561 HAS SOUS 368817 HAS SOUPS 368817 WITH SCORE 370899.561
AT ITER 6 NEW BEST:: SOT 4562297 SOS 2082561 HAS SOPS 2082561 HAS SOUS 368703 HAS SOUPS 368703 WITH SCORE 370785.561
AT ITER 8 NEW BEST:: SOT 4562491 SOS 2082663 HAS SOPS 2082663 HAS SOUS 367987 HAS SOUPS 367987 WITH SCORE 370069.663
AT ITER 11 NEW BEST:: SOT 4562429 SOS 2082510 HAS SOPS 2082510 HAS SOUS 367015 HAS SOUPS 367015 WITH SCORE 369097.51
AT ITER 26 NEW BEST:: SOT 4562407 SOS 2082396 HAS SOPS 2082396 HAS SOUS 366165 HAS SOUPS 366165 WITH SCORE 368247.396
AT ITER 33 NEW BEST:: SOT 4562216 SOS 2082205 HAS SOPS 2082205 HAS SOUS 365974 HAS SOUPS 365974 WITH SCORE 368056.205
AT ITER 35 NEW BEST:: SOT 4562185 SOS 2082143 HAS SOPS 2082143 HAS SOUS 365633 HAS SOUPS 365633 WITH SCORE 367715.143
AT ITER 36 NEW BEST:: SOT 4562185 SOS 2082085 HAS SOPS 2082085 HAS SOUS 365575 HAS SOUPS 365575 WITH SCORE 367657.085
AT ITER 37 NEW BEST:: SOT 4562185 SOS 2081864 HAS SOPS 2081864 HAS SOUS 365354 HAS SOUPS 365354 WITH SCORE 367435.864
AT ITER 43 NEW BEST:: SOT 4562185 SOS 2081864 HAS SOPS 2081864 HAS SOUS 365260 HAS SOUPS 365260 WITH SCORE 367341.864
AT ITER 47 NEW BEST:: SOT 4562064 SOS 2081571 HAS SOPS 2081571 HAS SOUS 365237 HAS SOUPS 365237 WITH SCORE 367318.571
AT ITER 52 NEW BEST:: SOT 4562204 SOS 2081619 HAS SOPS 2081619 HAS SOUS 364457 HAS SOUPS 364457 WITH SCORE 366538.619
AT ITER 55 NEW BEST:: SOT 4562043 SOS 2081366 HAS SOPS 2081366 HAS SOUS 363401 HAS SOUPS 363401 WITH SCORE 365482.366
AT ITER 58 NEW BEST:: SOT 4561992 SOS 2081233 HAS SOPS 2081233 HAS SOUS 362530 HAS SOUPS 362530 WITH SCORE 364611.233
AT ITER 62 NEW BEST:: SOT 4561955 SOS 2081196 HAS SOPS 2081196 HAS SOUS 362403 HAS SOUPS 362403 WITH SCORE 364484.196
AT ITER 65 NEW BEST:: SOT 4562005 SOS 2081215 HAS SOPS 2081215 HAS SOUS 362168 HAS SOUPS 362168 WITH SCORE 364249.215
AT ITER 72 NEW BEST:: SOT 4561884 SOS 2081002 HAS SOPS 2081002 HAS SOUS 361127 HAS SOUPS 361127 WITH SCORE 363208.002
AT ITER 80 NEW BEST:: SOT 4561706 SOS 2080826 HAS SOPS 2080826 HAS SOUS 360949 HAS SOUPS 360949 WITH SCORE 363029.826
AT ITER 83 NEW BEST:: SOT 4561815 SOS 2080991 HAS SOPS 2080991 HAS SOUS 360934 HAS SOUPS 360934 WITH SCORE 363014.991
AT ITER 115 NEW BEST:: SOT 4561766 SOS 2080996 HAS SOPS 2080996 HAS SOUS 360921 HAS SOUPS 360921 WITH SCORE 363001.996
AT ITER 131 NEW BEST:: SOT 4561505 SOS 2080735 HAS SOPS 2080735 HAS SOUS 360660 HAS SOUPS 360660 WITH SCORE 362740.735
AT ITER 144 NEW BEST:: SOT 4561505 SOS 2080643 HAS SOPS 2080643 HAS SOUS 359740 HAS SOUPS 359740 WITH SCORE 361820.643
AT ITER 145 NEW BEST:: SOT 4561022 SOS 2083760 HAS SOPS 2083760 HAS SOUS 359485 HAS SOUPS 359485 WITH SCORE 361568.76
AT ITER 156 NEW BEST:: SOT 4561747 SOS 2084489 HAS SOPS 2084489 HAS SOUS 359478 HAS SOUPS 359478 WITH SCORE 361562.489
AT ITER 158 NEW BEST:: SOT 4561732 SOS 2084474 HAS SOPS 2084474 HAS SOUS 359463 HAS SOUPS 359463 WITH SCORE 361547.474
AT ITER 162 NEW BEST:: SOT 4561685 SOS 2084427 HAS SOPS 2084427 HAS SOUS 359416 HAS SOUPS 359416 WITH SCORE 361500.427
AT ITER 164 NEW BEST:: SOT 4561566 SOS 2084216 HAS SOPS 2084216 HAS SOUS 358377 HAS SOUPS 358377 WITH SCORE 360461.216
AT ITER 179 NEW BEST:: SOT 4561566 SOS 2084216 HAS SOPS 2084216 HAS SOUS 358361 HAS SOUPS 358361 WITH SCORE 360445.216
AT ITER 193 NEW BEST:: SOT 4561566 SOS 2084185 HAS SOPS 2084185 HAS SOUS 358330 HAS SOUPS 358330 WITH SCORE 360414.185
AT ITER 198 NEW BEST:: SOT 4561515 SOS 2084083 HAS SOPS 2084083 HAS SOUS 358228 HAS SOUPS 358228 WITH SCORE 360312.083
AT ITER 214 NEW BEST:: SOT 4561611 SOS 2083185 HAS SOPS 2083185 HAS SOUS 356604 HAS SOUPS 356604 WITH SCORE 358687.185
AT ITER 217 NEW BEST:: SOT 4561571 SOS 2083145 HAS SOPS 2083145 HAS SOUS 356564 HAS SOUPS 356564 WITH SCORE 358647.145
AT ITER 218 NEW BEST:: SOT 4561544 SOS 2082995 HAS SOPS 2082995 HAS SOUS 355648 HAS SOUPS 355648 WITH SCORE 357730.995
AT ITER 221 NEW BEST:: SOT 4561428 SOS 2082756 HAS SOPS 2082756 HAS SOUS 354643 HAS SOUPS 354643 WITH SCORE 356725.756
AT ITER 234 NEW BEST:: SOT 4561340 SOS 2082668 HAS SOPS 2082668 HAS SOUS 354555 HAS SOUPS 354555 WITH SCORE 356637.668
AT ITER 235 NEW BEST:: SOT 3613481 SOS 1135062 HAS SOPS 1135062 HAS SOUS 278281 HAS SOUPS 278281 WITH SCORE 279416.062
AT ITER 238 NEW BEST:: SOT 3613300 SOS 1134758 HAS SOPS 1134758 HAS SOUS 277211 HAS SOUPS 277211 WITH SCORE 278345.758
AT ITER 239 NEW BEST:: SOT 3613239 SOS 1134579 HAS SOPS 1134579 HAS SOUS 276333 HAS SOUPS 276333 WITH SCORE 277467.579
AT ITER 250 NEW BEST:: SOT 3613194 SOS 1134411 HAS SOPS 1134411 HAS SOUS 275399 HAS SOUPS 275399 WITH SCORE 276533.411
AT ITER 258 NEW BEST:: SOT 3613153 SOS 1134430 HAS SOPS 1134430 HAS SOUS 275390 HAS SOUPS 275390 WITH SCORE 276524.43
AT ITER 259 NEW BEST:: SOT 3610542 SOS 1216820 HAS SOPS 1216820 HAS SOUS 274994 HAS SOUPS 274994 WITH SCORE 276210.82
AT ITER 264 NEW BEST:: SOT 3610486 SOS 1216797 HAS SOPS 1216797 HAS SOUS 274969 HAS SOUPS 274969 WITH SCORE 276185.797
AT ITER 272 NEW BEST:: SOT 3610427 SOS 1216738 HAS SOPS 1216738 HAS SOUS 274910 HAS SOUPS 274910 WITH SCORE 276126.738
AT ITER 281 NEW BEST:: SOT 3610136 SOS 1217486 HAS SOPS 1217486 HAS SOUS 274745 HAS SOUPS 274745 WITH SCORE 275962.486
AT ITER 284 NEW BEST:: SOT 3610153 SOS 1217463 HAS SOPS 1217463 HAS SOUS 274582 HAS SOUPS 274582 WITH SCORE 275799.463
AT ITER 289 NEW BEST:: SOT 3610167 SOS 1217678 HAS SOPS 1217678 HAS SOUS 274543 HAS SOUPS 274543 WITH SCORE 275760.678
AT ITER 293 NEW BEST:: SOT 3610195 SOS 1217539 HAS SOPS 1217539 HAS SOUS 273473 HAS SOUPS 273473 WITH SCORE 274690.539
AT ITER 296 NEW BEST:: SOT 3610195 SOS 1217539 HAS SOPS 1217539 HAS SOUS 273413 HAS SOUPS 273413 WITH SCORE 274630.539
AT ITER 303 NEW BEST:: SOT 3610195 SOS 1217475 HAS SOPS 1217475 HAS SOUS 272153 HAS SOUPS 272153 WITH SCORE 273370.475
AT ITER 305 NEW BEST:: SOT 3610119 SOS 1217399 HAS SOPS 1217399 HAS SOUS 272051 HAS SOUPS 272051 WITH SCORE 273268.399
AT ITER 310 NEW BEST:: SOT 3597373 SOS 1204704 HAS SOPS 1204704 HAS SOUS 259356 HAS SOUPS 259356 WITH SCORE 260560.704
AT ITER 319 NEW BEST:: SOT 3597361 SOS 1204692 HAS SOPS 1204692 HAS SOUS 259300 HAS SOUPS 259300 WITH SCORE 260504.692
AT ITER 320 NEW BEST:: SOT 3597361 SOS 1204661 HAS SOPS 1204661 HAS SOUS 259270 HAS SOUPS 259270 WITH SCORE 260474.661
AT ITER 321 NEW BEST:: SOT 3597212 SOS 1204524 HAS SOPS 1204524 HAS SOUS 259241 HAS SOUPS 259241 WITH SCORE 260445.524
AT ITER 322 NEW BEST:: SOT 3597863 SOS 1204983 HAS SOPS 1204983 HAS SOUS 258680 HAS SOUPS 258680 WITH SCORE 259884.983
AT ITER 324 NEW BEST:: SOT 3597816 SOS 1204936 HAS SOPS 1204936 HAS SOUS 258633 HAS SOUPS 258633 WITH SCORE 259837.936
AT ITER 328 NEW BEST:: SOT 3597884 SOS 1205032 HAS SOPS 1205032 HAS SOUS 258549 HAS SOUPS 258549 WITH SCORE 259754.032
AT ITER 333 NEW BEST:: SOT 3597884 SOS 1205032 HAS SOPS 1205032 HAS SOUS 258417 HAS SOUPS 258417 WITH SCORE 259622.032
AT ITER 337 NEW BEST:: SOT 3598017 SOS 1204994 HAS SOPS 1204994 HAS SOUS 257401 HAS SOUPS 257401 WITH SCORE 258605.994
AT ITER 339 NEW BEST:: SOT 3598304 SOS 1205219 HAS SOPS 1205219 HAS SOUS 256669 HAS SOUPS 256669 WITH SCORE 257874.219
AT ITER 348 NEW BEST:: SOT 3598287 SOS 1205222 HAS SOPS 1205222 HAS SOUS 256650 HAS SOUPS 256650 WITH SCORE 257855.222
AT ITER 349 NEW BEST:: SOT 3599620 SOS 1206483 HAS SOPS 1206483 HAS SOUS 256249 HAS SOUPS 256249 WITH SCORE 257455.483
AT ITER 360 NEW BEST:: SOT 3599696 SOS 1206448 HAS SOPS 1206448 HAS SOUS 255626 HAS SOUPS 255626 WITH SCORE 256832.448
AT ITER 362 NEW BEST:: SOT 3599696 SOS 1206448 HAS SOPS 1206448 HAS SOUS 255524 HAS SOUPS 255524 WITH SCORE 256730.448
AT ITER 363 NEW BEST:: SOT 3599581 SOS 1206273 HAS SOPS 1206273 HAS SOUS 255257 HAS SOUPS 255257 WITH SCORE 256463.273
AT ITER 377 NEW BEST:: SOT 3599581 SOS 1205775 HAS SOPS 1205775 HAS SOUS 252414 HAS SOUPS 252414 WITH SCORE 253619.775
AT ITER 381 NEW BEST:: SOT 3599519 SOS 1205744 HAS SOPS 1205744 HAS SOUS 252369 HAS SOUPS 252369 WITH SCORE 253574.744
AT ITER 382 NEW BEST:: SOT 3599491 SOS 1205716 HAS SOPS 1205716 HAS SOUS 252341 HAS SOUPS 252341 WITH SCORE 253546.716
AT ITER 385 NEW BEST:: SOT 3599491 SOS 1205716 HAS SOPS 1205716 HAS SOUS 252337 HAS SOUPS 252337 WITH SCORE 253542.716
AT ITER 401 NEW BEST:: SOT 3599404 SOS 1205629 HAS SOPS 1205629 HAS SOUS 252250 HAS SOUPS 252250 WITH SCORE 253455.629
AT ITER 417 NEW BEST:: SOT 3599366 SOS 1205591 HAS SOPS 1205591 HAS SOUS 252212 HAS SOUPS 252212 WITH SCORE 253417.591
AT ITER 418 NEW BEST:: SOT 3599366 SOS 1205522 HAS SOPS 1205522 HAS SOUS 250362 HAS SOUPS 250362 WITH SCORE 251567.522
AT ITER 419 NEW BEST:: SOT 3599329 SOS 1205485 HAS SOPS 1205485 HAS SOUS 250325 HAS SOUPS 250325 WITH SCORE 251530.485
AT ITER 422 NEW BEST:: SOT 3599329 SOS 1205485 HAS SOPS 1205485 HAS SOUS 250274 HAS SOUPS 250274 WITH SCORE 251479.485
AT ITER 430 NEW BEST:: SOT 3599283 SOS 1205351 HAS SOPS 1205351 HAS SOUS 249777 HAS SOUPS 249777 WITH SCORE 250982.351
AT ITER 439 NEW BEST:: SOT 3599239 SOS 1205366 HAS SOPS 1205366 HAS SOUS 249773 HAS SOUPS 249773 WITH SCORE 250978.366
AT ITER 451 NEW BEST:: SOT 3599239 SOS 1205243 HAS SOPS 1205243 HAS SOUS 248989 HAS SOUPS 248989 WITH SCORE 250194.243
AT ITER 463 NEW BEST:: SOT 3599239 SOS 1205243 HAS SOPS 1205243 HAS SOUS 248970 HAS SOUPS 248970 WITH SCORE 250175.243
AT ITER 469 NEW BEST:: SOT 3599215 SOS 1205219 HAS SOPS 1205219 HAS SOUS 248946 HAS SOUPS 248946 WITH SCORE 250151.219
AT ITER 475 NEW BEST:: SOT 3599192 SOS 1205173 HAS SOPS 1205173 HAS SOUS 248877 HAS SOUPS 248877 WITH SCORE 250082.173
AT ITER 476 NEW BEST:: SOT 3599192 SOS 1205148 HAS SOPS 1205148 HAS SOUS 248852 HAS SOUPS 248852 WITH SCORE 250057.148
AT ITER 480 NEW BEST:: SOT 3599151 SOS 1205107 HAS SOPS 1205107 HAS SOUS 248811 HAS SOUPS 248811 WITH SCORE 250016.107
AT ITER 486 NEW BEST:: SOT 3599151 SOS 1205107 HAS SOPS 1205107 HAS SOUS 247483 HAS SOUPS 247483 WITH SCORE 248688.107
AT ITER 493 NEW BEST:: SOT 3599157 SOS 1205107 HAS SOPS 1205107 HAS SOUS 247429 HAS SOUPS 247429 WITH SCORE 248634.107
AT ITER 496 NEW BEST:: SOT 3599157 SOS 1205107 HAS SOPS 1205107 HAS SOUS 247352 HAS SOUPS 247352 WITH SCORE 248557.107
AT ITER 498 NEW BEST:: SOT 3599155 SOS 1205103 HAS SOPS 1205103 HAS SOUS 247330 HAS SOUPS 247330 WITH SCORE 248535.103
AT ITER 502 NEW BEST:: SOT 3599155 SOS 1205103 HAS SOPS 1205103 HAS SOUS 247270 HAS SOUPS 247270 WITH SCORE 248475.103
AT ITER 505 NEW BEST:: SOT 3599118 SOS 1205118 HAS SOPS 1205118 HAS SOUS 247269 HAS SOUPS 247269 WITH SCORE 248474.118
AT ITER 515 NEW BEST:: SOT 3599100 SOS 1205100 HAS SOPS 1205100 HAS SOUS 247242 HAS SOUPS 247242 WITH SCORE 248447.1
AT ITER 537 NEW BEST:: SOT 3598981 SOS 1204981 HAS SOPS 1204981 HAS SOUS 247002 HAS SOUPS 247002 WITH SCORE 248206.981
AT ITER 545 NEW BEST:: SOT 3598844 SOS 1204844 HAS SOPS 1204844 HAS SOUS 246839 HAS SOUPS 246839 WITH SCORE 248043.844
AT ITER 548 NEW BEST:: SOT 3599365 SOS 1204995 HAS SOPS 1204995 HAS SOUS 246005 HAS SOUPS 246005 WITH SCORE 247209.995
AT ITER 550 NEW BEST:: SOT 3570536 SOS 1233887 HAS SOPS 1233887 HAS SOUS 217813 HAS SOUPS 217813 WITH SCORE 219046.887
AT ITER 554 NEW BEST:: SOT 3570493 SOS 1233919 HAS SOPS 1233919 HAS SOUS 217607 HAS SOUPS 217607 WITH SCORE 218840.919
AT ITER 557 NEW BEST:: SOT 3570588 SOS 1234093 HAS SOPS 1234093 HAS SOUS 217547 HAS SOUPS 217547 WITH SCORE 218781.093
AT ITER 563 NEW BEST:: SOT 3570564 SOS 1233997 HAS SOPS 1233997 HAS SOUS 217499 HAS SOUPS 217499 WITH SCORE 218732.997
AT ITER 564 NEW BEST:: SOT 3570492 SOS 1233853 HAS SOPS 1233853 HAS SOUS 217403 HAS SOUPS 217403 WITH SCORE 218636.853
AT ITER 571 NEW BEST:: SOT 3570417 SOS 1233713 HAS SOPS 1233713 HAS SOUS 216578 HAS SOUPS 216578 WITH SCORE 217811.713
AT ITER 577 NEW BEST:: SOT 3570417 SOS 1233713 HAS SOPS 1233713 HAS SOUS 216574 HAS SOUPS 216574 WITH SCORE 217807.713
AT ITER 579 NEW BEST:: SOT 3569855 SOS 1233151 HAS SOPS 1233151 HAS SOUS 216182 HAS SOUPS 216182 WITH SCORE 217415.151
AT ITER 590 NEW BEST:: SOT 3569178 SOS 1232474 HAS SOPS 1232474 HAS SOUS 215505 HAS SOUPS 215505 WITH SCORE 216737.474
AT ITER 608 NEW BEST:: SOT 3568822 SOS 1231808 HAS SOPS 1231808 HAS SOUS 213697 HAS SOUPS 213697 WITH SCORE 214928.808
AT ITER 616 NEW BEST:: SOT 3568889 SOS 1231808 HAS SOPS 1231808 HAS SOUS 213200 HAS SOUPS 213200 WITH SCORE 214431.808
AT ITER 618 NEW BEST:: SOT 3568881 SOS 1233008 HAS SOPS 1233008 HAS SOUS 213135 HAS SOUPS 213135 WITH SCORE 214368.008
AT ITER 622 NEW BEST:: SOT 3568873 SOS 1233000 HAS SOPS 1233000 HAS SOUS 213119 HAS SOUPS 213119 WITH SCORE 214352.0
AT ITER 631 NEW BEST:: SOT 3568869 SOS 1232996 HAS SOPS 1232996 HAS SOUS 213115 HAS SOUPS 213115 WITH SCORE 214347.996
AT ITER 635 NEW BEST:: SOT 3568920 SOS 1233083 HAS SOPS 1233083 HAS SOUS 213022 HAS SOUPS 213022 WITH SCORE 214255.083
AT ITER 662 NEW BEST:: SOT 3568774 SOS 1232937 HAS SOPS 1232937 HAS SOUS 212760 HAS SOUPS 212760 WITH SCORE 213992.937
AT ITER 671 NEW BEST:: SOT 3568774 SOS 1232931 HAS SOPS 1232931 HAS SOUS 212758 HAS SOUPS 212758 WITH SCORE 213990.931
AT ITER 673 NEW BEST:: SOT 3568756 SOS 1232913 HAS SOPS 1232913 HAS SOUS 212740 HAS SOUPS 212740 WITH SCORE 213972.913
AT ITER 680 NEW BEST:: SOT 3568633 SOS 1232852 HAS SOPS 1232852 HAS SOUS 212646 HAS SOUPS 212646 WITH SCORE 213878.852
AT ITER 681 NEW BEST:: SOT 3568245 SOS 1232464 HAS SOPS 1232464 HAS SOUS 211875 HAS SOUPS 211875 WITH SCORE 213107.464
AT ITER 682 NEW BEST:: SOT 3568218 SOS 1232437 HAS SOPS 1232437 HAS SOUS 211848 HAS SOUPS 211848 WITH SCORE 213080.437
AT ITER 686 NEW BEST:: SOT 3568141 SOS 1232360 HAS SOPS 1232360 HAS SOUS 211771 HAS SOUPS 211771 WITH SCORE 213003.36
AT ITER 692 NEW BEST:: SOT 3568091 SOS 1232310 HAS SOPS 1232310 HAS SOUS 211721 HAS SOUPS 211721 WITH SCORE 212953.31
AT ITER 716 NEW BEST:: SOT 3567980 SOS 1232199 HAS SOPS 1232199 HAS SOUS 211610 HAS SOUPS 211610 WITH SCORE 212842.199
AT ITER 723 NEW BEST:: SOT 3568092 SOS 1232224 HAS SOPS 1232224 HAS SOUS 211576 HAS SOUPS 211576 WITH SCORE 212808.224
AT ITER 729 NEW BEST:: SOT 3568092 SOS 1232224 HAS SOPS 1232224 HAS SOUS 211569 HAS SOUPS 211569 WITH SCORE 212801.224
AT ITER 738 NEW BEST:: SOT 3586992 SOS 1250628 HAS SOPS 1250628 HAS SOUS 210802 HAS SOUPS 210802 WITH SCORE 212052.628
AT ITER 739 NEW BEST:: SOT 3586806 SOS 1250372 HAS SOPS 1250372 HAS SOUS 209066 HAS SOUPS 209066 WITH SCORE 210316.372
AT ITER 743 NEW BEST:: SOT 3586662 SOS 1250228 HAS SOPS 1250228 HAS SOUS 208909 HAS SOUPS 208909 WITH SCORE 210159.228
AT ITER 757 NEW BEST:: SOT 3586488 SOS 1250054 HAS SOPS 1250054 HAS SOUS 208563 HAS SOUPS 208563 WITH SCORE 209813.054
AT ITER 782 NEW BEST:: SOT 3586476 SOS 1250042 HAS SOPS 1250042 HAS SOUS 208551 HAS SOUPS 208551 WITH SCORE 209801.042
AT ITER 801 NEW BEST:: SOT 3094076 SOS 759220 HAS SOPS 759220 HAS SOUS 170051 HAS SOUPS 170051 WITH SCORE 170810.22
AT ITER 803 NEW BEST:: SOT 3094053 SOS 759156 HAS SOPS 759156 HAS SOUS 169987 HAS SOUPS 169987 WITH SCORE 170746.156
AT ITER 808 NEW BEST:: SOT 3093971 SOS 759074 HAS SOPS 759074 HAS SOUS 169939 HAS SOUPS 169939 WITH SCORE 170698.074
AT ITER 823 NEW BEST:: SOT 3093921 SOS 758785 HAS SOPS 758785 HAS SOUS 169770 HAS SOUPS 169770 WITH SCORE 170528.785
AT ITER 835 NEW BEST:: SOT 3094199 SOS 759063 HAS SOPS 759063 HAS SOUS 169749 HAS SOUPS 169749 WITH SCORE 170508.063
AT ITER 838 NEW BEST:: SOT 3094178 SOS 759042 HAS SOPS 759042 HAS SOUS 169581 HAS SOUPS 169581 WITH SCORE 170340.042
AT ITER 864 NEW BEST:: SOT 3094128 SOS 759045 HAS SOPS 759045 HAS SOUS 169571 HAS SOUPS 169571 WITH SCORE 170330.045
AT ITER 866 NEW BEST:: SOT 3094795 SOS 759701 HAS SOPS 759701 HAS SOUS 169378 HAS SOUPS 169378 WITH SCORE 170137.701
AT ITER 867 NEW BEST:: SOT 3094766 SOS 759672 HAS SOPS 759672 HAS SOUS 169355 HAS SOUPS 169355 WITH SCORE 170114.672
AT ITER 877 NEW BEST:: SOT 3094643 SOS 759549 HAS SOPS 759549 HAS SOUS 169228 HAS SOUPS 169228 WITH SCORE 169987.549
AT ITER 885 NEW BEST:: SOT 3094710 SOS 759616 HAS SOPS 759616 HAS SOUS 169016 HAS SOUPS 169016 WITH SCORE 169775.616
AT ITER 902 NEW BEST:: SOT 3094760 SOS 759666 HAS SOPS 759666 HAS SOUS 168672 HAS SOUPS 168672 WITH SCORE 169431.666
AT ITER 925 NEW BEST:: SOT 3094760 SOS 759666 HAS SOPS 759666 HAS SOUS 168634 HAS SOUPS 168634 WITH SCORE 169393.666
AT ITER 926 NEW BEST:: SOT 3094521 SOS 759386 HAS SOPS 759386 HAS SOUS 168396 HAS SOUPS 168396 WITH SCORE 169155.386
AT ITER 927 NEW BEST:: SOT 3094521 SOS 759383 HAS SOPS 759383 HAS SOUS 167779 HAS SOUPS 167779 WITH SCORE 168538.383
AT ITER 936 NEW BEST:: SOT 3095357 SOS 760219 HAS SOPS 760219 HAS SOUS 167721 HAS SOUPS 167721 WITH SCORE 168481.219
AT ITER 944 NEW BEST:: SOT 3095158 SOS 761532 HAS SOPS 760052 HAS SOUS 167653 HAS SOUPS 167505 WITH SCORE 168266.532
AT ITER 948 NEW BEST:: SOT 3095022 SOS 761396 HAS SOPS 759916 HAS SOUS 167513 HAS SOUPS 167365 WITH SCORE 168126.396
AT ITER 951 NEW BEST:: SOT 3095074 SOS 761448 HAS SOPS 759968 HAS SOUS 166848 HAS SOUPS 166700 WITH SCORE 167461.448
AT ITER 956 NEW BEST:: SOT 3095074 SOS 761448 HAS SOPS 759968 HAS SOUS 166844 HAS SOUPS 166696 WITH SCORE 167457.448
AT ITER 958 NEW BEST:: SOT 3095090 SOS 761464 HAS SOPS 759984 HAS SOUS 165660 HAS SOUPS 165512 WITH SCORE 166273.464
AT ITER 962 NEW BEST:: SOT 3095546 SOS 761903 HAS SOPS 760423 HAS SOUS 165529 HAS SOUPS 165381 WITH SCORE 166142.903
AT ITER 968 NEW BEST:: SOT 3095518 SOS 761875 HAS SOPS 760395 HAS SOUS 165484 HAS SOUPS 165336 WITH SCORE 166097.875
AT ITER 969 NEW BEST:: SOT 3095518 SOS 761875 HAS SOPS 760395 HAS SOUS 165478 HAS SOUPS 165330 WITH SCORE 166091.875
AT ITER 971 NEW BEST:: SOT 3095556 SOS 761913 HAS SOPS 760433 HAS SOUS 165476 HAS SOUPS 165328 WITH SCORE 166089.913
AT ITER 989 NEW BEST:: SOT 3095596 SOS 761953 HAS SOPS 760473 HAS SOUS 165276 HAS SOUPS 165128 WITH SCORE 165889.953
AT ITER 990 NEW BEST:: SOT 3095586 SOS 761943 HAS SOPS 760463 HAS SOUS 165266 HAS SOUPS 165118 WITH SCORE 165879.943
AT ITER 999 NEW BEST:: SOT 3095456 SOS 761813 HAS SOPS 760333 HAS SOUS 165013 HAS SOUPS 164865 WITH SCORE 165626.813
AT ITER 1000 NEW BEST:: SOT 3095671 SOS 762028 HAS SOPS 760548 HAS SOUS 164410 HAS SOUPS 164262 WITH SCORE 165024.028
AT ITER 1010 NEW BEST:: SOT 3096013 SOS 762362 HAS SOPS 760882 HAS SOUS 164068 HAS SOUPS 163920 WITH SCORE 164682.362
AT ITER 1031 NEW BEST:: SOT 3096013 SOS 762362 HAS SOPS 760882 HAS SOUS 164041 HAS SOUPS 163893 WITH SCORE 164655.362
AT ITER 1034 NEW BEST:: SOT 3095863 SOS 762212 HAS SOPS 760732 HAS SOUS 163563 HAS SOUPS 163415 WITH SCORE 164177.212
AT ITER 1035 NEW BEST:: SOT 3095863 SOS 762212 HAS SOPS 760732 HAS SOUS 163463 HAS SOUPS 163315 WITH SCORE 164077.212
AT ITER 1039 NEW BEST:: SOT 3095730 SOS 762079 HAS SOPS 760599 HAS SOUS 163330 HAS SOUPS 163182 WITH SCORE 163944.079
AT ITER 1054 NEW BEST:: SOT 3095729 SOS 762073 HAS SOPS 760593 HAS SOUS 163238 HAS SOUPS 163090 WITH SCORE 163852.073
AT ITER 1057 NEW BEST:: SOT 3095503 SOS 761847 HAS SOPS 760367 HAS SOUS 163012 HAS SOUPS 162864 WITH SCORE 163625.847
AT ITER 1068 NEW BEST:: SOT 3094804 SOS 761148 HAS SOPS 759668 HAS SOUS 162943 HAS SOUPS 162795 WITH SCORE 163556.148
AT ITER 1071 NEW BEST:: SOT 3095264 SOS 761608 HAS SOPS 760128 HAS SOUS 162684 HAS SOUPS 162536 WITH SCORE 163297.608
AT ITER 1110 NEW BEST:: SOT 3095238 SOS 761582 HAS SOPS 760102 HAS SOUS 162657 HAS SOUPS 162509 WITH SCORE 163270.582
AT ITER 1113 NEW BEST:: SOT 3095238 SOS 761572 HAS SOPS 760092 HAS SOUS 162647 HAS SOUPS 162499 WITH SCORE 163260.572
AT ITER 1117 NEW BEST:: SOT 3095218 SOS 761552 HAS SOPS 760072 HAS SOUS 162607 HAS SOUPS 162459 WITH SCORE 163220.552
AT ITER 1120 NEW BEST:: SOT 3095208 SOS 761542 HAS SOPS 760062 HAS SOUS 162597 HAS SOUPS 162449 WITH SCORE 163210.542
AT ITER 1138 NEW BEST:: SOT 3095173 SOS 761507 HAS SOPS 760027 HAS SOUS 162562 HAS SOUPS 162414 WITH SCORE 163175.507
AT ITER 1142 NEW BEST:: SOT 3095130 SOS 761464 HAS SOPS 759984 HAS SOUS 162519 HAS SOUPS 162371 WITH SCORE 163132.464
AT ITER 1144 NEW BEST:: SOT 3094958 SOS 761292 HAS SOPS 759812 HAS SOUS 162292 HAS SOUPS 162144 WITH SCORE 162905.292
AT ITER 1152 NEW BEST:: SOT 3094946 SOS 761280 HAS SOPS 759800 HAS SOUS 162280 HAS SOUPS 162132 WITH SCORE 162893.28
AT ITER 1153 NEW BEST:: SOT 3094920 SOS 761254 HAS SOPS 759774 HAS SOUS 162241 HAS SOUPS 162093 WITH SCORE 162854.254
AT ITER 1162 NEW BEST:: SOT 3094920 SOS 761254 HAS SOPS 759774 HAS SOUS 162222 HAS SOUPS 162074 WITH SCORE 162835.254
AT ITER 1171 NEW BEST:: SOT 3094804 SOS 761202 HAS SOPS 759722 HAS SOUS 162115 HAS SOUPS 161967 WITH SCORE 162728.202
AT ITER 1206 NEW BEST:: SOT 3094804 SOS 761202 HAS SOPS 759722 HAS SOUS 162071 HAS SOUPS 161923 WITH SCORE 162684.202
AT ITER 1212 NEW BEST:: SOT 3095017 SOS 761415 HAS SOPS 759935 HAS SOUS 160563 HAS SOUPS 160415 WITH SCORE 161176.415
AT ITER 1216 NEW BEST:: SOT 3095021 SOS 761406 HAS SOPS 759926 HAS SOUS 160558 HAS SOUPS 160410 WITH SCORE 161171.406
AT ITER 1258 NEW BEST:: SOT 3095021 SOS 761406 HAS SOPS 759926 HAS SOUS 160382 HAS SOUPS 160234 WITH SCORE 160995.406
AT ITER 1267 NEW BEST:: SOT 3095118 SOS 761503 HAS SOPS 760023 HAS SOUS 160359 HAS SOUPS 160211 WITH SCORE 160972.503
AT ITER 1272 NEW BEST:: SOT 3095118 SOS 761503 HAS SOPS 760023 HAS SOUS 160353 HAS SOUPS 160205 WITH SCORE 160966.503
AT ITER 1277 NEW BEST:: SOT 3095132 SOS 761687 HAS SOPS 760207 HAS SOUS 160337 HAS SOUPS 160189 WITH SCORE 160950.687
AT ITER 1284 NEW BEST:: SOT 3095169 SOS 761724 HAS SOPS 760244 HAS SOUS 160138 HAS SOUPS 159990 WITH SCORE 160751.724
AT ITER 1292 NEW BEST:: SOT 3094939 SOS 761494 HAS SOPS 760014 HAS SOUS 159500 HAS SOUPS 159352 WITH SCORE 160113.494
AT ITER 1293 NEW BEST:: SOT 3094854 SOS 761409 HAS SOPS 759929 HAS SOUS 159415 HAS SOUPS 159267 WITH SCORE 160028.409
AT ITER 1303 NEW BEST:: SOT 3094745 SOS 761300 HAS SOPS 759820 HAS SOUS 158056 HAS SOUPS 157908 WITH SCORE 158669.3
AT ITER 1305 NEW BEST:: SOT 3094533 SOS 761088 HAS SOPS 759608 HAS SOUS 157844 HAS SOUPS 157696 WITH SCORE 158457.088
AT ITER 1306 NEW BEST:: SOT 3094463 SOS 761018 HAS SOPS 759538 HAS SOUS 157760 HAS SOUPS 157612 WITH SCORE 158373.018
AT ITER 1309 NEW BEST:: SOT 3094463 SOS 760986 HAS SOPS 759506 HAS SOUS 157732 HAS SOUPS 157584 WITH SCORE 158344.986
AT ITER 1310 NEW BEST:: SOT 3094452 SOS 760975 HAS SOPS 759495 HAS SOUS 157721 HAS SOUPS 157573 WITH SCORE 158333.975
AT ITER 1319 NEW BEST:: SOT 3094251 SOS 760774 HAS SOPS 759294 HAS SOUS 157328 HAS SOUPS 157180 WITH SCORE 157940.774
AT ITER 1326 NEW BEST:: SOT 3094215 SOS 760805 HAS SOPS 759325 HAS SOUS 157300 HAS SOUPS 157152 WITH SCORE 157912.805
AT ITER 1349 NEW BEST:: SOT 3094127 SOS 760757 HAS SOPS 759277 HAS SOUS 157244 HAS SOUPS 157096 WITH SCORE 157856.757
AT ITER 1355 NEW BEST:: SOT 3094348 SOS 760978 HAS SOPS 759498 HAS SOUS 156859 HAS SOUPS 156711 WITH SCORE 157471.978
AT ITER 1356 NEW BEST:: SOT 3094348 SOS 760978 HAS SOPS 759498 HAS SOUS 156824 HAS SOUPS 156676 WITH SCORE 157436.978
AT ITER 1357 NEW BEST:: SOT 2944405 SOS 877292 HAS SOPS 875812 HAS SOUS 149611 HAS SOUPS 149463 WITH SCORE 150340.292
AT ITER 1398 NEW BEST:: SOT 2944405 SOS 878092 HAS SOPS 876612 HAS SOUS 149521 HAS SOUPS 149373 WITH SCORE 150251.092
AT ITER 1400 NEW BEST:: SOT 2944254 SOS 877941 HAS SOPS 876461 HAS SOUS 149417 HAS SOUPS 149269 WITH SCORE 150146.941
AT ITER 1401 NEW BEST:: SOT 2944247 SOS 877934 HAS SOPS 876454 HAS SOUS 149347 HAS SOUPS 149199 WITH SCORE 150076.934
AT ITER 1430 NEW BEST:: SOT 2944206 SOS 877893 HAS SOPS 876413 HAS SOUS 149146 HAS SOUPS 148998 WITH SCORE 149875.893
AT ITER 1452 NEW BEST:: SOT 2943593 SOS 877280 HAS SOPS 875800 HAS SOUS 148533 HAS SOUPS 148385 WITH SCORE 149262.28
AT ITER 1456 NEW BEST:: SOT 2943581 SOS 828237 HAS SOPS 826757 HAS SOUS 148356 HAS SOUPS 148208 WITH SCORE 149036.237
AT ITER 1467 NEW BEST:: SOT 2943593 SOS 828267 HAS SOPS 826787 HAS SOUS 147662 HAS SOUPS 147514 WITH SCORE 148342.267
AT ITER 1489 NEW BEST:: SOT 2943554 SOS 828262 HAS SOPS 826782 HAS SOUS 147644 HAS SOUPS 147496 WITH SCORE 148324.262
AT ITER 1495 NEW BEST:: SOT 2943554 SOS 828248 HAS SOPS 826778 HAS SOUS 147621 HAS SOUPS 147473 WITH SCORE 148301.248
AT ITER 1496 NEW BEST:: SOT 2943521 SOS 828215 HAS SOPS 826745 HAS SOUS 147526 HAS SOUPS 147378 WITH SCORE 148206.215
AT ITER 1508 NEW BEST:: SOT 2943487 SOS 828181 HAS SOPS 826711 HAS SOUS 147412 HAS SOUPS 147264 WITH SCORE 148092.181
AT ITER 1517 NEW BEST:: SOT 2943371 SOS 828028 HAS SOPS 826558 HAS SOUS 147233 HAS SOUPS 147085 WITH SCORE 147913.028
AT ITER 1522 NEW BEST:: SOT 2943336 SOS 827993 HAS SOPS 826523 HAS SOUS 147136 HAS SOUPS 146988 WITH SCORE 147815.993
AT ITER 1531 NEW BEST:: SOT 2943306 SOS 827963 HAS SOPS 826493 HAS SOUS 147106 HAS SOUPS 146958 WITH SCORE 147785.963
AT ITER 1537 NEW BEST:: SOT 2943306 SOS 827963 HAS SOPS 826493 HAS SOUS 147085 HAS SOUPS 146937 WITH SCORE 147764.963
AT ITER 1557 NEW BEST:: SOT 2943468 SOS 828125 HAS SOPS 826655 HAS SOUS 146864 HAS SOUPS 146716 WITH SCORE 147544.125
AT ITER 1559 NEW BEST:: SOT 2943461 SOS 828118 HAS SOPS 826648 HAS SOUS 146857 HAS SOUPS 146709 WITH SCORE 147537.118
AT ITER 1572 NEW BEST:: SOT 2943424 SOS 804557 HAS SOPS 803087 HAS SOUS 146777 HAS SOUPS 146629 WITH SCORE 147433.557
AT ITER 1579 NEW BEST:: SOT 2943368 SOS 804501 HAS SOPS 803031 HAS SOUS 146721 HAS SOUPS 146573 WITH SCORE 147377.501
AT ITER 1580 NEW BEST:: SOT 2943266 SOS 804399 HAS SOPS 802929 HAS SOUS 146517 HAS SOUPS 146369 WITH SCORE 147173.399
AT ITER 1584 NEW BEST:: SOT 2943234 SOS 804367 HAS SOPS 802897 HAS SOUS 146285 HAS SOUPS 146137 WITH SCORE 146941.367
AT ITER 1585 NEW BEST:: SOT 2943234 SOS 804412 HAS SOPS 802942 HAS SOUS 146276 HAS SOUPS 146128 WITH SCORE 146932.412
AT ITER 1602 NEW BEST:: SOT 2943065 SOS 804243 HAS SOPS 802773 HAS SOUS 145925 HAS SOUPS 145777 WITH SCORE 146581.243
AT ITER 1613 NEW BEST:: SOT 2942975 SOS 803994 HAS SOPS 802524 HAS SOUS 145720 HAS SOUPS 145572 WITH SCORE 146375.994
AT ITER 1615 NEW BEST:: SOT 2942893 SOS 803912 HAS SOPS 802442 HAS SOUS 145602 HAS SOUPS 145454 WITH SCORE 146257.912
AT ITER 1616 NEW BEST:: SOT 2942881 SOS 803900 HAS SOPS 802430 HAS SOUS 145570 HAS SOUPS 145422 WITH SCORE 146225.9
AT ITER 1618 NEW BEST:: SOT 2942852 SOS 803871 HAS SOPS 802401 HAS SOUS 145541 HAS SOUPS 145393 WITH SCORE 146196.871
AT ITER 1619 NEW BEST:: SOT 2942852 SOS 803830 HAS SOPS 802360 HAS SOUS 145541 HAS SOUPS 145393 WITH SCORE 146196.83
AT ITER 1625 NEW BEST:: SOT 2942729 SOS 803707 HAS SOPS 802237 HAS SOUS 145400 HAS SOUPS 145252 WITH SCORE 146055.707
AT ITER 1638 NEW BEST:: SOT 2942698 SOS 803676 HAS SOPS 802206 HAS SOUS 145109 HAS SOUPS 144961 WITH SCORE 145764.676
AT ITER 1644 NEW BEST:: SOT 2942574 SOS 803552 HAS SOPS 802082 HAS SOUS 144873 HAS SOUPS 144725 WITH SCORE 145528.552
AT ITER 1657 NEW BEST:: SOT 2942599 SOS 803577 HAS SOPS 802107 HAS SOUS 144870 HAS SOUPS 144722 WITH SCORE 145525.577
AT ITER 1671 NEW BEST:: SOT 2942599 SOS 803577 HAS SOPS 802107 HAS SOUS 144838 HAS SOUPS 144690 WITH SCORE 145493.577
AT ITER 1698 NEW BEST:: SOT 2942562 SOS 803540 HAS SOPS 802070 HAS SOUS 144801 HAS SOUPS 144653 WITH SCORE 145456.54
AT ITER 1704 NEW BEST:: SOT 2942562 SOS 803540 HAS SOPS 802070 HAS SOUS 144738 HAS SOUPS 144590 WITH SCORE 145393.54
AT ITER 1718 NEW BEST:: SOT 2942555 SOS 803533 HAS SOPS 802063 HAS SOUS 144668 HAS SOUPS 144520 WITH SCORE 145323.533
AT ITER 1721 NEW BEST:: SOT 2942435 SOS 803413 HAS SOPS 801943 HAS SOUS 144548 HAS SOUPS 144400 WITH SCORE 145203.413
AT ITER 1723 NEW BEST:: SOT 2942423 SOS 803401 HAS SOPS 801931 HAS SOUS 144534 HAS SOUPS 144386 WITH SCORE 145189.401
AT ITER 1725 NEW BEST:: SOT 2942423 SOS 803401 HAS SOPS 801931 HAS SOUS 144438 HAS SOUPS 144290 WITH SCORE 145093.401
AT ITER 1735 NEW BEST:: SOT 2942464 SOS 803442 HAS SOPS 801972 HAS SOUS 144196 HAS SOUPS 144048 WITH SCORE 144851.442
AT ITER 1739 NEW BEST:: SOT 2942468 SOS 803446 HAS SOPS 801976 HAS SOUS 144184 HAS SOUPS 144036 WITH SCORE 144839.446
AT ITER 1761 NEW BEST:: SOT 2942462 SOS 803440 HAS SOPS 801970 HAS SOUS 144148 HAS SOUPS 144000 WITH SCORE 144803.44
AT ITER 1769 NEW BEST:: SOT 2942430 SOS 803408 HAS SOPS 801938 HAS SOUS 144116 HAS SOUPS 143968 WITH SCORE 144771.408
AT ITER 1770 NEW BEST:: SOT 2942430 SOS 803281 HAS SOPS 801811 HAS SOUS 144045 HAS SOUPS 143897 WITH SCORE 144700.281
AT ITER 1777 NEW BEST:: SOT 2942296 SOS 803147 HAS SOPS 801677 HAS SOUS 143752 HAS SOUPS 143604 WITH SCORE 144407.147
AT ITER 1802 NEW BEST:: SOT 2942178 SOS 803029 HAS SOPS 801559 HAS SOUS 143526 HAS SOUPS 143378 WITH SCORE 144181.029
AT ITER 1806 NEW BEST:: SOT 2942156 SOS 803007 HAS SOPS 801537 HAS SOUS 143472 HAS SOUPS 143324 WITH SCORE 144127.007
AT ITER 1827 NEW BEST:: SOT 2942130 SOS 802981 HAS SOPS 801511 HAS SOUS 143342 HAS SOUPS 143194 WITH SCORE 143996.981
AT ITER 1836 NEW BEST:: SOT 2941985 SOS 802836 HAS SOPS 801366 HAS SOUS 143091 HAS SOUPS 142943 WITH SCORE 143745.836
AT ITER 1845 NEW BEST:: SOT 2941856 SOS 802707 HAS SOPS 801237 HAS SOUS 141250 HAS SOUPS 141102 WITH SCORE 141904.707
AT ITER 1856 NEW BEST:: SOT 2941852 SOS 802703 HAS SOPS 801233 HAS SOUS 141241 HAS SOUPS 141093 WITH SCORE 141895.703
AT ITER 1877 NEW BEST:: SOT 2941784 SOS 802635 HAS SOPS 801165 HAS SOUS 140548 HAS SOUPS 140400 WITH SCORE 141202.635
AT ITER 1878 NEW BEST:: SOT 2941779 SOS 802630 HAS SOPS 801160 HAS SOUS 140503 HAS SOUPS 140355 WITH SCORE 141157.63
AT ITER 1880 NEW BEST:: SOT 2941552 SOS 802403 HAS SOPS 800933 HAS SOUS 140144 HAS SOUPS 139996 WITH SCORE 140798.403
AT ITER 1881 NEW BEST:: SOT 2941528 SOS 802379 HAS SOPS 800909 HAS SOUS 140139 HAS SOUPS 139991 WITH SCORE 140793.379
AT ITER 1886 NEW BEST:: SOT 2941516 SOS 802367 HAS SOPS 800897 HAS SOUS 140127 HAS SOUPS 139979 WITH SCORE 140781.367
AT ITER 1894 NEW BEST:: SOT 2941467 SOS 802318 HAS SOPS 800848 HAS SOUS 139950 HAS SOUPS 139802 WITH SCORE 140604.318
AT ITER 1895 NEW BEST:: SOT 2941602 SOS 802453 HAS SOPS 800983 HAS SOUS 139810 HAS SOUPS 139662 WITH SCORE 140464.453
AT ITER 1922 NEW BEST:: SOT 2941529 SOS 802448 HAS SOPS 800978 HAS SOUS 139688 HAS SOUPS 139540 WITH SCORE 140342.448
AT ITER 1931 NEW BEST:: SOT 2941529 SOS 802448 HAS SOPS 800978 HAS SOUS 139684 HAS SOUPS 139536 WITH SCORE 140338.448
AT ITER 1966 NEW BEST:: SOT 2941737 SOS 802656 HAS SOPS 801186 HAS SOUS 138633 HAS SOUPS 138485 WITH SCORE 139287.656
AT ITER 1973 NEW BEST:: SOT 2941656 SOS 802575 HAS SOPS 801105 HAS SOUS 138552 HAS SOUPS 138404 WITH SCORE 139206.575
AT ITER 1974 NEW BEST:: SOT 2941913 SOS 802832 HAS SOPS 801362 HAS SOUS 138545 HAS SOUPS 138397 WITH SCORE 139199.832
AT ITER 1988 NEW BEST:: SOT 2941874 SOS 802793 HAS SOPS 801323 HAS SOUS 138467 HAS SOUPS 138319 WITH SCORE 139121.793
AT ITER 1996 NEW BEST:: SOT 2942413 SOS 803332 HAS SOPS 801862 HAS SOUS 138314 HAS SOUPS 138166 WITH SCORE 138969.332
AT ITER 2005 NEW BEST:: SOT 2942403 SOS 803380 HAS SOPS 801910 HAS SOUS 138311 HAS SOUPS 138163 WITH SCORE 138966.38
AT ITER 2011 NEW BEST:: SOT 2942403 SOS 803380 HAS SOPS 801910 HAS SOUS 138205 HAS SOUPS 138057 WITH SCORE 138860.38
AT ITER 2017 NEW BEST:: SOT 2942243 SOS 803220 HAS SOPS 801750 HAS SOUS 137872 HAS SOUPS 137724 WITH SCORE 138527.22
AT ITER 2029 NEW BEST:: SOT 2942237 SOS 803214 HAS SOPS 801744 HAS SOUS 137860 HAS SOUPS 137712 WITH SCORE 138515.214
AT ITER 2037 NEW BEST:: SOT 2942237 SOS 803214 HAS SOPS 801744 HAS SOUS 137821 HAS SOUPS 137673 WITH SCORE 138476.214
AT ITER 2058 NEW BEST:: SOT 2942068 SOS 803045 HAS SOPS 801575 HAS SOUS 137652 HAS SOUPS 137504 WITH SCORE 138307.045
AT ITER 2076 NEW BEST:: SOT 2942465 SOS 803442 HAS SOPS 801972 HAS SOUS 137272 HAS SOUPS 137124 WITH SCORE 137927.442
AT ITER 2082 NEW BEST:: SOT 2942454 SOS 803431 HAS SOPS 801961 HAS SOUS 137261 HAS SOUPS 137113 WITH SCORE 137916.431
AT ITER 2087 NEW BEST:: SOT 2942450 SOS 803427 HAS SOPS 801957 HAS SOUS 137179 HAS SOUPS 137031 WITH SCORE 137834.427
AT ITER 2088 NEW BEST:: SOT 2942439 SOS 803604 HAS SOPS 802134 HAS SOUS 136990 HAS SOUPS 136842 WITH SCORE 137645.604
AT ITER 2122 NEW BEST:: SOT 2942439 SOS 803604 HAS SOPS 802134 HAS SOUS 136892 HAS SOUPS 136744 WITH SCORE 137547.604
AT ITER 2131 NEW BEST:: SOT 2942389 SOS 803554 HAS SOPS 802084 HAS SOUS 136842 HAS SOUPS 136694 WITH SCORE 137497.554
AT ITER 2143 NEW BEST:: SOT 2942045 SOS 803210 HAS SOPS 801740 HAS SOUS 136124 HAS SOUPS 135976 WITH SCORE 136779.21
AT ITER 2144 NEW BEST:: SOT 2942027 SOS 803192 HAS SOPS 801722 HAS SOUS 136124 HAS SOUPS 135976 WITH SCORE 136779.192
AT ITER 2159 NEW BEST:: SOT 2942045 SOS 803215 HAS SOPS 801745 HAS SOUS 136095 HAS SOUPS 135947 WITH SCORE 136750.215
AT ITER 2167 NEW BEST:: SOT 2942025 SOS 803195 HAS SOPS 801725 HAS SOUS 136075 HAS SOUPS 135927 WITH SCORE 136730.195
AT ITER 2177 NEW BEST:: SOT 2941951 SOS 803121 HAS SOPS 801651 HAS SOUS 135970 HAS SOUPS 135822 WITH SCORE 136625.121
AT ITER 2198 NEW BEST:: SOT 2941874 SOS 803044 HAS SOPS 801574 HAS SOUS 135850 HAS SOUPS 135702 WITH SCORE 136505.044
AT ITER 2200 NEW BEST:: SOT 2941907 SOS 803077 HAS SOPS 801607 HAS SOUS 135412 HAS SOUPS 135264 WITH SCORE 136067.077
AT ITER 2209 NEW BEST:: SOT 2941907 SOS 803077 HAS SOPS 801607 HAS SOUS 135400 HAS SOUPS 135252 WITH SCORE 136055.077
AT ITER 2219 NEW BEST:: SOT 2941863 SOS 803033 HAS SOPS 801563 HAS SOUS 135356 HAS SOUPS 135208 WITH SCORE 136011.033
AT ITER 2222 NEW BEST:: SOT 2941922 SOS 803092 HAS SOPS 801622 HAS SOUS 134313 HAS SOUPS 134165 WITH SCORE 134968.092
AT ITER 2250 NEW BEST:: SOT 2941916 SOS 789254 HAS SOPS 787784 HAS SOUS 134250 HAS SOUPS 134102 WITH SCORE 134891.254
AT ITER 2255 NEW BEST:: SOT 2941889 SOS 789227 HAS SOPS 787757 HAS SOUS 134223 HAS SOUPS 134075 WITH SCORE 134864.227
AT ITER 2268 NEW BEST:: SOT 2941660 SOS 788998 HAS SOPS 787528 HAS SOUS 133797 HAS SOUPS 133649 WITH SCORE 134437.998
AT ITER 2274 NEW BEST:: SOT 2941609 SOS 788947 HAS SOPS 787477 HAS SOUS 133746 HAS SOUPS 133598 WITH SCORE 134386.947
AT ITER 2280 NEW BEST:: SOT 2941667 SOS 789005 HAS SOPS 787535 HAS SOUS 133484 HAS SOUPS 133336 WITH SCORE 134125.005
AT ITER 2292 NEW BEST:: SOT 2941667 SOS 789002 HAS SOPS 787532 HAS SOUS 133480 HAS SOUPS 133332 WITH SCORE 134121.002
AT ITER 2326 NEW BEST:: SOT 2941664 SOS 788999 HAS SOPS 787529 HAS SOUS 133477 HAS SOUPS 133329 WITH SCORE 134117.999
AT ITER 2338 NEW BEST:: SOT 2941670 SOS 789005 HAS SOPS 787535 HAS SOUS 133423 HAS SOUPS 133275 WITH SCORE 134064.005
AT ITER 2372 NEW BEST:: SOT 2941670 SOS 789005 HAS SOPS 787535 HAS SOUS 133350 HAS SOUPS 133202 WITH SCORE 133991.005
AT ITER 2390 NEW BEST:: SOT 2941670 SOS 789005 HAS SOPS 787535 HAS SOUS 133348 HAS SOUPS 133200 WITH SCORE 133989.005
AT ITER 2391 NEW BEST:: SOT 2941800 SOS 789135 HAS SOPS 787665 HAS SOUS 133315 HAS SOUPS 133167 WITH SCORE 133956.135
AT ITER 2401 NEW BEST:: SOT 2941794 SOS 789129 HAS SOPS 787659 HAS SOUS 133276 HAS SOUPS 133128 WITH SCORE 133917.129
AT ITER 2416 NEW BEST:: SOT 2941794 SOS 789210 HAS SOPS 787740 HAS SOUS 133266 HAS SOUPS 133118 WITH SCORE 133907.21
AT ITER 2424 NEW BEST:: SOT 2941801 SOS 789217 HAS SOPS 787747 HAS SOUS 133248 HAS SOUPS 133100 WITH SCORE 133889.217
AT ITER 2425 NEW BEST:: SOT 2941750 SOS 789166 HAS SOPS 787696 HAS SOUS 133173 HAS SOUPS 133025 WITH SCORE 133814.166
AT ITER 2429 NEW BEST:: SOT 2941746 SOS 789162 HAS SOPS 787692 HAS SOUS 133169 HAS SOUPS 133021 WITH SCORE 133810.162
AT ITER 2436 NEW BEST:: SOT 2941746 SOS 789162 HAS SOPS 787692 HAS SOUS 133100 HAS SOUPS 132952 WITH SCORE 133741.162
AT ITER 2447 NEW BEST:: SOT 2941734 SOS 789146 HAS SOPS 787676 HAS SOUS 133084 HAS SOUPS 132936 WITH SCORE 133725.146
AT ITER 2515 NEW BEST:: SOT 2941764 SOS 789176 HAS SOPS 787706 HAS SOUS 133083 HAS SOUPS 132935 WITH SCORE 133724.176
AT ITER 2519 NEW BEST:: SOT 2941751 SOS 789163 HAS SOPS 787693 HAS SOUS 133070 HAS SOUPS 132922 WITH SCORE 133711.163
AT ITER 2522 NEW BEST:: SOT 2941750 SOS 789162 HAS SOPS 787692 HAS SOUS 133069 HAS SOUPS 132921 WITH SCORE 133710.162
AT ITER 2534 NEW BEST:: SOT 2941637 SOS 789049 HAS SOPS 787579 HAS SOUS 132956 HAS SOUPS 132808 WITH SCORE 133597.049
AT ITER 2541 NEW BEST:: SOT 2941629 SOS 789041 HAS SOPS 787571 HAS SOUS 132948 HAS SOUPS 132800 WITH SCORE 133589.041
AT ITER 2543 NEW BEST:: SOT 2941563 SOS 788975 HAS SOPS 787505 HAS SOUS 132510 HAS SOUPS 132362 WITH SCORE 133150.975
AT ITER 2556 NEW BEST:: SOT 2941515 SOS 788933 HAS SOPS 787463 HAS SOUS 132374 HAS SOUPS 132226 WITH SCORE 133014.933
AT ITER 2569 NEW BEST:: SOT 2941476 SOS 788935 HAS SOPS 787465 HAS SOUS 132334 HAS SOUPS 132186 WITH SCORE 132974.935
AT ITER 2579 NEW BEST:: SOT 2941458 SOS 788917 HAS SOPS 787447 HAS SOUS 132316 HAS SOUPS 132168 WITH SCORE 132956.917
AT ITER 2589 NEW BEST:: SOT 2941439 SOS 788898 HAS SOPS 787428 HAS SOUS 131958 HAS SOUPS 131810 WITH SCORE 132598.898
AT ITER 2592 NEW BEST:: SOT 2941296 SOS 788755 HAS SOPS 787285 HAS SOUS 131754 HAS SOUPS 131606 WITH SCORE 132394.755
AT ITER 2593 NEW BEST:: SOT 2941321 SOS 788780 HAS SOPS 787310 HAS SOUS 131676 HAS SOUPS 131528 WITH SCORE 132316.78
AT ITER 2594 NEW BEST:: SOT 2941309 SOS 788768 HAS SOPS 787298 HAS SOUS 131664 HAS SOUPS 131516 WITH SCORE 132304.768
AT ITER 2603 NEW BEST:: SOT 2941307 SOS 788766 HAS SOPS 787296 HAS SOUS 131662 HAS SOUPS 131514 WITH SCORE 132302.766
AT ITER 2604 NEW BEST:: SOT 2941307 SOS 788733 HAS SOPS 787263 HAS SOUS 131629 HAS SOUPS 131481 WITH SCORE 132269.733
AT ITER 2618 NEW BEST:: SOT 2941307 SOS 788720 HAS SOPS 787250 HAS SOUS 131626 HAS SOUPS 131478 WITH SCORE 132266.72
AT ITER 2619 NEW BEST:: SOT 2940769 SOS 788182 HAS SOPS 786712 HAS SOUS 131088 HAS SOUPS 130940 WITH SCORE 131728.182
AT ITER 2626 NEW BEST:: SOT 2940780 SOS 788181 HAS SOPS 786711 HAS SOUS 131086 HAS SOUPS 130938 WITH SCORE 131726.181
AT ITER 2627 NEW BEST:: SOT 2940744 SOS 788145 HAS SOPS 786675 HAS SOUS 131032 HAS SOUPS 130884 WITH SCORE 131672.145
AT ITER 2641 NEW BEST:: SOT 2940708 SOS 788109 HAS SOPS 786639 HAS SOUS 130987 HAS SOUPS 130839 WITH SCORE 131627.109
AT ITER 2645 NEW BEST:: SOT 2940723 SOS 788124 HAS SOPS 786654 HAS SOUS 130909 HAS SOUPS 130761 WITH SCORE 131549.124
AT ITER 2659 NEW BEST:: SOT 2939533 SOS 792186 HAS SOPS 790716 HAS SOUS 129710 HAS SOUPS 129562 WITH SCORE 130354.186
AT ITER 2662 NEW BEST:: SOT 2939434 SOS 792087 HAS SOPS 790617 HAS SOUS 129611 HAS SOUPS 129463 WITH SCORE 130255.087
AT ITER 2666 NEW BEST:: SOT 2939429 SOS 792082 HAS SOPS 790612 HAS SOUS 129601 HAS SOUPS 129453 WITH SCORE 130245.082
AT ITER 2668 NEW BEST:: SOT 2939412 SOS 792065 HAS SOPS 790595 HAS SOUS 129584 HAS SOUPS 129436 WITH SCORE 130228.065
AT ITER 2671 NEW BEST:: SOT 2939361 SOS 792076 HAS SOPS 790606 HAS SOUS 129533 HAS SOUPS 129385 WITH SCORE 130177.076
AT ITER 2687 NEW BEST:: SOT 2928784 SOS 941846 HAS SOPS 940495 HAS SOUS 129020 HAS SOUPS 128872 WITH SCORE 129813.846
AT ITER 2701 NEW BEST:: SOT 2928851 SOS 941913 HAS SOPS 940562 HAS SOUS 128994 HAS SOUPS 128846 WITH SCORE 129787.913
AT ITER 2705 NEW BEST:: SOT 2928851 SOS 941913 HAS SOPS 940562 HAS SOUS 128704 HAS SOUPS 128556 WITH SCORE 129497.913
AT ITER 2707 NEW BEST:: SOT 2928814 SOS 941876 HAS SOPS 940525 HAS SOUS 128602 HAS SOUPS 128454 WITH SCORE 129395.876
AT ITER 2710 NEW BEST:: SOT 2928682 SOS 941744 HAS SOPS 940393 HAS SOUS 128536 HAS SOUPS 128388 WITH SCORE 129329.744
AT ITER 2722 NEW BEST:: SOT 2928763 SOS 781478 HAS SOPS 780041 HAS SOUS 128387 HAS SOUPS 128239 WITH SCORE 129020.478
AT ITER 2747 NEW BEST:: SOT 2928978 SOS 781693 HAS SOPS 780256 HAS SOUS 128140 HAS SOUPS 127992 WITH SCORE 128773.693
AT ITER 2761 NEW BEST:: SOT 2928978 SOS 781681 HAS SOPS 780244 HAS SOUS 128104 HAS SOUPS 127956 WITH SCORE 128737.681
AT ITER 2783 NEW BEST:: SOT 2928948 SOS 781651 HAS SOPS 780214 HAS SOUS 127804 HAS SOUPS 127656 WITH SCORE 128437.651
AT ITER 2793 NEW BEST:: SOT 2928948 SOS 781651 HAS SOPS 780214 HAS SOUS 127773 HAS SOUPS 127625 WITH SCORE 128406.651
AT ITER 2794 NEW BEST:: SOT 2928878 SOS 781581 HAS SOPS 780144 HAS SOUS 127664 HAS SOUPS 127516 WITH SCORE 128297.581
AT ITER 2803 NEW BEST:: SOT 2928882 SOS 781667 HAS SOPS 780230 HAS SOUS 127591 HAS SOUPS 127443 WITH SCORE 128224.667
AT ITER 2821 NEW BEST:: SOT 2928547 SOS 781332 HAS SOPS 779895 HAS SOUS 127550 HAS SOUPS 127402 WITH SCORE 128183.332
AT ITER 2822 NEW BEST:: SOT 2928351 SOS 781136 HAS SOPS 779699 HAS SOUS 127354 HAS SOUPS 127206 WITH SCORE 127987.136
AT ITER 2839 NEW BEST:: SOT 2928345 SOS 781130 HAS SOPS 779693 HAS SOUS 127348 HAS SOUPS 127200 WITH SCORE 127981.13
AT ITER 2840 NEW BEST:: SOT 2928416 SOS 781201 HAS SOPS 779764 HAS SOUS 126815 HAS SOUPS 126667 WITH SCORE 127448.201
AT ITER 2841 NEW BEST:: SOT 2928312 SOS 781097 HAS SOPS 779660 HAS SOUS 126659 HAS SOUPS 126511 WITH SCORE 127292.097
AT ITER 2851 NEW BEST:: SOT 2928201 SOS 780986 HAS SOPS 779549 HAS SOUS 126492 HAS SOUPS 126344 WITH SCORE 127124.986
AT ITER 2854 NEW BEST:: SOT 2928178 SOS 780907 HAS SOPS 779470 HAS SOUS 126492 HAS SOUPS 126344 WITH SCORE 127124.907
AT ITER 2857 NEW BEST:: SOT 2928160 SOS 780889 HAS SOPS 779452 HAS SOUS 126474 HAS SOUPS 126326 WITH SCORE 127106.889
AT ITER 2879 NEW BEST:: SOT 2928160 SOS 618737 HAS SOPS 617300 HAS SOUS 126289 HAS SOUPS 126141 WITH SCORE 126759.737
AT ITER 2883 NEW BEST:: SOT 2927908 SOS 618485 HAS SOPS 617048 HAS SOUS 125893 HAS SOUPS 125745 WITH SCORE 126363.485
AT ITER 2886 NEW BEST:: SOT 2927901 SOS 618478 HAS SOPS 617041 HAS SOUS 125850 HAS SOUPS 125702 WITH SCORE 126320.478
AT ITER 2895 NEW BEST:: SOT 2927873 SOS 618505 HAS SOPS 617068 HAS SOUS 125820 HAS SOUPS 125672 WITH SCORE 126290.505
AT ITER 2896 NEW BEST:: SOT 2927850 SOS 618482 HAS SOPS 617045 HAS SOUS 125797 HAS SOUPS 125649 WITH SCORE 126267.482
AT ITER 2902 NEW BEST:: SOT 2927848 SOS 618480 HAS SOPS 617043 HAS SOUS 125795 HAS SOUPS 125647 WITH SCORE 126265.48
AT ITER 2960 NEW BEST:: SOT 2927813 SOS 618445 HAS SOPS 617008 HAS SOUS 125760 HAS SOUPS 125612 WITH SCORE 126230.445
AT ITER 2965 NEW BEST:: SOT 2927799 SOS 618431 HAS SOPS 616994 HAS SOUS 125746 HAS SOUPS 125598 WITH SCORE 126216.431
AT ITER 2966 NEW BEST:: SOT 2927789 SOS 618421 HAS SOPS 616984 HAS SOUS 125736 HAS SOUPS 125588 WITH SCORE 126206.421
AT ITER 3006 NEW BEST:: SOT 2927772 SOS 618404 HAS SOPS 616967 HAS SOUS 125719 HAS SOUPS 125571 WITH SCORE 126189.404
AT ITER 3009 NEW BEST:: SOT 2927743 SOS 618375 HAS SOPS 616938 HAS SOUS 125690 HAS SOUPS 125542 WITH SCORE 126160.375
AT ITER 3010 NEW BEST:: SOT 2927736 SOS 618368 HAS SOPS 616931 HAS SOUS 125690 HAS SOUPS 125542 WITH SCORE 126160.368
AT ITER 3027 NEW BEST:: SOT 2927694 SOS 618357 HAS SOPS 616920 HAS SOUS 125679 HAS SOUPS 125531 WITH SCORE 126149.357
AT ITER 3045 NEW BEST:: SOT 2927675 SOS 618338 HAS SOPS 616901 HAS SOUS 125660 HAS SOUPS 125512 WITH SCORE 126130.338
AT ITER 3069 NEW BEST:: SOT 2927518 SOS 618181 HAS SOPS 616744 HAS SOUS 125423 HAS SOUPS 125275 WITH SCORE 125893.181
AT ITER 3100 NEW BEST:: SOT 2927720 SOS 618383 HAS SOPS 616946 HAS SOUS 125355 HAS SOUPS 125207 WITH SCORE 125825.383
AT ITER 3103 NEW BEST:: SOT 2927644 SOS 618307 HAS SOPS 616870 HAS SOUS 125088 HAS SOUPS 124940 WITH SCORE 125558.307
AT ITER 3122 NEW BEST:: SOT 2927599 SOS 618259 HAS SOPS 616822 HAS SOUS 125028 HAS SOUPS 124880 WITH SCORE 125498.259
AT ITER 3144 NEW BEST:: SOT 2927598 SOS 618258 HAS SOPS 616821 HAS SOUS 125027 HAS SOUPS 124879 WITH SCORE 125497.258
AT ITER 3165 NEW BEST:: SOT 2927615 SOS 618275 HAS SOPS 616838 HAS SOUS 125007 HAS SOUPS 124859 WITH SCORE 125477.275
AT ITER 3198 NEW BEST:: SOT 2927602 SOS 618262 HAS SOPS 616825 HAS SOUS 124994 HAS SOUPS 124846 WITH SCORE 125464.262
AT ITER 3199 NEW BEST:: SOT 2927561 SOS 618221 HAS SOPS 616784 HAS SOUS 124456 HAS SOUPS 124308 WITH SCORE 124926.221
AT ITER 3209 NEW BEST:: SOT 2927528 SOS 618188 HAS SOPS 616751 HAS SOUS 124411 HAS SOUPS 124263 WITH SCORE 124881.188
AT ITER 3239 NEW BEST:: SOT 2927405 SOS 618065 HAS SOPS 616628 HAS SOUS 124292 HAS SOUPS 124144 WITH SCORE 124762.065
AT ITER 3244 NEW BEST:: SOT 2927580 SOS 618240 HAS SOPS 616803 HAS SOUS 123933 HAS SOUPS 123785 WITH SCORE 124403.24
AT ITER 3252 NEW BEST:: SOT 2927685 SOS 618345 HAS SOPS 616908 HAS SOUS 123105 HAS SOUPS 122957 WITH SCORE 123575.345
AT ITER 3258 NEW BEST:: SOT 2927677 SOS 618337 HAS SOPS 616900 HAS SOUS 123097 HAS SOUPS 122949 WITH SCORE 123567.337
AT ITER 3266 NEW BEST:: SOT 2927646 SOS 618306 HAS SOPS 616869 HAS SOUS 123066 HAS SOUPS 122918 WITH SCORE 123536.306
AT ITER 3267 NEW BEST:: SOT 2927635 SOS 618295 HAS SOPS 616858 HAS SOUS 123034 HAS SOUPS 122886 WITH SCORE 123504.295
AT ITER 3278 NEW BEST:: SOT 2927522 SOS 618156 HAS SOPS 616719 HAS SOUS 122921 HAS SOUPS 122773 WITH SCORE 123391.156
AT ITER 3300 NEW BEST:: SOT 2927575 SOS 618209 HAS SOPS 616772 HAS SOUS 122866 HAS SOUPS 122718 WITH SCORE 123336.209
AT ITER 3304 NEW BEST:: SOT 2927580 SOS 618222 HAS SOPS 616785 HAS SOUS 122862 HAS SOUPS 122714 WITH SCORE 123332.222
AT ITER 3305 NEW BEST:: SOT 2927580 SOS 618222 HAS SOPS 616785 HAS SOUS 122858 HAS SOUPS 122710 WITH SCORE 123328.222
AT ITER 3318 NEW BEST:: SOT 2927576 SOS 618218 HAS SOPS 616781 HAS SOUS 122854 HAS SOUPS 122706 WITH SCORE 123324.218
AT ITER 3320 NEW BEST:: SOT 2928444 SOS 619086 HAS SOPS 617649 HAS SOUS 122826 HAS SOUPS 122678 WITH SCORE 123297.086
AT ITER 3321 NEW BEST:: SOT 2928256 SOS 618898 HAS SOPS 617461 HAS SOUS 122638 HAS SOUPS 122490 WITH SCORE 123108.898
AT ITER 3323 NEW BEST:: SOT 2928256 SOS 618706 HAS SOPS 617269 HAS SOUS 122638 HAS SOUPS 122490 WITH SCORE 123108.706
AT ITER 3327 NEW BEST:: SOT 2928252 SOS 618702 HAS SOPS 617265 HAS SOUS 122634 HAS SOUPS 122486 WITH SCORE 123104.702
AT ITER 3340 NEW BEST:: SOT 2928209 SOS 618659 HAS SOPS 617222 HAS SOUS 122546 HAS SOUPS 122398 WITH SCORE 123016.659
AT ITER 3347 NEW BEST:: SOT 2928197 SOS 618647 HAS SOPS 617210 HAS SOUS 122434 HAS SOUPS 122286 WITH SCORE 122904.647
AT ITER 3348 NEW BEST:: SOT 2928177 SOS 618627 HAS SOPS 617190 HAS SOUS 122414 HAS SOUPS 122266 WITH SCORE 122884.627
AT ITER 3350 NEW BEST:: SOT 2928177 SOS 618484 HAS SOPS 617177 HAS SOUS 122401 HAS SOUPS 122266 WITH SCORE 122884.484
AT ITER 3352 NEW BEST:: SOT 2928174 SOS 618481 HAS SOPS 617174 HAS SOUS 122392 HAS SOUPS 122257 WITH SCORE 122875.481
AT ITER 3377 NEW BEST:: SOT 2928147 SOS 618454 HAS SOPS 617147 HAS SOUS 122365 HAS SOUPS 122230 WITH SCORE 122848.454
AT ITER 3397 NEW BEST:: SOT 2928147 SOS 618454 HAS SOPS 617147 HAS SOUS 122352 HAS SOUPS 122217 WITH SCORE 122835.454
AT ITER 3409 NEW BEST:: SOT 2928147 SOS 618454 HAS SOPS 617147 HAS SOUS 122321 HAS SOUPS 122186 WITH SCORE 122804.454
AT ITER 3425 NEW BEST:: SOT 2928122 SOS 618429 HAS SOPS 617122 HAS SOUS 122296 HAS SOUPS 122161 WITH SCORE 122779.429
AT ITER 3441 NEW BEST:: SOT 2928226 SOS 618487 HAS SOPS 617180 HAS SOUS 122218 HAS SOUPS 122083 WITH SCORE 122701.487
AT ITER 3451 NEW BEST:: SOT 2928228 SOS 618489 HAS SOPS 617182 HAS SOUS 122202 HAS SOUPS 122067 WITH SCORE 122685.489
AT ITER 3452 NEW BEST:: SOT 2928228 SOS 618439 HAS SOPS 617132 HAS SOUS 122202 HAS SOUPS 122067 WITH SCORE 122685.439
AT ITER 3462 NEW BEST:: SOT 2928345 SOS 618556 HAS SOPS 617249 HAS SOUS 122109 HAS SOUPS 121974 WITH SCORE 122592.556
AT ITER 3468 NEW BEST:: SOT 2928363 SOS 618574 HAS SOPS 617267 HAS SOUS 122085 HAS SOUPS 121950 WITH SCORE 122568.574
AT ITER 3472 NEW BEST:: SOT 2928219 SOS 618430 HAS SOPS 617123 HAS SOUS 121872 HAS SOUPS 121737 WITH SCORE 122355.43
AT ITER 3497 NEW BEST:: SOT 2928259 SOS 618474 HAS SOPS 617167 HAS SOUS 121804 HAS SOUPS 121669 WITH SCORE 122287.474
AT ITER 3518 NEW BEST:: SOT 2928480 SOS 618695 HAS SOPS 617388 HAS SOUS 121677 HAS SOUPS 121542 WITH SCORE 122160.695
AT ITER 3524 NEW BEST:: SOT 2928479 SOS 618694 HAS SOPS 617387 HAS SOUS 121676 HAS SOUPS 121541 WITH SCORE 122159.694
AT ITER 3531 NEW BEST:: SOT 2928485 SOS 618655 HAS SOPS 617348 HAS SOUS 121557 HAS SOUPS 121422 WITH SCORE 122040.655
AT ITER 3535 NEW BEST:: SOT 2928365 SOS 618535 HAS SOPS 617228 HAS SOUS 121435 HAS SOUPS 121300 WITH SCORE 121918.535
AT ITER 3539 NEW BEST:: SOT 2928365 SOS 618535 HAS SOPS 617228 HAS SOUS 121388 HAS SOUPS 121253 WITH SCORE 121871.535
AT ITER 3589 NEW BEST:: SOT 2928512 SOS 618682 HAS SOPS 617375 HAS SOUS 121177 HAS SOUPS 121042 WITH SCORE 121660.682
AT ITER 3595 NEW BEST:: SOT 2928460 SOS 618630 HAS SOPS 617323 HAS SOUS 121081 HAS SOUPS 120946 WITH SCORE 121564.63
AT ITER 3600 NEW BEST:: SOT 2928483 SOS 618653 HAS SOPS 617346 HAS SOUS 120320 HAS SOUPS 120185 WITH SCORE 120803.653
AT ITER 3602 NEW BEST:: SOT 2928433 SOS 618414 HAS SOPS 617107 HAS SOUS 120177 HAS SOUPS 120042 WITH SCORE 120660.414
AT ITER 3609 NEW BEST:: SOT 2928422 SOS 618403 HAS SOPS 617096 HAS SOUS 120166 HAS SOUPS 120031 WITH SCORE 120649.403
AT ITER 3615 NEW BEST:: SOT 2928418 SOS 618399 HAS SOPS 617092 HAS SOUS 120157 HAS SOUPS 120022 WITH SCORE 120640.399
AT ITER 3634 NEW BEST:: SOT 2928272 SOS 618253 HAS SOPS 616946 HAS SOUS 119851 HAS SOUPS 119716 WITH SCORE 120334.253
AT ITER 3663 NEW BEST:: SOT 2928272 SOS 618253 HAS SOPS 616946 HAS SOUS 118826 HAS SOUPS 118691 WITH SCORE 119309.253
AT ITER 3665 NEW BEST:: SOT 2928188 SOS 618169 HAS SOPS 616862 HAS SOUS 118674 HAS SOUPS 118539 WITH SCORE 119157.169
AT ITER 3686 NEW BEST:: SOT 2928063 SOS 618044 HAS SOPS 616737 HAS SOUS 118422 HAS SOUPS 118287 WITH SCORE 118905.044
AT ITER 3695 NEW BEST:: SOT 2928077 SOS 618058 HAS SOPS 616751 HAS SOUS 118343 HAS SOUPS 118208 WITH SCORE 118826.058
AT ITER 3711 NEW BEST:: SOT 2928126 SOS 618107 HAS SOPS 616800 HAS SOUS 118279 HAS SOUPS 118144 WITH SCORE 118762.107
AT ITER 3716 NEW BEST:: SOT 2928094 SOS 618075 HAS SOPS 616768 HAS SOUS 118239 HAS SOUPS 118104 WITH SCORE 118722.075
AT ITER 3718 NEW BEST:: SOT 2927982 SOS 617963 HAS SOPS 616656 HAS SOUS 118127 HAS SOUPS 117992 WITH SCORE 118609.963
AT ITER 3723 NEW BEST:: SOT 2927895 SOS 617876 HAS SOPS 616569 HAS SOUS 118103 HAS SOUPS 117968 WITH SCORE 118585.876
AT ITER 3728 NEW BEST:: SOT 2927841 SOS 617822 HAS SOPS 616515 HAS SOUS 117998 HAS SOUPS 117863 WITH SCORE 118480.822
AT ITER 3756 NEW BEST:: SOT 2928460 SOS 618441 HAS SOPS 617134 HAS SOUS 117967 HAS SOUPS 117832 WITH SCORE 118450.441
AT ITER 3771 NEW BEST:: SOT 2928251 SOS 618232 HAS SOPS 616925 HAS SOUS 117550 HAS SOUPS 117415 WITH SCORE 118033.232
AT ITER 3781 NEW BEST:: SOT 2928282 SOS 618263 HAS SOPS 616956 HAS SOUS 117297 HAS SOUPS 117162 WITH SCORE 117780.263
AT ITER 3792 NEW BEST:: SOT 2928282 SOS 618261 HAS SOPS 616954 HAS SOUS 117297 HAS SOUPS 117162 WITH SCORE 117780.261
AT ITER 3796 NEW BEST:: SOT 2928250 SOS 618229 HAS SOPS 616922 HAS SOUS 117244 HAS SOUPS 117109 WITH SCORE 117727.229
AT ITER 3800 NEW BEST:: SOT 2928242 SOS 618325 HAS SOPS 617018 HAS SOUS 117228 HAS SOUPS 117093 WITH SCORE 117711.325
AT ITER 3802 NEW BEST:: SOT 2928216 SOS 618299 HAS SOPS 616992 HAS SOUS 117202 HAS SOUPS 117067 WITH SCORE 117685.299
AT ITER 3831 NEW BEST:: SOT 2928159 SOS 618242 HAS SOPS 616935 HAS SOUS 117112 HAS SOUPS 116977 WITH SCORE 117595.242
AT ITER 3832 NEW BEST:: SOT 2928153 SOS 618326 HAS SOPS 617019 HAS SOUS 117100 HAS SOUPS 116965 WITH SCORE 117583.326
AT ITER 3833 NEW BEST:: SOT 2928143 SOS 618316 HAS SOPS 617009 HAS SOUS 117090 HAS SOUPS 116955 WITH SCORE 117573.316
AT ITER 3889 NEW BEST:: SOT 2927885 SOS 618058 HAS SOPS 616751 HAS SOUS 116842 HAS SOUPS 116707 WITH SCORE 117325.058
AT ITER 3893 NEW BEST:: SOT 2927795 SOS 617968 HAS SOPS 616661 HAS SOUS 116727 HAS SOUPS 116592 WITH SCORE 117209.968
AT ITER 3909 NEW BEST:: SOT 2927794 SOS 617967 HAS SOPS 616660 HAS SOUS 116726 HAS SOUPS 116591 WITH SCORE 117208.967
AT ITER 3921 NEW BEST:: SOT 2927791 SOS 617964 HAS SOPS 616657 HAS SOUS 116700 HAS SOUPS 116565 WITH SCORE 117182.964
AT ITER 3926 NEW BEST:: SOT 2927773 SOS 617946 HAS SOPS 616639 HAS SOUS 116685 HAS SOUPS 116550 WITH SCORE 117167.946
AT ITER 3952 NEW BEST:: SOT 2927741 SOS 617914 HAS SOPS 616607 HAS SOUS 116593 HAS SOUPS 116458 WITH SCORE 117075.914
AT ITER 3963 NEW BEST:: SOT 2927813 SOS 617986 HAS SOPS 616679 HAS SOUS 116453 HAS SOUPS 116318 WITH SCORE 116935.986
AT ITER 3986 NEW BEST:: SOT 2927782 SOS 617959 HAS SOPS 616652 HAS SOUS 116410 HAS SOUPS 116275 WITH SCORE 116892.959
AT ITER 3988 NEW BEST:: SOT 2927751 SOS 617928 HAS SOPS 616621 HAS SOUS 116348 HAS SOUPS 116213 WITH SCORE 116830.928
AT ITER 4015 NEW BEST:: SOT 2927742 SOS 617919 HAS SOPS 616612 HAS SOUS 116330 HAS SOUPS 116195 WITH SCORE 116812.919
AT ITER 4031 NEW BEST:: SOT 2927712 SOS 617889 HAS SOPS 616582 HAS SOUS 116286 HAS SOUPS 116151 WITH SCORE 116768.889
AT ITER 4055 NEW BEST:: SOT 2927704 SOS 617881 HAS SOPS 616574 HAS SOUS 116276 HAS SOUPS 116141 WITH SCORE 116758.881
AT ITER 4079 NEW BEST:: SOT 2927704 SOS 617881 HAS SOPS 616574 HAS SOUS 116269 HAS SOUPS 116134 WITH SCORE 116751.881
AT ITER 4091 NEW BEST:: SOT 2927624 SOS 617852 HAS SOPS 616545 HAS SOUS 116240 HAS SOUPS 116105 WITH SCORE 116722.852
AT ITER 4094 NEW BEST:: SOT 2927605 SOS 617833 HAS SOPS 616526 HAS SOUS 116221 HAS SOUPS 116086 WITH SCORE 116703.833
AT ITER 4102 NEW BEST:: SOT 2927603 SOS 617831 HAS SOPS 616524 HAS SOUS 116219 HAS SOUPS 116084 WITH SCORE 116701.831
AT ITER 4110 NEW BEST:: SOT 2927593 SOS 617880 HAS SOPS 616573 HAS SOUS 116112 HAS SOUPS 115977 WITH SCORE 116594.88
AT ITER 4112 NEW BEST:: SOT 2927560 SOS 617847 HAS SOPS 616540 HAS SOUS 116059 HAS SOUPS 115924 WITH SCORE 116541.847
AT ITER 4116 NEW BEST:: SOT 2927560 SOS 617847 HAS SOPS 616540 HAS SOUS 116037 HAS SOUPS 115902 WITH SCORE 116519.847
AT ITER 4119 NEW BEST:: SOT 2927528 SOS 617815 HAS SOPS 616508 HAS SOUS 115984 HAS SOUPS 115849 WITH SCORE 116466.815
AT ITER 4121 NEW BEST:: SOT 2927495 SOS 617782 HAS SOPS 616475 HAS SOUS 115918 HAS SOUPS 115783 WITH SCORE 116400.782
AT ITER 4152 NEW BEST:: SOT 2927495 SOS 617782 HAS SOPS 616475 HAS SOUS 115909 HAS SOUPS 115774 WITH SCORE 116391.782
AT ITER 4167 NEW BEST:: SOT 2927485 SOS 617790 HAS SOPS 616483 HAS SOUS 115906 HAS SOUPS 115771 WITH SCORE 116388.79
AT ITER 4168 NEW BEST:: SOT 2927455 SOS 617760 HAS SOPS 616453 HAS SOUS 115846 HAS SOUPS 115711 WITH SCORE 116328.76
AT ITER 4175 NEW BEST:: SOT 2927455 SOS 617760 HAS SOPS 616453 HAS SOUS 115730 HAS SOUPS 115595 WITH SCORE 116212.76
AT ITER 4188 NEW BEST:: SOT 2927423 SOS 617728 HAS SOPS 616421 HAS SOUS 115692 HAS SOUPS 115557 WITH SCORE 116174.728
AT ITER 4215 NEW BEST:: SOT 2927359 SOS 617664 HAS SOPS 616357 HAS SOUS 115613 HAS SOUPS 115478 WITH SCORE 116095.664
AT ITER 4241 NEW BEST:: SOT 2927368 SOS 617673 HAS SOPS 616366 HAS SOUS 115545 HAS SOUPS 115410 WITH SCORE 116027.673
AT ITER 4247 NEW BEST:: SOT 2927806 SOS 618111 HAS SOPS 616804 HAS SOUS 115400 HAS SOUPS 115265 WITH SCORE 115883.111
AT ITER 4257 NEW BEST:: SOT 2927613 SOS 617918 HAS SOPS 616611 HAS SOUS 115003 HAS SOUPS 114868 WITH SCORE 115485.918
AT ITER 4284 NEW BEST:: SOT 2927520 SOS 617825 HAS SOPS 616518 HAS SOUS 114838 HAS SOUPS 114703 WITH SCORE 115320.825
AT ITER 4290 NEW BEST:: SOT 2927517 SOS 617616 HAS SOPS 616309 HAS SOUS 114815 HAS SOUPS 114680 WITH SCORE 115297.616
AT ITER 4314 NEW BEST:: SOT 2927543 SOS 617642 HAS SOPS 616335 HAS SOUS 114798 HAS SOUPS 114663 WITH SCORE 115280.642
AT ITER 4327 NEW BEST:: SOT 2927454 SOS 617553 HAS SOPS 616246 HAS SOUS 114709 HAS SOUPS 114574 WITH SCORE 115191.553
AT ITER 4331 NEW BEST:: SOT 2927433 SOS 617532 HAS SOPS 616225 HAS SOUS 114675 HAS SOUPS 114540 WITH SCORE 115157.532
AT ITER 4333 NEW BEST:: SOT 2927348 SOS 617447 HAS SOPS 616140 HAS SOUS 114591 HAS SOUPS 114456 WITH SCORE 115073.447
AT ITER 4355 NEW BEST:: SOT 2927336 SOS 617435 HAS SOPS 616128 HAS SOUS 114531 HAS SOUPS 114396 WITH SCORE 115013.435
AT ITER 4363 NEW BEST:: SOT 2927319 SOS 617418 HAS SOPS 616111 HAS SOUS 114505 HAS SOUPS 114370 WITH SCORE 114987.418
AT ITER 4373 NEW BEST:: SOT 2927319 SOS 617418 HAS SOPS 616111 HAS SOUS 114494 HAS SOUPS 114359 WITH SCORE 114976.418
AT ITER 4391 NEW BEST:: SOT 2927299 SOS 617398 HAS SOPS 616091 HAS SOUS 114454 HAS SOUPS 114319 WITH SCORE 114936.398
AT ITER 4413 NEW BEST:: SOT 2927299 SOS 617398 HAS SOPS 616091 HAS SOUS 114448 HAS SOUPS 114313 WITH SCORE 114930.398
AT ITER 4481 NEW BEST:: SOT 2927297 SOS 617396 HAS SOPS 616089 HAS SOUS 114446 HAS SOUPS 114311 WITH SCORE 114928.396
AT ITER 4483 NEW BEST:: SOT 2927221 SOS 617274 HAS SOPS 615967 HAS SOUS 114443 HAS SOUPS 114308 WITH SCORE 114925.274
AT ITER 4511 NEW BEST:: SOT 2927210 SOS 617263 HAS SOPS 615956 HAS SOUS 114408 HAS SOUPS 114273 WITH SCORE 114890.263
AT ITER 4514 NEW BEST:: SOT 2927226 SOS 617279 HAS SOPS 615972 HAS SOUS 113916 HAS SOUPS 113781 WITH SCORE 114398.279
AT ITER 4525 NEW BEST:: SOT 2927214 SOS 617267 HAS SOPS 615960 HAS SOUS 113904 HAS SOUPS 113769 WITH SCORE 114386.267
AT ITER 4541 NEW BEST:: SOT 2927159 SOS 617212 HAS SOPS 615905 HAS SOUS 113849 HAS SOUPS 113714 WITH SCORE 114331.212
AT ITER 4552 NEW BEST:: SOT 2927161 SOS 617078 HAS SOPS 615771 HAS SOUS 113810 HAS SOUPS 113675 WITH SCORE 114292.078
AT ITER 4577 NEW BEST:: SOT 2927113 SOS 617030 HAS SOPS 615723 HAS SOUS 113775 HAS SOUPS 113640 WITH SCORE 114257.03
AT ITER 4586 NEW BEST:: SOT 2927063 SOS 617031 HAS SOPS 615724 HAS SOUS 113716 HAS SOUPS 113581 WITH SCORE 114198.031
AT ITER 4593 NEW BEST:: SOT 2926480 SOS 616448 HAS SOPS 615141 HAS SOUS 113576 HAS SOUPS 113441 WITH SCORE 114057.448
AT ITER 4599 NEW BEST:: SOT 2926331 SOS 616299 HAS SOPS 614992 HAS SOUS 113279 HAS SOUPS 113144 WITH SCORE 113760.299
AT ITER 4604 NEW BEST:: SOT 2926327 SOS 616291 HAS SOPS 614984 HAS SOUS 113271 HAS SOUPS 113136 WITH SCORE 113752.291
AT ITER 4622 NEW BEST:: SOT 2926301 SOS 616290 HAS SOPS 614983 HAS SOUS 113257 HAS SOUPS 113122 WITH SCORE 113738.29
AT ITER 4636 NEW BEST:: SOT 2926306 SOS 616295 HAS SOPS 614988 HAS SOUS 112929 HAS SOUPS 112794 WITH SCORE 113410.295
AT ITER 4644 NEW BEST:: SOT 2926246 SOS 616235 HAS SOPS 614928 HAS SOUS 112857 HAS SOUPS 112722 WITH SCORE 113338.235
AT ITER 4651 NEW BEST:: SOT 2926171 SOS 616160 HAS SOPS 614853 HAS SOUS 112698 HAS SOUPS 112563 WITH SCORE 113179.16
AT ITER 4654 NEW BEST:: SOT 2926147 SOS 616136 HAS SOPS 614829 HAS SOUS 112644 HAS SOUPS 112509 WITH SCORE 113125.136
AT ITER 4657 NEW BEST:: SOT 2925930 SOS 615919 HAS SOPS 614612 HAS SOUS 112427 HAS SOUPS 112292 WITH SCORE 112907.919
AT ITER 4667 NEW BEST:: SOT 2925899 SOS 615888 HAS SOPS 614581 HAS SOUS 112421 HAS SOUPS 112286 WITH SCORE 112901.888
AT ITER 4673 NEW BEST:: SOT 2925754 SOS 615743 HAS SOPS 614436 HAS SOUS 112007 HAS SOUPS 111872 WITH SCORE 112487.743
AT ITER 4697 NEW BEST:: SOT 2925710 SOS 615699 HAS SOPS 614392 HAS SOUS 111900 HAS SOUPS 111765 WITH SCORE 112380.699
AT ITER 4713 NEW BEST:: SOT 2925710 SOS 615699 HAS SOPS 614392 HAS SOUS 111897 HAS SOUPS 111762 WITH SCORE 112377.699
AT ITER 4718 NEW BEST:: SOT 2925678 SOS 615667 HAS SOPS 614360 HAS SOUS 111833 HAS SOUPS 111698 WITH SCORE 112313.667
AT ITER 4734 NEW BEST:: SOT 2925678 SOS 615667 HAS SOPS 614360 HAS SOUS 111824 HAS SOUPS 111689 WITH SCORE 112304.667
AT ITER 4739 NEW BEST:: SOT 2925663 SOS 615616 HAS SOPS 614309 HAS SOUS 111794 HAS SOUPS 111659 WITH SCORE 112274.616
AT ITER 4748 NEW BEST:: SOT 2925663 SOS 615616 HAS SOPS 614309 HAS SOUS 111788 HAS SOUPS 111653 WITH SCORE 112268.616
AT ITER 4761 NEW BEST:: SOT 2925645 SOS 615598 HAS SOPS 614291 HAS SOUS 111706 HAS SOUPS 111571 WITH SCORE 112186.598
AT ITER 4765 NEW BEST:: SOT 2925819 SOS 615772 HAS SOPS 614465 HAS SOUS 111284 HAS SOUPS 111149 WITH SCORE 111764.772
AT ITER 4794 NEW BEST:: SOT 2925801 SOS 615754 HAS SOPS 614447 HAS SOUS 111266 HAS SOUPS 111131 WITH SCORE 111746.754
AT ITER 4799 NEW BEST:: SOT 2925802 SOS 615750 HAS SOPS 614443 HAS SOUS 111263 HAS SOUPS 111128 WITH SCORE 111743.75
AT ITER 4808 NEW BEST:: SOT 2925764 SOS 615712 HAS SOPS 614405 HAS SOUS 111225 HAS SOUPS 111090 WITH SCORE 111705.712
AT ITER 4819 NEW BEST:: SOT 2925660 SOS 615608 HAS SOPS 614291 HAS SOUS 111216 HAS SOUPS 111081 WITH SCORE 111696.608
AT ITER 4827 NEW BEST:: SOT 2925660 SOS 615608 HAS SOPS 614291 HAS SOUS 111121 HAS SOUPS 110986 WITH SCORE 111601.608
AT ITER 4852 NEW BEST:: SOT 2925846 SOS 615794 HAS SOPS 614477 HAS SOUS 111117 HAS SOUPS 110982 WITH SCORE 111597.794
AT ITER 4853 NEW BEST:: SOT 2925838 SOS 615786 HAS SOPS 614469 HAS SOUS 111093 HAS SOUPS 110958 WITH SCORE 111573.786
AT ITER 4915 NEW BEST:: SOT 2925862 SOS 615727 HAS SOPS 614410 HAS SOUS 111060 HAS SOUPS 110925 WITH SCORE 111540.727
AT ITER 4921 NEW BEST:: SOT 2925803 SOS 615668 HAS SOPS 614351 HAS SOUS 110982 HAS SOUPS 110847 WITH SCORE 111462.668
AT ITER 4926 NEW BEST:: SOT 2925963 SOS 615828 HAS SOPS 614511 HAS SOUS 110829 HAS SOUPS 110694 WITH SCORE 111309.828
AT ITER 4955 NEW BEST:: SOT 2925917 SOS 615782 HAS SOPS 614465 HAS SOUS 110763 HAS SOUPS 110628 WITH SCORE 111243.782
AT ITER 4958 NEW BEST:: SOT 2925870 SOS 615735 HAS SOPS 614418 HAS SOUS 110705 HAS SOUPS 110570 WITH SCORE 111185.735
AT ITER 4977 NEW BEST:: SOT 2925862 SOS 615727 HAS SOPS 614410 HAS SOUS 110693 HAS SOUPS 110558 WITH SCORE 111173.727
AT ITER 4982 NEW BEST:: SOT 2925826 SOS 615636 HAS SOPS 614319 HAS SOUS 110602 HAS SOUPS 110467 WITH SCORE 111082.636
AT ITER 4995 NEW BEST:: SOT 2925826 SOS 615636 HAS SOPS 614319 HAS SOUS 110593 HAS SOUPS 110458 WITH SCORE 111073.636
AT ITER 5012 NEW BEST:: SOT 2925830 SOS 615640 HAS SOPS 614323 HAS SOUS 110529 HAS SOUPS 110394 WITH SCORE 111009.64
AT ITER 5025 NEW BEST:: SOT 2925814 SOS 615624 HAS SOPS 614307 HAS SOUS 110511 HAS SOUPS 110376 WITH SCORE 110991.624
AT ITER 5041 NEW BEST:: SOT 2925797 SOS 615607 HAS SOPS 614290 HAS SOUS 110494 HAS SOUPS 110359 WITH SCORE 110974.607
AT ITER 5048 NEW BEST:: SOT 2925769 SOS 615579 HAS SOPS 614262 HAS SOUS 110472 HAS SOUPS 110337 WITH SCORE 110952.579
AT ITER 5055 NEW BEST:: SOT 2925707 SOS 615517 HAS SOPS 614200 HAS SOUS 110397 HAS SOUPS 110262 WITH SCORE 110877.517
AT ITER 5060 NEW BEST:: SOT 2925674 SOS 615484 HAS SOPS 614167 HAS SOUS 110363 HAS SOUPS 110228 WITH SCORE 110843.484
AT ITER 5076 NEW BEST:: SOT 2925524 SOS 615334 HAS SOPS 614017 HAS SOUS 110323 HAS SOUPS 110188 WITH SCORE 110803.334
AT ITER 5089 NEW BEST:: SOT 2925528 SOS 615338 HAS SOPS 614021 HAS SOUS 110240 HAS SOUPS 110105 WITH SCORE 110720.338
AT ITER 5090 NEW BEST:: SOT 2925528 SOS 615364 HAS SOPS 614047 HAS SOUS 110229 HAS SOUPS 110094 WITH SCORE 110709.364
AT ITER 5093 NEW BEST:: SOT 2925528 SOS 615364 HAS SOPS 614047 HAS SOUS 110218 HAS SOUPS 110083 WITH SCORE 110698.364
AT ITER 5137 NEW BEST:: SOT 2925432 SOS 615268 HAS SOPS 613951 HAS SOUS 110051 HAS SOUPS 109916 WITH SCORE 110531.268
AT ITER 5157 NEW BEST:: SOT 2925405 SOS 615165 HAS SOPS 613848 HAS SOUS 109960 HAS SOUPS 109825 WITH SCORE 110440.165
AT ITER 5163 NEW BEST:: SOT 2925332 SOS 615092 HAS SOPS 613775 HAS SOUS 109851 HAS SOUPS 109716 WITH SCORE 110331.092
AT ITER 5168 NEW BEST:: SOT 2925200 SOS 614960 HAS SOPS 613643 HAS SOUS 109584 HAS SOUPS 109449 WITH SCORE 110063.96
AT ITER 5181 NEW BEST:: SOT 2925151 SOS 614911 HAS SOPS 613594 HAS SOUS 109529 HAS SOUPS 109394 WITH SCORE 110008.911
AT ITER 5183 NEW BEST:: SOT 2925124 SOS 614613 HAS SOPS 613296 HAS SOUS 109475 HAS SOUPS 109340 WITH SCORE 109954.613
AT ITER 5219 NEW BEST:: SOT 2925114 SOS 614603 HAS SOPS 613286 HAS SOUS 109465 HAS SOUPS 109330 WITH SCORE 109944.603
AT ITER 5244 NEW BEST:: SOT 2925099 SOS 614588 HAS SOPS 613271 HAS SOUS 109450 HAS SOUPS 109315 WITH SCORE 109929.588
AT ITER 5259 NEW BEST:: SOT 2925009 SOS 614498 HAS SOPS 613181 HAS SOUS 109285 HAS SOUPS 109150 WITH SCORE 109764.498
AT ITER 5308 NEW BEST:: SOT 2925002 SOS 614491 HAS SOPS 613174 HAS SOUS 109284 HAS SOUPS 109149 WITH SCORE 109763.491
AT ITER 5314 NEW BEST:: SOT 2925177 SOS 614666 HAS SOPS 613349 HAS SOUS 109067 HAS SOUPS 108932 WITH SCORE 109546.666
AT ITER 5317 NEW BEST:: SOT 2925132 SOS 614621 HAS SOPS 613304 HAS SOUS 109003 HAS SOUPS 108868 WITH SCORE 109482.621
AT ITER 5332 NEW BEST:: SOT 2925236 SOS 614725 HAS SOPS 613408 HAS SOUS 108919 HAS SOUPS 108784 WITH SCORE 109398.725
AT ITER 5406 NEW BEST:: SOT 2925170 SOS 614659 HAS SOPS 613342 HAS SOUS 108798 HAS SOUPS 108663 WITH SCORE 109277.659
AT ITER 5417 NEW BEST:: SOT 2925164 SOS 614653 HAS SOPS 613336 HAS SOUS 108792 HAS SOUPS 108657 WITH SCORE 109271.653
AT ITER 5423 NEW BEST:: SOT 2925227 SOS 614716 HAS SOPS 613399 HAS SOUS 108656 HAS SOUPS 108521 WITH SCORE 109135.716
AT ITER 5456 NEW BEST:: SOT 2925220 SOS 614720 HAS SOPS 613403 HAS SOUS 108642 HAS SOUPS 108507 WITH SCORE 109121.72
AT ITER 5473 NEW BEST:: SOT 2925224 SOS 614724 HAS SOPS 613407 HAS SOUS 108633 HAS SOUPS 108498 WITH SCORE 109112.724
AT ITER 5477 NEW BEST:: SOT 2925139 SOS 614639 HAS SOPS 613322 HAS SOUS 108438 HAS SOUPS 108303 WITH SCORE 108917.639
AT ITER 5483 NEW BEST:: SOT 2925142 SOS 614642 HAS SOPS 613325 HAS SOUS 108435 HAS SOUPS 108300 WITH SCORE 108914.642
AT ITER 5517 NEW BEST:: SOT 2925137 SOS 614637 HAS SOPS 613320 HAS SOUS 108395 HAS SOUPS 108260 WITH SCORE 108874.637
AT ITER 5525 NEW BEST:: SOT 2924695 SOS 614195 HAS SOPS 612878 HAS SOUS 107926 HAS SOUPS 107791 WITH SCORE 108405.195
AT ITER 5535 NEW BEST:: SOT 2924695 SOS 614195 HAS SOPS 612878 HAS SOUS 107916 HAS SOUPS 107781 WITH SCORE 108395.195
AT ITER 5584 NEW BEST:: SOT 2924694 SOS 614194 HAS SOPS 612877 HAS SOUS 107915 HAS SOUPS 107780 WITH SCORE 108394.194
AT ITER 5591 NEW BEST:: SOT 2924600 SOS 614100 HAS SOPS 612783 HAS SOUS 107252 HAS SOUPS 107117 WITH SCORE 107731.1
AT ITER 5596 NEW BEST:: SOT 2924497 SOS 613997 HAS SOPS 612680 HAS SOUS 107076 HAS SOUPS 106941 WITH SCORE 107554.997
AT ITER 5599 NEW BEST:: SOT 2924490 SOS 613999 HAS SOPS 612682 HAS SOUS 107069 HAS SOUPS 106934 WITH SCORE 107547.999
AT ITER 5651 NEW BEST:: SOT 2924463 SOS 614043 HAS SOPS 612726 HAS SOUS 107041 HAS SOUPS 106906 WITH SCORE 107520.043
AT ITER 5655 NEW BEST:: SOT 2924449 SOS 614029 HAS SOPS 612712 HAS SOUS 107027 HAS SOUPS 106892 WITH SCORE 107506.029
AT ITER 5666 NEW BEST:: SOT 2924427 SOS 614007 HAS SOPS 612690 HAS SOUS 107005 HAS SOUPS 106870 WITH SCORE 107484.007
AT ITER 5668 NEW BEST:: SOT 2924381 SOS 613961 HAS SOPS 612644 HAS SOUS 106959 HAS SOUPS 106824 WITH SCORE 107437.961
AT ITER 5679 NEW BEST:: SOT 2924356 SOS 613972 HAS SOPS 612655 HAS SOUS 106917 HAS SOUPS 106782 WITH SCORE 107395.972
AT ITER 5680 NEW BEST:: SOT 2924352 SOS 613968 HAS SOPS 612651 HAS SOUS 106909 HAS SOUPS 106774 WITH SCORE 107387.968
AT ITER 5704 NEW BEST:: SOT 2924352 SOS 613965 HAS SOPS 612648 HAS SOUS 106903 HAS SOUPS 106768 WITH SCORE 107381.965
AT ITER 5735 NEW BEST:: SOT 2924288 SOS 613901 HAS SOPS 612584 HAS SOUS 106769 HAS SOUPS 106634 WITH SCORE 107247.901
AT ITER 5736 NEW BEST:: SOT 2924164 SOS 613777 HAS SOPS 612460 HAS SOUS 106756 HAS SOUPS 106621 WITH SCORE 107234.777
AT ITER 5757 NEW BEST:: SOT 2924146 SOS 613759 HAS SOPS 612442 HAS SOUS 106720 HAS SOUPS 106585 WITH SCORE 107198.759
AT ITER 5767 NEW BEST:: SOT 2924126 SOS 613739 HAS SOPS 612422 HAS SOUS 106620 HAS SOUPS 106485 WITH SCORE 107098.739
AT ITER 5779 NEW BEST:: SOT 2924096 SOS 613709 HAS SOPS 612392 HAS SOUS 106560 HAS SOUPS 106425 WITH SCORE 107038.709
AT ITER 5828 NEW BEST:: SOT 2924082 SOS 613681 HAS SOPS 612364 HAS SOUS 106532 HAS SOUPS 106397 WITH SCORE 107010.681
AT ITER 5862 NEW BEST:: SOT 2924062 SOS 613706 HAS SOPS 612389 HAS SOUS 106478 HAS SOUPS 106343 WITH SCORE 106956.706
AT ITER 5902 NEW BEST:: SOT 2924062 SOS 613666 HAS SOPS 612349 HAS SOUS 106471 HAS SOUPS 106336 WITH SCORE 106949.666
AT ITER 5934 NEW BEST:: SOT 2923834 SOS 613438 HAS SOPS 612121 HAS SOUS 105891 HAS SOUPS 105756 WITH SCORE 106369.438
AT ITER 5949 NEW BEST:: SOT 2923834 SOS 613438 HAS SOPS 612121 HAS SOUS 105876 HAS SOUPS 105741 WITH SCORE 106354.438
AT ITER 5972 NEW BEST:: SOT 2923834 SOS 613418 HAS SOPS 612101 HAS SOUS 105871 HAS SOUPS 105736 WITH SCORE 106349.418
AT ITER 5987 NEW BEST:: SOT 2923789 SOS 613373 HAS SOPS 612056 HAS SOUS 105797 HAS SOUPS 105662 WITH SCORE 106275.373
AT ITER 5988 NEW BEST:: SOT 2923784 SOS 613363 HAS SOPS 612046 HAS SOUS 105787 HAS SOUPS 105652 WITH SCORE 106265.363
AT ITER 6026 NEW BEST:: SOT 2923782 SOS 593679 HAS SOPS 592362 HAS SOUS 105783 HAS SOUPS 105648 WITH SCORE 106241.679
AT ITER 6064 NEW BEST:: SOT 2923768 SOS 593665 HAS SOPS 592348 HAS SOUS 105755 HAS SOUPS 105620 WITH SCORE 106213.665
AT ITER 6072 NEW BEST:: SOT 2923730 SOS 593589 HAS SOPS 592272 HAS SOUS 105679 HAS SOUPS 105544 WITH SCORE 106137.589
AT ITER 6073 NEW BEST:: SOT 2923719 SOS 593578 HAS SOPS 592261 HAS SOUS 105657 HAS SOUPS 105522 WITH SCORE 106115.578
AT ITER 6148 NEW BEST:: SOT 2923479 SOS 593250 HAS SOPS 591933 HAS SOUS 105509 HAS SOUPS 105374 WITH SCORE 105967.25
AT ITER 6160 NEW BEST:: SOT 2923482 SOS 593253 HAS SOPS 591936 HAS SOUS 105479 HAS SOUPS 105344 WITH SCORE 105937.253
AT ITER 6166 NEW BEST:: SOT 2923482 SOS 593067 HAS SOPS 591750 HAS SOUS 105473 HAS SOUPS 105338 WITH SCORE 105931.067
AT ITER 6187 NEW BEST:: SOT 2923482 SOS 593067 HAS SOPS 591750 HAS SOUS 105443 HAS SOUPS 105308 WITH SCORE 105901.067
AT ITER 6189 NEW BEST:: SOT 2923461 SOS 593046 HAS SOPS 591729 HAS SOUS 105422 HAS SOUPS 105287 WITH SCORE 105880.046
AT ITER 6194 NEW BEST:: SOT 2923327 SOS 594613 HAS SOPS 593296 HAS SOUS 105347 HAS SOUPS 105212 WITH SCORE 105806.613
AT ITER 6198 NEW BEST:: SOT 2923287 SOS 594573 HAS SOPS 593256 HAS SOUS 105307 HAS SOUPS 105172 WITH SCORE 105766.573
AT ITER 6249 NEW BEST:: SOT 2923309 SOS 594531 HAS SOPS 593214 HAS SOUS 104985 HAS SOUPS 104850 WITH SCORE 105444.531
AT ITER 6291 NEW BEST:: SOT 2923309 SOS 594483 HAS SOPS 593166 HAS SOUS 104976 HAS SOUPS 104841 WITH SCORE 105435.483
AT ITER 6299 NEW BEST:: SOT 2923299 SOS 594473 HAS SOPS 593156 HAS SOUS 104956 HAS SOUPS 104821 WITH SCORE 105415.473
AT ITER 6336 NEW BEST:: SOT 2923325 SOS 594415 HAS SOPS 593098 HAS SOUS 104942 HAS SOUPS 104807 WITH SCORE 105401.415
AT ITER 6434 NEW BEST:: SOT 2923290 SOS 594378 HAS SOPS 593061 HAS SOUS 104938 HAS SOUPS 104803 WITH SCORE 105397.378
AT ITER 6458 NEW BEST:: SOT 2923250 SOS 594338 HAS SOPS 593021 HAS SOUS 104883 HAS SOUPS 104748 WITH SCORE 105342.338
AT ITER 6465 NEW BEST:: SOT 2923220 SOS 594308 HAS SOPS 592991 HAS SOUS 104853 HAS SOUPS 104718 WITH SCORE 105312.308
AT ITER 6533 NEW BEST:: SOT 2923250 SOS 594338 HAS SOPS 593021 HAS SOUS 104763 HAS SOUPS 104628 WITH SCORE 105222.338
AT ITER 6556 NEW BEST:: SOT 2923223 SOS 594311 HAS SOPS 592994 HAS SOUS 104733 HAS SOUPS 104598 WITH SCORE 105192.311
AT ITER 6571 NEW BEST:: SOT 2923199 SOS 594263 HAS SOPS 592946 HAS SOUS 104685 HAS SOUPS 104550 WITH SCORE 105144.263
AT ITER 6574 NEW BEST:: SOT 2923078 SOS 594142 HAS SOPS 592825 HAS SOUS 104564 HAS SOUPS 104429 WITH SCORE 105023.142
AT ITER 6601 NEW BEST:: SOT 2923039 SOS 594103 HAS SOPS 592786 HAS SOUS 104525 HAS SOUPS 104390 WITH SCORE 104984.103
AT ITER 6616 NEW BEST:: SOT 2923032 SOS 594096 HAS SOPS 592779 HAS SOUS 104504 HAS SOUPS 104369 WITH SCORE 104963.096
AT ITER 6624 NEW BEST:: SOT 2922994 SOS 594058 HAS SOPS 592741 HAS SOUS 104428 HAS SOUPS 104293 WITH SCORE 104887.058
AT ITER 6642 NEW BEST:: SOT 2922930 SOS 593994 HAS SOPS 592677 HAS SOUS 104368 HAS SOUPS 104233 WITH SCORE 104826.994
AT ITER 6651 NEW BEST:: SOT 2922897 SOS 593928 HAS SOPS 592611 HAS SOUS 104302 HAS SOUPS 104167 WITH SCORE 104760.928
AT ITER 6689 NEW BEST:: SOT 2922893 SOS 594020 HAS SOPS 592703 HAS SOUS 104294 HAS SOUPS 104159 WITH SCORE 104753.02
AT ITER 6691 NEW BEST:: SOT 2922861 SOS 593988 HAS SOPS 592671 HAS SOUS 104230 HAS SOUPS 104095 WITH SCORE 104688.988
AT ITER 6726 NEW BEST:: SOT 2922514 SOS 593641 HAS SOPS 592324 HAS SOUS 104055 HAS SOUPS 103920 WITH SCORE 104513.641
AT ITER 6739 NEW BEST:: SOT 2922543 SOS 593670 HAS SOPS 592353 HAS SOUS 103965 HAS SOUPS 103830 WITH SCORE 104423.67
AT ITER 6743 NEW BEST:: SOT 2922542 SOS 593669 HAS SOPS 592352 HAS SOUS 103964 HAS SOUPS 103829 WITH SCORE 104422.669
AT ITER 6750 NEW BEST:: SOT 2922504 SOS 593631 HAS SOPS 592314 HAS SOUS 103888 HAS SOUPS 103753 WITH SCORE 104346.631
AT ITER 6774 NEW BEST:: SOT 2922504 SOS 593579 HAS SOPS 592262 HAS SOUS 103862 HAS SOUPS 103727 WITH SCORE 104320.579
AT ITER 6784 NEW BEST:: SOT 2922465 SOS 593540 HAS SOPS 592223 HAS SOUS 103807 HAS SOUPS 103672 WITH SCORE 104265.54
AT ITER 6798 NEW BEST:: SOT 2922465 SOS 593540 HAS SOPS 592223 HAS SOUS 103800 HAS SOUPS 103665 WITH SCORE 104258.54
AT ITER 6804 NEW BEST:: SOT 2922461 SOS 593536 HAS SOPS 592219 HAS SOUS 103793 HAS SOUPS 103658 WITH SCORE 104251.536
AT ITER 6831 NEW BEST:: SOT 2921166 SOS 592313 HAS SOPS 590996 HAS SOUS 102477 HAS SOUPS 102342 WITH SCORE 102934.313
AT ITER 6862 NEW BEST:: SOT 2921135 SOS 592282 HAS SOPS 590965 HAS SOUS 102442 HAS SOUPS 102307 WITH SCORE 102899.282
AT ITER 6866 NEW BEST:: SOT 2921094 SOS 592264 HAS SOPS 590947 HAS SOUS 102419 HAS SOUPS 102284 WITH SCORE 102876.264
AT ITER 6902 NEW BEST:: SOT 2921046 SOS 592216 HAS SOPS 590899 HAS SOUS 102376 HAS SOUPS 102241 WITH SCORE 102833.216
AT ITER 6913 NEW BEST:: SOT 2920928 SOS 592098 HAS SOPS 590781 HAS SOUS 102258 HAS SOUPS 102123 WITH SCORE 102715.098
AT ITER 6925 NEW BEST:: SOT 2920904 SOS 592074 HAS SOPS 590757 HAS SOUS 102146 HAS SOUPS 102011 WITH SCORE 102603.074
AT ITER 6931 NEW BEST:: SOT 2920904 SOS 592074 HAS SOPS 590757 HAS SOUS 102062 HAS SOUPS 101927 WITH SCORE 102519.074
AT ITER 6940 NEW BEST:: SOT 2920878 SOS 592024 HAS SOPS 590707 HAS SOUS 102023 HAS SOUPS 101888 WITH SCORE 102480.024
AT ITER 6949 NEW BEST:: SOT 2920837 SOS 592099 HAS SOPS 590782 HAS SOUS 101941 HAS SOUPS 101806 WITH SCORE 102398.099
AT ITER 6975 NEW BEST:: SOT 2920787 SOS 592151 HAS SOPS 590834 HAS SOUS 101934 HAS SOUPS 101799 WITH SCORE 102391.151
AT ITER 6987 NEW BEST:: SOT 2920783 SOS 592147 HAS SOPS 590830 HAS SOUS 101906 HAS SOUPS 101771 WITH SCORE 102363.147
AT ITER 6995 NEW BEST:: SOT 2920837 SOS 592201 HAS SOPS 590884 HAS SOUS 101876 HAS SOUPS 101741 WITH SCORE 102333.201
AT ITER 7033 NEW BEST:: SOT 2920804 SOS 592168 HAS SOPS 590851 HAS SOUS 101835 HAS SOUPS 101700 WITH SCORE 102292.168
AT ITER 7034 NEW BEST:: SOT 2920809 SOS 592173 HAS SOPS 590856 HAS SOUS 101820 HAS SOUPS 101685 WITH SCORE 102277.173
AT ITER 7073 NEW BEST:: SOT 2920817 SOS 592181 HAS SOPS 590864 HAS SOUS 101797 HAS SOUPS 101662 WITH SCORE 102254.181
AT ITER 7096 NEW BEST:: SOT 2920791 SOS 592167 HAS SOPS 590850 HAS SOUS 101726 HAS SOUPS 101591 WITH SCORE 102183.167
AT ITER 7099 NEW BEST:: SOT 2920762 SOS 592138 HAS SOPS 590821 HAS SOUS 101668 HAS SOUPS 101533 WITH SCORE 102125.138
AT ITER 7216 NEW BEST:: SOT 2920762 SOS 592136 HAS SOPS 590819 HAS SOUS 101666 HAS SOUPS 101531 WITH SCORE 102123.136
AT ITER 7305 NEW BEST:: SOT 2920764 SOS 592138 HAS SOPS 590821 HAS SOUS 101601 HAS SOUPS 101466 WITH SCORE 102058.138
AT ITER 7327 NEW BEST:: SOT 2920744 SOS 592118 HAS SOPS 590801 HAS SOUS 101551 HAS SOUPS 101416 WITH SCORE 102008.118
AT ITER 7336 NEW BEST:: SOT 2920733 SOS 592107 HAS SOPS 590790 HAS SOUS 101527 HAS SOUPS 101392 WITH SCORE 101984.107
AT ITER 7337 NEW BEST:: SOT 2920728 SOS 591980 HAS SOPS 590663 HAS SOUS 101486 HAS SOUPS 101351 WITH SCORE 101942.98
AT ITER 7372 NEW BEST:: SOT 2920715 SOS 591967 HAS SOPS 590650 HAS SOUS 101473 HAS SOUPS 101338 WITH SCORE 101929.967
AT ITER 7413 NEW BEST:: SOT 2920705 SOS 591949 HAS SOPS 590632 HAS SOUS 101453 HAS SOUPS 101318 WITH SCORE 101909.949
AT ITER 7414 NEW BEST:: SOT 2920677 SOS 591921 HAS SOPS 590604 HAS SOUS 101425 HAS SOUPS 101290 WITH SCORE 101881.921
AT ITER 7419 NEW BEST:: SOT 2920605 SOS 591863 HAS SOPS 590546 HAS SOUS 101329 HAS SOUPS 101194 WITH SCORE 101785.863
AT ITER 7421 NEW BEST:: SOT 2920550 SOS 591808 HAS SOPS 590491 HAS SOUS 100884 HAS SOUPS 100749 WITH SCORE 101340.808
AT ITER 7422 NEW BEST:: SOT 2920487 SOS 591745 HAS SOPS 590428 HAS SOUS 100773 HAS SOUPS 100638 WITH SCORE 101229.745
AT ITER 7430 NEW BEST:: SOT 2920473 SOS 591731 HAS SOPS 590414 HAS SOUS 100755 HAS SOUPS 100620 WITH SCORE 101211.731
AT ITER 7446 NEW BEST:: SOT 2920400 SOS 591658 HAS SOPS 590341 HAS SOUS 100624 HAS SOUPS 100489 WITH SCORE 101080.658
AT ITER 7448 NEW BEST:: SOT 2920378 SOS 591636 HAS SOPS 590319 HAS SOUS 100580 HAS SOUPS 100445 WITH SCORE 101036.636
AT ITER 7454 NEW BEST:: SOT 2920311 SOS 591569 HAS SOPS 590252 HAS SOUS 100513 HAS SOUPS 100378 WITH SCORE 100969.569
AT ITER 7462 NEW BEST:: SOT 2920299 SOS 591557 HAS SOPS 590240 HAS SOUS 100480 HAS SOUPS 100345 WITH SCORE 100936.557
AT ITER 7472 NEW BEST:: SOT 2920260 SOS 591548 HAS SOPS 590231 HAS SOUS 100462 HAS SOUPS 100327 WITH SCORE 100918.548
AT ITER 7477 NEW BEST:: SOT 2920233 SOS 591521 HAS SOPS 590204 HAS SOUS 100408 HAS SOUPS 100273 WITH SCORE 100864.521
AT ITER 7501 NEW BEST:: SOT 2920284 SOS 591572 HAS SOPS 590255 HAS SOUS 100369 HAS SOUPS 100234 WITH SCORE 100825.572
AT ITER 7510 NEW BEST:: SOT 2920262 SOS 591550 HAS SOPS 590233 HAS SOUS 100307 HAS SOUPS 100172 WITH SCORE 100763.55
AT ITER 7534 NEW BEST:: SOT 2920262 SOS 591550 HAS SOPS 590233 HAS SOUS 100291 HAS SOUPS 100156 WITH SCORE 100747.55
AT ITER 7535 NEW BEST:: SOT 2920217 SOS 591505 HAS SOPS 590188 HAS SOUS 100204 HAS SOUPS 100069 WITH SCORE 100660.505
AT ITER 7544 NEW BEST:: SOT 2920205 SOS 591493 HAS SOPS 590176 HAS SOUS 100188 HAS SOUPS 100053 WITH SCORE 100644.493
AT ITER 7552 NEW BEST:: SOT 2920027 SOS 591315 HAS SOPS 589998 HAS SOUS 99999 HAS SOUPS 99864 WITH SCORE 100455.315
AT ITER 7573 NEW BEST:: SOT 2920001 SOS 591263 HAS SOPS 589946 HAS SOUS 99947 HAS SOUPS 99812 WITH SCORE 100403.263
AT ITER 7575 NEW BEST:: SOT 2916269 SOS 587283 HAS SOPS 585966 HAS SOUS 97671 HAS SOUPS 97536 WITH SCORE 98123.283
AT ITER 7580 NEW BEST:: SOT 2916232 SOS 587346 HAS SOPS 586029 HAS SOUS 97633 HAS SOUPS 97498 WITH SCORE 98085.346
AT ITER 7594 NEW BEST:: SOT 2916095 SOS 587209 HAS SOPS 585892 HAS SOUS 97535 HAS SOUPS 97400 WITH SCORE 97987.209
AT ITER 7608 NEW BEST:: SOT 2916103 SOS 587114 HAS SOPS 585797 HAS SOUS 97451 HAS SOUPS 97316 WITH SCORE 97903.114
AT ITER 7612 NEW BEST:: SOT 2916095 SOS 587106 HAS SOPS 585789 HAS SOUS 97440 HAS SOUPS 97305 WITH SCORE 97892.106
AT ITER 7625 NEW BEST:: SOT 2927399 SOS 597930 HAS SOPS 596613 HAS SOUS 97341 HAS SOUPS 97206 WITH SCORE 97803.93
AT ITER 7650 NEW BEST:: SOT 2927382 SOS 597913 HAS SOPS 596596 HAS SOUS 97307 HAS SOUPS 97172 WITH SCORE 97769.913
AT ITER 7683 NEW BEST:: SOT 2927357 SOS 597888 HAS SOPS 596571 HAS SOUS 96959 HAS SOUPS 96824 WITH SCORE 97421.888
AT ITER 7706 NEW BEST:: SOT 2927337 SOS 597868 HAS SOPS 596551 HAS SOUS 96959 HAS SOUPS 96824 WITH SCORE 97421.868
AT ITER 7710 NEW BEST:: SOT 2927221 SOS 597752 HAS SOPS 596435 HAS SOUS 96727 HAS SOUPS 96592 WITH SCORE 97189.752
AT ITER 7712 NEW BEST:: SOT 2927286 SOS 597817 HAS SOPS 596500 HAS SOUS 96669 HAS SOUPS 96534 WITH SCORE 97131.817
AT ITER 7713 NEW BEST:: SOT 2927252 SOS 597783 HAS SOPS 596466 HAS SOUS 96637 HAS SOUPS 96502 WITH SCORE 97099.783
AT ITER 7722 NEW BEST:: SOT 2927078 SOS 597609 HAS SOPS 596292 HAS SOUS 96537 HAS SOUPS 96402 WITH SCORE 96999.609
AT ITER 7730 NEW BEST:: SOT 2927026 SOS 597557 HAS SOPS 596240 HAS SOUS 96466 HAS SOUPS 96331 WITH SCORE 96928.557
AT ITER 7768 NEW BEST:: SOT 2926960 SOS 597491 HAS SOPS 596174 HAS SOUS 96348 HAS SOUPS 96213 WITH SCORE 96810.491
AT ITER 7769 NEW BEST:: SOT 2926960 SOS 597398 HAS SOPS 596081 HAS SOUS 96348 HAS SOUPS 96213 WITH SCORE 96810.398
AT ITER 7775 NEW BEST:: SOT 2926935 SOS 597373 HAS SOPS 596056 HAS SOUS 96345 HAS SOUPS 96210 WITH SCORE 96807.373
AT ITER 7794 NEW BEST:: SOT 2926927 SOS 597365 HAS SOPS 596048 HAS SOUS 96315 HAS SOUPS 96180 WITH SCORE 96777.365
AT ITER 7797 NEW BEST:: SOT 2926966 SOS 597404 HAS SOPS 596087 HAS SOUS 96275 HAS SOUPS 96140 WITH SCORE 96737.404
AT ITER 7830 NEW BEST:: SOT 2926830 SOS 597268 HAS SOPS 595951 HAS SOUS 96021 HAS SOUPS 95886 WITH SCORE 96483.268
AT ITER 7831 NEW BEST:: SOT 2926772 SOS 597152 HAS SOPS 595835 HAS SOUS 95905 HAS SOUPS 95770 WITH SCORE 96367.152
AT ITER 7834 NEW BEST:: SOT 2926723 SOS 597103 HAS SOPS 595786 HAS SOUS 95848 HAS SOUPS 95713 WITH SCORE 96310.103
AT ITER 7855 NEW BEST:: SOT 2926679 SOS 597059 HAS SOPS 595742 HAS SOUS 95804 HAS SOUPS 95669 WITH SCORE 96266.059
AT ITER 7876 NEW BEST:: SOT 2926679 SOS 597059 HAS SOPS 595742 HAS SOUS 95778 HAS SOUPS 95643 WITH SCORE 96240.059
AT ITER 7886 NEW BEST:: SOT 2926678 SOS 597058 HAS SOPS 595741 HAS SOUS 95777 HAS SOUPS 95642 WITH SCORE 96239.058
AT ITER 7902 NEW BEST:: SOT 2926619 SOS 596987 HAS SOPS 595670 HAS SOUS 95750 HAS SOUPS 95615 WITH SCORE 96211.987
AT ITER 7928 NEW BEST:: SOT 2926479 SOS 596847 HAS SOPS 595530 HAS SOUS 95548 HAS SOUPS 95413 WITH SCORE 96009.847
AT ITER 7931 NEW BEST:: SOT 2926477 SOS 596845 HAS SOPS 595528 HAS SOUS 95546 HAS SOUPS 95411 WITH SCORE 96007.845
AT ITER 7943 NEW BEST:: SOT 2926445 SOS 596813 HAS SOPS 595496 HAS SOUS 95503 HAS SOUPS 95368 WITH SCORE 95964.813
AT ITER 7949 NEW BEST:: SOT 2926431 SOS 596799 HAS SOPS 595482 HAS SOUS 95489 HAS SOUPS 95354 WITH SCORE 95950.799
AT ITER 7961 NEW BEST:: SOT 2926431 SOS 596799 HAS SOPS 595482 HAS SOUS 95448 HAS SOUPS 95313 WITH SCORE 95909.799
AT ITER 7964 NEW BEST:: SOT 2926392 SOS 596739 HAS SOPS 595422 HAS SOUS 95428 HAS SOUPS 95293 WITH SCORE 95889.739
AT ITER 7973 NEW BEST:: SOT 2926380 SOS 596697 HAS SOPS 595380 HAS SOUS 95386 HAS SOUPS 95251 WITH SCORE 95847.697
AT ITER 7978 NEW BEST:: SOT 2926378 SOS 596695 HAS SOPS 595378 HAS SOUS 95340 HAS SOUPS 95205 WITH SCORE 95801.695
AT ITER 7982 NEW BEST:: SOT 2926383 SOS 596681 HAS SOPS 595364 HAS SOUS 95312 HAS SOUPS 95177 WITH SCORE 95773.681
AT ITER 8005 NEW BEST:: SOT 2926355 SOS 596653 HAS SOPS 595336 HAS SOUS 95259 HAS SOUPS 95124 WITH SCORE 95720.653
AT ITER 8008 NEW BEST:: SOT 2926346 SOS 596644 HAS SOPS 595327 HAS SOUS 95236 HAS SOUPS 95101 WITH SCORE 95697.644
AT ITER 8011 NEW BEST:: SOT 2926282 SOS 596580 HAS SOPS 595263 HAS SOUS 95125 HAS SOUPS 94990 WITH SCORE 95586.58
AT ITER 8028 NEW BEST:: SOT 2926259 SOS 596557 HAS SOPS 595240 HAS SOUS 95102 HAS SOUPS 94967 WITH SCORE 95563.557
AT ITER 8046 NEW BEST:: SOT 2926236 SOS 596534 HAS SOPS 595217 HAS SOUS 95079 HAS SOUPS 94944 WITH SCORE 95540.534
AT ITER 8073 NEW BEST:: SOT 2926234 SOS 596532 HAS SOPS 595215 HAS SOUS 95075 HAS SOUPS 94940 WITH SCORE 95536.532
AT ITER 8078 NEW BEST:: SOT 2926178 SOS 596476 HAS SOPS 595159 HAS SOUS 95019 HAS SOUPS 94884 WITH SCORE 95480.476
AT ITER 8088 NEW BEST:: SOT 2926050 SOS 596348 HAS SOPS 595031 HAS SOUS 94772 HAS SOUPS 94637 WITH SCORE 95233.348
AT ITER 8120 NEW BEST:: SOT 2925886 SOS 596238 HAS SOPS 594921 HAS SOUS 94562 HAS SOUPS 94427 WITH SCORE 95023.238
AT ITER 8179 NEW BEST:: SOT 2925886 SOS 596124 HAS SOPS 594807 HAS SOUS 94553 HAS SOUPS 94418 WITH SCORE 95014.124
AT ITER 8182 NEW BEST:: SOT 2925890 SOS 596128 HAS SOPS 594811 HAS SOUS 94545 HAS SOUPS 94410 WITH SCORE 95006.128
AT ITER 8189 NEW BEST:: SOT 2925881 SOS 596119 HAS SOPS 594802 HAS SOUS 94536 HAS SOUPS 94401 WITH SCORE 94997.119
AT ITER 8205 NEW BEST:: SOT 2925776 SOS 595847 HAS SOPS 594530 HAS SOUS 94326 HAS SOUPS 94191 WITH SCORE 94786.847
AT ITER 8211 NEW BEST:: SOT 2925748 SOS 595819 HAS SOPS 594502 HAS SOUS 94272 HAS SOUPS 94137 WITH SCORE 94732.819
AT ITER 8219 NEW BEST:: SOT 2925637 SOS 595208 HAS SOPS 594391 HAS SOUS 94150 HAS SOUPS 94065 WITH SCORE 94660.208
AT ITER 8263 NEW BEST:: SOT 2925629 SOS 595200 HAS SOPS 594383 HAS SOUS 94137 HAS SOUPS 94052 WITH SCORE 94647.2
AT ITER 8282 NEW BEST:: SOT 2925643 SOS 595198 HAS SOPS 594381 HAS SOUS 94133 HAS SOUPS 94048 WITH SCORE 94643.198
AT ITER 8294 NEW BEST:: SOT 2925601 SOS 595156 HAS SOPS 594339 HAS SOUS 94067 HAS SOUPS 93982 WITH SCORE 94577.156
AT ITER 8298 NEW BEST:: SOT 2925558 SOS 595113 HAS SOPS 594296 HAS SOUS 94031 HAS SOUPS 93946 WITH SCORE 94541.113
AT ITER 8305 NEW BEST:: SOT 2925538 SOS 595093 HAS SOPS 594276 HAS SOUS 93991 HAS SOUPS 93906 WITH SCORE 94501.093
AT ITER 8311 NEW BEST:: SOT 2925520 SOS 595075 HAS SOPS 594258 HAS SOUS 93936 HAS SOUPS 93851 WITH SCORE 94446.075
AT ITER 8319 NEW BEST:: SOT 2925495 SOS 595050 HAS SOPS 594233 HAS SOUS 93917 HAS SOUPS 93832 WITH SCORE 94427.05
AT ITER 8320 NEW BEST:: SOT 2925491 SOS 595046 HAS SOPS 594229 HAS SOUS 93770 HAS SOUPS 93685 WITH SCORE 94280.046
AT ITER 8371 NEW BEST:: SOT 2925430 SOS 594985 HAS SOPS 594168 HAS SOUS 93709 HAS SOUPS 93624 WITH SCORE 94218.985
AT ITER 8421 NEW BEST:: SOT 2925362 SOS 594917 HAS SOPS 594100 HAS SOUS 93641 HAS SOUPS 93556 WITH SCORE 94150.917
AT ITER 8435 NEW BEST:: SOT 2925310 SOS 594865 HAS SOPS 594048 HAS SOUS 93537 HAS SOUPS 93452 WITH SCORE 94046.865
AT ITER 8448 NEW BEST:: SOT 2925271 SOS 594826 HAS SOPS 594009 HAS SOUS 93482 HAS SOUPS 93397 WITH SCORE 93991.826
AT ITER 8453 NEW BEST:: SOT 2925262 SOS 594817 HAS SOPS 594000 HAS SOUS 93473 HAS SOUPS 93388 WITH SCORE 93982.817
AT ITER 8464 NEW BEST:: SOT 2925278 SOS 594833 HAS SOPS 594016 HAS SOUS 93393 HAS SOUPS 93308 WITH SCORE 93902.833
AT ITER 8494 NEW BEST:: SOT 2925278 SOS 594833 HAS SOPS 594016 HAS SOUS 93362 HAS SOUPS 93277 WITH SCORE 93871.833
AT ITER 8514 NEW BEST:: SOT 2925292 SOS 594847 HAS SOPS 594030 HAS SOUS 93269 HAS SOUPS 93184 WITH SCORE 93778.847
AT ITER 8592 NEW BEST:: SOT 2925274 SOS 594829 HAS SOPS 594012 HAS SOUS 93233 HAS SOUPS 93148 WITH SCORE 93742.829
AT ITER 8602 NEW BEST:: SOT 2925364 SOS 594919 HAS SOPS 594102 HAS SOUS 93217 HAS SOUPS 93132 WITH SCORE 93726.919
AT ITER 8623 NEW BEST:: SOT 2925409 SOS 594964 HAS SOPS 594147 HAS SOUS 93199 HAS SOUPS 93114 WITH SCORE 93708.964
AT ITER 8637 NEW BEST:: SOT 2925386 SOS 594941 HAS SOPS 594124 HAS SOUS 93176 HAS SOUPS 93091 WITH SCORE 93685.941
AT ITER 8644 NEW BEST:: SOT 2925386 SOS 594941 HAS SOPS 594124 HAS SOUS 93158 HAS SOUPS 93073 WITH SCORE 93667.941
AT ITER 8645 NEW BEST:: SOT 2925386 SOS 594940 HAS SOPS 594123 HAS SOUS 93158 HAS SOUPS 93073 WITH SCORE 93667.94
AT ITER 8646 NEW BEST:: SOT 2925328 SOS 594882 HAS SOPS 594065 HAS SOUS 93042 HAS SOUPS 92957 WITH SCORE 93551.882
AT ITER 8682 NEW BEST:: SOT 2925328 SOS 594882 HAS SOPS 594065 HAS SOUS 92939 HAS SOUPS 92854 WITH SCORE 93448.882
AT ITER 8722 NEW BEST:: SOT 2925324 SOS 594878 HAS SOPS 594061 HAS SOUS 92934 HAS SOUPS 92849 WITH SCORE 93443.878
AT ITER 8723 NEW BEST:: SOT 2925331 SOS 594885 HAS SOPS 594068 HAS SOUS 92896 HAS SOUPS 92811 WITH SCORE 93405.885
AT ITER 8729 NEW BEST:: SOT 2925313 SOS 594867 HAS SOPS 594050 HAS SOUS 92864 HAS SOUPS 92779 WITH SCORE 93373.867
AT ITER 8730 NEW BEST:: SOT 2925306 SOS 594860 HAS SOPS 594043 HAS SOUS 92850 HAS SOUPS 92765 WITH SCORE 93359.86
AT ITER 8748 NEW BEST:: SOT 2925288 SOS 594842 HAS SOPS 594025 HAS SOUS 92797 HAS SOUPS 92712 WITH SCORE 93306.842
AT ITER 8749 NEW BEST:: SOT 2925288 SOS 594842 HAS SOPS 594025 HAS SOUS 92772 HAS SOUPS 92687 WITH SCORE 93281.842
AT ITER 8769 NEW BEST:: SOT 2925194 SOS 594794 HAS SOPS 593977 HAS SOUS 92676 HAS SOUPS 92591 WITH SCORE 93185.794
AT ITER 8771 NEW BEST:: SOT 2925123 SOS 594723 HAS SOPS 593906 HAS SOUS 92561 HAS SOUPS 92476 WITH SCORE 93070.723
AT ITER 8784 NEW BEST:: SOT 2925057 SOS 594657 HAS SOPS 593840 HAS SOUS 92529 HAS SOUPS 92444 WITH SCORE 93038.657
AT ITER 8797 NEW BEST:: SOT 2924957 SOS 594457 HAS SOPS 593640 HAS SOUS 92329 HAS SOUPS 92244 WITH SCORE 92838.457
AT ITER 8812 NEW BEST:: SOT 2924945 SOS 594445 HAS SOPS 593628 HAS SOUS 92305 HAS SOUPS 92220 WITH SCORE 92814.445
AT ITER 8830 NEW BEST:: SOT 2925239 SOS 594739 HAS SOPS 593922 HAS SOUS 92096 HAS SOUPS 92011 WITH SCORE 92605.739
AT ITER 8839 NEW BEST:: SOT 2925247 SOS 594747 HAS SOPS 593930 HAS SOUS 92055 HAS SOUPS 91970 WITH SCORE 92564.747
AT ITER 8846 NEW BEST:: SOT 2925247 SOS 594747 HAS SOPS 593930 HAS SOUS 92049 HAS SOUPS 91964 WITH SCORE 92558.747
AT ITER 8880 NEW BEST:: SOT 2925242 SOS 594742 HAS SOPS 593925 HAS SOUS 92044 HAS SOUPS 91959 WITH SCORE 92553.742
AT ITER 8882 NEW BEST:: SOT 2925226 SOS 594726 HAS SOPS 593909 HAS SOUS 92028 HAS SOUPS 91943 WITH SCORE 92537.726
AT ITER 8888 NEW BEST:: SOT 2925166 SOS 594666 HAS SOPS 593849 HAS SOUS 91942 HAS SOUPS 91857 WITH SCORE 92451.666
AT ITER 8898 NEW BEST:: SOT 2925078 SOS 594578 HAS SOPS 593761 HAS SOUS 91854 HAS SOUPS 91769 WITH SCORE 92363.578
AT ITER 8902 NEW BEST:: SOT 2924992 SOS 594492 HAS SOPS 593675 HAS SOUS 91732 HAS SOUPS 91647 WITH SCORE 92241.492
AT ITER 8956 NEW BEST:: SOT 2924967 SOS 594358 HAS SOPS 593541 HAS SOUS 91666 HAS SOUPS 91581 WITH SCORE 92175.358
AT ITER 8972 NEW BEST:: SOT 2922268 SOS 591690 HAS SOPS 590873 HAS SOUS 91448 HAS SOUPS 91363 WITH SCORE 91954.69
AT ITER 8977 NEW BEST:: SOT 2922268 SOS 591690 HAS SOPS 590873 HAS SOUS 91425 HAS SOUPS 91340 WITH SCORE 91931.69
AT ITER 8985 NEW BEST:: SOT 2922255 SOS 591677 HAS SOPS 590860 HAS SOUS 91405 HAS SOUPS 91320 WITH SCORE 91911.677
AT ITER 8992 NEW BEST:: SOT 2922200 SOS 591622 HAS SOPS 590805 HAS SOUS 91401 HAS SOUPS 91316 WITH SCORE 91907.622
AT ITER 9028 NEW BEST:: SOT 2922194 SOS 591610 HAS SOPS 590793 HAS SOUS 91389 HAS SOUPS 91304 WITH SCORE 91895.61
AT ITER 9042 NEW BEST:: SOT 2922176 SOS 591574 HAS SOPS 590757 HAS SOUS 91353 HAS SOUPS 91268 WITH SCORE 91859.574
AT ITER 9053 NEW BEST:: SOT 2922088 SOS 591561 HAS SOPS 590744 HAS SOUS 91327 HAS SOUPS 91242 WITH SCORE 91833.561
AT ITER 9075 NEW BEST:: SOT 2922038 SOS 591543 HAS SOPS 590726 HAS SOUS 91291 HAS SOUPS 91206 WITH SCORE 91797.543
AT ITER 9083 NEW BEST:: SOT 2921948 SOS 591453 HAS SOPS 590636 HAS SOUS 91179 HAS SOUPS 91094 WITH SCORE 91685.453
AT ITER 9090 NEW BEST:: SOT 2921946 SOS 591442 HAS SOPS 590625 HAS SOUS 91175 HAS SOUPS 91090 WITH SCORE 91681.442
AT ITER 9117 NEW BEST:: SOT 2921935 SOS 591431 HAS SOPS 590614 HAS SOUS 91153 HAS SOUPS 91068 WITH SCORE 91659.431
AT ITER 9133 NEW BEST:: SOT 2921911 SOS 591407 HAS SOPS 590590 HAS SOUS 91153 HAS SOUPS 91068 WITH SCORE 91659.407
AT ITER 9144 NEW BEST:: SOT 2921911 SOS 591407 HAS SOPS 590590 HAS SOUS 91135 HAS SOUPS 91050 WITH SCORE 91641.407
AT ITER 9145 NEW BEST:: SOT 2921909 SOS 591403 HAS SOPS 590586 HAS SOUS 91131 HAS SOUPS 91046 WITH SCORE 91637.403
AT ITER 9146 NEW BEST:: SOT 2921909 SOS 591310 HAS SOPS 590493 HAS SOUS 91131 HAS SOUPS 91046 WITH SCORE 91637.31
AT ITER 9150 NEW BEST:: SOT 2921735 SOS 591245 HAS SOPS 590428 HAS SOUS 90941 HAS SOUPS 90856 WITH SCORE 91447.245
AT ITER 9161 NEW BEST:: SOT 2921648 SOS 591158 HAS SOPS 590341 HAS SOUS 90796 HAS SOUPS 90711 WITH SCORE 91302.158
AT ITER 9177 NEW BEST:: SOT 2921616 SOS 591126 HAS SOPS 590309 HAS SOUS 90732 HAS SOUPS 90647 WITH SCORE 91238.126
AT ITER 9178 NEW BEST:: SOT 2921599 SOS 591109 HAS SOPS 590292 HAS SOUS 90618 HAS SOUPS 90533 WITH SCORE 91124.109
AT ITER 9189 NEW BEST:: SOT 2921591 SOS 591101 HAS SOPS 590284 HAS SOUS 90602 HAS SOUPS 90517 WITH SCORE 91108.101
AT ITER 9223 NEW BEST:: SOT 2921591 SOS 591054 HAS SOPS 590237 HAS SOUS 90602 HAS SOUPS 90517 WITH SCORE 91108.054
AT ITER 9237 NEW BEST:: SOT 2921482 SOS 590997 HAS SOPS 590180 HAS SOUS 90488 HAS SOUPS 90403 WITH SCORE 90993.997
AT ITER 9286 NEW BEST:: SOT 2921438 SOS 590953 HAS SOPS 590136 HAS SOUS 90400 HAS SOUPS 90315 WITH SCORE 90905.953
AT ITER 9338 NEW BEST:: SOT 2921385 SOS 590900 HAS SOPS 590083 HAS SOUS 90294 HAS SOUPS 90209 WITH SCORE 90799.9
AT ITER 9369 NEW BEST:: SOT 2921376 SOS 590891 HAS SOPS 590074 HAS SOUS 90221 HAS SOUPS 90136 WITH SCORE 90726.891
AT ITER 9414 NEW BEST:: SOT 2921360 SOS 590875 HAS SOPS 590058 HAS SOUS 90192 HAS SOUPS 90107 WITH SCORE 90697.875
AT ITER 9420 NEW BEST:: SOT 2921338 SOS 590864 HAS SOPS 590047 HAS SOUS 90170 HAS SOUPS 90085 WITH SCORE 90675.864
AT ITER 9425 NEW BEST:: SOT 2921334 SOS 590860 HAS SOPS 590043 HAS SOUS 90117 HAS SOUPS 90032 WITH SCORE 90622.86
AT ITER 9440 NEW BEST:: SOT 2921347 SOS 590834 HAS SOPS 590017 HAS SOUS 90091 HAS SOUPS 90006 WITH SCORE 90596.834
AT ITER 9459 NEW BEST:: SOT 2921332 SOS 591138 HAS SOPS 590321 HAS SOUS 90078 HAS SOUPS 89993 WITH SCORE 90584.138
AT ITER 9477 NEW BEST:: SOT 2921322 SOS 591128 HAS SOPS 590311 HAS SOUS 89757 HAS SOUPS 89672 WITH SCORE 90263.128
AT ITER 9495 NEW BEST:: SOT 2921466 SOS 591272 HAS SOPS 590455 HAS SOUS 89637 HAS SOUPS 89552 WITH SCORE 90143.272
AT ITER 9510 NEW BEST:: SOT 2921466 SOS 591272 HAS SOPS 590455 HAS SOUS 89618 HAS SOUPS 89533 WITH SCORE 90124.272
AT ITER 9515 NEW BEST:: SOT 2921435 SOS 591241 HAS SOPS 590424 HAS SOUS 89559 HAS SOUPS 89474 WITH SCORE 90065.241
AT ITER 9516 NEW BEST:: SOT 2921417 SOS 591232 HAS SOPS 590415 HAS SOUS 89541 HAS SOUPS 89456 WITH SCORE 90047.232
AT ITER 9593 NEW BEST:: SOT 2921406 SOS 591221 HAS SOPS 590404 HAS SOUS 89530 HAS SOUPS 89445 WITH SCORE 90036.221
AT ITER 9595 NEW BEST:: SOT 2921404 SOS 591219 HAS SOPS 590402 HAS SOUS 89526 HAS SOUPS 89441 WITH SCORE 90032.219
AT ITER 9606 NEW BEST:: SOT 2921453 SOS 612435 HAS SOPS 611618 HAS SOUS 89498 HAS SOUPS 89413 WITH SCORE 90025.435
AT ITER 9616 NEW BEST:: SOT 2921437 SOS 612430 HAS SOPS 611613 HAS SOUS 89492 HAS SOUPS 89407 WITH SCORE 90019.43
AT ITER 9658 NEW BEST:: SOT 2921426 SOS 612419 HAS SOPS 611602 HAS SOUS 89459 HAS SOUPS 89374 WITH SCORE 89986.419
AT ITER 9661 NEW BEST:: SOT 2921415 SOS 612408 HAS SOPS 611591 HAS SOUS 89448 HAS SOUPS 89363 WITH SCORE 89975.408
AT ITER 9664 NEW BEST:: SOT 2921448 SOS 612441 HAS SOPS 611624 HAS SOUS 89433 HAS SOUPS 89348 WITH SCORE 89960.441
AT ITER 9688 NEW BEST:: SOT 2921443 SOS 612436 HAS SOPS 611619 HAS SOUS 89418 HAS SOUPS 89333 WITH SCORE 89945.436
AT ITER 9698 NEW BEST:: SOT 2921420 SOS 612436 HAS SOPS 611619 HAS SOUS 89381 HAS SOUPS 89296 WITH SCORE 89908.436
AT ITER 9708 NEW BEST:: SOT 2921398 SOS 612414 HAS SOPS 611597 HAS SOUS 89376 HAS SOUPS 89291 WITH SCORE 89903.414
AT ITER 9755 NEW BEST:: SOT 2921373 SOS 612437 HAS SOPS 611620 HAS SOUS 89353 HAS SOUPS 89268 WITH SCORE 89880.437
AT ITER 9803 NEW BEST:: SOT 2921373 SOS 612437 HAS SOPS 611620 HAS SOUS 89349 HAS SOUPS 89264 WITH SCORE 89876.437
AT ITER 9817 NEW BEST:: SOT 2921369 SOS 612433 HAS SOPS 611616 HAS SOUS 89345 HAS SOUPS 89260 WITH SCORE 89872.433
AT ITER 9834 NEW BEST:: SOT 2921371 SOS 612435 HAS SOPS 611618 HAS SOUS 89323 HAS SOUPS 89238 WITH SCORE 89850.435
AT ITER 9845 NEW BEST:: SOT 2921343 SOS 612407 HAS SOPS 611590 HAS SOUS 89295 HAS SOUPS 89210 WITH SCORE 89822.407
AT ITER 9850 NEW BEST:: SOT 2921297 SOS 612361 HAS SOPS 611544 HAS SOUS 89187 HAS SOUPS 89102 WITH SCORE 89714.361
AT ITER 9886 NEW BEST:: SOT 2921249 SOS 612380 HAS SOPS 611563 HAS SOUS 89091 HAS SOUPS 89006 WITH SCORE 89618.38
AT ITER 9887 NEW BEST:: SOT 2921247 SOS 612378 HAS SOPS 611561 HAS SOUS 89089 HAS SOUPS 89004 WITH SCORE 89616.378
AT ITER 9892 NEW BEST:: SOT 2921243 SOS 612374 HAS SOPS 611557 HAS SOUS 89075 HAS SOUPS 88990 WITH SCORE 89602.374
AT ITER 9938 NEW BEST:: SOT 2921216 SOS 612347 HAS SOPS 611530 HAS SOUS 89048 HAS SOUPS 88963 WITH SCORE 89575.347

BK_TIME_CONFINEMENT_REACHED

--------------------
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="PolyORBNT-PT-S10J30"
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 PolyORBNT-PT-S10J30, 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 r123-tajo-158961355100688"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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