Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r123-tajo-158961354800488.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is PolyORBLF-PT-S04J06T06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961354800488
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.4M
-rw-r--r-- 1 mcc users 9.2K Apr 12 05:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 34K Apr 12 05:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 16K Apr 11 05:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Apr 11 05:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 9.2K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 42K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 39K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Apr 10 12:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 36K Apr 10 12:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 67K Apr 9 17:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 214K Apr 9 17:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.8K Apr 10 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.7K Apr 10 22:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 3.8M Mar 24 05:37 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 1589645887137

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S04J06T06
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 618 places, 3190 transitions, 21570 arcs.
AT ITER 0 NEW BEST:: SOT 1284827 SOS 733547 HAS SOPS 726232 HAS SOUS 240788 HAS SOUPS 240284 WITH SCORE 241017.547
AT ITER 3 NEW BEST:: SOT 1284827 SOS 733527 HAS SOPS 726212 HAS SOUS 240788 HAS SOUPS 240284 WITH SCORE 241017.527
AT ITER 13 NEW BEST:: SOT 1284491 SOS 733107 HAS SOPS 725792 HAS SOUS 240410 HAS SOUPS 239906 WITH SCORE 240639.107
AT ITER 22 NEW BEST:: SOT 1284509 SOS 733150 HAS SOPS 725835 HAS SOUS 240335 HAS SOUPS 239831 WITH SCORE 240564.15
AT ITER 29 NEW BEST:: SOT 1284449 SOS 733090 HAS SOPS 725775 HAS SOUS 240263 HAS SOUPS 239759 WITH SCORE 240492.09
AT ITER 30 NEW BEST:: SOT 1284414 SOS 733020 HAS SOPS 725705 HAS SOUS 240242 HAS SOUPS 239738 WITH SCORE 240471.02
AT ITER 53 NEW BEST:: SOT 1281015 SOS 778775 HAS SOPS 776011 HAS SOUS 238619 HAS SOUPS 238271 WITH SCORE 239049.775
AT ITER 64 NEW BEST:: SOT 1280182 SOS 778149 HAS SOPS 775385 HAS SOUS 238351 HAS SOUPS 238003 WITH SCORE 238781.149
AT ITER 65 NEW BEST:: SOT 1280110 SOS 778015 HAS SOPS 775251 HAS SOUS 238277 HAS SOUPS 237929 WITH SCORE 238707.015
AT ITER 68 NEW BEST:: SOT 1279596 SOS 777567 HAS SOPS 774803 HAS SOUS 237811 HAS SOUPS 237463 WITH SCORE 238240.567
AT ITER 75 NEW BEST:: SOT 1278023 SOS 775985 HAS SOPS 773221 HAS SOUS 237365 HAS SOUPS 237017 WITH SCORE 237792.985
AT ITER 79 NEW BEST:: SOT 1277848 SOS 775835 HAS SOPS 773071 HAS SOUS 236940 HAS SOUPS 236592 WITH SCORE 237367.835
AT ITER 89 NEW BEST:: SOT 1233832 SOS 731819 HAS SOPS 729055 HAS SOUS 228532 HAS SOUPS 228184 WITH SCORE 228915.819
AT ITER 101 NEW BEST:: SOT 1233708 SOS 731633 HAS SOPS 728869 HAS SOUS 228408 HAS SOUPS 228060 WITH SCORE 228791.633
AT ITER 104 NEW BEST:: SOT 1233696 SOS 731621 HAS SOPS 728857 HAS SOUS 228396 HAS SOUPS 228048 WITH SCORE 228779.621
AT ITER 106 NEW BEST:: SOT 1233654 SOS 731573 HAS SOPS 728809 HAS SOUS 228312 HAS SOUPS 227964 WITH SCORE 228695.573
AT ITER 110 NEW BEST:: SOT 1231398 SOS 729269 HAS SOPS 726505 HAS SOUS 225952 HAS SOUPS 225604 WITH SCORE 226333.269
AT ITER 111 NEW BEST:: SOT 1231398 SOS 729093 HAS SOPS 726329 HAS SOUS 225952 HAS SOUPS 225604 WITH SCORE 226333.093
AT ITER 122 NEW BEST:: SOT 1228460 SOS 732549 HAS SOPS 728207 HAS SOUS 223538 HAS SOUPS 222872 WITH SCORE 223604.549
AT ITER 125 NEW BEST:: SOT 1198318 SOS 759570 HAS SOPS 755228 HAS SOUS 219107 HAS SOUPS 218441 WITH SCORE 219200.57
AT ITER 133 NEW BEST:: SOT 1197623 SOS 759081 HAS SOPS 754739 HAS SOUS 218999 HAS SOUPS 218333 WITH SCORE 219092.081
AT ITER 136 NEW BEST:: SOT 1197453 SOS 758944 HAS SOPS 754602 HAS SOUS 218911 HAS SOUPS 218245 WITH SCORE 219003.944
AT ITER 141 NEW BEST:: SOT 1125199 SOS 699950 HAS SOPS 695608 HAS SOUS 206707 HAS SOUPS 206041 WITH SCORE 206740.95
AT ITER 144 NEW BEST:: SOT 1124958 SOS 699688 HAS SOPS 695346 HAS SOUS 206671 HAS SOUPS 206005 WITH SCORE 206704.688
AT ITER 145 NEW BEST:: SOT 1124899 SOS 699907 HAS SOPS 695578 HAS SOUS 206610 HAS SOUPS 205944 WITH SCORE 206643.907
AT ITER 146 NEW BEST:: SOT 1124635 SOS 699643 HAS SOPS 695314 HAS SOUS 206220 HAS SOUPS 205554 WITH SCORE 206253.643
AT ITER 149 NEW BEST:: SOT 1124488 SOS 699496 HAS SOPS 695167 HAS SOUS 205632 HAS SOUPS 204966 WITH SCORE 205665.496
AT ITER 155 NEW BEST:: SOT 1124370 SOS 699368 HAS SOPS 695039 HAS SOUS 205560 HAS SOUPS 204894 WITH SCORE 205593.368
AT ITER 167 NEW BEST:: SOT 1123809 SOS 698905 HAS SOPS 694576 HAS SOUS 205055 HAS SOUPS 204389 WITH SCORE 205087.905
AT ITER 169 NEW BEST:: SOT 1123809 SOS 698905 HAS SOPS 694576 HAS SOUS 205030 HAS SOUPS 204364 WITH SCORE 205062.905
AT ITER 182 NEW BEST:: SOT 1123794 SOS 698890 HAS SOPS 694546 HAS SOUS 205010 HAS SOUPS 204339 WITH SCORE 205037.89
AT ITER 190 NEW BEST:: SOT 1123609 SOS 698681 HAS SOPS 694337 HAS SOUS 204972 HAS SOUPS 204301 WITH SCORE 204999.681
AT ITER 195 NEW BEST:: SOT 1123533 SOS 698567 HAS SOPS 694223 HAS SOUS 204820 HAS SOUPS 204149 WITH SCORE 204847.567
AT ITER 198 NEW BEST:: SOT 1123397 SOS 698397 HAS SOPS 694053 HAS SOUS 204566 HAS SOUPS 203895 WITH SCORE 204593.397
AT ITER 207 NEW BEST:: SOT 1123247 SOS 698247 HAS SOPS 693903 HAS SOUS 204416 HAS SOUPS 203745 WITH SCORE 204443.247
AT ITER 223 NEW BEST:: SOT 1123276 SOS 698226 HAS SOPS 693853 HAS SOUS 204403 HAS SOUPS 203732 WITH SCORE 204430.226
AT ITER 224 NEW BEST:: SOT 1123276 SOS 697170 HAS SOPS 692797 HAS SOUS 204403 HAS SOUPS 203732 WITH SCORE 204429.17
AT ITER 230 NEW BEST:: SOT 1123286 SOS 696993 HAS SOPS 692620 HAS SOUS 204311 HAS SOUPS 203640 WITH SCORE 204336.993
AT ITER 246 NEW BEST:: SOT 1123222 SOS 697261 HAS SOPS 692902 HAS SOUS 204237 HAS SOUPS 203568 WITH SCORE 204265.261
AT ITER 247 NEW BEST:: SOT 1123133 SOS 697172 HAS SOPS 692813 HAS SOUS 204163 HAS SOUPS 203494 WITH SCORE 204191.172
AT ITER 250 NEW BEST:: SOT 1122313 SOS 696599 HAS SOPS 692240 HAS SOUS 203551 HAS SOUPS 202882 WITH SCORE 203578.599
AT ITER 263 NEW BEST:: SOT 1122308 SOS 696487 HAS SOPS 692125 HAS SOUS 203541 HAS SOUPS 202872 WITH SCORE 203568.487
AT ITER 279 NEW BEST:: SOT 1122321 SOS 696487 HAS SOPS 692125 HAS SOUS 203502 HAS SOUPS 202833 WITH SCORE 203529.487
AT ITER 290 NEW BEST:: SOT 1120347 SOS 694563 HAS SOPS 690201 HAS SOUS 202803 HAS SOUPS 202134 WITH SCORE 202828.563
AT ITER 315 NEW BEST:: SOT 1120335 SOS 694551 HAS SOPS 690189 HAS SOUS 202791 HAS SOUPS 202122 WITH SCORE 202816.551
AT ITER 334 NEW BEST:: SOT 1080338 SOS 654385 HAS SOPS 650023 HAS SOUS 194903 HAS SOUPS 194234 WITH SCORE 194888.385
AT ITER 336 NEW BEST:: SOT 1079553 SOS 653845 HAS SOPS 649483 HAS SOUS 194260 HAS SOUPS 193591 WITH SCORE 194244.845
AT ITER 337 NEW BEST:: SOT 1079553 SOS 652676 HAS SOPS 648314 HAS SOUS 194229 HAS SOUPS 193560 WITH SCORE 194212.676
AT ITER 338 NEW BEST:: SOT 1079608 SOS 652823 HAS SOPS 648461 HAS SOUS 194030 HAS SOUPS 193361 WITH SCORE 194013.823
AT ITER 342 NEW BEST:: SOT 1079582 SOS 652809 HAS SOPS 648447 HAS SOUS 194016 HAS SOUPS 193347 WITH SCORE 193999.809
AT ITER 347 NEW BEST:: SOT 1079200 SOS 652181 HAS SOPS 647819 HAS SOUS 193621 HAS SOUPS 192952 WITH SCORE 193604.181
AT ITER 349 NEW BEST:: SOT 1056420 SOS 629393 HAS SOPS 625031 HAS SOUS 189049 HAS SOUPS 188380 WITH SCORE 189009.393
AT ITER 353 NEW BEST:: SOT 1056420 SOS 629393 HAS SOPS 625031 HAS SOUS 189029 HAS SOUPS 188360 WITH SCORE 188989.393
AT ITER 355 NEW BEST:: SOT 1056379 SOS 629346 HAS SOPS 624984 HAS SOUS 188952 HAS SOUPS 188283 WITH SCORE 188912.346
AT ITER 356 NEW BEST:: SOT 1056216 SOS 629183 HAS SOPS 624821 HAS SOUS 188942 HAS SOUPS 188273 WITH SCORE 188902.183
AT ITER 363 NEW BEST:: SOT 1056174 SOS 629219 HAS SOPS 624857 HAS SOUS 188735 HAS SOUPS 188066 WITH SCORE 188695.219
AT ITER 365 NEW BEST:: SOT 1056023 SOS 629068 HAS SOPS 624706 HAS SOUS 188589 HAS SOUPS 187920 WITH SCORE 188549.068
AT ITER 368 NEW BEST:: SOT 1055862 SOS 628905 HAS SOPS 624620 HAS SOUS 188525 HAS SOUPS 187856 WITH SCORE 188484.905
AT ITER 369 NEW BEST:: SOT 1055878 SOS 628921 HAS SOPS 624636 HAS SOUS 188417 HAS SOUPS 187748 WITH SCORE 188376.921
AT ITER 378 NEW BEST:: SOT 1055866 SOS 628909 HAS SOPS 624624 HAS SOUS 188405 HAS SOUPS 187736 WITH SCORE 188364.909
AT ITER 379 NEW BEST:: SOT 1055295 SOS 628155 HAS SOPS 623870 HAS SOUS 187832 HAS SOUPS 187163 WITH SCORE 187791.155
AT ITER 383 NEW BEST:: SOT 1004574 SOS 591034 HAS SOPS 586749 HAS SOUS 178970 HAS SOUPS 178301 WITH SCORE 178892.034
AT ITER 415 NEW BEST:: SOT 1004439 SOS 590892 HAS SOPS 586607 HAS SOUS 178874 HAS SOUPS 178205 WITH SCORE 178795.892
AT ITER 416 NEW BEST:: SOT 1003840 SOS 590482 HAS SOPS 586197 HAS SOUS 178624 HAS SOUPS 177955 WITH SCORE 178545.482
AT ITER 422 NEW BEST:: SOT 1003746 SOS 590298 HAS SOPS 586013 HAS SOUS 178594 HAS SOUPS 177925 WITH SCORE 178515.298
AT ITER 428 NEW BEST:: SOT 1003781 SOS 590333 HAS SOPS 586024 HAS SOUS 178587 HAS SOUPS 177915 WITH SCORE 178505.333
AT ITER 434 NEW BEST:: SOT 1003645 SOS 590134 HAS SOPS 585900 HAS SOUS 177894 HAS SOUPS 177222 WITH SCORE 177812.134
AT ITER 440 NEW BEST:: SOT 1003549 SOS 590014 HAS SOPS 585780 HAS SOUS 177753 HAS SOUPS 177081 WITH SCORE 177671.014
AT ITER 450 NEW BEST:: SOT 1003345 SOS 589799 HAS SOPS 585565 HAS SOUS 177651 HAS SOUPS 176979 WITH SCORE 177568.799
AT ITER 459 NEW BEST:: SOT 1003345 SOS 589799 HAS SOPS 585565 HAS SOUS 177645 HAS SOUPS 176973 WITH SCORE 177562.799
AT ITER 460 NEW BEST:: SOT 1003442 SOS 590134 HAS SOPS 585900 HAS SOUS 177631 HAS SOUPS 176959 WITH SCORE 177549.134
AT ITER 467 NEW BEST:: SOT 1002656 SOS 589412 HAS SOPS 585178 HAS SOUS 176789 HAS SOUPS 176117 WITH SCORE 176706.412
AT ITER 476 NEW BEST:: SOT 1002629 SOS 589375 HAS SOPS 585141 HAS SOUS 176764 HAS SOUPS 176092 WITH SCORE 176681.375
AT ITER 484 NEW BEST:: SOT 1002422 SOS 589209 HAS SOPS 584975 HAS SOUS 176636 HAS SOUPS 175964 WITH SCORE 176553.209
AT ITER 493 NEW BEST:: SOT 1002286 SOS 589178 HAS SOPS 585018 HAS SOUS 176572 HAS SOUPS 175900 WITH SCORE 176489.178
AT ITER 495 NEW BEST:: SOT 1002239 SOS 589131 HAS SOPS 584971 HAS SOUS 176537 HAS SOUPS 175865 WITH SCORE 176454.131
AT ITER 506 NEW BEST:: SOT 1002245 SOS 589089 HAS SOPS 584929 HAS SOUS 175733 HAS SOUPS 175061 WITH SCORE 175650.089
AT ITER 516 NEW BEST:: SOT 1002246 SOS 589161 HAS SOPS 585001 HAS SOUS 175653 HAS SOUPS 174981 WITH SCORE 175570.161
AT ITER 519 NEW BEST:: SOT 1001025 SOS 588008 HAS SOPS 583848 HAS SOUS 175632 HAS SOUPS 174960 WITH SCORE 175548.008
AT ITER 520 NEW BEST:: SOT 1000334 SOS 587490 HAS SOPS 583330 HAS SOUS 174625 HAS SOUPS 173953 WITH SCORE 174540.49
AT ITER 529 NEW BEST:: SOT 999900 SOS 587169 HAS SOPS 583009 HAS SOUS 174342 HAS SOUPS 173670 WITH SCORE 174257.169
AT ITER 543 NEW BEST:: SOT 999830 SOS 587099 HAS SOPS 582939 HAS SOUS 174288 HAS SOUPS 173616 WITH SCORE 174203.099
AT ITER 545 NEW BEST:: SOT 999826 SOS 587095 HAS SOPS 582935 HAS SOUS 174272 HAS SOUPS 173600 WITH SCORE 174187.095
AT ITER 551 NEW BEST:: SOT 999717 SOS 586935 HAS SOPS 582839 HAS SOUS 174235 HAS SOUPS 173563 WITH SCORE 174149.935
AT ITER 552 NEW BEST:: SOT 999694 SOS 586889 HAS SOPS 582793 HAS SOUS 174189 HAS SOUPS 173517 WITH SCORE 174103.889
AT ITER 559 NEW BEST:: SOT 1001098 SOS 588380 HAS SOPS 584284 HAS SOUS 173936 HAS SOUPS 173264 WITH SCORE 173852.38
AT ITER 560 NEW BEST:: SOT 1001085 SOS 588297 HAS SOPS 584198 HAS SOUS 173910 HAS SOUPS 173238 WITH SCORE 173826.297
AT ITER 574 NEW BEST:: SOT 1000999 SOS 588183 HAS SOPS 584084 HAS SOUS 173809 HAS SOUPS 173137 WITH SCORE 173725.183
AT ITER 585 NEW BEST:: SOT 957131 SOS 556215 HAS SOPS 552116 HAS SOUS 166161 HAS SOUPS 165489 WITH SCORE 166045.215
AT ITER 591 NEW BEST:: SOT 957095 SOS 556179 HAS SOPS 552080 HAS SOUS 166143 HAS SOUPS 165471 WITH SCORE 166027.179
AT ITER 594 NEW BEST:: SOT 956811 SOS 555678 HAS SOPS 551579 HAS SOUS 165735 HAS SOUPS 165063 WITH SCORE 165618.678
AT ITER 598 NEW BEST:: SOT 956646 SOS 555441 HAS SOPS 551345 HAS SOUS 165586 HAS SOUPS 164914 WITH SCORE 165469.441
AT ITER 600 NEW BEST:: SOT 956654 SOS 555449 HAS SOPS 551353 HAS SOUS 165470 HAS SOUPS 164798 WITH SCORE 165353.449
AT ITER 611 NEW BEST:: SOT 956664 SOS 555459 HAS SOPS 551363 HAS SOUS 165459 HAS SOUPS 164787 WITH SCORE 165342.459
AT ITER 615 NEW BEST:: SOT 956531 SOS 555307 HAS SOPS 551211 HAS SOUS 165307 HAS SOUPS 164635 WITH SCORE 165190.307
AT ITER 624 NEW BEST:: SOT 956518 SOS 555294 HAS SOPS 551198 HAS SOUS 165282 HAS SOUPS 164610 WITH SCORE 165165.294
AT ITER 632 NEW BEST:: SOT 956427 SOS 554779 HAS SOPS 550683 HAS SOUS 164950 HAS SOUPS 164278 WITH SCORE 164832.779
AT ITER 635 NEW BEST:: SOT 956373 SOS 554725 HAS SOPS 550629 HAS SOUS 164896 HAS SOUPS 164224 WITH SCORE 164778.725
AT ITER 640 NEW BEST:: SOT 956237 SOS 554589 HAS SOPS 550493 HAS SOUS 164261 HAS SOUPS 163589 WITH SCORE 164143.589
AT ITER 652 NEW BEST:: SOT 955927 SOS 554191 HAS SOPS 550095 HAS SOUS 162189 HAS SOUPS 161517 WITH SCORE 162071.191
AT ITER 660 NEW BEST:: SOT 955954 SOS 554272 HAS SOPS 550176 HAS SOUS 162169 HAS SOUPS 161497 WITH SCORE 162051.272
AT ITER 663 NEW BEST:: SOT 956091 SOS 555457 HAS SOPS 551373 HAS SOUS 161974 HAS SOUPS 161303 WITH SCORE 161858.457
AT ITER 671 NEW BEST:: SOT 955836 SOS 555034 HAS SOPS 550950 HAS SOUS 161749 HAS SOUPS 161078 WITH SCORE 161633.034
AT ITER 678 NEW BEST:: SOT 955827 SOS 552732 HAS SOPS 548648 HAS SOUS 161744 HAS SOUPS 161073 WITH SCORE 161625.732
AT ITER 681 NEW BEST:: SOT 955823 SOS 552728 HAS SOPS 548644 HAS SOUS 161742 HAS SOUPS 161071 WITH SCORE 161623.728
AT ITER 692 NEW BEST:: SOT 955788 SOS 552693 HAS SOPS 548609 HAS SOUS 161716 HAS SOUPS 161045 WITH SCORE 161597.693
AT ITER 716 NEW BEST:: SOT 955616 SOS 552493 HAS SOPS 548409 HAS SOUS 161623 HAS SOUPS 160952 WITH SCORE 161504.493
AT ITER 718 NEW BEST:: SOT 955616 SOS 552493 HAS SOPS 548409 HAS SOUS 161620 HAS SOUPS 160949 WITH SCORE 161501.493
AT ITER 722 NEW BEST:: SOT 955611 SOS 552488 HAS SOPS 548404 HAS SOUS 161615 HAS SOUPS 160944 WITH SCORE 161496.488
AT ITER 744 NEW BEST:: SOT 955592 SOS 550113 HAS SOPS 546029 HAS SOUS 161615 HAS SOUPS 160944 WITH SCORE 161494.113
AT ITER 752 NEW BEST:: SOT 955592 SOS 550113 HAS SOPS 546029 HAS SOUS 161609 HAS SOUPS 160938 WITH SCORE 161488.113
AT ITER 755 NEW BEST:: SOT 955592 SOS 550092 HAS SOPS 546008 HAS SOUS 161609 HAS SOUPS 160938 WITH SCORE 161488.092
AT ITER 759 NEW BEST:: SOT 955577 SOS 550077 HAS SOPS 545993 HAS SOUS 161579 HAS SOUPS 160908 WITH SCORE 161458.077
AT ITER 785 NEW BEST:: SOT 955577 SOS 549897 HAS SOPS 545813 HAS SOUS 161579 HAS SOUPS 160908 WITH SCORE 161457.897
AT ITER 788 NEW BEST:: SOT 955547 SOS 529058 HAS SOPS 524974 HAS SOUS 161516 HAS SOUPS 160845 WITH SCORE 161374.058
AT ITER 790 NEW BEST:: SOT 955406 SOS 528966 HAS SOPS 524882 HAS SOUS 161471 HAS SOUPS 160800 WITH SCORE 161328.966
AT ITER 803 NEW BEST:: SOT 955206 SOS 528262 HAS SOPS 524178 HAS SOUS 161175 HAS SOUPS 160504 WITH SCORE 161032.262
AT ITER 813 NEW BEST:: SOT 955164 SOS 528234 HAS SOPS 524150 HAS SOUS 161077 HAS SOUPS 160406 WITH SCORE 160934.234
AT ITER 817 NEW BEST:: SOT 955106 SOS 528147 HAS SOPS 524063 HAS SOUS 160991 HAS SOUPS 160320 WITH SCORE 160848.147
AT ITER 832 NEW BEST:: SOT 955040 SOS 528081 HAS SOPS 523997 HAS SOUS 160576 HAS SOUPS 159905 WITH SCORE 160433.081
AT ITER 835 NEW BEST:: SOT 954967 SOS 527863 HAS SOPS 523779 HAS SOUS 160555 HAS SOUPS 159884 WITH SCORE 160411.863
AT ITER 849 NEW BEST:: SOT 953942 SOS 526811 HAS SOPS 522727 HAS SOUS 159508 HAS SOUPS 158837 WITH SCORE 159363.811
AT ITER 861 NEW BEST:: SOT 953760 SOS 526660 HAS SOPS 522576 HAS SOUS 159436 HAS SOUPS 158765 WITH SCORE 159291.66
AT ITER 867 NEW BEST:: SOT 953644 SOS 526544 HAS SOPS 522460 HAS SOUS 159366 HAS SOUPS 158695 WITH SCORE 159221.544
AT ITER 870 NEW BEST:: SOT 953242 SOS 525890 HAS SOPS 521806 HAS SOUS 158940 HAS SOUPS 158269 WITH SCORE 158794.89
AT ITER 880 NEW BEST:: SOT 953192 SOS 525816 HAS SOPS 521732 HAS SOUS 158919 HAS SOUPS 158248 WITH SCORE 158773.816
AT ITER 882 NEW BEST:: SOT 953241 SOS 525813 HAS SOPS 521705 HAS SOUS 158880 HAS SOUPS 158209 WITH SCORE 158734.813
AT ITER 884 NEW BEST:: SOT 953070 SOS 525632 HAS SOPS 521524 HAS SOUS 158538 HAS SOUPS 157867 WITH SCORE 158392.632
AT ITER 893 NEW BEST:: SOT 952256 SOS 524771 HAS SOPS 520663 HAS SOUS 157671 HAS SOUPS 157000 WITH SCORE 157524.771
AT ITER 906 NEW BEST:: SOT 952256 SOS 524797 HAS SOPS 520689 HAS SOUS 157315 HAS SOUPS 156644 WITH SCORE 157168.797
AT ITER 917 NEW BEST:: SOT 952234 SOS 524769 HAS SOPS 520661 HAS SOUS 157271 HAS SOUPS 156600 WITH SCORE 157124.769
AT ITER 943 NEW BEST:: SOT 952231 SOS 524817 HAS SOPS 520601 HAS SOUS 157319 HAS SOUPS 156540 WITH SCORE 157064.817
AT ITER 949 NEW BEST:: SOT 952169 SOS 523004 HAS SOPS 518788 HAS SOUS 157253 HAS SOUPS 156474 WITH SCORE 156997.004
AT ITER 962 NEW BEST:: SOT 952175 SOS 522971 HAS SOPS 518755 HAS SOUS 157129 HAS SOUPS 156350 WITH SCORE 156872.971
AT ITER 967 NEW BEST:: SOT 952139 SOS 523003 HAS SOPS 518787 HAS SOUS 157029 HAS SOUPS 156250 WITH SCORE 156773.003
AT ITER 973 NEW BEST:: SOT 952139 SOS 514528 HAS SOPS 510312 HAS SOUS 157029 HAS SOUPS 156250 WITH SCORE 156764.528
AT ITER 985 NEW BEST:: SOT 952134 SOS 514567 HAS SOPS 510351 HAS SOUS 156564 HAS SOUPS 155785 WITH SCORE 156299.567
AT ITER 992 NEW BEST:: SOT 952101 SOS 514450 HAS SOPS 510234 HAS SOUS 156441 HAS SOUPS 155662 WITH SCORE 156176.45
AT ITER 999 NEW BEST:: SOT 952090 SOS 514439 HAS SOPS 510212 HAS SOUS 156419 HAS SOUPS 155640 WITH SCORE 156154.439
AT ITER 1008 NEW BEST:: SOT 952042 SOS 514391 HAS SOPS 510164 HAS SOUS 156298 HAS SOUPS 155519 WITH SCORE 156033.391
AT ITER 1051 NEW BEST:: SOT 952017 SOS 514366 HAS SOPS 510139 HAS SOUS 156298 HAS SOUPS 155519 WITH SCORE 156033.366
AT ITER 1052 NEW BEST:: SOT 951965 SOS 514182 HAS SOPS 509955 HAS SOUS 156201 HAS SOUPS 155422 WITH SCORE 155936.182
AT ITER 1062 NEW BEST:: SOT 951965 SOS 514170 HAS SOPS 509931 HAS SOUS 156189 HAS SOUPS 155410 WITH SCORE 155924.17
AT ITER 1076 NEW BEST:: SOT 951946 SOS 497553 HAS SOPS 493314 HAS SOUS 155985 HAS SOUPS 155206 WITH SCORE 155703.553
AT ITER 1079 NEW BEST:: SOT 951833 SOS 497440 HAS SOPS 493201 HAS SOUS 155598 HAS SOUPS 154819 WITH SCORE 155316.44
AT ITER 1082 NEW BEST:: SOT 951575 SOS 497098 HAS SOPS 492859 HAS SOUS 155596 HAS SOUPS 154817 WITH SCORE 155314.098
AT ITER 1088 NEW BEST:: SOT 951529 SOS 497006 HAS SOPS 492767 HAS SOUS 155554 HAS SOUPS 154775 WITH SCORE 155272.006
AT ITER 1092 NEW BEST:: SOT 950807 SOS 496269 HAS SOPS 492030 HAS SOUS 154719 HAS SOUPS 153940 WITH SCORE 154436.269
AT ITER 1108 NEW BEST:: SOT 951271 SOS 496656 HAS SOPS 492417 HAS SOUS 154353 HAS SOUPS 153574 WITH SCORE 154070.656
AT ITER 1113 NEW BEST:: SOT 950812 SOS 496291 HAS SOPS 492052 HAS SOUS 153936 HAS SOUPS 153157 WITH SCORE 153653.291
AT ITER 1121 NEW BEST:: SOT 951015 SOS 496373 HAS SOPS 492134 HAS SOUS 153815 HAS SOUPS 153036 WITH SCORE 153532.373
AT ITER 1124 NEW BEST:: SOT 950987 SOS 496277 HAS SOPS 492038 HAS SOUS 153271 HAS SOUPS 152492 WITH SCORE 152988.277
AT ITER 1131 NEW BEST:: SOT 950363 SOS 495532 HAS SOPS 491219 HAS SOUS 152309 HAS SOUPS 151530 WITH SCORE 152025.532
AT ITER 1135 NEW BEST:: SOT 950255 SOS 495563 HAS SOPS 491250 HAS SOUS 152215 HAS SOUPS 151436 WITH SCORE 151931.563
AT ITER 1151 NEW BEST:: SOT 950249 SOS 495557 HAS SOPS 491244 HAS SOUS 152209 HAS SOUPS 151430 WITH SCORE 151925.557
AT ITER 1163 NEW BEST:: SOT 948335 SOS 493611 HAS SOPS 489298 HAS SOUS 152083 HAS SOUPS 151304 WITH SCORE 151797.611
AT ITER 1181 NEW BEST:: SOT 948755 SOS 494031 HAS SOPS 489718 HAS SOUS 151863 HAS SOUPS 151084 WITH SCORE 151578.031
AT ITER 1229 NEW BEST:: SOT 948701 SOS 493923 HAS SOPS 489610 HAS SOUS 151755 HAS SOUPS 150976 WITH SCORE 151469.923
AT ITER 1236 NEW BEST:: SOT 949115 SOS 495811 HAS SOPS 491498 HAS SOUS 151641 HAS SOUPS 150862 WITH SCORE 151357.811
AT ITER 1238 NEW BEST:: SOT 949050 SOS 495747 HAS SOPS 491434 HAS SOUS 151612 HAS SOUPS 150833 WITH SCORE 151328.747
AT ITER 1248 NEW BEST:: SOT 949028 SOS 489817 HAS SOPS 486488 HAS SOUS 151360 HAS SOUPS 150745 WITH SCORE 151234.817
AT ITER 1251 NEW BEST:: SOT 949017 SOS 489975 HAS SOPS 486657 HAS SOUS 151352 HAS SOUPS 150738 WITH SCORE 151227.975
AT ITER 1280 NEW BEST:: SOT 948657 SOS 489776 HAS SOPS 486458 HAS SOUS 150944 HAS SOUPS 150330 WITH SCORE 150819.776
AT ITER 1292 NEW BEST:: SOT 948621 SOS 489776 HAS SOPS 486458 HAS SOUS 150872 HAS SOUPS 150258 WITH SCORE 150747.776
AT ITER 1304 NEW BEST:: SOT 948630 SOS 489785 HAS SOPS 486495 HAS SOUS 150846 HAS SOUPS 150232 WITH SCORE 150721.785
AT ITER 1316 NEW BEST:: SOT 948094 SOS 489249 HAS SOPS 485959 HAS SOUS 150259 HAS SOUPS 149645 WITH SCORE 150134.249
AT ITER 1330 NEW BEST:: SOT 947915 SOS 489070 HAS SOPS 485780 HAS SOUS 150062 HAS SOUPS 149448 WITH SCORE 149937.07
AT ITER 1352 NEW BEST:: SOT 947933 SOS 489310 HAS SOPS 486020 HAS SOUS 150041 HAS SOUPS 149427 WITH SCORE 149916.31
AT ITER 1354 NEW BEST:: SOT 927404 SOS 498866 HAS SOPS 495576 HAS SOUS 149661 HAS SOUPS 149047 WITH SCORE 149545.866
AT ITER 1358 NEW BEST:: SOT 927404 SOS 498859 HAS SOPS 495569 HAS SOUS 149645 HAS SOUPS 149031 WITH SCORE 149529.859
AT ITER 1363 NEW BEST:: SOT 927626 SOS 499217 HAS SOPS 495927 HAS SOUS 149638 HAS SOUPS 149024 WITH SCORE 149523.217
AT ITER 1366 NEW BEST:: SOT 927387 SOS 498978 HAS SOPS 495688 HAS SOUS 149376 HAS SOUPS 148762 WITH SCORE 149260.978
AT ITER 1371 NEW BEST:: SOT 927387 SOS 499294 HAS SOPS 496004 HAS SOUS 149305 HAS SOUPS 148691 WITH SCORE 149190.294
AT ITER 1376 NEW BEST:: SOT 927379 SOS 499016 HAS SOPS 495726 HAS SOUS 149305 HAS SOUPS 148691 WITH SCORE 149190.016
AT ITER 1379 NEW BEST:: SOT 927370 SOS 498998 HAS SOPS 495708 HAS SOUS 149287 HAS SOUPS 148673 WITH SCORE 149171.998
AT ITER 1389 NEW BEST:: SOT 927344 SOS 498972 HAS SOPS 495682 HAS SOUS 149151 HAS SOUPS 148537 WITH SCORE 149035.972
AT ITER 1403 NEW BEST:: SOT 927256 SOS 498928 HAS SOPS 495638 HAS SOUS 149063 HAS SOUPS 148449 WITH SCORE 148947.928
AT ITER 1404 NEW BEST:: SOT 927001 SOS 498934 HAS SOPS 495644 HAS SOUS 148957 HAS SOUPS 148343 WITH SCORE 148841.934
AT ITER 1413 NEW BEST:: SOT 927011 SOS 498944 HAS SOPS 495641 HAS SOUS 148940 HAS SOUPS 148317 WITH SCORE 148815.944
AT ITER 1414 NEW BEST:: SOT 926984 SOS 496651 HAS SOPS 493348 HAS SOUS 148758 HAS SOUPS 148135 WITH SCORE 148631.651
AT ITER 1419 NEW BEST:: SOT 926905 SOS 496462 HAS SOPS 493159 HAS SOUS 148645 HAS SOUPS 148022 WITH SCORE 148518.462
AT ITER 1426 NEW BEST:: SOT 886483 SOS 456009 HAS SOPS 452706 HAS SOUS 140931 HAS SOUPS 140308 WITH SCORE 140764.009
AT ITER 1436 NEW BEST:: SOT 886606 SOS 455991 HAS SOPS 447696 HAS SOUS 141211 HAS SOUPS 139756 WITH SCORE 140211.991
AT ITER 1439 NEW BEST:: SOT 886589 SOS 455981 HAS SOPS 447686 HAS SOUS 141194 HAS SOUPS 139739 WITH SCORE 140194.981
AT ITER 1458 NEW BEST:: SOT 886589 SOS 455974 HAS SOPS 447679 HAS SOUS 141194 HAS SOUPS 139739 WITH SCORE 140194.974
AT ITER 1459 NEW BEST:: SOT 886624 SOS 455959 HAS SOPS 447664 HAS SOUS 141185 HAS SOUPS 139730 WITH SCORE 140185.959
AT ITER 1463 NEW BEST:: SOT 886569 SOS 455784 HAS SOPS 447489 HAS SOUS 141160 HAS SOUPS 139705 WITH SCORE 140160.784
AT ITER 1482 NEW BEST:: SOT 886513 SOS 455539 HAS SOPS 447244 HAS SOUS 140968 HAS SOUPS 139513 WITH SCORE 139968.539
AT ITER 1490 NEW BEST:: SOT 886430 SOS 455437 HAS SOPS 447142 HAS SOUS 140892 HAS SOUPS 139437 WITH SCORE 139892.437
AT ITER 1497 NEW BEST:: SOT 886430 SOS 455437 HAS SOPS 447142 HAS SOUS 140589 HAS SOUPS 139134 WITH SCORE 139589.437
AT ITER 1506 NEW BEST:: SOT 886414 SOS 455291 HAS SOPS 446996 HAS SOUS 140557 HAS SOUPS 139102 WITH SCORE 139557.291
AT ITER 1510 NEW BEST:: SOT 886414 SOS 455322 HAS SOPS 447027 HAS SOUS 140214 HAS SOUPS 138759 WITH SCORE 139214.322
AT ITER 1513 NEW BEST:: SOT 886305 SOS 455357 HAS SOPS 446971 HAS SOUS 140009 HAS SOUPS 138554 WITH SCORE 139009.357
AT ITER 1542 NEW BEST:: SOT 886280 SOS 455332 HAS SOPS 446946 HAS SOUS 139984 HAS SOUPS 138529 WITH SCORE 138984.332
AT ITER 1560 NEW BEST:: SOT 886236 SOS 455210 HAS SOPS 446925 HAS SOUS 139898 HAS SOUPS 138443 WITH SCORE 138898.21
AT ITER 1566 NEW BEST:: SOT 886074 SOS 455048 HAS SOPS 446763 HAS SOUS 139769 HAS SOUPS 138314 WITH SCORE 138769.048
AT ITER 1580 NEW BEST:: SOT 886074 SOS 454982 HAS SOPS 446697 HAS SOUS 139769 HAS SOUPS 138314 WITH SCORE 138768.982
AT ITER 1583 NEW BEST:: SOT 886074 SOS 454982 HAS SOPS 446697 HAS SOUS 139758 HAS SOUPS 138303 WITH SCORE 138757.982
AT ITER 1592 NEW BEST:: SOT 885946 SOS 454790 HAS SOPS 446505 HAS SOUS 139566 HAS SOUPS 138111 WITH SCORE 138565.79
AT ITER 1602 NEW BEST:: SOT 885210 SOS 454100 HAS SOPS 445815 HAS SOUS 138879 HAS SOUPS 137424 WITH SCORE 137878.1
AT ITER 1606 NEW BEST:: SOT 885210 SOS 454070 HAS SOPS 445785 HAS SOUS 138852 HAS SOUPS 137397 WITH SCORE 137851.07
AT ITER 1611 NEW BEST:: SOT 885157 SOS 453871 HAS SOPS 445586 HAS SOUS 138646 HAS SOUPS 137191 WITH SCORE 137644.871
AT ITER 1629 NEW BEST:: SOT 885019 SOS 453347 HAS SOPS 445062 HAS SOUS 138332 HAS SOUPS 136877 WITH SCORE 137330.347
AT ITER 1636 NEW BEST:: SOT 884665 SOS 452993 HAS SOPS 444708 HAS SOUS 138230 HAS SOUPS 136775 WITH SCORE 137227.993
AT ITER 1637 NEW BEST:: SOT 884633 SOS 452961 HAS SOPS 444676 HAS SOUS 138196 HAS SOUPS 136741 WITH SCORE 137193.961
AT ITER 1663 NEW BEST:: SOT 884620 SOS 452942 HAS SOPS 444657 HAS SOUS 138177 HAS SOUPS 136722 WITH SCORE 137174.942
AT ITER 1665 NEW BEST:: SOT 884596 SOS 452918 HAS SOPS 444609 HAS SOUS 138099 HAS SOUPS 136644 WITH SCORE 137096.918
AT ITER 1672 NEW BEST:: SOT 884346 SOS 452761 HAS SOPS 444452 HAS SOUS 137959 HAS SOUPS 136504 WITH SCORE 136956.761
AT ITER 1684 NEW BEST:: SOT 884328 SOS 450731 HAS SOPS 442422 HAS SOUS 137887 HAS SOUPS 136432 WITH SCORE 136882.731
AT ITER 1688 NEW BEST:: SOT 884280 SOS 450683 HAS SOPS 442374 HAS SOUS 137860 HAS SOUPS 136405 WITH SCORE 136855.683
AT ITER 1700 NEW BEST:: SOT 884280 SOS 450683 HAS SOPS 442406 HAS SOUS 137796 HAS SOUPS 136341 WITH SCORE 136791.683
AT ITER 1722 NEW BEST:: SOT 885374 SOS 394846 HAS SOPS 386569 HAS SOUS 137220 HAS SOUPS 135765 WITH SCORE 136159.846
AT ITER 1727 NEW BEST:: SOT 885344 SOS 394816 HAS SOPS 386539 HAS SOUS 137150 HAS SOUPS 135695 WITH SCORE 136089.816
AT ITER 1748 NEW BEST:: SOT 883683 SOS 393125 HAS SOPS 384848 HAS SOUS 136909 HAS SOUPS 135454 WITH SCORE 135847.125
AT ITER 1753 NEW BEST:: SOT 883548 SOS 392940 HAS SOPS 385263 HAS SOUS 136749 HAS SOUPS 135394 WITH SCORE 135786.94
AT ITER 1758 NEW BEST:: SOT 883402 SOS 392794 HAS SOPS 385117 HAS SOUS 136735 HAS SOUPS 135380 WITH SCORE 135772.794
AT ITER 1771 NEW BEST:: SOT 883117 SOS 392468 HAS SOPS 384791 HAS SOUS 136430 HAS SOUPS 135075 WITH SCORE 135467.468
AT ITER 1788 NEW BEST:: SOT 883096 SOS 392455 HAS SOPS 384778 HAS SOUS 136426 HAS SOUPS 135071 WITH SCORE 135463.455
AT ITER 1793 NEW BEST:: SOT 883082 SOS 392409 HAS SOPS 384732 HAS SOUS 136412 HAS SOUPS 135057 WITH SCORE 135449.409
AT ITER 1800 NEW BEST:: SOT 883073 SOS 392399 HAS SOPS 384722 HAS SOUS 136398 HAS SOUPS 135043 WITH SCORE 135435.399
AT ITER 1807 NEW BEST:: SOT 883073 SOS 392397 HAS SOPS 384720 HAS SOUS 136398 HAS SOUPS 135043 WITH SCORE 135435.397
AT ITER 1813 NEW BEST:: SOT 883000 SOS 391778 HAS SOPS 384101 HAS SOUS 136353 HAS SOUPS 134998 WITH SCORE 135389.778
AT ITER 1814 NEW BEST:: SOT 882997 SOS 391778 HAS SOPS 384101 HAS SOUS 136341 HAS SOUPS 134986 WITH SCORE 135377.778
AT ITER 1819 NEW BEST:: SOT 865670 SOS 382193 HAS SOPS 374516 HAS SOUS 134881 HAS SOUPS 133526 WITH SCORE 133908.193
AT ITER 1888 NEW BEST:: SOT 865661 SOS 382184 HAS SOPS 374507 HAS SOUS 134881 HAS SOUPS 133526 WITH SCORE 133908.184
AT ITER 1904 NEW BEST:: SOT 865632 SOS 382126 HAS SOPS 374449 HAS SOUS 134823 HAS SOUPS 133468 WITH SCORE 133850.126
AT ITER 1905 NEW BEST:: SOT 865632 SOS 382126 HAS SOPS 374449 HAS SOUS 134801 HAS SOUPS 133446 WITH SCORE 133828.126
AT ITER 1930 NEW BEST:: SOT 865632 SOS 382018 HAS SOPS 374341 HAS SOUS 134786 HAS SOUPS 133431 WITH SCORE 133813.018
AT ITER 1931 NEW BEST:: SOT 865593 SOS 381979 HAS SOPS 374302 HAS SOUS 134721 HAS SOUPS 133366 WITH SCORE 133747.979
AT ITER 1943 NEW BEST:: SOT 865446 SOS 381893 HAS SOPS 374216 HAS SOUS 134260 HAS SOUPS 132905 WITH SCORE 133286.893
AT ITER 1944 NEW BEST:: SOT 865442 SOS 381885 HAS SOPS 374208 HAS SOUS 134256 HAS SOUPS 132901 WITH SCORE 133282.885
AT ITER 1945 NEW BEST:: SOT 850230 SOS 377013 HAS SOPS 369336 HAS SOUS 133294 HAS SOUPS 131939 WITH SCORE 132316.013
AT ITER 1953 NEW BEST:: SOT 850160 SOS 377039 HAS SOPS 369362 HAS SOUS 133281 HAS SOUPS 131926 WITH SCORE 132303.039
AT ITER 1959 NEW BEST:: SOT 850188 SOS 377057 HAS SOPS 369392 HAS SOUS 133158 HAS SOUPS 131805 WITH SCORE 132182.057
AT ITER 1964 NEW BEST:: SOT 850125 SOS 376994 HAS SOPS 369329 HAS SOUS 133023 HAS SOUPS 131670 WITH SCORE 132046.994
AT ITER 1981 NEW BEST:: SOT 850093 SOS 376925 HAS SOPS 369260 HAS SOUS 132947 HAS SOUPS 131594 WITH SCORE 131970.925
AT ITER 1990 NEW BEST:: SOT 847489 SOS 381420 HAS SOPS 373755 HAS SOUS 132900 HAS SOUPS 131547 WITH SCORE 131928.42
AT ITER 1994 NEW BEST:: SOT 847469 SOS 381444 HAS SOPS 373779 HAS SOUS 132880 HAS SOUPS 131527 WITH SCORE 131908.444
AT ITER 1996 NEW BEST:: SOT 847353 SOS 381328 HAS SOPS 373663 HAS SOUS 132495 HAS SOUPS 131142 WITH SCORE 131523.328
AT ITER 2001 NEW BEST:: SOT 847064 SOS 381072 HAS SOPS 373407 HAS SOUS 132316 HAS SOUPS 130963 WITH SCORE 131344.072
AT ITER 2025 NEW BEST:: SOT 846941 SOS 380916 HAS SOPS 373218 HAS SOUS 132127 HAS SOUPS 130774 WITH SCORE 131154.916
AT ITER 2038 NEW BEST:: SOT 846590 SOS 380678 HAS SOPS 372980 HAS SOUS 131816 HAS SOUPS 130463 WITH SCORE 130843.678
AT ITER 2041 NEW BEST:: SOT 846380 SOS 380468 HAS SOPS 372770 HAS SOUS 131633 HAS SOUPS 130280 WITH SCORE 130660.468
AT ITER 2057 NEW BEST:: SOT 846313 SOS 380309 HAS SOPS 372611 HAS SOUS 131605 HAS SOUPS 130252 WITH SCORE 130632.309
AT ITER 2059 NEW BEST:: SOT 846260 SOS 380275 HAS SOPS 372661 HAS SOUS 131552 HAS SOUPS 130199 WITH SCORE 130579.275
AT ITER 2068 NEW BEST:: SOT 846184 SOS 380203 HAS SOPS 372589 HAS SOUS 131482 HAS SOUPS 130129 WITH SCORE 130509.203
AT ITER 2073 NEW BEST:: SOT 846181 SOS 380200 HAS SOPS 372586 HAS SOUS 131476 HAS SOUPS 130123 WITH SCORE 130503.2
AT ITER 2086 NEW BEST:: SOT 846149 SOS 380156 HAS SOPS 372542 HAS SOUS 131432 HAS SOUPS 130079 WITH SCORE 130459.156
AT ITER 2092 NEW BEST:: SOT 846085 SOS 380082 HAS SOPS 372468 HAS SOUS 131400 HAS SOUPS 130047 WITH SCORE 130427.082
AT ITER 2106 NEW BEST:: SOT 846101 SOS 380098 HAS SOPS 372504 HAS SOUS 131384 HAS SOUPS 130031 WITH SCORE 130411.098
AT ITER 2121 NEW BEST:: SOT 847547 SOS 381657 HAS SOPS 374063 HAS SOUS 131362 HAS SOUPS 130009 WITH SCORE 130390.657
AT ITER 2138 NEW BEST:: SOT 847543 SOS 381652 HAS SOPS 374058 HAS SOUS 131354 HAS SOUPS 130001 WITH SCORE 130382.652
AT ITER 2191 NEW BEST:: SOT 847498 SOS 381607 HAS SOPS 374013 HAS SOUS 131264 HAS SOUPS 129911 WITH SCORE 130292.607
AT ITER 2197 NEW BEST:: SOT 847474 SOS 381595 HAS SOPS 374001 HAS SOUS 131261 HAS SOUPS 129908 WITH SCORE 130289.595
AT ITER 2205 NEW BEST:: SOT 847462 SOS 381581 HAS SOPS 373987 HAS SOUS 131247 HAS SOUPS 129894 WITH SCORE 130275.581
AT ITER 2221 NEW BEST:: SOT 847463 SOS 381582 HAS SOPS 373988 HAS SOUS 131211 HAS SOUPS 129858 WITH SCORE 130239.582
AT ITER 2226 NEW BEST:: SOT 847463 SOS 380975 HAS SOPS 373381 HAS SOUS 131151 HAS SOUPS 129798 WITH SCORE 130178.975
AT ITER 2238 NEW BEST:: SOT 847007 SOS 380632 HAS SOPS 373038 HAS SOUS 130714 HAS SOUPS 129361 WITH SCORE 129741.632
AT ITER 2241 NEW BEST:: SOT 846406 SOS 379876 HAS SOPS 372282 HAS SOUS 130125 HAS SOUPS 128772 WITH SCORE 129151.876
AT ITER 2242 NEW BEST:: SOT 846400 SOS 379870 HAS SOPS 372276 HAS SOUS 130113 HAS SOUPS 128760 WITH SCORE 129139.87
AT ITER 2267 NEW BEST:: SOT 846433 SOS 380053 HAS SOPS 372459 HAS SOUS 130098 HAS SOUPS 128745 WITH SCORE 129125.053
AT ITER 2289 NEW BEST:: SOT 846403 SOS 380271 HAS SOPS 372677 HAS SOUS 130089 HAS SOUPS 128736 WITH SCORE 129116.271
AT ITER 2342 NEW BEST:: SOT 846338 SOS 380206 HAS SOPS 372612 HAS SOUS 129978 HAS SOUPS 128625 WITH SCORE 129005.206
AT ITER 2359 NEW BEST:: SOT 846313 SOS 380170 HAS SOPS 372576 HAS SOUS 129912 HAS SOUPS 128559 WITH SCORE 128939.17
AT ITER 2395 NEW BEST:: SOT 846291 SOS 380148 HAS SOPS 372554 HAS SOUS 129912 HAS SOUPS 128559 WITH SCORE 128939.148
AT ITER 2412 NEW BEST:: SOT 846452 SOS 380326 HAS SOPS 372732 HAS SOUS 129654 HAS SOUPS 128301 WITH SCORE 128681.326
AT ITER 2416 NEW BEST:: SOT 846449 SOS 380323 HAS SOPS 372729 HAS SOUS 129648 HAS SOUPS 128295 WITH SCORE 128675.323
AT ITER 2423 NEW BEST:: SOT 846407 SOS 380281 HAS SOPS 372687 HAS SOUS 129632 HAS SOUPS 128279 WITH SCORE 128659.281
AT ITER 2436 NEW BEST:: SOT 846407 SOS 380281 HAS SOPS 372687 HAS SOUS 129571 HAS SOUPS 128218 WITH SCORE 128598.281
AT ITER 2460 NEW BEST:: SOT 846354 SOS 380228 HAS SOPS 372634 HAS SOUS 129511 HAS SOUPS 128158 WITH SCORE 128538.228
AT ITER 2471 NEW BEST:: SOT 846238 SOS 380020 HAS SOPS 372426 HAS SOUS 129417 HAS SOUPS 128064 WITH SCORE 128444.02
AT ITER 2475 NEW BEST:: SOT 846166 SOS 379948 HAS SOPS 372354 HAS SOUS 129333 HAS SOUPS 127980 WITH SCORE 128359.948
AT ITER 2479 NEW BEST:: SOT 846012 SOS 379680 HAS SOPS 372086 HAS SOUS 129298 HAS SOUPS 127945 WITH SCORE 128324.68
AT ITER 2496 NEW BEST:: SOT 845889 SOS 379192 HAS SOPS 371598 HAS SOUS 129150 HAS SOUPS 127797 WITH SCORE 128176.192
AT ITER 2505 NEW BEST:: SOT 845718 SOS 378918 HAS SOPS 371324 HAS SOUS 128976 HAS SOUPS 127623 WITH SCORE 128001.918
AT ITER 2521 NEW BEST:: SOT 845645 SOS 378888 HAS SOPS 371294 HAS SOUS 128892 HAS SOUPS 127539 WITH SCORE 127917.888
AT ITER 2523 NEW BEST:: SOT 845585 SOS 378682 HAS SOPS 371088 HAS SOUS 128756 HAS SOUPS 127403 WITH SCORE 127781.682
AT ITER 2525 NEW BEST:: SOT 845571 SOS 378668 HAS SOPS 371074 HAS SOUS 128736 HAS SOUPS 127383 WITH SCORE 127761.668
AT ITER 2527 NEW BEST:: SOT 845571 SOS 378660 HAS SOPS 371066 HAS SOUS 128703 HAS SOUPS 127350 WITH SCORE 127728.66
AT ITER 2541 NEW BEST:: SOT 845571 SOS 378670 HAS SOPS 371076 HAS SOUS 128688 HAS SOUPS 127335 WITH SCORE 127713.67
AT ITER 2542 NEW BEST:: SOT 845557 SOS 356099 HAS SOPS 348505 HAS SOUS 128345 HAS SOUPS 126992 WITH SCORE 127348.099
AT ITER 2543 NEW BEST:: SOT 845049 SOS 355449 HAS SOPS 347855 HAS SOUS 128161 HAS SOUPS 126808 WITH SCORE 127163.449
AT ITER 2580 NEW BEST:: SOT 845057 SOS 355577 HAS SOPS 347983 HAS SOUS 128086 HAS SOUPS 126733 WITH SCORE 127088.577
AT ITER 2589 NEW BEST:: SOT 845028 SOS 355548 HAS SOPS 347954 HAS SOUS 128074 HAS SOUPS 126721 WITH SCORE 127076.548
AT ITER 2595 NEW BEST:: SOT 844970 SOS 355391 HAS SOPS 347797 HAS SOUS 127859 HAS SOUPS 126506 WITH SCORE 126861.391
AT ITER 2614 NEW BEST:: SOT 844866 SOS 355313 HAS SOPS 347719 HAS SOUS 127781 HAS SOUPS 126428 WITH SCORE 126783.313
AT ITER 2645 NEW BEST:: SOT 844842 SOS 355289 HAS SOPS 347671 HAS SOUS 127737 HAS SOUPS 126380 WITH SCORE 126735.289
AT ITER 2652 NEW BEST:: SOT 844678 SOS 355019 HAS SOPS 347401 HAS SOUS 127467 HAS SOUPS 126110 WITH SCORE 126465.019
AT ITER 2672 NEW BEST:: SOT 844651 SOS 355847 HAS SOPS 348229 HAS SOUS 127421 HAS SOUPS 126064 WITH SCORE 126419.847
AT ITER 2675 NEW BEST:: SOT 844612 SOS 355780 HAS SOPS 348162 HAS SOUS 127354 HAS SOUPS 125997 WITH SCORE 126352.78
AT ITER 2705 NEW BEST:: SOT 844590 SOS 355670 HAS SOPS 348052 HAS SOUS 127354 HAS SOUPS 125997 WITH SCORE 126352.67
AT ITER 2709 NEW BEST:: SOT 844292 SOS 355500 HAS SOPS 347882 HAS SOUS 127143 HAS SOUPS 125786 WITH SCORE 126141.5
AT ITER 2721 NEW BEST:: SOT 844277 SOS 355473 HAS SOPS 347855 HAS SOUS 127124 HAS SOUPS 125767 WITH SCORE 126122.473
AT ITER 2725 NEW BEST:: SOT 844186 SOS 355397 HAS SOPS 347779 HAS SOUS 126872 HAS SOUPS 125515 WITH SCORE 125870.397
AT ITER 2727 NEW BEST:: SOT 844179 SOS 355432 HAS SOPS 347814 HAS SOUS 126865 HAS SOUPS 125508 WITH SCORE 125863.432
AT ITER 2735 NEW BEST:: SOT 844128 SOS 355369 HAS SOPS 347751 HAS SOUS 126793 HAS SOUPS 125436 WITH SCORE 125791.369
AT ITER 2749 NEW BEST:: SOT 844152 SOS 355309 HAS SOPS 347697 HAS SOUS 126793 HAS SOUPS 125436 WITH SCORE 125791.309
AT ITER 2758 NEW BEST:: SOT 844175 SOS 355012 HAS SOPS 347400 HAS SOUS 126790 HAS SOUPS 125433 WITH SCORE 125788.012
AT ITER 2782 NEW BEST:: SOT 843897 SOS 354621 HAS SOPS 347009 HAS SOUS 126584 HAS SOUPS 125227 WITH SCORE 125581.621
AT ITER 2784 NEW BEST:: SOT 843823 SOS 354547 HAS SOPS 346935 HAS SOUS 126372 HAS SOUPS 125015 WITH SCORE 125369.547
AT ITER 2795 NEW BEST:: SOT 843823 SOS 354479 HAS SOPS 346793 HAS SOUS 126298 HAS SOUPS 124941 WITH SCORE 125295.479
AT ITER 2838 NEW BEST:: SOT 843821 SOS 354475 HAS SOPS 346789 HAS SOUS 126294 HAS SOUPS 124937 WITH SCORE 125291.475
AT ITER 2861 NEW BEST:: SOT 843697 SOS 354380 HAS SOPS 346694 HAS SOUS 126046 HAS SOUPS 124689 WITH SCORE 125043.38
AT ITER 2867 NEW BEST:: SOT 843748 SOS 354090 HAS SOPS 346404 HAS SOUS 126000 HAS SOUPS 124643 WITH SCORE 124997.09
AT ITER 2876 NEW BEST:: SOT 843680 SOS 354022 HAS SOPS 346336 HAS SOUS 125894 HAS SOUPS 124537 WITH SCORE 124891.022
AT ITER 2883 NEW BEST:: SOT 843670 SOS 354012 HAS SOPS 346326 HAS SOUS 125874 HAS SOUPS 124517 WITH SCORE 124871.012
AT ITER 2887 NEW BEST:: SOT 843670 SOS 353934 HAS SOPS 346248 HAS SOUS 125562 HAS SOUPS 124205 WITH SCORE 124558.934
AT ITER 2890 NEW BEST:: SOT 843755 SOS 353941 HAS SOPS 346255 HAS SOUS 125555 HAS SOUPS 124198 WITH SCORE 124551.941
AT ITER 2903 NEW BEST:: SOT 843766 SOS 354190 HAS SOPS 346504 HAS SOUS 125511 HAS SOUPS 124154 WITH SCORE 124508.19
AT ITER 2907 NEW BEST:: SOT 843752 SOS 354176 HAS SOPS 346460 HAS SOUS 125467 HAS SOUPS 124109 WITH SCORE 124463.176
AT ITER 2910 NEW BEST:: SOT 843844 SOS 354192 HAS SOPS 346476 HAS SOUS 125422 HAS SOUPS 124064 WITH SCORE 124418.192
AT ITER 2924 NEW BEST:: SOT 843844 SOS 354199 HAS SOPS 346483 HAS SOUS 125408 HAS SOUPS 124050 WITH SCORE 124404.199
AT ITER 2935 NEW BEST:: SOT 843883 SOS 354904 HAS SOPS 347188 HAS SOUS 125402 HAS SOUPS 124044 WITH SCORE 124398.904
AT ITER 2949 NEW BEST:: SOT 841451 SOS 352353 HAS SOPS 344637 HAS SOUS 125272 HAS SOUPS 123914 WITH SCORE 124266.353
AT ITER 2950 NEW BEST:: SOT 840834 SOS 351799 HAS SOPS 344083 HAS SOUS 125183 HAS SOUPS 123825 WITH SCORE 124176.799
AT ITER 2962 NEW BEST:: SOT 840834 SOS 352137 HAS SOPS 344421 HAS SOUS 125170 HAS SOUPS 123812 WITH SCORE 124164.137
AT ITER 2982 NEW BEST:: SOT 840834 SOS 352135 HAS SOPS 344419 HAS SOUS 125168 HAS SOUPS 123810 WITH SCORE 124162.135
AT ITER 2986 NEW BEST:: SOT 840834 SOS 352115 HAS SOPS 344389 HAS SOUS 125148 HAS SOUPS 123790 WITH SCORE 124142.115
AT ITER 3019 NEW BEST:: SOT 840780 SOS 352251 HAS SOPS 344525 HAS SOUS 124881 HAS SOUPS 123523 WITH SCORE 123875.251
AT ITER 3057 NEW BEST:: SOT 840766 SOS 352237 HAS SOPS 344511 HAS SOUS 124867 HAS SOUPS 123509 WITH SCORE 123861.237
AT ITER 3061 NEW BEST:: SOT 840445 SOS 351975 HAS SOPS 344249 HAS SOUS 124593 HAS SOUPS 123235 WITH SCORE 123586.975
AT ITER 3066 NEW BEST:: SOT 840439 SOS 351967 HAS SOPS 344241 HAS SOUS 124585 HAS SOUPS 123227 WITH SCORE 123578.967
AT ITER 3074 NEW BEST:: SOT 840418 SOS 352000 HAS SOPS 344274 HAS SOUS 124547 HAS SOUPS 123189 WITH SCORE 123541.0
AT ITER 3076 NEW BEST:: SOT 840101 SOS 351803 HAS SOPS 344077 HAS SOUS 124350 HAS SOUPS 122992 WITH SCORE 123343.803
AT ITER 3095 NEW BEST:: SOT 839983 SOS 351759 HAS SOPS 344033 HAS SOUS 124341 HAS SOUPS 122983 WITH SCORE 123334.759
AT ITER 3118 NEW BEST:: SOT 839983 SOS 350566 HAS SOPS 342840 HAS SOUS 124341 HAS SOUPS 122983 WITH SCORE 123333.566
AT ITER 3133 NEW BEST:: SOT 839900 SOS 350332 HAS SOPS 342606 HAS SOUS 124240 HAS SOUPS 122882 WITH SCORE 123232.332
AT ITER 3136 NEW BEST:: SOT 839916 SOS 350348 HAS SOPS 342598 HAS SOUS 124219 HAS SOUPS 122861 WITH SCORE 123211.348
AT ITER 3140 NEW BEST:: SOT 839585 SOS 349891 HAS SOPS 342141 HAS SOUS 123762 HAS SOUPS 122404 WITH SCORE 122753.891
AT ITER 3141 NEW BEST:: SOT 839570 SOS 349864 HAS SOPS 342114 HAS SOUS 123696 HAS SOUPS 122338 WITH SCORE 122687.864
AT ITER 3142 NEW BEST:: SOT 839570 SOS 349806 HAS SOPS 342056 HAS SOUS 123696 HAS SOUPS 122338 WITH SCORE 122687.806
AT ITER 3143 NEW BEST:: SOT 839570 SOS 349800 HAS SOPS 342050 HAS SOUS 123681 HAS SOUPS 122323 WITH SCORE 122672.8
AT ITER 3152 NEW BEST:: SOT 839548 SOS 349775 HAS SOPS 342025 HAS SOUS 123659 HAS SOUPS 122301 WITH SCORE 122650.775
AT ITER 3168 NEW BEST:: SOT 839520 SOS 349719 HAS SOPS 341969 HAS SOUS 123555 HAS SOUPS 122197 WITH SCORE 122546.719
AT ITER 3179 NEW BEST:: SOT 839530 SOS 349682 HAS SOPS 341932 HAS SOUS 123525 HAS SOUPS 122167 WITH SCORE 122516.682
AT ITER 3191 NEW BEST:: SOT 839428 SOS 349566 HAS SOPS 341816 HAS SOUS 123449 HAS SOUPS 122091 WITH SCORE 122440.566
AT ITER 3214 NEW BEST:: SOT 841592 SOS 351831 HAS SOPS 344081 HAS SOUS 122810 HAS SOUPS 121452 WITH SCORE 121803.831
AT ITER 3234 NEW BEST:: SOT 841362 SOS 351693 HAS SOPS 343943 HAS SOUS 122748 HAS SOUPS 121390 WITH SCORE 121741.693
AT ITER 3290 NEW BEST:: SOT 841361 SOS 351680 HAS SOPS 343942 HAS SOUS 122744 HAS SOUPS 121389 WITH SCORE 121740.68
AT ITER 3293 NEW BEST:: SOT 841361 SOS 351676 HAS SOPS 343934 HAS SOUS 122740 HAS SOUPS 121385 WITH SCORE 121736.676
AT ITER 3297 NEW BEST:: SOT 841426 SOS 351741 HAS SOPS 343999 HAS SOUS 122729 HAS SOUPS 121374 WITH SCORE 121725.741
AT ITER 3298 NEW BEST:: SOT 838804 SOS 349060 HAS SOPS 341318 HAS SOUS 122443 HAS SOUPS 121088 WITH SCORE 121437.06
AT ITER 3299 NEW BEST:: SOT 838789 SOS 349074 HAS SOPS 341356 HAS SOUS 122340 HAS SOUPS 120985 WITH SCORE 121334.074
AT ITER 3308 NEW BEST:: SOT 838789 SOS 349068 HAS SOPS 341350 HAS SOUS 122340 HAS SOUPS 120985 WITH SCORE 121334.068
AT ITER 3322 NEW BEST:: SOT 838763 SOS 349104 HAS SOPS 341386 HAS SOUS 122318 HAS SOUPS 120963 WITH SCORE 121312.104
AT ITER 3364 NEW BEST:: SOT 840327 SOS 334428 HAS SOPS 326710 HAS SOUS 122108 HAS SOUPS 120753 WITH SCORE 121087.428
AT ITER 3369 NEW BEST:: SOT 840331 SOS 334477 HAS SOPS 326759 HAS SOUS 122096 HAS SOUPS 120741 WITH SCORE 121075.477
AT ITER 3373 NEW BEST:: SOT 839933 SOS 334079 HAS SOPS 326361 HAS SOUS 121816 HAS SOUPS 120461 WITH SCORE 120795.079
AT ITER 3376 NEW BEST:: SOT 839782 SOS 333951 HAS SOPS 326233 HAS SOUS 121751 HAS SOUPS 120396 WITH SCORE 120729.951
AT ITER 3386 NEW BEST:: SOT 839780 SOS 333949 HAS SOPS 326229 HAS SOUS 121747 HAS SOUPS 120392 WITH SCORE 120725.949
AT ITER 3396 NEW BEST:: SOT 839684 SOS 333871 HAS SOPS 326151 HAS SOUS 121698 HAS SOUPS 120343 WITH SCORE 120676.871
AT ITER 3401 NEW BEST:: SOT 839621 SOS 333808 HAS SOPS 326064 HAS SOUS 121608 HAS SOUPS 120253 WITH SCORE 120586.808
AT ITER 3405 NEW BEST:: SOT 839628 SOS 333679 HAS SOPS 325935 HAS SOUS 121598 HAS SOUPS 120243 WITH SCORE 120576.679
AT ITER 3429 NEW BEST:: SOT 839564 SOS 333672 HAS SOPS 325928 HAS SOUS 121466 HAS SOUPS 120111 WITH SCORE 120444.672
AT ITER 3433 NEW BEST:: SOT 839562 SOS 333670 HAS SOPS 325924 HAS SOUS 121464 HAS SOUPS 120107 WITH SCORE 120440.67
AT ITER 3435 NEW BEST:: SOT 839562 SOS 333622 HAS SOPS 325876 HAS SOUS 121456 HAS SOUPS 120099 WITH SCORE 120432.622
AT ITER 3441 NEW BEST:: SOT 839600 SOS 333643 HAS SOPS 325897 HAS SOUS 121429 HAS SOUPS 120072 WITH SCORE 120405.643
AT ITER 3453 NEW BEST:: SOT 839600 SOS 333527 HAS SOPS 325781 HAS SOUS 121429 HAS SOUPS 120072 WITH SCORE 120405.527
AT ITER 3457 NEW BEST:: SOT 839497 SOS 333470 HAS SOPS 325724 HAS SOUS 121320 HAS SOUPS 119963 WITH SCORE 120296.47
AT ITER 3467 NEW BEST:: SOT 839376 SOS 333341 HAS SOPS 325595 HAS SOUS 121103 HAS SOUPS 119746 WITH SCORE 120079.341
AT ITER 3477 NEW BEST:: SOT 839044 SOS 332994 HAS SOPS 325248 HAS SOUS 120610 HAS SOUPS 119253 WITH SCORE 119585.994
AT ITER 3478 NEW BEST:: SOT 838740 SOS 332670 HAS SOPS 324924 HAS SOUS 120292 HAS SOUPS 118935 WITH SCORE 119267.67
AT ITER 3502 NEW BEST:: SOT 838722 SOS 332652 HAS SOPS 324895 HAS SOUS 120256 HAS SOUPS 118899 WITH SCORE 119231.652
AT ITER 3507 NEW BEST:: SOT 838253 SOS 331438 HAS SOPS 323681 HAS SOUS 119844 HAS SOUPS 118487 WITH SCORE 118818.438
AT ITER 3520 NEW BEST:: SOT 838243 SOS 331428 HAS SOPS 323671 HAS SOUS 119824 HAS SOUPS 118467 WITH SCORE 118798.428
AT ITER 3539 NEW BEST:: SOT 838240 SOS 331560 HAS SOPS 323806 HAS SOUS 119818 HAS SOUPS 118461 WITH SCORE 118792.56
AT ITER 3565 NEW BEST:: SOT 838230 SOS 331405 HAS SOPS 323651 HAS SOUS 119803 HAS SOUPS 118446 WITH SCORE 118777.405
AT ITER 3566 NEW BEST:: SOT 838066 SOS 330995 HAS SOPS 323241 HAS SOUS 119639 HAS SOUPS 118282 WITH SCORE 118612.995
AT ITER 3575 NEW BEST:: SOT 837929 SOS 330823 HAS SOPS 323069 HAS SOUS 119434 HAS SOUPS 118077 WITH SCORE 118407.823
AT ITER 3594 NEW BEST:: SOT 837002 SOS 329896 HAS SOPS 322142 HAS SOUS 118402 HAS SOUPS 117045 WITH SCORE 117374.896
AT ITER 3606 NEW BEST:: SOT 837014 SOS 329895 HAS SOPS 322141 HAS SOUS 118401 HAS SOUPS 117044 WITH SCORE 117373.895
AT ITER 3614 NEW BEST:: SOT 836978 SOS 329859 HAS SOPS 322105 HAS SOUS 118365 HAS SOUPS 117008 WITH SCORE 117337.859
AT ITER 3628 NEW BEST:: SOT 836961 SOS 329842 HAS SOPS 322088 HAS SOUS 118331 HAS SOUPS 116974 WITH SCORE 117303.842
AT ITER 3642 NEW BEST:: SOT 836992 SOS 329873 HAS SOPS 322056 HAS SOUS 118294 HAS SOUPS 116911 WITH SCORE 117240.873
AT ITER 3648 NEW BEST:: SOT 836992 SOS 329873 HAS SOPS 322056 HAS SOUS 118282 HAS SOUPS 116899 WITH SCORE 117228.873
AT ITER 3651 NEW BEST:: SOT 836873 SOS 329311 HAS SOPS 321494 HAS SOUS 118117 HAS SOUPS 116734 WITH SCORE 117063.311
AT ITER 3654 NEW BEST:: SOT 836712 SOS 329102 HAS SOPS 321285 HAS SOUS 118078 HAS SOUPS 116695 WITH SCORE 117024.102
AT ITER 3665 NEW BEST:: SOT 836713 SOS 329103 HAS SOPS 321306 HAS SOUS 118048 HAS SOUPS 116665 WITH SCORE 116994.103
AT ITER 3671 NEW BEST:: SOT 836744 SOS 329498 HAS SOPS 321701 HAS SOUS 117964 HAS SOUPS 116581 WITH SCORE 116910.498
AT ITER 3701 NEW BEST:: SOT 836728 SOS 329457 HAS SOPS 321660 HAS SOUS 117932 HAS SOUPS 116549 WITH SCORE 116878.457
AT ITER 3713 NEW BEST:: SOT 836720 SOS 329447 HAS SOPS 321650 HAS SOUS 117922 HAS SOUPS 116539 WITH SCORE 116868.447
AT ITER 3715 NEW BEST:: SOT 836641 SOS 329310 HAS SOPS 322017 HAS SOUS 117801 HAS SOUPS 116502 WITH SCORE 116831.31
AT ITER 3718 NEW BEST:: SOT 836620 SOS 329276 HAS SOPS 321983 HAS SOUS 117757 HAS SOUPS 116458 WITH SCORE 116787.276
AT ITER 3736 NEW BEST:: SOT 836605 SOS 329261 HAS SOPS 321968 HAS SOUS 117727 HAS SOUPS 116428 WITH SCORE 116757.261
AT ITER 3748 NEW BEST:: SOT 836587 SOS 329243 HAS SOPS 321950 HAS SOUS 117691 HAS SOUPS 116392 WITH SCORE 116721.243
AT ITER 3751 NEW BEST:: SOT 836511 SOS 329057 HAS SOPS 321764 HAS SOUS 117510 HAS SOUPS 116211 WITH SCORE 116540.057
AT ITER 3758 NEW BEST:: SOT 836439 SOS 329025 HAS SOPS 321732 HAS SOUS 117447 HAS SOUPS 116148 WITH SCORE 116477.025
AT ITER 3770 NEW BEST:: SOT 836439 SOS 328960 HAS SOPS 321667 HAS SOUS 117447 HAS SOUPS 116148 WITH SCORE 116476.96
AT ITER 3791 NEW BEST:: SOT 836255 SOS 328800 HAS SOPS 321507 HAS SOUS 117253 HAS SOUPS 115954 WITH SCORE 116282.8
AT ITER 3815 NEW BEST:: SOT 835975 SOS 328585 HAS SOPS 321292 HAS SOUS 116804 HAS SOUPS 115505 WITH SCORE 115833.585
AT ITER 3825 NEW BEST:: SOT 835952 SOS 328562 HAS SOPS 321269 HAS SOUS 116707 HAS SOUPS 115408 WITH SCORE 115736.562
AT ITER 3830 NEW BEST:: SOT 835940 SOS 328583 HAS SOPS 321290 HAS SOUS 116662 HAS SOUPS 115363 WITH SCORE 115691.583
AT ITER 3841 NEW BEST:: SOT 835846 SOS 328559 HAS SOPS 321266 HAS SOUS 116475 HAS SOUPS 115176 WITH SCORE 115504.559
AT ITER 3846 NEW BEST:: SOT 835834 SOS 328547 HAS SOPS 321254 HAS SOUS 116463 HAS SOUPS 115164 WITH SCORE 115492.547
AT ITER 3847 NEW BEST:: SOT 835818 SOS 328531 HAS SOPS 321238 HAS SOUS 116447 HAS SOUPS 115148 WITH SCORE 115476.531
AT ITER 3853 NEW BEST:: SOT 835883 SOS 328438 HAS SOPS 321145 HAS SOUS 116440 HAS SOUPS 115141 WITH SCORE 115469.438
AT ITER 3865 NEW BEST:: SOT 835869 SOS 328424 HAS SOPS 321131 HAS SOUS 116412 HAS SOUPS 115113 WITH SCORE 115441.424
AT ITER 3910 NEW BEST:: SOT 835869 SOS 328369 HAS SOPS 321076 HAS SOUS 116363 HAS SOUPS 115064 WITH SCORE 115392.369
AT ITER 3920 NEW BEST:: SOT 835862 SOS 328361 HAS SOPS 321068 HAS SOUS 116356 HAS SOUPS 115057 WITH SCORE 115385.361
AT ITER 3923 NEW BEST:: SOT 835722 SOS 328209 HAS SOPS 320916 HAS SOUS 116300 HAS SOUPS 115001 WITH SCORE 115329.209
AT ITER 3925 NEW BEST:: SOT 835734 SOS 328102 HAS SOPS 320809 HAS SOUS 116203 HAS SOUPS 114904 WITH SCORE 115232.102
AT ITER 3939 NEW BEST:: SOT 835731 SOS 328099 HAS SOPS 320806 HAS SOUS 116200 HAS SOUPS 114901 WITH SCORE 115229.099
AT ITER 3949 NEW BEST:: SOT 835653 SOS 328021 HAS SOPS 320728 HAS SOUS 116083 HAS SOUPS 114784 WITH SCORE 115112.021
AT ITER 3965 NEW BEST:: SOT 835647 SOS 328043 HAS SOPS 320750 HAS SOUS 116071 HAS SOUPS 114772 WITH SCORE 115100.043
AT ITER 3978 NEW BEST:: SOT 835589 SOS 328043 HAS SOPS 320750 HAS SOUS 116013 HAS SOUPS 114714 WITH SCORE 115042.043
AT ITER 3980 NEW BEST:: SOT 835469 SOS 327797 HAS SOPS 320504 HAS SOUS 115828 HAS SOUPS 114529 WITH SCORE 114856.797
AT ITER 3982 NEW BEST:: SOT 835469 SOS 325607 HAS SOPS 318314 HAS SOUS 115768 HAS SOUPS 114469 WITH SCORE 114794.607
AT ITER 4002 NEW BEST:: SOT 835472 SOS 325610 HAS SOPS 318317 HAS SOUS 115681 HAS SOUPS 114382 WITH SCORE 114707.61
AT ITER 4013 NEW BEST:: SOT 836446 SOS 326524 HAS SOPS 319291 HAS SOUS 115493 HAS SOUPS 114204 WITH SCORE 114530.524
AT ITER 4039 NEW BEST:: SOT 836446 SOS 326477 HAS SOPS 319244 HAS SOUS 115381 HAS SOUPS 114092 WITH SCORE 114418.477
AT ITER 4048 NEW BEST:: SOT 836441 SOS 326473 HAS SOPS 319240 HAS SOUS 115374 HAS SOUPS 114085 WITH SCORE 114411.473
AT ITER 4055 NEW BEST:: SOT 836454 SOS 326442 HAS SOPS 319209 HAS SOUS 115335 HAS SOUPS 114046 WITH SCORE 114372.442
AT ITER 4066 NEW BEST:: SOT 836454 SOS 326442 HAS SOPS 319209 HAS SOUS 115317 HAS SOUPS 114028 WITH SCORE 114354.442
AT ITER 4082 NEW BEST:: SOT 836454 SOS 326442 HAS SOPS 319209 HAS SOUS 115300 HAS SOUPS 114011 WITH SCORE 114337.442
AT ITER 4101 NEW BEST:: SOT 836418 SOS 326400 HAS SOPS 319167 HAS SOUS 115264 HAS SOUPS 113975 WITH SCORE 114301.4
AT ITER 4102 NEW BEST:: SOT 836387 SOS 326369 HAS SOPS 319136 HAS SOUS 115206 HAS SOUPS 113917 WITH SCORE 114243.369
AT ITER 4115 NEW BEST:: SOT 837792 SOS 327690 HAS SOPS 320541 HAS SOUS 114933 HAS SOUPS 113658 WITH SCORE 113985.69
AT ITER 4119 NEW BEST:: SOT 837750 SOS 327648 HAS SOPS 320499 HAS SOUS 114877 HAS SOUPS 113602 WITH SCORE 113929.648
AT ITER 4139 NEW BEST:: SOT 837777 SOS 327675 HAS SOPS 320526 HAS SOUS 114859 HAS SOUPS 113584 WITH SCORE 113911.675
AT ITER 4157 NEW BEST:: SOT 837624 SOS 327563 HAS SOPS 320414 HAS SOUS 114758 HAS SOUPS 113483 WITH SCORE 113810.563
AT ITER 4158 NEW BEST:: SOT 837603 SOS 327221 HAS SOPS 320072 HAS SOUS 114752 HAS SOUPS 113477 WITH SCORE 113804.221
AT ITER 4166 NEW BEST:: SOT 837597 SOS 327209 HAS SOPS 320060 HAS SOUS 114740 HAS SOUPS 113465 WITH SCORE 113792.209
AT ITER 4171 NEW BEST:: SOT 837597 SOS 327227 HAS SOPS 320033 HAS SOUS 114700 HAS SOUPS 113425 WITH SCORE 113752.227
AT ITER 4191 NEW BEST:: SOT 837617 SOS 327247 HAS SOPS 320045 HAS SOUS 114684 HAS SOUPS 113409 WITH SCORE 113736.247
AT ITER 4231 NEW BEST:: SOT 837617 SOS 327247 HAS SOPS 320044 HAS SOUS 114682 HAS SOUPS 113407 WITH SCORE 113734.247
AT ITER 4232 NEW BEST:: SOT 837614 SOS 327244 HAS SOPS 320041 HAS SOUS 114580 HAS SOUPS 113305 WITH SCORE 113632.244
AT ITER 4241 NEW BEST:: SOT 837554 SOS 326777 HAS SOPS 319574 HAS SOUS 114413 HAS SOUPS 113138 WITH SCORE 113464.777
AT ITER 4245 NEW BEST:: SOT 837427 SOS 326460 HAS SOPS 319184 HAS SOUS 114272 HAS SOUPS 112997 WITH SCORE 113323.46
AT ITER 4248 NEW BEST:: SOT 837411 SOS 326457 HAS SOPS 319181 HAS SOUS 114252 HAS SOUPS 112977 WITH SCORE 113303.457
AT ITER 4258 NEW BEST:: SOT 837411 SOS 326453 HAS SOPS 319177 HAS SOUS 114252 HAS SOUPS 112977 WITH SCORE 113303.453
AT ITER 4267 NEW BEST:: SOT 837403 SOS 326445 HAS SOPS 319161 HAS SOUS 114236 HAS SOUPS 112961 WITH SCORE 113287.445
AT ITER 4290 NEW BEST:: SOT 837412 SOS 326454 HAS SOPS 319153 HAS SOUS 114245 HAS SOUPS 112953 WITH SCORE 113279.454
AT ITER 4307 NEW BEST:: SOT 840298 SOS 329220 HAS SOPS 322039 HAS SOUS 113545 HAS SOUPS 112273 WITH SCORE 112602.22
AT ITER 4311 NEW BEST:: SOT 840265 SOS 329142 HAS SOPS 321961 HAS SOUS 113509 HAS SOUPS 112237 WITH SCORE 112566.142
AT ITER 4324 NEW BEST:: SOT 840317 SOS 329194 HAS SOPS 322003 HAS SOUS 113501 HAS SOUPS 112229 WITH SCORE 112558.194
AT ITER 4335 NEW BEST:: SOT 840287 SOS 329165 HAS SOPS 321974 HAS SOUS 113401 HAS SOUPS 112129 WITH SCORE 112458.165
AT ITER 4354 NEW BEST:: SOT 840279 SOS 329155 HAS SOPS 321962 HAS SOUS 113389 HAS SOUPS 112117 WITH SCORE 112446.155
AT ITER 4355 NEW BEST:: SOT 840252 SOS 329155 HAS SOPS 321962 HAS SOUS 113368 HAS SOUPS 112096 WITH SCORE 112425.155
AT ITER 4363 NEW BEST:: SOT 840015 SOS 328918 HAS SOPS 321725 HAS SOUS 113354 HAS SOUPS 112082 WITH SCORE 112410.918
AT ITER 4365 NEW BEST:: SOT 840007 SOS 328910 HAS SOPS 321717 HAS SOUS 113346 HAS SOUPS 112074 WITH SCORE 112402.91
AT ITER 4370 NEW BEST:: SOT 839551 SOS 328162 HAS SOPS 320969 HAS SOUS 112730 HAS SOUPS 111458 WITH SCORE 111786.162
AT ITER 4371 NEW BEST:: SOT 839659 SOS 328259 HAS SOPS 321066 HAS SOUS 112208 HAS SOUPS 110936 WITH SCORE 111264.259
AT ITER 4379 NEW BEST:: SOT 839686 SOS 328286 HAS SOPS 321116 HAS SOUS 112207 HAS SOUPS 110935 WITH SCORE 111263.286
AT ITER 4382 NEW BEST:: SOT 839678 SOS 328258 HAS SOPS 321088 HAS SOUS 112191 HAS SOUPS 110919 WITH SCORE 111247.258
AT ITER 4397 NEW BEST:: SOT 839603 SOS 328183 HAS SOPS 321013 HAS SOUS 112116 HAS SOUPS 110844 WITH SCORE 111172.183
AT ITER 4434 NEW BEST:: SOT 840642 SOS 328122 HAS SOPS 320952 HAS SOUS 111297 HAS SOUPS 110025 WITH SCORE 110353.122
AT ITER 4502 NEW BEST:: SOT 840638 SOS 327964 HAS SOPS 320794 HAS SOUS 111250 HAS SOUPS 109978 WITH SCORE 110305.964
AT ITER 4506 NEW BEST:: SOT 840582 SOS 318388 HAS SOPS 311218 HAS SOUS 111166 HAS SOUPS 109894 WITH SCORE 110212.388
AT ITER 4508 NEW BEST:: SOT 840595 SOS 318263 HAS SOPS 311093 HAS SOUS 111078 HAS SOUPS 109806 WITH SCORE 110124.263
AT ITER 4518 NEW BEST:: SOT 840559 SOS 318153 HAS SOPS 310983 HAS SOUS 110992 HAS SOUPS 109720 WITH SCORE 110038.153
AT ITER 4530 NEW BEST:: SOT 840559 SOS 318127 HAS SOPS 310957 HAS SOUS 110966 HAS SOUPS 109694 WITH SCORE 110012.127
AT ITER 4534 NEW BEST:: SOT 840596 SOS 318685 HAS SOPS 311515 HAS SOUS 110636 HAS SOUPS 109364 WITH SCORE 109682.685
AT ITER 4535 NEW BEST:: SOT 840608 SOS 318917 HAS SOPS 311747 HAS SOUS 110620 HAS SOUPS 109348 WITH SCORE 109666.917
AT ITER 4566 NEW BEST:: SOT 840557 SOS 318855 HAS SOPS 311685 HAS SOUS 110558 HAS SOUPS 109286 WITH SCORE 109604.855
AT ITER 4575 NEW BEST:: SOT 840555 SOS 318853 HAS SOPS 311683 HAS SOUS 110554 HAS SOUPS 109282 WITH SCORE 109600.853
AT ITER 4627 NEW BEST:: SOT 840597 SOS 318723 HAS SOPS 311553 HAS SOUS 110468 HAS SOUPS 109196 WITH SCORE 109514.723
AT ITER 4668 NEW BEST:: SOT 840561 SOS 316298 HAS SOPS 309128 HAS SOUS 110408 HAS SOUPS 109136 WITH SCORE 109452.298
AT ITER 4679 NEW BEST:: SOT 840525 SOS 316262 HAS SOPS 309092 HAS SOUS 110368 HAS SOUPS 109096 WITH SCORE 109412.262
AT ITER 4687 NEW BEST:: SOT 840604 SOS 316360 HAS SOPS 309190 HAS SOUS 110169 HAS SOUPS 108897 WITH SCORE 109213.36
AT ITER 4719 NEW BEST:: SOT 840624 SOS 316288 HAS SOPS 309118 HAS SOUS 110097 HAS SOUPS 108825 WITH SCORE 109141.288
AT ITER 4767 NEW BEST:: SOT 840624 SOS 316158 HAS SOPS 308988 HAS SOUS 109967 HAS SOUPS 108695 WITH SCORE 109011.158
AT ITER 4775 NEW BEST:: SOT 840611 SOS 316145 HAS SOPS 308975 HAS SOUS 109954 HAS SOUPS 108682 WITH SCORE 108998.145
AT ITER 4776 NEW BEST:: SOT 840573 SOS 316107 HAS SOPS 308937 HAS SOUS 109947 HAS SOUPS 108675 WITH SCORE 108991.107
AT ITER 4812 NEW BEST:: SOT 840572 SOS 316051 HAS SOPS 308881 HAS SOUS 109929 HAS SOUPS 108657 WITH SCORE 108973.051
AT ITER 4825 NEW BEST:: SOT 840531 SOS 316010 HAS SOPS 308881 HAS SOUS 109888 HAS SOUPS 108616 WITH SCORE 108932.01
AT ITER 4827 NEW BEST:: SOT 840513 SOS 315999 HAS SOPS 308870 HAS SOUS 109866 HAS SOUPS 108594 WITH SCORE 108909.999
AT ITER 4836 NEW BEST:: SOT 840289 SOS 315920 HAS SOPS 308791 HAS SOUS 109767 HAS SOUPS 108495 WITH SCORE 108810.92
AT ITER 4837 NEW BEST:: SOT 840285 SOS 315912 HAS SOPS 308783 HAS SOUS 109759 HAS SOUPS 108487 WITH SCORE 108802.912
AT ITER 4863 NEW BEST:: SOT 840294 SOS 315921 HAS SOPS 308792 HAS SOUS 109739 HAS SOUPS 108467 WITH SCORE 108782.921
AT ITER 4869 NEW BEST:: SOT 840293 SOS 315918 HAS SOPS 308789 HAS SOUS 109737 HAS SOUPS 108465 WITH SCORE 108780.918
AT ITER 4926 NEW BEST:: SOT 840254 SOS 315840 HAS SOPS 308711 HAS SOUS 109659 HAS SOUPS 108387 WITH SCORE 108702.84
AT ITER 4948 NEW BEST:: SOT 840251 SOS 315837 HAS SOPS 308708 HAS SOUS 109655 HAS SOUPS 108383 WITH SCORE 108698.837
AT ITER 4954 NEW BEST:: SOT 840239 SOS 315813 HAS SOPS 308684 HAS SOUS 109631 HAS SOUPS 108359 WITH SCORE 108674.813
AT ITER 4975 NEW BEST:: SOT 840214 SOS 315788 HAS SOPS 308659 HAS SOUS 109576 HAS SOUPS 108304 WITH SCORE 108619.788
AT ITER 4991 NEW BEST:: SOT 840145 SOS 315696 HAS SOPS 308567 HAS SOUS 109474 HAS SOUPS 108202 WITH SCORE 108517.696
AT ITER 5001 NEW BEST:: SOT 839945 SOS 315504 HAS SOPS 308375 HAS SOUS 109343 HAS SOUPS 108071 WITH SCORE 108386.504
AT ITER 5023 NEW BEST:: SOT 839831 SOS 315390 HAS SOPS 308261 HAS SOUS 109187 HAS SOUPS 107915 WITH SCORE 108230.39
AT ITER 5030 NEW BEST:: SOT 839749 SOS 315279 HAS SOPS 308150 HAS SOUS 109060 HAS SOUPS 107788 WITH SCORE 108103.279
AT ITER 5047 NEW BEST:: SOT 839745 SOS 315275 HAS SOPS 308146 HAS SOUS 109056 HAS SOUPS 107784 WITH SCORE 108099.275
AT ITER 5123 NEW BEST:: SOT 839745 SOS 315277 HAS SOPS 308148 HAS SOUS 109054 HAS SOUPS 107782 WITH SCORE 108097.277
AT ITER 5125 NEW BEST:: SOT 839709 SOS 315354 HAS SOPS 308229 HAS SOUS 108983 HAS SOUPS 107715 WITH SCORE 108030.354
AT ITER 5154 NEW BEST:: SOT 839676 SOS 315213 HAS SOPS 308088 HAS SOUS 108778 HAS SOUPS 107510 WITH SCORE 107825.213
AT ITER 5155 NEW BEST:: SOT 839676 SOS 315188 HAS SOPS 308063 HAS SOUS 108778 HAS SOUPS 107510 WITH SCORE 107825.188
AT ITER 5165 NEW BEST:: SOT 839676 SOS 315183 HAS SOPS 308058 HAS SOUS 108778 HAS SOUPS 107510 WITH SCORE 107825.183
AT ITER 5171 NEW BEST:: SOT 839569 SOS 315094 HAS SOPS 307969 HAS SOUS 108607 HAS SOUPS 107339 WITH SCORE 107654.094
AT ITER 5185 NEW BEST:: SOT 839512 SOS 314980 HAS SOPS 307855 HAS SOUS 108493 HAS SOUPS 107225 WITH SCORE 107539.98
AT ITER 5223 NEW BEST:: SOT 839356 SOS 314868 HAS SOPS 307743 HAS SOUS 108298 HAS SOUPS 107030 WITH SCORE 107344.868
AT ITER 5224 NEW BEST:: SOT 839354 SOS 314866 HAS SOPS 307741 HAS SOUS 108296 HAS SOUPS 107028 WITH SCORE 107342.866
AT ITER 5240 NEW BEST:: SOT 839354 SOS 314848 HAS SOPS 307723 HAS SOUS 108296 HAS SOUPS 107028 WITH SCORE 107342.848
AT ITER 5280 NEW BEST:: SOT 839331 SOS 314825 HAS SOPS 307700 HAS SOUS 108231 HAS SOUPS 106963 WITH SCORE 107277.825
AT ITER 5282 NEW BEST:: SOT 845997 SOS 314231 HAS SOPS 307106 HAS SOUS 108142 HAS SOUPS 106874 WITH SCORE 107188.231
AT ITER 5287 NEW BEST:: SOT 845780 SOS 313936 HAS SOPS 306811 HAS SOUS 108117 HAS SOUPS 106849 WITH SCORE 107162.936
AT ITER 5290 NEW BEST:: SOT 845802 SOS 313958 HAS SOPS 306824 HAS SOUS 108103 HAS SOUPS 106835 WITH SCORE 107148.958
AT ITER 5311 NEW BEST:: SOT 845747 SOS 313908 HAS SOPS 306774 HAS SOUS 108083 HAS SOUPS 106815 WITH SCORE 107128.908
AT ITER 5363 NEW BEST:: SOT 845724 SOS 313885 HAS SOPS 306751 HAS SOUS 108037 HAS SOUPS 106769 WITH SCORE 107082.885
AT ITER 5405 NEW BEST:: SOT 845724 SOS 313885 HAS SOPS 306743 HAS SOUS 108021 HAS SOUPS 106753 WITH SCORE 107066.885
AT ITER 5451 NEW BEST:: SOT 845730 SOS 313891 HAS SOPS 306710 HAS SOUS 107955 HAS SOUPS 106687 WITH SCORE 107000.891
AT ITER 5475 NEW BEST:: SOT 845730 SOS 313978 HAS SOPS 306797 HAS SOUS 107937 HAS SOUPS 106669 WITH SCORE 106982.978
AT ITER 5490 NEW BEST:: SOT 845555 SOS 313675 HAS SOPS 306494 HAS SOUS 107624 HAS SOUPS 106356 WITH SCORE 106669.675
AT ITER 5541 NEW BEST:: SOT 845409 SOS 313487 HAS SOPS 306306 HAS SOUS 107427 HAS SOUPS 106159 WITH SCORE 106472.487
AT ITER 5550 NEW BEST:: SOT 845492 SOS 313560 HAS SOPS 306379 HAS SOUS 107413 HAS SOUPS 106145 WITH SCORE 106458.56
AT ITER 5578 NEW BEST:: SOT 845496 SOS 313556 HAS SOPS 306375 HAS SOUS 107405 HAS SOUPS 106137 WITH SCORE 106450.556
AT ITER 5582 NEW BEST:: SOT 845481 SOS 313541 HAS SOPS 306360 HAS SOUS 107390 HAS SOUPS 106122 WITH SCORE 106435.541
AT ITER 5588 NEW BEST:: SOT 845439 SOS 313499 HAS SOPS 306318 HAS SOUS 107271 HAS SOUPS 106003 WITH SCORE 106316.499
AT ITER 5598 NEW BEST:: SOT 845456 SOS 313434 HAS SOPS 306253 HAS SOUS 107251 HAS SOUPS 105983 WITH SCORE 106296.434
AT ITER 5606 NEW BEST:: SOT 845444 SOS 313362 HAS SOPS 306181 HAS SOUS 107203 HAS SOUPS 105935 WITH SCORE 106248.362
AT ITER 5610 NEW BEST:: SOT 845463 SOS 313381 HAS SOPS 306249 HAS SOUS 107181 HAS SOUPS 105913 WITH SCORE 106226.381
AT ITER 5617 NEW BEST:: SOT 845456 SOS 313338 HAS SOPS 306206 HAS SOUS 107137 HAS SOUPS 105869 WITH SCORE 106182.338
AT ITER 5619 NEW BEST:: SOT 845496 SOS 313378 HAS SOPS 306246 HAS SOUS 107131 HAS SOUPS 105863 WITH SCORE 106176.378
AT ITER 5632 NEW BEST:: SOT 845408 SOS 312760 HAS SOPS 305628 HAS SOUS 107014 HAS SOUPS 105746 WITH SCORE 106058.76
AT ITER 5639 NEW BEST:: SOT 845408 SOS 312739 HAS SOPS 305607 HAS SOUS 107014 HAS SOUPS 105746 WITH SCORE 106058.739
AT ITER 5665 NEW BEST:: SOT 845393 SOS 312721 HAS SOPS 305661 HAS SOUS 106993 HAS SOUPS 105737 WITH SCORE 106049.721
AT ITER 5672 NEW BEST:: SOT 845383 SOS 312725 HAS SOPS 305665 HAS SOUS 106987 HAS SOUPS 105731 WITH SCORE 106043.725
AT ITER 5682 NEW BEST:: SOT 845380 SOS 312719 HAS SOPS 305659 HAS SOUS 106981 HAS SOUPS 105725 WITH SCORE 106037.719
AT ITER 5693 NEW BEST:: SOT 845344 SOS 312642 HAS SOPS 305646 HAS SOUS 106968 HAS SOUPS 105712 WITH SCORE 106024.642
AT ITER 5696 NEW BEST:: SOT 845366 SOS 312603 HAS SOPS 305607 HAS SOUS 106929 HAS SOUPS 105673 WITH SCORE 105985.603
AT ITER 5725 NEW BEST:: SOT 845348 SOS 312585 HAS SOPS 305589 HAS SOUS 106860 HAS SOUPS 105604 WITH SCORE 105916.585
AT ITER 5732 NEW BEST:: SOT 845324 SOS 312561 HAS SOPS 305565 HAS SOUS 106812 HAS SOUPS 105556 WITH SCORE 105868.561
AT ITER 5764 NEW BEST:: SOT 845324 SOS 312573 HAS SOPS 305577 HAS SOUS 106788 HAS SOUPS 105532 WITH SCORE 105844.573
AT ITER 5780 NEW BEST:: SOT 845303 SOS 312585 HAS SOPS 305589 HAS SOUS 106767 HAS SOUPS 105511 WITH SCORE 105823.585
AT ITER 5791 NEW BEST:: SOT 845303 SOS 312558 HAS SOPS 305562 HAS SOUS 106767 HAS SOUPS 105511 WITH SCORE 105823.558
AT ITER 5811 NEW BEST:: SOT 845256 SOS 313151 HAS SOPS 306155 HAS SOUS 106590 HAS SOUPS 105334 WITH SCORE 105647.151
AT ITER 5817 NEW BEST:: SOT 845229 SOS 313079 HAS SOPS 306083 HAS SOUS 106502 HAS SOUPS 105246 WITH SCORE 105559.079
AT ITER 5853 NEW BEST:: SOT 845253 SOS 313455 HAS SOPS 306459 HAS SOUS 106486 HAS SOUPS 105230 WITH SCORE 105543.455
AT ITER 5874 NEW BEST:: SOT 845253 SOS 313450 HAS SOPS 306454 HAS SOUS 106486 HAS SOUPS 105230 WITH SCORE 105543.45
AT ITER 5881 NEW BEST:: SOT 845253 SOS 313449 HAS SOPS 306452 HAS SOUS 106485 HAS SOUPS 105229 WITH SCORE 105542.449
AT ITER 5883 NEW BEST:: SOT 845193 SOS 313389 HAS SOPS 306392 HAS SOUS 106365 HAS SOUPS 105109 WITH SCORE 105422.389
AT ITER 5890 NEW BEST:: SOT 844866 SOS 313134 HAS SOPS 306137 HAS SOUS 106027 HAS SOUPS 104771 WITH SCORE 105084.134
AT ITER 5900 NEW BEST:: SOT 841961 SOS 310203 HAS SOPS 303206 HAS SOUS 105534 HAS SOUPS 104278 WITH SCORE 104588.203
AT ITER 5905 NEW BEST:: SOT 841924 SOS 310139 HAS SOPS 303142 HAS SOUS 105493 HAS SOUPS 104237 WITH SCORE 104547.139
AT ITER 5970 NEW BEST:: SOT 841684 SOS 309819 HAS SOPS 302822 HAS SOUS 105248 HAS SOUPS 103992 WITH SCORE 104301.819
AT ITER 5978 NEW BEST:: SOT 841718 SOS 309834 HAS SOPS 302837 HAS SOUS 105164 HAS SOUPS 103908 WITH SCORE 104217.834
AT ITER 6001 NEW BEST:: SOT 841720 SOS 309814 HAS SOPS 302817 HAS SOUS 105159 HAS SOUPS 103903 WITH SCORE 104212.814
AT ITER 6017 NEW BEST:: SOT 841715 SOS 309809 HAS SOPS 302812 HAS SOUS 105154 HAS SOUPS 103898 WITH SCORE 104207.809
AT ITER 6036 NEW BEST:: SOT 841709 SOS 309803 HAS SOPS 302806 HAS SOUS 105142 HAS SOUPS 103886 WITH SCORE 104195.803
AT ITER 6068 NEW BEST:: SOT 841709 SOS 309790 HAS SOPS 302793 HAS SOUS 105125 HAS SOUPS 103869 WITH SCORE 104178.79
AT ITER 6082 NEW BEST:: SOT 841709 SOS 309772 HAS SOPS 302775 HAS SOUS 105008 HAS SOUPS 103752 WITH SCORE 104061.772
AT ITER 6101 NEW BEST:: SOT 841665 SOS 309805 HAS SOPS 302808 HAS SOUS 104883 HAS SOUPS 103627 WITH SCORE 103936.805
AT ITER 6133 NEW BEST:: SOT 841671 SOS 309823 HAS SOPS 302826 HAS SOUS 104877 HAS SOUPS 103621 WITH SCORE 103930.823
AT ITER 6139 NEW BEST:: SOT 841665 SOS 309802 HAS SOPS 302805 HAS SOUS 104861 HAS SOUPS 103605 WITH SCORE 103914.802
AT ITER 6143 NEW BEST:: SOT 841056 SOS 309286 HAS SOPS 302289 HAS SOUS 104345 HAS SOUPS 103089 WITH SCORE 103398.286
AT ITER 6187 NEW BEST:: SOT 841004 SOS 309283 HAS SOPS 302286 HAS SOUS 103848 HAS SOUPS 102592 WITH SCORE 102901.283
AT ITER 6193 NEW BEST:: SOT 840998 SOS 309274 HAS SOPS 302277 HAS SOUS 103842 HAS SOUPS 102586 WITH SCORE 102895.274
AT ITER 6199 NEW BEST:: SOT 840989 SOS 309265 HAS SOPS 302268 HAS SOUS 103840 HAS SOUPS 102584 WITH SCORE 102893.265
AT ITER 6202 NEW BEST:: SOT 840956 SOS 309145 HAS SOPS 302148 HAS SOUS 103780 HAS SOUPS 102524 WITH SCORE 102833.145
AT ITER 6211 NEW BEST:: SOT 840703 SOS 308892 HAS SOPS 301895 HAS SOUS 103535 HAS SOUPS 102279 WITH SCORE 102587.892
AT ITER 6285 NEW BEST:: SOT 840367 SOS 308556 HAS SOPS 301559 HAS SOUS 103435 HAS SOUPS 102179 WITH SCORE 102487.556
AT ITER 6318 NEW BEST:: SOT 840390 SOS 308486 HAS SOPS 301489 HAS SOUS 103370 HAS SOUPS 102114 WITH SCORE 102422.486
AT ITER 6328 NEW BEST:: SOT 840236 SOS 308377 HAS SOPS 301380 HAS SOUS 103337 HAS SOUPS 102081 WITH SCORE 102389.377
AT ITER 6356 NEW BEST:: SOT 840116 SOS 308257 HAS SOPS 301260 HAS SOUS 103147 HAS SOUPS 101891 WITH SCORE 102199.257
AT ITER 6381 NEW BEST:: SOT 840054 SOS 308095 HAS SOPS 301098 HAS SOUS 102985 HAS SOUPS 101729 WITH SCORE 102037.095
AT ITER 6394 NEW BEST:: SOT 839872 SOS 307906 HAS SOPS 300909 HAS SOUS 102743 HAS SOUPS 101487 WITH SCORE 101794.906
AT ITER 6400 NEW BEST:: SOT 839836 SOS 307870 HAS SOPS 300873 HAS SOUS 102671 HAS SOUPS 101415 WITH SCORE 101722.87
AT ITER 6433 NEW BEST:: SOT 839836 SOS 307666 HAS SOPS 300669 HAS SOUS 102671 HAS SOUPS 101415 WITH SCORE 101722.666
AT ITER 6434 NEW BEST:: SOT 839801 SOS 307631 HAS SOPS 300634 HAS SOUS 102636 HAS SOUPS 101380 WITH SCORE 101687.631
AT ITER 6499 NEW BEST:: SOT 839776 SOS 307606 HAS SOPS 300609 HAS SOUS 102586 HAS SOUPS 101330 WITH SCORE 101637.606
AT ITER 6506 NEW BEST:: SOT 839306 SOS 307033 HAS SOPS 300036 HAS SOUS 102482 HAS SOUPS 101226 WITH SCORE 101533.033
AT ITER 6536 NEW BEST:: SOT 839268 SOS 307074 HAS SOPS 300077 HAS SOUS 102356 HAS SOUPS 101100 WITH SCORE 101407.074
AT ITER 6540 NEW BEST:: SOT 839246 SOS 307016 HAS SOPS 300019 HAS SOUS 102276 HAS SOUPS 101020 WITH SCORE 101327.016
AT ITER 6570 NEW BEST:: SOT 839244 SOS 307005 HAS SOPS 300008 HAS SOUS 102265 HAS SOUPS 101009 WITH SCORE 101316.005
AT ITER 6629 NEW BEST:: SOT 839172 SOS 306933 HAS SOPS 299936 HAS SOUS 102121 HAS SOUPS 100865 WITH SCORE 101171.933
AT ITER 6639 NEW BEST:: SOT 839135 SOS 306896 HAS SOPS 299899 HAS SOUS 102104 HAS SOUPS 100848 WITH SCORE 101154.896
AT ITER 6670 NEW BEST:: SOT 839134 SOS 306900 HAS SOPS 299903 HAS SOUS 102103 HAS SOUPS 100847 WITH SCORE 101153.9
AT ITER 6673 NEW BEST:: SOT 839119 SOS 306865 HAS SOPS 299868 HAS SOUS 102098 HAS SOUPS 100842 WITH SCORE 101148.865
AT ITER 6685 NEW BEST:: SOT 839095 SOS 306841 HAS SOPS 299844 HAS SOUS 102096 HAS SOUPS 100840 WITH SCORE 101146.841
AT ITER 6687 NEW BEST:: SOT 838941 SOS 306718 HAS SOPS 299721 HAS SOUS 101940 HAS SOUPS 100684 WITH SCORE 100990.718
AT ITER 6730 NEW BEST:: SOT 838941 SOS 306703 HAS SOPS 299706 HAS SOUS 101925 HAS SOUPS 100669 WITH SCORE 100975.703
AT ITER 6742 NEW BEST:: SOT 838911 SOS 306673 HAS SOPS 299676 HAS SOUS 101865 HAS SOUPS 100609 WITH SCORE 100915.673
AT ITER 6746 NEW BEST:: SOT 833072 SOS 300834 HAS SOPS 293837 HAS SOUS 100544 HAS SOUPS 99288 WITH SCORE 99588.834
AT ITER 6768 NEW BEST:: SOT 834443 SOS 296673 HAS SOPS 289676 HAS SOUS 99485 HAS SOUPS 98229 WITH SCORE 98525.673
AT ITER 6774 NEW BEST:: SOT 834430 SOS 296660 HAS SOPS 289663 HAS SOUS 99453 HAS SOUPS 98197 WITH SCORE 98493.66
AT ITER 6808 NEW BEST:: SOT 834403 SOS 296556 HAS SOPS 289559 HAS SOUS 99266 HAS SOUPS 98010 WITH SCORE 98306.556
AT ITER 6816 NEW BEST:: SOT 834403 SOS 296548 HAS SOPS 289559 HAS SOUS 99266 HAS SOUPS 98010 WITH SCORE 98306.548
AT ITER 6857 NEW BEST:: SOT 834403 SOS 296498 HAS SOPS 289509 HAS SOUS 99266 HAS SOUPS 98010 WITH SCORE 98306.498
AT ITER 6882 NEW BEST:: SOT 834379 SOS 296481 HAS SOPS 289492 HAS SOUS 99264 HAS SOUPS 98008 WITH SCORE 98304.481
AT ITER 6920 NEW BEST:: SOT 834361 SOS 296457 HAS SOPS 289468 HAS SOUS 99240 HAS SOUPS 97984 WITH SCORE 98280.457
AT ITER 6937 NEW BEST:: SOT 834365 SOS 296370 HAS SOPS 289381 HAS SOUS 99153 HAS SOUPS 97897 WITH SCORE 98193.37
AT ITER 6983 NEW BEST:: SOT 834345 SOS 296350 HAS SOPS 289361 HAS SOUS 99130 HAS SOUPS 97874 WITH SCORE 98170.35
AT ITER 7003 NEW BEST:: SOT 834224 SOS 296229 HAS SOPS 289240 HAS SOUS 98940 HAS SOUPS 97684 WITH SCORE 97980.229
AT ITER 7020 NEW BEST:: SOT 834218 SOS 297063 HAS SOPS 289981 HAS SOUS 98939 HAS SOUPS 97683 WITH SCORE 97980.063
AT ITER 7034 NEW BEST:: SOT 834192 SOS 297039 HAS SOPS 289957 HAS SOUS 98915 HAS SOUPS 97659 WITH SCORE 97956.039
AT ITER 7042 NEW BEST:: SOT 834186 SOS 297036 HAS SOPS 289954 HAS SOUS 98903 HAS SOUPS 97647 WITH SCORE 97944.036
AT ITER 7059 NEW BEST:: SOT 834166 SOS 297016 HAS SOPS 289934 HAS SOUS 98883 HAS SOUPS 97627 WITH SCORE 97924.016
AT ITER 7070 NEW BEST:: SOT 834162 SOS 297012 HAS SOPS 289930 HAS SOUS 98795 HAS SOUPS 97539 WITH SCORE 97836.012
AT ITER 7118 NEW BEST:: SOT 834224 SOS 297074 HAS SOPS 289968 HAS SOUS 98767 HAS SOUPS 97511 WITH SCORE 97808.074
AT ITER 7177 NEW BEST:: SOT 833757 SOS 296764 HAS SOPS 289658 HAS SOUS 98233 HAS SOUPS 96977 WITH SCORE 97273.764
AT ITER 7183 NEW BEST:: SOT 833750 SOS 296757 HAS SOPS 289644 HAS SOUS 98219 HAS SOUPS 96963 WITH SCORE 97259.757
AT ITER 7205 NEW BEST:: SOT 833727 SOS 296734 HAS SOPS 289616 HAS SOUS 98167 HAS SOUPS 96911 WITH SCORE 97207.734
AT ITER 7219 NEW BEST:: SOT 833737 SOS 296744 HAS SOPS 289602 HAS SOUS 98133 HAS SOUPS 96877 WITH SCORE 97173.744
AT ITER 7244 NEW BEST:: SOT 833778 SOS 296785 HAS SOPS 289687 HAS SOUS 98127 HAS SOUPS 96871 WITH SCORE 97167.785
AT ITER 7263 NEW BEST:: SOT 833977 SOS 293401 HAS SOPS 286303 HAS SOUS 97919 HAS SOUPS 96663 WITH SCORE 96956.401
AT ITER 7292 NEW BEST:: SOT 833991 SOS 293315 HAS SOPS 286217 HAS SOUS 97472 HAS SOUPS 96216 WITH SCORE 96509.315
AT ITER 7303 NEW BEST:: SOT 833965 SOS 293314 HAS SOPS 286166 HAS SOUS 97320 HAS SOUPS 96064 WITH SCORE 96357.314
AT ITER 7316 NEW BEST:: SOT 833958 SOS 293307 HAS SOPS 286159 HAS SOUS 97313 HAS SOUPS 96057 WITH SCORE 96350.307
AT ITER 7342 NEW BEST:: SOT 833899 SOS 293182 HAS SOPS 286034 HAS SOUS 97248 HAS SOUPS 95992 WITH SCORE 96285.182
AT ITER 7348 NEW BEST:: SOT 833910 SOS 293056 HAS SOPS 285908 HAS SOUS 97150 HAS SOUPS 95894 WITH SCORE 96187.056
AT ITER 7386 NEW BEST:: SOT 833893 SOS 293845 HAS SOPS 286781 HAS SOUS 96795 HAS SOUPS 95553 WITH SCORE 95846.845
AT ITER 7401 NEW BEST:: SOT 833841 SOS 293736 HAS SOPS 286672 HAS SOUS 96716 HAS SOUPS 95474 WITH SCORE 95767.736
AT ITER 7426 NEW BEST:: SOT 833825 SOS 293716 HAS SOPS 286652 HAS SOUS 96680 HAS SOUPS 95438 WITH SCORE 95731.716
AT ITER 7430 NEW BEST:: SOT 833822 SOS 293711 HAS SOPS 286647 HAS SOUS 96674 HAS SOUPS 95432 WITH SCORE 95725.711
AT ITER 7458 NEW BEST:: SOT 833784 SOS 293630 HAS SOPS 286566 HAS SOUS 96455 HAS SOUPS 95213 WITH SCORE 95506.63
AT ITER 7467 NEW BEST:: SOT 833733 SOS 293565 HAS SOPS 286508 HAS SOUS 96432 HAS SOUPS 95197 WITH SCORE 95490.565
AT ITER 7480 NEW BEST:: SOT 833731 SOS 293560 HAS SOPS 286503 HAS SOUS 96428 HAS SOUPS 95193 WITH SCORE 95486.56
AT ITER 7522 NEW BEST:: SOT 833802 SOS 293614 HAS SOPS 286557 HAS SOUS 96347 HAS SOUPS 95112 WITH SCORE 95405.614
AT ITER 7543 NEW BEST:: SOT 833802 SOS 293572 HAS SOPS 286515 HAS SOUS 96347 HAS SOUPS 95112 WITH SCORE 95405.572
AT ITER 7545 NEW BEST:: SOT 833764 SOS 293692 HAS SOPS 286635 HAS SOUS 96243 HAS SOUPS 95008 WITH SCORE 95301.692
AT ITER 7550 NEW BEST:: SOT 833764 SOS 293722 HAS SOPS 286665 HAS SOUS 96216 HAS SOUPS 94981 WITH SCORE 95274.722
AT ITER 7559 NEW BEST:: SOT 833754 SOS 293712 HAS SOPS 286655 HAS SOUS 96186 HAS SOUPS 94951 WITH SCORE 95244.712
AT ITER 7569 NEW BEST:: SOT 833734 SOS 293679 HAS SOPS 286622 HAS SOUS 96153 HAS SOUPS 94918 WITH SCORE 95211.679
AT ITER 7597 NEW BEST:: SOT 833718 SOS 293658 HAS SOPS 286601 HAS SOUS 96121 HAS SOUPS 94886 WITH SCORE 95179.658
AT ITER 7601 NEW BEST:: SOT 833716 SOS 293640 HAS SOPS 286583 HAS SOUS 96097 HAS SOUPS 94862 WITH SCORE 95155.64
AT ITER 7603 NEW BEST:: SOT 833699 SOS 293606 HAS SOPS 286549 HAS SOUS 96063 HAS SOUPS 94828 WITH SCORE 95121.606
AT ITER 7623 NEW BEST:: SOT 833739 SOS 293612 HAS SOPS 286555 HAS SOUS 96007 HAS SOUPS 94772 WITH SCORE 95065.612
AT ITER 7703 NEW BEST:: SOT 833739 SOS 293582 HAS SOPS 286510 HAS SOUS 95986 HAS SOUPS 94751 WITH SCORE 95044.582
AT ITER 7726 NEW BEST:: SOT 833726 SOS 293558 HAS SOPS 286486 HAS SOUS 95961 HAS SOUPS 94726 WITH SCORE 95019.558
AT ITER 7744 NEW BEST:: SOT 833720 SOS 293552 HAS SOPS 286480 HAS SOUS 95949 HAS SOUPS 94714 WITH SCORE 95007.552
AT ITER 7781 NEW BEST:: SOT 833720 SOS 296952 HAS SOPS 289880 HAS SOUS 95919 HAS SOUPS 94684 WITH SCORE 94980.952
AT ITER 7785 NEW BEST:: SOT 833696 SOS 296928 HAS SOPS 289856 HAS SOUS 95877 HAS SOUPS 94642 WITH SCORE 94938.928
AT ITER 7788 NEW BEST:: SOT 833616 SOS 296663 HAS SOPS 289591 HAS SOUS 95847 HAS SOUPS 94612 WITH SCORE 94908.663
AT ITER 7797 NEW BEST:: SOT 833611 SOS 296658 HAS SOPS 289586 HAS SOUS 95841 HAS SOUPS 94606 WITH SCORE 94902.658
AT ITER 7798 NEW BEST:: SOT 833529 SOS 296502 HAS SOPS 289430 HAS SOUS 95673 HAS SOUPS 94438 WITH SCORE 94734.502
AT ITER 7804 NEW BEST:: SOT 833499 SOS 291372 HAS SOPS 284300 HAS SOUS 95658 HAS SOUPS 94423 WITH SCORE 94714.372
AT ITER 7805 NEW BEST:: SOT 833480 SOS 291353 HAS SOPS 284281 HAS SOUS 95620 HAS SOUPS 94385 WITH SCORE 94676.353
AT ITER 7815 NEW BEST:: SOT 833480 SOS 291357 HAS SOPS 284285 HAS SOUS 95600 HAS SOUPS 94365 WITH SCORE 94656.357
AT ITER 7820 NEW BEST:: SOT 833504 SOS 291475 HAS SOPS 284403 HAS SOUS 95580 HAS SOUPS 94345 WITH SCORE 94636.475
AT ITER 7855 NEW BEST:: SOT 833385 SOS 291356 HAS SOPS 284284 HAS SOUS 95375 HAS SOUPS 94140 WITH SCORE 94431.356
AT ITER 7878 NEW BEST:: SOT 833385 SOS 291342 HAS SOPS 284270 HAS SOUS 95361 HAS SOUPS 94126 WITH SCORE 94417.342
AT ITER 7909 NEW BEST:: SOT 833385 SOS 291342 HAS SOPS 284270 HAS SOUS 95343 HAS SOUPS 94108 WITH SCORE 94399.342
AT ITER 7912 NEW BEST:: SOT 833382 SOS 291034 HAS SOPS 283962 HAS SOUS 95328 HAS SOUPS 94093 WITH SCORE 94384.034
AT ITER 7915 NEW BEST:: SOT 833416 SOS 291320 HAS SOPS 284248 HAS SOUS 95312 HAS SOUPS 94077 WITH SCORE 94368.32
AT ITER 7942 NEW BEST:: SOT 833409 SOS 291318 HAS SOPS 284246 HAS SOUS 95310 HAS SOUPS 94075 WITH SCORE 94366.318
AT ITER 7943 NEW BEST:: SOT 833376 SOS 291296 HAS SOPS 284224 HAS SOUS 95255 HAS SOUPS 94020 WITH SCORE 94311.296
AT ITER 7944 NEW BEST:: SOT 833374 SOS 291292 HAS SOPS 284220 HAS SOUS 95251 HAS SOUPS 94016 WITH SCORE 94307.292
AT ITER 7945 NEW BEST:: SOT 833356 SOS 291259 HAS SOPS 284187 HAS SOUS 95230 HAS SOUPS 93995 WITH SCORE 94286.259
AT ITER 7946 NEW BEST:: SOT 833356 SOS 291259 HAS SOPS 284187 HAS SOUS 95227 HAS SOUPS 93992 WITH SCORE 94283.259
AT ITER 7949 NEW BEST:: SOT 833356 SOS 291255 HAS SOPS 284181 HAS SOUS 95223 HAS SOUPS 93988 WITH SCORE 94279.255
AT ITER 7952 NEW BEST:: SOT 833353 SOS 291273 HAS SOPS 284199 HAS SOUS 95194 HAS SOUPS 93959 WITH SCORE 94250.273
AT ITER 8004 NEW BEST:: SOT 833344 SOS 291277 HAS SOPS 284203 HAS SOUS 95183 HAS SOUPS 93948 WITH SCORE 94239.277
AT ITER 8005 NEW BEST:: SOT 833325 SOS 291258 HAS SOPS 284184 HAS SOUS 95164 HAS SOUPS 93929 WITH SCORE 94220.258
AT ITER 8010 NEW BEST:: SOT 833326 SOS 291259 HAS SOPS 284185 HAS SOUS 95114 HAS SOUPS 93879 WITH SCORE 94170.259
AT ITER 8026 NEW BEST:: SOT 832962 SOS 290907 HAS SOPS 283833 HAS SOUS 95034 HAS SOUPS 93799 WITH SCORE 94089.907
AT ITER 8041 NEW BEST:: SOT 832885 SOS 290786 HAS SOPS 283712 HAS SOUS 94981 HAS SOUPS 93746 WITH SCORE 94036.786
AT ITER 8043 NEW BEST:: SOT 832884 SOS 290790 HAS SOPS 283716 HAS SOUS 94979 HAS SOUPS 93744 WITH SCORE 94034.79
AT ITER 8054 NEW BEST:: SOT 832893 SOS 290785 HAS SOPS 283697 HAS SOUS 94974 HAS SOUPS 93739 WITH SCORE 94029.785
AT ITER 8111 NEW BEST:: SOT 832924 SOS 290831 HAS SOPS 283743 HAS SOUS 94880 HAS SOUPS 93645 WITH SCORE 93935.831
AT ITER 8116 NEW BEST:: SOT 832903 SOS 290600 HAS SOPS 283512 HAS SOUS 94842 HAS SOUPS 93607 WITH SCORE 93897.6
AT ITER 8143 NEW BEST:: SOT 832902 SOS 290559 HAS SOPS 283471 HAS SOUS 94830 HAS SOUPS 93595 WITH SCORE 93885.559
AT ITER 8184 NEW BEST:: SOT 832769 SOS 289610 HAS SOPS 282522 HAS SOUS 94723 HAS SOUPS 93488 WITH SCORE 93777.61
AT ITER 8193 NEW BEST:: SOT 832756 SOS 289597 HAS SOPS 282509 HAS SOUS 94710 HAS SOUPS 93475 WITH SCORE 93764.597
AT ITER 8232 NEW BEST:: SOT 832670 SOS 289533 HAS SOPS 282445 HAS SOUS 94700 HAS SOUPS 93465 WITH SCORE 93754.533
AT ITER 8266 NEW BEST:: SOT 826613 SOS 283476 HAS SOPS 276388 HAS SOUS 94044 HAS SOUPS 92809 WITH SCORE 93092.476
AT ITER 8278 NEW BEST:: SOT 826550 SOS 283455 HAS SOPS 276367 HAS SOUS 94023 HAS SOUPS 92788 WITH SCORE 93071.455
AT ITER 8293 NEW BEST:: SOT 826564 SOS 283469 HAS SOPS 276378 HAS SOUS 94017 HAS SOUPS 92782 WITH SCORE 93065.469
AT ITER 8303 NEW BEST:: SOT 826564 SOS 283293 HAS SOPS 276202 HAS SOUS 94017 HAS SOUPS 92782 WITH SCORE 93065.293
AT ITER 8310 NEW BEST:: SOT 826564 SOS 283721 HAS SOPS 276630 HAS SOUS 93910 HAS SOUPS 92675 WITH SCORE 92958.721
AT ITER 8311 NEW BEST:: SOT 826515 SOS 283574 HAS SOPS 276483 HAS SOUS 93907 HAS SOUPS 92672 WITH SCORE 92955.574
AT ITER 8329 NEW BEST:: SOT 826509 SOS 283568 HAS SOPS 276477 HAS SOUS 93895 HAS SOUPS 92660 WITH SCORE 92943.568
AT ITER 8332 NEW BEST:: SOT 826481 SOS 283513 HAS SOPS 276422 HAS SOUS 93839 HAS SOUPS 92604 WITH SCORE 92887.513
AT ITER 8339 NEW BEST:: SOT 826481 SOS 283513 HAS SOPS 276422 HAS SOUS 93833 HAS SOUPS 92598 WITH SCORE 92881.513
AT ITER 8382 NEW BEST:: SOT 826475 SOS 283531 HAS SOPS 276440 HAS SOUS 93821 HAS SOUPS 92586 WITH SCORE 92869.531
AT ITER 8386 NEW BEST:: SOT 826468 SOS 283524 HAS SOPS 276442 HAS SOUS 93798 HAS SOUPS 92563 WITH SCORE 92846.524
AT ITER 8412 NEW BEST:: SOT 826423 SOS 283420 HAS SOPS 276338 HAS SOUS 93706 HAS SOUPS 92471 WITH SCORE 92754.42
AT ITER 8437 NEW BEST:: SOT 826414 SOS 283411 HAS SOPS 276329 HAS SOUS 93688 HAS SOUPS 92453 WITH SCORE 92736.411
AT ITER 8446 NEW BEST:: SOT 826358 SOS 283243 HAS SOPS 276161 HAS SOUS 93618 HAS SOUPS 92383 WITH SCORE 92666.243
AT ITER 8447 NEW BEST:: SOT 826449 SOS 283334 HAS SOPS 276252 HAS SOUS 93603 HAS SOUPS 92368 WITH SCORE 92651.334
AT ITER 8455 NEW BEST:: SOT 826461 SOS 283318 HAS SOPS 276236 HAS SOUS 93509 HAS SOUPS 92274 WITH SCORE 92557.318
AT ITER 8459 NEW BEST:: SOT 826413 SOS 283270 HAS SOPS 276188 HAS SOUS 93461 HAS SOUPS 92226 WITH SCORE 92509.27
AT ITER 8485 NEW BEST:: SOT 826371 SOS 283200 HAS SOPS 276104 HAS SOUS 93391 HAS SOUPS 92156 WITH SCORE 92439.2
AT ITER 8507 NEW BEST:: SOT 826308 SOS 283175 HAS SOPS 276079 HAS SOUS 93342 HAS SOUPS 92107 WITH SCORE 92390.175
AT ITER 8545 NEW BEST:: SOT 826284 SOS 282558 HAS SOPS 275462 HAS SOUS 93235 HAS SOUPS 92000 WITH SCORE 92282.558
AT ITER 8566 NEW BEST:: SOT 826271 SOS 282566 HAS SOPS 275470 HAS SOUS 93209 HAS SOUPS 91974 WITH SCORE 92256.566
AT ITER 8573 NEW BEST:: SOT 826329 SOS 282624 HAS SOPS 275483 HAS SOUS 93183 HAS SOUPS 91948 WITH SCORE 92230.624
AT ITER 8585 NEW BEST:: SOT 826315 SOS 282610 HAS SOPS 275469 HAS SOUS 93183 HAS SOUPS 91948 WITH SCORE 92230.61
AT ITER 8595 NEW BEST:: SOT 826313 SOS 282607 HAS SOPS 275466 HAS SOUS 93179 HAS SOUPS 91944 WITH SCORE 92226.607
AT ITER 8598 NEW BEST:: SOT 826257 SOS 282551 HAS SOPS 275410 HAS SOUS 93067 HAS SOUPS 91832 WITH SCORE 92114.551
AT ITER 8613 NEW BEST:: SOT 826255 SOS 282504 HAS SOPS 275363 HAS SOUS 93045 HAS SOUPS 91810 WITH SCORE 92092.504
AT ITER 8641 NEW BEST:: SOT 826252 SOS 282503 HAS SOPS 275362 HAS SOUS 93041 HAS SOUPS 91806 WITH SCORE 92088.503
AT ITER 8648 NEW BEST:: SOT 826238 SOS 282489 HAS SOPS 275348 HAS SOUS 93031 HAS SOUPS 91796 WITH SCORE 92078.489
AT ITER 8682 NEW BEST:: SOT 826193 SOS 282443 HAS SOPS 275302 HAS SOUS 92980 HAS SOUPS 91745 WITH SCORE 92027.443
AT ITER 8687 NEW BEST:: SOT 826122 SOS 282163 HAS SOPS 275022 HAS SOUS 92817 HAS SOUPS 91582 WITH SCORE 91864.163
AT ITER 8703 NEW BEST:: SOT 826132 SOS 282182 HAS SOPS 275041 HAS SOUS 92661 HAS SOUPS 91426 WITH SCORE 91708.182
AT ITER 8729 NEW BEST:: SOT 826143 SOS 282231 HAS SOPS 275090 HAS SOUS 92643 HAS SOUPS 91408 WITH SCORE 91690.231
AT ITER 8740 NEW BEST:: SOT 826048 SOS 282136 HAS SOPS 274995 HAS SOUS 92565 HAS SOUPS 91330 WITH SCORE 91612.136
AT ITER 8747 NEW BEST:: SOT 826002 SOS 282113 HAS SOPS 274972 HAS SOUS 92559 HAS SOUPS 91324 WITH SCORE 91606.113
AT ITER 8833 NEW BEST:: SOT 825790 SOS 281838 HAS SOPS 274697 HAS SOUS 92259 HAS SOUPS 91024 WITH SCORE 91305.838
AT ITER 8859 NEW BEST:: SOT 825777 SOS 281825 HAS SOPS 274684 HAS SOUS 92248 HAS SOUPS 91013 WITH SCORE 91294.825
AT ITER 8876 NEW BEST:: SOT 825784 SOS 281832 HAS SOPS 274728 HAS SOUS 92132 HAS SOUPS 90897 WITH SCORE 91178.832
AT ITER 8887 NEW BEST:: SOT 825757 SOS 281805 HAS SOPS 274715 HAS SOUS 92130 HAS SOUPS 90895 WITH SCORE 91176.805
AT ITER 8888 NEW BEST:: SOT 825757 SOS 281801 HAS SOPS 274711 HAS SOUS 92126 HAS SOUPS 90891 WITH SCORE 91172.801
AT ITER 8925 NEW BEST:: SOT 825696 SOS 281536 HAS SOPS 274446 HAS SOUS 92031 HAS SOUPS 90796 WITH SCORE 91077.536
AT ITER 8947 NEW BEST:: SOT 825702 SOS 281542 HAS SOPS 274423 HAS SOUS 91983 HAS SOUPS 90748 WITH SCORE 91029.542
AT ITER 8948 NEW BEST:: SOT 825699 SOS 281539 HAS SOPS 274419 HAS SOUS 91979 HAS SOUPS 90744 WITH SCORE 91025.539
AT ITER 8949 NEW BEST:: SOT 825674 SOS 281439 HAS SOPS 274319 HAS SOUS 91979 HAS SOUPS 90744 WITH SCORE 91025.439
AT ITER 8994 NEW BEST:: SOT 825733 SOS 281464 HAS SOPS 274344 HAS SOUS 91946 HAS SOUPS 90711 WITH SCORE 90992.464
AT ITER 8998 NEW BEST:: SOT 825721 SOS 281452 HAS SOPS 274323 HAS SOUS 91940 HAS SOUPS 90705 WITH SCORE 90986.452
AT ITER 9002 NEW BEST:: SOT 825600 SOS 281385 HAS SOPS 274256 HAS SOUS 91881 HAS SOUPS 90646 WITH SCORE 90927.385
AT ITER 9006 NEW BEST:: SOT 825612 SOS 280404 HAS SOPS 273275 HAS SOUS 91835 HAS SOUPS 90600 WITH SCORE 90880.404
AT ITER 9041 NEW BEST:: SOT 825606 SOS 280392 HAS SOPS 273263 HAS SOUS 91823 HAS SOUPS 90588 WITH SCORE 90868.392
AT ITER 9056 NEW BEST:: SOT 825462 SOS 280257 HAS SOPS 273128 HAS SOUS 91579 HAS SOUPS 90344 WITH SCORE 90624.257
AT ITER 9060 NEW BEST:: SOT 825423 SOS 280284 HAS SOPS 273155 HAS SOUS 91553 HAS SOUPS 90318 WITH SCORE 90598.284
AT ITER 9077 NEW BEST:: SOT 825421 SOS 280280 HAS SOPS 273151 HAS SOUS 91549 HAS SOUPS 90314 WITH SCORE 90594.28
AT ITER 9086 NEW BEST:: SOT 825394 SOS 280260 HAS SOPS 273131 HAS SOUS 91487 HAS SOUPS 90252 WITH SCORE 90532.26
AT ITER 9138 NEW BEST:: SOT 825387 SOS 280246 HAS SOPS 273117 HAS SOUS 91473 HAS SOUPS 90238 WITH SCORE 90518.246
AT ITER 9139 NEW BEST:: SOT 825385 SOS 280242 HAS SOPS 273113 HAS SOUS 91469 HAS SOUPS 90234 WITH SCORE 90514.242
AT ITER 9162 NEW BEST:: SOT 825354 SOS 280194 HAS SOPS 273065 HAS SOUS 91293 HAS SOUPS 90058 WITH SCORE 90338.194
AT ITER 9184 NEW BEST:: SOT 825343 SOS 280224 HAS SOPS 273095 HAS SOUS 91271 HAS SOUPS 90036 WITH SCORE 90316.224
AT ITER 9280 NEW BEST:: SOT 825337 SOS 280218 HAS SOPS 273089 HAS SOUS 91265 HAS SOUPS 90030 WITH SCORE 90310.218
AT ITER 9374 NEW BEST:: SOT 825327 SOS 280198 HAS SOPS 273069 HAS SOUS 91245 HAS SOUPS 90010 WITH SCORE 90290.198
AT ITER 9455 NEW BEST:: SOT 825309 SOS 280137 HAS SOPS 273008 HAS SOUS 91185 HAS SOUPS 89950 WITH SCORE 90230.137
AT ITER 9456 NEW BEST:: SOT 825289 SOS 280087 HAS SOPS 272958 HAS SOUS 91145 HAS SOUPS 89910 WITH SCORE 90190.087
AT ITER 9497 NEW BEST:: SOT 825300 SOS 280097 HAS SOPS 272941 HAS SOUS 91136 HAS SOUPS 89901 WITH SCORE 90181.097
AT ITER 9530 NEW BEST:: SOT 825268 SOS 280065 HAS SOPS 272909 HAS SOUS 91088 HAS SOUPS 89853 WITH SCORE 90133.065
AT ITER 9536 NEW BEST:: SOT 825186 SOS 279983 HAS SOPS 272827 HAS SOUS 90946 HAS SOUPS 89711 WITH SCORE 89990.983
AT ITER 9571 NEW BEST:: SOT 825174 SOS 279971 HAS SOPS 272809 HAS SOUS 90934 HAS SOUPS 89699 WITH SCORE 89978.971
AT ITER 9597 NEW BEST:: SOT 825174 SOS 279963 HAS SOPS 272801 HAS SOUS 90931 HAS SOUPS 89696 WITH SCORE 89975.963
AT ITER 9607 NEW BEST:: SOT 825169 SOS 279958 HAS SOPS 272796 HAS SOUS 90926 HAS SOUPS 89691 WITH SCORE 89970.958
AT ITER 9611 NEW BEST:: SOT 825131 SOS 279467 HAS SOPS 272305 HAS SOUS 90866 HAS SOUPS 89631 WITH SCORE 89910.467
AT ITER 9622 NEW BEST:: SOT 825124 SOS 279351 HAS SOPS 272189 HAS SOUS 90801 HAS SOUPS 89566 WITH SCORE 89845.351
AT ITER 9623 NEW BEST:: SOT 824946 SOS 279147 HAS SOPS 271985 HAS SOUS 90594 HAS SOUPS 89359 WITH SCORE 89638.147
AT ITER 9632 NEW BEST:: SOT 825052 SOS 277897 HAS SOPS 270735 HAS SOUS 90367 HAS SOUPS 89132 WITH SCORE 89409.897
AT ITER 9645 NEW BEST:: SOT 824952 SOS 277808 HAS SOPS 270646 HAS SOUS 90278 HAS SOUPS 89043 WITH SCORE 89320.808
AT ITER 9673 NEW BEST:: SOT 824888 SOS 277510 HAS SOPS 270348 HAS SOUS 90256 HAS SOUPS 89021 WITH SCORE 89298.51
AT ITER 9737 NEW BEST:: SOT 824806 SOS 277469 HAS SOPS 270307 HAS SOUS 90215 HAS SOUPS 88980 WITH SCORE 89257.469
AT ITER 9753 NEW BEST:: SOT 826465 SOS 279223 HAS SOPS 272061 HAS SOUS 90186 HAS SOUPS 88951 WITH SCORE 89230.223
AT ITER 9810 NEW BEST:: SOT 826465 SOS 279104 HAS SOPS 271923 HAS SOUS 90134 HAS SOUPS 88899 WITH SCORE 89178.104
AT ITER 9822 NEW BEST:: SOT 826465 SOS 279104 HAS SOPS 271923 HAS SOUS 90132 HAS SOUPS 88897 WITH SCORE 89176.104
AT ITER 9844 NEW BEST:: SOT 826429 SOS 279227 HAS SOPS 272046 HAS SOUS 90119 HAS SOUPS 88884 WITH SCORE 89163.227
AT ITER 9901 NEW BEST:: SOT 826399 SOS 279197 HAS SOPS 272016 HAS SOUS 90089 HAS SOUPS 88854 WITH SCORE 89133.197
AT ITER 9902 NEW BEST:: SOT 826352 SOS 279150 HAS SOPS 271969 HAS SOUS 90031 HAS SOUPS 88796 WITH SCORE 89075.15
AT ITER 9919 NEW BEST:: SOT 826334 SOS 272606 HAS SOPS 265425 HAS SOUS 89979 HAS SOUPS 88744 WITH SCORE 89016.606
AT ITER 9941 NEW BEST:: SOT 826335 SOS 272601 HAS SOPS 265420 HAS SOUS 89971 HAS SOUPS 88736 WITH SCORE 89008.601
AT ITER 9973 NEW BEST:: SOT 826330 SOS 272576 HAS SOPS 265395 HAS SOUS 89966 HAS SOUPS 88731 WITH SCORE 89003.576
AT ITER 9995 NEW BEST:: SOT 826346 SOS 272575 HAS SOPS 265394 HAS SOUS 89957 HAS SOUPS 88722 WITH SCORE 88994.575

BK_TIME_CONFINEMENT_REACHED

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

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-S04J06T06"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is PolyORBLF-PT-S04J06T06, 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 r123-tajo-158961354800488"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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