Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 496K
-rw-r--r-- 1 mcc users 6.0K Feb 26 00:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 26 00:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 25 23:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 23:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 17:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 17:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.1K Feb 26 00:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 91K Feb 26 00:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Feb 26 00:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 84K Feb 26 00:25 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 82K 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 1679088598296

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=ShieldRVt-PT-030A
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (PT), instance 030A
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: 243 places, 243 transitions, 1026 arcs.
AT ITER 0 NEW BEST:: SOT 46396 SOS 34198 HAS SOPS 34198 HAS SOUS 31925 HAS SOUPS 31925 WITH SCORE 31959.198
AT ITER 1 NEW BEST:: SOT 46388 SOS 34186 HAS SOPS 34186 HAS SOUS 31906 HAS SOUPS 31906 WITH SCORE 31940.186
AT ITER 5 NEW BEST:: SOT 46343 SOS 34118 HAS SOPS 34118 HAS SOUS 31794 HAS SOUPS 31794 WITH SCORE 31828.118
AT ITER 6 NEW BEST:: SOT 46259 SOS 34005 HAS SOPS 34005 HAS SOUS 31739 HAS SOUPS 31739 WITH SCORE 31773.005
AT ITER 7 NEW BEST:: SOT 46163 SOS 33813 HAS SOPS 33813 HAS SOUS 31581 HAS SOUPS 31581 WITH SCORE 31614.813
AT ITER 10 NEW BEST:: SOT 46050 SOS 33585 HAS SOPS 33585 HAS SOUS 31354 HAS SOUPS 31354 WITH SCORE 31387.585
AT ITER 12 NEW BEST:: SOT 45962 SOS 33405 HAS SOPS 33405 HAS SOUS 31177 HAS SOUPS 31177 WITH SCORE 31210.405
AT ITER 13 NEW BEST:: SOT 45699 SOS 33034 HAS SOPS 33034 HAS SOUS 30770 HAS SOUPS 30770 WITH SCORE 30803.034
AT ITER 14 NEW BEST:: SOT 45559 SOS 32783 HAS SOPS 32783 HAS SOUS 30557 HAS SOUPS 30557 WITH SCORE 30589.783
AT ITER 19 NEW BEST:: SOT 45533 SOS 32744 HAS SOPS 32744 HAS SOUS 30518 HAS SOUPS 30518 WITH SCORE 30550.744
AT ITER 21 NEW BEST:: SOT 45425 SOS 32528 HAS SOPS 32528 HAS SOUS 30351 HAS SOUPS 30351 WITH SCORE 30383.528
AT ITER 22 NEW BEST:: SOT 45360 SOS 32401 HAS SOPS 32401 HAS SOUS 30178 HAS SOUPS 30178 WITH SCORE 30210.401
AT ITER 23 NEW BEST:: SOT 45271 SOS 32226 HAS SOPS 32226 HAS SOUS 29931 HAS SOUPS 29931 WITH SCORE 29963.226
AT ITER 25 NEW BEST:: SOT 45198 SOS 32056 HAS SOPS 32056 HAS SOUS 29722 HAS SOUPS 29722 WITH SCORE 29754.056
AT ITER 26 NEW BEST:: SOT 45142 SOS 31926 HAS SOPS 31926 HAS SOUS 29680 HAS SOUPS 29680 WITH SCORE 29711.926
AT ITER 27 NEW BEST:: SOT 45142 SOS 31925 HAS SOPS 31925 HAS SOUS 29680 HAS SOUPS 29680 WITH SCORE 29711.925
AT ITER 28 NEW BEST:: SOT 45145 SOS 31907 HAS SOPS 31907 HAS SOUS 29662 HAS SOUPS 29662 WITH SCORE 29693.907
AT ITER 29 NEW BEST:: SOT 45098 SOS 31767 HAS SOPS 31767 HAS SOUS 29568 HAS SOUPS 29568 WITH SCORE 29599.767
AT ITER 31 NEW BEST:: SOT 44985 SOS 31467 HAS SOPS 31467 HAS SOUS 29365 HAS SOUPS 29365 WITH SCORE 29396.467
AT ITER 32 NEW BEST:: SOT 44959 SOS 31416 HAS SOPS 31416 HAS SOUS 29350 HAS SOUPS 29350 WITH SCORE 29381.416
AT ITER 33 NEW BEST:: SOT 44953 SOS 31410 HAS SOPS 31410 HAS SOUS 29344 HAS SOUPS 29344 WITH SCORE 29375.41
AT ITER 39 NEW BEST:: SOT 44683 SOS 31021 HAS SOPS 31021 HAS SOUS 28876 HAS SOUPS 28876 WITH SCORE 28907.021
AT ITER 40 NEW BEST:: SOT 44679 SOS 31018 HAS SOPS 31018 HAS SOUS 28859 HAS SOUPS 28859 WITH SCORE 28890.018
AT ITER 41 NEW BEST:: SOT 44583 SOS 30770 HAS SOPS 30770 HAS SOUS 28708 HAS SOUPS 28708 WITH SCORE 28738.77
AT ITER 43 NEW BEST:: SOT 44583 SOS 30792 HAS SOPS 30792 HAS SOUS 28704 HAS SOUPS 28704 WITH SCORE 28734.792
AT ITER 44 NEW BEST:: SOT 44520 SOS 30729 HAS SOPS 30729 HAS SOUS 28641 HAS SOUPS 28641 WITH SCORE 28671.729
AT ITER 45 NEW BEST:: SOT 44517 SOS 30726 HAS SOPS 30726 HAS SOUS 28638 HAS SOUPS 28638 WITH SCORE 28668.726
AT ITER 46 NEW BEST:: SOT 44395 SOS 30471 HAS SOPS 30471 HAS SOUS 28373 HAS SOUPS 28373 WITH SCORE 28403.471
AT ITER 47 NEW BEST:: SOT 44388 SOS 30454 HAS SOPS 30454 HAS SOUS 28357 HAS SOUPS 28357 WITH SCORE 28387.454
AT ITER 51 NEW BEST:: SOT 44323 SOS 30296 HAS SOPS 30296 HAS SOUS 28248 HAS SOUPS 28248 WITH SCORE 28278.296
AT ITER 53 NEW BEST:: SOT 44078 SOS 29952 HAS SOPS 29952 HAS SOUS 27905 HAS SOUPS 27905 WITH SCORE 27934.952
AT ITER 54 NEW BEST:: SOT 44055 SOS 29920 HAS SOPS 29920 HAS SOUS 27886 HAS SOUPS 27886 WITH SCORE 27915.92
AT ITER 59 NEW BEST:: SOT 43982 SOS 29800 HAS SOPS 29800 HAS SOUS 27708 HAS SOUPS 27708 WITH SCORE 27737.8
AT ITER 63 NEW BEST:: SOT 44085 SOS 29784 HAS SOPS 29784 HAS SOUS 27692 HAS SOUPS 27692 WITH SCORE 27721.784
AT ITER 66 NEW BEST:: SOT 43961 SOS 29488 HAS SOPS 29488 HAS SOUS 27109 HAS SOUPS 27109 WITH SCORE 27138.488
AT ITER 69 NEW BEST:: SOT 43961 SOS 29488 HAS SOPS 29488 HAS SOUS 27106 HAS SOUPS 27106 WITH SCORE 27135.488
AT ITER 70 NEW BEST:: SOT 43910 SOS 29467 HAS SOPS 29467 HAS SOUS 27059 HAS SOUPS 27059 WITH SCORE 27088.467
AT ITER 73 NEW BEST:: SOT 43902 SOS 29451 HAS SOPS 29451 HAS SOUS 27051 HAS SOUPS 27051 WITH SCORE 27080.451
AT ITER 79 NEW BEST:: SOT 43891 SOS 29440 HAS SOPS 29440 HAS SOUS 27040 HAS SOUPS 27040 WITH SCORE 27069.44
AT ITER 98 NEW BEST:: SOT 43856 SOS 29370 HAS SOPS 29370 HAS SOUS 26973 HAS SOUPS 26973 WITH SCORE 27002.37
AT ITER 99 NEW BEST:: SOT 43833 SOS 29347 HAS SOPS 29347 HAS SOUS 26950 HAS SOUPS 26950 WITH SCORE 26979.347
AT ITER 101 NEW BEST:: SOT 43646 SOS 29060 HAS SOPS 29060 HAS SOUS 26663 HAS SOUPS 26663 WITH SCORE 26692.06
AT ITER 102 NEW BEST:: SOT 43639 SOS 29046 HAS SOPS 29046 HAS SOUS 26649 HAS SOUPS 26649 WITH SCORE 26678.046
AT ITER 106 NEW BEST:: SOT 43532 SOS 28773 HAS SOPS 28773 HAS SOUS 26457 HAS SOUPS 26457 WITH SCORE 26485.773
AT ITER 107 NEW BEST:: SOT 43436 SOS 28584 HAS SOPS 28584 HAS SOUS 26157 HAS SOUPS 26157 WITH SCORE 26185.584
AT ITER 111 NEW BEST:: SOT 43425 SOS 28549 HAS SOPS 28549 HAS SOUS 26123 HAS SOUPS 26123 WITH SCORE 26151.549
AT ITER 112 NEW BEST:: SOT 43411 SOS 28507 HAS SOPS 28507 HAS SOUS 26095 HAS SOUPS 26095 WITH SCORE 26123.507
AT ITER 114 NEW BEST:: SOT 43203 SOS 28193 HAS SOPS 28193 HAS SOUS 25703 HAS SOUPS 25703 WITH SCORE 25731.193
AT ITER 115 NEW BEST:: SOT 42947 SOS 27824 HAS SOPS 27824 HAS SOUS 25300 HAS SOUPS 25300 WITH SCORE 25327.824
AT ITER 116 NEW BEST:: SOT 42879 SOS 27691 HAS SOPS 27691 HAS SOUS 25102 HAS SOUPS 25102 WITH SCORE 25129.691
AT ITER 119 NEW BEST:: SOT 42773 SOS 27380 HAS SOPS 27380 HAS SOUS 24893 HAS SOUPS 24893 WITH SCORE 24920.38
AT ITER 121 NEW BEST:: SOT 42763 SOS 27370 HAS SOPS 27370 HAS SOUS 24883 HAS SOUPS 24883 WITH SCORE 24910.37
AT ITER 122 NEW BEST:: SOT 42615 SOS 27156 HAS SOPS 27156 HAS SOUS 24772 HAS SOUPS 24772 WITH SCORE 24799.156
AT ITER 123 NEW BEST:: SOT 42611 SOS 27152 HAS SOPS 27152 HAS SOUS 24768 HAS SOUPS 24768 WITH SCORE 24795.152
AT ITER 127 NEW BEST:: SOT 42608 SOS 27149 HAS SOPS 27149 HAS SOUS 24765 HAS SOUPS 24765 WITH SCORE 24792.149
AT ITER 131 NEW BEST:: SOT 42573 SOS 27079 HAS SOPS 27079 HAS SOUS 24660 HAS SOUPS 24660 WITH SCORE 24687.079
AT ITER 133 NEW BEST:: SOT 42450 SOS 26803 HAS SOPS 26803 HAS SOUS 24415 HAS SOUPS 24415 WITH SCORE 24441.803
AT ITER 134 NEW BEST:: SOT 42432 SOS 26767 HAS SOPS 26767 HAS SOUS 24392 HAS SOUPS 24392 WITH SCORE 24418.767
AT ITER 135 NEW BEST:: SOT 42400 SOS 26708 HAS SOPS 26708 HAS SOUS 24333 HAS SOUPS 24333 WITH SCORE 24359.708
AT ITER 140 NEW BEST:: SOT 42353 SOS 26614 HAS SOPS 26614 HAS SOUS 24239 HAS SOUPS 24239 WITH SCORE 24265.614
AT ITER 145 NEW BEST:: SOT 42253 SOS 26398 HAS SOPS 26398 HAS SOUS 24038 HAS SOUPS 24038 WITH SCORE 24064.398
AT ITER 146 NEW BEST:: SOT 42207 SOS 26260 HAS SOPS 26260 HAS SOUS 23923 HAS SOUPS 23923 WITH SCORE 23949.26
AT ITER 147 NEW BEST:: SOT 42151 SOS 26082 HAS SOPS 26082 HAS SOUS 23819 HAS SOUPS 23819 WITH SCORE 23845.082
AT ITER 148 NEW BEST:: SOT 42142 SOS 26064 HAS SOPS 26064 HAS SOUS 23792 HAS SOUPS 23792 WITH SCORE 23818.064
AT ITER 150 NEW BEST:: SOT 42134 SOS 26061 HAS SOPS 26061 HAS SOUS 23761 HAS SOUPS 23761 WITH SCORE 23787.061
AT ITER 152 NEW BEST:: SOT 41957 SOS 25695 HAS SOPS 25695 HAS SOUS 23374 HAS SOUPS 23374 WITH SCORE 23399.695
AT ITER 153 NEW BEST:: SOT 41957 SOS 25659 HAS SOPS 25659 HAS SOUS 23315 HAS SOUPS 23315 WITH SCORE 23340.659
AT ITER 156 NEW BEST:: SOT 41937 SOS 25699 HAS SOPS 25699 HAS SOUS 23296 HAS SOUPS 23296 WITH SCORE 23321.699
AT ITER 160 NEW BEST:: SOT 41791 SOS 25514 HAS SOPS 25514 HAS SOUS 23155 HAS SOUPS 23155 WITH SCORE 23180.514
AT ITER 161 NEW BEST:: SOT 41727 SOS 25387 HAS SOPS 25387 HAS SOUS 23057 HAS SOUPS 23057 WITH SCORE 23082.387
AT ITER 162 NEW BEST:: SOT 41727 SOS 25381 HAS SOPS 25381 HAS SOUS 23055 HAS SOUPS 23055 WITH SCORE 23080.381
AT ITER 165 NEW BEST:: SOT 41677 SOS 25282 HAS SOPS 25282 HAS SOUS 23000 HAS SOUPS 23000 WITH SCORE 23025.282
AT ITER 169 NEW BEST:: SOT 41605 SOS 25245 HAS SOPS 25245 HAS SOUS 22963 HAS SOUPS 22963 WITH SCORE 22988.245
AT ITER 170 NEW BEST:: SOT 41516 SOS 25130 HAS SOPS 25130 HAS SOUS 22875 HAS SOUPS 22875 WITH SCORE 22900.13
AT ITER 173 NEW BEST:: SOT 41387 SOS 24841 HAS SOPS 24841 HAS SOUS 22644 HAS SOUPS 22644 WITH SCORE 22668.841
AT ITER 185 NEW BEST:: SOT 41358 SOS 24675 HAS SOPS 24675 HAS SOUS 22507 HAS SOUPS 22507 WITH SCORE 22531.675
AT ITER 187 NEW BEST:: SOT 41324 SOS 24624 HAS SOPS 24624 HAS SOUS 22439 HAS SOUPS 22439 WITH SCORE 22463.624
AT ITER 188 NEW BEST:: SOT 41311 SOS 24606 HAS SOPS 24606 HAS SOUS 22428 HAS SOUPS 22428 WITH SCORE 22452.606
AT ITER 190 NEW BEST:: SOT 41277 SOS 24565 HAS SOPS 24565 HAS SOUS 22387 HAS SOUPS 22387 WITH SCORE 22411.565
AT ITER 193 NEW BEST:: SOT 41267 SOS 24550 HAS SOPS 24550 HAS SOUS 22367 HAS SOUPS 22367 WITH SCORE 22391.55
AT ITER 194 NEW BEST:: SOT 41197 SOS 24456 HAS SOPS 24456 HAS SOUS 22321 HAS SOUPS 22321 WITH SCORE 22345.456
AT ITER 196 NEW BEST:: SOT 41197 SOS 24463 HAS SOPS 24463 HAS SOUS 22317 HAS SOUPS 22317 WITH SCORE 22341.463
AT ITER 198 NEW BEST:: SOT 41196 SOS 24462 HAS SOPS 24462 HAS SOUS 22316 HAS SOUPS 22316 WITH SCORE 22340.462
AT ITER 199 NEW BEST:: SOT 41121 SOS 24298 HAS SOPS 24298 HAS SOUS 22167 HAS SOUPS 22167 WITH SCORE 22191.298
AT ITER 200 NEW BEST:: SOT 41103 SOS 24280 HAS SOPS 24280 HAS SOUS 22167 HAS SOUPS 22167 WITH SCORE 22191.28
AT ITER 203 NEW BEST:: SOT 41103 SOS 24280 HAS SOPS 24280 HAS SOUS 22154 HAS SOUPS 22154 WITH SCORE 22178.28
AT ITER 205 NEW BEST:: SOT 41118 SOS 24201 HAS SOPS 24201 HAS SOUS 22095 HAS SOUPS 22095 WITH SCORE 22119.201
AT ITER 206 NEW BEST:: SOT 41058 SOS 24150 HAS SOPS 24150 HAS SOUS 22035 HAS SOUPS 22035 WITH SCORE 22059.15
AT ITER 207 NEW BEST:: SOT 40954 SOS 23974 HAS SOPS 23974 HAS SOUS 21863 HAS SOUPS 21863 WITH SCORE 21886.974
AT ITER 209 NEW BEST:: SOT 40954 SOS 23974 HAS SOPS 23974 HAS SOUS 21839 HAS SOUPS 21839 WITH SCORE 21862.974
AT ITER 210 NEW BEST:: SOT 40874 SOS 23792 HAS SOPS 23792 HAS SOUS 21665 HAS SOUPS 21665 WITH SCORE 21688.792
AT ITER 211 NEW BEST:: SOT 40848 SOS 23741 HAS SOPS 23741 HAS SOUS 21524 HAS SOUPS 21524 WITH SCORE 21547.741
AT ITER 212 NEW BEST:: SOT 40813 SOS 23739 HAS SOPS 23739 HAS SOUS 21435 HAS SOUPS 21435 WITH SCORE 21458.739
AT ITER 215 NEW BEST:: SOT 40811 SOS 23733 HAS SOPS 23733 HAS SOUS 21431 HAS SOUPS 21431 WITH SCORE 21454.733
AT ITER 223 NEW BEST:: SOT 40799 SOS 23712 HAS SOPS 23712 HAS SOUS 21401 HAS SOUPS 21401 WITH SCORE 21424.712
AT ITER 230 NEW BEST:: SOT 40781 SOS 23687 HAS SOPS 23687 HAS SOUS 21376 HAS SOUPS 21376 WITH SCORE 21399.687
AT ITER 232 NEW BEST:: SOT 40768 SOS 23672 HAS SOPS 23672 HAS SOUS 21361 HAS SOUPS 21361 WITH SCORE 21384.672
AT ITER 234 NEW BEST:: SOT 40768 SOS 23603 HAS SOPS 23603 HAS SOUS 21300 HAS SOUPS 21300 WITH SCORE 21323.603
AT ITER 238 NEW BEST:: SOT 40762 SOS 23582 HAS SOPS 23582 HAS SOUS 21279 HAS SOUPS 21279 WITH SCORE 21302.582
AT ITER 242 NEW BEST:: SOT 40761 SOS 23581 HAS SOPS 23581 HAS SOUS 21278 HAS SOUPS 21278 WITH SCORE 21301.581
AT ITER 243 NEW BEST:: SOT 40761 SOS 23508 HAS SOPS 23508 HAS SOUS 21195 HAS SOUPS 21195 WITH SCORE 21218.508
AT ITER 246 NEW BEST:: SOT 40731 SOS 23468 HAS SOPS 23468 HAS SOUS 21153 HAS SOUPS 21153 WITH SCORE 21176.468
AT ITER 249 NEW BEST:: SOT 40678 SOS 23415 HAS SOPS 23415 HAS SOUS 21100 HAS SOUPS 21100 WITH SCORE 21123.415
AT ITER 250 NEW BEST:: SOT 40605 SOS 23297 HAS SOPS 23297 HAS SOUS 21081 HAS SOUPS 21081 WITH SCORE 21104.297
AT ITER 257 NEW BEST:: SOT 40590 SOS 23277 HAS SOPS 23277 HAS SOUS 21049 HAS SOUPS 21049 WITH SCORE 21072.277
AT ITER 264 NEW BEST:: SOT 40516 SOS 23043 HAS SOPS 23043 HAS SOUS 20886 HAS SOUPS 20886 WITH SCORE 20909.043
AT ITER 267 NEW BEST:: SOT 40516 SOS 23043 HAS SOPS 23043 HAS SOUS 20843 HAS SOUPS 20843 WITH SCORE 20866.043
AT ITER 270 NEW BEST:: SOT 40431 SOS 22774 HAS SOPS 22774 HAS SOUS 20697 HAS SOUPS 20697 WITH SCORE 20719.774
AT ITER 271 NEW BEST:: SOT 40396 SOS 22742 HAS SOPS 22742 HAS SOUS 20654 HAS SOUPS 20654 WITH SCORE 20676.742
AT ITER 278 NEW BEST:: SOT 40376 SOS 22709 HAS SOPS 22709 HAS SOUS 20610 HAS SOUPS 20610 WITH SCORE 20632.709
AT ITER 281 NEW BEST:: SOT 40376 SOS 22565 HAS SOPS 22565 HAS SOUS 20538 HAS SOUPS 20538 WITH SCORE 20560.565
AT ITER 283 NEW BEST:: SOT 40310 SOS 22378 HAS SOPS 22378 HAS SOUS 20418 HAS SOUPS 20418 WITH SCORE 20440.378
AT ITER 284 NEW BEST:: SOT 40175 SOS 22180 HAS SOPS 22180 HAS SOUS 20220 HAS SOUPS 20220 WITH SCORE 20242.18
AT ITER 295 NEW BEST:: SOT 40175 SOS 22186 HAS SOPS 22186 HAS SOUS 20144 HAS SOUPS 20144 WITH SCORE 20166.186
AT ITER 299 NEW BEST:: SOT 40167 SOS 22176 HAS SOPS 22176 HAS SOUS 20134 HAS SOUPS 20134 WITH SCORE 20156.176
AT ITER 303 NEW BEST:: SOT 40164 SOS 22173 HAS SOPS 22173 HAS SOUS 20131 HAS SOUPS 20131 WITH SCORE 20153.173
AT ITER 305 NEW BEST:: SOT 40186 SOS 22195 HAS SOPS 22195 HAS SOUS 20116 HAS SOUPS 20116 WITH SCORE 20138.195
AT ITER 308 NEW BEST:: SOT 40117 SOS 22103 HAS SOPS 22103 HAS SOUS 20015 HAS SOUPS 20015 WITH SCORE 20037.103
AT ITER 310 NEW BEST:: SOT 40117 SOS 22094 HAS SOPS 22094 HAS SOUS 20006 HAS SOUPS 20006 WITH SCORE 20028.094
AT ITER 311 NEW BEST:: SOT 40031 SOS 22040 HAS SOPS 22040 HAS SOUS 19968 HAS SOUPS 19968 WITH SCORE 19990.04
AT ITER 315 NEW BEST:: SOT 40031 SOS 22045 HAS SOPS 22045 HAS SOUS 19964 HAS SOUPS 19964 WITH SCORE 19986.045
AT ITER 319 NEW BEST:: SOT 40031 SOS 21908 HAS SOPS 21908 HAS SOUS 19889 HAS SOUPS 19889 WITH SCORE 19910.908
AT ITER 323 NEW BEST:: SOT 39967 SOS 21811 HAS SOPS 21811 HAS SOUS 19751 HAS SOUPS 19751 WITH SCORE 19772.811
AT ITER 327 NEW BEST:: SOT 39917 SOS 21760 HAS SOPS 21760 HAS SOUS 19700 HAS SOUPS 19700 WITH SCORE 19721.76
AT ITER 328 NEW BEST:: SOT 39887 SOS 21737 HAS SOPS 21737 HAS SOUS 19646 HAS SOUPS 19646 WITH SCORE 19667.737
AT ITER 331 NEW BEST:: SOT 39854 SOS 21624 HAS SOPS 21624 HAS SOUS 19566 HAS SOUPS 19566 WITH SCORE 19587.624
AT ITER 342 NEW BEST:: SOT 39834 SOS 21587 HAS SOPS 21587 HAS SOUS 19529 HAS SOUPS 19529 WITH SCORE 19550.587
AT ITER 344 NEW BEST:: SOT 39704 SOS 21276 HAS SOPS 21276 HAS SOUS 19312 HAS SOUPS 19312 WITH SCORE 19333.276
AT ITER 348 NEW BEST:: SOT 39670 SOS 21191 HAS SOPS 21191 HAS SOUS 19254 HAS SOUPS 19254 WITH SCORE 19275.191
AT ITER 363 NEW BEST:: SOT 39665 SOS 21084 HAS SOPS 21084 HAS SOUS 19219 HAS SOUPS 19219 WITH SCORE 19240.084
AT ITER 365 NEW BEST:: SOT 39665 SOS 21075 HAS SOPS 21075 HAS SOUS 19216 HAS SOUPS 19216 WITH SCORE 19237.075
AT ITER 366 NEW BEST:: SOT 39619 SOS 20955 HAS SOPS 20955 HAS SOUS 19133 HAS SOUPS 19133 WITH SCORE 19153.955
AT ITER 367 NEW BEST:: SOT 39549 SOS 20815 HAS SOPS 20815 HAS SOUS 19034 HAS SOUPS 19034 WITH SCORE 19054.815
AT ITER 382 NEW BEST:: SOT 39445 SOS 20657 HAS SOPS 20657 HAS SOUS 18880 HAS SOUPS 18880 WITH SCORE 18900.657
AT ITER 388 NEW BEST:: SOT 39372 SOS 20558 HAS SOPS 20558 HAS SOUS 18781 HAS SOUPS 18781 WITH SCORE 18801.558
AT ITER 392 NEW BEST:: SOT 39372 SOS 20477 HAS SOPS 20477 HAS SOUS 18753 HAS SOUPS 18753 WITH SCORE 18773.477
AT ITER 394 NEW BEST:: SOT 39369 SOS 20474 HAS SOPS 20474 HAS SOUS 18750 HAS SOUPS 18750 WITH SCORE 18770.474
AT ITER 398 NEW BEST:: SOT 39341 SOS 20446 HAS SOPS 20446 HAS SOUS 18696 HAS SOUPS 18696 WITH SCORE 18716.446
AT ITER 402 NEW BEST:: SOT 39238 SOS 20353 HAS SOPS 20353 HAS SOUS 18613 HAS SOUPS 18613 WITH SCORE 18633.353
AT ITER 413 NEW BEST:: SOT 39229 SOS 20344 HAS SOPS 20344 HAS SOUS 18590 HAS SOUPS 18590 WITH SCORE 18610.344
AT ITER 415 NEW BEST:: SOT 39196 SOS 20269 HAS SOPS 20269 HAS SOUS 18502 HAS SOUPS 18502 WITH SCORE 18522.269
AT ITER 416 NEW BEST:: SOT 39140 SOS 20120 HAS SOPS 20120 HAS SOUS 18373 HAS SOUPS 18373 WITH SCORE 18393.12
AT ITER 417 NEW BEST:: SOT 39140 SOS 20117 HAS SOPS 20117 HAS SOUS 18373 HAS SOUPS 18373 WITH SCORE 18393.117
AT ITER 419 NEW BEST:: SOT 39131 SOS 20102 HAS SOPS 20102 HAS SOUS 18361 HAS SOUPS 18361 WITH SCORE 18381.102
AT ITER 421 NEW BEST:: SOT 39133 SOS 20040 HAS SOPS 20040 HAS SOUS 18322 HAS SOUPS 18322 WITH SCORE 18342.04
AT ITER 428 NEW BEST:: SOT 39134 SOS 20041 HAS SOPS 20041 HAS SOUS 18314 HAS SOUPS 18314 WITH SCORE 18334.041
AT ITER 436 NEW BEST:: SOT 39126 SOS 19990 HAS SOPS 19990 HAS SOUS 18300 HAS SOUPS 18300 WITH SCORE 18319.99
AT ITER 442 NEW BEST:: SOT 39100 SOS 19964 HAS SOPS 19964 HAS SOUS 18274 HAS SOUPS 18274 WITH SCORE 18293.964
AT ITER 444 NEW BEST:: SOT 39092 SOS 19940 HAS SOPS 19940 HAS SOUS 18250 HAS SOUPS 18250 WITH SCORE 18269.94
AT ITER 445 NEW BEST:: SOT 39092 SOS 19940 HAS SOPS 19940 HAS SOUS 18220 HAS SOUPS 18220 WITH SCORE 18239.94
AT ITER 447 NEW BEST:: SOT 39111 SOS 19927 HAS SOPS 19927 HAS SOUS 18219 HAS SOUPS 18219 WITH SCORE 18238.927
AT ITER 450 NEW BEST:: SOT 39091 SOS 19836 HAS SOPS 19836 HAS SOUS 18168 HAS SOUPS 18168 WITH SCORE 18187.836
AT ITER 453 NEW BEST:: SOT 39104 SOS 19829 HAS SOPS 19829 HAS SOUS 18145 HAS SOUPS 18145 WITH SCORE 18164.829
AT ITER 454 NEW BEST:: SOT 39038 SOS 19730 HAS SOPS 19730 HAS SOUS 18082 HAS SOUPS 18082 WITH SCORE 18101.73
AT ITER 467 NEW BEST:: SOT 39022 SOS 19704 HAS SOPS 19704 HAS SOUS 18005 HAS SOUPS 18005 WITH SCORE 18024.704
AT ITER 473 NEW BEST:: SOT 39000 SOS 19760 HAS SOPS 19760 HAS SOUS 17858 HAS SOUPS 17858 WITH SCORE 17877.76
AT ITER 474 NEW BEST:: SOT 38983 SOS 19695 HAS SOPS 19695 HAS SOUS 17800 HAS SOUPS 17800 WITH SCORE 17819.695
AT ITER 475 NEW BEST:: SOT 38885 SOS 19432 HAS SOPS 19432 HAS SOUS 17592 HAS SOUPS 17592 WITH SCORE 17611.432
AT ITER 476 NEW BEST:: SOT 38885 SOS 19427 HAS SOPS 19427 HAS SOUS 17592 HAS SOUPS 17592 WITH SCORE 17611.427
AT ITER 481 NEW BEST:: SOT 38826 SOS 19317 HAS SOPS 19317 HAS SOUS 17389 HAS SOUPS 17389 WITH SCORE 17408.317
AT ITER 486 NEW BEST:: SOT 38808 SOS 19354 HAS SOPS 19354 HAS SOUS 17386 HAS SOUPS 17386 WITH SCORE 17405.354
AT ITER 490 NEW BEST:: SOT 38768 SOS 19304 HAS SOPS 19304 HAS SOUS 17315 HAS SOUPS 17315 WITH SCORE 17334.304
AT ITER 496 NEW BEST:: SOT 38685 SOS 19162 HAS SOPS 19162 HAS SOUS 17246 HAS SOUPS 17246 WITH SCORE 17265.162
AT ITER 499 NEW BEST:: SOT 38661 SOS 19127 HAS SOPS 19127 HAS SOUS 17189 HAS SOUPS 17189 WITH SCORE 17208.127
AT ITER 512 NEW BEST:: SOT 38661 SOS 19090 HAS SOPS 19090 HAS SOUS 17189 HAS SOUPS 17189 WITH SCORE 17208.09
AT ITER 515 NEW BEST:: SOT 38603 SOS 19032 HAS SOPS 19032 HAS SOUS 17131 HAS SOUPS 17131 WITH SCORE 17150.032
AT ITER 517 NEW BEST:: SOT 38603 SOS 19032 HAS SOPS 19032 HAS SOUS 17127 HAS SOUPS 17127 WITH SCORE 17146.032
AT ITER 518 NEW BEST:: SOT 38584 SOS 18953 HAS SOPS 18953 HAS SOUS 17047 HAS SOUPS 17047 WITH SCORE 17065.953
AT ITER 521 NEW BEST:: SOT 38584 SOS 18953 HAS SOPS 18953 HAS SOUS 17046 HAS SOUPS 17046 WITH SCORE 17064.953
AT ITER 525 NEW BEST:: SOT 38559 SOS 18928 HAS SOPS 18928 HAS SOUS 17021 HAS SOUPS 17021 WITH SCORE 17039.928
AT ITER 531 NEW BEST:: SOT 38551 SOS 18912 HAS SOPS 18912 HAS SOUS 17011 HAS SOUPS 17011 WITH SCORE 17029.912
AT ITER 536 NEW BEST:: SOT 38540 SOS 18886 HAS SOPS 18886 HAS SOUS 16974 HAS SOUPS 16974 WITH SCORE 16992.886
AT ITER 547 NEW BEST:: SOT 38538 SOS 18883 HAS SOPS 18883 HAS SOUS 16970 HAS SOUPS 16970 WITH SCORE 16988.883
AT ITER 550 NEW BEST:: SOT 38526 SOS 18868 HAS SOPS 18868 HAS SOUS 16955 HAS SOUPS 16955 WITH SCORE 16973.868
AT ITER 570 NEW BEST:: SOT 38498 SOS 18812 HAS SOPS 18812 HAS SOUS 16897 HAS SOUPS 16897 WITH SCORE 16915.812
AT ITER 573 NEW BEST:: SOT 38496 SOS 18810 HAS SOPS 18810 HAS SOUS 16895 HAS SOUPS 16895 WITH SCORE 16913.81
AT ITER 574 NEW BEST:: SOT 38392 SOS 18628 HAS SOPS 18628 HAS SOUS 16752 HAS SOUPS 16752 WITH SCORE 16770.628
AT ITER 592 NEW BEST:: SOT 38428 SOS 18664 HAS SOPS 18664 HAS SOUS 16750 HAS SOUPS 16750 WITH SCORE 16768.664
AT ITER 596 NEW BEST:: SOT 38413 SOS 18644 HAS SOPS 18644 HAS SOUS 16730 HAS SOUPS 16730 WITH SCORE 16748.644
AT ITER 600 NEW BEST:: SOT 38418 SOS 18679 HAS SOPS 18679 HAS SOUS 16726 HAS SOUPS 16726 WITH SCORE 16744.679
AT ITER 610 NEW BEST:: SOT 38303 SOS 18505 HAS SOPS 18505 HAS SOUS 16470 HAS SOUPS 16470 WITH SCORE 16488.505
AT ITER 613 NEW BEST:: SOT 38323 SOS 18418 HAS SOPS 18418 HAS SOUS 16428 HAS SOUPS 16428 WITH SCORE 16446.418
AT ITER 615 NEW BEST:: SOT 38273 SOS 18348 HAS SOPS 18348 HAS SOUS 16390 HAS SOUPS 16390 WITH SCORE 16408.348
AT ITER 620 NEW BEST:: SOT 38247 SOS 18270 HAS SOPS 18270 HAS SOUS 16334 HAS SOUPS 16334 WITH SCORE 16352.27
AT ITER 624 NEW BEST:: SOT 38239 SOS 18251 HAS SOPS 18251 HAS SOUS 16301 HAS SOUPS 16301 WITH SCORE 16319.251
AT ITER 627 NEW BEST:: SOT 38197 SOS 18173 HAS SOPS 18173 HAS SOUS 16208 HAS SOUPS 16208 WITH SCORE 16226.173
AT ITER 628 NEW BEST:: SOT 38194 SOS 18169 HAS SOPS 18169 HAS SOUS 16204 HAS SOUPS 16204 WITH SCORE 16222.169
AT ITER 629 NEW BEST:: SOT 38145 SOS 18075 HAS SOPS 18075 HAS SOUS 16069 HAS SOUPS 16069 WITH SCORE 16087.075
AT ITER 637 NEW BEST:: SOT 38140 SOS 18066 HAS SOPS 18066 HAS SOUS 16062 HAS SOUPS 16062 WITH SCORE 16080.066
AT ITER 654 NEW BEST:: SOT 38119 SOS 18109 HAS SOPS 18109 HAS SOUS 16036 HAS SOUPS 16036 WITH SCORE 16054.109
AT ITER 656 NEW BEST:: SOT 38119 SOS 18100 HAS SOPS 18100 HAS SOUS 16033 HAS SOUPS 16033 WITH SCORE 16051.1
AT ITER 662 NEW BEST:: SOT 38115 SOS 18088 HAS SOPS 18088 HAS SOUS 16020 HAS SOUPS 16020 WITH SCORE 16038.088
AT ITER 663 NEW BEST:: SOT 38058 SOS 17978 HAS SOPS 17978 HAS SOUS 15903 HAS SOUPS 15903 WITH SCORE 15920.978
AT ITER 669 NEW BEST:: SOT 38072 SOS 17931 HAS SOPS 17931 HAS SOUS 15862 HAS SOUPS 15862 WITH SCORE 15879.931
AT ITER 675 NEW BEST:: SOT 38055 SOS 17866 HAS SOPS 17866 HAS SOUS 15845 HAS SOUPS 15845 WITH SCORE 15862.866
AT ITER 678 NEW BEST:: SOT 38022 SOS 17767 HAS SOPS 17767 HAS SOUS 15800 HAS SOUPS 15800 WITH SCORE 15817.767
AT ITER 684 NEW BEST:: SOT 37957 SOS 17660 HAS SOPS 17660 HAS SOUS 15743 HAS SOUPS 15743 WITH SCORE 15760.66
AT ITER 687 NEW BEST:: SOT 37896 SOS 17643 HAS SOPS 17643 HAS SOUS 15737 HAS SOUPS 15737 WITH SCORE 15754.643
AT ITER 694 NEW BEST:: SOT 37846 SOS 17530 HAS SOPS 17530 HAS SOUS 15653 HAS SOUPS 15653 WITH SCORE 15670.53
AT ITER 696 NEW BEST:: SOT 37839 SOS 17519 HAS SOPS 17519 HAS SOUS 15638 HAS SOUPS 15638 WITH SCORE 15655.519
AT ITER 697 NEW BEST:: SOT 37789 SOS 17466 HAS SOPS 17466 HAS SOUS 15582 HAS SOUPS 15582 WITH SCORE 15599.466
AT ITER 722 NEW BEST:: SOT 37785 SOS 17437 HAS SOPS 17437 HAS SOUS 15579 HAS SOUPS 15579 WITH SCORE 15596.437
AT ITER 726 NEW BEST:: SOT 37819 SOS 17362 HAS SOPS 17362 HAS SOUS 15524 HAS SOUPS 15524 WITH SCORE 15541.362
AT ITER 729 NEW BEST:: SOT 37822 SOS 17333 HAS SOPS 17333 HAS SOUS 15495 HAS SOUPS 15495 WITH SCORE 15512.333
AT ITER 733 NEW BEST:: SOT 37822 SOS 17348 HAS SOPS 17348 HAS SOUS 15492 HAS SOUPS 15492 WITH SCORE 15509.348
AT ITER 734 NEW BEST:: SOT 37813 SOS 17328 HAS SOPS 17328 HAS SOUS 15423 HAS SOUPS 15423 WITH SCORE 15440.328
AT ITER 742 NEW BEST:: SOT 37753 SOS 17232 HAS SOPS 17232 HAS SOUS 15367 HAS SOUPS 15367 WITH SCORE 15384.232
AT ITER 744 NEW BEST:: SOT 37732 SOS 17201 HAS SOPS 17201 HAS SOUS 15336 HAS SOUPS 15336 WITH SCORE 15353.201
AT ITER 751 NEW BEST:: SOT 37708 SOS 17155 HAS SOPS 17155 HAS SOUS 15286 HAS SOUPS 15286 WITH SCORE 15303.155
AT ITER 758 NEW BEST:: SOT 37708 SOS 17175 HAS SOPS 17175 HAS SOUS 15285 HAS SOUPS 15285 WITH SCORE 15302.175
AT ITER 765 NEW BEST:: SOT 37711 SOS 17153 HAS SOPS 17153 HAS SOUS 15281 HAS SOUPS 15281 WITH SCORE 15298.153
AT ITER 774 NEW BEST:: SOT 37701 SOS 17123 HAS SOPS 17123 HAS SOUS 15251 HAS SOUPS 15251 WITH SCORE 15268.123
AT ITER 789 NEW BEST:: SOT 37729 SOS 17085 HAS SOPS 17085 HAS SOUS 15208 HAS SOUPS 15208 WITH SCORE 15225.085
AT ITER 797 NEW BEST:: SOT 37721 SOS 17065 HAS SOPS 17065 HAS SOUS 15192 HAS SOUPS 15192 WITH SCORE 15209.065
AT ITER 803 NEW BEST:: SOT 37665 SOS 16891 HAS SOPS 16891 HAS SOUS 15118 HAS SOUPS 15118 WITH SCORE 15134.891
AT ITER 820 NEW BEST:: SOT 37665 SOS 16879 HAS SOPS 16879 HAS SOUS 15118 HAS SOUPS 15118 WITH SCORE 15134.879
AT ITER 828 NEW BEST:: SOT 37563 SOS 16762 HAS SOPS 16762 HAS SOUS 15001 HAS SOUPS 15001 WITH SCORE 15017.762
AT ITER 833 NEW BEST:: SOT 37545 SOS 16756 HAS SOPS 16756 HAS SOUS 14948 HAS SOUPS 14948 WITH SCORE 14964.756
AT ITER 851 NEW BEST:: SOT 37537 SOS 16721 HAS SOPS 16721 HAS SOUS 14936 HAS SOUPS 14936 WITH SCORE 14952.721
AT ITER 873 NEW BEST:: SOT 37505 SOS 16674 HAS SOPS 16674 HAS SOUS 14889 HAS SOUPS 14889 WITH SCORE 14905.674
AT ITER 889 NEW BEST:: SOT 37448 SOS 16589 HAS SOPS 16589 HAS SOUS 14767 HAS SOUPS 14767 WITH SCORE 14783.589
AT ITER 927 NEW BEST:: SOT 37444 SOS 16585 HAS SOPS 16585 HAS SOUS 14763 HAS SOUPS 14763 WITH SCORE 14779.585
AT ITER 935 NEW BEST:: SOT 37418 SOS 16563 HAS SOPS 16563 HAS SOUS 14715 HAS SOUPS 14715 WITH SCORE 14731.563
AT ITER 936 NEW BEST:: SOT 37399 SOS 16458 HAS SOPS 16458 HAS SOUS 14641 HAS SOUPS 14641 WITH SCORE 14657.458
AT ITER 960 NEW BEST:: SOT 37345 SOS 16377 HAS SOPS 16377 HAS SOUS 14552 HAS SOUPS 14552 WITH SCORE 14568.377
AT ITER 973 NEW BEST:: SOT 37327 SOS 16319 HAS SOPS 16319 HAS SOUS 14515 HAS SOUPS 14515 WITH SCORE 14531.319
AT ITER 1008 NEW BEST:: SOT 37321 SOS 16313 HAS SOPS 16313 HAS SOUS 14509 HAS SOUPS 14509 WITH SCORE 14525.313
AT ITER 1010 NEW BEST:: SOT 37289 SOS 16279 HAS SOPS 16279 HAS SOUS 14473 HAS SOUPS 14473 WITH SCORE 14489.279
AT ITER 1020 NEW BEST:: SOT 37289 SOS 16250 HAS SOPS 16250 HAS SOUS 14452 HAS SOUPS 14452 WITH SCORE 14468.25
AT ITER 1023 NEW BEST:: SOT 37289 SOS 16230 HAS SOPS 16230 HAS SOUS 14452 HAS SOUPS 14452 WITH SCORE 14468.23
AT ITER 1025 NEW BEST:: SOT 37288 SOS 16225 HAS SOPS 16225 HAS SOUS 14450 HAS SOUPS 14450 WITH SCORE 14466.225
AT ITER 1031 NEW BEST:: SOT 37290 SOS 16215 HAS SOPS 16215 HAS SOUS 14446 HAS SOUPS 14446 WITH SCORE 14462.215
AT ITER 1035 NEW BEST:: SOT 37285 SOS 16205 HAS SOPS 16205 HAS SOUS 14431 HAS SOUPS 14431 WITH SCORE 14447.205
AT ITER 1036 NEW BEST:: SOT 37287 SOS 16163 HAS SOPS 16163 HAS SOUS 14408 HAS SOUPS 14408 WITH SCORE 14424.163
AT ITER 1038 NEW BEST:: SOT 37261 SOS 16059 HAS SOPS 16059 HAS SOUS 14338 HAS SOUPS 14338 WITH SCORE 14354.059
AT ITER 1048 NEW BEST:: SOT 37261 SOS 16051 HAS SOPS 16051 HAS SOUS 14338 HAS SOUPS 14338 WITH SCORE 14354.051
AT ITER 1063 NEW BEST:: SOT 37238 SOS 16028 HAS SOPS 16028 HAS SOUS 14322 HAS SOUPS 14322 WITH SCORE 14338.028
AT ITER 1073 NEW BEST:: SOT 37230 SOS 16004 HAS SOPS 16004 HAS SOUS 14306 HAS SOUPS 14306 WITH SCORE 14322.004
AT ITER 1078 NEW BEST:: SOT 37212 SOS 15986 HAS SOPS 15986 HAS SOUS 14270 HAS SOUPS 14270 WITH SCORE 14285.986
AT ITER 1080 NEW BEST:: SOT 37212 SOS 15986 HAS SOPS 15986 HAS SOUS 14267 HAS SOUPS 14267 WITH SCORE 14282.986
AT ITER 1083 NEW BEST:: SOT 37181 SOS 15915 HAS SOPS 15915 HAS SOUS 14201 HAS SOUPS 14201 WITH SCORE 14216.915
AT ITER 1087 NEW BEST:: SOT 37152 SOS 15886 HAS SOPS 15886 HAS SOUS 14155 HAS SOUPS 14155 WITH SCORE 14170.886
AT ITER 1091 NEW BEST:: SOT 37152 SOS 15872 HAS SOPS 15872 HAS SOUS 14155 HAS SOUPS 14155 WITH SCORE 14170.872
AT ITER 1100 NEW BEST:: SOT 37137 SOS 15847 HAS SOPS 15847 HAS SOUS 14135 HAS SOUPS 14135 WITH SCORE 14150.847
AT ITER 1108 NEW BEST:: SOT 37164 SOS 15809 HAS SOPS 15809 HAS SOUS 14125 HAS SOUPS 14125 WITH SCORE 14140.809
AT ITER 1121 NEW BEST:: SOT 37143 SOS 15752 HAS SOPS 15752 HAS SOUS 14068 HAS SOUPS 14068 WITH SCORE 14083.752
AT ITER 1126 NEW BEST:: SOT 37143 SOS 15735 HAS SOPS 15735 HAS SOUS 14068 HAS SOUPS 14068 WITH SCORE 14083.735
AT ITER 1130 NEW BEST:: SOT 37137 SOS 15727 HAS SOPS 15727 HAS SOUS 14055 HAS SOUPS 14055 WITH SCORE 14070.727
AT ITER 1137 NEW BEST:: SOT 37111 SOS 15701 HAS SOPS 15701 HAS SOUS 14029 HAS SOUPS 14029 WITH SCORE 14044.701
AT ITER 1158 NEW BEST:: SOT 37105 SOS 15695 HAS SOPS 15695 HAS SOUS 14023 HAS SOUPS 14023 WITH SCORE 14038.695
AT ITER 1177 NEW BEST:: SOT 37052 SOS 15662 HAS SOPS 15662 HAS SOUS 13947 HAS SOUPS 13947 WITH SCORE 13962.662
AT ITER 1178 NEW BEST:: SOT 37030 SOS 15640 HAS SOPS 15640 HAS SOUS 13925 HAS SOUPS 13925 WITH SCORE 13940.64
AT ITER 1180 NEW BEST:: SOT 37018 SOS 15621 HAS SOPS 15621 HAS SOUS 13913 HAS SOUPS 13913 WITH SCORE 13928.621
AT ITER 1190 NEW BEST:: SOT 37009 SOS 15609 HAS SOPS 15609 HAS SOUS 13901 HAS SOUPS 13901 WITH SCORE 13916.609
AT ITER 1194 NEW BEST:: SOT 36949 SOS 15510 HAS SOPS 15510 HAS SOUS 13821 HAS SOUPS 13821 WITH SCORE 13836.51
AT ITER 1195 NEW BEST:: SOT 36937 SOS 15462 HAS SOPS 15462 HAS SOUS 13797 HAS SOUPS 13797 WITH SCORE 13812.462
AT ITER 1208 NEW BEST:: SOT 36913 SOS 15418 HAS SOPS 15418 HAS SOUS 13745 HAS SOUPS 13745 WITH SCORE 13760.418
AT ITER 1220 NEW BEST:: SOT 36899 SOS 15477 HAS SOPS 15477 HAS SOUS 13709 HAS SOUPS 13709 WITH SCORE 13724.477
AT ITER 1221 NEW BEST:: SOT 36796 SOS 15294 HAS SOPS 15294 HAS SOUS 13542 HAS SOUPS 13542 WITH SCORE 13557.294
AT ITER 1223 NEW BEST:: SOT 36728 SOS 15180 HAS SOPS 15180 HAS SOUS 13356 HAS SOUPS 13356 WITH SCORE 13371.18
AT ITER 1226 NEW BEST:: SOT 36726 SOS 15178 HAS SOPS 15178 HAS SOUS 13354 HAS SOUPS 13354 WITH SCORE 13369.178
AT ITER 1238 NEW BEST:: SOT 36717 SOS 15066 HAS SOPS 15066 HAS SOUS 13335 HAS SOUPS 13335 WITH SCORE 13350.066
AT ITER 1239 NEW BEST:: SOT 36686 SOS 15020 HAS SOPS 15020 HAS SOUS 13304 HAS SOUPS 13304 WITH SCORE 13319.02
AT ITER 1241 NEW BEST:: SOT 36683 SOS 14999 HAS SOPS 14999 HAS SOUS 13300 HAS SOUPS 13300 WITH SCORE 13314.999
AT ITER 1243 NEW BEST:: SOT 36673 SOS 14970 HAS SOPS 14970 HAS SOUS 13272 HAS SOUPS 13272 WITH SCORE 13286.97
AT ITER 1258 NEW BEST:: SOT 36586 SOS 14885 HAS SOPS 14885 HAS SOUS 13143 HAS SOUPS 13143 WITH SCORE 13157.885
AT ITER 1261 NEW BEST:: SOT 36592 SOS 14905 HAS SOPS 14905 HAS SOUS 13141 HAS SOUPS 13141 WITH SCORE 13155.905
AT ITER 1272 NEW BEST:: SOT 36580 SOS 14747 HAS SOPS 14747 HAS SOUS 13097 HAS SOUPS 13097 WITH SCORE 13111.747
AT ITER 1285 NEW BEST:: SOT 36569 SOS 14710 HAS SOPS 14710 HAS SOUS 13075 HAS SOUPS 13075 WITH SCORE 13089.71
AT ITER 1300 NEW BEST:: SOT 36350 SOS 14499 HAS SOPS 14499 HAS SOUS 12865 HAS SOUPS 12865 WITH SCORE 12879.499
AT ITER 1322 NEW BEST:: SOT 36329 SOS 14496 HAS SOPS 14496 HAS SOUS 12827 HAS SOUPS 12827 WITH SCORE 12841.496
AT ITER 1358 NEW BEST:: SOT 36326 SOS 14481 HAS SOPS 14481 HAS SOUS 12816 HAS SOUPS 12816 WITH SCORE 12830.481
AT ITER 1364 NEW BEST:: SOT 36320 SOS 14500 HAS SOPS 14500 HAS SOUS 12810 HAS SOUPS 12810 WITH SCORE 12824.5
AT ITER 1371 NEW BEST:: SOT 36275 SOS 14365 HAS SOPS 14365 HAS SOUS 12759 HAS SOUPS 12759 WITH SCORE 12773.365
AT ITER 1378 NEW BEST:: SOT 36254 SOS 14344 HAS SOPS 14344 HAS SOUS 12738 HAS SOUPS 12738 WITH SCORE 12752.344
AT ITER 1379 NEW BEST:: SOT 36206 SOS 14305 HAS SOPS 14305 HAS SOUS 12693 HAS SOUPS 12693 WITH SCORE 12707.305
AT ITER 1389 NEW BEST:: SOT 36200 SOS 14299 HAS SOPS 14299 HAS SOUS 12683 HAS SOUPS 12683 WITH SCORE 12697.299
AT ITER 1395 NEW BEST:: SOT 36200 SOS 14299 HAS SOPS 14299 HAS SOUS 12677 HAS SOUPS 12677 WITH SCORE 12691.299
AT ITER 1412 NEW BEST:: SOT 36196 SOS 14291 HAS SOPS 14291 HAS SOUS 12673 HAS SOUPS 12673 WITH SCORE 12687.291
AT ITER 1415 NEW BEST:: SOT 36178 SOS 14273 HAS SOPS 14273 HAS SOUS 12655 HAS SOUPS 12655 WITH SCORE 12669.273
AT ITER 1426 NEW BEST:: SOT 36164 SOS 14238 HAS SOPS 14238 HAS SOUS 12638 HAS SOUPS 12638 WITH SCORE 12652.238
AT ITER 1446 NEW BEST:: SOT 36164 SOS 14218 HAS SOPS 14218 HAS SOUS 12612 HAS SOUPS 12612 WITH SCORE 12626.218
AT ITER 1448 NEW BEST:: SOT 36164 SOS 14235 HAS SOPS 14235 HAS SOUS 12600 HAS SOUPS 12600 WITH SCORE 12614.235
AT ITER 1462 NEW BEST:: SOT 36164 SOS 14127 HAS SOPS 14127 HAS SOUS 12566 HAS SOUPS 12566 WITH SCORE 12580.127
AT ITER 1484 NEW BEST:: SOT 36161 SOS 14123 HAS SOPS 14123 HAS SOUS 12562 HAS SOUPS 12562 WITH SCORE 12576.123
AT ITER 1501 NEW BEST:: SOT 36107 SOS 14051 HAS SOPS 14051 HAS SOUS 12481 HAS SOUPS 12481 WITH SCORE 12495.051
AT ITER 1521 NEW BEST:: SOT 36099 SOS 14039 HAS SOPS 14039 HAS SOUS 12469 HAS SOUPS 12469 WITH SCORE 12483.039
AT ITER 1529 NEW BEST:: SOT 36085 SOS 14025 HAS SOPS 14025 HAS SOUS 12461 HAS SOUPS 12461 WITH SCORE 12475.025
AT ITER 1550 NEW BEST:: SOT 36092 SOS 14053 HAS SOPS 14053 HAS SOUS 12455 HAS SOUPS 12455 WITH SCORE 12469.053
AT ITER 1553 NEW BEST:: SOT 36089 SOS 14050 HAS SOPS 14050 HAS SOUS 12452 HAS SOUPS 12452 WITH SCORE 12466.05
AT ITER 1557 NEW BEST:: SOT 36089 SOS 14087 HAS SOPS 14087 HAS SOUS 12415 HAS SOUPS 12415 WITH SCORE 12429.087
AT ITER 1564 NEW BEST:: SOT 36075 SOS 14066 HAS SOPS 14066 HAS SOUS 12394 HAS SOUPS 12394 WITH SCORE 12408.066
AT ITER 1572 NEW BEST:: SOT 36059 SOS 14046 HAS SOPS 14046 HAS SOUS 12372 HAS SOUPS 12372 WITH SCORE 12386.046
AT ITER 1589 NEW BEST:: SOT 36055 SOS 14034 HAS SOPS 14034 HAS SOUS 12364 HAS SOUPS 12364 WITH SCORE 12378.034
AT ITER 1599 NEW BEST:: SOT 36035 SOS 14032 HAS SOPS 14032 HAS SOUS 12332 HAS SOUPS 12332 WITH SCORE 12346.032
AT ITER 1607 NEW BEST:: SOT 36013 SOS 13999 HAS SOPS 13999 HAS SOUS 12299 HAS SOUPS 12299 WITH SCORE 12312.999
AT ITER 1608 NEW BEST:: SOT 36012 SOS 13998 HAS SOPS 13998 HAS SOUS 12290 HAS SOUPS 12290 WITH SCORE 12303.998
AT ITER 1615 NEW BEST:: SOT 35982 SOS 13923 HAS SOPS 13923 HAS SOUS 12230 HAS SOUPS 12230 WITH SCORE 12243.923
AT ITER 1622 NEW BEST:: SOT 35991 SOS 13883 HAS SOPS 13883 HAS SOUS 12164 HAS SOUPS 12164 WITH SCORE 12177.883
AT ITER 1624 NEW BEST:: SOT 35998 SOS 13897 HAS SOPS 13897 HAS SOUS 12142 HAS SOUPS 12142 WITH SCORE 12155.897
AT ITER 1629 NEW BEST:: SOT 35979 SOS 13878 HAS SOPS 13878 HAS SOUS 12138 HAS SOUPS 12138 WITH SCORE 12151.878
AT ITER 1641 NEW BEST:: SOT 35964 SOS 13798 HAS SOPS 13798 HAS SOUS 12112 HAS SOUPS 12112 WITH SCORE 12125.798
AT ITER 1645 NEW BEST:: SOT 35934 SOS 13768 HAS SOPS 13768 HAS SOUS 12081 HAS SOUPS 12081 WITH SCORE 12094.768
AT ITER 1655 NEW BEST:: SOT 35920 SOS 13741 HAS SOPS 13741 HAS SOUS 12038 HAS SOUPS 12038 WITH SCORE 12051.741
AT ITER 1660 NEW BEST:: SOT 35923 SOS 13731 HAS SOPS 13731 HAS SOUS 12027 HAS SOUPS 12027 WITH SCORE 12040.731
AT ITER 1662 NEW BEST:: SOT 35923 SOS 13722 HAS SOPS 13722 HAS SOUS 12024 HAS SOUPS 12024 WITH SCORE 12037.722
AT ITER 1669 NEW BEST:: SOT 35923 SOS 13712 HAS SOPS 13712 HAS SOUS 12014 HAS SOUPS 12014 WITH SCORE 12027.712
AT ITER 1672 NEW BEST:: SOT 35910 SOS 13696 HAS SOPS 13696 HAS SOUS 11999 HAS SOUPS 11999 WITH SCORE 12012.696
AT ITER 1673 NEW BEST:: SOT 35906 SOS 13676 HAS SOPS 13676 HAS SOUS 11971 HAS SOUPS 11971 WITH SCORE 11984.676
AT ITER 1674 NEW BEST:: SOT 35905 SOS 13674 HAS SOPS 13674 HAS SOUS 11969 HAS SOUPS 11969 WITH SCORE 11982.674
AT ITER 1705 NEW BEST:: SOT 35886 SOS 13598 HAS SOPS 13598 HAS SOUS 11924 HAS SOUPS 11924 WITH SCORE 11937.598
AT ITER 1707 NEW BEST:: SOT 35863 SOS 13575 HAS SOPS 13575 HAS SOUS 11901 HAS SOUPS 11901 WITH SCORE 11914.575
AT ITER 1712 NEW BEST:: SOT 35831 SOS 13479 HAS SOPS 13479 HAS SOUS 11860 HAS SOUPS 11860 WITH SCORE 11873.479
AT ITER 1735 NEW BEST:: SOT 35819 SOS 13459 HAS SOPS 13459 HAS SOUS 11848 HAS SOUPS 11848 WITH SCORE 11861.459
AT ITER 1737 NEW BEST:: SOT 35819 SOS 13434 HAS SOPS 13434 HAS SOUS 11817 HAS SOUPS 11817 WITH SCORE 11830.434
AT ITER 1748 NEW BEST:: SOT 35824 SOS 13435 HAS SOPS 13435 HAS SOUS 11814 HAS SOUPS 11814 WITH SCORE 11827.435
AT ITER 1767 NEW BEST:: SOT 35821 SOS 13402 HAS SOPS 13402 HAS SOUS 11800 HAS SOUPS 11800 WITH SCORE 11813.402
AT ITER 1771 NEW BEST:: SOT 35797 SOS 13366 HAS SOPS 13366 HAS SOUS 11760 HAS SOUPS 11760 WITH SCORE 11773.366
AT ITER 1813 NEW BEST:: SOT 35797 SOS 13347 HAS SOPS 13347 HAS SOUS 11713 HAS SOUPS 11713 WITH SCORE 11726.347
AT ITER 1817 NEW BEST:: SOT 35767 SOS 13260 HAS SOPS 13260 HAS SOUS 11663 HAS SOUPS 11663 WITH SCORE 11676.26
AT ITER 1823 NEW BEST:: SOT 35636 SOS 13053 HAS SOPS 13053 HAS SOUS 11459 HAS SOUPS 11459 WITH SCORE 11472.053
AT ITER 1828 NEW BEST:: SOT 35640 SOS 13010 HAS SOPS 13010 HAS SOUS 11435 HAS SOUPS 11435 WITH SCORE 11448.01
AT ITER 1843 NEW BEST:: SOT 35591 SOS 12961 HAS SOPS 12961 HAS SOUS 11386 HAS SOUPS 11386 WITH SCORE 11398.961
AT ITER 1852 NEW BEST:: SOT 35583 SOS 12949 HAS SOPS 12949 HAS SOUS 11376 HAS SOUPS 11376 WITH SCORE 11388.949
AT ITER 1873 NEW BEST:: SOT 35576 SOS 12920 HAS SOPS 12920 HAS SOUS 11362 HAS SOUPS 11362 WITH SCORE 11374.92
AT ITER 1906 NEW BEST:: SOT 35581 SOS 12937 HAS SOPS 12937 HAS SOUS 11327 HAS SOUPS 11327 WITH SCORE 11339.937
AT ITER 1908 NEW BEST:: SOT 35537 SOS 12875 HAS SOPS 12875 HAS SOUS 11282 HAS SOUPS 11282 WITH SCORE 11294.875
AT ITER 1916 NEW BEST:: SOT 35534 SOS 12872 HAS SOPS 12872 HAS SOUS 11279 HAS SOUPS 11279 WITH SCORE 11291.872
AT ITER 1925 NEW BEST:: SOT 35518 SOS 12846 HAS SOPS 12846 HAS SOUS 11257 HAS SOUPS 11257 WITH SCORE 11269.846
AT ITER 1942 NEW BEST:: SOT 35480 SOS 12810 HAS SOPS 12810 HAS SOUS 11221 HAS SOUPS 11221 WITH SCORE 11233.81
AT ITER 1954 NEW BEST:: SOT 35474 SOS 12792 HAS SOPS 12792 HAS SOUS 11203 HAS SOUPS 11203 WITH SCORE 11215.792
AT ITER 1976 NEW BEST:: SOT 35474 SOS 12713 HAS SOPS 12713 HAS SOUS 11190 HAS SOUPS 11190 WITH SCORE 11202.713
AT ITER 1978 NEW BEST:: SOT 35449 SOS 12635 HAS SOPS 12635 HAS SOUS 11141 HAS SOUPS 11141 WITH SCORE 11153.635
AT ITER 1979 NEW BEST:: SOT 35440 SOS 12623 HAS SOPS 12623 HAS SOUS 11129 HAS SOUPS 11129 WITH SCORE 11141.623
AT ITER 1988 NEW BEST:: SOT 35440 SOS 12617 HAS SOPS 12617 HAS SOUS 11129 HAS SOUPS 11129 WITH SCORE 11141.617
AT ITER 1994 NEW BEST:: SOT 35439 SOS 12615 HAS SOPS 12615 HAS SOUS 11128 HAS SOUPS 11128 WITH SCORE 11140.615
AT ITER 1995 NEW BEST:: SOT 35433 SOS 12606 HAS SOPS 12606 HAS SOUS 11119 HAS SOUPS 11119 WITH SCORE 11131.606
AT ITER 1999 NEW BEST:: SOT 35331 SOS 12576 HAS SOPS 12576 HAS SOUS 11059 HAS SOUPS 11059 WITH SCORE 11071.576
AT ITER 2015 NEW BEST:: SOT 35330 SOS 12573 HAS SOPS 12573 HAS SOUS 11050 HAS SOUPS 11050 WITH SCORE 11062.573
AT ITER 2023 NEW BEST:: SOT 35317 SOS 12554 HAS SOPS 12554 HAS SOUS 11043 HAS SOUPS 11043 WITH SCORE 11055.554
AT ITER 2040 NEW BEST:: SOT 35278 SOS 12502 HAS SOPS 12502 HAS SOUS 10991 HAS SOUPS 10991 WITH SCORE 11003.502
AT ITER 2058 NEW BEST:: SOT 35272 SOS 12447 HAS SOPS 12447 HAS SOUS 10941 HAS SOUPS 10941 WITH SCORE 10953.447
AT ITER 2062 NEW BEST:: SOT 35271 SOS 12445 HAS SOPS 12445 HAS SOUS 10940 HAS SOUPS 10940 WITH SCORE 10952.445
AT ITER 2131 NEW BEST:: SOT 35261 SOS 12438 HAS SOPS 12438 HAS SOUS 10933 HAS SOUPS 10933 WITH SCORE 10945.438
AT ITER 2191 NEW BEST:: SOT 35261 SOS 12384 HAS SOPS 12384 HAS SOUS 10915 HAS SOUPS 10915 WITH SCORE 10927.384
AT ITER 2207 NEW BEST:: SOT 35174 SOS 12242 HAS SOPS 12242 HAS SOUS 10824 HAS SOUPS 10824 WITH SCORE 10836.242
AT ITER 2258 NEW BEST:: SOT 35180 SOS 12230 HAS SOPS 12230 HAS SOUS 10819 HAS SOUPS 10819 WITH SCORE 10831.23
AT ITER 2259 NEW BEST:: SOT 35173 SOS 12202 HAS SOPS 12202 HAS SOUS 10805 HAS SOUPS 10805 WITH SCORE 10817.202
AT ITER 2263 NEW BEST:: SOT 35173 SOS 12200 HAS SOPS 12200 HAS SOUS 10805 HAS SOUPS 10805 WITH SCORE 10817.2
AT ITER 2269 NEW BEST:: SOT 35157 SOS 12176 HAS SOPS 12176 HAS SOUS 10789 HAS SOUPS 10789 WITH SCORE 10801.176
AT ITER 2274 NEW BEST:: SOT 35157 SOS 12170 HAS SOPS 12170 HAS SOUS 10783 HAS SOUPS 10783 WITH SCORE 10795.17
AT ITER 2288 NEW BEST:: SOT 35115 SOS 12100 HAS SOPS 12100 HAS SOUS 10729 HAS SOUPS 10729 WITH SCORE 10741.1
AT ITER 2291 NEW BEST:: SOT 35119 SOS 12124 HAS SOPS 12124 HAS SOUS 10723 HAS SOUPS 10723 WITH SCORE 10735.124
AT ITER 2360 NEW BEST:: SOT 35119 SOS 12120 HAS SOPS 12120 HAS SOUS 10723 HAS SOUPS 10723 WITH SCORE 10735.12
AT ITER 2374 NEW BEST:: SOT 35110 SOS 12118 HAS SOPS 12118 HAS SOUS 10711 HAS SOUPS 10711 WITH SCORE 10723.118
AT ITER 2445 NEW BEST:: SOT 35099 SOS 12074 HAS SOPS 12074 HAS SOUS 10689 HAS SOUPS 10689 WITH SCORE 10701.074
AT ITER 2446 NEW BEST:: SOT 35099 SOS 12074 HAS SOPS 12074 HAS SOUS 10685 HAS SOUPS 10685 WITH SCORE 10697.074
AT ITER 2449 NEW BEST:: SOT 35096 SOS 12071 HAS SOPS 12071 HAS SOUS 10679 HAS SOUPS 10679 WITH SCORE 10691.071
AT ITER 2459 NEW BEST:: SOT 35048 SOS 11999 HAS SOPS 11999 HAS SOUS 10631 HAS SOUPS 10631 WITH SCORE 10642.999
AT ITER 2521 NEW BEST:: SOT 35048 SOS 11994 HAS SOPS 11994 HAS SOUS 10575 HAS SOUPS 10575 WITH SCORE 10586.994
AT ITER 2527 NEW BEST:: SOT 35042 SOS 11988 HAS SOPS 11988 HAS SOUS 10566 HAS SOUPS 10566 WITH SCORE 10577.988
AT ITER 2559 NEW BEST:: SOT 35039 SOS 11976 HAS SOPS 11976 HAS SOUS 10560 HAS SOUPS 10560 WITH SCORE 10571.976
AT ITER 2583 NEW BEST:: SOT 35029 SOS 11956 HAS SOPS 11956 HAS SOUS 10550 HAS SOUPS 10550 WITH SCORE 10561.956
AT ITER 2629 NEW BEST:: SOT 35027 SOS 11958 HAS SOPS 11958 HAS SOUS 10542 HAS SOUPS 10542 WITH SCORE 10553.958
AT ITER 2631 NEW BEST:: SOT 34966 SOS 11782 HAS SOPS 11782 HAS SOUS 10422 HAS SOUPS 10422 WITH SCORE 10433.782
AT ITER 2657 NEW BEST:: SOT 34800 SOS 11538 HAS SOPS 11538 HAS SOUS 10207 HAS SOUPS 10207 WITH SCORE 10218.538
AT ITER 2661 NEW BEST:: SOT 34795 SOS 11517 HAS SOPS 11517 HAS SOUS 10186 HAS SOUPS 10186 WITH SCORE 10197.517
AT ITER 2678 NEW BEST:: SOT 34795 SOS 11489 HAS SOPS 11489 HAS SOUS 10185 HAS SOUPS 10185 WITH SCORE 10196.489
AT ITER 2680 NEW BEST:: SOT 34795 SOS 11489 HAS SOPS 11489 HAS SOUS 10184 HAS SOUPS 10184 WITH SCORE 10195.489
AT ITER 2748 NEW BEST:: SOT 34789 SOS 11477 HAS SOPS 11477 HAS SOUS 10175 HAS SOUPS 10175 WITH SCORE 10186.477
AT ITER 2754 NEW BEST:: SOT 34777 SOS 11451 HAS SOPS 11451 HAS SOUS 10154 HAS SOUPS 10154 WITH SCORE 10165.451
AT ITER 2796 NEW BEST:: SOT 34775 SOS 11445 HAS SOPS 11445 HAS SOUS 10153 HAS SOUPS 10153 WITH SCORE 10164.445
AT ITER 2811 NEW BEST:: SOT 34773 SOS 11448 HAS SOPS 11448 HAS SOUS 10149 HAS SOUPS 10149 WITH SCORE 10160.448
AT ITER 2821 NEW BEST:: SOT 34773 SOS 11503 HAS SOPS 11503 HAS SOUS 10059 HAS SOUPS 10059 WITH SCORE 10070.503
AT ITER 2835 NEW BEST:: SOT 34773 SOS 11503 HAS SOPS 11503 HAS SOUS 10048 HAS SOUPS 10048 WITH SCORE 10059.503
AT ITER 2863 NEW BEST:: SOT 34773 SOS 11502 HAS SOPS 11502 HAS SOUS 10047 HAS SOUPS 10047 WITH SCORE 10058.502
AT ITER 2879 NEW BEST:: SOT 34758 SOS 11471 HAS SOPS 11471 HAS SOUS 10016 HAS SOUPS 10016 WITH SCORE 10027.471
AT ITER 2899 NEW BEST:: SOT 34757 SOS 11469 HAS SOPS 11469 HAS SOUS 10014 HAS SOUPS 10014 WITH SCORE 10025.469
AT ITER 2902 NEW BEST:: SOT 34749 SOS 11461 HAS SOPS 11461 HAS SOUS 10004 HAS SOUPS 10004 WITH SCORE 10015.461
AT ITER 2909 NEW BEST:: SOT 34749 SOS 11460 HAS SOPS 11460 HAS SOUS 10002 HAS SOUPS 10002 WITH SCORE 10013.46
AT ITER 2916 NEW BEST:: SOT 34714 SOS 11419 HAS SOPS 11419 HAS SOUS 9958 HAS SOUPS 9958 WITH SCORE 9969.419
AT ITER 2920 NEW BEST:: SOT 34714 SOS 11419 HAS SOPS 11419 HAS SOUS 9957 HAS SOUPS 9957 WITH SCORE 9968.419
AT ITER 2954 NEW BEST:: SOT 34698 SOS 11376 HAS SOPS 11376 HAS SOUS 9902 HAS SOUPS 9902 WITH SCORE 9913.376
AT ITER 2964 NEW BEST:: SOT 34701 SOS 11380 HAS SOPS 11380 HAS SOUS 9898 HAS SOUPS 9898 WITH SCORE 9909.38
AT ITER 2984 NEW BEST:: SOT 34692 SOS 11368 HAS SOPS 11368 HAS SOUS 9886 HAS SOUPS 9886 WITH SCORE 9897.368
AT ITER 3028 NEW BEST:: SOT 34683 SOS 11357 HAS SOPS 11357 HAS SOUS 9861 HAS SOUPS 9861 WITH SCORE 9872.357
AT ITER 3040 NEW BEST:: SOT 34665 SOS 11325 HAS SOPS 11325 HAS SOUS 9837 HAS SOUPS 9837 WITH SCORE 9848.325
AT ITER 3047 NEW BEST:: SOT 34654 SOS 11281 HAS SOPS 11281 HAS SOUS 9807 HAS SOUPS 9807 WITH SCORE 9818.281
AT ITER 3083 NEW BEST:: SOT 34623 SOS 11224 HAS SOPS 11224 HAS SOUS 9748 HAS SOUPS 9748 WITH SCORE 9759.224
AT ITER 3120 NEW BEST:: SOT 34611 SOS 11215 HAS SOPS 11215 HAS SOUS 9724 HAS SOUPS 9724 WITH SCORE 9735.215
AT ITER 3127 NEW BEST:: SOT 34615 SOS 11229 HAS SOPS 11229 HAS SOUS 9710 HAS SOUPS 9710 WITH SCORE 9721.229
AT ITER 3146 NEW BEST:: SOT 34567 SOS 11181 HAS SOPS 11181 HAS SOUS 9686 HAS SOUPS 9686 WITH SCORE 9697.181
AT ITER 3153 NEW BEST:: SOT 34565 SOS 11179 HAS SOPS 11179 HAS SOUS 9684 HAS SOUPS 9684 WITH SCORE 9695.179
AT ITER 3169 NEW BEST:: SOT 34505 SOS 11093 HAS SOPS 11093 HAS SOUS 9603 HAS SOUPS 9603 WITH SCORE 9614.093
AT ITER 3171 NEW BEST:: SOT 34513 SOS 11087 HAS SOPS 11087 HAS SOUS 9588 HAS SOUPS 9588 WITH SCORE 9599.087
AT ITER 3246 NEW BEST:: SOT 34489 SOS 11030 HAS SOPS 11030 HAS SOUS 9556 HAS SOUPS 9556 WITH SCORE 9567.03
AT ITER 3336 NEW BEST:: SOT 34497 SOS 11037 HAS SOPS 11037 HAS SOUS 9541 HAS SOUPS 9541 WITH SCORE 9552.037
AT ITER 3355 NEW BEST:: SOT 34491 SOS 11022 HAS SOPS 11022 HAS SOUS 9535 HAS SOUPS 9535 WITH SCORE 9546.022
AT ITER 3356 NEW BEST:: SOT 34395 SOS 10838 HAS SOPS 10838 HAS SOUS 9425 HAS SOUPS 9425 WITH SCORE 9435.838
AT ITER 3375 NEW BEST:: SOT 34386 SOS 10823 HAS SOPS 10823 HAS SOUS 9416 HAS SOUPS 9416 WITH SCORE 9426.823
AT ITER 3441 NEW BEST:: SOT 34353 SOS 10784 HAS SOPS 10784 HAS SOUS 9370 HAS SOUPS 9370 WITH SCORE 9380.784
AT ITER 3469 NEW BEST:: SOT 34323 SOS 10738 HAS SOPS 10738 HAS SOUS 9323 HAS SOUPS 9323 WITH SCORE 9333.738
AT ITER 3489 NEW BEST:: SOT 34320 SOS 10677 HAS SOPS 10677 HAS SOUS 9302 HAS SOUPS 9302 WITH SCORE 9312.677
AT ITER 3498 NEW BEST:: SOT 34320 SOS 10672 HAS SOPS 10672 HAS SOUS 9297 HAS SOUPS 9297 WITH SCORE 9307.672
AT ITER 3508 NEW BEST:: SOT 34320 SOS 10672 HAS SOPS 10672 HAS SOUS 9296 HAS SOUPS 9296 WITH SCORE 9306.672
AT ITER 3512 NEW BEST:: SOT 34326 SOS 10687 HAS SOPS 10687 HAS SOUS 9293 HAS SOUPS 9293 WITH SCORE 9303.687
AT ITER 3513 NEW BEST:: SOT 34324 SOS 10683 HAS SOPS 10683 HAS SOUS 9289 HAS SOUPS 9289 WITH SCORE 9299.683
AT ITER 3535 NEW BEST:: SOT 34300 SOS 10631 HAS SOPS 10631 HAS SOUS 9240 HAS SOUPS 9240 WITH SCORE 9250.631
AT ITER 3554 NEW BEST:: SOT 34287 SOS 10614 HAS SOPS 10614 HAS SOUS 9231 HAS SOUPS 9231 WITH SCORE 9241.614
AT ITER 3586 NEW BEST:: SOT 34283 SOS 10606 HAS SOPS 10606 HAS SOUS 9223 HAS SOUPS 9223 WITH SCORE 9233.606
AT ITER 3589 NEW BEST:: SOT 34275 SOS 10587 HAS SOPS 10587 HAS SOUS 9220 HAS SOUPS 9220 WITH SCORE 9230.587
AT ITER 3657 NEW BEST:: SOT 34312 SOS 10605 HAS SOPS 10605 HAS SOUS 9210 HAS SOUPS 9210 WITH SCORE 9220.605
AT ITER 3663 NEW BEST:: SOT 34312 SOS 10604 HAS SOPS 10604 HAS SOUS 9210 HAS SOUPS 9210 WITH SCORE 9220.604
AT ITER 3671 NEW BEST:: SOT 34295 SOS 10523 HAS SOPS 10523 HAS SOUS 9161 HAS SOUPS 9161 WITH SCORE 9171.523
AT ITER 3675 NEW BEST:: SOT 34292 SOS 10517 HAS SOPS 10517 HAS SOUS 9155 HAS SOUPS 9155 WITH SCORE 9165.517
AT ITER 3702 NEW BEST:: SOT 34277 SOS 10486 HAS SOPS 10486 HAS SOUS 9131 HAS SOUPS 9131 WITH SCORE 9141.486
AT ITER 3762 NEW BEST:: SOT 34271 SOS 10480 HAS SOPS 10480 HAS SOUS 9125 HAS SOUPS 9125 WITH SCORE 9135.48
AT ITER 3765 NEW BEST:: SOT 34262 SOS 10448 HAS SOPS 10448 HAS SOUS 9099 HAS SOUPS 9099 WITH SCORE 9109.448
AT ITER 3789 NEW BEST:: SOT 34262 SOS 10447 HAS SOPS 10447 HAS SOUS 9098 HAS SOUPS 9098 WITH SCORE 9108.447
AT ITER 3790 NEW BEST:: SOT 34262 SOS 10445 HAS SOPS 10445 HAS SOUS 9098 HAS SOUPS 9098 WITH SCORE 9108.445
AT ITER 3830 NEW BEST:: SOT 34261 SOS 10442 HAS SOPS 10442 HAS SOUS 9095 HAS SOUPS 9095 WITH SCORE 9105.442
AT ITER 3833 NEW BEST:: SOT 34244 SOS 10415 HAS SOPS 10415 HAS SOUS 9087 HAS SOUPS 9087 WITH SCORE 9097.415
AT ITER 3876 NEW BEST:: SOT 34235 SOS 10403 HAS SOPS 10403 HAS SOUS 9075 HAS SOUPS 9075 WITH SCORE 9085.403
AT ITER 3878 NEW BEST:: SOT 34231 SOS 10387 HAS SOPS 10387 HAS SOUS 9069 HAS SOUPS 9069 WITH SCORE 9079.387
AT ITER 3880 NEW BEST:: SOT 34224 SOS 10370 HAS SOPS 10370 HAS SOUS 9062 HAS SOUPS 9062 WITH SCORE 9072.37
AT ITER 3887 NEW BEST:: SOT 34218 SOS 10362 HAS SOPS 10362 HAS SOUS 9054 HAS SOUPS 9054 WITH SCORE 9064.362
AT ITER 3912 NEW BEST:: SOT 34210 SOS 10354 HAS SOPS 10354 HAS SOUS 9046 HAS SOUPS 9046 WITH SCORE 9056.354
AT ITER 3916 NEW BEST:: SOT 34207 SOS 10349 HAS SOPS 10349 HAS SOUS 9043 HAS SOUPS 9043 WITH SCORE 9053.349
AT ITER 3944 NEW BEST:: SOT 34195 SOS 10333 HAS SOPS 10333 HAS SOUS 9023 HAS SOUPS 9023 WITH SCORE 9033.333
AT ITER 3979 NEW BEST:: SOT 34195 SOS 10357 HAS SOPS 10357 HAS SOUS 9013 HAS SOUPS 9013 WITH SCORE 9023.357
AT ITER 3999 NEW BEST:: SOT 34195 SOS 10352 HAS SOPS 10352 HAS SOUS 9008 HAS SOUPS 9008 WITH SCORE 9018.352
AT ITER 4051 NEW BEST:: SOT 34186 SOS 10323 HAS SOPS 10323 HAS SOUS 8981 HAS SOUPS 8981 WITH SCORE 8991.323
AT ITER 4072 NEW BEST:: SOT 34170 SOS 10308 HAS SOPS 10308 HAS SOUS 8966 HAS SOUPS 8966 WITH SCORE 8976.308
AT ITER 4073 NEW BEST:: SOT 34169 SOS 10306 HAS SOPS 10306 HAS SOUS 8965 HAS SOUPS 8965 WITH SCORE 8975.306
AT ITER 4092 NEW BEST:: SOT 34163 SOS 10276 HAS SOPS 10276 HAS SOUS 8953 HAS SOUPS 8953 WITH SCORE 8963.276
AT ITER 4110 NEW BEST:: SOT 34162 SOS 10279 HAS SOPS 10279 HAS SOUS 8949 HAS SOUPS 8949 WITH SCORE 8959.279
AT ITER 4153 NEW BEST:: SOT 34146 SOS 10257 HAS SOPS 10257 HAS SOUS 8917 HAS SOUPS 8917 WITH SCORE 8927.257
AT ITER 4158 NEW BEST:: SOT 34146 SOS 10255 HAS SOPS 10255 HAS SOUS 8917 HAS SOUPS 8917 WITH SCORE 8927.255
AT ITER 4190 NEW BEST:: SOT 34146 SOS 10235 HAS SOPS 10235 HAS SOUS 8917 HAS SOUPS 8917 WITH SCORE 8927.235
AT ITER 4198 NEW BEST:: SOT 34131 SOS 10227 HAS SOPS 10227 HAS SOUS 8906 HAS SOUPS 8906 WITH SCORE 8916.227
AT ITER 4223 NEW BEST:: SOT 34108 SOS 10184 HAS SOPS 10184 HAS SOUS 8850 HAS SOUPS 8850 WITH SCORE 8860.184
AT ITER 4225 NEW BEST:: SOT 34101 SOS 10177 HAS SOPS 10177 HAS SOUS 8840 HAS SOUPS 8840 WITH SCORE 8850.177
AT ITER 4231 NEW BEST:: SOT 34087 SOS 10163 HAS SOPS 10163 HAS SOUS 8826 HAS SOUPS 8826 WITH SCORE 8836.163
AT ITER 4235 NEW BEST:: SOT 34087 SOS 10158 HAS SOPS 10158 HAS SOUS 8821 HAS SOUPS 8821 WITH SCORE 8831.158
AT ITER 4275 NEW BEST:: SOT 34091 SOS 10155 HAS SOPS 10155 HAS SOUS 8809 HAS SOUPS 8809 WITH SCORE 8819.155
AT ITER 4285 NEW BEST:: SOT 34095 SOS 10154 HAS SOPS 10154 HAS SOUS 8808 HAS SOUPS 8808 WITH SCORE 8818.154
AT ITER 4287 NEW BEST:: SOT 34101 SOS 10192 HAS SOPS 10192 HAS SOUS 8800 HAS SOUPS 8800 WITH SCORE 8810.192
AT ITER 4319 NEW BEST:: SOT 34090 SOS 10167 HAS SOPS 10167 HAS SOUS 8773 HAS SOUPS 8773 WITH SCORE 8783.167
AT ITER 4350 NEW BEST:: SOT 34060 SOS 10128 HAS SOPS 10128 HAS SOUS 8725 HAS SOUPS 8725 WITH SCORE 8735.128
AT ITER 4385 NEW BEST:: SOT 34058 SOS 10124 HAS SOPS 10124 HAS SOUS 8721 HAS SOUPS 8721 WITH SCORE 8731.124
AT ITER 4402 NEW BEST:: SOT 34058 SOS 10096 HAS SOPS 10096 HAS SOUS 8721 HAS SOUPS 8721 WITH SCORE 8731.096
AT ITER 4415 NEW BEST:: SOT 34056 SOS 10090 HAS SOPS 10090 HAS SOUS 8716 HAS SOUPS 8716 WITH SCORE 8726.09
AT ITER 4432 NEW BEST:: SOT 34047 SOS 10077 HAS SOPS 10077 HAS SOUS 8701 HAS SOUPS 8701 WITH SCORE 8711.077
AT ITER 4463 NEW BEST:: SOT 34047 SOS 10075 HAS SOPS 10075 HAS SOUS 8701 HAS SOUPS 8701 WITH SCORE 8711.075
AT ITER 4466 NEW BEST:: SOT 34038 SOS 10052 HAS SOPS 10052 HAS SOUS 8683 HAS SOUPS 8683 WITH SCORE 8693.052
AT ITER 4508 NEW BEST:: SOT 34036 SOS 10048 HAS SOPS 10048 HAS SOUS 8678 HAS SOUPS 8678 WITH SCORE 8688.048
AT ITER 4528 NEW BEST:: SOT 34029 SOS 10037 HAS SOPS 10037 HAS SOUS 8667 HAS SOUPS 8667 WITH SCORE 8677.037
AT ITER 4559 NEW BEST:: SOT 34011 SOS 10020 HAS SOPS 10020 HAS SOUS 8648 HAS SOUPS 8648 WITH SCORE 8658.02
AT ITER 4567 NEW BEST:: SOT 33979 SOS 9988 HAS SOPS 9988 HAS SOUS 8606 HAS SOUPS 8606 WITH SCORE 8615.988
AT ITER 4607 NEW BEST:: SOT 33979 SOS 9988 HAS SOPS 9988 HAS SOUS 8604 HAS SOUPS 8604 WITH SCORE 8613.988
AT ITER 4612 NEW BEST:: SOT 33979 SOS 9990 HAS SOPS 9990 HAS SOUS 8602 HAS SOUPS 8602 WITH SCORE 8611.99
AT ITER 4614 NEW BEST:: SOT 33967 SOS 9978 HAS SOPS 9978 HAS SOUS 8602 HAS SOUPS 8602 WITH SCORE 8611.978
AT ITER 4630 NEW BEST:: SOT 33947 SOS 9958 HAS SOPS 9958 HAS SOUS 8602 HAS SOUPS 8602 WITH SCORE 8611.958
AT ITER 4634 NEW BEST:: SOT 33920 SOS 9913 HAS SOPS 9913 HAS SOUS 8557 HAS SOUPS 8557 WITH SCORE 8566.913
AT ITER 4647 NEW BEST:: SOT 33878 SOS 9892 HAS SOPS 9892 HAS SOUS 8522 HAS SOUPS 8522 WITH SCORE 8531.892
AT ITER 4681 NEW BEST:: SOT 33874 SOS 9888 HAS SOPS 9888 HAS SOUS 8516 HAS SOUPS 8516 WITH SCORE 8525.888
AT ITER 4689 NEW BEST:: SOT 33859 SOS 9837 HAS SOPS 9837 HAS SOUS 8488 HAS SOUPS 8488 WITH SCORE 8497.837
AT ITER 4711 NEW BEST:: SOT 33857 SOS 9834 HAS SOPS 9834 HAS SOUS 8485 HAS SOUPS 8485 WITH SCORE 8494.834
AT ITER 4712 NEW BEST:: SOT 33828 SOS 9805 HAS SOPS 9805 HAS SOUS 8456 HAS SOUPS 8456 WITH SCORE 8465.805
AT ITER 4725 NEW BEST:: SOT 33764 SOS 9623 HAS SOPS 9623 HAS SOUS 8321 HAS SOUPS 8321 WITH SCORE 8330.623
AT ITER 4780 NEW BEST:: SOT 33760 SOS 9618 HAS SOPS 9618 HAS SOUS 8316 HAS SOUPS 8316 WITH SCORE 8325.618
AT ITER 4826 NEW BEST:: SOT 33748 SOS 9606 HAS SOPS 9606 HAS SOUS 8266 HAS SOUPS 8266 WITH SCORE 8275.606
AT ITER 4830 NEW BEST:: SOT 33740 SOS 9567 HAS SOPS 9567 HAS SOUS 8239 HAS SOUPS 8239 WITH SCORE 8248.567
AT ITER 4846 NEW BEST:: SOT 33732 SOS 9561 HAS SOPS 9561 HAS SOUS 8230 HAS SOUPS 8230 WITH SCORE 8239.561
AT ITER 4892 NEW BEST:: SOT 33730 SOS 9556 HAS SOPS 9556 HAS SOUS 8228 HAS SOUPS 8228 WITH SCORE 8237.556
AT ITER 4903 NEW BEST:: SOT 33730 SOS 9547 HAS SOPS 9547 HAS SOUS 8227 HAS SOUPS 8227 WITH SCORE 8236.547
AT ITER 4934 NEW BEST:: SOT 33712 SOS 9495 HAS SOPS 9495 HAS SOUS 8185 HAS SOUPS 8185 WITH SCORE 8194.495
AT ITER 4943 NEW BEST:: SOT 33691 SOS 9473 HAS SOPS 9473 HAS SOUS 8172 HAS SOUPS 8172 WITH SCORE 8181.473
AT ITER 4960 NEW BEST:: SOT 33693 SOS 9479 HAS SOPS 9479 HAS SOUS 8170 HAS SOUPS 8170 WITH SCORE 8179.479
AT ITER 4991 NEW BEST:: SOT 33691 SOS 9473 HAS SOPS 9473 HAS SOUS 8168 HAS SOUPS 8168 WITH SCORE 8177.473
AT ITER 4994 NEW BEST:: SOT 33694 SOS 9485 HAS SOPS 9485 HAS SOUS 8165 HAS SOUPS 8165 WITH SCORE 8174.485
AT ITER 4998 NEW BEST:: SOT 33691 SOS 9481 HAS SOPS 9481 HAS SOUS 8161 HAS SOUPS 8161 WITH SCORE 8170.481
AT ITER 4999 NEW BEST:: SOT 33686 SOS 9458 HAS SOPS 9458 HAS SOUS 8156 HAS SOUPS 8156 WITH SCORE 8165.458
AT ITER 5052 NEW BEST:: SOT 33684 SOS 9453 HAS SOPS 9453 HAS SOUS 8152 HAS SOUPS 8152 WITH SCORE 8161.453
AT ITER 5054 NEW BEST:: SOT 33669 SOS 9428 HAS SOPS 9428 HAS SOUS 8116 HAS SOUPS 8116 WITH SCORE 8125.428
AT ITER 5103 NEW BEST:: SOT 33669 SOS 9428 HAS SOPS 9428 HAS SOUS 8115 HAS SOUPS 8115 WITH SCORE 8124.428
AT ITER 5104 NEW BEST:: SOT 33667 SOS 9422 HAS SOPS 9422 HAS SOUS 8115 HAS SOUPS 8115 WITH SCORE 8124.422
AT ITER 5108 NEW BEST:: SOT 33624 SOS 9380 HAS SOPS 9380 HAS SOUS 8071 HAS SOUPS 8071 WITH SCORE 8080.38
AT ITER 5157 NEW BEST:: SOT 33620 SOS 9372 HAS SOPS 9372 HAS SOUS 8065 HAS SOUPS 8065 WITH SCORE 8074.372
AT ITER 5158 NEW BEST:: SOT 33609 SOS 9305 HAS SOPS 9305 HAS SOUS 8043 HAS SOUPS 8043 WITH SCORE 8052.305
AT ITER 5197 NEW BEST:: SOT 33599 SOS 9279 HAS SOPS 9279 HAS SOUS 8027 HAS SOUPS 8027 WITH SCORE 8036.279
AT ITER 5217 NEW BEST:: SOT 33587 SOS 9259 HAS SOPS 9259 HAS SOUS 8012 HAS SOUPS 8012 WITH SCORE 8021.259
AT ITER 5233 NEW BEST:: SOT 33583 SOS 9251 HAS SOPS 9251 HAS SOUS 8004 HAS SOUPS 8004 WITH SCORE 8013.251
AT ITER 5235 NEW BEST:: SOT 33583 SOS 9254 HAS SOPS 9254 HAS SOUS 8000 HAS SOUPS 8000 WITH SCORE 8009.254
AT ITER 5273 NEW BEST:: SOT 33580 SOS 9240 HAS SOPS 9240 HAS SOUS 7993 HAS SOUPS 7993 WITH SCORE 8002.24
AT ITER 5283 NEW BEST:: SOT 33580 SOS 9241 HAS SOPS 9241 HAS SOUS 7990 HAS SOUPS 7990 WITH SCORE 7999.241
AT ITER 5290 NEW BEST:: SOT 33569 SOS 9230 HAS SOPS 9230 HAS SOUS 7979 HAS SOUPS 7979 WITH SCORE 7988.23
AT ITER 5365 NEW BEST:: SOT 33565 SOS 9229 HAS SOPS 9229 HAS SOUS 7968 HAS SOUPS 7968 WITH SCORE 7977.229
AT ITER 5367 NEW BEST:: SOT 33563 SOS 9218 HAS SOPS 9218 HAS SOUS 7963 HAS SOUPS 7963 WITH SCORE 7972.218
AT ITER 5377 NEW BEST:: SOT 33570 SOS 9241 HAS SOPS 9241 HAS SOUS 7959 HAS SOUPS 7959 WITH SCORE 7968.241
AT ITER 5388 NEW BEST:: SOT 33558 SOS 9211 HAS SOPS 9211 HAS SOUS 7935 HAS SOUPS 7935 WITH SCORE 7944.211
AT ITER 5490 NEW BEST:: SOT 33555 SOS 9195 HAS SOPS 9195 HAS SOUS 7925 HAS SOUPS 7925 WITH SCORE 7934.195
AT ITER 5517 NEW BEST:: SOT 33553 SOS 9194 HAS SOPS 9194 HAS SOUS 7921 HAS SOUPS 7921 WITH SCORE 7930.194
AT ITER 5596 NEW BEST:: SOT 33543 SOS 9178 HAS SOPS 9178 HAS SOUS 7907 HAS SOUPS 7907 WITH SCORE 7916.178
AT ITER 5624 NEW BEST:: SOT 33541 SOS 9183 HAS SOPS 9183 HAS SOUS 7905 HAS SOUPS 7905 WITH SCORE 7914.183
AT ITER 5635 NEW BEST:: SOT 33540 SOS 9180 HAS SOPS 9180 HAS SOUS 7904 HAS SOUPS 7904 WITH SCORE 7913.18
AT ITER 5651 NEW BEST:: SOT 33539 SOS 9177 HAS SOPS 9177 HAS SOUS 7903 HAS SOUPS 7903 WITH SCORE 7912.177
AT ITER 5714 NEW BEST:: SOT 33537 SOS 9176 HAS SOPS 9176 HAS SOUS 7899 HAS SOUPS 7899 WITH SCORE 7908.176
AT ITER 5748 NEW BEST:: SOT 33526 SOS 9173 HAS SOPS 9173 HAS SOUS 7894 HAS SOUPS 7894 WITH SCORE 7903.173
AT ITER 5752 NEW BEST:: SOT 33520 SOS 9163 HAS SOPS 9163 HAS SOUS 7888 HAS SOUPS 7888 WITH SCORE 7897.163
AT ITER 5785 NEW BEST:: SOT 33494 SOS 9125 HAS SOPS 9125 HAS SOUS 7854 HAS SOUPS 7854 WITH SCORE 7863.125
AT ITER 5802 NEW BEST:: SOT 33494 SOS 9117 HAS SOPS 9117 HAS SOUS 7849 HAS SOUPS 7849 WITH SCORE 7858.117
AT ITER 5813 NEW BEST:: SOT 33476 SOS 9082 HAS SOPS 9082 HAS SOUS 7832 HAS SOUPS 7832 WITH SCORE 7841.082
AT ITER 5911 NEW BEST:: SOT 33470 SOS 9067 HAS SOPS 9067 HAS SOUS 7820 HAS SOUPS 7820 WITH SCORE 7829.067
AT ITER 5959 NEW BEST:: SOT 33464 SOS 9057 HAS SOPS 9057 HAS SOUS 7795 HAS SOUPS 7795 WITH SCORE 7804.057
AT ITER 5991 NEW BEST:: SOT 33462 SOS 9037 HAS SOPS 9037 HAS SOUS 7784 HAS SOUPS 7784 WITH SCORE 7793.037
AT ITER 6029 NEW BEST:: SOT 33456 SOS 9029 HAS SOPS 9029 HAS SOUS 7776 HAS SOUPS 7776 WITH SCORE 7785.029
AT ITER 6035 NEW BEST:: SOT 33463 SOS 9050 HAS SOPS 9050 HAS SOUS 7774 HAS SOUPS 7774 WITH SCORE 7783.05
AT ITER 6038 NEW BEST:: SOT 33463 SOS 8996 HAS SOPS 8996 HAS SOUS 7772 HAS SOUPS 7772 WITH SCORE 7780.996
AT ITER 6056 NEW BEST:: SOT 33458 SOS 8987 HAS SOPS 8987 HAS SOUS 7767 HAS SOUPS 7767 WITH SCORE 7775.987
AT ITER 6077 NEW BEST:: SOT 33455 SOS 8978 HAS SOPS 8978 HAS SOUS 7760 HAS SOUPS 7760 WITH SCORE 7768.978
AT ITER 6079 NEW BEST:: SOT 33452 SOS 8972 HAS SOPS 8972 HAS SOUS 7756 HAS SOUPS 7756 WITH SCORE 7764.972
AT ITER 6132 NEW BEST:: SOT 33447 SOS 8967 HAS SOPS 8967 HAS SOUS 7751 HAS SOUPS 7751 WITH SCORE 7759.967
AT ITER 6218 NEW BEST:: SOT 33406 SOS 8884 HAS SOPS 8884 HAS SOUS 7678 HAS SOUPS 7678 WITH SCORE 7686.884
AT ITER 6232 NEW BEST:: SOT 33406 SOS 8884 HAS SOPS 8884 HAS SOUS 7669 HAS SOUPS 7669 WITH SCORE 7677.884
AT ITER 6295 NEW BEST:: SOT 33422 SOS 8906 HAS SOPS 8906 HAS SOUS 7667 HAS SOUPS 7667 WITH SCORE 7675.906
AT ITER 6361 NEW BEST:: SOT 33420 SOS 8903 HAS SOPS 8903 HAS SOUS 7664 HAS SOUPS 7664 WITH SCORE 7672.903
AT ITER 6391 NEW BEST:: SOT 33392 SOS 8861 HAS SOPS 8861 HAS SOUS 7636 HAS SOUPS 7636 WITH SCORE 7644.861
AT ITER 6427 NEW BEST:: SOT 33375 SOS 8818 HAS SOPS 8818 HAS SOUS 7584 HAS SOUPS 7584 WITH SCORE 7592.818
AT ITER 6521 NEW BEST:: SOT 33373 SOS 8813 HAS SOPS 8813 HAS SOUS 7578 HAS SOUPS 7578 WITH SCORE 7586.813
AT ITER 6525 NEW BEST:: SOT 33353 SOS 8761 HAS SOPS 8761 HAS SOUS 7530 HAS SOUPS 7530 WITH SCORE 7538.761
AT ITER 6540 NEW BEST:: SOT 33349 SOS 8753 HAS SOPS 8753 HAS SOUS 7524 HAS SOUPS 7524 WITH SCORE 7532.753
AT ITER 6604 NEW BEST:: SOT 33310 SOS 8748 HAS SOPS 8748 HAS SOUS 7506 HAS SOUPS 7506 WITH SCORE 7514.748
AT ITER 6612 NEW BEST:: SOT 33306 SOS 8742 HAS SOPS 8742 HAS SOUS 7500 HAS SOUPS 7500 WITH SCORE 7508.742
AT ITER 6631 NEW BEST:: SOT 33307 SOS 8745 HAS SOPS 8745 HAS SOUS 7499 HAS SOUPS 7499 WITH SCORE 7507.745
AT ITER 6672 NEW BEST:: SOT 33305 SOS 8743 HAS SOPS 8743 HAS SOUS 7496 HAS SOUPS 7496 WITH SCORE 7504.743
AT ITER 6686 NEW BEST:: SOT 33302 SOS 8734 HAS SOPS 8734 HAS SOUS 7494 HAS SOUPS 7494 WITH SCORE 7502.734
AT ITER 6726 NEW BEST:: SOT 33295 SOS 8728 HAS SOPS 8728 HAS SOUS 7477 HAS SOUPS 7477 WITH SCORE 7485.728
AT ITER 6745 NEW BEST:: SOT 33295 SOS 8716 HAS SOPS 8716 HAS SOUS 7468 HAS SOUPS 7468 WITH SCORE 7476.716
AT ITER 6772 NEW BEST:: SOT 33286 SOS 8707 HAS SOPS 8707 HAS SOUS 7451 HAS SOUPS 7451 WITH SCORE 7459.707
AT ITER 6780 NEW BEST:: SOT 33268 SOS 8671 HAS SOPS 8671 HAS SOUS 7423 HAS SOUPS 7423 WITH SCORE 7431.671
AT ITER 6868 NEW BEST:: SOT 33270 SOS 8671 HAS SOPS 8671 HAS SOUS 7419 HAS SOUPS 7419 WITH SCORE 7427.671
AT ITER 6980 NEW BEST:: SOT 33269 SOS 8669 HAS SOPS 8669 HAS SOUS 7417 HAS SOUPS 7417 WITH SCORE 7425.669
AT ITER 7021 NEW BEST:: SOT 33267 SOS 8665 HAS SOPS 8665 HAS SOUS 7413 HAS SOUPS 7413 WITH SCORE 7421.665
AT ITER 7054 NEW BEST:: SOT 33265 SOS 8653 HAS SOPS 8653 HAS SOUS 7404 HAS SOUPS 7404 WITH SCORE 7412.653
AT ITER 7070 NEW BEST:: SOT 33262 SOS 8644 HAS SOPS 8644 HAS SOUS 7401 HAS SOUPS 7401 WITH SCORE 7409.644
AT ITER 7096 NEW BEST:: SOT 33259 SOS 8640 HAS SOPS 8640 HAS SOUS 7397 HAS SOUPS 7397 WITH SCORE 7405.64
AT ITER 7103 NEW BEST:: SOT 33257 SOS 8632 HAS SOPS 8632 HAS SOUS 7393 HAS SOUPS 7393 WITH SCORE 7401.632
AT ITER 7105 NEW BEST:: SOT 33256 SOS 8629 HAS SOPS 8629 HAS SOUS 7389 HAS SOUPS 7389 WITH SCORE 7397.629
AT ITER 7136 NEW BEST:: SOT 33253 SOS 8614 HAS SOPS 8614 HAS SOUS 7378 HAS SOUPS 7378 WITH SCORE 7386.614
AT ITER 7201 NEW BEST:: SOT 33249 SOS 8604 HAS SOPS 8604 HAS SOUS 7377 HAS SOUPS 7377 WITH SCORE 7385.604
AT ITER 7339 NEW BEST:: SOT 33228 SOS 8567 HAS SOPS 8567 HAS SOUS 7340 HAS SOUPS 7340 WITH SCORE 7348.567
AT ITER 7470 NEW BEST:: SOT 33216 SOS 8537 HAS SOPS 8537 HAS SOUS 7320 HAS SOUPS 7320 WITH SCORE 7328.537
AT ITER 7471 NEW BEST:: SOT 33216 SOS 8533 HAS SOPS 8533 HAS SOUS 7316 HAS SOUPS 7316 WITH SCORE 7324.533
AT ITER 7499 NEW BEST:: SOT 33209 SOS 8523 HAS SOPS 8523 HAS SOUS 7307 HAS SOUPS 7307 WITH SCORE 7315.523
AT ITER 7675 NEW BEST:: SOT 33208 SOS 8520 HAS SOPS 8520 HAS SOUS 7304 HAS SOUPS 7304 WITH SCORE 7312.52
AT ITER 7694 NEW BEST:: SOT 33208 SOS 8517 HAS SOPS 8517 HAS SOUS 7304 HAS SOUPS 7304 WITH SCORE 7312.517
AT ITER 7700 NEW BEST:: SOT 33206 SOS 8515 HAS SOPS 8515 HAS SOUS 7302 HAS SOUPS 7302 WITH SCORE 7310.515
AT ITER 7737 NEW BEST:: SOT 33198 SOS 8500 HAS SOPS 8500 HAS SOUS 7298 HAS SOUPS 7298 WITH SCORE 7306.5
AT ITER 7814 NEW BEST:: SOT 33197 SOS 8497 HAS SOPS 8497 HAS SOUS 7295 HAS SOUPS 7295 WITH SCORE 7303.497
AT ITER 7827 NEW BEST:: SOT 33195 SOS 8492 HAS SOPS 8492 HAS SOUS 7291 HAS SOUPS 7291 WITH SCORE 7299.492
AT ITER 7881 NEW BEST:: SOT 33195 SOS 8492 HAS SOPS 8492 HAS SOUS 7290 HAS SOUPS 7290 WITH SCORE 7298.492
AT ITER 7897 NEW BEST:: SOT 33183 SOS 8474 HAS SOPS 8474 HAS SOUS 7275 HAS SOUPS 7275 WITH SCORE 7283.474
AT ITER 7912 NEW BEST:: SOT 33179 SOS 8470 HAS SOPS 8470 HAS SOUS 7274 HAS SOUPS 7274 WITH SCORE 7282.47
AT ITER 8046 NEW BEST:: SOT 33172 SOS 8463 HAS SOPS 8463 HAS SOUS 7272 HAS SOUPS 7272 WITH SCORE 7280.463
AT ITER 8061 NEW BEST:: SOT 33163 SOS 8448 HAS SOPS 8448 HAS SOUS 7254 HAS SOUPS 7254 WITH SCORE 7262.448
AT ITER 8095 NEW BEST:: SOT 33163 SOS 8445 HAS SOPS 8445 HAS SOUS 7251 HAS SOUPS 7251 WITH SCORE 7259.445
AT ITER 8122 NEW BEST:: SOT 33164 SOS 8454 HAS SOPS 8454 HAS SOUS 7237 HAS SOUPS 7237 WITH SCORE 7245.454
AT ITER 8123 NEW BEST:: SOT 33159 SOS 8441 HAS SOPS 8441 HAS SOUS 7231 HAS SOUPS 7231 WITH SCORE 7239.441
AT ITER 8188 NEW BEST:: SOT 33158 SOS 8441 HAS SOPS 8441 HAS SOUS 7217 HAS SOUPS 7217 WITH SCORE 7225.441
AT ITER 8323 NEW BEST:: SOT 33157 SOS 8440 HAS SOPS 8440 HAS SOUS 7217 HAS SOUPS 7217 WITH SCORE 7225.44
AT ITER 8368 NEW BEST:: SOT 33161 SOS 8452 HAS SOPS 8452 HAS SOUS 7213 HAS SOUPS 7213 WITH SCORE 7221.452
AT ITER 8396 NEW BEST:: SOT 33158 SOS 8451 HAS SOPS 8451 HAS SOUS 7212 HAS SOUPS 7212 WITH SCORE 7220.451
AT ITER 8473 NEW BEST:: SOT 33160 SOS 8451 HAS SOPS 8451 HAS SOUS 7210 HAS SOUPS 7210 WITH SCORE 7218.451
AT ITER 8492 NEW BEST:: SOT 33160 SOS 8451 HAS SOPS 8451 HAS SOUS 7208 HAS SOUPS 7208 WITH SCORE 7216.451
AT ITER 8517 NEW BEST:: SOT 33168 SOS 8328 HAS SOPS 8328 HAS SOUS 7204 HAS SOUPS 7204 WITH SCORE 7212.328
AT ITER 8546 NEW BEST:: SOT 33165 SOS 8324 HAS SOPS 8324 HAS SOUS 7201 HAS SOUPS 7201 WITH SCORE 7209.324
AT ITER 8584 NEW BEST:: SOT 33162 SOS 8312 HAS SOPS 8312 HAS SOUS 7198 HAS SOUPS 7198 WITH SCORE 7206.312
AT ITER 8635 NEW BEST:: SOT 33162 SOS 8297 HAS SOPS 8297 HAS SOUS 7193 HAS SOUPS 7193 WITH SCORE 7201.297
AT ITER 8637 NEW BEST:: SOT 33162 SOS 8294 HAS SOPS 8294 HAS SOUS 7193 HAS SOUPS 7193 WITH SCORE 7201.294
AT ITER 8777 NEW BEST:: SOT 33160 SOS 8277 HAS SOPS 8277 HAS SOUS 7187 HAS SOUPS 7187 WITH SCORE 7195.277
AT ITER 8813 NEW BEST:: SOT 33157 SOS 8271 HAS SOPS 8271 HAS SOUS 7187 HAS SOUPS 7187 WITH SCORE 7195.271
AT ITER 8885 NEW BEST:: SOT 33152 SOS 8258 HAS SOPS 8258 HAS SOUS 7168 HAS SOUPS 7168 WITH SCORE 7176.258
AT ITER 8994 NEW BEST:: SOT 33123 SOS 8185 HAS SOPS 8185 HAS SOUS 7150 HAS SOUPS 7150 WITH SCORE 7158.185
AT ITER 9054 NEW BEST:: SOT 33120 SOS 8181 HAS SOPS 8181 HAS SOUS 7145 HAS SOUPS 7145 WITH SCORE 7153.181
AT ITER 9071 NEW BEST:: SOT 33119 SOS 8177 HAS SOPS 8177 HAS SOUS 7143 HAS SOUPS 7143 WITH SCORE 7151.177
AT ITER 9198 NEW BEST:: SOT 33098 SOS 8156 HAS SOPS 8156 HAS SOUS 7122 HAS SOUPS 7122 WITH SCORE 7130.156
AT ITER 9207 NEW BEST:: SOT 33102 SOS 8146 HAS SOPS 8146 HAS SOUS 7120 HAS SOUPS 7120 WITH SCORE 7128.146
AT ITER 9371 NEW BEST:: SOT 33098 SOS 8136 HAS SOPS 8136 HAS SOUS 7112 HAS SOUPS 7112 WITH SCORE 7120.136
AT ITER 9501 NEW BEST:: SOT 33100 SOS 8134 HAS SOPS 8134 HAS SOUS 7101 HAS SOUPS 7101 WITH SCORE 7109.134
AT ITER 9547 NEW BEST:: SOT 33094 SOS 8127 HAS SOPS 8127 HAS SOUS 7094 HAS SOUPS 7094 WITH SCORE 7102.127
AT ITER 9588 NEW BEST:: SOT 33097 SOS 8125 HAS SOPS 8125 HAS SOUS 7092 HAS SOUPS 7092 WITH SCORE 7100.125
AT ITER 9813 NEW BEST:: SOT 33085 SOS 8113 HAS SOPS 8113 HAS SOUS 7080 HAS SOUPS 7080 WITH SCORE 7088.113
AT ITER 9846 NEW BEST:: SOT 33083 SOS 8112 HAS SOPS 8112 HAS SOUS 7079 HAS SOUPS 7079 WITH SCORE 7087.112
AT ITER 9952 NEW BEST:: SOT 33077 SOS 8102 HAS SOPS 8102 HAS SOUS 7069 HAS SOUPS 7069 WITH SCORE 7077.102
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 135456 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16297196 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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="ShieldRVt-PT-030A"
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 ShieldRVt-PT-030A, 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 r419-tajo-167905973600296"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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