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.r171-tall-167838858600472.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 FlexibleBarrier-PT-06b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r171-tall-167838858600472
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 648K
-rw-r--r-- 1 mcc users 7.2K Feb 25 12:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 25 12:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 12:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 12:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 12:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 146K Feb 25 12:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 12:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 92K Feb 25 12:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 141K Mar 5 18:22 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 1679475241787

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=FlexibleBarrier-PT-06b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 08:54:03] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 08:54:03] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 08:54:03] [INFO ] Load time of PNML (sax parser for PT used): 63 ms
[2023-03-22 08:54:03] [INFO ] Transformed 542 places.
[2023-03-22 08:54:03] [INFO ] Transformed 621 transitions.
[2023-03-22 08:54:03] [INFO ] Found NUPN structural information;
[2023-03-22 08:54:03] [INFO ] Parsed PT model containing 542 places and 621 transitions and 1533 arcs in 126 ms.
[2023-03-22 08:54:03] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 542 places, 621 transitions and 1533 arcs took 7 ms.
Total runtime 159 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 06b
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: 542 places, 621 transitions, 1533 arcs.
AT ITER 0 NEW BEST:: SOT 214397 SOS 97670 HAS SOPS 97670 HAS SOUS 78263 HAS SOUPS 78263 WITH SCORE 78360.67
AT ITER 4 NEW BEST:: SOT 214527 SOS 97428 HAS SOPS 97428 HAS SOUS 78152 HAS SOUPS 78152 WITH SCORE 78249.428
AT ITER 8 NEW BEST:: SOT 214414 SOS 97202 HAS SOPS 97202 HAS SOUS 77926 HAS SOUPS 77926 WITH SCORE 78023.202
AT ITER 11 NEW BEST:: SOT 213124 SOS 98192 HAS SOPS 98192 HAS SOUS 77010 HAS SOUPS 77010 WITH SCORE 77108.192
AT ITER 26 NEW BEST:: SOT 212931 SOS 97613 HAS SOPS 97613 HAS SOUS 76624 HAS SOUPS 76624 WITH SCORE 76721.613
AT ITER 34 NEW BEST:: SOT 209168 SOS 115165 HAS SOPS 115165 HAS SOUS 73671 HAS SOUPS 73671 WITH SCORE 73786.165
AT ITER 37 NEW BEST:: SOT 209083 SOS 114910 HAS SOPS 114910 HAS SOUS 73501 HAS SOUPS 73501 WITH SCORE 73615.91
AT ITER 40 NEW BEST:: SOT 208954 SOS 114652 HAS SOPS 114652 HAS SOUS 73390 HAS SOUPS 73390 WITH SCORE 73504.652
AT ITER 44 NEW BEST:: SOT 208954 SOS 114652 HAS SOPS 114652 HAS SOUS 73339 HAS SOUPS 73339 WITH SCORE 73453.652
AT ITER 45 NEW BEST:: SOT 208968 SOS 114344 HAS SOPS 114344 HAS SOUS 73119 HAS SOUPS 73119 WITH SCORE 73233.344
AT ITER 46 NEW BEST:: SOT 208979 SOS 114175 HAS SOPS 114175 HAS SOUS 73063 HAS SOUPS 73063 WITH SCORE 73177.175
AT ITER 52 NEW BEST:: SOT 208979 SOS 113950 HAS SOPS 113950 HAS SOUS 72908 HAS SOUPS 72908 WITH SCORE 73021.95
AT ITER 59 NEW BEST:: SOT 208748 SOS 113719 HAS SOPS 113719 HAS SOUS 72894 HAS SOUPS 72894 WITH SCORE 73007.719
AT ITER 62 NEW BEST:: SOT 208538 SOS 113299 HAS SOPS 113299 HAS SOUS 72735 HAS SOUPS 72735 WITH SCORE 72848.299
AT ITER 66 NEW BEST:: SOT 208519 SOS 113261 HAS SOPS 113261 HAS SOUS 72716 HAS SOUPS 72716 WITH SCORE 72829.261
AT ITER 69 NEW BEST:: SOT 208453 SOS 101783 HAS SOPS 101783 HAS SOUS 72284 HAS SOUPS 72284 WITH SCORE 72385.783
AT ITER 86 NEW BEST:: SOT 208453 SOS 101783 HAS SOPS 101783 HAS SOUS 72276 HAS SOUPS 72276 WITH SCORE 72377.783
AT ITER 91 NEW BEST:: SOT 208114 SOS 101454 HAS SOPS 101454 HAS SOUS 71971 HAS SOUPS 71971 WITH SCORE 72072.454
AT ITER 96 NEW BEST:: SOT 208103 SOS 101083 HAS SOPS 101083 HAS SOUS 71874 HAS SOUPS 71874 WITH SCORE 71975.083
AT ITER 107 NEW BEST:: SOT 208103 SOS 101017 HAS SOPS 101017 HAS SOUS 71874 HAS SOUPS 71874 WITH SCORE 71975.017
AT ITER 108 NEW BEST:: SOT 207997 SOS 100911 HAS SOPS 100911 HAS SOUS 71836 HAS SOUPS 71836 WITH SCORE 71936.911
AT ITER 109 NEW BEST:: SOT 208057 SOS 100657 HAS SOPS 100657 HAS SOUS 71709 HAS SOUPS 71709 WITH SCORE 71809.657
AT ITER 112 NEW BEST:: SOT 208024 SOS 100525 HAS SOPS 100525 HAS SOUS 71643 HAS SOUPS 71643 WITH SCORE 71743.525
AT ITER 116 NEW BEST:: SOT 208024 SOS 100456 HAS SOPS 100456 HAS SOUS 71620 HAS SOUPS 71620 WITH SCORE 71720.456
AT ITER 123 NEW BEST:: SOT 207783 SOS 100130 HAS SOPS 100130 HAS SOUS 71408 HAS SOUPS 71408 WITH SCORE 71508.13
AT ITER 130 NEW BEST:: SOT 207696 SOS 100043 HAS SOPS 100043 HAS SOUS 71321 HAS SOUPS 71321 WITH SCORE 71421.043
AT ITER 136 NEW BEST:: SOT 207591 SOS 99800 HAS SOPS 99800 HAS SOUS 71114 HAS SOUPS 71114 WITH SCORE 71213.8
AT ITER 144 NEW BEST:: SOT 207366 SOS 99575 HAS SOPS 99575 HAS SOUS 70939 HAS SOUPS 70939 WITH SCORE 71038.575
AT ITER 145 NEW BEST:: SOT 207265 SOS 99373 HAS SOPS 99373 HAS SOUS 70838 HAS SOUPS 70838 WITH SCORE 70937.373
AT ITER 146 NEW BEST:: SOT 207042 SOS 98927 HAS SOPS 98927 HAS SOUS 70529 HAS SOUPS 70529 WITH SCORE 70627.927
AT ITER 149 NEW BEST:: SOT 207016 SOS 98813 HAS SOPS 98813 HAS SOUS 70479 HAS SOUPS 70479 WITH SCORE 70577.813
AT ITER 155 NEW BEST:: SOT 207009 SOS 98804 HAS SOPS 98804 HAS SOUS 70477 HAS SOUPS 70477 WITH SCORE 70575.804
AT ITER 165 NEW BEST:: SOT 206868 SOS 98522 HAS SOPS 98522 HAS SOUS 70195 HAS SOUPS 70195 WITH SCORE 70293.522
AT ITER 173 NEW BEST:: SOT 206868 SOS 98514 HAS SOPS 98514 HAS SOUS 70195 HAS SOUPS 70195 WITH SCORE 70293.514
AT ITER 177 NEW BEST:: SOT 206746 SOS 98270 HAS SOPS 98270 HAS SOUS 70024 HAS SOUPS 70024 WITH SCORE 70122.27
AT ITER 178 NEW BEST:: SOT 205327 SOS 97099 HAS SOPS 97099 HAS SOUS 68703 HAS SOUPS 68703 WITH SCORE 68800.099
AT ITER 186 NEW BEST:: SOT 205138 SOS 97091 HAS SOPS 97091 HAS SOUS 68701 HAS SOUPS 68701 WITH SCORE 68798.091
AT ITER 193 NEW BEST:: SOT 205070 SOS 97023 HAS SOPS 97023 HAS SOUS 68692 HAS SOUPS 68692 WITH SCORE 68789.023
AT ITER 198 NEW BEST:: SOT 204825 SOS 95589 HAS SOPS 95589 HAS SOUS 68365 HAS SOUPS 68365 WITH SCORE 68460.589
AT ITER 201 NEW BEST:: SOT 204771 SOS 95299 HAS SOPS 95299 HAS SOUS 68157 HAS SOUPS 68157 WITH SCORE 68252.299
AT ITER 203 NEW BEST:: SOT 203959 SOS 95593 HAS SOPS 95593 HAS SOUS 67806 HAS SOUPS 67806 WITH SCORE 67901.593
AT ITER 204 NEW BEST:: SOT 203956 SOS 95581 HAS SOPS 95581 HAS SOUS 67800 HAS SOUPS 67800 WITH SCORE 67895.581
AT ITER 205 NEW BEST:: SOT 203922 SOS 95547 HAS SOPS 95547 HAS SOUS 67792 HAS SOUPS 67792 WITH SCORE 67887.547
AT ITER 212 NEW BEST:: SOT 204093 SOS 95273 HAS SOPS 95273 HAS SOUS 67687 HAS SOUPS 67687 WITH SCORE 67782.273
AT ITER 217 NEW BEST:: SOT 203939 SOS 94724 HAS SOPS 94724 HAS SOUS 67338 HAS SOUPS 67338 WITH SCORE 67432.724
AT ITER 226 NEW BEST:: SOT 203943 SOS 94637 HAS SOPS 94637 HAS SOUS 67219 HAS SOUPS 67219 WITH SCORE 67313.637
AT ITER 243 NEW BEST:: SOT 203908 SOS 94417 HAS SOPS 94417 HAS SOUS 67124 HAS SOUPS 67124 WITH SCORE 67218.417
AT ITER 244 NEW BEST:: SOT 203859 SOS 94205 HAS SOPS 94205 HAS SOUS 66993 HAS SOUPS 66993 WITH SCORE 67087.205
AT ITER 247 NEW BEST:: SOT 203841 SOS 94194 HAS SOPS 94194 HAS SOUS 66975 HAS SOUPS 66975 WITH SCORE 67069.194
AT ITER 255 NEW BEST:: SOT 203691 SOS 94482 HAS SOPS 94482 HAS SOUS 66759 HAS SOUPS 66759 WITH SCORE 66853.482
AT ITER 256 NEW BEST:: SOT 202917 SOS 94846 HAS SOPS 94846 HAS SOUS 66360 HAS SOUPS 66360 WITH SCORE 66454.846
AT ITER 260 NEW BEST:: SOT 202847 SOS 94706 HAS SOPS 94706 HAS SOUS 66270 HAS SOUPS 66270 WITH SCORE 66364.706
AT ITER 263 NEW BEST:: SOT 202906 SOS 94824 HAS SOPS 94824 HAS SOUS 66207 HAS SOUPS 66207 WITH SCORE 66301.824
AT ITER 275 NEW BEST:: SOT 202867 SOS 94440 HAS SOPS 94440 HAS SOUS 66163 HAS SOUPS 66163 WITH SCORE 66257.44
AT ITER 281 NEW BEST:: SOT 202787 SOS 94360 HAS SOPS 94360 HAS SOUS 66083 HAS SOUPS 66083 WITH SCORE 66177.36
AT ITER 283 NEW BEST:: SOT 202477 SOS 93995 HAS SOPS 93995 HAS SOUS 65504 HAS SOUPS 65504 WITH SCORE 65597.995
AT ITER 288 NEW BEST:: SOT 202477 SOS 93995 HAS SOPS 93995 HAS SOUS 65469 HAS SOUPS 65469 WITH SCORE 65562.995
AT ITER 294 NEW BEST:: SOT 202580 SOS 93807 HAS SOPS 93807 HAS SOUS 65381 HAS SOUPS 65381 WITH SCORE 65474.807
AT ITER 296 NEW BEST:: SOT 202543 SOS 93696 HAS SOPS 93696 HAS SOUS 65307 HAS SOUPS 65307 WITH SCORE 65400.696
AT ITER 297 NEW BEST:: SOT 202427 SOS 93464 HAS SOPS 93464 HAS SOUS 65191 HAS SOUPS 65191 WITH SCORE 65284.464
AT ITER 300 NEW BEST:: SOT 202427 SOS 93464 HAS SOPS 93464 HAS SOUS 65184 HAS SOUPS 65184 WITH SCORE 65277.464
AT ITER 305 NEW BEST:: SOT 202409 SOS 93428 HAS SOPS 93428 HAS SOUS 64970 HAS SOUPS 64970 WITH SCORE 65063.428
AT ITER 313 NEW BEST:: SOT 202409 SOS 93423 HAS SOPS 93423 HAS SOUS 64970 HAS SOUPS 64970 WITH SCORE 65063.423
AT ITER 316 NEW BEST:: SOT 202514 SOS 93528 HAS SOPS 93528 HAS SOUS 64969 HAS SOUPS 64969 WITH SCORE 65062.528
AT ITER 318 NEW BEST:: SOT 202361 SOS 93272 HAS SOPS 93272 HAS SOUS 64928 HAS SOUPS 64928 WITH SCORE 65021.272
AT ITER 327 NEW BEST:: SOT 202294 SOS 93387 HAS SOPS 93387 HAS SOUS 64861 HAS SOUPS 64861 WITH SCORE 64954.387
AT ITER 328 NEW BEST:: SOT 201919 SOS 93333 HAS SOPS 93333 HAS SOUS 64619 HAS SOUPS 64619 WITH SCORE 64712.333
AT ITER 330 NEW BEST:: SOT 201919 SOS 93326 HAS SOPS 93326 HAS SOUS 64619 HAS SOUPS 64619 WITH SCORE 64712.326
AT ITER 332 NEW BEST:: SOT 201809 SOS 93108 HAS SOPS 93108 HAS SOUS 64496 HAS SOUPS 64496 WITH SCORE 64589.108
AT ITER 338 NEW BEST:: SOT 201809 SOS 92944 HAS SOPS 92944 HAS SOUS 64496 HAS SOUPS 64496 WITH SCORE 64588.944
AT ITER 340 NEW BEST:: SOT 201807 SOS 92940 HAS SOPS 92940 HAS SOUS 64441 HAS SOUPS 64441 WITH SCORE 64533.94
AT ITER 347 NEW BEST:: SOT 201807 SOS 92905 HAS SOPS 92905 HAS SOUS 64406 HAS SOUPS 64406 WITH SCORE 64498.905
AT ITER 348 NEW BEST:: SOT 201761 SOS 92813 HAS SOPS 92813 HAS SOUS 64314 HAS SOUPS 64314 WITH SCORE 64406.813
AT ITER 354 NEW BEST:: SOT 201756 SOS 92803 HAS SOPS 92803 HAS SOUS 64309 HAS SOUPS 64309 WITH SCORE 64401.803
AT ITER 357 NEW BEST:: SOT 201713 SOS 92717 HAS SOPS 92717 HAS SOUS 64254 HAS SOUPS 64254 WITH SCORE 64346.717
AT ITER 368 NEW BEST:: SOT 201700 SOS 92717 HAS SOPS 92717 HAS SOUS 64228 HAS SOUPS 64228 WITH SCORE 64320.717
AT ITER 374 NEW BEST:: SOT 201396 SOS 92062 HAS SOPS 92062 HAS SOUS 63715 HAS SOUPS 63715 WITH SCORE 63807.062
AT ITER 384 NEW BEST:: SOT 200472 SOS 92451 HAS SOPS 92451 HAS SOUS 63077 HAS SOUPS 63077 WITH SCORE 63169.451
AT ITER 385 NEW BEST:: SOT 200472 SOS 92429 HAS SOPS 92429 HAS SOUS 63055 HAS SOUPS 63055 WITH SCORE 63147.429
AT ITER 389 NEW BEST:: SOT 199808 SOS 91830 HAS SOPS 91830 HAS SOUS 62444 HAS SOUPS 62444 WITH SCORE 62535.83
AT ITER 394 NEW BEST:: SOT 199876 SOS 91432 HAS SOPS 91432 HAS SOUS 62357 HAS SOUPS 62357 WITH SCORE 62448.432
AT ITER 397 NEW BEST:: SOT 199835 SOS 91351 HAS SOPS 91351 HAS SOUS 62275 HAS SOUPS 62275 WITH SCORE 62366.351
AT ITER 401 NEW BEST:: SOT 199837 SOS 91124 HAS SOPS 91124 HAS SOUS 62187 HAS SOUPS 62187 WITH SCORE 62278.124
AT ITER 405 NEW BEST:: SOT 199837 SOS 90976 HAS SOPS 90976 HAS SOUS 62039 HAS SOUPS 62039 WITH SCORE 62129.976
AT ITER 409 NEW BEST:: SOT 199931 SOS 91070 HAS SOPS 91070 HAS SOUS 62029 HAS SOUPS 62029 WITH SCORE 62120.07
AT ITER 415 NEW BEST:: SOT 199931 SOS 91011 HAS SOPS 91011 HAS SOUS 62029 HAS SOUPS 62029 WITH SCORE 62120.011
AT ITER 417 NEW BEST:: SOT 199931 SOS 90853 HAS SOPS 90853 HAS SOUS 62029 HAS SOUPS 62029 WITH SCORE 62119.853
AT ITER 418 NEW BEST:: SOT 199881 SOS 90893 HAS SOPS 90893 HAS SOUS 61979 HAS SOUPS 61979 WITH SCORE 62069.893
AT ITER 424 NEW BEST:: SOT 199497 SOS 90577 HAS SOPS 90577 HAS SOUS 61663 HAS SOUPS 61663 WITH SCORE 61753.577
AT ITER 427 NEW BEST:: SOT 199470 SOS 90496 HAS SOPS 90496 HAS SOUS 61609 HAS SOUPS 61609 WITH SCORE 61699.496
AT ITER 436 NEW BEST:: SOT 199531 SOS 90411 HAS SOPS 90411 HAS SOUS 61608 HAS SOUPS 61608 WITH SCORE 61698.411
AT ITER 440 NEW BEST:: SOT 199565 SOS 90479 HAS SOPS 90479 HAS SOUS 61419 HAS SOUPS 61419 WITH SCORE 61509.479
AT ITER 447 NEW BEST:: SOT 199565 SOS 90439 HAS SOPS 90439 HAS SOUS 61379 HAS SOUPS 61379 WITH SCORE 61469.439
AT ITER 454 NEW BEST:: SOT 199499 SOS 89090 HAS SOPS 89090 HAS SOUS 61144 HAS SOUPS 61144 WITH SCORE 61233.09
AT ITER 456 NEW BEST:: SOT 199499 SOS 89028 HAS SOPS 89028 HAS SOUS 61020 HAS SOUPS 61020 WITH SCORE 61109.028
AT ITER 463 NEW BEST:: SOT 199499 SOS 88868 HAS SOPS 88868 HAS SOUS 61020 HAS SOUPS 61020 WITH SCORE 61108.868
AT ITER 470 NEW BEST:: SOT 199384 SOS 88966 HAS SOPS 88966 HAS SOUS 60905 HAS SOUPS 60905 WITH SCORE 60993.966
AT ITER 477 NEW BEST:: SOT 199468 SOS 88714 HAS SOPS 88714 HAS SOUS 60880 HAS SOUPS 60880 WITH SCORE 60968.714
AT ITER 480 NEW BEST:: SOT 198818 SOS 88506 HAS SOPS 88506 HAS SOUS 60503 HAS SOUPS 60503 WITH SCORE 60591.506
AT ITER 484 NEW BEST:: SOT 198787 SOS 88444 HAS SOPS 88444 HAS SOUS 60389 HAS SOUPS 60389 WITH SCORE 60477.444
AT ITER 505 NEW BEST:: SOT 198787 SOS 88361 HAS SOPS 88361 HAS SOUS 60306 HAS SOUPS 60306 WITH SCORE 60394.361
AT ITER 508 NEW BEST:: SOT 198654 SOS 87981 HAS SOPS 87981 HAS SOUS 59892 HAS SOUPS 59892 WITH SCORE 59979.981
AT ITER 511 NEW BEST:: SOT 198654 SOS 87981 HAS SOPS 87981 HAS SOUS 59877 HAS SOUPS 59877 WITH SCORE 59964.981
AT ITER 517 NEW BEST:: SOT 198538 SOS 87633 HAS SOPS 87633 HAS SOUS 59645 HAS SOUPS 59645 WITH SCORE 59732.633
AT ITER 520 NEW BEST:: SOT 198359 SOS 87604 HAS SOPS 87604 HAS SOUS 59619 HAS SOUPS 59619 WITH SCORE 59706.604
AT ITER 521 NEW BEST:: SOT 198334 SOS 87579 HAS SOPS 87579 HAS SOUS 59594 HAS SOUPS 59594 WITH SCORE 59681.579
AT ITER 524 NEW BEST:: SOT 198334 SOS 87532 HAS SOPS 87532 HAS SOUS 59594 HAS SOUPS 59594 WITH SCORE 59681.532
AT ITER 525 NEW BEST:: SOT 198251 SOS 87308 HAS SOPS 87308 HAS SOUS 59504 HAS SOUPS 59504 WITH SCORE 59591.308
AT ITER 537 NEW BEST:: SOT 198061 SOS 86928 HAS SOPS 86928 HAS SOUS 59128 HAS SOUPS 59128 WITH SCORE 59214.928
AT ITER 546 NEW BEST:: SOT 198061 SOS 86928 HAS SOPS 86928 HAS SOUS 59078 HAS SOUPS 59078 WITH SCORE 59164.928
AT ITER 550 NEW BEST:: SOT 197985 SOS 86776 HAS SOPS 86776 HAS SOUS 59002 HAS SOUPS 59002 WITH SCORE 59088.776
AT ITER 554 NEW BEST:: SOT 197941 SOS 86644 HAS SOPS 86644 HAS SOUS 58914 HAS SOUPS 58914 WITH SCORE 59000.644
AT ITER 556 NEW BEST:: SOT 197941 SOS 86553 HAS SOPS 86553 HAS SOUS 58914 HAS SOUPS 58914 WITH SCORE 59000.553
AT ITER 558 NEW BEST:: SOT 197937 SOS 86549 HAS SOPS 86549 HAS SOUS 58912 HAS SOUPS 58912 WITH SCORE 58998.549
AT ITER 560 NEW BEST:: SOT 197951 SOS 86761 HAS SOPS 86761 HAS SOUS 58756 HAS SOUPS 58756 WITH SCORE 58842.761
AT ITER 567 NEW BEST:: SOT 198012 SOS 86777 HAS SOPS 86777 HAS SOUS 58710 HAS SOUPS 58710 WITH SCORE 58796.777
AT ITER 571 NEW BEST:: SOT 197719 SOS 86430 HAS SOPS 86430 HAS SOUS 58224 HAS SOUPS 58224 WITH SCORE 58310.43
AT ITER 579 NEW BEST:: SOT 197578 SOS 86295 HAS SOPS 86295 HAS SOUS 58089 HAS SOUPS 58089 WITH SCORE 58175.295
AT ITER 581 NEW BEST:: SOT 197578 SOS 86346 HAS SOPS 86346 HAS SOUS 58038 HAS SOUPS 58038 WITH SCORE 58124.346
AT ITER 585 NEW BEST:: SOT 197462 SOS 86224 HAS SOPS 86224 HAS SOUS 58026 HAS SOUPS 58026 WITH SCORE 58112.224
AT ITER 600 NEW BEST:: SOT 197454 SOS 85972 HAS SOPS 85972 HAS SOUS 57796 HAS SOUPS 57796 WITH SCORE 57881.972
AT ITER 601 NEW BEST:: SOT 197438 SOS 85968 HAS SOPS 85968 HAS SOUS 57786 HAS SOUPS 57786 WITH SCORE 57871.968
AT ITER 618 NEW BEST:: SOT 197438 SOS 85855 HAS SOPS 85855 HAS SOUS 57673 HAS SOUPS 57673 WITH SCORE 57758.855
AT ITER 619 NEW BEST:: SOT 197454 SOS 85912 HAS SOPS 85912 HAS SOUS 57636 HAS SOUPS 57636 WITH SCORE 57721.912
AT ITER 621 NEW BEST:: SOT 197454 SOS 85878 HAS SOPS 85878 HAS SOUS 57636 HAS SOUPS 57636 WITH SCORE 57721.878
AT ITER 637 NEW BEST:: SOT 197453 SOS 85865 HAS SOPS 85865 HAS SOUS 57635 HAS SOUPS 57635 WITH SCORE 57720.865
AT ITER 638 NEW BEST:: SOT 197399 SOS 85877 HAS SOPS 85877 HAS SOUS 57547 HAS SOUPS 57547 WITH SCORE 57632.877
AT ITER 640 NEW BEST:: SOT 197417 SOS 85913 HAS SOPS 85913 HAS SOUS 57537 HAS SOUPS 57537 WITH SCORE 57622.913
AT ITER 643 NEW BEST:: SOT 197325 SOS 85821 HAS SOPS 85821 HAS SOUS 57537 HAS SOUPS 57537 WITH SCORE 57622.821
AT ITER 644 NEW BEST:: SOT 197320 SOS 85800 HAS SOPS 85800 HAS SOUS 57521 HAS SOUPS 57521 WITH SCORE 57606.8
AT ITER 646 NEW BEST:: SOT 197314 SOS 85791 HAS SOPS 85791 HAS SOUS 57512 HAS SOUPS 57512 WITH SCORE 57597.791
AT ITER 649 NEW BEST:: SOT 197227 SOS 85704 HAS SOPS 85704 HAS SOUS 57427 HAS SOUPS 57427 WITH SCORE 57512.704
AT ITER 650 NEW BEST:: SOT 197182 SOS 85110 HAS SOPS 85110 HAS SOUS 57382 HAS SOUPS 57382 WITH SCORE 57467.11
AT ITER 652 NEW BEST:: SOT 196949 SOS 84877 HAS SOPS 84877 HAS SOUS 57149 HAS SOUPS 57149 WITH SCORE 57233.877
AT ITER 653 NEW BEST:: SOT 196920 SOS 84819 HAS SOPS 84819 HAS SOUS 57120 HAS SOUPS 57120 WITH SCORE 57204.819
AT ITER 656 NEW BEST:: SOT 196961 SOS 84860 HAS SOPS 84860 HAS SOUS 57107 HAS SOUPS 57107 WITH SCORE 57191.86
AT ITER 661 NEW BEST:: SOT 196946 SOS 84751 HAS SOPS 84751 HAS SOUS 56998 HAS SOUPS 56998 WITH SCORE 57082.751
AT ITER 667 NEW BEST:: SOT 196888 SOS 84635 HAS SOPS 84635 HAS SOUS 56867 HAS SOUPS 56867 WITH SCORE 56951.635
AT ITER 669 NEW BEST:: SOT 196764 SOS 84540 HAS SOPS 84540 HAS SOUS 56743 HAS SOUPS 56743 WITH SCORE 56827.54
AT ITER 674 NEW BEST:: SOT 196663 SOS 84449 HAS SOPS 84449 HAS SOUS 56651 HAS SOUPS 56651 WITH SCORE 56735.449
AT ITER 675 NEW BEST:: SOT 196663 SOS 84393 HAS SOPS 84393 HAS SOUS 56651 HAS SOUPS 56651 WITH SCORE 56735.393
AT ITER 680 NEW BEST:: SOT 196663 SOS 84392 HAS SOPS 84392 HAS SOUS 56650 HAS SOUPS 56650 WITH SCORE 56734.392
AT ITER 682 NEW BEST:: SOT 196658 SOS 84382 HAS SOPS 84382 HAS SOUS 56549 HAS SOUPS 56549 WITH SCORE 56633.382
AT ITER 692 NEW BEST:: SOT 196688 SOS 84168 HAS SOPS 84168 HAS SOUS 56458 HAS SOUPS 56458 WITH SCORE 56542.168
AT ITER 695 NEW BEST:: SOT 196688 SOS 84168 HAS SOPS 84168 HAS SOUS 56451 HAS SOUPS 56451 WITH SCORE 56535.168
AT ITER 697 NEW BEST:: SOT 196686 SOS 84166 HAS SOPS 84166 HAS SOUS 56449 HAS SOUPS 56449 WITH SCORE 56533.166
AT ITER 701 NEW BEST:: SOT 196613 SOS 84124 HAS SOPS 84124 HAS SOUS 56376 HAS SOUPS 56376 WITH SCORE 56460.124
AT ITER 723 NEW BEST:: SOT 196544 SOS 83653 HAS SOPS 83653 HAS SOUS 56310 HAS SOUPS 56310 WITH SCORE 56393.653
AT ITER 727 NEW BEST:: SOT 196499 SOS 83465 HAS SOPS 83465 HAS SOUS 56220 HAS SOUPS 56220 WITH SCORE 56303.465
AT ITER 728 NEW BEST:: SOT 196459 SOS 83345 HAS SOPS 83345 HAS SOUS 56140 HAS SOUPS 56140 WITH SCORE 56223.345
AT ITER 731 NEW BEST:: SOT 196429 SOS 83358 HAS SOPS 83358 HAS SOUS 56111 HAS SOUPS 56111 WITH SCORE 56194.358
AT ITER 743 NEW BEST:: SOT 196429 SOS 83358 HAS SOPS 83358 HAS SOUS 56021 HAS SOUPS 56021 WITH SCORE 56104.358
AT ITER 746 NEW BEST:: SOT 196372 SOS 83244 HAS SOPS 83244 HAS SOUS 55964 HAS SOUPS 55964 WITH SCORE 56047.244
AT ITER 748 NEW BEST:: SOT 196331 SOS 83220 HAS SOPS 83220 HAS SOUS 55900 HAS SOUPS 55900 WITH SCORE 55983.22
AT ITER 757 NEW BEST:: SOT 196276 SOS 83110 HAS SOPS 83110 HAS SOUS 55845 HAS SOUPS 55845 WITH SCORE 55928.11
AT ITER 763 NEW BEST:: SOT 195809 SOS 85047 HAS SOPS 85047 HAS SOUS 55555 HAS SOUPS 55555 WITH SCORE 55640.047
AT ITER 765 NEW BEST:: SOT 195844 SOS 84761 HAS SOPS 84761 HAS SOUS 55532 HAS SOUPS 55532 WITH SCORE 55616.761
AT ITER 768 NEW BEST:: SOT 195844 SOS 84630 HAS SOPS 84630 HAS SOUS 55401 HAS SOUPS 55401 WITH SCORE 55485.63
AT ITER 780 NEW BEST:: SOT 195853 SOS 84804 HAS SOPS 84804 HAS SOUS 55378 HAS SOUPS 55378 WITH SCORE 55462.804
AT ITER 797 NEW BEST:: SOT 195869 SOS 84634 HAS SOPS 84634 HAS SOUS 55348 HAS SOUPS 55348 WITH SCORE 55432.634
AT ITER 799 NEW BEST:: SOT 195641 SOS 85261 HAS SOPS 85261 HAS SOUS 55218 HAS SOUPS 55218 WITH SCORE 55303.261
AT ITER 801 NEW BEST:: SOT 195594 SOS 85102 HAS SOPS 85102 HAS SOUS 55068 HAS SOUPS 55068 WITH SCORE 55153.102
AT ITER 805 NEW BEST:: SOT 195570 SOS 85045 HAS SOPS 85045 HAS SOUS 54987 HAS SOUPS 54987 WITH SCORE 55072.045
AT ITER 806 NEW BEST:: SOT 195422 SOS 85622 HAS SOPS 85622 HAS SOUS 54949 HAS SOUPS 54949 WITH SCORE 55034.622
AT ITER 814 NEW BEST:: SOT 195390 SOS 85558 HAS SOPS 85558 HAS SOUS 54944 HAS SOUPS 54944 WITH SCORE 55029.558
AT ITER 816 NEW BEST:: SOT 195390 SOS 85558 HAS SOPS 85558 HAS SOUS 54873 HAS SOUPS 54873 WITH SCORE 54958.558
AT ITER 817 NEW BEST:: SOT 195315 SOS 85495 HAS SOPS 85495 HAS SOUS 54802 HAS SOUPS 54802 WITH SCORE 54887.495
AT ITER 829 NEW BEST:: SOT 195354 SOS 85534 HAS SOPS 85534 HAS SOUS 54767 HAS SOUPS 54767 WITH SCORE 54852.534
AT ITER 830 NEW BEST:: SOT 195345 SOS 85458 HAS SOPS 85458 HAS SOUS 54691 HAS SOUPS 54691 WITH SCORE 54776.458
AT ITER 831 NEW BEST:: SOT 195345 SOS 85458 HAS SOPS 85458 HAS SOUS 54652 HAS SOUPS 54652 WITH SCORE 54737.458
AT ITER 848 NEW BEST:: SOT 195345 SOS 85118 HAS SOPS 85118 HAS SOUS 54652 HAS SOUPS 54652 WITH SCORE 54737.118
AT ITER 849 NEW BEST:: SOT 195132 SOS 84896 HAS SOPS 84896 HAS SOUS 54630 HAS SOUPS 54630 WITH SCORE 54714.896
AT ITER 853 NEW BEST:: SOT 195218 SOS 84958 HAS SOPS 84958 HAS SOUS 54606 HAS SOUPS 54606 WITH SCORE 54690.958
AT ITER 879 NEW BEST:: SOT 195242 SOS 85123 HAS SOPS 85123 HAS SOUS 54513 HAS SOUPS 54513 WITH SCORE 54598.123
AT ITER 880 NEW BEST:: SOT 195228 SOS 85109 HAS SOPS 85109 HAS SOUS 54499 HAS SOUPS 54499 WITH SCORE 54584.109
AT ITER 882 NEW BEST:: SOT 195238 SOS 85129 HAS SOPS 85129 HAS SOUS 54416 HAS SOUPS 54416 WITH SCORE 54501.129
AT ITER 886 NEW BEST:: SOT 195231 SOS 85115 HAS SOPS 85115 HAS SOUS 54409 HAS SOUPS 54409 WITH SCORE 54494.115
AT ITER 889 NEW BEST:: SOT 195128 SOS 85012 HAS SOPS 85012 HAS SOUS 54406 HAS SOUPS 54406 WITH SCORE 54491.012
AT ITER 894 NEW BEST:: SOT 195128 SOS 84999 HAS SOPS 84999 HAS SOUS 54393 HAS SOUPS 54393 WITH SCORE 54477.999
AT ITER 899 NEW BEST:: SOT 195128 SOS 84999 HAS SOPS 84999 HAS SOUS 54246 HAS SOUPS 54246 WITH SCORE 54330.999
AT ITER 900 NEW BEST:: SOT 195063 SOS 84869 HAS SOPS 84869 HAS SOUS 54102 HAS SOUPS 54102 WITH SCORE 54186.869
AT ITER 903 NEW BEST:: SOT 195063 SOS 84869 HAS SOPS 84869 HAS SOUS 54088 HAS SOUPS 54088 WITH SCORE 54172.869
AT ITER 912 NEW BEST:: SOT 195063 SOS 84869 HAS SOPS 84869 HAS SOUS 54066 HAS SOUPS 54066 WITH SCORE 54150.869
AT ITER 914 NEW BEST:: SOT 195063 SOS 84859 HAS SOPS 84859 HAS SOUS 53848 HAS SOUPS 53848 WITH SCORE 53932.859
AT ITER 919 NEW BEST:: SOT 195063 SOS 84842 HAS SOPS 84842 HAS SOUS 53848 HAS SOUPS 53848 WITH SCORE 53932.842
AT ITER 920 NEW BEST:: SOT 194990 SOS 84737 HAS SOPS 84737 HAS SOUS 53707 HAS SOUPS 53707 WITH SCORE 53791.737
AT ITER 921 NEW BEST:: SOT 194898 SOS 84553 HAS SOPS 84553 HAS SOUS 53668 HAS SOUPS 53668 WITH SCORE 53752.553
AT ITER 928 NEW BEST:: SOT 194898 SOS 84553 HAS SOPS 84553 HAS SOUS 53612 HAS SOUPS 53612 WITH SCORE 53696.553
AT ITER 931 NEW BEST:: SOT 194897 SOS 84551 HAS SOPS 84551 HAS SOUS 53610 HAS SOUPS 53610 WITH SCORE 53694.551
AT ITER 932 NEW BEST:: SOT 194841 SOS 84321 HAS SOPS 84321 HAS SOUS 53530 HAS SOUPS 53530 WITH SCORE 53614.321
AT ITER 934 NEW BEST:: SOT 194831 SOS 84301 HAS SOPS 84301 HAS SOUS 53520 HAS SOUPS 53520 WITH SCORE 53604.301
AT ITER 936 NEW BEST:: SOT 194750 SOS 83829 HAS SOPS 83829 HAS SOUS 53129 HAS SOUPS 53129 WITH SCORE 53212.829
AT ITER 951 NEW BEST:: SOT 194678 SOS 83685 HAS SOPS 83685 HAS SOUS 53099 HAS SOUPS 53099 WITH SCORE 53182.685
AT ITER 953 NEW BEST:: SOT 194678 SOS 83663 HAS SOPS 83663 HAS SOUS 53099 HAS SOUPS 53099 WITH SCORE 53182.663
AT ITER 960 NEW BEST:: SOT 194678 SOS 83615 HAS SOPS 83615 HAS SOUS 53075 HAS SOUPS 53075 WITH SCORE 53158.615
AT ITER 962 NEW BEST:: SOT 194645 SOS 83793 HAS SOPS 83793 HAS SOUS 53008 HAS SOUPS 53008 WITH SCORE 53091.793
AT ITER 965 NEW BEST:: SOT 194464 SOS 83707 HAS SOPS 83707 HAS SOUS 53000 HAS SOUPS 53000 WITH SCORE 53083.707
AT ITER 974 NEW BEST:: SOT 194446 SOS 83615 HAS SOPS 83615 HAS SOUS 52963 HAS SOUPS 52963 WITH SCORE 53046.615
AT ITER 984 NEW BEST:: SOT 194446 SOS 83615 HAS SOPS 83615 HAS SOUS 52905 HAS SOUPS 52905 WITH SCORE 52988.615
AT ITER 989 NEW BEST:: SOT 194442 SOS 83595 HAS SOPS 83595 HAS SOUS 52901 HAS SOUPS 52901 WITH SCORE 52984.595
AT ITER 997 NEW BEST:: SOT 194442 SOS 83564 HAS SOPS 83564 HAS SOUS 52901 HAS SOUPS 52901 WITH SCORE 52984.564
AT ITER 1010 NEW BEST:: SOT 194400 SOS 83480 HAS SOPS 83480 HAS SOUS 52800 HAS SOUPS 52800 WITH SCORE 52883.48
AT ITER 1015 NEW BEST:: SOT 194358 SOS 83360 HAS SOPS 83360 HAS SOUS 52680 HAS SOUPS 52680 WITH SCORE 52763.36
AT ITER 1030 NEW BEST:: SOT 194357 SOS 83308 HAS SOPS 83308 HAS SOUS 52678 HAS SOUPS 52678 WITH SCORE 52761.308
AT ITER 1033 NEW BEST:: SOT 194357 SOS 83209 HAS SOPS 83209 HAS SOUS 52579 HAS SOUPS 52579 WITH SCORE 52662.209
AT ITER 1038 NEW BEST:: SOT 194347 SOS 83225 HAS SOPS 83225 HAS SOUS 52569 HAS SOUPS 52569 WITH SCORE 52652.225
AT ITER 1043 NEW BEST:: SOT 194338 SOS 83207 HAS SOPS 83207 HAS SOUS 52560 HAS SOUPS 52560 WITH SCORE 52643.207
AT ITER 1057 NEW BEST:: SOT 194328 SOS 83167 HAS SOPS 83167 HAS SOUS 52530 HAS SOUPS 52530 WITH SCORE 52613.167
AT ITER 1067 NEW BEST:: SOT 194372 SOS 83096 HAS SOPS 83096 HAS SOUS 52415 HAS SOUPS 52415 WITH SCORE 52498.096
AT ITER 1074 NEW BEST:: SOT 194294 SOS 82940 HAS SOPS 82940 HAS SOUS 52304 HAS SOUPS 52304 WITH SCORE 52386.94
AT ITER 1077 NEW BEST:: SOT 194270 SOS 82948 HAS SOPS 82948 HAS SOUS 52297 HAS SOUPS 52297 WITH SCORE 52379.948
AT ITER 1082 NEW BEST:: SOT 194068 SOS 83024 HAS SOPS 83024 HAS SOUS 52226 HAS SOUPS 52226 WITH SCORE 52309.024
AT ITER 1089 NEW BEST:: SOT 194066 SOS 83007 HAS SOPS 83007 HAS SOUS 52194 HAS SOUPS 52194 WITH SCORE 52277.007
AT ITER 1090 NEW BEST:: SOT 194066 SOS 83007 HAS SOPS 83007 HAS SOUS 52171 HAS SOUPS 52171 WITH SCORE 52254.007
AT ITER 1112 NEW BEST:: SOT 194045 SOS 82965 HAS SOPS 82965 HAS SOUS 52129 HAS SOUPS 52129 WITH SCORE 52211.965
AT ITER 1127 NEW BEST:: SOT 194045 SOS 82886 HAS SOPS 82886 HAS SOUS 52129 HAS SOUPS 52129 WITH SCORE 52211.886
AT ITER 1148 NEW BEST:: SOT 194031 SOS 82858 HAS SOPS 82858 HAS SOUS 52101 HAS SOUPS 52101 WITH SCORE 52183.858
AT ITER 1163 NEW BEST:: SOT 194106 SOS 82528 HAS SOPS 82528 HAS SOUS 51906 HAS SOUPS 51906 WITH SCORE 51988.528
AT ITER 1166 NEW BEST:: SOT 194047 SOS 82410 HAS SOPS 82410 HAS SOUS 51795 HAS SOUPS 51795 WITH SCORE 51877.41
AT ITER 1169 NEW BEST:: SOT 194038 SOS 82025 HAS SOPS 82025 HAS SOUS 51733 HAS SOUPS 51733 WITH SCORE 51815.025
AT ITER 1192 NEW BEST:: SOT 193815 SOS 81627 HAS SOPS 81627 HAS SOUS 51537 HAS SOUPS 51537 WITH SCORE 51618.627
AT ITER 1193 NEW BEST:: SOT 193752 SOS 81527 HAS SOPS 81527 HAS SOUS 51529 HAS SOUPS 51529 WITH SCORE 51610.527
AT ITER 1194 NEW BEST:: SOT 193732 SOS 81487 HAS SOPS 81487 HAS SOUS 51427 HAS SOUPS 51427 WITH SCORE 51508.487
AT ITER 1201 NEW BEST:: SOT 193667 SOS 81052 HAS SOPS 81052 HAS SOUS 51118 HAS SOUPS 51118 WITH SCORE 51199.052
AT ITER 1205 NEW BEST:: SOT 193647 SOS 81032 HAS SOPS 81032 HAS SOUS 51098 HAS SOUPS 51098 WITH SCORE 51179.032
AT ITER 1207 NEW BEST:: SOT 193647 SOS 80840 HAS SOPS 80840 HAS SOUS 51067 HAS SOUPS 51067 WITH SCORE 51147.84
AT ITER 1208 NEW BEST:: SOT 193715 SOS 80708 HAS SOPS 80708 HAS SOUS 51016 HAS SOUPS 51016 WITH SCORE 51096.708
AT ITER 1214 NEW BEST:: SOT 193705 SOS 80698 HAS SOPS 80698 HAS SOUS 51015 HAS SOUPS 51015 WITH SCORE 51095.698
AT ITER 1215 NEW BEST:: SOT 193728 SOS 80692 HAS SOPS 80692 HAS SOUS 51010 HAS SOUPS 51010 WITH SCORE 51090.692
AT ITER 1217 NEW BEST:: SOT 193692 SOS 80562 HAS SOPS 80562 HAS SOUS 50880 HAS SOUPS 50880 WITH SCORE 50960.562
AT ITER 1219 NEW BEST:: SOT 193668 SOS 80514 HAS SOPS 80514 HAS SOUS 50856 HAS SOUPS 50856 WITH SCORE 50936.514
AT ITER 1226 NEW BEST:: SOT 193685 SOS 80489 HAS SOPS 80489 HAS SOUS 50831 HAS SOUPS 50831 WITH SCORE 50911.489
AT ITER 1238 NEW BEST:: SOT 193685 SOS 80347 HAS SOPS 80347 HAS SOUS 50831 HAS SOUPS 50831 WITH SCORE 50911.347
AT ITER 1243 NEW BEST:: SOT 193685 SOS 80318 HAS SOPS 80318 HAS SOUS 50802 HAS SOUPS 50802 WITH SCORE 50882.318
AT ITER 1247 NEW BEST:: SOT 193671 SOS 80304 HAS SOPS 80304 HAS SOUS 50788 HAS SOUPS 50788 WITH SCORE 50868.304
AT ITER 1255 NEW BEST:: SOT 193689 SOS 80293 HAS SOPS 80293 HAS SOUS 50777 HAS SOUPS 50777 WITH SCORE 50857.293
AT ITER 1261 NEW BEST:: SOT 193689 SOS 80279 HAS SOPS 80279 HAS SOUS 50763 HAS SOUPS 50763 WITH SCORE 50843.279
AT ITER 1274 NEW BEST:: SOT 193610 SOS 80003 HAS SOPS 80003 HAS SOUS 50589 HAS SOUPS 50589 WITH SCORE 50669.003
AT ITER 1281 NEW BEST:: SOT 193610 SOS 79969 HAS SOPS 79969 HAS SOUS 50589 HAS SOUPS 50589 WITH SCORE 50668.969
AT ITER 1292 NEW BEST:: SOT 193612 SOS 79963 HAS SOPS 79963 HAS SOUS 50512 HAS SOUPS 50512 WITH SCORE 50591.963
AT ITER 1301 NEW BEST:: SOT 193541 SOS 79828 HAS SOPS 79828 HAS SOUS 50441 HAS SOUPS 50441 WITH SCORE 50520.828
AT ITER 1306 NEW BEST:: SOT 193467 SOS 79772 HAS SOPS 79772 HAS SOUS 50290 HAS SOUPS 50290 WITH SCORE 50369.772
AT ITER 1316 NEW BEST:: SOT 193396 SOS 79698 HAS SOPS 79698 HAS SOUS 50250 HAS SOUPS 50250 WITH SCORE 50329.698
AT ITER 1342 NEW BEST:: SOT 193390 SOS 79598 HAS SOPS 79598 HAS SOUS 50156 HAS SOUPS 50156 WITH SCORE 50235.598
AT ITER 1343 NEW BEST:: SOT 193449 SOS 79677 HAS SOPS 79677 HAS SOUS 50107 HAS SOUPS 50107 WITH SCORE 50186.677
AT ITER 1359 NEW BEST:: SOT 193370 SOS 79598 HAS SOPS 79598 HAS SOUS 50028 HAS SOUPS 50028 WITH SCORE 50107.598
AT ITER 1363 NEW BEST:: SOT 193352 SOS 79580 HAS SOPS 79580 HAS SOUS 50010 HAS SOUPS 50010 WITH SCORE 50089.58
AT ITER 1367 NEW BEST:: SOT 193346 SOS 79574 HAS SOPS 79574 HAS SOUS 50004 HAS SOUPS 50004 WITH SCORE 50083.574
AT ITER 1380 NEW BEST:: SOT 193346 SOS 79567 HAS SOPS 79567 HAS SOUS 50004 HAS SOUPS 50004 WITH SCORE 50083.567
AT ITER 1387 NEW BEST:: SOT 193338 SOS 79559 HAS SOPS 79559 HAS SOUS 49991 HAS SOUPS 49991 WITH SCORE 50070.559
AT ITER 1388 NEW BEST:: SOT 193338 SOS 79559 HAS SOPS 79559 HAS SOUS 49977 HAS SOUPS 49977 WITH SCORE 50056.559
AT ITER 1415 NEW BEST:: SOT 193277 SOS 80223 HAS SOPS 80223 HAS SOUS 49948 HAS SOUPS 49948 WITH SCORE 50028.223
AT ITER 1416 NEW BEST:: SOT 193173 SOS 80129 HAS SOPS 80129 HAS SOUS 49854 HAS SOUPS 49854 WITH SCORE 49934.129
AT ITER 1426 NEW BEST:: SOT 193154 SOS 80110 HAS SOPS 80110 HAS SOUS 49835 HAS SOUPS 49835 WITH SCORE 49915.11
AT ITER 1433 NEW BEST:: SOT 193225 SOS 80163 HAS SOPS 80163 HAS SOUS 49817 HAS SOUPS 49817 WITH SCORE 49897.163
AT ITER 1438 NEW BEST:: SOT 193225 SOS 80163 HAS SOPS 80163 HAS SOUS 49776 HAS SOUPS 49776 WITH SCORE 49856.163
AT ITER 1450 NEW BEST:: SOT 193146 SOS 79937 HAS SOPS 79937 HAS SOUS 49726 HAS SOUPS 49726 WITH SCORE 49805.937
AT ITER 1457 NEW BEST:: SOT 193137 SOS 79919 HAS SOPS 79919 HAS SOUS 49708 HAS SOUPS 49708 WITH SCORE 49787.919
AT ITER 1468 NEW BEST:: SOT 193098 SOS 79880 HAS SOPS 79880 HAS SOUS 49669 HAS SOUPS 49669 WITH SCORE 49748.88
AT ITER 1480 NEW BEST:: SOT 193098 SOS 79866 HAS SOPS 79866 HAS SOUS 49641 HAS SOUPS 49641 WITH SCORE 49720.866
AT ITER 1502 NEW BEST:: SOT 192945 SOS 79654 HAS SOPS 79654 HAS SOUS 49523 HAS SOUPS 49523 WITH SCORE 49602.654
AT ITER 1504 NEW BEST:: SOT 193344 SOS 79361 HAS SOPS 79361 HAS SOUS 49438 HAS SOUPS 49438 WITH SCORE 49517.361
AT ITER 1516 NEW BEST:: SOT 193323 SOS 79396 HAS SOPS 79396 HAS SOUS 49396 HAS SOUPS 49396 WITH SCORE 49475.396
AT ITER 1568 NEW BEST:: SOT 193221 SOS 79192 HAS SOPS 79192 HAS SOUS 49294 HAS SOUPS 49294 WITH SCORE 49373.192
AT ITER 1577 NEW BEST:: SOT 193150 SOS 79311 HAS SOPS 79311 HAS SOUS 49259 HAS SOUPS 49259 WITH SCORE 49338.311
AT ITER 1578 NEW BEST:: SOT 193150 SOS 79290 HAS SOPS 79290 HAS SOUS 49217 HAS SOUPS 49217 WITH SCORE 49296.29
AT ITER 1584 NEW BEST:: SOT 193173 SOS 79218 HAS SOPS 79218 HAS SOUS 49202 HAS SOUPS 49202 WITH SCORE 49281.218
AT ITER 1587 NEW BEST:: SOT 193045 SOS 79090 HAS SOPS 79090 HAS SOUS 49202 HAS SOUPS 49202 WITH SCORE 49281.09
AT ITER 1590 NEW BEST:: SOT 193044 SOS 79097 HAS SOPS 79097 HAS SOUS 49200 HAS SOUPS 49200 WITH SCORE 49279.097
AT ITER 1593 NEW BEST:: SOT 192909 SOS 78827 HAS SOPS 78827 HAS SOUS 49065 HAS SOUPS 49065 WITH SCORE 49143.827
AT ITER 1601 NEW BEST:: SOT 192889 SOS 78807 HAS SOPS 78807 HAS SOUS 49045 HAS SOUPS 49045 WITH SCORE 49123.807
AT ITER 1603 NEW BEST:: SOT 192889 SOS 78003 HAS SOPS 78003 HAS SOUS 49024 HAS SOUPS 49024 WITH SCORE 49102.003
AT ITER 1604 NEW BEST:: SOT 192857 SOS 77939 HAS SOPS 77939 HAS SOUS 48978 HAS SOUPS 48978 WITH SCORE 49055.939
AT ITER 1617 NEW BEST:: SOT 192857 SOS 77939 HAS SOPS 77939 HAS SOUS 48971 HAS SOUPS 48971 WITH SCORE 49048.939
AT ITER 1619 NEW BEST:: SOT 192892 SOS 77920 HAS SOPS 77920 HAS SOUS 48952 HAS SOUPS 48952 WITH SCORE 49029.92
AT ITER 1622 NEW BEST:: SOT 192923 SOS 77982 HAS SOPS 77982 HAS SOUS 48930 HAS SOUPS 48930 WITH SCORE 49007.982
AT ITER 1623 NEW BEST:: SOT 192985 SOS 77925 HAS SOPS 77925 HAS SOUS 48873 HAS SOUPS 48873 WITH SCORE 48950.925
AT ITER 1632 NEW BEST:: SOT 192872 SOS 77699 HAS SOPS 77699 HAS SOUS 48623 HAS SOUPS 48623 WITH SCORE 48700.699
AT ITER 1644 NEW BEST:: SOT 192867 SOS 77664 HAS SOPS 77664 HAS SOUS 48618 HAS SOUPS 48618 WITH SCORE 48695.664
AT ITER 1647 NEW BEST:: SOT 192857 SOS 77654 HAS SOPS 77654 HAS SOUS 48585 HAS SOUPS 48585 WITH SCORE 48662.654
AT ITER 1658 NEW BEST:: SOT 192830 SOS 77596 HAS SOPS 77596 HAS SOUS 48558 HAS SOUPS 48558 WITH SCORE 48635.596
AT ITER 1682 NEW BEST:: SOT 192829 SOS 77595 HAS SOPS 77595 HAS SOUS 48556 HAS SOUPS 48556 WITH SCORE 48633.595
AT ITER 1692 NEW BEST:: SOT 192783 SOS 77503 HAS SOPS 77503 HAS SOUS 48530 HAS SOUPS 48530 WITH SCORE 48607.503
AT ITER 1715 NEW BEST:: SOT 192770 SOS 77490 HAS SOPS 77490 HAS SOUS 48517 HAS SOUPS 48517 WITH SCORE 48594.49
AT ITER 1741 NEW BEST:: SOT 192760 SOS 77239 HAS SOPS 77239 HAS SOUS 48469 HAS SOUPS 48469 WITH SCORE 48546.239
AT ITER 1751 NEW BEST:: SOT 192714 SOS 77193 HAS SOPS 77193 HAS SOUS 48412 HAS SOUPS 48412 WITH SCORE 48489.193
AT ITER 1758 NEW BEST:: SOT 192619 SOS 77003 HAS SOPS 77003 HAS SOUS 48399 HAS SOUPS 48399 WITH SCORE 48476.003
AT ITER 1764 NEW BEST:: SOT 192589 SOS 76943 HAS SOPS 76943 HAS SOUS 48369 HAS SOUPS 48369 WITH SCORE 48445.943
AT ITER 1766 NEW BEST:: SOT 192589 SOS 76943 HAS SOPS 76943 HAS SOUS 48341 HAS SOUPS 48341 WITH SCORE 48417.943
AT ITER 1771 NEW BEST:: SOT 192546 SOS 76857 HAS SOPS 76857 HAS SOUS 48288 HAS SOUPS 48288 WITH SCORE 48364.857
AT ITER 1774 NEW BEST:: SOT 192532 SOS 76829 HAS SOPS 76829 HAS SOUS 48274 HAS SOUPS 48274 WITH SCORE 48350.829
AT ITER 1789 NEW BEST:: SOT 192545 SOS 76855 HAS SOPS 76855 HAS SOUS 48249 HAS SOUPS 48249 WITH SCORE 48325.855
AT ITER 1790 NEW BEST:: SOT 192452 SOS 77239 HAS SOPS 77239 HAS SOUS 48181 HAS SOUPS 48181 WITH SCORE 48258.239
AT ITER 1793 NEW BEST:: SOT 192449 SOS 77236 HAS SOPS 77236 HAS SOUS 48178 HAS SOUPS 48178 WITH SCORE 48255.236
AT ITER 1797 NEW BEST:: SOT 192449 SOS 77206 HAS SOPS 77206 HAS SOUS 48115 HAS SOUPS 48115 WITH SCORE 48192.206
AT ITER 1807 NEW BEST:: SOT 192393 SOS 77204 HAS SOPS 77204 HAS SOUS 48072 HAS SOUPS 48072 WITH SCORE 48149.204
AT ITER 1811 NEW BEST:: SOT 192393 SOS 77299 HAS SOPS 77299 HAS SOUS 47977 HAS SOUPS 47977 WITH SCORE 48054.299
AT ITER 1851 NEW BEST:: SOT 192421 SOS 77307 HAS SOPS 77307 HAS SOUS 47903 HAS SOUPS 47903 WITH SCORE 47980.307
AT ITER 1854 NEW BEST:: SOT 192392 SOS 77230 HAS SOPS 77230 HAS SOUS 47855 HAS SOUPS 47855 WITH SCORE 47932.23
AT ITER 1855 NEW BEST:: SOT 192457 SOS 76988 HAS SOPS 76988 HAS SOUS 47777 HAS SOUPS 47777 WITH SCORE 47853.988
AT ITER 1857 NEW BEST:: SOT 192368 SOS 76810 HAS SOPS 76810 HAS SOUS 47637 HAS SOUPS 47637 WITH SCORE 47713.81
AT ITER 1873 NEW BEST:: SOT 192348 SOS 76765 HAS SOPS 76765 HAS SOUS 47598 HAS SOUPS 47598 WITH SCORE 47674.765
AT ITER 1881 NEW BEST:: SOT 192311 SOS 76715 HAS SOPS 76715 HAS SOUS 47548 HAS SOUPS 47548 WITH SCORE 47624.715
AT ITER 1900 NEW BEST:: SOT 192153 SOS 76399 HAS SOPS 76399 HAS SOUS 47316 HAS SOUPS 47316 WITH SCORE 47392.399
AT ITER 1907 NEW BEST:: SOT 192150 SOS 76396 HAS SOPS 76396 HAS SOUS 47310 HAS SOUPS 47310 WITH SCORE 47386.396
AT ITER 1912 NEW BEST:: SOT 191808 SOS 76124 HAS SOPS 76124 HAS SOUS 46998 HAS SOUPS 46998 WITH SCORE 47074.124
AT ITER 1921 NEW BEST:: SOT 191740 SOS 75895 HAS SOPS 75895 HAS SOUS 46804 HAS SOUPS 46804 WITH SCORE 46879.895
AT ITER 1946 NEW BEST:: SOT 191729 SOS 75886 HAS SOPS 75886 HAS SOUS 46787 HAS SOUPS 46787 WITH SCORE 46862.886
AT ITER 1963 NEW BEST:: SOT 191807 SOS 75992 HAS SOPS 75992 HAS SOUS 46758 HAS SOUPS 46758 WITH SCORE 46833.992
AT ITER 1999 NEW BEST:: SOT 191790 SOS 75990 HAS SOPS 75990 HAS SOUS 46756 HAS SOUPS 46756 WITH SCORE 46831.99
AT ITER 2026 NEW BEST:: SOT 191790 SOS 75990 HAS SOPS 75990 HAS SOUS 46694 HAS SOUPS 46694 WITH SCORE 46769.99
AT ITER 2030 NEW BEST:: SOT 191868 SOS 76068 HAS SOPS 76068 HAS SOUS 46687 HAS SOUPS 46687 WITH SCORE 46763.068
AT ITER 2040 NEW BEST:: SOT 191805 SOS 75779 HAS SOPS 75779 HAS SOUS 46511 HAS SOUPS 46511 WITH SCORE 46586.779
AT ITER 2053 NEW BEST:: SOT 191851 SOS 75780 HAS SOPS 75780 HAS SOUS 46466 HAS SOUPS 46466 WITH SCORE 46541.78
AT ITER 2060 NEW BEST:: SOT 191850 SOS 75775 HAS SOPS 75775 HAS SOUS 46463 HAS SOUPS 46463 WITH SCORE 46538.775
AT ITER 2062 NEW BEST:: SOT 191844 SOS 75757 HAS SOPS 75757 HAS SOUS 46451 HAS SOUPS 46451 WITH SCORE 46526.757
AT ITER 2063 NEW BEST:: SOT 191836 SOS 75648 HAS SOPS 75648 HAS SOUS 46377 HAS SOUPS 46377 WITH SCORE 46452.648
AT ITER 2072 NEW BEST:: SOT 191789 SOS 75601 HAS SOPS 75601 HAS SOUS 46330 HAS SOUPS 46330 WITH SCORE 46405.601
AT ITER 2074 NEW BEST:: SOT 191778 SOS 75590 HAS SOPS 75590 HAS SOUS 46326 HAS SOUPS 46326 WITH SCORE 46401.59
AT ITER 2077 NEW BEST:: SOT 191748 SOS 75575 HAS SOPS 75575 HAS SOUS 46326 HAS SOUPS 46326 WITH SCORE 46401.575
AT ITER 2083 NEW BEST:: SOT 191717 SOS 75647 HAS SOPS 75647 HAS SOUS 46264 HAS SOUPS 46264 WITH SCORE 46339.647
AT ITER 2088 NEW BEST:: SOT 191641 SOS 76075 HAS SOPS 76075 HAS SOUS 46226 HAS SOUPS 46226 WITH SCORE 46302.075
AT ITER 2094 NEW BEST:: SOT 191398 SOS 75945 HAS SOPS 75945 HAS SOUS 46149 HAS SOUPS 46149 WITH SCORE 46224.945
AT ITER 2128 NEW BEST:: SOT 191311 SOS 75771 HAS SOPS 75771 HAS SOUS 46062 HAS SOUPS 46062 WITH SCORE 46137.771
AT ITER 2141 NEW BEST:: SOT 191280 SOS 76790 HAS SOPS 76790 HAS SOUS 46041 HAS SOUPS 46041 WITH SCORE 46117.79
AT ITER 2142 NEW BEST:: SOT 191293 SOS 76760 HAS SOPS 76760 HAS SOUS 46001 HAS SOUPS 46001 WITH SCORE 46077.76
AT ITER 2150 NEW BEST:: SOT 191194 SOS 76562 HAS SOPS 76562 HAS SOUS 45902 HAS SOUPS 45902 WITH SCORE 45978.562
AT ITER 2151 NEW BEST:: SOT 191155 SOS 76408 HAS SOPS 76408 HAS SOUS 45731 HAS SOUPS 45731 WITH SCORE 45807.408
AT ITER 2172 NEW BEST:: SOT 191173 SOS 76340 HAS SOPS 76340 HAS SOUS 45724 HAS SOUPS 45724 WITH SCORE 45800.34
AT ITER 2174 NEW BEST:: SOT 191138 SOS 76305 HAS SOPS 76305 HAS SOUS 45688 HAS SOUPS 45688 WITH SCORE 45764.305
AT ITER 2191 NEW BEST:: SOT 190936 SOS 75845 HAS SOPS 75845 HAS SOUS 45313 HAS SOUPS 45313 WITH SCORE 45388.845
AT ITER 2196 NEW BEST:: SOT 190914 SOS 75801 HAS SOPS 75801 HAS SOUS 45265 HAS SOUPS 45265 WITH SCORE 45340.801
AT ITER 2198 NEW BEST:: SOT 190866 SOS 75729 HAS SOPS 75729 HAS SOUS 45169 HAS SOUPS 45169 WITH SCORE 45244.729
AT ITER 2203 NEW BEST:: SOT 190787 SOS 75494 HAS SOPS 75494 HAS SOUS 44934 HAS SOUPS 44934 WITH SCORE 45009.494
AT ITER 2226 NEW BEST:: SOT 190787 SOS 75492 HAS SOPS 75492 HAS SOUS 44934 HAS SOUPS 44934 WITH SCORE 45009.492
AT ITER 2228 NEW BEST:: SOT 190806 SOS 75381 HAS SOPS 75381 HAS SOUS 44807 HAS SOUPS 44807 WITH SCORE 44882.381
AT ITER 2233 NEW BEST:: SOT 190806 SOS 75355 HAS SOPS 75355 HAS SOUS 44781 HAS SOUPS 44781 WITH SCORE 44856.355
AT ITER 2248 NEW BEST:: SOT 190698 SOS 75008 HAS SOPS 75008 HAS SOUS 44542 HAS SOUPS 44542 WITH SCORE 44617.008
AT ITER 2250 NEW BEST:: SOT 190672 SOS 74982 HAS SOPS 74982 HAS SOUS 44531 HAS SOUPS 44531 WITH SCORE 44605.982
AT ITER 2267 NEW BEST:: SOT 190543 SOS 74636 HAS SOPS 74636 HAS SOUS 44327 HAS SOUPS 44327 WITH SCORE 44401.636
AT ITER 2290 NEW BEST:: SOT 190545 SOS 74607 HAS SOPS 74607 HAS SOUS 44301 HAS SOUPS 44301 WITH SCORE 44375.607
AT ITER 2301 NEW BEST:: SOT 190508 SOS 74535 HAS SOPS 74535 HAS SOUS 44205 HAS SOUPS 44205 WITH SCORE 44279.535
AT ITER 2318 NEW BEST:: SOT 190475 SOS 74520 HAS SOPS 74520 HAS SOUS 44169 HAS SOUPS 44169 WITH SCORE 44243.52
AT ITER 2334 NEW BEST:: SOT 190479 SOS 74476 HAS SOPS 74476 HAS SOUS 44125 HAS SOUPS 44125 WITH SCORE 44199.476
AT ITER 2353 NEW BEST:: SOT 190479 SOS 74463 HAS SOPS 74463 HAS SOUS 44125 HAS SOUPS 44125 WITH SCORE 44199.463
AT ITER 2360 NEW BEST:: SOT 190597 SOS 74521 HAS SOPS 74521 HAS SOUS 44094 HAS SOUPS 44094 WITH SCORE 44168.521
AT ITER 2362 NEW BEST:: SOT 190597 SOS 74283 HAS SOPS 74283 HAS SOUS 44094 HAS SOUPS 44094 WITH SCORE 44168.283
AT ITER 2388 NEW BEST:: SOT 190585 SOS 74265 HAS SOPS 74265 HAS SOUS 44082 HAS SOUPS 44082 WITH SCORE 44156.265
AT ITER 2412 NEW BEST:: SOT 190456 SOS 74136 HAS SOPS 74136 HAS SOUS 43965 HAS SOUPS 43965 WITH SCORE 44039.136
AT ITER 2415 NEW BEST:: SOT 190353 SOS 73930 HAS SOPS 73930 HAS SOUS 43891 HAS SOUPS 43891 WITH SCORE 43964.93
AT ITER 2416 NEW BEST:: SOT 190356 SOS 73906 HAS SOPS 73906 HAS SOUS 43867 HAS SOUPS 43867 WITH SCORE 43940.906
AT ITER 2431 NEW BEST:: SOT 190356 SOS 73654 HAS SOPS 73654 HAS SOUS 43617 HAS SOUPS 43617 WITH SCORE 43690.654
AT ITER 2433 NEW BEST:: SOT 190354 SOS 73650 HAS SOPS 73650 HAS SOUS 43613 HAS SOUPS 43613 WITH SCORE 43686.65
AT ITER 2437 NEW BEST:: SOT 190278 SOS 73794 HAS SOPS 73794 HAS SOUS 43596 HAS SOUPS 43596 WITH SCORE 43669.794
AT ITER 2443 NEW BEST:: SOT 190234 SOS 73750 HAS SOPS 73750 HAS SOUS 43522 HAS SOUPS 43522 WITH SCORE 43595.75
AT ITER 2461 NEW BEST:: SOT 190216 SOS 73723 HAS SOPS 73723 HAS SOUS 43504 HAS SOUPS 43504 WITH SCORE 43577.723
AT ITER 2463 NEW BEST:: SOT 190216 SOS 73723 HAS SOPS 73723 HAS SOUS 43501 HAS SOUPS 43501 WITH SCORE 43574.723
AT ITER 2492 NEW BEST:: SOT 190200 SOS 73707 HAS SOPS 73707 HAS SOUS 43477 HAS SOUPS 43477 WITH SCORE 43550.707
AT ITER 2494 NEW BEST:: SOT 190141 SOS 73637 HAS SOPS 73637 HAS SOUS 43475 HAS SOUPS 43475 WITH SCORE 43548.637
AT ITER 2499 NEW BEST:: SOT 190105 SOS 73583 HAS SOPS 73583 HAS SOUS 43403 HAS SOUPS 43403 WITH SCORE 43476.583
AT ITER 2504 NEW BEST:: SOT 190119 SOS 73597 HAS SOPS 73597 HAS SOUS 43351 HAS SOUPS 43351 WITH SCORE 43424.597
AT ITER 2509 NEW BEST:: SOT 190098 SOS 73576 HAS SOPS 73576 HAS SOUS 43325 HAS SOUPS 43325 WITH SCORE 43398.576
AT ITER 2511 NEW BEST:: SOT 189946 SOS 73272 HAS SOPS 73272 HAS SOUS 43173 HAS SOUPS 43173 WITH SCORE 43246.272
AT ITER 2534 NEW BEST:: SOT 189942 SOS 73338 HAS SOPS 73338 HAS SOUS 43165 HAS SOUPS 43165 WITH SCORE 43238.338
AT ITER 2567 NEW BEST:: SOT 189760 SOS 73005 HAS SOPS 73005 HAS SOUS 42958 HAS SOUPS 42958 WITH SCORE 43031.005
AT ITER 2570 NEW BEST:: SOT 189759 SOS 73011 HAS SOPS 73011 HAS SOUS 42957 HAS SOUPS 42957 WITH SCORE 43030.011
AT ITER 2576 NEW BEST:: SOT 189743 SOS 72963 HAS SOPS 72963 HAS SOUS 42941 HAS SOUPS 42941 WITH SCORE 43013.963
AT ITER 2579 NEW BEST:: SOT 189595 SOS 72702 HAS SOPS 72702 HAS SOUS 42793 HAS SOUPS 42793 WITH SCORE 42865.702
AT ITER 2582 NEW BEST:: SOT 189576 SOS 72683 HAS SOPS 72683 HAS SOUS 42755 HAS SOUPS 42755 WITH SCORE 42827.683
AT ITER 2584 NEW BEST:: SOT 189576 SOS 72683 HAS SOPS 72683 HAS SOUS 42721 HAS SOUPS 42721 WITH SCORE 42793.683
AT ITER 2606 NEW BEST:: SOT 189576 SOS 72683 HAS SOPS 72683 HAS SOUS 42626 HAS SOUPS 42626 WITH SCORE 42698.683
AT ITER 2641 NEW BEST:: SOT 189569 SOS 72669 HAS SOPS 72669 HAS SOUS 42619 HAS SOUPS 42619 WITH SCORE 42691.669
AT ITER 2671 NEW BEST:: SOT 189534 SOS 72599 HAS SOPS 72599 HAS SOUS 42549 HAS SOUPS 42549 WITH SCORE 42621.599
AT ITER 2711 NEW BEST:: SOT 189475 SOS 72482 HAS SOPS 72482 HAS SOUS 42506 HAS SOUPS 42506 WITH SCORE 42578.482
AT ITER 2717 NEW BEST:: SOT 189420 SOS 72372 HAS SOPS 72372 HAS SOUS 42451 HAS SOUPS 42451 WITH SCORE 42523.372
AT ITER 2720 NEW BEST:: SOT 189399 SOS 72330 HAS SOPS 72330 HAS SOUS 42430 HAS SOUPS 42430 WITH SCORE 42502.33
AT ITER 2728 NEW BEST:: SOT 189460 SOS 72371 HAS SOPS 72371 HAS SOUS 42410 HAS SOUPS 42410 WITH SCORE 42482.371
AT ITER 2733 NEW BEST:: SOT 189460 SOS 72369 HAS SOPS 72369 HAS SOUS 42409 HAS SOUPS 42409 WITH SCORE 42481.369
AT ITER 2736 NEW BEST:: SOT 189458 SOS 72382 HAS SOPS 72382 HAS SOUS 42405 HAS SOUPS 42405 WITH SCORE 42477.382
AT ITER 2748 NEW BEST:: SOT 189386 SOS 72238 HAS SOPS 72238 HAS SOUS 42333 HAS SOUPS 42333 WITH SCORE 42405.238
AT ITER 2751 NEW BEST:: SOT 189386 SOS 72238 HAS SOPS 72238 HAS SOUS 42238 HAS SOUPS 42238 WITH SCORE 42310.238
AT ITER 2759 NEW BEST:: SOT 189368 SOS 71582 HAS SOPS 71582 HAS SOUS 42158 HAS SOUPS 42158 WITH SCORE 42229.582
AT ITER 2788 NEW BEST:: SOT 189381 SOS 71595 HAS SOPS 71595 HAS SOUS 42131 HAS SOUPS 42131 WITH SCORE 42202.595
AT ITER 2791 NEW BEST:: SOT 189240 SOS 71454 HAS SOPS 71454 HAS SOUS 42095 HAS SOUPS 42095 WITH SCORE 42166.454
AT ITER 2795 NEW BEST:: SOT 189203 SOS 71373 HAS SOPS 71373 HAS SOUS 41967 HAS SOUPS 41967 WITH SCORE 42038.373
AT ITER 2812 NEW BEST:: SOT 189212 SOS 71328 HAS SOPS 71328 HAS SOUS 41910 HAS SOUPS 41910 WITH SCORE 41981.328
AT ITER 2823 NEW BEST:: SOT 189182 SOS 71268 HAS SOPS 71268 HAS SOUS 41880 HAS SOUPS 41880 WITH SCORE 41951.268
AT ITER 2830 NEW BEST:: SOT 189182 SOS 71258 HAS SOPS 71258 HAS SOUS 41880 HAS SOUPS 41880 WITH SCORE 41951.258
AT ITER 2840 NEW BEST:: SOT 189105 SOS 71181 HAS SOPS 71181 HAS SOUS 41741 HAS SOUPS 41741 WITH SCORE 41812.181
AT ITER 2841 NEW BEST:: SOT 189071 SOS 71147 HAS SOPS 71147 HAS SOUS 41741 HAS SOUPS 41741 WITH SCORE 41812.147
AT ITER 2844 NEW BEST:: SOT 189004 SOS 70974 HAS SOPS 70974 HAS SOUS 41645 HAS SOUPS 41645 WITH SCORE 41715.974
AT ITER 2867 NEW BEST:: SOT 188995 SOS 70984 HAS SOPS 70984 HAS SOUS 41627 HAS SOUPS 41627 WITH SCORE 41697.984
AT ITER 2890 NEW BEST:: SOT 189038 SOS 71058 HAS SOPS 71058 HAS SOUS 41613 HAS SOUPS 41613 WITH SCORE 41684.058
AT ITER 2897 NEW BEST:: SOT 188998 SOS 71008 HAS SOPS 71008 HAS SOUS 41593 HAS SOUPS 41593 WITH SCORE 41664.008
AT ITER 2899 NEW BEST:: SOT 188954 SOS 70975 HAS SOPS 70975 HAS SOUS 41549 HAS SOUPS 41549 WITH SCORE 41619.975
AT ITER 2907 NEW BEST:: SOT 188956 SOS 70972 HAS SOPS 70972 HAS SOUS 41543 HAS SOUPS 41543 WITH SCORE 41613.972
AT ITER 2915 NEW BEST:: SOT 188952 SOS 70968 HAS SOPS 70968 HAS SOUS 41539 HAS SOUPS 41539 WITH SCORE 41609.968
AT ITER 2923 NEW BEST:: SOT 188930 SOS 70946 HAS SOPS 70946 HAS SOUS 41499 HAS SOUPS 41499 WITH SCORE 41569.946
AT ITER 2952 NEW BEST:: SOT 188871 SOS 70828 HAS SOPS 70828 HAS SOUS 41464 HAS SOUPS 41464 WITH SCORE 41534.828
AT ITER 3003 NEW BEST:: SOT 188830 SOS 70839 HAS SOPS 70839 HAS SOUS 41433 HAS SOUPS 41433 WITH SCORE 41503.839
AT ITER 3045 NEW BEST:: SOT 188822 SOS 70831 HAS SOPS 70831 HAS SOUS 41421 HAS SOUPS 41421 WITH SCORE 41491.831
AT ITER 3048 NEW BEST:: SOT 188836 SOS 70845 HAS SOPS 70845 HAS SOUS 41419 HAS SOUPS 41419 WITH SCORE 41489.845
AT ITER 3049 NEW BEST:: SOT 188919 SOS 70762 HAS SOPS 70762 HAS SOUS 41336 HAS SOUPS 41336 WITH SCORE 41406.762
AT ITER 3065 NEW BEST:: SOT 188918 SOS 70760 HAS SOPS 70760 HAS SOUS 41335 HAS SOUPS 41335 WITH SCORE 41405.76
AT ITER 3073 NEW BEST:: SOT 188895 SOS 70714 HAS SOPS 70714 HAS SOUS 41278 HAS SOUPS 41278 WITH SCORE 41348.714
AT ITER 3078 NEW BEST:: SOT 188932 SOS 70443 HAS SOPS 70443 HAS SOUS 41273 HAS SOUPS 41273 WITH SCORE 41343.443
AT ITER 3083 NEW BEST:: SOT 188889 SOS 70582 HAS SOPS 70582 HAS SOUS 41217 HAS SOUPS 41217 WITH SCORE 41287.582
AT ITER 3089 NEW BEST:: SOT 188840 SOS 70435 HAS SOPS 70435 HAS SOUS 41168 HAS SOUPS 41168 WITH SCORE 41238.435
AT ITER 3096 NEW BEST:: SOT 188819 SOS 70155 HAS SOPS 70155 HAS SOUS 41126 HAS SOUPS 41126 WITH SCORE 41196.155
AT ITER 3123 NEW BEST:: SOT 188794 SOS 70056 HAS SOPS 70056 HAS SOUS 41101 HAS SOUPS 41101 WITH SCORE 41171.056
AT ITER 3130 NEW BEST:: SOT 188794 SOS 70056 HAS SOPS 70056 HAS SOUS 41076 HAS SOUPS 41076 WITH SCORE 41146.056
AT ITER 3156 NEW BEST:: SOT 188794 SOS 70056 HAS SOPS 70056 HAS SOUS 41066 HAS SOUPS 41066 WITH SCORE 41136.056
AT ITER 3159 NEW BEST:: SOT 188805 SOS 69961 HAS SOPS 69961 HAS SOUS 41028 HAS SOUPS 41028 WITH SCORE 41097.961
AT ITER 3168 NEW BEST:: SOT 188763 SOS 69931 HAS SOPS 69931 HAS SOUS 41013 HAS SOUPS 41013 WITH SCORE 41082.931
AT ITER 3172 NEW BEST:: SOT 188667 SOS 69840 HAS SOPS 69840 HAS SOUS 40917 HAS SOUPS 40917 WITH SCORE 40986.84
AT ITER 3174 NEW BEST:: SOT 188630 SOS 69766 HAS SOPS 69766 HAS SOUS 40890 HAS SOUPS 40890 WITH SCORE 40959.766
AT ITER 3177 NEW BEST:: SOT 188640 SOS 69786 HAS SOPS 69786 HAS SOUS 40872 HAS SOUPS 40872 WITH SCORE 40941.786
AT ITER 3198 NEW BEST:: SOT 188640 SOS 69841 HAS SOPS 69841 HAS SOUS 40856 HAS SOUPS 40856 WITH SCORE 40925.841
AT ITER 3206 NEW BEST:: SOT 188624 SOS 69883 HAS SOPS 69883 HAS SOUS 40843 HAS SOUPS 40843 WITH SCORE 40912.883
AT ITER 3208 NEW BEST:: SOT 188624 SOS 69711 HAS SOPS 69711 HAS SOUS 40843 HAS SOUPS 40843 WITH SCORE 40912.711
AT ITER 3212 NEW BEST:: SOT 188615 SOS 69693 HAS SOPS 69693 HAS SOUS 40834 HAS SOUPS 40834 WITH SCORE 40903.693
AT ITER 3215 NEW BEST:: SOT 188630 SOS 69613 HAS SOPS 69613 HAS SOUS 40834 HAS SOUPS 40834 WITH SCORE 40903.613
AT ITER 3216 NEW BEST:: SOT 188632 SOS 69610 HAS SOPS 69610 HAS SOUS 40783 HAS SOUPS 40783 WITH SCORE 40852.61
AT ITER 3227 NEW BEST:: SOT 188552 SOS 69557 HAS SOPS 69557 HAS SOUS 40703 HAS SOUPS 40703 WITH SCORE 40772.557
AT ITER 3236 NEW BEST:: SOT 187858 SOS 73600 HAS SOPS 73600 HAS SOUS 40610 HAS SOUPS 40610 WITH SCORE 40683.6
AT ITER 3240 NEW BEST:: SOT 187802 SOS 73488 HAS SOPS 73488 HAS SOUS 40586 HAS SOUPS 40586 WITH SCORE 40659.488
AT ITER 3249 NEW BEST:: SOT 187716 SOS 73402 HAS SOPS 73402 HAS SOUS 40581 HAS SOUPS 40581 WITH SCORE 40654.402
AT ITER 3258 NEW BEST:: SOT 187678 SOS 73360 HAS SOPS 73360 HAS SOUS 40573 HAS SOUPS 40573 WITH SCORE 40646.36
AT ITER 3261 NEW BEST:: SOT 187571 SOS 73253 HAS SOPS 73253 HAS SOUS 40454 HAS SOUPS 40454 WITH SCORE 40527.253
AT ITER 3266 NEW BEST:: SOT 187571 SOS 73235 HAS SOPS 73235 HAS SOUS 40437 HAS SOUPS 40437 WITH SCORE 40510.235
AT ITER 3278 NEW BEST:: SOT 187566 SOS 73014 HAS SOPS 73014 HAS SOUS 40432 HAS SOUPS 40432 WITH SCORE 40505.014
AT ITER 3279 NEW BEST:: SOT 187545 SOS 72993 HAS SOPS 72993 HAS SOUS 40414 HAS SOUPS 40414 WITH SCORE 40486.993
AT ITER 3297 NEW BEST:: SOT 187540 SOS 72983 HAS SOPS 72983 HAS SOUS 40404 HAS SOUPS 40404 WITH SCORE 40476.983
AT ITER 3311 NEW BEST:: SOT 187494 SOS 72641 HAS SOPS 72641 HAS SOUS 40297 HAS SOUPS 40297 WITH SCORE 40369.641
AT ITER 3326 NEW BEST:: SOT 187501 SOS 72648 HAS SOPS 72648 HAS SOUS 40284 HAS SOUPS 40284 WITH SCORE 40356.648
AT ITER 3332 NEW BEST:: SOT 187466 SOS 72578 HAS SOPS 72578 HAS SOUS 40252 HAS SOUPS 40252 WITH SCORE 40324.578
AT ITER 3344 NEW BEST:: SOT 187463 SOS 72575 HAS SOPS 72575 HAS SOUS 40249 HAS SOUPS 40249 WITH SCORE 40321.575
AT ITER 3346 NEW BEST:: SOT 187463 SOS 72675 HAS SOPS 72675 HAS SOUS 40235 HAS SOUPS 40235 WITH SCORE 40307.675
AT ITER 3348 NEW BEST:: SOT 187390 SOS 72536 HAS SOPS 72536 HAS SOUS 40132 HAS SOUPS 40132 WITH SCORE 40204.536
AT ITER 3349 NEW BEST:: SOT 187399 SOS 72545 HAS SOPS 72545 HAS SOUS 40114 HAS SOUPS 40114 WITH SCORE 40186.545
AT ITER 3381 NEW BEST:: SOT 187357 SOS 72503 HAS SOPS 72503 HAS SOUS 40072 HAS SOUPS 40072 WITH SCORE 40144.503
AT ITER 3382 NEW BEST:: SOT 187357 SOS 72171 HAS SOPS 72171 HAS SOUS 40072 HAS SOUPS 40072 WITH SCORE 40144.171
AT ITER 3383 NEW BEST:: SOT 187343 SOS 72130 HAS SOPS 72130 HAS SOUS 40031 HAS SOUPS 40031 WITH SCORE 40103.13
AT ITER 3410 NEW BEST:: SOT 187310 SOS 72097 HAS SOPS 72097 HAS SOUS 40011 HAS SOUPS 40011 WITH SCORE 40083.097
AT ITER 3434 NEW BEST:: SOT 187288 SOS 72075 HAS SOPS 72075 HAS SOUS 39989 HAS SOUPS 39989 WITH SCORE 40061.075
AT ITER 3446 NEW BEST:: SOT 187186 SOS 72527 HAS SOPS 72527 HAS SOUS 39954 HAS SOUPS 39954 WITH SCORE 40026.527
AT ITER 3458 NEW BEST:: SOT 187112 SOS 72453 HAS SOPS 72453 HAS SOUS 39954 HAS SOUPS 39954 WITH SCORE 40026.453
AT ITER 3464 NEW BEST:: SOT 187130 SOS 72510 HAS SOPS 72510 HAS SOUS 39946 HAS SOUPS 39946 WITH SCORE 40018.51
AT ITER 3471 NEW BEST:: SOT 187125 SOS 72500 HAS SOPS 72500 HAS SOUS 39927 HAS SOUPS 39927 WITH SCORE 39999.5
AT ITER 3480 NEW BEST:: SOT 187122 SOS 72494 HAS SOPS 72494 HAS SOUS 39921 HAS SOUPS 39921 WITH SCORE 39993.494
AT ITER 3498 NEW BEST:: SOT 187122 SOS 72494 HAS SOPS 72494 HAS SOUS 39920 HAS SOUPS 39920 WITH SCORE 39992.494
AT ITER 3521 NEW BEST:: SOT 187122 SOS 72469 HAS SOPS 72469 HAS SOUS 39870 HAS SOUPS 39870 WITH SCORE 39942.469
AT ITER 3524 NEW BEST:: SOT 187208 SOS 70313 HAS SOPS 70313 HAS SOUS 39869 HAS SOUPS 39869 WITH SCORE 39939.313
AT ITER 3535 NEW BEST:: SOT 187247 SOS 70332 HAS SOPS 70332 HAS SOUS 39851 HAS SOUPS 39851 WITH SCORE 39921.332
AT ITER 3542 NEW BEST:: SOT 187243 SOS 70328 HAS SOPS 70328 HAS SOUS 39847 HAS SOUPS 39847 WITH SCORE 39917.328
AT ITER 3546 NEW BEST:: SOT 187185 SOS 70270 HAS SOPS 70270 HAS SOUS 39789 HAS SOUPS 39789 WITH SCORE 39859.27
AT ITER 3554 NEW BEST:: SOT 187185 SOS 70234 HAS SOPS 70234 HAS SOUS 39771 HAS SOUPS 39771 WITH SCORE 39841.234
AT ITER 3603 NEW BEST:: SOT 187196 SOS 70200 HAS SOPS 70200 HAS SOUS 39750 HAS SOUPS 39750 WITH SCORE 39820.2
AT ITER 3643 NEW BEST:: SOT 187176 SOS 70140 HAS SOPS 70140 HAS SOUS 39710 HAS SOUPS 39710 WITH SCORE 39780.14
AT ITER 3644 NEW BEST:: SOT 187170 SOS 70225 HAS SOPS 70225 HAS SOUS 39698 HAS SOUPS 39698 WITH SCORE 39768.225
AT ITER 3669 NEW BEST:: SOT 187170 SOS 70213 HAS SOPS 70213 HAS SOUS 39696 HAS SOUPS 39696 WITH SCORE 39766.213
AT ITER 3684 NEW BEST:: SOT 187185 SOS 70147 HAS SOPS 70147 HAS SOUS 39630 HAS SOUPS 39630 WITH SCORE 39700.147
AT ITER 3703 NEW BEST:: SOT 187230 SOS 70237 HAS SOPS 70237 HAS SOUS 39602 HAS SOUPS 39602 WITH SCORE 39672.237
AT ITER 3714 NEW BEST:: SOT 187202 SOS 70689 HAS SOPS 70689 HAS SOUS 39599 HAS SOUPS 39599 WITH SCORE 39669.689
AT ITER 3717 NEW BEST:: SOT 187200 SOS 70691 HAS SOPS 70691 HAS SOUS 39597 HAS SOUPS 39597 WITH SCORE 39667.691
AT ITER 3718 NEW BEST:: SOT 187251 SOS 70704 HAS SOPS 70704 HAS SOUS 39594 HAS SOUPS 39594 WITH SCORE 39664.704
AT ITER 3762 NEW BEST:: SOT 187251 SOS 70656 HAS SOPS 70656 HAS SOUS 39594 HAS SOUPS 39594 WITH SCORE 39664.656
AT ITER 3767 NEW BEST:: SOT 187238 SOS 70651 HAS SOPS 70651 HAS SOUS 39588 HAS SOUPS 39588 WITH SCORE 39658.651
AT ITER 3781 NEW BEST:: SOT 187238 SOS 70651 HAS SOPS 70651 HAS SOUS 39578 HAS SOUPS 39578 WITH SCORE 39648.651
AT ITER 3782 NEW BEST:: SOT 187244 SOS 70597 HAS SOPS 70597 HAS SOUS 39527 HAS SOUPS 39527 WITH SCORE 39597.597
AT ITER 3783 NEW BEST:: SOT 187191 SOS 70544 HAS SOPS 70544 HAS SOUS 39474 HAS SOUPS 39474 WITH SCORE 39544.544
AT ITER 3798 NEW BEST:: SOT 187233 SOS 70515 HAS SOPS 70515 HAS SOUS 39451 HAS SOUPS 39451 WITH SCORE 39521.515
AT ITER 3824 NEW BEST:: SOT 187190 SOS 70472 HAS SOPS 70472 HAS SOUS 39440 HAS SOUPS 39440 WITH SCORE 39510.472
AT ITER 3828 NEW BEST:: SOT 187170 SOS 70389 HAS SOPS 70389 HAS SOUS 39423 HAS SOUPS 39423 WITH SCORE 39493.389
AT ITER 3842 NEW BEST:: SOT 187192 SOS 70356 HAS SOPS 70356 HAS SOUS 39368 HAS SOUPS 39368 WITH SCORE 39438.356
AT ITER 3844 NEW BEST:: SOT 187196 SOS 70364 HAS SOPS 70364 HAS SOUS 39347 HAS SOUPS 39347 WITH SCORE 39417.364
AT ITER 3845 NEW BEST:: SOT 187196 SOS 70362 HAS SOPS 70362 HAS SOUS 39347 HAS SOUPS 39347 WITH SCORE 39417.362
AT ITER 3849 NEW BEST:: SOT 187196 SOS 70362 HAS SOPS 70362 HAS SOUS 39344 HAS SOUPS 39344 WITH SCORE 39414.362
AT ITER 3852 NEW BEST:: SOT 187127 SOS 70118 HAS SOPS 70118 HAS SOUS 39294 HAS SOUPS 39294 WITH SCORE 39364.118
AT ITER 3855 NEW BEST:: SOT 187139 SOS 70155 HAS SOPS 70155 HAS SOUS 39280 HAS SOUPS 39280 WITH SCORE 39350.155
AT ITER 3870 NEW BEST:: SOT 187019 SOS 70035 HAS SOPS 70035 HAS SOUS 39280 HAS SOUPS 39280 WITH SCORE 39350.035
AT ITER 3903 NEW BEST:: SOT 186989 SOS 70018 HAS SOPS 70018 HAS SOUS 39229 HAS SOUPS 39229 WITH SCORE 39299.018
AT ITER 3909 NEW BEST:: SOT 186952 SOS 69981 HAS SOPS 69981 HAS SOUS 39192 HAS SOUPS 39192 WITH SCORE 39261.981
AT ITER 3947 NEW BEST:: SOT 186941 SOS 69983 HAS SOPS 69983 HAS SOUS 39170 HAS SOUPS 39170 WITH SCORE 39239.983
AT ITER 3972 NEW BEST:: SOT 186805 SOS 69837 HAS SOPS 69837 HAS SOUS 39148 HAS SOUPS 39148 WITH SCORE 39217.837
AT ITER 3977 NEW BEST:: SOT 186805 SOS 69811 HAS SOPS 69811 HAS SOUS 39148 HAS SOUPS 39148 WITH SCORE 39217.811
AT ITER 3983 NEW BEST:: SOT 186552 SOS 69627 HAS SOPS 69627 HAS SOUS 38997 HAS SOUPS 38997 WITH SCORE 39066.627
AT ITER 4007 NEW BEST:: SOT 186542 SOS 69607 HAS SOPS 69607 HAS SOUS 38991 HAS SOUPS 38991 WITH SCORE 39060.607
AT ITER 4020 NEW BEST:: SOT 186542 SOS 69603 HAS SOPS 69603 HAS SOUS 38987 HAS SOUPS 38987 WITH SCORE 39056.603
AT ITER 4023 NEW BEST:: SOT 186516 SOS 69525 HAS SOPS 69525 HAS SOUS 38943 HAS SOUPS 38943 WITH SCORE 39012.525
AT ITER 4028 NEW BEST:: SOT 186516 SOS 69516 HAS SOPS 69516 HAS SOUS 38943 HAS SOUPS 38943 WITH SCORE 39012.516
AT ITER 4047 NEW BEST:: SOT 186486 SOS 69486 HAS SOPS 69486 HAS SOUS 38913 HAS SOUPS 38913 WITH SCORE 38982.486
AT ITER 4059 NEW BEST:: SOT 186495 SOS 69494 HAS SOPS 69494 HAS SOUS 38905 HAS SOUPS 38905 WITH SCORE 38974.494
AT ITER 4065 NEW BEST:: SOT 186540 SOS 69539 HAS SOPS 69539 HAS SOUS 38855 HAS SOUPS 38855 WITH SCORE 38924.539
AT ITER 4070 NEW BEST:: SOT 186537 SOS 69533 HAS SOPS 69533 HAS SOUS 38852 HAS SOUPS 38852 WITH SCORE 38921.533
AT ITER 4113 NEW BEST:: SOT 186536 SOS 69531 HAS SOPS 69531 HAS SOUS 38851 HAS SOUPS 38851 WITH SCORE 38920.531
AT ITER 4120 NEW BEST:: SOT 186553 SOS 69529 HAS SOPS 69529 HAS SOUS 38849 HAS SOUPS 38849 WITH SCORE 38918.529
AT ITER 4136 NEW BEST:: SOT 186553 SOS 69503 HAS SOPS 69503 HAS SOUS 38823 HAS SOUPS 38823 WITH SCORE 38892.503
AT ITER 4180 NEW BEST:: SOT 186545 SOS 69495 HAS SOPS 69495 HAS SOUS 38815 HAS SOUPS 38815 WITH SCORE 38884.495
AT ITER 4184 NEW BEST:: SOT 186469 SOS 69412 HAS SOPS 69412 HAS SOUS 38801 HAS SOUPS 38801 WITH SCORE 38870.412
AT ITER 4205 NEW BEST:: SOT 186472 SOS 69370 HAS SOPS 69370 HAS SOUS 38756 HAS SOUPS 38756 WITH SCORE 38825.37
AT ITER 4228 NEW BEST:: SOT 186406 SOS 69306 HAS SOPS 69306 HAS SOUS 38741 HAS SOUPS 38741 WITH SCORE 38810.306
AT ITER 4280 NEW BEST:: SOT 186463 SOS 69272 HAS SOPS 69272 HAS SOUS 38739 HAS SOUPS 38739 WITH SCORE 38808.272
AT ITER 4284 NEW BEST:: SOT 186471 SOS 69288 HAS SOPS 69288 HAS SOUS 38732 HAS SOUPS 38732 WITH SCORE 38801.288
AT ITER 4291 NEW BEST:: SOT 186471 SOS 69219 HAS SOPS 69219 HAS SOUS 38663 HAS SOUPS 38663 WITH SCORE 38732.219
AT ITER 4316 NEW BEST:: SOT 186458 SOS 69193 HAS SOPS 69193 HAS SOUS 38635 HAS SOUPS 38635 WITH SCORE 38704.193
AT ITER 4331 NEW BEST:: SOT 186435 SOS 69374 HAS SOPS 69374 HAS SOUS 38622 HAS SOUPS 38622 WITH SCORE 38691.374
AT ITER 4342 NEW BEST:: SOT 186351 SOS 69249 HAS SOPS 69249 HAS SOUS 38474 HAS SOUPS 38474 WITH SCORE 38543.249
AT ITER 4352 NEW BEST:: SOT 186344 SOS 69235 HAS SOPS 69235 HAS SOUS 38467 HAS SOUPS 38467 WITH SCORE 38536.235
AT ITER 4356 NEW BEST:: SOT 186341 SOS 69229 HAS SOPS 69229 HAS SOUS 38461 HAS SOUPS 38461 WITH SCORE 38530.229
AT ITER 4357 NEW BEST:: SOT 186363 SOS 69207 HAS SOPS 69207 HAS SOUS 38431 HAS SOUPS 38431 WITH SCORE 38500.207
AT ITER 4366 NEW BEST:: SOT 186363 SOS 69099 HAS SOPS 69099 HAS SOUS 38431 HAS SOUPS 38431 WITH SCORE 38500.099
AT ITER 4368 NEW BEST:: SOT 186356 SOS 69092 HAS SOPS 69092 HAS SOUS 38399 HAS SOUPS 38399 WITH SCORE 38468.092
AT ITER 4405 NEW BEST:: SOT 186354 SOS 69088 HAS SOPS 69088 HAS SOUS 38397 HAS SOUPS 38397 WITH SCORE 38466.088
AT ITER 4413 NEW BEST:: SOT 186311 SOS 69045 HAS SOPS 69045 HAS SOUS 38354 HAS SOUPS 38354 WITH SCORE 38423.045
AT ITER 4419 NEW BEST:: SOT 186293 SOS 69027 HAS SOPS 69027 HAS SOUS 38336 HAS SOUPS 38336 WITH SCORE 38405.027
AT ITER 4420 NEW BEST:: SOT 186276 SOS 68990 HAS SOPS 68990 HAS SOUS 38316 HAS SOUPS 38316 WITH SCORE 38384.99
AT ITER 4431 NEW BEST:: SOT 186242 SOS 68956 HAS SOPS 68956 HAS SOUS 38282 HAS SOUPS 38282 WITH SCORE 38350.956
AT ITER 4467 NEW BEST:: SOT 186201 SOS 68891 HAS SOPS 68891 HAS SOUS 38241 HAS SOUPS 38241 WITH SCORE 38309.891
AT ITER 4517 NEW BEST:: SOT 186220 SOS 68929 HAS SOPS 68929 HAS SOUS 38210 HAS SOUPS 38210 WITH SCORE 38278.929
AT ITER 4532 NEW BEST:: SOT 186220 SOS 68916 HAS SOPS 68916 HAS SOUS 38197 HAS SOUPS 38197 WITH SCORE 38265.916
AT ITER 4569 NEW BEST:: SOT 186220 SOS 68908 HAS SOPS 68908 HAS SOUS 38122 HAS SOUPS 38122 WITH SCORE 38190.908
AT ITER 4573 NEW BEST:: SOT 186193 SOS 68881 HAS SOPS 68881 HAS SOUS 38122 HAS SOUPS 38122 WITH SCORE 38190.881
AT ITER 4589 NEW BEST:: SOT 186193 SOS 68837 HAS SOPS 68837 HAS SOUS 38122 HAS SOUPS 38122 WITH SCORE 38190.837
AT ITER 4619 NEW BEST:: SOT 186132 SOS 68776 HAS SOPS 68776 HAS SOUS 38080 HAS SOUPS 38080 WITH SCORE 38148.776
AT ITER 4632 NEW BEST:: SOT 186131 SOS 68774 HAS SOPS 68774 HAS SOUS 38048 HAS SOUPS 38048 WITH SCORE 38116.774
AT ITER 4633 NEW BEST:: SOT 186130 SOS 68772 HAS SOPS 68772 HAS SOUS 38047 HAS SOUPS 38047 WITH SCORE 38115.772
AT ITER 4651 NEW BEST:: SOT 186181 SOS 68751 HAS SOPS 68751 HAS SOUS 37983 HAS SOUPS 37983 WITH SCORE 38051.751
AT ITER 4653 NEW BEST:: SOT 186169 SOS 68739 HAS SOPS 68739 HAS SOUS 37971 HAS SOUPS 37971 WITH SCORE 38039.739
AT ITER 4721 NEW BEST:: SOT 186169 SOS 68739 HAS SOPS 68739 HAS SOUS 37964 HAS SOUPS 37964 WITH SCORE 38032.739
AT ITER 4755 NEW BEST:: SOT 186153 SOS 68723 HAS SOPS 68723 HAS SOUS 37948 HAS SOUPS 37948 WITH SCORE 38016.723
AT ITER 4783 NEW BEST:: SOT 186145 SOS 68707 HAS SOPS 68707 HAS SOUS 37943 HAS SOUPS 37943 WITH SCORE 38011.707
AT ITER 4787 NEW BEST:: SOT 186142 SOS 68704 HAS SOPS 68704 HAS SOUS 37940 HAS SOUPS 37940 WITH SCORE 38008.704
AT ITER 4792 NEW BEST:: SOT 186137 SOS 68694 HAS SOPS 68694 HAS SOUS 37935 HAS SOUPS 37935 WITH SCORE 38003.694
AT ITER 4793 NEW BEST:: SOT 186137 SOS 68694 HAS SOPS 68694 HAS SOUS 37886 HAS SOUPS 37886 WITH SCORE 37954.694
AT ITER 4813 NEW BEST:: SOT 186128 SOS 68562 HAS SOPS 68562 HAS SOUS 37860 HAS SOUPS 37860 WITH SCORE 37928.562
AT ITER 4818 NEW BEST:: SOT 186116 SOS 68550 HAS SOPS 68550 HAS SOUS 37848 HAS SOUPS 37848 WITH SCORE 37916.55
AT ITER 4835 NEW BEST:: SOT 186112 SOS 68546 HAS SOPS 68546 HAS SOUS 37844 HAS SOUPS 37844 WITH SCORE 37912.546
AT ITER 4839 NEW BEST:: SOT 186102 SOS 68531 HAS SOPS 68531 HAS SOUS 37829 HAS SOUPS 37829 WITH SCORE 37897.531
AT ITER 4859 NEW BEST:: SOT 186115 SOS 68515 HAS SOPS 68515 HAS SOUS 37797 HAS SOUPS 37797 WITH SCORE 37865.515
AT ITER 4864 NEW BEST:: SOT 186136 SOS 68511 HAS SOPS 68511 HAS SOUS 37777 HAS SOUPS 37777 WITH SCORE 37845.511
AT ITER 4872 NEW BEST:: SOT 186129 SOS 68504 HAS SOPS 68504 HAS SOUS 37770 HAS SOUPS 37770 WITH SCORE 37838.504
AT ITER 4880 NEW BEST:: SOT 186129 SOS 68460 HAS SOPS 68460 HAS SOUS 37770 HAS SOUPS 37770 WITH SCORE 37838.46
AT ITER 4881 NEW BEST:: SOT 186042 SOS 68303 HAS SOPS 68303 HAS SOUS 37745 HAS SOUPS 37745 WITH SCORE 37813.303
AT ITER 4888 NEW BEST:: SOT 186042 SOS 68345 HAS SOPS 68345 HAS SOUS 37724 HAS SOUPS 37724 WITH SCORE 37792.345
AT ITER 4899 NEW BEST:: SOT 185980 SOS 68225 HAS SOPS 68225 HAS SOUS 37662 HAS SOUPS 37662 WITH SCORE 37730.225
AT ITER 4909 NEW BEST:: SOT 185996 SOS 68171 HAS SOPS 68171 HAS SOUS 37658 HAS SOUPS 37658 WITH SCORE 37726.171
AT ITER 4912 NEW BEST:: SOT 185996 SOS 67601 HAS SOPS 67601 HAS SOUS 37615 HAS SOUPS 37615 WITH SCORE 37682.601
AT ITER 4920 NEW BEST:: SOT 185989 SOS 67594 HAS SOPS 67594 HAS SOUS 37601 HAS SOUPS 37601 WITH SCORE 37668.594
AT ITER 4922 NEW BEST:: SOT 185952 SOS 67557 HAS SOPS 67557 HAS SOUS 37582 HAS SOUPS 37582 WITH SCORE 37649.557
AT ITER 4935 NEW BEST:: SOT 185885 SOS 67480 HAS SOPS 67480 HAS SOUS 37562 HAS SOUPS 37562 WITH SCORE 37629.48
AT ITER 4942 NEW BEST:: SOT 185818 SOS 67303 HAS SOPS 67303 HAS SOUS 37428 HAS SOUPS 37428 WITH SCORE 37495.303
AT ITER 4943 NEW BEST:: SOT 185818 SOS 67302 HAS SOPS 67302 HAS SOUS 37427 HAS SOUPS 37427 WITH SCORE 37494.302
AT ITER 4970 NEW BEST:: SOT 185854 SOS 67287 HAS SOPS 67287 HAS SOUS 37412 HAS SOUPS 37412 WITH SCORE 37479.287
AT ITER 4979 NEW BEST:: SOT 185837 SOS 67236 HAS SOPS 67236 HAS SOUS 37378 HAS SOUPS 37378 WITH SCORE 37445.236
AT ITER 4981 NEW BEST:: SOT 185717 SOS 67112 HAS SOPS 67112 HAS SOUS 37364 HAS SOUPS 37364 WITH SCORE 37431.112
AT ITER 4982 NEW BEST:: SOT 185771 SOS 67122 HAS SOPS 67122 HAS SOUS 37294 HAS SOUPS 37294 WITH SCORE 37361.122
AT ITER 4989 NEW BEST:: SOT 185776 SOS 67131 HAS SOPS 67131 HAS SOUS 37256 HAS SOUPS 37256 WITH SCORE 37323.131
AT ITER 4993 NEW BEST:: SOT 185776 SOS 67066 HAS SOPS 67066 HAS SOUS 37236 HAS SOUPS 37236 WITH SCORE 37303.066
AT ITER 4995 NEW BEST:: SOT 185742 SOS 66998 HAS SOPS 66998 HAS SOUS 37202 HAS SOUPS 37202 WITH SCORE 37268.998
AT ITER 4999 NEW BEST:: SOT 185737 SOS 66993 HAS SOPS 66993 HAS SOUS 37197 HAS SOUPS 37197 WITH SCORE 37263.993
AT ITER 5003 NEW BEST:: SOT 185725 SOS 67189 HAS SOPS 67189 HAS SOUS 37171 HAS SOUPS 37171 WITH SCORE 37238.189
AT ITER 5017 NEW BEST:: SOT 185676 SOS 67163 HAS SOPS 67163 HAS SOUS 37122 HAS SOUPS 37122 WITH SCORE 37189.163
AT ITER 5022 NEW BEST:: SOT 185653 SOS 67140 HAS SOPS 67140 HAS SOUS 37099 HAS SOUPS 37099 WITH SCORE 37166.14
AT ITER 5043 NEW BEST:: SOT 185624 SOS 67023 HAS SOPS 67023 HAS SOUS 37070 HAS SOUPS 37070 WITH SCORE 37137.023
AT ITER 5066 NEW BEST:: SOT 185526 SOS 66827 HAS SOPS 66827 HAS SOUS 37008 HAS SOUPS 37008 WITH SCORE 37074.827
AT ITER 5092 NEW BEST:: SOT 185526 SOS 66827 HAS SOPS 66827 HAS SOUS 37002 HAS SOUPS 37002 WITH SCORE 37068.827
AT ITER 5113 NEW BEST:: SOT 185507 SOS 66837 HAS SOPS 66837 HAS SOUS 36983 HAS SOUPS 36983 WITH SCORE 37049.837
AT ITER 5118 NEW BEST:: SOT 185507 SOS 66826 HAS SOPS 66826 HAS SOUS 36975 HAS SOUPS 36975 WITH SCORE 37041.826
AT ITER 5136 NEW BEST:: SOT 185496 SOS 66804 HAS SOPS 66804 HAS SOUS 36964 HAS SOUPS 36964 WITH SCORE 37030.804
AT ITER 5146 NEW BEST:: SOT 185485 SOS 66782 HAS SOPS 66782 HAS SOUS 36953 HAS SOUPS 36953 WITH SCORE 37019.782
AT ITER 5163 NEW BEST:: SOT 185478 SOS 66775 HAS SOPS 66775 HAS SOUS 36953 HAS SOUPS 36953 WITH SCORE 37019.775
AT ITER 5172 NEW BEST:: SOT 185474 SOS 66769 HAS SOPS 66769 HAS SOUS 36947 HAS SOUPS 36947 WITH SCORE 37013.769
AT ITER 5187 NEW BEST:: SOT 185461 SOS 66743 HAS SOPS 66743 HAS SOUS 36921 HAS SOUPS 36921 WITH SCORE 36987.743
AT ITER 5210 NEW BEST:: SOT 185461 SOS 66743 HAS SOPS 66743 HAS SOUS 36906 HAS SOUPS 36906 WITH SCORE 36972.743
AT ITER 5236 NEW BEST:: SOT 185461 SOS 66756 HAS SOPS 66756 HAS SOUS 36893 HAS SOUPS 36893 WITH SCORE 36959.756
AT ITER 5253 NEW BEST:: SOT 185461 SOS 66520 HAS SOPS 66520 HAS SOUS 36893 HAS SOUPS 36893 WITH SCORE 36959.52
AT ITER 5257 NEW BEST:: SOT 185427 SOS 66502 HAS SOPS 66502 HAS SOUS 36892 HAS SOUPS 36892 WITH SCORE 36958.502
AT ITER 5268 NEW BEST:: SOT 185427 SOS 66502 HAS SOPS 66502 HAS SOUS 36846 HAS SOUPS 36846 WITH SCORE 36912.502
AT ITER 5271 NEW BEST:: SOT 185420 SOS 66475 HAS SOPS 66475 HAS SOUS 36839 HAS SOUPS 36839 WITH SCORE 36905.475
AT ITER 5274 NEW BEST:: SOT 185412 SOS 66435 HAS SOPS 66435 HAS SOUS 36807 HAS SOUPS 36807 WITH SCORE 36873.435
AT ITER 5293 NEW BEST:: SOT 185405 SOS 66462 HAS SOPS 66462 HAS SOUS 36800 HAS SOUPS 36800 WITH SCORE 36866.462
AT ITER 5315 NEW BEST:: SOT 185418 SOS 66488 HAS SOPS 66488 HAS SOUS 36733 HAS SOUPS 36733 WITH SCORE 36799.488
AT ITER 5347 NEW BEST:: SOT 185418 SOS 66484 HAS SOPS 66484 HAS SOUS 36729 HAS SOUPS 36729 WITH SCORE 36795.484
AT ITER 5354 NEW BEST:: SOT 185414 SOS 66484 HAS SOPS 66484 HAS SOUS 36725 HAS SOUPS 36725 WITH SCORE 36791.484
AT ITER 5358 NEW BEST:: SOT 185396 SOS 66498 HAS SOPS 66498 HAS SOUS 36721 HAS SOUPS 36721 WITH SCORE 36787.498
AT ITER 5359 NEW BEST:: SOT 185396 SOS 66498 HAS SOPS 66498 HAS SOUS 36702 HAS SOUPS 36702 WITH SCORE 36768.498
AT ITER 5364 NEW BEST:: SOT 185396 SOS 66484 HAS SOPS 66484 HAS SOUS 36702 HAS SOUPS 36702 WITH SCORE 36768.484
AT ITER 5371 NEW BEST:: SOT 185385 SOS 66473 HAS SOPS 66473 HAS SOUS 36691 HAS SOUPS 36691 WITH SCORE 36757.473
AT ITER 5383 NEW BEST:: SOT 185385 SOS 66498 HAS SOPS 66498 HAS SOUS 36666 HAS SOUPS 36666 WITH SCORE 36732.498
AT ITER 5394 NEW BEST:: SOT 185370 SOS 66381 HAS SOPS 66381 HAS SOUS 36615 HAS SOUPS 36615 WITH SCORE 36681.381
AT ITER 5406 NEW BEST:: SOT 185402 SOS 66317 HAS SOPS 66317 HAS SOUS 36615 HAS SOUPS 36615 WITH SCORE 36681.317
AT ITER 5407 NEW BEST:: SOT 185357 SOS 66677 HAS SOPS 66677 HAS SOUS 36575 HAS SOUPS 36575 WITH SCORE 36641.677
AT ITER 5409 NEW BEST:: SOT 185040 SOS 69741 HAS SOPS 69741 HAS SOUS 36531 HAS SOUPS 36531 WITH SCORE 36600.741
AT ITER 5428 NEW BEST:: SOT 185039 SOS 69739 HAS SOPS 69739 HAS SOUS 36529 HAS SOUPS 36529 WITH SCORE 36598.739
AT ITER 5452 NEW BEST:: SOT 185104 SOS 69615 HAS SOPS 69615 HAS SOUS 36511 HAS SOUPS 36511 WITH SCORE 36580.615
AT ITER 5480 NEW BEST:: SOT 185110 SOS 69603 HAS SOPS 69603 HAS SOUS 36509 HAS SOUPS 36509 WITH SCORE 36578.603
AT ITER 5532 NEW BEST:: SOT 185090 SOS 69583 HAS SOPS 69583 HAS SOUS 36505 HAS SOUPS 36505 WITH SCORE 36574.583
AT ITER 5555 NEW BEST:: SOT 185088 SOS 69533 HAS SOPS 69533 HAS SOUS 36489 HAS SOUPS 36489 WITH SCORE 36558.533
AT ITER 5561 NEW BEST:: SOT 185085 SOS 69589 HAS SOPS 69589 HAS SOUS 36465 HAS SOUPS 36465 WITH SCORE 36534.589
AT ITER 5601 NEW BEST:: SOT 185080 SOS 69579 HAS SOPS 69579 HAS SOUS 36461 HAS SOUPS 36461 WITH SCORE 36530.579
AT ITER 5603 NEW BEST:: SOT 185095 SOS 69609 HAS SOPS 69609 HAS SOUS 36445 HAS SOUPS 36445 WITH SCORE 36514.609
AT ITER 5620 NEW BEST:: SOT 185095 SOS 69609 HAS SOPS 69609 HAS SOUS 36438 HAS SOUPS 36438 WITH SCORE 36507.609
AT ITER 5631 NEW BEST:: SOT 185110 SOS 69472 HAS SOPS 69472 HAS SOUS 36292 HAS SOUPS 36292 WITH SCORE 36361.472
AT ITER 5689 NEW BEST:: SOT 185078 SOS 69447 HAS SOPS 69447 HAS SOUS 36220 HAS SOUPS 36220 WITH SCORE 36289.447
AT ITER 5712 NEW BEST:: SOT 185063 SOS 69432 HAS SOPS 69432 HAS SOUS 36205 HAS SOUPS 36205 WITH SCORE 36274.432
AT ITER 5755 NEW BEST:: SOT 185056 SOS 69418 HAS SOPS 69418 HAS SOUS 36191 HAS SOUPS 36191 WITH SCORE 36260.418
AT ITER 5756 NEW BEST:: SOT 185042 SOS 69390 HAS SOPS 69390 HAS SOUS 36163 HAS SOUPS 36163 WITH SCORE 36232.39
AT ITER 5759 NEW BEST:: SOT 185024 SOS 69444 HAS SOPS 69444 HAS SOUS 36145 HAS SOUPS 36145 WITH SCORE 36214.444
AT ITER 5763 NEW BEST:: SOT 185054 SOS 69474 HAS SOPS 69474 HAS SOUS 36119 HAS SOUPS 36119 WITH SCORE 36188.474
AT ITER 5772 NEW BEST:: SOT 185046 SOS 69457 HAS SOPS 69457 HAS SOUS 36102 HAS SOUPS 36102 WITH SCORE 36171.457
AT ITER 5775 NEW BEST:: SOT 185047 SOS 68949 HAS SOPS 68949 HAS SOUS 36101 HAS SOUPS 36101 WITH SCORE 36169.949
AT ITER 5782 NEW BEST:: SOT 185047 SOS 68949 HAS SOPS 68949 HAS SOUS 36088 HAS SOUPS 36088 WITH SCORE 36156.949
AT ITER 5801 NEW BEST:: SOT 185054 SOS 68930 HAS SOPS 68930 HAS SOUS 36083 HAS SOUPS 36083 WITH SCORE 36151.93
AT ITER 5828 NEW BEST:: SOT 185061 SOS 68932 HAS SOPS 68932 HAS SOUS 36073 HAS SOUPS 36073 WITH SCORE 36141.932
AT ITER 5897 NEW BEST:: SOT 185065 SOS 68883 HAS SOPS 68883 HAS SOUS 36024 HAS SOUPS 36024 WITH SCORE 36092.883
AT ITER 5898 NEW BEST:: SOT 185053 SOS 68871 HAS SOPS 68871 HAS SOUS 36012 HAS SOUPS 36012 WITH SCORE 36080.871
AT ITER 5900 NEW BEST:: SOT 184963 SOS 68803 HAS SOPS 68803 HAS SOUS 35995 HAS SOUPS 35995 WITH SCORE 36063.803
AT ITER 5907 NEW BEST:: SOT 184961 SOS 68803 HAS SOPS 68803 HAS SOUS 35993 HAS SOUPS 35993 WITH SCORE 36061.803
AT ITER 5917 NEW BEST:: SOT 184989 SOS 68859 HAS SOPS 68859 HAS SOUS 35979 HAS SOUPS 35979 WITH SCORE 36047.859
AT ITER 5921 NEW BEST:: SOT 185047 SOS 68912 HAS SOPS 68912 HAS SOUS 35969 HAS SOUPS 35969 WITH SCORE 36037.912
AT ITER 5941 NEW BEST:: SOT 185043 SOS 68922 HAS SOPS 68922 HAS SOUS 35963 HAS SOUPS 35963 WITH SCORE 36031.922
AT ITER 5945 NEW BEST:: SOT 185012 SOS 68867 HAS SOPS 68867 HAS SOUS 35932 HAS SOUPS 35932 WITH SCORE 36000.867
AT ITER 5957 NEW BEST:: SOT 185004 SOS 68875 HAS SOPS 68875 HAS SOUS 35924 HAS SOUPS 35924 WITH SCORE 35992.875
AT ITER 5984 NEW BEST:: SOT 185003 SOS 68873 HAS SOPS 68873 HAS SOUS 35922 HAS SOUPS 35922 WITH SCORE 35990.873
AT ITER 5998 NEW BEST:: SOT 185003 SOS 68873 HAS SOPS 68873 HAS SOUS 35919 HAS SOUPS 35919 WITH SCORE 35987.873
AT ITER 6031 NEW BEST:: SOT 184990 SOS 68861 HAS SOPS 68861 HAS SOUS 35909 HAS SOUPS 35909 WITH SCORE 35977.861
AT ITER 6035 NEW BEST:: SOT 185084 SOS 68955 HAS SOPS 68955 HAS SOUS 35859 HAS SOUPS 35859 WITH SCORE 35927.955
AT ITER 6044 NEW BEST:: SOT 185083 SOS 68927 HAS SOPS 68927 HAS SOUS 35857 HAS SOUPS 35857 WITH SCORE 35925.927
AT ITER 6045 NEW BEST:: SOT 185049 SOS 68897 HAS SOPS 68897 HAS SOUS 35789 HAS SOUPS 35789 WITH SCORE 35857.897
AT ITER 6049 NEW BEST:: SOT 185046 SOS 68891 HAS SOPS 68891 HAS SOUS 35786 HAS SOUPS 35786 WITH SCORE 35854.891
AT ITER 6066 NEW BEST:: SOT 185030 SOS 68827 HAS SOPS 68827 HAS SOUS 35774 HAS SOUPS 35774 WITH SCORE 35842.827
AT ITER 6074 NEW BEST:: SOT 185030 SOS 68784 HAS SOPS 68784 HAS SOUS 35774 HAS SOUPS 35774 WITH SCORE 35842.784
AT ITER 6103 NEW BEST:: SOT 185021 SOS 68667 HAS SOPS 68667 HAS SOUS 35765 HAS SOUPS 35765 WITH SCORE 35833.667
AT ITER 6131 NEW BEST:: SOT 185021 SOS 68667 HAS SOPS 68667 HAS SOUS 35749 HAS SOUPS 35749 WITH SCORE 35817.667
AT ITER 6152 NEW BEST:: SOT 185012 SOS 68658 HAS SOPS 68658 HAS SOUS 35740 HAS SOUPS 35740 WITH SCORE 35808.658
AT ITER 6168 NEW BEST:: SOT 185004 SOS 68642 HAS SOPS 68642 HAS SOUS 35724 HAS SOUPS 35724 WITH SCORE 35792.642
AT ITER 6173 NEW BEST:: SOT 184991 SOS 68629 HAS SOPS 68629 HAS SOUS 35712 HAS SOUPS 35712 WITH SCORE 35780.629
AT ITER 6202 NEW BEST:: SOT 184991 SOS 68629 HAS SOPS 68629 HAS SOUS 35709 HAS SOUPS 35709 WITH SCORE 35777.629
AT ITER 6203 NEW BEST:: SOT 184991 SOS 68628 HAS SOPS 68628 HAS SOUS 35690 HAS SOUPS 35690 WITH SCORE 35758.628
AT ITER 6221 NEW BEST:: SOT 184948 SOS 68542 HAS SOPS 68542 HAS SOUS 35647 HAS SOUPS 35647 WITH SCORE 35715.542
AT ITER 6230 NEW BEST:: SOT 184918 SOS 68512 HAS SOPS 68512 HAS SOUS 35617 HAS SOUPS 35617 WITH SCORE 35685.512
AT ITER 6235 NEW BEST:: SOT 184925 SOS 68483 HAS SOPS 68483 HAS SOUS 35556 HAS SOUPS 35556 WITH SCORE 35624.483
AT ITER 6270 NEW BEST:: SOT 184921 SOS 68475 HAS SOPS 68475 HAS SOUS 35548 HAS SOUPS 35548 WITH SCORE 35616.475
AT ITER 6271 NEW BEST:: SOT 184929 SOS 68497 HAS SOPS 68497 HAS SOUS 35545 HAS SOUPS 35545 WITH SCORE 35613.497
AT ITER 6279 NEW BEST:: SOT 184952 SOS 68543 HAS SOPS 68543 HAS SOUS 35524 HAS SOUPS 35524 WITH SCORE 35592.543
AT ITER 6295 NEW BEST:: SOT 184948 SOS 68535 HAS SOPS 68535 HAS SOUS 35520 HAS SOUPS 35520 WITH SCORE 35588.535
AT ITER 6308 NEW BEST:: SOT 184948 SOS 68492 HAS SOPS 68492 HAS SOUS 35517 HAS SOUPS 35517 WITH SCORE 35585.492
AT ITER 6329 NEW BEST:: SOT 184772 SOS 68319 HAS SOPS 68319 HAS SOUS 35488 HAS SOUPS 35488 WITH SCORE 35556.319
AT ITER 6420 NEW BEST:: SOT 184768 SOS 68171 HAS SOPS 68171 HAS SOUS 35428 HAS SOUPS 35428 WITH SCORE 35496.171
AT ITER 6447 NEW BEST:: SOT 184772 SOS 68139 HAS SOPS 68139 HAS SOUS 35424 HAS SOUPS 35424 WITH SCORE 35492.139
AT ITER 6453 NEW BEST:: SOT 184772 SOS 68059 HAS SOPS 68059 HAS SOUS 35344 HAS SOUPS 35344 WITH SCORE 35412.059
AT ITER 6478 NEW BEST:: SOT 184750 SOS 68084 HAS SOPS 68084 HAS SOUS 35289 HAS SOUPS 35289 WITH SCORE 35357.084
AT ITER 6489 NEW BEST:: SOT 184750 SOS 68075 HAS SOPS 68075 HAS SOUS 35280 HAS SOUPS 35280 WITH SCORE 35348.075
AT ITER 6496 NEW BEST:: SOT 184702 SOS 67998 HAS SOPS 67998 HAS SOUS 35222 HAS SOUPS 35222 WITH SCORE 35289.998
AT ITER 6497 NEW BEST:: SOT 184719 SOS 68032 HAS SOPS 68032 HAS SOUS 35204 HAS SOUPS 35204 WITH SCORE 35272.032
AT ITER 6501 NEW BEST:: SOT 184545 SOS 68377 HAS SOPS 68377 HAS SOUS 35084 HAS SOUPS 35084 WITH SCORE 35152.377
AT ITER 6505 NEW BEST:: SOT 184545 SOS 68373 HAS SOPS 68373 HAS SOUS 35084 HAS SOUPS 35084 WITH SCORE 35152.373
AT ITER 6519 NEW BEST:: SOT 184514 SOS 68348 HAS SOPS 68348 HAS SOUS 35050 HAS SOUPS 35050 WITH SCORE 35118.348
AT ITER 6526 NEW BEST:: SOT 184514 SOS 68206 HAS SOPS 68206 HAS SOUS 35050 HAS SOUPS 35050 WITH SCORE 35118.206
AT ITER 6530 NEW BEST:: SOT 184514 SOS 68206 HAS SOPS 68206 HAS SOUS 35026 HAS SOUPS 35026 WITH SCORE 35094.206
AT ITER 6561 NEW BEST:: SOT 184513 SOS 68205 HAS SOPS 68205 HAS SOUS 35025 HAS SOUPS 35025 WITH SCORE 35093.205
AT ITER 6600 NEW BEST:: SOT 184462 SOS 68154 HAS SOPS 68154 HAS SOUS 34974 HAS SOUPS 34974 WITH SCORE 35042.154
AT ITER 6623 NEW BEST:: SOT 184462 SOS 68113 HAS SOPS 68113 HAS SOUS 34974 HAS SOUPS 34974 WITH SCORE 35042.113
AT ITER 6689 NEW BEST:: SOT 184431 SOS 68074 HAS SOPS 68074 HAS SOUS 34943 HAS SOUPS 34943 WITH SCORE 35011.074
AT ITER 6696 NEW BEST:: SOT 184418 SOS 68061 HAS SOPS 68061 HAS SOUS 34930 HAS SOUPS 34930 WITH SCORE 34998.061
AT ITER 6699 NEW BEST:: SOT 184391 SOS 68007 HAS SOPS 68007 HAS SOUS 34832 HAS SOUPS 34832 WITH SCORE 34900.007
AT ITER 6700 NEW BEST:: SOT 184380 SOS 67996 HAS SOPS 67996 HAS SOUS 34832 HAS SOUPS 34832 WITH SCORE 34899.996
AT ITER 6719 NEW BEST:: SOT 184380 SOS 67991 HAS SOPS 67991 HAS SOUS 34832 HAS SOUPS 34832 WITH SCORE 34899.991
AT ITER 6722 NEW BEST:: SOT 184379 SOS 67989 HAS SOPS 67989 HAS SOUS 34830 HAS SOUPS 34830 WITH SCORE 34897.989
AT ITER 6748 NEW BEST:: SOT 184219 SOS 67829 HAS SOPS 67829 HAS SOUS 34830 HAS SOUPS 34830 WITH SCORE 34897.829
AT ITER 6773 NEW BEST:: SOT 184172 SOS 67769 HAS SOPS 67769 HAS SOUS 34804 HAS SOUPS 34804 WITH SCORE 34871.769
AT ITER 6791 NEW BEST:: SOT 184167 SOS 67759 HAS SOPS 67759 HAS SOUS 34799 HAS SOUPS 34799 WITH SCORE 34866.759
AT ITER 6842 NEW BEST:: SOT 184161 SOS 67753 HAS SOPS 67753 HAS SOUS 34799 HAS SOUPS 34799 WITH SCORE 34866.753
AT ITER 6857 NEW BEST:: SOT 184118 SOS 67710 HAS SOPS 67710 HAS SOUS 34756 HAS SOUPS 34756 WITH SCORE 34823.71
AT ITER 6932 NEW BEST:: SOT 183882 SOS 67474 HAS SOPS 67474 HAS SOUS 34500 HAS SOUPS 34500 WITH SCORE 34567.474
AT ITER 6936 NEW BEST:: SOT 183880 SOS 67468 HAS SOPS 67468 HAS SOUS 34496 HAS SOUPS 34496 WITH SCORE 34563.468
AT ITER 6945 NEW BEST:: SOT 183877 SOS 67465 HAS SOPS 67465 HAS SOUS 34493 HAS SOUPS 34493 WITH SCORE 34560.465
AT ITER 6983 NEW BEST:: SOT 183896 SOS 67481 HAS SOPS 67481 HAS SOUS 34469 HAS SOUPS 34469 WITH SCORE 34536.481
AT ITER 6994 NEW BEST:: SOT 183853 SOS 67417 HAS SOPS 67417 HAS SOUS 34426 HAS SOUPS 34426 WITH SCORE 34493.417
AT ITER 7047 NEW BEST:: SOT 183837 SOS 67367 HAS SOPS 67367 HAS SOUS 34412 HAS SOUPS 34412 WITH SCORE 34479.367
AT ITER 7084 NEW BEST:: SOT 183837 SOS 67359 HAS SOPS 67359 HAS SOUS 34412 HAS SOUPS 34412 WITH SCORE 34479.359
AT ITER 7094 NEW BEST:: SOT 183837 SOS 67349 HAS SOPS 67349 HAS SOUS 34407 HAS SOUPS 34407 WITH SCORE 34474.349
AT ITER 7122 NEW BEST:: SOT 183823 SOS 67335 HAS SOPS 67335 HAS SOUS 34393 HAS SOUPS 34393 WITH SCORE 34460.335
AT ITER 7126 NEW BEST:: SOT 183827 SOS 67228 HAS SOPS 67228 HAS SOUS 34393 HAS SOUPS 34393 WITH SCORE 34460.228
AT ITER 7127 NEW BEST:: SOT 183829 SOS 67233 HAS SOPS 67233 HAS SOUS 34340 HAS SOUPS 34340 WITH SCORE 34407.233
AT ITER 7142 NEW BEST:: SOT 183848 SOS 67252 HAS SOPS 67252 HAS SOUS 34261 HAS SOUPS 34261 WITH SCORE 34328.252
AT ITER 7184 NEW BEST:: SOT 183757 SOS 67161 HAS SOPS 67161 HAS SOUS 34204 HAS SOUPS 34204 WITH SCORE 34271.161
AT ITER 7230 NEW BEST:: SOT 183737 SOS 67141 HAS SOPS 67141 HAS SOUS 34164 HAS SOUPS 34164 WITH SCORE 34231.141
AT ITER 7234 NEW BEST:: SOT 183718 SOS 67087 HAS SOPS 67087 HAS SOUS 34126 HAS SOUPS 34126 WITH SCORE 34193.087
AT ITER 7254 NEW BEST:: SOT 183700 SOS 67054 HAS SOPS 67054 HAS SOUS 34108 HAS SOUPS 34108 WITH SCORE 34175.054
AT ITER 7256 NEW BEST:: SOT 183700 SOS 67052 HAS SOPS 67052 HAS SOUS 34106 HAS SOUPS 34106 WITH SCORE 34173.052
AT ITER 7270 NEW BEST:: SOT 183689 SOS 67005 HAS SOPS 67005 HAS SOUS 34070 HAS SOUPS 34070 WITH SCORE 34137.005
AT ITER 7293 NEW BEST:: SOT 183689 SOS 66988 HAS SOPS 66988 HAS SOUS 34070 HAS SOUPS 34070 WITH SCORE 34136.988
AT ITER 7312 NEW BEST:: SOT 183689 SOS 66992 HAS SOPS 66992 HAS SOUS 34066 HAS SOUPS 34066 WITH SCORE 34132.992
AT ITER 7320 NEW BEST:: SOT 183685 SOS 67004 HAS SOPS 67004 HAS SOUS 34058 HAS SOUPS 34058 WITH SCORE 34125.004
AT ITER 7335 NEW BEST:: SOT 183655 SOS 66885 HAS SOPS 66885 HAS SOUS 34034 HAS SOUPS 34034 WITH SCORE 34100.885
AT ITER 7345 NEW BEST:: SOT 183658 SOS 66891 HAS SOPS 66891 HAS SOUS 34021 HAS SOUPS 34021 WITH SCORE 34087.891
AT ITER 7349 NEW BEST:: SOT 183658 SOS 66886 HAS SOPS 66886 HAS SOUS 34021 HAS SOUPS 34021 WITH SCORE 34087.886
AT ITER 7388 NEW BEST:: SOT 183620 SOS 66841 HAS SOPS 66841 HAS SOUS 34014 HAS SOUPS 34014 WITH SCORE 34080.841
AT ITER 7392 NEW BEST:: SOT 183619 SOS 66839 HAS SOPS 66839 HAS SOUS 34012 HAS SOUPS 34012 WITH SCORE 34078.839
AT ITER 7400 NEW BEST:: SOT 183602 SOS 66835 HAS SOPS 66835 HAS SOUS 34008 HAS SOUPS 34008 WITH SCORE 34074.835
AT ITER 7406 NEW BEST:: SOT 183588 SOS 66821 HAS SOPS 66821 HAS SOUS 34008 HAS SOUPS 34008 WITH SCORE 34074.821
AT ITER 7407 NEW BEST:: SOT 183569 SOS 66792 HAS SOPS 66792 HAS SOUS 33989 HAS SOUPS 33989 WITH SCORE 34055.792
AT ITER 7410 NEW BEST:: SOT 183561 SOS 66780 HAS SOPS 66780 HAS SOUS 33981 HAS SOUPS 33981 WITH SCORE 34047.78
AT ITER 7470 NEW BEST:: SOT 183559 SOS 66770 HAS SOPS 66770 HAS SOUS 33977 HAS SOUPS 33977 WITH SCORE 34043.77
AT ITER 7516 NEW BEST:: SOT 183558 SOS 66770 HAS SOPS 66770 HAS SOUS 33975 HAS SOUPS 33975 WITH SCORE 34041.77
AT ITER 7547 NEW BEST:: SOT 183562 SOS 66727 HAS SOPS 66727 HAS SOUS 33928 HAS SOUPS 33928 WITH SCORE 33994.727
AT ITER 7567 NEW BEST:: SOT 183497 SOS 66589 HAS SOPS 66589 HAS SOUS 33863 HAS SOUPS 33863 WITH SCORE 33929.589
AT ITER 7571 NEW BEST:: SOT 183514 SOS 66595 HAS SOPS 66595 HAS SOUS 33852 HAS SOUPS 33852 WITH SCORE 33918.595
AT ITER 7574 NEW BEST:: SOT 183511 SOS 66615 HAS SOPS 66615 HAS SOUS 33846 HAS SOUPS 33846 WITH SCORE 33912.615
AT ITER 7576 NEW BEST:: SOT 183468 SOS 66616 HAS SOPS 66616 HAS SOUS 33812 HAS SOUPS 33812 WITH SCORE 33878.616
AT ITER 7588 NEW BEST:: SOT 183446 SOS 66574 HAS SOPS 66574 HAS SOUS 33782 HAS SOUPS 33782 WITH SCORE 33848.574
AT ITER 7613 NEW BEST:: SOT 183446 SOS 66570 HAS SOPS 66570 HAS SOUS 33782 HAS SOUPS 33782 WITH SCORE 33848.57
AT ITER 7675 NEW BEST:: SOT 183433 SOS 66085 HAS SOPS 66085 HAS SOUS 33733 HAS SOUPS 33733 WITH SCORE 33799.085
AT ITER 7694 NEW BEST:: SOT 183429 SOS 66075 HAS SOPS 66075 HAS SOUS 33727 HAS SOUPS 33727 WITH SCORE 33793.075
AT ITER 7714 NEW BEST:: SOT 183425 SOS 66071 HAS SOPS 66071 HAS SOUS 33723 HAS SOUPS 33723 WITH SCORE 33789.071
AT ITER 7726 NEW BEST:: SOT 183420 SOS 66066 HAS SOPS 66066 HAS SOUS 33718 HAS SOUPS 33718 WITH SCORE 33784.066
AT ITER 7742 NEW BEST:: SOT 183404 SOS 66086 HAS SOPS 66086 HAS SOUS 33686 HAS SOUPS 33686 WITH SCORE 33752.086
AT ITER 7750 NEW BEST:: SOT 183404 SOS 66069 HAS SOPS 66069 HAS SOUS 33686 HAS SOUPS 33686 WITH SCORE 33752.069
AT ITER 7758 NEW BEST:: SOT 183404 SOS 66056 HAS SOPS 66056 HAS SOUS 33673 HAS SOUPS 33673 WITH SCORE 33739.056
AT ITER 7781 NEW BEST:: SOT 183404 SOS 66054 HAS SOPS 66054 HAS SOUS 33671 HAS SOUPS 33671 WITH SCORE 33737.054
AT ITER 7795 NEW BEST:: SOT 183399 SOS 66015 HAS SOPS 66015 HAS SOUS 33661 HAS SOUPS 33661 WITH SCORE 33727.015
AT ITER 7797 NEW BEST:: SOT 183399 SOS 66001 HAS SOPS 66001 HAS SOUS 33647 HAS SOUPS 33647 WITH SCORE 33713.001
AT ITER 7835 NEW BEST:: SOT 183396 SOS 66015 HAS SOPS 66015 HAS SOUS 33644 HAS SOUPS 33644 WITH SCORE 33710.015
AT ITER 7864 NEW BEST:: SOT 183387 SOS 66013 HAS SOPS 66013 HAS SOUS 33635 HAS SOUPS 33635 WITH SCORE 33701.013
AT ITER 7867 NEW BEST:: SOT 183286 SOS 65912 HAS SOPS 65912 HAS SOUS 33514 HAS SOUPS 33514 WITH SCORE 33579.912
AT ITER 7892 NEW BEST:: SOT 183282 SOS 65897 HAS SOPS 65897 HAS SOUS 33510 HAS SOUPS 33510 WITH SCORE 33575.897
AT ITER 7894 NEW BEST:: SOT 183264 SOS 65879 HAS SOPS 65879 HAS SOUS 33510 HAS SOUPS 33510 WITH SCORE 33575.879
AT ITER 7914 NEW BEST:: SOT 183244 SOS 66679 HAS SOPS 66679 HAS SOUS 33492 HAS SOUPS 33492 WITH SCORE 33558.679
AT ITER 7952 NEW BEST:: SOT 183246 SOS 66633 HAS SOPS 66633 HAS SOUS 33491 HAS SOUPS 33491 WITH SCORE 33557.633
AT ITER 7965 NEW BEST:: SOT 183246 SOS 66633 HAS SOPS 66633 HAS SOUS 33490 HAS SOUPS 33490 WITH SCORE 33556.633
AT ITER 7981 NEW BEST:: SOT 183245 SOS 66647 HAS SOPS 66647 HAS SOUS 33488 HAS SOUPS 33488 WITH SCORE 33554.647
AT ITER 8011 NEW BEST:: SOT 183233 SOS 66629 HAS SOPS 66629 HAS SOUS 33470 HAS SOUPS 33470 WITH SCORE 33536.629
AT ITER 8042 NEW BEST:: SOT 183233 SOS 66626 HAS SOPS 66626 HAS SOUS 33470 HAS SOUPS 33470 WITH SCORE 33536.626
AT ITER 8081 NEW BEST:: SOT 183224 SOS 66608 HAS SOPS 66608 HAS SOUS 33452 HAS SOUPS 33452 WITH SCORE 33518.608
AT ITER 8134 NEW BEST:: SOT 183206 SOS 66604 HAS SOPS 66604 HAS SOUS 33418 HAS SOUPS 33418 WITH SCORE 33484.604
AT ITER 8157 NEW BEST:: SOT 183180 SOS 66552 HAS SOPS 66552 HAS SOUS 33366 HAS SOUPS 33366 WITH SCORE 33432.552
AT ITER 8161 NEW BEST:: SOT 183182 SOS 66528 HAS SOPS 66528 HAS SOUS 33356 HAS SOUPS 33356 WITH SCORE 33422.528
AT ITER 8189 NEW BEST:: SOT 183180 SOS 66524 HAS SOPS 66524 HAS SOUS 33355 HAS SOUPS 33355 WITH SCORE 33421.524
AT ITER 8202 NEW BEST:: SOT 183209 SOS 66553 HAS SOPS 66553 HAS SOUS 33348 HAS SOUPS 33348 WITH SCORE 33414.553
AT ITER 8212 NEW BEST:: SOT 183212 SOS 66571 HAS SOPS 66571 HAS SOUS 33342 HAS SOUPS 33342 WITH SCORE 33408.571
AT ITER 8219 NEW BEST:: SOT 183245 SOS 66560 HAS SOPS 66560 HAS SOUS 33331 HAS SOUPS 33331 WITH SCORE 33397.56
AT ITER 8223 NEW BEST:: SOT 183231 SOS 66533 HAS SOPS 66533 HAS SOUS 33304 HAS SOUPS 33304 WITH SCORE 33370.533
AT ITER 8244 NEW BEST:: SOT 183229 SOS 66477 HAS SOPS 66477 HAS SOUS 33302 HAS SOUPS 33302 WITH SCORE 33368.477
AT ITER 8266 NEW BEST:: SOT 183229 SOS 66477 HAS SOPS 66477 HAS SOUS 33300 HAS SOUPS 33300 WITH SCORE 33366.477
AT ITER 8316 NEW BEST:: SOT 183179 SOS 66377 HAS SOPS 66377 HAS SOUS 33188 HAS SOUPS 33188 WITH SCORE 33254.377
AT ITER 8319 NEW BEST:: SOT 183152 SOS 66323 HAS SOPS 66323 HAS SOUS 33185 HAS SOUPS 33185 WITH SCORE 33251.323
AT ITER 8326 NEW BEST:: SOT 183152 SOS 66323 HAS SOPS 66323 HAS SOUS 33169 HAS SOUPS 33169 WITH SCORE 33235.323
AT ITER 8339 NEW BEST:: SOT 183157 SOS 66328 HAS SOPS 66328 HAS SOUS 33122 HAS SOUPS 33122 WITH SCORE 33188.328
AT ITER 8341 NEW BEST:: SOT 183133 SOS 66307 HAS SOPS 66307 HAS SOUS 33101 HAS SOUPS 33101 WITH SCORE 33167.307
AT ITER 8396 NEW BEST:: SOT 183119 SOS 66286 HAS SOPS 66286 HAS SOUS 33080 HAS SOUPS 33080 WITH SCORE 33146.286
AT ITER 8418 NEW BEST:: SOT 183101 SOS 66260 HAS SOPS 66260 HAS SOUS 33052 HAS SOUPS 33052 WITH SCORE 33118.26
AT ITER 8422 NEW BEST:: SOT 183198 SOS 66229 HAS SOPS 66229 HAS SOUS 33043 HAS SOUPS 33043 WITH SCORE 33109.229
AT ITER 8458 NEW BEST:: SOT 183195 SOS 66223 HAS SOPS 66223 HAS SOUS 33040 HAS SOUPS 33040 WITH SCORE 33106.223
AT ITER 8462 NEW BEST:: SOT 183191 SOS 66215 HAS SOPS 66215 HAS SOUS 33040 HAS SOUPS 33040 WITH SCORE 33106.215
AT ITER 8470 NEW BEST:: SOT 183191 SOS 66179 HAS SOPS 66179 HAS SOUS 33009 HAS SOUPS 33009 WITH SCORE 33075.179
AT ITER 8500 NEW BEST:: SOT 183180 SOS 66193 HAS SOPS 66193 HAS SOUS 32993 HAS SOUPS 32993 WITH SCORE 33059.193
AT ITER 8509 NEW BEST:: SOT 183207 SOS 66088 HAS SOPS 66088 HAS SOUS 32973 HAS SOUPS 32973 WITH SCORE 33039.088
AT ITER 8577 NEW BEST:: SOT 183203 SOS 66080 HAS SOPS 66080 HAS SOUS 32948 HAS SOUPS 32948 WITH SCORE 33014.08
AT ITER 8630 NEW BEST:: SOT 183167 SOS 66044 HAS SOPS 66044 HAS SOUS 32912 HAS SOUPS 32912 WITH SCORE 32978.044
AT ITER 8642 NEW BEST:: SOT 183167 SOS 66044 HAS SOPS 66044 HAS SOUS 32880 HAS SOUPS 32880 WITH SCORE 32946.044
AT ITER 8645 NEW BEST:: SOT 183163 SOS 66045 HAS SOPS 66045 HAS SOUS 32858 HAS SOUPS 32858 WITH SCORE 32924.045
AT ITER 8652 NEW BEST:: SOT 183138 SOS 66020 HAS SOPS 66020 HAS SOUS 32833 HAS SOUPS 32833 WITH SCORE 32899.02
AT ITER 8655 NEW BEST:: SOT 183130 SOS 66012 HAS SOPS 66012 HAS SOUS 32826 HAS SOUPS 32826 WITH SCORE 32892.012
AT ITER 8660 NEW BEST:: SOT 183133 SOS 65982 HAS SOPS 65982 HAS SOUS 32826 HAS SOUPS 32826 WITH SCORE 32891.982
AT ITER 8676 NEW BEST:: SOT 183119 SOS 65968 HAS SOPS 65968 HAS SOUS 32826 HAS SOUPS 32826 WITH SCORE 32891.968
AT ITER 8720 NEW BEST:: SOT 183121 SOS 65970 HAS SOPS 65970 HAS SOUS 32823 HAS SOUPS 32823 WITH SCORE 32888.97
AT ITER 8773 NEW BEST:: SOT 183121 SOS 65970 HAS SOPS 65970 HAS SOUS 32819 HAS SOUPS 32819 WITH SCORE 32884.97
AT ITER 8792 NEW BEST:: SOT 183119 SOS 65966 HAS SOPS 65966 HAS SOUS 32788 HAS SOUPS 32788 WITH SCORE 32853.966
AT ITER 8793 NEW BEST:: SOT 183119 SOS 65956 HAS SOPS 65956 HAS SOUS 32768 HAS SOUPS 32768 WITH SCORE 32833.956
AT ITER 8814 NEW BEST:: SOT 183108 SOS 65934 HAS SOPS 65934 HAS SOUS 32757 HAS SOUPS 32757 WITH SCORE 32822.934
AT ITER 8865 NEW BEST:: SOT 183100 SOS 65894 HAS SOPS 65894 HAS SOUS 32749 HAS SOUPS 32749 WITH SCORE 32814.894
AT ITER 8874 NEW BEST:: SOT 183100 SOS 65907 HAS SOPS 65907 HAS SOUS 32736 HAS SOUPS 32736 WITH SCORE 32801.907
AT ITER 8878 NEW BEST:: SOT 183094 SOS 65895 HAS SOPS 65895 HAS SOUS 32724 HAS SOUPS 32724 WITH SCORE 32789.895
AT ITER 8896 NEW BEST:: SOT 183094 SOS 65890 HAS SOPS 65890 HAS SOUS 32714 HAS SOUPS 32714 WITH SCORE 32779.89
AT ITER 8909 NEW BEST:: SOT 183075 SOS 65820 HAS SOPS 65820 HAS SOUS 32669 HAS SOUPS 32669 WITH SCORE 32734.82
AT ITER 8942 NEW BEST:: SOT 183048 SOS 65766 HAS SOPS 65766 HAS SOUS 32642 HAS SOUPS 32642 WITH SCORE 32707.766
AT ITER 8957 NEW BEST:: SOT 183048 SOS 65766 HAS SOPS 65766 HAS SOUS 32641 HAS SOUPS 32641 WITH SCORE 32706.766
AT ITER 9060 NEW BEST:: SOT 183041 SOS 65745 HAS SOPS 65745 HAS SOUS 32634 HAS SOUPS 32634 WITH SCORE 32699.745
AT ITER 9110 NEW BEST:: SOT 183037 SOS 65733 HAS SOPS 65733 HAS SOUS 32630 HAS SOUPS 32630 WITH SCORE 32695.733
AT ITER 9133 NEW BEST:: SOT 183037 SOS 65629 HAS SOPS 65629 HAS SOUS 32630 HAS SOUPS 32630 WITH SCORE 32695.629
AT ITER 9146 NEW BEST:: SOT 183008 SOS 65571 HAS SOPS 65571 HAS SOUS 32571 HAS SOUPS 32571 WITH SCORE 32636.571
AT ITER 9159 NEW BEST:: SOT 182995 SOS 65558 HAS SOPS 65558 HAS SOUS 32571 HAS SOUPS 32571 WITH SCORE 32636.558
AT ITER 9177 NEW BEST:: SOT 182995 SOS 65558 HAS SOPS 65558 HAS SOUS 32558 HAS SOUPS 32558 WITH SCORE 32623.558
AT ITER 9197 NEW BEST:: SOT 183001 SOS 65570 HAS SOPS 65570 HAS SOUS 32529 HAS SOUPS 32529 WITH SCORE 32594.57
AT ITER 9221 NEW BEST:: SOT 182959 SOS 65486 HAS SOPS 65486 HAS SOUS 32445 HAS SOUPS 32445 WITH SCORE 32510.486
AT ITER 9232 NEW BEST:: SOT 182937 SOS 65442 HAS SOPS 65442 HAS SOUS 32405 HAS SOUPS 32405 WITH SCORE 32470.442
AT ITER 9292 NEW BEST:: SOT 182933 SOS 65454 HAS SOPS 65454 HAS SOUS 32363 HAS SOUPS 32363 WITH SCORE 32428.454
AT ITER 9316 NEW BEST:: SOT 182933 SOS 65445 HAS SOPS 65445 HAS SOUS 32363 HAS SOUPS 32363 WITH SCORE 32428.445
AT ITER 9324 NEW BEST:: SOT 182933 SOS 65445 HAS SOPS 65445 HAS SOUS 32326 HAS SOUPS 32326 WITH SCORE 32391.445
AT ITER 9330 NEW BEST:: SOT 182923 SOS 65437 HAS SOPS 65437 HAS SOUS 32306 HAS SOUPS 32306 WITH SCORE 32371.437
AT ITER 9333 NEW BEST:: SOT 182923 SOS 65437 HAS SOPS 65437 HAS SOUS 32299 HAS SOUPS 32299 WITH SCORE 32364.437
AT ITER 9382 NEW BEST:: SOT 182894 SOS 65279 HAS SOPS 65279 HAS SOUS 32294 HAS SOUPS 32294 WITH SCORE 32359.279
AT ITER 9383 NEW BEST:: SOT 182894 SOS 65279 HAS SOPS 65279 HAS SOUS 32291 HAS SOUPS 32291 WITH SCORE 32356.279
AT ITER 9415 NEW BEST:: SOT 182905 SOS 65267 HAS SOPS 65267 HAS SOUS 32279 HAS SOUPS 32279 WITH SCORE 32344.267
AT ITER 9416 NEW BEST:: SOT 183018 SOS 64113 HAS SOPS 64113 HAS SOUS 32214 HAS SOUPS 32214 WITH SCORE 32278.113
AT ITER 9465 NEW BEST:: SOT 183018 SOS 63861 HAS SOPS 63861 HAS SOUS 32214 HAS SOUPS 32214 WITH SCORE 32277.861
AT ITER 9474 NEW BEST:: SOT 183018 SOS 63745 HAS SOPS 63745 HAS SOUS 32175 HAS SOUPS 32175 WITH SCORE 32238.745
AT ITER 9480 NEW BEST:: SOT 182985 SOS 63705 HAS SOPS 63705 HAS SOUS 32135 HAS SOUPS 32135 WITH SCORE 32198.705
AT ITER 9513 NEW BEST:: SOT 182973 SOS 63693 HAS SOPS 63693 HAS SOUS 32098 HAS SOUPS 32098 WITH SCORE 32161.693
AT ITER 9526 NEW BEST:: SOT 182955 SOS 63664 HAS SOPS 63664 HAS SOUS 32069 HAS SOUPS 32069 WITH SCORE 32132.664
AT ITER 9651 NEW BEST:: SOT 182913 SOS 63624 HAS SOPS 63624 HAS SOUS 32064 HAS SOUPS 32064 WITH SCORE 32127.624
AT ITER 9660 NEW BEST:: SOT 182911 SOS 63622 HAS SOPS 63622 HAS SOUS 32062 HAS SOUPS 32062 WITH SCORE 32125.622
AT ITER 9710 NEW BEST:: SOT 182822 SOS 63431 HAS SOPS 63431 HAS SOUS 31973 HAS SOUPS 31973 WITH SCORE 32036.431
AT ITER 9720 NEW BEST:: SOT 182767 SOS 63340 HAS SOPS 63340 HAS SOUS 31882 HAS SOUPS 31882 WITH SCORE 31945.34
AT ITER 9736 NEW BEST:: SOT 182766 SOS 63763 HAS SOPS 63763 HAS SOUS 31880 HAS SOUPS 31880 WITH SCORE 31943.763
AT ITER 9861 NEW BEST:: SOT 182768 SOS 63749 HAS SOPS 63749 HAS SOUS 31868 HAS SOUPS 31868 WITH SCORE 31931.749
AT ITER 9878 NEW BEST:: SOT 182767 SOS 63747 HAS SOPS 63747 HAS SOUS 31867 HAS SOUPS 31867 WITH SCORE 31930.747
AT ITER 9891 NEW BEST:: SOT 182731 SOS 63662 HAS SOPS 63662 HAS SOUS 31831 HAS SOUPS 31831 WITH SCORE 31894.662
AT ITER 9911 NEW BEST:: SOT 182722 SOS 63564 HAS SOPS 63564 HAS SOUS 31822 HAS SOUPS 31822 WITH SCORE 31885.564
AT ITER 9920 NEW BEST:: SOT 182723 SOS 63565 HAS SOPS 63565 HAS SOUS 31814 HAS SOUPS 31814 WITH SCORE 31877.565
AT ITER 9938 NEW BEST:: SOT 182707 SOS 63533 HAS SOPS 63533 HAS SOUS 31782 HAS SOUPS 31782 WITH SCORE 31845.533
AT ITER 9986 NEW BEST:: SOT 182707 SOS 63533 HAS SOPS 63533 HAS SOUS 31750 HAS SOUPS 31750 WITH SCORE 31813.533
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 6797336 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16124832 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="FlexibleBarrier-PT-06b"
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 FlexibleBarrier-PT-06b, 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 r171-tall-167838858600472"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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