Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r291-tall-167873943200680.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is PolyORBNT-COL-S10J20, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873943200680
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 536K
-rw-r--r-- 1 mcc users 8.7K Feb 26 01:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 26 01:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 26 01:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 26 01:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 16:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 25 16:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 02:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 26 02:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 26 02:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 02:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 92K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678810636405

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=PolyORBNT-COL-S10J20
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 16:17:19] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 16:17:19] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 16:17:19] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-14 16:17:19] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 16:17:20] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 837 ms
[2023-03-14 16:17:20] [INFO ] Imported 48 HL places and 38 HL transitions for a total of 494 PT places and 11822.0 transition bindings in 34 ms.
[2023-03-14 16:17:20] [INFO ] Unfolded HLPN to a Petri net with 494 places and 11780 transitions 111159 arcs in 403 ms.
[2023-03-14 16:17:20] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Reduce places removed 20 places and 20 transitions.
Ensure Unique test removed 10110 transitions
Reduce isomorphic transitions removed 10110 transitions.
[2023-03-14 16:17:21] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 474 places, 1650 transitions and 11909 arcs took 49 ms.
Total runtime 1876 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (COL), instance S10J20
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: 474 places, 1650 transitions, 11909 arcs.
AT ITER 0 NEW BEST:: SOT 486068 SOS 399877 HAS SOPS 399817 HAS SOUS 359662 HAS SOUPS 359656 WITH SCORE 360055.877
AT ITER 7 NEW BEST:: SOT 486144 SOS 399896 HAS SOPS 399836 HAS SOUS 359612 HAS SOUPS 359606 WITH SCORE 360005.896
AT ITER 8 NEW BEST:: SOT 486169 SOS 399896 HAS SOPS 399836 HAS SOUS 359565 HAS SOUPS 359559 WITH SCORE 359958.896
AT ITER 9 NEW BEST:: SOT 486401 SOS 400175 HAS SOPS 400115 HAS SOUS 359087 HAS SOUPS 359081 WITH SCORE 359481.175
AT ITER 25 NEW BEST:: SOT 486274 SOS 400126 HAS SOPS 400066 HAS SOUS 359037 HAS SOUPS 359031 WITH SCORE 359431.126
AT ITER 30 NEW BEST:: SOT 486368 SOS 400247 HAS SOPS 400187 HAS SOUS 339029 HAS SOUPS 339023 WITH SCORE 339423.247
AT ITER 44 NEW BEST:: SOT 490578 SOS 405079 HAS SOPS 405019 HAS SOUS 293888 HAS SOUPS 293882 WITH SCORE 294287.079
AT ITER 49 NEW BEST:: SOT 490590 SOS 404231 HAS SOPS 404080 HAS SOUS 290548 HAS SOUPS 290522 WITH SCORE 290926.231
AT ITER 55 NEW BEST:: SOT 526346 SOS 440524 HAS SOPS 440373 HAS SOUS 276982 HAS SOUPS 276956 WITH SCORE 277396.524
AT ITER 58 NEW BEST:: SOT 532200 SOS 446726 HAS SOPS 446564 HAS SOUS 233578 HAS SOUPS 233551 WITH SCORE 233997.726
AT ITER 63 NEW BEST:: SOT 532190 SOS 446706 HAS SOPS 446544 HAS SOUS 233558 HAS SOUPS 233531 WITH SCORE 233977.706
AT ITER 74 NEW BEST:: SOT 532361 SOS 447814 HAS SOPS 447641 HAS SOUS 200517 HAS SOUPS 200490 WITH SCORE 200937.814
AT ITER 80 NEW BEST:: SOT 532361 SOS 446943 HAS SOPS 446770 HAS SOUS 198834 HAS SOUPS 198807 WITH SCORE 199253.943
AT ITER 87 NEW BEST:: SOT 532415 SOS 446943 HAS SOPS 446770 HAS SOUS 198805 HAS SOUPS 198778 WITH SCORE 199224.943
AT ITER 88 NEW BEST:: SOT 532378 SOS 446869 HAS SOPS 446696 HAS SOUS 198731 HAS SOUPS 198704 WITH SCORE 199150.869
AT ITER 93 NEW BEST:: SOT 532331 SOS 446237 HAS SOPS 446064 HAS SOUS 198419 HAS SOUPS 198392 WITH SCORE 198838.237
AT ITER 94 NEW BEST:: SOT 532295 SOS 446233 HAS SOPS 446060 HAS SOUS 198400 HAS SOUPS 198373 WITH SCORE 198819.233
AT ITER 100 NEW BEST:: SOT 532311 SOS 444677 HAS SOPS 444504 HAS SOUS 198040 HAS SOUPS 198013 WITH SCORE 198457.677
AT ITER 125 NEW BEST:: SOT 531909 SOS 444401 HAS SOPS 444228 HAS SOUS 197761 HAS SOUPS 197734 WITH SCORE 198178.401
AT ITER 132 NEW BEST:: SOT 531909 SOS 444401 HAS SOPS 444228 HAS SOUS 197760 HAS SOUPS 197733 WITH SCORE 198177.401
AT ITER 140 NEW BEST:: SOT 531833 SOS 443842 HAS SOPS 443669 HAS SOUS 197663 HAS SOUPS 197636 WITH SCORE 198079.842
AT ITER 152 NEW BEST:: SOT 531687 SOS 443902 HAS SOPS 443729 HAS SOUS 197580 HAS SOUPS 197553 WITH SCORE 197996.902
AT ITER 153 NEW BEST:: SOT 531840 SOS 444097 HAS SOPS 443913 HAS SOUS 188225 HAS SOUPS 188198 WITH SCORE 188642.097
AT ITER 154 NEW BEST:: SOT 531723 SOS 444084 HAS SOPS 443900 HAS SOUS 188208 HAS SOUPS 188181 WITH SCORE 188625.084
AT ITER 166 NEW BEST:: SOT 531615 SOS 444077 HAS SOPS 443893 HAS SOUS 188112 HAS SOUPS 188085 WITH SCORE 188529.077
AT ITER 170 NEW BEST:: SOT 531815 SOS 444325 HAS SOPS 444130 HAS SOUS 178508 HAS SOUPS 178481 WITH SCORE 178925.325
AT ITER 171 NEW BEST:: SOT 531888 SOS 444398 HAS SOPS 444203 HAS SOUS 169821 HAS SOUPS 169794 WITH SCORE 170238.398
AT ITER 178 NEW BEST:: SOT 531888 SOS 444398 HAS SOPS 444203 HAS SOUS 169817 HAS SOUPS 169790 WITH SCORE 170234.398
AT ITER 180 NEW BEST:: SOT 532056 SOS 444603 HAS SOPS 444408 HAS SOUS 165189 HAS SOUPS 165162 WITH SCORE 165606.603
AT ITER 184 NEW BEST:: SOT 532056 SOS 444538 HAS SOPS 444343 HAS SOUS 165124 HAS SOUPS 165097 WITH SCORE 165541.538
AT ITER 186 NEW BEST:: SOT 531941 SOS 443289 HAS SOPS 443094 HAS SOUS 164683 HAS SOUPS 164656 WITH SCORE 165099.289
AT ITER 192 NEW BEST:: SOT 531766 SOS 443210 HAS SOPS 443015 HAS SOUS 164546 HAS SOUPS 164519 WITH SCORE 164962.21
AT ITER 194 NEW BEST:: SOT 531766 SOS 443201 HAS SOPS 443006 HAS SOUS 164537 HAS SOUPS 164510 WITH SCORE 164953.201
AT ITER 197 NEW BEST:: SOT 531908 SOS 441708 HAS SOPS 441513 HAS SOUS 163954 HAS SOUPS 163927 WITH SCORE 164368.708
AT ITER 210 NEW BEST:: SOT 531892 SOS 441676 HAS SOPS 441481 HAS SOUS 163922 HAS SOUPS 163895 WITH SCORE 164336.676
AT ITER 219 NEW BEST:: SOT 531794 SOS 441584 HAS SOPS 441389 HAS SOUS 163830 HAS SOUPS 163803 WITH SCORE 164244.584
AT ITER 225 NEW BEST:: SOT 531794 SOS 441584 HAS SOPS 441389 HAS SOUS 163760 HAS SOUPS 163733 WITH SCORE 164174.584
AT ITER 233 NEW BEST:: SOT 531873 SOS 441634 HAS SOPS 441439 HAS SOUS 163752 HAS SOUPS 163725 WITH SCORE 164166.634
AT ITER 237 NEW BEST:: SOT 531762 SOS 441412 HAS SOPS 441217 HAS SOUS 163641 HAS SOUPS 163614 WITH SCORE 164055.412
AT ITER 241 NEW BEST:: SOT 531756 SOS 441403 HAS SOPS 441208 HAS SOUS 163626 HAS SOUPS 163599 WITH SCORE 164040.403
AT ITER 256 NEW BEST:: SOT 531722 SOS 441335 HAS SOPS 441140 HAS SOUS 163558 HAS SOUPS 163531 WITH SCORE 163972.335
AT ITER 261 NEW BEST:: SOT 531531 SOS 441231 HAS SOPS 441036 HAS SOUS 163393 HAS SOUPS 163366 WITH SCORE 163807.231
AT ITER 268 NEW BEST:: SOT 531518 SOS 440411 HAS SOPS 440216 HAS SOUS 162955 HAS SOUPS 162928 WITH SCORE 163368.411
AT ITER 278 NEW BEST:: SOT 531523 SOS 440413 HAS SOPS 440218 HAS SOUS 162952 HAS SOUPS 162925 WITH SCORE 163365.413
AT ITER 290 NEW BEST:: SOT 531523 SOS 440413 HAS SOPS 440218 HAS SOUS 162950 HAS SOUPS 162923 WITH SCORE 163363.413
AT ITER 292 NEW BEST:: SOT 532202 SOS 441222 HAS SOPS 441027 HAS SOUS 157729 HAS SOUPS 157702 WITH SCORE 158143.222
AT ITER 294 NEW BEST:: SOT 532022 SOS 441086 HAS SOPS 440891 HAS SOUS 157587 HAS SOUPS 157560 WITH SCORE 158001.086
AT ITER 296 NEW BEST:: SOT 532235 SOS 439787 HAS SOPS 439592 HAS SOUS 157496 HAS SOUPS 157469 WITH SCORE 157908.787
AT ITER 301 NEW BEST:: SOT 533121 SOS 451989 HAS SOPS 451794 HAS SOUS 157146 HAS SOUPS 157119 WITH SCORE 157570.989
AT ITER 309 NEW BEST:: SOT 533196 SOS 451238 HAS SOPS 451043 HAS SOUS 156949 HAS SOUPS 156922 WITH SCORE 157373.238
AT ITER 320 NEW BEST:: SOT 533197 SOS 450072 HAS SOPS 449877 HAS SOUS 156714 HAS SOUPS 156687 WITH SCORE 157137.072
AT ITER 331 NEW BEST:: SOT 533180 SOS 450076 HAS SOPS 449881 HAS SOUS 156706 HAS SOUPS 156679 WITH SCORE 157129.076
AT ITER 332 NEW BEST:: SOT 533180 SOS 450076 HAS SOPS 449881 HAS SOUS 156695 HAS SOUPS 156668 WITH SCORE 157118.076
AT ITER 337 NEW BEST:: SOT 533123 SOS 450007 HAS SOPS 449812 HAS SOUS 156588 HAS SOUPS 156561 WITH SCORE 157011.007
AT ITER 345 NEW BEST:: SOT 533259 SOS 450049 HAS SOPS 449854 HAS SOUS 155770 HAS SOUPS 155743 WITH SCORE 156193.049
AT ITER 346 NEW BEST:: SOT 533077 SOS 449911 HAS SOPS 449716 HAS SOUS 155616 HAS SOUPS 155589 WITH SCORE 156038.911
AT ITER 349 NEW BEST:: SOT 533077 SOS 449897 HAS SOPS 449702 HAS SOUS 155596 HAS SOUPS 155569 WITH SCORE 156018.897
AT ITER 353 NEW BEST:: SOT 533052 SOS 449872 HAS SOPS 449677 HAS SOUS 155569 HAS SOUPS 155542 WITH SCORE 155991.872
AT ITER 355 NEW BEST:: SOT 533052 SOS 449872 HAS SOPS 449677 HAS SOUS 155554 HAS SOUPS 155527 WITH SCORE 155976.872
AT ITER 358 NEW BEST:: SOT 533038 SOS 449954 HAS SOPS 449759 HAS SOUS 155540 HAS SOUPS 155513 WITH SCORE 155962.954
AT ITER 372 NEW BEST:: SOT 533038 SOS 449038 HAS SOPS 448848 HAS SOUS 155525 HAS SOUPS 155498 WITH SCORE 155947.038
AT ITER 387 NEW BEST:: SOT 533091 SOS 449142 HAS SOPS 448941 HAS SOUS 154644 HAS SOUPS 154617 WITH SCORE 155066.142
AT ITER 402 NEW BEST:: SOT 533091 SOS 449142 HAS SOPS 448941 HAS SOUS 154642 HAS SOUPS 154615 WITH SCORE 155064.142
AT ITER 410 NEW BEST:: SOT 533083 SOS 449070 HAS SOPS 448869 HAS SOUS 154538 HAS SOUPS 154511 WITH SCORE 154960.07
AT ITER 435 NEW BEST:: SOT 533015 SOS 449121 HAS SOPS 448920 HAS SOUS 154513 HAS SOUPS 154486 WITH SCORE 154935.121
AT ITER 447 NEW BEST:: SOT 533015 SOS 449143 HAS SOPS 448942 HAS SOUS 154491 HAS SOUPS 154464 WITH SCORE 154913.143
AT ITER 467 NEW BEST:: SOT 533015 SOS 449143 HAS SOPS 448942 HAS SOUS 154484 HAS SOUPS 154457 WITH SCORE 154906.143
AT ITER 469 NEW BEST:: SOT 533022 SOS 448925 HAS SOPS 448724 HAS SOUS 154322 HAS SOUPS 154295 WITH SCORE 154743.925
AT ITER 475 NEW BEST:: SOT 533022 SOS 448921 HAS SOPS 448720 HAS SOUS 154322 HAS SOUPS 154295 WITH SCORE 154743.921
AT ITER 488 NEW BEST:: SOT 533064 SOS 448921 HAS SOPS 448720 HAS SOUS 154299 HAS SOUPS 154272 WITH SCORE 154720.921
AT ITER 510 NEW BEST:: SOT 533023 SOS 448018 HAS SOPS 447817 HAS SOUS 153992 HAS SOUPS 153965 WITH SCORE 154413.018
AT ITER 512 NEW BEST:: SOT 533023 SOS 448106 HAS SOPS 447911 HAS SOUS 153972 HAS SOUPS 153945 WITH SCORE 154393.106
AT ITER 520 NEW BEST:: SOT 532952 SOS 448140 HAS SOPS 447945 HAS SOUS 153903 HAS SOUPS 153876 WITH SCORE 154324.14
AT ITER 522 NEW BEST:: SOT 532951 SOS 448139 HAS SOPS 447944 HAS SOUS 153902 HAS SOUPS 153875 WITH SCORE 154323.139
AT ITER 526 NEW BEST:: SOT 532918 SOS 448073 HAS SOPS 447878 HAS SOUS 153869 HAS SOUPS 153842 WITH SCORE 154290.073
AT ITER 527 NEW BEST:: SOT 532944 SOS 448280 HAS SOPS 448085 HAS SOUS 151005 HAS SOUPS 150978 WITH SCORE 151426.28
AT ITER 539 NEW BEST:: SOT 532925 SOS 448242 HAS SOPS 448047 HAS SOUS 150986 HAS SOUPS 150959 WITH SCORE 151407.242
AT ITER 549 NEW BEST:: SOT 532799 SOS 448158 HAS SOPS 447963 HAS SOUS 150901 HAS SOUPS 150874 WITH SCORE 151322.158
AT ITER 568 NEW BEST:: SOT 532672 SOS 448158 HAS SOPS 447963 HAS SOUS 150897 HAS SOUPS 150870 WITH SCORE 151318.158
AT ITER 571 NEW BEST:: SOT 532651 SOS 448116 HAS SOPS 447921 HAS SOUS 149726 HAS SOUPS 149699 WITH SCORE 150147.116
AT ITER 576 NEW BEST:: SOT 532651 SOS 448211 HAS SOPS 448016 HAS SOUS 146701 HAS SOUPS 146674 WITH SCORE 147122.211
AT ITER 588 NEW BEST:: SOT 532651 SOS 448222 HAS SOPS 448027 HAS SOUS 146692 HAS SOUPS 146665 WITH SCORE 147113.222
AT ITER 610 NEW BEST:: SOT 532651 SOS 448222 HAS SOPS 448027 HAS SOUS 146689 HAS SOUPS 146662 WITH SCORE 147110.222
AT ITER 615 NEW BEST:: SOT 532651 SOS 448222 HAS SOPS 448027 HAS SOUS 145269 HAS SOUPS 145242 WITH SCORE 145690.222
AT ITER 621 NEW BEST:: SOT 532610 SOS 448140 HAS SOPS 447945 HAS SOUS 144824 HAS SOUPS 144797 WITH SCORE 145245.14
AT ITER 623 NEW BEST:: SOT 532432 SOS 447975 HAS SOPS 447780 HAS SOUS 144659 HAS SOUPS 144632 WITH SCORE 145079.975
AT ITER 630 NEW BEST:: SOT 531800 SOS 447377 HAS SOPS 447182 HAS SOUS 144072 HAS SOUPS 144045 WITH SCORE 144492.377
AT ITER 650 NEW BEST:: SOT 531768 SOS 447313 HAS SOPS 447118 HAS SOUS 144040 HAS SOUPS 144013 WITH SCORE 144460.313
AT ITER 654 NEW BEST:: SOT 531636 SOS 447208 HAS SOPS 447013 HAS SOUS 143919 HAS SOUPS 143892 WITH SCORE 144339.208
AT ITER 668 NEW BEST:: SOT 531588 SOS 447112 HAS SOPS 446917 HAS SOUS 143871 HAS SOUPS 143844 WITH SCORE 144291.112
AT ITER 673 NEW BEST:: SOT 531588 SOS 447112 HAS SOPS 446917 HAS SOUS 143827 HAS SOUPS 143800 WITH SCORE 144247.112
AT ITER 677 NEW BEST:: SOT 531596 SOS 447064 HAS SOPS 446869 HAS SOUS 143827 HAS SOUPS 143800 WITH SCORE 144247.064
AT ITER 686 NEW BEST:: SOT 531508 SOS 446972 HAS SOPS 446777 HAS SOUS 143627 HAS SOUPS 143600 WITH SCORE 144046.972
AT ITER 705 NEW BEST:: SOT 531471 SOS 447058 HAS SOPS 446863 HAS SOUS 143606 HAS SOUPS 143579 WITH SCORE 144026.058
AT ITER 709 NEW BEST:: SOT 531471 SOS 447058 HAS SOPS 446863 HAS SOUS 143597 HAS SOUPS 143570 WITH SCORE 144017.058
AT ITER 715 NEW BEST:: SOT 531203 SOS 446854 HAS SOPS 446659 HAS SOUS 143393 HAS SOUPS 143366 WITH SCORE 143812.854
AT ITER 723 NEW BEST:: SOT 531169 SOS 446514 HAS SOPS 446319 HAS SOUS 143019 HAS SOUPS 142992 WITH SCORE 143438.514
AT ITER 732 NEW BEST:: SOT 531172 SOS 446567 HAS SOPS 446372 HAS SOUS 143000 HAS SOUPS 142973 WITH SCORE 143419.567
AT ITER 734 NEW BEST:: SOT 530999 SOS 446637 HAS SOPS 446442 HAS SOUS 142915 HAS SOUPS 142888 WITH SCORE 143334.637
AT ITER 736 NEW BEST:: SOT 530983 SOS 446605 HAS SOPS 446410 HAS SOUS 142894 HAS SOUPS 142867 WITH SCORE 143313.605
AT ITER 741 NEW BEST:: SOT 531084 SOS 446126 HAS SOPS 445931 HAS SOUS 142786 HAS SOUPS 142759 WITH SCORE 143205.126
AT ITER 746 NEW BEST:: SOT 530997 SOS 445930 HAS SOPS 445735 HAS SOUS 141848 HAS SOUPS 141821 WITH SCORE 142266.93
AT ITER 748 NEW BEST:: SOT 530997 SOS 445830 HAS SOPS 445635 HAS SOUS 141843 HAS SOUPS 141816 WITH SCORE 142261.83
AT ITER 754 NEW BEST:: SOT 530997 SOS 433457 HAS SOPS 433262 HAS SOUS 141212 HAS SOUPS 141185 WITH SCORE 141618.457
AT ITER 757 NEW BEST:: SOT 525352 SOS 427812 HAS SOPS 427617 HAS SOUS 140617 HAS SOUPS 140590 WITH SCORE 141017.812
AT ITER 758 NEW BEST:: SOT 525352 SOS 427812 HAS SOPS 427617 HAS SOUS 140563 HAS SOUPS 140536 WITH SCORE 140963.812
AT ITER 778 NEW BEST:: SOT 525314 SOS 427774 HAS SOPS 427579 HAS SOUS 140525 HAS SOUPS 140498 WITH SCORE 140925.774
AT ITER 787 NEW BEST:: SOT 525291 SOS 427702 HAS SOPS 427507 HAS SOUS 139899 HAS SOUPS 139872 WITH SCORE 140299.702
AT ITER 793 NEW BEST:: SOT 525270 SOS 428203 HAS SOPS 428008 HAS SOUS 139810 HAS SOUPS 139783 WITH SCORE 140211.203
AT ITER 800 NEW BEST:: SOT 525232 SOS 427797 HAS SOPS 427602 HAS SOUS 139380 HAS SOUPS 139353 WITH SCORE 139780.797
AT ITER 830 NEW BEST:: SOT 525136 SOS 427701 HAS SOPS 427506 HAS SOUS 139284 HAS SOUPS 139257 WITH SCORE 139684.701
AT ITER 887 NEW BEST:: SOT 525342 SOS 427907 HAS SOPS 427712 HAS SOUS 138571 HAS SOUPS 138544 WITH SCORE 138971.907
AT ITER 897 NEW BEST:: SOT 525290 SOS 427855 HAS SOPS 427660 HAS SOUS 137488 HAS SOUPS 137461 WITH SCORE 137888.855
AT ITER 903 NEW BEST:: SOT 525169 SOS 428105 HAS SOPS 427910 HAS SOUS 136873 HAS SOUPS 136846 WITH SCORE 137274.105
AT ITER 920 NEW BEST:: SOT 525155 SOS 428137 HAS SOPS 427942 HAS SOUS 136864 HAS SOUPS 136837 WITH SCORE 137265.137
AT ITER 924 NEW BEST:: SOT 525186 SOS 428163 HAS SOPS 427968 HAS SOUS 136842 HAS SOUPS 136815 WITH SCORE 137243.163
AT ITER 934 NEW BEST:: SOT 525122 SOS 428035 HAS SOPS 427840 HAS SOUS 136750 HAS SOUPS 136723 WITH SCORE 137151.035
AT ITER 935 NEW BEST:: SOT 525288 SOS 427176 HAS SOPS 426981 HAS SOUS 136631 HAS SOUPS 136604 WITH SCORE 137031.176
AT ITER 953 NEW BEST:: SOT 525251 SOS 427102 HAS SOPS 426907 HAS SOUS 136556 HAS SOUPS 136529 WITH SCORE 136956.102
AT ITER 956 NEW BEST:: SOT 525251 SOS 427068 HAS SOPS 426873 HAS SOUS 136522 HAS SOUPS 136495 WITH SCORE 136922.068
AT ITER 1003 NEW BEST:: SOT 525228 SOS 427022 HAS SOPS 426827 HAS SOUS 136269 HAS SOUPS 136242 WITH SCORE 136669.022
AT ITER 1007 NEW BEST:: SOT 525228 SOS 426821 HAS SOPS 426626 HAS SOUS 136020 HAS SOUPS 135993 WITH SCORE 136419.821
AT ITER 1009 NEW BEST:: SOT 525220 SOS 426741 HAS SOPS 426546 HAS SOUS 135924 HAS SOUPS 135897 WITH SCORE 136323.741
AT ITER 1018 NEW BEST:: SOT 525019 SOS 426598 HAS SOPS 426403 HAS SOUS 135781 HAS SOUPS 135754 WITH SCORE 136180.598
AT ITER 1026 NEW BEST:: SOT 525107 SOS 426686 HAS SOPS 426491 HAS SOUS 134432 HAS SOUPS 134405 WITH SCORE 134831.686
AT ITER 1040 NEW BEST:: SOT 525065 SOS 426589 HAS SOPS 426394 HAS SOUS 134385 HAS SOUPS 134358 WITH SCORE 134784.589
AT ITER 1058 NEW BEST:: SOT 525065 SOS 426576 HAS SOPS 426381 HAS SOUS 134372 HAS SOUPS 134345 WITH SCORE 134771.576
AT ITER 1076 NEW BEST:: SOT 525053 SOS 426552 HAS SOPS 426357 HAS SOUS 134360 HAS SOUPS 134333 WITH SCORE 134759.552
AT ITER 1079 NEW BEST:: SOT 525025 SOS 426555 HAS SOPS 426360 HAS SOUS 134304 HAS SOUPS 134277 WITH SCORE 134703.555
AT ITER 1085 NEW BEST:: SOT 524693 SOS 426339 HAS SOPS 426144 HAS SOUS 134212 HAS SOUPS 134185 WITH SCORE 134611.339
AT ITER 1097 NEW BEST:: SOT 524644 SOS 426236 HAS SOPS 426041 HAS SOUS 134109 HAS SOUPS 134082 WITH SCORE 134508.236
AT ITER 1099 NEW BEST:: SOT 524630 SOS 426293 HAS SOPS 426098 HAS SOUS 129252 HAS SOUPS 129225 WITH SCORE 129651.293
AT ITER 1106 NEW BEST:: SOT 524630 SOS 426287 HAS SOPS 426092 HAS SOUS 129245 HAS SOUPS 129218 WITH SCORE 129644.287
AT ITER 1107 NEW BEST:: SOT 524596 SOS 426253 HAS SOPS 426058 HAS SOUS 129187 HAS SOUPS 129160 WITH SCORE 129586.253
AT ITER 1110 NEW BEST:: SOT 524569 SOS 426226 HAS SOPS 426031 HAS SOUS 129175 HAS SOUPS 129148 WITH SCORE 129574.226
AT ITER 1116 NEW BEST:: SOT 524480 SOS 427113 HAS SOPS 426918 HAS SOUS 129098 HAS SOUPS 129071 WITH SCORE 129498.113
AT ITER 1125 NEW BEST:: SOT 524482 SOS 425846 HAS SOPS 425651 HAS SOUS 128158 HAS SOUPS 128131 WITH SCORE 128556.846
AT ITER 1128 NEW BEST:: SOT 524482 SOS 425846 HAS SOPS 425651 HAS SOUS 128150 HAS SOUPS 128123 WITH SCORE 128548.846
AT ITER 1131 NEW BEST:: SOT 524469 SOS 425631 HAS SOPS 425436 HAS SOUS 128102 HAS SOUPS 128075 WITH SCORE 128500.631
AT ITER 1138 NEW BEST:: SOT 524469 SOS 425631 HAS SOPS 425436 HAS SOUS 128099 HAS SOUPS 128072 WITH SCORE 128497.631
AT ITER 1148 NEW BEST:: SOT 524513 SOS 425699 HAS SOPS 425485 HAS SOUS 127897 HAS SOUPS 127861 WITH SCORE 128286.699
AT ITER 1165 NEW BEST:: SOT 524507 SOS 425627 HAS SOPS 425413 HAS SOUS 127819 HAS SOUPS 127783 WITH SCORE 128208.627
AT ITER 1174 NEW BEST:: SOT 524364 SOS 425538 HAS SOPS 425324 HAS SOUS 127712 HAS SOUPS 127676 WITH SCORE 128101.538
AT ITER 1179 NEW BEST:: SOT 524105 SOS 425306 HAS SOPS 425092 HAS SOUS 127479 HAS SOUPS 127443 WITH SCORE 127868.306
AT ITER 1191 NEW BEST:: SOT 524095 SOS 425296 HAS SOPS 425082 HAS SOUS 127469 HAS SOUPS 127433 WITH SCORE 127858.296
AT ITER 1197 NEW BEST:: SOT 524094 SOS 425296 HAS SOPS 425082 HAS SOUS 127468 HAS SOUPS 127432 WITH SCORE 127857.296
AT ITER 1224 NEW BEST:: SOT 524109 SOS 425190 HAS SOPS 424976 HAS SOUS 127466 HAS SOUPS 127430 WITH SCORE 127855.19
AT ITER 1225 NEW BEST:: SOT 524037 SOS 425116 HAS SOPS 424902 HAS SOUS 127392 HAS SOUPS 127356 WITH SCORE 127781.116
AT ITER 1242 NEW BEST:: SOT 524035 SOS 425112 HAS SOPS 424898 HAS SOUS 127388 HAS SOUPS 127352 WITH SCORE 127777.112
AT ITER 1252 NEW BEST:: SOT 523964 SOS 425031 HAS SOPS 424817 HAS SOUS 127268 HAS SOUPS 127232 WITH SCORE 127657.031
AT ITER 1262 NEW BEST:: SOT 523929 SOS 424961 HAS SOPS 424747 HAS SOUS 127211 HAS SOUPS 127175 WITH SCORE 127599.961
AT ITER 1269 NEW BEST:: SOT 493279 SOS 394311 HAS SOPS 394097 HAS SOUS 106939 HAS SOUPS 106903 WITH SCORE 107297.311
AT ITER 1273 NEW BEST:: SOT 493279 SOS 394308 HAS SOPS 394094 HAS SOUS 106938 HAS SOUPS 106902 WITH SCORE 107296.308
AT ITER 1277 NEW BEST:: SOT 495356 SOS 396388 HAS SOPS 396174 HAS SOUS 101850 HAS SOUPS 101814 WITH SCORE 102210.388
AT ITER 1279 NEW BEST:: SOT 494333 SOS 396048 HAS SOPS 395834 HAS SOUS 101644 HAS SOUPS 101608 WITH SCORE 102004.048
AT ITER 1287 NEW BEST:: SOT 494100 SOS 395921 HAS SOPS 395707 HAS SOUS 101517 HAS SOUPS 101481 WITH SCORE 101876.921
AT ITER 1290 NEW BEST:: SOT 493784 SOS 395934 HAS SOPS 395720 HAS SOUS 101411 HAS SOUPS 101375 WITH SCORE 101770.934
AT ITER 1293 NEW BEST:: SOT 493716 SOS 395866 HAS SOPS 395652 HAS SOUS 101343 HAS SOUPS 101307 WITH SCORE 101702.866
AT ITER 1295 NEW BEST:: SOT 493644 SOS 395794 HAS SOPS 395580 HAS SOUS 101271 HAS SOUPS 101235 WITH SCORE 101630.794
AT ITER 1303 NEW BEST:: SOT 493601 SOS 395517 HAS SOPS 395216 HAS SOUS 101324 HAS SOUPS 101218 WITH SCORE 101613.517
AT ITER 1307 NEW BEST:: SOT 493601 SOS 395497 HAS SOPS 395196 HAS SOUS 101304 HAS SOUPS 101198 WITH SCORE 101593.497
AT ITER 1312 NEW BEST:: SOT 493499 SOS 395497 HAS SOPS 395196 HAS SOUS 101280 HAS SOUPS 101174 WITH SCORE 101569.497
AT ITER 1325 NEW BEST:: SOT 493499 SOS 395497 HAS SOPS 395196 HAS SOUS 101278 HAS SOUPS 101172 WITH SCORE 101567.497
AT ITER 1336 NEW BEST:: SOT 493486 SOS 395496 HAS SOPS 395195 HAS SOUS 101278 HAS SOUPS 101172 WITH SCORE 101567.496
AT ITER 1342 NEW BEST:: SOT 493301 SOS 395434 HAS SOPS 395133 HAS SOUS 101187 HAS SOUPS 101081 WITH SCORE 101476.434
AT ITER 1349 NEW BEST:: SOT 493313 SOS 395406 HAS SOPS 395105 HAS SOUS 101175 HAS SOUPS 101069 WITH SCORE 101464.406
AT ITER 1353 NEW BEST:: SOT 493309 SOS 395406 HAS SOPS 395105 HAS SOUS 101167 HAS SOUPS 101061 WITH SCORE 101456.406
AT ITER 1363 NEW BEST:: SOT 493284 SOS 395327 HAS SOPS 395026 HAS SOUS 101142 HAS SOUPS 101036 WITH SCORE 101431.327
AT ITER 1378 NEW BEST:: SOT 493279 SOS 395202 HAS SOPS 394901 HAS SOUS 101077 HAS SOUPS 100971 WITH SCORE 101366.202
AT ITER 1390 NEW BEST:: SOT 493030 SOS 396838 HAS SOPS 396537 HAS SOUS 100845 HAS SOUPS 100739 WITH SCORE 101135.838
AT ITER 1391 NEW BEST:: SOT 493017 SOS 396812 HAS SOPS 396511 HAS SOUS 100809 HAS SOUPS 100703 WITH SCORE 101099.812
AT ITER 1397 NEW BEST:: SOT 493049 SOS 396856 HAS SOPS 396555 HAS SOUS 100467 HAS SOUPS 100361 WITH SCORE 100757.856
AT ITER 1400 NEW BEST:: SOT 493470 SOS 397202 HAS SOPS 396901 HAS SOUS 100390 HAS SOUPS 100284 WITH SCORE 100681.202
AT ITER 1407 NEW BEST:: SOT 493483 SOS 397212 HAS SOPS 396911 HAS SOUS 100361 HAS SOUPS 100255 WITH SCORE 100652.212
AT ITER 1417 NEW BEST:: SOT 493293 SOS 397313 HAS SOPS 397012 HAS SOUS 100349 HAS SOUPS 100243 WITH SCORE 100640.313
AT ITER 1420 NEW BEST:: SOT 492741 SOS 396915 HAS SOPS 396614 HAS SOUS 100210 HAS SOUPS 100104 WITH SCORE 100500.915
AT ITER 1429 NEW BEST:: SOT 492717 SOS 396914 HAS SOPS 396613 HAS SOUS 100209 HAS SOUPS 100103 WITH SCORE 100499.914
AT ITER 1436 NEW BEST:: SOT 492717 SOS 396898 HAS SOPS 396597 HAS SOUS 100209 HAS SOUPS 100103 WITH SCORE 100499.898
AT ITER 1445 NEW BEST:: SOT 492533 SOS 396759 HAS SOPS 396458 HAS SOUS 100025 HAS SOUPS 99919 WITH SCORE 100315.759
AT ITER 1451 NEW BEST:: SOT 492481 SOS 396733 HAS SOPS 396432 HAS SOUS 99947 HAS SOUPS 99841 WITH SCORE 100237.733
AT ITER 1460 NEW BEST:: SOT 492481 SOS 396733 HAS SOPS 396432 HAS SOUS 99946 HAS SOUPS 99840 WITH SCORE 100236.733
AT ITER 1465 NEW BEST:: SOT 492541 SOS 396793 HAS SOPS 396492 HAS SOUS 99916 HAS SOUPS 99810 WITH SCORE 100206.793
AT ITER 1475 NEW BEST:: SOT 492509 SOS 396761 HAS SOPS 396460 HAS SOUS 99871 HAS SOUPS 99765 WITH SCORE 100161.761
AT ITER 1479 NEW BEST:: SOT 492424 SOS 396719 HAS SOPS 396418 HAS SOUS 99829 HAS SOUPS 99723 WITH SCORE 100119.719
AT ITER 1490 NEW BEST:: SOT 492366 SOS 396651 HAS SOPS 396350 HAS SOUS 99761 HAS SOUPS 99655 WITH SCORE 100051.651
AT ITER 1493 NEW BEST:: SOT 492364 SOS 396639 HAS SOPS 396338 HAS SOUS 99758 HAS SOUPS 99652 WITH SCORE 100048.639
AT ITER 1500 NEW BEST:: SOT 492278 SOS 396564 HAS SOPS 396263 HAS SOUS 99612 HAS SOUPS 99506 WITH SCORE 99902.564
AT ITER 1505 NEW BEST:: SOT 492359 SOS 396143 HAS SOPS 395842 HAS SOUS 99575 HAS SOUPS 99469 WITH SCORE 99865.143
AT ITER 1513 NEW BEST:: SOT 492344 SOS 396128 HAS SOPS 395827 HAS SOUS 99545 HAS SOUPS 99439 WITH SCORE 99835.128
AT ITER 1522 NEW BEST:: SOT 492340 SOS 396124 HAS SOPS 395823 HAS SOUS 99537 HAS SOUPS 99431 WITH SCORE 99827.124
AT ITER 1546 NEW BEST:: SOT 492324 SOS 396109 HAS SOPS 395808 HAS SOUS 99506 HAS SOUPS 99400 WITH SCORE 99796.109
AT ITER 1557 NEW BEST:: SOT 492315 SOS 396121 HAS SOPS 395820 HAS SOUS 99444 HAS SOUPS 99338 WITH SCORE 99734.121
AT ITER 1572 NEW BEST:: SOT 492312 SOS 396118 HAS SOPS 395817 HAS SOUS 99438 HAS SOUPS 99332 WITH SCORE 99728.118
AT ITER 1582 NEW BEST:: SOT 492283 SOS 396060 HAS SOPS 395759 HAS SOUS 99380 HAS SOUPS 99274 WITH SCORE 99670.06
AT ITER 1590 NEW BEST:: SOT 492257 SOS 396034 HAS SOPS 395733 HAS SOUS 99303 HAS SOUPS 99197 WITH SCORE 99593.034
AT ITER 1594 NEW BEST:: SOT 492076 SOS 395958 HAS SOPS 395657 HAS SOUS 99142 HAS SOUPS 99036 WITH SCORE 99431.958
AT ITER 1604 NEW BEST:: SOT 492052 SOS 395919 HAS SOPS 395618 HAS SOUS 99122 HAS SOUPS 99016 WITH SCORE 99411.919
AT ITER 1642 NEW BEST:: SOT 491888 SOS 395755 HAS SOPS 395454 HAS SOUS 98964 HAS SOUPS 98858 WITH SCORE 99253.755
AT ITER 1645 NEW BEST:: SOT 491739 SOS 395606 HAS SOPS 395305 HAS SOUS 98815 HAS SOUPS 98709 WITH SCORE 99104.606
AT ITER 1664 NEW BEST:: SOT 491739 SOS 395606 HAS SOPS 395305 HAS SOUS 98812 HAS SOUPS 98706 WITH SCORE 99101.606
AT ITER 1696 NEW BEST:: SOT 491739 SOS 395606 HAS SOPS 395305 HAS SOUS 98806 HAS SOUPS 98700 WITH SCORE 99095.606
AT ITER 1698 NEW BEST:: SOT 491739 SOS 395570 HAS SOPS 395269 HAS SOUS 98744 HAS SOUPS 98638 WITH SCORE 99033.57
AT ITER 1702 NEW BEST:: SOT 491739 SOS 395462 HAS SOPS 395161 HAS SOUS 98648 HAS SOUPS 98542 WITH SCORE 98937.462
AT ITER 1727 NEW BEST:: SOT 491725 SOS 395448 HAS SOPS 395147 HAS SOUS 98627 HAS SOUPS 98521 WITH SCORE 98916.448
AT ITER 1737 NEW BEST:: SOT 491725 SOS 395413 HAS SOPS 395112 HAS SOUS 98240 HAS SOUPS 98134 WITH SCORE 98529.413
AT ITER 1738 NEW BEST:: SOT 491724 SOS 395412 HAS SOPS 395111 HAS SOUS 98239 HAS SOUPS 98133 WITH SCORE 98528.412
AT ITER 1749 NEW BEST:: SOT 491678 SOS 395366 HAS SOPS 395065 HAS SOUS 98161 HAS SOUPS 98055 WITH SCORE 98450.366
AT ITER 1762 NEW BEST:: SOT 491648 SOS 395336 HAS SOPS 395035 HAS SOUS 98127 HAS SOUPS 98021 WITH SCORE 98416.336
AT ITER 1763 NEW BEST:: SOT 491642 SOS 395330 HAS SOPS 395029 HAS SOUS 98115 HAS SOUPS 98009 WITH SCORE 98404.33
AT ITER 1767 NEW BEST:: SOT 491641 SOS 395329 HAS SOPS 395028 HAS SOUS 98114 HAS SOUPS 98008 WITH SCORE 98403.329
AT ITER 1789 NEW BEST:: SOT 491602 SOS 395290 HAS SOPS 394989 HAS SOUS 98028 HAS SOUPS 97922 WITH SCORE 98317.29
AT ITER 1804 NEW BEST:: SOT 491602 SOS 395264 HAS SOPS 394963 HAS SOUS 98006 HAS SOUPS 97900 WITH SCORE 98295.264
AT ITER 1810 NEW BEST:: SOT 491600 SOS 395174 HAS SOPS 394873 HAS SOUS 97872 HAS SOUPS 97766 WITH SCORE 98161.174
AT ITER 1816 NEW BEST:: SOT 491598 SOS 395180 HAS SOPS 394879 HAS SOUS 97868 HAS SOUPS 97762 WITH SCORE 98157.18
AT ITER 1824 NEW BEST:: SOT 491572 SOS 395164 HAS SOPS 394863 HAS SOUS 97852 HAS SOUPS 97746 WITH SCORE 98141.164
AT ITER 1832 NEW BEST:: SOT 491572 SOS 395198 HAS SOPS 394899 HAS SOUS 97848 HAS SOUPS 97742 WITH SCORE 98137.198
AT ITER 1837 NEW BEST:: SOT 491597 SOS 395063 HAS SOPS 394764 HAS SOUS 97774 HAS SOUPS 97668 WITH SCORE 98063.063
AT ITER 1844 NEW BEST:: SOT 491892 SOS 395310 HAS SOPS 395011 HAS SOUS 97688 HAS SOUPS 97582 WITH SCORE 97977.31
AT ITER 1846 NEW BEST:: SOT 490738 SOS 394273 HAS SOPS 393974 HAS SOUS 96819 HAS SOUPS 96713 WITH SCORE 97107.273
AT ITER 1847 NEW BEST:: SOT 490672 SOS 394207 HAS SOPS 393908 HAS SOUS 96816 HAS SOUPS 96710 WITH SCORE 97104.207
AT ITER 1850 NEW BEST:: SOT 486558 SOS 390093 HAS SOPS 389794 HAS SOUS 92648 HAS SOUPS 92542 WITH SCORE 92932.093
AT ITER 1861 NEW BEST:: SOT 486544 SOS 390065 HAS SOPS 389766 HAS SOUS 92497 HAS SOUPS 92391 WITH SCORE 92781.065
AT ITER 1867 NEW BEST:: SOT 486561 SOS 390082 HAS SOPS 389783 HAS SOUS 92483 HAS SOUPS 92377 WITH SCORE 92767.082
AT ITER 1868 NEW BEST:: SOT 486507 SOS 389978 HAS SOPS 389679 HAS SOUS 92392 HAS SOUPS 92286 WITH SCORE 92675.978
AT ITER 1870 NEW BEST:: SOT 486495 SOS 389947 HAS SOPS 389648 HAS SOUS 92367 HAS SOUPS 92261 WITH SCORE 92650.947
AT ITER 1874 NEW BEST:: SOT 486311 SOS 390233 HAS SOPS 389934 HAS SOUS 92288 HAS SOUPS 92182 WITH SCORE 92572.233
AT ITER 1895 NEW BEST:: SOT 486299 SOS 390202 HAS SOPS 389903 HAS SOUS 92263 HAS SOUPS 92157 WITH SCORE 92547.202
AT ITER 1901 NEW BEST:: SOT 486299 SOS 390181 HAS SOPS 389882 HAS SOUS 92263 HAS SOUPS 92157 WITH SCORE 92547.181
AT ITER 1912 NEW BEST:: SOT 486266 SOS 390148 HAS SOPS 389849 HAS SOUS 92241 HAS SOUPS 92135 WITH SCORE 92525.148
AT ITER 1924 NEW BEST:: SOT 486266 SOS 390148 HAS SOPS 389849 HAS SOUS 92240 HAS SOUPS 92134 WITH SCORE 92524.148
AT ITER 1926 NEW BEST:: SOT 486285 SOS 390167 HAS SOPS 389868 HAS SOUS 92236 HAS SOUPS 92130 WITH SCORE 92520.167
AT ITER 1931 NEW BEST:: SOT 486170 SOS 390109 HAS SOPS 389810 HAS SOUS 92121 HAS SOUPS 92015 WITH SCORE 92405.109
AT ITER 1935 NEW BEST:: SOT 486149 SOS 390088 HAS SOPS 389789 HAS SOUS 92100 HAS SOUPS 91994 WITH SCORE 92384.088
AT ITER 1950 NEW BEST:: SOT 486148 SOS 390086 HAS SOPS 389787 HAS SOUS 92098 HAS SOUPS 91992 WITH SCORE 92382.086
AT ITER 1952 NEW BEST:: SOT 486056 SOS 389818 HAS SOPS 389532 HAS SOUS 91935 HAS SOUPS 91842 WITH SCORE 92231.818
AT ITER 1954 NEW BEST:: SOT 486001 SOS 389708 HAS SOPS 389422 HAS SOUS 91824 HAS SOUPS 91731 WITH SCORE 92120.708
AT ITER 1987 NEW BEST:: SOT 486000 SOS 389708 HAS SOPS 389422 HAS SOUS 91745 HAS SOUPS 91652 WITH SCORE 92041.708
AT ITER 1992 NEW BEST:: SOT 485876 SOS 389526 HAS SOPS 389240 HAS SOUS 91501 HAS SOUPS 91408 WITH SCORE 91797.526
AT ITER 1997 NEW BEST:: SOT 485948 SOS 389598 HAS SOPS 389312 HAS SOUS 91490 HAS SOUPS 91397 WITH SCORE 91786.598
AT ITER 2019 NEW BEST:: SOT 485723 SOS 389405 HAS SOPS 389119 HAS SOUS 91297 HAS SOUPS 91204 WITH SCORE 91593.405
AT ITER 2023 NEW BEST:: SOT 485283 SOS 389803 HAS SOPS 389517 HAS SOUS 90976 HAS SOUPS 90883 WITH SCORE 91272.803
AT ITER 2040 NEW BEST:: SOT 485238 SOS 389861 HAS SOPS 389575 HAS SOUS 90959 HAS SOUPS 90866 WITH SCORE 91255.861
AT ITER 2050 NEW BEST:: SOT 485189 SOS 389812 HAS SOPS 389526 HAS SOUS 90836 HAS SOUPS 90743 WITH SCORE 91132.812
AT ITER 2052 NEW BEST:: SOT 485236 SOS 389834 HAS SOPS 389548 HAS SOUS 90563 HAS SOUPS 90470 WITH SCORE 90859.834
AT ITER 2056 NEW BEST:: SOT 485209 SOS 389807 HAS SOPS 389521 HAS SOUS 90510 HAS SOUPS 90417 WITH SCORE 90806.807
AT ITER 2062 NEW BEST:: SOT 485209 SOS 389679 HAS SOPS 389393 HAS SOUS 90476 HAS SOUPS 90383 WITH SCORE 90772.679
AT ITER 2067 NEW BEST:: SOT 485116 SOS 389702 HAS SOPS 389416 HAS SOUS 90365 HAS SOUPS 90272 WITH SCORE 90661.702
AT ITER 2074 NEW BEST:: SOT 485123 SOS 389706 HAS SOPS 389420 HAS SOUS 90325 HAS SOUPS 90232 WITH SCORE 90621.706
AT ITER 2084 NEW BEST:: SOT 485079 SOS 389662 HAS SOPS 389376 HAS SOUS 90255 HAS SOUPS 90162 WITH SCORE 90551.662
AT ITER 2094 NEW BEST:: SOT 485162 SOS 389231 HAS SOPS 388945 HAS SOUS 90180 HAS SOUPS 90087 WITH SCORE 90476.231
AT ITER 2097 NEW BEST:: SOT 485136 SOS 389205 HAS SOPS 388919 HAS SOUS 90154 HAS SOUPS 90061 WITH SCORE 90450.205
AT ITER 2110 NEW BEST:: SOT 484758 SOS 389821 HAS SOPS 389535 HAS SOUS 89946 HAS SOUPS 89853 WITH SCORE 90242.821
AT ITER 2118 NEW BEST:: SOT 484756 SOS 389806 HAS SOPS 389520 HAS SOUS 89941 HAS SOUPS 89848 WITH SCORE 90237.806
AT ITER 2144 NEW BEST:: SOT 484735 SOS 389777 HAS SOPS 389491 HAS SOUS 89907 HAS SOUPS 89814 WITH SCORE 90203.777
AT ITER 2162 NEW BEST:: SOT 484704 SOS 389746 HAS SOPS 389460 HAS SOUS 89882 HAS SOUPS 89789 WITH SCORE 90178.746
AT ITER 2169 NEW BEST:: SOT 484729 SOS 389597 HAS SOPS 389311 HAS SOUS 89815 HAS SOUPS 89722 WITH SCORE 90111.597
AT ITER 2188 NEW BEST:: SOT 484729 SOS 389583 HAS SOPS 389297 HAS SOUS 89793 HAS SOUPS 89700 WITH SCORE 90089.583
AT ITER 2199 NEW BEST:: SOT 484142 SOS 388996 HAS SOPS 388710 HAS SOUS 89218 HAS SOUPS 89125 WITH SCORE 89513.996
AT ITER 2205 NEW BEST:: SOT 484182 SOS 388938 HAS SOPS 388652 HAS SOUS 89209 HAS SOUPS 89116 WITH SCORE 89504.938
AT ITER 2210 NEW BEST:: SOT 484194 SOS 388969 HAS SOPS 388683 HAS SOUS 89204 HAS SOUPS 89111 WITH SCORE 89499.969
AT ITER 2212 NEW BEST:: SOT 484246 SOS 388959 HAS SOPS 388673 HAS SOUS 88922 HAS SOUPS 88829 WITH SCORE 89217.959
AT ITER 2234 NEW BEST:: SOT 484241 SOS 388955 HAS SOPS 388669 HAS SOUS 88911 HAS SOUPS 88818 WITH SCORE 89206.955
AT ITER 2239 NEW BEST:: SOT 484241 SOS 388955 HAS SOPS 388669 HAS SOUS 88909 HAS SOUPS 88816 WITH SCORE 89204.955
AT ITER 2245 NEW BEST:: SOT 484216 SOS 388930 HAS SOPS 388644 HAS SOUS 88884 HAS SOUPS 88791 WITH SCORE 89179.93
AT ITER 2248 NEW BEST:: SOT 484213 SOS 388951 HAS SOPS 388665 HAS SOUS 88881 HAS SOUPS 88788 WITH SCORE 89176.951
AT ITER 2252 NEW BEST:: SOT 484157 SOS 388951 HAS SOPS 388665 HAS SOUS 88825 HAS SOUPS 88732 WITH SCORE 89120.951
AT ITER 2266 NEW BEST:: SOT 484172 SOS 388966 HAS SOPS 388680 HAS SOUS 88792 HAS SOUPS 88699 WITH SCORE 89087.966
AT ITER 2277 NEW BEST:: SOT 484118 SOS 388900 HAS SOPS 388614 HAS SOUS 88702 HAS SOUPS 88609 WITH SCORE 88997.9
AT ITER 2281 NEW BEST:: SOT 484118 SOS 388893 HAS SOPS 388607 HAS SOUS 88702 HAS SOUPS 88609 WITH SCORE 88997.893
AT ITER 2286 NEW BEST:: SOT 484052 SOS 388827 HAS SOPS 388541 HAS SOUS 88623 HAS SOUPS 88530 WITH SCORE 88918.827
AT ITER 2291 NEW BEST:: SOT 484043 SOS 388808 HAS SOPS 388522 HAS SOUS 88603 HAS SOUPS 88510 WITH SCORE 88898.808
AT ITER 2303 NEW BEST:: SOT 484020 SOS 388475 HAS SOPS 388189 HAS SOUS 88549 HAS SOUPS 88456 WITH SCORE 88844.475
AT ITER 2332 NEW BEST:: SOT 484004 SOS 388459 HAS SOPS 388173 HAS SOUS 88533 HAS SOUPS 88440 WITH SCORE 88828.459
AT ITER 2348 NEW BEST:: SOT 484164 SOS 388619 HAS SOPS 388333 HAS SOUS 88193 HAS SOUPS 88100 WITH SCORE 88488.619
AT ITER 2370 NEW BEST:: SOT 484180 SOS 388495 HAS SOPS 388209 HAS SOUS 88087 HAS SOUPS 87994 WITH SCORE 88382.495
AT ITER 2380 NEW BEST:: SOT 484156 SOS 388471 HAS SOPS 388185 HAS SOUS 88023 HAS SOUPS 87930 WITH SCORE 88318.471
AT ITER 2387 NEW BEST:: SOT 484155 SOS 388470 HAS SOPS 388184 HAS SOUS 88022 HAS SOUPS 87929 WITH SCORE 88317.47
AT ITER 2390 NEW BEST:: SOT 484064 SOS 388188 HAS SOPS 387902 HAS SOUS 87773 HAS SOUPS 87680 WITH SCORE 88068.188
AT ITER 2412 NEW BEST:: SOT 484064 SOS 388405 HAS SOPS 388131 HAS SOUS 87753 HAS SOUPS 87660 WITH SCORE 88048.405
AT ITER 2428 NEW BEST:: SOT 484023 SOS 388364 HAS SOPS 388090 HAS SOUS 87719 HAS SOUPS 87626 WITH SCORE 88014.364
AT ITER 2451 NEW BEST:: SOT 484013 SOS 388348 HAS SOPS 388074 HAS SOUS 87719 HAS SOUPS 87626 WITH SCORE 88014.348
AT ITER 2460 NEW BEST:: SOT 483993 SOS 388334 HAS SOPS 388060 HAS SOUS 87675 HAS SOUPS 87582 WITH SCORE 87970.334
AT ITER 2465 NEW BEST:: SOT 483880 SOS 388221 HAS SOPS 387947 HAS SOUS 87435 HAS SOUPS 87342 WITH SCORE 87730.221
AT ITER 2466 NEW BEST:: SOT 483880 SOS 388215 HAS SOPS 387941 HAS SOUS 87429 HAS SOUPS 87336 WITH SCORE 87724.215
AT ITER 2493 NEW BEST:: SOT 483618 SOS 387953 HAS SOPS 387679 HAS SOUS 87167 HAS SOUPS 87074 WITH SCORE 87461.953
AT ITER 2495 NEW BEST:: SOT 483571 SOS 387906 HAS SOPS 387632 HAS SOUS 87123 HAS SOUPS 87030 WITH SCORE 87417.906
AT ITER 2514 NEW BEST:: SOT 483383 SOS 387913 HAS SOPS 387639 HAS SOUS 86930 HAS SOUPS 86837 WITH SCORE 87224.913
AT ITER 2515 NEW BEST:: SOT 483396 SOS 387951 HAS SOPS 387677 HAS SOUS 86924 HAS SOUPS 86831 WITH SCORE 87218.951
AT ITER 2522 NEW BEST:: SOT 483375 SOS 387797 HAS SOPS 387523 HAS SOUS 86631 HAS SOUPS 86538 WITH SCORE 86925.797
AT ITER 2529 NEW BEST:: SOT 483351 SOS 387773 HAS SOPS 387499 HAS SOUS 86583 HAS SOUPS 86490 WITH SCORE 86877.773
AT ITER 2548 NEW BEST:: SOT 483325 SOS 387747 HAS SOPS 387473 HAS SOUS 86554 HAS SOUPS 86461 WITH SCORE 86848.747
AT ITER 2549 NEW BEST:: SOT 483329 SOS 387635 HAS SOPS 387361 HAS SOUS 86517 HAS SOUPS 86424 WITH SCORE 86811.635
AT ITER 2553 NEW BEST:: SOT 483280 SOS 387401 HAS SOPS 387127 HAS SOUS 86384 HAS SOUPS 86291 WITH SCORE 86678.401
AT ITER 2558 NEW BEST:: SOT 483236 SOS 387357 HAS SOPS 387083 HAS SOUS 86375 HAS SOUPS 86282 WITH SCORE 86669.357
AT ITER 2565 NEW BEST:: SOT 483225 SOS 387346 HAS SOPS 387072 HAS SOUS 86353 HAS SOUPS 86260 WITH SCORE 86647.346
AT ITER 2568 NEW BEST:: SOT 483221 SOS 387342 HAS SOPS 387068 HAS SOUS 86349 HAS SOUPS 86256 WITH SCORE 86643.342
AT ITER 2573 NEW BEST:: SOT 483152 SOS 387273 HAS SOPS 386999 HAS SOUS 86208 HAS SOUPS 86115 WITH SCORE 86502.273
AT ITER 2580 NEW BEST:: SOT 483230 SOS 387127 HAS SOPS 386853 HAS SOUS 86139 HAS SOUPS 86046 WITH SCORE 86433.127
AT ITER 2586 NEW BEST:: SOT 483230 SOS 387106 HAS SOPS 386831 HAS SOUS 86137 HAS SOUPS 86044 WITH SCORE 86431.106
AT ITER 2588 NEW BEST:: SOT 483210 SOS 387055 HAS SOPS 386780 HAS SOUS 86124 HAS SOUPS 86031 WITH SCORE 86418.055
AT ITER 2613 NEW BEST:: SOT 483212 SOS 387055 HAS SOPS 386780 HAS SOUS 86119 HAS SOUPS 86026 WITH SCORE 86413.055
AT ITER 2640 NEW BEST:: SOT 483179 SOS 386876 HAS SOPS 386601 HAS SOUS 86095 HAS SOUPS 86002 WITH SCORE 86388.876
AT ITER 2641 NEW BEST:: SOT 483187 SOS 386874 HAS SOPS 386599 HAS SOUS 86055 HAS SOUPS 85962 WITH SCORE 86348.874
AT ITER 2663 NEW BEST:: SOT 483187 SOS 387044 HAS SOPS 386779 HAS SOUS 86035 HAS SOUPS 85942 WITH SCORE 86329.044
AT ITER 2671 NEW BEST:: SOT 483174 SOS 387031 HAS SOPS 386766 HAS SOUS 86028 HAS SOUPS 85935 WITH SCORE 86322.031
AT ITER 2694 NEW BEST:: SOT 483526 SOS 387383 HAS SOPS 387118 HAS SOUS 84019 HAS SOUPS 83926 WITH SCORE 84313.383
AT ITER 2707 NEW BEST:: SOT 483517 SOS 387374 HAS SOPS 387109 HAS SOUS 84007 HAS SOUPS 83914 WITH SCORE 84301.374
AT ITER 2710 NEW BEST:: SOT 479812 SOS 383669 HAS SOPS 383404 HAS SOUS 83394 HAS SOUPS 83301 WITH SCORE 83684.669
AT ITER 2722 NEW BEST:: SOT 479757 SOS 383595 HAS SOPS 383330 HAS SOUS 83365 HAS SOUPS 83272 WITH SCORE 83655.595
AT ITER 2730 NEW BEST:: SOT 479897 SOS 383735 HAS SOPS 383470 HAS SOUS 83267 HAS SOUPS 83174 WITH SCORE 83557.735
AT ITER 2731 NEW BEST:: SOT 479870 SOS 383681 HAS SOPS 383416 HAS SOUS 83240 HAS SOUPS 83147 WITH SCORE 83530.681
AT ITER 2737 NEW BEST:: SOT 479869 SOS 383680 HAS SOPS 383415 HAS SOUS 83237 HAS SOUPS 83144 WITH SCORE 83527.68
AT ITER 2760 NEW BEST:: SOT 479860 SOS 383663 HAS SOPS 383398 HAS SOUS 83228 HAS SOUPS 83135 WITH SCORE 83518.663
AT ITER 2761 NEW BEST:: SOT 479860 SOS 383654 HAS SOPS 383389 HAS SOUS 83228 HAS SOUPS 83135 WITH SCORE 83518.654
AT ITER 2781 NEW BEST:: SOT 479860 SOS 383654 HAS SOPS 383389 HAS SOUS 83201 HAS SOUPS 83108 WITH SCORE 83491.654
AT ITER 2822 NEW BEST:: SOT 479850 SOS 383644 HAS SOPS 383379 HAS SOUS 83146 HAS SOUPS 83053 WITH SCORE 83436.644
AT ITER 2829 NEW BEST:: SOT 479850 SOS 383644 HAS SOPS 383379 HAS SOUS 83102 HAS SOUPS 83009 WITH SCORE 83392.644
AT ITER 2869 NEW BEST:: SOT 480004 SOS 383726 HAS SOPS 383461 HAS SOUS 82400 HAS SOUPS 82307 WITH SCORE 82690.726
AT ITER 2873 NEW BEST:: SOT 479953 SOS 383852 HAS SOPS 383587 HAS SOUS 82380 HAS SOUPS 82287 WITH SCORE 82670.852
AT ITER 2876 NEW BEST:: SOT 479899 SOS 383752 HAS SOPS 383487 HAS SOUS 82280 HAS SOUPS 82187 WITH SCORE 82570.752
AT ITER 2914 NEW BEST:: SOT 479893 SOS 383746 HAS SOPS 383481 HAS SOUS 82268 HAS SOUPS 82175 WITH SCORE 82558.746
AT ITER 2946 NEW BEST:: SOT 479781 SOS 383675 HAS SOPS 383410 HAS SOUS 82197 HAS SOUPS 82104 WITH SCORE 82487.675
AT ITER 2947 NEW BEST:: SOT 479715 SOS 383618 HAS SOPS 383353 HAS SOUS 82068 HAS SOUPS 81975 WITH SCORE 82358.618
AT ITER 2968 NEW BEST:: SOT 479715 SOS 383618 HAS SOPS 383353 HAS SOUS 82055 HAS SOUPS 81962 WITH SCORE 82345.618
AT ITER 2978 NEW BEST:: SOT 479647 SOS 383550 HAS SOPS 383285 HAS SOUS 81974 HAS SOUPS 81881 WITH SCORE 82264.55
AT ITER 2994 NEW BEST:: SOT 479486 SOS 383326 HAS SOPS 383061 HAS SOUS 81750 HAS SOUPS 81657 WITH SCORE 82040.326
AT ITER 3013 NEW BEST:: SOT 479433 SOS 383273 HAS SOPS 383008 HAS SOUS 81644 HAS SOUPS 81551 WITH SCORE 81934.273
AT ITER 3019 NEW BEST:: SOT 479423 SOS 383263 HAS SOPS 382998 HAS SOUS 81634 HAS SOUPS 81541 WITH SCORE 81924.263
AT ITER 3049 NEW BEST:: SOT 479309 SOS 383034 HAS SOPS 382769 HAS SOUS 81422 HAS SOUPS 81329 WITH SCORE 81712.034
AT ITER 3085 NEW BEST:: SOT 479350 SOS 383075 HAS SOPS 382810 HAS SOUS 81414 HAS SOUPS 81321 WITH SCORE 81704.075
AT ITER 3093 NEW BEST:: SOT 479332 SOS 383103 HAS SOPS 382838 HAS SOUS 81389 HAS SOUPS 81296 WITH SCORE 81679.103
AT ITER 3096 NEW BEST:: SOT 479142 SOS 382913 HAS SOPS 382648 HAS SOUS 80241 HAS SOUPS 80148 WITH SCORE 80530.913
AT ITER 3116 NEW BEST:: SOT 479124 SOS 382895 HAS SOPS 382630 HAS SOUS 80223 HAS SOUPS 80130 WITH SCORE 80512.895
AT ITER 3119 NEW BEST:: SOT 479051 SOS 382775 HAS SOPS 382510 HAS SOUS 80128 HAS SOUPS 80035 WITH SCORE 80417.775
AT ITER 3128 NEW BEST:: SOT 478357 SOS 382561 HAS SOPS 382296 HAS SOUS 80090 HAS SOUPS 79997 WITH SCORE 80379.561
AT ITER 3137 NEW BEST:: SOT 478346 SOS 382539 HAS SOPS 382274 HAS SOUS 80068 HAS SOUPS 79975 WITH SCORE 80357.539
AT ITER 3148 NEW BEST:: SOT 478342 SOS 382518 HAS SOPS 382268 HAS SOUS 80047 HAS SOUPS 79969 WITH SCORE 80351.518
AT ITER 3154 NEW BEST:: SOT 478428 SOS 382604 HAS SOPS 382354 HAS SOUS 79662 HAS SOUPS 79584 WITH SCORE 79966.604
AT ITER 3164 NEW BEST:: SOT 478415 SOS 382583 HAS SOPS 382333 HAS SOUS 79648 HAS SOUPS 79570 WITH SCORE 79952.583
AT ITER 3165 NEW BEST:: SOT 478407 SOS 382575 HAS SOPS 382325 HAS SOUS 79640 HAS SOUPS 79562 WITH SCORE 79944.575
AT ITER 3193 NEW BEST:: SOT 478399 SOS 382572 HAS SOPS 382322 HAS SOUS 79639 HAS SOUPS 79561 WITH SCORE 79943.572
AT ITER 3204 NEW BEST:: SOT 478399 SOS 382457 HAS SOPS 382207 HAS SOUS 79616 HAS SOUPS 79538 WITH SCORE 79920.457
AT ITER 3224 NEW BEST:: SOT 478334 SOS 382403 HAS SOPS 382153 HAS SOUS 79562 HAS SOUPS 79484 WITH SCORE 79866.403
AT ITER 3240 NEW BEST:: SOT 478274 SOS 382310 HAS SOPS 382060 HAS SOUS 79441 HAS SOUPS 79363 WITH SCORE 79745.31
AT ITER 3251 NEW BEST:: SOT 478270 SOS 382293 HAS SOPS 382043 HAS SOUS 79401 HAS SOUPS 79323 WITH SCORE 79705.293
AT ITER 3265 NEW BEST:: SOT 478265 SOS 382288 HAS SOPS 382038 HAS SOUS 79379 HAS SOUPS 79301 WITH SCORE 79683.288
AT ITER 3266 NEW BEST:: SOT 478259 SOS 382282 HAS SOPS 382032 HAS SOUS 79367 HAS SOUPS 79289 WITH SCORE 79671.282
AT ITER 3270 NEW BEST:: SOT 478255 SOS 382293 HAS SOPS 382043 HAS SOUS 79352 HAS SOUPS 79274 WITH SCORE 79656.293
AT ITER 3295 NEW BEST:: SOT 478255 SOS 382293 HAS SOPS 382043 HAS SOUS 79349 HAS SOUPS 79271 WITH SCORE 79653.293
AT ITER 3304 NEW BEST:: SOT 478209 SOS 382315 HAS SOPS 382065 HAS SOUS 79284 HAS SOUPS 79206 WITH SCORE 79588.315
AT ITER 3332 NEW BEST:: SOT 478062 SOS 382200 HAS SOPS 381950 HAS SOUS 79078 HAS SOUPS 79000 WITH SCORE 79382.2
AT ITER 3349 NEW BEST:: SOT 478051 SOS 382189 HAS SOPS 381939 HAS SOUS 79067 HAS SOUPS 78989 WITH SCORE 79371.189
AT ITER 3360 NEW BEST:: SOT 478070 SOS 382188 HAS SOPS 381938 HAS SOUS 79066 HAS SOUPS 78988 WITH SCORE 79370.188
AT ITER 3369 NEW BEST:: SOT 478087 SOS 382157 HAS SOPS 381907 HAS SOUS 79023 HAS SOUPS 78945 WITH SCORE 79327.157
AT ITER 3380 NEW BEST:: SOT 478081 SOS 382151 HAS SOPS 381901 HAS SOUS 79017 HAS SOUPS 78939 WITH SCORE 79321.151
AT ITER 3386 NEW BEST:: SOT 478061 SOS 382035 HAS SOPS 381785 HAS SOUS 78972 HAS SOUPS 78894 WITH SCORE 79276.035
AT ITER 3391 NEW BEST:: SOT 478061 SOS 382035 HAS SOPS 381785 HAS SOUS 78969 HAS SOUPS 78891 WITH SCORE 79273.035
AT ITER 3407 NEW BEST:: SOT 478059 SOS 382083 HAS SOPS 381833 HAS SOUS 78966 HAS SOUPS 78888 WITH SCORE 79270.083
AT ITER 3413 NEW BEST:: SOT 478065 SOS 382106 HAS SOPS 381856 HAS SOUS 78961 HAS SOUPS 78883 WITH SCORE 79265.106
AT ITER 3420 NEW BEST:: SOT 478064 SOS 382105 HAS SOPS 381855 HAS SOUS 78952 HAS SOUPS 78874 WITH SCORE 79256.105
AT ITER 3427 NEW BEST:: SOT 478061 SOS 382102 HAS SOPS 381852 HAS SOUS 78949 HAS SOUPS 78871 WITH SCORE 79253.102
AT ITER 3465 NEW BEST:: SOT 478018 SOS 382094 HAS SOPS 381844 HAS SOUS 78887 HAS SOUPS 78809 WITH SCORE 79191.094
AT ITER 3470 NEW BEST:: SOT 477994 SOS 382070 HAS SOPS 381820 HAS SOUS 78832 HAS SOUPS 78754 WITH SCORE 79136.07
AT ITER 3474 NEW BEST:: SOT 477424 SOS 381465 HAS SOPS 381215 HAS SOUS 78647 HAS SOUPS 78569 WITH SCORE 78950.465
AT ITER 3479 NEW BEST:: SOT 477904 SOS 381495 HAS SOPS 381245 HAS SOUS 78379 HAS SOUPS 78301 WITH SCORE 78682.495
AT ITER 3491 NEW BEST:: SOT 477894 SOS 381485 HAS SOPS 381235 HAS SOUS 78369 HAS SOUPS 78291 WITH SCORE 78672.485
AT ITER 3496 NEW BEST:: SOT 477835 SOS 381426 HAS SOPS 381176 HAS SOUS 78282 HAS SOUPS 78204 WITH SCORE 78585.426
AT ITER 3499 NEW BEST:: SOT 477923 SOS 381514 HAS SOPS 381264 HAS SOUS 78272 HAS SOUPS 78194 WITH SCORE 78575.514
AT ITER 3512 NEW BEST:: SOT 477940 SOS 381531 HAS SOPS 381281 HAS SOUS 78269 HAS SOUPS 78191 WITH SCORE 78572.531
AT ITER 3548 NEW BEST:: SOT 477940 SOS 381380 HAS SOPS 381130 HAS SOUS 78121 HAS SOUPS 78043 WITH SCORE 78424.38
AT ITER 3549 NEW BEST:: SOT 477953 SOS 381393 HAS SOPS 381143 HAS SOUS 78119 HAS SOUPS 78041 WITH SCORE 78422.393
AT ITER 3551 NEW BEST:: SOT 477939 SOS 381379 HAS SOPS 381129 HAS SOUS 78061 HAS SOUPS 77983 WITH SCORE 78364.379
AT ITER 3561 NEW BEST:: SOT 477894 SOS 381328 HAS SOPS 381078 HAS SOUS 77971 HAS SOUPS 77893 WITH SCORE 78274.328
AT ITER 3606 NEW BEST:: SOT 477890 SOS 381320 HAS SOPS 381070 HAS SOUS 77963 HAS SOUPS 77885 WITH SCORE 78266.32
AT ITER 3609 NEW BEST:: SOT 474598 SOS 378028 HAS SOPS 377778 HAS SOUS 76743 HAS SOUPS 76665 WITH SCORE 77043.028
AT ITER 3618 NEW BEST:: SOT 474584 SOS 378014 HAS SOPS 377764 HAS SOUS 76694 HAS SOUPS 76616 WITH SCORE 76994.014
AT ITER 3628 NEW BEST:: SOT 474506 SOS 378009 HAS SOPS 377759 HAS SOUS 76616 HAS SOUPS 76538 WITH SCORE 76916.009
AT ITER 3644 NEW BEST:: SOT 474488 SOS 378103 HAS SOPS 377853 HAS SOUS 76598 HAS SOUPS 76520 WITH SCORE 76898.103
AT ITER 3654 NEW BEST:: SOT 474503 SOS 378118 HAS SOPS 377868 HAS SOUS 76577 HAS SOUPS 76499 WITH SCORE 76877.118
AT ITER 3659 NEW BEST:: SOT 474517 SOS 378132 HAS SOPS 377882 HAS SOUS 76570 HAS SOUPS 76492 WITH SCORE 76870.132
AT ITER 3673 NEW BEST:: SOT 474512 SOS 378121 HAS SOPS 377871 HAS SOUS 76559 HAS SOUPS 76481 WITH SCORE 76859.121
AT ITER 3696 NEW BEST:: SOT 474493 SOS 378083 HAS SOPS 377833 HAS SOUS 76521 HAS SOUPS 76443 WITH SCORE 76821.083
AT ITER 3700 NEW BEST:: SOT 474493 SOS 378083 HAS SOPS 377833 HAS SOUS 76486 HAS SOUPS 76408 WITH SCORE 76786.083
AT ITER 3708 NEW BEST:: SOT 474493 SOS 378141 HAS SOPS 377891 HAS SOUS 76482 HAS SOUPS 76404 WITH SCORE 76782.141
AT ITER 3754 NEW BEST:: SOT 474443 SOS 377301 HAS SOPS 377051 HAS SOUS 76303 HAS SOUPS 76225 WITH SCORE 76602.301
AT ITER 3771 NEW BEST:: SOT 474363 SOS 377221 HAS SOPS 376971 HAS SOUS 76169 HAS SOUPS 76091 WITH SCORE 76468.221
AT ITER 3778 NEW BEST:: SOT 474203 SOS 377168 HAS SOPS 376918 HAS SOUS 75916 HAS SOUPS 75838 WITH SCORE 76215.168
AT ITER 3783 NEW BEST:: SOT 474220 SOS 377180 HAS SOPS 376930 HAS SOUS 75891 HAS SOUPS 75813 WITH SCORE 76190.18
AT ITER 3811 NEW BEST:: SOT 474193 SOS 377152 HAS SOPS 376902 HAS SOUS 75863 HAS SOUPS 75785 WITH SCORE 76162.152
AT ITER 3818 NEW BEST:: SOT 474185 SOS 377137 HAS SOPS 376887 HAS SOUS 75848 HAS SOUPS 75770 WITH SCORE 76147.137
AT ITER 3852 NEW BEST:: SOT 474170 SOS 377107 HAS SOPS 376857 HAS SOUS 75833 HAS SOUPS 75755 WITH SCORE 76132.107
AT ITER 3853 NEW BEST:: SOT 474139 SOS 376954 HAS SOPS 376704 HAS SOUS 75787 HAS SOUPS 75709 WITH SCORE 76085.954
AT ITER 3873 NEW BEST:: SOT 474139 SOS 376954 HAS SOPS 376704 HAS SOUS 75778 HAS SOUPS 75700 WITH SCORE 76076.954
AT ITER 3891 NEW BEST:: SOT 474134 SOS 376949 HAS SOPS 376699 HAS SOUS 75773 HAS SOUPS 75695 WITH SCORE 76071.949
AT ITER 3902 NEW BEST:: SOT 474072 SOS 376945 HAS SOPS 376695 HAS SOUS 75711 HAS SOUPS 75633 WITH SCORE 76009.945
AT ITER 3910 NEW BEST:: SOT 474153 SOS 376836 HAS SOPS 376586 HAS SOUS 75691 HAS SOUPS 75613 WITH SCORE 75989.836
AT ITER 3919 NEW BEST:: SOT 474211 SOS 376826 HAS SOPS 376576 HAS SOUS 75686 HAS SOUPS 75608 WITH SCORE 75984.826
AT ITER 3942 NEW BEST:: SOT 474202 SOS 376808 HAS SOPS 376558 HAS SOUS 75677 HAS SOUPS 75599 WITH SCORE 75975.808
AT ITER 3957 NEW BEST:: SOT 474218 SOS 376762 HAS SOPS 376512 HAS SOUS 75650 HAS SOUPS 75572 WITH SCORE 75948.762
AT ITER 3960 NEW BEST:: SOT 474216 SOS 376760 HAS SOPS 376510 HAS SOUS 75646 HAS SOUPS 75568 WITH SCORE 75944.76
AT ITER 3974 NEW BEST:: SOT 474214 SOS 376758 HAS SOPS 376508 HAS SOUS 75644 HAS SOUPS 75566 WITH SCORE 75942.758
AT ITER 3978 NEW BEST:: SOT 474189 SOS 376724 HAS SOPS 376474 HAS SOUS 75609 HAS SOUPS 75531 WITH SCORE 75907.724
AT ITER 4011 NEW BEST:: SOT 474231 SOS 376766 HAS SOPS 376516 HAS SOUS 75327 HAS SOUPS 75249 WITH SCORE 75625.766
AT ITER 4020 NEW BEST:: SOT 473460 SOS 376013 HAS SOPS 375763 HAS SOUS 74634 HAS SOUPS 74556 WITH SCORE 74932.013
AT ITER 4034 NEW BEST:: SOT 473455 SOS 376008 HAS SOPS 375758 HAS SOUS 74616 HAS SOUPS 74538 WITH SCORE 74914.008
AT ITER 4044 NEW BEST:: SOT 475465 SOS 377949 HAS SOPS 377699 HAS SOUS 74603 HAS SOUPS 74525 WITH SCORE 74902.949
AT ITER 4046 NEW BEST:: SOT 475434 SOS 377791 HAS SOPS 377541 HAS SOUS 74517 HAS SOUPS 74439 WITH SCORE 74816.791
AT ITER 4052 NEW BEST:: SOT 475429 SOS 377786 HAS SOPS 377536 HAS SOUS 74502 HAS SOUPS 74424 WITH SCORE 74801.786
AT ITER 4055 NEW BEST:: SOT 475429 SOS 377969 HAS SOPS 377729 HAS SOUS 74492 HAS SOUPS 74414 WITH SCORE 74791.969
AT ITER 4073 NEW BEST:: SOT 475422 SOS 377962 HAS SOPS 377722 HAS SOUS 74480 HAS SOUPS 74402 WITH SCORE 74779.962
AT ITER 4085 NEW BEST:: SOT 475429 SOS 377969 HAS SOPS 377729 HAS SOUS 74473 HAS SOUPS 74395 WITH SCORE 74772.969
AT ITER 4089 NEW BEST:: SOT 475413 SOS 377953 HAS SOPS 377713 HAS SOUS 74457 HAS SOUPS 74379 WITH SCORE 74756.953
AT ITER 4132 NEW BEST:: SOT 475534 SOS 378040 HAS SOPS 377800 HAS SOUS 74359 HAS SOUPS 74281 WITH SCORE 74659.04
AT ITER 4183 NEW BEST:: SOT 475523 SOS 376999 HAS SOPS 376759 HAS SOUS 74296 HAS SOUPS 74218 WITH SCORE 74594.999
AT ITER 4190 NEW BEST:: SOT 475513 SOS 376989 HAS SOPS 376749 HAS SOUS 74276 HAS SOUPS 74198 WITH SCORE 74574.989
AT ITER 4202 NEW BEST:: SOT 475499 SOS 376975 HAS SOPS 376735 HAS SOUS 74256 HAS SOUPS 74178 WITH SCORE 74554.975
AT ITER 4205 NEW BEST:: SOT 475493 SOS 376966 HAS SOPS 376726 HAS SOUS 74231 HAS SOUPS 74153 WITH SCORE 74529.966
AT ITER 4230 NEW BEST:: SOT 475492 SOS 376965 HAS SOPS 376725 HAS SOUS 74231 HAS SOUPS 74153 WITH SCORE 74529.965
AT ITER 4236 NEW BEST:: SOT 475483 SOS 376943 HAS SOPS 376703 HAS SOUS 74198 HAS SOUPS 74120 WITH SCORE 74496.943
AT ITER 4258 NEW BEST:: SOT 475465 SOS 376921 HAS SOPS 376681 HAS SOUS 74176 HAS SOUPS 74098 WITH SCORE 74474.921
AT ITER 4261 NEW BEST:: SOT 475588 SOS 376755 HAS SOPS 376515 HAS SOUS 74101 HAS SOUPS 74023 WITH SCORE 74399.755
AT ITER 4265 NEW BEST:: SOT 475587 SOS 376696 HAS SOPS 376456 HAS SOUS 74100 HAS SOUPS 74022 WITH SCORE 74398.696
AT ITER 4277 NEW BEST:: SOT 475563 SOS 376672 HAS SOPS 376432 HAS SOUS 74091 HAS SOUPS 74013 WITH SCORE 74389.672
AT ITER 4291 NEW BEST:: SOT 475563 SOS 376672 HAS SOPS 376432 HAS SOUS 74077 HAS SOUPS 73999 WITH SCORE 74375.672
AT ITER 4318 NEW BEST:: SOT 475563 SOS 376672 HAS SOPS 376432 HAS SOUS 74058 HAS SOUPS 73980 WITH SCORE 74356.672
AT ITER 4332 NEW BEST:: SOT 475563 SOS 376655 HAS SOPS 376415 HAS SOUS 74041 HAS SOUPS 73963 WITH SCORE 74339.655
AT ITER 4343 NEW BEST:: SOT 475556 SOS 376656 HAS SOPS 376401 HAS SOUS 74051 HAS SOUPS 73958 WITH SCORE 74334.656
AT ITER 4348 NEW BEST:: SOT 475536 SOS 376616 HAS SOPS 376361 HAS SOUS 74011 HAS SOUPS 73918 WITH SCORE 74294.616
AT ITER 4379 NEW BEST:: SOT 475534 SOS 376575 HAS SOPS 376350 HAS SOUS 74006 HAS SOUPS 73916 WITH SCORE 74292.575
AT ITER 4408 NEW BEST:: SOT 475511 SOS 376534 HAS SOPS 376309 HAS SOUS 73963 HAS SOUPS 73873 WITH SCORE 74249.534
AT ITER 4412 NEW BEST:: SOT 475493 SOS 376516 HAS SOPS 376291 HAS SOUS 73945 HAS SOUPS 73855 WITH SCORE 74231.516
AT ITER 4434 NEW BEST:: SOT 475493 SOS 376514 HAS SOPS 376289 HAS SOUS 73934 HAS SOUPS 73844 WITH SCORE 74220.514
AT ITER 4459 NEW BEST:: SOT 475493 SOS 376508 HAS SOPS 376283 HAS SOUS 73928 HAS SOUPS 73838 WITH SCORE 74214.508
AT ITER 4480 NEW BEST:: SOT 475472 SOS 376487 HAS SOPS 376262 HAS SOUS 73913 HAS SOUPS 73823 WITH SCORE 74199.487
AT ITER 4489 NEW BEST:: SOT 475460 SOS 376530 HAS SOPS 376305 HAS SOUS 73908 HAS SOUPS 73818 WITH SCORE 74194.53
AT ITER 4495 NEW BEST:: SOT 475428 SOS 376504 HAS SOPS 376279 HAS SOUS 73898 HAS SOUPS 73808 WITH SCORE 74184.504
AT ITER 4496 NEW BEST:: SOT 475428 SOS 376504 HAS SOPS 376279 HAS SOUS 73891 HAS SOUPS 73801 WITH SCORE 74177.504
AT ITER 4497 NEW BEST:: SOT 475385 SOS 376461 HAS SOPS 376236 HAS SOUS 73855 HAS SOUPS 73765 WITH SCORE 74141.461
AT ITER 4542 NEW BEST:: SOT 475385 SOS 376429 HAS SOPS 376204 HAS SOUS 73855 HAS SOUPS 73765 WITH SCORE 74141.429
AT ITER 4567 NEW BEST:: SOT 475379 SOS 376401 HAS SOPS 376176 HAS SOUS 73709 HAS SOUPS 73619 WITH SCORE 73995.401
AT ITER 4570 NEW BEST:: SOT 475354 SOS 376376 HAS SOPS 376151 HAS SOUS 73684 HAS SOUPS 73594 WITH SCORE 73970.376
AT ITER 4581 NEW BEST:: SOT 475343 SOS 376365 HAS SOPS 376140 HAS SOUS 73662 HAS SOUPS 73572 WITH SCORE 73948.365
AT ITER 4582 NEW BEST:: SOT 475343 SOS 376365 HAS SOPS 376140 HAS SOUS 73655 HAS SOUPS 73565 WITH SCORE 73941.365
AT ITER 4625 NEW BEST:: SOT 475362 SOS 376384 HAS SOPS 376159 HAS SOUS 73651 HAS SOUPS 73561 WITH SCORE 73937.384
AT ITER 4636 NEW BEST:: SOT 475300 SOS 376342 HAS SOPS 376117 HAS SOUS 73634 HAS SOUPS 73544 WITH SCORE 73920.342
AT ITER 4637 NEW BEST:: SOT 475291 SOS 376333 HAS SOPS 376108 HAS SOUS 73625 HAS SOUPS 73535 WITH SCORE 73911.333
AT ITER 4678 NEW BEST:: SOT 475286 SOS 376328 HAS SOPS 376103 HAS SOUS 73588 HAS SOUPS 73498 WITH SCORE 73874.328
AT ITER 4680 NEW BEST:: SOT 475290 SOS 376260 HAS SOPS 376035 HAS SOUS 73574 HAS SOUPS 73484 WITH SCORE 73860.26
AT ITER 4740 NEW BEST:: SOT 475208 SOS 376200 HAS SOPS 375975 HAS SOUS 73492 HAS SOUPS 73402 WITH SCORE 73778.2
AT ITER 4745 NEW BEST:: SOT 475208 SOS 376177 HAS SOPS 375952 HAS SOUS 73469 HAS SOUPS 73379 WITH SCORE 73755.177
AT ITER 4760 NEW BEST:: SOT 475208 SOS 376177 HAS SOPS 375952 HAS SOUS 73463 HAS SOUPS 73373 WITH SCORE 73749.177
AT ITER 4787 NEW BEST:: SOT 475531 SOS 376500 HAS SOPS 376275 HAS SOUS 73236 HAS SOUPS 73146 WITH SCORE 73522.5
AT ITER 4795 NEW BEST:: SOT 475531 SOS 376500 HAS SOPS 376275 HAS SOUS 73214 HAS SOUPS 73124 WITH SCORE 73500.5
AT ITER 4805 NEW BEST:: SOT 475563 SOS 376532 HAS SOPS 376307 HAS SOUS 73200 HAS SOUPS 73110 WITH SCORE 73486.532
AT ITER 4856 NEW BEST:: SOT 475560 SOS 376526 HAS SOPS 376301 HAS SOUS 73197 HAS SOUPS 73107 WITH SCORE 73483.526
AT ITER 4860 NEW BEST:: SOT 475508 SOS 376448 HAS SOPS 376223 HAS SOUS 73132 HAS SOUPS 73042 WITH SCORE 73418.448
AT ITER 4861 NEW BEST:: SOT 475502 SOS 376442 HAS SOPS 376217 HAS SOUS 73120 HAS SOUPS 73030 WITH SCORE 73406.442
AT ITER 4915 NEW BEST:: SOT 475485 SOS 376442 HAS SOPS 376217 HAS SOUS 73103 HAS SOUPS 73013 WITH SCORE 73389.442
AT ITER 4949 NEW BEST:: SOT 475485 SOS 376442 HAS SOPS 376217 HAS SOUS 73036 HAS SOUPS 72946 WITH SCORE 73322.442
AT ITER 4953 NEW BEST:: SOT 475485 SOS 376291 HAS SOPS 376066 HAS SOUS 72868 HAS SOUPS 72778 WITH SCORE 73154.291
AT ITER 4968 NEW BEST:: SOT 475441 SOS 376247 HAS SOPS 376022 HAS SOUS 72824 HAS SOUPS 72734 WITH SCORE 73110.247
AT ITER 4988 NEW BEST:: SOT 475444 SOS 376218 HAS SOPS 375993 HAS SOUS 72803 HAS SOUPS 72713 WITH SCORE 73089.218
AT ITER 4994 NEW BEST:: SOT 475399 SOS 376128 HAS SOPS 375903 HAS SOUS 72694 HAS SOUPS 72604 WITH SCORE 72980.128
AT ITER 4995 NEW BEST:: SOT 475386 SOS 376117 HAS SOPS 375892 HAS SOUS 72661 HAS SOUPS 72571 WITH SCORE 72947.117
AT ITER 5002 NEW BEST:: SOT 475354 SOS 376053 HAS SOPS 375828 HAS SOUS 72597 HAS SOUPS 72507 WITH SCORE 72883.053
AT ITER 5012 NEW BEST:: SOT 475361 SOS 376060 HAS SOPS 375835 HAS SOUS 72590 HAS SOUPS 72500 WITH SCORE 72876.06
AT ITER 5013 NEW BEST:: SOT 475357 SOS 376471 HAS SOPS 376246 HAS SOUS 72585 HAS SOUPS 72495 WITH SCORE 72871.471
AT ITER 5017 NEW BEST:: SOT 475325 SOS 376407 HAS SOPS 376182 HAS SOUS 72521 HAS SOUPS 72431 WITH SCORE 72807.407
AT ITER 5023 NEW BEST:: SOT 475323 SOS 376356 HAS SOPS 376131 HAS SOUS 72502 HAS SOUPS 72412 WITH SCORE 72788.356
AT ITER 5037 NEW BEST:: SOT 475252 SOS 376271 HAS SOPS 376046 HAS SOUS 72358 HAS SOUPS 72268 WITH SCORE 72644.271
AT ITER 5047 NEW BEST:: SOT 475256 SOS 376137 HAS SOPS 375912 HAS SOUS 72294 HAS SOUPS 72204 WITH SCORE 72580.137
AT ITER 5069 NEW BEST:: SOT 475254 SOS 376135 HAS SOPS 375910 HAS SOUS 72292 HAS SOUPS 72202 WITH SCORE 72578.135
AT ITER 5104 NEW BEST:: SOT 475250 SOS 376128 HAS SOPS 375903 HAS SOUS 72274 HAS SOUPS 72184 WITH SCORE 72560.128
AT ITER 5117 NEW BEST:: SOT 475238 SOS 376119 HAS SOPS 375894 HAS SOUS 72265 HAS SOUPS 72175 WITH SCORE 72551.119
AT ITER 5118 NEW BEST:: SOT 475225 SOS 376106 HAS SOPS 375881 HAS SOUS 72253 HAS SOUPS 72163 WITH SCORE 72539.106
AT ITER 5119 NEW BEST:: SOT 474747 SOS 375628 HAS SOPS 375403 HAS SOUS 72026 HAS SOUPS 71936 WITH SCORE 72311.628
AT ITER 5121 NEW BEST:: SOT 474741 SOS 375622 HAS SOPS 375397 HAS SOUS 72014 HAS SOUPS 71924 WITH SCORE 72299.622
AT ITER 5163 NEW BEST:: SOT 474741 SOS 375622 HAS SOPS 375397 HAS SOUS 72001 HAS SOUPS 71911 WITH SCORE 72286.622
AT ITER 5183 NEW BEST:: SOT 472676 SOS 373580 HAS SOPS 373355 HAS SOUS 70026 HAS SOUPS 69936 WITH SCORE 70309.58
AT ITER 5186 NEW BEST:: SOT 472665 SOS 373569 HAS SOPS 373344 HAS SOUS 70004 HAS SOUPS 69914 WITH SCORE 70287.569
AT ITER 5200 NEW BEST:: SOT 472661 SOS 373565 HAS SOPS 373340 HAS SOUS 69994 HAS SOUPS 69904 WITH SCORE 70277.565
AT ITER 5219 NEW BEST:: SOT 472661 SOS 373565 HAS SOPS 373340 HAS SOUS 69987 HAS SOUPS 69897 WITH SCORE 70270.565
AT ITER 5220 NEW BEST:: SOT 472671 SOS 373575 HAS SOPS 373350 HAS SOUS 69975 HAS SOUPS 69885 WITH SCORE 70258.575
AT ITER 5224 NEW BEST:: SOT 472641 SOS 373565 HAS SOPS 373340 HAS SOUS 69917 HAS SOUPS 69827 WITH SCORE 70200.565
AT ITER 5229 NEW BEST:: SOT 472638 SOS 373559 HAS SOPS 373334 HAS SOUS 69911 HAS SOUPS 69821 WITH SCORE 70194.559
AT ITER 5240 NEW BEST:: SOT 472638 SOS 373533 HAS SOPS 373308 HAS SOUS 69911 HAS SOUPS 69821 WITH SCORE 70194.533
AT ITER 5273 NEW BEST:: SOT 472638 SOS 373526 HAS SOPS 373301 HAS SOUS 69911 HAS SOUPS 69821 WITH SCORE 70194.526
AT ITER 5276 NEW BEST:: SOT 472596 SOS 373484 HAS SOPS 373259 HAS SOUS 69901 HAS SOUPS 69811 WITH SCORE 70184.484
AT ITER 5310 NEW BEST:: SOT 472586 SOS 373465 HAS SOPS 373240 HAS SOUS 69899 HAS SOUPS 69809 WITH SCORE 70182.465
AT ITER 5316 NEW BEST:: SOT 472564 SOS 373443 HAS SOPS 373218 HAS SOUS 69872 HAS SOUPS 69782 WITH SCORE 70155.443
AT ITER 5321 NEW BEST:: SOT 472540 SOS 373395 HAS SOPS 373170 HAS SOUS 69824 HAS SOUPS 69734 WITH SCORE 70107.395
AT ITER 5332 NEW BEST:: SOT 472532 SOS 373379 HAS SOPS 373154 HAS SOUS 69808 HAS SOUPS 69718 WITH SCORE 70091.379
AT ITER 5356 NEW BEST:: SOT 472527 SOS 373372 HAS SOPS 373147 HAS SOUS 69795 HAS SOUPS 69705 WITH SCORE 70078.372
AT ITER 5384 NEW BEST:: SOT 472527 SOS 373372 HAS SOPS 373147 HAS SOUS 69781 HAS SOUPS 69691 WITH SCORE 70064.372
AT ITER 5409 NEW BEST:: SOT 472527 SOS 373372 HAS SOPS 373147 HAS SOUS 69771 HAS SOUPS 69681 WITH SCORE 70054.372
AT ITER 5418 NEW BEST:: SOT 472520 SOS 373369 HAS SOPS 373144 HAS SOUS 69766 HAS SOUPS 69676 WITH SCORE 70049.369
AT ITER 5426 NEW BEST:: SOT 472648 SOS 373497 HAS SOPS 373272 HAS SOUS 69761 HAS SOUPS 69671 WITH SCORE 70044.497
AT ITER 5427 NEW BEST:: SOT 472629 SOS 373402 HAS SOPS 373177 HAS SOUS 69723 HAS SOUPS 69633 WITH SCORE 70006.402
AT ITER 5458 NEW BEST:: SOT 472618 SOS 373380 HAS SOPS 373155 HAS SOUS 69722 HAS SOUPS 69632 WITH SCORE 70005.38
AT ITER 5490 NEW BEST:: SOT 472605 SOS 373350 HAS SOPS 373125 HAS SOUS 69692 HAS SOUPS 69602 WITH SCORE 69975.35
AT ITER 5503 NEW BEST:: SOT 472599 SOS 373344 HAS SOPS 373119 HAS SOUS 69632 HAS SOUPS 69542 WITH SCORE 69915.344
AT ITER 5542 NEW BEST:: SOT 472620 SOS 373365 HAS SOPS 373140 HAS SOUS 69624 HAS SOUPS 69534 WITH SCORE 69907.365
AT ITER 5575 NEW BEST:: SOT 472601 SOS 373326 HAS SOPS 373101 HAS SOUS 69546 HAS SOUPS 69456 WITH SCORE 69829.326
AT ITER 5579 NEW BEST:: SOT 472601 SOS 373757 HAS SOPS 373558 HAS SOUS 69542 HAS SOUPS 69452 WITH SCORE 69825.757
AT ITER 5597 NEW BEST:: SOT 472581 SOS 373731 HAS SOPS 373532 HAS SOUS 69503 HAS SOUPS 69413 WITH SCORE 69786.731
AT ITER 5602 NEW BEST:: SOT 472618 SOS 271815 HAS SOPS 271616 HAS SOUS 69576 HAS SOUPS 69486 WITH SCORE 69757.815
AT ITER 5606 NEW BEST:: SOT 472618 SOS 271791 HAS SOPS 271592 HAS SOUS 69552 HAS SOUPS 69462 WITH SCORE 69733.791
AT ITER 5613 NEW BEST:: SOT 472618 SOS 271791 HAS SOPS 271592 HAS SOUS 69543 HAS SOUPS 69453 WITH SCORE 69724.791
AT ITER 5627 NEW BEST:: SOT 472287 SOS 271460 HAS SOPS 271261 HAS SOUS 68638 HAS SOUPS 68548 WITH SCORE 68819.46
AT ITER 5628 NEW BEST:: SOT 472282 SOS 271455 HAS SOPS 271256 HAS SOUS 68633 HAS SOUPS 68543 WITH SCORE 68814.455
AT ITER 5635 NEW BEST:: SOT 472257 SOS 271459 HAS SOPS 271260 HAS SOUS 68608 HAS SOUPS 68518 WITH SCORE 68789.459
AT ITER 5652 NEW BEST:: SOT 472241 SOS 271443 HAS SOPS 271244 HAS SOUS 68588 HAS SOUPS 68498 WITH SCORE 68769.443
AT ITER 5660 NEW BEST:: SOT 472260 SOS 271456 HAS SOPS 271257 HAS SOUS 68404 HAS SOUPS 68314 WITH SCORE 68585.456
AT ITER 5661 NEW BEST:: SOT 472260 SOS 271456 HAS SOPS 271257 HAS SOUS 68402 HAS SOUPS 68312 WITH SCORE 68583.456
AT ITER 5672 NEW BEST:: SOT 472233 SOS 271543 HAS SOPS 271344 HAS SOUS 68357 HAS SOUPS 68267 WITH SCORE 68538.543
AT ITER 5692 NEW BEST:: SOT 472233 SOS 271522 HAS SOPS 271344 HAS SOUS 68336 HAS SOUPS 68267 WITH SCORE 68538.522
AT ITER 5749 NEW BEST:: SOT 472201 SOS 271149 HAS SOPS 270945 HAS SOUS 68284 HAS SOUPS 68215 WITH SCORE 68486.149
AT ITER 5804 NEW BEST:: SOT 472130 SOS 271078 HAS SOPS 270874 HAS SOUS 68234 HAS SOUPS 68165 WITH SCORE 68436.078
AT ITER 5821 NEW BEST:: SOT 472131 SOS 271079 HAS SOPS 270875 HAS SOUS 68220 HAS SOUPS 68151 WITH SCORE 68422.079
AT ITER 5875 NEW BEST:: SOT 472106 SOS 271063 HAS SOPS 270859 HAS SOUS 68204 HAS SOUPS 68135 WITH SCORE 68406.063
AT ITER 5893 NEW BEST:: SOT 472106 SOS 271061 HAS SOPS 270857 HAS SOUS 68204 HAS SOUPS 68135 WITH SCORE 68406.061
AT ITER 5903 NEW BEST:: SOT 472037 SOS 270564 HAS SOPS 270360 HAS SOUS 67731 HAS SOUPS 67662 WITH SCORE 67932.564
AT ITER 5965 NEW BEST:: SOT 472037 SOS 270561 HAS SOPS 270357 HAS SOUS 67731 HAS SOUPS 67662 WITH SCORE 67932.561
AT ITER 6007 NEW BEST:: SOT 472017 SOS 270521 HAS SOPS 270317 HAS SOUS 67711 HAS SOUPS 67642 WITH SCORE 67912.521
AT ITER 6037 NEW BEST:: SOT 472016 SOS 270517 HAS SOPS 270313 HAS SOUS 67710 HAS SOUPS 67641 WITH SCORE 67911.517
AT ITER 6049 NEW BEST:: SOT 472012 SOS 270511 HAS SOPS 270307 HAS SOUS 67704 HAS SOUPS 67635 WITH SCORE 67905.511
AT ITER 6071 NEW BEST:: SOT 471960 SOS 270457 HAS SOPS 270253 HAS SOUS 67601 HAS SOUPS 67532 WITH SCORE 67802.457
AT ITER 6114 NEW BEST:: SOT 471942 SOS 270400 HAS SOPS 270196 HAS SOUS 67583 HAS SOUPS 67514 WITH SCORE 67784.4
AT ITER 6129 NEW BEST:: SOT 471920 SOS 313335 HAS SOPS 313131 HAS SOUS 67266 HAS SOUPS 67197 WITH SCORE 67510.335
AT ITER 6133 NEW BEST:: SOT 471894 SOS 313305 HAS SOPS 313101 HAS SOUS 67214 HAS SOUPS 67145 WITH SCORE 67458.305
AT ITER 6137 NEW BEST:: SOT 471781 SOS 313276 HAS SOPS 313072 HAS SOUS 67178 HAS SOUPS 67109 WITH SCORE 67422.276
AT ITER 6147 NEW BEST:: SOT 471756 SOS 339226 HAS SOPS 339022 HAS SOUS 67132 HAS SOUPS 67063 WITH SCORE 67402.226
AT ITER 6183 NEW BEST:: SOT 471754 SOS 339224 HAS SOPS 339020 HAS SOUS 67123 HAS SOUPS 67054 WITH SCORE 67393.224
AT ITER 6250 NEW BEST:: SOT 471714 SOS 339184 HAS SOPS 338980 HAS SOUS 67055 HAS SOUPS 66986 WITH SCORE 67325.184
AT ITER 6266 NEW BEST:: SOT 471703 SOS 339173 HAS SOPS 338969 HAS SOUS 67023 HAS SOUPS 66954 WITH SCORE 67293.173
AT ITER 6297 NEW BEST:: SOT 471664 SOS 339090 HAS SOPS 338886 HAS SOUS 66940 HAS SOUPS 66871 WITH SCORE 67210.09
AT ITER 6304 NEW BEST:: SOT 471654 SOS 338960 HAS SOPS 338756 HAS SOUS 66937 HAS SOUPS 66868 WITH SCORE 67206.96
AT ITER 6334 NEW BEST:: SOT 471642 SOS 338948 HAS SOPS 338744 HAS SOUS 66925 HAS SOUPS 66856 WITH SCORE 67194.948
AT ITER 6336 NEW BEST:: SOT 471631 SOS 338929 HAS SOPS 338725 HAS SOUS 66906 HAS SOUPS 66837 WITH SCORE 67175.929
AT ITER 6373 NEW BEST:: SOT 471659 SOS 338957 HAS SOPS 338753 HAS SOUS 66655 HAS SOUPS 66586 WITH SCORE 66924.957
AT ITER 6385 NEW BEST:: SOT 471659 SOS 338957 HAS SOPS 338753 HAS SOUS 66591 HAS SOUPS 66522 WITH SCORE 66860.957
AT ITER 6386 NEW BEST:: SOT 471659 SOS 339037 HAS SOPS 338838 HAS SOUS 66587 HAS SOUPS 66518 WITH SCORE 66857.037
AT ITER 6387 NEW BEST:: SOT 471659 SOS 338718 HAS SOPS 338519 HAS SOUS 66574 HAS SOUPS 66505 WITH SCORE 66843.718
AT ITER 6419 NEW BEST:: SOT 471666 SOS 338773 HAS SOPS 338617 HAS SOUS 66520 HAS SOUPS 66487 WITH SCORE 66825.773
AT ITER 6432 NEW BEST:: SOT 471633 SOS 338724 HAS SOPS 338568 HAS SOUS 66447 HAS SOUPS 66414 WITH SCORE 66752.724
AT ITER 6442 NEW BEST:: SOT 471633 SOS 338724 HAS SOPS 338568 HAS SOUS 66442 HAS SOUPS 66409 WITH SCORE 66747.724
AT ITER 6447 NEW BEST:: SOT 471631 SOS 338720 HAS SOPS 338564 HAS SOUS 66434 HAS SOUPS 66401 WITH SCORE 66739.72
AT ITER 6473 NEW BEST:: SOT 471705 SOS 338518 HAS SOPS 338362 HAS SOUS 66389 HAS SOUPS 66356 WITH SCORE 66694.518
AT ITER 6476 NEW BEST:: SOT 471697 SOS 338510 HAS SOPS 338354 HAS SOUS 66381 HAS SOUPS 66348 WITH SCORE 66686.51
AT ITER 6480 NEW BEST:: SOT 471697 SOS 338510 HAS SOPS 338354 HAS SOUS 66367 HAS SOUPS 66334 WITH SCORE 66672.51
AT ITER 6507 NEW BEST:: SOT 471688 SOS 338501 HAS SOPS 338345 HAS SOUS 66358 HAS SOUPS 66325 WITH SCORE 66663.501
AT ITER 6538 NEW BEST:: SOT 471713 SOS 236701 HAS SOPS 236545 HAS SOUS 66404 HAS SOUPS 66371 WITH SCORE 66607.701
AT ITER 6549 NEW BEST:: SOT 471705 SOS 236693 HAS SOPS 236537 HAS SOUS 66396 HAS SOUPS 66363 WITH SCORE 66599.693
AT ITER 6550 NEW BEST:: SOT 471705 SOS 236693 HAS SOPS 236537 HAS SOUS 66384 HAS SOUPS 66351 WITH SCORE 66587.693
AT ITER 6571 NEW BEST:: SOT 471705 SOS 236693 HAS SOPS 236537 HAS SOUS 66360 HAS SOUPS 66327 WITH SCORE 66563.693
AT ITER 6586 NEW BEST:: SOT 471702 SOS 236690 HAS SOPS 236534 HAS SOUS 66357 HAS SOUPS 66324 WITH SCORE 66560.69
AT ITER 6587 NEW BEST:: SOT 471700 SOS 236688 HAS SOPS 236532 HAS SOUS 66355 HAS SOUPS 66322 WITH SCORE 66558.688
AT ITER 6598 NEW BEST:: SOT 471742 SOS 236574 HAS SOPS 236418 HAS SOUS 66262 HAS SOUPS 66229 WITH SCORE 66465.574
AT ITER 6637 NEW BEST:: SOT 471730 SOS 236562 HAS SOPS 236406 HAS SOUS 66250 HAS SOUPS 66217 WITH SCORE 66453.562
AT ITER 6643 NEW BEST:: SOT 471762 SOS 236581 HAS SOPS 236425 HAS SOUS 66248 HAS SOUPS 66215 WITH SCORE 66451.581
AT ITER 6647 NEW BEST:: SOT 471759 SOS 236584 HAS SOPS 236428 HAS SOUS 66242 HAS SOUPS 66209 WITH SCORE 66445.584
AT ITER 6671 NEW BEST:: SOT 471721 SOS 236593 HAS SOPS 236437 HAS SOUS 66183 HAS SOUPS 66150 WITH SCORE 66386.593
AT ITER 6684 NEW BEST:: SOT 471696 SOS 236568 HAS SOPS 236412 HAS SOUS 66143 HAS SOUPS 66110 WITH SCORE 66346.568
AT ITER 6726 NEW BEST:: SOT 471699 SOS 236571 HAS SOPS 236415 HAS SOUS 66138 HAS SOUPS 66105 WITH SCORE 66341.571
AT ITER 6755 NEW BEST:: SOT 471686 SOS 236558 HAS SOPS 236402 HAS SOUS 66125 HAS SOUPS 66092 WITH SCORE 66328.558
AT ITER 6768 NEW BEST:: SOT 471671 SOS 236528 HAS SOPS 236372 HAS SOUS 66108 HAS SOUPS 66075 WITH SCORE 66311.528
AT ITER 6775 NEW BEST:: SOT 471671 SOS 236523 HAS SOPS 236367 HAS SOUS 66103 HAS SOUPS 66070 WITH SCORE 66306.523
AT ITER 6791 NEW BEST:: SOT 471660 SOS 236506 HAS SOPS 236350 HAS SOUS 66092 HAS SOUPS 66059 WITH SCORE 66295.506
AT ITER 6870 NEW BEST:: SOT 471660 SOS 236506 HAS SOPS 236350 HAS SOUS 66079 HAS SOUPS 66046 WITH SCORE 66282.506
AT ITER 6907 NEW BEST:: SOT 471701 SOS 236547 HAS SOPS 236391 HAS SOUS 66053 HAS SOUPS 66020 WITH SCORE 66256.547
AT ITER 6929 NEW BEST:: SOT 471701 SOS 236547 HAS SOPS 236391 HAS SOUS 66033 HAS SOUPS 66000 WITH SCORE 66236.547
AT ITER 6932 NEW BEST:: SOT 471697 SOS 236539 HAS SOPS 236383 HAS SOUS 66029 HAS SOUPS 65996 WITH SCORE 66232.539
AT ITER 6943 NEW BEST:: SOT 471694 SOS 236536 HAS SOPS 236380 HAS SOUS 66026 HAS SOUPS 65993 WITH SCORE 66229.536
AT ITER 6955 NEW BEST:: SOT 471733 SOS 236575 HAS SOPS 236419 HAS SOUS 65971 HAS SOUPS 65938 WITH SCORE 66174.575
AT ITER 6991 NEW BEST:: SOT 471715 SOS 236544 HAS SOPS 236388 HAS SOUS 65939 HAS SOUPS 65906 WITH SCORE 66142.544
AT ITER 7006 NEW BEST:: SOT 471719 SOS 236547 HAS SOPS 236391 HAS SOUS 65800 HAS SOUPS 65767 WITH SCORE 66003.547
AT ITER 7017 NEW BEST:: SOT 471719 SOS 236547 HAS SOPS 236391 HAS SOUS 65797 HAS SOUPS 65764 WITH SCORE 66000.547
AT ITER 7028 NEW BEST:: SOT 471715 SOS 236539 HAS SOPS 236383 HAS SOUS 65789 HAS SOUPS 65756 WITH SCORE 65992.539
AT ITER 7031 NEW BEST:: SOT 471675 SOS 236499 HAS SOPS 236343 HAS SOUS 65749 HAS SOUPS 65716 WITH SCORE 65952.499
AT ITER 7035 NEW BEST:: SOT 471674 SOS 236498 HAS SOPS 236342 HAS SOUS 65745 HAS SOUPS 65712 WITH SCORE 65948.498
AT ITER 7041 NEW BEST:: SOT 471674 SOS 236623 HAS SOPS 236474 HAS SOUS 65735 HAS SOUPS 65702 WITH SCORE 65938.623
AT ITER 7056 NEW BEST:: SOT 471672 SOS 236621 HAS SOPS 236472 HAS SOUS 65731 HAS SOUPS 65698 WITH SCORE 65934.621
AT ITER 7071 NEW BEST:: SOT 471662 SOS 236611 HAS SOPS 236462 HAS SOUS 65721 HAS SOUPS 65688 WITH SCORE 65924.611
AT ITER 7080 NEW BEST:: SOT 472176 SOS 237135 HAS SOPS 236986 HAS SOUS 64866 HAS SOUPS 64833 WITH SCORE 65070.135
AT ITER 7119 NEW BEST:: SOT 472158 SOS 237099 HAS SOPS 236950 HAS SOUS 64826 HAS SOUPS 64793 WITH SCORE 65030.099
AT ITER 7123 NEW BEST:: SOT 472147 SOS 237115 HAS SOPS 236966 HAS SOUS 64815 HAS SOUPS 64782 WITH SCORE 65019.115
AT ITER 7169 NEW BEST:: SOT 472160 SOS 237110 HAS SOPS 236961 HAS SOUS 64810 HAS SOUPS 64777 WITH SCORE 65014.11
AT ITER 7243 NEW BEST:: SOT 472156 SOS 237106 HAS SOPS 236957 HAS SOUS 64806 HAS SOUPS 64773 WITH SCORE 65010.106
AT ITER 7259 NEW BEST:: SOT 472156 SOS 237116 HAS SOPS 236967 HAS SOUS 64804 HAS SOUPS 64771 WITH SCORE 65008.116
AT ITER 7273 NEW BEST:: SOT 472154 SOS 237122 HAS SOPS 236973 HAS SOUS 64795 HAS SOUPS 64762 WITH SCORE 64999.122
AT ITER 7276 NEW BEST:: SOT 472142 SOS 237062 HAS SOPS 236913 HAS SOUS 64761 HAS SOUPS 64728 WITH SCORE 64965.062
AT ITER 7297 NEW BEST:: SOT 472128 SOS 237037 HAS SOPS 236888 HAS SOUS 64732 HAS SOUPS 64699 WITH SCORE 64936.037
AT ITER 7342 NEW BEST:: SOT 472128 SOS 237035 HAS SOPS 236886 HAS SOUS 64732 HAS SOUPS 64699 WITH SCORE 64936.035
AT ITER 7382 NEW BEST:: SOT 472099 SOS 237006 HAS SOPS 236857 HAS SOUS 64706 HAS SOUPS 64673 WITH SCORE 64910.006
AT ITER 7417 NEW BEST:: SOT 472076 SOS 236957 HAS SOPS 236808 HAS SOUS 64654 HAS SOUPS 64621 WITH SCORE 64857.957
AT ITER 7434 NEW BEST:: SOT 472042 SOS 237040 HAS SOPS 236891 HAS SOUS 64614 HAS SOUPS 64581 WITH SCORE 64818.04
AT ITER 7464 NEW BEST:: SOT 472063 SOS 237074 HAS SOPS 236925 HAS SOUS 64586 HAS SOUPS 64553 WITH SCORE 64790.074
AT ITER 7518 NEW BEST:: SOT 472044 SOS 237049 HAS SOPS 236900 HAS SOUS 64561 HAS SOUPS 64528 WITH SCORE 64765.049
AT ITER 7553 NEW BEST:: SOT 472032 SOS 237042 HAS SOPS 236893 HAS SOUS 64554 HAS SOUPS 64521 WITH SCORE 64758.042
AT ITER 7569 NEW BEST:: SOT 472032 SOS 237042 HAS SOPS 236893 HAS SOUS 64534 HAS SOUPS 64501 WITH SCORE 64738.042
AT ITER 7578 NEW BEST:: SOT 472031 SOS 237040 HAS SOPS 236891 HAS SOUS 64528 HAS SOUPS 64495 WITH SCORE 64732.04
AT ITER 7585 NEW BEST:: SOT 472039 SOS 237048 HAS SOPS 236899 HAS SOUS 64426 HAS SOUPS 64393 WITH SCORE 64630.048
AT ITER 7610 NEW BEST:: SOT 472033 SOS 237042 HAS SOPS 236893 HAS SOUS 64423 HAS SOUPS 64390 WITH SCORE 64627.042
AT ITER 7613 NEW BEST:: SOT 472025 SOS 237038 HAS SOPS 236889 HAS SOUS 64411 HAS SOUPS 64378 WITH SCORE 64615.038
AT ITER 7633 NEW BEST:: SOT 472010 SOS 237023 HAS SOPS 236874 HAS SOUS 64407 HAS SOUPS 64374 WITH SCORE 64611.023
AT ITER 7647 NEW BEST:: SOT 472010 SOS 236960 HAS SOPS 236811 HAS SOUS 64407 HAS SOUPS 64374 WITH SCORE 64610.96
AT ITER 7651 NEW BEST:: SOT 472010 SOS 237083 HAS SOPS 236944 HAS SOUS 64397 HAS SOUPS 64371 WITH SCORE 64608.083
AT ITER 7688 NEW BEST:: SOT 471961 SOS 237034 HAS SOPS 236895 HAS SOUS 64293 HAS SOUPS 64267 WITH SCORE 64504.034
AT ITER 7702 NEW BEST:: SOT 471961 SOS 237029 HAS SOPS 236890 HAS SOUS 64293 HAS SOUPS 64267 WITH SCORE 64504.029
AT ITER 7714 NEW BEST:: SOT 471949 SOS 237005 HAS SOPS 236866 HAS SOUS 64279 HAS SOUPS 64253 WITH SCORE 64490.005
AT ITER 7717 NEW BEST:: SOT 471949 SOS 236967 HAS SOPS 236826 HAS SOUS 64279 HAS SOUPS 64253 WITH SCORE 64489.967
AT ITER 7728 NEW BEST:: SOT 471872 SOS 237050 HAS SOPS 236909 HAS SOUS 64247 HAS SOUPS 64221 WITH SCORE 64458.05
AT ITER 7752 NEW BEST:: SOT 471865 SOS 236982 HAS SOPS 236841 HAS SOUS 64118 HAS SOUPS 64092 WITH SCORE 64328.982
AT ITER 7753 NEW BEST:: SOT 471865 SOS 236823 HAS SOPS 236682 HAS SOUS 64118 HAS SOUPS 64092 WITH SCORE 64328.823
AT ITER 7755 NEW BEST:: SOT 471853 SOS 236799 HAS SOPS 236658 HAS SOUS 64094 HAS SOUPS 64068 WITH SCORE 64304.799
AT ITER 7757 NEW BEST:: SOT 471853 SOS 236776 HAS SOPS 236635 HAS SOUS 64071 HAS SOUPS 64045 WITH SCORE 64281.776
AT ITER 7767 NEW BEST:: SOT 471853 SOS 236772 HAS SOPS 236631 HAS SOUS 64071 HAS SOUPS 64045 WITH SCORE 64281.772
AT ITER 7774 NEW BEST:: SOT 471853 SOS 236772 HAS SOPS 236631 HAS SOUS 64070 HAS SOUPS 64044 WITH SCORE 64280.772
AT ITER 7804 NEW BEST:: SOT 471851 SOS 236768 HAS SOPS 236627 HAS SOUS 64060 HAS SOUPS 64034 WITH SCORE 64270.768
AT ITER 7859 NEW BEST:: SOT 471851 SOS 236768 HAS SOPS 236627 HAS SOUS 64044 HAS SOUPS 64018 WITH SCORE 64254.768
AT ITER 7871 NEW BEST:: SOT 471833 SOS 236732 HAS SOPS 236591 HAS SOUS 64010 HAS SOUPS 63984 WITH SCORE 64220.732
AT ITER 7952 NEW BEST:: SOT 471833 SOS 236732 HAS SOPS 236591 HAS SOUS 63964 HAS SOUPS 63938 WITH SCORE 64174.732
AT ITER 7963 NEW BEST:: SOT 471814 SOS 236713 HAS SOPS 236572 HAS SOUS 63944 HAS SOUPS 63918 WITH SCORE 64154.713
AT ITER 7972 NEW BEST:: SOT 471810 SOS 236698 HAS SOPS 236557 HAS SOUS 63938 HAS SOUPS 63912 WITH SCORE 64148.698
AT ITER 7988 NEW BEST:: SOT 471773 SOS 236633 HAS SOPS 236492 HAS SOUS 63892 HAS SOUPS 63866 WITH SCORE 64102.633
AT ITER 7998 NEW BEST:: SOT 471773 SOS 236609 HAS SOPS 236468 HAS SOUS 63892 HAS SOUPS 63866 WITH SCORE 64102.609
AT ITER 8002 NEW BEST:: SOT 471770 SOS 236599 HAS SOPS 236458 HAS SOUS 63886 HAS SOUPS 63860 WITH SCORE 64096.599
AT ITER 8009 NEW BEST:: SOT 471752 SOS 236553 HAS SOPS 236412 HAS SOUS 63863 HAS SOUPS 63837 WITH SCORE 64073.553
AT ITER 8016 NEW BEST:: SOT 471752 SOS 236383 HAS SOPS 236234 HAS SOUS 63848 HAS SOUPS 63821 WITH SCORE 64057.383
AT ITER 8069 NEW BEST:: SOT 471725 SOS 236340 HAS SOPS 236191 HAS SOUS 63805 HAS SOUPS 63778 WITH SCORE 64014.34
AT ITER 8088 NEW BEST:: SOT 471724 SOS 236339 HAS SOPS 236190 HAS SOUS 63803 HAS SOUPS 63776 WITH SCORE 64012.339
AT ITER 8121 NEW BEST:: SOT 471692 SOS 236205 HAS SOPS 236056 HAS SOUS 63803 HAS SOUPS 63776 WITH SCORE 64012.205
AT ITER 8123 NEW BEST:: SOT 471694 SOS 236207 HAS SOPS 236058 HAS SOUS 63801 HAS SOUPS 63774 WITH SCORE 64010.207
AT ITER 8133 NEW BEST:: SOT 471650 SOS 236122 HAS SOPS 235973 HAS SOUS 63716 HAS SOUPS 63689 WITH SCORE 63925.122
AT ITER 8145 NEW BEST:: SOT 471639 SOS 236100 HAS SOPS 235951 HAS SOUS 63694 HAS SOUPS 63667 WITH SCORE 63903.1
AT ITER 8155 NEW BEST:: SOT 471640 SOS 236095 HAS SOPS 235946 HAS SOUS 63671 HAS SOUPS 63644 WITH SCORE 63880.095
AT ITER 8157 NEW BEST:: SOT 471640 SOS 236093 HAS SOPS 235944 HAS SOUS 63671 HAS SOUPS 63644 WITH SCORE 63880.093
AT ITER 8190 NEW BEST:: SOT 471639 SOS 236091 HAS SOPS 235942 HAS SOUS 63669 HAS SOUPS 63642 WITH SCORE 63878.091
AT ITER 8195 NEW BEST:: SOT 471640 SOS 236072 HAS SOPS 235923 HAS SOUS 63657 HAS SOUPS 63630 WITH SCORE 63866.072
AT ITER 8204 NEW BEST:: SOT 471635 SOS 236062 HAS SOPS 235913 HAS SOUS 63651 HAS SOUPS 63624 WITH SCORE 63860.062
AT ITER 8227 NEW BEST:: SOT 471607 SOS 235986 HAS SOPS 235834 HAS SOUS 63629 HAS SOUPS 63602 WITH SCORE 63837.986
AT ITER 8235 NEW BEST:: SOT 471607 SOS 235979 HAS SOPS 235827 HAS SOUS 63629 HAS SOUPS 63602 WITH SCORE 63837.979
AT ITER 8257 NEW BEST:: SOT 471607 SOS 235979 HAS SOPS 235827 HAS SOUS 63613 HAS SOUPS 63586 WITH SCORE 63821.979
AT ITER 8258 NEW BEST:: SOT 471605 SOS 235977 HAS SOPS 235825 HAS SOUS 63568 HAS SOUPS 63541 WITH SCORE 63776.977
AT ITER 8265 NEW BEST:: SOT 471600 SOS 235972 HAS SOPS 235820 HAS SOUS 63558 HAS SOUPS 63531 WITH SCORE 63766.972
AT ITER 8296 NEW BEST:: SOT 471599 SOS 236677 HAS SOPS 236525 HAS SOUS 63553 HAS SOUPS 63526 WITH SCORE 63762.677
AT ITER 8335 NEW BEST:: SOT 471611 SOS 236550 HAS SOPS 236398 HAS SOUS 63492 HAS SOUPS 63465 WITH SCORE 63701.55
AT ITER 8336 NEW BEST:: SOT 471593 SOS 236520 HAS SOPS 236368 HAS SOUS 63462 HAS SOUPS 63435 WITH SCORE 63671.52
AT ITER 8390 NEW BEST:: SOT 471550 SOS 236434 HAS SOPS 236282 HAS SOUS 63389 HAS SOUPS 63362 WITH SCORE 63598.434
AT ITER 8401 NEW BEST:: SOT 471543 SOS 236427 HAS SOPS 236275 HAS SOUS 63382 HAS SOUPS 63355 WITH SCORE 63591.427
AT ITER 8424 NEW BEST:: SOT 471519 SOS 236403 HAS SOPS 236251 HAS SOUS 63366 HAS SOUPS 63339 WITH SCORE 63575.403
AT ITER 8427 NEW BEST:: SOT 471519 SOS 236391 HAS SOPS 236239 HAS SOUS 63358 HAS SOUPS 63331 WITH SCORE 63567.391
AT ITER 8456 NEW BEST:: SOT 471539 SOS 236406 HAS SOPS 236254 HAS SOUS 63199 HAS SOUPS 63172 WITH SCORE 63408.406
AT ITER 8465 NEW BEST:: SOT 471541 SOS 235898 HAS SOPS 235756 HAS SOUS 63197 HAS SOUPS 63170 WITH SCORE 63405.898
AT ITER 8466 NEW BEST:: SOT 471541 SOS 235896 HAS SOPS 235754 HAS SOUS 63195 HAS SOUPS 63168 WITH SCORE 63403.896
AT ITER 8485 NEW BEST:: SOT 471541 SOS 235896 HAS SOPS 235754 HAS SOUS 63192 HAS SOUPS 63165 WITH SCORE 63400.896
AT ITER 8498 NEW BEST:: SOT 471515 SOS 235870 HAS SOPS 235728 HAS SOUS 63148 HAS SOUPS 63121 WITH SCORE 63356.87
AT ITER 8512 NEW BEST:: SOT 471505 SOS 235860 HAS SOPS 235718 HAS SOUS 63128 HAS SOUPS 63101 WITH SCORE 63336.86
AT ITER 8581 NEW BEST:: SOT 471497 SOS 235874 HAS SOPS 235732 HAS SOUS 63099 HAS SOUPS 63072 WITH SCORE 63307.874
AT ITER 8656 NEW BEST:: SOT 471493 SOS 235872 HAS SOPS 235730 HAS SOUS 63093 HAS SOUPS 63066 WITH SCORE 63301.872
AT ITER 8683 NEW BEST:: SOT 471493 SOS 235870 HAS SOPS 235728 HAS SOUS 63091 HAS SOUPS 63064 WITH SCORE 63299.87
AT ITER 8701 NEW BEST:: SOT 471540 SOS 235911 HAS SOPS 235769 HAS SOUS 62561 HAS SOUPS 62534 WITH SCORE 62769.911
AT ITER 8712 NEW BEST:: SOT 471533 SOS 235904 HAS SOPS 235762 HAS SOUS 62547 HAS SOUPS 62520 WITH SCORE 62755.904
AT ITER 8729 NEW BEST:: SOT 471531 SOS 235902 HAS SOPS 235760 HAS SOUS 62545 HAS SOUPS 62518 WITH SCORE 62753.902
AT ITER 8789 NEW BEST:: SOT 471531 SOS 235887 HAS SOPS 235745 HAS SOUS 62545 HAS SOUPS 62518 WITH SCORE 62753.887
AT ITER 8802 NEW BEST:: SOT 471531 SOS 235850 HAS SOPS 235708 HAS SOUS 62545 HAS SOUPS 62518 WITH SCORE 62753.85
AT ITER 8808 NEW BEST:: SOT 471516 SOS 235826 HAS SOPS 235684 HAS SOUS 62516 HAS SOUPS 62489 WITH SCORE 62724.826
AT ITER 8833 NEW BEST:: SOT 471500 SOS 235794 HAS SOPS 235652 HAS SOUS 62484 HAS SOUPS 62457 WITH SCORE 62692.794
AT ITER 8849 NEW BEST:: SOT 471911 SOS 236125 HAS SOPS 235983 HAS SOUS 62017 HAS SOUPS 61990 WITH SCORE 62226.125
AT ITER 8877 NEW BEST:: SOT 471907 SOS 236120 HAS SOPS 235978 HAS SOUS 62009 HAS SOUPS 61982 WITH SCORE 62218.12
AT ITER 8911 NEW BEST:: SOT 471899 SOS 236107 HAS SOPS 235965 HAS SOUS 61996 HAS SOUPS 61969 WITH SCORE 62205.107
AT ITER 8914 NEW BEST:: SOT 471879 SOS 236074 HAS SOPS 235932 HAS SOUS 61962 HAS SOUPS 61935 WITH SCORE 62171.074
AT ITER 8947 NEW BEST:: SOT 471877 SOS 236072 HAS SOPS 235930 HAS SOUS 61958 HAS SOUPS 61931 WITH SCORE 62167.072
AT ITER 8968 NEW BEST:: SOT 471864 SOS 235995 HAS SOPS 235853 HAS SOUS 61918 HAS SOUPS 61891 WITH SCORE 62126.995
AT ITER 9005 NEW BEST:: SOT 471861 SOS 235932 HAS SOPS 235790 HAS SOUS 61915 HAS SOUPS 61888 WITH SCORE 62123.932
AT ITER 9017 NEW BEST:: SOT 471832 SOS 235877 HAS SOPS 235735 HAS SOUS 61860 HAS SOUPS 61833 WITH SCORE 62068.877
AT ITER 9027 NEW BEST:: SOT 471849 SOS 235894 HAS SOPS 235752 HAS SOUS 61840 HAS SOUPS 61813 WITH SCORE 62048.894
AT ITER 9036 NEW BEST:: SOT 471838 SOS 235873 HAS SOPS 235731 HAS SOUS 61800 HAS SOUPS 61773 WITH SCORE 62008.873
AT ITER 9085 NEW BEST:: SOT 471835 SOS 235870 HAS SOPS 235728 HAS SOUS 61794 HAS SOUPS 61767 WITH SCORE 62002.87
AT ITER 9144 NEW BEST:: SOT 471835 SOS 235870 HAS SOPS 235728 HAS SOUS 61778 HAS SOUPS 61751 WITH SCORE 61986.87
AT ITER 9219 NEW BEST:: SOT 471832 SOS 235867 HAS SOPS 235725 HAS SOUS 61766 HAS SOUPS 61739 WITH SCORE 61974.867
AT ITER 9228 NEW BEST:: SOT 471829 SOS 235864 HAS SOPS 235722 HAS SOUS 61766 HAS SOUPS 61739 WITH SCORE 61974.864
AT ITER 9257 NEW BEST:: SOT 471609 SOS 235644 HAS SOPS 235502 HAS SOUS 61557 HAS SOUPS 61530 WITH SCORE 61765.644
AT ITER 9272 NEW BEST:: SOT 471588 SOS 235602 HAS SOPS 235460 HAS SOUS 61518 HAS SOUPS 61491 WITH SCORE 61726.602
AT ITER 9291 NEW BEST:: SOT 471577 SOS 235580 HAS SOPS 235438 HAS SOUS 61487 HAS SOUPS 61460 WITH SCORE 61695.58
AT ITER 9292 NEW BEST:: SOT 471564 SOS 235567 HAS SOPS 235425 HAS SOUS 61456 HAS SOUPS 61429 WITH SCORE 61664.567
AT ITER 9391 NEW BEST:: SOT 471548 SOS 235534 HAS SOPS 235392 HAS SOUS 61436 HAS SOUPS 61409 WITH SCORE 61644.534
AT ITER 9403 NEW BEST:: SOT 471580 SOS 235412 HAS SOPS 235270 HAS SOUS 61436 HAS SOUPS 61409 WITH SCORE 61644.412
AT ITER 9428 NEW BEST:: SOT 471573 SOS 235363 HAS SOPS 235221 HAS SOUS 61366 HAS SOUPS 61339 WITH SCORE 61574.363
AT ITER 9445 NEW BEST:: SOT 471570 SOS 235360 HAS SOPS 235218 HAS SOUS 61360 HAS SOUPS 61333 WITH SCORE 61568.36
AT ITER 9481 NEW BEST:: SOT 471544 SOS 235286 HAS SOPS 235144 HAS SOUS 61286 HAS SOUPS 61259 WITH SCORE 61494.286
AT ITER 9512 NEW BEST:: SOT 471519 SOS 235280 HAS SOPS 235138 HAS SOUS 61063 HAS SOUPS 61036 WITH SCORE 61271.28
AT ITER 9515 NEW BEST:: SOT 471504 SOS 235266 HAS SOPS 235124 HAS SOUS 61055 HAS SOUPS 61028 WITH SCORE 61263.266
AT ITER 9538 NEW BEST:: SOT 471504 SOS 235251 HAS SOPS 235109 HAS SOUS 61055 HAS SOUPS 61028 WITH SCORE 61263.251
AT ITER 9585 NEW BEST:: SOT 471491 SOS 235226 HAS SOPS 235084 HAS SOUS 61030 HAS SOUPS 61003 WITH SCORE 61238.226
AT ITER 9586 NEW BEST:: SOT 471497 SOS 235237 HAS SOPS 235095 HAS SOUS 61021 HAS SOUPS 60994 WITH SCORE 61229.237
AT ITER 9597 NEW BEST:: SOT 471497 SOS 213817 HAS SOPS 213675 HAS SOUS 61016 HAS SOUPS 60989 WITH SCORE 61202.817
AT ITER 9604 NEW BEST:: SOT 471502 SOS 213828 HAS SOPS 213686 HAS SOUS 61014 HAS SOUPS 60987 WITH SCORE 61200.828
AT ITER 9606 NEW BEST:: SOT 471502 SOS 213814 HAS SOPS 213672 HAS SOUS 61000 HAS SOUPS 60973 WITH SCORE 61186.814
AT ITER 9636 NEW BEST:: SOT 471490 SOS 213814 HAS SOPS 213672 HAS SOUS 60976 HAS SOUPS 60949 WITH SCORE 61162.814
AT ITER 9678 NEW BEST:: SOT 471488 SOS 213812 HAS SOPS 213670 HAS SOUS 60975 HAS SOUPS 60948 WITH SCORE 61161.812
AT ITER 9698 NEW BEST:: SOT 471478 SOS 213802 HAS SOPS 213660 HAS SOUS 60965 HAS SOUPS 60938 WITH SCORE 61151.802
AT ITER 9713 NEW BEST:: SOT 471478 SOS 213802 HAS SOPS 213660 HAS SOUS 60933 HAS SOUPS 60906 WITH SCORE 61119.802
AT ITER 9746 NEW BEST:: SOT 471413 SOS 213668 HAS SOPS 213526 HAS SOUS 60781 HAS SOUPS 60754 WITH SCORE 60967.668
AT ITER 9817 NEW BEST:: SOT 471413 SOS 213666 HAS SOPS 213524 HAS SOUS 60781 HAS SOUPS 60754 WITH SCORE 60967.666
AT ITER 9858 NEW BEST:: SOT 471377 SOS 213595 HAS SOPS 213453 HAS SOUS 60738 HAS SOUPS 60711 WITH SCORE 60924.595
AT ITER 9866 NEW BEST:: SOT 471367 SOS 213614 HAS SOPS 213472 HAS SOUS 60731 HAS SOUPS 60704 WITH SCORE 60917.614
AT ITER 9870 NEW BEST:: SOT 471354 SOS 213588 HAS SOPS 213446 HAS SOUS 60729 HAS SOUPS 60702 WITH SCORE 60915.588
AT ITER 9886 NEW BEST:: SOT 471354 SOS 213579 HAS SOPS 213437 HAS SOUS 60729 HAS SOUPS 60702 WITH SCORE 60915.579
AT ITER 9889 NEW BEST:: SOT 471381 SOS 213606 HAS SOPS 213464 HAS SOUS 60717 HAS SOUPS 60690 WITH SCORE 60903.606
AT ITER 9890 NEW BEST:: SOT 471373 SOS 213590 HAS SOPS 213448 HAS SOUS 60701 HAS SOUPS 60674 WITH SCORE 60887.59
AT ITER 9924 NEW BEST:: SOT 471368 SOS 213585 HAS SOPS 213443 HAS SOUS 60691 HAS SOUPS 60664 WITH SCORE 60877.585
AT ITER 9992 NEW BEST:: SOT 471440 SOS 213491 HAS SOPS 213349 HAS SOUS 60467 HAS SOUPS 60440 WITH SCORE 60653.491

BK_STOP 1678813058465

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 406 Killed ${SMART}/smart ${INPUT_SM}

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="PolyORBNT-COL-S10J20"
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 PolyORBNT-COL-S10J20, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r291-tall-167873943200680"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBNT-COL-S10J20.tgz
mv PolyORBNT-COL-S10J20 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 ;