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.r331-tall-167889204300336.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 Raft-PT-07, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r331-tall-167889204300336
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 572K
-rw-r--r-- 1 mcc users 6.6K Feb 26 17:30 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 26 17:30 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K Feb 26 17:24 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 26 17:24 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:41 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:41 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 17:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 147K Feb 26 17:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Feb 26 17:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 26 17:33 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 16:41 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:41 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 120K 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 1679138365246

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=Raft-PT-07
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-18 11:19:27] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-18 11:19:27] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-18 11:19:27] [INFO ] Load time of PNML (sax parser for PT used): 64 ms
[2023-03-18 11:19:27] [INFO ] Transformed 253 places.
[2023-03-18 11:19:27] [INFO ] Transformed 442 transitions.
[2023-03-18 11:19:27] [INFO ] Found NUPN structural information;
[2023-03-18 11:19:27] [INFO ] Parsed PT model containing 253 places and 442 transitions and 1664 arcs in 138 ms.
[2023-03-18 11:19:27] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 253 places, 442 transitions and 1664 arcs took 7 ms.
Total runtime 197 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Raft (PT), instance 07
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: 253 places, 442 transitions, 1664 arcs.
AT ITER 0 NEW BEST:: SOT 97840 SOS 65051 HAS SOPS 65023 HAS SOUS 51373 HAS SOUPS 51366 WITH SCORE 51431.051
AT ITER 1 NEW BEST:: SOT 97538 SOS 65205 HAS SOPS 65153 HAS SOUS 51274 HAS SOUPS 51244 WITH SCORE 51309.205
AT ITER 2 NEW BEST:: SOT 96908 SOS 64961 HAS SOPS 64649 HAS SOUS 51078 HAS SOUPS 50986 WITH SCORE 51050.961
AT ITER 3 NEW BEST:: SOT 96884 SOS 64931 HAS SOPS 64528 HAS SOUS 51036 HAS SOUPS 50903 WITH SCORE 50967.931
AT ITER 4 NEW BEST:: SOT 96884 SOS 64931 HAS SOPS 64528 HAS SOUS 51010 HAS SOUPS 50877 WITH SCORE 50941.931
AT ITER 6 NEW BEST:: SOT 96483 SOS 64738 HAS SOPS 64328 HAS SOUS 50706 HAS SOUPS 50567 WITH SCORE 50631.738
AT ITER 7 NEW BEST:: SOT 96483 SOS 64658 HAS SOPS 64248 HAS SOUS 50706 HAS SOUPS 50567 WITH SCORE 50631.658
AT ITER 10 NEW BEST:: SOT 96483 SOS 64656 HAS SOPS 64246 HAS SOUS 50706 HAS SOUPS 50567 WITH SCORE 50631.656
AT ITER 11 NEW BEST:: SOT 96291 SOS 64450 HAS SOPS 64018 HAS SOUS 50499 HAS SOUPS 50339 WITH SCORE 50403.45
AT ITER 14 NEW BEST:: SOT 95959 SOS 64137 HAS SOPS 63630 HAS SOUS 50106 HAS SOUPS 49894 WITH SCORE 49958.137
AT ITER 15 NEW BEST:: SOT 95767 SOS 63945 HAS SOPS 63438 HAS SOUS 49865 HAS SOUPS 49653 WITH SCORE 49716.945
AT ITER 16 NEW BEST:: SOT 95767 SOS 63982 HAS SOPS 63438 HAS SOUS 49853 HAS SOUPS 49641 WITH SCORE 49704.982
AT ITER 18 NEW BEST:: SOT 95767 SOS 63979 HAS SOPS 63438 HAS SOUS 49853 HAS SOUPS 49641 WITH SCORE 49704.979
AT ITER 20 NEW BEST:: SOT 95767 SOS 63947 HAS SOPS 63406 HAS SOUS 49821 HAS SOUPS 49609 WITH SCORE 49672.947
AT ITER 21 NEW BEST:: SOT 95715 SOS 63895 HAS SOPS 63354 HAS SOUS 49769 HAS SOUPS 49557 WITH SCORE 49620.895
AT ITER 22 NEW BEST:: SOT 95715 SOS 63232 HAS SOPS 62691 HAS SOUS 49740 HAS SOUPS 49528 WITH SCORE 49591.232
AT ITER 24 NEW BEST:: SOT 95627 SOS 63154 HAS SOPS 62608 HAS SOUS 49614 HAS SOUPS 49402 WITH SCORE 49465.154
AT ITER 29 NEW BEST:: SOT 95615 SOS 63143 HAS SOPS 62590 HAS SOUS 49561 HAS SOUPS 49349 WITH SCORE 49412.143
AT ITER 30 NEW BEST:: SOT 95643 SOS 63056 HAS SOPS 62518 HAS SOUS 49559 HAS SOUPS 49347 WITH SCORE 49410.056
AT ITER 31 NEW BEST:: SOT 95235 SOS 62574 HAS SOPS 62013 HAS SOUS 49012 HAS SOUPS 48778 WITH SCORE 48840.574
AT ITER 37 NEW BEST:: SOT 95235 SOS 62589 HAS SOPS 61992 HAS SOUS 48994 HAS SOUPS 48760 WITH SCORE 48822.589
AT ITER 38 NEW BEST:: SOT 95235 SOS 62513 HAS SOPS 61918 HAS SOUS 48939 HAS SOUPS 48705 WITH SCORE 48767.513
AT ITER 39 NEW BEST:: SOT 95235 SOS 61917 HAS SOPS 61322 HAS SOUS 48925 HAS SOUPS 48691 WITH SCORE 48752.917
AT ITER 40 NEW BEST:: SOT 95235 SOS 61850 HAS SOPS 61255 HAS SOUS 48925 HAS SOUPS 48691 WITH SCORE 48752.85
AT ITER 41 NEW BEST:: SOT 93876 SOS 63310 HAS SOPS 59619 HAS SOUS 48394 HAS SOUPS 48038 WITH SCORE 48101.31
AT ITER 43 NEW BEST:: SOT 93876 SOS 63204 HAS SOPS 59619 HAS SOUS 48394 HAS SOUPS 48038 WITH SCORE 48101.204
AT ITER 44 NEW BEST:: SOT 93436 SOS 62681 HAS SOPS 59080 HAS SOUS 47802 HAS SOUPS 47446 WITH SCORE 47508.681
AT ITER 45 NEW BEST:: SOT 93436 SOS 62675 HAS SOPS 59080 HAS SOUS 47802 HAS SOUPS 47446 WITH SCORE 47508.675
AT ITER 46 NEW BEST:: SOT 93436 SOS 62601 HAS SOPS 59080 HAS SOUS 47802 HAS SOUPS 47446 WITH SCORE 47508.601
AT ITER 50 NEW BEST:: SOT 93402 SOS 62729 HAS SOPS 59208 HAS SOUS 47786 HAS SOUPS 47430 WITH SCORE 47492.729
AT ITER 51 NEW BEST:: SOT 93302 SOS 62581 HAS SOPS 59026 HAS SOUS 47648 HAS SOUPS 47292 WITH SCORE 47354.581
AT ITER 52 NEW BEST:: SOT 93302 SOS 62465 HAS SOPS 58941 HAS SOUS 47593 HAS SOUPS 47237 WITH SCORE 47299.465
AT ITER 53 NEW BEST:: SOT 93302 SOS 62405 HAS SOPS 58881 HAS SOUS 47562 HAS SOUPS 47206 WITH SCORE 47268.405
AT ITER 54 NEW BEST:: SOT 93302 SOS 62125 HAS SOPS 58601 HAS SOUS 47454 HAS SOUPS 47098 WITH SCORE 47160.125
AT ITER 55 NEW BEST:: SOT 93004 SOS 62187 HAS SOPS 58632 HAS SOUS 47291 HAS SOUPS 46920 WITH SCORE 46982.187
AT ITER 58 NEW BEST:: SOT 92564 SOS 61758 HAS SOPS 58191 HAS SOUS 46825 HAS SOUPS 46454 WITH SCORE 46515.758
AT ITER 62 NEW BEST:: SOT 92564 SOS 61693 HAS SOPS 58126 HAS SOUS 46799 HAS SOUPS 46428 WITH SCORE 46489.693
AT ITER 64 NEW BEST:: SOT 92412 SOS 61500 HAS SOPS 57913 HAS SOUS 46586 HAS SOUPS 46215 WITH SCORE 46276.5
AT ITER 65 NEW BEST:: SOT 92412 SOS 61480 HAS SOPS 57893 HAS SOUS 46586 HAS SOUPS 46215 WITH SCORE 46276.48
AT ITER 66 NEW BEST:: SOT 92306 SOS 61125 HAS SOPS 57622 HAS SOUS 46585 HAS SOUPS 46214 WITH SCORE 46275.125
AT ITER 67 NEW BEST:: SOT 92306 SOS 61098 HAS SOPS 57622 HAS SOUS 46585 HAS SOUPS 46214 WITH SCORE 46275.098
AT ITER 76 NEW BEST:: SOT 92306 SOS 61090 HAS SOPS 57614 HAS SOUS 46585 HAS SOUPS 46214 WITH SCORE 46275.09
AT ITER 78 NEW BEST:: SOT 92306 SOS 60370 HAS SOPS 57030 HAS SOUS 46438 HAS SOUPS 46067 WITH SCORE 46127.37
AT ITER 80 NEW BEST:: SOT 92306 SOS 60162 HAS SOPS 56822 HAS SOUS 46411 HAS SOUPS 46040 WITH SCORE 46100.162
AT ITER 81 NEW BEST:: SOT 92158 SOS 59824 HAS SOPS 56432 HAS SOUS 46146 HAS SOUPS 45771 WITH SCORE 45830.824
AT ITER 82 NEW BEST:: SOT 92058 SOS 59670 HAS SOPS 56278 HAS SOUS 45986 HAS SOUPS 45611 WITH SCORE 45670.67
AT ITER 83 NEW BEST:: SOT 91782 SOS 59028 HAS SOPS 55171 HAS SOUS 45869 HAS SOUPS 45404 WITH SCORE 45463.028
AT ITER 84 NEW BEST:: SOT 91782 SOS 59028 HAS SOPS 55171 HAS SOUS 45853 HAS SOUPS 45388 WITH SCORE 45447.028
AT ITER 86 NEW BEST:: SOT 91789 SOS 59035 HAS SOPS 55121 HAS SOUS 45841 HAS SOUPS 45376 WITH SCORE 45435.035
AT ITER 88 NEW BEST:: SOT 91603 SOS 58842 HAS SOPS 54912 HAS SOUS 45459 HAS SOUPS 44994 WITH SCORE 45052.842
AT ITER 90 NEW BEST:: SOT 91571 SOS 58858 HAS SOPS 54933 HAS SOUS 45431 HAS SOUPS 44966 WITH SCORE 45024.858
AT ITER 91 NEW BEST:: SOT 91571 SOS 58623 HAS SOPS 54698 HAS SOUS 45431 HAS SOUPS 44966 WITH SCORE 45024.623
AT ITER 94 NEW BEST:: SOT 91528 SOS 58448 HAS SOPS 54523 HAS SOUS 45256 HAS SOUPS 44791 WITH SCORE 44849.448
AT ITER 95 NEW BEST:: SOT 91528 SOS 58130 HAS SOPS 54205 HAS SOUS 45031 HAS SOUPS 44566 WITH SCORE 44624.13
AT ITER 97 NEW BEST:: SOT 91376 SOS 57994 HAS SOPS 54145 HAS SOUS 44925 HAS SOUPS 44460 WITH SCORE 44517.994
AT ITER 100 NEW BEST:: SOT 91366 SOS 57974 HAS SOPS 54125 HAS SOUS 44905 HAS SOUPS 44440 WITH SCORE 44497.974
AT ITER 105 NEW BEST:: SOT 91366 SOS 57869 HAS SOPS 54125 HAS SOUS 44905 HAS SOUPS 44440 WITH SCORE 44497.869
AT ITER 106 NEW BEST:: SOT 91366 SOS 57825 HAS SOPS 54103 HAS SOUS 44905 HAS SOUPS 44440 WITH SCORE 44497.825
AT ITER 109 NEW BEST:: SOT 91366 SOS 57757 HAS SOPS 54035 HAS SOUS 44905 HAS SOUPS 44440 WITH SCORE 44497.757
AT ITER 112 NEW BEST:: SOT 91366 SOS 57491 HAS SOPS 53708 HAS SOUS 44691 HAS SOUPS 44226 WITH SCORE 44283.491
AT ITER 113 NEW BEST:: SOT 91305 SOS 57460 HAS SOPS 53677 HAS SOUS 44672 HAS SOUPS 44207 WITH SCORE 44264.46
AT ITER 115 NEW BEST:: SOT 91299 SOS 57442 HAS SOPS 53659 HAS SOUS 44660 HAS SOUPS 44195 WITH SCORE 44252.442
AT ITER 120 NEW BEST:: SOT 90703 SOS 56708 HAS SOPS 53071 HAS SOUS 44061 HAS SOUPS 43596 WITH SCORE 43652.708
AT ITER 122 NEW BEST:: SOT 90703 SOS 56546 HAS SOPS 52909 HAS SOUS 43902 HAS SOUPS 43437 WITH SCORE 43493.546
AT ITER 123 NEW BEST:: SOT 90703 SOS 56546 HAS SOPS 52909 HAS SOUS 43901 HAS SOUPS 43436 WITH SCORE 43492.546
AT ITER 126 NEW BEST:: SOT 90703 SOS 56656 HAS SOPS 53019 HAS SOUS 43870 HAS SOUPS 43405 WITH SCORE 43461.656
AT ITER 127 NEW BEST:: SOT 90703 SOS 56504 HAS SOPS 52867 HAS SOUS 43804 HAS SOUPS 43339 WITH SCORE 43395.504
AT ITER 131 NEW BEST:: SOT 88367 SOS 57063 HAS SOPS 51513 HAS SOUS 42299 HAS SOUPS 41695 WITH SCORE 41752.063
AT ITER 140 NEW BEST:: SOT 87979 SOS 56582 HAS SOPS 51124 HAS SOUS 41843 HAS SOUPS 41239 WITH SCORE 41295.582
AT ITER 142 NEW BEST:: SOT 87741 SOS 56505 HAS SOPS 50983 HAS SOUS 41612 HAS SOUPS 41008 WITH SCORE 41064.505
AT ITER 143 NEW BEST:: SOT 87721 SOS 56456 HAS SOPS 50943 HAS SOUS 41564 HAS SOUPS 40960 WITH SCORE 41016.456
AT ITER 145 NEW BEST:: SOT 87721 SOS 56425 HAS SOPS 50901 HAS SOUS 41564 HAS SOUPS 40960 WITH SCORE 41016.425
AT ITER 147 NEW BEST:: SOT 87721 SOS 56405 HAS SOPS 50901 HAS SOUS 41563 HAS SOUPS 40959 WITH SCORE 41015.405
AT ITER 152 NEW BEST:: SOT 87644 SOS 56289 HAS SOPS 50686 HAS SOUS 41466 HAS SOUPS 40862 WITH SCORE 40918.289
AT ITER 155 NEW BEST:: SOT 87644 SOS 56306 HAS SOPS 50703 HAS SOUS 41449 HAS SOUPS 40845 WITH SCORE 40901.306
AT ITER 158 NEW BEST:: SOT 87709 SOS 56310 HAS SOPS 50707 HAS SOUS 41388 HAS SOUPS 40784 WITH SCORE 40840.31
AT ITER 159 NEW BEST:: SOT 87709 SOS 56242 HAS SOPS 50639 HAS SOUS 41328 HAS SOUPS 40724 WITH SCORE 40780.242
AT ITER 164 NEW BEST:: SOT 87620 SOS 56064 HAS SOPS 50461 HAS SOUS 41150 HAS SOUPS 40546 WITH SCORE 40602.064
AT ITER 165 NEW BEST:: SOT 84023 SOS 56158 HAS SOPS 47585 HAS SOUS 38575 HAS SOUPS 37792 WITH SCORE 37848.158
AT ITER 166 NEW BEST:: SOT 83818 SOS 55967 HAS SOPS 47422 HAS SOUS 38341 HAS SOUPS 37558 WITH SCORE 37613.967
AT ITER 167 NEW BEST:: SOT 83870 SOS 55934 HAS SOPS 47337 HAS SOUS 38289 HAS SOUPS 37506 WITH SCORE 37561.934
AT ITER 170 NEW BEST:: SOT 83870 SOS 55859 HAS SOPS 47337 HAS SOUS 38289 HAS SOUPS 37506 WITH SCORE 37561.859
AT ITER 172 NEW BEST:: SOT 83870 SOS 55832 HAS SOPS 47337 HAS SOUS 38289 HAS SOUPS 37506 WITH SCORE 37561.832
AT ITER 178 NEW BEST:: SOT 83746 SOS 55681 HAS SOPS 47168 HAS SOUS 38120 HAS SOUPS 37337 WITH SCORE 37392.681
AT ITER 180 NEW BEST:: SOT 83667 SOS 55265 HAS SOPS 46765 HAS SOUS 37937 HAS SOUPS 37154 WITH SCORE 37209.265
AT ITER 181 NEW BEST:: SOT 83616 SOS 55214 HAS SOPS 46714 HAS SOUS 37886 HAS SOUPS 37103 WITH SCORE 37158.214
AT ITER 182 NEW BEST:: SOT 83688 SOS 55286 HAS SOPS 46721 HAS SOUS 37885 HAS SOUPS 37102 WITH SCORE 37157.286
AT ITER 184 NEW BEST:: SOT 83561 SOS 54974 HAS SOPS 46257 HAS SOUS 37728 HAS SOUPS 36945 WITH SCORE 36999.974
AT ITER 186 NEW BEST:: SOT 83561 SOS 55010 HAS SOPS 46199 HAS SOUS 37670 HAS SOUPS 36887 WITH SCORE 36942.01
AT ITER 191 NEW BEST:: SOT 83542 SOS 54898 HAS SOPS 46142 HAS SOUS 37646 HAS SOUPS 36863 WITH SCORE 36917.898
AT ITER 192 NEW BEST:: SOT 80429 SOS 53554 HAS SOPS 43489 HAS SOUS 35267 HAS SOUPS 34363 WITH SCORE 34416.554
AT ITER 193 NEW BEST:: SOT 80156 SOS 53487 HAS SOPS 43616 HAS SOUS 35087 HAS SOUPS 34183 WITH SCORE 34236.487
AT ITER 194 NEW BEST:: SOT 80196 SOS 53425 HAS SOPS 43411 HAS SOUS 35068 HAS SOUPS 34164 WITH SCORE 34217.425
AT ITER 201 NEW BEST:: SOT 80189 SOS 53458 HAS SOPS 43300 HAS SOUS 34942 HAS SOUPS 34038 WITH SCORE 34091.458
AT ITER 202 NEW BEST:: SOT 78255 SOS 52560 HAS SOPS 41960 HAS SOUS 33574 HAS SOUPS 32590 WITH SCORE 32642.56
AT ITER 203 NEW BEST:: SOT 78247 SOS 52552 HAS SOPS 41951 HAS SOUS 33565 HAS SOUPS 32581 WITH SCORE 32633.552
AT ITER 207 NEW BEST:: SOT 78247 SOS 52744 HAS SOPS 42123 HAS SOUS 33561 HAS SOUPS 32577 WITH SCORE 32629.744
AT ITER 211 NEW BEST:: SOT 78347 SOS 52320 HAS SOPS 41523 HAS SOUS 33612 HAS SOUPS 32452 WITH SCORE 32504.32
AT ITER 212 NEW BEST:: SOT 78217 SOS 52187 HAS SOPS 41325 HAS SOUS 33417 HAS SOUPS 32257 WITH SCORE 32309.187
AT ITER 216 NEW BEST:: SOT 78215 SOS 52143 HAS SOPS 41319 HAS SOUS 33413 HAS SOUPS 32253 WITH SCORE 32305.143
AT ITER 217 NEW BEST:: SOT 78126 SOS 52242 HAS SOPS 41459 HAS SOUS 33411 HAS SOUPS 32251 WITH SCORE 32303.242
AT ITER 219 NEW BEST:: SOT 78126 SOS 52215 HAS SOPS 41432 HAS SOUS 33411 HAS SOUPS 32251 WITH SCORE 32303.215
AT ITER 223 NEW BEST:: SOT 78044 SOS 52133 HAS SOPS 41293 HAS SOUS 33322 HAS SOUPS 32162 WITH SCORE 32214.133
AT ITER 227 NEW BEST:: SOT 78044 SOS 52065 HAS SOPS 41365 HAS SOUS 33322 HAS SOUPS 32162 WITH SCORE 32214.065
AT ITER 229 NEW BEST:: SOT 77728 SOS 51746 HAS SOPS 41354 HAS SOUS 33297 HAS SOUPS 32137 WITH SCORE 32188.746
AT ITER 232 NEW BEST:: SOT 77728 SOS 51737 HAS SOPS 41345 HAS SOUS 33297 HAS SOUPS 32137 WITH SCORE 32188.737
AT ITER 234 NEW BEST:: SOT 77668 SOS 51673 HAS SOPS 41297 HAS SOUS 33102 HAS SOUPS 31942 WITH SCORE 31993.673
AT ITER 240 NEW BEST:: SOT 77174 SOS 53036 HAS SOPS 41284 HAS SOUS 33034 HAS SOUPS 31819 WITH SCORE 31872.036
AT ITER 244 NEW BEST:: SOT 77130 SOS 52958 HAS SOPS 41218 HAS SOUS 32968 HAS SOUPS 31753 WITH SCORE 31805.958
AT ITER 245 NEW BEST:: SOT 76994 SOS 53209 HAS SOPS 41395 HAS SOUS 32921 HAS SOUPS 31706 WITH SCORE 31759.209
AT ITER 247 NEW BEST:: SOT 76936 SOS 52947 HAS SOPS 41121 HAS SOUS 32863 HAS SOUPS 31636 WITH SCORE 31688.947
AT ITER 248 NEW BEST:: SOT 76908 SOS 52891 HAS SOPS 41074 HAS SOUS 32807 HAS SOUPS 31580 WITH SCORE 31632.891
AT ITER 250 NEW BEST:: SOT 76893 SOS 52876 HAS SOPS 41059 HAS SOUS 32800 HAS SOUPS 31573 WITH SCORE 31625.876
AT ITER 251 NEW BEST:: SOT 76453 SOS 52436 HAS SOPS 40807 HAS SOUS 32431 HAS SOUPS 31204 WITH SCORE 31256.436
AT ITER 257 NEW BEST:: SOT 76453 SOS 52409 HAS SOPS 40807 HAS SOUS 32431 HAS SOUPS 31204 WITH SCORE 31256.409
AT ITER 259 NEW BEST:: SOT 76453 SOS 52384 HAS SOPS 40782 HAS SOUS 32428 HAS SOUPS 31201 WITH SCORE 31253.384
AT ITER 262 NEW BEST:: SOT 76437 SOS 52360 HAS SOPS 40758 HAS SOUS 32404 HAS SOUPS 31177 WITH SCORE 31229.36
AT ITER 266 NEW BEST:: SOT 76515 SOS 52631 HAS SOPS 41057 HAS SOUS 32333 HAS SOUPS 31126 WITH SCORE 31178.631
AT ITER 274 NEW BEST:: SOT 75762 SOS 51836 HAS SOPS 40257 HAS SOUS 31580 HAS SOUPS 30373 WITH SCORE 30424.836
AT ITER 276 NEW BEST:: SOT 75612 SOS 51686 HAS SOPS 40107 HAS SOUS 31430 HAS SOUPS 30223 WITH SCORE 30274.686
AT ITER 279 NEW BEST:: SOT 75578 SOS 51590 HAS SOPS 40000 HAS SOUS 31397 HAS SOUPS 30190 WITH SCORE 30241.59
AT ITER 282 NEW BEST:: SOT 75518 SOS 51501 HAS SOPS 39880 HAS SOUS 31305 HAS SOUPS 30098 WITH SCORE 30149.501
AT ITER 283 NEW BEST:: SOT 75505 SOS 51410 HAS SOPS 39789 HAS SOUS 31292 HAS SOUPS 30085 WITH SCORE 30136.41
AT ITER 287 NEW BEST:: SOT 74395 SOS 51045 HAS SOPS 38837 HAS SOUS 30470 HAS SOUPS 29218 WITH SCORE 29269.045
AT ITER 289 NEW BEST:: SOT 74191 SOS 50766 HAS SOPS 38551 HAS SOUS 30317 HAS SOUPS 29065 WITH SCORE 29115.766
AT ITER 293 NEW BEST:: SOT 74176 SOS 50736 HAS SOPS 38506 HAS SOUS 30286 HAS SOUPS 29034 WITH SCORE 29084.736
AT ITER 294 NEW BEST:: SOT 74178 SOS 50738 HAS SOPS 38438 HAS SOUS 30253 HAS SOUPS 29001 WITH SCORE 29051.738
AT ITER 297 NEW BEST:: SOT 73846 SOS 50406 HAS SOPS 38445 HAS SOUS 30243 HAS SOUPS 28991 WITH SCORE 29041.406
AT ITER 304 NEW BEST:: SOT 73829 SOS 50412 HAS SOPS 38435 HAS SOUS 30210 HAS SOUPS 28958 WITH SCORE 29008.412
AT ITER 308 NEW BEST:: SOT 73634 SOS 50261 HAS SOPS 38284 HAS SOUS 30118 HAS SOUPS 28866 WITH SCORE 28916.261
AT ITER 314 NEW BEST:: SOT 73546 SOS 50226 HAS SOPS 38312 HAS SOUS 30083 HAS SOUPS 28831 WITH SCORE 28881.226
AT ITER 316 NEW BEST:: SOT 73297 SOS 50165 HAS SOPS 38163 HAS SOUS 29929 HAS SOUPS 28665 WITH SCORE 28715.165
AT ITER 319 NEW BEST:: SOT 73297 SOS 50165 HAS SOPS 38205 HAS SOUS 29880 HAS SOUPS 28616 WITH SCORE 28666.165
AT ITER 321 NEW BEST:: SOT 72663 SOS 49531 HAS SOPS 37691 HAS SOUS 29443 HAS SOUPS 28179 WITH SCORE 28228.531
AT ITER 323 NEW BEST:: SOT 72232 SOS 49222 HAS SOPS 37326 HAS SOUS 29106 HAS SOUPS 27828 WITH SCORE 27877.222
AT ITER 340 NEW BEST:: SOT 72232 SOS 49088 HAS SOPS 37206 HAS SOUS 29106 HAS SOUPS 27828 WITH SCORE 27877.088
AT ITER 348 NEW BEST:: SOT 72319 SOS 48987 HAS SOPS 36902 HAS SOUS 29164 HAS SOUPS 27683 WITH SCORE 27731.987
AT ITER 354 NEW BEST:: SOT 72309 SOS 48975 HAS SOPS 36890 HAS SOUS 29152 HAS SOUPS 27671 WITH SCORE 27719.975
AT ITER 356 NEW BEST:: SOT 72292 SOS 48992 HAS SOPS 36855 HAS SOUS 29172 HAS SOUPS 27648 WITH SCORE 27696.992
AT ITER 357 NEW BEST:: SOT 72292 SOS 48972 HAS SOPS 36835 HAS SOUS 29172 HAS SOUPS 27648 WITH SCORE 27696.972
AT ITER 365 NEW BEST:: SOT 72292 SOS 48954 HAS SOPS 36817 HAS SOUS 29172 HAS SOUPS 27648 WITH SCORE 27696.954
AT ITER 366 NEW BEST:: SOT 72372 SOS 48965 HAS SOPS 36862 HAS SOUS 29165 HAS SOUPS 27641 WITH SCORE 27689.965
AT ITER 371 NEW BEST:: SOT 72252 SOS 48845 HAS SOPS 36622 HAS SOUS 28918 HAS SOUPS 27394 WITH SCORE 27442.845
AT ITER 372 NEW BEST:: SOT 72256 SOS 48799 HAS SOPS 36578 HAS SOUS 28893 HAS SOUPS 27369 WITH SCORE 27417.799
AT ITER 377 NEW BEST:: SOT 71634 SOS 48119 HAS SOPS 35782 HAS SOUS 28174 HAS SOUPS 26650 WITH SCORE 26698.119
AT ITER 382 NEW BEST:: SOT 71346 SOS 47831 HAS SOPS 35542 HAS SOUS 27915 HAS SOUPS 26391 WITH SCORE 26438.831
AT ITER 384 NEW BEST:: SOT 71346 SOS 47811 HAS SOPS 35673 HAS SOUS 27915 HAS SOUPS 26391 WITH SCORE 26438.811
AT ITER 387 NEW BEST:: SOT 71110 SOS 47536 HAS SOPS 35319 HAS SOUS 27580 HAS SOUPS 26056 WITH SCORE 26103.536
AT ITER 390 NEW BEST:: SOT 71110 SOS 47536 HAS SOPS 35319 HAS SOUS 27552 HAS SOUPS 26028 WITH SCORE 26075.536
AT ITER 392 NEW BEST:: SOT 70971 SOS 47837 HAS SOPS 35244 HAS SOUS 27525 HAS SOUPS 25985 WITH SCORE 26032.837
AT ITER 396 NEW BEST:: SOT 70971 SOS 47815 HAS SOPS 35222 HAS SOUS 27525 HAS SOUPS 25985 WITH SCORE 26032.815
AT ITER 397 NEW BEST:: SOT 70933 SOS 47788 HAS SOPS 35220 HAS SOUS 27484 HAS SOUPS 25944 WITH SCORE 25991.788
AT ITER 398 NEW BEST:: SOT 70933 SOS 47763 HAS SOPS 35170 HAS SOUS 27484 HAS SOUPS 25944 WITH SCORE 25991.763
AT ITER 400 NEW BEST:: SOT 70845 SOS 47631 HAS SOPS 35038 HAS SOUS 27322 HAS SOUPS 25782 WITH SCORE 25829.631
AT ITER 404 NEW BEST:: SOT 70835 SOS 47544 HAS SOPS 34876 HAS SOUS 27301 HAS SOUPS 25761 WITH SCORE 25808.544
AT ITER 406 NEW BEST:: SOT 70871 SOS 46962 HAS SOPS 34330 HAS SOUS 27213 HAS SOUPS 25673 WITH SCORE 25719.962
AT ITER 408 NEW BEST:: SOT 70827 SOS 46918 HAS SOPS 34275 HAS SOUS 27169 HAS SOUPS 25629 WITH SCORE 25675.918
AT ITER 415 NEW BEST:: SOT 70693 SOS 46784 HAS SOPS 34141 HAS SOUS 26943 HAS SOUPS 25403 WITH SCORE 25449.784
AT ITER 416 NEW BEST:: SOT 70693 SOS 46780 HAS SOPS 34137 HAS SOUS 26943 HAS SOUPS 25403 WITH SCORE 25449.78
AT ITER 417 NEW BEST:: SOT 70663 SOS 46750 HAS SOPS 34092 HAS SOUS 26913 HAS SOUPS 25373 WITH SCORE 25419.75
AT ITER 422 NEW BEST:: SOT 70661 SOS 46805 HAS SOPS 34166 HAS SOUS 26911 HAS SOUPS 25371 WITH SCORE 25417.805
AT ITER 424 NEW BEST:: SOT 70631 SOS 46775 HAS SOPS 34121 HAS SOUS 26880 HAS SOUPS 25340 WITH SCORE 25386.775
AT ITER 425 NEW BEST:: SOT 70595 SOS 46739 HAS SOPS 34078 HAS SOUS 26841 HAS SOUPS 25301 WITH SCORE 25347.739
AT ITER 433 NEW BEST:: SOT 70553 SOS 46800 HAS SOPS 34021 HAS SOUS 26743 HAS SOUPS 25203 WITH SCORE 25249.8
AT ITER 437 NEW BEST:: SOT 70519 SOS 46766 HAS SOPS 33970 HAS SOUS 26678 HAS SOUPS 25138 WITH SCORE 25184.766
AT ITER 449 NEW BEST:: SOT 70471 SOS 46685 HAS SOPS 33865 HAS SOUS 26605 HAS SOUPS 25065 WITH SCORE 25111.685
AT ITER 451 NEW BEST:: SOT 70471 SOS 46664 HAS SOPS 33854 HAS SOUS 26605 HAS SOUPS 25065 WITH SCORE 25111.664
AT ITER 455 NEW BEST:: SOT 70471 SOS 46648 HAS SOPS 33822 HAS SOUS 26597 HAS SOUPS 25057 WITH SCORE 25103.648
AT ITER 461 NEW BEST:: SOT 70467 SOS 46443 HAS SOPS 33726 HAS SOUS 26492 HAS SOUPS 24993 WITH SCORE 25039.443
AT ITER 463 NEW BEST:: SOT 70458 SOS 46380 HAS SOPS 33654 HAS SOUS 26492 HAS SOUPS 24984 WITH SCORE 25030.38
AT ITER 467 NEW BEST:: SOT 70458 SOS 46370 HAS SOPS 33660 HAS SOUS 26492 HAS SOUPS 24984 WITH SCORE 25030.37
AT ITER 468 NEW BEST:: SOT 70403 SOS 46339 HAS SOPS 33629 HAS SOUS 26457 HAS SOUPS 24949 WITH SCORE 24995.339
AT ITER 470 NEW BEST:: SOT 70325 SOS 46834 HAS SOPS 33789 HAS SOUS 26460 HAS SOUPS 24940 WITH SCORE 24986.834
AT ITER 481 NEW BEST:: SOT 70417 SOS 46732 HAS SOPS 33545 HAS SOUS 26528 HAS SOUPS 24840 WITH SCORE 24886.732
AT ITER 482 NEW BEST:: SOT 70409 SOS 46716 HAS SOPS 33451 HAS SOUS 26504 HAS SOUPS 24816 WITH SCORE 24862.716
AT ITER 483 NEW BEST:: SOT 70595 SOS 46826 HAS SOPS 33249 HAS SOUS 26399 HAS SOUPS 24711 WITH SCORE 24757.826
AT ITER 486 NEW BEST:: SOT 70580 SOS 46819 HAS SOPS 33242 HAS SOUS 26369 HAS SOUPS 24681 WITH SCORE 24727.819
AT ITER 488 NEW BEST:: SOT 70578 SOS 46749 HAS SOPS 33302 HAS SOUS 26335 HAS SOUPS 24647 WITH SCORE 24693.749
AT ITER 489 NEW BEST:: SOT 70354 SOS 46537 HAS SOPS 33294 HAS SOUS 26270 HAS SOUPS 24582 WITH SCORE 24628.537
AT ITER 496 NEW BEST:: SOT 69946 SOS 47330 HAS SOPS 33103 HAS SOUS 26144 HAS SOUPS 24418 WITH SCORE 24465.33
AT ITER 498 NEW BEST:: SOT 67577 SOS 49217 HAS SOPS 32154 HAS SOUS 25069 HAS SOUPS 23171 WITH SCORE 23220.217
AT ITER 502 NEW BEST:: SOT 67044 SOS 51815 HAS SOPS 32756 HAS SOUS 25117 HAS SOUPS 23149 WITH SCORE 23200.815
AT ITER 507 NEW BEST:: SOT 67033 SOS 51804 HAS SOPS 32734 HAS SOUS 25084 HAS SOUPS 23116 WITH SCORE 23167.804
AT ITER 511 NEW BEST:: SOT 67163 SOS 51808 HAS SOPS 32388 HAS SOUS 24839 HAS SOUPS 22871 WITH SCORE 22922.808
AT ITER 512 NEW BEST:: SOT 67141 SOS 51786 HAS SOPS 32355 HAS SOUS 24806 HAS SOUPS 22838 WITH SCORE 22889.786
AT ITER 525 NEW BEST:: SOT 66964 SOS 51609 HAS SOPS 32178 HAS SOUS 24646 HAS SOUPS 22678 WITH SCORE 22729.609
AT ITER 530 NEW BEST:: SOT 66718 SOS 52048 HAS SOPS 32336 HAS SOUS 24520 HAS SOUPS 22532 WITH SCORE 22584.048
AT ITER 531 NEW BEST:: SOT 66740 SOS 52017 HAS SOPS 32324 HAS SOUS 24520 HAS SOUPS 22532 WITH SCORE 22584.017
AT ITER 544 NEW BEST:: SOT 66740 SOS 52017 HAS SOPS 32308 HAS SOUS 24514 HAS SOUPS 22526 WITH SCORE 22578.017
AT ITER 550 NEW BEST:: SOT 66574 SOS 51851 HAS SOPS 32164 HAS SOUS 24357 HAS SOUPS 22369 WITH SCORE 22420.851
AT ITER 558 NEW BEST:: SOT 66461 SOS 51739 HAS SOPS 31987 HAS SOUS 24163 HAS SOUPS 22175 WITH SCORE 22226.739
AT ITER 562 NEW BEST:: SOT 66461 SOS 51739 HAS SOPS 31987 HAS SOUS 24157 HAS SOUPS 22169 WITH SCORE 22220.739
AT ITER 563 NEW BEST:: SOT 66349 SOS 51627 HAS SOPS 31819 HAS SOUS 23956 HAS SOUPS 21968 WITH SCORE 22019.627
AT ITER 568 NEW BEST:: SOT 66349 SOS 51627 HAS SOPS 31819 HAS SOUS 23949 HAS SOUPS 21961 WITH SCORE 22012.627
AT ITER 569 NEW BEST:: SOT 66349 SOS 51438 HAS SOPS 31657 HAS SOUS 23938 HAS SOUPS 21950 WITH SCORE 22001.438
AT ITER 577 NEW BEST:: SOT 66267 SOS 51356 HAS SOPS 31544 HAS SOUS 23929 HAS SOUPS 21941 WITH SCORE 21992.356
AT ITER 585 NEW BEST:: SOT 66255 SOS 51344 HAS SOPS 31528 HAS SOUS 23925 HAS SOUPS 21937 WITH SCORE 21988.344
AT ITER 592 NEW BEST:: SOT 66139 SOS 51228 HAS SOPS 31354 HAS SOUS 23794 HAS SOUPS 21806 WITH SCORE 21857.228
AT ITER 596 NEW BEST:: SOT 66075 SOS 51164 HAS SOPS 31258 HAS SOUS 23698 HAS SOUPS 21710 WITH SCORE 21761.164
AT ITER 602 NEW BEST:: SOT 66016 SOS 51105 HAS SOPS 31199 HAS SOUS 23611 HAS SOUPS 21623 WITH SCORE 21674.105
AT ITER 609 NEW BEST:: SOT 65968 SOS 51235 HAS SOPS 31121 HAS SOUS 23638 HAS SOUPS 21594 WITH SCORE 21645.235
AT ITER 611 NEW BEST:: SOT 65820 SOS 51087 HAS SOPS 30899 HAS SOUS 23357 HAS SOUPS 21313 WITH SCORE 21364.087
AT ITER 619 NEW BEST:: SOT 65795 SOS 51071 HAS SOPS 30885 HAS SOUS 23333 HAS SOUPS 21297 WITH SCORE 21348.071
AT ITER 621 NEW BEST:: SOT 65683 SOS 50959 HAS SOPS 30717 HAS SOUS 23165 HAS SOUPS 21129 WITH SCORE 21179.959
AT ITER 639 NEW BEST:: SOT 65593 SOS 50869 HAS SOPS 30657 HAS SOUS 23090 HAS SOUPS 21054 WITH SCORE 21104.869
AT ITER 641 NEW BEST:: SOT 65503 SOS 50779 HAS SOPS 30567 HAS SOUS 22987 HAS SOUPS 20951 WITH SCORE 21001.779
AT ITER 642 NEW BEST:: SOT 65503 SOS 50779 HAS SOPS 30430 HAS SOUS 22940 HAS SOUPS 20904 WITH SCORE 20954.779
AT ITER 645 NEW BEST:: SOT 65475 SOS 50770 HAS SOPS 30389 HAS SOUS 22896 HAS SOUPS 20860 WITH SCORE 20910.77
AT ITER 646 NEW BEST:: SOT 65453 SOS 50707 HAS SOPS 30298 HAS SOUS 22863 HAS SOUPS 20827 WITH SCORE 20877.707
AT ITER 650 NEW BEST:: SOT 65420 SOS 50674 HAS SOPS 30272 HAS SOUS 22830 HAS SOUPS 20801 WITH SCORE 20851.674
AT ITER 652 NEW BEST:: SOT 65420 SOS 50674 HAS SOPS 30272 HAS SOUS 22798 HAS SOUPS 20769 WITH SCORE 20819.674
AT ITER 658 NEW BEST:: SOT 65394 SOS 50698 HAS SOPS 30337 HAS SOUS 22776 HAS SOUPS 20747 WITH SCORE 20797.698
AT ITER 666 NEW BEST:: SOT 65366 SOS 50670 HAS SOPS 30301 HAS SOUS 22734 HAS SOUPS 20705 WITH SCORE 20755.67
AT ITER 681 NEW BEST:: SOT 65366 SOS 50670 HAS SOPS 30301 HAS SOUS 22679 HAS SOUPS 20650 WITH SCORE 20700.67
AT ITER 684 NEW BEST:: SOT 64940 SOS 50244 HAS SOPS 30188 HAS SOUS 22451 HAS SOUPS 20422 WITH SCORE 20472.244
AT ITER 687 NEW BEST:: SOT 64871 SOS 50583 HAS SOPS 30248 HAS SOUS 22445 HAS SOUPS 20407 WITH SCORE 20457.583
AT ITER 690 NEW BEST:: SOT 64850 SOS 50562 HAS SOPS 30239 HAS SOUS 22420 HAS SOUPS 20382 WITH SCORE 20432.562
AT ITER 695 NEW BEST:: SOT 64848 SOS 50560 HAS SOPS 30235 HAS SOUS 22415 HAS SOUPS 20377 WITH SCORE 20427.56
AT ITER 706 NEW BEST:: SOT 64662 SOS 50374 HAS SOPS 29999 HAS SOUS 22271 HAS SOUPS 20233 WITH SCORE 20283.374
AT ITER 717 NEW BEST:: SOT 64656 SOS 50368 HAS SOPS 29990 HAS SOUS 22259 HAS SOUPS 20221 WITH SCORE 20271.368
AT ITER 719 NEW BEST:: SOT 64580 SOS 50292 HAS SOPS 29934 HAS SOUS 22193 HAS SOUPS 20155 WITH SCORE 20205.292
AT ITER 720 NEW BEST:: SOT 64544 SOS 50256 HAS SOPS 29889 HAS SOUS 22148 HAS SOUPS 20110 WITH SCORE 20160.256
AT ITER 721 NEW BEST:: SOT 64524 SOS 50236 HAS SOPS 29867 HAS SOUS 22144 HAS SOUPS 20106 WITH SCORE 20156.236
AT ITER 724 NEW BEST:: SOT 64509 SOS 50189 HAS SOPS 29837 HAS SOUS 22114 HAS SOUPS 20076 WITH SCORE 20126.189
AT ITER 725 NEW BEST:: SOT 64495 SOS 50175 HAS SOPS 29816 HAS SOUS 22100 HAS SOUPS 20062 WITH SCORE 20112.175
AT ITER 729 NEW BEST:: SOT 64495 SOS 50148 HAS SOPS 29807 HAS SOUS 22091 HAS SOUPS 20062 WITH SCORE 20112.148
AT ITER 736 NEW BEST:: SOT 64463 SOS 50116 HAS SOPS 29759 HAS SOUS 22030 HAS SOUPS 20001 WITH SCORE 20051.116
AT ITER 743 NEW BEST:: SOT 64425 SOS 50078 HAS SOPS 29683 HAS SOUS 21973 HAS SOUPS 19944 WITH SCORE 19994.078
AT ITER 753 NEW BEST:: SOT 64241 SOS 49894 HAS SOPS 29698 HAS SOUS 21932 HAS SOUPS 19903 WITH SCORE 19952.894
AT ITER 755 NEW BEST:: SOT 64233 SOS 49886 HAS SOPS 29698 HAS SOUS 21928 HAS SOUPS 19899 WITH SCORE 19948.886
AT ITER 758 NEW BEST:: SOT 64137 SOS 49790 HAS SOPS 29596 HAS SOUS 21699 HAS SOUPS 19670 WITH SCORE 19719.79
AT ITER 764 NEW BEST:: SOT 64074 SOS 49897 HAS SOPS 29628 HAS SOUS 21666 HAS SOUPS 19632 WITH SCORE 19681.897
AT ITER 770 NEW BEST:: SOT 63814 SOS 49637 HAS SOPS 29563 HAS SOUS 21560 HAS SOUPS 19526 WITH SCORE 19575.637
AT ITER 779 NEW BEST:: SOT 63822 SOS 49600 HAS SOPS 29575 HAS SOUS 21534 HAS SOUPS 19500 WITH SCORE 19549.6
AT ITER 794 NEW BEST:: SOT 63810 SOS 50035 HAS SOPS 29991 HAS SOUS 21533 HAS SOUPS 19499 WITH SCORE 19549.035
AT ITER 798 NEW BEST:: SOT 63810 SOS 50035 HAS SOPS 29900 HAS SOUS 21521 HAS SOUPS 19487 WITH SCORE 19537.035
AT ITER 801 NEW BEST:: SOT 63810 SOS 50028 HAS SOPS 29899 HAS SOUS 21521 HAS SOUPS 19487 WITH SCORE 19537.028
AT ITER 806 NEW BEST:: SOT 63782 SOS 50000 HAS SOPS 29821 HAS SOUS 21443 HAS SOUPS 19409 WITH SCORE 19459.0
AT ITER 808 NEW BEST:: SOT 63644 SOS 49825 HAS SOPS 29631 HAS SOUS 21363 HAS SOUPS 19329 WITH SCORE 19378.825
AT ITER 836 NEW BEST:: SOT 63644 SOS 49811 HAS SOPS 29633 HAS SOUS 21363 HAS SOUPS 19329 WITH SCORE 19378.811
AT ITER 844 NEW BEST:: SOT 63538 SOS 49705 HAS SOPS 29474 HAS SOUS 21214 HAS SOUPS 19180 WITH SCORE 19229.705
AT ITER 848 NEW BEST:: SOT 63458 SOS 49625 HAS SOPS 29446 HAS SOUS 21158 HAS SOUPS 19124 WITH SCORE 19173.625
AT ITER 851 NEW BEST:: SOT 63458 SOS 49625 HAS SOPS 29446 HAS SOUS 21114 HAS SOUPS 19080 WITH SCORE 19129.625
AT ITER 858 NEW BEST:: SOT 63369 SOS 49518 HAS SOPS 29287 HAS SOUS 20943 HAS SOUPS 18909 WITH SCORE 18958.518
AT ITER 863 NEW BEST:: SOT 63215 SOS 49433 HAS SOPS 29108 HAS SOUS 20971 HAS SOUPS 18868 WITH SCORE 18917.433
AT ITER 870 NEW BEST:: SOT 63185 SOS 49403 HAS SOPS 29068 HAS SOUS 20931 HAS SOUPS 18828 WITH SCORE 18877.403
AT ITER 875 NEW BEST:: SOT 63158 SOS 49376 HAS SOPS 29014 HAS SOUS 20877 HAS SOUPS 18774 WITH SCORE 18823.376
AT ITER 888 NEW BEST:: SOT 63164 SOS 49382 HAS SOPS 29023 HAS SOUS 20856 HAS SOUPS 18753 WITH SCORE 18802.382
AT ITER 892 NEW BEST:: SOT 63138 SOS 49356 HAS SOPS 28984 HAS SOUS 20804 HAS SOUPS 18701 WITH SCORE 18750.356
AT ITER 905 NEW BEST:: SOT 63120 SOS 49338 HAS SOPS 28968 HAS SOUS 20766 HAS SOUPS 18663 WITH SCORE 18712.338
AT ITER 917 NEW BEST:: SOT 63068 SOS 49286 HAS SOPS 28890 HAS SOUS 20688 HAS SOUPS 18585 WITH SCORE 18634.286
AT ITER 919 NEW BEST:: SOT 63051 SOS 49269 HAS SOPS 28869 HAS SOUS 20676 HAS SOUPS 18573 WITH SCORE 18622.269
AT ITER 920 NEW BEST:: SOT 62946 SOS 49220 HAS SOPS 28922 HAS SOUS 20651 HAS SOUPS 18548 WITH SCORE 18597.22
AT ITER 926 NEW BEST:: SOT 62884 SOS 49158 HAS SOPS 28829 HAS SOUS 20558 HAS SOUPS 18455 WITH SCORE 18504.158
AT ITER 928 NEW BEST:: SOT 62624 SOS 48898 HAS SOPS 28465 HAS SOUS 20270 HAS SOUPS 18167 WITH SCORE 18215.898
AT ITER 942 NEW BEST:: SOT 62414 SOS 48688 HAS SOPS 28252 HAS SOUS 20023 HAS SOUPS 17920 WITH SCORE 17968.688
AT ITER 943 NEW BEST:: SOT 62412 SOS 48686 HAS SOPS 28249 HAS SOUS 20020 HAS SOUPS 17917 WITH SCORE 17965.686
AT ITER 945 NEW BEST:: SOT 62404 SOS 48678 HAS SOPS 28237 HAS SOUS 19996 HAS SOUPS 17893 WITH SCORE 17941.678
AT ITER 950 NEW BEST:: SOT 62346 SOS 48620 HAS SOPS 28150 HAS SOUS 19935 HAS SOUPS 17832 WITH SCORE 17880.62
AT ITER 964 NEW BEST:: SOT 62318 SOS 48592 HAS SOPS 28094 HAS SOUS 19904 HAS SOUPS 17801 WITH SCORE 17849.592
AT ITER 980 NEW BEST:: SOT 62314 SOS 48588 HAS SOPS 28090 HAS SOUS 19900 HAS SOUPS 17797 WITH SCORE 17845.588
AT ITER 983 NEW BEST:: SOT 62214 SOS 48614 HAS SOPS 28069 HAS SOUS 19851 HAS SOUPS 17748 WITH SCORE 17796.614
AT ITER 984 NEW BEST:: SOT 62196 SOS 48578 HAS SOPS 28015 HAS SOUS 19833 HAS SOUPS 17730 WITH SCORE 17778.578
AT ITER 994 NEW BEST:: SOT 62191 SOS 48554 HAS SOPS 27986 HAS SOUS 19802 HAS SOUPS 17699 WITH SCORE 17747.554
AT ITER 996 NEW BEST:: SOT 62183 SOS 48546 HAS SOPS 27978 HAS SOUS 19794 HAS SOUPS 17691 WITH SCORE 17739.546
AT ITER 998 NEW BEST:: SOT 62183 SOS 48546 HAS SOPS 27978 HAS SOUS 19759 HAS SOUPS 17656 WITH SCORE 17704.546
AT ITER 1001 NEW BEST:: SOT 61662 SOS 50286 HAS SOPS 28501 HAS SOUS 19604 HAS SOUPS 17441 WITH SCORE 17491.286
AT ITER 1006 NEW BEST:: SOT 61710 SOS 50334 HAS SOPS 28573 HAS SOUS 19586 HAS SOUPS 17423 WITH SCORE 17473.334
AT ITER 1011 NEW BEST:: SOT 61690 SOS 50394 HAS SOPS 28579 HAS SOUS 19576 HAS SOUPS 17411 WITH SCORE 17461.394
AT ITER 1017 NEW BEST:: SOT 61682 SOS 50386 HAS SOPS 28569 HAS SOUS 19564 HAS SOUPS 17399 WITH SCORE 17449.386
AT ITER 1028 NEW BEST:: SOT 61675 SOS 50327 HAS SOPS 28499 HAS SOUS 19544 HAS SOUPS 17368 WITH SCORE 17418.327
AT ITER 1031 NEW BEST:: SOT 61607 SOS 50259 HAS SOPS 28397 HAS SOUS 19436 HAS SOUPS 17260 WITH SCORE 17310.259
AT ITER 1043 NEW BEST:: SOT 61608 SOS 49995 HAS SOPS 28170 HAS SOUS 19402 HAS SOUPS 17226 WITH SCORE 17275.995
AT ITER 1045 NEW BEST:: SOT 61596 SOS 49983 HAS SOPS 28158 HAS SOUS 19390 HAS SOUPS 17214 WITH SCORE 17263.983
AT ITER 1049 NEW BEST:: SOT 61520 SOS 49907 HAS SOPS 28006 HAS SOUS 19238 HAS SOUPS 17062 WITH SCORE 17111.907
AT ITER 1053 NEW BEST:: SOT 61520 SOS 49907 HAS SOPS 28006 HAS SOUS 19229 HAS SOUPS 17053 WITH SCORE 17102.907
AT ITER 1065 NEW BEST:: SOT 61510 SOS 49897 HAS SOPS 27926 HAS SOUS 19214 HAS SOUPS 17038 WITH SCORE 17087.897
AT ITER 1071 NEW BEST:: SOT 61510 SOS 49893 HAS SOPS 27909 HAS SOUS 19214 HAS SOUPS 17038 WITH SCORE 17087.893
AT ITER 1081 NEW BEST:: SOT 61422 SOS 49805 HAS SOPS 27846 HAS SOUS 19137 HAS SOUPS 16961 WITH SCORE 17010.805
AT ITER 1082 NEW BEST:: SOT 61400 SOS 49783 HAS SOPS 27813 HAS SOUS 19117 HAS SOUPS 16941 WITH SCORE 16990.783
AT ITER 1093 NEW BEST:: SOT 61338 SOS 49804 HAS SOPS 27773 HAS SOUS 19105 HAS SOUPS 16881 WITH SCORE 16930.804
AT ITER 1098 NEW BEST:: SOT 61216 SOS 49676 HAS SOPS 27584 HAS SOUS 18821 HAS SOUPS 16597 WITH SCORE 16646.676
AT ITER 1099 NEW BEST:: SOT 61266 SOS 49726 HAS SOPS 27471 HAS SOUS 18750 HAS SOUPS 16526 WITH SCORE 16575.726
AT ITER 1100 NEW BEST:: SOT 61204 SOS 49664 HAS SOPS 27455 HAS SOUS 18711 HAS SOUPS 16487 WITH SCORE 16536.664
AT ITER 1113 NEW BEST:: SOT 61204 SOS 49664 HAS SOPS 27455 HAS SOUS 18663 HAS SOUPS 16439 WITH SCORE 16488.664
AT ITER 1119 NEW BEST:: SOT 61194 SOS 49636 HAS SOPS 27427 HAS SOUS 18649 HAS SOUPS 16425 WITH SCORE 16474.636
AT ITER 1130 NEW BEST:: SOT 61192 SOS 49643 HAS SOPS 27450 HAS SOUS 18606 HAS SOUPS 16382 WITH SCORE 16431.643
AT ITER 1138 NEW BEST:: SOT 61192 SOS 49640 HAS SOPS 27447 HAS SOUS 18606 HAS SOUPS 16382 WITH SCORE 16431.64
AT ITER 1147 NEW BEST:: SOT 61186 SOS 49634 HAS SOPS 27394 HAS SOUS 18592 HAS SOUPS 16368 WITH SCORE 16417.634
AT ITER 1149 NEW BEST:: SOT 60915 SOS 49720 HAS SOPS 27368 HAS SOUS 18383 HAS SOUPS 16159 WITH SCORE 16208.72
AT ITER 1165 NEW BEST:: SOT 60885 SOS 49696 HAS SOPS 27327 HAS SOUS 18338 HAS SOUPS 16114 WITH SCORE 16163.696
AT ITER 1178 NEW BEST:: SOT 60897 SOS 49708 HAS SOPS 27343 HAS SOUS 18322 HAS SOUPS 16098 WITH SCORE 16147.708
AT ITER 1180 NEW BEST:: SOT 60897 SOS 49708 HAS SOPS 27343 HAS SOUS 18306 HAS SOUPS 16082 WITH SCORE 16131.708
AT ITER 1181 NEW BEST:: SOT 60869 SOS 49680 HAS SOPS 27301 HAS SOUS 18264 HAS SOUPS 16040 WITH SCORE 16089.68
AT ITER 1187 NEW BEST:: SOT 60721 SOS 49496 HAS SOPS 27058 HAS SOUS 18031 HAS SOUPS 15807 WITH SCORE 15856.496
AT ITER 1192 NEW BEST:: SOT 60657 SOS 49432 HAS SOPS 26962 HAS SOUS 17967 HAS SOUPS 15743 WITH SCORE 15792.432
AT ITER 1197 NEW BEST:: SOT 60648 SOS 49483 HAS SOPS 26944 HAS SOUS 17989 HAS SOUPS 15733 WITH SCORE 15782.483
AT ITER 1202 NEW BEST:: SOT 60616 SOS 49451 HAS SOPS 26896 HAS SOUS 17925 HAS SOUPS 15669 WITH SCORE 15718.451
AT ITER 1218 NEW BEST:: SOT 60608 SOS 49443 HAS SOPS 26888 HAS SOUS 17917 HAS SOUPS 15661 WITH SCORE 15710.443
AT ITER 1222 NEW BEST:: SOT 60608 SOS 49443 HAS SOPS 26888 HAS SOUS 17901 HAS SOUPS 15645 WITH SCORE 15694.443
AT ITER 1229 NEW BEST:: SOT 60599 SOS 49434 HAS SOPS 26879 HAS SOUS 17892 HAS SOUPS 15636 WITH SCORE 15685.434
AT ITER 1233 NEW BEST:: SOT 60547 SOS 49382 HAS SOPS 26801 HAS SOUS 17814 HAS SOUPS 15558 WITH SCORE 15607.382
AT ITER 1247 NEW BEST:: SOT 60547 SOS 49382 HAS SOPS 26801 HAS SOUS 17759 HAS SOUPS 15503 WITH SCORE 15552.382
AT ITER 1253 NEW BEST:: SOT 60538 SOS 49375 HAS SOPS 26778 HAS SOUS 17741 HAS SOUPS 15485 WITH SCORE 15534.375
AT ITER 1254 NEW BEST:: SOT 60536 SOS 49373 HAS SOPS 26774 HAS SOUS 17738 HAS SOUPS 15482 WITH SCORE 15531.373
AT ITER 1256 NEW BEST:: SOT 60535 SOS 49370 HAS SOPS 26772 HAS SOUS 17737 HAS SOUPS 15482 WITH SCORE 15531.37
AT ITER 1265 NEW BEST:: SOT 60543 SOS 49378 HAS SOPS 26748 HAS SOUS 17713 HAS SOUPS 15458 WITH SCORE 15507.378
AT ITER 1269 NEW BEST:: SOT 60545 SOS 49380 HAS SOPS 26741 HAS SOUS 17684 HAS SOUPS 15429 WITH SCORE 15478.38
AT ITER 1287 NEW BEST:: SOT 60531 SOS 49366 HAS SOPS 26713 HAS SOUS 17663 HAS SOUPS 15408 WITH SCORE 15457.366
AT ITER 1291 NEW BEST:: SOT 60517 SOS 49352 HAS SOPS 26710 HAS SOUS 17660 HAS SOUPS 15405 WITH SCORE 15454.352
AT ITER 1296 NEW BEST:: SOT 60485 SOS 49320 HAS SOPS 26670 HAS SOUS 17608 HAS SOUPS 15353 WITH SCORE 15402.32
AT ITER 1317 NEW BEST:: SOT 60485 SOS 49309 HAS SOPS 26659 HAS SOUS 17608 HAS SOUPS 15353 WITH SCORE 15402.309
AT ITER 1321 NEW BEST:: SOT 60405 SOS 49268 HAS SOPS 26460 HAS SOUS 17487 HAS SOUPS 15232 WITH SCORE 15281.268
AT ITER 1326 NEW BEST:: SOT 60379 SOS 49242 HAS SOPS 26460 HAS SOUS 17487 HAS SOUPS 15232 WITH SCORE 15281.242
AT ITER 1329 NEW BEST:: SOT 60361 SOS 49224 HAS SOPS 26445 HAS SOUS 17469 HAS SOUPS 15214 WITH SCORE 15263.224
AT ITER 1330 NEW BEST:: SOT 60313 SOS 49176 HAS SOPS 26445 HAS SOUS 17453 HAS SOUPS 15198 WITH SCORE 15247.176
AT ITER 1338 NEW BEST:: SOT 60273 SOS 49136 HAS SOPS 26385 HAS SOUS 17374 HAS SOUPS 15119 WITH SCORE 15168.136
AT ITER 1354 NEW BEST:: SOT 60291 SOS 49154 HAS SOPS 26380 HAS SOUS 17369 HAS SOUPS 15114 WITH SCORE 15163.154
AT ITER 1355 NEW BEST:: SOT 60247 SOS 49110 HAS SOPS 26336 HAS SOUS 17294 HAS SOUPS 15039 WITH SCORE 15088.11
AT ITER 1363 NEW BEST:: SOT 60225 SOS 49088 HAS SOPS 26292 HAS SOUS 17261 HAS SOUPS 15006 WITH SCORE 15055.088
AT ITER 1370 NEW BEST:: SOT 60209 SOS 49072 HAS SOPS 26288 HAS SOUS 17229 HAS SOUPS 14974 WITH SCORE 15023.072
AT ITER 1379 NEW BEST:: SOT 60187 SOS 49050 HAS SOPS 26266 HAS SOUS 17221 HAS SOUPS 14966 WITH SCORE 15015.05
AT ITER 1392 NEW BEST:: SOT 60147 SOS 49010 HAS SOPS 26196 HAS SOUS 17138 HAS SOUPS 14883 WITH SCORE 14932.01
AT ITER 1399 NEW BEST:: SOT 60144 SOS 49007 HAS SOPS 26194 HAS SOUS 17136 HAS SOUPS 14881 WITH SCORE 14930.007
AT ITER 1405 NEW BEST:: SOT 60144 SOS 49007 HAS SOPS 26190 HAS SOUS 17132 HAS SOUPS 14877 WITH SCORE 14926.007
AT ITER 1431 NEW BEST:: SOT 60106 SOS 48969 HAS SOPS 26133 HAS SOUS 17058 HAS SOUPS 14803 WITH SCORE 14851.969
AT ITER 1432 NEW BEST:: SOT 60104 SOS 48967 HAS SOPS 26162 HAS SOUS 17055 HAS SOUPS 14800 WITH SCORE 14848.967
AT ITER 1500 NEW BEST:: SOT 60075 SOS 48938 HAS SOPS 26118 HAS SOUS 17023 HAS SOUPS 14768 WITH SCORE 14816.938
AT ITER 1521 NEW BEST:: SOT 60075 SOS 48938 HAS SOPS 26118 HAS SOUS 17022 HAS SOUPS 14767 WITH SCORE 14815.938
AT ITER 1522 NEW BEST:: SOT 60023 SOS 48886 HAS SOPS 26128 HAS SOUS 17014 HAS SOUPS 14759 WITH SCORE 14807.886
AT ITER 1535 NEW BEST:: SOT 60009 SOS 48872 HAS SOPS 26100 HAS SOUS 16993 HAS SOUPS 14738 WITH SCORE 14786.872
AT ITER 1550 NEW BEST:: SOT 59999 SOS 48862 HAS SOPS 26085 HAS SOUS 16987 HAS SOUPS 14732 WITH SCORE 14780.862
AT ITER 1557 NEW BEST:: SOT 60011 SOS 48874 HAS SOPS 26103 HAS SOUS 16985 HAS SOUPS 14730 WITH SCORE 14778.874
AT ITER 1558 NEW BEST:: SOT 59986 SOS 48849 HAS SOPS 26064 HAS SOUS 16946 HAS SOUPS 14691 WITH SCORE 14739.849
AT ITER 1573 NEW BEST:: SOT 59878 SOS 49656 HAS SOPS 26353 HAS SOUS 16946 HAS SOUPS 14673 WITH SCORE 14722.656
AT ITER 1577 NEW BEST:: SOT 59878 SOS 49656 HAS SOPS 26353 HAS SOUS 16945 HAS SOUPS 14672 WITH SCORE 14721.656
AT ITER 1586 NEW BEST:: SOT 59769 SOS 49547 HAS SOPS 26309 HAS SOUS 16918 HAS SOUPS 14645 WITH SCORE 14694.547
AT ITER 1595 NEW BEST:: SOT 59749 SOS 49527 HAS SOPS 26269 HAS SOUS 16888 HAS SOUPS 14615 WITH SCORE 14664.527
AT ITER 1606 NEW BEST:: SOT 59755 SOS 49533 HAS SOPS 26275 HAS SOUS 16885 HAS SOUPS 14612 WITH SCORE 14661.533
AT ITER 1621 NEW BEST:: SOT 59697 SOS 49475 HAS SOPS 26159 HAS SOUS 16798 HAS SOUPS 14525 WITH SCORE 14574.475
AT ITER 1637 NEW BEST:: SOT 59667 SOS 49445 HAS SOPS 26114 HAS SOUS 16734 HAS SOUPS 14461 WITH SCORE 14510.445
AT ITER 1645 NEW BEST:: SOT 59589 SOS 49367 HAS SOPS 26077 HAS SOUS 16677 HAS SOUPS 14404 WITH SCORE 14453.367
AT ITER 1660 NEW BEST:: SOT 59545 SOS 49323 HAS SOPS 25989 HAS SOUS 16597 HAS SOUPS 14324 WITH SCORE 14373.323
AT ITER 1672 NEW BEST:: SOT 59545 SOS 49323 HAS SOPS 25989 HAS SOUS 16580 HAS SOUPS 14307 WITH SCORE 14356.323
AT ITER 1685 NEW BEST:: SOT 59521 SOS 49299 HAS SOPS 25989 HAS SOUS 16568 HAS SOUPS 14295 WITH SCORE 14344.299
AT ITER 1688 NEW BEST:: SOT 59504 SOS 49282 HAS SOPS 25938 HAS SOUS 16551 HAS SOUPS 14278 WITH SCORE 14327.282
AT ITER 1713 NEW BEST:: SOT 59488 SOS 49266 HAS SOPS 25914 HAS SOUS 16532 HAS SOUPS 14259 WITH SCORE 14308.266
AT ITER 1714 NEW BEST:: SOT 59462 SOS 49188 HAS SOPS 25862 HAS SOUS 16506 HAS SOUPS 14259 WITH SCORE 14308.188
AT ITER 1739 NEW BEST:: SOT 59462 SOS 49188 HAS SOPS 25862 HAS SOUS 16487 HAS SOUPS 14240 WITH SCORE 14289.188
AT ITER 1753 NEW BEST:: SOT 59460 SOS 49186 HAS SOPS 25859 HAS SOUS 16483 HAS SOUPS 14236 WITH SCORE 14285.186
AT ITER 1769 NEW BEST:: SOT 59428 SOS 49154 HAS SOPS 25811 HAS SOUS 16440 HAS SOUPS 14193 WITH SCORE 14242.154
AT ITER 1773 NEW BEST:: SOT 59382 SOS 49108 HAS SOPS 25742 HAS SOUS 16394 HAS SOUPS 14147 WITH SCORE 14196.108
AT ITER 1778 NEW BEST:: SOT 59518 SOS 49244 HAS SOPS 25716 HAS SOUS 16383 HAS SOUPS 14136 WITH SCORE 14185.244
AT ITER 1783 NEW BEST:: SOT 59478 SOS 49204 HAS SOPS 25700 HAS SOUS 16356 HAS SOUPS 14109 WITH SCORE 14158.204
AT ITER 1785 NEW BEST:: SOT 59438 SOS 49092 HAS SOPS 25640 HAS SOUS 16350 HAS SOUPS 14103 WITH SCORE 14152.092
AT ITER 1800 NEW BEST:: SOT 59436 SOS 49090 HAS SOPS 25637 HAS SOUS 16347 HAS SOUPS 14100 WITH SCORE 14149.09
AT ITER 1803 NEW BEST:: SOT 59426 SOS 49080 HAS SOPS 25622 HAS SOUS 16332 HAS SOUPS 14085 WITH SCORE 14134.08
AT ITER 1810 NEW BEST:: SOT 59418 SOS 49072 HAS SOPS 25610 HAS SOUS 16320 HAS SOUPS 14073 WITH SCORE 14122.072
AT ITER 1817 NEW BEST:: SOT 59358 SOS 49012 HAS SOPS 25520 HAS SOUS 16260 HAS SOUPS 14013 WITH SCORE 14062.012
AT ITER 1836 NEW BEST:: SOT 59354 SOS 49008 HAS SOPS 25514 HAS SOUS 16248 HAS SOUPS 14001 WITH SCORE 14050.008
AT ITER 1837 NEW BEST:: SOT 59301 SOS 48955 HAS SOPS 25436 HAS SOUS 16139 HAS SOUPS 13892 WITH SCORE 13940.955
AT ITER 1843 NEW BEST:: SOT 59327 SOS 48975 HAS SOPS 25469 HAS SOUS 16138 HAS SOUPS 13891 WITH SCORE 13939.975
AT ITER 1849 NEW BEST:: SOT 59327 SOS 48900 HAS SOPS 25502 HAS SOUS 16138 HAS SOUPS 13891 WITH SCORE 13939.9
AT ITER 1855 NEW BEST:: SOT 59297 SOS 48870 HAS SOPS 25493 HAS SOUS 16129 HAS SOUPS 13882 WITH SCORE 13930.87
AT ITER 1869 NEW BEST:: SOT 59298 SOS 48871 HAS SOPS 25493 HAS SOUS 16038 HAS SOUPS 13791 WITH SCORE 13839.871
AT ITER 1898 NEW BEST:: SOT 59298 SOS 48871 HAS SOPS 25493 HAS SOUS 16037 HAS SOUPS 13790 WITH SCORE 13838.871
AT ITER 1900 NEW BEST:: SOT 59280 SOS 48853 HAS SOPS 25413 HAS SOUS 16007 HAS SOUPS 13760 WITH SCORE 13808.853
AT ITER 1923 NEW BEST:: SOT 59280 SOS 48853 HAS SOPS 25413 HAS SOUS 16001 HAS SOUPS 13754 WITH SCORE 13802.853
AT ITER 1926 NEW BEST:: SOT 59051 SOS 49675 HAS SOPS 25448 HAS SOUS 15946 HAS SOUPS 13673 WITH SCORE 13722.675
AT ITER 1951 NEW BEST:: SOT 59051 SOS 49675 HAS SOPS 25448 HAS SOUS 15932 HAS SOUPS 13659 WITH SCORE 13708.675
AT ITER 1954 NEW BEST:: SOT 59110 SOS 49674 HAS SOPS 25495 HAS SOUS 15901 HAS SOUPS 13648 WITH SCORE 13697.674
AT ITER 1991 NEW BEST:: SOT 59110 SOS 49674 HAS SOPS 25495 HAS SOUS 15892 HAS SOUPS 13639 WITH SCORE 13688.674
AT ITER 1993 NEW BEST:: SOT 59090 SOS 49654 HAS SOPS 25460 HAS SOUS 15857 HAS SOUPS 13604 WITH SCORE 13653.654
AT ITER 2000 NEW BEST:: SOT 59064 SOS 49628 HAS SOPS 25421 HAS SOUS 15818 HAS SOUPS 13565 WITH SCORE 13614.628
AT ITER 2002 NEW BEST:: SOT 59034 SOS 49598 HAS SOPS 25376 HAS SOUS 15780 HAS SOUPS 13527 WITH SCORE 13576.598
AT ITER 2019 NEW BEST:: SOT 59025 SOS 49571 HAS SOPS 25349 HAS SOUS 15771 HAS SOUPS 13518 WITH SCORE 13567.571
AT ITER 2053 NEW BEST:: SOT 58911 SOS 49465 HAS SOPS 25223 HAS SOUS 15731 HAS SOUPS 13470 WITH SCORE 13519.465
AT ITER 2067 NEW BEST:: SOT 58802 SOS 49362 HAS SOPS 25079 HAS SOUS 15552 HAS SOUPS 13291 WITH SCORE 13340.362
AT ITER 2069 NEW BEST:: SOT 58738 SOS 49301 HAS SOPS 24983 HAS SOUS 15456 HAS SOUPS 13195 WITH SCORE 13244.301
AT ITER 2081 NEW BEST:: SOT 58732 SOS 49295 HAS SOPS 24974 HAS SOUS 15447 HAS SOUPS 13186 WITH SCORE 13235.295
AT ITER 2110 NEW BEST:: SOT 58732 SOS 49295 HAS SOPS 24974 HAS SOUS 15437 HAS SOUPS 13176 WITH SCORE 13225.295
AT ITER 2113 NEW BEST:: SOT 58708 SOS 49282 HAS SOPS 24950 HAS SOUS 15413 HAS SOUPS 13141 WITH SCORE 13190.282
AT ITER 2148 NEW BEST:: SOT 58706 SOS 49280 HAS SOPS 24947 HAS SOUS 15386 HAS SOUPS 13114 WITH SCORE 13163.28
AT ITER 2151 NEW BEST:: SOT 58706 SOS 49280 HAS SOPS 24943 HAS SOUS 15382 HAS SOUPS 13110 WITH SCORE 13159.28
AT ITER 2167 NEW BEST:: SOT 58704 SOS 49278 HAS SOPS 24939 HAS SOUS 15376 HAS SOUPS 13104 WITH SCORE 13153.278
AT ITER 2173 NEW BEST:: SOT 58678 SOS 49252 HAS SOPS 24900 HAS SOUS 15337 HAS SOUPS 13065 WITH SCORE 13114.252
AT ITER 2187 NEW BEST:: SOT 58674 SOS 49184 HAS SOPS 24832 HAS SOUS 15327 HAS SOUPS 13055 WITH SCORE 13104.184
AT ITER 2242 NEW BEST:: SOT 58642 SOS 49152 HAS SOPS 24812 HAS SOUS 15290 HAS SOUPS 13018 WITH SCORE 13067.152
AT ITER 2243 NEW BEST:: SOT 58622 SOS 49132 HAS SOPS 24782 HAS SOUS 15260 HAS SOUPS 12988 WITH SCORE 13037.132
AT ITER 2245 NEW BEST:: SOT 58610 SOS 49120 HAS SOPS 24782 HAS SOUS 15260 HAS SOUPS 12988 WITH SCORE 13037.12
AT ITER 2259 NEW BEST:: SOT 58600 SOS 49110 HAS SOPS 24767 HAS SOUS 15250 HAS SOUPS 12978 WITH SCORE 13027.11
AT ITER 2268 NEW BEST:: SOT 58580 SOS 49090 HAS SOPS 24751 HAS SOUS 15215 HAS SOUPS 12943 WITH SCORE 12992.09
AT ITER 2269 NEW BEST:: SOT 58580 SOS 49090 HAS SOPS 24722 HAS SOUS 15186 HAS SOUPS 12914 WITH SCORE 12963.09
AT ITER 2272 NEW BEST:: SOT 58578 SOS 49088 HAS SOPS 24719 HAS SOUS 15174 HAS SOUPS 12902 WITH SCORE 12951.088
AT ITER 2276 NEW BEST:: SOT 58562 SOS 49056 HAS SOPS 24703 HAS SOUS 15133 HAS SOUPS 12877 WITH SCORE 12926.056
AT ITER 2279 NEW BEST:: SOT 58565 SOS 48999 HAS SOPS 24693 HAS SOUS 15090 HAS SOUPS 12867 WITH SCORE 12915.999
AT ITER 2291 NEW BEST:: SOT 58437 SOS 48871 HAS SOPS 24721 HAS SOUS 15045 HAS SOUPS 12822 WITH SCORE 12870.871
AT ITER 2295 NEW BEST:: SOT 58438 SOS 48872 HAS SOPS 24722 HAS SOUS 15032 HAS SOUPS 12809 WITH SCORE 12857.872
AT ITER 2306 NEW BEST:: SOT 58418 SOS 48852 HAS SOPS 24692 HAS SOUS 15002 HAS SOUPS 12779 WITH SCORE 12827.852
AT ITER 2320 NEW BEST:: SOT 58404 SOS 48838 HAS SOPS 24671 HAS SOUS 14974 HAS SOUPS 12751 WITH SCORE 12799.838
AT ITER 2349 NEW BEST:: SOT 58312 SOS 48746 HAS SOPS 24533 HAS SOUS 14801 HAS SOUPS 12578 WITH SCORE 12626.746
AT ITER 2350 NEW BEST:: SOT 58310 SOS 48744 HAS SOPS 24530 HAS SOUS 14798 HAS SOUPS 12575 WITH SCORE 12623.744
AT ITER 2381 NEW BEST:: SOT 58250 SOS 48684 HAS SOPS 24412 HAS SOUS 14708 HAS SOUPS 12485 WITH SCORE 12533.684
AT ITER 2403 NEW BEST:: SOT 58186 SOS 48620 HAS SOPS 24317 HAS SOUS 14626 HAS SOUPS 12403 WITH SCORE 12451.62
AT ITER 2410 NEW BEST:: SOT 58142 SOS 48576 HAS SOPS 24229 HAS SOUS 14546 HAS SOUPS 12323 WITH SCORE 12371.576
AT ITER 2414 NEW BEST:: SOT 58131 SOS 48565 HAS SOPS 24207 HAS SOUS 14513 HAS SOUPS 12290 WITH SCORE 12338.565
AT ITER 2423 NEW BEST:: SOT 58141 SOS 48575 HAS SOPS 24166 HAS SOUS 14495 HAS SOUPS 12272 WITH SCORE 12320.575
AT ITER 2434 NEW BEST:: SOT 58141 SOS 48575 HAS SOPS 24166 HAS SOUS 14486 HAS SOUPS 12263 WITH SCORE 12311.575
AT ITER 2438 NEW BEST:: SOT 58127 SOS 48561 HAS SOPS 24139 HAS SOUS 14457 HAS SOUPS 12234 WITH SCORE 12282.561
AT ITER 2442 NEW BEST:: SOT 58091 SOS 48525 HAS SOPS 24085 HAS SOUS 14421 HAS SOUPS 12198 WITH SCORE 12246.525
AT ITER 2443 NEW BEST:: SOT 58071 SOS 48505 HAS SOPS 24055 HAS SOUS 14391 HAS SOUPS 12168 WITH SCORE 12216.505
AT ITER 2449 NEW BEST:: SOT 58057 SOS 48491 HAS SOPS 24027 HAS SOUS 14386 HAS SOUPS 12163 WITH SCORE 12211.491
AT ITER 2459 NEW BEST:: SOT 58055 SOS 48489 HAS SOPS 24024 HAS SOUS 14383 HAS SOUPS 12160 WITH SCORE 12208.489
AT ITER 2470 NEW BEST:: SOT 58053 SOS 48487 HAS SOPS 24020 HAS SOUS 14378 HAS SOUPS 12155 WITH SCORE 12203.487
AT ITER 2484 NEW BEST:: SOT 58045 SOS 48479 HAS SOPS 24012 HAS SOUS 14367 HAS SOUPS 12144 WITH SCORE 12192.479
AT ITER 2489 NEW BEST:: SOT 57940 SOS 48372 HAS SOPS 24045 HAS SOUS 14240 HAS SOUPS 12068 WITH SCORE 12116.372
AT ITER 2505 NEW BEST:: SOT 58032 SOS 48464 HAS SOPS 23948 HAS SOUS 14183 HAS SOUPS 12011 WITH SCORE 12059.464
AT ITER 2509 NEW BEST:: SOT 58014 SOS 48446 HAS SOPS 23921 HAS SOUS 14156 HAS SOUPS 11984 WITH SCORE 12032.446
AT ITER 2530 NEW BEST:: SOT 58014 SOS 48424 HAS SOPS 23921 HAS SOUS 14156 HAS SOUPS 11984 WITH SCORE 12032.424
AT ITER 2537 NEW BEST:: SOT 58010 SOS 48414 HAS SOPS 23909 HAS SOUS 14150 HAS SOUPS 11976 WITH SCORE 12024.414
AT ITER 2557 NEW BEST:: SOT 58010 SOS 48414 HAS SOPS 23909 HAS SOUS 14144 HAS SOUPS 11970 WITH SCORE 12018.414
AT ITER 2571 NEW BEST:: SOT 58000 SOS 48404 HAS SOPS 23899 HAS SOUS 14092 HAS SOUPS 11918 WITH SCORE 11966.404
AT ITER 2586 NEW BEST:: SOT 58030 SOS 48048 HAS SOPS 23754 HAS SOUS 14084 HAS SOUPS 11917 WITH SCORE 11965.048
AT ITER 2604 NEW BEST:: SOT 58020 SOS 48038 HAS SOPS 23739 HAS SOUS 14065 HAS SOUPS 11898 WITH SCORE 11946.038
AT ITER 2606 NEW BEST:: SOT 58014 SOS 48032 HAS SOPS 23727 HAS SOUS 14059 HAS SOUPS 11892 WITH SCORE 11940.032
AT ITER 2624 NEW BEST:: SOT 58010 SOS 48028 HAS SOPS 23713 HAS SOUS 14053 HAS SOUPS 11886 WITH SCORE 11934.028
AT ITER 2628 NEW BEST:: SOT 57986 SOS 48004 HAS SOPS 23697 HAS SOUS 14037 HAS SOUPS 11870 WITH SCORE 11918.004
AT ITER 2652 NEW BEST:: SOT 58008 SOS 48026 HAS SOPS 23720 HAS SOUS 14031 HAS SOUPS 11864 WITH SCORE 11912.026
AT ITER 2654 NEW BEST:: SOT 58008 SOS 48026 HAS SOPS 23720 HAS SOUS 14023 HAS SOUPS 11856 WITH SCORE 11904.026
AT ITER 2682 NEW BEST:: SOT 57979 SOS 47997 HAS SOPS 23676 HAS SOUS 13968 HAS SOUPS 11801 WITH SCORE 11848.997
AT ITER 2684 NEW BEST:: SOT 57979 SOS 47997 HAS SOPS 23676 HAS SOUS 13964 HAS SOUPS 11797 WITH SCORE 11844.997
AT ITER 2696 NEW BEST:: SOT 57981 SOS 47999 HAS SOPS 23679 HAS SOUS 13941 HAS SOUPS 11774 WITH SCORE 11821.999
AT ITER 2713 NEW BEST:: SOT 57981 SOS 47999 HAS SOPS 23679 HAS SOUS 13925 HAS SOUPS 11758 WITH SCORE 11805.999
AT ITER 2715 NEW BEST:: SOT 57977 SOS 47995 HAS SOPS 23671 HAS SOUS 13904 HAS SOUPS 11737 WITH SCORE 11784.995
AT ITER 2730 NEW BEST:: SOT 57957 SOS 47975 HAS SOPS 23681 HAS SOUS 13894 HAS SOUPS 11727 WITH SCORE 11774.975
AT ITER 2749 NEW BEST:: SOT 57927 SOS 47945 HAS SOPS 23632 HAS SOUS 13851 HAS SOUPS 11684 WITH SCORE 11731.945
AT ITER 2751 NEW BEST:: SOT 57923 SOS 47941 HAS SOPS 23647 HAS SOUS 13844 HAS SOUPS 11677 WITH SCORE 11724.941
AT ITER 2765 NEW BEST:: SOT 57927 SOS 47945 HAS SOPS 23645 HAS SOUS 13842 HAS SOUPS 11675 WITH SCORE 11722.945
AT ITER 2778 NEW BEST:: SOT 57927 SOS 47809 HAS SOPS 23543 HAS SOUS 13842 HAS SOUPS 11675 WITH SCORE 11722.809
AT ITER 2782 NEW BEST:: SOT 57883 SOS 47765 HAS SOPS 23477 HAS SOUS 13804 HAS SOUPS 11637 WITH SCORE 11684.765
AT ITER 2798 NEW BEST:: SOT 57871 SOS 47753 HAS SOPS 23459 HAS SOUS 13786 HAS SOUPS 11619 WITH SCORE 11666.753
AT ITER 2816 NEW BEST:: SOT 57871 SOS 47753 HAS SOPS 23453 HAS SOUS 13780 HAS SOUPS 11613 WITH SCORE 11660.753
AT ITER 2847 NEW BEST:: SOT 57845 SOS 47727 HAS SOPS 23446 HAS SOUS 13777 HAS SOUPS 11610 WITH SCORE 11657.727
AT ITER 2854 NEW BEST:: SOT 57838 SOS 47761 HAS SOPS 23450 HAS SOUS 13776 HAS SOUPS 11609 WITH SCORE 11656.761
AT ITER 2859 NEW BEST:: SOT 57813 SOS 47736 HAS SOPS 23496 HAS SOUS 13750 HAS SOUPS 11583 WITH SCORE 11630.736
AT ITER 2870 NEW BEST:: SOT 57805 SOS 47728 HAS SOPS 23484 HAS SOUS 13742 HAS SOUPS 11575 WITH SCORE 11622.728
AT ITER 2877 NEW BEST:: SOT 57789 SOS 47654 HAS SOPS 23410 HAS SOUS 13691 HAS SOUPS 11524 WITH SCORE 11571.654
AT ITER 2885 NEW BEST:: SOT 57783 SOS 47648 HAS SOPS 23401 HAS SOUS 13660 HAS SOUPS 11493 WITH SCORE 11540.648
AT ITER 2892 NEW BEST:: SOT 57777 SOS 47642 HAS SOPS 23392 HAS SOUS 13651 HAS SOUPS 11484 WITH SCORE 11531.642
AT ITER 2907 NEW BEST:: SOT 57777 SOS 47632 HAS SOPS 23381 HAS SOUS 13651 HAS SOUPS 11484 WITH SCORE 11531.632
AT ITER 2936 NEW BEST:: SOT 57771 SOS 47626 HAS SOPS 23372 HAS SOUS 13639 HAS SOUPS 11472 WITH SCORE 11519.626
AT ITER 2940 NEW BEST:: SOT 57749 SOS 47604 HAS SOPS 23339 HAS SOUS 13606 HAS SOUPS 11439 WITH SCORE 11486.604
AT ITER 2944 NEW BEST:: SOT 57767 SOS 47622 HAS SOPS 23318 HAS SOUS 13597 HAS SOUPS 11430 WITH SCORE 11477.622
AT ITER 2954 NEW BEST:: SOT 57767 SOS 47516 HAS SOPS 23212 HAS SOUS 13597 HAS SOUPS 11430 WITH SCORE 11477.516
AT ITER 2956 NEW BEST:: SOT 57747 SOS 47496 HAS SOPS 23182 HAS SOUS 13562 HAS SOUPS 11395 WITH SCORE 11442.496
AT ITER 2977 NEW BEST:: SOT 57743 SOS 47492 HAS SOPS 23182 HAS SOUS 13560 HAS SOUPS 11393 WITH SCORE 11440.492
AT ITER 2988 NEW BEST:: SOT 57721 SOS 47470 HAS SOPS 23149 HAS SOUS 13556 HAS SOUPS 11389 WITH SCORE 11436.47
AT ITER 2992 NEW BEST:: SOT 57717 SOS 47466 HAS SOPS 23143 HAS SOUS 13550 HAS SOUPS 11383 WITH SCORE 11430.466
AT ITER 3000 NEW BEST:: SOT 57714 SOS 47481 HAS SOPS 23158 HAS SOUS 13543 HAS SOUPS 11376 WITH SCORE 11423.481
AT ITER 3005 NEW BEST:: SOT 57713 SOS 47490 HAS SOPS 23130 HAS SOUS 13526 HAS SOUPS 11352 WITH SCORE 11399.49
AT ITER 3007 NEW BEST:: SOT 57699 SOS 47492 HAS SOPS 23108 HAS SOUS 13512 HAS SOUPS 11322 WITH SCORE 11369.492
AT ITER 3019 NEW BEST:: SOT 57693 SOS 47486 HAS SOPS 23078 HAS SOUS 13488 HAS SOUPS 11298 WITH SCORE 11345.486
AT ITER 3025 NEW BEST:: SOT 57693 SOS 47486 HAS SOPS 23051 HAS SOUS 13452 HAS SOUPS 11262 WITH SCORE 11309.486
AT ITER 3049 NEW BEST:: SOT 57613 SOS 47406 HAS SOPS 22931 HAS SOUS 13292 HAS SOUPS 11102 WITH SCORE 11149.406
AT ITER 3060 NEW BEST:: SOT 57571 SOS 47364 HAS SOPS 22868 HAS SOUS 13229 HAS SOUPS 11039 WITH SCORE 11086.364
AT ITER 3070 NEW BEST:: SOT 57559 SOS 47352 HAS SOPS 22844 HAS SOUS 13211 HAS SOUPS 11021 WITH SCORE 11068.352
AT ITER 3092 NEW BEST:: SOT 57547 SOS 47534 HAS SOPS 22975 HAS SOUS 13200 HAS SOUPS 11010 WITH SCORE 11057.534
AT ITER 3098 NEW BEST:: SOT 57531 SOS 47518 HAS SOPS 22943 HAS SOUS 13168 HAS SOUPS 10978 WITH SCORE 11025.518
AT ITER 3100 NEW BEST:: SOT 57503 SOS 47516 HAS SOPS 22903 HAS SOUS 13134 HAS SOUPS 10920 WITH SCORE 10967.516
AT ITER 3108 NEW BEST:: SOT 57473 SOS 47486 HAS SOPS 22980 HAS SOUS 13114 HAS SOUPS 10900 WITH SCORE 10947.486
AT ITER 3120 NEW BEST:: SOT 57446 SOS 47459 HAS SOPS 22944 HAS SOUS 13069 HAS SOUPS 10855 WITH SCORE 10902.459
AT ITER 3123 NEW BEST:: SOT 57446 SOS 47459 HAS SOPS 22944 HAS SOUS 13058 HAS SOUPS 10844 WITH SCORE 10891.459
AT ITER 3125 NEW BEST:: SOT 57430 SOS 47443 HAS SOPS 22920 HAS SOUS 13026 HAS SOUPS 10812 WITH SCORE 10859.443
AT ITER 3129 NEW BEST:: SOT 57430 SOS 47443 HAS SOPS 22920 HAS SOUS 13020 HAS SOUPS 10806 WITH SCORE 10853.443
AT ITER 3153 NEW BEST:: SOT 57392 SOS 47429 HAS SOPS 22914 HAS SOUS 12965 HAS SOUPS 10751 WITH SCORE 10798.429
AT ITER 3170 NEW BEST:: SOT 57388 SOS 47425 HAS SOPS 22908 HAS SOUS 12957 HAS SOUPS 10743 WITH SCORE 10790.425
AT ITER 3191 NEW BEST:: SOT 57378 SOS 47429 HAS SOPS 22912 HAS SOUS 12947 HAS SOUPS 10733 WITH SCORE 10780.429
AT ITER 3207 NEW BEST:: SOT 57377 SOS 47428 HAS SOPS 22911 HAS SOUS 12931 HAS SOUPS 10717 WITH SCORE 10764.428
AT ITER 3208 NEW BEST:: SOT 57377 SOS 47428 HAS SOPS 22911 HAS SOUS 12919 HAS SOUPS 10705 WITH SCORE 10752.428
AT ITER 3227 NEW BEST:: SOT 57369 SOS 47420 HAS SOPS 22877 HAS SOUS 12883 HAS SOUPS 10669 WITH SCORE 10716.42
AT ITER 3252 NEW BEST:: SOT 57391 SOS 47442 HAS SOPS 22838 HAS SOUS 12872 HAS SOUPS 10658 WITH SCORE 10705.442
AT ITER 3263 NEW BEST:: SOT 57389 SOS 47440 HAS SOPS 22834 HAS SOUS 12869 HAS SOUPS 10655 WITH SCORE 10702.44
AT ITER 3286 NEW BEST:: SOT 57387 SOS 47424 HAS SOPS 22838 HAS SOUS 12845 HAS SOUPS 10645 WITH SCORE 10692.424
AT ITER 3299 NEW BEST:: SOT 57371 SOS 47408 HAS SOPS 22814 HAS SOUS 12813 HAS SOUPS 10613 WITH SCORE 10660.408
AT ITER 3336 NEW BEST:: SOT 57335 SOS 47372 HAS SOPS 22760 HAS SOUS 12741 HAS SOUPS 10541 WITH SCORE 10588.372
AT ITER 3361 NEW BEST:: SOT 57261 SOS 47298 HAS SOPS 22649 HAS SOUS 12595 HAS SOUPS 10395 WITH SCORE 10442.298
AT ITER 3364 NEW BEST:: SOT 57238 SOS 47268 HAS SOPS 22639 HAS SOUS 12571 HAS SOUPS 10378 WITH SCORE 10425.268
AT ITER 3382 NEW BEST:: SOT 57228 SOS 47114 HAS SOPS 22516 HAS SOUS 12556 HAS SOUPS 10363 WITH SCORE 10410.114
AT ITER 3407 NEW BEST:: SOT 57228 SOS 47111 HAS SOPS 22476 HAS SOUS 12556 HAS SOUPS 10363 WITH SCORE 10410.111
AT ITER 3408 NEW BEST:: SOT 57228 SOS 47099 HAS SOPS 22464 HAS SOUS 12555 HAS SOUPS 10362 WITH SCORE 10409.099
AT ITER 3414 NEW BEST:: SOT 57197 SOS 47092 HAS SOPS 22360 HAS SOUS 12529 HAS SOUPS 10336 WITH SCORE 10383.092
AT ITER 3419 NEW BEST:: SOT 57197 SOS 47044 HAS SOPS 22300 HAS SOUS 12541 HAS SOUPS 10336 WITH SCORE 10383.044
AT ITER 3431 NEW BEST:: SOT 57197 SOS 47044 HAS SOPS 22296 HAS SOUS 12539 HAS SOUPS 10334 WITH SCORE 10381.044
AT ITER 3457 NEW BEST:: SOT 57611 SOS 44525 HAS SOPS 21744 HAS SOUS 12475 HAS SOUPS 10333 WITH SCORE 10377.525
AT ITER 3524 NEW BEST:: SOT 57617 SOS 44527 HAS SOPS 21751 HAS SOUS 12472 HAS SOUPS 10330 WITH SCORE 10374.527
AT ITER 3527 NEW BEST:: SOT 57617 SOS 44534 HAS SOPS 21750 HAS SOUS 12469 HAS SOUPS 10327 WITH SCORE 10371.534
AT ITER 3528 NEW BEST:: SOT 57601 SOS 44518 HAS SOPS 21744 HAS SOUS 12458 HAS SOUPS 10316 WITH SCORE 10360.518
AT ITER 3550 NEW BEST:: SOT 57587 SOS 44504 HAS SOPS 21716 HAS SOUS 12418 HAS SOUPS 10276 WITH SCORE 10320.504
AT ITER 3556 NEW BEST:: SOT 57584 SOS 44501 HAS SOPS 21710 HAS SOUS 12412 HAS SOUPS 10270 WITH SCORE 10314.501
AT ITER 3608 NEW BEST:: SOT 57582 SOS 44478 HAS SOPS 21678 HAS SOUS 12410 HAS SOUPS 10268 WITH SCORE 10312.478
AT ITER 3612 NEW BEST:: SOT 57582 SOS 44478 HAS SOPS 21670 HAS SOUS 12408 HAS SOUPS 10266 WITH SCORE 10310.478
AT ITER 3689 NEW BEST:: SOT 57583 SOS 44479 HAS SOPS 21668 HAS SOUS 12406 HAS SOUPS 10264 WITH SCORE 10308.479
AT ITER 3699 NEW BEST:: SOT 57469 SOS 45158 HAS SOPS 21789 HAS SOUS 12412 HAS SOUPS 10252 WITH SCORE 10297.158
AT ITER 3721 NEW BEST:: SOT 57469 SOS 45158 HAS SOPS 21789 HAS SOUS 12410 HAS SOUPS 10250 WITH SCORE 10295.158
AT ITER 3722 NEW BEST:: SOT 57467 SOS 45156 HAS SOPS 21785 HAS SOUS 12407 HAS SOUPS 10247 WITH SCORE 10292.156
AT ITER 3724 NEW BEST:: SOT 57467 SOS 45156 HAS SOPS 21785 HAS SOUS 12390 HAS SOUPS 10230 WITH SCORE 10275.156
AT ITER 3736 NEW BEST:: SOT 57449 SOS 45138 HAS SOPS 21772 HAS SOUS 12387 HAS SOUPS 10227 WITH SCORE 10272.138
AT ITER 3743 NEW BEST:: SOT 57449 SOS 45122 HAS SOPS 21760 HAS SOUS 12387 HAS SOUPS 10227 WITH SCORE 10272.122
AT ITER 3744 NEW BEST:: SOT 57409 SOS 45082 HAS SOPS 21700 HAS SOUS 12307 HAS SOUPS 10147 WITH SCORE 10192.082
AT ITER 3762 NEW BEST:: SOT 57361 SOS 45034 HAS SOPS 21652 HAS SOUS 12259 HAS SOUPS 10099 WITH SCORE 10144.034
AT ITER 3775 NEW BEST:: SOT 57339 SOS 45012 HAS SOPS 21619 HAS SOUS 12207 HAS SOUPS 10047 WITH SCORE 10092.012
AT ITER 3806 NEW BEST:: SOT 57335 SOS 45008 HAS SOPS 21599 HAS SOUS 12199 HAS SOUPS 10039 WITH SCORE 10084.008
AT ITER 3840 NEW BEST:: SOT 57474 SOS 44102 HAS SOPS 21374 HAS SOUS 12156 HAS SOUPS 10018 WITH SCORE 10062.102
AT ITER 3843 NEW BEST:: SOT 57390 SOS 44022 HAS SOPS 21278 HAS SOUS 12135 HAS SOUPS 9993 WITH SCORE 10037.022
AT ITER 3846 NEW BEST:: SOT 57364 SOS 43996 HAS SOPS 21239 HAS SOUS 12120 HAS SOUPS 9978 WITH SCORE 10021.996
AT ITER 3860 NEW BEST:: SOT 57322 SOS 43722 HAS SOPS 20973 HAS SOUS 12052 HAS SOUPS 9910 WITH SCORE 9953.722
AT ITER 3874 NEW BEST:: SOT 57318 SOS 43718 HAS SOPS 20967 HAS SOUS 12046 HAS SOUPS 9904 WITH SCORE 9947.718
AT ITER 3881 NEW BEST:: SOT 57414 SOS 43126 HAS SOPS 20871 HAS SOUS 12030 HAS SOUPS 9904 WITH SCORE 9947.126
AT ITER 3892 NEW BEST:: SOT 57378 SOS 43090 HAS SOPS 20799 HAS SOUS 11954 HAS SOUPS 9828 WITH SCORE 9871.09
AT ITER 3894 NEW BEST:: SOT 57342 SOS 43054 HAS SOPS 20745 HAS SOUS 11878 HAS SOUPS 9752 WITH SCORE 9795.054
AT ITER 3905 NEW BEST:: SOT 57342 SOS 43054 HAS SOPS 20745 HAS SOUS 11869 HAS SOUPS 9743 WITH SCORE 9786.054
AT ITER 3919 NEW BEST:: SOT 57361 SOS 42753 HAS SOPS 20494 HAS SOUS 11758 HAS SOUPS 9676 WITH SCORE 9718.753
AT ITER 3947 NEW BEST:: SOT 57007 SOS 45557 HAS SOPS 21387 HAS SOUS 11814 HAS SOUPS 9670 WITH SCORE 9715.557
AT ITER 3974 NEW BEST:: SOT 57009 SOS 45560 HAS SOPS 21387 HAS SOUS 11814 HAS SOUPS 9669 WITH SCORE 9714.56
AT ITER 3978 NEW BEST:: SOT 57005 SOS 45556 HAS SOPS 21381 HAS SOUS 11806 HAS SOUPS 9661 WITH SCORE 9706.556
AT ITER 3980 NEW BEST:: SOT 56956 SOS 45507 HAS SOPS 21313 HAS SOUS 11708 HAS SOUPS 9563 WITH SCORE 9608.507
AT ITER 3982 NEW BEST:: SOT 56932 SOS 45483 HAS SOPS 21265 HAS SOUS 11672 HAS SOUPS 9527 WITH SCORE 9572.483
AT ITER 3986 NEW BEST:: SOT 56946 SOS 45497 HAS SOPS 21219 HAS SOUS 11633 HAS SOUPS 9488 WITH SCORE 9533.497
AT ITER 3991 NEW BEST:: SOT 56936 SOS 45487 HAS SOPS 21204 HAS SOUS 11608 HAS SOUPS 9463 WITH SCORE 9508.487
AT ITER 3993 NEW BEST:: SOT 56936 SOS 45478 HAS SOPS 21195 HAS SOUS 11581 HAS SOUPS 9436 WITH SCORE 9481.478
AT ITER 4037 NEW BEST:: SOT 56944 SOS 45486 HAS SOPS 21218 HAS SOUS 11579 HAS SOUPS 9434 WITH SCORE 9479.486
AT ITER 4080 NEW BEST:: SOT 56936 SOS 45478 HAS SOPS 21206 HAS SOUS 11568 HAS SOUPS 9423 WITH SCORE 9468.478
AT ITER 4088 NEW BEST:: SOT 56928 SOS 45470 HAS SOPS 21194 HAS SOUS 11556 HAS SOUPS 9411 WITH SCORE 9456.47
AT ITER 4103 NEW BEST:: SOT 56874 SOS 45416 HAS SOPS 21167 HAS SOUS 11529 HAS SOUPS 9384 WITH SCORE 9429.416
AT ITER 4142 NEW BEST:: SOT 56866 SOS 45408 HAS SOPS 21157 HAS SOUS 11512 HAS SOUPS 9367 WITH SCORE 9412.408
AT ITER 4191 NEW BEST:: SOT 56866 SOS 45408 HAS SOPS 21157 HAS SOUS 11511 HAS SOUPS 9366 WITH SCORE 9411.408
AT ITER 4197 NEW BEST:: SOT 56860 SOS 45402 HAS SOPS 21148 HAS SOUS 11502 HAS SOUPS 9357 WITH SCORE 9402.402
AT ITER 4202 NEW BEST:: SOT 56830 SOS 45576 HAS SOPS 21168 HAS SOUS 11502 HAS SOUPS 9352 WITH SCORE 9397.576
AT ITER 4236 NEW BEST:: SOT 56830 SOS 45576 HAS SOPS 21168 HAS SOUS 11499 HAS SOUPS 9349 WITH SCORE 9394.576
AT ITER 4302 NEW BEST:: SOT 56786 SOS 45532 HAS SOPS 21102 HAS SOUS 11433 HAS SOUPS 9283 WITH SCORE 9328.532
AT ITER 4305 NEW BEST:: SOT 56780 SOS 45514 HAS SOPS 21084 HAS SOUS 11424 HAS SOUPS 9274 WITH SCORE 9319.514
AT ITER 4361 NEW BEST:: SOT 56758 SOS 45492 HAS SOPS 21069 HAS SOUS 11406 HAS SOUPS 9256 WITH SCORE 9301.492
AT ITER 4368 NEW BEST:: SOT 56961 SOS 43566 HAS SOPS 20401 HAS SOUS 11347 HAS SOUPS 9238 WITH SCORE 9281.566
AT ITER 4371 NEW BEST:: SOT 56957 SOS 43537 HAS SOPS 20395 HAS SOUS 11341 HAS SOUPS 9232 WITH SCORE 9275.537
AT ITER 4414 NEW BEST:: SOT 56957 SOS 43527 HAS SOPS 20394 HAS SOUS 11330 HAS SOUPS 9230 WITH SCORE 9273.527
AT ITER 4426 NEW BEST:: SOT 56957 SOS 43525 HAS SOPS 20415 HAS SOUS 11330 HAS SOUPS 9230 WITH SCORE 9273.525
AT ITER 4453 NEW BEST:: SOT 56957 SOS 43515 HAS SOPS 20385 HAS SOUS 11331 HAS SOUPS 9226 WITH SCORE 9269.515
AT ITER 4455 NEW BEST:: SOT 56953 SOS 43511 HAS SOPS 20379 HAS SOUS 11307 HAS SOUPS 9202 WITH SCORE 9245.511
AT ITER 4470 NEW BEST:: SOT 56953 SOS 43511 HAS SOPS 20379 HAS SOUS 11305 HAS SOUPS 9200 WITH SCORE 9243.511
AT ITER 4518 NEW BEST:: SOT 56943 SOS 43501 HAS SOPS 20364 HAS SOUS 11290 HAS SOUPS 9185 WITH SCORE 9228.501
AT ITER 4519 NEW BEST:: SOT 56937 SOS 43574 HAS SOPS 20454 HAS SOUS 11269 HAS SOUPS 9181 WITH SCORE 9224.574
AT ITER 4564 NEW BEST:: SOT 56937 SOS 43568 HAS SOPS 20451 HAS SOUS 11260 HAS SOUPS 9175 WITH SCORE 9218.568
AT ITER 4608 NEW BEST:: SOT 56863 SOS 43494 HAS SOPS 20412 HAS SOUS 11203 HAS SOUPS 9118 WITH SCORE 9161.494
AT ITER 4616 NEW BEST:: SOT 56863 SOS 43492 HAS SOPS 20412 HAS SOUS 11201 HAS SOUPS 9118 WITH SCORE 9161.492
AT ITER 4637 NEW BEST:: SOT 56863 SOS 43474 HAS SOPS 20412 HAS SOUS 11165 HAS SOUPS 9100 WITH SCORE 9143.474
AT ITER 4652 NEW BEST:: SOT 56863 SOS 43474 HAS SOPS 20412 HAS SOUS 11155 HAS SOUPS 9090 WITH SCORE 9133.474
AT ITER 4692 NEW BEST:: SOT 56784 SOS 43764 HAS SOPS 20415 HAS SOUS 11140 HAS SOUPS 9066 WITH SCORE 9109.764
AT ITER 4698 NEW BEST:: SOT 56768 SOS 43748 HAS SOPS 20411 HAS SOUS 11137 HAS SOUPS 9063 WITH SCORE 9106.748
AT ITER 4716 NEW BEST:: SOT 56758 SOS 43738 HAS SOPS 20396 HAS SOUS 11116 HAS SOUPS 9042 WITH SCORE 9085.738
AT ITER 4720 NEW BEST:: SOT 56764 SOS 43744 HAS SOPS 20405 HAS SOUS 11111 HAS SOUPS 9037 WITH SCORE 9080.744
AT ITER 4739 NEW BEST:: SOT 56762 SOS 43742 HAS SOPS 20402 HAS SOUS 11108 HAS SOUPS 9034 WITH SCORE 9077.742
AT ITER 4878 NEW BEST:: SOT 56745 SOS 43715 HAS SOPS 20375 HAS SOUS 11091 HAS SOUPS 9017 WITH SCORE 9060.715
AT ITER 4890 NEW BEST:: SOT 56869 SOS 42739 HAS SOPS 20088 HAS SOUS 11068 HAS SOUPS 9016 WITH SCORE 9058.739
AT ITER 4922 NEW BEST:: SOT 56883 SOS 42753 HAS SOPS 20065 HAS SOUS 11056 HAS SOUPS 9004 WITH SCORE 9046.753
AT ITER 4998 NEW BEST:: SOT 56911 SOS 42417 HAS SOPS 19953 HAS SOUS 11042 HAS SOUPS 8997 WITH SCORE 9039.417
AT ITER 5012 NEW BEST:: SOT 56900 SOS 42406 HAS SOPS 19942 HAS SOUS 11037 HAS SOUPS 8992 WITH SCORE 9034.406
AT ITER 5066 NEW BEST:: SOT 56588 SOS 44710 HAS SOPS 20606 HAS SOUS 11078 HAS SOUPS 8981 WITH SCORE 9025.71
AT ITER 5104 NEW BEST:: SOT 56574 SOS 44696 HAS SOPS 20613 HAS SOUS 11078 HAS SOUPS 8981 WITH SCORE 9025.696
AT ITER 5110 NEW BEST:: SOT 56349 SOS 47112 HAS SOPS 21585 HAS SOUS 11111 HAS SOUPS 8968 WITH SCORE 9015.112
AT ITER 5121 NEW BEST:: SOT 56339 SOS 47102 HAS SOPS 21570 HAS SOUS 11096 HAS SOUPS 8953 WITH SCORE 9000.102
AT ITER 5173 NEW BEST:: SOT 56333 SOS 47096 HAS SOPS 21561 HAS SOUS 11084 HAS SOUPS 8941 WITH SCORE 8988.096
AT ITER 5188 NEW BEST:: SOT 56333 SOS 47096 HAS SOPS 21561 HAS SOUS 11083 HAS SOUPS 8940 WITH SCORE 8987.096
AT ITER 5189 NEW BEST:: SOT 56321 SOS 47084 HAS SOPS 21567 HAS SOUS 11083 HAS SOUPS 8940 WITH SCORE 8987.084
AT ITER 5193 NEW BEST:: SOT 56331 SOS 46932 HAS SOPS 21513 HAS SOUS 11079 HAS SOUPS 8939 WITH SCORE 8985.932
AT ITER 5210 NEW BEST:: SOT 56331 SOS 46932 HAS SOPS 21513 HAS SOUS 11076 HAS SOUPS 8936 WITH SCORE 8982.932
AT ITER 5243 NEW BEST:: SOT 56331 SOS 46932 HAS SOPS 21513 HAS SOUS 11074 HAS SOUPS 8934 WITH SCORE 8980.932
AT ITER 5308 NEW BEST:: SOT 56388 SOS 46266 HAS SOPS 21237 HAS SOUS 11066 HAS SOUPS 8926 WITH SCORE 8972.266
AT ITER 5339 NEW BEST:: SOT 56365 SOS 46243 HAS SOPS 21216 HAS SOUS 11044 HAS SOUPS 8904 WITH SCORE 8950.243
AT ITER 5369 NEW BEST:: SOT 56361 SOS 46239 HAS SOPS 21210 HAS SOUS 11031 HAS SOUPS 8891 WITH SCORE 8937.239
AT ITER 5370 NEW BEST:: SOT 56353 SOS 46231 HAS SOPS 21198 HAS SOUS 11010 HAS SOUPS 8870 WITH SCORE 8916.231
AT ITER 5375 NEW BEST:: SOT 56363 SOS 46219 HAS SOPS 21194 HAS SOUS 11007 HAS SOUPS 8867 WITH SCORE 8913.219
AT ITER 5382 NEW BEST:: SOT 56363 SOS 46219 HAS SOPS 21194 HAS SOUS 10998 HAS SOUPS 8858 WITH SCORE 8904.219
AT ITER 5409 NEW BEST:: SOT 56359 SOS 46215 HAS SOPS 21190 HAS SOUS 10994 HAS SOUPS 8854 WITH SCORE 8900.215
AT ITER 5449 NEW BEST:: SOT 56359 SOS 46235 HAS SOPS 21190 HAS SOUS 11012 HAS SOUPS 8852 WITH SCORE 8898.235
AT ITER 5453 NEW BEST:: SOT 56356 SOS 46239 HAS SOPS 21192 HAS SOUS 11011 HAS SOUPS 8851 WITH SCORE 8897.239
AT ITER 5455 NEW BEST:: SOT 56356 SOS 46242 HAS SOPS 21183 HAS SOUS 11002 HAS SOUPS 8839 WITH SCORE 8885.242
AT ITER 5474 NEW BEST:: SOT 56354 SOS 46240 HAS SOPS 21184 HAS SOUS 11001 HAS SOUPS 8838 WITH SCORE 8884.24
AT ITER 5492 NEW BEST:: SOT 56353 SOS 46312 HAS SOPS 21211 HAS SOUS 10997 HAS SOUPS 8799 WITH SCORE 8845.312
AT ITER 5502 NEW BEST:: SOT 56351 SOS 46310 HAS SOPS 21208 HAS SOUS 10994 HAS SOUPS 8796 WITH SCORE 8842.31
AT ITER 5526 NEW BEST:: SOT 56222 SOS 47286 HAS SOPS 21491 HAS SOUS 10997 HAS SOUPS 8777 WITH SCORE 8824.286
AT ITER 5533 NEW BEST:: SOT 56225 SOS 47289 HAS SOPS 21485 HAS SOUS 10994 HAS SOUPS 8774 WITH SCORE 8821.289
AT ITER 5552 NEW BEST:: SOT 56221 SOS 47285 HAS SOPS 21479 HAS SOUS 10985 HAS SOUPS 8765 WITH SCORE 8812.285
AT ITER 5585 NEW BEST:: SOT 56216 SOS 47280 HAS SOPS 21473 HAS SOUS 10985 HAS SOUPS 8765 WITH SCORE 8812.28
AT ITER 5621 NEW BEST:: SOT 56216 SOS 47280 HAS SOPS 21473 HAS SOUS 10984 HAS SOUPS 8764 WITH SCORE 8811.28
AT ITER 5651 NEW BEST:: SOT 56207 SOS 47271 HAS SOPS 21461 HAS SOUS 10978 HAS SOUPS 8758 WITH SCORE 8805.271
AT ITER 5670 NEW BEST:: SOT 56285 SOS 46565 HAS SOPS 21203 HAS SOUS 10954 HAS SOUPS 8750 WITH SCORE 8796.565
AT ITER 5690 NEW BEST:: SOT 56327 SOS 46254 HAS SOPS 21079 HAS SOUS 10946 HAS SOUPS 8749 WITH SCORE 8795.254
AT ITER 5694 NEW BEST:: SOT 56321 SOS 46248 HAS SOPS 21070 HAS SOUS 10933 HAS SOUPS 8736 WITH SCORE 8782.248
AT ITER 5724 NEW BEST:: SOT 56317 SOS 46244 HAS SOPS 21064 HAS SOUS 10927 HAS SOUPS 8730 WITH SCORE 8776.244
AT ITER 5750 NEW BEST:: SOT 56309 SOS 46172 HAS SOPS 20992 HAS SOUS 10915 HAS SOUPS 8718 WITH SCORE 8764.172
AT ITER 5765 NEW BEST:: SOT 56307 SOS 46170 HAS SOPS 20988 HAS SOUS 10912 HAS SOUPS 8715 WITH SCORE 8761.17
AT ITER 5786 NEW BEST:: SOT 56307 SOS 46170 HAS SOPS 20988 HAS SOUS 10901 HAS SOUPS 8704 WITH SCORE 8750.17
AT ITER 5787 NEW BEST:: SOT 56293 SOS 46156 HAS SOPS 20960 HAS SOUS 10878 HAS SOUPS 8681 WITH SCORE 8727.156
AT ITER 5821 NEW BEST:: SOT 56309 SOS 45969 HAS SOPS 20900 HAS SOUS 10872 HAS SOUPS 8679 WITH SCORE 8724.969
AT ITER 5849 NEW BEST:: SOT 56366 SOS 46026 HAS SOPS 20957 HAS SOUS 10858 HAS SOUPS 8665 WITH SCORE 8711.026
AT ITER 5869 NEW BEST:: SOT 56366 SOS 46026 HAS SOPS 20957 HAS SOUS 10846 HAS SOUPS 8653 WITH SCORE 8699.026
AT ITER 5879 NEW BEST:: SOT 56374 SOS 46034 HAS SOPS 20941 HAS SOUS 10840 HAS SOUPS 8647 WITH SCORE 8693.034
AT ITER 5907 NEW BEST:: SOT 56362 SOS 46022 HAS SOPS 20923 HAS SOUS 10828 HAS SOUPS 8635 WITH SCORE 8681.022
AT ITER 5930 NEW BEST:: SOT 56364 SOS 46008 HAS SOPS 20900 HAS SOUS 10834 HAS SOUPS 8632 WITH SCORE 8678.008
AT ITER 5978 NEW BEST:: SOT 56363 SOS 46007 HAS SOPS 20899 HAS SOUS 10831 HAS SOUPS 8629 WITH SCORE 8675.007
AT ITER 5987 NEW BEST:: SOT 56297 SOS 45941 HAS SOPS 20893 HAS SOUS 10810 HAS SOUPS 8608 WITH SCORE 8653.941
AT ITER 6039 NEW BEST:: SOT 56297 SOS 45941 HAS SOPS 20893 HAS SOUS 10808 HAS SOUPS 8606 WITH SCORE 8651.941
AT ITER 6041 NEW BEST:: SOT 56280 SOS 45936 HAS SOPS 20840 HAS SOUS 10767 HAS SOUPS 8565 WITH SCORE 8610.936
AT ITER 6063 NEW BEST:: SOT 56262 SOS 45918 HAS SOPS 20813 HAS SOUS 10729 HAS SOUPS 8527 WITH SCORE 8572.918
AT ITER 6077 NEW BEST:: SOT 56262 SOS 45918 HAS SOPS 20813 HAS SOUS 10727 HAS SOUPS 8525 WITH SCORE 8570.918
AT ITER 6080 NEW BEST:: SOT 56256 SOS 45912 HAS SOPS 20800 HAS SOUS 10718 HAS SOUPS 8516 WITH SCORE 8561.912
AT ITER 6100 NEW BEST:: SOT 56240 SOS 45896 HAS SOPS 20776 HAS SOUS 10689 HAS SOUPS 8487 WITH SCORE 8532.896
AT ITER 6157 NEW BEST:: SOT 56575 SOS 41997 HAS SOPS 19198 HAS SOUS 10614 HAS SOUPS 8485 WITH SCORE 8526.997
AT ITER 6165 NEW BEST:: SOT 56567 SOS 41989 HAS SOPS 19186 HAS SOUS 10602 HAS SOUPS 8473 WITH SCORE 8514.989
AT ITER 6175 NEW BEST:: SOT 56562 SOS 42044 HAS SOPS 19192 HAS SOUS 10641 HAS SOUPS 8468 WITH SCORE 8510.044
AT ITER 6193 NEW BEST:: SOT 56538 SOS 42020 HAS SOPS 19156 HAS SOUS 10636 HAS SOUPS 8463 WITH SCORE 8505.02
AT ITER 6269 NEW BEST:: SOT 56524 SOS 42006 HAS SOPS 19135 HAS SOUS 10603 HAS SOUPS 8430 WITH SCORE 8472.006
AT ITER 6314 NEW BEST:: SOT 56520 SOS 41998 HAS SOPS 19127 HAS SOUS 10575 HAS SOUPS 8402 WITH SCORE 8443.998
AT ITER 6315 NEW BEST:: SOT 56504 SOS 41982 HAS SOPS 19103 HAS SOUS 10555 HAS SOUPS 8382 WITH SCORE 8423.982
AT ITER 6325 NEW BEST:: SOT 56466 SOS 41944 HAS SOPS 19059 HAS SOUS 10530 HAS SOUPS 8357 WITH SCORE 8398.944
AT ITER 6349 NEW BEST:: SOT 56466 SOS 41944 HAS SOPS 19059 HAS SOUS 10527 HAS SOUPS 8354 WITH SCORE 8395.944
AT ITER 6350 NEW BEST:: SOT 56466 SOS 41944 HAS SOPS 19059 HAS SOUS 10521 HAS SOUPS 8348 WITH SCORE 8389.944
AT ITER 6419 NEW BEST:: SOT 56466 SOS 41944 HAS SOPS 19043 HAS SOUS 10509 HAS SOUPS 8336 WITH SCORE 8377.944
AT ITER 6438 NEW BEST:: SOT 56446 SOS 41924 HAS SOPS 19013 HAS SOUS 10475 HAS SOUPS 8302 WITH SCORE 8343.924
AT ITER 6457 NEW BEST:: SOT 56446 SOS 41924 HAS SOPS 19013 HAS SOUS 10473 HAS SOUPS 8300 WITH SCORE 8341.924
AT ITER 6485 NEW BEST:: SOT 56446 SOS 41886 HAS SOPS 18972 HAS SOUS 10472 HAS SOUPS 8299 WITH SCORE 8340.886
AT ITER 6504 NEW BEST:: SOT 56452 SOS 41892 HAS SOPS 18966 HAS SOUS 10461 HAS SOUPS 8288 WITH SCORE 8329.892
AT ITER 6506 NEW BEST:: SOT 56442 SOS 41882 HAS SOPS 18951 HAS SOUS 10450 HAS SOUPS 8277 WITH SCORE 8318.882
AT ITER 6508 NEW BEST:: SOT 56439 SOS 41879 HAS SOPS 18948 HAS SOUS 10448 HAS SOUPS 8275 WITH SCORE 8316.879
AT ITER 6522 NEW BEST:: SOT 56439 SOS 41879 HAS SOPS 18936 HAS SOUS 10445 HAS SOUPS 8272 WITH SCORE 8313.879
AT ITER 6526 NEW BEST:: SOT 56465 SOS 41889 HAS SOPS 18946 HAS SOUS 10444 HAS SOUPS 8271 WITH SCORE 8312.889
AT ITER 6537 NEW BEST:: SOT 56465 SOS 41889 HAS SOPS 18946 HAS SOUS 10441 HAS SOUPS 8268 WITH SCORE 8309.889
AT ITER 6592 NEW BEST:: SOT 56465 SOS 41889 HAS SOPS 18942 HAS SOUS 10439 HAS SOUPS 8266 WITH SCORE 8307.889
AT ITER 6626 NEW BEST:: SOT 56433 SOS 41857 HAS SOPS 18894 HAS SOUS 10397 HAS SOUPS 8224 WITH SCORE 8265.857
AT ITER 6757 NEW BEST:: SOT 56413 SOS 41837 HAS SOPS 18874 HAS SOUS 10377 HAS SOUPS 8204 WITH SCORE 8245.837
AT ITER 6758 NEW BEST:: SOT 56397 SOS 41821 HAS SOPS 18850 HAS SOUS 10352 HAS SOUPS 8179 WITH SCORE 8220.821
AT ITER 6775 NEW BEST:: SOT 56383 SOS 41807 HAS SOPS 18829 HAS SOUS 10331 HAS SOUPS 8158 WITH SCORE 8199.807
AT ITER 6781 NEW BEST:: SOT 56381 SOS 41801 HAS SOPS 18825 HAS SOUS 10325 HAS SOUPS 8154 WITH SCORE 8195.801
AT ITER 6798 NEW BEST:: SOT 56380 SOS 41800 HAS SOPS 18824 HAS SOUS 10325 HAS SOUPS 8154 WITH SCORE 8195.8
AT ITER 6816 NEW BEST:: SOT 56380 SOS 41800 HAS SOPS 18824 HAS SOUS 10324 HAS SOUPS 8153 WITH SCORE 8194.8
AT ITER 6817 NEW BEST:: SOT 56354 SOS 41774 HAS SOPS 18785 HAS SOUS 10264 HAS SOUPS 8093 WITH SCORE 8134.774
AT ITER 6824 NEW BEST:: SOT 56347 SOS 41767 HAS SOPS 18785 HAS SOUS 10261 HAS SOUPS 8090 WITH SCORE 8131.767
AT ITER 6885 NEW BEST:: SOT 56282 SOS 42209 HAS SOPS 18907 HAS SOUS 10266 HAS SOUPS 8084 WITH SCORE 8126.209
AT ITER 6911 NEW BEST:: SOT 56302 SOS 41916 HAS SOPS 18783 HAS SOUS 10252 HAS SOUPS 8070 WITH SCORE 8111.916
AT ITER 6912 NEW BEST:: SOT 56300 SOS 41914 HAS SOPS 18771 HAS SOUS 10250 HAS SOUPS 8068 WITH SCORE 8109.914
AT ITER 6916 NEW BEST:: SOT 56300 SOS 41914 HAS SOPS 18771 HAS SOUS 10242 HAS SOUPS 8060 WITH SCORE 8101.914
AT ITER 6931 NEW BEST:: SOT 56288 SOS 41904 HAS SOPS 18754 HAS SOUS 10230 HAS SOUPS 8041 WITH SCORE 8082.904
AT ITER 6939 NEW BEST:: SOT 56286 SOS 41902 HAS SOPS 18751 HAS SOUS 10224 HAS SOUPS 8035 WITH SCORE 8076.902
AT ITER 6980 NEW BEST:: SOT 56283 SOS 41899 HAS SOPS 18748 HAS SOUS 10220 HAS SOUPS 8031 WITH SCORE 8072.899
AT ITER 6988 NEW BEST:: SOT 56283 SOS 41899 HAS SOPS 18746 HAS SOUS 10218 HAS SOUPS 8029 WITH SCORE 8070.899
AT ITER 7008 NEW BEST:: SOT 56271 SOS 41887 HAS SOPS 18728 HAS SOUS 10200 HAS SOUPS 8011 WITH SCORE 8052.887
AT ITER 7227 NEW BEST:: SOT 56271 SOS 41887 HAS SOPS 18728 HAS SOUS 10187 HAS SOUPS 7998 WITH SCORE 8039.887
AT ITER 7237 NEW BEST:: SOT 56269 SOS 41885 HAS SOPS 18725 HAS SOUS 10184 HAS SOUPS 7995 WITH SCORE 8036.885
AT ITER 7255 NEW BEST:: SOT 56265 SOS 41881 HAS SOPS 18719 HAS SOUS 10176 HAS SOUPS 7987 WITH SCORE 8028.881
AT ITER 7294 NEW BEST:: SOT 56265 SOS 41846 HAS SOPS 18684 HAS SOUS 10176 HAS SOUPS 7987 WITH SCORE 8028.846
AT ITER 7307 NEW BEST:: SOT 56250 SOS 41830 HAS SOPS 18661 HAS SOUS 10145 HAS SOUPS 7956 WITH SCORE 7997.83
AT ITER 7310 NEW BEST:: SOT 56249 SOS 41828 HAS SOPS 18658 HAS SOUS 10143 HAS SOUPS 7953 WITH SCORE 7994.828
AT ITER 7331 NEW BEST:: SOT 56237 SOS 41816 HAS SOPS 18640 HAS SOUS 10126 HAS SOUPS 7936 WITH SCORE 7977.816
AT ITER 7367 NEW BEST:: SOT 56227 SOS 41806 HAS SOPS 18625 HAS SOUS 10113 HAS SOUPS 7923 WITH SCORE 7964.806
AT ITER 7390 NEW BEST:: SOT 56197 SOS 41776 HAS SOPS 18565 HAS SOUS 10064 HAS SOUPS 7874 WITH SCORE 7915.776
AT ITER 7429 NEW BEST:: SOT 56362 SOS 40137 HAS SOPS 17975 HAS SOUS 9965 HAS SOUPS 7810 WITH SCORE 7850.137
AT ITER 7475 NEW BEST:: SOT 56362 SOS 40137 HAS SOPS 17975 HAS SOUS 9963 HAS SOUPS 7808 WITH SCORE 7848.137
AT ITER 7480 NEW BEST:: SOT 56352 SOS 40127 HAS SOPS 17940 HAS SOUS 9948 HAS SOUPS 7793 WITH SCORE 7833.127
AT ITER 7500 NEW BEST:: SOT 56368 SOS 40143 HAS SOPS 17954 HAS SOUS 9944 HAS SOUPS 7789 WITH SCORE 7829.143
AT ITER 7527 NEW BEST:: SOT 56366 SOS 40141 HAS SOPS 17951 HAS SOUS 9941 HAS SOUPS 7786 WITH SCORE 7826.141
AT ITER 7551 NEW BEST:: SOT 56364 SOS 40091 HAS SOPS 17911 HAS SOUS 9938 HAS SOUPS 7783 WITH SCORE 7823.091
AT ITER 7587 NEW BEST:: SOT 56364 SOS 40091 HAS SOPS 17879 HAS SOUS 9928 HAS SOUPS 7773 WITH SCORE 7813.091
AT ITER 7688 NEW BEST:: SOT 56346 SOS 40073 HAS SOPS 17818 HAS SOUS 9901 HAS SOUPS 7746 WITH SCORE 7786.073
AT ITER 7704 NEW BEST:: SOT 56343 SOS 40070 HAS SOPS 17813 HAS SOUS 9896 HAS SOUPS 7741 WITH SCORE 7781.07
AT ITER 7759 NEW BEST:: SOT 56331 SOS 40164 HAS SOPS 17847 HAS SOUS 9896 HAS SOUPS 7739 WITH SCORE 7779.164
AT ITER 7872 NEW BEST:: SOT 56327 SOS 40160 HAS SOPS 17841 HAS SOUS 9890 HAS SOUPS 7733 WITH SCORE 7773.16
AT ITER 7874 NEW BEST:: SOT 56310 SOS 40143 HAS SOPS 17801 HAS SOUS 9879 HAS SOUPS 7722 WITH SCORE 7762.143
AT ITER 7924 NEW BEST:: SOT 56307 SOS 40139 HAS SOPS 17797 HAS SOUS 9876 HAS SOUPS 7719 WITH SCORE 7759.139
AT ITER 7935 NEW BEST:: SOT 56307 SOS 40139 HAS SOPS 17797 HAS SOUS 9872 HAS SOUPS 7715 WITH SCORE 7755.139
AT ITER 7949 NEW BEST:: SOT 56305 SOS 40137 HAS SOPS 17800 HAS SOUS 9871 HAS SOUPS 7714 WITH SCORE 7754.137
AT ITER 7959 NEW BEST:: SOT 56292 SOS 40187 HAS SOPS 17876 HAS SOUS 9837 HAS SOUPS 7706 WITH SCORE 7746.187
AT ITER 8028 NEW BEST:: SOT 56312 SOS 40207 HAS SOPS 17849 HAS SOUS 9816 HAS SOUPS 7685 WITH SCORE 7725.207
AT ITER 8042 NEW BEST:: SOT 56312 SOS 40207 HAS SOPS 17849 HAS SOUS 9814 HAS SOUPS 7683 WITH SCORE 7723.207
AT ITER 8069 NEW BEST:: SOT 56312 SOS 40207 HAS SOPS 17841 HAS SOUS 9812 HAS SOUPS 7681 WITH SCORE 7721.207
AT ITER 8154 NEW BEST:: SOT 56304 SOS 40199 HAS SOPS 17829 HAS SOUS 9800 HAS SOUPS 7669 WITH SCORE 7709.199
AT ITER 8175 NEW BEST:: SOT 56270 SOS 40165 HAS SOPS 17846 HAS SOUS 9800 HAS SOUPS 7669 WITH SCORE 7709.165
AT ITER 8195 NEW BEST:: SOT 56267 SOS 40141 HAS SOPS 17822 HAS SOUS 9791 HAS SOUPS 7660 WITH SCORE 7700.141
AT ITER 8229 NEW BEST:: SOT 56265 SOS 40125 HAS SOPS 17806 HAS SOUS 9774 HAS SOUPS 7643 WITH SCORE 7683.125
AT ITER 8294 NEW BEST:: SOT 56265 SOS 40125 HAS SOPS 17806 HAS SOUS 9773 HAS SOUPS 7642 WITH SCORE 7682.125
AT ITER 8316 NEW BEST:: SOT 56263 SOS 40123 HAS SOPS 17803 HAS SOUS 9772 HAS SOUPS 7641 WITH SCORE 7681.123
AT ITER 8362 NEW BEST:: SOT 56249 SOS 40109 HAS SOPS 17782 HAS SOUS 9751 HAS SOUPS 7620 WITH SCORE 7660.109
AT ITER 8365 NEW BEST:: SOT 56249 SOS 40109 HAS SOPS 17742 HAS SOUS 9711 HAS SOUPS 7580 WITH SCORE 7620.109
AT ITER 8404 NEW BEST:: SOT 56265 SOS 40125 HAS SOPS 17725 HAS SOUS 9703 HAS SOUPS 7572 WITH SCORE 7612.125
AT ITER 8423 NEW BEST:: SOT 56218 SOS 40489 HAS SOPS 17818 HAS SOUS 9699 HAS SOUPS 7559 WITH SCORE 7599.489
AT ITER 8594 NEW BEST:: SOT 56218 SOS 40489 HAS SOPS 17818 HAS SOUS 9692 HAS SOUPS 7552 WITH SCORE 7592.489
AT ITER 8656 NEW BEST:: SOT 56209 SOS 40480 HAS SOPS 17809 HAS SOUS 9674 HAS SOUPS 7534 WITH SCORE 7574.48
AT ITER 8700 NEW BEST:: SOT 56175 SOS 40446 HAS SOPS 17779 HAS SOUS 9644 HAS SOUPS 7504 WITH SCORE 7544.446
AT ITER 8710 NEW BEST:: SOT 56171 SOS 40442 HAS SOPS 17773 HAS SOUS 9638 HAS SOUPS 7498 WITH SCORE 7538.442
AT ITER 8742 NEW BEST:: SOT 56127 SOS 40402 HAS SOPS 17691 HAS SOUS 9514 HAS SOUPS 7374 WITH SCORE 7414.402
AT ITER 8828 NEW BEST:: SOT 56089 SOS 40383 HAS SOPS 17653 HAS SOUS 9533 HAS SOUPS 7374 WITH SCORE 7414.383
AT ITER 8834 NEW BEST:: SOT 56089 SOS 40383 HAS SOPS 17653 HAS SOUS 9530 HAS SOUPS 7371 WITH SCORE 7411.383
AT ITER 8857 NEW BEST:: SOT 56093 SOS 40387 HAS SOPS 17650 HAS SOUS 9524 HAS SOUPS 7365 WITH SCORE 7405.387
AT ITER 9006 NEW BEST:: SOT 56093 SOS 40387 HAS SOPS 17650 HAS SOUS 9522 HAS SOUPS 7363 WITH SCORE 7403.387
AT ITER 9069 NEW BEST:: SOT 56087 SOS 40383 HAS SOPS 17644 HAS SOUS 9516 HAS SOUPS 7357 WITH SCORE 7397.383
AT ITER 9086 NEW BEST:: SOT 56085 SOS 40381 HAS SOPS 17641 HAS SOUS 9513 HAS SOUPS 7354 WITH SCORE 7394.381
AT ITER 9124 NEW BEST:: SOT 56079 SOS 40375 HAS SOPS 17632 HAS SOUS 9507 HAS SOUPS 7348 WITH SCORE 7388.375
AT ITER 9166 NEW BEST:: SOT 56081 SOS 40377 HAS SOPS 17627 HAS SOUS 9502 HAS SOUPS 7343 WITH SCORE 7383.377
AT ITER 9194 NEW BEST:: SOT 56081 SOS 40377 HAS SOPS 17627 HAS SOUS 9500 HAS SOUPS 7341 WITH SCORE 7381.377
AT ITER 9198 NEW BEST:: SOT 56081 SOS 40377 HAS SOPS 17623 HAS SOUS 9496 HAS SOUPS 7337 WITH SCORE 7377.377
AT ITER 9226 NEW BEST:: SOT 56081 SOS 40377 HAS SOPS 17629 HAS SOUS 9486 HAS SOUPS 7327 WITH SCORE 7367.377
AT ITER 9237 NEW BEST:: SOT 56071 SOS 40367 HAS SOPS 17619 HAS SOUS 9483 HAS SOUPS 7324 WITH SCORE 7364.367
AT ITER 9258 NEW BEST:: SOT 56086 SOS 40367 HAS SOPS 17634 HAS SOUS 9467 HAS SOUPS 7323 WITH SCORE 7363.367
AT ITER 9263 NEW BEST:: SOT 56084 SOS 40365 HAS SOPS 17631 HAS SOUS 9465 HAS SOUPS 7321 WITH SCORE 7361.365
AT ITER 9344 NEW BEST:: SOT 56058 SOS 40339 HAS SOPS 17624 HAS SOUS 9450 HAS SOUPS 7306 WITH SCORE 7346.339
AT ITER 9450 NEW BEST:: SOT 56056 SOS 40337 HAS SOPS 17621 HAS SOUS 9442 HAS SOUPS 7298 WITH SCORE 7338.337
AT ITER 9571 NEW BEST:: SOT 56048 SOS 40329 HAS SOPS 17611 HAS SOUS 9440 HAS SOUPS 7296 WITH SCORE 7336.329
AT ITER 9575 NEW BEST:: SOT 56042 SOS 40323 HAS SOPS 17609 HAS SOUS 9439 HAS SOUPS 7295 WITH SCORE 7335.323
AT ITER 9697 NEW BEST:: SOT 56042 SOS 40323 HAS SOPS 17603 HAS SOUS 9431 HAS SOUPS 7287 WITH SCORE 7327.323
AT ITER 9785 NEW BEST:: SOT 56044 SOS 40325 HAS SOPS 17606 HAS SOUS 9426 HAS SOUPS 7282 WITH SCORE 7322.325
AT ITER 9863 NEW BEST:: SOT 56056 SOS 40164 HAS SOPS 17538 HAS SOUS 9420 HAS SOUPS 7279 WITH SCORE 7319.164
AT ITER 9869 NEW BEST:: SOT 56056 SOS 40164 HAS SOPS 17534 HAS SOUS 9417 HAS SOUPS 7276 WITH SCORE 7316.164
AT ITER 9907 NEW BEST:: SOT 56046 SOS 40154 HAS SOPS 17519 HAS SOUS 9406 HAS SOUPS 7265 WITH SCORE 7305.154
AT ITER 9928 NEW BEST:: SOT 56034 SOS 40142 HAS SOPS 17495 HAS SOUS 9388 HAS SOUPS 7247 WITH SCORE 7287.142
AT ITER 9969 NEW BEST:: SOT 56032 SOS 40140 HAS SOPS 17493 HAS SOUS 9385 HAS SOUPS 7244 WITH SCORE 7284.14

BK_STOP 1679140473308

--------------------
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
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 472 Killed ${SMART}/smart ${INPUT_SM}

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="Raft-PT-07"
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 Raft-PT-07, 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 r331-tall-167889204300336"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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