Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 552K
-rw-r--r-- 1 mcc users 7.1K Feb 25 16:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 25 16:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 16:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 25 16:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.4K Feb 25 16:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 25 16:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 16:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 16:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 148K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678470289245

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BusinessProcesses-PT-13
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 13
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 593 places, 536 transitions, 1582 arcs.
AT ITER 0 NEW BEST:: SOT 201828 SOS 77215 HAS SOPS 77215 HAS SOUS 74724 HAS SOUPS 74724 WITH SCORE 74801.215
AT ITER 2 NEW BEST:: SOT 201827 SOS 77175 HAS SOPS 77175 HAS SOUS 74684 HAS SOUPS 74684 WITH SCORE 74761.175
AT ITER 8 NEW BEST:: SOT 201826 SOS 77147 HAS SOPS 77147 HAS SOUS 74656 HAS SOUPS 74656 WITH SCORE 74733.147
AT ITER 14 NEW BEST:: SOT 198504 SOS 74289 HAS SOPS 74289 HAS SOUS 71438 HAS SOUPS 71438 WITH SCORE 71512.289
AT ITER 21 NEW BEST:: SOT 198459 SOS 74219 HAS SOPS 74219 HAS SOUS 71368 HAS SOUPS 71368 WITH SCORE 71442.219
AT ITER 31 NEW BEST:: SOT 198307 SOS 74030 HAS SOPS 74030 HAS SOUS 71179 HAS SOUPS 71179 WITH SCORE 71253.03
AT ITER 53 NEW BEST:: SOT 198307 SOS 74029 HAS SOPS 74029 HAS SOUS 71178 HAS SOUPS 71178 WITH SCORE 71252.029
AT ITER 58 NEW BEST:: SOT 198268 SOS 74089 HAS SOPS 74089 HAS SOUS 71139 HAS SOUPS 71139 WITH SCORE 71213.089
AT ITER 66 NEW BEST:: SOT 198267 SOS 74087 HAS SOPS 74087 HAS SOUS 71137 HAS SOUPS 71137 WITH SCORE 71211.087
AT ITER 71 NEW BEST:: SOT 198182 SOS 74002 HAS SOPS 74002 HAS SOUS 71052 HAS SOUPS 71052 WITH SCORE 71126.002
AT ITER 87 NEW BEST:: SOT 198101 SOS 74042 HAS SOPS 74042 HAS SOUS 70990 HAS SOUPS 70990 WITH SCORE 71064.042
AT ITER 94 NEW BEST:: SOT 198094 SOS 74028 HAS SOPS 74028 HAS SOUS 70983 HAS SOUPS 70983 WITH SCORE 71057.028
AT ITER 102 NEW BEST:: SOT 198009 SOS 73967 HAS SOPS 73967 HAS SOUS 70922 HAS SOUPS 70922 WITH SCORE 70995.967
AT ITER 111 NEW BEST:: SOT 197954 SOS 73907 HAS SOPS 73907 HAS SOUS 70862 HAS SOUPS 70862 WITH SCORE 70935.907
AT ITER 112 NEW BEST:: SOT 197853 SOS 73900 HAS SOPS 73900 HAS SOUS 70855 HAS SOUPS 70855 WITH SCORE 70928.9
AT ITER 131 NEW BEST:: SOT 197892 SOS 73888 HAS SOPS 73888 HAS SOUS 70843 HAS SOUPS 70843 WITH SCORE 70916.888
AT ITER 132 NEW BEST:: SOT 197507 SOS 74207 HAS SOPS 74207 HAS SOUS 70580 HAS SOUPS 70580 WITH SCORE 70654.207
AT ITER 142 NEW BEST:: SOT 197507 SOS 73808 HAS SOPS 73808 HAS SOUS 70580 HAS SOUPS 70580 WITH SCORE 70653.808
AT ITER 146 NEW BEST:: SOT 192951 SOS 98421 HAS SOPS 98421 HAS SOUS 67037 HAS SOUPS 67037 WITH SCORE 67135.421
AT ITER 158 NEW BEST:: SOT 192924 SOS 98394 HAS SOPS 98394 HAS SOUS 67037 HAS SOUPS 67037 WITH SCORE 67135.394
AT ITER 163 NEW BEST:: SOT 192563 SOS 97850 HAS SOPS 97850 HAS SOUS 66788 HAS SOUPS 66788 WITH SCORE 66885.85
AT ITER 174 NEW BEST:: SOT 192545 SOS 97832 HAS SOPS 97832 HAS SOUS 66788 HAS SOUPS 66788 WITH SCORE 66885.832
AT ITER 194 NEW BEST:: SOT 192544 SOS 97523 HAS SOPS 97523 HAS SOUS 66685 HAS SOUPS 66685 WITH SCORE 66782.523
AT ITER 195 NEW BEST:: SOT 192544 SOS 97476 HAS SOPS 97476 HAS SOUS 66638 HAS SOUPS 66638 WITH SCORE 66735.476
AT ITER 198 NEW BEST:: SOT 192384 SOS 97156 HAS SOPS 97156 HAS SOUS 66424 HAS SOUPS 66424 WITH SCORE 66521.156
AT ITER 199 NEW BEST:: SOT 192175 SOS 96902 HAS SOPS 96902 HAS SOUS 66300 HAS SOUPS 66300 WITH SCORE 66396.902
AT ITER 200 NEW BEST:: SOT 192175 SOS 96801 HAS SOPS 96801 HAS SOUS 66300 HAS SOUPS 66300 WITH SCORE 66396.801
AT ITER 202 NEW BEST:: SOT 192175 SOS 96791 HAS SOPS 96791 HAS SOUS 66290 HAS SOUPS 66290 WITH SCORE 66386.791
AT ITER 203 NEW BEST:: SOT 192175 SOS 96748 HAS SOPS 96748 HAS SOUS 66247 HAS SOUPS 66247 WITH SCORE 66343.748
AT ITER 204 NEW BEST:: SOT 192142 SOS 96715 HAS SOPS 96715 HAS SOUS 66246 HAS SOUPS 66246 WITH SCORE 66342.715
AT ITER 210 NEW BEST:: SOT 191981 SOS 96388 HAS SOPS 96388 HAS SOUS 65613 HAS SOUPS 65613 WITH SCORE 65709.388
AT ITER 225 NEW BEST:: SOT 191956 SOS 96363 HAS SOPS 96363 HAS SOUS 65613 HAS SOUPS 65613 WITH SCORE 65709.363
AT ITER 227 NEW BEST:: SOT 191954 SOS 96360 HAS SOPS 96360 HAS SOUS 65610 HAS SOUPS 65610 WITH SCORE 65706.36
AT ITER 229 NEW BEST:: SOT 191938 SOS 96344 HAS SOPS 96344 HAS SOUS 65610 HAS SOUPS 65610 WITH SCORE 65706.344
AT ITER 230 NEW BEST:: SOT 191938 SOS 96344 HAS SOPS 96344 HAS SOUS 65609 HAS SOUPS 65609 WITH SCORE 65705.344
AT ITER 240 NEW BEST:: SOT 191210 SOS 95616 HAS SOPS 95616 HAS SOUS 64893 HAS SOUPS 64893 WITH SCORE 64988.616
AT ITER 246 NEW BEST:: SOT 191134 SOS 95464 HAS SOPS 95464 HAS SOUS 64816 HAS SOUPS 64816 WITH SCORE 64911.464
AT ITER 251 NEW BEST:: SOT 190850 SOS 94843 HAS SOPS 94843 HAS SOUS 64479 HAS SOUPS 64479 WITH SCORE 64573.843
AT ITER 263 NEW BEST:: SOT 190745 SOS 94731 HAS SOPS 94731 HAS SOUS 64447 HAS SOUPS 64447 WITH SCORE 64541.731
AT ITER 268 NEW BEST:: SOT 190587 SOS 94572 HAS SOPS 94572 HAS SOUS 64445 HAS SOUPS 64445 WITH SCORE 64539.572
AT ITER 269 NEW BEST:: SOT 190587 SOS 94549 HAS SOPS 94549 HAS SOUS 64422 HAS SOUPS 64422 WITH SCORE 64516.549
AT ITER 277 NEW BEST:: SOT 190435 SOS 94198 HAS SOPS 94198 HAS SOUS 64283 HAS SOUPS 64283 WITH SCORE 64377.198
AT ITER 279 NEW BEST:: SOT 190430 SOS 94158 HAS SOPS 94158 HAS SOUS 64243 HAS SOUPS 64243 WITH SCORE 64337.158
AT ITER 282 NEW BEST:: SOT 190295 SOS 93481 HAS SOPS 93481 HAS SOUS 63960 HAS SOUPS 63960 WITH SCORE 64053.481
AT ITER 288 NEW BEST:: SOT 190225 SOS 93357 HAS SOPS 93357 HAS SOUS 63836 HAS SOUPS 63836 WITH SCORE 63929.357
AT ITER 289 NEW BEST:: SOT 190225 SOS 93188 HAS SOPS 93188 HAS SOUS 63792 HAS SOUPS 63792 WITH SCORE 63885.188
AT ITER 300 NEW BEST:: SOT 190169 SOS 93076 HAS SOPS 93076 HAS SOUS 63680 HAS SOUPS 63680 WITH SCORE 63773.076
AT ITER 317 NEW BEST:: SOT 190159 SOS 93065 HAS SOPS 93065 HAS SOUS 63678 HAS SOUPS 63678 WITH SCORE 63771.065
AT ITER 318 NEW BEST:: SOT 190159 SOS 93065 HAS SOPS 93065 HAS SOUS 63658 HAS SOUPS 63658 WITH SCORE 63751.065
AT ITER 320 NEW BEST:: SOT 190147 SOS 93052 HAS SOPS 93052 HAS SOUS 63651 HAS SOUPS 63651 WITH SCORE 63744.052
AT ITER 322 NEW BEST:: SOT 190147 SOS 93052 HAS SOPS 93052 HAS SOUS 63579 HAS SOUPS 63579 WITH SCORE 63672.052
AT ITER 326 NEW BEST:: SOT 190003 SOS 92836 HAS SOPS 92836 HAS SOUS 63435 HAS SOUPS 63435 WITH SCORE 63527.836
AT ITER 327 NEW BEST:: SOT 189908 SOS 92789 HAS SOPS 92789 HAS SOUS 63411 HAS SOUPS 63411 WITH SCORE 63503.789
AT ITER 328 NEW BEST:: SOT 189759 SOS 92491 HAS SOPS 92491 HAS SOUS 63258 HAS SOUPS 63258 WITH SCORE 63350.491
AT ITER 338 NEW BEST:: SOT 189734 SOS 92414 HAS SOPS 92414 HAS SOUS 63206 HAS SOUPS 63206 WITH SCORE 63298.414
AT ITER 341 NEW BEST:: SOT 189626 SOS 92198 HAS SOPS 92198 HAS SOUS 62999 HAS SOUPS 62999 WITH SCORE 63091.198
AT ITER 348 NEW BEST:: SOT 189550 SOS 92118 HAS SOPS 92118 HAS SOUS 62919 HAS SOUPS 62919 WITH SCORE 63011.118
AT ITER 349 NEW BEST:: SOT 189628 SOS 92195 HAS SOPS 92195 HAS SOUS 62918 HAS SOUPS 62918 WITH SCORE 63010.195
AT ITER 354 NEW BEST:: SOT 189731 SOS 92142 HAS SOPS 92142 HAS SOUS 62780 HAS SOUPS 62780 WITH SCORE 62872.142
AT ITER 356 NEW BEST:: SOT 189675 SOS 91722 HAS SOPS 91722 HAS SOUS 62593 HAS SOUPS 62593 WITH SCORE 62684.722
AT ITER 359 NEW BEST:: SOT 189675 SOS 91720 HAS SOPS 91720 HAS SOUS 62591 HAS SOUPS 62591 WITH SCORE 62682.72
AT ITER 367 NEW BEST:: SOT 189733 SOS 91587 HAS SOPS 91587 HAS SOUS 62554 HAS SOUPS 62554 WITH SCORE 62645.587
AT ITER 368 NEW BEST:: SOT 189577 SOS 91495 HAS SOPS 91495 HAS SOUS 62462 HAS SOUPS 62462 WITH SCORE 62553.495
AT ITER 378 NEW BEST:: SOT 189537 SOS 91455 HAS SOPS 91455 HAS SOUS 62462 HAS SOUPS 62462 WITH SCORE 62553.455
AT ITER 381 NEW BEST:: SOT 189509 SOS 89052 HAS SOPS 89052 HAS SOUS 62402 HAS SOUPS 62402 WITH SCORE 62491.052
AT ITER 404 NEW BEST:: SOT 189508 SOS 89050 HAS SOPS 89050 HAS SOUS 62400 HAS SOUPS 62400 WITH SCORE 62489.05
AT ITER 409 NEW BEST:: SOT 189428 SOS 88890 HAS SOPS 88890 HAS SOUS 62320 HAS SOUPS 62320 WITH SCORE 62408.89
AT ITER 413 NEW BEST:: SOT 189414 SOS 88862 HAS SOPS 88862 HAS SOUS 62292 HAS SOUPS 62292 WITH SCORE 62380.862
AT ITER 418 NEW BEST:: SOT 189452 SOS 88733 HAS SOPS 88733 HAS SOUS 62216 HAS SOUPS 62216 WITH SCORE 62304.733
AT ITER 424 NEW BEST:: SOT 189452 SOS 88734 HAS SOPS 88734 HAS SOUS 62146 HAS SOUPS 62146 WITH SCORE 62234.734
AT ITER 428 NEW BEST:: SOT 189452 SOS 88731 HAS SOPS 88731 HAS SOUS 62146 HAS SOUPS 62146 WITH SCORE 62234.731
AT ITER 441 NEW BEST:: SOT 189452 SOS 88711 HAS SOPS 88711 HAS SOUS 62126 HAS SOUPS 62126 WITH SCORE 62214.711
AT ITER 445 NEW BEST:: SOT 189451 SOS 88709 HAS SOPS 88709 HAS SOUS 62124 HAS SOUPS 62124 WITH SCORE 62212.709
AT ITER 461 NEW BEST:: SOT 189442 SOS 88386 HAS SOPS 88386 HAS SOUS 61969 HAS SOUPS 61969 WITH SCORE 62057.386
AT ITER 464 NEW BEST:: SOT 189411 SOS 88324 HAS SOPS 88324 HAS SOUS 61907 HAS SOUPS 61907 WITH SCORE 61995.324
AT ITER 466 NEW BEST:: SOT 189479 SOS 88174 HAS SOPS 88174 HAS SOUS 61765 HAS SOUPS 61765 WITH SCORE 61853.174
AT ITER 474 NEW BEST:: SOT 189235 SOS 87661 HAS SOPS 87661 HAS SOUS 61496 HAS SOUPS 61496 WITH SCORE 61583.661
AT ITER 480 NEW BEST:: SOT 189191 SOS 87612 HAS SOPS 87612 HAS SOUS 61477 HAS SOUPS 61477 WITH SCORE 61564.612
AT ITER 484 NEW BEST:: SOT 189161 SOS 87535 HAS SOPS 87535 HAS SOUS 61430 HAS SOUPS 61430 WITH SCORE 61517.535
AT ITER 493 NEW BEST:: SOT 189160 SOS 87533 HAS SOPS 87533 HAS SOUS 61428 HAS SOUPS 61428 WITH SCORE 61515.533
AT ITER 497 NEW BEST:: SOT 188616 SOS 86955 HAS SOPS 86955 HAS SOUS 60884 HAS SOUPS 60884 WITH SCORE 60970.955
AT ITER 506 NEW BEST:: SOT 188511 SOS 86745 HAS SOPS 86745 HAS SOUS 60746 HAS SOUPS 60746 WITH SCORE 60832.745
AT ITER 538 NEW BEST:: SOT 188464 SOS 86649 HAS SOPS 86649 HAS SOUS 60693 HAS SOUPS 60693 WITH SCORE 60779.649
AT ITER 546 NEW BEST:: SOT 188236 SOS 86191 HAS SOPS 86191 HAS SOUS 60332 HAS SOUPS 60332 WITH SCORE 60418.191
AT ITER 547 NEW BEST:: SOT 188123 SOS 86186 HAS SOPS 86186 HAS SOUS 60315 HAS SOUPS 60315 WITH SCORE 60401.186
AT ITER 551 NEW BEST:: SOT 188198 SOS 86171 HAS SOPS 86171 HAS SOUS 60300 HAS SOUPS 60300 WITH SCORE 60386.171
AT ITER 566 NEW BEST:: SOT 188174 SOS 86147 HAS SOPS 86147 HAS SOUS 60276 HAS SOUPS 60276 WITH SCORE 60362.147
AT ITER 567 NEW BEST:: SOT 188172 SOS 85973 HAS SOPS 85973 HAS SOUS 60122 HAS SOUPS 60122 WITH SCORE 60207.973
AT ITER 578 NEW BEST:: SOT 188172 SOS 85973 HAS SOPS 85973 HAS SOUS 60080 HAS SOUPS 60080 WITH SCORE 60165.973
AT ITER 581 NEW BEST:: SOT 188172 SOS 85963 HAS SOPS 85963 HAS SOUS 60070 HAS SOUPS 60070 WITH SCORE 60155.963
AT ITER 583 NEW BEST:: SOT 188128 SOS 86765 HAS SOPS 86765 HAS SOUS 60052 HAS SOUPS 60052 WITH SCORE 60138.765
AT ITER 589 NEW BEST:: SOT 188128 SOS 86730 HAS SOPS 86730 HAS SOUS 60017 HAS SOUPS 60017 WITH SCORE 60103.73
AT ITER 611 NEW BEST:: SOT 188027 SOS 86629 HAS SOPS 86629 HAS SOUS 59905 HAS SOUPS 59905 WITH SCORE 59991.629
AT ITER 621 NEW BEST:: SOT 188010 SOS 86595 HAS SOPS 86595 HAS SOUS 59871 HAS SOUPS 59871 WITH SCORE 59957.595
AT ITER 631 NEW BEST:: SOT 187747 SOS 86282 HAS SOPS 86282 HAS SOUS 59771 HAS SOUPS 59771 WITH SCORE 59857.282
AT ITER 655 NEW BEST:: SOT 187766 SOS 86035 HAS SOPS 86035 HAS SOUS 59755 HAS SOUPS 59755 WITH SCORE 59841.035
AT ITER 670 NEW BEST:: SOT 187420 SOS 85343 HAS SOPS 85343 HAS SOUS 59463 HAS SOUPS 59463 WITH SCORE 59548.343
AT ITER 676 NEW BEST:: SOT 187194 SOS 84892 HAS SOPS 84892 HAS SOUS 59012 HAS SOUPS 59012 WITH SCORE 59096.892
AT ITER 687 NEW BEST:: SOT 187060 SOS 84499 HAS SOPS 84499 HAS SOUS 58779 HAS SOUPS 58779 WITH SCORE 58863.499
AT ITER 688 NEW BEST:: SOT 187018 SOS 84327 HAS SOPS 84327 HAS SOUS 58741 HAS SOUPS 58741 WITH SCORE 58825.327
AT ITER 692 NEW BEST:: SOT 187018 SOS 84171 HAS SOPS 84171 HAS SOUS 58585 HAS SOUPS 58585 WITH SCORE 58669.171
AT ITER 700 NEW BEST:: SOT 187001 SOS 84147 HAS SOPS 84147 HAS SOUS 58561 HAS SOUPS 58561 WITH SCORE 58645.147
AT ITER 708 NEW BEST:: SOT 186898 SOS 83983 HAS SOPS 83983 HAS SOUS 58422 HAS SOUPS 58422 WITH SCORE 58505.983
AT ITER 710 NEW BEST:: SOT 186721 SOS 83553 HAS SOPS 83553 HAS SOUS 58225 HAS SOUPS 58225 WITH SCORE 58308.553
AT ITER 713 NEW BEST:: SOT 186621 SOS 83289 HAS SOPS 83289 HAS SOUS 58207 HAS SOUPS 58207 WITH SCORE 58290.289
AT ITER 719 NEW BEST:: SOT 186395 SOS 82931 HAS SOPS 82931 HAS SOUS 57981 HAS SOUPS 57981 WITH SCORE 58063.931
AT ITER 722 NEW BEST:: SOT 186368 SOS 82877 HAS SOPS 82877 HAS SOUS 57954 HAS SOUPS 57954 WITH SCORE 58036.877
AT ITER 729 NEW BEST:: SOT 186359 SOS 82859 HAS SOPS 82859 HAS SOUS 57936 HAS SOUPS 57936 WITH SCORE 58018.859
AT ITER 742 NEW BEST:: SOT 186140 SOS 82410 HAS SOPS 82410 HAS SOUS 57706 HAS SOUPS 57706 WITH SCORE 57788.41
AT ITER 756 NEW BEST:: SOT 186149 SOS 82427 HAS SOPS 82427 HAS SOUS 57662 HAS SOUPS 57662 WITH SCORE 57744.427
AT ITER 781 NEW BEST:: SOT 186118 SOS 82365 HAS SOPS 82365 HAS SOUS 57631 HAS SOUPS 57631 WITH SCORE 57713.365
AT ITER 791 NEW BEST:: SOT 186071 SOS 82271 HAS SOPS 82271 HAS SOUS 57584 HAS SOUPS 57584 WITH SCORE 57666.271
AT ITER 801 NEW BEST:: SOT 186071 SOS 82254 HAS SOPS 82254 HAS SOUS 57567 HAS SOUPS 57567 WITH SCORE 57649.254
AT ITER 804 NEW BEST:: SOT 186071 SOS 82250 HAS SOPS 82250 HAS SOUS 57563 HAS SOUPS 57563 WITH SCORE 57645.25
AT ITER 810 NEW BEST:: SOT 186067 SOS 82246 HAS SOPS 82246 HAS SOUS 57563 HAS SOUPS 57563 WITH SCORE 57645.246
AT ITER 813 NEW BEST:: SOT 186021 SOS 82200 HAS SOPS 82200 HAS SOUS 57563 HAS SOUPS 57563 WITH SCORE 57645.2
AT ITER 823 NEW BEST:: SOT 185979 SOS 81979 HAS SOPS 81979 HAS SOUS 57342 HAS SOUPS 57342 WITH SCORE 57423.979
AT ITER 835 NEW BEST:: SOT 185978 SOS 81903 HAS SOPS 81903 HAS SOUS 57266 HAS SOUPS 57266 WITH SCORE 57347.903
AT ITER 872 NEW BEST:: SOT 185900 SOS 81747 HAS SOPS 81747 HAS SOUS 57110 HAS SOUPS 57110 WITH SCORE 57191.747
AT ITER 885 NEW BEST:: SOT 185816 SOS 81663 HAS SOPS 81663 HAS SOUS 57110 HAS SOUPS 57110 WITH SCORE 57191.663
AT ITER 887 NEW BEST:: SOT 185816 SOS 81630 HAS SOPS 81630 HAS SOUS 57110 HAS SOUPS 57110 WITH SCORE 57191.63
AT ITER 901 NEW BEST:: SOT 185874 SOS 81510 HAS SOPS 81510 HAS SOUS 57004 HAS SOUPS 57004 WITH SCORE 57085.51
AT ITER 909 NEW BEST:: SOT 185851 SOS 81464 HAS SOPS 81464 HAS SOUS 56960 HAS SOUPS 56960 WITH SCORE 57041.464
AT ITER 913 NEW BEST:: SOT 185829 SOS 81442 HAS SOPS 81442 HAS SOUS 56937 HAS SOUPS 56937 WITH SCORE 57018.442
AT ITER 914 NEW BEST:: SOT 185559 SOS 81172 HAS SOPS 81172 HAS SOUS 56685 HAS SOUPS 56685 WITH SCORE 56766.172
AT ITER 921 NEW BEST:: SOT 185611 SOS 81085 HAS SOPS 81085 HAS SOUS 56598 HAS SOUPS 56598 WITH SCORE 56679.085
AT ITER 925 NEW BEST:: SOT 185520 SOS 81100 HAS SOPS 81100 HAS SOUS 56589 HAS SOUPS 56589 WITH SCORE 56670.1
AT ITER 932 NEW BEST:: SOT 185456 SOS 80976 HAS SOPS 80976 HAS SOUS 56465 HAS SOUPS 56465 WITH SCORE 56545.976
AT ITER 935 NEW BEST:: SOT 185428 SOS 80966 HAS SOPS 80966 HAS SOUS 56455 HAS SOUPS 56455 WITH SCORE 56535.966
AT ITER 941 NEW BEST:: SOT 185377 SOS 80864 HAS SOPS 80864 HAS SOUS 56428 HAS SOUPS 56428 WITH SCORE 56508.864
AT ITER 947 NEW BEST:: SOT 185321 SOS 80713 HAS SOPS 80713 HAS SOUS 56277 HAS SOUPS 56277 WITH SCORE 56357.713
AT ITER 955 NEW BEST:: SOT 185320 SOS 80712 HAS SOPS 80712 HAS SOUS 56277 HAS SOUPS 56277 WITH SCORE 56357.712
AT ITER 960 NEW BEST:: SOT 185311 SOS 80703 HAS SOPS 80703 HAS SOUS 56268 HAS SOUPS 56268 WITH SCORE 56348.703
AT ITER 962 NEW BEST:: SOT 185311 SOS 80636 HAS SOPS 80636 HAS SOUS 56201 HAS SOUPS 56201 WITH SCORE 56281.636
AT ITER 969 NEW BEST:: SOT 185311 SOS 80632 HAS SOPS 80632 HAS SOUS 56197 HAS SOUPS 56197 WITH SCORE 56277.632
AT ITER 972 NEW BEST:: SOT 185311 SOS 80617 HAS SOPS 80617 HAS SOUS 56182 HAS SOUPS 56182 WITH SCORE 56262.617
AT ITER 973 NEW BEST:: SOT 185285 SOS 80565 HAS SOPS 80565 HAS SOUS 56130 HAS SOUPS 56130 WITH SCORE 56210.565
AT ITER 977 NEW BEST:: SOT 185220 SOS 80321 HAS SOPS 80321 HAS SOUS 55886 HAS SOUPS 55886 WITH SCORE 55966.321
AT ITER 985 NEW BEST:: SOT 185179 SOS 80239 HAS SOPS 80239 HAS SOUS 55845 HAS SOUPS 55845 WITH SCORE 55925.239
AT ITER 1000 NEW BEST:: SOT 185120 SOS 80180 HAS SOPS 80180 HAS SOUS 55719 HAS SOUPS 55719 WITH SCORE 55799.18
AT ITER 1002 NEW BEST:: SOT 185115 SOS 80056 HAS SOPS 80056 HAS SOUS 55709 HAS SOUPS 55709 WITH SCORE 55789.056
AT ITER 1005 NEW BEST:: SOT 184909 SOS 79739 HAS SOPS 79739 HAS SOUS 55537 HAS SOUPS 55537 WITH SCORE 55616.739
AT ITER 1023 NEW BEST:: SOT 184726 SOS 79565 HAS SOPS 79565 HAS SOUS 55363 HAS SOUPS 55363 WITH SCORE 55442.565
AT ITER 1031 NEW BEST:: SOT 184712 SOS 79551 HAS SOPS 79551 HAS SOUS 55349 HAS SOUPS 55349 WITH SCORE 55428.551
AT ITER 1044 NEW BEST:: SOT 184756 SOS 79595 HAS SOPS 79595 HAS SOUS 55326 HAS SOUPS 55326 WITH SCORE 55405.595
AT ITER 1050 NEW BEST:: SOT 184695 SOS 79534 HAS SOPS 79534 HAS SOUS 55265 HAS SOUPS 55265 WITH SCORE 55344.534
AT ITER 1079 NEW BEST:: SOT 184693 SOS 79530 HAS SOPS 79530 HAS SOUS 55261 HAS SOUPS 55261 WITH SCORE 55340.53
AT ITER 1097 NEW BEST:: SOT 184637 SOS 79441 HAS SOPS 79441 HAS SOUS 55172 HAS SOUPS 55172 WITH SCORE 55251.441
AT ITER 1105 NEW BEST:: SOT 184585 SOS 79389 HAS SOPS 79389 HAS SOUS 55120 HAS SOUPS 55120 WITH SCORE 55199.389
AT ITER 1142 NEW BEST:: SOT 184523 SOS 79132 HAS SOPS 79132 HAS SOUS 54863 HAS SOUPS 54863 WITH SCORE 54942.132
AT ITER 1144 NEW BEST:: SOT 184529 SOS 79104 HAS SOPS 79104 HAS SOUS 54835 HAS SOUPS 54835 WITH SCORE 54914.104
AT ITER 1152 NEW BEST:: SOT 184526 SOS 79100 HAS SOPS 79100 HAS SOUS 54833 HAS SOUPS 54833 WITH SCORE 54912.1
AT ITER 1157 NEW BEST:: SOT 184424 SOS 78947 HAS SOPS 78947 HAS SOUS 54731 HAS SOUPS 54731 WITH SCORE 54809.947
AT ITER 1185 NEW BEST:: SOT 184463 SOS 78908 HAS SOPS 78908 HAS SOUS 54730 HAS SOUPS 54730 WITH SCORE 54808.908
AT ITER 1190 NEW BEST:: SOT 184153 SOS 78442 HAS SOPS 78442 HAS SOUS 54419 HAS SOUPS 54419 WITH SCORE 54497.442
AT ITER 1192 NEW BEST:: SOT 184141 SOS 78429 HAS SOPS 78429 HAS SOUS 54417 HAS SOUPS 54417 WITH SCORE 54495.429
AT ITER 1201 NEW BEST:: SOT 184111 SOS 78369 HAS SOPS 78369 HAS SOUS 54415 HAS SOUPS 54415 WITH SCORE 54493.369
AT ITER 1203 NEW BEST:: SOT 183982 SOS 78240 HAS SOPS 78240 HAS SOUS 54310 HAS SOUPS 54310 WITH SCORE 54388.24
AT ITER 1204 NEW BEST:: SOT 183998 SOS 78197 HAS SOPS 78197 HAS SOUS 54267 HAS SOUPS 54267 WITH SCORE 54345.197
AT ITER 1205 NEW BEST:: SOT 184019 SOS 78058 HAS SOPS 78058 HAS SOUS 54160 HAS SOUPS 54160 WITH SCORE 54238.058
AT ITER 1225 NEW BEST:: SOT 184037 SOS 78030 HAS SOPS 78030 HAS SOUS 54132 HAS SOUPS 54132 WITH SCORE 54210.03
AT ITER 1230 NEW BEST:: SOT 184013 SOS 77994 HAS SOPS 77994 HAS SOUS 54108 HAS SOUPS 54108 WITH SCORE 54185.994
AT ITER 1235 NEW BEST:: SOT 183985 SOS 78018 HAS SOPS 78018 HAS SOUS 54090 HAS SOUPS 54090 WITH SCORE 54168.018
AT ITER 1255 NEW BEST:: SOT 183965 SOS 77938 HAS SOPS 77938 HAS SOUS 54010 HAS SOUPS 54010 WITH SCORE 54087.938
AT ITER 1257 NEW BEST:: SOT 183957 SOS 77922 HAS SOPS 77922 HAS SOUS 54002 HAS SOUPS 54002 WITH SCORE 54079.922
AT ITER 1263 NEW BEST:: SOT 183957 SOS 77876 HAS SOPS 77876 HAS SOUS 53956 HAS SOUPS 53956 WITH SCORE 54033.876
AT ITER 1267 NEW BEST:: SOT 183975 SOS 77854 HAS SOPS 77854 HAS SOUS 53906 HAS SOUPS 53906 WITH SCORE 53983.854
AT ITER 1273 NEW BEST:: SOT 183911 SOS 77726 HAS SOPS 77726 HAS SOUS 53842 HAS SOUPS 53842 WITH SCORE 53919.726
AT ITER 1278 NEW BEST:: SOT 183800 SOS 77504 HAS SOPS 77504 HAS SOUS 53699 HAS SOUPS 53699 WITH SCORE 53776.504
AT ITER 1284 NEW BEST:: SOT 183789 SOS 77379 HAS SOPS 77379 HAS SOUS 53550 HAS SOUPS 53550 WITH SCORE 53627.379
AT ITER 1312 NEW BEST:: SOT 183833 SOS 77326 HAS SOPS 77326 HAS SOUS 53497 HAS SOUPS 53497 WITH SCORE 53574.326
AT ITER 1324 NEW BEST:: SOT 183772 SOS 77204 HAS SOPS 77204 HAS SOUS 53375 HAS SOUPS 53375 WITH SCORE 53452.204
AT ITER 1330 NEW BEST:: SOT 183761 SOS 77193 HAS SOPS 77193 HAS SOUS 53375 HAS SOUPS 53375 WITH SCORE 53452.193
AT ITER 1332 NEW BEST:: SOT 183824 SOS 77112 HAS SOPS 77112 HAS SOUS 53294 HAS SOUPS 53294 WITH SCORE 53371.112
AT ITER 1355 NEW BEST:: SOT 183799 SOS 77086 HAS SOPS 77086 HAS SOUS 53292 HAS SOUPS 53292 WITH SCORE 53369.086
AT ITER 1358 NEW BEST:: SOT 182656 SOS 75902 HAS SOPS 75902 HAS SOUS 52180 HAS SOUPS 52180 WITH SCORE 52255.902
AT ITER 1360 NEW BEST:: SOT 182656 SOS 75901 HAS SOPS 75901 HAS SOUS 52179 HAS SOUPS 52179 WITH SCORE 52254.901
AT ITER 1374 NEW BEST:: SOT 182586 SOS 75826 HAS SOPS 75826 HAS SOUS 52104 HAS SOUPS 52104 WITH SCORE 52179.826
AT ITER 1405 NEW BEST:: SOT 182402 SOS 75621 HAS SOPS 75621 HAS SOUS 52062 HAS SOUPS 52062 WITH SCORE 52137.621
AT ITER 1411 NEW BEST:: SOT 182334 SOS 75553 HAS SOPS 75553 HAS SOUS 52003 HAS SOUPS 52003 WITH SCORE 52078.553
AT ITER 1417 NEW BEST:: SOT 182334 SOS 75553 HAS SOPS 75553 HAS SOUS 51980 HAS SOUPS 51980 WITH SCORE 52055.553
AT ITER 1441 NEW BEST:: SOT 182358 SOS 75435 HAS SOPS 75435 HAS SOUS 51862 HAS SOUPS 51862 WITH SCORE 51937.435
AT ITER 1450 NEW BEST:: SOT 182339 SOS 75378 HAS SOPS 75378 HAS SOUS 51824 HAS SOUPS 51824 WITH SCORE 51899.378
AT ITER 1453 NEW BEST:: SOT 182285 SOS 75319 HAS SOPS 75319 HAS SOUS 51765 HAS SOUPS 51765 WITH SCORE 51840.319
AT ITER 1473 NEW BEST:: SOT 182265 SOS 75278 HAS SOPS 75278 HAS SOUS 51724 HAS SOUPS 51724 WITH SCORE 51799.278
AT ITER 1480 NEW BEST:: SOT 182244 SOS 75247 HAS SOPS 75247 HAS SOUS 51703 HAS SOUPS 51703 WITH SCORE 51778.247
AT ITER 1490 NEW BEST:: SOT 182109 SOS 74977 HAS SOPS 74977 HAS SOUS 51433 HAS SOUPS 51433 WITH SCORE 51507.977
AT ITER 1503 NEW BEST:: SOT 182089 SOS 75020 HAS SOPS 75020 HAS SOUS 51387 HAS SOUPS 51387 WITH SCORE 51462.02
AT ITER 1511 NEW BEST:: SOT 181966 SOS 74657 HAS SOPS 74657 HAS SOUS 51223 HAS SOUPS 51223 WITH SCORE 51297.657
AT ITER 1524 NEW BEST:: SOT 181958 SOS 74641 HAS SOPS 74641 HAS SOUS 51207 HAS SOUPS 51207 WITH SCORE 51281.641
AT ITER 1539 NEW BEST:: SOT 181939 SOS 74622 HAS SOPS 74622 HAS SOUS 51207 HAS SOUPS 51207 WITH SCORE 51281.622
AT ITER 1551 NEW BEST:: SOT 181931 SOS 74606 HAS SOPS 74606 HAS SOUS 51191 HAS SOUPS 51191 WITH SCORE 51265.606
AT ITER 1563 NEW BEST:: SOT 181947 SOS 74422 HAS SOPS 74422 HAS SOUS 51187 HAS SOUPS 51187 WITH SCORE 51261.422
AT ITER 1588 NEW BEST:: SOT 181754 SOS 74036 HAS SOPS 74036 HAS SOUS 51152 HAS SOUPS 51152 WITH SCORE 51226.036
AT ITER 1589 NEW BEST:: SOT 181666 SOS 73860 HAS SOPS 73860 HAS SOUS 50976 HAS SOUPS 50976 WITH SCORE 51049.86
AT ITER 1591 NEW BEST:: SOT 181639 SOS 73806 HAS SOPS 73806 HAS SOUS 50922 HAS SOUPS 50922 WITH SCORE 50995.806
AT ITER 1628 NEW BEST:: SOT 181635 SOS 73814 HAS SOPS 73814 HAS SOUS 50917 HAS SOUPS 50917 WITH SCORE 50990.814
AT ITER 1647 NEW BEST:: SOT 181597 SOS 73738 HAS SOPS 73738 HAS SOUS 50841 HAS SOUPS 50841 WITH SCORE 50914.738
AT ITER 1666 NEW BEST:: SOT 181596 SOS 73673 HAS SOPS 73673 HAS SOUS 50776 HAS SOUPS 50776 WITH SCORE 50849.673
AT ITER 1668 NEW BEST:: SOT 181621 SOS 73537 HAS SOPS 73537 HAS SOUS 50641 HAS SOUPS 50641 WITH SCORE 50714.537
AT ITER 1674 NEW BEST:: SOT 181621 SOS 73532 HAS SOPS 73532 HAS SOUS 50641 HAS SOUPS 50641 WITH SCORE 50714.532
AT ITER 1679 NEW BEST:: SOT 181667 SOS 73489 HAS SOPS 73489 HAS SOUS 50598 HAS SOUPS 50598 WITH SCORE 50671.489
AT ITER 1707 NEW BEST:: SOT 181667 SOS 73233 HAS SOPS 73233 HAS SOUS 50582 HAS SOUPS 50582 WITH SCORE 50655.233
AT ITER 1712 NEW BEST:: SOT 181506 SOS 72964 HAS SOPS 72964 HAS SOUS 50421 HAS SOUPS 50421 WITH SCORE 50493.964
AT ITER 1733 NEW BEST:: SOT 181414 SOS 72882 HAS SOPS 72882 HAS SOUS 50339 HAS SOUPS 50339 WITH SCORE 50411.882
AT ITER 1739 NEW BEST:: SOT 181398 SOS 72864 HAS SOPS 72864 HAS SOUS 50321 HAS SOUPS 50321 WITH SCORE 50393.864
AT ITER 1741 NEW BEST:: SOT 181317 SOS 72623 HAS SOPS 72623 HAS SOUS 50080 HAS SOUPS 50080 WITH SCORE 50152.623
AT ITER 1748 NEW BEST:: SOT 181309 SOS 72608 HAS SOPS 72608 HAS SOUS 50065 HAS SOUPS 50065 WITH SCORE 50137.608
AT ITER 1765 NEW BEST:: SOT 181276 SOS 72575 HAS SOPS 72575 HAS SOUS 50060 HAS SOUPS 50060 WITH SCORE 50132.575
AT ITER 1782 NEW BEST:: SOT 181257 SOS 72556 HAS SOPS 72556 HAS SOUS 50041 HAS SOUPS 50041 WITH SCORE 50113.556
AT ITER 1783 NEW BEST:: SOT 181257 SOS 72546 HAS SOPS 72546 HAS SOUS 50031 HAS SOUPS 50031 WITH SCORE 50103.546
AT ITER 1829 NEW BEST:: SOT 181257 SOS 72378 HAS SOPS 72378 HAS SOUS 49863 HAS SOUPS 49863 WITH SCORE 49935.378
AT ITER 1852 NEW BEST:: SOT 181257 SOS 72375 HAS SOPS 72375 HAS SOUS 49860 HAS SOUPS 49860 WITH SCORE 49932.375
AT ITER 1871 NEW BEST:: SOT 181257 SOS 72375 HAS SOPS 72375 HAS SOUS 49835 HAS SOUPS 49835 WITH SCORE 49907.375
AT ITER 1888 NEW BEST:: SOT 181243 SOS 72382 HAS SOPS 72382 HAS SOUS 49821 HAS SOUPS 49821 WITH SCORE 49893.382
AT ITER 1916 NEW BEST:: SOT 181213 SOS 72322 HAS SOPS 72322 HAS SOUS 49744 HAS SOUPS 49744 WITH SCORE 49816.322
AT ITER 1933 NEW BEST:: SOT 181201 SOS 72303 HAS SOPS 72303 HAS SOUS 49733 HAS SOUPS 49733 WITH SCORE 49805.303
AT ITER 1955 NEW BEST:: SOT 181223 SOS 72347 HAS SOPS 72347 HAS SOUS 49727 HAS SOUPS 49727 WITH SCORE 49799.347
AT ITER 1969 NEW BEST:: SOT 181222 SOS 72346 HAS SOPS 72346 HAS SOUS 49726 HAS SOUPS 49726 WITH SCORE 49798.346
AT ITER 1984 NEW BEST:: SOT 181222 SOS 72346 HAS SOPS 72346 HAS SOUS 49722 HAS SOUPS 49722 WITH SCORE 49794.346
AT ITER 1997 NEW BEST:: SOT 181194 SOS 72290 HAS SOPS 72290 HAS SOUS 49694 HAS SOUPS 49694 WITH SCORE 49766.29
AT ITER 2001 NEW BEST:: SOT 181192 SOS 72288 HAS SOPS 72288 HAS SOUS 49692 HAS SOUPS 49692 WITH SCORE 49764.288
AT ITER 2046 NEW BEST:: SOT 181055 SOS 72512 HAS SOPS 72512 HAS SOUS 49556 HAS SOUPS 49556 WITH SCORE 49628.512
AT ITER 2079 NEW BEST:: SOT 180857 SOS 72116 HAS SOPS 72116 HAS SOUS 49160 HAS SOUPS 49160 WITH SCORE 49232.116
AT ITER 2082 NEW BEST:: SOT 180892 SOS 72098 HAS SOPS 72098 HAS SOUS 49142 HAS SOUPS 49142 WITH SCORE 49214.098
AT ITER 2088 NEW BEST:: SOT 180871 SOS 72056 HAS SOPS 72056 HAS SOUS 49121 HAS SOUPS 49121 WITH SCORE 49193.056
AT ITER 2090 NEW BEST:: SOT 180738 SOS 72056 HAS SOPS 72056 HAS SOUS 49107 HAS SOUPS 49107 WITH SCORE 49179.056
AT ITER 2101 NEW BEST:: SOT 180657 SOS 71901 HAS SOPS 71901 HAS SOUS 48952 HAS SOUPS 48952 WITH SCORE 49023.901
AT ITER 2124 NEW BEST:: SOT 180669 SOS 71925 HAS SOPS 71925 HAS SOUS 48948 HAS SOUPS 48948 WITH SCORE 49019.925
AT ITER 2138 NEW BEST:: SOT 180703 SOS 71959 HAS SOPS 71959 HAS SOUS 48891 HAS SOUPS 48891 WITH SCORE 48962.959
AT ITER 2166 NEW BEST:: SOT 180624 SOS 71880 HAS SOPS 71880 HAS SOUS 48891 HAS SOUPS 48891 WITH SCORE 48962.88
AT ITER 2167 NEW BEST:: SOT 180662 SOS 71851 HAS SOPS 71851 HAS SOUS 48862 HAS SOUPS 48862 WITH SCORE 48933.851
AT ITER 2188 NEW BEST:: SOT 180661 SOS 71850 HAS SOPS 71850 HAS SOUS 48861 HAS SOUPS 48861 WITH SCORE 48932.85
AT ITER 2194 NEW BEST:: SOT 180863 SOS 71846 HAS SOPS 71846 HAS SOUS 48857 HAS SOUPS 48857 WITH SCORE 48928.846
AT ITER 2195 NEW BEST:: SOT 180837 SOS 71794 HAS SOPS 71794 HAS SOUS 48805 HAS SOUPS 48805 WITH SCORE 48876.794
AT ITER 2201 NEW BEST:: SOT 180836 SOS 71793 HAS SOPS 71793 HAS SOUS 48804 HAS SOUPS 48804 WITH SCORE 48875.793
AT ITER 2205 NEW BEST:: SOT 180827 SOS 71775 HAS SOPS 71775 HAS SOUS 48795 HAS SOUPS 48795 WITH SCORE 48866.775
AT ITER 2213 NEW BEST:: SOT 180827 SOS 71771 HAS SOPS 71771 HAS SOUS 48787 HAS SOUPS 48787 WITH SCORE 48858.771
AT ITER 2215 NEW BEST:: SOT 180807 SOS 71741 HAS SOPS 71741 HAS SOUS 48757 HAS SOUPS 48757 WITH SCORE 48828.741
AT ITER 2221 NEW BEST:: SOT 180813 SOS 71669 HAS SOPS 71669 HAS SOUS 48757 HAS SOUPS 48757 WITH SCORE 48828.669
AT ITER 2225 NEW BEST:: SOT 180813 SOS 71797 HAS SOPS 71797 HAS SOUS 48756 HAS SOUPS 48756 WITH SCORE 48827.797
AT ITER 2232 NEW BEST:: SOT 180808 SOS 71787 HAS SOPS 71787 HAS SOUS 48746 HAS SOUPS 48746 WITH SCORE 48817.787
AT ITER 2269 NEW BEST:: SOT 180796 SOS 71745 HAS SOPS 71745 HAS SOUS 48670 HAS SOUPS 48670 WITH SCORE 48741.745
AT ITER 2274 NEW BEST:: SOT 180792 SOS 71737 HAS SOPS 71737 HAS SOUS 48662 HAS SOUPS 48662 WITH SCORE 48733.737
AT ITER 2295 NEW BEST:: SOT 180735 SOS 71615 HAS SOPS 71615 HAS SOUS 48540 HAS SOUPS 48540 WITH SCORE 48611.615
AT ITER 2298 NEW BEST:: SOT 180697 SOS 71561 HAS SOPS 71561 HAS SOUS 48486 HAS SOUPS 48486 WITH SCORE 48557.561
AT ITER 2318 NEW BEST:: SOT 180680 SOS 71544 HAS SOPS 71544 HAS SOUS 48469 HAS SOUPS 48469 WITH SCORE 48540.544
AT ITER 2331 NEW BEST:: SOT 180566 SOS 71325 HAS SOPS 71325 HAS SOUS 48355 HAS SOUPS 48355 WITH SCORE 48426.325
AT ITER 2343 NEW BEST:: SOT 180558 SOS 71317 HAS SOPS 71317 HAS SOUS 48347 HAS SOUPS 48347 WITH SCORE 48418.317
AT ITER 2350 NEW BEST:: SOT 180198 SOS 70957 HAS SOPS 70957 HAS SOUS 47987 HAS SOUPS 47987 WITH SCORE 48057.957
AT ITER 2355 NEW BEST:: SOT 180183 SOS 70927 HAS SOPS 70927 HAS SOUS 47957 HAS SOUPS 47957 WITH SCORE 48027.927
AT ITER 2358 NEW BEST:: SOT 180183 SOS 70904 HAS SOPS 70904 HAS SOUS 47934 HAS SOUPS 47934 WITH SCORE 48004.904
AT ITER 2368 NEW BEST:: SOT 180183 SOS 70887 HAS SOPS 70887 HAS SOUS 47917 HAS SOUPS 47917 WITH SCORE 47987.887
AT ITER 2409 NEW BEST:: SOT 180164 SOS 70846 HAS SOPS 70846 HAS SOUS 47897 HAS SOUPS 47897 WITH SCORE 47967.846
AT ITER 2413 NEW BEST:: SOT 180148 SOS 70822 HAS SOPS 70822 HAS SOUS 47873 HAS SOUPS 47873 WITH SCORE 47943.822
AT ITER 2438 NEW BEST:: SOT 180146 SOS 70820 HAS SOPS 70820 HAS SOUS 47871 HAS SOUPS 47871 WITH SCORE 47941.82
AT ITER 2439 NEW BEST:: SOT 179505 SOS 70150 HAS SOPS 70150 HAS SOUS 47305 HAS SOUPS 47305 WITH SCORE 47375.15
AT ITER 2458 NEW BEST:: SOT 179505 SOS 70115 HAS SOPS 70115 HAS SOUS 47270 HAS SOUPS 47270 WITH SCORE 47340.115
AT ITER 2470 NEW BEST:: SOT 179550 SOS 70205 HAS SOPS 70205 HAS SOUS 47267 HAS SOUPS 47267 WITH SCORE 47337.205
AT ITER 2471 NEW BEST:: SOT 179544 SOS 70193 HAS SOPS 70193 HAS SOUS 47255 HAS SOUPS 47255 WITH SCORE 47325.193
AT ITER 2484 NEW BEST:: SOT 179507 SOS 70118 HAS SOPS 70118 HAS SOUS 47180 HAS SOUPS 47180 WITH SCORE 47250.118
AT ITER 2504 NEW BEST:: SOT 179489 SOS 70100 HAS SOPS 70100 HAS SOUS 47162 HAS SOUPS 47162 WITH SCORE 47232.1
AT ITER 2507 NEW BEST:: SOT 179212 SOS 69975 HAS SOPS 69975 HAS SOUS 47037 HAS SOUPS 47037 WITH SCORE 47106.975
AT ITER 2557 NEW BEST:: SOT 179146 SOS 69896 HAS SOPS 69896 HAS SOUS 47011 HAS SOUPS 47011 WITH SCORE 47080.896
AT ITER 2559 NEW BEST:: SOT 179149 SOS 69898 HAS SOPS 69898 HAS SOUS 46979 HAS SOUPS 46979 WITH SCORE 47048.898
AT ITER 2572 NEW BEST:: SOT 179147 SOS 69949 HAS SOPS 69949 HAS SOUS 46953 HAS SOUPS 46953 WITH SCORE 47022.949
AT ITER 2579 NEW BEST:: SOT 179147 SOS 69949 HAS SOPS 69949 HAS SOUS 46931 HAS SOUPS 46931 WITH SCORE 47000.949
AT ITER 2589 NEW BEST:: SOT 179147 SOS 69949 HAS SOPS 69949 HAS SOUS 46923 HAS SOUPS 46923 WITH SCORE 46992.949
AT ITER 2601 NEW BEST:: SOT 179162 SOS 69942 HAS SOPS 69942 HAS SOUS 46916 HAS SOUPS 46916 WITH SCORE 46985.942
AT ITER 2605 NEW BEST:: SOT 179063 SOS 69703 HAS SOPS 69703 HAS SOUS 46762 HAS SOUPS 46762 WITH SCORE 46831.703
AT ITER 2627 NEW BEST:: SOT 179029 SOS 69662 HAS SOPS 69662 HAS SOUS 46753 HAS SOUPS 46753 WITH SCORE 46822.662
AT ITER 2630 NEW BEST:: SOT 179016 SOS 69585 HAS SOPS 69585 HAS SOUS 46744 HAS SOUPS 46744 WITH SCORE 46813.585
AT ITER 2632 NEW BEST:: SOT 179045 SOS 69604 HAS SOPS 69604 HAS SOUS 46743 HAS SOUPS 46743 WITH SCORE 46812.604
AT ITER 2635 NEW BEST:: SOT 178959 SOS 69304 HAS SOPS 69304 HAS SOUS 46571 HAS SOUPS 46571 WITH SCORE 46640.304
AT ITER 2647 NEW BEST:: SOT 178961 SOS 69208 HAS SOPS 69208 HAS SOUS 46443 HAS SOUPS 46443 WITH SCORE 46512.208
AT ITER 2648 NEW BEST:: SOT 178928 SOS 69116 HAS SOPS 69116 HAS SOUS 46427 HAS SOUPS 46427 WITH SCORE 46496.116
AT ITER 2667 NEW BEST:: SOT 178908 SOS 69093 HAS SOPS 69093 HAS SOUS 46404 HAS SOUPS 46404 WITH SCORE 46473.093
AT ITER 2671 NEW BEST:: SOT 177394 SOS 67446 HAS SOPS 67446 HAS SOUS 44852 HAS SOUPS 44852 WITH SCORE 44919.446
AT ITER 2729 NEW BEST:: SOT 177313 SOS 67286 HAS SOPS 67286 HAS SOUS 44758 HAS SOUPS 44758 WITH SCORE 44825.286
AT ITER 2737 NEW BEST:: SOT 177257 SOS 67179 HAS SOPS 67179 HAS SOUS 44707 HAS SOUPS 44707 WITH SCORE 44774.179
AT ITER 2746 NEW BEST:: SOT 177182 SOS 67080 HAS SOPS 67080 HAS SOUS 44608 HAS SOUPS 44608 WITH SCORE 44675.08
AT ITER 2751 NEW BEST:: SOT 177182 SOS 67064 HAS SOPS 67064 HAS SOUS 44592 HAS SOUPS 44592 WITH SCORE 44659.064
AT ITER 2766 NEW BEST:: SOT 177094 SOS 66888 HAS SOPS 66888 HAS SOUS 44504 HAS SOUPS 44504 WITH SCORE 44570.888
AT ITER 2774 NEW BEST:: SOT 177075 SOS 66861 HAS SOPS 66861 HAS SOUS 44477 HAS SOUPS 44477 WITH SCORE 44543.861
AT ITER 2785 NEW BEST:: SOT 177000 SOS 61463 HAS SOPS 61463 HAS SOUS 44327 HAS SOUPS 44327 WITH SCORE 44388.463
AT ITER 2812 NEW BEST:: SOT 177049 SOS 61453 HAS SOPS 61453 HAS SOUS 44321 HAS SOUPS 44321 WITH SCORE 44382.453
AT ITER 2826 NEW BEST:: SOT 177047 SOS 61449 HAS SOPS 61449 HAS SOUS 44317 HAS SOUPS 44317 WITH SCORE 44378.449
AT ITER 2831 NEW BEST:: SOT 177052 SOS 61459 HAS SOPS 61459 HAS SOUS 44282 HAS SOUPS 44282 WITH SCORE 44343.459
AT ITER 2838 NEW BEST:: SOT 176968 SOS 61410 HAS SOPS 61410 HAS SOUS 44233 HAS SOUPS 44233 WITH SCORE 44294.41
AT ITER 2842 NEW BEST:: SOT 176968 SOS 61409 HAS SOPS 61409 HAS SOUS 44232 HAS SOUPS 44232 WITH SCORE 44293.409
AT ITER 2844 NEW BEST:: SOT 176966 SOS 61405 HAS SOPS 61405 HAS SOUS 44213 HAS SOUPS 44213 WITH SCORE 44274.405
AT ITER 2845 NEW BEST:: SOT 176961 SOS 61354 HAS SOPS 61354 HAS SOUS 44201 HAS SOUPS 44201 WITH SCORE 44262.354
AT ITER 2846 NEW BEST:: SOT 176976 SOS 61418 HAS SOPS 61418 HAS SOUS 44193 HAS SOUPS 44193 WITH SCORE 44254.418
AT ITER 2848 NEW BEST:: SOT 176954 SOS 61396 HAS SOPS 61396 HAS SOUS 44171 HAS SOUPS 44171 WITH SCORE 44232.396
AT ITER 2865 NEW BEST:: SOT 176954 SOS 61369 HAS SOPS 61369 HAS SOUS 44124 HAS SOUPS 44124 WITH SCORE 44185.369
AT ITER 2875 NEW BEST:: SOT 177027 SOS 61400 HAS SOPS 61400 HAS SOUS 44075 HAS SOUPS 44075 WITH SCORE 44136.4
AT ITER 2877 NEW BEST:: SOT 176861 SOS 61234 HAS SOPS 61234 HAS SOUS 44068 HAS SOUPS 44068 WITH SCORE 44129.234
AT ITER 2879 NEW BEST:: SOT 176861 SOS 61225 HAS SOPS 61225 HAS SOUS 44059 HAS SOUPS 44059 WITH SCORE 44120.225
AT ITER 2884 NEW BEST:: SOT 176855 SOS 61213 HAS SOPS 61213 HAS SOUS 44053 HAS SOUPS 44053 WITH SCORE 44114.213
AT ITER 2885 NEW BEST:: SOT 176821 SOS 61179 HAS SOPS 61179 HAS SOUS 44053 HAS SOUPS 44053 WITH SCORE 44114.179
AT ITER 2886 NEW BEST:: SOT 176763 SOS 61121 HAS SOPS 61121 HAS SOUS 43995 HAS SOUPS 43995 WITH SCORE 44056.121
AT ITER 2887 NEW BEST:: SOT 176761 SOS 61117 HAS SOPS 61117 HAS SOUS 43991 HAS SOUPS 43991 WITH SCORE 44052.117
AT ITER 2898 NEW BEST:: SOT 176856 SOS 61058 HAS SOPS 61058 HAS SOUS 43932 HAS SOUPS 43932 WITH SCORE 43993.058
AT ITER 2899 NEW BEST:: SOT 176851 SOS 61048 HAS SOPS 61048 HAS SOUS 43922 HAS SOUPS 43922 WITH SCORE 43983.048
AT ITER 2913 NEW BEST:: SOT 176846 SOS 61043 HAS SOPS 61043 HAS SOUS 43922 HAS SOUPS 43922 WITH SCORE 43983.043
AT ITER 2919 NEW BEST:: SOT 176805 SOS 61043 HAS SOPS 61043 HAS SOUS 43883 HAS SOUPS 43883 WITH SCORE 43944.043
AT ITER 2923 NEW BEST:: SOT 176764 SOS 61002 HAS SOPS 61002 HAS SOUS 43883 HAS SOUPS 43883 WITH SCORE 43944.002
AT ITER 2932 NEW BEST:: SOT 176764 SOS 60996 HAS SOPS 60996 HAS SOUS 43877 HAS SOUPS 43877 WITH SCORE 43937.996
AT ITER 2967 NEW BEST:: SOT 176753 SOS 60974 HAS SOPS 60974 HAS SOUS 43855 HAS SOUPS 43855 WITH SCORE 43915.974
AT ITER 2978 NEW BEST:: SOT 176752 SOS 60972 HAS SOPS 60972 HAS SOUS 43854 HAS SOUPS 43854 WITH SCORE 43914.972
AT ITER 3006 NEW BEST:: SOT 176748 SOS 60964 HAS SOPS 60964 HAS SOUS 43846 HAS SOUPS 43846 WITH SCORE 43906.964
AT ITER 3028 NEW BEST:: SOT 176742 SOS 60952 HAS SOPS 60952 HAS SOUS 43834 HAS SOUPS 43834 WITH SCORE 43894.952
AT ITER 3032 NEW BEST:: SOT 176694 SOS 60938 HAS SOPS 60938 HAS SOUS 43820 HAS SOUPS 43820 WITH SCORE 43880.938
AT ITER 3066 NEW BEST:: SOT 176748 SOS 60992 HAS SOPS 60992 HAS SOUS 43818 HAS SOUPS 43818 WITH SCORE 43878.992
AT ITER 3075 NEW BEST:: SOT 176748 SOS 60992 HAS SOPS 60992 HAS SOUS 43779 HAS SOUPS 43779 WITH SCORE 43839.992
AT ITER 3077 NEW BEST:: SOT 176738 SOS 60972 HAS SOPS 60972 HAS SOUS 43759 HAS SOUPS 43759 WITH SCORE 43819.972
AT ITER 3078 NEW BEST:: SOT 176780 SOS 60925 HAS SOPS 60925 HAS SOUS 43712 HAS SOUPS 43712 WITH SCORE 43772.925
AT ITER 3085 NEW BEST:: SOT 176768 SOS 61402 HAS SOPS 61402 HAS SOUS 43672 HAS SOUPS 43672 WITH SCORE 43733.402
AT ITER 3098 NEW BEST:: SOT 176734 SOS 61334 HAS SOPS 61334 HAS SOUS 43604 HAS SOUPS 43604 WITH SCORE 43665.334
AT ITER 3143 NEW BEST:: SOT 176598 SOS 61180 HAS SOPS 61180 HAS SOUS 43570 HAS SOUPS 43570 WITH SCORE 43631.18
AT ITER 3147 NEW BEST:: SOT 176550 SOS 61127 HAS SOPS 61127 HAS SOUS 43517 HAS SOUPS 43517 WITH SCORE 43578.127
AT ITER 3148 NEW BEST:: SOT 176545 SOS 61056 HAS SOPS 61056 HAS SOUS 43446 HAS SOUPS 43446 WITH SCORE 43507.056
AT ITER 3174 NEW BEST:: SOT 176524 SOS 61077 HAS SOPS 61077 HAS SOUS 43425 HAS SOUPS 43425 WITH SCORE 43486.077
AT ITER 3195 NEW BEST:: SOT 176498 SOS 61013 HAS SOPS 61013 HAS SOUS 43390 HAS SOUPS 43390 WITH SCORE 43451.013
AT ITER 3214 NEW BEST:: SOT 176503 SOS 60980 HAS SOPS 60980 HAS SOUS 43377 HAS SOUPS 43377 WITH SCORE 43437.98
AT ITER 3217 NEW BEST:: SOT 176451 SOS 60928 HAS SOPS 60928 HAS SOUS 43351 HAS SOUPS 43351 WITH SCORE 43411.928
AT ITER 3225 NEW BEST:: SOT 176451 SOS 60902 HAS SOPS 60902 HAS SOUS 43346 HAS SOUPS 43346 WITH SCORE 43406.902
AT ITER 3255 NEW BEST:: SOT 176398 SOS 60848 HAS SOPS 60848 HAS SOUS 43344 HAS SOUPS 43344 WITH SCORE 43404.848
AT ITER 3257 NEW BEST:: SOT 176410 SOS 60800 HAS SOPS 60800 HAS SOUS 43296 HAS SOUPS 43296 WITH SCORE 43356.8
AT ITER 3264 NEW BEST:: SOT 176453 SOS 60797 HAS SOPS 60797 HAS SOUS 43250 HAS SOUPS 43250 WITH SCORE 43310.797
AT ITER 3274 NEW BEST:: SOT 176431 SOS 60731 HAS SOPS 60731 HAS SOUS 43205 HAS SOUPS 43205 WITH SCORE 43265.731
AT ITER 3289 NEW BEST:: SOT 176391 SOS 60651 HAS SOPS 60651 HAS SOUS 43125 HAS SOUPS 43125 WITH SCORE 43185.651
AT ITER 3293 NEW BEST:: SOT 176277 SOS 60530 HAS SOPS 60530 HAS SOUS 43118 HAS SOUPS 43118 WITH SCORE 43178.53
AT ITER 3318 NEW BEST:: SOT 176261 SOS 60498 HAS SOPS 60498 HAS SOUS 43086 HAS SOUPS 43086 WITH SCORE 43146.498
AT ITER 3323 NEW BEST:: SOT 176235 SOS 60446 HAS SOPS 60446 HAS SOUS 43034 HAS SOUPS 43034 WITH SCORE 43094.446
AT ITER 3350 NEW BEST:: SOT 176234 SOS 60444 HAS SOPS 60444 HAS SOUS 43032 HAS SOUPS 43032 WITH SCORE 43092.444
AT ITER 3380 NEW BEST:: SOT 176235 SOS 60441 HAS SOPS 60441 HAS SOUS 43028 HAS SOUPS 43028 WITH SCORE 43088.441
AT ITER 3384 NEW BEST:: SOT 176228 SOS 60438 HAS SOPS 60438 HAS SOUS 43025 HAS SOUPS 43025 WITH SCORE 43085.438
AT ITER 3391 NEW BEST:: SOT 176226 SOS 60415 HAS SOPS 60415 HAS SOUS 43002 HAS SOUPS 43002 WITH SCORE 43062.415
AT ITER 3415 NEW BEST:: SOT 176207 SOS 60377 HAS SOPS 60377 HAS SOUS 42931 HAS SOUPS 42931 WITH SCORE 42991.377
AT ITER 3432 NEW BEST:: SOT 176191 SOS 60345 HAS SOPS 60345 HAS SOUS 42915 HAS SOUPS 42915 WITH SCORE 42975.345
AT ITER 3440 NEW BEST:: SOT 176178 SOS 60319 HAS SOPS 60319 HAS SOUS 42889 HAS SOUPS 42889 WITH SCORE 42949.319
AT ITER 3447 NEW BEST:: SOT 176148 SOS 60259 HAS SOPS 60259 HAS SOUS 42829 HAS SOUPS 42829 WITH SCORE 42889.259
AT ITER 3448 NEW BEST:: SOT 176083 SOS 60135 HAS SOPS 60135 HAS SOUS 42705 HAS SOUPS 42705 WITH SCORE 42765.135
AT ITER 3452 NEW BEST:: SOT 176064 SOS 60097 HAS SOPS 60097 HAS SOUS 42687 HAS SOUPS 42687 WITH SCORE 42747.097
AT ITER 3486 NEW BEST:: SOT 175951 SOS 59983 HAS SOPS 59983 HAS SOUS 42587 HAS SOUPS 42587 WITH SCORE 42646.983
AT ITER 3494 NEW BEST:: SOT 175888 SOS 59910 HAS SOPS 59910 HAS SOUS 42577 HAS SOUPS 42577 WITH SCORE 42636.91
AT ITER 3505 NEW BEST:: SOT 175869 SOS 59869 HAS SOPS 59869 HAS SOUS 42536 HAS SOUPS 42536 WITH SCORE 42595.869
AT ITER 3506 NEW BEST:: SOT 175661 SOS 59664 HAS SOPS 59664 HAS SOUS 42479 HAS SOUPS 42479 WITH SCORE 42538.664
AT ITER 3560 NEW BEST:: SOT 175642 SOS 59645 HAS SOPS 59645 HAS SOUS 42460 HAS SOUPS 42460 WITH SCORE 42519.645
AT ITER 3571 NEW BEST:: SOT 175643 SOS 59605 HAS SOPS 59605 HAS SOUS 42420 HAS SOUPS 42420 WITH SCORE 42479.605
AT ITER 3583 NEW BEST:: SOT 175641 SOS 59601 HAS SOPS 59601 HAS SOUS 42416 HAS SOUPS 42416 WITH SCORE 42475.601
AT ITER 3598 NEW BEST:: SOT 175635 SOS 59589 HAS SOPS 59589 HAS SOUS 42404 HAS SOUPS 42404 WITH SCORE 42463.589
AT ITER 3602 NEW BEST:: SOT 175598 SOS 59515 HAS SOPS 59515 HAS SOUS 42330 HAS SOUPS 42330 WITH SCORE 42389.515
AT ITER 3609 NEW BEST:: SOT 175569 SOS 59497 HAS SOPS 59497 HAS SOUS 42312 HAS SOUPS 42312 WITH SCORE 42371.497
AT ITER 3618 NEW BEST:: SOT 175409 SOS 59252 HAS SOPS 59252 HAS SOUS 42152 HAS SOUPS 42152 WITH SCORE 42211.252
AT ITER 3620 NEW BEST:: SOT 175406 SOS 59246 HAS SOPS 59246 HAS SOUS 42146 HAS SOUPS 42146 WITH SCORE 42205.246
AT ITER 3622 NEW BEST:: SOT 175406 SOS 59245 HAS SOPS 59245 HAS SOUS 42145 HAS SOUPS 42145 WITH SCORE 42204.245
AT ITER 3652 NEW BEST:: SOT 175378 SOS 59214 HAS SOPS 59214 HAS SOUS 42139 HAS SOUPS 42139 WITH SCORE 42198.214
AT ITER 3716 NEW BEST:: SOT 175351 SOS 59187 HAS SOPS 59187 HAS SOUS 42112 HAS SOUPS 42112 WITH SCORE 42171.187
AT ITER 3731 NEW BEST:: SOT 175338 SOS 59138 HAS SOPS 59138 HAS SOUS 42086 HAS SOUPS 42086 WITH SCORE 42145.138
AT ITER 3733 NEW BEST:: SOT 175338 SOS 59118 HAS SOPS 59118 HAS SOUS 42066 HAS SOUPS 42066 WITH SCORE 42125.118
AT ITER 3750 NEW BEST:: SOT 175212 SOS 58886 HAS SOPS 58886 HAS SOUS 41897 HAS SOUPS 41897 WITH SCORE 41955.886
AT ITER 3753 NEW BEST:: SOT 175193 SOS 58850 HAS SOPS 58850 HAS SOUS 41861 HAS SOUPS 41861 WITH SCORE 41919.85
AT ITER 3768 NEW BEST:: SOT 175209 SOS 58844 HAS SOPS 58844 HAS SOUS 41855 HAS SOUPS 41855 WITH SCORE 41913.844
AT ITER 3771 NEW BEST:: SOT 175129 SOS 58804 HAS SOPS 58804 HAS SOUS 41775 HAS SOUPS 41775 WITH SCORE 41833.804
AT ITER 3783 NEW BEST:: SOT 175125 SOS 58784 HAS SOPS 58784 HAS SOUS 41757 HAS SOUPS 41757 WITH SCORE 41815.784
AT ITER 3786 NEW BEST:: SOT 175037 SOS 58600 HAS SOPS 58600 HAS SOUS 41737 HAS SOUPS 41737 WITH SCORE 41795.6
AT ITER 3787 NEW BEST:: SOT 175010 SOS 58674 HAS SOPS 58674 HAS SOUS 41732 HAS SOUPS 41732 WITH SCORE 41790.674
AT ITER 3794 NEW BEST:: SOT 174984 SOS 58622 HAS SOPS 58622 HAS SOUS 41706 HAS SOUPS 41706 WITH SCORE 41764.622
AT ITER 3795 NEW BEST:: SOT 174817 SOS 58502 HAS SOPS 58502 HAS SOUS 41693 HAS SOUPS 41693 WITH SCORE 41751.502
AT ITER 3802 NEW BEST:: SOT 174734 SOS 58420 HAS SOPS 58420 HAS SOUS 41611 HAS SOUPS 41611 WITH SCORE 41669.42
AT ITER 3826 NEW BEST:: SOT 174708 SOS 58419 HAS SOPS 58419 HAS SOUS 41610 HAS SOUPS 41610 WITH SCORE 41668.419
AT ITER 3829 NEW BEST:: SOT 174697 SOS 58407 HAS SOPS 58407 HAS SOUS 41598 HAS SOUPS 41598 WITH SCORE 41656.407
AT ITER 3832 NEW BEST:: SOT 174476 SOS 58472 HAS SOPS 58472 HAS SOUS 41364 HAS SOUPS 41364 WITH SCORE 41422.472
AT ITER 3836 NEW BEST:: SOT 174432 SOS 58428 HAS SOPS 58428 HAS SOUS 41283 HAS SOUPS 41283 WITH SCORE 41341.428
AT ITER 3845 NEW BEST:: SOT 174493 SOS 58515 HAS SOPS 58515 HAS SOUS 41255 HAS SOUPS 41255 WITH SCORE 41313.515
AT ITER 3853 NEW BEST:: SOT 174500 SOS 54257 HAS SOPS 54257 HAS SOUS 41240 HAS SOUPS 41240 WITH SCORE 41294.257
AT ITER 3859 NEW BEST:: SOT 174500 SOS 54243 HAS SOPS 54243 HAS SOUS 41226 HAS SOUPS 41226 WITH SCORE 41280.243
AT ITER 3865 NEW BEST:: SOT 174513 SOS 54240 HAS SOPS 54240 HAS SOUS 41223 HAS SOUPS 41223 WITH SCORE 41277.24
AT ITER 3872 NEW BEST:: SOT 174498 SOS 54238 HAS SOPS 54238 HAS SOUS 41221 HAS SOUPS 41221 WITH SCORE 41275.238
AT ITER 3879 NEW BEST:: SOT 174491 SOS 54224 HAS SOPS 54224 HAS SOUS 41214 HAS SOUPS 41214 WITH SCORE 41268.224
AT ITER 3891 NEW BEST:: SOT 174490 SOS 54222 HAS SOPS 54222 HAS SOUS 41212 HAS SOUPS 41212 WITH SCORE 41266.222
AT ITER 3918 NEW BEST:: SOT 174481 SOS 54178 HAS SOPS 54178 HAS SOUS 41168 HAS SOUPS 41168 WITH SCORE 41222.178
AT ITER 3924 NEW BEST:: SOT 174469 SOS 54166 HAS SOPS 54166 HAS SOUS 41156 HAS SOUPS 41156 WITH SCORE 41210.166
AT ITER 3932 NEW BEST:: SOT 174370 SOS 53968 HAS SOPS 53968 HAS SOUS 40958 HAS SOUPS 40958 WITH SCORE 41011.968
AT ITER 3949 NEW BEST:: SOT 174370 SOS 53964 HAS SOPS 53964 HAS SOUS 40958 HAS SOUPS 40958 WITH SCORE 41011.964
AT ITER 3988 NEW BEST:: SOT 174312 SOS 53886 HAS SOPS 53886 HAS SOUS 40909 HAS SOUPS 40909 WITH SCORE 40962.886
AT ITER 4009 NEW BEST:: SOT 174311 SOS 53884 HAS SOPS 53884 HAS SOUS 40907 HAS SOUPS 40907 WITH SCORE 40960.884
AT ITER 4029 NEW BEST:: SOT 174337 SOS 53868 HAS SOPS 53868 HAS SOUS 40891 HAS SOUPS 40891 WITH SCORE 40944.868
AT ITER 4035 NEW BEST:: SOT 174334 SOS 53865 HAS SOPS 53865 HAS SOUS 40891 HAS SOUPS 40891 WITH SCORE 40944.865
AT ITER 4044 NEW BEST:: SOT 174325 SOS 53859 HAS SOPS 53859 HAS SOUS 40884 HAS SOUPS 40884 WITH SCORE 40937.859
AT ITER 4060 NEW BEST:: SOT 174321 SOS 53851 HAS SOPS 53851 HAS SOUS 40883 HAS SOUPS 40883 WITH SCORE 40936.851
AT ITER 4073 NEW BEST:: SOT 174287 SOS 53783 HAS SOPS 53783 HAS SOUS 40815 HAS SOUPS 40815 WITH SCORE 40868.783
AT ITER 4082 NEW BEST:: SOT 174287 SOS 53783 HAS SOPS 53783 HAS SOUS 40791 HAS SOUPS 40791 WITH SCORE 40844.783
AT ITER 4088 NEW BEST:: SOT 174286 SOS 53781 HAS SOPS 53781 HAS SOUS 40789 HAS SOUPS 40789 WITH SCORE 40842.781
AT ITER 4118 NEW BEST:: SOT 174204 SOS 53699 HAS SOPS 53699 HAS SOUS 40707 HAS SOUPS 40707 WITH SCORE 40760.699
AT ITER 4129 NEW BEST:: SOT 174174 SOS 53645 HAS SOPS 53645 HAS SOUS 40633 HAS SOUPS 40633 WITH SCORE 40686.645
AT ITER 4139 NEW BEST:: SOT 174143 SOS 53583 HAS SOPS 53583 HAS SOUS 40571 HAS SOUPS 40571 WITH SCORE 40624.583
AT ITER 4160 NEW BEST:: SOT 174143 SOS 53572 HAS SOPS 53572 HAS SOUS 40560 HAS SOUPS 40560 WITH SCORE 40613.572
AT ITER 4170 NEW BEST:: SOT 174043 SOS 53437 HAS SOPS 53437 HAS SOUS 40490 HAS SOUPS 40490 WITH SCORE 40543.437
AT ITER 4184 NEW BEST:: SOT 173995 SOS 53376 HAS SOPS 53376 HAS SOUS 40464 HAS SOUPS 40464 WITH SCORE 40517.376
AT ITER 4221 NEW BEST:: SOT 173981 SOS 53362 HAS SOPS 53362 HAS SOUS 40464 HAS SOUPS 40464 WITH SCORE 40517.362
AT ITER 4228 NEW BEST:: SOT 173957 SOS 53350 HAS SOPS 53350 HAS SOUS 40452 HAS SOUPS 40452 WITH SCORE 40505.35
AT ITER 4257 NEW BEST:: SOT 173934 SOS 53191 HAS SOPS 53191 HAS SOUS 40370 HAS SOUPS 40370 WITH SCORE 40423.191
AT ITER 4258 NEW BEST:: SOT 173934 SOS 53168 HAS SOPS 53168 HAS SOUS 40347 HAS SOUPS 40347 WITH SCORE 40400.168
AT ITER 4287 NEW BEST:: SOT 173923 SOS 53146 HAS SOPS 53146 HAS SOUS 40336 HAS SOUPS 40336 WITH SCORE 40389.146
AT ITER 4309 NEW BEST:: SOT 173914 SOS 53128 HAS SOPS 53128 HAS SOUS 40318 HAS SOUPS 40318 WITH SCORE 40371.128
AT ITER 4312 NEW BEST:: SOT 173962 SOS 53207 HAS SOPS 53207 HAS SOUS 40302 HAS SOUPS 40302 WITH SCORE 40355.207
AT ITER 4326 NEW BEST:: SOT 173962 SOS 53191 HAS SOPS 53191 HAS SOUS 40286 HAS SOUPS 40286 WITH SCORE 40339.191
AT ITER 4335 NEW BEST:: SOT 173874 SOS 53124 HAS SOPS 53124 HAS SOUS 40219 HAS SOUPS 40219 WITH SCORE 40272.124
AT ITER 4365 NEW BEST:: SOT 173874 SOS 53105 HAS SOPS 53105 HAS SOUS 40200 HAS SOUPS 40200 WITH SCORE 40253.105
AT ITER 4369 NEW BEST:: SOT 173894 SOS 53094 HAS SOPS 53094 HAS SOUS 40189 HAS SOUPS 40189 WITH SCORE 40242.094
AT ITER 4376 NEW BEST:: SOT 173875 SOS 53056 HAS SOPS 53056 HAS SOUS 40151 HAS SOUPS 40151 WITH SCORE 40204.056
AT ITER 4385 NEW BEST:: SOT 173781 SOS 53013 HAS SOPS 53013 HAS SOUS 40108 HAS SOUPS 40108 WITH SCORE 40161.013
AT ITER 4394 NEW BEST:: SOT 173709 SOS 52941 HAS SOPS 52941 HAS SOUS 40036 HAS SOUPS 40036 WITH SCORE 40088.941
AT ITER 4400 NEW BEST:: SOT 173709 SOS 52912 HAS SOPS 52912 HAS SOUS 40007 HAS SOUPS 40007 WITH SCORE 40059.912
AT ITER 4435 NEW BEST:: SOT 173717 SOS 52928 HAS SOPS 52928 HAS SOUS 40003 HAS SOUPS 40003 WITH SCORE 40055.928
AT ITER 4452 NEW BEST:: SOT 173730 SOS 52948 HAS SOPS 52948 HAS SOUS 39998 HAS SOUPS 39998 WITH SCORE 40050.948
AT ITER 4458 NEW BEST:: SOT 173791 SOS 53007 HAS SOPS 53007 HAS SOUS 39995 HAS SOUPS 39995 WITH SCORE 40048.007
AT ITER 4474 NEW BEST:: SOT 173782 SOS 53005 HAS SOPS 53005 HAS SOUS 39993 HAS SOUPS 39993 WITH SCORE 40046.005
AT ITER 4492 NEW BEST:: SOT 173787 SOS 52920 HAS SOPS 52920 HAS SOUS 39908 HAS SOUPS 39908 WITH SCORE 39960.92
AT ITER 4502 NEW BEST:: SOT 173849 SOS 52988 HAS SOPS 52988 HAS SOUS 39849 HAS SOUPS 39849 WITH SCORE 39901.988
AT ITER 4545 NEW BEST:: SOT 173831 SOS 52950 HAS SOPS 52950 HAS SOUS 39828 HAS SOUPS 39828 WITH SCORE 39880.95
AT ITER 4554 NEW BEST:: SOT 173815 SOS 52918 HAS SOPS 52918 HAS SOUS 39796 HAS SOUPS 39796 WITH SCORE 39848.918
AT ITER 4617 NEW BEST:: SOT 173751 SOS 52854 HAS SOPS 52854 HAS SOUS 39796 HAS SOUPS 39796 WITH SCORE 39848.854
AT ITER 4621 NEW BEST:: SOT 174016 SOS 53013 HAS SOPS 53013 HAS SOUS 39648 HAS SOUPS 39648 WITH SCORE 39701.013
AT ITER 4636 NEW BEST:: SOT 174016 SOS 53006 HAS SOPS 53006 HAS SOUS 39641 HAS SOUPS 39641 WITH SCORE 39694.006
AT ITER 4667 NEW BEST:: SOT 174003 SOS 53002 HAS SOPS 53002 HAS SOUS 39637 HAS SOUPS 39637 WITH SCORE 39690.002
AT ITER 4672 NEW BEST:: SOT 173985 SOS 52980 HAS SOPS 52980 HAS SOUS 39623 HAS SOUPS 39623 WITH SCORE 39675.98
AT ITER 4703 NEW BEST:: SOT 173621 SOS 52505 HAS SOPS 52505 HAS SOUS 39401 HAS SOUPS 39401 WITH SCORE 39453.505
AT ITER 4706 NEW BEST:: SOT 173613 SOS 52497 HAS SOPS 52497 HAS SOUS 39393 HAS SOUPS 39393 WITH SCORE 39445.497
AT ITER 4738 NEW BEST:: SOT 173600 SOS 52484 HAS SOPS 52484 HAS SOUS 39380 HAS SOUPS 39380 WITH SCORE 39432.484
AT ITER 4752 NEW BEST:: SOT 173600 SOS 52484 HAS SOPS 52484 HAS SOUS 39365 HAS SOUPS 39365 WITH SCORE 39417.484
AT ITER 4761 NEW BEST:: SOT 173367 SOS 52018 HAS SOPS 52018 HAS SOUS 39072 HAS SOUPS 39072 WITH SCORE 39124.018
AT ITER 4762 NEW BEST:: SOT 173367 SOS 52018 HAS SOPS 52018 HAS SOUS 38983 HAS SOUPS 38983 WITH SCORE 39035.018
AT ITER 4764 NEW BEST:: SOT 173421 SOS 51998 HAS SOPS 51998 HAS SOUS 38956 HAS SOUPS 38956 WITH SCORE 39007.998
AT ITER 4766 NEW BEST:: SOT 173427 SOS 52010 HAS SOPS 52010 HAS SOUS 38940 HAS SOUPS 38940 WITH SCORE 38992.01
AT ITER 4770 NEW BEST:: SOT 173421 SOS 52004 HAS SOPS 52004 HAS SOUS 38934 HAS SOUPS 38934 WITH SCORE 38986.004
AT ITER 4777 NEW BEST:: SOT 173334 SOS 51830 HAS SOPS 51830 HAS SOUS 38804 HAS SOUPS 38804 WITH SCORE 38855.83
AT ITER 4823 NEW BEST:: SOT 173327 SOS 51807 HAS SOPS 51807 HAS SOUS 38720 HAS SOUPS 38720 WITH SCORE 38771.807
AT ITER 4832 NEW BEST:: SOT 173434 SOS 51780 HAS SOPS 51780 HAS SOUS 38695 HAS SOUPS 38695 WITH SCORE 38746.78
AT ITER 4859 NEW BEST:: SOT 173433 SOS 51756 HAS SOPS 51756 HAS SOUS 38645 HAS SOUPS 38645 WITH SCORE 38696.756
AT ITER 4898 NEW BEST:: SOT 173428 SOS 51751 HAS SOPS 51751 HAS SOUS 38640 HAS SOUPS 38640 WITH SCORE 38691.751
AT ITER 4919 NEW BEST:: SOT 173423 SOS 51746 HAS SOPS 51746 HAS SOUS 38635 HAS SOUPS 38635 WITH SCORE 38686.746
AT ITER 4937 NEW BEST:: SOT 173422 SOS 51745 HAS SOPS 51745 HAS SOUS 38635 HAS SOUPS 38635 WITH SCORE 38686.745
AT ITER 4961 NEW BEST:: SOT 173374 SOS 51632 HAS SOPS 51632 HAS SOUS 38600 HAS SOUPS 38600 WITH SCORE 38651.632
AT ITER 4962 NEW BEST:: SOT 173346 SOS 51600 HAS SOPS 51600 HAS SOUS 38599 HAS SOUPS 38599 WITH SCORE 38650.6
AT ITER 4965 NEW BEST:: SOT 173356 SOS 51582 HAS SOPS 51582 HAS SOUS 38581 HAS SOUPS 38581 WITH SCORE 38632.582
AT ITER 4971 NEW BEST:: SOT 173330 SOS 51518 HAS SOPS 51518 HAS SOUS 38517 HAS SOUPS 38517 WITH SCORE 38568.518
AT ITER 4980 NEW BEST:: SOT 173310 SOS 51517 HAS SOPS 51517 HAS SOUS 38516 HAS SOUPS 38516 WITH SCORE 38567.517
AT ITER 5000 NEW BEST:: SOT 173255 SOS 51462 HAS SOPS 51462 HAS SOUS 38461 HAS SOUPS 38461 WITH SCORE 38512.462
AT ITER 5006 NEW BEST:: SOT 173233 SOS 51431 HAS SOPS 51431 HAS SOUS 38441 HAS SOUPS 38441 WITH SCORE 38492.431
AT ITER 5015 NEW BEST:: SOT 172793 SOS 50839 HAS SOPS 50839 HAS SOUS 38061 HAS SOUPS 38061 WITH SCORE 38111.839
AT ITER 5039 NEW BEST:: SOT 172811 SOS 50875 HAS SOPS 50875 HAS SOUS 38038 HAS SOUPS 38038 WITH SCORE 38088.875
AT ITER 5050 NEW BEST:: SOT 172858 SOS 50757 HAS SOPS 50757 HAS SOUS 37920 HAS SOUPS 37920 WITH SCORE 37970.757
AT ITER 5057 NEW BEST:: SOT 172878 SOS 50753 HAS SOPS 50753 HAS SOUS 37916 HAS SOUPS 37916 WITH SCORE 37966.753
AT ITER 5087 NEW BEST:: SOT 172861 SOS 50746 HAS SOPS 50746 HAS SOUS 37909 HAS SOUPS 37909 WITH SCORE 37959.746
AT ITER 5155 NEW BEST:: SOT 172880 SOS 50784 HAS SOPS 50784 HAS SOUS 37897 HAS SOUPS 37897 WITH SCORE 37947.784
AT ITER 5160 NEW BEST:: SOT 172859 SOS 50742 HAS SOPS 50742 HAS SOUS 37876 HAS SOUPS 37876 WITH SCORE 37926.742
AT ITER 5171 NEW BEST:: SOT 172849 SOS 50732 HAS SOPS 50732 HAS SOUS 37866 HAS SOUPS 37866 WITH SCORE 37916.732
AT ITER 5187 NEW BEST:: SOT 172832 SOS 50721 HAS SOPS 50721 HAS SOUS 37855 HAS SOUPS 37855 WITH SCORE 37905.721
AT ITER 5203 NEW BEST:: SOT 172826 SOS 50715 HAS SOPS 50715 HAS SOUS 37847 HAS SOUPS 37847 WITH SCORE 37897.715
AT ITER 5204 NEW BEST:: SOT 172826 SOS 50601 HAS SOPS 50601 HAS SOUS 37733 HAS SOUPS 37733 WITH SCORE 37783.601
AT ITER 5206 NEW BEST:: SOT 172816 SOS 50581 HAS SOPS 50581 HAS SOUS 37713 HAS SOUPS 37713 WITH SCORE 37763.581
AT ITER 5222 NEW BEST:: SOT 172799 SOS 50538 HAS SOPS 50538 HAS SOUS 37670 HAS SOUPS 37670 WITH SCORE 37720.538
AT ITER 5231 NEW BEST:: SOT 172785 SOS 50510 HAS SOPS 50510 HAS SOUS 37651 HAS SOUPS 37651 WITH SCORE 37701.51
AT ITER 5239 NEW BEST:: SOT 172692 SOS 50188 HAS SOPS 50188 HAS SOUS 37399 HAS SOUPS 37399 WITH SCORE 37449.188
AT ITER 5268 NEW BEST:: SOT 172730 SOS 50221 HAS SOPS 50221 HAS SOUS 37389 HAS SOUPS 37389 WITH SCORE 37439.221
AT ITER 5280 NEW BEST:: SOT 172796 SOS 50204 HAS SOPS 50204 HAS SOUS 37372 HAS SOUPS 37372 WITH SCORE 37422.204
AT ITER 5326 NEW BEST:: SOT 172796 SOS 50178 HAS SOPS 50178 HAS SOUS 37346 HAS SOUPS 37346 WITH SCORE 37396.178
AT ITER 5360 NEW BEST:: SOT 172795 SOS 50176 HAS SOPS 50176 HAS SOUS 37344 HAS SOUPS 37344 WITH SCORE 37394.176
AT ITER 5389 NEW BEST:: SOT 172815 SOS 50148 HAS SOPS 50148 HAS SOUS 37316 HAS SOUPS 37316 WITH SCORE 37366.148
AT ITER 5390 NEW BEST:: SOT 172761 SOS 50001 HAS SOPS 50001 HAS SOUS 37169 HAS SOUPS 37169 WITH SCORE 37219.001
AT ITER 5459 NEW BEST:: SOT 172761 SOS 50001 HAS SOPS 50001 HAS SOUS 37153 HAS SOUPS 37153 WITH SCORE 37203.001
AT ITER 5479 NEW BEST:: SOT 172734 SOS 49974 HAS SOPS 49974 HAS SOUS 37043 HAS SOUPS 37043 WITH SCORE 37092.974
AT ITER 5480 NEW BEST:: SOT 172734 SOS 49974 HAS SOPS 49974 HAS SOUS 37033 HAS SOUPS 37033 WITH SCORE 37082.974
AT ITER 5487 NEW BEST:: SOT 172666 SOS 49815 HAS SOPS 49815 HAS SOUS 36989 HAS SOUPS 36989 WITH SCORE 37038.815
AT ITER 5488 NEW BEST:: SOT 172646 SOS 49795 HAS SOPS 49795 HAS SOUS 36966 HAS SOUPS 36966 WITH SCORE 37015.795
AT ITER 5489 NEW BEST:: SOT 172544 SOS 49676 HAS SOPS 49676 HAS SOUS 36932 HAS SOUPS 36932 WITH SCORE 36981.676
AT ITER 5490 NEW BEST:: SOT 172544 SOS 49673 HAS SOPS 49673 HAS SOUS 36932 HAS SOUPS 36932 WITH SCORE 36981.673
AT ITER 5491 NEW BEST:: SOT 172409 SOS 49538 HAS SOPS 49538 HAS SOUS 36777 HAS SOUPS 36777 WITH SCORE 36826.538
AT ITER 5522 NEW BEST:: SOT 172401 SOS 49534 HAS SOPS 49534 HAS SOUS 36773 HAS SOUPS 36773 WITH SCORE 36822.534
AT ITER 5542 NEW BEST:: SOT 172402 SOS 49499 HAS SOPS 49499 HAS SOUS 36738 HAS SOUPS 36738 WITH SCORE 36787.499
AT ITER 5546 NEW BEST:: SOT 172402 SOS 49487 HAS SOPS 49487 HAS SOUS 36726 HAS SOUPS 36726 WITH SCORE 36775.487
AT ITER 5594 NEW BEST:: SOT 172371 SOS 49416 HAS SOPS 49416 HAS SOUS 36655 HAS SOUPS 36655 WITH SCORE 36704.416
AT ITER 5739 NEW BEST:: SOT 172381 SOS 49423 HAS SOPS 49423 HAS SOUS 36649 HAS SOUPS 36649 WITH SCORE 36698.423
AT ITER 5743 NEW BEST:: SOT 172371 SOS 49421 HAS SOPS 49421 HAS SOUS 36647 HAS SOUPS 36647 WITH SCORE 36696.421
AT ITER 5750 NEW BEST:: SOT 172308 SOS 49358 HAS SOPS 49358 HAS SOUS 36584 HAS SOUPS 36584 WITH SCORE 36633.358
AT ITER 5783 NEW BEST:: SOT 172306 SOS 49356 HAS SOPS 49356 HAS SOUS 36580 HAS SOUPS 36580 WITH SCORE 36629.356
AT ITER 5825 NEW BEST:: SOT 172271 SOS 49286 HAS SOPS 49286 HAS SOUS 36545 HAS SOUPS 36545 WITH SCORE 36594.286
AT ITER 5858 NEW BEST:: SOT 172250 SOS 49244 HAS SOPS 49244 HAS SOUS 36503 HAS SOUPS 36503 WITH SCORE 36552.244
AT ITER 5866 NEW BEST:: SOT 172250 SOS 49244 HAS SOPS 49244 HAS SOUS 36501 HAS SOUPS 36501 WITH SCORE 36550.244
AT ITER 5867 NEW BEST:: SOT 172241 SOS 49217 HAS SOPS 49217 HAS SOUS 36474 HAS SOUPS 36474 WITH SCORE 36523.217
AT ITER 5868 NEW BEST:: SOT 172181 SOS 49128 HAS SOPS 49128 HAS SOUS 36416 HAS SOUPS 36416 WITH SCORE 36465.128
AT ITER 5939 NEW BEST:: SOT 172149 SOS 49064 HAS SOPS 49064 HAS SOUS 36384 HAS SOUPS 36384 WITH SCORE 36433.064
AT ITER 5964 NEW BEST:: SOT 172130 SOS 49045 HAS SOPS 49045 HAS SOUS 36384 HAS SOUPS 36384 WITH SCORE 36433.045
AT ITER 5991 NEW BEST:: SOT 172126 SOS 49085 HAS SOPS 49085 HAS SOUS 36380 HAS SOUPS 36380 WITH SCORE 36429.085
AT ITER 5998 NEW BEST:: SOT 172126 SOS 49024 HAS SOPS 49024 HAS SOUS 36330 HAS SOUPS 36330 WITH SCORE 36379.024
AT ITER 6053 NEW BEST:: SOT 172121 SOS 48939 HAS SOPS 48939 HAS SOUS 36320 HAS SOUPS 36320 WITH SCORE 36368.939
AT ITER 6157 NEW BEST:: SOT 172115 SOS 48927 HAS SOPS 48927 HAS SOUS 36316 HAS SOUPS 36316 WITH SCORE 36364.927
AT ITER 6161 NEW BEST:: SOT 172157 SOS 48920 HAS SOPS 48920 HAS SOUS 36309 HAS SOUPS 36309 WITH SCORE 36357.92
AT ITER 6186 NEW BEST:: SOT 172132 SOS 48876 HAS SOPS 48876 HAS SOUS 36265 HAS SOUPS 36265 WITH SCORE 36313.876
AT ITER 6230 NEW BEST:: SOT 172121 SOS 48863 HAS SOPS 48863 HAS SOUS 36261 HAS SOUPS 36261 WITH SCORE 36309.863
AT ITER 6238 NEW BEST:: SOT 172091 SOS 48827 HAS SOPS 48827 HAS SOUS 36251 HAS SOUPS 36251 WITH SCORE 36299.827
AT ITER 6244 NEW BEST:: SOT 172062 SOS 48769 HAS SOPS 48769 HAS SOUS 36221 HAS SOUPS 36221 WITH SCORE 36269.769
AT ITER 6266 NEW BEST:: SOT 172082 SOS 48749 HAS SOPS 48749 HAS SOUS 36201 HAS SOUPS 36201 WITH SCORE 36249.749
AT ITER 6282 NEW BEST:: SOT 172020 SOS 48737 HAS SOPS 48737 HAS SOUS 36187 HAS SOUPS 36187 WITH SCORE 36235.737
AT ITER 6284 NEW BEST:: SOT 172013 SOS 48694 HAS SOPS 48694 HAS SOUS 36144 HAS SOUPS 36144 WITH SCORE 36192.694
AT ITER 6299 NEW BEST:: SOT 171979 SOS 48651 HAS SOPS 48651 HAS SOUS 36101 HAS SOUPS 36101 WITH SCORE 36149.651
AT ITER 6318 NEW BEST:: SOT 171938 SOS 48621 HAS SOPS 48621 HAS SOUS 36071 HAS SOUPS 36071 WITH SCORE 36119.621
AT ITER 6328 NEW BEST:: SOT 171938 SOS 48609 HAS SOPS 48609 HAS SOUS 36059 HAS SOUPS 36059 WITH SCORE 36107.609
AT ITER 6366 NEW BEST:: SOT 171896 SOS 48532 HAS SOPS 48532 HAS SOUS 35982 HAS SOUPS 35982 WITH SCORE 36030.532
AT ITER 6384 NEW BEST:: SOT 171854 SOS 48490 HAS SOPS 48490 HAS SOUS 35940 HAS SOUPS 35940 WITH SCORE 35988.49
AT ITER 6393 NEW BEST:: SOT 171853 SOS 48489 HAS SOPS 48489 HAS SOUS 35940 HAS SOUPS 35940 WITH SCORE 35988.489
AT ITER 6412 NEW BEST:: SOT 171856 SOS 48485 HAS SOPS 48485 HAS SOUS 35936 HAS SOUPS 35936 WITH SCORE 35984.485
AT ITER 6464 NEW BEST:: SOT 171849 SOS 48483 HAS SOPS 48483 HAS SOUS 35934 HAS SOUPS 35934 WITH SCORE 35982.483
AT ITER 6497 NEW BEST:: SOT 171851 SOS 48423 HAS SOPS 48423 HAS SOUS 35919 HAS SOUPS 35919 WITH SCORE 35967.423
AT ITER 6524 NEW BEST:: SOT 171849 SOS 48419 HAS SOPS 48419 HAS SOUS 35915 HAS SOUPS 35915 WITH SCORE 35963.419
AT ITER 6569 NEW BEST:: SOT 171849 SOS 48415 HAS SOPS 48415 HAS SOUS 35913 HAS SOUPS 35913 WITH SCORE 35961.415
AT ITER 6617 NEW BEST:: SOT 171845 SOS 48411 HAS SOPS 48411 HAS SOUS 35909 HAS SOUPS 35909 WITH SCORE 35957.411
AT ITER 6656 NEW BEST:: SOT 171855 SOS 48421 HAS SOPS 48421 HAS SOUS 35825 HAS SOUPS 35825 WITH SCORE 35873.421
AT ITER 6697 NEW BEST:: SOT 171835 SOS 48486 HAS SOPS 48486 HAS SOUS 35801 HAS SOUPS 35801 WITH SCORE 35849.486
AT ITER 6757 NEW BEST:: SOT 171833 SOS 48482 HAS SOPS 48482 HAS SOUS 35797 HAS SOUPS 35797 WITH SCORE 35845.482
AT ITER 6764 NEW BEST:: SOT 171779 SOS 48401 HAS SOPS 48401 HAS SOUS 35743 HAS SOUPS 35743 WITH SCORE 35791.401
AT ITER 6769 NEW BEST:: SOT 171733 SOS 48309 HAS SOPS 48309 HAS SOUS 35650 HAS SOUPS 35650 WITH SCORE 35698.309
AT ITER 6774 NEW BEST:: SOT 171722 SOS 48287 HAS SOPS 48287 HAS SOUS 35628 HAS SOUPS 35628 WITH SCORE 35676.287
AT ITER 6783 NEW BEST:: SOT 171704 SOS 48260 HAS SOPS 48260 HAS SOUS 35601 HAS SOUPS 35601 WITH SCORE 35649.26
AT ITER 6873 NEW BEST:: SOT 171672 SOS 48228 HAS SOPS 48228 HAS SOUS 35569 HAS SOUPS 35569 WITH SCORE 35617.228
AT ITER 6898 NEW BEST:: SOT 171664 SOS 48220 HAS SOPS 48220 HAS SOUS 35561 HAS SOUPS 35561 WITH SCORE 35609.22
AT ITER 6905 NEW BEST:: SOT 171636 SOS 48199 HAS SOPS 48199 HAS SOUS 35540 HAS SOUPS 35540 WITH SCORE 35588.199
AT ITER 6906 NEW BEST:: SOT 171636 SOS 48199 HAS SOPS 48199 HAS SOUS 35482 HAS SOUPS 35482 WITH SCORE 35530.199
AT ITER 6923 NEW BEST:: SOT 171636 SOS 48180 HAS SOPS 48180 HAS SOUS 35463 HAS SOUPS 35463 WITH SCORE 35511.18
AT ITER 6932 NEW BEST:: SOT 171600 SOS 48138 HAS SOPS 48138 HAS SOUS 35451 HAS SOUPS 35451 WITH SCORE 35499.138
AT ITER 6990 NEW BEST:: SOT 171507 SOS 48103 HAS SOPS 48103 HAS SOUS 35438 HAS SOUPS 35438 WITH SCORE 35486.103
AT ITER 7025 NEW BEST:: SOT 171503 SOS 48086 HAS SOPS 48086 HAS SOUS 35430 HAS SOUPS 35430 WITH SCORE 35478.086
AT ITER 7038 NEW BEST:: SOT 171574 SOS 48042 HAS SOPS 48042 HAS SOUS 35386 HAS SOUPS 35386 WITH SCORE 35434.042
AT ITER 7041 NEW BEST:: SOT 171572 SOS 48012 HAS SOPS 48012 HAS SOUS 35358 HAS SOUPS 35358 WITH SCORE 35406.012
AT ITER 7047 NEW BEST:: SOT 171568 SOS 47998 HAS SOPS 47998 HAS SOUS 35344 HAS SOUPS 35344 WITH SCORE 35391.998
AT ITER 7086 NEW BEST:: SOT 171574 SOS 47997 HAS SOPS 47997 HAS SOUS 35343 HAS SOUPS 35343 WITH SCORE 35390.997
AT ITER 7090 NEW BEST:: SOT 171555 SOS 47970 HAS SOPS 47970 HAS SOUS 35316 HAS SOUPS 35316 WITH SCORE 35363.97
AT ITER 7101 NEW BEST:: SOT 171534 SOS 47965 HAS SOPS 47965 HAS SOUS 35311 HAS SOUPS 35311 WITH SCORE 35358.965
AT ITER 7103 NEW BEST:: SOT 171521 SOS 47957 HAS SOPS 47957 HAS SOUS 35303 HAS SOUPS 35303 WITH SCORE 35350.957
AT ITER 7116 NEW BEST:: SOT 171475 SOS 47945 HAS SOPS 47945 HAS SOUS 35291 HAS SOUPS 35291 WITH SCORE 35338.945
AT ITER 7119 NEW BEST:: SOT 171466 SOS 47896 HAS SOPS 47896 HAS SOUS 35259 HAS SOUPS 35259 WITH SCORE 35306.896
AT ITER 7217 NEW BEST:: SOT 171512 SOS 47872 HAS SOPS 47872 HAS SOUS 35235 HAS SOUPS 35235 WITH SCORE 35282.872
AT ITER 7276 NEW BEST:: SOT 171441 SOS 47872 HAS SOPS 47872 HAS SOUS 35218 HAS SOUPS 35218 WITH SCORE 35265.872
AT ITER 7279 NEW BEST:: SOT 171431 SOS 47856 HAS SOPS 47856 HAS SOUS 35202 HAS SOUPS 35202 WITH SCORE 35249.856
AT ITER 7287 NEW BEST:: SOT 171431 SOS 47788 HAS SOPS 47788 HAS SOUS 35202 HAS SOUPS 35202 WITH SCORE 35249.788
AT ITER 7335 NEW BEST:: SOT 171423 SOS 47772 HAS SOPS 47772 HAS SOUS 35186 HAS SOUPS 35186 WITH SCORE 35233.772
AT ITER 7337 NEW BEST:: SOT 171411 SOS 47754 HAS SOPS 47754 HAS SOUS 35166 HAS SOUPS 35166 WITH SCORE 35213.754
AT ITER 7340 NEW BEST:: SOT 171346 SOS 47634 HAS SOPS 47634 HAS SOUS 35101 HAS SOUPS 35101 WITH SCORE 35148.634
AT ITER 7358 NEW BEST:: SOT 171346 SOS 47633 HAS SOPS 47633 HAS SOUS 35100 HAS SOUPS 35100 WITH SCORE 35147.633
AT ITER 7369 NEW BEST:: SOT 171385 SOS 47669 HAS SOPS 47669 HAS SOUS 35097 HAS SOUPS 35097 WITH SCORE 35144.669
AT ITER 7412 NEW BEST:: SOT 171384 SOS 47667 HAS SOPS 47667 HAS SOUS 35095 HAS SOUPS 35095 WITH SCORE 35142.667
AT ITER 7413 NEW BEST:: SOT 171384 SOS 47666 HAS SOPS 47666 HAS SOUS 35094 HAS SOUPS 35094 WITH SCORE 35141.666
AT ITER 7460 NEW BEST:: SOT 171362 SOS 47622 HAS SOPS 47622 HAS SOUS 35072 HAS SOUPS 35072 WITH SCORE 35119.622
AT ITER 7479 NEW BEST:: SOT 171360 SOS 47620 HAS SOPS 47620 HAS SOUS 35070 HAS SOUPS 35070 WITH SCORE 35117.62
AT ITER 7567 NEW BEST:: SOT 171360 SOS 47403 HAS SOPS 47403 HAS SOUS 35062 HAS SOUPS 35062 WITH SCORE 35109.403
AT ITER 7614 NEW BEST:: SOT 171346 SOS 47403 HAS SOPS 47403 HAS SOUS 35058 HAS SOUPS 35058 WITH SCORE 35105.403
AT ITER 7615 NEW BEST:: SOT 171360 SOS 47342 HAS SOPS 47342 HAS SOUS 34987 HAS SOUPS 34987 WITH SCORE 35034.342
AT ITER 7675 NEW BEST:: SOT 171350 SOS 47322 HAS SOPS 47322 HAS SOUS 34967 HAS SOUPS 34967 WITH SCORE 35014.322
AT ITER 7709 NEW BEST:: SOT 171350 SOS 47315 HAS SOPS 47315 HAS SOUS 34960 HAS SOUPS 34960 WITH SCORE 35007.315
AT ITER 7732 NEW BEST:: SOT 171350 SOS 47301 HAS SOPS 47301 HAS SOUS 34946 HAS SOUPS 34946 WITH SCORE 34993.301
AT ITER 7738 NEW BEST:: SOT 171350 SOS 47298 HAS SOPS 47298 HAS SOUS 34946 HAS SOUPS 34946 WITH SCORE 34993.298
AT ITER 7748 NEW BEST:: SOT 171350 SOS 47283 HAS SOPS 47283 HAS SOUS 34931 HAS SOUPS 34931 WITH SCORE 34978.283
AT ITER 7755 NEW BEST:: SOT 171368 SOS 47300 HAS SOPS 47300 HAS SOUS 34929 HAS SOUPS 34929 WITH SCORE 34976.3
AT ITER 7784 NEW BEST:: SOT 171352 SOS 47275 HAS SOPS 47275 HAS SOUS 34904 HAS SOUPS 34904 WITH SCORE 34951.275
AT ITER 7794 NEW BEST:: SOT 171287 SOS 47070 HAS SOPS 47070 HAS SOUS 34770 HAS SOUPS 34770 WITH SCORE 34817.07
AT ITER 7818 NEW BEST:: SOT 171269 SOS 47052 HAS SOPS 47052 HAS SOUS 34752 HAS SOUPS 34752 WITH SCORE 34799.052
AT ITER 7856 NEW BEST:: SOT 171166 SOS 47019 HAS SOPS 47019 HAS SOUS 34723 HAS SOUPS 34723 WITH SCORE 34770.019
AT ITER 7870 NEW BEST:: SOT 171164 SOS 47026 HAS SOPS 47026 HAS SOUS 34721 HAS SOUPS 34721 WITH SCORE 34768.026
AT ITER 7892 NEW BEST:: SOT 171153 SOS 46997 HAS SOPS 46997 HAS SOUS 34692 HAS SOUPS 34692 WITH SCORE 34738.997
AT ITER 7915 NEW BEST:: SOT 171153 SOS 46988 HAS SOPS 46988 HAS SOUS 34683 HAS SOUPS 34683 WITH SCORE 34729.988
AT ITER 7951 NEW BEST:: SOT 171093 SOS 46868 HAS SOPS 46868 HAS SOUS 34593 HAS SOUPS 34593 WITH SCORE 34639.868
AT ITER 8018 NEW BEST:: SOT 171089 SOS 46860 HAS SOPS 46860 HAS SOUS 34589 HAS SOUPS 34589 WITH SCORE 34635.86
AT ITER 8021 NEW BEST:: SOT 171026 SOS 46817 HAS SOPS 46817 HAS SOUS 34556 HAS SOUPS 34556 WITH SCORE 34602.817
AT ITER 8038 NEW BEST:: SOT 171035 SOS 46796 HAS SOPS 46796 HAS SOUS 34549 HAS SOUPS 34549 WITH SCORE 34595.796
AT ITER 8114 NEW BEST:: SOT 171048 SOS 46783 HAS SOPS 46783 HAS SOUS 34536 HAS SOUPS 34536 WITH SCORE 34582.783
AT ITER 8124 NEW BEST:: SOT 171075 SOS 46800 HAS SOPS 46800 HAS SOUS 34504 HAS SOUPS 34504 WITH SCORE 34550.8
AT ITER 8176 NEW BEST:: SOT 171075 SOS 46799 HAS SOPS 46799 HAS SOUS 34503 HAS SOUPS 34503 WITH SCORE 34549.799
AT ITER 8224 NEW BEST:: SOT 171081 SOS 46781 HAS SOPS 46781 HAS SOUS 34494 HAS SOUPS 34494 WITH SCORE 34540.781
AT ITER 8273 NEW BEST:: SOT 171081 SOS 46730 HAS SOPS 46730 HAS SOUS 34436 HAS SOUPS 34436 WITH SCORE 34482.73
AT ITER 8307 NEW BEST:: SOT 171067 SOS 46702 HAS SOPS 46702 HAS SOUS 34408 HAS SOUPS 34408 WITH SCORE 34454.702
AT ITER 8362 NEW BEST:: SOT 171070 SOS 46690 HAS SOPS 46690 HAS SOUS 34396 HAS SOUPS 34396 WITH SCORE 34442.69
AT ITER 8367 NEW BEST:: SOT 171091 SOS 46675 HAS SOPS 46675 HAS SOUS 34381 HAS SOUPS 34381 WITH SCORE 34427.675
AT ITER 8378 NEW BEST:: SOT 171112 SOS 46643 HAS SOPS 46643 HAS SOUS 34375 HAS SOUPS 34375 WITH SCORE 34421.643
AT ITER 8384 NEW BEST:: SOT 171120 SOS 46621 HAS SOPS 46621 HAS SOUS 34353 HAS SOUPS 34353 WITH SCORE 34399.621
AT ITER 8387 NEW BEST:: SOT 171120 SOS 46621 HAS SOPS 46621 HAS SOUS 34308 HAS SOUPS 34308 WITH SCORE 34354.621
AT ITER 8410 NEW BEST:: SOT 171045 SOS 46632 HAS SOPS 46632 HAS SOUS 34291 HAS SOUPS 34291 WITH SCORE 34337.632
AT ITER 8421 NEW BEST:: SOT 171033 SOS 46608 HAS SOPS 46608 HAS SOUS 34267 HAS SOUPS 34267 WITH SCORE 34313.608
AT ITER 8506 NEW BEST:: SOT 171033 SOS 46607 HAS SOPS 46607 HAS SOUS 34265 HAS SOUPS 34265 WITH SCORE 34311.607
AT ITER 8586 NEW BEST:: SOT 171098 SOS 46644 HAS SOPS 46644 HAS SOUS 34255 HAS SOUPS 34255 WITH SCORE 34301.644
AT ITER 8607 NEW BEST:: SOT 171097 SOS 46642 HAS SOPS 46642 HAS SOUS 34254 HAS SOUPS 34254 WITH SCORE 34300.642
AT ITER 8609 NEW BEST:: SOT 171097 SOS 46625 HAS SOPS 46625 HAS SOUS 34237 HAS SOUPS 34237 WITH SCORE 34283.625
AT ITER 8619 NEW BEST:: SOT 171078 SOS 46616 HAS SOPS 46616 HAS SOUS 34228 HAS SOUPS 34228 WITH SCORE 34274.616
AT ITER 8621 NEW BEST:: SOT 171074 SOS 46608 HAS SOPS 46608 HAS SOUS 34220 HAS SOUPS 34220 WITH SCORE 34266.608
AT ITER 8711 NEW BEST:: SOT 171065 SOS 46599 HAS SOPS 46599 HAS SOUS 34220 HAS SOUPS 34220 WITH SCORE 34266.599
AT ITER 8726 NEW BEST:: SOT 171075 SOS 46595 HAS SOPS 46595 HAS SOUS 34216 HAS SOUPS 34216 WITH SCORE 34262.595
AT ITER 8735 NEW BEST:: SOT 171075 SOS 46586 HAS SOPS 46586 HAS SOUS 34207 HAS SOUPS 34207 WITH SCORE 34253.586
AT ITER 8760 NEW BEST:: SOT 171073 SOS 46582 HAS SOPS 46582 HAS SOUS 34203 HAS SOUPS 34203 WITH SCORE 34249.582
AT ITER 8816 NEW BEST:: SOT 171073 SOS 46580 HAS SOPS 46580 HAS SOUS 34201 HAS SOUPS 34201 WITH SCORE 34247.58
AT ITER 8823 NEW BEST:: SOT 171071 SOS 46576 HAS SOPS 46576 HAS SOUS 34197 HAS SOUPS 34197 WITH SCORE 34243.576
AT ITER 8879 NEW BEST:: SOT 171070 SOS 46574 HAS SOPS 46574 HAS SOUS 34195 HAS SOUPS 34195 WITH SCORE 34241.574
AT ITER 8904 NEW BEST:: SOT 171057 SOS 46559 HAS SOPS 46559 HAS SOUS 34180 HAS SOUPS 34180 WITH SCORE 34226.559
AT ITER 8928 NEW BEST:: SOT 170994 SOS 46407 HAS SOPS 46407 HAS SOUS 34028 HAS SOUPS 34028 WITH SCORE 34074.407
AT ITER 8946 NEW BEST:: SOT 170977 SOS 46373 HAS SOPS 46373 HAS SOUS 33976 HAS SOUPS 33976 WITH SCORE 34022.373
AT ITER 8958 NEW BEST:: SOT 170977 SOS 46288 HAS SOPS 46288 HAS SOUS 33966 HAS SOUPS 33966 WITH SCORE 34012.288
AT ITER 8961 NEW BEST:: SOT 170975 SOS 46287 HAS SOPS 46287 HAS SOUS 33965 HAS SOUPS 33965 WITH SCORE 34011.287
AT ITER 8976 NEW BEST:: SOT 170965 SOS 46276 HAS SOPS 46276 HAS SOUS 33954 HAS SOUPS 33954 WITH SCORE 34000.276
AT ITER 8988 NEW BEST:: SOT 170964 SOS 46272 HAS SOPS 46272 HAS SOUS 33950 HAS SOUPS 33950 WITH SCORE 33996.272
AT ITER 8993 NEW BEST:: SOT 170953 SOS 46258 HAS SOPS 46258 HAS SOUS 33934 HAS SOUPS 33934 WITH SCORE 33980.258
AT ITER 9026 NEW BEST:: SOT 170936 SOS 46241 HAS SOPS 46241 HAS SOUS 33915 HAS SOUPS 33915 WITH SCORE 33961.241
AT ITER 9047 NEW BEST:: SOT 170934 SOS 46239 HAS SOPS 46239 HAS SOUS 33911 HAS SOUPS 33911 WITH SCORE 33957.239
AT ITER 9053 NEW BEST:: SOT 170910 SOS 46231 HAS SOPS 46231 HAS SOUS 33903 HAS SOUPS 33903 WITH SCORE 33949.231
AT ITER 9058 NEW BEST:: SOT 170906 SOS 46223 HAS SOPS 46223 HAS SOUS 33895 HAS SOUPS 33895 WITH SCORE 33941.223
AT ITER 9071 NEW BEST:: SOT 170897 SOS 46215 HAS SOPS 46215 HAS SOUS 33892 HAS SOUPS 33892 WITH SCORE 33938.215
AT ITER 9096 NEW BEST:: SOT 170886 SOS 46193 HAS SOPS 46193 HAS SOUS 33881 HAS SOUPS 33881 WITH SCORE 33927.193
AT ITER 9151 NEW BEST:: SOT 170770 SOS 46980 HAS SOPS 46980 HAS SOUS 33878 HAS SOUPS 33878 WITH SCORE 33924.98
AT ITER 9155 NEW BEST:: SOT 170770 SOS 46978 HAS SOPS 46978 HAS SOUS 33876 HAS SOUPS 33876 WITH SCORE 33922.978
AT ITER 9231 NEW BEST:: SOT 170764 SOS 46970 HAS SOPS 46970 HAS SOUS 33868 HAS SOUPS 33868 WITH SCORE 33914.97
AT ITER 9278 NEW BEST:: SOT 170752 SOS 46958 HAS SOPS 46958 HAS SOUS 33868 HAS SOUPS 33868 WITH SCORE 33914.958
AT ITER 9337 NEW BEST:: SOT 170751 SOS 46957 HAS SOPS 46957 HAS SOUS 33867 HAS SOUPS 33867 WITH SCORE 33913.957
AT ITER 9395 NEW BEST:: SOT 170747 SOS 46978 HAS SOPS 46978 HAS SOUS 33859 HAS SOUPS 33859 WITH SCORE 33905.978
AT ITER 9414 NEW BEST:: SOT 170731 SOS 46946 HAS SOPS 46946 HAS SOUS 33827 HAS SOUPS 33827 WITH SCORE 33873.946
AT ITER 9429 NEW BEST:: SOT 170719 SOS 46934 HAS SOPS 46934 HAS SOUS 33827 HAS SOUPS 33827 WITH SCORE 33873.934
AT ITER 9436 NEW BEST:: SOT 170717 SOS 46931 HAS SOPS 46931 HAS SOUS 33825 HAS SOUPS 33825 WITH SCORE 33871.931
AT ITER 9451 NEW BEST:: SOT 170700 SOS 46903 HAS SOPS 46903 HAS SOUS 33797 HAS SOUPS 33797 WITH SCORE 33843.903
AT ITER 9485 NEW BEST:: SOT 170700 SOS 46886 HAS SOPS 46886 HAS SOUS 33780 HAS SOUPS 33780 WITH SCORE 33826.886
AT ITER 9493 NEW BEST:: SOT 170700 SOS 46686 HAS SOPS 46686 HAS SOUS 33755 HAS SOUPS 33755 WITH SCORE 33801.686
AT ITER 9512 NEW BEST:: SOT 170698 SOS 46649 HAS SOPS 46649 HAS SOUS 33741 HAS SOUPS 33741 WITH SCORE 33787.649
AT ITER 9548 NEW BEST:: SOT 170711 SOS 46637 HAS SOPS 46637 HAS SOUS 33732 HAS SOUPS 33732 WITH SCORE 33778.637
AT ITER 9575 NEW BEST:: SOT 170726 SOS 46624 HAS SOPS 46624 HAS SOUS 33719 HAS SOUPS 33719 WITH SCORE 33765.624
AT ITER 9590 NEW BEST:: SOT 170687 SOS 46549 HAS SOPS 46549 HAS SOUS 33644 HAS SOUPS 33644 WITH SCORE 33690.549
AT ITER 9596 NEW BEST:: SOT 170679 SOS 46547 HAS SOPS 46547 HAS SOUS 33642 HAS SOUPS 33642 WITH SCORE 33688.547
AT ITER 9605 NEW BEST:: SOT 170659 SOS 46527 HAS SOPS 46527 HAS SOUS 33622 HAS SOUPS 33622 WITH SCORE 33668.527
AT ITER 9627 NEW BEST:: SOT 170654 SOS 46522 HAS SOPS 46522 HAS SOUS 33617 HAS SOUPS 33617 WITH SCORE 33663.522
AT ITER 9665 NEW BEST:: SOT 170666 SOS 46518 HAS SOPS 46518 HAS SOUS 33613 HAS SOUPS 33613 WITH SCORE 33659.518
AT ITER 9738 NEW BEST:: SOT 170797 SOS 46582 HAS SOPS 46582 HAS SOUS 33598 HAS SOUPS 33598 WITH SCORE 33644.582
AT ITER 9759 NEW BEST:: SOT 170741 SOS 46498 HAS SOPS 46498 HAS SOUS 33542 HAS SOUPS 33542 WITH SCORE 33588.498
AT ITER 9761 NEW BEST:: SOT 170732 SOS 46486 HAS SOPS 46486 HAS SOUS 33536 HAS SOUPS 33536 WITH SCORE 33582.486
AT ITER 9774 NEW BEST:: SOT 170716 SOS 46440 HAS SOPS 46440 HAS SOUS 33478 HAS SOUPS 33478 WITH SCORE 33524.44
AT ITER 9801 NEW BEST:: SOT 170670 SOS 46348 HAS SOPS 46348 HAS SOUS 33386 HAS SOUPS 33386 WITH SCORE 33432.348
AT ITER 9818 NEW BEST:: SOT 170642 SOS 46319 HAS SOPS 46319 HAS SOUS 33357 HAS SOUPS 33357 WITH SCORE 33403.319
AT ITER 9824 NEW BEST:: SOT 170699 SOS 46357 HAS SOPS 46357 HAS SOUS 33319 HAS SOUPS 33319 WITH SCORE 33365.357
AT ITER 9833 NEW BEST:: SOT 170662 SOS 46351 HAS SOPS 46351 HAS SOUS 33313 HAS SOUPS 33313 WITH SCORE 33359.351
AT ITER 9843 NEW BEST:: SOT 170636 SOS 46312 HAS SOPS 46312 HAS SOUS 33274 HAS SOUPS 33274 WITH SCORE 33320.312
AT ITER 9850 NEW BEST:: SOT 170627 SOS 46294 HAS SOPS 46294 HAS SOUS 33256 HAS SOUPS 33256 WITH SCORE 33302.294
AT ITER 9886 NEW BEST:: SOT 170592 SOS 46251 HAS SOPS 46251 HAS SOUS 33248 HAS SOUPS 33248 WITH SCORE 33294.251
AT ITER 9957 NEW BEST:: SOT 170577 SOS 46236 HAS SOPS 46236 HAS SOUS 33235 HAS SOUPS 33235 WITH SCORE 33281.236
AT ITER 9962 NEW BEST:: SOT 170502 SOS 46223 HAS SOPS 46223 HAS SOUS 33222 HAS SOUPS 33222 WITH SCORE 33268.223
AT ITER 9998 NEW BEST:: SOT 170500 SOS 46219 HAS SOPS 46219 HAS SOUS 33218 HAS SOUPS 33218 WITH SCORE 33264.219
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 5895052 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16156212 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is BusinessProcesses-PT-13, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r035-tajo-167813688300552"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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