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.r235-tall-167856422200736.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 Medical-PT-22, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r235-tall-167856422200736
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.5M
-rw-r--r-- 1 mcc users 5.5K Feb 25 14:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 48K Feb 25 14:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 14:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 25 14:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:23 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 14:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 120K Feb 25 14:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 25 14:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 14:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 3.1M 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 1678688060844

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=Medical-PT-22
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 06:14:22] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 06:14:22] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 06:14:22] [INFO ] Load time of PNML (sax parser for PT used): 240 ms
[2023-03-13 06:14:22] [INFO ] Transformed 312 places.
[2023-03-13 06:14:22] [INFO ] Transformed 5431 transitions.
[2023-03-13 06:14:22] [INFO ] Parsed PT model containing 312 places and 5431 transitions and 28790 arcs in 336 ms.
[2023-03-13 06:14:22] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 312 places, 5431 transitions and 28790 arcs took 59 ms.
Total runtime 421 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Medical (PT), instance 22
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: 312 places, 5431 transitions, 28790 arcs.
AT ITER 0 NEW BEST:: SOT 1169527 SOS 637811 HAS SOPS 634715 HAS SOUS 252203 HAS SOUPS 249386 WITH SCORE 250023.811
AT ITER 7 NEW BEST:: SOT 1169502 SOS 637741 HAS SOPS 634690 HAS SOUS 249993 HAS SOUPS 247211 WITH SCORE 247848.741
AT ITER 10 NEW BEST:: SOT 1169552 SOS 637740 HAS SOPS 634740 HAS SOUS 244922 HAS SOUPS 242178 WITH SCORE 242815.74
AT ITER 11 NEW BEST:: SOT 1169552 SOS 637734 HAS SOPS 634740 HAS SOUS 244883 HAS SOUPS 242142 WITH SCORE 242779.734
AT ITER 14 NEW BEST:: SOT 1169418 SOS 637248 HAS SOPS 634254 HAS SOUS 244718 HAS SOUPS 241977 WITH SCORE 242614.248
AT ITER 19 NEW BEST:: SOT 1169417 SOS 609597 HAS SOPS 606603 HAS SOUS 244701 HAS SOUPS 241960 WITH SCORE 242569.597
AT ITER 26 NEW BEST:: SOT 1168082 SOS 610254 HAS SOPS 607235 HAS SOUS 243932 HAS SOUPS 241166 WITH SCORE 241776.254
AT ITER 29 NEW BEST:: SOT 1168232 SOS 610404 HAS SOPS 607385 HAS SOUS 243657 HAS SOUPS 240891 WITH SCORE 241501.404
AT ITER 39 NEW BEST:: SOT 1168799 SOS 611595 HAS SOPS 608576 HAS SOUS 241653 HAS SOUPS 238887 WITH SCORE 239498.595
AT ITER 50 NEW BEST:: SOT 1168799 SOS 611270 HAS SOPS 608251 HAS SOUS 241640 HAS SOUPS 238874 WITH SCORE 239485.27
AT ITER 52 NEW BEST:: SOT 1168799 SOS 611894 HAS SOPS 608875 HAS SOUS 241589 HAS SOUPS 238823 WITH SCORE 239434.894
AT ITER 59 NEW BEST:: SOT 1168774 SOS 611820 HAS SOPS 608850 HAS SOUS 238989 HAS SOUPS 236260 WITH SCORE 236871.82
AT ITER 70 NEW BEST:: SOT 1168774 SOS 611436 HAS SOPS 608466 HAS SOUS 238989 HAS SOUPS 236260 WITH SCORE 236871.436
AT ITER 71 NEW BEST:: SOT 1168741 SOS 611399 HAS SOPS 608429 HAS SOUS 238954 HAS SOUPS 236225 WITH SCORE 236836.399
AT ITER 73 NEW BEST:: SOT 1168767 SOS 611785 HAS SOPS 608815 HAS SOUS 238844 HAS SOUPS 236115 WITH SCORE 236726.785
AT ITER 77 NEW BEST:: SOT 1168546 SOS 611564 HAS SOPS 608594 HAS SOUS 238493 HAS SOUPS 235764 WITH SCORE 236375.564
AT ITER 80 NEW BEST:: SOT 1169914 SOS 612968 HAS SOPS 609998 HAS SOUS 237593 HAS SOUPS 234864 WITH SCORE 235476.968
AT ITER 81 NEW BEST:: SOT 1170445 SOS 614068 HAS SOPS 611121 HAS SOUS 235480 HAS SOUPS 232751 WITH SCORE 233365.068
AT ITER 94 NEW BEST:: SOT 1155288 SOS 689605 HAS SOPS 686658 HAS SOUS 220369 HAS SOUPS 217640 WITH SCORE 218329.605
AT ITER 95 NEW BEST:: SOT 1155418 SOS 689735 HAS SOPS 686788 HAS SOUS 220346 HAS SOUPS 217617 WITH SCORE 218306.735
AT ITER 101 NEW BEST:: SOT 1157077 SOS 695186 HAS SOPS 692239 HAS SOUS 219945 HAS SOUPS 217216 WITH SCORE 217911.186
AT ITER 106 NEW BEST:: SOT 1157077 SOS 695186 HAS SOPS 692239 HAS SOUS 219073 HAS SOUPS 216344 WITH SCORE 217039.186
AT ITER 110 NEW BEST:: SOT 1157031 SOS 695468 HAS SOPS 692521 HAS SOUS 218915 HAS SOUPS 216186 WITH SCORE 216881.468
AT ITER 115 NEW BEST:: SOT 1156775 SOS 697068 HAS SOPS 694121 HAS SOUS 218826 HAS SOUPS 216097 WITH SCORE 216794.068
AT ITER 116 NEW BEST:: SOT 1156775 SOS 691075 HAS SOPS 688128 HAS SOUS 218809 HAS SOUPS 216080 WITH SCORE 216771.075
AT ITER 122 NEW BEST:: SOT 1156784 SOS 691084 HAS SOPS 688114 HAS SOUS 218818 HAS SOUPS 216066 WITH SCORE 216757.084
AT ITER 125 NEW BEST:: SOT 1157106 SOS 691222 HAS SOPS 688276 HAS SOUS 218715 HAS SOUPS 215987 WITH SCORE 216678.222
AT ITER 130 NEW BEST:: SOT 1157106 SOS 692878 HAS SOPS 689932 HAS SOUS 218579 HAS SOUPS 215851 WITH SCORE 216543.878
AT ITER 140 NEW BEST:: SOT 1157215 SOS 694705 HAS SOPS 691759 HAS SOUS 215485 HAS SOUPS 212757 WITH SCORE 213451.705
AT ITER 143 NEW BEST:: SOT 1156424 SOS 693854 HAS SOPS 690968 HAS SOUS 213585 HAS SOUPS 210897 WITH SCORE 211590.854
AT ITER 144 NEW BEST:: SOT 1155432 SOS 604107 HAS SOPS 601251 HAS SOUS 212587 HAS SOUPS 209899 WITH SCORE 210503.107
AT ITER 145 NEW BEST:: SOT 1157354 SOS 623915 HAS SOPS 620309 HAS SOUS 212624 HAS SOUPS 209783 WITH SCORE 210406.915
AT ITER 161 NEW BEST:: SOT 1157354 SOS 624851 HAS SOPS 621245 HAS SOUS 212380 HAS SOUPS 209539 WITH SCORE 210163.851
AT ITER 165 NEW BEST:: SOT 1157354 SOS 626579 HAS SOPS 622973 HAS SOUS 211987 HAS SOUPS 209146 WITH SCORE 209772.579
AT ITER 166 NEW BEST:: SOT 1157354 SOS 626481 HAS SOPS 622875 HAS SOUS 211938 HAS SOUPS 209097 WITH SCORE 209723.481
AT ITER 169 NEW BEST:: SOT 1157354 SOS 627153 HAS SOPS 623547 HAS SOUS 211765 HAS SOUPS 208924 WITH SCORE 209551.153
AT ITER 175 NEW BEST:: SOT 1159029 SOS 631894 HAS SOPS 628182 HAS SOUS 211593 HAS SOUPS 208646 WITH SCORE 209277.894
AT ITER 176 NEW BEST:: SOT 1158040 SOS 616443 HAS SOPS 613421 HAS SOUS 210334 HAS SOUPS 207525 WITH SCORE 208141.443
AT ITER 178 NEW BEST:: SOT 1158040 SOS 615879 HAS SOPS 612857 HAS SOUS 210332 HAS SOUPS 207523 WITH SCORE 208138.879
AT ITER 179 NEW BEST:: SOT 1158040 SOS 618329 HAS SOPS 615307 HAS SOUS 210111 HAS SOUPS 207302 WITH SCORE 207920.329
AT ITER 185 NEW BEST:: SOT 1157800 SOS 617986 HAS SOPS 615067 HAS SOUS 207622 HAS SOUPS 204893 WITH SCORE 205510.986
AT ITER 187 NEW BEST:: SOT 1157800 SOS 618442 HAS SOPS 615523 HAS SOUS 207508 HAS SOUPS 204779 WITH SCORE 205397.442
AT ITER 189 NEW BEST:: SOT 1157177 SOS 623718 HAS SOPS 620799 HAS SOUS 207138 HAS SOUPS 204409 WITH SCORE 205032.718
AT ITER 190 NEW BEST:: SOT 1157045 SOS 623528 HAS SOPS 620667 HAS SOUS 205347 HAS SOUPS 202668 WITH SCORE 203291.528
AT ITER 197 NEW BEST:: SOT 1156145 SOS 626876 HAS SOPS 624015 HAS SOUS 204877 HAS SOUPS 202198 WITH SCORE 202824.876
AT ITER 198 NEW BEST:: SOT 1156145 SOS 625151 HAS SOPS 622290 HAS SOUS 204877 HAS SOUPS 202198 WITH SCORE 202823.151
AT ITER 207 NEW BEST:: SOT 1156145 SOS 626015 HAS SOPS 623154 HAS SOUS 204661 HAS SOUPS 201982 WITH SCORE 202608.015
AT ITER 214 NEW BEST:: SOT 1156145 SOS 624565 HAS SOPS 621704 HAS SOUS 204603 HAS SOUPS 201924 WITH SCORE 202548.565
AT ITER 219 NEW BEST:: SOT 1147059 SOS 615593 HAS SOPS 612948 HAS SOUS 195536 HAS SOUPS 193073 WITH SCORE 193688.593
AT ITER 221 NEW BEST:: SOT 1147059 SOS 615586 HAS SOPS 612948 HAS SOUS 195436 HAS SOUPS 192980 WITH SCORE 193595.586
AT ITER 224 NEW BEST:: SOT 1147059 SOS 616498 HAS SOPS 613860 HAS SOUS 195221 HAS SOUPS 192765 WITH SCORE 193381.498
AT ITER 227 NEW BEST:: SOT 1147043 SOS 617610 HAS SOPS 614972 HAS SOUS 195201 HAS SOUPS 192745 WITH SCORE 193362.61
AT ITER 228 NEW BEST:: SOT 1147043 SOS 617850 HAS SOPS 615212 HAS SOUS 195141 HAS SOUPS 192685 WITH SCORE 193302.85
AT ITER 231 NEW BEST:: SOT 1147043 SOS 619026 HAS SOPS 616388 HAS SOUS 194221 HAS SOUPS 191765 WITH SCORE 192384.026
AT ITER 232 NEW BEST:: SOT 1146478 SOS 618461 HAS SOPS 615823 HAS SOUS 193514 HAS SOUPS 191058 WITH SCORE 191676.461
AT ITER 237 NEW BEST:: SOT 1145269 SOS 617252 HAS SOPS 614614 HAS SOUS 193121 HAS SOUPS 190665 WITH SCORE 191282.252
AT ITER 239 NEW BEST:: SOT 1145269 SOS 617396 HAS SOPS 614758 HAS SOUS 193091 HAS SOUPS 190635 WITH SCORE 191252.396
AT ITER 246 NEW BEST:: SOT 1145269 SOS 617374 HAS SOPS 614736 HAS SOUS 193091 HAS SOUPS 190635 WITH SCORE 191252.374
AT ITER 259 NEW BEST:: SOT 1145269 SOS 616870 HAS SOPS 614232 HAS SOUS 193091 HAS SOUPS 190635 WITH SCORE 191251.87
AT ITER 267 NEW BEST:: SOT 1144870 SOS 621302 HAS SOPS 618664 HAS SOUS 190571 HAS SOUPS 188115 WITH SCORE 188736.302
AT ITER 279 NEW BEST:: SOT 1148030 SOS 626637 HAS SOPS 624136 HAS SOUS 189789 HAS SOUPS 187333 WITH SCORE 187959.637
AT ITER 280 NEW BEST:: SOT 1147788 SOS 627859 HAS SOPS 625358 HAS SOUS 189228 HAS SOUPS 186772 WITH SCORE 187399.859
AT ITER 295 NEW BEST:: SOT 1147698 SOS 627769 HAS SOPS 625268 HAS SOUS 189138 HAS SOUPS 186682 WITH SCORE 187309.769
AT ITER 309 NEW BEST:: SOT 1147698 SOS 629305 HAS SOPS 626804 HAS SOUS 188988 HAS SOUPS 186532 WITH SCORE 187161.305
AT ITER 320 NEW BEST:: SOT 1147705 SOS 630482 HAS SOPS 627981 HAS SOUS 188651 HAS SOUPS 186195 WITH SCORE 186825.482
AT ITER 321 NEW BEST:: SOT 1147552 SOS 630261 HAS SOPS 627828 HAS SOUS 186034 HAS SOUPS 183646 WITH SCORE 184276.261
AT ITER 327 NEW BEST:: SOT 1147739 SOS 632088 HAS SOPS 629655 HAS SOUS 182890 HAS SOUPS 180502 WITH SCORE 181134.088
AT ITER 329 NEW BEST:: SOT 1147313 SOS 631662 HAS SOPS 629229 HAS SOUS 182719 HAS SOUPS 180331 WITH SCORE 180962.662
AT ITER 330 NEW BEST:: SOT 1147118 SOS 631467 HAS SOPS 629034 HAS SOUS 182605 HAS SOUPS 180217 WITH SCORE 180848.467
AT ITER 331 NEW BEST:: SOT 1145777 SOS 630151 HAS SOPS 627765 HAS SOUS 181268 HAS SOUPS 178927 WITH SCORE 179557.151
AT ITER 334 NEW BEST:: SOT 1145431 SOS 635301 HAS SOPS 632915 HAS SOUS 180019 HAS SOUPS 177678 WITH SCORE 178313.301
AT ITER 337 NEW BEST:: SOT 1145431 SOS 636225 HAS SOPS 633839 HAS SOUS 179660 HAS SOUPS 177319 WITH SCORE 177955.225
AT ITER 347 NEW BEST:: SOT 1145431 SOS 636225 HAS SOPS 633839 HAS SOUS 179604 HAS SOUPS 177263 WITH SCORE 177899.225
AT ITER 352 NEW BEST:: SOT 1145431 SOS 636225 HAS SOPS 633839 HAS SOUS 179526 HAS SOUPS 177185 WITH SCORE 177821.225
AT ITER 355 NEW BEST:: SOT 1144792 SOS 635559 HAS SOPS 633200 HAS SOUS 178039 HAS SOUPS 175725 WITH SCORE 176360.559
AT ITER 365 NEW BEST:: SOT 1144697 SOS 637210 HAS SOPS 634851 HAS SOUS 177854 HAS SOUPS 175540 WITH SCORE 176177.21
AT ITER 366 NEW BEST:: SOT 1144697 SOS 637078 HAS SOPS 634719 HAS SOUS 177854 HAS SOUPS 175540 WITH SCORE 176177.078
AT ITER 369 NEW BEST:: SOT 1144679 SOS 637060 HAS SOPS 634701 HAS SOUS 177836 HAS SOUPS 175522 WITH SCORE 176159.06
AT ITER 373 NEW BEST:: SOT 1143725 SOS 636370 HAS SOPS 634011 HAS SOUS 177249 HAS SOUPS 174935 WITH SCORE 175571.37
AT ITER 381 NEW BEST:: SOT 1143725 SOS 636778 HAS SOPS 634419 HAS SOUS 177164 HAS SOUPS 174850 WITH SCORE 175486.778
AT ITER 389 NEW BEST:: SOT 1142966 SOS 637912 HAS SOPS 635553 HAS SOUS 176836 HAS SOUPS 174522 WITH SCORE 175159.912
AT ITER 402 NEW BEST:: SOT 1143204 SOS 638150 HAS SOPS 635791 HAS SOUS 176679 HAS SOUPS 174365 WITH SCORE 175003.15
AT ITER 403 NEW BEST:: SOT 1142776 SOS 637753 HAS SOPS 635394 HAS SOUS 175998 HAS SOUPS 173684 WITH SCORE 174321.753
AT ITER 418 NEW BEST:: SOT 1142687 SOS 637736 HAS SOPS 635377 HAS SOUS 175770 HAS SOUPS 173456 WITH SCORE 174093.736
AT ITER 420 NEW BEST:: SOT 1142520 SOS 637569 HAS SOPS 635210 HAS SOUS 174262 HAS SOUPS 171948 WITH SCORE 172585.569
AT ITER 423 NEW BEST:: SOT 1143147 SOS 639084 HAS SOPS 636725 HAS SOUS 174213 HAS SOUPS 171899 WITH SCORE 172538.084
AT ITER 434 NEW BEST:: SOT 1143117 SOS 639054 HAS SOPS 636695 HAS SOUS 174183 HAS SOUPS 171869 WITH SCORE 172508.054
AT ITER 439 NEW BEST:: SOT 1143117 SOS 639726 HAS SOPS 637367 HAS SOUS 174071 HAS SOUPS 171757 WITH SCORE 172396.726
AT ITER 441 NEW BEST:: SOT 1143117 SOS 641392 HAS SOPS 639033 HAS SOUS 173935 HAS SOUPS 171621 WITH SCORE 172262.392
AT ITER 442 NEW BEST:: SOT 1142544 SOS 643123 HAS SOPS 640764 HAS SOUS 173399 HAS SOUPS 171085 WITH SCORE 171728.123
AT ITER 443 NEW BEST:: SOT 1142553 SOS 643132 HAS SOPS 640773 HAS SOUS 173206 HAS SOUPS 170892 WITH SCORE 171535.132
AT ITER 445 NEW BEST:: SOT 1142566 SOS 643145 HAS SOPS 640786 HAS SOUS 173129 HAS SOUPS 170815 WITH SCORE 171458.145
AT ITER 449 NEW BEST:: SOT 1142566 SOS 670318 HAS SOPS 667959 HAS SOUS 173028 HAS SOUPS 170714 WITH SCORE 171384.318
AT ITER 450 NEW BEST:: SOT 1141990 SOS 675334 HAS SOPS 672975 HAS SOUS 172675 HAS SOUPS 170361 WITH SCORE 171036.334
AT ITER 451 NEW BEST:: SOT 1141990 SOS 673750 HAS SOPS 671391 HAS SOUS 172675 HAS SOUPS 170361 WITH SCORE 171034.75
AT ITER 462 NEW BEST:: SOT 1141342 SOS 678598 HAS SOPS 676239 HAS SOUS 172432 HAS SOUPS 170118 WITH SCORE 170796.598
AT ITER 469 NEW BEST:: SOT 1141342 SOS 678598 HAS SOPS 676239 HAS SOUS 172394 HAS SOUPS 170080 WITH SCORE 170758.598
AT ITER 474 NEW BEST:: SOT 1141342 SOS 679123 HAS SOPS 676743 HAS SOUS 172310 HAS SOUPS 169975 WITH SCORE 170654.123
AT ITER 483 NEW BEST:: SOT 1142021 SOS 680402 HAS SOPS 678022 HAS SOUS 172067 HAS SOUPS 169732 WITH SCORE 170412.402
AT ITER 484 NEW BEST:: SOT 1142021 SOS 683186 HAS SOPS 680806 HAS SOUS 171781 HAS SOUPS 169446 WITH SCORE 170129.186
AT ITER 488 NEW BEST:: SOT 1142021 SOS 683378 HAS SOPS 680998 HAS SOUS 171761 HAS SOUPS 169426 WITH SCORE 170109.378
AT ITER 489 NEW BEST:: SOT 1141257 SOS 684061 HAS SOPS 683157 HAS SOUS 169547 HAS SOUPS 168688 WITH SCORE 169372.061
AT ITER 490 NEW BEST:: SOT 1140676 SOS 684092 HAS SOPS 683188 HAS SOUS 169306 HAS SOUPS 168447 WITH SCORE 169131.092
AT ITER 505 NEW BEST:: SOT 1140517 SOS 685984 HAS SOPS 685133 HAS SOUS 169121 HAS SOUPS 168315 WITH SCORE 169000.984
AT ITER 506 NEW BEST:: SOT 1140517 SOS 686572 HAS SOPS 685721 HAS SOUS 169079 HAS SOUPS 168273 WITH SCORE 168959.572
AT ITER 514 NEW BEST:: SOT 1140546 SOS 686630 HAS SOPS 685779 HAS SOUS 168934 HAS SOUPS 168128 WITH SCORE 168814.63
AT ITER 515 NEW BEST:: SOT 1140918 SOS 687002 HAS SOPS 686151 HAS SOUS 168874 HAS SOUPS 168068 WITH SCORE 168755.002
AT ITER 539 NEW BEST:: SOT 1140200 SOS 686243 HAS SOPS 685433 HAS SOUS 166788 HAS SOUPS 166023 WITH SCORE 166709.243
AT ITER 565 NEW BEST:: SOT 1140200 SOS 686243 HAS SOPS 685433 HAS SOUS 166675 HAS SOUPS 165910 WITH SCORE 166596.243
AT ITER 566 NEW BEST:: SOT 1140200 SOS 686315 HAS SOPS 685505 HAS SOUS 166660 HAS SOUPS 165895 WITH SCORE 166581.315
AT ITER 576 NEW BEST:: SOT 1139806 SOS 685896 HAS SOPS 685111 HAS SOUS 165765 HAS SOUPS 165025 WITH SCORE 165710.896
AT ITER 579 NEW BEST:: SOT 1139806 SOS 685022 HAS SOPS 684237 HAS SOUS 165765 HAS SOUPS 165025 WITH SCORE 165710.022
AT ITER 580 NEW BEST:: SOT 1139797 SOS 685013 HAS SOPS 684228 HAS SOUS 165755 HAS SOUPS 165015 WITH SCORE 165700.013
AT ITER 581 NEW BEST:: SOT 1139797 SOS 684725 HAS SOPS 683940 HAS SOUS 165755 HAS SOUPS 165015 WITH SCORE 165699.725
AT ITER 591 NEW BEST:: SOT 1139805 SOS 684925 HAS SOPS 684140 HAS SOUS 165723 HAS SOUPS 164983 WITH SCORE 165667.925
AT ITER 596 NEW BEST:: SOT 1139786 SOS 684906 HAS SOPS 684121 HAS SOUS 165704 HAS SOUPS 164964 WITH SCORE 165648.906
AT ITER 601 NEW BEST:: SOT 1138664 SOS 687433 HAS SOPS 686648 HAS SOUS 165157 HAS SOUPS 164417 WITH SCORE 165104.433
AT ITER 604 NEW BEST:: SOT 1137816 SOS 686571 HAS SOPS 685786 HAS SOUS 164026 HAS SOUPS 163286 WITH SCORE 163972.571
AT ITER 622 NEW BEST:: SOT 1137596 SOS 686351 HAS SOPS 685566 HAS SOUS 162416 HAS SOUPS 161676 WITH SCORE 162362.351
AT ITER 626 NEW BEST:: SOT 1137612 SOS 686823 HAS SOPS 686038 HAS SOUS 162023 HAS SOUPS 161283 WITH SCORE 161969.823
AT ITER 633 NEW BEST:: SOT 1136777 SOS 690373 HAS SOPS 689588 HAS SOUS 161540 HAS SOUPS 160800 WITH SCORE 161490.373
AT ITER 635 NEW BEST:: SOT 1136777 SOS 690373 HAS SOPS 689588 HAS SOUS 161498 HAS SOUPS 160758 WITH SCORE 161448.373
AT ITER 656 NEW BEST:: SOT 1136721 SOS 690317 HAS SOPS 689532 HAS SOUS 161423 HAS SOUPS 160683 WITH SCORE 161373.317
AT ITER 657 NEW BEST:: SOT 1137106 SOS 690702 HAS SOPS 689917 HAS SOUS 161121 HAS SOUPS 160381 WITH SCORE 161071.702
AT ITER 666 NEW BEST:: SOT 1138300 SOS 691896 HAS SOPS 691111 HAS SOUS 161108 HAS SOUPS 160368 WITH SCORE 161059.896
AT ITER 668 NEW BEST:: SOT 1138300 SOS 691944 HAS SOPS 691159 HAS SOUS 161098 HAS SOUPS 160358 WITH SCORE 161049.944
AT ITER 673 NEW BEST:: SOT 1138276 SOS 691920 HAS SOPS 691135 HAS SOUS 160075 HAS SOUPS 159335 WITH SCORE 160026.92
AT ITER 675 NEW BEST:: SOT 1138336 SOS 691148 HAS SOPS 690363 HAS SOUS 159834 HAS SOUPS 159094 WITH SCORE 159785.148
AT ITER 680 NEW BEST:: SOT 1137633 SOS 689287 HAS SOPS 688502 HAS SOUS 159422 HAS SOUPS 158682 WITH SCORE 159371.287
AT ITER 681 NEW BEST:: SOT 1137633 SOS 688671 HAS SOPS 687886 HAS SOUS 159356 HAS SOUPS 158616 WITH SCORE 159304.671
AT ITER 693 NEW BEST:: SOT 1137702 SOS 688698 HAS SOPS 687955 HAS SOUS 158299 HAS SOUPS 157601 WITH SCORE 158289.698
AT ITER 698 NEW BEST:: SOT 1137783 SOS 688779 HAS SOPS 688036 HAS SOUS 158167 HAS SOUPS 157469 WITH SCORE 158157.779
AT ITER 701 NEW BEST:: SOT 1137783 SOS 689059 HAS SOPS 688316 HAS SOUS 158157 HAS SOUPS 157459 WITH SCORE 158148.059
AT ITER 702 NEW BEST:: SOT 1137783 SOS 689059 HAS SOPS 688316 HAS SOUS 158085 HAS SOUPS 157387 WITH SCORE 158076.059
AT ITER 724 NEW BEST:: SOT 1137078 SOS 688114 HAS SOPS 687371 HAS SOUS 157223 HAS SOUPS 156525 WITH SCORE 157213.114
AT ITER 736 NEW BEST:: SOT 1137078 SOS 688114 HAS SOPS 687371 HAS SOUS 157027 HAS SOUPS 156329 WITH SCORE 157017.114
AT ITER 738 NEW BEST:: SOT 1135456 SOS 689976 HAS SOPS 689233 HAS SOUS 156859 HAS SOUPS 156161 WITH SCORE 156850.976
AT ITER 739 NEW BEST:: SOT 1135456 SOS 689976 HAS SOPS 689233 HAS SOUS 156835 HAS SOUPS 156137 WITH SCORE 156826.976
AT ITER 743 NEW BEST:: SOT 1135399 SOS 689919 HAS SOPS 689176 HAS SOUS 156715 HAS SOUPS 156017 WITH SCORE 156706.919
AT ITER 744 NEW BEST:: SOT 1135399 SOS 690423 HAS SOPS 689680 HAS SOUS 156644 HAS SOUPS 155946 WITH SCORE 156636.423
AT ITER 747 NEW BEST:: SOT 1135290 SOS 690314 HAS SOPS 689571 HAS SOUS 156402 HAS SOUPS 155704 WITH SCORE 156394.314
AT ITER 763 NEW BEST:: SOT 1135290 SOS 690314 HAS SOPS 689571 HAS SOUS 156134 HAS SOUPS 155436 WITH SCORE 156126.314
AT ITER 764 NEW BEST:: SOT 1135574 SOS 690576 HAS SOPS 689855 HAS SOUS 155320 HAS SOUPS 154644 WITH SCORE 155334.576
AT ITER 774 NEW BEST:: SOT 1135574 SOS 690576 HAS SOPS 689855 HAS SOUS 154960 HAS SOUPS 154284 WITH SCORE 154974.576
AT ITER 783 NEW BEST:: SOT 1135574 SOS 688944 HAS SOPS 688223 HAS SOUS 154960 HAS SOUPS 154284 WITH SCORE 154972.944
AT ITER 784 NEW BEST:: SOT 1136011 SOS 689381 HAS SOPS 688660 HAS SOUS 154734 HAS SOUPS 154058 WITH SCORE 154747.381
AT ITER 785 NEW BEST:: SOT 1130695 SOS 823812 HAS SOPS 823678 HAS SOUS 150167 HAS SOUPS 150078 WITH SCORE 150901.812
AT ITER 789 NEW BEST:: SOT 1130695 SOS 823644 HAS SOPS 823510 HAS SOUS 150167 HAS SOUPS 150078 WITH SCORE 150901.644
AT ITER 794 NEW BEST:: SOT 1130695 SOS 821478 HAS SOPS 821344 HAS SOUS 150161 HAS SOUPS 150072 WITH SCORE 150893.478
AT ITER 796 NEW BEST:: SOT 1129595 SOS 820858 HAS SOPS 820724 HAS SOUS 148802 HAS SOUPS 148713 WITH SCORE 149533.858
AT ITER 799 NEW BEST:: SOT 1128064 SOS 819327 HAS SOPS 819193 HAS SOUS 148721 HAS SOUPS 148632 WITH SCORE 149451.327
AT ITER 802 NEW BEST:: SOT 1126862 SOS 819874 HAS SOPS 819740 HAS SOUS 147740 HAS SOUPS 147651 WITH SCORE 148470.874
AT ITER 805 NEW BEST:: SOT 1128211 SOS 821223 HAS SOPS 821089 HAS SOUS 146973 HAS SOUPS 146884 WITH SCORE 147705.223
AT ITER 817 NEW BEST:: SOT 1128203 SOS 821227 HAS SOPS 821093 HAS SOUS 146967 HAS SOUPS 146878 WITH SCORE 147699.227
AT ITER 831 NEW BEST:: SOT 1128235 SOS 821259 HAS SOPS 821125 HAS SOUS 143253 HAS SOUPS 143164 WITH SCORE 143985.259
AT ITER 836 NEW BEST:: SOT 1128235 SOS 821007 HAS SOPS 820873 HAS SOUS 143253 HAS SOUPS 143164 WITH SCORE 143985.007
AT ITER 837 NEW BEST:: SOT 1127936 SOS 820708 HAS SOPS 820574 HAS SOUS 142621 HAS SOUPS 142532 WITH SCORE 143352.708
AT ITER 839 NEW BEST:: SOT 1127754 SOS 820526 HAS SOPS 820392 HAS SOUS 142276 HAS SOUPS 142187 WITH SCORE 143007.526
AT ITER 849 NEW BEST:: SOT 1127754 SOS 820526 HAS SOPS 820392 HAS SOUS 142138 HAS SOUPS 142049 WITH SCORE 142869.526
AT ITER 855 NEW BEST:: SOT 1127621 SOS 820393 HAS SOPS 820259 HAS SOUS 141616 HAS SOUPS 141527 WITH SCORE 142347.393
AT ITER 858 NEW BEST:: SOT 1127708 SOS 816872 HAS SOPS 816646 HAS SOUS 141675 HAS SOUPS 141509 WITH SCORE 142325.872
AT ITER 860 NEW BEST:: SOT 1127266 SOS 816430 HAS SOPS 816204 HAS SOUS 141233 HAS SOUPS 141067 WITH SCORE 141883.43
AT ITER 863 NEW BEST:: SOT 1127274 SOS 816438 HAS SOPS 816212 HAS SOUS 141010 HAS SOUPS 140844 WITH SCORE 141660.438
AT ITER 866 NEW BEST:: SOT 1127274 SOS 818478 HAS SOPS 818252 HAS SOUS 139757 HAS SOUPS 139591 WITH SCORE 140409.478
AT ITER 886 NEW BEST:: SOT 1127274 SOS 818402 HAS SOPS 818176 HAS SOUS 139757 HAS SOUPS 139591 WITH SCORE 140409.402
AT ITER 888 NEW BEST:: SOT 1127274 SOS 815880 HAS SOPS 815654 HAS SOUS 139637 HAS SOUPS 139471 WITH SCORE 140286.88
AT ITER 889 NEW BEST:: SOT 1127274 SOS 817704 HAS SOPS 817478 HAS SOUS 138863 HAS SOUPS 138697 WITH SCORE 139514.704
AT ITER 895 NEW BEST:: SOT 1127440 SOS 818255 HAS SOPS 818044 HAS SOUS 136797 HAS SOUPS 136631 WITH SCORE 137449.255
AT ITER 899 NEW BEST:: SOT 1127439 SOS 818254 HAS SOPS 818043 HAS SOUS 136439 HAS SOUPS 136273 WITH SCORE 137091.254
AT ITER 905 NEW BEST:: SOT 1128210 SOS 819025 HAS SOPS 818814 HAS SOUS 134967 HAS SOUPS 134801 WITH SCORE 135620.025
AT ITER 916 NEW BEST:: SOT 1128124 SOS 818939 HAS SOPS 818728 HAS SOUS 134852 HAS SOUPS 134686 WITH SCORE 135504.939
AT ITER 919 NEW BEST:: SOT 1128285 SOS 819100 HAS SOPS 818889 HAS SOUS 134328 HAS SOUPS 134162 WITH SCORE 134981.1
AT ITER 921 NEW BEST:: SOT 1130377 SOS 821203 HAS SOPS 820992 HAS SOUS 134070 HAS SOUPS 133904 WITH SCORE 134725.203
AT ITER 929 NEW BEST:: SOT 1133165 SOS 827681 HAS SOPS 827320 HAS SOUS 134047 HAS SOUPS 133731 WITH SCORE 134558.681
AT ITER 945 NEW BEST:: SOT 1134032 SOS 828391 HAS SOPS 828019 HAS SOUS 133639 HAS SOUPS 133312 WITH SCORE 134140.391
AT ITER 947 NEW BEST:: SOT 1134032 SOS 828535 HAS SOPS 828163 HAS SOUS 133604 HAS SOUPS 133277 WITH SCORE 134105.535
AT ITER 952 NEW BEST:: SOT 1134005 SOS 828508 HAS SOPS 828136 HAS SOUS 133075 HAS SOUPS 132748 WITH SCORE 133576.508
AT ITER 961 NEW BEST:: SOT 1134020 SOS 828502 HAS SOPS 828123 HAS SOUS 133065 HAS SOUPS 132731 WITH SCORE 133559.502
AT ITER 964 NEW BEST:: SOT 1134020 SOS 828490 HAS SOPS 828111 HAS SOUS 133062 HAS SOUPS 132728 WITH SCORE 133556.49
AT ITER 967 NEW BEST:: SOT 1134068 SOS 828538 HAS SOPS 828159 HAS SOUS 132742 HAS SOUPS 132408 WITH SCORE 133236.538
AT ITER 973 NEW BEST:: SOT 1134068 SOS 828538 HAS SOPS 828159 HAS SOUS 132643 HAS SOUPS 132309 WITH SCORE 133137.538
AT ITER 977 NEW BEST:: SOT 1134068 SOS 828426 HAS SOPS 828047 HAS SOUS 132643 HAS SOUPS 132309 WITH SCORE 133137.426
AT ITER 986 NEW BEST:: SOT 1134068 SOS 828426 HAS SOPS 828047 HAS SOUS 132594 HAS SOUPS 132260 WITH SCORE 133088.426
AT ITER 1003 NEW BEST:: SOT 1134036 SOS 828383 HAS SOPS 828004 HAS SOUS 132540 HAS SOUPS 132206 WITH SCORE 133034.383
AT ITER 1008 NEW BEST:: SOT 1135651 SOS 829998 HAS SOPS 829619 HAS SOUS 132045 HAS SOUPS 131711 WITH SCORE 132540.998
AT ITER 1017 NEW BEST:: SOT 1135651 SOS 829998 HAS SOPS 829619 HAS SOUS 132012 HAS SOUPS 131678 WITH SCORE 132507.998
AT ITER 1021 NEW BEST:: SOT 1135631 SOS 829974 HAS SOPS 829595 HAS SOUS 131992 HAS SOUPS 131658 WITH SCORE 132487.974
AT ITER 1040 NEW BEST:: SOT 1136130 SOS 830630 HAS SOPS 830262 HAS SOUS 130624 HAS SOUPS 130301 WITH SCORE 131131.63
AT ITER 1041 NEW BEST:: SOT 1136121 SOS 830621 HAS SOPS 830253 HAS SOUS 130615 HAS SOUPS 130292 WITH SCORE 131122.621
AT ITER 1046 NEW BEST:: SOT 1135725 SOS 830225 HAS SOPS 829857 HAS SOUS 130004 HAS SOUPS 129681 WITH SCORE 130511.225
AT ITER 1050 NEW BEST:: SOT 1135738 SOS 830238 HAS SOPS 829870 HAS SOUS 129792 HAS SOUPS 129469 WITH SCORE 130299.238
AT ITER 1052 NEW BEST:: SOT 1135738 SOS 830238 HAS SOPS 829870 HAS SOUS 129764 HAS SOUPS 129441 WITH SCORE 130271.238
AT ITER 1055 NEW BEST:: SOT 1135738 SOS 830238 HAS SOPS 829870 HAS SOUS 129743 HAS SOUPS 129420 WITH SCORE 130250.238
AT ITER 1061 NEW BEST:: SOT 1133605 SOS 829665 HAS SOPS 829297 HAS SOUS 129484 HAS SOUPS 129161 WITH SCORE 129990.665
AT ITER 1067 NEW BEST:: SOT 1133398 SOS 829458 HAS SOPS 829090 HAS SOUS 128869 HAS SOUPS 128546 WITH SCORE 129375.458
AT ITER 1076 NEW BEST:: SOT 1133398 SOS 829358 HAS SOPS 828990 HAS SOUS 128822 HAS SOUPS 128499 WITH SCORE 129328.358
AT ITER 1080 NEW BEST:: SOT 1132627 SOS 828299 HAS SOPS 827931 HAS SOUS 127955 HAS SOUPS 127632 WITH SCORE 128460.299
AT ITER 1087 NEW BEST:: SOT 1133063 SOS 828735 HAS SOPS 828367 HAS SOUS 127417 HAS SOUPS 127094 WITH SCORE 127922.735
AT ITER 1088 NEW BEST:: SOT 1132953 SOS 828625 HAS SOPS 828257 HAS SOUS 127328 HAS SOUPS 127005 WITH SCORE 127833.625
AT ITER 1095 NEW BEST:: SOT 1132953 SOS 829013 HAS SOPS 828645 HAS SOUS 126972 HAS SOUPS 126649 WITH SCORE 127478.013
AT ITER 1097 NEW BEST:: SOT 1132923 SOS 828939 HAS SOPS 828571 HAS SOUS 126931 HAS SOUPS 126608 WITH SCORE 127436.939
AT ITER 1100 NEW BEST:: SOT 1132923 SOS 829643 HAS SOPS 829275 HAS SOUS 126899 HAS SOUPS 126576 WITH SCORE 127405.643
AT ITER 1108 NEW BEST:: SOT 1132923 SOS 829689 HAS SOPS 829321 HAS SOUS 126721 HAS SOUPS 126398 WITH SCORE 127227.689
AT ITER 1116 NEW BEST:: SOT 1132629 SOS 829395 HAS SOPS 829027 HAS SOUS 126132 HAS SOUPS 125809 WITH SCORE 126638.395
AT ITER 1119 NEW BEST:: SOT 1132629 SOS 829535 HAS SOPS 829167 HAS SOUS 126122 HAS SOUPS 125799 WITH SCORE 126628.535
AT ITER 1123 NEW BEST:: SOT 1132651 SOS 830373 HAS SOPS 830005 HAS SOUS 126062 HAS SOUPS 125739 WITH SCORE 126569.373
AT ITER 1126 NEW BEST:: SOT 1132608 SOS 900466 HAS SOPS 899932 HAS SOUS 126114 HAS SOUPS 125625 WITH SCORE 126525.466
AT ITER 1129 NEW BEST:: SOT 1132608 SOS 900484 HAS SOPS 899956 HAS SOUS 125445 HAS SOUPS 124962 WITH SCORE 125862.484
AT ITER 1135 NEW BEST:: SOT 1132608 SOS 900484 HAS SOPS 899956 HAS SOUS 125417 HAS SOUPS 124934 WITH SCORE 125834.484
AT ITER 1143 NEW BEST:: SOT 1132392 SOS 900268 HAS SOPS 899740 HAS SOUS 125334 HAS SOUPS 124851 WITH SCORE 125751.268
AT ITER 1147 NEW BEST:: SOT 1131182 SOS 898846 HAS SOPS 898318 HAS SOUS 124231 HAS SOUPS 123748 WITH SCORE 124646.846
AT ITER 1152 NEW BEST:: SOT 1131537 SOS 899201 HAS SOPS 898673 HAS SOUS 124099 HAS SOUPS 123616 WITH SCORE 124515.201
AT ITER 1158 NEW BEST:: SOT 1131539 SOS 900107 HAS SOPS 899579 HAS SOUS 124002 HAS SOUPS 123519 WITH SCORE 124419.107
AT ITER 1163 NEW BEST:: SOT 1131543 SOS 899966 HAS SOPS 899438 HAS SOUS 124001 HAS SOUPS 123518 WITH SCORE 124417.966
AT ITER 1164 NEW BEST:: SOT 1131554 SOS 900145 HAS SOPS 899617 HAS SOUS 123849 HAS SOUPS 123366 WITH SCORE 124266.145
AT ITER 1168 NEW BEST:: SOT 1131548 SOS 900139 HAS SOPS 899611 HAS SOUS 123834 HAS SOUPS 123351 WITH SCORE 124251.139
AT ITER 1180 NEW BEST:: SOT 1131548 SOS 900135 HAS SOPS 899607 HAS SOUS 123798 HAS SOUPS 123315 WITH SCORE 124215.135
AT ITER 1194 NEW BEST:: SOT 1131885 SOS 911553 HAS SOPS 911085 HAS SOUS 123029 HAS SOUPS 122561 WITH SCORE 123472.553
AT ITER 1197 NEW BEST:: SOT 1131651 SOS 911479 HAS SOPS 911035 HAS SOUS 122591 HAS SOUPS 122147 WITH SCORE 123058.479
AT ITER 1201 NEW BEST:: SOT 1131510 SOS 911338 HAS SOPS 910894 HAS SOUS 122301 HAS SOUPS 121857 WITH SCORE 122768.338
AT ITER 1211 NEW BEST:: SOT 1131950 SOS 911778 HAS SOPS 911334 HAS SOUS 121816 HAS SOUPS 121372 WITH SCORE 122283.778
AT ITER 1219 NEW BEST:: SOT 1134121 SOS 913949 HAS SOPS 913505 HAS SOUS 121454 HAS SOUPS 121010 WITH SCORE 121923.949
AT ITER 1223 NEW BEST:: SOT 1134273 SOS 914101 HAS SOPS 913657 HAS SOUS 121324 HAS SOUPS 120880 WITH SCORE 121794.101
AT ITER 1233 NEW BEST:: SOT 1133930 SOS 916209 HAS SOPS 915892 HAS SOUS 121065 HAS SOUPS 120748 WITH SCORE 121664.209
AT ITER 1256 NEW BEST:: SOT 1133930 SOS 914884 HAS SOPS 914620 HAS SOUS 121012 HAS SOUPS 120748 WITH SCORE 121662.884
AT ITER 1266 NEW BEST:: SOT 1133930 SOS 914884 HAS SOPS 914620 HAS SOUS 120713 HAS SOUPS 120449 WITH SCORE 121363.884
AT ITER 1275 NEW BEST:: SOT 1133861 SOS 914815 HAS SOPS 914551 HAS SOUS 120386 HAS SOUPS 120122 WITH SCORE 121036.815
AT ITER 1278 NEW BEST:: SOT 1132998 SOS 913914 HAS SOPS 913650 HAS SOUS 120375 HAS SOUPS 120111 WITH SCORE 121024.914
AT ITER 1283 NEW BEST:: SOT 1132451 SOS 912887 HAS SOPS 912623 HAS SOUS 119996 HAS SOUPS 119732 WITH SCORE 120644.887
AT ITER 1286 NEW BEST:: SOT 1132285 SOS 908489 HAS SOPS 908225 HAS SOUS 119966 HAS SOUPS 119702 WITH SCORE 120610.489
AT ITER 1289 NEW BEST:: SOT 1132263 SOS 908466 HAS SOPS 908202 HAS SOUS 119942 HAS SOUPS 119678 WITH SCORE 120586.466
AT ITER 1296 NEW BEST:: SOT 1132263 SOS 908464 HAS SOPS 908200 HAS SOUS 119942 HAS SOUPS 119678 WITH SCORE 120586.464
AT ITER 1302 NEW BEST:: SOT 1132047 SOS 904351 HAS SOPS 904055 HAS SOUS 119924 HAS SOUPS 119652 WITH SCORE 120556.351
AT ITER 1303 NEW BEST:: SOT 1132047 SOS 904267 HAS SOPS 903971 HAS SOUS 119903 HAS SOUPS 119631 WITH SCORE 120535.267
AT ITER 1314 NEW BEST:: SOT 1132047 SOS 904427 HAS SOPS 904131 HAS SOUS 119839 HAS SOUPS 119567 WITH SCORE 120471.427
AT ITER 1316 NEW BEST:: SOT 1132047 SOS 904619 HAS SOPS 904323 HAS SOUS 119793 HAS SOUPS 119521 WITH SCORE 120425.619
AT ITER 1319 NEW BEST:: SOT 1130812 SOS 902578 HAS SOPS 902282 HAS SOUS 118696 HAS SOUPS 118424 WITH SCORE 119326.578
AT ITER 1321 NEW BEST:: SOT 1131767 SOS 903621 HAS SOPS 903325 HAS SOUS 118527 HAS SOUPS 118255 WITH SCORE 119158.621
AT ITER 1322 NEW BEST:: SOT 1131414 SOS 903268 HAS SOPS 902972 HAS SOUS 117771 HAS SOUPS 117499 WITH SCORE 118402.268
AT ITER 1330 NEW BEST:: SOT 1131414 SOS 884588 HAS SOPS 884236 HAS SOUS 117747 HAS SOUPS 117475 WITH SCORE 118359.588
AT ITER 1331 NEW BEST:: SOT 1131414 SOS 884444 HAS SOPS 884092 HAS SOUS 117726 HAS SOUPS 117454 WITH SCORE 118338.444
AT ITER 1332 NEW BEST:: SOT 1130307 SOS 883337 HAS SOPS 882985 HAS SOUS 117718 HAS SOUPS 117446 WITH SCORE 118329.337
AT ITER 1360 NEW BEST:: SOT 1130307 SOS 883337 HAS SOPS 882985 HAS SOUS 117704 HAS SOUPS 117432 WITH SCORE 118315.337
AT ITER 1368 NEW BEST:: SOT 1130318 SOS 883546 HAS SOPS 883194 HAS SOUS 117678 HAS SOUPS 117406 WITH SCORE 118289.546
AT ITER 1382 NEW BEST:: SOT 1131225 SOS 884453 HAS SOPS 884101 HAS SOUS 117064 HAS SOUPS 116792 WITH SCORE 117676.453
AT ITER 1394 NEW BEST:: SOT 1130732 SOS 881805 HAS SOPS 881540 HAS SOUS 116419 HAS SOUPS 116234 WITH SCORE 117115.805
AT ITER 1395 NEW BEST:: SOT 1130431 SOS 881501 HAS SOPS 881236 HAS SOUS 116141 HAS SOUPS 115956 WITH SCORE 116837.501
AT ITER 1402 NEW BEST:: SOT 1130431 SOS 881475 HAS SOPS 881210 HAS SOUS 116128 HAS SOUPS 115943 WITH SCORE 116824.475
AT ITER 1403 NEW BEST:: SOT 1130431 SOS 881579 HAS SOPS 881314 HAS SOUS 116076 HAS SOUPS 115891 WITH SCORE 116772.579
AT ITER 1405 NEW BEST:: SOT 1130431 SOS 881973 HAS SOPS 881708 HAS SOUS 116033 HAS SOUPS 115848 WITH SCORE 116729.973
AT ITER 1409 NEW BEST:: SOT 1129042 SOS 879834 HAS SOPS 879569 HAS SOUS 116012 HAS SOUPS 115827 WITH SCORE 116706.834
AT ITER 1410 NEW BEST:: SOT 1129042 SOS 880140 HAS SOPS 879875 HAS SOUS 115619 HAS SOUPS 115434 WITH SCORE 116314.14
AT ITER 1419 NEW BEST:: SOT 1128582 SOS 879968 HAS SOPS 879703 HAS SOUS 115510 HAS SOUPS 115325 WITH SCORE 116204.968
AT ITER 1422 NEW BEST:: SOT 1128582 SOS 879488 HAS SOPS 879223 HAS SOUS 115490 HAS SOUPS 115305 WITH SCORE 116184.488
AT ITER 1432 NEW BEST:: SOT 1128785 SOS 879691 HAS SOPS 879426 HAS SOUS 115324 HAS SOUPS 115139 WITH SCORE 116018.691
AT ITER 1435 NEW BEST:: SOT 1128785 SOS 879207 HAS SOPS 878942 HAS SOUS 115250 HAS SOUPS 115065 WITH SCORE 115944.207
AT ITER 1437 NEW BEST:: SOT 1128056 SOS 878310 HAS SOPS 878045 HAS SOUS 114335 HAS SOUPS 114150 WITH SCORE 115028.31
AT ITER 1442 NEW BEST:: SOT 1128056 SOS 877998 HAS SOPS 877733 HAS SOUS 114335 HAS SOUPS 114150 WITH SCORE 115027.998
AT ITER 1456 NEW BEST:: SOT 1128056 SOS 877902 HAS SOPS 877637 HAS SOUS 114331 HAS SOUPS 114146 WITH SCORE 115023.902
AT ITER 1462 NEW BEST:: SOT 1126801 SOS 876647 HAS SOPS 876382 HAS SOUS 114269 HAS SOUPS 114084 WITH SCORE 114960.647
AT ITER 1483 NEW BEST:: SOT 1126747 SOS 876593 HAS SOPS 876328 HAS SOUS 114256 HAS SOUPS 114071 WITH SCORE 114947.593
AT ITER 1487 NEW BEST:: SOT 1126740 SOS 876586 HAS SOPS 876321 HAS SOUS 114155 HAS SOUPS 113970 WITH SCORE 114846.586
AT ITER 1491 NEW BEST:: SOT 1126737 SOS 877095 HAS SOPS 876830 HAS SOUS 114152 HAS SOUPS 113967 WITH SCORE 114844.095
AT ITER 1492 NEW BEST:: SOT 1126737 SOS 877055 HAS SOPS 876790 HAS SOUS 114152 HAS SOUPS 113967 WITH SCORE 114844.055
AT ITER 1501 NEW BEST:: SOT 1127362 SOS 877680 HAS SOPS 877415 HAS SOUS 113790 HAS SOUPS 113605 WITH SCORE 114482.68
AT ITER 1504 NEW BEST:: SOT 1127362 SOS 877680 HAS SOPS 877415 HAS SOUS 113787 HAS SOUPS 113602 WITH SCORE 114479.68
AT ITER 1512 NEW BEST:: SOT 1127362 SOS 877666 HAS SOPS 877401 HAS SOUS 113780 HAS SOUPS 113595 WITH SCORE 114472.666
AT ITER 1520 NEW BEST:: SOT 1127362 SOS 877744 HAS SOPS 877479 HAS SOUS 113691 HAS SOUPS 113506 WITH SCORE 114383.744
AT ITER 1521 NEW BEST:: SOT 1127331 SOS 877713 HAS SOPS 877448 HAS SOUS 113627 HAS SOUPS 113442 WITH SCORE 114319.713
AT ITER 1524 NEW BEST:: SOT 1127590 SOS 877492 HAS SOPS 877227 HAS SOUS 113230 HAS SOUPS 113045 WITH SCORE 113922.492
AT ITER 1527 NEW BEST:: SOT 1127590 SOS 878200 HAS SOPS 877935 HAS SOUS 113217 HAS SOUPS 113032 WITH SCORE 113910.2
AT ITER 1532 NEW BEST:: SOT 1127446 SOS 877388 HAS SOPS 877147 HAS SOUS 113186 HAS SOUPS 113007 WITH SCORE 113884.388
AT ITER 1542 NEW BEST:: SOT 1127413 SOS 877355 HAS SOPS 877114 HAS SOUS 113110 HAS SOUPS 112931 WITH SCORE 113808.355
AT ITER 1547 NEW BEST:: SOT 1127413 SOS 877355 HAS SOPS 877114 HAS SOUS 112388 HAS SOUPS 112209 WITH SCORE 113086.355
AT ITER 1549 NEW BEST:: SOT 1129978 SOS 882646 HAS SOPS 882311 HAS SOUS 112390 HAS SOUPS 112117 WITH SCORE 112999.646
AT ITER 1558 NEW BEST:: SOT 1129987 SOS 882655 HAS SOPS 882320 HAS SOUS 111974 HAS SOUPS 111701 WITH SCORE 112583.655
AT ITER 1563 NEW BEST:: SOT 1129691 SOS 882427 HAS SOPS 882092 HAS SOUS 111558 HAS SOUPS 111285 WITH SCORE 112167.427
AT ITER 1572 NEW BEST:: SOT 1129691 SOS 882427 HAS SOPS 882092 HAS SOUS 111535 HAS SOUPS 111262 WITH SCORE 112144.427
AT ITER 1575 NEW BEST:: SOT 1129704 SOS 883289 HAS SOPS 882954 HAS SOUS 111509 HAS SOUPS 111236 WITH SCORE 112119.289
AT ITER 1601 NEW BEST:: SOT 1130487 SOS 884072 HAS SOPS 883737 HAS SOUS 111446 HAS SOUPS 111173 WITH SCORE 112057.072
AT ITER 1613 NEW BEST:: SOT 1129335 SOS 882920 HAS SOPS 882585 HAS SOUS 111446 HAS SOUPS 111173 WITH SCORE 112055.92
AT ITER 1631 NEW BEST:: SOT 1129301 SOS 882753 HAS SOPS 882418 HAS SOUS 111405 HAS SOUPS 111132 WITH SCORE 112014.753
AT ITER 1634 NEW BEST:: SOT 1129348 SOS 827007 HAS SOPS 826672 HAS SOUS 111455 HAS SOUPS 111182 WITH SCORE 112009.007
AT ITER 1636 NEW BEST:: SOT 1129297 SOS 826956 HAS SOPS 826621 HAS SOUS 111340 HAS SOUPS 111067 WITH SCORE 111893.956
AT ITER 1652 NEW BEST:: SOT 1129277 SOS 826936 HAS SOPS 826601 HAS SOUS 111320 HAS SOUPS 111047 WITH SCORE 111873.936
AT ITER 1671 NEW BEST:: SOT 1129028 SOS 826599 HAS SOPS 826264 HAS SOUS 110860 HAS SOUPS 110587 WITH SCORE 111413.599
AT ITER 1679 NEW BEST:: SOT 1129901 SOS 827472 HAS SOPS 827137 HAS SOUS 110695 HAS SOUPS 110422 WITH SCORE 111249.472
AT ITER 1683 NEW BEST:: SOT 1129941 SOS 827560 HAS SOPS 827225 HAS SOUS 109610 HAS SOUPS 109337 WITH SCORE 110164.56
AT ITER 1686 NEW BEST:: SOT 1130442 SOS 828189 HAS SOPS 827864 HAS SOUS 109229 HAS SOUPS 108966 WITH SCORE 109794.189
AT ITER 1687 NEW BEST:: SOT 1130447 SOS 828194 HAS SOPS 827869 HAS SOUS 109176 HAS SOUPS 108913 WITH SCORE 109741.194
AT ITER 1688 NEW BEST:: SOT 1130161 SOS 827908 HAS SOPS 827583 HAS SOUS 109059 HAS SOUPS 108796 WITH SCORE 109623.908
AT ITER 1692 NEW BEST:: SOT 1130164 SOS 829354 HAS SOPS 829029 HAS SOUS 109056 HAS SOUPS 108793 WITH SCORE 109622.354
AT ITER 1697 NEW BEST:: SOT 1130149 SOS 829354 HAS SOPS 829029 HAS SOUS 109011 HAS SOUPS 108748 WITH SCORE 109577.354
AT ITER 1716 NEW BEST:: SOT 1130696 SOS 829901 HAS SOPS 829576 HAS SOUS 108654 HAS SOUPS 108391 WITH SCORE 109220.901
AT ITER 1736 NEW BEST:: SOT 1130696 SOS 829901 HAS SOPS 829576 HAS SOUS 108633 HAS SOUPS 108370 WITH SCORE 109199.901
AT ITER 1743 NEW BEST:: SOT 1129784 SOS 828576 HAS SOPS 828252 HAS SOUS 108090 HAS SOUPS 107828 WITH SCORE 108656.576
AT ITER 1746 NEW BEST:: SOT 1129260 SOS 830212 HAS SOPS 829888 HAS SOUS 107754 HAS SOUPS 107492 WITH SCORE 108322.212
AT ITER 1747 NEW BEST:: SOT 1129128 SOS 830080 HAS SOPS 829756 HAS SOUS 107648 HAS SOUPS 107386 WITH SCORE 108216.08
AT ITER 1755 NEW BEST:: SOT 1129142 SOS 830094 HAS SOPS 829770 HAS SOUS 107647 HAS SOUPS 107385 WITH SCORE 108215.094
AT ITER 1764 NEW BEST:: SOT 1129142 SOS 830094 HAS SOPS 829770 HAS SOUS 107623 HAS SOUPS 107361 WITH SCORE 108191.094
AT ITER 1769 NEW BEST:: SOT 1129147 SOS 830099 HAS SOPS 829775 HAS SOUS 107528 HAS SOUPS 107266 WITH SCORE 108096.099
AT ITER 1771 NEW BEST:: SOT 1129138 SOS 830090 HAS SOPS 829766 HAS SOUS 107492 HAS SOUPS 107230 WITH SCORE 108060.09
AT ITER 1785 NEW BEST:: SOT 1131693 SOS 831066 HAS SOPS 830742 HAS SOUS 107278 HAS SOUPS 107016 WITH SCORE 107847.066
AT ITER 1788 NEW BEST:: SOT 1131693 SOS 831066 HAS SOPS 830742 HAS SOUS 107211 HAS SOUPS 106949 WITH SCORE 107780.066
AT ITER 1791 NEW BEST:: SOT 1131615 SOS 830984 HAS SOPS 830660 HAS SOUS 107129 HAS SOUPS 106867 WITH SCORE 107697.984
AT ITER 1799 NEW BEST:: SOT 1131543 SOS 830912 HAS SOPS 830588 HAS SOUS 106969 HAS SOUPS 106707 WITH SCORE 107537.912
AT ITER 1807 NEW BEST:: SOT 1131543 SOS 824087 HAS SOPS 823763 HAS SOUS 106951 HAS SOUPS 106689 WITH SCORE 107513.087
AT ITER 1818 NEW BEST:: SOT 1131543 SOS 824869 HAS SOPS 824545 HAS SOUS 106924 HAS SOUPS 106662 WITH SCORE 107486.869
AT ITER 1827 NEW BEST:: SOT 1131514 SOS 824840 HAS SOPS 824516 HAS SOUS 106863 HAS SOUPS 106601 WITH SCORE 107425.84
AT ITER 1828 NEW BEST:: SOT 1131514 SOS 824899 HAS SOPS 824575 HAS SOUS 106823 HAS SOUPS 106561 WITH SCORE 107385.899
AT ITER 1845 NEW BEST:: SOT 1132481 SOS 828430 HAS SOPS 828010 HAS SOUS 106349 HAS SOUPS 106063 WITH SCORE 106891.43
AT ITER 1853 NEW BEST:: SOT 1132397 SOS 828346 HAS SOPS 827926 HAS SOUS 106141 HAS SOUPS 105855 WITH SCORE 106683.346
AT ITER 1857 NEW BEST:: SOT 1132420 SOS 828369 HAS SOPS 827949 HAS SOUS 106049 HAS SOUPS 105763 WITH SCORE 106591.369
AT ITER 1866 NEW BEST:: SOT 1132420 SOS 828234 HAS SOPS 827814 HAS SOUS 106049 HAS SOUPS 105763 WITH SCORE 106591.234
AT ITER 1867 NEW BEST:: SOT 1132730 SOS 828566 HAS SOPS 828156 HAS SOUS 105450 HAS SOUPS 105174 WITH SCORE 106002.566
AT ITER 1870 NEW BEST:: SOT 1131634 SOS 827278 HAS SOPS 826876 HAS SOUS 104354 HAS SOUPS 104080 WITH SCORE 104907.278
AT ITER 1873 NEW BEST:: SOT 1131024 SOS 826668 HAS SOPS 826266 HAS SOUS 104164 HAS SOUPS 103890 WITH SCORE 104716.668
AT ITER 1878 NEW BEST:: SOT 1131024 SOS 826644 HAS SOPS 826242 HAS SOUS 104150 HAS SOUPS 103876 WITH SCORE 104702.644
AT ITER 1886 NEW BEST:: SOT 1131024 SOS 825492 HAS SOPS 825090 HAS SOUS 104139 HAS SOUPS 103865 WITH SCORE 104690.492
AT ITER 1893 NEW BEST:: SOT 1130837 SOS 825305 HAS SOPS 824903 HAS SOUS 103949 HAS SOUPS 103675 WITH SCORE 104500.305
AT ITER 1897 NEW BEST:: SOT 1130357 SOS 824825 HAS SOPS 824423 HAS SOUS 103666 HAS SOUPS 103392 WITH SCORE 104216.825
AT ITER 1908 NEW BEST:: SOT 1130702 SOS 825110 HAS SOPS 824708 HAS SOUS 102973 HAS SOUPS 102699 WITH SCORE 103524.11
AT ITER 1912 NEW BEST:: SOT 1130526 SOS 824934 HAS SOPS 824532 HAS SOUS 102857 HAS SOUPS 102583 WITH SCORE 103407.934
AT ITER 1914 NEW BEST:: SOT 1130526 SOS 824838 HAS SOPS 824436 HAS SOUS 102831 HAS SOUPS 102557 WITH SCORE 103381.838
AT ITER 1932 NEW BEST:: SOT 1129920 SOS 824232 HAS SOPS 823830 HAS SOUS 102000 HAS SOUPS 101726 WITH SCORE 102550.232
AT ITER 1939 NEW BEST:: SOT 1129451 SOS 823697 HAS SOPS 823295 HAS SOUS 101495 HAS SOUPS 101221 WITH SCORE 102044.697
AT ITER 1952 NEW BEST:: SOT 1129451 SOS 823686 HAS SOPS 823284 HAS SOUS 101495 HAS SOUPS 101221 WITH SCORE 102044.686
AT ITER 1955 NEW BEST:: SOT 1129357 SOS 823592 HAS SOPS 823190 HAS SOUS 101401 HAS SOUPS 101127 WITH SCORE 101950.592
AT ITER 1956 NEW BEST:: SOT 1129357 SOS 824138 HAS SOPS 823736 HAS SOUS 101391 HAS SOUPS 101117 WITH SCORE 101941.138
AT ITER 1962 NEW BEST:: SOT 1130353 SOS 825129 HAS SOPS 824732 HAS SOUS 101094 HAS SOUPS 100825 WITH SCORE 101650.129
AT ITER 1967 NEW BEST:: SOT 1130363 SOS 825139 HAS SOPS 824742 HAS SOUS 101063 HAS SOUPS 100794 WITH SCORE 101619.139
AT ITER 1998 NEW BEST:: SOT 1131007 SOS 823191 HAS SOPS 822890 HAS SOUS 100982 HAS SOUPS 100737 WITH SCORE 101560.191
AT ITER 2001 NEW BEST:: SOT 1130728 SOS 822912 HAS SOPS 822611 HAS SOUS 100894 HAS SOUPS 100649 WITH SCORE 101471.912
AT ITER 2008 NEW BEST:: SOT 1130716 SOS 822900 HAS SOPS 822599 HAS SOUS 100867 HAS SOUPS 100622 WITH SCORE 101444.9
AT ITER 2017 NEW BEST:: SOT 1131409 SOS 823593 HAS SOPS 823292 HAS SOUS 99133 HAS SOUPS 98888 WITH SCORE 99711.593
AT ITER 2022 NEW BEST:: SOT 1131409 SOS 824385 HAS SOPS 824084 HAS SOUS 98950 HAS SOUPS 98705 WITH SCORE 99529.385
AT ITER 2029 NEW BEST:: SOT 1131409 SOS 824851 HAS SOPS 824498 HAS SOUS 98919 HAS SOUPS 98622 WITH SCORE 99446.851
AT ITER 2048 NEW BEST:: SOT 1131409 SOS 825478 HAS SOPS 825172 HAS SOUS 98716 HAS SOUPS 98466 WITH SCORE 99291.478
AT ITER 2074 NEW BEST:: SOT 1131159 SOS 825226 HAS SOPS 824920 HAS SOUS 98514 HAS SOUPS 98264 WITH SCORE 99089.226
AT ITER 2079 NEW BEST:: SOT 1131184 SOS 825251 HAS SOPS 824945 HAS SOUS 98387 HAS SOUPS 98137 WITH SCORE 98962.251
AT ITER 2082 NEW BEST:: SOT 1131184 SOS 825051 HAS SOPS 824745 HAS SOUS 98373 HAS SOUPS 98123 WITH SCORE 98948.051
AT ITER 2089 NEW BEST:: SOT 1132707 SOS 826783 HAS SOPS 826488 HAS SOUS 98296 HAS SOUPS 98057 WITH SCORE 98883.783
AT ITER 2096 NEW BEST:: SOT 1132991 SOS 827067 HAS SOPS 826772 HAS SOUS 97668 HAS SOUPS 97429 WITH SCORE 98256.067
AT ITER 2107 NEW BEST:: SOT 1133236 SOS 837494 HAS SOPS 837225 HAS SOUS 97250 HAS SOUPS 97037 WITH SCORE 97874.494
AT ITER 2128 NEW BEST:: SOT 1133236 SOS 836558 HAS SOPS 836289 HAS SOUS 97250 HAS SOUPS 97037 WITH SCORE 97873.558
AT ITER 2168 NEW BEST:: SOT 1132078 SOS 835400 HAS SOPS 835131 HAS SOUS 97069 HAS SOUPS 96856 WITH SCORE 97691.4
AT ITER 2203 NEW BEST:: SOT 1131694 SOS 835016 HAS SOPS 834747 HAS SOUS 96819 HAS SOUPS 96606 WITH SCORE 97441.016
AT ITER 2223 NEW BEST:: SOT 1131756 SOS 835078 HAS SOPS 834809 HAS SOUS 96787 HAS SOUPS 96574 WITH SCORE 97409.078
AT ITER 2234 NEW BEST:: SOT 1131731 SOS 835053 HAS SOPS 834784 HAS SOUS 96762 HAS SOUPS 96549 WITH SCORE 97384.053
AT ITER 2236 NEW BEST:: SOT 1131682 SOS 835972 HAS SOPS 835752 HAS SOUS 96032 HAS SOUPS 95868 WITH SCORE 96703.972
AT ITER 2257 NEW BEST:: SOT 1131682 SOS 835262 HAS SOPS 835042 HAS SOUS 95998 HAS SOUPS 95834 WITH SCORE 96669.262
AT ITER 2260 NEW BEST:: SOT 1131693 SOS 835273 HAS SOPS 835053 HAS SOUS 95781 HAS SOUPS 95617 WITH SCORE 96452.273
AT ITER 2265 NEW BEST:: SOT 1131693 SOS 835057 HAS SOPS 834837 HAS SOUS 95781 HAS SOUPS 95617 WITH SCORE 96452.057
AT ITER 2266 NEW BEST:: SOT 1131497 SOS 834973 HAS SOPS 834753 HAS SOUS 95465 HAS SOUPS 95301 WITH SCORE 96135.973
AT ITER 2272 NEW BEST:: SOT 1131497 SOS 834091 HAS SOPS 833871 HAS SOUS 95371 HAS SOUPS 95207 WITH SCORE 96041.091
AT ITER 2286 NEW BEST:: SOT 1131361 SOS 833955 HAS SOPS 833735 HAS SOUS 95287 HAS SOUPS 95123 WITH SCORE 95956.955
AT ITER 2290 NEW BEST:: SOT 1131366 SOS 833960 HAS SOPS 833740 HAS SOUS 95282 HAS SOUPS 95118 WITH SCORE 95951.96
AT ITER 2299 NEW BEST:: SOT 1131342 SOS 833936 HAS SOPS 833716 HAS SOUS 95231 HAS SOUPS 95067 WITH SCORE 95900.936
AT ITER 2353 NEW BEST:: SOT 1131448 SOS 834042 HAS SOPS 833822 HAS SOUS 94961 HAS SOUPS 94797 WITH SCORE 95631.042
AT ITER 2363 NEW BEST:: SOT 1131448 SOS 833766 HAS SOPS 833534 HAS SOUS 94973 HAS SOUPS 94797 WITH SCORE 95630.766
AT ITER 2368 NEW BEST:: SOT 1131448 SOS 817776 HAS SOPS 817544 HAS SOUS 94953 HAS SOUPS 94777 WITH SCORE 95594.776
AT ITER 2386 NEW BEST:: SOT 1131384 SOS 817712 HAS SOPS 817480 HAS SOUS 94870 HAS SOUPS 94694 WITH SCORE 95511.712
AT ITER 2389 NEW BEST:: SOT 1129067 SOS 815395 HAS SOPS 815163 HAS SOUS 94821 HAS SOUPS 94645 WITH SCORE 95460.395
AT ITER 2398 NEW BEST:: SOT 1128245 SOS 814573 HAS SOPS 814341 HAS SOUS 94012 HAS SOUPS 93836 WITH SCORE 94650.573
AT ITER 2415 NEW BEST:: SOT 1128122 SOS 814450 HAS SOPS 814218 HAS SOUS 93832 HAS SOUPS 93656 WITH SCORE 94470.45
AT ITER 2416 NEW BEST:: SOT 1128175 SOS 812228 HAS SOPS 812087 HAS SOUS 93563 HAS SOUPS 93478 WITH SCORE 94290.228
AT ITER 2460 NEW BEST:: SOT 1128175 SOS 811557 HAS SOPS 811416 HAS SOUS 93533 HAS SOUPS 93448 WITH SCORE 94259.557
AT ITER 2461 NEW BEST:: SOT 1128082 SOS 811464 HAS SOPS 811323 HAS SOUS 93515 HAS SOUPS 93430 WITH SCORE 94241.464
AT ITER 2485 NEW BEST:: SOT 1127627 SOS 810942 HAS SOPS 810801 HAS SOUS 93052 HAS SOUPS 92967 WITH SCORE 93777.942
AT ITER 2506 NEW BEST:: SOT 1129584 SOS 812925 HAS SOPS 812784 HAS SOUS 92940 HAS SOUPS 92855 WITH SCORE 93667.925
AT ITER 2512 NEW BEST:: SOT 1129280 SOS 812621 HAS SOPS 812480 HAS SOUS 92876 HAS SOUPS 92791 WITH SCORE 93603.621
AT ITER 2550 NEW BEST:: SOT 1129292 SOS 812633 HAS SOPS 812492 HAS SOUS 92864 HAS SOUPS 92779 WITH SCORE 93591.633
AT ITER 2551 NEW BEST:: SOT 1129292 SOS 813158 HAS SOPS 813017 HAS SOUS 92818 HAS SOUPS 92733 WITH SCORE 93546.158
AT ITER 2558 NEW BEST:: SOT 1128629 SOS 812495 HAS SOPS 812354 HAS SOUS 92394 HAS SOUPS 92309 WITH SCORE 93121.495
AT ITER 2574 NEW BEST:: SOT 1128769 SOS 812590 HAS SOPS 812449 HAS SOUS 92388 HAS SOUPS 92303 WITH SCORE 93115.59
AT ITER 2580 NEW BEST:: SOT 1128769 SOS 812590 HAS SOPS 812449 HAS SOUS 92377 HAS SOUPS 92292 WITH SCORE 93104.59
AT ITER 2584 NEW BEST:: SOT 1128509 SOS 812362 HAS SOPS 812221 HAS SOUS 92352 HAS SOUPS 92267 WITH SCORE 93079.362
AT ITER 2586 NEW BEST:: SOT 1127393 SOS 811246 HAS SOPS 811105 HAS SOUS 92008 HAS SOUPS 91923 WITH SCORE 92734.246
AT ITER 2606 NEW BEST:: SOT 1127094 SOS 810947 HAS SOPS 810806 HAS SOUS 91624 HAS SOUPS 91539 WITH SCORE 92349.947
AT ITER 2621 NEW BEST:: SOT 1127368 SOS 811221 HAS SOPS 811080 HAS SOUS 91232 HAS SOUPS 91147 WITH SCORE 91958.221
AT ITER 2622 NEW BEST:: SOT 1127355 SOS 811208 HAS SOPS 811067 HAS SOUS 91218 HAS SOUPS 91133 WITH SCORE 91944.208
AT ITER 2633 NEW BEST:: SOT 1127365 SOS 811238 HAS SOPS 811097 HAS SOUS 91145 HAS SOUPS 91060 WITH SCORE 91871.238
AT ITER 2636 NEW BEST:: SOT 1127327 SOS 811253 HAS SOPS 811112 HAS SOUS 90959 HAS SOUPS 90874 WITH SCORE 91685.253
AT ITER 2655 NEW BEST:: SOT 1125371 SOS 809465 HAS SOPS 809324 HAS SOUS 90026 HAS SOUPS 89941 WITH SCORE 90750.465
AT ITER 2666 NEW BEST:: SOT 1125371 SOS 808841 HAS SOPS 808700 HAS SOUS 90020 HAS SOUPS 89935 WITH SCORE 90743.841
AT ITER 2710 NEW BEST:: SOT 1125371 SOS 810821 HAS SOPS 810674 HAS SOUS 90020 HAS SOUPS 89905 WITH SCORE 90715.821
AT ITER 2715 NEW BEST:: SOT 1125371 SOS 810801 HAS SOPS 810654 HAS SOUS 89974 HAS SOUPS 89859 WITH SCORE 90669.801
AT ITER 2742 NEW BEST:: SOT 1125362 SOS 810792 HAS SOPS 810645 HAS SOUS 89956 HAS SOUPS 89841 WITH SCORE 90651.792
AT ITER 2772 NEW BEST:: SOT 1125362 SOS 809995 HAS SOPS 809822 HAS SOUS 89945 HAS SOUPS 89804 WITH SCORE 90613.995
AT ITER 2782 NEW BEST:: SOT 1125362 SOS 809466 HAS SOPS 809270 HAS SOUS 89968 HAS SOUPS 89804 WITH SCORE 90613.466
AT ITER 2784 NEW BEST:: SOT 1125362 SOS 809346 HAS SOPS 809150 HAS SOUS 89968 HAS SOUPS 89804 WITH SCORE 90613.346
AT ITER 2788 NEW BEST:: SOT 1125335 SOS 809319 HAS SOPS 809123 HAS SOUS 89941 HAS SOUPS 89777 WITH SCORE 90586.319
AT ITER 2794 NEW BEST:: SOT 1125335 SOS 809133 HAS SOPS 808979 HAS SOUS 89836 HAS SOUPS 89714 WITH SCORE 90523.133
AT ITER 2809 NEW BEST:: SOT 1125258 SOS 809056 HAS SOPS 808902 HAS SOUS 89678 HAS SOUPS 89556 WITH SCORE 90365.056
AT ITER 2815 NEW BEST:: SOT 1125242 SOS 809040 HAS SOPS 808886 HAS SOUS 89662 HAS SOUPS 89540 WITH SCORE 90349.04
AT ITER 2839 NEW BEST:: SOT 1125242 SOS 809037 HAS SOPS 808883 HAS SOUS 89662 HAS SOUPS 89540 WITH SCORE 90349.037
AT ITER 2842 NEW BEST:: SOT 1125378 SOS 809173 HAS SOPS 809019 HAS SOUS 89272 HAS SOUPS 89150 WITH SCORE 89959.173
AT ITER 2844 NEW BEST:: SOT 1125275 SOS 809070 HAS SOPS 808916 HAS SOUS 89262 HAS SOUPS 89140 WITH SCORE 89949.07
AT ITER 2845 NEW BEST:: SOT 1125275 SOS 809898 HAS SOPS 809744 HAS SOUS 89184 HAS SOUPS 89062 WITH SCORE 89871.898
AT ITER 2854 NEW BEST:: SOT 1125437 SOS 810060 HAS SOPS 809906 HAS SOUS 89121 HAS SOUPS 88999 WITH SCORE 89809.06
AT ITER 2863 NEW BEST:: SOT 1125544 SOS 810203 HAS SOPS 810049 HAS SOUS 88505 HAS SOUPS 88383 WITH SCORE 89193.203
AT ITER 2864 NEW BEST:: SOT 1125544 SOS 810171 HAS SOPS 810017 HAS SOUS 88505 HAS SOUPS 88383 WITH SCORE 89193.171
AT ITER 2869 NEW BEST:: SOT 1126467 SOS 811094 HAS SOPS 810940 HAS SOUS 88107 HAS SOUPS 87985 WITH SCORE 88796.094
AT ITER 2900 NEW BEST:: SOT 1126452 SOS 811079 HAS SOPS 810925 HAS SOUS 88092 HAS SOUPS 87970 WITH SCORE 88781.079
AT ITER 2910 NEW BEST:: SOT 1126380 SOS 811007 HAS SOPS 810853 HAS SOUS 88068 HAS SOUPS 87946 WITH SCORE 88757.007
AT ITER 2920 NEW BEST:: SOT 1126373 SOS 811000 HAS SOPS 810846 HAS SOUS 87814 HAS SOUPS 87692 WITH SCORE 88503.0
AT ITER 2925 NEW BEST:: SOT 1127789 SOS 812416 HAS SOPS 812262 HAS SOUS 87708 HAS SOUPS 87586 WITH SCORE 88398.416
AT ITER 2938 NEW BEST:: SOT 1126668 SOS 811614 HAS SOPS 811460 HAS SOUS 86869 HAS SOUPS 86747 WITH SCORE 87558.614
AT ITER 2963 NEW BEST:: SOT 1126599 SOS 811545 HAS SOPS 811391 HAS SOUS 86860 HAS SOUPS 86738 WITH SCORE 87549.545
AT ITER 2971 NEW BEST:: SOT 1126743 SOS 811689 HAS SOPS 811535 HAS SOUS 86371 HAS SOUPS 86249 WITH SCORE 87060.689
AT ITER 2975 NEW BEST:: SOT 1127337 SOS 812283 HAS SOPS 812129 HAS SOUS 86173 HAS SOUPS 86051 WITH SCORE 86863.283
AT ITER 2989 NEW BEST:: SOT 1126241 SOS 811161 HAS SOPS 811007 HAS SOUS 85758 HAS SOUPS 85636 WITH SCORE 86447.161
AT ITER 3010 NEW BEST:: SOT 1126241 SOS 811115 HAS SOPS 810983 HAS SOUS 85736 HAS SOUPS 85636 WITH SCORE 86447.115
AT ITER 3017 NEW BEST:: SOT 1126328 SOS 811185 HAS SOPS 811053 HAS SOUS 85267 HAS SOUPS 85167 WITH SCORE 85978.185
AT ITER 3021 NEW BEST:: SOT 1126050 SOS 810907 HAS SOPS 810775 HAS SOUS 84741 HAS SOUPS 84641 WITH SCORE 85451.907
AT ITER 3035 NEW BEST:: SOT 1126024 SOS 810881 HAS SOPS 810749 HAS SOUS 84715 HAS SOUPS 84615 WITH SCORE 85425.881
AT ITER 3036 NEW BEST:: SOT 1126132 SOS 816015 HAS SOPS 815883 HAS SOUS 84616 HAS SOUPS 84516 WITH SCORE 85332.015
AT ITER 3049 NEW BEST:: SOT 1126069 SOS 815952 HAS SOPS 815820 HAS SOUS 84614 HAS SOUPS 84514 WITH SCORE 85329.952
AT ITER 3074 NEW BEST:: SOT 1125918 SOS 815801 HAS SOPS 815669 HAS SOUS 84265 HAS SOUPS 84165 WITH SCORE 84980.801
AT ITER 3106 NEW BEST:: SOT 1125918 SOS 815587 HAS SOPS 815455 HAS SOUS 84151 HAS SOUPS 84051 WITH SCORE 84866.587
AT ITER 3114 NEW BEST:: SOT 1125822 SOS 815491 HAS SOPS 815359 HAS SOUS 84076 HAS SOUPS 83976 WITH SCORE 84791.491
AT ITER 3123 NEW BEST:: SOT 1125838 SOS 815507 HAS SOPS 815375 HAS SOUS 84070 HAS SOUPS 83970 WITH SCORE 84785.507
AT ITER 3124 NEW BEST:: SOT 1126012 SOS 815681 HAS SOPS 815549 HAS SOUS 83778 HAS SOUPS 83678 WITH SCORE 84493.681
AT ITER 3136 NEW BEST:: SOT 1126052 SOS 815721 HAS SOPS 815589 HAS SOUS 83772 HAS SOUPS 83672 WITH SCORE 84487.721
AT ITER 3140 NEW BEST:: SOT 1125928 SOS 815597 HAS SOPS 815465 HAS SOUS 83651 HAS SOUPS 83551 WITH SCORE 84366.597
AT ITER 3153 NEW BEST:: SOT 1125928 SOS 769669 HAS SOPS 769537 HAS SOUS 83463 HAS SOUPS 83363 WITH SCORE 84132.669
AT ITER 3183 NEW BEST:: SOT 1125930 SOS 769671 HAS SOPS 769539 HAS SOUS 83423 HAS SOUPS 83323 WITH SCORE 84092.671
AT ITER 3236 NEW BEST:: SOT 1125666 SOS 769407 HAS SOPS 769275 HAS SOUS 83401 HAS SOUPS 83301 WITH SCORE 84070.407
AT ITER 3250 NEW BEST:: SOT 1125694 SOS 768846 HAS SOPS 768695 HAS SOUS 83391 HAS SOUPS 83272 WITH SCORE 84040.846
AT ITER 3254 NEW BEST:: SOT 1125565 SOS 768717 HAS SOPS 768566 HAS SOUS 83132 HAS SOUPS 83013 WITH SCORE 83781.717
AT ITER 3257 NEW BEST:: SOT 1125565 SOS 768621 HAS SOPS 768470 HAS SOUS 83108 HAS SOUPS 82989 WITH SCORE 83757.621
AT ITER 3278 NEW BEST:: SOT 1125565 SOS 768621 HAS SOPS 768470 HAS SOUS 83080 HAS SOUPS 82961 WITH SCORE 83729.621
AT ITER 3311 NEW BEST:: SOT 1125142 SOS 771006 HAS SOPS 770855 HAS SOUS 82716 HAS SOUPS 82597 WITH SCORE 83368.006
AT ITER 3330 NEW BEST:: SOT 1125142 SOS 771326 HAS SOPS 771175 HAS SOUS 82700 HAS SOUPS 82581 WITH SCORE 83352.326
AT ITER 3338 NEW BEST:: SOT 1125142 SOS 771230 HAS SOPS 771079 HAS SOUS 82700 HAS SOUPS 82581 WITH SCORE 83352.23
AT ITER 3359 NEW BEST:: SOT 1124545 SOS 770633 HAS SOPS 770482 HAS SOUS 82658 HAS SOUPS 82539 WITH SCORE 83309.633
AT ITER 3366 NEW BEST:: SOT 1124545 SOS 770921 HAS SOPS 770770 HAS SOUS 82656 HAS SOUPS 82537 WITH SCORE 83307.921
AT ITER 3368 NEW BEST:: SOT 1124545 SOS 771185 HAS SOPS 771034 HAS SOUS 82580 HAS SOUPS 82461 WITH SCORE 83232.185
AT ITER 3397 NEW BEST:: SOT 1124378 SOS 771018 HAS SOPS 770867 HAS SOUS 81245 HAS SOUPS 81126 WITH SCORE 81897.018
AT ITER 3404 NEW BEST:: SOT 1124378 SOS 770834 HAS SOPS 770691 HAS SOUS 81243 HAS SOUPS 81124 WITH SCORE 81894.834
AT ITER 3417 NEW BEST:: SOT 1124378 SOS 770450 HAS SOPS 770307 HAS SOUS 81243 HAS SOUPS 81124 WITH SCORE 81894.45
AT ITER 3434 NEW BEST:: SOT 1124365 SOS 769957 HAS SOPS 769814 HAS SOUS 81243 HAS SOUPS 81124 WITH SCORE 81893.957
AT ITER 3444 NEW BEST:: SOT 1124365 SOS 770629 HAS SOPS 770486 HAS SOUS 81241 HAS SOUPS 81122 WITH SCORE 81892.629
AT ITER 3447 NEW BEST:: SOT 1124365 SOS 770523 HAS SOPS 770380 HAS SOUS 81239 HAS SOUPS 81120 WITH SCORE 81890.523
AT ITER 3449 NEW BEST:: SOT 1126266 SOS 772424 HAS SOPS 772281 HAS SOUS 81137 HAS SOUPS 81018 WITH SCORE 81790.424
AT ITER 3467 NEW BEST:: SOT 1126266 SOS 772400 HAS SOPS 772257 HAS SOUS 81137 HAS SOUPS 81018 WITH SCORE 81790.4
AT ITER 3490 NEW BEST:: SOT 1125790 SOS 769583 HAS SOPS 769466 HAS SOUS 80410 HAS SOUPS 80317 WITH SCORE 81086.583
AT ITER 3523 NEW BEST:: SOT 1125790 SOS 770255 HAS SOPS 770138 HAS SOUS 80396 HAS SOUPS 80303 WITH SCORE 81073.255
AT ITER 3537 NEW BEST:: SOT 1125742 SOS 770207 HAS SOPS 770090 HAS SOUS 80340 HAS SOUPS 80247 WITH SCORE 81017.207
AT ITER 3567 NEW BEST:: SOT 1125742 SOS 770051 HAS SOPS 769934 HAS SOUS 80334 HAS SOUPS 80241 WITH SCORE 81011.051
AT ITER 3608 NEW BEST:: SOT 1126442 SOS 770489 HAS SOPS 770372 HAS SOUS 80309 HAS SOUPS 80216 WITH SCORE 80986.489
AT ITER 3609 NEW BEST:: SOT 1126442 SOS 770464 HAS SOPS 770347 HAS SOUS 80304 HAS SOUPS 80211 WITH SCORE 80981.464
AT ITER 3611 NEW BEST:: SOT 1126428 SOS 770450 HAS SOPS 770333 HAS SOUS 80290 HAS SOUPS 80197 WITH SCORE 80967.45
AT ITER 3613 NEW BEST:: SOT 1124966 SOS 752642 HAS SOPS 752525 HAS SOUS 80011 HAS SOUPS 79918 WITH SCORE 80670.642
AT ITER 3641 NEW BEST:: SOT 1124941 SOS 752602 HAS SOPS 752500 HAS SOUS 79986 HAS SOUPS 79908 WITH SCORE 80660.602
AT ITER 3665 NEW BEST:: SOT 1126185 SOS 753846 HAS SOPS 753744 HAS SOUS 79765 HAS SOUPS 79687 WITH SCORE 80440.846
AT ITER 3675 NEW BEST:: SOT 1126207 SOS 753868 HAS SOPS 753766 HAS SOUS 79752 HAS SOUPS 79674 WITH SCORE 80427.868
AT ITER 3693 NEW BEST:: SOT 1126206 SOS 753867 HAS SOPS 753765 HAS SOUS 79751 HAS SOUPS 79673 WITH SCORE 80426.867
AT ITER 3696 NEW BEST:: SOT 1126071 SOS 753720 HAS SOPS 753618 HAS SOUS 79603 HAS SOUPS 79525 WITH SCORE 80278.72
AT ITER 3702 NEW BEST:: SOT 1126071 SOS 752736 HAS SOPS 752634 HAS SOUS 79603 HAS SOUPS 79525 WITH SCORE 80277.736
AT ITER 3720 NEW BEST:: SOT 1124874 SOS 751539 HAS SOPS 751437 HAS SOUS 79062 HAS SOUPS 78984 WITH SCORE 79735.539
AT ITER 3722 NEW BEST:: SOT 1124874 SOS 751539 HAS SOPS 751437 HAS SOUS 79051 HAS SOUPS 78973 WITH SCORE 79724.539
AT ITER 3729 NEW BEST:: SOT 1124865 SOS 751494 HAS SOPS 751392 HAS SOUS 79046 HAS SOUPS 78968 WITH SCORE 79719.494
AT ITER 3740 NEW BEST:: SOT 1124865 SOS 716430 HAS SOPS 716328 HAS SOUS 78989 HAS SOUPS 78911 WITH SCORE 79627.43
AT ITER 3744 NEW BEST:: SOT 1122756 SOS 714321 HAS SOPS 714219 HAS SOUS 78804 HAS SOUPS 78726 WITH SCORE 79440.321
AT ITER 3752 NEW BEST:: SOT 1122756 SOS 713793 HAS SOPS 713691 HAS SOUS 78782 HAS SOUPS 78704 WITH SCORE 79417.793
AT ITER 3768 NEW BEST:: SOT 1122756 SOS 713553 HAS SOPS 713451 HAS SOUS 78721 HAS SOUPS 78643 WITH SCORE 79356.553
AT ITER 3780 NEW BEST:: SOT 1122756 SOS 702655 HAS SOPS 702461 HAS SOUS 78697 HAS SOUPS 78613 WITH SCORE 79315.655
AT ITER 3784 NEW BEST:: SOT 1122724 SOS 702623 HAS SOPS 702429 HAS SOUS 78665 HAS SOUPS 78581 WITH SCORE 79283.623
AT ITER 3812 NEW BEST:: SOT 1122796 SOS 702500 HAS SOPS 702445 HAS SOUS 77695 HAS SOUPS 77640 WITH SCORE 78342.5
AT ITER 3849 NEW BEST:: SOT 1122786 SOS 702490 HAS SOPS 702435 HAS SOUS 77669 HAS SOUPS 77614 WITH SCORE 78316.49
AT ITER 3850 NEW BEST:: SOT 1122786 SOS 702490 HAS SOPS 702435 HAS SOUS 77643 HAS SOUPS 77588 WITH SCORE 78290.49
AT ITER 3859 NEW BEST:: SOT 1122929 SOS 702633 HAS SOPS 702578 HAS SOUS 77593 HAS SOUPS 77538 WITH SCORE 78240.633
AT ITER 3869 NEW BEST:: SOT 1122929 SOS 702593 HAS SOPS 702538 HAS SOUS 77593 HAS SOUPS 77538 WITH SCORE 78240.593
AT ITER 3881 NEW BEST:: SOT 1122928 SOS 702592 HAS SOPS 702537 HAS SOUS 77590 HAS SOUPS 77535 WITH SCORE 78237.592
AT ITER 3893 NEW BEST:: SOT 1121548 SOS 700685 HAS SOPS 700630 HAS SOUS 77572 HAS SOUPS 77517 WITH SCORE 78217.685
AT ITER 3908 NEW BEST:: SOT 1121568 SOS 700705 HAS SOPS 700650 HAS SOUS 77484 HAS SOUPS 77429 WITH SCORE 78129.705
AT ITER 3928 NEW BEST:: SOT 1121568 SOS 700705 HAS SOPS 700650 HAS SOUS 77410 HAS SOUPS 77355 WITH SCORE 78055.705
AT ITER 3929 NEW BEST:: SOT 1121568 SOS 700625 HAS SOPS 700570 HAS SOUS 77390 HAS SOUPS 77335 WITH SCORE 78035.625
AT ITER 3955 NEW BEST:: SOT 1122089 SOS 701146 HAS SOPS 701091 HAS SOUS 77254 HAS SOUPS 77199 WITH SCORE 77900.146
AT ITER 3963 NEW BEST:: SOT 1122035 SOS 701092 HAS SOPS 701037 HAS SOUS 76661 HAS SOUPS 76606 WITH SCORE 77307.092
AT ITER 3964 NEW BEST:: SOT 1122443 SOS 701860 HAS SOPS 701781 HAS SOUS 76640 HAS SOUPS 76573 WITH SCORE 77274.86
AT ITER 3965 NEW BEST:: SOT 1122440 SOS 701867 HAS SOPS 701788 HAS SOUS 76638 HAS SOUPS 76571 WITH SCORE 77272.867
AT ITER 3975 NEW BEST:: SOT 1122388 SOS 701815 HAS SOPS 701736 HAS SOUS 76586 HAS SOUPS 76519 WITH SCORE 77220.815
AT ITER 3978 NEW BEST:: SOT 1122089 SOS 701516 HAS SOPS 701437 HAS SOUS 76358 HAS SOUPS 76291 WITH SCORE 76992.516
AT ITER 3997 NEW BEST:: SOT 1122116 SOS 702263 HAS SOPS 702184 HAS SOUS 76357 HAS SOUPS 76290 WITH SCORE 76992.263
AT ITER 4029 NEW BEST:: SOT 1122112 SOS 702091 HAS SOPS 702012 HAS SOUS 76356 HAS SOUPS 76289 WITH SCORE 76991.091
AT ITER 4059 NEW BEST:: SOT 1122112 SOS 701463 HAS SOPS 701369 HAS SOUS 76370 HAS SOUPS 76288 WITH SCORE 76989.463
AT ITER 4066 NEW BEST:: SOT 1122131 SOS 701794 HAS SOPS 701700 HAS SOUS 76359 HAS SOUPS 76277 WITH SCORE 76978.794
AT ITER 4081 NEW BEST:: SOT 1122193 SOS 701856 HAS SOPS 701762 HAS SOUS 76333 HAS SOUPS 76251 WITH SCORE 76952.856
AT ITER 4084 NEW BEST:: SOT 1122192 SOS 701855 HAS SOPS 701761 HAS SOUS 76332 HAS SOUPS 76250 WITH SCORE 76951.855
AT ITER 4088 NEW BEST:: SOT 1121302 SOS 700965 HAS SOPS 700871 HAS SOUS 75673 HAS SOUPS 75591 WITH SCORE 76291.965
AT ITER 4104 NEW BEST:: SOT 1121440 SOS 700815 HAS SOPS 700745 HAS SOUS 75426 HAS SOUPS 75356 WITH SCORE 76056.815
AT ITER 4114 NEW BEST:: SOT 1121440 SOS 700651 HAS SOPS 700581 HAS SOUS 75385 HAS SOUPS 75315 WITH SCORE 76015.651
AT ITER 4118 NEW BEST:: SOT 1121157 SOS 700368 HAS SOPS 700298 HAS SOUS 75215 HAS SOUPS 75145 WITH SCORE 75845.368
AT ITER 4130 NEW BEST:: SOT 1121140 SOS 700351 HAS SOPS 700281 HAS SOUS 75180 HAS SOUPS 75110 WITH SCORE 75810.351
AT ITER 4132 NEW BEST:: SOT 1122350 SOS 701561 HAS SOPS 701491 HAS SOUS 75128 HAS SOUPS 75058 WITH SCORE 75759.561
AT ITER 4133 NEW BEST:: SOT 1122382 SOS 701612 HAS SOPS 701542 HAS SOUS 74448 HAS SOUPS 74378 WITH SCORE 75079.612
AT ITER 4167 NEW BEST:: SOT 1122382 SOS 701612 HAS SOPS 701542 HAS SOUS 74400 HAS SOUPS 74330 WITH SCORE 75031.612
AT ITER 4182 NEW BEST:: SOT 1122243 SOS 701473 HAS SOPS 701403 HAS SOUS 74107 HAS SOUPS 74037 WITH SCORE 74738.473
AT ITER 4196 NEW BEST:: SOT 1122243 SOS 701459 HAS SOPS 701389 HAS SOUS 74107 HAS SOUPS 74037 WITH SCORE 74738.459
AT ITER 4197 NEW BEST:: SOT 1121833 SOS 701274 HAS SOPS 701204 HAS SOUS 73812 HAS SOUPS 73742 WITH SCORE 74443.274
AT ITER 4213 NEW BEST:: SOT 1121862 SOS 701303 HAS SOPS 701233 HAS SOUS 73788 HAS SOUPS 73718 WITH SCORE 74419.303
AT ITER 4222 NEW BEST:: SOT 1121911 SOS 701352 HAS SOPS 701282 HAS SOUS 73768 HAS SOUPS 73698 WITH SCORE 74399.352
AT ITER 4223 NEW BEST:: SOT 1121911 SOS 701720 HAS SOPS 701650 HAS SOUS 73760 HAS SOUPS 73690 WITH SCORE 74391.72
AT ITER 4233 NEW BEST:: SOT 1121908 SOS 701717 HAS SOPS 701647 HAS SOUS 73741 HAS SOUPS 73671 WITH SCORE 74372.717
AT ITER 4254 NEW BEST:: SOT 1121908 SOS 701549 HAS SOPS 701479 HAS SOUS 73734 HAS SOUPS 73664 WITH SCORE 74365.549
AT ITER 4308 NEW BEST:: SOT 1121870 SOS 702392 HAS SOPS 702336 HAS SOUS 73706 HAS SOUPS 73650 WITH SCORE 74352.392
AT ITER 4363 NEW BEST:: SOT 1121886 SOS 702408 HAS SOPS 702352 HAS SOUS 73406 HAS SOUPS 73350 WITH SCORE 74052.408
AT ITER 4364 NEW BEST:: SOT 1120291 SOS 700741 HAS SOPS 700685 HAS SOUS 73276 HAS SOUPS 73220 WITH SCORE 73920.741
AT ITER 4385 NEW BEST:: SOT 1120291 SOS 700733 HAS SOPS 700661 HAS SOUS 73292 HAS SOUPS 73220 WITH SCORE 73920.733
AT ITER 4415 NEW BEST:: SOT 1118868 SOS 700912 HAS SOPS 700840 HAS SOUS 73178 HAS SOUPS 73106 WITH SCORE 73806.912
AT ITER 4427 NEW BEST:: SOT 1118850 SOS 700894 HAS SOPS 700822 HAS SOUS 73141 HAS SOUPS 73069 WITH SCORE 73769.894
AT ITER 4441 NEW BEST:: SOT 1118825 SOS 700869 HAS SOPS 700797 HAS SOUS 73131 HAS SOUPS 73059 WITH SCORE 73759.869
AT ITER 4453 NEW BEST:: SOT 1119017 SOS 701061 HAS SOPS 700989 HAS SOUS 73026 HAS SOUPS 72954 WITH SCORE 73655.061
AT ITER 4519 NEW BEST:: SOT 1119017 SOS 701061 HAS SOPS 700989 HAS SOUS 72882 HAS SOUPS 72810 WITH SCORE 73511.061
AT ITER 4524 NEW BEST:: SOT 1119053 SOS 700641 HAS SOPS 700569 HAS SOUS 72880 HAS SOUPS 72808 WITH SCORE 73508.641
AT ITER 4541 NEW BEST:: SOT 1119053 SOS 700737 HAS SOPS 700665 HAS SOUS 72818 HAS SOUPS 72746 WITH SCORE 73446.737
AT ITER 4552 NEW BEST:: SOT 1119073 SOS 700757 HAS SOPS 700685 HAS SOUS 72814 HAS SOUPS 72742 WITH SCORE 73442.757
AT ITER 4554 NEW BEST:: SOT 1119073 SOS 700757 HAS SOPS 700685 HAS SOUS 72807 HAS SOUPS 72735 WITH SCORE 73435.757
AT ITER 4565 NEW BEST:: SOT 1122157 SOS 703841 HAS SOPS 703769 HAS SOUS 72583 HAS SOUPS 72511 WITH SCORE 73214.841
AT ITER 4572 NEW BEST:: SOT 1122157 SOS 704261 HAS SOPS 704189 HAS SOUS 72574 HAS SOUPS 72502 WITH SCORE 73206.261
AT ITER 4577 NEW BEST:: SOT 1122145 SOS 704249 HAS SOPS 704177 HAS SOUS 72562 HAS SOUPS 72490 WITH SCORE 73194.249
AT ITER 4579 NEW BEST:: SOT 1122145 SOS 705031 HAS SOPS 704959 HAS SOUS 72545 HAS SOUPS 72473 WITH SCORE 73178.031
AT ITER 4582 NEW BEST:: SOT 1122073 SOS 704959 HAS SOPS 704887 HAS SOUS 72458 HAS SOUPS 72386 WITH SCORE 73090.959
AT ITER 4602 NEW BEST:: SOT 1121302 SOS 702643 HAS SOPS 702571 HAS SOUS 71775 HAS SOUPS 71703 WITH SCORE 72405.643
AT ITER 4622 NEW BEST:: SOT 1121268 SOS 702609 HAS SOPS 702537 HAS SOUS 71735 HAS SOUPS 71663 WITH SCORE 72365.609
AT ITER 4656 NEW BEST:: SOT 1121268 SOS 685707 HAS SOPS 685635 HAS SOUS 71705 HAS SOUPS 71633 WITH SCORE 72318.707
AT ITER 4663 NEW BEST:: SOT 1121231 SOS 685670 HAS SOPS 685598 HAS SOUS 71692 HAS SOUPS 71620 WITH SCORE 72305.67
AT ITER 4731 NEW BEST:: SOT 1122455 SOS 686894 HAS SOPS 686822 HAS SOUS 71659 HAS SOUPS 71587 WITH SCORE 72273.894
AT ITER 4732 NEW BEST:: SOT 1122456 SOS 686895 HAS SOPS 686823 HAS SOUS 71654 HAS SOUPS 71582 WITH SCORE 72268.895
AT ITER 4755 NEW BEST:: SOT 1122512 SOS 686951 HAS SOPS 686879 HAS SOUS 71614 HAS SOUPS 71542 WITH SCORE 72228.951
AT ITER 4758 NEW BEST:: SOT 1122565 SOS 726775 HAS SOPS 726703 HAS SOUS 71550 HAS SOUPS 71478 WITH SCORE 72204.775
AT ITER 4765 NEW BEST:: SOT 1121920 SOS 725722 HAS SOPS 725650 HAS SOUS 71499 HAS SOUPS 71427 WITH SCORE 72152.722
AT ITER 4769 NEW BEST:: SOT 1121915 SOS 701057 HAS SOPS 700943 HAS SOUS 71517 HAS SOUPS 71403 WITH SCORE 72104.057
AT ITER 4772 NEW BEST:: SOT 1121383 SOS 700525 HAS SOPS 700411 HAS SOUS 71467 HAS SOUPS 71353 WITH SCORE 72053.525
AT ITER 4799 NEW BEST:: SOT 1121383 SOS 700525 HAS SOPS 700411 HAS SOUS 71461 HAS SOUPS 71347 WITH SCORE 72047.525
AT ITER 4807 NEW BEST:: SOT 1122817 SOS 701959 HAS SOPS 701845 HAS SOUS 71427 HAS SOUPS 71313 WITH SCORE 72014.959
AT ITER 4809 NEW BEST:: SOT 1122490 SOS 701632 HAS SOPS 701518 HAS SOUS 71305 HAS SOUPS 71191 WITH SCORE 71892.632
AT ITER 4823 NEW BEST:: SOT 1122786 SOS 701928 HAS SOPS 701814 HAS SOUS 70543 HAS SOUPS 70429 WITH SCORE 71130.928
AT ITER 4829 NEW BEST:: SOT 1122786 SOS 701972 HAS SOPS 701858 HAS SOUS 70542 HAS SOUPS 70428 WITH SCORE 71129.972
AT ITER 4830 NEW BEST:: SOT 1122786 SOS 698152 HAS SOPS 698038 HAS SOUS 70306 HAS SOUPS 70192 WITH SCORE 70890.152
AT ITER 4886 NEW BEST:: SOT 1122710 SOS 698156 HAS SOPS 698042 HAS SOUS 70222 HAS SOUPS 70108 WITH SCORE 70806.156
AT ITER 4902 NEW BEST:: SOT 1122710 SOS 697996 HAS SOPS 697882 HAS SOUS 70182 HAS SOUPS 70068 WITH SCORE 70765.996
AT ITER 4906 NEW BEST:: SOT 1122712 SOS 697988 HAS SOPS 697874 HAS SOUS 70182 HAS SOUPS 70068 WITH SCORE 70765.988
AT ITER 4912 NEW BEST:: SOT 1122712 SOS 697946 HAS SOPS 697874 HAS SOUS 70134 HAS SOUPS 70062 WITH SCORE 70759.946
AT ITER 4934 NEW BEST:: SOT 1122997 SOS 698231 HAS SOPS 698159 HAS SOUS 70087 HAS SOUPS 70015 WITH SCORE 70713.231
AT ITER 4959 NEW BEST:: SOT 1123289 SOS 698542 HAS SOPS 698470 HAS SOUS 70066 HAS SOUPS 69994 WITH SCORE 70692.542
AT ITER 4983 NEW BEST:: SOT 1123289 SOS 697982 HAS SOPS 697910 HAS SOUS 70040 HAS SOUPS 69968 WITH SCORE 70665.982
AT ITER 4996 NEW BEST:: SOT 1123253 SOS 697946 HAS SOPS 697874 HAS SOUS 70035 HAS SOUPS 69963 WITH SCORE 70660.946
AT ITER 4999 NEW BEST:: SOT 1123253 SOS 697946 HAS SOPS 697874 HAS SOUS 70034 HAS SOUPS 69962 WITH SCORE 70659.946
AT ITER 5000 NEW BEST:: SOT 1123032 SOS 697461 HAS SOPS 697389 HAS SOUS 69967 HAS SOUPS 69895 WITH SCORE 70592.461
AT ITER 5009 NEW BEST:: SOT 1122884 SOS 697073 HAS SOPS 697001 HAS SOUS 69779 HAS SOUPS 69707 WITH SCORE 70404.073
AT ITER 5037 NEW BEST:: SOT 1123271 SOS 697460 HAS SOPS 697388 HAS SOUS 69755 HAS SOUPS 69683 WITH SCORE 70380.46
AT ITER 5039 NEW BEST:: SOT 1123230 SOS 697011 HAS SOPS 696939 HAS SOUS 69740 HAS SOUPS 69668 WITH SCORE 70365.011
AT ITER 5064 NEW BEST:: SOT 1123230 SOS 697977 HAS SOPS 697905 HAS SOUS 69719 HAS SOUPS 69647 WITH SCORE 70344.977
AT ITER 5085 NEW BEST:: SOT 1123222 SOS 697956 HAS SOPS 697884 HAS SOUS 69698 HAS SOUPS 69626 WITH SCORE 70323.956
AT ITER 5087 NEW BEST:: SOT 1123035 SOS 698009 HAS SOPS 697937 HAS SOUS 69657 HAS SOUPS 69585 WITH SCORE 70283.009
AT ITER 5101 NEW BEST:: SOT 1122648 SOS 697622 HAS SOPS 697550 HAS SOUS 69510 HAS SOUPS 69438 WITH SCORE 70135.622
AT ITER 5117 NEW BEST:: SOT 1122508 SOS 697482 HAS SOPS 697410 HAS SOUS 69493 HAS SOUPS 69421 WITH SCORE 70118.482
AT ITER 5118 NEW BEST:: SOT 1122508 SOS 697538 HAS SOPS 697466 HAS SOUS 69223 HAS SOUPS 69151 WITH SCORE 69848.538
AT ITER 5130 NEW BEST:: SOT 1122486 SOS 696988 HAS SOPS 696916 HAS SOUS 69223 HAS SOUPS 69151 WITH SCORE 69847.988
AT ITER 5151 NEW BEST:: SOT 1122515 SOS 692464 HAS SOPS 692392 HAS SOUS 69215 HAS SOUPS 69143 WITH SCORE 69835.464
AT ITER 5155 NEW BEST:: SOT 1122491 SOS 692440 HAS SOPS 692368 HAS SOUS 69208 HAS SOUPS 69136 WITH SCORE 69828.44
AT ITER 5180 NEW BEST:: SOT 1122491 SOS 679840 HAS SOPS 679768 HAS SOUS 69184 HAS SOUPS 69112 WITH SCORE 69791.84
AT ITER 5194 NEW BEST:: SOT 1122353 SOS 679702 HAS SOPS 679630 HAS SOUS 68901 HAS SOUPS 68829 WITH SCORE 69508.702
AT ITER 5205 NEW BEST:: SOT 1122308 SOS 679657 HAS SOPS 679585 HAS SOUS 68895 HAS SOUPS 68823 WITH SCORE 69502.657
AT ITER 5252 NEW BEST:: SOT 1122308 SOS 679081 HAS SOPS 679009 HAS SOUS 68895 HAS SOUPS 68823 WITH SCORE 69502.081
AT ITER 5272 NEW BEST:: SOT 1122308 SOS 694777 HAS SOPS 694705 HAS SOUS 68851 HAS SOUPS 68779 WITH SCORE 69473.777
AT ITER 5298 NEW BEST:: SOT 1122473 SOS 694486 HAS SOPS 694414 HAS SOUS 68635 HAS SOUPS 68563 WITH SCORE 69257.486
AT ITER 5322 NEW BEST:: SOT 1122474 SOS 692010 HAS SOPS 691938 HAS SOUS 68630 HAS SOUPS 68558 WITH SCORE 69250.01
AT ITER 5343 NEW BEST:: SOT 1122192 SOS 691368 HAS SOPS 691296 HAS SOUS 68530 HAS SOUPS 68458 WITH SCORE 69149.368
AT ITER 5348 NEW BEST:: SOT 1122192 SOS 691368 HAS SOPS 691296 HAS SOUS 68517 HAS SOUPS 68445 WITH SCORE 69136.368
AT ITER 5353 NEW BEST:: SOT 1122170 SOS 691130 HAS SOPS 691058 HAS SOUS 68486 HAS SOUPS 68414 WITH SCORE 69105.13
AT ITER 5354 NEW BEST:: SOT 1122088 SOS 691048 HAS SOPS 690976 HAS SOUS 68318 HAS SOUPS 68246 WITH SCORE 68937.048
AT ITER 5381 NEW BEST:: SOT 1122028 SOS 691076 HAS SOPS 691004 HAS SOUS 68258 HAS SOUPS 68186 WITH SCORE 68877.076
AT ITER 5439 NEW BEST:: SOT 1122028 SOS 691076 HAS SOPS 691004 HAS SOUS 68234 HAS SOUPS 68162 WITH SCORE 68853.076
AT ITER 5468 NEW BEST:: SOT 1122041 SOS 691089 HAS SOPS 691017 HAS SOUS 68233 HAS SOUPS 68161 WITH SCORE 68852.089
AT ITER 5485 NEW BEST:: SOT 1122045 SOS 691541 HAS SOPS 691453 HAS SOUS 68134 HAS SOUPS 68058 WITH SCORE 68749.541
AT ITER 5491 NEW BEST:: SOT 1122045 SOS 691541 HAS SOPS 691453 HAS SOUS 68128 HAS SOUPS 68052 WITH SCORE 68743.541
AT ITER 5492 NEW BEST:: SOT 1121973 SOS 691469 HAS SOPS 691381 HAS SOUS 68107 HAS SOUPS 68031 WITH SCORE 68722.469
AT ITER 5496 NEW BEST:: SOT 1121924 SOS 691205 HAS SOPS 691117 HAS SOUS 67994 HAS SOUPS 67918 WITH SCORE 68609.205
AT ITER 5499 NEW BEST:: SOT 1121924 SOS 689237 HAS SOPS 689149 HAS SOUS 67994 HAS SOUPS 67918 WITH SCORE 68607.237
AT ITER 5502 NEW BEST:: SOT 1121924 SOS 692537 HAS SOPS 692449 HAS SOUS 67963 HAS SOUPS 67887 WITH SCORE 68579.537
AT ITER 5516 NEW BEST:: SOT 1121924 SOS 691145 HAS SOPS 691057 HAS SOUS 67963 HAS SOUPS 67887 WITH SCORE 68578.145
AT ITER 5529 NEW BEST:: SOT 1121615 SOS 691196 HAS SOPS 691108 HAS SOUS 67761 HAS SOUPS 67685 WITH SCORE 68376.196
AT ITER 5550 NEW BEST:: SOT 1121576 SOS 691157 HAS SOPS 691069 HAS SOUS 67576 HAS SOUPS 67500 WITH SCORE 68191.157
AT ITER 5580 NEW BEST:: SOT 1121555 SOS 696108 HAS SOPS 696020 HAS SOUS 67548 HAS SOUPS 67472 WITH SCORE 68168.108
AT ITER 5612 NEW BEST:: SOT 1121555 SOS 695896 HAS SOPS 695808 HAS SOUS 67531 HAS SOUPS 67455 WITH SCORE 68150.896
AT ITER 5625 NEW BEST:: SOT 1121325 SOS 698845 HAS SOPS 698757 HAS SOUS 67402 HAS SOUPS 67326 WITH SCORE 68024.845
AT ITER 5626 NEW BEST:: SOT 1121286 SOS 699454 HAS SOPS 699366 HAS SOUS 66978 HAS SOUPS 66902 WITH SCORE 67601.454
AT ITER 5643 NEW BEST:: SOT 1121288 SOS 697148 HAS SOPS 697060 HAS SOUS 66976 HAS SOUPS 66900 WITH SCORE 67597.148
AT ITER 5646 NEW BEST:: SOT 1121288 SOS 699187 HAS SOPS 699099 HAS SOUS 66922 HAS SOUPS 66846 WITH SCORE 67545.187
AT ITER 5651 NEW BEST:: SOT 1121647 SOS 699546 HAS SOPS 699458 HAS SOUS 66867 HAS SOUPS 66791 WITH SCORE 67490.546
AT ITER 5671 NEW BEST:: SOT 1121647 SOS 699382 HAS SOPS 699314 HAS SOUS 66846 HAS SOUPS 66790 WITH SCORE 67489.382
AT ITER 5687 NEW BEST:: SOT 1121462 SOS 699197 HAS SOPS 699129 HAS SOUS 66792 HAS SOUPS 66736 WITH SCORE 67435.197
AT ITER 5695 NEW BEST:: SOT 1120938 SOS 699249 HAS SOPS 699181 HAS SOUS 66266 HAS SOUPS 66210 WITH SCORE 66909.249
AT ITER 5713 NEW BEST:: SOT 1120580 SOS 698794 HAS SOPS 698726 HAS SOUS 66257 HAS SOUPS 66201 WITH SCORE 66899.794
AT ITER 5726 NEW BEST:: SOT 1120580 SOS 698564 HAS SOPS 698496 HAS SOUS 66257 HAS SOUPS 66201 WITH SCORE 66899.564
AT ITER 5743 NEW BEST:: SOT 1120580 SOS 698564 HAS SOPS 698496 HAS SOUS 66253 HAS SOUPS 66197 WITH SCORE 66895.564
AT ITER 5765 NEW BEST:: SOT 1120580 SOS 697796 HAS SOPS 697728 HAS SOUS 66253 HAS SOUPS 66197 WITH SCORE 66894.796
AT ITER 5782 NEW BEST:: SOT 1120580 SOS 697740 HAS SOPS 697670 HAS SOUS 66253 HAS SOUPS 66195 WITH SCORE 66892.74
AT ITER 5784 NEW BEST:: SOT 1120580 SOS 697644 HAS SOPS 697574 HAS SOUS 66253 HAS SOUPS 66195 WITH SCORE 66892.644
AT ITER 5800 NEW BEST:: SOT 1120312 SOS 697376 HAS SOPS 697306 HAS SOUS 66216 HAS SOUPS 66158 WITH SCORE 66855.376
AT ITER 5806 NEW BEST:: SOT 1120290 SOS 696538 HAS SOPS 696468 HAS SOUS 66200 HAS SOUPS 66142 WITH SCORE 66838.538
AT ITER 5859 NEW BEST:: SOT 1119419 SOS 695155 HAS SOPS 695085 HAS SOUS 66097 HAS SOUPS 66039 WITH SCORE 66734.155
AT ITER 5927 NEW BEST:: SOT 1119419 SOS 695155 HAS SOPS 695085 HAS SOUS 66049 HAS SOUPS 65991 WITH SCORE 66686.155
AT ITER 5989 NEW BEST:: SOT 1119419 SOS 695551 HAS SOPS 695481 HAS SOUS 66031 HAS SOUPS 65973 WITH SCORE 66668.551
AT ITER 6153 NEW BEST:: SOT 1119419 SOS 697424 HAS SOPS 697377 HAS SOUS 65981 HAS SOUPS 65946 WITH SCORE 66643.424
AT ITER 6155 NEW BEST:: SOT 1119419 SOS 697444 HAS SOPS 697397 HAS SOUS 65980 HAS SOUPS 65945 WITH SCORE 66642.444
AT ITER 6195 NEW BEST:: SOT 1119419 SOS 697420 HAS SOPS 697373 HAS SOUS 65980 HAS SOUPS 65945 WITH SCORE 66642.42
AT ITER 6198 NEW BEST:: SOT 1119419 SOS 697333 HAS SOPS 697286 HAS SOUS 65977 HAS SOUPS 65942 WITH SCORE 66639.333
AT ITER 6205 NEW BEST:: SOT 1118945 SOS 696919 HAS SOPS 696872 HAS SOUS 65787 HAS SOUPS 65752 WITH SCORE 66448.919
AT ITER 6210 NEW BEST:: SOT 1118945 SOS 696939 HAS SOPS 696892 HAS SOUS 65708 HAS SOUPS 65673 WITH SCORE 66369.939
AT ITER 6240 NEW BEST:: SOT 1118941 SOS 696935 HAS SOPS 696888 HAS SOUS 65704 HAS SOUPS 65669 WITH SCORE 66365.935
AT ITER 6262 NEW BEST:: SOT 1118753 SOS 696747 HAS SOPS 696700 HAS SOUS 64651 HAS SOUPS 64616 WITH SCORE 65312.747
AT ITER 6297 NEW BEST:: SOT 1118753 SOS 697267 HAS SOPS 697220 HAS SOUS 64226 HAS SOUPS 64191 WITH SCORE 64888.267
AT ITER 6306 NEW BEST:: SOT 1118818 SOS 697335 HAS SOPS 697288 HAS SOUS 64159 HAS SOUPS 64124 WITH SCORE 64821.335
AT ITER 6342 NEW BEST:: SOT 1118939 SOS 701056 HAS SOPS 701009 HAS SOUS 64120 HAS SOUPS 64085 WITH SCORE 64786.056
AT ITER 6345 NEW BEST:: SOT 1118939 SOS 701048 HAS SOPS 701001 HAS SOUS 64120 HAS SOUPS 64085 WITH SCORE 64786.048
AT ITER 6357 NEW BEST:: SOT 1118939 SOS 701033 HAS SOPS 700986 HAS SOUS 64117 HAS SOUPS 64082 WITH SCORE 64783.033
AT ITER 6371 NEW BEST:: SOT 1118930 SOS 701024 HAS SOPS 700977 HAS SOUS 64048 HAS SOUPS 64013 WITH SCORE 64714.024
AT ITER 6372 NEW BEST:: SOT 1118919 SOS 701013 HAS SOPS 700966 HAS SOUS 64037 HAS SOUPS 64002 WITH SCORE 64703.013
AT ITER 6385 NEW BEST:: SOT 1118919 SOS 701013 HAS SOPS 700966 HAS SOUS 63881 HAS SOUPS 63846 WITH SCORE 64547.013
AT ITER 6420 NEW BEST:: SOT 1118742 SOS 700740 HAS SOPS 700693 HAS SOUS 63775 HAS SOUPS 63740 WITH SCORE 64440.74
AT ITER 6435 NEW BEST:: SOT 1118337 SOS 700335 HAS SOPS 700288 HAS SOUS 63262 HAS SOUPS 63227 WITH SCORE 63927.335
AT ITER 6446 NEW BEST:: SOT 1118329 SOS 700327 HAS SOPS 700280 HAS SOUS 63251 HAS SOUPS 63216 WITH SCORE 63916.327
AT ITER 6447 NEW BEST:: SOT 1118329 SOS 701467 HAS SOPS 701420 HAS SOUS 63194 HAS SOUPS 63159 WITH SCORE 63860.467
AT ITER 6466 NEW BEST:: SOT 1118329 SOS 701467 HAS SOPS 701420 HAS SOUS 63193 HAS SOUPS 63158 WITH SCORE 63859.467
AT ITER 6524 NEW BEST:: SOT 1118297 SOS 701433 HAS SOPS 701386 HAS SOUS 63179 HAS SOUPS 63144 WITH SCORE 63845.433
AT ITER 6535 NEW BEST:: SOT 1118297 SOS 700854 HAS SOPS 700807 HAS SOUS 63158 HAS SOUPS 63123 WITH SCORE 63823.854
AT ITER 6545 NEW BEST:: SOT 1118297 SOS 699786 HAS SOPS 699739 HAS SOUS 63154 HAS SOUPS 63119 WITH SCORE 63818.786
AT ITER 6556 NEW BEST:: SOT 1118297 SOS 699681 HAS SOPS 699634 HAS SOUS 63133 HAS SOUPS 63098 WITH SCORE 63797.681
AT ITER 6570 NEW BEST:: SOT 1118397 SOS 699859 HAS SOPS 699812 HAS SOUS 62975 HAS SOUPS 62940 WITH SCORE 63639.859
AT ITER 6572 NEW BEST:: SOT 1118397 SOS 699043 HAS SOPS 698996 HAS SOUS 62975 HAS SOUPS 62940 WITH SCORE 63639.043
AT ITER 6606 NEW BEST:: SOT 1118081 SOS 698727 HAS SOPS 698680 HAS SOUS 62879 HAS SOUPS 62844 WITH SCORE 63542.727
AT ITER 6614 NEW BEST:: SOT 1117973 SOS 698637 HAS SOPS 698590 HAS SOUS 62675 HAS SOUPS 62640 WITH SCORE 63338.637
AT ITER 6728 NEW BEST:: SOT 1117972 SOS 698972 HAS SOPS 698925 HAS SOUS 62674 HAS SOUPS 62639 WITH SCORE 63337.972
AT ITER 6797 NEW BEST:: SOT 1118027 SOS 699027 HAS SOPS 698980 HAS SOUS 62671 HAS SOUPS 62636 WITH SCORE 63335.027
AT ITER 6840 NEW BEST:: SOT 1117976 SOS 698976 HAS SOPS 698929 HAS SOUS 62566 HAS SOUPS 62531 WITH SCORE 63229.976
AT ITER 6846 NEW BEST:: SOT 1117651 SOS 698651 HAS SOPS 698604 HAS SOUS 62553 HAS SOUPS 62518 WITH SCORE 63216.651
AT ITER 6852 NEW BEST:: SOT 1117645 SOS 698662 HAS SOPS 698598 HAS SOUS 62547 HAS SOUPS 62495 WITH SCORE 63193.662
AT ITER 6868 NEW BEST:: SOT 1117861 SOS 698878 HAS SOPS 698814 HAS SOUS 62438 HAS SOUPS 62386 WITH SCORE 63084.878
AT ITER 6870 NEW BEST:: SOT 1117778 SOS 698801 HAS SOPS 698737 HAS SOUS 62264 HAS SOUPS 62212 WITH SCORE 62910.801
AT ITER 6879 NEW BEST:: SOT 1116198 SOS 697221 HAS SOPS 697157 HAS SOUS 61878 HAS SOUPS 61826 WITH SCORE 62523.221
AT ITER 6934 NEW BEST:: SOT 1116198 SOS 696981 HAS SOPS 696917 HAS SOUS 61878 HAS SOUPS 61826 WITH SCORE 62522.981
AT ITER 7005 NEW BEST:: SOT 1116198 SOS 696981 HAS SOPS 696917 HAS SOUS 61844 HAS SOUPS 61792 WITH SCORE 62488.981
AT ITER 7059 NEW BEST:: SOT 1115598 SOS 696381 HAS SOPS 696317 HAS SOUS 61623 HAS SOUPS 61571 WITH SCORE 62267.381
AT ITER 7060 NEW BEST:: SOT 1115597 SOS 696380 HAS SOPS 696316 HAS SOUS 61600 HAS SOUPS 61548 WITH SCORE 62244.38
AT ITER 7130 NEW BEST:: SOT 1115611 SOS 694714 HAS SOPS 694650 HAS SOUS 61538 HAS SOUPS 61486 WITH SCORE 62180.714
AT ITER 7139 NEW BEST:: SOT 1115515 SOS 694618 HAS SOPS 694554 HAS SOUS 61432 HAS SOUPS 61380 WITH SCORE 62074.618
AT ITER 7140 NEW BEST:: SOT 1115386 SOS 694489 HAS SOPS 694425 HAS SOUS 61245 HAS SOUPS 61193 WITH SCORE 61887.489
AT ITER 7196 NEW BEST:: SOT 1115504 SOS 694607 HAS SOPS 694543 HAS SOUS 61226 HAS SOUPS 61174 WITH SCORE 61868.607
AT ITER 7248 NEW BEST:: SOT 1115504 SOS 694477 HAS SOPS 694413 HAS SOUS 61226 HAS SOUPS 61174 WITH SCORE 61868.477
AT ITER 7260 NEW BEST:: SOT 1115498 SOS 695365 HAS SOPS 695309 HAS SOUS 61216 HAS SOUPS 61166 WITH SCORE 61861.365
AT ITER 7286 NEW BEST:: SOT 1115498 SOS 694909 HAS SOPS 694853 HAS SOUS 61216 HAS SOUPS 61166 WITH SCORE 61860.909
AT ITER 7333 NEW BEST:: SOT 1115498 SOS 694349 HAS SOPS 694293 HAS SOUS 61196 HAS SOUPS 61146 WITH SCORE 61840.349
AT ITER 7334 NEW BEST:: SOT 1115474 SOS 694325 HAS SOPS 694269 HAS SOUS 61145 HAS SOUPS 61095 WITH SCORE 61789.325
AT ITER 7337 NEW BEST:: SOT 1115264 SOS 694115 HAS SOPS 694059 HAS SOUS 61134 HAS SOUPS 61084 WITH SCORE 61778.115
AT ITER 7410 NEW BEST:: SOT 1115264 SOS 692198 HAS SOPS 692139 HAS SOUS 61134 HAS SOUPS 61081 WITH SCORE 61773.198
AT ITER 7411 NEW BEST:: SOT 1115242 SOS 692176 HAS SOPS 692117 HAS SOUS 61126 HAS SOUPS 61073 WITH SCORE 61765.176
AT ITER 7506 NEW BEST:: SOT 1114724 SOS 690764 HAS SOPS 690697 HAS SOUS 61117 HAS SOUPS 61062 WITH SCORE 61752.764
AT ITER 7549 NEW BEST:: SOT 1116356 SOS 692396 HAS SOPS 692329 HAS SOUS 61110 HAS SOUPS 61055 WITH SCORE 61747.396
AT ITER 7553 NEW BEST:: SOT 1116342 SOS 692298 HAS SOPS 692231 HAS SOUS 61105 HAS SOUPS 61050 WITH SCORE 61742.298
AT ITER 7568 NEW BEST:: SOT 1116365 SOS 692321 HAS SOPS 692254 HAS SOUS 61091 HAS SOUPS 61036 WITH SCORE 61728.321
AT ITER 7587 NEW BEST:: SOT 1116410 SOS 692366 HAS SOPS 692299 HAS SOUS 60728 HAS SOUPS 60673 WITH SCORE 61365.366
AT ITER 7605 NEW BEST:: SOT 1116393 SOS 691969 HAS SOPS 691902 HAS SOUS 60726 HAS SOUPS 60671 WITH SCORE 61362.969
AT ITER 7698 NEW BEST:: SOT 1116393 SOS 691969 HAS SOPS 691902 HAS SOUS 60705 HAS SOUPS 60650 WITH SCORE 61341.969
AT ITER 7705 NEW BEST:: SOT 1116386 SOS 691962 HAS SOPS 691895 HAS SOUS 60698 HAS SOUPS 60643 WITH SCORE 61334.962
AT ITER 7765 NEW BEST:: SOT 1115416 SOS 692262 HAS SOPS 692195 HAS SOUS 59932 HAS SOUPS 59877 WITH SCORE 60569.262
AT ITER 7787 NEW BEST:: SOT 1115416 SOS 692122 HAS SOPS 692055 HAS SOUS 59932 HAS SOUPS 59877 WITH SCORE 60569.122
AT ITER 7793 NEW BEST:: SOT 1115473 SOS 692257 HAS SOPS 692190 HAS SOUS 59878 HAS SOUPS 59823 WITH SCORE 60515.257
AT ITER 7810 NEW BEST:: SOT 1116137 SOS 693377 HAS SOPS 693310 HAS SOUS 59870 HAS SOUPS 59815 WITH SCORE 60508.377
AT ITER 7829 NEW BEST:: SOT 1116137 SOS 693209 HAS SOPS 693142 HAS SOUS 59870 HAS SOUPS 59815 WITH SCORE 60508.209
AT ITER 7887 NEW BEST:: SOT 1116130 SOS 693202 HAS SOPS 693135 HAS SOUS 59864 HAS SOUPS 59809 WITH SCORE 60502.202
AT ITER 7896 NEW BEST:: SOT 1116040 SOS 693112 HAS SOPS 693045 HAS SOUS 59824 HAS SOUPS 59769 WITH SCORE 60462.112
AT ITER 7902 NEW BEST:: SOT 1116040 SOS 691288 HAS SOPS 691221 HAS SOUS 59824 HAS SOUPS 59769 WITH SCORE 60460.288
AT ITER 7936 NEW BEST:: SOT 1115783 SOS 691031 HAS SOPS 690964 HAS SOUS 59714 HAS SOUPS 59659 WITH SCORE 60350.031
AT ITER 7983 NEW BEST:: SOT 1115783 SOS 690503 HAS SOPS 690436 HAS SOUS 59714 HAS SOUPS 59659 WITH SCORE 60349.503
AT ITER 7986 NEW BEST:: SOT 1115786 SOS 690506 HAS SOPS 690439 HAS SOUS 59647 HAS SOUPS 59592 WITH SCORE 60282.506
AT ITER 8026 NEW BEST:: SOT 1115786 SOS 690454 HAS SOPS 690387 HAS SOUS 59634 HAS SOUPS 59579 WITH SCORE 60269.454
AT ITER 8056 NEW BEST:: SOT 1115786 SOS 690330 HAS SOPS 690219 HAS SOUS 59678 HAS SOUPS 59579 WITH SCORE 60269.33
AT ITER 8124 NEW BEST:: SOT 1115786 SOS 685968 HAS SOPS 685857 HAS SOUS 59668 HAS SOUPS 59569 WITH SCORE 60254.968
AT ITER 8213 NEW BEST:: SOT 1115786 SOS 687002 HAS SOPS 686913 HAS SOUS 59635 HAS SOUPS 59558 WITH SCORE 60245.002
AT ITER 8216 NEW BEST:: SOT 1115765 SOS 686979 HAS SOPS 686890 HAS SOUS 59614 HAS SOUPS 59537 WITH SCORE 60223.979
AT ITER 8315 NEW BEST:: SOT 1115750 SOS 686904 HAS SOPS 686815 HAS SOUS 59592 HAS SOUPS 59515 WITH SCORE 60201.904
AT ITER 8331 NEW BEST:: SOT 1115662 SOS 686816 HAS SOPS 686727 HAS SOUS 59575 HAS SOUPS 59498 WITH SCORE 60184.816
AT ITER 8334 NEW BEST:: SOT 1115243 SOS 686397 HAS SOPS 686308 HAS SOUS 59507 HAS SOUPS 59430 WITH SCORE 60116.397
AT ITER 8337 NEW BEST:: SOT 1115243 SOS 686381 HAS SOPS 686292 HAS SOUS 59507 HAS SOUPS 59430 WITH SCORE 60116.381
AT ITER 8443 NEW BEST:: SOT 1115261 SOS 686243 HAS SOPS 686154 HAS SOUS 59466 HAS SOUPS 59389 WITH SCORE 60075.243
AT ITER 8447 NEW BEST:: SOT 1115258 SOS 685880 HAS SOPS 685791 HAS SOUS 59433 HAS SOUPS 59356 WITH SCORE 60041.88
AT ITER 8456 NEW BEST:: SOT 1115258 SOS 687441 HAS SOPS 687399 HAS SOUS 59376 HAS SOUPS 59346 WITH SCORE 60033.441
AT ITER 8512 NEW BEST:: SOT 1115305 SOS 687494 HAS SOPS 687452 HAS SOUS 59356 HAS SOUPS 59326 WITH SCORE 60013.494
AT ITER 8529 NEW BEST:: SOT 1115175 SOS 687962 HAS SOPS 687920 HAS SOUS 59226 HAS SOUPS 59196 WITH SCORE 59883.962
AT ITER 8543 NEW BEST:: SOT 1115039 SOS 687826 HAS SOPS 687784 HAS SOUS 58920 HAS SOUPS 58890 WITH SCORE 59577.826
AT ITER 8589 NEW BEST:: SOT 1115039 SOS 687750 HAS SOPS 687708 HAS SOUS 58920 HAS SOUPS 58890 WITH SCORE 59577.75
AT ITER 8627 NEW BEST:: SOT 1114964 SOS 687675 HAS SOPS 687633 HAS SOUS 58917 HAS SOUPS 58887 WITH SCORE 59574.675
AT ITER 8637 NEW BEST:: SOT 1114962 SOS 687673 HAS SOPS 687631 HAS SOUS 58915 HAS SOUPS 58885 WITH SCORE 59572.673
AT ITER 8651 NEW BEST:: SOT 1114962 SOS 687868 HAS SOPS 687847 HAS SOUS 58885 HAS SOUPS 58876 WITH SCORE 59563.868
AT ITER 8658 NEW BEST:: SOT 1115302 SOS 688208 HAS SOPS 688187 HAS SOUS 58884 HAS SOUPS 58875 WITH SCORE 59563.208
AT ITER 8723 NEW BEST:: SOT 1115332 SOS 688414 HAS SOPS 688393 HAS SOUS 58866 HAS SOUPS 58857 WITH SCORE 59545.414
AT ITER 8840 NEW BEST:: SOT 1115178 SOS 688260 HAS SOPS 688239 HAS SOUS 58823 HAS SOUPS 58814 WITH SCORE 59502.26
AT ITER 8917 NEW BEST:: SOT 1115440 SOS 688522 HAS SOPS 688501 HAS SOUS 58601 HAS SOUPS 58592 WITH SCORE 59280.522
AT ITER 8934 NEW BEST:: SOT 1114754 SOS 687236 HAS SOPS 687215 HAS SOUS 58461 HAS SOUPS 58452 WITH SCORE 59139.236
AT ITER 8977 NEW BEST:: SOT 1114751 SOS 687115 HAS SOPS 687094 HAS SOUS 58461 HAS SOUPS 58452 WITH SCORE 59139.115
AT ITER 8982 NEW BEST:: SOT 1114751 SOS 687063 HAS SOPS 687042 HAS SOUS 58461 HAS SOUPS 58452 WITH SCORE 59139.063
AT ITER 9005 NEW BEST:: SOT 1114751 SOS 686925 HAS SOPS 686904 HAS SOUS 58461 HAS SOUPS 58452 WITH SCORE 59138.925
AT ITER 9023 NEW BEST:: SOT 1114751 SOS 686805 HAS SOPS 686784 HAS SOUS 58461 HAS SOUPS 58452 WITH SCORE 59138.805
AT ITER 9049 NEW BEST:: SOT 1114751 SOS 686445 HAS SOPS 686424 HAS SOUS 58457 HAS SOUPS 58448 WITH SCORE 59134.445
AT ITER 9067 NEW BEST:: SOT 1114751 SOS 686445 HAS SOPS 686424 HAS SOUS 58440 HAS SOUPS 58431 WITH SCORE 59117.445
AT ITER 9071 NEW BEST:: SOT 1114750 SOS 686396 HAS SOPS 686375 HAS SOUS 58437 HAS SOUPS 58428 WITH SCORE 59114.396
AT ITER 9074 NEW BEST:: SOT 1114716 SOS 686410 HAS SOPS 686389 HAS SOUS 58387 HAS SOUPS 58378 WITH SCORE 59064.41
AT ITER 9104 NEW BEST:: SOT 1114664 SOS 686358 HAS SOPS 686337 HAS SOUS 58335 HAS SOUPS 58326 WITH SCORE 59012.358
AT ITER 9154 NEW BEST:: SOT 1113989 SOS 685683 HAS SOPS 685662 HAS SOUS 58148 HAS SOUPS 58139 WITH SCORE 58824.683
AT ITER 9232 NEW BEST:: SOT 1114003 SOS 685697 HAS SOPS 685676 HAS SOUS 58139 HAS SOUPS 58130 WITH SCORE 58815.697
AT ITER 9257 NEW BEST:: SOT 1114025 SOS 685675 HAS SOPS 685654 HAS SOUS 58139 HAS SOUPS 58130 WITH SCORE 58815.675
AT ITER 9411 NEW BEST:: SOT 1113525 SOS 685157 HAS SOPS 685136 HAS SOUS 58136 HAS SOUPS 58127 WITH SCORE 58812.157
AT ITER 9426 NEW BEST:: SOT 1113525 SOS 685105 HAS SOPS 685084 HAS SOUS 58136 HAS SOUPS 58127 WITH SCORE 58812.105
AT ITER 9461 NEW BEST:: SOT 1113522 SOS 685102 HAS SOPS 685081 HAS SOUS 58133 HAS SOUPS 58124 WITH SCORE 58809.102
AT ITER 9496 NEW BEST:: SOT 1113484 SOS 685056 HAS SOPS 685035 HAS SOUS 58087 HAS SOUPS 58078 WITH SCORE 58763.056
AT ITER 9515 NEW BEST:: SOT 1113484 SOS 684880 HAS SOPS 684859 HAS SOUS 58087 HAS SOUPS 58078 WITH SCORE 58762.88
AT ITER 9600 NEW BEST:: SOT 1113484 SOS 685469 HAS SOPS 685448 HAS SOUS 58061 HAS SOUPS 58052 WITH SCORE 58737.469
AT ITER 9659 NEW BEST:: SOT 1113399 SOS 685384 HAS SOPS 685363 HAS SOUS 57998 HAS SOUPS 57989 WITH SCORE 58674.384
AT ITER 9743 NEW BEST:: SOT 1113398 SOS 685383 HAS SOPS 685362 HAS SOUS 57967 HAS SOUPS 57958 WITH SCORE 58643.383
AT ITER 9772 NEW BEST:: SOT 1113398 SOS 685175 HAS SOPS 685154 HAS SOUS 57967 HAS SOUPS 57958 WITH SCORE 58643.175
AT ITER 9776 NEW BEST:: SOT 1113413 SOS 685190 HAS SOPS 685169 HAS SOUS 57958 HAS SOUPS 57949 WITH SCORE 58634.19
AT ITER 9780 NEW BEST:: SOT 1113413 SOS 685190 HAS SOPS 685169 HAS SOUS 57949 HAS SOUPS 57940 WITH SCORE 58625.19
AT ITER 9806 NEW BEST:: SOT 1113474 SOS 685251 HAS SOPS 685230 HAS SOUS 57869 HAS SOUPS 57860 WITH SCORE 58545.251
AT ITER 9832 NEW BEST:: SOT 1113459 SOS 685236 HAS SOPS 685215 HAS SOUS 57869 HAS SOUPS 57860 WITH SCORE 58545.236
AT ITER 9836 NEW BEST:: SOT 1113288 SOS 684897 HAS SOPS 684876 HAS SOUS 57866 HAS SOUPS 57857 WITH SCORE 58541.897
AT ITER 9890 NEW BEST:: SOT 1112058 SOS 683667 HAS SOPS 683646 HAS SOUS 57784 HAS SOUPS 57775 WITH SCORE 58458.667
AT ITER 9892 NEW BEST:: SOT 1111358 SOS 682967 HAS SOPS 682946 HAS SOUS 57649 HAS SOUPS 57640 WITH SCORE 58322.967
AT ITER 9910 NEW BEST:: SOT 1110850 SOS 682459 HAS SOPS 682438 HAS SOUS 57296 HAS SOUPS 57287 WITH SCORE 57969.459
AT ITER 9945 NEW BEST:: SOT 1110031 SOS 681580 HAS SOPS 681559 HAS SOUS 57225 HAS SOUPS 57216 WITH SCORE 57897.58
AT ITER 9987 NEW BEST:: SOT 1110031 SOS 683140 HAS SOPS 683119 HAS SOUS 57214 HAS SOUPS 57205 WITH SCORE 57888.14

BK_STOP 1678691148170

--------------------
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
ERROR:
Generation failed in Meddly with error code:
Insufficient memory
within model automodel instantiated in file model.sm near line 34559
double free or corruption (out)
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 483 Aborted ${SMART}/smart ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Medical-PT-22"
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 Medical-PT-22, 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 r235-tall-167856422200736"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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