Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250400363.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is NoC3x3-PT-3A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250400363
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 304K
-rw-r--r-- 1 mcc users 3.2K Apr 8 15:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 8 15:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 7 18:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 7 18:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 6 20:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 6 20:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 6 03:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K Apr 6 03:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 133K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME NoC3x3-PT-3A-CTLCardinality-00
FORMULA_NAME NoC3x3-PT-3A-CTLCardinality-01
FORMULA_NAME NoC3x3-PT-3A-CTLCardinality-02
FORMULA_NAME NoC3x3-PT-3A-CTLCardinality-03
FORMULA_NAME NoC3x3-PT-3A-CTLCardinality-04
FORMULA_NAME NoC3x3-PT-3A-CTLCardinality-05
FORMULA_NAME NoC3x3-PT-3A-CTLCardinality-06
FORMULA_NAME NoC3x3-PT-3A-CTLCardinality-07
FORMULA_NAME NoC3x3-PT-3A-CTLCardinality-08
FORMULA_NAME NoC3x3-PT-3A-CTLCardinality-09
FORMULA_NAME NoC3x3-PT-3A-CTLCardinality-10
FORMULA_NAME NoC3x3-PT-3A-CTLCardinality-11
FORMULA_NAME NoC3x3-PT-3A-CTLCardinality-12
FORMULA_NAME NoC3x3-PT-3A-CTLCardinality-13
FORMULA_NAME NoC3x3-PT-3A-CTLCardinality-14
FORMULA_NAME NoC3x3-PT-3A-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589641492539

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 3A
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 370 places, 450 transitions, 1773 arcs.
AT ITER 0 NEW BEST:: SOT 139116 SOS 117861 HAS SOPS 117852 HAS SOUS 76742 HAS SOUPS 76733 WITH SCORE 76850.861
AT ITER 7 NEW BEST:: SOT 138522 SOS 117075 HAS SOPS 117066 HAS SOUS 76373 HAS SOUPS 76364 WITH SCORE 76481.075
AT ITER 8 NEW BEST:: SOT 138522 SOS 117075 HAS SOPS 117066 HAS SOUS 76368 HAS SOUPS 76359 WITH SCORE 76476.075
AT ITER 10 NEW BEST:: SOT 138522 SOS 117064 HAS SOPS 117055 HAS SOUS 76357 HAS SOUPS 76348 WITH SCORE 76465.064
AT ITER 12 NEW BEST:: SOT 138088 SOS 116646 HAS SOPS 116637 HAS SOUS 76315 HAS SOUPS 76306 WITH SCORE 76422.646
AT ITER 14 NEW BEST:: SOT 137683 SOS 116241 HAS SOPS 116232 HAS SOUS 75987 HAS SOUPS 75978 WITH SCORE 76094.241
AT ITER 17 NEW BEST:: SOT 137575 SOS 116064 HAS SOPS 116055 HAS SOUS 75929 HAS SOUPS 75920 WITH SCORE 76036.064
AT ITER 20 NEW BEST:: SOT 137200 SOS 115689 HAS SOPS 115680 HAS SOUS 75554 HAS SOUPS 75545 WITH SCORE 75660.689
AT ITER 24 NEW BEST:: SOT 136248 SOS 114632 HAS SOPS 114623 HAS SOUS 75050 HAS SOUPS 75041 WITH SCORE 75155.632
AT ITER 25 NEW BEST:: SOT 135749 SOS 114133 HAS SOPS 114124 HAS SOUS 74551 HAS SOUPS 74542 WITH SCORE 74656.133
AT ITER 27 NEW BEST:: SOT 135749 SOS 114025 HAS SOPS 114016 HAS SOUS 74443 HAS SOUPS 74434 WITH SCORE 74548.025
AT ITER 28 NEW BEST:: SOT 135072 SOS 113348 HAS SOPS 113339 HAS SOUS 73887 HAS SOUPS 73878 WITH SCORE 73991.348
AT ITER 30 NEW BEST:: SOT 134615 SOS 112891 HAS SOPS 112882 HAS SOUS 73731 HAS SOUPS 73722 WITH SCORE 73834.891
AT ITER 34 NEW BEST:: SOT 134615 SOS 112693 HAS SOPS 112684 HAS SOUS 73632 HAS SOUPS 73623 WITH SCORE 73735.693
AT ITER 50 NEW BEST:: SOT 134139 SOS 112217 HAS SOPS 112208 HAS SOUS 73156 HAS SOUPS 73147 WITH SCORE 73259.217
AT ITER 55 NEW BEST:: SOT 134139 SOS 112035 HAS SOPS 112026 HAS SOUS 73102 HAS SOUPS 73093 WITH SCORE 73205.035
AT ITER 57 NEW BEST:: SOT 133976 SOS 111872 HAS SOPS 111863 HAS SOUS 72939 HAS SOUPS 72930 WITH SCORE 73041.872
AT ITER 59 NEW BEST:: SOT 133976 SOS 111664 HAS SOPS 111655 HAS SOUS 72827 HAS SOUPS 72818 WITH SCORE 72929.664
AT ITER 61 NEW BEST:: SOT 133453 SOS 111141 HAS SOPS 111132 HAS SOUS 72377 HAS SOUPS 72368 WITH SCORE 72479.141
AT ITER 63 NEW BEST:: SOT 133164 SOS 110852 HAS SOPS 110843 HAS SOUS 72086 HAS SOUPS 72077 WITH SCORE 72187.852
AT ITER 70 NEW BEST:: SOT 132812 SOS 110354 HAS SOPS 110345 HAS SOUS 71795 HAS SOUPS 71786 WITH SCORE 71896.354
AT ITER 76 NEW BEST:: SOT 132328 SOS 109870 HAS SOPS 109861 HAS SOUS 71351 HAS SOUPS 71342 WITH SCORE 71451.87
AT ITER 92 NEW BEST:: SOT 131846 SOS 109388 HAS SOPS 109379 HAS SOUS 70674 HAS SOUPS 70665 WITH SCORE 70774.388
AT ITER 95 NEW BEST:: SOT 131484 SOS 109375 HAS SOPS 109366 HAS SOUS 70502 HAS SOUPS 70493 WITH SCORE 70602.375
AT ITER 96 NEW BEST:: SOT 131376 SOS 109267 HAS SOPS 109258 HAS SOUS 70407 HAS SOUPS 70398 WITH SCORE 70507.267
AT ITER 101 NEW BEST:: SOT 131192 SOS 109083 HAS SOPS 109074 HAS SOUS 70219 HAS SOUPS 70210 WITH SCORE 70319.083
AT ITER 106 NEW BEST:: SOT 131179 SOS 108736 HAS SOPS 108727 HAS SOUS 70218 HAS SOUPS 70209 WITH SCORE 70317.736
AT ITER 107 NEW BEST:: SOT 130965 SOS 108522 HAS SOPS 108513 HAS SOUS 70100 HAS SOUPS 70091 WITH SCORE 70199.522
AT ITER 108 NEW BEST:: SOT 130501 SOS 108058 HAS SOPS 108049 HAS SOUS 69636 HAS SOUPS 69627 WITH SCORE 69735.058
AT ITER 112 NEW BEST:: SOT 130406 SOS 107963 HAS SOPS 107954 HAS SOUS 69541 HAS SOUPS 69532 WITH SCORE 69639.963
AT ITER 113 NEW BEST:: SOT 130187 SOS 107741 HAS SOPS 107732 HAS SOUS 69501 HAS SOUPS 69492 WITH SCORE 69599.741
AT ITER 116 NEW BEST:: SOT 129957 SOS 107731 HAS SOPS 107722 HAS SOUS 69435 HAS SOUPS 69426 WITH SCORE 69533.731
AT ITER 122 NEW BEST:: SOT 129735 SOS 107249 HAS SOPS 107240 HAS SOUS 69379 HAS SOUPS 69370 WITH SCORE 69477.249
AT ITER 123 NEW BEST:: SOT 129735 SOS 107249 HAS SOPS 107240 HAS SOUS 69234 HAS SOUPS 69225 WITH SCORE 69332.249
AT ITER 130 NEW BEST:: SOT 128587 SOS 106101 HAS SOPS 106092 HAS SOUS 68190 HAS SOUPS 68181 WITH SCORE 68287.101
AT ITER 136 NEW BEST:: SOT 127596 SOS 105110 HAS SOPS 105101 HAS SOUS 67199 HAS SOUPS 67190 WITH SCORE 67295.11
AT ITER 139 NEW BEST:: SOT 127222 SOS 105491 HAS SOPS 105482 HAS SOUS 67011 HAS SOUPS 67002 WITH SCORE 67107.491
AT ITER 142 NEW BEST:: SOT 127034 SOS 105303 HAS SOPS 105294 HAS SOUS 66773 HAS SOUPS 66764 WITH SCORE 66869.303
AT ITER 145 NEW BEST:: SOT 127003 SOS 105210 HAS SOPS 105201 HAS SOUS 66763 HAS SOUPS 66754 WITH SCORE 66859.21
AT ITER 146 NEW BEST:: SOT 127003 SOS 105201 HAS SOPS 105192 HAS SOUS 66754 HAS SOUPS 66745 WITH SCORE 66850.201
AT ITER 149 NEW BEST:: SOT 125831 SOS 104341 HAS SOPS 104332 HAS SOUS 65894 HAS SOUPS 65885 WITH SCORE 65989.341
AT ITER 152 NEW BEST:: SOT 125831 SOS 103493 HAS SOPS 103484 HAS SOUS 65809 HAS SOUPS 65800 WITH SCORE 65903.493
AT ITER 153 NEW BEST:: SOT 125611 SOS 103273 HAS SOPS 103264 HAS SOUS 65633 HAS SOUPS 65624 WITH SCORE 65727.273
AT ITER 155 NEW BEST:: SOT 125669 SOS 103349 HAS SOPS 103340 HAS SOUS 65614 HAS SOUPS 65605 WITH SCORE 65708.349
AT ITER 168 NEW BEST:: SOT 125631 SOS 103229 HAS SOPS 103220 HAS SOUS 65494 HAS SOUPS 65485 WITH SCORE 65588.229
AT ITER 171 NEW BEST:: SOT 125066 SOS 102648 HAS SOPS 102639 HAS SOUS 64703 HAS SOUPS 64694 WITH SCORE 64796.648
AT ITER 173 NEW BEST:: SOT 125058 SOS 102640 HAS SOPS 102631 HAS SOUS 64695 HAS SOUPS 64686 WITH SCORE 64788.64
AT ITER 174 NEW BEST:: SOT 124770 SOS 102436 HAS SOPS 102427 HAS SOUS 64302 HAS SOUPS 64293 WITH SCORE 64395.436
AT ITER 176 NEW BEST:: SOT 124762 SOS 102389 HAS SOPS 102380 HAS SOUS 64255 HAS SOUPS 64246 WITH SCORE 64348.389
AT ITER 177 NEW BEST:: SOT 124660 SOS 102340 HAS SOPS 102331 HAS SOUS 64206 HAS SOUPS 64197 WITH SCORE 64299.34
AT ITER 180 NEW BEST:: SOT 124660 SOS 102276 HAS SOPS 102267 HAS SOUS 64206 HAS SOUPS 64197 WITH SCORE 64299.276
AT ITER 181 NEW BEST:: SOT 124550 SOS 102166 HAS SOPS 102157 HAS SOUS 64120 HAS SOUPS 64111 WITH SCORE 64213.166
AT ITER 182 NEW BEST:: SOT 124226 SOS 101896 HAS SOPS 101887 HAS SOUS 63850 HAS SOUPS 63841 WITH SCORE 63942.896
AT ITER 184 NEW BEST:: SOT 123506 SOS 101176 HAS SOPS 101167 HAS SOUS 63295 HAS SOUPS 63286 WITH SCORE 63387.176
AT ITER 194 NEW BEST:: SOT 123452 SOS 101164 HAS SOPS 101155 HAS SOUS 63281 HAS SOUPS 63272 WITH SCORE 63373.164
AT ITER 195 NEW BEST:: SOT 123359 SOS 101067 HAS SOPS 101058 HAS SOUS 63208 HAS SOUPS 63199 WITH SCORE 63300.067
AT ITER 199 NEW BEST:: SOT 123359 SOS 101067 HAS SOPS 101058 HAS SOUS 63204 HAS SOUPS 63195 WITH SCORE 63296.067
AT ITER 201 NEW BEST:: SOT 123004 SOS 100754 HAS SOPS 100745 HAS SOUS 62866 HAS SOUPS 62857 WITH SCORE 62957.754
AT ITER 203 NEW BEST:: SOT 122867 SOS 100617 HAS SOPS 100608 HAS SOUS 62729 HAS SOUPS 62720 WITH SCORE 62820.617
AT ITER 207 NEW BEST:: SOT 122643 SOS 100351 HAS SOPS 100342 HAS SOUS 62540 HAS SOUPS 62531 WITH SCORE 62631.351
AT ITER 208 NEW BEST:: SOT 122646 SOS 100322 HAS SOPS 100313 HAS SOUS 62530 HAS SOUPS 62521 WITH SCORE 62621.322
AT ITER 209 NEW BEST:: SOT 122646 SOS 100322 HAS SOPS 100313 HAS SOUS 62515 HAS SOUPS 62506 WITH SCORE 62606.322
AT ITER 211 NEW BEST:: SOT 122566 SOS 100340 HAS SOPS 100331 HAS SOUS 62495 HAS SOUPS 62486 WITH SCORE 62586.34
AT ITER 213 NEW BEST:: SOT 122255 SOS 100821 HAS SOPS 100812 HAS SOUS 62273 HAS SOUPS 62264 WITH SCORE 62364.821
AT ITER 216 NEW BEST:: SOT 121981 SOS 100547 HAS SOPS 100538 HAS SOUS 62089 HAS SOUPS 62080 WITH SCORE 62180.547
AT ITER 222 NEW BEST:: SOT 121260 SOS 99952 HAS SOPS 99943 HAS SOUS 61762 HAS SOUPS 61753 WITH SCORE 61852.952
AT ITER 223 NEW BEST:: SOT 121177 SOS 99869 HAS SOPS 99860 HAS SOUS 61747 HAS SOUPS 61738 WITH SCORE 61837.869
AT ITER 226 NEW BEST:: SOT 121177 SOS 99845 HAS SOPS 99836 HAS SOUS 61742 HAS SOUPS 61733 WITH SCORE 61832.845
AT ITER 229 NEW BEST:: SOT 121105 SOS 99773 HAS SOPS 99764 HAS SOUS 61718 HAS SOUPS 61709 WITH SCORE 61808.773
AT ITER 231 NEW BEST:: SOT 120885 SOS 99553 HAS SOPS 99544 HAS SOUS 61660 HAS SOUPS 61651 WITH SCORE 61750.553
AT ITER 232 NEW BEST:: SOT 120884 SOS 99549 HAS SOPS 99540 HAS SOUS 61660 HAS SOUPS 61651 WITH SCORE 61750.549
AT ITER 239 NEW BEST:: SOT 120564 SOS 99393 HAS SOPS 99384 HAS SOUS 61442 HAS SOUPS 61433 WITH SCORE 61532.393
AT ITER 251 NEW BEST:: SOT 120471 SOS 99331 HAS SOPS 99322 HAS SOUS 61318 HAS SOUPS 61309 WITH SCORE 61408.331
AT ITER 259 NEW BEST:: SOT 120517 SOS 99377 HAS SOPS 99368 HAS SOUS 61276 HAS SOUPS 61267 WITH SCORE 61366.377
AT ITER 261 NEW BEST:: SOT 120506 SOS 99366 HAS SOPS 99357 HAS SOUS 61265 HAS SOUPS 61256 WITH SCORE 61355.366
AT ITER 268 NEW BEST:: SOT 120270 SOS 99130 HAS SOPS 99121 HAS SOUS 61025 HAS SOUPS 61016 WITH SCORE 61115.13
AT ITER 269 NEW BEST:: SOT 120126 SOS 98852 HAS SOPS 98792 HAS SOUS 60960 HAS SOUPS 60900 WITH SCORE 60998.852
AT ITER 271 NEW BEST:: SOT 120017 SOS 98376 HAS SOPS 98316 HAS SOUS 60928 HAS SOUPS 60868 WITH SCORE 60966.376
AT ITER 272 NEW BEST:: SOT 119961 SOS 98320 HAS SOPS 98260 HAS SOUS 60871 HAS SOUPS 60811 WITH SCORE 60909.32
AT ITER 279 NEW BEST:: SOT 120007 SOS 98182 HAS SOPS 98122 HAS SOUS 60871 HAS SOUPS 60811 WITH SCORE 60909.182
AT ITER 280 NEW BEST:: SOT 120007 SOS 98072 HAS SOPS 98012 HAS SOUS 60864 HAS SOUPS 60804 WITH SCORE 60902.072
AT ITER 282 NEW BEST:: SOT 119919 SOS 97984 HAS SOPS 97924 HAS SOUS 60785 HAS SOUPS 60725 WITH SCORE 60822.984
AT ITER 284 NEW BEST:: SOT 119679 SOS 97838 HAS SOPS 97778 HAS SOUS 60783 HAS SOUPS 60723 WITH SCORE 60820.838
AT ITER 290 NEW BEST:: SOT 118816 SOS 96975 HAS SOPS 96915 HAS SOUS 59973 HAS SOUPS 59913 WITH SCORE 60009.975
AT ITER 291 NEW BEST:: SOT 118924 SOS 96991 HAS SOPS 96931 HAS SOUS 59902 HAS SOUPS 59842 WITH SCORE 59938.991
AT ITER 292 NEW BEST:: SOT 118924 SOS 96853 HAS SOPS 96793 HAS SOUS 59873 HAS SOUPS 59813 WITH SCORE 59909.853
AT ITER 299 NEW BEST:: SOT 118924 SOS 96382 HAS SOPS 96322 HAS SOUS 59812 HAS SOUPS 59752 WITH SCORE 59848.382
AT ITER 300 NEW BEST:: SOT 118644 SOS 96102 HAS SOPS 96042 HAS SOUS 59599 HAS SOUPS 59539 WITH SCORE 59635.102
AT ITER 301 NEW BEST:: SOT 118458 SOS 95916 HAS SOPS 95856 HAS SOUS 59527 HAS SOUPS 59467 WITH SCORE 59562.916
AT ITER 306 NEW BEST:: SOT 118418 SOS 95876 HAS SOPS 95816 HAS SOUS 59472 HAS SOUPS 59412 WITH SCORE 59507.876
AT ITER 307 NEW BEST:: SOT 118768 SOS 96046 HAS SOPS 95986 HAS SOUS 59463 HAS SOUPS 59403 WITH SCORE 59499.046
AT ITER 308 NEW BEST:: SOT 118618 SOS 95804 HAS SOPS 95744 HAS SOUS 59347 HAS SOUPS 59287 WITH SCORE 59382.804
AT ITER 309 NEW BEST:: SOT 118551 SOS 95665 HAS SOPS 95605 HAS SOUS 59344 HAS SOUPS 59284 WITH SCORE 59379.665
AT ITER 310 NEW BEST:: SOT 118117 SOS 95231 HAS SOPS 95171 HAS SOUS 58807 HAS SOUPS 58747 WITH SCORE 58842.231
AT ITER 313 NEW BEST:: SOT 117985 SOS 95117 HAS SOPS 95057 HAS SOUS 58701 HAS SOUPS 58641 WITH SCORE 58736.117
AT ITER 316 NEW BEST:: SOT 117792 SOS 94924 HAS SOPS 94864 HAS SOUS 58532 HAS SOUPS 58472 WITH SCORE 58566.924
AT ITER 318 NEW BEST:: SOT 117737 SOS 94865 HAS SOPS 94805 HAS SOUS 58473 HAS SOUPS 58413 WITH SCORE 58507.865
AT ITER 322 NEW BEST:: SOT 117655 SOS 94783 HAS SOPS 94723 HAS SOUS 58360 HAS SOUPS 58300 WITH SCORE 58394.783
AT ITER 325 NEW BEST:: SOT 116946 SOS 94664 HAS SOPS 94604 HAS SOUS 57891 HAS SOUPS 57831 WITH SCORE 57925.664
AT ITER 330 NEW BEST:: SOT 116946 SOS 94672 HAS SOPS 94612 HAS SOUS 57874 HAS SOUPS 57814 WITH SCORE 57908.672
AT ITER 338 NEW BEST:: SOT 116811 SOS 94537 HAS SOPS 94477 HAS SOUS 57737 HAS SOUPS 57677 WITH SCORE 57771.537
AT ITER 341 NEW BEST:: SOT 116781 SOS 94507 HAS SOPS 94447 HAS SOUS 57699 HAS SOUPS 57639 WITH SCORE 57733.507
AT ITER 344 NEW BEST:: SOT 116740 SOS 94577 HAS SOPS 94517 HAS SOUS 57680 HAS SOUPS 57620 WITH SCORE 57714.577
AT ITER 345 NEW BEST:: SOT 116733 SOS 94570 HAS SOPS 94510 HAS SOUS 57673 HAS SOUPS 57613 WITH SCORE 57707.57
AT ITER 365 NEW BEST:: SOT 116314 SOS 94083 HAS SOPS 94023 HAS SOUS 57499 HAS SOUPS 57439 WITH SCORE 57533.083
AT ITER 372 NEW BEST:: SOT 116223 SOS 93593 HAS SOPS 93533 HAS SOUS 57440 HAS SOUPS 57380 WITH SCORE 57473.593
AT ITER 376 NEW BEST:: SOT 116185 SOS 92960 HAS SOPS 92867 HAS SOUS 57402 HAS SOUPS 57309 WITH SCORE 57401.96
AT ITER 379 NEW BEST:: SOT 116082 SOS 92410 HAS SOPS 92317 HAS SOUS 57140 HAS SOUPS 57047 WITH SCORE 57139.41
AT ITER 387 NEW BEST:: SOT 115680 SOS 92012 HAS SOPS 91919 HAS SOUS 56733 HAS SOUPS 56640 WITH SCORE 56732.012
AT ITER 389 NEW BEST:: SOT 115751 SOS 91680 HAS SOPS 91587 HAS SOUS 56711 HAS SOUPS 56618 WITH SCORE 56709.68
AT ITER 395 NEW BEST:: SOT 115601 SOS 91538 HAS SOPS 91445 HAS SOUS 56655 HAS SOUPS 56562 WITH SCORE 56653.538
AT ITER 396 NEW BEST:: SOT 115689 SOS 91620 HAS SOPS 91527 HAS SOUS 56634 HAS SOUPS 56541 WITH SCORE 56632.62
AT ITER 402 NEW BEST:: SOT 115715 SOS 91638 HAS SOPS 91545 HAS SOUS 56606 HAS SOUPS 56513 WITH SCORE 56604.638
AT ITER 403 NEW BEST:: SOT 115715 SOS 91638 HAS SOPS 91545 HAS SOUS 56584 HAS SOUPS 56491 WITH SCORE 56582.638
AT ITER 408 NEW BEST:: SOT 115763 SOS 91474 HAS SOPS 91381 HAS SOUS 56579 HAS SOUPS 56486 WITH SCORE 56577.474
AT ITER 412 NEW BEST:: SOT 115002 SOS 90800 HAS SOPS 90707 HAS SOUS 56147 HAS SOUPS 56054 WITH SCORE 56144.8
AT ITER 414 NEW BEST:: SOT 114926 SOS 90724 HAS SOPS 90631 HAS SOUS 56071 HAS SOUPS 55978 WITH SCORE 56068.724
AT ITER 415 NEW BEST:: SOT 114926 SOS 90489 HAS SOPS 90396 HAS SOUS 56057 HAS SOUPS 55964 WITH SCORE 56054.489
AT ITER 417 NEW BEST:: SOT 114926 SOS 90489 HAS SOPS 90396 HAS SOUS 56045 HAS SOUPS 55952 WITH SCORE 56042.489
AT ITER 419 NEW BEST:: SOT 114862 SOS 90412 HAS SOPS 90319 HAS SOUS 55955 HAS SOUPS 55862 WITH SCORE 55952.412
AT ITER 422 NEW BEST:: SOT 114383 SOS 89933 HAS SOPS 89840 HAS SOUS 55476 HAS SOUPS 55383 WITH SCORE 55472.933
AT ITER 423 NEW BEST:: SOT 114387 SOS 89898 HAS SOPS 89805 HAS SOUS 55476 HAS SOUPS 55383 WITH SCORE 55472.898
AT ITER 426 NEW BEST:: SOT 114309 SOS 89794 HAS SOPS 89701 HAS SOUS 55298 HAS SOUPS 55205 WITH SCORE 55294.794
AT ITER 432 NEW BEST:: SOT 114293 SOS 89595 HAS SOPS 89502 HAS SOUS 55243 HAS SOUPS 55150 WITH SCORE 55239.595
AT ITER 435 NEW BEST:: SOT 114281 SOS 89583 HAS SOPS 89490 HAS SOUS 55231 HAS SOUPS 55138 WITH SCORE 55227.583
AT ITER 437 NEW BEST:: SOT 114242 SOS 89370 HAS SOPS 89277 HAS SOUS 55192 HAS SOUPS 55099 WITH SCORE 55188.37
AT ITER 439 NEW BEST:: SOT 114230 SOS 89378 HAS SOPS 89262 HAS SOUS 55093 HAS SOUPS 54977 WITH SCORE 55066.378
AT ITER 447 NEW BEST:: SOT 114219 SOS 89367 HAS SOPS 89251 HAS SOUS 55071 HAS SOUPS 54955 WITH SCORE 55044.367
AT ITER 448 NEW BEST:: SOT 114219 SOS 89362 HAS SOPS 89245 HAS SOUS 55070 HAS SOUPS 54953 WITH SCORE 55042.362
AT ITER 458 NEW BEST:: SOT 113975 SOS 88734 HAS SOPS 88617 HAS SOUS 54801 HAS SOUPS 54684 WITH SCORE 54772.734
AT ITER 460 NEW BEST:: SOT 113707 SOS 88466 HAS SOPS 88349 HAS SOUS 54525 HAS SOUPS 54408 WITH SCORE 54496.466
AT ITER 469 NEW BEST:: SOT 113487 SOS 88246 HAS SOPS 88129 HAS SOUS 54015 HAS SOUPS 53898 WITH SCORE 53986.246
AT ITER 472 NEW BEST:: SOT 113487 SOS 88195 HAS SOPS 88078 HAS SOUS 54015 HAS SOUPS 53898 WITH SCORE 53986.195
AT ITER 477 NEW BEST:: SOT 113299 SOS 88024 HAS SOPS 87907 HAS SOUS 53839 HAS SOUPS 53722 WITH SCORE 53810.024
AT ITER 478 NEW BEST:: SOT 113287 SOS 87754 HAS SOPS 87637 HAS SOUS 53631 HAS SOUPS 53514 WITH SCORE 53601.754
AT ITER 483 NEW BEST:: SOT 113175 SOS 87495 HAS SOPS 87333 HAS SOUS 53438 HAS SOUPS 53276 WITH SCORE 53363.495
AT ITER 484 NEW BEST:: SOT 113070 SOS 87405 HAS SOPS 87243 HAS SOUS 53348 HAS SOUPS 53186 WITH SCORE 53273.405
AT ITER 486 NEW BEST:: SOT 112521 SOS 86872 HAS SOPS 86710 HAS SOUS 52857 HAS SOUPS 52695 WITH SCORE 52781.872
AT ITER 489 NEW BEST:: SOT 112557 SOS 86836 HAS SOPS 86674 HAS SOUS 52821 HAS SOUPS 52659 WITH SCORE 52745.836
AT ITER 490 NEW BEST:: SOT 112557 SOS 86698 HAS SOPS 86536 HAS SOUS 52821 HAS SOUPS 52659 WITH SCORE 52745.698
AT ITER 495 NEW BEST:: SOT 112292 SOS 87364 HAS SOPS 87202 HAS SOUS 52667 HAS SOUPS 52505 WITH SCORE 52592.364
AT ITER 506 NEW BEST:: SOT 112386 SOS 87440 HAS SOPS 87278 HAS SOUS 52645 HAS SOUPS 52483 WITH SCORE 52570.44
AT ITER 508 NEW BEST:: SOT 112356 SOS 87410 HAS SOPS 87248 HAS SOUS 52431 HAS SOUPS 52269 WITH SCORE 52356.41
AT ITER 513 NEW BEST:: SOT 112136 SOS 87190 HAS SOPS 87028 HAS SOUS 52362 HAS SOUPS 52200 WITH SCORE 52287.19
AT ITER 517 NEW BEST:: SOT 112064 SOS 87292 HAS SOPS 87130 HAS SOUS 52307 HAS SOUPS 52145 WITH SCORE 52232.292
AT ITER 529 NEW BEST:: SOT 112010 SOS 87238 HAS SOPS 87076 HAS SOUS 52307 HAS SOUPS 52145 WITH SCORE 52232.238
AT ITER 532 NEW BEST:: SOT 112055 SOS 87164 HAS SOPS 87002 HAS SOUS 52290 HAS SOUPS 52128 WITH SCORE 52215.164
AT ITER 537 NEW BEST:: SOT 112104 SOS 87180 HAS SOPS 87018 HAS SOUS 52282 HAS SOUPS 52120 WITH SCORE 52207.18
AT ITER 544 NEW BEST:: SOT 112104 SOS 86982 HAS SOPS 86820 HAS SOUS 52216 HAS SOUPS 52054 WITH SCORE 52140.982
AT ITER 546 NEW BEST:: SOT 111578 SOS 86456 HAS SOPS 86294 HAS SOUS 51690 HAS SOUPS 51528 WITH SCORE 51614.456
AT ITER 547 NEW BEST:: SOT 111541 SOS 86407 HAS SOPS 86245 HAS SOUS 51625 HAS SOUPS 51463 WITH SCORE 51549.407
AT ITER 548 NEW BEST:: SOT 111546 SOS 86241 HAS SOPS 86079 HAS SOUS 51574 HAS SOUPS 51412 WITH SCORE 51498.241
AT ITER 549 NEW BEST:: SOT 111387 SOS 86020 HAS SOPS 85858 HAS SOUS 51368 HAS SOUPS 51206 WITH SCORE 51292.02
AT ITER 553 NEW BEST:: SOT 111385 SOS 85990 HAS SOPS 85800 HAS SOUS 51338 HAS SOUPS 51148 WITH SCORE 51233.99
AT ITER 558 NEW BEST:: SOT 111340 SOS 84588 HAS SOPS 84264 HAS SOUS 50986 HAS SOUPS 50662 WITH SCORE 50746.588
AT ITER 561 NEW BEST:: SOT 111300 SOS 84363 HAS SOPS 84039 HAS SOUS 50985 HAS SOUPS 50661 WITH SCORE 50745.363
AT ITER 563 NEW BEST:: SOT 111539 SOS 84255 HAS SOPS 83931 HAS SOUS 50900 HAS SOUPS 50576 WITH SCORE 50660.255
AT ITER 565 NEW BEST:: SOT 111145 SOS 83861 HAS SOPS 83537 HAS SOUS 50496 HAS SOUPS 50172 WITH SCORE 50255.861
AT ITER 570 NEW BEST:: SOT 111020 SOS 83736 HAS SOPS 83412 HAS SOUS 50439 HAS SOUPS 50115 WITH SCORE 50198.736
AT ITER 573 NEW BEST:: SOT 110798 SOS 83514 HAS SOPS 83190 HAS SOUS 50240 HAS SOUPS 49916 WITH SCORE 49999.514
AT ITER 574 NEW BEST:: SOT 110798 SOS 83488 HAS SOPS 83164 HAS SOUS 50227 HAS SOUPS 49903 WITH SCORE 49986.488
AT ITER 577 NEW BEST:: SOT 110721 SOS 83411 HAS SOPS 83087 HAS SOUS 49885 HAS SOUPS 49561 WITH SCORE 49644.411
AT ITER 580 NEW BEST:: SOT 110753 SOS 83415 HAS SOPS 83091 HAS SOUS 49837 HAS SOUPS 49513 WITH SCORE 49596.415
AT ITER 582 NEW BEST:: SOT 110220 SOS 82882 HAS SOPS 82558 HAS SOUS 49407 HAS SOUPS 49083 WITH SCORE 49165.882
AT ITER 587 NEW BEST:: SOT 110450 SOS 83062 HAS SOPS 82738 HAS SOUS 49352 HAS SOUPS 49028 WITH SCORE 49111.062
AT ITER 598 NEW BEST:: SOT 110360 SOS 82897 HAS SOPS 82573 HAS SOUS 49332 HAS SOUPS 49008 WITH SCORE 49090.897
AT ITER 600 NEW BEST:: SOT 110341 SOS 82824 HAS SOPS 82500 HAS SOUS 49325 HAS SOUPS 49001 WITH SCORE 49083.824
AT ITER 601 NEW BEST:: SOT 109956 SOS 82550 HAS SOPS 82226 HAS SOUS 48996 HAS SOUPS 48672 WITH SCORE 48754.55
AT ITER 602 NEW BEST:: SOT 109936 SOS 82451 HAS SOPS 82127 HAS SOUS 48899 HAS SOUPS 48575 WITH SCORE 48657.451
AT ITER 607 NEW BEST:: SOT 109936 SOS 82421 HAS SOPS 82087 HAS SOUS 48899 HAS SOUPS 48565 WITH SCORE 48647.421
AT ITER 611 NEW BEST:: SOT 110025 SOS 81743 HAS SOPS 81409 HAS SOUS 48656 HAS SOUPS 48322 WITH SCORE 48403.743
AT ITER 614 NEW BEST:: SOT 110105 SOS 81823 HAS SOPS 81489 HAS SOUS 48542 HAS SOUPS 48208 WITH SCORE 48289.823
AT ITER 618 NEW BEST:: SOT 110105 SOS 81823 HAS SOPS 81489 HAS SOUS 48406 HAS SOUPS 48072 WITH SCORE 48153.823
AT ITER 619 NEW BEST:: SOT 110223 SOS 82025 HAS SOPS 81691 HAS SOUS 48338 HAS SOUPS 48004 WITH SCORE 48086.025
AT ITER 621 NEW BEST:: SOT 109536 SOS 80806 HAS SOPS 80472 HAS SOUS 47523 HAS SOUPS 47189 WITH SCORE 47269.806
AT ITER 623 NEW BEST:: SOT 109524 SOS 80694 HAS SOPS 80360 HAS SOUS 47443 HAS SOUPS 47109 WITH SCORE 47189.694
AT ITER 626 NEW BEST:: SOT 108929 SOS 80237 HAS SOPS 79903 HAS SOUS 47094 HAS SOUPS 46760 WITH SCORE 46840.237
AT ITER 627 NEW BEST:: SOT 108934 SOS 79219 HAS SOPS 78848 HAS SOUS 47065 HAS SOUPS 46728 WITH SCORE 46807.219
AT ITER 628 NEW BEST:: SOT 108895 SOS 79197 HAS SOPS 78826 HAS SOUS 47043 HAS SOUPS 46706 WITH SCORE 46785.197
AT ITER 631 NEW BEST:: SOT 108981 SOS 79362 HAS SOPS 78991 HAS SOUS 47016 HAS SOUPS 46679 WITH SCORE 46758.362
AT ITER 632 NEW BEST:: SOT 108981 SOS 79362 HAS SOPS 78991 HAS SOUS 46958 HAS SOUPS 46621 WITH SCORE 46700.362
AT ITER 633 NEW BEST:: SOT 108686 SOS 79067 HAS SOPS 78696 HAS SOUS 46730 HAS SOUPS 46393 WITH SCORE 46472.067
AT ITER 636 NEW BEST:: SOT 108626 SOS 78941 HAS SOPS 78570 HAS SOUS 46670 HAS SOUPS 46333 WITH SCORE 46411.941
AT ITER 638 NEW BEST:: SOT 108652 SOS 78967 HAS SOPS 78596 HAS SOUS 46644 HAS SOUPS 46307 WITH SCORE 46385.967
AT ITER 640 NEW BEST:: SOT 108665 SOS 78978 HAS SOPS 78607 HAS SOUS 46587 HAS SOUPS 46250 WITH SCORE 46328.978
AT ITER 643 NEW BEST:: SOT 108629 SOS 79062 HAS SOPS 78691 HAS SOUS 46471 HAS SOUPS 46134 WITH SCORE 46213.062
AT ITER 644 NEW BEST:: SOT 108557 SOS 78990 HAS SOPS 78619 HAS SOUS 46351 HAS SOUPS 46014 WITH SCORE 46092.99
AT ITER 645 NEW BEST:: SOT 108557 SOS 78106 HAS SOPS 77735 HAS SOUS 46215 HAS SOUPS 45878 WITH SCORE 45956.106
AT ITER 651 NEW BEST:: SOT 108557 SOS 77877 HAS SOPS 77506 HAS SOUS 46154 HAS SOUPS 45817 WITH SCORE 45894.877
AT ITER 654 NEW BEST:: SOT 108550 SOS 77870 HAS SOPS 77499 HAS SOUS 46147 HAS SOUPS 45810 WITH SCORE 45887.87
AT ITER 656 NEW BEST:: SOT 108518 SOS 77838 HAS SOPS 77467 HAS SOUS 46115 HAS SOUPS 45778 WITH SCORE 45855.838
AT ITER 658 NEW BEST:: SOT 108512 SOS 77832 HAS SOPS 77461 HAS SOUS 46109 HAS SOUPS 45772 WITH SCORE 45849.832
AT ITER 659 NEW BEST:: SOT 108512 SOS 77590 HAS SOPS 77219 HAS SOUS 46067 HAS SOUPS 45730 WITH SCORE 45807.59
AT ITER 660 NEW BEST:: SOT 108529 SOS 77607 HAS SOPS 77236 HAS SOUS 46050 HAS SOUPS 45713 WITH SCORE 45790.607
AT ITER 679 NEW BEST:: SOT 108498 SOS 76777 HAS SOPS 76406 HAS SOUS 45904 HAS SOUPS 45567 WITH SCORE 45643.777
AT ITER 681 NEW BEST:: SOT 108156 SOS 76435 HAS SOPS 76064 HAS SOUS 45565 HAS SOUPS 45228 WITH SCORE 45304.435
AT ITER 694 NEW BEST:: SOT 108150 SOS 76397 HAS SOPS 76026 HAS SOUS 45535 HAS SOUPS 45198 WITH SCORE 45274.397
AT ITER 703 NEW BEST:: SOT 108179 SOS 76426 HAS SOPS 76055 HAS SOUS 45499 HAS SOUPS 45162 WITH SCORE 45238.426
AT ITER 713 NEW BEST:: SOT 108199 SOS 76446 HAS SOPS 76075 HAS SOUS 45457 HAS SOUPS 45120 WITH SCORE 45196.446
AT ITER 714 NEW BEST:: SOT 108027 SOS 76274 HAS SOPS 75903 HAS SOUS 45313 HAS SOUPS 44976 WITH SCORE 45052.274
AT ITER 715 NEW BEST:: SOT 108020 SOS 76267 HAS SOPS 75896 HAS SOUS 45306 HAS SOUPS 44969 WITH SCORE 45045.267
AT ITER 723 NEW BEST:: SOT 107967 SOS 76193 HAS SOPS 75822 HAS SOUS 45232 HAS SOUPS 44895 WITH SCORE 44971.193
AT ITER 726 NEW BEST:: SOT 107767 SOS 75993 HAS SOPS 75622 HAS SOUS 44873 HAS SOUPS 44536 WITH SCORE 44611.993
AT ITER 734 NEW BEST:: SOT 107767 SOS 75879 HAS SOPS 75508 HAS SOUS 44873 HAS SOUPS 44536 WITH SCORE 44611.879
AT ITER 735 NEW BEST:: SOT 107766 SOS 75874 HAS SOPS 75503 HAS SOUS 44871 HAS SOUPS 44534 WITH SCORE 44609.874
AT ITER 739 NEW BEST:: SOT 107821 SOS 76043 HAS SOPS 75672 HAS SOUS 44863 HAS SOUPS 44526 WITH SCORE 44602.043
AT ITER 741 NEW BEST:: SOT 107734 SOS 75956 HAS SOPS 75585 HAS SOUS 44616 HAS SOUPS 44279 WITH SCORE 44354.956
AT ITER 747 NEW BEST:: SOT 107770 SOS 75992 HAS SOPS 75621 HAS SOUS 44587 HAS SOUPS 44250 WITH SCORE 44325.992
AT ITER 766 NEW BEST:: SOT 107770 SOS 75992 HAS SOPS 75621 HAS SOUS 44425 HAS SOUPS 44088 WITH SCORE 44163.992
AT ITER 767 NEW BEST:: SOT 107773 SOS 75995 HAS SOPS 75624 HAS SOUS 44422 HAS SOUPS 44085 WITH SCORE 44160.995
AT ITER 768 NEW BEST:: SOT 107465 SOS 75687 HAS SOPS 75316 HAS SOUS 44111 HAS SOUPS 43774 WITH SCORE 43849.687
AT ITER 775 NEW BEST:: SOT 107465 SOS 75204 HAS SOPS 74833 HAS SOUS 44038 HAS SOUPS 43701 WITH SCORE 43776.204
AT ITER 778 NEW BEST:: SOT 107481 SOS 75200 HAS SOPS 74829 HAS SOUS 44028 HAS SOUPS 43691 WITH SCORE 43766.2
AT ITER 782 NEW BEST:: SOT 107474 SOS 75193 HAS SOPS 74822 HAS SOUS 44021 HAS SOUPS 43684 WITH SCORE 43759.193
AT ITER 785 NEW BEST:: SOT 107432 SOS 75037 HAS SOPS 74666 HAS SOUS 43950 HAS SOUPS 43613 WITH SCORE 43688.037
AT ITER 794 NEW BEST:: SOT 107358 SOS 74963 HAS SOPS 74592 HAS SOUS 43876 HAS SOUPS 43539 WITH SCORE 43613.963
AT ITER 802 NEW BEST:: SOT 107445 SOS 74856 HAS SOPS 74485 HAS SOUS 43759 HAS SOUPS 43422 WITH SCORE 43496.856
AT ITER 806 NEW BEST:: SOT 107216 SOS 74734 HAS SOPS 74363 HAS SOUS 43453 HAS SOUPS 43116 WITH SCORE 43190.734
AT ITER 811 NEW BEST:: SOT 106959 SOS 74241 HAS SOPS 73729 HAS SOUS 43274 HAS SOUPS 42799 WITH SCORE 42873.241
AT ITER 816 NEW BEST:: SOT 106850 SOS 74132 HAS SOPS 73620 HAS SOUS 43126 HAS SOUPS 42651 WITH SCORE 42725.132
AT ITER 819 NEW BEST:: SOT 106817 SOS 74099 HAS SOPS 73587 HAS SOUS 43093 HAS SOUPS 42618 WITH SCORE 42692.099
AT ITER 820 NEW BEST:: SOT 106754 SOS 73680 HAS SOPS 73168 HAS SOUS 42785 HAS SOUPS 42310 WITH SCORE 42383.68
AT ITER 822 NEW BEST:: SOT 106716 SOS 73642 HAS SOPS 73130 HAS SOUS 42747 HAS SOUPS 42272 WITH SCORE 42345.642
AT ITER 823 NEW BEST:: SOT 106736 SOS 73662 HAS SOPS 73150 HAS SOUS 42727 HAS SOUPS 42252 WITH SCORE 42325.662
AT ITER 827 NEW BEST:: SOT 106691 SOS 73302 HAS SOPS 72790 HAS SOUS 42682 HAS SOUPS 42207 WITH SCORE 42280.302
AT ITER 829 NEW BEST:: SOT 106641 SOS 73252 HAS SOPS 72740 HAS SOUS 42602 HAS SOUPS 42127 WITH SCORE 42200.252
AT ITER 834 NEW BEST:: SOT 106599 SOS 73242 HAS SOPS 72730 HAS SOUS 42592 HAS SOUPS 42117 WITH SCORE 42190.242
AT ITER 854 NEW BEST:: SOT 106599 SOS 73587 HAS SOPS 73075 HAS SOUS 42562 HAS SOUPS 42087 WITH SCORE 42160.587
AT ITER 865 NEW BEST:: SOT 106599 SOS 73587 HAS SOPS 73075 HAS SOUS 42555 HAS SOUPS 42080 WITH SCORE 42153.587
AT ITER 871 NEW BEST:: SOT 106261 SOS 73249 HAS SOPS 72737 HAS SOUS 42193 HAS SOUPS 41718 WITH SCORE 41791.249
AT ITER 878 NEW BEST:: SOT 106167 SOS 73155 HAS SOPS 72643 HAS SOUS 42099 HAS SOUPS 41624 WITH SCORE 41697.155
AT ITER 886 NEW BEST:: SOT 106180 SOS 72876 HAS SOPS 72269 HAS SOUS 42115 HAS SOUPS 41545 WITH SCORE 41617.876
AT ITER 890 NEW BEST:: SOT 106180 SOS 72640 HAS SOPS 72033 HAS SOUS 42093 HAS SOUPS 41523 WITH SCORE 41595.64
AT ITER 894 NEW BEST:: SOT 106095 SOS 72271 HAS SOPS 71664 HAS SOUS 41825 HAS SOUPS 41255 WITH SCORE 41327.271
AT ITER 898 NEW BEST:: SOT 106068 SOS 72226 HAS SOPS 71628 HAS SOUS 41780 HAS SOUPS 41219 WITH SCORE 41291.226
AT ITER 900 NEW BEST:: SOT 106062 SOS 72220 HAS SOPS 71628 HAS SOUS 41774 HAS SOUPS 41219 WITH SCORE 41291.22
AT ITER 915 NEW BEST:: SOT 106062 SOS 72220 HAS SOPS 71628 HAS SOUS 41766 HAS SOUPS 41211 WITH SCORE 41283.22
AT ITER 917 NEW BEST:: SOT 105948 SOS 71935 HAS SOPS 71343 HAS SOUS 41558 HAS SOUPS 41003 WITH SCORE 41074.935
AT ITER 919 NEW BEST:: SOT 105868 SOS 71869 HAS SOPS 71277 HAS SOUS 41504 HAS SOUPS 40949 WITH SCORE 41020.869
AT ITER 928 NEW BEST:: SOT 105847 SOS 71869 HAS SOPS 71256 HAS SOUS 41483 HAS SOUPS 40907 WITH SCORE 40978.869
AT ITER 929 NEW BEST:: SOT 105887 SOS 71860 HAS SOPS 71247 HAS SOUS 41459 HAS SOUPS 40883 WITH SCORE 40954.86
AT ITER 931 NEW BEST:: SOT 105751 SOS 71704 HAS SOPS 71091 HAS SOUS 41299 HAS SOUPS 40723 WITH SCORE 40794.704
AT ITER 941 NEW BEST:: SOT 105697 SOS 71515 HAS SOPS 70902 HAS SOUS 41191 HAS SOUPS 40615 WITH SCORE 40686.515
AT ITER 947 NEW BEST:: SOT 105662 SOS 71482 HAS SOPS 70869 HAS SOUS 41157 HAS SOUPS 40581 WITH SCORE 40652.482
AT ITER 956 NEW BEST:: SOT 105532 SOS 70973 HAS SOPS 70360 HAS SOUS 40834 HAS SOUPS 40258 WITH SCORE 40328.973
AT ITER 966 NEW BEST:: SOT 105586 SOS 71104 HAS SOPS 70491 HAS SOUS 40786 HAS SOUPS 40210 WITH SCORE 40281.104
AT ITER 967 NEW BEST:: SOT 105590 SOS 71108 HAS SOPS 70495 HAS SOUS 40784 HAS SOUPS 40208 WITH SCORE 40279.108
AT ITER 968 NEW BEST:: SOT 105376 SOS 69784 HAS SOPS 69171 HAS SOUS 40432 HAS SOUPS 39856 WITH SCORE 39925.784
AT ITER 969 NEW BEST:: SOT 105322 SOS 69653 HAS SOPS 69040 HAS SOUS 40425 HAS SOUPS 39849 WITH SCORE 39918.653
AT ITER 971 NEW BEST:: SOT 105319 SOS 69650 HAS SOPS 69037 HAS SOUS 40419 HAS SOUPS 39843 WITH SCORE 39912.65
AT ITER 972 NEW BEST:: SOT 105305 SOS 69633 HAS SOPS 69020 HAS SOUS 40402 HAS SOUPS 39826 WITH SCORE 39895.633
AT ITER 978 NEW BEST:: SOT 105295 SOS 69481 HAS SOPS 68868 HAS SOUS 40392 HAS SOUPS 39816 WITH SCORE 39885.481
AT ITER 979 NEW BEST:: SOT 105465 SOS 69651 HAS SOPS 69038 HAS SOUS 40298 HAS SOUPS 39722 WITH SCORE 39791.651
AT ITER 982 NEW BEST:: SOT 105465 SOS 69321 HAS SOPS 68708 HAS SOUS 40298 HAS SOUPS 39722 WITH SCORE 39791.321
AT ITER 992 NEW BEST:: SOT 105127 SOS 68828 HAS SOPS 68215 HAS SOUS 39828 HAS SOUPS 39252 WITH SCORE 39320.828
AT ITER 1006 NEW BEST:: SOT 104928 SOS 68651 HAS SOPS 67836 HAS SOUS 39727 HAS SOUPS 38960 WITH SCORE 39028.651
AT ITER 1007 NEW BEST:: SOT 104681 SOS 68404 HAS SOPS 67589 HAS SOUS 39242 HAS SOUPS 38475 WITH SCORE 38543.404
AT ITER 1011 NEW BEST:: SOT 104556 SOS 68222 HAS SOPS 67407 HAS SOUS 39060 HAS SOUPS 38293 WITH SCORE 38361.222
AT ITER 1012 NEW BEST:: SOT 104548 SOS 68203 HAS SOPS 67388 HAS SOUS 39060 HAS SOUPS 38293 WITH SCORE 38361.203
AT ITER 1019 NEW BEST:: SOT 104532 SOS 68187 HAS SOPS 67372 HAS SOUS 39044 HAS SOUPS 38277 WITH SCORE 38345.187
AT ITER 1022 NEW BEST:: SOT 104510 SOS 68165 HAS SOPS 67350 HAS SOUS 39022 HAS SOUPS 38255 WITH SCORE 38323.165
AT ITER 1023 NEW BEST:: SOT 104376 SOS 67984 HAS SOPS 67169 HAS SOUS 38816 HAS SOUPS 38049 WITH SCORE 38116.984
AT ITER 1025 NEW BEST:: SOT 104376 SOS 67919 HAS SOPS 67093 HAS SOUS 38805 HAS SOUPS 38038 WITH SCORE 38105.919
AT ITER 1026 NEW BEST:: SOT 104323 SOS 67866 HAS SOPS 67040 HAS SOUS 38737 HAS SOUPS 37970 WITH SCORE 38037.866
AT ITER 1027 NEW BEST:: SOT 104119 SOS 67618 HAS SOPS 66792 HAS SOUS 38642 HAS SOUPS 37875 WITH SCORE 37942.618
AT ITER 1028 NEW BEST:: SOT 104119 SOS 67285 HAS SOPS 66459 HAS SOUS 38636 HAS SOUPS 37869 WITH SCORE 37936.285
AT ITER 1030 NEW BEST:: SOT 104057 SOS 67223 HAS SOPS 66397 HAS SOUS 38636 HAS SOUPS 37869 WITH SCORE 37936.223
AT ITER 1052 NEW BEST:: SOT 104013 SOS 67063 HAS SOPS 66237 HAS SOUS 38614 HAS SOUPS 37847 WITH SCORE 37914.063
AT ITER 1056 NEW BEST:: SOT 103933 SOS 67165 HAS SOPS 66379 HAS SOUS 38513 HAS SOUPS 37786 WITH SCORE 37853.165
AT ITER 1076 NEW BEST:: SOT 103933 SOS 67205 HAS SOPS 66419 HAS SOUS 38493 HAS SOUPS 37766 WITH SCORE 37833.205
AT ITER 1082 NEW BEST:: SOT 103866 SOS 67051 HAS SOPS 66264 HAS SOUS 38454 HAS SOUPS 37726 WITH SCORE 37793.051
AT ITER 1083 NEW BEST:: SOT 103844 SOS 67029 HAS SOPS 66242 HAS SOUS 38454 HAS SOUPS 37726 WITH SCORE 37793.029
AT ITER 1090 NEW BEST:: SOT 103844 SOS 67029 HAS SOPS 66242 HAS SOUS 38451 HAS SOUPS 37723 WITH SCORE 37790.029
AT ITER 1093 NEW BEST:: SOT 103828 SOS 67010 HAS SOPS 66223 HAS SOUS 38431 HAS SOUPS 37703 WITH SCORE 37770.01
AT ITER 1100 NEW BEST:: SOT 103796 SOS 67182 HAS SOPS 66396 HAS SOUS 38394 HAS SOUPS 37667 WITH SCORE 37734.182
AT ITER 1115 NEW BEST:: SOT 103789 SOS 67022 HAS SOPS 66389 HAS SOUS 38214 HAS SOUPS 37603 WITH SCORE 37670.022
AT ITER 1116 NEW BEST:: SOT 103789 SOS 67022 HAS SOPS 66389 HAS SOUS 38200 HAS SOUPS 37589 WITH SCORE 37656.022
AT ITER 1132 NEW BEST:: SOT 103743 SOS 66976 HAS SOPS 66343 HAS SOUS 38154 HAS SOUPS 37543 WITH SCORE 37609.976
AT ITER 1133 NEW BEST:: SOT 103818 SOS 66943 HAS SOPS 66310 HAS SOUS 38147 HAS SOUPS 37536 WITH SCORE 37602.943
AT ITER 1144 NEW BEST:: SOT 103666 SOS 66877 HAS SOPS 66244 HAS SOUS 38057 HAS SOUPS 37446 WITH SCORE 37512.877
AT ITER 1147 NEW BEST:: SOT 103646 SOS 66857 HAS SOPS 66224 HAS SOUS 38037 HAS SOUPS 37426 WITH SCORE 37492.857
AT ITER 1148 NEW BEST:: SOT 103641 SOS 66852 HAS SOPS 66219 HAS SOUS 37912 HAS SOUPS 37301 WITH SCORE 37367.852
AT ITER 1155 NEW BEST:: SOT 103675 SOS 66497 HAS SOPS 65797 HAS SOUS 37828 HAS SOUPS 37217 WITH SCORE 37283.497
AT ITER 1158 NEW BEST:: SOT 103562 SOS 66374 HAS SOPS 65674 HAS SOUS 37672 HAS SOUPS 37061 WITH SCORE 37127.374
AT ITER 1163 NEW BEST:: SOT 103510 SOS 66236 HAS SOPS 65536 HAS SOUS 37577 HAS SOUPS 36966 WITH SCORE 37032.236
AT ITER 1180 NEW BEST:: SOT 103334 SOS 66060 HAS SOPS 65360 HAS SOUS 37401 HAS SOUPS 36790 WITH SCORE 36856.06
AT ITER 1181 NEW BEST:: SOT 103221 SOS 66249 HAS SOPS 65586 HAS SOUS 37341 HAS SOUPS 36767 WITH SCORE 36833.249
AT ITER 1185 NEW BEST:: SOT 103160 SOS 66046 HAS SOPS 65383 HAS SOUS 37282 HAS SOUPS 36708 WITH SCORE 36774.046
AT ITER 1188 NEW BEST:: SOT 103134 SOS 66020 HAS SOPS 65357 HAS SOUS 37260 HAS SOUPS 36686 WITH SCORE 36752.02
AT ITER 1193 NEW BEST:: SOT 103090 SOS 65932 HAS SOPS 65313 HAS SOUS 37216 HAS SOUPS 36686 WITH SCORE 36751.932
AT ITER 1196 NEW BEST:: SOT 103090 SOS 65894 HAS SOPS 65275 HAS SOUS 37178 HAS SOUPS 36648 WITH SCORE 36713.894
AT ITER 1200 NEW BEST:: SOT 103086 SOS 65894 HAS SOPS 65275 HAS SOUS 37174 HAS SOUPS 36644 WITH SCORE 36709.894
AT ITER 1201 NEW BEST:: SOT 102961 SOS 65756 HAS SOPS 65137 HAS SOUS 36996 HAS SOUPS 36466 WITH SCORE 36531.756
AT ITER 1202 NEW BEST:: SOT 102944 SOS 65748 HAS SOPS 65120 HAS SOUS 36972 HAS SOUPS 36433 WITH SCORE 36498.748
AT ITER 1208 NEW BEST:: SOT 102919 SOS 65723 HAS SOPS 65095 HAS SOUS 36947 HAS SOUPS 36408 WITH SCORE 36473.723
AT ITER 1210 NEW BEST:: SOT 102955 SOS 65823 HAS SOPS 65195 HAS SOUS 36919 HAS SOUPS 36380 WITH SCORE 36445.823
AT ITER 1211 NEW BEST:: SOT 102928 SOS 65628 HAS SOPS 65180 HAS SOUS 36702 HAS SOUPS 36343 WITH SCORE 36408.628
AT ITER 1214 NEW BEST:: SOT 103003 SOS 65533 HAS SOPS 65085 HAS SOUS 36615 HAS SOUPS 36256 WITH SCORE 36321.533
AT ITER 1218 NEW BEST:: SOT 102956 SOS 65513 HAS SOPS 65065 HAS SOUS 36604 HAS SOUPS 36245 WITH SCORE 36310.513
AT ITER 1231 NEW BEST:: SOT 102899 SOS 65458 HAS SOPS 65010 HAS SOUS 36544 HAS SOUPS 36185 WITH SCORE 36250.458
AT ITER 1232 NEW BEST:: SOT 102691 SOS 65349 HAS SOPS 64802 HAS SOUS 36402 HAS SOUPS 35954 WITH SCORE 36019.349
AT ITER 1237 NEW BEST:: SOT 102688 SOS 65348 HAS SOPS 64801 HAS SOUS 36399 HAS SOUPS 35951 WITH SCORE 36016.348
AT ITER 1240 NEW BEST:: SOT 102674 SOS 65350 HAS SOPS 64803 HAS SOUS 36346 HAS SOUPS 35898 WITH SCORE 35963.35
AT ITER 1242 NEW BEST:: SOT 102497 SOS 65177 HAS SOPS 64630 HAS SOUS 36191 HAS SOUPS 35743 WITH SCORE 35808.177
AT ITER 1247 NEW BEST:: SOT 102355 SOS 65035 HAS SOPS 64488 HAS SOUS 36090 HAS SOUPS 35642 WITH SCORE 35707.035
AT ITER 1255 NEW BEST:: SOT 102372 SOS 64779 HAS SOPS 64073 HAS SOUS 35992 HAS SOUPS 35417 WITH SCORE 35481.779
AT ITER 1261 NEW BEST:: SOT 102327 SOS 64732 HAS SOPS 64026 HAS SOUS 35972 HAS SOUPS 35397 WITH SCORE 35461.732
AT ITER 1265 NEW BEST:: SOT 102279 SOS 64684 HAS SOPS 63978 HAS SOUS 35972 HAS SOUPS 35397 WITH SCORE 35461.684
AT ITER 1278 NEW BEST:: SOT 102249 SOS 64714 HAS SOPS 64008 HAS SOUS 35957 HAS SOUPS 35382 WITH SCORE 35446.714
AT ITER 1283 NEW BEST:: SOT 102249 SOS 64714 HAS SOPS 64008 HAS SOUS 35710 HAS SOUPS 35135 WITH SCORE 35199.714
AT ITER 1294 NEW BEST:: SOT 102097 SOS 64535 HAS SOPS 63799 HAS SOUS 35590 HAS SOUPS 34988 WITH SCORE 35052.535
AT ITER 1305 NEW BEST:: SOT 102087 SOS 64541 HAS SOPS 63805 HAS SOUS 35588 HAS SOUPS 34986 WITH SCORE 35050.541
AT ITER 1308 NEW BEST:: SOT 102087 SOS 64541 HAS SOPS 63805 HAS SOUS 35584 HAS SOUPS 34982 WITH SCORE 35046.541
AT ITER 1313 NEW BEST:: SOT 102087 SOS 64387 HAS SOPS 63651 HAS SOUS 35584 HAS SOUPS 34982 WITH SCORE 35046.387
AT ITER 1317 NEW BEST:: SOT 102088 SOS 64432 HAS SOPS 63661 HAS SOUS 35612 HAS SOUPS 34975 WITH SCORE 35039.432
AT ITER 1321 NEW BEST:: SOT 101972 SOS 64316 HAS SOPS 63545 HAS SOUS 35612 HAS SOUPS 34975 WITH SCORE 35039.316
AT ITER 1328 NEW BEST:: SOT 101894 SOS 64238 HAS SOPS 63467 HAS SOUS 35508 HAS SOUPS 34871 WITH SCORE 34935.238
AT ITER 1352 NEW BEST:: SOT 101676 SOS 63762 HAS SOPS 62991 HAS SOUS 35446 HAS SOUPS 34809 WITH SCORE 34872.762
AT ITER 1354 NEW BEST:: SOT 101527 SOS 63650 HAS SOPS 62884 HAS SOUS 35272 HAS SOUPS 34640 WITH SCORE 34703.65
AT ITER 1364 NEW BEST:: SOT 101524 SOS 63647 HAS SOPS 62881 HAS SOUS 35271 HAS SOUPS 34639 WITH SCORE 34702.647
AT ITER 1369 NEW BEST:: SOT 101467 SOS 63687 HAS SOPS 62803 HAS SOUS 35283 HAS SOUPS 34591 WITH SCORE 34654.687
AT ITER 1375 NEW BEST:: SOT 101329 SOS 63316 HAS SOPS 62432 HAS SOUS 35231 HAS SOUPS 34539 WITH SCORE 34602.316
AT ITER 1390 NEW BEST:: SOT 101329 SOS 63240 HAS SOPS 62356 HAS SOUS 35193 HAS SOUPS 34501 WITH SCORE 34564.24
AT ITER 1399 NEW BEST:: SOT 101432 SOS 63285 HAS SOPS 62401 HAS SOUS 35157 HAS SOUPS 34465 WITH SCORE 34528.285
AT ITER 1400 NEW BEST:: SOT 101413 SOS 63245 HAS SOPS 62361 HAS SOUS 35100 HAS SOUPS 34408 WITH SCORE 34471.245
AT ITER 1406 NEW BEST:: SOT 101374 SOS 63206 HAS SOPS 62322 HAS SOUS 35061 HAS SOUPS 34369 WITH SCORE 34432.206
AT ITER 1408 NEW BEST:: SOT 101374 SOS 63204 HAS SOPS 62320 HAS SOUS 35061 HAS SOUPS 34369 WITH SCORE 34432.204
AT ITER 1410 NEW BEST:: SOT 101374 SOS 63192 HAS SOPS 62308 HAS SOUS 35037 HAS SOUPS 34345 WITH SCORE 34408.192
AT ITER 1418 NEW BEST:: SOT 101346 SOS 62915 HAS SOPS 62031 HAS SOUS 34986 HAS SOUPS 34294 WITH SCORE 34356.915
AT ITER 1420 NEW BEST:: SOT 101310 SOS 62879 HAS SOPS 61995 HAS SOUS 34963 HAS SOUPS 34271 WITH SCORE 34333.879
AT ITER 1427 NEW BEST:: SOT 101219 SOS 62788 HAS SOPS 61904 HAS SOUS 34872 HAS SOUPS 34180 WITH SCORE 34242.788
AT ITER 1444 NEW BEST:: SOT 101027 SOS 62435 HAS SOPS 61551 HAS SOUS 34700 HAS SOUPS 34008 WITH SCORE 34070.435
AT ITER 1454 NEW BEST:: SOT 100907 SOS 62255 HAS SOPS 61371 HAS SOUS 34580 HAS SOUPS 33888 WITH SCORE 33950.255
AT ITER 1460 NEW BEST:: SOT 100894 SOS 62188 HAS SOPS 61304 HAS SOUS 34548 HAS SOUPS 33856 WITH SCORE 33918.188
AT ITER 1462 NEW BEST:: SOT 100785 SOS 61908 HAS SOPS 61024 HAS SOUS 34323 HAS SOUPS 33631 WITH SCORE 33692.908
AT ITER 1463 NEW BEST:: SOT 101003 SOS 61161 HAS SOPS 60277 HAS SOUS 34275 HAS SOUPS 33583 WITH SCORE 33644.161
AT ITER 1465 NEW BEST:: SOT 101162 SOS 60699 HAS SOPS 59815 HAS SOUS 34245 HAS SOUPS 33553 WITH SCORE 33613.699
AT ITER 1466 NEW BEST:: SOT 101162 SOS 60756 HAS SOPS 59872 HAS SOUS 34221 HAS SOUPS 33529 WITH SCORE 33589.756
AT ITER 1469 NEW BEST:: SOT 101149 SOS 60743 HAS SOPS 59859 HAS SOUS 34182 HAS SOUPS 33490 WITH SCORE 33550.743
AT ITER 1481 NEW BEST:: SOT 101155 SOS 60749 HAS SOPS 59865 HAS SOUS 34179 HAS SOUPS 33487 WITH SCORE 33547.749
AT ITER 1482 NEW BEST:: SOT 101135 SOS 60796 HAS SOPS 59912 HAS SOUS 34175 HAS SOUPS 33483 WITH SCORE 33543.796
AT ITER 1490 NEW BEST:: SOT 101130 SOS 60746 HAS SOPS 59862 HAS SOUS 34161 HAS SOUPS 33469 WITH SCORE 33529.746
AT ITER 1501 NEW BEST:: SOT 101104 SOS 60720 HAS SOPS 59836 HAS SOUS 34135 HAS SOUPS 33443 WITH SCORE 33503.72
AT ITER 1504 NEW BEST:: SOT 100998 SOS 59957 HAS SOPS 59073 HAS SOUS 33956 HAS SOUPS 33264 WITH SCORE 33323.957
AT ITER 1511 NEW BEST:: SOT 100976 SOS 59810 HAS SOPS 58926 HAS SOUS 33926 HAS SOUPS 33234 WITH SCORE 33293.81
AT ITER 1526 NEW BEST:: SOT 100976 SOS 59810 HAS SOPS 58926 HAS SOUS 33894 HAS SOUPS 33202 WITH SCORE 33261.81
AT ITER 1529 NEW BEST:: SOT 100976 SOS 59802 HAS SOPS 58918 HAS SOUS 33864 HAS SOUPS 33172 WITH SCORE 33231.802
AT ITER 1532 NEW BEST:: SOT 100976 SOS 59802 HAS SOPS 58918 HAS SOUS 33850 HAS SOUPS 33158 WITH SCORE 33217.802
AT ITER 1535 NEW BEST:: SOT 100920 SOS 59746 HAS SOPS 58862 HAS SOUS 33667 HAS SOUPS 32975 WITH SCORE 33034.746
AT ITER 1568 NEW BEST:: SOT 100880 SOS 59706 HAS SOPS 58822 HAS SOUS 33601 HAS SOUPS 32909 WITH SCORE 32968.706
AT ITER 1569 NEW BEST:: SOT 100885 SOS 59666 HAS SOPS 58782 HAS SOUS 33581 HAS SOUPS 32889 WITH SCORE 32948.666
AT ITER 1571 NEW BEST:: SOT 100910 SOS 59691 HAS SOPS 58807 HAS SOUS 33578 HAS SOUPS 32886 WITH SCORE 32945.691
AT ITER 1573 NEW BEST:: SOT 100946 SOS 59765 HAS SOPS 58881 HAS SOUS 33560 HAS SOUPS 32868 WITH SCORE 32927.765
AT ITER 1574 NEW BEST:: SOT 100848 SOS 59667 HAS SOPS 58783 HAS SOUS 33560 HAS SOUPS 32868 WITH SCORE 32927.667
AT ITER 1576 NEW BEST:: SOT 100838 SOS 59681 HAS SOPS 58797 HAS SOUS 33550 HAS SOUPS 32858 WITH SCORE 32917.681
AT ITER 1577 NEW BEST:: SOT 100803 SOS 59646 HAS SOPS 58762 HAS SOUS 33515 HAS SOUPS 32823 WITH SCORE 32882.646
AT ITER 1579 NEW BEST:: SOT 100647 SOS 59296 HAS SOPS 58412 HAS SOUS 33491 HAS SOUPS 32799 WITH SCORE 32858.296
AT ITER 1585 NEW BEST:: SOT 100640 SOS 59289 HAS SOPS 58405 HAS SOUS 33484 HAS SOUPS 32792 WITH SCORE 32851.289
AT ITER 1606 NEW BEST:: SOT 100652 SOS 59301 HAS SOPS 58417 HAS SOUS 33469 HAS SOUPS 32777 WITH SCORE 32836.301
AT ITER 1609 NEW BEST:: SOT 100652 SOS 59259 HAS SOPS 58375 HAS SOUS 33448 HAS SOUPS 32756 WITH SCORE 32815.259
AT ITER 1612 NEW BEST:: SOT 100532 SOS 59113 HAS SOPS 58229 HAS SOUS 33384 HAS SOUPS 32692 WITH SCORE 32751.113
AT ITER 1617 NEW BEST:: SOT 100462 SOS 59043 HAS SOPS 58159 HAS SOUS 33314 HAS SOUPS 32622 WITH SCORE 32681.043
AT ITER 1627 NEW BEST:: SOT 100439 SOS 59020 HAS SOPS 58136 HAS SOUS 33291 HAS SOUPS 32599 WITH SCORE 32658.02
AT ITER 1630 NEW BEST:: SOT 100466 SOS 59035 HAS SOPS 58121 HAS SOUS 33291 HAS SOUPS 32569 WITH SCORE 32628.035
AT ITER 1631 NEW BEST:: SOT 100428 SOS 59217 HAS SOPS 58303 HAS SOUS 33209 HAS SOUPS 32487 WITH SCORE 32546.217
AT ITER 1635 NEW BEST:: SOT 100376 SOS 59067 HAS SOPS 58153 HAS SOUS 33105 HAS SOUPS 32383 WITH SCORE 32442.067
AT ITER 1636 NEW BEST:: SOT 100353 SOS 59070 HAS SOPS 58091 HAS SOUS 33141 HAS SOUPS 32354 WITH SCORE 32413.07
AT ITER 1652 NEW BEST:: SOT 100191 SOS 58908 HAS SOPS 57929 HAS SOUS 32961 HAS SOUPS 32174 WITH SCORE 32232.908
AT ITER 1656 NEW BEST:: SOT 100191 SOS 58913 HAS SOPS 57924 HAS SOUS 32955 HAS SOUPS 32163 WITH SCORE 32221.913
AT ITER 1668 NEW BEST:: SOT 100153 SOS 58761 HAS SOPS 57772 HAS SOUS 32879 HAS SOUPS 32087 WITH SCORE 32145.761
AT ITER 1669 NEW BEST:: SOT 100201 SOS 59165 HAS SOPS 58097 HAS SOUS 32903 HAS SOUPS 32032 WITH SCORE 32091.165
AT ITER 1677 NEW BEST:: SOT 100201 SOS 58046 HAS SOPS 56978 HAS SOUS 32876 HAS SOUPS 32005 WITH SCORE 32063.046
AT ITER 1683 NEW BEST:: SOT 100201 SOS 58046 HAS SOPS 56978 HAS SOUS 32828 HAS SOUPS 31957 WITH SCORE 32015.046
AT ITER 1693 NEW BEST:: SOT 100101 SOS 57946 HAS SOPS 56878 HAS SOUS 32828 HAS SOUPS 31957 WITH SCORE 32014.946
AT ITER 1703 NEW BEST:: SOT 100083 SOS 57928 HAS SOPS 56860 HAS SOUS 32808 HAS SOUPS 31937 WITH SCORE 31994.928
AT ITER 1706 NEW BEST:: SOT 100083 SOS 57937 HAS SOPS 56819 HAS SOUS 32800 HAS SOUPS 31904 WITH SCORE 31961.937
AT ITER 1715 NEW BEST:: SOT 100011 SOS 57865 HAS SOPS 56747 HAS SOUS 32728 HAS SOUPS 31832 WITH SCORE 31889.865
AT ITER 1719 NEW BEST:: SOT 100002 SOS 57847 HAS SOPS 56729 HAS SOUS 32713 HAS SOUPS 31817 WITH SCORE 31874.847
AT ITER 1724 NEW BEST:: SOT 99929 SOS 58158 HAS SOPS 57049 HAS SOUS 32687 HAS SOUPS 31791 WITH SCORE 31849.158
AT ITER 1729 NEW BEST:: SOT 99881 SOS 58112 HAS SOPS 57003 HAS SOUS 32656 HAS SOUPS 31760 WITH SCORE 31818.112
AT ITER 1730 NEW BEST:: SOT 99866 SOS 58097 HAS SOPS 56988 HAS SOUS 32592 HAS SOUPS 31696 WITH SCORE 31754.097
AT ITER 1732 NEW BEST:: SOT 99928 SOS 58213 HAS SOPS 57104 HAS SOUS 32559 HAS SOUPS 31663 WITH SCORE 31721.213
AT ITER 1739 NEW BEST:: SOT 99884 SOS 58265 HAS SOPS 57156 HAS SOUS 32515 HAS SOUPS 31619 WITH SCORE 31677.265
AT ITER 1750 NEW BEST:: SOT 99852 SOS 57962 HAS SOPS 56821 HAS SOUS 32499 HAS SOUPS 31571 WITH SCORE 31628.962
AT ITER 1751 NEW BEST:: SOT 99827 SOS 57887 HAS SOPS 56746 HAS SOUS 32474 HAS SOUPS 31546 WITH SCORE 31603.887
AT ITER 1754 NEW BEST:: SOT 99826 SOS 57886 HAS SOPS 56745 HAS SOUS 32473 HAS SOUPS 31545 WITH SCORE 31602.886
AT ITER 1759 NEW BEST:: SOT 99822 SOS 57870 HAS SOPS 56729 HAS SOUS 32465 HAS SOUPS 31537 WITH SCORE 31594.87
AT ITER 1762 NEW BEST:: SOT 99822 SOS 57750 HAS SOPS 56609 HAS SOUS 32465 HAS SOUPS 31537 WITH SCORE 31594.75
AT ITER 1769 NEW BEST:: SOT 99827 SOS 57649 HAS SOPS 56508 HAS SOUS 32465 HAS SOUPS 31537 WITH SCORE 31594.649
AT ITER 1774 NEW BEST:: SOT 99821 SOS 57640 HAS SOPS 56502 HAS SOUS 32459 HAS SOUPS 31534 WITH SCORE 31591.64
AT ITER 1775 NEW BEST:: SOT 99853 SOS 57672 HAS SOPS 56534 HAS SOUS 32371 HAS SOUPS 31446 WITH SCORE 31503.672
AT ITER 1783 NEW BEST:: SOT 99827 SOS 57646 HAS SOPS 56508 HAS SOUS 32319 HAS SOUPS 31394 WITH SCORE 31451.646
AT ITER 1784 NEW BEST:: SOT 99899 SOS 57684 HAS SOPS 56546 HAS SOUS 32239 HAS SOUPS 31314 WITH SCORE 31371.684
AT ITER 1788 NEW BEST:: SOT 99899 SOS 58312 HAS SOPS 57174 HAS SOUS 32223 HAS SOUPS 31298 WITH SCORE 31356.312
AT ITER 1791 NEW BEST:: SOT 99585 SOS 57778 HAS SOPS 56640 HAS SOUS 32155 HAS SOUPS 31230 WITH SCORE 31287.778
AT ITER 1796 NEW BEST:: SOT 99736 SOS 57980 HAS SOPS 56842 HAS SOUS 32079 HAS SOUPS 31154 WITH SCORE 31211.98
AT ITER 1817 NEW BEST:: SOT 99768 SOS 57780 HAS SOPS 56642 HAS SOUS 31923 HAS SOUPS 30998 WITH SCORE 31055.78
AT ITER 1824 NEW BEST:: SOT 99696 SOS 57357 HAS SOPS 56208 HAS SOUS 31922 HAS SOUPS 30986 WITH SCORE 31043.357
AT ITER 1825 NEW BEST:: SOT 99626 SOS 57245 HAS SOPS 56096 HAS SOUS 31880 HAS SOUPS 30944 WITH SCORE 31001.245
AT ITER 1828 NEW BEST:: SOT 99456 SOS 57189 HAS SOPS 56040 HAS SOUS 31816 HAS SOUPS 30880 WITH SCORE 30937.189
AT ITER 1837 NEW BEST:: SOT 99450 SOS 57183 HAS SOPS 56034 HAS SOUS 31810 HAS SOUPS 30874 WITH SCORE 30931.183
AT ITER 1841 NEW BEST:: SOT 99442 SOS 57148 HAS SOPS 55999 HAS SOUS 31702 HAS SOUPS 30766 WITH SCORE 30823.148
AT ITER 1858 NEW BEST:: SOT 99383 SOS 57074 HAS SOPS 55924 HAS SOUS 31621 HAS SOUPS 30684 WITH SCORE 30741.074
AT ITER 1867 NEW BEST:: SOT 99374 SOS 57065 HAS SOPS 55915 HAS SOUS 31612 HAS SOUPS 30675 WITH SCORE 30732.065
AT ITER 1871 NEW BEST:: SOT 99365 SOS 57056 HAS SOPS 55906 HAS SOUS 31575 HAS SOUPS 30638 WITH SCORE 30695.056
AT ITER 1873 NEW BEST:: SOT 99365 SOS 56656 HAS SOPS 55506 HAS SOUS 31540 HAS SOUPS 30603 WITH SCORE 30659.656
AT ITER 1882 NEW BEST:: SOT 99338 SOS 56675 HAS SOPS 55525 HAS SOUS 31513 HAS SOUPS 30576 WITH SCORE 30632.675
AT ITER 1914 NEW BEST:: SOT 99338 SOS 56683 HAS SOPS 55533 HAS SOUS 31511 HAS SOUPS 30574 WITH SCORE 30630.683
AT ITER 1920 NEW BEST:: SOT 99320 SOS 56604 HAS SOPS 55445 HAS SOUS 31493 HAS SOUPS 30547 WITH SCORE 30603.604
AT ITER 1930 NEW BEST:: SOT 99319 SOS 56613 HAS SOPS 55456 HAS SOUS 31491 HAS SOUPS 30546 WITH SCORE 30602.613
AT ITER 1933 NEW BEST:: SOT 99120 SOS 56414 HAS SOPS 55257 HAS SOUS 31448 HAS SOUPS 30503 WITH SCORE 30559.414
AT ITER 1936 NEW BEST:: SOT 99120 SOS 56414 HAS SOPS 55257 HAS SOUS 31442 HAS SOUPS 30497 WITH SCORE 30553.414
AT ITER 1966 NEW BEST:: SOT 99100 SOS 56245 HAS SOPS 55088 HAS SOUS 31382 HAS SOUPS 30437 WITH SCORE 30493.245
AT ITER 1967 NEW BEST:: SOT 99077 SOS 56268 HAS SOPS 55111 HAS SOUS 31362 HAS SOUPS 30417 WITH SCORE 30473.268
AT ITER 1973 NEW BEST:: SOT 98991 SOS 56156 HAS SOPS 54999 HAS SOUS 31199 HAS SOUPS 30254 WITH SCORE 30310.156
AT ITER 1989 NEW BEST:: SOT 98991 SOS 56148 HAS SOPS 54991 HAS SOUS 31187 HAS SOUPS 30242 WITH SCORE 30298.148
AT ITER 1992 NEW BEST:: SOT 98991 SOS 56288 HAS SOPS 54985 HAS SOUS 31225 HAS SOUPS 30234 WITH SCORE 30290.288
AT ITER 1993 NEW BEST:: SOT 98952 SOS 56229 HAS SOPS 54926 HAS SOUS 31164 HAS SOUPS 30173 WITH SCORE 30229.229
AT ITER 1995 NEW BEST:: SOT 98969 SOS 56246 HAS SOPS 54943 HAS SOUS 31131 HAS SOUPS 30140 WITH SCORE 30196.246
AT ITER 2000 NEW BEST:: SOT 98967 SOS 56242 HAS SOPS 54939 HAS SOUS 31127 HAS SOUPS 30136 WITH SCORE 30192.242
AT ITER 2010 NEW BEST:: SOT 98953 SOS 56229 HAS SOPS 54926 HAS SOUS 31064 HAS SOUPS 30073 WITH SCORE 30129.229
AT ITER 2017 NEW BEST:: SOT 98902 SOS 56178 HAS SOPS 54875 HAS SOUS 31056 HAS SOUPS 30065 WITH SCORE 30121.178
AT ITER 2018 NEW BEST:: SOT 98840 SOS 56077 HAS SOPS 54774 HAS SOUS 31036 HAS SOUPS 30045 WITH SCORE 30101.077
AT ITER 2020 NEW BEST:: SOT 98859 SOS 56069 HAS SOPS 54761 HAS SOUS 31037 HAS SOUPS 30041 WITH SCORE 30097.069
AT ITER 2028 NEW BEST:: SOT 98797 SOS 55933 HAS SOPS 54625 HAS SOUS 30936 HAS SOUPS 29940 WITH SCORE 29995.933
AT ITER 2030 NEW BEST:: SOT 98787 SOS 55861 HAS SOPS 54571 HAS SOUS 30933 HAS SOUPS 29937 WITH SCORE 29992.861
AT ITER 2032 NEW BEST:: SOT 98729 SOS 55803 HAS SOPS 54513 HAS SOUS 30885 HAS SOUPS 29889 WITH SCORE 29944.803
AT ITER 2037 NEW BEST:: SOT 98669 SOS 55713 HAS SOPS 54423 HAS SOUS 30879 HAS SOUPS 29883 WITH SCORE 29938.713
AT ITER 2042 NEW BEST:: SOT 98669 SOS 55518 HAS SOPS 54228 HAS SOUS 30866 HAS SOUPS 29870 WITH SCORE 29925.518
AT ITER 2055 NEW BEST:: SOT 98649 SOS 55468 HAS SOPS 54178 HAS SOUS 30846 HAS SOUPS 29850 WITH SCORE 29905.468
AT ITER 2057 NEW BEST:: SOT 98652 SOS 55421 HAS SOPS 54081 HAS SOUS 30891 HAS SOUPS 29845 WITH SCORE 29900.421
AT ITER 2058 NEW BEST:: SOT 98564 SOS 55011 HAS SOPS 53627 HAS SOUS 30803 HAS SOUPS 29757 WITH SCORE 29812.011
AT ITER 2066 NEW BEST:: SOT 98530 SOS 55008 HAS SOPS 53593 HAS SOUS 30817 HAS SOUPS 29740 WITH SCORE 29795.008
AT ITER 2067 NEW BEST:: SOT 98519 SOS 54997 HAS SOPS 53582 HAS SOUS 30806 HAS SOUPS 29729 WITH SCORE 29783.997
AT ITER 2075 NEW BEST:: SOT 98522 SOS 54663 HAS SOPS 53248 HAS SOUS 30746 HAS SOUPS 29669 WITH SCORE 29723.663
AT ITER 2086 NEW BEST:: SOT 98479 SOS 54588 HAS SOPS 53173 HAS SOUS 30625 HAS SOUPS 29548 WITH SCORE 29602.588
AT ITER 2092 NEW BEST:: SOT 98485 SOS 54534 HAS SOPS 53119 HAS SOUS 30625 HAS SOUPS 29548 WITH SCORE 29602.534
AT ITER 2096 NEW BEST:: SOT 98485 SOS 54529 HAS SOPS 53114 HAS SOUS 30620 HAS SOUPS 29543 WITH SCORE 29597.529
AT ITER 2121 NEW BEST:: SOT 98365 SOS 54229 HAS SOPS 52814 HAS SOUS 30560 HAS SOUPS 29483 WITH SCORE 29537.229
AT ITER 2137 NEW BEST:: SOT 98339 SOS 54099 HAS SOPS 52684 HAS SOUS 30508 HAS SOUPS 29431 WITH SCORE 29485.099
AT ITER 2138 NEW BEST:: SOT 98310 SOS 53616 HAS SOPS 52241 HAS SOUS 30333 HAS SOUPS 29296 WITH SCORE 29349.616
AT ITER 2145 NEW BEST:: SOT 98291 SOS 53159 HAS SOPS 51784 HAS SOUS 30262 HAS SOUPS 29225 WITH SCORE 29278.159
AT ITER 2156 NEW BEST:: SOT 98334 SOS 53202 HAS SOPS 51827 HAS SOUS 30232 HAS SOUPS 29195 WITH SCORE 29248.202
AT ITER 2157 NEW BEST:: SOT 98290 SOS 53020 HAS SOPS 51645 HAS SOUS 30188 HAS SOUPS 29151 WITH SCORE 29204.02
AT ITER 2175 NEW BEST:: SOT 98202 SOS 52888 HAS SOPS 51513 HAS SOUS 30145 HAS SOUPS 29108 WITH SCORE 29160.888
AT ITER 2177 NEW BEST:: SOT 98213 SOS 52790 HAS SOPS 51415 HAS SOUS 30126 HAS SOUPS 29089 WITH SCORE 29141.79
AT ITER 2178 NEW BEST:: SOT 98226 SOS 52803 HAS SOPS 51428 HAS SOUS 30125 HAS SOUPS 29088 WITH SCORE 29140.803
AT ITER 2182 NEW BEST:: SOT 98226 SOS 52668 HAS SOPS 51293 HAS SOUS 30103 HAS SOUPS 29066 WITH SCORE 29118.668
AT ITER 2184 NEW BEST:: SOT 98039 SOS 52483 HAS SOPS 51108 HAS SOUS 29916 HAS SOUPS 28879 WITH SCORE 28931.483
AT ITER 2198 NEW BEST:: SOT 97994 SOS 52720 HAS SOPS 51402 HAS SOUS 29884 HAS SOUPS 28847 WITH SCORE 28899.72
AT ITER 2202 NEW BEST:: SOT 97955 SOS 53034 HAS SOPS 51716 HAS SOUS 29845 HAS SOUPS 28808 WITH SCORE 28861.034
AT ITER 2211 NEW BEST:: SOT 97941 SOS 52968 HAS SOPS 51650 HAS SOUS 29744 HAS SOUPS 28707 WITH SCORE 28759.968
AT ITER 2220 NEW BEST:: SOT 97978 SOS 53031 HAS SOPS 51713 HAS SOUS 29741 HAS SOUPS 28704 WITH SCORE 28757.031
AT ITER 2229 NEW BEST:: SOT 97975 SOS 52916 HAS SOPS 51545 HAS SOUS 29680 HAS SOUPS 28615 WITH SCORE 28667.916
AT ITER 2240 NEW BEST:: SOT 97871 SOS 52688 HAS SOPS 51441 HAS SOUS 29529 HAS SOUPS 28505 WITH SCORE 28557.688
AT ITER 2241 NEW BEST:: SOT 97849 SOS 52666 HAS SOPS 51419 HAS SOUS 29476 HAS SOUPS 28452 WITH SCORE 28504.666
AT ITER 2246 NEW BEST:: SOT 97731 SOS 52586 HAS SOPS 51339 HAS SOUS 29307 HAS SOUPS 28283 WITH SCORE 28335.586
AT ITER 2248 NEW BEST:: SOT 97722 SOS 52577 HAS SOPS 51330 HAS SOUS 29298 HAS SOUPS 28274 WITH SCORE 28326.577
AT ITER 2259 NEW BEST:: SOT 97875 SOS 52806 HAS SOPS 51559 HAS SOUS 29278 HAS SOUPS 28254 WITH SCORE 28306.806
AT ITER 2269 NEW BEST:: SOT 97838 SOS 52807 HAS SOPS 51541 HAS SOUS 29222 HAS SOUPS 28179 WITH SCORE 28231.807
AT ITER 2284 NEW BEST:: SOT 97808 SOS 52760 HAS SOPS 51494 HAS SOUS 29192 HAS SOUPS 28149 WITH SCORE 28201.76
AT ITER 2286 NEW BEST:: SOT 97801 SOS 52753 HAS SOPS 51487 HAS SOUS 29093 HAS SOUPS 28050 WITH SCORE 28102.753
AT ITER 2292 NEW BEST:: SOT 97801 SOS 52753 HAS SOPS 51487 HAS SOUS 29091 HAS SOUPS 28048 WITH SCORE 28100.753
AT ITER 2316 NEW BEST:: SOT 97775 SOS 52687 HAS SOPS 51421 HAS SOUS 29071 HAS SOUPS 28028 WITH SCORE 28080.687
AT ITER 2318 NEW BEST:: SOT 97729 SOS 52543 HAS SOPS 51277 HAS SOUS 29036 HAS SOUPS 27993 WITH SCORE 28045.543
AT ITER 2323 NEW BEST:: SOT 97715 SOS 52508 HAS SOPS 51242 HAS SOUS 29001 HAS SOUPS 27958 WITH SCORE 28010.508
AT ITER 2351 NEW BEST:: SOT 97715 SOS 52511 HAS SOPS 51239 HAS SOUS 28998 HAS SOUPS 27952 WITH SCORE 28004.511
AT ITER 2373 NEW BEST:: SOT 97701 SOS 52497 HAS SOPS 51225 HAS SOUS 28984 HAS SOUPS 27938 WITH SCORE 27990.497
AT ITER 2385 NEW BEST:: SOT 97677 SOS 52473 HAS SOPS 51201 HAS SOUS 28960 HAS SOUPS 27914 WITH SCORE 27966.473
AT ITER 2387 NEW BEST:: SOT 97683 SOS 52448 HAS SOPS 51171 HAS SOUS 28945 HAS SOUPS 27899 WITH SCORE 27951.448
AT ITER 2388 NEW BEST:: SOT 97680 SOS 52515 HAS SOPS 51238 HAS SOUS 28924 HAS SOUPS 27878 WITH SCORE 27930.515
AT ITER 2392 NEW BEST:: SOT 97648 SOS 52549 HAS SOPS 51272 HAS SOUS 28916 HAS SOUPS 27870 WITH SCORE 27922.549
AT ITER 2395 NEW BEST:: SOT 97615 SOS 52384 HAS SOPS 51107 HAS SOUS 28878 HAS SOUPS 27832 WITH SCORE 27884.384
AT ITER 2412 NEW BEST:: SOT 97580 SOS 52349 HAS SOPS 51072 HAS SOUS 28671 HAS SOUPS 27625 WITH SCORE 27677.349
AT ITER 2432 NEW BEST:: SOT 97545 SOS 52314 HAS SOPS 51037 HAS SOUS 28636 HAS SOUPS 27590 WITH SCORE 27642.314
AT ITER 2437 NEW BEST:: SOT 97535 SOS 52304 HAS SOPS 51027 HAS SOUS 28626 HAS SOUPS 27580 WITH SCORE 27632.304
AT ITER 2442 NEW BEST:: SOT 97535 SOS 52304 HAS SOPS 51027 HAS SOUS 28622 HAS SOUPS 27576 WITH SCORE 27628.304
AT ITER 2463 NEW BEST:: SOT 97533 SOS 52323 HAS SOPS 51067 HAS SOUS 28585 HAS SOUPS 27560 WITH SCORE 27612.323
AT ITER 2471 NEW BEST:: SOT 97529 SOS 52014 HAS SOPS 50708 HAS SOUS 28594 HAS SOUPS 27519 WITH SCORE 27571.014
AT ITER 2480 NEW BEST:: SOT 97518 SOS 52003 HAS SOPS 50697 HAS SOUS 28583 HAS SOUPS 27508 WITH SCORE 27560.003
AT ITER 2487 NEW BEST:: SOT 97453 SOS 51938 HAS SOPS 50632 HAS SOUS 28513 HAS SOUPS 27438 WITH SCORE 27489.938
AT ITER 2492 NEW BEST:: SOT 97491 SOS 52459 HAS SOPS 51192 HAS SOUS 28442 HAS SOUPS 27406 WITH SCORE 27458.459
AT ITER 2505 NEW BEST:: SOT 97461 SOS 52853 HAS SOPS 51586 HAS SOUS 28353 HAS SOUPS 27317 WITH SCORE 27369.853
AT ITER 2519 NEW BEST:: SOT 97335 SOS 52116 HAS SOPS 50760 HAS SOUS 28283 HAS SOUPS 27158 WITH SCORE 27210.116
AT ITER 2520 NEW BEST:: SOT 97321 SOS 52018 HAS SOPS 50634 HAS SOUS 28255 HAS SOUPS 27116 WITH SCORE 27168.018
AT ITER 2521 NEW BEST:: SOT 97242 SOS 51730 HAS SOPS 50346 HAS SOUS 28246 HAS SOUPS 27107 WITH SCORE 27158.73
AT ITER 2528 NEW BEST:: SOT 97155 SOS 51643 HAS SOPS 50259 HAS SOUS 28172 HAS SOUPS 27033 WITH SCORE 27084.643
AT ITER 2534 NEW BEST:: SOT 97122 SOS 51610 HAS SOPS 50226 HAS SOUS 28139 HAS SOUPS 27000 WITH SCORE 27051.61
AT ITER 2545 NEW BEST:: SOT 97095 SOS 51384 HAS SOPS 50000 HAS SOUS 28090 HAS SOUPS 26951 WITH SCORE 27002.384
AT ITER 2553 NEW BEST:: SOT 97099 SOS 51388 HAS SOPS 50004 HAS SOUS 28082 HAS SOUPS 26943 WITH SCORE 26994.388
AT ITER 2575 NEW BEST:: SOT 97091 SOS 51372 HAS SOPS 49988 HAS SOUS 28066 HAS SOUPS 26927 WITH SCORE 26978.372
AT ITER 2583 NEW BEST:: SOT 97173 SOS 51399 HAS SOPS 50026 HAS SOUS 27835 HAS SOUPS 26707 WITH SCORE 26758.399
AT ITER 2585 NEW BEST:: SOT 97214 SOS 51461 HAS SOPS 50088 HAS SOUS 27818 HAS SOUPS 26690 WITH SCORE 26741.461
AT ITER 2602 NEW BEST:: SOT 97332 SOS 51625 HAS SOPS 50252 HAS SOUS 27807 HAS SOUPS 26679 WITH SCORE 26730.625
AT ITER 2608 NEW BEST:: SOT 97332 SOS 51625 HAS SOPS 50252 HAS SOUS 27793 HAS SOUPS 26665 WITH SCORE 26716.625
AT ITER 2610 NEW BEST:: SOT 97317 SOS 51605 HAS SOPS 50232 HAS SOUS 27773 HAS SOUPS 26645 WITH SCORE 26696.605
AT ITER 2626 NEW BEST:: SOT 97319 SOS 51579 HAS SOPS 50206 HAS SOUS 27761 HAS SOUPS 26633 WITH SCORE 26684.579
AT ITER 2629 NEW BEST:: SOT 96888 SOS 51149 HAS SOPS 49776 HAS SOUS 27250 HAS SOUPS 26122 WITH SCORE 26173.149
AT ITER 2634 NEW BEST:: SOT 96873 SOS 51136 HAS SOPS 49763 HAS SOUS 27236 HAS SOUPS 26108 WITH SCORE 26159.136
AT ITER 2638 NEW BEST:: SOT 96815 SOS 51032 HAS SOPS 49659 HAS SOUS 27135 HAS SOUPS 26007 WITH SCORE 26058.032
AT ITER 2645 NEW BEST:: SOT 96804 SOS 50977 HAS SOPS 49615 HAS SOUS 27124 HAS SOUPS 26007 WITH SCORE 26057.977
AT ITER 2656 NEW BEST:: SOT 96751 SOS 50818 HAS SOPS 49456 HAS SOUS 27118 HAS SOUPS 26001 WITH SCORE 26051.818
AT ITER 2658 NEW BEST:: SOT 96728 SOS 50795 HAS SOPS 49433 HAS SOUS 27117 HAS SOUPS 26000 WITH SCORE 26050.795
AT ITER 2662 NEW BEST:: SOT 96719 SOS 50786 HAS SOPS 49424 HAS SOUS 27090 HAS SOUPS 25973 WITH SCORE 26023.786
AT ITER 2687 NEW BEST:: SOT 96722 SOS 50787 HAS SOPS 49425 HAS SOUS 27074 HAS SOUPS 25957 WITH SCORE 26007.787
AT ITER 2694 NEW BEST:: SOT 96716 SOS 50778 HAS SOPS 49416 HAS SOUS 27071 HAS SOUPS 25954 WITH SCORE 26004.778
AT ITER 2701 NEW BEST:: SOT 96711 SOS 50773 HAS SOPS 49411 HAS SOUS 27068 HAS SOUPS 25951 WITH SCORE 26001.773
AT ITER 2702 NEW BEST:: SOT 96699 SOS 50761 HAS SOPS 49399 HAS SOUS 27034 HAS SOUPS 25917 WITH SCORE 25967.761
AT ITER 2703 NEW BEST:: SOT 96699 SOS 50722 HAS SOPS 49360 HAS SOUS 27017 HAS SOUPS 25900 WITH SCORE 25950.722
AT ITER 2735 NEW BEST:: SOT 96596 SOS 50555 HAS SOPS 49192 HAS SOUS 27011 HAS SOUPS 25893 WITH SCORE 25943.555
AT ITER 2746 NEW BEST:: SOT 96353 SOS 50138 HAS SOPS 48775 HAS SOUS 26917 HAS SOUPS 25799 WITH SCORE 25849.138
AT ITER 2767 NEW BEST:: SOT 96334 SOS 50019 HAS SOPS 48656 HAS SOUS 26878 HAS SOUPS 25760 WITH SCORE 25810.019
AT ITER 2771 NEW BEST:: SOT 96346 SOS 50031 HAS SOPS 48668 HAS SOUS 26742 HAS SOUPS 25624 WITH SCORE 25674.031
AT ITER 2778 NEW BEST:: SOT 96318 SOS 49780 HAS SOPS 48417 HAS SOUS 26592 HAS SOUPS 25474 WITH SCORE 25523.78
AT ITER 2791 NEW BEST:: SOT 96313 SOS 49775 HAS SOPS 48412 HAS SOUS 26561 HAS SOUPS 25443 WITH SCORE 25492.775
AT ITER 2792 NEW BEST:: SOT 96304 SOS 49852 HAS SOPS 48489 HAS SOUS 26530 HAS SOUPS 25412 WITH SCORE 25461.852
AT ITER 2817 NEW BEST:: SOT 96304 SOS 49770 HAS SOPS 48455 HAS SOUS 26445 HAS SOUPS 25375 WITH SCORE 25424.77
AT ITER 2823 NEW BEST:: SOT 96213 SOS 49680 HAS SOPS 48365 HAS SOUS 26374 HAS SOUPS 25304 WITH SCORE 25353.68
AT ITER 2828 NEW BEST:: SOT 96202 SOS 49658 HAS SOPS 48343 HAS SOUS 26363 HAS SOUPS 25293 WITH SCORE 25342.658
AT ITER 2829 NEW BEST:: SOT 96205 SOS 49661 HAS SOPS 48346 HAS SOUS 26362 HAS SOUPS 25292 WITH SCORE 25341.661
AT ITER 2830 NEW BEST:: SOT 96057 SOS 49513 HAS SOPS 48198 HAS SOUS 26252 HAS SOUPS 25182 WITH SCORE 25231.513
AT ITER 2835 NEW BEST:: SOT 96009 SOS 49449 HAS SOPS 48134 HAS SOUS 26191 HAS SOUPS 25121 WITH SCORE 25170.449
AT ITER 2840 NEW BEST:: SOT 96009 SOS 49444 HAS SOPS 48129 HAS SOUS 26186 HAS SOUPS 25116 WITH SCORE 25165.444
AT ITER 2847 NEW BEST:: SOT 96029 SOS 49464 HAS SOPS 48149 HAS SOUS 26128 HAS SOUPS 25058 WITH SCORE 25107.464
AT ITER 2868 NEW BEST:: SOT 96013 SOS 49448 HAS SOPS 48133 HAS SOUS 26128 HAS SOUPS 25058 WITH SCORE 25107.448
AT ITER 2870 NEW BEST:: SOT 96014 SOS 49449 HAS SOPS 48134 HAS SOUS 26051 HAS SOUPS 24981 WITH SCORE 25030.449
AT ITER 2883 NEW BEST:: SOT 96035 SOS 49470 HAS SOPS 48155 HAS SOUS 26030 HAS SOUPS 24960 WITH SCORE 25009.47
AT ITER 2892 NEW BEST:: SOT 96047 SOS 49431 HAS SOPS 48116 HAS SOUS 26008 HAS SOUPS 24938 WITH SCORE 24987.431
AT ITER 2893 NEW BEST:: SOT 96029 SOS 49425 HAS SOPS 48110 HAS SOUS 25990 HAS SOUPS 24920 WITH SCORE 24969.425
AT ITER 2915 NEW BEST:: SOT 96029 SOS 49417 HAS SOPS 48106 HAS SOUS 25986 HAS SOUPS 24920 WITH SCORE 24969.417
AT ITER 2916 NEW BEST:: SOT 96027 SOS 49409 HAS SOPS 48098 HAS SOUS 25984 HAS SOUPS 24918 WITH SCORE 24967.409
AT ITER 2922 NEW BEST:: SOT 96020 SOS 49388 HAS SOPS 48077 HAS SOUS 25970 HAS SOUPS 24904 WITH SCORE 24953.388
AT ITER 2928 NEW BEST:: SOT 96015 SOS 49373 HAS SOPS 48062 HAS SOUS 25955 HAS SOUPS 24889 WITH SCORE 24938.373
AT ITER 2942 NEW BEST:: SOT 96039 SOS 49256 HAS SOPS 47894 HAS SOUS 25991 HAS SOUPS 24874 WITH SCORE 24923.256
AT ITER 2948 NEW BEST:: SOT 95980 SOS 49104 HAS SOPS 47742 HAS SOUS 25929 HAS SOUPS 24812 WITH SCORE 24861.104
AT ITER 2953 NEW BEST:: SOT 95980 SOS 49099 HAS SOPS 47737 HAS SOUS 25929 HAS SOUPS 24812 WITH SCORE 24861.099
AT ITER 2966 NEW BEST:: SOT 95917 SOS 49054 HAS SOPS 47674 HAS SOUS 25946 HAS SOUPS 24811 WITH SCORE 24860.054
AT ITER 2970 NEW BEST:: SOT 95876 SOS 48673 HAS SOPS 47293 HAS SOUS 25793 HAS SOUPS 24658 WITH SCORE 24706.673
AT ITER 2981 NEW BEST:: SOT 95864 SOS 48661 HAS SOPS 47281 HAS SOUS 25781 HAS SOUPS 24646 WITH SCORE 24694.661
AT ITER 2985 NEW BEST:: SOT 95857 SOS 48626 HAS SOPS 47239 HAS SOUS 25774 HAS SOUPS 24632 WITH SCORE 24680.626
AT ITER 3002 NEW BEST:: SOT 95777 SOS 48271 HAS SOPS 46884 HAS SOUS 25702 HAS SOUPS 24560 WITH SCORE 24608.271
AT ITER 3006 NEW BEST:: SOT 95777 SOS 48271 HAS SOPS 46884 HAS SOUS 25688 HAS SOUPS 24546 WITH SCORE 24594.271
AT ITER 3013 NEW BEST:: SOT 95725 SOS 48148 HAS SOPS 46732 HAS SOUS 25581 HAS SOUPS 24410 WITH SCORE 24458.148
AT ITER 3017 NEW BEST:: SOT 95695 SOS 48118 HAS SOPS 46702 HAS SOUS 25551 HAS SOUPS 24380 WITH SCORE 24428.118
AT ITER 3030 NEW BEST:: SOT 95670 SOS 48063 HAS SOPS 46647 HAS SOUS 25532 HAS SOUPS 24361 WITH SCORE 24409.063
AT ITER 3033 NEW BEST:: SOT 95670 SOS 48063 HAS SOPS 46647 HAS SOUS 25489 HAS SOUPS 24318 WITH SCORE 24366.063
AT ITER 3055 NEW BEST:: SOT 95577 SOS 47692 HAS SOPS 46275 HAS SOUS 25376 HAS SOUPS 24205 WITH SCORE 24252.692
AT ITER 3057 NEW BEST:: SOT 95577 SOS 47692 HAS SOPS 46275 HAS SOUS 25338 HAS SOUPS 24167 WITH SCORE 24214.692
AT ITER 3063 NEW BEST:: SOT 95577 SOS 47692 HAS SOPS 46275 HAS SOUS 25316 HAS SOUPS 24145 WITH SCORE 24192.692
AT ITER 3071 NEW BEST:: SOT 95498 SOS 47613 HAS SOPS 46196 HAS SOUS 25238 HAS SOUPS 24067 WITH SCORE 24114.613
AT ITER 3092 NEW BEST:: SOT 95480 SOS 47595 HAS SOPS 46178 HAS SOUS 25238 HAS SOUPS 24067 WITH SCORE 24114.595
AT ITER 3114 NEW BEST:: SOT 95478 SOS 47593 HAS SOPS 46176 HAS SOUS 25236 HAS SOUPS 24065 WITH SCORE 24112.593
AT ITER 3171 NEW BEST:: SOT 95406 SOS 47455 HAS SOPS 46038 HAS SOUS 25100 HAS SOUPS 23929 WITH SCORE 23976.455
AT ITER 3194 NEW BEST:: SOT 95384 SOS 47325 HAS SOPS 45908 HAS SOUS 25090 HAS SOUPS 23919 WITH SCORE 23966.325
AT ITER 3231 NEW BEST:: SOT 95538 SOS 47858 HAS SOPS 46441 HAS SOUS 25006 HAS SOUPS 23835 WITH SCORE 23882.858
AT ITER 3236 NEW BEST:: SOT 95429 SOS 47555 HAS SOPS 46138 HAS SOUS 24800 HAS SOUPS 23629 WITH SCORE 23676.555
AT ITER 3263 NEW BEST:: SOT 95449 SOS 47644 HAS SOPS 46227 HAS SOUS 24797 HAS SOUPS 23626 WITH SCORE 23673.644
AT ITER 3264 NEW BEST:: SOT 95425 SOS 47668 HAS SOPS 46251 HAS SOUS 24773 HAS SOUPS 23602 WITH SCORE 23649.668
AT ITER 3274 NEW BEST:: SOT 95405 SOS 47648 HAS SOPS 46231 HAS SOUS 24756 HAS SOUPS 23585 WITH SCORE 23632.648
AT ITER 3276 NEW BEST:: SOT 95395 SOS 47648 HAS SOPS 46231 HAS SOUS 24751 HAS SOUPS 23580 WITH SCORE 23627.648
AT ITER 3278 NEW BEST:: SOT 95387 SOS 47614 HAS SOPS 46197 HAS SOUS 24717 HAS SOUPS 23546 WITH SCORE 23593.614
AT ITER 3279 NEW BEST:: SOT 95273 SOS 47481 HAS SOPS 46064 HAS SOUS 24519 HAS SOUPS 23348 WITH SCORE 23395.481
AT ITER 3294 NEW BEST:: SOT 95243 SOS 47429 HAS SOPS 46012 HAS SOUS 24461 HAS SOUPS 23290 WITH SCORE 23337.429
AT ITER 3295 NEW BEST:: SOT 95240 SOS 47426 HAS SOPS 46003 HAS SOUS 24458 HAS SOUPS 23281 WITH SCORE 23328.426
AT ITER 3296 NEW BEST:: SOT 95202 SOS 47364 HAS SOPS 45941 HAS SOUS 24354 HAS SOUPS 23177 WITH SCORE 23224.364
AT ITER 3298 NEW BEST:: SOT 95180 SOS 47342 HAS SOPS 45919 HAS SOUS 24332 HAS SOUPS 23155 WITH SCORE 23202.342
AT ITER 3299 NEW BEST:: SOT 95173 SOS 47341 HAS SOPS 45918 HAS SOUS 24331 HAS SOUPS 23154 WITH SCORE 23201.341
AT ITER 3310 NEW BEST:: SOT 95167 SOS 47332 HAS SOPS 45909 HAS SOUS 24323 HAS SOUPS 23146 WITH SCORE 23193.332
AT ITER 3346 NEW BEST:: SOT 95192 SOS 47357 HAS SOPS 45934 HAS SOUS 24266 HAS SOUPS 23089 WITH SCORE 23136.357
AT ITER 3354 NEW BEST:: SOT 95058 SOS 47223 HAS SOPS 45800 HAS SOUS 24060 HAS SOUPS 22883 WITH SCORE 22930.223
AT ITER 3362 NEW BEST:: SOT 94951 SOS 47116 HAS SOPS 45693 HAS SOUS 24044 HAS SOUPS 22867 WITH SCORE 22914.116
AT ITER 3384 NEW BEST:: SOT 94943 SOS 47051 HAS SOPS 45629 HAS SOUS 24014 HAS SOUPS 22837 WITH SCORE 22884.051
AT ITER 3389 NEW BEST:: SOT 94956 SOS 47084 HAS SOPS 45659 HAS SOUS 24046 HAS SOUPS 22828 WITH SCORE 22875.084
AT ITER 3390 NEW BEST:: SOT 94908 SOS 47036 HAS SOPS 45611 HAS SOUS 24042 HAS SOUPS 22824 WITH SCORE 22871.036
AT ITER 3435 NEW BEST:: SOT 94894 SOS 47022 HAS SOPS 45597 HAS SOUS 24024 HAS SOUPS 22806 WITH SCORE 22853.022
AT ITER 3453 NEW BEST:: SOT 94900 SOS 46866 HAS SOPS 45441 HAS SOUS 23986 HAS SOUPS 22768 WITH SCORE 22814.866
AT ITER 3464 NEW BEST:: SOT 94872 SOS 46838 HAS SOPS 45413 HAS SOUS 23975 HAS SOUPS 22757 WITH SCORE 22803.838
AT ITER 3465 NEW BEST:: SOT 94814 SOS 46727 HAS SOPS 45302 HAS SOUS 23913 HAS SOUPS 22695 WITH SCORE 22741.727
AT ITER 3478 NEW BEST:: SOT 94807 SOS 46708 HAS SOPS 45288 HAS SOUS 23902 HAS SOUPS 22689 WITH SCORE 22735.708
AT ITER 3505 NEW BEST:: SOT 94860 SOS 46617 HAS SOPS 45194 HAS SOUS 23886 HAS SOUPS 22673 WITH SCORE 22719.617
AT ITER 3516 NEW BEST:: SOT 94796 SOS 46587 HAS SOPS 45164 HAS SOUS 23842 HAS SOUPS 22629 WITH SCORE 22675.587
AT ITER 3526 NEW BEST:: SOT 94804 SOS 46595 HAS SOPS 45172 HAS SOUS 23832 HAS SOUPS 22619 WITH SCORE 22665.595
AT ITER 3569 NEW BEST:: SOT 94855 SOS 46586 HAS SOPS 45136 HAS SOUS 23829 HAS SOUPS 22589 WITH SCORE 22635.586
AT ITER 3574 NEW BEST:: SOT 94884 SOS 46625 HAS SOPS 45175 HAS SOUS 23818 HAS SOUPS 22578 WITH SCORE 22624.625
AT ITER 3578 NEW BEST:: SOT 94968 SOS 46833 HAS SOPS 45383 HAS SOUS 23811 HAS SOUPS 22571 WITH SCORE 22617.833
AT ITER 3592 NEW BEST:: SOT 94939 SOS 46890 HAS SOPS 45440 HAS SOUS 23789 HAS SOUPS 22549 WITH SCORE 22595.89
AT ITER 3596 NEW BEST:: SOT 94939 SOS 46890 HAS SOPS 45440 HAS SOUS 23787 HAS SOUPS 22547 WITH SCORE 22593.89
AT ITER 3620 NEW BEST:: SOT 94902 SOS 46763 HAS SOPS 45313 HAS SOUS 23771 HAS SOUPS 22531 WITH SCORE 22577.763
AT ITER 3627 NEW BEST:: SOT 94895 SOS 46756 HAS SOPS 45306 HAS SOUS 23764 HAS SOUPS 22524 WITH SCORE 22570.756
AT ITER 3634 NEW BEST:: SOT 94821 SOS 46796 HAS SOPS 45346 HAS SOUS 23752 HAS SOUPS 22512 WITH SCORE 22558.796
AT ITER 3655 NEW BEST:: SOT 94821 SOS 46793 HAS SOPS 45343 HAS SOUS 23747 HAS SOUPS 22507 WITH SCORE 22553.793
AT ITER 3661 NEW BEST:: SOT 94811 SOS 46783 HAS SOPS 45333 HAS SOUS 23735 HAS SOUPS 22495 WITH SCORE 22541.783
AT ITER 3672 NEW BEST:: SOT 94777 SOS 46749 HAS SOPS 45299 HAS SOUS 23701 HAS SOUPS 22461 WITH SCORE 22507.749
AT ITER 3677 NEW BEST:: SOT 94777 SOS 46747 HAS SOPS 45297 HAS SOUS 23698 HAS SOUPS 22458 WITH SCORE 22504.747
AT ITER 3687 NEW BEST:: SOT 94776 SOS 46746 HAS SOPS 45296 HAS SOUS 23697 HAS SOUPS 22457 WITH SCORE 22503.746
AT ITER 3701 NEW BEST:: SOT 94779 SOS 46749 HAS SOPS 45299 HAS SOUS 23686 HAS SOUPS 22446 WITH SCORE 22492.749
AT ITER 3705 NEW BEST:: SOT 94763 SOS 46733 HAS SOPS 45283 HAS SOUS 23686 HAS SOUPS 22446 WITH SCORE 22492.733
AT ITER 3716 NEW BEST:: SOT 94755 SOS 46699 HAS SOPS 45241 HAS SOUS 23686 HAS SOUPS 22438 WITH SCORE 22484.699
AT ITER 3728 NEW BEST:: SOT 94755 SOS 46699 HAS SOPS 45241 HAS SOUS 23682 HAS SOUPS 22434 WITH SCORE 22480.699
AT ITER 3748 NEW BEST:: SOT 94737 SOS 46598 HAS SOPS 45161 HAS SOUS 23611 HAS SOUPS 22384 WITH SCORE 22430.598
AT ITER 3757 NEW BEST:: SOT 94728 SOS 46583 HAS SOPS 45146 HAS SOUS 23602 HAS SOUPS 22375 WITH SCORE 22421.583
AT ITER 3765 NEW BEST:: SOT 94728 SOS 46475 HAS SOPS 45038 HAS SOUS 23602 HAS SOUPS 22375 WITH SCORE 22421.475
AT ITER 3784 NEW BEST:: SOT 94686 SOS 46433 HAS SOPS 44996 HAS SOUS 23568 HAS SOUPS 22341 WITH SCORE 22387.433
AT ITER 3789 NEW BEST:: SOT 94867 SOS 46614 HAS SOPS 45177 HAS SOUS 23521 HAS SOUPS 22294 WITH SCORE 22340.614
AT ITER 3809 NEW BEST:: SOT 94838 SOS 46556 HAS SOPS 45119 HAS SOUS 23511 HAS SOUPS 22284 WITH SCORE 22330.556
AT ITER 3813 NEW BEST:: SOT 94838 SOS 46556 HAS SOPS 45119 HAS SOUS 23501 HAS SOUPS 22274 WITH SCORE 22320.556
AT ITER 3820 NEW BEST:: SOT 94860 SOS 46566 HAS SOPS 45129 HAS SOUS 23499 HAS SOUPS 22272 WITH SCORE 22318.566
AT ITER 3834 NEW BEST:: SOT 94839 SOS 46545 HAS SOPS 45108 HAS SOUS 23498 HAS SOUPS 22271 WITH SCORE 22317.545
AT ITER 3836 NEW BEST:: SOT 94785 SOS 46491 HAS SOPS 45054 HAS SOUS 23484 HAS SOUPS 22257 WITH SCORE 22303.491
AT ITER 3842 NEW BEST:: SOT 94709 SOS 46415 HAS SOPS 44978 HAS SOUS 23470 HAS SOUPS 22243 WITH SCORE 22289.415
AT ITER 3854 NEW BEST:: SOT 94709 SOS 46460 HAS SOPS 45023 HAS SOUS 23459 HAS SOUPS 22232 WITH SCORE 22278.46
AT ITER 3857 NEW BEST:: SOT 94658 SOS 46409 HAS SOPS 44972 HAS SOUS 23442 HAS SOUPS 22215 WITH SCORE 22261.409
AT ITER 3879 NEW BEST:: SOT 94650 SOS 46399 HAS SOPS 44962 HAS SOUS 23434 HAS SOUPS 22207 WITH SCORE 22253.399
AT ITER 3899 NEW BEST:: SOT 94640 SOS 46389 HAS SOPS 44952 HAS SOUS 23434 HAS SOUPS 22207 WITH SCORE 22253.389
AT ITER 3918 NEW BEST:: SOT 94617 SOS 46366 HAS SOPS 44929 HAS SOUS 23396 HAS SOUPS 22169 WITH SCORE 22215.366
AT ITER 3955 NEW BEST:: SOT 94617 SOS 46364 HAS SOPS 44927 HAS SOUS 23392 HAS SOUPS 22165 WITH SCORE 22211.364
AT ITER 3975 NEW BEST:: SOT 94617 SOS 46364 HAS SOPS 44820 HAS SOUS 23287 HAS SOUPS 21953 WITH SCORE 21999.364
AT ITER 3980 NEW BEST:: SOT 94443 SOS 46116 HAS SOPS 44572 HAS SOUS 23226 HAS SOUPS 21892 WITH SCORE 21938.116
AT ITER 3992 NEW BEST:: SOT 94437 SOS 46110 HAS SOPS 44566 HAS SOUS 23220 HAS SOUPS 21886 WITH SCORE 21932.11
AT ITER 4009 NEW BEST:: SOT 94411 SOS 46104 HAS SOPS 44554 HAS SOUS 23184 HAS SOUPS 21854 WITH SCORE 21900.104
AT ITER 4042 NEW BEST:: SOT 94461 SOS 46154 HAS SOPS 44604 HAS SOUS 23144 HAS SOUPS 21814 WITH SCORE 21860.154
AT ITER 4070 NEW BEST:: SOT 94424 SOS 46166 HAS SOPS 44616 HAS SOUS 23097 HAS SOUPS 21767 WITH SCORE 21813.166
AT ITER 4075 NEW BEST:: SOT 94421 SOS 46163 HAS SOPS 44613 HAS SOUS 23094 HAS SOUPS 21764 WITH SCORE 21810.163
AT ITER 4076 NEW BEST:: SOT 94456 SOS 46198 HAS SOPS 44648 HAS SOUS 23065 HAS SOUPS 21735 WITH SCORE 21781.198
AT ITER 4112 NEW BEST:: SOT 94388 SOS 45933 HAS SOPS 44349 HAS SOUS 22929 HAS SOUPS 21599 WITH SCORE 21644.933
AT ITER 4121 NEW BEST:: SOT 94388 SOS 45913 HAS SOPS 44322 HAS SOUS 22927 HAS SOUPS 21590 WITH SCORE 21635.913
AT ITER 4126 NEW BEST:: SOT 94388 SOS 45922 HAS SOPS 44331 HAS SOUS 22911 HAS SOUPS 21587 WITH SCORE 21632.922
AT ITER 4146 NEW BEST:: SOT 94306 SOS 45644 HAS SOPS 44073 HAS SOUS 22840 HAS SOUPS 21536 WITH SCORE 21581.644
AT ITER 4177 NEW BEST:: SOT 94148 SOS 45486 HAS SOPS 43915 HAS SOUS 22682 HAS SOUPS 21378 WITH SCORE 21423.486
AT ITER 4189 NEW BEST:: SOT 94148 SOS 45486 HAS SOPS 43915 HAS SOUS 22676 HAS SOUPS 21372 WITH SCORE 21417.486
AT ITER 4193 NEW BEST:: SOT 94131 SOS 45499 HAS SOPS 43934 HAS SOUS 22660 HAS SOUPS 21362 WITH SCORE 21407.499
AT ITER 4212 NEW BEST:: SOT 94131 SOS 45516 HAS SOPS 43951 HAS SOUS 22657 HAS SOUPS 21359 WITH SCORE 21404.516
AT ITER 4213 NEW BEST:: SOT 94141 SOS 45468 HAS SOPS 43903 HAS SOUS 22651 HAS SOUPS 21353 WITH SCORE 21398.468
AT ITER 4218 NEW BEST:: SOT 94146 SOS 45473 HAS SOPS 43908 HAS SOUS 22646 HAS SOUPS 21348 WITH SCORE 21393.473
AT ITER 4233 NEW BEST:: SOT 94151 SOS 45463 HAS SOPS 43898 HAS SOUS 22641 HAS SOUPS 21343 WITH SCORE 21388.463
AT ITER 4239 NEW BEST:: SOT 94136 SOS 45448 HAS SOPS 43883 HAS SOUS 22626 HAS SOUPS 21328 WITH SCORE 21373.448
AT ITER 4242 NEW BEST:: SOT 94112 SOS 45370 HAS SOPS 43805 HAS SOUS 22602 HAS SOUPS 21304 WITH SCORE 21349.37
AT ITER 4245 NEW BEST:: SOT 94110 SOS 45369 HAS SOPS 43804 HAS SOUS 22601 HAS SOUPS 21303 WITH SCORE 21348.369
AT ITER 4254 NEW BEST:: SOT 94072 SOS 45331 HAS SOPS 43766 HAS SOUS 22601 HAS SOUPS 21303 WITH SCORE 21348.331
AT ITER 4258 NEW BEST:: SOT 94070 SOS 45329 HAS SOPS 43764 HAS SOUS 22599 HAS SOUPS 21301 WITH SCORE 21346.329
AT ITER 4273 NEW BEST:: SOT 94010 SOS 45149 HAS SOPS 43584 HAS SOUS 22489 HAS SOUPS 21191 WITH SCORE 21236.149
AT ITER 4283 NEW BEST:: SOT 93918 SOS 45092 HAS SOPS 43527 HAS SOUS 22460 HAS SOUPS 21162 WITH SCORE 21207.092
AT ITER 4299 NEW BEST:: SOT 93914 SOS 45088 HAS SOPS 43523 HAS SOUS 22452 HAS SOUPS 21154 WITH SCORE 21199.088
AT ITER 4359 NEW BEST:: SOT 93913 SOS 45082 HAS SOPS 43516 HAS SOUS 22451 HAS SOUPS 21152 WITH SCORE 21197.082
AT ITER 4366 NEW BEST:: SOT 93894 SOS 45108 HAS SOPS 43571 HAS SOUS 22418 HAS SOUPS 21148 WITH SCORE 21193.108
AT ITER 4368 NEW BEST:: SOT 93897 SOS 44867 HAS SOPS 43316 HAS SOUS 22374 HAS SOUPS 21104 WITH SCORE 21148.867
AT ITER 4374 NEW BEST:: SOT 93871 SOS 44827 HAS SOPS 43262 HAS SOUS 22351 HAS SOUPS 21067 WITH SCORE 21111.827
AT ITER 4395 NEW BEST:: SOT 93871 SOS 44671 HAS SOPS 43106 HAS SOUS 22312 HAS SOUPS 21028 WITH SCORE 21072.671
AT ITER 4410 NEW BEST:: SOT 93871 SOS 44680 HAS SOPS 43115 HAS SOUS 22273 HAS SOUPS 20989 WITH SCORE 21033.68
AT ITER 4431 NEW BEST:: SOT 93887 SOS 44696 HAS SOPS 43131 HAS SOUS 22113 HAS SOUPS 20829 WITH SCORE 20873.696
AT ITER 4454 NEW BEST:: SOT 93842 SOS 44515 HAS SOPS 42924 HAS SOUS 22069 HAS SOUPS 20759 WITH SCORE 20803.515
AT ITER 4483 NEW BEST:: SOT 93827 SOS 44499 HAS SOPS 42908 HAS SOUS 22044 HAS SOUPS 20734 WITH SCORE 20778.499
AT ITER 4512 NEW BEST:: SOT 93841 SOS 44513 HAS SOPS 42922 HAS SOUS 22043 HAS SOUPS 20733 WITH SCORE 20777.513
AT ITER 4525 NEW BEST:: SOT 93807 SOS 44212 HAS SOPS 42621 HAS SOUS 22009 HAS SOUPS 20699 WITH SCORE 20743.212
AT ITER 4558 NEW BEST:: SOT 93882 SOS 44287 HAS SOPS 42696 HAS SOUS 22000 HAS SOUPS 20690 WITH SCORE 20734.287
AT ITER 4578 NEW BEST:: SOT 93882 SOS 44281 HAS SOPS 42654 HAS SOUS 21992 HAS SOUPS 20664 WITH SCORE 20708.281
AT ITER 4633 NEW BEST:: SOT 93876 SOS 44173 HAS SOPS 42546 HAS SOUS 21980 HAS SOUPS 20652 WITH SCORE 20696.173
AT ITER 4668 NEW BEST:: SOT 93754 SOS 44069 HAS SOPS 42442 HAS SOUS 21972 HAS SOUPS 20644 WITH SCORE 20688.069
AT ITER 4677 NEW BEST:: SOT 93749 SOS 44044 HAS SOPS 42417 HAS SOUS 21957 HAS SOUPS 20629 WITH SCORE 20673.044
AT ITER 4678 NEW BEST:: SOT 93742 SOS 44032 HAS SOPS 42405 HAS SOUS 21955 HAS SOUPS 20627 WITH SCORE 20671.032
AT ITER 4686 NEW BEST:: SOT 93634 SOS 43801 HAS SOPS 42174 HAS SOUS 21847 HAS SOUPS 20519 WITH SCORE 20562.801
AT ITER 4691 NEW BEST:: SOT 93633 SOS 43743 HAS SOPS 42086 HAS SOUS 21861 HAS SOUPS 20503 WITH SCORE 20546.743
AT ITER 4708 NEW BEST:: SOT 93638 SOS 43748 HAS SOPS 42091 HAS SOUS 21840 HAS SOUPS 20482 WITH SCORE 20525.748
AT ITER 4710 NEW BEST:: SOT 93918 SOS 43910 HAS SOPS 42253 HAS SOUS 21837 HAS SOUPS 20479 WITH SCORE 20522.91
AT ITER 4719 NEW BEST:: SOT 93877 SOS 43869 HAS SOPS 42212 HAS SOUS 21744 HAS SOUPS 20386 WITH SCORE 20429.869
AT ITER 4721 NEW BEST:: SOT 93878 SOS 43862 HAS SOPS 42205 HAS SOUS 21740 HAS SOUPS 20382 WITH SCORE 20425.862
AT ITER 4736 NEW BEST:: SOT 93868 SOS 44047 HAS SOPS 42394 HAS SOUS 21734 HAS SOUPS 20376 WITH SCORE 20420.047
AT ITER 4741 NEW BEST:: SOT 93848 SOS 44027 HAS SOPS 42374 HAS SOUS 21688 HAS SOUPS 20330 WITH SCORE 20374.027
AT ITER 4749 NEW BEST:: SOT 93848 SOS 44023 HAS SOPS 42370 HAS SOUS 21688 HAS SOUPS 20330 WITH SCORE 20374.023
AT ITER 4754 NEW BEST:: SOT 93848 SOS 44023 HAS SOPS 42370 HAS SOUS 21676 HAS SOUPS 20318 WITH SCORE 20362.023
AT ITER 4758 NEW BEST:: SOT 93848 SOS 44023 HAS SOPS 42370 HAS SOUS 21670 HAS SOUPS 20312 WITH SCORE 20356.023
AT ITER 4823 NEW BEST:: SOT 93809 SOS 43958 HAS SOPS 42305 HAS SOUS 21637 HAS SOUPS 20279 WITH SCORE 20322.958
AT ITER 4824 NEW BEST:: SOT 93775 SOS 43999 HAS SOPS 42346 HAS SOUS 21629 HAS SOUPS 20271 WITH SCORE 20314.999
AT ITER 4831 NEW BEST:: SOT 93779 SOS 44003 HAS SOPS 42350 HAS SOUS 21623 HAS SOUPS 20265 WITH SCORE 20309.003
AT ITER 4838 NEW BEST:: SOT 93782 SOS 43929 HAS SOPS 42283 HAS SOUS 21535 HAS SOUPS 20184 WITH SCORE 20227.929
AT ITER 4895 NEW BEST:: SOT 93776 SOS 43680 HAS SOPS 42034 HAS SOUS 21472 HAS SOUPS 20121 WITH SCORE 20164.68
AT ITER 4904 NEW BEST:: SOT 93775 SOS 43619 HAS SOPS 41967 HAS SOUS 21471 HAS SOUPS 20120 WITH SCORE 20163.619
AT ITER 4918 NEW BEST:: SOT 93740 SOS 43648 HAS SOPS 41996 HAS SOUS 21461 HAS SOUPS 20110 WITH SCORE 20153.648
AT ITER 4934 NEW BEST:: SOT 93707 SOS 43675 HAS SOPS 42023 HAS SOUS 21448 HAS SOUPS 20097 WITH SCORE 20140.675
AT ITER 4945 NEW BEST:: SOT 93702 SOS 43665 HAS SOPS 42013 HAS SOUS 21448 HAS SOUPS 20097 WITH SCORE 20140.665
AT ITER 4958 NEW BEST:: SOT 93690 SOS 43656 HAS SOPS 42004 HAS SOUS 21436 HAS SOUPS 20085 WITH SCORE 20128.656
AT ITER 4966 NEW BEST:: SOT 93686 SOS 43627 HAS SOPS 41979 HAS SOUS 21429 HAS SOUPS 20082 WITH SCORE 20125.627
AT ITER 4968 NEW BEST:: SOT 93652 SOS 43567 HAS SOPS 41919 HAS SOUS 21407 HAS SOUPS 20060 WITH SCORE 20103.567
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: NoC3x3-PT-3A-CTLCardinality-00 (AG( (EX( potential( (tk(P298)) <= (tk(P213)) )))))
PROPERTY: NoC3x3-PT-3A-CTLCardinality-01 (AF((EU( potential( (tk(P56)) <= (tk(P118)) ),potential( ( 3 ) <= (tk(P119)) ) ))))
PROPERTY: NoC3x3-PT-3A-CTLCardinality-02 ( (EF(( potential( ( 2 ) <= (tk(P342)) ) | potential( ( 3 ) <= (tk(P119)) ) ))) & (! (! ( (! potential( ( 3 ) <= (tk(P133)) )) & potential( (tk(P40)) <= (tk(P268)) ) ))) )
PROPERTY: NoC3x3-PT-3A-CTLCardinality-03 (EF((! (EX( potential( (tk(P32)) <= (tk(P127)) ))))))
PROPERTY: NoC3x3-PT-3A-CTLCardinality-04 (! (EG( (! potential( ( 3 ) <= (tk(P43)) )))))
PROPERTY: NoC3x3-PT-3A-CTLCardinality-05 (EF((EU( potential( ( 3 ) <= (tk(P247)) ),potential( ( 2 ) <= (tk(P196)) ) ))))
PROPERTY: NoC3x3-PT-3A-CTLCardinality-06 (EX( (AG( (! potential( ( 1 ) <= (tk(P174)) ))))))
PROPERTY: NoC3x3-PT-3A-CTLCardinality-07 ( (AG( ( ( potential( (tk(P344)) <= (tk(P56)) ) | potential( (tk(P294)) <= (tk(P214)) ) ) & potential( ( 3 ) <= (tk(P213)) ) ))) | (AF(( ( potential( ( 3 ) <= (tk(P320)) ) & potential( ( 1 ) <= (tk(P110)) ) ) & ( potential( (tk(P12)) <= (tk(P187)) ) | potential( ( 2 ) <= (tk(P12)) ) ) ))) )
PROPERTY: NoC3x3-PT-3A-CTLCardinality-08 (! (AG( ( potential( (tk(P184)) <= (tk(P153)) ) & ( potential( (tk(P325)) <= (tk(P99)) ) | potential( ( 3 ) <= (tk(P47)) ) ) ))))
PROPERTY: NoC3x3-PT-3A-CTLCardinality-09 (EX( (EG( ( potential( (tk(P221)) <= (tk(P274)) ) & potential( (tk(P311)) <= (tk(P277)) ) )))))
PROPERTY: NoC3x3-PT-3A-CTLCardinality-10 ( ( (! (AG( potential( (tk(P79)) <= (tk(P76)) )))) | ( potential( (tk(P288)) <= (tk(P286)) ) | potential( (tk(P302)) <= (tk(P104)) ) ) ) & (! (AF(( potential( ( 3 ) <= (tk(P69)) ) & potential( (tk(P22)) <= (tk(P314)) ) )))) )
PROPERTY: NoC3x3-PT-3A-CTLCardinality-11 ( (! (EG( ( potential( (tk(P30)) <= (tk(P81)) ) | potential( (tk(P224)) <= (tk(P280)) ) )))) | ( (AU( potential( (tk(P159)) <= (tk(P86)) ),potential( ( 3 ) <= (tk(P83)) ) )) | (! (! (! potential( (tk(P367)) <= (tk(P367)) )))) ) )
PROPERTY: NoC3x3-PT-3A-CTLCardinality-12 ( (EF(potential( ( 3 ) <= (tk(P280)) ))) & potential( (tk(P124)) <= (tk(P76)) ) )
PROPERTY: NoC3x3-PT-3A-CTLCardinality-13 (EG( ( potential( ( 2 ) <= (tk(P188)) ) | (EF(potential( ( 1 ) <= (tk(P224)) ))) )))
PROPERTY: NoC3x3-PT-3A-CTLCardinality-14 (EG( ( potential( (tk(P211)) <= (tk(P4)) ) & (EG( potential( (tk(P309)) <= (tk(P290)) ))) )))
PROPERTY: NoC3x3-PT-3A-CTLCardinality-15 (EF((! ( (! potential( (tk(P129)) <= (tk(P146)) )) | ( potential( (tk(P100)) <= (tk(P59)) ) | potential( (tk(P209)) <= (tk(P252)) ) ) ))))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NoC3x3-PT-3A"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is NoC3x3-PT-3A, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r108-csrt-158961250400363"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-3A.tgz
mv NoC3x3-PT-3A execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;