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.r355-smll-167891803100224.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 SafeBus-COL-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r355-smll-167891803100224
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 456K
-rw-r--r-- 1 mcc users 6.5K Feb 26 01:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 26 01:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 26 01:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 26 01:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.8K Feb 26 01:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 97K Feb 26 01:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Feb 26 01:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 01:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 42K 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 1679874100208

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=SafeBus-COL-10
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-26 23:41:44] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-26 23:41:44] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-26 23:41:44] [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-26 23:41:44] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-26 23:41:45] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 993 ms
[2023-03-26 23:41:45] [INFO ] Detected 1 constant HL places corresponding to 10 PT places.
[2023-03-26 23:41:45] [INFO ] Imported 20 HL places and 14 HL transitions for a total of 326 PT places and 12821.0 transition bindings in 48 ms.
[2023-03-26 23:41:45] [INFO ] Unfolded HLPN to a Petri net with 326 places and 1651 transitions 11294 arcs in 175 ms.
[2023-03-26 23:41:45] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Reduce places removed 10 places and 20 transitions.
[2023-03-26 23:41:46] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 316 places, 1631 transitions and 11204 arcs took 61 ms.
Total runtime 2095 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SafeBus (COL), instance 10
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: 316 places, 1631 transitions, 11204 arcs.
AT ITER 0 NEW BEST:: SOT 276318 SOS 210912 HAS SOPS 210204 HAS SOUS 76844 HAS SOUPS 76587 WITH SCORE 76797.912
AT ITER 5 NEW BEST:: SOT 277193 SOS 211734 HAS SOPS 210886 HAS SOUS 76712 HAS SOUPS 76315 WITH SCORE 76526.734
AT ITER 7 NEW BEST:: SOT 277519 SOS 212049 HAS SOPS 211212 HAS SOUS 76666 HAS SOUPS 76280 WITH SCORE 76492.049
AT ITER 13 NEW BEST:: SOT 277519 SOS 212049 HAS SOPS 211212 HAS SOUS 76659 HAS SOUPS 76273 WITH SCORE 76485.049
AT ITER 18 NEW BEST:: SOT 277503 SOS 212033 HAS SOPS 211196 HAS SOUS 76651 HAS SOUPS 76265 WITH SCORE 76477.033
AT ITER 44 NEW BEST:: SOT 277501 SOS 212031 HAS SOPS 211194 HAS SOUS 76650 HAS SOUPS 76264 WITH SCORE 76476.031
AT ITER 53 NEW BEST:: SOT 277497 SOS 212027 HAS SOPS 211190 HAS SOUS 76644 HAS SOUPS 76258 WITH SCORE 76470.027
AT ITER 55 NEW BEST:: SOT 273284 SOS 207857 HAS SOPS 207020 HAS SOUS 72442 HAS SOUPS 72056 WITH SCORE 72263.857
AT ITER 60 NEW BEST:: SOT 272571 SOS 207174 HAS SOPS 206337 HAS SOUS 71696 HAS SOUPS 71310 WITH SCORE 71517.174
AT ITER 61 NEW BEST:: SOT 272571 SOS 207174 HAS SOPS 206337 HAS SOUS 71679 HAS SOUPS 71293 WITH SCORE 71500.174
AT ITER 70 NEW BEST:: SOT 273245 SOS 207834 HAS SOPS 206879 HAS SOUS 71687 HAS SOUPS 71183 WITH SCORE 71390.834
AT ITER 75 NEW BEST:: SOT 273055 SOS 207625 HAS SOPS 206689 HAS SOUS 71269 HAS SOUPS 70784 WITH SCORE 70991.625
AT ITER 89 NEW BEST:: SOT 273055 SOS 207625 HAS SOPS 206689 HAS SOUS 71260 HAS SOUPS 70775 WITH SCORE 70982.625
AT ITER 93 NEW BEST:: SOT 273023 SOS 207593 HAS SOPS 206657 HAS SOUS 71207 HAS SOUPS 70722 WITH SCORE 70929.593
AT ITER 106 NEW BEST:: SOT 273040 SOS 207610 HAS SOPS 206674 HAS SOUS 71204 HAS SOUPS 70719 WITH SCORE 70926.61
AT ITER 112 NEW BEST:: SOT 273222 SOS 207743 HAS SOPS 206733 HAS SOUS 70809 HAS SOUPS 70250 WITH SCORE 70457.743
AT ITER 115 NEW BEST:: SOT 273183 SOS 207653 HAS SOPS 206601 HAS SOUS 70353 HAS SOUPS 69752 WITH SCORE 69959.653
AT ITER 121 NEW BEST:: SOT 273516 SOS 207930 HAS SOPS 206772 HAS SOUS 69909 HAS SOUPS 69202 WITH SCORE 69409.93
AT ITER 122 NEW BEST:: SOT 273504 SOS 207918 HAS SOPS 206760 HAS SOUS 69893 HAS SOUPS 69186 WITH SCORE 69393.918
AT ITER 124 NEW BEST:: SOT 273545 SOS 207704 HAS SOPS 206546 HAS SOUS 69892 HAS SOUPS 69185 WITH SCORE 69392.704
AT ITER 127 NEW BEST:: SOT 273088 SOS 207247 HAS SOPS 206118 HAS SOUS 69446 HAS SOUPS 68768 WITH SCORE 68975.247
AT ITER 128 NEW BEST:: SOT 273128 SOS 207949 HAS SOPS 206820 HAS SOUS 69409 HAS SOUPS 68731 WITH SCORE 68938.949
AT ITER 137 NEW BEST:: SOT 273237 SOS 207998 HAS SOPS 206806 HAS SOUS 69002 HAS SOUPS 68261 WITH SCORE 68468.998
AT ITER 157 NEW BEST:: SOT 273203 SOS 207964 HAS SOPS 206772 HAS SOUS 68985 HAS SOUPS 68244 WITH SCORE 68451.964
AT ITER 165 NEW BEST:: SOT 273199 SOS 207960 HAS SOPS 206768 HAS SOUS 68981 HAS SOUPS 68240 WITH SCORE 68447.96
AT ITER 166 NEW BEST:: SOT 273199 SOS 207960 HAS SOPS 206768 HAS SOUS 68980 HAS SOUPS 68239 WITH SCORE 68446.96
AT ITER 173 NEW BEST:: SOT 273260 SOS 203620 HAS SOPS 202365 HAS SOUS 68929 HAS SOUPS 68125 WITH SCORE 68328.62
AT ITER 177 NEW BEST:: SOT 273262 SOS 204275 HAS SOPS 203020 HAS SOUS 68822 HAS SOUPS 68018 WITH SCORE 68222.275
AT ITER 186 NEW BEST:: SOT 273135 SOS 203903 HAS SOPS 202648 HAS SOUS 68654 HAS SOUPS 67850 WITH SCORE 68053.903
AT ITER 187 NEW BEST:: SOT 273501 SOS 204166 HAS SOPS 203014 HAS SOUS 68110 HAS SOUPS 67409 WITH SCORE 67613.166
AT ITER 188 NEW BEST:: SOT 273475 SOS 204140 HAS SOPS 202988 HAS SOUS 68105 HAS SOUPS 67404 WITH SCORE 67608.14
AT ITER 189 NEW BEST:: SOT 273484 SOS 203975 HAS SOPS 202808 HAS SOUS 68111 HAS SOUPS 67395 WITH SCORE 67598.975
AT ITER 205 NEW BEST:: SOT 274160 SOS 204378 HAS SOPS 203073 HAS SOUS 68044 HAS SOUPS 67190 WITH SCORE 67394.378
AT ITER 213 NEW BEST:: SOT 268352 SOS 199065 HAS SOPS 198436 HAS SOUS 62138 HAS SOUPS 61960 WITH SCORE 62159.065
AT ITER 220 NEW BEST:: SOT 268366 SOS 199759 HAS SOPS 199130 HAS SOUS 62053 HAS SOUPS 61875 WITH SCORE 62074.759
AT ITER 229 NEW BEST:: SOT 267997 SOS 199364 HAS SOPS 198755 HAS SOUS 61608 HAS SOUPS 61450 WITH SCORE 61649.364
AT ITER 241 NEW BEST:: SOT 267973 SOS 199340 HAS SOPS 198731 HAS SOUS 61581 HAS SOUPS 61423 WITH SCORE 61622.34
AT ITER 252 NEW BEST:: SOT 267955 SOS 199322 HAS SOPS 198713 HAS SOUS 61574 HAS SOUPS 61416 WITH SCORE 61615.322
AT ITER 259 NEW BEST:: SOT 267953 SOS 199320 HAS SOPS 198711 HAS SOUS 61571 HAS SOUPS 61413 WITH SCORE 61612.32
AT ITER 268 NEW BEST:: SOT 260108 SOS 195901 HAS SOPS 195752 HAS SOUS 53762 HAS SOUPS 53613 WITH SCORE 53808.901
AT ITER 281 NEW BEST:: SOT 260044 SOS 195837 HAS SOPS 195688 HAS SOUS 53696 HAS SOUPS 53547 WITH SCORE 53742.837
AT ITER 328 NEW BEST:: SOT 259437 SOS 195230 HAS SOPS 195081 HAS SOUS 53137 HAS SOUPS 52988 WITH SCORE 53183.23
AT ITER 331 NEW BEST:: SOT 259263 SOS 195054 HAS SOPS 194905 HAS SOUS 52944 HAS SOUPS 52795 WITH SCORE 52990.054
AT ITER 333 NEW BEST:: SOT 259183 SOS 194959 HAS SOPS 194825 HAS SOUS 52808 HAS SOUPS 52674 WITH SCORE 52868.959
AT ITER 339 NEW BEST:: SOT 258943 SOS 194719 HAS SOPS 194585 HAS SOUS 52508 HAS SOUPS 52374 WITH SCORE 52568.719
AT ITER 355 NEW BEST:: SOT 258917 SOS 194685 HAS SOPS 194551 HAS SOUS 52500 HAS SOUPS 52366 WITH SCORE 52560.685
AT ITER 358 NEW BEST:: SOT 259336 SOS 194944 HAS SOPS 194810 HAS SOUS 52174 HAS SOUPS 52040 WITH SCORE 52234.944
AT ITER 375 NEW BEST:: SOT 259346 SOS 194954 HAS SOPS 194820 HAS SOUS 52073 HAS SOUPS 51939 WITH SCORE 52133.954
AT ITER 392 NEW BEST:: SOT 259262 SOS 194870 HAS SOPS 194736 HAS SOUS 51960 HAS SOUPS 51826 WITH SCORE 52020.87
AT ITER 410 NEW BEST:: SOT 259262 SOS 194870 HAS SOPS 194736 HAS SOUS 51870 HAS SOUPS 51736 WITH SCORE 51930.87
AT ITER 449 NEW BEST:: SOT 259198 SOS 194806 HAS SOPS 194672 HAS SOUS 51774 HAS SOUPS 51640 WITH SCORE 51834.806
AT ITER 477 NEW BEST:: SOT 259249 SOS 194707 HAS SOPS 194539 HAS SOUS 51584 HAS SOUPS 51416 WITH SCORE 51610.707
AT ITER 487 NEW BEST:: SOT 259265 SOS 194723 HAS SOPS 194555 HAS SOUS 51569 HAS SOUPS 51401 WITH SCORE 51595.723
AT ITER 500 NEW BEST:: SOT 259215 SOS 194673 HAS SOPS 194505 HAS SOUS 51514 HAS SOUPS 51346 WITH SCORE 51540.673
AT ITER 511 NEW BEST:: SOT 259209 SOS 194687 HAS SOPS 194519 HAS SOUS 51494 HAS SOUPS 51326 WITH SCORE 51520.687
AT ITER 516 NEW BEST:: SOT 259177 SOS 194655 HAS SOPS 194487 HAS SOUS 51446 HAS SOUPS 51278 WITH SCORE 51472.655
AT ITER 528 NEW BEST:: SOT 259117 SOS 194547 HAS SOPS 194373 HAS SOUS 51452 HAS SOUPS 51278 WITH SCORE 51472.547
AT ITER 538 NEW BEST:: SOT 259117 SOS 190869 HAS SOPS 190695 HAS SOUS 51434 HAS SOUPS 51260 WITH SCORE 51450.869
AT ITER 555 NEW BEST:: SOT 259115 SOS 190867 HAS SOPS 190693 HAS SOUS 51431 HAS SOUPS 51257 WITH SCORE 51447.867
AT ITER 561 NEW BEST:: SOT 259214 SOS 190958 HAS SOPS 190792 HAS SOUS 51410 HAS SOUPS 51244 WITH SCORE 51434.958
AT ITER 562 NEW BEST:: SOT 259214 SOS 190960 HAS SOPS 190794 HAS SOUS 51381 HAS SOUPS 51215 WITH SCORE 51405.96
AT ITER 583 NEW BEST:: SOT 259183 SOS 190929 HAS SOPS 190763 HAS SOUS 51249 HAS SOUPS 51083 WITH SCORE 51273.929
AT ITER 593 NEW BEST:: SOT 259221 SOS 190961 HAS SOPS 190801 HAS SOUS 51049 HAS SOUPS 50889 WITH SCORE 51079.961
AT ITER 614 NEW BEST:: SOT 258846 SOS 190586 HAS SOPS 190426 HAS SOUS 50784 HAS SOUPS 50624 WITH SCORE 50814.586
AT ITER 627 NEW BEST:: SOT 258628 SOS 190368 HAS SOPS 190208 HAS SOUS 50749 HAS SOUPS 50589 WITH SCORE 50779.368
AT ITER 631 NEW BEST:: SOT 258643 SOS 190383 HAS SOPS 190223 HAS SOUS 50719 HAS SOUPS 50559 WITH SCORE 50749.383
AT ITER 639 NEW BEST:: SOT 258460 SOS 190212 HAS SOPS 190052 HAS SOUS 50553 HAS SOUPS 50393 WITH SCORE 50583.212
AT ITER 645 NEW BEST:: SOT 258460 SOS 190286 HAS SOPS 190126 HAS SOUS 50548 HAS SOUPS 50388 WITH SCORE 50578.286
AT ITER 658 NEW BEST:: SOT 258460 SOS 190666 HAS SOPS 190506 HAS SOUS 50509 HAS SOUPS 50349 WITH SCORE 50539.666
AT ITER 679 NEW BEST:: SOT 258217 SOS 190423 HAS SOPS 190263 HAS SOUS 50266 HAS SOUPS 50106 WITH SCORE 50296.423
AT ITER 699 NEW BEST:: SOT 258203 SOS 190409 HAS SOPS 190249 HAS SOUS 50252 HAS SOUPS 50092 WITH SCORE 50282.409
AT ITER 703 NEW BEST:: SOT 258203 SOS 190495 HAS SOPS 190339 HAS SOUS 50241 HAS SOUPS 50085 WITH SCORE 50275.495
AT ITER 712 NEW BEST:: SOT 258208 SOS 190886 HAS SOPS 190730 HAS SOUS 50201 HAS SOUPS 50045 WITH SCORE 50235.886
AT ITER 718 NEW BEST:: SOT 258055 SOS 190733 HAS SOPS 190577 HAS SOUS 50018 HAS SOUPS 49862 WITH SCORE 50052.733
AT ITER 725 NEW BEST:: SOT 258029 SOS 190707 HAS SOPS 190551 HAS SOUS 49992 HAS SOUPS 49836 WITH SCORE 50026.707
AT ITER 731 NEW BEST:: SOT 257995 SOS 190673 HAS SOPS 190517 HAS SOUS 49936 HAS SOUPS 49780 WITH SCORE 49970.673
AT ITER 739 NEW BEST:: SOT 257824 SOS 190502 HAS SOPS 190346 HAS SOUS 49765 HAS SOUPS 49609 WITH SCORE 49799.502
AT ITER 742 NEW BEST:: SOT 257823 SOS 190509 HAS SOPS 190353 HAS SOUS 49753 HAS SOUPS 49597 WITH SCORE 49787.509
AT ITER 745 NEW BEST:: SOT 257823 SOS 190506 HAS SOPS 190350 HAS SOUS 49753 HAS SOUPS 49597 WITH SCORE 49787.506
AT ITER 760 NEW BEST:: SOT 257799 SOS 190482 HAS SOPS 190326 HAS SOUS 49745 HAS SOUPS 49589 WITH SCORE 49779.482
AT ITER 772 NEW BEST:: SOT 257739 SOS 190422 HAS SOPS 190266 HAS SOUS 49653 HAS SOUPS 49497 WITH SCORE 49687.422
AT ITER 798 NEW BEST:: SOT 257739 SOS 190572 HAS SOPS 190416 HAS SOUS 49652 HAS SOUPS 49496 WITH SCORE 49686.572
AT ITER 809 NEW BEST:: SOT 258056 SOS 190880 HAS SOPS 190733 HAS SOUS 49569 HAS SOUPS 49422 WITH SCORE 49612.88
AT ITER 822 NEW BEST:: SOT 258056 SOS 190516 HAS SOPS 190369 HAS SOUS 49555 HAS SOUPS 49408 WITH SCORE 49598.516
AT ITER 830 NEW BEST:: SOT 258056 SOS 190516 HAS SOPS 190369 HAS SOUS 49540 HAS SOUPS 49393 WITH SCORE 49583.516
AT ITER 852 NEW BEST:: SOT 258041 SOS 190471 HAS SOPS 190339 HAS SOUS 49499 HAS SOUPS 49367 WITH SCORE 49557.471
AT ITER 863 NEW BEST:: SOT 258041 SOS 187853 HAS SOPS 187721 HAS SOUS 49356 HAS SOUPS 49224 WITH SCORE 49411.853
AT ITER 881 NEW BEST:: SOT 258040 SOS 187860 HAS SOPS 187728 HAS SOUS 49344 HAS SOUPS 49212 WITH SCORE 49399.86
AT ITER 882 NEW BEST:: SOT 258040 SOS 187860 HAS SOPS 187728 HAS SOUS 49333 HAS SOUPS 49201 WITH SCORE 49388.86
AT ITER 886 NEW BEST:: SOT 258041 SOS 187861 HAS SOPS 187729 HAS SOUS 49306 HAS SOUPS 49174 WITH SCORE 49361.861
AT ITER 946 NEW BEST:: SOT 257711 SOS 187531 HAS SOPS 187399 HAS SOUS 48939 HAS SOUPS 48807 WITH SCORE 48994.531
AT ITER 1014 NEW BEST:: SOT 257684 SOS 187483 HAS SOPS 187368 HAS SOUS 48862 HAS SOUPS 48747 WITH SCORE 48934.483
AT ITER 1038 NEW BEST:: SOT 257684 SOS 187480 HAS SOPS 187365 HAS SOUS 48862 HAS SOUPS 48747 WITH SCORE 48934.48
AT ITER 1055 NEW BEST:: SOT 257571 SOS 187653 HAS SOPS 187538 HAS SOUS 48780 HAS SOUPS 48665 WITH SCORE 48852.653
AT ITER 1071 NEW BEST:: SOT 257497 SOS 187579 HAS SOPS 187464 HAS SOUS 48669 HAS SOUPS 48554 WITH SCORE 48741.579
AT ITER 1084 NEW BEST:: SOT 257501 SOS 187583 HAS SOPS 187468 HAS SOUS 48646 HAS SOUPS 48531 WITH SCORE 48718.583
AT ITER 1085 NEW BEST:: SOT 257494 SOS 187576 HAS SOPS 187461 HAS SOUS 48635 HAS SOUPS 48520 WITH SCORE 48707.576
AT ITER 1088 NEW BEST:: SOT 257494 SOS 186872 HAS SOPS 186757 HAS SOUS 48635 HAS SOUPS 48520 WITH SCORE 48706.872
AT ITER 1096 NEW BEST:: SOT 257494 SOS 186872 HAS SOPS 186757 HAS SOUS 48631 HAS SOUPS 48516 WITH SCORE 48702.872
AT ITER 1112 NEW BEST:: SOT 257675 SOS 187053 HAS SOPS 186938 HAS SOUS 48600 HAS SOUPS 48485 WITH SCORE 48672.053
AT ITER 1113 NEW BEST:: SOT 257645 SOS 187023 HAS SOPS 186908 HAS SOUS 48570 HAS SOUPS 48455 WITH SCORE 48642.023
AT ITER 1115 NEW BEST:: SOT 257653 SOS 187031 HAS SOPS 186916 HAS SOUS 48561 HAS SOUPS 48446 WITH SCORE 48633.031
AT ITER 1129 NEW BEST:: SOT 257659 SOS 187037 HAS SOPS 186933 HAS SOUS 48012 HAS SOUPS 47908 WITH SCORE 48095.037
AT ITER 1145 NEW BEST:: SOT 257655 SOS 187033 HAS SOPS 186929 HAS SOUS 48006 HAS SOUPS 47902 WITH SCORE 48089.033
AT ITER 1183 NEW BEST:: SOT 257714 SOS 187074 HAS SOPS 186986 HAS SOUS 47854 HAS SOUPS 47766 WITH SCORE 47953.074
AT ITER 1189 NEW BEST:: SOT 257754 SOS 187114 HAS SOPS 187026 HAS SOUS 47810 HAS SOUPS 47722 WITH SCORE 47909.114
AT ITER 1198 NEW BEST:: SOT 257736 SOS 187096 HAS SOPS 187008 HAS SOUS 47791 HAS SOUPS 47703 WITH SCORE 47890.096
AT ITER 1199 NEW BEST:: SOT 257914 SOS 187274 HAS SOPS 187186 HAS SOUS 47772 HAS SOUPS 47684 WITH SCORE 47871.274
AT ITER 1201 NEW BEST:: SOT 257866 SOS 187226 HAS SOPS 187138 HAS SOUS 47721 HAS SOUPS 47633 WITH SCORE 47820.226
AT ITER 1213 NEW BEST:: SOT 257210 SOS 186570 HAS SOPS 186482 HAS SOUS 47659 HAS SOUPS 47571 WITH SCORE 47757.57
AT ITER 1230 NEW BEST:: SOT 257210 SOS 186456 HAS SOPS 186368 HAS SOUS 47659 HAS SOUPS 47571 WITH SCORE 47757.456
AT ITER 1242 NEW BEST:: SOT 257210 SOS 182038 HAS SOPS 181950 HAS SOUS 47663 HAS SOUPS 47575 WITH SCORE 47757.038
AT ITER 1245 NEW BEST:: SOT 257268 SOS 182078 HAS SOPS 182011 HAS SOUS 47606 HAS SOUPS 47539 WITH SCORE 47721.078
AT ITER 1257 NEW BEST:: SOT 257268 SOS 178498 HAS SOPS 178431 HAS SOUS 47573 HAS SOUPS 47506 WITH SCORE 47684.498
AT ITER 1264 NEW BEST:: SOT 257133 SOS 178363 HAS SOPS 178296 HAS SOUS 47441 HAS SOUPS 47374 WITH SCORE 47552.363
AT ITER 1278 NEW BEST:: SOT 257133 SOS 173259 HAS SOPS 173192 HAS SOUS 47429 HAS SOUPS 47362 WITH SCORE 47535.259
AT ITER 1291 NEW BEST:: SOT 257156 SOS 173282 HAS SOPS 173215 HAS SOUS 47272 HAS SOUPS 47205 WITH SCORE 47378.282
AT ITER 1292 NEW BEST:: SOT 257148 SOS 173274 HAS SOPS 173207 HAS SOUS 47260 HAS SOUPS 47193 WITH SCORE 47366.274
AT ITER 1295 NEW BEST:: SOT 257104 SOS 173230 HAS SOPS 173163 HAS SOUS 47124 HAS SOUPS 47057 WITH SCORE 47230.23
AT ITER 1297 NEW BEST:: SOT 257486 SOS 173239 HAS SOPS 172706 HAS SOUS 47546 HAS SOUPS 47013 WITH SCORE 47186.239
AT ITER 1320 NEW BEST:: SOT 257537 SOS 172658 HAS SOPS 171983 HAS SOUS 47667 HAS SOUPS 46992 WITH SCORE 47164.658
AT ITER 1321 NEW BEST:: SOT 257531 SOS 172652 HAS SOPS 171977 HAS SOUS 47658 HAS SOUPS 46983 WITH SCORE 47155.652
AT ITER 1327 NEW BEST:: SOT 257632 SOS 172753 HAS SOPS 172078 HAS SOUS 47639 HAS SOUPS 46964 WITH SCORE 47136.753
AT ITER 1348 NEW BEST:: SOT 257492 SOS 172613 HAS SOPS 171938 HAS SOUS 47619 HAS SOUPS 46944 WITH SCORE 47116.613
AT ITER 1357 NEW BEST:: SOT 257488 SOS 172609 HAS SOPS 171934 HAS SOUS 47613 HAS SOUPS 46938 WITH SCORE 47110.609
AT ITER 1371 NEW BEST:: SOT 257488 SOS 172651 HAS SOPS 171976 HAS SOUS 47606 HAS SOUPS 46931 WITH SCORE 47103.651
AT ITER 1375 NEW BEST:: SOT 257488 SOS 172521 HAS SOPS 171846 HAS SOUS 47606 HAS SOUPS 46931 WITH SCORE 47103.521
AT ITER 1401 NEW BEST:: SOT 257488 SOS 171256 HAS SOPS 170581 HAS SOUS 47606 HAS SOUPS 46931 WITH SCORE 47102.256
AT ITER 1414 NEW BEST:: SOT 257488 SOS 171256 HAS SOPS 170581 HAS SOUS 47569 HAS SOUPS 46894 WITH SCORE 47065.256
AT ITER 1421 NEW BEST:: SOT 257605 SOS 171373 HAS SOPS 170698 HAS SOUS 47515 HAS SOUPS 46840 WITH SCORE 47011.373
AT ITER 1428 NEW BEST:: SOT 257512 SOS 171280 HAS SOPS 170605 HAS SOUS 47471 HAS SOUPS 46796 WITH SCORE 46967.28
AT ITER 1453 NEW BEST:: SOT 257512 SOS 165712 HAS SOPS 165037 HAS SOUS 47471 HAS SOUPS 46796 WITH SCORE 46961.712
AT ITER 1464 NEW BEST:: SOT 257498 SOS 165698 HAS SOPS 165023 HAS SOUS 47457 HAS SOUPS 46782 WITH SCORE 46947.698
AT ITER 1486 NEW BEST:: SOT 257333 SOS 165830 HAS SOPS 165155 HAS SOUS 47325 HAS SOUPS 46650 WITH SCORE 46815.83
AT ITER 1498 NEW BEST:: SOT 257333 SOS 165830 HAS SOPS 165155 HAS SOUS 47318 HAS SOUPS 46643 WITH SCORE 46808.83
AT ITER 1499 NEW BEST:: SOT 257333 SOS 166100 HAS SOPS 165425 HAS SOUS 47316 HAS SOUPS 46641 WITH SCORE 46807.1
AT ITER 1513 NEW BEST:: SOT 257056 SOS 165850 HAS SOPS 165269 HAS SOUS 47025 HAS SOUPS 46444 WITH SCORE 46609.85
AT ITER 1517 NEW BEST:: SOT 257034 SOS 165828 HAS SOPS 165247 HAS SOUS 47000 HAS SOUPS 46419 WITH SCORE 46584.828
AT ITER 1526 NEW BEST:: SOT 257034 SOS 165918 HAS SOPS 165337 HAS SOUS 46998 HAS SOUPS 46417 WITH SCORE 46582.918
AT ITER 1533 NEW BEST:: SOT 257028 SOS 165912 HAS SOPS 165331 HAS SOUS 46990 HAS SOUPS 46409 WITH SCORE 46574.912
AT ITER 1554 NEW BEST:: SOT 256982 SOS 165650 HAS SOPS 165024 HAS SOUS 46998 HAS SOUPS 46372 WITH SCORE 46537.65
AT ITER 1555 NEW BEST:: SOT 256982 SOS 165700 HAS SOPS 165074 HAS SOUS 46993 HAS SOUPS 46367 WITH SCORE 46532.7
AT ITER 1563 NEW BEST:: SOT 256982 SOS 165610 HAS SOPS 164984 HAS SOUS 46993 HAS SOUPS 46367 WITH SCORE 46532.61
AT ITER 1568 NEW BEST:: SOT 256982 SOS 165614 HAS SOPS 164988 HAS SOUS 46989 HAS SOUPS 46363 WITH SCORE 46528.614
AT ITER 1571 NEW BEST:: SOT 256960 SOS 165592 HAS SOPS 164966 HAS SOUS 46967 HAS SOUPS 46341 WITH SCORE 46506.592
AT ITER 1572 NEW BEST:: SOT 256951 SOS 165581 HAS SOPS 164955 HAS SOUS 46956 HAS SOUPS 46330 WITH SCORE 46495.581
AT ITER 1580 NEW BEST:: SOT 256673 SOS 165321 HAS SOPS 164709 HAS SOUS 46686 HAS SOUPS 46074 WITH SCORE 46239.321
AT ITER 1582 NEW BEST:: SOT 256673 SOS 165571 HAS SOPS 164959 HAS SOUS 46665 HAS SOUPS 46053 WITH SCORE 46218.571
AT ITER 1621 NEW BEST:: SOT 256673 SOS 164946 HAS SOPS 164284 HAS SOUS 46655 HAS SOUPS 46037 WITH SCORE 46201.946
AT ITER 1629 NEW BEST:: SOT 256680 SOS 164953 HAS SOPS 164291 HAS SOUS 46634 HAS SOUPS 46016 WITH SCORE 46180.953
AT ITER 1641 NEW BEST:: SOT 256650 SOS 164934 HAS SOPS 164278 HAS SOUS 46611 HAS SOUPS 45993 WITH SCORE 46157.934
AT ITER 1642 NEW BEST:: SOT 256619 SOS 164903 HAS SOPS 164247 HAS SOUS 46574 HAS SOUPS 45956 WITH SCORE 46120.903
AT ITER 1658 NEW BEST:: SOT 256619 SOS 163157 HAS SOPS 162501 HAS SOUS 46555 HAS SOUPS 45937 WITH SCORE 46100.157
AT ITER 1687 NEW BEST:: SOT 256603 SOS 163125 HAS SOPS 162469 HAS SOUS 46523 HAS SOUPS 45905 WITH SCORE 46068.125
AT ITER 1720 NEW BEST:: SOT 256621 SOS 163143 HAS SOPS 162487 HAS SOUS 46520 HAS SOUPS 45902 WITH SCORE 46065.143
AT ITER 1738 NEW BEST:: SOT 256621 SOS 162838 HAS SOPS 162178 HAS SOUS 46518 HAS SOUPS 45900 WITH SCORE 46062.838
AT ITER 1748 NEW BEST:: SOT 256621 SOS 162653 HAS SOPS 161992 HAS SOUS 46482 HAS SOUPS 45864 WITH SCORE 46026.653
AT ITER 1751 NEW BEST:: SOT 256521 SOS 162703 HAS SOPS 162072 HAS SOUS 46293 HAS SOUPS 45705 WITH SCORE 45867.703
AT ITER 1753 NEW BEST:: SOT 256521 SOS 161933 HAS SOPS 161302 HAS SOUS 46114 HAS SOUPS 45526 WITH SCORE 45687.933
AT ITER 1764 NEW BEST:: SOT 256491 SOS 161905 HAS SOPS 161274 HAS SOUS 46108 HAS SOUPS 45520 WITH SCORE 45681.905
AT ITER 1767 NEW BEST:: SOT 256439 SOS 161853 HAS SOPS 161222 HAS SOUS 46030 HAS SOUPS 45442 WITH SCORE 45603.853
AT ITER 1770 NEW BEST:: SOT 256439 SOS 161960 HAS SOPS 161329 HAS SOUS 46029 HAS SOUPS 45441 WITH SCORE 45602.96
AT ITER 1810 NEW BEST:: SOT 256424 SOS 161945 HAS SOPS 161314 HAS SOUS 46027 HAS SOUPS 45439 WITH SCORE 45600.945
AT ITER 1816 NEW BEST:: SOT 256299 SOS 161820 HAS SOPS 161189 HAS SOUS 45902 HAS SOUPS 45314 WITH SCORE 45475.82
AT ITER 1819 NEW BEST:: SOT 256048 SOS 161776 HAS SOPS 161145 HAS SOUS 45651 HAS SOUPS 45063 WITH SCORE 45224.776
AT ITER 1823 NEW BEST:: SOT 256012 SOS 161729 HAS SOPS 161109 HAS SOUS 45604 HAS SOUPS 45027 WITH SCORE 45188.729
AT ITER 1828 NEW BEST:: SOT 256034 SOS 161535 HAS SOPS 160915 HAS SOUS 45602 HAS SOUPS 45025 WITH SCORE 45186.535
AT ITER 1831 NEW BEST:: SOT 256034 SOS 160563 HAS SOPS 159943 HAS SOUS 45400 HAS SOUPS 44823 WITH SCORE 44983.563
AT ITER 1856 NEW BEST:: SOT 255842 SOS 160448 HAS SOPS 159828 HAS SOUS 45216 HAS SOUPS 44639 WITH SCORE 44799.448
AT ITER 1878 NEW BEST:: SOT 255748 SOS 160606 HAS SOPS 159986 HAS SOUS 45153 HAS SOUPS 44576 WITH SCORE 44736.606
AT ITER 1911 NEW BEST:: SOT 255758 SOS 160616 HAS SOPS 159996 HAS SOUS 45133 HAS SOUPS 44556 WITH SCORE 44716.616
AT ITER 1946 NEW BEST:: SOT 255758 SOS 160604 HAS SOPS 159984 HAS SOUS 45119 HAS SOUPS 44542 WITH SCORE 44702.604
AT ITER 1969 NEW BEST:: SOT 255758 SOS 160654 HAS SOPS 160034 HAS SOUS 45113 HAS SOUPS 44536 WITH SCORE 44696.654
AT ITER 1990 NEW BEST:: SOT 255596 SOS 160490 HAS SOPS 159870 HAS SOUS 44950 HAS SOUPS 44373 WITH SCORE 44533.49
AT ITER 2061 NEW BEST:: SOT 255596 SOS 159338 HAS SOPS 158718 HAS SOUS 44854 HAS SOUPS 44277 WITH SCORE 44436.338
AT ITER 2091 NEW BEST:: SOT 255492 SOS 159234 HAS SOPS 158614 HAS SOUS 44847 HAS SOUPS 44270 WITH SCORE 44429.234
AT ITER 2104 NEW BEST:: SOT 255485 SOS 159227 HAS SOPS 158607 HAS SOUS 44840 HAS SOUPS 44263 WITH SCORE 44422.227
AT ITER 2107 NEW BEST:: SOT 255485 SOS 159224 HAS SOPS 158604 HAS SOUS 44837 HAS SOUPS 44260 WITH SCORE 44419.224
AT ITER 2125 NEW BEST:: SOT 255485 SOS 159356 HAS SOPS 158736 HAS SOUS 44825 HAS SOUPS 44248 WITH SCORE 44407.356
AT ITER 2140 NEW BEST:: SOT 255471 SOS 159342 HAS SOPS 158722 HAS SOUS 44804 HAS SOUPS 44227 WITH SCORE 44386.342
AT ITER 2142 NEW BEST:: SOT 255637 SOS 159508 HAS SOPS 158888 HAS SOUS 44803 HAS SOUPS 44226 WITH SCORE 44385.508
AT ITER 2196 NEW BEST:: SOT 255638 SOS 159509 HAS SOPS 158889 HAS SOUS 44801 HAS SOUPS 44224 WITH SCORE 44383.509
AT ITER 2217 NEW BEST:: SOT 255638 SOS 159239 HAS SOPS 158619 HAS SOUS 44786 HAS SOUPS 44209 WITH SCORE 44368.239
AT ITER 2247 NEW BEST:: SOT 255638 SOS 159239 HAS SOPS 158619 HAS SOUS 44777 HAS SOUPS 44200 WITH SCORE 44359.239
AT ITER 2251 NEW BEST:: SOT 255688 SOS 159289 HAS SOPS 158669 HAS SOUS 44734 HAS SOUPS 44157 WITH SCORE 44316.289
AT ITER 2252 NEW BEST:: SOT 255668 SOS 159161 HAS SOPS 158541 HAS SOUS 44702 HAS SOUPS 44125 WITH SCORE 44284.161
AT ITER 2253 NEW BEST:: SOT 255724 SOS 159217 HAS SOPS 158597 HAS SOUS 44674 HAS SOUPS 44097 WITH SCORE 44256.217
AT ITER 2259 NEW BEST:: SOT 255714 SOS 159295 HAS SOPS 158686 HAS SOUS 44642 HAS SOUPS 44076 WITH SCORE 44235.295
AT ITER 2260 NEW BEST:: SOT 255589 SOS 159170 HAS SOPS 158561 HAS SOUS 44564 HAS SOUPS 43998 WITH SCORE 44157.17
AT ITER 2297 NEW BEST:: SOT 255589 SOS 159142 HAS SOPS 158533 HAS SOUS 44548 HAS SOUPS 43982 WITH SCORE 44141.142
AT ITER 2302 NEW BEST:: SOT 255533 SOS 159077 HAS SOPS 158477 HAS SOUS 44440 HAS SOUPS 43883 WITH SCORE 44042.077
AT ITER 2309 NEW BEST:: SOT 255538 SOS 159082 HAS SOPS 158482 HAS SOUS 44435 HAS SOUPS 43878 WITH SCORE 44037.082
AT ITER 2331 NEW BEST:: SOT 255538 SOS 159172 HAS SOPS 158572 HAS SOUS 44426 HAS SOUPS 43869 WITH SCORE 44028.172
AT ITER 2334 NEW BEST:: SOT 255536 SOS 159156 HAS SOPS 158556 HAS SOUS 44424 HAS SOUPS 43867 WITH SCORE 44026.156
AT ITER 2336 NEW BEST:: SOT 255511 SOS 159055 HAS SOPS 158455 HAS SOUS 44382 HAS SOUPS 43825 WITH SCORE 43984.055
AT ITER 2373 NEW BEST:: SOT 255511 SOS 159122 HAS SOPS 158552 HAS SOUS 44270 HAS SOUPS 43713 WITH SCORE 43872.122
AT ITER 2378 NEW BEST:: SOT 255098 SOS 158709 HAS SOPS 158139 HAS SOUS 43757 HAS SOUPS 43200 WITH SCORE 43358.709
AT ITER 2384 NEW BEST:: SOT 255098 SOS 158742 HAS SOPS 158172 HAS SOUS 43754 HAS SOUPS 43197 WITH SCORE 43355.742
AT ITER 2430 NEW BEST:: SOT 254956 SOS 158564 HAS SOPS 157950 HAS SOUS 43604 HAS SOUPS 43003 WITH SCORE 43161.564
AT ITER 2434 NEW BEST:: SOT 254956 SOS 158564 HAS SOPS 157950 HAS SOUS 43562 HAS SOUPS 42961 WITH SCORE 43119.564
AT ITER 2456 NEW BEST:: SOT 254924 SOS 158532 HAS SOPS 157918 HAS SOUS 43514 HAS SOUPS 42913 WITH SCORE 43071.532
AT ITER 2469 NEW BEST:: SOT 254924 SOS 158532 HAS SOPS 157918 HAS SOUS 43397 HAS SOUPS 42796 WITH SCORE 42954.532
AT ITER 2495 NEW BEST:: SOT 255022 SOS 158612 HAS SOPS 158016 HAS SOUS 43228 HAS SOUPS 42645 WITH SCORE 42803.612
AT ITER 2502 NEW BEST:: SOT 255054 SOS 159177 HAS SOPS 158581 HAS SOUS 43175 HAS SOUPS 42592 WITH SCORE 42751.177
AT ITER 2515 NEW BEST:: SOT 255054 SOS 159155 HAS SOPS 158559 HAS SOUS 43173 HAS SOUPS 42590 WITH SCORE 42749.155
AT ITER 2519 NEW BEST:: SOT 255046 SOS 159147 HAS SOPS 158551 HAS SOUS 43169 HAS SOUPS 42586 WITH SCORE 42745.147
AT ITER 2522 NEW BEST:: SOT 255046 SOS 159137 HAS SOPS 158541 HAS SOUS 43169 HAS SOUPS 42586 WITH SCORE 42745.137
AT ITER 2537 NEW BEST:: SOT 254792 SOS 158887 HAS SOPS 158291 HAS SOUS 42881 HAS SOUPS 42298 WITH SCORE 42456.887
AT ITER 2541 NEW BEST:: SOT 254762 SOS 158857 HAS SOPS 158261 HAS SOUS 42861 HAS SOUPS 42278 WITH SCORE 42436.857
AT ITER 2557 NEW BEST:: SOT 254592 SOS 158687 HAS SOPS 158091 HAS SOUS 42822 HAS SOUPS 42239 WITH SCORE 42397.687
AT ITER 2594 NEW BEST:: SOT 254469 SOS 158655 HAS SOPS 158059 HAS SOUS 42699 HAS SOUPS 42116 WITH SCORE 42274.655
AT ITER 2600 NEW BEST:: SOT 254468 SOS 158645 HAS SOPS 158070 HAS SOUS 42678 HAS SOUPS 42116 WITH SCORE 42274.645
AT ITER 2602 NEW BEST:: SOT 254468 SOS 158805 HAS SOPS 158230 HAS SOUS 42662 HAS SOUPS 42100 WITH SCORE 42258.805
AT ITER 2608 NEW BEST:: SOT 254468 SOS 158815 HAS SOPS 158239 HAS SOUS 42657 HAS SOUPS 42095 WITH SCORE 42253.815
AT ITER 2622 NEW BEST:: SOT 254474 SOS 159022 HAS SOPS 158445 HAS SOUS 42648 HAS SOUPS 42086 WITH SCORE 42245.022
AT ITER 2640 NEW BEST:: SOT 254472 SOS 159020 HAS SOPS 158443 HAS SOUS 42635 HAS SOUPS 42073 WITH SCORE 42232.02
AT ITER 2646 NEW BEST:: SOT 254472 SOS 159020 HAS SOPS 158443 HAS SOUS 42620 HAS SOUPS 42058 WITH SCORE 42217.02
AT ITER 2651 NEW BEST:: SOT 254472 SOS 151945 HAS SOPS 151368 HAS SOUS 42585 HAS SOUPS 42023 WITH SCORE 42174.945
AT ITER 2656 NEW BEST:: SOT 254301 SOS 151797 HAS SOPS 151261 HAS SOUS 42365 HAS SOUPS 41844 WITH SCORE 41995.797
AT ITER 2659 NEW BEST:: SOT 254301 SOS 151431 HAS SOPS 150895 HAS SOUS 42252 HAS SOUPS 41731 WITH SCORE 41882.431
AT ITER 2667 NEW BEST:: SOT 254358 SOS 151473 HAS SOPS 150952 HAS SOUS 42152 HAS SOUPS 41646 WITH SCORE 41797.473
AT ITER 2672 NEW BEST:: SOT 254358 SOS 151606 HAS SOPS 151085 HAS SOUS 42145 HAS SOUPS 41639 WITH SCORE 41790.606
AT ITER 2682 NEW BEST:: SOT 254358 SOS 151665 HAS SOPS 151144 HAS SOUS 42115 HAS SOUPS 41609 WITH SCORE 41760.665
AT ITER 2685 NEW BEST:: SOT 254358 SOS 151661 HAS SOPS 151140 HAS SOUS 42114 HAS SOUPS 41608 WITH SCORE 41759.661
AT ITER 2692 NEW BEST:: SOT 254358 SOS 151649 HAS SOPS 151128 HAS SOUS 42083 HAS SOUPS 41577 WITH SCORE 41728.649
AT ITER 2693 NEW BEST:: SOT 254358 SOS 151649 HAS SOPS 151128 HAS SOUS 42080 HAS SOUPS 41574 WITH SCORE 41725.649
AT ITER 2712 NEW BEST:: SOT 254358 SOS 151965 HAS SOPS 151444 HAS SOUS 42040 HAS SOUPS 41534 WITH SCORE 41685.965
AT ITER 2752 NEW BEST:: SOT 254304 SOS 151911 HAS SOPS 151390 HAS SOUS 41959 HAS SOUPS 41453 WITH SCORE 41604.911
AT ITER 2757 NEW BEST:: SOT 254304 SOS 151847 HAS SOPS 151326 HAS SOUS 41921 HAS SOUPS 41415 WITH SCORE 41566.847
AT ITER 2822 NEW BEST:: SOT 254304 SOS 152217 HAS SOPS 151696 HAS SOUS 41888 HAS SOUPS 41382 WITH SCORE 41534.217
AT ITER 2851 NEW BEST:: SOT 254304 SOS 152217 HAS SOPS 151696 HAS SOUS 41884 HAS SOUPS 41378 WITH SCORE 41530.217
AT ITER 2868 NEW BEST:: SOT 254250 SOS 152162 HAS SOPS 151641 HAS SOUS 41829 HAS SOUPS 41323 WITH SCORE 41475.162
AT ITER 2888 NEW BEST:: SOT 254250 SOS 152248 HAS SOPS 151727 HAS SOUS 41798 HAS SOUPS 41292 WITH SCORE 41444.248
AT ITER 2891 NEW BEST:: SOT 254250 SOS 152248 HAS SOPS 151727 HAS SOUS 41793 HAS SOUPS 41287 WITH SCORE 41439.248
AT ITER 2896 NEW BEST:: SOT 254250 SOS 152248 HAS SOPS 151727 HAS SOUS 41789 HAS SOUPS 41283 WITH SCORE 41435.248
AT ITER 2926 NEW BEST:: SOT 254226 SOS 152224 HAS SOPS 151703 HAS SOUS 41765 HAS SOUPS 41259 WITH SCORE 41411.224
AT ITER 2940 NEW BEST:: SOT 254226 SOS 152314 HAS SOPS 151793 HAS SOUS 41756 HAS SOUPS 41250 WITH SCORE 41402.314
AT ITER 2950 NEW BEST:: SOT 254202 SOS 152290 HAS SOPS 151734 HAS SOUS 41734 HAS SOUPS 41193 WITH SCORE 41345.29
AT ITER 2959 NEW BEST:: SOT 254202 SOS 152257 HAS SOPS 151697 HAS SOUS 41716 HAS SOUPS 41175 WITH SCORE 41327.257
AT ITER 2991 NEW BEST:: SOT 254154 SOS 152269 HAS SOPS 151709 HAS SOUS 41673 HAS SOUPS 41132 WITH SCORE 41284.269
AT ITER 2992 NEW BEST:: SOT 254134 SOS 152249 HAS SOPS 151689 HAS SOUS 41660 HAS SOUPS 41119 WITH SCORE 41271.249
AT ITER 3001 NEW BEST:: SOT 254059 SOS 152174 HAS SOPS 151614 HAS SOUS 41626 HAS SOUPS 41085 WITH SCORE 41237.174
AT ITER 3046 NEW BEST:: SOT 253934 SOS 152029 HAS SOPS 151495 HAS SOUS 41263 HAS SOUPS 40748 WITH SCORE 40900.029
AT ITER 3059 NEW BEST:: SOT 253957 SOS 152052 HAS SOPS 151518 HAS SOUS 41245 HAS SOUPS 40730 WITH SCORE 40882.052
AT ITER 3080 NEW BEST:: SOT 254044 SOS 152139 HAS SOPS 151625 HAS SOUS 41112 HAS SOUPS 40617 WITH SCORE 40769.139
AT ITER 3096 NEW BEST:: SOT 254044 SOS 152139 HAS SOPS 151625 HAS SOUS 41109 HAS SOUPS 40614 WITH SCORE 40766.139
AT ITER 3133 NEW BEST:: SOT 254034 SOS 152129 HAS SOPS 151615 HAS SOUS 41083 HAS SOUPS 40588 WITH SCORE 40740.129
AT ITER 3163 NEW BEST:: SOT 254030 SOS 152125 HAS SOPS 151611 HAS SOUS 41083 HAS SOUPS 40588 WITH SCORE 40740.125
AT ITER 3176 NEW BEST:: SOT 254030 SOS 152101 HAS SOPS 151582 HAS SOUS 41078 HAS SOUPS 40583 WITH SCORE 40735.101
AT ITER 3187 NEW BEST:: SOT 254028 SOS 152099 HAS SOPS 151580 HAS SOUS 41070 HAS SOUPS 40575 WITH SCORE 40727.099
AT ITER 3213 NEW BEST:: SOT 253994 SOS 151669 HAS SOPS 151142 HAS SOUS 41032 HAS SOUPS 40529 WITH SCORE 40680.669
AT ITER 3218 NEW BEST:: SOT 253994 SOS 151650 HAS SOPS 151132 HAS SOUS 41019 HAS SOUPS 40518 WITH SCORE 40669.65
AT ITER 3254 NEW BEST:: SOT 254158 SOS 151814 HAS SOPS 151296 HAS SOUS 41014 HAS SOUPS 40513 WITH SCORE 40664.814
AT ITER 3264 NEW BEST:: SOT 254158 SOS 151814 HAS SOPS 151296 HAS SOUS 41008 HAS SOUPS 40507 WITH SCORE 40658.814
AT ITER 3291 NEW BEST:: SOT 254158 SOS 164814 HAS SOPS 155578 HAS SOUS 41036 HAS SOUPS 40491 WITH SCORE 40655.814
AT ITER 3298 NEW BEST:: SOT 254158 SOS 164814 HAS SOPS 155628 HAS SOUS 41031 HAS SOUPS 40486 WITH SCORE 40650.814
AT ITER 3308 NEW BEST:: SOT 254140 SOS 164796 HAS SOPS 155610 HAS SOUS 41004 HAS SOUPS 40459 WITH SCORE 40623.796
AT ITER 3329 NEW BEST:: SOT 254124 SOS 164780 HAS SOPS 155594 HAS SOUS 40960 HAS SOUPS 40415 WITH SCORE 40579.78
AT ITER 3356 NEW BEST:: SOT 254068 SOS 164724 HAS SOPS 155538 HAS SOUS 40878 HAS SOUPS 40333 WITH SCORE 40497.724
AT ITER 3361 NEW BEST:: SOT 253940 SOS 163339 HAS SOPS 154131 HAS SOUS 40728 HAS SOUPS 40161 WITH SCORE 40324.339
AT ITER 3374 NEW BEST:: SOT 253886 SOS 163285 HAS SOPS 154077 HAS SOUS 40710 HAS SOUPS 40143 WITH SCORE 40306.285
AT ITER 3447 NEW BEST:: SOT 253878 SOS 163263 HAS SOPS 154360 HAS SOUS 40700 HAS SOUPS 40133 WITH SCORE 40296.263
AT ITER 3490 NEW BEST:: SOT 253855 SOS 163331 HAS SOPS 154428 HAS SOUS 40673 HAS SOUPS 40106 WITH SCORE 40269.331
AT ITER 3493 NEW BEST:: SOT 253855 SOS 163331 HAS SOPS 154480 HAS SOUS 40667 HAS SOUPS 40100 WITH SCORE 40263.331
AT ITER 3520 NEW BEST:: SOT 253937 SOS 163404 HAS SOPS 154562 HAS SOUS 40635 HAS SOUPS 40077 WITH SCORE 40240.404
AT ITER 3549 NEW BEST:: SOT 253922 SOS 163389 HAS SOPS 154547 HAS SOUS 40632 HAS SOUPS 40074 WITH SCORE 40237.389
AT ITER 3588 NEW BEST:: SOT 253920 SOS 163387 HAS SOPS 154545 HAS SOUS 40601 HAS SOUPS 40043 WITH SCORE 40206.387
AT ITER 3593 NEW BEST:: SOT 254012 SOS 163479 HAS SOPS 154637 HAS SOUS 40595 HAS SOUPS 40037 WITH SCORE 40200.479
AT ITER 3605 NEW BEST:: SOT 254012 SOS 163479 HAS SOPS 154637 HAS SOUS 40580 HAS SOUPS 40022 WITH SCORE 40185.479
AT ITER 3645 NEW BEST:: SOT 253996 SOS 163463 HAS SOPS 154621 HAS SOUS 40556 HAS SOUPS 39998 WITH SCORE 40161.463
AT ITER 3656 NEW BEST:: SOT 253984 SOS 163451 HAS SOPS 154609 HAS SOUS 40456 HAS SOUPS 39898 WITH SCORE 40061.451
AT ITER 3660 NEW BEST:: SOT 253980 SOS 163443 HAS SOPS 154601 HAS SOUS 40448 HAS SOUPS 39890 WITH SCORE 40053.443
AT ITER 3674 NEW BEST:: SOT 253775 SOS 163249 HAS SOPS 154419 HAS SOUS 40244 HAS SOUPS 39698 WITH SCORE 39861.249
AT ITER 3701 NEW BEST:: SOT 253775 SOS 163243 HAS SOPS 154413 HAS SOUS 40241 HAS SOUPS 39695 WITH SCORE 39858.243
AT ITER 3702 NEW BEST:: SOT 253775 SOS 163243 HAS SOPS 154424 HAS SOUS 40200 HAS SOUPS 39665 WITH SCORE 39828.243
AT ITER 3744 NEW BEST:: SOT 253772 SOS 163213 HAS SOPS 154394 HAS SOUS 40194 HAS SOUPS 39659 WITH SCORE 39822.213
AT ITER 3762 NEW BEST:: SOT 253772 SOS 163215 HAS SOPS 154246 HAS SOUS 40190 HAS SOUPS 39655 WITH SCORE 39818.215
AT ITER 3764 NEW BEST:: SOT 253772 SOS 163051 HAS SOPS 153072 HAS SOUS 40023 HAS SOUPS 39488 WITH SCORE 39651.051
AT ITER 3773 NEW BEST:: SOT 253772 SOS 163051 HAS SOPS 153072 HAS SOUS 40020 HAS SOUPS 39485 WITH SCORE 39648.051
AT ITER 3800 NEW BEST:: SOT 253732 SOS 163011 HAS SOPS 153032 HAS SOUS 39960 HAS SOUPS 39425 WITH SCORE 39588.011
AT ITER 3808 NEW BEST:: SOT 253579 SOS 162832 HAS SOPS 152879 HAS SOUS 39781 HAS SOUPS 39272 WITH SCORE 39434.832
AT ITER 3817 NEW BEST:: SOT 253579 SOS 162752 HAS SOPS 152979 HAS SOUS 39762 HAS SOUPS 39253 WITH SCORE 39415.752
AT ITER 3831 NEW BEST:: SOT 253579 SOS 162820 HAS SOPS 152852 HAS SOUS 39747 HAS SOUPS 39238 WITH SCORE 39400.82
AT ITER 3850 NEW BEST:: SOT 253589 SOS 162830 HAS SOPS 152862 HAS SOUS 39737 HAS SOUPS 39228 WITH SCORE 39390.83
AT ITER 3897 NEW BEST:: SOT 253573 SOS 162814 HAS SOPS 152846 HAS SOUS 39673 HAS SOUPS 39164 WITH SCORE 39326.814
AT ITER 3905 NEW BEST:: SOT 253667 SOS 162908 HAS SOPS 152928 HAS SOUS 39644 HAS SOUPS 39123 WITH SCORE 39285.908
AT ITER 3916 NEW BEST:: SOT 253623 SOS 162864 HAS SOPS 152884 HAS SOUS 39600 HAS SOUPS 39079 WITH SCORE 39241.864
AT ITER 3939 NEW BEST:: SOT 253623 SOS 162815 HAS SOPS 152771 HAS SOUS 39613 HAS SOUPS 39028 WITH SCORE 39190.815
AT ITER 3976 NEW BEST:: SOT 253597 SOS 162774 HAS SOPS 152730 HAS SOUS 39604 HAS SOUPS 39019 WITH SCORE 39181.774
AT ITER 3991 NEW BEST:: SOT 253593 SOS 162770 HAS SOPS 152726 HAS SOUS 39594 HAS SOUPS 39009 WITH SCORE 39171.77
AT ITER 4101 NEW BEST:: SOT 253593 SOS 162770 HAS SOPS 152728 HAS SOUS 39590 HAS SOUPS 39007 WITH SCORE 39169.77
AT ITER 4183 NEW BEST:: SOT 253562 SOS 162739 HAS SOPS 152697 HAS SOUS 39528 HAS SOUPS 38945 WITH SCORE 39107.739
AT ITER 4213 NEW BEST:: SOT 253562 SOS 162860 HAS SOPS 152818 HAS SOUS 39525 HAS SOUPS 38942 WITH SCORE 39104.86
AT ITER 4232 NEW BEST:: SOT 253566 SOS 162864 HAS SOPS 152822 HAS SOUS 39522 HAS SOUPS 38939 WITH SCORE 39101.864
AT ITER 4300 NEW BEST:: SOT 253586 SOS 162884 HAS SOPS 152842 HAS SOUS 39515 HAS SOUPS 38932 WITH SCORE 39094.884
AT ITER 4307 NEW BEST:: SOT 253586 SOS 162884 HAS SOPS 152842 HAS SOUS 39249 HAS SOUPS 38666 WITH SCORE 38828.884
AT ITER 4308 NEW BEST:: SOT 253586 SOS 161828 HAS SOPS 151786 HAS SOUS 39249 HAS SOUPS 38666 WITH SCORE 38827.828
AT ITER 4314 NEW BEST:: SOT 253586 SOS 161828 HAS SOPS 151846 HAS SOUS 39243 HAS SOUPS 38660 WITH SCORE 38821.828
AT ITER 4341 NEW BEST:: SOT 253548 SOS 161790 HAS SOPS 151808 HAS SOUS 39176 HAS SOUPS 38593 WITH SCORE 38754.79
AT ITER 4346 NEW BEST:: SOT 253548 SOS 161633 HAS SOPS 151684 HAS SOUS 39144 HAS SOUPS 38561 WITH SCORE 38722.633
AT ITER 4448 NEW BEST:: SOT 253528 SOS 161623 HAS SOPS 151487 HAS SOUS 39118 HAS SOUPS 38535 WITH SCORE 38696.623
AT ITER 4460 NEW BEST:: SOT 253155 SOS 161214 HAS SOPS 151114 HAS SOUS 38706 HAS SOUPS 38159 WITH SCORE 38320.214
AT ITER 4477 NEW BEST:: SOT 253016 SOS 161099 HAS SOPS 150999 HAS SOUS 38579 HAS SOUPS 38032 WITH SCORE 38193.099
AT ITER 4480 NEW BEST:: SOT 253027 SOS 161110 HAS SOPS 151018 HAS SOUS 38502 HAS SOUPS 37963 WITH SCORE 38124.11
AT ITER 4525 NEW BEST:: SOT 253027 SOS 161128 HAS SOPS 150504 HAS SOUS 38395 HAS SOUPS 37856 WITH SCORE 38017.128
AT ITER 4527 NEW BEST:: SOT 253027 SOS 161104 HAS SOPS 150480 HAS SOUS 38395 HAS SOUPS 37856 WITH SCORE 38017.104
AT ITER 4555 NEW BEST:: SOT 253027 SOS 161104 HAS SOPS 150480 HAS SOUS 38388 HAS SOUPS 37849 WITH SCORE 38010.104
AT ITER 4575 NEW BEST:: SOT 252953 SOS 161030 HAS SOPS 150406 HAS SOUS 38382 HAS SOUPS 37843 WITH SCORE 38004.03
AT ITER 4580 NEW BEST:: SOT 252954 SOS 161031 HAS SOPS 150407 HAS SOUS 38380 HAS SOUPS 37841 WITH SCORE 38002.031
AT ITER 4603 NEW BEST:: SOT 252954 SOS 161031 HAS SOPS 150287 HAS SOUS 38360 HAS SOUPS 37821 WITH SCORE 37982.031
AT ITER 4628 NEW BEST:: SOT 252954 SOS 161031 HAS SOPS 150287 HAS SOUS 38359 HAS SOUPS 37820 WITH SCORE 37981.031
AT ITER 4631 NEW BEST:: SOT 252940 SOS 161017 HAS SOPS 150273 HAS SOUS 38327 HAS SOUPS 37788 WITH SCORE 37949.017
AT ITER 4642 NEW BEST:: SOT 252940 SOS 160997 HAS SOPS 150253 HAS SOUS 38307 HAS SOUPS 37768 WITH SCORE 37928.997
AT ITER 4649 NEW BEST:: SOT 252940 SOS 160997 HAS SOPS 150253 HAS SOUS 38296 HAS SOUPS 37757 WITH SCORE 37917.997
AT ITER 4660 NEW BEST:: SOT 252940 SOS 160997 HAS SOPS 150253 HAS SOUS 38294 HAS SOUPS 37755 WITH SCORE 37915.997
AT ITER 4673 NEW BEST:: SOT 252940 SOS 160567 HAS SOPS 149823 HAS SOUS 38294 HAS SOUPS 37755 WITH SCORE 37915.567
AT ITER 4688 NEW BEST:: SOT 252940 SOS 145667 HAS SOPS 145176 HAS SOUS 38247 HAS SOUPS 37756 WITH SCORE 37901.667
AT ITER 4729 NEW BEST:: SOT 252940 SOS 145667 HAS SOPS 145176 HAS SOUS 38242 HAS SOUPS 37751 WITH SCORE 37896.667
AT ITER 4734 NEW BEST:: SOT 252870 SOS 145597 HAS SOPS 145106 HAS SOUS 38156 HAS SOUPS 37665 WITH SCORE 37810.597
AT ITER 4759 NEW BEST:: SOT 252861 SOS 145588 HAS SOPS 145097 HAS SOUS 38152 HAS SOUPS 37661 WITH SCORE 37806.588
AT ITER 4784 NEW BEST:: SOT 252861 SOS 145622 HAS SOPS 145131 HAS SOUS 38150 HAS SOUPS 37659 WITH SCORE 37804.622
AT ITER 4806 NEW BEST:: SOT 252861 SOS 145699 HAS SOPS 145208 HAS SOUS 38147 HAS SOUPS 37656 WITH SCORE 37801.699
AT ITER 4832 NEW BEST:: SOT 252888 SOS 145743 HAS SOPS 145259 HAS SOUS 38094 HAS SOUPS 37610 WITH SCORE 37755.743
AT ITER 4868 NEW BEST:: SOT 252924 SOS 144054 HAS SOPS 143539 HAS SOUS 38105 HAS SOUPS 37590 WITH SCORE 37734.054
AT ITER 4869 NEW BEST:: SOT 252924 SOS 143965 HAS SOPS 143450 HAS SOUS 38105 HAS SOUPS 37590 WITH SCORE 37733.965
AT ITER 4887 NEW BEST:: SOT 252933 SOS 143985 HAS SOPS 143470 HAS SOUS 38090 HAS SOUPS 37575 WITH SCORE 37718.985
AT ITER 4904 NEW BEST:: SOT 252933 SOS 143982 HAS SOPS 143470 HAS SOUS 38077 HAS SOUPS 37565 WITH SCORE 37708.982
AT ITER 4915 NEW BEST:: SOT 252903 SOS 143952 HAS SOPS 143440 HAS SOUS 38019 HAS SOUPS 37507 WITH SCORE 37650.952
AT ITER 4918 NEW BEST:: SOT 252903 SOS 140608 HAS SOPS 140096 HAS SOUS 38019 HAS SOUPS 37507 WITH SCORE 37647.608
AT ITER 4992 NEW BEST:: SOT 252846 SOS 140551 HAS SOPS 140039 HAS SOUS 38000 HAS SOUPS 37488 WITH SCORE 37628.551
AT ITER 5012 NEW BEST:: SOT 252837 SOS 140531 HAS SOPS 140019 HAS SOUS 37989 HAS SOUPS 37477 WITH SCORE 37617.531
AT ITER 5018 NEW BEST:: SOT 252637 SOS 140311 HAS SOPS 139819 HAS SOUS 37757 HAS SOUPS 37265 WITH SCORE 37405.311
AT ITER 5099 NEW BEST:: SOT 252639 SOS 140313 HAS SOPS 139821 HAS SOUS 37751 HAS SOUPS 37259 WITH SCORE 37399.313
AT ITER 5147 NEW BEST:: SOT 252639 SOS 140313 HAS SOPS 139821 HAS SOUS 37747 HAS SOUPS 37255 WITH SCORE 37395.313
AT ITER 5181 NEW BEST:: SOT 252639 SOS 140710 HAS SOPS 140218 HAS SOUS 37744 HAS SOUPS 37252 WITH SCORE 37392.71
AT ITER 5188 NEW BEST:: SOT 252639 SOS 141051 HAS SOPS 140559 HAS SOUS 37719 HAS SOUPS 37227 WITH SCORE 37368.051
AT ITER 5212 NEW BEST:: SOT 252629 SOS 141041 HAS SOPS 140549 HAS SOUS 37704 HAS SOUPS 37212 WITH SCORE 37353.041
AT ITER 5259 NEW BEST:: SOT 252629 SOS 141404 HAS SOPS 140912 HAS SOUS 37679 HAS SOUPS 37187 WITH SCORE 37328.404
AT ITER 5282 NEW BEST:: SOT 252602 SOS 141365 HAS SOPS 140873 HAS SOUS 37644 HAS SOUPS 37152 WITH SCORE 37293.365
AT ITER 5318 NEW BEST:: SOT 252610 SOS 141373 HAS SOPS 140881 HAS SOUS 37638 HAS SOUPS 37146 WITH SCORE 37287.373
AT ITER 5348 NEW BEST:: SOT 252600 SOS 141363 HAS SOPS 140871 HAS SOUS 37623 HAS SOUPS 37131 WITH SCORE 37272.363
AT ITER 5370 NEW BEST:: SOT 252600 SOS 142848 HAS SOPS 142356 HAS SOUS 37608 HAS SOUPS 37116 WITH SCORE 37258.848
AT ITER 5385 NEW BEST:: SOT 252600 SOS 142879 HAS SOPS 142387 HAS SOUS 37542 HAS SOUPS 37050 WITH SCORE 37192.879
AT ITER 5564 NEW BEST:: SOT 252530 SOS 142809 HAS SOPS 142317 HAS SOUS 37532 HAS SOUPS 37040 WITH SCORE 37182.809
AT ITER 5576 NEW BEST:: SOT 252530 SOS 142656 HAS SOPS 142164 HAS SOUS 37515 HAS SOUPS 37023 WITH SCORE 37165.656
AT ITER 5581 NEW BEST:: SOT 252530 SOS 142548 HAS SOPS 142056 HAS SOUS 37497 HAS SOUPS 37005 WITH SCORE 37147.548
AT ITER 5594 NEW BEST:: SOT 252530 SOS 142988 HAS SOPS 142496 HAS SOUS 37461 HAS SOUPS 36969 WITH SCORE 37111.988
AT ITER 5686 NEW BEST:: SOT 252530 SOS 143158 HAS SOPS 142666 HAS SOUS 37442 HAS SOUPS 36950 WITH SCORE 37093.158
AT ITER 5751 NEW BEST:: SOT 252529 SOS 143157 HAS SOPS 142665 HAS SOUS 37441 HAS SOUPS 36949 WITH SCORE 37092.157
AT ITER 5765 NEW BEST:: SOT 252555 SOS 143183 HAS SOPS 142691 HAS SOUS 37435 HAS SOUPS 36943 WITH SCORE 37086.183
AT ITER 5798 NEW BEST:: SOT 252555 SOS 143889 HAS SOPS 143397 HAS SOUS 37433 HAS SOUPS 36941 WITH SCORE 37084.889
AT ITER 5799 NEW BEST:: SOT 252538 SOS 143872 HAS SOPS 143380 HAS SOUS 37416 HAS SOUPS 36924 WITH SCORE 37067.872
AT ITER 5854 NEW BEST:: SOT 252482 SOS 143816 HAS SOPS 143324 HAS SOUS 37360 HAS SOUPS 36868 WITH SCORE 37011.816
AT ITER 5860 NEW BEST:: SOT 252482 SOS 143876 HAS SOPS 143384 HAS SOUS 37354 HAS SOUPS 36862 WITH SCORE 37005.876
AT ITER 5869 NEW BEST:: SOT 252476 SOS 143870 HAS SOPS 143378 HAS SOUS 37345 HAS SOUPS 36853 WITH SCORE 36996.87
AT ITER 5870 NEW BEST:: SOT 252475 SOS 143869 HAS SOPS 143377 HAS SOUS 37342 HAS SOUPS 36850 WITH SCORE 36993.869
AT ITER 5920 NEW BEST:: SOT 252509 SOS 143903 HAS SOPS 143411 HAS SOUS 37330 HAS SOUPS 36838 WITH SCORE 36981.903
AT ITER 5956 NEW BEST:: SOT 252509 SOS 143900 HAS SOPS 143408 HAS SOUS 37327 HAS SOUPS 36835 WITH SCORE 36978.9
AT ITER 5993 NEW BEST:: SOT 252974 SOS 144377 HAS SOPS 143885 HAS SOUS 37293 HAS SOUPS 36801 WITH SCORE 36945.377
AT ITER 6000 NEW BEST:: SOT 252934 SOS 144350 HAS SOPS 143858 HAS SOUS 37266 HAS SOUPS 36774 WITH SCORE 36918.35
AT ITER 6007 NEW BEST:: SOT 252911 SOS 144348 HAS SOPS 143833 HAS SOUS 37288 HAS SOUPS 36773 WITH SCORE 36917.348
AT ITER 6016 NEW BEST:: SOT 252899 SOS 144336 HAS SOPS 143821 HAS SOUS 37271 HAS SOUPS 36756 WITH SCORE 36900.336
AT ITER 6028 NEW BEST:: SOT 252899 SOS 144344 HAS SOPS 143829 HAS SOUS 37269 HAS SOUPS 36754 WITH SCORE 36898.344
AT ITER 6036 NEW BEST:: SOT 252899 SOS 144597 HAS SOPS 144082 HAS SOUS 37246 HAS SOUPS 36731 WITH SCORE 36875.597
AT ITER 6037 NEW BEST:: SOT 252907 SOS 144589 HAS SOPS 144074 HAS SOUS 37246 HAS SOUPS 36731 WITH SCORE 36875.589
AT ITER 6087 NEW BEST:: SOT 252897 SOS 144579 HAS SOPS 144064 HAS SOUS 37245 HAS SOUPS 36730 WITH SCORE 36874.579
AT ITER 6105 NEW BEST:: SOT 252897 SOS 144579 HAS SOPS 144064 HAS SOUS 37244 HAS SOUPS 36729 WITH SCORE 36873.579
AT ITER 6110 NEW BEST:: SOT 252897 SOS 147222 HAS SOPS 145735 HAS SOUS 37110 HAS SOUPS 36581 WITH SCORE 36728.222
AT ITER 6147 NEW BEST:: SOT 252897 SOS 147251 HAS SOPS 145830 HAS SOUS 37102 HAS SOUPS 36573 WITH SCORE 36720.251
AT ITER 6220 NEW BEST:: SOT 252897 SOS 147210 HAS SOPS 145789 HAS SOUS 37053 HAS SOUPS 36524 WITH SCORE 36671.21
AT ITER 6224 NEW BEST:: SOT 252897 SOS 147210 HAS SOPS 145789 HAS SOUS 37042 HAS SOUPS 36513 WITH SCORE 36660.21
AT ITER 6226 NEW BEST:: SOT 252879 SOS 147192 HAS SOPS 145771 HAS SOUS 37030 HAS SOUPS 36501 WITH SCORE 36648.192
AT ITER 6232 NEW BEST:: SOT 252879 SOS 147350 HAS SOPS 145993 HAS SOUS 37026 HAS SOUPS 36497 WITH SCORE 36644.35
AT ITER 6254 NEW BEST:: SOT 253249 SOS 147728 HAS SOPS 146371 HAS SOUS 37000 HAS SOUPS 36471 WITH SCORE 36618.728
AT ITER 6268 NEW BEST:: SOT 253249 SOS 145972 HAS SOPS 144615 HAS SOUS 37000 HAS SOUPS 36471 WITH SCORE 36616.972
AT ITER 6279 NEW BEST:: SOT 253249 SOS 145914 HAS SOPS 144557 HAS SOUS 37000 HAS SOUPS 36471 WITH SCORE 36616.914
AT ITER 6313 NEW BEST:: SOT 253241 SOS 145867 HAS SOPS 144549 HAS SOUS 36945 HAS SOUPS 36455 WITH SCORE 36600.867
AT ITER 6342 NEW BEST:: SOT 253241 SOS 145863 HAS SOPS 144554 HAS SOUS 36932 HAS SOUPS 36451 WITH SCORE 36596.863
AT ITER 6366 NEW BEST:: SOT 253241 SOS 145863 HAS SOPS 144554 HAS SOUS 36928 HAS SOUPS 36447 WITH SCORE 36592.863
AT ITER 6392 NEW BEST:: SOT 253241 SOS 146123 HAS SOPS 144814 HAS SOUS 36906 HAS SOUPS 36425 WITH SCORE 36571.123
AT ITER 6408 NEW BEST:: SOT 253227 SOS 146109 HAS SOPS 144800 HAS SOUS 36885 HAS SOUPS 36404 WITH SCORE 36550.109
AT ITER 6429 NEW BEST:: SOT 253213 SOS 146095 HAS SOPS 144786 HAS SOUS 36864 HAS SOUPS 36383 WITH SCORE 36529.095
AT ITER 6434 NEW BEST:: SOT 253213 SOS 146127 HAS SOPS 144818 HAS SOUS 36852 HAS SOUPS 36371 WITH SCORE 36517.127
AT ITER 6446 NEW BEST:: SOT 253213 SOS 145973 HAS SOPS 144664 HAS SOUS 36832 HAS SOUPS 36351 WITH SCORE 36496.973
AT ITER 6480 NEW BEST:: SOT 252955 SOS 145966 HAS SOPS 144657 HAS SOUS 36598 HAS SOUPS 36117 WITH SCORE 36262.966
AT ITER 6491 NEW BEST:: SOT 252955 SOS 145911 HAS SOPS 144602 HAS SOUS 36598 HAS SOUPS 36117 WITH SCORE 36262.911
AT ITER 6553 NEW BEST:: SOT 252951 SOS 145907 HAS SOPS 144598 HAS SOUS 36592 HAS SOUPS 36111 WITH SCORE 36256.907
AT ITER 6577 NEW BEST:: SOT 252951 SOS 145947 HAS SOPS 144638 HAS SOUS 36591 HAS SOUPS 36110 WITH SCORE 36255.947
AT ITER 6582 NEW BEST:: SOT 252951 SOS 145947 HAS SOPS 144638 HAS SOUS 36589 HAS SOUPS 36108 WITH SCORE 36253.947
AT ITER 6586 NEW BEST:: SOT 252951 SOS 145950 HAS SOPS 144641 HAS SOUS 36586 HAS SOUPS 36105 WITH SCORE 36250.95
AT ITER 6596 NEW BEST:: SOT 252951 SOS 147825 HAS SOPS 145344 HAS SOUS 36587 HAS SOUPS 36098 WITH SCORE 36245.825
AT ITER 6628 NEW BEST:: SOT 252941 SOS 147815 HAS SOPS 145334 HAS SOUS 36573 HAS SOUPS 36084 WITH SCORE 36231.815
AT ITER 6630 NEW BEST:: SOT 252939 SOS 147813 HAS SOPS 145332 HAS SOUS 36570 HAS SOUPS 36081 WITH SCORE 36228.813
AT ITER 6636 NEW BEST:: SOT 252939 SOS 144165 HAS SOPS 141485 HAS SOUS 36533 HAS SOUPS 36044 WITH SCORE 36188.165
AT ITER 6641 NEW BEST:: SOT 252939 SOS 144165 HAS SOPS 141554 HAS SOUS 36531 HAS SOUPS 36042 WITH SCORE 36186.165
AT ITER 6691 NEW BEST:: SOT 252939 SOS 144220 HAS SOPS 141609 HAS SOUS 36526 HAS SOUPS 36037 WITH SCORE 36181.22
AT ITER 6697 NEW BEST:: SOT 252764 SOS 144045 HAS SOPS 141434 HAS SOUS 36491 HAS SOUPS 36002 WITH SCORE 36146.045
AT ITER 6790 NEW BEST:: SOT 252768 SOS 144049 HAS SOPS 141438 HAS SOUS 36478 HAS SOUPS 35989 WITH SCORE 36133.049
AT ITER 6795 NEW BEST:: SOT 252768 SOS 144043 HAS SOPS 141445 HAS SOUS 36476 HAS SOUPS 35987 WITH SCORE 36131.043
AT ITER 6838 NEW BEST:: SOT 252765 SOS 144040 HAS SOPS 141442 HAS SOUS 36473 HAS SOUPS 35984 WITH SCORE 36128.04
AT ITER 6842 NEW BEST:: SOT 252763 SOS 144024 HAS SOPS 141426 HAS SOUS 36471 HAS SOUPS 35982 WITH SCORE 36126.024
AT ITER 6846 NEW BEST:: SOT 252756 SOS 144095 HAS SOPS 141500 HAS SOUS 36462 HAS SOUPS 35976 WITH SCORE 36120.095
AT ITER 6856 NEW BEST:: SOT 252756 SOS 144079 HAS SOPS 141484 HAS SOUS 36458 HAS SOUPS 35972 WITH SCORE 36116.079
AT ITER 6882 NEW BEST:: SOT 252756 SOS 144079 HAS SOPS 141484 HAS SOUS 36457 HAS SOUPS 35971 WITH SCORE 36115.079
AT ITER 6885 NEW BEST:: SOT 252729 SOS 144018 HAS SOPS 141394 HAS SOUS 36478 HAS SOUPS 35963 WITH SCORE 36107.018
AT ITER 6889 NEW BEST:: SOT 252729 SOS 144028 HAS SOPS 141404 HAS SOUS 36468 HAS SOUPS 35953 WITH SCORE 36097.028
AT ITER 6893 NEW BEST:: SOT 252729 SOS 144072 HAS SOPS 141448 HAS SOUS 36464 HAS SOUPS 35949 WITH SCORE 36093.072
AT ITER 6922 NEW BEST:: SOT 252727 SOS 144070 HAS SOPS 141446 HAS SOUS 36461 HAS SOUPS 35946 WITH SCORE 36090.07
AT ITER 6953 NEW BEST:: SOT 252727 SOS 144169 HAS SOPS 141646 HAS SOUS 36457 HAS SOUPS 35942 WITH SCORE 36086.169
AT ITER 7025 NEW BEST:: SOT 252727 SOS 144155 HAS SOPS 141716 HAS SOUS 36454 HAS SOUPS 35939 WITH SCORE 36083.155
AT ITER 7126 NEW BEST:: SOT 252727 SOS 144148 HAS SOPS 141716 HAS SOUS 36447 HAS SOUPS 35939 WITH SCORE 36083.148
AT ITER 7127 NEW BEST:: SOT 252727 SOS 144493 HAS SOPS 142061 HAS SOUS 36442 HAS SOUPS 35934 WITH SCORE 36078.493
AT ITER 7134 NEW BEST:: SOT 252727 SOS 144493 HAS SOPS 142111 HAS SOUS 36437 HAS SOUPS 35929 WITH SCORE 36073.493
AT ITER 7176 NEW BEST:: SOT 252742 SOS 144500 HAS SOPS 142126 HAS SOUS 36356 HAS SOUPS 35856 WITH SCORE 36000.5
AT ITER 7223 NEW BEST:: SOT 252742 SOS 144476 HAS SOPS 142231 HAS SOUS 36354 HAS SOUPS 35854 WITH SCORE 35998.476
AT ITER 7293 NEW BEST:: SOT 252804 SOS 144548 HAS SOPS 142186 HAS SOUS 36438 HAS SOUPS 35821 WITH SCORE 35965.548
AT ITER 7315 NEW BEST:: SOT 252804 SOS 147317 HAS SOPS 144931 HAS SOUS 36408 HAS SOUPS 35791 WITH SCORE 35938.317
AT ITER 7366 NEW BEST:: SOT 252787 SOS 147278 HAS SOPS 144892 HAS SOUS 36385 HAS SOUPS 35768 WITH SCORE 35915.278
AT ITER 7443 NEW BEST:: SOT 252787 SOS 147276 HAS SOPS 144912 HAS SOUS 36382 HAS SOUPS 35765 WITH SCORE 35912.276
AT ITER 7450 NEW BEST:: SOT 252757 SOS 147254 HAS SOPS 144890 HAS SOUS 36370 HAS SOUPS 35753 WITH SCORE 35900.254
AT ITER 7474 NEW BEST:: SOT 252757 SOS 147111 HAS SOPS 144747 HAS SOUS 36337 HAS SOUPS 35720 WITH SCORE 35867.111
AT ITER 7478 NEW BEST:: SOT 252754 SOS 147112 HAS SOPS 144744 HAS SOUS 36322 HAS SOUPS 35701 WITH SCORE 35848.112
AT ITER 7570 NEW BEST:: SOT 252754 SOS 147153 HAS SOPS 144873 HAS SOUS 36257 HAS SOUPS 35636 WITH SCORE 35783.153
AT ITER 7638 NEW BEST:: SOT 252754 SOS 147153 HAS SOPS 144873 HAS SOUS 36253 HAS SOUPS 35632 WITH SCORE 35779.153
AT ITER 7729 NEW BEST:: SOT 252754 SOS 147099 HAS SOPS 144911 HAS SOUS 36197 HAS SOUPS 35576 WITH SCORE 35723.099
AT ITER 7747 NEW BEST:: SOT 252754 SOS 146571 HAS SOPS 144361 HAS SOUS 36197 HAS SOUPS 35576 WITH SCORE 35722.571
AT ITER 7819 NEW BEST:: SOT 252781 SOS 146485 HAS SOPS 144109 HAS SOUS 36263 HAS SOUPS 35476 WITH SCORE 35622.485
AT ITER 7832 NEW BEST:: SOT 252763 SOS 146467 HAS SOPS 144091 HAS SOUS 36236 HAS SOUPS 35449 WITH SCORE 35595.467
AT ITER 7849 NEW BEST:: SOT 252776 SOS 146480 HAS SOPS 144064 HAS SOUS 36272 HAS SOUPS 35445 WITH SCORE 35591.48
AT ITER 7905 NEW BEST:: SOT 252766 SOS 146470 HAS SOPS 144054 HAS SOUS 36262 HAS SOUPS 35435 WITH SCORE 35581.47
AT ITER 7913 NEW BEST:: SOT 252766 SOS 146470 HAS SOPS 144054 HAS SOUS 36247 HAS SOUPS 35420 WITH SCORE 35566.47
AT ITER 7942 NEW BEST:: SOT 252766 SOS 146478 HAS SOPS 144218 HAS SOUS 36246 HAS SOUPS 35419 WITH SCORE 35565.478
AT ITER 7947 NEW BEST:: SOT 252766 SOS 146474 HAS SOPS 144214 HAS SOUS 36244 HAS SOUPS 35417 WITH SCORE 35563.474
AT ITER 7992 NEW BEST:: SOT 252780 SOS 146131 HAS SOPS 144083 HAS SOUS 36200 HAS SOUPS 35373 WITH SCORE 35519.131
AT ITER 7993 NEW BEST:: SOT 252780 SOS 146010 HAS SOPS 143962 HAS SOUS 36200 HAS SOUPS 35373 WITH SCORE 35519.01
AT ITER 8013 NEW BEST:: SOT 252762 SOS 145992 HAS SOPS 143944 HAS SOUS 36173 HAS SOUPS 35346 WITH SCORE 35491.992
AT ITER 8016 NEW BEST:: SOT 252762 SOS 145973 HAS SOPS 144274 HAS SOUS 36020 HAS SOUPS 35200 WITH SCORE 35345.973
AT ITER 8017 NEW BEST:: SOT 252762 SOS 145478 HAS SOPS 143779 HAS SOUS 36003 HAS SOUPS 35183 WITH SCORE 35328.478
AT ITER 8041 NEW BEST:: SOT 252762 SOS 148173 HAS SOPS 146713 HAS SOUS 35765 HAS SOUPS 34945 WITH SCORE 35093.173
AT ITER 8065 NEW BEST:: SOT 252740 SOS 148151 HAS SOPS 146691 HAS SOUS 35733 HAS SOUPS 34913 WITH SCORE 35061.151
AT ITER 8076 NEW BEST:: SOT 252740 SOS 148160 HAS SOPS 146709 HAS SOUS 35652 HAS SOUPS 34832 WITH SCORE 34980.16
AT ITER 8160 NEW BEST:: SOT 252740 SOS 147742 HAS SOPS 146170 HAS SOUS 35652 HAS SOUPS 34832 WITH SCORE 34979.742
AT ITER 8161 NEW BEST:: SOT 252740 SOS 154180 HAS SOPS 152608 HAS SOUS 35613 HAS SOUPS 34793 WITH SCORE 34947.18
AT ITER 8208 NEW BEST:: SOT 252740 SOS 154179 HAS SOPS 152607 HAS SOUS 35612 HAS SOUPS 34792 WITH SCORE 34946.179
AT ITER 8217 NEW BEST:: SOT 252740 SOS 154880 HAS SOPS 153429 HAS SOUS 35607 HAS SOUPS 34787 WITH SCORE 34941.88
AT ITER 8234 NEW BEST:: SOT 252740 SOS 154871 HAS SOPS 153466 HAS SOUS 35548 HAS SOUPS 34730 WITH SCORE 34884.871
AT ITER 8249 NEW BEST:: SOT 252740 SOS 154475 HAS SOPS 153070 HAS SOUS 35548 HAS SOUPS 34730 WITH SCORE 34884.475
AT ITER 8265 NEW BEST:: SOT 252706 SOS 154441 HAS SOPS 153046 HAS SOUS 35514 HAS SOUPS 34706 WITH SCORE 34860.441
AT ITER 8282 NEW BEST:: SOT 252706 SOS 154122 HAS SOPS 152727 HAS SOUS 35514 HAS SOUPS 34706 WITH SCORE 34860.122
AT ITER 8300 NEW BEST:: SOT 252706 SOS 154500 HAS SOPS 153105 HAS SOUS 35505 HAS SOUPS 34697 WITH SCORE 34851.5
AT ITER 8302 NEW BEST:: SOT 252706 SOS 154335 HAS SOPS 152940 HAS SOUS 35505 HAS SOUPS 34697 WITH SCORE 34851.335
AT ITER 8328 NEW BEST:: SOT 252706 SOS 155306 HAS SOPS 154445 HAS SOUS 35485 HAS SOUPS 34688 WITH SCORE 34843.306
AT ITER 8355 NEW BEST:: SOT 252706 SOS 155295 HAS SOPS 154434 HAS SOUS 35485 HAS SOUPS 34688 WITH SCORE 34843.295
AT ITER 8362 NEW BEST:: SOT 252708 SOS 155297 HAS SOPS 154436 HAS SOUS 35483 HAS SOUPS 34686 WITH SCORE 34841.297
AT ITER 8385 NEW BEST:: SOT 252708 SOS 155297 HAS SOPS 154436 HAS SOUS 35481 HAS SOUPS 34684 WITH SCORE 34839.297
AT ITER 8407 NEW BEST:: SOT 252708 SOS 155297 HAS SOPS 154436 HAS SOUS 35474 HAS SOUPS 34677 WITH SCORE 34832.297
AT ITER 8410 NEW BEST:: SOT 252608 SOS 155208 HAS SOPS 154347 HAS SOUS 35375 HAS SOUPS 34578 WITH SCORE 34733.208
AT ITER 8411 NEW BEST:: SOT 252608 SOS 154856 HAS SOPS 153995 HAS SOUS 35375 HAS SOUPS 34578 WITH SCORE 34732.856
AT ITER 8415 NEW BEST:: SOT 252458 SOS 154778 HAS SOPS 153917 HAS SOUS 35233 HAS SOUPS 34436 WITH SCORE 34590.778
AT ITER 8430 NEW BEST:: SOT 252458 SOS 154774 HAS SOPS 153913 HAS SOUS 35231 HAS SOUPS 34434 WITH SCORE 34588.774
AT ITER 8484 NEW BEST:: SOT 252458 SOS 155850 HAS SOPS 155055 HAS SOUS 35217 HAS SOUPS 34422 WITH SCORE 34577.85
AT ITER 8489 NEW BEST:: SOT 252458 SOS 155903 HAS SOPS 155108 HAS SOUS 35216 HAS SOUPS 34421 WITH SCORE 34576.903
AT ITER 8500 NEW BEST:: SOT 252458 SOS 155901 HAS SOPS 155106 HAS SOUS 35214 HAS SOUPS 34419 WITH SCORE 34574.901
AT ITER 8582 NEW BEST:: SOT 252458 SOS 155852 HAS SOPS 155057 HAS SOUS 35214 HAS SOUPS 34419 WITH SCORE 34574.852
AT ITER 8586 NEW BEST:: SOT 252458 SOS 155742 HAS SOPS 154947 HAS SOUS 35214 HAS SOUPS 34419 WITH SCORE 34574.742
AT ITER 8599 NEW BEST:: SOT 252458 SOS 156968 HAS SOPS 156173 HAS SOUS 35168 HAS SOUPS 34373 WITH SCORE 34529.968
AT ITER 8633 NEW BEST:: SOT 252458 SOS 156495 HAS SOPS 155700 HAS SOUS 35168 HAS SOUPS 34373 WITH SCORE 34529.495
AT ITER 8646 NEW BEST:: SOT 252446 SOS 156483 HAS SOPS 155688 HAS SOUS 35156 HAS SOUPS 34361 WITH SCORE 34517.483
AT ITER 8668 NEW BEST:: SOT 252446 SOS 156703 HAS SOPS 155908 HAS SOUS 35118 HAS SOUPS 34323 WITH SCORE 34479.703
AT ITER 8689 NEW BEST:: SOT 252446 SOS 155625 HAS SOPS 154830 HAS SOUS 35118 HAS SOUPS 34323 WITH SCORE 34478.625
AT ITER 8691 NEW BEST:: SOT 252446 SOS 155559 HAS SOPS 154764 HAS SOUS 35118 HAS SOUPS 34323 WITH SCORE 34478.559
AT ITER 8714 NEW BEST:: SOT 252446 SOS 155372 HAS SOPS 154577 HAS SOUS 35112 HAS SOUPS 34317 WITH SCORE 34472.372
AT ITER 8759 NEW BEST:: SOT 252446 SOS 160986 HAS SOPS 160191 HAS SOUS 35095 HAS SOUPS 34300 WITH SCORE 34460.986
AT ITER 8787 NEW BEST:: SOT 252446 SOS 160513 HAS SOPS 159718 HAS SOUS 35095 HAS SOUPS 34300 WITH SCORE 34460.513
AT ITER 8793 NEW BEST:: SOT 252446 SOS 160436 HAS SOPS 159641 HAS SOUS 35095 HAS SOUPS 34300 WITH SCORE 34460.436
AT ITER 8808 NEW BEST:: SOT 252446 SOS 165351 HAS SOPS 164556 HAS SOUS 35089 HAS SOUPS 34294 WITH SCORE 34459.351
AT ITER 8850 NEW BEST:: SOT 252446 SOS 164959 HAS SOPS 164164 HAS SOUS 35085 HAS SOUPS 34290 WITH SCORE 34454.959
AT ITER 8866 NEW BEST:: SOT 252446 SOS 163794 HAS SOPS 162999 HAS SOUS 35085 HAS SOUPS 34290 WITH SCORE 34453.794
AT ITER 8876 NEW BEST:: SOT 252442 SOS 163790 HAS SOPS 162995 HAS SOUS 35085 HAS SOUPS 34290 WITH SCORE 34453.79
AT ITER 8941 NEW BEST:: SOT 252443 SOS 163791 HAS SOPS 162996 HAS SOUS 35084 HAS SOUPS 34289 WITH SCORE 34452.791
AT ITER 9004 NEW BEST:: SOT 252443 SOS 163505 HAS SOPS 162710 HAS SOUS 35084 HAS SOUPS 34289 WITH SCORE 34452.505
AT ITER 9016 NEW BEST:: SOT 252443 SOS 165514 HAS SOPS 164719 HAS SOUS 35060 HAS SOUPS 34265 WITH SCORE 34430.514
AT ITER 9019 NEW BEST:: SOT 252413 SOS 165473 HAS SOPS 164678 HAS SOUS 35019 HAS SOUPS 34224 WITH SCORE 34389.473
AT ITER 9095 NEW BEST:: SOT 252413 SOS 165363 HAS SOPS 164568 HAS SOUS 35019 HAS SOUPS 34224 WITH SCORE 34389.363
AT ITER 9097 NEW BEST:: SOT 252413 SOS 165313 HAS SOPS 164518 HAS SOUS 34969 HAS SOUPS 34174 WITH SCORE 34339.313
AT ITER 9117 NEW BEST:: SOT 252394 SOS 165298 HAS SOPS 164503 HAS SOUS 34952 HAS SOUPS 34157 WITH SCORE 34322.298
AT ITER 9209 NEW BEST:: SOT 252394 SOS 165353 HAS SOPS 164558 HAS SOUS 34900 HAS SOUPS 34105 WITH SCORE 34270.353
AT ITER 9213 NEW BEST:: SOT 252390 SOS 165339 HAS SOPS 164554 HAS SOUS 34876 HAS SOUPS 34091 WITH SCORE 34256.339
AT ITER 9240 NEW BEST:: SOT 252390 SOS 165251 HAS SOPS 164466 HAS SOUS 34876 HAS SOUPS 34091 WITH SCORE 34256.251
AT ITER 9270 NEW BEST:: SOT 252390 SOS 165251 HAS SOPS 164466 HAS SOUS 34868 HAS SOUPS 34083 WITH SCORE 34248.251
AT ITER 9274 NEW BEST:: SOT 252163 SOS 165258 HAS SOPS 164473 HAS SOUS 34667 HAS SOUPS 33882 WITH SCORE 34047.258
AT ITER 9282 NEW BEST:: SOT 252163 SOS 165252 HAS SOPS 164473 HAS SOUS 34656 HAS SOUPS 33877 WITH SCORE 34042.252
AT ITER 9290 NEW BEST:: SOT 252163 SOS 167553 HAS SOPS 166774 HAS SOUS 34640 HAS SOUPS 33861 WITH SCORE 34028.553
AT ITER 9400 NEW BEST:: SOT 252163 SOS 165566 HAS SOPS 164787 HAS SOUS 34640 HAS SOUPS 33861 WITH SCORE 34026.566
AT ITER 9406 NEW BEST:: SOT 252073 SOS 165476 HAS SOPS 164697 HAS SOUS 34604 HAS SOUPS 33825 WITH SCORE 33990.476
AT ITER 9417 NEW BEST:: SOT 252045 SOS 165445 HAS SOPS 164666 HAS SOUS 34603 HAS SOUPS 33824 WITH SCORE 33989.445
AT ITER 9437 NEW BEST:: SOT 252045 SOS 165349 HAS SOPS 164570 HAS SOUS 34532 HAS SOUPS 33753 WITH SCORE 33918.349
AT ITER 9445 NEW BEST:: SOT 252018 SOS 165322 HAS SOPS 164543 HAS SOUS 34521 HAS SOUPS 33742 WITH SCORE 33907.322
AT ITER 9460 NEW BEST:: SOT 252019 SOS 165322 HAS SOPS 164544 HAS SOUS 34510 HAS SOUPS 33732 WITH SCORE 33897.322
AT ITER 9467 NEW BEST:: SOT 252019 SOS 165322 HAS SOPS 164544 HAS SOUS 34508 HAS SOUPS 33730 WITH SCORE 33895.322
AT ITER 9489 NEW BEST:: SOT 251980 SOS 165283 HAS SOPS 164505 HAS SOUS 34491 HAS SOUPS 33713 WITH SCORE 33878.283
AT ITER 9496 NEW BEST:: SOT 251986 SOS 165289 HAS SOPS 164511 HAS SOUS 34484 HAS SOUPS 33706 WITH SCORE 33871.289
AT ITER 9506 NEW BEST:: SOT 251986 SOS 166590 HAS SOPS 165812 HAS SOUS 34473 HAS SOUPS 33695 WITH SCORE 33861.59
AT ITER 9513 NEW BEST:: SOT 251971 SOS 166533 HAS SOPS 165755 HAS SOUS 34465 HAS SOUPS 33687 WITH SCORE 33853.533
AT ITER 9582 NEW BEST:: SOT 251971 SOS 166533 HAS SOPS 165755 HAS SOUS 34462 HAS SOUPS 33684 WITH SCORE 33850.533
AT ITER 9594 NEW BEST:: SOT 251971 SOS 167305 HAS SOPS 166527 HAS SOUS 34451 HAS SOUPS 33673 WITH SCORE 33840.305
AT ITER 9599 NEW BEST:: SOT 251976 SOS 167284 HAS SOPS 166545 HAS SOUS 34409 HAS SOUPS 33670 WITH SCORE 33837.284
AT ITER 9610 NEW BEST:: SOT 251976 SOS 167285 HAS SOPS 166546 HAS SOUS 34390 HAS SOUPS 33651 WITH SCORE 33818.285
AT ITER 9672 NEW BEST:: SOT 251974 SOS 167283 HAS SOPS 166544 HAS SOUS 34387 HAS SOUPS 33648 WITH SCORE 33815.283
AT ITER 9675 NEW BEST:: SOT 251902 SOS 167203 HAS SOPS 166464 HAS SOUS 34317 HAS SOUPS 33578 WITH SCORE 33745.203
AT ITER 9693 NEW BEST:: SOT 251902 SOS 167137 HAS SOPS 166398 HAS SOUS 34317 HAS SOUPS 33578 WITH SCORE 33745.137
AT ITER 9712 NEW BEST:: SOT 251902 SOS 168730 HAS SOPS 167991 HAS SOUS 34310 HAS SOUPS 33571 WITH SCORE 33739.73
AT ITER 9817 NEW BEST:: SOT 251902 SOS 168730 HAS SOPS 167991 HAS SOUS 34294 HAS SOUPS 33555 WITH SCORE 33723.73
AT ITER 9846 NEW BEST:: SOT 251897 SOS 168725 HAS SOPS 167986 HAS SOUS 34293 HAS SOUPS 33554 WITH SCORE 33722.725
AT ITER 9855 NEW BEST:: SOT 251897 SOS 168837 HAS SOPS 168098 HAS SOUS 34225 HAS SOUPS 33486 WITH SCORE 33654.837
AT ITER 9856 NEW BEST:: SOT 251899 SOS 168839 HAS SOPS 168100 HAS SOUS 34223 HAS SOUPS 33484 WITH SCORE 33652.839
AT ITER 9872 NEW BEST:: SOT 251899 SOS 168839 HAS SOPS 168100 HAS SOUS 34221 HAS SOUPS 33482 WITH SCORE 33650.839
AT ITER 9892 NEW BEST:: SOT 251904 SOS 168834 HAS SOPS 168095 HAS SOUS 34216 HAS SOUPS 33477 WITH SCORE 33645.834
AT ITER 9930 NEW BEST:: SOT 251904 SOS 168790 HAS SOPS 168051 HAS SOUS 34216 HAS SOUPS 33477 WITH SCORE 33645.79
AT ITER 9947 NEW BEST:: SOT 251904 SOS 170893 HAS SOPS 170154 HAS SOUS 34195 HAS SOUPS 33456 WITH SCORE 33626.893
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 2334364 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16132588 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="SafeBus-COL-10"
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 SafeBus-COL-10, 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 r355-smll-167891803100224"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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