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.r227-tall-167856410800704.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 smart
Input is Medical-PT-14, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r227-tall-167856410800704
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.5M
-rw-r--r-- 1 mcc users 6.7K Feb 25 14:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 25 14:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 14:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 40K Feb 25 14:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 16:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K 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 11K Feb 25 14:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 100K Feb 25 14:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 25 14:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 25 14:43 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 1678623430757

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Medical-PT-14
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Medical (PT), instance 14
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 312 places, 5431 transitions, 28790 arcs.
AT ITER 0 NEW BEST:: SOT 1171486 SOS 639970 HAS SOPS 636874 HAS SOUS 256115 HAS SOUPS 253298 WITH SCORE 253937.97
AT ITER 3 NEW BEST:: SOT 1170080 SOS 625904 HAS SOPS 621404 HAS SOUS 254506 HAS SOUPS 251641 WITH SCORE 252266.904
AT ITER 7 NEW BEST:: SOT 1169264 SOS 618316 HAS SOPS 608365 HAS SOUS 253982 HAS SOUPS 250745 WITH SCORE 251363.316
AT ITER 10 NEW BEST:: SOT 1170824 SOS 619732 HAS SOPS 609805 HAS SOUS 253609 HAS SOUPS 250372 WITH SCORE 250991.732
AT ITER 13 NEW BEST:: SOT 1170811 SOS 618337 HAS SOPS 608982 HAS SOUS 252002 HAS SOUPS 248832 WITH SCORE 249450.337
AT ITER 19 NEW BEST:: SOT 1170788 SOS 618314 HAS SOPS 608959 HAS SOUS 251979 HAS SOUPS 248809 WITH SCORE 249427.314
AT ITER 28 NEW BEST:: SOT 1170749 SOS 617138 HAS SOPS 608164 HAS SOUS 248737 HAS SOUPS 245630 WITH SCORE 246247.138
AT ITER 31 NEW BEST:: SOT 1170749 SOS 580682 HAS SOPS 571708 HAS SOUS 248665 HAS SOUPS 245558 WITH SCORE 246138.682
AT ITER 39 NEW BEST:: SOT 1170749 SOS 579415 HAS SOPS 570196 HAS SOUS 248855 HAS SOUPS 245503 WITH SCORE 246082.415
AT ITER 40 NEW BEST:: SOT 1169933 SOS 576904 HAS SOPS 568215 HAS SOUS 247192 HAS SOUPS 243888 WITH SCORE 244464.904
AT ITER 43 NEW BEST:: SOT 1169892 SOS 577229 HAS SOPS 568506 HAS SOUS 246508 HAS SOUPS 243204 WITH SCORE 243781.229
AT ITER 44 NEW BEST:: SOT 1169921 SOS 577258 HAS SOPS 568535 HAS SOUS 246327 HAS SOUPS 243023 WITH SCORE 243600.258
AT ITER 46 NEW BEST:: SOT 1169908 SOS 575146 HAS SOPS 567149 HAS SOUS 244360 HAS SOUPS 241145 WITH SCORE 241720.146
AT ITER 50 NEW BEST:: SOT 1169869 SOS 583123 HAS SOPS 575126 HAS SOUS 244319 HAS SOUPS 241104 WITH SCORE 241687.123
AT ITER 51 NEW BEST:: SOT 1169869 SOS 582667 HAS SOPS 574670 HAS SOUS 244298 HAS SOUPS 241083 WITH SCORE 241665.667
AT ITER 53 NEW BEST:: SOT 1169921 SOS 582793 HAS SOPS 574011 HAS SOUS 243931 HAS SOUPS 240780 WITH SCORE 241362.793
AT ITER 66 NEW BEST:: SOT 1169921 SOS 584085 HAS SOPS 575331 HAS SOUS 243749 HAS SOUPS 240626 WITH SCORE 241210.085
AT ITER 67 NEW BEST:: SOT 1169921 SOS 583872 HAS SOPS 575118 HAS SOUS 243410 HAS SOUPS 240287 WITH SCORE 240870.872
AT ITER 80 NEW BEST:: SOT 1170430 SOS 584417 HAS SOPS 575663 HAS SOUS 242542 HAS SOUPS 239419 WITH SCORE 240003.417
AT ITER 82 NEW BEST:: SOT 1170430 SOS 584417 HAS SOPS 575663 HAS SOUS 242469 HAS SOUPS 239346 WITH SCORE 239930.417
AT ITER 94 NEW BEST:: SOT 1168902 SOS 581442 HAS SOPS 572939 HAS SOUS 238491 HAS SOUPS 235448 WITH SCORE 236029.442
AT ITER 96 NEW BEST:: SOT 1168346 SOS 637226 HAS SOPS 633299 HAS SOUS 237325 HAS SOUPS 234576 WITH SCORE 235213.226
AT ITER 101 NEW BEST:: SOT 1176450 SOS 645333 HAS SOPS 641403 HAS SOUS 233986 HAS SOUPS 231234 WITH SCORE 231879.333
AT ITER 123 NEW BEST:: SOT 1176644 SOS 645527 HAS SOPS 641597 HAS SOUS 233902 HAS SOUPS 231150 WITH SCORE 231795.527
AT ITER 130 NEW BEST:: SOT 1174235 SOS 599218 HAS SOPS 592191 HAS SOUS 231513 HAS SOUPS 228532 WITH SCORE 229131.218
AT ITER 131 NEW BEST:: SOT 1174235 SOS 599074 HAS SOPS 592047 HAS SOUS 231513 HAS SOUPS 228532 WITH SCORE 229131.074
AT ITER 132 NEW BEST:: SOT 1174235 SOS 600389 HAS SOPS 593391 HAS SOUS 230361 HAS SOUPS 227409 WITH SCORE 228009.389
AT ITER 136 NEW BEST:: SOT 1174235 SOS 601061 HAS SOPS 594063 HAS SOUS 230049 HAS SOUPS 227097 WITH SCORE 227698.061
AT ITER 139 NEW BEST:: SOT 1178613 SOS 615908 HAS SOPS 606432 HAS SOUS 227268 HAS SOUPS 224284 WITH SCORE 224899.908
AT ITER 143 NEW BEST:: SOT 1179545 SOS 614979 HAS SOPS 605895 HAS SOUS 223246 HAS SOUPS 220323 WITH SCORE 220937.979
AT ITER 148 NEW BEST:: SOT 1179545 SOS 614612 HAS SOPS 605559 HAS SOUS 223095 HAS SOUPS 220172 WITH SCORE 220786.612
AT ITER 164 NEW BEST:: SOT 1179785 SOS 614764 HAS SOPS 605719 HAS SOUS 222572 HAS SOUPS 219649 WITH SCORE 220263.764
AT ITER 167 NEW BEST:: SOT 1179785 SOS 615952 HAS SOPS 606944 HAS SOUS 222017 HAS SOUPS 219131 WITH SCORE 219746.952
AT ITER 173 NEW BEST:: SOT 1179922 SOS 619047 HAS SOPS 610070 HAS SOUS 221165 HAS SOUPS 218279 WITH SCORE 218898.047
AT ITER 175 NEW BEST:: SOT 1179922 SOS 619051 HAS SOPS 610074 HAS SOUS 221149 HAS SOUPS 218263 WITH SCORE 218882.051
AT ITER 176 NEW BEST:: SOT 1165718 SOS 748601 HAS SOPS 741736 HAS SOUS 205407 HAS SOUPS 203424 WITH SCORE 204172.601
AT ITER 180 NEW BEST:: SOT 1165514 SOS 748397 HAS SOPS 741532 HAS SOUS 205013 HAS SOUPS 203030 WITH SCORE 203778.397
AT ITER 181 NEW BEST:: SOT 1163284 SOS 746167 HAS SOPS 739302 HAS SOUS 203367 HAS SOUPS 201384 WITH SCORE 202130.167
AT ITER 196 NEW BEST:: SOT 1163463 SOS 746441 HAS SOPS 739721 HAS SOUS 201242 HAS SOUPS 199259 WITH SCORE 200005.441
AT ITER 198 NEW BEST:: SOT 1163820 SOS 746569 HAS SOPS 739856 HAS SOUS 199356 HAS SOUPS 197375 WITH SCORE 198121.569
AT ITER 202 NEW BEST:: SOT 1163674 SOS 746477 HAS SOPS 739764 HAS SOUS 199301 HAS SOUPS 197320 WITH SCORE 198066.477
AT ITER 214 NEW BEST:: SOT 1163674 SOS 742225 HAS SOPS 735264 HAS SOUS 199313 HAS SOUPS 197272 WITH SCORE 198014.225
AT ITER 216 NEW BEST:: SOT 1161937 SOS 740554 HAS SOPS 733593 HAS SOUS 196805 HAS SOUPS 194764 WITH SCORE 195504.554
AT ITER 219 NEW BEST:: SOT 1161937 SOS 741586 HAS SOPS 734625 HAS SOUS 196586 HAS SOUPS 194545 WITH SCORE 195286.586
AT ITER 220 NEW BEST:: SOT 1161977 SOS 741589 HAS SOPS 734665 HAS SOUS 195993 HAS SOUPS 193989 WITH SCORE 194730.589
AT ITER 222 NEW BEST:: SOT 1160672 SOS 740337 HAS SOPS 733413 HAS SOUS 194523 HAS SOUPS 192519 WITH SCORE 193259.337
AT ITER 239 NEW BEST:: SOT 1163687 SOS 743540 HAS SOPS 736672 HAS SOUS 194336 HAS SOUPS 192388 WITH SCORE 193131.54
AT ITER 244 NEW BEST:: SOT 1163695 SOS 744532 HAS SOPS 737664 HAS SOUS 194329 HAS SOUPS 192381 WITH SCORE 193125.532
AT ITER 254 NEW BEST:: SOT 1167034 SOS 747809 HAS SOPS 741003 HAS SOUS 193270 HAS SOUPS 191384 WITH SCORE 192131.809
AT ITER 255 NEW BEST:: SOT 1166910 SOS 781006 HAS SOPS 774200 HAS SOUS 193208 HAS SOUPS 191322 WITH SCORE 192103.006
AT ITER 264 NEW BEST:: SOT 1162367 SOS 776087 HAS SOPS 769657 HAS SOUS 190005 HAS SOUPS 188147 WITH SCORE 188923.087
AT ITER 265 NEW BEST:: SOT 1163910 SOS 777630 HAS SOPS 771200 HAS SOUS 188862 HAS SOUPS 187004 WITH SCORE 187781.63
AT ITER 275 NEW BEST:: SOT 1163910 SOS 777649 HAS SOPS 771200 HAS SOUS 188824 HAS SOUPS 186947 WITH SCORE 187724.649
AT ITER 284 NEW BEST:: SOT 1165073 SOS 778869 HAS SOPS 772447 HAS SOUS 187834 HAS SOUPS 185984 WITH SCORE 186762.869
AT ITER 288 NEW BEST:: SOT 1164816 SOS 778612 HAS SOPS 772190 HAS SOUS 187759 HAS SOUPS 185909 WITH SCORE 186687.612
AT ITER 300 NEW BEST:: SOT 1164816 SOS 778608 HAS SOPS 772186 HAS SOUS 187739 HAS SOUPS 185889 WITH SCORE 186667.608
AT ITER 305 NEW BEST:: SOT 1164885 SOS 780314 HAS SOPS 773917 HAS SOUS 187683 HAS SOUPS 185858 WITH SCORE 186638.314
AT ITER 309 NEW BEST:: SOT 1164809 SOS 780238 HAS SOPS 773841 HAS SOUS 187176 HAS SOUPS 185351 WITH SCORE 186131.238
AT ITER 314 NEW BEST:: SOT 1163983 SOS 779304 HAS SOPS 772875 HAS SOUS 185925 HAS SOUPS 184100 WITH SCORE 184879.304
AT ITER 321 NEW BEST:: SOT 1164789 SOS 780418 HAS SOPS 773993 HAS SOUS 184832 HAS SOUPS 183011 WITH SCORE 183791.418
AT ITER 323 NEW BEST:: SOT 1167957 SOS 783350 HAS SOPS 777161 HAS SOUS 183749 HAS SOUPS 181948 WITH SCORE 182731.35
AT ITER 338 NEW BEST:: SOT 1172910 SOS 788787 HAS SOPS 782114 HAS SOUS 183228 HAS SOUPS 181318 WITH SCORE 182106.787
AT ITER 340 NEW BEST:: SOT 1173087 SOS 788964 HAS SOPS 782291 HAS SOUS 182766 HAS SOUPS 180856 WITH SCORE 181644.964
AT ITER 342 NEW BEST:: SOT 1173031 SOS 789844 HAS SOPS 783171 HAS SOUS 181327 HAS SOUPS 179417 WITH SCORE 180206.844
AT ITER 358 NEW BEST:: SOT 1173031 SOS 790851 HAS SOPS 784203 HAS SOUS 181004 HAS SOUPS 179099 WITH SCORE 179889.851
AT ITER 366 NEW BEST:: SOT 1173031 SOS 790851 HAS SOPS 784203 HAS SOUS 180932 HAS SOUPS 179027 WITH SCORE 179817.851
AT ITER 367 NEW BEST:: SOT 1174686 SOS 792446 HAS SOPS 785858 HAS SOUS 179711 HAS SOUPS 177866 WITH SCORE 178658.446
AT ITER 371 NEW BEST:: SOT 1174817 SOS 792631 HAS SOPS 786043 HAS SOUS 179371 HAS SOUPS 177526 WITH SCORE 178318.631
AT ITER 372 NEW BEST:: SOT 1174817 SOS 792650 HAS SOPS 786043 HAS SOUS 179327 HAS SOUPS 177463 WITH SCORE 178255.65
AT ITER 377 NEW BEST:: SOT 1174700 SOS 793377 HAS SOPS 786770 HAS SOUS 179321 HAS SOUPS 177457 WITH SCORE 178250.377
AT ITER 378 NEW BEST:: SOT 1177969 SOS 796596 HAS SOPS 790039 HAS SOUS 177692 HAS SOUPS 175878 WITH SCORE 176674.596
AT ITER 381 NEW BEST:: SOT 1178264 SOS 796328 HAS SOPS 789798 HAS SOUS 176742 HAS SOUPS 174936 WITH SCORE 175732.328
AT ITER 382 NEW BEST:: SOT 1179694 SOS 882602 HAS SOPS 880842 HAS SOUS 175979 HAS SOUPS 174515 WITH SCORE 175397.602
AT ITER 383 NEW BEST:: SOT 1183716 SOS 886558 HAS SOPS 884864 HAS SOUS 173998 HAS SOUPS 172600 WITH SCORE 173486.558
AT ITER 384 NEW BEST:: SOT 1183836 SOS 888838 HAS SOPS 887144 HAS SOUS 173494 HAS SOUPS 172096 WITH SCORE 172984.838
AT ITER 387 NEW BEST:: SOT 1183248 SOS 888469 HAS SOPS 886836 HAS SOUS 172854 HAS SOUPS 171517 WITH SCORE 172405.469
AT ITER 388 NEW BEST:: SOT 1183386 SOS 888679 HAS SOPS 885090 HAS SOUS 172890 HAS SOUPS 170836 WITH SCORE 171724.679
AT ITER 389 NEW BEST:: SOT 1184519 SOS 889942 HAS SOPS 886419 HAS SOUS 172742 HAS SOUPS 170688 WITH SCORE 171577.942
AT ITER 410 NEW BEST:: SOT 1187106 SOS 894466 HAS SOPS 891005 HAS SOUS 171522 HAS SOUPS 169468 WITH SCORE 170362.466
AT ITER 414 NEW BEST:: SOT 1187106 SOS 893966 HAS SOPS 890849 HAS SOUS 170118 HAS SOUPS 168140 WITH SCORE 169033.966
AT ITER 416 NEW BEST:: SOT 1188639 SOS 896695 HAS SOPS 893747 HAS SOUS 169118 HAS SOUPS 167309 WITH SCORE 168205.695
AT ITER 420 NEW BEST:: SOT 1188818 SOS 896902 HAS SOPS 893979 HAS SOUS 168026 HAS SOUPS 166242 WITH SCORE 167138.902
AT ITER 421 NEW BEST:: SOT 1188653 SOS 896737 HAS SOPS 893814 HAS SOUS 167936 HAS SOUPS 166152 WITH SCORE 167048.737
AT ITER 422 NEW BEST:: SOT 1188273 SOS 896357 HAS SOPS 893434 HAS SOUS 167827 HAS SOUPS 166043 WITH SCORE 166939.357
AT ITER 427 NEW BEST:: SOT 1189054 SOS 897138 HAS SOPS 894215 HAS SOUS 167021 HAS SOUPS 165237 WITH SCORE 166134.138
AT ITER 430 NEW BEST:: SOT 1189103 SOS 896495 HAS SOPS 893572 HAS SOUS 166562 HAS SOUPS 164778 WITH SCORE 165674.495
AT ITER 442 NEW BEST:: SOT 1189118 SOS 896466 HAS SOPS 893543 HAS SOUS 166502 HAS SOUPS 164718 WITH SCORE 165614.466
AT ITER 446 NEW BEST:: SOT 1188309 SOS 895657 HAS SOPS 892734 HAS SOUS 165693 HAS SOUPS 163909 WITH SCORE 164804.657
AT ITER 447 NEW BEST:: SOT 1188309 SOS 895609 HAS SOPS 892686 HAS SOUS 165687 HAS SOUPS 163903 WITH SCORE 164798.609
AT ITER 454 NEW BEST:: SOT 1187414 SOS 894842 HAS SOPS 891919 HAS SOUS 165255 HAS SOUPS 163471 WITH SCORE 164365.842
AT ITER 455 NEW BEST:: SOT 1186749 SOS 894177 HAS SOPS 891254 HAS SOUS 165241 HAS SOUPS 163457 WITH SCORE 164351.177
AT ITER 458 NEW BEST:: SOT 1186312 SOS 893740 HAS SOPS 890817 HAS SOUS 164440 HAS SOUPS 162656 WITH SCORE 163549.74
AT ITER 462 NEW BEST:: SOT 1186312 SOS 893740 HAS SOPS 890817 HAS SOUS 163977 HAS SOUPS 162193 WITH SCORE 163086.74
AT ITER 466 NEW BEST:: SOT 1186312 SOS 894013 HAS SOPS 891097 HAS SOUS 163949 HAS SOUPS 162172 WITH SCORE 163066.013
AT ITER 476 NEW BEST:: SOT 1186327 SOS 894000 HAS SOPS 891059 HAS SOUS 163862 HAS SOUPS 162060 WITH SCORE 162954.0
AT ITER 480 NEW BEST:: SOT 1191067 SOS 898740 HAS SOPS 895799 HAS SOUS 162318 HAS SOUPS 160516 WITH SCORE 161414.74
AT ITER 484 NEW BEST:: SOT 1191067 SOS 898566 HAS SOPS 895494 HAS SOUS 162318 HAS SOUPS 160385 WITH SCORE 161283.566
AT ITER 493 NEW BEST:: SOT 1191073 SOS 898596 HAS SOPS 895557 HAS SOUS 162198 HAS SOUPS 160298 WITH SCORE 161196.596
AT ITER 498 NEW BEST:: SOT 1192344 SOS 899756 HAS SOPS 896828 HAS SOUS 161643 HAS SOUPS 159854 WITH SCORE 160753.756
AT ITER 502 NEW BEST:: SOT 1192344 SOS 899751 HAS SOPS 896828 HAS SOUS 161623 HAS SOUPS 159839 WITH SCORE 160738.751
AT ITER 503 NEW BEST:: SOT 1192354 SOS 899721 HAS SOPS 896743 HAS SOUS 161628 HAS SOUPS 159789 WITH SCORE 160688.721
AT ITER 505 NEW BEST:: SOT 1195607 SOS 903322 HAS SOPS 900346 HAS SOUS 160677 HAS SOUPS 158840 WITH SCORE 159743.322
AT ITER 507 NEW BEST:: SOT 1195702 SOS 903417 HAS SOPS 900441 HAS SOUS 160578 HAS SOUPS 158741 WITH SCORE 159644.417
AT ITER 523 NEW BEST:: SOT 1195702 SOS 904673 HAS SOPS 901737 HAS SOUS 159754 HAS SOUPS 157957 WITH SCORE 158861.673
AT ITER 524 NEW BEST:: SOT 1195174 SOS 904502 HAS SOPS 901566 HAS SOUS 159142 HAS SOUPS 157345 WITH SCORE 158249.502
AT ITER 537 NEW BEST:: SOT 1195389 SOS 906238 HAS SOPS 903317 HAS SOUS 158262 HAS SOUPS 156480 WITH SCORE 157386.238
AT ITER 540 NEW BEST:: SOT 1195383 SOS 906192 HAS SOPS 903311 HAS SOUS 158070 HAS SOUPS 156328 WITH SCORE 157234.192
AT ITER 543 NEW BEST:: SOT 1195080 SOS 905889 HAS SOPS 903008 HAS SOUS 157340 HAS SOUPS 155598 WITH SCORE 156503.889
AT ITER 548 NEW BEST:: SOT 1195080 SOS 907078 HAS SOPS 904208 HAS SOUS 157181 HAS SOUPS 155450 WITH SCORE 156357.078
AT ITER 551 NEW BEST:: SOT 1195400 SOS 907398 HAS SOPS 904528 HAS SOUS 155568 HAS SOUPS 153837 WITH SCORE 154744.398
AT ITER 555 NEW BEST:: SOT 1195400 SOS 891708 HAS SOPS 888458 HAS SOUS 155421 HAS SOUPS 153690 WITH SCORE 154581.708
AT ITER 561 NEW BEST:: SOT 1195196 SOS 895091 HAS SOPS 893903 HAS SOUS 154584 HAS SOUPS 153568 WITH SCORE 154463.091
AT ITER 566 NEW BEST:: SOT 1195196 SOS 893795 HAS SOPS 892607 HAS SOUS 154584 HAS SOUPS 153568 WITH SCORE 154461.795
AT ITER 586 NEW BEST:: SOT 1195196 SOS 894851 HAS SOPS 893663 HAS SOUS 154319 HAS SOUPS 153303 WITH SCORE 154197.851
AT ITER 587 NEW BEST:: SOT 1196426 SOS 896081 HAS SOPS 894893 HAS SOUS 154026 HAS SOUPS 153010 WITH SCORE 153906.081
AT ITER 588 NEW BEST:: SOT 1198027 SOS 897637 HAS SOPS 896494 HAS SOUS 153956 HAS SOUPS 152985 WITH SCORE 153882.637
AT ITER 592 NEW BEST:: SOT 1198027 SOS 901999 HAS SOPS 900904 HAS SOUS 153845 HAS SOUPS 152874 WITH SCORE 153775.999
AT ITER 593 NEW BEST:: SOT 1197282 SOS 901962 HAS SOPS 900752 HAS SOUS 153102 HAS SOUPS 152016 WITH SCORE 152917.962
AT ITER 597 NEW BEST:: SOT 1196329 SOS 902031 HAS SOPS 901717 HAS SOUS 152235 HAS SOUPS 152014 WITH SCORE 152916.031
AT ITER 601 NEW BEST:: SOT 1196329 SOS 902103 HAS SOPS 901789 HAS SOUS 152209 HAS SOUPS 151988 WITH SCORE 152890.103
AT ITER 602 NEW BEST:: SOT 1195267 SOS 901041 HAS SOPS 900727 HAS SOUS 152170 HAS SOUPS 151949 WITH SCORE 152850.041
AT ITER 605 NEW BEST:: SOT 1195173 SOS 900947 HAS SOPS 900633 HAS SOUS 151988 HAS SOUPS 151767 WITH SCORE 152667.947
AT ITER 609 NEW BEST:: SOT 1195040 SOS 901158 HAS SOPS 900844 HAS SOUS 150733 HAS SOUPS 150512 WITH SCORE 151413.158
AT ITER 618 NEW BEST:: SOT 1194845 SOS 900963 HAS SOPS 900649 HAS SOUS 149670 HAS SOUPS 149449 WITH SCORE 150349.963
AT ITER 622 NEW BEST:: SOT 1195112 SOS 901230 HAS SOPS 900916 HAS SOUS 149081 HAS SOUPS 148860 WITH SCORE 149761.23
AT ITER 626 NEW BEST:: SOT 1195112 SOS 901478 HAS SOPS 901164 HAS SOUS 148988 HAS SOUPS 148767 WITH SCORE 149668.478
AT ITER 630 NEW BEST:: SOT 1194070 SOS 900436 HAS SOPS 900122 HAS SOUS 147228 HAS SOUPS 147007 WITH SCORE 147907.436
AT ITER 633 NEW BEST:: SOT 1193756 SOS 900122 HAS SOPS 899808 HAS SOUS 146257 HAS SOUPS 146036 WITH SCORE 146936.122
AT ITER 639 NEW BEST:: SOT 1193780 SOS 901898 HAS SOPS 901584 HAS SOUS 144988 HAS SOUPS 144767 WITH SCORE 145668.898
AT ITER 640 NEW BEST:: SOT 1193063 SOS 901136 HAS SOPS 900822 HAS SOUS 144917 HAS SOUPS 144696 WITH SCORE 145597.136
AT ITER 641 NEW BEST:: SOT 1192441 SOS 900567 HAS SOPS 900306 HAS SOUS 143548 HAS SOUPS 143380 WITH SCORE 144280.567
AT ITER 643 NEW BEST:: SOT 1191596 SOS 899722 HAS SOPS 899461 HAS SOUS 142341 HAS SOUPS 142173 WITH SCORE 143072.722
AT ITER 652 NEW BEST:: SOT 1191570 SOS 899804 HAS SOPS 899543 HAS SOUS 142263 HAS SOUPS 142095 WITH SCORE 142994.804
AT ITER 661 NEW BEST:: SOT 1191347 SOS 871157 HAS SOPS 870896 HAS SOUS 142184 HAS SOUPS 142016 WITH SCORE 142887.157
AT ITER 666 NEW BEST:: SOT 1190961 SOS 871483 HAS SOPS 871222 HAS SOUS 138461 HAS SOUPS 138293 WITH SCORE 139164.483
AT ITER 681 NEW BEST:: SOT 1191172 SOS 871694 HAS SOPS 871433 HAS SOUS 138099 HAS SOUPS 137931 WITH SCORE 138802.694
AT ITER 685 NEW BEST:: SOT 1190468 SOS 870990 HAS SOPS 870729 HAS SOUS 137636 HAS SOUPS 137468 WITH SCORE 138338.99
AT ITER 691 NEW BEST:: SOT 1190468 SOS 870990 HAS SOPS 870729 HAS SOUS 137619 HAS SOUPS 137451 WITH SCORE 138321.99
AT ITER 696 NEW BEST:: SOT 1190465 SOS 871053 HAS SOPS 870792 HAS SOUS 137576 HAS SOUPS 137408 WITH SCORE 138279.053
AT ITER 702 NEW BEST:: SOT 1190465 SOS 871053 HAS SOPS 870792 HAS SOUS 137569 HAS SOUPS 137401 WITH SCORE 138272.053
AT ITER 703 NEW BEST:: SOT 1190464 SOS 871177 HAS SOPS 870996 HAS SOUS 136842 HAS SOUPS 136754 WITH SCORE 137625.177
AT ITER 714 NEW BEST:: SOT 1188714 SOS 869427 HAS SOPS 869246 HAS SOUS 136517 HAS SOUPS 136429 WITH SCORE 137298.427
AT ITER 720 NEW BEST:: SOT 1188714 SOS 869427 HAS SOPS 869246 HAS SOUS 136503 HAS SOUPS 136415 WITH SCORE 137284.427
AT ITER 728 NEW BEST:: SOT 1188704 SOS 863757 HAS SOPS 863576 HAS SOUS 136483 HAS SOUPS 136395 WITH SCORE 137258.757
AT ITER 730 NEW BEST:: SOT 1188657 SOS 863802 HAS SOPS 863621 HAS SOUS 135854 HAS SOUPS 135766 WITH SCORE 136629.802
AT ITER 734 NEW BEST:: SOT 1188657 SOS 864138 HAS SOPS 863957 HAS SOUS 135833 HAS SOUPS 135745 WITH SCORE 136609.138
AT ITER 740 NEW BEST:: SOT 1188330 SOS 863811 HAS SOPS 863630 HAS SOUS 135470 HAS SOUPS 135382 WITH SCORE 136245.811
AT ITER 742 NEW BEST:: SOT 1188892 SOS 864373 HAS SOPS 864192 HAS SOUS 135190 HAS SOUPS 135102 WITH SCORE 135966.373
AT ITER 747 NEW BEST:: SOT 1187980 SOS 863461 HAS SOPS 863280 HAS SOUS 135030 HAS SOUPS 134942 WITH SCORE 135805.461
AT ITER 748 NEW BEST:: SOT 1189975 SOS 865456 HAS SOPS 865275 HAS SOUS 133745 HAS SOUPS 133657 WITH SCORE 134522.456
AT ITER 750 NEW BEST:: SOT 1189748 SOS 866765 HAS SOPS 866584 HAS SOUS 133476 HAS SOUPS 133388 WITH SCORE 134254.765
AT ITER 754 NEW BEST:: SOT 1189756 SOS 866965 HAS SOPS 866784 HAS SOUS 133394 HAS SOUPS 133306 WITH SCORE 134172.965
AT ITER 761 NEW BEST:: SOT 1189696 SOS 873149 HAS SOPS 873036 HAS SOUS 133351 HAS SOUPS 133280 WITH SCORE 134153.149
AT ITER 790 NEW BEST:: SOT 1188965 SOS 872418 HAS SOPS 872305 HAS SOUS 133298 HAS SOUPS 133227 WITH SCORE 134099.418
AT ITER 797 NEW BEST:: SOT 1188970 SOS 871323 HAS SOPS 871266 HAS SOUS 133219 HAS SOUPS 133162 WITH SCORE 134033.323
AT ITER 799 NEW BEST:: SOT 1189017 SOS 872474 HAS SOPS 872417 HAS SOUS 133034 HAS SOUPS 132977 WITH SCORE 133849.474
AT ITER 806 NEW BEST:: SOT 1188912 SOS 872369 HAS SOPS 872312 HAS SOUS 131707 HAS SOUPS 131650 WITH SCORE 132522.369
AT ITER 818 NEW BEST:: SOT 1188973 SOS 873642 HAS SOPS 873585 HAS SOUS 131619 HAS SOUPS 131562 WITH SCORE 132435.642
AT ITER 823 NEW BEST:: SOT 1189516 SOS 873657 HAS SOPS 873600 HAS SOUS 131099 HAS SOUPS 131042 WITH SCORE 131915.657
AT ITER 839 NEW BEST:: SOT 1186695 SOS 870836 HAS SOPS 870779 HAS SOUS 131071 HAS SOUPS 131014 WITH SCORE 131884.836
AT ITER 845 NEW BEST:: SOT 1186686 SOS 870827 HAS SOPS 870770 HAS SOUS 131062 HAS SOUPS 131005 WITH SCORE 131875.827
AT ITER 849 NEW BEST:: SOT 1188065 SOS 873190 HAS SOPS 873133 HAS SOUS 130518 HAS SOUPS 130461 WITH SCORE 131334.19
AT ITER 854 NEW BEST:: SOT 1188065 SOS 874219 HAS SOPS 874165 HAS SOUS 130405 HAS SOUPS 130351 WITH SCORE 131225.219
AT ITER 865 NEW BEST:: SOT 1188012 SOS 876022 HAS SOPS 875904 HAS SOUS 129770 HAS SOUPS 129700 WITH SCORE 130576.022
AT ITER 886 NEW BEST:: SOT 1188668 SOS 876678 HAS SOPS 876560 HAS SOUS 129496 HAS SOUPS 129426 WITH SCORE 130302.678
AT ITER 897 NEW BEST:: SOT 1186339 SOS 874349 HAS SOPS 874231 HAS SOUS 128817 HAS SOUPS 128747 WITH SCORE 129621.349
AT ITER 908 NEW BEST:: SOT 1189231 SOS 877241 HAS SOPS 877123 HAS SOUS 128152 HAS SOUPS 128082 WITH SCORE 128959.241
AT ITER 911 NEW BEST:: SOT 1189231 SOS 877229 HAS SOPS 877111 HAS SOUS 128150 HAS SOUPS 128080 WITH SCORE 128957.229
AT ITER 914 NEW BEST:: SOT 1188837 SOS 876835 HAS SOPS 876717 HAS SOUS 127973 HAS SOUPS 127903 WITH SCORE 128779.835
AT ITER 915 NEW BEST:: SOT 1188302 SOS 876300 HAS SOPS 876182 HAS SOUS 127456 HAS SOUPS 127386 WITH SCORE 128262.3
AT ITER 927 NEW BEST:: SOT 1188037 SOS 876081 HAS SOPS 875963 HAS SOUS 126386 HAS SOUPS 126316 WITH SCORE 127192.081
AT ITER 933 NEW BEST:: SOT 1188076 SOS 877440 HAS SOPS 877322 HAS SOUS 126271 HAS SOUPS 126201 WITH SCORE 127078.44
AT ITER 945 NEW BEST:: SOT 1188126 SOS 877588 HAS SOPS 877470 HAS SOUS 126093 HAS SOUPS 126023 WITH SCORE 126900.588
AT ITER 949 NEW BEST:: SOT 1188045 SOS 877507 HAS SOPS 877389 HAS SOUS 125882 HAS SOUPS 125812 WITH SCORE 126689.507
AT ITER 956 NEW BEST:: SOT 1190893 SOS 880355 HAS SOPS 880237 HAS SOUS 125502 HAS SOUPS 125432 WITH SCORE 126312.355
AT ITER 969 NEW BEST:: SOT 1190817 SOS 880279 HAS SOPS 880161 HAS SOUS 125318 HAS SOUPS 125248 WITH SCORE 126128.279
AT ITER 971 NEW BEST:: SOT 1190763 SOS 880225 HAS SOPS 880107 HAS SOUS 125192 HAS SOUPS 125122 WITH SCORE 126002.225
AT ITER 976 NEW BEST:: SOT 1190412 SOS 879874 HAS SOPS 879756 HAS SOUS 125037 HAS SOUPS 124967 WITH SCORE 125846.874
AT ITER 977 NEW BEST:: SOT 1190403 SOS 874591 HAS SOPS 874473 HAS SOUS 125037 HAS SOUPS 124967 WITH SCORE 125841.591
AT ITER 997 NEW BEST:: SOT 1190410 SOS 875462 HAS SOPS 875344 HAS SOUS 125022 HAS SOUPS 124952 WITH SCORE 125827.462
AT ITER 1010 NEW BEST:: SOT 1189816 SOS 874868 HAS SOPS 874750 HAS SOUS 124589 HAS SOUPS 124519 WITH SCORE 125393.868
AT ITER 1013 NEW BEST:: SOT 1189805 SOS 874857 HAS SOPS 874739 HAS SOUS 123820 HAS SOUPS 123750 WITH SCORE 124624.857
AT ITER 1015 NEW BEST:: SOT 1184542 SOS 869594 HAS SOPS 869476 HAS SOUS 122240 HAS SOUPS 122170 WITH SCORE 123039.594
AT ITER 1018 NEW BEST:: SOT 1183855 SOS 868907 HAS SOPS 868789 HAS SOUS 121997 HAS SOUPS 121927 WITH SCORE 122795.907
AT ITER 1027 NEW BEST:: SOT 1183855 SOS 869487 HAS SOPS 869369 HAS SOUS 121968 HAS SOUPS 121898 WITH SCORE 122767.487
AT ITER 1035 NEW BEST:: SOT 1183855 SOS 869307 HAS SOPS 869189 HAS SOUS 121968 HAS SOUPS 121898 WITH SCORE 122767.307
AT ITER 1037 NEW BEST:: SOT 1188194 SOS 873646 HAS SOPS 873528 HAS SOUS 121679 HAS SOUPS 121609 WITH SCORE 122482.646
AT ITER 1042 NEW BEST:: SOT 1186929 SOS 872381 HAS SOPS 872263 HAS SOUS 121559 HAS SOUPS 121489 WITH SCORE 122361.381
AT ITER 1043 NEW BEST:: SOT 1186455 SOS 871941 HAS SOPS 871823 HAS SOUS 120611 HAS SOUPS 120541 WITH SCORE 121412.941
AT ITER 1045 NEW BEST:: SOT 1186499 SOS 872345 HAS SOPS 872227 HAS SOUS 120329 HAS SOUPS 120259 WITH SCORE 121131.345
AT ITER 1046 NEW BEST:: SOT 1186499 SOS 870761 HAS SOPS 870643 HAS SOUS 120322 HAS SOUPS 120252 WITH SCORE 121122.761
AT ITER 1049 NEW BEST:: SOT 1186489 SOS 870751 HAS SOPS 870633 HAS SOUS 120312 HAS SOUPS 120242 WITH SCORE 121112.751
AT ITER 1057 NEW BEST:: SOT 1186528 SOS 870790 HAS SOPS 870672 HAS SOUS 119227 HAS SOUPS 119157 WITH SCORE 120027.79
AT ITER 1061 NEW BEST:: SOT 1186980 SOS 871242 HAS SOPS 871124 HAS SOUS 118968 HAS SOUPS 118898 WITH SCORE 119769.242
AT ITER 1062 NEW BEST:: SOT 1186990 SOS 871972 HAS SOPS 871854 HAS SOUS 118918 HAS SOUPS 118848 WITH SCORE 119719.972
AT ITER 1063 NEW BEST:: SOT 1186507 SOS 871489 HAS SOPS 871371 HAS SOUS 118881 HAS SOUPS 118811 WITH SCORE 119682.489
AT ITER 1066 NEW BEST:: SOT 1186507 SOS 871561 HAS SOPS 871443 HAS SOUS 118875 HAS SOUPS 118805 WITH SCORE 119676.561
AT ITER 1071 NEW BEST:: SOT 1186507 SOS 871561 HAS SOPS 871443 HAS SOUS 118740 HAS SOUPS 118670 WITH SCORE 119541.561
AT ITER 1073 NEW BEST:: SOT 1186520 SOS 872198 HAS SOPS 872080 HAS SOUS 118714 HAS SOUPS 118644 WITH SCORE 119516.198
AT ITER 1091 NEW BEST:: SOT 1186126 SOS 871876 HAS SOPS 871758 HAS SOUS 118665 HAS SOUPS 118595 WITH SCORE 119466.876
AT ITER 1108 NEW BEST:: SOT 1185955 SOS 870523 HAS SOPS 870405 HAS SOUS 118557 HAS SOUPS 118487 WITH SCORE 119357.523
AT ITER 1116 NEW BEST:: SOT 1185955 SOS 870907 HAS SOPS 870789 HAS SOUS 118533 HAS SOUPS 118463 WITH SCORE 119333.907
AT ITER 1120 NEW BEST:: SOT 1186378 SOS 871370 HAS SOPS 871252 HAS SOUS 118304 HAS SOUPS 118234 WITH SCORE 119105.37
AT ITER 1129 NEW BEST:: SOT 1185792 SOS 870684 HAS SOPS 870566 HAS SOUS 116703 HAS SOUPS 116633 WITH SCORE 117503.684
AT ITER 1139 NEW BEST:: SOT 1185642 SOS 869476 HAS SOPS 869358 HAS SOUS 116553 HAS SOUPS 116483 WITH SCORE 117352.476
AT ITER 1142 NEW BEST:: SOT 1185396 SOS 869230 HAS SOPS 869112 HAS SOUS 116467 HAS SOUPS 116397 WITH SCORE 117266.23
AT ITER 1144 NEW BEST:: SOT 1185396 SOS 869104 HAS SOPS 868986 HAS SOUS 116458 HAS SOUPS 116388 WITH SCORE 117257.104
AT ITER 1151 NEW BEST:: SOT 1187234 SOS 870942 HAS SOPS 870824 HAS SOUS 115512 HAS SOUPS 115442 WITH SCORE 116312.942
AT ITER 1155 NEW BEST:: SOT 1187234 SOS 872336 HAS SOPS 872218 HAS SOUS 115477 HAS SOUPS 115407 WITH SCORE 116279.336
AT ITER 1159 NEW BEST:: SOT 1183942 SOS 869044 HAS SOPS 868926 HAS SOUS 113839 HAS SOUPS 113769 WITH SCORE 114638.044
AT ITER 1178 NEW BEST:: SOT 1183950 SOS 869052 HAS SOPS 868934 HAS SOUS 113569 HAS SOUPS 113499 WITH SCORE 114368.052
AT ITER 1186 NEW BEST:: SOT 1183631 SOS 870269 HAS SOPS 870151 HAS SOUS 113286 HAS SOUPS 113216 WITH SCORE 114086.269
AT ITER 1219 NEW BEST:: SOT 1184493 SOS 871131 HAS SOPS 871013 HAS SOUS 113013 HAS SOUPS 112943 WITH SCORE 113814.131
AT ITER 1253 NEW BEST:: SOT 1182963 SOS 869601 HAS SOPS 869483 HAS SOUS 112033 HAS SOUPS 111963 WITH SCORE 112832.601
AT ITER 1261 NEW BEST:: SOT 1182963 SOS 869589 HAS SOPS 869471 HAS SOUS 112030 HAS SOUPS 111960 WITH SCORE 112829.589
AT ITER 1265 NEW BEST:: SOT 1182760 SOS 869734 HAS SOPS 869616 HAS SOUS 111998 HAS SOUPS 111928 WITH SCORE 112797.734
AT ITER 1269 NEW BEST:: SOT 1182599 SOS 874013 HAS SOPS 873655 HAS SOUS 111638 HAS SOUPS 111511 WITH SCORE 112385.013
AT ITER 1301 NEW BEST:: SOT 1183712 SOS 875126 HAS SOPS 874768 HAS SOUS 111418 HAS SOUPS 111291 WITH SCORE 112166.126
AT ITER 1306 NEW BEST:: SOT 1183922 SOS 875336 HAS SOPS 874978 HAS SOUS 111308 HAS SOUPS 111181 WITH SCORE 112056.336
AT ITER 1311 NEW BEST:: SOT 1184145 SOS 875559 HAS SOPS 875201 HAS SOUS 111237 HAS SOUPS 111110 WITH SCORE 111985.559
AT ITER 1331 NEW BEST:: SOT 1184153 SOS 882263 HAS SOPS 881905 HAS SOUS 111205 HAS SOUPS 111078 WITH SCORE 111960.263
AT ITER 1334 NEW BEST:: SOT 1184319 SOS 877461 HAS SOPS 877343 HAS SOUS 110405 HAS SOUPS 110335 WITH SCORE 111212.461
AT ITER 1335 NEW BEST:: SOT 1184064 SOS 877206 HAS SOPS 877088 HAS SOUS 110190 HAS SOUPS 110120 WITH SCORE 110997.206
AT ITER 1342 NEW BEST:: SOT 1184092 SOS 877906 HAS SOPS 877788 HAS SOUS 110188 HAS SOUPS 110118 WITH SCORE 110995.906
AT ITER 1352 NEW BEST:: SOT 1184092 SOS 887026 HAS SOPS 886908 HAS SOUS 110174 HAS SOUPS 110104 WITH SCORE 110991.026
AT ITER 1359 NEW BEST:: SOT 1183822 SOS 886756 HAS SOPS 886638 HAS SOUS 110138 HAS SOUPS 110068 WITH SCORE 110954.756
AT ITER 1360 NEW BEST:: SOT 1183822 SOS 888090 HAS SOPS 887972 HAS SOUS 110049 HAS SOUPS 109979 WITH SCORE 110867.09
AT ITER 1370 NEW BEST:: SOT 1183647 SOS 887915 HAS SOPS 887797 HAS SOUS 109876 HAS SOUPS 109806 WITH SCORE 110693.915
AT ITER 1380 NEW BEST:: SOT 1183647 SOS 887795 HAS SOPS 887677 HAS SOUS 109876 HAS SOUPS 109806 WITH SCORE 110693.795
AT ITER 1381 NEW BEST:: SOT 1183653 SOS 887813 HAS SOPS 887695 HAS SOUS 109870 HAS SOUPS 109800 WITH SCORE 110687.813
AT ITER 1392 NEW BEST:: SOT 1184411 SOS 888544 HAS SOPS 888453 HAS SOUS 108398 HAS SOUPS 108355 WITH SCORE 109243.544
AT ITER 1406 NEW BEST:: SOT 1185404 SOS 889537 HAS SOPS 889446 HAS SOUS 107585 HAS SOUPS 107542 WITH SCORE 108431.537
AT ITER 1410 NEW BEST:: SOT 1185490 SOS 889623 HAS SOPS 889532 HAS SOUS 107359 HAS SOUPS 107316 WITH SCORE 108205.623
AT ITER 1429 NEW BEST:: SOT 1186833 SOS 890966 HAS SOPS 890875 HAS SOUS 107290 HAS SOUPS 107247 WITH SCORE 108137.966
AT ITER 1438 NEW BEST:: SOT 1186854 SOS 891407 HAS SOPS 891316 HAS SOUS 107248 HAS SOUPS 107205 WITH SCORE 108096.407
AT ITER 1447 NEW BEST:: SOT 1186863 SOS 902280 HAS SOPS 902189 HAS SOUS 107179 HAS SOUPS 107136 WITH SCORE 108038.28
AT ITER 1453 NEW BEST:: SOT 1186898 SOS 902315 HAS SOPS 902224 HAS SOUS 106455 HAS SOUPS 106412 WITH SCORE 107314.315
AT ITER 1458 NEW BEST:: SOT 1186807 SOS 917944 HAS SOPS 917853 HAS SOUS 106392 HAS SOUPS 106349 WITH SCORE 107266.944
AT ITER 1465 NEW BEST:: SOT 1186699 SOS 917836 HAS SOPS 917745 HAS SOUS 106384 HAS SOUPS 106341 WITH SCORE 107258.836
AT ITER 1468 NEW BEST:: SOT 1184929 SOS 916066 HAS SOPS 915975 HAS SOUS 106094 HAS SOUPS 106051 WITH SCORE 106967.066
AT ITER 1476 NEW BEST:: SOT 1184934 SOS 916071 HAS SOPS 915980 HAS SOUS 106093 HAS SOUPS 106050 WITH SCORE 106966.071
AT ITER 1481 NEW BEST:: SOT 1184742 SOS 915879 HAS SOPS 915788 HAS SOUS 105699 HAS SOUPS 105656 WITH SCORE 106571.879
AT ITER 1484 NEW BEST:: SOT 1184799 SOS 917106 HAS SOPS 917015 HAS SOUS 105625 HAS SOUPS 105582 WITH SCORE 106499.106
AT ITER 1501 NEW BEST:: SOT 1184669 SOS 916664 HAS SOPS 916573 HAS SOUS 105232 HAS SOUPS 105189 WITH SCORE 106105.664
AT ITER 1512 NEW BEST:: SOT 1184703 SOS 917114 HAS SOPS 917023 HAS SOUS 104137 HAS SOUPS 104094 WITH SCORE 105011.114
AT ITER 1531 NEW BEST:: SOT 1184682 SOS 917093 HAS SOPS 917002 HAS SOUS 104116 HAS SOUPS 104073 WITH SCORE 104990.093
AT ITER 1541 NEW BEST:: SOT 1184682 SOS 917093 HAS SOPS 917002 HAS SOUS 104115 HAS SOUPS 104072 WITH SCORE 104989.093
AT ITER 1543 NEW BEST:: SOT 1187221 SOS 919632 HAS SOPS 919541 HAS SOUS 103825 HAS SOUPS 103782 WITH SCORE 104701.632
AT ITER 1547 NEW BEST:: SOT 1187209 SOS 919620 HAS SOPS 919529 HAS SOUS 103825 HAS SOUPS 103782 WITH SCORE 104701.62
AT ITER 1551 NEW BEST:: SOT 1187231 SOS 907102 HAS SOPS 907011 HAS SOUS 103825 HAS SOUPS 103782 WITH SCORE 104689.102
AT ITER 1565 NEW BEST:: SOT 1187391 SOS 908670 HAS SOPS 908579 HAS SOUS 103484 HAS SOUPS 103441 WITH SCORE 104349.67
AT ITER 1577 NEW BEST:: SOT 1187391 SOS 908670 HAS SOPS 908579 HAS SOUS 103474 HAS SOUPS 103431 WITH SCORE 104339.67
AT ITER 1579 NEW BEST:: SOT 1187007 SOS 908286 HAS SOPS 908195 HAS SOUS 103283 HAS SOUPS 103240 WITH SCORE 104148.286
AT ITER 1596 NEW BEST:: SOT 1187008 SOS 909199 HAS SOPS 909108 HAS SOUS 103282 HAS SOUPS 103239 WITH SCORE 104148.199
AT ITER 1597 NEW BEST:: SOT 1187012 SOS 910263 HAS SOPS 910172 HAS SOUS 103230 HAS SOUPS 103187 WITH SCORE 104097.263
AT ITER 1604 NEW BEST:: SOT 1189483 SOS 912734 HAS SOPS 912643 HAS SOUS 102893 HAS SOUPS 102850 WITH SCORE 103762.734
AT ITER 1605 NEW BEST:: SOT 1189483 SOS 912502 HAS SOPS 912411 HAS SOUS 102893 HAS SOUPS 102850 WITH SCORE 103762.502
AT ITER 1618 NEW BEST:: SOT 1189555 SOS 914314 HAS SOPS 914163 HAS SOUS 102871 HAS SOUPS 102813 WITH SCORE 103727.314
AT ITER 1627 NEW BEST:: SOT 1189566 SOS 914351 HAS SOPS 914200 HAS SOUS 102830 HAS SOUPS 102772 WITH SCORE 103686.351
AT ITER 1645 NEW BEST:: SOT 1189388 SOS 914173 HAS SOPS 914022 HAS SOUS 102756 HAS SOUPS 102698 WITH SCORE 103612.173
AT ITER 1652 NEW BEST:: SOT 1189490 SOS 914275 HAS SOPS 914124 HAS SOUS 102709 HAS SOUPS 102651 WITH SCORE 103565.275
AT ITER 1654 NEW BEST:: SOT 1189509 SOS 914774 HAS SOPS 914623 HAS SOUS 102346 HAS SOUPS 102288 WITH SCORE 103202.774
AT ITER 1669 NEW BEST:: SOT 1189287 SOS 914552 HAS SOPS 914401 HAS SOUS 102281 HAS SOUPS 102223 WITH SCORE 103137.552
AT ITER 1677 NEW BEST:: SOT 1189287 SOS 913064 HAS SOPS 912913 HAS SOUS 102281 HAS SOUPS 102223 WITH SCORE 103136.064
AT ITER 1692 NEW BEST:: SOT 1189467 SOS 913244 HAS SOPS 913093 HAS SOUS 102162 HAS SOUPS 102104 WITH SCORE 103017.244
AT ITER 1694 NEW BEST:: SOT 1189467 SOS 912527 HAS SOPS 912363 HAS SOUS 102136 HAS SOUPS 102078 WITH SCORE 102990.527
AT ITER 1706 NEW BEST:: SOT 1189471 SOS 912555 HAS SOPS 912391 HAS SOUS 102132 HAS SOUPS 102074 WITH SCORE 102986.555
AT ITER 1718 NEW BEST:: SOT 1192004 SOS 915086 HAS SOPS 914924 HAS SOUS 101912 HAS SOUPS 101856 WITH SCORE 102771.086
AT ITER 1721 NEW BEST:: SOT 1192050 SOS 915132 HAS SOPS 914970 HAS SOUS 101699 HAS SOUPS 101643 WITH SCORE 102558.132
AT ITER 1740 NEW BEST:: SOT 1196128 SOS 919210 HAS SOPS 919048 HAS SOUS 101468 HAS SOUPS 101412 WITH SCORE 102331.21
AT ITER 1752 NEW BEST:: SOT 1196155 SOS 919457 HAS SOPS 919295 HAS SOUS 101001 HAS SOUPS 100945 WITH SCORE 101864.457
AT ITER 1762 NEW BEST:: SOT 1196441 SOS 919743 HAS SOPS 919581 HAS SOUS 100975 HAS SOUPS 100919 WITH SCORE 101838.743
AT ITER 1766 NEW BEST:: SOT 1196946 SOS 920248 HAS SOPS 920086 HAS SOUS 100471 HAS SOUPS 100415 WITH SCORE 101335.248
AT ITER 1775 NEW BEST:: SOT 1196796 SOS 920098 HAS SOPS 919936 HAS SOUS 100262 HAS SOUPS 100206 WITH SCORE 101126.098
AT ITER 1778 NEW BEST:: SOT 1196858 SOS 920160 HAS SOPS 919998 HAS SOUS 100240 HAS SOUPS 100184 WITH SCORE 101104.16
AT ITER 1785 NEW BEST:: SOT 1197276 SOS 920578 HAS SOPS 920416 HAS SOUS 100211 HAS SOUPS 100155 WITH SCORE 101075.578
AT ITER 1792 NEW BEST:: SOT 1197276 SOS 920482 HAS SOPS 920320 HAS SOUS 100211 HAS SOUPS 100155 WITH SCORE 101075.482
AT ITER 1794 NEW BEST:: SOT 1197250 SOS 919208 HAS SOPS 919046 HAS SOUS 100211 HAS SOUPS 100155 WITH SCORE 101074.208
AT ITER 1806 NEW BEST:: SOT 1196946 SOS 918904 HAS SOPS 918742 HAS SOUS 99274 HAS SOUPS 99218 WITH SCORE 100136.904
AT ITER 1808 NEW BEST:: SOT 1199648 SOS 921606 HAS SOPS 921444 HAS SOUS 98795 HAS SOUPS 98739 WITH SCORE 99660.606
AT ITER 1822 NEW BEST:: SOT 1199447 SOS 921107 HAS SOPS 920945 HAS SOUS 98272 HAS SOUPS 98216 WITH SCORE 99137.107
AT ITER 1832 NEW BEST:: SOT 1199443 SOS 921103 HAS SOPS 920941 HAS SOUS 98259 HAS SOUPS 98203 WITH SCORE 99124.103
AT ITER 1841 NEW BEST:: SOT 1199443 SOS 921103 HAS SOPS 920941 HAS SOUS 98177 HAS SOUPS 98121 WITH SCORE 99042.103
AT ITER 1858 NEW BEST:: SOT 1199559 SOS 921219 HAS SOPS 921057 HAS SOUS 98161 HAS SOUPS 98105 WITH SCORE 99026.219
AT ITER 1878 NEW BEST:: SOT 1198182 SOS 919842 HAS SOPS 919680 HAS SOUS 97201 HAS SOUPS 97145 WITH SCORE 98064.842
AT ITER 1891 NEW BEST:: SOT 1198104 SOS 919764 HAS SOPS 919602 HAS SOUS 97138 HAS SOUPS 97082 WITH SCORE 98001.764
AT ITER 1892 NEW BEST:: SOT 1198103 SOS 919763 HAS SOPS 919601 HAS SOUS 96710 HAS SOUPS 96654 WITH SCORE 97573.763
AT ITER 1913 NEW BEST:: SOT 1198103 SOS 919763 HAS SOPS 919601 HAS SOUS 96708 HAS SOUPS 96652 WITH SCORE 97571.763
AT ITER 1921 NEW BEST:: SOT 1196585 SOS 918245 HAS SOPS 918083 HAS SOUS 96484 HAS SOUPS 96428 WITH SCORE 97346.245
AT ITER 1926 NEW BEST:: SOT 1196585 SOS 918245 HAS SOPS 918083 HAS SOUS 96470 HAS SOUPS 96414 WITH SCORE 97332.245
AT ITER 1935 NEW BEST:: SOT 1196480 SOS 918140 HAS SOPS 917978 HAS SOUS 96251 HAS SOUPS 96195 WITH SCORE 97113.14
AT ITER 1944 NEW BEST:: SOT 1196506 SOS 927586 HAS SOPS 927484 HAS SOUS 96146 HAS SOUPS 96105 WITH SCORE 97032.586
AT ITER 1949 NEW BEST:: SOT 1196527 SOS 927607 HAS SOPS 927505 HAS SOUS 95972 HAS SOUPS 95931 WITH SCORE 96858.607
AT ITER 1963 NEW BEST:: SOT 1196527 SOS 927457 HAS SOPS 927355 HAS SOUS 95960 HAS SOUPS 95919 WITH SCORE 96846.457
AT ITER 1968 NEW BEST:: SOT 1198258 SOS 929188 HAS SOPS 929086 HAS SOUS 95307 HAS SOUPS 95266 WITH SCORE 96195.188
AT ITER 1982 NEW BEST:: SOT 1198257 SOS 929266 HAS SOPS 929164 HAS SOUS 95305 HAS SOUPS 95264 WITH SCORE 96193.266
AT ITER 2003 NEW BEST:: SOT 1198257 SOS 929266 HAS SOPS 929164 HAS SOUS 95282 HAS SOUPS 95241 WITH SCORE 96170.266
AT ITER 2009 NEW BEST:: SOT 1198296 SOS 931177 HAS SOPS 931075 HAS SOUS 95279 HAS SOUPS 95238 WITH SCORE 96169.177
AT ITER 2010 NEW BEST:: SOT 1198212 SOS 931093 HAS SOPS 930991 HAS SOUS 95221 HAS SOUPS 95180 WITH SCORE 96111.093
AT ITER 2011 NEW BEST:: SOT 1198212 SOS 922507 HAS SOPS 922405 HAS SOUS 95167 HAS SOUPS 95126 WITH SCORE 96048.507
AT ITER 2026 NEW BEST:: SOT 1198216 SOS 922607 HAS SOPS 922505 HAS SOUS 95147 HAS SOUPS 95106 WITH SCORE 96028.607
AT ITER 2032 NEW BEST:: SOT 1198152 SOS 922543 HAS SOPS 922441 HAS SOUS 95111 HAS SOUPS 95070 WITH SCORE 95992.543
AT ITER 2034 NEW BEST:: SOT 1198175 SOS 922582 HAS SOPS 922480 HAS SOUS 95097 HAS SOUPS 95056 WITH SCORE 95978.582
AT ITER 2038 NEW BEST:: SOT 1197557 SOS 921964 HAS SOPS 921862 HAS SOUS 94868 HAS SOUPS 94827 WITH SCORE 95748.964
AT ITER 2061 NEW BEST:: SOT 1197557 SOS 921838 HAS SOPS 921736 HAS SOUS 94861 HAS SOUPS 94820 WITH SCORE 95741.838
AT ITER 2066 NEW BEST:: SOT 1197135 SOS 921416 HAS SOPS 921314 HAS SOUS 94659 HAS SOUPS 94618 WITH SCORE 95539.416
AT ITER 2070 NEW BEST:: SOT 1197162 SOS 921715 HAS SOPS 921638 HAS SOUS 94631 HAS SOUPS 94615 WITH SCORE 95536.715
AT ITER 2088 NEW BEST:: SOT 1197099 SOS 923188 HAS SOPS 923111 HAS SOUS 94624 HAS SOUPS 94608 WITH SCORE 95531.188
AT ITER 2117 NEW BEST:: SOT 1197099 SOS 922516 HAS SOPS 922439 HAS SOUS 94624 HAS SOUPS 94608 WITH SCORE 95530.516
AT ITER 2143 NEW BEST:: SOT 1197146 SOS 921477 HAS SOPS 921397 HAS SOUS 94620 HAS SOUPS 94604 WITH SCORE 95525.477
AT ITER 2171 NEW BEST:: SOT 1197106 SOS 921437 HAS SOPS 921357 HAS SOUS 94614 HAS SOUPS 94598 WITH SCORE 95519.437
AT ITER 2174 NEW BEST:: SOT 1197106 SOS 921437 HAS SOPS 921357 HAS SOUS 94599 HAS SOUPS 94583 WITH SCORE 95504.437
AT ITER 2175 NEW BEST:: SOT 1197549 SOS 921880 HAS SOPS 921800 HAS SOUS 93847 HAS SOUPS 93831 WITH SCORE 94752.88
AT ITER 2177 NEW BEST:: SOT 1197570 SOS 921901 HAS SOPS 921821 HAS SOUS 93568 HAS SOUPS 93552 WITH SCORE 94473.901
AT ITER 2178 NEW BEST:: SOT 1197461 SOS 922574 HAS SOPS 922494 HAS SOUS 93394 HAS SOUPS 93378 WITH SCORE 94300.574
AT ITER 2183 NEW BEST:: SOT 1197098 SOS 922211 HAS SOPS 922131 HAS SOUS 93335 HAS SOUPS 93319 WITH SCORE 94241.211
AT ITER 2210 NEW BEST:: SOT 1197673 SOS 923111 HAS SOPS 923031 HAS SOUS 93312 HAS SOUPS 93296 WITH SCORE 94219.111
AT ITER 2215 NEW BEST:: SOT 1197673 SOS 922151 HAS SOPS 922071 HAS SOUS 93312 HAS SOUPS 93296 WITH SCORE 94218.151
AT ITER 2224 NEW BEST:: SOT 1196485 SOS 920963 HAS SOPS 920883 HAS SOUS 93151 HAS SOUPS 93135 WITH SCORE 94055.963
AT ITER 2237 NEW BEST:: SOT 1196485 SOS 920963 HAS SOPS 920883 HAS SOUS 93150 HAS SOUPS 93134 WITH SCORE 94054.963
AT ITER 2249 NEW BEST:: SOT 1196335 SOS 920813 HAS SOPS 920733 HAS SOUS 92901 HAS SOUPS 92885 WITH SCORE 93805.813
AT ITER 2258 NEW BEST:: SOT 1196329 SOS 920807 HAS SOPS 920727 HAS SOUS 92895 HAS SOUPS 92879 WITH SCORE 93799.807
AT ITER 2261 NEW BEST:: SOT 1196381 SOS 921387 HAS SOPS 921307 HAS SOUS 92504 HAS SOUPS 92488 WITH SCORE 93409.387
AT ITER 2267 NEW BEST:: SOT 1196381 SOS 921387 HAS SOPS 921307 HAS SOUS 92355 HAS SOUPS 92339 WITH SCORE 93260.387
AT ITER 2292 NEW BEST:: SOT 1196757 SOS 921763 HAS SOPS 921683 HAS SOUS 92038 HAS SOUPS 92022 WITH SCORE 92943.763
AT ITER 2298 NEW BEST:: SOT 1197527 SOS 922533 HAS SOPS 922453 HAS SOUS 91412 HAS SOUPS 91396 WITH SCORE 92318.533
AT ITER 2319 NEW BEST:: SOT 1197487 SOS 922493 HAS SOPS 922413 HAS SOUS 91395 HAS SOUPS 91379 WITH SCORE 92301.493
AT ITER 2322 NEW BEST:: SOT 1199651 SOS 924657 HAS SOPS 924577 HAS SOUS 91077 HAS SOUPS 91061 WITH SCORE 91985.657
AT ITER 2325 NEW BEST:: SOT 1200172 SOS 925186 HAS SOPS 925106 HAS SOUS 90992 HAS SOUPS 90976 WITH SCORE 91901.186
AT ITER 2327 NEW BEST:: SOT 1202119 SOS 927133 HAS SOPS 927053 HAS SOUS 89994 HAS SOUPS 89978 WITH SCORE 90905.133
AT ITER 2336 NEW BEST:: SOT 1201929 SOS 926943 HAS SOPS 926863 HAS SOUS 89936 HAS SOUPS 89920 WITH SCORE 90846.943
AT ITER 2358 NEW BEST:: SOT 1201469 SOS 926483 HAS SOPS 926403 HAS SOUS 89838 HAS SOUPS 89822 WITH SCORE 90748.483
AT ITER 2366 NEW BEST:: SOT 1201498 SOS 926824 HAS SOPS 926744 HAS SOUS 89837 HAS SOUPS 89821 WITH SCORE 90747.824
AT ITER 2380 NEW BEST:: SOT 1201573 SOS 926899 HAS SOPS 926819 HAS SOUS 89705 HAS SOUPS 89689 WITH SCORE 90615.899
AT ITER 2403 NEW BEST:: SOT 1201547 SOS 926369 HAS SOPS 926289 HAS SOUS 89703 HAS SOUPS 89687 WITH SCORE 90613.369
AT ITER 2405 NEW BEST:: SOT 1201557 SOS 926379 HAS SOPS 926299 HAS SOUS 89623 HAS SOUPS 89607 WITH SCORE 90533.379
AT ITER 2407 NEW BEST:: SOT 1201578 SOS 926400 HAS SOPS 926320 HAS SOUS 89294 HAS SOUPS 89278 WITH SCORE 90204.4
AT ITER 2409 NEW BEST:: SOT 1201618 SOS 926440 HAS SOPS 926360 HAS SOUS 89248 HAS SOUPS 89232 WITH SCORE 90158.44
AT ITER 2414 NEW BEST:: SOT 1202642 SOS 927464 HAS SOPS 927384 HAS SOUS 89219 HAS SOUPS 89203 WITH SCORE 90130.464
AT ITER 2426 NEW BEST:: SOT 1202645 SOS 927335 HAS SOPS 927255 HAS SOUS 89218 HAS SOUPS 89202 WITH SCORE 90129.335
AT ITER 2437 NEW BEST:: SOT 1202372 SOS 927062 HAS SOPS 926982 HAS SOUS 89096 HAS SOUPS 89080 WITH SCORE 90007.062
AT ITER 2439 NEW BEST:: SOT 1202372 SOS 927062 HAS SOPS 926982 HAS SOUS 89094 HAS SOUPS 89078 WITH SCORE 90005.062
AT ITER 2455 NEW BEST:: SOT 1202236 SOS 926882 HAS SOPS 926802 HAS SOUS 88980 HAS SOUPS 88964 WITH SCORE 89890.882
AT ITER 2461 NEW BEST:: SOT 1201547 SOS 926193 HAS SOPS 926113 HAS SOUS 88956 HAS SOUPS 88940 WITH SCORE 89866.193
AT ITER 2474 NEW BEST:: SOT 1201547 SOS 926241 HAS SOPS 926161 HAS SOUS 88954 HAS SOUPS 88938 WITH SCORE 89864.241
AT ITER 2515 NEW BEST:: SOT 1201512 SOS 926206 HAS SOPS 926126 HAS SOUS 88951 HAS SOUPS 88935 WITH SCORE 89861.206
AT ITER 2531 NEW BEST:: SOT 1201683 SOS 926377 HAS SOPS 926297 HAS SOUS 88905 HAS SOUPS 88889 WITH SCORE 89815.377
AT ITER 2565 NEW BEST:: SOT 1200898 SOS 925592 HAS SOPS 925512 HAS SOUS 88857 HAS SOUPS 88841 WITH SCORE 89766.592
AT ITER 2575 NEW BEST:: SOT 1200899 SOS 925593 HAS SOPS 925513 HAS SOUS 88846 HAS SOUPS 88830 WITH SCORE 89755.593
AT ITER 2578 NEW BEST:: SOT 1200899 SOS 925593 HAS SOPS 925513 HAS SOUS 88840 HAS SOUPS 88824 WITH SCORE 89749.593
AT ITER 2579 NEW BEST:: SOT 1200899 SOS 925593 HAS SOPS 925513 HAS SOUS 88786 HAS SOUPS 88770 WITH SCORE 89695.593
AT ITER 2584 NEW BEST:: SOT 1200991 SOS 924365 HAS SOPS 924285 HAS SOUS 88740 HAS SOUPS 88724 WITH SCORE 89648.365
AT ITER 2651 NEW BEST:: SOT 1200962 SOS 924336 HAS SOPS 924256 HAS SOUS 88711 HAS SOUPS 88695 WITH SCORE 89619.336
AT ITER 2659 NEW BEST:: SOT 1200887 SOS 924769 HAS SOPS 924689 HAS SOUS 88545 HAS SOUPS 88529 WITH SCORE 89453.769
AT ITER 2661 NEW BEST:: SOT 1203036 SOS 926918 HAS SOPS 926838 HAS SOUS 88479 HAS SOUPS 88463 WITH SCORE 89389.918
AT ITER 2675 NEW BEST:: SOT 1201961 SOS 925843 HAS SOPS 925763 HAS SOUS 88450 HAS SOUPS 88434 WITH SCORE 89359.843
AT ITER 2717 NEW BEST:: SOT 1201914 SOS 925232 HAS SOPS 925152 HAS SOUS 88448 HAS SOUPS 88432 WITH SCORE 89357.232
AT ITER 2723 NEW BEST:: SOT 1201851 SOS 923915 HAS SOPS 923835 HAS SOUS 88371 HAS SOUPS 88355 WITH SCORE 89278.915
AT ITER 2739 NEW BEST:: SOT 1202085 SOS 924908 HAS SOPS 924828 HAS SOUS 88193 HAS SOUPS 88177 WITH SCORE 89101.908
AT ITER 2742 NEW BEST:: SOT 1202072 SOS 924895 HAS SOPS 924815 HAS SOUS 88182 HAS SOUPS 88166 WITH SCORE 89090.895
AT ITER 2743 NEW BEST:: SOT 1202072 SOS 924607 HAS SOPS 924527 HAS SOUS 88159 HAS SOUPS 88143 WITH SCORE 89067.607
AT ITER 2747 NEW BEST:: SOT 1201575 SOS 924110 HAS SOPS 924030 HAS SOUS 88095 HAS SOUPS 88079 WITH SCORE 89003.11
AT ITER 2758 NEW BEST:: SOT 1201557 SOS 924092 HAS SOPS 924012 HAS SOUS 88076 HAS SOUPS 88060 WITH SCORE 88984.092
AT ITER 2761 NEW BEST:: SOT 1200904 SOS 923439 HAS SOPS 923359 HAS SOUS 87825 HAS SOUPS 87809 WITH SCORE 88732.439
AT ITER 2778 NEW BEST:: SOT 1201249 SOS 925872 HAS SOPS 925792 HAS SOUS 87746 HAS SOUPS 87730 WITH SCORE 88655.872
AT ITER 2782 NEW BEST:: SOT 1199220 SOS 923843 HAS SOPS 923763 HAS SOUS 86960 HAS SOUPS 86944 WITH SCORE 87867.843
AT ITER 2783 NEW BEST:: SOT 1198414 SOS 923037 HAS SOPS 922957 HAS SOUS 86517 HAS SOUPS 86501 WITH SCORE 87424.037
AT ITER 2795 NEW BEST:: SOT 1198425 SOS 928624 HAS SOPS 928544 HAS SOUS 86431 HAS SOUPS 86415 WITH SCORE 87343.624
AT ITER 2822 NEW BEST:: SOT 1197312 SOS 925801 HAS SOPS 925711 HAS SOUS 86054 HAS SOUPS 86028 WITH SCORE 86953.801
AT ITER 2823 NEW BEST:: SOT 1197312 SOS 925801 HAS SOPS 925711 HAS SOUS 86046 HAS SOUPS 86020 WITH SCORE 86945.801
AT ITER 2832 NEW BEST:: SOT 1196612 SOS 925101 HAS SOPS 925011 HAS SOUS 85734 HAS SOUPS 85708 WITH SCORE 86633.101
AT ITER 2840 NEW BEST:: SOT 1196631 SOS 923428 HAS SOPS 923418 HAS SOUS 85505 HAS SOUPS 85495 WITH SCORE 86418.428
AT ITER 2860 NEW BEST:: SOT 1196631 SOS 924344 HAS SOPS 924334 HAS SOUS 85461 HAS SOUPS 85451 WITH SCORE 86375.344
AT ITER 2864 NEW BEST:: SOT 1196630 SOS 924343 HAS SOPS 924333 HAS SOUS 85459 HAS SOUPS 85449 WITH SCORE 86373.343
AT ITER 2867 NEW BEST:: SOT 1196630 SOS 924343 HAS SOPS 924333 HAS SOUS 85347 HAS SOUPS 85337 WITH SCORE 86261.343
AT ITER 2884 NEW BEST:: SOT 1198804 SOS 926517 HAS SOPS 926507 HAS SOUS 85049 HAS SOUPS 85039 WITH SCORE 85965.517
AT ITER 2887 NEW BEST:: SOT 1198804 SOS 927045 HAS SOPS 927035 HAS SOUS 85027 HAS SOUPS 85017 WITH SCORE 85944.045
AT ITER 2896 NEW BEST:: SOT 1198804 SOS 926301 HAS SOPS 926291 HAS SOUS 85027 HAS SOUPS 85017 WITH SCORE 85943.301
AT ITER 2908 NEW BEST:: SOT 1199019 SOS 926516 HAS SOPS 926506 HAS SOUS 84492 HAS SOUPS 84482 WITH SCORE 85408.516
AT ITER 2909 NEW BEST:: SOT 1199019 SOS 926986 HAS SOPS 926986 HAS SOUS 84462 HAS SOUPS 84462 WITH SCORE 85388.986
AT ITER 2911 NEW BEST:: SOT 1197684 SOS 925651 HAS SOPS 925651 HAS SOUS 83924 HAS SOUPS 83924 WITH SCORE 84849.651
AT ITER 2914 NEW BEST:: SOT 1197620 SOS 925587 HAS SOPS 925587 HAS SOUS 83851 HAS SOUPS 83851 WITH SCORE 84776.587
AT ITER 2930 NEW BEST:: SOT 1197233 SOS 925200 HAS SOPS 925200 HAS SOUS 83531 HAS SOUPS 83531 WITH SCORE 84456.2
AT ITER 2941 NEW BEST:: SOT 1196355 SOS 924322 HAS SOPS 924322 HAS SOUS 83496 HAS SOUPS 83496 WITH SCORE 84420.322
AT ITER 2954 NEW BEST:: SOT 1196343 SOS 924310 HAS SOPS 924310 HAS SOUS 83469 HAS SOUPS 83469 WITH SCORE 84393.31
AT ITER 2961 NEW BEST:: SOT 1196324 SOS 924728 HAS SOPS 924728 HAS SOUS 83450 HAS SOUPS 83450 WITH SCORE 84374.728
AT ITER 2971 NEW BEST:: SOT 1196324 SOS 924728 HAS SOPS 924728 HAS SOUS 83125 HAS SOUPS 83125 WITH SCORE 84049.728
AT ITER 2995 NEW BEST:: SOT 1196336 SOS 925364 HAS SOPS 925364 HAS SOUS 83063 HAS SOUPS 83063 WITH SCORE 83988.364
AT ITER 3005 NEW BEST:: SOT 1196387 SOS 925415 HAS SOPS 925415 HAS SOUS 82990 HAS SOUPS 82990 WITH SCORE 83915.415
AT ITER 3039 NEW BEST:: SOT 1196387 SOS 925323 HAS SOPS 925323 HAS SOUS 82944 HAS SOUPS 82944 WITH SCORE 83869.323
AT ITER 3041 NEW BEST:: SOT 1199093 SOS 928029 HAS SOPS 928029 HAS SOUS 82491 HAS SOUPS 82491 WITH SCORE 83419.029
AT ITER 3056 NEW BEST:: SOT 1199174 SOS 928110 HAS SOPS 928110 HAS SOUS 82437 HAS SOUPS 82437 WITH SCORE 83365.11
AT ITER 3067 NEW BEST:: SOT 1199174 SOS 928110 HAS SOPS 928110 HAS SOUS 82391 HAS SOUPS 82391 WITH SCORE 83319.11
AT ITER 3080 NEW BEST:: SOT 1199174 SOS 927846 HAS SOPS 927846 HAS SOUS 82379 HAS SOUPS 82379 WITH SCORE 83306.846
AT ITER 3092 NEW BEST:: SOT 1199174 SOS 898626 HAS SOPS 898626 HAS SOUS 82332 HAS SOUPS 82332 WITH SCORE 83230.626
AT ITER 3175 NEW BEST:: SOT 1199146 SOS 898598 HAS SOPS 898598 HAS SOUS 82294 HAS SOUPS 82294 WITH SCORE 83192.598
AT ITER 3184 NEW BEST:: SOT 1199180 SOS 898632 HAS SOPS 898632 HAS SOUS 82212 HAS SOUPS 82212 WITH SCORE 83110.632
AT ITER 3199 NEW BEST:: SOT 1199146 SOS 897470 HAS SOPS 897470 HAS SOUS 82210 HAS SOUPS 82210 WITH SCORE 83107.47
AT ITER 3231 NEW BEST:: SOT 1199203 SOS 897527 HAS SOPS 897527 HAS SOUS 82157 HAS SOUPS 82157 WITH SCORE 83054.527
AT ITER 3236 NEW BEST:: SOT 1199203 SOS 896951 HAS SOPS 896951 HAS SOUS 82157 HAS SOUPS 82157 WITH SCORE 83053.951
AT ITER 3264 NEW BEST:: SOT 1199161 SOS 896909 HAS SOPS 896909 HAS SOUS 82034 HAS SOUPS 82034 WITH SCORE 82930.909
AT ITER 3285 NEW BEST:: SOT 1199161 SOS 897125 HAS SOPS 897125 HAS SOUS 82031 HAS SOUPS 82031 WITH SCORE 82928.125
AT ITER 3288 NEW BEST:: SOT 1199224 SOS 897332 HAS SOPS 897332 HAS SOUS 81913 HAS SOUPS 81913 WITH SCORE 82810.332
AT ITER 3315 NEW BEST:: SOT 1199224 SOS 897332 HAS SOPS 897332 HAS SOUS 81897 HAS SOUPS 81897 WITH SCORE 82794.332
AT ITER 3328 NEW BEST:: SOT 1199358 SOS 897466 HAS SOPS 897466 HAS SOUS 81733 HAS SOUPS 81733 WITH SCORE 82630.466
AT ITER 3334 NEW BEST:: SOT 1198774 SOS 896882 HAS SOPS 896882 HAS SOUS 81713 HAS SOUPS 81713 WITH SCORE 82609.882
AT ITER 3378 NEW BEST:: SOT 1198925 SOS 897033 HAS SOPS 897033 HAS SOUS 81608 HAS SOUPS 81608 WITH SCORE 82505.033
AT ITER 3379 NEW BEST:: SOT 1198925 SOS 896331 HAS SOPS 896331 HAS SOUS 81581 HAS SOUPS 81581 WITH SCORE 82477.331
AT ITER 3426 NEW BEST:: SOT 1198925 SOS 894175 HAS SOPS 894175 HAS SOUS 81537 HAS SOUPS 81537 WITH SCORE 82431.175
AT ITER 3429 NEW BEST:: SOT 1198924 SOS 894174 HAS SOPS 894174 HAS SOUS 81511 HAS SOUPS 81511 WITH SCORE 82405.174
AT ITER 3430 NEW BEST:: SOT 1198937 SOS 894187 HAS SOPS 894187 HAS SOUS 81337 HAS SOUPS 81337 WITH SCORE 82231.187
AT ITER 3444 NEW BEST:: SOT 1199147 SOS 894397 HAS SOPS 894397 HAS SOUS 81162 HAS SOUPS 81162 WITH SCORE 82056.397
AT ITER 3447 NEW BEST:: SOT 1198866 SOS 894116 HAS SOPS 894116 HAS SOUS 81145 HAS SOUPS 81145 WITH SCORE 82039.116
AT ITER 3480 NEW BEST:: SOT 1197777 SOS 893027 HAS SOPS 893027 HAS SOUS 80787 HAS SOUPS 80787 WITH SCORE 81680.027
AT ITER 3489 NEW BEST:: SOT 1198820 SOS 894070 HAS SOPS 894070 HAS SOUS 80427 HAS SOUPS 80427 WITH SCORE 81321.07
AT ITER 3495 NEW BEST:: SOT 1198810 SOS 894000 HAS SOPS 894000 HAS SOUS 80422 HAS SOUPS 80422 WITH SCORE 81316.0
AT ITER 3506 NEW BEST:: SOT 1198462 SOS 893652 HAS SOPS 893652 HAS SOUS 80272 HAS SOUPS 80272 WITH SCORE 81165.652
AT ITER 3524 NEW BEST:: SOT 1198329 SOS 893519 HAS SOPS 893519 HAS SOUS 80254 HAS SOUPS 80254 WITH SCORE 81147.519
AT ITER 3527 NEW BEST:: SOT 1198918 SOS 894108 HAS SOPS 894108 HAS SOUS 80248 HAS SOUPS 80248 WITH SCORE 81142.108
AT ITER 3543 NEW BEST:: SOT 1198948 SOS 896922 HAS SOPS 896922 HAS SOUS 80226 HAS SOUPS 80226 WITH SCORE 81122.922
AT ITER 3557 NEW BEST:: SOT 1199427 SOS 897401 HAS SOPS 897401 HAS SOUS 80157 HAS SOUPS 80157 WITH SCORE 81054.401
AT ITER 3561 NEW BEST:: SOT 1199435 SOS 897409 HAS SOPS 897409 HAS SOUS 80149 HAS SOUPS 80149 WITH SCORE 81046.409
AT ITER 3575 NEW BEST:: SOT 1199497 SOS 899758 HAS SOPS 899758 HAS SOUS 80056 HAS SOUPS 80056 WITH SCORE 80955.758
AT ITER 3577 NEW BEST:: SOT 1199497 SOS 899374 HAS SOPS 899374 HAS SOUS 80056 HAS SOUPS 80056 WITH SCORE 80955.374
AT ITER 3615 NEW BEST:: SOT 1199497 SOS 903902 HAS SOPS 903902 HAS SOUS 79965 HAS SOUPS 79965 WITH SCORE 80868.902
AT ITER 3632 NEW BEST:: SOT 1199505 SOS 903718 HAS SOPS 903718 HAS SOUS 79965 HAS SOUPS 79965 WITH SCORE 80868.718
AT ITER 3670 NEW BEST:: SOT 1199602 SOS 903815 HAS SOPS 903815 HAS SOUS 79889 HAS SOUPS 79889 WITH SCORE 80792.815
AT ITER 3709 NEW BEST:: SOT 1199589 SOS 903802 HAS SOPS 903802 HAS SOUS 79821 HAS SOUPS 79821 WITH SCORE 80724.802
AT ITER 3756 NEW BEST:: SOT 1199585 SOS 903798 HAS SOPS 903798 HAS SOUS 79817 HAS SOUPS 79817 WITH SCORE 80720.798
AT ITER 3757 NEW BEST:: SOT 1199587 SOS 903848 HAS SOPS 903848 HAS SOUS 79767 HAS SOUPS 79767 WITH SCORE 80670.848
AT ITER 3763 NEW BEST:: SOT 1199578 SOS 903839 HAS SOPS 903839 HAS SOUS 79765 HAS SOUPS 79765 WITH SCORE 80668.839
AT ITER 3764 NEW BEST:: SOT 1199578 SOS 903839 HAS SOPS 903839 HAS SOUS 79760 HAS SOUPS 79760 WITH SCORE 80663.839
AT ITER 3770 NEW BEST:: SOT 1199578 SOS 903599 HAS SOPS 903599 HAS SOUS 79760 HAS SOUPS 79760 WITH SCORE 80663.599
AT ITER 3782 NEW BEST:: SOT 1199343 SOS 903364 HAS SOPS 903364 HAS SOUS 79714 HAS SOUPS 79714 WITH SCORE 80617.364
AT ITER 3797 NEW BEST:: SOT 1200024 SOS 904045 HAS SOPS 904045 HAS SOUS 79520 HAS SOUPS 79520 WITH SCORE 80424.045
AT ITER 3807 NEW BEST:: SOT 1200024 SOS 904045 HAS SOPS 904045 HAS SOUS 79472 HAS SOUPS 79472 WITH SCORE 80376.045
AT ITER 3814 NEW BEST:: SOT 1199960 SOS 903981 HAS SOPS 903981 HAS SOUS 79408 HAS SOUPS 79408 WITH SCORE 80311.981
AT ITER 3835 NEW BEST:: SOT 1199960 SOS 903837 HAS SOPS 903837 HAS SOUS 79361 HAS SOUPS 79361 WITH SCORE 80264.837
AT ITER 3857 NEW BEST:: SOT 1197031 SOS 900908 HAS SOPS 900908 HAS SOUS 79280 HAS SOUPS 79280 WITH SCORE 80180.908
AT ITER 3890 NEW BEST:: SOT 1197288 SOS 902533 HAS SOPS 902533 HAS SOUS 79273 HAS SOUPS 79273 WITH SCORE 80175.533
AT ITER 3906 NEW BEST:: SOT 1197288 SOS 903677 HAS SOPS 903677 HAS SOUS 79247 HAS SOUPS 79247 WITH SCORE 80150.677
AT ITER 3942 NEW BEST:: SOT 1197364 SOS 903753 HAS SOPS 903753 HAS SOUS 79204 HAS SOUPS 79204 WITH SCORE 80107.753
AT ITER 3952 NEW BEST:: SOT 1197342 SOS 903731 HAS SOPS 903731 HAS SOUS 79176 HAS SOUPS 79176 WITH SCORE 80079.731
AT ITER 3955 NEW BEST:: SOT 1197342 SOS 901115 HAS SOPS 901115 HAS SOUS 79137 HAS SOUPS 79137 WITH SCORE 80038.115
AT ITER 3999 NEW BEST:: SOT 1197350 SOS 901123 HAS SOPS 901123 HAS SOUS 79132 HAS SOUPS 79132 WITH SCORE 80033.123
AT ITER 4037 NEW BEST:: SOT 1197350 SOS 901123 HAS SOPS 901123 HAS SOUS 78883 HAS SOUPS 78883 WITH SCORE 79784.123
AT ITER 4038 NEW BEST:: SOT 1197350 SOS 895035 HAS SOPS 895035 HAS SOUS 78884 HAS SOUPS 78884 WITH SCORE 79779.035
AT ITER 4110 NEW BEST:: SOT 1197344 SOS 897909 HAS SOPS 897909 HAS SOUS 78877 HAS SOUPS 78877 WITH SCORE 79774.909
AT ITER 4111 NEW BEST:: SOT 1199798 SOS 900363 HAS SOPS 900363 HAS SOUS 78832 HAS SOUPS 78832 WITH SCORE 79732.363
AT ITER 4114 NEW BEST:: SOT 1199617 SOS 900182 HAS SOPS 900182 HAS SOUS 78540 HAS SOUPS 78540 WITH SCORE 79440.182
AT ITER 4129 NEW BEST:: SOT 1199628 SOS 900193 HAS SOPS 900193 HAS SOUS 78474 HAS SOUPS 78474 WITH SCORE 79374.193
AT ITER 4136 NEW BEST:: SOT 1199628 SOS 899629 HAS SOPS 899629 HAS SOUS 78474 HAS SOUPS 78474 WITH SCORE 79373.629
AT ITER 4142 NEW BEST:: SOT 1199590 SOS 899591 HAS SOPS 899591 HAS SOUS 78250 HAS SOUPS 78250 WITH SCORE 79149.591
AT ITER 4153 NEW BEST:: SOT 1199641 SOS 899642 HAS SOPS 899642 HAS SOUS 77917 HAS SOUPS 77917 WITH SCORE 78816.642
AT ITER 4163 NEW BEST:: SOT 1200284 SOS 900285 HAS SOPS 900285 HAS SOUS 77839 HAS SOUPS 77839 WITH SCORE 78739.285
AT ITER 4177 NEW BEST:: SOT 1200595 SOS 900596 HAS SOPS 900596 HAS SOUS 77830 HAS SOUPS 77830 WITH SCORE 78730.596
AT ITER 4223 NEW BEST:: SOT 1200532 SOS 900533 HAS SOPS 900533 HAS SOUS 77793 HAS SOUPS 77793 WITH SCORE 78693.533
AT ITER 4228 NEW BEST:: SOT 1202073 SOS 902074 HAS SOPS 902074 HAS SOUS 77760 HAS SOUPS 77760 WITH SCORE 78662.074
AT ITER 4229 NEW BEST:: SOT 1201791 SOS 901792 HAS SOPS 901792 HAS SOUS 77177 HAS SOUPS 77177 WITH SCORE 78078.792
AT ITER 4273 NEW BEST:: SOT 1201941 SOS 901942 HAS SOPS 901942 HAS SOUS 77116 HAS SOUPS 77116 WITH SCORE 78017.942
AT ITER 4279 NEW BEST:: SOT 1201941 SOS 901942 HAS SOPS 901942 HAS SOUS 77081 HAS SOUPS 77081 WITH SCORE 77982.942
AT ITER 4298 NEW BEST:: SOT 1201710 SOS 900343 HAS SOPS 900343 HAS SOUS 76996 HAS SOUPS 76996 WITH SCORE 77896.343
AT ITER 4316 NEW BEST:: SOT 1201678 SOS 900311 HAS SOPS 900311 HAS SOUS 76996 HAS SOUPS 76996 WITH SCORE 77896.311
AT ITER 4329 NEW BEST:: SOT 1201689 SOS 900154 HAS SOPS 900154 HAS SOUS 76993 HAS SOUPS 76993 WITH SCORE 77893.154
AT ITER 4331 NEW BEST:: SOT 1201689 SOS 899758 HAS SOPS 899758 HAS SOUS 76960 HAS SOUPS 76960 WITH SCORE 77859.758
AT ITER 4333 NEW BEST:: SOT 1202028 SOS 900097 HAS SOPS 900097 HAS SOUS 76879 HAS SOUPS 76879 WITH SCORE 77779.097
AT ITER 4359 NEW BEST:: SOT 1202093 SOS 900162 HAS SOPS 900162 HAS SOUS 76844 HAS SOUPS 76844 WITH SCORE 77744.162
AT ITER 4419 NEW BEST:: SOT 1203333 SOS 902290 HAS SOPS 902290 HAS SOUS 76488 HAS SOUPS 76488 WITH SCORE 77390.29
AT ITER 4432 NEW BEST:: SOT 1203333 SOS 902290 HAS SOPS 902290 HAS SOUS 76428 HAS SOUPS 76428 WITH SCORE 77330.29
AT ITER 4467 NEW BEST:: SOT 1205915 SOS 904872 HAS SOPS 904872 HAS SOUS 76223 HAS SOUPS 76223 WITH SCORE 77127.872
AT ITER 4488 NEW BEST:: SOT 1205922 SOS 904831 HAS SOPS 904831 HAS SOUS 76214 HAS SOUPS 76214 WITH SCORE 77118.831
AT ITER 4492 NEW BEST:: SOT 1205918 SOS 904827 HAS SOPS 904827 HAS SOUS 76206 HAS SOUPS 76206 WITH SCORE 77110.827
AT ITER 4517 NEW BEST:: SOT 1205910 SOS 905779 HAS SOPS 905779 HAS SOUS 76190 HAS SOUPS 76190 WITH SCORE 77095.779
AT ITER 4526 NEW BEST:: SOT 1206248 SOS 906117 HAS SOPS 906117 HAS SOUS 76171 HAS SOUPS 76171 WITH SCORE 77077.117
AT ITER 4531 NEW BEST:: SOT 1206248 SOS 904173 HAS SOPS 904173 HAS SOUS 76171 HAS SOUPS 76171 WITH SCORE 77075.173
AT ITER 4539 NEW BEST:: SOT 1206255 SOS 904180 HAS SOPS 904180 HAS SOUS 76013 HAS SOUPS 76013 WITH SCORE 76917.18
AT ITER 4555 NEW BEST:: SOT 1206283 SOS 905576 HAS SOPS 905576 HAS SOUS 75980 HAS SOUPS 75980 WITH SCORE 76885.576
AT ITER 4575 NEW BEST:: SOT 1206331 SOS 905624 HAS SOPS 905624 HAS SOUS 75944 HAS SOUPS 75944 WITH SCORE 76849.624
AT ITER 4593 NEW BEST:: SOT 1206355 SOS 907424 HAS SOPS 907424 HAS SOUS 75910 HAS SOUPS 75910 WITH SCORE 76817.424
AT ITER 4616 NEW BEST:: SOT 1206356 SOS 907425 HAS SOPS 907425 HAS SOUS 75896 HAS SOUPS 75896 WITH SCORE 76803.425
AT ITER 4617 NEW BEST:: SOT 1206333 SOS 909153 HAS SOPS 909153 HAS SOUS 75866 HAS SOUPS 75866 WITH SCORE 76775.153
AT ITER 4630 NEW BEST:: SOT 1205877 SOS 908697 HAS SOPS 908697 HAS SOUS 75764 HAS SOUPS 75764 WITH SCORE 76672.697
AT ITER 4639 NEW BEST:: SOT 1206429 SOS 909249 HAS SOPS 909249 HAS SOUS 75725 HAS SOUPS 75725 WITH SCORE 76634.249
AT ITER 4671 NEW BEST:: SOT 1206429 SOS 907665 HAS SOPS 907665 HAS SOUS 75719 HAS SOUPS 75719 WITH SCORE 76626.665
AT ITER 4709 NEW BEST:: SOT 1206446 SOS 907706 HAS SOPS 907706 HAS SOUS 75706 HAS SOUPS 75706 WITH SCORE 76613.706
AT ITER 4731 NEW BEST:: SOT 1206484 SOS 907744 HAS SOPS 907744 HAS SOUS 75650 HAS SOUPS 75650 WITH SCORE 76557.744
AT ITER 4734 NEW BEST:: SOT 1206411 SOS 907671 HAS SOPS 907671 HAS SOUS 75601 HAS SOUPS 75601 WITH SCORE 76508.671
AT ITER 4738 NEW BEST:: SOT 1206411 SOS 907251 HAS SOPS 907251 HAS SOUS 75601 HAS SOUPS 75601 WITH SCORE 76508.251
AT ITER 4748 NEW BEST:: SOT 1206420 SOS 907260 HAS SOPS 907260 HAS SOUS 75574 HAS SOUPS 75574 WITH SCORE 76481.26
AT ITER 4778 NEW BEST:: SOT 1206392 SOS 907232 HAS SOPS 907232 HAS SOUS 75541 HAS SOUPS 75541 WITH SCORE 76448.232
AT ITER 4788 NEW BEST:: SOT 1205905 SOS 906745 HAS SOPS 906745 HAS SOUS 75539 HAS SOUPS 75539 WITH SCORE 76445.745
AT ITER 4868 NEW BEST:: SOT 1205934 SOS 906774 HAS SOPS 906774 HAS SOUS 75521 HAS SOUPS 75521 WITH SCORE 76427.774
AT ITER 4870 NEW BEST:: SOT 1205817 SOS 905289 HAS SOPS 905289 HAS SOUS 75434 HAS SOUPS 75434 WITH SCORE 76339.289
AT ITER 4896 NEW BEST:: SOT 1207649 SOS 907121 HAS SOPS 907121 HAS SOUS 75398 HAS SOUPS 75398 WITH SCORE 76305.121
AT ITER 4898 NEW BEST:: SOT 1207649 SOS 902594 HAS SOPS 902594 HAS SOUS 75374 HAS SOUPS 75374 WITH SCORE 76276.594
AT ITER 4913 NEW BEST:: SOT 1207649 SOS 900938 HAS SOPS 900938 HAS SOUS 75374 HAS SOUPS 75374 WITH SCORE 76274.938
AT ITER 4973 NEW BEST:: SOT 1207607 SOS 900896 HAS SOPS 900896 HAS SOUS 75336 HAS SOUPS 75336 WITH SCORE 76236.896
AT ITER 4990 NEW BEST:: SOT 1207866 SOS 902379 HAS SOPS 902379 HAS SOUS 75301 HAS SOUPS 75301 WITH SCORE 76203.379
AT ITER 5035 NEW BEST:: SOT 1207810 SOS 902323 HAS SOPS 902323 HAS SOUS 75273 HAS SOUPS 75273 WITH SCORE 76175.323
AT ITER 5036 NEW BEST:: SOT 1207810 SOS 901387 HAS SOPS 901387 HAS SOUS 75273 HAS SOUPS 75273 WITH SCORE 76174.387
AT ITER 5049 NEW BEST:: SOT 1207810 SOS 902587 HAS SOPS 902587 HAS SOUS 75248 HAS SOUPS 75248 WITH SCORE 76150.587
AT ITER 5077 NEW BEST:: SOT 1207246 SOS 902023 HAS SOPS 902023 HAS SOUS 75036 HAS SOUPS 75036 WITH SCORE 75938.023
AT ITER 5104 NEW BEST:: SOT 1207164 SOS 901941 HAS SOPS 901941 HAS SOUS 74993 HAS SOUPS 74993 WITH SCORE 75894.941
AT ITER 5117 NEW BEST:: SOT 1207038 SOS 901815 HAS SOPS 901815 HAS SOUS 74975 HAS SOUPS 74975 WITH SCORE 75876.815
AT ITER 5121 NEW BEST:: SOT 1207124 SOS 903557 HAS SOPS 903557 HAS SOUS 74930 HAS SOUPS 74930 WITH SCORE 75833.557
AT ITER 5141 NEW BEST:: SOT 1207124 SOS 903473 HAS SOPS 903473 HAS SOUS 74930 HAS SOUPS 74930 WITH SCORE 75833.473
AT ITER 5152 NEW BEST:: SOT 1207109 SOS 903098 HAS SOPS 903098 HAS SOUS 74910 HAS SOUPS 74910 WITH SCORE 75813.098
AT ITER 5167 NEW BEST:: SOT 1207198 SOS 903187 HAS SOPS 903187 HAS SOUS 74887 HAS SOUPS 74887 WITH SCORE 75790.187
AT ITER 5175 NEW BEST:: SOT 1207198 SOS 903103 HAS SOPS 903103 HAS SOUS 74887 HAS SOUPS 74887 WITH SCORE 75790.103
AT ITER 5214 NEW BEST:: SOT 1207214 SOS 903335 HAS SOPS 903335 HAS SOUS 74882 HAS SOUPS 74882 WITH SCORE 75785.335
AT ITER 5239 NEW BEST:: SOT 1207106 SOS 903227 HAS SOPS 903227 HAS SOUS 74794 HAS SOUPS 74794 WITH SCORE 75697.227
AT ITER 5259 NEW BEST:: SOT 1207106 SOS 903227 HAS SOPS 903227 HAS SOUS 74790 HAS SOUPS 74790 WITH SCORE 75693.227
AT ITER 5276 NEW BEST:: SOT 1207106 SOS 903035 HAS SOPS 903035 HAS SOUS 74790 HAS SOUPS 74790 WITH SCORE 75693.035
AT ITER 5281 NEW BEST:: SOT 1207230 SOS 904719 HAS SOPS 904719 HAS SOUS 74656 HAS SOUPS 74656 WITH SCORE 75560.719
AT ITER 5282 NEW BEST:: SOT 1206755 SOS 904244 HAS SOPS 904244 HAS SOUS 74414 HAS SOUPS 74414 WITH SCORE 75318.244
AT ITER 5326 NEW BEST:: SOT 1206755 SOS 903476 HAS SOPS 903476 HAS SOUS 74414 HAS SOUPS 74414 WITH SCORE 75317.476
AT ITER 5367 NEW BEST:: SOT 1206995 SOS 903860 HAS SOPS 903860 HAS SOUS 74372 HAS SOUPS 74372 WITH SCORE 75275.86
AT ITER 5372 NEW BEST:: SOT 1206995 SOS 900512 HAS SOPS 900512 HAS SOUS 74366 HAS SOUPS 74366 WITH SCORE 75266.512
AT ITER 5382 NEW BEST:: SOT 1207012 SOS 900529 HAS SOPS 900529 HAS SOUS 74304 HAS SOUPS 74304 WITH SCORE 75204.529
AT ITER 5413 NEW BEST:: SOT 1207811 SOS 901328 HAS SOPS 901328 HAS SOUS 74112 HAS SOUPS 74112 WITH SCORE 75013.328
AT ITER 5460 NEW BEST:: SOT 1206876 SOS 900393 HAS SOPS 900393 HAS SOUS 73330 HAS SOUPS 73330 WITH SCORE 74230.393
AT ITER 5474 NEW BEST:: SOT 1206865 SOS 900646 HAS SOPS 900646 HAS SOUS 73319 HAS SOUPS 73319 WITH SCORE 74219.646
AT ITER 5485 NEW BEST:: SOT 1206838 SOS 900619 HAS SOPS 900619 HAS SOUS 73295 HAS SOUPS 73295 WITH SCORE 74195.619
AT ITER 5574 NEW BEST:: SOT 1206656 SOS 900437 HAS SOPS 900437 HAS SOUS 73149 HAS SOUPS 73149 WITH SCORE 74049.437
AT ITER 5680 NEW BEST:: SOT 1207005 SOS 900786 HAS SOPS 900786 HAS SOUS 73063 HAS SOUPS 73063 WITH SCORE 73963.786
AT ITER 5716 NEW BEST:: SOT 1207005 SOS 900978 HAS SOPS 900978 HAS SOUS 73055 HAS SOUPS 73055 WITH SCORE 73955.978
AT ITER 5748 NEW BEST:: SOT 1206682 SOS 900424 HAS SOPS 900415 HAS SOUS 72946 HAS SOUPS 72937 WITH SCORE 73837.424
AT ITER 5749 NEW BEST:: SOT 1206571 SOS 900313 HAS SOPS 900304 HAS SOUS 72894 HAS SOUPS 72885 WITH SCORE 73785.313
AT ITER 5770 NEW BEST:: SOT 1206077 SOS 899819 HAS SOPS 899810 HAS SOUS 72590 HAS SOUPS 72581 WITH SCORE 73480.819
AT ITER 5866 NEW BEST:: SOT 1205930 SOS 899672 HAS SOPS 899663 HAS SOUS 72506 HAS SOUPS 72497 WITH SCORE 73396.672
AT ITER 5885 NEW BEST:: SOT 1205645 SOS 899387 HAS SOPS 899378 HAS SOUS 72484 HAS SOUPS 72475 WITH SCORE 73374.387
AT ITER 5917 NEW BEST:: SOT 1205601 SOS 899991 HAS SOPS 899982 HAS SOUS 72476 HAS SOUPS 72467 WITH SCORE 73366.991
AT ITER 5920 NEW BEST:: SOT 1205720 SOS 900206 HAS SOPS 900197 HAS SOUS 72458 HAS SOUPS 72449 WITH SCORE 73349.206
AT ITER 5924 NEW BEST:: SOT 1205650 SOS 900136 HAS SOPS 900127 HAS SOUS 72388 HAS SOUPS 72379 WITH SCORE 73279.136
AT ITER 5928 NEW BEST:: SOT 1205650 SOS 900136 HAS SOPS 900127 HAS SOUS 72373 HAS SOUPS 72364 WITH SCORE 73264.136
AT ITER 5944 NEW BEST:: SOT 1205637 SOS 899499 HAS SOPS 899490 HAS SOUS 72373 HAS SOUPS 72364 WITH SCORE 73263.499
AT ITER 5949 NEW BEST:: SOT 1205743 SOS 899605 HAS SOPS 899596 HAS SOUS 72250 HAS SOUPS 72241 WITH SCORE 73140.605
AT ITER 5998 NEW BEST:: SOT 1205745 SOS 899607 HAS SOPS 899598 HAS SOUS 72236 HAS SOUPS 72227 WITH SCORE 73126.607
AT ITER 6029 NEW BEST:: SOT 1205711 SOS 899573 HAS SOPS 899564 HAS SOUS 72202 HAS SOUPS 72193 WITH SCORE 73092.573
AT ITER 6038 NEW BEST:: SOT 1205691 SOS 899553 HAS SOPS 899544 HAS SOUS 72182 HAS SOUPS 72173 WITH SCORE 73072.553
AT ITER 6195 NEW BEST:: SOT 1205718 SOS 899580 HAS SOPS 899571 HAS SOUS 72089 HAS SOUPS 72080 WITH SCORE 72979.58
AT ITER 6198 NEW BEST:: SOT 1205718 SOS 899244 HAS SOPS 899235 HAS SOUS 72089 HAS SOUPS 72080 WITH SCORE 72979.244
AT ITER 6238 NEW BEST:: SOT 1205703 SOS 899325 HAS SOPS 899316 HAS SOUS 72086 HAS SOUPS 72077 WITH SCORE 72976.325
AT ITER 6249 NEW BEST:: SOT 1205698 SOS 899320 HAS SOPS 899311 HAS SOUS 72086 HAS SOUPS 72077 WITH SCORE 72976.32
AT ITER 6282 NEW BEST:: SOT 1205698 SOS 899278 HAS SOPS 899269 HAS SOUS 72086 HAS SOUPS 72077 WITH SCORE 72976.278
AT ITER 6285 NEW BEST:: SOT 1205697 SOS 898891 HAS SOPS 898882 HAS SOUS 72085 HAS SOUPS 72076 WITH SCORE 72974.891
AT ITER 6347 NEW BEST:: SOT 1204952 SOS 898146 HAS SOPS 898137 HAS SOUS 71905 HAS SOUPS 71896 WITH SCORE 72794.146
AT ITER 6371 NEW BEST:: SOT 1207065 SOS 900253 HAS SOPS 900250 HAS SOUS 71856 HAS SOUPS 71853 WITH SCORE 72753.253
AT ITER 6522 NEW BEST:: SOT 1207065 SOS 901981 HAS SOPS 901978 HAS SOUS 71820 HAS SOUPS 71817 WITH SCORE 72718.981
AT ITER 6524 NEW BEST:: SOT 1207044 SOS 901648 HAS SOPS 901645 HAS SOUS 71805 HAS SOUPS 71802 WITH SCORE 72703.648
AT ITER 6525 NEW BEST:: SOT 1207092 SOS 901696 HAS SOPS 901693 HAS SOUS 71770 HAS SOUPS 71767 WITH SCORE 72668.696
AT ITER 6546 NEW BEST:: SOT 1207095 SOS 902011 HAS SOPS 902008 HAS SOUS 71743 HAS SOUPS 71740 WITH SCORE 72642.011
AT ITER 6554 NEW BEST:: SOT 1207263 SOS 902179 HAS SOPS 902176 HAS SOUS 71634 HAS SOUPS 71631 WITH SCORE 72533.179
AT ITER 6567 NEW BEST:: SOT 1207392 SOS 902308 HAS SOPS 902305 HAS SOUS 71384 HAS SOUPS 71381 WITH SCORE 72283.308
AT ITER 6597 NEW BEST:: SOT 1207150 SOS 902066 HAS SOPS 902063 HAS SOUS 71301 HAS SOUPS 71298 WITH SCORE 72200.066
AT ITER 6602 NEW BEST:: SOT 1207142 SOS 902058 HAS SOPS 902055 HAS SOUS 71285 HAS SOUPS 71282 WITH SCORE 72184.058
AT ITER 6604 NEW BEST:: SOT 1206790 SOS 901706 HAS SOPS 901703 HAS SOUS 71102 HAS SOUPS 71099 WITH SCORE 72000.706
AT ITER 6648 NEW BEST:: SOT 1206790 SOS 901706 HAS SOPS 901703 HAS SOUS 70982 HAS SOUPS 70979 WITH SCORE 71880.706
AT ITER 6655 NEW BEST:: SOT 1206787 SOS 901703 HAS SOPS 901700 HAS SOUS 70979 HAS SOUPS 70976 WITH SCORE 71877.703
AT ITER 6664 NEW BEST:: SOT 1206924 SOS 901840 HAS SOPS 901837 HAS SOUS 70844 HAS SOUPS 70841 WITH SCORE 71742.84
AT ITER 6670 NEW BEST:: SOT 1206917 SOS 901833 HAS SOPS 901830 HAS SOUS 70844 HAS SOUPS 70841 WITH SCORE 71742.833
AT ITER 6673 NEW BEST:: SOT 1206917 SOS 901089 HAS SOPS 901086 HAS SOUS 70844 HAS SOUPS 70841 WITH SCORE 71742.089
AT ITER 6687 NEW BEST:: SOT 1206917 SOS 901321 HAS SOPS 901318 HAS SOUS 70834 HAS SOUPS 70831 WITH SCORE 71732.321
AT ITER 6724 NEW BEST:: SOT 1206917 SOS 900225 HAS SOPS 900222 HAS SOUS 70834 HAS SOUPS 70831 WITH SCORE 71731.225
AT ITER 6741 NEW BEST:: SOT 1206905 SOS 900213 HAS SOPS 900210 HAS SOUS 70816 HAS SOUPS 70813 WITH SCORE 71713.213
AT ITER 6753 NEW BEST:: SOT 1206352 SOS 899660 HAS SOPS 899657 HAS SOUS 70559 HAS SOUPS 70556 WITH SCORE 71455.66
AT ITER 6757 NEW BEST:: SOT 1206191 SOS 897843 HAS SOPS 897840 HAS SOUS 70555 HAS SOUPS 70552 WITH SCORE 71449.843
AT ITER 6758 NEW BEST:: SOT 1205854 SOS 897506 HAS SOPS 897503 HAS SOUS 70498 HAS SOUPS 70495 WITH SCORE 71392.506
AT ITER 6770 NEW BEST:: SOT 1206543 SOS 899755 HAS SOPS 899752 HAS SOUS 70104 HAS SOUPS 70101 WITH SCORE 71000.755
AT ITER 6780 NEW BEST:: SOT 1206543 SOS 900907 HAS SOPS 900904 HAS SOUS 70078 HAS SOUPS 70075 WITH SCORE 70975.907
AT ITER 6782 NEW BEST:: SOT 1206214 SOS 900578 HAS SOPS 900575 HAS SOUS 70045 HAS SOUPS 70042 WITH SCORE 70942.578
AT ITER 6790 NEW BEST:: SOT 1206229 SOS 900593 HAS SOPS 900590 HAS SOUS 69974 HAS SOUPS 69971 WITH SCORE 70871.593
AT ITER 6799 NEW BEST:: SOT 1206197 SOS 900561 HAS SOPS 900558 HAS SOUS 69932 HAS SOUPS 69929 WITH SCORE 70829.561
AT ITER 6813 NEW BEST:: SOT 1206174 SOS 900538 HAS SOPS 900535 HAS SOUS 69932 HAS SOUPS 69929 WITH SCORE 70829.538
AT ITER 6817 NEW BEST:: SOT 1206174 SOS 900313 HAS SOPS 900310 HAS SOUS 69932 HAS SOUPS 69929 WITH SCORE 70829.313
AT ITER 6911 NEW BEST:: SOT 1206174 SOS 900313 HAS SOPS 900310 HAS SOUS 69920 HAS SOUPS 69917 WITH SCORE 70817.313
AT ITER 6914 NEW BEST:: SOT 1206238 SOS 900377 HAS SOPS 900374 HAS SOUS 69855 HAS SOUPS 69852 WITH SCORE 70752.377
AT ITER 6916 NEW BEST:: SOT 1206232 SOS 901814 HAS SOPS 901814 HAS SOUS 69846 HAS SOUPS 69846 WITH SCORE 70747.814
AT ITER 6922 NEW BEST:: SOT 1206228 SOS 901810 HAS SOPS 901810 HAS SOUS 69838 HAS SOUPS 69838 WITH SCORE 70739.81
AT ITER 6947 NEW BEST:: SOT 1206228 SOS 901690 HAS SOPS 901690 HAS SOUS 69838 HAS SOUPS 69838 WITH SCORE 70739.69
AT ITER 7013 NEW BEST:: SOT 1206224 SOS 901494 HAS SOPS 901494 HAS SOUS 69838 HAS SOUPS 69838 WITH SCORE 70739.494
AT ITER 7029 NEW BEST:: SOT 1205793 SOS 901063 HAS SOPS 901063 HAS SOUS 69823 HAS SOUPS 69823 WITH SCORE 70724.063
AT ITER 7041 NEW BEST:: SOT 1205793 SOS 901063 HAS SOPS 901063 HAS SOUS 69799 HAS SOUPS 69799 WITH SCORE 70700.063
AT ITER 7063 NEW BEST:: SOT 1205654 SOS 900924 HAS SOPS 900924 HAS SOUS 69749 HAS SOUPS 69749 WITH SCORE 70649.924
AT ITER 7126 NEW BEST:: SOT 1206498 SOS 901768 HAS SOPS 901768 HAS SOUS 69480 HAS SOUPS 69480 WITH SCORE 70381.768
AT ITER 7128 NEW BEST:: SOT 1206498 SOS 901853 HAS SOPS 901853 HAS SOUS 69473 HAS SOUPS 69473 WITH SCORE 70374.853
AT ITER 7130 NEW BEST:: SOT 1207107 SOS 902462 HAS SOPS 902462 HAS SOUS 68971 HAS SOUPS 68971 WITH SCORE 69873.462
AT ITER 7136 NEW BEST:: SOT 1207187 SOS 903742 HAS SOPS 903742 HAS SOUS 68934 HAS SOUPS 68934 WITH SCORE 69837.742
AT ITER 7163 NEW BEST:: SOT 1207187 SOS 903742 HAS SOPS 903742 HAS SOUS 68879 HAS SOUPS 68879 WITH SCORE 69782.742
AT ITER 7164 NEW BEST:: SOT 1207152 SOS 903707 HAS SOPS 903707 HAS SOUS 68627 HAS SOUPS 68627 WITH SCORE 69530.707
AT ITER 7173 NEW BEST:: SOT 1207183 SOS 904088 HAS SOPS 904088 HAS SOUS 68566 HAS SOUPS 68566 WITH SCORE 69470.088
AT ITER 7174 NEW BEST:: SOT 1207183 SOS 904519 HAS SOPS 904519 HAS SOUS 68531 HAS SOUPS 68531 WITH SCORE 69435.519
AT ITER 7176 NEW BEST:: SOT 1207228 SOS 904564 HAS SOPS 904564 HAS SOUS 68485 HAS SOUPS 68485 WITH SCORE 69389.564
AT ITER 7221 NEW BEST:: SOT 1206792 SOS 902139 HAS SOPS 902112 HAS SOUS 68470 HAS SOUPS 68443 WITH SCORE 69345.139
AT ITER 7222 NEW BEST:: SOT 1206792 SOS 902139 HAS SOPS 902112 HAS SOUS 68414 HAS SOUPS 68387 WITH SCORE 69289.139
AT ITER 7248 NEW BEST:: SOT 1206267 SOS 901614 HAS SOPS 901587 HAS SOUS 68255 HAS SOUPS 68228 WITH SCORE 69129.614
AT ITER 7261 NEW BEST:: SOT 1206267 SOS 901239 HAS SOPS 901227 HAS SOUS 68240 HAS SOUPS 68228 WITH SCORE 69129.239
AT ITER 7271 NEW BEST:: SOT 1206270 SOS 901242 HAS SOPS 901230 HAS SOUS 68234 HAS SOUPS 68222 WITH SCORE 69123.242
AT ITER 7303 NEW BEST:: SOT 1206120 SOS 901212 HAS SOPS 901200 HAS SOUS 68211 HAS SOUPS 68199 WITH SCORE 69100.212
AT ITER 7329 NEW BEST:: SOT 1206054 SOS 901146 HAS SOPS 901134 HAS SOUS 68133 HAS SOUPS 68121 WITH SCORE 69022.146
AT ITER 7330 NEW BEST:: SOT 1206054 SOS 902742 HAS SOPS 902742 HAS SOUS 68094 HAS SOUPS 68094 WITH SCORE 68996.742
AT ITER 7338 NEW BEST:: SOT 1206058 SOS 902746 HAS SOPS 902746 HAS SOUS 68089 HAS SOUPS 68089 WITH SCORE 68991.746
AT ITER 7353 NEW BEST:: SOT 1206058 SOS 901642 HAS SOPS 901642 HAS SOUS 68089 HAS SOUPS 68089 WITH SCORE 68990.642
AT ITER 7386 NEW BEST:: SOT 1205353 SOS 900430 HAS SOPS 900385 HAS SOUS 67989 HAS SOUPS 67980 WITH SCORE 68880.43
AT ITER 7397 NEW BEST:: SOT 1205360 SOS 900677 HAS SOPS 900632 HAS SOUS 67796 HAS SOUPS 67787 WITH SCORE 68687.677
AT ITER 7436 NEW BEST:: SOT 1205408 SOS 899021 HAS SOPS 898976 HAS SOUS 67790 HAS SOUPS 67781 WITH SCORE 68680.021
AT ITER 7437 NEW BEST:: SOT 1205417 SOS 899030 HAS SOPS 898985 HAS SOUS 67772 HAS SOUPS 67763 WITH SCORE 68662.03
AT ITER 7446 NEW BEST:: SOT 1205471 SOS 899084 HAS SOPS 899039 HAS SOUS 67743 HAS SOUPS 67734 WITH SCORE 68633.084
AT ITER 7453 NEW BEST:: SOT 1205413 SOS 899026 HAS SOPS 898981 HAS SOUS 67525 HAS SOUPS 67516 WITH SCORE 68415.026
AT ITER 7473 NEW BEST:: SOT 1205339 SOS 897752 HAS SOPS 897707 HAS SOUS 67478 HAS SOUPS 67469 WITH SCORE 68366.752
AT ITER 7529 NEW BEST:: SOT 1205314 SOS 897727 HAS SOPS 897682 HAS SOUS 67455 HAS SOUPS 67446 WITH SCORE 68343.727
AT ITER 7585 NEW BEST:: SOT 1204218 SOS 896631 HAS SOPS 896586 HAS SOUS 67283 HAS SOUPS 67274 WITH SCORE 68170.631
AT ITER 7591 NEW BEST:: SOT 1204508 SOS 896921 HAS SOPS 896876 HAS SOUS 67177 HAS SOUPS 67168 WITH SCORE 68064.921
AT ITER 7605 NEW BEST:: SOT 1204343 SOS 896756 HAS SOPS 896711 HAS SOUS 67141 HAS SOUPS 67132 WITH SCORE 68028.756
AT ITER 7656 NEW BEST:: SOT 1205119 SOS 897532 HAS SOPS 897487 HAS SOUS 67057 HAS SOUPS 67048 WITH SCORE 67945.532
AT ITER 7673 NEW BEST:: SOT 1205118 SOS 897915 HAS SOPS 897870 HAS SOUS 67055 HAS SOUPS 67046 WITH SCORE 67943.915
AT ITER 7683 NEW BEST:: SOT 1205264 SOS 898061 HAS SOPS 898016 HAS SOUS 66923 HAS SOUPS 66914 WITH SCORE 67812.061
AT ITER 7702 NEW BEST:: SOT 1205214 SOS 898011 HAS SOPS 897966 HAS SOUS 66921 HAS SOUPS 66912 WITH SCORE 67810.011
AT ITER 7705 NEW BEST:: SOT 1205213 SOS 897962 HAS SOPS 897917 HAS SOUS 66920 HAS SOUPS 66911 WITH SCORE 67808.962
AT ITER 7791 NEW BEST:: SOT 1205211 SOS 897828 HAS SOPS 897783 HAS SOUS 66914 HAS SOUPS 66905 WITH SCORE 67802.828
AT ITER 7813 NEW BEST:: SOT 1205211 SOS 897828 HAS SOPS 897783 HAS SOUS 66909 HAS SOUPS 66900 WITH SCORE 67797.828
AT ITER 7924 NEW BEST:: SOT 1205211 SOS 897420 HAS SOPS 897375 HAS SOUS 66896 HAS SOUPS 66887 WITH SCORE 67784.42
AT ITER 7978 NEW BEST:: SOT 1205211 SOS 895452 HAS SOPS 895407 HAS SOUS 66896 HAS SOUPS 66887 WITH SCORE 67782.452
AT ITER 8004 NEW BEST:: SOT 1205199 SOS 895440 HAS SOPS 895395 HAS SOUS 66859 HAS SOUPS 66850 WITH SCORE 67745.44
AT ITER 8009 NEW BEST:: SOT 1205181 SOS 895422 HAS SOPS 895377 HAS SOUS 66828 HAS SOUPS 66819 WITH SCORE 67714.422
AT ITER 8027 NEW BEST:: SOT 1205298 SOS 896883 HAS SOPS 896838 HAS SOUS 66818 HAS SOUPS 66809 WITH SCORE 67705.883
AT ITER 8097 NEW BEST:: SOT 1205309 SOS 896894 HAS SOPS 896849 HAS SOUS 66810 HAS SOUPS 66801 WITH SCORE 67697.894
AT ITER 8100 NEW BEST:: SOT 1205291 SOS 895397 HAS SOPS 895311 HAS SOUS 66803 HAS SOUPS 66761 WITH SCORE 67656.397
AT ITER 8122 NEW BEST:: SOT 1204798 SOS 894904 HAS SOPS 894818 HAS SOUS 66718 HAS SOUPS 66676 WITH SCORE 67570.904
AT ITER 8152 NEW BEST:: SOT 1204799 SOS 894905 HAS SOPS 894819 HAS SOUS 66697 HAS SOUPS 66655 WITH SCORE 67549.905
AT ITER 8187 NEW BEST:: SOT 1204839 SOS 894945 HAS SOPS 894859 HAS SOUS 66657 HAS SOUPS 66615 WITH SCORE 67509.945
AT ITER 8196 NEW BEST:: SOT 1204835 SOS 894941 HAS SOPS 894855 HAS SOUS 66653 HAS SOUPS 66611 WITH SCORE 67505.941
AT ITER 8197 NEW BEST:: SOT 1204835 SOS 886999 HAS SOPS 886837 HAS SOUS 66615 HAS SOUPS 66573 WITH SCORE 67459.999
AT ITER 8200 NEW BEST:: SOT 1204791 SOS 886955 HAS SOPS 886793 HAS SOUS 66593 HAS SOUPS 66551 WITH SCORE 67437.955
AT ITER 8258 NEW BEST:: SOT 1204782 SOS 886730 HAS SOPS 886568 HAS SOUS 66575 HAS SOUPS 66533 WITH SCORE 67419.73
AT ITER 8278 NEW BEST:: SOT 1205143 SOS 887091 HAS SOPS 886929 HAS SOUS 66343 HAS SOUPS 66301 WITH SCORE 67188.091
AT ITER 8334 NEW BEST:: SOT 1206588 SOS 888536 HAS SOPS 888374 HAS SOUS 66286 HAS SOUPS 66244 WITH SCORE 67132.536
AT ITER 8335 NEW BEST:: SOT 1206588 SOS 888800 HAS SOPS 888638 HAS SOUS 66275 HAS SOUPS 66233 WITH SCORE 67121.8
AT ITER 8340 NEW BEST:: SOT 1206585 SOS 888797 HAS SOPS 888635 HAS SOUS 66272 HAS SOUPS 66230 WITH SCORE 67118.797
AT ITER 8384 NEW BEST:: SOT 1206562 SOS 888774 HAS SOPS 888612 HAS SOUS 66174 HAS SOUPS 66132 WITH SCORE 67020.774
AT ITER 8385 NEW BEST:: SOT 1206550 SOS 888762 HAS SOPS 888600 HAS SOUS 66162 HAS SOUPS 66120 WITH SCORE 67008.762
AT ITER 8401 NEW BEST:: SOT 1206423 SOS 888635 HAS SOPS 888473 HAS SOUS 66035 HAS SOUPS 65993 WITH SCORE 66881.635
AT ITER 8452 NEW BEST:: SOT 1206526 SOS 888738 HAS SOPS 888576 HAS SOUS 65812 HAS SOUPS 65770 WITH SCORE 66658.738
AT ITER 8503 NEW BEST:: SOT 1206475 SOS 886767 HAS SOPS 886605 HAS SOUS 65809 HAS SOUPS 65767 WITH SCORE 66653.767
AT ITER 8506 NEW BEST:: SOT 1206347 SOS 886639 HAS SOPS 886477 HAS SOUS 65774 HAS SOUPS 65732 WITH SCORE 66618.639
AT ITER 8622 NEW BEST:: SOT 1206261 SOS 886553 HAS SOPS 886391 HAS SOUS 65688 HAS SOUPS 65646 WITH SCORE 66532.553
AT ITER 8705 NEW BEST:: SOT 1206262 SOS 886918 HAS SOPS 886756 HAS SOUS 65683 HAS SOUPS 65641 WITH SCORE 66527.918
AT ITER 8758 NEW BEST:: SOT 1206236 SOS 886892 HAS SOPS 886730 HAS SOUS 65662 HAS SOUPS 65620 WITH SCORE 66506.892
AT ITER 8794 NEW BEST:: SOT 1206230 SOS 891241 HAS SOPS 891079 HAS SOUS 65656 HAS SOUPS 65614 WITH SCORE 66505.241
AT ITER 8801 NEW BEST:: SOT 1206230 SOS 887881 HAS SOPS 887719 HAS SOUS 65655 HAS SOUPS 65613 WITH SCORE 66500.881
AT ITER 8829 NEW BEST:: SOT 1206343 SOS 887994 HAS SOPS 887832 HAS SOUS 65536 HAS SOUPS 65494 WITH SCORE 66381.994
AT ITER 8836 NEW BEST:: SOT 1206363 SOS 888298 HAS SOPS 888136 HAS SOUS 65526 HAS SOUPS 65484 WITH SCORE 66372.298
AT ITER 8852 NEW BEST:: SOT 1204994 SOS 886929 HAS SOPS 886767 HAS SOUS 65129 HAS SOUPS 65087 WITH SCORE 65973.929
AT ITER 8906 NEW BEST:: SOT 1204995 SOS 899386 HAS SOPS 899224 HAS SOUS 64773 HAS SOUPS 64731 WITH SCORE 65630.386
AT ITER 8921 NEW BEST:: SOT 1204993 SOS 898946 HAS SOPS 898804 HAS SOUS 64767 HAS SOUPS 64729 WITH SCORE 65627.946
AT ITER 8924 NEW BEST:: SOT 1204924 SOS 898877 HAS SOPS 898735 HAS SOUS 64698 HAS SOUPS 64660 WITH SCORE 65558.877
AT ITER 8929 NEW BEST:: SOT 1204924 SOS 899045 HAS SOPS 898903 HAS SOUS 64691 HAS SOUPS 64653 WITH SCORE 65552.045
AT ITER 8974 NEW BEST:: SOT 1204924 SOS 898997 HAS SOPS 898855 HAS SOUS 64691 HAS SOUPS 64653 WITH SCORE 65551.997
AT ITER 8979 NEW BEST:: SOT 1205115 SOS 899188 HAS SOPS 899046 HAS SOUS 64682 HAS SOUPS 64644 WITH SCORE 65543.188
AT ITER 8999 NEW BEST:: SOT 1205115 SOS 900412 HAS SOPS 900270 HAS SOUS 64670 HAS SOUPS 64632 WITH SCORE 65532.412
AT ITER 9040 NEW BEST:: SOT 1205113 SOS 900410 HAS SOPS 900268 HAS SOUS 64666 HAS SOUPS 64628 WITH SCORE 65528.41
AT ITER 9054 NEW BEST:: SOT 1205113 SOS 899186 HAS SOPS 899044 HAS SOUS 64664 HAS SOUPS 64626 WITH SCORE 65525.186
AT ITER 9102 NEW BEST:: SOT 1206658 SOS 899105 HAS SOPS 899105 HAS SOUS 64381 HAS SOUPS 64381 WITH SCORE 65280.105
AT ITER 9106 NEW BEST:: SOT 1205696 SOS 898143 HAS SOPS 898143 HAS SOUS 64267 HAS SOUPS 64267 WITH SCORE 65165.143
AT ITER 9124 NEW BEST:: SOT 1205696 SOS 897927 HAS SOPS 897927 HAS SOUS 64267 HAS SOUPS 64267 WITH SCORE 65164.927
AT ITER 9191 NEW BEST:: SOT 1205689 SOS 903704 HAS SOPS 903704 HAS SOUS 64244 HAS SOUPS 64244 WITH SCORE 65147.704
AT ITER 9203 NEW BEST:: SOT 1205697 SOS 903620 HAS SOPS 903620 HAS SOUS 64236 HAS SOUPS 64236 WITH SCORE 65139.62
AT ITER 9216 NEW BEST:: SOT 1205666 SOS 903589 HAS SOPS 903589 HAS SOUS 64233 HAS SOUPS 64233 WITH SCORE 65136.589
AT ITER 9220 NEW BEST:: SOT 1205666 SOS 903589 HAS SOPS 903589 HAS SOUS 64227 HAS SOUPS 64227 WITH SCORE 65130.589
AT ITER 9225 NEW BEST:: SOT 1205666 SOS 902749 HAS SOPS 902749 HAS SOUS 64227 HAS SOUPS 64227 WITH SCORE 65129.749
AT ITER 9245 NEW BEST:: SOT 1205666 SOS 902749 HAS SOPS 902749 HAS SOUS 64226 HAS SOUPS 64226 WITH SCORE 65128.749
AT ITER 9273 NEW BEST:: SOT 1205666 SOS 902653 HAS SOPS 902653 HAS SOUS 64222 HAS SOUPS 64222 WITH SCORE 65124.653
AT ITER 9285 NEW BEST:: SOT 1205646 SOS 902633 HAS SOPS 902633 HAS SOUS 64181 HAS SOUPS 64181 WITH SCORE 65083.633
AT ITER 9356 NEW BEST:: SOT 1205747 SOS 902734 HAS SOPS 902734 HAS SOUS 64167 HAS SOUPS 64167 WITH SCORE 65069.734
AT ITER 9357 NEW BEST:: SOT 1205796 SOS 902783 HAS SOPS 902783 HAS SOUS 64153 HAS SOUPS 64153 WITH SCORE 65055.783
AT ITER 9385 NEW BEST:: SOT 1205538 SOS 902525 HAS SOPS 902525 HAS SOUS 64015 HAS SOUPS 64015 WITH SCORE 64917.525
AT ITER 9386 NEW BEST:: SOT 1206088 SOS 903075 HAS SOPS 903075 HAS SOUS 63995 HAS SOUPS 63995 WITH SCORE 64898.075
AT ITER 9403 NEW BEST:: SOT 1206104 SOS 902323 HAS SOPS 902323 HAS SOUS 63983 HAS SOUPS 63983 WITH SCORE 64885.323
AT ITER 9463 NEW BEST:: SOT 1206103 SOS 902310 HAS SOPS 902310 HAS SOUS 63982 HAS SOUPS 63982 WITH SCORE 64884.31
AT ITER 9479 NEW BEST:: SOT 1206055 SOS 902262 HAS SOPS 902262 HAS SOUS 63883 HAS SOUPS 63883 WITH SCORE 64785.262
AT ITER 9526 NEW BEST:: SOT 1205897 SOS 902104 HAS SOPS 902104 HAS SOUS 63713 HAS SOUPS 63713 WITH SCORE 64615.104
AT ITER 9645 NEW BEST:: SOT 1205904 SOS 902111 HAS SOPS 902111 HAS SOUS 63702 HAS SOUPS 63702 WITH SCORE 64604.111
AT ITER 9739 NEW BEST:: SOT 1205909 SOS 902116 HAS SOPS 902116 HAS SOUS 63659 HAS SOUPS 63659 WITH SCORE 64561.116
AT ITER 9754 NEW BEST:: SOT 1205865 SOS 902072 HAS SOPS 902072 HAS SOUS 63563 HAS SOUPS 63563 WITH SCORE 64465.072
AT ITER 9821 NEW BEST:: SOT 1205568 SOS 901775 HAS SOPS 901775 HAS SOUS 63561 HAS SOUPS 63561 WITH SCORE 64462.775
AT ITER 9896 NEW BEST:: SOT 1205598 SOS 901805 HAS SOPS 901805 HAS SOUS 63556 HAS SOUPS 63556 WITH SCORE 64457.805
AT ITER 9941 NEW BEST:: SOT 1205598 SOS 901805 HAS SOPS 901805 HAS SOUS 63510 HAS SOUPS 63510 WITH SCORE 64411.805
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 8701920 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16149612 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Medical-PT-14"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
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 smart"
echo " Input is Medical-PT-14, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r227-tall-167856410800704"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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