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-159033469800667.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 ShieldPPPt-PT-020A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469800667
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 308K
-rw-r--r-- 1 mcc users 3.7K May 14 01:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 14 01:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 19:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 13 19:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.7K May 13 14:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 13 14:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 08:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 13 08:52 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 134K 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 ShieldPPPt-PT-020A-CTLCardinality-00
FORMULA_NAME ShieldPPPt-PT-020A-CTLCardinality-01
FORMULA_NAME ShieldPPPt-PT-020A-CTLCardinality-02
FORMULA_NAME ShieldPPPt-PT-020A-CTLCardinality-03
FORMULA_NAME ShieldPPPt-PT-020A-CTLCardinality-04
FORMULA_NAME ShieldPPPt-PT-020A-CTLCardinality-05
FORMULA_NAME ShieldPPPt-PT-020A-CTLCardinality-06
FORMULA_NAME ShieldPPPt-PT-020A-CTLCardinality-07
FORMULA_NAME ShieldPPPt-PT-020A-CTLCardinality-08
FORMULA_NAME ShieldPPPt-PT-020A-CTLCardinality-09
FORMULA_NAME ShieldPPPt-PT-020A-CTLCardinality-10
FORMULA_NAME ShieldPPPt-PT-020A-CTLCardinality-11
FORMULA_NAME ShieldPPPt-PT-020A-CTLCardinality-12
FORMULA_NAME ShieldPPPt-PT-020A-CTLCardinality-13
FORMULA_NAME ShieldPPPt-PT-020A-CTLCardinality-14
FORMULA_NAME ShieldPPPt-PT-020A-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590447131074

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (PT), instance 020A
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: 503 places, 363 transitions, 1446 arcs.
AT ITER 0 NEW BEST:: SOT 150296 SOS 125896 HAS SOPS 125896 HAS SOUS 101726 HAS SOUPS 101726 WITH SCORE 101851.896
AT ITER 3 NEW BEST:: SOT 149862 SOS 125640 HAS SOPS 125640 HAS SOUS 101552 HAS SOUPS 101552 WITH SCORE 101677.64
AT ITER 5 NEW BEST:: SOT 149515 SOS 124738 HAS SOPS 124738 HAS SOUS 100841 HAS SOUPS 100841 WITH SCORE 100965.738
AT ITER 8 NEW BEST:: SOT 149515 SOS 124191 HAS SOPS 124191 HAS SOUS 100838 HAS SOUPS 100838 WITH SCORE 100962.191
AT ITER 10 NEW BEST:: SOT 149279 SOS 123955 HAS SOPS 123955 HAS SOUS 100521 HAS SOUPS 100521 WITH SCORE 100644.955
AT ITER 11 NEW BEST:: SOT 149165 SOS 123841 HAS SOPS 123841 HAS SOUS 100407 HAS SOUPS 100407 WITH SCORE 100530.841
AT ITER 13 NEW BEST:: SOT 149111 SOS 123798 HAS SOPS 123798 HAS SOUS 100364 HAS SOUPS 100364 WITH SCORE 100487.798
AT ITER 16 NEW BEST:: SOT 149111 SOS 123623 HAS SOPS 123623 HAS SOUS 100362 HAS SOUPS 100362 WITH SCORE 100485.623
AT ITER 21 NEW BEST:: SOT 149111 SOS 123290 HAS SOPS 123290 HAS SOUS 100290 HAS SOUPS 100290 WITH SCORE 100413.29
AT ITER 22 NEW BEST:: SOT 148472 SOS 121767 HAS SOPS 121767 HAS SOUS 99421 HAS SOUPS 99421 WITH SCORE 99542.767
AT ITER 23 NEW BEST:: SOT 148407 SOS 121702 HAS SOPS 121702 HAS SOUS 99356 HAS SOUPS 99356 WITH SCORE 99477.702
AT ITER 28 NEW BEST:: SOT 148407 SOS 120731 HAS SOPS 120731 HAS SOUS 99346 HAS SOUPS 99346 WITH SCORE 99466.731
AT ITER 29 NEW BEST:: SOT 147648 SOS 119039 HAS SOPS 119039 HAS SOUS 98070 HAS SOUPS 98070 WITH SCORE 98189.039
AT ITER 31 NEW BEST:: SOT 147458 SOS 118849 HAS SOPS 118849 HAS SOUS 97775 HAS SOUPS 97775 WITH SCORE 97893.849
AT ITER 32 NEW BEST:: SOT 147456 SOS 118845 HAS SOPS 118845 HAS SOUS 97770 HAS SOUPS 97770 WITH SCORE 97888.845
AT ITER 33 NEW BEST:: SOT 147408 SOS 118795 HAS SOPS 118795 HAS SOUS 97720 HAS SOUPS 97720 WITH SCORE 97838.795
AT ITER 34 NEW BEST:: SOT 147408 SOS 118371 HAS SOPS 118371 HAS SOUS 97710 HAS SOUPS 97710 WITH SCORE 97828.371
AT ITER 36 NEW BEST:: SOT 147408 SOS 118261 HAS SOPS 118261 HAS SOUS 97709 HAS SOUPS 97709 WITH SCORE 97827.261
AT ITER 37 NEW BEST:: SOT 147316 SOS 117604 HAS SOPS 117604 HAS SOUS 97204 HAS SOUPS 97204 WITH SCORE 97321.604
AT ITER 41 NEW BEST:: SOT 146914 SOS 117202 HAS SOPS 117202 HAS SOUS 96802 HAS SOUPS 96802 WITH SCORE 96919.202
AT ITER 43 NEW BEST:: SOT 146747 SOS 117049 HAS SOPS 117049 HAS SOUS 96570 HAS SOUPS 96570 WITH SCORE 96687.049
AT ITER 51 NEW BEST:: SOT 146390 SOS 116690 HAS SOPS 116690 HAS SOUS 96210 HAS SOUPS 96210 WITH SCORE 96326.69
AT ITER 52 NEW BEST:: SOT 146311 SOS 116611 HAS SOPS 116611 HAS SOUS 96131 HAS SOUPS 96131 WITH SCORE 96247.611
AT ITER 53 NEW BEST:: SOT 145333 SOS 115633 HAS SOPS 115633 HAS SOUS 95410 HAS SOUPS 95410 WITH SCORE 95525.633
AT ITER 54 NEW BEST:: SOT 145333 SOS 115367 HAS SOPS 115367 HAS SOUS 95401 HAS SOUPS 95401 WITH SCORE 95516.367
AT ITER 55 NEW BEST:: SOT 145333 SOS 115359 HAS SOPS 115359 HAS SOUS 95401 HAS SOUPS 95401 WITH SCORE 95516.359
AT ITER 57 NEW BEST:: SOT 145271 SOS 115297 HAS SOPS 115297 HAS SOUS 95339 HAS SOUPS 95339 WITH SCORE 95454.297
AT ITER 60 NEW BEST:: SOT 145161 SOS 115185 HAS SOPS 115185 HAS SOUS 95227 HAS SOUPS 95227 WITH SCORE 95342.185
AT ITER 61 NEW BEST:: SOT 145153 SOS 115175 HAS SOPS 115175 HAS SOUS 95217 HAS SOUPS 95217 WITH SCORE 95332.175
AT ITER 64 NEW BEST:: SOT 144734 SOS 114756 HAS SOPS 114756 HAS SOUS 94816 HAS SOUPS 94816 WITH SCORE 94930.756
AT ITER 71 NEW BEST:: SOT 144384 SOS 114406 HAS SOPS 114406 HAS SOUS 94466 HAS SOUPS 94466 WITH SCORE 94580.406
AT ITER 73 NEW BEST:: SOT 144253 SOS 114326 HAS SOPS 114326 HAS SOUS 94386 HAS SOUPS 94386 WITH SCORE 94500.326
AT ITER 75 NEW BEST:: SOT 144029 SOS 113356 HAS SOPS 113356 HAS SOUS 93730 HAS SOUPS 93730 WITH SCORE 93843.356
AT ITER 76 NEW BEST:: SOT 143798 SOS 112340 HAS SOPS 112340 HAS SOUS 93084 HAS SOUPS 93084 WITH SCORE 93196.34
AT ITER 78 NEW BEST:: SOT 143488 SOS 112030 HAS SOPS 112030 HAS SOUS 92773 HAS SOUPS 92773 WITH SCORE 92885.03
AT ITER 79 NEW BEST:: SOT 143476 SOS 112018 HAS SOPS 112018 HAS SOUS 92761 HAS SOUPS 92761 WITH SCORE 92873.018
AT ITER 81 NEW BEST:: SOT 143317 SOS 111859 HAS SOPS 111859 HAS SOUS 92602 HAS SOUPS 92602 WITH SCORE 92713.859
AT ITER 83 NEW BEST:: SOT 143209 SOS 112022 HAS SOPS 112022 HAS SOUS 92561 HAS SOUPS 92561 WITH SCORE 92673.022
AT ITER 84 NEW BEST:: SOT 143035 SOS 111848 HAS SOPS 111848 HAS SOUS 92387 HAS SOUPS 92387 WITH SCORE 92498.848
AT ITER 86 NEW BEST:: SOT 142675 SOS 111488 HAS SOPS 111488 HAS SOUS 91978 HAS SOUPS 91978 WITH SCORE 92089.488
AT ITER 87 NEW BEST:: SOT 142387 SOS 111200 HAS SOPS 111200 HAS SOUS 91688 HAS SOUPS 91688 WITH SCORE 91799.2
AT ITER 88 NEW BEST:: SOT 142034 SOS 110847 HAS SOPS 110847 HAS SOUS 91544 HAS SOUPS 91544 WITH SCORE 91654.847
AT ITER 89 NEW BEST:: SOT 141802 SOS 110615 HAS SOPS 110615 HAS SOUS 91309 HAS SOUPS 91309 WITH SCORE 91419.615
AT ITER 91 NEW BEST:: SOT 141268 SOS 110081 HAS SOPS 110081 HAS SOUS 90832 HAS SOUPS 90832 WITH SCORE 90942.081
AT ITER 92 NEW BEST:: SOT 141116 SOS 109929 HAS SOPS 109929 HAS SOUS 90699 HAS SOUPS 90699 WITH SCORE 90808.929
AT ITER 99 NEW BEST:: SOT 140957 SOS 109770 HAS SOPS 109770 HAS SOUS 90606 HAS SOUPS 90606 WITH SCORE 90715.77
AT ITER 101 NEW BEST:: SOT 140982 SOS 109121 HAS SOPS 109121 HAS SOUS 90237 HAS SOUPS 90237 WITH SCORE 90346.121
AT ITER 108 NEW BEST:: SOT 140982 SOS 108808 HAS SOPS 108808 HAS SOUS 90137 HAS SOUPS 90137 WITH SCORE 90245.808
AT ITER 109 NEW BEST:: SOT 140974 SOS 108800 HAS SOPS 108800 HAS SOUS 90129 HAS SOUPS 90129 WITH SCORE 90237.8
AT ITER 111 NEW BEST:: SOT 140974 SOS 108287 HAS SOPS 108287 HAS SOUS 89987 HAS SOUPS 89987 WITH SCORE 90095.287
AT ITER 113 NEW BEST:: SOT 140974 SOS 108239 HAS SOPS 108239 HAS SOUS 89987 HAS SOUPS 89987 WITH SCORE 90095.239
AT ITER 115 NEW BEST:: SOT 140811 SOS 108076 HAS SOPS 108076 HAS SOUS 89823 HAS SOUPS 89823 WITH SCORE 89931.076
AT ITER 119 NEW BEST:: SOT 140787 SOS 108052 HAS SOPS 108052 HAS SOUS 89799 HAS SOUPS 89799 WITH SCORE 89907.052
AT ITER 120 NEW BEST:: SOT 140765 SOS 108030 HAS SOPS 108030 HAS SOUS 89777 HAS SOUPS 89777 WITH SCORE 89885.03
AT ITER 121 NEW BEST:: SOT 140625 SOS 107610 HAS SOPS 107610 HAS SOUS 89500 HAS SOUPS 89500 WITH SCORE 89607.61
AT ITER 126 NEW BEST:: SOT 140507 SOS 107490 HAS SOPS 107490 HAS SOUS 89455 HAS SOUPS 89455 WITH SCORE 89562.49
AT ITER 130 NEW BEST:: SOT 140439 SOS 107422 HAS SOPS 107422 HAS SOUS 89387 HAS SOUPS 89387 WITH SCORE 89494.422
AT ITER 134 NEW BEST:: SOT 140434 SOS 107417 HAS SOPS 107417 HAS SOUS 89382 HAS SOUPS 89382 WITH SCORE 89489.417
AT ITER 135 NEW BEST:: SOT 140186 SOS 107167 HAS SOPS 107167 HAS SOUS 89132 HAS SOUPS 89132 WITH SCORE 89239.167
AT ITER 137 NEW BEST:: SOT 140101 SOS 107081 HAS SOPS 107081 HAS SOUS 89046 HAS SOUPS 89046 WITH SCORE 89153.081
AT ITER 138 NEW BEST:: SOT 139573 SOS 106553 HAS SOPS 106553 HAS SOUS 88687 HAS SOUPS 88687 WITH SCORE 88793.553
AT ITER 141 NEW BEST:: SOT 139390 SOS 106374 HAS SOPS 106374 HAS SOUS 88511 HAS SOUPS 88511 WITH SCORE 88617.374
AT ITER 142 NEW BEST:: SOT 139390 SOS 106228 HAS SOPS 106228 HAS SOUS 88438 HAS SOUPS 88438 WITH SCORE 88544.228
AT ITER 144 NEW BEST:: SOT 138988 SOS 105829 HAS SOPS 105829 HAS SOUS 88037 HAS SOUPS 88037 WITH SCORE 88142.829
AT ITER 146 NEW BEST:: SOT 138917 SOS 105757 HAS SOPS 105757 HAS SOUS 87989 HAS SOUPS 87989 WITH SCORE 88094.757
AT ITER 147 NEW BEST:: SOT 138882 SOS 105617 HAS SOPS 105617 HAS SOUS 87884 HAS SOUPS 87884 WITH SCORE 87989.617
AT ITER 149 NEW BEST:: SOT 138882 SOS 105519 HAS SOPS 105519 HAS SOUS 87864 HAS SOUPS 87864 WITH SCORE 87969.519
AT ITER 161 NEW BEST:: SOT 138881 SOS 105518 HAS SOPS 105518 HAS SOUS 87862 HAS SOUPS 87862 WITH SCORE 87967.518
AT ITER 165 NEW BEST:: SOT 138859 SOS 105446 HAS SOPS 105446 HAS SOUS 87790 HAS SOUPS 87790 WITH SCORE 87895.446
AT ITER 168 NEW BEST:: SOT 138528 SOS 104998 HAS SOPS 104998 HAS SOUS 87341 HAS SOUPS 87341 WITH SCORE 87445.998
AT ITER 170 NEW BEST:: SOT 137939 SOS 103411 HAS SOPS 103411 HAS SOUS 86413 HAS SOUPS 86413 WITH SCORE 86516.411
AT ITER 178 NEW BEST:: SOT 137690 SOS 103162 HAS SOPS 103162 HAS SOUS 86058 HAS SOUPS 86058 WITH SCORE 86161.162
AT ITER 179 NEW BEST:: SOT 137545 SOS 102618 HAS SOPS 102618 HAS SOUS 85831 HAS SOUPS 85831 WITH SCORE 85933.618
AT ITER 186 NEW BEST:: SOT 137457 SOS 102530 HAS SOPS 102530 HAS SOUS 85743 HAS SOUPS 85743 WITH SCORE 85845.53
AT ITER 190 NEW BEST:: SOT 137457 SOS 102170 HAS SOPS 102170 HAS SOUS 85743 HAS SOUPS 85743 WITH SCORE 85845.17
AT ITER 192 NEW BEST:: SOT 137240 SOS 100799 HAS SOPS 100799 HAS SOUS 84918 HAS SOUPS 84918 WITH SCORE 85018.799
AT ITER 198 NEW BEST:: SOT 137357 SOS 100447 HAS SOPS 100447 HAS SOUS 84871 HAS SOUPS 84871 WITH SCORE 84971.447
AT ITER 202 NEW BEST:: SOT 137223 SOS 100313 HAS SOPS 100313 HAS SOUS 84737 HAS SOUPS 84737 WITH SCORE 84837.313
AT ITER 203 NEW BEST:: SOT 137063 SOS 99744 HAS SOPS 99744 HAS SOUS 84276 HAS SOUPS 84276 WITH SCORE 84375.744
AT ITER 204 NEW BEST:: SOT 137030 SOS 99711 HAS SOPS 99711 HAS SOUS 84243 HAS SOUPS 84243 WITH SCORE 84342.711
AT ITER 210 NEW BEST:: SOT 137006 SOS 99686 HAS SOPS 99686 HAS SOUS 84218 HAS SOUPS 84218 WITH SCORE 84317.686
AT ITER 216 NEW BEST:: SOT 136822 SOS 100052 HAS SOPS 100052 HAS SOUS 84073 HAS SOUPS 84073 WITH SCORE 84173.052
AT ITER 218 NEW BEST:: SOT 136686 SOS 99400 HAS SOPS 99400 HAS SOUS 83653 HAS SOUPS 83653 WITH SCORE 83752.4
AT ITER 221 NEW BEST:: SOT 136547 SOS 99368 HAS SOPS 99368 HAS SOUS 83612 HAS SOUPS 83612 WITH SCORE 83711.368
AT ITER 223 NEW BEST:: SOT 136547 SOS 99097 HAS SOPS 99097 HAS SOUS 83606 HAS SOUPS 83606 WITH SCORE 83705.097
AT ITER 224 NEW BEST:: SOT 136331 SOS 98878 HAS SOPS 98878 HAS SOUS 83534 HAS SOUPS 83534 WITH SCORE 83632.878
AT ITER 229 NEW BEST:: SOT 136331 SOS 98875 HAS SOPS 98875 HAS SOUS 83534 HAS SOUPS 83534 WITH SCORE 83632.875
AT ITER 237 NEW BEST:: SOT 136365 SOS 98019 HAS SOPS 98019 HAS SOUS 83191 HAS SOUPS 83191 WITH SCORE 83289.019
AT ITER 243 NEW BEST:: SOT 136310 SOS 97862 HAS SOPS 97862 HAS SOUS 83147 HAS SOUPS 83147 WITH SCORE 83244.862
AT ITER 246 NEW BEST:: SOT 136066 SOS 97140 HAS SOPS 97140 HAS SOUS 82667 HAS SOUPS 82667 WITH SCORE 82764.14
AT ITER 247 NEW BEST:: SOT 136047 SOS 97121 HAS SOPS 97121 HAS SOUS 82616 HAS SOUPS 82616 WITH SCORE 82713.121
AT ITER 248 NEW BEST:: SOT 136047 SOS 96902 HAS SOPS 96902 HAS SOUS 82470 HAS SOUPS 82470 WITH SCORE 82566.902
AT ITER 254 NEW BEST:: SOT 136009 SOS 96837 HAS SOPS 96837 HAS SOUS 82405 HAS SOUPS 82405 WITH SCORE 82501.837
AT ITER 261 NEW BEST:: SOT 135981 SOS 96781 HAS SOPS 96781 HAS SOUS 82321 HAS SOUPS 82321 WITH SCORE 82417.781
AT ITER 263 NEW BEST:: SOT 135856 SOS 96747 HAS SOPS 96747 HAS SOUS 82287 HAS SOUPS 82287 WITH SCORE 82383.747
AT ITER 266 NEW BEST:: SOT 135856 SOS 96747 HAS SOPS 96747 HAS SOUS 82285 HAS SOUPS 82285 WITH SCORE 82381.747
AT ITER 269 NEW BEST:: SOT 135267 SOS 96481 HAS SOPS 96481 HAS SOUS 81915 HAS SOUPS 81915 WITH SCORE 82011.481
AT ITER 274 NEW BEST:: SOT 135022 SOS 96234 HAS SOPS 96234 HAS SOUS 81668 HAS SOUPS 81668 WITH SCORE 81764.234
AT ITER 278 NEW BEST:: SOT 135018 SOS 96151 HAS SOPS 96151 HAS SOUS 81604 HAS SOUPS 81604 WITH SCORE 81700.151
AT ITER 284 NEW BEST:: SOT 135004 SOS 96137 HAS SOPS 96137 HAS SOUS 81590 HAS SOUPS 81590 WITH SCORE 81686.137
AT ITER 290 NEW BEST:: SOT 134899 SOS 96054 HAS SOPS 96054 HAS SOUS 81507 HAS SOUPS 81507 WITH SCORE 81603.054
AT ITER 293 NEW BEST:: SOT 134840 SOS 95904 HAS SOPS 95904 HAS SOUS 81357 HAS SOUPS 81357 WITH SCORE 81452.904
AT ITER 300 NEW BEST:: SOT 134840 SOS 95887 HAS SOPS 95887 HAS SOUS 81340 HAS SOUPS 81340 WITH SCORE 81435.887
AT ITER 301 NEW BEST:: SOT 134611 SOS 95658 HAS SOPS 95658 HAS SOUS 81123 HAS SOUPS 81123 WITH SCORE 81218.658
AT ITER 304 NEW BEST:: SOT 134611 SOS 95502 HAS SOPS 95502 HAS SOUS 81045 HAS SOUPS 81045 WITH SCORE 81140.502
AT ITER 307 NEW BEST:: SOT 134293 SOS 95450 HAS SOPS 95450 HAS SOUS 80889 HAS SOUPS 80889 WITH SCORE 80984.45
AT ITER 308 NEW BEST:: SOT 134233 SOS 95390 HAS SOPS 95390 HAS SOUS 80829 HAS SOUPS 80829 WITH SCORE 80924.39
AT ITER 310 NEW BEST:: SOT 134158 SOS 95315 HAS SOPS 95315 HAS SOUS 80754 HAS SOUPS 80754 WITH SCORE 80849.315
AT ITER 311 NEW BEST:: SOT 134108 SOS 95303 HAS SOPS 95303 HAS SOUS 80735 HAS SOUPS 80735 WITH SCORE 80830.303
AT ITER 312 NEW BEST:: SOT 133951 SOS 94428 HAS SOPS 94428 HAS SOUS 80158 HAS SOUPS 80158 WITH SCORE 80252.428
AT ITER 316 NEW BEST:: SOT 133865 SOS 94342 HAS SOPS 94342 HAS SOUS 80072 HAS SOUPS 80072 WITH SCORE 80166.342
AT ITER 319 NEW BEST:: SOT 133773 SOS 94250 HAS SOPS 94250 HAS SOUS 79980 HAS SOUPS 79980 WITH SCORE 80074.25
AT ITER 321 NEW BEST:: SOT 133595 SOS 93694 HAS SOPS 93694 HAS SOUS 79632 HAS SOUPS 79632 WITH SCORE 79725.694
AT ITER 324 NEW BEST:: SOT 133554 SOS 93653 HAS SOPS 93653 HAS SOUS 79591 HAS SOUPS 79591 WITH SCORE 79684.653
AT ITER 332 NEW BEST:: SOT 133526 SOS 93625 HAS SOPS 93625 HAS SOUS 79563 HAS SOUPS 79563 WITH SCORE 79656.625
AT ITER 334 NEW BEST:: SOT 133380 SOS 93476 HAS SOPS 93476 HAS SOUS 79456 HAS SOUPS 79456 WITH SCORE 79549.476
AT ITER 335 NEW BEST:: SOT 132713 SOS 92527 HAS SOPS 92527 HAS SOUS 78526 HAS SOUPS 78526 WITH SCORE 78618.527
AT ITER 336 NEW BEST:: SOT 132086 SOS 91900 HAS SOPS 91900 HAS SOUS 78147 HAS SOUPS 78147 WITH SCORE 78238.9
AT ITER 339 NEW BEST:: SOT 132051 SOS 91865 HAS SOPS 91865 HAS SOUS 78112 HAS SOUPS 78112 WITH SCORE 78203.865
AT ITER 342 NEW BEST:: SOT 131757 SOS 91571 HAS SOPS 91571 HAS SOUS 77816 HAS SOUPS 77816 WITH SCORE 77907.571
AT ITER 343 NEW BEST:: SOT 131759 SOS 90951 HAS SOPS 90951 HAS SOUS 77569 HAS SOUPS 77569 WITH SCORE 77659.951
AT ITER 348 NEW BEST:: SOT 131969 SOS 90908 HAS SOPS 90908 HAS SOUS 77525 HAS SOUPS 77525 WITH SCORE 77615.908
AT ITER 351 NEW BEST:: SOT 131797 SOS 90708 HAS SOPS 90708 HAS SOUS 77487 HAS SOUPS 77487 WITH SCORE 77577.708
AT ITER 353 NEW BEST:: SOT 131757 SOS 90640 HAS SOPS 90640 HAS SOUS 77419 HAS SOUPS 77419 WITH SCORE 77509.64
AT ITER 355 NEW BEST:: SOT 131730 SOS 90607 HAS SOPS 90607 HAS SOUS 77386 HAS SOUPS 77386 WITH SCORE 77476.607
AT ITER 358 NEW BEST:: SOT 131707 SOS 90280 HAS SOPS 90280 HAS SOUS 77302 HAS SOUPS 77302 WITH SCORE 77392.28
AT ITER 359 NEW BEST:: SOT 131707 SOS 90278 HAS SOPS 90278 HAS SOUS 77300 HAS SOUPS 77300 WITH SCORE 77390.278
AT ITER 365 NEW BEST:: SOT 131641 SOS 90076 HAS SOPS 90076 HAS SOUS 77218 HAS SOUPS 77218 WITH SCORE 77308.076
AT ITER 372 NEW BEST:: SOT 131678 SOS 89840 HAS SOPS 89840 HAS SOUS 77201 HAS SOUPS 77201 WITH SCORE 77290.84
AT ITER 373 NEW BEST:: SOT 131298 SOS 89410 HAS SOPS 89410 HAS SOUS 76819 HAS SOUPS 76819 WITH SCORE 76908.41
AT ITER 376 NEW BEST:: SOT 131200 SOS 89140 HAS SOPS 89140 HAS SOUS 76562 HAS SOUPS 76562 WITH SCORE 76651.14
AT ITER 377 NEW BEST:: SOT 131190 SOS 89090 HAS SOPS 89090 HAS SOUS 76542 HAS SOUPS 76542 WITH SCORE 76631.09
AT ITER 383 NEW BEST:: SOT 131169 SOS 89069 HAS SOPS 89069 HAS SOUS 76521 HAS SOUPS 76521 WITH SCORE 76610.069
AT ITER 385 NEW BEST:: SOT 131167 SOS 88842 HAS SOPS 88842 HAS SOUS 76514 HAS SOUPS 76514 WITH SCORE 76602.842
AT ITER 386 NEW BEST:: SOT 131167 SOS 88322 HAS SOPS 88322 HAS SOUS 76445 HAS SOUPS 76445 WITH SCORE 76533.322
AT ITER 387 NEW BEST:: SOT 130887 SOS 88199 HAS SOPS 88199 HAS SOUS 76146 HAS SOUPS 76146 WITH SCORE 76234.199
AT ITER 388 NEW BEST:: SOT 130885 SOS 88197 HAS SOPS 88197 HAS SOUS 76144 HAS SOUPS 76144 WITH SCORE 76232.197
AT ITER 389 NEW BEST:: SOT 130747 SOS 88059 HAS SOPS 88059 HAS SOUS 76006 HAS SOUPS 76006 WITH SCORE 76094.059
AT ITER 391 NEW BEST:: SOT 130558 SOS 87870 HAS SOPS 87870 HAS SOUS 75817 HAS SOUPS 75817 WITH SCORE 75904.87
AT ITER 393 NEW BEST:: SOT 130348 SOS 87153 HAS SOPS 87153 HAS SOUS 75248 HAS SOUPS 75248 WITH SCORE 75335.153
AT ITER 398 NEW BEST:: SOT 130234 SOS 87039 HAS SOPS 87039 HAS SOUS 75134 HAS SOUPS 75134 WITH SCORE 75221.039
AT ITER 399 NEW BEST:: SOT 129854 SOS 86608 HAS SOPS 86608 HAS SOUS 74703 HAS SOUPS 74703 WITH SCORE 74789.608
AT ITER 407 NEW BEST:: SOT 129746 SOS 86500 HAS SOPS 86500 HAS SOUS 74595 HAS SOUPS 74595 WITH SCORE 74681.5
AT ITER 408 NEW BEST:: SOT 129711 SOS 86465 HAS SOPS 86465 HAS SOUS 74560 HAS SOUPS 74560 WITH SCORE 74646.465
AT ITER 410 NEW BEST:: SOT 129707 SOS 86537 HAS SOPS 86537 HAS SOUS 74503 HAS SOUPS 74503 WITH SCORE 74589.537
AT ITER 411 NEW BEST:: SOT 129407 SOS 86237 HAS SOPS 86237 HAS SOUS 74202 HAS SOUPS 74202 WITH SCORE 74288.237
AT ITER 413 NEW BEST:: SOT 129407 SOS 85948 HAS SOPS 85948 HAS SOUS 74102 HAS SOUPS 74102 WITH SCORE 74187.948
AT ITER 414 NEW BEST:: SOT 129236 SOS 85715 HAS SOPS 85715 HAS SOUS 73865 HAS SOUPS 73865 WITH SCORE 73950.715
AT ITER 418 NEW BEST:: SOT 129112 SOS 85589 HAS SOPS 85589 HAS SOUS 73748 HAS SOUPS 73748 WITH SCORE 73833.589
AT ITER 420 NEW BEST:: SOT 129109 SOS 85586 HAS SOPS 85586 HAS SOUS 73745 HAS SOUPS 73745 WITH SCORE 73830.586
AT ITER 423 NEW BEST:: SOT 129007 SOS 85484 HAS SOPS 85484 HAS SOUS 73643 HAS SOUPS 73643 WITH SCORE 73728.484
AT ITER 424 NEW BEST:: SOT 129007 SOS 85400 HAS SOPS 85400 HAS SOUS 73643 HAS SOUPS 73643 WITH SCORE 73728.4
AT ITER 439 NEW BEST:: SOT 128978 SOS 85269 HAS SOPS 85269 HAS SOUS 73627 HAS SOUPS 73627 WITH SCORE 73712.269
AT ITER 441 NEW BEST:: SOT 128918 SOS 85334 HAS SOPS 85334 HAS SOUS 73507 HAS SOUPS 73507 WITH SCORE 73592.334
AT ITER 443 NEW BEST:: SOT 128918 SOS 85334 HAS SOPS 85334 HAS SOUS 73498 HAS SOUPS 73498 WITH SCORE 73583.334
AT ITER 450 NEW BEST:: SOT 128789 SOS 85211 HAS SOPS 85211 HAS SOUS 73403 HAS SOUPS 73403 WITH SCORE 73488.211
AT ITER 453 NEW BEST:: SOT 128337 SOS 84601 HAS SOPS 84601 HAS SOUS 72793 HAS SOUPS 72793 WITH SCORE 72877.601
AT ITER 456 NEW BEST:: SOT 128305 SOS 84569 HAS SOPS 84569 HAS SOUS 72759 HAS SOUPS 72759 WITH SCORE 72843.569
AT ITER 457 NEW BEST:: SOT 127943 SOS 84207 HAS SOPS 84207 HAS SOUS 72397 HAS SOUPS 72397 WITH SCORE 72481.207
AT ITER 465 NEW BEST:: SOT 127834 SOS 84086 HAS SOPS 84086 HAS SOUS 72281 HAS SOUPS 72281 WITH SCORE 72365.086
AT ITER 467 NEW BEST:: SOT 127772 SOS 84073 HAS SOPS 84073 HAS SOUS 72268 HAS SOUPS 72268 WITH SCORE 72352.073
AT ITER 470 NEW BEST:: SOT 127772 SOS 83873 HAS SOPS 83873 HAS SOUS 72203 HAS SOUPS 72203 WITH SCORE 72286.873
AT ITER 474 NEW BEST:: SOT 127772 SOS 83515 HAS SOPS 83515 HAS SOUS 72196 HAS SOUPS 72196 WITH SCORE 72279.515
AT ITER 480 NEW BEST:: SOT 127690 SOS 83187 HAS SOPS 83187 HAS SOUS 72032 HAS SOUPS 72032 WITH SCORE 72115.187
AT ITER 481 NEW BEST:: SOT 127614 SOS 83241 HAS SOPS 83241 HAS SOUS 71883 HAS SOUPS 71883 WITH SCORE 71966.241
AT ITER 482 NEW BEST:: SOT 127614 SOS 82775 HAS SOPS 82775 HAS SOUS 71707 HAS SOUPS 71707 WITH SCORE 71789.775
AT ITER 487 NEW BEST:: SOT 127614 SOS 82773 HAS SOPS 82773 HAS SOUS 71703 HAS SOUPS 71703 WITH SCORE 71785.773
AT ITER 489 NEW BEST:: SOT 127614 SOS 82500 HAS SOPS 82500 HAS SOUS 71585 HAS SOUPS 71585 WITH SCORE 71667.5
AT ITER 490 NEW BEST:: SOT 127211 SOS 81273 HAS SOPS 81273 HAS SOUS 70839 HAS SOUPS 70839 WITH SCORE 70920.273
AT ITER 494 NEW BEST:: SOT 127211 SOS 81261 HAS SOPS 81261 HAS SOUS 70835 HAS SOUPS 70835 WITH SCORE 70916.261
AT ITER 495 NEW BEST:: SOT 126580 SOS 80630 HAS SOPS 80630 HAS SOUS 70092 HAS SOUPS 70092 WITH SCORE 70172.63
AT ITER 500 NEW BEST:: SOT 126452 SOS 80502 HAS SOPS 80502 HAS SOUS 69982 HAS SOUPS 69982 WITH SCORE 70062.502
AT ITER 502 NEW BEST:: SOT 126452 SOS 80506 HAS SOPS 80506 HAS SOUS 69858 HAS SOUPS 69858 WITH SCORE 69938.506
AT ITER 508 NEW BEST:: SOT 126354 SOS 80352 HAS SOPS 80352 HAS SOUS 69704 HAS SOUPS 69704 WITH SCORE 69784.352
AT ITER 509 NEW BEST:: SOT 126354 SOS 80231 HAS SOPS 80231 HAS SOUS 69704 HAS SOUPS 69704 WITH SCORE 69784.231
AT ITER 510 NEW BEST:: SOT 126348 SOS 80219 HAS SOPS 80219 HAS SOUS 69692 HAS SOUPS 69692 WITH SCORE 69772.219
AT ITER 514 NEW BEST:: SOT 126347 SOS 79960 HAS SOPS 79960 HAS SOUS 69626 HAS SOUPS 69626 WITH SCORE 69705.96
AT ITER 521 NEW BEST:: SOT 126211 SOS 79754 HAS SOPS 79754 HAS SOUS 69421 HAS SOUPS 69421 WITH SCORE 69500.754
AT ITER 525 NEW BEST:: SOT 126216 SOS 79743 HAS SOPS 79743 HAS SOUS 69410 HAS SOUPS 69410 WITH SCORE 69489.743
AT ITER 534 NEW BEST:: SOT 126216 SOS 79741 HAS SOPS 79741 HAS SOUS 69408 HAS SOUPS 69408 WITH SCORE 69487.741
AT ITER 535 NEW BEST:: SOT 126216 SOS 79642 HAS SOPS 79642 HAS SOUS 69408 HAS SOUPS 69408 WITH SCORE 69487.642
AT ITER 538 NEW BEST:: SOT 126167 SOS 79398 HAS SOPS 79398 HAS SOUS 69178 HAS SOUPS 69178 WITH SCORE 69257.398
AT ITER 539 NEW BEST:: SOT 126166 SOS 78773 HAS SOPS 78773 HAS SOUS 69144 HAS SOUPS 69144 WITH SCORE 69222.773
AT ITER 543 NEW BEST:: SOT 126112 SOS 78719 HAS SOPS 78719 HAS SOUS 69090 HAS SOUPS 69090 WITH SCORE 69168.719
AT ITER 546 NEW BEST:: SOT 126016 SOS 78623 HAS SOPS 78623 HAS SOUS 69066 HAS SOUPS 69066 WITH SCORE 69144.623
AT ITER 549 NEW BEST:: SOT 126016 SOS 78366 HAS SOPS 78366 HAS SOUS 68943 HAS SOUPS 68943 WITH SCORE 69021.366
AT ITER 550 NEW BEST:: SOT 126008 SOS 78358 HAS SOPS 78358 HAS SOUS 68935 HAS SOUPS 68935 WITH SCORE 69013.358
AT ITER 563 NEW BEST:: SOT 126115 SOS 78354 HAS SOPS 78354 HAS SOUS 68931 HAS SOUPS 68931 WITH SCORE 69009.354
AT ITER 564 NEW BEST:: SOT 126061 SOS 78238 HAS SOPS 78238 HAS SOUS 68815 HAS SOUPS 68815 WITH SCORE 68893.238
AT ITER 565 NEW BEST:: SOT 125836 SOS 77528 HAS SOPS 77528 HAS SOUS 68358 HAS SOUPS 68358 WITH SCORE 68435.528
AT ITER 566 NEW BEST:: SOT 125836 SOS 77468 HAS SOPS 77468 HAS SOUS 68358 HAS SOUPS 68358 WITH SCORE 68435.468
AT ITER 568 NEW BEST:: SOT 125852 SOS 77458 HAS SOPS 77458 HAS SOUS 68348 HAS SOUPS 68348 WITH SCORE 68425.458
AT ITER 569 NEW BEST:: SOT 125822 SOS 77428 HAS SOPS 77428 HAS SOUS 68342 HAS SOUPS 68342 WITH SCORE 68419.428
AT ITER 577 NEW BEST:: SOT 125741 SOS 77347 HAS SOPS 77347 HAS SOUS 68252 HAS SOUPS 68252 WITH SCORE 68329.347
AT ITER 579 NEW BEST:: SOT 125735 SOS 77338 HAS SOPS 77338 HAS SOUS 68243 HAS SOUPS 68243 WITH SCORE 68320.338
AT ITER 580 NEW BEST:: SOT 125735 SOS 77239 HAS SOPS 77239 HAS SOUS 68220 HAS SOUPS 68220 WITH SCORE 68297.239
AT ITER 581 NEW BEST:: SOT 125579 SOS 76952 HAS SOPS 76952 HAS SOUS 67969 HAS SOUPS 67969 WITH SCORE 68045.952
AT ITER 582 NEW BEST:: SOT 125579 SOS 76592 HAS SOPS 76592 HAS SOUS 67862 HAS SOUPS 67862 WITH SCORE 67938.592
AT ITER 583 NEW BEST:: SOT 125579 SOS 76539 HAS SOPS 76539 HAS SOUS 67809 HAS SOUPS 67809 WITH SCORE 67885.539
AT ITER 585 NEW BEST:: SOT 125510 SOS 76470 HAS SOPS 76470 HAS SOUS 67740 HAS SOUPS 67740 WITH SCORE 67816.47
AT ITER 587 NEW BEST:: SOT 125510 SOS 76358 HAS SOPS 76358 HAS SOUS 67628 HAS SOUPS 67628 WITH SCORE 67704.358
AT ITER 597 NEW BEST:: SOT 125366 SOS 76113 HAS SOPS 76113 HAS SOUS 67383 HAS SOUPS 67383 WITH SCORE 67459.113
AT ITER 599 NEW BEST:: SOT 125157 SOS 75903 HAS SOPS 75903 HAS SOUS 67229 HAS SOUPS 67229 WITH SCORE 67304.903
AT ITER 600 NEW BEST:: SOT 125088 SOS 75400 HAS SOPS 75400 HAS SOUS 67053 HAS SOUPS 67053 WITH SCORE 67128.4
AT ITER 602 NEW BEST:: SOT 125036 SOS 75244 HAS SOPS 75244 HAS SOUS 66949 HAS SOUPS 66949 WITH SCORE 67024.244
AT ITER 608 NEW BEST:: SOT 124804 SOS 75037 HAS SOPS 75037 HAS SOUS 66863 HAS SOUPS 66863 WITH SCORE 66938.037
AT ITER 616 NEW BEST:: SOT 124636 SOS 74764 HAS SOPS 74764 HAS SOUS 66738 HAS SOUPS 66738 WITH SCORE 66812.764
AT ITER 619 NEW BEST:: SOT 124579 SOS 74607 HAS SOPS 74607 HAS SOUS 66581 HAS SOUPS 66581 WITH SCORE 66655.607
AT ITER 624 NEW BEST:: SOT 124502 SOS 74530 HAS SOPS 74530 HAS SOUS 66504 HAS SOUPS 66504 WITH SCORE 66578.53
AT ITER 627 NEW BEST:: SOT 124544 SOS 74478 HAS SOPS 74478 HAS SOUS 66452 HAS SOUPS 66452 WITH SCORE 66526.478
AT ITER 629 NEW BEST:: SOT 124469 SOS 74353 HAS SOPS 74353 HAS SOUS 66327 HAS SOUPS 66327 WITH SCORE 66401.353
AT ITER 633 NEW BEST:: SOT 124473 SOS 74431 HAS SOPS 74431 HAS SOUS 66308 HAS SOUPS 66308 WITH SCORE 66382.431
AT ITER 634 NEW BEST:: SOT 124473 SOS 74178 HAS SOPS 74178 HAS SOUS 66307 HAS SOUPS 66307 WITH SCORE 66381.178
AT ITER 640 NEW BEST:: SOT 124444 SOS 74034 HAS SOPS 74034 HAS SOUS 66210 HAS SOUPS 66210 WITH SCORE 66284.034
AT ITER 651 NEW BEST:: SOT 124408 SOS 73998 HAS SOPS 73998 HAS SOUS 66174 HAS SOUPS 66174 WITH SCORE 66247.998
AT ITER 657 NEW BEST:: SOT 124338 SOS 73928 HAS SOPS 73928 HAS SOUS 66104 HAS SOUPS 66104 WITH SCORE 66177.928
AT ITER 667 NEW BEST:: SOT 124220 SOS 73810 HAS SOPS 73810 HAS SOUS 65986 HAS SOUPS 65986 WITH SCORE 66059.81
AT ITER 669 NEW BEST:: SOT 124185 SOS 73599 HAS SOPS 73599 HAS SOUS 65927 HAS SOUPS 65927 WITH SCORE 66000.599
AT ITER 671 NEW BEST:: SOT 124184 SOS 73597 HAS SOPS 73597 HAS SOUS 65925 HAS SOUPS 65925 WITH SCORE 65998.597
AT ITER 676 NEW BEST:: SOT 124128 SOS 73541 HAS SOPS 73541 HAS SOUS 65869 HAS SOUPS 65869 WITH SCORE 65942.541
AT ITER 677 NEW BEST:: SOT 124127 SOS 73536 HAS SOPS 73536 HAS SOUS 65867 HAS SOUPS 65867 WITH SCORE 65940.536
AT ITER 678 NEW BEST:: SOT 124127 SOS 73544 HAS SOPS 73544 HAS SOUS 65826 HAS SOUPS 65826 WITH SCORE 65899.544
AT ITER 679 NEW BEST:: SOT 123895 SOS 73187 HAS SOPS 73187 HAS SOUS 65469 HAS SOUPS 65469 WITH SCORE 65542.187
AT ITER 680 NEW BEST:: SOT 123674 SOS 72966 HAS SOPS 72966 HAS SOUS 65393 HAS SOUPS 65393 WITH SCORE 65465.966
AT ITER 686 NEW BEST:: SOT 123460 SOS 71834 HAS SOPS 71834 HAS SOUS 64681 HAS SOUPS 64681 WITH SCORE 64752.834
AT ITER 689 NEW BEST:: SOT 123420 SOS 71794 HAS SOPS 71794 HAS SOUS 64641 HAS SOUPS 64641 WITH SCORE 64712.794
AT ITER 697 NEW BEST:: SOT 123380 SOS 71762 HAS SOPS 71762 HAS SOUS 64609 HAS SOUPS 64609 WITH SCORE 64680.762
AT ITER 698 NEW BEST:: SOT 123353 SOS 71679 HAS SOPS 71679 HAS SOUS 64542 HAS SOUPS 64542 WITH SCORE 64613.679
AT ITER 699 NEW BEST:: SOT 123314 SOS 71627 HAS SOPS 71627 HAS SOUS 64477 HAS SOUPS 64477 WITH SCORE 64548.627
AT ITER 705 NEW BEST:: SOT 123039 SOS 71065 HAS SOPS 71065 HAS SOUS 63915 HAS SOUPS 63915 WITH SCORE 63986.065
AT ITER 711 NEW BEST:: SOT 123000 SOS 70848 HAS SOPS 70848 HAS SOUS 63798 HAS SOUPS 63798 WITH SCORE 63868.848
AT ITER 712 NEW BEST:: SOT 122807 SOS 70731 HAS SOPS 70731 HAS SOUS 63680 HAS SOUPS 63680 WITH SCORE 63750.731
AT ITER 715 NEW BEST:: SOT 122786 SOS 70710 HAS SOPS 70710 HAS SOUS 63659 HAS SOUPS 63659 WITH SCORE 63729.71
AT ITER 720 NEW BEST:: SOT 122763 SOS 70628 HAS SOPS 70628 HAS SOUS 63537 HAS SOUPS 63537 WITH SCORE 63607.628
AT ITER 726 NEW BEST:: SOT 122763 SOS 70640 HAS SOPS 70640 HAS SOUS 63535 HAS SOUPS 63535 WITH SCORE 63605.64
AT ITER 730 NEW BEST:: SOT 122763 SOS 70702 HAS SOPS 70702 HAS SOUS 63411 HAS SOUPS 63411 WITH SCORE 63481.702
AT ITER 735 NEW BEST:: SOT 122763 SOS 70690 HAS SOPS 70690 HAS SOUS 63411 HAS SOUPS 63411 WITH SCORE 63481.69
AT ITER 743 NEW BEST:: SOT 122500 SOS 70425 HAS SOPS 70425 HAS SOUS 63138 HAS SOUPS 63138 WITH SCORE 63208.425
AT ITER 748 NEW BEST:: SOT 122491 SOS 70414 HAS SOPS 70414 HAS SOUS 63127 HAS SOUPS 63127 WITH SCORE 63197.414
AT ITER 753 NEW BEST:: SOT 122503 SOS 70407 HAS SOPS 70407 HAS SOUS 63120 HAS SOUPS 63120 WITH SCORE 63190.407
AT ITER 755 NEW BEST:: SOT 122265 SOS 70169 HAS SOPS 70169 HAS SOUS 62882 HAS SOUPS 62882 WITH SCORE 62952.169
AT ITER 756 NEW BEST:: SOT 122043 SOS 69947 HAS SOPS 69947 HAS SOUS 62731 HAS SOUPS 62731 WITH SCORE 62800.947
AT ITER 757 NEW BEST:: SOT 121699 SOS 69337 HAS SOPS 69337 HAS SOUS 62517 HAS SOUPS 62517 WITH SCORE 62586.337
AT ITER 762 NEW BEST:: SOT 121331 SOS 68607 HAS SOPS 68607 HAS SOUS 61787 HAS SOUPS 61787 WITH SCORE 61855.607
AT ITER 765 NEW BEST:: SOT 121269 SOS 68483 HAS SOPS 68483 HAS SOUS 61663 HAS SOUPS 61663 WITH SCORE 61731.483
AT ITER 767 NEW BEST:: SOT 121033 SOS 68575 HAS SOPS 68575 HAS SOUS 61391 HAS SOUPS 61391 WITH SCORE 61459.575
AT ITER 773 NEW BEST:: SOT 121033 SOS 68488 HAS SOPS 68488 HAS SOUS 61228 HAS SOUPS 61228 WITH SCORE 61296.488
AT ITER 782 NEW BEST:: SOT 121022 SOS 68466 HAS SOPS 68466 HAS SOUS 61206 HAS SOUPS 61206 WITH SCORE 61274.466
AT ITER 784 NEW BEST:: SOT 121019 SOS 68463 HAS SOPS 68463 HAS SOUS 61203 HAS SOUPS 61203 WITH SCORE 61271.463
AT ITER 799 NEW BEST:: SOT 121076 SOS 68520 HAS SOPS 68520 HAS SOUS 61186 HAS SOUPS 61186 WITH SCORE 61254.52
AT ITER 801 NEW BEST:: SOT 121073 SOS 68511 HAS SOPS 68511 HAS SOUS 61177 HAS SOUPS 61177 WITH SCORE 61245.511
AT ITER 804 NEW BEST:: SOT 121067 SOS 68493 HAS SOPS 68493 HAS SOUS 61165 HAS SOUPS 61165 WITH SCORE 61233.493
AT ITER 806 NEW BEST:: SOT 121062 SOS 68450 HAS SOPS 68450 HAS SOUS 61122 HAS SOUPS 61122 WITH SCORE 61190.45
AT ITER 807 NEW BEST:: SOT 120961 SOS 68283 HAS SOPS 68283 HAS SOUS 60981 HAS SOUPS 60981 WITH SCORE 61049.283
AT ITER 808 NEW BEST:: SOT 120841 SOS 68168 HAS SOPS 68168 HAS SOUS 60875 HAS SOUPS 60875 WITH SCORE 60943.168
AT ITER 814 NEW BEST:: SOT 120738 SOS 68064 HAS SOPS 68064 HAS SOUS 60772 HAS SOUPS 60772 WITH SCORE 60840.064
AT ITER 816 NEW BEST:: SOT 120651 SOS 67977 HAS SOPS 67977 HAS SOUS 60685 HAS SOUPS 60685 WITH SCORE 60752.977
AT ITER 817 NEW BEST:: SOT 120636 SOS 67935 HAS SOPS 67935 HAS SOUS 60670 HAS SOUPS 60670 WITH SCORE 60737.935
AT ITER 826 NEW BEST:: SOT 120636 SOS 67952 HAS SOPS 67952 HAS SOUS 60669 HAS SOUPS 60669 WITH SCORE 60736.952
AT ITER 829 NEW BEST:: SOT 120438 SOS 67505 HAS SOPS 67505 HAS SOUS 60219 HAS SOUPS 60219 WITH SCORE 60286.505
AT ITER 832 NEW BEST:: SOT 120414 SOS 67481 HAS SOPS 67481 HAS SOUS 60195 HAS SOUPS 60195 WITH SCORE 60262.481
AT ITER 836 NEW BEST:: SOT 120414 SOS 67468 HAS SOPS 67468 HAS SOUS 60182 HAS SOUPS 60182 WITH SCORE 60249.468
AT ITER 838 NEW BEST:: SOT 120387 SOS 67441 HAS SOPS 67441 HAS SOUS 60155 HAS SOUPS 60155 WITH SCORE 60222.441
AT ITER 840 NEW BEST:: SOT 120387 SOS 67441 HAS SOPS 67441 HAS SOUS 60121 HAS SOUPS 60121 WITH SCORE 60188.441
AT ITER 845 NEW BEST:: SOT 120296 SOS 67348 HAS SOPS 67348 HAS SOUS 60028 HAS SOUPS 60028 WITH SCORE 60095.348
AT ITER 847 NEW BEST:: SOT 120263 SOS 67315 HAS SOPS 67315 HAS SOUS 59995 HAS SOUPS 59995 WITH SCORE 60062.315
AT ITER 848 NEW BEST:: SOT 120333 SOS 67333 HAS SOPS 67333 HAS SOUS 59924 HAS SOUPS 59924 WITH SCORE 59991.333
AT ITER 851 NEW BEST:: SOT 120325 SOS 67317 HAS SOPS 67317 HAS SOUS 59869 HAS SOUPS 59869 WITH SCORE 59936.317
AT ITER 852 NEW BEST:: SOT 120213 SOS 67052 HAS SOPS 67052 HAS SOUS 59706 HAS SOUPS 59706 WITH SCORE 59773.052
AT ITER 855 NEW BEST:: SOT 120195 SOS 67025 HAS SOPS 67025 HAS SOUS 59679 HAS SOUPS 59679 WITH SCORE 59746.025
AT ITER 865 NEW BEST:: SOT 120175 SOS 67005 HAS SOPS 67005 HAS SOUS 59659 HAS SOUPS 59659 WITH SCORE 59726.005
AT ITER 871 NEW BEST:: SOT 120129 SOS 66959 HAS SOPS 66959 HAS SOUS 59567 HAS SOUPS 59567 WITH SCORE 59633.959
AT ITER 881 NEW BEST:: SOT 120119 SOS 66934 HAS SOPS 66934 HAS SOUS 59547 HAS SOUPS 59547 WITH SCORE 59613.934
AT ITER 891 NEW BEST:: SOT 119864 SOS 66679 HAS SOPS 66679 HAS SOUS 59292 HAS SOUPS 59292 WITH SCORE 59358.679
AT ITER 896 NEW BEST:: SOT 119825 SOS 66410 HAS SOPS 66410 HAS SOUS 59179 HAS SOUPS 59179 WITH SCORE 59245.41
AT ITER 899 NEW BEST:: SOT 119816 SOS 66395 HAS SOPS 66395 HAS SOUS 59164 HAS SOUPS 59164 WITH SCORE 59230.395
AT ITER 907 NEW BEST:: SOT 119816 SOS 66381 HAS SOPS 66381 HAS SOUS 59150 HAS SOUPS 59150 WITH SCORE 59216.381
AT ITER 908 NEW BEST:: SOT 119816 SOS 66381 HAS SOPS 66381 HAS SOUS 59141 HAS SOUPS 59141 WITH SCORE 59207.381
AT ITER 912 NEW BEST:: SOT 119663 SOS 65374 HAS SOPS 65374 HAS SOUS 58559 HAS SOUPS 58559 WITH SCORE 58624.374
AT ITER 929 NEW BEST:: SOT 119668 SOS 65379 HAS SOPS 65379 HAS SOUS 58538 HAS SOUPS 58538 WITH SCORE 58603.379
AT ITER 933 NEW BEST:: SOT 119497 SOS 65173 HAS SOPS 65173 HAS SOUS 58359 HAS SOUPS 58359 WITH SCORE 58424.173
AT ITER 946 NEW BEST:: SOT 119480 SOS 64977 HAS SOPS 64977 HAS SOUS 58304 HAS SOUPS 58304 WITH SCORE 58368.977
AT ITER 963 NEW BEST:: SOT 119480 SOS 64977 HAS SOPS 64977 HAS SOUS 58269 HAS SOUPS 58269 WITH SCORE 58333.977
AT ITER 964 NEW BEST:: SOT 119469 SOS 64869 HAS SOPS 64869 HAS SOUS 58229 HAS SOUPS 58229 WITH SCORE 58293.869
AT ITER 973 NEW BEST:: SOT 119408 SOS 64774 HAS SOPS 64774 HAS SOUS 58187 HAS SOUPS 58187 WITH SCORE 58251.774
AT ITER 989 NEW BEST:: SOT 119391 SOS 64757 HAS SOPS 64757 HAS SOUS 58170 HAS SOUPS 58170 WITH SCORE 58234.757
AT ITER 994 NEW BEST:: SOT 119434 SOS 64740 HAS SOPS 64740 HAS SOUS 58148 HAS SOUPS 58148 WITH SCORE 58212.74
AT ITER 996 NEW BEST:: SOT 119394 SOS 64640 HAS SOPS 64640 HAS SOUS 58088 HAS SOUPS 58088 WITH SCORE 58152.64
AT ITER 1004 NEW BEST:: SOT 119264 SOS 64510 HAS SOPS 64510 HAS SOUS 57888 HAS SOUPS 57888 WITH SCORE 57952.51
AT ITER 1008 NEW BEST:: SOT 119258 SOS 64487 HAS SOPS 64487 HAS SOUS 57865 HAS SOUPS 57865 WITH SCORE 57929.487
AT ITER 1010 NEW BEST:: SOT 119257 SOS 64485 HAS SOPS 64485 HAS SOUS 57864 HAS SOUPS 57864 WITH SCORE 57928.485
AT ITER 1014 NEW BEST:: SOT 119194 SOS 64440 HAS SOPS 64440 HAS SOUS 57810 HAS SOUPS 57810 WITH SCORE 57874.44
AT ITER 1018 NEW BEST:: SOT 119203 SOS 64327 HAS SOPS 64327 HAS SOUS 57665 HAS SOUPS 57665 WITH SCORE 57729.327
AT ITER 1027 NEW BEST:: SOT 119202 SOS 64325 HAS SOPS 64325 HAS SOUS 57664 HAS SOUPS 57664 WITH SCORE 57728.325
AT ITER 1030 NEW BEST:: SOT 119191 SOS 64311 HAS SOPS 64311 HAS SOUS 57650 HAS SOUPS 57650 WITH SCORE 57714.311
AT ITER 1039 NEW BEST:: SOT 119183 SOS 64303 HAS SOPS 64303 HAS SOUS 57642 HAS SOUPS 57642 WITH SCORE 57706.303
AT ITER 1046 NEW BEST:: SOT 119127 SOS 64152 HAS SOPS 64152 HAS SOUS 57491 HAS SOUPS 57491 WITH SCORE 57555.152
AT ITER 1048 NEW BEST:: SOT 119087 SOS 64129 HAS SOPS 64129 HAS SOUS 57477 HAS SOUPS 57477 WITH SCORE 57541.129
AT ITER 1056 NEW BEST:: SOT 119057 SOS 64089 HAS SOPS 64089 HAS SOUS 57437 HAS SOUPS 57437 WITH SCORE 57501.089
AT ITER 1066 NEW BEST:: SOT 118967 SOS 63999 HAS SOPS 63999 HAS SOUS 57286 HAS SOUPS 57286 WITH SCORE 57349.999
AT ITER 1069 NEW BEST:: SOT 119093 SOS 63931 HAS SOPS 63931 HAS SOUS 57239 HAS SOUPS 57239 WITH SCORE 57302.931
AT ITER 1072 NEW BEST:: SOT 119080 SOS 63866 HAS SOPS 63866 HAS SOUS 57213 HAS SOUPS 57213 WITH SCORE 57276.866
AT ITER 1073 NEW BEST:: SOT 119067 SOS 63827 HAS SOPS 63827 HAS SOUS 57174 HAS SOUPS 57174 WITH SCORE 57237.827
AT ITER 1088 NEW BEST:: SOT 119009 SOS 63701 HAS SOPS 63701 HAS SOUS 57082 HAS SOUPS 57082 WITH SCORE 57145.701
AT ITER 1094 NEW BEST:: SOT 118847 SOS 63539 HAS SOPS 63539 HAS SOUS 56920 HAS SOUPS 56920 WITH SCORE 56983.539
AT ITER 1096 NEW BEST:: SOT 118823 SOS 63515 HAS SOPS 63515 HAS SOUS 56896 HAS SOUPS 56896 WITH SCORE 56959.515
AT ITER 1098 NEW BEST:: SOT 118776 SOS 63265 HAS SOPS 63265 HAS SOUS 56707 HAS SOUPS 56707 WITH SCORE 56770.265
AT ITER 1101 NEW BEST:: SOT 118690 SOS 62840 HAS SOPS 62840 HAS SOUS 56538 HAS SOUPS 56538 WITH SCORE 56600.84
AT ITER 1112 NEW BEST:: SOT 118661 SOS 62823 HAS SOPS 62823 HAS SOUS 56521 HAS SOUPS 56521 WITH SCORE 56583.823
AT ITER 1119 NEW BEST:: SOT 118659 SOS 62819 HAS SOPS 62819 HAS SOUS 56517 HAS SOUPS 56517 WITH SCORE 56579.819
AT ITER 1120 NEW BEST:: SOT 118652 SOS 62805 HAS SOPS 62805 HAS SOUS 56506 HAS SOUPS 56506 WITH SCORE 56568.805
AT ITER 1122 NEW BEST:: SOT 118469 SOS 62466 HAS SOPS 62466 HAS SOUS 56193 HAS SOUPS 56193 WITH SCORE 56255.466
AT ITER 1129 NEW BEST:: SOT 118409 SOS 62376 HAS SOPS 62376 HAS SOUS 56103 HAS SOUPS 56103 WITH SCORE 56165.376
AT ITER 1152 NEW BEST:: SOT 118112 SOS 62079 HAS SOPS 62079 HAS SOUS 55815 HAS SOUPS 55815 WITH SCORE 55877.079
AT ITER 1167 NEW BEST:: SOT 118049 SOS 61974 HAS SOPS 61974 HAS SOUS 55710 HAS SOUPS 55710 WITH SCORE 55771.974
AT ITER 1169 NEW BEST:: SOT 117992 SOS 61917 HAS SOPS 61917 HAS SOUS 55648 HAS SOUPS 55648 WITH SCORE 55709.917
AT ITER 1170 NEW BEST:: SOT 117925 SOS 61850 HAS SOPS 61850 HAS SOUS 55575 HAS SOUPS 55575 WITH SCORE 55636.85
AT ITER 1179 NEW BEST:: SOT 117840 SOS 61765 HAS SOPS 61765 HAS SOUS 55490 HAS SOUPS 55490 WITH SCORE 55551.765
AT ITER 1196 NEW BEST:: SOT 117789 SOS 61753 HAS SOPS 61753 HAS SOUS 55452 HAS SOUPS 55452 WITH SCORE 55513.753
AT ITER 1200 NEW BEST:: SOT 117789 SOS 61739 HAS SOPS 61739 HAS SOUS 55402 HAS SOUPS 55402 WITH SCORE 55463.739
AT ITER 1202 NEW BEST:: SOT 117769 SOS 61714 HAS SOPS 61714 HAS SOUS 55372 HAS SOUPS 55372 WITH SCORE 55433.714
AT ITER 1215 NEW BEST:: SOT 117769 SOS 61714 HAS SOPS 61714 HAS SOUS 55320 HAS SOUPS 55320 WITH SCORE 55381.714
AT ITER 1224 NEW BEST:: SOT 117769 SOS 61602 HAS SOPS 61602 HAS SOUS 55208 HAS SOUPS 55208 WITH SCORE 55269.602
AT ITER 1225 NEW BEST:: SOT 117679 SOS 61385 HAS SOPS 61385 HAS SOUS 55039 HAS SOUPS 55039 WITH SCORE 55100.385
AT ITER 1236 NEW BEST:: SOT 117729 SOS 61352 HAS SOPS 61352 HAS SOUS 55006 HAS SOUPS 55006 WITH SCORE 55067.352
AT ITER 1242 NEW BEST:: SOT 117621 SOS 61263 HAS SOPS 61263 HAS SOUS 54831 HAS SOUPS 54831 WITH SCORE 54892.263
AT ITER 1243 NEW BEST:: SOT 117621 SOS 61012 HAS SOPS 61012 HAS SOUS 54831 HAS SOUPS 54831 WITH SCORE 54892.012
AT ITER 1248 NEW BEST:: SOT 117554 SOS 60800 HAS SOPS 60800 HAS SOUS 54695 HAS SOUPS 54695 WITH SCORE 54755.8
AT ITER 1249 NEW BEST:: SOT 117554 SOS 60648 HAS SOPS 60648 HAS SOUS 54657 HAS SOUPS 54657 WITH SCORE 54717.648
AT ITER 1262 NEW BEST:: SOT 117552 SOS 60644 HAS SOPS 60644 HAS SOUS 54653 HAS SOUPS 54653 WITH SCORE 54713.644
AT ITER 1264 NEW BEST:: SOT 117534 SOS 60594 HAS SOPS 60594 HAS SOUS 54603 HAS SOUPS 54603 WITH SCORE 54663.594
AT ITER 1268 NEW BEST:: SOT 117498 SOS 60522 HAS SOPS 60522 HAS SOUS 54531 HAS SOUPS 54531 WITH SCORE 54591.522
AT ITER 1271 NEW BEST:: SOT 117490 SOS 60514 HAS SOPS 60514 HAS SOUS 54523 HAS SOUPS 54523 WITH SCORE 54583.514
AT ITER 1274 NEW BEST:: SOT 117490 SOS 60513 HAS SOPS 60513 HAS SOUS 54523 HAS SOUPS 54523 WITH SCORE 54583.513
AT ITER 1277 NEW BEST:: SOT 117584 SOS 60408 HAS SOPS 60408 HAS SOUS 54441 HAS SOUPS 54441 WITH SCORE 54501.408
AT ITER 1309 NEW BEST:: SOT 117504 SOS 60328 HAS SOPS 60328 HAS SOUS 54359 HAS SOUPS 54359 WITH SCORE 54419.328
AT ITER 1316 NEW BEST:: SOT 117504 SOS 60271 HAS SOPS 60271 HAS SOUS 54340 HAS SOUPS 54340 WITH SCORE 54400.271
AT ITER 1320 NEW BEST:: SOT 117493 SOS 60242 HAS SOPS 60242 HAS SOUS 54330 HAS SOUPS 54330 WITH SCORE 54390.242
AT ITER 1329 NEW BEST:: SOT 117493 SOS 60150 HAS SOPS 60150 HAS SOUS 54250 HAS SOUPS 54250 WITH SCORE 54310.15
AT ITER 1339 NEW BEST:: SOT 117483 SOS 60128 HAS SOPS 60128 HAS SOUS 54216 HAS SOUPS 54216 WITH SCORE 54276.128
AT ITER 1343 NEW BEST:: SOT 117483 SOS 60036 HAS SOPS 60036 HAS SOUS 54124 HAS SOUPS 54124 WITH SCORE 54184.036
AT ITER 1345 NEW BEST:: SOT 117458 SOS 59997 HAS SOPS 59997 HAS SOUS 54085 HAS SOUPS 54085 WITH SCORE 54144.997
AT ITER 1350 NEW BEST:: SOT 117473 SOS 59982 HAS SOPS 59982 HAS SOUS 54065 HAS SOUPS 54065 WITH SCORE 54124.982
AT ITER 1357 NEW BEST:: SOT 117380 SOS 59801 HAS SOPS 59801 HAS SOUS 53926 HAS SOUPS 53926 WITH SCORE 53985.801
AT ITER 1359 NEW BEST:: SOT 117200 SOS 59645 HAS SOPS 59645 HAS SOUS 53812 HAS SOUPS 53812 WITH SCORE 53871.645
AT ITER 1363 NEW BEST:: SOT 117199 SOS 59614 HAS SOPS 59614 HAS SOUS 53781 HAS SOUPS 53781 WITH SCORE 53840.614
AT ITER 1371 NEW BEST:: SOT 117175 SOS 59494 HAS SOPS 59494 HAS SOUS 53709 HAS SOUPS 53709 WITH SCORE 53768.494
AT ITER 1383 NEW BEST:: SOT 117159 SOS 59160 HAS SOPS 59160 HAS SOUS 53672 HAS SOUPS 53672 WITH SCORE 53731.16
AT ITER 1384 NEW BEST:: SOT 117066 SOS 59099 HAS SOPS 59099 HAS SOUS 53556 HAS SOUPS 53556 WITH SCORE 53615.099
AT ITER 1385 NEW BEST:: SOT 117039 SOS 58990 HAS SOPS 58990 HAS SOUS 53477 HAS SOUPS 53477 WITH SCORE 53535.99
AT ITER 1390 NEW BEST:: SOT 117039 SOS 58976 HAS SOPS 58976 HAS SOUS 53477 HAS SOUPS 53477 WITH SCORE 53535.976
AT ITER 1398 NEW BEST:: SOT 117039 SOS 58973 HAS SOPS 58973 HAS SOUS 53474 HAS SOUPS 53474 WITH SCORE 53532.973
AT ITER 1399 NEW BEST:: SOT 117039 SOS 58896 HAS SOPS 58896 HAS SOUS 53397 HAS SOUPS 53397 WITH SCORE 53455.896
AT ITER 1405 NEW BEST:: SOT 117039 SOS 58890 HAS SOPS 58890 HAS SOUS 53394 HAS SOUPS 53394 WITH SCORE 53452.89
AT ITER 1406 NEW BEST:: SOT 117030 SOS 58863 HAS SOPS 58863 HAS SOUS 53367 HAS SOUPS 53367 WITH SCORE 53425.863
AT ITER 1420 NEW BEST:: SOT 116988 SOS 58737 HAS SOPS 58737 HAS SOUS 53283 HAS SOUPS 53283 WITH SCORE 53341.737
AT ITER 1429 NEW BEST:: SOT 116985 SOS 58710 HAS SOPS 58710 HAS SOUS 53256 HAS SOUPS 53256 WITH SCORE 53314.71
AT ITER 1430 NEW BEST:: SOT 116867 SOS 58571 HAS SOPS 58571 HAS SOUS 53117 HAS SOUPS 53117 WITH SCORE 53175.571
AT ITER 1440 NEW BEST:: SOT 116843 SOS 58457 HAS SOPS 58457 HAS SOUS 53003 HAS SOUPS 53003 WITH SCORE 53061.457
AT ITER 1442 NEW BEST:: SOT 116693 SOS 58213 HAS SOPS 58213 HAS SOUS 52766 HAS SOUPS 52766 WITH SCORE 52824.213
AT ITER 1448 NEW BEST:: SOT 116693 SOS 58125 HAS SOPS 58125 HAS SOUS 52752 HAS SOUPS 52752 WITH SCORE 52810.125
AT ITER 1457 NEW BEST:: SOT 116565 SOS 57930 HAS SOPS 57930 HAS SOUS 52428 HAS SOUPS 52428 WITH SCORE 52485.93
AT ITER 1460 NEW BEST:: SOT 116534 SOS 57859 HAS SOPS 57859 HAS SOUS 52357 HAS SOUPS 52357 WITH SCORE 52414.859
AT ITER 1461 NEW BEST:: SOT 116390 SOS 57644 HAS SOPS 57644 HAS SOUS 52101 HAS SOUPS 52101 WITH SCORE 52158.644
AT ITER 1468 NEW BEST:: SOT 116409 SOS 57563 HAS SOPS 57563 HAS SOUS 52051 HAS SOUPS 52051 WITH SCORE 52108.563
AT ITER 1483 NEW BEST:: SOT 116345 SOS 57418 HAS SOPS 57418 HAS SOUS 51906 HAS SOUPS 51906 WITH SCORE 51963.418
AT ITER 1486 NEW BEST:: SOT 116324 SOS 57376 HAS SOPS 57376 HAS SOUS 51864 HAS SOUPS 51864 WITH SCORE 51921.376
AT ITER 1498 NEW BEST:: SOT 116271 SOS 57247 HAS SOPS 57247 HAS SOUS 51759 HAS SOUPS 51759 WITH SCORE 51816.247
AT ITER 1499 NEW BEST:: SOT 116191 SOS 57167 HAS SOPS 57167 HAS SOUS 51719 HAS SOUPS 51719 WITH SCORE 51776.167
AT ITER 1507 NEW BEST:: SOT 116152 SOS 57059 HAS SOPS 57059 HAS SOUS 51634 HAS SOUPS 51634 WITH SCORE 51691.059
AT ITER 1509 NEW BEST:: SOT 116134 SOS 57041 HAS SOPS 57041 HAS SOUS 51616 HAS SOUPS 51616 WITH SCORE 51673.041
AT ITER 1513 NEW BEST:: SOT 116014 SOS 56921 HAS SOPS 56921 HAS SOUS 51496 HAS SOUPS 51496 WITH SCORE 51552.921
AT ITER 1531 NEW BEST:: SOT 115980 SOS 56834 HAS SOPS 56834 HAS SOUS 51422 HAS SOUPS 51422 WITH SCORE 51478.834
AT ITER 1536 NEW BEST:: SOT 115744 SOS 56596 HAS SOPS 56596 HAS SOUS 51175 HAS SOUPS 51175 WITH SCORE 51231.596
AT ITER 1537 NEW BEST:: SOT 115720 SOS 56412 HAS SOPS 56412 HAS SOUS 51058 HAS SOUPS 51058 WITH SCORE 51114.412
AT ITER 1544 NEW BEST:: SOT 115526 SOS 56218 HAS SOPS 56218 HAS SOUS 50864 HAS SOUPS 50864 WITH SCORE 50920.218
AT ITER 1561 NEW BEST:: SOT 115536 SOS 56147 HAS SOPS 56147 HAS SOUS 50849 HAS SOUPS 50849 WITH SCORE 50905.147
AT ITER 1579 NEW BEST:: SOT 115493 SOS 56052 HAS SOPS 56052 HAS SOUS 50747 HAS SOUPS 50747 WITH SCORE 50803.052
AT ITER 1589 NEW BEST:: SOT 115327 SOS 55813 HAS SOPS 55813 HAS SOUS 50508 HAS SOUPS 50508 WITH SCORE 50563.813
AT ITER 1592 NEW BEST:: SOT 115254 SOS 55763 HAS SOPS 55763 HAS SOUS 50458 HAS SOUPS 50458 WITH SCORE 50513.763
AT ITER 1597 NEW BEST:: SOT 115146 SOS 55663 HAS SOPS 55663 HAS SOUS 50358 HAS SOUPS 50358 WITH SCORE 50413.663
AT ITER 1611 NEW BEST:: SOT 115083 SOS 55581 HAS SOPS 55581 HAS SOUS 50255 HAS SOUPS 50255 WITH SCORE 50310.581
AT ITER 1615 NEW BEST:: SOT 114798 SOS 54869 HAS SOPS 54869 HAS SOUS 49674 HAS SOUPS 49674 WITH SCORE 49728.869
AT ITER 1638 NEW BEST:: SOT 114792 SOS 54863 HAS SOPS 54863 HAS SOUS 49668 HAS SOUPS 49668 WITH SCORE 49722.863
AT ITER 1640 NEW BEST:: SOT 114770 SOS 54788 HAS SOPS 54788 HAS SOUS 49593 HAS SOUPS 49593 WITH SCORE 49647.788
AT ITER 1652 NEW BEST:: SOT 114919 SOS 54617 HAS SOPS 54617 HAS SOUS 49445 HAS SOUPS 49445 WITH SCORE 49499.617
AT ITER 1658 NEW BEST:: SOT 114919 SOS 54417 HAS SOPS 54417 HAS SOUS 49445 HAS SOUPS 49445 WITH SCORE 49499.417
AT ITER 1664 NEW BEST:: SOT 114878 SOS 54311 HAS SOPS 54311 HAS SOUS 49310 HAS SOUPS 49310 WITH SCORE 49364.311
AT ITER 1676 NEW BEST:: SOT 114858 SOS 54291 HAS SOPS 54291 HAS SOUS 49290 HAS SOUPS 49290 WITH SCORE 49344.291
AT ITER 1693 NEW BEST:: SOT 114858 SOS 54233 HAS SOPS 54233 HAS SOUS 49244 HAS SOUPS 49244 WITH SCORE 49298.233
AT ITER 1697 NEW BEST:: SOT 114816 SOS 54116 HAS SOPS 54116 HAS SOUS 49148 HAS SOUPS 49148 WITH SCORE 49202.116
AT ITER 1698 NEW BEST:: SOT 114817 SOS 54053 HAS SOPS 54053 HAS SOUS 49130 HAS SOUPS 49130 WITH SCORE 49184.053
AT ITER 1709 NEW BEST:: SOT 114771 SOS 54007 HAS SOPS 54007 HAS SOUS 49084 HAS SOUPS 49084 WITH SCORE 49138.007
AT ITER 1713 NEW BEST:: SOT 114771 SOS 53969 HAS SOPS 53969 HAS SOUS 49046 HAS SOUPS 49046 WITH SCORE 49099.969
AT ITER 1728 NEW BEST:: SOT 114703 SOS 53844 HAS SOPS 53844 HAS SOUS 48884 HAS SOUPS 48884 WITH SCORE 48937.844
AT ITER 1746 NEW BEST:: SOT 114677 SOS 53829 HAS SOPS 53829 HAS SOUS 48869 HAS SOUPS 48869 WITH SCORE 48922.829
AT ITER 1748 NEW BEST:: SOT 114677 SOS 53825 HAS SOPS 53825 HAS SOUS 48865 HAS SOUPS 48865 WITH SCORE 48918.825
AT ITER 1751 NEW BEST:: SOT 114600 SOS 53623 HAS SOPS 53623 HAS SOUS 48663 HAS SOUPS 48663 WITH SCORE 48716.623
AT ITER 1753 NEW BEST:: SOT 114600 SOS 53507 HAS SOPS 53507 HAS SOUS 48605 HAS SOUPS 48605 WITH SCORE 48658.507
AT ITER 1757 NEW BEST:: SOT 114523 SOS 53430 HAS SOPS 53430 HAS SOUS 48528 HAS SOUPS 48528 WITH SCORE 48581.43
AT ITER 1800 NEW BEST:: SOT 114498 SOS 53371 HAS SOPS 53371 HAS SOUS 48469 HAS SOUPS 48469 WITH SCORE 48522.371
AT ITER 1804 NEW BEST:: SOT 114476 SOS 53351 HAS SOPS 53351 HAS SOUS 48449 HAS SOUPS 48449 WITH SCORE 48502.351
AT ITER 1806 NEW BEST:: SOT 114432 SOS 53209 HAS SOPS 53209 HAS SOUS 48331 HAS SOUPS 48331 WITH SCORE 48384.209
AT ITER 1809 NEW BEST:: SOT 114414 SOS 53069 HAS SOPS 53069 HAS SOUS 48261 HAS SOUPS 48261 WITH SCORE 48314.069
AT ITER 1814 NEW BEST:: SOT 114223 SOS 52937 HAS SOPS 52937 HAS SOUS 48129 HAS SOUPS 48129 WITH SCORE 48181.937
AT ITER 1826 NEW BEST:: SOT 114197 SOS 52911 HAS SOPS 52911 HAS SOUS 48103 HAS SOUPS 48103 WITH SCORE 48155.911
AT ITER 1827 NEW BEST:: SOT 114163 SOS 52877 HAS SOPS 52877 HAS SOUS 48067 HAS SOUPS 48067 WITH SCORE 48119.877
AT ITER 1833 NEW BEST:: SOT 114158 SOS 52872 HAS SOPS 52872 HAS SOUS 48062 HAS SOUPS 48062 WITH SCORE 48114.872
AT ITER 1841 NEW BEST:: SOT 114126 SOS 52840 HAS SOPS 52840 HAS SOUS 48050 HAS SOUPS 48050 WITH SCORE 48102.84
AT ITER 1842 NEW BEST:: SOT 114036 SOS 52622 HAS SOPS 52622 HAS SOUS 47783 HAS SOUPS 47783 WITH SCORE 47835.622
AT ITER 1850 NEW BEST:: SOT 114034 SOS 52620 HAS SOPS 52620 HAS SOUS 47781 HAS SOUPS 47781 WITH SCORE 47833.62
AT ITER 1861 NEW BEST:: SOT 114020 SOS 52412 HAS SOPS 52412 HAS SOUS 47573 HAS SOUPS 47573 WITH SCORE 47625.412
AT ITER 1864 NEW BEST:: SOT 114020 SOS 52369 HAS SOPS 52369 HAS SOUS 47530 HAS SOUPS 47530 WITH SCORE 47582.369
AT ITER 1874 NEW BEST:: SOT 113956 SOS 52302 HAS SOPS 52302 HAS SOUS 47463 HAS SOUPS 47463 WITH SCORE 47515.302
AT ITER 1878 NEW BEST:: SOT 113927 SOS 52273 HAS SOPS 52273 HAS SOUS 47405 HAS SOUPS 47405 WITH SCORE 47457.273
AT ITER 1882 NEW BEST:: SOT 113897 SOS 52238 HAS SOPS 52238 HAS SOUS 47367 HAS SOUPS 47367 WITH SCORE 47419.238
AT ITER 1896 NEW BEST:: SOT 113897 SOS 52223 HAS SOPS 52223 HAS SOUS 47363 HAS SOUPS 47363 WITH SCORE 47415.223
AT ITER 1899 NEW BEST:: SOT 113613 SOS 51939 HAS SOPS 51939 HAS SOUS 47079 HAS SOUPS 47079 WITH SCORE 47130.939
AT ITER 1901 NEW BEST:: SOT 113573 SOS 51899 HAS SOPS 51899 HAS SOUS 47015 HAS SOUPS 47015 WITH SCORE 47066.899
AT ITER 1903 NEW BEST:: SOT 113565 SOS 51531 HAS SOPS 51531 HAS SOUS 46827 HAS SOUPS 46827 WITH SCORE 46878.531
AT ITER 1906 NEW BEST:: SOT 113562 SOS 51534 HAS SOPS 51534 HAS SOUS 46821 HAS SOUPS 46821 WITH SCORE 46872.534
AT ITER 1912 NEW BEST:: SOT 113462 SOS 51366 HAS SOPS 51366 HAS SOUS 46653 HAS SOUPS 46653 WITH SCORE 46704.366
AT ITER 1920 NEW BEST:: SOT 113463 SOS 51328 HAS SOPS 51328 HAS SOUS 46615 HAS SOUPS 46615 WITH SCORE 46666.328
AT ITER 1931 NEW BEST:: SOT 113360 SOS 51222 HAS SOPS 51222 HAS SOUS 46509 HAS SOUPS 46509 WITH SCORE 46560.222
AT ITER 1932 NEW BEST:: SOT 113263 SOS 51089 HAS SOPS 51089 HAS SOUS 46376 HAS SOUPS 46376 WITH SCORE 46427.089
AT ITER 1939 NEW BEST:: SOT 113247 SOS 51063 HAS SOPS 51063 HAS SOUS 46350 HAS SOUPS 46350 WITH SCORE 46401.063
AT ITER 1943 NEW BEST:: SOT 113247 SOS 51003 HAS SOPS 51003 HAS SOUS 46290 HAS SOUPS 46290 WITH SCORE 46341.003
AT ITER 1953 NEW BEST:: SOT 113194 SOS 50568 HAS SOPS 50568 HAS SOUS 45964 HAS SOUPS 45964 WITH SCORE 46014.568
AT ITER 1960 NEW BEST:: SOT 113172 SOS 50561 HAS SOPS 50561 HAS SOUS 45942 HAS SOUPS 45942 WITH SCORE 45992.561
AT ITER 1976 NEW BEST:: SOT 113162 SOS 50531 HAS SOPS 50531 HAS SOUS 45912 HAS SOUPS 45912 WITH SCORE 45962.531
AT ITER 1982 NEW BEST:: SOT 113173 SOS 50307 HAS SOPS 50307 HAS SOUS 45694 HAS SOUPS 45694 WITH SCORE 45744.307
AT ITER 1984 NEW BEST:: SOT 113155 SOS 50308 HAS SOPS 50308 HAS SOUS 45626 HAS SOUPS 45626 WITH SCORE 45676.308
AT ITER 1996 NEW BEST:: SOT 112921 SOS 50074 HAS SOPS 50074 HAS SOUS 45392 HAS SOUPS 45392 WITH SCORE 45442.074
AT ITER 1997 NEW BEST:: SOT 112907 SOS 50032 HAS SOPS 50032 HAS SOUS 45350 HAS SOUPS 45350 WITH SCORE 45400.032
AT ITER 2026 NEW BEST:: SOT 112907 SOS 50025 HAS SOPS 50025 HAS SOUS 45343 HAS SOUPS 45343 WITH SCORE 45393.025
AT ITER 2030 NEW BEST:: SOT 112907 SOS 50024 HAS SOPS 50024 HAS SOUS 45336 HAS SOUPS 45336 WITH SCORE 45386.024
AT ITER 2033 NEW BEST:: SOT 112907 SOS 49802 HAS SOPS 49802 HAS SOUS 45114 HAS SOUPS 45114 WITH SCORE 45163.802
AT ITER 2044 NEW BEST:: SOT 112745 SOS 49765 HAS SOPS 49765 HAS SOUS 45077 HAS SOUPS 45077 WITH SCORE 45126.765
AT ITER 2049 NEW BEST:: SOT 112741 SOS 49757 HAS SOPS 49757 HAS SOUS 45069 HAS SOUPS 45069 WITH SCORE 45118.757
AT ITER 2095 NEW BEST:: SOT 112741 SOS 49684 HAS SOPS 49684 HAS SOUS 44996 HAS SOUPS 44996 WITH SCORE 45045.684
AT ITER 2099 NEW BEST:: SOT 112728 SOS 49659 HAS SOPS 49659 HAS SOUS 44971 HAS SOUPS 44971 WITH SCORE 45020.659
AT ITER 2105 NEW BEST:: SOT 112658 SOS 49559 HAS SOPS 49559 HAS SOUS 44871 HAS SOUPS 44871 WITH SCORE 44920.559
AT ITER 2106 NEW BEST:: SOT 112658 SOS 49556 HAS SOPS 49556 HAS SOUS 44870 HAS SOUPS 44870 WITH SCORE 44919.556
AT ITER 2112 NEW BEST:: SOT 112635 SOS 49533 HAS SOPS 49533 HAS SOUS 44847 HAS SOUPS 44847 WITH SCORE 44896.533
AT ITER 2113 NEW BEST:: SOT 112608 SOS 49493 HAS SOPS 49493 HAS SOUS 44807 HAS SOUPS 44807 WITH SCORE 44856.493
AT ITER 2115 NEW BEST:: SOT 112572 SOS 49457 HAS SOPS 49457 HAS SOUS 44771 HAS SOUPS 44771 WITH SCORE 44820.457
AT ITER 2137 NEW BEST:: SOT 112530 SOS 49415 HAS SOPS 49415 HAS SOUS 44729 HAS SOUPS 44729 WITH SCORE 44778.415
AT ITER 2146 NEW BEST:: SOT 112487 SOS 49390 HAS SOPS 49390 HAS SOUS 44688 HAS SOUPS 44688 WITH SCORE 44737.39
AT ITER 2150 NEW BEST:: SOT 112481 SOS 49384 HAS SOPS 49384 HAS SOUS 44646 HAS SOUPS 44646 WITH SCORE 44695.384
AT ITER 2164 NEW BEST:: SOT 112481 SOS 49310 HAS SOPS 49310 HAS SOUS 44646 HAS SOUPS 44646 WITH SCORE 44695.31
AT ITER 2166 NEW BEST:: SOT 112475 SOS 49304 HAS SOPS 49304 HAS SOUS 44640 HAS SOUPS 44640 WITH SCORE 44689.304
AT ITER 2181 NEW BEST:: SOT 112475 SOS 49304 HAS SOPS 49304 HAS SOUS 44567 HAS SOUPS 44567 WITH SCORE 44616.304
AT ITER 2185 NEW BEST:: SOT 112475 SOS 49291 HAS SOPS 49291 HAS SOUS 44567 HAS SOUPS 44567 WITH SCORE 44616.291
AT ITER 2201 NEW BEST:: SOT 112406 SOS 49222 HAS SOPS 49222 HAS SOUS 44486 HAS SOUPS 44486 WITH SCORE 44535.222
AT ITER 2206 NEW BEST:: SOT 112405 SOS 49154 HAS SOPS 49154 HAS SOUS 44484 HAS SOUPS 44484 WITH SCORE 44533.154
AT ITER 2210 NEW BEST:: SOT 112413 SOS 49168 HAS SOPS 49168 HAS SOUS 44474 HAS SOUPS 44474 WITH SCORE 44523.168
AT ITER 2223 NEW BEST:: SOT 112379 SOS 49134 HAS SOPS 49134 HAS SOUS 44440 HAS SOUPS 44440 WITH SCORE 44489.134
AT ITER 2229 NEW BEST:: SOT 112379 SOS 49128 HAS SOPS 49128 HAS SOUS 44434 HAS SOUPS 44434 WITH SCORE 44483.128
AT ITER 2236 NEW BEST:: SOT 112349 SOS 49083 HAS SOPS 49083 HAS SOUS 44389 HAS SOUPS 44389 WITH SCORE 44438.083
AT ITER 2274 NEW BEST:: SOT 112349 SOS 49049 HAS SOPS 49049 HAS SOUS 44371 HAS SOUPS 44371 WITH SCORE 44420.049
AT ITER 2283 NEW BEST:: SOT 112337 SOS 49037 HAS SOPS 49037 HAS SOUS 44359 HAS SOUPS 44359 WITH SCORE 44408.037
AT ITER 2285 NEW BEST:: SOT 112325 SOS 49025 HAS SOPS 49025 HAS SOUS 44347 HAS SOUPS 44347 WITH SCORE 44396.025
AT ITER 2286 NEW BEST:: SOT 112301 SOS 49001 HAS SOPS 49001 HAS SOUS 44316 HAS SOUPS 44316 WITH SCORE 44365.001
AT ITER 2290 NEW BEST:: SOT 112293 SOS 48963 HAS SOPS 48963 HAS SOUS 44254 HAS SOUPS 44254 WITH SCORE 44302.963
AT ITER 2291 NEW BEST:: SOT 112293 SOS 48823 HAS SOPS 48823 HAS SOUS 44114 HAS SOUPS 44114 WITH SCORE 44162.823
AT ITER 2295 NEW BEST:: SOT 112281 SOS 48799 HAS SOPS 48799 HAS SOUS 44078 HAS SOUPS 44078 WITH SCORE 44126.799
AT ITER 2309 NEW BEST:: SOT 112265 SOS 48868 HAS SOPS 48868 HAS SOUS 44033 HAS SOUPS 44033 WITH SCORE 44081.868
AT ITER 2313 NEW BEST:: SOT 112265 SOS 48838 HAS SOPS 48838 HAS SOUS 44025 HAS SOUPS 44025 WITH SCORE 44073.838
AT ITER 2330 NEW BEST:: SOT 112261 SOS 48790 HAS SOPS 48790 HAS SOUS 43999 HAS SOUPS 43999 WITH SCORE 44047.79
AT ITER 2346 NEW BEST:: SOT 112261 SOS 48780 HAS SOPS 48780 HAS SOUS 43994 HAS SOUPS 43994 WITH SCORE 44042.78
AT ITER 2351 NEW BEST:: SOT 112210 SOS 48722 HAS SOPS 48722 HAS SOUS 43965 HAS SOUPS 43965 WITH SCORE 44013.722
AT ITER 2357 NEW BEST:: SOT 112123 SOS 48635 HAS SOPS 48635 HAS SOUS 43859 HAS SOUPS 43859 WITH SCORE 43907.635
AT ITER 2389 NEW BEST:: SOT 112110 SOS 48600 HAS SOPS 48600 HAS SOUS 43856 HAS SOUPS 43856 WITH SCORE 43904.6
AT ITER 2394 NEW BEST:: SOT 112074 SOS 48583 HAS SOPS 48583 HAS SOUS 43764 HAS SOUPS 43764 WITH SCORE 43812.583
AT ITER 2412 NEW BEST:: SOT 112049 SOS 48558 HAS SOPS 48558 HAS SOUS 43739 HAS SOUPS 43739 WITH SCORE 43787.558
AT ITER 2416 NEW BEST:: SOT 112047 SOS 48556 HAS SOPS 48556 HAS SOUS 43737 HAS SOUPS 43737 WITH SCORE 43785.556
AT ITER 2423 NEW BEST:: SOT 111985 SOS 48494 HAS SOPS 48494 HAS SOUS 43675 HAS SOUPS 43675 WITH SCORE 43723.494
AT ITER 2463 NEW BEST:: SOT 111981 SOS 48486 HAS SOPS 48486 HAS SOUS 43667 HAS SOUPS 43667 WITH SCORE 43715.486
AT ITER 2466 NEW BEST:: SOT 111967 SOS 48433 HAS SOPS 48433 HAS SOUS 43614 HAS SOUPS 43614 WITH SCORE 43662.433
AT ITER 2472 NEW BEST:: SOT 111925 SOS 48392 HAS SOPS 48392 HAS SOUS 43551 HAS SOUPS 43551 WITH SCORE 43599.392
AT ITER 2493 NEW BEST:: SOT 111853 SOS 48339 HAS SOPS 48339 HAS SOUS 43460 HAS SOUPS 43460 WITH SCORE 43508.339
AT ITER 2496 NEW BEST:: SOT 111785 SOS 48263 HAS SOPS 48263 HAS SOUS 43384 HAS SOUPS 43384 WITH SCORE 43432.263
AT ITER 2502 NEW BEST:: SOT 111771 SOS 48235 HAS SOPS 48235 HAS SOUS 43356 HAS SOUPS 43356 WITH SCORE 43404.235
AT ITER 2516 NEW BEST:: SOT 111771 SOS 48157 HAS SOPS 48157 HAS SOUS 43350 HAS SOUPS 43350 WITH SCORE 43398.157
AT ITER 2520 NEW BEST:: SOT 111827 SOS 48128 HAS SOPS 48128 HAS SOUS 43321 HAS SOUPS 43321 WITH SCORE 43369.128
AT ITER 2524 NEW BEST:: SOT 111806 SOS 47816 HAS SOPS 47816 HAS SOUS 43101 HAS SOUPS 43101 WITH SCORE 43148.816
AT ITER 2528 NEW BEST:: SOT 111797 SOS 47807 HAS SOPS 47807 HAS SOUS 43077 HAS SOUPS 43077 WITH SCORE 43124.807
AT ITER 2546 NEW BEST:: SOT 111766 SOS 47765 HAS SOPS 47765 HAS SOUS 43046 HAS SOUPS 43046 WITH SCORE 43093.765
AT ITER 2550 NEW BEST:: SOT 111766 SOS 47700 HAS SOPS 47700 HAS SOUS 42991 HAS SOUPS 42991 WITH SCORE 43038.7
AT ITER 2551 NEW BEST:: SOT 111794 SOS 47615 HAS SOPS 47615 HAS SOUS 42984 HAS SOUPS 42984 WITH SCORE 43031.615
AT ITER 2552 NEW BEST:: SOT 111783 SOS 47593 HAS SOPS 47593 HAS SOUS 42951 HAS SOUPS 42951 WITH SCORE 42998.593
AT ITER 2566 NEW BEST:: SOT 111783 SOS 47570 HAS SOPS 47570 HAS SOUS 42951 HAS SOUPS 42951 WITH SCORE 42998.57
AT ITER 2569 NEW BEST:: SOT 111651 SOS 47106 HAS SOPS 47106 HAS SOUS 42557 HAS SOUPS 42557 WITH SCORE 42604.106
AT ITER 2571 NEW BEST:: SOT 111658 SOS 47061 HAS SOPS 47061 HAS SOUS 42521 HAS SOUPS 42521 WITH SCORE 42568.061
AT ITER 2588 NEW BEST:: SOT 111658 SOS 47016 HAS SOPS 47016 HAS SOUS 42504 HAS SOUPS 42504 WITH SCORE 42551.016
AT ITER 2589 NEW BEST:: SOT 111657 SOS 47004 HAS SOPS 47004 HAS SOUS 42492 HAS SOUPS 42492 WITH SCORE 42539.004
AT ITER 2601 NEW BEST:: SOT 111657 SOS 46992 HAS SOPS 46992 HAS SOUS 42486 HAS SOUPS 42486 WITH SCORE 42532.992
AT ITER 2607 NEW BEST:: SOT 111638 SOS 46973 HAS SOPS 46973 HAS SOUS 42486 HAS SOUPS 42486 WITH SCORE 42532.973
AT ITER 2613 NEW BEST:: SOT 111605 SOS 46911 HAS SOPS 46911 HAS SOUS 42424 HAS SOUPS 42424 WITH SCORE 42470.911
AT ITER 2617 NEW BEST:: SOT 111605 SOS 46768 HAS SOPS 46768 HAS SOUS 42424 HAS SOUPS 42424 WITH SCORE 42470.768
AT ITER 2630 NEW BEST:: SOT 111601 SOS 46764 HAS SOPS 46764 HAS SOUS 42420 HAS SOUPS 42420 WITH SCORE 42466.764
AT ITER 2634 NEW BEST:: SOT 111601 SOS 46751 HAS SOPS 46751 HAS SOUS 42398 HAS SOUPS 42398 WITH SCORE 42444.751
AT ITER 2636 NEW BEST:: SOT 111587 SOS 46737 HAS SOPS 46737 HAS SOUS 42383 HAS SOUPS 42383 WITH SCORE 42429.737
AT ITER 2639 NEW BEST:: SOT 111427 SOS 46577 HAS SOPS 46577 HAS SOUS 42198 HAS SOUPS 42198 WITH SCORE 42244.577
AT ITER 2648 NEW BEST:: SOT 111412 SOS 46504 HAS SOPS 46504 HAS SOUS 42146 HAS SOUPS 42146 WITH SCORE 42192.504
AT ITER 2652 NEW BEST:: SOT 111400 SOS 46492 HAS SOPS 46492 HAS SOUS 42134 HAS SOUPS 42134 WITH SCORE 42180.492
AT ITER 2665 NEW BEST:: SOT 111400 SOS 46163 HAS SOPS 46163 HAS SOUS 42067 HAS SOUPS 42067 WITH SCORE 42113.163
AT ITER 2666 NEW BEST:: SOT 111393 SOS 46149 HAS SOPS 46149 HAS SOUS 42053 HAS SOUPS 42053 WITH SCORE 42099.149
AT ITER 2686 NEW BEST:: SOT 111324 SOS 46017 HAS SOPS 46017 HAS SOUS 41921 HAS SOUPS 41921 WITH SCORE 41967.017
AT ITER 2690 NEW BEST:: SOT 111099 SOS 45792 HAS SOPS 45792 HAS SOUS 41696 HAS SOUPS 41696 WITH SCORE 41741.792
AT ITER 2696 NEW BEST:: SOT 111106 SOS 45777 HAS SOPS 45777 HAS SOUS 41680 HAS SOUPS 41680 WITH SCORE 41725.777
AT ITER 2705 NEW BEST:: SOT 111093 SOS 45716 HAS SOPS 45716 HAS SOUS 41619 HAS SOUPS 41619 WITH SCORE 41664.716
AT ITER 2706 NEW BEST:: SOT 111059 SOS 45682 HAS SOPS 45682 HAS SOUS 41585 HAS SOUPS 41585 WITH SCORE 41630.682
AT ITER 2712 NEW BEST:: SOT 111056 SOS 45679 HAS SOPS 45679 HAS SOUS 41582 HAS SOUPS 41582 WITH SCORE 41627.679
AT ITER 2715 NEW BEST:: SOT 110994 SOS 45510 HAS SOPS 45510 HAS SOUS 41471 HAS SOUPS 41471 WITH SCORE 41516.51
AT ITER 2737 NEW BEST:: SOT 110993 SOS 45493 HAS SOPS 45493 HAS SOUS 41454 HAS SOUPS 41454 WITH SCORE 41499.493
AT ITER 2767 NEW BEST:: SOT 110935 SOS 45511 HAS SOPS 45511 HAS SOUS 41433 HAS SOUPS 41433 WITH SCORE 41478.511
AT ITER 2772 NEW BEST:: SOT 110913 SOS 45489 HAS SOPS 45489 HAS SOUS 41410 HAS SOUPS 41410 WITH SCORE 41455.489
AT ITER 2775 NEW BEST:: SOT 110913 SOS 45489 HAS SOPS 45489 HAS SOUS 41405 HAS SOUPS 41405 WITH SCORE 41450.489
AT ITER 2780 NEW BEST:: SOT 110907 SOS 45505 HAS SOPS 45505 HAS SOUS 41393 HAS SOUPS 41393 WITH SCORE 41438.505
AT ITER 2791 NEW BEST:: SOT 110808 SOS 45462 HAS SOPS 45462 HAS SOUS 41322 HAS SOUPS 41322 WITH SCORE 41367.462
AT ITER 2801 NEW BEST:: SOT 110808 SOS 45431 HAS SOPS 45431 HAS SOUS 41291 HAS SOUPS 41291 WITH SCORE 41336.431
AT ITER 2814 NEW BEST:: SOT 110742 SOS 45449 HAS SOPS 45449 HAS SOUS 41285 HAS SOUPS 41285 WITH SCORE 41330.449
AT ITER 2825 NEW BEST:: SOT 110742 SOS 45419 HAS SOPS 45419 HAS SOUS 41255 HAS SOUPS 41255 WITH SCORE 41300.419
AT ITER 2854 NEW BEST:: SOT 110801 SOS 45399 HAS SOPS 45399 HAS SOUS 41229 HAS SOUPS 41229 WITH SCORE 41274.399
AT ITER 2857 NEW BEST:: SOT 110741 SOS 45398 HAS SOPS 45398 HAS SOUS 41148 HAS SOUPS 41148 WITH SCORE 41193.398
AT ITER 2866 NEW BEST:: SOT 110698 SOS 45315 HAS SOPS 45315 HAS SOUS 41108 HAS SOUPS 41108 WITH SCORE 41153.315
AT ITER 2882 NEW BEST:: SOT 110665 SOS 45255 HAS SOPS 45255 HAS SOUS 41048 HAS SOUPS 41048 WITH SCORE 41093.255
AT ITER 2889 NEW BEST:: SOT 110568 SOS 45101 HAS SOPS 45101 HAS SOUS 40887 HAS SOUPS 40887 WITH SCORE 40932.101
AT ITER 2902 NEW BEST:: SOT 110536 SOS 45147 HAS SOPS 45147 HAS SOUS 40886 HAS SOUPS 40886 WITH SCORE 40931.147
AT ITER 2940 NEW BEST:: SOT 110540 SOS 45164 HAS SOPS 45164 HAS SOUS 40880 HAS SOUPS 40880 WITH SCORE 40925.164
AT ITER 2946 NEW BEST:: SOT 110451 SOS 45113 HAS SOPS 45113 HAS SOUS 40796 HAS SOUPS 40796 WITH SCORE 40841.113
AT ITER 2968 NEW BEST:: SOT 110421 SOS 44988 HAS SOPS 44988 HAS SOUS 40703 HAS SOUPS 40703 WITH SCORE 40747.988
AT ITER 2983 NEW BEST:: SOT 110401 SOS 44975 HAS SOPS 44975 HAS SOUS 40690 HAS SOUPS 40690 WITH SCORE 40734.975
AT ITER 3006 NEW BEST:: SOT 110369 SOS 44895 HAS SOPS 44895 HAS SOUS 40626 HAS SOUPS 40626 WITH SCORE 40670.895
AT ITER 3023 NEW BEST:: SOT 110369 SOS 44887 HAS SOPS 44887 HAS SOUS 40622 HAS SOUPS 40622 WITH SCORE 40666.887
AT ITER 3062 NEW BEST:: SOT 110211 SOS 44631 HAS SOPS 44631 HAS SOUS 40366 HAS SOUPS 40366 WITH SCORE 40410.631
AT ITER 3064 NEW BEST:: SOT 110192 SOS 44558 HAS SOPS 44558 HAS SOUS 40311 HAS SOUPS 40311 WITH SCORE 40355.558
AT ITER 3067 NEW BEST:: SOT 110192 SOS 44522 HAS SOPS 44522 HAS SOUS 40281 HAS SOUPS 40281 WITH SCORE 40325.522
AT ITER 3071 NEW BEST:: SOT 110172 SOS 44502 HAS SOPS 44502 HAS SOUS 40261 HAS SOUPS 40261 WITH SCORE 40305.502
AT ITER 3073 NEW BEST:: SOT 110080 SOS 44370 HAS SOPS 44370 HAS SOUS 40177 HAS SOUPS 40177 WITH SCORE 40221.37
AT ITER 3096 NEW BEST:: SOT 110052 SOS 44354 HAS SOPS 44354 HAS SOUS 40161 HAS SOUPS 40161 WITH SCORE 40205.354
AT ITER 3099 NEW BEST:: SOT 110034 SOS 44326 HAS SOPS 44326 HAS SOUS 40125 HAS SOUPS 40125 WITH SCORE 40169.326
AT ITER 3103 NEW BEST:: SOT 110034 SOS 44048 HAS SOPS 44048 HAS SOUS 40032 HAS SOUPS 40032 WITH SCORE 40076.048
AT ITER 3105 NEW BEST:: SOT 110032 SOS 44029 HAS SOPS 44029 HAS SOUS 40013 HAS SOUPS 40013 WITH SCORE 40057.029
AT ITER 3113 NEW BEST:: SOT 110023 SOS 43993 HAS SOPS 43993 HAS SOUS 39995 HAS SOUPS 39995 WITH SCORE 40038.993
AT ITER 3120 NEW BEST:: SOT 110134 SOS 44041 HAS SOPS 44041 HAS SOUS 39981 HAS SOUPS 39981 WITH SCORE 40025.041
AT ITER 3147 NEW BEST:: SOT 110088 SOS 43981 HAS SOPS 43981 HAS SOUS 39929 HAS SOUPS 39929 WITH SCORE 39972.981
AT ITER 3153 NEW BEST:: SOT 110047 SOS 43885 HAS SOPS 43885 HAS SOUS 39833 HAS SOUPS 39833 WITH SCORE 39876.885
AT ITER 3164 NEW BEST:: SOT 109963 SOS 43702 HAS SOPS 43702 HAS SOUS 39718 HAS SOUPS 39718 WITH SCORE 39761.702
AT ITER 3175 NEW BEST:: SOT 109958 SOS 43692 HAS SOPS 43692 HAS SOUS 39709 HAS SOUPS 39709 WITH SCORE 39752.692
AT ITER 3181 NEW BEST:: SOT 109958 SOS 43630 HAS SOPS 43630 HAS SOUS 39688 HAS SOUPS 39688 WITH SCORE 39731.63
AT ITER 3184 NEW BEST:: SOT 109954 SOS 43622 HAS SOPS 43622 HAS SOUS 39680 HAS SOUPS 39680 WITH SCORE 39723.622
AT ITER 3197 NEW BEST:: SOT 109935 SOS 43620 HAS SOPS 43620 HAS SOUS 39680 HAS SOUPS 39680 WITH SCORE 39723.62
AT ITER 3199 NEW BEST:: SOT 109825 SOS 43491 HAS SOPS 43491 HAS SOUS 39570 HAS SOUPS 39570 WITH SCORE 39613.491
AT ITER 3210 NEW BEST:: SOT 109881 SOS 43371 HAS SOPS 43371 HAS SOUS 39504 HAS SOUPS 39504 WITH SCORE 39547.371
AT ITER 3222 NEW BEST:: SOT 109871 SOS 43364 HAS SOPS 43364 HAS SOUS 39467 HAS SOUPS 39467 WITH SCORE 39510.364
AT ITER 3227 NEW BEST:: SOT 109867 SOS 43360 HAS SOPS 43360 HAS SOUS 39463 HAS SOUPS 39463 WITH SCORE 39506.36
AT ITER 3229 NEW BEST:: SOT 109867 SOS 43357 HAS SOPS 43357 HAS SOUS 39458 HAS SOUPS 39458 WITH SCORE 39501.357
AT ITER 3237 NEW BEST:: SOT 109867 SOS 43355 HAS SOPS 43355 HAS SOUS 39456 HAS SOUPS 39456 WITH SCORE 39499.355
AT ITER 3238 NEW BEST:: SOT 109863 SOS 43351 HAS SOPS 43351 HAS SOUS 39454 HAS SOUPS 39454 WITH SCORE 39497.351
AT ITER 3274 NEW BEST:: SOT 109835 SOS 43300 HAS SOPS 43300 HAS SOUS 39403 HAS SOUPS 39403 WITH SCORE 39446.3
AT ITER 3277 NEW BEST:: SOT 109822 SOS 43250 HAS SOPS 43250 HAS SOUS 39353 HAS SOUPS 39353 WITH SCORE 39396.25
AT ITER 3278 NEW BEST:: SOT 109796 SOS 43198 HAS SOPS 43198 HAS SOUS 39301 HAS SOUPS 39301 WITH SCORE 39344.198
AT ITER 3292 NEW BEST:: SOT 109796 SOS 43198 HAS SOPS 43198 HAS SOUS 39300 HAS SOUPS 39300 WITH SCORE 39343.198
AT ITER 3310 NEW BEST:: SOT 109768 SOS 43118 HAS SOPS 43118 HAS SOUS 39259 HAS SOUPS 39259 WITH SCORE 39302.118
AT ITER 3317 NEW BEST:: SOT 109756 SOS 43115 HAS SOPS 43115 HAS SOUS 39256 HAS SOUPS 39256 WITH SCORE 39299.115
AT ITER 3345 NEW BEST:: SOT 109756 SOS 43028 HAS SOPS 43028 HAS SOUS 39231 HAS SOUPS 39231 WITH SCORE 39274.028
AT ITER 3346 NEW BEST:: SOT 109756 SOS 42365 HAS SOPS 42365 HAS SOUS 38936 HAS SOUPS 38936 WITH SCORE 38978.365
AT ITER 3349 NEW BEST:: SOT 109698 SOS 42286 HAS SOPS 42286 HAS SOUS 38857 HAS SOUPS 38857 WITH SCORE 38899.286
AT ITER 3362 NEW BEST:: SOT 109668 SOS 42242 HAS SOPS 42242 HAS SOUS 38801 HAS SOUPS 38801 WITH SCORE 38843.242
AT ITER 3389 NEW BEST:: SOT 109665 SOS 42239 HAS SOPS 42239 HAS SOUS 38798 HAS SOUPS 38798 WITH SCORE 38840.239
AT ITER 3394 NEW BEST:: SOT 109619 SOS 42140 HAS SOPS 42140 HAS SOUS 38699 HAS SOUPS 38699 WITH SCORE 38741.14
AT ITER 3401 NEW BEST:: SOT 109577 SOS 42054 HAS SOPS 42054 HAS SOUS 38613 HAS SOUPS 38613 WITH SCORE 38655.054
AT ITER 3408 NEW BEST:: SOT 109660 SOS 42121 HAS SOPS 42121 HAS SOUS 38605 HAS SOUPS 38605 WITH SCORE 38647.121
AT ITER 3442 NEW BEST:: SOT 109602 SOS 42008 HAS SOPS 42008 HAS SOUS 38492 HAS SOUPS 38492 WITH SCORE 38534.008
AT ITER 3463 NEW BEST:: SOT 109582 SOS 41848 HAS SOPS 41848 HAS SOUS 38378 HAS SOUPS 38378 WITH SCORE 38419.848
AT ITER 3464 NEW BEST:: SOT 109566 SOS 41717 HAS SOPS 41717 HAS SOUS 38311 HAS SOUPS 38311 WITH SCORE 38352.717
AT ITER 3478 NEW BEST:: SOT 109564 SOS 41715 HAS SOPS 41715 HAS SOUS 38309 HAS SOUPS 38309 WITH SCORE 38350.715
AT ITER 3496 NEW BEST:: SOT 109555 SOS 41708 HAS SOPS 41708 HAS SOUS 38302 HAS SOUPS 38302 WITH SCORE 38343.708
AT ITER 3509 NEW BEST:: SOT 109555 SOS 41693 HAS SOPS 41693 HAS SOUS 38287 HAS SOUPS 38287 WITH SCORE 38328.693
AT ITER 3510 NEW BEST:: SOT 109390 SOS 41528 HAS SOPS 41528 HAS SOUS 38190 HAS SOUPS 38190 WITH SCORE 38231.528
AT ITER 3530 NEW BEST:: SOT 109331 SOS 41410 HAS SOPS 41410 HAS SOUS 38131 HAS SOUPS 38131 WITH SCORE 38172.41
AT ITER 3566 NEW BEST:: SOT 109217 SOS 41310 HAS SOPS 41310 HAS SOUS 37959 HAS SOUPS 37959 WITH SCORE 38000.31
AT ITER 3588 NEW BEST:: SOT 109161 SOS 41163 HAS SOPS 41163 HAS SOUS 37886 HAS SOUPS 37886 WITH SCORE 37927.163
AT ITER 3597 NEW BEST:: SOT 109247 SOS 41280 HAS SOPS 41280 HAS SOUS 37873 HAS SOUPS 37873 WITH SCORE 37914.28
AT ITER 3601 NEW BEST:: SOT 109211 SOS 41280 HAS SOPS 41280 HAS SOUS 37864 HAS SOUPS 37864 WITH SCORE 37905.28
AT ITER 3621 NEW BEST:: SOT 109211 SOS 41280 HAS SOPS 41280 HAS SOUS 37851 HAS SOUPS 37851 WITH SCORE 37892.28
AT ITER 3633 NEW BEST:: SOT 109209 SOS 41276 HAS SOPS 41276 HAS SOUS 37847 HAS SOUPS 37847 WITH SCORE 37888.276
AT ITER 3644 NEW BEST:: SOT 109173 SOS 41266 HAS SOPS 41266 HAS SOUS 37837 HAS SOUPS 37837 WITH SCORE 37878.266
AT ITER 3647 NEW BEST:: SOT 109173 SOS 41250 HAS SOPS 41250 HAS SOUS 37837 HAS SOUPS 37837 WITH SCORE 37878.25
AT ITER 3653 NEW BEST:: SOT 109150 SOS 41248 HAS SOPS 41248 HAS SOUS 37792 HAS SOUPS 37792 WITH SCORE 37833.248
AT ITER 3664 NEW BEST:: SOT 109148 SOS 41246 HAS SOPS 41246 HAS SOUS 37790 HAS SOUPS 37790 WITH SCORE 37831.246
AT ITER 3690 NEW BEST:: SOT 109144 SOS 41242 HAS SOPS 41242 HAS SOUS 37786 HAS SOUPS 37786 WITH SCORE 37827.242
AT ITER 3752 NEW BEST:: SOT 109149 SOS 41208 HAS SOPS 41208 HAS SOUS 37752 HAS SOUPS 37752 WITH SCORE 37793.208
AT ITER 3772 NEW BEST:: SOT 109123 SOS 41182 HAS SOPS 41182 HAS SOUS 37746 HAS SOUPS 37746 WITH SCORE 37787.182
AT ITER 3834 NEW BEST:: SOT 109121 SOS 41065 HAS SOPS 41065 HAS SOUS 37680 HAS SOUPS 37680 WITH SCORE 37721.065
AT ITER 3836 NEW BEST:: SOT 109119 SOS 41063 HAS SOPS 41063 HAS SOUS 37678 HAS SOUPS 37678 WITH SCORE 37719.063
AT ITER 3848 NEW BEST:: SOT 109118 SOS 40983 HAS SOPS 40983 HAS SOUS 37623 HAS SOUPS 37623 WITH SCORE 37663.983
AT ITER 3858 NEW BEST:: SOT 109058 SOS 40941 HAS SOPS 40941 HAS SOUS 37578 HAS SOUPS 37578 WITH SCORE 37618.941
AT ITER 3859 NEW BEST:: SOT 109058 SOS 40768 HAS SOPS 40768 HAS SOUS 37513 HAS SOUPS 37513 WITH SCORE 37553.768
AT ITER 3861 NEW BEST:: SOT 109042 SOS 40752 HAS SOPS 40752 HAS SOUS 37497 HAS SOUPS 37497 WITH SCORE 37537.752
AT ITER 3862 NEW BEST:: SOT 109038 SOS 40769 HAS SOPS 40769 HAS SOUS 37467 HAS SOUPS 37467 WITH SCORE 37507.769
AT ITER 3882 NEW BEST:: SOT 109038 SOS 40769 HAS SOPS 40769 HAS SOUS 37455 HAS SOUPS 37455 WITH SCORE 37495.769
AT ITER 3895 NEW BEST:: SOT 109021 SOS 40721 HAS SOPS 40721 HAS SOUS 37418 HAS SOUPS 37418 WITH SCORE 37458.721
AT ITER 3906 NEW BEST:: SOT 109014 SOS 40704 HAS SOPS 40704 HAS SOUS 37401 HAS SOUPS 37401 WITH SCORE 37441.704
AT ITER 3908 NEW BEST:: SOT 108996 SOS 40677 HAS SOPS 40677 HAS SOUS 37374 HAS SOUPS 37374 WITH SCORE 37414.677
AT ITER 3930 NEW BEST:: SOT 108989 SOS 40662 HAS SOPS 40662 HAS SOUS 37359 HAS SOUPS 37359 WITH SCORE 37399.662
AT ITER 3935 NEW BEST:: SOT 108980 SOS 40653 HAS SOPS 40653 HAS SOUS 37350 HAS SOUPS 37350 WITH SCORE 37390.653
AT ITER 3936 NEW BEST:: SOT 108978 SOS 40651 HAS SOPS 40651 HAS SOUS 37348 HAS SOUPS 37348 WITH SCORE 37388.651
AT ITER 3939 NEW BEST:: SOT 108978 SOS 40625 HAS SOPS 40625 HAS SOUS 37340 HAS SOUPS 37340 WITH SCORE 37380.625
AT ITER 3946 NEW BEST:: SOT 108978 SOS 40597 HAS SOPS 40597 HAS SOUS 37326 HAS SOUPS 37326 WITH SCORE 37366.597
AT ITER 3979 NEW BEST:: SOT 108976 SOS 40627 HAS SOPS 40627 HAS SOUS 37322 HAS SOUPS 37322 WITH SCORE 37362.627
AT ITER 3980 NEW BEST:: SOT 108977 SOS 40595 HAS SOPS 40595 HAS SOUS 37290 HAS SOUPS 37290 WITH SCORE 37330.595
AT ITER 4015 NEW BEST:: SOT 108988 SOS 40589 HAS SOPS 40589 HAS SOUS 37284 HAS SOUPS 37284 WITH SCORE 37324.589
AT ITER 4029 NEW BEST:: SOT 108988 SOS 40495 HAS SOPS 40495 HAS SOUS 37190 HAS SOUPS 37190 WITH SCORE 37230.495
AT ITER 4071 NEW BEST:: SOT 108984 SOS 40448 HAS SOPS 40448 HAS SOUS 37159 HAS SOUPS 37159 WITH SCORE 37199.448
AT ITER 4074 NEW BEST:: SOT 108953 SOS 40419 HAS SOPS 40419 HAS SOUS 37130 HAS SOUPS 37130 WITH SCORE 37170.419
AT ITER 4087 NEW BEST:: SOT 108932 SOS 40381 HAS SOPS 40381 HAS SOUS 37092 HAS SOUPS 37092 WITH SCORE 37132.381
AT ITER 4091 NEW BEST:: SOT 108910 SOS 40359 HAS SOPS 40359 HAS SOUS 37070 HAS SOUPS 37070 WITH SCORE 37110.359
AT ITER 4151 NEW BEST:: SOT 108808 SOS 40257 HAS SOPS 40257 HAS SOUS 36968 HAS SOUPS 36968 WITH SCORE 37008.257
AT ITER 4156 NEW BEST:: SOT 108787 SOS 40224 HAS SOPS 40224 HAS SOUS 36926 HAS SOUPS 36926 WITH SCORE 36966.224
AT ITER 4159 NEW BEST:: SOT 108762 SOS 40199 HAS SOPS 40199 HAS SOUS 36901 HAS SOUPS 36901 WITH SCORE 36941.199
AT ITER 4167 NEW BEST:: SOT 108756 SOS 40187 HAS SOPS 40187 HAS SOUS 36892 HAS SOUPS 36892 WITH SCORE 36932.187
AT ITER 4179 NEW BEST:: SOT 108762 SOS 40193 HAS SOPS 40193 HAS SOUS 36882 HAS SOUPS 36882 WITH SCORE 36922.193
AT ITER 4188 NEW BEST:: SOT 108754 SOS 40169 HAS SOPS 40169 HAS SOUS 36866 HAS SOUPS 36866 WITH SCORE 36906.169
AT ITER 4190 NEW BEST:: SOT 108750 SOS 40120 HAS SOPS 40120 HAS SOUS 36817 HAS SOUPS 36817 WITH SCORE 36857.12
AT ITER 4209 NEW BEST:: SOT 108750 SOS 40112 HAS SOPS 40112 HAS SOUS 36809 HAS SOUPS 36809 WITH SCORE 36849.112
AT ITER 4243 NEW BEST:: SOT 108790 SOS 40103 HAS SOPS 40103 HAS SOUS 36797 HAS SOUPS 36797 WITH SCORE 36837.103
AT ITER 4249 NEW BEST:: SOT 108789 SOS 40097 HAS SOPS 40097 HAS SOUS 36791 HAS SOUPS 36791 WITH SCORE 36831.097
AT ITER 4253 NEW BEST:: SOT 108773 SOS 40065 HAS SOPS 40065 HAS SOUS 36775 HAS SOUPS 36775 WITH SCORE 36815.065
AT ITER 4269 NEW BEST:: SOT 108766 SOS 40058 HAS SOPS 40058 HAS SOUS 36768 HAS SOUPS 36768 WITH SCORE 36808.058
AT ITER 4283 NEW BEST:: SOT 108754 SOS 40046 HAS SOPS 40046 HAS SOUS 36756 HAS SOUPS 36756 WITH SCORE 36796.046
AT ITER 4284 NEW BEST:: SOT 108748 SOS 40034 HAS SOPS 40034 HAS SOUS 36744 HAS SOUPS 36744 WITH SCORE 36784.034
AT ITER 4291 NEW BEST:: SOT 108707 SOS 40089 HAS SOPS 40089 HAS SOUS 36732 HAS SOUPS 36732 WITH SCORE 36772.089
AT ITER 4306 NEW BEST:: SOT 108647 SOS 40007 HAS SOPS 40007 HAS SOUS 36650 HAS SOUPS 36650 WITH SCORE 36690.007
AT ITER 4310 NEW BEST:: SOT 108647 SOS 40005 HAS SOPS 40005 HAS SOUS 36648 HAS SOUPS 36648 WITH SCORE 36688.005
AT ITER 4339 NEW BEST:: SOT 108647 SOS 40005 HAS SOPS 40005 HAS SOUS 36624 HAS SOUPS 36624 WITH SCORE 36664.005
AT ITER 4352 NEW BEST:: SOT 108646 SOS 39993 HAS SOPS 39993 HAS SOUS 36622 HAS SOUPS 36622 WITH SCORE 36661.993
AT ITER 4353 NEW BEST:: SOT 108641 SOS 39970 HAS SOPS 39970 HAS SOUS 36599 HAS SOUPS 36599 WITH SCORE 36638.97
AT ITER 4355 NEW BEST:: SOT 108636 SOS 39890 HAS SOPS 39890 HAS SOUS 36569 HAS SOUPS 36569 WITH SCORE 36608.89
AT ITER 4376 NEW BEST:: SOT 108628 SOS 39850 HAS SOPS 39850 HAS SOUS 36553 HAS SOUPS 36553 WITH SCORE 36592.85
AT ITER 4391 NEW BEST:: SOT 108628 SOS 39830 HAS SOPS 39830 HAS SOUS 36539 HAS SOUPS 36539 WITH SCORE 36578.83
AT ITER 4399 NEW BEST:: SOT 108582 SOS 39634 HAS SOPS 39634 HAS SOUS 36470 HAS SOUPS 36470 WITH SCORE 36509.634
AT ITER 4423 NEW BEST:: SOT 108566 SOS 39602 HAS SOPS 39602 HAS SOUS 36438 HAS SOUPS 36438 WITH SCORE 36477.602
AT ITER 4438 NEW BEST:: SOT 108528 SOS 39574 HAS SOPS 39574 HAS SOUS 36410 HAS SOUPS 36410 WITH SCORE 36449.574
AT ITER 4443 NEW BEST:: SOT 108483 SOS 39480 HAS SOPS 39480 HAS SOUS 36344 HAS SOUPS 36344 WITH SCORE 36383.48
AT ITER 4481 NEW BEST:: SOT 108447 SOS 39408 HAS SOPS 39408 HAS SOUS 36272 HAS SOUPS 36272 WITH SCORE 36311.408
AT ITER 4487 NEW BEST:: SOT 108379 SOS 39308 HAS SOPS 39308 HAS SOUS 36172 HAS SOUPS 36172 WITH SCORE 36211.308
AT ITER 4517 NEW BEST:: SOT 108377 SOS 39302 HAS SOPS 39302 HAS SOUS 36168 HAS SOUPS 36168 WITH SCORE 36207.302
AT ITER 4539 NEW BEST:: SOT 108388 SOS 39295 HAS SOPS 39295 HAS SOUS 36161 HAS SOUPS 36161 WITH SCORE 36200.295
AT ITER 4566 NEW BEST:: SOT 108388 SOS 39249 HAS SOPS 39249 HAS SOUS 36138 HAS SOUPS 36138 WITH SCORE 36177.249
AT ITER 4583 NEW BEST:: SOT 108384 SOS 39364 HAS SOPS 39364 HAS SOUS 36109 HAS SOUPS 36109 WITH SCORE 36148.364
AT ITER 4588 NEW BEST:: SOT 108386 SOS 39366 HAS SOPS 39366 HAS SOUS 36076 HAS SOUPS 36076 WITH SCORE 36115.366
AT ITER 4593 NEW BEST:: SOT 108377 SOS 39304 HAS SOPS 39304 HAS SOUS 35979 HAS SOUPS 35979 WITH SCORE 36018.304
AT ITER 4629 NEW BEST:: SOT 108358 SOS 39229 HAS SOPS 39229 HAS SOUS 35913 HAS SOUPS 35913 WITH SCORE 35952.229
AT ITER 4647 NEW BEST:: SOT 108464 SOS 39192 HAS SOPS 39192 HAS SOUS 35899 HAS SOUPS 35899 WITH SCORE 35938.192
AT ITER 4663 NEW BEST:: SOT 108426 SOS 39125 HAS SOPS 39125 HAS SOUS 35832 HAS SOUPS 35832 WITH SCORE 35871.125
AT ITER 4695 NEW BEST:: SOT 108376 SOS 39080 HAS SOPS 39080 HAS SOUS 35787 HAS SOUPS 35787 WITH SCORE 35826.08
AT ITER 4704 NEW BEST:: SOT 108357 SOS 39042 HAS SOPS 39042 HAS SOUS 35768 HAS SOUPS 35768 WITH SCORE 35807.042
AT ITER 4720 NEW BEST:: SOT 108368 SOS 39001 HAS SOPS 39001 HAS SOUS 35738 HAS SOUPS 35738 WITH SCORE 35777.001
AT ITER 4734 NEW BEST:: SOT 108350 SOS 38974 HAS SOPS 38974 HAS SOUS 35702 HAS SOUPS 35702 WITH SCORE 35740.974
AT ITER 4744 NEW BEST:: SOT 108299 SOS 38923 HAS SOPS 38923 HAS SOUS 35651 HAS SOUPS 35651 WITH SCORE 35689.923
AT ITER 4753 NEW BEST:: SOT 108241 SOS 38865 HAS SOPS 38865 HAS SOUS 35593 HAS SOUPS 35593 WITH SCORE 35631.865
AT ITER 4758 NEW BEST:: SOT 108185 SOS 38809 HAS SOPS 38809 HAS SOUS 35537 HAS SOUPS 35537 WITH SCORE 35575.809
AT ITER 4775 NEW BEST:: SOT 108163 SOS 38765 HAS SOPS 38765 HAS SOUS 35493 HAS SOUPS 35493 WITH SCORE 35531.765
AT ITER 4813 NEW BEST:: SOT 108163 SOS 38765 HAS SOPS 38765 HAS SOUS 35481 HAS SOUPS 35481 WITH SCORE 35519.765
AT ITER 4815 NEW BEST:: SOT 108158 SOS 38760 HAS SOPS 38760 HAS SOUS 35476 HAS SOUPS 35476 WITH SCORE 35514.76
AT ITER 4817 NEW BEST:: SOT 108159 SOS 38759 HAS SOPS 38759 HAS SOUS 35475 HAS SOUPS 35475 WITH SCORE 35513.759
AT ITER 4847 NEW BEST:: SOT 108157 SOS 38741 HAS SOPS 38741 HAS SOUS 35457 HAS SOUPS 35457 WITH SCORE 35495.741
AT ITER 4905 NEW BEST:: SOT 108157 SOS 38727 HAS SOPS 38727 HAS SOUS 35457 HAS SOUPS 35457 WITH SCORE 35495.727
AT ITER 4910 NEW BEST:: SOT 108157 SOS 38659 HAS SOPS 38659 HAS SOUS 35389 HAS SOUPS 35389 WITH SCORE 35427.659
AT ITER 4911 NEW BEST:: SOT 108133 SOS 38611 HAS SOPS 38611 HAS SOUS 35349 HAS SOUPS 35349 WITH SCORE 35387.611
AT ITER 4924 NEW BEST:: SOT 108103 SOS 38508 HAS SOPS 38508 HAS SOUS 35246 HAS SOUPS 35246 WITH SCORE 35284.508
AT ITER 4974 NEW BEST:: SOT 108103 SOS 38500 HAS SOPS 38500 HAS SOUS 35238 HAS SOUPS 35238 WITH SCORE 35276.5
AT ITER 4975 NEW BEST:: SOT 108106 SOS 38528 HAS SOPS 38528 HAS SOUS 35233 HAS SOUPS 35233 WITH SCORE 35271.528
AT ITER 4987 NEW BEST:: SOT 108104 SOS 38520 HAS SOPS 38520 HAS SOUS 35227 HAS SOUPS 35227 WITH SCORE 35265.52
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldPPPt-PT-020A-CTLCardinality-00 ( (EX( (EF(potential( ( 2 ) <= (tk(P466)) ))))) & (AU( ( potential( (tk(P18)) <= (tk(P37)) ) | potential( (tk(P175)) <= (tk(P164)) ) ),(! potential( ( 1 ) <= (tk(P430)) )) )) )
PROPERTY: ShieldPPPt-PT-020A-CTLCardinality-01 (AG( (EG( ( potential( (tk(P498)) <= (tk(P72)) ) & potential( (tk(P498)) <= (tk(P147)) ) )))))
PROPERTY: ShieldPPPt-PT-020A-CTLCardinality-02 ( (! (! potential( (tk(P278)) <= (tk(P305)) ))) & (EU( ( potential( ( 3 ) <= (tk(P479)) ) | potential( (tk(P39)) <= (tk(P128)) ) ),( potential( ( 2 ) <= (tk(P442)) ) & potential( (tk(P489)) <= (tk(P236)) ) ) )) )
PROPERTY: ShieldPPPt-PT-020A-CTLCardinality-03 ( ( potential( ( 3 ) <= (tk(P407)) ) | (! potential( (tk(P242)) <= (tk(P187)) )) ) | ( ( potential( (tk(P332)) <= (tk(P262)) ) & (EF(potential( ( 1 ) <= (tk(P108)) ))) ) & potential( (tk(P400)) <= (tk(P248)) ) ) )
PROPERTY: ShieldPPPt-PT-020A-CTLCardinality-04 ( ( ( (! ( potential( ( 2 ) <= (tk(P89)) ) & potential( (tk(P114)) <= (tk(P69)) ) )) | ( (! potential( ( 1 ) <= (tk(P135)) )) | ( potential( ( 3 ) <= (tk(P219)) ) | potential( (tk(P135)) <= (tk(P2)) ) ) ) ) | (! ( ( potential( ( 1 ) <= (tk(P181)) ) & potential( (tk(P167)) <= (tk(P54)) ) ) & (! potential( (tk(P224)) <= (tk(P117)) )) )) ) & (EU( ( potential( (tk(P447)) <= (tk(P153)) ) | potential( ( 1 ) <= (tk(P280)) ) ),( potential( ( 2 ) <= (tk(P237)) ) & potential( (tk(P100)) <= (tk(P122)) ) ) )) )
PROPERTY: ShieldPPPt-PT-020A-CTLCardinality-05 (! (EF((AX( potential( ( 3 ) <= (tk(P411)) ))))))
PROPERTY: ShieldPPPt-PT-020A-CTLCardinality-06 ( ( ( potential( ( 2 ) <= (tk(P20)) ) & (EG( potential( (tk(P187)) <= (tk(P175)) ))) ) | (EU( potential( (tk(P268)) <= (tk(P372)) ),potential( ( 3 ) <= (tk(P67)) ) )) ) & ( potential( (tk(P216)) <= (tk(P454)) ) | (AU( potential( (tk(P84)) <= (tk(P249)) ),potential( ( 3 ) <= (tk(P178)) ) )) ) )
PROPERTY: ShieldPPPt-PT-020A-CTLCardinality-07 (AG( (EU( potential( ( 2 ) <= (tk(P173)) ),potential( (tk(P92)) <= (tk(P101)) ) ))))
PROPERTY: ShieldPPPt-PT-020A-CTLCardinality-08 (EF(( (EG( potential( ( 2 ) <= (tk(P384)) ))) & (AG( potential( ( 3 ) <= (tk(P108)) ))) )))
PROPERTY: ShieldPPPt-PT-020A-CTLCardinality-09 (EX( (EF(( potential( (tk(P503)) <= (tk(P373)) ) & potential( (tk(P186)) <= (tk(P8)) ) )))))
PROPERTY: ShieldPPPt-PT-020A-CTLCardinality-10 (AG( potential( (tk(P198)) <= (tk(P374)) )))
PROPERTY: ShieldPPPt-PT-020A-CTLCardinality-11 (! (EU( (! potential( ( 2 ) <= (tk(P381)) )),potential( ( 3 ) <= (tk(P138)) ) )))
PROPERTY: ShieldPPPt-PT-020A-CTLCardinality-12 ( (AG( (EF(potential( ( 1 ) <= (tk(P5)) ))))) | (AG( (EX( potential( ( 1 ) <= (tk(P26)) ))))) )
PROPERTY: ShieldPPPt-PT-020A-CTLCardinality-13 (AF((AG( ( potential( (tk(P138)) <= (tk(P322)) ) | potential( (tk(P296)) <= (tk(P219)) ) )))))
PROPERTY: ShieldPPPt-PT-020A-CTLCardinality-14 (EF(potential( ( 1 ) <= (tk(P415)) )))
PROPERTY: ShieldPPPt-PT-020A-CTLCardinality-15 ( potential( (tk(P105)) <= (tk(P457)) ) & (AG( ( ( potential( ( 1 ) <= (tk(P250)) ) | potential( (tk(P165)) <= (tk(P191)) ) ) | (! potential( ( 3 ) <= (tk(P350)) )) ))) )

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="ShieldPPPt-PT-020A"
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 ShieldPPPt-PT-020A, 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-159033469800667"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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