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.r491-tall-167912710000056.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 Sudoku-COL-AN07, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912710000056
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 508K
-rw-r--r-- 1 mcc users 7.0K Feb 26 08:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 26 08:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 08:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 26 08:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:16 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:16 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 26 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 178K Feb 26 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Feb 26 08:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 26 08:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 6.5K 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 1679210490338

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=Sudoku-COL-AN07
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-19 07:21:32] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-19 07:21:32] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 07:21:32] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-19 07:21:32] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-19 07:21:33] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 693 ms
[2023-03-19 07:21:33] [INFO ] Imported 4 HL places and 1 HL transitions for a total of 490 PT places and 343.0 transition bindings in 29 ms.
[2023-03-19 07:21:33] [INFO ] Unfolded HLPN to a Petri net with 490 places and 343 transitions 1372 arcs in 28 ms.
[2023-03-19 07:21:33] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-19 07:21:33] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 490 places, 343 transitions and 1372 arcs took 10 ms.
Total runtime 887 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (COL), instance AN07
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: 490 places, 343 transitions, 1372 arcs.
AT ITER 0 NEW BEST:: SOT 123907 SOS 63143 HAS SOPS 63143 HAS SOUS 63143 HAS SOUPS 63143 WITH SCORE 63206.143
AT ITER 5 NEW BEST:: SOT 123772 SOS 63060 HAS SOPS 63060 HAS SOUS 63060 HAS SOUPS 63060 WITH SCORE 63123.06
AT ITER 17 NEW BEST:: SOT 123633 SOS 63221 HAS SOPS 63221 HAS SOUS 62994 HAS SOUPS 62994 WITH SCORE 63057.221
AT ITER 20 NEW BEST:: SOT 123596 SOS 63184 HAS SOPS 63184 HAS SOUS 62957 HAS SOUPS 62957 WITH SCORE 63020.184
AT ITER 34 NEW BEST:: SOT 123475 SOS 63105 HAS SOPS 63105 HAS SOUS 62840 HAS SOUPS 62840 WITH SCORE 62903.105
AT ITER 40 NEW BEST:: SOT 123412 SOS 63127 HAS SOPS 63127 HAS SOUS 62820 HAS SOUPS 62820 WITH SCORE 62883.127
AT ITER 48 NEW BEST:: SOT 123356 SOS 63485 HAS SOPS 63485 HAS SOUS 62807 HAS SOUPS 62807 WITH SCORE 62870.485
AT ITER 50 NEW BEST:: SOT 123205 SOS 63334 HAS SOPS 63334 HAS SOUS 62656 HAS SOUPS 62656 WITH SCORE 62719.334
AT ITER 58 NEW BEST:: SOT 123205 SOS 63334 HAS SOPS 63334 HAS SOUS 62646 HAS SOUPS 62646 WITH SCORE 62709.334
AT ITER 65 NEW BEST:: SOT 122936 SOS 63119 HAS SOPS 63119 HAS SOUS 62383 HAS SOUPS 62383 WITH SCORE 62446.119
AT ITER 81 NEW BEST:: SOT 122806 SOS 63092 HAS SOPS 63092 HAS SOUS 62356 HAS SOUPS 62356 WITH SCORE 62419.092
AT ITER 84 NEW BEST:: SOT 122794 SOS 63080 HAS SOPS 63080 HAS SOUS 62344 HAS SOUPS 62344 WITH SCORE 62407.08
AT ITER 85 NEW BEST:: SOT 122794 SOS 63078 HAS SOPS 63078 HAS SOUS 62340 HAS SOUPS 62340 WITH SCORE 62403.078
AT ITER 90 NEW BEST:: SOT 122679 SOS 63827 HAS SOPS 63827 HAS SOUS 62328 HAS SOUPS 62328 WITH SCORE 62391.827
AT ITER 95 NEW BEST:: SOT 122484 SOS 63713 HAS SOPS 63713 HAS SOUS 62154 HAS SOUPS 62154 WITH SCORE 62217.713
AT ITER 113 NEW BEST:: SOT 122328 SOS 64647 HAS SOPS 64647 HAS SOUS 62063 HAS SOUPS 62063 WITH SCORE 62127.647
AT ITER 116 NEW BEST:: SOT 122191 SOS 64629 HAS SOPS 64629 HAS SOUS 61979 HAS SOUPS 61979 WITH SCORE 62043.629
AT ITER 122 NEW BEST:: SOT 122053 SOS 65490 HAS SOPS 65490 HAS SOUS 61930 HAS SOUPS 61930 WITH SCORE 61995.49
AT ITER 123 NEW BEST:: SOT 122113 SOS 65514 HAS SOPS 65514 HAS SOUS 61906 HAS SOUPS 61906 WITH SCORE 61971.514
AT ITER 126 NEW BEST:: SOT 122087 SOS 65536 HAS SOPS 65536 HAS SOUS 61880 HAS SOUPS 61880 WITH SCORE 61945.536
AT ITER 128 NEW BEST:: SOT 122052 SOS 65722 HAS SOPS 65722 HAS SOUS 61845 HAS SOUPS 61845 WITH SCORE 61910.722
AT ITER 130 NEW BEST:: SOT 121955 SOS 65625 HAS SOPS 65625 HAS SOUS 61748 HAS SOUPS 61748 WITH SCORE 61813.625
AT ITER 131 NEW BEST:: SOT 121943 SOS 65625 HAS SOPS 65625 HAS SOUS 61736 HAS SOUPS 61736 WITH SCORE 61801.625
AT ITER 132 NEW BEST:: SOT 121854 SOS 65536 HAS SOPS 65536 HAS SOUS 61647 HAS SOUPS 61647 WITH SCORE 61712.536
AT ITER 148 NEW BEST:: SOT 121944 SOS 65504 HAS SOPS 65504 HAS SOUS 61609 HAS SOUPS 61609 WITH SCORE 61674.504
AT ITER 152 NEW BEST:: SOT 121850 SOS 65552 HAS SOPS 65552 HAS SOUS 61540 HAS SOUPS 61540 WITH SCORE 61605.552
AT ITER 156 NEW BEST:: SOT 121830 SOS 65556 HAS SOPS 65556 HAS SOUS 61520 HAS SOUPS 61520 WITH SCORE 61585.556
AT ITER 157 NEW BEST:: SOT 121680 SOS 66004 HAS SOPS 66004 HAS SOUS 61414 HAS SOUPS 61414 WITH SCORE 61480.004
AT ITER 163 NEW BEST:: SOT 121680 SOS 65925 HAS SOPS 65925 HAS SOUS 61414 HAS SOUPS 61414 WITH SCORE 61479.925
AT ITER 164 NEW BEST:: SOT 121483 SOS 66078 HAS SOPS 66078 HAS SOUS 61301 HAS SOUPS 61301 WITH SCORE 61367.078
AT ITER 169 NEW BEST:: SOT 121477 SOS 65997 HAS SOPS 65997 HAS SOUS 61256 HAS SOUPS 61256 WITH SCORE 61321.997
AT ITER 175 NEW BEST:: SOT 121420 SOS 66135 HAS SOPS 66135 HAS SOUS 61248 HAS SOUPS 61248 WITH SCORE 61314.135
AT ITER 176 NEW BEST:: SOT 121420 SOS 66050 HAS SOPS 66050 HAS SOUS 61248 HAS SOUPS 61248 WITH SCORE 61314.05
AT ITER 177 NEW BEST:: SOT 121226 SOS 65933 HAS SOPS 65933 HAS SOUS 61122 HAS SOUPS 61122 WITH SCORE 61187.933
AT ITER 178 NEW BEST:: SOT 120997 SOS 65779 HAS SOPS 65779 HAS SOUS 60963 HAS SOUPS 60963 WITH SCORE 61028.779
AT ITER 185 NEW BEST:: SOT 120968 SOS 65750 HAS SOPS 65750 HAS SOUS 60891 HAS SOUPS 60891 WITH SCORE 60956.75
AT ITER 188 NEW BEST:: SOT 120961 SOS 65674 HAS SOPS 65674 HAS SOUS 60864 HAS SOUPS 60864 WITH SCORE 60929.674
AT ITER 192 NEW BEST:: SOT 120848 SOS 65584 HAS SOPS 65584 HAS SOUS 60751 HAS SOUPS 60751 WITH SCORE 60816.584
AT ITER 193 NEW BEST:: SOT 120884 SOS 65578 HAS SOPS 65578 HAS SOUS 60745 HAS SOUPS 60745 WITH SCORE 60810.578
AT ITER 195 NEW BEST:: SOT 120784 SOS 65498 HAS SOPS 65498 HAS SOUS 60665 HAS SOUPS 60665 WITH SCORE 60730.498
AT ITER 201 NEW BEST:: SOT 120778 SOS 65492 HAS SOPS 65492 HAS SOUS 60659 HAS SOUPS 60659 WITH SCORE 60724.492
AT ITER 202 NEW BEST:: SOT 120712 SOS 65443 HAS SOPS 65443 HAS SOUS 60593 HAS SOUPS 60593 WITH SCORE 60658.443
AT ITER 208 NEW BEST:: SOT 120662 SOS 65573 HAS SOPS 65573 HAS SOUS 60562 HAS SOUPS 60562 WITH SCORE 60627.573
AT ITER 212 NEW BEST:: SOT 120752 SOS 65593 HAS SOPS 65593 HAS SOUS 60545 HAS SOUPS 60545 WITH SCORE 60610.593
AT ITER 216 NEW BEST:: SOT 120611 SOS 65928 HAS SOPS 65928 HAS SOUS 60452 HAS SOUPS 60452 WITH SCORE 60517.928
AT ITER 226 NEW BEST:: SOT 120468 SOS 65907 HAS SOPS 65907 HAS SOUS 60431 HAS SOUPS 60431 WITH SCORE 60496.907
AT ITER 229 NEW BEST:: SOT 120454 SOS 65893 HAS SOPS 65893 HAS SOUS 60417 HAS SOUPS 60417 WITH SCORE 60482.893
AT ITER 235 NEW BEST:: SOT 120437 SOS 65893 HAS SOPS 65893 HAS SOUS 60383 HAS SOUPS 60383 WITH SCORE 60448.893
AT ITER 276 NEW BEST:: SOT 120437 SOS 65821 HAS SOPS 65821 HAS SOUS 60383 HAS SOUPS 60383 WITH SCORE 60448.821
AT ITER 279 NEW BEST:: SOT 120437 SOS 65646 HAS SOPS 65646 HAS SOUS 60383 HAS SOUPS 60383 WITH SCORE 60448.646
AT ITER 289 NEW BEST:: SOT 120437 SOS 65421 HAS SOPS 65421 HAS SOUS 60383 HAS SOUPS 60383 WITH SCORE 60448.421
AT ITER 296 NEW BEST:: SOT 120251 SOS 65344 HAS SOPS 65344 HAS SOUS 60306 HAS SOUPS 60306 WITH SCORE 60371.344
AT ITER 297 NEW BEST:: SOT 120236 SOS 65329 HAS SOPS 65329 HAS SOUS 60291 HAS SOUPS 60291 WITH SCORE 60356.329
AT ITER 298 NEW BEST:: SOT 120236 SOS 65977 HAS SOPS 65977 HAS SOUS 60253 HAS SOUPS 60253 WITH SCORE 60318.977
AT ITER 300 NEW BEST:: SOT 120236 SOS 65727 HAS SOPS 65727 HAS SOUS 60253 HAS SOUPS 60253 WITH SCORE 60318.727
AT ITER 318 NEW BEST:: SOT 120236 SOS 65714 HAS SOPS 65714 HAS SOUS 60253 HAS SOUPS 60253 WITH SCORE 60318.714
AT ITER 321 NEW BEST:: SOT 120228 SOS 65620 HAS SOPS 65620 HAS SOUS 60200 HAS SOUPS 60200 WITH SCORE 60265.62
AT ITER 338 NEW BEST:: SOT 120228 SOS 65563 HAS SOPS 65563 HAS SOUS 60200 HAS SOUPS 60200 WITH SCORE 60265.563
AT ITER 342 NEW BEST:: SOT 120004 SOS 65622 HAS SOPS 65622 HAS SOUS 60088 HAS SOUPS 60088 WITH SCORE 60153.622
AT ITER 345 NEW BEST:: SOT 119868 SOS 65572 HAS SOPS 65572 HAS SOUS 60038 HAS SOUPS 60038 WITH SCORE 60103.572
AT ITER 349 NEW BEST:: SOT 119863 SOS 65522 HAS SOPS 65522 HAS SOUS 60015 HAS SOUPS 60015 WITH SCORE 60080.522
AT ITER 352 NEW BEST:: SOT 119785 SOS 66281 HAS SOPS 66281 HAS SOUS 60014 HAS SOUPS 60014 WITH SCORE 60080.281
AT ITER 357 NEW BEST:: SOT 119536 SOS 66114 HAS SOPS 66114 HAS SOUS 59786 HAS SOUPS 59786 WITH SCORE 59852.114
AT ITER 365 NEW BEST:: SOT 119528 SOS 66100 HAS SOPS 66100 HAS SOUS 59778 HAS SOUPS 59778 WITH SCORE 59844.1
AT ITER 366 NEW BEST:: SOT 119528 SOS 66095 HAS SOPS 66095 HAS SOUS 59778 HAS SOUPS 59778 WITH SCORE 59844.095
AT ITER 367 NEW BEST:: SOT 119528 SOS 66060 HAS SOPS 66060 HAS SOUS 59778 HAS SOUPS 59778 WITH SCORE 59844.06
AT ITER 370 NEW BEST:: SOT 119510 SOS 66185 HAS SOPS 66185 HAS SOUS 59725 HAS SOUPS 59725 WITH SCORE 59791.185
AT ITER 383 NEW BEST:: SOT 119510 SOS 66040 HAS SOPS 66040 HAS SOUS 59725 HAS SOUPS 59725 WITH SCORE 59791.04
AT ITER 385 NEW BEST:: SOT 119336 SOS 65936 HAS SOPS 65936 HAS SOUS 59574 HAS SOUPS 59574 WITH SCORE 59639.936
AT ITER 387 NEW BEST:: SOT 119336 SOS 65422 HAS SOPS 65422 HAS SOUS 59574 HAS SOUPS 59574 WITH SCORE 59639.422
AT ITER 389 NEW BEST:: SOT 119336 SOS 65304 HAS SOPS 65304 HAS SOUS 59574 HAS SOUPS 59574 WITH SCORE 59639.304
AT ITER 392 NEW BEST:: SOT 119336 SOS 65299 HAS SOPS 65299 HAS SOUS 59574 HAS SOUPS 59574 WITH SCORE 59639.299
AT ITER 393 NEW BEST:: SOT 119336 SOS 65288 HAS SOPS 65288 HAS SOUS 59563 HAS SOUPS 59563 WITH SCORE 59628.288
AT ITER 400 NEW BEST:: SOT 119356 SOS 65230 HAS SOPS 65230 HAS SOUS 59550 HAS SOUPS 59550 WITH SCORE 59615.23
AT ITER 408 NEW BEST:: SOT 119297 SOS 65444 HAS SOPS 65444 HAS SOUS 59531 HAS SOUPS 59531 WITH SCORE 59596.444
AT ITER 422 NEW BEST:: SOT 119297 SOS 65435 HAS SOPS 65435 HAS SOUS 59531 HAS SOUPS 59531 WITH SCORE 59596.435
AT ITER 428 NEW BEST:: SOT 119297 SOS 65412 HAS SOPS 65412 HAS SOUS 59531 HAS SOUPS 59531 WITH SCORE 59596.412
AT ITER 437 NEW BEST:: SOT 119297 SOS 65368 HAS SOPS 65368 HAS SOUS 59531 HAS SOUPS 59531 WITH SCORE 59596.368
AT ITER 438 NEW BEST:: SOT 119176 SOS 65928 HAS SOPS 65928 HAS SOUS 59471 HAS SOUPS 59471 WITH SCORE 59536.928
AT ITER 439 NEW BEST:: SOT 119137 SOS 65916 HAS SOPS 65916 HAS SOUS 59459 HAS SOUPS 59459 WITH SCORE 59524.916
AT ITER 447 NEW BEST:: SOT 119072 SOS 65865 HAS SOPS 65865 HAS SOUS 59408 HAS SOUPS 59408 WITH SCORE 59473.865
AT ITER 452 NEW BEST:: SOT 118795 SOS 65635 HAS SOPS 65635 HAS SOUS 59154 HAS SOUPS 59154 WITH SCORE 59219.635
AT ITER 471 NEW BEST:: SOT 118795 SOS 65570 HAS SOPS 65570 HAS SOUS 59154 HAS SOUPS 59154 WITH SCORE 59219.57
AT ITER 473 NEW BEST:: SOT 118512 SOS 65356 HAS SOPS 65356 HAS SOUS 58885 HAS SOUPS 58885 WITH SCORE 58950.356
AT ITER 474 NEW BEST:: SOT 118512 SOS 65351 HAS SOPS 65351 HAS SOUS 58885 HAS SOUPS 58885 WITH SCORE 58950.351
AT ITER 476 NEW BEST:: SOT 118512 SOS 65252 HAS SOPS 65252 HAS SOUS 58885 HAS SOUPS 58885 WITH SCORE 58950.252
AT ITER 478 NEW BEST:: SOT 118546 SOS 65394 HAS SOPS 65394 HAS SOUS 58877 HAS SOUPS 58877 WITH SCORE 58942.394
AT ITER 487 NEW BEST:: SOT 118366 SOS 65293 HAS SOPS 65293 HAS SOUS 58786 HAS SOUPS 58786 WITH SCORE 58851.293
AT ITER 502 NEW BEST:: SOT 118318 SOS 65245 HAS SOPS 65245 HAS SOUS 58738 HAS SOUPS 58738 WITH SCORE 58803.245
AT ITER 519 NEW BEST:: SOT 118318 SOS 65224 HAS SOPS 65224 HAS SOUS 58738 HAS SOUPS 58738 WITH SCORE 58803.224
AT ITER 527 NEW BEST:: SOT 118318 SOS 65224 HAS SOPS 65224 HAS SOUS 58737 HAS SOUPS 58737 WITH SCORE 58802.224
AT ITER 530 NEW BEST:: SOT 118313 SOS 65109 HAS SOPS 65109 HAS SOUS 58724 HAS SOUPS 58724 WITH SCORE 58789.109
AT ITER 545 NEW BEST:: SOT 118298 SOS 65094 HAS SOPS 65094 HAS SOUS 58708 HAS SOUPS 58708 WITH SCORE 58773.094
AT ITER 546 NEW BEST:: SOT 118156 SOS 65449 HAS SOPS 65449 HAS SOUS 58603 HAS SOUPS 58603 WITH SCORE 58668.449
AT ITER 549 NEW BEST:: SOT 118156 SOS 65420 HAS SOPS 65420 HAS SOUS 58603 HAS SOUPS 58603 WITH SCORE 58668.42
AT ITER 551 NEW BEST:: SOT 118023 SOS 65553 HAS SOPS 65553 HAS SOUS 58556 HAS SOUPS 58556 WITH SCORE 58621.553
AT ITER 555 NEW BEST:: SOT 118005 SOS 65541 HAS SOPS 65541 HAS SOUS 58544 HAS SOUPS 58544 WITH SCORE 58609.541
AT ITER 559 NEW BEST:: SOT 118005 SOS 65388 HAS SOPS 65388 HAS SOUS 58544 HAS SOUPS 58544 WITH SCORE 58609.388
AT ITER 560 NEW BEST:: SOT 117891 SOS 65335 HAS SOPS 65335 HAS SOUS 58542 HAS SOUPS 58542 WITH SCORE 58607.335
AT ITER 567 NEW BEST:: SOT 117831 SOS 65286 HAS SOPS 65286 HAS SOUS 58493 HAS SOUPS 58493 WITH SCORE 58558.286
AT ITER 577 NEW BEST:: SOT 117831 SOS 65276 HAS SOPS 65276 HAS SOUS 58470 HAS SOUPS 58470 WITH SCORE 58535.276
AT ITER 579 NEW BEST:: SOT 117790 SOS 65270 HAS SOPS 65270 HAS SOUS 58464 HAS SOUPS 58464 WITH SCORE 58529.27
AT ITER 581 NEW BEST:: SOT 117643 SOS 65621 HAS SOPS 65621 HAS SOUS 58447 HAS SOUPS 58447 WITH SCORE 58512.621
AT ITER 585 NEW BEST:: SOT 117643 SOS 65530 HAS SOPS 65530 HAS SOUS 58440 HAS SOUPS 58440 WITH SCORE 58505.53
AT ITER 589 NEW BEST:: SOT 117643 SOS 65481 HAS SOPS 65481 HAS SOUS 58440 HAS SOUPS 58440 WITH SCORE 58505.481
AT ITER 595 NEW BEST:: SOT 117637 SOS 65634 HAS SOPS 65634 HAS SOUS 58429 HAS SOUPS 58429 WITH SCORE 58494.634
AT ITER 596 NEW BEST:: SOT 117668 SOS 65315 HAS SOPS 65315 HAS SOUS 58333 HAS SOUPS 58333 WITH SCORE 58398.315
AT ITER 607 NEW BEST:: SOT 117668 SOS 65272 HAS SOPS 65272 HAS SOUS 58333 HAS SOUPS 58333 WITH SCORE 58398.272
AT ITER 613 NEW BEST:: SOT 117668 SOS 65240 HAS SOPS 65240 HAS SOUS 58333 HAS SOUPS 58333 WITH SCORE 58398.24
AT ITER 618 NEW BEST:: SOT 117668 SOS 65234 HAS SOPS 65234 HAS SOUS 58327 HAS SOUPS 58327 WITH SCORE 58392.234
AT ITER 627 NEW BEST:: SOT 117506 SOS 65132 HAS SOPS 65132 HAS SOUS 58242 HAS SOUPS 58242 WITH SCORE 58307.132
AT ITER 639 NEW BEST:: SOT 117476 SOS 65102 HAS SOPS 65102 HAS SOUS 58212 HAS SOUPS 58212 WITH SCORE 58277.102
AT ITER 640 NEW BEST:: SOT 117424 SOS 65076 HAS SOPS 65076 HAS SOUS 58160 HAS SOUPS 58160 WITH SCORE 58225.076
AT ITER 646 NEW BEST:: SOT 117287 SOS 65098 HAS SOPS 65098 HAS SOUS 58088 HAS SOUPS 58088 WITH SCORE 58153.098
AT ITER 663 NEW BEST:: SOT 117287 SOS 65098 HAS SOPS 65098 HAS SOUS 57999 HAS SOUPS 57999 WITH SCORE 58064.098
AT ITER 666 NEW BEST:: SOT 117287 SOS 65060 HAS SOPS 65060 HAS SOUS 57986 HAS SOUPS 57986 WITH SCORE 58051.06
AT ITER 668 NEW BEST:: SOT 117086 SOS 64874 HAS SOPS 64874 HAS SOUS 57800 HAS SOUPS 57800 WITH SCORE 57864.874
AT ITER 702 NEW BEST:: SOT 117086 SOS 64872 HAS SOPS 64872 HAS SOUS 57800 HAS SOUPS 57800 WITH SCORE 57864.872
AT ITER 710 NEW BEST:: SOT 117086 SOS 64769 HAS SOPS 64769 HAS SOUS 57800 HAS SOUPS 57800 WITH SCORE 57864.769
AT ITER 716 NEW BEST:: SOT 117078 SOS 64769 HAS SOPS 64769 HAS SOUS 57792 HAS SOUPS 57792 WITH SCORE 57856.769
AT ITER 719 NEW BEST:: SOT 117078 SOS 64711 HAS SOPS 64711 HAS SOUS 57689 HAS SOUPS 57689 WITH SCORE 57753.711
AT ITER 745 NEW BEST:: SOT 116904 SOS 65018 HAS SOPS 65018 HAS SOUS 57566 HAS SOUPS 57566 WITH SCORE 57631.018
AT ITER 748 NEW BEST:: SOT 116904 SOS 65007 HAS SOPS 65007 HAS SOUS 57566 HAS SOUPS 57566 WITH SCORE 57631.007
AT ITER 754 NEW BEST:: SOT 116855 SOS 64988 HAS SOPS 64988 HAS SOUS 57547 HAS SOUPS 57547 WITH SCORE 57611.988
AT ITER 759 NEW BEST:: SOT 116837 SOS 64970 HAS SOPS 64970 HAS SOUS 57529 HAS SOUPS 57529 WITH SCORE 57593.97
AT ITER 764 NEW BEST:: SOT 116685 SOS 64919 HAS SOPS 64919 HAS SOUS 57474 HAS SOUPS 57474 WITH SCORE 57538.919
AT ITER 768 NEW BEST:: SOT 116685 SOS 64605 HAS SOPS 64605 HAS SOUS 57474 HAS SOUPS 57474 WITH SCORE 57538.605
AT ITER 769 NEW BEST:: SOT 116685 SOS 64474 HAS SOPS 64474 HAS SOUS 57474 HAS SOUPS 57474 WITH SCORE 57538.474
AT ITER 777 NEW BEST:: SOT 116681 SOS 64474 HAS SOPS 64474 HAS SOUS 57466 HAS SOUPS 57466 WITH SCORE 57530.474
AT ITER 785 NEW BEST:: SOT 116590 SOS 64467 HAS SOPS 64467 HAS SOUS 57459 HAS SOUPS 57459 WITH SCORE 57523.467
AT ITER 792 NEW BEST:: SOT 116548 SOS 64428 HAS SOPS 64428 HAS SOUS 57458 HAS SOUPS 57458 WITH SCORE 57522.428
AT ITER 796 NEW BEST:: SOT 116528 SOS 64414 HAS SOPS 64414 HAS SOUS 57445 HAS SOUPS 57445 WITH SCORE 57509.414
AT ITER 806 NEW BEST:: SOT 116528 SOS 64396 HAS SOPS 64396 HAS SOUS 57445 HAS SOUPS 57445 WITH SCORE 57509.396
AT ITER 808 NEW BEST:: SOT 116528 SOS 64323 HAS SOPS 64323 HAS SOUS 57445 HAS SOUPS 57445 WITH SCORE 57509.323
AT ITER 812 NEW BEST:: SOT 116509 SOS 64286 HAS SOPS 64286 HAS SOUS 57429 HAS SOUPS 57429 WITH SCORE 57493.286
AT ITER 813 NEW BEST:: SOT 116551 SOS 64290 HAS SOPS 64290 HAS SOUS 57383 HAS SOUPS 57383 WITH SCORE 57447.29
AT ITER 820 NEW BEST:: SOT 116620 SOS 64359 HAS SOPS 64359 HAS SOUS 57349 HAS SOUPS 57349 WITH SCORE 57413.359
AT ITER 821 NEW BEST:: SOT 116556 SOS 64420 HAS SOPS 64420 HAS SOUS 57285 HAS SOUPS 57285 WITH SCORE 57349.42
AT ITER 829 NEW BEST:: SOT 116556 SOS 64333 HAS SOPS 64333 HAS SOUS 57285 HAS SOUPS 57285 WITH SCORE 57349.333
AT ITER 834 NEW BEST:: SOT 116478 SOS 64284 HAS SOPS 64284 HAS SOUS 57207 HAS SOUPS 57207 WITH SCORE 57271.284
AT ITER 836 NEW BEST:: SOT 116418 SOS 64284 HAS SOPS 64284 HAS SOUS 57177 HAS SOUPS 57177 WITH SCORE 57241.284
AT ITER 843 NEW BEST:: SOT 116372 SOS 64238 HAS SOPS 64238 HAS SOUS 57131 HAS SOUPS 57131 WITH SCORE 57195.238
AT ITER 845 NEW BEST:: SOT 116372 SOS 64218 HAS SOPS 64218 HAS SOUS 57131 HAS SOUPS 57131 WITH SCORE 57195.218
AT ITER 847 NEW BEST:: SOT 116372 SOS 64210 HAS SOPS 64210 HAS SOUS 57131 HAS SOUPS 57131 WITH SCORE 57195.21
AT ITER 860 NEW BEST:: SOT 116496 SOS 64329 HAS SOPS 64329 HAS SOUS 57128 HAS SOUPS 57128 WITH SCORE 57192.329
AT ITER 878 NEW BEST:: SOT 116496 SOS 64323 HAS SOPS 64323 HAS SOUS 57128 HAS SOUPS 57128 WITH SCORE 57192.323
AT ITER 880 NEW BEST:: SOT 116479 SOS 64298 HAS SOPS 64298 HAS SOUS 57083 HAS SOUPS 57083 WITH SCORE 57147.298
AT ITER 881 NEW BEST:: SOT 116283 SOS 64285 HAS SOPS 64285 HAS SOUS 56953 HAS SOUPS 56953 WITH SCORE 57017.285
AT ITER 887 NEW BEST:: SOT 116283 SOS 64259 HAS SOPS 64259 HAS SOUS 56952 HAS SOUPS 56952 WITH SCORE 57016.259
AT ITER 905 NEW BEST:: SOT 116238 SOS 64241 HAS SOPS 64241 HAS SOUS 56934 HAS SOUPS 56934 WITH SCORE 56998.241
AT ITER 909 NEW BEST:: SOT 116071 SOS 63839 HAS SOPS 63839 HAS SOUS 56864 HAS SOUPS 56864 WITH SCORE 56927.839
AT ITER 910 NEW BEST:: SOT 116063 SOS 63831 HAS SOPS 63831 HAS SOUS 56856 HAS SOUPS 56856 WITH SCORE 56919.831
AT ITER 912 NEW BEST:: SOT 116063 SOS 63814 HAS SOPS 63814 HAS SOUS 56856 HAS SOUPS 56856 WITH SCORE 56919.814
AT ITER 923 NEW BEST:: SOT 115955 SOS 63787 HAS SOPS 63787 HAS SOUS 56775 HAS SOUPS 56775 WITH SCORE 56838.787
AT ITER 936 NEW BEST:: SOT 115808 SOS 63710 HAS SOPS 63710 HAS SOUS 56589 HAS SOUPS 56589 WITH SCORE 56652.71
AT ITER 945 NEW BEST:: SOT 115802 SOS 63704 HAS SOPS 63704 HAS SOUS 56583 HAS SOUPS 56583 WITH SCORE 56646.704
AT ITER 963 NEW BEST:: SOT 115812 SOS 63696 HAS SOPS 63696 HAS SOUS 56575 HAS SOUPS 56575 WITH SCORE 56638.696
AT ITER 969 NEW BEST:: SOT 115653 SOS 63608 HAS SOPS 63608 HAS SOUS 56529 HAS SOUPS 56529 WITH SCORE 56592.608
AT ITER 971 NEW BEST:: SOT 115653 SOS 63566 HAS SOPS 63566 HAS SOUS 56529 HAS SOUPS 56529 WITH SCORE 56592.566
AT ITER 975 NEW BEST:: SOT 115731 SOS 63568 HAS SOPS 63568 HAS SOUS 56486 HAS SOUPS 56486 WITH SCORE 56549.568
AT ITER 976 NEW BEST:: SOT 115597 SOS 63636 HAS SOPS 63636 HAS SOUS 56422 HAS SOUPS 56422 WITH SCORE 56485.636
AT ITER 980 NEW BEST:: SOT 115516 SOS 63537 HAS SOPS 63537 HAS SOUS 56407 HAS SOUPS 56407 WITH SCORE 56470.537
AT ITER 983 NEW BEST:: SOT 115400 SOS 63631 HAS SOPS 63631 HAS SOUS 56291 HAS SOUPS 56291 WITH SCORE 56354.631
AT ITER 989 NEW BEST:: SOT 115488 SOS 63449 HAS SOPS 63449 HAS SOUS 56289 HAS SOUPS 56289 WITH SCORE 56352.449
AT ITER 996 NEW BEST:: SOT 115488 SOS 63435 HAS SOPS 63435 HAS SOUS 56288 HAS SOUPS 56288 WITH SCORE 56351.435
AT ITER 1011 NEW BEST:: SOT 115503 SOS 63395 HAS SOPS 63395 HAS SOUS 56243 HAS SOUPS 56243 WITH SCORE 56306.395
AT ITER 1012 NEW BEST:: SOT 115452 SOS 63758 HAS SOPS 63758 HAS SOUS 56232 HAS SOUPS 56232 WITH SCORE 56295.758
AT ITER 1014 NEW BEST:: SOT 115452 SOS 63757 HAS SOPS 63757 HAS SOUS 56232 HAS SOUPS 56232 WITH SCORE 56295.757
AT ITER 1015 NEW BEST:: SOT 115452 SOS 63670 HAS SOPS 63670 HAS SOUS 56232 HAS SOUPS 56232 WITH SCORE 56295.67
AT ITER 1019 NEW BEST:: SOT 115452 SOS 63565 HAS SOPS 63565 HAS SOUS 56232 HAS SOUPS 56232 WITH SCORE 56295.565
AT ITER 1027 NEW BEST:: SOT 115452 SOS 63545 HAS SOPS 63545 HAS SOUS 56232 HAS SOUPS 56232 WITH SCORE 56295.545
AT ITER 1030 NEW BEST:: SOT 115452 SOS 63542 HAS SOPS 63542 HAS SOUS 56229 HAS SOUPS 56229 WITH SCORE 56292.542
AT ITER 1033 NEW BEST:: SOT 115452 SOS 63528 HAS SOPS 63528 HAS SOUS 56229 HAS SOUPS 56229 WITH SCORE 56292.528
AT ITER 1048 NEW BEST:: SOT 115442 SOS 63518 HAS SOPS 63518 HAS SOUS 56219 HAS SOUPS 56219 WITH SCORE 56282.518
AT ITER 1065 NEW BEST:: SOT 115442 SOS 63479 HAS SOPS 63479 HAS SOUS 56214 HAS SOUPS 56214 WITH SCORE 56277.479
AT ITER 1066 NEW BEST:: SOT 115442 SOS 63444 HAS SOPS 63444 HAS SOUS 56214 HAS SOUPS 56214 WITH SCORE 56277.444
AT ITER 1073 NEW BEST:: SOT 115433 SOS 63435 HAS SOPS 63435 HAS SOUS 56182 HAS SOUPS 56182 WITH SCORE 56245.435
AT ITER 1076 NEW BEST:: SOT 115442 SOS 63232 HAS SOPS 63232 HAS SOUS 56170 HAS SOUPS 56170 WITH SCORE 56233.232
AT ITER 1087 NEW BEST:: SOT 115333 SOS 63739 HAS SOPS 63739 HAS SOUS 56061 HAS SOUPS 56061 WITH SCORE 56124.739
AT ITER 1093 NEW BEST:: SOT 115333 SOS 63738 HAS SOPS 63738 HAS SOUS 56026 HAS SOUPS 56026 WITH SCORE 56089.738
AT ITER 1094 NEW BEST:: SOT 115328 SOS 63698 HAS SOPS 63698 HAS SOUS 55976 HAS SOUPS 55976 WITH SCORE 56039.698
AT ITER 1114 NEW BEST:: SOT 115218 SOS 63632 HAS SOPS 63632 HAS SOUS 55885 HAS SOUPS 55885 WITH SCORE 55948.632
AT ITER 1120 NEW BEST:: SOT 115044 SOS 63520 HAS SOPS 63520 HAS SOUS 55863 HAS SOUPS 55863 WITH SCORE 55926.52
AT ITER 1125 NEW BEST:: SOT 115044 SOS 63521 HAS SOPS 63521 HAS SOUS 55861 HAS SOUPS 55861 WITH SCORE 55924.521
AT ITER 1132 NEW BEST:: SOT 115076 SOS 63478 HAS SOPS 63478 HAS SOUS 55806 HAS SOUPS 55806 WITH SCORE 55869.478
AT ITER 1139 NEW BEST:: SOT 115023 SOS 63477 HAS SOPS 63477 HAS SOUS 55766 HAS SOUPS 55766 WITH SCORE 55829.477
AT ITER 1147 NEW BEST:: SOT 114966 SOS 63291 HAS SOPS 63291 HAS SOUS 55679 HAS SOUPS 55679 WITH SCORE 55742.291
AT ITER 1148 NEW BEST:: SOT 114966 SOS 63284 HAS SOPS 63284 HAS SOUS 55679 HAS SOUPS 55679 WITH SCORE 55742.284
AT ITER 1153 NEW BEST:: SOT 114940 SOS 63258 HAS SOPS 63258 HAS SOUS 55653 HAS SOUPS 55653 WITH SCORE 55716.258
AT ITER 1154 NEW BEST:: SOT 114708 SOS 63240 HAS SOPS 63240 HAS SOUS 55571 HAS SOUPS 55571 WITH SCORE 55634.24
AT ITER 1155 NEW BEST:: SOT 114708 SOS 63167 HAS SOPS 63167 HAS SOUS 55571 HAS SOUPS 55571 WITH SCORE 55634.167
AT ITER 1164 NEW BEST:: SOT 114703 SOS 63163 HAS SOPS 63163 HAS SOUS 55567 HAS SOUPS 55567 WITH SCORE 55630.163
AT ITER 1170 NEW BEST:: SOT 114695 SOS 63163 HAS SOPS 63163 HAS SOUS 55559 HAS SOUPS 55559 WITH SCORE 55622.163
AT ITER 1171 NEW BEST:: SOT 114615 SOS 63099 HAS SOPS 63099 HAS SOUS 55495 HAS SOUPS 55495 WITH SCORE 55558.099
AT ITER 1182 NEW BEST:: SOT 114615 SOS 63070 HAS SOPS 63070 HAS SOUS 55495 HAS SOUPS 55495 WITH SCORE 55558.07
AT ITER 1192 NEW BEST:: SOT 114502 SOS 63343 HAS SOPS 63343 HAS SOUS 55382 HAS SOUPS 55382 WITH SCORE 55445.343
AT ITER 1194 NEW BEST:: SOT 114396 SOS 63350 HAS SOPS 63350 HAS SOUS 55276 HAS SOUPS 55276 WITH SCORE 55339.35
AT ITER 1196 NEW BEST:: SOT 114374 SOS 63313 HAS SOPS 63313 HAS SOUS 55254 HAS SOUPS 55254 WITH SCORE 55317.313
AT ITER 1201 NEW BEST:: SOT 114434 SOS 63419 HAS SOPS 63419 HAS SOUS 55231 HAS SOUPS 55231 WITH SCORE 55294.419
AT ITER 1204 NEW BEST:: SOT 114074 SOS 63207 HAS SOPS 63207 HAS SOUS 55111 HAS SOUPS 55111 WITH SCORE 55174.207
AT ITER 1216 NEW BEST:: SOT 113844 SOS 63276 HAS SOPS 63276 HAS SOUS 54962 HAS SOUPS 54962 WITH SCORE 55025.276
AT ITER 1221 NEW BEST:: SOT 113844 SOS 63261 HAS SOPS 63261 HAS SOUS 54947 HAS SOUPS 54947 WITH SCORE 55010.261
AT ITER 1270 NEW BEST:: SOT 113624 SOS 63067 HAS SOPS 63067 HAS SOUS 54727 HAS SOUPS 54727 WITH SCORE 54790.067
AT ITER 1273 NEW BEST:: SOT 113612 SOS 63061 HAS SOPS 63061 HAS SOUS 54725 HAS SOUPS 54725 WITH SCORE 54788.061
AT ITER 1300 NEW BEST:: SOT 113612 SOS 63061 HAS SOPS 63061 HAS SOUS 54709 HAS SOUPS 54709 WITH SCORE 54772.061
AT ITER 1312 NEW BEST:: SOT 113612 SOS 62985 HAS SOPS 62985 HAS SOUS 54709 HAS SOUPS 54709 WITH SCORE 54771.985
AT ITER 1359 NEW BEST:: SOT 113612 SOS 62965 HAS SOPS 62965 HAS SOUS 54709 HAS SOUPS 54709 WITH SCORE 54771.965
AT ITER 1360 NEW BEST:: SOT 113549 SOS 63329 HAS SOPS 63329 HAS SOUS 54650 HAS SOUPS 54650 WITH SCORE 54713.329
AT ITER 1371 NEW BEST:: SOT 113549 SOS 63309 HAS SOPS 63309 HAS SOUS 54650 HAS SOUPS 54650 WITH SCORE 54713.309
AT ITER 1379 NEW BEST:: SOT 113549 SOS 63304 HAS SOPS 63304 HAS SOUS 54650 HAS SOUPS 54650 WITH SCORE 54713.304
AT ITER 1386 NEW BEST:: SOT 113560 SOS 63315 HAS SOPS 63315 HAS SOUS 54638 HAS SOUPS 54638 WITH SCORE 54701.315
AT ITER 1387 NEW BEST:: SOT 113356 SOS 63305 HAS SOPS 63305 HAS SOUS 54631 HAS SOUPS 54631 WITH SCORE 54694.305
AT ITER 1400 NEW BEST:: SOT 113356 SOS 63193 HAS SOPS 63193 HAS SOUS 54631 HAS SOUPS 54631 WITH SCORE 54694.193
AT ITER 1404 NEW BEST:: SOT 113223 SOS 63326 HAS SOPS 63326 HAS SOUS 54530 HAS SOUPS 54530 WITH SCORE 54593.326
AT ITER 1406 NEW BEST:: SOT 113161 SOS 63191 HAS SOPS 63191 HAS SOUS 54468 HAS SOUPS 54468 WITH SCORE 54531.191
AT ITER 1409 NEW BEST:: SOT 113126 SOS 63208 HAS SOPS 63208 HAS SOUS 54452 HAS SOUPS 54452 WITH SCORE 54515.208
AT ITER 1415 NEW BEST:: SOT 113144 SOS 63226 HAS SOPS 63226 HAS SOUS 54447 HAS SOUPS 54447 WITH SCORE 54510.226
AT ITER 1419 NEW BEST:: SOT 113164 SOS 63198 HAS SOPS 63198 HAS SOUS 54443 HAS SOUPS 54443 WITH SCORE 54506.198
AT ITER 1426 NEW BEST:: SOT 113164 SOS 63194 HAS SOPS 63194 HAS SOUS 54443 HAS SOUPS 54443 WITH SCORE 54506.194
AT ITER 1432 NEW BEST:: SOT 112993 SOS 63082 HAS SOPS 63082 HAS SOUS 54331 HAS SOUPS 54331 WITH SCORE 54394.082
AT ITER 1434 NEW BEST:: SOT 112768 SOS 63508 HAS SOPS 63508 HAS SOUS 54287 HAS SOUPS 54287 WITH SCORE 54350.508
AT ITER 1437 NEW BEST:: SOT 112768 SOS 63570 HAS SOPS 63570 HAS SOUS 54286 HAS SOUPS 54286 WITH SCORE 54349.57
AT ITER 1438 NEW BEST:: SOT 112678 SOS 64080 HAS SOPS 64080 HAS SOUS 54258 HAS SOUPS 54258 WITH SCORE 54322.08
AT ITER 1445 NEW BEST:: SOT 112678 SOS 64072 HAS SOPS 64072 HAS SOUS 54232 HAS SOUPS 54232 WITH SCORE 54296.072
AT ITER 1447 NEW BEST:: SOT 112503 SOS 64114 HAS SOPS 64114 HAS SOUS 54200 HAS SOUPS 54200 WITH SCORE 54264.114
AT ITER 1458 NEW BEST:: SOT 112489 SOS 64093 HAS SOPS 64093 HAS SOUS 54170 HAS SOUPS 54170 WITH SCORE 54234.093
AT ITER 1459 NEW BEST:: SOT 112430 SOS 64034 HAS SOPS 64034 HAS SOUS 54066 HAS SOUPS 54066 WITH SCORE 54130.034
AT ITER 1461 NEW BEST:: SOT 112405 SOS 64009 HAS SOPS 64009 HAS SOUS 54041 HAS SOUPS 54041 WITH SCORE 54105.009
AT ITER 1478 NEW BEST:: SOT 112249 SOS 64127 HAS SOPS 64127 HAS SOUS 54020 HAS SOUPS 54020 WITH SCORE 54084.127
AT ITER 1479 NEW BEST:: SOT 112249 SOS 64082 HAS SOPS 64082 HAS SOUS 54015 HAS SOUPS 54015 WITH SCORE 54079.082
AT ITER 1484 NEW BEST:: SOT 112201 SOS 64081 HAS SOPS 64081 HAS SOUS 53953 HAS SOUPS 53953 WITH SCORE 54017.081
AT ITER 1485 NEW BEST:: SOT 112129 SOS 64067 HAS SOPS 64067 HAS SOUS 53939 HAS SOUPS 53939 WITH SCORE 54003.067
AT ITER 1487 NEW BEST:: SOT 111948 SOS 63943 HAS SOPS 63943 HAS SOUS 53815 HAS SOUPS 53815 WITH SCORE 53878.943
AT ITER 1493 NEW BEST:: SOT 111948 SOS 63889 HAS SOPS 63889 HAS SOUS 53815 HAS SOUPS 53815 WITH SCORE 53878.889
AT ITER 1494 NEW BEST:: SOT 111948 SOS 63883 HAS SOPS 63883 HAS SOUS 53815 HAS SOUPS 53815 WITH SCORE 53878.883
AT ITER 1499 NEW BEST:: SOT 111948 SOS 63564 HAS SOPS 63564 HAS SOUS 53815 HAS SOUPS 53815 WITH SCORE 53878.564
AT ITER 1502 NEW BEST:: SOT 111940 SOS 63542 HAS SOPS 63542 HAS SOUS 53807 HAS SOUPS 53807 WITH SCORE 53870.542
AT ITER 1513 NEW BEST:: SOT 111759 SOS 63362 HAS SOPS 63362 HAS SOUS 53627 HAS SOUPS 53627 WITH SCORE 53690.362
AT ITER 1532 NEW BEST:: SOT 111708 SOS 63290 HAS SOPS 63290 HAS SOUS 53534 HAS SOUPS 53534 WITH SCORE 53597.29
AT ITER 1534 NEW BEST:: SOT 111662 SOS 63267 HAS SOPS 63267 HAS SOUS 53506 HAS SOUPS 53506 WITH SCORE 53569.267
AT ITER 1537 NEW BEST:: SOT 111598 SOS 63203 HAS SOPS 63203 HAS SOUS 53367 HAS SOUPS 53367 WITH SCORE 53430.203
AT ITER 1549 NEW BEST:: SOT 111580 SOS 63212 HAS SOPS 63212 HAS SOUS 53349 HAS SOUPS 53349 WITH SCORE 53412.212
AT ITER 1558 NEW BEST:: SOT 111575 SOS 63207 HAS SOPS 63207 HAS SOUS 53344 HAS SOUPS 53344 WITH SCORE 53407.207
AT ITER 1579 NEW BEST:: SOT 111553 SOS 63188 HAS SOPS 63188 HAS SOUS 53325 HAS SOUPS 53325 WITH SCORE 53388.188
AT ITER 1595 NEW BEST:: SOT 111496 SOS 63176 HAS SOPS 63176 HAS SOUS 53313 HAS SOUPS 53313 WITH SCORE 53376.176
AT ITER 1633 NEW BEST:: SOT 111496 SOS 63131 HAS SOPS 63131 HAS SOUS 53286 HAS SOUPS 53286 WITH SCORE 53349.131
AT ITER 1635 NEW BEST:: SOT 111496 SOS 63095 HAS SOPS 63095 HAS SOUS 53286 HAS SOUPS 53286 WITH SCORE 53349.095
AT ITER 1646 NEW BEST:: SOT 111496 SOS 63065 HAS SOPS 63065 HAS SOUS 53286 HAS SOUPS 53286 WITH SCORE 53349.065
AT ITER 1652 NEW BEST:: SOT 111437 SOS 63051 HAS SOPS 63051 HAS SOUS 53226 HAS SOUPS 53226 WITH SCORE 53289.051
AT ITER 1660 NEW BEST:: SOT 111437 SOS 62589 HAS SOPS 62589 HAS SOUS 53226 HAS SOUPS 53226 WITH SCORE 53288.589
AT ITER 1663 NEW BEST:: SOT 111437 SOS 62572 HAS SOPS 62572 HAS SOUS 53209 HAS SOUPS 53209 WITH SCORE 53271.572
AT ITER 1667 NEW BEST:: SOT 111437 SOS 62560 HAS SOPS 62560 HAS SOUS 53197 HAS SOUPS 53197 WITH SCORE 53259.56
AT ITER 1675 NEW BEST:: SOT 111231 SOS 62595 HAS SOPS 62595 HAS SOUS 53147 HAS SOUPS 53147 WITH SCORE 53209.595
AT ITER 1678 NEW BEST:: SOT 111228 SOS 62592 HAS SOPS 62592 HAS SOUS 53125 HAS SOUPS 53125 WITH SCORE 53187.592
AT ITER 1685 NEW BEST:: SOT 111228 SOS 62572 HAS SOPS 62572 HAS SOUS 53125 HAS SOUPS 53125 WITH SCORE 53187.572
AT ITER 1700 NEW BEST:: SOT 111179 SOS 62523 HAS SOPS 62523 HAS SOUS 53076 HAS SOUPS 53076 WITH SCORE 53138.523
AT ITER 1704 NEW BEST:: SOT 111185 SOS 62511 HAS SOPS 62511 HAS SOUS 53064 HAS SOUPS 53064 WITH SCORE 53126.511
AT ITER 1716 NEW BEST:: SOT 111270 SOS 61976 HAS SOPS 61976 HAS SOUS 52955 HAS SOUPS 52955 WITH SCORE 53016.976
AT ITER 1720 NEW BEST:: SOT 111236 SOS 61926 HAS SOPS 61926 HAS SOUS 52878 HAS SOUPS 52878 WITH SCORE 52939.926
AT ITER 1739 NEW BEST:: SOT 111226 SOS 62068 HAS SOPS 62068 HAS SOUS 52868 HAS SOUPS 52868 WITH SCORE 52930.068
AT ITER 1772 NEW BEST:: SOT 111224 SOS 61936 HAS SOPS 61936 HAS SOUS 52821 HAS SOUPS 52821 WITH SCORE 52882.936
AT ITER 1788 NEW BEST:: SOT 111224 SOS 61936 HAS SOPS 61936 HAS SOUS 52812 HAS SOUPS 52812 WITH SCORE 52873.936
AT ITER 1790 NEW BEST:: SOT 111262 SOS 61906 HAS SOPS 61906 HAS SOUS 52793 HAS SOUPS 52793 WITH SCORE 52854.906
AT ITER 1793 NEW BEST:: SOT 111143 SOS 61817 HAS SOPS 61817 HAS SOUS 52704 HAS SOUPS 52704 WITH SCORE 52765.817
AT ITER 1796 NEW BEST:: SOT 111004 SOS 62591 HAS SOPS 62591 HAS SOUS 52694 HAS SOUPS 52694 WITH SCORE 52756.591
AT ITER 1797 NEW BEST:: SOT 110953 SOS 62585 HAS SOPS 62585 HAS SOUS 52672 HAS SOUPS 52672 WITH SCORE 52734.585
AT ITER 1798 NEW BEST:: SOT 110799 SOS 62527 HAS SOPS 62527 HAS SOUS 52518 HAS SOUPS 52518 WITH SCORE 52580.527
AT ITER 1801 NEW BEST:: SOT 110660 SOS 62623 HAS SOPS 62623 HAS SOUS 52379 HAS SOUPS 52379 WITH SCORE 52441.623
AT ITER 1802 NEW BEST:: SOT 110617 SOS 62580 HAS SOPS 62580 HAS SOUS 52308 HAS SOUPS 52308 WITH SCORE 52370.58
AT ITER 1812 NEW BEST:: SOT 110363 SOS 62572 HAS SOPS 62572 HAS SOUS 52263 HAS SOUPS 52263 WITH SCORE 52325.572
AT ITER 1823 NEW BEST:: SOT 110289 SOS 62498 HAS SOPS 62498 HAS SOUS 52189 HAS SOUPS 52189 WITH SCORE 52251.498
AT ITER 1824 NEW BEST:: SOT 110328 SOS 62537 HAS SOPS 62537 HAS SOUS 52188 HAS SOUPS 52188 WITH SCORE 52250.537
AT ITER 1825 NEW BEST:: SOT 110179 SOS 62530 HAS SOPS 62530 HAS SOUS 52125 HAS SOUPS 52125 WITH SCORE 52187.53
AT ITER 1840 NEW BEST:: SOT 110177 SOS 62528 HAS SOPS 62528 HAS SOUS 52121 HAS SOUPS 52121 WITH SCORE 52183.528
AT ITER 1858 NEW BEST:: SOT 110177 SOS 62528 HAS SOPS 62528 HAS SOUS 52084 HAS SOUPS 52084 WITH SCORE 52146.528
AT ITER 1862 NEW BEST:: SOT 110110 SOS 62471 HAS SOPS 62471 HAS SOUS 52027 HAS SOUPS 52027 WITH SCORE 52089.471
AT ITER 1866 NEW BEST:: SOT 110110 SOS 62458 HAS SOPS 62458 HAS SOUS 52027 HAS SOUPS 52027 WITH SCORE 52089.458
AT ITER 1884 NEW BEST:: SOT 110085 SOS 62433 HAS SOPS 62433 HAS SOUS 52002 HAS SOUPS 52002 WITH SCORE 52064.433
AT ITER 1885 NEW BEST:: SOT 110036 SOS 62384 HAS SOPS 62384 HAS SOUS 51935 HAS SOUPS 51935 WITH SCORE 51997.384
AT ITER 1894 NEW BEST:: SOT 109995 SOS 62635 HAS SOPS 62635 HAS SOUS 51923 HAS SOUPS 51923 WITH SCORE 51985.635
AT ITER 1903 NEW BEST:: SOT 109995 SOS 62635 HAS SOPS 62635 HAS SOUS 51886 HAS SOUPS 51886 WITH SCORE 51948.635
AT ITER 1908 NEW BEST:: SOT 109995 SOS 62631 HAS SOPS 62631 HAS SOUS 51886 HAS SOUPS 51886 WITH SCORE 51948.631
AT ITER 1919 NEW BEST:: SOT 109822 SOS 62505 HAS SOPS 62505 HAS SOUS 51760 HAS SOUPS 51760 WITH SCORE 51822.505
AT ITER 1930 NEW BEST:: SOT 109822 SOS 62505 HAS SOPS 62505 HAS SOUS 51697 HAS SOUPS 51697 WITH SCORE 51759.505
AT ITER 1955 NEW BEST:: SOT 109793 SOS 62414 HAS SOPS 62414 HAS SOUS 51664 HAS SOUPS 51664 WITH SCORE 51726.414
AT ITER 1958 NEW BEST:: SOT 109794 SOS 62399 HAS SOPS 62399 HAS SOUS 51649 HAS SOUPS 51649 WITH SCORE 51711.399
AT ITER 1963 NEW BEST:: SOT 109766 SOS 62371 HAS SOPS 62371 HAS SOUS 51621 HAS SOUPS 51621 WITH SCORE 51683.371
AT ITER 1979 NEW BEST:: SOT 109706 SOS 62333 HAS SOPS 62333 HAS SOUS 51605 HAS SOUPS 51605 WITH SCORE 51667.333
AT ITER 1982 NEW BEST:: SOT 109356 SOS 62722 HAS SOPS 62722 HAS SOUS 51510 HAS SOUPS 51510 WITH SCORE 51572.722
AT ITER 1999 NEW BEST:: SOT 109280 SOS 62663 HAS SOPS 62663 HAS SOUS 51451 HAS SOUPS 51451 WITH SCORE 51513.663
AT ITER 2000 NEW BEST:: SOT 109271 SOS 62641 HAS SOPS 62641 HAS SOUS 51428 HAS SOUPS 51428 WITH SCORE 51490.641
AT ITER 2007 NEW BEST:: SOT 109271 SOS 62547 HAS SOPS 62547 HAS SOUS 51428 HAS SOUPS 51428 WITH SCORE 51490.547
AT ITER 2014 NEW BEST:: SOT 108962 SOS 62302 HAS SOPS 62302 HAS SOUS 51183 HAS SOUPS 51183 WITH SCORE 51245.302
AT ITER 2024 NEW BEST:: SOT 108953 SOS 62293 HAS SOPS 62293 HAS SOUS 51174 HAS SOUPS 51174 WITH SCORE 51236.293
AT ITER 2025 NEW BEST:: SOT 108823 SOS 62211 HAS SOPS 62211 HAS SOUS 51091 HAS SOUPS 51091 WITH SCORE 51153.211
AT ITER 2044 NEW BEST:: SOT 108823 SOS 62197 HAS SOPS 62197 HAS SOUS 51091 HAS SOUPS 51091 WITH SCORE 51153.197
AT ITER 2052 NEW BEST:: SOT 108809 SOS 62173 HAS SOPS 62173 HAS SOUS 51063 HAS SOUPS 51063 WITH SCORE 51125.173
AT ITER 2053 NEW BEST:: SOT 108771 SOS 62109 HAS SOPS 62109 HAS SOUS 50981 HAS SOUPS 50981 WITH SCORE 51043.109
AT ITER 2096 NEW BEST:: SOT 108771 SOS 61780 HAS SOPS 61780 HAS SOUS 50972 HAS SOUPS 50972 WITH SCORE 51033.78
AT ITER 2106 NEW BEST:: SOT 108771 SOS 61708 HAS SOPS 61708 HAS SOUS 50972 HAS SOUPS 50972 WITH SCORE 51033.708
AT ITER 2113 NEW BEST:: SOT 108771 SOS 61708 HAS SOPS 61708 HAS SOUS 50944 HAS SOUPS 50944 WITH SCORE 51005.708
AT ITER 2118 NEW BEST:: SOT 108771 SOS 61704 HAS SOPS 61704 HAS SOUS 50944 HAS SOUPS 50944 WITH SCORE 51005.704
AT ITER 2136 NEW BEST:: SOT 108837 SOS 61709 HAS SOPS 61709 HAS SOUS 50818 HAS SOUPS 50818 WITH SCORE 50879.709
AT ITER 2148 NEW BEST:: SOT 108862 SOS 61734 HAS SOPS 61734 HAS SOUS 50810 HAS SOUPS 50810 WITH SCORE 50871.734
AT ITER 2167 NEW BEST:: SOT 108765 SOS 61690 HAS SOPS 61690 HAS SOUS 50766 HAS SOUPS 50766 WITH SCORE 50827.69
AT ITER 2172 NEW BEST:: SOT 108765 SOS 61672 HAS SOPS 61672 HAS SOUS 50766 HAS SOUPS 50766 WITH SCORE 50827.672
AT ITER 2175 NEW BEST:: SOT 108742 SOS 61649 HAS SOPS 61649 HAS SOUS 50743 HAS SOUPS 50743 WITH SCORE 50804.649
AT ITER 2190 NEW BEST:: SOT 108727 SOS 61662 HAS SOPS 61662 HAS SOUS 50742 HAS SOUPS 50742 WITH SCORE 50803.662
AT ITER 2192 NEW BEST:: SOT 108699 SOS 61675 HAS SOPS 61675 HAS SOUS 50714 HAS SOUPS 50714 WITH SCORE 50775.675
AT ITER 2195 NEW BEST:: SOT 108689 SOS 61665 HAS SOPS 61665 HAS SOUS 50704 HAS SOUPS 50704 WITH SCORE 50765.665
AT ITER 2196 NEW BEST:: SOT 108717 SOS 61569 HAS SOPS 61569 HAS SOUS 50631 HAS SOUPS 50631 WITH SCORE 50692.569
AT ITER 2198 NEW BEST:: SOT 108699 SOS 61551 HAS SOPS 61551 HAS SOUS 50613 HAS SOUPS 50613 WITH SCORE 50674.551
AT ITER 2206 NEW BEST:: SOT 108661 SOS 61561 HAS SOPS 61561 HAS SOUS 50592 HAS SOUPS 50592 WITH SCORE 50653.561
AT ITER 2208 NEW BEST:: SOT 108550 SOS 61561 HAS SOPS 61561 HAS SOUS 50530 HAS SOUPS 50530 WITH SCORE 50591.561
AT ITER 2209 NEW BEST:: SOT 108550 SOS 61531 HAS SOPS 61531 HAS SOUS 50530 HAS SOUPS 50530 WITH SCORE 50591.531
AT ITER 2217 NEW BEST:: SOT 108496 SOS 61477 HAS SOPS 61477 HAS SOUS 50416 HAS SOUPS 50416 WITH SCORE 50477.477
AT ITER 2221 NEW BEST:: SOT 108547 SOS 61585 HAS SOPS 61585 HAS SOUS 50400 HAS SOUPS 50400 WITH SCORE 50461.585
AT ITER 2222 NEW BEST:: SOT 108540 SOS 61578 HAS SOPS 61578 HAS SOUS 50393 HAS SOUPS 50393 WITH SCORE 50454.578
AT ITER 2238 NEW BEST:: SOT 108517 SOS 61460 HAS SOPS 61460 HAS SOUS 50333 HAS SOUPS 50333 WITH SCORE 50394.46
AT ITER 2251 NEW BEST:: SOT 108495 SOS 61455 HAS SOPS 61455 HAS SOUS 50328 HAS SOUPS 50328 WITH SCORE 50389.455
AT ITER 2252 NEW BEST:: SOT 108339 SOS 61338 HAS SOPS 61338 HAS SOUS 50211 HAS SOUPS 50211 WITH SCORE 50272.338
AT ITER 2256 NEW BEST:: SOT 108372 SOS 61407 HAS SOPS 61407 HAS SOUS 50178 HAS SOUPS 50178 WITH SCORE 50239.407
AT ITER 2308 NEW BEST:: SOT 108372 SOS 61357 HAS SOPS 61357 HAS SOUS 50124 HAS SOUPS 50124 WITH SCORE 50185.357
AT ITER 2314 NEW BEST:: SOT 108176 SOS 61238 HAS SOPS 61238 HAS SOUS 50005 HAS SOUPS 50005 WITH SCORE 50066.238
AT ITER 2336 NEW BEST:: SOT 108090 SOS 61152 HAS SOPS 61152 HAS SOUS 50001 HAS SOUPS 50001 WITH SCORE 50062.152
AT ITER 2345 NEW BEST:: SOT 108078 SOS 61140 HAS SOPS 61140 HAS SOUS 49989 HAS SOUPS 49989 WITH SCORE 50050.14
AT ITER 2359 NEW BEST:: SOT 108066 SOS 61128 HAS SOPS 61128 HAS SOUS 49977 HAS SOUPS 49977 WITH SCORE 50038.128
AT ITER 2360 NEW BEST:: SOT 108066 SOS 61122 HAS SOPS 61122 HAS SOUS 49971 HAS SOUPS 49971 WITH SCORE 50032.122
AT ITER 2365 NEW BEST:: SOT 108066 SOS 61122 HAS SOPS 61122 HAS SOUS 49951 HAS SOUPS 49951 WITH SCORE 50012.122
AT ITER 2368 NEW BEST:: SOT 108066 SOS 61122 HAS SOPS 61122 HAS SOUS 49948 HAS SOUPS 49948 WITH SCORE 50009.122
AT ITER 2381 NEW BEST:: SOT 108060 SOS 61114 HAS SOPS 61114 HAS SOUS 49940 HAS SOUPS 49940 WITH SCORE 50001.114
AT ITER 2382 NEW BEST:: SOT 108060 SOS 61071 HAS SOPS 61071 HAS SOUS 49931 HAS SOUPS 49931 WITH SCORE 49992.071
AT ITER 2408 NEW BEST:: SOT 108060 SOS 61071 HAS SOPS 61071 HAS SOUS 49925 HAS SOUPS 49925 WITH SCORE 49986.071
AT ITER 2411 NEW BEST:: SOT 108042 SOS 61053 HAS SOPS 61053 HAS SOUS 49906 HAS SOUPS 49906 WITH SCORE 49967.053
AT ITER 2419 NEW BEST:: SOT 108042 SOS 60956 HAS SOPS 60956 HAS SOUS 49906 HAS SOUPS 49906 WITH SCORE 49966.956
AT ITER 2422 NEW BEST:: SOT 108036 SOS 60950 HAS SOPS 60950 HAS SOUS 49900 HAS SOUPS 49900 WITH SCORE 49960.95
AT ITER 2423 NEW BEST:: SOT 108008 SOS 60922 HAS SOPS 60922 HAS SOUS 49872 HAS SOUPS 49872 WITH SCORE 49932.922
AT ITER 2427 NEW BEST:: SOT 108008 SOS 60906 HAS SOPS 60906 HAS SOUS 49856 HAS SOUPS 49856 WITH SCORE 49916.906
AT ITER 2452 NEW BEST:: SOT 107851 SOS 61196 HAS SOPS 61196 HAS SOUS 49852 HAS SOUPS 49852 WITH SCORE 49913.196
AT ITER 2457 NEW BEST:: SOT 107836 SOS 61148 HAS SOPS 61148 HAS SOUS 49808 HAS SOUPS 49808 WITH SCORE 49869.148
AT ITER 2458 NEW BEST:: SOT 107810 SOS 61122 HAS SOPS 61122 HAS SOUS 49782 HAS SOUPS 49782 WITH SCORE 49843.122
AT ITER 2461 NEW BEST:: SOT 107810 SOS 61101 HAS SOPS 61101 HAS SOUS 49761 HAS SOUPS 49761 WITH SCORE 49822.101
AT ITER 2465 NEW BEST:: SOT 107810 SOS 61010 HAS SOPS 61010 HAS SOUS 49757 HAS SOUPS 49757 WITH SCORE 49818.01
AT ITER 2504 NEW BEST:: SOT 107810 SOS 61010 HAS SOPS 61010 HAS SOUS 49755 HAS SOUPS 49755 WITH SCORE 49816.01
AT ITER 2522 NEW BEST:: SOT 107744 SOS 61004 HAS SOPS 61004 HAS SOUS 49738 HAS SOUPS 49738 WITH SCORE 49799.004
AT ITER 2523 NEW BEST:: SOT 107723 SOS 60908 HAS SOPS 60908 HAS SOUS 49735 HAS SOUPS 49735 WITH SCORE 49795.908
AT ITER 2529 NEW BEST:: SOT 107693 SOS 60917 HAS SOPS 60917 HAS SOUS 49716 HAS SOUPS 49716 WITH SCORE 49776.917
AT ITER 2535 NEW BEST:: SOT 107709 SOS 60930 HAS SOPS 60930 HAS SOUS 49714 HAS SOUPS 49714 WITH SCORE 49774.93
AT ITER 2540 NEW BEST:: SOT 107673 SOS 60843 HAS SOPS 60843 HAS SOUS 49664 HAS SOUPS 49664 WITH SCORE 49724.843
AT ITER 2544 NEW BEST:: SOT 107673 SOS 60798 HAS SOPS 60798 HAS SOUS 49664 HAS SOUPS 49664 WITH SCORE 49724.798
AT ITER 2572 NEW BEST:: SOT 107673 SOS 60798 HAS SOPS 60798 HAS SOUS 49621 HAS SOUPS 49621 WITH SCORE 49681.798
AT ITER 2613 NEW BEST:: SOT 107673 SOS 60775 HAS SOPS 60775 HAS SOUS 49598 HAS SOUPS 49598 WITH SCORE 49658.775
AT ITER 2614 NEW BEST:: SOT 107673 SOS 60714 HAS SOPS 60714 HAS SOUS 49593 HAS SOUPS 49593 WITH SCORE 49653.714
AT ITER 2632 NEW BEST:: SOT 107675 SOS 60168 HAS SOPS 60168 HAS SOUS 49543 HAS SOUPS 49543 WITH SCORE 49603.168
AT ITER 2635 NEW BEST:: SOT 107675 SOS 59699 HAS SOPS 59699 HAS SOUS 49543 HAS SOUPS 49543 WITH SCORE 49602.699
AT ITER 2642 NEW BEST:: SOT 107675 SOS 59650 HAS SOPS 59650 HAS SOUS 49543 HAS SOUPS 49543 WITH SCORE 49602.65
AT ITER 2675 NEW BEST:: SOT 107665 SOS 60023 HAS SOPS 60023 HAS SOUS 49533 HAS SOUPS 49533 WITH SCORE 49593.023
AT ITER 2698 NEW BEST:: SOT 107662 SOS 60014 HAS SOPS 60014 HAS SOUS 49533 HAS SOUPS 49533 WITH SCORE 49593.014
AT ITER 2706 NEW BEST:: SOT 107683 SOS 59792 HAS SOPS 59792 HAS SOUS 49469 HAS SOUPS 49469 WITH SCORE 49528.792
AT ITER 2708 NEW BEST:: SOT 107622 SOS 59753 HAS SOPS 59753 HAS SOUS 49456 HAS SOUPS 49456 WITH SCORE 49515.753
AT ITER 2712 NEW BEST:: SOT 107582 SOS 59631 HAS SOPS 59631 HAS SOUS 49380 HAS SOUPS 49380 WITH SCORE 49439.631
AT ITER 2719 NEW BEST:: SOT 107579 SOS 59628 HAS SOPS 59628 HAS SOUS 49377 HAS SOUPS 49377 WITH SCORE 49436.628
AT ITER 2724 NEW BEST:: SOT 107509 SOS 59558 HAS SOPS 59558 HAS SOUS 49307 HAS SOUPS 49307 WITH SCORE 49366.558
AT ITER 2731 NEW BEST:: SOT 107449 SOS 59766 HAS SOPS 59766 HAS SOUS 49285 HAS SOUPS 49285 WITH SCORE 49344.766
AT ITER 2738 NEW BEST:: SOT 107449 SOS 59756 HAS SOPS 59756 HAS SOUS 49275 HAS SOUPS 49275 WITH SCORE 49334.756
AT ITER 2741 NEW BEST:: SOT 107454 SOS 59751 HAS SOPS 59751 HAS SOUS 49275 HAS SOUPS 49275 WITH SCORE 49334.751
AT ITER 2750 NEW BEST:: SOT 107435 SOS 59732 HAS SOPS 59732 HAS SOUS 49262 HAS SOUPS 49262 WITH SCORE 49321.732
AT ITER 2755 NEW BEST:: SOT 107435 SOS 59732 HAS SOPS 59732 HAS SOUS 49234 HAS SOUPS 49234 WITH SCORE 49293.732
AT ITER 2776 NEW BEST:: SOT 107435 SOS 59727 HAS SOPS 59727 HAS SOUS 49229 HAS SOUPS 49229 WITH SCORE 49288.727
AT ITER 2783 NEW BEST:: SOT 107435 SOS 59768 HAS SOPS 59768 HAS SOUS 49212 HAS SOUPS 49212 WITH SCORE 49271.768
AT ITER 2787 NEW BEST:: SOT 107435 SOS 59759 HAS SOPS 59759 HAS SOUS 49212 HAS SOUPS 49212 WITH SCORE 49271.759
AT ITER 2795 NEW BEST:: SOT 107505 SOS 59600 HAS SOPS 59600 HAS SOUS 49181 HAS SOUPS 49181 WITH SCORE 49240.6
AT ITER 2802 NEW BEST:: SOT 107256 SOS 59811 HAS SOPS 59811 HAS SOUS 49064 HAS SOUPS 49064 WITH SCORE 49123.811
AT ITER 2825 NEW BEST:: SOT 107336 SOS 59950 HAS SOPS 59950 HAS SOUS 49024 HAS SOUPS 49024 WITH SCORE 49083.95
AT ITER 2845 NEW BEST:: SOT 107296 SOS 59923 HAS SOPS 59923 HAS SOUS 48997 HAS SOUPS 48997 WITH SCORE 49056.923
AT ITER 2860 NEW BEST:: SOT 107280 SOS 59907 HAS SOPS 59907 HAS SOUS 48981 HAS SOUPS 48981 WITH SCORE 49040.907
AT ITER 2873 NEW BEST:: SOT 107243 SOS 59870 HAS SOPS 59870 HAS SOUS 48944 HAS SOUPS 48944 WITH SCORE 49003.87
AT ITER 2885 NEW BEST:: SOT 107127 SOS 59823 HAS SOPS 59823 HAS SOUS 48897 HAS SOUPS 48897 WITH SCORE 48956.823
AT ITER 2886 NEW BEST:: SOT 106978 SOS 59793 HAS SOPS 59793 HAS SOUS 48876 HAS SOUPS 48876 WITH SCORE 48935.793
AT ITER 2892 NEW BEST:: SOT 106978 SOS 59803 HAS SOPS 59803 HAS SOUS 48864 HAS SOUPS 48864 WITH SCORE 48923.803
AT ITER 2896 NEW BEST:: SOT 106895 SOS 59767 HAS SOPS 59767 HAS SOUS 48828 HAS SOUPS 48828 WITH SCORE 48887.767
AT ITER 2899 NEW BEST:: SOT 106895 SOS 59800 HAS SOPS 59800 HAS SOUS 48817 HAS SOUPS 48817 WITH SCORE 48876.8
AT ITER 2911 NEW BEST:: SOT 106881 SOS 59920 HAS SOPS 59920 HAS SOUS 48810 HAS SOUPS 48810 WITH SCORE 48869.92
AT ITER 2940 NEW BEST:: SOT 106884 SOS 59896 HAS SOPS 59896 HAS SOUS 48782 HAS SOUPS 48782 WITH SCORE 48841.896
AT ITER 2967 NEW BEST:: SOT 106872 SOS 59884 HAS SOPS 59884 HAS SOUS 48770 HAS SOUPS 48770 WITH SCORE 48829.884
AT ITER 2971 NEW BEST:: SOT 106826 SOS 59838 HAS SOPS 59838 HAS SOUS 48724 HAS SOUPS 48724 WITH SCORE 48783.838
AT ITER 2976 NEW BEST:: SOT 106825 SOS 59860 HAS SOPS 59860 HAS SOUS 48691 HAS SOUPS 48691 WITH SCORE 48750.86
AT ITER 2986 NEW BEST:: SOT 106821 SOS 59872 HAS SOPS 59872 HAS SOUS 48689 HAS SOUPS 48689 WITH SCORE 48748.872
AT ITER 2993 NEW BEST:: SOT 106958 SOS 59787 HAS SOPS 59787 HAS SOUS 48674 HAS SOUPS 48674 WITH SCORE 48733.787
AT ITER 3003 NEW BEST:: SOT 106960 SOS 59761 HAS SOPS 59761 HAS SOUS 48648 HAS SOUPS 48648 WITH SCORE 48707.761
AT ITER 3010 NEW BEST:: SOT 106957 SOS 59758 HAS SOPS 59758 HAS SOUS 48645 HAS SOUPS 48645 WITH SCORE 48704.758
AT ITER 3013 NEW BEST:: SOT 106957 SOS 59678 HAS SOPS 59678 HAS SOUS 48618 HAS SOUPS 48618 WITH SCORE 48677.678
AT ITER 3015 NEW BEST:: SOT 106912 SOS 59628 HAS SOPS 59628 HAS SOUS 48568 HAS SOUPS 48568 WITH SCORE 48627.628
AT ITER 3026 NEW BEST:: SOT 106899 SOS 59615 HAS SOPS 59615 HAS SOUS 48555 HAS SOUPS 48555 WITH SCORE 48614.615
AT ITER 3029 NEW BEST:: SOT 106821 SOS 59537 HAS SOPS 59537 HAS SOUS 48477 HAS SOUPS 48477 WITH SCORE 48536.537
AT ITER 3035 NEW BEST:: SOT 106810 SOS 59526 HAS SOPS 59526 HAS SOUS 48466 HAS SOUPS 48466 WITH SCORE 48525.526
AT ITER 3048 NEW BEST:: SOT 106810 SOS 59523 HAS SOPS 59523 HAS SOUS 48463 HAS SOUPS 48463 WITH SCORE 48522.523
AT ITER 3052 NEW BEST:: SOT 106762 SOS 59538 HAS SOPS 59538 HAS SOUS 48446 HAS SOUPS 48446 WITH SCORE 48505.538
AT ITER 3054 NEW BEST:: SOT 106680 SOS 59528 HAS SOPS 59528 HAS SOUS 48436 HAS SOUPS 48436 WITH SCORE 48495.528
AT ITER 3057 NEW BEST:: SOT 106651 SOS 59499 HAS SOPS 59499 HAS SOUS 48407 HAS SOUPS 48407 WITH SCORE 48466.499
AT ITER 3060 NEW BEST:: SOT 106643 SOS 59621 HAS SOPS 59621 HAS SOUS 48399 HAS SOUPS 48399 WITH SCORE 48458.621
AT ITER 3062 NEW BEST:: SOT 106636 SOS 59685 HAS SOPS 59685 HAS SOUS 48392 HAS SOUPS 48392 WITH SCORE 48451.685
AT ITER 3063 NEW BEST:: SOT 106562 SOS 59786 HAS SOPS 59786 HAS SOUS 48345 HAS SOUPS 48345 WITH SCORE 48404.786
AT ITER 3065 NEW BEST:: SOT 106528 SOS 59752 HAS SOPS 59752 HAS SOUS 48324 HAS SOUPS 48324 WITH SCORE 48383.752
AT ITER 3066 NEW BEST:: SOT 106469 SOS 59715 HAS SOPS 59715 HAS SOUS 48292 HAS SOUPS 48292 WITH SCORE 48351.715
AT ITER 3067 NEW BEST:: SOT 106466 SOS 59713 HAS SOPS 59713 HAS SOUS 48290 HAS SOUPS 48290 WITH SCORE 48349.713
AT ITER 3068 NEW BEST:: SOT 106151 SOS 59757 HAS SOPS 59757 HAS SOUS 48228 HAS SOUPS 48228 WITH SCORE 48287.757
AT ITER 3074 NEW BEST:: SOT 106151 SOS 59757 HAS SOPS 59757 HAS SOUS 48219 HAS SOUPS 48219 WITH SCORE 48278.757
AT ITER 3076 NEW BEST:: SOT 106151 SOS 59744 HAS SOPS 59744 HAS SOUS 48207 HAS SOUPS 48207 WITH SCORE 48266.744
AT ITER 3086 NEW BEST:: SOT 106129 SOS 59722 HAS SOPS 59722 HAS SOUS 48185 HAS SOUPS 48185 WITH SCORE 48244.722
AT ITER 3106 NEW BEST:: SOT 106059 SOS 59666 HAS SOPS 59666 HAS SOUS 48115 HAS SOUPS 48115 WITH SCORE 48174.666
AT ITER 3116 NEW BEST:: SOT 106101 SOS 59545 HAS SOPS 59545 HAS SOUS 48081 HAS SOUPS 48081 WITH SCORE 48140.545
AT ITER 3139 NEW BEST:: SOT 106095 SOS 59542 HAS SOPS 59542 HAS SOUS 48075 HAS SOUPS 48075 WITH SCORE 48134.542
AT ITER 3141 NEW BEST:: SOT 106109 SOS 59526 HAS SOPS 59526 HAS SOUS 48032 HAS SOUPS 48032 WITH SCORE 48091.526
AT ITER 3153 NEW BEST:: SOT 106047 SOS 59479 HAS SOPS 59479 HAS SOUS 47943 HAS SOUPS 47943 WITH SCORE 48002.479
AT ITER 3179 NEW BEST:: SOT 106153 SOS 59541 HAS SOPS 59541 HAS SOUS 47918 HAS SOUPS 47918 WITH SCORE 47977.541
AT ITER 3192 NEW BEST:: SOT 106084 SOS 59493 HAS SOPS 59493 HAS SOUS 47870 HAS SOUPS 47870 WITH SCORE 47929.493
AT ITER 3205 NEW BEST:: SOT 106084 SOS 59522 HAS SOPS 59522 HAS SOUS 47832 HAS SOUPS 47832 WITH SCORE 47891.522
AT ITER 3209 NEW BEST:: SOT 106084 SOS 59459 HAS SOPS 59459 HAS SOUS 47810 HAS SOUPS 47810 WITH SCORE 47869.459
AT ITER 3225 NEW BEST:: SOT 106080 SOS 59373 HAS SOPS 59373 HAS SOUS 47731 HAS SOUPS 47731 WITH SCORE 47790.373
AT ITER 3229 NEW BEST:: SOT 106126 SOS 59338 HAS SOPS 59338 HAS SOUS 47701 HAS SOUPS 47701 WITH SCORE 47760.338
AT ITER 3245 NEW BEST:: SOT 106126 SOS 59339 HAS SOPS 59339 HAS SOUS 47694 HAS SOUPS 47694 WITH SCORE 47753.339
AT ITER 3256 NEW BEST:: SOT 106107 SOS 59300 HAS SOPS 59300 HAS SOUS 47655 HAS SOUPS 47655 WITH SCORE 47714.3
AT ITER 3269 NEW BEST:: SOT 106109 SOS 59298 HAS SOPS 59298 HAS SOUS 47653 HAS SOUPS 47653 WITH SCORE 47712.298
AT ITER 3270 NEW BEST:: SOT 106109 SOS 59284 HAS SOPS 59284 HAS SOUS 47653 HAS SOUPS 47653 WITH SCORE 47712.284
AT ITER 3271 NEW BEST:: SOT 106109 SOS 59282 HAS SOPS 59282 HAS SOUS 47653 HAS SOUPS 47653 WITH SCORE 47712.282
AT ITER 3307 NEW BEST:: SOT 106067 SOS 59254 HAS SOPS 59254 HAS SOUS 47643 HAS SOUPS 47643 WITH SCORE 47702.254
AT ITER 3311 NEW BEST:: SOT 106067 SOS 59173 HAS SOPS 59173 HAS SOUS 47576 HAS SOUPS 47576 WITH SCORE 47635.173
AT ITER 3341 NEW BEST:: SOT 106067 SOS 59156 HAS SOPS 59156 HAS SOUS 47576 HAS SOUPS 47576 WITH SCORE 47635.156
AT ITER 3350 NEW BEST:: SOT 106067 SOS 59105 HAS SOPS 59105 HAS SOUS 47576 HAS SOUPS 47576 WITH SCORE 47635.105
AT ITER 3355 NEW BEST:: SOT 106062 SOS 59100 HAS SOPS 59100 HAS SOUS 47571 HAS SOUPS 47571 WITH SCORE 47630.1
AT ITER 3365 NEW BEST:: SOT 106130 SOS 59074 HAS SOPS 59074 HAS SOUS 47571 HAS SOUPS 47571 WITH SCORE 47630.074
AT ITER 3372 NEW BEST:: SOT 106114 SOS 59074 HAS SOPS 59074 HAS SOUS 47558 HAS SOUPS 47558 WITH SCORE 47617.074
AT ITER 3375 NEW BEST:: SOT 106114 SOS 59047 HAS SOPS 59047 HAS SOUS 47558 HAS SOUPS 47558 WITH SCORE 47617.047
AT ITER 3379 NEW BEST:: SOT 106114 SOS 59078 HAS SOPS 59078 HAS SOUS 47554 HAS SOUPS 47554 WITH SCORE 47613.078
AT ITER 3390 NEW BEST:: SOT 106125 SOS 59089 HAS SOPS 59089 HAS SOUS 47553 HAS SOUPS 47553 WITH SCORE 47612.089
AT ITER 3420 NEW BEST:: SOT 106125 SOS 59081 HAS SOPS 59081 HAS SOUS 47553 HAS SOUPS 47553 WITH SCORE 47612.081
AT ITER 3428 NEW BEST:: SOT 106098 SOS 59100 HAS SOPS 59100 HAS SOUS 47538 HAS SOUPS 47538 WITH SCORE 47597.1
AT ITER 3430 NEW BEST:: SOT 106098 SOS 59142 HAS SOPS 59142 HAS SOUS 47521 HAS SOUPS 47521 WITH SCORE 47580.142
AT ITER 3443 NEW BEST:: SOT 106098 SOS 59176 HAS SOPS 59176 HAS SOUS 47518 HAS SOUPS 47518 WITH SCORE 47577.176
AT ITER 3446 NEW BEST:: SOT 106098 SOS 59079 HAS SOPS 59079 HAS SOUS 47497 HAS SOUPS 47497 WITH SCORE 47556.079
AT ITER 3449 NEW BEST:: SOT 105942 SOS 59015 HAS SOPS 59015 HAS SOUS 47411 HAS SOUPS 47411 WITH SCORE 47470.015
AT ITER 3456 NEW BEST:: SOT 105937 SOS 59011 HAS SOPS 59011 HAS SOUS 47407 HAS SOUPS 47407 WITH SCORE 47466.011
AT ITER 3474 NEW BEST:: SOT 105937 SOS 58986 HAS SOPS 58986 HAS SOUS 47391 HAS SOUPS 47391 WITH SCORE 47449.986
AT ITER 3506 NEW BEST:: SOT 105911 SOS 58960 HAS SOPS 58960 HAS SOUS 47365 HAS SOUPS 47365 WITH SCORE 47423.96
AT ITER 3544 NEW BEST:: SOT 105901 SOS 58950 HAS SOPS 58950 HAS SOUS 47355 HAS SOUPS 47355 WITH SCORE 47413.95
AT ITER 3549 NEW BEST:: SOT 105858 SOS 58907 HAS SOPS 58907 HAS SOUS 47353 HAS SOUPS 47353 WITH SCORE 47411.907
AT ITER 3561 NEW BEST:: SOT 105828 SOS 58877 HAS SOPS 58877 HAS SOUS 47323 HAS SOUPS 47323 WITH SCORE 47381.877
AT ITER 3564 NEW BEST:: SOT 105825 SOS 58874 HAS SOPS 58874 HAS SOUS 47320 HAS SOUPS 47320 WITH SCORE 47378.874
AT ITER 3565 NEW BEST:: SOT 105772 SOS 58821 HAS SOPS 58821 HAS SOUS 47267 HAS SOUPS 47267 WITH SCORE 47325.821
AT ITER 3607 NEW BEST:: SOT 105754 SOS 58812 HAS SOPS 58812 HAS SOUS 47258 HAS SOUPS 47258 WITH SCORE 47316.812
AT ITER 3625 NEW BEST:: SOT 105741 SOS 58799 HAS SOPS 58799 HAS SOUS 47245 HAS SOUPS 47245 WITH SCORE 47303.799
AT ITER 3636 NEW BEST:: SOT 105739 SOS 58797 HAS SOPS 58797 HAS SOUS 47229 HAS SOUPS 47229 WITH SCORE 47287.797
AT ITER 3649 NEW BEST:: SOT 105712 SOS 58770 HAS SOPS 58770 HAS SOUS 47187 HAS SOUPS 47187 WITH SCORE 47245.77
AT ITER 3675 NEW BEST:: SOT 105720 SOS 58778 HAS SOPS 58778 HAS SOUS 47186 HAS SOUPS 47186 WITH SCORE 47244.778
AT ITER 3691 NEW BEST:: SOT 105718 SOS 58776 HAS SOPS 58776 HAS SOUS 47157 HAS SOUPS 47157 WITH SCORE 47215.776
AT ITER 3701 NEW BEST:: SOT 105681 SOS 58739 HAS SOPS 58739 HAS SOUS 47120 HAS SOUPS 47120 WITH SCORE 47178.739
AT ITER 3715 NEW BEST:: SOT 105675 SOS 58735 HAS SOPS 58735 HAS SOUS 47120 HAS SOUPS 47120 WITH SCORE 47178.735
AT ITER 3736 NEW BEST:: SOT 105665 SOS 58725 HAS SOPS 58725 HAS SOUS 47096 HAS SOUPS 47096 WITH SCORE 47154.725
AT ITER 3743 NEW BEST:: SOT 105639 SOS 58673 HAS SOPS 58673 HAS SOUS 47077 HAS SOUPS 47077 WITH SCORE 47135.673
AT ITER 3757 NEW BEST:: SOT 105639 SOS 58671 HAS SOPS 58671 HAS SOUS 47077 HAS SOUPS 47077 WITH SCORE 47135.671
AT ITER 3776 NEW BEST:: SOT 105639 SOS 58622 HAS SOPS 58622 HAS SOUS 47077 HAS SOUPS 47077 WITH SCORE 47135.622
AT ITER 3782 NEW BEST:: SOT 105648 SOS 58631 HAS SOPS 58631 HAS SOUS 47058 HAS SOUPS 47058 WITH SCORE 47116.631
AT ITER 3801 NEW BEST:: SOT 105651 SOS 58616 HAS SOPS 58616 HAS SOUS 47043 HAS SOUPS 47043 WITH SCORE 47101.616
AT ITER 3802 NEW BEST:: SOT 105619 SOS 58584 HAS SOPS 58584 HAS SOUS 46983 HAS SOUPS 46983 WITH SCORE 47041.584
AT ITER 3806 NEW BEST:: SOT 105618 SOS 58583 HAS SOPS 58583 HAS SOUS 46982 HAS SOUPS 46982 WITH SCORE 47040.583
AT ITER 3816 NEW BEST:: SOT 105581 SOS 58546 HAS SOPS 58546 HAS SOUS 46945 HAS SOUPS 46945 WITH SCORE 47003.546
AT ITER 3827 NEW BEST:: SOT 105580 SOS 58543 HAS SOPS 58543 HAS SOUS 46944 HAS SOUPS 46944 WITH SCORE 47002.543
AT ITER 3833 NEW BEST:: SOT 105577 SOS 58542 HAS SOPS 58542 HAS SOUS 46939 HAS SOUPS 46939 WITH SCORE 46997.542
AT ITER 3853 NEW BEST:: SOT 105577 SOS 58542 HAS SOPS 58542 HAS SOUS 46937 HAS SOUPS 46937 WITH SCORE 46995.542
AT ITER 3869 NEW BEST:: SOT 105562 SOS 58485 HAS SOPS 58485 HAS SOUS 46858 HAS SOUPS 46858 WITH SCORE 46916.485
AT ITER 3871 NEW BEST:: SOT 105562 SOS 58378 HAS SOPS 58378 HAS SOUS 46858 HAS SOUPS 46858 WITH SCORE 46916.378
AT ITER 3875 NEW BEST:: SOT 105554 SOS 58370 HAS SOPS 58370 HAS SOUS 46849 HAS SOUPS 46849 WITH SCORE 46907.37
AT ITER 3887 NEW BEST:: SOT 105544 SOS 58360 HAS SOPS 58360 HAS SOUS 46839 HAS SOUPS 46839 WITH SCORE 46897.36
AT ITER 3891 NEW BEST:: SOT 105486 SOS 58339 HAS SOPS 58339 HAS SOUS 46781 HAS SOUPS 46781 WITH SCORE 46839.339
AT ITER 3901 NEW BEST:: SOT 105451 SOS 58304 HAS SOPS 58304 HAS SOUS 46746 HAS SOUPS 46746 WITH SCORE 46804.304
AT ITER 3902 NEW BEST:: SOT 105334 SOS 58513 HAS SOPS 58513 HAS SOUS 46736 HAS SOUPS 46736 WITH SCORE 46794.513
AT ITER 3910 NEW BEST:: SOT 105334 SOS 58066 HAS SOPS 58066 HAS SOUS 46732 HAS SOUPS 46732 WITH SCORE 46790.066
AT ITER 3911 NEW BEST:: SOT 105267 SOS 58115 HAS SOPS 58115 HAS SOUS 46692 HAS SOUPS 46692 WITH SCORE 46750.115
AT ITER 3938 NEW BEST:: SOT 105192 SOS 58124 HAS SOPS 58124 HAS SOUS 46652 HAS SOUPS 46652 WITH SCORE 46710.124
AT ITER 3949 NEW BEST:: SOT 105175 SOS 58107 HAS SOPS 58107 HAS SOUS 46635 HAS SOUPS 46635 WITH SCORE 46693.107
AT ITER 3958 NEW BEST:: SOT 105175 SOS 58094 HAS SOPS 58094 HAS SOUS 46622 HAS SOUPS 46622 WITH SCORE 46680.094
AT ITER 3964 NEW BEST:: SOT 105150 SOS 58099 HAS SOPS 58099 HAS SOUS 46597 HAS SOUPS 46597 WITH SCORE 46655.099
AT ITER 3971 NEW BEST:: SOT 105149 SOS 58108 HAS SOPS 58108 HAS SOUS 46589 HAS SOUPS 46589 WITH SCORE 46647.108
AT ITER 3990 NEW BEST:: SOT 105149 SOS 58154 HAS SOPS 58154 HAS SOUS 46579 HAS SOUPS 46579 WITH SCORE 46637.154
AT ITER 4002 NEW BEST:: SOT 105186 SOS 58154 HAS SOPS 58154 HAS SOUS 46524 HAS SOUPS 46524 WITH SCORE 46582.154
AT ITER 4014 NEW BEST:: SOT 105186 SOS 58154 HAS SOPS 58154 HAS SOUS 46515 HAS SOUPS 46515 WITH SCORE 46573.154
AT ITER 4018 NEW BEST:: SOT 105124 SOS 58167 HAS SOPS 58167 HAS SOUS 46490 HAS SOUPS 46490 WITH SCORE 46548.167
AT ITER 4020 NEW BEST:: SOT 105124 SOS 58167 HAS SOPS 58167 HAS SOUS 46486 HAS SOUPS 46486 WITH SCORE 46544.167
AT ITER 4021 NEW BEST:: SOT 105120 SOS 58163 HAS SOPS 58163 HAS SOUS 46482 HAS SOUPS 46482 WITH SCORE 46540.163
AT ITER 4022 NEW BEST:: SOT 105189 SOS 58128 HAS SOPS 58128 HAS SOUS 46427 HAS SOUPS 46427 WITH SCORE 46485.128
AT ITER 4053 NEW BEST:: SOT 105177 SOS 58122 HAS SOPS 58122 HAS SOUS 46421 HAS SOUPS 46421 WITH SCORE 46479.122
AT ITER 4061 NEW BEST:: SOT 105177 SOS 58007 HAS SOPS 58007 HAS SOUS 46421 HAS SOUPS 46421 WITH SCORE 46479.007
AT ITER 4066 NEW BEST:: SOT 105112 SOS 57980 HAS SOPS 57980 HAS SOUS 46394 HAS SOUPS 46394 WITH SCORE 46451.98
AT ITER 4091 NEW BEST:: SOT 105112 SOS 57980 HAS SOPS 57980 HAS SOUS 46392 HAS SOUPS 46392 WITH SCORE 46449.98
AT ITER 4092 NEW BEST:: SOT 105112 SOS 57974 HAS SOPS 57974 HAS SOUS 46386 HAS SOUPS 46386 WITH SCORE 46443.974
AT ITER 4115 NEW BEST:: SOT 105079 SOS 58019 HAS SOPS 58019 HAS SOUS 46378 HAS SOUPS 46378 WITH SCORE 46436.019
AT ITER 4121 NEW BEST:: SOT 105047 SOS 57987 HAS SOPS 57987 HAS SOUS 46346 HAS SOUPS 46346 WITH SCORE 46403.987
AT ITER 4123 NEW BEST:: SOT 105042 SOS 57982 HAS SOPS 57982 HAS SOUS 46341 HAS SOUPS 46341 WITH SCORE 46398.982
AT ITER 4134 NEW BEST:: SOT 105059 SOS 57999 HAS SOPS 57999 HAS SOUS 46339 HAS SOUPS 46339 WITH SCORE 46396.999
AT ITER 4158 NEW BEST:: SOT 105077 SOS 57993 HAS SOPS 57993 HAS SOUS 46331 HAS SOUPS 46331 WITH SCORE 46388.993
AT ITER 4159 NEW BEST:: SOT 105077 SOS 57965 HAS SOPS 57965 HAS SOUS 46331 HAS SOUPS 46331 WITH SCORE 46388.965
AT ITER 4179 NEW BEST:: SOT 105042 SOS 57884 HAS SOPS 57884 HAS SOUS 46243 HAS SOUPS 46243 WITH SCORE 46300.884
AT ITER 4185 NEW BEST:: SOT 105006 SOS 57852 HAS SOPS 57852 HAS SOUS 46239 HAS SOUPS 46239 WITH SCORE 46296.852
AT ITER 4196 NEW BEST:: SOT 104995 SOS 57841 HAS SOPS 57841 HAS SOUS 46228 HAS SOUPS 46228 WITH SCORE 46285.841
AT ITER 4205 NEW BEST:: SOT 104995 SOS 57807 HAS SOPS 57807 HAS SOUS 46228 HAS SOUPS 46228 WITH SCORE 46285.807
AT ITER 4218 NEW BEST:: SOT 104995 SOS 57543 HAS SOPS 57543 HAS SOUS 46228 HAS SOUPS 46228 WITH SCORE 46285.543
AT ITER 4219 NEW BEST:: SOT 104972 SOS 57520 HAS SOPS 57520 HAS SOUS 46205 HAS SOUPS 46205 WITH SCORE 46262.52
AT ITER 4220 NEW BEST:: SOT 104972 SOS 57526 HAS SOPS 57526 HAS SOUS 46202 HAS SOUPS 46202 WITH SCORE 46259.526
AT ITER 4223 NEW BEST:: SOT 104955 SOS 57512 HAS SOPS 57512 HAS SOUS 46162 HAS SOUPS 46162 WITH SCORE 46219.512
AT ITER 4240 NEW BEST:: SOT 104955 SOS 57474 HAS SOPS 57474 HAS SOUS 46140 HAS SOUPS 46140 WITH SCORE 46197.474
AT ITER 4256 NEW BEST:: SOT 104960 SOS 57469 HAS SOPS 57469 HAS SOUS 46130 HAS SOUPS 46130 WITH SCORE 46187.469
AT ITER 4261 NEW BEST:: SOT 104908 SOS 57487 HAS SOPS 57487 HAS SOUS 46085 HAS SOUPS 46085 WITH SCORE 46142.487
AT ITER 4282 NEW BEST:: SOT 104908 SOS 57479 HAS SOPS 57479 HAS SOUS 46078 HAS SOUPS 46078 WITH SCORE 46135.479
AT ITER 4283 NEW BEST:: SOT 104925 SOS 57462 HAS SOPS 57462 HAS SOUS 46054 HAS SOUPS 46054 WITH SCORE 46111.462
AT ITER 4299 NEW BEST:: SOT 104877 SOS 57437 HAS SOPS 57437 HAS SOUS 46023 HAS SOUPS 46023 WITH SCORE 46080.437
AT ITER 4310 NEW BEST:: SOT 104826 SOS 57403 HAS SOPS 57403 HAS SOUS 45989 HAS SOUPS 45989 WITH SCORE 46046.403
AT ITER 4311 NEW BEST:: SOT 104848 SOS 57412 HAS SOPS 57412 HAS SOUS 45974 HAS SOUPS 45974 WITH SCORE 46031.412
AT ITER 4317 NEW BEST:: SOT 104833 SOS 57397 HAS SOPS 57397 HAS SOUS 45959 HAS SOUPS 45959 WITH SCORE 46016.397
AT ITER 4321 NEW BEST:: SOT 104833 SOS 57397 HAS SOPS 57397 HAS SOUS 45945 HAS SOUPS 45945 WITH SCORE 46002.397
AT ITER 4348 NEW BEST:: SOT 104833 SOS 57354 HAS SOPS 57354 HAS SOUS 45945 HAS SOUPS 45945 WITH SCORE 46002.354
AT ITER 4353 NEW BEST:: SOT 104810 SOS 57331 HAS SOPS 57331 HAS SOUS 45922 HAS SOUPS 45922 WITH SCORE 45979.331
AT ITER 4359 NEW BEST:: SOT 104810 SOS 57331 HAS SOPS 57331 HAS SOUS 45920 HAS SOUPS 45920 WITH SCORE 45977.331
AT ITER 4363 NEW BEST:: SOT 104753 SOS 57327 HAS SOPS 57327 HAS SOUS 45916 HAS SOUPS 45916 WITH SCORE 45973.327
AT ITER 4371 NEW BEST:: SOT 104753 SOS 57320 HAS SOPS 57320 HAS SOUS 45916 HAS SOUPS 45916 WITH SCORE 45973.32
AT ITER 4409 NEW BEST:: SOT 104555 SOS 57255 HAS SOPS 57255 HAS SOUS 45844 HAS SOUPS 45844 WITH SCORE 45901.255
AT ITER 4417 NEW BEST:: SOT 104441 SOS 57188 HAS SOPS 57188 HAS SOUS 45777 HAS SOUPS 45777 WITH SCORE 45834.188
AT ITER 4438 NEW BEST:: SOT 104432 SOS 57151 HAS SOPS 57151 HAS SOUS 45621 HAS SOUPS 45621 WITH SCORE 45678.151
AT ITER 4439 NEW BEST:: SOT 104296 SOS 57162 HAS SOPS 57162 HAS SOUS 45517 HAS SOUPS 45517 WITH SCORE 45574.162
AT ITER 4443 NEW BEST:: SOT 104296 SOS 57162 HAS SOPS 57162 HAS SOUS 45437 HAS SOUPS 45437 WITH SCORE 45494.162
AT ITER 4444 NEW BEST:: SOT 104296 SOS 57151 HAS SOPS 57151 HAS SOUS 45437 HAS SOUPS 45437 WITH SCORE 45494.151
AT ITER 4447 NEW BEST:: SOT 104308 SOS 57141 HAS SOPS 57141 HAS SOUS 45427 HAS SOUPS 45427 WITH SCORE 45484.141
AT ITER 4459 NEW BEST:: SOT 104108 SOS 57124 HAS SOPS 57124 HAS SOUS 45303 HAS SOUPS 45303 WITH SCORE 45360.124
AT ITER 4460 NEW BEST:: SOT 104088 SOS 57104 HAS SOPS 57104 HAS SOUS 45258 HAS SOUPS 45258 WITH SCORE 45315.104
AT ITER 4492 NEW BEST:: SOT 104088 SOS 57104 HAS SOPS 57104 HAS SOUS 45252 HAS SOUPS 45252 WITH SCORE 45309.104
AT ITER 4502 NEW BEST:: SOT 104148 SOS 57171 HAS SOPS 57171 HAS SOUS 45156 HAS SOUPS 45156 WITH SCORE 45213.171
AT ITER 4508 NEW BEST:: SOT 104130 SOS 57153 HAS SOPS 57153 HAS SOUS 45120 HAS SOUPS 45120 WITH SCORE 45177.153
AT ITER 4525 NEW BEST:: SOT 104130 SOS 57153 HAS SOPS 57153 HAS SOUS 45097 HAS SOUPS 45097 WITH SCORE 45154.153
AT ITER 4534 NEW BEST:: SOT 104130 SOS 57177 HAS SOPS 57177 HAS SOUS 45093 HAS SOUPS 45093 WITH SCORE 45150.177
AT ITER 4540 NEW BEST:: SOT 104130 SOS 57165 HAS SOPS 57165 HAS SOUS 45093 HAS SOUPS 45093 WITH SCORE 45150.165
AT ITER 4571 NEW BEST:: SOT 104126 SOS 57161 HAS SOPS 57161 HAS SOUS 45089 HAS SOUPS 45089 WITH SCORE 45146.161
AT ITER 4577 NEW BEST:: SOT 104123 SOS 57158 HAS SOPS 57158 HAS SOUS 45086 HAS SOUPS 45086 WITH SCORE 45143.158
AT ITER 4589 NEW BEST:: SOT 104112 SOS 57147 HAS SOPS 57147 HAS SOUS 45075 HAS SOUPS 45075 WITH SCORE 45132.147
AT ITER 4626 NEW BEST:: SOT 104071 SOS 57150 HAS SOPS 57150 HAS SOUS 45039 HAS SOUPS 45039 WITH SCORE 45096.15
AT ITER 4634 NEW BEST:: SOT 104077 SOS 57151 HAS SOPS 57151 HAS SOUS 45038 HAS SOUPS 45038 WITH SCORE 45095.151
AT ITER 4638 NEW BEST:: SOT 104077 SOS 57080 HAS SOPS 57080 HAS SOUS 45006 HAS SOUPS 45006 WITH SCORE 45063.08
AT ITER 4639 NEW BEST:: SOT 104071 SOS 57177 HAS SOPS 57177 HAS SOUS 44990 HAS SOUPS 44990 WITH SCORE 45047.177
AT ITER 4642 NEW BEST:: SOT 104071 SOS 57073 HAS SOPS 57073 HAS SOUS 44990 HAS SOUPS 44990 WITH SCORE 45047.073
AT ITER 4658 NEW BEST:: SOT 104062 SOS 57064 HAS SOPS 57064 HAS SOUS 44985 HAS SOUPS 44985 WITH SCORE 45042.064
AT ITER 4717 NEW BEST:: SOT 104046 SOS 57048 HAS SOPS 57048 HAS SOUS 44955 HAS SOUPS 44955 WITH SCORE 45012.048
AT ITER 4746 NEW BEST:: SOT 103879 SOS 56881 HAS SOPS 56881 HAS SOUS 44788 HAS SOUPS 44788 WITH SCORE 44844.881
AT ITER 4790 NEW BEST:: SOT 103879 SOS 56827 HAS SOPS 56827 HAS SOUS 44788 HAS SOUPS 44788 WITH SCORE 44844.827
AT ITER 4798 NEW BEST:: SOT 103851 SOS 56848 HAS SOPS 56848 HAS SOUS 44770 HAS SOUPS 44770 WITH SCORE 44826.848
AT ITER 4807 NEW BEST:: SOT 103822 SOS 57090 HAS SOPS 57090 HAS SOUS 44768 HAS SOUPS 44768 WITH SCORE 44825.09
AT ITER 4857 NEW BEST:: SOT 103821 SOS 57221 HAS SOPS 57221 HAS SOUS 44753 HAS SOUPS 44753 WITH SCORE 44810.221
AT ITER 4865 NEW BEST:: SOT 103813 SOS 57213 HAS SOPS 57213 HAS SOUS 44745 HAS SOUPS 44745 WITH SCORE 44802.213
AT ITER 4920 NEW BEST:: SOT 103781 SOS 57181 HAS SOPS 57181 HAS SOUS 44721 HAS SOUPS 44721 WITH SCORE 44778.181
AT ITER 4936 NEW BEST:: SOT 103753 SOS 57155 HAS SOPS 57155 HAS SOUS 44695 HAS SOUPS 44695 WITH SCORE 44752.155
AT ITER 4991 NEW BEST:: SOT 103753 SOS 57116 HAS SOPS 57116 HAS SOUS 44695 HAS SOUPS 44695 WITH SCORE 44752.116
AT ITER 4995 NEW BEST:: SOT 103712 SOS 57117 HAS SOPS 57117 HAS SOUS 44675 HAS SOUPS 44675 WITH SCORE 44732.117
AT ITER 5047 NEW BEST:: SOT 103692 SOS 57097 HAS SOPS 57097 HAS SOUS 44659 HAS SOUPS 44659 WITH SCORE 44716.097
AT ITER 5050 NEW BEST:: SOT 103690 SOS 57095 HAS SOPS 57095 HAS SOUS 44657 HAS SOUPS 44657 WITH SCORE 44714.095
AT ITER 5067 NEW BEST:: SOT 103668 SOS 57073 HAS SOPS 57073 HAS SOUS 44635 HAS SOUPS 44635 WITH SCORE 44692.073
AT ITER 5071 NEW BEST:: SOT 103680 SOS 57049 HAS SOPS 57049 HAS SOUS 44635 HAS SOUPS 44635 WITH SCORE 44692.049
AT ITER 5073 NEW BEST:: SOT 103673 SOS 57042 HAS SOPS 57042 HAS SOUS 44628 HAS SOUPS 44628 WITH SCORE 44685.042
AT ITER 5094 NEW BEST:: SOT 103651 SOS 57028 HAS SOPS 57028 HAS SOUS 44614 HAS SOUPS 44614 WITH SCORE 44671.028
AT ITER 5120 NEW BEST:: SOT 103539 SOS 57018 HAS SOPS 57018 HAS SOUS 44556 HAS SOUPS 44556 WITH SCORE 44613.018
AT ITER 5137 NEW BEST:: SOT 103526 SOS 57005 HAS SOPS 57005 HAS SOUS 44543 HAS SOUPS 44543 WITH SCORE 44600.005
AT ITER 5156 NEW BEST:: SOT 103518 SOS 56997 HAS SOPS 56997 HAS SOUS 44535 HAS SOUPS 44535 WITH SCORE 44591.997
AT ITER 5179 NEW BEST:: SOT 103505 SOS 56984 HAS SOPS 56984 HAS SOUS 44522 HAS SOUPS 44522 WITH SCORE 44578.984
AT ITER 5208 NEW BEST:: SOT 103504 SOS 56983 HAS SOPS 56983 HAS SOUS 44511 HAS SOUPS 44511 WITH SCORE 44567.983
AT ITER 5218 NEW BEST:: SOT 103485 SOS 56964 HAS SOPS 56964 HAS SOUS 44492 HAS SOUPS 44492 WITH SCORE 44548.964
AT ITER 5223 NEW BEST:: SOT 103517 SOS 57039 HAS SOPS 57039 HAS SOUS 44474 HAS SOUPS 44474 WITH SCORE 44531.039
AT ITER 5228 NEW BEST:: SOT 103511 SOS 57032 HAS SOPS 57032 HAS SOUS 44465 HAS SOUPS 44465 WITH SCORE 44522.032
AT ITER 5239 NEW BEST:: SOT 103504 SOS 57018 HAS SOPS 57018 HAS SOUS 44465 HAS SOUPS 44465 WITH SCORE 44522.018
AT ITER 5245 NEW BEST:: SOT 103478 SOS 57002 HAS SOPS 57002 HAS SOUS 44454 HAS SOUPS 44454 WITH SCORE 44511.002
AT ITER 5281 NEW BEST:: SOT 103478 SOS 56997 HAS SOPS 56997 HAS SOUS 44454 HAS SOUPS 44454 WITH SCORE 44510.997
AT ITER 5311 NEW BEST:: SOT 103404 SOS 56962 HAS SOPS 56962 HAS SOUS 44383 HAS SOUPS 44383 WITH SCORE 44439.962
AT ITER 5331 NEW BEST:: SOT 103437 SOS 56995 HAS SOPS 56995 HAS SOUS 44289 HAS SOUPS 44289 WITH SCORE 44345.995
AT ITER 5339 NEW BEST:: SOT 103437 SOS 56988 HAS SOPS 56988 HAS SOUS 44289 HAS SOUPS 44289 WITH SCORE 44345.988
AT ITER 5367 NEW BEST:: SOT 103437 SOS 56985 HAS SOPS 56985 HAS SOUS 44289 HAS SOUPS 44289 WITH SCORE 44345.985
AT ITER 5369 NEW BEST:: SOT 103437 SOS 56985 HAS SOPS 56985 HAS SOUS 44274 HAS SOUPS 44274 WITH SCORE 44330.985
AT ITER 5381 NEW BEST:: SOT 103456 SOS 56984 HAS SOPS 56984 HAS SOUS 44268 HAS SOUPS 44268 WITH SCORE 44324.984
AT ITER 5404 NEW BEST:: SOT 103432 SOS 56983 HAS SOPS 56983 HAS SOUS 44254 HAS SOUPS 44254 WITH SCORE 44310.983
AT ITER 5408 NEW BEST:: SOT 103435 SOS 56985 HAS SOPS 56985 HAS SOUS 44243 HAS SOUPS 44243 WITH SCORE 44299.985
AT ITER 5501 NEW BEST:: SOT 103435 SOS 56995 HAS SOPS 56995 HAS SOUS 44220 HAS SOUPS 44220 WITH SCORE 44276.995
AT ITER 5530 NEW BEST:: SOT 103435 SOS 56981 HAS SOPS 56981 HAS SOUS 44220 HAS SOUPS 44220 WITH SCORE 44276.981
AT ITER 5545 NEW BEST:: SOT 103435 SOS 56975 HAS SOPS 56975 HAS SOUS 44220 HAS SOUPS 44220 WITH SCORE 44276.975
AT ITER 5557 NEW BEST:: SOT 103263 SOS 57168 HAS SOPS 57168 HAS SOUS 44210 HAS SOUPS 44210 WITH SCORE 44267.168
AT ITER 5572 NEW BEST:: SOT 103251 SOS 57156 HAS SOPS 57156 HAS SOUS 44198 HAS SOUPS 44198 WITH SCORE 44255.156
AT ITER 5619 NEW BEST:: SOT 103222 SOS 57137 HAS SOPS 57137 HAS SOUS 44179 HAS SOUPS 44179 WITH SCORE 44236.137
AT ITER 5637 NEW BEST:: SOT 103222 SOS 57137 HAS SOPS 57137 HAS SOUS 44174 HAS SOUPS 44174 WITH SCORE 44231.137
AT ITER 5639 NEW BEST:: SOT 103232 SOS 57131 HAS SOPS 57131 HAS SOUS 44168 HAS SOUPS 44168 WITH SCORE 44225.131
AT ITER 5640 NEW BEST:: SOT 103193 SOS 57092 HAS SOPS 57092 HAS SOUS 44129 HAS SOUPS 44129 WITH SCORE 44186.092
AT ITER 5654 NEW BEST:: SOT 103217 SOS 57116 HAS SOPS 57116 HAS SOUS 44125 HAS SOUPS 44125 WITH SCORE 44182.116
AT ITER 5660 NEW BEST:: SOT 103177 SOS 57038 HAS SOPS 57038 HAS SOUS 43981 HAS SOUPS 43981 WITH SCORE 44038.038
AT ITER 5664 NEW BEST:: SOT 103177 SOS 57026 HAS SOPS 57026 HAS SOUS 43981 HAS SOUPS 43981 WITH SCORE 44038.026
AT ITER 5684 NEW BEST:: SOT 103205 SOS 57054 HAS SOPS 57054 HAS SOUS 43952 HAS SOUPS 43952 WITH SCORE 44009.054
AT ITER 5719 NEW BEST:: SOT 103205 SOS 57054 HAS SOPS 57054 HAS SOUS 43941 HAS SOUPS 43941 WITH SCORE 43998.054
AT ITER 5756 NEW BEST:: SOT 103191 SOS 57051 HAS SOPS 57051 HAS SOUS 43938 HAS SOUPS 43938 WITH SCORE 43995.051
AT ITER 5807 NEW BEST:: SOT 103172 SOS 57039 HAS SOPS 57039 HAS SOUS 43919 HAS SOUPS 43919 WITH SCORE 43976.039
AT ITER 5808 NEW BEST:: SOT 103172 SOS 57032 HAS SOPS 57032 HAS SOUS 43918 HAS SOUPS 43918 WITH SCORE 43975.032
AT ITER 5810 NEW BEST:: SOT 103172 SOS 57032 HAS SOPS 57032 HAS SOUS 43910 HAS SOUPS 43910 WITH SCORE 43967.032
AT ITER 5816 NEW BEST:: SOT 103171 SOS 57030 HAS SOPS 57030 HAS SOUS 43908 HAS SOUPS 43908 WITH SCORE 43965.03
AT ITER 5865 NEW BEST:: SOT 103171 SOS 57029 HAS SOPS 57029 HAS SOUS 43908 HAS SOUPS 43908 WITH SCORE 43965.029
AT ITER 5871 NEW BEST:: SOT 103171 SOS 57015 HAS SOPS 57015 HAS SOUS 43908 HAS SOUPS 43908 WITH SCORE 43965.015
AT ITER 5874 NEW BEST:: SOT 103171 SOS 57055 HAS SOPS 57055 HAS SOUS 43798 HAS SOUPS 43798 WITH SCORE 43855.055
AT ITER 5884 NEW BEST:: SOT 103170 SOS 57054 HAS SOPS 57054 HAS SOUS 43797 HAS SOUPS 43797 WITH SCORE 43854.054
AT ITER 5887 NEW BEST:: SOT 103170 SOS 57042 HAS SOPS 57042 HAS SOUS 43797 HAS SOUPS 43797 WITH SCORE 43854.042
AT ITER 5890 NEW BEST:: SOT 103125 SOS 56960 HAS SOPS 56960 HAS SOUS 43707 HAS SOUPS 43707 WITH SCORE 43763.96
AT ITER 5915 NEW BEST:: SOT 103125 SOS 56683 HAS SOPS 56683 HAS SOUS 43673 HAS SOUPS 43673 WITH SCORE 43729.683
AT ITER 5939 NEW BEST:: SOT 103125 SOS 56642 HAS SOPS 56642 HAS SOUS 43673 HAS SOUPS 43673 WITH SCORE 43729.642
AT ITER 5943 NEW BEST:: SOT 103125 SOS 56600 HAS SOPS 56600 HAS SOUS 43654 HAS SOUPS 43654 WITH SCORE 43710.6
AT ITER 5949 NEW BEST:: SOT 103114 SOS 56511 HAS SOPS 56511 HAS SOUS 43544 HAS SOUPS 43544 WITH SCORE 43600.511
AT ITER 6013 NEW BEST:: SOT 103129 SOS 56651 HAS SOPS 56651 HAS SOUS 43527 HAS SOUPS 43527 WITH SCORE 43583.651
AT ITER 6024 NEW BEST:: SOT 103048 SOS 57237 HAS SOPS 57237 HAS SOUS 43512 HAS SOUPS 43512 WITH SCORE 43569.237
AT ITER 6058 NEW BEST:: SOT 103015 SOS 57204 HAS SOPS 57204 HAS SOUS 43463 HAS SOUPS 43463 WITH SCORE 43520.204
AT ITER 6084 NEW BEST:: SOT 103015 SOS 57204 HAS SOPS 57204 HAS SOUS 43456 HAS SOUPS 43456 WITH SCORE 43513.204
AT ITER 6091 NEW BEST:: SOT 103015 SOS 57203 HAS SOPS 57203 HAS SOUS 43455 HAS SOUPS 43455 WITH SCORE 43512.203
AT ITER 6118 NEW BEST:: SOT 103005 SOS 57182 HAS SOPS 57182 HAS SOUS 43424 HAS SOUPS 43424 WITH SCORE 43481.182
AT ITER 6136 NEW BEST:: SOT 102973 SOS 57190 HAS SOPS 57190 HAS SOUS 43410 HAS SOUPS 43410 WITH SCORE 43467.19
AT ITER 6160 NEW BEST:: SOT 102973 SOS 57094 HAS SOPS 57094 HAS SOUS 43410 HAS SOUPS 43410 WITH SCORE 43467.094
AT ITER 6173 NEW BEST:: SOT 102952 SOS 57073 HAS SOPS 57073 HAS SOUS 43367 HAS SOUPS 43367 WITH SCORE 43424.073
AT ITER 6194 NEW BEST:: SOT 102952 SOS 57033 HAS SOPS 57033 HAS SOUS 43367 HAS SOUPS 43367 WITH SCORE 43424.033
AT ITER 6200 NEW BEST:: SOT 102952 SOS 57011 HAS SOPS 57011 HAS SOUS 43367 HAS SOUPS 43367 WITH SCORE 43424.011
AT ITER 6218 NEW BEST:: SOT 102934 SOS 56993 HAS SOPS 56993 HAS SOUS 43349 HAS SOUPS 43349 WITH SCORE 43405.993
AT ITER 6220 NEW BEST:: SOT 102929 SOS 56988 HAS SOPS 56988 HAS SOUS 43344 HAS SOUPS 43344 WITH SCORE 43400.988
AT ITER 6229 NEW BEST:: SOT 102959 SOS 56993 HAS SOPS 56993 HAS SOUS 43310 HAS SOUPS 43310 WITH SCORE 43366.993
AT ITER 6253 NEW BEST:: SOT 102959 SOS 56942 HAS SOPS 56942 HAS SOUS 43310 HAS SOUPS 43310 WITH SCORE 43366.942
AT ITER 6254 NEW BEST:: SOT 102937 SOS 56912 HAS SOPS 56912 HAS SOUS 43275 HAS SOUPS 43275 WITH SCORE 43331.912
AT ITER 6267 NEW BEST:: SOT 102937 SOS 56908 HAS SOPS 56908 HAS SOUS 43255 HAS SOUPS 43255 WITH SCORE 43311.908
AT ITER 6272 NEW BEST:: SOT 102937 SOS 56800 HAS SOPS 56800 HAS SOUS 43195 HAS SOUPS 43195 WITH SCORE 43251.8
AT ITER 6287 NEW BEST:: SOT 102939 SOS 56802 HAS SOPS 56802 HAS SOUS 43189 HAS SOUPS 43189 WITH SCORE 43245.802
AT ITER 6296 NEW BEST:: SOT 102943 SOS 56795 HAS SOPS 56795 HAS SOUS 43182 HAS SOUPS 43182 WITH SCORE 43238.795
AT ITER 6303 NEW BEST:: SOT 102934 SOS 56786 HAS SOPS 56786 HAS SOUS 43164 HAS SOUPS 43164 WITH SCORE 43220.786
AT ITER 6304 NEW BEST:: SOT 102934 SOS 56779 HAS SOPS 56779 HAS SOUS 43164 HAS SOUPS 43164 WITH SCORE 43220.779
AT ITER 6312 NEW BEST:: SOT 102934 SOS 56779 HAS SOPS 56779 HAS SOUS 43156 HAS SOUPS 43156 WITH SCORE 43212.779
AT ITER 6352 NEW BEST:: SOT 102930 SOS 56775 HAS SOPS 56775 HAS SOUS 43152 HAS SOUPS 43152 WITH SCORE 43208.775
AT ITER 6360 NEW BEST:: SOT 102930 SOS 56803 HAS SOPS 56803 HAS SOUS 43149 HAS SOUPS 43149 WITH SCORE 43205.803
AT ITER 6368 NEW BEST:: SOT 102923 SOS 56768 HAS SOPS 56768 HAS SOUS 43114 HAS SOUPS 43114 WITH SCORE 43170.768
AT ITER 6377 NEW BEST:: SOT 102923 SOS 56763 HAS SOPS 56763 HAS SOUS 43114 HAS SOUPS 43114 WITH SCORE 43170.763
AT ITER 6386 NEW BEST:: SOT 102842 SOS 56799 HAS SOPS 56799 HAS SOUS 43106 HAS SOUPS 43106 WITH SCORE 43162.799
AT ITER 6414 NEW BEST:: SOT 102841 SOS 56798 HAS SOPS 56798 HAS SOUS 43105 HAS SOUPS 43105 WITH SCORE 43161.798
AT ITER 6423 NEW BEST:: SOT 102829 SOS 56748 HAS SOPS 56748 HAS SOUS 43055 HAS SOUPS 43055 WITH SCORE 43111.748
AT ITER 6426 NEW BEST:: SOT 102629 SOS 56889 HAS SOPS 56889 HAS SOUS 43043 HAS SOUPS 43043 WITH SCORE 43099.889
AT ITER 6431 NEW BEST:: SOT 102629 SOS 56843 HAS SOPS 56843 HAS SOUS 43033 HAS SOUPS 43033 WITH SCORE 43089.843
AT ITER 6450 NEW BEST:: SOT 102629 SOS 56833 HAS SOPS 56833 HAS SOUS 43033 HAS SOUPS 43033 WITH SCORE 43089.833
AT ITER 6476 NEW BEST:: SOT 102632 SOS 56820 HAS SOPS 56820 HAS SOUS 43033 HAS SOUPS 43033 WITH SCORE 43089.82
AT ITER 6479 NEW BEST:: SOT 102622 SOS 56850 HAS SOPS 56850 HAS SOUS 43025 HAS SOUPS 43025 WITH SCORE 43081.85
AT ITER 6505 NEW BEST:: SOT 102622 SOS 56909 HAS SOPS 56909 HAS SOUS 43016 HAS SOUPS 43016 WITH SCORE 43072.909
AT ITER 6536 NEW BEST:: SOT 102618 SOS 56900 HAS SOPS 56900 HAS SOUS 43007 HAS SOUPS 43007 WITH SCORE 43063.9
AT ITER 6557 NEW BEST:: SOT 102495 SOS 56707 HAS SOPS 56707 HAS SOUS 42874 HAS SOUPS 42874 WITH SCORE 42930.707
AT ITER 6561 NEW BEST:: SOT 102409 SOS 56632 HAS SOPS 56632 HAS SOUS 42814 HAS SOUPS 42814 WITH SCORE 42870.632
AT ITER 6637 NEW BEST:: SOT 102409 SOS 56632 HAS SOPS 56632 HAS SOUS 42813 HAS SOUPS 42813 WITH SCORE 42869.632
AT ITER 6662 NEW BEST:: SOT 102409 SOS 56628 HAS SOPS 56628 HAS SOUS 42813 HAS SOUPS 42813 WITH SCORE 42869.628
AT ITER 6671 NEW BEST:: SOT 102317 SOS 56641 HAS SOPS 56641 HAS SOUS 42800 HAS SOUPS 42800 WITH SCORE 42856.641
AT ITER 6728 NEW BEST:: SOT 102317 SOS 56633 HAS SOPS 56633 HAS SOUS 42800 HAS SOUPS 42800 WITH SCORE 42856.633
AT ITER 6741 NEW BEST:: SOT 102317 SOS 56618 HAS SOPS 56618 HAS SOUS 42800 HAS SOUPS 42800 WITH SCORE 42856.618
AT ITER 6748 NEW BEST:: SOT 102284 SOS 56617 HAS SOPS 56617 HAS SOUS 42799 HAS SOUPS 42799 WITH SCORE 42855.617
AT ITER 6767 NEW BEST:: SOT 102311 SOS 56590 HAS SOPS 56590 HAS SOUS 42745 HAS SOUPS 42745 WITH SCORE 42801.59
AT ITER 6780 NEW BEST:: SOT 102311 SOS 56598 HAS SOPS 56598 HAS SOUS 42740 HAS SOUPS 42740 WITH SCORE 42796.598
AT ITER 6806 NEW BEST:: SOT 102306 SOS 56805 HAS SOPS 56805 HAS SOUS 42735 HAS SOUPS 42735 WITH SCORE 42791.805
AT ITER 6857 NEW BEST:: SOT 102296 SOS 56760 HAS SOPS 56760 HAS SOUS 42710 HAS SOUPS 42710 WITH SCORE 42766.76
AT ITER 6867 NEW BEST:: SOT 102296 SOS 56740 HAS SOPS 56740 HAS SOUS 42710 HAS SOUPS 42710 WITH SCORE 42766.74
AT ITER 6957 NEW BEST:: SOT 102313 SOS 56740 HAS SOPS 56740 HAS SOUS 42669 HAS SOUPS 42669 WITH SCORE 42725.74
AT ITER 6977 NEW BEST:: SOT 102316 SOS 56725 HAS SOPS 56725 HAS SOUS 42666 HAS SOUPS 42666 WITH SCORE 42722.725
AT ITER 6978 NEW BEST:: SOT 102316 SOS 56719 HAS SOPS 56719 HAS SOUS 42666 HAS SOUPS 42666 WITH SCORE 42722.719
AT ITER 6980 NEW BEST:: SOT 102315 SOS 56718 HAS SOPS 56718 HAS SOUS 42665 HAS SOUPS 42665 WITH SCORE 42721.718
AT ITER 6988 NEW BEST:: SOT 102327 SOS 56706 HAS SOPS 56706 HAS SOUS 42645 HAS SOUPS 42645 WITH SCORE 42701.706
AT ITER 6994 NEW BEST:: SOT 102308 SOS 56687 HAS SOPS 56687 HAS SOUS 42624 HAS SOUPS 42624 WITH SCORE 42680.687
AT ITER 7006 NEW BEST:: SOT 102271 SOS 56650 HAS SOPS 56650 HAS SOUS 42610 HAS SOUPS 42610 WITH SCORE 42666.65
AT ITER 7015 NEW BEST:: SOT 102271 SOS 56643 HAS SOPS 56643 HAS SOUS 42610 HAS SOUPS 42610 WITH SCORE 42666.643
AT ITER 7078 NEW BEST:: SOT 102271 SOS 56637 HAS SOPS 56637 HAS SOUS 42610 HAS SOUPS 42610 WITH SCORE 42666.637
AT ITER 7102 NEW BEST:: SOT 102271 SOS 56639 HAS SOPS 56639 HAS SOUS 42605 HAS SOUPS 42605 WITH SCORE 42661.639
AT ITER 7103 NEW BEST:: SOT 102267 SOS 56754 HAS SOPS 56754 HAS SOUS 42601 HAS SOUPS 42601 WITH SCORE 42657.754
AT ITER 7110 NEW BEST:: SOT 102266 SOS 56753 HAS SOPS 56753 HAS SOUS 42600 HAS SOUPS 42600 WITH SCORE 42656.753
AT ITER 7124 NEW BEST:: SOT 102244 SOS 56731 HAS SOPS 56731 HAS SOUS 42578 HAS SOUPS 42578 WITH SCORE 42634.731
AT ITER 7157 NEW BEST:: SOT 102198 SOS 56685 HAS SOPS 56685 HAS SOUS 42509 HAS SOUPS 42509 WITH SCORE 42565.685
AT ITER 7173 NEW BEST:: SOT 102182 SOS 56669 HAS SOPS 56669 HAS SOUS 42493 HAS SOUPS 42493 WITH SCORE 42549.669
AT ITER 7197 NEW BEST:: SOT 102165 SOS 56652 HAS SOPS 56652 HAS SOUS 42476 HAS SOUPS 42476 WITH SCORE 42532.652
AT ITER 7223 NEW BEST:: SOT 102185 SOS 56659 HAS SOPS 56659 HAS SOUS 42445 HAS SOUPS 42445 WITH SCORE 42501.659
AT ITER 7249 NEW BEST:: SOT 102165 SOS 56612 HAS SOPS 56612 HAS SOUS 42444 HAS SOUPS 42444 WITH SCORE 42500.612
AT ITER 7258 NEW BEST:: SOT 102079 SOS 56683 HAS SOPS 56683 HAS SOUS 42415 HAS SOUPS 42415 WITH SCORE 42471.683
AT ITER 7307 NEW BEST:: SOT 102079 SOS 56700 HAS SOPS 56700 HAS SOUS 42400 HAS SOUPS 42400 WITH SCORE 42456.7
AT ITER 7341 NEW BEST:: SOT 102045 SOS 56658 HAS SOPS 56658 HAS SOUS 42367 HAS SOUPS 42367 WITH SCORE 42423.658
AT ITER 7361 NEW BEST:: SOT 102045 SOS 56658 HAS SOPS 56658 HAS SOUS 42366 HAS SOUPS 42366 WITH SCORE 42422.658
AT ITER 7376 NEW BEST:: SOT 101909 SOS 57145 HAS SOPS 57145 HAS SOUS 42262 HAS SOUPS 42262 WITH SCORE 42319.145
AT ITER 7385 NEW BEST:: SOT 101909 SOS 57140 HAS SOPS 57140 HAS SOUS 42257 HAS SOUPS 42257 WITH SCORE 42314.14
AT ITER 7392 NEW BEST:: SOT 101909 SOS 57140 HAS SOPS 57140 HAS SOUS 42249 HAS SOUPS 42249 WITH SCORE 42306.14
AT ITER 7433 NEW BEST:: SOT 101909 SOS 57132 HAS SOPS 57132 HAS SOUS 42249 HAS SOUPS 42249 WITH SCORE 42306.132
AT ITER 7454 NEW BEST:: SOT 101858 SOS 57147 HAS SOPS 57147 HAS SOUS 42235 HAS SOUPS 42235 WITH SCORE 42292.147
AT ITER 7469 NEW BEST:: SOT 101853 SOS 57118 HAS SOPS 57118 HAS SOUS 42220 HAS SOUPS 42220 WITH SCORE 42277.118
AT ITER 7475 NEW BEST:: SOT 101891 SOS 57132 HAS SOPS 57132 HAS SOUS 42216 HAS SOUPS 42216 WITH SCORE 42273.132
AT ITER 7476 NEW BEST:: SOT 101891 SOS 57132 HAS SOPS 57132 HAS SOUS 42211 HAS SOUPS 42211 WITH SCORE 42268.132
AT ITER 7480 NEW BEST:: SOT 101880 SOS 57121 HAS SOPS 57121 HAS SOUS 42200 HAS SOUPS 42200 WITH SCORE 42257.121
AT ITER 7542 NEW BEST:: SOT 101873 SOS 57098 HAS SOPS 57098 HAS SOUS 42169 HAS SOUPS 42169 WITH SCORE 42226.098
AT ITER 7578 NEW BEST:: SOT 101805 SOS 57134 HAS SOPS 57134 HAS SOUS 42105 HAS SOUPS 42105 WITH SCORE 42162.134
AT ITER 7584 NEW BEST:: SOT 101753 SOS 57095 HAS SOPS 57095 HAS SOUS 42066 HAS SOUPS 42066 WITH SCORE 42123.095
AT ITER 7593 NEW BEST:: SOT 101751 SOS 57093 HAS SOPS 57093 HAS SOUS 42064 HAS SOUPS 42064 WITH SCORE 42121.093
AT ITER 7613 NEW BEST:: SOT 101741 SOS 57149 HAS SOPS 57149 HAS SOUS 42057 HAS SOUPS 42057 WITH SCORE 42114.149
AT ITER 7623 NEW BEST:: SOT 101741 SOS 57212 HAS SOPS 57212 HAS SOUS 42036 HAS SOUPS 42036 WITH SCORE 42093.212
AT ITER 7625 NEW BEST:: SOT 101750 SOS 56963 HAS SOPS 56963 HAS SOUS 42034 HAS SOUPS 42034 WITH SCORE 42090.963
AT ITER 7639 NEW BEST:: SOT 101750 SOS 56955 HAS SOPS 56955 HAS SOUS 42034 HAS SOUPS 42034 WITH SCORE 42090.955
AT ITER 7641 NEW BEST:: SOT 101750 SOS 56946 HAS SOPS 56946 HAS SOUS 42034 HAS SOUPS 42034 WITH SCORE 42090.946
AT ITER 7653 NEW BEST:: SOT 101756 SOS 56949 HAS SOPS 56949 HAS SOUS 42028 HAS SOUPS 42028 WITH SCORE 42084.949
AT ITER 7660 NEW BEST:: SOT 101756 SOS 56984 HAS SOPS 56984 HAS SOUS 42022 HAS SOUPS 42022 WITH SCORE 42078.984
AT ITER 7700 NEW BEST:: SOT 101756 SOS 56983 HAS SOPS 56983 HAS SOUS 42022 HAS SOUPS 42022 WITH SCORE 42078.983
AT ITER 7706 NEW BEST:: SOT 101739 SOS 56973 HAS SOPS 56973 HAS SOUS 42012 HAS SOUPS 42012 WITH SCORE 42068.973
AT ITER 7727 NEW BEST:: SOT 101739 SOS 56937 HAS SOPS 56937 HAS SOUS 42012 HAS SOUPS 42012 WITH SCORE 42068.937
AT ITER 7736 NEW BEST:: SOT 101737 SOS 56935 HAS SOPS 56935 HAS SOUS 42010 HAS SOUPS 42010 WITH SCORE 42066.935
AT ITER 7788 NEW BEST:: SOT 101716 SOS 56938 HAS SOPS 56938 HAS SOUS 42002 HAS SOUPS 42002 WITH SCORE 42058.938
AT ITER 7828 NEW BEST:: SOT 101712 SOS 56934 HAS SOPS 56934 HAS SOUS 41998 HAS SOUPS 41998 WITH SCORE 42054.934
AT ITER 7846 NEW BEST:: SOT 101705 SOS 56929 HAS SOPS 56929 HAS SOUS 41993 HAS SOUPS 41993 WITH SCORE 42049.929
AT ITER 7863 NEW BEST:: SOT 101705 SOS 56923 HAS SOPS 56923 HAS SOUS 41993 HAS SOUPS 41993 WITH SCORE 42049.923
AT ITER 7898 NEW BEST:: SOT 101706 SOS 56887 HAS SOPS 56887 HAS SOUS 41989 HAS SOUPS 41989 WITH SCORE 42045.887
AT ITER 7957 NEW BEST:: SOT 101706 SOS 56885 HAS SOPS 56885 HAS SOUS 41989 HAS SOUPS 41989 WITH SCORE 42045.885
AT ITER 7985 NEW BEST:: SOT 101706 SOS 56885 HAS SOPS 56885 HAS SOUS 41979 HAS SOUPS 41979 WITH SCORE 42035.885
AT ITER 8008 NEW BEST:: SOT 101706 SOS 56883 HAS SOPS 56883 HAS SOUS 41979 HAS SOUPS 41979 WITH SCORE 42035.883
AT ITER 8022 NEW BEST:: SOT 101673 SOS 56901 HAS SOPS 56901 HAS SOUS 41957 HAS SOUPS 41957 WITH SCORE 42013.901
AT ITER 8045 NEW BEST:: SOT 101672 SOS 56900 HAS SOPS 56900 HAS SOUS 41956 HAS SOUPS 41956 WITH SCORE 42012.9
AT ITER 8106 NEW BEST:: SOT 101672 SOS 56898 HAS SOPS 56898 HAS SOUS 41953 HAS SOUPS 41953 WITH SCORE 42009.898
AT ITER 8110 NEW BEST:: SOT 101666 SOS 56892 HAS SOPS 56892 HAS SOUS 41947 HAS SOUPS 41947 WITH SCORE 42003.892
AT ITER 8120 NEW BEST:: SOT 101661 SOS 56922 HAS SOPS 56922 HAS SOUS 41942 HAS SOUPS 41942 WITH SCORE 41998.922
AT ITER 8148 NEW BEST:: SOT 101599 SOS 56893 HAS SOPS 56893 HAS SOUS 41892 HAS SOUPS 41892 WITH SCORE 41948.893
AT ITER 8150 NEW BEST:: SOT 101571 SOS 56865 HAS SOPS 56865 HAS SOUS 41861 HAS SOUPS 41861 WITH SCORE 41917.865
AT ITER 8151 NEW BEST:: SOT 101570 SOS 56924 HAS SOPS 56924 HAS SOUS 41858 HAS SOUPS 41858 WITH SCORE 41914.924
AT ITER 8183 NEW BEST:: SOT 101570 SOS 56904 HAS SOPS 56904 HAS SOUS 41858 HAS SOUPS 41858 WITH SCORE 41914.904
AT ITER 8184 NEW BEST:: SOT 101582 SOS 57071 HAS SOPS 57071 HAS SOUS 41841 HAS SOUPS 41841 WITH SCORE 41898.071
AT ITER 8231 NEW BEST:: SOT 101579 SOS 57068 HAS SOPS 57068 HAS SOUS 41838 HAS SOUPS 41838 WITH SCORE 41895.068
AT ITER 8233 NEW BEST:: SOT 101566 SOS 57055 HAS SOPS 57055 HAS SOUS 41825 HAS SOUPS 41825 WITH SCORE 41882.055
AT ITER 8238 NEW BEST:: SOT 101565 SOS 57054 HAS SOPS 57054 HAS SOUS 41824 HAS SOUPS 41824 WITH SCORE 41881.054
AT ITER 8241 NEW BEST:: SOT 101551 SOS 57040 HAS SOPS 57040 HAS SOUS 41797 HAS SOUPS 41797 WITH SCORE 41854.04
AT ITER 8258 NEW BEST:: SOT 101532 SOS 57086 HAS SOPS 57086 HAS SOUS 41785 HAS SOUPS 41785 WITH SCORE 41842.086
AT ITER 8266 NEW BEST:: SOT 101527 SOS 57081 HAS SOPS 57081 HAS SOUS 41780 HAS SOUPS 41780 WITH SCORE 41837.081
AT ITER 8290 NEW BEST:: SOT 101520 SOS 57074 HAS SOPS 57074 HAS SOUS 41759 HAS SOUPS 41759 WITH SCORE 41816.074
AT ITER 8293 NEW BEST:: SOT 101515 SOS 57041 HAS SOPS 57041 HAS SOUS 41739 HAS SOUPS 41739 WITH SCORE 41796.041
AT ITER 8350 NEW BEST:: SOT 101427 SOS 57094 HAS SOPS 57094 HAS SOUS 41710 HAS SOUPS 41710 WITH SCORE 41767.094
AT ITER 8351 NEW BEST:: SOT 101426 SOS 57093 HAS SOPS 57093 HAS SOUS 41710 HAS SOUPS 41710 WITH SCORE 41767.093
AT ITER 8368 NEW BEST:: SOT 101424 SOS 57139 HAS SOPS 57139 HAS SOUS 41708 HAS SOUPS 41708 WITH SCORE 41765.139
AT ITER 8405 NEW BEST:: SOT 101444 SOS 57120 HAS SOPS 57120 HAS SOUS 41705 HAS SOUPS 41705 WITH SCORE 41762.12
AT ITER 8407 NEW BEST:: SOT 101440 SOS 57197 HAS SOPS 57197 HAS SOUS 41701 HAS SOUPS 41701 WITH SCORE 41758.197
AT ITER 8437 NEW BEST:: SOT 101440 SOS 57172 HAS SOPS 57172 HAS SOUS 41701 HAS SOUPS 41701 WITH SCORE 41758.172
AT ITER 8446 NEW BEST:: SOT 101440 SOS 57157 HAS SOPS 57157 HAS SOUS 41701 HAS SOUPS 41701 WITH SCORE 41758.157
AT ITER 8461 NEW BEST:: SOT 101416 SOS 57144 HAS SOPS 57144 HAS SOUS 41688 HAS SOUPS 41688 WITH SCORE 41745.144
AT ITER 8467 NEW BEST:: SOT 101395 SOS 57131 HAS SOPS 57131 HAS SOUS 41683 HAS SOUPS 41683 WITH SCORE 41740.131
AT ITER 8485 NEW BEST:: SOT 101382 SOS 57118 HAS SOPS 57118 HAS SOUS 41670 HAS SOUPS 41670 WITH SCORE 41727.118
AT ITER 8486 NEW BEST:: SOT 101382 SOS 57088 HAS SOPS 57088 HAS SOUS 41658 HAS SOUPS 41658 WITH SCORE 41715.088
AT ITER 8540 NEW BEST:: SOT 101367 SOS 57068 HAS SOPS 57068 HAS SOUS 41633 HAS SOUPS 41633 WITH SCORE 41690.068
AT ITER 8546 NEW BEST:: SOT 101464 SOS 56524 HAS SOPS 56524 HAS SOUS 41606 HAS SOUPS 41606 WITH SCORE 41662.524
AT ITER 8547 NEW BEST:: SOT 101445 SOS 56505 HAS SOPS 56505 HAS SOUS 41587 HAS SOUPS 41587 WITH SCORE 41643.505
AT ITER 8557 NEW BEST:: SOT 101445 SOS 56499 HAS SOPS 56499 HAS SOUS 41582 HAS SOUPS 41582 WITH SCORE 41638.499
AT ITER 8567 NEW BEST:: SOT 101395 SOS 56594 HAS SOPS 56594 HAS SOUS 41577 HAS SOUPS 41577 WITH SCORE 41633.594
AT ITER 8609 NEW BEST:: SOT 101396 SOS 56590 HAS SOPS 56590 HAS SOUS 41574 HAS SOUPS 41574 WITH SCORE 41630.59
AT ITER 8616 NEW BEST:: SOT 101383 SOS 56577 HAS SOPS 56577 HAS SOUS 41561 HAS SOUPS 41561 WITH SCORE 41617.577
AT ITER 8617 NEW BEST:: SOT 101326 SOS 56539 HAS SOPS 56539 HAS SOUS 41561 HAS SOUPS 41561 WITH SCORE 41617.539
AT ITER 8619 NEW BEST:: SOT 101326 SOS 56532 HAS SOPS 56532 HAS SOUS 41561 HAS SOUPS 41561 WITH SCORE 41617.532
AT ITER 8623 NEW BEST:: SOT 101326 SOS 56530 HAS SOPS 56530 HAS SOUS 41554 HAS SOUPS 41554 WITH SCORE 41610.53
AT ITER 8628 NEW BEST:: SOT 101314 SOS 56518 HAS SOPS 56518 HAS SOUS 41550 HAS SOUPS 41550 WITH SCORE 41606.518
AT ITER 8636 NEW BEST:: SOT 101242 SOS 56458 HAS SOPS 56458 HAS SOUS 41488 HAS SOUPS 41488 WITH SCORE 41544.458
AT ITER 8655 NEW BEST:: SOT 101210 SOS 56494 HAS SOPS 56494 HAS SOUS 41468 HAS SOUPS 41468 WITH SCORE 41524.494
AT ITER 8659 NEW BEST:: SOT 101212 SOS 56490 HAS SOPS 56490 HAS SOUS 41464 HAS SOUPS 41464 WITH SCORE 41520.49
AT ITER 8668 NEW BEST:: SOT 101212 SOS 56515 HAS SOPS 56515 HAS SOUS 41433 HAS SOUPS 41433 WITH SCORE 41489.515
AT ITER 8670 NEW BEST:: SOT 101199 SOS 56502 HAS SOPS 56502 HAS SOUS 41402 HAS SOUPS 41402 WITH SCORE 41458.502
AT ITER 8698 NEW BEST:: SOT 101140 SOS 56487 HAS SOPS 56487 HAS SOUS 41401 HAS SOUPS 41401 WITH SCORE 41457.487
AT ITER 8710 NEW BEST:: SOT 101140 SOS 56487 HAS SOPS 56487 HAS SOUS 41393 HAS SOUPS 41393 WITH SCORE 41449.487
AT ITER 8779 NEW BEST:: SOT 101110 SOS 56477 HAS SOPS 56477 HAS SOUS 41383 HAS SOUPS 41383 WITH SCORE 41439.477
AT ITER 8788 NEW BEST:: SOT 101087 SOS 56454 HAS SOPS 56454 HAS SOUS 41325 HAS SOUPS 41325 WITH SCORE 41381.454
AT ITER 8805 NEW BEST:: SOT 101087 SOS 56451 HAS SOPS 56451 HAS SOUS 41325 HAS SOUPS 41325 WITH SCORE 41381.451
AT ITER 8822 NEW BEST:: SOT 101092 SOS 56449 HAS SOPS 56449 HAS SOUS 41319 HAS SOUPS 41319 WITH SCORE 41375.449
AT ITER 8828 NEW BEST:: SOT 101167 SOS 56441 HAS SOPS 56441 HAS SOUS 41314 HAS SOUPS 41314 WITH SCORE 41370.441
AT ITER 8834 NEW BEST:: SOT 101140 SOS 56531 HAS SOPS 56531 HAS SOUS 41291 HAS SOUPS 41291 WITH SCORE 41347.531
AT ITER 8849 NEW BEST:: SOT 101158 SOS 56493 HAS SOPS 56493 HAS SOUS 41284 HAS SOUPS 41284 WITH SCORE 41340.493
AT ITER 8852 NEW BEST:: SOT 101158 SOS 56461 HAS SOPS 56461 HAS SOUS 41281 HAS SOUPS 41281 WITH SCORE 41337.461
AT ITER 8853 NEW BEST:: SOT 101158 SOS 56454 HAS SOPS 56454 HAS SOUS 41281 HAS SOUPS 41281 WITH SCORE 41337.454
AT ITER 8870 NEW BEST:: SOT 101158 SOS 56452 HAS SOPS 56452 HAS SOUS 41281 HAS SOUPS 41281 WITH SCORE 41337.452
AT ITER 8893 NEW BEST:: SOT 101158 SOS 56425 HAS SOPS 56425 HAS SOUS 41281 HAS SOUPS 41281 WITH SCORE 41337.425
AT ITER 8904 NEW BEST:: SOT 101148 SOS 56415 HAS SOPS 56415 HAS SOUS 41271 HAS SOUPS 41271 WITH SCORE 41327.415
AT ITER 8955 NEW BEST:: SOT 101108 SOS 56607 HAS SOPS 56607 HAS SOUS 41246 HAS SOUPS 41246 WITH SCORE 41302.607
AT ITER 8984 NEW BEST:: SOT 101108 SOS 56570 HAS SOPS 56570 HAS SOUS 41201 HAS SOUPS 41201 WITH SCORE 41257.57
AT ITER 8986 NEW BEST:: SOT 101108 SOS 56570 HAS SOPS 56570 HAS SOUS 41200 HAS SOUPS 41200 WITH SCORE 41256.57
AT ITER 8998 NEW BEST:: SOT 101080 SOS 56581 HAS SOPS 56581 HAS SOUS 41185 HAS SOUPS 41185 WITH SCORE 41241.581
AT ITER 9018 NEW BEST:: SOT 101080 SOS 56563 HAS SOPS 56563 HAS SOUS 41185 HAS SOUPS 41185 WITH SCORE 41241.563
AT ITER 9036 NEW BEST:: SOT 101046 SOS 56529 HAS SOPS 56529 HAS SOUS 41151 HAS SOUPS 41151 WITH SCORE 41207.529
AT ITER 9073 NEW BEST:: SOT 101053 SOS 56536 HAS SOPS 56536 HAS SOUS 41141 HAS SOUPS 41141 WITH SCORE 41197.536
AT ITER 9146 NEW BEST:: SOT 101053 SOS 56491 HAS SOPS 56491 HAS SOUS 41141 HAS SOUPS 41141 WITH SCORE 41197.491
AT ITER 9185 NEW BEST:: SOT 100942 SOS 56642 HAS SOPS 56642 HAS SOUS 41129 HAS SOUPS 41129 WITH SCORE 41185.642
AT ITER 9200 NEW BEST:: SOT 100942 SOS 56607 HAS SOPS 56607 HAS SOUS 41129 HAS SOUPS 41129 WITH SCORE 41185.607
AT ITER 9224 NEW BEST:: SOT 100918 SOS 56595 HAS SOPS 56595 HAS SOUS 41105 HAS SOUPS 41105 WITH SCORE 41161.595
AT ITER 9225 NEW BEST:: SOT 100918 SOS 56577 HAS SOPS 56577 HAS SOUS 41105 HAS SOUPS 41105 WITH SCORE 41161.577
AT ITER 9242 NEW BEST:: SOT 100918 SOS 56134 HAS SOPS 56134 HAS SOUS 41105 HAS SOUPS 41105 WITH SCORE 41161.134
AT ITER 9250 NEW BEST:: SOT 100892 SOS 56118 HAS SOPS 56118 HAS SOUS 41089 HAS SOUPS 41089 WITH SCORE 41145.118
AT ITER 9252 NEW BEST:: SOT 100892 SOS 56101 HAS SOPS 56101 HAS SOUS 41089 HAS SOUPS 41089 WITH SCORE 41145.101
AT ITER 9325 NEW BEST:: SOT 100889 SOS 56098 HAS SOPS 56098 HAS SOUS 41086 HAS SOUPS 41086 WITH SCORE 41142.098
AT ITER 9331 NEW BEST:: SOT 100889 SOS 56087 HAS SOPS 56087 HAS SOUS 41086 HAS SOUPS 41086 WITH SCORE 41142.087
AT ITER 9333 NEW BEST:: SOT 100889 SOS 56057 HAS SOPS 56057 HAS SOUS 41084 HAS SOUPS 41084 WITH SCORE 41140.057
AT ITER 9358 NEW BEST:: SOT 100829 SOS 56235 HAS SOPS 56235 HAS SOUS 41070 HAS SOUPS 41070 WITH SCORE 41126.235
AT ITER 9360 NEW BEST:: SOT 100829 SOS 56211 HAS SOPS 56211 HAS SOUS 41047 HAS SOUPS 41047 WITH SCORE 41103.211
AT ITER 9403 NEW BEST:: SOT 100913 SOS 56295 HAS SOPS 56295 HAS SOUS 41011 HAS SOUPS 41011 WITH SCORE 41067.295
AT ITER 9423 NEW BEST:: SOT 100895 SOS 56277 HAS SOPS 56277 HAS SOUS 40963 HAS SOUPS 40963 WITH SCORE 41019.277
AT ITER 9432 NEW BEST:: SOT 100927 SOS 56269 HAS SOPS 56269 HAS SOUS 40955 HAS SOUPS 40955 WITH SCORE 41011.269
AT ITER 9437 NEW BEST:: SOT 100913 SOS 56255 HAS SOPS 56255 HAS SOUS 40941 HAS SOUPS 40941 WITH SCORE 40997.255
AT ITER 9444 NEW BEST:: SOT 100909 SOS 56251 HAS SOPS 56251 HAS SOUS 40937 HAS SOUPS 40937 WITH SCORE 40993.251
AT ITER 9448 NEW BEST:: SOT 100944 SOS 56268 HAS SOPS 56268 HAS SOUS 40922 HAS SOUPS 40922 WITH SCORE 40978.268
AT ITER 9481 NEW BEST:: SOT 100912 SOS 56236 HAS SOPS 56236 HAS SOUS 40884 HAS SOUPS 40884 WITH SCORE 40940.236
AT ITER 9486 NEW BEST:: SOT 100912 SOS 56236 HAS SOPS 56236 HAS SOUS 40880 HAS SOUPS 40880 WITH SCORE 40936.236
AT ITER 9495 NEW BEST:: SOT 100910 SOS 56234 HAS SOPS 56234 HAS SOUS 40878 HAS SOUPS 40878 WITH SCORE 40934.234
AT ITER 9500 NEW BEST:: SOT 100909 SOS 56231 HAS SOPS 56231 HAS SOUS 40845 HAS SOUPS 40845 WITH SCORE 40901.231
AT ITER 9501 NEW BEST:: SOT 100885 SOS 56215 HAS SOPS 56215 HAS SOUS 40829 HAS SOUPS 40829 WITH SCORE 40885.215
AT ITER 9531 NEW BEST:: SOT 100874 SOS 56448 HAS SOPS 56448 HAS SOUS 40819 HAS SOUPS 40819 WITH SCORE 40875.448
AT ITER 9538 NEW BEST:: SOT 100874 SOS 56448 HAS SOPS 56448 HAS SOUS 40814 HAS SOUPS 40814 WITH SCORE 40870.448
AT ITER 9559 NEW BEST:: SOT 100853 SOS 56427 HAS SOPS 56427 HAS SOUS 40793 HAS SOUPS 40793 WITH SCORE 40849.427
AT ITER 9575 NEW BEST:: SOT 100841 SOS 56428 HAS SOPS 56428 HAS SOUS 40781 HAS SOUPS 40781 WITH SCORE 40837.428
AT ITER 9604 NEW BEST:: SOT 100841 SOS 56421 HAS SOPS 56421 HAS SOUS 40781 HAS SOUPS 40781 WITH SCORE 40837.421
AT ITER 9614 NEW BEST:: SOT 100841 SOS 56421 HAS SOPS 56421 HAS SOUS 40771 HAS SOUPS 40771 WITH SCORE 40827.421
AT ITER 9621 NEW BEST:: SOT 100855 SOS 56436 HAS SOPS 56436 HAS SOUS 40713 HAS SOUPS 40713 WITH SCORE 40769.436
AT ITER 9627 NEW BEST:: SOT 100681 SOS 56331 HAS SOPS 56331 HAS SOUS 40667 HAS SOUPS 40667 WITH SCORE 40723.331
AT ITER 9628 NEW BEST:: SOT 100675 SOS 56325 HAS SOPS 56325 HAS SOUS 40661 HAS SOUPS 40661 WITH SCORE 40717.325
AT ITER 9646 NEW BEST:: SOT 100675 SOS 56319 HAS SOPS 56319 HAS SOUS 40654 HAS SOUPS 40654 WITH SCORE 40710.319
AT ITER 9654 NEW BEST:: SOT 100672 SOS 56316 HAS SOPS 56316 HAS SOUS 40649 HAS SOUPS 40649 WITH SCORE 40705.316
AT ITER 9660 NEW BEST:: SOT 100665 SOS 56309 HAS SOPS 56309 HAS SOUS 40642 HAS SOUPS 40642 WITH SCORE 40698.309
AT ITER 9663 NEW BEST:: SOT 100665 SOS 56258 HAS SOPS 56258 HAS SOUS 40641 HAS SOUPS 40641 WITH SCORE 40697.258
AT ITER 9697 NEW BEST:: SOT 100664 SOS 56257 HAS SOPS 56257 HAS SOUS 40640 HAS SOUPS 40640 WITH SCORE 40696.257
AT ITER 9701 NEW BEST:: SOT 100628 SOS 56221 HAS SOPS 56221 HAS SOUS 40563 HAS SOUPS 40563 WITH SCORE 40619.221
AT ITER 9723 NEW BEST:: SOT 100631 SOS 56224 HAS SOPS 56224 HAS SOUS 40558 HAS SOUPS 40558 WITH SCORE 40614.224
AT ITER 9728 NEW BEST:: SOT 100628 SOS 56281 HAS SOPS 56281 HAS SOUS 40556 HAS SOUPS 40556 WITH SCORE 40612.281
AT ITER 9743 NEW BEST:: SOT 100626 SOS 56279 HAS SOPS 56279 HAS SOUS 40554 HAS SOUPS 40554 WITH SCORE 40610.279
AT ITER 9793 NEW BEST:: SOT 100626 SOS 56291 HAS SOPS 56291 HAS SOUS 40539 HAS SOUPS 40539 WITH SCORE 40595.291
AT ITER 9799 NEW BEST:: SOT 100613 SOS 56276 HAS SOPS 56276 HAS SOUS 40511 HAS SOUPS 40511 WITH SCORE 40567.276
AT ITER 9804 NEW BEST:: SOT 100601 SOS 56276 HAS SOPS 56276 HAS SOUS 40505 HAS SOUPS 40505 WITH SCORE 40561.276
AT ITER 9808 NEW BEST:: SOT 100592 SOS 56287 HAS SOPS 56287 HAS SOUS 40501 HAS SOUPS 40501 WITH SCORE 40557.287
AT ITER 9839 NEW BEST:: SOT 100559 SOS 56281 HAS SOPS 56281 HAS SOUS 40495 HAS SOUPS 40495 WITH SCORE 40551.281
AT ITER 9873 NEW BEST:: SOT 100559 SOS 56277 HAS SOPS 56277 HAS SOUS 40493 HAS SOUPS 40493 WITH SCORE 40549.277
AT ITER 9891 NEW BEST:: SOT 100577 SOS 56284 HAS SOPS 56284 HAS SOUS 40491 HAS SOUPS 40491 WITH SCORE 40547.284
AT ITER 9910 NEW BEST:: SOT 100429 SOS 56352 HAS SOPS 56352 HAS SOUS 40436 HAS SOUPS 40436 WITH SCORE 40492.352
AT ITER 9924 NEW BEST:: SOT 100424 SOS 56399 HAS SOPS 56399 HAS SOUS 40431 HAS SOUPS 40431 WITH SCORE 40487.399
AT ITER 9925 NEW BEST:: SOT 100414 SOS 56438 HAS SOPS 56438 HAS SOUS 40403 HAS SOUPS 40403 WITH SCORE 40459.438
AT ITER 9929 NEW BEST:: SOT 100279 SOS 56342 HAS SOPS 56342 HAS SOUS 40392 HAS SOUPS 40392 WITH SCORE 40448.342
AT ITER 9935 NEW BEST:: SOT 100279 SOS 56342 HAS SOPS 56342 HAS SOUS 40383 HAS SOUPS 40383 WITH SCORE 40439.342
AT ITER 9949 NEW BEST:: SOT 100247 SOS 56284 HAS SOPS 56284 HAS SOUS 40347 HAS SOUPS 40347 WITH SCORE 40403.284
AT ITER 9956 NEW BEST:: SOT 100240 SOS 56357 HAS SOPS 56357 HAS SOUS 40343 HAS SOUPS 40343 WITH SCORE 40399.357
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 2534336 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16118276 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Sudoku-COL-AN07"
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 Sudoku-COL-AN07, 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 r491-tall-167912710000056"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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