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.r299-tall-167873953100568.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is PolyORBLF-PT-S04J06T06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873953100568
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.7M
-rw-r--r-- 1 mcc users 13K Feb 26 14:17 CTLCardinality.txt
-rw-r--r-- 1 mcc users 91K Feb 26 14:17 CTLCardinality.xml
-rw-r--r-- 1 mcc users 25K Feb 26 14:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 145K Feb 26 14:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 8.8K Feb 25 16:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 39K Feb 25 16:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 25 16:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 31K Feb 25 16:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 30K Feb 26 14:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 168K Feb 26 14:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 77K Feb 26 14:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 371K Feb 26 14:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.2K 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 2.6M 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 1679510905112

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBLF-PT-S04J06T06
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 18:48:26] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 18:48:26] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 18:48:26] [INFO ] Load time of PNML (sax parser for PT used): 343 ms
[2023-03-22 18:48:26] [INFO ] Transformed 618 places.
[2023-03-22 18:48:27] [INFO ] Transformed 3190 transitions.
[2023-03-22 18:48:27] [INFO ] Parsed PT model containing 618 places and 3190 transitions and 21570 arcs in 447 ms.
[2023-03-22 18:48:27] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 618 places, 3190 transitions and 21570 arcs took 55 ms.
Total runtime 533 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S04J06T06
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 618 places, 3190 transitions, 21570 arcs.
AT ITER 0 NEW BEST:: SOT 1036935 SOS 805766 HAS SOPS 801845 HAS SOUS 264405 HAS SOUPS 263747 WITH SCORE 264552.766
AT ITER 3 NEW BEST:: SOT 1036612 SOS 805463 HAS SOPS 801542 HAS SOUS 264225 HAS SOUPS 263567 WITH SCORE 264372.463
AT ITER 6 NEW BEST:: SOT 1036612 SOS 802907 HAS SOPS 798986 HAS SOUS 263703 HAS SOUPS 263045 WITH SCORE 263847.907
AT ITER 9 NEW BEST:: SOT 1036559 SOS 802813 HAS SOPS 798892 HAS SOUS 263609 HAS SOUPS 262951 WITH SCORE 263753.813
AT ITER 10 NEW BEST:: SOT 1036559 SOS 802801 HAS SOPS 798880 HAS SOUS 263597 HAS SOUPS 262939 WITH SCORE 263741.801
AT ITER 18 NEW BEST:: SOT 1035999 SOS 802305 HAS SOPS 798288 HAS SOUS 263021 HAS SOUPS 262347 WITH SCORE 263149.305
AT ITER 19 NEW BEST:: SOT 1035999 SOS 802302 HAS SOPS 798285 HAS SOUS 263018 HAS SOUPS 262344 WITH SCORE 263146.302
AT ITER 21 NEW BEST:: SOT 1035999 SOS 802168 HAS SOPS 798151 HAS SOUS 262951 HAS SOUPS 262277 WITH SCORE 263079.168
AT ITER 23 NEW BEST:: SOT 1034586 SOS 800896 HAS SOPS 796879 HAS SOUS 261572 HAS SOUPS 260898 WITH SCORE 261698.896
AT ITER 24 NEW BEST:: SOT 1034583 SOS 801391 HAS SOPS 797374 HAS SOUS 261542 HAS SOUPS 260868 WITH SCORE 261669.391
AT ITER 25 NEW BEST:: SOT 1034583 SOS 800857 HAS SOPS 796840 HAS SOUS 261433 HAS SOUPS 260759 WITH SCORE 261559.857
AT ITER 27 NEW BEST:: SOT 1034432 SOS 799834 HAS SOPS 795817 HAS SOUS 261023 HAS SOUPS 260349 WITH SCORE 261148.834
AT ITER 28 NEW BEST:: SOT 1034375 SOS 799131 HAS SOPS 795103 HAS SOUS 260938 HAS SOUPS 260264 WITH SCORE 261063.131
AT ITER 30 NEW BEST:: SOT 1034376 SOS 799135 HAS SOPS 795107 HAS SOUS 260937 HAS SOUPS 260263 WITH SCORE 261062.135
AT ITER 32 NEW BEST:: SOT 1034371 SOS 799130 HAS SOPS 795097 HAS SOUS 260927 HAS SOUPS 260253 WITH SCORE 261052.13
AT ITER 37 NEW BEST:: SOT 1034371 SOS 798869 HAS SOPS 794836 HAS SOUS 260406 HAS SOUPS 259732 WITH SCORE 260530.869
AT ITER 56 NEW BEST:: SOT 1034371 SOS 798869 HAS SOPS 794836 HAS SOUS 260388 HAS SOUPS 259714 WITH SCORE 260512.869
AT ITER 61 NEW BEST:: SOT 1044242 SOS 808396 HAS SOPS 804363 HAS SOUS 259861 HAS SOUPS 259187 WITH SCORE 259995.396
AT ITER 65 NEW BEST:: SOT 1044892 SOS 806824 HAS SOPS 802791 HAS SOUS 254461 HAS SOUPS 253787 WITH SCORE 254593.824
AT ITER 79 NEW BEST:: SOT 1044868 SOS 806800 HAS SOPS 802767 HAS SOUS 254413 HAS SOUPS 253739 WITH SCORE 254545.8
AT ITER 80 NEW BEST:: SOT 1044871 SOS 806645 HAS SOPS 802701 HAS SOUS 254347 HAS SOUPS 253673 WITH SCORE 254479.645
AT ITER 81 NEW BEST:: SOT 1044867 SOS 806629 HAS SOPS 802685 HAS SOUS 254339 HAS SOUPS 253665 WITH SCORE 254471.629
AT ITER 82 NEW BEST:: SOT 1044766 SOS 806498 HAS SOPS 802554 HAS SOUS 254137 HAS SOUPS 253463 WITH SCORE 254269.498
AT ITER 83 NEW BEST:: SOT 1044692 SOS 806436 HAS SOPS 802560 HAS SOUS 254128 HAS SOUPS 253454 WITH SCORE 254260.436
AT ITER 87 NEW BEST:: SOT 1043993 SOS 824273 HAS SOPS 816663 HAS SOUS 254422 HAS SOUPS 253318 WITH SCORE 254142.273
AT ITER 89 NEW BEST:: SOT 1043726 SOS 823968 HAS SOPS 816421 HAS SOUS 254267 HAS SOUPS 253163 WITH SCORE 253986.968
AT ITER 93 NEW BEST:: SOT 1043630 SOS 822972 HAS SOPS 815425 HAS SOUS 251472 HAS SOUPS 250368 WITH SCORE 251190.972
AT ITER 97 NEW BEST:: SOT 1043630 SOS 823135 HAS SOPS 815588 HAS SOUS 250901 HAS SOUPS 249797 WITH SCORE 250620.135
AT ITER 113 NEW BEST:: SOT 1043581 SOS 823086 HAS SOPS 815539 HAS SOUS 250881 HAS SOUPS 249777 WITH SCORE 250600.086
AT ITER 115 NEW BEST:: SOT 1043522 SOS 823003 HAS SOPS 815456 HAS SOUS 250782 HAS SOUPS 249678 WITH SCORE 250501.003
AT ITER 119 NEW BEST:: SOT 1043523 SOS 822991 HAS SOPS 815499 HAS SOUS 250781 HAS SOUPS 249677 WITH SCORE 250499.991
AT ITER 134 NEW BEST:: SOT 1042678 SOS 825430 HAS SOPS 817938 HAS SOUS 250407 HAS SOUPS 249303 WITH SCORE 250128.43
AT ITER 136 NEW BEST:: SOT 1042678 SOS 825430 HAS SOPS 817938 HAS SOUS 250375 HAS SOUPS 249271 WITH SCORE 250096.43
AT ITER 137 NEW BEST:: SOT 1042656 SOS 825852 HAS SOPS 818360 HAS SOUS 250114 HAS SOUPS 249010 WITH SCORE 249835.852
AT ITER 138 NEW BEST:: SOT 1042702 SOS 822603 HAS SOPS 815111 HAS SOUS 248905 HAS SOUPS 247801 WITH SCORE 248623.603
AT ITER 139 NEW BEST:: SOT 1042637 SOS 822473 HAS SOPS 814981 HAS SOUS 248834 HAS SOUPS 247730 WITH SCORE 248552.473
AT ITER 144 NEW BEST:: SOT 1042668 SOS 822378 HAS SOPS 814886 HAS SOUS 248772 HAS SOUPS 247668 WITH SCORE 248490.378
AT ITER 147 NEW BEST:: SOT 1042642 SOS 821806 HAS SOPS 814314 HAS SOUS 248532 HAS SOUPS 247428 WITH SCORE 248249.806
AT ITER 149 NEW BEST:: SOT 1042636 SOS 821800 HAS SOPS 814311 HAS SOUS 248529 HAS SOUPS 247425 WITH SCORE 248246.8
AT ITER 151 NEW BEST:: SOT 1042654 SOS 821940 HAS SOPS 814451 HAS SOUS 248409 HAS SOUPS 247305 WITH SCORE 248126.94
AT ITER 158 NEW BEST:: SOT 1042650 SOS 821936 HAS SOPS 814443 HAS SOUS 248401 HAS SOUPS 247297 WITH SCORE 248118.936
AT ITER 159 NEW BEST:: SOT 1042592 SOS 821801 HAS SOPS 814357 HAS SOUS 248293 HAS SOUPS 247189 WITH SCORE 248010.801
AT ITER 172 NEW BEST:: SOT 1042736 SOS 821467 HAS SOPS 814023 HAS SOUS 247812 HAS SOUPS 246708 WITH SCORE 247529.467
AT ITER 175 NEW BEST:: SOT 1043059 SOS 821322 HAS SOPS 813878 HAS SOUS 247223 HAS SOUPS 246119 WITH SCORE 246940.322
AT ITER 176 NEW BEST:: SOT 1043059 SOS 821296 HAS SOPS 813852 HAS SOUS 247197 HAS SOUPS 246093 WITH SCORE 246914.296
AT ITER 182 NEW BEST:: SOT 1042794 SOS 820989 HAS SOPS 813545 HAS SOUS 247047 HAS SOUPS 245943 WITH SCORE 246763.989
AT ITER 199 NEW BEST:: SOT 1039825 SOS 819043 HAS SOPS 810576 HAS SOUS 244110 HAS SOUPS 242830 WITH SCORE 243649.043
AT ITER 212 NEW BEST:: SOT 1039785 SOS 819003 HAS SOPS 810536 HAS SOUS 244106 HAS SOUPS 242826 WITH SCORE 243645.003
AT ITER 230 NEW BEST:: SOT 1039807 SOS 818960 HAS SOPS 810493 HAS SOUS 244046 HAS SOUPS 242766 WITH SCORE 243584.96
AT ITER 257 NEW BEST:: SOT 1039347 SOS 818588 HAS SOPS 810121 HAS SOUS 243674 HAS SOUPS 242394 WITH SCORE 243212.588
AT ITER 259 NEW BEST:: SOT 1038848 SOS 817903 HAS SOPS 809436 HAS SOUS 243517 HAS SOUPS 242237 WITH SCORE 243054.903
AT ITER 260 NEW BEST:: SOT 1039069 SOS 818116 HAS SOPS 809649 HAS SOUS 243260 HAS SOUPS 241980 WITH SCORE 242798.116
AT ITER 262 NEW BEST:: SOT 1038470 SOS 818264 HAS SOPS 809797 HAS SOUS 243186 HAS SOUPS 241906 WITH SCORE 242724.264
AT ITER 271 NEW BEST:: SOT 1038470 SOS 818443 HAS SOPS 809975 HAS SOUS 243153 HAS SOUPS 241873 WITH SCORE 242691.443
AT ITER 273 NEW BEST:: SOT 1038747 SOS 818305 HAS SOPS 809837 HAS SOUS 238980 HAS SOUPS 237700 WITH SCORE 238518.305
AT ITER 278 NEW BEST:: SOT 1038747 SOS 817734 HAS SOPS 809266 HAS SOUS 238717 HAS SOUPS 237437 WITH SCORE 238254.734
AT ITER 282 NEW BEST:: SOT 1038834 SOS 817752 HAS SOPS 809284 HAS SOUS 238480 HAS SOUPS 237200 WITH SCORE 238017.752
AT ITER 292 NEW BEST:: SOT 1037952 SOS 817043 HAS SOPS 808575 HAS SOUS 237767 HAS SOUPS 236487 WITH SCORE 237304.043
AT ITER 301 NEW BEST:: SOT 1037952 SOS 817187 HAS SOPS 808719 HAS SOUS 237671 HAS SOUPS 236391 WITH SCORE 237208.187
AT ITER 313 NEW BEST:: SOT 1037818 SOS 816863 HAS SOPS 808395 HAS SOUS 237567 HAS SOUPS 236287 WITH SCORE 237103.863
AT ITER 330 NEW BEST:: SOT 1037215 SOS 816375 HAS SOPS 807907 HAS SOUS 237019 HAS SOUPS 235739 WITH SCORE 236555.375
AT ITER 335 NEW BEST:: SOT 1037187 SOS 816351 HAS SOPS 807883 HAS SOUS 236995 HAS SOUPS 235715 WITH SCORE 236531.351
AT ITER 337 NEW BEST:: SOT 1037026 SOS 816190 HAS SOPS 807722 HAS SOUS 236902 HAS SOUPS 235622 WITH SCORE 236438.19
AT ITER 341 NEW BEST:: SOT 1037022 SOS 816186 HAS SOPS 807718 HAS SOUS 236898 HAS SOUPS 235618 WITH SCORE 236434.186
AT ITER 348 NEW BEST:: SOT 1036984 SOS 800579 HAS SOPS 795223 HAS SOUS 236437 HAS SOUPS 235426 WITH SCORE 236226.579
AT ITER 351 NEW BEST:: SOT 1036359 SOS 800076 HAS SOPS 794720 HAS SOUS 235960 HAS SOUPS 234949 WITH SCORE 235749.076
AT ITER 353 NEW BEST:: SOT 1036359 SOS 799702 HAS SOPS 794346 HAS SOUS 234854 HAS SOUPS 233843 WITH SCORE 234642.702
AT ITER 355 NEW BEST:: SOT 1036183 SOS 799262 HAS SOPS 793906 HAS SOUS 234590 HAS SOUPS 233579 WITH SCORE 234378.262
AT ITER 356 NEW BEST:: SOT 1036388 SOS 799652 HAS SOPS 794296 HAS SOUS 234422 HAS SOUPS 233411 WITH SCORE 234210.652
AT ITER 357 NEW BEST:: SOT 1035928 SOS 799037 HAS SOPS 793681 HAS SOUS 234288 HAS SOUPS 233277 WITH SCORE 234076.037
AT ITER 361 NEW BEST:: SOT 1035899 SOS 798828 HAS SOPS 793580 HAS SOUS 234231 HAS SOUPS 233238 WITH SCORE 234036.828
AT ITER 363 NEW BEST:: SOT 1036033 SOS 798895 HAS SOPS 793647 HAS SOUS 234133 HAS SOUPS 233140 WITH SCORE 233938.895
AT ITER 364 NEW BEST:: SOT 1035231 SOS 797995 HAS SOPS 792747 HAS SOUS 233402 HAS SOUPS 232409 WITH SCORE 233206.995
AT ITER 365 NEW BEST:: SOT 1035231 SOS 797980 HAS SOPS 792732 HAS SOUS 233387 HAS SOUPS 232394 WITH SCORE 233191.98
AT ITER 370 NEW BEST:: SOT 1034316 SOS 797241 HAS SOPS 791993 HAS SOUS 232800 HAS SOUPS 231807 WITH SCORE 232604.241
AT ITER 371 NEW BEST:: SOT 1034298 SOS 797233 HAS SOPS 791985 HAS SOUS 232792 HAS SOUPS 231799 WITH SCORE 232596.233
AT ITER 373 NEW BEST:: SOT 1034206 SOS 797141 HAS SOPS 791945 HAS SOUS 232779 HAS SOUPS 231786 WITH SCORE 232583.141
AT ITER 376 NEW BEST:: SOT 1034057 SOS 797044 HAS SOPS 791848 HAS SOUS 232682 HAS SOUPS 231689 WITH SCORE 232486.044
AT ITER 384 NEW BEST:: SOT 1034045 SOS 797020 HAS SOPS 791824 HAS SOUS 232658 HAS SOUPS 231665 WITH SCORE 232462.02
AT ITER 392 NEW BEST:: SOT 1033878 SOS 796853 HAS SOPS 791657 HAS SOUS 232491 HAS SOUPS 231498 WITH SCORE 232294.853
AT ITER 394 NEW BEST:: SOT 1032937 SOS 795965 HAS SOPS 790769 HAS SOUS 231353 HAS SOUPS 230360 WITH SCORE 231155.965
AT ITER 414 NEW BEST:: SOT 1032917 SOS 795949 HAS SOPS 790753 HAS SOUS 231337 HAS SOUPS 230344 WITH SCORE 231139.949
AT ITER 432 NEW BEST:: SOT 1032891 SOS 795923 HAS SOPS 790727 HAS SOUS 231299 HAS SOUPS 230306 WITH SCORE 231101.923
AT ITER 438 NEW BEST:: SOT 1021447 SOS 784375 HAS SOPS 779179 HAS SOUS 229272 HAS SOUPS 228279 WITH SCORE 229063.375
AT ITER 447 NEW BEST:: SOT 1021345 SOS 784318 HAS SOPS 779122 HAS SOUS 229260 HAS SOUPS 228267 WITH SCORE 229051.318
AT ITER 451 NEW BEST:: SOT 1021319 SOS 784266 HAS SOPS 779070 HAS SOUS 229175 HAS SOUPS 228182 WITH SCORE 228966.266
AT ITER 453 NEW BEST:: SOT 1021272 SOS 782889 HAS SOPS 777693 HAS SOUS 227833 HAS SOUPS 226840 WITH SCORE 227622.889
AT ITER 455 NEW BEST:: SOT 1021197 SOS 782814 HAS SOPS 777666 HAS SOUS 227779 HAS SOUPS 226786 WITH SCORE 227568.814
AT ITER 459 NEW BEST:: SOT 1021189 SOS 782798 HAS SOPS 777650 HAS SOUS 227763 HAS SOUPS 226770 WITH SCORE 227552.798
AT ITER 460 NEW BEST:: SOT 1021167 SOS 782572 HAS SOPS 777424 HAS SOUS 227702 HAS SOUPS 226709 WITH SCORE 227491.572
AT ITER 463 NEW BEST:: SOT 1021157 SOS 782082 HAS SOPS 776934 HAS SOUS 227555 HAS SOUPS 226562 WITH SCORE 227344.082
AT ITER 471 NEW BEST:: SOT 1024613 SOS 786825 HAS SOPS 781677 HAS SOUS 225869 HAS SOUPS 224876 WITH SCORE 225662.825
AT ITER 473 NEW BEST:: SOT 1024426 SOS 786704 HAS SOPS 781556 HAS SOUS 225735 HAS SOUPS 224742 WITH SCORE 225528.704
AT ITER 498 NEW BEST:: SOT 1024167 SOS 786260 HAS SOPS 781334 HAS SOUS 225476 HAS SOUPS 224520 WITH SCORE 225306.26
AT ITER 504 NEW BEST:: SOT 1024685 SOS 786412 HAS SOPS 781486 HAS SOUS 222901 HAS SOUPS 221945 WITH SCORE 222731.412
AT ITER 513 NEW BEST:: SOT 1025682 SOS 787172 HAS SOPS 782246 HAS SOUS 221659 HAS SOUPS 220703 WITH SCORE 221490.172
AT ITER 538 NEW BEST:: SOT 1026243 SOS 785339 HAS SOPS 780413 HAS SOUS 221077 HAS SOUPS 220121 WITH SCORE 220906.339
AT ITER 543 NEW BEST:: SOT 1026233 SOS 785299 HAS SOPS 780373 HAS SOUS 221037 HAS SOUPS 220081 WITH SCORE 220866.299
AT ITER 546 NEW BEST:: SOT 1025919 SOS 785061 HAS SOPS 780135 HAS SOUS 220799 HAS SOUPS 219843 WITH SCORE 220628.061
AT ITER 552 NEW BEST:: SOT 1025919 SOS 785063 HAS SOPS 780137 HAS SOUS 220797 HAS SOUPS 219841 WITH SCORE 220626.063
AT ITER 558 NEW BEST:: SOT 1025919 SOS 784582 HAS SOPS 779656 HAS SOUS 220797 HAS SOUPS 219841 WITH SCORE 220625.582
AT ITER 566 NEW BEST:: SOT 1025618 SOS 784447 HAS SOPS 779521 HAS SOUS 220571 HAS SOUPS 219615 WITH SCORE 220399.447
AT ITER 572 NEW BEST:: SOT 1025640 SOS 782428 HAS SOPS 776980 HAS SOUS 219387 HAS SOUPS 218344 WITH SCORE 219126.428
AT ITER 573 NEW BEST:: SOT 1025576 SOS 782364 HAS SOPS 776916 HAS SOUS 219371 HAS SOUPS 218328 WITH SCORE 219110.364
AT ITER 583 NEW BEST:: SOT 1025534 SOS 782322 HAS SOPS 776874 HAS SOUS 219296 HAS SOUPS 218253 WITH SCORE 219035.322
AT ITER 595 NEW BEST:: SOT 1025450 SOS 782252 HAS SOPS 776804 HAS SOUS 219184 HAS SOUPS 218141 WITH SCORE 218923.252
AT ITER 599 NEW BEST:: SOT 1024731 SOS 781410 HAS SOPS 775962 HAS SOUS 218289 HAS SOUPS 217246 WITH SCORE 218027.41
AT ITER 600 NEW BEST:: SOT 1024599 SOS 781240 HAS SOPS 775792 HAS SOUS 218119 HAS SOUPS 217076 WITH SCORE 217857.24
AT ITER 605 NEW BEST:: SOT 1022876 SOS 779591 HAS SOPS 774143 HAS SOUS 217762 HAS SOUPS 216719 WITH SCORE 217498.591
AT ITER 614 NEW BEST:: SOT 1022998 SOS 779563 HAS SOPS 774115 HAS SOUS 217663 HAS SOUPS 216620 WITH SCORE 217399.563
AT ITER 616 NEW BEST:: SOT 1022249 SOS 778987 HAS SOPS 773539 HAS SOUS 216616 HAS SOUPS 215573 WITH SCORE 216351.987
AT ITER 618 NEW BEST:: SOT 1023421 SOS 784813 HAS SOPS 779365 HAS SOUS 213465 HAS SOUPS 212422 WITH SCORE 213206.813
AT ITER 626 NEW BEST:: SOT 1023332 SOS 779989 HAS SOPS 774541 HAS SOUS 213073 HAS SOUPS 212030 WITH SCORE 212809.989
AT ITER 628 NEW BEST:: SOT 1023301 SOS 777080 HAS SOPS 771632 HAS SOUS 210508 HAS SOUPS 209465 WITH SCORE 210242.08
AT ITER 629 NEW BEST:: SOT 1023245 SOS 777024 HAS SOPS 771576 HAS SOUS 210396 HAS SOUPS 209353 WITH SCORE 210130.024
AT ITER 639 NEW BEST:: SOT 1023245 SOS 776928 HAS SOPS 771480 HAS SOUS 210396 HAS SOUPS 209353 WITH SCORE 210129.928
AT ITER 645 NEW BEST:: SOT 1023203 SOS 777101 HAS SOPS 771365 HAS SOUS 210425 HAS SOUPS 209334 WITH SCORE 210111.101
AT ITER 675 NEW BEST:: SOT 1023203 SOS 777060 HAS SOPS 771324 HAS SOUS 210392 HAS SOUPS 209301 WITH SCORE 210078.06
AT ITER 676 NEW BEST:: SOT 1023181 SOS 777038 HAS SOPS 771302 HAS SOUS 210370 HAS SOUPS 209279 WITH SCORE 210056.038
AT ITER 686 NEW BEST:: SOT 1022558 SOS 776548 HAS SOPS 770812 HAS SOUS 209557 HAS SOUPS 208466 WITH SCORE 209242.548
AT ITER 690 NEW BEST:: SOT 1022355 SOS 776578 HAS SOPS 770905 HAS SOUS 209364 HAS SOUPS 208273 WITH SCORE 209049.578
AT ITER 695 NEW BEST:: SOT 1023216 SOS 777020 HAS SOPS 771347 HAS SOUS 209027 HAS SOUPS 207936 WITH SCORE 208713.02
AT ITER 699 NEW BEST:: SOT 1023216 SOS 777772 HAS SOPS 772099 HAS SOUS 208986 HAS SOUPS 207895 WITH SCORE 208672.772
AT ITER 702 NEW BEST:: SOT 1023058 SOS 774658 HAS SOPS 768985 HAS SOUS 206956 HAS SOUPS 205865 WITH SCORE 206639.658
AT ITER 703 NEW BEST:: SOT 1023324 SOS 775300 HAS SOPS 769627 HAS SOUS 206907 HAS SOUPS 205816 WITH SCORE 206591.3
AT ITER 724 NEW BEST:: SOT 1023117 SOS 774814 HAS SOPS 769141 HAS SOUS 206843 HAS SOUPS 205752 WITH SCORE 206526.814
AT ITER 726 NEW BEST:: SOT 1022574 SOS 774530 HAS SOPS 768857 HAS SOUS 206804 HAS SOUPS 205713 WITH SCORE 206487.53
AT ITER 746 NEW BEST:: SOT 1022608 SOS 774598 HAS SOPS 768925 HAS SOUS 206577 HAS SOUPS 205486 WITH SCORE 206260.598
AT ITER 747 NEW BEST:: SOT 1022447 SOS 773897 HAS SOPS 768224 HAS SOUS 206045 HAS SOUPS 204954 WITH SCORE 205727.897
AT ITER 753 NEW BEST:: SOT 1022283 SOS 773787 HAS SOPS 768193 HAS SOUS 206011 HAS SOUPS 204920 WITH SCORE 205693.787
AT ITER 759 NEW BEST:: SOT 1022283 SOS 773769 HAS SOPS 768175 HAS SOUS 205990 HAS SOUPS 204899 WITH SCORE 205672.769
AT ITER 772 NEW BEST:: SOT 1022283 SOS 773769 HAS SOPS 768175 HAS SOUS 205981 HAS SOUPS 204890 WITH SCORE 205663.769
AT ITER 778 NEW BEST:: SOT 1022259 SOS 773745 HAS SOPS 768151 HAS SOUS 205949 HAS SOUPS 204858 WITH SCORE 205631.745
AT ITER 781 NEW BEST:: SOT 1022755 SOS 772066 HAS SOPS 766472 HAS SOUS 200565 HAS SOUPS 199474 WITH SCORE 200246.066
AT ITER 787 NEW BEST:: SOT 1022740 SOS 771992 HAS SOPS 766405 HAS SOUS 200532 HAS SOUPS 199441 WITH SCORE 200212.992
AT ITER 798 NEW BEST:: SOT 1022681 SOS 771891 HAS SOPS 766304 HAS SOUS 200414 HAS SOUPS 199323 WITH SCORE 200094.891
AT ITER 799 NEW BEST:: SOT 1022658 SOS 772042 HAS SOPS 766455 HAS SOUS 200395 HAS SOUPS 199304 WITH SCORE 200076.042
AT ITER 800 NEW BEST:: SOT 1022706 SOS 772296 HAS SOPS 766709 HAS SOUS 200272 HAS SOUPS 199181 WITH SCORE 199953.296
AT ITER 803 NEW BEST:: SOT 1023448 SOS 769950 HAS SOPS 764363 HAS SOUS 197767 HAS SOUPS 196676 WITH SCORE 197445.95
AT ITER 804 NEW BEST:: SOT 1023501 SOS 770223 HAS SOPS 764636 HAS SOUS 197761 HAS SOUPS 196670 WITH SCORE 197440.223
AT ITER 809 NEW BEST:: SOT 1023216 SOS 769860 HAS SOPS 764273 HAS SOUS 197547 HAS SOUPS 196456 WITH SCORE 197225.86
AT ITER 817 NEW BEST:: SOT 1023204 SOS 769848 HAS SOPS 764261 HAS SOUS 197523 HAS SOUPS 196432 WITH SCORE 197201.848
AT ITER 823 NEW BEST:: SOT 1023281 SOS 770088 HAS SOPS 764501 HAS SOUS 197128 HAS SOUPS 196037 WITH SCORE 196807.088
AT ITER 827 NEW BEST:: SOT 1023565 SOS 770445 HAS SOPS 764858 HAS SOUS 196538 HAS SOUPS 195447 WITH SCORE 196217.445
AT ITER 836 NEW BEST:: SOT 1023565 SOS 770378 HAS SOPS 764791 HAS SOUS 196489 HAS SOUPS 195398 WITH SCORE 196168.378
AT ITER 842 NEW BEST:: SOT 1023534 SOS 770381 HAS SOPS 764794 HAS SOUS 196468 HAS SOUPS 195377 WITH SCORE 196147.381
AT ITER 872 NEW BEST:: SOT 1023258 SOS 770178 HAS SOPS 764591 HAS SOUS 196361 HAS SOUPS 195270 WITH SCORE 196040.178
AT ITER 874 NEW BEST:: SOT 1023151 SOS 769289 HAS SOPS 763702 HAS SOUS 196113 HAS SOUPS 195022 WITH SCORE 195791.289
AT ITER 876 NEW BEST:: SOT 1019386 SOS 765524 HAS SOPS 759937 HAS SOUS 194754 HAS SOUPS 193663 WITH SCORE 194428.524
AT ITER 890 NEW BEST:: SOT 1019257 SOS 765360 HAS SOPS 759842 HAS SOUS 194665 HAS SOUPS 193574 WITH SCORE 194339.36
AT ITER 900 NEW BEST:: SOT 1019257 SOS 678197 HAS SOPS 672679 HAS SOUS 189824 HAS SOUPS 188733 WITH SCORE 189411.197
AT ITER 903 NEW BEST:: SOT 1019204 SOS 677773 HAS SOPS 672255 HAS SOUS 189745 HAS SOUPS 188654 WITH SCORE 189331.773
AT ITER 904 NEW BEST:: SOT 1018166 SOS 676786 HAS SOPS 671268 HAS SOUS 189640 HAS SOUPS 188549 WITH SCORE 189225.786
AT ITER 924 NEW BEST:: SOT 1018180 SOS 676841 HAS SOPS 671196 HAS SOUS 189754 HAS SOUPS 188518 WITH SCORE 189194.841
AT ITER 947 NEW BEST:: SOT 1018180 SOS 676872 HAS SOPS 671227 HAS SOUS 189710 HAS SOUPS 188474 WITH SCORE 189150.872
AT ITER 952 NEW BEST:: SOT 1017274 SOS 676150 HAS SOPS 670505 HAS SOUS 188812 HAS SOUPS 187576 WITH SCORE 188252.15
AT ITER 965 NEW BEST:: SOT 1017263 SOS 676139 HAS SOPS 670494 HAS SOUS 188793 HAS SOUPS 187557 WITH SCORE 188233.139
AT ITER 980 NEW BEST:: SOT 1017256 SOS 676110 HAS SOPS 670465 HAS SOUS 188752 HAS SOUPS 187516 WITH SCORE 188192.11
AT ITER 985 NEW BEST:: SOT 1017397 SOS 676364 HAS SOPS 670949 HAS SOUS 188588 HAS SOUPS 187352 WITH SCORE 188028.364
AT ITER 991 NEW BEST:: SOT 1017490 SOS 676457 HAS SOPS 671042 HAS SOUS 188567 HAS SOUPS 187331 WITH SCORE 188007.457
AT ITER 995 NEW BEST:: SOT 1023528 SOS 655308 HAS SOPS 649893 HAS SOUS 184576 HAS SOUPS 183340 WITH SCORE 183995.308
AT ITER 1000 NEW BEST:: SOT 1022952 SOS 654251 HAS SOPS 648836 HAS SOUS 184057 HAS SOUPS 182821 WITH SCORE 183475.251
AT ITER 1002 NEW BEST:: SOT 1022930 SOS 654188 HAS SOPS 648773 HAS SOUS 183994 HAS SOUPS 182758 WITH SCORE 183412.188
AT ITER 1009 NEW BEST:: SOT 1022803 SOS 653996 HAS SOPS 648661 HAS SOUS 183903 HAS SOUPS 182667 WITH SCORE 183320.996
AT ITER 1014 NEW BEST:: SOT 1022335 SOS 653138 HAS SOPS 647803 HAS SOUS 183438 HAS SOUPS 182202 WITH SCORE 182855.138
AT ITER 1021 NEW BEST:: SOT 1022315 SOS 653123 HAS SOPS 647668 HAS SOUS 183438 HAS SOUPS 182182 WITH SCORE 182835.123
AT ITER 1022 NEW BEST:: SOT 1022366 SOS 653174 HAS SOPS 647719 HAS SOUS 183120 HAS SOUPS 181864 WITH SCORE 182517.174
AT ITER 1027 NEW BEST:: SOT 1022383 SOS 653236 HAS SOPS 647781 HAS SOUS 182936 HAS SOUPS 181680 WITH SCORE 182333.236
AT ITER 1030 NEW BEST:: SOT 1022303 SOS 653191 HAS SOPS 647758 HAS SOUS 182861 HAS SOUPS 181605 WITH SCORE 182258.191
AT ITER 1038 NEW BEST:: SOT 1022217 SOS 653091 HAS SOPS 647658 HAS SOUS 182761 HAS SOUPS 181505 WITH SCORE 182158.091
AT ITER 1039 NEW BEST:: SOT 1022180 SOS 653033 HAS SOPS 647600 HAS SOUS 182698 HAS SOUPS 181442 WITH SCORE 182095.033
AT ITER 1044 NEW BEST:: SOT 1022216 SOS 653566 HAS SOPS 648133 HAS SOUS 182599 HAS SOUPS 181343 WITH SCORE 181996.566
AT ITER 1050 NEW BEST:: SOT 1022154 SOS 653504 HAS SOPS 648071 HAS SOUS 182495 HAS SOUPS 181239 WITH SCORE 181892.504
AT ITER 1054 NEW BEST:: SOT 1021333 SOS 652648 HAS SOPS 647215 HAS SOUS 181617 HAS SOUPS 180361 WITH SCORE 181013.648
AT ITER 1058 NEW BEST:: SOT 1021010 SOS 652375 HAS SOPS 646942 HAS SOUS 181295 HAS SOUPS 180039 WITH SCORE 180691.375
AT ITER 1060 NEW BEST:: SOT 1021066 SOS 638118 HAS SOPS 632685 HAS SOUS 181081 HAS SOUPS 179825 WITH SCORE 180463.118
AT ITER 1063 NEW BEST:: SOT 1021067 SOS 638119 HAS SOPS 632686 HAS SOUS 181064 HAS SOUPS 179808 WITH SCORE 180446.119
AT ITER 1067 NEW BEST:: SOT 1021056 SOS 638108 HAS SOPS 632675 HAS SOUS 181049 HAS SOUPS 179793 WITH SCORE 180431.108
AT ITER 1090 NEW BEST:: SOT 1021056 SOS 638102 HAS SOPS 632669 HAS SOUS 181043 HAS SOUPS 179787 WITH SCORE 180425.102
AT ITER 1111 NEW BEST:: SOT 1021050 SOS 638096 HAS SOPS 632663 HAS SOUS 181037 HAS SOUPS 179781 WITH SCORE 180419.096
AT ITER 1113 NEW BEST:: SOT 1020937 SOS 637977 HAS SOPS 632612 HAS SOUS 180953 HAS SOUPS 179697 WITH SCORE 180334.977
AT ITER 1118 NEW BEST:: SOT 1020937 SOS 637807 HAS SOPS 632442 HAS SOUS 180905 HAS SOUPS 179649 WITH SCORE 180286.807
AT ITER 1124 NEW BEST:: SOT 1020937 SOS 637907 HAS SOPS 632542 HAS SOUS 180903 HAS SOUPS 179647 WITH SCORE 180284.907
AT ITER 1129 NEW BEST:: SOT 1019589 SOS 636833 HAS SOPS 631468 HAS SOUS 179513 HAS SOUPS 178257 WITH SCORE 178893.833
AT ITER 1151 NEW BEST:: SOT 1019589 SOS 636815 HAS SOPS 631468 HAS SOUS 179477 HAS SOUPS 178239 WITH SCORE 178875.815
AT ITER 1162 NEW BEST:: SOT 1019610 SOS 637133 HAS SOPS 631786 HAS SOUS 179450 HAS SOUPS 178212 WITH SCORE 178849.133
AT ITER 1187 NEW BEST:: SOT 1019594 SOS 637117 HAS SOPS 631770 HAS SOUS 179434 HAS SOUPS 178196 WITH SCORE 178833.117
AT ITER 1197 NEW BEST:: SOT 1019409 SOS 636565 HAS SOPS 631218 HAS SOUS 179419 HAS SOUPS 178181 WITH SCORE 178817.565
AT ITER 1211 NEW BEST:: SOT 1019432 SOS 638299 HAS SOPS 632952 HAS SOUS 179168 HAS SOUPS 177930 WITH SCORE 178568.299
AT ITER 1227 NEW BEST:: SOT 1019432 SOS 638317 HAS SOPS 632970 HAS SOUS 179156 HAS SOUPS 177918 WITH SCORE 178556.317
AT ITER 1257 NEW BEST:: SOT 1019432 SOS 638317 HAS SOPS 632970 HAS SOUS 179113 HAS SOUPS 177875 WITH SCORE 178513.317
AT ITER 1263 NEW BEST:: SOT 1019427 SOS 638317 HAS SOPS 632970 HAS SOUS 179103 HAS SOUPS 177865 WITH SCORE 178503.317
AT ITER 1271 NEW BEST:: SOT 1019401 SOS 638291 HAS SOPS 632944 HAS SOUS 179077 HAS SOUPS 177839 WITH SCORE 178477.291
AT ITER 1285 NEW BEST:: SOT 1019363 SOS 638253 HAS SOPS 632892 HAS SOUS 179028 HAS SOUPS 177790 WITH SCORE 178428.253
AT ITER 1295 NEW BEST:: SOT 1019870 SOS 638807 HAS SOPS 633446 HAS SOUS 177471 HAS SOUPS 176233 WITH SCORE 176871.807
AT ITER 1304 NEW BEST:: SOT 1021896 SOS 640990 HAS SOPS 635629 HAS SOUS 177258 HAS SOUPS 176020 WITH SCORE 176660.99
AT ITER 1323 NEW BEST:: SOT 1021879 SOS 641045 HAS SOPS 635684 HAS SOUS 177233 HAS SOUPS 175995 WITH SCORE 176636.045
AT ITER 1325 NEW BEST:: SOT 1021879 SOS 641004 HAS SOPS 635643 HAS SOUS 177192 HAS SOUPS 175954 WITH SCORE 176595.004
AT ITER 1328 NEW BEST:: SOT 1021826 SOS 641110 HAS SOPS 635749 HAS SOUS 176982 HAS SOUPS 175744 WITH SCORE 176385.11
AT ITER 1334 NEW BEST:: SOT 1021826 SOS 641161 HAS SOPS 635800 HAS SOUS 176848 HAS SOUPS 175610 WITH SCORE 176251.161
AT ITER 1341 NEW BEST:: SOT 1022655 SOS 636594 HAS SOPS 631233 HAS SOUS 175656 HAS SOUPS 174418 WITH SCORE 175054.594
AT ITER 1349 NEW BEST:: SOT 1024679 SOS 636341 HAS SOPS 630980 HAS SOUS 175044 HAS SOUPS 173806 WITH SCORE 174442.341
AT ITER 1368 NEW BEST:: SOT 1024608 SOS 634203 HAS SOPS 628842 HAS SOUS 174870 HAS SOUPS 173632 WITH SCORE 174266.203
AT ITER 1381 NEW BEST:: SOT 1024663 SOS 634258 HAS SOPS 628897 HAS SOUS 174721 HAS SOUPS 173483 WITH SCORE 174117.258
AT ITER 1382 NEW BEST:: SOT 1024663 SOS 634378 HAS SOPS 629017 HAS SOUS 174666 HAS SOUPS 173428 WITH SCORE 174062.378
AT ITER 1392 NEW BEST:: SOT 1024108 SOS 633895 HAS SOPS 628534 HAS SOUS 174432 HAS SOUPS 173194 WITH SCORE 173827.895
AT ITER 1403 NEW BEST:: SOT 1023804 SOS 633676 HAS SOPS 628315 HAS SOUS 174318 HAS SOUPS 173080 WITH SCORE 173713.676
AT ITER 1415 NEW BEST:: SOT 1023908 SOS 633651 HAS SOPS 628290 HAS SOUS 174293 HAS SOUPS 173055 WITH SCORE 173688.651
AT ITER 1437 NEW BEST:: SOT 1023897 SOS 633640 HAS SOPS 628279 HAS SOUS 174271 HAS SOUPS 173033 WITH SCORE 173666.64
AT ITER 1438 NEW BEST:: SOT 1032042 SOS 641795 HAS SOPS 636434 HAS SOUS 174096 HAS SOUPS 172858 WITH SCORE 173499.795
AT ITER 1439 NEW BEST:: SOT 1032046 SOS 640951 HAS SOPS 635590 HAS SOUS 174072 HAS SOUPS 172834 WITH SCORE 173474.951
AT ITER 1441 NEW BEST:: SOT 1032588 SOS 626896 HAS SOPS 621535 HAS SOUS 173516 HAS SOUPS 172278 WITH SCORE 172904.896
AT ITER 1447 NEW BEST:: SOT 1032481 SOS 626427 HAS SOPS 621092 HAS SOUS 173456 HAS SOUPS 172218 WITH SCORE 172844.427
AT ITER 1460 NEW BEST:: SOT 1032523 SOS 626344 HAS SOPS 620979 HAS SOUS 173438 HAS SOUPS 172200 WITH SCORE 172826.344
AT ITER 1475 NEW BEST:: SOT 1033473 SOS 627576 HAS SOPS 622211 HAS SOUS 171639 HAS SOUPS 170401 WITH SCORE 171028.576
AT ITER 1477 NEW BEST:: SOT 1033706 SOS 627809 HAS SOPS 622444 HAS SOUS 171450 HAS SOUPS 170212 WITH SCORE 170839.809
AT ITER 1478 NEW BEST:: SOT 1033712 SOS 628035 HAS SOPS 622670 HAS SOUS 171333 HAS SOUPS 170095 WITH SCORE 170723.035
AT ITER 1489 NEW BEST:: SOT 1033590 SOS 627738 HAS SOPS 622373 HAS SOUS 171328 HAS SOUPS 170090 WITH SCORE 170717.738
AT ITER 1499 NEW BEST:: SOT 1033432 SOS 627522 HAS SOPS 622236 HAS SOUS 171255 HAS SOUPS 170017 WITH SCORE 170644.522
AT ITER 1503 NEW BEST:: SOT 1033515 SOS 627650 HAS SOPS 622364 HAS SOUS 171041 HAS SOUPS 169803 WITH SCORE 170430.65
AT ITER 1505 NEW BEST:: SOT 1033511 SOS 627636 HAS SOPS 622350 HAS SOUS 171013 HAS SOUPS 169775 WITH SCORE 170402.636
AT ITER 1506 NEW BEST:: SOT 1033392 SOS 579693 HAS SOPS 574407 HAS SOUS 170646 HAS SOUPS 169408 WITH SCORE 169987.693
AT ITER 1513 NEW BEST:: SOT 1027456 SOS 573753 HAS SOPS 568467 HAS SOUS 170444 HAS SOUPS 169206 WITH SCORE 169779.753
AT ITER 1519 NEW BEST:: SOT 1028336 SOS 546092 HAS SOPS 540806 HAS SOUS 168791 HAS SOUPS 167553 WITH SCORE 168099.092
AT ITER 1527 NEW BEST:: SOT 1028353 SOS 546050 HAS SOPS 540764 HAS SOUS 168766 HAS SOUPS 167528 WITH SCORE 168074.05
AT ITER 1535 NEW BEST:: SOT 1028000 SOS 545454 HAS SOPS 540168 HAS SOUS 168437 HAS SOUPS 167199 WITH SCORE 167744.454
AT ITER 1538 NEW BEST:: SOT 1027569 SOS 545151 HAS SOPS 539865 HAS SOUS 168196 HAS SOUPS 166958 WITH SCORE 167503.151
AT ITER 1550 NEW BEST:: SOT 1027569 SOS 544897 HAS SOPS 539611 HAS SOUS 168186 HAS SOUPS 166948 WITH SCORE 167492.897
AT ITER 1553 NEW BEST:: SOT 1027584 SOS 544882 HAS SOPS 539596 HAS SOUS 168174 HAS SOUPS 166936 WITH SCORE 167480.882
AT ITER 1554 NEW BEST:: SOT 1027623 SOS 544847 HAS SOPS 539561 HAS SOUS 168030 HAS SOUPS 166792 WITH SCORE 167336.847
AT ITER 1567 NEW BEST:: SOT 1027562 SOS 544681 HAS SOPS 539395 HAS SOUS 168016 HAS SOUPS 166778 WITH SCORE 167322.681
AT ITER 1570 NEW BEST:: SOT 1027466 SOS 547780 HAS SOPS 542494 HAS SOUS 168000 HAS SOUPS 166762 WITH SCORE 167309.78
AT ITER 1573 NEW BEST:: SOT 1027536 SOS 548017 HAS SOPS 542731 HAS SOUS 167768 HAS SOUPS 166530 WITH SCORE 167078.017
AT ITER 1583 NEW BEST:: SOT 1027530 SOS 548011 HAS SOPS 542725 HAS SOUS 167751 HAS SOUPS 166513 WITH SCORE 167061.011
AT ITER 1589 NEW BEST:: SOT 1027500 SOS 547981 HAS SOPS 542695 HAS SOUS 167709 HAS SOUPS 166471 WITH SCORE 167018.981
AT ITER 1607 NEW BEST:: SOT 1027422 SOS 548235 HAS SOPS 542959 HAS SOUS 167617 HAS SOUPS 166379 WITH SCORE 166927.235
AT ITER 1619 NEW BEST:: SOT 1027388 SOS 548167 HAS SOPS 542891 HAS SOUS 167549 HAS SOUPS 166311 WITH SCORE 166859.167
AT ITER 1625 NEW BEST:: SOT 1027269 SOS 548035 HAS SOPS 542759 HAS SOUS 167466 HAS SOUPS 166228 WITH SCORE 166776.035
AT ITER 1631 NEW BEST:: SOT 1027269 SOS 548035 HAS SOPS 542759 HAS SOUS 167463 HAS SOUPS 166225 WITH SCORE 166773.035
AT ITER 1639 NEW BEST:: SOT 1027208 SOS 547974 HAS SOPS 542698 HAS SOUS 167395 HAS SOUPS 166157 WITH SCORE 166704.974
AT ITER 1645 NEW BEST:: SOT 1026805 SOS 547636 HAS SOPS 542360 HAS SOUS 166712 HAS SOUPS 165474 WITH SCORE 166021.636
AT ITER 1652 NEW BEST:: SOT 1026765 SOS 547534 HAS SOPS 542258 HAS SOUS 166646 HAS SOUPS 165408 WITH SCORE 165955.534
AT ITER 1657 NEW BEST:: SOT 1026706 SOS 547603 HAS SOPS 542327 HAS SOUS 166372 HAS SOUPS 165134 WITH SCORE 165681.603
AT ITER 1662 NEW BEST:: SOT 1026531 SOS 547450 HAS SOPS 542174 HAS SOUS 166183 HAS SOUPS 164945 WITH SCORE 165492.45
AT ITER 1670 NEW BEST:: SOT 1026422 SOS 547239 HAS SOPS 541963 HAS SOUS 166177 HAS SOUPS 164939 WITH SCORE 165486.239
AT ITER 1675 NEW BEST:: SOT 1026402 SOS 547064 HAS SOPS 541789 HAS SOUS 166166 HAS SOUPS 164928 WITH SCORE 165475.064
AT ITER 1690 NEW BEST:: SOT 1026402 SOS 547025 HAS SOPS 541717 HAS SOUS 166160 HAS SOUPS 164916 WITH SCORE 165463.025
AT ITER 1697 NEW BEST:: SOT 1026152 SOS 546788 HAS SOPS 541480 HAS SOUS 165978 HAS SOUPS 164734 WITH SCORE 165280.788
AT ITER 1699 NEW BEST:: SOT 1026135 SOS 546771 HAS SOPS 541463 HAS SOUS 165916 HAS SOUPS 164672 WITH SCORE 165218.771
AT ITER 1712 NEW BEST:: SOT 1026186 SOS 546822 HAS SOPS 541514 HAS SOUS 165582 HAS SOUPS 164338 WITH SCORE 164884.822
AT ITER 1717 NEW BEST:: SOT 1026062 SOS 546667 HAS SOPS 541359 HAS SOUS 165427 HAS SOUPS 164183 WITH SCORE 164729.667
AT ITER 1718 NEW BEST:: SOT 1026037 SOS 546642 HAS SOPS 541334 HAS SOUS 165330 HAS SOUPS 164086 WITH SCORE 164632.642
AT ITER 1733 NEW BEST:: SOT 1025682 SOS 546226 HAS SOPS 540918 HAS SOUS 164697 HAS SOUPS 163453 WITH SCORE 163999.226
AT ITER 1734 NEW BEST:: SOT 1026308 SOS 546852 HAS SOPS 541544 HAS SOUS 163903 HAS SOUPS 162659 WITH SCORE 163205.852
AT ITER 1743 NEW BEST:: SOT 1026094 SOS 546574 HAS SOPS 541266 HAS SOUS 163819 HAS SOUPS 162575 WITH SCORE 163121.574
AT ITER 1760 NEW BEST:: SOT 1025565 SOS 546120 HAS SOPS 540812 HAS SOUS 163068 HAS SOUPS 161824 WITH SCORE 162370.12
AT ITER 1764 NEW BEST:: SOT 1025577 SOS 546254 HAS SOPS 540946 HAS SOUS 162898 HAS SOUPS 161654 WITH SCORE 162200.254
AT ITER 1767 NEW BEST:: SOT 1025465 SOS 546130 HAS SOPS 540822 HAS SOUS 162870 HAS SOUPS 161626 WITH SCORE 162172.13
AT ITER 1777 NEW BEST:: SOT 1025495 SOS 546580 HAS SOPS 541272 HAS SOUS 162720 HAS SOUPS 161476 WITH SCORE 162022.58
AT ITER 1779 NEW BEST:: SOT 1025495 SOS 546567 HAS SOPS 541259 HAS SOUS 162707 HAS SOUPS 161463 WITH SCORE 162009.567
AT ITER 1786 NEW BEST:: SOT 1025495 SOS 546564 HAS SOPS 541255 HAS SOUS 162707 HAS SOUPS 161463 WITH SCORE 162009.564
AT ITER 1803 NEW BEST:: SOT 1025427 SOS 546428 HAS SOPS 541119 HAS SOUS 162571 HAS SOUPS 161327 WITH SCORE 161873.428
AT ITER 1815 NEW BEST:: SOT 1024776 SOS 546198 HAS SOPS 541040 HAS SOUS 162012 HAS SOUPS 160792 WITH SCORE 161338.198
AT ITER 1816 NEW BEST:: SOT 1025057 SOS 546781 HAS SOPS 541623 HAS SOUS 161957 HAS SOUPS 160737 WITH SCORE 161283.781
AT ITER 1822 NEW BEST:: SOT 1024958 SOS 546923 HAS SOPS 541765 HAS SOUS 161499 HAS SOUPS 160279 WITH SCORE 160825.923
AT ITER 1829 NEW BEST:: SOT 1024727 SOS 546807 HAS SOPS 541649 HAS SOUS 161391 HAS SOUPS 160171 WITH SCORE 160717.807
AT ITER 1840 NEW BEST:: SOT 1024719 SOS 546613 HAS SOPS 541455 HAS SOUS 161383 HAS SOUPS 160163 WITH SCORE 160709.613
AT ITER 1841 NEW BEST:: SOT 1023221 SOS 592989 HAS SOPS 588112 HAS SOUS 160459 HAS SOUPS 159345 WITH SCORE 159937.989
AT ITER 1865 NEW BEST:: SOT 1023182 SOS 592950 HAS SOPS 588073 HAS SOUS 160381 HAS SOUPS 159267 WITH SCORE 159859.95
AT ITER 1869 NEW BEST:: SOT 1023162 SOS 592937 HAS SOPS 588060 HAS SOUS 160368 HAS SOUPS 159254 WITH SCORE 159846.937
AT ITER 1887 NEW BEST:: SOT 1023258 SOS 593033 HAS SOPS 588156 HAS SOUS 160189 HAS SOUPS 159075 WITH SCORE 159668.033
AT ITER 1898 NEW BEST:: SOT 1022976 SOS 592751 HAS SOPS 587874 HAS SOUS 160114 HAS SOUPS 159000 WITH SCORE 159592.751
AT ITER 1907 NEW BEST:: SOT 1023058 SOS 586731 HAS SOPS 581854 HAS SOUS 158787 HAS SOUPS 157673 WITH SCORE 158259.731
AT ITER 1919 NEW BEST:: SOT 1022983 SOS 586656 HAS SOPS 581779 HAS SOUS 158741 HAS SOUPS 157627 WITH SCORE 158213.656
AT ITER 1925 NEW BEST:: SOT 1023030 SOS 586738 HAS SOPS 581854 HAS SOUS 158724 HAS SOUPS 157610 WITH SCORE 158196.738
AT ITER 1929 NEW BEST:: SOT 1023015 SOS 586723 HAS SOPS 581861 HAS SOUS 158683 HAS SOUPS 157580 WITH SCORE 158166.723
AT ITER 1931 NEW BEST:: SOT 1023015 SOS 586954 HAS SOPS 582092 HAS SOUS 158676 HAS SOUPS 157573 WITH SCORE 158159.954
AT ITER 1942 NEW BEST:: SOT 1022930 SOS 586895 HAS SOPS 582066 HAS SOUS 158430 HAS SOUPS 157327 WITH SCORE 157913.895
AT ITER 1947 NEW BEST:: SOT 1022954 SOS 586931 HAS SOPS 582102 HAS SOUS 158378 HAS SOUPS 157275 WITH SCORE 157861.931
AT ITER 1948 NEW BEST:: SOT 1022975 SOS 586952 HAS SOPS 582123 HAS SOUS 158364 HAS SOUPS 157261 WITH SCORE 157847.952
AT ITER 1950 NEW BEST:: SOT 1023407 SOS 587525 HAS SOPS 582696 HAS SOUS 157887 HAS SOUPS 156784 WITH SCORE 157371.525
AT ITER 1952 NEW BEST:: SOT 1023323 SOS 582998 HAS SOPS 578169 HAS SOUS 157621 HAS SOUPS 156518 WITH SCORE 157100.998
AT ITER 1958 NEW BEST:: SOT 1023303 SOS 582968 HAS SOPS 578139 HAS SOUS 157599 HAS SOUPS 156496 WITH SCORE 157078.968
AT ITER 1961 NEW BEST:: SOT 1023220 SOS 582885 HAS SOPS 578056 HAS SOUS 157475 HAS SOUPS 156372 WITH SCORE 156954.885
AT ITER 1965 NEW BEST:: SOT 1023272 SOS 582114 HAS SOPS 577285 HAS SOUS 157234 HAS SOUPS 156131 WITH SCORE 156713.114
AT ITER 1967 NEW BEST:: SOT 1023328 SOS 582170 HAS SOPS 577341 HAS SOUS 157105 HAS SOUPS 156002 WITH SCORE 156584.17
AT ITER 1968 NEW BEST:: SOT 1023052 SOS 582030 HAS SOPS 577201 HAS SOUS 156863 HAS SOUPS 155760 WITH SCORE 156342.03
AT ITER 1995 NEW BEST:: SOT 1023045 SOS 582032 HAS SOPS 577203 HAS SOUS 156849 HAS SOUPS 155746 WITH SCORE 156328.032
AT ITER 1999 NEW BEST:: SOT 1023041 SOS 582028 HAS SOPS 577199 HAS SOUS 156849 HAS SOUPS 155746 WITH SCORE 156328.028
AT ITER 2004 NEW BEST:: SOT 1023009 SOS 581947 HAS SOPS 577118 HAS SOUS 156842 HAS SOUPS 155739 WITH SCORE 156320.947
AT ITER 2007 NEW BEST:: SOT 1022967 SOS 581886 HAS SOPS 577057 HAS SOUS 156792 HAS SOUPS 155689 WITH SCORE 156270.886
AT ITER 2009 NEW BEST:: SOT 1022963 SOS 581880 HAS SOPS 577051 HAS SOUS 156784 HAS SOUPS 155681 WITH SCORE 156262.88
AT ITER 2012 NEW BEST:: SOT 1022903 SOS 581820 HAS SOPS 577038 HAS SOUS 156779 HAS SOUPS 155676 WITH SCORE 156257.82
AT ITER 2031 NEW BEST:: SOT 1022891 SOS 581947 HAS SOPS 577165 HAS SOUS 156764 HAS SOUPS 155661 WITH SCORE 156242.947
AT ITER 2044 NEW BEST:: SOT 1022924 SOS 581881 HAS SOPS 577099 HAS SOUS 156764 HAS SOUPS 155661 WITH SCORE 156242.881
AT ITER 2047 NEW BEST:: SOT 1022872 SOS 581691 HAS SOPS 576909 HAS SOUS 156746 HAS SOUPS 155643 WITH SCORE 156224.691
AT ITER 2078 NEW BEST:: SOT 1022926 SOS 581728 HAS SOPS 576946 HAS SOUS 156677 HAS SOUPS 155574 WITH SCORE 156155.728
AT ITER 2088 NEW BEST:: SOT 1022902 SOS 581776 HAS SOPS 576994 HAS SOUS 156557 HAS SOUPS 155454 WITH SCORE 156035.776
AT ITER 2114 NEW BEST:: SOT 1022881 SOS 581686 HAS SOPS 576904 HAS SOUS 156506 HAS SOUPS 155403 WITH SCORE 155984.686
AT ITER 2124 NEW BEST:: SOT 1022881 SOS 581431 HAS SOPS 576649 HAS SOUS 156506 HAS SOUPS 155403 WITH SCORE 155984.431
AT ITER 2151 NEW BEST:: SOT 1022806 SOS 580985 HAS SOPS 576247 HAS SOUS 156368 HAS SOUPS 155265 WITH SCORE 155845.985
AT ITER 2158 NEW BEST:: SOT 1022890 SOS 580564 HAS SOPS 575826 HAS SOUS 156348 HAS SOUPS 155245 WITH SCORE 155825.564
AT ITER 2199 NEW BEST:: SOT 1020438 SOS 578112 HAS SOPS 573374 HAS SOUS 155862 HAS SOUPS 154759 WITH SCORE 155337.112
AT ITER 2207 NEW BEST:: SOT 1020228 SOS 578087 HAS SOPS 573487 HAS SOUS 155661 HAS SOUPS 154646 WITH SCORE 155224.087
AT ITER 2208 NEW BEST:: SOT 1020309 SOS 578249 HAS SOPS 573649 HAS SOUS 155580 HAS SOUPS 154565 WITH SCORE 155143.249
AT ITER 2214 NEW BEST:: SOT 1020118 SOS 578088 HAS SOPS 573495 HAS SOUS 155430 HAS SOUPS 154415 WITH SCORE 154993.088
AT ITER 2238 NEW BEST:: SOT 1020218 SOS 578308 HAS SOPS 573715 HAS SOUS 155396 HAS SOUPS 154381 WITH SCORE 154959.308
AT ITER 2239 NEW BEST:: SOT 1020189 SOS 578279 HAS SOPS 573686 HAS SOUS 155331 HAS SOUPS 154316 WITH SCORE 154894.279
AT ITER 2260 NEW BEST:: SOT 1020137 SOS 578252 HAS SOPS 573659 HAS SOUS 155262 HAS SOUPS 154247 WITH SCORE 154825.252
AT ITER 2272 NEW BEST:: SOT 1020137 SOS 578198 HAS SOPS 573605 HAS SOUS 155262 HAS SOUPS 154247 WITH SCORE 154825.198
AT ITER 2276 NEW BEST:: SOT 1020135 SOS 578196 HAS SOPS 573607 HAS SOUS 155262 HAS SOUPS 154247 WITH SCORE 154825.196
AT ITER 2281 NEW BEST:: SOT 1019983 SOS 578044 HAS SOPS 573455 HAS SOUS 155035 HAS SOUPS 154020 WITH SCORE 154598.044
AT ITER 2294 NEW BEST:: SOT 1019877 SOS 577690 HAS SOPS 573156 HAS SOUS 154988 HAS SOUPS 153973 WITH SCORE 154550.69
AT ITER 2304 NEW BEST:: SOT 1019684 SOS 577728 HAS SOPS 573194 HAS SOUS 154890 HAS SOUPS 153875 WITH SCORE 154452.728
AT ITER 2305 NEW BEST:: SOT 1019625 SOS 577669 HAS SOPS 573135 HAS SOUS 154607 HAS SOUPS 153592 WITH SCORE 154169.669
AT ITER 2313 NEW BEST:: SOT 1019601 SOS 577904 HAS SOPS 573417 HAS SOUS 154588 HAS SOUPS 153573 WITH SCORE 154150.904
AT ITER 2342 NEW BEST:: SOT 1019634 SOS 577963 HAS SOPS 573476 HAS SOUS 154515 HAS SOUPS 153500 WITH SCORE 154077.963
AT ITER 2346 NEW BEST:: SOT 1019727 SOS 577989 HAS SOPS 573502 HAS SOUS 154504 HAS SOUPS 153489 WITH SCORE 154066.989
AT ITER 2351 NEW BEST:: SOT 1019575 SOS 577876 HAS SOPS 573389 HAS SOUS 154244 HAS SOUPS 153229 WITH SCORE 153806.876
AT ITER 2359 NEW BEST:: SOT 1019575 SOS 577810 HAS SOPS 573323 HAS SOUS 154244 HAS SOUPS 153229 WITH SCORE 153806.81
AT ITER 2364 NEW BEST:: SOT 1019458 SOS 577693 HAS SOPS 573206 HAS SOUS 154050 HAS SOUPS 153035 WITH SCORE 153612.693
AT ITER 2373 NEW BEST:: SOT 1019395 SOS 577756 HAS SOPS 573269 HAS SOUS 153987 HAS SOUPS 152972 WITH SCORE 153549.756
AT ITER 2393 NEW BEST:: SOT 1019374 SOS 577693 HAS SOPS 573206 HAS SOUS 153924 HAS SOUPS 152909 WITH SCORE 153486.693
AT ITER 2415 NEW BEST:: SOT 1019314 SOS 577633 HAS SOPS 573146 HAS SOUS 153864 HAS SOUPS 152849 WITH SCORE 153426.633
AT ITER 2417 NEW BEST:: SOT 1019314 SOS 577726 HAS SOPS 573239 HAS SOUS 153612 HAS SOUPS 152597 WITH SCORE 153174.726
AT ITER 2419 NEW BEST:: SOT 1019210 SOS 577622 HAS SOPS 573135 HAS SOUS 153536 HAS SOUPS 152521 WITH SCORE 153098.622
AT ITER 2431 NEW BEST:: SOT 1019019 SOS 577382 HAS SOPS 572895 HAS SOUS 153301 HAS SOUPS 152286 WITH SCORE 152863.382
AT ITER 2446 NEW BEST:: SOT 1019019 SOS 571224 HAS SOPS 566737 HAS SOUS 153301 HAS SOUPS 152286 WITH SCORE 152857.224
AT ITER 2447 NEW BEST:: SOT 1019003 SOS 571192 HAS SOPS 566705 HAS SOUS 153229 HAS SOUPS 152214 WITH SCORE 152785.192
AT ITER 2471 NEW BEST:: SOT 1018958 SOS 570610 HAS SOPS 566123 HAS SOUS 153139 HAS SOUPS 152124 WITH SCORE 152694.61
AT ITER 2472 NEW BEST:: SOT 1018865 SOS 570520 HAS SOPS 566033 HAS SOUS 153049 HAS SOUPS 152034 WITH SCORE 152604.52
AT ITER 2475 NEW BEST:: SOT 1018846 SOS 570568 HAS SOPS 566081 HAS SOUS 152995 HAS SOUPS 151980 WITH SCORE 152550.568
AT ITER 2477 NEW BEST:: SOT 1018818 SOS 570498 HAS SOPS 566011 HAS SOUS 152939 HAS SOUPS 151924 WITH SCORE 152494.498
AT ITER 2495 NEW BEST:: SOT 1018833 SOS 570591 HAS SOPS 566104 HAS SOUS 152891 HAS SOUPS 151876 WITH SCORE 152446.591
AT ITER 2509 NEW BEST:: SOT 1018904 SOS 570685 HAS SOPS 566198 HAS SOUS 152835 HAS SOUPS 151820 WITH SCORE 152390.685
AT ITER 2515 NEW BEST:: SOT 1018725 SOS 570225 HAS SOPS 565738 HAS SOUS 152832 HAS SOUPS 151817 WITH SCORE 152387.225
AT ITER 2524 NEW BEST:: SOT 1018725 SOS 570176 HAS SOPS 565689 HAS SOUS 152832 HAS SOUPS 151817 WITH SCORE 152387.176
AT ITER 2525 NEW BEST:: SOT 1019029 SOS 572546 HAS SOPS 568059 HAS SOUS 152811 HAS SOUPS 151796 WITH SCORE 152368.546
AT ITER 2526 NEW BEST:: SOT 1018946 SOS 572473 HAS SOPS 567986 HAS SOUS 152738 HAS SOUPS 151723 WITH SCORE 152295.473
AT ITER 2528 NEW BEST:: SOT 1018849 SOS 572498 HAS SOPS 568009 HAS SOUS 152719 HAS SOUPS 151702 WITH SCORE 152274.498
AT ITER 2536 NEW BEST:: SOT 1018785 SOS 572452 HAS SOPS 567963 HAS SOUS 152655 HAS SOUPS 151638 WITH SCORE 152210.452
AT ITER 2543 NEW BEST:: SOT 1018844 SOS 572851 HAS SOPS 568362 HAS SOUS 152512 HAS SOUPS 151495 WITH SCORE 152067.851
AT ITER 2548 NEW BEST:: SOT 1018844 SOS 572851 HAS SOPS 568362 HAS SOUS 152448 HAS SOUPS 151431 WITH SCORE 152003.851
AT ITER 2568 NEW BEST:: SOT 1019634 SOS 565590 HAS SOPS 561101 HAS SOUS 151561 HAS SOUPS 150544 WITH SCORE 151109.59
AT ITER 2570 NEW BEST:: SOT 1019594 SOS 565661 HAS SOPS 561165 HAS SOUS 151402 HAS SOUPS 150385 WITH SCORE 150950.661
AT ITER 2572 NEW BEST:: SOT 1019594 SOS 565661 HAS SOPS 561165 HAS SOUS 151375 HAS SOUPS 150358 WITH SCORE 150923.661
AT ITER 2574 NEW BEST:: SOT 1019526 SOS 564059 HAS SOPS 559563 HAS SOUS 151133 HAS SOUPS 150116 WITH SCORE 150680.059
AT ITER 2575 NEW BEST:: SOT 1019270 SOS 563601 HAS SOPS 559105 HAS SOUS 150838 HAS SOUPS 149821 WITH SCORE 150384.601
AT ITER 2581 NEW BEST:: SOT 1019166 SOS 563543 HAS SOPS 559047 HAS SOUS 150547 HAS SOUPS 149530 WITH SCORE 150093.543
AT ITER 2583 NEW BEST:: SOT 1019163 SOS 563517 HAS SOPS 559021 HAS SOUS 150541 HAS SOUPS 149524 WITH SCORE 150087.517
AT ITER 2589 NEW BEST:: SOT 1019012 SOS 563366 HAS SOPS 558932 HAS SOUS 150363 HAS SOUPS 149346 WITH SCORE 149909.366
AT ITER 2594 NEW BEST:: SOT 1019042 SOS 562697 HAS SOPS 558566 HAS SOUS 150210 HAS SOUPS 149284 WITH SCORE 149846.697
AT ITER 2600 NEW BEST:: SOT 1018194 SOS 561921 HAS SOPS 557790 HAS SOUS 150096 HAS SOUPS 149170 WITH SCORE 149731.921
AT ITER 2601 NEW BEST:: SOT 1018194 SOS 561989 HAS SOPS 557858 HAS SOUS 149960 HAS SOUPS 149034 WITH SCORE 149595.989
AT ITER 2604 NEW BEST:: SOT 1017867 SOS 561809 HAS SOPS 557678 HAS SOUS 149693 HAS SOUPS 148767 WITH SCORE 149328.809
AT ITER 2610 NEW BEST:: SOT 1017884 SOS 561796 HAS SOPS 557665 HAS SOUS 149619 HAS SOUPS 148693 WITH SCORE 149254.796
AT ITER 2624 NEW BEST:: SOT 1017908 SOS 561862 HAS SOPS 557731 HAS SOUS 149446 HAS SOUPS 148520 WITH SCORE 149081.862
AT ITER 2630 NEW BEST:: SOT 1017353 SOS 561448 HAS SOPS 557317 HAS SOUS 149044 HAS SOUPS 148118 WITH SCORE 148679.448
AT ITER 2644 NEW BEST:: SOT 1017177 SOS 561272 HAS SOPS 557141 HAS SOUS 148868 HAS SOUPS 147942 WITH SCORE 148503.272
AT ITER 2650 NEW BEST:: SOT 1016971 SOS 561410 HAS SOPS 557279 HAS SOUS 148839 HAS SOUPS 147913 WITH SCORE 148474.41
AT ITER 2665 NEW BEST:: SOT 1016979 SOS 561472 HAS SOPS 557341 HAS SOUS 148819 HAS SOUPS 147893 WITH SCORE 148454.472
AT ITER 2670 NEW BEST:: SOT 1016971 SOS 561456 HAS SOPS 557325 HAS SOUS 148803 HAS SOUPS 147877 WITH SCORE 148438.456
AT ITER 2680 NEW BEST:: SOT 1016904 SOS 561366 HAS SOPS 557235 HAS SOUS 148731 HAS SOUPS 147805 WITH SCORE 148366.366
AT ITER 2689 NEW BEST:: SOT 1016872 SOS 561334 HAS SOPS 557203 HAS SOUS 148622 HAS SOUPS 147696 WITH SCORE 148257.334
AT ITER 2698 NEW BEST:: SOT 1016872 SOS 561184 HAS SOPS 557053 HAS SOUS 148568 HAS SOUPS 147642 WITH SCORE 148203.184
AT ITER 2719 NEW BEST:: SOT 1016707 SOS 561049 HAS SOPS 556935 HAS SOUS 148416 HAS SOUPS 147490 WITH SCORE 148051.049
AT ITER 2724 NEW BEST:: SOT 1016707 SOS 561003 HAS SOPS 556889 HAS SOUS 148393 HAS SOUPS 147467 WITH SCORE 148028.003
AT ITER 2727 NEW BEST:: SOT 1016681 SOS 561003 HAS SOPS 556889 HAS SOUS 148341 HAS SOUPS 147415 WITH SCORE 147976.003
AT ITER 2728 NEW BEST:: SOT 1016609 SOS 560789 HAS SOPS 556675 HAS SOUS 148127 HAS SOUPS 147201 WITH SCORE 147761.789
AT ITER 2729 NEW BEST:: SOT 1016433 SOS 560437 HAS SOPS 556323 HAS SOUS 147775 HAS SOUPS 146849 WITH SCORE 147409.437
AT ITER 2738 NEW BEST:: SOT 1016340 SOS 560326 HAS SOPS 556212 HAS SOUS 147622 HAS SOUPS 146696 WITH SCORE 147256.326
AT ITER 2746 NEW BEST:: SOT 1016342 SOS 560324 HAS SOPS 556210 HAS SOUS 147622 HAS SOUPS 146696 WITH SCORE 147256.324
AT ITER 2754 NEW BEST:: SOT 1016277 SOS 560259 HAS SOPS 556145 HAS SOUS 147521 HAS SOUPS 146595 WITH SCORE 147155.259
AT ITER 2765 NEW BEST:: SOT 1016133 SOS 560115 HAS SOPS 556001 HAS SOUS 147176 HAS SOUPS 146250 WITH SCORE 146810.115
AT ITER 2787 NEW BEST:: SOT 1016071 SOS 559991 HAS SOPS 555877 HAS SOUS 147052 HAS SOUPS 146126 WITH SCORE 146685.991
AT ITER 2798 NEW BEST:: SOT 1016066 SOS 559986 HAS SOPS 555872 HAS SOUS 147047 HAS SOUPS 146121 WITH SCORE 146680.986
AT ITER 2819 NEW BEST:: SOT 1016074 SOS 560184 HAS SOPS 556070 HAS SOUS 146795 HAS SOUPS 145869 WITH SCORE 146429.184
AT ITER 2832 NEW BEST:: SOT 1016255 SOS 559956 HAS SOPS 555842 HAS SOUS 146766 HAS SOUPS 145840 WITH SCORE 146399.956
AT ITER 2851 NEW BEST:: SOT 1015378 SOS 558854 HAS SOPS 554740 HAS SOUS 145794 HAS SOUPS 144868 WITH SCORE 145426.854
AT ITER 2852 NEW BEST:: SOT 1015464 SOS 559522 HAS SOPS 555408 HAS SOUS 145676 HAS SOUPS 144750 WITH SCORE 145309.522
AT ITER 2862 NEW BEST:: SOT 1015424 SOS 559428 HAS SOPS 555314 HAS SOUS 145636 HAS SOUPS 144710 WITH SCORE 145269.428
AT ITER 2874 NEW BEST:: SOT 1015424 SOS 559342 HAS SOPS 555228 HAS SOUS 145594 HAS SOUPS 144668 WITH SCORE 145227.342
AT ITER 2879 NEW BEST:: SOT 1015404 SOS 559322 HAS SOPS 555198 HAS SOUS 145570 HAS SOUPS 144638 WITH SCORE 145197.322
AT ITER 2896 NEW BEST:: SOT 1015419 SOS 559185 HAS SOPS 555061 HAS SOUS 144918 HAS SOUPS 143986 WITH SCORE 144545.185
AT ITER 2906 NEW BEST:: SOT 1015399 SOS 559175 HAS SOPS 555051 HAS SOUS 144908 HAS SOUPS 143976 WITH SCORE 144535.175
AT ITER 2924 NEW BEST:: SOT 1015325 SOS 559174 HAS SOPS 555059 HAS SOUS 144891 HAS SOUPS 143959 WITH SCORE 144518.174
AT ITER 2949 NEW BEST:: SOT 1015336 SOS 559141 HAS SOPS 555026 HAS SOUS 144891 HAS SOUPS 143959 WITH SCORE 144518.141
AT ITER 2955 NEW BEST:: SOT 1015319 SOS 559124 HAS SOPS 555009 HAS SOUS 144874 HAS SOUPS 143942 WITH SCORE 144501.124
AT ITER 2966 NEW BEST:: SOT 1014784 SOS 558755 HAS SOPS 554640 HAS SOUS 144283 HAS SOUPS 143351 WITH SCORE 143909.755
AT ITER 2974 NEW BEST:: SOT 1014659 SOS 558289 HAS SOPS 554174 HAS SOUS 144033 HAS SOUPS 143101 WITH SCORE 143659.289
AT ITER 2981 NEW BEST:: SOT 1014512 SOS 558161 HAS SOPS 554046 HAS SOUS 143793 HAS SOUPS 142861 WITH SCORE 143419.161
AT ITER 2991 NEW BEST:: SOT 1014497 SOS 558146 HAS SOPS 554031 HAS SOUS 143770 HAS SOUPS 142838 WITH SCORE 143396.146
AT ITER 2996 NEW BEST:: SOT 1014522 SOS 558085 HAS SOPS 553970 HAS SOUS 143741 HAS SOUPS 142809 WITH SCORE 143367.085
AT ITER 3003 NEW BEST:: SOT 1014501 SOS 558064 HAS SOPS 553949 HAS SOUS 143684 HAS SOUPS 142752 WITH SCORE 143310.064
AT ITER 3011 NEW BEST:: SOT 1014501 SOS 558020 HAS SOPS 553905 HAS SOUS 143668 HAS SOUPS 142736 WITH SCORE 143294.02
AT ITER 3025 NEW BEST:: SOT 1014312 SOS 529648 HAS SOPS 525533 HAS SOUS 143680 HAS SOUPS 142748 WITH SCORE 143277.648
AT ITER 3032 NEW BEST:: SOT 1017798 SOS 533134 HAS SOPS 529019 HAS SOUS 143651 HAS SOUPS 142719 WITH SCORE 143252.134
AT ITER 3061 NEW BEST:: SOT 1017616 SOS 532952 HAS SOPS 528837 HAS SOUS 143366 HAS SOUPS 142434 WITH SCORE 142966.952
AT ITER 3076 NEW BEST:: SOT 1017616 SOS 532775 HAS SOPS 528660 HAS SOUS 143275 HAS SOUPS 142343 WITH SCORE 142875.775
AT ITER 3077 NEW BEST:: SOT 1017603 SOS 532762 HAS SOPS 528647 HAS SOUS 143262 HAS SOUPS 142330 WITH SCORE 142862.762
AT ITER 3078 NEW BEST:: SOT 1017621 SOS 532761 HAS SOPS 528646 HAS SOUS 143248 HAS SOUPS 142316 WITH SCORE 142848.761
AT ITER 3093 NEW BEST:: SOT 1017490 SOS 532709 HAS SOPS 528594 HAS SOUS 143064 HAS SOUPS 142132 WITH SCORE 142664.709
AT ITER 3099 NEW BEST:: SOT 1017513 SOS 532837 HAS SOPS 528722 HAS SOUS 143049 HAS SOUPS 142117 WITH SCORE 142649.837
AT ITER 3111 NEW BEST:: SOT 1017531 SOS 532901 HAS SOPS 528786 HAS SOUS 142988 HAS SOUPS 142056 WITH SCORE 142588.901
AT ITER 3125 NEW BEST:: SOT 1017280 SOS 532767 HAS SOPS 528652 HAS SOUS 142918 HAS SOUPS 141986 WITH SCORE 142518.767
AT ITER 3126 NEW BEST:: SOT 1017266 SOS 532873 HAS SOPS 528758 HAS SOUS 142900 HAS SOUPS 141968 WITH SCORE 142500.873
AT ITER 3132 NEW BEST:: SOT 1017333 SOS 531950 HAS SOPS 527835 HAS SOUS 142776 HAS SOUPS 141844 WITH SCORE 142375.95
AT ITER 3141 NEW BEST:: SOT 1017313 SOS 531910 HAS SOPS 527795 HAS SOUS 142776 HAS SOUPS 141844 WITH SCORE 142375.91
AT ITER 3144 NEW BEST:: SOT 1017008 SOS 531749 HAS SOPS 527634 HAS SOUS 142761 HAS SOUPS 141829 WITH SCORE 142360.749
AT ITER 3154 NEW BEST:: SOT 1017023 SOS 531738 HAS SOPS 527582 HAS SOUS 142751 HAS SOUPS 141818 WITH SCORE 142349.738
AT ITER 3182 NEW BEST:: SOT 1016973 SOS 531674 HAS SOPS 527518 HAS SOUS 142683 HAS SOUPS 141750 WITH SCORE 142281.674
AT ITER 3184 NEW BEST:: SOT 1016996 SOS 531651 HAS SOPS 527472 HAS SOUS 142660 HAS SOUPS 141727 WITH SCORE 142258.651
AT ITER 3193 NEW BEST:: SOT 1017099 SOS 532063 HAS SOPS 527884 HAS SOUS 142595 HAS SOUPS 141662 WITH SCORE 142194.063
AT ITER 3206 NEW BEST:: SOT 1017099 SOS 531991 HAS SOPS 527812 HAS SOUS 142595 HAS SOUPS 141662 WITH SCORE 142193.991
AT ITER 3222 NEW BEST:: SOT 1017042 SOS 531934 HAS SOPS 527798 HAS SOUS 142593 HAS SOUPS 141660 WITH SCORE 142191.934
AT ITER 3224 NEW BEST:: SOT 1016998 SOS 531890 HAS SOPS 527754 HAS SOUS 142512 HAS SOUPS 141579 WITH SCORE 142110.89
AT ITER 3227 NEW BEST:: SOT 1016973 SOS 531889 HAS SOPS 527753 HAS SOUS 142511 HAS SOUPS 141578 WITH SCORE 142109.889
AT ITER 3253 NEW BEST:: SOT 1016993 SOS 531958 HAS SOPS 527822 HAS SOUS 142462 HAS SOUPS 141529 WITH SCORE 142060.958
AT ITER 3256 NEW BEST:: SOT 1016865 SOS 531830 HAS SOPS 527694 HAS SOUS 142198 HAS SOUPS 141265 WITH SCORE 141796.83
AT ITER 3269 NEW BEST:: SOT 1016454 SOS 531595 HAS SOPS 527459 HAS SOUS 141824 HAS SOUPS 140891 WITH SCORE 141422.595
AT ITER 3309 NEW BEST:: SOT 1016251 SOS 531446 HAS SOPS 527310 HAS SOUS 141434 HAS SOUPS 140501 WITH SCORE 141032.446
AT ITER 3316 NEW BEST:: SOT 1016115 SOS 531171 HAS SOPS 527035 HAS SOUS 141256 HAS SOUPS 140323 WITH SCORE 140854.171
AT ITER 3353 NEW BEST:: SOT 1015974 SOS 530983 HAS SOPS 526847 HAS SOUS 141068 HAS SOUPS 140135 WITH SCORE 140665.983
AT ITER 3355 NEW BEST:: SOT 1016057 SOS 531066 HAS SOPS 526930 HAS SOUS 140978 HAS SOUPS 140045 WITH SCORE 140576.066
AT ITER 3359 NEW BEST:: SOT 1016160 SOS 531277 HAS SOPS 527141 HAS SOUS 140808 HAS SOUPS 139875 WITH SCORE 140406.277
AT ITER 3360 NEW BEST:: SOT 1016147 SOS 531259 HAS SOPS 527123 HAS SOUS 140754 HAS SOUPS 139821 WITH SCORE 140352.259
AT ITER 3364 NEW BEST:: SOT 1016157 SOS 531259 HAS SOPS 527123 HAS SOUS 140714 HAS SOUPS 139781 WITH SCORE 140312.259
AT ITER 3369 NEW BEST:: SOT 1016219 SOS 531221 HAS SOPS 527085 HAS SOUS 140678 HAS SOUPS 139745 WITH SCORE 140276.221
AT ITER 3387 NEW BEST:: SOT 1016215 SOS 531217 HAS SOPS 527081 HAS SOUS 140654 HAS SOUPS 139721 WITH SCORE 140252.217
AT ITER 3406 NEW BEST:: SOT 1016215 SOS 531249 HAS SOPS 527113 HAS SOUS 140651 HAS SOUPS 139718 WITH SCORE 140249.249
AT ITER 3411 NEW BEST:: SOT 1016199 SOS 531089 HAS SOPS 526953 HAS SOUS 140584 HAS SOUPS 139651 WITH SCORE 140182.089
AT ITER 3414 NEW BEST:: SOT 1016183 SOS 531089 HAS SOPS 526953 HAS SOUS 140552 HAS SOUPS 139619 WITH SCORE 140150.089
AT ITER 3461 NEW BEST:: SOT 1016145 SOS 530719 HAS SOPS 526583 HAS SOUS 140438 HAS SOUPS 139505 WITH SCORE 140035.719
AT ITER 3464 NEW BEST:: SOT 1016155 SOS 530752 HAS SOPS 526616 HAS SOUS 140367 HAS SOUPS 139434 WITH SCORE 139964.752
AT ITER 3496 NEW BEST:: SOT 1016155 SOS 529810 HAS SOPS 525674 HAS SOUS 140309 HAS SOUPS 139376 WITH SCORE 139905.81
AT ITER 3497 NEW BEST:: SOT 1015964 SOS 529763 HAS SOPS 525627 HAS SOUS 140062 HAS SOUPS 139129 WITH SCORE 139658.763
AT ITER 3499 NEW BEST:: SOT 1015801 SOS 529899 HAS SOPS 525763 HAS SOUS 139658 HAS SOUPS 138725 WITH SCORE 139254.899
AT ITER 3500 NEW BEST:: SOT 1015839 SOS 511646 HAS SOPS 507510 HAS SOUS 139547 HAS SOUPS 138614 WITH SCORE 139125.646
AT ITER 3516 NEW BEST:: SOT 1015810 SOS 511675 HAS SOPS 507539 HAS SOUS 139506 HAS SOUPS 138573 WITH SCORE 139084.675
AT ITER 3521 NEW BEST:: SOT 1015616 SOS 511293 HAS SOPS 507157 HAS SOUS 139264 HAS SOUPS 138331 WITH SCORE 138842.293
AT ITER 3543 NEW BEST:: SOT 1015616 SOS 511293 HAS SOPS 507157 HAS SOUS 139157 HAS SOUPS 138224 WITH SCORE 138735.293
AT ITER 3595 NEW BEST:: SOT 1015928 SOS 492206 HAS SOPS 488070 HAS SOUS 138918 HAS SOUPS 137985 WITH SCORE 138477.206
AT ITER 3598 NEW BEST:: SOT 1015880 SOS 492134 HAS SOPS 487998 HAS SOUS 138885 HAS SOUPS 137952 WITH SCORE 138444.134
AT ITER 3602 NEW BEST:: SOT 1015706 SOS 491921 HAS SOPS 487785 HAS SOUS 138771 HAS SOUPS 137838 WITH SCORE 138329.921
AT ITER 3608 NEW BEST:: SOT 1015706 SOS 491844 HAS SOPS 487708 HAS SOUS 138771 HAS SOUPS 137838 WITH SCORE 138329.844
AT ITER 3650 NEW BEST:: SOT 1015700 SOS 491832 HAS SOPS 487696 HAS SOUS 138765 HAS SOUPS 137832 WITH SCORE 138323.832
AT ITER 3667 NEW BEST:: SOT 1015712 SOS 491844 HAS SOPS 487708 HAS SOUS 138702 HAS SOUPS 137769 WITH SCORE 138260.844
AT ITER 3676 NEW BEST:: SOT 1015707 SOS 491541 HAS SOPS 487405 HAS SOUS 138638 HAS SOUPS 137705 WITH SCORE 138196.541
AT ITER 3694 NEW BEST:: SOT 1015767 SOS 491557 HAS SOPS 487350 HAS SOUS 138606 HAS SOUPS 137673 WITH SCORE 138164.557
AT ITER 3697 NEW BEST:: SOT 1015739 SOS 491514 HAS SOPS 487307 HAS SOUS 138587 HAS SOUPS 137654 WITH SCORE 138145.514
AT ITER 3706 NEW BEST:: SOT 1015739 SOS 491554 HAS SOPS 487347 HAS SOUS 138547 HAS SOUPS 137614 WITH SCORE 138105.554
AT ITER 3709 NEW BEST:: SOT 1015625 SOS 491459 HAS SOPS 487252 HAS SOUS 138389 HAS SOUPS 137456 WITH SCORE 137947.459
AT ITER 3711 NEW BEST:: SOT 1015617 SOS 491451 HAS SOPS 487244 HAS SOUS 138359 HAS SOUPS 137426 WITH SCORE 137917.451
AT ITER 3712 NEW BEST:: SOT 1015615 SOS 491445 HAS SOPS 487238 HAS SOUS 138351 HAS SOUPS 137418 WITH SCORE 137909.445
AT ITER 3733 NEW BEST:: SOT 1015675 SOS 491459 HAS SOPS 487252 HAS SOUS 138205 HAS SOUPS 137272 WITH SCORE 137763.459
AT ITER 3742 NEW BEST:: SOT 1015633 SOS 491399 HAS SOPS 487192 HAS SOUS 138154 HAS SOUPS 137221 WITH SCORE 137712.399
AT ITER 3747 NEW BEST:: SOT 1015600 SOS 491300 HAS SOPS 487060 HAS SOUS 138071 HAS SOUPS 137122 WITH SCORE 137613.3
AT ITER 3750 NEW BEST:: SOT 1015875 SOS 491575 HAS SOPS 487335 HAS SOUS 137436 HAS SOUPS 136487 WITH SCORE 136978.575
AT ITER 3755 NEW BEST:: SOT 1015855 SOS 491555 HAS SOPS 487315 HAS SOUS 137430 HAS SOUPS 136481 WITH SCORE 136972.555
AT ITER 3797 NEW BEST:: SOT 1015841 SOS 491541 HAS SOPS 487287 HAS SOUS 137402 HAS SOUPS 136453 WITH SCORE 136944.541
AT ITER 3801 NEW BEST:: SOT 1015840 SOS 491540 HAS SOPS 487286 HAS SOUS 137400 HAS SOUPS 136451 WITH SCORE 136942.54
AT ITER 3882 NEW BEST:: SOT 1015781 SOS 491406 HAS SOPS 487152 HAS SOUS 137309 HAS SOUPS 136360 WITH SCORE 136851.406
AT ITER 3893 NEW BEST:: SOT 1015725 SOS 491138 HAS SOPS 486884 HAS SOUS 137297 HAS SOUPS 136348 WITH SCORE 136839.138
AT ITER 3909 NEW BEST:: SOT 1015748 SOS 491215 HAS SOPS 486961 HAS SOUS 137077 HAS SOUPS 136128 WITH SCORE 136619.215
AT ITER 3915 NEW BEST:: SOT 1015731 SOS 491198 HAS SOPS 486944 HAS SOUS 137053 HAS SOUPS 136104 WITH SCORE 136595.198
AT ITER 3920 NEW BEST:: SOT 1015649 SOS 491116 HAS SOPS 486862 HAS SOUS 136971 HAS SOUPS 136022 WITH SCORE 136513.116
AT ITER 3925 NEW BEST:: SOT 1015667 SOS 491137 HAS SOPS 486883 HAS SOUS 136890 HAS SOUPS 135941 WITH SCORE 136432.137
AT ITER 3936 NEW BEST:: SOT 1015664 SOS 491129 HAS SOPS 486875 HAS SOUS 136887 HAS SOUPS 135938 WITH SCORE 136429.129
AT ITER 3957 NEW BEST:: SOT 1015525 SOS 491542 HAS SOPS 487288 HAS SOUS 136172 HAS SOUPS 135223 WITH SCORE 135714.542
AT ITER 3974 NEW BEST:: SOT 1015463 SOS 491573 HAS SOPS 487319 HAS SOUS 136088 HAS SOUPS 135139 WITH SCORE 135630.573
AT ITER 3988 NEW BEST:: SOT 1015463 SOS 491652 HAS SOPS 487398 HAS SOUS 136067 HAS SOUPS 135118 WITH SCORE 135609.652
AT ITER 4028 NEW BEST:: SOT 1015504 SOS 491654 HAS SOPS 487400 HAS SOUS 136035 HAS SOUPS 135086 WITH SCORE 135577.654
AT ITER 4048 NEW BEST:: SOT 1015245 SOS 489892 HAS SOPS 485638 HAS SOUS 135843 HAS SOUPS 134894 WITH SCORE 135383.892
AT ITER 4058 NEW BEST:: SOT 1015243 SOS 489886 HAS SOPS 485632 HAS SOUS 135842 HAS SOUPS 134893 WITH SCORE 135382.886
AT ITER 4063 NEW BEST:: SOT 1015211 SOS 489650 HAS SOPS 485396 HAS SOUS 135810 HAS SOUPS 134861 WITH SCORE 135350.65
AT ITER 4071 NEW BEST:: SOT 1015195 SOS 489634 HAS SOPS 485380 HAS SOUS 135809 HAS SOUPS 134860 WITH SCORE 135349.634
AT ITER 4073 NEW BEST:: SOT 1015195 SOS 489668 HAS SOPS 485414 HAS SOUS 135741 HAS SOUPS 134792 WITH SCORE 135281.668
AT ITER 4077 NEW BEST:: SOT 1014989 SOS 489462 HAS SOPS 485208 HAS SOUS 135587 HAS SOUPS 134638 WITH SCORE 135127.462
AT ITER 4080 NEW BEST:: SOT 1014945 SOS 489264 HAS SOPS 485010 HAS SOUS 135587 HAS SOUPS 134638 WITH SCORE 135127.264
AT ITER 4083 NEW BEST:: SOT 1015082 SOS 489250 HAS SOPS 484996 HAS SOUS 135573 HAS SOUPS 134624 WITH SCORE 135113.25
AT ITER 4109 NEW BEST:: SOT 1014974 SOS 489190 HAS SOPS 484936 HAS SOUS 135466 HAS SOUPS 134517 WITH SCORE 135006.19
AT ITER 4121 NEW BEST:: SOT 1014974 SOS 489196 HAS SOPS 484942 HAS SOUS 135462 HAS SOUPS 134513 WITH SCORE 135002.196
AT ITER 4153 NEW BEST:: SOT 1014970 SOS 489192 HAS SOPS 484938 HAS SOUS 135450 HAS SOUPS 134501 WITH SCORE 134990.192
AT ITER 4154 NEW BEST:: SOT 1014871 SOS 489141 HAS SOPS 484887 HAS SOUS 135252 HAS SOUPS 134303 WITH SCORE 134792.141
AT ITER 4182 NEW BEST:: SOT 1014832 SOS 490854 HAS SOPS 486600 HAS SOUS 135230 HAS SOUPS 134281 WITH SCORE 134771.854
AT ITER 4185 NEW BEST:: SOT 1014826 SOS 490854 HAS SOPS 486600 HAS SOUS 135220 HAS SOUPS 134271 WITH SCORE 134761.854
AT ITER 4186 NEW BEST:: SOT 1014798 SOS 490826 HAS SOPS 486572 HAS SOUS 135136 HAS SOUPS 134187 WITH SCORE 134677.826
AT ITER 4213 NEW BEST:: SOT 1014912 SOS 490961 HAS SOPS 486707 HAS SOUS 135035 HAS SOUPS 134086 WITH SCORE 134576.961
AT ITER 4234 NEW BEST:: SOT 1014165 SOS 490152 HAS SOPS 485898 HAS SOUS 134909 HAS SOUPS 133960 WITH SCORE 134450.152
AT ITER 4235 NEW BEST:: SOT 1014182 SOS 488441 HAS SOPS 484187 HAS SOUS 134902 HAS SOUPS 133953 WITH SCORE 134441.441
AT ITER 4239 NEW BEST:: SOT 1014068 SOS 488327 HAS SOPS 484073 HAS SOUS 134788 HAS SOUPS 133839 WITH SCORE 134327.327
AT ITER 4258 NEW BEST:: SOT 1014027 SOS 488294 HAS SOPS 484040 HAS SOUS 134706 HAS SOUPS 133757 WITH SCORE 134245.294
AT ITER 4264 NEW BEST:: SOT 1014025 SOS 488292 HAS SOPS 484038 HAS SOUS 134702 HAS SOUPS 133753 WITH SCORE 134241.292
AT ITER 4286 NEW BEST:: SOT 1013997 SOS 488264 HAS SOPS 484010 HAS SOUS 134658 HAS SOUPS 133709 WITH SCORE 134197.264
AT ITER 4299 NEW BEST:: SOT 1013916 SOS 488203 HAS SOPS 483949 HAS SOUS 134613 HAS SOUPS 133664 WITH SCORE 134152.203
AT ITER 4309 NEW BEST:: SOT 1013752 SOS 488050 HAS SOPS 483796 HAS SOUS 134449 HAS SOUPS 133500 WITH SCORE 133988.05
AT ITER 4321 NEW BEST:: SOT 1013747 SOS 488040 HAS SOPS 483786 HAS SOUS 134439 HAS SOUPS 133490 WITH SCORE 133978.04
AT ITER 4359 NEW BEST:: SOT 1013747 SOS 488034 HAS SOPS 483774 HAS SOUS 134433 HAS SOUPS 133484 WITH SCORE 133972.034
AT ITER 4376 NEW BEST:: SOT 1013753 SOS 488037 HAS SOPS 483777 HAS SOUS 134424 HAS SOUPS 133475 WITH SCORE 133963.037
AT ITER 4413 NEW BEST:: SOT 1013753 SOS 488070 HAS SOPS 483810 HAS SOUS 134377 HAS SOUPS 133428 WITH SCORE 133916.07
AT ITER 4445 NEW BEST:: SOT 1013733 SOS 488062 HAS SOPS 483802 HAS SOUS 134369 HAS SOUPS 133420 WITH SCORE 133908.062
AT ITER 4447 NEW BEST:: SOT 1013746 SOS 488075 HAS SOPS 483815 HAS SOUS 134347 HAS SOUPS 133398 WITH SCORE 133886.075
AT ITER 4449 NEW BEST:: SOT 1013745 SOS 488179 HAS SOPS 483919 HAS SOUS 134240 HAS SOUPS 133291 WITH SCORE 133779.179
AT ITER 4459 NEW BEST:: SOT 1013760 SOS 488194 HAS SOPS 483934 HAS SOUS 134157 HAS SOUPS 133208 WITH SCORE 133696.194
AT ITER 4463 NEW BEST:: SOT 1013755 SOS 488163 HAS SOPS 483903 HAS SOUS 134147 HAS SOUPS 133198 WITH SCORE 133686.163
AT ITER 4474 NEW BEST:: SOT 1013689 SOS 488075 HAS SOPS 483815 HAS SOUS 134075 HAS SOUPS 133126 WITH SCORE 133614.075
AT ITER 4475 NEW BEST:: SOT 1013646 SOS 487680 HAS SOPS 483420 HAS SOUS 134060 HAS SOUPS 133111 WITH SCORE 133598.68
AT ITER 4501 NEW BEST:: SOT 1013642 SOS 487638 HAS SOPS 483378 HAS SOUS 134035 HAS SOUPS 133086 WITH SCORE 133573.638
AT ITER 4526 NEW BEST:: SOT 1013645 SOS 487393 HAS SOPS 483133 HAS SOUS 134028 HAS SOUPS 133079 WITH SCORE 133566.393
AT ITER 4537 NEW BEST:: SOT 1013083 SOS 486960 HAS SOPS 482700 HAS SOUS 133464 HAS SOUPS 132515 WITH SCORE 133001.96
AT ITER 4545 NEW BEST:: SOT 1013136 SOS 487013 HAS SOPS 482753 HAS SOUS 133411 HAS SOUPS 132462 WITH SCORE 132949.013
AT ITER 4562 NEW BEST:: SOT 1013069 SOS 487051 HAS SOPS 482791 HAS SOUS 133366 HAS SOUPS 132417 WITH SCORE 132904.051
AT ITER 4563 NEW BEST:: SOT 1013013 SOS 475427 HAS SOPS 471167 HAS SOUS 133369 HAS SOUPS 132420 WITH SCORE 132895.427
AT ITER 4566 NEW BEST:: SOT 1013239 SOS 457695 HAS SOPS 453435 HAS SOUS 133216 HAS SOUPS 132267 WITH SCORE 132724.695
AT ITER 4569 NEW BEST:: SOT 1012729 SOS 457138 HAS SOPS 452878 HAS SOUS 132776 HAS SOUPS 131827 WITH SCORE 132284.138
AT ITER 4571 NEW BEST:: SOT 1012848 SOS 457263 HAS SOPS 453003 HAS SOUS 132494 HAS SOUPS 131545 WITH SCORE 132002.263
AT ITER 4576 NEW BEST:: SOT 1012837 SOS 457300 HAS SOPS 453040 HAS SOUS 132291 HAS SOUPS 131342 WITH SCORE 131799.3
AT ITER 4581 NEW BEST:: SOT 1012825 SOS 457288 HAS SOPS 453034 HAS SOUS 132266 HAS SOUPS 131317 WITH SCORE 131774.288
AT ITER 4586 NEW BEST:: SOT 1012924 SOS 457387 HAS SOPS 453066 HAS SOUS 132222 HAS SOUPS 131272 WITH SCORE 131729.387
AT ITER 4597 NEW BEST:: SOT 1012924 SOS 457387 HAS SOPS 453066 HAS SOUS 132212 HAS SOUPS 131262 WITH SCORE 131719.387
AT ITER 4602 NEW BEST:: SOT 1012792 SOS 457186 HAS SOPS 452865 HAS SOUS 132016 HAS SOUPS 131066 WITH SCORE 131523.186
AT ITER 4603 NEW BEST:: SOT 1012851 SOS 457222 HAS SOPS 452901 HAS SOUS 132006 HAS SOUPS 131056 WITH SCORE 131513.222
AT ITER 4614 NEW BEST:: SOT 1012854 SOS 457228 HAS SOPS 452907 HAS SOUS 131948 HAS SOUPS 130998 WITH SCORE 131455.228
AT ITER 4623 NEW BEST:: SOT 1012845 SOS 457219 HAS SOPS 452898 HAS SOUS 131925 HAS SOUPS 130975 WITH SCORE 131432.219
AT ITER 4631 NEW BEST:: SOT 1012864 SOS 457647 HAS SOPS 453326 HAS SOUS 131614 HAS SOUPS 130664 WITH SCORE 131121.647
AT ITER 4660 NEW BEST:: SOT 1012852 SOS 457590 HAS SOPS 453269 HAS SOUS 131606 HAS SOUPS 130656 WITH SCORE 131113.59
AT ITER 4695 NEW BEST:: SOT 1012877 SOS 457522 HAS SOPS 453201 HAS SOUS 131541 HAS SOUPS 130591 WITH SCORE 131048.522
AT ITER 4704 NEW BEST:: SOT 1012877 SOS 457458 HAS SOPS 453137 HAS SOUS 131541 HAS SOUPS 130591 WITH SCORE 131048.458
AT ITER 4732 NEW BEST:: SOT 1012869 SOS 457450 HAS SOPS 453129 HAS SOUS 131509 HAS SOUPS 130559 WITH SCORE 131016.45
AT ITER 4738 NEW BEST:: SOT 1012899 SOS 457468 HAS SOPS 453147 HAS SOUS 131501 HAS SOUPS 130551 WITH SCORE 131008.468
AT ITER 4741 NEW BEST:: SOT 1012903 SOS 457472 HAS SOPS 453158 HAS SOUS 131498 HAS SOUPS 130548 WITH SCORE 131005.472
AT ITER 4743 NEW BEST:: SOT 1012907 SOS 458305 HAS SOPS 453991 HAS SOUS 131462 HAS SOUPS 130512 WITH SCORE 130970.305
AT ITER 4747 NEW BEST:: SOT 1012912 SOS 458310 HAS SOPS 453988 HAS SOUS 131459 HAS SOUPS 130509 WITH SCORE 130967.31
AT ITER 4773 NEW BEST:: SOT 1012911 SOS 458089 HAS SOPS 453767 HAS SOUS 131456 HAS SOUPS 130506 WITH SCORE 130964.089
AT ITER 4782 NEW BEST:: SOT 1012961 SOS 458229 HAS SOPS 453907 HAS SOUS 131449 HAS SOUPS 130499 WITH SCORE 130957.229
AT ITER 4785 NEW BEST:: SOT 1012846 SOS 443897 HAS SOPS 439575 HAS SOUS 131449 HAS SOUPS 130499 WITH SCORE 130942.897
AT ITER 4811 NEW BEST:: SOT 1012846 SOS 444045 HAS SOPS 439689 HAS SOUS 131459 HAS SOUPS 130491 WITH SCORE 130935.045
AT ITER 4813 NEW BEST:: SOT 1012820 SOS 443857 HAS SOPS 439501 HAS SOUS 131407 HAS SOUPS 130439 WITH SCORE 130882.857
AT ITER 4815 NEW BEST:: SOT 1012906 SOS 443939 HAS SOPS 439583 HAS SOUS 131362 HAS SOUPS 130394 WITH SCORE 130837.939
AT ITER 4832 NEW BEST:: SOT 1012901 SOS 443902 HAS SOPS 439546 HAS SOUS 131333 HAS SOUPS 130365 WITH SCORE 130808.902
AT ITER 4851 NEW BEST:: SOT 1012745 SOS 443692 HAS SOPS 439336 HAS SOUS 131197 HAS SOUPS 130229 WITH SCORE 130672.692
AT ITER 4897 NEW BEST:: SOT 1012832 SOS 443799 HAS SOPS 439443 HAS SOUS 131135 HAS SOUPS 130167 WITH SCORE 130610.799
AT ITER 4909 NEW BEST:: SOT 1012820 SOS 443784 HAS SOPS 439428 HAS SOUS 131117 HAS SOUPS 130149 WITH SCORE 130592.784
AT ITER 4952 NEW BEST:: SOT 1012647 SOS 443613 HAS SOPS 438753 HAS SOUS 130958 HAS SOUPS 129906 WITH SCORE 130349.613
AT ITER 4979 NEW BEST:: SOT 1012635 SOS 443601 HAS SOPS 438741 HAS SOUS 130934 HAS SOUPS 129882 WITH SCORE 130325.601
AT ITER 5007 NEW BEST:: SOT 1012635 SOS 443527 HAS SOPS 438667 HAS SOUS 130884 HAS SOUPS 129832 WITH SCORE 130275.527
AT ITER 5008 NEW BEST:: SOT 1012635 SOS 443407 HAS SOPS 438547 HAS SOUS 130884 HAS SOUPS 129832 WITH SCORE 130275.407
AT ITER 5012 NEW BEST:: SOT 1012633 SOS 443413 HAS SOPS 438553 HAS SOUS 130880 HAS SOUPS 129828 WITH SCORE 130271.413
AT ITER 5030 NEW BEST:: SOT 1012633 SOS 443374 HAS SOPS 438514 HAS SOUS 130880 HAS SOUPS 129828 WITH SCORE 130271.374
AT ITER 5059 NEW BEST:: SOT 1012626 SOS 443367 HAS SOPS 438507 HAS SOUS 130834 HAS SOUPS 129782 WITH SCORE 130225.367
AT ITER 5065 NEW BEST:: SOT 1012597 SOS 443567 HAS SOPS 438718 HAS SOUS 130824 HAS SOUPS 129772 WITH SCORE 130215.567
AT ITER 5079 NEW BEST:: SOT 1012566 SOS 443567 HAS SOPS 438718 HAS SOUS 130793 HAS SOUPS 129741 WITH SCORE 130184.567
AT ITER 5088 NEW BEST:: SOT 1012706 SOS 443727 HAS SOPS 438878 HAS SOUS 130447 HAS SOUPS 129395 WITH SCORE 129838.727
AT ITER 5100 NEW BEST:: SOT 1012692 SOS 443713 HAS SOPS 438864 HAS SOUS 130437 HAS SOUPS 129385 WITH SCORE 129828.713
AT ITER 5124 NEW BEST:: SOT 1013007 SOS 444331 HAS SOPS 439482 HAS SOUS 130360 HAS SOUPS 129308 WITH SCORE 129752.331
AT ITER 5141 NEW BEST:: SOT 1012992 SOS 444250 HAS SOPS 439401 HAS SOUS 130355 HAS SOUPS 129303 WITH SCORE 129747.25
AT ITER 5143 NEW BEST:: SOT 1012992 SOS 444260 HAS SOPS 439411 HAS SOUS 130340 HAS SOUPS 129288 WITH SCORE 129732.26
AT ITER 5205 NEW BEST:: SOT 1012970 SOS 444238 HAS SOPS 439389 HAS SOUS 130306 HAS SOUPS 129254 WITH SCORE 129698.238
AT ITER 5228 NEW BEST:: SOT 1012961 SOS 444229 HAS SOPS 439380 HAS SOUS 130293 HAS SOUPS 129241 WITH SCORE 129685.229
AT ITER 5241 NEW BEST:: SOT 1012507 SOS 443779 HAS SOPS 438930 HAS SOUS 129982 HAS SOUPS 128930 WITH SCORE 129373.779
AT ITER 5244 NEW BEST:: SOT 1004930 SOS 437059 HAS SOPS 432210 HAS SOUS 129844 HAS SOUPS 128792 WITH SCORE 129229.059
AT ITER 5260 NEW BEST:: SOT 1004856 SOS 436985 HAS SOPS 432136 HAS SOUS 129696 HAS SOUPS 128644 WITH SCORE 129080.985
AT ITER 5293 NEW BEST:: SOT 1004853 SOS 436985 HAS SOPS 432136 HAS SOUS 129693 HAS SOUPS 128641 WITH SCORE 129077.985
AT ITER 5299 NEW BEST:: SOT 1004796 SOS 436928 HAS SOPS 432079 HAS SOUS 129629 HAS SOUPS 128577 WITH SCORE 129013.928
AT ITER 5309 NEW BEST:: SOT 1004790 SOS 436922 HAS SOPS 432073 HAS SOUS 129453 HAS SOUPS 128401 WITH SCORE 128837.922
AT ITER 5313 NEW BEST:: SOT 1004652 SOS 436400 HAS SOPS 431551 HAS SOUS 129433 HAS SOUPS 128381 WITH SCORE 128817.4
AT ITER 5337 NEW BEST:: SOT 1004652 SOS 436388 HAS SOPS 431539 HAS SOUS 129421 HAS SOUPS 128369 WITH SCORE 128805.388
AT ITER 5343 NEW BEST:: SOT 1004664 SOS 436402 HAS SOPS 431553 HAS SOUS 129415 HAS SOUPS 128363 WITH SCORE 128799.402
AT ITER 5350 NEW BEST:: SOT 1004656 SOS 436316 HAS SOPS 431467 HAS SOUS 129399 HAS SOUPS 128347 WITH SCORE 128783.316
AT ITER 5358 NEW BEST:: SOT 1004702 SOS 436304 HAS SOPS 431455 HAS SOUS 129330 HAS SOUPS 128278 WITH SCORE 128714.304
AT ITER 5360 NEW BEST:: SOT 1004655 SOS 436248 HAS SOPS 431399 HAS SOUS 129236 HAS SOUPS 128184 WITH SCORE 128620.248
AT ITER 5377 NEW BEST:: SOT 1004650 SOS 436243 HAS SOPS 431394 HAS SOUS 129226 HAS SOUPS 128174 WITH SCORE 128610.243
AT ITER 5397 NEW BEST:: SOT 1004639 SOS 436264 HAS SOPS 431415 HAS SOUS 129087 HAS SOUPS 128035 WITH SCORE 128471.264
AT ITER 5404 NEW BEST:: SOT 1004715 SOS 435964 HAS SOPS 431115 HAS SOUS 129077 HAS SOUPS 128025 WITH SCORE 128460.964
AT ITER 5411 NEW BEST:: SOT 1004709 SOS 436032 HAS SOPS 431183 HAS SOUS 129058 HAS SOUPS 128006 WITH SCORE 128442.032
AT ITER 5420 NEW BEST:: SOT 1004686 SOS 435940 HAS SOPS 431091 HAS SOUS 129058 HAS SOUPS 128006 WITH SCORE 128441.94
AT ITER 5426 NEW BEST:: SOT 1004712 SOS 436055 HAS SOPS 431206 HAS SOUS 129021 HAS SOUPS 127969 WITH SCORE 128405.055
AT ITER 5427 NEW BEST:: SOT 1004710 SOS 436053 HAS SOPS 431204 HAS SOUS 129019 HAS SOUPS 127967 WITH SCORE 128403.053
AT ITER 5440 NEW BEST:: SOT 1004718 SOS 436100 HAS SOPS 431182 HAS SOUS 129036 HAS SOUPS 127945 WITH SCORE 128381.1
AT ITER 5441 NEW BEST:: SOT 1004718 SOS 436090 HAS SOPS 431172 HAS SOUS 129036 HAS SOUPS 127945 WITH SCORE 128381.09
AT ITER 5442 NEW BEST:: SOT 1004703 SOS 436070 HAS SOPS 431152 HAS SOUS 129011 HAS SOUPS 127920 WITH SCORE 128356.07
AT ITER 5444 NEW BEST:: SOT 1004424 SOS 435755 HAS SOPS 430837 HAS SOUS 129011 HAS SOUPS 127920 WITH SCORE 128355.755
AT ITER 5455 NEW BEST:: SOT 1004325 SOS 435715 HAS SOPS 430797 HAS SOUS 128739 HAS SOUPS 127648 WITH SCORE 128083.715
AT ITER 5460 NEW BEST:: SOT 1004290 SOS 435667 HAS SOPS 430749 HAS SOUS 128685 HAS SOUPS 127594 WITH SCORE 128029.667
AT ITER 5478 NEW BEST:: SOT 1004272 SOS 435658 HAS SOPS 430740 HAS SOUS 128669 HAS SOUPS 127578 WITH SCORE 128013.658
AT ITER 5504 NEW BEST:: SOT 1003888 SOS 435390 HAS SOPS 430472 HAS SOUS 128205 HAS SOUPS 127114 WITH SCORE 127549.39
AT ITER 5515 NEW BEST:: SOT 1003817 SOS 435461 HAS SOPS 430543 HAS SOUS 128168 HAS SOUPS 127077 WITH SCORE 127512.461
AT ITER 5519 NEW BEST:: SOT 1003762 SOS 435296 HAS SOPS 430378 HAS SOUS 128024 HAS SOUPS 126933 WITH SCORE 127368.296
AT ITER 5520 NEW BEST:: SOT 1003735 SOS 435269 HAS SOPS 430351 HAS SOUS 127997 HAS SOUPS 126906 WITH SCORE 127341.269
AT ITER 5527 NEW BEST:: SOT 1003675 SOS 435210 HAS SOPS 430292 HAS SOUS 127847 HAS SOUPS 126756 WITH SCORE 127191.21
AT ITER 5528 NEW BEST:: SOT 1003761 SOS 435296 HAS SOPS 430378 HAS SOUS 127821 HAS SOUPS 126730 WITH SCORE 127165.296
AT ITER 5531 NEW BEST:: SOT 1003967 SOS 419690 HAS SOPS 414772 HAS SOUS 127729 HAS SOUPS 126638 WITH SCORE 127057.69
AT ITER 5567 NEW BEST:: SOT 1003967 SOS 419657 HAS SOPS 414739 HAS SOUS 127729 HAS SOUPS 126638 WITH SCORE 127057.657
AT ITER 5569 NEW BEST:: SOT 1003944 SOS 419634 HAS SOPS 414716 HAS SOUS 127697 HAS SOUPS 126606 WITH SCORE 127025.634
AT ITER 5591 NEW BEST:: SOT 1003928 SOS 419578 HAS SOPS 414660 HAS SOUS 127689 HAS SOUPS 126598 WITH SCORE 127017.578
AT ITER 5630 NEW BEST:: SOT 1003864 SOS 418201 HAS SOPS 413283 HAS SOUS 127418 HAS SOUPS 126327 WITH SCORE 126745.201
AT ITER 5632 NEW BEST:: SOT 1003821 SOS 418139 HAS SOPS 413221 HAS SOUS 127356 HAS SOUPS 126265 WITH SCORE 126683.139
AT ITER 5636 NEW BEST:: SOT 1003757 SOS 418113 HAS SOPS 413165 HAS SOUS 127318 HAS SOUPS 126227 WITH SCORE 126645.113
AT ITER 5642 NEW BEST:: SOT 1003841 SOS 417481 HAS SOPS 412533 HAS SOUS 127286 HAS SOUPS 126195 WITH SCORE 126612.481
AT ITER 5700 NEW BEST:: SOT 1003971 SOS 418138 HAS SOPS 413190 HAS SOUS 127094 HAS SOUPS 126003 WITH SCORE 126421.138
AT ITER 5713 NEW BEST:: SOT 1003963 SOS 418130 HAS SOPS 413182 HAS SOUS 127078 HAS SOUPS 125987 WITH SCORE 126405.13
AT ITER 5724 NEW BEST:: SOT 1003942 SOS 418109 HAS SOPS 413161 HAS SOUS 127012 HAS SOUPS 125921 WITH SCORE 126339.109
AT ITER 5738 NEW BEST:: SOT 1003930 SOS 418095 HAS SOPS 413147 HAS SOUS 126986 HAS SOUPS 125895 WITH SCORE 126313.095
AT ITER 5742 NEW BEST:: SOT 1003889 SOS 418193 HAS SOPS 413245 HAS SOUS 126834 HAS SOUPS 125743 WITH SCORE 126161.193
AT ITER 5746 NEW BEST:: SOT 1003771 SOS 418075 HAS SOPS 413127 HAS SOUS 126607 HAS SOUPS 125516 WITH SCORE 125934.075
AT ITER 5753 NEW BEST:: SOT 1003669 SOS 419755 HAS SOPS 414807 HAS SOUS 126559 HAS SOUPS 125468 WITH SCORE 125887.755
AT ITER 5791 NEW BEST:: SOT 1003707 SOS 419793 HAS SOPS 414824 HAS SOUS 126531 HAS SOUPS 125440 WITH SCORE 125859.793
AT ITER 5831 NEW BEST:: SOT 1003511 SOS 406498 HAS SOPS 401529 HAS SOUS 126345 HAS SOUPS 125254 WITH SCORE 125660.498
AT ITER 5871 NEW BEST:: SOT 1003510 SOS 406493 HAS SOPS 401524 HAS SOUS 126343 HAS SOUPS 125252 WITH SCORE 125658.493
AT ITER 5877 NEW BEST:: SOT 1003510 SOS 406512 HAS SOPS 401543 HAS SOUS 126331 HAS SOUPS 125240 WITH SCORE 125646.512
AT ITER 5884 NEW BEST:: SOT 1003468 SOS 406470 HAS SOPS 401501 HAS SOUS 126247 HAS SOUPS 125156 WITH SCORE 125562.47
AT ITER 5888 NEW BEST:: SOT 1003453 SOS 406555 HAS SOPS 401586 HAS SOUS 126217 HAS SOUPS 125126 WITH SCORE 125532.555
AT ITER 5912 NEW BEST:: SOT 1003434 SOS 406441 HAS SOPS 401472 HAS SOUS 126213 HAS SOUPS 125122 WITH SCORE 125528.441
AT ITER 5927 NEW BEST:: SOT 1003246 SOS 406280 HAS SOPS 401311 HAS SOUS 126198 HAS SOUPS 125107 WITH SCORE 125513.28
AT ITER 5948 NEW BEST:: SOT 1003194 SOS 406228 HAS SOPS 401259 HAS SOUS 126107 HAS SOUPS 125016 WITH SCORE 125422.228
AT ITER 5973 NEW BEST:: SOT 1003156 SOS 406571 HAS SOPS 401602 HAS SOUS 126031 HAS SOUPS 124940 WITH SCORE 125346.571
AT ITER 5991 NEW BEST:: SOT 1003250 SOS 407443 HAS SOPS 402474 HAS SOUS 125745 HAS SOUPS 124654 WITH SCORE 125061.443
AT ITER 5995 NEW BEST:: SOT 1003283 SOS 407410 HAS SOPS 402441 HAS SOUS 125745 HAS SOUPS 124654 WITH SCORE 125061.41
AT ITER 6016 NEW BEST:: SOT 1003248 SOS 406958 HAS SOPS 401989 HAS SOUS 125648 HAS SOUPS 124557 WITH SCORE 124963.958
AT ITER 6036 NEW BEST:: SOT 1003239 SOS 406949 HAS SOPS 401980 HAS SOUS 125610 HAS SOUPS 124519 WITH SCORE 124925.949
AT ITER 6050 NEW BEST:: SOT 1003230 SOS 407012 HAS SOPS 402043 HAS SOUS 125592 HAS SOUPS 124501 WITH SCORE 124908.012
AT ITER 6075 NEW BEST:: SOT 1003230 SOS 406704 HAS SOPS 401735 HAS SOUS 125592 HAS SOUPS 124501 WITH SCORE 124907.704
AT ITER 6143 NEW BEST:: SOT 1003228 SOS 406700 HAS SOPS 401731 HAS SOUS 125588 HAS SOUPS 124497 WITH SCORE 124903.7
AT ITER 6156 NEW BEST:: SOT 1003049 SOS 406113 HAS SOPS 401144 HAS SOUS 125419 HAS SOUPS 124328 WITH SCORE 124734.113
AT ITER 6158 NEW BEST:: SOT 1003032 SOS 406079 HAS SOPS 401110 HAS SOUS 125402 HAS SOUPS 124311 WITH SCORE 124717.079
AT ITER 6182 NEW BEST:: SOT 1003031 SOS 406078 HAS SOPS 401109 HAS SOUS 125394 HAS SOUPS 124303 WITH SCORE 124709.078
AT ITER 6192 NEW BEST:: SOT 1003376 SOS 405675 HAS SOPS 400706 HAS SOUS 124945 HAS SOUPS 123854 WITH SCORE 124259.675
AT ITER 6271 NEW BEST:: SOT 1003376 SOS 405640 HAS SOPS 400671 HAS SOUS 124937 HAS SOUPS 123846 WITH SCORE 124251.64
AT ITER 6326 NEW BEST:: SOT 1003235 SOS 405369 HAS SOPS 400400 HAS SOUS 124819 HAS SOUPS 123728 WITH SCORE 124133.369
AT ITER 6362 NEW BEST:: SOT 1003209 SOS 405343 HAS SOPS 400374 HAS SOUS 124753 HAS SOUPS 123662 WITH SCORE 124067.343
AT ITER 6366 NEW BEST:: SOT 1003177 SOS 404487 HAS SOPS 399518 HAS SOUS 124697 HAS SOUPS 123606 WITH SCORE 124010.487
AT ITER 6413 NEW BEST:: SOT 1003182 SOS 404492 HAS SOPS 399523 HAS SOUS 124687 HAS SOUPS 123596 WITH SCORE 124000.492
AT ITER 6415 NEW BEST:: SOT 1003173 SOS 404471 HAS SOPS 399502 HAS SOUS 124675 HAS SOUPS 123584 WITH SCORE 123988.471
AT ITER 6428 NEW BEST:: SOT 1003167 SOS 404459 HAS SOPS 399490 HAS SOUS 124665 HAS SOUPS 123574 WITH SCORE 123978.459
AT ITER 6454 NEW BEST:: SOT 1003132 SOS 404424 HAS SOPS 399455 HAS SOUS 124595 HAS SOUPS 123504 WITH SCORE 123908.424
AT ITER 6458 NEW BEST:: SOT 1003269 SOS 404895 HAS SOPS 399926 HAS SOUS 124562 HAS SOUPS 123471 WITH SCORE 123875.895
AT ITER 6489 NEW BEST:: SOT 1003137 SOS 404763 HAS SOPS 399794 HAS SOUS 124298 HAS SOUPS 123207 WITH SCORE 123611.763
AT ITER 6497 NEW BEST:: SOT 1003155 SOS 404781 HAS SOPS 399812 HAS SOUS 124294 HAS SOUPS 123203 WITH SCORE 123607.781
AT ITER 6548 NEW BEST:: SOT 1003155 SOS 404767 HAS SOPS 399798 HAS SOUS 124252 HAS SOUPS 123161 WITH SCORE 123565.767
AT ITER 6557 NEW BEST:: SOT 1003169 SOS 404849 HAS SOPS 399880 HAS SOUS 124225 HAS SOUPS 123134 WITH SCORE 123538.849
AT ITER 6559 NEW BEST:: SOT 1003169 SOS 404835 HAS SOPS 399866 HAS SOUS 124221 HAS SOUPS 123130 WITH SCORE 123534.835
AT ITER 6567 NEW BEST:: SOT 1003075 SOS 404467 HAS SOPS 399498 HAS SOUS 124213 HAS SOUPS 123122 WITH SCORE 123526.467
AT ITER 6569 NEW BEST:: SOT 1003050 SOS 404442 HAS SOPS 399473 HAS SOUS 124208 HAS SOUPS 123117 WITH SCORE 123521.442
AT ITER 6585 NEW BEST:: SOT 1003015 SOS 404397 HAS SOPS 399428 HAS SOUS 124200 HAS SOUPS 123109 WITH SCORE 123513.397
AT ITER 6588 NEW BEST:: SOT 1002979 SOS 401874 HAS SOPS 396905 HAS SOUS 124151 HAS SOUPS 123060 WITH SCORE 123461.874
AT ITER 6630 NEW BEST:: SOT 1002964 SOS 401859 HAS SOPS 396890 HAS SOUS 124127 HAS SOUPS 123036 WITH SCORE 123437.859
AT ITER 6640 NEW BEST:: SOT 1002967 SOS 401853 HAS SOPS 396884 HAS SOUS 124127 HAS SOUPS 123036 WITH SCORE 123437.853
AT ITER 6657 NEW BEST:: SOT 1003154 SOS 402206 HAS SOPS 397237 HAS SOUS 124068 HAS SOUPS 122977 WITH SCORE 123379.206
AT ITER 6662 NEW BEST:: SOT 1003666 SOS 408537 HAS SOPS 403568 HAS SOUS 123731 HAS SOUPS 122640 WITH SCORE 123048.537
AT ITER 6674 NEW BEST:: SOT 1003666 SOS 408537 HAS SOPS 403574 HAS SOUS 123713 HAS SOUPS 122622 WITH SCORE 123030.537
AT ITER 6705 NEW BEST:: SOT 1003606 SOS 408530 HAS SOPS 403567 HAS SOUS 123596 HAS SOUPS 122505 WITH SCORE 122913.53
AT ITER 6708 NEW BEST:: SOT 1003550 SOS 408729 HAS SOPS 403766 HAS SOUS 123560 HAS SOUPS 122469 WITH SCORE 122877.729
AT ITER 6724 NEW BEST:: SOT 1003550 SOS 408732 HAS SOPS 403769 HAS SOUS 123524 HAS SOUPS 122433 WITH SCORE 122841.732
AT ITER 6735 NEW BEST:: SOT 1003551 SOS 408701 HAS SOPS 403738 HAS SOUS 123494 HAS SOUPS 122403 WITH SCORE 122811.701
AT ITER 6738 NEW BEST:: SOT 1003551 SOS 408175 HAS SOPS 403212 HAS SOUS 123445 HAS SOUPS 122354 WITH SCORE 122762.175
AT ITER 6744 NEW BEST:: SOT 1003432 SOS 408066 HAS SOPS 403103 HAS SOUS 123402 HAS SOUPS 122311 WITH SCORE 122719.066
AT ITER 6753 NEW BEST:: SOT 1003432 SOS 408036 HAS SOPS 403073 HAS SOUS 123402 HAS SOUPS 122311 WITH SCORE 122719.036
AT ITER 6789 NEW BEST:: SOT 1003445 SOS 408001 HAS SOPS 403038 HAS SOUS 123322 HAS SOUPS 122231 WITH SCORE 122639.001
AT ITER 6838 NEW BEST:: SOT 1003406 SOS 408036 HAS SOPS 403073 HAS SOUS 123130 HAS SOUPS 122039 WITH SCORE 122447.036
AT ITER 6865 NEW BEST:: SOT 1003406 SOS 408033 HAS SOPS 403070 HAS SOUS 123130 HAS SOUPS 122039 WITH SCORE 122447.033
AT ITER 6874 NEW BEST:: SOT 1003406 SOS 407907 HAS SOPS 402944 HAS SOUS 123130 HAS SOUPS 122039 WITH SCORE 122446.907
AT ITER 6897 NEW BEST:: SOT 1003394 SOS 407891 HAS SOPS 402928 HAS SOUS 123120 HAS SOUPS 122029 WITH SCORE 122436.891
AT ITER 6923 NEW BEST:: SOT 1003387 SOS 407884 HAS SOPS 402912 HAS SOUS 123104 HAS SOUPS 122013 WITH SCORE 122420.884
AT ITER 6941 NEW BEST:: SOT 1003438 SOS 407963 HAS SOPS 402991 HAS SOUS 122959 HAS SOUPS 121868 WITH SCORE 122275.963
AT ITER 6946 NEW BEST:: SOT 1003334 SOS 407859 HAS SOPS 402887 HAS SOUS 122751 HAS SOUPS 121660 WITH SCORE 122067.859
AT ITER 6947 NEW BEST:: SOT 1003326 SOS 407824 HAS SOPS 402833 HAS SOUS 122716 HAS SOUPS 121625 WITH SCORE 122032.824
AT ITER 6976 NEW BEST:: SOT 1003326 SOS 407761 HAS SOPS 402770 HAS SOUS 122674 HAS SOUPS 121583 WITH SCORE 121990.761
AT ITER 6989 NEW BEST:: SOT 1003300 SOS 407067 HAS SOPS 402076 HAS SOUS 122421 HAS SOUPS 121330 WITH SCORE 121737.067
AT ITER 6994 NEW BEST:: SOT 1003298 SOS 407063 HAS SOPS 402072 HAS SOUS 122417 HAS SOUPS 121326 WITH SCORE 121733.063
AT ITER 7017 NEW BEST:: SOT 1003293 SOS 407038 HAS SOPS 402047 HAS SOUS 122402 HAS SOUPS 121311 WITH SCORE 121718.038
AT ITER 7018 NEW BEST:: SOT 1003294 SOS 407039 HAS SOPS 402048 HAS SOUS 122391 HAS SOUPS 121300 WITH SCORE 121707.039
AT ITER 7045 NEW BEST:: SOT 1003217 SOS 407153 HAS SOPS 402162 HAS SOUS 122384 HAS SOUPS 121293 WITH SCORE 121700.153
AT ITER 7056 NEW BEST:: SOT 1003201 SOS 407092 HAS SOPS 402101 HAS SOUS 122352 HAS SOUPS 121261 WITH SCORE 121668.092
AT ITER 7086 NEW BEST:: SOT 1003201 SOS 407051 HAS SOPS 402060 HAS SOUS 122223 HAS SOUPS 121132 WITH SCORE 121539.051
AT ITER 7120 NEW BEST:: SOT 1003177 SOS 406966 HAS SOPS 401975 HAS SOUS 122146 HAS SOUPS 121055 WITH SCORE 121461.966
AT ITER 7159 NEW BEST:: SOT 1003177 SOS 407023 HAS SOPS 402032 HAS SOUS 122123 HAS SOUPS 121032 WITH SCORE 121439.023
AT ITER 7162 NEW BEST:: SOT 1003128 SOS 406876 HAS SOPS 401885 HAS SOUS 122025 HAS SOUPS 120934 WITH SCORE 121340.876
AT ITER 7223 NEW BEST:: SOT 1003122 SOS 407258 HAS SOPS 402267 HAS SOUS 122013 HAS SOUPS 120922 WITH SCORE 121329.258
AT ITER 7225 NEW BEST:: SOT 1002900 SOS 406962 HAS SOPS 401971 HAS SOUS 121897 HAS SOUPS 120806 WITH SCORE 121212.962
AT ITER 7231 NEW BEST:: SOT 1002932 SOS 402374 HAS SOPS 397383 HAS SOUS 121853 HAS SOUPS 120762 WITH SCORE 121164.374
AT ITER 7246 NEW BEST:: SOT 1002931 SOS 402372 HAS SOPS 397381 HAS SOUS 121851 HAS SOUPS 120760 WITH SCORE 121162.372
AT ITER 7263 NEW BEST:: SOT 1002931 SOS 401421 HAS SOPS 396430 HAS SOUS 121851 HAS SOUPS 120760 WITH SCORE 121161.421
AT ITER 7295 NEW BEST:: SOT 1002927 SOS 401417 HAS SOPS 396426 HAS SOUS 121847 HAS SOUPS 120756 WITH SCORE 121157.417
AT ITER 7297 NEW BEST:: SOT 1002927 SOS 401407 HAS SOPS 396416 HAS SOUS 121821 HAS SOUPS 120730 WITH SCORE 121131.407
AT ITER 7305 NEW BEST:: SOT 1002872 SOS 401389 HAS SOPS 396398 HAS SOUS 121752 HAS SOUPS 120661 WITH SCORE 121062.389
AT ITER 7309 NEW BEST:: SOT 1002850 SOS 401367 HAS SOPS 396376 HAS SOUS 121730 HAS SOUPS 120639 WITH SCORE 121040.367
AT ITER 7364 NEW BEST:: SOT 1002834 SOS 401286 HAS SOPS 396295 HAS SOUS 121691 HAS SOUPS 120600 WITH SCORE 121001.286
AT ITER 7374 NEW BEST:: SOT 1002862 SOS 401314 HAS SOPS 396309 HAS SOUS 121642 HAS SOUPS 120551 WITH SCORE 120952.314
AT ITER 7377 NEW BEST:: SOT 1002704 SOS 405737 HAS SOPS 400732 HAS SOUS 121618 HAS SOUPS 120527 WITH SCORE 120932.737
AT ITER 7378 NEW BEST:: SOT 1002579 SOS 405559 HAS SOPS 400554 HAS SOUS 121474 HAS SOUPS 120383 WITH SCORE 120788.559
AT ITER 7394 NEW BEST:: SOT 1002570 SOS 405550 HAS SOPS 400545 HAS SOUS 121456 HAS SOUPS 120365 WITH SCORE 120770.55
AT ITER 7401 NEW BEST:: SOT 1002424 SOS 405440 HAS SOPS 400435 HAS SOUS 121238 HAS SOUPS 120147 WITH SCORE 120552.44
AT ITER 7405 NEW BEST:: SOT 1002399 SOS 405415 HAS SOPS 400410 HAS SOUS 121213 HAS SOUPS 120122 WITH SCORE 120527.415
AT ITER 7419 NEW BEST:: SOT 1002360 SOS 405376 HAS SOPS 400371 HAS SOUS 121207 HAS SOUPS 120116 WITH SCORE 120521.376
AT ITER 7440 NEW BEST:: SOT 1002360 SOS 405376 HAS SOPS 400371 HAS SOUS 121195 HAS SOUPS 120104 WITH SCORE 120509.376
AT ITER 7481 NEW BEST:: SOT 1002357 SOS 405370 HAS SOPS 400365 HAS SOUS 121189 HAS SOUPS 120098 WITH SCORE 120503.37
AT ITER 7501 NEW BEST:: SOT 1002470 SOS 405903 HAS SOPS 400898 HAS SOUS 121187 HAS SOUPS 120096 WITH SCORE 120501.903
AT ITER 7536 NEW BEST:: SOT 1002485 SOS 405948 HAS SOPS 400943 HAS SOUS 121172 HAS SOUPS 120081 WITH SCORE 120486.948
AT ITER 7540 NEW BEST:: SOT 1002485 SOS 405999 HAS SOPS 400994 HAS SOUS 121070 HAS SOUPS 119979 WITH SCORE 120384.999
AT ITER 7544 NEW BEST:: SOT 1002394 SOS 405943 HAS SOPS 400938 HAS SOUS 121002 HAS SOUPS 119911 WITH SCORE 120316.943
AT ITER 7550 NEW BEST:: SOT 1002214 SOS 405763 HAS SOPS 400758 HAS SOUS 120995 HAS SOUPS 119904 WITH SCORE 120309.763
AT ITER 7556 NEW BEST:: SOT 1002139 SOS 405688 HAS SOPS 400179 HAS SOUS 120920 HAS SOUPS 119745 WITH SCORE 120150.688
AT ITER 7573 NEW BEST:: SOT 1002211 SOS 405811 HAS SOPS 400302 HAS SOUS 120894 HAS SOUPS 119719 WITH SCORE 120124.811
AT ITER 7619 NEW BEST:: SOT 1002209 SOS 405837 HAS SOPS 400328 HAS SOUS 120890 HAS SOUPS 119715 WITH SCORE 120120.837
AT ITER 7629 NEW BEST:: SOT 1002183 SOS 405811 HAS SOPS 400302 HAS SOUS 120864 HAS SOUPS 119689 WITH SCORE 120094.811
AT ITER 7697 NEW BEST:: SOT 1002169 SOS 405797 HAS SOPS 400288 HAS SOUS 120860 HAS SOUPS 119685 WITH SCORE 120090.797
AT ITER 7708 NEW BEST:: SOT 1002213 SOS 406259 HAS SOPS 400750 HAS SOUS 120754 HAS SOUPS 119579 WITH SCORE 119985.259
AT ITER 7711 NEW BEST:: SOT 1002193 SOS 406286 HAS SOPS 400777 HAS SOUS 120751 HAS SOUPS 119576 WITH SCORE 119982.286
AT ITER 7723 NEW BEST:: SOT 1002209 SOS 406277 HAS SOPS 400725 HAS SOUS 120643 HAS SOUPS 119468 WITH SCORE 119874.277
AT ITER 7738 NEW BEST:: SOT 1002158 SOS 406073 HAS SOPS 400521 HAS SOUS 120643 HAS SOUPS 119468 WITH SCORE 119874.073
AT ITER 7745 NEW BEST:: SOT 1002158 SOS 406073 HAS SOPS 400521 HAS SOUS 120634 HAS SOUPS 119459 WITH SCORE 119865.073
AT ITER 7761 NEW BEST:: SOT 1002225 SOS 406310 HAS SOPS 400758 HAS SOUS 120368 HAS SOUPS 119193 WITH SCORE 119599.31
AT ITER 7775 NEW BEST:: SOT 1002160 SOS 405929 HAS SOPS 400377 HAS SOUS 120243 HAS SOUPS 119068 WITH SCORE 119473.929
AT ITER 7786 NEW BEST:: SOT 1002066 SOS 405809 HAS SOPS 400257 HAS SOUS 120220 HAS SOUPS 119045 WITH SCORE 119450.809
AT ITER 7787 NEW BEST:: SOT 1001999 SOS 405742 HAS SOPS 400190 HAS SOUS 120203 HAS SOUPS 119028 WITH SCORE 119433.742
AT ITER 7833 NEW BEST:: SOT 1001967 SOS 405631 HAS SOPS 400079 HAS SOUS 120122 HAS SOUPS 118947 WITH SCORE 119352.631
AT ITER 7864 NEW BEST:: SOT 1001965 SOS 405629 HAS SOPS 400077 HAS SOUS 120117 HAS SOUPS 118942 WITH SCORE 119347.629
AT ITER 7873 NEW BEST:: SOT 1001965 SOS 405668 HAS SOPS 400116 HAS SOUS 120074 HAS SOUPS 118899 WITH SCORE 119304.668
AT ITER 7924 NEW BEST:: SOT 1001995 SOS 405698 HAS SOPS 400146 HAS SOUS 119938 HAS SOUPS 118763 WITH SCORE 119168.698
AT ITER 7951 NEW BEST:: SOT 1001998 SOS 405701 HAS SOPS 400149 HAS SOUS 119921 HAS SOUPS 118746 WITH SCORE 119151.701
AT ITER 7993 NEW BEST:: SOT 1001999 SOS 405700 HAS SOPS 400148 HAS SOUS 119919 HAS SOUPS 118744 WITH SCORE 119149.7
AT ITER 8021 NEW BEST:: SOT 1001999 SOS 405852 HAS SOPS 400300 HAS SOUS 119881 HAS SOUPS 118706 WITH SCORE 119111.852
AT ITER 8086 NEW BEST:: SOT 1001945 SOS 405780 HAS SOPS 400228 HAS SOUS 119791 HAS SOUPS 118616 WITH SCORE 119021.78
AT ITER 8120 NEW BEST:: SOT 1001933 SOS 405768 HAS SOPS 400216 HAS SOUS 119767 HAS SOUPS 118592 WITH SCORE 118997.768
AT ITER 8150 NEW BEST:: SOT 1001903 SOS 405759 HAS SOPS 400207 HAS SOUS 119707 HAS SOUPS 118532 WITH SCORE 118937.759
AT ITER 8171 NEW BEST:: SOT 1001899 SOS 405755 HAS SOPS 400203 HAS SOUS 119693 HAS SOUPS 118518 WITH SCORE 118923.755
AT ITER 8174 NEW BEST:: SOT 1001885 SOS 405747 HAS SOPS 400217 HAS SOUS 119691 HAS SOUPS 118516 WITH SCORE 118921.747
AT ITER 8191 NEW BEST:: SOT 1001871 SOS 405719 HAS SOPS 400189 HAS SOUS 119663 HAS SOUPS 118488 WITH SCORE 118893.719
AT ITER 8215 NEW BEST:: SOT 1001865 SOS 405714 HAS SOPS 400184 HAS SOUS 119658 HAS SOUPS 118483 WITH SCORE 118888.714
AT ITER 8218 NEW BEST:: SOT 1001739 SOS 405512 HAS SOPS 399982 HAS SOUS 119520 HAS SOUPS 118345 WITH SCORE 118750.512
AT ITER 8225 NEW BEST:: SOT 1001810 SOS 405502 HAS SOPS 399972 HAS SOUS 119514 HAS SOUPS 118339 WITH SCORE 118744.502
AT ITER 8256 NEW BEST:: SOT 1001764 SOS 405510 HAS SOPS 399980 HAS SOUS 119306 HAS SOUPS 118131 WITH SCORE 118536.51
AT ITER 8258 NEW BEST:: SOT 1001756 SOS 404976 HAS SOPS 399446 HAS SOUS 119247 HAS SOUPS 118072 WITH SCORE 118476.976
AT ITER 8281 NEW BEST:: SOT 1001851 SOS 405166 HAS SOPS 399636 HAS SOUS 119162 HAS SOUPS 117987 WITH SCORE 118392.166
AT ITER 8302 NEW BEST:: SOT 1001845 SOS 405160 HAS SOPS 399630 HAS SOUS 119156 HAS SOUPS 117981 WITH SCORE 118386.16
AT ITER 8336 NEW BEST:: SOT 1001844 SOS 405159 HAS SOPS 399629 HAS SOUS 119140 HAS SOUPS 117965 WITH SCORE 118370.159
AT ITER 8341 NEW BEST:: SOT 1001844 SOS 405155 HAS SOPS 399625 HAS SOUS 119116 HAS SOUPS 117941 WITH SCORE 118346.155
AT ITER 8348 NEW BEST:: SOT 1001844 SOS 404807 HAS SOPS 399277 HAS SOUS 119107 HAS SOUPS 117932 WITH SCORE 118336.807
AT ITER 8369 NEW BEST:: SOT 1001766 SOS 405154 HAS SOPS 399624 HAS SOUS 119056 HAS SOUPS 117881 WITH SCORE 118286.154
AT ITER 8374 NEW BEST:: SOT 1001723 SOS 388014 HAS SOPS 382484 HAS SOUS 119066 HAS SOUPS 117891 WITH SCORE 118279.014
AT ITER 8386 NEW BEST:: SOT 1001613 SOS 387925 HAS SOPS 382395 HAS SOUS 119050 HAS SOUPS 117875 WITH SCORE 118262.925
AT ITER 8412 NEW BEST:: SOT 998169 SOS 384581 HAS SOPS 378931 HAS SOUS 118887 HAS SOUPS 117692 WITH SCORE 118076.581
AT ITER 8438 NEW BEST:: SOT 998128 SOS 384514 HAS SOPS 378864 HAS SOUS 118859 HAS SOUPS 117664 WITH SCORE 118048.514
AT ITER 8456 NEW BEST:: SOT 998140 SOS 384441 HAS SOPS 378791 HAS SOUS 118845 HAS SOUPS 117650 WITH SCORE 118034.441
AT ITER 8483 NEW BEST:: SOT 998094 SOS 384399 HAS SOPS 378749 HAS SOUS 118811 HAS SOUPS 117616 WITH SCORE 118000.399
AT ITER 8529 NEW BEST:: SOT 997971 SOS 384144 HAS SOPS 378494 HAS SOUS 118549 HAS SOUPS 117354 WITH SCORE 117738.144
AT ITER 8538 NEW BEST:: SOT 997958 SOS 384085 HAS SOPS 378435 HAS SOUS 118487 HAS SOUPS 117292 WITH SCORE 117676.085
AT ITER 8541 NEW BEST:: SOT 997956 SOS 384124 HAS SOPS 378474 HAS SOUS 118474 HAS SOUPS 117279 WITH SCORE 117663.124
AT ITER 8549 NEW BEST:: SOT 997879 SOS 383997 HAS SOPS 378347 HAS SOUS 118446 HAS SOUPS 117251 WITH SCORE 117634.997
AT ITER 8582 NEW BEST:: SOT 997875 SOS 383929 HAS SOPS 378279 HAS SOUS 118446 HAS SOUPS 117251 WITH SCORE 117634.929
AT ITER 8609 NEW BEST:: SOT 997888 SOS 383942 HAS SOPS 378292 HAS SOUS 118424 HAS SOUPS 117229 WITH SCORE 117612.942
AT ITER 8611 NEW BEST:: SOT 997902 SOS 384326 HAS SOPS 378676 HAS SOUS 118110 HAS SOUPS 116915 WITH SCORE 117299.326
AT ITER 8689 NEW BEST:: SOT 997854 SOS 384278 HAS SOPS 378628 HAS SOUS 118054 HAS SOUPS 116859 WITH SCORE 117243.278
AT ITER 8693 NEW BEST:: SOT 997798 SOS 384222 HAS SOPS 378572 HAS SOUS 117971 HAS SOUPS 116776 WITH SCORE 117160.222
AT ITER 8697 NEW BEST:: SOT 997797 SOS 384208 HAS SOPS 378558 HAS SOUS 117970 HAS SOUPS 116775 WITH SCORE 117159.208
AT ITER 8716 NEW BEST:: SOT 997774 SOS 384222 HAS SOPS 378572 HAS SOUS 117834 HAS SOUPS 116639 WITH SCORE 117023.222
AT ITER 8725 NEW BEST:: SOT 997787 SOS 384248 HAS SOPS 378598 HAS SOUS 117821 HAS SOUPS 116626 WITH SCORE 117010.248
AT ITER 8732 NEW BEST:: SOT 997690 SOS 384151 HAS SOPS 378501 HAS SOUS 117796 HAS SOUPS 116601 WITH SCORE 116985.151
AT ITER 8752 NEW BEST:: SOT 997732 SOS 384345 HAS SOPS 378695 HAS SOUS 117788 HAS SOUPS 116593 WITH SCORE 116977.345
AT ITER 8771 NEW BEST:: SOT 997725 SOS 384338 HAS SOPS 378688 HAS SOUS 117758 HAS SOUPS 116563 WITH SCORE 116947.338
AT ITER 8810 NEW BEST:: SOT 997725 SOS 384332 HAS SOPS 378682 HAS SOUS 117758 HAS SOUPS 116563 WITH SCORE 116947.332
AT ITER 8818 NEW BEST:: SOT 997690 SOS 384297 HAS SOPS 378647 HAS SOUS 117723 HAS SOUPS 116528 WITH SCORE 116912.297
AT ITER 8827 NEW BEST:: SOT 997551 SOS 384181 HAS SOPS 378531 HAS SOUS 117591 HAS SOUPS 116396 WITH SCORE 116780.181
AT ITER 8865 NEW BEST:: SOT 997545 SOS 384163 HAS SOPS 378513 HAS SOUS 117567 HAS SOUPS 116372 WITH SCORE 116756.163
AT ITER 8882 NEW BEST:: SOT 997539 SOS 384157 HAS SOPS 378507 HAS SOUS 117555 HAS SOUPS 116360 WITH SCORE 116744.157
AT ITER 8916 NEW BEST:: SOT 997485 SOS 384103 HAS SOPS 378453 HAS SOUS 117494 HAS SOUPS 116299 WITH SCORE 116683.103
AT ITER 8931 NEW BEST:: SOT 997613 SOS 384671 HAS SOPS 379021 HAS SOUS 117438 HAS SOUPS 116243 WITH SCORE 116627.671
AT ITER 8932 NEW BEST:: SOT 997639 SOS 384580 HAS SOPS 378930 HAS SOUS 117421 HAS SOUPS 116226 WITH SCORE 116610.58
AT ITER 8933 NEW BEST:: SOT 997518 SOS 384447 HAS SOPS 378797 HAS SOUS 117352 HAS SOUPS 116157 WITH SCORE 116541.447
AT ITER 8975 NEW BEST:: SOT 997535 SOS 384058 HAS SOPS 378408 HAS SOUS 117300 HAS SOUPS 116105 WITH SCORE 116489.058
AT ITER 8979 NEW BEST:: SOT 997560 SOS 384091 HAS SOPS 378441 HAS SOUS 117286 HAS SOUPS 116091 WITH SCORE 116475.091
AT ITER 8985 NEW BEST:: SOT 997560 SOS 384091 HAS SOPS 378441 HAS SOUS 117247 HAS SOUPS 116052 WITH SCORE 116436.091
AT ITER 8990 NEW BEST:: SOT 997521 SOS 384013 HAS SOPS 378363 HAS SOUS 117205 HAS SOUPS 116010 WITH SCORE 116394.013
AT ITER 9013 NEW BEST:: SOT 997497 SOS 383997 HAS SOPS 378347 HAS SOUS 117157 HAS SOUPS 115962 WITH SCORE 116345.997
AT ITER 9017 NEW BEST:: SOT 997647 SOS 384147 HAS SOPS 378497 HAS SOUS 116925 HAS SOUPS 115730 WITH SCORE 116114.147
AT ITER 9072 NEW BEST:: SOT 997652 SOS 383942 HAS SOPS 378292 HAS SOUS 116860 HAS SOUPS 115665 WITH SCORE 116048.942
AT ITER 9089 NEW BEST:: SOT 997652 SOS 383948 HAS SOPS 378298 HAS SOUS 116857 HAS SOUPS 115662 WITH SCORE 116045.948
AT ITER 9134 NEW BEST:: SOT 997600 SOS 383896 HAS SOPS 378246 HAS SOUS 116842 HAS SOUPS 115647 WITH SCORE 116030.896
AT ITER 9145 NEW BEST:: SOT 997568 SOS 384290 HAS SOPS 378640 HAS SOUS 116821 HAS SOUPS 115626 WITH SCORE 116010.29
AT ITER 9149 NEW BEST:: SOT 997559 SOS 384281 HAS SOPS 378631 HAS SOUS 116811 HAS SOUPS 115616 WITH SCORE 116000.281
AT ITER 9150 NEW BEST:: SOT 997544 SOS 384266 HAS SOPS 378616 HAS SOUS 116781 HAS SOUPS 115586 WITH SCORE 115970.266
AT ITER 9151 NEW BEST:: SOT 997544 SOS 384262 HAS SOPS 378612 HAS SOUS 116781 HAS SOUPS 115586 WITH SCORE 115970.262
AT ITER 9173 NEW BEST:: SOT 997536 SOS 384578 HAS SOPS 378928 HAS SOUS 116759 HAS SOUPS 115564 WITH SCORE 115948.578
AT ITER 9202 NEW BEST:: SOT 997514 SOS 384556 HAS SOPS 378906 HAS SOUS 116736 HAS SOUPS 115541 WITH SCORE 115925.556
AT ITER 9205 NEW BEST:: SOT 997445 SOS 384438 HAS SOPS 378788 HAS SOUS 116647 HAS SOUPS 115452 WITH SCORE 115836.438
AT ITER 9240 NEW BEST:: SOT 997348 SOS 384329 HAS SOPS 378679 HAS SOUS 116493 HAS SOUPS 115298 WITH SCORE 115682.329
AT ITER 9244 NEW BEST:: SOT 997346 SOS 384326 HAS SOPS 378676 HAS SOUS 116492 HAS SOUPS 115297 WITH SCORE 115681.326
AT ITER 9255 NEW BEST:: SOT 997312 SOS 384309 HAS SOPS 378659 HAS SOUS 116433 HAS SOUPS 115238 WITH SCORE 115622.309
AT ITER 9267 NEW BEST:: SOT 997275 SOS 384273 HAS SOPS 378623 HAS SOUS 116379 HAS SOUPS 115184 WITH SCORE 115568.273
AT ITER 9284 NEW BEST:: SOT 997275 SOS 384273 HAS SOPS 378623 HAS SOUS 116376 HAS SOUPS 115181 WITH SCORE 115565.273
AT ITER 9294 NEW BEST:: SOT 997113 SOS 384237 HAS SOPS 378568 HAS SOUS 116340 HAS SOUPS 115126 WITH SCORE 115510.237
AT ITER 9331 NEW BEST:: SOT 997043 SOS 384167 HAS SOPS 378498 HAS SOUS 116244 HAS SOUPS 115030 WITH SCORE 115414.167
AT ITER 9333 NEW BEST:: SOT 997023 SOS 384147 HAS SOPS 378478 HAS SOUS 116238 HAS SOUPS 115024 WITH SCORE 115408.147
AT ITER 9338 NEW BEST:: SOT 996993 SOS 384111 HAS SOPS 378442 HAS SOUS 116234 HAS SOUPS 115020 WITH SCORE 115404.111
AT ITER 9342 NEW BEST:: SOT 996966 SOS 383949 HAS SOPS 378280 HAS SOUS 116153 HAS SOUPS 114939 WITH SCORE 115322.949
AT ITER 9347 NEW BEST:: SOT 996966 SOS 383949 HAS SOPS 378280 HAS SOUS 116143 HAS SOUPS 114929 WITH SCORE 115312.949
AT ITER 9360 NEW BEST:: SOT 996988 SOS 383971 HAS SOPS 378302 HAS SOUS 116097 HAS SOUPS 114883 WITH SCORE 115266.971
AT ITER 9366 NEW BEST:: SOT 996916 SOS 383694 HAS SOPS 378025 HAS SOUS 116050 HAS SOUPS 114836 WITH SCORE 115219.694
AT ITER 9370 NEW BEST:: SOT 996865 SOS 383605 HAS SOPS 377936 HAS SOUS 116013 HAS SOUPS 114799 WITH SCORE 115182.605
AT ITER 9394 NEW BEST:: SOT 996835 SOS 383575 HAS SOPS 377888 HAS SOUS 115985 HAS SOUPS 114771 WITH SCORE 115154.575
AT ITER 9395 NEW BEST:: SOT 996858 SOS 383657 HAS SOPS 377970 HAS SOUS 115974 HAS SOUPS 114760 WITH SCORE 115143.657
AT ITER 9422 NEW BEST:: SOT 996858 SOS 383633 HAS SOPS 377946 HAS SOUS 115974 HAS SOUPS 114760 WITH SCORE 115143.633
AT ITER 9462 NEW BEST:: SOT 996854 SOS 383629 HAS SOPS 377942 HAS SOUS 115966 HAS SOUPS 114752 WITH SCORE 115135.629
AT ITER 9494 NEW BEST:: SOT 996854 SOS 383604 HAS SOPS 377901 HAS SOUS 115941 HAS SOUPS 114727 WITH SCORE 115110.604
AT ITER 9546 NEW BEST:: SOT 996839 SOS 383521 HAS SOPS 377818 HAS SOUS 115858 HAS SOUPS 114644 WITH SCORE 115027.521
AT ITER 9550 NEW BEST:: SOT 996822 SOS 383504 HAS SOPS 377801 HAS SOUS 115824 HAS SOUPS 114610 WITH SCORE 114993.504
AT ITER 9558 NEW BEST:: SOT 996819 SOS 383498 HAS SOPS 377795 HAS SOUS 115818 HAS SOUPS 114604 WITH SCORE 114987.498
AT ITER 9578 NEW BEST:: SOT 996800 SOS 383473 HAS SOPS 377770 HAS SOUS 115803 HAS SOUPS 114589 WITH SCORE 114972.473
AT ITER 9579 NEW BEST:: SOT 996792 SOS 383457 HAS SOPS 377754 HAS SOUS 115787 HAS SOUPS 114573 WITH SCORE 114956.457
AT ITER 9600 NEW BEST:: SOT 996746 SOS 383319 HAS SOPS 377616 HAS SOUS 115787 HAS SOUPS 114573 WITH SCORE 114956.319
AT ITER 9602 NEW BEST:: SOT 996731 SOS 383232 HAS SOPS 377529 HAS SOUS 115787 HAS SOUPS 114573 WITH SCORE 114956.232
AT ITER 9625 NEW BEST:: SOT 996728 SOS 383217 HAS SOPS 377514 HAS SOUS 115781 HAS SOUPS 114567 WITH SCORE 114950.217
AT ITER 9626 NEW BEST:: SOT 996728 SOS 383217 HAS SOPS 377514 HAS SOUS 115778 HAS SOUPS 114564 WITH SCORE 114947.217
AT ITER 9652 NEW BEST:: SOT 996728 SOS 383145 HAS SOPS 377442 HAS SOUS 115761 HAS SOUPS 114547 WITH SCORE 114930.145
AT ITER 9671 NEW BEST:: SOT 994339 SOS 380756 HAS SOPS 375053 HAS SOUS 115683 HAS SOUPS 114469 WITH SCORE 114849.756
AT ITER 9709 NEW BEST:: SOT 994339 SOS 380740 HAS SOPS 375026 HAS SOUS 115672 HAS SOUPS 114458 WITH SCORE 114838.74
AT ITER 9714 NEW BEST:: SOT 994327 SOS 380680 HAS SOPS 374966 HAS SOUS 115672 HAS SOUPS 114458 WITH SCORE 114838.68
AT ITER 9771 NEW BEST:: SOT 994335 SOS 380602 HAS SOPS 374888 HAS SOUS 115594 HAS SOUPS 114380 WITH SCORE 114760.602
AT ITER 9792 NEW BEST:: SOT 994397 SOS 380664 HAS SOPS 374950 HAS SOUS 115578 HAS SOUPS 114364 WITH SCORE 114744.664
AT ITER 9812 NEW BEST:: SOT 994354 SOS 380621 HAS SOPS 374907 HAS SOUS 115558 HAS SOUPS 114344 WITH SCORE 114724.621
AT ITER 9819 NEW BEST:: SOT 994351 SOS 380618 HAS SOPS 374904 HAS SOUS 115554 HAS SOUPS 114340 WITH SCORE 114720.618
AT ITER 9833 NEW BEST:: SOT 994350 SOS 380638 HAS SOPS 374924 HAS SOUS 115546 HAS SOUPS 114332 WITH SCORE 114712.638
AT ITER 9846 NEW BEST:: SOT 994350 SOS 380638 HAS SOPS 374924 HAS SOUS 115545 HAS SOUPS 114331 WITH SCORE 114711.638
AT ITER 9854 NEW BEST:: SOT 994335 SOS 380299 HAS SOPS 374585 HAS SOUS 115459 HAS SOUPS 114245 WITH SCORE 114625.299
AT ITER 9855 NEW BEST:: SOT 994323 SOS 380312 HAS SOPS 374598 HAS SOUS 115453 HAS SOUPS 114239 WITH SCORE 114619.312
AT ITER 9872 NEW BEST:: SOT 994297 SOS 380171 HAS SOPS 374457 HAS SOUS 115360 HAS SOUPS 114146 WITH SCORE 114526.171
AT ITER 9918 NEW BEST:: SOT 994335 SOS 380209 HAS SOPS 374495 HAS SOUS 115347 HAS SOUPS 114133 WITH SCORE 114513.209
AT ITER 9956 NEW BEST:: SOT 994305 SOS 380217 HAS SOPS 374503 HAS SOUS 115338 HAS SOUPS 114124 WITH SCORE 114504.217
AT ITER 9968 NEW BEST:: SOT 994235 SOS 380152 HAS SOPS 374438 HAS SOUS 115263 HAS SOUPS 114049 WITH SCORE 114429.152
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 9714316 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16116396 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-PT-S04J06T06"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is 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 4"
echo " Run identifier is r299-tall-167873953100568"
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 ;