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.r043-tajo-167813697000536.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 smartxred
Input is BusinessProcesses-PT-11, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813697000536
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 524K
-rw-r--r-- 1 mcc users 7.6K Feb 25 16:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 25 16:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 16:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 25 16:48 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 24K 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 17K Feb 25 15:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.3K Feb 25 16:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 25 16:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 25 16:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 16:49 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 141K 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 1678791924270

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=BusinessProcesses-PT-11
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 11:05:25] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 11:05:25] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 11:05:26] [INFO ] Load time of PNML (sax parser for PT used): 70 ms
[2023-03-14 11:05:26] [INFO ] Transformed 567 places.
[2023-03-14 11:05:26] [INFO ] Transformed 508 transitions.
[2023-03-14 11:05:26] [INFO ] Found NUPN structural information;
[2023-03-14 11:05:26] [INFO ] Parsed PT model containing 567 places and 508 transitions and 1512 arcs in 153 ms.
[2023-03-14 11:05:26] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 567 places, 508 transitions and 1512 arcs took 8 ms.
Total runtime 195 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 11
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: 567 places, 508 transitions, 1512 arcs.
AT ITER 0 NEW BEST:: SOT 183845 SOS 71447 HAS SOPS 71447 HAS SOUS 69467 HAS SOUPS 69467 WITH SCORE 69538.447
AT ITER 9 NEW BEST:: SOT 183845 SOS 71445 HAS SOPS 71445 HAS SOUS 69465 HAS SOUPS 69465 WITH SCORE 69536.445
AT ITER 10 NEW BEST:: SOT 183845 SOS 71342 HAS SOPS 71342 HAS SOUS 69362 HAS SOUPS 69362 WITH SCORE 69433.342
AT ITER 15 NEW BEST:: SOT 183843 SOS 71340 HAS SOPS 71340 HAS SOUS 69360 HAS SOUPS 69360 WITH SCORE 69431.34
AT ITER 23 NEW BEST:: SOT 183768 SOS 71298 HAS SOPS 71298 HAS SOUS 69318 HAS SOUPS 69318 WITH SCORE 69389.298
AT ITER 25 NEW BEST:: SOT 183818 SOS 71194 HAS SOPS 71194 HAS SOUS 69214 HAS SOUPS 69214 WITH SCORE 69285.194
AT ITER 29 NEW BEST:: SOT 183649 SOS 71078 HAS SOPS 71078 HAS SOUS 69124 HAS SOUPS 69124 WITH SCORE 69195.078
AT ITER 30 NEW BEST:: SOT 183597 SOS 71061 HAS SOPS 71061 HAS SOUS 69107 HAS SOUPS 69107 WITH SCORE 69178.061
AT ITER 38 NEW BEST:: SOT 183459 SOS 70896 HAS SOPS 70896 HAS SOUS 68942 HAS SOUPS 68942 WITH SCORE 69012.896
AT ITER 46 NEW BEST:: SOT 183459 SOS 70871 HAS SOPS 70871 HAS SOUS 68917 HAS SOUPS 68917 WITH SCORE 68987.871
AT ITER 47 NEW BEST:: SOT 183459 SOS 70905 HAS SOPS 70905 HAS SOUS 68916 HAS SOUPS 68916 WITH SCORE 68986.905
AT ITER 51 NEW BEST:: SOT 183238 SOS 70628 HAS SOPS 70628 HAS SOUS 68655 HAS SOUPS 68655 WITH SCORE 68725.628
AT ITER 59 NEW BEST:: SOT 183185 SOS 70522 HAS SOPS 70522 HAS SOUS 68549 HAS SOUPS 68549 WITH SCORE 68619.522
AT ITER 65 NEW BEST:: SOT 183181 SOS 70423 HAS SOPS 70423 HAS SOUS 68450 HAS SOUPS 68450 WITH SCORE 68520.423
AT ITER 71 NEW BEST:: SOT 183180 SOS 70421 HAS SOPS 70421 HAS SOUS 68448 HAS SOUPS 68448 WITH SCORE 68518.421
AT ITER 74 NEW BEST:: SOT 180609 SOS 68916 HAS SOPS 68916 HAS SOUS 66223 HAS SOUPS 66223 WITH SCORE 66291.916
AT ITER 79 NEW BEST:: SOT 180609 SOS 68766 HAS SOPS 68766 HAS SOUS 66073 HAS SOUPS 66073 WITH SCORE 66141.766
AT ITER 83 NEW BEST:: SOT 180607 SOS 68764 HAS SOPS 68764 HAS SOUS 66071 HAS SOUPS 66071 WITH SCORE 66139.764
AT ITER 84 NEW BEST:: SOT 180545 SOS 68684 HAS SOPS 68684 HAS SOUS 65991 HAS SOUPS 65991 WITH SCORE 66059.684
AT ITER 98 NEW BEST:: SOT 180632 SOS 68763 HAS SOPS 68763 HAS SOUS 65983 HAS SOUPS 65983 WITH SCORE 66051.763
AT ITER 103 NEW BEST:: SOT 180598 SOS 68728 HAS SOPS 68728 HAS SOUS 65948 HAS SOUPS 65948 WITH SCORE 66016.728
AT ITER 115 NEW BEST:: SOT 180597 SOS 68726 HAS SOPS 68726 HAS SOUS 65946 HAS SOUPS 65946 WITH SCORE 66014.726
AT ITER 116 NEW BEST:: SOT 180543 SOS 68722 HAS SOPS 68722 HAS SOUS 65942 HAS SOUPS 65942 WITH SCORE 66010.722
AT ITER 126 NEW BEST:: SOT 180543 SOS 68655 HAS SOPS 68655 HAS SOUS 65875 HAS SOUPS 65875 WITH SCORE 65943.655
AT ITER 140 NEW BEST:: SOT 180543 SOS 68570 HAS SOPS 68570 HAS SOUS 65790 HAS SOUPS 65790 WITH SCORE 65858.57
AT ITER 142 NEW BEST:: SOT 180543 SOS 68466 HAS SOPS 68466 HAS SOUS 65686 HAS SOUPS 65686 WITH SCORE 65754.466
AT ITER 143 NEW BEST:: SOT 180541 SOS 68465 HAS SOPS 68465 HAS SOUS 65685 HAS SOUPS 65685 WITH SCORE 65753.465
AT ITER 149 NEW BEST:: SOT 177869 SOS 65955 HAS SOPS 65955 HAS SOUS 63175 HAS SOUPS 63175 WITH SCORE 63240.955
AT ITER 160 NEW BEST:: SOT 177788 SOS 65793 HAS SOPS 65793 HAS SOUS 63013 HAS SOUPS 63013 WITH SCORE 63078.793
AT ITER 162 NEW BEST:: SOT 177756 SOS 65761 HAS SOPS 65761 HAS SOUS 62981 HAS SOUPS 62981 WITH SCORE 63046.761
AT ITER 170 NEW BEST:: SOT 177742 SOS 65760 HAS SOPS 65760 HAS SOUS 62980 HAS SOUPS 62980 WITH SCORE 63045.76
AT ITER 173 NEW BEST:: SOT 177742 SOS 65681 HAS SOPS 65681 HAS SOUS 62901 HAS SOUPS 62901 WITH SCORE 62966.681
AT ITER 183 NEW BEST:: SOT 177742 SOS 65663 HAS SOPS 65663 HAS SOUS 62883 HAS SOUPS 62883 WITH SCORE 62948.663
AT ITER 193 NEW BEST:: SOT 177640 SOS 65564 HAS SOPS 65564 HAS SOUS 62784 HAS SOUPS 62784 WITH SCORE 62849.564
AT ITER 197 NEW BEST:: SOT 177537 SOS 65618 HAS SOPS 65618 HAS SOUS 62764 HAS SOUPS 62764 WITH SCORE 62829.618
AT ITER 199 NEW BEST:: SOT 177566 SOS 65582 HAS SOPS 65582 HAS SOUS 62728 HAS SOUPS 62728 WITH SCORE 62793.582
AT ITER 202 NEW BEST:: SOT 177566 SOS 65581 HAS SOPS 65581 HAS SOUS 62727 HAS SOUPS 62727 WITH SCORE 62792.581
AT ITER 206 NEW BEST:: SOT 177566 SOS 65568 HAS SOPS 65568 HAS SOUS 62714 HAS SOUPS 62714 WITH SCORE 62779.568
AT ITER 219 NEW BEST:: SOT 177530 SOS 65496 HAS SOPS 65496 HAS SOUS 62642 HAS SOUPS 62642 WITH SCORE 62707.496
AT ITER 225 NEW BEST:: SOT 177515 SOS 65410 HAS SOPS 65410 HAS SOUS 62556 HAS SOUPS 62556 WITH SCORE 62621.41
AT ITER 229 NEW BEST:: SOT 177515 SOS 65403 HAS SOPS 65403 HAS SOUS 62549 HAS SOUPS 62549 WITH SCORE 62614.403
AT ITER 237 NEW BEST:: SOT 176898 SOS 66275 HAS SOPS 66275 HAS SOUS 62308 HAS SOUPS 62308 WITH SCORE 62374.275
AT ITER 250 NEW BEST:: SOT 176879 SOS 66272 HAS SOPS 66272 HAS SOUS 62305 HAS SOUPS 62305 WITH SCORE 62371.272
AT ITER 262 NEW BEST:: SOT 176848 SOS 66240 HAS SOPS 66240 HAS SOUS 62273 HAS SOUPS 62273 WITH SCORE 62339.24
AT ITER 266 NEW BEST:: SOT 176801 SOS 66146 HAS SOPS 66146 HAS SOUS 62179 HAS SOUPS 62179 WITH SCORE 62245.146
AT ITER 271 NEW BEST:: SOT 176836 SOS 65982 HAS SOPS 65982 HAS SOUS 62015 HAS SOUPS 62015 WITH SCORE 62080.982
AT ITER 274 NEW BEST:: SOT 176663 SOS 65754 HAS SOPS 65754 HAS SOUS 61933 HAS SOUPS 61933 WITH SCORE 61998.754
AT ITER 281 NEW BEST:: SOT 176662 SOS 65698 HAS SOPS 65698 HAS SOUS 61877 HAS SOUPS 61877 WITH SCORE 61942.698
AT ITER 283 NEW BEST:: SOT 176610 SOS 65646 HAS SOPS 65646 HAS SOUS 61877 HAS SOUPS 61877 WITH SCORE 61942.646
AT ITER 317 NEW BEST:: SOT 176610 SOS 65590 HAS SOPS 65590 HAS SOUS 61821 HAS SOUPS 61821 WITH SCORE 61886.59
AT ITER 323 NEW BEST:: SOT 176610 SOS 65589 HAS SOPS 65589 HAS SOUS 61770 HAS SOUPS 61770 WITH SCORE 61835.589
AT ITER 331 NEW BEST:: SOT 176472 SOS 65302 HAS SOPS 65302 HAS SOUS 61483 HAS SOUPS 61483 WITH SCORE 61548.302
AT ITER 333 NEW BEST:: SOT 176414 SOS 65217 HAS SOPS 65217 HAS SOUS 61293 HAS SOUPS 61293 WITH SCORE 61358.217
AT ITER 357 NEW BEST:: SOT 176424 SOS 65209 HAS SOPS 65209 HAS SOUS 61290 HAS SOUPS 61290 WITH SCORE 61355.209
AT ITER 368 NEW BEST:: SOT 176423 SOS 65207 HAS SOPS 65207 HAS SOUS 61288 HAS SOUPS 61288 WITH SCORE 61353.207
AT ITER 372 NEW BEST:: SOT 176015 SOS 65467 HAS SOPS 65467 HAS SOUS 60925 HAS SOUPS 60925 WITH SCORE 60990.467
AT ITER 382 NEW BEST:: SOT 176029 SOS 65452 HAS SOPS 65452 HAS SOUS 60910 HAS SOUPS 60910 WITH SCORE 60975.452
AT ITER 395 NEW BEST:: SOT 175622 SOS 65058 HAS SOPS 65058 HAS SOUS 60516 HAS SOUPS 60516 WITH SCORE 60581.058
AT ITER 399 NEW BEST:: SOT 175616 SOS 65052 HAS SOPS 65052 HAS SOUS 60510 HAS SOUPS 60510 WITH SCORE 60575.052
AT ITER 401 NEW BEST:: SOT 175447 SOS 64915 HAS SOPS 64915 HAS SOUS 60373 HAS SOUPS 60373 WITH SCORE 60437.915
AT ITER 409 NEW BEST:: SOT 175415 SOS 64851 HAS SOPS 64851 HAS SOUS 60309 HAS SOUPS 60309 WITH SCORE 60373.851
AT ITER 413 NEW BEST:: SOT 175451 SOS 64747 HAS SOPS 64747 HAS SOUS 60205 HAS SOUPS 60205 WITH SCORE 60269.747
AT ITER 422 NEW BEST:: SOT 175432 SOS 64708 HAS SOPS 64708 HAS SOUS 60166 HAS SOUPS 60166 WITH SCORE 60230.708
AT ITER 423 NEW BEST:: SOT 175432 SOS 64694 HAS SOPS 64694 HAS SOUS 60166 HAS SOUPS 60166 WITH SCORE 60230.694
AT ITER 426 NEW BEST:: SOT 175345 SOS 64621 HAS SOPS 64621 HAS SOUS 60093 HAS SOUPS 60093 WITH SCORE 60157.621
AT ITER 439 NEW BEST:: SOT 175345 SOS 64545 HAS SOPS 64545 HAS SOUS 60017 HAS SOUPS 60017 WITH SCORE 60081.545
AT ITER 446 NEW BEST:: SOT 175300 SOS 64454 HAS SOPS 64454 HAS SOUS 59926 HAS SOUPS 59926 WITH SCORE 59990.454
AT ITER 452 NEW BEST:: SOT 175299 SOS 64452 HAS SOPS 64452 HAS SOUS 59924 HAS SOUPS 59924 WITH SCORE 59988.452
AT ITER 460 NEW BEST:: SOT 175217 SOS 64368 HAS SOPS 64368 HAS SOUS 59840 HAS SOUPS 59840 WITH SCORE 59904.368
AT ITER 461 NEW BEST:: SOT 175209 SOS 64352 HAS SOPS 64352 HAS SOUS 59824 HAS SOUPS 59824 WITH SCORE 59888.352
AT ITER 471 NEW BEST:: SOT 175200 SOS 64334 HAS SOPS 64334 HAS SOUS 59806 HAS SOUPS 59806 WITH SCORE 59870.334
AT ITER 477 NEW BEST:: SOT 175199 SOS 64333 HAS SOPS 64333 HAS SOUS 59805 HAS SOUPS 59805 WITH SCORE 59869.333
AT ITER 487 NEW BEST:: SOT 175197 SOS 64268 HAS SOPS 64268 HAS SOUS 59740 HAS SOUPS 59740 WITH SCORE 59804.268
AT ITER 496 NEW BEST:: SOT 175182 SOS 64238 HAS SOPS 64238 HAS SOUS 59710 HAS SOUPS 59710 WITH SCORE 59774.238
AT ITER 499 NEW BEST:: SOT 175073 SOS 63578 HAS SOPS 63578 HAS SOUS 59194 HAS SOUPS 59194 WITH SCORE 59257.578
AT ITER 500 NEW BEST:: SOT 175037 SOS 63435 HAS SOPS 63435 HAS SOUS 59129 HAS SOUPS 59129 WITH SCORE 59192.435
AT ITER 501 NEW BEST:: SOT 175034 SOS 63432 HAS SOPS 63432 HAS SOUS 59126 HAS SOUPS 59126 WITH SCORE 59189.432
AT ITER 515 NEW BEST:: SOT 174847 SOS 63147 HAS SOPS 63147 HAS SOUS 58938 HAS SOUPS 58938 WITH SCORE 59001.147
AT ITER 525 NEW BEST:: SOT 174801 SOS 63127 HAS SOPS 63127 HAS SOUS 58906 HAS SOUPS 58906 WITH SCORE 58969.127
AT ITER 526 NEW BEST:: SOT 174814 SOS 62973 HAS SOPS 62973 HAS SOUS 58752 HAS SOUPS 58752 WITH SCORE 58814.973
AT ITER 536 NEW BEST:: SOT 174812 SOS 62913 HAS SOPS 62913 HAS SOUS 58692 HAS SOUPS 58692 WITH SCORE 58754.913
AT ITER 537 NEW BEST:: SOT 174664 SOS 62686 HAS SOPS 62686 HAS SOUS 58465 HAS SOUPS 58465 WITH SCORE 58527.686
AT ITER 552 NEW BEST:: SOT 174624 SOS 62590 HAS SOPS 62590 HAS SOUS 58369 HAS SOUPS 58369 WITH SCORE 58431.59
AT ITER 567 NEW BEST:: SOT 174499 SOS 62340 HAS SOPS 62340 HAS SOUS 58119 HAS SOUPS 58119 WITH SCORE 58181.34
AT ITER 571 NEW BEST:: SOT 174324 SOS 62121 HAS SOPS 62121 HAS SOUS 57900 HAS SOUPS 57900 WITH SCORE 57962.121
AT ITER 573 NEW BEST:: SOT 174323 SOS 62119 HAS SOPS 62119 HAS SOUS 57898 HAS SOUPS 57898 WITH SCORE 57960.119
AT ITER 574 NEW BEST:: SOT 174296 SOS 62092 HAS SOPS 62092 HAS SOUS 57871 HAS SOUPS 57871 WITH SCORE 57933.092
AT ITER 578 NEW BEST:: SOT 174284 SOS 62080 HAS SOPS 62080 HAS SOUS 57859 HAS SOUPS 57859 WITH SCORE 57921.08
AT ITER 605 NEW BEST:: SOT 174284 SOS 62074 HAS SOPS 62074 HAS SOUS 57853 HAS SOUPS 57853 WITH SCORE 57915.074
AT ITER 641 NEW BEST:: SOT 174260 SOS 62140 HAS SOPS 62140 HAS SOUS 57813 HAS SOUPS 57813 WITH SCORE 57875.14
AT ITER 645 NEW BEST:: SOT 174260 SOS 62132 HAS SOPS 62132 HAS SOUS 57805 HAS SOUPS 57805 WITH SCORE 57867.132
AT ITER 654 NEW BEST:: SOT 174227 SOS 62099 HAS SOPS 62099 HAS SOUS 57772 HAS SOUPS 57772 WITH SCORE 57834.099
AT ITER 658 NEW BEST:: SOT 174227 SOS 62023 HAS SOPS 62023 HAS SOUS 57696 HAS SOUPS 57696 WITH SCORE 57758.023
AT ITER 664 NEW BEST:: SOT 174076 SOS 61819 HAS SOPS 61819 HAS SOUS 57492 HAS SOUPS 57492 WITH SCORE 57553.819
AT ITER 668 NEW BEST:: SOT 174076 SOS 61632 HAS SOPS 61632 HAS SOUS 57305 HAS SOUPS 57305 WITH SCORE 57366.632
AT ITER 675 NEW BEST:: SOT 174102 SOS 61623 HAS SOPS 61623 HAS SOUS 57296 HAS SOUPS 57296 WITH SCORE 57357.623
AT ITER 691 NEW BEST:: SOT 174066 SOS 61526 HAS SOPS 61526 HAS SOUS 57199 HAS SOUPS 57199 WITH SCORE 57260.526
AT ITER 701 NEW BEST:: SOT 173902 SOS 61354 HAS SOPS 61354 HAS SOUS 57027 HAS SOUPS 57027 WITH SCORE 57088.354
AT ITER 729 NEW BEST:: SOT 170251 SOS 58121 HAS SOPS 58121 HAS SOUS 53514 HAS SOUPS 53514 WITH SCORE 53572.121
AT ITER 734 NEW BEST:: SOT 170147 SOS 58042 HAS SOPS 58042 HAS SOUS 53362 HAS SOUPS 53362 WITH SCORE 53420.042
AT ITER 738 NEW BEST:: SOT 170147 SOS 57985 HAS SOPS 57985 HAS SOUS 53337 HAS SOUPS 53337 WITH SCORE 53394.985
AT ITER 742 NEW BEST:: SOT 170147 SOS 57981 HAS SOPS 57981 HAS SOUS 53333 HAS SOUPS 53333 WITH SCORE 53390.981
AT ITER 744 NEW BEST:: SOT 170138 SOS 57963 HAS SOPS 57963 HAS SOUS 53324 HAS SOUPS 53324 WITH SCORE 53381.963
AT ITER 746 NEW BEST:: SOT 170096 SOS 57837 HAS SOPS 57837 HAS SOUS 53198 HAS SOUPS 53198 WITH SCORE 53255.837
AT ITER 769 NEW BEST:: SOT 170183 SOS 57823 HAS SOPS 57823 HAS SOUS 53021 HAS SOUPS 53021 WITH SCORE 53078.823
AT ITER 774 NEW BEST:: SOT 170186 SOS 57811 HAS SOPS 57811 HAS SOUS 53009 HAS SOUPS 53009 WITH SCORE 53066.811
AT ITER 795 NEW BEST:: SOT 170185 SOS 57809 HAS SOPS 57809 HAS SOUS 53007 HAS SOUPS 53007 WITH SCORE 53064.809
AT ITER 820 NEW BEST:: SOT 170182 SOS 57806 HAS SOPS 57806 HAS SOUS 53004 HAS SOUPS 53004 WITH SCORE 53061.806
AT ITER 821 NEW BEST:: SOT 170196 SOS 57688 HAS SOPS 57688 HAS SOUS 52983 HAS SOUPS 52983 WITH SCORE 53040.688
AT ITER 830 NEW BEST:: SOT 170083 SOS 57563 HAS SOPS 57563 HAS SOUS 52858 HAS SOUPS 52858 WITH SCORE 52915.563
AT ITER 846 NEW BEST:: SOT 170182 SOS 57492 HAS SOPS 57492 HAS SOUS 52738 HAS SOUPS 52738 WITH SCORE 52795.492
AT ITER 852 NEW BEST:: SOT 170174 SOS 57468 HAS SOPS 57468 HAS SOUS 52722 HAS SOUPS 52722 WITH SCORE 52779.468
AT ITER 858 NEW BEST:: SOT 170168 SOS 57456 HAS SOPS 57456 HAS SOUS 52710 HAS SOUPS 52710 WITH SCORE 52767.456
AT ITER 872 NEW BEST:: SOT 170162 SOS 57450 HAS SOPS 57450 HAS SOUS 52710 HAS SOUPS 52710 WITH SCORE 52767.45
AT ITER 876 NEW BEST:: SOT 170141 SOS 57421 HAS SOPS 57421 HAS SOUS 52681 HAS SOUPS 52681 WITH SCORE 52738.421
AT ITER 880 NEW BEST:: SOT 170073 SOS 57525 HAS SOPS 57525 HAS SOUS 52609 HAS SOUPS 52609 WITH SCORE 52666.525
AT ITER 894 NEW BEST:: SOT 170072 SOS 57381 HAS SOPS 57381 HAS SOUS 52465 HAS SOUPS 52465 WITH SCORE 52522.381
AT ITER 904 NEW BEST:: SOT 169962 SOS 57168 HAS SOPS 57168 HAS SOUS 52252 HAS SOUPS 52252 WITH SCORE 52309.168
AT ITER 907 NEW BEST:: SOT 169940 SOS 57146 HAS SOPS 57146 HAS SOUS 52230 HAS SOUPS 52230 WITH SCORE 52287.146
AT ITER 910 NEW BEST:: SOT 169748 SOS 57022 HAS SOPS 57022 HAS SOUS 52106 HAS SOUPS 52106 WITH SCORE 52163.022
AT ITER 912 NEW BEST:: SOT 169748 SOS 57000 HAS SOPS 57000 HAS SOUS 52095 HAS SOUPS 52095 WITH SCORE 52152.0
AT ITER 938 NEW BEST:: SOT 169717 SOS 56443 HAS SOPS 56443 HAS SOUS 52003 HAS SOUPS 52003 WITH SCORE 52059.443
AT ITER 950 NEW BEST:: SOT 169708 SOS 56425 HAS SOPS 56425 HAS SOUS 51985 HAS SOUPS 51985 WITH SCORE 52041.425
AT ITER 957 NEW BEST:: SOT 169687 SOS 56325 HAS SOPS 56325 HAS SOUS 51885 HAS SOUPS 51885 WITH SCORE 51941.325
AT ITER 973 NEW BEST:: SOT 169506 SOS 56103 HAS SOPS 56103 HAS SOUS 51663 HAS SOUPS 51663 WITH SCORE 51719.103
AT ITER 975 NEW BEST:: SOT 169504 SOS 56098 HAS SOPS 56098 HAS SOUS 51658 HAS SOUPS 51658 WITH SCORE 51714.098
AT ITER 987 NEW BEST:: SOT 169430 SOS 56049 HAS SOPS 56049 HAS SOUS 51609 HAS SOUPS 51609 WITH SCORE 51665.049
AT ITER 988 NEW BEST:: SOT 169430 SOS 56044 HAS SOPS 56044 HAS SOUS 51604 HAS SOUPS 51604 WITH SCORE 51660.044
AT ITER 991 NEW BEST:: SOT 168455 SOS 55004 HAS SOPS 55004 HAS SOUS 50564 HAS SOUPS 50564 WITH SCORE 50619.004
AT ITER 993 NEW BEST:: SOT 168397 SOS 54946 HAS SOPS 54946 HAS SOUS 50506 HAS SOUPS 50506 WITH SCORE 50560.946
AT ITER 1006 NEW BEST:: SOT 168397 SOS 54881 HAS SOPS 54881 HAS SOUS 50441 HAS SOUPS 50441 WITH SCORE 50495.881
AT ITER 1011 NEW BEST:: SOT 168393 SOS 54877 HAS SOPS 54877 HAS SOUS 50437 HAS SOUPS 50437 WITH SCORE 50491.877
AT ITER 1022 NEW BEST:: SOT 168432 SOS 54897 HAS SOPS 54897 HAS SOUS 50418 HAS SOUPS 50418 WITH SCORE 50472.897
AT ITER 1031 NEW BEST:: SOT 168432 SOS 54897 HAS SOPS 54897 HAS SOUS 50403 HAS SOUPS 50403 WITH SCORE 50457.897
AT ITER 1037 NEW BEST:: SOT 168166 SOS 54574 HAS SOPS 54574 HAS SOUS 50092 HAS SOUPS 50092 WITH SCORE 50146.574
AT ITER 1038 NEW BEST:: SOT 167535 SOS 69870 HAS SOPS 69870 HAS SOUS 50033 HAS SOUPS 50033 WITH SCORE 50102.87
AT ITER 1039 NEW BEST:: SOT 167482 SOS 69801 HAS SOPS 69801 HAS SOUS 49964 HAS SOUPS 49964 WITH SCORE 50033.801
AT ITER 1044 NEW BEST:: SOT 167378 SOS 69415 HAS SOPS 69415 HAS SOUS 49835 HAS SOUPS 49835 WITH SCORE 49904.415
AT ITER 1046 NEW BEST:: SOT 167322 SOS 69359 HAS SOPS 69359 HAS SOUS 49816 HAS SOUPS 49816 WITH SCORE 49885.359
AT ITER 1059 NEW BEST:: SOT 167297 SOS 69765 HAS SOPS 69765 HAS SOUS 49791 HAS SOUPS 49791 WITH SCORE 49860.765
AT ITER 1062 NEW BEST:: SOT 167282 SOS 69735 HAS SOPS 69735 HAS SOUS 49761 HAS SOUPS 49761 WITH SCORE 49830.735
AT ITER 1086 NEW BEST:: SOT 167295 SOS 69650 HAS SOPS 69650 HAS SOUS 49676 HAS SOUPS 49676 WITH SCORE 49745.65
AT ITER 1106 NEW BEST:: SOT 167283 SOS 69626 HAS SOPS 69626 HAS SOUS 49648 HAS SOUPS 49648 WITH SCORE 49717.626
AT ITER 1114 NEW BEST:: SOT 167283 SOS 69596 HAS SOPS 69596 HAS SOUS 49618 HAS SOUPS 49618 WITH SCORE 49687.596
AT ITER 1125 NEW BEST:: SOT 167347 SOS 69585 HAS SOPS 69585 HAS SOUS 49607 HAS SOUPS 49607 WITH SCORE 49676.585
AT ITER 1132 NEW BEST:: SOT 167329 SOS 69505 HAS SOPS 69505 HAS SOUS 49527 HAS SOUPS 49527 WITH SCORE 49596.505
AT ITER 1141 NEW BEST:: SOT 167161 SOS 69314 HAS SOPS 69314 HAS SOUS 49238 HAS SOUPS 49238 WITH SCORE 49307.314
AT ITER 1143 NEW BEST:: SOT 167097 SOS 69071 HAS SOPS 69071 HAS SOUS 48995 HAS SOUPS 48995 WITH SCORE 49064.071
AT ITER 1146 NEW BEST:: SOT 166981 SOS 68954 HAS SOPS 68954 HAS SOUS 48878 HAS SOUPS 48878 WITH SCORE 48946.954
AT ITER 1147 NEW BEST:: SOT 166781 SOS 68656 HAS SOPS 68656 HAS SOUS 48682 HAS SOUPS 48682 WITH SCORE 48750.656
AT ITER 1150 NEW BEST:: SOT 166804 SOS 68608 HAS SOPS 68608 HAS SOUS 48634 HAS SOUPS 48634 WITH SCORE 48702.608
AT ITER 1152 NEW BEST:: SOT 166667 SOS 68300 HAS SOPS 68300 HAS SOUS 48332 HAS SOUPS 48332 WITH SCORE 48400.3
AT ITER 1155 NEW BEST:: SOT 166644 SOS 68292 HAS SOPS 68292 HAS SOUS 48301 HAS SOUPS 48301 WITH SCORE 48369.292
AT ITER 1156 NEW BEST:: SOT 166231 SOS 68073 HAS SOPS 68073 HAS SOUS 48191 HAS SOUPS 48191 WITH SCORE 48259.073
AT ITER 1161 NEW BEST:: SOT 166200 SOS 68041 HAS SOPS 68041 HAS SOUS 48159 HAS SOUPS 48159 WITH SCORE 48227.041
AT ITER 1169 NEW BEST:: SOT 166138 SOS 67872 HAS SOPS 67872 HAS SOUS 48008 HAS SOUPS 48008 WITH SCORE 48075.872
AT ITER 1176 NEW BEST:: SOT 166138 SOS 67850 HAS SOPS 67850 HAS SOUS 48008 HAS SOUPS 48008 WITH SCORE 48075.85
AT ITER 1180 NEW BEST:: SOT 166019 SOS 67698 HAS SOPS 67698 HAS SOUS 47942 HAS SOUPS 47942 WITH SCORE 48009.698
AT ITER 1183 NEW BEST:: SOT 166019 SOS 67640 HAS SOPS 67640 HAS SOUS 47942 HAS SOUPS 47942 WITH SCORE 48009.64
AT ITER 1209 NEW BEST:: SOT 166017 SOS 67638 HAS SOPS 67638 HAS SOUS 47940 HAS SOUPS 47940 WITH SCORE 48007.638
AT ITER 1218 NEW BEST:: SOT 165389 SOS 66792 HAS SOPS 66792 HAS SOUS 47094 HAS SOUPS 47094 WITH SCORE 47160.792
AT ITER 1220 NEW BEST:: SOT 165378 SOS 66771 HAS SOPS 66771 HAS SOUS 47073 HAS SOUPS 47073 WITH SCORE 47139.771
AT ITER 1225 NEW BEST:: SOT 165080 SOS 66341 HAS SOPS 66341 HAS SOUS 46643 HAS SOUPS 46643 WITH SCORE 46709.341
AT ITER 1239 NEW BEST:: SOT 165065 SOS 66326 HAS SOPS 66326 HAS SOUS 46628 HAS SOUPS 46628 WITH SCORE 46694.326
AT ITER 1240 NEW BEST:: SOT 165015 SOS 66226 HAS SOPS 66226 HAS SOUS 46625 HAS SOUPS 46625 WITH SCORE 46691.226
AT ITER 1245 NEW BEST:: SOT 164973 SOS 66118 HAS SOPS 66118 HAS SOUS 46517 HAS SOUPS 46517 WITH SCORE 46583.118
AT ITER 1257 NEW BEST:: SOT 165126 SOS 66256 HAS SOPS 66256 HAS SOUS 46493 HAS SOUPS 46493 WITH SCORE 46559.256
AT ITER 1272 NEW BEST:: SOT 165144 SOS 66285 HAS SOPS 66285 HAS SOUS 46443 HAS SOUPS 46443 WITH SCORE 46509.285
AT ITER 1279 NEW BEST:: SOT 165067 SOS 66208 HAS SOPS 66208 HAS SOUS 46443 HAS SOUPS 46443 WITH SCORE 46509.208
AT ITER 1287 NEW BEST:: SOT 164881 SOS 65982 HAS SOPS 65982 HAS SOUS 46207 HAS SOUPS 46207 WITH SCORE 46272.982
AT ITER 1289 NEW BEST:: SOT 164850 SOS 65951 HAS SOPS 65951 HAS SOUS 46176 HAS SOUPS 46176 WITH SCORE 46241.951
AT ITER 1302 NEW BEST:: SOT 164750 SOS 65711 HAS SOPS 65711 HAS SOUS 45936 HAS SOUPS 45936 WITH SCORE 46001.711
AT ITER 1317 NEW BEST:: SOT 164736 SOS 65676 HAS SOPS 65676 HAS SOUS 45915 HAS SOUPS 45915 WITH SCORE 45980.676
AT ITER 1318 NEW BEST:: SOT 164632 SOS 65532 HAS SOPS 65532 HAS SOUS 45835 HAS SOUPS 45835 WITH SCORE 45900.532
AT ITER 1320 NEW BEST:: SOT 164632 SOS 65512 HAS SOPS 65512 HAS SOUS 45815 HAS SOUPS 45815 WITH SCORE 45880.512
AT ITER 1348 NEW BEST:: SOT 164552 SOS 65323 HAS SOPS 65323 HAS SOUS 45719 HAS SOUPS 45719 WITH SCORE 45784.323
AT ITER 1368 NEW BEST:: SOT 164552 SOS 65323 HAS SOPS 65323 HAS SOUS 45716 HAS SOUPS 45716 WITH SCORE 45781.323
AT ITER 1370 NEW BEST:: SOT 164396 SOS 65095 HAS SOPS 65095 HAS SOUS 45572 HAS SOUPS 45572 WITH SCORE 45637.095
AT ITER 1371 NEW BEST:: SOT 164398 SOS 65052 HAS SOPS 65052 HAS SOUS 45529 HAS SOUPS 45529 WITH SCORE 45594.052
AT ITER 1384 NEW BEST:: SOT 164201 SOS 64742 HAS SOPS 64742 HAS SOUS 45364 HAS SOUPS 45364 WITH SCORE 45428.742
AT ITER 1385 NEW BEST:: SOT 164047 SOS 64427 HAS SOPS 64427 HAS SOUS 45287 HAS SOUPS 45287 WITH SCORE 45351.427
AT ITER 1394 NEW BEST:: SOT 163989 SOS 64363 HAS SOPS 64363 HAS SOUS 45285 HAS SOUPS 45285 WITH SCORE 45349.363
AT ITER 1403 NEW BEST:: SOT 163839 SOS 64262 HAS SOPS 64262 HAS SOUS 45184 HAS SOUPS 45184 WITH SCORE 45248.262
AT ITER 1415 NEW BEST:: SOT 163832 SOS 64248 HAS SOPS 64248 HAS SOUS 45176 HAS SOUPS 45176 WITH SCORE 45240.248
AT ITER 1424 NEW BEST:: SOT 163844 SOS 64260 HAS SOPS 64260 HAS SOUS 45153 HAS SOUPS 45153 WITH SCORE 45217.26
AT ITER 1441 NEW BEST:: SOT 163844 SOS 64260 HAS SOPS 64260 HAS SOUS 45134 HAS SOUPS 45134 WITH SCORE 45198.26
AT ITER 1445 NEW BEST:: SOT 163843 SOS 64258 HAS SOPS 64258 HAS SOUS 45132 HAS SOUPS 45132 WITH SCORE 45196.258
AT ITER 1447 NEW BEST:: SOT 163841 SOS 64256 HAS SOPS 64256 HAS SOUS 45130 HAS SOUPS 45130 WITH SCORE 45194.256
AT ITER 1466 NEW BEST:: SOT 163973 SOS 64221 HAS SOPS 64221 HAS SOUS 45102 HAS SOUPS 45102 WITH SCORE 45166.221
AT ITER 1475 NEW BEST:: SOT 163997 SOS 64208 HAS SOPS 64208 HAS SOUS 45089 HAS SOUPS 45089 WITH SCORE 45153.208
AT ITER 1488 NEW BEST:: SOT 163996 SOS 64206 HAS SOPS 64206 HAS SOUS 45087 HAS SOUPS 45087 WITH SCORE 45151.206
AT ITER 1496 NEW BEST:: SOT 163931 SOS 64141 HAS SOPS 64141 HAS SOUS 44957 HAS SOUPS 44957 WITH SCORE 45021.141
AT ITER 1504 NEW BEST:: SOT 163880 SOS 64090 HAS SOPS 64090 HAS SOUS 44906 HAS SOUPS 44906 WITH SCORE 44970.09
AT ITER 1505 NEW BEST:: SOT 163878 SOS 64063 HAS SOPS 64063 HAS SOUS 44726 HAS SOUPS 44726 WITH SCORE 44790.063
AT ITER 1513 NEW BEST:: SOT 163956 SOS 64088 HAS SOPS 64088 HAS SOUS 44663 HAS SOUPS 44663 WITH SCORE 44727.088
AT ITER 1528 NEW BEST:: SOT 163817 SOS 63822 HAS SOPS 63822 HAS SOUS 44524 HAS SOUPS 44524 WITH SCORE 44587.822
AT ITER 1544 NEW BEST:: SOT 163853 SOS 63783 HAS SOPS 63783 HAS SOUS 44494 HAS SOUPS 44494 WITH SCORE 44557.783
AT ITER 1545 NEW BEST:: SOT 163888 SOS 63717 HAS SOPS 63717 HAS SOUS 44490 HAS SOUPS 44490 WITH SCORE 44553.717
AT ITER 1578 NEW BEST:: SOT 163901 SOS 63713 HAS SOPS 63713 HAS SOUS 44486 HAS SOUPS 44486 WITH SCORE 44549.713
AT ITER 1584 NEW BEST:: SOT 163765 SOS 63441 HAS SOPS 63441 HAS SOUS 44394 HAS SOUPS 44394 WITH SCORE 44457.441
AT ITER 1587 NEW BEST:: SOT 163761 SOS 63440 HAS SOPS 63440 HAS SOUS 44393 HAS SOUPS 44393 WITH SCORE 44456.44
AT ITER 1597 NEW BEST:: SOT 162244 SOS 62626 HAS SOPS 62626 HAS SOUS 42999 HAS SOUPS 42999 WITH SCORE 43061.626
AT ITER 1612 NEW BEST:: SOT 162215 SOS 62597 HAS SOPS 62597 HAS SOUS 42970 HAS SOUPS 42970 WITH SCORE 43032.597
AT ITER 1622 NEW BEST:: SOT 162118 SOS 62416 HAS SOPS 62416 HAS SOUS 42867 HAS SOUPS 42867 WITH SCORE 42929.416
AT ITER 1635 NEW BEST:: SOT 162118 SOS 62410 HAS SOPS 62410 HAS SOUS 42867 HAS SOUPS 42867 WITH SCORE 42929.41
AT ITER 1639 NEW BEST:: SOT 162036 SOS 62246 HAS SOPS 62246 HAS SOUS 42790 HAS SOUPS 42790 WITH SCORE 42852.246
AT ITER 1657 NEW BEST:: SOT 162036 SOS 62246 HAS SOPS 62246 HAS SOUS 42774 HAS SOUPS 42774 WITH SCORE 42836.246
AT ITER 1669 NEW BEST:: SOT 162052 SOS 62184 HAS SOPS 62184 HAS SOUS 42712 HAS SOUPS 42712 WITH SCORE 42774.184
AT ITER 1676 NEW BEST:: SOT 161953 SOS 61986 HAS SOPS 61986 HAS SOUS 42514 HAS SOUPS 42514 WITH SCORE 42575.986
AT ITER 1692 NEW BEST:: SOT 161919 SOS 61858 HAS SOPS 61858 HAS SOUS 42386 HAS SOUPS 42386 WITH SCORE 42447.858
AT ITER 1713 NEW BEST:: SOT 161703 SOS 61596 HAS SOPS 61596 HAS SOUS 42282 HAS SOUPS 42282 WITH SCORE 42343.596
AT ITER 1741 NEW BEST:: SOT 161699 SOS 61588 HAS SOPS 61588 HAS SOUS 42274 HAS SOUPS 42274 WITH SCORE 42335.588
AT ITER 1743 NEW BEST:: SOT 161699 SOS 58448 HAS SOPS 58448 HAS SOUS 42224 HAS SOUPS 42224 WITH SCORE 42282.448
AT ITER 1758 NEW BEST:: SOT 161621 SOS 58292 HAS SOPS 58292 HAS SOUS 42068 HAS SOUPS 42068 WITH SCORE 42126.292
AT ITER 1760 NEW BEST:: SOT 161555 SOS 58226 HAS SOPS 58226 HAS SOUS 42002 HAS SOUPS 42002 WITH SCORE 42060.226
AT ITER 1783 NEW BEST:: SOT 161511 SOS 58182 HAS SOPS 58182 HAS SOUS 42002 HAS SOUPS 42002 WITH SCORE 42060.182
AT ITER 1792 NEW BEST:: SOT 161502 SOS 58164 HAS SOPS 58164 HAS SOUS 41984 HAS SOUPS 41984 WITH SCORE 42042.164
AT ITER 1806 NEW BEST:: SOT 161361 SOS 58130 HAS SOPS 58130 HAS SOUS 41950 HAS SOUPS 41950 WITH SCORE 42008.13
AT ITER 1824 NEW BEST:: SOT 161354 SOS 58116 HAS SOPS 58116 HAS SOUS 41860 HAS SOUPS 41860 WITH SCORE 41918.116
AT ITER 1842 NEW BEST:: SOT 161341 SOS 58093 HAS SOPS 58093 HAS SOUS 41837 HAS SOUPS 41837 WITH SCORE 41895.093
AT ITER 1845 NEW BEST:: SOT 161256 SOS 57923 HAS SOPS 57923 HAS SOUS 41752 HAS SOUPS 41752 WITH SCORE 41809.923
AT ITER 1849 NEW BEST:: SOT 161256 SOS 57899 HAS SOPS 57899 HAS SOUS 41752 HAS SOUPS 41752 WITH SCORE 41809.899
AT ITER 1851 NEW BEST:: SOT 161244 SOS 57889 HAS SOPS 57889 HAS SOUS 41742 HAS SOUPS 41742 WITH SCORE 41799.889
AT ITER 1866 NEW BEST:: SOT 161184 SOS 57779 HAS SOPS 57779 HAS SOUS 41632 HAS SOUPS 41632 WITH SCORE 41689.779
AT ITER 1874 NEW BEST:: SOT 161130 SOS 57698 HAS SOPS 57698 HAS SOUS 41551 HAS SOUPS 41551 WITH SCORE 41608.698
AT ITER 1888 NEW BEST:: SOT 161130 SOS 57697 HAS SOPS 57697 HAS SOUS 41550 HAS SOUPS 41550 WITH SCORE 41607.697
AT ITER 1892 NEW BEST:: SOT 161092 SOS 57661 HAS SOPS 57661 HAS SOUS 41514 HAS SOUPS 41514 WITH SCORE 41571.661
AT ITER 1902 NEW BEST:: SOT 161121 SOS 57690 HAS SOPS 57690 HAS SOUS 41494 HAS SOUPS 41494 WITH SCORE 41551.69
AT ITER 1917 NEW BEST:: SOT 161101 SOS 57650 HAS SOPS 57650 HAS SOUS 41454 HAS SOUPS 41454 WITH SCORE 41511.65
AT ITER 1926 NEW BEST:: SOT 161072 SOS 57620 HAS SOPS 57620 HAS SOUS 41452 HAS SOUPS 41452 WITH SCORE 41509.62
AT ITER 1943 NEW BEST:: SOT 161034 SOS 57580 HAS SOPS 57580 HAS SOUS 41448 HAS SOUPS 41448 WITH SCORE 41505.58
AT ITER 1962 NEW BEST:: SOT 161037 SOS 57581 HAS SOPS 57581 HAS SOUS 41406 HAS SOUPS 41406 WITH SCORE 41463.581
AT ITER 1978 NEW BEST:: SOT 161051 SOS 57616 HAS SOPS 57616 HAS SOUS 41387 HAS SOUPS 41387 WITH SCORE 41444.616
AT ITER 1984 NEW BEST:: SOT 161046 SOS 57582 HAS SOPS 57582 HAS SOUS 41376 HAS SOUPS 41376 WITH SCORE 41433.582
AT ITER 1996 NEW BEST:: SOT 161000 SOS 57356 HAS SOPS 57356 HAS SOUS 41217 HAS SOUPS 41217 WITH SCORE 41274.356
AT ITER 2006 NEW BEST:: SOT 160994 SOS 57347 HAS SOPS 57347 HAS SOUS 41208 HAS SOUPS 41208 WITH SCORE 41265.347
AT ITER 2020 NEW BEST:: SOT 160958 SOS 57274 HAS SOPS 57274 HAS SOUS 41171 HAS SOUPS 41171 WITH SCORE 41228.274
AT ITER 2026 NEW BEST:: SOT 160959 SOS 57267 HAS SOPS 57267 HAS SOUS 41142 HAS SOUPS 41142 WITH SCORE 41199.267
AT ITER 2040 NEW BEST:: SOT 160963 SOS 57275 HAS SOPS 57275 HAS SOUS 41091 HAS SOUPS 41091 WITH SCORE 41148.275
AT ITER 2044 NEW BEST:: SOT 160805 SOS 57115 HAS SOPS 57115 HAS SOUS 40856 HAS SOUPS 40856 WITH SCORE 40913.115
AT ITER 2048 NEW BEST:: SOT 160805 SOS 57113 HAS SOPS 57113 HAS SOUS 40856 HAS SOUPS 40856 WITH SCORE 40913.113
AT ITER 2056 NEW BEST:: SOT 160754 SOS 57011 HAS SOPS 57011 HAS SOUS 40805 HAS SOUPS 40805 WITH SCORE 40862.011
AT ITER 2069 NEW BEST:: SOT 160753 SOS 57009 HAS SOPS 57009 HAS SOUS 40803 HAS SOUPS 40803 WITH SCORE 40860.009
AT ITER 2076 NEW BEST:: SOT 160750 SOS 57003 HAS SOPS 57003 HAS SOUS 40792 HAS SOUPS 40792 WITH SCORE 40849.003
AT ITER 2078 NEW BEST:: SOT 160721 SOS 57070 HAS SOPS 57070 HAS SOUS 40788 HAS SOUPS 40788 WITH SCORE 40845.07
AT ITER 2091 NEW BEST:: SOT 160707 SOS 57056 HAS SOPS 57056 HAS SOUS 40788 HAS SOUPS 40788 WITH SCORE 40845.056
AT ITER 2107 NEW BEST:: SOT 160699 SOS 57048 HAS SOPS 57048 HAS SOUS 40780 HAS SOUPS 40780 WITH SCORE 40837.048
AT ITER 2118 NEW BEST:: SOT 160718 SOS 57060 HAS SOPS 57060 HAS SOUS 40766 HAS SOUPS 40766 WITH SCORE 40823.06
AT ITER 2137 NEW BEST:: SOT 160702 SOS 57044 HAS SOPS 57044 HAS SOUS 40750 HAS SOUPS 40750 WITH SCORE 40807.044
AT ITER 2179 NEW BEST:: SOT 160732 SOS 56993 HAS SOPS 56993 HAS SOUS 40699 HAS SOUPS 40699 WITH SCORE 40755.993
AT ITER 2192 NEW BEST:: SOT 160692 SOS 56912 HAS SOPS 56912 HAS SOUS 40618 HAS SOUPS 40618 WITH SCORE 40674.912
AT ITER 2251 NEW BEST:: SOT 160854 SOS 56958 HAS SOPS 56958 HAS SOUS 40493 HAS SOUPS 40493 WITH SCORE 40549.958
AT ITER 2253 NEW BEST:: SOT 160871 SOS 55950 HAS SOPS 55950 HAS SOUS 40493 HAS SOUPS 40493 WITH SCORE 40548.95
AT ITER 2256 NEW BEST:: SOT 160798 SOS 55804 HAS SOPS 55804 HAS SOUS 40426 HAS SOUPS 40426 WITH SCORE 40481.804
AT ITER 2259 NEW BEST:: SOT 160784 SOS 55790 HAS SOPS 55790 HAS SOUS 40426 HAS SOUPS 40426 WITH SCORE 40481.79
AT ITER 2267 NEW BEST:: SOT 160792 SOS 55789 HAS SOPS 55789 HAS SOUS 40425 HAS SOUPS 40425 WITH SCORE 40480.789
AT ITER 2283 NEW BEST:: SOT 160780 SOS 55765 HAS SOPS 55765 HAS SOUS 40392 HAS SOUPS 40392 WITH SCORE 40447.765
AT ITER 2287 NEW BEST:: SOT 160789 SOS 55783 HAS SOPS 55783 HAS SOUS 40378 HAS SOUPS 40378 WITH SCORE 40433.783
AT ITER 2291 NEW BEST:: SOT 160784 SOS 55773 HAS SOPS 55773 HAS SOUS 40368 HAS SOUPS 40368 WITH SCORE 40423.773
AT ITER 2299 NEW BEST:: SOT 160816 SOS 55749 HAS SOPS 55749 HAS SOUS 40344 HAS SOUPS 40344 WITH SCORE 40399.749
AT ITER 2302 NEW BEST:: SOT 160816 SOS 55638 HAS SOPS 55638 HAS SOUS 40336 HAS SOUPS 40336 WITH SCORE 40391.638
AT ITER 2308 NEW BEST:: SOT 160784 SOS 55606 HAS SOPS 55606 HAS SOUS 40304 HAS SOUPS 40304 WITH SCORE 40359.606
AT ITER 2309 NEW BEST:: SOT 160755 SOS 55606 HAS SOPS 55606 HAS SOUS 40275 HAS SOUPS 40275 WITH SCORE 40330.606
AT ITER 2314 NEW BEST:: SOT 160739 SOS 55557 HAS SOPS 55557 HAS SOUS 40164 HAS SOUPS 40164 WITH SCORE 40219.557
AT ITER 2328 NEW BEST:: SOT 160734 SOS 55547 HAS SOPS 55547 HAS SOUS 40141 HAS SOUPS 40141 WITH SCORE 40196.547
AT ITER 2329 NEW BEST:: SOT 160708 SOS 55495 HAS SOPS 55495 HAS SOUS 40027 HAS SOUPS 40027 WITH SCORE 40082.495
AT ITER 2351 NEW BEST:: SOT 160729 SOS 55542 HAS SOPS 55542 HAS SOUS 39965 HAS SOUPS 39965 WITH SCORE 40020.542
AT ITER 2355 NEW BEST:: SOT 160683 SOS 55402 HAS SOPS 55402 HAS SOUS 39825 HAS SOUPS 39825 WITH SCORE 39880.402
AT ITER 2367 NEW BEST:: SOT 160669 SOS 55388 HAS SOPS 55388 HAS SOUS 39811 HAS SOUPS 39811 WITH SCORE 39866.388
AT ITER 2377 NEW BEST:: SOT 160664 SOS 55344 HAS SOPS 55344 HAS SOUS 39806 HAS SOUPS 39806 WITH SCORE 39861.344
AT ITER 2384 NEW BEST:: SOT 160682 SOS 55380 HAS SOPS 55380 HAS SOUS 39805 HAS SOUPS 39805 WITH SCORE 39860.38
AT ITER 2390 NEW BEST:: SOT 160554 SOS 55124 HAS SOPS 55124 HAS SOUS 39677 HAS SOUPS 39677 WITH SCORE 39732.124
AT ITER 2393 NEW BEST:: SOT 160518 SOS 55052 HAS SOPS 55052 HAS SOUS 39605 HAS SOUPS 39605 WITH SCORE 39660.052
AT ITER 2412 NEW BEST:: SOT 160502 SOS 55036 HAS SOPS 55036 HAS SOUS 39605 HAS SOUPS 39605 WITH SCORE 39660.036
AT ITER 2430 NEW BEST:: SOT 160489 SOS 55023 HAS SOPS 55023 HAS SOUS 39596 HAS SOUPS 39596 WITH SCORE 39651.023
AT ITER 2436 NEW BEST:: SOT 160473 SOS 55007 HAS SOPS 55007 HAS SOUS 39596 HAS SOUPS 39596 WITH SCORE 39651.007
AT ITER 2452 NEW BEST:: SOT 160471 SOS 55005 HAS SOPS 55005 HAS SOUS 39594 HAS SOUPS 39594 WITH SCORE 39649.005
AT ITER 2475 NEW BEST:: SOT 160362 SOS 54896 HAS SOPS 54896 HAS SOUS 39485 HAS SOUPS 39485 WITH SCORE 39539.896
AT ITER 2482 NEW BEST:: SOT 160369 SOS 54816 HAS SOPS 54816 HAS SOUS 39405 HAS SOUPS 39405 WITH SCORE 39459.816
AT ITER 2504 NEW BEST:: SOT 160332 SOS 54683 HAS SOPS 54683 HAS SOUS 39272 HAS SOUPS 39272 WITH SCORE 39326.683
AT ITER 2528 NEW BEST:: SOT 160300 SOS 54571 HAS SOPS 54571 HAS SOUS 39192 HAS SOUPS 39192 WITH SCORE 39246.571
AT ITER 2534 NEW BEST:: SOT 160220 SOS 54491 HAS SOPS 54491 HAS SOUS 39112 HAS SOUPS 39112 WITH SCORE 39166.491
AT ITER 2552 NEW BEST:: SOT 160220 SOS 54490 HAS SOPS 54490 HAS SOUS 39111 HAS SOUPS 39111 WITH SCORE 39165.49
AT ITER 2557 NEW BEST:: SOT 160216 SOS 54432 HAS SOPS 54432 HAS SOUS 39053 HAS SOUPS 39053 WITH SCORE 39107.432
AT ITER 2560 NEW BEST:: SOT 160176 SOS 54379 HAS SOPS 54379 HAS SOUS 39027 HAS SOUPS 39027 WITH SCORE 39081.379
AT ITER 2561 NEW BEST:: SOT 160172 SOS 54371 HAS SOPS 54371 HAS SOUS 39019 HAS SOUPS 39019 WITH SCORE 39073.371
AT ITER 2567 NEW BEST:: SOT 160063 SOS 54212 HAS SOPS 54212 HAS SOUS 39014 HAS SOUPS 39014 WITH SCORE 39068.212
AT ITER 2578 NEW BEST:: SOT 160118 SOS 54144 HAS SOPS 54144 HAS SOUS 38988 HAS SOUPS 38988 WITH SCORE 39042.144
AT ITER 2618 NEW BEST:: SOT 160032 SOS 53973 HAS SOPS 53973 HAS SOUS 38817 HAS SOUPS 38817 WITH SCORE 38870.973
AT ITER 2631 NEW BEST:: SOT 160015 SOS 53945 HAS SOPS 53945 HAS SOUS 38789 HAS SOUPS 38789 WITH SCORE 38842.945
AT ITER 2637 NEW BEST:: SOT 160004 SOS 53934 HAS SOPS 53934 HAS SOUS 38778 HAS SOUPS 38778 WITH SCORE 38831.934
AT ITER 2654 NEW BEST:: SOT 160000 SOS 53926 HAS SOPS 53926 HAS SOUS 38774 HAS SOUPS 38774 WITH SCORE 38827.926
AT ITER 2659 NEW BEST:: SOT 160006 SOS 53938 HAS SOPS 53938 HAS SOUS 38675 HAS SOUPS 38675 WITH SCORE 38728.938
AT ITER 2665 NEW BEST:: SOT 159995 SOS 53927 HAS SOPS 53927 HAS SOUS 38664 HAS SOUPS 38664 WITH SCORE 38717.927
AT ITER 2681 NEW BEST:: SOT 159846 SOS 53715 HAS SOPS 53715 HAS SOUS 38531 HAS SOUPS 38531 WITH SCORE 38584.715
AT ITER 2683 NEW BEST:: SOT 159846 SOS 53714 HAS SOPS 53714 HAS SOUS 38530 HAS SOUPS 38530 WITH SCORE 38583.714
AT ITER 2719 NEW BEST:: SOT 159836 SOS 53655 HAS SOPS 53655 HAS SOUS 38471 HAS SOUPS 38471 WITH SCORE 38524.655
AT ITER 2730 NEW BEST:: SOT 159840 SOS 53599 HAS SOPS 53599 HAS SOUS 38450 HAS SOUPS 38450 WITH SCORE 38503.599
AT ITER 2736 NEW BEST:: SOT 159840 SOS 53536 HAS SOPS 53536 HAS SOUS 38394 HAS SOUPS 38394 WITH SCORE 38447.536
AT ITER 2743 NEW BEST:: SOT 159862 SOS 53529 HAS SOPS 53529 HAS SOUS 38387 HAS SOUPS 38387 WITH SCORE 38440.529
AT ITER 2748 NEW BEST:: SOT 159856 SOS 53292 HAS SOPS 53292 HAS SOUS 38150 HAS SOUPS 38150 WITH SCORE 38203.292
AT ITER 2753 NEW BEST:: SOT 159854 SOS 53288 HAS SOPS 53288 HAS SOUS 38146 HAS SOUPS 38146 WITH SCORE 38199.288
AT ITER 2765 NEW BEST:: SOT 159848 SOS 53186 HAS SOPS 53186 HAS SOUS 38134 HAS SOUPS 38134 WITH SCORE 38187.186
AT ITER 2795 NEW BEST:: SOT 159847 SOS 53182 HAS SOPS 53182 HAS SOUS 38117 HAS SOUPS 38117 WITH SCORE 38170.182
AT ITER 2806 NEW BEST:: SOT 159754 SOS 52996 HAS SOPS 52996 HAS SOUS 37931 HAS SOUPS 37931 WITH SCORE 37983.996
AT ITER 2817 NEW BEST:: SOT 159753 SOS 52964 HAS SOPS 52964 HAS SOUS 37899 HAS SOUPS 37899 WITH SCORE 37951.964
AT ITER 2830 NEW BEST:: SOT 159693 SOS 52904 HAS SOPS 52904 HAS SOUS 37899 HAS SOUPS 37899 WITH SCORE 37951.904
AT ITER 2835 NEW BEST:: SOT 159693 SOS 52882 HAS SOPS 52882 HAS SOUS 37877 HAS SOUPS 37877 WITH SCORE 37929.882
AT ITER 2854 NEW BEST:: SOT 159693 SOS 52864 HAS SOPS 52864 HAS SOUS 37859 HAS SOUPS 37859 WITH SCORE 37911.864
AT ITER 2864 NEW BEST:: SOT 159664 SOS 52794 HAS SOPS 52794 HAS SOUS 37789 HAS SOUPS 37789 WITH SCORE 37841.794
AT ITER 2889 NEW BEST:: SOT 159640 SOS 52779 HAS SOPS 52779 HAS SOUS 37756 HAS SOUPS 37756 WITH SCORE 37808.779
AT ITER 2910 NEW BEST:: SOT 159640 SOS 52731 HAS SOPS 52731 HAS SOUS 37739 HAS SOUPS 37739 WITH SCORE 37791.731
AT ITER 2923 NEW BEST:: SOT 159638 SOS 52727 HAS SOPS 52727 HAS SOUS 37738 HAS SOUPS 37738 WITH SCORE 37790.727
AT ITER 2930 NEW BEST:: SOT 159638 SOS 52693 HAS SOPS 52693 HAS SOUS 37704 HAS SOUPS 37704 WITH SCORE 37756.693
AT ITER 2941 NEW BEST:: SOT 159636 SOS 52699 HAS SOPS 52699 HAS SOUS 37700 HAS SOUPS 37700 WITH SCORE 37752.699
AT ITER 2944 NEW BEST:: SOT 159629 SOS 52646 HAS SOPS 52646 HAS SOUS 37601 HAS SOUPS 37601 WITH SCORE 37653.646
AT ITER 2988 NEW BEST:: SOT 159629 SOS 52646 HAS SOPS 52646 HAS SOUS 37576 HAS SOUPS 37576 WITH SCORE 37628.646
AT ITER 3011 NEW BEST:: SOT 159608 SOS 52571 HAS SOPS 52571 HAS SOUS 37516 HAS SOUPS 37516 WITH SCORE 37568.571
AT ITER 3013 NEW BEST:: SOT 159600 SOS 52555 HAS SOPS 52555 HAS SOUS 37500 HAS SOUPS 37500 WITH SCORE 37552.555
AT ITER 3023 NEW BEST:: SOT 159527 SOS 52482 HAS SOPS 52482 HAS SOUS 37427 HAS SOUPS 37427 WITH SCORE 37479.482
AT ITER 3027 NEW BEST:: SOT 159527 SOS 52428 HAS SOPS 52428 HAS SOUS 37373 HAS SOUPS 37373 WITH SCORE 37425.428
AT ITER 3035 NEW BEST:: SOT 159520 SOS 52381 HAS SOPS 52381 HAS SOUS 37326 HAS SOUPS 37326 WITH SCORE 37378.381
AT ITER 3049 NEW BEST:: SOT 159520 SOS 52304 HAS SOPS 52304 HAS SOUS 37326 HAS SOUPS 37326 WITH SCORE 37378.304
AT ITER 3088 NEW BEST:: SOT 159503 SOS 52273 HAS SOPS 52273 HAS SOUS 37295 HAS SOUPS 37295 WITH SCORE 37347.273
AT ITER 3095 NEW BEST:: SOT 159503 SOS 52265 HAS SOPS 52265 HAS SOUS 37287 HAS SOUPS 37287 WITH SCORE 37339.265
AT ITER 3112 NEW BEST:: SOT 159484 SOS 52259 HAS SOPS 52259 HAS SOUS 37281 HAS SOUPS 37281 WITH SCORE 37333.259
AT ITER 3122 NEW BEST:: SOT 159441 SOS 52173 HAS SOPS 52173 HAS SOUS 37238 HAS SOUPS 37238 WITH SCORE 37290.173
AT ITER 3125 NEW BEST:: SOT 159430 SOS 52164 HAS SOPS 52164 HAS SOUS 37229 HAS SOUPS 37229 WITH SCORE 37281.164
AT ITER 3129 NEW BEST:: SOT 159428 SOS 52160 HAS SOPS 52160 HAS SOUS 37227 HAS SOUPS 37227 WITH SCORE 37279.16
AT ITER 3138 NEW BEST:: SOT 159370 SOS 52073 HAS SOPS 52073 HAS SOUS 37169 HAS SOUPS 37169 WITH SCORE 37221.073
AT ITER 3140 NEW BEST:: SOT 159370 SOS 51589 HAS SOPS 51589 HAS SOUS 37150 HAS SOUPS 37150 WITH SCORE 37201.589
AT ITER 3147 NEW BEST:: SOT 159346 SOS 51533 HAS SOPS 51533 HAS SOUS 37142 HAS SOUPS 37142 WITH SCORE 37193.533
AT ITER 3169 NEW BEST:: SOT 159346 SOS 51509 HAS SOPS 51509 HAS SOUS 37118 HAS SOUPS 37118 WITH SCORE 37169.509
AT ITER 3179 NEW BEST:: SOT 159305 SOS 51353 HAS SOPS 51353 HAS SOUS 37036 HAS SOUPS 37036 WITH SCORE 37087.353
AT ITER 3221 NEW BEST:: SOT 159264 SOS 51271 HAS SOPS 51271 HAS SOUS 36954 HAS SOUPS 36954 WITH SCORE 37005.271
AT ITER 3251 NEW BEST:: SOT 159258 SOS 51259 HAS SOPS 51259 HAS SOUS 36948 HAS SOUPS 36948 WITH SCORE 36999.259
AT ITER 3286 NEW BEST:: SOT 159251 SOS 51252 HAS SOPS 51252 HAS SOUS 36941 HAS SOUPS 36941 WITH SCORE 36992.252
AT ITER 3287 NEW BEST:: SOT 159126 SOS 51127 HAS SOPS 51127 HAS SOUS 36841 HAS SOUPS 36841 WITH SCORE 36892.127
AT ITER 3292 NEW BEST:: SOT 159121 SOS 51122 HAS SOPS 51122 HAS SOUS 36836 HAS SOUPS 36836 WITH SCORE 36887.122
AT ITER 3296 NEW BEST:: SOT 159017 SOS 51018 HAS SOPS 51018 HAS SOUS 36810 HAS SOUPS 36810 WITH SCORE 36861.018
AT ITER 3303 NEW BEST:: SOT 159015 SOS 51016 HAS SOPS 51016 HAS SOUS 36808 HAS SOUPS 36808 WITH SCORE 36859.016
AT ITER 3309 NEW BEST:: SOT 159000 SOS 50922 HAS SOPS 50922 HAS SOUS 36714 HAS SOUPS 36714 WITH SCORE 36764.922
AT ITER 3311 NEW BEST:: SOT 158992 SOS 50920 HAS SOPS 50920 HAS SOUS 36712 HAS SOUPS 36712 WITH SCORE 36762.92
AT ITER 3316 NEW BEST:: SOT 158946 SOS 50958 HAS SOPS 50958 HAS SOUS 36692 HAS SOUPS 36692 WITH SCORE 36742.958
AT ITER 3343 NEW BEST:: SOT 158878 SOS 50890 HAS SOPS 50890 HAS SOUS 36692 HAS SOUPS 36692 WITH SCORE 36742.89
AT ITER 3367 NEW BEST:: SOT 158876 SOS 50888 HAS SOPS 50888 HAS SOUS 36690 HAS SOUPS 36690 WITH SCORE 36740.888
AT ITER 3374 NEW BEST:: SOT 158858 SOS 50837 HAS SOPS 50837 HAS SOUS 36639 HAS SOUPS 36639 WITH SCORE 36689.837
AT ITER 3375 NEW BEST:: SOT 158838 SOS 50807 HAS SOPS 50807 HAS SOUS 36619 HAS SOUPS 36619 WITH SCORE 36669.807
AT ITER 3376 NEW BEST:: SOT 158838 SOS 50867 HAS SOPS 50867 HAS SOUS 36593 HAS SOUPS 36593 WITH SCORE 36643.867
AT ITER 3378 NEW BEST:: SOT 158839 SOS 50687 HAS SOPS 50687 HAS SOUS 36580 HAS SOUPS 36580 WITH SCORE 36630.687
AT ITER 3385 NEW BEST:: SOT 158818 SOS 50704 HAS SOPS 50704 HAS SOUS 36559 HAS SOUPS 36559 WITH SCORE 36609.704
AT ITER 3387 NEW BEST:: SOT 158741 SOS 50704 HAS SOPS 50704 HAS SOUS 36556 HAS SOUPS 36556 WITH SCORE 36606.704
AT ITER 3419 NEW BEST:: SOT 158686 SOS 50666 HAS SOPS 50666 HAS SOUS 36518 HAS SOUPS 36518 WITH SCORE 36568.666
AT ITER 3432 NEW BEST:: SOT 158686 SOS 50631 HAS SOPS 50631 HAS SOUS 36518 HAS SOUPS 36518 WITH SCORE 36568.631
AT ITER 3449 NEW BEST:: SOT 158659 SOS 50582 HAS SOPS 50582 HAS SOUS 36495 HAS SOUPS 36495 WITH SCORE 36545.582
AT ITER 3484 NEW BEST:: SOT 158564 SOS 50420 HAS SOPS 50420 HAS SOUS 36424 HAS SOUPS 36424 WITH SCORE 36474.42
AT ITER 3487 NEW BEST:: SOT 158555 SOS 50411 HAS SOPS 50411 HAS SOUS 36415 HAS SOUPS 36415 WITH SCORE 36465.411
AT ITER 3496 NEW BEST:: SOT 158552 SOS 50408 HAS SOPS 50408 HAS SOUS 36412 HAS SOUPS 36412 WITH SCORE 36462.408
AT ITER 3503 NEW BEST:: SOT 158483 SOS 50339 HAS SOPS 50339 HAS SOUS 36343 HAS SOUPS 36343 WITH SCORE 36393.339
AT ITER 3524 NEW BEST:: SOT 158468 SOS 50314 HAS SOPS 50314 HAS SOUS 36326 HAS SOUPS 36326 WITH SCORE 36376.314
AT ITER 3539 NEW BEST:: SOT 158548 SOS 50224 HAS SOPS 50224 HAS SOUS 36256 HAS SOUPS 36256 WITH SCORE 36306.224
AT ITER 3551 NEW BEST:: SOT 158547 SOS 50223 HAS SOPS 50223 HAS SOUS 36256 HAS SOUPS 36256 WITH SCORE 36306.223
AT ITER 3552 NEW BEST:: SOT 158543 SOS 50215 HAS SOPS 50215 HAS SOUS 36248 HAS SOUPS 36248 WITH SCORE 36298.215
AT ITER 3556 NEW BEST:: SOT 158569 SOS 50198 HAS SOPS 50198 HAS SOUS 36162 HAS SOUPS 36162 WITH SCORE 36212.198
AT ITER 3577 NEW BEST:: SOT 158575 SOS 50120 HAS SOPS 50120 HAS SOUS 36084 HAS SOUPS 36084 WITH SCORE 36134.12
AT ITER 3599 NEW BEST:: SOT 158574 SOS 50103 HAS SOPS 50103 HAS SOUS 36082 HAS SOUPS 36082 WITH SCORE 36132.103
AT ITER 3622 NEW BEST:: SOT 158481 SOS 49953 HAS SOPS 49953 HAS SOUS 36023 HAS SOUPS 36023 WITH SCORE 36072.953
AT ITER 3651 NEW BEST:: SOT 158444 SOS 49895 HAS SOPS 49895 HAS SOUS 35965 HAS SOUPS 35965 WITH SCORE 36014.895
AT ITER 3655 NEW BEST:: SOT 158438 SOS 49897 HAS SOPS 49897 HAS SOUS 35959 HAS SOUPS 35959 WITH SCORE 36008.897
AT ITER 3665 NEW BEST:: SOT 158436 SOS 49891 HAS SOPS 49891 HAS SOUS 35955 HAS SOUPS 35955 WITH SCORE 36004.891
AT ITER 3672 NEW BEST:: SOT 158428 SOS 49875 HAS SOPS 49875 HAS SOUS 35939 HAS SOUPS 35939 WITH SCORE 35988.875
AT ITER 3678 NEW BEST:: SOT 158412 SOS 49851 HAS SOPS 49851 HAS SOUS 35915 HAS SOUPS 35915 WITH SCORE 35964.851
AT ITER 3735 NEW BEST:: SOT 158403 SOS 49815 HAS SOPS 49815 HAS SOUS 35906 HAS SOUPS 35906 WITH SCORE 35955.815
AT ITER 3784 NEW BEST:: SOT 158416 SOS 49813 HAS SOPS 49813 HAS SOUS 35904 HAS SOUPS 35904 WITH SCORE 35953.813
AT ITER 3787 NEW BEST:: SOT 158426 SOS 49747 HAS SOPS 49747 HAS SOUS 35838 HAS SOUPS 35838 WITH SCORE 35887.747
AT ITER 3826 NEW BEST:: SOT 158425 SOS 49745 HAS SOPS 49745 HAS SOUS 35836 HAS SOUPS 35836 WITH SCORE 35885.745
AT ITER 3827 NEW BEST:: SOT 158334 SOS 49654 HAS SOPS 49654 HAS SOUS 35794 HAS SOUPS 35794 WITH SCORE 35843.654
AT ITER 3873 NEW BEST:: SOT 158289 SOS 49609 HAS SOPS 49609 HAS SOUS 35724 HAS SOUPS 35724 WITH SCORE 35773.609
AT ITER 3905 NEW BEST:: SOT 158289 SOS 49601 HAS SOPS 49601 HAS SOUS 35716 HAS SOUPS 35716 WITH SCORE 35765.601
AT ITER 3934 NEW BEST:: SOT 158282 SOS 49594 HAS SOPS 49594 HAS SOUS 35709 HAS SOUPS 35709 WITH SCORE 35758.594
AT ITER 3943 NEW BEST:: SOT 158282 SOS 49562 HAS SOPS 49562 HAS SOUS 35689 HAS SOUPS 35689 WITH SCORE 35738.562
AT ITER 3973 NEW BEST:: SOT 158279 SOS 49559 HAS SOPS 49559 HAS SOUS 35686 HAS SOUPS 35686 WITH SCORE 35735.559
AT ITER 3988 NEW BEST:: SOT 158374 SOS 49601 HAS SOPS 49601 HAS SOUS 35654 HAS SOUPS 35654 WITH SCORE 35703.601
AT ITER 4009 NEW BEST:: SOT 158358 SOS 49585 HAS SOPS 49585 HAS SOUS 35654 HAS SOUPS 35654 WITH SCORE 35703.585
AT ITER 4015 NEW BEST:: SOT 158287 SOS 49459 HAS SOPS 49459 HAS SOUS 35528 HAS SOUPS 35528 WITH SCORE 35577.459
AT ITER 4018 NEW BEST:: SOT 158290 SOS 49465 HAS SOPS 49465 HAS SOUS 35473 HAS SOUPS 35473 WITH SCORE 35522.465
AT ITER 4034 NEW BEST:: SOT 158247 SOS 49379 HAS SOPS 49379 HAS SOUS 35433 HAS SOUPS 35433 WITH SCORE 35482.379
AT ITER 4067 NEW BEST:: SOT 158245 SOS 49377 HAS SOPS 49377 HAS SOUS 35407 HAS SOUPS 35407 WITH SCORE 35456.377
AT ITER 4075 NEW BEST:: SOT 158229 SOS 49345 HAS SOPS 49345 HAS SOUS 35375 HAS SOUPS 35375 WITH SCORE 35424.345
AT ITER 4078 NEW BEST:: SOT 158226 SOS 49339 HAS SOPS 49339 HAS SOUS 35372 HAS SOUPS 35372 WITH SCORE 35421.339
AT ITER 4114 NEW BEST:: SOT 158198 SOS 49283 HAS SOPS 49283 HAS SOUS 35344 HAS SOUPS 35344 WITH SCORE 35393.283
AT ITER 4121 NEW BEST:: SOT 158212 SOS 49168 HAS SOPS 49168 HAS SOUS 35240 HAS SOUPS 35240 WITH SCORE 35289.168
AT ITER 4161 NEW BEST:: SOT 158198 SOS 49184 HAS SOPS 49184 HAS SOUS 35212 HAS SOUPS 35212 WITH SCORE 35261.184
AT ITER 4165 NEW BEST:: SOT 158109 SOS 49088 HAS SOPS 49088 HAS SOUS 35116 HAS SOUPS 35116 WITH SCORE 35165.088
AT ITER 4172 NEW BEST:: SOT 158004 SOS 48956 HAS SOPS 48956 HAS SOUS 34984 HAS SOUPS 34984 WITH SCORE 35032.956
AT ITER 4189 NEW BEST:: SOT 157993 SOS 48945 HAS SOPS 48945 HAS SOUS 34973 HAS SOUPS 34973 WITH SCORE 35021.945
AT ITER 4197 NEW BEST:: SOT 157882 SOS 48843 HAS SOPS 48843 HAS SOUS 34871 HAS SOUPS 34871 WITH SCORE 34919.843
AT ITER 4212 NEW BEST:: SOT 157867 SOS 48813 HAS SOPS 48813 HAS SOUS 34841 HAS SOUPS 34841 WITH SCORE 34889.813
AT ITER 4249 NEW BEST:: SOT 157854 SOS 48572 HAS SOPS 48572 HAS SOUS 34736 HAS SOUPS 34736 WITH SCORE 34784.572
AT ITER 4257 NEW BEST:: SOT 157853 SOS 48570 HAS SOPS 48570 HAS SOUS 34733 HAS SOUPS 34733 WITH SCORE 34781.57
AT ITER 4261 NEW BEST:: SOT 157824 SOS 48511 HAS SOPS 48511 HAS SOUS 34698 HAS SOUPS 34698 WITH SCORE 34746.511
AT ITER 4284 NEW BEST:: SOT 157824 SOS 48511 HAS SOPS 48511 HAS SOUS 34683 HAS SOUPS 34683 WITH SCORE 34731.511
AT ITER 4306 NEW BEST:: SOT 157797 SOS 48457 HAS SOPS 48457 HAS SOUS 34652 HAS SOUPS 34652 WITH SCORE 34700.457
AT ITER 4317 NEW BEST:: SOT 157797 SOS 48451 HAS SOPS 48451 HAS SOUS 34652 HAS SOUPS 34652 WITH SCORE 34700.451
AT ITER 4343 NEW BEST:: SOT 157793 SOS 48451 HAS SOPS 48451 HAS SOUS 34638 HAS SOUPS 34638 WITH SCORE 34686.451
AT ITER 4354 NEW BEST:: SOT 157841 SOS 48434 HAS SOPS 48434 HAS SOUS 34621 HAS SOUPS 34621 WITH SCORE 34669.434
AT ITER 4449 NEW BEST:: SOT 157841 SOS 48412 HAS SOPS 48412 HAS SOUS 34599 HAS SOUPS 34599 WITH SCORE 34647.412
AT ITER 4456 NEW BEST:: SOT 157834 SOS 48391 HAS SOPS 48391 HAS SOUS 34585 HAS SOUPS 34585 WITH SCORE 34633.391
AT ITER 4462 NEW BEST:: SOT 157834 SOS 48381 HAS SOPS 48381 HAS SOUS 34575 HAS SOUPS 34575 WITH SCORE 34623.381
AT ITER 4495 NEW BEST:: SOT 157787 SOS 48428 HAS SOPS 48428 HAS SOUS 34481 HAS SOUPS 34481 WITH SCORE 34529.428
AT ITER 4496 NEW BEST:: SOT 157786 SOS 48427 HAS SOPS 48427 HAS SOUS 34480 HAS SOUPS 34480 WITH SCORE 34528.427
AT ITER 4546 NEW BEST:: SOT 157703 SOS 48323 HAS SOPS 48323 HAS SOUS 34409 HAS SOUPS 34409 WITH SCORE 34457.323
AT ITER 4564 NEW BEST:: SOT 157689 SOS 48356 HAS SOPS 48356 HAS SOUS 34406 HAS SOUPS 34406 WITH SCORE 34454.356
AT ITER 4596 NEW BEST:: SOT 157689 SOS 48337 HAS SOPS 48337 HAS SOUS 34406 HAS SOUPS 34406 WITH SCORE 34454.337
AT ITER 4597 NEW BEST:: SOT 157700 SOS 48331 HAS SOPS 48331 HAS SOUS 34400 HAS SOUPS 34400 WITH SCORE 34448.331
AT ITER 4631 NEW BEST:: SOT 157699 SOS 48329 HAS SOPS 48329 HAS SOUS 34398 HAS SOUPS 34398 WITH SCORE 34446.329
AT ITER 4671 NEW BEST:: SOT 157696 SOS 48326 HAS SOPS 48326 HAS SOUS 34395 HAS SOUPS 34395 WITH SCORE 34443.326
AT ITER 4702 NEW BEST:: SOT 157685 SOS 48304 HAS SOPS 48304 HAS SOUS 34373 HAS SOUPS 34373 WITH SCORE 34421.304
AT ITER 4746 NEW BEST:: SOT 157665 SOS 48284 HAS SOPS 48284 HAS SOUS 34353 HAS SOUPS 34353 WITH SCORE 34401.284
AT ITER 4748 NEW BEST:: SOT 157639 SOS 48195 HAS SOPS 48195 HAS SOUS 34291 HAS SOUPS 34291 WITH SCORE 34339.195
AT ITER 4750 NEW BEST:: SOT 157639 SOS 48186 HAS SOPS 48186 HAS SOUS 34291 HAS SOUPS 34291 WITH SCORE 34339.186
AT ITER 4762 NEW BEST:: SOT 157653 SOS 48153 HAS SOPS 48153 HAS SOUS 34275 HAS SOUPS 34275 WITH SCORE 34323.153
AT ITER 4837 NEW BEST:: SOT 157630 SOS 48107 HAS SOPS 48107 HAS SOUS 34229 HAS SOUPS 34229 WITH SCORE 34277.107
AT ITER 4838 NEW BEST:: SOT 157630 SOS 48105 HAS SOPS 48105 HAS SOUS 34227 HAS SOUPS 34227 WITH SCORE 34275.105
AT ITER 4859 NEW BEST:: SOT 157679 SOS 48087 HAS SOPS 48087 HAS SOUS 34209 HAS SOUPS 34209 WITH SCORE 34257.087
AT ITER 4874 NEW BEST:: SOT 157679 SOS 48087 HAS SOPS 48087 HAS SOUS 34182 HAS SOUPS 34182 WITH SCORE 34230.087
AT ITER 4878 NEW BEST:: SOT 157476 SOS 47896 HAS SOPS 47896 HAS SOUS 34175 HAS SOUPS 34175 WITH SCORE 34222.896
AT ITER 4937 NEW BEST:: SOT 157467 SOS 47883 HAS SOPS 47883 HAS SOUS 34167 HAS SOUPS 34167 WITH SCORE 34214.883
AT ITER 4945 NEW BEST:: SOT 157467 SOS 47869 HAS SOPS 47869 HAS SOUS 34153 HAS SOUPS 34153 WITH SCORE 34200.869
AT ITER 4961 NEW BEST:: SOT 157463 SOS 47865 HAS SOPS 47865 HAS SOUS 34145 HAS SOUPS 34145 WITH SCORE 34192.865
AT ITER 4975 NEW BEST:: SOT 157573 SOS 47975 HAS SOPS 47975 HAS SOUS 34131 HAS SOUPS 34131 WITH SCORE 34178.975
AT ITER 4983 NEW BEST:: SOT 157567 SOS 47969 HAS SOPS 47969 HAS SOUS 34125 HAS SOUPS 34125 WITH SCORE 34172.969
AT ITER 5020 NEW BEST:: SOT 157531 SOS 47949 HAS SOPS 47949 HAS SOUS 34105 HAS SOUPS 34105 WITH SCORE 34152.949
AT ITER 5026 NEW BEST:: SOT 157505 SOS 47910 HAS SOPS 47910 HAS SOUS 34079 HAS SOUPS 34079 WITH SCORE 34126.91
AT ITER 5038 NEW BEST:: SOT 157511 SOS 47916 HAS SOPS 47916 HAS SOUS 34067 HAS SOUPS 34067 WITH SCORE 34114.916
AT ITER 5041 NEW BEST:: SOT 157510 SOS 47914 HAS SOPS 47914 HAS SOUS 34065 HAS SOUPS 34065 WITH SCORE 34112.914
AT ITER 5061 NEW BEST:: SOT 157478 SOS 47849 HAS SOPS 47849 HAS SOUS 34051 HAS SOUPS 34051 WITH SCORE 34098.849
AT ITER 5076 NEW BEST:: SOT 157444 SOS 47815 HAS SOPS 47815 HAS SOUS 34017 HAS SOUPS 34017 WITH SCORE 34064.815
AT ITER 5088 NEW BEST:: SOT 157440 SOS 47811 HAS SOPS 47811 HAS SOUS 34013 HAS SOUPS 34013 WITH SCORE 34060.811
AT ITER 5125 NEW BEST:: SOT 157435 SOS 47822 HAS SOPS 47822 HAS SOUS 34010 HAS SOUPS 34010 WITH SCORE 34057.822
AT ITER 5136 NEW BEST:: SOT 157425 SOS 47822 HAS SOPS 47822 HAS SOUS 34009 HAS SOUPS 34009 WITH SCORE 34056.822
AT ITER 5159 NEW BEST:: SOT 157404 SOS 47780 HAS SOPS 47780 HAS SOUS 33987 HAS SOUPS 33987 WITH SCORE 34034.78
AT ITER 5162 NEW BEST:: SOT 157378 SOS 47672 HAS SOPS 47672 HAS SOUS 33879 HAS SOUPS 33879 WITH SCORE 33926.672
AT ITER 5180 NEW BEST:: SOT 157378 SOS 47671 HAS SOPS 47671 HAS SOUS 33878 HAS SOUPS 33878 WITH SCORE 33925.671
AT ITER 5184 NEW BEST:: SOT 157385 SOS 47701 HAS SOPS 47701 HAS SOUS 33877 HAS SOUPS 33877 WITH SCORE 33924.701
AT ITER 5217 NEW BEST:: SOT 157373 SOS 47689 HAS SOPS 47689 HAS SOUS 33865 HAS SOUPS 33865 WITH SCORE 33912.689
AT ITER 5232 NEW BEST:: SOT 157324 SOS 47656 HAS SOPS 47656 HAS SOUS 33832 HAS SOUPS 33832 WITH SCORE 33879.656
AT ITER 5249 NEW BEST:: SOT 157324 SOS 47628 HAS SOPS 47628 HAS SOUS 33810 HAS SOUPS 33810 WITH SCORE 33857.628
AT ITER 5272 NEW BEST:: SOT 157319 SOS 47632 HAS SOPS 47632 HAS SOUS 33803 HAS SOUPS 33803 WITH SCORE 33850.632
AT ITER 5316 NEW BEST:: SOT 157302 SOS 47598 HAS SOPS 47598 HAS SOUS 33769 HAS SOUPS 33769 WITH SCORE 33816.598
AT ITER 5343 NEW BEST:: SOT 157298 SOS 47592 HAS SOPS 47592 HAS SOUS 33765 HAS SOUPS 33765 WITH SCORE 33812.592
AT ITER 5347 NEW BEST:: SOT 157303 SOS 47602 HAS SOPS 47602 HAS SOUS 33751 HAS SOUPS 33751 WITH SCORE 33798.602
AT ITER 5353 NEW BEST:: SOT 157310 SOS 47622 HAS SOPS 47622 HAS SOUS 33735 HAS SOUPS 33735 WITH SCORE 33782.622
AT ITER 5394 NEW BEST:: SOT 157312 SOS 47612 HAS SOPS 47612 HAS SOUS 33723 HAS SOUPS 33723 WITH SCORE 33770.612
AT ITER 5398 NEW BEST:: SOT 157305 SOS 47605 HAS SOPS 47605 HAS SOUS 33709 HAS SOUPS 33709 WITH SCORE 33756.605
AT ITER 5404 NEW BEST:: SOT 157255 SOS 47582 HAS SOPS 47582 HAS SOUS 33686 HAS SOUPS 33686 WITH SCORE 33733.582
AT ITER 5410 NEW BEST:: SOT 157222 SOS 47549 HAS SOPS 47549 HAS SOUS 33653 HAS SOUPS 33653 WITH SCORE 33700.549
AT ITER 5453 NEW BEST:: SOT 157195 SOS 47547 HAS SOPS 47547 HAS SOUS 33651 HAS SOUPS 33651 WITH SCORE 33698.547
AT ITER 5479 NEW BEST:: SOT 157184 SOS 47535 HAS SOPS 47535 HAS SOUS 33649 HAS SOUPS 33649 WITH SCORE 33696.535
AT ITER 5480 NEW BEST:: SOT 157184 SOS 47535 HAS SOPS 47535 HAS SOUS 33631 HAS SOUPS 33631 WITH SCORE 33678.535
AT ITER 5483 NEW BEST:: SOT 157254 SOS 47602 HAS SOPS 47602 HAS SOUS 33610 HAS SOUPS 33610 WITH SCORE 33657.602
AT ITER 5500 NEW BEST:: SOT 157291 SOS 47518 HAS SOPS 47518 HAS SOUS 33526 HAS SOUPS 33526 WITH SCORE 33573.518
AT ITER 5515 NEW BEST:: SOT 157291 SOS 47518 HAS SOPS 47518 HAS SOUS 33517 HAS SOUPS 33517 WITH SCORE 33564.518
AT ITER 5532 NEW BEST:: SOT 157266 SOS 47468 HAS SOPS 47468 HAS SOUS 33425 HAS SOUPS 33425 WITH SCORE 33472.468
AT ITER 5539 NEW BEST:: SOT 157266 SOS 47466 HAS SOPS 47466 HAS SOUS 33423 HAS SOUPS 33423 WITH SCORE 33470.466
AT ITER 5570 NEW BEST:: SOT 157248 SOS 47430 HAS SOPS 47430 HAS SOUS 33387 HAS SOUPS 33387 WITH SCORE 33434.43
AT ITER 5622 NEW BEST:: SOT 157241 SOS 47423 HAS SOPS 47423 HAS SOUS 33380 HAS SOUPS 33380 WITH SCORE 33427.423
AT ITER 5632 NEW BEST:: SOT 157233 SOS 47407 HAS SOPS 47407 HAS SOUS 33364 HAS SOUPS 33364 WITH SCORE 33411.407
AT ITER 5636 NEW BEST:: SOT 157195 SOS 47374 HAS SOPS 47374 HAS SOUS 33331 HAS SOUPS 33331 WITH SCORE 33378.374
AT ITER 5640 NEW BEST:: SOT 157300 SOS 47265 HAS SOPS 47265 HAS SOUS 33222 HAS SOUPS 33222 WITH SCORE 33269.265
AT ITER 5653 NEW BEST:: SOT 157295 SOS 47263 HAS SOPS 47263 HAS SOUS 33220 HAS SOUPS 33220 WITH SCORE 33267.263
AT ITER 5663 NEW BEST:: SOT 157295 SOS 47187 HAS SOPS 47187 HAS SOUS 33144 HAS SOUPS 33144 WITH SCORE 33191.187
AT ITER 5689 NEW BEST:: SOT 157303 SOS 47121 HAS SOPS 47121 HAS SOUS 33078 HAS SOUPS 33078 WITH SCORE 33125.121
AT ITER 5703 NEW BEST:: SOT 157301 SOS 47117 HAS SOPS 47117 HAS SOUS 33076 HAS SOUPS 33076 WITH SCORE 33123.117
AT ITER 5802 NEW BEST:: SOT 157296 SOS 47047 HAS SOPS 47047 HAS SOUS 33061 HAS SOUPS 33061 WITH SCORE 33108.047
AT ITER 5806 NEW BEST:: SOT 157241 SOS 46969 HAS SOPS 46969 HAS SOUS 33015 HAS SOUPS 33015 WITH SCORE 33061.969
AT ITER 5807 NEW BEST:: SOT 157237 SOS 46965 HAS SOPS 46965 HAS SOUS 33011 HAS SOUPS 33011 WITH SCORE 33057.965
AT ITER 5838 NEW BEST:: SOT 157175 SOS 46909 HAS SOPS 46909 HAS SOUS 32972 HAS SOUPS 32972 WITH SCORE 33018.909
AT ITER 5888 NEW BEST:: SOT 157175 SOS 46849 HAS SOPS 46849 HAS SOUS 32923 HAS SOUPS 32923 WITH SCORE 32969.849
AT ITER 5891 NEW BEST:: SOT 157144 SOS 46811 HAS SOPS 46811 HAS SOUS 32885 HAS SOUPS 32885 WITH SCORE 32931.811
AT ITER 5908 NEW BEST:: SOT 157145 SOS 46810 HAS SOPS 46810 HAS SOUS 32884 HAS SOUPS 32884 WITH SCORE 32930.81
AT ITER 5918 NEW BEST:: SOT 157149 SOS 46818 HAS SOPS 46818 HAS SOUS 32876 HAS SOUPS 32876 WITH SCORE 32922.818
AT ITER 5921 NEW BEST:: SOT 157156 SOS 46791 HAS SOPS 46791 HAS SOUS 32859 HAS SOUPS 32859 WITH SCORE 32905.791
AT ITER 5970 NEW BEST:: SOT 157156 SOS 46791 HAS SOPS 46791 HAS SOUS 32850 HAS SOUPS 32850 WITH SCORE 32896.791
AT ITER 5989 NEW BEST:: SOT 157156 SOS 46786 HAS SOPS 46786 HAS SOUS 32845 HAS SOUPS 32845 WITH SCORE 32891.786
AT ITER 5993 NEW BEST:: SOT 157142 SOS 46783 HAS SOPS 46783 HAS SOUS 32842 HAS SOUPS 32842 WITH SCORE 32888.783
AT ITER 6002 NEW BEST:: SOT 157125 SOS 46766 HAS SOPS 46766 HAS SOUS 32825 HAS SOUPS 32825 WITH SCORE 32871.766
AT ITER 6018 NEW BEST:: SOT 157078 SOS 46722 HAS SOPS 46722 HAS SOUS 32781 HAS SOUPS 32781 WITH SCORE 32827.722
AT ITER 6049 NEW BEST:: SOT 157071 SOS 46699 HAS SOPS 46699 HAS SOUS 32757 HAS SOUPS 32757 WITH SCORE 32803.699
AT ITER 6094 NEW BEST:: SOT 157071 SOS 46669 HAS SOPS 46669 HAS SOUS 32757 HAS SOUPS 32757 WITH SCORE 32803.669
AT ITER 6100 NEW BEST:: SOT 157049 SOS 46662 HAS SOPS 46662 HAS SOUS 32739 HAS SOUPS 32739 WITH SCORE 32785.662
AT ITER 6115 NEW BEST:: SOT 157046 SOS 46656 HAS SOPS 46656 HAS SOUS 32736 HAS SOUPS 32736 WITH SCORE 32782.656
AT ITER 6257 NEW BEST:: SOT 157054 SOS 46655 HAS SOPS 46655 HAS SOUS 32718 HAS SOUPS 32718 WITH SCORE 32764.655
AT ITER 6260 NEW BEST:: SOT 157050 SOS 46647 HAS SOPS 46647 HAS SOUS 32714 HAS SOUPS 32714 WITH SCORE 32760.647
AT ITER 6322 NEW BEST:: SOT 157048 SOS 46616 HAS SOPS 46616 HAS SOUS 32683 HAS SOUPS 32683 WITH SCORE 32729.616
AT ITER 6341 NEW BEST:: SOT 157027 SOS 46624 HAS SOPS 46624 HAS SOUS 32659 HAS SOUPS 32659 WITH SCORE 32705.624
AT ITER 6388 NEW BEST:: SOT 157018 SOS 46535 HAS SOPS 46535 HAS SOUS 32641 HAS SOUPS 32641 WITH SCORE 32687.535
AT ITER 6394 NEW BEST:: SOT 156986 SOS 46471 HAS SOPS 46471 HAS SOUS 32594 HAS SOUPS 32594 WITH SCORE 32640.471
AT ITER 6446 NEW BEST:: SOT 156986 SOS 46471 HAS SOPS 46471 HAS SOUS 32584 HAS SOUPS 32584 WITH SCORE 32630.471
AT ITER 6497 NEW BEST:: SOT 156983 SOS 46468 HAS SOPS 46468 HAS SOUS 32581 HAS SOUPS 32581 WITH SCORE 32627.468
AT ITER 6515 NEW BEST:: SOT 156983 SOS 46390 HAS SOPS 46390 HAS SOUS 32503 HAS SOUPS 32503 WITH SCORE 32549.39
AT ITER 6539 NEW BEST:: SOT 156971 SOS 46372 HAS SOPS 46372 HAS SOUS 32485 HAS SOUPS 32485 WITH SCORE 32531.372
AT ITER 6558 NEW BEST:: SOT 156985 SOS 46384 HAS SOPS 46384 HAS SOUS 32481 HAS SOUPS 32481 WITH SCORE 32527.384
AT ITER 6582 NEW BEST:: SOT 156995 SOS 46383 HAS SOPS 46383 HAS SOUS 32480 HAS SOUPS 32480 WITH SCORE 32526.383
AT ITER 6591 NEW BEST:: SOT 156972 SOS 46362 HAS SOPS 46362 HAS SOUS 32459 HAS SOUPS 32459 WITH SCORE 32505.362
AT ITER 6600 NEW BEST:: SOT 156972 SOS 46361 HAS SOPS 46361 HAS SOUS 32457 HAS SOUPS 32457 WITH SCORE 32503.361
AT ITER 6602 NEW BEST:: SOT 156975 SOS 46352 HAS SOPS 46352 HAS SOUS 32448 HAS SOUPS 32448 WITH SCORE 32494.352
AT ITER 6604 NEW BEST:: SOT 156971 SOS 46348 HAS SOPS 46348 HAS SOUS 32444 HAS SOUPS 32444 WITH SCORE 32490.348
AT ITER 6610 NEW BEST:: SOT 156971 SOS 46317 HAS SOPS 46317 HAS SOUS 32413 HAS SOUPS 32413 WITH SCORE 32459.317
AT ITER 6657 NEW BEST:: SOT 156946 SOS 46274 HAS SOPS 46274 HAS SOUS 32370 HAS SOUPS 32370 WITH SCORE 32416.274
AT ITER 6666 NEW BEST:: SOT 156952 SOS 46199 HAS SOPS 46199 HAS SOUS 32364 HAS SOUPS 32364 WITH SCORE 32410.199
AT ITER 6681 NEW BEST:: SOT 156947 SOS 46194 HAS SOPS 46194 HAS SOUS 32359 HAS SOUPS 32359 WITH SCORE 32405.194
AT ITER 6701 NEW BEST:: SOT 156960 SOS 46142 HAS SOPS 46142 HAS SOUS 32349 HAS SOUPS 32349 WITH SCORE 32395.142
AT ITER 6713 NEW BEST:: SOT 156954 SOS 46136 HAS SOPS 46136 HAS SOUS 32343 HAS SOUPS 32343 WITH SCORE 32389.136
AT ITER 6714 NEW BEST:: SOT 156948 SOS 46125 HAS SOPS 46125 HAS SOUS 32331 HAS SOUPS 32331 WITH SCORE 32377.125
AT ITER 6727 NEW BEST:: SOT 156946 SOS 46035 HAS SOPS 46035 HAS SOUS 32296 HAS SOUPS 32296 WITH SCORE 32342.035
AT ITER 6819 NEW BEST:: SOT 156946 SOS 46033 HAS SOPS 46033 HAS SOUS 32296 HAS SOUPS 32296 WITH SCORE 32342.033
AT ITER 6837 NEW BEST:: SOT 156903 SOS 45990 HAS SOPS 45990 HAS SOUS 32296 HAS SOUPS 32296 WITH SCORE 32341.99
AT ITER 6853 NEW BEST:: SOT 156894 SOS 45981 HAS SOPS 45981 HAS SOUS 32296 HAS SOUPS 32296 WITH SCORE 32341.981
AT ITER 6867 NEW BEST:: SOT 156871 SOS 45958 HAS SOPS 45958 HAS SOUS 32273 HAS SOUPS 32273 WITH SCORE 32318.958
AT ITER 6870 NEW BEST:: SOT 156872 SOS 45947 HAS SOPS 45947 HAS SOUS 32262 HAS SOUPS 32262 WITH SCORE 32307.947
AT ITER 6906 NEW BEST:: SOT 156872 SOS 45889 HAS SOPS 45889 HAS SOUS 32262 HAS SOUPS 32262 WITH SCORE 32307.889
AT ITER 7069 NEW BEST:: SOT 157032 SOS 46041 HAS SOPS 46041 HAS SOUS 32237 HAS SOUPS 32237 WITH SCORE 32283.041
AT ITER 7070 NEW BEST:: SOT 157035 SOS 46032 HAS SOPS 46032 HAS SOUS 32228 HAS SOUPS 32228 WITH SCORE 32274.032
AT ITER 7092 NEW BEST:: SOT 157035 SOS 46028 HAS SOPS 46028 HAS SOUS 32197 HAS SOUPS 32197 WITH SCORE 32243.028
AT ITER 7100 NEW BEST:: SOT 156924 SOS 45916 HAS SOPS 45916 HAS SOUS 32195 HAS SOUPS 32195 WITH SCORE 32240.916
AT ITER 7111 NEW BEST:: SOT 156937 SOS 45872 HAS SOPS 45872 HAS SOUS 32151 HAS SOUPS 32151 WITH SCORE 32196.872
AT ITER 7116 NEW BEST:: SOT 156931 SOS 45860 HAS SOPS 45860 HAS SOUS 32139 HAS SOUPS 32139 WITH SCORE 32184.86
AT ITER 7137 NEW BEST:: SOT 156910 SOS 45848 HAS SOPS 45848 HAS SOUS 32127 HAS SOUPS 32127 WITH SCORE 32172.848
AT ITER 7155 NEW BEST:: SOT 156903 SOS 45834 HAS SOPS 45834 HAS SOUS 32117 HAS SOUPS 32117 WITH SCORE 32162.834
AT ITER 7184 NEW BEST:: SOT 156987 SOS 45897 HAS SOPS 45897 HAS SOUS 32113 HAS SOUPS 32113 WITH SCORE 32158.897
AT ITER 7212 NEW BEST:: SOT 156971 SOS 45881 HAS SOPS 45881 HAS SOUS 32097 HAS SOUPS 32097 WITH SCORE 32142.881
AT ITER 7270 NEW BEST:: SOT 156916 SOS 45689 HAS SOPS 45689 HAS SOUS 31946 HAS SOUPS 31946 WITH SCORE 31991.689
AT ITER 7295 NEW BEST:: SOT 156895 SOS 45626 HAS SOPS 45626 HAS SOUS 31904 HAS SOUPS 31904 WITH SCORE 31949.626
AT ITER 7315 NEW BEST:: SOT 156889 SOS 45620 HAS SOPS 45620 HAS SOUS 31898 HAS SOUPS 31898 WITH SCORE 31943.62
AT ITER 7335 NEW BEST:: SOT 156881 SOS 45600 HAS SOPS 45600 HAS SOUS 31878 HAS SOUPS 31878 WITH SCORE 31923.6
AT ITER 7349 NEW BEST:: SOT 156871 SOS 45568 HAS SOPS 45568 HAS SOUS 31846 HAS SOUPS 31846 WITH SCORE 31891.568
AT ITER 7410 NEW BEST:: SOT 156862 SOS 45571 HAS SOPS 45571 HAS SOUS 31834 HAS SOUPS 31834 WITH SCORE 31879.571
AT ITER 7420 NEW BEST:: SOT 156870 SOS 45571 HAS SOPS 45571 HAS SOUS 31826 HAS SOUPS 31826 WITH SCORE 31871.571
AT ITER 7432 NEW BEST:: SOT 156870 SOS 45546 HAS SOPS 45546 HAS SOUS 31789 HAS SOUPS 31789 WITH SCORE 31834.546
AT ITER 7439 NEW BEST:: SOT 156867 SOS 45540 HAS SOPS 45540 HAS SOUS 31786 HAS SOUPS 31786 WITH SCORE 31831.54
AT ITER 7469 NEW BEST:: SOT 156863 SOS 45532 HAS SOPS 45532 HAS SOUS 31782 HAS SOUPS 31782 WITH SCORE 31827.532
AT ITER 7491 NEW BEST:: SOT 156900 SOS 45606 HAS SOPS 45606 HAS SOUS 31679 HAS SOUPS 31679 WITH SCORE 31724.606
AT ITER 7526 NEW BEST:: SOT 156894 SOS 45594 HAS SOPS 45594 HAS SOUS 31673 HAS SOUPS 31673 WITH SCORE 31718.594
AT ITER 7585 NEW BEST:: SOT 156964 SOS 45647 HAS SOPS 45647 HAS SOUS 31666 HAS SOUPS 31666 WITH SCORE 31711.647
AT ITER 7600 NEW BEST:: SOT 156863 SOS 45499 HAS SOPS 45499 HAS SOUS 31603 HAS SOUPS 31603 WITH SCORE 31648.499
AT ITER 7618 NEW BEST:: SOT 156863 SOS 45468 HAS SOPS 45468 HAS SOUS 31572 HAS SOUPS 31572 WITH SCORE 31617.468
AT ITER 7626 NEW BEST:: SOT 156852 SOS 45436 HAS SOPS 45436 HAS SOUS 31561 HAS SOUPS 31561 WITH SCORE 31606.436
AT ITER 7635 NEW BEST:: SOT 156785 SOS 45343 HAS SOPS 45343 HAS SOUS 31449 HAS SOUPS 31449 WITH SCORE 31494.343
AT ITER 7645 NEW BEST:: SOT 156785 SOS 45327 HAS SOPS 45327 HAS SOUS 31446 HAS SOUPS 31446 WITH SCORE 31491.327
AT ITER 7710 NEW BEST:: SOT 156776 SOS 45305 HAS SOPS 45305 HAS SOUS 31424 HAS SOUPS 31424 WITH SCORE 31469.305
AT ITER 7715 NEW BEST:: SOT 156750 SOS 45248 HAS SOPS 45248 HAS SOUS 31398 HAS SOUPS 31398 WITH SCORE 31443.248
AT ITER 7733 NEW BEST:: SOT 156700 SOS 45173 HAS SOPS 45173 HAS SOUS 31348 HAS SOUPS 31348 WITH SCORE 31393.173
AT ITER 7744 NEW BEST:: SOT 156692 SOS 45165 HAS SOPS 45165 HAS SOUS 31340 HAS SOUPS 31340 WITH SCORE 31385.165
AT ITER 7831 NEW BEST:: SOT 156683 SOS 45149 HAS SOPS 45149 HAS SOUS 31317 HAS SOUPS 31317 WITH SCORE 31362.149
AT ITER 7864 NEW BEST:: SOT 156664 SOS 45125 HAS SOPS 45125 HAS SOUS 31300 HAS SOUPS 31300 WITH SCORE 31345.125
AT ITER 7868 NEW BEST:: SOT 156611 SOS 45072 HAS SOPS 45072 HAS SOUS 31300 HAS SOUPS 31300 WITH SCORE 31345.072
AT ITER 7960 NEW BEST:: SOT 156579 SOS 45040 HAS SOPS 45040 HAS SOUS 31300 HAS SOUPS 31300 WITH SCORE 31345.04
AT ITER 7965 NEW BEST:: SOT 156561 SOS 45022 HAS SOPS 45022 HAS SOUS 31282 HAS SOUPS 31282 WITH SCORE 31327.022
AT ITER 7968 NEW BEST:: SOT 156561 SOS 45015 HAS SOPS 45015 HAS SOUS 31275 HAS SOUPS 31275 WITH SCORE 31320.015
AT ITER 7982 NEW BEST:: SOT 156547 SOS 45001 HAS SOPS 45001 HAS SOUS 31275 HAS SOUPS 31275 WITH SCORE 31320.001
AT ITER 8035 NEW BEST:: SOT 156545 SOS 44999 HAS SOPS 44999 HAS SOUS 31273 HAS SOUPS 31273 WITH SCORE 31317.999
AT ITER 8040 NEW BEST:: SOT 156518 SOS 44945 HAS SOPS 44945 HAS SOUS 31219 HAS SOUPS 31219 WITH SCORE 31263.945
AT ITER 8113 NEW BEST:: SOT 156490 SOS 44938 HAS SOPS 44938 HAS SOUS 31212 HAS SOUPS 31212 WITH SCORE 31256.938
AT ITER 8180 NEW BEST:: SOT 156470 SOS 44937 HAS SOPS 44937 HAS SOUS 31211 HAS SOUPS 31211 WITH SCORE 31255.937
AT ITER 8209 NEW BEST:: SOT 156413 SOS 44873 HAS SOPS 44873 HAS SOUS 31194 HAS SOUPS 31194 WITH SCORE 31238.873
AT ITER 8212 NEW BEST:: SOT 156412 SOS 44871 HAS SOPS 44871 HAS SOUS 31192 HAS SOUPS 31192 WITH SCORE 31236.871
AT ITER 8233 NEW BEST:: SOT 156423 SOS 44859 HAS SOPS 44859 HAS SOUS 31135 HAS SOUPS 31135 WITH SCORE 31179.859
AT ITER 8258 NEW BEST:: SOT 156415 SOS 44843 HAS SOPS 44843 HAS SOUS 31127 HAS SOUPS 31127 WITH SCORE 31171.843
AT ITER 8264 NEW BEST:: SOT 156415 SOS 44833 HAS SOPS 44833 HAS SOUS 31126 HAS SOUPS 31126 WITH SCORE 31170.833
AT ITER 8271 NEW BEST:: SOT 156415 SOS 44833 HAS SOPS 44833 HAS SOUS 31116 HAS SOUPS 31116 WITH SCORE 31160.833
AT ITER 8285 NEW BEST:: SOT 156400 SOS 44818 HAS SOPS 44818 HAS SOUS 31101 HAS SOUPS 31101 WITH SCORE 31145.818
AT ITER 8286 NEW BEST:: SOT 156356 SOS 44745 HAS SOPS 44745 HAS SOUS 31073 HAS SOUPS 31073 WITH SCORE 31117.745
AT ITER 8307 NEW BEST:: SOT 156340 SOS 44729 HAS SOPS 44729 HAS SOUS 31057 HAS SOUPS 31057 WITH SCORE 31101.729
AT ITER 8355 NEW BEST:: SOT 156335 SOS 44724 HAS SOPS 44724 HAS SOUS 31052 HAS SOUPS 31052 WITH SCORE 31096.724
AT ITER 8377 NEW BEST:: SOT 156322 SOS 44683 HAS SOPS 44683 HAS SOUS 31011 HAS SOUPS 31011 WITH SCORE 31055.683
AT ITER 8397 NEW BEST:: SOT 156381 SOS 44734 HAS SOPS 44734 HAS SOUS 31003 HAS SOUPS 31003 WITH SCORE 31047.734
AT ITER 8422 NEW BEST:: SOT 156344 SOS 44682 HAS SOPS 44682 HAS SOUS 31003 HAS SOUPS 31003 WITH SCORE 31047.682
AT ITER 8439 NEW BEST:: SOT 156352 SOS 44680 HAS SOPS 44680 HAS SOUS 30983 HAS SOUPS 30983 WITH SCORE 31027.68
AT ITER 8498 NEW BEST:: SOT 156330 SOS 44639 HAS SOPS 44639 HAS SOUS 30961 HAS SOUPS 30961 WITH SCORE 31005.639
AT ITER 8513 NEW BEST:: SOT 156277 SOS 44533 HAS SOPS 44533 HAS SOUS 30941 HAS SOUPS 30941 WITH SCORE 30985.533
AT ITER 8544 NEW BEST:: SOT 156277 SOS 44519 HAS SOPS 44519 HAS SOUS 30927 HAS SOUPS 30927 WITH SCORE 30971.519
AT ITER 8556 NEW BEST:: SOT 156241 SOS 44447 HAS SOPS 44447 HAS SOUS 30891 HAS SOUPS 30891 WITH SCORE 30935.447
AT ITER 8561 NEW BEST:: SOT 156211 SOS 44415 HAS SOPS 44415 HAS SOUS 30859 HAS SOUPS 30859 WITH SCORE 30903.415
AT ITER 8604 NEW BEST:: SOT 156188 SOS 44369 HAS SOPS 44369 HAS SOUS 30813 HAS SOUPS 30813 WITH SCORE 30857.369
AT ITER 8623 NEW BEST:: SOT 156174 SOS 44356 HAS SOPS 44356 HAS SOUS 30799 HAS SOUPS 30799 WITH SCORE 30843.356
AT ITER 8642 NEW BEST:: SOT 156174 SOS 44350 HAS SOPS 44350 HAS SOUS 30799 HAS SOUPS 30799 WITH SCORE 30843.35
AT ITER 8669 NEW BEST:: SOT 156140 SOS 44316 HAS SOPS 44316 HAS SOUS 30765 HAS SOUPS 30765 WITH SCORE 30809.316
AT ITER 8692 NEW BEST:: SOT 156205 SOS 44257 HAS SOPS 44257 HAS SOUS 30715 HAS SOUPS 30715 WITH SCORE 30759.257
AT ITER 8695 NEW BEST:: SOT 156204 SOS 44256 HAS SOPS 44256 HAS SOUS 30714 HAS SOUPS 30714 WITH SCORE 30758.256
AT ITER 8698 NEW BEST:: SOT 156176 SOS 44228 HAS SOPS 44228 HAS SOUS 30686 HAS SOUPS 30686 WITH SCORE 30730.228
AT ITER 8704 NEW BEST:: SOT 156142 SOS 44196 HAS SOPS 44196 HAS SOUS 30654 HAS SOUPS 30654 WITH SCORE 30698.196
AT ITER 8762 NEW BEST:: SOT 156142 SOS 44175 HAS SOPS 44175 HAS SOUS 30633 HAS SOUPS 30633 WITH SCORE 30677.175
AT ITER 8826 NEW BEST:: SOT 156117 SOS 44150 HAS SOPS 44150 HAS SOUS 30633 HAS SOUPS 30633 WITH SCORE 30677.15
AT ITER 8831 NEW BEST:: SOT 156117 SOS 44150 HAS SOPS 44150 HAS SOUS 30622 HAS SOUPS 30622 WITH SCORE 30666.15
AT ITER 8861 NEW BEST:: SOT 156111 SOS 44138 HAS SOPS 44138 HAS SOUS 30610 HAS SOUPS 30610 WITH SCORE 30654.138
AT ITER 8890 NEW BEST:: SOT 156083 SOS 44110 HAS SOPS 44110 HAS SOUS 30607 HAS SOUPS 30607 WITH SCORE 30651.11
AT ITER 8897 NEW BEST:: SOT 156059 SOS 44090 HAS SOPS 44090 HAS SOUS 30587 HAS SOUPS 30587 WITH SCORE 30631.09
AT ITER 8911 NEW BEST:: SOT 156056 SOS 44084 HAS SOPS 44084 HAS SOUS 30581 HAS SOUPS 30581 WITH SCORE 30625.084
AT ITER 8932 NEW BEST:: SOT 155977 SOS 44053 HAS SOPS 44053 HAS SOUS 30561 HAS SOUPS 30561 WITH SCORE 30605.053
AT ITER 8984 NEW BEST:: SOT 156010 SOS 43956 HAS SOPS 43956 HAS SOUS 30528 HAS SOUPS 30528 WITH SCORE 30571.956
AT ITER 9003 NEW BEST:: SOT 156009 SOS 43955 HAS SOPS 43955 HAS SOUS 30527 HAS SOUPS 30527 WITH SCORE 30570.955
AT ITER 9005 NEW BEST:: SOT 156009 SOS 43905 HAS SOPS 43905 HAS SOUS 30427 HAS SOUPS 30427 WITH SCORE 30470.905
AT ITER 9009 NEW BEST:: SOT 155998 SOS 43894 HAS SOPS 43894 HAS SOUS 30416 HAS SOUPS 30416 WITH SCORE 30459.894
AT ITER 9047 NEW BEST:: SOT 155998 SOS 43877 HAS SOPS 43877 HAS SOUS 30399 HAS SOUPS 30399 WITH SCORE 30442.877
AT ITER 9052 NEW BEST:: SOT 155998 SOS 43833 HAS SOPS 43833 HAS SOUS 30399 HAS SOUPS 30399 WITH SCORE 30442.833
AT ITER 9055 NEW BEST:: SOT 156053 SOS 43871 HAS SOPS 43871 HAS SOUS 30380 HAS SOUPS 30380 WITH SCORE 30423.871
AT ITER 9076 NEW BEST:: SOT 156011 SOS 43854 HAS SOPS 43854 HAS SOUS 30363 HAS SOUPS 30363 WITH SCORE 30406.854
AT ITER 9083 NEW BEST:: SOT 156008 SOS 43851 HAS SOPS 43851 HAS SOUS 30360 HAS SOUPS 30360 WITH SCORE 30403.851
AT ITER 9116 NEW BEST:: SOT 156005 SOS 43845 HAS SOPS 43845 HAS SOUS 30354 HAS SOUPS 30354 WITH SCORE 30397.845
AT ITER 9130 NEW BEST:: SOT 155972 SOS 43815 HAS SOPS 43815 HAS SOUS 30324 HAS SOUPS 30324 WITH SCORE 30367.815
AT ITER 9138 NEW BEST:: SOT 155982 SOS 43835 HAS SOPS 43835 HAS SOUS 30288 HAS SOUPS 30288 WITH SCORE 30331.835
AT ITER 9140 NEW BEST:: SOT 155967 SOS 43790 HAS SOPS 43790 HAS SOUS 30258 HAS SOUPS 30258 WITH SCORE 30301.79
AT ITER 9166 NEW BEST:: SOT 155960 SOS 43783 HAS SOPS 43783 HAS SOUS 30251 HAS SOUPS 30251 WITH SCORE 30294.783
AT ITER 9178 NEW BEST:: SOT 155959 SOS 43779 HAS SOPS 43779 HAS SOUS 30247 HAS SOUPS 30247 WITH SCORE 30290.779
AT ITER 9195 NEW BEST:: SOT 155973 SOS 43765 HAS SOPS 43765 HAS SOUS 30233 HAS SOUPS 30233 WITH SCORE 30276.765
AT ITER 9230 NEW BEST:: SOT 155973 SOS 43758 HAS SOPS 43758 HAS SOUS 30226 HAS SOUPS 30226 WITH SCORE 30269.758
AT ITER 9247 NEW BEST:: SOT 155954 SOS 43757 HAS SOPS 43757 HAS SOUS 30225 HAS SOUPS 30225 WITH SCORE 30268.757
AT ITER 9331 NEW BEST:: SOT 155955 SOS 43692 HAS SOPS 43692 HAS SOUS 30160 HAS SOUPS 30160 WITH SCORE 30203.692
AT ITER 9345 NEW BEST:: SOT 155933 SOS 43670 HAS SOPS 43670 HAS SOUS 30138 HAS SOUPS 30138 WITH SCORE 30181.67
AT ITER 9384 NEW BEST:: SOT 155930 SOS 43648 HAS SOPS 43648 HAS SOUS 30116 HAS SOUPS 30116 WITH SCORE 30159.648
AT ITER 9392 NEW BEST:: SOT 155906 SOS 43600 HAS SOPS 43600 HAS SOUS 30068 HAS SOUPS 30068 WITH SCORE 30111.6
AT ITER 9418 NEW BEST:: SOT 155913 SOS 43614 HAS SOPS 43614 HAS SOUS 30061 HAS SOUPS 30061 WITH SCORE 30104.614
AT ITER 9500 NEW BEST:: SOT 155891 SOS 43591 HAS SOPS 43591 HAS SOUS 30030 HAS SOUPS 30030 WITH SCORE 30073.591
AT ITER 9511 NEW BEST:: SOT 155892 SOS 43567 HAS SOPS 43567 HAS SOUS 29980 HAS SOUPS 29980 WITH SCORE 30023.567
AT ITER 9522 NEW BEST:: SOT 155879 SOS 43541 HAS SOPS 43541 HAS SOUS 29954 HAS SOUPS 29954 WITH SCORE 29997.541
AT ITER 9536 NEW BEST:: SOT 155863 SOS 43525 HAS SOPS 43525 HAS SOUS 29954 HAS SOUPS 29954 WITH SCORE 29997.525
AT ITER 9563 NEW BEST:: SOT 155810 SOS 43419 HAS SOPS 43419 HAS SOUS 29930 HAS SOUPS 29930 WITH SCORE 29973.419
AT ITER 9656 NEW BEST:: SOT 155787 SOS 43380 HAS SOPS 43380 HAS SOUS 29893 HAS SOUPS 29893 WITH SCORE 29936.38
AT ITER 9727 NEW BEST:: SOT 155779 SOS 43364 HAS SOPS 43364 HAS SOUS 29885 HAS SOUPS 29885 WITH SCORE 29928.364
AT ITER 9776 NEW BEST:: SOT 155768 SOS 43342 HAS SOPS 43342 HAS SOUS 29874 HAS SOUPS 29874 WITH SCORE 29917.342
AT ITER 9781 NEW BEST:: SOT 155766 SOS 43338 HAS SOPS 43338 HAS SOUS 29872 HAS SOUPS 29872 WITH SCORE 29915.338
AT ITER 9881 NEW BEST:: SOT 155750 SOS 43322 HAS SOPS 43322 HAS SOUS 29856 HAS SOUPS 29856 WITH SCORE 29899.322
AT ITER 9887 NEW BEST:: SOT 155752 SOS 43316 HAS SOPS 43316 HAS SOUS 29850 HAS SOUPS 29850 WITH SCORE 29893.316
AT ITER 9910 NEW BEST:: SOT 155748 SOS 43309 HAS SOPS 43309 HAS SOUS 29850 HAS SOUPS 29850 WITH SCORE 29893.309
AT ITER 9916 NEW BEST:: SOT 155747 SOS 43307 HAS SOPS 43307 HAS SOUS 29848 HAS SOUPS 29848 WITH SCORE 29891.307
AT ITER 9968 NEW BEST:: SOT 155732 SOS 43290 HAS SOPS 43290 HAS SOUS 29846 HAS SOUPS 29846 WITH SCORE 29889.29
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 10831940 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16126824 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="BusinessProcesses-PT-11"
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 BusinessProcesses-PT-11, 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 r043-tajo-167813697000536"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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