Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033470401051.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/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 ShieldRVt-PT-040A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033470401051
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 280K
-rw-r--r-- 1 mcc users 4.0K May 14 02:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 02:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 20:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 20:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.4K May 13 14:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 13 14:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 09:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 13 09:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 109K May 12 20:42 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME ShieldRVt-PT-040A-CTLCardinality-00
FORMULA_NAME ShieldRVt-PT-040A-CTLCardinality-01
FORMULA_NAME ShieldRVt-PT-040A-CTLCardinality-02
FORMULA_NAME ShieldRVt-PT-040A-CTLCardinality-03
FORMULA_NAME ShieldRVt-PT-040A-CTLCardinality-04
FORMULA_NAME ShieldRVt-PT-040A-CTLCardinality-05
FORMULA_NAME ShieldRVt-PT-040A-CTLCardinality-06
FORMULA_NAME ShieldRVt-PT-040A-CTLCardinality-07
FORMULA_NAME ShieldRVt-PT-040A-CTLCardinality-08
FORMULA_NAME ShieldRVt-PT-040A-CTLCardinality-09
FORMULA_NAME ShieldRVt-PT-040A-CTLCardinality-10
FORMULA_NAME ShieldRVt-PT-040A-CTLCardinality-11
FORMULA_NAME ShieldRVt-PT-040A-CTLCardinality-12
FORMULA_NAME ShieldRVt-PT-040A-CTLCardinality-13
FORMULA_NAME ShieldRVt-PT-040A-CTLCardinality-14
FORMULA_NAME ShieldRVt-PT-040A-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590457126116

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (PT), instance 040A
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 323 places, 323 transitions, 1366 arcs.
AT ITER 0 NEW BEST:: SOT 81877 SOS 60079 HAS SOPS 60079 HAS SOUS 56213 HAS SOUPS 56213 WITH SCORE 56273.079
AT ITER 2 NEW BEST:: SOT 81777 SOS 59953 HAS SOPS 59953 HAS SOUS 56132 HAS SOUPS 56132 WITH SCORE 56191.953
AT ITER 3 NEW BEST:: SOT 81668 SOS 59676 HAS SOPS 59676 HAS SOUS 55920 HAS SOUPS 55920 WITH SCORE 55979.676
AT ITER 4 NEW BEST:: SOT 81358 SOS 59366 HAS SOPS 59366 HAS SOUS 55600 HAS SOUPS 55600 WITH SCORE 55659.366
AT ITER 8 NEW BEST:: SOT 81335 SOS 59320 HAS SOPS 59320 HAS SOUS 55553 HAS SOUPS 55553 WITH SCORE 55612.32
AT ITER 10 NEW BEST:: SOT 81196 SOS 59047 HAS SOPS 59047 HAS SOUS 55190 HAS SOUPS 55190 WITH SCORE 55249.047
AT ITER 11 NEW BEST:: SOT 81069 SOS 58741 HAS SOPS 58741 HAS SOUS 54976 HAS SOUPS 54976 WITH SCORE 55034.741
AT ITER 15 NEW BEST:: SOT 80929 SOS 58461 HAS SOPS 58461 HAS SOUS 54699 HAS SOUPS 54699 WITH SCORE 54757.461
AT ITER 17 NEW BEST:: SOT 80810 SOS 58129 HAS SOPS 58129 HAS SOUS 54535 HAS SOUPS 54535 WITH SCORE 54593.129
AT ITER 22 NEW BEST:: SOT 80713 SOS 57936 HAS SOPS 57936 HAS SOUS 54246 HAS SOUPS 54246 WITH SCORE 54303.936
AT ITER 29 NEW BEST:: SOT 80566 SOS 57645 HAS SOPS 57645 HAS SOUS 53909 HAS SOUPS 53909 WITH SCORE 53966.645
AT ITER 33 NEW BEST:: SOT 80356 SOS 57283 HAS SOPS 57283 HAS SOUS 53547 HAS SOUPS 53547 WITH SCORE 53604.283
AT ITER 35 NEW BEST:: SOT 80242 SOS 57059 HAS SOPS 57059 HAS SOUS 53241 HAS SOUPS 53241 WITH SCORE 53298.059
AT ITER 38 NEW BEST:: SOT 80116 SOS 56807 HAS SOPS 56807 HAS SOUS 52930 HAS SOUPS 52930 WITH SCORE 52986.807
AT ITER 39 NEW BEST:: SOT 79974 SOS 56462 HAS SOPS 56462 HAS SOUS 52615 HAS SOUPS 52615 WITH SCORE 52671.462
AT ITER 40 NEW BEST:: SOT 79882 SOS 56278 HAS SOPS 56278 HAS SOUS 52363 HAS SOUPS 52363 WITH SCORE 52419.278
AT ITER 41 NEW BEST:: SOT 79873 SOS 56260 HAS SOPS 56260 HAS SOUS 52345 HAS SOUPS 52345 WITH SCORE 52401.26
AT ITER 42 NEW BEST:: SOT 79807 SOS 56158 HAS SOPS 56158 HAS SOUS 52232 HAS SOUPS 52232 WITH SCORE 52288.158
AT ITER 43 NEW BEST:: SOT 79804 SOS 56155 HAS SOPS 56155 HAS SOUS 52136 HAS SOUPS 52136 WITH SCORE 52192.155
AT ITER 48 NEW BEST:: SOT 79784 SOS 56125 HAS SOPS 56125 HAS SOUS 52106 HAS SOUPS 52106 WITH SCORE 52162.125
AT ITER 51 NEW BEST:: SOT 79713 SOS 55986 HAS SOPS 55986 HAS SOUS 51899 HAS SOUPS 51899 WITH SCORE 51954.986
AT ITER 54 NEW BEST:: SOT 79442 SOS 55539 HAS SOPS 55539 HAS SOUS 51423 HAS SOUPS 51423 WITH SCORE 51478.539
AT ITER 56 NEW BEST:: SOT 79343 SOS 55342 HAS SOPS 55342 HAS SOUS 51175 HAS SOUPS 51175 WITH SCORE 51230.342
AT ITER 57 NEW BEST:: SOT 79173 SOS 55092 HAS SOPS 55092 HAS SOUS 50927 HAS SOUPS 50927 WITH SCORE 50982.092
AT ITER 61 NEW BEST:: SOT 79113 SOS 54987 HAS SOPS 54987 HAS SOUS 50822 HAS SOUPS 50822 WITH SCORE 50876.987
AT ITER 63 NEW BEST:: SOT 79001 SOS 54765 HAS SOPS 54765 HAS SOUS 50597 HAS SOUPS 50597 WITH SCORE 50651.765
AT ITER 66 NEW BEST:: SOT 78991 SOS 54703 HAS SOPS 54703 HAS SOUS 50549 HAS SOUPS 50549 WITH SCORE 50603.703
AT ITER 67 NEW BEST:: SOT 78986 SOS 54693 HAS SOPS 54693 HAS SOUS 50539 HAS SOUPS 50539 WITH SCORE 50593.693
AT ITER 69 NEW BEST:: SOT 78972 SOS 54665 HAS SOPS 54665 HAS SOUS 50497 HAS SOUPS 50497 WITH SCORE 50551.665
AT ITER 70 NEW BEST:: SOT 78888 SOS 54505 HAS SOPS 54505 HAS SOUS 50263 HAS SOUPS 50263 WITH SCORE 50317.505
AT ITER 74 NEW BEST:: SOT 78866 SOS 54456 HAS SOPS 54456 HAS SOUS 50238 HAS SOUPS 50238 WITH SCORE 50292.456
AT ITER 75 NEW BEST:: SOT 78675 SOS 54200 HAS SOPS 54200 HAS SOUS 49878 HAS SOUPS 49878 WITH SCORE 49932.2
AT ITER 79 NEW BEST:: SOT 78637 SOS 54090 HAS SOPS 54090 HAS SOUS 49840 HAS SOUPS 49840 WITH SCORE 49894.09
AT ITER 80 NEW BEST:: SOT 78612 SOS 54052 HAS SOPS 54052 HAS SOUS 49778 HAS SOUPS 49778 WITH SCORE 49832.052
AT ITER 82 NEW BEST:: SOT 78428 SOS 53626 HAS SOPS 53626 HAS SOUS 49428 HAS SOUPS 49428 WITH SCORE 49481.626
AT ITER 85 NEW BEST:: SOT 78273 SOS 53302 HAS SOPS 53302 HAS SOUS 49104 HAS SOUPS 49104 WITH SCORE 49157.302
AT ITER 87 NEW BEST:: SOT 78132 SOS 53017 HAS SOPS 53017 HAS SOUS 48820 HAS SOUPS 48820 WITH SCORE 48873.017
AT ITER 93 NEW BEST:: SOT 78105 SOS 52981 HAS SOPS 52981 HAS SOUS 48784 HAS SOUPS 48784 WITH SCORE 48836.981
AT ITER 94 NEW BEST:: SOT 78105 SOS 52856 HAS SOPS 52856 HAS SOUS 48688 HAS SOUPS 48688 WITH SCORE 48740.856
AT ITER 95 NEW BEST:: SOT 78103 SOS 52854 HAS SOPS 52854 HAS SOUS 48686 HAS SOUPS 48686 WITH SCORE 48738.854
AT ITER 99 NEW BEST:: SOT 78100 SOS 52844 HAS SOPS 52844 HAS SOUS 48676 HAS SOUPS 48676 WITH SCORE 48728.844
AT ITER 102 NEW BEST:: SOT 78033 SOS 52890 HAS SOPS 52890 HAS SOUS 48663 HAS SOUPS 48663 WITH SCORE 48715.89
AT ITER 103 NEW BEST:: SOT 77922 SOS 52742 HAS SOPS 52742 HAS SOUS 48396 HAS SOUPS 48396 WITH SCORE 48448.742
AT ITER 104 NEW BEST:: SOT 77758 SOS 52400 HAS SOPS 52400 HAS SOUS 48147 HAS SOUPS 48147 WITH SCORE 48199.4
AT ITER 110 NEW BEST:: SOT 77653 SOS 52142 HAS SOPS 52142 HAS SOUS 47958 HAS SOUPS 47958 WITH SCORE 48010.142
AT ITER 112 NEW BEST:: SOT 77653 SOS 52142 HAS SOPS 52142 HAS SOUS 47957 HAS SOUPS 47957 WITH SCORE 48009.142
AT ITER 113 NEW BEST:: SOT 77486 SOS 51890 HAS SOPS 51890 HAS SOUS 47620 HAS SOUPS 47620 WITH SCORE 47671.89
AT ITER 118 NEW BEST:: SOT 77484 SOS 51888 HAS SOPS 51888 HAS SOUS 47618 HAS SOUPS 47618 WITH SCORE 47669.888
AT ITER 120 NEW BEST:: SOT 77484 SOS 51912 HAS SOPS 51912 HAS SOUS 47617 HAS SOUPS 47617 WITH SCORE 47668.912
AT ITER 122 NEW BEST:: SOT 77343 SOS 51507 HAS SOPS 51507 HAS SOUS 47284 HAS SOUPS 47284 WITH SCORE 47335.507
AT ITER 126 NEW BEST:: SOT 77186 SOS 51191 HAS SOPS 51191 HAS SOUS 46969 HAS SOUPS 46969 WITH SCORE 47020.191
AT ITER 127 NEW BEST:: SOT 76969 SOS 50885 HAS SOPS 50885 HAS SOUS 46663 HAS SOUPS 46663 WITH SCORE 46713.885
AT ITER 129 NEW BEST:: SOT 76828 SOS 50455 HAS SOPS 50455 HAS SOUS 46347 HAS SOUPS 46347 WITH SCORE 46397.455
AT ITER 132 NEW BEST:: SOT 76747 SOS 50258 HAS SOPS 50258 HAS SOUS 46106 HAS SOUPS 46106 WITH SCORE 46156.258
AT ITER 139 NEW BEST:: SOT 76677 SOS 50119 HAS SOPS 50119 HAS SOUS 45967 HAS SOUPS 45967 WITH SCORE 46017.119
AT ITER 140 NEW BEST:: SOT 76386 SOS 49687 HAS SOPS 49687 HAS SOUS 45557 HAS SOUPS 45557 WITH SCORE 45606.687
AT ITER 142 NEW BEST:: SOT 76279 SOS 49477 HAS SOPS 49477 HAS SOUS 45244 HAS SOUPS 45244 WITH SCORE 45293.477
AT ITER 146 NEW BEST:: SOT 76140 SOS 49183 HAS SOPS 49183 HAS SOUS 44950 HAS SOUPS 44950 WITH SCORE 44999.183
AT ITER 147 NEW BEST:: SOT 76102 SOS 49145 HAS SOPS 49145 HAS SOUS 44912 HAS SOUPS 44912 WITH SCORE 44961.145
AT ITER 148 NEW BEST:: SOT 76007 SOS 48959 HAS SOPS 48959 HAS SOUS 44817 HAS SOUPS 44817 WITH SCORE 44865.959
AT ITER 149 NEW BEST:: SOT 75918 SOS 48732 HAS SOPS 48732 HAS SOUS 44640 HAS SOUPS 44640 WITH SCORE 44688.732
AT ITER 152 NEW BEST:: SOT 75612 SOS 47979 HAS SOPS 47979 HAS SOUS 43943 HAS SOUPS 43943 WITH SCORE 43990.979
AT ITER 156 NEW BEST:: SOT 75511 SOS 47751 HAS SOPS 47751 HAS SOUS 43648 HAS SOUPS 43648 WITH SCORE 43695.751
AT ITER 158 NEW BEST:: SOT 75442 SOS 47659 HAS SOPS 47659 HAS SOUS 43556 HAS SOUPS 43556 WITH SCORE 43603.659
AT ITER 160 NEW BEST:: SOT 75407 SOS 47583 HAS SOPS 47583 HAS SOUS 43490 HAS SOUPS 43490 WITH SCORE 43537.583
AT ITER 162 NEW BEST:: SOT 75407 SOS 47538 HAS SOPS 47538 HAS SOUS 43401 HAS SOUPS 43401 WITH SCORE 43448.538
AT ITER 166 NEW BEST:: SOT 75267 SOS 47258 HAS SOPS 47258 HAS SOUS 43127 HAS SOUPS 43127 WITH SCORE 43174.258
AT ITER 168 NEW BEST:: SOT 75247 SOS 47218 HAS SOPS 47218 HAS SOUS 43095 HAS SOUPS 43095 WITH SCORE 43142.218
AT ITER 171 NEW BEST:: SOT 75237 SOS 47118 HAS SOPS 47118 HAS SOUS 42995 HAS SOUPS 42995 WITH SCORE 43042.118
AT ITER 176 NEW BEST:: SOT 75124 SOS 46955 HAS SOPS 46955 HAS SOUS 42832 HAS SOUPS 42832 WITH SCORE 42878.955
AT ITER 177 NEW BEST:: SOT 75032 SOS 46771 HAS SOPS 46771 HAS SOUS 42648 HAS SOUPS 42648 WITH SCORE 42694.771
AT ITER 183 NEW BEST:: SOT 74976 SOS 46669 HAS SOPS 46669 HAS SOUS 42531 HAS SOUPS 42531 WITH SCORE 42577.669
AT ITER 185 NEW BEST:: SOT 74936 SOS 46512 HAS SOPS 46512 HAS SOUS 42395 HAS SOUPS 42395 WITH SCORE 42441.512
AT ITER 186 NEW BEST:: SOT 74879 SOS 46345 HAS SOPS 46345 HAS SOUS 42281 HAS SOUPS 42281 WITH SCORE 42327.345
AT ITER 188 NEW BEST:: SOT 74798 SOS 46237 HAS SOPS 46237 HAS SOUS 42173 HAS SOUPS 42173 WITH SCORE 42219.237
AT ITER 190 NEW BEST:: SOT 74789 SOS 46249 HAS SOPS 46249 HAS SOUS 42101 HAS SOUPS 42101 WITH SCORE 42147.249
AT ITER 194 NEW BEST:: SOT 74665 SOS 46048 HAS SOPS 46048 HAS SOUS 41838 HAS SOUPS 41838 WITH SCORE 41884.048
AT ITER 195 NEW BEST:: SOT 74543 SOS 45819 HAS SOPS 45819 HAS SOUS 41606 HAS SOUPS 41606 WITH SCORE 41651.819
AT ITER 201 NEW BEST:: SOT 74543 SOS 45838 HAS SOPS 45838 HAS SOUS 41604 HAS SOUPS 41604 WITH SCORE 41649.838
AT ITER 202 NEW BEST:: SOT 74529 SOS 45752 HAS SOPS 45752 HAS SOUS 41576 HAS SOUPS 41576 WITH SCORE 41621.752
AT ITER 203 NEW BEST:: SOT 74512 SOS 45728 HAS SOPS 45728 HAS SOUS 41495 HAS SOUPS 41495 WITH SCORE 41540.728
AT ITER 204 NEW BEST:: SOT 74512 SOS 45794 HAS SOPS 45794 HAS SOUS 41494 HAS SOUPS 41494 WITH SCORE 41539.794
AT ITER 208 NEW BEST:: SOT 74402 SOS 45489 HAS SOPS 45489 HAS SOUS 41258 HAS SOUPS 41258 WITH SCORE 41303.489
AT ITER 217 NEW BEST:: SOT 74381 SOS 45401 HAS SOPS 45401 HAS SOUS 41224 HAS SOUPS 41224 WITH SCORE 41269.401
AT ITER 220 NEW BEST:: SOT 74314 SOS 45262 HAS SOPS 45262 HAS SOUS 41067 HAS SOUPS 41067 WITH SCORE 41112.262
AT ITER 226 NEW BEST:: SOT 74314 SOS 45284 HAS SOPS 45284 HAS SOUS 41055 HAS SOUPS 41055 WITH SCORE 41100.284
AT ITER 227 NEW BEST:: SOT 74250 SOS 45156 HAS SOPS 45156 HAS SOUS 40927 HAS SOUPS 40927 WITH SCORE 40972.156
AT ITER 229 NEW BEST:: SOT 74183 SOS 44962 HAS SOPS 44962 HAS SOUS 40906 HAS SOUPS 40906 WITH SCORE 40950.962
AT ITER 231 NEW BEST:: SOT 74126 SOS 44767 HAS SOPS 44767 HAS SOUS 40659 HAS SOUPS 40659 WITH SCORE 40703.767
AT ITER 235 NEW BEST:: SOT 74017 SOS 44546 HAS SOPS 44546 HAS SOUS 40469 HAS SOUPS 40469 WITH SCORE 40513.546
AT ITER 237 NEW BEST:: SOT 74014 SOS 44543 HAS SOPS 44543 HAS SOUS 40466 HAS SOUPS 40466 WITH SCORE 40510.543
AT ITER 238 NEW BEST:: SOT 74011 SOS 44540 HAS SOPS 44540 HAS SOUS 40463 HAS SOUPS 40463 WITH SCORE 40507.54
AT ITER 241 NEW BEST:: SOT 74039 SOS 44680 HAS SOPS 44680 HAS SOUS 40443 HAS SOUPS 40443 WITH SCORE 40487.68
AT ITER 246 NEW BEST:: SOT 74078 SOS 44479 HAS SOPS 44479 HAS SOUS 40378 HAS SOUPS 40378 WITH SCORE 40422.479
AT ITER 251 NEW BEST:: SOT 74034 SOS 44405 HAS SOPS 44405 HAS SOUS 40304 HAS SOUPS 40304 WITH SCORE 40348.405
AT ITER 260 NEW BEST:: SOT 74034 SOS 44405 HAS SOPS 44405 HAS SOUS 40275 HAS SOUPS 40275 WITH SCORE 40319.405
AT ITER 265 NEW BEST:: SOT 73999 SOS 44303 HAS SOPS 44303 HAS SOUS 40173 HAS SOUPS 40173 WITH SCORE 40217.303
AT ITER 267 NEW BEST:: SOT 73897 SOS 44155 HAS SOPS 44155 HAS SOUS 40025 HAS SOUPS 40025 WITH SCORE 40069.155
AT ITER 268 NEW BEST:: SOT 73888 SOS 44146 HAS SOPS 44146 HAS SOUS 39941 HAS SOUPS 39941 WITH SCORE 39985.146
AT ITER 279 NEW BEST:: SOT 73863 SOS 44079 HAS SOPS 44079 HAS SOUS 39880 HAS SOUPS 39880 WITH SCORE 39924.079
AT ITER 280 NEW BEST:: SOT 73813 SOS 43977 HAS SOPS 43977 HAS SOUS 39772 HAS SOUPS 39772 WITH SCORE 39815.977
AT ITER 282 NEW BEST:: SOT 73813 SOS 43895 HAS SOPS 43895 HAS SOUS 39745 HAS SOUPS 39745 WITH SCORE 39788.895
AT ITER 283 NEW BEST:: SOT 73806 SOS 43874 HAS SOPS 43874 HAS SOUS 39717 HAS SOUPS 39717 WITH SCORE 39760.874
AT ITER 284 NEW BEST:: SOT 73774 SOS 43842 HAS SOPS 43842 HAS SOUS 39685 HAS SOUPS 39685 WITH SCORE 39728.842
AT ITER 287 NEW BEST:: SOT 73749 SOS 43690 HAS SOPS 43690 HAS SOUS 39632 HAS SOUPS 39632 WITH SCORE 39675.69
AT ITER 288 NEW BEST:: SOT 73726 SOS 43575 HAS SOPS 43575 HAS SOUS 39496 HAS SOUPS 39496 WITH SCORE 39539.575
AT ITER 295 NEW BEST:: SOT 73706 SOS 43611 HAS SOPS 43611 HAS SOUS 39444 HAS SOUPS 39444 WITH SCORE 39487.611
AT ITER 300 NEW BEST:: SOT 73706 SOS 43545 HAS SOPS 43545 HAS SOUS 39422 HAS SOUPS 39422 WITH SCORE 39465.545
AT ITER 302 NEW BEST:: SOT 73482 SOS 43205 HAS SOPS 43205 HAS SOUS 39080 HAS SOUPS 39080 WITH SCORE 39123.205
AT ITER 312 NEW BEST:: SOT 73438 SOS 42985 HAS SOPS 42985 HAS SOUS 38992 HAS SOUPS 38992 WITH SCORE 39034.985
AT ITER 313 NEW BEST:: SOT 73430 SOS 42959 HAS SOPS 42959 HAS SOUS 38972 HAS SOUPS 38972 WITH SCORE 39014.959
AT ITER 315 NEW BEST:: SOT 73230 SOS 42776 HAS SOPS 42776 HAS SOUS 38789 HAS SOUPS 38789 WITH SCORE 38831.776
AT ITER 316 NEW BEST:: SOT 73219 SOS 42765 HAS SOPS 42765 HAS SOUS 38768 HAS SOUPS 38768 WITH SCORE 38810.765
AT ITER 320 NEW BEST:: SOT 73156 SOS 42700 HAS SOPS 42700 HAS SOUS 38696 HAS SOUPS 38696 WITH SCORE 38738.7
AT ITER 330 NEW BEST:: SOT 73090 SOS 42555 HAS SOPS 42555 HAS SOUS 38517 HAS SOUPS 38517 WITH SCORE 38559.555
AT ITER 334 NEW BEST:: SOT 73026 SOS 42227 HAS SOPS 42227 HAS SOUS 38310 HAS SOUPS 38310 WITH SCORE 38352.227
AT ITER 341 NEW BEST:: SOT 72926 SOS 42112 HAS SOPS 42112 HAS SOUS 38195 HAS SOUPS 38195 WITH SCORE 38237.112
AT ITER 342 NEW BEST:: SOT 72902 SOS 42065 HAS SOPS 42065 HAS SOUS 38155 HAS SOUPS 38155 WITH SCORE 38197.065
AT ITER 352 NEW BEST:: SOT 72800 SOS 41724 HAS SOPS 41724 HAS SOUS 38032 HAS SOUPS 38032 WITH SCORE 38073.724
AT ITER 355 NEW BEST:: SOT 72722 SOS 41646 HAS SOPS 41646 HAS SOUS 37954 HAS SOUPS 37954 WITH SCORE 37995.646
AT ITER 356 NEW BEST:: SOT 72722 SOS 41565 HAS SOPS 41565 HAS SOUS 37951 HAS SOUPS 37951 WITH SCORE 37992.565
AT ITER 365 NEW BEST:: SOT 72722 SOS 41593 HAS SOPS 41593 HAS SOUS 37950 HAS SOUPS 37950 WITH SCORE 37991.593
AT ITER 366 NEW BEST:: SOT 72621 SOS 41392 HAS SOPS 41392 HAS SOUS 37724 HAS SOUPS 37724 WITH SCORE 37765.392
AT ITER 369 NEW BEST:: SOT 72570 SOS 41266 HAS SOPS 41266 HAS SOUS 37615 HAS SOUPS 37615 WITH SCORE 37656.266
AT ITER 381 NEW BEST:: SOT 72445 SOS 41141 HAS SOPS 41141 HAS SOUS 37490 HAS SOUPS 37490 WITH SCORE 37531.141
AT ITER 382 NEW BEST:: SOT 72455 SOS 41197 HAS SOPS 41197 HAS SOUS 37482 HAS SOUPS 37482 WITH SCORE 37523.197
AT ITER 383 NEW BEST:: SOT 72411 SOS 41147 HAS SOPS 41147 HAS SOUS 37432 HAS SOUPS 37432 WITH SCORE 37473.147
AT ITER 387 NEW BEST:: SOT 72351 SOS 41087 HAS SOPS 41087 HAS SOUS 37372 HAS SOUPS 37372 WITH SCORE 37413.087
AT ITER 388 NEW BEST:: SOT 72174 SOS 40798 HAS SOPS 40798 HAS SOUS 37135 HAS SOUPS 37135 WITH SCORE 37175.798
AT ITER 389 NEW BEST:: SOT 72174 SOS 40869 HAS SOPS 40869 HAS SOUS 37132 HAS SOUPS 37132 WITH SCORE 37172.869
AT ITER 399 NEW BEST:: SOT 72128 SOS 40743 HAS SOPS 40743 HAS SOUS 37013 HAS SOUPS 37013 WITH SCORE 37053.743
AT ITER 400 NEW BEST:: SOT 72100 SOS 40687 HAS SOPS 40687 HAS SOUS 36957 HAS SOUPS 36957 WITH SCORE 36997.687
AT ITER 404 NEW BEST:: SOT 72096 SOS 40612 HAS SOPS 40612 HAS SOUS 36814 HAS SOUPS 36814 WITH SCORE 36854.612
AT ITER 406 NEW BEST:: SOT 72096 SOS 40635 HAS SOPS 40635 HAS SOUS 36721 HAS SOUPS 36721 WITH SCORE 36761.635
AT ITER 407 NEW BEST:: SOT 72096 SOS 40635 HAS SOPS 40635 HAS SOUS 36688 HAS SOUPS 36688 WITH SCORE 36728.635
AT ITER 410 NEW BEST:: SOT 71925 SOS 40408 HAS SOPS 40408 HAS SOUS 36405 HAS SOUPS 36405 WITH SCORE 36445.408
AT ITER 416 NEW BEST:: SOT 71906 SOS 40317 HAS SOPS 40317 HAS SOUS 36365 HAS SOUPS 36365 WITH SCORE 36405.317
AT ITER 420 NEW BEST:: SOT 71906 SOS 40312 HAS SOPS 40312 HAS SOUS 36293 HAS SOUPS 36293 WITH SCORE 36333.312
AT ITER 422 NEW BEST:: SOT 71906 SOS 40020 HAS SOPS 40020 HAS SOUS 36076 HAS SOUPS 36076 WITH SCORE 36116.02
AT ITER 423 NEW BEST:: SOT 71906 SOS 39914 HAS SOPS 39914 HAS SOUS 36015 HAS SOUPS 36015 WITH SCORE 36054.914
AT ITER 424 NEW BEST:: SOT 71855 SOS 39846 HAS SOPS 39846 HAS SOUS 35970 HAS SOUPS 35970 WITH SCORE 36009.846
AT ITER 426 NEW BEST:: SOT 71827 SOS 39804 HAS SOPS 39804 HAS SOUS 35928 HAS SOUPS 35928 WITH SCORE 35967.804
AT ITER 427 NEW BEST:: SOT 71802 SOS 39673 HAS SOPS 39673 HAS SOUS 35799 HAS SOUPS 35799 WITH SCORE 35838.673
AT ITER 428 NEW BEST:: SOT 71802 SOS 39673 HAS SOPS 39673 HAS SOUS 35785 HAS SOUPS 35785 WITH SCORE 35824.673
AT ITER 430 NEW BEST:: SOT 71746 SOS 39573 HAS SOPS 39573 HAS SOUS 35674 HAS SOUPS 35674 WITH SCORE 35713.573
AT ITER 433 NEW BEST:: SOT 71544 SOS 39265 HAS SOPS 39265 HAS SOUS 35280 HAS SOUPS 35280 WITH SCORE 35319.265
AT ITER 436 NEW BEST:: SOT 71497 SOS 39194 HAS SOPS 39194 HAS SOUS 35206 HAS SOUPS 35206 WITH SCORE 35245.194
AT ITER 437 NEW BEST:: SOT 71488 SOS 39176 HAS SOPS 39176 HAS SOUS 35171 HAS SOUPS 35171 WITH SCORE 35210.176
AT ITER 439 NEW BEST:: SOT 71403 SOS 39030 HAS SOPS 39030 HAS SOUS 34948 HAS SOUPS 34948 WITH SCORE 34987.03
AT ITER 440 NEW BEST:: SOT 71409 SOS 39036 HAS SOPS 39036 HAS SOUS 34922 HAS SOUPS 34922 WITH SCORE 34961.036
AT ITER 441 NEW BEST:: SOT 71409 SOS 39036 HAS SOPS 39036 HAS SOUS 34895 HAS SOUPS 34895 WITH SCORE 34934.036
AT ITER 442 NEW BEST:: SOT 71427 SOS 39046 HAS SOPS 39046 HAS SOUS 34771 HAS SOUPS 34771 WITH SCORE 34810.046
AT ITER 443 NEW BEST:: SOT 71390 SOS 38791 HAS SOPS 38791 HAS SOUS 34684 HAS SOUPS 34684 WITH SCORE 34722.791
AT ITER 453 NEW BEST:: SOT 71174 SOS 38356 HAS SOPS 38356 HAS SOUS 34260 HAS SOUPS 34260 WITH SCORE 34298.356
AT ITER 456 NEW BEST:: SOT 71150 SOS 38332 HAS SOPS 38332 HAS SOUS 34215 HAS SOUPS 34215 WITH SCORE 34253.332
AT ITER 459 NEW BEST:: SOT 71084 SOS 38236 HAS SOPS 38236 HAS SOUS 34150 HAS SOUPS 34150 WITH SCORE 34188.236
AT ITER 460 NEW BEST:: SOT 71069 SOS 38224 HAS SOPS 38224 HAS SOUS 34123 HAS SOUPS 34123 WITH SCORE 34161.224
AT ITER 463 NEW BEST:: SOT 71047 SOS 38137 HAS SOPS 38137 HAS SOUS 34065 HAS SOUPS 34065 WITH SCORE 34103.137
AT ITER 465 NEW BEST:: SOT 71012 SOS 37997 HAS SOPS 37997 HAS SOUS 34012 HAS SOUPS 34012 WITH SCORE 34049.997
AT ITER 470 NEW BEST:: SOT 70932 SOS 37917 HAS SOPS 37917 HAS SOUS 33852 HAS SOUPS 33852 WITH SCORE 33889.917
AT ITER 473 NEW BEST:: SOT 70737 SOS 37635 HAS SOPS 37635 HAS SOUS 33543 HAS SOUPS 33543 WITH SCORE 33580.635
AT ITER 483 NEW BEST:: SOT 70744 SOS 37642 HAS SOPS 37642 HAS SOUS 33495 HAS SOUPS 33495 WITH SCORE 33532.642
AT ITER 503 NEW BEST:: SOT 70722 SOS 37665 HAS SOPS 37665 HAS SOUS 33453 HAS SOUPS 33453 WITH SCORE 33490.665
AT ITER 507 NEW BEST:: SOT 70722 SOS 37632 HAS SOPS 37632 HAS SOUS 33386 HAS SOUPS 33386 WITH SCORE 33423.632
AT ITER 512 NEW BEST:: SOT 70716 SOS 37623 HAS SOPS 37623 HAS SOUS 33376 HAS SOUPS 33376 WITH SCORE 33413.623
AT ITER 513 NEW BEST:: SOT 70618 SOS 37493 HAS SOPS 37493 HAS SOUS 33246 HAS SOUPS 33246 WITH SCORE 33283.493
AT ITER 522 NEW BEST:: SOT 70520 SOS 37264 HAS SOPS 37264 HAS SOUS 33096 HAS SOUPS 33096 WITH SCORE 33133.264
AT ITER 524 NEW BEST:: SOT 70434 SOS 37067 HAS SOPS 37067 HAS SOUS 33068 HAS SOUPS 33068 WITH SCORE 33105.067
AT ITER 525 NEW BEST:: SOT 70420 SOS 37023 HAS SOPS 37023 HAS SOUS 33024 HAS SOUPS 33024 WITH SCORE 33061.023
AT ITER 530 NEW BEST:: SOT 70308 SOS 36855 HAS SOPS 36855 HAS SOUS 32856 HAS SOUPS 32856 WITH SCORE 32892.855
AT ITER 534 NEW BEST:: SOT 70308 SOS 36855 HAS SOPS 36855 HAS SOUS 32853 HAS SOUPS 32853 WITH SCORE 32889.855
AT ITER 541 NEW BEST:: SOT 70309 SOS 36877 HAS SOPS 36877 HAS SOUS 32839 HAS SOUPS 32839 WITH SCORE 32875.877
AT ITER 547 NEW BEST:: SOT 70304 SOS 36872 HAS SOPS 36872 HAS SOUS 32834 HAS SOUPS 32834 WITH SCORE 32870.872
AT ITER 549 NEW BEST:: SOT 70231 SOS 36686 HAS SOPS 36686 HAS SOUS 32584 HAS SOUPS 32584 WITH SCORE 32620.686
AT ITER 560 NEW BEST:: SOT 70213 SOS 36662 HAS SOPS 36662 HAS SOUS 32560 HAS SOUPS 32560 WITH SCORE 32596.662
AT ITER 565 NEW BEST:: SOT 70185 SOS 36587 HAS SOPS 36587 HAS SOUS 32537 HAS SOUPS 32537 WITH SCORE 32573.587
AT ITER 566 NEW BEST:: SOT 70017 SOS 36291 HAS SOPS 36291 HAS SOUS 32297 HAS SOUPS 32297 WITH SCORE 32333.291
AT ITER 578 NEW BEST:: SOT 69961 SOS 36126 HAS SOPS 36126 HAS SOUS 32246 HAS SOUPS 32246 WITH SCORE 32282.126
AT ITER 592 NEW BEST:: SOT 69961 SOS 36126 HAS SOPS 36126 HAS SOUS 32245 HAS SOUPS 32245 WITH SCORE 32281.126
AT ITER 593 NEW BEST:: SOT 69961 SOS 36126 HAS SOPS 36126 HAS SOUS 32241 HAS SOUPS 32241 WITH SCORE 32277.126
AT ITER 598 NEW BEST:: SOT 69993 SOS 36082 HAS SOPS 36082 HAS SOUS 32197 HAS SOUPS 32197 WITH SCORE 32233.082
AT ITER 606 NEW BEST:: SOT 69973 SOS 36031 HAS SOPS 36031 HAS SOUS 32136 HAS SOUPS 32136 WITH SCORE 32172.031
AT ITER 610 NEW BEST:: SOT 69863 SOS 35820 HAS SOPS 35820 HAS SOUS 31923 HAS SOUPS 31923 WITH SCORE 31958.82
AT ITER 612 NEW BEST:: SOT 69817 SOS 35775 HAS SOPS 35775 HAS SOUS 31878 HAS SOUPS 31878 WITH SCORE 31913.775
AT ITER 614 NEW BEST:: SOT 69796 SOS 35756 HAS SOPS 35756 HAS SOUS 31837 HAS SOUPS 31837 WITH SCORE 31872.756
AT ITER 617 NEW BEST:: SOT 69759 SOS 35719 HAS SOPS 35719 HAS SOUS 31825 HAS SOUPS 31825 WITH SCORE 31860.719
AT ITER 622 NEW BEST:: SOT 69765 SOS 35725 HAS SOPS 35725 HAS SOUS 31784 HAS SOUPS 31784 WITH SCORE 31819.725
AT ITER 623 NEW BEST:: SOT 69762 SOS 35721 HAS SOPS 35721 HAS SOUS 31780 HAS SOUPS 31780 WITH SCORE 31815.721
AT ITER 625 NEW BEST:: SOT 69762 SOS 35718 HAS SOPS 35718 HAS SOUS 31687 HAS SOUPS 31687 WITH SCORE 31722.718
AT ITER 627 NEW BEST:: SOT 69682 SOS 35613 HAS SOPS 35613 HAS SOUS 31478 HAS SOUPS 31478 WITH SCORE 31513.613
AT ITER 632 NEW BEST:: SOT 69634 SOS 35467 HAS SOPS 35467 HAS SOUS 31380 HAS SOUPS 31380 WITH SCORE 31415.467
AT ITER 634 NEW BEST:: SOT 69622 SOS 35353 HAS SOPS 35353 HAS SOUS 31363 HAS SOUPS 31363 WITH SCORE 31398.353
AT ITER 636 NEW BEST:: SOT 69609 SOS 35288 HAS SOPS 35288 HAS SOUS 31324 HAS SOUPS 31324 WITH SCORE 31359.288
AT ITER 638 NEW BEST:: SOT 69609 SOS 35287 HAS SOPS 35287 HAS SOUS 31324 HAS SOUPS 31324 WITH SCORE 31359.287
AT ITER 650 NEW BEST:: SOT 69575 SOS 35140 HAS SOPS 35140 HAS SOUS 31261 HAS SOUPS 31261 WITH SCORE 31296.14
AT ITER 653 NEW BEST:: SOT 69548 SOS 35177 HAS SOPS 35177 HAS SOUS 31216 HAS SOUPS 31216 WITH SCORE 31251.177
AT ITER 656 NEW BEST:: SOT 69548 SOS 35225 HAS SOPS 35225 HAS SOUS 31168 HAS SOUPS 31168 WITH SCORE 31203.225
AT ITER 658 NEW BEST:: SOT 69548 SOS 35216 HAS SOPS 35216 HAS SOUS 31159 HAS SOUPS 31159 WITH SCORE 31194.216
AT ITER 666 NEW BEST:: SOT 69548 SOS 35132 HAS SOPS 35132 HAS SOUS 31147 HAS SOUPS 31147 WITH SCORE 31182.132
AT ITER 676 NEW BEST:: SOT 69474 SOS 34964 HAS SOPS 34964 HAS SOUS 31036 HAS SOUPS 31036 WITH SCORE 31070.964
AT ITER 687 NEW BEST:: SOT 69474 SOS 34964 HAS SOPS 34964 HAS SOUS 31022 HAS SOUPS 31022 WITH SCORE 31056.964
AT ITER 688 NEW BEST:: SOT 69421 SOS 34912 HAS SOPS 34912 HAS SOUS 30959 HAS SOUPS 30959 WITH SCORE 30993.912
AT ITER 692 NEW BEST:: SOT 69407 SOS 34898 HAS SOPS 34898 HAS SOUS 30945 HAS SOUPS 30945 WITH SCORE 30979.898
AT ITER 694 NEW BEST:: SOT 69353 SOS 34842 HAS SOPS 34842 HAS SOUS 30889 HAS SOUPS 30889 WITH SCORE 30923.842
AT ITER 705 NEW BEST:: SOT 69353 SOS 34846 HAS SOPS 34846 HAS SOUS 30833 HAS SOUPS 30833 WITH SCORE 30867.846
AT ITER 707 NEW BEST:: SOT 69219 SOS 34666 HAS SOPS 34666 HAS SOUS 30748 HAS SOUPS 30748 WITH SCORE 30782.666
AT ITER 711 NEW BEST:: SOT 69219 SOS 34652 HAS SOPS 34652 HAS SOUS 30734 HAS SOUPS 30734 WITH SCORE 30768.652
AT ITER 718 NEW BEST:: SOT 69154 SOS 34594 HAS SOPS 34594 HAS SOUS 30676 HAS SOUPS 30676 WITH SCORE 30710.594
AT ITER 720 NEW BEST:: SOT 69148 SOS 34586 HAS SOPS 34586 HAS SOUS 30668 HAS SOUPS 30668 WITH SCORE 30702.586
AT ITER 721 NEW BEST:: SOT 69133 SOS 34571 HAS SOPS 34571 HAS SOUS 30653 HAS SOUPS 30653 WITH SCORE 30687.571
AT ITER 740 NEW BEST:: SOT 69032 SOS 34470 HAS SOPS 34470 HAS SOUS 30552 HAS SOUPS 30552 WITH SCORE 30586.47
AT ITER 743 NEW BEST:: SOT 68998 SOS 34402 HAS SOPS 34402 HAS SOUS 30501 HAS SOUPS 30501 WITH SCORE 30535.402
AT ITER 745 NEW BEST:: SOT 68909 SOS 34281 HAS SOPS 34281 HAS SOUS 30383 HAS SOUPS 30383 WITH SCORE 30417.281
AT ITER 750 NEW BEST:: SOT 68775 SOS 34096 HAS SOPS 34096 HAS SOUS 30198 HAS SOUPS 30198 WITH SCORE 30232.096
AT ITER 752 NEW BEST:: SOT 68756 SOS 34118 HAS SOPS 34118 HAS SOUS 30160 HAS SOUPS 30160 WITH SCORE 30194.118
AT ITER 760 NEW BEST:: SOT 68731 SOS 34018 HAS SOPS 34018 HAS SOUS 30085 HAS SOUPS 30085 WITH SCORE 30119.018
AT ITER 763 NEW BEST:: SOT 68703 SOS 33976 HAS SOPS 33976 HAS SOUS 30043 HAS SOUPS 30043 WITH SCORE 30076.976
AT ITER 767 NEW BEST:: SOT 68673 SOS 33887 HAS SOPS 33887 HAS SOUS 29962 HAS SOUPS 29962 WITH SCORE 29995.887
AT ITER 770 NEW BEST:: SOT 68669 SOS 33943 HAS SOPS 33943 HAS SOUS 29950 HAS SOUPS 29950 WITH SCORE 29983.943
AT ITER 774 NEW BEST:: SOT 68728 SOS 34002 HAS SOPS 34002 HAS SOUS 29898 HAS SOUPS 29898 WITH SCORE 29932.002
AT ITER 775 NEW BEST:: SOT 68625 SOS 33810 HAS SOPS 33810 HAS SOUS 29620 HAS SOUPS 29620 WITH SCORE 29653.81
AT ITER 785 NEW BEST:: SOT 68575 SOS 33735 HAS SOPS 33735 HAS SOUS 29570 HAS SOUPS 29570 WITH SCORE 29603.735
AT ITER 805 NEW BEST:: SOT 68496 SOS 33606 HAS SOPS 33606 HAS SOUS 29432 HAS SOUPS 29432 WITH SCORE 29465.606
AT ITER 807 NEW BEST:: SOT 68246 SOS 33176 HAS SOPS 33176 HAS SOUS 29117 HAS SOUPS 29117 WITH SCORE 29150.176
AT ITER 818 NEW BEST:: SOT 68172 SOS 33051 HAS SOPS 33051 HAS SOUS 28992 HAS SOUPS 28992 WITH SCORE 29025.051
AT ITER 819 NEW BEST:: SOT 67911 SOS 32599 HAS SOPS 32599 HAS SOUS 28610 HAS SOUPS 28610 WITH SCORE 28642.599
AT ITER 821 NEW BEST:: SOT 67855 SOS 32389 HAS SOPS 32389 HAS SOUS 28487 HAS SOUPS 28487 WITH SCORE 28519.389
AT ITER 826 NEW BEST:: SOT 67675 SOS 31994 HAS SOPS 31994 HAS SOUS 28268 HAS SOUPS 28268 WITH SCORE 28299.994
AT ITER 844 NEW BEST:: SOT 67645 SOS 31954 HAS SOPS 31954 HAS SOUS 28228 HAS SOUPS 28228 WITH SCORE 28259.954
AT ITER 871 NEW BEST:: SOT 67643 SOS 31946 HAS SOPS 31946 HAS SOUS 28193 HAS SOUPS 28193 WITH SCORE 28224.946
AT ITER 883 NEW BEST:: SOT 67598 SOS 31905 HAS SOPS 31905 HAS SOUS 28161 HAS SOUPS 28161 WITH SCORE 28192.905
AT ITER 884 NEW BEST:: SOT 67443 SOS 31644 HAS SOPS 31644 HAS SOUS 27927 HAS SOUPS 27927 WITH SCORE 27958.644
AT ITER 885 NEW BEST:: SOT 67442 SOS 31639 HAS SOPS 31639 HAS SOUS 27925 HAS SOUPS 27925 WITH SCORE 27956.639
AT ITER 888 NEW BEST:: SOT 67442 SOS 31641 HAS SOPS 31641 HAS SOUS 27923 HAS SOUPS 27923 WITH SCORE 27954.641
AT ITER 889 NEW BEST:: SOT 67319 SOS 31509 HAS SOPS 31509 HAS SOUS 27791 HAS SOUPS 27791 WITH SCORE 27822.509
AT ITER 890 NEW BEST:: SOT 67319 SOS 31482 HAS SOPS 31482 HAS SOUS 27791 HAS SOUPS 27791 WITH SCORE 27822.482
AT ITER 891 NEW BEST:: SOT 67319 SOS 31404 HAS SOPS 31404 HAS SOUS 27710 HAS SOUPS 27710 WITH SCORE 27741.404
AT ITER 892 NEW BEST:: SOT 67312 SOS 31369 HAS SOPS 31369 HAS SOUS 27681 HAS SOUPS 27681 WITH SCORE 27712.369
AT ITER 897 NEW BEST:: SOT 67312 SOS 31369 HAS SOPS 31369 HAS SOUS 27676 HAS SOUPS 27676 WITH SCORE 27707.369
AT ITER 908 NEW BEST:: SOT 67273 SOS 31243 HAS SOPS 31243 HAS SOUS 27579 HAS SOUPS 27579 WITH SCORE 27610.243
AT ITER 910 NEW BEST:: SOT 67217 SOS 31157 HAS SOPS 31157 HAS SOUS 27467 HAS SOUPS 27467 WITH SCORE 27498.157
AT ITER 918 NEW BEST:: SOT 67217 SOS 31119 HAS SOPS 31119 HAS SOUS 27466 HAS SOUPS 27466 WITH SCORE 27497.119
AT ITER 928 NEW BEST:: SOT 67142 SOS 31000 HAS SOPS 31000 HAS SOUS 27404 HAS SOUPS 27404 WITH SCORE 27435.0
AT ITER 936 NEW BEST:: SOT 67059 SOS 30937 HAS SOPS 30937 HAS SOUS 27298 HAS SOUPS 27298 WITH SCORE 27328.937
AT ITER 942 NEW BEST:: SOT 67020 SOS 30885 HAS SOPS 30885 HAS SOUS 27246 HAS SOUPS 27246 WITH SCORE 27276.885
AT ITER 943 NEW BEST:: SOT 66934 SOS 30825 HAS SOPS 30825 HAS SOUS 27186 HAS SOUPS 27186 WITH SCORE 27216.825
AT ITER 965 NEW BEST:: SOT 66898 SOS 30777 HAS SOPS 30777 HAS SOUS 27138 HAS SOUPS 27138 WITH SCORE 27168.777
AT ITER 966 NEW BEST:: SOT 66872 SOS 30667 HAS SOPS 30667 HAS SOUS 27081 HAS SOUPS 27081 WITH SCORE 27111.667
AT ITER 983 NEW BEST:: SOT 66916 SOS 30725 HAS SOPS 30725 HAS SOUS 27029 HAS SOUPS 27029 WITH SCORE 27059.725
AT ITER 999 NEW BEST:: SOT 66916 SOS 30725 HAS SOPS 30725 HAS SOUS 27023 HAS SOUPS 27023 WITH SCORE 27053.725
AT ITER 1009 NEW BEST:: SOT 66918 SOS 30740 HAS SOPS 30740 HAS SOUS 27020 HAS SOUPS 27020 WITH SCORE 27050.74
AT ITER 1013 NEW BEST:: SOT 66866 SOS 30666 HAS SOPS 30666 HAS SOUS 26946 HAS SOUPS 26946 WITH SCORE 26976.666
AT ITER 1016 NEW BEST:: SOT 66774 SOS 30518 HAS SOPS 30518 HAS SOUS 26803 HAS SOUPS 26803 WITH SCORE 26833.518
AT ITER 1018 NEW BEST:: SOT 66774 SOS 30508 HAS SOPS 30508 HAS SOUS 26793 HAS SOUPS 26793 WITH SCORE 26823.508
AT ITER 1023 NEW BEST:: SOT 66747 SOS 30454 HAS SOPS 30454 HAS SOUS 26730 HAS SOUPS 26730 WITH SCORE 26760.454
AT ITER 1025 NEW BEST:: SOT 66747 SOS 30393 HAS SOPS 30393 HAS SOUS 26713 HAS SOUPS 26713 WITH SCORE 26743.393
AT ITER 1038 NEW BEST:: SOT 66354 SOS 29740 HAS SOPS 29740 HAS SOUS 26189 HAS SOUPS 26189 WITH SCORE 26218.74
AT ITER 1044 NEW BEST:: SOT 66314 SOS 29680 HAS SOPS 29680 HAS SOUS 26129 HAS SOUPS 26129 WITH SCORE 26158.68
AT ITER 1077 NEW BEST:: SOT 66266 SOS 29616 HAS SOPS 29616 HAS SOUS 26066 HAS SOUPS 26066 WITH SCORE 26095.616
AT ITER 1080 NEW BEST:: SOT 66266 SOS 29600 HAS SOPS 29600 HAS SOUS 26049 HAS SOUPS 26049 WITH SCORE 26078.6
AT ITER 1084 NEW BEST:: SOT 66222 SOS 29567 HAS SOPS 29567 HAS SOUS 26033 HAS SOUPS 26033 WITH SCORE 26062.567
AT ITER 1093 NEW BEST:: SOT 66201 SOS 29527 HAS SOPS 29527 HAS SOUS 25983 HAS SOUPS 25983 WITH SCORE 26012.527
AT ITER 1126 NEW BEST:: SOT 66175 SOS 29488 HAS SOPS 29488 HAS SOUS 25944 HAS SOUPS 25944 WITH SCORE 25973.488
AT ITER 1135 NEW BEST:: SOT 66150 SOS 29463 HAS SOPS 29463 HAS SOUS 25919 HAS SOUPS 25919 WITH SCORE 25948.463
AT ITER 1139 NEW BEST:: SOT 66098 SOS 29402 HAS SOPS 29402 HAS SOUS 25858 HAS SOUPS 25858 WITH SCORE 25887.402
AT ITER 1143 NEW BEST:: SOT 66057 SOS 29249 HAS SOPS 29249 HAS SOUS 25761 HAS SOUPS 25761 WITH SCORE 25790.249
AT ITER 1147 NEW BEST:: SOT 65962 SOS 29060 HAS SOPS 29060 HAS SOUS 25552 HAS SOUPS 25552 WITH SCORE 25581.06
AT ITER 1152 NEW BEST:: SOT 65920 SOS 29018 HAS SOPS 29018 HAS SOUS 25482 HAS SOUPS 25482 WITH SCORE 25511.018
AT ITER 1156 NEW BEST:: SOT 65845 SOS 28894 HAS SOPS 28894 HAS SOUS 25382 HAS SOUPS 25382 WITH SCORE 25410.894
AT ITER 1157 NEW BEST:: SOT 65774 SOS 28735 HAS SOPS 28735 HAS SOUS 25160 HAS SOUPS 25160 WITH SCORE 25188.735
AT ITER 1161 NEW BEST:: SOT 65774 SOS 28652 HAS SOPS 28652 HAS SOUS 25062 HAS SOUPS 25062 WITH SCORE 25090.652
AT ITER 1177 NEW BEST:: SOT 65751 SOS 28611 HAS SOPS 28611 HAS SOUS 25022 HAS SOUPS 25022 WITH SCORE 25050.611
AT ITER 1197 NEW BEST:: SOT 65637 SOS 28367 HAS SOPS 28367 HAS SOUS 24843 HAS SOUPS 24843 WITH SCORE 24871.367
AT ITER 1198 NEW BEST:: SOT 65619 SOS 28331 HAS SOPS 28331 HAS SOUS 24825 HAS SOUPS 24825 WITH SCORE 24853.331
AT ITER 1206 NEW BEST:: SOT 65600 SOS 28319 HAS SOPS 28319 HAS SOUS 24813 HAS SOUPS 24813 WITH SCORE 24841.319
AT ITER 1212 NEW BEST:: SOT 65585 SOS 28299 HAS SOPS 28299 HAS SOUS 24793 HAS SOUPS 24793 WITH SCORE 24821.299
AT ITER 1217 NEW BEST:: SOT 65563 SOS 28220 HAS SOPS 28220 HAS SOUS 24714 HAS SOUPS 24714 WITH SCORE 24742.22
AT ITER 1221 NEW BEST:: SOT 65495 SOS 28123 HAS SOPS 28123 HAS SOUS 24617 HAS SOUPS 24617 WITH SCORE 24645.123
AT ITER 1229 NEW BEST:: SOT 65419 SOS 27971 HAS SOPS 27971 HAS SOUS 24526 HAS SOUPS 24526 WITH SCORE 24553.971
AT ITER 1230 NEW BEST:: SOT 65413 SOS 27965 HAS SOPS 27965 HAS SOUS 24520 HAS SOUPS 24520 WITH SCORE 24547.965
AT ITER 1240 NEW BEST:: SOT 65404 SOS 27970 HAS SOPS 27970 HAS SOUS 24518 HAS SOUPS 24518 WITH SCORE 24545.97
AT ITER 1253 NEW BEST:: SOT 65462 SOS 27986 HAS SOPS 27986 HAS SOUS 24517 HAS SOUPS 24517 WITH SCORE 24544.986
AT ITER 1263 NEW BEST:: SOT 65428 SOS 27906 HAS SOPS 27906 HAS SOUS 24466 HAS SOUPS 24466 WITH SCORE 24493.906
AT ITER 1273 NEW BEST:: SOT 65412 SOS 27858 HAS SOPS 27858 HAS SOUS 24402 HAS SOUPS 24402 WITH SCORE 24429.858
AT ITER 1274 NEW BEST:: SOT 65406 SOS 27850 HAS SOPS 27850 HAS SOUS 24389 HAS SOUPS 24389 WITH SCORE 24416.85
AT ITER 1294 NEW BEST:: SOT 65357 SOS 27803 HAS SOPS 27803 HAS SOUS 24324 HAS SOUPS 24324 WITH SCORE 24351.803
AT ITER 1298 NEW BEST:: SOT 65349 SOS 27787 HAS SOPS 27787 HAS SOUS 24308 HAS SOUPS 24308 WITH SCORE 24335.787
AT ITER 1302 NEW BEST:: SOT 65339 SOS 27757 HAS SOPS 27757 HAS SOUS 24298 HAS SOUPS 24298 WITH SCORE 24325.757
AT ITER 1304 NEW BEST:: SOT 65223 SOS 27517 HAS SOPS 27517 HAS SOUS 24128 HAS SOUPS 24128 WITH SCORE 24155.517
AT ITER 1306 NEW BEST:: SOT 65194 SOS 27476 HAS SOPS 27476 HAS SOUS 24069 HAS SOUPS 24069 WITH SCORE 24096.476
AT ITER 1308 NEW BEST:: SOT 65193 SOS 27465 HAS SOPS 27465 HAS SOUS 24030 HAS SOUPS 24030 WITH SCORE 24057.465
AT ITER 1313 NEW BEST:: SOT 65176 SOS 27470 HAS SOPS 27470 HAS SOUS 23997 HAS SOUPS 23997 WITH SCORE 24024.47
AT ITER 1320 NEW BEST:: SOT 65094 SOS 27229 HAS SOPS 27229 HAS SOUS 23821 HAS SOUPS 23821 WITH SCORE 23848.229
AT ITER 1328 NEW BEST:: SOT 65088 SOS 27219 HAS SOPS 27219 HAS SOUS 23807 HAS SOUPS 23807 WITH SCORE 23834.219
AT ITER 1332 NEW BEST:: SOT 65119 SOS 27238 HAS SOPS 27238 HAS SOUS 23801 HAS SOUPS 23801 WITH SCORE 23828.238
AT ITER 1334 NEW BEST:: SOT 65090 SOS 27198 HAS SOPS 27198 HAS SOUS 23761 HAS SOUPS 23761 WITH SCORE 23788.198
AT ITER 1342 NEW BEST:: SOT 65048 SOS 27138 HAS SOPS 27138 HAS SOUS 23701 HAS SOUPS 23701 WITH SCORE 23728.138
AT ITER 1378 NEW BEST:: SOT 65008 SOS 27067 HAS SOPS 27067 HAS SOUS 23620 HAS SOUPS 23620 WITH SCORE 23647.067
AT ITER 1383 NEW BEST:: SOT 65030 SOS 27039 HAS SOPS 27039 HAS SOUS 23618 HAS SOUPS 23618 WITH SCORE 23645.039
AT ITER 1412 NEW BEST:: SOT 65037 SOS 27046 HAS SOPS 27046 HAS SOUS 23580 HAS SOUPS 23580 WITH SCORE 23607.046
AT ITER 1423 NEW BEST:: SOT 65037 SOS 27046 HAS SOPS 27046 HAS SOUS 23578 HAS SOUPS 23578 WITH SCORE 23605.046
AT ITER 1424 NEW BEST:: SOT 64929 SOS 26926 HAS SOPS 26926 HAS SOUS 23502 HAS SOUPS 23502 WITH SCORE 23528.926
AT ITER 1430 NEW BEST:: SOT 64899 SOS 26859 HAS SOPS 26859 HAS SOUS 23452 HAS SOUPS 23452 WITH SCORE 23478.859
AT ITER 1438 NEW BEST:: SOT 64962 SOS 26886 HAS SOPS 26886 HAS SOUS 23450 HAS SOUPS 23450 WITH SCORE 23476.886
AT ITER 1442 NEW BEST:: SOT 64931 SOS 26793 HAS SOPS 26793 HAS SOUS 23419 HAS SOUPS 23419 WITH SCORE 23445.793
AT ITER 1461 NEW BEST:: SOT 64874 SOS 26698 HAS SOPS 26698 HAS SOUS 23343 HAS SOUPS 23343 WITH SCORE 23369.698
AT ITER 1484 NEW BEST:: SOT 64788 SOS 26591 HAS SOPS 26591 HAS SOUS 23280 HAS SOUPS 23280 WITH SCORE 23306.591
AT ITER 1517 NEW BEST:: SOT 64704 SOS 26449 HAS SOPS 26449 HAS SOUS 23167 HAS SOUPS 23167 WITH SCORE 23193.449
AT ITER 1528 NEW BEST:: SOT 64683 SOS 26428 HAS SOPS 26428 HAS SOUS 23131 HAS SOUPS 23131 WITH SCORE 23157.428
AT ITER 1535 NEW BEST:: SOT 64683 SOS 26403 HAS SOPS 26403 HAS SOUS 23131 HAS SOUPS 23131 WITH SCORE 23157.403
AT ITER 1537 NEW BEST:: SOT 64665 SOS 26394 HAS SOPS 26394 HAS SOUS 23122 HAS SOUPS 23122 WITH SCORE 23148.394
AT ITER 1557 NEW BEST:: SOT 64660 SOS 26382 HAS SOPS 26382 HAS SOUS 23119 HAS SOUPS 23119 WITH SCORE 23145.382
AT ITER 1565 NEW BEST:: SOT 64614 SOS 26249 HAS SOPS 26249 HAS SOUS 23018 HAS SOUPS 23018 WITH SCORE 23044.249
AT ITER 1569 NEW BEST:: SOT 64604 SOS 26229 HAS SOPS 26229 HAS SOUS 23003 HAS SOUPS 23003 WITH SCORE 23029.229
AT ITER 1575 NEW BEST:: SOT 64546 SOS 26113 HAS SOPS 26113 HAS SOUS 22887 HAS SOUPS 22887 WITH SCORE 22913.113
AT ITER 1583 NEW BEST:: SOT 64541 SOS 26098 HAS SOPS 26098 HAS SOUS 22872 HAS SOUPS 22872 WITH SCORE 22898.098
AT ITER 1585 NEW BEST:: SOT 64482 SOS 25973 HAS SOPS 25973 HAS SOUS 22788 HAS SOUPS 22788 WITH SCORE 22813.973
AT ITER 1592 NEW BEST:: SOT 64480 SOS 25968 HAS SOPS 25968 HAS SOUS 22782 HAS SOUPS 22782 WITH SCORE 22807.968
AT ITER 1596 NEW BEST:: SOT 64474 SOS 25960 HAS SOPS 25960 HAS SOUS 22774 HAS SOUPS 22774 WITH SCORE 22799.96
AT ITER 1606 NEW BEST:: SOT 64470 SOS 25954 HAS SOPS 25954 HAS SOUS 22770 HAS SOUPS 22770 WITH SCORE 22795.954
AT ITER 1610 NEW BEST:: SOT 64462 SOS 25931 HAS SOPS 25931 HAS SOUS 22752 HAS SOUPS 22752 WITH SCORE 22777.931
AT ITER 1625 NEW BEST:: SOT 64449 SOS 25910 HAS SOPS 25910 HAS SOUS 22725 HAS SOUPS 22725 WITH SCORE 22750.91
AT ITER 1642 NEW BEST:: SOT 64434 SOS 25894 HAS SOPS 25894 HAS SOUS 22708 HAS SOUPS 22708 WITH SCORE 22733.894
AT ITER 1664 NEW BEST:: SOT 64429 SOS 25874 HAS SOPS 25874 HAS SOUS 22690 HAS SOUPS 22690 WITH SCORE 22715.874
AT ITER 1674 NEW BEST:: SOT 64429 SOS 25853 HAS SOPS 25853 HAS SOUS 22682 HAS SOUPS 22682 WITH SCORE 22707.853
AT ITER 1680 NEW BEST:: SOT 64336 SOS 25760 HAS SOPS 25760 HAS SOUS 22589 HAS SOUPS 22589 WITH SCORE 22614.76
AT ITER 1685 NEW BEST:: SOT 64331 SOS 25735 HAS SOPS 25735 HAS SOUS 22579 HAS SOUPS 22579 WITH SCORE 22604.735
AT ITER 1688 NEW BEST:: SOT 64288 SOS 25643 HAS SOPS 25643 HAS SOUS 22487 HAS SOUPS 22487 WITH SCORE 22512.643
AT ITER 1694 NEW BEST:: SOT 64282 SOS 25546 HAS SOPS 25546 HAS SOUS 22460 HAS SOUPS 22460 WITH SCORE 22485.546
AT ITER 1721 NEW BEST:: SOT 64238 SOS 25502 HAS SOPS 25502 HAS SOUS 22383 HAS SOUPS 22383 WITH SCORE 22408.502
AT ITER 1727 NEW BEST:: SOT 64195 SOS 25459 HAS SOPS 25459 HAS SOUS 22320 HAS SOUPS 22320 WITH SCORE 22345.459
AT ITER 1729 NEW BEST:: SOT 64179 SOS 25436 HAS SOPS 25436 HAS SOUS 22290 HAS SOUPS 22290 WITH SCORE 22315.436
AT ITER 1746 NEW BEST:: SOT 64175 SOS 25420 HAS SOPS 25420 HAS SOUS 22278 HAS SOUPS 22278 WITH SCORE 22303.42
AT ITER 1748 NEW BEST:: SOT 64175 SOS 25420 HAS SOPS 25420 HAS SOUS 22201 HAS SOUPS 22201 WITH SCORE 22226.42
AT ITER 1765 NEW BEST:: SOT 64129 SOS 25351 HAS SOPS 25351 HAS SOUS 22155 HAS SOUPS 22155 WITH SCORE 22180.351
AT ITER 1773 NEW BEST:: SOT 64124 SOS 25337 HAS SOPS 25337 HAS SOUS 22130 HAS SOUPS 22130 WITH SCORE 22155.337
AT ITER 1776 NEW BEST:: SOT 64115 SOS 25325 HAS SOPS 25325 HAS SOUS 22118 HAS SOUPS 22118 WITH SCORE 22143.325
AT ITER 1778 NEW BEST:: SOT 64102 SOS 25312 HAS SOPS 25312 HAS SOUS 22092 HAS SOUPS 22092 WITH SCORE 22117.312
AT ITER 1782 NEW BEST:: SOT 64064 SOS 25198 HAS SOPS 25198 HAS SOUS 21987 HAS SOUPS 21987 WITH SCORE 22012.198
AT ITER 1784 NEW BEST:: SOT 64038 SOS 25115 HAS SOPS 25115 HAS SOUS 21952 HAS SOUPS 21952 WITH SCORE 21977.115
AT ITER 1794 NEW BEST:: SOT 64015 SOS 25065 HAS SOPS 25065 HAS SOUS 21929 HAS SOUPS 21929 WITH SCORE 21954.065
AT ITER 1806 NEW BEST:: SOT 64015 SOS 25064 HAS SOPS 25064 HAS SOUS 21929 HAS SOUPS 21929 WITH SCORE 21954.064
AT ITER 1825 NEW BEST:: SOT 64015 SOS 25055 HAS SOPS 25055 HAS SOUS 21929 HAS SOUPS 21929 WITH SCORE 21954.055
AT ITER 1838 NEW BEST:: SOT 63972 SOS 24986 HAS SOPS 24986 HAS SOUS 21860 HAS SOUPS 21860 WITH SCORE 21884.986
AT ITER 1840 NEW BEST:: SOT 63946 SOS 24934 HAS SOPS 24934 HAS SOUS 21821 HAS SOUPS 21821 WITH SCORE 21845.934
AT ITER 1845 NEW BEST:: SOT 63928 SOS 24916 HAS SOPS 24916 HAS SOUS 21794 HAS SOUPS 21794 WITH SCORE 21818.916
AT ITER 1856 NEW BEST:: SOT 63911 SOS 24907 HAS SOPS 24907 HAS SOUS 21774 HAS SOUPS 21774 WITH SCORE 21798.907
AT ITER 1860 NEW BEST:: SOT 63902 SOS 24885 HAS SOPS 24885 HAS SOUS 21772 HAS SOUPS 21772 WITH SCORE 21796.885
AT ITER 1885 NEW BEST:: SOT 63894 SOS 24845 HAS SOPS 24845 HAS SOUS 21756 HAS SOUPS 21756 WITH SCORE 21780.845
AT ITER 1891 NEW BEST:: SOT 63824 SOS 24679 HAS SOPS 24679 HAS SOUS 21650 HAS SOUPS 21650 WITH SCORE 21674.679
AT ITER 1923 NEW BEST:: SOT 63751 SOS 24590 HAS SOPS 24590 HAS SOUS 21561 HAS SOUPS 21561 WITH SCORE 21585.59
AT ITER 1942 NEW BEST:: SOT 63746 SOS 24566 HAS SOPS 24566 HAS SOUS 21534 HAS SOUPS 21534 WITH SCORE 21558.566
AT ITER 1985 NEW BEST:: SOT 63692 SOS 24467 HAS SOPS 24467 HAS SOUS 21417 HAS SOUPS 21417 WITH SCORE 21441.467
AT ITER 1996 NEW BEST:: SOT 63687 SOS 24448 HAS SOPS 24448 HAS SOUS 21407 HAS SOUPS 21407 WITH SCORE 21431.448
AT ITER 2003 NEW BEST:: SOT 63679 SOS 24440 HAS SOPS 24440 HAS SOUS 21399 HAS SOUPS 21399 WITH SCORE 21423.44
AT ITER 2013 NEW BEST:: SOT 63684 SOS 24448 HAS SOPS 24448 HAS SOUS 21397 HAS SOUPS 21397 WITH SCORE 21421.448
AT ITER 2021 NEW BEST:: SOT 63684 SOS 24448 HAS SOPS 24448 HAS SOUS 21395 HAS SOUPS 21395 WITH SCORE 21419.448
AT ITER 2022 NEW BEST:: SOT 63684 SOS 24402 HAS SOPS 24402 HAS SOUS 21395 HAS SOUPS 21395 WITH SCORE 21419.402
AT ITER 2027 NEW BEST:: SOT 63619 SOS 24292 HAS SOPS 24292 HAS SOUS 21281 HAS SOUPS 21281 WITH SCORE 21305.292
AT ITER 2039 NEW BEST:: SOT 63616 SOS 24280 HAS SOPS 24280 HAS SOUS 21272 HAS SOUPS 21272 WITH SCORE 21296.28
AT ITER 2046 NEW BEST:: SOT 63604 SOS 24244 HAS SOPS 24244 HAS SOUS 21241 HAS SOUPS 21241 WITH SCORE 21265.244
AT ITER 2054 NEW BEST:: SOT 63591 SOS 24221 HAS SOPS 24221 HAS SOUS 21225 HAS SOUPS 21225 WITH SCORE 21249.221
AT ITER 2056 NEW BEST:: SOT 63588 SOS 24218 HAS SOPS 24218 HAS SOUS 21225 HAS SOUPS 21225 WITH SCORE 21249.218
AT ITER 2062 NEW BEST:: SOT 63588 SOS 24180 HAS SOPS 24180 HAS SOUS 21225 HAS SOUPS 21225 WITH SCORE 21249.18
AT ITER 2071 NEW BEST:: SOT 63557 SOS 24161 HAS SOPS 24161 HAS SOUS 21202 HAS SOUPS 21202 WITH SCORE 21226.161
AT ITER 2073 NEW BEST:: SOT 63539 SOS 24125 HAS SOPS 24125 HAS SOUS 21184 HAS SOUPS 21184 WITH SCORE 21208.125
AT ITER 2081 NEW BEST:: SOT 63539 SOS 24072 HAS SOPS 24072 HAS SOUS 21082 HAS SOUPS 21082 WITH SCORE 21106.072
AT ITER 2085 NEW BEST:: SOT 63493 SOS 24027 HAS SOPS 24027 HAS SOUS 21013 HAS SOUPS 21013 WITH SCORE 21037.027
AT ITER 2092 NEW BEST:: SOT 63427 SOS 23865 HAS SOPS 23865 HAS SOUS 20907 HAS SOUPS 20907 WITH SCORE 20930.865
AT ITER 2131 NEW BEST:: SOT 63418 SOS 23838 HAS SOPS 23838 HAS SOUS 20880 HAS SOUPS 20880 WITH SCORE 20903.838
AT ITER 2137 NEW BEST:: SOT 63316 SOS 23526 HAS SOPS 23526 HAS SOUS 20727 HAS SOUPS 20727 WITH SCORE 20750.526
AT ITER 2172 NEW BEST:: SOT 63292 SOS 23529 HAS SOPS 23529 HAS SOUS 20687 HAS SOUPS 20687 WITH SCORE 20710.529
AT ITER 2174 NEW BEST:: SOT 63276 SOS 23494 HAS SOPS 23494 HAS SOUS 20668 HAS SOUPS 20668 WITH SCORE 20691.494
AT ITER 2175 NEW BEST:: SOT 63271 SOS 23489 HAS SOPS 23489 HAS SOUS 20663 HAS SOUPS 20663 WITH SCORE 20686.489
AT ITER 2187 NEW BEST:: SOT 63186 SOS 23392 HAS SOPS 23392 HAS SOUS 20519 HAS SOUPS 20519 WITH SCORE 20542.392
AT ITER 2195 NEW BEST:: SOT 63186 SOS 23399 HAS SOPS 23399 HAS SOUS 20499 HAS SOUPS 20499 WITH SCORE 20522.399
AT ITER 2198 NEW BEST:: SOT 63134 SOS 23277 HAS SOPS 23277 HAS SOUS 20409 HAS SOUPS 20409 WITH SCORE 20432.277
AT ITER 2212 NEW BEST:: SOT 63119 SOS 23202 HAS SOPS 23202 HAS SOUS 20379 HAS SOUPS 20379 WITH SCORE 20402.202
AT ITER 2217 NEW BEST:: SOT 63092 SOS 23175 HAS SOPS 23175 HAS SOUS 20352 HAS SOUPS 20352 WITH SCORE 20375.175
AT ITER 2226 NEW BEST:: SOT 63071 SOS 23130 HAS SOPS 23130 HAS SOUS 20323 HAS SOUPS 20323 WITH SCORE 20346.13
AT ITER 2238 NEW BEST:: SOT 63048 SOS 23107 HAS SOPS 23107 HAS SOUS 20300 HAS SOUPS 20300 WITH SCORE 20323.107
AT ITER 2246 NEW BEST:: SOT 63043 SOS 23054 HAS SOPS 23054 HAS SOUS 20237 HAS SOUPS 20237 WITH SCORE 20260.054
AT ITER 2263 NEW BEST:: SOT 62995 SOS 23006 HAS SOPS 23006 HAS SOUS 20189 HAS SOUPS 20189 WITH SCORE 20212.006
AT ITER 2272 NEW BEST:: SOT 62995 SOS 22835 HAS SOPS 22835 HAS SOUS 20135 HAS SOUPS 20135 WITH SCORE 20157.835
AT ITER 2292 NEW BEST:: SOT 62969 SOS 22794 HAS SOPS 22794 HAS SOUS 20093 HAS SOUPS 20093 WITH SCORE 20115.794
AT ITER 2307 NEW BEST:: SOT 63000 SOS 22729 HAS SOPS 22729 HAS SOUS 20083 HAS SOUPS 20083 WITH SCORE 20105.729
AT ITER 2338 NEW BEST:: SOT 62984 SOS 22713 HAS SOPS 22713 HAS SOUS 20075 HAS SOUPS 20075 WITH SCORE 20097.713
AT ITER 2353 NEW BEST:: SOT 62963 SOS 22613 HAS SOPS 22613 HAS SOUS 20002 HAS SOUPS 20002 WITH SCORE 20024.613
AT ITER 2368 NEW BEST:: SOT 62963 SOS 22609 HAS SOPS 22609 HAS SOUS 19998 HAS SOUPS 19998 WITH SCORE 20020.609
AT ITER 2377 NEW BEST:: SOT 62963 SOS 22636 HAS SOPS 22636 HAS SOUS 19996 HAS SOUPS 19996 WITH SCORE 20018.636
AT ITER 2398 NEW BEST:: SOT 62950 SOS 22615 HAS SOPS 22615 HAS SOUS 19975 HAS SOUPS 19975 WITH SCORE 19997.615
AT ITER 2431 NEW BEST:: SOT 62934 SOS 22569 HAS SOPS 22569 HAS SOUS 19940 HAS SOUPS 19940 WITH SCORE 19962.569
AT ITER 2435 NEW BEST:: SOT 62934 SOS 22565 HAS SOPS 22565 HAS SOUS 19936 HAS SOUPS 19936 WITH SCORE 19958.565
AT ITER 2443 NEW BEST:: SOT 62865 SOS 22514 HAS SOPS 22514 HAS SOUS 19876 HAS SOUPS 19876 WITH SCORE 19898.514
AT ITER 2459 NEW BEST:: SOT 62862 SOS 22511 HAS SOPS 22511 HAS SOUS 19874 HAS SOUPS 19874 WITH SCORE 19896.511
AT ITER 2496 NEW BEST:: SOT 62844 SOS 22466 HAS SOPS 22466 HAS SOUS 19839 HAS SOUPS 19839 WITH SCORE 19861.466
AT ITER 2510 NEW BEST:: SOT 62842 SOS 22463 HAS SOPS 22463 HAS SOUS 19836 HAS SOUPS 19836 WITH SCORE 19858.463
AT ITER 2514 NEW BEST:: SOT 62842 SOS 22449 HAS SOPS 22449 HAS SOUS 19829 HAS SOUPS 19829 WITH SCORE 19851.449
AT ITER 2519 NEW BEST:: SOT 62800 SOS 22306 HAS SOPS 22306 HAS SOUS 19703 HAS SOUPS 19703 WITH SCORE 19725.306
AT ITER 2520 NEW BEST:: SOT 62801 SOS 22301 HAS SOPS 22301 HAS SOUS 19702 HAS SOUPS 19702 WITH SCORE 19724.301
AT ITER 2527 NEW BEST:: SOT 62771 SOS 22261 HAS SOPS 22261 HAS SOUS 19662 HAS SOUPS 19662 WITH SCORE 19684.261
AT ITER 2531 NEW BEST:: SOT 62769 SOS 22260 HAS SOPS 22260 HAS SOUS 19646 HAS SOUPS 19646 WITH SCORE 19668.26
AT ITER 2540 NEW BEST:: SOT 62751 SOS 22264 HAS SOPS 22264 HAS SOUS 19574 HAS SOUPS 19574 WITH SCORE 19596.264
AT ITER 2544 NEW BEST:: SOT 62736 SOS 22239 HAS SOPS 22239 HAS SOUS 19554 HAS SOUPS 19554 WITH SCORE 19576.239
AT ITER 2546 NEW BEST:: SOT 62723 SOS 22226 HAS SOPS 22226 HAS SOUS 19528 HAS SOUPS 19528 WITH SCORE 19550.226
AT ITER 2615 NEW BEST:: SOT 62647 SOS 22140 HAS SOPS 22140 HAS SOUS 19504 HAS SOUPS 19504 WITH SCORE 19526.14
AT ITER 2660 NEW BEST:: SOT 62641 SOS 22131 HAS SOPS 22131 HAS SOUS 19489 HAS SOUPS 19489 WITH SCORE 19511.131
AT ITER 2696 NEW BEST:: SOT 62617 SOS 22088 HAS SOPS 22088 HAS SOUS 19443 HAS SOUPS 19443 WITH SCORE 19465.088
AT ITER 2770 NEW BEST:: SOT 62603 SOS 22100 HAS SOPS 22100 HAS SOUS 19409 HAS SOUPS 19409 WITH SCORE 19431.1
AT ITER 2785 NEW BEST:: SOT 62581 SOS 22078 HAS SOPS 22078 HAS SOUS 19365 HAS SOUPS 19365 WITH SCORE 19387.078
AT ITER 2797 NEW BEST:: SOT 62536 SOS 22025 HAS SOPS 22025 HAS SOUS 19312 HAS SOUPS 19312 WITH SCORE 19334.025
AT ITER 2807 NEW BEST:: SOT 62476 SOS 21957 HAS SOPS 21957 HAS SOUS 19248 HAS SOUPS 19248 WITH SCORE 19269.957
AT ITER 2816 NEW BEST:: SOT 62476 SOS 21947 HAS SOPS 21947 HAS SOUS 19243 HAS SOUPS 19243 WITH SCORE 19264.947
AT ITER 2821 NEW BEST:: SOT 62476 SOS 21944 HAS SOPS 21944 HAS SOUS 19243 HAS SOUPS 19243 WITH SCORE 19264.944
AT ITER 2823 NEW BEST:: SOT 62474 SOS 21940 HAS SOPS 21940 HAS SOUS 19225 HAS SOUPS 19225 WITH SCORE 19246.94
AT ITER 2846 NEW BEST:: SOT 62469 SOS 21922 HAS SOPS 21922 HAS SOUS 19217 HAS SOUPS 19217 WITH SCORE 19238.922
AT ITER 2850 NEW BEST:: SOT 62470 SOS 21981 HAS SOPS 21981 HAS SOUS 19165 HAS SOUPS 19165 WITH SCORE 19186.981
AT ITER 2853 NEW BEST:: SOT 62368 SOS 21743 HAS SOPS 21743 HAS SOUS 18995 HAS SOUPS 18995 WITH SCORE 19016.743
AT ITER 2856 NEW BEST:: SOT 62372 SOS 21675 HAS SOPS 21675 HAS SOUS 18961 HAS SOUPS 18961 WITH SCORE 18982.675
AT ITER 2876 NEW BEST:: SOT 62363 SOS 21657 HAS SOPS 21657 HAS SOUS 18952 HAS SOUPS 18952 WITH SCORE 18973.657
AT ITER 2900 NEW BEST:: SOT 62363 SOS 21624 HAS SOPS 21624 HAS SOUS 18947 HAS SOUPS 18947 WITH SCORE 18968.624
AT ITER 2901 NEW BEST:: SOT 62317 SOS 21550 HAS SOPS 21550 HAS SOUS 18882 HAS SOUPS 18882 WITH SCORE 18903.55
AT ITER 2907 NEW BEST:: SOT 62287 SOS 21536 HAS SOPS 21536 HAS SOUS 18862 HAS SOUPS 18862 WITH SCORE 18883.536
AT ITER 2913 NEW BEST:: SOT 62287 SOS 21536 HAS SOPS 21536 HAS SOUS 18860 HAS SOUPS 18860 WITH SCORE 18881.536
AT ITER 2924 NEW BEST:: SOT 62287 SOS 21511 HAS SOPS 21511 HAS SOUS 18860 HAS SOUPS 18860 WITH SCORE 18881.511
AT ITER 2933 NEW BEST:: SOT 62283 SOS 21499 HAS SOPS 21499 HAS SOUS 18856 HAS SOUPS 18856 WITH SCORE 18877.499
AT ITER 2934 NEW BEST:: SOT 62293 SOS 21521 HAS SOPS 21521 HAS SOUS 18841 HAS SOUPS 18841 WITH SCORE 18862.521
AT ITER 2941 NEW BEST:: SOT 62293 SOS 21521 HAS SOPS 21521 HAS SOUS 18839 HAS SOUPS 18839 WITH SCORE 18860.521
AT ITER 2945 NEW BEST:: SOT 62303 SOS 21573 HAS SOPS 21573 HAS SOUS 18833 HAS SOUPS 18833 WITH SCORE 18854.573
AT ITER 2946 NEW BEST:: SOT 62264 SOS 21544 HAS SOPS 21544 HAS SOUS 18799 HAS SOUPS 18799 WITH SCORE 18820.544
AT ITER 2947 NEW BEST:: SOT 62148 SOS 21488 HAS SOPS 21488 HAS SOUS 18742 HAS SOUPS 18742 WITH SCORE 18763.488
AT ITER 2958 NEW BEST:: SOT 62103 SOS 21390 HAS SOPS 21390 HAS SOUS 18673 HAS SOUPS 18673 WITH SCORE 18694.39
AT ITER 2992 NEW BEST:: SOT 62121 SOS 21452 HAS SOPS 21452 HAS SOUS 18657 HAS SOUPS 18657 WITH SCORE 18678.452
AT ITER 3014 NEW BEST:: SOT 62137 SOS 21436 HAS SOPS 21436 HAS SOUS 18641 HAS SOUPS 18641 WITH SCORE 18662.436
AT ITER 3015 NEW BEST:: SOT 62138 SOS 21450 HAS SOPS 21450 HAS SOUS 18638 HAS SOUPS 18638 WITH SCORE 18659.45
AT ITER 3040 NEW BEST:: SOT 62125 SOS 21424 HAS SOPS 21424 HAS SOUS 18612 HAS SOUPS 18612 WITH SCORE 18633.424
AT ITER 3105 NEW BEST:: SOT 62107 SOS 21400 HAS SOPS 21400 HAS SOUS 18588 HAS SOUPS 18588 WITH SCORE 18609.4
AT ITER 3109 NEW BEST:: SOT 62107 SOS 21341 HAS SOPS 21341 HAS SOUS 18571 HAS SOUPS 18571 WITH SCORE 18592.341
AT ITER 3132 NEW BEST:: SOT 62091 SOS 21318 HAS SOPS 21318 HAS SOUS 18548 HAS SOUPS 18548 WITH SCORE 18569.318
AT ITER 3138 NEW BEST:: SOT 62085 SOS 21312 HAS SOPS 21312 HAS SOUS 18542 HAS SOUPS 18542 WITH SCORE 18563.312
AT ITER 3148 NEW BEST:: SOT 62049 SOS 21216 HAS SOPS 21216 HAS SOUS 18474 HAS SOUPS 18474 WITH SCORE 18495.216
AT ITER 3158 NEW BEST:: SOT 62046 SOS 21211 HAS SOPS 21211 HAS SOUS 18470 HAS SOUPS 18470 WITH SCORE 18491.211
AT ITER 3172 NEW BEST:: SOT 62051 SOS 21223 HAS SOPS 21223 HAS SOUS 18466 HAS SOUPS 18466 WITH SCORE 18487.223
AT ITER 3173 NEW BEST:: SOT 62023 SOS 21162 HAS SOPS 21162 HAS SOUS 18424 HAS SOUPS 18424 WITH SCORE 18445.162
AT ITER 3184 NEW BEST:: SOT 62021 SOS 21150 HAS SOPS 21150 HAS SOUS 18412 HAS SOUPS 18412 WITH SCORE 18433.15
AT ITER 3204 NEW BEST:: SOT 61967 SOS 21071 HAS SOPS 21071 HAS SOUS 18326 HAS SOUPS 18326 WITH SCORE 18347.071
AT ITER 3250 NEW BEST:: SOT 61970 SOS 21039 HAS SOPS 21039 HAS SOUS 18311 HAS SOUPS 18311 WITH SCORE 18332.039
AT ITER 3251 NEW BEST:: SOT 61920 SOS 20985 HAS SOPS 20985 HAS SOUS 18266 HAS SOUPS 18266 WITH SCORE 18286.985
AT ITER 3257 NEW BEST:: SOT 61911 SOS 20967 HAS SOPS 20967 HAS SOUS 18239 HAS SOUPS 18239 WITH SCORE 18259.967
AT ITER 3308 NEW BEST:: SOT 61904 SOS 20952 HAS SOPS 20952 HAS SOUS 18216 HAS SOUPS 18216 WITH SCORE 18236.952
AT ITER 3322 NEW BEST:: SOT 61853 SOS 20901 HAS SOPS 20901 HAS SOUS 18114 HAS SOUPS 18114 WITH SCORE 18134.901
AT ITER 3340 NEW BEST:: SOT 61853 SOS 20901 HAS SOPS 20901 HAS SOUS 18108 HAS SOUPS 18108 WITH SCORE 18128.901
AT ITER 3341 NEW BEST:: SOT 61823 SOS 20871 HAS SOPS 20871 HAS SOUS 18078 HAS SOUPS 18078 WITH SCORE 18098.871
AT ITER 3380 NEW BEST:: SOT 61824 SOS 20869 HAS SOPS 20869 HAS SOUS 18076 HAS SOUPS 18076 WITH SCORE 18096.869
AT ITER 3391 NEW BEST:: SOT 61824 SOS 20858 HAS SOPS 20858 HAS SOUS 18065 HAS SOUPS 18065 WITH SCORE 18085.858
AT ITER 3394 NEW BEST:: SOT 61812 SOS 20842 HAS SOPS 20842 HAS SOUS 18043 HAS SOUPS 18043 WITH SCORE 18063.842
AT ITER 3402 NEW BEST:: SOT 61740 SOS 20764 HAS SOPS 20764 HAS SOUS 17965 HAS SOUPS 17965 WITH SCORE 17985.764
AT ITER 3418 NEW BEST:: SOT 61730 SOS 20775 HAS SOPS 20775 HAS SOUS 17916 HAS SOUPS 17916 WITH SCORE 17936.775
AT ITER 3443 NEW BEST:: SOT 61720 SOS 20755 HAS SOPS 20755 HAS SOUS 17847 HAS SOUPS 17847 WITH SCORE 17867.755
AT ITER 3456 NEW BEST:: SOT 61720 SOS 20753 HAS SOPS 20753 HAS SOUS 17847 HAS SOUPS 17847 WITH SCORE 17867.753
AT ITER 3474 NEW BEST:: SOT 61694 SOS 20731 HAS SOPS 20731 HAS SOUS 17825 HAS SOUPS 17825 WITH SCORE 17845.731
AT ITER 3477 NEW BEST:: SOT 61687 SOS 20724 HAS SOPS 20724 HAS SOUS 17818 HAS SOUPS 17818 WITH SCORE 17838.724
AT ITER 3482 NEW BEST:: SOT 61667 SOS 20648 HAS SOPS 20648 HAS SOUS 17799 HAS SOUPS 17799 WITH SCORE 17819.648
AT ITER 3509 NEW BEST:: SOT 61642 SOS 20623 HAS SOPS 20623 HAS SOUS 17799 HAS SOUPS 17799 WITH SCORE 17819.623
AT ITER 3517 NEW BEST:: SOT 61639 SOS 20619 HAS SOPS 20619 HAS SOUS 17795 HAS SOUPS 17795 WITH SCORE 17815.619
AT ITER 3559 NEW BEST:: SOT 61647 SOS 20617 HAS SOPS 20617 HAS SOUS 17787 HAS SOUPS 17787 WITH SCORE 17807.617
AT ITER 3568 NEW BEST:: SOT 61647 SOS 20591 HAS SOPS 20591 HAS SOUS 17761 HAS SOUPS 17761 WITH SCORE 17781.591
AT ITER 3585 NEW BEST:: SOT 61619 SOS 20555 HAS SOPS 20555 HAS SOUS 17709 HAS SOUPS 17709 WITH SCORE 17729.555
AT ITER 3619 NEW BEST:: SOT 61619 SOS 20538 HAS SOPS 20538 HAS SOUS 17660 HAS SOUPS 17660 WITH SCORE 17680.538
AT ITER 3630 NEW BEST:: SOT 61595 SOS 20506 HAS SOPS 20506 HAS SOUS 17620 HAS SOUPS 17620 WITH SCORE 17640.506
AT ITER 3666 NEW BEST:: SOT 61596 SOS 20486 HAS SOPS 20486 HAS SOUS 17607 HAS SOUPS 17607 WITH SCORE 17627.486
AT ITER 3678 NEW BEST:: SOT 61567 SOS 20327 HAS SOPS 20327 HAS SOUS 17570 HAS SOUPS 17570 WITH SCORE 17590.327
AT ITER 3685 NEW BEST:: SOT 61557 SOS 20317 HAS SOPS 20317 HAS SOUS 17560 HAS SOUPS 17560 WITH SCORE 17580.317
AT ITER 3709 NEW BEST:: SOT 61546 SOS 20262 HAS SOPS 20262 HAS SOUS 17522 HAS SOUPS 17522 WITH SCORE 17542.262
AT ITER 3722 NEW BEST:: SOT 61551 SOS 20258 HAS SOPS 20258 HAS SOUS 17519 HAS SOUPS 17519 WITH SCORE 17539.258
AT ITER 3743 NEW BEST:: SOT 61565 SOS 20272 HAS SOPS 20272 HAS SOUS 17517 HAS SOUPS 17517 WITH SCORE 17537.272
AT ITER 3753 NEW BEST:: SOT 61541 SOS 20240 HAS SOPS 20240 HAS SOUS 17485 HAS SOUPS 17485 WITH SCORE 17505.24
AT ITER 3788 NEW BEST:: SOT 61536 SOS 20238 HAS SOPS 20238 HAS SOUS 17476 HAS SOUPS 17476 WITH SCORE 17496.238
AT ITER 3811 NEW BEST:: SOT 61512 SOS 20197 HAS SOPS 20197 HAS SOUS 17476 HAS SOUPS 17476 WITH SCORE 17496.197
AT ITER 3817 NEW BEST:: SOT 61455 SOS 19969 HAS SOPS 19969 HAS SOUS 17311 HAS SOUPS 17311 WITH SCORE 17330.969
AT ITER 3843 NEW BEST:: SOT 61446 SOS 19957 HAS SOPS 19957 HAS SOUS 17311 HAS SOUPS 17311 WITH SCORE 17330.957
AT ITER 3851 NEW BEST:: SOT 61425 SOS 19843 HAS SOPS 19843 HAS SOUS 17310 HAS SOUPS 17310 WITH SCORE 17329.843
AT ITER 3860 NEW BEST:: SOT 61411 SOS 19838 HAS SOPS 19838 HAS SOUS 17307 HAS SOUPS 17307 WITH SCORE 17326.838
AT ITER 3862 NEW BEST:: SOT 61372 SOS 19756 HAS SOPS 19756 HAS SOUS 17237 HAS SOUPS 17237 WITH SCORE 17256.756
AT ITER 3881 NEW BEST:: SOT 61358 SOS 19728 HAS SOPS 19728 HAS SOUS 17209 HAS SOUPS 17209 WITH SCORE 17228.728
AT ITER 3891 NEW BEST:: SOT 61325 SOS 19673 HAS SOPS 19673 HAS SOUS 17165 HAS SOUPS 17165 WITH SCORE 17184.673
AT ITER 3904 NEW BEST:: SOT 61344 SOS 19621 HAS SOPS 19621 HAS SOUS 17158 HAS SOUPS 17158 WITH SCORE 17177.621
AT ITER 3915 NEW BEST:: SOT 61344 SOS 19618 HAS SOPS 19618 HAS SOUS 17155 HAS SOUPS 17155 WITH SCORE 17174.618
AT ITER 3933 NEW BEST:: SOT 61344 SOS 19624 HAS SOPS 19624 HAS SOUS 17151 HAS SOUPS 17151 WITH SCORE 17170.624
AT ITER 3941 NEW BEST:: SOT 61257 SOS 19363 HAS SOPS 19363 HAS SOUS 16997 HAS SOUPS 16997 WITH SCORE 17016.363
AT ITER 3946 NEW BEST:: SOT 61225 SOS 19302 HAS SOPS 19302 HAS SOUS 16934 HAS SOUPS 16934 WITH SCORE 16953.302
AT ITER 4009 NEW BEST:: SOT 61215 SOS 19282 HAS SOPS 19282 HAS SOUS 16924 HAS SOUPS 16924 WITH SCORE 16943.282
AT ITER 4031 NEW BEST:: SOT 61197 SOS 19262 HAS SOPS 19262 HAS SOUS 16902 HAS SOUPS 16902 WITH SCORE 16921.262
AT ITER 4039 NEW BEST:: SOT 61182 SOS 19217 HAS SOPS 19217 HAS SOUS 16887 HAS SOUPS 16887 WITH SCORE 16906.217
AT ITER 4041 NEW BEST:: SOT 61183 SOS 19218 HAS SOPS 19218 HAS SOUS 16878 HAS SOUPS 16878 WITH SCORE 16897.218
AT ITER 4046 NEW BEST:: SOT 61172 SOS 19184 HAS SOPS 19184 HAS SOUS 16848 HAS SOUPS 16848 WITH SCORE 16867.184
AT ITER 4050 NEW BEST:: SOT 61138 SOS 19150 HAS SOPS 19150 HAS SOUS 16797 HAS SOUPS 16797 WITH SCORE 16816.15
AT ITER 4054 NEW BEST:: SOT 61130 SOS 19150 HAS SOPS 19150 HAS SOUS 16790 HAS SOUPS 16790 WITH SCORE 16809.15
AT ITER 4060 NEW BEST:: SOT 61085 SOS 19075 HAS SOPS 19075 HAS SOUS 16726 HAS SOUPS 16726 WITH SCORE 16745.075
AT ITER 4065 NEW BEST:: SOT 61082 SOS 19072 HAS SOPS 19072 HAS SOUS 16726 HAS SOUPS 16726 WITH SCORE 16745.072
AT ITER 4141 NEW BEST:: SOT 61078 SOS 19061 HAS SOPS 19061 HAS SOUS 16718 HAS SOUPS 16718 WITH SCORE 16737.061
AT ITER 4144 NEW BEST:: SOT 61059 SOS 19031 HAS SOPS 19031 HAS SOUS 16688 HAS SOUPS 16688 WITH SCORE 16707.031
AT ITER 4153 NEW BEST:: SOT 60991 SOS 18950 HAS SOPS 18950 HAS SOUS 16603 HAS SOUPS 16603 WITH SCORE 16621.95
AT ITER 4180 NEW BEST:: SOT 60989 SOS 18946 HAS SOPS 18946 HAS SOUS 16597 HAS SOUPS 16597 WITH SCORE 16615.946
AT ITER 4183 NEW BEST:: SOT 60980 SOS 18938 HAS SOPS 18938 HAS SOUS 16579 HAS SOUPS 16579 WITH SCORE 16597.938
AT ITER 4241 NEW BEST:: SOT 60978 SOS 18933 HAS SOPS 18933 HAS SOUS 16578 HAS SOUPS 16578 WITH SCORE 16596.933
AT ITER 4246 NEW BEST:: SOT 60969 SOS 18911 HAS SOPS 18911 HAS SOUS 16566 HAS SOUPS 16566 WITH SCORE 16584.911
AT ITER 4259 NEW BEST:: SOT 60961 SOS 18887 HAS SOPS 18887 HAS SOUS 16542 HAS SOUPS 16542 WITH SCORE 16560.887
AT ITER 4266 NEW BEST:: SOT 60954 SOS 18812 HAS SOPS 18812 HAS SOUS 16521 HAS SOUPS 16521 WITH SCORE 16539.812
AT ITER 4354 NEW BEST:: SOT 60945 SOS 18813 HAS SOPS 18813 HAS SOUS 16481 HAS SOUPS 16481 WITH SCORE 16499.813
AT ITER 4380 NEW BEST:: SOT 60943 SOS 18805 HAS SOPS 18805 HAS SOUS 16477 HAS SOUPS 16477 WITH SCORE 16495.805
AT ITER 4381 NEW BEST:: SOT 60942 SOS 18804 HAS SOPS 18804 HAS SOUS 16476 HAS SOUPS 16476 WITH SCORE 16494.804
AT ITER 4401 NEW BEST:: SOT 60940 SOS 18797 HAS SOPS 18797 HAS SOUS 16466 HAS SOUPS 16466 WITH SCORE 16484.797
AT ITER 4411 NEW BEST:: SOT 60930 SOS 18777 HAS SOPS 18777 HAS SOUS 16448 HAS SOUPS 16448 WITH SCORE 16466.777
AT ITER 4413 NEW BEST:: SOT 60935 SOS 18723 HAS SOPS 18723 HAS SOUS 16421 HAS SOUPS 16421 WITH SCORE 16439.723
AT ITER 4441 NEW BEST:: SOT 60921 SOS 18709 HAS SOPS 18709 HAS SOUS 16407 HAS SOUPS 16407 WITH SCORE 16425.709
AT ITER 4458 NEW BEST:: SOT 60874 SOS 18654 HAS SOPS 18654 HAS SOUS 16355 HAS SOUPS 16355 WITH SCORE 16373.654
AT ITER 4500 NEW BEST:: SOT 60874 SOS 18667 HAS SOPS 18667 HAS SOUS 16352 HAS SOUPS 16352 WITH SCORE 16370.667
AT ITER 4522 NEW BEST:: SOT 60874 SOS 18653 HAS SOPS 18653 HAS SOUS 16345 HAS SOUPS 16345 WITH SCORE 16363.653
AT ITER 4524 NEW BEST:: SOT 60863 SOS 18650 HAS SOPS 18650 HAS SOUS 16318 HAS SOUPS 16318 WITH SCORE 16336.65
AT ITER 4547 NEW BEST:: SOT 60847 SOS 18634 HAS SOPS 18634 HAS SOUS 16310 HAS SOUPS 16310 WITH SCORE 16328.634
AT ITER 4567 NEW BEST:: SOT 60847 SOS 18590 HAS SOPS 18590 HAS SOUS 16288 HAS SOUPS 16288 WITH SCORE 16306.59
AT ITER 4577 NEW BEST:: SOT 60845 SOS 18581 HAS SOPS 18581 HAS SOUS 16286 HAS SOUPS 16286 WITH SCORE 16304.581
AT ITER 4592 NEW BEST:: SOT 60841 SOS 18569 HAS SOPS 18569 HAS SOUS 16281 HAS SOUPS 16281 WITH SCORE 16299.569
AT ITER 4626 NEW BEST:: SOT 60838 SOS 18566 HAS SOPS 18566 HAS SOUS 16278 HAS SOUPS 16278 WITH SCORE 16296.566
AT ITER 4653 NEW BEST:: SOT 60791 SOS 18480 HAS SOPS 18480 HAS SOUS 16192 HAS SOUPS 16192 WITH SCORE 16210.48
AT ITER 4654 NEW BEST:: SOT 60783 SOS 18448 HAS SOPS 18448 HAS SOUS 16190 HAS SOUPS 16190 WITH SCORE 16208.448
AT ITER 4682 NEW BEST:: SOT 60783 SOS 18430 HAS SOPS 18430 HAS SOUS 16178 HAS SOUPS 16178 WITH SCORE 16196.43
AT ITER 4687 NEW BEST:: SOT 60732 SOS 18308 HAS SOPS 18308 HAS SOUS 16130 HAS SOUPS 16130 WITH SCORE 16148.308
AT ITER 4702 NEW BEST:: SOT 60717 SOS 18293 HAS SOPS 18293 HAS SOUS 16104 HAS SOUPS 16104 WITH SCORE 16122.293
AT ITER 4703 NEW BEST:: SOT 60712 SOS 18268 HAS SOPS 18268 HAS SOUS 16094 HAS SOUPS 16094 WITH SCORE 16112.268
AT ITER 4708 NEW BEST:: SOT 60706 SOS 18259 HAS SOPS 18259 HAS SOUS 16086 HAS SOUPS 16086 WITH SCORE 16104.259
AT ITER 4742 NEW BEST:: SOT 60702 SOS 18251 HAS SOPS 18251 HAS SOUS 16078 HAS SOUPS 16078 WITH SCORE 16096.251
AT ITER 4749 NEW BEST:: SOT 60696 SOS 18243 HAS SOPS 18243 HAS SOUS 16070 HAS SOUPS 16070 WITH SCORE 16088.243
AT ITER 4785 NEW BEST:: SOT 60666 SOS 18216 HAS SOPS 18216 HAS SOUS 16032 HAS SOUPS 16032 WITH SCORE 16050.216
AT ITER 4801 NEW BEST:: SOT 60659 SOS 18220 HAS SOPS 18220 HAS SOUS 16028 HAS SOUPS 16028 WITH SCORE 16046.22
AT ITER 4809 NEW BEST:: SOT 60657 SOS 18211 HAS SOPS 18211 HAS SOUS 16024 HAS SOUPS 16024 WITH SCORE 16042.211
AT ITER 4824 NEW BEST:: SOT 60657 SOS 18204 HAS SOPS 18204 HAS SOUS 16017 HAS SOUPS 16017 WITH SCORE 16035.204
AT ITER 4843 NEW BEST:: SOT 60649 SOS 18188 HAS SOPS 18188 HAS SOUS 16001 HAS SOUPS 16001 WITH SCORE 16019.188
AT ITER 4850 NEW BEST:: SOT 60639 SOS 18191 HAS SOPS 18191 HAS SOUS 15987 HAS SOUPS 15987 WITH SCORE 16005.191
AT ITER 4854 NEW BEST:: SOT 60635 SOS 18152 HAS SOPS 18152 HAS SOUS 15981 HAS SOUPS 15981 WITH SCORE 15999.152
AT ITER 4870 NEW BEST:: SOT 60634 SOS 18149 HAS SOPS 18149 HAS SOUS 15979 HAS SOUPS 15979 WITH SCORE 15997.149
AT ITER 4945 NEW BEST:: SOT 60610 SOS 18108 HAS SOPS 18108 HAS SOUS 15938 HAS SOUPS 15938 WITH SCORE 15956.108
AT ITER 4953 NEW BEST:: SOT 60607 SOS 18107 HAS SOPS 18107 HAS SOUS 15929 HAS SOUPS 15929 WITH SCORE 15947.107
AT ITER 4978 NEW BEST:: SOT 60597 SOS 18097 HAS SOPS 18097 HAS SOUS 15909 HAS SOUPS 15909 WITH SCORE 15927.097
AT ITER 4981 NEW BEST:: SOT 60592 SOS 18082 HAS SOPS 18082 HAS SOUS 15899 HAS SOUPS 15899 WITH SCORE 15917.082
AT ITER 4986 NEW BEST:: SOT 60592 SOS 18070 HAS SOPS 18070 HAS SOUS 15893 HAS SOUPS 15893 WITH SCORE 15911.07
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldRVt-PT-040A-CTLCardinality-00 ( (EU( ( potential( (tk(P179)) <= (tk(P97)) ) | potential( (tk(P180)) <= (tk(P10)) ) ),( potential( ( 3 ) <= (tk(P315)) ) & potential( (tk(P133)) <= (tk(P102)) ) ) )) | ( (EF(( potential( (tk(P176)) <= (tk(P213)) ) & potential( (tk(P217)) <= (tk(P273)) ) ))) & ( (! ( potential( ( 2 ) <= (tk(P202)) ) | potential( (tk(P250)) <= (tk(P53)) ) )) | (AG( potential( (tk(P59)) <= (tk(P182)) ))) ) ) )
PROPERTY: ShieldRVt-PT-040A-CTLCardinality-01 ( (! ( ( ( potential( ( 1 ) <= (tk(P32)) ) & potential( ( 3 ) <= (tk(P273)) ) ) | ( potential( (tk(P195)) <= (tk(P297)) ) & potential( ( 3 ) <= (tk(P211)) ) ) ) & (EX( potential( ( 1 ) <= (tk(P310)) ))) )) & ( (EF(( potential( ( 3 ) <= (tk(P320)) ) | potential( ( 3 ) <= (tk(P177)) ) ))) & potential( (tk(P311)) <= (tk(P265)) ) ) )
PROPERTY: ShieldRVt-PT-040A-CTLCardinality-02 (EF((AX( ( potential( (tk(P153)) <= (tk(P261)) ) & potential( ( 1 ) <= (tk(P206)) ) )))))
PROPERTY: ShieldRVt-PT-040A-CTLCardinality-03 (! (EU( ( potential( ( 1 ) <= (tk(P52)) ) | potential( (tk(P88)) <= (tk(P30)) ) ),( potential( ( 3 ) <= (tk(P165)) ) & potential( (tk(P67)) <= (tk(P15)) ) ) )))
PROPERTY: ShieldRVt-PT-040A-CTLCardinality-04 (AG( (EU( potential( ( 1 ) <= (tk(P165)) ),potential( (tk(P61)) <= (tk(P126)) ) ))))
PROPERTY: ShieldRVt-PT-040A-CTLCardinality-05 (EF((AX( ( potential( (tk(P125)) <= (tk(P149)) ) & potential( ( 1 ) <= (tk(P82)) ) )))))
PROPERTY: ShieldRVt-PT-040A-CTLCardinality-06 ( (EF(( ( potential( (tk(P270)) <= (tk(P14)) ) & potential( ( 3 ) <= (tk(P246)) ) ) | ( potential( ( 3 ) <= (tk(P196)) ) & potential( (tk(P293)) <= (tk(P276)) ) ) ))) | (EF(potential( ( 2 ) <= (tk(P316)) ))) )
PROPERTY: ShieldRVt-PT-040A-CTLCardinality-07 (AG( (! ( (! potential( (tk(P311)) <= (tk(P252)) )) & ( potential( ( 3 ) <= (tk(P247)) ) | potential( ( 2 ) <= (tk(P205)) ) ) ))))
PROPERTY: ShieldRVt-PT-040A-CTLCardinality-08 ( ( potential( (tk(P76)) <= (tk(P78)) ) & (EX( (! potential( ( 2 ) <= (tk(P242)) )))) ) & (EU( ( potential( (tk(P318)) <= (tk(P139)) ) | potential( ( 3 ) <= (tk(P239)) ) ),( potential( ( 1 ) <= (tk(P260)) ) & potential( (tk(P35)) <= (tk(P70)) ) ) )) )
PROPERTY: ShieldRVt-PT-040A-CTLCardinality-09 (EF((EX( (! potential( (tk(P216)) <= (tk(P78)) ))))))
PROPERTY: ShieldRVt-PT-040A-CTLCardinality-10 ( ( (! (AG( potential( (tk(P112)) <= (tk(P243)) )))) & (AU( potential( ( 1 ) <= (tk(P281)) ),potential( (tk(P218)) <= (tk(P108)) ) )) ) & ( ( (AF(potential( (tk(P230)) <= (tk(P42)) ))) | ( (! potential( ( 3 ) <= (tk(P126)) )) & (! potential( (tk(P89)) <= (tk(P254)) )) ) ) & potential( (tk(P151)) <= (tk(P146)) ) ) )
PROPERTY: ShieldRVt-PT-040A-CTLCardinality-11 (EF((! (EF(potential( ( 1 ) <= (tk(P290)) ))))))
PROPERTY: ShieldRVt-PT-040A-CTLCardinality-12 (! (AG( ( (! potential( ( 2 ) <= (tk(P125)) )) | (! potential( ( 2 ) <= (tk(P294)) )) ))))
PROPERTY: ShieldRVt-PT-040A-CTLCardinality-13 (AG( (EX( potential( (tk(P241)) <= (tk(P179)) )))))
PROPERTY: ShieldRVt-PT-040A-CTLCardinality-14 (EF(( (EF(potential( ( 3 ) <= (tk(P36)) ))) & (! ( potential( ( 2 ) <= (tk(P257)) ) & potential( ( 2 ) <= (tk(P149)) ) )) )))
PROPERTY: ShieldRVt-PT-040A-CTLCardinality-15 (EF(( ( ( potential( ( 1 ) <= (tk(P54)) ) | potential( ( 1 ) <= (tk(P306)) ) ) | ( potential( ( 1 ) <= (tk(P302)) ) & potential( ( 2 ) <= (tk(P13)) ) ) ) & ( ( potential( ( 1 ) <= (tk(P34)) ) | potential( (tk(P231)) <= (tk(P76)) ) ) & ( potential( ( 1 ) <= (tk(P291)) ) | potential( (tk(P261)) <= (tk(P126)) ) ) ) )))

BK_STOP 1590460225919

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 370 Aborted ${SMART} ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldRVt-PT-040A"
export BK_EXAMINATION="CTLCardinality"
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 ShieldRVt-PT-040A, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033470401051"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldRVt-PT-040A.tgz
mv ShieldRVt-PT-040A execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;