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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 612K
-rw-r--r-- 1 mcc users 7.0K Feb 26 14:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 26 14:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 14:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 14:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 14:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 121K Feb 26 14:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 14:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 82K Feb 26 14:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:34 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 1679484413848

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBLF-COL-S02J04T06
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 11:26:55] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 11:26:55] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 11:26:55] [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-22 11:26:55] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-22 11:26:56] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 847 ms
[2023-03-22 11:26:56] [INFO ] Imported 81 HL places and 65 HL transitions for a total of 476 PT places and 952.0 transition bindings in 20 ms.
[2023-03-22 11:26:56] [INFO ] Unfolded HLPN to a Petri net with 476 places and 920 transitions 4242 arcs in 29 ms.
[2023-03-22 11:26:56] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-22 11:26:56] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 476 places, 920 transitions and 4242 arcs took 12 ms.
Total runtime 989 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (COL), instance S02J04T06
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 476 places, 920 transitions, 4242 arcs.
AT ITER 0 NEW BEST:: SOT 288424 SOS 160660 HAS SOPS 156520 HAS SOUS 97565 HAS SOUPS 96788 WITH SCORE 96948.66
AT ITER 12 NEW BEST:: SOT 288350 SOS 160364 HAS SOPS 156224 HAS SOUS 97417 HAS SOUPS 96640 WITH SCORE 96800.364
AT ITER 17 NEW BEST:: SOT 288350 SOS 160336 HAS SOPS 156196 HAS SOUS 97417 HAS SOUPS 96640 WITH SCORE 96800.336
AT ITER 31 NEW BEST:: SOT 288350 SOS 160359 HAS SOPS 156219 HAS SOUS 97410 HAS SOUPS 96633 WITH SCORE 96793.359
AT ITER 36 NEW BEST:: SOT 288172 SOS 160196 HAS SOPS 156056 HAS SOUS 97330 HAS SOUPS 96553 WITH SCORE 96713.196
AT ITER 55 NEW BEST:: SOT 288116 SOS 160140 HAS SOPS 156000 HAS SOUS 97321 HAS SOUPS 96544 WITH SCORE 96704.14
AT ITER 58 NEW BEST:: SOT 286703 SOS 158647 HAS SOPS 154507 HAS SOUS 96159 HAS SOUPS 95382 WITH SCORE 95540.647
AT ITER 59 NEW BEST:: SOT 286701 SOS 158643 HAS SOPS 154503 HAS SOUS 96155 HAS SOUPS 95378 WITH SCORE 95536.643
AT ITER 65 NEW BEST:: SOT 285944 SOS 158179 HAS SOPS 154039 HAS SOUS 95832 HAS SOUPS 95055 WITH SCORE 95213.179
AT ITER 66 NEW BEST:: SOT 285908 SOS 158107 HAS SOPS 153967 HAS SOUS 95760 HAS SOUPS 94983 WITH SCORE 95141.107
AT ITER 90 NEW BEST:: SOT 285890 SOS 158089 HAS SOPS 153949 HAS SOUS 95742 HAS SOUPS 94965 WITH SCORE 95123.089
AT ITER 96 NEW BEST:: SOT 285886 SOS 158113 HAS SOPS 153973 HAS SOUS 95740 HAS SOUPS 94963 WITH SCORE 95121.113
AT ITER 104 NEW BEST:: SOT 285886 SOS 158113 HAS SOPS 153973 HAS SOUS 95726 HAS SOUPS 94949 WITH SCORE 95107.113
AT ITER 134 NEW BEST:: SOT 285877 SOS 158104 HAS SOPS 153973 HAS SOUS 95726 HAS SOUPS 94949 WITH SCORE 95107.104
AT ITER 136 NEW BEST:: SOT 285857 SOS 157454 HAS SOPS 153323 HAS SOUS 95706 HAS SOUPS 94929 WITH SCORE 95086.454
AT ITER 138 NEW BEST:: SOT 285780 SOS 156843 HAS SOPS 152827 HAS SOUS 95703 HAS SOUPS 94926 WITH SCORE 95082.843
AT ITER 141 NEW BEST:: SOT 285517 SOS 156516 HAS SOPS 152500 HAS SOUS 95591 HAS SOUPS 94814 WITH SCORE 94970.516
AT ITER 147 NEW BEST:: SOT 285190 SOS 156214 HAS SOPS 152198 HAS SOUS 95419 HAS SOUPS 94642 WITH SCORE 94798.214
AT ITER 152 NEW BEST:: SOT 285033 SOS 156366 HAS SOPS 152419 HAS SOUS 95389 HAS SOUPS 94612 WITH SCORE 94768.366
AT ITER 154 NEW BEST:: SOT 284870 SOS 156289 HAS SOPS 152342 HAS SOUS 95145 HAS SOUPS 94368 WITH SCORE 94524.289
AT ITER 155 NEW BEST:: SOT 284870 SOS 156289 HAS SOPS 152342 HAS SOUS 95141 HAS SOUPS 94364 WITH SCORE 94520.289
AT ITER 158 NEW BEST:: SOT 284594 SOS 156044 HAS SOPS 152097 HAS SOUS 95067 HAS SOUPS 94290 WITH SCORE 94446.044
AT ITER 160 NEW BEST:: SOT 284562 SOS 156012 HAS SOPS 152065 HAS SOUS 95067 HAS SOUPS 94290 WITH SCORE 94446.012
AT ITER 163 NEW BEST:: SOT 284522 SOS 156102 HAS SOPS 152155 HAS SOUS 94903 HAS SOUPS 94126 WITH SCORE 94282.102
AT ITER 166 NEW BEST:: SOT 284516 SOS 156096 HAS SOPS 152149 HAS SOUS 94903 HAS SOUPS 94126 WITH SCORE 94282.096
AT ITER 167 NEW BEST:: SOT 282070 SOS 153698 HAS SOPS 149751 HAS SOUS 93707 HAS SOUPS 92930 WITH SCORE 93083.698
AT ITER 168 NEW BEST:: SOT 282062 SOS 153690 HAS SOPS 149743 HAS SOUS 93669 HAS SOUPS 92892 WITH SCORE 93045.69
AT ITER 174 NEW BEST:: SOT 282056 SOS 153684 HAS SOPS 149737 HAS SOUS 93658 HAS SOUPS 92881 WITH SCORE 93034.684
AT ITER 179 NEW BEST:: SOT 281997 SOS 153507 HAS SOPS 149560 HAS SOUS 93589 HAS SOUPS 92812 WITH SCORE 92965.507
AT ITER 184 NEW BEST:: SOT 281853 SOS 153439 HAS SOPS 149492 HAS SOUS 93378 HAS SOUPS 92601 WITH SCORE 92754.439
AT ITER 208 NEW BEST:: SOT 281840 SOS 153426 HAS SOPS 149479 HAS SOUS 93352 HAS SOUPS 92575 WITH SCORE 92728.426
AT ITER 219 NEW BEST:: SOT 265433 SOS 137438 HAS SOPS 133491 HAS SOUS 89182 HAS SOUPS 88405 WITH SCORE 88542.438
AT ITER 233 NEW BEST:: SOT 264044 SOS 137304 HAS SOPS 132676 HAS SOUS 87946 HAS SOUPS 86958 WITH SCORE 87095.304
AT ITER 243 NEW BEST:: SOT 263923 SOS 137183 HAS SOPS 132632 HAS SOUS 87931 HAS SOUPS 86943 WITH SCORE 87080.183
AT ITER 247 NEW BEST:: SOT 263923 SOS 137139 HAS SOPS 132588 HAS SOUS 87931 HAS SOUPS 86943 WITH SCORE 87080.139
AT ITER 249 NEW BEST:: SOT 263903 SOS 137119 HAS SOPS 132578 HAS SOUS 87912 HAS SOUPS 86924 WITH SCORE 87061.119
AT ITER 260 NEW BEST:: SOT 263644 SOS 136432 HAS SOPS 131891 HAS SOUS 87210 HAS SOUPS 86222 WITH SCORE 86358.432
AT ITER 272 NEW BEST:: SOT 263601 SOS 136346 HAS SOPS 131805 HAS SOUS 87167 HAS SOUPS 86179 WITH SCORE 86315.346
AT ITER 284 NEW BEST:: SOT 263472 SOS 136217 HAS SOPS 131758 HAS SOUS 87078 HAS SOUPS 86090 WITH SCORE 86226.217
AT ITER 298 NEW BEST:: SOT 263457 SOS 136202 HAS SOPS 131743 HAS SOUS 87078 HAS SOUPS 86090 WITH SCORE 86226.202
AT ITER 308 NEW BEST:: SOT 263433 SOS 135907 HAS SOPS 131448 HAS SOUS 86959 HAS SOUPS 85971 WITH SCORE 86106.907
AT ITER 319 NEW BEST:: SOT 262942 SOS 135488 HAS SOPS 131029 HAS SOUS 86895 HAS SOUPS 85907 WITH SCORE 86042.488
AT ITER 321 NEW BEST:: SOT 262933 SOS 135413 HAS SOPS 131194 HAS SOUS 86739 HAS SOUPS 85809 WITH SCORE 85944.413
AT ITER 322 NEW BEST:: SOT 262804 SOS 135260 HAS SOPS 131077 HAS SOUS 86656 HAS SOUPS 85726 WITH SCORE 85861.26
AT ITER 327 NEW BEST:: SOT 262804 SOS 135222 HAS SOPS 131039 HAS SOUS 86618 HAS SOUPS 85688 WITH SCORE 85823.222
AT ITER 330 NEW BEST:: SOT 262856 SOS 135274 HAS SOPS 131091 HAS SOUS 86552 HAS SOUPS 85622 WITH SCORE 85757.274
AT ITER 347 NEW BEST:: SOT 262423 SOS 134764 HAS SOPS 130581 HAS SOUS 86030 HAS SOUPS 85100 WITH SCORE 85234.764
AT ITER 350 NEW BEST:: SOT 262505 SOS 134521 HAS SOPS 130338 HAS SOUS 85817 HAS SOUPS 84887 WITH SCORE 85021.521
AT ITER 354 NEW BEST:: SOT 262567 SOS 134843 HAS SOPS 130660 HAS SOUS 85741 HAS SOUPS 84811 WITH SCORE 84945.843
AT ITER 358 NEW BEST:: SOT 262509 SOS 134773 HAS SOPS 130590 HAS SOUS 85671 HAS SOUPS 84741 WITH SCORE 84875.773
AT ITER 388 NEW BEST:: SOT 262507 SOS 135343 HAS SOPS 131160 HAS SOUS 85541 HAS SOUPS 84611 WITH SCORE 84746.343
AT ITER 401 NEW BEST:: SOT 262507 SOS 135330 HAS SOPS 131147 HAS SOUS 85528 HAS SOUPS 84598 WITH SCORE 84733.33
AT ITER 402 NEW BEST:: SOT 262476 SOS 135299 HAS SOPS 131116 HAS SOUS 85486 HAS SOUPS 84556 WITH SCORE 84691.299
AT ITER 405 NEW BEST:: SOT 262470 SOS 135287 HAS SOPS 131104 HAS SOUS 85474 HAS SOUPS 84544 WITH SCORE 84679.287
AT ITER 409 NEW BEST:: SOT 262442 SOS 135254 HAS SOPS 131071 HAS SOUS 85459 HAS SOUPS 84529 WITH SCORE 84664.254
AT ITER 412 NEW BEST:: SOT 262430 SOS 135242 HAS SOPS 131071 HAS SOUS 85435 HAS SOUPS 84505 WITH SCORE 84640.242
AT ITER 415 NEW BEST:: SOT 262366 SOS 135050 HAS SOPS 130879 HAS SOUS 85347 HAS SOUPS 84417 WITH SCORE 84552.05
AT ITER 449 NEW BEST:: SOT 262313 SOS 134944 HAS SOPS 130773 HAS SOUS 85241 HAS SOUPS 84311 WITH SCORE 84445.944
AT ITER 464 NEW BEST:: SOT 262066 SOS 134681 HAS SOPS 130632 HAS SOUS 84954 HAS SOUPS 84024 WITH SCORE 84158.681
AT ITER 474 NEW BEST:: SOT 262065 SOS 134680 HAS SOPS 130631 HAS SOUS 84953 HAS SOUPS 84023 WITH SCORE 84157.68
AT ITER 483 NEW BEST:: SOT 262065 SOS 134680 HAS SOPS 130631 HAS SOUS 84949 HAS SOUPS 84019 WITH SCORE 84153.68
AT ITER 488 NEW BEST:: SOT 261953 SOS 134456 HAS SOPS 130407 HAS SOUS 84781 HAS SOUPS 83851 WITH SCORE 83985.456
AT ITER 490 NEW BEST:: SOT 261767 SOS 134318 HAS SOPS 130395 HAS SOUS 84701 HAS SOUPS 83771 WITH SCORE 83905.318
AT ITER 498 NEW BEST:: SOT 261620 SOS 133873 HAS SOPS 129950 HAS SOUS 84554 HAS SOUPS 83624 WITH SCORE 83757.873
AT ITER 517 NEW BEST:: SOT 261584 SOS 133837 HAS SOPS 129914 HAS SOUS 84518 HAS SOUPS 83588 WITH SCORE 83721.837
AT ITER 530 NEW BEST:: SOT 261597 SOS 133850 HAS SOPS 129927 HAS SOUS 84463 HAS SOUPS 83533 WITH SCORE 83666.85
AT ITER 532 NEW BEST:: SOT 261563 SOS 133816 HAS SOPS 129893 HAS SOUS 84299 HAS SOUPS 83369 WITH SCORE 83502.816
AT ITER 537 NEW BEST:: SOT 261563 SOS 133616 HAS SOPS 129693 HAS SOUS 84254 HAS SOUPS 83324 WITH SCORE 83457.616
AT ITER 544 NEW BEST:: SOT 261565 SOS 133618 HAS SOPS 129695 HAS SOUS 84242 HAS SOUPS 83312 WITH SCORE 83445.618
AT ITER 545 NEW BEST:: SOT 261574 SOS 133532 HAS SOPS 129609 HAS SOUS 84242 HAS SOUPS 83312 WITH SCORE 83445.532
AT ITER 567 NEW BEST:: SOT 261540 SOS 133450 HAS SOPS 129103 HAS SOUS 84260 HAS SOUPS 83234 WITH SCORE 83367.45
AT ITER 575 NEW BEST:: SOT 261491 SOS 133384 HAS SOPS 129181 HAS SOUS 84202 HAS SOUPS 83176 WITH SCORE 83309.384
AT ITER 579 NEW BEST:: SOT 261335 SOS 133240 HAS SOPS 129037 HAS SOUS 84134 HAS SOUPS 83108 WITH SCORE 83241.24
AT ITER 588 NEW BEST:: SOT 261334 SOS 133239 HAS SOPS 129036 HAS SOUS 84128 HAS SOUPS 83102 WITH SCORE 83235.239
AT ITER 594 NEW BEST:: SOT 261331 SOS 133236 HAS SOPS 129036 HAS SOUS 84123 HAS SOUPS 83097 WITH SCORE 83230.236
AT ITER 596 NEW BEST:: SOT 261331 SOS 133265 HAS SOPS 129065 HAS SOUS 84082 HAS SOUPS 83056 WITH SCORE 83189.265
AT ITER 597 NEW BEST:: SOT 261307 SOS 133241 HAS SOPS 129041 HAS SOUS 84034 HAS SOUPS 83008 WITH SCORE 83141.241
AT ITER 622 NEW BEST:: SOT 261294 SOS 133228 HAS SOPS 129028 HAS SOUS 84017 HAS SOUPS 82991 WITH SCORE 83124.228
AT ITER 630 NEW BEST:: SOT 261257 SOS 133191 HAS SOPS 128991 HAS SOUS 83950 HAS SOUPS 82924 WITH SCORE 83057.191
AT ITER 634 NEW BEST:: SOT 261236 SOS 133170 HAS SOPS 128970 HAS SOUS 83897 HAS SOUPS 82871 WITH SCORE 83004.17
AT ITER 644 NEW BEST:: SOT 261213 SOS 133147 HAS SOPS 128947 HAS SOUS 83867 HAS SOUPS 82841 WITH SCORE 82974.147
AT ITER 689 NEW BEST:: SOT 261124 SOS 133058 HAS SOPS 128858 HAS SOUS 83865 HAS SOUPS 82839 WITH SCORE 82972.058
AT ITER 693 NEW BEST:: SOT 261118 SOS 132996 HAS SOPS 128804 HAS SOUS 83811 HAS SOUPS 82793 WITH SCORE 82925.996
AT ITER 698 NEW BEST:: SOT 261044 SOS 132848 HAS SOPS 128656 HAS SOUS 83663 HAS SOUPS 82645 WITH SCORE 82777.848
AT ITER 700 NEW BEST:: SOT 261103 SOS 132891 HAS SOPS 128699 HAS SOUS 83605 HAS SOUPS 82587 WITH SCORE 82719.891
AT ITER 704 NEW BEST:: SOT 261085 SOS 132873 HAS SOPS 128681 HAS SOUS 83569 HAS SOUPS 82551 WITH SCORE 82683.873
AT ITER 713 NEW BEST:: SOT 260910 SOS 133035 HAS SOPS 128843 HAS SOUS 83363 HAS SOUPS 82345 WITH SCORE 82478.035
AT ITER 721 NEW BEST:: SOT 260797 SOS 132649 HAS SOPS 128457 HAS SOUS 83314 HAS SOUPS 82296 WITH SCORE 82428.649
AT ITER 731 NEW BEST:: SOT 260763 SOS 132615 HAS SOPS 128442 HAS SOUS 83299 HAS SOUPS 82281 WITH SCORE 82413.615
AT ITER 734 NEW BEST:: SOT 259723 SOS 131627 HAS SOPS 127454 HAS SOUS 82801 HAS SOUPS 81783 WITH SCORE 81914.627
AT ITER 735 NEW BEST:: SOT 259653 SOS 131558 HAS SOPS 127385 HAS SOUS 82677 HAS SOUPS 81659 WITH SCORE 81790.558
AT ITER 742 NEW BEST:: SOT 259653 SOS 131558 HAS SOPS 127385 HAS SOUS 82651 HAS SOUPS 81633 WITH SCORE 81764.558
AT ITER 748 NEW BEST:: SOT 259626 SOS 131507 HAS SOPS 127392 HAS SOUS 82546 HAS SOUPS 81528 WITH SCORE 81659.507
AT ITER 775 NEW BEST:: SOT 259626 SOS 131539 HAS SOPS 127424 HAS SOUS 82514 HAS SOUPS 81496 WITH SCORE 81627.539
AT ITER 781 NEW BEST:: SOT 259510 SOS 130952 HAS SOPS 126908 HAS SOUS 82419 HAS SOUPS 81401 WITH SCORE 81531.952
AT ITER 786 NEW BEST:: SOT 259475 SOS 130917 HAS SOPS 126873 HAS SOUS 82414 HAS SOUPS 81396 WITH SCORE 81526.917
AT ITER 787 NEW BEST:: SOT 259267 SOS 130693 HAS SOPS 126649 HAS SOUS 82310 HAS SOUPS 81292 WITH SCORE 81422.693
AT ITER 800 NEW BEST:: SOT 259267 SOS 130693 HAS SOPS 126649 HAS SOUS 82304 HAS SOUPS 81286 WITH SCORE 81416.693
AT ITER 827 NEW BEST:: SOT 259267 SOS 130665 HAS SOPS 126621 HAS SOUS 82288 HAS SOUPS 81270 WITH SCORE 81400.665
AT ITER 829 NEW BEST:: SOT 259263 SOS 130759 HAS SOPS 126715 HAS SOUS 82254 HAS SOUPS 81236 WITH SCORE 81366.759
AT ITER 830 NEW BEST:: SOT 259224 SOS 130720 HAS SOPS 126676 HAS SOUS 82169 HAS SOUPS 81151 WITH SCORE 81281.72
AT ITER 831 NEW BEST:: SOT 259240 SOS 130725 HAS SOPS 126681 HAS SOUS 82140 HAS SOUPS 81122 WITH SCORE 81252.725
AT ITER 834 NEW BEST:: SOT 259216 SOS 130707 HAS SOPS 126657 HAS SOUS 82116 HAS SOUPS 81092 WITH SCORE 81222.707
AT ITER 840 NEW BEST:: SOT 259193 SOS 130616 HAS SOPS 126566 HAS SOUS 82025 HAS SOUPS 81001 WITH SCORE 81131.616
AT ITER 848 NEW BEST:: SOT 259173 SOS 130596 HAS SOPS 126556 HAS SOUS 82005 HAS SOUPS 80981 WITH SCORE 81111.596
AT ITER 858 NEW BEST:: SOT 259167 SOS 130584 HAS SOPS 126532 HAS SOUS 82001 HAS SOUPS 80977 WITH SCORE 81107.584
AT ITER 874 NEW BEST:: SOT 258270 SOS 129710 HAS SOPS 125658 HAS SOUS 81600 HAS SOUPS 80576 WITH SCORE 80705.71
AT ITER 904 NEW BEST:: SOT 258270 SOS 129691 HAS SOPS 125639 HAS SOUS 81581 HAS SOUPS 80557 WITH SCORE 80686.691
AT ITER 913 NEW BEST:: SOT 258123 SOS 129593 HAS SOPS 125541 HAS SOUS 81483 HAS SOUPS 80459 WITH SCORE 80588.593
AT ITER 927 NEW BEST:: SOT 257972 SOS 129266 HAS SOPS 125214 HAS SOUS 81269 HAS SOUPS 80245 WITH SCORE 80374.266
AT ITER 943 NEW BEST:: SOT 257929 SOS 129223 HAS SOPS 125171 HAS SOUS 81140 HAS SOUPS 80116 WITH SCORE 80245.223
AT ITER 969 NEW BEST:: SOT 253345 SOS 125412 HAS SOPS 121360 HAS SOUS 77879 HAS SOUPS 76855 WITH SCORE 76980.412
AT ITER 993 NEW BEST:: SOT 253339 SOS 125406 HAS SOPS 121354 HAS SOUS 77872 HAS SOUPS 76848 WITH SCORE 76973.406
AT ITER 1001 NEW BEST:: SOT 253220 SOS 125086 HAS SOPS 121034 HAS SOUS 77637 HAS SOUPS 76613 WITH SCORE 76738.086
AT ITER 1002 NEW BEST:: SOT 253157 SOS 124945 HAS SOPS 120893 HAS SOUS 77598 HAS SOUPS 76574 WITH SCORE 76698.945
AT ITER 1004 NEW BEST:: SOT 253128 SOS 124916 HAS SOPS 120864 HAS SOUS 77536 HAS SOUPS 76516 WITH SCORE 76640.916
AT ITER 1005 NEW BEST:: SOT 253054 SOS 124842 HAS SOPS 120790 HAS SOUS 77536 HAS SOUPS 76516 WITH SCORE 76640.842
AT ITER 1015 NEW BEST:: SOT 253010 SOS 124847 HAS SOPS 120795 HAS SOUS 77489 HAS SOUPS 76469 WITH SCORE 76593.847
AT ITER 1017 NEW BEST:: SOT 253007 SOS 124740 HAS SOPS 120688 HAS SOUS 77474 HAS SOUPS 76454 WITH SCORE 76578.74
AT ITER 1018 NEW BEST:: SOT 253046 SOS 124710 HAS SOPS 120700 HAS SOUS 77453 HAS SOUPS 76433 WITH SCORE 76557.71
AT ITER 1043 NEW BEST:: SOT 253039 SOS 124703 HAS SOPS 120693 HAS SOUS 77450 HAS SOUPS 76430 WITH SCORE 76554.703
AT ITER 1056 NEW BEST:: SOT 252995 SOS 124659 HAS SOPS 120649 HAS SOUS 77439 HAS SOUPS 76419 WITH SCORE 76543.659
AT ITER 1075 NEW BEST:: SOT 253000 SOS 124654 HAS SOPS 120624 HAS SOUS 77429 HAS SOUPS 76409 WITH SCORE 76533.654
AT ITER 1093 NEW BEST:: SOT 249359 SOS 121471 HAS SOPS 117441 HAS SOUS 75951 HAS SOUPS 74931 WITH SCORE 75052.471
AT ITER 1095 NEW BEST:: SOT 249325 SOS 121416 HAS SOPS 117386 HAS SOUS 75896 HAS SOUPS 74876 WITH SCORE 74997.416
AT ITER 1097 NEW BEST:: SOT 249255 SOS 121293 HAS SOPS 117237 HAS SOUS 75632 HAS SOUPS 74612 WITH SCORE 74733.293
AT ITER 1099 NEW BEST:: SOT 249255 SOS 121293 HAS SOPS 117237 HAS SOUS 75628 HAS SOUPS 74608 WITH SCORE 74729.293
AT ITER 1117 NEW BEST:: SOT 249144 SOS 120966 HAS SOPS 116910 HAS SOUS 75519 HAS SOUPS 74499 WITH SCORE 74619.966
AT ITER 1121 NEW BEST:: SOT 249135 SOS 120957 HAS SOPS 116901 HAS SOUS 75501 HAS SOUPS 74481 WITH SCORE 74601.957
AT ITER 1124 NEW BEST:: SOT 249017 SOS 120641 HAS SOPS 116599 HAS SOUS 75420 HAS SOUPS 74400 WITH SCORE 74520.641
AT ITER 1128 NEW BEST:: SOT 248973 SOS 120553 HAS SOPS 116511 HAS SOUS 75334 HAS SOUPS 74314 WITH SCORE 74434.553
AT ITER 1135 NEW BEST:: SOT 248947 SOS 120400 HAS SOPS 116358 HAS SOUS 75314 HAS SOUPS 74294 WITH SCORE 74414.4
AT ITER 1144 NEW BEST:: SOT 248929 SOS 120382 HAS SOPS 116340 HAS SOUS 75286 HAS SOUPS 74266 WITH SCORE 74386.382
AT ITER 1159 NEW BEST:: SOT 248825 SOS 120487 HAS SOPS 116541 HAS SOUS 75192 HAS SOUPS 74173 WITH SCORE 74293.487
AT ITER 1170 NEW BEST:: SOT 248820 SOS 120477 HAS SOPS 116531 HAS SOUS 75182 HAS SOUPS 74163 WITH SCORE 74283.477
AT ITER 1187 NEW BEST:: SOT 248820 SOS 120462 HAS SOPS 116516 HAS SOUS 75167 HAS SOUPS 74148 WITH SCORE 74268.462
AT ITER 1191 NEW BEST:: SOT 248904 SOS 120643 HAS SOPS 116697 HAS SOUS 75142 HAS SOUPS 74123 WITH SCORE 74243.643
AT ITER 1217 NEW BEST:: SOT 249024 SOS 120739 HAS SOPS 116793 HAS SOUS 75139 HAS SOUPS 74120 WITH SCORE 74240.739
AT ITER 1233 NEW BEST:: SOT 248824 SOS 120444 HAS SOPS 116498 HAS SOUS 74872 HAS SOUPS 73853 WITH SCORE 73973.444
AT ITER 1234 NEW BEST:: SOT 248805 SOS 120374 HAS SOPS 116428 HAS SOUS 74834 HAS SOUPS 73815 WITH SCORE 73935.374
AT ITER 1236 NEW BEST:: SOT 247258 SOS 127713 HAS SOPS 124799 HAS SOUS 73392 HAS SOUPS 72545 WITH SCORE 72672.713
AT ITER 1237 NEW BEST:: SOT 247198 SOS 127653 HAS SOPS 124783 HAS SOUS 73384 HAS SOUPS 72537 WITH SCORE 72664.653
AT ITER 1240 NEW BEST:: SOT 247197 SOS 127652 HAS SOPS 124782 HAS SOUS 73382 HAS SOUPS 72535 WITH SCORE 72662.652
AT ITER 1241 NEW BEST:: SOT 247193 SOS 127648 HAS SOPS 124778 HAS SOUS 73306 HAS SOUPS 72459 WITH SCORE 72586.648
AT ITER 1251 NEW BEST:: SOT 247189 SOS 127640 HAS SOPS 124770 HAS SOUS 73298 HAS SOUPS 72451 WITH SCORE 72578.64
AT ITER 1271 NEW BEST:: SOT 246909 SOS 127318 HAS SOPS 124448 HAS SOUS 73138 HAS SOUPS 72291 WITH SCORE 72418.318
AT ITER 1287 NEW BEST:: SOT 246895 SOS 127290 HAS SOPS 124420 HAS SOUS 73110 HAS SOUPS 72263 WITH SCORE 72390.29
AT ITER 1309 NEW BEST:: SOT 246907 SOS 127302 HAS SOPS 124432 HAS SOUS 72969 HAS SOUPS 72122 WITH SCORE 72249.302
AT ITER 1332 NEW BEST:: SOT 246877 SOS 127277 HAS SOPS 124407 HAS SOUS 72969 HAS SOUPS 72122 WITH SCORE 72249.277
AT ITER 1340 NEW BEST:: SOT 246877 SOS 127281 HAS SOPS 124411 HAS SOUS 72955 HAS SOUPS 72108 WITH SCORE 72235.281
AT ITER 1347 NEW BEST:: SOT 246602 SOS 126887 HAS SOPS 124017 HAS SOUS 72649 HAS SOUPS 71802 WITH SCORE 71928.887
AT ITER 1356 NEW BEST:: SOT 246453 SOS 126919 HAS SOPS 124049 HAS SOUS 72566 HAS SOUPS 71719 WITH SCORE 71845.919
AT ITER 1403 NEW BEST:: SOT 246431 SOS 126875 HAS SOPS 124005 HAS SOUS 72564 HAS SOUPS 71717 WITH SCORE 71843.875
AT ITER 1409 NEW BEST:: SOT 246353 SOS 126849 HAS SOPS 123979 HAS SOUS 72476 HAS SOUPS 71629 WITH SCORE 71755.849
AT ITER 1411 NEW BEST:: SOT 246282 SOS 126778 HAS SOPS 123908 HAS SOUS 72334 HAS SOUPS 71487 WITH SCORE 71613.778
AT ITER 1423 NEW BEST:: SOT 246280 SOS 126806 HAS SOPS 123936 HAS SOUS 72308 HAS SOUPS 71461 WITH SCORE 71587.806
AT ITER 1436 NEW BEST:: SOT 246184 SOS 126230 HAS SOPS 123360 HAS SOUS 72212 HAS SOUPS 71365 WITH SCORE 71491.23
AT ITER 1438 NEW BEST:: SOT 246221 SOS 126255 HAS SOPS 123385 HAS SOUS 72201 HAS SOUPS 71354 WITH SCORE 71480.255
AT ITER 1458 NEW BEST:: SOT 246234 SOS 126387 HAS SOPS 123517 HAS SOUS 72199 HAS SOUPS 71352 WITH SCORE 71478.387
AT ITER 1459 NEW BEST:: SOT 246175 SOS 126331 HAS SOPS 123461 HAS SOUS 72143 HAS SOUPS 71296 WITH SCORE 71422.331
AT ITER 1483 NEW BEST:: SOT 246171 SOS 126327 HAS SOPS 123381 HAS SOUS 72071 HAS SOUPS 71224 WITH SCORE 71350.327
AT ITER 1485 NEW BEST:: SOT 245991 SOS 125967 HAS SOPS 122960 HAS SOUS 71916 HAS SOUPS 71069 WITH SCORE 71194.967
AT ITER 1499 NEW BEST:: SOT 245938 SOS 125914 HAS SOPS 122907 HAS SOUS 71896 HAS SOUPS 71049 WITH SCORE 71174.914
AT ITER 1502 NEW BEST:: SOT 245884 SOS 126145 HAS SOPS 123138 HAS SOUS 71749 HAS SOUPS 70902 WITH SCORE 71028.145
AT ITER 1522 NEW BEST:: SOT 245800 SOS 126061 HAS SOPS 123067 HAS SOUS 71678 HAS SOUPS 70831 WITH SCORE 70957.061
AT ITER 1554 NEW BEST:: SOT 245798 SOS 126059 HAS SOPS 123065 HAS SOUS 71676 HAS SOUPS 70829 WITH SCORE 70955.059
AT ITER 1563 NEW BEST:: SOT 245794 SOS 126055 HAS SOPS 123061 HAS SOUS 71672 HAS SOUPS 70825 WITH SCORE 70951.055
AT ITER 1578 NEW BEST:: SOT 245794 SOS 126058 HAS SOPS 123064 HAS SOUS 71644 HAS SOUPS 70797 WITH SCORE 70923.058
AT ITER 1582 NEW BEST:: SOT 245713 SOS 125977 HAS SOPS 122983 HAS SOUS 71563 HAS SOUPS 70716 WITH SCORE 70841.977
AT ITER 1599 NEW BEST:: SOT 245654 SOS 125969 HAS SOPS 122975 HAS SOUS 71541 HAS SOUPS 70694 WITH SCORE 70819.969
AT ITER 1601 NEW BEST:: SOT 245562 SOS 125895 HAS SOPS 122935 HAS SOUS 71535 HAS SOUPS 70688 WITH SCORE 70813.895
AT ITER 1602 NEW BEST:: SOT 245526 SOS 125829 HAS SOPS 122869 HAS SOUS 71498 HAS SOUPS 70651 WITH SCORE 70776.829
AT ITER 1603 NEW BEST:: SOT 245544 SOS 125955 HAS SOPS 122995 HAS SOUS 71474 HAS SOUPS 70627 WITH SCORE 70752.955
AT ITER 1607 NEW BEST:: SOT 245539 SOS 125950 HAS SOPS 122990 HAS SOUS 71463 HAS SOUPS 70616 WITH SCORE 70741.95
AT ITER 1610 NEW BEST:: SOT 245478 SOS 125815 HAS SOPS 122855 HAS SOUS 71341 HAS SOUPS 70494 WITH SCORE 70619.815
AT ITER 1619 NEW BEST:: SOT 245470 SOS 125811 HAS SOPS 122855 HAS SOUS 71341 HAS SOUPS 70494 WITH SCORE 70619.811
AT ITER 1622 NEW BEST:: SOT 245428 SOS 125769 HAS SOPS 122813 HAS SOUS 71283 HAS SOUPS 70436 WITH SCORE 70561.769
AT ITER 1629 NEW BEST:: SOT 245428 SOS 125769 HAS SOPS 122813 HAS SOUS 71220 HAS SOUPS 70373 WITH SCORE 70498.769
AT ITER 1633 NEW BEST:: SOT 245425 SOS 125766 HAS SOPS 122810 HAS SOUS 71217 HAS SOUPS 70370 WITH SCORE 70495.766
AT ITER 1642 NEW BEST:: SOT 245197 SOS 125783 HAS SOPS 122792 HAS SOUS 71234 HAS SOUPS 70352 WITH SCORE 70477.783
AT ITER 1646 NEW BEST:: SOT 245173 SOS 125711 HAS SOPS 122720 HAS SOUS 71190 HAS SOUPS 70308 WITH SCORE 70433.711
AT ITER 1661 NEW BEST:: SOT 245167 SOS 125715 HAS SOPS 122724 HAS SOUS 71178 HAS SOUPS 70296 WITH SCORE 70421.715
AT ITER 1681 NEW BEST:: SOT 245167 SOS 125701 HAS SOPS 122710 HAS SOUS 71164 HAS SOUPS 70282 WITH SCORE 70407.701
AT ITER 1685 NEW BEST:: SOT 245033 SOS 124818 HAS SOPS 121845 HAS SOUS 71059 HAS SOUPS 70177 WITH SCORE 70301.818
AT ITER 1701 NEW BEST:: SOT 245009 SOS 124798 HAS SOPS 121825 HAS SOUS 71054 HAS SOUPS 70172 WITH SCORE 70296.798
AT ITER 1712 NEW BEST:: SOT 241823 SOS 121498 HAS SOPS 118525 HAS SOUS 69721 HAS SOUPS 68839 WITH SCORE 68960.498
AT ITER 1716 NEW BEST:: SOT 241712 SOS 121406 HAS SOPS 118433 HAS SOUS 69698 HAS SOUPS 68816 WITH SCORE 68937.406
AT ITER 1738 NEW BEST:: SOT 241620 SOS 121314 HAS SOPS 118341 HAS SOUS 69655 HAS SOUPS 68773 WITH SCORE 68894.314
AT ITER 1739 NEW BEST:: SOT 241578 SOS 121272 HAS SOPS 118299 HAS SOUS 69612 HAS SOUPS 68730 WITH SCORE 68851.272
AT ITER 1748 NEW BEST:: SOT 241535 SOS 121186 HAS SOPS 118213 HAS SOUS 69526 HAS SOUPS 68644 WITH SCORE 68765.186
AT ITER 1764 NEW BEST:: SOT 241539 SOS 121190 HAS SOPS 118217 HAS SOUS 69524 HAS SOUPS 68642 WITH SCORE 68763.19
AT ITER 1817 NEW BEST:: SOT 241539 SOS 121183 HAS SOPS 118240 HAS SOUS 69474 HAS SOUPS 68592 WITH SCORE 68713.183
AT ITER 1845 NEW BEST:: SOT 241495 SOS 121139 HAS SOPS 118196 HAS SOUS 69463 HAS SOUPS 68581 WITH SCORE 68702.139
AT ITER 1855 NEW BEST:: SOT 241493 SOS 121137 HAS SOPS 118194 HAS SOUS 69459 HAS SOUPS 68577 WITH SCORE 68698.137
AT ITER 1857 NEW BEST:: SOT 241447 SOS 121078 HAS SOPS 118105 HAS SOUS 69366 HAS SOUPS 68484 WITH SCORE 68605.078
AT ITER 1867 NEW BEST:: SOT 241444 SOS 121069 HAS SOPS 118096 HAS SOUS 69363 HAS SOUPS 68481 WITH SCORE 68602.069
AT ITER 1882 NEW BEST:: SOT 241354 SOS 120935 HAS SOPS 117962 HAS SOUS 69231 HAS SOUPS 68349 WITH SCORE 68469.935
AT ITER 1886 NEW BEST:: SOT 241337 SOS 120918 HAS SOPS 117945 HAS SOUS 69231 HAS SOUPS 68349 WITH SCORE 68469.918
AT ITER 1891 NEW BEST:: SOT 241314 SOS 120918 HAS SOPS 117945 HAS SOUS 69208 HAS SOUPS 68326 WITH SCORE 68446.918
AT ITER 1897 NEW BEST:: SOT 241256 SOS 120802 HAS SOPS 117829 HAS SOUS 69127 HAS SOUPS 68245 WITH SCORE 68365.802
AT ITER 1901 NEW BEST:: SOT 241204 SOS 120455 HAS SOPS 117482 HAS SOUS 69113 HAS SOUPS 68231 WITH SCORE 68351.455
AT ITER 1905 NEW BEST:: SOT 241204 SOS 120410 HAS SOPS 117437 HAS SOUS 69067 HAS SOUPS 68185 WITH SCORE 68305.41
AT ITER 1943 NEW BEST:: SOT 241159 SOS 120333 HAS SOPS 117360 HAS SOUS 69035 HAS SOUPS 68153 WITH SCORE 68273.333
AT ITER 1944 NEW BEST:: SOT 241196 SOS 120370 HAS SOPS 117434 HAS SOUS 68998 HAS SOUPS 68116 WITH SCORE 68236.37
AT ITER 1951 NEW BEST:: SOT 241190 SOS 120375 HAS SOPS 117439 HAS SOUS 68997 HAS SOUPS 68115 WITH SCORE 68235.375
AT ITER 1974 NEW BEST:: SOT 241128 SOS 119581 HAS SOPS 116645 HAS SOUS 68924 HAS SOUPS 68042 WITH SCORE 68161.581
AT ITER 1999 NEW BEST:: SOT 241127 SOS 119506 HAS SOPS 116570 HAS SOUS 68849 HAS SOUPS 67967 WITH SCORE 68086.506
AT ITER 2003 NEW BEST:: SOT 241113 SOS 119492 HAS SOPS 116556 HAS SOUS 68835 HAS SOUPS 67953 WITH SCORE 68072.492
AT ITER 2006 NEW BEST:: SOT 241071 SOS 119450 HAS SOPS 116530 HAS SOUS 68780 HAS SOUPS 67898 WITH SCORE 68017.45
AT ITER 2018 NEW BEST:: SOT 241069 SOS 119448 HAS SOPS 116528 HAS SOUS 68674 HAS SOUPS 67792 WITH SCORE 67911.448
AT ITER 2026 NEW BEST:: SOT 240962 SOS 119029 HAS SOPS 116148 HAS SOUS 68626 HAS SOUPS 67744 WITH SCORE 67863.029
AT ITER 2027 NEW BEST:: SOT 241016 SOS 119083 HAS SOPS 116202 HAS SOUS 68593 HAS SOUPS 67711 WITH SCORE 67830.083
AT ITER 2029 NEW BEST:: SOT 241016 SOS 119099 HAS SOPS 116218 HAS SOUS 68587 HAS SOUPS 67705 WITH SCORE 67824.099
AT ITER 2032 NEW BEST:: SOT 241016 SOS 119099 HAS SOPS 116218 HAS SOUS 68519 HAS SOUPS 67637 WITH SCORE 67756.099
AT ITER 2042 NEW BEST:: SOT 240994 SOS 119137 HAS SOPS 116256 HAS SOUS 68467 HAS SOUPS 67585 WITH SCORE 67704.137
AT ITER 2044 NEW BEST:: SOT 240988 SOS 119158 HAS SOPS 116277 HAS SOUS 68455 HAS SOUPS 67573 WITH SCORE 67692.158
AT ITER 2089 NEW BEST:: SOT 240961 SOS 119095 HAS SOPS 116214 HAS SOUS 68401 HAS SOUPS 67519 WITH SCORE 67638.095
AT ITER 2103 NEW BEST:: SOT 240925 SOS 119059 HAS SOPS 116178 HAS SOUS 68365 HAS SOUPS 67483 WITH SCORE 67602.059
AT ITER 2117 NEW BEST:: SOT 240880 SOS 119014 HAS SOPS 116088 HAS SOUS 68275 HAS SOUPS 67393 WITH SCORE 67512.014
AT ITER 2127 NEW BEST:: SOT 240826 SOS 118811 HAS SOPS 115885 HAS SOUS 68167 HAS SOUPS 67285 WITH SCORE 67403.811
AT ITER 2129 NEW BEST:: SOT 240737 SOS 118787 HAS SOPS 115861 HAS SOUS 68143 HAS SOUPS 67261 WITH SCORE 67379.787
AT ITER 2131 NEW BEST:: SOT 240680 SOS 118730 HAS SOPS 115804 HAS SOUS 68048 HAS SOUPS 67166 WITH SCORE 67284.73
AT ITER 2142 NEW BEST:: SOT 240646 SOS 118696 HAS SOPS 115770 HAS SOUS 68014 HAS SOUPS 67132 WITH SCORE 67250.696
AT ITER 2163 NEW BEST:: SOT 240611 SOS 118661 HAS SOPS 115735 HAS SOUS 67951 HAS SOUPS 67069 WITH SCORE 67187.661
AT ITER 2164 NEW BEST:: SOT 240595 SOS 118660 HAS SOPS 115766 HAS SOUS 67886 HAS SOUPS 67004 WITH SCORE 67122.66
AT ITER 2166 NEW BEST:: SOT 240592 SOS 118615 HAS SOPS 115721 HAS SOUS 67883 HAS SOUPS 67001 WITH SCORE 67119.615
AT ITER 2167 NEW BEST:: SOT 240670 SOS 118632 HAS SOPS 115798 HAS SOUS 67874 HAS SOUPS 66992 WITH SCORE 67110.632
AT ITER 2176 NEW BEST:: SOT 240606 SOS 118568 HAS SOPS 115734 HAS SOUS 67778 HAS SOUPS 66896 WITH SCORE 67014.568
AT ITER 2188 NEW BEST:: SOT 240570 SOS 118464 HAS SOPS 115630 HAS SOUS 67723 HAS SOUPS 66841 WITH SCORE 66959.464
AT ITER 2204 NEW BEST:: SOT 240557 SOS 118632 HAS SOPS 115751 HAS SOUS 67599 HAS SOUPS 66717 WITH SCORE 66835.632
AT ITER 2210 NEW BEST:: SOT 240529 SOS 118604 HAS SOPS 115716 HAS SOUS 67571 HAS SOUPS 66689 WITH SCORE 66807.604
AT ITER 2213 NEW BEST:: SOT 240431 SOS 118506 HAS SOPS 115618 HAS SOUS 67427 HAS SOUPS 66545 WITH SCORE 66663.506
AT ITER 2235 NEW BEST:: SOT 240426 SOS 118451 HAS SOPS 115563 HAS SOUS 67380 HAS SOUPS 66498 WITH SCORE 66616.451
AT ITER 2253 NEW BEST:: SOT 240392 SOS 118417 HAS SOPS 115529 HAS SOUS 67346 HAS SOUPS 66464 WITH SCORE 66582.417
AT ITER 2264 NEW BEST:: SOT 240323 SOS 117917 HAS SOPS 115203 HAS SOUS 67186 HAS SOUPS 66333 WITH SCORE 66450.917
AT ITER 2280 NEW BEST:: SOT 240250 SOS 117844 HAS SOPS 115202 HAS SOUS 67183 HAS SOUPS 66330 WITH SCORE 66447.844
AT ITER 2290 NEW BEST:: SOT 240250 SOS 117844 HAS SOPS 115202 HAS SOUS 67179 HAS SOUPS 66326 WITH SCORE 66443.844
AT ITER 2348 NEW BEST:: SOT 240253 SOS 117910 HAS SOPS 115250 HAS SOUS 67152 HAS SOUPS 66299 WITH SCORE 66416.91
AT ITER 2387 NEW BEST:: SOT 240371 SOS 118440 HAS SOPS 115646 HAS SOUS 67052 HAS SOUPS 66195 WITH SCORE 66313.44
AT ITER 2408 NEW BEST:: SOT 240374 SOS 118443 HAS SOPS 115649 HAS SOUS 66953 HAS SOUPS 66096 WITH SCORE 66214.443
AT ITER 2417 NEW BEST:: SOT 240325 SOS 118369 HAS SOPS 115575 HAS SOUS 66778 HAS SOUPS 65921 WITH SCORE 66039.369
AT ITER 2419 NEW BEST:: SOT 240303 SOS 118446 HAS SOPS 115652 HAS SOUS 66668 HAS SOUPS 65811 WITH SCORE 65929.446
AT ITER 2436 NEW BEST:: SOT 240282 SOS 118433 HAS SOPS 115639 HAS SOUS 66657 HAS SOUPS 65800 WITH SCORE 65918.433
AT ITER 2440 NEW BEST:: SOT 240214 SOS 118365 HAS SOPS 115571 HAS SOUS 66589 HAS SOUPS 65732 WITH SCORE 65850.365
AT ITER 2446 NEW BEST:: SOT 240204 SOS 118355 HAS SOPS 115561 HAS SOUS 66579 HAS SOUPS 65722 WITH SCORE 65840.355
AT ITER 2450 NEW BEST:: SOT 240180 SOS 118331 HAS SOPS 115549 HAS SOUS 66531 HAS SOUPS 65674 WITH SCORE 65792.331
AT ITER 2458 NEW BEST:: SOT 240180 SOS 118326 HAS SOPS 115544 HAS SOUS 66526 HAS SOUPS 65669 WITH SCORE 65787.326
AT ITER 2461 NEW BEST:: SOT 240142 SOS 118288 HAS SOPS 115506 HAS SOUS 66450 HAS SOUPS 65593 WITH SCORE 65711.288
AT ITER 2475 NEW BEST:: SOT 240098 SOS 116614 HAS SOPS 113876 HAS SOUS 66420 HAS SOUPS 65563 WITH SCORE 65679.614
AT ITER 2482 NEW BEST:: SOT 240057 SOS 116573 HAS SOPS 113814 HAS SOUS 66373 HAS SOUPS 65516 WITH SCORE 65632.573
AT ITER 2488 NEW BEST:: SOT 240040 SOS 116556 HAS SOPS 113797 HAS SOUS 66291 HAS SOUPS 65434 WITH SCORE 65550.556
AT ITER 2490 NEW BEST:: SOT 240040 SOS 116508 HAS SOPS 113749 HAS SOUS 66275 HAS SOUPS 65418 WITH SCORE 65534.508
AT ITER 2500 NEW BEST:: SOT 239888 SOS 116356 HAS SOPS 113641 HAS SOUS 66191 HAS SOUPS 65334 WITH SCORE 65450.356
AT ITER 2509 NEW BEST:: SOT 239884 SOS 116352 HAS SOPS 113637 HAS SOUS 66184 HAS SOUPS 65327 WITH SCORE 65443.352
AT ITER 2513 NEW BEST:: SOT 239869 SOS 116337 HAS SOPS 113622 HAS SOUS 66160 HAS SOUPS 65303 WITH SCORE 65419.337
AT ITER 2517 NEW BEST:: SOT 239869 SOS 116387 HAS SOPS 113672 HAS SOUS 66148 HAS SOUPS 65291 WITH SCORE 65407.387
AT ITER 2531 NEW BEST:: SOT 239860 SOS 116378 HAS SOPS 113663 HAS SOUS 66139 HAS SOUPS 65282 WITH SCORE 65398.378
AT ITER 2534 NEW BEST:: SOT 239817 SOS 116335 HAS SOPS 113628 HAS SOUS 66059 HAS SOUPS 65202 WITH SCORE 65318.335
AT ITER 2547 NEW BEST:: SOT 240024 SOS 116361 HAS SOPS 113588 HAS SOUS 66072 HAS SOUPS 65194 WITH SCORE 65310.361
AT ITER 2549 NEW BEST:: SOT 240033 SOS 116360 HAS SOPS 113587 HAS SOUS 66071 HAS SOUPS 65193 WITH SCORE 65309.36
AT ITER 2573 NEW BEST:: SOT 240031 SOS 116358 HAS SOPS 113585 HAS SOUS 66067 HAS SOUPS 65189 WITH SCORE 65305.358
AT ITER 2575 NEW BEST:: SOT 239965 SOS 116094 HAS SOPS 113321 HAS SOUS 66067 HAS SOUPS 65189 WITH SCORE 65305.094
AT ITER 2598 NEW BEST:: SOT 239956 SOS 116085 HAS SOPS 113307 HAS SOUS 66049 HAS SOUPS 65166 WITH SCORE 65282.085
AT ITER 2600 NEW BEST:: SOT 239890 SOS 115935 HAS SOPS 113159 HAS SOUS 66041 HAS SOUPS 65158 WITH SCORE 65273.935
AT ITER 2618 NEW BEST:: SOT 239871 SOS 115916 HAS SOPS 113140 HAS SOUS 66022 HAS SOUPS 65139 WITH SCORE 65254.916
AT ITER 2642 NEW BEST:: SOT 239862 SOS 115921 HAS SOPS 113145 HAS SOUS 66020 HAS SOUPS 65137 WITH SCORE 65252.921
AT ITER 2651 NEW BEST:: SOT 239732 SOS 115791 HAS SOPS 112978 HAS SOUS 65926 HAS SOUPS 65043 WITH SCORE 65158.791
AT ITER 2666 NEW BEST:: SOT 239704 SOS 114807 HAS SOPS 111994 HAS SOUS 65778 HAS SOUPS 64895 WITH SCORE 65009.807
AT ITER 2682 NEW BEST:: SOT 239753 SOS 114856 HAS SOPS 112090 HAS SOUS 65726 HAS SOUPS 64843 WITH SCORE 64957.856
AT ITER 2694 NEW BEST:: SOT 239753 SOS 114849 HAS SOPS 112083 HAS SOUS 65726 HAS SOUPS 64843 WITH SCORE 64957.849
AT ITER 2700 NEW BEST:: SOT 239753 SOS 114844 HAS SOPS 112078 HAS SOUS 65726 HAS SOUPS 64843 WITH SCORE 64957.844
AT ITER 2708 NEW BEST:: SOT 239676 SOS 114725 HAS SOPS 111959 HAS SOUS 65649 HAS SOUPS 64766 WITH SCORE 64880.725
AT ITER 2713 NEW BEST:: SOT 239676 SOS 114725 HAS SOPS 111959 HAS SOUS 65646 HAS SOUPS 64763 WITH SCORE 64877.725
AT ITER 2731 NEW BEST:: SOT 239684 SOS 114964 HAS SOPS 112195 HAS SOUS 65625 HAS SOUPS 64742 WITH SCORE 64856.964
AT ITER 2747 NEW BEST:: SOT 239682 SOS 114944 HAS SOPS 112175 HAS SOUS 65623 HAS SOUPS 64740 WITH SCORE 64854.944
AT ITER 2761 NEW BEST:: SOT 239675 SOS 114937 HAS SOPS 112168 HAS SOUS 65609 HAS SOUPS 64726 WITH SCORE 64840.937
AT ITER 2780 NEW BEST:: SOT 239597 SOS 114859 HAS SOPS 112090 HAS SOUS 65488 HAS SOUPS 64605 WITH SCORE 64719.859
AT ITER 2797 NEW BEST:: SOT 239597 SOS 114861 HAS SOPS 112092 HAS SOUS 65486 HAS SOUPS 64603 WITH SCORE 64717.861
AT ITER 2829 NEW BEST:: SOT 239575 SOS 114575 HAS SOPS 111806 HAS SOUS 65442 HAS SOUPS 64559 WITH SCORE 64673.575
AT ITER 2847 NEW BEST:: SOT 239563 SOS 114563 HAS SOPS 111794 HAS SOUS 65418 HAS SOUPS 64535 WITH SCORE 64649.563
AT ITER 2848 NEW BEST:: SOT 239563 SOS 114475 HAS SOPS 111706 HAS SOUS 65418 HAS SOUPS 64535 WITH SCORE 64649.475
AT ITER 2849 NEW BEST:: SOT 239563 SOS 114466 HAS SOPS 111697 HAS SOUS 65344 HAS SOUPS 64461 WITH SCORE 64575.466
AT ITER 2867 NEW BEST:: SOT 239529 SOS 114432 HAS SOPS 111663 HAS SOUS 65320 HAS SOUPS 64437 WITH SCORE 64551.432
AT ITER 2868 NEW BEST:: SOT 239454 SOS 114205 HAS SOPS 111436 HAS SOUS 65240 HAS SOUPS 64357 WITH SCORE 64471.205
AT ITER 2877 NEW BEST:: SOT 239373 SOS 114030 HAS SOPS 111197 HAS SOUS 65128 HAS SOUPS 64245 WITH SCORE 64359.03
AT ITER 2898 NEW BEST:: SOT 239368 SOS 113912 HAS SOPS 111079 HAS SOUS 64988 HAS SOUPS 64105 WITH SCORE 64218.912
AT ITER 2906 NEW BEST:: SOT 239357 SOS 113785 HAS SOPS 110952 HAS SOUS 64966 HAS SOUPS 64083 WITH SCORE 64196.785
AT ITER 2907 NEW BEST:: SOT 239332 SOS 113760 HAS SOPS 110927 HAS SOUS 64922 HAS SOUPS 64039 WITH SCORE 64152.76
AT ITER 2933 NEW BEST:: SOT 239251 SOS 113588 HAS SOPS 110755 HAS SOUS 64692 HAS SOUPS 63809 WITH SCORE 63922.588
AT ITER 2936 NEW BEST:: SOT 238984 SOS 113216 HAS SOPS 110383 HAS SOUS 64318 HAS SOUPS 63435 WITH SCORE 63548.216
AT ITER 2965 NEW BEST:: SOT 238981 SOS 113210 HAS SOPS 110377 HAS SOUS 64312 HAS SOUPS 63429 WITH SCORE 63542.21
AT ITER 2978 NEW BEST:: SOT 238961 SOS 113190 HAS SOPS 110357 HAS SOUS 64309 HAS SOUPS 63426 WITH SCORE 63539.19
AT ITER 2992 NEW BEST:: SOT 238903 SOS 113074 HAS SOPS 110241 HAS SOUS 64251 HAS SOUPS 63368 WITH SCORE 63481.074
AT ITER 2993 NEW BEST:: SOT 238723 SOS 112966 HAS SOPS 110133 HAS SOUS 64206 HAS SOUPS 63323 WITH SCORE 63435.966
AT ITER 2999 NEW BEST:: SOT 238692 SOS 112943 HAS SOPS 110110 HAS SOUS 64140 HAS SOUPS 63257 WITH SCORE 63369.943
AT ITER 3020 NEW BEST:: SOT 238696 SOS 112850 HAS SOPS 110104 HAS SOUS 64140 HAS SOUPS 63257 WITH SCORE 63369.85
AT ITER 3031 NEW BEST:: SOT 238686 SOS 112851 HAS SOPS 110105 HAS SOUS 64120 HAS SOUPS 63237 WITH SCORE 63349.851
AT ITER 3041 NEW BEST:: SOT 238686 SOS 112838 HAS SOPS 110092 HAS SOUS 64120 HAS SOUPS 63237 WITH SCORE 63349.838
AT ITER 3047 NEW BEST:: SOT 238663 SOS 112766 HAS SOPS 110020 HAS SOUS 64047 HAS SOUPS 63164 WITH SCORE 63276.766
AT ITER 3049 NEW BEST:: SOT 238557 SOS 112660 HAS SOPS 109914 HAS SOUS 63953 HAS SOUPS 63070 WITH SCORE 63182.66
AT ITER 3069 NEW BEST:: SOT 238551 SOS 112669 HAS SOPS 109923 HAS SOUS 63941 HAS SOUPS 63058 WITH SCORE 63170.669
AT ITER 3094 NEW BEST:: SOT 238439 SOS 112351 HAS SOPS 109605 HAS SOUS 63811 HAS SOUPS 62928 WITH SCORE 63040.351
AT ITER 3110 NEW BEST:: SOT 237543 SOS 111423 HAS SOPS 108677 HAS SOUS 63427 HAS SOUPS 62544 WITH SCORE 62655.423
AT ITER 3115 NEW BEST:: SOT 237522 SOS 111292 HAS SOPS 108546 HAS SOUS 63386 HAS SOUPS 62503 WITH SCORE 62614.292
AT ITER 3132 NEW BEST:: SOT 237523 SOS 111292 HAS SOPS 108545 HAS SOUS 63385 HAS SOUPS 62502 WITH SCORE 62613.292
AT ITER 3141 NEW BEST:: SOT 237568 SOS 111595 HAS SOPS 108738 HAS SOUS 63392 HAS SOUPS 62464 WITH SCORE 62575.595
AT ITER 3159 NEW BEST:: SOT 237642 SOS 111669 HAS SOPS 108780 HAS SOUS 63319 HAS SOUPS 62391 WITH SCORE 62502.669
AT ITER 3193 NEW BEST:: SOT 237749 SOS 112109 HAS SOPS 109220 HAS SOUS 63284 HAS SOUPS 62356 WITH SCORE 62468.109
AT ITER 3201 NEW BEST:: SOT 237749 SOS 112109 HAS SOPS 109220 HAS SOUS 63263 HAS SOUPS 62335 WITH SCORE 62447.109
AT ITER 3206 NEW BEST:: SOT 237581 SOS 111931 HAS SOPS 109042 HAS SOUS 63146 HAS SOUPS 62218 WITH SCORE 62329.931
AT ITER 3221 NEW BEST:: SOT 237581 SOS 111931 HAS SOPS 109042 HAS SOUS 63056 HAS SOUPS 62128 WITH SCORE 62239.931
AT ITER 3238 NEW BEST:: SOT 237406 SOS 111775 HAS SOPS 108886 HAS SOUS 62926 HAS SOUPS 61998 WITH SCORE 62109.775
AT ITER 3262 NEW BEST:: SOT 237396 SOS 111765 HAS SOPS 108876 HAS SOUS 62916 HAS SOUPS 61988 WITH SCORE 62099.765
AT ITER 3271 NEW BEST:: SOT 237407 SOS 111981 HAS SOPS 109092 HAS SOUS 62792 HAS SOUPS 61864 WITH SCORE 61975.981
AT ITER 3277 NEW BEST:: SOT 237397 SOS 111863 HAS SOPS 108974 HAS SOUS 62782 HAS SOUPS 61854 WITH SCORE 61965.863
AT ITER 3318 NEW BEST:: SOT 237368 SOS 111834 HAS SOPS 108945 HAS SOUS 62766 HAS SOUPS 61838 WITH SCORE 61949.834
AT ITER 3337 NEW BEST:: SOT 237367 SOS 111833 HAS SOPS 108944 HAS SOUS 62764 HAS SOUPS 61836 WITH SCORE 61947.833
AT ITER 3374 NEW BEST:: SOT 237360 SOS 111875 HAS SOPS 108986 HAS SOUS 62750 HAS SOUPS 61822 WITH SCORE 61933.875
AT ITER 3401 NEW BEST:: SOT 237360 SOS 111875 HAS SOPS 108986 HAS SOUS 62728 HAS SOUPS 61800 WITH SCORE 61911.875
AT ITER 3431 NEW BEST:: SOT 237360 SOS 111875 HAS SOPS 108986 HAS SOUS 62725 HAS SOUPS 61797 WITH SCORE 61908.875
AT ITER 3437 NEW BEST:: SOT 237342 SOS 111857 HAS SOPS 108968 HAS SOUS 62707 HAS SOUPS 61779 WITH SCORE 61890.857
AT ITER 3456 NEW BEST:: SOT 237352 SOS 111941 HAS SOPS 109052 HAS SOUS 62669 HAS SOUPS 61741 WITH SCORE 61852.941
AT ITER 3495 NEW BEST:: SOT 237334 SOS 111923 HAS SOPS 109034 HAS SOUS 62633 HAS SOUPS 61705 WITH SCORE 61816.923
AT ITER 3500 NEW BEST:: SOT 237334 SOS 111923 HAS SOPS 109034 HAS SOUS 62536 HAS SOUPS 61608 WITH SCORE 61719.923
AT ITER 3501 NEW BEST:: SOT 237334 SOS 111873 HAS SOPS 108984 HAS SOUS 62536 HAS SOUPS 61608 WITH SCORE 61719.873
AT ITER 3514 NEW BEST:: SOT 237325 SOS 111864 HAS SOPS 108975 HAS SOUS 62497 HAS SOUPS 61569 WITH SCORE 61680.864
AT ITER 3542 NEW BEST:: SOT 237319 SOS 111846 HAS SOPS 108957 HAS SOUS 62491 HAS SOUPS 61563 WITH SCORE 61674.846
AT ITER 3562 NEW BEST:: SOT 237352 SOS 111879 HAS SOPS 108990 HAS SOUS 62432 HAS SOUPS 61504 WITH SCORE 61615.879
AT ITER 3578 NEW BEST:: SOT 237300 SOS 111872 HAS SOPS 108938 HAS SOUS 62389 HAS SOUPS 61452 WITH SCORE 61563.872
AT ITER 3582 NEW BEST:: SOT 237290 SOS 111862 HAS SOPS 108928 HAS SOUS 62389 HAS SOUPS 61452 WITH SCORE 61563.862
AT ITER 3583 NEW BEST:: SOT 237290 SOS 111840 HAS SOPS 108906 HAS SOUS 62389 HAS SOUPS 61452 WITH SCORE 61563.84
AT ITER 3585 NEW BEST:: SOT 237294 SOS 111844 HAS SOPS 108910 HAS SOUS 62323 HAS SOUPS 61386 WITH SCORE 61497.844
AT ITER 3589 NEW BEST:: SOT 237243 SOS 111766 HAS SOPS 108832 HAS SOUS 62191 HAS SOUPS 61254 WITH SCORE 61365.766
AT ITER 3595 NEW BEST:: SOT 237246 SOS 111769 HAS SOPS 108835 HAS SOUS 62077 HAS SOUPS 61140 WITH SCORE 61251.769
AT ITER 3631 NEW BEST:: SOT 237209 SOS 111732 HAS SOPS 108798 HAS SOUS 62007 HAS SOUPS 61070 WITH SCORE 61181.732
AT ITER 3648 NEW BEST:: SOT 237195 SOS 111718 HAS SOPS 108784 HAS SOUS 61933 HAS SOUPS 60996 WITH SCORE 61107.718
AT ITER 3672 NEW BEST:: SOT 237145 SOS 111692 HAS SOPS 108758 HAS SOUS 61929 HAS SOUPS 60992 WITH SCORE 61103.692
AT ITER 3676 NEW BEST:: SOT 237139 SOS 111686 HAS SOPS 108752 HAS SOUS 61923 HAS SOUPS 60986 WITH SCORE 61097.686
AT ITER 3700 NEW BEST:: SOT 237134 SOS 111681 HAS SOPS 108747 HAS SOUS 61913 HAS SOUPS 60976 WITH SCORE 61087.681
AT ITER 3706 NEW BEST:: SOT 237134 SOS 111678 HAS SOPS 108744 HAS SOUS 61913 HAS SOUPS 60976 WITH SCORE 61087.678
AT ITER 3725 NEW BEST:: SOT 237115 SOS 111659 HAS SOPS 108740 HAS SOUS 61875 HAS SOUPS 60950 WITH SCORE 61061.659
AT ITER 3740 NEW BEST:: SOT 237101 SOS 111645 HAS SOPS 108726 HAS SOUS 61835 HAS SOUPS 60910 WITH SCORE 61021.645
AT ITER 3766 NEW BEST:: SOT 237101 SOS 111729 HAS SOPS 108810 HAS SOUS 61779 HAS SOUPS 60854 WITH SCORE 60965.729
AT ITER 3770 NEW BEST:: SOT 237101 SOS 111726 HAS SOPS 108807 HAS SOUS 61779 HAS SOUPS 60854 WITH SCORE 60965.726
AT ITER 3771 NEW BEST:: SOT 237090 SOS 111715 HAS SOPS 108796 HAS SOUS 61735 HAS SOUPS 60810 WITH SCORE 60921.715
AT ITER 3772 NEW BEST:: SOT 237090 SOS 111713 HAS SOPS 108794 HAS SOUS 61735 HAS SOUPS 60810 WITH SCORE 60921.713
AT ITER 3775 NEW BEST:: SOT 237090 SOS 111752 HAS SOPS 108833 HAS SOUS 61709 HAS SOUPS 60784 WITH SCORE 60895.752
AT ITER 3778 NEW BEST:: SOT 237090 SOS 111658 HAS SOPS 108739 HAS SOUS 61681 HAS SOUPS 60756 WITH SCORE 60867.658
AT ITER 3786 NEW BEST:: SOT 237079 SOS 111647 HAS SOPS 108733 HAS SOUS 61659 HAS SOUPS 60734 WITH SCORE 60845.647
AT ITER 3804 NEW BEST:: SOT 237079 SOS 111647 HAS SOPS 108733 HAS SOUS 61657 HAS SOUPS 60732 WITH SCORE 60843.647
AT ITER 3810 NEW BEST:: SOT 237087 SOS 111655 HAS SOPS 108741 HAS SOUS 61635 HAS SOUPS 60710 WITH SCORE 60821.655
AT ITER 3833 NEW BEST:: SOT 237108 SOS 111587 HAS SOPS 108673 HAS SOUS 61625 HAS SOUPS 60700 WITH SCORE 60811.587
AT ITER 3850 NEW BEST:: SOT 237128 SOS 111607 HAS SOPS 108693 HAS SOUS 61611 HAS SOUPS 60686 WITH SCORE 60797.607
AT ITER 3881 NEW BEST:: SOT 237046 SOS 111264 HAS SOPS 108437 HAS SOUS 61603 HAS SOUPS 60678 WITH SCORE 60789.264
AT ITER 3911 NEW BEST:: SOT 237018 SOS 111264 HAS SOPS 108437 HAS SOUS 61597 HAS SOUPS 60672 WITH SCORE 60783.264
AT ITER 3936 NEW BEST:: SOT 237018 SOS 111462 HAS SOPS 108635 HAS SOUS 61457 HAS SOUPS 60532 WITH SCORE 60643.462
AT ITER 3943 NEW BEST:: SOT 236959 SOS 111313 HAS SOPS 108486 HAS SOUS 61369 HAS SOUPS 60444 WITH SCORE 60555.313
AT ITER 3955 NEW BEST:: SOT 236899 SOS 111253 HAS SOPS 108426 HAS SOUS 61288 HAS SOUPS 60363 WITH SCORE 60474.253
AT ITER 3961 NEW BEST:: SOT 236913 SOS 111223 HAS SOPS 108396 HAS SOUS 61277 HAS SOUPS 60352 WITH SCORE 60463.223
AT ITER 3964 NEW BEST:: SOT 236957 SOS 111267 HAS SOPS 108440 HAS SOUS 61250 HAS SOUPS 60325 WITH SCORE 60436.267
AT ITER 3977 NEW BEST:: SOT 236949 SOS 111187 HAS SOPS 108360 HAS SOUS 61250 HAS SOUPS 60325 WITH SCORE 60436.187
AT ITER 3997 NEW BEST:: SOT 236940 SOS 111070 HAS SOPS 108243 HAS SOUS 61174 HAS SOUPS 60249 WITH SCORE 60360.07
AT ITER 4006 NEW BEST:: SOT 236939 SOS 111069 HAS SOPS 108242 HAS SOUS 61174 HAS SOUPS 60249 WITH SCORE 60360.069
AT ITER 4044 NEW BEST:: SOT 236812 SOS 110813 HAS SOPS 107989 HAS SOUS 61062 HAS SOUPS 60137 WITH SCORE 60247.813
AT ITER 4046 NEW BEST:: SOT 236812 SOS 110722 HAS SOPS 107898 HAS SOUS 61036 HAS SOUPS 60111 WITH SCORE 60221.722
AT ITER 4053 NEW BEST:: SOT 236729 SOS 110782 HAS SOPS 107811 HAS SOUS 60902 HAS SOUPS 59977 WITH SCORE 60087.782
AT ITER 4065 NEW BEST:: SOT 236754 SOS 110924 HAS SOPS 107953 HAS SOUS 60807 HAS SOUPS 59882 WITH SCORE 59992.924
AT ITER 4072 NEW BEST:: SOT 236680 SOS 110931 HAS SOPS 107960 HAS SOUS 60796 HAS SOUPS 59871 WITH SCORE 59981.931
AT ITER 4079 NEW BEST:: SOT 236609 SOS 110889 HAS SOPS 107947 HAS SOUS 60770 HAS SOUPS 59845 WITH SCORE 59955.889
AT ITER 4096 NEW BEST:: SOT 236601 SOS 110937 HAS SOPS 107995 HAS SOUS 60746 HAS SOUPS 59821 WITH SCORE 59931.937
AT ITER 4101 NEW BEST:: SOT 236601 SOS 110905 HAS SOPS 107963 HAS SOUS 60746 HAS SOUPS 59821 WITH SCORE 59931.905
AT ITER 4104 NEW BEST:: SOT 236600 SOS 110904 HAS SOPS 107963 HAS SOUS 60743 HAS SOUPS 59819 WITH SCORE 59929.904
AT ITER 4120 NEW BEST:: SOT 236603 SOS 110907 HAS SOPS 107966 HAS SOUS 60614 HAS SOUPS 59690 WITH SCORE 59800.907
AT ITER 4159 NEW BEST:: SOT 236603 SOS 110904 HAS SOPS 107963 HAS SOUS 60614 HAS SOUPS 59690 WITH SCORE 59800.904
AT ITER 4184 NEW BEST:: SOT 236565 SOS 111012 HAS SOPS 108071 HAS SOUS 60611 HAS SOUPS 59687 WITH SCORE 59798.012
AT ITER 4186 NEW BEST:: SOT 236565 SOS 110976 HAS SOPS 108035 HAS SOUS 60611 HAS SOUPS 59687 WITH SCORE 59797.976
AT ITER 4192 NEW BEST:: SOT 236561 SOS 110972 HAS SOPS 108031 HAS SOUS 60599 HAS SOUPS 59675 WITH SCORE 59785.972
AT ITER 4203 NEW BEST:: SOT 236553 SOS 110964 HAS SOPS 108023 HAS SOUS 60598 HAS SOUPS 59674 WITH SCORE 59784.964
AT ITER 4206 NEW BEST:: SOT 236556 SOS 110970 HAS SOPS 108029 HAS SOUS 60573 HAS SOUPS 59649 WITH SCORE 59759.97
AT ITER 4220 NEW BEST:: SOT 236548 SOS 110970 HAS SOPS 108029 HAS SOUS 60570 HAS SOUPS 59646 WITH SCORE 59756.97
AT ITER 4222 NEW BEST:: SOT 236546 SOS 110966 HAS SOPS 108025 HAS SOUS 60566 HAS SOUPS 59642 WITH SCORE 59752.966
AT ITER 4243 NEW BEST:: SOT 236611 SOS 111244 HAS SOPS 108232 HAS SOUS 60564 HAS SOUPS 59638 WITH SCORE 59749.244
AT ITER 4245 NEW BEST:: SOT 236576 SOS 111151 HAS SOPS 108139 HAS SOUS 60532 HAS SOUPS 59606 WITH SCORE 59717.151
AT ITER 4249 NEW BEST:: SOT 236548 SOS 111060 HAS SOPS 108069 HAS SOUS 60518 HAS SOUPS 59592 WITH SCORE 59703.06
AT ITER 4250 NEW BEST:: SOT 236503 SOS 110998 HAS SOPS 108007 HAS SOUS 60428 HAS SOUPS 59502 WITH SCORE 59612.998
AT ITER 4253 NEW BEST:: SOT 236423 SOS 110468 HAS SOPS 107477 HAS SOUS 60372 HAS SOUPS 59446 WITH SCORE 59556.468
AT ITER 4256 NEW BEST:: SOT 236423 SOS 110356 HAS SOPS 107365 HAS SOUS 60372 HAS SOUPS 59446 WITH SCORE 59556.356
AT ITER 4280 NEW BEST:: SOT 236408 SOS 110524 HAS SOPS 107533 HAS SOUS 60334 HAS SOUPS 59408 WITH SCORE 59518.524
AT ITER 4294 NEW BEST:: SOT 236380 SOS 110496 HAS SOPS 107505 HAS SOUS 60278 HAS SOUPS 59352 WITH SCORE 59462.496
AT ITER 4306 NEW BEST:: SOT 236365 SOS 110445 HAS SOPS 107454 HAS SOUS 60227 HAS SOUPS 59301 WITH SCORE 59411.445
AT ITER 4307 NEW BEST:: SOT 236359 SOS 110433 HAS SOPS 107442 HAS SOUS 60216 HAS SOUPS 59290 WITH SCORE 59400.433
AT ITER 4328 NEW BEST:: SOT 236359 SOS 110433 HAS SOPS 107419 HAS SOUS 60183 HAS SOUPS 59257 WITH SCORE 59367.433
AT ITER 4343 NEW BEST:: SOT 236370 SOS 110444 HAS SOPS 107422 HAS SOUS 60173 HAS SOUPS 59247 WITH SCORE 59357.444
AT ITER 4344 NEW BEST:: SOT 236348 SOS 110429 HAS SOPS 107407 HAS SOUS 60155 HAS SOUPS 59229 WITH SCORE 59339.429
AT ITER 4355 NEW BEST:: SOT 236330 SOS 110411 HAS SOPS 107389 HAS SOUS 60071 HAS SOUPS 59145 WITH SCORE 59255.411
AT ITER 4369 NEW BEST:: SOT 236339 SOS 110358 HAS SOPS 107336 HAS SOUS 60057 HAS SOUPS 59131 WITH SCORE 59241.358
AT ITER 4379 NEW BEST:: SOT 236300 SOS 109941 HAS SOPS 106919 HAS SOUS 60018 HAS SOUPS 59092 WITH SCORE 59201.941
AT ITER 4397 NEW BEST:: SOT 236230 SOS 109902 HAS SOPS 106880 HAS SOUS 59974 HAS SOUPS 59048 WITH SCORE 59157.902
AT ITER 4398 NEW BEST:: SOT 236229 SOS 109901 HAS SOPS 106879 HAS SOUS 59972 HAS SOUPS 59046 WITH SCORE 59155.901
AT ITER 4409 NEW BEST:: SOT 236141 SOS 109281 HAS SOPS 106277 HAS SOUS 59879 HAS SOUPS 58953 WITH SCORE 59062.281
AT ITER 4445 NEW BEST:: SOT 236112 SOS 109252 HAS SOPS 106264 HAS SOUS 59850 HAS SOUPS 58937 WITH SCORE 59046.252
AT ITER 4466 NEW BEST:: SOT 236100 SOS 109240 HAS SOPS 106252 HAS SOUS 59838 HAS SOUPS 58925 WITH SCORE 59034.24
AT ITER 4476 NEW BEST:: SOT 236061 SOS 109084 HAS SOPS 106096 HAS SOUS 59760 HAS SOUPS 58847 WITH SCORE 58956.084
AT ITER 4501 NEW BEST:: SOT 236084 SOS 109113 HAS SOPS 106125 HAS SOUS 59748 HAS SOUPS 58835 WITH SCORE 58944.113
AT ITER 4513 NEW BEST:: SOT 235948 SOS 108738 HAS SOPS 105750 HAS SOUS 59680 HAS SOUPS 58767 WITH SCORE 58875.738
AT ITER 4514 NEW BEST:: SOT 235890 SOS 108680 HAS SOPS 105692 HAS SOUS 59582 HAS SOUPS 58669 WITH SCORE 58777.68
AT ITER 4515 NEW BEST:: SOT 235872 SOS 108662 HAS SOPS 105692 HAS SOUS 59570 HAS SOUPS 58657 WITH SCORE 58765.662
AT ITER 4517 NEW BEST:: SOT 235866 SOS 108656 HAS SOPS 105686 HAS SOUS 59564 HAS SOUPS 58651 WITH SCORE 58759.656
AT ITER 4524 NEW BEST:: SOT 235806 SOS 108607 HAS SOPS 105637 HAS SOUS 59519 HAS SOUPS 58606 WITH SCORE 58714.607
AT ITER 4539 NEW BEST:: SOT 235802 SOS 108631 HAS SOPS 105661 HAS SOUS 59507 HAS SOUPS 58594 WITH SCORE 58702.631
AT ITER 4548 NEW BEST:: SOT 235847 SOS 108343 HAS SOPS 105373 HAS SOUS 59507 HAS SOUPS 58594 WITH SCORE 58702.343
AT ITER 4563 NEW BEST:: SOT 235840 SOS 108336 HAS SOPS 105366 HAS SOUS 59504 HAS SOUPS 58591 WITH SCORE 58699.336
AT ITER 4576 NEW BEST:: SOT 235837 SOS 108333 HAS SOPS 105363 HAS SOUS 59498 HAS SOUPS 58585 WITH SCORE 58693.333
AT ITER 4579 NEW BEST:: SOT 235837 SOS 108310 HAS SOPS 105340 HAS SOUS 59475 HAS SOUPS 58562 WITH SCORE 58670.31
AT ITER 4600 NEW BEST:: SOT 235803 SOS 108276 HAS SOPS 105306 HAS SOUS 59407 HAS SOUPS 58494 WITH SCORE 58602.276
AT ITER 4644 NEW BEST:: SOT 235744 SOS 108157 HAS SOPS 105187 HAS SOUS 59329 HAS SOUPS 58416 WITH SCORE 58524.157
AT ITER 4672 NEW BEST:: SOT 235750 SOS 108161 HAS SOPS 105191 HAS SOUS 59321 HAS SOUPS 58408 WITH SCORE 58516.161
AT ITER 4676 NEW BEST:: SOT 235726 SOS 108153 HAS SOPS 105183 HAS SOUS 59313 HAS SOUPS 58400 WITH SCORE 58508.153
AT ITER 4702 NEW BEST:: SOT 235693 SOS 108092 HAS SOPS 105122 HAS SOUS 59207 HAS SOUPS 58294 WITH SCORE 58402.092
AT ITER 4731 NEW BEST:: SOT 235740 SOS 108100 HAS SOPS 105130 HAS SOUS 59203 HAS SOUPS 58290 WITH SCORE 58398.1
AT ITER 4745 NEW BEST:: SOT 235728 SOS 108084 HAS SOPS 105114 HAS SOUS 59187 HAS SOUPS 58274 WITH SCORE 58382.084
AT ITER 4759 NEW BEST:: SOT 235728 SOS 108080 HAS SOPS 105110 HAS SOUS 59185 HAS SOUPS 58272 WITH SCORE 58380.08
AT ITER 4766 NEW BEST:: SOT 235722 SOS 108074 HAS SOPS 105110 HAS SOUS 59185 HAS SOUPS 58272 WITH SCORE 58380.074
AT ITER 4767 NEW BEST:: SOT 235718 SOS 108070 HAS SOPS 105106 HAS SOUS 59177 HAS SOUPS 58264 WITH SCORE 58372.07
AT ITER 4772 NEW BEST:: SOT 235685 SOS 108103 HAS SOPS 105139 HAS SOUS 59128 HAS SOUPS 58215 WITH SCORE 58323.103
AT ITER 4773 NEW BEST:: SOT 235688 SOS 108085 HAS SOPS 105121 HAS SOUS 59110 HAS SOUPS 58197 WITH SCORE 58305.085
AT ITER 4776 NEW BEST:: SOT 235662 SOS 108033 HAS SOPS 105069 HAS SOUS 59084 HAS SOUPS 58171 WITH SCORE 58279.033
AT ITER 4779 NEW BEST:: SOT 235683 SOS 108024 HAS SOPS 105058 HAS SOUS 59018 HAS SOUPS 58105 WITH SCORE 58213.024
AT ITER 4783 NEW BEST:: SOT 235674 SOS 108015 HAS SOPS 105058 HAS SOUS 59018 HAS SOUPS 58105 WITH SCORE 58213.015
AT ITER 4784 NEW BEST:: SOT 235613 SOS 108015 HAS SOPS 105058 HAS SOUS 58957 HAS SOUPS 58044 WITH SCORE 58152.015
AT ITER 4835 NEW BEST:: SOT 235578 SOS 107705 HAS SOPS 104748 HAS SOUS 58797 HAS SOUPS 57884 WITH SCORE 57991.705
AT ITER 4836 NEW BEST:: SOT 235577 SOS 107704 HAS SOPS 104747 HAS SOUS 58796 HAS SOUPS 57883 WITH SCORE 57990.704
AT ITER 4845 NEW BEST:: SOT 235572 SOS 107694 HAS SOPS 104737 HAS SOUS 58786 HAS SOUPS 57873 WITH SCORE 57980.694
AT ITER 4877 NEW BEST:: SOT 235565 SOS 107680 HAS SOPS 104723 HAS SOUS 58772 HAS SOUPS 57859 WITH SCORE 57966.68
AT ITER 4883 NEW BEST:: SOT 235551 SOS 107655 HAS SOPS 104698 HAS SOUS 58708 HAS SOUPS 57795 WITH SCORE 57902.655
AT ITER 4899 NEW BEST:: SOT 235575 SOS 107679 HAS SOPS 104703 HAS SOUS 58699 HAS SOUPS 57786 WITH SCORE 57893.679
AT ITER 4935 NEW BEST:: SOT 235573 SOS 107675 HAS SOPS 104699 HAS SOUS 58693 HAS SOUPS 57780 WITH SCORE 57887.675
AT ITER 4944 NEW BEST:: SOT 235567 SOS 107673 HAS SOPS 104697 HAS SOUS 58681 HAS SOUPS 57768 WITH SCORE 57875.673
AT ITER 4968 NEW BEST:: SOT 235564 SOS 107670 HAS SOPS 104694 HAS SOUS 58675 HAS SOUPS 57762 WITH SCORE 57869.67
AT ITER 4979 NEW BEST:: SOT 235554 SOS 107665 HAS SOPS 104669 HAS SOUS 58665 HAS SOUPS 57752 WITH SCORE 57859.665
AT ITER 4980 NEW BEST:: SOT 235549 SOS 107660 HAS SOPS 104664 HAS SOUS 58664 HAS SOUPS 57751 WITH SCORE 57858.66
AT ITER 4984 NEW BEST:: SOT 235545 SOS 107652 HAS SOPS 104656 HAS SOUS 58656 HAS SOUPS 57743 WITH SCORE 57850.652
AT ITER 5014 NEW BEST:: SOT 235562 SOS 107704 HAS SOPS 104692 HAS SOUS 58667 HAS SOUPS 57741 WITH SCORE 57848.704
AT ITER 5017 NEW BEST:: SOT 235562 SOS 107704 HAS SOPS 104700 HAS SOUS 58664 HAS SOUPS 57738 WITH SCORE 57845.704
AT ITER 5018 NEW BEST:: SOT 235517 SOS 107665 HAS SOPS 104661 HAS SOUS 58620 HAS SOUPS 57694 WITH SCORE 57801.665
AT ITER 5029 NEW BEST:: SOT 235499 SOS 107677 HAS SOPS 104673 HAS SOUS 58584 HAS SOUPS 57658 WITH SCORE 57765.677
AT ITER 5053 NEW BEST:: SOT 235457 SOS 107635 HAS SOPS 104631 HAS SOUS 58425 HAS SOUPS 57499 WITH SCORE 57606.635
AT ITER 5080 NEW BEST:: SOT 235442 SOS 107620 HAS SOPS 104616 HAS SOUS 58395 HAS SOUPS 57469 WITH SCORE 57576.62
AT ITER 5084 NEW BEST:: SOT 235383 SOS 107561 HAS SOPS 104557 HAS SOUS 58362 HAS SOUPS 57436 WITH SCORE 57543.561
AT ITER 5103 NEW BEST:: SOT 235277 SOS 107700 HAS SOPS 104696 HAS SOUS 58292 HAS SOUPS 57366 WITH SCORE 57473.7
AT ITER 5143 NEW BEST:: SOT 235274 SOS 107697 HAS SOPS 104693 HAS SOUS 58286 HAS SOUPS 57360 WITH SCORE 57467.697
AT ITER 5157 NEW BEST:: SOT 235266 SOS 107681 HAS SOPS 104677 HAS SOUS 58270 HAS SOUPS 57344 WITH SCORE 57451.681
AT ITER 5188 NEW BEST:: SOT 235211 SOS 107626 HAS SOPS 104659 HAS SOUS 58106 HAS SOUPS 57193 WITH SCORE 57300.626
AT ITER 5199 NEW BEST:: SOT 235207 SOS 107622 HAS SOPS 104652 HAS SOUS 58098 HAS SOUPS 57185 WITH SCORE 57292.622
AT ITER 5236 NEW BEST:: SOT 235190 SOS 107605 HAS SOPS 104635 HAS SOUS 58076 HAS SOUPS 57163 WITH SCORE 57270.605
AT ITER 5245 NEW BEST:: SOT 235190 SOS 107604 HAS SOPS 104634 HAS SOUS 58076 HAS SOUPS 57163 WITH SCORE 57270.604
AT ITER 5246 NEW BEST:: SOT 235132 SOS 107546 HAS SOPS 104598 HAS SOUS 58045 HAS SOUPS 57132 WITH SCORE 57239.546
AT ITER 5256 NEW BEST:: SOT 235127 SOS 107613 HAS SOPS 104665 HAS SOUS 58035 HAS SOUPS 57122 WITH SCORE 57229.613
AT ITER 5259 NEW BEST:: SOT 235133 SOS 107652 HAS SOPS 104693 HAS SOUS 58030 HAS SOUPS 57117 WITH SCORE 57224.652
AT ITER 5269 NEW BEST:: SOT 235132 SOS 107654 HAS SOPS 104695 HAS SOUS 58029 HAS SOUPS 57116 WITH SCORE 57223.654
AT ITER 5272 NEW BEST:: SOT 234173 SOS 106643 HAS SOPS 103684 HAS SOUS 57640 HAS SOUPS 56727 WITH SCORE 56833.643
AT ITER 5275 NEW BEST:: SOT 234136 SOS 106606 HAS SOPS 103674 HAS SOUS 57549 HAS SOUPS 56642 WITH SCORE 56748.606
AT ITER 5305 NEW BEST:: SOT 234124 SOS 106594 HAS SOPS 103662 HAS SOUS 57525 HAS SOUPS 56618 WITH SCORE 56724.594
AT ITER 5321 NEW BEST:: SOT 234059 SOS 106316 HAS SOPS 103455 HAS SOUS 57515 HAS SOUPS 56616 WITH SCORE 56722.316
AT ITER 5333 NEW BEST:: SOT 234029 SOS 106246 HAS SOPS 103385 HAS SOUS 57441 HAS SOUPS 56542 WITH SCORE 56648.246
AT ITER 5337 NEW BEST:: SOT 234009 SOS 106175 HAS SOPS 103314 HAS SOUS 57403 HAS SOUPS 56504 WITH SCORE 56610.175
AT ITER 5377 NEW BEST:: SOT 233830 SOS 105931 HAS SOPS 103070 HAS SOUS 57224 HAS SOUPS 56325 WITH SCORE 56430.931
AT ITER 5439 NEW BEST:: SOT 233850 SOS 105951 HAS SOPS 103090 HAS SOUS 57213 HAS SOUPS 56314 WITH SCORE 56419.951
AT ITER 5442 NEW BEST:: SOT 233873 SOS 106245 HAS SOPS 103384 HAS SOUS 57197 HAS SOUPS 56298 WITH SCORE 56404.245
AT ITER 5446 NEW BEST:: SOT 233806 SOS 106312 HAS SOPS 103451 HAS SOUS 57130 HAS SOUPS 56231 WITH SCORE 56337.312
AT ITER 5472 NEW BEST:: SOT 233807 SOS 106370 HAS SOPS 103509 HAS SOUS 57060 HAS SOUPS 56161 WITH SCORE 56267.37
AT ITER 5473 NEW BEST:: SOT 233783 SOS 106332 HAS SOPS 103471 HAS SOUS 57040 HAS SOUPS 56141 WITH SCORE 56247.332
AT ITER 5475 NEW BEST:: SOT 233763 SOS 106312 HAS SOPS 103451 HAS SOUS 56970 HAS SOUPS 56071 WITH SCORE 56177.312
AT ITER 5496 NEW BEST:: SOT 233761 SOS 106304 HAS SOPS 103445 HAS SOUS 56970 HAS SOUPS 56071 WITH SCORE 56177.304
AT ITER 5526 NEW BEST:: SOT 233746 SOS 106289 HAS SOPS 103405 HAS SOUS 56955 HAS SOUPS 56056 WITH SCORE 56162.289
AT ITER 5535 NEW BEST:: SOT 233735 SOS 106278 HAS SOPS 103394 HAS SOUS 56933 HAS SOUPS 56034 WITH SCORE 56140.278
AT ITER 5548 NEW BEST:: SOT 233725 SOS 106268 HAS SOPS 103384 HAS SOUS 56859 HAS SOUPS 55960 WITH SCORE 56066.268
AT ITER 5574 NEW BEST:: SOT 233721 SOS 106264 HAS SOPS 103380 HAS SOUS 56853 HAS SOUPS 55954 WITH SCORE 56060.264
AT ITER 5609 NEW BEST:: SOT 233721 SOS 106264 HAS SOPS 103380 HAS SOUS 56851 HAS SOUPS 55952 WITH SCORE 56058.264
AT ITER 5656 NEW BEST:: SOT 233697 SOS 106240 HAS SOPS 103342 HAS SOUS 56829 HAS SOUPS 55930 WITH SCORE 56036.24
AT ITER 5671 NEW BEST:: SOT 233717 SOS 106320 HAS SOPS 103410 HAS SOUS 56801 HAS SOUPS 55902 WITH SCORE 56008.32
AT ITER 5679 NEW BEST:: SOT 233708 SOS 106311 HAS SOPS 103401 HAS SOUS 56780 HAS SOUPS 55881 WITH SCORE 55987.311
AT ITER 5708 NEW BEST:: SOT 233687 SOS 106402 HAS SOPS 103492 HAS SOUS 56712 HAS SOUPS 55813 WITH SCORE 55919.402
AT ITER 5719 NEW BEST:: SOT 233656 SOS 106371 HAS SOPS 103461 HAS SOUS 56696 HAS SOUPS 55797 WITH SCORE 55903.371
AT ITER 5735 NEW BEST:: SOT 233665 SOS 106357 HAS SOPS 103447 HAS SOUS 56691 HAS SOUPS 55792 WITH SCORE 55898.357
AT ITER 5743 NEW BEST:: SOT 233601 SOS 106359 HAS SOPS 103449 HAS SOUS 56563 HAS SOUPS 55664 WITH SCORE 55770.359
AT ITER 5757 NEW BEST:: SOT 233589 SOS 106347 HAS SOPS 103437 HAS SOUS 56551 HAS SOUPS 55652 WITH SCORE 55758.347
AT ITER 5839 NEW BEST:: SOT 233573 SOS 106312 HAS SOPS 103402 HAS SOUS 56535 HAS SOUPS 55636 WITH SCORE 55742.312
AT ITER 5877 NEW BEST:: SOT 233468 SOS 105916 HAS SOPS 103006 HAS SOUS 56407 HAS SOUPS 55508 WITH SCORE 55613.916
AT ITER 5892 NEW BEST:: SOT 233456 SOS 105904 HAS SOPS 102994 HAS SOUS 56383 HAS SOUPS 55484 WITH SCORE 55589.904
AT ITER 5957 NEW BEST:: SOT 233456 SOS 105796 HAS SOPS 102804 HAS SOUS 56383 HAS SOUPS 55484 WITH SCORE 55589.796
AT ITER 5964 NEW BEST:: SOT 233395 SOS 106126 HAS SOPS 103134 HAS SOUS 56268 HAS SOUPS 55369 WITH SCORE 55475.126
AT ITER 5988 NEW BEST:: SOT 233385 SOS 106932 HAS SOPS 103940 HAS SOUS 56258 HAS SOUPS 55359 WITH SCORE 55465.932
AT ITER 6006 NEW BEST:: SOT 233379 SOS 106920 HAS SOPS 103928 HAS SOUS 56246 HAS SOUPS 55347 WITH SCORE 55453.92
AT ITER 6095 NEW BEST:: SOT 233373 SOS 106914 HAS SOPS 103922 HAS SOUS 56246 HAS SOUPS 55347 WITH SCORE 55453.914
AT ITER 6127 NEW BEST:: SOT 233367 SOS 106908 HAS SOPS 103916 HAS SOUS 56239 HAS SOUPS 55340 WITH SCORE 55446.908
AT ITER 6150 NEW BEST:: SOT 233369 SOS 106910 HAS SOPS 103918 HAS SOUS 56238 HAS SOUPS 55339 WITH SCORE 55445.91
AT ITER 6153 NEW BEST:: SOT 233372 SOS 106913 HAS SOPS 103921 HAS SOUS 56214 HAS SOUPS 55315 WITH SCORE 55421.913
AT ITER 6182 NEW BEST:: SOT 233326 SOS 106786 HAS SOPS 103794 HAS SOUS 56164 HAS SOUPS 55265 WITH SCORE 55371.786
AT ITER 6197 NEW BEST:: SOT 233309 SOS 106769 HAS SOPS 103777 HAS SOUS 56130 HAS SOUPS 55231 WITH SCORE 55337.769
AT ITER 6200 NEW BEST:: SOT 233309 SOS 106769 HAS SOPS 103777 HAS SOUS 56105 HAS SOUPS 55206 WITH SCORE 55312.769
AT ITER 6203 NEW BEST:: SOT 233252 SOS 105533 HAS SOPS 102541 HAS SOUS 56060 HAS SOUPS 55161 WITH SCORE 55266.533
AT ITER 6221 NEW BEST:: SOT 233252 SOS 105424 HAS SOPS 102432 HAS SOUS 56044 HAS SOUPS 55145 WITH SCORE 55250.424
AT ITER 6263 NEW BEST:: SOT 233234 SOS 105468 HAS SOPS 102476 HAS SOUS 55964 HAS SOUPS 55065 WITH SCORE 55170.468
AT ITER 6264 NEW BEST:: SOT 233226 SOS 105460 HAS SOPS 102468 HAS SOUS 55924 HAS SOUPS 55025 WITH SCORE 55130.46
AT ITER 6281 NEW BEST:: SOT 233187 SOS 105421 HAS SOPS 102429 HAS SOUS 55882 HAS SOUPS 54983 WITH SCORE 55088.421
AT ITER 6315 NEW BEST:: SOT 233182 SOS 105416 HAS SOPS 102424 HAS SOUS 55832 HAS SOUPS 54933 WITH SCORE 55038.416
AT ITER 6340 NEW BEST:: SOT 233199 SOS 105449 HAS SOPS 102442 HAS SOUS 55808 HAS SOUPS 54909 WITH SCORE 55014.449
AT ITER 6346 NEW BEST:: SOT 233179 SOS 105429 HAS SOPS 102422 HAS SOUS 55788 HAS SOUPS 54889 WITH SCORE 54994.429
AT ITER 6354 NEW BEST:: SOT 233176 SOS 105426 HAS SOPS 102419 HAS SOUS 55782 HAS SOUPS 54883 WITH SCORE 54988.426
AT ITER 6355 NEW BEST:: SOT 233181 SOS 105431 HAS SOPS 102424 HAS SOUS 55772 HAS SOUPS 54873 WITH SCORE 54978.431
AT ITER 6365 NEW BEST:: SOT 233119 SOS 105369 HAS SOPS 102362 HAS SOUS 55655 HAS SOUPS 54756 WITH SCORE 54861.369
AT ITER 6439 NEW BEST:: SOT 233134 SOS 105408 HAS SOPS 102385 HAS SOUS 55613 HAS SOUPS 54714 WITH SCORE 54819.408
AT ITER 6457 NEW BEST:: SOT 233112 SOS 105386 HAS SOPS 102363 HAS SOUS 55485 HAS SOUPS 54586 WITH SCORE 54691.386
AT ITER 6482 NEW BEST:: SOT 233099 SOS 105386 HAS SOPS 102363 HAS SOUS 55472 HAS SOUPS 54573 WITH SCORE 54678.386
AT ITER 6489 NEW BEST:: SOT 233099 SOS 105342 HAS SOPS 102319 HAS SOUS 55472 HAS SOUPS 54573 WITH SCORE 54678.342
AT ITER 6509 NEW BEST:: SOT 233128 SOS 105371 HAS SOPS 102348 HAS SOUS 55430 HAS SOUPS 54531 WITH SCORE 54636.371
AT ITER 6534 NEW BEST:: SOT 233128 SOS 105374 HAS SOPS 102351 HAS SOUS 55390 HAS SOUPS 54491 WITH SCORE 54596.374
AT ITER 6568 NEW BEST:: SOT 233106 SOS 105317 HAS SOPS 102294 HAS SOUS 55365 HAS SOUPS 54466 WITH SCORE 54571.317
AT ITER 6606 NEW BEST:: SOT 233106 SOS 105051 HAS SOPS 101990 HAS SOUS 55365 HAS SOUPS 54466 WITH SCORE 54571.051
AT ITER 6620 NEW BEST:: SOT 233121 SOS 105066 HAS SOPS 102005 HAS SOUS 55350 HAS SOUPS 54451 WITH SCORE 54556.066
AT ITER 6646 NEW BEST:: SOT 233108 SOS 105053 HAS SOPS 101992 HAS SOUS 55337 HAS SOUPS 54438 WITH SCORE 54543.053
AT ITER 6648 NEW BEST:: SOT 233109 SOS 105054 HAS SOPS 101993 HAS SOUS 55324 HAS SOUPS 54425 WITH SCORE 54530.054
AT ITER 6668 NEW BEST:: SOT 233024 SOS 105059 HAS SOPS 101998 HAS SOUS 55295 HAS SOUPS 54396 WITH SCORE 54501.059
AT ITER 6701 NEW BEST:: SOT 233020 SOS 105068 HAS SOPS 102007 HAS SOUS 55287 HAS SOUPS 54388 WITH SCORE 54493.068
AT ITER 6717 NEW BEST:: SOT 233016 SOS 105064 HAS SOPS 102007 HAS SOUS 55287 HAS SOUPS 54388 WITH SCORE 54493.064
AT ITER 6734 NEW BEST:: SOT 232878 SOS 104969 HAS SOPS 101912 HAS SOUS 55203 HAS SOUPS 54304 WITH SCORE 54408.969
AT ITER 6811 NEW BEST:: SOT 232865 SOS 104949 HAS SOPS 101892 HAS SOUS 55174 HAS SOUPS 54275 WITH SCORE 54379.949
AT ITER 6813 NEW BEST:: SOT 232862 SOS 105017 HAS SOPS 101960 HAS SOUS 55102 HAS SOUPS 54203 WITH SCORE 54308.017
AT ITER 6831 NEW BEST:: SOT 232892 SOS 105047 HAS SOPS 101929 HAS SOUS 54993 HAS SOUPS 54094 WITH SCORE 54199.047
AT ITER 6845 NEW BEST:: SOT 232884 SOS 105043 HAS SOPS 101925 HAS SOUS 54989 HAS SOUPS 54090 WITH SCORE 54195.043
AT ITER 6892 NEW BEST:: SOT 232854 SOS 105044 HAS SOPS 101926 HAS SOUS 54956 HAS SOUPS 54057 WITH SCORE 54162.044
AT ITER 6893 NEW BEST:: SOT 232858 SOS 105048 HAS SOPS 101925 HAS SOUS 54954 HAS SOUPS 54055 WITH SCORE 54160.048
AT ITER 6898 NEW BEST:: SOT 232875 SOS 105055 HAS SOPS 101932 HAS SOUS 54900 HAS SOUPS 54001 WITH SCORE 54106.055
AT ITER 6942 NEW BEST:: SOT 232976 SOS 105148 HAS SOPS 102025 HAS SOUS 54772 HAS SOUPS 53873 WITH SCORE 53978.148
AT ITER 6943 NEW BEST:: SOT 232975 SOS 105147 HAS SOPS 102024 HAS SOUS 54770 HAS SOUPS 53871 WITH SCORE 53976.147
AT ITER 6972 NEW BEST:: SOT 232975 SOS 105139 HAS SOPS 102016 HAS SOUS 54762 HAS SOUPS 53863 WITH SCORE 53968.139
AT ITER 6991 NEW BEST:: SOT 232962 SOS 105126 HAS SOPS 102003 HAS SOUS 54739 HAS SOUPS 53840 WITH SCORE 53945.126
AT ITER 7048 NEW BEST:: SOT 232942 SOS 105106 HAS SOPS 101983 HAS SOUS 54723 HAS SOUPS 53824 WITH SCORE 53929.106
AT ITER 7049 NEW BEST:: SOT 232942 SOS 105092 HAS SOPS 101969 HAS SOUS 54716 HAS SOUPS 53817 WITH SCORE 53922.092
AT ITER 7071 NEW BEST:: SOT 232945 SOS 105094 HAS SOPS 101971 HAS SOUS 54714 HAS SOUPS 53815 WITH SCORE 53920.094
AT ITER 7075 NEW BEST:: SOT 232944 SOS 106657 HAS SOPS 103534 HAS SOUS 54706 HAS SOUPS 53807 WITH SCORE 53913.657
AT ITER 7116 NEW BEST:: SOT 232935 SOS 106632 HAS SOPS 103502 HAS SOUS 54674 HAS SOUPS 53775 WITH SCORE 53881.632
AT ITER 7127 NEW BEST:: SOT 232917 SOS 106614 HAS SOPS 103461 HAS SOUS 54648 HAS SOUPS 53744 WITH SCORE 53850.614
AT ITER 7140 NEW BEST:: SOT 232926 SOS 106623 HAS SOPS 103470 HAS SOUS 54639 HAS SOUPS 53735 WITH SCORE 53841.623
AT ITER 7186 NEW BEST:: SOT 232904 SOS 106640 HAS SOPS 103487 HAS SOUS 54562 HAS SOUPS 53658 WITH SCORE 53764.64
AT ITER 7249 NEW BEST:: SOT 232898 SOS 106404 HAS SOPS 103251 HAS SOUS 54550 HAS SOUPS 53646 WITH SCORE 53752.404
AT ITER 7283 NEW BEST:: SOT 232902 SOS 106405 HAS SOPS 103252 HAS SOUS 54543 HAS SOUPS 53639 WITH SCORE 53745.405
AT ITER 7365 NEW BEST:: SOT 232821 SOS 106471 HAS SOPS 103297 HAS SOUS 54550 HAS SOUPS 53625 WITH SCORE 53731.471
AT ITER 7375 NEW BEST:: SOT 232823 SOS 106452 HAS SOPS 103278 HAS SOUS 54548 HAS SOUPS 53623 WITH SCORE 53729.452
AT ITER 7389 NEW BEST:: SOT 232792 SOS 106421 HAS SOPS 103247 HAS SOUS 54482 HAS SOUPS 53557 WITH SCORE 53663.421
AT ITER 7469 NEW BEST:: SOT 232786 SOS 106409 HAS SOPS 103235 HAS SOUS 54447 HAS SOUPS 53522 WITH SCORE 53628.409
AT ITER 7489 NEW BEST:: SOT 232780 SOS 106367 HAS SOPS 103193 HAS SOUS 54425 HAS SOUPS 53500 WITH SCORE 53606.367
AT ITER 7533 NEW BEST:: SOT 232780 SOS 106223 HAS SOPS 103049 HAS SOUS 54397 HAS SOUPS 53472 WITH SCORE 53578.223
AT ITER 7551 NEW BEST:: SOT 232806 SOS 106235 HAS SOPS 103061 HAS SOUS 54393 HAS SOUPS 53468 WITH SCORE 53574.235
AT ITER 7553 NEW BEST:: SOT 232806 SOS 106148 HAS SOPS 102974 HAS SOUS 54373 HAS SOUPS 53448 WITH SCORE 53554.148
AT ITER 7555 NEW BEST:: SOT 232806 SOS 106097 HAS SOPS 102923 HAS SOUS 54356 HAS SOUPS 53431 WITH SCORE 53537.097
AT ITER 7573 NEW BEST:: SOT 232806 SOS 106097 HAS SOPS 102918 HAS SOUS 54351 HAS SOUPS 53426 WITH SCORE 53532.097
AT ITER 7601 NEW BEST:: SOT 232804 SOS 106101 HAS SOPS 102922 HAS SOUS 54337 HAS SOUPS 53412 WITH SCORE 53518.101
AT ITER 7605 NEW BEST:: SOT 232770 SOS 106040 HAS SOPS 102839 HAS SOUS 54303 HAS SOUPS 53378 WITH SCORE 53484.04
AT ITER 7635 NEW BEST:: SOT 232771 SOS 106022 HAS SOPS 102833 HAS SOUS 54297 HAS SOUPS 53372 WITH SCORE 53478.022
AT ITER 7671 NEW BEST:: SOT 232771 SOS 105938 HAS SOPS 102749 HAS SOUS 54297 HAS SOUPS 53372 WITH SCORE 53477.938
AT ITER 7681 NEW BEST:: SOT 232779 SOS 105946 HAS SOPS 102757 HAS SOUS 54246 HAS SOUPS 53321 WITH SCORE 53426.946
AT ITER 7683 NEW BEST:: SOT 232757 SOS 105924 HAS SOPS 102735 HAS SOUS 54224 HAS SOUPS 53299 WITH SCORE 53404.924
AT ITER 7720 NEW BEST:: SOT 232709 SOS 105906 HAS SOPS 102717 HAS SOUS 54167 HAS SOUPS 53242 WITH SCORE 53347.906
AT ITER 7754 NEW BEST:: SOT 232613 SOS 105030 HAS SOPS 101841 HAS SOUS 54131 HAS SOUPS 53206 WITH SCORE 53311.03
AT ITER 7771 NEW BEST:: SOT 232594 SOS 104849 HAS SOPS 101816 HAS SOUS 54080 HAS SOUPS 53168 WITH SCORE 53272.849
AT ITER 7820 NEW BEST:: SOT 232594 SOS 105041 HAS SOPS 102008 HAS SOUS 54079 HAS SOUPS 53167 WITH SCORE 53272.041
AT ITER 7823 NEW BEST:: SOT 232586 SOS 105033 HAS SOPS 101998 HAS SOUS 54063 HAS SOUPS 53151 WITH SCORE 53256.033
AT ITER 7826 NEW BEST:: SOT 232586 SOS 105033 HAS SOPS 101998 HAS SOUS 54054 HAS SOUPS 53142 WITH SCORE 53247.033
AT ITER 7855 NEW BEST:: SOT 232552 SOS 104965 HAS SOPS 101930 HAS SOUS 53996 HAS SOUPS 53084 WITH SCORE 53188.965
AT ITER 7884 NEW BEST:: SOT 232552 SOS 104713 HAS SOPS 101621 HAS SOUS 53979 HAS SOUPS 53067 WITH SCORE 53171.713
AT ITER 7900 NEW BEST:: SOT 232508 SOS 104024 HAS SOPS 100932 HAS SOUS 53939 HAS SOUPS 53027 WITH SCORE 53131.024
AT ITER 7961 NEW BEST:: SOT 232532 SOS 104048 HAS SOPS 100965 HAS SOUS 53888 HAS SOUPS 52976 WITH SCORE 53080.048
AT ITER 7996 NEW BEST:: SOT 232566 SOS 104082 HAS SOPS 100999 HAS SOUS 53863 HAS SOUPS 52951 WITH SCORE 53055.082
AT ITER 8007 NEW BEST:: SOT 232519 SOS 104066 HAS SOPS 100983 HAS SOUS 53800 HAS SOUPS 52888 WITH SCORE 52992.066
AT ITER 8020 NEW BEST:: SOT 232512 SOS 104080 HAS SOPS 100990 HAS SOUS 53793 HAS SOUPS 52881 WITH SCORE 52985.08
AT ITER 8030 NEW BEST:: SOT 232507 SOS 104075 HAS SOPS 100980 HAS SOUS 53783 HAS SOUPS 52871 WITH SCORE 52975.075
AT ITER 8038 NEW BEST:: SOT 232500 SOS 104061 HAS SOPS 100980 HAS SOUS 53783 HAS SOUPS 52871 WITH SCORE 52975.061
AT ITER 8041 NEW BEST:: SOT 232486 SOS 104047 HAS SOPS 100959 HAS SOUS 53776 HAS SOUPS 52864 WITH SCORE 52968.047
AT ITER 8046 NEW BEST:: SOT 232482 SOS 104022 HAS SOPS 100934 HAS SOUS 53773 HAS SOUPS 52861 WITH SCORE 52965.022
AT ITER 8073 NEW BEST:: SOT 232446 SOS 103959 HAS SOPS 100871 HAS SOUS 53728 HAS SOUPS 52816 WITH SCORE 52919.959
AT ITER 8109 NEW BEST:: SOT 232466 SOS 103979 HAS SOPS 100891 HAS SOUS 53692 HAS SOUPS 52780 WITH SCORE 52883.979
AT ITER 8127 NEW BEST:: SOT 232460 SOS 103973 HAS SOPS 100885 HAS SOUS 53687 HAS SOUPS 52775 WITH SCORE 52878.973
AT ITER 8141 NEW BEST:: SOT 232460 SOS 103973 HAS SOPS 100885 HAS SOUS 53683 HAS SOUPS 52771 WITH SCORE 52874.973
AT ITER 8229 NEW BEST:: SOT 232448 SOS 103961 HAS SOPS 100873 HAS SOUS 53671 HAS SOUPS 52759 WITH SCORE 52862.961
AT ITER 8236 NEW BEST:: SOT 232448 SOS 103961 HAS SOPS 100873 HAS SOUS 53665 HAS SOUPS 52753 WITH SCORE 52856.961
AT ITER 8242 NEW BEST:: SOT 232437 SOS 103998 HAS SOPS 100862 HAS SOUS 53654 HAS SOUPS 52738 WITH SCORE 52841.998
AT ITER 8258 NEW BEST:: SOT 232419 SOS 103980 HAS SOPS 100844 HAS SOUS 53636 HAS SOUPS 52720 WITH SCORE 52823.98
AT ITER 8288 NEW BEST:: SOT 232398 SOS 103959 HAS SOPS 100823 HAS SOUS 53549 HAS SOUPS 52633 WITH SCORE 52736.959
AT ITER 8347 NEW BEST:: SOT 232358 SOS 103919 HAS SOPS 100783 HAS SOUS 53538 HAS SOUPS 52622 WITH SCORE 52725.919
AT ITER 8366 NEW BEST:: SOT 232337 SOS 103858 HAS SOPS 100722 HAS SOUS 53499 HAS SOUPS 52583 WITH SCORE 52686.858
AT ITER 8374 NEW BEST:: SOT 232287 SOS 103808 HAS SOPS 100672 HAS SOUS 53475 HAS SOUPS 52559 WITH SCORE 52662.808
AT ITER 8395 NEW BEST:: SOT 232285 SOS 103800 HAS SOPS 100664 HAS SOUS 53474 HAS SOUPS 52558 WITH SCORE 52661.8
AT ITER 8408 NEW BEST:: SOT 232273 SOS 103780 HAS SOPS 100578 HAS SOUS 53468 HAS SOUPS 52544 WITH SCORE 52647.78
AT ITER 8425 NEW BEST:: SOT 232269 SOS 103776 HAS SOPS 100574 HAS SOUS 53465 HAS SOUPS 52541 WITH SCORE 52644.776
AT ITER 8443 NEW BEST:: SOT 232223 SOS 103730 HAS SOPS 100528 HAS SOUS 53451 HAS SOUPS 52527 WITH SCORE 52630.73
AT ITER 8462 NEW BEST:: SOT 232190 SOS 103697 HAS SOPS 100495 HAS SOUS 53395 HAS SOUPS 52471 WITH SCORE 52574.697
AT ITER 8519 NEW BEST:: SOT 232184 SOS 103691 HAS SOPS 100487 HAS SOUS 53383 HAS SOUPS 52459 WITH SCORE 52562.691
AT ITER 8545 NEW BEST:: SOT 232150 SOS 103674 HAS SOPS 100470 HAS SOUS 53337 HAS SOUPS 52413 WITH SCORE 52516.674
AT ITER 8560 NEW BEST:: SOT 232162 SOS 103682 HAS SOPS 100478 HAS SOUS 53321 HAS SOUPS 52397 WITH SCORE 52500.682
AT ITER 8583 NEW BEST:: SOT 232173 SOS 103722 HAS SOPS 100518 HAS SOUS 53301 HAS SOUPS 52377 WITH SCORE 52480.722
AT ITER 8618 NEW BEST:: SOT 232173 SOS 103722 HAS SOPS 100518 HAS SOUS 53300 HAS SOUPS 52376 WITH SCORE 52479.722
AT ITER 8639 NEW BEST:: SOT 232165 SOS 103694 HAS SOPS 100490 HAS SOUS 53292 HAS SOUPS 52368 WITH SCORE 52471.694
AT ITER 8647 NEW BEST:: SOT 232081 SOS 103847 HAS SOPS 100643 HAS SOUS 53223 HAS SOUPS 52299 WITH SCORE 52402.847
AT ITER 8677 NEW BEST:: SOT 232088 SOS 103860 HAS SOPS 100656 HAS SOUS 53209 HAS SOUPS 52285 WITH SCORE 52388.86
AT ITER 8710 NEW BEST:: SOT 232058 SOS 103830 HAS SOPS 100626 HAS SOUS 53179 HAS SOUPS 52255 WITH SCORE 52358.83
AT ITER 8767 NEW BEST:: SOT 232117 SOS 103889 HAS SOPS 100685 HAS SOUS 53164 HAS SOUPS 52240 WITH SCORE 52343.889
AT ITER 8832 NEW BEST:: SOT 232102 SOS 103874 HAS SOPS 100668 HAS SOUS 53157 HAS SOUPS 52233 WITH SCORE 52336.874
AT ITER 8833 NEW BEST:: SOT 232094 SOS 103867 HAS SOPS 100661 HAS SOUS 53150 HAS SOUPS 52226 WITH SCORE 52329.867
AT ITER 8855 NEW BEST:: SOT 232047 SOS 103679 HAS SOPS 100473 HAS SOUS 53079 HAS SOUPS 52155 WITH SCORE 52258.679
AT ITER 8899 NEW BEST:: SOT 232047 SOS 103605 HAS SOPS 100399 HAS SOUS 53079 HAS SOUPS 52155 WITH SCORE 52258.605
AT ITER 8934 NEW BEST:: SOT 232027 SOS 103564 HAS SOPS 100369 HAS SOUS 53059 HAS SOUPS 52145 WITH SCORE 52248.564
AT ITER 8941 NEW BEST:: SOT 232021 SOS 103560 HAS SOPS 100365 HAS SOUS 53051 HAS SOUPS 52137 WITH SCORE 52240.56
AT ITER 9035 NEW BEST:: SOT 231969 SOS 103508 HAS SOPS 100313 HAS SOUS 52999 HAS SOUPS 52085 WITH SCORE 52188.508
AT ITER 9090 NEW BEST:: SOT 231936 SOS 103475 HAS SOPS 100280 HAS SOUS 52966 HAS SOUPS 52052 WITH SCORE 52155.475
AT ITER 9117 NEW BEST:: SOT 231898 SOS 103456 HAS SOPS 100261 HAS SOUS 52909 HAS SOUPS 51995 WITH SCORE 52098.456
AT ITER 9123 NEW BEST:: SOT 231832 SOS 103336 HAS SOPS 100141 HAS SOUS 52855 HAS SOUPS 51941 WITH SCORE 52044.336
AT ITER 9140 NEW BEST:: SOT 231832 SOS 103425 HAS SOPS 100230 HAS SOUS 52830 HAS SOUPS 51916 WITH SCORE 52019.425
AT ITER 9163 NEW BEST:: SOT 231802 SOS 103446 HAS SOPS 100251 HAS SOUS 52772 HAS SOUPS 51858 WITH SCORE 51961.446
AT ITER 9176 NEW BEST:: SOT 231802 SOS 103533 HAS SOPS 100338 HAS SOUS 52714 HAS SOUPS 51800 WITH SCORE 51903.533
AT ITER 9187 NEW BEST:: SOT 231796 SOS 103523 HAS SOPS 100328 HAS SOUS 52702 HAS SOUPS 51788 WITH SCORE 51891.523
AT ITER 9197 NEW BEST:: SOT 231786 SOS 103513 HAS SOPS 100318 HAS SOUS 52694 HAS SOUPS 51780 WITH SCORE 51883.513
AT ITER 9209 NEW BEST:: SOT 231774 SOS 103501 HAS SOPS 100280 HAS SOUS 52656 HAS SOUPS 51742 WITH SCORE 51845.501
AT ITER 9230 NEW BEST:: SOT 231771 SOS 103492 HAS SOPS 100271 HAS SOUS 52650 HAS SOUPS 51736 WITH SCORE 51839.492
AT ITER 9290 NEW BEST:: SOT 231756 SOS 103477 HAS SOPS 100256 HAS SOUS 52650 HAS SOUPS 51736 WITH SCORE 51839.477
AT ITER 9306 NEW BEST:: SOT 231738 SOS 103377 HAS SOPS 100156 HAS SOUS 52630 HAS SOUPS 51716 WITH SCORE 51819.377
AT ITER 9338 NEW BEST:: SOT 231710 SOS 103308 HAS SOPS 100087 HAS SOUS 52574 HAS SOUPS 51660 WITH SCORE 51763.308
AT ITER 9365 NEW BEST:: SOT 231689 SOS 103224 HAS SOPS 100024 HAS SOUS 52564 HAS SOUPS 51655 WITH SCORE 51758.224
AT ITER 9369 NEW BEST:: SOT 231689 SOS 103222 HAS SOPS 100022 HAS SOUS 52564 HAS SOUPS 51655 WITH SCORE 51758.222
AT ITER 9380 NEW BEST:: SOT 231583 SOS 103034 HAS SOPS 99875 HAS SOUS 52561 HAS SOUPS 51652 WITH SCORE 51755.034
AT ITER 9382 NEW BEST:: SOT 231605 SOS 102987 HAS SOPS 99828 HAS SOUS 52536 HAS SOUPS 51627 WITH SCORE 51729.987
AT ITER 9383 NEW BEST:: SOT 231600 SOS 102972 HAS SOPS 99813 HAS SOUS 52526 HAS SOUPS 51617 WITH SCORE 51719.972
AT ITER 9386 NEW BEST:: SOT 231572 SOS 102963 HAS SOPS 99798 HAS SOUS 52473 HAS SOUPS 51564 WITH SCORE 51666.963
AT ITER 9447 NEW BEST:: SOT 231586 SOS 102947 HAS SOPS 99782 HAS SOUS 52473 HAS SOUPS 51564 WITH SCORE 51666.947
AT ITER 9468 NEW BEST:: SOT 231573 SOS 102934 HAS SOPS 99769 HAS SOUS 52460 HAS SOUPS 51551 WITH SCORE 51653.934
AT ITER 9525 NEW BEST:: SOT 231571 SOS 102932 HAS SOPS 99767 HAS SOUS 52456 HAS SOUPS 51547 WITH SCORE 51649.932
AT ITER 9530 NEW BEST:: SOT 231538 SOS 102874 HAS SOPS 99709 HAS SOUS 52453 HAS SOUPS 51544 WITH SCORE 51646.874
AT ITER 9534 NEW BEST:: SOT 231503 SOS 102839 HAS SOPS 99674 HAS SOUS 52423 HAS SOUPS 51514 WITH SCORE 51616.839
AT ITER 9539 NEW BEST:: SOT 231503 SOS 102776 HAS SOPS 99611 HAS SOUS 52402 HAS SOUPS 51493 WITH SCORE 51595.776
AT ITER 9590 NEW BEST:: SOT 231499 SOS 102760 HAS SOPS 99595 HAS SOUS 52394 HAS SOUPS 51485 WITH SCORE 51587.76
AT ITER 9594 NEW BEST:: SOT 231498 SOS 102759 HAS SOPS 99592 HAS SOUS 52384 HAS SOUPS 51475 WITH SCORE 51577.759
AT ITER 9610 NEW BEST:: SOT 231529 SOS 102758 HAS SOPS 99565 HAS SOUS 52383 HAS SOUPS 51471 WITH SCORE 51573.758
AT ITER 9626 NEW BEST:: SOT 231462 SOS 102814 HAS SOPS 99613 HAS SOUS 52357 HAS SOUPS 51445 WITH SCORE 51547.814
AT ITER 9661 NEW BEST:: SOT 231448 SOS 102733 HAS SOPS 99532 HAS SOUS 52276 HAS SOUPS 51364 WITH SCORE 51466.733
AT ITER 9699 NEW BEST:: SOT 231444 SOS 102729 HAS SOPS 99528 HAS SOUS 52268 HAS SOUPS 51356 WITH SCORE 51458.729
AT ITER 9725 NEW BEST:: SOT 231444 SOS 102829 HAS SOPS 99596 HAS SOUS 52236 HAS SOUPS 51324 WITH SCORE 51426.829
AT ITER 9733 NEW BEST:: SOT 231374 SOS 102820 HAS SOPS 99587 HAS SOUS 52195 HAS SOUPS 51283 WITH SCORE 51385.82
AT ITER 9797 NEW BEST:: SOT 231441 SOS 102893 HAS SOPS 99660 HAS SOUS 52173 HAS SOUPS 51261 WITH SCORE 51363.893
AT ITER 9802 NEW BEST:: SOT 231441 SOS 102892 HAS SOPS 99659 HAS SOUS 52172 HAS SOUPS 51260 WITH SCORE 51362.892
AT ITER 9809 NEW BEST:: SOT 231422 SOS 102782 HAS SOPS 99549 HAS SOUS 52160 HAS SOUPS 51248 WITH SCORE 51350.782
AT ITER 9810 NEW BEST:: SOT 231437 SOS 102797 HAS SOPS 99564 HAS SOUS 52157 HAS SOUPS 51245 WITH SCORE 51347.797
AT ITER 9818 NEW BEST:: SOT 231441 SOS 102797 HAS SOPS 99560 HAS SOUS 52154 HAS SOUPS 51241 WITH SCORE 51343.797
AT ITER 9823 NEW BEST:: SOT 231441 SOS 102797 HAS SOPS 99560 HAS SOUS 52153 HAS SOUPS 51240 WITH SCORE 51342.797
AT ITER 9825 NEW BEST:: SOT 231441 SOS 102790 HAS SOPS 99553 HAS SOUS 52146 HAS SOUPS 51233 WITH SCORE 51335.79
AT ITER 9848 NEW BEST:: SOT 231421 SOS 102788 HAS SOPS 99551 HAS SOUS 52144 HAS SOUPS 51231 WITH SCORE 51333.788
AT ITER 9936 NEW BEST:: SOT 231419 SOS 102785 HAS SOPS 99548 HAS SOUS 52142 HAS SOUPS 51229 WITH SCORE 51331.785
AT ITER 9971 NEW BEST:: SOT 231419 SOS 102761 HAS SOPS 99524 HAS SOUS 52142 HAS SOUPS 51229 WITH SCORE 51331.761
AT ITER 9988 NEW BEST:: SOT 231415 SOS 102757 HAS SOPS 99520 HAS SOUS 52134 HAS SOUPS 51221 WITH SCORE 51323.757
AT ITER 9996 NEW BEST:: SOT 231407 SOS 102741 HAS SOPS 99504 HAS SOUS 52124 HAS SOUPS 51211 WITH SCORE 51313.741
STATE_SPACE STATES 10053 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 58 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 18735 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679484468414

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

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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