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.r291-tall-167873943000560.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 PolyORBLF-PT-S04J04T10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873943000560
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.2M
-rw-r--r-- 1 mcc users 27K Feb 26 13:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 142K Feb 26 13:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 101K Feb 26 13:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 457K Feb 26 13:39 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 15K Feb 25 16:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 53K Feb 25 16:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 9.2K Feb 25 16:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 25 16:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 25K Feb 26 13:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 143K Feb 26 13:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 196K Feb 26 13:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 805K Feb 26 13:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 8.9K Feb 25 16:35 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 4.2M Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678801139630

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=PolyORBLF-PT-S04J04T10
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S04J04T10
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: 870 places, 5034 transitions, 34774 arcs.
AT ITER 0 NEW BEST:: SOT 2730706 SOS 1639160 HAS SOPS 1620123 HAS SOUS 514030 HAS SOUPS 513238 WITH SCORE 514877.16
AT ITER 9 NEW BEST:: SOT 2730713 SOS 1641037 HAS SOPS 1621993 HAS SOUS 514026 HAS SOUPS 513234 WITH SCORE 514875.037
AT ITER 30 NEW BEST:: SOT 2730328 SOS 1640545 HAS SOPS 1621394 HAS SOUS 513434 HAS SOUPS 512642 WITH SCORE 514282.545
AT ITER 31 NEW BEST:: SOT 2729718 SOS 1640110 HAS SOPS 1620959 HAS SOUS 512924 HAS SOUPS 512132 WITH SCORE 513772.11
AT ITER 32 NEW BEST:: SOT 2729326 SOS 1639750 HAS SOPS 1620599 HAS SOUS 512529 HAS SOUPS 511737 WITH SCORE 513376.75
AT ITER 34 NEW BEST:: SOT 2728976 SOS 1638696 HAS SOPS 1620230 HAS SOUS 512160 HAS SOUPS 511441 WITH SCORE 513079.696
AT ITER 37 NEW BEST:: SOT 2728502 SOS 1638064 HAS SOPS 1619598 HAS SOUS 511606 HAS SOUPS 510887 WITH SCORE 512525.064
AT ITER 54 NEW BEST:: SOT 2710929 SOS 1622735 HAS SOPS 1605264 HAS SOUS 495367 HAS SOUPS 494658 WITH SCORE 496280.735
AT ITER 55 NEW BEST:: SOT 2710888 SOS 1622684 HAS SOPS 1605295 HAS SOUS 495347 HAS SOUPS 494638 WITH SCORE 496260.684
AT ITER 57 NEW BEST:: SOT 2710879 SOS 1622675 HAS SOPS 1605286 HAS SOUS 495329 HAS SOUPS 494620 WITH SCORE 496242.675
AT ITER 65 NEW BEST:: SOT 2712073 SOS 1623866 HAS SOPS 1606477 HAS SOUS 494135 HAS SOUPS 493426 WITH SCORE 495049.866
AT ITER 68 NEW BEST:: SOT 2711375 SOS 1622868 HAS SOPS 1605479 HAS SOUS 493347 HAS SOUPS 492638 WITH SCORE 494260.868
AT ITER 81 NEW BEST:: SOT 2711100 SOS 1622648 HAS SOPS 1605259 HAS SOUS 492610 HAS SOUPS 491901 WITH SCORE 493523.648
AT ITER 84 NEW BEST:: SOT 2710649 SOS 1622232 HAS SOPS 1604843 HAS SOUS 492083 HAS SOUPS 491374 WITH SCORE 492996.232
AT ITER 88 NEW BEST:: SOT 2710442 SOS 1621509 HAS SOPS 1604389 HAS SOUS 491669 HAS SOUPS 490960 WITH SCORE 492581.509
AT ITER 91 NEW BEST:: SOT 2709864 SOS 1621089 HAS SOPS 1603969 HAS SOUS 491189 HAS SOUPS 490480 WITH SCORE 492101.089
AT ITER 97 NEW BEST:: SOT 2707539 SOS 1618989 HAS SOPS 1601869 HAS SOUS 490363 HAS SOUPS 489654 WITH SCORE 491272.989
AT ITER 106 NEW BEST:: SOT 2706643 SOS 1618281 HAS SOPS 1601161 HAS SOUS 489645 HAS SOUPS 488936 WITH SCORE 490554.281
AT ITER 112 NEW BEST:: SOT 2706623 SOS 1618261 HAS SOPS 1601141 HAS SOUS 489618 HAS SOUPS 488909 WITH SCORE 490527.261
AT ITER 119 NEW BEST:: SOT 2706574 SOS 1618212 HAS SOPS 1601066 HAS SOUS 489575 HAS SOUPS 488866 WITH SCORE 490484.212
AT ITER 125 NEW BEST:: SOT 2626844 SOS 1538482 HAS SOPS 1521336 HAS SOUS 474343 HAS SOUPS 473634 WITH SCORE 475172.482
AT ITER 130 NEW BEST:: SOT 2538409 SOS 1514434 HAS SOPS 1497288 HAS SOUS 473714 HAS SOUPS 473005 WITH SCORE 474519.434
AT ITER 137 NEW BEST:: SOT 2538347 SOS 1514362 HAS SOPS 1497341 HAS SOUS 473680 HAS SOUPS 472971 WITH SCORE 474485.362
AT ITER 139 NEW BEST:: SOT 2538041 SOS 1514085 HAS SOPS 1497064 HAS SOUS 473418 HAS SOUPS 472709 WITH SCORE 474223.085
AT ITER 142 NEW BEST:: SOT 2538041 SOS 1514079 HAS SOPS 1497058 HAS SOUS 473406 HAS SOUPS 472697 WITH SCORE 474211.079
AT ITER 147 NEW BEST:: SOT 2426198 SOS 1451625 HAS SOPS 1434604 HAS SOUS 452997 HAS SOUPS 452288 WITH SCORE 453739.625
AT ITER 163 NEW BEST:: SOT 2426166 SOS 1451593 HAS SOPS 1434636 HAS SOUS 452997 HAS SOUPS 452288 WITH SCORE 453739.593
AT ITER 164 NEW BEST:: SOT 2425886 SOS 1451780 HAS SOPS 1434823 HAS SOUS 452988 HAS SOUPS 452279 WITH SCORE 453730.78
AT ITER 170 NEW BEST:: SOT 2425382 SOS 1451262 HAS SOPS 1434305 HAS SOUS 452168 HAS SOUPS 451459 WITH SCORE 452910.262
AT ITER 179 NEW BEST:: SOT 2424846 SOS 1450733 HAS SOPS 1433776 HAS SOUS 450739 HAS SOUPS 450030 WITH SCORE 451480.733
AT ITER 199 NEW BEST:: SOT 2349681 SOS 1422579 HAS SOPS 1405622 HAS SOUS 439034 HAS SOUPS 438325 WITH SCORE 439747.579
AT ITER 201 NEW BEST:: SOT 2349651 SOS 1422549 HAS SOPS 1405569 HAS SOUS 438995 HAS SOUPS 438286 WITH SCORE 439708.549
AT ITER 205 NEW BEST:: SOT 2349385 SOS 1422316 HAS SOPS 1405336 HAS SOUS 438494 HAS SOUPS 437785 WITH SCORE 439207.316
AT ITER 215 NEW BEST:: SOT 2339960 SOS 1412920 HAS SOPS 1395940 HAS SOUS 436957 HAS SOUPS 436248 WITH SCORE 437660.92
AT ITER 216 NEW BEST:: SOT 2245644 SOS 1370727 HAS SOPS 1353747 HAS SOUS 420902 HAS SOUPS 420193 WITH SCORE 421563.727
AT ITER 224 NEW BEST:: SOT 2245578 SOS 1370661 HAS SOPS 1353681 HAS SOUS 420836 HAS SOUPS 420127 WITH SCORE 421497.661
AT ITER 228 NEW BEST:: SOT 2245633 SOS 1370886 HAS SOPS 1353906 HAS SOUS 420601 HAS SOUPS 419892 WITH SCORE 421262.886
AT ITER 231 NEW BEST:: SOT 2245717 SOS 1371054 HAS SOPS 1354074 HAS SOUS 420591 HAS SOUPS 419882 WITH SCORE 421253.054
AT ITER 236 NEW BEST:: SOT 2245670 SOS 1370872 HAS SOPS 1353892 HAS SOUS 420497 HAS SOUPS 419788 WITH SCORE 421158.872
AT ITER 241 NEW BEST:: SOT 2245545 SOS 1370775 HAS SOPS 1353795 HAS SOUS 419680 HAS SOUPS 418971 WITH SCORE 420341.775
AT ITER 243 NEW BEST:: SOT 2239325 SOS 1364555 HAS SOPS 1347575 HAS SOUS 418964 HAS SOUPS 418255 WITH SCORE 419619.555
AT ITER 252 NEW BEST:: SOT 2239415 SOS 1364645 HAS SOPS 1347625 HAS SOUS 418948 HAS SOUPS 418239 WITH SCORE 419603.645
AT ITER 274 NEW BEST:: SOT 2221395 SOS 1346678 HAS SOPS 1329658 HAS SOUS 415344 HAS SOUPS 414635 WITH SCORE 415981.678
AT ITER 288 NEW BEST:: SOT 2221127 SOS 1346601 HAS SOPS 1329581 HAS SOUS 414808 HAS SOUPS 414099 WITH SCORE 415445.601
AT ITER 294 NEW BEST:: SOT 2220991 SOS 1346465 HAS SOPS 1329445 HAS SOUS 414536 HAS SOUPS 413827 WITH SCORE 415173.465
AT ITER 304 NEW BEST:: SOT 2220991 SOS 1346167 HAS SOPS 1329147 HAS SOUS 414526 HAS SOUPS 413817 WITH SCORE 415163.167
AT ITER 307 NEW BEST:: SOT 2221731 SOS 1347235 HAS SOPS 1330215 HAS SOUS 414029 HAS SOUPS 413320 WITH SCORE 414667.235
AT ITER 315 NEW BEST:: SOT 2221631 SOS 1347283 HAS SOPS 1330263 HAS SOUS 414007 HAS SOUPS 413298 WITH SCORE 414645.283
AT ITER 317 NEW BEST:: SOT 2221681 SOS 1347383 HAS SOPS 1330363 HAS SOUS 413997 HAS SOUPS 413288 WITH SCORE 414635.383
AT ITER 331 NEW BEST:: SOT 2220551 SOS 1345958 HAS SOPS 1328938 HAS SOUS 412628 HAS SOUPS 411919 WITH SCORE 413264.958
AT ITER 344 NEW BEST:: SOT 2220550 SOS 1346937 HAS SOPS 1329908 HAS SOUS 412594 HAS SOUPS 411887 WITH SCORE 413233.937
AT ITER 356 NEW BEST:: SOT 2220550 SOS 1346867 HAS SOPS 1329838 HAS SOUS 412302 HAS SOUPS 411595 WITH SCORE 412941.867
AT ITER 357 NEW BEST:: SOT 2219710 SOS 1346037 HAS SOPS 1329008 HAS SOUS 411472 HAS SOUPS 410765 WITH SCORE 412111.037
AT ITER 359 NEW BEST:: SOT 2219392 SOS 1345613 HAS SOPS 1328584 HAS SOUS 411142 HAS SOUPS 410435 WITH SCORE 411780.613
AT ITER 378 NEW BEST:: SOT 2218776 SOS 1345207 HAS SOPS 1328178 HAS SOUS 409931 HAS SOUPS 409224 WITH SCORE 410569.207
AT ITER 387 NEW BEST:: SOT 2217110 SOS 1343589 HAS SOPS 1326560 HAS SOUS 408299 HAS SOUPS 407592 WITH SCORE 408935.589
AT ITER 392 NEW BEST:: SOT 2217065 SOS 1343675 HAS SOPS 1326646 HAS SOUS 408051 HAS SOUPS 407344 WITH SCORE 408687.675
AT ITER 394 NEW BEST:: SOT 2217065 SOS 1343631 HAS SOPS 1326602 HAS SOUS 408007 HAS SOUPS 407300 WITH SCORE 408643.631
AT ITER 397 NEW BEST:: SOT 2215068 SOS 1341561 HAS SOPS 1324532 HAS SOUS 406420 HAS SOUPS 405713 WITH SCORE 407054.561
AT ITER 400 NEW BEST:: SOT 2215068 SOS 1341561 HAS SOPS 1324532 HAS SOUS 406358 HAS SOUPS 405651 WITH SCORE 406992.561
AT ITER 401 NEW BEST:: SOT 2215474 SOS 1342062 HAS SOPS 1325033 HAS SOUS 406015 HAS SOUPS 405308 WITH SCORE 406650.062
AT ITER 404 NEW BEST:: SOT 2215474 SOS 1341902 HAS SOPS 1324873 HAS SOUS 405400 HAS SOUPS 404693 WITH SCORE 406034.902
AT ITER 409 NEW BEST:: SOT 2215307 SOS 1341813 HAS SOPS 1324784 HAS SOUS 405311 HAS SOUPS 404604 WITH SCORE 405945.813
AT ITER 411 NEW BEST:: SOT 2215369 SOS 1341901 HAS SOPS 1324872 HAS SOUS 405117 HAS SOUPS 404410 WITH SCORE 405751.901
AT ITER 416 NEW BEST:: SOT 2215413 SOS 1341945 HAS SOPS 1324916 HAS SOUS 405009 HAS SOUPS 404302 WITH SCORE 405643.945
AT ITER 423 NEW BEST:: SOT 2214975 SOS 1341607 HAS SOPS 1324578 HAS SOUS 404605 HAS SOUPS 403898 WITH SCORE 405239.607
AT ITER 435 NEW BEST:: SOT 2214735 SOS 1341327 HAS SOPS 1324298 HAS SOUS 404429 HAS SOUPS 403722 WITH SCORE 405063.327
AT ITER 440 NEW BEST:: SOT 2194062 SOS 1320832 HAS SOPS 1303803 HAS SOUS 399242 HAS SOUPS 398535 WITH SCORE 399855.832
AT ITER 441 NEW BEST:: SOT 2147517 SOS 1274502 HAS SOPS 1257473 HAS SOUS 389830 HAS SOUPS 389123 WITH SCORE 390397.502
AT ITER 444 NEW BEST:: SOT 2147517 SOS 1274482 HAS SOPS 1257453 HAS SOUS 389749 HAS SOUPS 389042 WITH SCORE 390316.482
AT ITER 460 NEW BEST:: SOT 2133378 SOS 1260343 HAS SOPS 1243314 HAS SOUS 375607 HAS SOUPS 374900 WITH SCORE 376160.343
AT ITER 462 NEW BEST:: SOT 2133055 SOS 1258280 HAS SOPS 1241348 HAS SOUS 375452 HAS SOUPS 374745 WITH SCORE 376003.28
AT ITER 466 NEW BEST:: SOT 2132671 SOS 1257821 HAS SOPS 1240889 HAS SOUS 374975 HAS SOUPS 374268 WITH SCORE 375525.821
AT ITER 468 NEW BEST:: SOT 2132528 SOS 1257515 HAS SOPS 1240583 HAS SOUS 374669 HAS SOUPS 373962 WITH SCORE 375219.515
AT ITER 485 NEW BEST:: SOT 2132508 SOS 1257495 HAS SOPS 1240543 HAS SOUS 374629 HAS SOUPS 373922 WITH SCORE 375179.495
AT ITER 489 NEW BEST:: SOT 2132331 SOS 1257318 HAS SOPS 1240366 HAS SOUS 374452 HAS SOUPS 373745 WITH SCORE 375002.318
AT ITER 506 NEW BEST:: SOT 2132337 SOS 1257324 HAS SOPS 1240327 HAS SOUS 374372 HAS SOUPS 373665 WITH SCORE 374922.324
AT ITER 512 NEW BEST:: SOT 2131821 SOS 1256592 HAS SOPS 1239595 HAS SOUS 373720 HAS SOUPS 373013 WITH SCORE 374269.592
AT ITER 517 NEW BEST:: SOT 2131762 SOS 1256415 HAS SOPS 1239418 HAS SOUS 373543 HAS SOUPS 372836 WITH SCORE 374092.415
AT ITER 519 NEW BEST:: SOT 2131742 SOS 1256395 HAS SOPS 1239398 HAS SOUS 373523 HAS SOUPS 372816 WITH SCORE 374072.395
AT ITER 520 NEW BEST:: SOT 2131733 SOS 1256386 HAS SOPS 1239380 HAS SOUS 373500 HAS SOUPS 372791 WITH SCORE 374047.386
AT ITER 533 NEW BEST:: SOT 2133492 SOS 1258182 HAS SOPS 1241176 HAS SOUS 372882 HAS SOUPS 372173 WITH SCORE 373431.182
AT ITER 545 NEW BEST:: SOT 2133345 SOS 1258035 HAS SOPS 1241029 HAS SOUS 372679 HAS SOUPS 371970 WITH SCORE 373228.035
AT ITER 548 NEW BEST:: SOT 2133348 SOS 1258069 HAS SOPS 1240971 HAS SOUS 372578 HAS SOUPS 371869 WITH SCORE 373127.069
AT ITER 552 NEW BEST:: SOT 2068637 SOS 1193664 HAS SOPS 1176566 HAS SOUS 357980 HAS SOUPS 357271 WITH SCORE 358464.664
AT ITER 560 NEW BEST:: SOT 2068368 SOS 1193481 HAS SOPS 1176383 HAS SOUS 357809 HAS SOUPS 357100 WITH SCORE 358293.481
AT ITER 562 NEW BEST:: SOT 2068360 SOS 1193442 HAS SOPS 1176344 HAS SOUS 357500 HAS SOUPS 356791 WITH SCORE 357984.442
AT ITER 563 NEW BEST:: SOT 2068309 SOS 1193371 HAS SOPS 1176273 HAS SOUS 357429 HAS SOUPS 356720 WITH SCORE 357913.371
AT ITER 572 NEW BEST:: SOT 2068188 SOS 1193162 HAS SOPS 1176285 HAS SOUS 357380 HAS SOUPS 356671 WITH SCORE 357864.162
AT ITER 584 NEW BEST:: SOT 2068077 SOS 1193051 HAS SOPS 1176396 HAS SOUS 357347 HAS SOUPS 356638 WITH SCORE 357831.051
AT ITER 593 NEW BEST:: SOT 2067956 SOS 1192914 HAS SOPS 1176259 HAS SOUS 356622 HAS SOUPS 355913 WITH SCORE 357105.914
AT ITER 594 NEW BEST:: SOT 2029955 SOS 1169873 HAS SOPS 1153218 HAS SOUS 353998 HAS SOUPS 353289 WITH SCORE 354458.873
AT ITER 598 NEW BEST:: SOT 2029842 SOS 1169930 HAS SOPS 1153508 HAS SOUS 353845 HAS SOUPS 353136 WITH SCORE 354305.93
AT ITER 619 NEW BEST:: SOT 2029886 SOS 1169592 HAS SOPS 1153170 HAS SOUS 353507 HAS SOUPS 352798 WITH SCORE 353967.592
AT ITER 625 NEW BEST:: SOT 2012312 SOS 1152140 HAS SOPS 1135718 HAS SOUS 349322 HAS SOUPS 348613 WITH SCORE 349765.14
AT ITER 626 NEW BEST:: SOT 2012413 SOS 1152589 HAS SOPS 1136167 HAS SOUS 349270 HAS SOUPS 348561 WITH SCORE 349713.589
AT ITER 632 NEW BEST:: SOT 2012302 SOS 1152536 HAS SOPS 1136114 HAS SOUS 349106 HAS SOUPS 348397 WITH SCORE 349549.536
AT ITER 646 NEW BEST:: SOT 2012465 SOS 1154122 HAS SOPS 1137700 HAS SOUS 349082 HAS SOUPS 348373 WITH SCORE 349527.122
AT ITER 650 NEW BEST:: SOT 2012486 SOS 1154065 HAS SOPS 1137643 HAS SOUS 349066 HAS SOUPS 348357 WITH SCORE 349511.065
AT ITER 666 NEW BEST:: SOT 2012459 SOS 1153830 HAS SOPS 1137408 HAS SOUS 348804 HAS SOUPS 348095 WITH SCORE 349248.83
AT ITER 683 NEW BEST:: SOT 1997420 SOS 1139077 HAS SOPS 1122655 HAS SOUS 342653 HAS SOUPS 341944 WITH SCORE 343083.077
AT ITER 689 NEW BEST:: SOT 1998377 SOS 1140319 HAS SOPS 1123897 HAS SOUS 341546 HAS SOUPS 340837 WITH SCORE 341977.319
AT ITER 693 NEW BEST:: SOT 1998377 SOS 1140299 HAS SOPS 1123877 HAS SOUS 341536 HAS SOUPS 340827 WITH SCORE 341967.299
AT ITER 694 NEW BEST:: SOT 1998247 SOS 1140175 HAS SOPS 1123753 HAS SOUS 341412 HAS SOUPS 340703 WITH SCORE 341843.175
AT ITER 699 NEW BEST:: SOT 1997334 SOS 1139536 HAS SOPS 1123114 HAS SOUS 340685 HAS SOUPS 339976 WITH SCORE 341115.536
AT ITER 710 NEW BEST:: SOT 1957996 SOS 1100198 HAS SOPS 1083776 HAS SOUS 334259 HAS SOUPS 333550 WITH SCORE 334650.198
AT ITER 713 NEW BEST:: SOT 1957645 SOS 1099850 HAS SOPS 1083428 HAS SOUS 334169 HAS SOUPS 333460 WITH SCORE 334559.85
AT ITER 720 NEW BEST:: SOT 1957638 SOS 1099843 HAS SOPS 1083414 HAS SOUS 334155 HAS SOUPS 333446 WITH SCORE 334545.843
AT ITER 721 NEW BEST:: SOT 1957638 SOS 1099843 HAS SOPS 1083414 HAS SOUS 333540 HAS SOUPS 332831 WITH SCORE 333930.843
AT ITER 723 NEW BEST:: SOT 1957676 SOS 1099840 HAS SOPS 1083411 HAS SOUS 333537 HAS SOUPS 332828 WITH SCORE 333927.84
AT ITER 726 NEW BEST:: SOT 1956754 SOS 1095908 HAS SOPS 1079479 HAS SOUS 331836 HAS SOUPS 331127 WITH SCORE 332222.908
AT ITER 732 NEW BEST:: SOT 1931026 SOS 1097185 HAS SOPS 1080756 HAS SOUS 329478 HAS SOUPS 328769 WITH SCORE 329866.185
AT ITER 737 NEW BEST:: SOT 1930986 SOS 1097128 HAS SOPS 1080722 HAS SOUS 329441 HAS SOUPS 328732 WITH SCORE 329829.128
AT ITER 752 NEW BEST:: SOT 1930967 SOS 1097109 HAS SOPS 1080692 HAS SOUS 329407 HAS SOUPS 328692 WITH SCORE 329789.109
AT ITER 776 NEW BEST:: SOT 1930983 SOS 1097125 HAS SOPS 1080694 HAS SOUS 329378 HAS SOUPS 328663 WITH SCORE 329760.125
AT ITER 777 NEW BEST:: SOT 1930753 SOS 1096943 HAS SOPS 1080512 HAS SOUS 329374 HAS SOUPS 328659 WITH SCORE 329755.943
AT ITER 778 NEW BEST:: SOT 1930230 SOS 1096557 HAS SOPS 1080126 HAS SOUS 328453 HAS SOUPS 327738 WITH SCORE 328834.557
AT ITER 780 NEW BEST:: SOT 1930233 SOS 1096560 HAS SOPS 1080055 HAS SOUS 328381 HAS SOUPS 327666 WITH SCORE 328762.56
AT ITER 787 NEW BEST:: SOT 1906218 SOS 1072545 HAS SOPS 1056040 HAS SOUS 324974 HAS SOUPS 324259 WITH SCORE 325331.545
AT ITER 792 NEW BEST:: SOT 1906200 SOS 1072527 HAS SOPS 1056022 HAS SOUS 324938 HAS SOUPS 324223 WITH SCORE 325295.527
AT ITER 795 NEW BEST:: SOT 1905809 SOS 1072311 HAS SOPS 1055806 HAS SOUS 324471 HAS SOUPS 323756 WITH SCORE 324828.311
AT ITER 796 NEW BEST:: SOT 1905793 SOS 1072295 HAS SOPS 1055755 HAS SOUS 324370 HAS SOUPS 323655 WITH SCORE 324727.295
AT ITER 802 NEW BEST:: SOT 1905730 SOS 1072222 HAS SOPS 1055756 HAS SOUS 324284 HAS SOUPS 323569 WITH SCORE 324641.222
AT ITER 804 NEW BEST:: SOT 1905834 SOS 1072326 HAS SOPS 1055940 HAS SOUS 324206 HAS SOUPS 323491 WITH SCORE 324563.326
AT ITER 809 NEW BEST:: SOT 1905426 SOS 1071802 HAS SOPS 1055416 HAS SOUS 322114 HAS SOUPS 321399 WITH SCORE 322470.802
AT ITER 815 NEW BEST:: SOT 1905154 SOS 1071624 HAS SOPS 1055238 HAS SOUS 321920 HAS SOUPS 321205 WITH SCORE 322276.624
AT ITER 816 NEW BEST:: SOT 1905138 SOS 1071608 HAS SOPS 1055222 HAS SOUS 321895 HAS SOUPS 321180 WITH SCORE 322251.608
AT ITER 819 NEW BEST:: SOT 1905048 SOS 1071474 HAS SOPS 1055088 HAS SOUS 321761 HAS SOUPS 321046 WITH SCORE 322117.474
AT ITER 820 NEW BEST:: SOT 1897979 SOS 1065580 HAS SOPS 1048019 HAS SOUS 314830 HAS SOUPS 313928 WITH SCORE 314993.58
AT ITER 829 NEW BEST:: SOT 1897900 SOS 1066766 HAS SOPS 1049104 HAS SOUS 314769 HAS SOUPS 313867 WITH SCORE 314933.766
AT ITER 837 NEW BEST:: SOT 1897900 SOS 1066766 HAS SOPS 1049092 HAS SOUS 314757 HAS SOUPS 313855 WITH SCORE 314921.766
AT ITER 841 NEW BEST:: SOT 1897839 SOS 1067623 HAS SOPS 1049971 HAS SOUS 314664 HAS SOUPS 313764 WITH SCORE 314831.623
AT ITER 842 NEW BEST:: SOT 1897792 SOS 1067539 HAS SOPS 1049887 HAS SOUS 314543 HAS SOUPS 313643 WITH SCORE 314710.539
AT ITER 847 NEW BEST:: SOT 1897792 SOS 1067289 HAS SOPS 1049637 HAS SOUS 314543 HAS SOUPS 313643 WITH SCORE 314710.289
AT ITER 854 NEW BEST:: SOT 1897856 SOS 1067353 HAS SOPS 1049631 HAS SOUS 314493 HAS SOUPS 313593 WITH SCORE 314660.353
AT ITER 857 NEW BEST:: SOT 1897838 SOS 1067317 HAS SOPS 1049595 HAS SOUS 314457 HAS SOUPS 313557 WITH SCORE 314624.317
AT ITER 860 NEW BEST:: SOT 1897804 SOS 1067174 HAS SOPS 1049478 HAS SOUS 314389 HAS SOUPS 313489 WITH SCORE 314556.174
AT ITER 868 NEW BEST:: SOT 1897694 SOS 1067090 HAS SOPS 1049394 HAS SOUS 314232 HAS SOUPS 313332 WITH SCORE 314399.09
AT ITER 870 NEW BEST:: SOT 1897299 SOS 1066743 HAS SOPS 1049047 HAS SOUS 314210 HAS SOUPS 313310 WITH SCORE 314376.743
AT ITER 873 NEW BEST:: SOT 1896793 SOS 1066385 HAS SOPS 1048689 HAS SOUS 313920 HAS SOUPS 313020 WITH SCORE 314086.385
AT ITER 894 NEW BEST:: SOT 1896787 SOS 1066379 HAS SOPS 1048683 HAS SOUS 313914 HAS SOUPS 313014 WITH SCORE 314080.379
AT ITER 907 NEW BEST:: SOT 1896788 SOS 1066427 HAS SOPS 1048731 HAS SOUS 313844 HAS SOUPS 312944 WITH SCORE 314010.427
AT ITER 914 NEW BEST:: SOT 1896727 SOS 1066401 HAS SOPS 1048325 HAS SOUS 313912 HAS SOUPS 312632 WITH SCORE 313698.401
AT ITER 915 NEW BEST:: SOT 1896727 SOS 1066401 HAS SOPS 1048325 HAS SOUS 313896 HAS SOUPS 312616 WITH SCORE 313682.401
AT ITER 919 NEW BEST:: SOT 1896707 SOS 1066381 HAS SOPS 1048305 HAS SOUS 313876 HAS SOUPS 312596 WITH SCORE 313662.381
AT ITER 923 NEW BEST:: SOT 1896645 SOS 1066381 HAS SOPS 1048305 HAS SOUS 313386 HAS SOUPS 312106 WITH SCORE 313172.381
AT ITER 924 NEW BEST:: SOT 1896645 SOS 1066267 HAS SOPS 1048191 HAS SOUS 313317 HAS SOUPS 312037 WITH SCORE 313103.267
AT ITER 961 NEW BEST:: SOT 1896615 SOS 1066227 HAS SOPS 1048151 HAS SOUS 313257 HAS SOUPS 311977 WITH SCORE 313043.227
AT ITER 975 NEW BEST:: SOT 1896796 SOS 1067060 HAS SOPS 1048984 HAS SOUS 313160 HAS SOUPS 311880 WITH SCORE 312947.06
AT ITER 981 NEW BEST:: SOT 1896728 SOS 1066958 HAS SOPS 1048882 HAS SOUS 313126 HAS SOUPS 311846 WITH SCORE 312912.958
AT ITER 983 NEW BEST:: SOT 1896527 SOS 1066906 HAS SOPS 1048847 HAS SOUS 313057 HAS SOUPS 311777 WITH SCORE 312843.906
AT ITER 1001 NEW BEST:: SOT 1896510 SOS 1066872 HAS SOPS 1048813 HAS SOUS 313023 HAS SOUPS 311743 WITH SCORE 312809.872
AT ITER 1009 NEW BEST:: SOT 1895236 SOS 1065576 HAS SOPS 1047517 HAS SOUS 311552 HAS SOUPS 310272 WITH SCORE 311337.576
AT ITER 1018 NEW BEST:: SOT 1895346 SOS 1065649 HAS SOPS 1047590 HAS SOUS 311362 HAS SOUPS 310082 WITH SCORE 311147.649
AT ITER 1040 NEW BEST:: SOT 1894986 SOS 1065269 HAS SOPS 1047210 HAS SOUS 310982 HAS SOUPS 309702 WITH SCORE 310767.269
AT ITER 1043 NEW BEST:: SOT 1894951 SOS 1065227 HAS SOPS 1047168 HAS SOUS 310912 HAS SOUPS 309632 WITH SCORE 310697.227
AT ITER 1047 NEW BEST:: SOT 1894951 SOS 1065183 HAS SOPS 1047124 HAS SOUS 310868 HAS SOUPS 309588 WITH SCORE 310653.183
AT ITER 1052 NEW BEST:: SOT 1894979 SOS 1065267 HAS SOPS 1047208 HAS SOUS 310840 HAS SOUPS 309560 WITH SCORE 310625.267
AT ITER 1058 NEW BEST:: SOT 1896378 SOS 1020030 HAS SOPS 1001971 HAS SOUS 308369 HAS SOUPS 307089 WITH SCORE 308109.03
AT ITER 1062 NEW BEST:: SOT 1869108 SOS 1018373 HAS SOPS 1000314 HAS SOUS 306836 HAS SOUPS 305556 WITH SCORE 306574.373
AT ITER 1064 NEW BEST:: SOT 1869108 SOS 1018331 HAS SOPS 1000272 HAS SOUS 306778 HAS SOUPS 305498 WITH SCORE 306516.331
AT ITER 1076 NEW BEST:: SOT 1869030 SOS 1018250 HAS SOPS 1000191 HAS SOUS 306750 HAS SOUPS 305470 WITH SCORE 306488.25
AT ITER 1087 NEW BEST:: SOT 1869008 SOS 1018228 HAS SOPS 1000169 HAS SOUS 306728 HAS SOUPS 305448 WITH SCORE 306466.228
AT ITER 1092 NEW BEST:: SOT 1811474 SOS 991258 HAS SOPS 973199 HAS SOUS 301205 HAS SOUPS 299925 WITH SCORE 300916.258
AT ITER 1138 NEW BEST:: SOT 1811562 SOS 991346 HAS SOPS 973231 HAS SOUS 301165 HAS SOUPS 299883 WITH SCORE 300874.346
AT ITER 1142 NEW BEST:: SOT 1809882 SOS 989287 HAS SOPS 971172 HAS SOUS 300056 HAS SOUPS 298774 WITH SCORE 299763.287
AT ITER 1148 NEW BEST:: SOT 1809794 SOS 989177 HAS SOPS 970831 HAS SOUS 299880 HAS SOUPS 298598 WITH SCORE 299587.177
AT ITER 1170 NEW BEST:: SOT 1809806 SOS 989177 HAS SOPS 970831 HAS SOUS 299868 HAS SOUPS 298586 WITH SCORE 299575.177
AT ITER 1174 NEW BEST:: SOT 1809768 SOS 989360 HAS SOPS 971033 HAS SOUS 299839 HAS SOUPS 298557 WITH SCORE 299546.36
AT ITER 1175 NEW BEST:: SOT 1809764 SOS 989356 HAS SOPS 971029 HAS SOUS 299835 HAS SOUPS 298553 WITH SCORE 299542.356
AT ITER 1177 NEW BEST:: SOT 1810440 SOS 990237 HAS SOPS 972181 HAS SOUS 299740 HAS SOUPS 298458 WITH SCORE 299448.237
AT ITER 1182 NEW BEST:: SOT 1810466 SOS 990263 HAS SOPS 972207 HAS SOUS 299727 HAS SOUPS 298445 WITH SCORE 299435.263
AT ITER 1188 NEW BEST:: SOT 1810177 SOS 989882 HAS SOPS 971826 HAS SOUS 299126 HAS SOUPS 297844 WITH SCORE 298833.882
AT ITER 1189 NEW BEST:: SOT 1810107 SOS 989846 HAS SOPS 971790 HAS SOUS 298742 HAS SOUPS 297460 WITH SCORE 298449.846
AT ITER 1193 NEW BEST:: SOT 1808654 SOS 988352 HAS SOPS 970296 HAS SOUS 298646 HAS SOUPS 297364 WITH SCORE 298352.352
AT ITER 1195 NEW BEST:: SOT 1808734 SOS 988348 HAS SOPS 970292 HAS SOUS 298516 HAS SOUPS 297234 WITH SCORE 298222.348
AT ITER 1215 NEW BEST:: SOT 1809802 SOS 990569 HAS SOPS 972513 HAS SOUS 298148 HAS SOUPS 296866 WITH SCORE 297856.569
AT ITER 1218 NEW BEST:: SOT 1809802 SOS 990549 HAS SOPS 972493 HAS SOUS 298027 HAS SOUPS 296745 WITH SCORE 297735.549
AT ITER 1229 NEW BEST:: SOT 1809701 SOS 990404 HAS SOPS 972370 HAS SOUS 297932 HAS SOUPS 296650 WITH SCORE 297640.404
AT ITER 1237 NEW BEST:: SOT 1809435 SOS 990138 HAS SOPS 972104 HAS SOUS 297667 HAS SOUPS 296385 WITH SCORE 297375.138
AT ITER 1247 NEW BEST:: SOT 1809435 SOS 990042 HAS SOPS 972008 HAS SOUS 297571 HAS SOUPS 296289 WITH SCORE 297279.042
AT ITER 1272 NEW BEST:: SOT 1809239 SOS 989970 HAS SOPS 971936 HAS SOUS 297179 HAS SOUPS 295897 WITH SCORE 296886.97
AT ITER 1278 NEW BEST:: SOT 1809078 SOS 989735 HAS SOPS 971701 HAS SOUS 297011 HAS SOUPS 295729 WITH SCORE 296718.735
AT ITER 1279 NEW BEST:: SOT 1809078 SOS 963674 HAS SOPS 945640 HAS SOUS 296178 HAS SOUPS 294896 WITH SCORE 295859.674
AT ITER 1283 NEW BEST:: SOT 1808820 SOS 963158 HAS SOPS 945124 HAS SOUS 295662 HAS SOUPS 294380 WITH SCORE 295343.158
AT ITER 1306 NEW BEST:: SOT 1808820 SOS 963147 HAS SOPS 945113 HAS SOUS 295656 HAS SOUPS 294374 WITH SCORE 295337.147
AT ITER 1315 NEW BEST:: SOT 1808820 SOS 963146 HAS SOPS 945112 HAS SOUS 295654 HAS SOUPS 294372 WITH SCORE 295335.146
AT ITER 1325 NEW BEST:: SOT 1808482 SOS 962808 HAS SOPS 944774 HAS SOUS 295271 HAS SOUPS 293989 WITH SCORE 294951.808
AT ITER 1331 NEW BEST:: SOT 1808899 SOS 963310 HAS SOPS 945276 HAS SOUS 294540 HAS SOUPS 293258 WITH SCORE 294221.31
AT ITER 1333 NEW BEST:: SOT 1808589 SOS 962923 HAS SOPS 944889 HAS SOUS 294285 HAS SOUPS 293003 WITH SCORE 293965.923
AT ITER 1335 NEW BEST:: SOT 1808514 SOS 963346 HAS SOPS 945324 HAS SOUS 294212 HAS SOUPS 292930 WITH SCORE 293893.346
AT ITER 1345 NEW BEST:: SOT 1808514 SOS 963469 HAS SOPS 945447 HAS SOUS 293449 HAS SOUPS 292167 WITH SCORE 293130.469
AT ITER 1377 NEW BEST:: SOT 1808380 SOS 963335 HAS SOPS 945313 HAS SOUS 293181 HAS SOUPS 291899 WITH SCORE 292862.335
AT ITER 1384 NEW BEST:: SOT 1808341 SOS 963292 HAS SOPS 945377 HAS SOUS 293120 HAS SOUPS 291838 WITH SCORE 292801.292
AT ITER 1385 NEW BEST:: SOT 1807515 SOS 963397 HAS SOPS 947890 HAS SOUS 292927 HAS SOUPS 291687 WITH SCORE 292650.397
AT ITER 1389 NEW BEST:: SOT 1807485 SOS 963367 HAS SOPS 947860 HAS SOUS 292891 HAS SOUPS 291651 WITH SCORE 292614.367
AT ITER 1390 NEW BEST:: SOT 1807603 SOS 968237 HAS SOPS 950910 HAS SOUS 292940 HAS SOUPS 291518 WITH SCORE 292486.237
AT ITER 1394 NEW BEST:: SOT 1807377 SOS 967849 HAS SOPS 950522 HAS SOUS 292778 HAS SOUPS 291356 WITH SCORE 292323.849
AT ITER 1406 NEW BEST:: SOT 1807377 SOS 967842 HAS SOPS 950552 HAS SOUS 292681 HAS SOUPS 291259 WITH SCORE 292226.842
AT ITER 1421 NEW BEST:: SOT 1807377 SOS 967728 HAS SOPS 950438 HAS SOUS 292624 HAS SOUPS 291202 WITH SCORE 292169.728
AT ITER 1456 NEW BEST:: SOT 1807285 SOS 966958 HAS SOPS 949668 HAS SOUS 292456 HAS SOUPS 291034 WITH SCORE 292000.958
AT ITER 1463 NEW BEST:: SOT 1807285 SOS 966958 HAS SOPS 949668 HAS SOUS 292436 HAS SOUPS 291014 WITH SCORE 291980.958
AT ITER 1465 NEW BEST:: SOT 1807285 SOS 966964 HAS SOPS 949596 HAS SOUS 292390 HAS SOUPS 290968 WITH SCORE 291934.964
AT ITER 1470 NEW BEST:: SOT 1807275 SOS 966954 HAS SOPS 949586 HAS SOUS 292362 HAS SOUPS 290940 WITH SCORE 291906.954
AT ITER 1473 NEW BEST:: SOT 1807269 SOS 966945 HAS SOPS 949577 HAS SOUS 292356 HAS SOUPS 290934 WITH SCORE 291900.945
AT ITER 1484 NEW BEST:: SOT 1806978 SOS 966488 HAS SOPS 949120 HAS SOUS 292287 HAS SOUPS 290865 WITH SCORE 291831.488
AT ITER 1504 NEW BEST:: SOT 1806961 SOS 966236 HAS SOPS 948868 HAS SOUS 292185 HAS SOUPS 290763 WITH SCORE 291729.236
AT ITER 1509 NEW BEST:: SOT 1806964 SOS 966243 HAS SOPS 948875 HAS SOUS 292179 HAS SOUPS 290757 WITH SCORE 291723.243
AT ITER 1511 NEW BEST:: SOT 1806964 SOS 966243 HAS SOPS 948875 HAS SOUS 292145 HAS SOUPS 290723 WITH SCORE 291689.243
AT ITER 1525 NEW BEST:: SOT 1806880 SOS 966103 HAS SOPS 948735 HAS SOUS 292033 HAS SOUPS 290611 WITH SCORE 291577.103
AT ITER 1527 NEW BEST:: SOT 1806703 SOS 965867 HAS SOPS 948499 HAS SOUS 291740 HAS SOUPS 290318 WITH SCORE 291283.867
AT ITER 1537 NEW BEST:: SOT 1806673 SOS 965827 HAS SOPS 948459 HAS SOUS 291680 HAS SOUPS 290258 WITH SCORE 291223.827
AT ITER 1544 NEW BEST:: SOT 1788808 SOS 950177 HAS SOPS 932809 HAS SOUS 289321 HAS SOUPS 287899 WITH SCORE 288849.177
AT ITER 1545 NEW BEST:: SOT 1787824 SOS 949182 HAS SOPS 931814 HAS SOUS 288608 HAS SOUPS 287186 WITH SCORE 288135.182
AT ITER 1553 NEW BEST:: SOT 1787782 SOS 949001 HAS SOPS 931633 HAS SOUS 288608 HAS SOUPS 287186 WITH SCORE 288135.001
AT ITER 1560 NEW BEST:: SOT 1787782 SOS 949777 HAS SOPS 932409 HAS SOUS 288369 HAS SOUPS 286947 WITH SCORE 287896.777
AT ITER 1583 NEW BEST:: SOT 1787844 SOS 949839 HAS SOPS 932471 HAS SOUS 288297 HAS SOUPS 286875 WITH SCORE 287824.839
AT ITER 1601 NEW BEST:: SOT 1787770 SOS 949611 HAS SOPS 932243 HAS SOUS 288149 HAS SOUPS 286727 WITH SCORE 287676.611
AT ITER 1620 NEW BEST:: SOT 1787715 SOS 949367 HAS SOPS 931999 HAS SOUS 288039 HAS SOUPS 286617 WITH SCORE 287566.367
AT ITER 1624 NEW BEST:: SOT 1787706 SOS 949358 HAS SOPS 931981 HAS SOUS 288028 HAS SOUPS 286599 WITH SCORE 287548.358
AT ITER 1629 NEW BEST:: SOT 1787678 SOS 949302 HAS SOPS 931925 HAS SOUS 287972 HAS SOUPS 286543 WITH SCORE 287492.302
AT ITER 1642 NEW BEST:: SOT 1787695 SOS 949252 HAS SOPS 931875 HAS SOUS 287939 HAS SOUPS 286510 WITH SCORE 287459.252
AT ITER 1650 NEW BEST:: SOT 1787507 SOS 949023 HAS SOPS 931646 HAS SOUS 287710 HAS SOUPS 286281 WITH SCORE 287230.023
AT ITER 1653 NEW BEST:: SOT 1787438 SOS 948954 HAS SOPS 931626 HAS SOUS 287572 HAS SOUPS 286143 WITH SCORE 287091.954
AT ITER 1662 NEW BEST:: SOT 1787246 SOS 948762 HAS SOPS 931434 HAS SOUS 287444 HAS SOUPS 286015 WITH SCORE 286963.762
AT ITER 1666 NEW BEST:: SOT 1779922 SOS 957368 HAS SOPS 940040 HAS SOUS 287321 HAS SOUPS 285892 WITH SCORE 286849.368
AT ITER 1667 NEW BEST:: SOT 1779911 SOS 956650 HAS SOPS 939322 HAS SOUS 286436 HAS SOUPS 285007 WITH SCORE 285963.65
AT ITER 1672 NEW BEST:: SOT 1779970 SOS 956803 HAS SOPS 939475 HAS SOUS 286203 HAS SOUPS 284774 WITH SCORE 285730.803
AT ITER 1695 NEW BEST:: SOT 1780723 SOS 957931 HAS SOPS 940603 HAS SOUS 285837 HAS SOUPS 284408 WITH SCORE 285365.931
AT ITER 1711 NEW BEST:: SOT 1780431 SOS 957833 HAS SOPS 940505 HAS SOUS 285762 HAS SOUPS 284333 WITH SCORE 285290.833
AT ITER 1721 NEW BEST:: SOT 1780289 SOS 958859 HAS SOPS 941531 HAS SOUS 284684 HAS SOUPS 283255 WITH SCORE 284213.859
AT ITER 1727 NEW BEST:: SOT 1780133 SOS 959419 HAS SOPS 942107 HAS SOUS 284606 HAS SOUPS 283177 WITH SCORE 284136.419
AT ITER 1733 NEW BEST:: SOT 1780065 SOS 959545 HAS SOPS 942233 HAS SOUS 284562 HAS SOUPS 283133 WITH SCORE 284092.545
AT ITER 1738 NEW BEST:: SOT 1780054 SOS 959510 HAS SOPS 942198 HAS SOUS 284364 HAS SOUPS 282935 WITH SCORE 283894.51
AT ITER 1745 NEW BEST:: SOT 1771186 SOS 963397 HAS SOPS 946085 HAS SOUS 284239 HAS SOUPS 282810 WITH SCORE 283773.397
AT ITER 1746 NEW BEST:: SOT 1771187 SOS 963398 HAS SOPS 946086 HAS SOUS 284201 HAS SOUPS 282772 WITH SCORE 283735.398
AT ITER 1755 NEW BEST:: SOT 1770664 SOS 962996 HAS SOPS 945684 HAS SOUS 283696 HAS SOUPS 282267 WITH SCORE 283229.996
AT ITER 1761 NEW BEST:: SOT 1770762 SOS 963094 HAS SOPS 945733 HAS SOUS 283537 HAS SOUPS 282108 WITH SCORE 283071.094
AT ITER 1767 NEW BEST:: SOT 1770866 SOS 963361 HAS SOPS 946000 HAS SOUS 283309 HAS SOUPS 281880 WITH SCORE 282843.361
AT ITER 1772 NEW BEST:: SOT 1770383 SOS 962878 HAS SOPS 945517 HAS SOUS 282826 HAS SOUPS 281397 WITH SCORE 282359.878
AT ITER 1780 NEW BEST:: SOT 1770392 SOS 962409 HAS SOPS 945048 HAS SOUS 282817 HAS SOUPS 281388 WITH SCORE 282350.409
AT ITER 1787 NEW BEST:: SOT 1770849 SOS 962806 HAS SOPS 945445 HAS SOUS 282662 HAS SOUPS 281233 WITH SCORE 282195.806
AT ITER 1789 NEW BEST:: SOT 1770848 SOS 962777 HAS SOPS 945416 HAS SOUS 282603 HAS SOUPS 281174 WITH SCORE 282136.777
AT ITER 1800 NEW BEST:: SOT 1770848 SOS 962754 HAS SOPS 945435 HAS SOUS 282473 HAS SOUPS 281044 WITH SCORE 282006.754
AT ITER 1804 NEW BEST:: SOT 1770573 SOS 962487 HAS SOPS 945168 HAS SOUS 282186 HAS SOUPS 280757 WITH SCORE 281719.487
AT ITER 1814 NEW BEST:: SOT 1770547 SOS 962461 HAS SOPS 945129 HAS SOUS 282147 HAS SOUPS 280718 WITH SCORE 281680.461
AT ITER 1836 NEW BEST:: SOT 1770539 SOS 962453 HAS SOPS 945121 HAS SOUS 282131 HAS SOUPS 280702 WITH SCORE 281664.453
AT ITER 1838 NEW BEST:: SOT 1770461 SOS 962335 HAS SOPS 945003 HAS SOUS 282021 HAS SOUPS 280592 WITH SCORE 281554.335
AT ITER 1849 NEW BEST:: SOT 1770443 SOS 962155 HAS SOPS 944626 HAS SOUS 281988 HAS SOUPS 280559 WITH SCORE 281521.155
AT ITER 1869 NEW BEST:: SOT 1770271 SOS 961879 HAS SOPS 944350 HAS SOUS 281748 HAS SOUPS 280319 WITH SCORE 281280.879
AT ITER 1872 NEW BEST:: SOT 1770230 SOS 961819 HAS SOPS 944290 HAS SOUS 281732 HAS SOUPS 280303 WITH SCORE 281264.819
AT ITER 1878 NEW BEST:: SOT 1769226 SOS 960557 HAS SOPS 943028 HAS SOUS 280819 HAS SOUPS 279390 WITH SCORE 280350.557
AT ITER 1901 NEW BEST:: SOT 1768978 SOS 960233 HAS SOPS 942704 HAS SOUS 280342 HAS SOUPS 278913 WITH SCORE 279873.233
AT ITER 1905 NEW BEST:: SOT 1768291 SOS 960870 HAS SOPS 943341 HAS SOUS 280267 HAS SOUPS 278838 WITH SCORE 279798.87
AT ITER 1919 NEW BEST:: SOT 1767901 SOS 960225 HAS SOPS 942696 HAS SOUS 279997 HAS SOUPS 278568 WITH SCORE 279528.225
AT ITER 1922 NEW BEST:: SOT 1767827 SOS 960288 HAS SOPS 942759 HAS SOUS 279986 HAS SOUPS 278557 WITH SCORE 279517.288
AT ITER 1928 NEW BEST:: SOT 1766168 SOS 958201 HAS SOPS 940672 HAS SOUS 278871 HAS SOUPS 277442 WITH SCORE 278400.201
AT ITER 1933 NEW BEST:: SOT 1766247 SOS 958772 HAS SOPS 941129 HAS SOUS 278857 HAS SOUPS 277428 WITH SCORE 278386.772
AT ITER 1969 NEW BEST:: SOT 1766247 SOS 958772 HAS SOPS 941129 HAS SOUS 278837 HAS SOUPS 277408 WITH SCORE 278366.772
AT ITER 1985 NEW BEST:: SOT 1766195 SOS 958694 HAS SOPS 941051 HAS SOUS 278772 HAS SOUPS 277343 WITH SCORE 278301.694
AT ITER 1986 NEW BEST:: SOT 1766214 SOS 958683 HAS SOPS 941040 HAS SOUS 278753 HAS SOUPS 277324 WITH SCORE 278282.683
AT ITER 1998 NEW BEST:: SOT 1766151 SOS 958554 HAS SOPS 940911 HAS SOUS 278660 HAS SOUPS 277231 WITH SCORE 278189.554
AT ITER 2032 NEW BEST:: SOT 1766147 SOS 958546 HAS SOPS 940903 HAS SOUS 278644 HAS SOUPS 277215 WITH SCORE 278173.546
AT ITER 2033 NEW BEST:: SOT 1766235 SOS 958664 HAS SOPS 940976 HAS SOUS 278434 HAS SOUPS 277005 WITH SCORE 277963.664
AT ITER 2041 NEW BEST:: SOT 1765969 SOS 958274 HAS SOPS 940586 HAS SOUS 278332 HAS SOUPS 276903 WITH SCORE 277861.274
AT ITER 2045 NEW BEST:: SOT 1765969 SOS 958273 HAS SOPS 940585 HAS SOUS 278330 HAS SOUPS 276901 WITH SCORE 277859.273
AT ITER 2052 NEW BEST:: SOT 1765643 SOS 956338 HAS SOPS 938650 HAS SOUS 277964 HAS SOUPS 276535 WITH SCORE 277491.338
AT ITER 2058 NEW BEST:: SOT 1765634 SOS 954269 HAS SOPS 936581 HAS SOUS 277715 HAS SOUPS 276286 WITH SCORE 277240.269
AT ITER 2059 NEW BEST:: SOT 1765629 SOS 954264 HAS SOPS 936576 HAS SOUS 277710 HAS SOUPS 276281 WITH SCORE 277235.264
AT ITER 2061 NEW BEST:: SOT 1765595 SOS 954230 HAS SOPS 936542 HAS SOUS 277642 HAS SOUPS 276213 WITH SCORE 277167.23
AT ITER 2071 NEW BEST:: SOT 1765530 SOS 954220 HAS SOPS 936532 HAS SOUS 277510 HAS SOUPS 276081 WITH SCORE 277035.22
AT ITER 2085 NEW BEST:: SOT 1766082 SOS 954673 HAS SOPS 936970 HAS SOUS 276677 HAS SOUPS 275233 WITH SCORE 276187.673
AT ITER 2101 NEW BEST:: SOT 1766037 SOS 954637 HAS SOPS 936934 HAS SOUS 276641 HAS SOUPS 275197 WITH SCORE 276151.637
AT ITER 2125 NEW BEST:: SOT 1766002 SOS 954602 HAS SOPS 936899 HAS SOUS 276571 HAS SOUPS 275127 WITH SCORE 276081.602
AT ITER 2140 NEW BEST:: SOT 1765859 SOS 954468 HAS SOPS 936765 HAS SOUS 276485 HAS SOUPS 275041 WITH SCORE 275995.468
AT ITER 2146 NEW BEST:: SOT 1765321 SOS 954001 HAS SOPS 936298 HAS SOUS 276099 HAS SOUPS 274655 WITH SCORE 275609.001
AT ITER 2160 NEW BEST:: SOT 1765262 SOS 954060 HAS SOPS 936357 HAS SOUS 275981 HAS SOUPS 274537 WITH SCORE 275491.06
AT ITER 2165 NEW BEST:: SOT 1765259 SOS 954057 HAS SOPS 936354 HAS SOUS 275956 HAS SOUPS 274512 WITH SCORE 275466.057
AT ITER 2201 NEW BEST:: SOT 1765282 SOS 954060 HAS SOPS 936437 HAS SOUS 275886 HAS SOUPS 274442 WITH SCORE 275396.06
AT ITER 2205 NEW BEST:: SOT 1765163 SOS 953941 HAS SOPS 936357 HAS SOUS 275806 HAS SOUPS 274362 WITH SCORE 275315.941
AT ITER 2212 NEW BEST:: SOT 1765146 SOS 953924 HAS SOPS 936323 HAS SOUS 275709 HAS SOUPS 274265 WITH SCORE 275218.924
AT ITER 2228 NEW BEST:: SOT 1764951 SOS 953669 HAS SOPS 936068 HAS SOUS 275361 HAS SOUPS 273917 WITH SCORE 274870.669
AT ITER 2229 NEW BEST:: SOT 1764951 SOS 953887 HAS SOPS 936286 HAS SOUS 275143 HAS SOUPS 273699 WITH SCORE 274652.887
AT ITER 2241 NEW BEST:: SOT 1764951 SOS 953876 HAS SOPS 936275 HAS SOUS 275143 HAS SOUPS 273699 WITH SCORE 274652.876
AT ITER 2245 NEW BEST:: SOT 1764884 SOS 953809 HAS SOPS 936182 HAS SOUS 275011 HAS SOUPS 273567 WITH SCORE 274520.809
AT ITER 2250 NEW BEST:: SOT 1765458 SOS 956946 HAS SOPS 929039 HAS SOUS 275833 HAS SOUPS 273361 WITH SCORE 274317.946
AT ITER 2255 NEW BEST:: SOT 1765527 SOS 956771 HAS SOPS 928864 HAS SOUS 275802 HAS SOUPS 273330 WITH SCORE 274286.771
AT ITER 2277 NEW BEST:: SOT 1765244 SOS 956491 HAS SOPS 928584 HAS SOUS 275522 HAS SOUPS 273050 WITH SCORE 274006.491
AT ITER 2281 NEW BEST:: SOT 1759222 SOS 963681 HAS SOPS 935774 HAS SOUS 275315 HAS SOUPS 272843 WITH SCORE 273806.681
AT ITER 2299 NEW BEST:: SOT 1759222 SOS 963681 HAS SOPS 935774 HAS SOUS 275314 HAS SOUPS 272842 WITH SCORE 273805.681
AT ITER 2320 NEW BEST:: SOT 1759222 SOS 962005 HAS SOPS 934098 HAS SOUS 275310 HAS SOUPS 272838 WITH SCORE 273800.005
AT ITER 2341 NEW BEST:: SOT 1759196 SOS 961884 HAS SOPS 933977 HAS SOUS 275310 HAS SOUPS 272838 WITH SCORE 273799.884
AT ITER 2347 NEW BEST:: SOT 1759214 SOS 961902 HAS SOPS 933987 HAS SOUS 275248 HAS SOUPS 272776 WITH SCORE 273737.902
AT ITER 2348 NEW BEST:: SOT 1759143 SOS 961831 HAS SOPS 933916 HAS SOUS 275096 HAS SOUPS 272624 WITH SCORE 273585.831
AT ITER 2350 NEW BEST:: SOT 1759126 SOS 961814 HAS SOPS 933899 HAS SOUS 275079 HAS SOUPS 272607 WITH SCORE 273568.814
AT ITER 2381 NEW BEST:: SOT 1758617 SOS 967092 HAS SOPS 936684 HAS SOUS 275242 HAS SOUPS 272510 WITH SCORE 273477.092
AT ITER 2382 NEW BEST:: SOT 1758423 SOS 966898 HAS SOPS 936490 HAS SOUS 275063 HAS SOUPS 272331 WITH SCORE 273297.898
AT ITER 2384 NEW BEST:: SOT 1758419 SOS 966894 HAS SOPS 936486 HAS SOUS 275061 HAS SOUPS 272329 WITH SCORE 273295.894
AT ITER 2396 NEW BEST:: SOT 1758419 SOS 966902 HAS SOPS 936494 HAS SOUS 275053 HAS SOUPS 272321 WITH SCORE 273287.902
AT ITER 2399 NEW BEST:: SOT 1758339 SOS 966842 HAS SOPS 936434 HAS SOUS 274769 HAS SOUPS 272037 WITH SCORE 273003.842
AT ITER 2419 NEW BEST:: SOT 1758321 SOS 966824 HAS SOPS 936398 HAS SOUS 274733 HAS SOUPS 272001 WITH SCORE 272967.824
AT ITER 2444 NEW BEST:: SOT 1758321 SOS 966317 HAS SOPS 935891 HAS SOUS 274656 HAS SOUPS 271924 WITH SCORE 272890.317
AT ITER 2445 NEW BEST:: SOT 1758315 SOS 966305 HAS SOPS 935879 HAS SOUS 274644 HAS SOUPS 271912 WITH SCORE 272878.305
AT ITER 2449 NEW BEST:: SOT 1758080 SOS 966788 HAS SOPS 938760 HAS SOUS 274458 HAS SOUPS 271788 WITH SCORE 272754.788
AT ITER 2452 NEW BEST:: SOT 1756038 SOS 964746 HAS SOPS 936718 HAS SOUS 274004 HAS SOUPS 271334 WITH SCORE 272298.746
AT ITER 2453 NEW BEST:: SOT 1755974 SOS 964682 HAS SOPS 936638 HAS SOUS 273920 HAS SOUPS 271244 WITH SCORE 272208.682
AT ITER 2456 NEW BEST:: SOT 1755645 SOS 964600 HAS SOPS 936556 HAS SOUS 273736 HAS SOUPS 271060 WITH SCORE 272024.6
AT ITER 2460 NEW BEST:: SOT 1755671 SOS 964626 HAS SOPS 936563 HAS SOUS 273742 HAS SOUPS 271053 WITH SCORE 272017.626
AT ITER 2461 NEW BEST:: SOT 1755546 SOS 964731 HAS SOPS 936668 HAS SOUS 273494 HAS SOUPS 270805 WITH SCORE 271769.731
AT ITER 2470 NEW BEST:: SOT 1755546 SOS 956763 HAS SOPS 928700 HAS SOUS 273482 HAS SOUPS 270793 WITH SCORE 271749.763
AT ITER 2474 NEW BEST:: SOT 1755500 SOS 956671 HAS SOPS 928608 HAS SOUS 273344 HAS SOUPS 270655 WITH SCORE 271611.671
AT ITER 2475 NEW BEST:: SOT 1755484 SOS 956655 HAS SOPS 928592 HAS SOUS 273320 HAS SOUPS 270631 WITH SCORE 271587.655
AT ITER 2482 NEW BEST:: SOT 1755484 SOS 955675 HAS SOPS 927612 HAS SOUS 273320 HAS SOUPS 270631 WITH SCORE 271586.675
AT ITER 2489 NEW BEST:: SOT 1755454 SOS 955645 HAS SOPS 927582 HAS SOUS 273288 HAS SOUPS 270599 WITH SCORE 271554.645
AT ITER 2511 NEW BEST:: SOT 1755448 SOS 955639 HAS SOPS 927576 HAS SOUS 273276 HAS SOUPS 270587 WITH SCORE 271542.639
AT ITER 2513 NEW BEST:: SOT 1755410 SOS 955722 HAS SOPS 927676 HAS SOUS 273274 HAS SOUPS 270585 WITH SCORE 271540.722
AT ITER 2522 NEW BEST:: SOT 1751541 SOS 951901 HAS SOPS 923855 HAS SOUS 272946 HAS SOUPS 270257 WITH SCORE 271208.901
AT ITER 2534 NEW BEST:: SOT 1751326 SOS 951587 HAS SOPS 923359 HAS SOUS 272450 HAS SOUPS 269761 WITH SCORE 270712.587
AT ITER 2550 NEW BEST:: SOT 1750837 SOS 951098 HAS SOPS 922870 HAS SOUS 272108 HAS SOUPS 269419 WITH SCORE 270370.098
AT ITER 2555 NEW BEST:: SOT 1750650 SOS 950911 HAS SOPS 922683 HAS SOUS 271734 HAS SOUPS 269045 WITH SCORE 269995.911
AT ITER 2557 NEW BEST:: SOT 1750650 SOS 951583 HAS SOPS 923355 HAS SOUS 271661 HAS SOUPS 268972 WITH SCORE 269923.583
AT ITER 2578 NEW BEST:: SOT 1750638 SOS 951571 HAS SOPS 923337 HAS SOUS 271631 HAS SOUPS 268942 WITH SCORE 269893.571
AT ITER 2587 NEW BEST:: SOT 1750638 SOS 951601 HAS SOPS 923367 HAS SOUS 271601 HAS SOUPS 268912 WITH SCORE 269863.601
AT ITER 2596 NEW BEST:: SOT 1750631 SOS 951594 HAS SOPS 923360 HAS SOUS 271574 HAS SOUPS 268885 WITH SCORE 269836.594
AT ITER 2618 NEW BEST:: SOT 1750626 SOS 951441 HAS SOPS 923207 HAS SOUS 271292 HAS SOUPS 268603 WITH SCORE 269554.441
AT ITER 2623 NEW BEST:: SOT 1750610 SOS 951409 HAS SOPS 923175 HAS SOUS 271260 HAS SOUPS 268571 WITH SCORE 269522.409
AT ITER 2634 NEW BEST:: SOT 1751251 SOS 952082 HAS SOPS 923869 HAS SOUS 271160 HAS SOUPS 268471 WITH SCORE 269423.082
AT ITER 2661 NEW BEST:: SOT 1751159 SOS 951909 HAS SOPS 923696 HAS SOUS 270802 HAS SOUPS 268113 WITH SCORE 269064.909
AT ITER 2711 NEW BEST:: SOT 1751222 SOS 951972 HAS SOPS 923719 HAS SOUS 270836 HAS SOUPS 268107 WITH SCORE 269058.972
AT ITER 2719 NEW BEST:: SOT 1751265 SOS 951797 HAS SOPS 923544 HAS SOUS 270800 HAS SOUPS 268071 WITH SCORE 269022.797
AT ITER 2728 NEW BEST:: SOT 1751059 SOS 951669 HAS SOPS 923416 HAS SOUS 270738 HAS SOUPS 268009 WITH SCORE 268960.669
AT ITER 2730 NEW BEST:: SOT 1751159 SOS 952155 HAS SOPS 923902 HAS SOUS 270023 HAS SOUPS 267294 WITH SCORE 268246.155
AT ITER 2735 NEW BEST:: SOT 1751103 SOS 952085 HAS SOPS 923832 HAS SOUS 269967 HAS SOUPS 267238 WITH SCORE 268190.085
AT ITER 2762 NEW BEST:: SOT 1751147 SOS 951759 HAS SOPS 923785 HAS SOUS 269920 HAS SOUPS 267191 WITH SCORE 268142.759
AT ITER 2780 NEW BEST:: SOT 1751116 SOS 951697 HAS SOPS 923723 HAS SOUS 269827 HAS SOUPS 267098 WITH SCORE 268049.697
AT ITER 2787 NEW BEST:: SOT 1751093 SOS 951699 HAS SOPS 923725 HAS SOUS 269814 HAS SOUPS 267085 WITH SCORE 268036.699
AT ITER 2788 NEW BEST:: SOT 1751023 SOS 951629 HAS SOPS 923655 HAS SOUS 269674 HAS SOUPS 266945 WITH SCORE 267896.629
AT ITER 2813 NEW BEST:: SOT 1750947 SOS 951260 HAS SOPS 923348 HAS SOUS 269522 HAS SOUPS 266793 WITH SCORE 267744.26
AT ITER 2821 NEW BEST:: SOT 1750899 SOS 951212 HAS SOPS 923300 HAS SOUS 269494 HAS SOUPS 266765 WITH SCORE 267716.212
AT ITER 2838 NEW BEST:: SOT 1750929 SOS 951259 HAS SOPS 923347 HAS SOUS 269470 HAS SOUPS 266741 WITH SCORE 267692.259
AT ITER 2851 NEW BEST:: SOT 1750935 SOS 951265 HAS SOPS 923353 HAS SOUS 269434 HAS SOUPS 266705 WITH SCORE 267656.265
AT ITER 2862 NEW BEST:: SOT 1750914 SOS 951244 HAS SOPS 923332 HAS SOUS 269413 HAS SOUPS 266684 WITH SCORE 267635.244
AT ITER 2863 NEW BEST:: SOT 1750703 SOS 950974 HAS SOPS 923062 HAS SOUS 269168 HAS SOUPS 266439 WITH SCORE 267389.974
AT ITER 2879 NEW BEST:: SOT 1750248 SOS 950564 HAS SOPS 922652 HAS SOUS 269107 HAS SOUPS 266378 WITH SCORE 267328.564
AT ITER 2882 NEW BEST:: SOT 1750240 SOS 950556 HAS SOPS 922644 HAS SOUS 269088 HAS SOUPS 266359 WITH SCORE 267309.556
AT ITER 2889 NEW BEST:: SOT 1750124 SOS 950276 HAS SOPS 922364 HAS SOUS 268983 HAS SOUPS 266254 WITH SCORE 267204.276
AT ITER 2896 NEW BEST:: SOT 1750124 SOS 950182 HAS SOPS 922270 HAS SOUS 268958 HAS SOUPS 266229 WITH SCORE 267179.182
AT ITER 2908 NEW BEST:: SOT 1749774 SOS 949690 HAS SOPS 921778 HAS SOUS 268466 HAS SOUPS 265737 WITH SCORE 266686.69
AT ITER 2909 NEW BEST:: SOT 1749772 SOS 959781 HAS SOPS 920362 HAS SOUS 268347 HAS SOUPS 265618 WITH SCORE 266577.781
AT ITER 2915 NEW BEST:: SOT 1749772 SOS 959688 HAS SOPS 920269 HAS SOUS 268347 HAS SOUPS 265618 WITH SCORE 266577.688
AT ITER 2919 NEW BEST:: SOT 1749529 SOS 959445 HAS SOPS 920026 HAS SOUS 268104 HAS SOUPS 265375 WITH SCORE 266334.445
AT ITER 2934 NEW BEST:: SOT 1749515 SOS 959431 HAS SOPS 920012 HAS SOUS 268076 HAS SOUPS 265347 WITH SCORE 266306.431
AT ITER 2946 NEW BEST:: SOT 1749623 SOS 959643 HAS SOPS 920224 HAS SOUS 267956 HAS SOUPS 265227 WITH SCORE 266186.643
AT ITER 2953 NEW BEST:: SOT 1738585 SOS 948605 HAS SOPS 909186 HAS SOUS 266511 HAS SOUPS 263782 WITH SCORE 264730.605
AT ITER 2965 NEW BEST:: SOT 1738345 SOS 948379 HAS SOPS 908960 HAS SOUS 266328 HAS SOUPS 263599 WITH SCORE 264547.379
AT ITER 2974 NEW BEST:: SOT 1730177 SOS 940211 HAS SOPS 900792 HAS SOUS 265010 HAS SOUPS 262281 WITH SCORE 263221.211
AT ITER 2987 NEW BEST:: SOT 1730133 SOS 940267 HAS SOPS 900848 HAS SOUS 264966 HAS SOUPS 262237 WITH SCORE 263177.267
AT ITER 2991 NEW BEST:: SOT 1730133 SOS 940264 HAS SOPS 900845 HAS SOUS 264963 HAS SOUPS 262234 WITH SCORE 263174.264
AT ITER 3001 NEW BEST:: SOT 1729938 SOS 940060 HAS SOPS 900641 HAS SOUS 264825 HAS SOUPS 262096 WITH SCORE 263036.06
AT ITER 3021 NEW BEST:: SOT 1729930 SOS 940044 HAS SOPS 900625 HAS SOUS 264809 HAS SOUPS 262080 WITH SCORE 263020.044
AT ITER 3032 NEW BEST:: SOT 1729904 SOS 940018 HAS SOPS 900573 HAS SOUS 264762 HAS SOUPS 262033 WITH SCORE 262973.018
AT ITER 3033 NEW BEST:: SOT 1729738 SOS 938814 HAS SOPS 899369 HAS SOUS 264579 HAS SOUPS 261850 WITH SCORE 262788.814
AT ITER 3035 NEW BEST:: SOT 1729721 SOS 940909 HAS SOPS 901258 HAS SOUS 264562 HAS SOUPS 261833 WITH SCORE 262773.909
AT ITER 3041 NEW BEST:: SOT 1729666 SOS 940854 HAS SOPS 901163 HAS SOUS 264467 HAS SOUPS 261738 WITH SCORE 262678.854
AT ITER 3046 NEW BEST:: SOT 1729550 SOS 940738 HAS SOPS 901007 HAS SOUS 264351 HAS SOUPS 261622 WITH SCORE 262562.738
AT ITER 3047 NEW BEST:: SOT 1729546 SOS 940052 HAS SOPS 900321 HAS SOUS 264349 HAS SOUPS 261620 WITH SCORE 262560.052
AT ITER 3055 NEW BEST:: SOT 1728348 SOS 945791 HAS SOPS 906060 HAS SOUS 263394 HAS SOUPS 260665 WITH SCORE 261610.791
AT ITER 3057 NEW BEST:: SOT 1728267 SOS 945710 HAS SOPS 905979 HAS SOUS 263340 HAS SOUPS 260611 WITH SCORE 261556.71
AT ITER 3061 NEW BEST:: SOT 1728222 SOS 935765 HAS SOPS 896034 HAS SOUS 263025 HAS SOUPS 260296 WITH SCORE 261231.765
AT ITER 3068 NEW BEST:: SOT 1728182 SOS 935725 HAS SOPS 895954 HAS SOUS 262863 HAS SOUPS 260134 WITH SCORE 261069.725
AT ITER 3072 NEW BEST:: SOT 1728239 SOS 935826 HAS SOPS 896055 HAS SOUS 262631 HAS SOUPS 259902 WITH SCORE 260837.826
AT ITER 3093 NEW BEST:: SOT 1728239 SOS 933492 HAS SOPS 893721 HAS SOUS 262442 HAS SOUPS 259713 WITH SCORE 260646.492
AT ITER 3101 NEW BEST:: SOT 1722455 SOS 927572 HAS SOPS 887801 HAS SOUS 261090 HAS SOUPS 258361 WITH SCORE 259288.572
AT ITER 3115 NEW BEST:: SOT 1722449 SOS 927566 HAS SOPS 887795 HAS SOUS 261078 HAS SOUPS 258349 WITH SCORE 259276.566
AT ITER 3133 NEW BEST:: SOT 1721592 SOS 926175 HAS SOPS 886404 HAS SOUS 259346 HAS SOUPS 256617 WITH SCORE 257543.175
AT ITER 3139 NEW BEST:: SOT 1721592 SOS 926175 HAS SOPS 886404 HAS SOUS 259330 HAS SOUPS 256601 WITH SCORE 257527.175
AT ITER 3145 NEW BEST:: SOT 1721564 SOS 926364 HAS SOPS 886604 HAS SOUS 259316 HAS SOUPS 256587 WITH SCORE 257513.364
AT ITER 3148 NEW BEST:: SOT 1721564 SOS 925896 HAS SOPS 886136 HAS SOUS 259302 HAS SOUPS 256573 WITH SCORE 257498.896
AT ITER 3151 NEW BEST:: SOT 1721591 SOS 925923 HAS SOPS 886222 HAS SOUS 259240 HAS SOUPS 256511 WITH SCORE 257436.923
AT ITER 3152 NEW BEST:: SOT 1721575 SOS 925903 HAS SOPS 886202 HAS SOUS 259224 HAS SOUPS 256495 WITH SCORE 257420.903
AT ITER 3153 NEW BEST:: SOT 1721539 SOS 925831 HAS SOPS 886130 HAS SOUS 259152 HAS SOUPS 256423 WITH SCORE 257348.831
AT ITER 3156 NEW BEST:: SOT 1721531 SOS 925823 HAS SOPS 886121 HAS SOUS 259132 HAS SOUPS 256403 WITH SCORE 257328.823
AT ITER 3162 NEW BEST:: SOT 1721506 SOS 925798 HAS SOPS 886096 HAS SOUS 259082 HAS SOUPS 256353 WITH SCORE 257278.798
AT ITER 3166 NEW BEST:: SOT 1721435 SOS 925490 HAS SOPS 885788 HAS SOUS 258902 HAS SOUPS 256173 WITH SCORE 257098.49
AT ITER 3180 NEW BEST:: SOT 1721188 SOS 925335 HAS SOPS 885633 HAS SOUS 258878 HAS SOUPS 256149 WITH SCORE 257074.335
AT ITER 3199 NEW BEST:: SOT 1720956 SOS 919411 HAS SOPS 884349 HAS SOUS 258477 HAS SOUPS 255806 WITH SCORE 256725.411
AT ITER 3203 NEW BEST:: SOT 1721073 SOS 919528 HAS SOPS 884397 HAS SOUS 258406 HAS SOUPS 255735 WITH SCORE 256654.528
AT ITER 3229 NEW BEST:: SOT 1721003 SOS 919560 HAS SOPS 884429 HAS SOUS 258266 HAS SOUPS 255595 WITH SCORE 256514.56
AT ITER 3234 NEW BEST:: SOT 1720935 SOS 919492 HAS SOPS 884327 HAS SOUS 258130 HAS SOUPS 255459 WITH SCORE 256378.492
AT ITER 3238 NEW BEST:: SOT 1720931 SOS 919493 HAS SOPS 884328 HAS SOUS 258127 HAS SOUPS 255456 WITH SCORE 256375.493
AT ITER 3259 NEW BEST:: SOT 1720929 SOS 919491 HAS SOPS 884326 HAS SOUS 258125 HAS SOUPS 255454 WITH SCORE 256373.491
AT ITER 3262 NEW BEST:: SOT 1720702 SOS 919175 HAS SOPS 884010 HAS SOUS 257780 HAS SOUPS 255109 WITH SCORE 256028.175
AT ITER 3263 NEW BEST:: SOT 1720673 SOS 919146 HAS SOPS 883981 HAS SOUS 257722 HAS SOUPS 255051 WITH SCORE 255970.146
AT ITER 3284 NEW BEST:: SOT 1720698 SOS 919196 HAS SOPS 884031 HAS SOUS 257697 HAS SOUPS 255026 WITH SCORE 255945.196
AT ITER 3290 NEW BEST:: SOT 1720646 SOS 919204 HAS SOPS 884018 HAS SOUS 257684 HAS SOUPS 255013 WITH SCORE 255932.204
AT ITER 3328 NEW BEST:: SOT 1720291 SOS 918849 HAS SOPS 883663 HAS SOUS 257623 HAS SOUPS 254952 WITH SCORE 255870.849
AT ITER 3330 NEW BEST:: SOT 1720290 SOS 918859 HAS SOPS 883673 HAS SOUS 257338 HAS SOUPS 254667 WITH SCORE 255585.859
AT ITER 3341 NEW BEST:: SOT 1720272 SOS 918881 HAS SOPS 883695 HAS SOUS 257226 HAS SOUPS 254555 WITH SCORE 255473.881
AT ITER 3345 NEW BEST:: SOT 1720293 SOS 918868 HAS SOPS 883682 HAS SOUS 257170 HAS SOUPS 254499 WITH SCORE 255417.868
AT ITER 3364 NEW BEST:: SOT 1720293 SOS 918868 HAS SOPS 883663 HAS SOUS 257170 HAS SOUPS 254480 WITH SCORE 255398.868
AT ITER 3367 NEW BEST:: SOT 1720273 SOS 918848 HAS SOPS 883643 HAS SOUS 257150 HAS SOUPS 254460 WITH SCORE 255378.848
AT ITER 3373 NEW BEST:: SOT 1720184 SOS 918723 HAS SOPS 883518 HAS SOUS 256936 HAS SOUPS 254246 WITH SCORE 255164.723
AT ITER 3378 NEW BEST:: SOT 1720232 SOS 918771 HAS SOPS 883519 HAS SOUS 256900 HAS SOUPS 254210 WITH SCORE 255128.771
AT ITER 3379 NEW BEST:: SOT 1720202 SOS 918731 HAS SOPS 883479 HAS SOUS 256860 HAS SOUPS 254170 WITH SCORE 255088.731
AT ITER 3381 NEW BEST:: SOT 1719559 SOS 887566 HAS SOPS 852314 HAS SOUS 255983 HAS SOUPS 253293 WITH SCORE 254180.566
AT ITER 3387 NEW BEST:: SOT 1719547 SOS 887374 HAS SOPS 852122 HAS SOUS 255899 HAS SOUPS 253209 WITH SCORE 254096.374
AT ITER 3388 NEW BEST:: SOT 1719538 SOS 887365 HAS SOPS 852113 HAS SOUS 255899 HAS SOUPS 253209 WITH SCORE 254096.365
AT ITER 3453 NEW BEST:: SOT 1719563 SOS 887499 HAS SOPS 852247 HAS SOUS 255818 HAS SOUPS 253128 WITH SCORE 254015.499
AT ITER 3457 NEW BEST:: SOT 1719183 SOS 887079 HAS SOPS 852296 HAS SOUS 255799 HAS SOUPS 253109 WITH SCORE 253996.079
AT ITER 3463 NEW BEST:: SOT 1719243 SOS 887139 HAS SOPS 852331 HAS SOUS 255735 HAS SOUPS 253045 WITH SCORE 253932.139
AT ITER 3466 NEW BEST:: SOT 1719230 SOS 887129 HAS SOPS 852321 HAS SOUS 255730 HAS SOUPS 253040 WITH SCORE 253927.129
AT ITER 3470 NEW BEST:: SOT 1719057 SOS 886636 HAS SOPS 851828 HAS SOUS 255384 HAS SOUPS 252694 WITH SCORE 253580.636
AT ITER 3517 NEW BEST:: SOT 1718647 SOS 885813 HAS SOPS 851005 HAS SOUS 255192 HAS SOUPS 252502 WITH SCORE 253387.813
AT ITER 3561 NEW BEST:: SOT 1718679 SOS 885740 HAS SOPS 850932 HAS SOUS 255156 HAS SOUPS 252466 WITH SCORE 253351.74
AT ITER 3566 NEW BEST:: SOT 1718736 SOS 885764 HAS SOPS 850956 HAS SOUS 254791 HAS SOUPS 252101 WITH SCORE 252986.764
AT ITER 3569 NEW BEST:: SOT 1718290 SOS 885073 HAS SOPS 850265 HAS SOUS 254292 HAS SOUPS 251602 WITH SCORE 252487.073
AT ITER 3573 NEW BEST:: SOT 1718236 SOS 884986 HAS SOPS 850178 HAS SOUS 254283 HAS SOUPS 251593 WITH SCORE 252477.986
AT ITER 3578 NEW BEST:: SOT 1718103 SOS 884853 HAS SOPS 850045 HAS SOUS 254017 HAS SOUPS 251327 WITH SCORE 252211.853
AT ITER 3579 NEW BEST:: SOT 1718108 SOS 884858 HAS SOPS 850050 HAS SOUS 253955 HAS SOUPS 251265 WITH SCORE 252149.858
AT ITER 3598 NEW BEST:: SOT 1718078 SOS 884939 HAS SOPS 850131 HAS SOUS 253892 HAS SOUPS 251202 WITH SCORE 252086.939
AT ITER 3611 NEW BEST:: SOT 1718211 SOS 884968 HAS SOPS 850160 HAS SOUS 253860 HAS SOUPS 251170 WITH SCORE 252054.968
AT ITER 3637 NEW BEST:: SOT 1718202 SOS 884977 HAS SOPS 850169 HAS SOUS 253851 HAS SOUPS 251161 WITH SCORE 252045.977
AT ITER 3651 NEW BEST:: SOT 1718288 SOS 885159 HAS SOPS 850334 HAS SOUS 253831 HAS SOUPS 251141 WITH SCORE 252026.159
AT ITER 3656 NEW BEST:: SOT 1718230 SOS 885101 HAS SOPS 850276 HAS SOUS 253715 HAS SOUPS 251025 WITH SCORE 251910.101
AT ITER 3679 NEW BEST:: SOT 1718203 SOS 885074 HAS SOPS 850249 HAS SOUS 253688 HAS SOUPS 250998 WITH SCORE 251883.074
AT ITER 3689 NEW BEST:: SOT 1716223 SOS 883067 HAS SOPS 848242 HAS SOUS 253400 HAS SOUPS 250710 WITH SCORE 251593.067
AT ITER 3704 NEW BEST:: SOT 1716205 SOS 877001 HAS SOPS 842176 HAS SOUS 253400 HAS SOUPS 250710 WITH SCORE 251587.001
AT ITER 3725 NEW BEST:: SOT 1715932 SOS 876728 HAS SOPS 841903 HAS SOUS 253226 HAS SOUPS 250536 WITH SCORE 251412.728
AT ITER 3731 NEW BEST:: SOT 1715682 SOS 876478 HAS SOPS 841653 HAS SOUS 251706 HAS SOUPS 249016 WITH SCORE 249892.478
AT ITER 3747 NEW BEST:: SOT 1715086 SOS 875882 HAS SOPS 841057 HAS SOUS 251526 HAS SOUPS 248836 WITH SCORE 249711.882
AT ITER 3750 NEW BEST:: SOT 1715054 SOS 875818 HAS SOPS 840993 HAS SOUS 251462 HAS SOUPS 248772 WITH SCORE 249647.818
AT ITER 3759 NEW BEST:: SOT 1715024 SOS 875808 HAS SOPS 840983 HAS SOUS 251462 HAS SOUPS 248772 WITH SCORE 249647.808
AT ITER 3808 NEW BEST:: SOT 1714964 SOS 875688 HAS SOPS 840863 HAS SOUS 251342 HAS SOUPS 248652 WITH SCORE 249527.688
AT ITER 3813 NEW BEST:: SOT 1714980 SOS 875720 HAS SOPS 840895 HAS SOUS 251279 HAS SOUPS 248589 WITH SCORE 249464.72
AT ITER 3822 NEW BEST:: SOT 1708413 SOS 869153 HAS SOPS 834328 HAS SOUS 250323 HAS SOUPS 247633 WITH SCORE 248502.153
AT ITER 3833 NEW BEST:: SOT 1708575 SOS 869315 HAS SOPS 834490 HAS SOUS 250183 HAS SOUPS 247493 WITH SCORE 248362.315
AT ITER 3839 NEW BEST:: SOT 1708495 SOS 869225 HAS SOPS 834400 HAS SOUS 250013 HAS SOUPS 247323 WITH SCORE 248192.225
AT ITER 3853 NEW BEST:: SOT 1708391 SOS 869202 HAS SOPS 834296 HAS SOUS 250036 HAS SOUPS 247319 WITH SCORE 248188.202
AT ITER 3859 NEW BEST:: SOT 1708140 SOS 868974 HAS SOPS 834068 HAS SOUS 249818 HAS SOUPS 247101 WITH SCORE 247969.974
AT ITER 3863 NEW BEST:: SOT 1708195 SOS 869040 HAS SOPS 834134 HAS SOUS 249785 HAS SOUPS 247068 WITH SCORE 247937.04
AT ITER 3864 NEW BEST:: SOT 1708078 SOS 868835 HAS SOPS 833973 HAS SOUS 249693 HAS SOUPS 246976 WITH SCORE 247844.835
AT ITER 3892 NEW BEST:: SOT 1708132 SOS 868889 HAS SOPS 834027 HAS SOUS 249657 HAS SOUPS 246940 WITH SCORE 247808.889
AT ITER 3910 NEW BEST:: SOT 1708135 SOS 868892 HAS SOPS 834030 HAS SOUS 249651 HAS SOUPS 246934 WITH SCORE 247802.892
AT ITER 3917 NEW BEST:: SOT 1708123 SOS 868892 HAS SOPS 834006 HAS SOUS 249627 HAS SOUPS 246910 WITH SCORE 247778.892
AT ITER 3923 NEW BEST:: SOT 1707905 SOS 868674 HAS SOPS 833788 HAS SOUS 249414 HAS SOUPS 246697 WITH SCORE 247565.674
AT ITER 3924 NEW BEST:: SOT 1707999 SOS 868768 HAS SOPS 833840 HAS SOUS 249398 HAS SOUPS 246681 WITH SCORE 247549.768
AT ITER 3925 NEW BEST:: SOT 1707888 SOS 868616 HAS SOPS 833688 HAS SOUS 249294 HAS SOUPS 246577 WITH SCORE 247445.616
AT ITER 3947 NEW BEST:: SOT 1707864 SOS 868592 HAS SOPS 833664 HAS SOUS 249246 HAS SOUPS 246529 WITH SCORE 247397.592
AT ITER 3955 NEW BEST:: SOT 1707800 SOS 868522 HAS SOPS 833594 HAS SOUS 249112 HAS SOUPS 246395 WITH SCORE 247263.522
AT ITER 3969 NEW BEST:: SOT 1696950 SOS 857672 HAS SOPS 822744 HAS SOUS 247698 HAS SOUPS 244981 WITH SCORE 245838.672
AT ITER 3984 NEW BEST:: SOT 1696794 SOS 857451 HAS SOPS 822523 HAS SOUS 247677 HAS SOUPS 244960 WITH SCORE 245817.451
AT ITER 4000 NEW BEST:: SOT 1696791 SOS 857445 HAS SOPS 822517 HAS SOUS 247671 HAS SOUPS 244954 WITH SCORE 245811.445
AT ITER 4047 NEW BEST:: SOT 1696459 SOS 856947 HAS SOPS 822019 HAS SOUS 247261 HAS SOUPS 244544 WITH SCORE 245400.947
AT ITER 4050 NEW BEST:: SOT 1696449 SOS 856919 HAS SOPS 821991 HAS SOUS 247223 HAS SOUPS 244506 WITH SCORE 245362.919
AT ITER 4056 NEW BEST:: SOT 1696448 SOS 856917 HAS SOPS 821989 HAS SOUS 247220 HAS SOUPS 244503 WITH SCORE 245359.917
AT ITER 4067 NEW BEST:: SOT 1696412 SOS 856881 HAS SOPS 821874 HAS SOUS 246953 HAS SOUPS 244236 WITH SCORE 245092.881
AT ITER 4076 NEW BEST:: SOT 1696386 SOS 856883 HAS SOPS 821876 HAS SOUS 246873 HAS SOUPS 244156 WITH SCORE 245012.883
AT ITER 4077 NEW BEST:: SOT 1696351 SOS 856848 HAS SOPS 821841 HAS SOUS 246803 HAS SOUPS 244086 WITH SCORE 244942.848
AT ITER 4105 NEW BEST:: SOT 1696313 SOS 856810 HAS SOPS 821803 HAS SOUS 246765 HAS SOUPS 244048 WITH SCORE 244904.81
AT ITER 4106 NEW BEST:: SOT 1696286 SOS 856783 HAS SOPS 821776 HAS SOUS 246711 HAS SOUPS 243994 WITH SCORE 244850.783
AT ITER 4107 NEW BEST:: SOT 1696286 SOS 856771 HAS SOPS 821764 HAS SOUS 246687 HAS SOUPS 243970 WITH SCORE 244826.771
AT ITER 4116 NEW BEST:: SOT 1696211 SOS 856696 HAS SOPS 821689 HAS SOUS 246442 HAS SOUPS 243725 WITH SCORE 244581.696
AT ITER 4125 NEW BEST:: SOT 1696193 SOS 856678 HAS SOPS 821671 HAS SOUS 246046 HAS SOUPS 243329 WITH SCORE 244185.678
AT ITER 4150 NEW BEST:: SOT 1695987 SOS 856350 HAS SOPS 821343 HAS SOUS 245637 HAS SOUPS 242920 WITH SCORE 243776.35
AT ITER 4158 NEW BEST:: SOT 1695957 SOS 856320 HAS SOPS 821313 HAS SOUS 245577 HAS SOUPS 242860 WITH SCORE 243716.32
AT ITER 4184 NEW BEST:: SOT 1695843 SOS 856143 HAS SOPS 821221 HAS SOUS 245442 HAS SOUPS 242725 WITH SCORE 243581.143
AT ITER 4199 NEW BEST:: SOT 1695843 SOS 856143 HAS SOPS 821221 HAS SOUS 245427 HAS SOUPS 242710 WITH SCORE 243566.143
AT ITER 4217 NEW BEST:: SOT 1696459 SOS 856590 HAS SOPS 821668 HAS SOUS 244631 HAS SOUPS 241914 WITH SCORE 242770.59
AT ITER 4222 NEW BEST:: SOT 1696403 SOS 856534 HAS SOPS 821612 HAS SOUS 244575 HAS SOUPS 241858 WITH SCORE 242714.534
AT ITER 4227 NEW BEST:: SOT 1696434 SOS 850683 HAS SOPS 815761 HAS SOUS 244410 HAS SOUPS 241693 WITH SCORE 242543.683
AT ITER 4239 NEW BEST:: SOT 1696304 SOS 850553 HAS SOPS 815631 HAS SOUS 244347 HAS SOUPS 241630 WITH SCORE 242480.553
AT ITER 4252 NEW BEST:: SOT 1696203 SOS 850388 HAS SOPS 815483 HAS SOUS 244209 HAS SOUPS 241492 WITH SCORE 242342.388
AT ITER 4269 NEW BEST:: SOT 1696005 SOS 850190 HAS SOPS 815191 HAS SOUS 243851 HAS SOUPS 241134 WITH SCORE 241984.19
AT ITER 4282 NEW BEST:: SOT 1695927 SOS 850112 HAS SOPS 815113 HAS SOUS 243695 HAS SOUPS 240978 WITH SCORE 241828.112
AT ITER 4287 NEW BEST:: SOT 1689905 SOS 844090 HAS SOPS 809091 HAS SOUS 243010 HAS SOUPS 240293 WITH SCORE 241137.09
AT ITER 4290 NEW BEST:: SOT 1689898 SOS 844076 HAS SOPS 809077 HAS SOUS 242996 HAS SOUPS 240279 WITH SCORE 241123.076
AT ITER 4294 NEW BEST:: SOT 1689965 SOS 844143 HAS SOPS 809116 HAS SOUS 242990 HAS SOUPS 240273 WITH SCORE 241117.143
AT ITER 4300 NEW BEST:: SOT 1689961 SOS 844135 HAS SOPS 809108 HAS SOUS 242982 HAS SOUPS 240265 WITH SCORE 241109.135
AT ITER 4303 NEW BEST:: SOT 1689941 SOS 844095 HAS SOPS 809068 HAS SOUS 242942 HAS SOUPS 240225 WITH SCORE 241069.095
AT ITER 4309 NEW BEST:: SOT 1689935 SOS 844089 HAS SOPS 809062 HAS SOUS 242941 HAS SOUPS 240224 WITH SCORE 241068.089
AT ITER 4323 NEW BEST:: SOT 1690261 SOS 846696 HAS SOPS 811669 HAS SOUS 242839 HAS SOUPS 240122 WITH SCORE 240968.696
AT ITER 4329 NEW BEST:: SOT 1690261 SOS 846692 HAS SOPS 811665 HAS SOUS 242835 HAS SOUPS 240118 WITH SCORE 240964.692
AT ITER 4344 NEW BEST:: SOT 1690245 SOS 846676 HAS SOPS 811649 HAS SOUS 242796 HAS SOUPS 240079 WITH SCORE 240925.676
AT ITER 4349 NEW BEST:: SOT 1690111 SOS 846557 HAS SOPS 811648 HAS SOUS 242635 HAS SOUPS 240036 WITH SCORE 240882.557
AT ITER 4355 NEW BEST:: SOT 1689867 SOS 846303 HAS SOPS 811394 HAS SOUS 242381 HAS SOUPS 239782 WITH SCORE 240628.303
AT ITER 4359 NEW BEST:: SOT 1689867 SOS 846303 HAS SOPS 811365 HAS SOUS 242323 HAS SOUPS 239724 WITH SCORE 240570.303
AT ITER 4393 NEW BEST:: SOT 1689861 SOS 846273 HAS SOPS 811267 HAS SOUS 242274 HAS SOUPS 239607 WITH SCORE 240453.273
AT ITER 4394 NEW BEST:: SOT 1689776 SOS 846188 HAS SOPS 811220 HAS SOUS 242242 HAS SOUPS 239575 WITH SCORE 240421.188
AT ITER 4397 NEW BEST:: SOT 1689680 SOS 846116 HAS SOPS 811148 HAS SOUS 242130 HAS SOUPS 239463 WITH SCORE 240309.116
AT ITER 4398 NEW BEST:: SOT 1689658 SOS 846094 HAS SOPS 811170 HAS SOUS 242130 HAS SOUPS 239463 WITH SCORE 240309.094
AT ITER 4409 NEW BEST:: SOT 1689564 SOS 846000 HAS SOPS 811076 HAS SOUS 242036 HAS SOUPS 239369 WITH SCORE 240215.0
AT ITER 4419 NEW BEST:: SOT 1689564 SOS 846005 HAS SOPS 811081 HAS SOUS 242026 HAS SOUPS 239359 WITH SCORE 240205.005
AT ITER 4423 NEW BEST:: SOT 1689551 SOS 845992 HAS SOPS 811068 HAS SOUS 242013 HAS SOUPS 239346 WITH SCORE 240191.992
AT ITER 4427 NEW BEST:: SOT 1689585 SOS 846087 HAS SOPS 811478 HAS SOUS 241743 HAS SOUPS 239076 WITH SCORE 239922.087
AT ITER 4447 NEW BEST:: SOT 1689426 SOS 845963 HAS SOPS 811354 HAS SOUS 241565 HAS SOUPS 238898 WITH SCORE 239743.963
AT ITER 4493 NEW BEST:: SOT 1689393 SOS 845930 HAS SOPS 811321 HAS SOUS 241512 HAS SOUPS 238845 WITH SCORE 239690.93
AT ITER 4510 NEW BEST:: SOT 1689383 SOS 845920 HAS SOPS 811311 HAS SOUS 241492 HAS SOUPS 238825 WITH SCORE 239670.92
AT ITER 4511 NEW BEST:: SOT 1689331 SOS 845868 HAS SOPS 811259 HAS SOUS 241466 HAS SOUPS 238799 WITH SCORE 239644.868
AT ITER 4512 NEW BEST:: SOT 1689204 SOS 845646 HAS SOPS 811037 HAS SOUS 241244 HAS SOUPS 238577 WITH SCORE 239422.646
AT ITER 4550 NEW BEST:: SOT 1687413 SOS 839053 HAS SOPS 804444 HAS SOUS 238897 HAS SOUPS 236230 WITH SCORE 237069.053
AT ITER 4557 NEW BEST:: SOT 1687534 SOS 848264 HAS SOPS 812255 HAS SOUS 238999 HAS SOUPS 236192 WITH SCORE 237040.264
AT ITER 4562 NEW BEST:: SOT 1687481 SOS 848198 HAS SOPS 812189 HAS SOUS 238933 HAS SOUPS 236126 WITH SCORE 236974.198
AT ITER 4582 NEW BEST:: SOT 1687270 SOS 847749 HAS SOPS 811740 HAS SOUS 238511 HAS SOUPS 235704 WITH SCORE 236551.749
AT ITER 4589 NEW BEST:: SOT 1687233 SOS 847712 HAS SOPS 811724 HAS SOUS 238479 HAS SOUPS 235672 WITH SCORE 236519.712
AT ITER 4594 NEW BEST:: SOT 1687073 SOS 847552 HAS SOPS 811564 HAS SOUS 237944 HAS SOUPS 235137 WITH SCORE 235984.552
AT ITER 4598 NEW BEST:: SOT 1686965 SOS 847254 HAS SOPS 811266 HAS SOUS 237918 HAS SOUPS 235111 WITH SCORE 235958.254
AT ITER 4610 NEW BEST:: SOT 1686829 SOS 847084 HAS SOPS 811096 HAS SOUS 237782 HAS SOUPS 234975 WITH SCORE 235822.084
AT ITER 4638 NEW BEST:: SOT 1686799 SOS 847054 HAS SOPS 811066 HAS SOUS 237722 HAS SOUPS 234915 WITH SCORE 235762.054
AT ITER 4653 NEW BEST:: SOT 1686692 SOS 846900 HAS SOPS 810912 HAS SOUS 237598 HAS SOUPS 234791 WITH SCORE 235637.9
AT ITER 4662 NEW BEST:: SOT 1686663 SOS 846871 HAS SOPS 810883 HAS SOUS 237572 HAS SOUPS 234765 WITH SCORE 235611.871
AT ITER 4671 NEW BEST:: SOT 1686579 SOS 846698 HAS SOPS 810710 HAS SOUS 237506 HAS SOUPS 234699 WITH SCORE 235545.698
AT ITER 4678 NEW BEST:: SOT 1686579 SOS 846692 HAS SOPS 810704 HAS SOUS 237506 HAS SOUPS 234699 WITH SCORE 235545.692
AT ITER 4679 NEW BEST:: SOT 1686550 SOS 846638 HAS SOPS 810650 HAS SOUS 237448 HAS SOUPS 234641 WITH SCORE 235487.638
AT ITER 4680 NEW BEST:: SOT 1686442 SOS 846530 HAS SOPS 810542 HAS SOUS 237340 HAS SOUPS 234533 WITH SCORE 235379.53
AT ITER 4686 NEW BEST:: SOT 1686411 SOS 846560 HAS SOPS 810572 HAS SOUS 237315 HAS SOUPS 234508 WITH SCORE 235354.56
AT ITER 4700 NEW BEST:: SOT 1686384 SOS 846506 HAS SOPS 810518 HAS SOUS 237261 HAS SOUPS 234454 WITH SCORE 235300.506
AT ITER 4701 NEW BEST:: SOT 1686348 SOS 846470 HAS SOPS 810482 HAS SOUS 237255 HAS SOUPS 234448 WITH SCORE 235294.47
AT ITER 4703 NEW BEST:: SOT 1685893 SOS 832952 HAS SOPS 799819 HAS SOUS 236918 HAS SOUPS 234407 WITH SCORE 235239.952
AT ITER 4712 NEW BEST:: SOT 1685857 SOS 832934 HAS SOPS 799801 HAS SOUS 236864 HAS SOUPS 234353 WITH SCORE 235185.934
AT ITER 4714 NEW BEST:: SOT 1685816 SOS 832946 HAS SOPS 799813 HAS SOUS 236796 HAS SOUPS 234285 WITH SCORE 235117.946
AT ITER 4719 NEW BEST:: SOT 1685817 SOS 832904 HAS SOPS 799771 HAS SOUS 236680 HAS SOUPS 234169 WITH SCORE 235001.904
AT ITER 4722 NEW BEST:: SOT 1685776 SOS 832863 HAS SOPS 799730 HAS SOUS 236624 HAS SOUPS 234113 WITH SCORE 234945.863
AT ITER 4730 NEW BEST:: SOT 1685591 SOS 832537 HAS SOPS 799680 HAS SOUS 236476 HAS SOUPS 233965 WITH SCORE 234797.537
AT ITER 4747 NEW BEST:: SOT 1685577 SOS 832461 HAS SOPS 799604 HAS SOUS 236400 HAS SOUPS 233889 WITH SCORE 234721.461
AT ITER 4750 NEW BEST:: SOT 1684958 SOS 832067 HAS SOPS 799210 HAS SOUS 235349 HAS SOUPS 232838 WITH SCORE 233670.067
AT ITER 4773 NEW BEST:: SOT 1684955 SOS 832064 HAS SOPS 799207 HAS SOUS 235343 HAS SOUPS 232832 WITH SCORE 233664.064
AT ITER 4821 NEW BEST:: SOT 1685029 SOS 832138 HAS SOPS 799241 HAS SOUS 235229 HAS SOUPS 232718 WITH SCORE 233550.138
AT ITER 4836 NEW BEST:: SOT 1685049 SOS 832158 HAS SOPS 799261 HAS SOUS 235128 HAS SOUPS 232617 WITH SCORE 233449.158
AT ITER 4863 NEW BEST:: SOT 1685000 SOS 832146 HAS SOPS 799249 HAS SOUS 235083 HAS SOUPS 232572 WITH SCORE 233404.146
AT ITER 4880 NEW BEST:: SOT 1684988 SOS 832134 HAS SOPS 799237 HAS SOUS 235065 HAS SOUPS 232554 WITH SCORE 233386.134
AT ITER 4888 NEW BEST:: SOT 1684943 SOS 832051 HAS SOPS 799154 HAS SOUS 235051 HAS SOUPS 232540 WITH SCORE 233372.051
AT ITER 4900 NEW BEST:: SOT 1684796 SOS 831909 HAS SOPS 799031 HAS SOUS 234989 HAS SOUPS 232478 WITH SCORE 233309.909
AT ITER 4914 NEW BEST:: SOT 1684651 SOS 831859 HAS SOPS 798981 HAS SOUS 234900 HAS SOUPS 232389 WITH SCORE 233220.859
AT ITER 4919 NEW BEST:: SOT 1684651 SOS 831859 HAS SOPS 798981 HAS SOUS 234895 HAS SOUPS 232384 WITH SCORE 233215.859
AT ITER 4929 NEW BEST:: SOT 1684259 SOS 831271 HAS SOPS 798393 HAS SOUS 234503 HAS SOUPS 231992 WITH SCORE 232823.271
AT ITER 4943 NEW BEST:: SOT 1684353 SOS 831365 HAS SOPS 798320 HAS SOUS 234396 HAS SOUPS 231885 WITH SCORE 232716.365
AT ITER 4971 NEW BEST:: SOT 1684341 SOS 831345 HAS SOPS 798300 HAS SOUS 234380 HAS SOUPS 231869 WITH SCORE 232700.345
AT ITER 4989 NEW BEST:: SOT 1684403 SOS 831557 HAS SOPS 798374 HAS SOUS 234184 HAS SOUPS 231673 WITH SCORE 232504.557
AT ITER 5031 NEW BEST:: SOT 1684381 SOS 831580 HAS SOPS 798397 HAS SOUS 234129 HAS SOUPS 231618 WITH SCORE 232449.58
AT ITER 5048 NEW BEST:: SOT 1684371 SOS 831570 HAS SOPS 798377 HAS SOUS 234099 HAS SOUPS 231588 WITH SCORE 232419.57
AT ITER 5049 NEW BEST:: SOT 1684358 SOS 831557 HAS SOPS 798332 HAS SOUS 234073 HAS SOUPS 231562 WITH SCORE 232393.557
AT ITER 5050 NEW BEST:: SOT 1684363 SOS 831494 HAS SOPS 798269 HAS SOUS 233990 HAS SOUPS 231479 WITH SCORE 232310.494
AT ITER 5083 NEW BEST:: SOT 1684358 SOS 831484 HAS SOPS 798259 HAS SOUS 233980 HAS SOUPS 231469 WITH SCORE 232300.484
AT ITER 5102 NEW BEST:: SOT 1684325 SOS 831451 HAS SOPS 798226 HAS SOUS 233903 HAS SOUPS 231392 WITH SCORE 232223.451
AT ITER 5103 NEW BEST:: SOT 1684289 SOS 831415 HAS SOPS 798190 HAS SOUS 233831 HAS SOUPS 231320 WITH SCORE 232151.415
AT ITER 5106 NEW BEST:: SOT 1684116 SOS 831242 HAS SOPS 798017 HAS SOUS 233555 HAS SOUPS 231044 WITH SCORE 231875.242
AT ITER 5110 NEW BEST:: SOT 1684109 SOS 831235 HAS SOPS 798010 HAS SOUS 233541 HAS SOUPS 231030 WITH SCORE 231861.235
AT ITER 5112 NEW BEST:: SOT 1684093 SOS 831219 HAS SOPS 797994 HAS SOUS 233501 HAS SOUPS 230990 WITH SCORE 231821.219
AT ITER 5117 NEW BEST:: SOT 1683301 SOS 829815 HAS SOPS 796590 HAS SOUS 232897 HAS SOUPS 230386 WITH SCORE 231215.815
AT ITER 5119 NEW BEST:: SOT 1683284 SOS 828917 HAS SOPS 795784 HAS SOUS 232835 HAS SOUPS 230324 WITH SCORE 231152.917
AT ITER 5122 NEW BEST:: SOT 1683111 SOS 828815 HAS SOPS 795682 HAS SOUS 232725 HAS SOUPS 230214 WITH SCORE 231042.815
AT ITER 5137 NEW BEST:: SOT 1682828 SOS 828580 HAS SOPS 795447 HAS SOUS 232690 HAS SOUPS 230179 WITH SCORE 231007.58
AT ITER 5143 NEW BEST:: SOT 1682948 SOS 827515 HAS SOPS 794328 HAS SOUS 232434 HAS SOUPS 229923 WITH SCORE 230750.515
AT ITER 5144 NEW BEST:: SOT 1683074 SOS 827641 HAS SOPS 794454 HAS SOUS 232258 HAS SOUPS 229747 WITH SCORE 230574.641
AT ITER 5164 NEW BEST:: SOT 1682846 SOS 827413 HAS SOPS 794226 HAS SOUS 232042 HAS SOUPS 229531 WITH SCORE 230358.413
AT ITER 5187 NEW BEST:: SOT 1682831 SOS 827403 HAS SOPS 794216 HAS SOUS 232017 HAS SOUPS 229506 WITH SCORE 230333.403
AT ITER 5189 NEW BEST:: SOT 1682735 SOS 827521 HAS SOPS 794334 HAS SOUS 231876 HAS SOUPS 229365 WITH SCORE 230192.521
AT ITER 5192 NEW BEST:: SOT 1682723 SOS 827515 HAS SOPS 794328 HAS SOUS 231876 HAS SOUPS 229365 WITH SCORE 230192.515
AT ITER 5196 NEW BEST:: SOT 1682366 SOS 827011 HAS SOPS 793614 HAS SOUS 231295 HAS SOUPS 228784 WITH SCORE 229611.011
AT ITER 5207 NEW BEST:: SOT 1681999 SOS 826829 HAS SOPS 793432 HAS SOUS 230981 HAS SOUPS 228470 WITH SCORE 229296.829
AT ITER 5214 NEW BEST:: SOT 1681996 SOS 826820 HAS SOPS 793423 HAS SOUS 230972 HAS SOUPS 228461 WITH SCORE 229287.82
AT ITER 5246 NEW BEST:: SOT 1681707 SOS 826684 HAS SOPS 793287 HAS SOUS 230559 HAS SOUPS 228048 WITH SCORE 228874.684
AT ITER 5248 NEW BEST:: SOT 1681624 SOS 826633 HAS SOPS 793236 HAS SOUS 230476 HAS SOUPS 227965 WITH SCORE 228791.633
AT ITER 5267 NEW BEST:: SOT 1681627 SOS 826636 HAS SOPS 793239 HAS SOUS 230470 HAS SOUPS 227959 WITH SCORE 228785.636
AT ITER 5272 NEW BEST:: SOT 1681695 SOS 826767 HAS SOPS 793090 HAS SOUS 230307 HAS SOUPS 227796 WITH SCORE 228622.767
AT ITER 5276 NEW BEST:: SOT 1681525 SOS 826647 HAS SOPS 792970 HAS SOUS 228837 HAS SOUPS 226326 WITH SCORE 227152.647
AT ITER 5291 NEW BEST:: SOT 1681525 SOS 826670 HAS SOPS 792993 HAS SOUS 228822 HAS SOUPS 226311 WITH SCORE 227137.67
AT ITER 5318 NEW BEST:: SOT 1681501 SOS 826631 HAS SOPS 792954 HAS SOUS 228774 HAS SOUPS 226263 WITH SCORE 227089.631
AT ITER 5321 NEW BEST:: SOT 1681598 SOS 826796 HAS SOPS 793119 HAS SOUS 228296 HAS SOUPS 225785 WITH SCORE 226611.796
AT ITER 5324 NEW BEST:: SOT 1681613 SOS 826826 HAS SOPS 793149 HAS SOUS 228281 HAS SOUPS 225770 WITH SCORE 226596.826
AT ITER 5337 NEW BEST:: SOT 1681293 SOS 826346 HAS SOPS 792669 HAS SOUS 227861 HAS SOUPS 225350 WITH SCORE 226176.346
AT ITER 5359 NEW BEST:: SOT 1680761 SOS 824012 HAS SOPS 790335 HAS SOUS 227037 HAS SOUPS 224526 WITH SCORE 225350.012
AT ITER 5363 NEW BEST:: SOT 1680581 SOS 823563 HAS SOPS 789886 HAS SOUS 226876 HAS SOUPS 224365 WITH SCORE 225188.563
AT ITER 5405 NEW BEST:: SOT 1680433 SOS 823216 HAS SOPS 789748 HAS SOUS 226869 HAS SOUPS 224358 WITH SCORE 225181.216
AT ITER 5460 NEW BEST:: SOT 1680416 SOS 823352 HAS SOPS 789884 HAS SOUS 226852 HAS SOUPS 224341 WITH SCORE 225164.352
AT ITER 5470 NEW BEST:: SOT 1681453 SOS 824205 HAS SOPS 790737 HAS SOUS 226718 HAS SOUPS 224207 WITH SCORE 225031.205
AT ITER 5477 NEW BEST:: SOT 1681487 SOS 824273 HAS SOPS 790805 HAS SOUS 226684 HAS SOUPS 224173 WITH SCORE 224997.273
AT ITER 5499 NEW BEST:: SOT 1681445 SOS 824231 HAS SOPS 790717 HAS SOUS 226600 HAS SOUPS 224089 WITH SCORE 224913.231
AT ITER 5539 NEW BEST:: SOT 1681205 SOS 823391 HAS SOPS 789877 HAS SOUS 226360 HAS SOUPS 223849 WITH SCORE 224672.391
AT ITER 5541 NEW BEST:: SOT 1681010 SOS 823189 HAS SOPS 789646 HAS SOUS 226307 HAS SOUPS 223782 WITH SCORE 224605.189
AT ITER 5570 NEW BEST:: SOT 1681010 SOS 823177 HAS SOPS 789634 HAS SOUS 226295 HAS SOUPS 223770 WITH SCORE 224593.177
AT ITER 5616 NEW BEST:: SOT 1681050 SOS 823217 HAS SOPS 789674 HAS SOUS 226263 HAS SOUPS 223738 WITH SCORE 224561.217
AT ITER 5651 NEW BEST:: SOT 1681010 SOS 823177 HAS SOPS 789624 HAS SOUS 226193 HAS SOUPS 223668 WITH SCORE 224491.177
AT ITER 5679 NEW BEST:: SOT 1680975 SOS 823166 HAS SOPS 789613 HAS SOUS 226147 HAS SOUPS 223622 WITH SCORE 224445.166
AT ITER 5687 NEW BEST:: SOT 1680971 SOS 823162 HAS SOPS 789609 HAS SOUS 226139 HAS SOUPS 223614 WITH SCORE 224437.162
AT ITER 5729 NEW BEST:: SOT 1679827 SOS 821979 HAS SOPS 788426 HAS SOUS 225965 HAS SOUPS 223440 WITH SCORE 224261.979
AT ITER 5739 NEW BEST:: SOT 1679799 SOS 821951 HAS SOPS 788370 HAS SOUS 225881 HAS SOUPS 223356 WITH SCORE 224177.951
AT ITER 5745 NEW BEST:: SOT 1679812 SOS 821964 HAS SOPS 788365 HAS SOUS 225853 HAS SOUPS 223328 WITH SCORE 224149.964
AT ITER 5754 NEW BEST:: SOT 1679812 SOS 821689 HAS SOPS 788090 HAS SOUS 225820 HAS SOUPS 223295 WITH SCORE 224116.689
AT ITER 5794 NEW BEST:: SOT 1679785 SOS 821662 HAS SOPS 788063 HAS SOUS 225820 HAS SOUPS 223295 WITH SCORE 224116.662
AT ITER 5795 NEW BEST:: SOT 1685281 SOS 810314 HAS SOPS 776715 HAS SOUS 225458 HAS SOUPS 222933 WITH SCORE 223743.314
AT ITER 5797 NEW BEST:: SOT 1685278 SOS 810308 HAS SOPS 776709 HAS SOUS 225452 HAS SOUPS 222927 WITH SCORE 223737.308
AT ITER 5835 NEW BEST:: SOT 1685065 SOS 809953 HAS SOPS 776283 HAS SOUS 225097 HAS SOUPS 222572 WITH SCORE 223381.953
AT ITER 5840 NEW BEST:: SOT 1684791 SOS 809696 HAS SOPS 776026 HAS SOUS 224866 HAS SOUPS 222341 WITH SCORE 223150.696
AT ITER 5877 NEW BEST:: SOT 1684735 SOS 809596 HAS SOPS 775982 HAS SOUS 224807 HAS SOUPS 222282 WITH SCORE 223091.596
AT ITER 5900 NEW BEST:: SOT 1684733 SOS 809594 HAS SOPS 776000 HAS SOUS 224763 HAS SOUPS 222238 WITH SCORE 223047.594
AT ITER 5934 NEW BEST:: SOT 1684520 SOS 809381 HAS SOPS 775787 HAS SOUS 224337 HAS SOUPS 221812 WITH SCORE 222621.381
AT ITER 5941 NEW BEST:: SOT 1684289 SOS 808603 HAS SOPS 775009 HAS SOUS 224208 HAS SOUPS 221683 WITH SCORE 222491.603
AT ITER 5943 NEW BEST:: SOT 1687342 SOS 798325 HAS SOPS 764731 HAS SOUS 224073 HAS SOUPS 221548 WITH SCORE 222346.325
AT ITER 5964 NEW BEST:: SOT 1686924 SOS 797773 HAS SOPS 764179 HAS SOUS 223732 HAS SOUPS 221207 WITH SCORE 222004.773
AT ITER 5967 NEW BEST:: SOT 1686884 SOS 797645 HAS SOPS 764051 HAS SOUS 223652 HAS SOUPS 221127 WITH SCORE 221924.645
AT ITER 5979 NEW BEST:: SOT 1686110 SOS 796582 HAS SOPS 762901 HAS SOUS 222657 HAS SOUPS 220132 WITH SCORE 220928.582
AT ITER 5985 NEW BEST:: SOT 1686108 SOS 796578 HAS SOPS 762897 HAS SOUS 222653 HAS SOUPS 220128 WITH SCORE 220924.578
AT ITER 6021 NEW BEST:: SOT 1686213 SOS 796683 HAS SOPS 762989 HAS SOUS 222644 HAS SOUPS 220119 WITH SCORE 220915.683
AT ITER 6023 NEW BEST:: SOT 1686184 SOS 796633 HAS SOPS 762939 HAS SOUS 222607 HAS SOUPS 220082 WITH SCORE 220878.633
AT ITER 6041 NEW BEST:: SOT 1686019 SOS 762408 HAS SOPS 728714 HAS SOUS 222477 HAS SOUPS 219952 WITH SCORE 220714.408
AT ITER 6046 NEW BEST:: SOT 1685724 SOS 762157 HAS SOPS 728463 HAS SOUS 222452 HAS SOUPS 219927 WITH SCORE 220689.157
AT ITER 6072 NEW BEST:: SOT 1685670 SOS 762795 HAS SOPS 729116 HAS SOUS 222416 HAS SOUPS 219891 WITH SCORE 220653.795
AT ITER 6078 NEW BEST:: SOT 1685087 SOS 761932 HAS SOPS 728253 HAS SOUS 221757 HAS SOUPS 219232 WITH SCORE 219993.932
AT ITER 6159 NEW BEST:: SOT 1685087 SOS 761932 HAS SOPS 728253 HAS SOUS 221755 HAS SOUPS 219230 WITH SCORE 219991.932
AT ITER 6187 NEW BEST:: SOT 1685048 SOS 761791 HAS SOPS 728112 HAS SOUS 221655 HAS SOUPS 219130 WITH SCORE 219891.791
AT ITER 6227 NEW BEST:: SOT 1685032 SOS 761727 HAS SOPS 728048 HAS SOUS 221591 HAS SOUPS 219066 WITH SCORE 219827.727
AT ITER 6235 NEW BEST:: SOT 1685028 SOS 761731 HAS SOPS 728052 HAS SOUS 221584 HAS SOUPS 219059 WITH SCORE 219820.731
AT ITER 6259 NEW BEST:: SOT 1685003 SOS 761706 HAS SOPS 728004 HAS SOUS 221534 HAS SOUPS 219009 WITH SCORE 219770.706
AT ITER 6282 NEW BEST:: SOT 1684811 SOS 761603 HAS SOPS 727901 HAS SOUS 221398 HAS SOUPS 218873 WITH SCORE 219634.603
AT ITER 6299 NEW BEST:: SOT 1684794 SOS 761586 HAS SOPS 727884 HAS SOUS 221347 HAS SOUPS 218822 WITH SCORE 219583.586
AT ITER 6339 NEW BEST:: SOT 1684803 SOS 761595 HAS SOPS 727893 HAS SOUS 221337 HAS SOUPS 218812 WITH SCORE 219573.595
AT ITER 6348 NEW BEST:: SOT 1684829 SOS 761567 HAS SOPS 727755 HAS SOUS 221279 HAS SOUPS 218754 WITH SCORE 219515.567
AT ITER 6355 NEW BEST:: SOT 1684823 SOS 761555 HAS SOPS 727743 HAS SOUS 221249 HAS SOUPS 218724 WITH SCORE 219485.555
AT ITER 6356 NEW BEST:: SOT 1684823 SOS 761526 HAS SOPS 727714 HAS SOUS 221249 HAS SOUPS 218724 WITH SCORE 219485.526
AT ITER 6384 NEW BEST:: SOT 1684908 SOS 761631 HAS SOPS 727819 HAS SOUS 221229 HAS SOUPS 218704 WITH SCORE 219465.631
AT ITER 6419 NEW BEST:: SOT 1684883 SOS 761606 HAS SOPS 727794 HAS SOUS 221182 HAS SOUPS 218657 WITH SCORE 219418.606
AT ITER 6456 NEW BEST:: SOT 1684868 SOS 761559 HAS SOPS 727747 HAS SOUS 221135 HAS SOUPS 218610 WITH SCORE 219371.559
AT ITER 6457 NEW BEST:: SOT 1684931 SOS 761622 HAS SOPS 727764 HAS SOUS 221079 HAS SOUPS 218554 WITH SCORE 219315.622
AT ITER 6461 NEW BEST:: SOT 1684908 SOS 761610 HAS SOPS 727752 HAS SOUS 221067 HAS SOUPS 218542 WITH SCORE 219303.61
AT ITER 6469 NEW BEST:: SOT 1684871 SOS 761573 HAS SOPS 727759 HAS SOUS 221019 HAS SOUPS 218510 WITH SCORE 219271.573
AT ITER 6476 NEW BEST:: SOT 1684848 SOS 761569 HAS SOPS 727755 HAS SOUS 221006 HAS SOUPS 218497 WITH SCORE 219258.569
AT ITER 6515 NEW BEST:: SOT 1684785 SOS 761443 HAS SOPS 727629 HAS SOUS 220880 HAS SOUPS 218371 WITH SCORE 219132.443
AT ITER 6531 NEW BEST:: SOT 1684848 SOS 761494 HAS SOPS 727680 HAS SOUS 220862 HAS SOUPS 218353 WITH SCORE 219114.494
AT ITER 6563 NEW BEST:: SOT 1684845 SOS 761491 HAS SOPS 727677 HAS SOUS 220838 HAS SOUPS 218329 WITH SCORE 219090.491
AT ITER 6575 NEW BEST:: SOT 1684824 SOS 761463 HAS SOPS 727649 HAS SOUS 220810 HAS SOUPS 218301 WITH SCORE 219062.463
AT ITER 6582 NEW BEST:: SOT 1684813 SOS 761441 HAS SOPS 727627 HAS SOUS 220788 HAS SOUPS 218279 WITH SCORE 219040.441
AT ITER 6626 NEW BEST:: SOT 1684809 SOS 761437 HAS SOPS 727623 HAS SOUS 220780 HAS SOUPS 218271 WITH SCORE 219032.437
AT ITER 6650 NEW BEST:: SOT 1684777 SOS 761405 HAS SOPS 727655 HAS SOUS 220761 HAS SOUPS 218252 WITH SCORE 219013.405
AT ITER 6659 NEW BEST:: SOT 1684781 SOS 761408 HAS SOPS 727699 HAS SOUS 220688 HAS SOUPS 218179 WITH SCORE 218940.408
AT ITER 6660 NEW BEST:: SOT 1684766 SOS 761325 HAS SOPS 727616 HAS SOUS 220641 HAS SOUPS 218132 WITH SCORE 218893.325
AT ITER 6663 NEW BEST:: SOT 1684760 SOS 761319 HAS SOPS 727610 HAS SOUS 220600 HAS SOUPS 218091 WITH SCORE 218852.319
AT ITER 6674 NEW BEST:: SOT 1684589 SOS 761215 HAS SOPS 727506 HAS SOUS 220325 HAS SOUPS 217816 WITH SCORE 218577.215
AT ITER 6695 NEW BEST:: SOT 1684570 SOS 761196 HAS SOPS 727487 HAS SOUS 220287 HAS SOUPS 217778 WITH SCORE 218539.196
AT ITER 6706 NEW BEST:: SOT 1684498 SOS 761124 HAS SOPS 727415 HAS SOUS 220143 HAS SOUPS 217634 WITH SCORE 218395.124
AT ITER 6735 NEW BEST:: SOT 1684477 SOS 761103 HAS SOPS 727373 HAS SOUS 220101 HAS SOUPS 217592 WITH SCORE 218353.103
AT ITER 6749 NEW BEST:: SOT 1684406 SOS 760975 HAS SOPS 727245 HAS SOUS 219985 HAS SOUPS 217476 WITH SCORE 218236.975
AT ITER 6757 NEW BEST:: SOT 1684321 SOS 760720 HAS SOPS 726960 HAS SOUS 219785 HAS SOUPS 217276 WITH SCORE 218036.72
AT ITER 6763 NEW BEST:: SOT 1684321 SOS 760720 HAS SOPS 726960 HAS SOUS 219730 HAS SOUPS 217221 WITH SCORE 217981.72
AT ITER 6788 NEW BEST:: SOT 1684291 SOS 760692 HAS SOPS 726932 HAS SOUS 219670 HAS SOUPS 217161 WITH SCORE 217921.692
AT ITER 6796 NEW BEST:: SOT 1684284 SOS 760685 HAS SOPS 726925 HAS SOUS 219627 HAS SOUPS 217118 WITH SCORE 217878.685
AT ITER 6833 NEW BEST:: SOT 1684230 SOS 760631 HAS SOPS 726871 HAS SOUS 219519 HAS SOUPS 217010 WITH SCORE 217770.631
AT ITER 6863 NEW BEST:: SOT 1684217 SOS 760605 HAS SOPS 726845 HAS SOUS 219311 HAS SOUPS 216802 WITH SCORE 217562.605
AT ITER 6896 NEW BEST:: SOT 1684217 SOS 760543 HAS SOPS 726783 HAS SOUS 219311 HAS SOUPS 216802 WITH SCORE 217562.543
AT ITER 6935 NEW BEST:: SOT 1684209 SOS 760535 HAS SOPS 726775 HAS SOUS 219279 HAS SOUPS 216770 WITH SCORE 217530.535
AT ITER 6942 NEW BEST:: SOT 1684087 SOS 760380 HAS SOPS 726620 HAS SOUS 219134 HAS SOUPS 216625 WITH SCORE 217385.38
AT ITER 6951 NEW BEST:: SOT 1684087 SOS 760306 HAS SOPS 726546 HAS SOUS 219007 HAS SOUPS 216498 WITH SCORE 217258.306
AT ITER 6960 NEW BEST:: SOT 1683493 SOS 759387 HAS SOPS 725627 HAS SOUS 218382 HAS SOUPS 215873 WITH SCORE 216632.387
AT ITER 7017 NEW BEST:: SOT 1683504 SOS 759372 HAS SOPS 725604 HAS SOUS 218368 HAS SOUPS 215859 WITH SCORE 216618.372
AT ITER 7032 NEW BEST:: SOT 1683484 SOS 759352 HAS SOPS 725584 HAS SOUS 218348 HAS SOUPS 215839 WITH SCORE 216598.352
AT ITER 7068 NEW BEST:: SOT 1683484 SOS 759516 HAS SOPS 725748 HAS SOUS 218200 HAS SOUPS 215691 WITH SCORE 216450.516
AT ITER 7105 NEW BEST:: SOT 1683298 SOS 759545 HAS SOPS 725831 HAS SOUS 217895 HAS SOUPS 215386 WITH SCORE 216145.545
AT ITER 7112 NEW BEST:: SOT 1683244 SOS 759383 HAS SOPS 725669 HAS SOUS 217895 HAS SOUPS 215386 WITH SCORE 216145.383
AT ITER 7167 NEW BEST:: SOT 1683194 SOS 759333 HAS SOPS 725653 HAS SOUS 217803 HAS SOUPS 215328 WITH SCORE 216087.333
AT ITER 7170 NEW BEST:: SOT 1683194 SOS 759321 HAS SOPS 725617 HAS SOUS 217779 HAS SOUPS 215304 WITH SCORE 216063.321
AT ITER 7171 NEW BEST:: SOT 1683173 SOS 759254 HAS SOPS 725550 HAS SOUS 217712 HAS SOUPS 215237 WITH SCORE 215996.254
AT ITER 7174 NEW BEST:: SOT 1682731 SOS 758937 HAS SOPS 725233 HAS SOUS 217166 HAS SOUPS 214691 WITH SCORE 215449.937
AT ITER 7183 NEW BEST:: SOT 1682598 SOS 758772 HAS SOPS 725068 HAS SOUS 217105 HAS SOUPS 214630 WITH SCORE 215388.772
AT ITER 7213 NEW BEST:: SOT 1682605 SOS 758761 HAS SOPS 725057 HAS SOUS 217099 HAS SOUPS 214624 WITH SCORE 215382.761
AT ITER 7226 NEW BEST:: SOT 1682128 SOS 724679 HAS SOPS 690975 HAS SOUS 215489 HAS SOUPS 213014 WITH SCORE 213738.679
AT ITER 7271 NEW BEST:: SOT 1682111 SOS 724662 HAS SOPS 690953 HAS SOUS 215460 HAS SOUPS 212985 WITH SCORE 213709.662
AT ITER 7297 NEW BEST:: SOT 1682079 SOS 724630 HAS SOPS 690857 HAS SOUS 215396 HAS SOUPS 212921 WITH SCORE 213645.63
AT ITER 7303 NEW BEST:: SOT 1681931 SOS 724482 HAS SOPS 690709 HAS SOUS 215285 HAS SOUPS 212810 WITH SCORE 213534.482
AT ITER 7310 NEW BEST:: SOT 1681905 SOS 724452 HAS SOPS 690679 HAS SOUS 215247 HAS SOUPS 212772 WITH SCORE 213496.452
AT ITER 7320 NEW BEST:: SOT 1681745 SOS 724355 HAS SOPS 690582 HAS SOUS 215237 HAS SOUPS 212762 WITH SCORE 213486.355
AT ITER 7350 NEW BEST:: SOT 1681845 SOS 724645 HAS SOPS 690872 HAS SOUS 215207 HAS SOUPS 212732 WITH SCORE 213456.645
AT ITER 7352 NEW BEST:: SOT 1681161 SOS 723961 HAS SOPS 690188 HAS SOUS 215123 HAS SOUPS 212648 WITH SCORE 213371.961
AT ITER 7365 NEW BEST:: SOT 1681161 SOS 728433 HAS SOPS 690900 HAS SOUS 215165 HAS SOUPS 212643 WITH SCORE 213371.433
AT ITER 7367 NEW BEST:: SOT 1681146 SOS 728399 HAS SOPS 690866 HAS SOUS 214581 HAS SOUPS 212059 WITH SCORE 212787.399
AT ITER 7373 NEW BEST:: SOT 1680915 SOS 728330 HAS SOPS 690797 HAS SOUS 214303 HAS SOUPS 211781 WITH SCORE 212509.33
AT ITER 7382 NEW BEST:: SOT 1680873 SOS 728309 HAS SOPS 690776 HAS SOUS 214261 HAS SOUPS 211739 WITH SCORE 212467.309
AT ITER 7437 NEW BEST:: SOT 1680830 SOS 728266 HAS SOPS 690733 HAS SOUS 214172 HAS SOUPS 211650 WITH SCORE 212378.266
AT ITER 7461 NEW BEST:: SOT 1680732 SOS 728168 HAS SOPS 690635 HAS SOUS 213976 HAS SOUPS 211454 WITH SCORE 212182.168
AT ITER 7477 NEW BEST:: SOT 1680587 SOS 728072 HAS SOPS 690539 HAS SOUS 213830 HAS SOUPS 211308 WITH SCORE 212036.072
AT ITER 7487 NEW BEST:: SOT 1680614 SOS 728107 HAS SOPS 690390 HAS SOUS 213696 HAS SOUPS 211174 WITH SCORE 211902.107
AT ITER 7490 NEW BEST:: SOT 1680972 SOS 728577 HAS SOPS 690860 HAS SOUS 213375 HAS SOUPS 210853 WITH SCORE 211581.577
AT ITER 7491 NEW BEST:: SOT 1680191 SOS 727796 HAS SOPS 690079 HAS SOUS 212743 HAS SOUPS 210221 WITH SCORE 210948.796
AT ITER 7499 NEW BEST:: SOT 1680175 SOS 727636 HAS SOPS 689951 HAS SOUS 212743 HAS SOUPS 210221 WITH SCORE 210948.636
AT ITER 7522 NEW BEST:: SOT 1679450 SOS 726859 HAS SOPS 689174 HAS SOUS 212018 HAS SOUPS 209496 WITH SCORE 210222.859
AT ITER 7533 NEW BEST:: SOT 1679420 SOS 726839 HAS SOPS 689154 HAS SOUS 211988 HAS SOUPS 209466 WITH SCORE 210192.839
AT ITER 7540 NEW BEST:: SOT 1679435 SOS 726859 HAS SOPS 689174 HAS SOUS 211968 HAS SOUPS 209446 WITH SCORE 210172.859
AT ITER 7552 NEW BEST:: SOT 1679246 SOS 726815 HAS SOPS 689130 HAS SOUS 211605 HAS SOUPS 209083 WITH SCORE 209809.815
AT ITER 7556 NEW BEST:: SOT 1679139 SOS 726601 HAS SOPS 688916 HAS SOUS 211498 HAS SOUPS 208976 WITH SCORE 209702.601
AT ITER 7576 NEW BEST:: SOT 1679190 SOS 726800 HAS SOPS 689115 HAS SOUS 211472 HAS SOUPS 208950 WITH SCORE 209676.8
AT ITER 7602 NEW BEST:: SOT 1679187 SOS 726695 HAS SOPS 689010 HAS SOUS 211460 HAS SOUPS 208938 WITH SCORE 209664.695
AT ITER 7612 NEW BEST:: SOT 1678814 SOS 726435 HAS SOPS 688750 HAS SOUS 211166 HAS SOUPS 208644 WITH SCORE 209370.435
AT ITER 7613 NEW BEST:: SOT 1678551 SOS 726070 HAS SOPS 688385 HAS SOUS 210711 HAS SOUPS 208189 WITH SCORE 208915.07
AT ITER 7641 NEW BEST:: SOT 1676166 SOS 723639 HAS SOPS 685954 HAS SOUS 210601 HAS SOUPS 208079 WITH SCORE 208802.639
AT ITER 7681 NEW BEST:: SOT 1671687 SOS 719160 HAS SOPS 681475 HAS SOUS 209682 HAS SOUPS 207160 WITH SCORE 207879.16
AT ITER 7685 NEW BEST:: SOT 1671962 SOS 719768 HAS SOPS 682083 HAS SOUS 209589 HAS SOUPS 207067 WITH SCORE 207786.768
AT ITER 7724 NEW BEST:: SOT 1671940 SOS 719652 HAS SOPS 681967 HAS SOUS 209451 HAS SOUPS 206929 WITH SCORE 207648.652
AT ITER 7749 NEW BEST:: SOT 1671928 SOS 719640 HAS SOPS 681936 HAS SOUS 209408 HAS SOUPS 206886 WITH SCORE 207605.64
AT ITER 7768 NEW BEST:: SOT 1671922 SOS 719634 HAS SOPS 681930 HAS SOUS 209393 HAS SOUPS 206871 WITH SCORE 207590.634
AT ITER 7770 NEW BEST:: SOT 1671936 SOS 723382 HAS SOPS 685678 HAS SOUS 209377 HAS SOUPS 206855 WITH SCORE 207578.382
AT ITER 7801 NEW BEST:: SOT 1671776 SOS 723462 HAS SOPS 685758 HAS SOUS 209249 HAS SOUPS 206727 WITH SCORE 207450.462
AT ITER 7805 NEW BEST:: SOT 1671767 SOS 723453 HAS SOPS 685749 HAS SOUS 209179 HAS SOUPS 206657 WITH SCORE 207380.453
AT ITER 7812 NEW BEST:: SOT 1671625 SOS 723311 HAS SOPS 685607 HAS SOUS 209138 HAS SOUPS 206616 WITH SCORE 207339.311
AT ITER 7825 NEW BEST:: SOT 1671621 SOS 723303 HAS SOPS 685599 HAS SOUS 209130 HAS SOUPS 206608 WITH SCORE 207331.303
AT ITER 7838 NEW BEST:: SOT 1671686 SOS 723391 HAS SOPS 685687 HAS SOUS 208682 HAS SOUPS 206160 WITH SCORE 206883.391
AT ITER 7867 NEW BEST:: SOT 1671647 SOS 723325 HAS SOPS 685621 HAS SOUS 208562 HAS SOUPS 206040 WITH SCORE 206763.325
AT ITER 7875 NEW BEST:: SOT 1671615 SOS 723277 HAS SOPS 685573 HAS SOUS 208498 HAS SOUPS 205976 WITH SCORE 206699.277
AT ITER 7899 NEW BEST:: SOT 1671500 SOS 723185 HAS SOPS 685481 HAS SOUS 208360 HAS SOUPS 205838 WITH SCORE 206561.185
AT ITER 7907 NEW BEST:: SOT 1671270 SOS 720912 HAS SOPS 683208 HAS SOUS 208192 HAS SOUPS 205670 WITH SCORE 206390.912
AT ITER 7986 NEW BEST:: SOT 1671239 SOS 720788 HAS SOPS 683084 HAS SOUS 208192 HAS SOUPS 205670 WITH SCORE 206390.788
AT ITER 8004 NEW BEST:: SOT 1671236 SOS 720784 HAS SOPS 683080 HAS SOUS 208186 HAS SOUPS 205664 WITH SCORE 206384.784
AT ITER 8012 NEW BEST:: SOT 1671116 SOS 720664 HAS SOPS 682960 HAS SOUS 207906 HAS SOUPS 205384 WITH SCORE 206104.664
AT ITER 8013 NEW BEST:: SOT 1671129 SOS 720650 HAS SOPS 682946 HAS SOUS 207902 HAS SOUPS 205380 WITH SCORE 206100.65
AT ITER 8017 NEW BEST:: SOT 1671076 SOS 720597 HAS SOPS 682893 HAS SOUS 207852 HAS SOUPS 205330 WITH SCORE 206050.597
AT ITER 8021 NEW BEST:: SOT 1671075 SOS 720594 HAS SOPS 682890 HAS SOUS 207852 HAS SOUPS 205330 WITH SCORE 206050.594
AT ITER 8038 NEW BEST:: SOT 1671018 SOS 720537 HAS SOPS 682793 HAS SOUS 207738 HAS SOUPS 205216 WITH SCORE 205936.537
AT ITER 8071 NEW BEST:: SOT 1671012 SOS 720531 HAS SOPS 682787 HAS SOUS 207732 HAS SOUPS 205210 WITH SCORE 205930.531
AT ITER 8102 NEW BEST:: SOT 1670919 SOS 720452 HAS SOPS 682708 HAS SOUS 207700 HAS SOUPS 205178 WITH SCORE 205898.452
AT ITER 8105 NEW BEST:: SOT 1670909 SOS 720429 HAS SOPS 682685 HAS SOUS 207667 HAS SOUPS 205145 WITH SCORE 205865.429
AT ITER 8129 NEW BEST:: SOT 1670613 SOS 720000 HAS SOPS 682256 HAS SOUS 207297 HAS SOUPS 204775 WITH SCORE 205495.0
AT ITER 8132 NEW BEST:: SOT 1670608 SOS 719995 HAS SOPS 682251 HAS SOUS 207287 HAS SOUPS 204765 WITH SCORE 205484.995
AT ITER 8134 NEW BEST:: SOT 1670580 SOS 719967 HAS SOPS 682237 HAS SOUS 207207 HAS SOUPS 204685 WITH SCORE 205404.967
AT ITER 8172 NEW BEST:: SOT 1670580 SOS 719967 HAS SOPS 682237 HAS SOUS 207190 HAS SOUPS 204668 WITH SCORE 205387.967
AT ITER 8195 NEW BEST:: SOT 1670540 SOS 719903 HAS SOPS 682183 HAS SOUS 207150 HAS SOUPS 204628 WITH SCORE 205347.903
AT ITER 8216 NEW BEST:: SOT 1670540 SOS 719879 HAS SOPS 682159 HAS SOUS 207150 HAS SOUPS 204628 WITH SCORE 205347.879
AT ITER 8235 NEW BEST:: SOT 1670519 SOS 719886 HAS SOPS 682166 HAS SOUS 207129 HAS SOUPS 204607 WITH SCORE 205326.886
AT ITER 8245 NEW BEST:: SOT 1670358 SOS 719700 HAS SOPS 681967 HAS SOUS 206948 HAS SOUPS 204426 WITH SCORE 205145.7
AT ITER 8248 NEW BEST:: SOT 1669792 SOS 718882 HAS SOPS 681149 HAS SOUS 206428 HAS SOUPS 203906 WITH SCORE 204624.882
AT ITER 8254 NEW BEST:: SOT 1669772 SOS 718902 HAS SOPS 681169 HAS SOUS 206388 HAS SOUPS 203866 WITH SCORE 204584.902
AT ITER 8324 NEW BEST:: SOT 1669813 SOS 718943 HAS SOPS 681210 HAS SOUS 206360 HAS SOUPS 203838 WITH SCORE 204556.943
AT ITER 8327 NEW BEST:: SOT 1669808 SOS 708172 HAS SOPS 680957 HAS SOUS 206161 HAS SOUPS 203772 WITH SCORE 204480.172
AT ITER 8339 NEW BEST:: SOT 1669870 SOS 708234 HAS SOPS 681019 HAS SOUS 206153 HAS SOUPS 203764 WITH SCORE 204472.234
AT ITER 8347 NEW BEST:: SOT 1671900 SOS 710324 HAS SOPS 683109 HAS SOUS 205728 HAS SOUPS 203339 WITH SCORE 204049.324
AT ITER 8351 NEW BEST:: SOT 1671886 SOS 710310 HAS SOPS 683095 HAS SOUS 205700 HAS SOUPS 203311 WITH SCORE 204021.31
AT ITER 8395 NEW BEST:: SOT 1671874 SOS 710643 HAS SOPS 683083 HAS SOUS 205688 HAS SOUPS 203296 WITH SCORE 204006.643
AT ITER 8407 NEW BEST:: SOT 1668856 SOS 710600 HAS SOPS 683040 HAS SOUS 205566 HAS SOUPS 203174 WITH SCORE 203884.6
AT ITER 8408 NEW BEST:: SOT 1668680 SOS 710437 HAS SOPS 682877 HAS SOUS 205277 HAS SOUPS 202885 WITH SCORE 203595.437
AT ITER 8414 NEW BEST:: SOT 1668638 SOS 710395 HAS SOPS 682835 HAS SOUS 205193 HAS SOUPS 202801 WITH SCORE 203511.395
AT ITER 8425 NEW BEST:: SOT 1668443 SOS 710200 HAS SOPS 682640 HAS SOUS 205166 HAS SOUPS 202774 WITH SCORE 203484.2
AT ITER 8442 NEW BEST:: SOT 1668430 SOS 710187 HAS SOPS 682627 HAS SOUS 205158 HAS SOUPS 202766 WITH SCORE 203476.187
AT ITER 8449 NEW BEST:: SOT 1668304 SOS 709898 HAS SOPS 682338 HAS SOUS 205098 HAS SOUPS 202706 WITH SCORE 203415.898
AT ITER 8467 NEW BEST:: SOT 1668264 SOS 709858 HAS SOPS 682298 HAS SOUS 205055 HAS SOUPS 202663 WITH SCORE 203372.858
AT ITER 8477 NEW BEST:: SOT 1668264 SOS 709858 HAS SOPS 682300 HAS SOUS 205051 HAS SOUPS 202659 WITH SCORE 203368.858
AT ITER 8496 NEW BEST:: SOT 1668382 SOS 709976 HAS SOPS 682314 HAS SOUS 205034 HAS SOUPS 202637 WITH SCORE 203346.976
AT ITER 8531 NEW BEST:: SOT 1668226 SOS 707849 HAS SOPS 680187 HAS SOUS 204702 HAS SOUPS 202305 WITH SCORE 203012.849
AT ITER 8535 NEW BEST:: SOT 1668206 SOS 707775 HAS SOPS 680113 HAS SOUS 204536 HAS SOUPS 202139 WITH SCORE 202846.775
AT ITER 8539 NEW BEST:: SOT 1668135 SOS 718470 HAS SOPS 680290 HAS SOUS 204458 HAS SOUPS 201928 WITH SCORE 202646.47
AT ITER 8541 NEW BEST:: SOT 1668049 SOS 718261 HAS SOPS 680172 HAS SOUS 204446 HAS SOUPS 201916 WITH SCORE 202634.261
AT ITER 8558 NEW BEST:: SOT 1668049 SOS 718315 HAS SOPS 680226 HAS SOUS 204338 HAS SOUPS 201808 WITH SCORE 202526.315
AT ITER 8589 NEW BEST:: SOT 1668113 SOS 718379 HAS SOPS 680260 HAS SOUS 204309 HAS SOUPS 201779 WITH SCORE 202497.379
AT ITER 8607 NEW BEST:: SOT 1668097 SOS 718371 HAS SOPS 680252 HAS SOUS 204301 HAS SOUPS 201771 WITH SCORE 202489.371
AT ITER 8650 NEW BEST:: SOT 1668025 SOS 718249 HAS SOPS 680850 HAS SOUS 204224 HAS SOUPS 201766 WITH SCORE 202484.249
AT ITER 8658 NEW BEST:: SOT 1667985 SOS 718209 HAS SOPS 680810 HAS SOUS 204144 HAS SOUPS 201686 WITH SCORE 202404.209
AT ITER 8669 NEW BEST:: SOT 1667973 SOS 718197 HAS SOPS 680798 HAS SOUS 204094 HAS SOUPS 201636 WITH SCORE 202354.197
AT ITER 8670 NEW BEST:: SOT 1667864 SOS 724761 HAS SOPS 680689 HAS SOUS 204037 HAS SOUPS 201522 WITH SCORE 202246.761
AT ITER 8687 NEW BEST:: SOT 1667847 SOS 724744 HAS SOPS 680672 HAS SOUS 204037 HAS SOUPS 201522 WITH SCORE 202246.744
AT ITER 8696 NEW BEST:: SOT 1667773 SOS 717806 HAS SOPS 679650 HAS SOUS 203845 HAS SOUPS 201404 WITH SCORE 202121.806
AT ITER 8710 NEW BEST:: SOT 1667578 SOS 717423 HAS SOPS 679267 HAS SOUS 203455 HAS SOUPS 201014 WITH SCORE 201731.423
AT ITER 8773 NEW BEST:: SOT 1667569 SOS 717405 HAS SOPS 679249 HAS SOUS 203401 HAS SOUPS 200960 WITH SCORE 201677.405
AT ITER 8792 NEW BEST:: SOT 1667577 SOS 717409 HAS SOPS 679253 HAS SOUS 203398 HAS SOUPS 200957 WITH SCORE 201674.409
AT ITER 8819 NEW BEST:: SOT 1667559 SOS 717391 HAS SOPS 679235 HAS SOUS 203380 HAS SOUPS 200939 WITH SCORE 201656.391
AT ITER 8826 NEW BEST:: SOT 1667543 SOS 717375 HAS SOPS 679209 HAS SOUS 203358 HAS SOUPS 200917 WITH SCORE 201634.375
AT ITER 8834 NEW BEST:: SOT 1667573 SOS 717302 HAS SOPS 679136 HAS SOUS 203261 HAS SOUPS 200820 WITH SCORE 201537.302
AT ITER 8835 NEW BEST:: SOT 1661968 SOS 712705 HAS SOPS 674539 HAS SOUS 202628 HAS SOUPS 200187 WITH SCORE 200899.705
AT ITER 8844 NEW BEST:: SOT 1661957 SOS 712608 HAS SOPS 674450 HAS SOUS 202615 HAS SOUPS 200174 WITH SCORE 200886.608
AT ITER 8889 NEW BEST:: SOT 1661908 SOS 712533 HAS SOPS 674375 HAS SOUS 202543 HAS SOUPS 200102 WITH SCORE 200814.533
AT ITER 8900 NEW BEST:: SOT 1661859 SOS 712484 HAS SOPS 674326 HAS SOUS 202445 HAS SOUPS 200004 WITH SCORE 200716.484
AT ITER 8941 NEW BEST:: SOT 1661703 SOS 711868 HAS SOPS 673710 HAS SOUS 202243 HAS SOUPS 199802 WITH SCORE 200513.868
AT ITER 8942 NEW BEST:: SOT 1661642 SOS 711807 HAS SOPS 673649 HAS SOUS 202241 HAS SOUPS 199800 WITH SCORE 200511.807
AT ITER 8965 NEW BEST:: SOT 1661633 SOS 711798 HAS SOPS 673640 HAS SOUS 202241 HAS SOUPS 199800 WITH SCORE 200511.798
AT ITER 8973 NEW BEST:: SOT 1661603 SOS 711768 HAS SOPS 673612 HAS SOUS 202213 HAS SOUPS 199772 WITH SCORE 200483.768
AT ITER 8978 NEW BEST:: SOT 1661586 SOS 711725 HAS SOPS 673569 HAS SOUS 202179 HAS SOUPS 199738 WITH SCORE 200449.725
AT ITER 8981 NEW BEST:: SOT 1661637 SOS 711776 HAS SOPS 673576 HAS SOUS 202167 HAS SOUPS 199726 WITH SCORE 200437.776
AT ITER 8985 NEW BEST:: SOT 1661504 SOS 711654 HAS SOPS 673454 HAS SOUS 202033 HAS SOUPS 199592 WITH SCORE 200303.654
AT ITER 9010 NEW BEST:: SOT 1661504 SOS 711668 HAS SOPS 673468 HAS SOUS 201991 HAS SOUPS 199550 WITH SCORE 200261.668
AT ITER 9061 NEW BEST:: SOT 1661343 SOS 677137 HAS SOPS 638937 HAS SOUS 201969 HAS SOUPS 199528 WITH SCORE 200205.137
AT ITER 9090 NEW BEST:: SOT 1661306 SOS 675849 HAS SOPS 637649 HAS SOUS 201668 HAS SOUPS 199227 WITH SCORE 199902.849
AT ITER 9100 NEW BEST:: SOT 1661326 SOS 675865 HAS SOPS 637665 HAS SOUS 201660 HAS SOUPS 199219 WITH SCORE 199894.865
AT ITER 9109 NEW BEST:: SOT 1661218 SOS 675757 HAS SOPS 637557 HAS SOUS 201544 HAS SOUPS 199103 WITH SCORE 199778.757
AT ITER 9144 NEW BEST:: SOT 1661218 SOS 675757 HAS SOPS 637557 HAS SOUS 201508 HAS SOUPS 199067 WITH SCORE 199742.757
AT ITER 9173 NEW BEST:: SOT 1661198 SOS 675727 HAS SOPS 637527 HAS SOUS 201468 HAS SOUPS 199027 WITH SCORE 199702.727
AT ITER 9181 NEW BEST:: SOT 1661158 SOS 675687 HAS SOPS 637487 HAS SOUS 201388 HAS SOUPS 198947 WITH SCORE 199622.687
AT ITER 9186 NEW BEST:: SOT 1661138 SOS 675674 HAS SOPS 637474 HAS SOUS 201382 HAS SOUPS 198941 WITH SCORE 199616.674
AT ITER 9187 NEW BEST:: SOT 1661089 SOS 675495 HAS SOPS 637295 HAS SOUS 201336 HAS SOUPS 198895 WITH SCORE 199570.495
AT ITER 9220 NEW BEST:: SOT 1661044 SOS 675318 HAS SOPS 637118 HAS SOUS 201246 HAS SOUPS 198805 WITH SCORE 199480.318
AT ITER 9221 NEW BEST:: SOT 1661083 SOS 675373 HAS SOPS 637173 HAS SOUS 201240 HAS SOUPS 198799 WITH SCORE 199474.373
AT ITER 9245 NEW BEST:: SOT 1661062 SOS 675352 HAS SOPS 637152 HAS SOUS 201199 HAS SOUPS 198758 WITH SCORE 199433.352
AT ITER 9252 NEW BEST:: SOT 1661062 SOS 675335 HAS SOPS 637135 HAS SOUS 201199 HAS SOUPS 198758 WITH SCORE 199433.335
AT ITER 9254 NEW BEST:: SOT 1660781 SOS 675137 HAS SOPS 636937 HAS SOUS 200901 HAS SOUPS 198460 WITH SCORE 199135.137
AT ITER 9255 NEW BEST:: SOT 1660555 SOS 674814 HAS SOPS 636614 HAS SOUS 200461 HAS SOUPS 198020 WITH SCORE 198694.814
AT ITER 9305 NEW BEST:: SOT 1660254 SOS 674393 HAS SOPS 636193 HAS SOUS 200433 HAS SOUPS 197992 WITH SCORE 198666.393
AT ITER 9308 NEW BEST:: SOT 1660234 SOS 674413 HAS SOPS 636213 HAS SOUS 200393 HAS SOUPS 197952 WITH SCORE 198626.413
AT ITER 9309 NEW BEST:: SOT 1660120 SOS 674299 HAS SOPS 636099 HAS SOUS 200100 HAS SOUPS 197659 WITH SCORE 198333.299
AT ITER 9330 NEW BEST:: SOT 1660118 SOS 674298 HAS SOPS 636098 HAS SOUS 200098 HAS SOUPS 197657 WITH SCORE 198331.298
AT ITER 9346 NEW BEST:: SOT 1660118 SOS 674218 HAS SOPS 636018 HAS SOUS 200098 HAS SOUPS 197657 WITH SCORE 198331.218
AT ITER 9373 NEW BEST:: SOT 1660136 SOS 674239 HAS SOPS 636039 HAS SOUS 200096 HAS SOUPS 197655 WITH SCORE 198329.239
AT ITER 9389 NEW BEST:: SOT 1659867 SOS 673970 HAS SOPS 635770 HAS SOUS 199718 HAS SOUPS 197277 WITH SCORE 197950.97
AT ITER 9464 NEW BEST:: SOT 1659885 SOS 673887 HAS SOPS 635687 HAS SOUS 199653 HAS SOUPS 197212 WITH SCORE 197885.887
AT ITER 9468 NEW BEST:: SOT 1660024 SOS 673899 HAS SOPS 635699 HAS SOUS 199620 HAS SOUPS 197179 WITH SCORE 197852.899
AT ITER 9482 NEW BEST:: SOT 1660082 SOS 674541 HAS SOPS 636341 HAS SOUS 199587 HAS SOUPS 197146 WITH SCORE 197820.541
AT ITER 9496 NEW BEST:: SOT 1660042 SOS 674501 HAS SOPS 636301 HAS SOUS 199507 HAS SOUPS 197066 WITH SCORE 197740.501
AT ITER 9516 NEW BEST:: SOT 1659955 SOS 674335 HAS SOPS 636135 HAS SOUS 199505 HAS SOUPS 197064 WITH SCORE 197738.335
AT ITER 9519 NEW BEST:: SOT 1659816 SOS 674052 HAS SOPS 636073 HAS SOUS 199450 HAS SOUPS 197009 WITH SCORE 197683.052
AT ITER 9537 NEW BEST:: SOT 1659452 SOS 673761 HAS SOPS 635782 HAS SOUS 199194 HAS SOUPS 196753 WITH SCORE 197426.761
AT ITER 9538 NEW BEST:: SOT 1659280 SOS 673496 HAS SOPS 635517 HAS SOUS 198984 HAS SOUPS 196543 WITH SCORE 197216.496
AT ITER 9561 NEW BEST:: SOT 1659255 SOS 673506 HAS SOPS 635527 HAS SOUS 198977 HAS SOUPS 196536 WITH SCORE 197209.506
AT ITER 9564 NEW BEST:: SOT 1659221 SOS 673439 HAS SOPS 635492 HAS SOUS 198975 HAS SOUPS 196534 WITH SCORE 197207.439
AT ITER 9576 NEW BEST:: SOT 1659595 SOS 673823 HAS SOPS 635876 HAS SOUS 198941 HAS SOUPS 196500 WITH SCORE 197173.823
AT ITER 9593 NEW BEST:: SOT 1659591 SOS 673822 HAS SOPS 635875 HAS SOUS 198937 HAS SOUPS 196496 WITH SCORE 197169.822
AT ITER 9596 NEW BEST:: SOT 1659573 SOS 673804 HAS SOPS 635857 HAS SOUS 198919 HAS SOUPS 196478 WITH SCORE 197151.804
AT ITER 9607 NEW BEST:: SOT 1660940 SOS 674225 HAS SOPS 636278 HAS SOUS 198904 HAS SOUPS 196463 WITH SCORE 197137.225
AT ITER 9611 NEW BEST:: SOT 1660890 SOS 674175 HAS SOPS 636228 HAS SOUS 198804 HAS SOUPS 196363 WITH SCORE 197037.175
AT ITER 9618 NEW BEST:: SOT 1660833 SOS 673946 HAS SOPS 635999 HAS SOUS 198510 HAS SOUPS 196069 WITH SCORE 196742.946
AT ITER 9637 NEW BEST:: SOT 1660803 SOS 673934 HAS SOPS 635987 HAS SOUS 198480 HAS SOUPS 196039 WITH SCORE 196712.934
AT ITER 9675 NEW BEST:: SOT 1660878 SOS 674053 HAS SOPS 636106 HAS SOUS 198456 HAS SOUPS 196015 WITH SCORE 196689.053
AT ITER 9687 NEW BEST:: SOT 1660840 SOS 674015 HAS SOPS 636068 HAS SOUS 198380 HAS SOUPS 195939 WITH SCORE 196613.015
AT ITER 9689 NEW BEST:: SOT 1660804 SOS 673943 HAS SOPS 635996 HAS SOUS 198308 HAS SOUPS 195867 WITH SCORE 196540.943
AT ITER 9701 NEW BEST:: SOT 1660794 SOS 673944 HAS SOPS 635997 HAS SOUS 198277 HAS SOUPS 195836 WITH SCORE 196509.944
AT ITER 9727 NEW BEST:: SOT 1660855 SOS 674017 HAS SOPS 636070 HAS SOUS 198202 HAS SOUPS 195761 WITH SCORE 196435.017
AT ITER 9759 NEW BEST:: SOT 1660652 SOS 673759 HAS SOPS 635812 HAS SOUS 197854 HAS SOUPS 195413 WITH SCORE 196086.759
AT ITER 9768 NEW BEST:: SOT 1660590 SOS 673697 HAS SOPS 635750 HAS SOUS 197746 HAS SOUPS 195305 WITH SCORE 195978.697
AT ITER 9769 NEW BEST:: SOT 1660583 SOS 673717 HAS SOPS 635770 HAS SOUS 197739 HAS SOUPS 195298 WITH SCORE 195971.717
AT ITER 9817 NEW BEST:: SOT 1660583 SOS 673743 HAS SOPS 635796 HAS SOUS 197687 HAS SOUPS 195246 WITH SCORE 195919.743
AT ITER 9855 NEW BEST:: SOT 1660471 SOS 673631 HAS SOPS 635684 HAS SOUS 197603 HAS SOUPS 195162 WITH SCORE 195835.631
AT ITER 9872 NEW BEST:: SOT 1660371 SOS 673552 HAS SOPS 635605 HAS SOUS 197503 HAS SOUPS 195062 WITH SCORE 195735.552
AT ITER 9890 NEW BEST:: SOT 1660369 SOS 673550 HAS SOPS 635603 HAS SOUS 197501 HAS SOUPS 195060 WITH SCORE 195733.55
AT ITER 9893 NEW BEST:: SOT 1660367 SOS 673548 HAS SOPS 635601 HAS SOUS 197497 HAS SOUPS 195056 WITH SCORE 195729.548
AT ITER 9945 NEW BEST:: SOT 1660244 SOS 673489 HAS SOPS 635542 HAS SOUS 197315 HAS SOUPS 194874 WITH SCORE 195547.489
AT ITER 9951 NEW BEST:: SOT 1660214 SOS 673459 HAS SOPS 635512 HAS SOUS 197255 HAS SOUPS 194814 WITH SCORE 195487.459
AT ITER 9969 NEW BEST:: SOT 1660155 SOS 673400 HAS SOPS 635443 HAS SOUS 197137 HAS SOUPS 194696 WITH SCORE 195369.4
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12700732 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16142008 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="PolyORBLF-PT-S04J04T10"
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 PolyORBLF-PT-S04J04T10, 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 r291-tall-167873943000560"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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