Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r291-tall-167873942900472.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is PolyORBLF-COL-S06J06T04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873942900472
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 544K
-rw-r--r-- 1 mcc users 6.3K Feb 26 13:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 52K Feb 26 13:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 13:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 13:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 16:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 16:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 16:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 14:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 96K Feb 26 14:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 26 14:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 26 14:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:35 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 154K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678795564422

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBLF-COL-S06J06T04
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 12:06:07] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 12:06:07] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 12:06:07] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-14 12:06:07] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 12:06:08] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1071 ms
[2023-03-14 12:06:08] [INFO ] Imported 81 HL places and 65 HL transitions for a total of 506 PT places and 7196.0 transition bindings in 63 ms.
[2023-03-14 12:06:08] [INFO ] Unfolded HLPN to a Petri net with 506 places and 7154 transitions 59824 arcs in 297 ms.
[2023-03-14 12:06:08] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Ensure Unique test removed 5380 transitions
Reduce isomorphic transitions removed 5380 transitions.
[2023-03-14 12:06:09] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 506 places, 1774 transitions and 10564 arcs took 54 ms.
Total runtime 1927 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (COL), instance S06J06T04
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 506 places, 1774 transitions, 10564 arcs.
AT ITER 0 NEW BEST:: SOT 729177 SOS 322489 HAS SOPS 303635 HAS SOUS 234427 HAS SOUPS 233342 WITH SCORE 233664.489
AT ITER 2 NEW BEST:: SOT 727096 SOS 323554 HAS SOPS 303120 HAS SOUS 232588 HAS SOUPS 231108 WITH SCORE 231431.554
AT ITER 22 NEW BEST:: SOT 727096 SOS 323587 HAS SOPS 303153 HAS SOUS 232585 HAS SOUPS 231105 WITH SCORE 231428.587
AT ITER 25 NEW BEST:: SOT 726907 SOS 323416 HAS SOPS 302982 HAS SOUS 232386 HAS SOUPS 230906 WITH SCORE 231229.416
AT ITER 30 NEW BEST:: SOT 726888 SOS 323397 HAS SOPS 302963 HAS SOUS 232385 HAS SOUPS 230905 WITH SCORE 231228.397
AT ITER 37 NEW BEST:: SOT 726776 SOS 322933 HAS SOPS 302651 HAS SOUS 232185 HAS SOUPS 230705 WITH SCORE 231027.933
AT ITER 42 NEW BEST:: SOT 726259 SOS 322768 HAS SOPS 302522 HAS SOUS 231886 HAS SOUPS 230411 WITH SCORE 230733.768
AT ITER 49 NEW BEST:: SOT 726259 SOS 322768 HAS SOPS 302500 HAS SOUS 231869 HAS SOUPS 230389 WITH SCORE 230711.768
AT ITER 50 NEW BEST:: SOT 726257 SOS 322764 HAS SOPS 302496 HAS SOUS 231865 HAS SOUPS 230385 WITH SCORE 230707.764
AT ITER 55 NEW BEST:: SOT 726160 SOS 322667 HAS SOPS 302565 HAS SOUS 231863 HAS SOUPS 230383 WITH SCORE 230705.667
AT ITER 59 NEW BEST:: SOT 726160 SOS 322667 HAS SOPS 302565 HAS SOUS 231821 HAS SOUPS 230341 WITH SCORE 230663.667
AT ITER 67 NEW BEST:: SOT 726022 SOS 322599 HAS SOPS 302497 HAS SOUS 231691 HAS SOUPS 230211 WITH SCORE 230533.599
AT ITER 74 NEW BEST:: SOT 725761 SOS 322338 HAS SOPS 302236 HAS SOUS 231583 HAS SOUPS 230103 WITH SCORE 230425.338
AT ITER 83 NEW BEST:: SOT 725759 SOS 322330 HAS SOPS 302228 HAS SOUS 231575 HAS SOUPS 230095 WITH SCORE 230417.33
AT ITER 84 NEW BEST:: SOT 725579 SOS 321790 HAS SOPS 301688 HAS SOUS 231350 HAS SOUPS 229870 WITH SCORE 230191.79
AT ITER 90 NEW BEST:: SOT 725579 SOS 321263 HAS SOPS 301590 HAS SOUS 231252 HAS SOUPS 229772 WITH SCORE 230093.263
AT ITER 93 NEW BEST:: SOT 724088 SOS 336152 HAS SOPS 316479 HAS SOUS 230863 HAS SOUPS 229383 WITH SCORE 229719.152
AT ITER 97 NEW BEST:: SOT 724069 SOS 336133 HAS SOPS 316441 HAS SOUS 230836 HAS SOUPS 229335 WITH SCORE 229671.133
AT ITER 100 NEW BEST:: SOT 723970 SOS 335935 HAS SOPS 316441 HAS SOUS 230836 HAS SOUPS 229335 WITH SCORE 229670.935
AT ITER 105 NEW BEST:: SOT 723864 SOS 335302 HAS SOPS 315808 HAS SOUS 230701 HAS SOUPS 229200 WITH SCORE 229535.302
AT ITER 114 NEW BEST:: SOT 723583 SOS 334639 HAS SOPS 315498 HAS SOUS 230460 HAS SOUPS 228959 WITH SCORE 229293.639
AT ITER 130 NEW BEST:: SOT 723751 SOS 333860 HAS SOPS 314719 HAS SOUS 230115 HAS SOUPS 228614 WITH SCORE 228947.86
AT ITER 133 NEW BEST:: SOT 706528 SOS 386185 HAS SOPS 367044 HAS SOUS 214209 HAS SOUPS 212708 WITH SCORE 213094.185
AT ITER 139 NEW BEST:: SOT 706293 SOS 385950 HAS SOPS 366809 HAS SOUS 213970 HAS SOUPS 212469 WITH SCORE 212854.95
AT ITER 143 NEW BEST:: SOT 706293 SOS 386973 HAS SOPS 367832 HAS SOUS 213928 HAS SOUPS 212427 WITH SCORE 212813.973
AT ITER 144 NEW BEST:: SOT 705944 SOS 386702 HAS SOPS 367561 HAS SOUS 213910 HAS SOUPS 212409 WITH SCORE 212795.702
AT ITER 146 NEW BEST:: SOT 705856 SOS 386614 HAS SOPS 367649 HAS SOUS 213874 HAS SOUPS 212373 WITH SCORE 212759.614
AT ITER 160 NEW BEST:: SOT 705856 SOS 386711 HAS SOPS 368006 HAS SOUS 213792 HAS SOUPS 212291 WITH SCORE 212677.711
AT ITER 167 NEW BEST:: SOT 705851 SOS 386706 HAS SOPS 368001 HAS SOUS 213782 HAS SOUPS 212281 WITH SCORE 212667.706
AT ITER 175 NEW BEST:: SOT 705851 SOS 386742 HAS SOPS 368049 HAS SOUS 213734 HAS SOUPS 212233 WITH SCORE 212619.742
AT ITER 180 NEW BEST:: SOT 705666 SOS 386427 HAS SOPS 367734 HAS SOUS 213507 HAS SOUPS 212006 WITH SCORE 212392.427
AT ITER 182 NEW BEST:: SOT 705510 SOS 385335 HAS SOPS 366642 HAS SOUS 213351 HAS SOUPS 211850 WITH SCORE 212235.335
AT ITER 184 NEW BEST:: SOT 705296 SOS 384922 HAS SOPS 366229 HAS SOUS 213068 HAS SOUPS 211567 WITH SCORE 211951.922
AT ITER 192 NEW BEST:: SOT 698510 SOS 390694 HAS SOPS 372001 HAS SOUS 207056 HAS SOUPS 205555 WITH SCORE 205945.694
AT ITER 199 NEW BEST:: SOT 698494 SOS 390688 HAS SOPS 371995 HAS SOUS 206967 HAS SOUPS 205466 WITH SCORE 205856.688
AT ITER 215 NEW BEST:: SOT 698430 SOS 390624 HAS SOPS 371941 HAS SOUS 206933 HAS SOUPS 205432 WITH SCORE 205822.624
AT ITER 219 NEW BEST:: SOT 698427 SOS 390618 HAS SOPS 371935 HAS SOUS 206927 HAS SOUPS 205426 WITH SCORE 205816.618
AT ITER 225 NEW BEST:: SOT 698320 SOS 366150 HAS SOPS 347646 HAS SOUS 206900 HAS SOUPS 205399 WITH SCORE 205765.15
AT ITER 226 NEW BEST:: SOT 698140 SOS 365940 HAS SOPS 347075 HAS SOUS 206581 HAS SOUPS 205080 WITH SCORE 205445.94
AT ITER 238 NEW BEST:: SOT 698140 SOS 363152 HAS SOPS 344287 HAS SOUS 206479 HAS SOUPS 204978 WITH SCORE 205341.152
AT ITER 241 NEW BEST:: SOT 697937 SOS 362949 HAS SOPS 344084 HAS SOUS 206276 HAS SOUPS 204775 WITH SCORE 205137.949
AT ITER 242 NEW BEST:: SOT 695473 SOS 361270 HAS SOPS 342405 HAS SOUS 203940 HAS SOUPS 202439 WITH SCORE 202800.27
AT ITER 251 NEW BEST:: SOT 695489 SOS 361322 HAS SOPS 342469 HAS SOUS 203798 HAS SOUPS 202297 WITH SCORE 202658.322
AT ITER 254 NEW BEST:: SOT 695377 SOS 360822 HAS SOPS 342413 HAS SOUS 203645 HAS SOUPS 202144 WITH SCORE 202504.822
AT ITER 262 NEW BEST:: SOT 695269 SOS 360704 HAS SOPS 342295 HAS SOUS 203545 HAS SOUPS 202044 WITH SCORE 202404.704
AT ITER 272 NEW BEST:: SOT 695195 SOS 360642 HAS SOPS 342233 HAS SOUS 203369 HAS SOUPS 201868 WITH SCORE 202228.642
AT ITER 278 NEW BEST:: SOT 695072 SOS 360519 HAS SOPS 342229 HAS SOUS 203351 HAS SOUPS 201849 WITH SCORE 202209.519
AT ITER 279 NEW BEST:: SOT 695020 SOS 360467 HAS SOPS 342073 HAS SOUS 203286 HAS SOUPS 201784 WITH SCORE 202144.467
AT ITER 280 NEW BEST:: SOT 695015 SOS 360462 HAS SOPS 342331 HAS SOUS 203247 HAS SOUPS 201745 WITH SCORE 202105.462
AT ITER 281 NEW BEST:: SOT 694947 SOS 359448 HAS SOPS 341317 HAS SOUS 203136 HAS SOUPS 201634 WITH SCORE 201993.448
AT ITER 292 NEW BEST:: SOT 694399 SOS 359000 HAS SOPS 340869 HAS SOUS 203010 HAS SOUPS 201508 WITH SCORE 201867.0
AT ITER 294 NEW BEST:: SOT 694399 SOS 359000 HAS SOPS 340869 HAS SOUS 203007 HAS SOUPS 201505 WITH SCORE 201864.0
AT ITER 300 NEW BEST:: SOT 694399 SOS 360058 HAS SOPS 341927 HAS SOUS 202999 HAS SOUPS 201497 WITH SCORE 201857.058
AT ITER 303 NEW BEST:: SOT 694409 SOS 360068 HAS SOPS 341907 HAS SOUS 203006 HAS SOUPS 201476 WITH SCORE 201836.068
AT ITER 304 NEW BEST:: SOT 694042 SOS 360885 HAS SOPS 342724 HAS SOUS 202823 HAS SOUPS 201293 WITH SCORE 201653.885
AT ITER 315 NEW BEST:: SOT 694009 SOS 361061 HAS SOPS 342900 HAS SOUS 202790 HAS SOUPS 201260 WITH SCORE 201621.061
AT ITER 316 NEW BEST:: SOT 693984 SOS 361036 HAS SOPS 342875 HAS SOUS 202765 HAS SOUPS 201235 WITH SCORE 201596.036
AT ITER 320 NEW BEST:: SOT 693904 SOS 361028 HAS SOPS 342867 HAS SOUS 202575 HAS SOUPS 201045 WITH SCORE 201406.028
AT ITER 327 NEW BEST:: SOT 693904 SOS 361028 HAS SOPS 342867 HAS SOUS 202575 HAS SOUPS 201043 WITH SCORE 201404.028
AT ITER 331 NEW BEST:: SOT 693828 SOS 344800 HAS SOPS 326639 HAS SOUS 202407 HAS SOUPS 200875 WITH SCORE 201219.8
AT ITER 337 NEW BEST:: SOT 693810 SOS 344914 HAS SOPS 326753 HAS SOUS 202320 HAS SOUPS 200788 WITH SCORE 201132.914
AT ITER 353 NEW BEST:: SOT 693810 SOS 344914 HAS SOPS 326753 HAS SOUS 202236 HAS SOUPS 200704 WITH SCORE 201048.914
AT ITER 354 NEW BEST:: SOT 693359 SOS 344463 HAS SOPS 326302 HAS SOUS 201784 HAS SOUPS 200252 WITH SCORE 200596.463
AT ITER 355 NEW BEST:: SOT 693353 SOS 344457 HAS SOPS 325924 HAS SOUS 201632 HAS SOUPS 200100 WITH SCORE 200444.457
AT ITER 359 NEW BEST:: SOT 693428 SOS 344752 HAS SOPS 325706 HAS SOUS 201484 HAS SOUPS 199932 WITH SCORE 200276.752
AT ITER 367 NEW BEST:: SOT 693401 SOS 345081 HAS SOPS 326035 HAS SOUS 201457 HAS SOUPS 199905 WITH SCORE 200250.081
AT ITER 372 NEW BEST:: SOT 693121 SOS 344743 HAS SOPS 325697 HAS SOUS 201296 HAS SOUPS 199744 WITH SCORE 200088.743
AT ITER 377 NEW BEST:: SOT 693115 SOS 344740 HAS SOPS 325670 HAS SOUS 201287 HAS SOUPS 199735 WITH SCORE 200079.74
AT ITER 382 NEW BEST:: SOT 693126 SOS 344832 HAS SOPS 325789 HAS SOUS 201201 HAS SOUPS 199649 WITH SCORE 199993.832
AT ITER 384 NEW BEST:: SOT 693102 SOS 344808 HAS SOPS 325829 HAS SOUS 201128 HAS SOUPS 199576 WITH SCORE 199920.808
AT ITER 387 NEW BEST:: SOT 693238 SOS 345273 HAS SOPS 326294 HAS SOUS 200485 HAS SOUPS 198933 WITH SCORE 199278.273
AT ITER 388 NEW BEST:: SOT 693425 SOS 345460 HAS SOPS 326481 HAS SOUS 200470 HAS SOUPS 198918 WITH SCORE 199263.46
AT ITER 394 NEW BEST:: SOT 693416 SOS 345231 HAS SOPS 326492 HAS SOUS 200414 HAS SOUPS 198862 WITH SCORE 199207.231
AT ITER 395 NEW BEST:: SOT 693395 SOS 345357 HAS SOPS 326257 HAS SOUS 199822 HAS SOUPS 198270 WITH SCORE 198615.357
AT ITER 403 NEW BEST:: SOT 693321 SOS 319340 HAS SOPS 300240 HAS SOUS 199296 HAS SOUPS 197744 WITH SCORE 198063.34
AT ITER 412 NEW BEST:: SOT 693261 SOS 319273 HAS SOPS 300173 HAS SOUS 199226 HAS SOUPS 197674 WITH SCORE 197993.273
AT ITER 420 NEW BEST:: SOT 693176 SOS 319188 HAS SOPS 300173 HAS SOUS 199136 HAS SOUPS 197589 WITH SCORE 197908.188
AT ITER 425 NEW BEST:: SOT 693174 SOS 318710 HAS SOPS 299695 HAS SOUS 199134 HAS SOUPS 197587 WITH SCORE 197905.71
AT ITER 433 NEW BEST:: SOT 693174 SOS 317015 HAS SOPS 298000 HAS SOUS 199045 HAS SOUPS 197498 WITH SCORE 197815.015
AT ITER 436 NEW BEST:: SOT 693099 SOS 316927 HAS SOPS 297912 HAS SOUS 198891 HAS SOUPS 197344 WITH SCORE 197660.927
AT ITER 442 NEW BEST:: SOT 693090 SOS 315055 HAS SOPS 296040 HAS SOUS 198855 HAS SOUPS 197308 WITH SCORE 197623.055
AT ITER 444 NEW BEST:: SOT 693090 SOS 315055 HAS SOPS 296114 HAS SOUS 198818 HAS SOUPS 197271 WITH SCORE 197586.055
AT ITER 449 NEW BEST:: SOT 692983 SOS 315376 HAS SOPS 296435 HAS SOUS 198711 HAS SOUPS 197164 WITH SCORE 197479.376
AT ITER 450 NEW BEST:: SOT 692758 SOS 315066 HAS SOPS 296125 HAS SOUS 198486 HAS SOUPS 196939 WITH SCORE 197254.066
AT ITER 452 NEW BEST:: SOT 692672 SOS 314851 HAS SOPS 295910 HAS SOUS 198426 HAS SOUPS 196879 WITH SCORE 197193.851
AT ITER 455 NEW BEST:: SOT 692755 SOS 315117 HAS SOPS 295851 HAS SOUS 198358 HAS SOUPS 196808 WITH SCORE 197123.117
AT ITER 456 NEW BEST:: SOT 692775 SOS 315097 HAS SOPS 295844 HAS SOUS 198346 HAS SOUPS 196797 WITH SCORE 197112.097
AT ITER 463 NEW BEST:: SOT 691474 SOS 314040 HAS SOPS 294543 HAS SOUS 197167 HAS SOUPS 195557 WITH SCORE 195871.04
AT ITER 485 NEW BEST:: SOT 691474 SOS 314040 HAS SOPS 294599 HAS SOUS 197139 HAS SOUPS 195529 WITH SCORE 195843.04
AT ITER 487 NEW BEST:: SOT 691431 SOS 314163 HAS SOPS 294722 HAS SOUS 197027 HAS SOUPS 195417 WITH SCORE 195731.163
AT ITER 495 NEW BEST:: SOT 691431 SOS 314144 HAS SOPS 294703 HAS SOUS 196972 HAS SOUPS 195362 WITH SCORE 195676.144
AT ITER 502 NEW BEST:: SOT 691455 SOS 314354 HAS SOPS 294913 HAS SOUS 196425 HAS SOUPS 194815 WITH SCORE 195129.354
AT ITER 509 NEW BEST:: SOT 691468 SOS 314367 HAS SOPS 294926 HAS SOUS 196205 HAS SOUPS 194595 WITH SCORE 194909.367
AT ITER 517 NEW BEST:: SOT 691450 SOS 314324 HAS SOPS 294883 HAS SOUS 196185 HAS SOUPS 194575 WITH SCORE 194889.324
AT ITER 524 NEW BEST:: SOT 691410 SOS 314358 HAS SOPS 294833 HAS SOUS 196177 HAS SOUPS 194546 WITH SCORE 194860.358
AT ITER 527 NEW BEST:: SOT 649959 SOS 356433 HAS SOPS 336908 HAS SOUS 155608 HAS SOUPS 153977 WITH SCORE 154333.433
AT ITER 535 NEW BEST:: SOT 650108 SOS 356582 HAS SOPS 337229 HAS SOUS 155402 HAS SOUPS 153771 WITH SCORE 154127.582
AT ITER 537 NEW BEST:: SOT 649996 SOS 356470 HAS SOPS 337276 HAS SOUS 155349 HAS SOUPS 153718 WITH SCORE 154074.47
AT ITER 538 NEW BEST:: SOT 649996 SOS 356270 HAS SOPS 337277 HAS SOUS 155346 HAS SOUPS 153718 WITH SCORE 154074.27
AT ITER 539 NEW BEST:: SOT 649702 SOS 355907 HAS SOPS 336914 HAS SOUS 155268 HAS SOUPS 153640 WITH SCORE 153995.907
AT ITER 540 NEW BEST:: SOT 649702 SOS 351046 HAS SOPS 332053 HAS SOUS 155223 HAS SOUPS 153595 WITH SCORE 153946.046
AT ITER 543 NEW BEST:: SOT 649697 SOS 351045 HAS SOPS 332052 HAS SOUS 155220 HAS SOUPS 153592 WITH SCORE 153943.045
AT ITER 546 NEW BEST:: SOT 649699 SOS 351047 HAS SOPS 332252 HAS SOUS 154526 HAS SOUPS 152900 WITH SCORE 153251.047
AT ITER 550 NEW BEST:: SOT 649530 SOS 350847 HAS SOPS 332052 HAS SOUS 154256 HAS SOUPS 152630 WITH SCORE 152980.847
AT ITER 553 NEW BEST:: SOT 649530 SOS 350847 HAS SOPS 332061 HAS SOUS 154012 HAS SOUPS 152385 WITH SCORE 152735.847
AT ITER 556 NEW BEST:: SOT 649472 SOS 350585 HAS SOPS 331843 HAS SOUS 153940 HAS SOUPS 152313 WITH SCORE 152663.585
AT ITER 580 NEW BEST:: SOT 649468 SOS 350581 HAS SOPS 331839 HAS SOUS 153936 HAS SOUPS 152309 WITH SCORE 152659.581
AT ITER 586 NEW BEST:: SOT 649517 SOS 350884 HAS SOPS 332142 HAS SOUS 153848 HAS SOUPS 152221 WITH SCORE 152571.884
AT ITER 587 NEW BEST:: SOT 648224 SOS 352171 HAS SOPS 333429 HAS SOUS 152428 HAS SOUPS 150801 WITH SCORE 151153.171
AT ITER 591 NEW BEST:: SOT 648028 SOS 352101 HAS SOPS 333359 HAS SOUS 152403 HAS SOUPS 150776 WITH SCORE 151128.101
AT ITER 592 NEW BEST:: SOT 648001 SOS 352101 HAS SOPS 333359 HAS SOUS 152399 HAS SOUPS 150772 WITH SCORE 151124.101
AT ITER 594 NEW BEST:: SOT 647977 SOS 352077 HAS SOPS 333425 HAS SOUS 152261 HAS SOUPS 150634 WITH SCORE 150986.077
AT ITER 600 NEW BEST:: SOT 647977 SOS 351778 HAS SOPS 333126 HAS SOUS 152261 HAS SOUPS 150634 WITH SCORE 150985.778
AT ITER 601 NEW BEST:: SOT 647742 SOS 351732 HAS SOPS 333080 HAS SOUS 152068 HAS SOUPS 150441 WITH SCORE 150792.732
AT ITER 609 NEW BEST:: SOT 646968 SOS 350784 HAS SOPS 332132 HAS SOUS 151120 HAS SOUPS 149493 WITH SCORE 149843.784
AT ITER 612 NEW BEST:: SOT 647196 SOS 353118 HAS SOPS 333827 HAS SOUS 151047 HAS SOUPS 149420 WITH SCORE 149773.118
AT ITER 613 NEW BEST:: SOT 647196 SOS 353112 HAS SOPS 333821 HAS SOUS 151047 HAS SOUPS 149420 WITH SCORE 149773.112
AT ITER 629 NEW BEST:: SOT 647059 SOS 353122 HAS SOPS 333831 HAS SOUS 150924 HAS SOUPS 149297 WITH SCORE 149650.122
AT ITER 639 NEW BEST:: SOT 646624 SOS 352688 HAS SOPS 333344 HAS SOUS 150376 HAS SOUPS 148749 WITH SCORE 149101.688
AT ITER 645 NEW BEST:: SOT 646542 SOS 350217 HAS SOPS 333270 HAS SOUS 150294 HAS SOUPS 148704 WITH SCORE 149054.217
AT ITER 663 NEW BEST:: SOT 646652 SOS 350327 HAS SOPS 333291 HAS SOUS 150233 HAS SOUPS 148643 WITH SCORE 148993.327
AT ITER 666 NEW BEST:: SOT 646147 SOS 349936 HAS SOPS 332900 HAS SOUS 150221 HAS SOUPS 148631 WITH SCORE 148980.936
AT ITER 672 NEW BEST:: SOT 645912 SOS 349658 HAS SOPS 332622 HAS SOUS 149973 HAS SOUPS 148383 WITH SCORE 148732.658
AT ITER 680 NEW BEST:: SOT 645912 SOS 349658 HAS SOPS 332412 HAS SOUS 150082 HAS SOUPS 148330 WITH SCORE 148679.658
AT ITER 685 NEW BEST:: SOT 645938 SOS 349863 HAS SOPS 332617 HAS SOUS 150053 HAS SOUPS 148301 WITH SCORE 148650.863
AT ITER 687 NEW BEST:: SOT 646020 SOS 349971 HAS SOPS 332725 HAS SOUS 149991 HAS SOUPS 148239 WITH SCORE 148588.971
AT ITER 688 NEW BEST:: SOT 645993 SOS 349911 HAS SOPS 332665 HAS SOUS 149929 HAS SOUPS 148177 WITH SCORE 148526.911
AT ITER 692 NEW BEST:: SOT 646066 SOS 349984 HAS SOPS 332689 HAS SOUS 149862 HAS SOUPS 148110 WITH SCORE 148459.984
AT ITER 705 NEW BEST:: SOT 645944 SOS 349737 HAS SOPS 332714 HAS SOUS 149773 HAS SOUPS 148021 WITH SCORE 148370.737
AT ITER 710 NEW BEST:: SOT 646005 SOS 349798 HAS SOPS 332648 HAS SOUS 149688 HAS SOUPS 147936 WITH SCORE 148285.798
AT ITER 717 NEW BEST:: SOT 645997 SOS 349790 HAS SOPS 332712 HAS SOUS 149584 HAS SOUPS 147832 WITH SCORE 148181.79
AT ITER 718 NEW BEST:: SOT 645992 SOS 349908 HAS SOPS 332794 HAS SOUS 149582 HAS SOUPS 147830 WITH SCORE 148179.908
AT ITER 733 NEW BEST:: SOT 642318 SOS 346329 HAS SOPS 329847 HAS SOUS 145247 HAS SOUPS 143436 WITH SCORE 143782.329
AT ITER 738 NEW BEST:: SOT 641894 SOS 345905 HAS SOPS 329423 HAS SOUS 144823 HAS SOUPS 143012 WITH SCORE 143357.905
AT ITER 740 NEW BEST:: SOT 642108 SOS 346254 HAS SOPS 329772 HAS SOUS 144641 HAS SOUPS 142830 WITH SCORE 143176.254
AT ITER 744 NEW BEST:: SOT 642164 SOS 346316 HAS SOPS 329834 HAS SOUS 144603 HAS SOUPS 142792 WITH SCORE 143138.316
AT ITER 746 NEW BEST:: SOT 642148 SOS 346300 HAS SOPS 329876 HAS SOUS 144546 HAS SOUPS 142735 WITH SCORE 143081.3
AT ITER 748 NEW BEST:: SOT 642127 SOS 346279 HAS SOPS 329876 HAS SOUS 144504 HAS SOUPS 142693 WITH SCORE 143039.279
AT ITER 757 NEW BEST:: SOT 642064 SOS 346216 HAS SOPS 329975 HAS SOUS 144370 HAS SOUPS 142559 WITH SCORE 142905.216
AT ITER 775 NEW BEST:: SOT 642046 SOS 346092 HAS SOPS 329851 HAS SOUS 144361 HAS SOUPS 142550 WITH SCORE 142896.092
AT ITER 782 NEW BEST:: SOT 642016 SOS 346062 HAS SOPS 329801 HAS SOUS 144305 HAS SOUPS 142494 WITH SCORE 142840.062
AT ITER 793 NEW BEST:: SOT 641880 SOS 345879 HAS SOPS 329618 HAS SOUS 144018 HAS SOUPS 142207 WITH SCORE 142552.879
AT ITER 795 NEW BEST:: SOT 641803 SOS 345802 HAS SOPS 329541 HAS SOUS 143939 HAS SOUPS 142128 WITH SCORE 142473.802
AT ITER 797 NEW BEST:: SOT 641764 SOS 345880 HAS SOPS 329619 HAS SOUS 143900 HAS SOUPS 142089 WITH SCORE 142434.88
AT ITER 802 NEW BEST:: SOT 641708 SOS 345824 HAS SOPS 329563 HAS SOUS 143680 HAS SOUPS 141869 WITH SCORE 142214.824
AT ITER 812 NEW BEST:: SOT 641708 SOS 345859 HAS SOPS 329598 HAS SOUS 143667 HAS SOUPS 141856 WITH SCORE 142201.859
AT ITER 816 NEW BEST:: SOT 641603 SOS 345650 HAS SOPS 329389 HAS SOUS 143506 HAS SOUPS 141695 WITH SCORE 142040.65
AT ITER 818 NEW BEST:: SOT 641588 SOS 345635 HAS SOPS 329374 HAS SOUS 143460 HAS SOUPS 141649 WITH SCORE 141994.635
AT ITER 822 NEW BEST:: SOT 641414 SOS 345461 HAS SOPS 328843 HAS SOUS 142562 HAS SOUPS 140751 WITH SCORE 141096.461
AT ITER 848 NEW BEST:: SOT 641070 SOS 345545 HAS SOPS 328927 HAS SOUS 142082 HAS SOUPS 140271 WITH SCORE 140616.545
AT ITER 869 NEW BEST:: SOT 641023 SOS 345419 HAS SOPS 328801 HAS SOUS 141997 HAS SOUPS 140186 WITH SCORE 140531.419
AT ITER 885 NEW BEST:: SOT 641197 SOS 345593 HAS SOPS 329058 HAS SOUS 141890 HAS SOUPS 140079 WITH SCORE 140424.593
AT ITER 889 NEW BEST:: SOT 641252 SOS 350982 HAS SOPS 329150 HAS SOUS 141784 HAS SOUPS 139894 WITH SCORE 140244.982
AT ITER 890 NEW BEST:: SOT 641228 SOS 350974 HAS SOPS 329138 HAS SOUS 141776 HAS SOUPS 139882 WITH SCORE 140232.974
AT ITER 892 NEW BEST:: SOT 641192 SOS 351173 HAS SOPS 329337 HAS SOUS 141642 HAS SOUPS 139748 WITH SCORE 140099.173
AT ITER 893 NEW BEST:: SOT 641043 SOS 350420 HAS SOPS 328543 HAS SOUS 141298 HAS SOUPS 139404 WITH SCORE 139754.42
AT ITER 896 NEW BEST:: SOT 641014 SOS 350262 HAS SOPS 328385 HAS SOUS 141252 HAS SOUPS 139358 WITH SCORE 139708.262
AT ITER 909 NEW BEST:: SOT 641138 SOS 350386 HAS SOPS 328282 HAS SOUS 141156 HAS SOUPS 139240 WITH SCORE 139590.386
AT ITER 917 NEW BEST:: SOT 641191 SOS 350535 HAS SOPS 328625 HAS SOUS 140980 HAS SOUPS 139064 WITH SCORE 139414.535
AT ITER 919 NEW BEST:: SOT 641078 SOS 350723 HAS SOPS 328813 HAS SOUS 140829 HAS SOUPS 138913 WITH SCORE 139263.723
AT ITER 930 NEW BEST:: SOT 641142 SOS 350819 HAS SOPS 328909 HAS SOUS 140765 HAS SOUPS 138849 WITH SCORE 139199.819
AT ITER 942 NEW BEST:: SOT 641142 SOS 350875 HAS SOPS 328965 HAS SOUS 140429 HAS SOUPS 138513 WITH SCORE 138863.875
AT ITER 944 NEW BEST:: SOT 641775 SOS 351920 HAS SOPS 330010 HAS SOUS 140356 HAS SOUPS 138440 WITH SCORE 138791.92
AT ITER 957 NEW BEST:: SOT 641781 SOS 351839 HAS SOPS 329972 HAS SOUS 140326 HAS SOUPS 138410 WITH SCORE 138761.839
AT ITER 962 NEW BEST:: SOT 641888 SOS 352086 HAS SOPS 330219 HAS SOUS 140067 HAS SOUPS 138151 WITH SCORE 138503.086
AT ITER 969 NEW BEST:: SOT 641675 SOS 351873 HAS SOPS 330006 HAS SOUS 139857 HAS SOUPS 137941 WITH SCORE 138292.873
AT ITER 971 NEW BEST:: SOT 641719 SOS 352093 HAS SOPS 329874 HAS SOUS 139744 HAS SOUPS 137828 WITH SCORE 138180.093
AT ITER 983 NEW BEST:: SOT 641719 SOS 352093 HAS SOPS 329874 HAS SOUS 139639 HAS SOUPS 137723 WITH SCORE 138075.093
AT ITER 990 NEW BEST:: SOT 641700 SOS 352070 HAS SOPS 329851 HAS SOUS 139498 HAS SOUPS 137582 WITH SCORE 137934.07
AT ITER 994 NEW BEST:: SOT 641649 SOS 352096 HAS SOPS 329749 HAS SOUS 139396 HAS SOUPS 137480 WITH SCORE 137832.096
AT ITER 1000 NEW BEST:: SOT 641645 SOS 352100 HAS SOPS 329737 HAS SOUS 139384 HAS SOUPS 137468 WITH SCORE 137820.1
AT ITER 1006 NEW BEST:: SOT 641637 SOS 352092 HAS SOPS 329745 HAS SOUS 139379 HAS SOUPS 137463 WITH SCORE 137815.092
AT ITER 1007 NEW BEST:: SOT 641637 SOS 352092 HAS SOPS 329673 HAS SOUS 139327 HAS SOUPS 137411 WITH SCORE 137763.092
AT ITER 1008 NEW BEST:: SOT 641607 SOS 352062 HAS SOPS 329643 HAS SOUS 139267 HAS SOUPS 137351 WITH SCORE 137703.062
AT ITER 1019 NEW BEST:: SOT 641591 SOS 352141 HAS SOPS 329722 HAS SOUS 139230 HAS SOUPS 137314 WITH SCORE 137666.141
AT ITER 1021 NEW BEST:: SOT 641591 SOS 351989 HAS SOPS 329600 HAS SOUS 139217 HAS SOUPS 137306 WITH SCORE 137657.989
AT ITER 1030 NEW BEST:: SOT 641590 SOS 351988 HAS SOPS 329599 HAS SOUS 139215 HAS SOUPS 137304 WITH SCORE 137655.988
AT ITER 1040 NEW BEST:: SOT 639874 SOS 354713 HAS SOPS 342421 HAS SOUS 138569 HAS SOUPS 137020 WITH SCORE 137374.713
AT ITER 1043 NEW BEST:: SOT 639874 SOS 357012 HAS SOPS 344720 HAS SOUS 138563 HAS SOUPS 137014 WITH SCORE 137371.012
AT ITER 1052 NEW BEST:: SOT 639585 SOS 356723 HAS SOPS 344431 HAS SOUS 138403 HAS SOUPS 136854 WITH SCORE 137210.723
AT ITER 1067 NEW BEST:: SOT 639513 SOS 356684 HAS SOPS 344392 HAS SOUS 138329 HAS SOUPS 136780 WITH SCORE 137136.684
AT ITER 1081 NEW BEST:: SOT 639513 SOS 356684 HAS SOPS 344429 HAS SOUS 138325 HAS SOUPS 136776 WITH SCORE 137132.684
AT ITER 1086 NEW BEST:: SOT 639320 SOS 356461 HAS SOPS 344206 HAS SOUS 138306 HAS SOUPS 136757 WITH SCORE 137113.461
AT ITER 1095 NEW BEST:: SOT 639305 SOS 356446 HAS SOPS 344155 HAS SOUS 138273 HAS SOUPS 136724 WITH SCORE 137080.446
AT ITER 1106 NEW BEST:: SOT 639302 SOS 356680 HAS SOPS 344389 HAS SOUS 138236 HAS SOUPS 136687 WITH SCORE 137043.68
AT ITER 1131 NEW BEST:: SOT 639294 SOS 356672 HAS SOPS 344381 HAS SOUS 138232 HAS SOUPS 136683 WITH SCORE 137039.672
AT ITER 1133 NEW BEST:: SOT 639270 SOS 356648 HAS SOPS 344357 HAS SOUS 138135 HAS SOUPS 136586 WITH SCORE 136942.648
AT ITER 1138 NEW BEST:: SOT 639270 SOS 356465 HAS SOPS 344174 HAS SOUS 138127 HAS SOUPS 136578 WITH SCORE 136934.465
AT ITER 1155 NEW BEST:: SOT 639270 SOS 356468 HAS SOPS 344178 HAS SOUS 138123 HAS SOUPS 136574 WITH SCORE 136930.468
AT ITER 1165 NEW BEST:: SOT 639288 SOS 357098 HAS SOPS 344808 HAS SOUS 138042 HAS SOUPS 136493 WITH SCORE 136850.098
AT ITER 1180 NEW BEST:: SOT 639323 SOS 357133 HAS SOPS 344916 HAS SOUS 138005 HAS SOUPS 136456 WITH SCORE 136813.133
AT ITER 1186 NEW BEST:: SOT 639332 SOS 356934 HAS SOPS 344717 HAS SOUS 137942 HAS SOUPS 136393 WITH SCORE 136749.934
AT ITER 1211 NEW BEST:: SOT 639338 SOS 356920 HAS SOPS 344703 HAS SOUS 137894 HAS SOUPS 136345 WITH SCORE 136701.92
AT ITER 1218 NEW BEST:: SOT 639279 SOS 316183 HAS SOPS 304032 HAS SOUS 137668 HAS SOUPS 136119 WITH SCORE 136435.183
AT ITER 1220 NEW BEST:: SOT 639262 SOS 316166 HAS SOPS 303998 HAS SOUS 137660 HAS SOUPS 136111 WITH SCORE 136427.166
AT ITER 1221 NEW BEST:: SOT 639201 SOS 316044 HAS SOPS 303876 HAS SOUS 137538 HAS SOUPS 135989 WITH SCORE 136305.044
AT ITER 1222 NEW BEST:: SOT 639198 SOS 316049 HAS SOPS 303881 HAS SOUS 137527 HAS SOUPS 135978 WITH SCORE 136294.049
AT ITER 1239 NEW BEST:: SOT 639195 SOS 316046 HAS SOPS 303878 HAS SOUS 137521 HAS SOUPS 135972 WITH SCORE 136288.046
AT ITER 1246 NEW BEST:: SOT 639096 SOS 315989 HAS SOPS 303821 HAS SOUS 137329 HAS SOUPS 135780 WITH SCORE 136095.989
AT ITER 1253 NEW BEST:: SOT 639090 SOS 315989 HAS SOPS 303821 HAS SOUS 137317 HAS SOUPS 135768 WITH SCORE 136083.989
AT ITER 1262 NEW BEST:: SOT 639090 SOS 315989 HAS SOPS 303821 HAS SOUS 137308 HAS SOUPS 135759 WITH SCORE 136074.989
AT ITER 1266 NEW BEST:: SOT 639087 SOS 315964 HAS SOPS 303796 HAS SOUS 137302 HAS SOUPS 135753 WITH SCORE 136068.964
AT ITER 1269 NEW BEST:: SOT 639069 SOS 315946 HAS SOPS 303778 HAS SOUS 137276 HAS SOUPS 135727 WITH SCORE 136042.946
AT ITER 1275 NEW BEST:: SOT 639314 SOS 315894 HAS SOPS 303726 HAS SOUS 137276 HAS SOUPS 135727 WITH SCORE 136042.894
AT ITER 1278 NEW BEST:: SOT 639300 SOS 315866 HAS SOPS 303698 HAS SOUS 137276 HAS SOUPS 135727 WITH SCORE 136042.866
AT ITER 1279 NEW BEST:: SOT 639319 SOS 315847 HAS SOPS 303679 HAS SOUS 137238 HAS SOUPS 135689 WITH SCORE 136004.847
AT ITER 1284 NEW BEST:: SOT 639149 SOS 315548 HAS SOPS 303436 HAS SOUS 137178 HAS SOUPS 135629 WITH SCORE 135944.548
AT ITER 1300 NEW BEST:: SOT 638215 SOS 312452 HAS SOPS 300868 HAS SOUS 136097 HAS SOUPS 134656 WITH SCORE 134968.452
AT ITER 1306 NEW BEST:: SOT 637997 SOS 313086 HAS SOPS 301502 HAS SOUS 135955 HAS SOUPS 134514 WITH SCORE 134827.086
AT ITER 1315 NEW BEST:: SOT 637985 SOS 313065 HAS SOPS 301481 HAS SOUS 135954 HAS SOUPS 134513 WITH SCORE 134826.065
AT ITER 1316 NEW BEST:: SOT 637933 SOS 313013 HAS SOPS 301429 HAS SOUS 135910 HAS SOUPS 134469 WITH SCORE 134782.013
AT ITER 1317 NEW BEST:: SOT 637925 SOS 313005 HAS SOPS 301421 HAS SOUS 135886 HAS SOUPS 134445 WITH SCORE 134758.005
AT ITER 1329 NEW BEST:: SOT 637905 SOS 312941 HAS SOPS 301357 HAS SOUS 135844 HAS SOUPS 134403 WITH SCORE 134715.941
AT ITER 1333 NEW BEST:: SOT 637940 SOS 316564 HAS SOPS 304218 HAS SOUS 135639 HAS SOUPS 134051 WITH SCORE 134367.564
AT ITER 1340 NEW BEST:: SOT 637861 SOS 316485 HAS SOPS 304106 HAS SOUS 135392 HAS SOUPS 133804 WITH SCORE 134120.485
AT ITER 1343 NEW BEST:: SOT 637779 SOS 315635 HAS SOPS 303256 HAS SOUS 135197 HAS SOUPS 133609 WITH SCORE 133924.635
AT ITER 1347 NEW BEST:: SOT 637754 SOS 315610 HAS SOPS 303231 HAS SOUS 135125 HAS SOUPS 133537 WITH SCORE 133852.61
AT ITER 1355 NEW BEST:: SOT 637570 SOS 315150 HAS SOPS 302771 HAS SOUS 134849 HAS SOUPS 133261 WITH SCORE 133576.15
AT ITER 1359 NEW BEST:: SOT 637452 SOS 314723 HAS SOPS 302344 HAS SOUS 134613 HAS SOUPS 133025 WITH SCORE 133339.723
AT ITER 1360 NEW BEST:: SOT 637424 SOS 314695 HAS SOPS 302316 HAS SOUS 134572 HAS SOUPS 132984 WITH SCORE 133298.695
AT ITER 1363 NEW BEST:: SOT 637331 SOS 314602 HAS SOPS 302223 HAS SOUS 134479 HAS SOUPS 132891 WITH SCORE 133205.602
AT ITER 1365 NEW BEST:: SOT 637331 SOS 314531 HAS SOPS 302152 HAS SOUS 134408 HAS SOUPS 132820 WITH SCORE 133134.531
AT ITER 1370 NEW BEST:: SOT 637321 SOS 314511 HAS SOPS 302132 HAS SOUS 134378 HAS SOUPS 132790 WITH SCORE 133104.511
AT ITER 1380 NEW BEST:: SOT 637293 SOS 314490 HAS SOPS 302118 HAS SOUS 134350 HAS SOUPS 132769 WITH SCORE 133083.49
AT ITER 1386 NEW BEST:: SOT 637222 SOS 314419 HAS SOPS 302047 HAS SOUS 134301 HAS SOUPS 132720 WITH SCORE 133034.419
AT ITER 1397 NEW BEST:: SOT 637208 SOS 314507 HAS SOPS 302135 HAS SOUS 134025 HAS SOUPS 132444 WITH SCORE 132758.507
AT ITER 1410 NEW BEST:: SOT 636831 SOS 314130 HAS SOPS 301894 HAS SOUS 133706 HAS SOUPS 132146 WITH SCORE 132460.13
AT ITER 1411 NEW BEST:: SOT 636831 SOS 314681 HAS SOPS 302919 HAS SOUS 133703 HAS SOUPS 132143 WITH SCORE 132457.681
AT ITER 1418 NEW BEST:: SOT 636831 SOS 314691 HAS SOPS 302929 HAS SOUS 133679 HAS SOUPS 132119 WITH SCORE 132433.691
AT ITER 1419 NEW BEST:: SOT 636805 SOS 314633 HAS SOPS 302871 HAS SOUS 133621 HAS SOUPS 132061 WITH SCORE 132375.633
AT ITER 1425 NEW BEST:: SOT 636805 SOS 314607 HAS SOPS 302870 HAS SOUS 133585 HAS SOUPS 132025 WITH SCORE 132339.607
AT ITER 1426 NEW BEST:: SOT 636805 SOS 312672 HAS SOPS 298490 HAS SOUS 133426 HAS SOUPS 131866 WITH SCORE 132178.672
AT ITER 1429 NEW BEST:: SOT 636699 SOS 312530 HAS SOPS 298348 HAS SOUS 133336 HAS SOUPS 131776 WITH SCORE 132088.53
AT ITER 1431 NEW BEST:: SOT 636617 SOS 312530 HAS SOPS 298348 HAS SOUS 132954 HAS SOUPS 131394 WITH SCORE 131706.53
AT ITER 1432 NEW BEST:: SOT 636406 SOS 312319 HAS SOPS 298196 HAS SOUS 132106 HAS SOUPS 130546 WITH SCORE 130858.319
AT ITER 1442 NEW BEST:: SOT 636405 SOS 312314 HAS SOPS 298191 HAS SOUS 132104 HAS SOUPS 130544 WITH SCORE 130856.314
AT ITER 1446 NEW BEST:: SOT 636317 SOS 312226 HAS SOPS 298103 HAS SOUS 131922 HAS SOUPS 130362 WITH SCORE 130674.226
AT ITER 1467 NEW BEST:: SOT 636279 SOS 281345 HAS SOPS 267222 HAS SOUS 131608 HAS SOUPS 130048 WITH SCORE 130329.345
AT ITER 1475 NEW BEST:: SOT 636279 SOS 281275 HAS SOPS 266898 HAS SOUS 131606 HAS SOUPS 130046 WITH SCORE 130327.275
AT ITER 1512 NEW BEST:: SOT 636333 SOS 281329 HAS SOPS 266952 HAS SOUS 131605 HAS SOUPS 130045 WITH SCORE 130326.329
AT ITER 1534 NEW BEST:: SOT 636177 SOS 281220 HAS SOPS 266843 HAS SOUS 131603 HAS SOUPS 130043 WITH SCORE 130324.22
AT ITER 1540 NEW BEST:: SOT 636174 SOS 281010 HAS SOPS 266633 HAS SOUS 131403 HAS SOUPS 129843 WITH SCORE 130124.01
AT ITER 1554 NEW BEST:: SOT 634858 SOS 283306 HAS SOPS 269392 HAS SOUS 130368 HAS SOUPS 128621 WITH SCORE 128904.306
AT ITER 1581 NEW BEST:: SOT 635045 SOS 283649 HAS SOPS 269735 HAS SOUS 130328 HAS SOUPS 128581 WITH SCORE 128864.649
AT ITER 1591 NEW BEST:: SOT 634878 SOS 283384 HAS SOPS 269470 HAS SOUS 130172 HAS SOUPS 128425 WITH SCORE 128708.384
AT ITER 1614 NEW BEST:: SOT 634820 SOS 283130 HAS SOPS 269216 HAS SOUS 130086 HAS SOUPS 128339 WITH SCORE 128622.13
AT ITER 1633 NEW BEST:: SOT 634664 SOS 282974 HAS SOPS 269068 HAS SOUS 129587 HAS SOUPS 127840 WITH SCORE 128122.974
AT ITER 1638 NEW BEST:: SOT 634509 SOS 282698 HAS SOPS 268792 HAS SOUS 129371 HAS SOUPS 127624 WITH SCORE 127906.698
AT ITER 1668 NEW BEST:: SOT 634553 SOS 282742 HAS SOPS 268836 HAS SOUS 129060 HAS SOUPS 127313 WITH SCORE 127595.742
AT ITER 1684 NEW BEST:: SOT 634223 SOS 282448 HAS SOPS 268542 HAS SOUS 128576 HAS SOUPS 126829 WITH SCORE 127111.448
AT ITER 1686 NEW BEST:: SOT 634156 SOS 282090 HAS SOPS 268252 HAS SOUS 128539 HAS SOUPS 126792 WITH SCORE 127074.09
AT ITER 1688 NEW BEST:: SOT 633979 SOS 281874 HAS SOPS 268070 HAS SOUS 128465 HAS SOUPS 126718 WITH SCORE 126999.874
AT ITER 1696 NEW BEST:: SOT 633968 SOS 281734 HAS SOPS 267930 HAS SOUS 128438 HAS SOUPS 126691 WITH SCORE 126972.734
AT ITER 1698 NEW BEST:: SOT 633968 SOS 280821 HAS SOPS 267028 HAS SOUS 128361 HAS SOUPS 126614 WITH SCORE 126894.821
AT ITER 1701 NEW BEST:: SOT 633968 SOS 280821 HAS SOPS 267028 HAS SOUS 128309 HAS SOUPS 126562 WITH SCORE 126842.821
AT ITER 1711 NEW BEST:: SOT 633666 SOS 280519 HAS SOPS 266726 HAS SOUS 127994 HAS SOUPS 126247 WITH SCORE 126527.519
AT ITER 1713 NEW BEST:: SOT 633665 SOS 280526 HAS SOPS 266733 HAS SOUS 127992 HAS SOUPS 126245 WITH SCORE 126525.526
AT ITER 1715 NEW BEST:: SOT 633665 SOS 280522 HAS SOPS 266729 HAS SOUS 127992 HAS SOUPS 126245 WITH SCORE 126525.522
AT ITER 1721 NEW BEST:: SOT 632972 SOS 279964 HAS SOPS 266171 HAS SOUS 127875 HAS SOUPS 126128 WITH SCORE 126407.964
AT ITER 1723 NEW BEST:: SOT 632740 SOS 279788 HAS SOPS 265995 HAS SOUS 127715 HAS SOUPS 125968 WITH SCORE 126247.788
AT ITER 1729 NEW BEST:: SOT 632674 SOS 279668 HAS SOPS 265875 HAS SOUS 127583 HAS SOUPS 125836 WITH SCORE 126115.668
AT ITER 1732 NEW BEST:: SOT 632668 SOS 279662 HAS SOPS 265869 HAS SOUS 127293 HAS SOUPS 125546 WITH SCORE 125825.662
AT ITER 1737 NEW BEST:: SOT 632681 SOS 279675 HAS SOPS 265882 HAS SOUS 127267 HAS SOUPS 125520 WITH SCORE 125799.675
AT ITER 1745 NEW BEST:: SOT 632578 SOS 279548 HAS SOPS 265755 HAS SOUS 127157 HAS SOUPS 125410 WITH SCORE 125689.548
AT ITER 1760 NEW BEST:: SOT 632578 SOS 279508 HAS SOPS 265715 HAS SOUS 127140 HAS SOUPS 125393 WITH SCORE 125672.508
AT ITER 1767 NEW BEST:: SOT 632447 SOS 279377 HAS SOPS 265584 HAS SOUS 126793 HAS SOUPS 125046 WITH SCORE 125325.377
AT ITER 1770 NEW BEST:: SOT 632438 SOS 279377 HAS SOPS 265584 HAS SOUS 126757 HAS SOUPS 125010 WITH SCORE 125289.377
AT ITER 1773 NEW BEST:: SOT 632400 SOS 279339 HAS SOPS 265584 HAS SOUS 126643 HAS SOUPS 124896 WITH SCORE 125175.339
AT ITER 1788 NEW BEST:: SOT 632405 SOS 279344 HAS SOPS 265589 HAS SOUS 126627 HAS SOUPS 124880 WITH SCORE 125159.344
AT ITER 1793 NEW BEST:: SOT 632402 SOS 279335 HAS SOPS 265580 HAS SOUS 126621 HAS SOUPS 124874 WITH SCORE 125153.335
AT ITER 1794 NEW BEST:: SOT 632399 SOS 279332 HAS SOPS 265577 HAS SOUS 126619 HAS SOUPS 124872 WITH SCORE 125151.332
AT ITER 1813 NEW BEST:: SOT 632287 SOS 279162 HAS SOPS 265407 HAS SOUS 126531 HAS SOUPS 124784 WITH SCORE 125063.162
AT ITER 1817 NEW BEST:: SOT 632332 SOS 279402 HAS SOPS 265647 HAS SOUS 126504 HAS SOUPS 124757 WITH SCORE 125036.402
AT ITER 1820 NEW BEST:: SOT 632330 SOS 279394 HAS SOPS 265639 HAS SOUS 126498 HAS SOUPS 124751 WITH SCORE 125030.394
AT ITER 1836 NEW BEST:: SOT 632349 SOS 279413 HAS SOPS 265658 HAS SOUS 126479 HAS SOUPS 124732 WITH SCORE 125011.413
AT ITER 1859 NEW BEST:: SOT 631989 SOS 279045 HAS SOPS 265290 HAS SOUS 126337 HAS SOUPS 124590 WITH SCORE 124869.045
AT ITER 1865 NEW BEST:: SOT 632002 SOS 279058 HAS SOPS 265303 HAS SOUS 126241 HAS SOUPS 124494 WITH SCORE 124773.058
AT ITER 1873 NEW BEST:: SOT 631948 SOS 277595 HAS SOPS 263840 HAS SOUS 126232 HAS SOUPS 124485 WITH SCORE 124762.595
AT ITER 1887 NEW BEST:: SOT 631871 SOS 277518 HAS SOPS 263763 HAS SOUS 126102 HAS SOUPS 124355 WITH SCORE 124632.518
AT ITER 1895 NEW BEST:: SOT 631814 SOS 275922 HAS SOPS 262167 HAS SOUS 125931 HAS SOUPS 124184 WITH SCORE 124459.922
AT ITER 1908 NEW BEST:: SOT 631693 SOS 275801 HAS SOPS 262046 HAS SOUS 125786 HAS SOUPS 124039 WITH SCORE 124314.801
AT ITER 1912 NEW BEST:: SOT 631618 SOS 275726 HAS SOPS 261971 HAS SOUS 125649 HAS SOUPS 123902 WITH SCORE 124177.726
AT ITER 1919 NEW BEST:: SOT 631618 SOS 275709 HAS SOPS 261954 HAS SOUS 125632 HAS SOUPS 123885 WITH SCORE 124160.709
AT ITER 1922 NEW BEST:: SOT 631375 SOS 275443 HAS SOPS 261561 HAS SOUS 125216 HAS SOUPS 123469 WITH SCORE 123744.443
AT ITER 1938 NEW BEST:: SOT 631375 SOS 275536 HAS SOPS 261654 HAS SOUS 124829 HAS SOUPS 123082 WITH SCORE 123357.536
AT ITER 1940 NEW BEST:: SOT 631342 SOS 275500 HAS SOPS 261618 HAS SOUS 124689 HAS SOUPS 122942 WITH SCORE 123217.5
AT ITER 1947 NEW BEST:: SOT 631321 SOS 275479 HAS SOPS 261669 HAS SOUS 124431 HAS SOUPS 122684 WITH SCORE 122959.479
AT ITER 1966 NEW BEST:: SOT 631055 SOS 275465 HAS SOPS 261655 HAS SOUS 123920 HAS SOUPS 122173 WITH SCORE 122448.465
AT ITER 1982 NEW BEST:: SOT 631010 SOS 275330 HAS SOPS 261565 HAS SOUS 123873 HAS SOUPS 122126 WITH SCORE 122401.33
AT ITER 1997 NEW BEST:: SOT 630930 SOS 275314 HAS SOPS 261549 HAS SOUS 123855 HAS SOUPS 122108 WITH SCORE 122383.314
AT ITER 2021 NEW BEST:: SOT 630909 SOS 275293 HAS SOPS 261549 HAS SOUS 123855 HAS SOUPS 122108 WITH SCORE 122383.293
AT ITER 2026 NEW BEST:: SOT 630814 SOS 275204 HAS SOPS 261460 HAS SOUS 123780 HAS SOUPS 122033 WITH SCORE 122308.204
AT ITER 2034 NEW BEST:: SOT 630961 SOS 275483 HAS SOPS 261739 HAS SOUS 123569 HAS SOUPS 121822 WITH SCORE 122097.483
AT ITER 2035 NEW BEST:: SOT 630959 SOS 275531 HAS SOPS 261787 HAS SOUS 123513 HAS SOUPS 121766 WITH SCORE 122041.531
AT ITER 2052 NEW BEST:: SOT 630959 SOS 275747 HAS SOPS 262003 HAS SOUS 123302 HAS SOUPS 121555 WITH SCORE 121830.747
AT ITER 2061 NEW BEST:: SOT 630951 SOS 275713 HAS SOPS 261969 HAS SOUS 123269 HAS SOUPS 121522 WITH SCORE 121797.713
AT ITER 2064 NEW BEST:: SOT 631035 SOS 275884 HAS SOPS 262140 HAS SOUS 123002 HAS SOUPS 121255 WITH SCORE 121530.884
AT ITER 2080 NEW BEST:: SOT 631065 SOS 275914 HAS SOPS 262170 HAS SOUS 122757 HAS SOUPS 121010 WITH SCORE 121285.914
AT ITER 2093 NEW BEST:: SOT 631101 SOS 275930 HAS SOPS 262186 HAS SOUS 122723 HAS SOUPS 120976 WITH SCORE 121251.93
AT ITER 2128 NEW BEST:: SOT 631084 SOS 275913 HAS SOPS 262113 HAS SOUS 122501 HAS SOUPS 120754 WITH SCORE 121029.913
AT ITER 2130 NEW BEST:: SOT 631077 SOS 275906 HAS SOPS 262106 HAS SOUS 122452 HAS SOUPS 120705 WITH SCORE 120980.906
AT ITER 2156 NEW BEST:: SOT 631077 SOS 275906 HAS SOPS 262106 HAS SOUS 122445 HAS SOUPS 120698 WITH SCORE 120973.906
AT ITER 2189 NEW BEST:: SOT 631096 SOS 276003 HAS SOPS 262203 HAS SOUS 122437 HAS SOUPS 120690 WITH SCORE 120966.003
AT ITER 2197 NEW BEST:: SOT 631094 SOS 276001 HAS SOPS 262201 HAS SOUS 122435 HAS SOUPS 120688 WITH SCORE 120964.001
AT ITER 2210 NEW BEST:: SOT 631040 SOS 275947 HAS SOPS 262201 HAS SOUS 122273 HAS SOUPS 120526 WITH SCORE 120801.947
AT ITER 2222 NEW BEST:: SOT 630991 SOS 275898 HAS SOPS 262152 HAS SOUS 122209 HAS SOUPS 120462 WITH SCORE 120737.898
AT ITER 2232 NEW BEST:: SOT 630958 SOS 275865 HAS SOPS 262119 HAS SOUS 122172 HAS SOUPS 120425 WITH SCORE 120700.865
AT ITER 2234 NEW BEST:: SOT 630862 SOS 275764 HAS SOPS 262018 HAS SOUS 122043 HAS SOUPS 120296 WITH SCORE 120571.764
AT ITER 2235 NEW BEST:: SOT 630876 SOS 275778 HAS SOPS 262032 HAS SOUS 122027 HAS SOUPS 120280 WITH SCORE 120555.778
AT ITER 2254 NEW BEST:: SOT 630771 SOS 275285 HAS SOPS 261540 HAS SOUS 122022 HAS SOUPS 120275 WITH SCORE 120550.285
AT ITER 2268 NEW BEST:: SOT 630508 SOS 275022 HAS SOPS 261277 HAS SOUS 121756 HAS SOUPS 120009 WITH SCORE 120284.022
AT ITER 2270 NEW BEST:: SOT 630321 SOS 274903 HAS SOPS 261158 HAS SOUS 121295 HAS SOUPS 119548 WITH SCORE 119822.903
AT ITER 2293 NEW BEST:: SOT 630381 SOS 274739 HAS SOPS 260994 HAS SOUS 121112 HAS SOUPS 119365 WITH SCORE 119639.739
AT ITER 2295 NEW BEST:: SOT 630389 SOS 274747 HAS SOPS 261002 HAS SOUS 121101 HAS SOUPS 119354 WITH SCORE 119628.747
AT ITER 2298 NEW BEST:: SOT 630335 SOS 274639 HAS SOPS 260894 HAS SOUS 120966 HAS SOUPS 119219 WITH SCORE 119493.639
AT ITER 2308 NEW BEST:: SOT 630354 SOS 274658 HAS SOPS 260913 HAS SOUS 120956 HAS SOUPS 119209 WITH SCORE 119483.658
AT ITER 2319 NEW BEST:: SOT 630340 SOS 274644 HAS SOPS 260899 HAS SOUS 120942 HAS SOUPS 119195 WITH SCORE 119469.644
AT ITER 2321 NEW BEST:: SOT 630356 SOS 274660 HAS SOPS 260977 HAS SOUS 120899 HAS SOUPS 119182 WITH SCORE 119456.66
AT ITER 2324 NEW BEST:: SOT 630313 SOS 274773 HAS SOPS 261090 HAS SOUS 120837 HAS SOUPS 119120 WITH SCORE 119394.773
AT ITER 2333 NEW BEST:: SOT 630311 SOS 274771 HAS SOPS 261088 HAS SOUS 120821 HAS SOUPS 119104 WITH SCORE 119378.771
AT ITER 2337 NEW BEST:: SOT 630311 SOS 274825 HAS SOPS 261142 HAS SOUS 120767 HAS SOUPS 119050 WITH SCORE 119324.825
AT ITER 2338 NEW BEST:: SOT 630186 SOS 274831 HAS SOPS 261206 HAS SOUS 120648 HAS SOUPS 118931 WITH SCORE 119205.831
AT ITER 2345 NEW BEST:: SOT 630171 SOS 274816 HAS SOPS 261151 HAS SOUS 120594 HAS SOUPS 118873 WITH SCORE 119147.816
AT ITER 2356 NEW BEST:: SOT 630096 SOS 274741 HAS SOPS 261076 HAS SOUS 120311 HAS SOUPS 118590 WITH SCORE 118864.741
AT ITER 2360 NEW BEST:: SOT 630106 SOS 274771 HAS SOPS 261106 HAS SOUS 120271 HAS SOUPS 118550 WITH SCORE 118824.771
AT ITER 2366 NEW BEST:: SOT 630106 SOS 274759 HAS SOPS 261094 HAS SOUS 120271 HAS SOUPS 118550 WITH SCORE 118824.759
AT ITER 2369 NEW BEST:: SOT 630054 SOS 274707 HAS SOPS 261042 HAS SOUS 120231 HAS SOUPS 118510 WITH SCORE 118784.707
AT ITER 2377 NEW BEST:: SOT 629992 SOS 274945 HAS SOPS 261280 HAS SOUS 120101 HAS SOUPS 118380 WITH SCORE 118654.945
AT ITER 2380 NEW BEST:: SOT 630113 SOS 275678 HAS SOPS 262013 HAS SOUS 119888 HAS SOUPS 118167 WITH SCORE 118442.678
AT ITER 2381 NEW BEST:: SOT 630070 SOS 275655 HAS SOPS 261990 HAS SOUS 119861 HAS SOUPS 118140 WITH SCORE 118415.655
AT ITER 2387 NEW BEST:: SOT 630233 SOS 275892 HAS SOPS 262227 HAS SOUS 119799 HAS SOUPS 118078 WITH SCORE 118353.892
AT ITER 2392 NEW BEST:: SOT 630230 SOS 275795 HAS SOPS 262130 HAS SOUS 119776 HAS SOUPS 118055 WITH SCORE 118330.795
AT ITER 2418 NEW BEST:: SOT 630368 SOS 262935 HAS SOPS 249270 HAS SOUS 118312 HAS SOUPS 116591 WITH SCORE 116853.935
AT ITER 2419 NEW BEST:: SOT 630140 SOS 262707 HAS SOPS 249042 HAS SOUS 117940 HAS SOUPS 116219 WITH SCORE 116481.707
AT ITER 2426 NEW BEST:: SOT 630202 SOS 262606 HAS SOPS 248941 HAS SOUS 117896 HAS SOUPS 116136 WITH SCORE 116398.606
AT ITER 2427 NEW BEST:: SOT 630183 SOS 262587 HAS SOPS 248893 HAS SOUS 117914 HAS SOUPS 116129 WITH SCORE 116391.587
AT ITER 2524 NEW BEST:: SOT 630183 SOS 263017 HAS SOPS 249323 HAS SOUS 117853 HAS SOUPS 116068 WITH SCORE 116331.017
AT ITER 2531 NEW BEST:: SOT 630189 SOS 263053 HAS SOPS 249369 HAS SOUS 117825 HAS SOUPS 116040 WITH SCORE 116303.053
AT ITER 2534 NEW BEST:: SOT 630170 SOS 262944 HAS SOPS 249260 HAS SOUS 117787 HAS SOUPS 116002 WITH SCORE 116264.944
AT ITER 2545 NEW BEST:: SOT 630131 SOS 262918 HAS SOPS 249234 HAS SOUS 117764 HAS SOUPS 115979 WITH SCORE 116241.918
AT ITER 2549 NEW BEST:: SOT 630107 SOS 262904 HAS SOPS 249220 HAS SOUS 117546 HAS SOUPS 115761 WITH SCORE 116023.904
AT ITER 2553 NEW BEST:: SOT 630164 SOS 262961 HAS SOPS 249277 HAS SOUS 117418 HAS SOUPS 115633 WITH SCORE 115895.961
AT ITER 2559 NEW BEST:: SOT 630091 SOS 262961 HAS SOPS 249277 HAS SOUS 117272 HAS SOUPS 115487 WITH SCORE 115749.961
AT ITER 2563 NEW BEST:: SOT 630091 SOS 262961 HAS SOPS 249259 HAS SOUS 117272 HAS SOUPS 115469 WITH SCORE 115731.961
AT ITER 2570 NEW BEST:: SOT 630080 SOS 262950 HAS SOPS 249248 HAS SOUS 117239 HAS SOUPS 115436 WITH SCORE 115698.95
AT ITER 2588 NEW BEST:: SOT 629897 SOS 262767 HAS SOPS 249065 HAS SOUS 117072 HAS SOUPS 115269 WITH SCORE 115531.767
AT ITER 2594 NEW BEST:: SOT 629706 SOS 261496 HAS SOPS 247794 HAS SOUS 117009 HAS SOUPS 115206 WITH SCORE 115467.496
AT ITER 2614 NEW BEST:: SOT 629709 SOS 261559 HAS SOPS 247857 HAS SOUS 117005 HAS SOUPS 115202 WITH SCORE 115463.559
AT ITER 2615 NEW BEST:: SOT 629682 SOS 261504 HAS SOPS 247802 HAS SOUS 116978 HAS SOUPS 115175 WITH SCORE 115436.504
AT ITER 2623 NEW BEST:: SOT 629626 SOS 261401 HAS SOPS 247699 HAS SOUS 116829 HAS SOUPS 115026 WITH SCORE 115287.401
AT ITER 2642 NEW BEST:: SOT 629616 SOS 261391 HAS SOPS 247689 HAS SOUS 116809 HAS SOUPS 115006 WITH SCORE 115267.391
AT ITER 2649 NEW BEST:: SOT 629609 SOS 261384 HAS SOPS 247711 HAS SOUS 116801 HAS SOUPS 114998 WITH SCORE 115259.384
AT ITER 2653 NEW BEST:: SOT 629438 SOS 261410 HAS SOPS 247737 HAS SOUS 116617 HAS SOUPS 114814 WITH SCORE 115075.41
AT ITER 2685 NEW BEST:: SOT 629406 SOS 261362 HAS SOPS 247689 HAS SOUS 116569 HAS SOUPS 114766 WITH SCORE 115027.362
AT ITER 2687 NEW BEST:: SOT 629238 SOS 261166 HAS SOPS 247493 HAS SOUS 116332 HAS SOUPS 114529 WITH SCORE 114790.166
AT ITER 2689 NEW BEST:: SOT 629152 SOS 261096 HAS SOPS 247423 HAS SOUS 116181 HAS SOUPS 114378 WITH SCORE 114639.096
AT ITER 2697 NEW BEST:: SOT 629127 SOS 261096 HAS SOPS 247423 HAS SOUS 116131 HAS SOUPS 114328 WITH SCORE 114589.096
AT ITER 2704 NEW BEST:: SOT 629113 SOS 261082 HAS SOPS 247416 HAS SOUS 116131 HAS SOUPS 114328 WITH SCORE 114589.082
AT ITER 2742 NEW BEST:: SOT 629131 SOS 261100 HAS SOPS 247434 HAS SOUS 116109 HAS SOUPS 114306 WITH SCORE 114567.1
AT ITER 2750 NEW BEST:: SOT 629211 SOS 258437 HAS SOPS 244771 HAS SOUS 115832 HAS SOUPS 114029 WITH SCORE 114287.437
AT ITER 2776 NEW BEST:: SOT 629136 SOS 258219 HAS SOPS 244621 HAS SOUS 115739 HAS SOUPS 113936 WITH SCORE 114194.219
AT ITER 2789 NEW BEST:: SOT 629136 SOS 258879 HAS SOPS 244561 HAS SOUS 115720 HAS SOUPS 113898 WITH SCORE 114156.879
AT ITER 2808 NEW BEST:: SOT 629136 SOS 258903 HAS SOPS 244579 HAS SOUS 115708 HAS SOUPS 113886 WITH SCORE 114144.903
AT ITER 2814 NEW BEST:: SOT 629196 SOS 258963 HAS SOPS 244610 HAS SOUS 115610 HAS SOUPS 113788 WITH SCORE 114046.963
AT ITER 2816 NEW BEST:: SOT 629125 SOS 258394 HAS SOPS 244041 HAS SOUS 115472 HAS SOUPS 113650 WITH SCORE 113908.394
AT ITER 2822 NEW BEST:: SOT 629097 SOS 258366 HAS SOPS 244013 HAS SOUS 115411 HAS SOUPS 113589 WITH SCORE 113847.366
AT ITER 2835 NEW BEST:: SOT 629044 SOS 258525 HAS SOPS 244172 HAS SOUS 115349 HAS SOUPS 113527 WITH SCORE 113785.525
AT ITER 2849 NEW BEST:: SOT 629044 SOS 258548 HAS SOPS 244172 HAS SOUS 115303 HAS SOUPS 113481 WITH SCORE 113739.548
AT ITER 2854 NEW BEST:: SOT 629114 SOS 258618 HAS SOPS 244242 HAS SOUS 114427 HAS SOUPS 112605 WITH SCORE 112863.618
AT ITER 2865 NEW BEST:: SOT 628925 SOS 258429 HAS SOPS 244106 HAS SOUS 114405 HAS SOUPS 112583 WITH SCORE 112841.429
AT ITER 2866 NEW BEST:: SOT 628956 SOS 258328 HAS SOPS 244005 HAS SOUS 114130 HAS SOUPS 112308 WITH SCORE 112566.328
AT ITER 2878 NEW BEST:: SOT 628974 SOS 258346 HAS SOPS 243980 HAS SOUS 114118 HAS SOUPS 112296 WITH SCORE 112554.346
AT ITER 2884 NEW BEST:: SOT 628951 SOS 258323 HAS SOPS 243957 HAS SOUS 113907 HAS SOUPS 112085 WITH SCORE 112343.323
AT ITER 2893 NEW BEST:: SOT 628902 SOS 258274 HAS SOPS 243908 HAS SOUS 113819 HAS SOUPS 111997 WITH SCORE 112255.274
AT ITER 2913 NEW BEST:: SOT 628901 SOS 258216 HAS SOPS 243850 HAS SOUS 113817 HAS SOUPS 111995 WITH SCORE 112253.216
AT ITER 2914 NEW BEST:: SOT 628469 SOS 257784 HAS SOPS 243418 HAS SOUS 113213 HAS SOUPS 111391 WITH SCORE 111648.784
AT ITER 2919 NEW BEST:: SOT 628391 SOS 257637 HAS SOPS 243232 HAS SOUS 113172 HAS SOUPS 111313 WITH SCORE 111570.637
AT ITER 2930 NEW BEST:: SOT 628323 SOS 257569 HAS SOPS 243213 HAS SOUS 113158 HAS SOUPS 111299 WITH SCORE 111556.569
AT ITER 2936 NEW BEST:: SOT 628303 SOS 257529 HAS SOPS 243193 HAS SOUS 113158 HAS SOUPS 111299 WITH SCORE 111556.529
AT ITER 2957 NEW BEST:: SOT 628135 SOS 252345 HAS SOPS 238009 HAS SOUS 112880 HAS SOUPS 111021 WITH SCORE 111273.345
AT ITER 2960 NEW BEST:: SOT 628135 SOS 252345 HAS SOPS 238009 HAS SOUS 112763 HAS SOUPS 110904 WITH SCORE 111156.345
AT ITER 2972 NEW BEST:: SOT 627735 SOS 251945 HAS SOPS 237498 HAS SOUS 112312 HAS SOUPS 110453 WITH SCORE 110704.945
AT ITER 2982 NEW BEST:: SOT 627620 SOS 251513 HAS SOPS 237066 HAS SOUS 112301 HAS SOUPS 110442 WITH SCORE 110693.513
AT ITER 2995 NEW BEST:: SOT 627634 SOS 253684 HAS SOPS 239237 HAS SOUS 112282 HAS SOUPS 110423 WITH SCORE 110676.684
AT ITER 3003 NEW BEST:: SOT 627612 SOS 253647 HAS SOPS 239200 HAS SOUS 112256 HAS SOUPS 110397 WITH SCORE 110650.647
AT ITER 3005 NEW BEST:: SOT 627441 SOS 253143 HAS SOPS 238706 HAS SOUS 112052 HAS SOUPS 110193 WITH SCORE 110446.143
AT ITER 3011 NEW BEST:: SOT 628026 SOS 254173 HAS SOPS 239736 HAS SOUS 111822 HAS SOUPS 109963 WITH SCORE 110217.173
AT ITER 3019 NEW BEST:: SOT 628009 SOS 254213 HAS SOPS 239776 HAS SOUS 111788 HAS SOUPS 109929 WITH SCORE 110183.213
AT ITER 3029 NEW BEST:: SOT 628045 SOS 254249 HAS SOPS 239812 HAS SOUS 111778 HAS SOUPS 109919 WITH SCORE 110173.249
AT ITER 3030 NEW BEST:: SOT 627991 SOS 254249 HAS SOPS 239812 HAS SOUS 111400 HAS SOUPS 109541 WITH SCORE 109795.249
AT ITER 3033 NEW BEST:: SOT 628095 SOS 254296 HAS SOPS 239859 HAS SOUS 111334 HAS SOUPS 109475 WITH SCORE 109729.296
AT ITER 3044 NEW BEST:: SOT 628079 SOS 254248 HAS SOPS 239827 HAS SOUS 111334 HAS SOUPS 109475 WITH SCORE 109729.248
AT ITER 3047 NEW BEST:: SOT 628067 SOS 254224 HAS SOPS 239803 HAS SOUS 111318 HAS SOUPS 109459 WITH SCORE 109713.224
AT ITER 3051 NEW BEST:: SOT 628085 SOS 254133 HAS SOPS 239712 HAS SOUS 111253 HAS SOUPS 109394 WITH SCORE 109648.133
AT ITER 3059 NEW BEST:: SOT 627873 SOS 253921 HAS SOPS 239500 HAS SOUS 110943 HAS SOUPS 109084 WITH SCORE 109337.921
AT ITER 3073 NEW BEST:: SOT 627787 SOS 253440 HAS SOPS 239019 HAS SOUS 110719 HAS SOUPS 108860 WITH SCORE 109113.44
AT ITER 3077 NEW BEST:: SOT 627713 SOS 253267 HAS SOPS 238846 HAS SOUS 110608 HAS SOUPS 108749 WITH SCORE 109002.267
AT ITER 3089 NEW BEST:: SOT 627544 SOS 253098 HAS SOPS 238677 HAS SOUS 110424 HAS SOUPS 108565 WITH SCORE 108818.098
AT ITER 3097 NEW BEST:: SOT 627157 SOS 252828 HAS SOPS 238407 HAS SOUS 110252 HAS SOUPS 108393 WITH SCORE 108645.828
AT ITER 3113 NEW BEST:: SOT 627141 SOS 252762 HAS SOPS 238341 HAS SOUS 110227 HAS SOUPS 108368 WITH SCORE 108620.762
AT ITER 3114 NEW BEST:: SOT 627027 SOS 252367 HAS SOPS 237946 HAS SOUS 110227 HAS SOUPS 108368 WITH SCORE 108620.367
AT ITER 3123 NEW BEST:: SOT 627023 SOS 252365 HAS SOPS 237944 HAS SOUS 110225 HAS SOUPS 108366 WITH SCORE 108618.365
AT ITER 3124 NEW BEST:: SOT 626877 SOS 252097 HAS SOPS 237676 HAS SOUS 109957 HAS SOUPS 108098 WITH SCORE 108350.097
AT ITER 3130 NEW BEST:: SOT 626866 SOS 252086 HAS SOPS 237665 HAS SOUS 109943 HAS SOUPS 108084 WITH SCORE 108336.086
AT ITER 3182 NEW BEST:: SOT 626872 SOS 252092 HAS SOPS 237671 HAS SOUS 109931 HAS SOUPS 108072 WITH SCORE 108324.092
AT ITER 3202 NEW BEST:: SOT 626830 SOS 252050 HAS SOPS 237629 HAS SOUS 109888 HAS SOUPS 108029 WITH SCORE 108281.05
AT ITER 3203 NEW BEST:: SOT 626830 SOS 252061 HAS SOPS 237670 HAS SOUS 109881 HAS SOUPS 108022 WITH SCORE 108274.061
AT ITER 3214 NEW BEST:: SOT 626832 SOS 251943 HAS SOPS 237552 HAS SOUS 109795 HAS SOUPS 107936 WITH SCORE 108187.943
AT ITER 3215 NEW BEST:: SOT 626702 SOS 251900 HAS SOPS 237509 HAS SOUS 109776 HAS SOUPS 107917 WITH SCORE 108168.9
AT ITER 3242 NEW BEST:: SOT 627008 SOS 252136 HAS SOPS 237745 HAS SOUS 109586 HAS SOUPS 107727 WITH SCORE 107979.136
AT ITER 3254 NEW BEST:: SOT 627119 SOS 283171 HAS SOPS 268780 HAS SOUS 109380 HAS SOUPS 107521 WITH SCORE 107804.171
AT ITER 3261 NEW BEST:: SOT 627205 SOS 283257 HAS SOPS 268866 HAS SOUS 109147 HAS SOUPS 107288 WITH SCORE 107571.257
AT ITER 3262 NEW BEST:: SOT 627157 SOS 283226 HAS SOPS 268835 HAS SOUS 109136 HAS SOUPS 107277 WITH SCORE 107560.226
AT ITER 3276 NEW BEST:: SOT 627129 SOS 283187 HAS SOPS 268803 HAS SOUS 109076 HAS SOUPS 107217 WITH SCORE 107500.187
AT ITER 3277 NEW BEST:: SOT 627279 SOS 283279 HAS SOPS 268895 HAS SOUS 109034 HAS SOUPS 107175 WITH SCORE 107458.279
AT ITER 3282 NEW BEST:: SOT 627101 SOS 283101 HAS SOPS 268717 HAS SOUS 108988 HAS SOUPS 107129 WITH SCORE 107412.101
AT ITER 3286 NEW BEST:: SOT 627099 SOS 283099 HAS SOPS 268715 HAS SOUS 108988 HAS SOUPS 107129 WITH SCORE 107412.099
AT ITER 3301 NEW BEST:: SOT 626970 SOS 282970 HAS SOPS 268620 HAS SOUS 108962 HAS SOUPS 107103 WITH SCORE 107385.97
AT ITER 3312 NEW BEST:: SOT 627025 SOS 283704 HAS SOPS 269039 HAS SOUS 109045 HAS SOUPS 107015 WITH SCORE 107298.704
AT ITER 3320 NEW BEST:: SOT 627009 SOS 281864 HAS SOPS 267215 HAS SOUS 109029 HAS SOUPS 107003 WITH SCORE 107284.864
AT ITER 3339 NEW BEST:: SOT 627009 SOS 281821 HAS SOPS 267172 HAS SOUS 109029 HAS SOUPS 107003 WITH SCORE 107284.821
AT ITER 3348 NEW BEST:: SOT 626996 SOS 281743 HAS SOPS 267094 HAS SOUS 109016 HAS SOUPS 106990 WITH SCORE 107271.743
AT ITER 3384 NEW BEST:: SOT 626950 SOS 281697 HAS SOPS 267094 HAS SOUS 108924 HAS SOUPS 106898 WITH SCORE 107179.697
AT ITER 3396 NEW BEST:: SOT 626960 SOS 281700 HAS SOPS 267097 HAS SOUS 108923 HAS SOUPS 106897 WITH SCORE 107178.7
AT ITER 3415 NEW BEST:: SOT 626918 SOS 281908 HAS SOPS 267305 HAS SOUS 108908 HAS SOUPS 106882 WITH SCORE 107163.908
AT ITER 3440 NEW BEST:: SOT 626925 SOS 281923 HAS SOPS 267320 HAS SOUS 108903 HAS SOUPS 106877 WITH SCORE 107158.923
AT ITER 3467 NEW BEST:: SOT 626901 SOS 281923 HAS SOPS 267320 HAS SOUS 108875 HAS SOUPS 106849 WITH SCORE 107130.923
AT ITER 3471 NEW BEST:: SOT 626901 SOS 281921 HAS SOPS 267318 HAS SOUS 108875 HAS SOUPS 106849 WITH SCORE 107130.921
AT ITER 3472 NEW BEST:: SOT 626882 SOS 281919 HAS SOPS 267316 HAS SOUS 108864 HAS SOUPS 106838 WITH SCORE 107119.919
AT ITER 3473 NEW BEST:: SOT 626851 SOS 281880 HAS SOPS 267277 HAS SOUS 108802 HAS SOUPS 106776 WITH SCORE 107057.88
AT ITER 3480 NEW BEST:: SOT 626863 SOS 282692 HAS SOPS 268089 HAS SOUS 108697 HAS SOUPS 106671 WITH SCORE 106953.692
AT ITER 3501 NEW BEST:: SOT 626855 SOS 282668 HAS SOPS 268065 HAS SOUS 108681 HAS SOUPS 106655 WITH SCORE 106937.668
AT ITER 3516 NEW BEST:: SOT 626787 SOS 282600 HAS SOPS 267997 HAS SOUS 108607 HAS SOUPS 106581 WITH SCORE 106863.6
AT ITER 3530 NEW BEST:: SOT 626787 SOS 282660 HAS SOPS 268057 HAS SOUS 108532 HAS SOUPS 106506 WITH SCORE 106788.66
AT ITER 3540 NEW BEST:: SOT 626772 SOS 282675 HAS SOPS 268072 HAS SOUS 108472 HAS SOUPS 106446 WITH SCORE 106728.675
AT ITER 3559 NEW BEST:: SOT 626758 SOS 282619 HAS SOPS 268016 HAS SOUS 108472 HAS SOUPS 106446 WITH SCORE 106728.619
AT ITER 3560 NEW BEST:: SOT 626749 SOS 282687 HAS SOPS 268084 HAS SOUS 108069 HAS SOUPS 106043 WITH SCORE 106325.687
AT ITER 3574 NEW BEST:: SOT 626659 SOS 282516 HAS SOPS 267913 HAS SOUS 107925 HAS SOUPS 105899 WITH SCORE 106181.516
AT ITER 3580 NEW BEST:: SOT 626656 SOS 282513 HAS SOPS 267907 HAS SOUS 107911 HAS SOUPS 105885 WITH SCORE 106167.513
AT ITER 3586 NEW BEST:: SOT 626653 SOS 259710 HAS SOPS 245104 HAS SOUS 107905 HAS SOUPS 105879 WITH SCORE 106138.71
AT ITER 3614 NEW BEST:: SOT 626738 SOS 259795 HAS SOPS 245189 HAS SOUS 107898 HAS SOUPS 105872 WITH SCORE 106131.795
AT ITER 3629 NEW BEST:: SOT 626651 SOS 259986 HAS SOPS 245380 HAS SOUS 107770 HAS SOUPS 105744 WITH SCORE 106003.986
AT ITER 3646 NEW BEST:: SOT 626652 SOS 259890 HAS SOPS 245284 HAS SOUS 107673 HAS SOUPS 105647 WITH SCORE 105906.89
AT ITER 3656 NEW BEST:: SOT 626679 SOS 259917 HAS SOPS 245221 HAS SOUS 107585 HAS SOUPS 105559 WITH SCORE 105818.917
AT ITER 3659 NEW BEST:: SOT 626668 SOS 259906 HAS SOPS 245210 HAS SOUS 107574 HAS SOUPS 105548 WITH SCORE 105807.906
AT ITER 3670 NEW BEST:: SOT 626569 SOS 259807 HAS SOPS 245111 HAS SOUS 106903 HAS SOUPS 104877 WITH SCORE 105136.807
AT ITER 3678 NEW BEST:: SOT 626602 SOS 259810 HAS SOPS 245114 HAS SOUS 106892 HAS SOUPS 104866 WITH SCORE 105125.81
AT ITER 3687 NEW BEST:: SOT 626625 SOS 259904 HAS SOPS 245208 HAS SOUS 106888 HAS SOUPS 104862 WITH SCORE 105121.904
AT ITER 3688 NEW BEST:: SOT 626546 SOS 259588 HAS SOPS 244892 HAS SOUS 106888 HAS SOUPS 104862 WITH SCORE 105121.588
AT ITER 3705 NEW BEST:: SOT 626501 SOS 259498 HAS SOPS 244802 HAS SOUS 106888 HAS SOUPS 104862 WITH SCORE 105121.498
AT ITER 3718 NEW BEST:: SOT 626468 SOS 259465 HAS SOPS 244769 HAS SOUS 106822 HAS SOUPS 104796 WITH SCORE 105055.465
AT ITER 3723 NEW BEST:: SOT 626468 SOS 259460 HAS SOPS 244764 HAS SOUS 106821 HAS SOUPS 104795 WITH SCORE 105054.46
AT ITER 3736 NEW BEST:: SOT 626496 SOS 259488 HAS SOPS 244792 HAS SOUS 106820 HAS SOUPS 104794 WITH SCORE 105053.488
AT ITER 3775 NEW BEST:: SOT 626479 SOS 259493 HAS SOPS 244797 HAS SOUS 106803 HAS SOUPS 104777 WITH SCORE 105036.493
AT ITER 3786 NEW BEST:: SOT 626451 SOS 259272 HAS SOPS 244632 HAS SOUS 106753 HAS SOUPS 104727 WITH SCORE 104986.272
AT ITER 3802 NEW BEST:: SOT 625797 SOS 258908 HAS SOPS 244268 HAS SOUS 106725 HAS SOUPS 104699 WITH SCORE 104957.908
AT ITER 3814 NEW BEST:: SOT 625626 SOS 258662 HAS SOPS 244022 HAS SOUS 106711 HAS SOUPS 104685 WITH SCORE 104943.662
AT ITER 3826 NEW BEST:: SOT 625626 SOS 258461 HAS SOPS 243821 HAS SOUS 106711 HAS SOUPS 104685 WITH SCORE 104943.461
AT ITER 3849 NEW BEST:: SOT 625602 SOS 258437 HAS SOPS 243797 HAS SOUS 106681 HAS SOUPS 104655 WITH SCORE 104913.437
AT ITER 3865 NEW BEST:: SOT 625657 SOS 258492 HAS SOPS 243852 HAS SOUS 106619 HAS SOUPS 104593 WITH SCORE 104851.492
AT ITER 3868 NEW BEST:: SOT 625635 SOS 258010 HAS SOPS 243370 HAS SOUS 106575 HAS SOUPS 104549 WITH SCORE 104807.01
AT ITER 3873 NEW BEST:: SOT 625635 SOS 258010 HAS SOPS 243370 HAS SOUS 106527 HAS SOUPS 104501 WITH SCORE 104759.01
AT ITER 3877 NEW BEST:: SOT 625598 SOS 257973 HAS SOPS 243333 HAS SOUS 106418 HAS SOUPS 104392 WITH SCORE 104649.973
AT ITER 3879 NEW BEST:: SOT 625543 SOS 257870 HAS SOPS 243214 HAS SOUS 106409 HAS SOUPS 104383 WITH SCORE 104640.87
AT ITER 3894 NEW BEST:: SOT 625543 SOS 257876 HAS SOPS 243222 HAS SOUS 106403 HAS SOUPS 104377 WITH SCORE 104634.876
AT ITER 3895 NEW BEST:: SOT 625520 SOS 257739 HAS SOPS 243085 HAS SOUS 106384 HAS SOUPS 104358 WITH SCORE 104615.739
AT ITER 3900 NEW BEST:: SOT 625411 SOS 257612 HAS SOPS 242979 HAS SOUS 106278 HAS SOUPS 104252 WITH SCORE 104509.612
AT ITER 3909 NEW BEST:: SOT 625338 SOS 258122 HAS SOPS 243489 HAS SOUS 106147 HAS SOUPS 104121 WITH SCORE 104379.122
AT ITER 3916 NEW BEST:: SOT 625225 SOS 255238 HAS SOPS 241142 HAS SOUS 105859 HAS SOUPS 103927 WITH SCORE 104182.238
AT ITER 4002 NEW BEST:: SOT 625206 SOS 255219 HAS SOPS 241123 HAS SOUS 105783 HAS SOUPS 103851 WITH SCORE 104106.219
AT ITER 4008 NEW BEST:: SOT 625292 SOS 255685 HAS SOPS 241494 HAS SOUS 105744 HAS SOUPS 103812 WITH SCORE 104067.685
AT ITER 4009 NEW BEST:: SOT 625296 SOS 256816 HAS SOPS 242625 HAS SOUS 105696 HAS SOUPS 103764 WITH SCORE 104020.816
AT ITER 4030 NEW BEST:: SOT 625081 SOS 256601 HAS SOPS 242410 HAS SOUS 105362 HAS SOUPS 103430 WITH SCORE 103686.601
AT ITER 4032 NEW BEST:: SOT 625045 SOS 251453 HAS SOPS 237262 HAS SOUS 105298 HAS SOUPS 103366 WITH SCORE 103617.453
AT ITER 4034 NEW BEST:: SOT 625041 SOS 251447 HAS SOPS 237256 HAS SOUS 105296 HAS SOUPS 103364 WITH SCORE 103615.447
AT ITER 4043 NEW BEST:: SOT 625111 SOS 251517 HAS SOPS 237326 HAS SOUS 105148 HAS SOUPS 103216 WITH SCORE 103467.517
AT ITER 4051 NEW BEST:: SOT 625132 SOS 251559 HAS SOPS 237368 HAS SOUS 105146 HAS SOUPS 103214 WITH SCORE 103465.559
AT ITER 4058 NEW BEST:: SOT 625175 SOS 251923 HAS SOPS 237732 HAS SOUS 105019 HAS SOUPS 103087 WITH SCORE 103338.923
AT ITER 4105 NEW BEST:: SOT 625175 SOS 251788 HAS SOPS 237597 HAS SOUS 105019 HAS SOUPS 103087 WITH SCORE 103338.788
AT ITER 4108 NEW BEST:: SOT 625175 SOS 251797 HAS SOPS 237606 HAS SOUS 105016 HAS SOUPS 103084 WITH SCORE 103335.797
AT ITER 4137 NEW BEST:: SOT 625173 SOS 251725 HAS SOPS 237544 HAS SOUS 105014 HAS SOUPS 103084 WITH SCORE 103335.725
AT ITER 4140 NEW BEST:: SOT 624592 SOS 251061 HAS SOPS 236880 HAS SOUS 104531 HAS SOUPS 102601 WITH SCORE 102852.061
AT ITER 4145 NEW BEST:: SOT 624593 SOS 251070 HAS SOPS 236889 HAS SOUS 104521 HAS SOUPS 102591 WITH SCORE 102842.07
AT ITER 4146 NEW BEST:: SOT 624546 SOS 251023 HAS SOPS 236900 HAS SOUS 104380 HAS SOUPS 102450 WITH SCORE 102701.023
AT ITER 4152 NEW BEST:: SOT 624430 SOS 250920 HAS SOPS 236797 HAS SOUS 104259 HAS SOUPS 102329 WITH SCORE 102579.92
AT ITER 4154 NEW BEST:: SOT 624464 SOS 250772 HAS SOPS 236649 HAS SOUS 104164 HAS SOUPS 102234 WITH SCORE 102484.772
AT ITER 4164 NEW BEST:: SOT 624484 SOS 250908 HAS SOPS 236613 HAS SOUS 104142 HAS SOUPS 102169 WITH SCORE 102419.908
AT ITER 4182 NEW BEST:: SOT 624482 SOS 250906 HAS SOPS 236608 HAS SOUS 104140 HAS SOUPS 102164 WITH SCORE 102414.906
AT ITER 4183 NEW BEST:: SOT 624431 SOS 250714 HAS SOPS 236416 HAS SOUS 103999 HAS SOUPS 102023 WITH SCORE 102273.714
AT ITER 4184 NEW BEST:: SOT 624443 SOS 250726 HAS SOPS 236428 HAS SOUS 103979 HAS SOUPS 102003 WITH SCORE 102253.726
AT ITER 4210 NEW BEST:: SOT 624421 SOS 251031 HAS SOPS 236733 HAS SOUS 103929 HAS SOUPS 101953 WITH SCORE 102204.031
AT ITER 4213 NEW BEST:: SOT 624369 SOS 250894 HAS SOPS 236579 HAS SOUS 103857 HAS SOUPS 101881 WITH SCORE 102131.894
AT ITER 4215 NEW BEST:: SOT 624428 SOS 249108 HAS SOPS 231988 HAS SOUS 103864 HAS SOUPS 101805 WITH SCORE 102054.108
AT ITER 4217 NEW BEST:: SOT 624233 SOS 248855 HAS SOPS 231735 HAS SOUS 103739 HAS SOUPS 101680 WITH SCORE 101928.855
AT ITER 4226 NEW BEST:: SOT 624198 SOS 248820 HAS SOPS 231700 HAS SOUS 103602 HAS SOUPS 101543 WITH SCORE 101791.82
AT ITER 4240 NEW BEST:: SOT 624204 SOS 248663 HAS SOPS 231543 HAS SOUS 103564 HAS SOUPS 101505 WITH SCORE 101753.663
AT ITER 4247 NEW BEST:: SOT 624195 SOS 248618 HAS SOPS 231498 HAS SOUS 103546 HAS SOUPS 101487 WITH SCORE 101735.618
AT ITER 4256 NEW BEST:: SOT 624218 SOS 254224 HAS SOPS 237104 HAS SOUS 103528 HAS SOUPS 101469 WITH SCORE 101723.224
AT ITER 4275 NEW BEST:: SOT 624179 SOS 254185 HAS SOPS 237065 HAS SOUS 103423 HAS SOUPS 101364 WITH SCORE 101618.185
AT ITER 4287 NEW BEST:: SOT 624110 SOS 254134 HAS SOPS 237014 HAS SOUS 103285 HAS SOUPS 101226 WITH SCORE 101480.134
AT ITER 4301 NEW BEST:: SOT 624110 SOS 254033 HAS SOPS 236913 HAS SOUS 103246 HAS SOUPS 101187 WITH SCORE 101441.033
AT ITER 4322 NEW BEST:: SOT 624122 SOS 254041 HAS SOPS 236921 HAS SOUS 103154 HAS SOUPS 101095 WITH SCORE 101349.041
AT ITER 4330 NEW BEST:: SOT 623972 SOS 253959 HAS SOPS 236839 HAS SOUS 103040 HAS SOUPS 100981 WITH SCORE 101234.959
AT ITER 4335 NEW BEST:: SOT 623873 SOS 253860 HAS SOPS 236740 HAS SOUS 102297 HAS SOUPS 100238 WITH SCORE 100491.86
AT ITER 4350 NEW BEST:: SOT 623756 SOS 253858 HAS SOPS 236717 HAS SOUS 102294 HAS SOUPS 100214 WITH SCORE 100467.858
AT ITER 4371 NEW BEST:: SOT 623712 SOS 253814 HAS SOPS 236673 HAS SOUS 102242 HAS SOUPS 100162 WITH SCORE 100415.814
AT ITER 4408 NEW BEST:: SOT 623717 SOS 253819 HAS SOPS 236678 HAS SOUS 102230 HAS SOUPS 100150 WITH SCORE 100403.819
AT ITER 4422 NEW BEST:: SOT 623935 SOS 254057 HAS SOPS 236916 HAS SOUS 102181 HAS SOUPS 100101 WITH SCORE 100355.057
AT ITER 4424 NEW BEST:: SOT 623967 SOS 254047 HAS SOPS 236906 HAS SOUS 102168 HAS SOUPS 100088 WITH SCORE 100342.047
AT ITER 4445 NEW BEST:: SOT 623959 SOS 254039 HAS SOPS 236898 HAS SOUS 102152 HAS SOUPS 100072 WITH SCORE 100326.039
AT ITER 4454 NEW BEST:: SOT 623897 SOS 253915 HAS SOPS 236774 HAS SOUS 102059 HAS SOUPS 99979 WITH SCORE 100232.915
AT ITER 4464 NEW BEST:: SOT 623894 SOS 253912 HAS SOPS 236771 HAS SOUS 102053 HAS SOUPS 99973 WITH SCORE 100226.912
AT ITER 4469 NEW BEST:: SOT 623881 SOS 253899 HAS SOPS 236758 HAS SOUS 102036 HAS SOUPS 99956 WITH SCORE 100209.899
AT ITER 4485 NEW BEST:: SOT 623770 SOS 253677 HAS SOPS 236536 HAS SOUS 101888 HAS SOUPS 99808 WITH SCORE 100061.677
AT ITER 4516 NEW BEST:: SOT 623752 SOS 253659 HAS SOPS 236524 HAS SOUS 101870 HAS SOUPS 99790 WITH SCORE 100043.659
AT ITER 4558 NEW BEST:: SOT 623728 SOS 253635 HAS SOPS 236500 HAS SOUS 101840 HAS SOUPS 99760 WITH SCORE 100013.635
AT ITER 4566 NEW BEST:: SOT 623654 SOS 253561 HAS SOPS 236426 HAS SOUS 101728 HAS SOUPS 99648 WITH SCORE 99901.561
AT ITER 4575 NEW BEST:: SOT 623626 SOS 253533 HAS SOPS 236398 HAS SOUS 101693 HAS SOUPS 99613 WITH SCORE 99866.533
AT ITER 4587 NEW BEST:: SOT 623842 SOS 253605 HAS SOPS 236470 HAS SOUS 101686 HAS SOUPS 99606 WITH SCORE 99859.605
AT ITER 4594 NEW BEST:: SOT 623819 SOS 253582 HAS SOPS 236447 HAS SOUS 101653 HAS SOUPS 99573 WITH SCORE 99826.582
AT ITER 4599 NEW BEST:: SOT 623772 SOS 253531 HAS SOPS 236421 HAS SOUS 101623 HAS SOUPS 99543 WITH SCORE 99796.531
AT ITER 4600 NEW BEST:: SOT 623772 SOS 253547 HAS SOPS 236421 HAS SOUS 101607 HAS SOUPS 99527 WITH SCORE 99780.547
AT ITER 4608 NEW BEST:: SOT 623771 SOS 253546 HAS SOPS 236420 HAS SOUS 101605 HAS SOUPS 99525 WITH SCORE 99778.546
AT ITER 4629 NEW BEST:: SOT 623712 SOS 253484 HAS SOPS 236327 HAS SOUS 101608 HAS SOUPS 99497 WITH SCORE 99750.484
AT ITER 4635 NEW BEST:: SOT 623693 SOS 253431 HAS SOPS 236259 HAS SOUS 101585 HAS SOUPS 99474 WITH SCORE 99727.431
AT ITER 4645 NEW BEST:: SOT 623646 SOS 253384 HAS SOPS 236212 HAS SOUS 101464 HAS SOUPS 99353 WITH SCORE 99606.384
AT ITER 4658 NEW BEST:: SOT 623645 SOS 253383 HAS SOPS 236243 HAS SOUS 101452 HAS SOUPS 99341 WITH SCORE 99594.383
AT ITER 4662 NEW BEST:: SOT 623619 SOS 253349 HAS SOPS 236209 HAS SOUS 101446 HAS SOUPS 99335 WITH SCORE 99588.349
AT ITER 4669 NEW BEST:: SOT 623597 SOS 253272 HAS SOPS 236132 HAS SOUS 101402 HAS SOUPS 99291 WITH SCORE 99544.272
AT ITER 4677 NEW BEST:: SOT 623589 SOS 253264 HAS SOPS 236124 HAS SOUS 101386 HAS SOUPS 99275 WITH SCORE 99528.264
AT ITER 4686 NEW BEST:: SOT 623511 SOS 253186 HAS SOPS 236046 HAS SOUS 101303 HAS SOUPS 99192 WITH SCORE 99445.186
AT ITER 4688 NEW BEST:: SOT 623455 SOS 253130 HAS SOPS 235990 HAS SOUS 101303 HAS SOUPS 99192 WITH SCORE 99445.13
AT ITER 4703 NEW BEST:: SOT 623453 SOS 253122 HAS SOPS 235982 HAS SOUS 101301 HAS SOUPS 99190 WITH SCORE 99443.122
AT ITER 4722 NEW BEST:: SOT 623453 SOS 253272 HAS SOPS 236132 HAS SOUS 101185 HAS SOUPS 99074 WITH SCORE 99327.272
AT ITER 4738 NEW BEST:: SOT 623452 SOS 253271 HAS SOPS 236130 HAS SOUS 101183 HAS SOUPS 99072 WITH SCORE 99325.271
AT ITER 4741 NEW BEST:: SOT 623425 SOS 253217 HAS SOPS 236076 HAS SOUS 101147 HAS SOUPS 99036 WITH SCORE 99289.217
AT ITER 4766 NEW BEST:: SOT 623409 SOS 253209 HAS SOPS 236054 HAS SOUS 101117 HAS SOUPS 99006 WITH SCORE 99259.209
AT ITER 4769 NEW BEST:: SOT 623387 SOS 253215 HAS SOPS 236060 HAS SOUS 101044 HAS SOUPS 98933 WITH SCORE 99186.215
AT ITER 4770 NEW BEST:: SOT 623387 SOS 253195 HAS SOPS 236040 HAS SOUS 101044 HAS SOUPS 98933 WITH SCORE 99186.195
AT ITER 4775 NEW BEST:: SOT 623293 SOS 253084 HAS SOPS 235929 HAS SOUS 100945 HAS SOUPS 98834 WITH SCORE 99087.084
AT ITER 4847 NEW BEST:: SOT 623264 SOS 253103 HAS SOPS 235948 HAS SOUS 100647 HAS SOUPS 98536 WITH SCORE 98789.103
AT ITER 4855 NEW BEST:: SOT 623252 SOS 253091 HAS SOPS 235936 HAS SOUS 100599 HAS SOUPS 98488 WITH SCORE 98741.091
AT ITER 4895 NEW BEST:: SOT 623456 SOS 253040 HAS SOPS 235885 HAS SOUS 100315 HAS SOUPS 98204 WITH SCORE 98457.04
AT ITER 4917 NEW BEST:: SOT 623425 SOS 253009 HAS SOPS 235854 HAS SOUS 100284 HAS SOUPS 98173 WITH SCORE 98426.009
AT ITER 4930 NEW BEST:: SOT 623418 SOS 253002 HAS SOPS 235847 HAS SOUS 100249 HAS SOUPS 98138 WITH SCORE 98391.002
AT ITER 4931 NEW BEST:: SOT 623418 SOS 253002 HAS SOPS 235884 HAS SOUS 99821 HAS SOUPS 97710 WITH SCORE 97963.002
AT ITER 4942 NEW BEST:: SOT 623433 SOS 253017 HAS SOPS 235882 HAS SOUS 99817 HAS SOUPS 97706 WITH SCORE 97959.017
AT ITER 4966 NEW BEST:: SOT 623443 SOS 253021 HAS SOPS 235886 HAS SOUS 99803 HAS SOUPS 97692 WITH SCORE 97945.021
AT ITER 4970 NEW BEST:: SOT 623379 SOS 252957 HAS SOPS 235804 HAS SOUS 99702 HAS SOUPS 97591 WITH SCORE 97843.957
AT ITER 4979 NEW BEST:: SOT 623458 SOS 253261 HAS SOPS 236108 HAS SOUS 99692 HAS SOUPS 97581 WITH SCORE 97834.261
AT ITER 5013 NEW BEST:: SOT 623463 SOS 253216 HAS SOPS 236063 HAS SOUS 99685 HAS SOUPS 97574 WITH SCORE 97827.216
AT ITER 5031 NEW BEST:: SOT 623450 SOS 253203 HAS SOPS 236050 HAS SOUS 99659 HAS SOUPS 97548 WITH SCORE 97801.203
AT ITER 5051 NEW BEST:: SOT 623420 SOS 253158 HAS SOPS 236035 HAS SOUS 99659 HAS SOUPS 97548 WITH SCORE 97801.158
AT ITER 5096 NEW BEST:: SOT 623257 SOS 253198 HAS SOPS 236075 HAS SOUS 99638 HAS SOUPS 97527 WITH SCORE 97780.198
AT ITER 5097 NEW BEST:: SOT 623206 SOS 253045 HAS SOPS 235922 HAS SOUS 99584 HAS SOUPS 97473 WITH SCORE 97726.045
AT ITER 5114 NEW BEST:: SOT 623098 SOS 252983 HAS SOPS 235860 HAS SOUS 99575 HAS SOUPS 97464 WITH SCORE 97716.983
AT ITER 5115 NEW BEST:: SOT 623078 SOS 253191 HAS SOPS 236068 HAS SOUS 99540 HAS SOUPS 97429 WITH SCORE 97682.191
AT ITER 5121 NEW BEST:: SOT 623078 SOS 253910 HAS SOPS 235933 HAS SOUS 99522 HAS SOUPS 97394 WITH SCORE 97647.91
AT ITER 5153 NEW BEST:: SOT 622702 SOS 254091 HAS SOPS 236114 HAS SOUS 99387 HAS SOUPS 97259 WITH SCORE 97513.091
AT ITER 5165 NEW BEST:: SOT 622632 SOS 254008 HAS SOPS 236031 HAS SOUS 99386 HAS SOUPS 97258 WITH SCORE 97512.008
AT ITER 5179 NEW BEST:: SOT 622625 SOS 254001 HAS SOPS 236024 HAS SOUS 99288 HAS SOUPS 97160 WITH SCORE 97414.001
AT ITER 5185 NEW BEST:: SOT 622621 SOS 254015 HAS SOPS 236038 HAS SOUS 99266 HAS SOUPS 97138 WITH SCORE 97392.015
AT ITER 5194 NEW BEST:: SOT 622621 SOS 253852 HAS SOPS 235875 HAS SOUS 99231 HAS SOUPS 97103 WITH SCORE 97356.852
AT ITER 5197 NEW BEST:: SOT 622621 SOS 253852 HAS SOPS 235875 HAS SOUS 99212 HAS SOUPS 97084 WITH SCORE 97337.852
AT ITER 5221 NEW BEST:: SOT 622613 SOS 253844 HAS SOPS 235867 HAS SOUS 99076 HAS SOUPS 96948 WITH SCORE 97201.844
AT ITER 5239 NEW BEST:: SOT 622612 SOS 253843 HAS SOPS 235866 HAS SOUS 99072 HAS SOUPS 96944 WITH SCORE 97197.843
AT ITER 5294 NEW BEST:: SOT 622610 SOS 253841 HAS SOPS 235864 HAS SOUS 99070 HAS SOUPS 96942 WITH SCORE 97195.841
AT ITER 5309 NEW BEST:: SOT 622194 SOS 253425 HAS SOPS 235448 HAS SOUS 98983 HAS SOUPS 96855 WITH SCORE 97108.425
AT ITER 5340 NEW BEST:: SOT 622185 SOS 253413 HAS SOPS 235436 HAS SOUS 98945 HAS SOUPS 96817 WITH SCORE 97070.413
AT ITER 5344 NEW BEST:: SOT 622080 SOS 253308 HAS SOPS 235331 HAS SOUS 98911 HAS SOUPS 96783 WITH SCORE 97036.308
AT ITER 5354 NEW BEST:: SOT 622080 SOS 253382 HAS SOPS 235372 HAS SOUS 98908 HAS SOUPS 96780 WITH SCORE 97033.382
AT ITER 5358 NEW BEST:: SOT 622009 SOS 253406 HAS SOPS 235396 HAS SOUS 98754 HAS SOUPS 96626 WITH SCORE 96879.406
AT ITER 5362 NEW BEST:: SOT 622004 SOS 253335 HAS SOPS 235325 HAS SOUS 98673 HAS SOUPS 96545 WITH SCORE 96798.335
AT ITER 5384 NEW BEST:: SOT 621878 SOS 253209 HAS SOPS 235199 HAS SOUS 98421 HAS SOUPS 96293 WITH SCORE 96546.209
AT ITER 5406 NEW BEST:: SOT 621873 SOS 253199 HAS SOPS 235189 HAS SOUS 98411 HAS SOUPS 96283 WITH SCORE 96536.199
AT ITER 5423 NEW BEST:: SOT 621943 SOS 252819 HAS SOPS 234809 HAS SOUS 97598 HAS SOUPS 95470 WITH SCORE 95722.819
AT ITER 5435 NEW BEST:: SOT 621899 SOS 252731 HAS SOPS 234721 HAS SOUS 97587 HAS SOUPS 95459 WITH SCORE 95711.731
AT ITER 5451 NEW BEST:: SOT 621886 SOS 252718 HAS SOPS 234708 HAS SOUS 97579 HAS SOUPS 95451 WITH SCORE 95703.718
AT ITER 5458 NEW BEST:: SOT 621896 SOS 252713 HAS SOPS 234703 HAS SOUS 97575 HAS SOUPS 95447 WITH SCORE 95699.713
AT ITER 5459 NEW BEST:: SOT 621894 SOS 252627 HAS SOPS 234617 HAS SOUS 97494 HAS SOUPS 95366 WITH SCORE 95618.627
AT ITER 5472 NEW BEST:: SOT 621501 SOS 251923 HAS SOPS 234397 HAS SOUS 97420 HAS SOUPS 95310 WITH SCORE 95561.923
AT ITER 5479 NEW BEST:: SOT 621421 SOS 251971 HAS SOPS 234445 HAS SOUS 97388 HAS SOUPS 95278 WITH SCORE 95529.971
AT ITER 5491 NEW BEST:: SOT 621411 SOS 251961 HAS SOPS 234440 HAS SOUS 97362 HAS SOUPS 95252 WITH SCORE 95503.961
AT ITER 5504 NEW BEST:: SOT 621403 SOS 251953 HAS SOPS 234432 HAS SOUS 97334 HAS SOUPS 95224 WITH SCORE 95475.953
AT ITER 5559 NEW BEST:: SOT 621368 SOS 277178 HAS SOPS 259657 HAS SOUS 97164 HAS SOUPS 95054 WITH SCORE 95331.178
AT ITER 5573 NEW BEST:: SOT 621358 SOS 277150 HAS SOPS 259629 HAS SOUS 97159 HAS SOUPS 95049 WITH SCORE 95326.15
AT ITER 5575 NEW BEST:: SOT 621355 SOS 277120 HAS SOPS 259599 HAS SOUS 97146 HAS SOUPS 95036 WITH SCORE 95313.12
AT ITER 5593 NEW BEST:: SOT 621341 SOS 277106 HAS SOPS 259585 HAS SOUS 97090 HAS SOUPS 94980 WITH SCORE 95257.106
AT ITER 5605 NEW BEST:: SOT 621291 SOS 277056 HAS SOPS 259445 HAS SOUS 96970 HAS SOUPS 94860 WITH SCORE 95137.056
AT ITER 5611 NEW BEST:: SOT 621291 SOS 277056 HAS SOPS 259445 HAS SOUS 96918 HAS SOUPS 94808 WITH SCORE 95085.056
AT ITER 5620 NEW BEST:: SOT 621335 SOS 277052 HAS SOPS 259345 HAS SOUS 96910 HAS SOUPS 94800 WITH SCORE 95077.052
AT ITER 5638 NEW BEST:: SOT 621254 SOS 277052 HAS SOPS 259345 HAS SOUS 96748 HAS SOUPS 94638 WITH SCORE 94915.052
AT ITER 5640 NEW BEST:: SOT 621227 SOS 277025 HAS SOPS 259318 HAS SOUS 96456 HAS SOUPS 94346 WITH SCORE 94623.025
AT ITER 5658 NEW BEST:: SOT 621196 SOS 276963 HAS SOPS 259256 HAS SOUS 96456 HAS SOUPS 94346 WITH SCORE 94622.963
AT ITER 5661 NEW BEST:: SOT 621047 SOS 276367 HAS SOPS 258660 HAS SOUS 96158 HAS SOUPS 94048 WITH SCORE 94324.367
AT ITER 5671 NEW BEST:: SOT 621042 SOS 276362 HAS SOPS 258650 HAS SOUS 96148 HAS SOUPS 94038 WITH SCORE 94314.362
AT ITER 5681 NEW BEST:: SOT 621014 SOS 276334 HAS SOPS 258622 HAS SOUS 96114 HAS SOUPS 94004 WITH SCORE 94280.334
AT ITER 5692 NEW BEST:: SOT 621010 SOS 276330 HAS SOPS 258618 HAS SOUS 96104 HAS SOUPS 93994 WITH SCORE 94270.33
AT ITER 5696 NEW BEST:: SOT 621030 SOS 276350 HAS SOPS 258618 HAS SOUS 96103 HAS SOUPS 93993 WITH SCORE 94269.35
AT ITER 5710 NEW BEST:: SOT 621021 SOS 276341 HAS SOPS 258600 HAS SOUS 96091 HAS SOUPS 93975 WITH SCORE 94251.341
AT ITER 5721 NEW BEST:: SOT 621058 SOS 276393 HAS SOPS 258652 HAS SOUS 96077 HAS SOUPS 93961 WITH SCORE 94237.393
AT ITER 5740 NEW BEST:: SOT 620916 SOS 276215 HAS SOPS 258474 HAS SOUS 96003 HAS SOUPS 93887 WITH SCORE 94163.215
AT ITER 5761 NEW BEST:: SOT 620934 SOS 276233 HAS SOPS 258430 HAS SOUS 95917 HAS SOUPS 93801 WITH SCORE 94077.233
AT ITER 5768 NEW BEST:: SOT 620925 SOS 276230 HAS SOPS 258427 HAS SOUS 95897 HAS SOUPS 93781 WITH SCORE 94057.23
AT ITER 5784 NEW BEST:: SOT 620923 SOS 276230 HAS SOPS 258427 HAS SOUS 95895 HAS SOUPS 93779 WITH SCORE 94055.23
AT ITER 5802 NEW BEST:: SOT 620902 SOS 276191 HAS SOPS 258388 HAS SOUS 95889 HAS SOUPS 93773 WITH SCORE 94049.191
AT ITER 5818 NEW BEST:: SOT 620898 SOS 276175 HAS SOPS 258372 HAS SOUS 95889 HAS SOUPS 93773 WITH SCORE 94049.175
AT ITER 5819 NEW BEST:: SOT 620874 SOS 276118 HAS SOPS 258315 HAS SOUS 95863 HAS SOUPS 93747 WITH SCORE 94023.118
AT ITER 5839 NEW BEST:: SOT 620844 SOS 276155 HAS SOPS 258352 HAS SOUS 95780 HAS SOUPS 93664 WITH SCORE 93940.155
AT ITER 5848 NEW BEST:: SOT 620842 SOS 276151 HAS SOPS 258348 HAS SOUS 95776 HAS SOUPS 93660 WITH SCORE 93936.151
AT ITER 5860 NEW BEST:: SOT 620841 SOS 276144 HAS SOPS 258341 HAS SOUS 95771 HAS SOUPS 93655 WITH SCORE 93931.144
AT ITER 5863 NEW BEST:: SOT 620841 SOS 275904 HAS SOPS 258101 HAS SOUS 95771 HAS SOUPS 93655 WITH SCORE 93930.904
AT ITER 5874 NEW BEST:: SOT 620848 SOS 275635 HAS SOPS 257866 HAS SOUS 95724 HAS SOUPS 93608 WITH SCORE 93883.635
AT ITER 5879 NEW BEST:: SOT 620840 SOS 275480 HAS SOPS 257711 HAS SOUS 95708 HAS SOUPS 93592 WITH SCORE 93867.48
AT ITER 5881 NEW BEST:: SOT 620832 SOS 275476 HAS SOPS 257707 HAS SOUS 95692 HAS SOUPS 93576 WITH SCORE 93851.476
AT ITER 5899 NEW BEST:: SOT 620810 SOS 275454 HAS SOPS 257685 HAS SOUS 95640 HAS SOUPS 93524 WITH SCORE 93799.454
AT ITER 5915 NEW BEST:: SOT 620796 SOS 275445 HAS SOPS 257676 HAS SOUS 95631 HAS SOUPS 93515 WITH SCORE 93790.445
AT ITER 5917 NEW BEST:: SOT 620767 SOS 275381 HAS SOPS 257647 HAS SOUS 95582 HAS SOUPS 93492 WITH SCORE 93767.381
AT ITER 5928 NEW BEST:: SOT 620547 SOS 275295 HAS SOPS 257561 HAS SOUS 95270 HAS SOUPS 93180 WITH SCORE 93455.295
AT ITER 5969 NEW BEST:: SOT 620516 SOS 275264 HAS SOPS 257530 HAS SOUS 95208 HAS SOUPS 93118 WITH SCORE 93393.264
AT ITER 5983 NEW BEST:: SOT 620516 SOS 275249 HAS SOPS 257515 HAS SOUS 95202 HAS SOUPS 93112 WITH SCORE 93387.249
AT ITER 5985 NEW BEST:: SOT 620716 SOS 275449 HAS SOPS 257715 HAS SOUS 94957 HAS SOUPS 92867 WITH SCORE 93142.449
AT ITER 5988 NEW BEST:: SOT 620697 SOS 275430 HAS SOPS 257696 HAS SOUS 94841 HAS SOUPS 92751 WITH SCORE 93026.43
AT ITER 6002 NEW BEST:: SOT 620488 SOS 275221 HAS SOPS 257487 HAS SOUS 94787 HAS SOUPS 92697 WITH SCORE 92972.221
AT ITER 6003 NEW BEST:: SOT 620501 SOS 275251 HAS SOPS 257517 HAS SOUS 94783 HAS SOUPS 92693 WITH SCORE 92968.251
AT ITER 6027 NEW BEST:: SOT 620487 SOS 275236 HAS SOPS 257502 HAS SOUS 94768 HAS SOUPS 92678 WITH SCORE 92953.236
AT ITER 6033 NEW BEST:: SOT 620487 SOS 275226 HAS SOPS 257492 HAS SOUS 94758 HAS SOUPS 92668 WITH SCORE 92943.226
AT ITER 6042 NEW BEST:: SOT 620443 SOS 275182 HAS SOPS 257470 HAS SOUS 94714 HAS SOUPS 92624 WITH SCORE 92899.182
AT ITER 6058 NEW BEST:: SOT 620416 SOS 275143 HAS SOPS 257431 HAS SOUS 94675 HAS SOUPS 92585 WITH SCORE 92860.143
AT ITER 6103 NEW BEST:: SOT 620416 SOS 275126 HAS SOPS 257414 HAS SOUS 94675 HAS SOUPS 92585 WITH SCORE 92860.126
AT ITER 6131 NEW BEST:: SOT 620421 SOS 275125 HAS SOPS 257413 HAS SOUS 94671 HAS SOUPS 92581 WITH SCORE 92856.125
AT ITER 6136 NEW BEST:: SOT 620428 SOS 275080 HAS SOPS 257264 HAS SOUS 94579 HAS SOUPS 92489 WITH SCORE 92764.08
AT ITER 6140 NEW BEST:: SOT 620411 SOS 275063 HAS SOPS 257247 HAS SOUS 94551 HAS SOUPS 92461 WITH SCORE 92736.063
AT ITER 6188 NEW BEST:: SOT 620402 SOS 275001 HAS SOPS 257185 HAS SOUS 94506 HAS SOUPS 92416 WITH SCORE 92691.001
AT ITER 6219 NEW BEST:: SOT 620264 SOS 274818 HAS SOPS 257002 HAS SOUS 94278 HAS SOUPS 92188 WITH SCORE 92462.818
AT ITER 6223 NEW BEST:: SOT 620172 SOS 274694 HAS SOPS 256862 HAS SOUS 94235 HAS SOUPS 92145 WITH SCORE 92419.694
AT ITER 6231 NEW BEST:: SOT 620157 SOS 274679 HAS SOPS 256844 HAS SOUS 94214 HAS SOUPS 92121 WITH SCORE 92395.679
AT ITER 6236 NEW BEST:: SOT 620102 SOS 274624 HAS SOPS 256789 HAS SOUS 94108 HAS SOUPS 92015 WITH SCORE 92289.624
AT ITER 6242 NEW BEST:: SOT 619872 SOS 274394 HAS SOPS 256559 HAS SOUS 93851 HAS SOUPS 91758 WITH SCORE 92032.394
AT ITER 6251 NEW BEST:: SOT 619866 SOS 274388 HAS SOPS 256553 HAS SOUS 93837 HAS SOUPS 91744 WITH SCORE 92018.388
AT ITER 6262 NEW BEST:: SOT 619860 SOS 274364 HAS SOPS 256529 HAS SOUS 93834 HAS SOUPS 91741 WITH SCORE 92015.364
AT ITER 6282 NEW BEST:: SOT 619739 SOS 274243 HAS SOPS 256408 HAS SOUS 93733 HAS SOUPS 91640 WITH SCORE 91914.243
AT ITER 6305 NEW BEST:: SOT 619739 SOS 274243 HAS SOPS 256408 HAS SOUS 93692 HAS SOUPS 91599 WITH SCORE 91873.243
AT ITER 6311 NEW BEST:: SOT 619691 SOS 274143 HAS SOPS 256305 HAS SOUS 93648 HAS SOUPS 91555 WITH SCORE 91829.143
AT ITER 6358 NEW BEST:: SOT 619763 SOS 274247 HAS SOPS 256447 HAS SOUS 93570 HAS SOUPS 91481 WITH SCORE 91755.247
AT ITER 6378 NEW BEST:: SOT 619600 SOS 273408 HAS SOPS 255608 HAS SOUS 93476 HAS SOUPS 91387 WITH SCORE 91660.408
AT ITER 6404 NEW BEST:: SOT 619603 SOS 273388 HAS SOPS 255590 HAS SOUS 93460 HAS SOUPS 91371 WITH SCORE 91644.388
AT ITER 6444 NEW BEST:: SOT 619602 SOS 273387 HAS SOPS 255588 HAS SOUS 93456 HAS SOUPS 91367 WITH SCORE 91640.387
AT ITER 6446 NEW BEST:: SOT 619537 SOS 273313 HAS SOPS 255514 HAS SOUS 93382 HAS SOUPS 91293 WITH SCORE 91566.313
AT ITER 6460 NEW BEST:: SOT 619463 SOS 273240 HAS SOPS 255441 HAS SOUS 93266 HAS SOUPS 91177 WITH SCORE 91450.24
AT ITER 6466 NEW BEST:: SOT 619391 SOS 273447 HAS SOPS 255648 HAS SOUS 93225 HAS SOUPS 91136 WITH SCORE 91409.447
AT ITER 6467 NEW BEST:: SOT 619376 SOS 273432 HAS SOPS 255633 HAS SOUS 93197 HAS SOUPS 91108 WITH SCORE 91381.432
AT ITER 6503 NEW BEST:: SOT 619228 SOS 273551 HAS SOPS 255752 HAS SOUS 93160 HAS SOUPS 91071 WITH SCORE 91344.551
AT ITER 6504 NEW BEST:: SOT 619236 SOS 273610 HAS SOPS 255811 HAS SOUS 93143 HAS SOUPS 91054 WITH SCORE 91327.61
AT ITER 6519 NEW BEST:: SOT 619253 SOS 273627 HAS SOPS 255825 HAS SOUS 93137 HAS SOUPS 91048 WITH SCORE 91321.627
AT ITER 6543 NEW BEST:: SOT 619185 SOS 273515 HAS SOPS 255713 HAS SOUS 93095 HAS SOUPS 91006 WITH SCORE 91279.515
AT ITER 6571 NEW BEST:: SOT 619112 SOS 273468 HAS SOPS 255666 HAS SOUS 93041 HAS SOUPS 90952 WITH SCORE 91225.468
AT ITER 6587 NEW BEST:: SOT 619005 SOS 273468 HAS SOPS 255666 HAS SOUS 92934 HAS SOUPS 90845 WITH SCORE 91118.468
AT ITER 6595 NEW BEST:: SOT 618977 SOS 273440 HAS SOPS 255620 HAS SOUS 92897 HAS SOUPS 90808 WITH SCORE 91081.44
AT ITER 6601 NEW BEST:: SOT 618946 SOS 273409 HAS SOPS 255589 HAS SOUS 92869 HAS SOUPS 90780 WITH SCORE 91053.409
AT ITER 6614 NEW BEST:: SOT 618917 SOS 273380 HAS SOPS 255560 HAS SOUS 92816 HAS SOUPS 90727 WITH SCORE 91000.38
AT ITER 6638 NEW BEST:: SOT 618913 SOS 273376 HAS SOPS 255563 HAS SOUS 92778 HAS SOUPS 90689 WITH SCORE 90962.376
AT ITER 6646 NEW BEST:: SOT 618913 SOS 273379 HAS SOPS 255563 HAS SOUS 92772 HAS SOUPS 90683 WITH SCORE 90956.379
AT ITER 6657 NEW BEST:: SOT 618879 SOS 273345 HAS SOPS 255552 HAS SOUS 92738 HAS SOUPS 90649 WITH SCORE 90922.345
AT ITER 6686 NEW BEST:: SOT 618873 SOS 273329 HAS SOPS 255536 HAS SOUS 92706 HAS SOUPS 90617 WITH SCORE 90890.329
AT ITER 6697 NEW BEST:: SOT 618871 SOS 273325 HAS SOPS 255532 HAS SOUS 92623 HAS SOUPS 90534 WITH SCORE 90807.325
AT ITER 6719 NEW BEST:: SOT 618813 SOS 273253 HAS SOPS 255486 HAS SOUS 92577 HAS SOUPS 90488 WITH SCORE 90761.253
AT ITER 6780 NEW BEST:: SOT 618791 SOS 273231 HAS SOPS 255483 HAS SOUS 92556 HAS SOUPS 90482 WITH SCORE 90755.231
AT ITER 6797 NEW BEST:: SOT 618688 SOS 273540 HAS SOPS 255792 HAS SOUS 92453 HAS SOUPS 90379 WITH SCORE 90652.54
AT ITER 6808 NEW BEST:: SOT 618680 SOS 273524 HAS SOPS 255780 HAS SOUS 92445 HAS SOUPS 90371 WITH SCORE 90644.524
AT ITER 6823 NEW BEST:: SOT 618679 SOS 273523 HAS SOPS 255772 HAS SOUS 92407 HAS SOUPS 90333 WITH SCORE 90606.523
AT ITER 6834 NEW BEST:: SOT 618665 SOS 273509 HAS SOPS 255758 HAS SOUS 92407 HAS SOUPS 90326 WITH SCORE 90599.509
AT ITER 6840 NEW BEST:: SOT 618654 SOS 273498 HAS SOPS 255735 HAS SOUS 92393 HAS SOUPS 90302 WITH SCORE 90575.498
AT ITER 6868 NEW BEST:: SOT 618624 SOS 273468 HAS SOPS 255705 HAS SOUS 92345 HAS SOUPS 90254 WITH SCORE 90527.468
AT ITER 6878 NEW BEST:: SOT 618623 SOS 273466 HAS SOPS 255703 HAS SOUS 92342 HAS SOUPS 90251 WITH SCORE 90524.466
AT ITER 6892 NEW BEST:: SOT 619127 SOS 273970 HAS SOPS 256207 HAS SOUS 91971 HAS SOUPS 89880 WITH SCORE 90153.97
AT ITER 6951 NEW BEST:: SOT 619081 SOS 273832 HAS SOPS 256069 HAS SOUS 91879 HAS SOUPS 89788 WITH SCORE 90061.832
AT ITER 6961 NEW BEST:: SOT 619079 SOS 273830 HAS SOPS 256067 HAS SOUS 91876 HAS SOUPS 89785 WITH SCORE 90058.83
AT ITER 7006 NEW BEST:: SOT 619064 SOS 273809 HAS SOPS 256046 HAS SOUS 91864 HAS SOUPS 89773 WITH SCORE 90046.809
AT ITER 7016 NEW BEST:: SOT 618993 SOS 271306 HAS SOPS 253543 HAS SOUS 91855 HAS SOUPS 89764 WITH SCORE 90035.306
AT ITER 7019 NEW BEST:: SOT 618923 SOS 271175 HAS SOPS 253439 HAS SOUS 91756 HAS SOUPS 89676 WITH SCORE 89947.175
AT ITER 7066 NEW BEST:: SOT 618911 SOS 271106 HAS SOPS 253370 HAS SOUS 91713 HAS SOUPS 89633 WITH SCORE 89904.106
AT ITER 7067 NEW BEST:: SOT 618901 SOS 271046 HAS SOPS 253328 HAS SOUS 91711 HAS SOUPS 89631 WITH SCORE 89902.046
AT ITER 7076 NEW BEST:: SOT 618901 SOS 271046 HAS SOPS 253328 HAS SOUS 91710 HAS SOUPS 89630 WITH SCORE 89901.046
AT ITER 7121 NEW BEST:: SOT 618903 SOS 271038 HAS SOPS 253320 HAS SOUS 91670 HAS SOUPS 89590 WITH SCORE 89861.038
AT ITER 7129 NEW BEST:: SOT 618896 SOS 270987 HAS SOPS 253269 HAS SOUS 91625 HAS SOUPS 89545 WITH SCORE 89815.987
AT ITER 7205 NEW BEST:: SOT 618896 SOS 271211 HAS SOPS 253159 HAS SOUS 91623 HAS SOUPS 89543 WITH SCORE 89814.211
AT ITER 7212 NEW BEST:: SOT 618870 SOS 271230 HAS SOPS 253178 HAS SOUS 91616 HAS SOUPS 89536 WITH SCORE 89807.23
AT ITER 7227 NEW BEST:: SOT 618856 SOS 271137 HAS SOPS 253085 HAS SOUS 91510 HAS SOUPS 89430 WITH SCORE 89701.137
AT ITER 7238 NEW BEST:: SOT 618902 SOS 271183 HAS SOPS 253131 HAS SOUS 91497 HAS SOUPS 89417 WITH SCORE 89688.183
AT ITER 7249 NEW BEST:: SOT 618885 SOS 271225 HAS SOPS 253173 HAS SOUS 91419 HAS SOUPS 89339 WITH SCORE 89610.225
AT ITER 7264 NEW BEST:: SOT 618874 SOS 271158 HAS SOPS 253106 HAS SOUS 91399 HAS SOUPS 89319 WITH SCORE 89590.158
AT ITER 7289 NEW BEST:: SOT 618874 SOS 271159 HAS SOPS 253107 HAS SOUS 91398 HAS SOUPS 89318 WITH SCORE 89589.159
AT ITER 7311 NEW BEST:: SOT 618862 SOS 271130 HAS SOPS 253078 HAS SOUS 91316 HAS SOUPS 89236 WITH SCORE 89507.13
AT ITER 7328 NEW BEST:: SOT 618846 SOS 271109 HAS SOPS 253057 HAS SOUS 91313 HAS SOUPS 89233 WITH SCORE 89504.109
AT ITER 7335 NEW BEST:: SOT 618825 SOS 271088 HAS SOPS 253036 HAS SOUS 91271 HAS SOUPS 89191 WITH SCORE 89462.088
AT ITER 7341 NEW BEST:: SOT 618812 SOS 271075 HAS SOPS 253023 HAS SOUS 91239 HAS SOUPS 89159 WITH SCORE 89430.075
AT ITER 7366 NEW BEST:: SOT 618800 SOS 271066 HAS SOPS 253014 HAS SOUS 91233 HAS SOUPS 89153 WITH SCORE 89424.066
AT ITER 7371 NEW BEST:: SOT 618781 SOS 271019 HAS SOPS 252967 HAS SOUS 91223 HAS SOUPS 89143 WITH SCORE 89414.019
AT ITER 7393 NEW BEST:: SOT 618781 SOS 271048 HAS SOPS 252996 HAS SOUS 91191 HAS SOUPS 89111 WITH SCORE 89382.048
AT ITER 7400 NEW BEST:: SOT 618761 SOS 271028 HAS SOPS 252976 HAS SOUS 91136 HAS SOUPS 89056 WITH SCORE 89327.028
AT ITER 7408 NEW BEST:: SOT 618752 SOS 271019 HAS SOPS 252951 HAS SOUS 91120 HAS SOUPS 89040 WITH SCORE 89311.019
AT ITER 7429 NEW BEST:: SOT 618721 SOS 270904 HAS SOPS 252836 HAS SOUS 91072 HAS SOUPS 88992 WITH SCORE 89262.904
AT ITER 7474 NEW BEST:: SOT 618730 SOS 270913 HAS SOPS 252845 HAS SOUS 91048 HAS SOUPS 88968 WITH SCORE 89238.913
AT ITER 7485 NEW BEST:: SOT 618729 SOS 270910 HAS SOPS 252842 HAS SOUS 91040 HAS SOUPS 88960 WITH SCORE 89230.91
AT ITER 7493 NEW BEST:: SOT 618718 SOS 270899 HAS SOPS 252831 HAS SOUS 91018 HAS SOUPS 88938 WITH SCORE 89208.899
AT ITER 7503 NEW BEST:: SOT 618706 SOS 270887 HAS SOPS 252827 HAS SOUS 90991 HAS SOUPS 88919 WITH SCORE 89189.887
AT ITER 7505 NEW BEST:: SOT 618706 SOS 270887 HAS SOPS 252785 HAS SOUS 90907 HAS SOUPS 88835 WITH SCORE 89105.887
AT ITER 7507 NEW BEST:: SOT 618605 SOS 270535 HAS SOPS 252433 HAS SOUS 90753 HAS SOUPS 88681 WITH SCORE 88951.535
AT ITER 7537 NEW BEST:: SOT 618605 SOS 270535 HAS SOPS 252433 HAS SOUS 90738 HAS SOUPS 88666 WITH SCORE 88936.535
AT ITER 7560 NEW BEST:: SOT 618569 SOS 270463 HAS SOPS 252361 HAS SOUS 90696 HAS SOUPS 88624 WITH SCORE 88894.463
AT ITER 7573 NEW BEST:: SOT 618552 SOS 270434 HAS SOPS 252332 HAS SOUS 90667 HAS SOUPS 88595 WITH SCORE 88865.434
AT ITER 7596 NEW BEST:: SOT 618533 SOS 270429 HAS SOPS 252327 HAS SOUS 90662 HAS SOUPS 88590 WITH SCORE 88860.429
AT ITER 7597 NEW BEST:: SOT 618509 SOS 270379 HAS SOPS 252277 HAS SOUS 90489 HAS SOUPS 88417 WITH SCORE 88687.379
AT ITER 7602 NEW BEST:: SOT 618515 SOS 270394 HAS SOPS 252292 HAS SOUS 90477 HAS SOUPS 88405 WITH SCORE 88675.394
AT ITER 7639 NEW BEST:: SOT 618452 SOS 270259 HAS SOPS 252157 HAS SOUS 90422 HAS SOUPS 88350 WITH SCORE 88620.259
AT ITER 7681 NEW BEST:: SOT 618452 SOS 270259 HAS SOPS 252157 HAS SOUS 90202 HAS SOUPS 88130 WITH SCORE 88400.259
AT ITER 7701 NEW BEST:: SOT 618315 SOS 270093 HAS SOPS 251991 HAS SOUS 90120 HAS SOUPS 88048 WITH SCORE 88318.093
AT ITER 7735 NEW BEST:: SOT 618323 SOS 270101 HAS SOPS 251999 HAS SOUS 90108 HAS SOUPS 88036 WITH SCORE 88306.101
AT ITER 7777 NEW BEST:: SOT 618239 SOS 242235 HAS SOPS 224133 HAS SOUS 90043 HAS SOUPS 87971 WITH SCORE 88213.235
AT ITER 7798 NEW BEST:: SOT 618151 SOS 242144 HAS SOPS 224042 HAS SOUS 89959 HAS SOUPS 87887 WITH SCORE 88129.144
AT ITER 7822 NEW BEST:: SOT 618118 SOS 242111 HAS SOPS 224018 HAS SOUS 89959 HAS SOUPS 87887 WITH SCORE 88129.111
AT ITER 7943 NEW BEST:: SOT 618098 SOS 242095 HAS SOPS 224002 HAS SOUS 89935 HAS SOUPS 87863 WITH SCORE 88105.095
AT ITER 7983 NEW BEST:: SOT 617832 SOS 241800 HAS SOPS 223707 HAS SOUS 89693 HAS SOUPS 87621 WITH SCORE 87862.8
AT ITER 8040 NEW BEST:: SOT 617832 SOS 241866 HAS SOPS 223971 HAS SOUS 89696 HAS SOUPS 87613 WITH SCORE 87854.866
AT ITER 8043 NEW BEST:: SOT 617866 SOS 241900 HAS SOPS 223962 HAS SOUS 89642 HAS SOUPS 87559 WITH SCORE 87800.9
AT ITER 8123 NEW BEST:: SOT 617847 SOS 241900 HAS SOPS 223962 HAS SOUS 89604 HAS SOUPS 87521 WITH SCORE 87762.9
AT ITER 8187 NEW BEST:: SOT 617848 SOS 241891 HAS SOPS 223953 HAS SOUS 89587 HAS SOUPS 87504 WITH SCORE 87745.891
AT ITER 8213 NEW BEST:: SOT 617836 SOS 241873 HAS SOPS 223935 HAS SOUS 89572 HAS SOUPS 87489 WITH SCORE 87730.873
AT ITER 8230 NEW BEST:: SOT 617797 SOS 241831 HAS SOPS 223893 HAS SOUS 89530 HAS SOUPS 87447 WITH SCORE 87688.831
AT ITER 8281 NEW BEST:: SOT 617753 SOS 241721 HAS SOPS 223783 HAS SOUS 89468 HAS SOUPS 87385 WITH SCORE 87626.721
AT ITER 8285 NEW BEST:: SOT 617740 SOS 241718 HAS SOPS 223780 HAS SOUS 89442 HAS SOUPS 87359 WITH SCORE 87600.718
AT ITER 8288 NEW BEST:: SOT 617660 SOS 241638 HAS SOPS 223700 HAS SOUS 89362 HAS SOUPS 87279 WITH SCORE 87520.638
AT ITER 8303 NEW BEST:: SOT 617649 SOS 241627 HAS SOPS 223677 HAS SOUS 89336 HAS SOUPS 87253 WITH SCORE 87494.627
AT ITER 8327 NEW BEST:: SOT 617660 SOS 241575 HAS SOPS 223645 HAS SOUS 89336 HAS SOUPS 87253 WITH SCORE 87494.575
AT ITER 8341 NEW BEST:: SOT 617574 SOS 241454 HAS SOPS 223524 HAS SOUS 89262 HAS SOUPS 87179 WITH SCORE 87420.454
AT ITER 8344 NEW BEST:: SOT 617574 SOS 241360 HAS SOPS 223430 HAS SOUS 89260 HAS SOUPS 87177 WITH SCORE 87418.36
AT ITER 8348 NEW BEST:: SOT 617651 SOS 241091 HAS SOPS 223161 HAS SOUS 89233 HAS SOUPS 87150 WITH SCORE 87391.091
AT ITER 8352 NEW BEST:: SOT 617647 SOS 241087 HAS SOPS 223157 HAS SOUS 89229 HAS SOUPS 87146 WITH SCORE 87387.087
AT ITER 8421 NEW BEST:: SOT 617643 SOS 241083 HAS SOPS 223153 HAS SOUS 89221 HAS SOUPS 87138 WITH SCORE 87379.083
AT ITER 8514 NEW BEST:: SOT 617634 SOS 241071 HAS SOPS 223141 HAS SOUS 89209 HAS SOUPS 87126 WITH SCORE 87367.071
AT ITER 8524 NEW BEST:: SOT 617632 SOS 241067 HAS SOPS 223137 HAS SOUS 89205 HAS SOUPS 87122 WITH SCORE 87363.067
AT ITER 8572 NEW BEST:: SOT 617632 SOS 241083 HAS SOPS 223153 HAS SOUS 89197 HAS SOUPS 87114 WITH SCORE 87355.083
AT ITER 8579 NEW BEST:: SOT 617545 SOS 240974 HAS SOPS 223044 HAS SOUS 89088 HAS SOUPS 87005 WITH SCORE 87245.974
AT ITER 8583 NEW BEST:: SOT 617437 SOS 240866 HAS SOPS 222936 HAS SOUS 88980 HAS SOUPS 86897 WITH SCORE 87137.866
AT ITER 8601 NEW BEST:: SOT 617436 SOS 240865 HAS SOPS 222935 HAS SOUS 88975 HAS SOUPS 86892 WITH SCORE 87132.865
AT ITER 8626 NEW BEST:: SOT 617436 SOS 240893 HAS SOPS 222913 HAS SOUS 88967 HAS SOUPS 86884 WITH SCORE 87124.893
AT ITER 8646 NEW BEST:: SOT 617436 SOS 240893 HAS SOPS 222913 HAS SOUS 88957 HAS SOUPS 86874 WITH SCORE 87114.893
AT ITER 8647 NEW BEST:: SOT 617433 SOS 240890 HAS SOPS 222911 HAS SOUS 88952 HAS SOUPS 86870 WITH SCORE 87110.89
AT ITER 8702 NEW BEST:: SOT 617402 SOS 240879 HAS SOPS 222900 HAS SOUS 88934 HAS SOUPS 86852 WITH SCORE 87092.879
AT ITER 8709 NEW BEST:: SOT 617402 SOS 241364 HAS SOPS 223385 HAS SOUS 88933 HAS SOUPS 86851 WITH SCORE 87092.364
AT ITER 8756 NEW BEST:: SOT 617378 SOS 241344 HAS SOPS 223365 HAS SOUS 88883 HAS SOUPS 86801 WITH SCORE 87042.344
AT ITER 8759 NEW BEST:: SOT 617348 SOS 241314 HAS SOPS 223335 HAS SOUS 88843 HAS SOUPS 86761 WITH SCORE 87002.314
AT ITER 8771 NEW BEST:: SOT 617307 SOS 241270 HAS SOPS 223291 HAS SOUS 88818 HAS SOUPS 86736 WITH SCORE 86977.27
AT ITER 8876 NEW BEST:: SOT 617215 SOS 241040 HAS SOPS 223061 HAS SOUS 88634 HAS SOUPS 86552 WITH SCORE 86793.04
AT ITER 8889 NEW BEST:: SOT 617269 SOS 241192 HAS SOPS 223213 HAS SOUS 88607 HAS SOUPS 86525 WITH SCORE 86766.192
AT ITER 8898 NEW BEST:: SOT 617269 SOS 241182 HAS SOPS 223183 HAS SOUS 88583 HAS SOUPS 86491 WITH SCORE 86732.182
AT ITER 8942 NEW BEST:: SOT 617305 SOS 240683 HAS SOPS 222684 HAS SOUS 88356 HAS SOUPS 86264 WITH SCORE 86504.683
AT ITER 8950 NEW BEST:: SOT 617305 SOS 240668 HAS SOPS 222669 HAS SOUS 88341 HAS SOUPS 86249 WITH SCORE 86489.668
AT ITER 8957 NEW BEST:: SOT 617305 SOS 240666 HAS SOPS 222667 HAS SOUS 88341 HAS SOUPS 86249 WITH SCORE 86489.666
AT ITER 9006 NEW BEST:: SOT 617313 SOS 240674 HAS SOPS 222675 HAS SOUS 88268 HAS SOUPS 86176 WITH SCORE 86416.674
AT ITER 9013 NEW BEST:: SOT 617299 SOS 240660 HAS SOPS 222661 HAS SOUS 88240 HAS SOUPS 86148 WITH SCORE 86388.66
AT ITER 9065 NEW BEST:: SOT 617326 SOS 240745 HAS SOPS 222690 HAS SOUS 88208 HAS SOUPS 86116 WITH SCORE 86356.745
AT ITER 9068 NEW BEST:: SOT 617351 SOS 240399 HAS SOPS 222344 HAS SOUS 88198 HAS SOUPS 86106 WITH SCORE 86346.399
AT ITER 9098 NEW BEST:: SOT 617349 SOS 240463 HAS SOPS 222408 HAS SOUS 88024 HAS SOUPS 85932 WITH SCORE 86172.463
AT ITER 9112 NEW BEST:: SOT 617306 SOS 238001 HAS SOPS 219946 HAS SOUS 87938 HAS SOUPS 85846 WITH SCORE 86084.001
AT ITER 9133 NEW BEST:: SOT 617194 SOS 237889 HAS SOPS 219834 HAS SOUS 87759 HAS SOUPS 85667 WITH SCORE 85904.889
AT ITER 9137 NEW BEST:: SOT 617185 SOS 237880 HAS SOPS 219821 HAS SOUS 87741 HAS SOUPS 85649 WITH SCORE 85886.88
AT ITER 9154 NEW BEST:: SOT 617216 SOS 237911 HAS SOPS 219852 HAS SOUS 87707 HAS SOUPS 85615 WITH SCORE 85852.911
AT ITER 9205 NEW BEST:: SOT 617170 SOS 237985 HAS SOPS 219926 HAS SOUS 87625 HAS SOUPS 85533 WITH SCORE 85770.985
AT ITER 9255 NEW BEST:: SOT 617258 SOS 238151 HAS SOPS 220092 HAS SOUS 87599 HAS SOUPS 85507 WITH SCORE 85745.151
AT ITER 9269 NEW BEST:: SOT 617245 SOS 238138 HAS SOPS 220084 HAS SOUS 87593 HAS SOUPS 85501 WITH SCORE 85739.138
AT ITER 9291 NEW BEST:: SOT 617177 SOS 237977 HAS SOPS 219923 HAS SOUS 87519 HAS SOUPS 85427 WITH SCORE 85664.977
AT ITER 9326 NEW BEST:: SOT 617216 SOS 237981 HAS SOPS 219927 HAS SOUS 87515 HAS SOUPS 85423 WITH SCORE 85660.981
AT ITER 9338 NEW BEST:: SOT 617191 SOS 237956 HAS SOPS 219902 HAS SOUS 87465 HAS SOUPS 85373 WITH SCORE 85610.956
AT ITER 9351 NEW BEST:: SOT 617217 SOS 237976 HAS SOPS 219922 HAS SOUS 87451 HAS SOUPS 85359 WITH SCORE 85596.976
AT ITER 9369 NEW BEST:: SOT 617186 SOS 237945 HAS SOPS 219891 HAS SOUS 87428 HAS SOUPS 85336 WITH SCORE 85573.945
AT ITER 9388 NEW BEST:: SOT 617184 SOS 237943 HAS SOPS 219889 HAS SOUS 87371 HAS SOUPS 85279 WITH SCORE 85516.943
AT ITER 9451 NEW BEST:: SOT 617182 SOS 237941 HAS SOPS 219887 HAS SOUS 87368 HAS SOUPS 85276 WITH SCORE 85513.941
AT ITER 9471 NEW BEST:: SOT 617177 SOS 237965 HAS SOPS 219911 HAS SOUS 87358 HAS SOUPS 85266 WITH SCORE 85503.965
AT ITER 9484 NEW BEST:: SOT 617176 SOS 237964 HAS SOPS 219910 HAS SOUS 87286 HAS SOUPS 85194 WITH SCORE 85431.964
AT ITER 9520 NEW BEST:: SOT 617167 SOS 237949 HAS SOPS 219895 HAS SOUS 87280 HAS SOUPS 85188 WITH SCORE 85425.949
AT ITER 9529 NEW BEST:: SOT 617163 SOS 237945 HAS SOPS 219891 HAS SOUS 87272 HAS SOUPS 85180 WITH SCORE 85417.945
AT ITER 9549 NEW BEST:: SOT 617141 SOS 237923 HAS SOPS 219869 HAS SOUS 87250 HAS SOUPS 85158 WITH SCORE 85395.923
AT ITER 9561 NEW BEST:: SOT 616716 SOS 237483 HAS SOPS 219824 HAS SOUS 87250 HAS SOUPS 85158 WITH SCORE 85395.483
AT ITER 9582 NEW BEST:: SOT 616552 SOS 237319 HAS SOPS 219660 HAS SOUS 87221 HAS SOUPS 85129 WITH SCORE 85366.319
AT ITER 9659 NEW BEST:: SOT 616532 SOS 237299 HAS SOPS 219629 HAS SOUS 87201 HAS SOUPS 85109 WITH SCORE 85346.299
AT ITER 9665 NEW BEST:: SOT 616528 SOS 237301 HAS SOPS 219631 HAS SOUS 87197 HAS SOUPS 85105 WITH SCORE 85342.301
AT ITER 9666 NEW BEST:: SOT 616500 SOS 237188 HAS SOPS 219518 HAS SOUS 87059 HAS SOUPS 84967 WITH SCORE 85204.188
AT ITER 9691 NEW BEST:: SOT 616452 SOS 237140 HAS SOPS 219470 HAS SOUS 87007 HAS SOUPS 84915 WITH SCORE 85152.14
AT ITER 9703 NEW BEST:: SOT 616481 SOS 237169 HAS SOPS 219499 HAS SOUS 86712 HAS SOUPS 84620 WITH SCORE 84857.169
AT ITER 9834 NEW BEST:: SOT 616481 SOS 237894 HAS SOPS 220224 HAS SOUS 86660 HAS SOUPS 84568 WITH SCORE 84805.894
AT ITER 9893 NEW BEST:: SOT 616473 SOS 237930 HAS SOPS 220260 HAS SOUS 86651 HAS SOUPS 84559 WITH SCORE 84796.93
AT ITER 9900 NEW BEST:: SOT 616472 SOS 237903 HAS SOPS 220233 HAS SOUS 86635 HAS SOUPS 84543 WITH SCORE 84780.903
AT ITER 9909 NEW BEST:: SOT 616447 SOS 237854 HAS SOPS 220184 HAS SOUS 86631 HAS SOUPS 84539 WITH SCORE 84776.854
AT ITER 9944 NEW BEST:: SOT 616426 SOS 237785 HAS SOPS 220115 HAS SOUS 86574 HAS SOUPS 84482 WITH SCORE 84719.785
AT ITER 9950 NEW BEST:: SOT 616440 SOS 238135 HAS SOPS 220465 HAS SOUS 86556 HAS SOUPS 84464 WITH SCORE 84702.135
AT ITER 9975 NEW BEST:: SOT 616412 SOS 238107 HAS SOPS 220437 HAS SOUS 86514 HAS SOUPS 84422 WITH SCORE 84660.107
AT ITER 9977 NEW BEST:: SOT 616411 SOS 238106 HAS SOPS 220436 HAS SOUS 86513 HAS SOUPS 84421 WITH SCORE 84659.106
AT ITER 9997 NEW BEST:: SOT 616408 SOS 238100 HAS SOPS 220430 HAS SOUS 86507 HAS SOUPS 84415 WITH SCORE 84653.1
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 9401532 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16132752 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-COL-S06J06T04"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is PolyORBLF-COL-S06J06T04, 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 r291-tall-167873942900472"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-COL-S06J06T04.tgz
mv PolyORBLF-COL-S06J06T04 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 ;