Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r138-smll-158961502600256.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Raft-PT-06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502600256
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 260K
-rw-r--r-- 1 mcc users 2.8K Apr 12 08:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 12 08:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 11 09:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 22K Apr 11 09:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K Apr 10 14:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 14:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 9 21:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 9 21:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 89K Mar 24 05:38 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 1589800158781

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Raft (PT), instance 06
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 188 places, 332 transitions, 1231 arcs.
AT ITER 0 NEW BEST:: SOT 54322 SOS 35622 HAS SOPS 35598 HAS SOUS 28141 HAS SOUPS 28135 WITH SCORE 28170.622
AT ITER 3 NEW BEST:: SOT 54238 SOS 35537 HAS SOPS 35501 HAS SOUS 28055 HAS SOUPS 28038 WITH SCORE 28073.537
AT ITER 4 NEW BEST:: SOT 54006 SOS 35239 HAS SOPS 35156 HAS SOUS 27744 HAS SOUPS 27693 WITH SCORE 27728.239
AT ITER 6 NEW BEST:: SOT 53802 SOS 35004 HAS SOPS 34894 HAS SOUS 27462 HAS SOUPS 27408 WITH SCORE 27443.004
AT ITER 7 NEW BEST:: SOT 53802 SOS 35004 HAS SOPS 34894 HAS SOUS 27440 HAS SOUPS 27386 WITH SCORE 27421.004
AT ITER 12 NEW BEST:: SOT 53649 SOS 34804 HAS SOPS 34686 HAS SOUS 27142 HAS SOUPS 27081 WITH SCORE 27115.804
AT ITER 14 NEW BEST:: SOT 53695 SOS 34642 HAS SOPS 34338 HAS SOUS 27161 HAS SOUPS 26914 WITH SCORE 26948.642
AT ITER 15 NEW BEST:: SOT 52201 SOS 33937 HAS SOPS 32763 HAS SOUS 26494 HAS SOUPS 26116 WITH SCORE 26149.937
AT ITER 16 NEW BEST:: SOT 52201 SOS 34028 HAS SOPS 32763 HAS SOUS 26483 HAS SOUPS 26105 WITH SCORE 26139.028
AT ITER 18 NEW BEST:: SOT 52089 SOS 33907 HAS SOPS 32627 HAS SOUS 26323 HAS SOUPS 25945 WITH SCORE 25978.907
AT ITER 20 NEW BEST:: SOT 51786 SOS 33535 HAS SOPS 32258 HAS SOUS 26026 HAS SOUPS 25648 WITH SCORE 25681.535
AT ITER 21 NEW BEST:: SOT 51777 SOS 33429 HAS SOPS 32152 HAS SOUS 26017 HAS SOUPS 25639 WITH SCORE 25672.429
AT ITER 23 NEW BEST:: SOT 51761 SOS 33410 HAS SOPS 32120 HAS SOUS 26021 HAS SOUPS 25607 WITH SCORE 25640.41
AT ITER 28 NEW BEST:: SOT 51761 SOS 33406 HAS SOPS 32116 HAS SOUS 26021 HAS SOUPS 25607 WITH SCORE 25640.406
AT ITER 29 NEW BEST:: SOT 51667 SOS 33344 HAS SOPS 32054 HAS SOUS 25866 HAS SOUPS 25452 WITH SCORE 25485.344
AT ITER 34 NEW BEST:: SOT 51309 SOS 32976 HAS SOPS 31679 HAS SOUS 25446 HAS SOUPS 25016 WITH SCORE 25048.976
AT ITER 36 NEW BEST:: SOT 51177 SOS 32825 HAS SOPS 31471 HAS SOUS 25248 HAS SOUPS 24808 WITH SCORE 24840.825
AT ITER 38 NEW BEST:: SOT 51077 SOS 32755 HAS SOPS 31388 HAS SOUS 25212 HAS SOUPS 24760 WITH SCORE 24792.755
AT ITER 39 NEW BEST:: SOT 50935 SOS 32619 HAS SOPS 31231 HAS SOUS 25058 HAS SOUPS 24606 WITH SCORE 24638.619
AT ITER 43 NEW BEST:: SOT 50889 SOS 32527 HAS SOPS 31129 HAS SOUS 24953 HAS SOUPS 24501 WITH SCORE 24533.527
AT ITER 44 NEW BEST:: SOT 50659 SOS 32336 HAS SOPS 30917 HAS SOUS 24777 HAS SOUPS 24316 WITH SCORE 24348.336
AT ITER 45 NEW BEST:: SOT 50659 SOS 32057 HAS SOPS 30638 HAS SOUS 24777 HAS SOUPS 24316 WITH SCORE 24348.057
AT ITER 46 NEW BEST:: SOT 50659 SOS 32046 HAS SOPS 30627 HAS SOUS 24766 HAS SOUPS 24305 WITH SCORE 24337.046
AT ITER 48 NEW BEST:: SOT 50659 SOS 32046 HAS SOPS 30627 HAS SOUS 24741 HAS SOUPS 24280 WITH SCORE 24312.046
AT ITER 52 NEW BEST:: SOT 50659 SOS 32037 HAS SOPS 30627 HAS SOUS 24741 HAS SOUPS 24280 WITH SCORE 24312.037
AT ITER 53 NEW BEST:: SOT 50659 SOS 32010 HAS SOPS 30598 HAS SOUS 24719 HAS SOUPS 24258 WITH SCORE 24290.01
AT ITER 57 NEW BEST:: SOT 50659 SOS 31972 HAS SOPS 30560 HAS SOUS 24680 HAS SOUPS 24219 WITH SCORE 24250.972
AT ITER 60 NEW BEST:: SOT 50476 SOS 31789 HAS SOPS 30438 HAS SOUS 24497 HAS SOUPS 24036 WITH SCORE 24067.789
AT ITER 62 NEW BEST:: SOT 50470 SOS 31783 HAS SOPS 30432 HAS SOUS 24491 HAS SOUPS 24030 WITH SCORE 24061.783
AT ITER 63 NEW BEST:: SOT 48959 SOS 32399 HAS SOPS 29239 HAS SOUS 23616 HAS SOUPS 23049 WITH SCORE 23081.399
AT ITER 67 NEW BEST:: SOT 48959 SOS 32380 HAS SOPS 29220 HAS SOUS 23616 HAS SOUPS 23049 WITH SCORE 23081.38
AT ITER 73 NEW BEST:: SOT 48879 SOS 32259 HAS SOPS 29090 HAS SOUS 23461 HAS SOUPS 22894 WITH SCORE 22926.259
AT ITER 76 NEW BEST:: SOT 48877 SOS 32247 HAS SOPS 29086 HAS SOUS 23457 HAS SOUPS 22890 WITH SCORE 22922.247
AT ITER 77 NEW BEST:: SOT 48587 SOS 31908 HAS SOPS 28895 HAS SOUS 23177 HAS SOUPS 22610 WITH SCORE 22641.908
AT ITER 79 NEW BEST:: SOT 48350 SOS 31709 HAS SOPS 28768 HAS SOUS 23006 HAS SOUPS 22442 WITH SCORE 22473.709
AT ITER 80 NEW BEST:: SOT 48350 SOS 31709 HAS SOPS 28756 HAS SOUS 23000 HAS SOUPS 22436 WITH SCORE 22467.709
AT ITER 81 NEW BEST:: SOT 47476 SOS 30835 HAS SOPS 27882 HAS SOUS 22178 HAS SOUPS 21614 WITH SCORE 21644.835
AT ITER 82 NEW BEST:: SOT 47468 SOS 30826 HAS SOPS 27873 HAS SOUS 22168 HAS SOUPS 21604 WITH SCORE 21634.826
AT ITER 83 NEW BEST:: SOT 47468 SOS 30820 HAS SOPS 27867 HAS SOUS 22168 HAS SOUPS 21604 WITH SCORE 21634.82
AT ITER 84 NEW BEST:: SOT 47272 SOS 30819 HAS SOPS 27751 HAS SOUS 22145 HAS SOUPS 21581 WITH SCORE 21611.819
AT ITER 85 NEW BEST:: SOT 47272 SOS 30814 HAS SOPS 27746 HAS SOUS 22110 HAS SOUPS 21546 WITH SCORE 21576.814
AT ITER 93 NEW BEST:: SOT 47152 SOS 30656 HAS SOPS 27577 HAS SOUS 21954 HAS SOUPS 21390 WITH SCORE 21420.656
AT ITER 94 NEW BEST:: SOT 46945 SOS 30794 HAS SOPS 27706 HAS SOUS 21842 HAS SOUPS 21278 WITH SCORE 21308.794
AT ITER 98 NEW BEST:: SOT 46713 SOS 30760 HAS SOPS 27709 HAS SOUS 21839 HAS SOUPS 21275 WITH SCORE 21305.76
AT ITER 100 NEW BEST:: SOT 46713 SOS 30803 HAS SOPS 27634 HAS SOUS 21764 HAS SOUPS 21200 WITH SCORE 21230.803
AT ITER 107 NEW BEST:: SOT 46713 SOS 30754 HAS SOPS 27641 HAS SOUS 21746 HAS SOUPS 21182 WITH SCORE 21212.754
AT ITER 109 NEW BEST:: SOT 44747 SOS 29541 HAS SOPS 25987 HAS SOUS 20404 HAS SOUPS 19762 WITH SCORE 19791.541
AT ITER 112 NEW BEST:: SOT 44743 SOS 29535 HAS SOPS 25979 HAS SOUS 20396 HAS SOUPS 19754 WITH SCORE 19783.535
AT ITER 113 NEW BEST:: SOT 44735 SOS 29527 HAS SOPS 25967 HAS SOUS 20388 HAS SOUPS 19742 WITH SCORE 19771.527
AT ITER 116 NEW BEST:: SOT 44644 SOS 29398 HAS SOPS 25723 HAS SOUS 20154 HAS SOUPS 19508 WITH SCORE 19537.398
AT ITER 118 NEW BEST:: SOT 44616 SOS 29242 HAS SOPS 25619 HAS SOUS 20111 HAS SOUPS 19465 WITH SCORE 19494.242
AT ITER 120 NEW BEST:: SOT 44464 SOS 29090 HAS SOPS 25467 HAS SOUS 19959 HAS SOUPS 19313 WITH SCORE 19342.09
AT ITER 122 NEW BEST:: SOT 44244 SOS 28966 HAS SOPS 25441 HAS SOUS 19842 HAS SOUPS 19206 WITH SCORE 19234.966
AT ITER 125 NEW BEST:: SOT 43242 SOS 28448 HAS SOPS 24460 HAS SOUS 19123 HAS SOUPS 18433 WITH SCORE 18461.448
AT ITER 128 NEW BEST:: SOT 42837 SOS 28050 HAS SOPS 24099 HAS SOUS 18744 HAS SOUPS 18054 WITH SCORE 18082.05
AT ITER 135 NEW BEST:: SOT 42837 SOS 28045 HAS SOPS 24094 HAS SOUS 18744 HAS SOUPS 18054 WITH SCORE 18082.045
AT ITER 139 NEW BEST:: SOT 42773 SOS 27959 HAS SOPS 23987 HAS SOUS 18637 HAS SOUPS 17947 WITH SCORE 17974.959
AT ITER 142 NEW BEST:: SOT 42259 SOS 27961 HAS SOPS 23842 HAS SOUS 18611 HAS SOUPS 17867 WITH SCORE 17894.961
AT ITER 146 NEW BEST:: SOT 42242 SOS 27899 HAS SOPS 23780 HAS SOUS 18557 HAS SOUPS 17813 WITH SCORE 17840.899
AT ITER 147 NEW BEST:: SOT 42041 SOS 27698 HAS SOPS 23742 HAS SOUS 18497 HAS SOUPS 17753 WITH SCORE 17780.698
AT ITER 148 NEW BEST:: SOT 42041 SOS 27724 HAS SOPS 23716 HAS SOUS 18474 HAS SOUPS 17730 WITH SCORE 17757.724
AT ITER 150 NEW BEST:: SOT 41785 SOS 27458 HAS SOPS 23709 HAS SOUS 18371 HAS SOUPS 17627 WITH SCORE 17654.458
AT ITER 155 NEW BEST:: SOT 41840 SOS 26934 HAS SOPS 23302 HAS SOUS 18292 HAS SOUPS 17576 WITH SCORE 17602.934
AT ITER 157 NEW BEST:: SOT 41773 SOS 26813 HAS SOPS 23184 HAS SOUS 18174 HAS SOUPS 17458 WITH SCORE 17484.813
AT ITER 159 NEW BEST:: SOT 41755 SOS 26767 HAS SOPS 23075 HAS SOUS 18070 HAS SOUPS 17354 WITH SCORE 17380.767
AT ITER 162 NEW BEST:: SOT 41755 SOS 26633 HAS SOPS 22960 HAS SOUS 18070 HAS SOUPS 17354 WITH SCORE 17380.633
AT ITER 166 NEW BEST:: SOT 41725 SOS 26603 HAS SOPS 22903 HAS SOUS 18025 HAS SOUPS 17309 WITH SCORE 17335.603
AT ITER 167 NEW BEST:: SOT 41692 SOS 26565 HAS SOPS 22804 HAS SOUS 17942 HAS SOUPS 17226 WITH SCORE 17252.565
AT ITER 171 NEW BEST:: SOT 41548 SOS 26421 HAS SOPS 22696 HAS SOUS 17798 HAS SOUPS 17082 WITH SCORE 17108.421
AT ITER 172 NEW BEST:: SOT 41530 SOS 26408 HAS SOPS 22671 HAS SOUS 17773 HAS SOUPS 17057 WITH SCORE 17083.408
AT ITER 173 NEW BEST:: SOT 41530 SOS 26270 HAS SOPS 22537 HAS SOUS 17743 HAS SOUPS 17031 WITH SCORE 17057.27
AT ITER 178 NEW BEST:: SOT 41223 SOS 26090 HAS SOPS 22369 HAS SOUS 17505 HAS SOUPS 16793 WITH SCORE 16819.09
AT ITER 183 NEW BEST:: SOT 40918 SOS 25749 HAS SOPS 22117 HAS SOUS 17234 HAS SOUPS 16542 WITH SCORE 16567.749
AT ITER 188 NEW BEST:: SOT 40786 SOS 25637 HAS SOPS 22048 HAS SOUS 17115 HAS SOUPS 16454 WITH SCORE 16479.637
AT ITER 190 NEW BEST:: SOT 40751 SOS 25573 HAS SOPS 22033 HAS SOUS 17100 HAS SOUPS 16439 WITH SCORE 16464.573
AT ITER 192 NEW BEST:: SOT 40707 SOS 25543 HAS SOPS 22087 HAS SOUS 17056 HAS SOUPS 16423 WITH SCORE 16448.543
AT ITER 193 NEW BEST:: SOT 40642 SOS 25465 HAS SOPS 21995 HAS SOUS 16951 HAS SOUPS 16318 WITH SCORE 16343.465
AT ITER 194 NEW BEST:: SOT 40572 SOS 25395 HAS SOPS 21890 HAS SOUS 16824 HAS SOUPS 16187 WITH SCORE 16212.395
AT ITER 195 NEW BEST:: SOT 40572 SOS 25395 HAS SOPS 21890 HAS SOUS 16820 HAS SOUPS 16183 WITH SCORE 16208.395
AT ITER 196 NEW BEST:: SOT 40530 SOS 25353 HAS SOPS 21848 HAS SOUS 16771 HAS SOUPS 16134 WITH SCORE 16159.353
AT ITER 202 NEW BEST:: SOT 40498 SOS 25321 HAS SOPS 21800 HAS SOUS 16726 HAS SOUPS 16089 WITH SCORE 16114.321
AT ITER 206 NEW BEST:: SOT 40428 SOS 25265 HAS SOPS 21758 HAS SOUS 16664 HAS SOUPS 16027 WITH SCORE 16052.265
AT ITER 214 NEW BEST:: SOT 40408 SOS 25245 HAS SOPS 21743 HAS SOUS 16644 HAS SOUPS 16007 WITH SCORE 16032.245
AT ITER 215 NEW BEST:: SOT 39553 SOS 25734 HAS SOPS 21071 HAS SOUS 16155 HAS SOUPS 15457 WITH SCORE 15482.734
AT ITER 219 NEW BEST:: SOT 39553 SOS 25706 HAS SOPS 21043 HAS SOUS 16128 HAS SOUPS 15430 WITH SCORE 15455.706
AT ITER 223 NEW BEST:: SOT 39621 SOS 25462 HAS SOPS 20823 HAS SOUS 16045 HAS SOUPS 15371 WITH SCORE 15396.462
AT ITER 226 NEW BEST:: SOT 39561 SOS 25402 HAS SOPS 20703 HAS SOUS 15967 HAS SOUPS 15281 WITH SCORE 15306.402
AT ITER 228 NEW BEST:: SOT 39519 SOS 25275 HAS SOPS 20584 HAS SOUS 15896 HAS SOUPS 15210 WITH SCORE 15235.275
AT ITER 232 NEW BEST:: SOT 39517 SOS 25269 HAS SOPS 20576 HAS SOUS 15896 HAS SOUPS 15208 WITH SCORE 15233.269
AT ITER 235 NEW BEST:: SOT 39255 SOS 25007 HAS SOPS 20369 HAS SOUS 15680 HAS SOUPS 14992 WITH SCORE 15017.007
AT ITER 236 NEW BEST:: SOT 39249 SOS 25001 HAS SOPS 20360 HAS SOUS 15680 HAS SOUPS 14992 WITH SCORE 15017.001
AT ITER 238 NEW BEST:: SOT 39245 SOS 24997 HAS SOPS 20355 HAS SOUS 15677 HAS SOUPS 14989 WITH SCORE 15013.997
AT ITER 239 NEW BEST:: SOT 39130 SOS 24841 HAS SOPS 20200 HAS SOUS 15385 HAS SOUPS 14697 WITH SCORE 14721.841
AT ITER 242 NEW BEST:: SOT 39130 SOS 24841 HAS SOPS 20200 HAS SOUS 15382 HAS SOUPS 14694 WITH SCORE 14718.841
AT ITER 247 NEW BEST:: SOT 39069 SOS 24741 HAS SOPS 20100 HAS SOUS 15316 HAS SOUPS 14628 WITH SCORE 14652.741
AT ITER 248 NEW BEST:: SOT 39023 SOS 24721 HAS SOPS 20031 HAS SOUS 15267 HAS SOUPS 14579 WITH SCORE 14603.721
AT ITER 256 NEW BEST:: SOT 38682 SOS 24447 HAS SOPS 19778 HAS SOUS 14984 HAS SOUPS 14296 WITH SCORE 14320.447
AT ITER 262 NEW BEST:: SOT 38337 SOS 24235 HAS SOPS 19493 HAS SOUS 14727 HAS SOUPS 14026 WITH SCORE 14050.235
AT ITER 264 NEW BEST:: SOT 38337 SOS 24235 HAS SOPS 19493 HAS SOUS 14716 HAS SOUPS 14015 WITH SCORE 14039.235
AT ITER 267 NEW BEST:: SOT 38468 SOS 24163 HAS SOPS 18885 HAS SOUS 14756 HAS SOUPS 13491 WITH SCORE 13515.163
AT ITER 273 NEW BEST:: SOT 38475 SOS 24138 HAS SOPS 18828 HAS SOUS 14750 HAS SOUPS 13485 WITH SCORE 13509.138
AT ITER 275 NEW BEST:: SOT 38860 SOS 24362 HAS SOPS 18420 HAS SOUS 15013 HAS SOUPS 13060 WITH SCORE 13084.362
AT ITER 277 NEW BEST:: SOT 38748 SOS 24250 HAS SOPS 18330 HAS SOUS 14901 HAS SOUPS 12948 WITH SCORE 12972.25
AT ITER 282 NEW BEST:: SOT 38622 SOS 24124 HAS SOPS 18212 HAS SOUS 14772 HAS SOUPS 12826 WITH SCORE 12850.124
AT ITER 291 NEW BEST:: SOT 38616 SOS 24118 HAS SOPS 18210 HAS SOUS 14772 HAS SOUPS 12826 WITH SCORE 12850.118
AT ITER 299 NEW BEST:: SOT 38691 SOS 23969 HAS SOPS 18135 HAS SOUS 14731 HAS SOUPS 12785 WITH SCORE 12808.969
AT ITER 301 NEW BEST:: SOT 38689 SOS 23967 HAS SOPS 18136 HAS SOUS 14731 HAS SOUPS 12785 WITH SCORE 12808.967
AT ITER 305 NEW BEST:: SOT 38689 SOS 23919 HAS SOPS 18076 HAS SOUS 14743 HAS SOUPS 12785 WITH SCORE 12808.919
AT ITER 309 NEW BEST:: SOT 38641 SOS 23824 HAS SOPS 17986 HAS SOUS 14558 HAS SOUPS 12600 WITH SCORE 12623.824
AT ITER 314 NEW BEST:: SOT 38632 SOS 23837 HAS SOPS 17976 HAS SOUS 14557 HAS SOUPS 12598 WITH SCORE 12621.837
AT ITER 319 NEW BEST:: SOT 38624 SOS 23829 HAS SOPS 17964 HAS SOUS 14543 HAS SOUPS 12584 WITH SCORE 12607.829
AT ITER 320 NEW BEST:: SOT 38273 SOS 24559 HAS SOPS 18017 HAS SOUS 14540 HAS SOUPS 12542 WITH SCORE 12566.559
AT ITER 321 NEW BEST:: SOT 38265 SOS 24555 HAS SOPS 18017 HAS SOUS 14536 HAS SOUPS 12538 WITH SCORE 12562.555
AT ITER 325 NEW BEST:: SOT 38265 SOS 24416 HAS SOPS 17856 HAS SOUS 14525 HAS SOUPS 12527 WITH SCORE 12551.416
AT ITER 328 NEW BEST:: SOT 38263 SOS 24310 HAS SOPS 17784 HAS SOUS 14487 HAS SOUPS 12521 WITH SCORE 12545.31
AT ITER 332 NEW BEST:: SOT 38239 SOS 24286 HAS SOPS 17769 HAS SOUS 14482 HAS SOUPS 12516 WITH SCORE 12540.286
AT ITER 334 NEW BEST:: SOT 38203 SOS 24250 HAS SOPS 17715 HAS SOUS 14463 HAS SOUPS 12497 WITH SCORE 12521.25
AT ITER 335 NEW BEST:: SOT 38164 SOS 24212 HAS SOPS 17682 HAS SOUS 14419 HAS SOUPS 12456 WITH SCORE 12480.212
AT ITER 342 NEW BEST:: SOT 38164 SOS 24212 HAS SOPS 17682 HAS SOUS 14411 HAS SOUPS 12448 WITH SCORE 12472.212
AT ITER 351 NEW BEST:: SOT 38143 SOS 24191 HAS SOPS 17638 HAS SOUS 14384 HAS SOUPS 12421 WITH SCORE 12445.191
AT ITER 360 NEW BEST:: SOT 38111 SOS 24166 HAS SOPS 17606 HAS SOUS 14359 HAS SOUPS 12389 WITH SCORE 12413.166
AT ITER 362 NEW BEST:: SOT 38124 SOS 24195 HAS SOPS 17635 HAS SOUS 14352 HAS SOUPS 12382 WITH SCORE 12406.195
AT ITER 369 NEW BEST:: SOT 38124 SOS 24117 HAS SOPS 17598 HAS SOUS 14352 HAS SOUPS 12382 WITH SCORE 12406.117
AT ITER 371 NEW BEST:: SOT 38124 SOS 24068 HAS SOPS 17624 HAS SOUS 14342 HAS SOUPS 12372 WITH SCORE 12396.068
AT ITER 373 NEW BEST:: SOT 38113 SOS 24057 HAS SOPS 17596 HAS SOUS 14337 HAS SOUPS 12367 WITH SCORE 12391.057
AT ITER 374 NEW BEST:: SOT 38033 SOS 23977 HAS SOPS 17452 HAS SOUS 14221 HAS SOUPS 12251 WITH SCORE 12274.977
AT ITER 384 NEW BEST:: SOT 38033 SOS 23977 HAS SOPS 17452 HAS SOUS 14214 HAS SOUPS 12244 WITH SCORE 12267.977
AT ITER 386 NEW BEST:: SOT 38022 SOS 23966 HAS SOPS 17423 HAS SOUS 14185 HAS SOUPS 12215 WITH SCORE 12238.966
AT ITER 387 NEW BEST:: SOT 38022 SOS 23707 HAS SOPS 17201 HAS SOUS 14185 HAS SOUPS 12215 WITH SCORE 12238.707
AT ITER 389 NEW BEST:: SOT 37986 SOS 23671 HAS SOPS 17201 HAS SOUS 14177 HAS SOUPS 12215 WITH SCORE 12238.671
AT ITER 396 NEW BEST:: SOT 37699 SOS 25106 HAS SOPS 17487 HAS SOUS 14205 HAS SOUPS 12195 WITH SCORE 12220.106
AT ITER 397 NEW BEST:: SOT 37655 SOS 25062 HAS SOPS 17421 HAS SOUS 14136 HAS SOUPS 12126 WITH SCORE 12151.062
AT ITER 404 NEW BEST:: SOT 37687 SOS 24984 HAS SOPS 17153 HAS SOUS 14077 HAS SOUPS 12078 WITH SCORE 12102.984
AT ITER 418 NEW BEST:: SOT 37684 SOS 24992 HAS SOPS 17158 HAS SOUS 14072 HAS SOUPS 12073 WITH SCORE 12097.992
AT ITER 421 NEW BEST:: SOT 37644 SOS 24933 HAS SOPS 17080 HAS SOUS 14011 HAS SOUPS 12012 WITH SCORE 12036.933
AT ITER 422 NEW BEST:: SOT 37624 SOS 24805 HAS SOPS 16800 HAS SOUS 13903 HAS SOUPS 11904 WITH SCORE 11928.805
AT ITER 429 NEW BEST:: SOT 37621 SOS 24784 HAS SOPS 16779 HAS SOUS 13903 HAS SOUPS 11904 WITH SCORE 11928.784
AT ITER 431 NEW BEST:: SOT 37571 SOS 24744 HAS SOPS 16717 HAS SOUS 13768 HAS SOUPS 11769 WITH SCORE 11793.744
AT ITER 433 NEW BEST:: SOT 37496 SOS 24669 HAS SOPS 16657 HAS SOUS 13693 HAS SOUPS 11694 WITH SCORE 11718.669
AT ITER 435 NEW BEST:: SOT 37485 SOS 24658 HAS SOPS 16646 HAS SOUS 13671 HAS SOUPS 11672 WITH SCORE 11696.658
AT ITER 440 NEW BEST:: SOT 37475 SOS 24648 HAS SOPS 16651 HAS SOUS 13661 HAS SOUPS 11667 WITH SCORE 11691.648
AT ITER 444 NEW BEST:: SOT 37425 SOS 24735 HAS SOPS 16621 HAS SOUS 13639 HAS SOUPS 11640 WITH SCORE 11664.735
AT ITER 447 NEW BEST:: SOT 37363 SOS 24680 HAS SOPS 16514 HAS SOUS 13484 HAS SOUPS 11485 WITH SCORE 11509.68
AT ITER 467 NEW BEST:: SOT 37371 SOS 24607 HAS SOPS 16460 HAS SOUS 13443 HAS SOUPS 11444 WITH SCORE 11468.607
AT ITER 473 NEW BEST:: SOT 37367 SOS 24603 HAS SOPS 16456 HAS SOUS 13439 HAS SOUPS 11440 WITH SCORE 11464.603
AT ITER 487 NEW BEST:: SOT 37209 SOS 24448 HAS SOPS 16435 HAS SOUS 13406 HAS SOUPS 11407 WITH SCORE 11431.448
AT ITER 498 NEW BEST:: SOT 37199 SOS 24438 HAS SOPS 16418 HAS SOUS 13399 HAS SOUPS 11400 WITH SCORE 11424.438
AT ITER 499 NEW BEST:: SOT 37181 SOS 24434 HAS SOPS 16428 HAS SOUS 13393 HAS SOUPS 11394 WITH SCORE 11418.434
AT ITER 501 NEW BEST:: SOT 37171 SOS 24424 HAS SOPS 16413 HAS SOUS 13370 HAS SOUPS 11371 WITH SCORE 11395.424
AT ITER 503 NEW BEST:: SOT 37177 SOS 24156 HAS SOPS 16181 HAS SOUS 13314 HAS SOUPS 11315 WITH SCORE 11339.156
AT ITER 504 NEW BEST:: SOT 37143 SOS 24122 HAS SOPS 16091 HAS SOUS 13254 HAS SOUPS 11255 WITH SCORE 11279.122
AT ITER 509 NEW BEST:: SOT 37143 SOS 24030 HAS SOPS 16045 HAS SOUS 13254 HAS SOUPS 11255 WITH SCORE 11279.03
AT ITER 529 NEW BEST:: SOT 37111 SOS 23963 HAS SOPS 15962 HAS SOUS 13207 HAS SOUPS 11208 WITH SCORE 11231.963
AT ITER 535 NEW BEST:: SOT 37111 SOS 23879 HAS SOPS 15934 HAS SOUS 13179 HAS SOUPS 11208 WITH SCORE 11231.879
AT ITER 543 NEW BEST:: SOT 37109 SOS 23875 HAS SOPS 15930 HAS SOUS 13175 HAS SOUPS 11204 WITH SCORE 11227.875
AT ITER 546 NEW BEST:: SOT 37091 SOS 23857 HAS SOPS 15923 HAS SOUS 13157 HAS SOUPS 11196 WITH SCORE 11219.857
AT ITER 548 NEW BEST:: SOT 37071 SOS 23837 HAS SOPS 15893 HAS SOUS 13150 HAS SOUPS 11189 WITH SCORE 11212.837
AT ITER 550 NEW BEST:: SOT 37064 SOS 23830 HAS SOPS 15886 HAS SOUS 13143 HAS SOUPS 11182 WITH SCORE 11205.83
AT ITER 553 NEW BEST:: SOT 37037 SOS 23790 HAS SOPS 15852 HAS SOUS 13122 HAS SOUPS 11161 WITH SCORE 11184.79
AT ITER 561 NEW BEST:: SOT 37027 SOS 23776 HAS SOPS 15825 HAS SOUS 13097 HAS SOUPS 11136 WITH SCORE 11159.776
AT ITER 562 NEW BEST:: SOT 37019 SOS 23772 HAS SOPS 15813 HAS SOUS 13089 HAS SOUPS 11124 WITH SCORE 11147.772
AT ITER 566 NEW BEST:: SOT 36941 SOS 23655 HAS SOPS 15639 HAS SOUS 12942 HAS SOUPS 10977 WITH SCORE 11000.655
AT ITER 579 NEW BEST:: SOT 36936 SOS 23648 HAS SOPS 15639 HAS SOUS 12935 HAS SOUPS 10977 WITH SCORE 11000.648
AT ITER 581 NEW BEST:: SOT 36984 SOS 23397 HAS SOPS 15588 HAS SOUS 12925 HAS SOUPS 10975 WITH SCORE 10998.397
AT ITER 583 NEW BEST:: SOT 36984 SOS 23387 HAS SOPS 15580 HAS SOUS 12923 HAS SOUPS 10975 WITH SCORE 10998.387
AT ITER 591 NEW BEST:: SOT 36975 SOS 23374 HAS SOPS 15573 HAS SOUS 12915 HAS SOUPS 10967 WITH SCORE 10990.374
AT ITER 592 NEW BEST:: SOT 36957 SOS 23356 HAS SOPS 15565 HAS SOUS 12912 HAS SOUPS 10964 WITH SCORE 10987.356
AT ITER 595 NEW BEST:: SOT 36957 SOS 23343 HAS SOPS 15578 HAS SOUS 12912 HAS SOUPS 10964 WITH SCORE 10987.343
AT ITER 598 NEW BEST:: SOT 36951 SOS 23337 HAS SOPS 15572 HAS SOUS 12906 HAS SOUPS 10958 WITH SCORE 10981.337
AT ITER 602 NEW BEST:: SOT 36951 SOS 23308 HAS SOPS 15534 HAS SOUS 12906 HAS SOUPS 10958 WITH SCORE 10981.308
AT ITER 607 NEW BEST:: SOT 36869 SOS 23225 HAS SOPS 15493 HAS SOUS 12866 HAS SOUPS 10918 WITH SCORE 10941.225
AT ITER 608 NEW BEST:: SOT 36865 SOS 23221 HAS SOPS 15487 HAS SOUS 12860 HAS SOUPS 10912 WITH SCORE 10935.221
AT ITER 615 NEW BEST:: SOT 36881 SOS 23209 HAS SOPS 15569 HAS SOUS 12848 HAS SOUPS 10900 WITH SCORE 10923.209
AT ITER 623 NEW BEST:: SOT 36941 SOS 23233 HAS SOPS 15518 HAS SOUS 12882 HAS SOUPS 10899 WITH SCORE 10922.233
AT ITER 624 NEW BEST:: SOT 36875 SOS 23167 HAS SOPS 15500 HAS SOUS 12830 HAS SOUPS 10847 WITH SCORE 10870.167
AT ITER 626 NEW BEST:: SOT 36867 SOS 23117 HAS SOPS 15481 HAS SOUS 12828 HAS SOUPS 10845 WITH SCORE 10868.117
AT ITER 629 NEW BEST:: SOT 36859 SOS 23106 HAS SOPS 15458 HAS SOUS 12816 HAS SOUPS 10833 WITH SCORE 10856.106
AT ITER 641 NEW BEST:: SOT 36816 SOS 23063 HAS SOPS 15446 HAS SOUS 12789 HAS SOUPS 10806 WITH SCORE 10829.063
AT ITER 653 NEW BEST:: SOT 36799 SOS 23046 HAS SOPS 15412 HAS SOUS 12772 HAS SOUPS 10789 WITH SCORE 10812.046
AT ITER 656 NEW BEST:: SOT 36785 SOS 23026 HAS SOPS 15394 HAS SOUS 12754 HAS SOUPS 10771 WITH SCORE 10794.026
AT ITER 664 NEW BEST:: SOT 36054 SOS 26010 HAS SOPS 16616 HAS SOUS 12743 HAS SOUPS 10659 WITH SCORE 10685.01
AT ITER 678 NEW BEST:: SOT 35746 SOS 25744 HAS SOPS 16587 HAS SOUS 12680 HAS SOUPS 10596 WITH SCORE 10621.744
AT ITER 680 NEW BEST:: SOT 35738 SOS 25728 HAS SOPS 16563 HAS SOUS 12672 HAS SOUPS 10588 WITH SCORE 10613.728
AT ITER 687 NEW BEST:: SOT 35680 SOS 25670 HAS SOPS 16476 HAS SOUS 12612 HAS SOUPS 10528 WITH SCORE 10553.67
AT ITER 689 NEW BEST:: SOT 35667 SOS 25717 HAS SOPS 16562 HAS SOUS 12601 HAS SOUPS 10517 WITH SCORE 10542.717
AT ITER 695 NEW BEST:: SOT 35610 SOS 25660 HAS SOPS 16496 HAS SOUS 12515 HAS SOUPS 10431 WITH SCORE 10456.66
AT ITER 700 NEW BEST:: SOT 35407 SOS 25481 HAS SOPS 16412 HAS SOUS 12359 HAS SOUPS 10370 WITH SCORE 10395.481
AT ITER 701 NEW BEST:: SOT 35427 SOS 25483 HAS SOPS 16398 HAS SOUS 12345 HAS SOUPS 10356 WITH SCORE 10381.483
AT ITER 702 NEW BEST:: SOT 35335 SOS 25391 HAS SOPS 16326 HAS SOUS 12260 HAS SOUPS 10271 WITH SCORE 10296.391
AT ITER 704 NEW BEST:: SOT 35323 SOS 25379 HAS SOPS 16302 HAS SOUS 12210 HAS SOUPS 10221 WITH SCORE 10246.379
AT ITER 720 NEW BEST:: SOT 35317 SOS 25373 HAS SOPS 16293 HAS SOUS 12201 HAS SOUPS 10212 WITH SCORE 10237.373
AT ITER 730 NEW BEST:: SOT 35315 SOS 25363 HAS SOPS 16283 HAS SOUS 12197 HAS SOUPS 10208 WITH SCORE 10233.363
AT ITER 734 NEW BEST:: SOT 35239 SOS 25287 HAS SOPS 16241 HAS SOUS 12136 HAS SOUPS 10147 WITH SCORE 10172.287
AT ITER 735 NEW BEST:: SOT 35193 SOS 25241 HAS SOPS 16006 HAS SOUS 12055 HAS SOUPS 9999 WITH SCORE 10024.241
AT ITER 749 NEW BEST:: SOT 35193 SOS 25241 HAS SOPS 16006 HAS SOUS 12043 HAS SOUPS 9987 WITH SCORE 10012.241
AT ITER 751 NEW BEST:: SOT 35225 SOS 25267 HAS SOPS 15933 HAS SOUS 12040 HAS SOUPS 9984 WITH SCORE 10009.267
AT ITER 761 NEW BEST:: SOT 35286 SOS 25328 HAS SOPS 15933 HAS SOUS 12009 HAS SOUPS 9953 WITH SCORE 9978.328
AT ITER 787 NEW BEST:: SOT 35286 SOS 25328 HAS SOPS 15933 HAS SOUS 11993 HAS SOUPS 9937 WITH SCORE 9962.328
AT ITER 791 NEW BEST:: SOT 35193 SOS 25552 HAS SOPS 15889 HAS SOUS 11963 HAS SOUPS 9907 WITH SCORE 9932.552
AT ITER 796 NEW BEST:: SOT 35105 SOS 25463 HAS SOPS 15838 HAS SOUS 11874 HAS SOUPS 9818 WITH SCORE 9843.463
AT ITER 799 NEW BEST:: SOT 34912 SOS 25280 HAS SOPS 15726 HAS SOUS 11750 HAS SOUPS 9694 WITH SCORE 9719.28
AT ITER 806 NEW BEST:: SOT 34882 SOS 25250 HAS SOPS 15666 HAS SOUS 11693 HAS SOUPS 9637 WITH SCORE 9662.25
AT ITER 816 NEW BEST:: SOT 34786 SOS 25154 HAS SOPS 15759 HAS SOUS 11683 HAS SOUPS 9627 WITH SCORE 9652.154
AT ITER 818 NEW BEST:: SOT 34732 SOS 25100 HAS SOPS 15678 HAS SOUS 11602 HAS SOUPS 9546 WITH SCORE 9571.1
AT ITER 821 NEW BEST:: SOT 34686 SOS 25054 HAS SOPS 15616 HAS SOUS 11530 HAS SOUPS 9474 WITH SCORE 9499.054
AT ITER 825 NEW BEST:: SOT 34698 SOS 25066 HAS SOPS 15603 HAS SOUS 11513 HAS SOUPS 9457 WITH SCORE 9482.066
AT ITER 827 NEW BEST:: SOT 34698 SOS 25066 HAS SOPS 15583 HAS SOUS 11500 HAS SOUPS 9439 WITH SCORE 9464.066
AT ITER 831 NEW BEST:: SOT 34616 SOS 25517 HAS SOPS 15693 HAS SOUS 11504 HAS SOUPS 9430 WITH SCORE 9455.517
AT ITER 839 NEW BEST:: SOT 34593 SOS 25494 HAS SOPS 15670 HAS SOUS 11467 HAS SOUPS 9393 WITH SCORE 9418.494
AT ITER 866 NEW BEST:: SOT 34535 SOS 25411 HAS SOPS 15558 HAS SOUS 11380 HAS SOUPS 9306 WITH SCORE 9331.411
AT ITER 871 NEW BEST:: SOT 34526 SOS 25393 HAS SOPS 15540 HAS SOUS 11368 HAS SOUPS 9294 WITH SCORE 9319.393
AT ITER 873 NEW BEST:: SOT 34544 SOS 25411 HAS SOPS 15558 HAS SOUS 11349 HAS SOUPS 9275 WITH SCORE 9300.411
AT ITER 877 NEW BEST:: SOT 34423 SOS 26249 HAS SOPS 15845 HAS SOUS 11357 HAS SOUPS 9262 WITH SCORE 9288.249
AT ITER 880 NEW BEST:: SOT 34421 SOS 26263 HAS SOPS 15824 HAS SOUS 11354 HAS SOUPS 9259 WITH SCORE 9285.263
AT ITER 894 NEW BEST:: SOT 34388 SOS 26241 HAS SOPS 15758 HAS SOUS 11299 HAS SOUPS 9204 WITH SCORE 9230.241
AT ITER 896 NEW BEST:: SOT 34388 SOS 26241 HAS SOPS 15758 HAS SOUS 11277 HAS SOUPS 9182 WITH SCORE 9208.241
AT ITER 900 NEW BEST:: SOT 34366 SOS 26219 HAS SOPS 15714 HAS SOUS 11233 HAS SOUPS 9138 WITH SCORE 9164.219
AT ITER 906 NEW BEST:: SOT 34332 SOS 26163 HAS SOPS 15656 HAS SOUS 11178 HAS SOUPS 9083 WITH SCORE 9109.163
AT ITER 909 NEW BEST:: SOT 34332 SOS 26163 HAS SOPS 15656 HAS SOUS 11167 HAS SOUPS 9072 WITH SCORE 9098.163
AT ITER 910 NEW BEST:: SOT 34268 SOS 26099 HAS SOPS 15560 HAS SOUS 11038 HAS SOUPS 8943 WITH SCORE 8969.099
AT ITER 915 NEW BEST:: SOT 34268 SOS 26099 HAS SOPS 15560 HAS SOUS 11029 HAS SOUPS 8934 WITH SCORE 8960.099
AT ITER 919 NEW BEST:: SOT 34269 SOS 26044 HAS SOPS 15497 HAS SOUS 11026 HAS SOUPS 8931 WITH SCORE 8957.044
AT ITER 927 NEW BEST:: SOT 34189 SOS 25961 HAS SOPS 15382 HAS SOUS 10899 HAS SOUPS 8804 WITH SCORE 8829.961
AT ITER 935 NEW BEST:: SOT 34180 SOS 25952 HAS SOPS 15371 HAS SOUS 10881 HAS SOUPS 8786 WITH SCORE 8811.952
AT ITER 937 NEW BEST:: SOT 34180 SOS 25934 HAS SOPS 15356 HAS SOUS 10881 HAS SOUPS 8786 WITH SCORE 8811.934
AT ITER 940 NEW BEST:: SOT 34198 SOS 25952 HAS SOPS 15383 HAS SOUS 10877 HAS SOUPS 8782 WITH SCORE 8807.952
AT ITER 947 NEW BEST:: SOT 34186 SOS 25940 HAS SOPS 15362 HAS SOUS 10856 HAS SOUPS 8761 WITH SCORE 8786.94
AT ITER 951 NEW BEST:: SOT 34182 SOS 25936 HAS SOPS 15345 HAS SOUS 10850 HAS SOUPS 8755 WITH SCORE 8780.936
AT ITER 956 NEW BEST:: SOT 34255 SOS 25995 HAS SOPS 15309 HAS SOUS 10896 HAS SOUPS 8706 WITH SCORE 8731.995
AT ITER 958 NEW BEST:: SOT 34261 SOS 26001 HAS SOPS 15264 HAS SOUS 10876 HAS SOUPS 8686 WITH SCORE 8712.001
AT ITER 965 NEW BEST:: SOT 34251 SOS 25991 HAS SOPS 15249 HAS SOUS 10856 HAS SOUPS 8666 WITH SCORE 8691.991
AT ITER 970 NEW BEST:: SOT 34251 SOS 25991 HAS SOPS 15249 HAS SOUS 10854 HAS SOUPS 8664 WITH SCORE 8689.991
AT ITER 972 NEW BEST:: SOT 34250 SOS 25990 HAS SOPS 15257 HAS SOUS 10854 HAS SOUPS 8664 WITH SCORE 8689.99
AT ITER 977 NEW BEST:: SOT 34243 SOS 25983 HAS SOPS 15254 HAS SOUS 10850 HAS SOUPS 8660 WITH SCORE 8685.983
AT ITER 978 NEW BEST:: SOT 34243 SOS 25904 HAS SOPS 15245 HAS SOUS 10779 HAS SOUPS 8659 WITH SCORE 8684.904
AT ITER 993 NEW BEST:: SOT 34279 SOS 25822 HAS SOPS 15163 HAS SOUS 10762 HAS SOUPS 8642 WITH SCORE 8667.822
AT ITER 1006 NEW BEST:: SOT 34231 SOS 25838 HAS SOPS 15151 HAS SOUS 10726 HAS SOUPS 8606 WITH SCORE 8631.838
AT ITER 1007 NEW BEST:: SOT 34231 SOS 25754 HAS SOPS 15095 HAS SOUS 10712 HAS SOUPS 8606 WITH SCORE 8631.754
AT ITER 1008 NEW BEST:: SOT 34220 SOS 25743 HAS SOPS 15116 HAS SOUS 10659 HAS SOUPS 8553 WITH SCORE 8578.743
AT ITER 1042 NEW BEST:: SOT 34111 SOS 26354 HAS SOPS 15258 HAS SOUS 10660 HAS SOUPS 8536 WITH SCORE 8562.354
AT ITER 1071 NEW BEST:: SOT 34108 SOS 26263 HAS SOPS 15196 HAS SOUS 10638 HAS SOUPS 8530 WITH SCORE 8556.263
AT ITER 1097 NEW BEST:: SOT 34091 SOS 26246 HAS SOPS 15163 HAS SOUS 10632 HAS SOUPS 8524 WITH SCORE 8550.246
AT ITER 1100 NEW BEST:: SOT 33896 SOS 26316 HAS SOPS 15064 HAS SOUS 10533 HAS SOUPS 8413 WITH SCORE 8439.316
AT ITER 1113 NEW BEST:: SOT 33882 SOS 26302 HAS SOPS 15036 HAS SOUS 10496 HAS SOUPS 8376 WITH SCORE 8402.302
AT ITER 1122 NEW BEST:: SOT 33861 SOS 26281 HAS SOPS 15015 HAS SOUS 10459 HAS SOUPS 8339 WITH SCORE 8365.281
AT ITER 1124 NEW BEST:: SOT 33871 SOS 26291 HAS SOPS 15030 HAS SOUS 10456 HAS SOUPS 8336 WITH SCORE 8362.291
AT ITER 1129 NEW BEST:: SOT 33719 SOS 26139 HAS SOPS 14982 HAS SOUS 10314 HAS SOUPS 8239 WITH SCORE 8265.139
AT ITER 1164 NEW BEST:: SOT 33727 SOS 26147 HAS SOPS 14955 HAS SOUS 10287 HAS SOUPS 8212 WITH SCORE 8238.147
AT ITER 1176 NEW BEST:: SOT 33706 SOS 26102 HAS SOPS 14936 HAS SOUS 10265 HAS SOUPS 8201 WITH SCORE 8227.102
AT ITER 1177 NEW BEST:: SOT 33706 SOS 26092 HAS SOPS 14930 HAS SOUS 10265 HAS SOUPS 8201 WITH SCORE 8227.092
AT ITER 1189 NEW BEST:: SOT 33670 SOS 26053 HAS SOPS 14906 HAS SOUS 10241 HAS SOUPS 8177 WITH SCORE 8203.053
AT ITER 1197 NEW BEST:: SOT 33624 SOS 26007 HAS SOPS 14929 HAS SOUS 10241 HAS SOUPS 8177 WITH SCORE 8203.007
AT ITER 1200 NEW BEST:: SOT 33615 SOS 26017 HAS SOPS 14931 HAS SOUS 10225 HAS SOUPS 8161 WITH SCORE 8187.017
AT ITER 1213 NEW BEST:: SOT 33615 SOS 26017 HAS SOPS 14931 HAS SOUS 10185 HAS SOUPS 8121 WITH SCORE 8147.017
AT ITER 1218 NEW BEST:: SOT 33555 SOS 25957 HAS SOPS 14841 HAS SOUS 10101 HAS SOUPS 8037 WITH SCORE 8062.957
AT ITER 1228 NEW BEST:: SOT 33554 SOS 25943 HAS SOPS 14839 HAS SOUS 10099 HAS SOUPS 8035 WITH SCORE 8060.943
AT ITER 1234 NEW BEST:: SOT 33554 SOS 25943 HAS SOPS 14839 HAS SOUS 10092 HAS SOUPS 8028 WITH SCORE 8053.943
AT ITER 1241 NEW BEST:: SOT 33544 SOS 25961 HAS SOPS 14824 HAS SOUS 10090 HAS SOUPS 8026 WITH SCORE 8051.961
AT ITER 1242 NEW BEST:: SOT 33498 SOS 25915 HAS SOPS 14755 HAS SOUS 10045 HAS SOUPS 7981 WITH SCORE 8006.915
AT ITER 1244 NEW BEST:: SOT 33498 SOS 25915 HAS SOPS 14710 HAS SOUS 10015 HAS SOUPS 7951 WITH SCORE 7976.915
AT ITER 1264 NEW BEST:: SOT 33530 SOS 25937 HAS SOPS 14732 HAS SOUS 10009 HAS SOUPS 7945 WITH SCORE 7970.937
AT ITER 1268 NEW BEST:: SOT 33589 SOS 26010 HAS SOPS 14685 HAS SOUS 9986 HAS SOUPS 7922 WITH SCORE 7948.01
AT ITER 1271 NEW BEST:: SOT 33540 SOS 25961 HAS SOPS 14600 HAS SOUS 9919 HAS SOUPS 7855 WITH SCORE 7880.961
AT ITER 1274 NEW BEST:: SOT 33540 SOS 25961 HAS SOPS 14600 HAS SOUS 9915 HAS SOUPS 7851 WITH SCORE 7876.961
AT ITER 1284 NEW BEST:: SOT 33555 SOS 25955 HAS SOPS 14550 HAS SOUS 9865 HAS SOUPS 7801 WITH SCORE 7826.955
AT ITER 1285 NEW BEST:: SOT 33540 SOS 25947 HAS SOPS 14548 HAS SOUS 9856 HAS SOUPS 7792 WITH SCORE 7817.947
AT ITER 1291 NEW BEST:: SOT 33540 SOS 25943 HAS SOPS 14544 HAS SOUS 9856 HAS SOUPS 7792 WITH SCORE 7817.943
AT ITER 1296 NEW BEST:: SOT 33473 SOS 25876 HAS SOPS 14473 HAS SOUS 9825 HAS SOUPS 7761 WITH SCORE 7786.876
AT ITER 1297 NEW BEST:: SOT 33427 SOS 25850 HAS SOPS 14401 HAS SOUS 9812 HAS SOUPS 7728 WITH SCORE 7753.85
AT ITER 1313 NEW BEST:: SOT 33401 SOS 25824 HAS SOPS 14362 HAS SOUS 9787 HAS SOUPS 7703 WITH SCORE 7728.824
AT ITER 1319 NEW BEST:: SOT 33357 SOS 25780 HAS SOPS 14296 HAS SOUS 9704 HAS SOUPS 7620 WITH SCORE 7645.78
AT ITER 1320 NEW BEST:: SOT 33341 SOS 25764 HAS SOPS 14296 HAS SOUS 9696 HAS SOUPS 7612 WITH SCORE 7637.764
AT ITER 1321 NEW BEST:: SOT 33347 SOS 25770 HAS SOPS 14266 HAS SOUS 9702 HAS SOUPS 7582 WITH SCORE 7607.77
AT ITER 1325 NEW BEST:: SOT 33347 SOS 25770 HAS SOPS 14266 HAS SOUS 9694 HAS SOUPS 7574 WITH SCORE 7599.77
AT ITER 1339 NEW BEST:: SOT 33341 SOS 25764 HAS SOPS 14257 HAS SOUS 9681 HAS SOUPS 7561 WITH SCORE 7586.764
AT ITER 1344 NEW BEST:: SOT 33301 SOS 25724 HAS SOPS 14175 HAS SOUS 9613 HAS SOUPS 7493 WITH SCORE 7518.724
AT ITER 1353 NEW BEST:: SOT 33277 SOS 25731 HAS SOPS 14155 HAS SOUS 9630 HAS SOUPS 7483 WITH SCORE 7508.731
AT ITER 1375 NEW BEST:: SOT 33268 SOS 25722 HAS SOPS 14146 HAS SOUS 9608 HAS SOUPS 7461 WITH SCORE 7486.722
AT ITER 1384 NEW BEST:: SOT 33190 SOS 25953 HAS SOPS 14187 HAS SOUS 9605 HAS SOUPS 7449 WITH SCORE 7474.953
AT ITER 1407 NEW BEST:: SOT 33188 SOS 25951 HAS SOPS 14184 HAS SOUS 9595 HAS SOUPS 7439 WITH SCORE 7464.951
AT ITER 1422 NEW BEST:: SOT 33188 SOS 25951 HAS SOPS 14184 HAS SOUS 9581 HAS SOUPS 7425 WITH SCORE 7450.951
AT ITER 1428 NEW BEST:: SOT 33174 SOS 25963 HAS SOPS 14227 HAS SOUS 9543 HAS SOUPS 7387 WITH SCORE 7412.963
AT ITER 1433 NEW BEST:: SOT 33158 SOS 25952 HAS SOPS 14178 HAS SOUS 9519 HAS SOUPS 7363 WITH SCORE 7388.952
AT ITER 1453 NEW BEST:: SOT 33160 SOS 25954 HAS SOPS 14174 HAS SOUS 9517 HAS SOUPS 7361 WITH SCORE 7386.954
AT ITER 1467 NEW BEST:: SOT 33156 SOS 25950 HAS SOPS 14174 HAS SOUS 9515 HAS SOUPS 7359 WITH SCORE 7384.95
AT ITER 1473 NEW BEST:: SOT 33430 SOS 24252 HAS SOPS 13673 HAS SOUS 9467 HAS SOUPS 7357 WITH SCORE 7381.252
AT ITER 1506 NEW BEST:: SOT 33423 SOS 24238 HAS SOPS 13652 HAS SOUS 9460 HAS SOUPS 7350 WITH SCORE 7374.238
AT ITER 1540 NEW BEST:: SOT 33423 SOS 24238 HAS SOPS 13652 HAS SOUS 9453 HAS SOUPS 7343 WITH SCORE 7367.238
AT ITER 1543 NEW BEST:: SOT 33423 SOS 24238 HAS SOPS 13652 HAS SOUS 9440 HAS SOUPS 7330 WITH SCORE 7354.238
AT ITER 1544 NEW BEST:: SOT 33419 SOS 24234 HAS SOPS 13646 HAS SOUS 9429 HAS SOUPS 7319 WITH SCORE 7343.234
AT ITER 1553 NEW BEST:: SOT 33417 SOS 24232 HAS SOPS 13631 HAS SOUS 9417 HAS SOUPS 7307 WITH SCORE 7331.232
AT ITER 1560 NEW BEST:: SOT 33371 SOS 24094 HAS SOPS 13493 HAS SOUS 9332 HAS SOUPS 7222 WITH SCORE 7246.094
AT ITER 1561 NEW BEST:: SOT 33371 SOS 24094 HAS SOPS 13487 HAS SOUS 9331 HAS SOUPS 7221 WITH SCORE 7245.094
AT ITER 1562 NEW BEST:: SOT 33356 SOS 24080 HAS SOPS 13457 HAS SOUS 9310 HAS SOUPS 7192 WITH SCORE 7216.08
AT ITER 1566 NEW BEST:: SOT 33356 SOS 24080 HAS SOPS 13453 HAS SOUS 9307 HAS SOUPS 7189 WITH SCORE 7213.08
AT ITER 1575 NEW BEST:: SOT 33356 SOS 24080 HAS SOPS 13453 HAS SOUS 9300 HAS SOUPS 7182 WITH SCORE 7206.08
AT ITER 1589 NEW BEST:: SOT 33367 SOS 24091 HAS SOPS 13464 HAS SOUS 9292 HAS SOUPS 7174 WITH SCORE 7198.091
AT ITER 1596 NEW BEST:: SOT 33369 SOS 24085 HAS SOPS 13459 HAS SOUS 9286 HAS SOUPS 7168 WITH SCORE 7192.085
AT ITER 1606 NEW BEST:: SOT 33369 SOS 24085 HAS SOPS 13459 HAS SOUS 9285 HAS SOUPS 7167 WITH SCORE 7191.085
AT ITER 1647 NEW BEST:: SOT 33367 SOS 24083 HAS SOPS 13455 HAS SOUS 9279 HAS SOUPS 7161 WITH SCORE 7185.083
AT ITER 1690 NEW BEST:: SOT 33347 SOS 24063 HAS SOPS 13425 HAS SOUS 9259 HAS SOUPS 7141 WITH SCORE 7165.063
AT ITER 1693 NEW BEST:: SOT 33335 SOS 24051 HAS SOPS 13419 HAS SOUS 9250 HAS SOUPS 7132 WITH SCORE 7156.051
AT ITER 1696 NEW BEST:: SOT 33333 SOS 24049 HAS SOPS 13416 HAS SOUS 9248 HAS SOUPS 7130 WITH SCORE 7154.049
AT ITER 1699 NEW BEST:: SOT 33311 SOS 24027 HAS SOPS 13383 HAS SOUS 9215 HAS SOUPS 7097 WITH SCORE 7121.027
AT ITER 1702 NEW BEST:: SOT 33290 SOS 24028 HAS SOPS 13368 HAS SOUS 9209 HAS SOUPS 7076 WITH SCORE 7100.028
AT ITER 1712 NEW BEST:: SOT 33288 SOS 23992 HAS SOPS 13331 HAS SOUS 9205 HAS SOUPS 7072 WITH SCORE 7095.992
AT ITER 1726 NEW BEST:: SOT 33282 SOS 23986 HAS SOPS 13322 HAS SOUS 9199 HAS SOUPS 7066 WITH SCORE 7089.986
AT ITER 1732 NEW BEST:: SOT 33270 SOS 23974 HAS SOPS 13304 HAS SOUS 9181 HAS SOUPS 7048 WITH SCORE 7071.974
AT ITER 1740 NEW BEST:: SOT 32919 SOS 25348 HAS SOPS 13677 HAS SOUS 9175 HAS SOUPS 6994 WITH SCORE 7019.348
AT ITER 1755 NEW BEST:: SOT 32919 SOS 25348 HAS SOPS 13675 HAS SOUS 9173 HAS SOUPS 6992 WITH SCORE 7017.348
AT ITER 1757 NEW BEST:: SOT 32919 SOS 25348 HAS SOPS 13675 HAS SOUS 9172 HAS SOUPS 6991 WITH SCORE 7016.348
AT ITER 1759 NEW BEST:: SOT 32903 SOS 25332 HAS SOPS 13643 HAS SOUS 9148 HAS SOUPS 6967 WITH SCORE 6992.332
AT ITER 1760 NEW BEST:: SOT 32918 SOS 25347 HAS SOPS 13638 HAS SOUS 9106 HAS SOUPS 6925 WITH SCORE 6950.347
AT ITER 1761 NEW BEST:: SOT 32918 SOS 25347 HAS SOPS 13638 HAS SOUS 9100 HAS SOUPS 6919 WITH SCORE 6944.347
AT ITER 1764 NEW BEST:: SOT 32904 SOS 25356 HAS SOPS 13617 HAS SOUS 9079 HAS SOUPS 6898 WITH SCORE 6923.356
AT ITER 1773 NEW BEST:: SOT 32911 SOS 25379 HAS SOPS 13479 HAS SOUS 9061 HAS SOUPS 6880 WITH SCORE 6905.379
AT ITER 1776 NEW BEST:: SOT 32954 SOS 25041 HAS SOPS 13389 HAS SOUS 9045 HAS SOUPS 6874 WITH SCORE 6899.041
AT ITER 1780 NEW BEST:: SOT 32960 SOS 25041 HAS SOPS 13395 HAS SOUS 9033 HAS SOUPS 6868 WITH SCORE 6893.041
AT ITER 1794 NEW BEST:: SOT 32951 SOS 24984 HAS SOPS 13338 HAS SOUS 9009 HAS SOUPS 6844 WITH SCORE 6868.984
AT ITER 1804 NEW BEST:: SOT 32945 SOS 24978 HAS SOPS 13326 HAS SOUS 9000 HAS SOUPS 6835 WITH SCORE 6859.978
AT ITER 1806 NEW BEST:: SOT 32923 SOS 24912 HAS SOPS 13282 HAS SOUS 8918 HAS SOUPS 6775 WITH SCORE 6799.912
AT ITER 1816 NEW BEST:: SOT 32947 SOS 24936 HAS SOPS 13188 HAS SOUS 8867 HAS SOUPS 6724 WITH SCORE 6748.936
AT ITER 1826 NEW BEST:: SOT 32927 SOS 24916 HAS SOPS 13173 HAS SOUS 8852 HAS SOUPS 6709 WITH SCORE 6733.916
AT ITER 1833 NEW BEST:: SOT 32908 SOS 24935 HAS SOPS 13154 HAS SOUS 8852 HAS SOUPS 6690 WITH SCORE 6714.935
AT ITER 1838 NEW BEST:: SOT 32902 SOS 24929 HAS SOPS 13145 HAS SOUS 8846 HAS SOUPS 6684 WITH SCORE 6708.929
AT ITER 1840 NEW BEST:: SOT 32893 SOS 24920 HAS SOPS 13130 HAS SOUS 8838 HAS SOUPS 6676 WITH SCORE 6700.92
AT ITER 1892 NEW BEST:: SOT 32893 SOS 24918 HAS SOPS 13130 HAS SOUS 8836 HAS SOUPS 6676 WITH SCORE 6700.918
AT ITER 1894 NEW BEST:: SOT 32874 SOS 24899 HAS SOPS 13104 HAS SOUS 8790 HAS SOUPS 6630 WITH SCORE 6654.899
AT ITER 1958 NEW BEST:: SOT 32866 SOS 24883 HAS SOPS 13096 HAS SOUS 8784 HAS SOUPS 6628 WITH SCORE 6652.883
AT ITER 1973 NEW BEST:: SOT 32884 SOS 24731 HAS SOPS 13051 HAS SOUS 8780 HAS SOUPS 6628 WITH SCORE 6652.731
AT ITER 2037 NEW BEST:: SOT 32864 SOS 24711 HAS SOPS 13011 HAS SOUS 8750 HAS SOUPS 6598 WITH SCORE 6622.711
AT ITER 2043 NEW BEST:: SOT 32862 SOS 24750 HAS SOPS 13007 HAS SOUS 8758 HAS SOUPS 6565 WITH SCORE 6589.75
AT ITER 2051 NEW BEST:: SOT 32845 SOS 24755 HAS SOPS 12977 HAS SOUS 8767 HAS SOUPS 6549 WITH SCORE 6573.755
AT ITER 2060 NEW BEST:: SOT 32825 SOS 24735 HAS SOPS 12947 HAS SOUS 8747 HAS SOUPS 6529 WITH SCORE 6553.735
AT ITER 2062 NEW BEST:: SOT 32823 SOS 24733 HAS SOPS 12944 HAS SOUS 8746 HAS SOUPS 6528 WITH SCORE 6552.733
AT ITER 2070 NEW BEST:: SOT 32802 SOS 24712 HAS SOPS 12911 HAS SOUS 8713 HAS SOUPS 6495 WITH SCORE 6519.712
AT ITER 2077 NEW BEST:: SOT 32740 SOS 24650 HAS SOPS 12914 HAS SOUS 8684 HAS SOUPS 6466 WITH SCORE 6490.65
AT ITER 2080 NEW BEST:: SOT 32740 SOS 24650 HAS SOPS 12914 HAS SOUS 8678 HAS SOUPS 6460 WITH SCORE 6484.65
AT ITER 2082 NEW BEST:: SOT 32748 SOS 24658 HAS SOPS 12815 HAS SOUS 8671 HAS SOUPS 6442 WITH SCORE 6466.658
AT ITER 2092 NEW BEST:: SOT 32748 SOS 24658 HAS SOPS 12815 HAS SOUS 8644 HAS SOUPS 6415 WITH SCORE 6439.658
AT ITER 2120 NEW BEST:: SOT 32742 SOS 24652 HAS SOPS 12806 HAS SOUS 8623 HAS SOUPS 6394 WITH SCORE 6418.652
AT ITER 2136 NEW BEST:: SOT 32736 SOS 24688 HAS SOPS 12817 HAS SOUS 8622 HAS SOUPS 6392 WITH SCORE 6416.688
AT ITER 2151 NEW BEST:: SOT 32751 SOS 24574 HAS SOPS 12781 HAS SOUS 8619 HAS SOUPS 6392 WITH SCORE 6416.574
AT ITER 2188 NEW BEST:: SOT 32743 SOS 24566 HAS SOPS 12769 HAS SOUS 8597 HAS SOUPS 6370 WITH SCORE 6394.566
AT ITER 2231 NEW BEST:: SOT 32739 SOS 24554 HAS SOPS 12773 HAS SOUS 8593 HAS SOUPS 6370 WITH SCORE 6394.554
AT ITER 2244 NEW BEST:: SOT 32731 SOS 24546 HAS SOPS 12777 HAS SOUS 8585 HAS SOUPS 6362 WITH SCORE 6386.546
AT ITER 2247 NEW BEST:: SOT 32727 SOS 24542 HAS SOPS 12774 HAS SOUS 8580 HAS SOUPS 6358 WITH SCORE 6382.542
AT ITER 2249 NEW BEST:: SOT 32728 SOS 24483 HAS SOPS 12782 HAS SOUS 8509 HAS SOUPS 6338 WITH SCORE 6362.483
AT ITER 2250 NEW BEST:: SOT 32766 SOS 24521 HAS SOPS 12743 HAS SOUS 8502 HAS SOUPS 6331 WITH SCORE 6355.521
AT ITER 2265 NEW BEST:: SOT 32764 SOS 24519 HAS SOPS 12600 HAS SOUS 8390 HAS SOUPS 6219 WITH SCORE 6243.519
AT ITER 2270 NEW BEST:: SOT 32764 SOS 24517 HAS SOPS 12598 HAS SOUS 8388 HAS SOUPS 6217 WITH SCORE 6241.517
AT ITER 2274 NEW BEST:: SOT 32744 SOS 24497 HAS SOPS 12592 HAS SOUS 8368 HAS SOUPS 6197 WITH SCORE 6221.497
AT ITER 2288 NEW BEST:: SOT 32744 SOS 24497 HAS SOPS 12592 HAS SOUS 8364 HAS SOUPS 6193 WITH SCORE 6217.497
AT ITER 2291 NEW BEST:: SOT 32744 SOS 24493 HAS SOPS 12592 HAS SOUS 8364 HAS SOUPS 6193 WITH SCORE 6217.493
AT ITER 2308 NEW BEST:: SOT 32752 SOS 24501 HAS SOPS 12612 HAS SOUS 8362 HAS SOUPS 6191 WITH SCORE 6215.501
AT ITER 2347 NEW BEST:: SOT 32702 SOS 24876 HAS SOPS 12758 HAS SOUS 8365 HAS SOUPS 6185 WITH SCORE 6209.876
AT ITER 2392 NEW BEST:: SOT 32706 SOS 24830 HAS SOPS 12738 HAS SOUS 8363 HAS SOUPS 6184 WITH SCORE 6208.83
AT ITER 2413 NEW BEST:: SOT 32735 SOS 24859 HAS SOPS 12769 HAS SOUS 8350 HAS SOUPS 6171 WITH SCORE 6195.859
AT ITER 2438 NEW BEST:: SOT 32731 SOS 24855 HAS SOPS 12763 HAS SOUS 8340 HAS SOUPS 6161 WITH SCORE 6185.855
AT ITER 2460 NEW BEST:: SOT 32723 SOS 24847 HAS SOPS 12751 HAS SOUS 8336 HAS SOUPS 6157 WITH SCORE 6181.847
AT ITER 2479 NEW BEST:: SOT 32719 SOS 24843 HAS SOPS 12751 HAS SOUS 8336 HAS SOUPS 6157 WITH SCORE 6181.843
AT ITER 2508 NEW BEST:: SOT 32687 SOS 24824 HAS SOPS 12687 HAS SOUS 8288 HAS SOUPS 6093 WITH SCORE 6117.824
AT ITER 2542 NEW BEST:: SOT 32687 SOS 24824 HAS SOPS 12603 HAS SOUS 8288 HAS SOUPS 6072 WITH SCORE 6096.824
AT ITER 2582 NEW BEST:: SOT 32679 SOS 24816 HAS SOPS 12591 HAS SOUS 8269 HAS SOUPS 6053 WITH SCORE 6077.816
AT ITER 2645 NEW BEST:: SOT 32648 SOS 24789 HAS SOPS 12585 HAS SOUS 8242 HAS SOUPS 6026 WITH SCORE 6050.789
AT ITER 2649 NEW BEST:: SOT 32656 SOS 24797 HAS SOPS 12615 HAS SOUS 8236 HAS SOUPS 6024 WITH SCORE 6048.797
AT ITER 2650 NEW BEST:: SOT 32654 SOS 24795 HAS SOPS 12605 HAS SOUS 8229 HAS SOUPS 6015 WITH SCORE 6039.795
AT ITER 2654 NEW BEST:: SOT 32646 SOS 24787 HAS SOPS 12581 HAS SOUS 8205 HAS SOUPS 5991 WITH SCORE 6015.787
AT ITER 2661 NEW BEST:: SOT 32650 SOS 24791 HAS SOPS 12567 HAS SOUS 8196 HAS SOUPS 5982 WITH SCORE 6006.791
AT ITER 2662 NEW BEST:: SOT 32628 SOS 24769 HAS SOPS 12534 HAS SOUS 8163 HAS SOUPS 5949 WITH SCORE 5973.769
AT ITER 2667 NEW BEST:: SOT 32636 SOS 24777 HAS SOPS 12557 HAS SOUS 8149 HAS SOUPS 5935 WITH SCORE 5959.777
AT ITER 2679 NEW BEST:: SOT 32630 SOS 24771 HAS SOPS 12548 HAS SOUS 8141 HAS SOUPS 5927 WITH SCORE 5951.771
AT ITER 2703 NEW BEST:: SOT 32626 SOS 24767 HAS SOPS 12542 HAS SOUS 8126 HAS SOUPS 5912 WITH SCORE 5936.767
AT ITER 2746 NEW BEST:: SOT 32600 SOS 24741 HAS SOPS 12555 HAS SOUS 8125 HAS SOUPS 5912 WITH SCORE 5936.741
AT ITER 2800 NEW BEST:: SOT 32600 SOS 24741 HAS SOPS 12555 HAS SOUS 8123 HAS SOUPS 5910 WITH SCORE 5934.741
AT ITER 2831 NEW BEST:: SOT 32608 SOS 24754 HAS SOPS 12534 HAS SOUS 8118 HAS SOUPS 5905 WITH SCORE 5929.754
AT ITER 2865 NEW BEST:: SOT 32595 SOS 24741 HAS SOPS 12521 HAS SOUS 8102 HAS SOUPS 5889 WITH SCORE 5913.741
AT ITER 2879 NEW BEST:: SOT 32589 SOS 24732 HAS SOPS 12509 HAS SOUS 8094 HAS SOUPS 5881 WITH SCORE 5905.732
AT ITER 2892 NEW BEST:: SOT 32587 SOS 24730 HAS SOPS 12505 HAS SOUS 8080 HAS SOUPS 5867 WITH SCORE 5891.73
AT ITER 2893 NEW BEST:: SOT 32571 SOS 24714 HAS SOPS 12481 HAS SOUS 8067 HAS SOUPS 5854 WITH SCORE 5878.714
AT ITER 2962 NEW BEST:: SOT 32571 SOS 24659 HAS SOPS 12426 HAS SOUS 8064 HAS SOUPS 5851 WITH SCORE 5875.659
AT ITER 2973 NEW BEST:: SOT 32533 SOS 24621 HAS SOPS 12388 HAS SOUS 8057 HAS SOUPS 5844 WITH SCORE 5868.621
AT ITER 2985 NEW BEST:: SOT 32525 SOS 24613 HAS SOPS 12372 HAS SOUS 8025 HAS SOUPS 5812 WITH SCORE 5836.613
AT ITER 2990 NEW BEST:: SOT 32471 SOS 24559 HAS SOPS 12291 HAS SOUS 7971 HAS SOUPS 5758 WITH SCORE 5782.559
AT ITER 2991 NEW BEST:: SOT 32467 SOS 24555 HAS SOPS 12285 HAS SOUS 7965 HAS SOUPS 5752 WITH SCORE 5776.555
AT ITER 3022 NEW BEST:: SOT 32473 SOS 24561 HAS SOPS 12261 HAS SOUS 7956 HAS SOUPS 5743 WITH SCORE 5767.561
AT ITER 3026 NEW BEST:: SOT 32473 SOS 24561 HAS SOPS 12261 HAS SOUS 7947 HAS SOUPS 5734 WITH SCORE 5758.561
AT ITER 3037 NEW BEST:: SOT 32473 SOS 24561 HAS SOPS 12261 HAS SOUS 7941 HAS SOUPS 5728 WITH SCORE 5752.561
AT ITER 3040 NEW BEST:: SOT 32473 SOS 24553 HAS SOPS 12253 HAS SOUS 7941 HAS SOUPS 5728 WITH SCORE 5752.553
AT ITER 3067 NEW BEST:: SOT 32455 SOS 24535 HAS SOPS 12226 HAS SOUS 7914 HAS SOUPS 5701 WITH SCORE 5725.535
AT ITER 3084 NEW BEST:: SOT 32453 SOS 24533 HAS SOPS 12226 HAS SOUS 7914 HAS SOUPS 5701 WITH SCORE 5725.533
AT ITER 3101 NEW BEST:: SOT 32450 SOS 24530 HAS SOPS 12223 HAS SOUS 7909 HAS SOUPS 5696 WITH SCORE 5720.53
AT ITER 3104 NEW BEST:: SOT 32408 SOS 24488 HAS SOPS 12160 HAS SOUS 7839 HAS SOUPS 5626 WITH SCORE 5650.488
AT ITER 3133 NEW BEST:: SOT 32408 SOS 24450 HAS SOPS 12160 HAS SOUS 7801 HAS SOUPS 5626 WITH SCORE 5650.45
AT ITER 3140 NEW BEST:: SOT 32406 SOS 24448 HAS SOPS 12157 HAS SOUS 7792 HAS SOUPS 5617 WITH SCORE 5641.448
AT ITER 3142 NEW BEST:: SOT 32387 SOS 24454 HAS SOPS 12160 HAS SOUS 7787 HAS SOUPS 5612 WITH SCORE 5636.454
AT ITER 3155 NEW BEST:: SOT 32381 SOS 24448 HAS SOPS 12151 HAS SOUS 7778 HAS SOUPS 5603 WITH SCORE 5627.448
AT ITER 3171 NEW BEST:: SOT 32381 SOS 24448 HAS SOPS 12151 HAS SOUS 7777 HAS SOUPS 5602 WITH SCORE 5626.448
AT ITER 3198 NEW BEST:: SOT 32378 SOS 24448 HAS SOPS 12148 HAS SOUS 7777 HAS SOUPS 5599 WITH SCORE 5623.448
AT ITER 3226 NEW BEST:: SOT 32404 SOS 24474 HAS SOPS 12139 HAS SOUS 7768 HAS SOUPS 5590 WITH SCORE 5614.474
AT ITER 3232 NEW BEST:: SOT 32412 SOS 24482 HAS SOPS 12083 HAS SOUS 7761 HAS SOUPS 5583 WITH SCORE 5607.482
AT ITER 3244 NEW BEST:: SOT 32394 SOS 24464 HAS SOPS 12074 HAS SOUS 7758 HAS SOUPS 5580 WITH SCORE 5604.464
AT ITER 3257 NEW BEST:: SOT 32394 SOS 24464 HAS SOPS 12074 HAS SOUS 7755 HAS SOUPS 5577 WITH SCORE 5601.464
AT ITER 3347 NEW BEST:: SOT 32384 SOS 24454 HAS SOPS 12059 HAS SOUS 7755 HAS SOUPS 5577 WITH SCORE 5601.454
AT ITER 3353 NEW BEST:: SOT 32378 SOS 24448 HAS SOPS 12050 HAS SOUS 7739 HAS SOUPS 5561 WITH SCORE 5585.448
AT ITER 3373 NEW BEST:: SOT 32368 SOS 24438 HAS SOPS 12003 HAS SOUS 7741 HAS SOUPS 5553 WITH SCORE 5577.438
AT ITER 3377 NEW BEST:: SOT 32358 SOS 24428 HAS SOPS 11988 HAS SOUS 7726 HAS SOUPS 5538 WITH SCORE 5562.428
AT ITER 3417 NEW BEST:: SOT 32356 SOS 24426 HAS SOPS 11985 HAS SOUS 7722 HAS SOUPS 5534 WITH SCORE 5558.426
AT ITER 3425 NEW BEST:: SOT 32356 SOS 24426 HAS SOPS 11985 HAS SOUS 7719 HAS SOUPS 5531 WITH SCORE 5555.426
AT ITER 3457 NEW BEST:: SOT 32356 SOS 24426 HAS SOPS 11985 HAS SOUS 7714 HAS SOUPS 5526 WITH SCORE 5550.426
AT ITER 3467 NEW BEST:: SOT 32350 SOS 24432 HAS SOPS 11973 HAS SOUS 7714 HAS SOUPS 5520 WITH SCORE 5544.432
AT ITER 3483 NEW BEST:: SOT 32249 SOS 24851 HAS SOPS 12095 HAS SOUS 7726 HAS SOUPS 5518 WITH SCORE 5542.851
AT ITER 3492 NEW BEST:: SOT 32245 SOS 24847 HAS SOPS 12089 HAS SOUS 7718 HAS SOUPS 5510 WITH SCORE 5534.847
AT ITER 3553 NEW BEST:: SOT 32235 SOS 24837 HAS SOPS 12079 HAS SOUS 7708 HAS SOUPS 5500 WITH SCORE 5524.837
AT ITER 3576 NEW BEST:: SOT 32235 SOS 24843 HAS SOPS 12055 HAS SOUS 7707 HAS SOUPS 5493 WITH SCORE 5517.843
AT ITER 3592 NEW BEST:: SOT 32223 SOS 24831 HAS SOPS 12044 HAS SOUS 7691 HAS SOUPS 5477 WITH SCORE 5501.831
AT ITER 3674 NEW BEST:: SOT 32217 SOS 24825 HAS SOPS 12035 HAS SOUS 7682 HAS SOUPS 5468 WITH SCORE 5492.825
AT ITER 3724 NEW BEST:: SOT 32177 SOS 24785 HAS SOPS 12032 HAS SOUS 7661 HAS SOUPS 5447 WITH SCORE 5471.785
AT ITER 3757 NEW BEST:: SOT 32177 SOS 24785 HAS SOPS 12032 HAS SOUS 7658 HAS SOUPS 5444 WITH SCORE 5468.785
AT ITER 3770 NEW BEST:: SOT 32161 SOS 24769 HAS SOPS 12025 HAS SOUS 7639 HAS SOUPS 5425 WITH SCORE 5449.769
AT ITER 3775 NEW BEST:: SOT 32147 SOS 24755 HAS SOPS 11987 HAS SOUS 7618 HAS SOUPS 5404 WITH SCORE 5428.755
AT ITER 3793 NEW BEST:: SOT 32142 SOS 24750 HAS SOPS 11976 HAS SOUS 7610 HAS SOUPS 5396 WITH SCORE 5420.75
AT ITER 3817 NEW BEST:: SOT 32140 SOS 24748 HAS SOPS 11973 HAS SOUS 7608 HAS SOUPS 5394 WITH SCORE 5418.748
AT ITER 3835 NEW BEST:: SOT 32137 SOS 24749 HAS SOPS 11973 HAS SOUS 7602 HAS SOUPS 5388 WITH SCORE 5412.749
AT ITER 3842 NEW BEST:: SOT 32137 SOS 24757 HAS SOPS 11973 HAS SOUS 7602 HAS SOUPS 5380 WITH SCORE 5404.757
AT ITER 3850 NEW BEST:: SOT 32171 SOS 24494 HAS SOPS 11887 HAS SOUS 7586 HAS SOUPS 5371 WITH SCORE 5395.494
AT ITER 3866 NEW BEST:: SOT 32182 SOS 24439 HAS SOPS 11887 HAS SOUS 7553 HAS SOUPS 5371 WITH SCORE 5395.439
AT ITER 3869 NEW BEST:: SOT 32178 SOS 24435 HAS SOPS 11881 HAS SOUS 7547 HAS SOUPS 5365 WITH SCORE 5389.435
AT ITER 3881 NEW BEST:: SOT 32162 SOS 24419 HAS SOPS 11857 HAS SOUS 7516 HAS SOUPS 5334 WITH SCORE 5358.419
AT ITER 3885 NEW BEST:: SOT 32168 SOS 24403 HAS SOPS 11860 HAS SOUS 7498 HAS SOUPS 5334 WITH SCORE 5358.403
AT ITER 3929 NEW BEST:: SOT 32148 SOS 24383 HAS SOPS 11820 HAS SOUS 7478 HAS SOUPS 5314 WITH SCORE 5338.383
AT ITER 3959 NEW BEST:: SOT 32126 SOS 24361 HAS SOPS 11787 HAS SOUS 7450 HAS SOUPS 5284 WITH SCORE 5308.361
AT ITER 3966 NEW BEST:: SOT 32125 SOS 24360 HAS SOPS 11786 HAS SOUS 7441 HAS SOUPS 5275 WITH SCORE 5299.36
AT ITER 3969 NEW BEST:: SOT 32153 SOS 24388 HAS SOPS 11764 HAS SOUS 7432 HAS SOUPS 5266 WITH SCORE 5290.388
AT ITER 3973 NEW BEST:: SOT 32149 SOS 24384 HAS SOPS 11758 HAS SOUS 7426 HAS SOUPS 5260 WITH SCORE 5284.384
AT ITER 4023 NEW BEST:: SOT 32153 SOS 24388 HAS SOPS 11762 HAS SOUS 7421 HAS SOUPS 5255 WITH SCORE 5279.388
AT ITER 4024 NEW BEST:: SOT 32151 SOS 24386 HAS SOPS 11758 HAS SOUS 7418 HAS SOUPS 5252 WITH SCORE 5276.386
AT ITER 4034 NEW BEST:: SOT 32149 SOS 24384 HAS SOPS 11755 HAS SOUS 7413 HAS SOUPS 5247 WITH SCORE 5271.384
AT ITER 4044 NEW BEST:: SOT 32139 SOS 24374 HAS SOPS 11760 HAS SOUS 7413 HAS SOUPS 5247 WITH SCORE 5271.374
AT ITER 4087 NEW BEST:: SOT 32120 SOS 24355 HAS SOPS 11741 HAS SOUS 7383 HAS SOUPS 5217 WITH SCORE 5241.355
AT ITER 4092 NEW BEST:: SOT 32106 SOS 24352 HAS SOPS 11713 HAS SOUS 7362 HAS SOUPS 5185 WITH SCORE 5209.352
AT ITER 4119 NEW BEST:: SOT 32106 SOS 24352 HAS SOPS 11710 HAS SOUS 7358 HAS SOUPS 5181 WITH SCORE 5205.352
AT ITER 4175 NEW BEST:: SOT 32110 SOS 24356 HAS SOPS 11714 HAS SOUS 7350 HAS SOUPS 5173 WITH SCORE 5197.356
AT ITER 4182 NEW BEST:: SOT 32110 SOS 24356 HAS SOPS 11714 HAS SOUS 7344 HAS SOUPS 5167 WITH SCORE 5191.356
AT ITER 4203 NEW BEST:: SOT 32108 SOS 24354 HAS SOPS 11711 HAS SOUS 7342 HAS SOUPS 5165 WITH SCORE 5189.354
AT ITER 4205 NEW BEST:: SOT 32120 SOS 24166 HAS SOPS 11627 HAS SOUS 7326 HAS SOUPS 5153 WITH SCORE 5177.166
AT ITER 4214 NEW BEST:: SOT 32118 SOS 24164 HAS SOPS 11624 HAS SOUS 7312 HAS SOUPS 5139 WITH SCORE 5163.164
AT ITER 4236 NEW BEST:: SOT 32116 SOS 24162 HAS SOPS 11605 HAS SOUS 7294 HAS SOUPS 5121 WITH SCORE 5145.162
AT ITER 4268 NEW BEST:: SOT 32114 SOS 24160 HAS SOPS 11603 HAS SOUS 7292 HAS SOUPS 5119 WITH SCORE 5143.16
AT ITER 4281 NEW BEST:: SOT 32166 SOS 23226 HAS SOPS 11175 HAS SOUS 7264 HAS SOUPS 5111 WITH SCORE 5134.226
AT ITER 4322 NEW BEST:: SOT 32168 SOS 23228 HAS SOPS 11178 HAS SOUS 7263 HAS SOUPS 5110 WITH SCORE 5133.228
AT ITER 4327 NEW BEST:: SOT 32152 SOS 23219 HAS SOPS 11154 HAS SOUS 7252 HAS SOUPS 5091 WITH SCORE 5114.219
AT ITER 4339 NEW BEST:: SOT 32148 SOS 23187 HAS SOPS 11141 HAS SOUS 7225 HAS SOUPS 5078 WITH SCORE 5101.187
AT ITER 4356 NEW BEST:: SOT 32148 SOS 23187 HAS SOPS 11102 HAS SOUS 7199 HAS SOUPS 5052 WITH SCORE 5075.187
AT ITER 4365 NEW BEST:: SOT 32157 SOS 23146 HAS SOPS 11103 HAS SOUS 7159 HAS SOUPS 5037 WITH SCORE 5060.146
AT ITER 4403 NEW BEST:: SOT 32157 SOS 23146 HAS SOPS 11095 HAS SOUS 7151 HAS SOUPS 5029 WITH SCORE 5052.146
AT ITER 4427 NEW BEST:: SOT 32152 SOS 23141 HAS SOPS 11094 HAS SOUS 7149 HAS SOUPS 5027 WITH SCORE 5050.141
AT ITER 4439 NEW BEST:: SOT 32152 SOS 23161 HAS SOPS 11094 HAS SOUS 7162 HAS SOUPS 5020 WITH SCORE 5043.161
AT ITER 4493 NEW BEST:: SOT 32130 SOS 23139 HAS SOPS 11061 HAS SOUS 7125 HAS SOUPS 4983 WITH SCORE 5006.139
AT ITER 4532 NEW BEST:: SOT 32125 SOS 23134 HAS SOPS 11056 HAS SOUS 7125 HAS SOUPS 4983 WITH SCORE 5006.134
AT ITER 4552 NEW BEST:: SOT 32135 SOS 23143 HAS SOPS 11035 HAS SOUS 7129 HAS SOUPS 4976 WITH SCORE 4999.143
AT ITER 4574 NEW BEST:: SOT 32124 SOS 23135 HAS SOPS 11023 HAS SOUS 7117 HAS SOUPS 4963 WITH SCORE 4986.135
AT ITER 4590 NEW BEST:: SOT 32118 SOS 23129 HAS SOPS 11014 HAS SOUS 7108 HAS SOUPS 4954 WITH SCORE 4977.129
AT ITER 4620 NEW BEST:: SOT 32118 SOS 23129 HAS SOPS 11014 HAS SOUS 7100 HAS SOUPS 4946 WITH SCORE 4969.129
AT ITER 4654 NEW BEST:: SOT 32110 SOS 23121 HAS SOPS 10982 HAS SOUS 7087 HAS SOUPS 4933 WITH SCORE 4956.121
AT ITER 4709 NEW BEST:: SOT 32123 SOS 22963 HAS SOPS 10915 HAS SOUS 7076 HAS SOUPS 4926 WITH SCORE 4948.963
AT ITER 4722 NEW BEST:: SOT 32129 SOS 22969 HAS SOPS 10924 HAS SOUS 7074 HAS SOUPS 4924 WITH SCORE 4946.969
AT ITER 4739 NEW BEST:: SOT 32121 SOS 22961 HAS SOPS 10912 HAS SOUS 7073 HAS SOUPS 4923 WITH SCORE 4945.961
AT ITER 4758 NEW BEST:: SOT 32121 SOS 22957 HAS SOPS 10912 HAS SOUS 7065 HAS SOUPS 4919 WITH SCORE 4941.957
AT ITER 4782 NEW BEST:: SOT 32113 SOS 22949 HAS SOPS 10900 HAS SOUS 7038 HAS SOUPS 4892 WITH SCORE 4914.949
AT ITER 4808 NEW BEST:: SOT 32111 SOS 22949 HAS SOPS 10896 HAS SOUS 7038 HAS SOUPS 4890 WITH SCORE 4912.949
AT ITER 4809 NEW BEST:: SOT 32110 SOS 22948 HAS SOPS 10895 HAS SOUS 7036 HAS SOUPS 4888 WITH SCORE 4910.948
AT ITER 4810 NEW BEST:: SOT 32110 SOS 22948 HAS SOPS 10895 HAS SOUS 7034 HAS SOUPS 4886 WITH SCORE 4908.948
AT ITER 4832 NEW BEST:: SOT 32123 SOS 22926 HAS SOPS 10911 HAS SOUS 7002 HAS SOUPS 4879 WITH SCORE 4901.926
AT ITER 4855 NEW BEST:: SOT 32121 SOS 22924 HAS SOPS 10908 HAS SOUS 6995 HAS SOUPS 4872 WITH SCORE 4894.924
AT ITER 4883 NEW BEST:: SOT 32103 SOS 23053 HAS SOPS 10956 HAS SOUS 6992 HAS SOUPS 4866 WITH SCORE 4889.053
AT ITER 4896 NEW BEST:: SOT 32110 SOS 22962 HAS SOPS 10915 HAS SOUS 6987 HAS SOUPS 4863 WITH SCORE 4885.962
AT ITER 4907 NEW BEST:: SOT 32118 SOS 22970 HAS SOPS 10895 HAS SOUS 6980 HAS SOUPS 4856 WITH SCORE 4878.97
AT ITER 4918 NEW BEST:: SOT 32110 SOS 22962 HAS SOPS 10883 HAS SOUS 6964 HAS SOUPS 4840 WITH SCORE 4862.962
AT ITER 4930 NEW BEST:: SOT 32104 SOS 22956 HAS SOPS 10874 HAS SOUS 6958 HAS SOUPS 4834 WITH SCORE 4856.956
AT ITER 4958 NEW BEST:: SOT 32104 SOS 22953 HAS SOPS 10871 HAS SOUS 6958 HAS SOUPS 4834 WITH SCORE 4856.953
AT ITER 4961 NEW BEST:: SOT 32112 SOS 22864 HAS SOPS 10833 HAS SOUS 6956 HAS SOUPS 4834 WITH SCORE 4856.864
AT ITER 5014 NEW BEST:: SOT 32108 SOS 22860 HAS SOPS 10825 HAS SOUS 6950 HAS SOUPS 4828 WITH SCORE 4850.86
AT ITER 5052 NEW BEST:: SOT 32090 SOS 22875 HAS SOPS 10802 HAS SOUS 6942 HAS SOUPS 4791 WITH SCORE 4813.875
AT ITER 5064 NEW BEST:: SOT 32090 SOS 22851 HAS SOPS 10772 HAS SOUS 6948 HAS SOUPS 4791 WITH SCORE 4813.851
AT ITER 5105 NEW BEST:: SOT 32084 SOS 22849 HAS SOPS 10774 HAS SOUS 6944 HAS SOUPS 4787 WITH SCORE 4809.849
AT ITER 5133 NEW BEST:: SOT 32077 SOS 22882 HAS SOPS 10787 HAS SOUS 6942 HAS SOUPS 4785 WITH SCORE 4807.882
AT ITER 5142 NEW BEST:: SOT 32077 SOS 22882 HAS SOPS 10759 HAS SOUS 6914 HAS SOUPS 4757 WITH SCORE 4779.882
AT ITER 5150 NEW BEST:: SOT 32092 SOS 22771 HAS SOPS 10723 HAS SOUS 6914 HAS SOUPS 4757 WITH SCORE 4779.771
AT ITER 5176 NEW BEST:: SOT 32054 SOS 22733 HAS SOPS 10710 HAS SOUS 6892 HAS SOUPS 4735 WITH SCORE 4757.733
AT ITER 5182 NEW BEST:: SOT 32052 SOS 22731 HAS SOPS 10707 HAS SOUS 6889 HAS SOUPS 4732 WITH SCORE 4754.731
AT ITER 5212 NEW BEST:: SOT 32052 SOS 22731 HAS SOPS 10707 HAS SOUS 6884 HAS SOUPS 4727 WITH SCORE 4749.731
AT ITER 5261 NEW BEST:: SOT 32051 SOS 22740 HAS SOPS 10715 HAS SOUS 6883 HAS SOUPS 4726 WITH SCORE 4748.74
AT ITER 5283 NEW BEST:: SOT 32064 SOS 22530 HAS SOPS 10537 HAS SOUS 6870 HAS SOUPS 4713 WITH SCORE 4735.53
AT ITER 5285 NEW BEST:: SOT 32048 SOS 22514 HAS SOPS 10514 HAS SOUS 6840 HAS SOUPS 4683 WITH SCORE 4705.514
AT ITER 5290 NEW BEST:: SOT 32048 SOS 22514 HAS SOPS 10514 HAS SOUS 6839 HAS SOUPS 4682 WITH SCORE 4704.514
AT ITER 5291 NEW BEST:: SOT 32026 SOS 22492 HAS SOPS 10481 HAS SOUS 6805 HAS SOUPS 4648 WITH SCORE 4670.492
AT ITER 5407 NEW BEST:: SOT 32024 SOS 22490 HAS SOPS 10470 HAS SOUS 6796 HAS SOUPS 4639 WITH SCORE 4661.49
AT ITER 5408 NEW BEST:: SOT 32020 SOS 22486 HAS SOPS 10470 HAS SOUS 6796 HAS SOUPS 4639 WITH SCORE 4661.486
AT ITER 5450 NEW BEST:: SOT 32033 SOS 22499 HAS SOPS 10447 HAS SOUS 6769 HAS SOUPS 4612 WITH SCORE 4634.499
AT ITER 5490 NEW BEST:: SOT 32033 SOS 22499 HAS SOPS 10447 HAS SOUS 6765 HAS SOUPS 4608 WITH SCORE 4630.499
AT ITER 5548 NEW BEST:: SOT 32052 SOS 22345 HAS SOPS 10386 HAS SOUS 6764 HAS SOUPS 4607 WITH SCORE 4629.345
AT ITER 5598 NEW BEST:: SOT 32060 SOS 22353 HAS SOPS 10367 HAS SOUS 6758 HAS SOUPS 4601 WITH SCORE 4623.353
AT ITER 5659 NEW BEST:: SOT 32057 SOS 22288 HAS SOPS 10361 HAS SOUS 6707 HAS SOUPS 4581 WITH SCORE 4603.288
AT ITER 5718 NEW BEST:: SOT 32001 SOS 22140 HAS SOPS 10249 HAS SOUS 6642 HAS SOUPS 4552 WITH SCORE 4574.14
AT ITER 5772 NEW BEST:: SOT 31989 SOS 22128 HAS SOPS 10231 HAS SOUS 6624 HAS SOUPS 4534 WITH SCORE 4556.128
AT ITER 5807 NEW BEST:: SOT 31987 SOS 22122 HAS SOPS 10222 HAS SOUS 6622 HAS SOUPS 4532 WITH SCORE 4554.122
AT ITER 5811 NEW BEST:: SOT 31981 SOS 22153 HAS SOPS 10252 HAS SOUS 6620 HAS SOUPS 4530 WITH SCORE 4552.153
AT ITER 5886 NEW BEST:: SOT 31976 SOS 22148 HAS SOPS 10242 HAS SOUS 6610 HAS SOUPS 4520 WITH SCORE 4542.148
AT ITER 5898 NEW BEST:: SOT 31961 SOS 22129 HAS SOPS 10217 HAS SOUS 6582 HAS SOUPS 4492 WITH SCORE 4514.129
AT ITER 5918 NEW BEST:: SOT 31945 SOS 22113 HAS SOPS 10193 HAS SOUS 6544 HAS SOUPS 4454 WITH SCORE 4476.113
AT ITER 5941 NEW BEST:: SOT 31972 SOS 21844 HAS SOPS 10076 HAS SOUS 6525 HAS SOUPS 4441 WITH SCORE 4462.844
AT ITER 6021 NEW BEST:: SOT 31969 SOS 21838 HAS SOPS 10070 HAS SOUS 6488 HAS SOUPS 4404 WITH SCORE 4425.838
AT ITER 6023 NEW BEST:: SOT 31942 SOS 21957 HAS SOPS 10099 HAS SOUS 6485 HAS SOUPS 4397 WITH SCORE 4418.957
AT ITER 6072 NEW BEST:: SOT 31916 SOS 22003 HAS SOPS 10121 HAS SOUS 6475 HAS SOUPS 4387 WITH SCORE 4409.003
AT ITER 6083 NEW BEST:: SOT 31928 SOS 21868 HAS SOPS 10061 HAS SOUS 6468 HAS SOUPS 4383 WITH SCORE 4404.868
AT ITER 6137 NEW BEST:: SOT 31894 SOS 21834 HAS SOPS 10063 HAS SOUS 6465 HAS SOUPS 4380 WITH SCORE 4401.834
AT ITER 6156 NEW BEST:: SOT 31894 SOS 21834 HAS SOPS 10023 HAS SOUS 6441 HAS SOUPS 4356 WITH SCORE 4377.834
AT ITER 6236 NEW BEST:: SOT 31879 SOS 21834 HAS SOPS 10008 HAS SOUS 6441 HAS SOUPS 4341 WITH SCORE 4362.834
AT ITER 6272 NEW BEST:: SOT 31879 SOS 21834 HAS SOPS 10008 HAS SOUS 6436 HAS SOUPS 4336 WITH SCORE 4357.834
AT ITER 6340 NEW BEST:: SOT 31883 SOS 21838 HAS SOPS 9999 HAS SOUS 6435 HAS SOUPS 4335 WITH SCORE 4356.838
AT ITER 6350 NEW BEST:: SOT 31879 SOS 21834 HAS SOPS 9987 HAS SOUS 6425 HAS SOUPS 4325 WITH SCORE 4346.834
AT ITER 6369 NEW BEST:: SOT 31873 SOS 21828 HAS SOPS 9966 HAS SOUS 6410 HAS SOUPS 4307 WITH SCORE 4328.828
AT ITER 6400 NEW BEST:: SOT 31871 SOS 21826 HAS SOPS 9963 HAS SOUS 6399 HAS SOUPS 4296 WITH SCORE 4317.826
AT ITER 6415 NEW BEST:: SOT 31871 SOS 21826 HAS SOPS 9963 HAS SOUS 6387 HAS SOUPS 4284 WITH SCORE 4305.826
AT ITER 6427 NEW BEST:: SOT 31871 SOS 21825 HAS SOPS 9963 HAS SOUS 6386 HAS SOUPS 4284 WITH SCORE 4305.825
AT ITER 6549 NEW BEST:: SOT 31847 SOS 21801 HAS SOPS 9927 HAS SOUS 6345 HAS SOUPS 4243 WITH SCORE 4264.801
AT ITER 6554 NEW BEST:: SOT 31847 SOS 21801 HAS SOPS 9927 HAS SOUS 6344 HAS SOUPS 4242 WITH SCORE 4263.801
AT ITER 6573 NEW BEST:: SOT 31847 SOS 21801 HAS SOPS 9927 HAS SOUS 6335 HAS SOUPS 4233 WITH SCORE 4254.801
AT ITER 6586 NEW BEST:: SOT 31843 SOS 21797 HAS SOPS 9927 HAS SOUS 6335 HAS SOUPS 4233 WITH SCORE 4254.797
AT ITER 6646 NEW BEST:: SOT 31840 SOS 21794 HAS SOPS 9926 HAS SOUS 6330 HAS SOUPS 4228 WITH SCORE 4249.794
AT ITER 6660 NEW BEST:: SOT 31839 SOS 21793 HAS SOPS 9925 HAS SOUS 6328 HAS SOUPS 4226 WITH SCORE 4247.793
AT ITER 6705 NEW BEST:: SOT 31835 SOS 21789 HAS SOPS 9927 HAS SOUS 6322 HAS SOUPS 4220 WITH SCORE 4241.789
AT ITER 6756 NEW BEST:: SOT 31847 SOS 21801 HAS SOPS 9930 HAS SOUS 6321 HAS SOUPS 4219 WITH SCORE 4240.801
AT ITER 6850 NEW BEST:: SOT 31843 SOS 21793 HAS SOPS 9922 HAS SOUS 6317 HAS SOUPS 4215 WITH SCORE 4236.793
AT ITER 6919 NEW BEST:: SOT 31843 SOS 21793 HAS SOPS 9918 HAS SOUS 6314 HAS SOUPS 4212 WITH SCORE 4233.793
AT ITER 6958 NEW BEST:: SOT 31836 SOS 21786 HAS SOPS 9903 HAS SOUS 6309 HAS SOUPS 4207 WITH SCORE 4228.786
AT ITER 6962 NEW BEST:: SOT 31832 SOS 21782 HAS SOPS 9889 HAS SOUS 6305 HAS SOUPS 4201 WITH SCORE 4222.782
AT ITER 6963 NEW BEST:: SOT 31828 SOS 21778 HAS SOPS 9883 HAS SOUS 6304 HAS SOUPS 4200 WITH SCORE 4221.778
AT ITER 6977 NEW BEST:: SOT 31824 SOS 21774 HAS SOPS 9879 HAS SOUS 6300 HAS SOUPS 4196 WITH SCORE 4217.774
AT ITER 6989 NEW BEST:: SOT 31820 SOS 21770 HAS SOPS 9869 HAS SOUS 6294 HAS SOUPS 4190 WITH SCORE 4211.77
AT ITER 7020 NEW BEST:: SOT 31816 SOS 21766 HAS SOPS 9865 HAS SOUS 6291 HAS SOUPS 4187 WITH SCORE 4208.766
AT ITER 7046 NEW BEST:: SOT 31812 SOS 21762 HAS SOPS 9859 HAS SOUS 6285 HAS SOUPS 4181 WITH SCORE 4202.762
AT ITER 7078 NEW BEST:: SOT 31876 SOS 21292 HAS SOPS 9671 HAS SOUS 6267 HAS SOUPS 4174 WITH SCORE 4195.292
AT ITER 7096 NEW BEST:: SOT 31874 SOS 21290 HAS SOPS 9667 HAS SOUS 6263 HAS SOUPS 4170 WITH SCORE 4191.29
AT ITER 7100 NEW BEST:: SOT 31872 SOS 21288 HAS SOPS 9667 HAS SOUS 6263 HAS SOUPS 4170 WITH SCORE 4191.288
AT ITER 7131 NEW BEST:: SOT 31880 SOS 21198 HAS SOPS 9627 HAS SOUS 6259 HAS SOUPS 4168 WITH SCORE 4189.198
AT ITER 7182 NEW BEST:: SOT 31846 SOS 21404 HAS SOPS 9684 HAS SOUS 6245 HAS SOUPS 4149 WITH SCORE 4170.404
AT ITER 7204 NEW BEST:: SOT 31842 SOS 21400 HAS SOPS 9678 HAS SOUS 6241 HAS SOUPS 4145 WITH SCORE 4166.4
AT ITER 7227 NEW BEST:: SOT 31841 SOS 21399 HAS SOPS 9677 HAS SOUS 6240 HAS SOUPS 4144 WITH SCORE 4165.399
AT ITER 7269 NEW BEST:: SOT 31831 SOS 21389 HAS SOPS 9638 HAS SOUS 6227 HAS SOUPS 4125 WITH SCORE 4146.389
AT ITER 7329 NEW BEST:: SOT 31829 SOS 21387 HAS SOPS 9635 HAS SOUS 6223 HAS SOUPS 4121 WITH SCORE 4142.387
AT ITER 7366 NEW BEST:: SOT 31811 SOS 21369 HAS SOPS 9622 HAS SOUS 6214 HAS SOUPS 4112 WITH SCORE 4133.369
AT ITER 7387 NEW BEST:: SOT 31807 SOS 21365 HAS SOPS 9616 HAS SOUS 6208 HAS SOUPS 4106 WITH SCORE 4127.365
AT ITER 7422 NEW BEST:: SOT 31807 SOS 21365 HAS SOPS 9616 HAS SOUS 6206 HAS SOUPS 4104 WITH SCORE 4125.365
AT ITER 7561 NEW BEST:: SOT 31797 SOS 21325 HAS SOPS 9571 HAS SOUS 6201 HAS SOUPS 4094 WITH SCORE 4115.325
AT ITER 7661 NEW BEST:: SOT 31748 SOS 21528 HAS SOPS 9592 HAS SOUS 6194 HAS SOUPS 4080 WITH SCORE 4101.528
AT ITER 7679 NEW BEST:: SOT 31745 SOS 21525 HAS SOPS 9574 HAS SOUS 6183 HAS SOUPS 4069 WITH SCORE 4090.525
AT ITER 7752 NEW BEST:: SOT 31747 SOS 21527 HAS SOPS 9571 HAS SOUS 6178 HAS SOUPS 4064 WITH SCORE 4085.527
AT ITER 7841 NEW BEST:: SOT 31749 SOS 21529 HAS SOPS 9574 HAS SOUS 6175 HAS SOUPS 4061 WITH SCORE 4082.529
AT ITER 7940 NEW BEST:: SOT 31749 SOS 21533 HAS SOPS 9582 HAS SOUS 6169 HAS SOUPS 4059 WITH SCORE 4080.533
AT ITER 8151 NEW BEST:: SOT 31749 SOS 21533 HAS SOPS 9578 HAS SOUS 6165 HAS SOUPS 4055 WITH SCORE 4076.533
AT ITER 8243 NEW BEST:: SOT 31711 SOS 21676 HAS SOPS 9591 HAS SOUS 6166 HAS SOUPS 4051 WITH SCORE 4072.676
AT ITER 8321 NEW BEST:: SOT 31711 SOS 21676 HAS SOPS 9591 HAS SOUS 6164 HAS SOUPS 4049 WITH SCORE 4070.676
AT ITER 8351 NEW BEST:: SOT 31709 SOS 21674 HAS SOPS 9588 HAS SOUS 6160 HAS SOUPS 4045 WITH SCORE 4066.674
AT ITER 8418 NEW BEST:: SOT 31707 SOS 21672 HAS SOPS 9584 HAS SOUS 6156 HAS SOUPS 4041 WITH SCORE 4062.672
AT ITER 8423 NEW BEST:: SOT 31707 SOS 21672 HAS SOPS 9584 HAS SOUS 6154 HAS SOUPS 4039 WITH SCORE 4060.672
AT ITER 8541 NEW BEST:: SOT 31705 SOS 21670 HAS SOPS 9582 HAS SOUS 6150 HAS SOUPS 4035 WITH SCORE 4056.67
AT ITER 8556 NEW BEST:: SOT 31710 SOS 21686 HAS SOPS 9587 HAS SOUS 6144 HAS SOUPS 4018 WITH SCORE 4039.686
AT ITER 8594 NEW BEST:: SOT 31710 SOS 21688 HAS SOPS 9585 HAS SOUS 6141 HAS SOUPS 4015 WITH SCORE 4036.688
AT ITER 8631 NEW BEST:: SOT 31704 SOS 21660 HAS SOPS 9553 HAS SOUS 6130 HAS SOUPS 4004 WITH SCORE 4025.66
AT ITER 8665 NEW BEST:: SOT 31690 SOS 21646 HAS SOPS 9532 HAS SOUS 6101 HAS SOUPS 3975 WITH SCORE 3996.646
AT ITER 8683 NEW BEST:: SOT 31684 SOS 21640 HAS SOPS 9529 HAS SOUS 6100 HAS SOUPS 3974 WITH SCORE 3995.64
AT ITER 8693 NEW BEST:: SOT 31688 SOS 21644 HAS SOPS 9535 HAS SOUS 6098 HAS SOUPS 3972 WITH SCORE 3993.644
AT ITER 8722 NEW BEST:: SOT 31682 SOS 21638 HAS SOPS 9543 HAS SOUS 6098 HAS SOUPS 3972 WITH SCORE 3993.638
AT ITER 8750 NEW BEST:: SOT 31676 SOS 21632 HAS SOPS 9531 HAS SOUS 6089 HAS SOUPS 3963 WITH SCORE 3984.632
AT ITER 8943 NEW BEST:: SOT 31682 SOS 21638 HAS SOPS 9523 HAS SOUS 6083 HAS SOUPS 3957 WITH SCORE 3978.638
AT ITER 8968 NEW BEST:: SOT 31682 SOS 21637 HAS SOPS 9522 HAS SOUS 6083 HAS SOUPS 3957 WITH SCORE 3978.637
AT ITER 9027 NEW BEST:: SOT 31687 SOS 21642 HAS SOPS 9527 HAS SOUS 6075 HAS SOUPS 3949 WITH SCORE 3970.642
AT ITER 9342 NEW BEST:: SOT 31685 SOS 21640 HAS SOPS 9520 HAS SOUS 6070 HAS SOUPS 3943 WITH SCORE 3964.64
AT ITER 9359 NEW BEST:: SOT 31685 SOS 21640 HAS SOPS 9508 HAS SOUS 6064 HAS SOUPS 3934 WITH SCORE 3955.64
AT ITER 9425 NEW BEST:: SOT 31691 SOS 21646 HAS SOPS 9514 HAS SOUS 6059 HAS SOUPS 3929 WITH SCORE 3950.646
AT ITER 9448 NEW BEST:: SOT 31687 SOS 21638 HAS SOPS 9510 HAS SOUS 6052 HAS SOUPS 3926 WITH SCORE 3947.638
AT ITER 9463 NEW BEST:: SOT 31705 SOS 21511 HAS SOPS 9462 HAS SOUS 6047 HAS SOUPS 3924 WITH SCORE 3945.511
AT ITER 9498 NEW BEST:: SOT 31704 SOS 21511 HAS SOPS 9460 HAS SOUS 6045 HAS SOUPS 3921 WITH SCORE 3942.511
AT ITER 9528 NEW BEST:: SOT 31704 SOS 21511 HAS SOPS 9460 HAS SOUS 6044 HAS SOUPS 3920 WITH SCORE 3941.511
AT ITER 9543 NEW BEST:: SOT 31710 SOS 21517 HAS SOPS 9453 HAS SOUS 6045 HAS SOUPS 3917 WITH SCORE 3938.517
AT ITER 9578 NEW BEST:: SOT 31704 SOS 21511 HAS SOPS 9444 HAS SOUS 6034 HAS SOUPS 3906 WITH SCORE 3927.511
AT ITER 9674 NEW BEST:: SOT 31700 SOS 21507 HAS SOPS 9441 HAS SOUS 6031 HAS SOUPS 3903 WITH SCORE 3924.507
AT ITER 9748 NEW BEST:: SOT 31702 SOS 21509 HAS SOPS 9436 HAS SOUS 6028 HAS SOUPS 3900 WITH SCORE 3921.509
AT ITER 9751 NEW BEST:: SOT 31696 SOS 21503 HAS SOPS 9427 HAS SOUS 6017 HAS SOUPS 3889 WITH SCORE 3910.503
AT ITER 9818 NEW BEST:: SOT 31696 SOS 21503 HAS SOPS 9427 HAS SOUS 6016 HAS SOUPS 3888 WITH SCORE 3909.503
AT ITER 9820 NEW BEST:: SOT 31674 SOS 21481 HAS SOPS 9394 HAS SOUS 5983 HAS SOUPS 3855 WITH SCORE 3876.481
AT ITER 9839 NEW BEST:: SOT 31646 SOS 21453 HAS SOPS 9415 HAS SOUS 5982 HAS SOUPS 3854 WITH SCORE 3875.453
AT ITER 9876 NEW BEST:: SOT 31645 SOS 21453 HAS SOPS 9413 HAS SOUS 5980 HAS SOUPS 3851 WITH SCORE 3872.453
AT ITER 9908 NEW BEST:: SOT 31646 SOS 21452 HAS SOPS 9414 HAS SOUS 5974 HAS SOUPS 3847 WITH SCORE 3868.452
STATE_SPACE STATES 290943857237679643228538581 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 38 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 6992602093393911917034043864 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589800212181

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

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="Raft-PT-06"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is Raft-PT-06, 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 r138-smll-158961502600256"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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