Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 376K
-rw-r--r-- 1 mcc users 3.2K Apr 12 08:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 12 08:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 11 09:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 11 09:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.8K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Apr 10 14:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 14:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 9 21:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 9 21:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 196K Mar 24 05:38 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 Raft-PT-09-CTLCardinality-00
FORMULA_NAME Raft-PT-09-CTLCardinality-01
FORMULA_NAME Raft-PT-09-CTLCardinality-02
FORMULA_NAME Raft-PT-09-CTLCardinality-03
FORMULA_NAME Raft-PT-09-CTLCardinality-04
FORMULA_NAME Raft-PT-09-CTLCardinality-05
FORMULA_NAME Raft-PT-09-CTLCardinality-06
FORMULA_NAME Raft-PT-09-CTLCardinality-07
FORMULA_NAME Raft-PT-09-CTLCardinality-08
FORMULA_NAME Raft-PT-09-CTLCardinality-09
FORMULA_NAME Raft-PT-09-CTLCardinality-10
FORMULA_NAME Raft-PT-09-CTLCardinality-11
FORMULA_NAME Raft-PT-09-CTLCardinality-12
FORMULA_NAME Raft-PT-09-CTLCardinality-13
FORMULA_NAME Raft-PT-09-CTLCardinality-14
FORMULA_NAME Raft-PT-09-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589807291130

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Raft (PT), instance 09
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: 413 places, 710 transitions, 2728 arcs.
AT ITER 0 NEW BEST:: SOT 258253 SOS 174932 HAS SOPS 174896 HAS SOUS 137429 HAS SOUPS 137420 WITH SCORE 137594.932
AT ITER 3 NEW BEST:: SOT 257113 SOS 174267 HAS SOPS 174091 HAS SOUS 137049 HAS SOUPS 136957 WITH SCORE 137131.267
AT ITER 4 NEW BEST:: SOT 257113 SOS 174217 HAS SOPS 174041 HAS SOUS 137049 HAS SOUPS 136957 WITH SCORE 137131.217
AT ITER 6 NEW BEST:: SOT 252779 SOS 169768 HAS SOPS 169591 HAS SOUS 132619 HAS SOUPS 132527 WITH SCORE 132696.768
AT ITER 7 NEW BEST:: SOT 252735 SOS 169549 HAS SOPS 169355 HAS SOUS 132398 HAS SOUPS 132291 WITH SCORE 132460.549
AT ITER 12 NEW BEST:: SOT 252735 SOS 169549 HAS SOPS 169355 HAS SOUS 132368 HAS SOUPS 132261 WITH SCORE 132430.549
AT ITER 13 NEW BEST:: SOT 252735 SOS 169522 HAS SOPS 169275 HAS SOUS 132368 HAS SOUPS 132261 WITH SCORE 132430.522
AT ITER 14 NEW BEST:: SOT 252411 SOS 169225 HAS SOPS 168978 HAS SOUS 132071 HAS SOUPS 131964 WITH SCORE 132133.225
AT ITER 16 NEW BEST:: SOT 252466 SOS 169172 HAS SOPS 168873 HAS SOUS 131928 HAS SOUPS 131773 WITH SCORE 131942.172
AT ITER 18 NEW BEST:: SOT 251918 SOS 168565 HAS SOPS 168131 HAS SOUS 131318 HAS SOUPS 131031 WITH SCORE 131199.565
AT ITER 19 NEW BEST:: SOT 251918 SOS 168511 HAS SOPS 168077 HAS SOUS 131283 HAS SOUPS 130996 WITH SCORE 131164.511
AT ITER 21 NEW BEST:: SOT 251586 SOS 167933 HAS SOPS 167417 HAS SOUS 130655 HAS SOUPS 130336 WITH SCORE 130503.933
AT ITER 22 NEW BEST:: SOT 251586 SOS 167703 HAS SOPS 167187 HAS SOUS 130655 HAS SOUPS 130336 WITH SCORE 130503.703
AT ITER 26 NEW BEST:: SOT 251032 SOS 167551 HAS SOPS 166983 HAS SOUS 130243 HAS SOUPS 129924 WITH SCORE 130091.551
AT ITER 27 NEW BEST:: SOT 250726 SOS 167454 HAS SOPS 166924 HAS SOUS 130008 HAS SOUPS 129678 WITH SCORE 129845.454
AT ITER 29 NEW BEST:: SOT 250462 SOS 167057 HAS SOPS 166491 HAS SOUS 129445 HAS SOUPS 129115 WITH SCORE 129282.057
AT ITER 30 NEW BEST:: SOT 250202 SOS 166620 HAS SOPS 166021 HAS SOUS 128788 HAS SOUPS 128435 WITH SCORE 128601.62
AT ITER 35 NEW BEST:: SOT 250006 SOS 166257 HAS SOPS 165633 HAS SOUS 128253 HAS SOUPS 127900 WITH SCORE 128066.257
AT ITER 36 NEW BEST:: SOT 249602 SOS 165840 HAS SOPS 165169 HAS SOUS 127835 HAS SOUPS 127436 WITH SCORE 127601.84
AT ITER 38 NEW BEST:: SOT 249218 SOS 165456 HAS SOPS 164785 HAS SOUS 127451 HAS SOUPS 127052 WITH SCORE 127217.456
AT ITER 39 NEW BEST:: SOT 249218 SOS 165426 HAS SOPS 164755 HAS SOUS 127451 HAS SOUPS 127052 WITH SCORE 127217.426
AT ITER 40 NEW BEST:: SOT 249218 SOS 164679 HAS SOPS 164008 HAS SOUS 127451 HAS SOUPS 127052 WITH SCORE 127216.679
AT ITER 41 NEW BEST:: SOT 249218 SOS 164639 HAS SOPS 163968 HAS SOUS 127411 HAS SOUPS 127012 WITH SCORE 127176.639
AT ITER 43 NEW BEST:: SOT 248810 SOS 164161 HAS SOPS 163472 HAS SOUS 126891 HAS SOUPS 126481 WITH SCORE 126645.161
AT ITER 45 NEW BEST:: SOT 248278 SOS 163674 HAS SOPS 162795 HAS SOUS 126285 HAS SOUPS 125738 WITH SCORE 125901.674
AT ITER 46 NEW BEST:: SOT 248278 SOS 163563 HAS SOPS 162684 HAS SOUS 126249 HAS SOUPS 125702 WITH SCORE 125865.563
AT ITER 49 NEW BEST:: SOT 248278 SOS 163430 HAS SOPS 162511 HAS SOUS 126249 HAS SOUPS 125702 WITH SCORE 125865.43
AT ITER 55 NEW BEST:: SOT 248210 SOS 163337 HAS SOPS 162409 HAS SOUS 126147 HAS SOUPS 125600 WITH SCORE 125763.337
AT ITER 57 NEW BEST:: SOT 247904 SOS 163347 HAS SOPS 162391 HAS SOUS 125913 HAS SOUPS 125339 WITH SCORE 125502.347
AT ITER 59 NEW BEST:: SOT 247088 SOS 162544 HAS SOPS 161549 HAS SOUS 124937 HAS SOUPS 124359 WITH SCORE 124521.544
AT ITER 64 NEW BEST:: SOT 246920 SOS 162207 HAS SOPS 161203 HAS SOUS 124449 HAS SOUPS 123871 WITH SCORE 124033.207
AT ITER 65 NEW BEST:: SOT 246908 SOS 162139 HAS SOPS 161080 HAS SOUS 124449 HAS SOUPS 123847 WITH SCORE 124009.139
AT ITER 66 NEW BEST:: SOT 246698 SOS 161926 HAS SOPS 160867 HAS SOUS 124225 HAS SOUPS 123631 WITH SCORE 123792.926
AT ITER 73 NEW BEST:: SOT 246434 SOS 161594 HAS SOPS 160504 HAS SOUS 123827 HAS SOUPS 123233 WITH SCORE 123394.594
AT ITER 74 NEW BEST:: SOT 246082 SOS 161242 HAS SOPS 160064 HAS SOUS 123387 HAS SOUPS 122793 WITH SCORE 122954.242
AT ITER 80 NEW BEST:: SOT 245733 SOS 161326 HAS SOPS 160195 HAS SOUS 123335 HAS SOUPS 122787 WITH SCORE 122948.326
AT ITER 81 NEW BEST:: SOT 245201 SOS 160770 HAS SOPS 159506 HAS SOUS 122753 HAS SOUPS 122098 WITH SCORE 122258.77
AT ITER 82 NEW BEST:: SOT 245135 SOS 160704 HAS SOPS 159440 HAS SOUS 122687 HAS SOUPS 122032 WITH SCORE 122192.704
AT ITER 85 NEW BEST:: SOT 244947 SOS 160356 HAS SOPS 159070 HAS SOUS 122210 HAS SOUPS 121555 WITH SCORE 121715.356
AT ITER 86 NEW BEST:: SOT 244947 SOS 160276 HAS SOPS 158990 HAS SOUS 122139 HAS SOUPS 121484 WITH SCORE 121644.276
AT ITER 87 NEW BEST:: SOT 244947 SOS 160273 HAS SOPS 158987 HAS SOUS 122136 HAS SOUPS 121481 WITH SCORE 121641.273
AT ITER 92 NEW BEST:: SOT 244947 SOS 160251 HAS SOPS 158965 HAS SOUS 122136 HAS SOUPS 121481 WITH SCORE 121641.251
AT ITER 94 NEW BEST:: SOT 244947 SOS 160074 HAS SOPS 158754 HAS SOUS 122136 HAS SOUPS 121481 WITH SCORE 121641.074
AT ITER 95 NEW BEST:: SOT 244859 SOS 160042 HAS SOPS 158690 HAS SOUS 122096 HAS SOUPS 121433 WITH SCORE 121593.042
AT ITER 97 NEW BEST:: SOT 244399 SOS 159457 HAS SOPS 158101 HAS SOUS 121400 HAS SOUPS 120737 WITH SCORE 120896.457
AT ITER 98 NEW BEST:: SOT 244399 SOS 159362 HAS SOPS 158006 HAS SOUS 121230 HAS SOUPS 120567 WITH SCORE 120726.362
AT ITER 99 NEW BEST:: SOT 244379 SOS 159330 HAS SOPS 157954 HAS SOUS 121177 HAS SOUPS 120514 WITH SCORE 120673.33
AT ITER 100 NEW BEST:: SOT 244097 SOS 159048 HAS SOPS 157654 HAS SOUS 120836 HAS SOUPS 120173 WITH SCORE 120332.048
AT ITER 101 NEW BEST:: SOT 244097 SOS 159048 HAS SOPS 157654 HAS SOUS 120800 HAS SOUPS 120137 WITH SCORE 120296.048
AT ITER 102 NEW BEST:: SOT 244083 SOS 158943 HAS SOPS 157487 HAS SOUS 120733 HAS SOUPS 120073 WITH SCORE 120231.943
AT ITER 108 NEW BEST:: SOT 244083 SOS 158863 HAS SOPS 157407 HAS SOUS 120733 HAS SOUPS 120073 WITH SCORE 120231.863
AT ITER 111 NEW BEST:: SOT 244083 SOS 158863 HAS SOPS 157407 HAS SOUS 120698 HAS SOUPS 120038 WITH SCORE 120196.863
AT ITER 114 NEW BEST:: SOT 243879 SOS 158636 HAS SOPS 157166 HAS SOUS 120448 HAS SOUPS 119788 WITH SCORE 119946.636
AT ITER 115 NEW BEST:: SOT 243879 SOS 158503 HAS SOPS 157004 HAS SOUS 120448 HAS SOUPS 119788 WITH SCORE 119946.503
AT ITER 117 NEW BEST:: SOT 243565 SOS 158110 HAS SOPS 156600 HAS SOUS 119995 HAS SOUPS 119335 WITH SCORE 119493.11
AT ITER 118 NEW BEST:: SOT 243561 SOS 158019 HAS SOPS 156509 HAS SOUS 119947 HAS SOUPS 119287 WITH SCORE 119445.019
AT ITER 121 NEW BEST:: SOT 243730 SOS 157274 HAS SOPS 155764 HAS SOUS 119910 HAS SOUPS 119250 WITH SCORE 119407.274
AT ITER 127 NEW BEST:: SOT 243184 SOS 156473 HAS SOPS 154961 HAS SOUS 119142 HAS SOUPS 118482 WITH SCORE 118638.473
AT ITER 129 NEW BEST:: SOT 242931 SOS 156438 HAS SOPS 154926 HAS SOUS 119096 HAS SOUPS 118436 WITH SCORE 118592.438
AT ITER 130 NEW BEST:: SOT 242990 SOS 155280 HAS SOPS 153768 HAS SOUS 118945 HAS SOUPS 118285 WITH SCORE 118440.28
AT ITER 132 NEW BEST:: SOT 242990 SOS 155228 HAS SOPS 153716 HAS SOUS 118893 HAS SOUPS 118233 WITH SCORE 118388.228
AT ITER 133 NEW BEST:: SOT 242651 SOS 155290 HAS SOPS 153852 HAS SOUS 118812 HAS SOUPS 118152 WITH SCORE 118307.29
AT ITER 137 NEW BEST:: SOT 242651 SOS 155179 HAS SOPS 153741 HAS SOUS 118788 HAS SOUPS 118128 WITH SCORE 118283.179
AT ITER 139 NEW BEST:: SOT 242651 SOS 154753 HAS SOPS 153315 HAS SOUS 118656 HAS SOUPS 117996 WITH SCORE 118150.753
AT ITER 146 NEW BEST:: SOT 237911 SOS 153879 HAS SOPS 149223 HAS SOUS 115246 HAS SOUPS 114370 WITH SCORE 114523.879
AT ITER 149 NEW BEST:: SOT 234089 SOS 152847 HAS SOPS 146027 HAS SOUS 112752 HAS SOUPS 111700 WITH SCORE 111852.847
AT ITER 150 NEW BEST:: SOT 233969 SOS 152673 HAS SOPS 145853 HAS SOUS 112526 HAS SOUPS 111474 WITH SCORE 111626.673
AT ITER 154 NEW BEST:: SOT 233914 SOS 152611 HAS SOPS 145761 HAS SOUS 112397 HAS SOUPS 111345 WITH SCORE 111497.611
AT ITER 158 NEW BEST:: SOT 233889 SOS 152504 HAS SOPS 145711 HAS SOUS 112347 HAS SOUPS 111295 WITH SCORE 111447.504
AT ITER 161 NEW BEST:: SOT 233889 SOS 152399 HAS SOPS 145606 HAS SOUS 112347 HAS SOUPS 111295 WITH SCORE 111447.399
AT ITER 165 NEW BEST:: SOT 233381 SOS 151708 HAS SOPS 144910 HAS SOUS 111691 HAS SOUPS 110639 WITH SCORE 110790.708
AT ITER 167 NEW BEST:: SOT 233010 SOS 151344 HAS SOPS 144541 HAS SOUS 111300 HAS SOUPS 110248 WITH SCORE 110399.344
AT ITER 169 NEW BEST:: SOT 233010 SOS 151198 HAS SOPS 144395 HAS SOUS 111300 HAS SOUPS 110248 WITH SCORE 110399.198
AT ITER 170 NEW BEST:: SOT 233010 SOS 151133 HAS SOPS 144330 HAS SOUS 111300 HAS SOUPS 110248 WITH SCORE 110399.133
AT ITER 171 NEW BEST:: SOT 232361 SOS 150556 HAS SOPS 143753 HAS SOUS 110516 HAS SOUPS 109464 WITH SCORE 109614.556
AT ITER 172 NEW BEST:: SOT 232011 SOS 150206 HAS SOPS 143335 HAS SOUS 110106 HAS SOUPS 109046 WITH SCORE 109196.206
AT ITER 174 NEW BEST:: SOT 232005 SOS 150146 HAS SOPS 143275 HAS SOUS 110106 HAS SOUPS 109046 WITH SCORE 109196.146
AT ITER 175 NEW BEST:: SOT 231346 SOS 149423 HAS SOPS 142552 HAS SOUS 109319 HAS SOUPS 108259 WITH SCORE 108408.423
AT ITER 176 NEW BEST:: SOT 230638 SOS 148539 HAS SOPS 141826 HAS SOUS 108639 HAS SOUPS 107579 WITH SCORE 107727.539
AT ITER 179 NEW BEST:: SOT 230638 SOS 148071 HAS SOPS 141358 HAS SOUS 108571 HAS SOUPS 107511 WITH SCORE 107659.071
AT ITER 181 NEW BEST:: SOT 230638 SOS 147978 HAS SOPS 141358 HAS SOUS 108571 HAS SOUPS 107511 WITH SCORE 107658.978
AT ITER 184 NEW BEST:: SOT 229312 SOS 147829 HAS SOPS 140175 HAS SOUS 107728 HAS SOUPS 106583 WITH SCORE 106730.829
AT ITER 185 NEW BEST:: SOT 229312 SOS 147815 HAS SOPS 140093 HAS SOUS 107728 HAS SOUPS 106583 WITH SCORE 106730.815
AT ITER 186 NEW BEST:: SOT 229312 SOS 147425 HAS SOPS 139703 HAS SOUS 107677 HAS SOUPS 106532 WITH SCORE 106679.425
AT ITER 187 NEW BEST:: SOT 229259 SOS 147395 HAS SOPS 139689 HAS SOUS 107663 HAS SOUPS 106518 WITH SCORE 106665.395
AT ITER 188 NEW BEST:: SOT 229259 SOS 146897 HAS SOPS 139191 HAS SOUS 107663 HAS SOUPS 106518 WITH SCORE 106664.897
AT ITER 190 NEW BEST:: SOT 229259 SOS 146176 HAS SOPS 138470 HAS SOUS 107663 HAS SOUPS 106518 WITH SCORE 106664.176
AT ITER 192 NEW BEST:: SOT 229259 SOS 146176 HAS SOPS 138470 HAS SOUS 107658 HAS SOUPS 106513 WITH SCORE 106659.176
AT ITER 193 NEW BEST:: SOT 229368 SOS 146331 HAS SOPS 138604 HAS SOUS 107587 HAS SOUPS 106442 WITH SCORE 106588.331
AT ITER 194 NEW BEST:: SOT 229326 SOS 146240 HAS SOPS 138513 HAS SOUS 107447 HAS SOUPS 106302 WITH SCORE 106448.24
AT ITER 200 NEW BEST:: SOT 229326 SOS 146189 HAS SOPS 138513 HAS SOUS 107447 HAS SOUPS 106302 WITH SCORE 106448.189
AT ITER 203 NEW BEST:: SOT 224041 SOS 146608 HAS SOPS 134082 HAS SOUS 103872 HAS SOUPS 102496 WITH SCORE 102642.608
AT ITER 207 NEW BEST:: SOT 224339 SOS 146086 HAS SOPS 132183 HAS SOUS 104051 HAS SOUPS 101298 WITH SCORE 101444.086
AT ITER 208 NEW BEST:: SOT 223573 SOS 145817 HAS SOPS 131543 HAS SOUS 103537 HAS SOUPS 100742 WITH SCORE 100887.817
AT ITER 210 NEW BEST:: SOT 223573 SOS 145584 HAS SOPS 131281 HAS SOUS 103406 HAS SOUPS 100611 WITH SCORE 100756.584
AT ITER 216 NEW BEST:: SOT 223566 SOS 145515 HAS SOPS 131260 HAS SOUS 103385 HAS SOUPS 100590 WITH SCORE 100735.515
AT ITER 220 NEW BEST:: SOT 223655 SOS 145469 HAS SOPS 131214 HAS SOUS 103340 HAS SOUPS 100545 WITH SCORE 100690.469
AT ITER 221 NEW BEST:: SOT 223655 SOS 145321 HAS SOPS 131086 HAS SOUS 103299 HAS SOUPS 100504 WITH SCORE 100649.321
AT ITER 223 NEW BEST:: SOT 223621 SOS 145255 HAS SOPS 130999 HAS SOUS 103210 HAS SOUPS 100415 WITH SCORE 100560.255
AT ITER 225 NEW BEST:: SOT 223495 SOS 145004 HAS SOPS 130810 HAS SOUS 103021 HAS SOUPS 100226 WITH SCORE 100371.004
AT ITER 227 NEW BEST:: SOT 223283 SOS 144650 HAS SOPS 130461 HAS SOUS 102573 HAS SOUPS 99778 WITH SCORE 99922.65
AT ITER 230 NEW BEST:: SOT 223283 SOS 144599 HAS SOPS 130410 HAS SOUS 102573 HAS SOUPS 99778 WITH SCORE 99922.599
AT ITER 231 NEW BEST:: SOT 223283 SOS 144361 HAS SOPS 130291 HAS SOUS 102573 HAS SOUPS 99778 WITH SCORE 99922.361
AT ITER 233 NEW BEST:: SOT 223043 SOS 144523 HAS SOPS 130398 HAS SOUS 102439 HAS SOUPS 99644 WITH SCORE 99788.523
AT ITER 236 NEW BEST:: SOT 223008 SOS 144426 HAS SOPS 130328 HAS SOUS 102334 HAS SOUPS 99539 WITH SCORE 99683.426
AT ITER 238 NEW BEST:: SOT 223008 SOS 144177 HAS SOPS 130110 HAS SOUS 102303 HAS SOUPS 99539 WITH SCORE 99683.177
AT ITER 241 NEW BEST:: SOT 222926 SOS 143887 HAS SOPS 129820 HAS SOUS 102077 HAS SOUPS 99313 WITH SCORE 99456.887
AT ITER 243 NEW BEST:: SOT 222926 SOS 143294 HAS SOPS 129227 HAS SOUS 101914 HAS SOUPS 99150 WITH SCORE 99293.294
AT ITER 244 NEW BEST:: SOT 222821 SOS 143189 HAS SOPS 129122 HAS SOUS 101773 HAS SOUPS 99009 WITH SCORE 99152.189
AT ITER 246 NEW BEST:: SOT 222413 SOS 142777 HAS SOPS 128684 HAS SOUS 101273 HAS SOUPS 98509 WITH SCORE 98651.777
AT ITER 247 NEW BEST:: SOT 222403 SOS 142812 HAS SOPS 128679 HAS SOUS 101303 HAS SOUPS 98499 WITH SCORE 98641.812
AT ITER 248 NEW BEST:: SOT 222395 SOS 142804 HAS SOPS 128663 HAS SOUS 101274 HAS SOUPS 98470 WITH SCORE 98612.804
AT ITER 250 NEW BEST:: SOT 222395 SOS 142802 HAS SOPS 128661 HAS SOUS 101274 HAS SOUPS 98470 WITH SCORE 98612.802
AT ITER 253 NEW BEST:: SOT 222193 SOS 142580 HAS SOPS 128257 HAS SOUS 100971 HAS SOUPS 98167 WITH SCORE 98309.58
AT ITER 255 NEW BEST:: SOT 222103 SOS 142490 HAS SOPS 128167 HAS SOUS 100971 HAS SOUPS 98167 WITH SCORE 98309.49
AT ITER 259 NEW BEST:: SOT 221684 SOS 141379 HAS SOPS 127625 HAS SOUS 100718 HAS SOUPS 97965 WITH SCORE 98106.379
AT ITER 260 NEW BEST:: SOT 221684 SOS 141440 HAS SOPS 127603 HAS SOUS 100696 HAS SOUPS 97943 WITH SCORE 98084.44
AT ITER 266 NEW BEST:: SOT 219944 SOS 145657 HAS SOPS 127555 HAS SOUS 100089 HAS SOUPS 97180 WITH SCORE 97325.657
AT ITER 267 NEW BEST:: SOT 219931 SOS 145631 HAS SOPS 127529 HAS SOUS 100050 HAS SOUPS 97141 WITH SCORE 97286.631
AT ITER 270 NEW BEST:: SOT 219931 SOS 145611 HAS SOPS 127529 HAS SOUS 100050 HAS SOUPS 97141 WITH SCORE 97286.611
AT ITER 271 NEW BEST:: SOT 219422 SOS 145200 HAS SOPS 127471 HAS SOUS 99839 HAS SOUPS 96930 WITH SCORE 97075.2
AT ITER 274 NEW BEST:: SOT 219262 SOS 144966 HAS SOPS 127237 HAS SOUS 99531 HAS SOUPS 96622 WITH SCORE 96766.966
AT ITER 277 NEW BEST:: SOT 218917 SOS 144628 HAS SOPS 126934 HAS SOUS 99266 HAS SOUPS 96357 WITH SCORE 96501.628
AT ITER 278 NEW BEST:: SOT 218211 SOS 143710 HAS SOPS 126347 HAS SOUS 98586 HAS SOUPS 95677 WITH SCORE 95820.71
AT ITER 282 NEW BEST:: SOT 217757 SOS 143013 HAS SOPS 125650 HAS SOUS 97805 HAS SOUPS 94896 WITH SCORE 95039.013
AT ITER 283 NEW BEST:: SOT 216729 SOS 141903 HAS SOPS 124429 HAS SOUS 96598 HAS SOUPS 93677 WITH SCORE 93818.903
AT ITER 287 NEW BEST:: SOT 216729 SOS 141913 HAS SOPS 124399 HAS SOUS 96568 HAS SOUPS 93647 WITH SCORE 93788.913
AT ITER 288 NEW BEST:: SOT 216729 SOS 141903 HAS SOPS 124389 HAS SOUS 96568 HAS SOUPS 93647 WITH SCORE 93788.903
AT ITER 295 NEW BEST:: SOT 216729 SOS 141445 HAS SOPS 124025 HAS SOUS 96521 HAS SOUPS 93647 WITH SCORE 93788.445
AT ITER 296 NEW BEST:: SOT 216708 SOS 141353 HAS SOPS 123983 HAS SOUS 96479 HAS SOUPS 93605 WITH SCORE 93746.353
AT ITER 300 NEW BEST:: SOT 216708 SOS 141406 HAS SOPS 124036 HAS SOUS 96426 HAS SOUPS 93552 WITH SCORE 93693.406
AT ITER 305 NEW BEST:: SOT 216609 SOS 141307 HAS SOPS 123815 HAS SOUS 96083 HAS SOUPS 93209 WITH SCORE 93350.307
AT ITER 307 NEW BEST:: SOT 215749 SOS 140429 HAS SOPS 122961 HAS SOUS 95023 HAS SOUPS 92149 WITH SCORE 92289.429
AT ITER 308 NEW BEST:: SOT 215533 SOS 140213 HAS SOPS 122781 HAS SOUS 94843 HAS SOUPS 91969 WITH SCORE 92109.213
AT ITER 309 NEW BEST:: SOT 215214 SOS 140880 HAS SOPS 122520 HAS SOUS 94698 HAS SOUPS 91795 WITH SCORE 91935.88
AT ITER 310 NEW BEST:: SOT 215214 SOS 140901 HAS SOPS 122371 HAS SOUS 94646 HAS SOUPS 91743 WITH SCORE 91883.901
AT ITER 312 NEW BEST:: SOT 215214 SOS 140898 HAS SOPS 122368 HAS SOUS 94643 HAS SOUPS 91740 WITH SCORE 91880.898
AT ITER 318 NEW BEST:: SOT 214794 SOS 140478 HAS SOPS 121886 HAS SOUS 94013 HAS SOUPS 91110 WITH SCORE 91250.478
AT ITER 320 NEW BEST:: SOT 213936 SOS 139827 HAS SOPS 121094 HAS SOUS 93287 HAS SOUPS 90362 WITH SCORE 90501.827
AT ITER 326 NEW BEST:: SOT 212464 SOS 138268 HAS SOPS 119338 HAS SOUS 91531 HAS SOUPS 88606 WITH SCORE 88744.268
AT ITER 327 NEW BEST:: SOT 212501 SOS 137054 HAS SOPS 118236 HAS SOUS 91327 HAS SOUPS 88514 WITH SCORE 88651.054
AT ITER 336 NEW BEST:: SOT 212446 SOS 136800 HAS SOPS 117907 HAS SOUS 91210 HAS SOUPS 88397 WITH SCORE 88533.8
AT ITER 342 NEW BEST:: SOT 212446 SOS 136454 HAS SOPS 117561 HAS SOUS 91069 HAS SOUPS 88256 WITH SCORE 88392.454
AT ITER 351 NEW BEST:: SOT 212423 SOS 136354 HAS SOPS 117515 HAS SOUS 91022 HAS SOUPS 88209 WITH SCORE 88345.354
AT ITER 353 NEW BEST:: SOT 212389 SOS 136286 HAS SOPS 117475 HAS SOUS 91006 HAS SOUPS 88193 WITH SCORE 88329.286
AT ITER 357 NEW BEST:: SOT 212389 SOS 136278 HAS SOPS 117475 HAS SOUS 90973 HAS SOUPS 88160 WITH SCORE 88296.278
AT ITER 362 NEW BEST:: SOT 212098 SOS 135974 HAS SOPS 117221 HAS SOUS 90784 HAS SOUPS 87971 WITH SCORE 88106.974
AT ITER 364 NEW BEST:: SOT 211460 SOS 135510 HAS SOPS 116677 HAS SOUS 90086 HAS SOUPS 87273 WITH SCORE 87408.51
AT ITER 365 NEW BEST:: SOT 211460 SOS 135429 HAS SOPS 116596 HAS SOUS 90086 HAS SOUPS 87273 WITH SCORE 87408.429
AT ITER 366 NEW BEST:: SOT 211292 SOS 135177 HAS SOPS 116260 HAS SOUS 89834 HAS SOUPS 87021 WITH SCORE 87156.177
AT ITER 368 NEW BEST:: SOT 211292 SOS 135153 HAS SOPS 116260 HAS SOUS 89834 HAS SOUPS 87021 WITH SCORE 87156.153
AT ITER 369 NEW BEST:: SOT 211186 SOS 134947 HAS SOPS 116057 HAS SOUS 89631 HAS SOUPS 86818 WITH SCORE 86952.947
AT ITER 372 NEW BEST:: SOT 211186 SOS 134912 HAS SOPS 116072 HAS SOUS 89631 HAS SOUPS 86818 WITH SCORE 86952.912
AT ITER 373 NEW BEST:: SOT 211186 SOS 134909 HAS SOPS 116072 HAS SOUS 89631 HAS SOUPS 86818 WITH SCORE 86952.909
AT ITER 381 NEW BEST:: SOT 210309 SOS 136042 HAS SOPS 116028 HAS SOUS 89271 HAS SOUPS 86391 WITH SCORE 86527.042
AT ITER 382 NEW BEST:: SOT 209517 SOS 135333 HAS SOPS 115816 HAS SOUS 88640 HAS SOUPS 85841 WITH SCORE 85976.333
AT ITER 383 NEW BEST:: SOT 209581 SOS 134184 HAS SOPS 114781 HAS SOUS 88505 HAS SOUPS 85820 WITH SCORE 85954.184
AT ITER 384 NEW BEST:: SOT 205397 SOS 134105 HAS SOPS 111722 HAS SOUS 86033 HAS SOUPS 83160 WITH SCORE 83294.105
AT ITER 392 NEW BEST:: SOT 205397 SOS 134038 HAS SOPS 111618 HAS SOUS 86033 HAS SOUPS 83160 WITH SCORE 83294.038
AT ITER 398 NEW BEST:: SOT 205380 SOS 134036 HAS SOPS 111584 HAS SOUS 86048 HAS SOUPS 83143 WITH SCORE 83277.036
AT ITER 399 NEW BEST:: SOT 205380 SOS 134179 HAS SOPS 111584 HAS SOUS 85985 HAS SOUPS 83080 WITH SCORE 83214.179
AT ITER 402 NEW BEST:: SOT 204838 SOS 134371 HAS SOPS 111914 HAS SOUS 85946 HAS SOUPS 83041 WITH SCORE 83175.371
AT ITER 405 NEW BEST:: SOT 204838 SOS 134573 HAS SOPS 111914 HAS SOUS 85908 HAS SOUPS 83003 WITH SCORE 83137.573
AT ITER 410 NEW BEST:: SOT 204755 SOS 134479 HAS SOPS 111833 HAS SOUS 85803 HAS SOUPS 82898 WITH SCORE 83032.479
AT ITER 411 NEW BEST:: SOT 204755 SOS 134569 HAS SOPS 111833 HAS SOUS 85768 HAS SOUPS 82863 WITH SCORE 82997.569
AT ITER 412 NEW BEST:: SOT 204589 SOS 134403 HAS SOPS 111683 HAS SOUS 85635 HAS SOUPS 82730 WITH SCORE 82864.403
AT ITER 419 NEW BEST:: SOT 204573 SOS 134387 HAS SOPS 111651 HAS SOUS 85603 HAS SOUPS 82698 WITH SCORE 82832.387
AT ITER 423 NEW BEST:: SOT 204437 SOS 134251 HAS SOPS 111577 HAS SOUS 85511 HAS SOUPS 82606 WITH SCORE 82740.251
AT ITER 424 NEW BEST:: SOT 204359 SOS 134173 HAS SOPS 111499 HAS SOUS 85433 HAS SOUPS 82528 WITH SCORE 82662.173
AT ITER 429 NEW BEST:: SOT 204359 SOS 133379 HAS SOPS 110705 HAS SOUS 85433 HAS SOUPS 82528 WITH SCORE 82661.379
AT ITER 431 NEW BEST:: SOT 204298 SOS 133316 HAS SOPS 110611 HAS SOUS 85352 HAS SOUPS 82447 WITH SCORE 82580.316
AT ITER 432 NEW BEST:: SOT 204298 SOS 133096 HAS SOPS 110479 HAS SOUS 85282 HAS SOUPS 82421 WITH SCORE 82554.096
AT ITER 433 NEW BEST:: SOT 204298 SOS 133031 HAS SOPS 110479 HAS SOUS 85282 HAS SOUPS 82421 WITH SCORE 82554.031
AT ITER 441 NEW BEST:: SOT 204313 SOS 132852 HAS SOPS 110139 HAS SOUS 85119 HAS SOUPS 82258 WITH SCORE 82390.852
AT ITER 457 NEW BEST:: SOT 203357 SOS 131863 HAS SOPS 109364 HAS SOUS 84286 HAS SOUPS 81425 WITH SCORE 81556.863
AT ITER 458 NEW BEST:: SOT 203357 SOS 131691 HAS SOPS 109385 HAS SOUS 84286 HAS SOUPS 81425 WITH SCORE 81556.691
AT ITER 463 NEW BEST:: SOT 203357 SOS 131546 HAS SOPS 109247 HAS SOUS 84286 HAS SOUPS 81425 WITH SCORE 81556.546
AT ITER 472 NEW BEST:: SOT 199916 SOS 132427 HAS SOPS 106730 HAS SOUS 82237 HAS SOUPS 79205 WITH SCORE 79337.427
AT ITER 477 NEW BEST:: SOT 199916 SOS 132238 HAS SOPS 106562 HAS SOUS 82237 HAS SOUPS 79205 WITH SCORE 79337.238
AT ITER 478 NEW BEST:: SOT 199700 SOS 132022 HAS SOPS 106346 HAS SOUS 82021 HAS SOUPS 78989 WITH SCORE 79121.022
AT ITER 481 NEW BEST:: SOT 199700 SOS 131897 HAS SOPS 106523 HAS SOUS 82021 HAS SOUPS 78989 WITH SCORE 79120.897
AT ITER 484 NEW BEST:: SOT 199700 SOS 131866 HAS SOPS 106523 HAS SOUS 82021 HAS SOUPS 78989 WITH SCORE 79120.866
AT ITER 487 NEW BEST:: SOT 199700 SOS 131762 HAS SOPS 106523 HAS SOUS 82021 HAS SOUPS 78989 WITH SCORE 79120.762
AT ITER 489 NEW BEST:: SOT 199707 SOS 131062 HAS SOPS 105891 HAS SOUS 81932 HAS SOUPS 78968 WITH SCORE 79099.062
AT ITER 490 NEW BEST:: SOT 199509 SOS 130682 HAS SOPS 105325 HAS SOUS 81625 HAS SOUPS 78661 WITH SCORE 78791.682
AT ITER 491 NEW BEST:: SOT 199358 SOS 130220 HAS SOPS 104940 HAS SOUS 81394 HAS SOUPS 78430 WITH SCORE 78560.22
AT ITER 495 NEW BEST:: SOT 198639 SOS 129482 HAS SOPS 104482 HAS SOUS 80796 HAS SOUPS 77832 WITH SCORE 77961.482
AT ITER 497 NEW BEST:: SOT 198619 SOS 129462 HAS SOPS 104462 HAS SOUS 80776 HAS SOUPS 77812 WITH SCORE 77941.462
AT ITER 501 NEW BEST:: SOT 198619 SOS 129423 HAS SOPS 104423 HAS SOUS 80776 HAS SOUPS 77812 WITH SCORE 77941.423
AT ITER 507 NEW BEST:: SOT 198113 SOS 128969 HAS SOPS 104297 HAS SOUS 80542 HAS SOUPS 77578 WITH SCORE 77706.969
AT ITER 512 NEW BEST:: SOT 198108 SOS 128959 HAS SOPS 104282 HAS SOUS 80532 HAS SOUPS 77568 WITH SCORE 77696.959
AT ITER 513 NEW BEST:: SOT 198108 SOS 128315 HAS SOPS 103718 HAS SOUS 80532 HAS SOUPS 77568 WITH SCORE 77696.315
AT ITER 514 NEW BEST:: SOT 198108 SOS 128312 HAS SOPS 103718 HAS SOUS 80532 HAS SOUPS 77568 WITH SCORE 77696.312
AT ITER 515 NEW BEST:: SOT 198108 SOS 128282 HAS SOPS 103688 HAS SOUS 80532 HAS SOUPS 77568 WITH SCORE 77696.282
AT ITER 519 NEW BEST:: SOT 197800 SOS 127974 HAS SOPS 103726 HAS SOUS 80260 HAS SOUPS 77380 WITH SCORE 77507.974
AT ITER 523 NEW BEST:: SOT 197001 SOS 127300 HAS SOPS 102700 HAS SOUS 79579 HAS SOUPS 76588 WITH SCORE 76715.3
AT ITER 524 NEW BEST:: SOT 197007 SOS 127306 HAS SOPS 102706 HAS SOUS 79570 HAS SOUPS 76579 WITH SCORE 76706.306
AT ITER 529 NEW BEST:: SOT 196913 SOS 127212 HAS SOPS 102484 HAS SOUS 79382 HAS SOUPS 76391 WITH SCORE 76518.212
AT ITER 535 NEW BEST:: SOT 196505 SOS 126804 HAS SOPS 102077 HAS SOUS 78975 HAS SOUPS 75984 WITH SCORE 76110.804
AT ITER 538 NEW BEST:: SOT 196449 SOS 126761 HAS SOPS 101996 HAS SOUS 78881 HAS SOUPS 75890 WITH SCORE 76016.761
AT ITER 548 NEW BEST:: SOT 196342 SOS 126411 HAS SOPS 101969 HAS SOUS 78867 HAS SOUPS 75876 WITH SCORE 76002.411
AT ITER 549 NEW BEST:: SOT 196058 SOS 126127 HAS SOPS 101835 HAS SOUS 78724 HAS SOUPS 75733 WITH SCORE 75859.127
AT ITER 550 NEW BEST:: SOT 195756 SOS 125639 HAS SOPS 101098 HAS SOUS 78224 HAS SOUPS 75223 WITH SCORE 75348.639
AT ITER 553 NEW BEST:: SOT 195741 SOS 125609 HAS SOPS 101053 HAS SOUS 78055 HAS SOUPS 75054 WITH SCORE 75179.609
AT ITER 555 NEW BEST:: SOT 195741 SOS 125609 HAS SOPS 101053 HAS SOUS 78034 HAS SOUPS 75033 WITH SCORE 75158.609
AT ITER 560 NEW BEST:: SOT 195341 SOS 125273 HAS SOPS 100917 HAS SOUS 77772 HAS SOUPS 74771 WITH SCORE 74896.273
AT ITER 561 NEW BEST:: SOT 194873 SOS 124929 HAS SOPS 100935 HAS SOUS 77283 HAS SOUPS 74644 WITH SCORE 74768.929
AT ITER 564 NEW BEST:: SOT 194828 SOS 124854 HAS SOPS 100860 HAS SOUS 77163 HAS SOUPS 74524 WITH SCORE 74648.854
AT ITER 572 NEW BEST:: SOT 194863 SOS 124790 HAS SOPS 100855 HAS SOUS 77083 HAS SOUPS 74503 WITH SCORE 74627.79
AT ITER 577 NEW BEST:: SOT 194798 SOS 124725 HAS SOPS 100811 HAS SOUS 77039 HAS SOUPS 74459 WITH SCORE 74583.725
AT ITER 578 NEW BEST:: SOT 194660 SOS 124504 HAS SOPS 100604 HAS SOUS 76849 HAS SOUPS 74269 WITH SCORE 74393.504
AT ITER 580 NEW BEST:: SOT 194626 SOS 124305 HAS SOPS 100553 HAS SOUS 76782 HAS SOUPS 74202 WITH SCORE 74326.305
AT ITER 583 NEW BEST:: SOT 194028 SOS 123707 HAS SOPS 100059 HAS SOUS 76240 HAS SOUPS 73660 WITH SCORE 73783.707
AT ITER 595 NEW BEST:: SOT 193857 SOS 123635 HAS SOPS 99602 HAS SOUS 75815 HAS SOUPS 73235 WITH SCORE 73358.635
AT ITER 601 NEW BEST:: SOT 193713 SOS 123491 HAS SOPS 99440 HAS SOUS 75653 HAS SOUPS 73073 WITH SCORE 73196.491
AT ITER 604 NEW BEST:: SOT 193590 SOS 123428 HAS SOPS 99258 HAS SOUS 75526 HAS SOUPS 72946 WITH SCORE 73069.428
AT ITER 608 NEW BEST:: SOT 193323 SOS 123420 HAS SOPS 99224 HAS SOUS 75432 HAS SOUPS 72852 WITH SCORE 72975.42
AT ITER 609 NEW BEST:: SOT 193014 SOS 123089 HAS SOPS 98829 HAS SOUS 74849 HAS SOUPS 72269 WITH SCORE 72392.089
AT ITER 613 NEW BEST:: SOT 192998 SOS 123073 HAS SOPS 98805 HAS SOUS 74821 HAS SOUPS 72241 WITH SCORE 72364.073
AT ITER 615 NEW BEST:: SOT 192998 SOS 122977 HAS SOPS 98709 HAS SOUS 74821 HAS SOUPS 72241 WITH SCORE 72363.977
AT ITER 618 NEW BEST:: SOT 192991 SOS 122963 HAS SOPS 98695 HAS SOUS 74800 HAS SOUPS 72220 WITH SCORE 72342.963
AT ITER 622 NEW BEST:: SOT 192826 SOS 122798 HAS SOPS 98530 HAS SOUS 74771 HAS SOUPS 72191 WITH SCORE 72313.798
AT ITER 623 NEW BEST:: SOT 192658 SOS 122613 HAS SOPS 98290 HAS SOUS 74531 HAS SOUPS 71951 WITH SCORE 72073.613
AT ITER 640 NEW BEST:: SOT 192654 SOS 122609 HAS SOPS 98284 HAS SOUS 74523 HAS SOUPS 71943 WITH SCORE 72065.609
AT ITER 644 NEW BEST:: SOT 192616 SOS 122555 HAS SOPS 98208 HAS SOUS 74523 HAS SOUPS 71921 WITH SCORE 72043.555
AT ITER 647 NEW BEST:: SOT 192589 SOS 122539 HAS SOPS 98154 HAS SOUS 74468 HAS SOUPS 71866 WITH SCORE 71988.539
AT ITER 649 NEW BEST:: SOT 192531 SOS 122481 HAS SOPS 98055 HAS SOUS 74335 HAS SOUPS 71733 WITH SCORE 71855.481
AT ITER 650 NEW BEST:: SOT 192397 SOS 122308 HAS SOPS 97836 HAS SOUS 74057 HAS SOUPS 71455 WITH SCORE 71577.308
AT ITER 655 NEW BEST:: SOT 191369 SOS 121847 HAS SOPS 97510 HAS SOUS 73613 HAS SOUPS 71011 WITH SCORE 71132.847
AT ITER 660 NEW BEST:: SOT 191369 SOS 121847 HAS SOPS 97510 HAS SOUS 73588 HAS SOUPS 70986 WITH SCORE 71107.847
AT ITER 668 NEW BEST:: SOT 191349 SOS 121807 HAS SOPS 97474 HAS SOUS 73560 HAS SOUPS 70958 WITH SCORE 71079.807
AT ITER 673 NEW BEST:: SOT 191335 SOS 121793 HAS SOPS 97453 HAS SOUS 73547 HAS SOUPS 70955 WITH SCORE 71076.793
AT ITER 675 NEW BEST:: SOT 191418 SOS 121868 HAS SOPS 97075 HAS SOUS 73250 HAS SOUPS 70658 WITH SCORE 70779.868
AT ITER 676 NEW BEST:: SOT 191418 SOS 121668 HAS SOPS 96898 HAS SOUS 73250 HAS SOUPS 70658 WITH SCORE 70779.668
AT ITER 677 NEW BEST:: SOT 191406 SOS 121662 HAS SOPS 96856 HAS SOUS 73222 HAS SOUPS 70630 WITH SCORE 70751.662
AT ITER 679 NEW BEST:: SOT 191390 SOS 121646 HAS SOPS 96864 HAS SOUS 73222 HAS SOUPS 70630 WITH SCORE 70751.646
AT ITER 683 NEW BEST:: SOT 191332 SOS 121588 HAS SOPS 96779 HAS SOUS 73135 HAS SOUPS 70543 WITH SCORE 70664.588
AT ITER 684 NEW BEST:: SOT 191192 SOS 121362 HAS SOPS 96526 HAS SOUS 72882 HAS SOUPS 70290 WITH SCORE 70411.362
AT ITER 689 NEW BEST:: SOT 191192 SOS 121305 HAS SOPS 96585 HAS SOUS 72882 HAS SOUPS 70290 WITH SCORE 70411.305
AT ITER 691 NEW BEST:: SOT 190936 SOS 120936 HAS SOPS 96216 HAS SOUS 72555 HAS SOUPS 69963 WITH SCORE 70083.936
AT ITER 697 NEW BEST:: SOT 190936 SOS 120890 HAS SOPS 96172 HAS SOUS 72554 HAS SOUPS 69962 WITH SCORE 70082.89
AT ITER 698 NEW BEST:: SOT 190753 SOS 120686 HAS SOPS 96073 HAS SOUS 72410 HAS SOUPS 69818 WITH SCORE 69938.686
AT ITER 713 NEW BEST:: SOT 190589 SOS 120522 HAS SOPS 95911 HAS SOUS 72167 HAS SOUPS 69575 WITH SCORE 69695.522
AT ITER 721 NEW BEST:: SOT 190589 SOS 120522 HAS SOPS 95911 HAS SOUS 72164 HAS SOUPS 69572 WITH SCORE 69692.522
AT ITER 722 NEW BEST:: SOT 190589 SOS 120521 HAS SOPS 95910 HAS SOUS 72164 HAS SOUPS 69572 WITH SCORE 69692.521
AT ITER 723 NEW BEST:: SOT 190564 SOS 120492 HAS SOPS 95881 HAS SOUS 72093 HAS SOUPS 69501 WITH SCORE 69621.492
AT ITER 724 NEW BEST:: SOT 190542 SOS 120492 HAS SOPS 95837 HAS SOUS 72093 HAS SOUPS 69479 WITH SCORE 69599.492
AT ITER 727 NEW BEST:: SOT 190468 SOS 120418 HAS SOPS 95638 HAS SOUS 72019 HAS SOUPS 69395 WITH SCORE 69515.418
AT ITER 731 NEW BEST:: SOT 190437 SOS 120434 HAS SOPS 95577 HAS SOUS 71980 HAS SOUPS 69356 WITH SCORE 69476.434
AT ITER 735 NEW BEST:: SOT 190362 SOS 120334 HAS SOPS 95477 HAS SOUS 71905 HAS SOUPS 69281 WITH SCORE 69401.334
AT ITER 736 NEW BEST:: SOT 190297 SOS 120269 HAS SOPS 95412 HAS SOUS 71823 HAS SOUPS 69199 WITH SCORE 69319.269
AT ITER 741 NEW BEST:: SOT 190359 SOS 119883 HAS SOPS 94995 HAS SOUS 71646 HAS SOUPS 69022 WITH SCORE 69141.883
AT ITER 746 NEW BEST:: SOT 189457 SOS 119107 HAS SOPS 94359 HAS SOUS 70794 HAS SOUPS 68170 WITH SCORE 68289.107
AT ITER 753 NEW BEST:: SOT 189366 SOS 119016 HAS SOPS 94268 HAS SOUS 70703 HAS SOUPS 68079 WITH SCORE 68198.016
AT ITER 755 NEW BEST:: SOT 189070 SOS 118720 HAS SOPS 94011 HAS SOUS 70448 HAS SOUPS 67824 WITH SCORE 67942.72
AT ITER 764 NEW BEST:: SOT 189070 SOS 118614 HAS SOPS 94011 HAS SOUS 70448 HAS SOUPS 67824 WITH SCORE 67942.614
AT ITER 774 NEW BEST:: SOT 183245 SOS 117422 HAS SOPS 88790 HAS SOUS 66416 HAS SOUPS 63569 WITH SCORE 63686.422
AT ITER 775 NEW BEST:: SOT 183241 SOS 117418 HAS SOPS 88782 HAS SOUS 66404 HAS SOUPS 63557 WITH SCORE 63674.418
AT ITER 776 NEW BEST:: SOT 183154 SOS 117302 HAS SOPS 88637 HAS SOUS 66288 HAS SOUPS 63441 WITH SCORE 63558.302
AT ITER 783 NEW BEST:: SOT 183174 SOS 117322 HAS SOPS 88489 HAS SOUS 66177 HAS SOUPS 63330 WITH SCORE 63447.322
AT ITER 805 NEW BEST:: SOT 183146 SOS 117274 HAS SOPS 88415 HAS SOUS 66131 HAS SOUPS 63284 WITH SCORE 63401.274
AT ITER 808 NEW BEST:: SOT 182913 SOS 116993 HAS SOPS 88301 HAS SOUS 65950 HAS SOUPS 63103 WITH SCORE 63219.993
AT ITER 814 NEW BEST:: SOT 182438 SOS 118704 HAS SOPS 88353 HAS SOUS 65867 HAS SOUPS 62971 WITH SCORE 63089.704
AT ITER 824 NEW BEST:: SOT 181420 SOS 117966 HAS SOPS 88051 HAS SOUS 64886 HAS SOUPS 61990 WITH SCORE 62107.966
AT ITER 825 NEW BEST:: SOT 181356 SOS 117902 HAS SOPS 87987 HAS SOUS 64806 HAS SOUPS 61910 WITH SCORE 62027.902
AT ITER 828 NEW BEST:: SOT 181296 SOS 117842 HAS SOPS 87927 HAS SOUS 64746 HAS SOUPS 61850 WITH SCORE 61967.842
AT ITER 836 NEW BEST:: SOT 181296 SOS 117839 HAS SOPS 87875 HAS SOUS 64746 HAS SOUPS 61850 WITH SCORE 61967.839
AT ITER 839 NEW BEST:: SOT 181275 SOS 117818 HAS SOPS 87854 HAS SOUS 64725 HAS SOUPS 61829 WITH SCORE 61946.818
AT ITER 844 NEW BEST:: SOT 181188 SOS 118218 HAS SOPS 88150 HAS SOUS 64638 HAS SOUPS 61742 WITH SCORE 61860.218
AT ITER 851 NEW BEST:: SOT 180828 SOS 117858 HAS SOPS 87892 HAS SOUS 64474 HAS SOUPS 61578 WITH SCORE 61695.858
AT ITER 852 NEW BEST:: SOT 180798 SOS 117800 HAS SOPS 87833 HAS SOUS 64415 HAS SOUPS 61519 WITH SCORE 61636.8
AT ITER 866 NEW BEST:: SOT 180562 SOS 117635 HAS SOPS 87829 HAS SOUS 64410 HAS SOUPS 61514 WITH SCORE 61631.635
AT ITER 870 NEW BEST:: SOT 180694 SOS 117767 HAS SOPS 87829 HAS SOUS 64375 HAS SOUPS 61479 WITH SCORE 61596.767
AT ITER 878 NEW BEST:: SOT 180673 SOS 117860 HAS SOPS 87876 HAS SOUS 64242 HAS SOUPS 61346 WITH SCORE 61463.86
AT ITER 880 NEW BEST:: SOT 179885 SOS 117072 HAS SOPS 87134 HAS SOUS 63358 HAS SOUPS 60462 WITH SCORE 60579.072
AT ITER 881 NEW BEST:: SOT 179553 SOS 116740 HAS SOPS 86802 HAS SOUS 63131 HAS SOUPS 60235 WITH SCORE 60351.74
AT ITER 886 NEW BEST:: SOT 179506 SOS 116646 HAS SOPS 86708 HAS SOUS 62990 HAS SOUPS 60094 WITH SCORE 60210.646
AT ITER 887 NEW BEST:: SOT 179256 SOS 116271 HAS SOPS 86208 HAS SOUS 62561 HAS SOUPS 59665 WITH SCORE 59781.271
AT ITER 891 NEW BEST:: SOT 179256 SOS 116210 HAS SOPS 86269 HAS SOUS 62561 HAS SOUPS 59665 WITH SCORE 59781.21
AT ITER 892 NEW BEST:: SOT 179134 SOS 116088 HAS SOPS 86042 HAS SOUS 62299 HAS SOUPS 59403 WITH SCORE 59519.088
AT ITER 897 NEW BEST:: SOT 179007 SOS 116080 HAS SOPS 85978 HAS SOUS 62239 HAS SOUPS 59343 WITH SCORE 59459.08
AT ITER 899 NEW BEST:: SOT 178967 SOS 116043 HAS SOPS 85932 HAS SOUS 62135 HAS SOUPS 59239 WITH SCORE 59355.043
AT ITER 900 NEW BEST:: SOT 178967 SOS 115899 HAS SOPS 85788 HAS SOUS 62135 HAS SOUPS 59239 WITH SCORE 59354.899
AT ITER 908 NEW BEST:: SOT 178973 SOS 115905 HAS SOPS 85773 HAS SOUS 62048 HAS SOUPS 59152 WITH SCORE 59267.905
AT ITER 924 NEW BEST:: SOT 178413 SOS 115632 HAS SOPS 85825 HAS SOUS 61522 HAS SOUPS 58966 WITH SCORE 59081.632
AT ITER 926 NEW BEST:: SOT 178413 SOS 115577 HAS SOPS 85776 HAS SOUS 61522 HAS SOUPS 58966 WITH SCORE 59081.577
AT ITER 927 NEW BEST:: SOT 178030 SOS 115394 HAS SOPS 85794 HAS SOUS 61315 HAS SOUPS 58759 WITH SCORE 58874.394
AT ITER 930 NEW BEST:: SOT 177364 SOS 114728 HAS SOPS 85621 HAS SOUS 60950 HAS SOUPS 58394 WITH SCORE 58508.728
AT ITER 932 NEW BEST:: SOT 177090 SOS 114384 HAS SOPS 85169 HAS SOUS 60394 HAS SOUPS 57838 WITH SCORE 57952.384
AT ITER 933 NEW BEST:: SOT 176658 SOS 116606 HAS SOPS 85397 HAS SOUS 60410 HAS SOUPS 57801 WITH SCORE 57917.606
AT ITER 938 NEW BEST:: SOT 176434 SOS 116382 HAS SOPS 85196 HAS SOUS 60191 HAS SOUPS 57582 WITH SCORE 57698.382
AT ITER 940 NEW BEST:: SOT 176398 SOS 116210 HAS SOPS 85024 HAS SOUS 60084 HAS SOUPS 57475 WITH SCORE 57591.21
AT ITER 944 NEW BEST:: SOT 176398 SOS 116210 HAS SOPS 85024 HAS SOUS 60083 HAS SOUPS 57474 WITH SCORE 57590.21
AT ITER 950 NEW BEST:: SOT 173668 SOS 122777 HAS SOPS 84912 HAS SOUS 59212 HAS SOUPS 56400 WITH SCORE 56522.777
AT ITER 953 NEW BEST:: SOT 173668 SOS 122777 HAS SOPS 84912 HAS SOUS 59208 HAS SOUPS 56396 WITH SCORE 56518.777
AT ITER 961 NEW BEST:: SOT 173654 SOS 122749 HAS SOPS 84870 HAS SOUS 59194 HAS SOUPS 56382 WITH SCORE 56504.749
AT ITER 962 NEW BEST:: SOT 173634 SOS 122729 HAS SOPS 84840 HAS SOUS 59154 HAS SOUPS 56342 WITH SCORE 56464.729
AT ITER 965 NEW BEST:: SOT 173837 SOS 123053 HAS SOPS 84655 HAS SOUS 59059 HAS SOUPS 56247 WITH SCORE 56370.053
AT ITER 978 NEW BEST:: SOT 173777 SOS 122993 HAS SOPS 84595 HAS SOUS 58999 HAS SOUPS 56187 WITH SCORE 56309.993
AT ITER 986 NEW BEST:: SOT 173777 SOS 122993 HAS SOPS 84595 HAS SOUS 58993 HAS SOUPS 56181 WITH SCORE 56303.993
AT ITER 989 NEW BEST:: SOT 173535 SOS 122526 HAS SOPS 84232 HAS SOUS 58697 HAS SOUPS 55885 WITH SCORE 56007.526
AT ITER 996 NEW BEST:: SOT 173370 SOS 122354 HAS SOPS 83850 HAS SOUS 58446 HAS SOUPS 55634 WITH SCORE 55756.354
AT ITER 1003 NEW BEST:: SOT 173326 SOS 122201 HAS SOPS 83675 HAS SOUS 58335 HAS SOUPS 55523 WITH SCORE 55645.201
AT ITER 1005 NEW BEST:: SOT 173244 SOS 122119 HAS SOPS 83464 HAS SOUS 58212 HAS SOUPS 55400 WITH SCORE 55522.119
AT ITER 1007 NEW BEST:: SOT 173042 SOS 122017 HAS SOPS 83392 HAS SOUS 58134 HAS SOUPS 55322 WITH SCORE 55444.017
AT ITER 1012 NEW BEST:: SOT 173024 SOS 121999 HAS SOPS 83365 HAS SOUS 58098 HAS SOUPS 55286 WITH SCORE 55407.999
AT ITER 1013 NEW BEST:: SOT 172916 SOS 121767 HAS SOPS 83203 HAS SOUS 57933 HAS SOUPS 55121 WITH SCORE 55242.767
AT ITER 1019 NEW BEST:: SOT 172811 SOS 122658 HAS SOPS 83438 HAS SOUS 57947 HAS SOUPS 55119 WITH SCORE 55241.658
AT ITER 1026 NEW BEST:: SOT 172739 SOS 122568 HAS SOPS 83402 HAS SOUS 57893 HAS SOUPS 55065 WITH SCORE 55187.568
AT ITER 1028 NEW BEST:: SOT 172709 SOS 122538 HAS SOPS 83357 HAS SOUS 57848 HAS SOUPS 55020 WITH SCORE 55142.538
AT ITER 1029 NEW BEST:: SOT 172709 SOS 122511 HAS SOPS 83357 HAS SOUS 57848 HAS SOUPS 55020 WITH SCORE 55142.511
AT ITER 1034 NEW BEST:: SOT 172683 SOS 122485 HAS SOPS 83318 HAS SOUS 57792 HAS SOUPS 54964 WITH SCORE 55086.485
AT ITER 1038 NEW BEST:: SOT 172510 SOS 122270 HAS SOPS 83103 HAS SOUS 57535 HAS SOUPS 54707 WITH SCORE 54829.27
AT ITER 1040 NEW BEST:: SOT 172332 SOS 122092 HAS SOPS 83152 HAS SOUS 57496 HAS SOUPS 54691 WITH SCORE 54813.092
AT ITER 1041 NEW BEST:: SOT 172313 SOS 122073 HAS SOPS 83130 HAS SOUS 57474 HAS SOUPS 54669 WITH SCORE 54791.073
AT ITER 1046 NEW BEST:: SOT 171703 SOS 121517 HAS SOPS 83193 HAS SOUS 57324 HAS SOUPS 54519 WITH SCORE 54640.517
AT ITER 1072 NEW BEST:: SOT 171413 SOS 121223 HAS SOPS 83007 HAS SOUS 57138 HAS SOUPS 54333 WITH SCORE 54454.223
AT ITER 1075 NEW BEST:: SOT 171411 SOS 121221 HAS SOPS 83004 HAS SOUS 57136 HAS SOUPS 54331 WITH SCORE 54452.221
AT ITER 1079 NEW BEST:: SOT 171381 SOS 121191 HAS SOPS 82959 HAS SOUS 57106 HAS SOUPS 54301 WITH SCORE 54422.191
AT ITER 1081 NEW BEST:: SOT 171447 SOS 121257 HAS SOPS 82867 HAS SOUS 57074 HAS SOUPS 54269 WITH SCORE 54390.257
AT ITER 1090 NEW BEST:: SOT 171528 SOS 121264 HAS SOPS 82895 HAS SOUS 57018 HAS SOUPS 54234 WITH SCORE 54355.264
AT ITER 1095 NEW BEST:: SOT 171528 SOS 121059 HAS SOPS 82690 HAS SOUS 57018 HAS SOUPS 54234 WITH SCORE 54355.059
AT ITER 1100 NEW BEST:: SOT 171522 SOS 121053 HAS SOPS 82678 HAS SOUS 57000 HAS SOUPS 54216 WITH SCORE 54337.053
AT ITER 1102 NEW BEST:: SOT 171360 SOS 120851 HAS SOPS 82512 HAS SOUS 56885 HAS SOUPS 54101 WITH SCORE 54221.851
AT ITER 1106 NEW BEST:: SOT 171208 SOS 120699 HAS SOPS 82284 HAS SOUS 56657 HAS SOUPS 53873 WITH SCORE 53993.699
AT ITER 1109 NEW BEST:: SOT 171176 SOS 120667 HAS SOPS 82252 HAS SOUS 56594 HAS SOUPS 53810 WITH SCORE 53930.667
AT ITER 1113 NEW BEST:: SOT 171156 SOS 120647 HAS SOPS 82222 HAS SOUS 56554 HAS SOUPS 53770 WITH SCORE 53890.647
AT ITER 1131 NEW BEST:: SOT 167890 SOS 123165 HAS SOPS 81343 HAS SOUS 54337 HAS SOUPS 51389 WITH SCORE 51512.165
AT ITER 1133 NEW BEST:: SOT 167797 SOS 123084 HAS SOPS 81246 HAS SOUS 54332 HAS SOUPS 51384 WITH SCORE 51507.084
AT ITER 1134 NEW BEST:: SOT 167681 SOS 122968 HAS SOPS 81188 HAS SOUS 54222 HAS SOUPS 51303 WITH SCORE 51425.968
AT ITER 1155 NEW BEST:: SOT 167347 SOS 122634 HAS SOPS 81376 HAS SOUS 54125 HAS SOUPS 51206 WITH SCORE 51328.634
AT ITER 1165 NEW BEST:: SOT 167095 SOS 122382 HAS SOPS 81410 HAS SOUS 53939 HAS SOUPS 51076 WITH SCORE 51198.382
AT ITER 1168 NEW BEST:: SOT 167075 SOS 122167 HAS SOPS 81288 HAS SOUS 53911 HAS SOUPS 51048 WITH SCORE 51170.167
AT ITER 1171 NEW BEST:: SOT 166937 SOS 122029 HAS SOPS 81081 HAS SOUS 53729 HAS SOUPS 50866 WITH SCORE 50988.029
AT ITER 1174 NEW BEST:: SOT 166937 SOS 122018 HAS SOPS 81070 HAS SOUS 53729 HAS SOUPS 50866 WITH SCORE 50988.018
AT ITER 1191 NEW BEST:: SOT 166874 SOS 121644 HAS SOPS 80834 HAS SOUS 53646 HAS SOUPS 50783 WITH SCORE 50904.644
AT ITER 1193 NEW BEST:: SOT 166830 SOS 121600 HAS SOPS 80695 HAS SOUS 53556 HAS SOUPS 50693 WITH SCORE 50814.6
AT ITER 1195 NEW BEST:: SOT 166854 SOS 121520 HAS SOPS 80668 HAS SOUS 53463 HAS SOUPS 50653 WITH SCORE 50774.52
AT ITER 1196 NEW BEST:: SOT 166854 SOS 121201 HAS SOPS 80400 HAS SOUS 53463 HAS SOUPS 50653 WITH SCORE 50774.201
AT ITER 1197 NEW BEST:: SOT 166850 SOS 121197 HAS SOPS 80392 HAS SOUS 53459 HAS SOUPS 50645 WITH SCORE 50766.197
AT ITER 1203 NEW BEST:: SOT 166638 SOS 120985 HAS SOPS 80074 HAS SOUS 53241 HAS SOUPS 50427 WITH SCORE 50547.985
AT ITER 1206 NEW BEST:: SOT 166502 SOS 120771 HAS SOPS 79905 HAS SOUS 53037 HAS SOUPS 50223 WITH SCORE 50343.771
AT ITER 1208 NEW BEST:: SOT 166502 SOS 120771 HAS SOPS 79905 HAS SOUS 53004 HAS SOUPS 50190 WITH SCORE 50310.771
AT ITER 1210 NEW BEST:: SOT 166093 SOS 122654 HAS SOPS 80361 HAS SOUS 52889 HAS SOUPS 50033 WITH SCORE 50155.654
AT ITER 1212 NEW BEST:: SOT 166057 SOS 122618 HAS SOPS 80130 HAS SOUS 52677 HAS SOUPS 49821 WITH SCORE 49943.618
AT ITER 1226 NEW BEST:: SOT 166035 SOS 122596 HAS SOPS 80097 HAS SOUS 52546 HAS SOUPS 49690 WITH SCORE 49812.596
AT ITER 1229 NEW BEST:: SOT 166034 SOS 122706 HAS SOPS 80194 HAS SOUS 52527 HAS SOUPS 49671 WITH SCORE 49793.706
AT ITER 1233 NEW BEST:: SOT 166065 SOS 122630 HAS SOPS 79940 HAS SOUS 52367 HAS SOUPS 49511 WITH SCORE 49633.63
AT ITER 1240 NEW BEST:: SOT 165953 SOS 122518 HAS SOPS 79879 HAS SOUS 52302 HAS SOUPS 49446 WITH SCORE 49568.518
AT ITER 1247 NEW BEST:: SOT 165761 SOS 122326 HAS SOPS 79747 HAS SOUS 52149 HAS SOUPS 49293 WITH SCORE 49415.326
AT ITER 1248 NEW BEST:: SOT 165228 SOS 121780 HAS SOPS 79451 HAS SOUS 51872 HAS SOUPS 49016 WITH SCORE 49137.78
AT ITER 1251 NEW BEST:: SOT 165094 SOS 121609 HAS SOPS 79183 HAS SOUS 51678 HAS SOUPS 48822 WITH SCORE 48943.609
AT ITER 1252 NEW BEST:: SOT 165094 SOS 121537 HAS SOPS 79275 HAS SOUS 51678 HAS SOUPS 48822 WITH SCORE 48943.537
AT ITER 1257 NEW BEST:: SOT 164650 SOS 121093 HAS SOPS 79385 HAS SOUS 51586 HAS SOUPS 48730 WITH SCORE 48851.093
AT ITER 1258 NEW BEST:: SOT 164628 SOS 121073 HAS SOPS 79341 HAS SOUS 51491 HAS SOUPS 48635 WITH SCORE 48756.073
AT ITER 1262 NEW BEST:: SOT 164628 SOS 121073 HAS SOPS 79289 HAS SOUS 51404 HAS SOUPS 48548 WITH SCORE 48669.073
AT ITER 1263 NEW BEST:: SOT 164538 SOS 120983 HAS SOPS 79213 HAS SOUS 51340 HAS SOUPS 48484 WITH SCORE 48604.983
AT ITER 1275 NEW BEST:: SOT 164478 SOS 120923 HAS SOPS 79153 HAS SOUS 51304 HAS SOUPS 48448 WITH SCORE 48568.923
AT ITER 1277 NEW BEST:: SOT 164478 SOS 120182 HAS SOPS 78460 HAS SOUS 51287 HAS SOUPS 48431 WITH SCORE 48551.182
AT ITER 1278 NEW BEST:: SOT 164461 SOS 120165 HAS SOPS 78415 HAS SOUS 51184 HAS SOUPS 48328 WITH SCORE 48448.165
AT ITER 1294 NEW BEST:: SOT 164445 SOS 120149 HAS SOPS 78423 HAS SOUS 51184 HAS SOUPS 48328 WITH SCORE 48448.149
AT ITER 1298 NEW BEST:: SOT 164413 SOS 120117 HAS SOPS 78391 HAS SOUS 51152 HAS SOUPS 48296 WITH SCORE 48416.117
AT ITER 1301 NEW BEST:: SOT 164625 SOS 120265 HAS SOPS 77978 HAS SOUS 50986 HAS SOUPS 48130 WITH SCORE 48250.265
AT ITER 1303 NEW BEST:: SOT 164625 SOS 120206 HAS SOPS 77978 HAS SOUS 50986 HAS SOUPS 48130 WITH SCORE 48250.206
AT ITER 1309 NEW BEST:: SOT 164625 SOS 120206 HAS SOPS 77930 HAS SOUS 50962 HAS SOUPS 48106 WITH SCORE 48226.206
AT ITER 1325 NEW BEST:: SOT 164329 SOS 119910 HAS SOPS 77621 HAS SOUS 50653 HAS SOUPS 47797 WITH SCORE 47916.91
AT ITER 1342 NEW BEST:: SOT 164237 SOS 119818 HAS SOPS 77531 HAS SOUS 50563 HAS SOUPS 47707 WITH SCORE 47826.818
AT ITER 1347 NEW BEST:: SOT 163861 SOS 119442 HAS SOPS 77447 HAS SOUS 50479 HAS SOUPS 47623 WITH SCORE 47742.442
AT ITER 1359 NEW BEST:: SOT 163861 SOS 119415 HAS SOPS 77447 HAS SOUS 50479 HAS SOUPS 47623 WITH SCORE 47742.415
AT ITER 1365 NEW BEST:: SOT 163819 SOS 119250 HAS SOPS 77282 HAS SOUS 50357 HAS SOUPS 47501 WITH SCORE 47620.25
AT ITER 1369 NEW BEST:: SOT 163803 SOS 119360 HAS SOPS 77384 HAS SOUS 50325 HAS SOUPS 47469 WITH SCORE 47588.36
AT ITER 1370 NEW BEST:: SOT 163642 SOS 119192 HAS SOPS 77129 HAS SOUS 49976 HAS SOUPS 47120 WITH SCORE 47239.192
AT ITER 1381 NEW BEST:: SOT 163562 SOS 119100 HAS SOPS 77009 HAS SOUS 49816 HAS SOUPS 46960 WITH SCORE 47079.1
AT ITER 1390 NEW BEST:: SOT 163532 SOS 119070 HAS SOPS 76964 HAS SOUS 49771 HAS SOUPS 46915 WITH SCORE 47034.07
AT ITER 1391 NEW BEST:: SOT 163512 SOS 119050 HAS SOPS 76934 HAS SOUS 49741 HAS SOUPS 46885 WITH SCORE 47004.05
AT ITER 1397 NEW BEST:: SOT 163434 SOS 118972 HAS SOPS 76829 HAS SOUS 49558 HAS SOUPS 46702 WITH SCORE 46820.972
AT ITER 1398 NEW BEST:: SOT 163434 SOS 118972 HAS SOPS 76829 HAS SOUS 49538 HAS SOUPS 46682 WITH SCORE 46800.972
AT ITER 1419 NEW BEST:: SOT 163410 SOS 118948 HAS SOPS 76805 HAS SOUS 49520 HAS SOUPS 46664 WITH SCORE 46782.948
AT ITER 1421 NEW BEST:: SOT 163406 SOS 118944 HAS SOPS 76799 HAS SOUS 49512 HAS SOUPS 46656 WITH SCORE 46774.944
AT ITER 1423 NEW BEST:: SOT 163360 SOS 118898 HAS SOPS 76707 HAS SOUS 49329 HAS SOUPS 46473 WITH SCORE 46591.898
AT ITER 1424 NEW BEST:: SOT 163119 SOS 119160 HAS SOPS 76861 HAS SOUS 49240 HAS SOUPS 46384 WITH SCORE 46503.16
AT ITER 1431 NEW BEST:: SOT 163025 SOS 119066 HAS SOPS 76720 HAS SOUS 49099 HAS SOUPS 46243 WITH SCORE 46362.066
AT ITER 1435 NEW BEST:: SOT 163025 SOS 119066 HAS SOPS 76720 HAS SOUS 49076 HAS SOUPS 46220 WITH SCORE 46339.066
AT ITER 1436 NEW BEST:: SOT 163050 SOS 118481 HAS SOPS 76132 HAS SOUS 49030 HAS SOUPS 46171 WITH SCORE 46289.481
AT ITER 1448 NEW BEST:: SOT 163042 SOS 118473 HAS SOPS 76096 HAS SOUS 49006 HAS SOUPS 46147 WITH SCORE 46265.473
AT ITER 1450 NEW BEST:: SOT 163020 SOS 118451 HAS SOPS 76063 HAS SOUS 48973 HAS SOUPS 46114 WITH SCORE 46232.451
AT ITER 1451 NEW BEST:: SOT 162952 SOS 118383 HAS SOPS 75961 HAS SOUS 48857 HAS SOUPS 45998 WITH SCORE 46116.383
AT ITER 1461 NEW BEST:: SOT 162928 SOS 118359 HAS SOPS 75925 HAS SOUS 48816 HAS SOUPS 45957 WITH SCORE 46075.359
AT ITER 1463 NEW BEST:: SOT 162508 SOS 117939 HAS SOPS 75455 HAS SOUS 48347 HAS SOUPS 45488 WITH SCORE 45605.939
AT ITER 1468 NEW BEST:: SOT 162361 SOS 117719 HAS SOPS 75136 HAS SOUS 48166 HAS SOUPS 45260 WITH SCORE 45377.719
AT ITER 1472 NEW BEST:: SOT 162383 SOS 117741 HAS SOPS 75169 HAS SOUS 48136 HAS SOUPS 45230 WITH SCORE 45347.741
AT ITER 1483 NEW BEST:: SOT 162383 SOS 117728 HAS SOPS 75169 HAS SOUS 48136 HAS SOUPS 45230 WITH SCORE 45347.728
AT ITER 1493 NEW BEST:: SOT 162408 SOS 117753 HAS SOPS 75192 HAS SOUS 48106 HAS SOUPS 45200 WITH SCORE 45317.753
AT ITER 1496 NEW BEST:: SOT 162288 SOS 117633 HAS SOPS 74918 HAS SOUS 47855 HAS SOUPS 44949 WITH SCORE 45066.633
AT ITER 1525 NEW BEST:: SOT 162288 SOS 117606 HAS SOPS 74918 HAS SOUS 47855 HAS SOUPS 44949 WITH SCORE 45066.606
AT ITER 1534 NEW BEST:: SOT 162365 SOS 116933 HAS SOPS 74725 HAS SOUS 47841 HAS SOUPS 44947 WITH SCORE 45063.933
AT ITER 1538 NEW BEST:: SOT 162352 SOS 116753 HAS SOPS 74523 HAS SOUS 47850 HAS SOUPS 44934 WITH SCORE 45050.753
AT ITER 1549 NEW BEST:: SOT 162222 SOS 116623 HAS SOPS 74328 HAS SOUS 47601 HAS SOUPS 44685 WITH SCORE 44801.623
AT ITER 1551 NEW BEST:: SOT 161768 SOS 117557 HAS SOPS 74467 HAS SOUS 47442 HAS SOUPS 44493 WITH SCORE 44610.557
AT ITER 1557 NEW BEST:: SOT 161819 SOS 116990 HAS SOPS 73983 HAS SOUS 47376 HAS SOUPS 44427 WITH SCORE 44543.99
AT ITER 1560 NEW BEST:: SOT 161769 SOS 116940 HAS SOPS 73923 HAS SOUS 47316 HAS SOUPS 44367 WITH SCORE 44483.94
AT ITER 1561 NEW BEST:: SOT 161759 SOS 116920 HAS SOPS 73903 HAS SOUS 47296 HAS SOUPS 44347 WITH SCORE 44463.92
AT ITER 1568 NEW BEST:: SOT 161805 SOS 116966 HAS SOPS 73903 HAS SOUS 47273 HAS SOUPS 44324 WITH SCORE 44440.966
AT ITER 1570 NEW BEST:: SOT 161763 SOS 116912 HAS SOPS 73819 HAS SOUS 47189 HAS SOUPS 44240 WITH SCORE 44356.912
AT ITER 1573 NEW BEST:: SOT 161749 SOS 116898 HAS SOPS 73805 HAS SOUS 47147 HAS SOUPS 44198 WITH SCORE 44314.898
AT ITER 1575 NEW BEST:: SOT 161005 SOS 116144 HAS SOPS 73051 HAS SOUS 46641 HAS SOUPS 43692 WITH SCORE 43808.144
AT ITER 1576 NEW BEST:: SOT 161005 SOS 116101 HAS SOPS 73049 HAS SOUS 46641 HAS SOUPS 43692 WITH SCORE 43808.101
AT ITER 1580 NEW BEST:: SOT 160999 SOS 116092 HAS SOPS 73040 HAS SOUS 46632 HAS SOUPS 43683 WITH SCORE 43799.092
AT ITER 1585 NEW BEST:: SOT 160975 SOS 116068 HAS SOPS 72992 HAS SOUS 46625 HAS SOUPS 43676 WITH SCORE 43792.068
AT ITER 1592 NEW BEST:: SOT 160843 SOS 115936 HAS SOPS 73058 HAS SOUS 46625 HAS SOUPS 43676 WITH SCORE 43791.936
AT ITER 1593 NEW BEST:: SOT 160885 SOS 116010 HAS SOPS 72981 HAS SOUS 46583 HAS SOUPS 43634 WITH SCORE 43750.01
AT ITER 1595 NEW BEST:: SOT 160837 SOS 115962 HAS SOPS 72933 HAS SOUS 46554 HAS SOUPS 43605 WITH SCORE 43720.962
AT ITER 1609 NEW BEST:: SOT 160822 SOS 115947 HAS SOPS 72939 HAS SOUS 46554 HAS SOUPS 43605 WITH SCORE 43720.947
AT ITER 1611 NEW BEST:: SOT 160748 SOS 115841 HAS SOPS 72828 HAS SOUS 46443 HAS SOUPS 43494 WITH SCORE 43609.841
AT ITER 1617 NEW BEST:: SOT 160679 SOS 116263 HAS SOPS 72900 HAS SOUS 46440 HAS SOUPS 43482 WITH SCORE 43598.263
AT ITER 1619 NEW BEST:: SOT 160678 SOS 116262 HAS SOPS 72864 HAS SOUS 46384 HAS SOUPS 43426 WITH SCORE 43542.262
AT ITER 1620 NEW BEST:: SOT 160592 SOS 116176 HAS SOPS 72735 HAS SOUS 46255 HAS SOUPS 43297 WITH SCORE 43413.176
AT ITER 1621 NEW BEST:: SOT 160684 SOS 115797 HAS SOPS 72122 HAS SOUS 46087 HAS SOUPS 43129 WITH SCORE 43244.797
AT ITER 1622 NEW BEST:: SOT 160624 SOS 115735 HAS SOPS 72032 HAS SOUS 45993 HAS SOUPS 43035 WITH SCORE 43150.735
AT ITER 1623 NEW BEST:: SOT 160579 SOS 115690 HAS SOPS 71972 HAS SOUS 45963 HAS SOUPS 43005 WITH SCORE 43120.69
AT ITER 1629 NEW BEST:: SOT 160581 SOS 115692 HAS SOPS 71939 HAS SOUS 45931 HAS SOUPS 42973 WITH SCORE 43088.692
AT ITER 1631 NEW BEST:: SOT 160561 SOS 115672 HAS SOPS 71861 HAS SOUS 45877 HAS SOUPS 42919 WITH SCORE 43034.672
AT ITER 1638 NEW BEST:: SOT 160498 SOS 115640 HAS SOPS 71701 HAS SOUS 45775 HAS SOUPS 42817 WITH SCORE 42932.64
AT ITER 1644 NEW BEST:: SOT 160394 SOS 115536 HAS SOPS 71684 HAS SOUS 45720 HAS SOUPS 42762 WITH SCORE 42877.536
AT ITER 1648 NEW BEST:: SOT 160331 SOS 115421 HAS SOPS 71604 HAS SOUS 45620 HAS SOUPS 42662 WITH SCORE 42777.421
AT ITER 1649 NEW BEST:: SOT 160267 SOS 115357 HAS SOPS 71508 HAS SOUS 45524 HAS SOUPS 42566 WITH SCORE 42681.357
AT ITER 1651 NEW BEST:: SOT 160267 SOS 115357 HAS SOPS 71508 HAS SOUS 45520 HAS SOUPS 42562 WITH SCORE 42677.357
AT ITER 1654 NEW BEST:: SOT 160267 SOS 115357 HAS SOPS 71508 HAS SOUS 45501 HAS SOUPS 42543 WITH SCORE 42658.357
AT ITER 1656 NEW BEST:: SOT 160260 SOS 115350 HAS SOPS 71496 HAS SOUS 45489 HAS SOUPS 42531 WITH SCORE 42646.35
AT ITER 1661 NEW BEST:: SOT 160260 SOS 115350 HAS SOPS 71440 HAS SOUS 45433 HAS SOUPS 42475 WITH SCORE 42590.35
AT ITER 1671 NEW BEST:: SOT 160206 SOS 115296 HAS SOPS 71359 HAS SOUS 45368 HAS SOUPS 42410 WITH SCORE 42525.296
AT ITER 1676 NEW BEST:: SOT 159660 SOS 118383 HAS SOPS 72051 HAS SOUS 45218 HAS SOUPS 42194 WITH SCORE 42312.383
AT ITER 1678 NEW BEST:: SOT 159573 SOS 118285 HAS SOPS 71964 HAS SOUS 45131 HAS SOUPS 42107 WITH SCORE 42225.285
AT ITER 1679 NEW BEST:: SOT 159561 SOS 118273 HAS SOPS 71946 HAS SOUS 45113 HAS SOUPS 42089 WITH SCORE 42207.273
AT ITER 1683 NEW BEST:: SOT 159561 SOS 118261 HAS SOPS 71946 HAS SOUS 45113 HAS SOUPS 42089 WITH SCORE 42207.261
AT ITER 1684 NEW BEST:: SOT 159491 SOS 118180 HAS SOPS 71926 HAS SOUS 45008 HAS SOUPS 41984 WITH SCORE 42102.18
AT ITER 1693 NEW BEST:: SOT 159489 SOS 118133 HAS SOPS 71923 HAS SOUS 44987 HAS SOUPS 41963 WITH SCORE 42081.133
AT ITER 1695 NEW BEST:: SOT 159401 SOS 118045 HAS SOPS 71652 HAS SOUS 44553 HAS SOUPS 41529 WITH SCORE 41647.045
AT ITER 1696 NEW BEST:: SOT 159416 SOS 117648 HAS SOPS 71281 HAS SOUS 44532 HAS SOUPS 41508 WITH SCORE 41625.648
AT ITER 1719 NEW BEST:: SOT 159196 SOS 117342 HAS SOPS 71099 HAS SOUS 44373 HAS SOUPS 41349 WITH SCORE 41466.342
AT ITER 1721 NEW BEST:: SOT 159200 SOS 117338 HAS SOPS 71099 HAS SOUS 44373 HAS SOUPS 41349 WITH SCORE 41466.338
AT ITER 1726 NEW BEST:: SOT 158938 SOS 117132 HAS SOPS 71095 HAS SOUS 44357 HAS SOUPS 41333 WITH SCORE 41450.132
AT ITER 1730 NEW BEST:: SOT 158878 SOS 117072 HAS SOPS 71120 HAS SOUS 44354 HAS SOUPS 41330 WITH SCORE 41447.072
AT ITER 1736 NEW BEST:: SOT 158858 SOS 117052 HAS SOPS 71090 HAS SOUS 44324 HAS SOUPS 41300 WITH SCORE 41417.052
AT ITER 1743 NEW BEST:: SOT 158833 SOS 117058 HAS SOPS 71051 HAS SOUS 44285 HAS SOUPS 41261 WITH SCORE 41378.058
AT ITER 1757 NEW BEST:: SOT 158844 SOS 117069 HAS SOPS 70982 HAS SOUS 44170 HAS SOUPS 41146 WITH SCORE 41263.069
AT ITER 1764 NEW BEST:: SOT 158544 SOS 116769 HAS SOPS 70630 HAS SOUS 43824 HAS SOUPS 40800 WITH SCORE 40916.769
AT ITER 1772 NEW BEST:: SOT 158544 SOS 116769 HAS SOPS 70630 HAS SOUS 43776 HAS SOUPS 40752 WITH SCORE 40868.769
AT ITER 1773 NEW BEST:: SOT 158544 SOS 116769 HAS SOPS 70570 HAS SOUS 43716 HAS SOUPS 40692 WITH SCORE 40808.769
AT ITER 1783 NEW BEST:: SOT 158353 SOS 116578 HAS SOPS 70329 HAS SOUS 43528 HAS SOUPS 40504 WITH SCORE 40620.578
AT ITER 1790 NEW BEST:: SOT 158353 SOS 116578 HAS SOPS 70329 HAS SOUS 43527 HAS SOUPS 40503 WITH SCORE 40619.578
AT ITER 1791 NEW BEST:: SOT 158207 SOS 116517 HAS SOPS 70037 HAS SOUS 43374 HAS SOUPS 40350 WITH SCORE 40466.517
AT ITER 1805 NEW BEST:: SOT 158181 SOS 116491 HAS SOPS 70000 HAS SOUS 43348 HAS SOUPS 40324 WITH SCORE 40440.491
AT ITER 1807 NEW BEST:: SOT 158065 SOS 116375 HAS SOPS 70038 HAS SOUS 43228 HAS SOUPS 40269 WITH SCORE 40385.375
AT ITER 1820 NEW BEST:: SOT 158065 SOS 116375 HAS SOPS 70038 HAS SOUS 43214 HAS SOUPS 40255 WITH SCORE 40371.375
AT ITER 1821 NEW BEST:: SOT 158065 SOS 116367 HAS SOPS 70034 HAS SOUS 43208 HAS SOUPS 40253 WITH SCORE 40369.367
AT ITER 1823 NEW BEST:: SOT 158003 SOS 116305 HAS SOPS 69941 HAS SOUS 43115 HAS SOUPS 40160 WITH SCORE 40276.305
AT ITER 1825 NEW BEST:: SOT 157985 SOS 116243 HAS SOPS 69909 HAS SOUS 43088 HAS SOUPS 40133 WITH SCORE 40249.243
AT ITER 1827 NEW BEST:: SOT 157941 SOS 116209 HAS SOPS 69846 HAS SOUS 43015 HAS SOUPS 40060 WITH SCORE 40176.209
AT ITER 1849 NEW BEST:: SOT 157855 SOS 116123 HAS SOPS 69759 HAS SOUS 42915 HAS SOUPS 39960 WITH SCORE 40076.123
AT ITER 1860 NEW BEST:: SOT 157684 SOS 115952 HAS SOPS 69588 HAS SOUS 42755 HAS SOUPS 39800 WITH SCORE 39915.952
AT ITER 1868 NEW BEST:: SOT 157656 SOS 115913 HAS SOPS 69549 HAS SOUS 42691 HAS SOUPS 39736 WITH SCORE 39851.913
AT ITER 1869 NEW BEST:: SOT 157642 SOS 115899 HAS SOPS 69521 HAS SOUS 42670 HAS SOUPS 39715 WITH SCORE 39830.899
AT ITER 1885 NEW BEST:: SOT 157560 SOS 115817 HAS SOPS 69398 HAS SOUS 42573 HAS SOUPS 39618 WITH SCORE 39733.817
AT ITER 1886 NEW BEST:: SOT 157524 SOS 115781 HAS SOPS 69344 HAS SOUS 42519 HAS SOUPS 39564 WITH SCORE 39679.781
AT ITER 1890 NEW BEST:: SOT 157524 SOS 115781 HAS SOPS 69344 HAS SOUS 42458 HAS SOUPS 39503 WITH SCORE 39618.781
AT ITER 1891 NEW BEST:: SOT 157564 SOS 115821 HAS SOPS 69384 HAS SOUS 42422 HAS SOUPS 39467 WITH SCORE 39582.821
AT ITER 1896 NEW BEST:: SOT 157374 SOS 115529 HAS SOPS 68997 HAS SOUS 42059 HAS SOUPS 39104 WITH SCORE 39219.529
AT ITER 1899 NEW BEST:: SOT 157374 SOS 115528 HAS SOPS 68997 HAS SOUS 42059 HAS SOUPS 39104 WITH SCORE 39219.528
AT ITER 1913 NEW BEST:: SOT 157339 SOS 115493 HAS SOPS 68962 HAS SOUS 41998 HAS SOUPS 39043 WITH SCORE 39158.493
AT ITER 1930 NEW BEST:: SOT 157297 SOS 115451 HAS SOPS 68899 HAS SOUS 41940 HAS SOUPS 38985 WITH SCORE 39100.451
AT ITER 1939 NEW BEST:: SOT 157291 SOS 115445 HAS SOPS 68890 HAS SOUS 41931 HAS SOUPS 38976 WITH SCORE 39091.445
AT ITER 1950 NEW BEST:: SOT 157194 SOS 115238 HAS SOPS 68713 HAS SOUS 41756 HAS SOUPS 38801 WITH SCORE 38916.238
AT ITER 1955 NEW BEST:: SOT 157118 SOS 115162 HAS SOPS 68599 HAS SOUS 41642 HAS SOUPS 38687 WITH SCORE 38802.162
AT ITER 1957 NEW BEST:: SOT 157054 SOS 115098 HAS SOPS 68631 HAS SOUS 41642 HAS SOUPS 38687 WITH SCORE 38802.098
AT ITER 1966 NEW BEST:: SOT 157054 SOS 115098 HAS SOPS 68631 HAS SOUS 41633 HAS SOUPS 38678 WITH SCORE 38793.098
AT ITER 1968 NEW BEST:: SOT 157038 SOS 115082 HAS SOPS 68623 HAS SOUS 41621 HAS SOUPS 38666 WITH SCORE 38781.082
AT ITER 1982 NEW BEST:: SOT 157018 SOS 115062 HAS SOPS 68633 HAS SOUS 41621 HAS SOUPS 38666 WITH SCORE 38781.062
AT ITER 1990 NEW BEST:: SOT 157016 SOS 115064 HAS SOPS 68639 HAS SOUS 41568 HAS SOUPS 38613 WITH SCORE 38728.064
AT ITER 1995 NEW BEST:: SOT 156906 SOS 114954 HAS SOPS 68564 HAS SOUS 41487 HAS SOUPS 38532 WITH SCORE 38646.954
AT ITER 1997 NEW BEST:: SOT 156820 SOS 114868 HAS SOPS 68430 HAS SOUS 41305 HAS SOUPS 38350 WITH SCORE 38464.868
AT ITER 2026 NEW BEST:: SOT 156820 SOS 114868 HAS SOPS 68430 HAS SOUS 41266 HAS SOUPS 38311 WITH SCORE 38425.868
AT ITER 2061 NEW BEST:: SOT 156820 SOS 114861 HAS SOPS 68425 HAS SOUS 41266 HAS SOUPS 38311 WITH SCORE 38425.861
AT ITER 2066 NEW BEST:: SOT 156800 SOS 114831 HAS SOPS 68395 HAS SOUS 41226 HAS SOUPS 38271 WITH SCORE 38385.831
AT ITER 2079 NEW BEST:: SOT 156768 SOS 114799 HAS SOPS 68347 HAS SOUS 41193 HAS SOUPS 38238 WITH SCORE 38352.799
AT ITER 2084 NEW BEST:: SOT 156598 SOS 114629 HAS SOPS 68152 HAS SOUS 41030 HAS SOUPS 38075 WITH SCORE 38189.629
AT ITER 2093 NEW BEST:: SOT 156622 SOS 114653 HAS SOPS 68152 HAS SOUS 41018 HAS SOUPS 38063 WITH SCORE 38177.653
AT ITER 2094 NEW BEST:: SOT 156732 SOS 114763 HAS SOPS 68125 HAS SOUS 40991 HAS SOUPS 38036 WITH SCORE 38150.763
AT ITER 2095 NEW BEST:: SOT 156674 SOS 114692 HAS SOPS 68017 HAS SOUS 40871 HAS SOUPS 37916 WITH SCORE 38030.692
AT ITER 2102 NEW BEST:: SOT 156810 SOS 114828 HAS SOPS 67939 HAS SOUS 40839 HAS SOUPS 37854 WITH SCORE 37968.828
AT ITER 2112 NEW BEST:: SOT 156810 SOS 114818 HAS SOPS 67935 HAS SOUS 40833 HAS SOUPS 37854 WITH SCORE 37968.818
AT ITER 2120 NEW BEST:: SOT 156790 SOS 114798 HAS SOPS 67920 HAS SOUS 40823 HAS SOUPS 37844 WITH SCORE 37958.798
AT ITER 2123 NEW BEST:: SOT 156735 SOS 114743 HAS SOPS 67865 HAS SOUS 40707 HAS SOUPS 37728 WITH SCORE 37842.743
AT ITER 2137 NEW BEST:: SOT 156515 SOS 114523 HAS SOPS 67703 HAS SOUS 40487 HAS SOUPS 37508 WITH SCORE 37622.523
AT ITER 2143 NEW BEST:: SOT 156515 SOS 114523 HAS SOPS 67631 HAS SOUS 40467 HAS SOUPS 37488 WITH SCORE 37602.523
AT ITER 2152 NEW BEST:: SOT 156479 SOS 114487 HAS SOPS 67577 HAS SOUS 40431 HAS SOUPS 37452 WITH SCORE 37566.487
AT ITER 2156 NEW BEST:: SOT 156049 SOS 114057 HAS SOPS 66932 HAS SOUS 39642 HAS SOUPS 36663 WITH SCORE 36777.057
AT ITER 2157 NEW BEST:: SOT 155985 SOS 113993 HAS SOPS 66836 HAS SOUS 39546 HAS SOUPS 36567 WITH SCORE 36680.993
AT ITER 2165 NEW BEST:: SOT 155985 SOS 113971 HAS SOPS 66794 HAS SOUS 39546 HAS SOUPS 36567 WITH SCORE 36680.971
AT ITER 2171 NEW BEST:: SOT 155967 SOS 113953 HAS SOPS 66758 HAS SOUS 39511 HAS SOUPS 36532 WITH SCORE 36645.953
AT ITER 2174 NEW BEST:: SOT 155967 SOS 113629 HAS SOPS 66470 HAS SOUS 39511 HAS SOUPS 36532 WITH SCORE 36645.629
AT ITER 2176 NEW BEST:: SOT 155937 SOS 113552 HAS SOPS 66404 HAS SOUS 39464 HAS SOUPS 36485 WITH SCORE 36598.552
AT ITER 2197 NEW BEST:: SOT 155454 SOS 113069 HAS SOPS 65912 HAS SOUS 39217 HAS SOUPS 36238 WITH SCORE 36351.069
AT ITER 2198 NEW BEST:: SOT 155454 SOS 113069 HAS SOPS 65912 HAS SOUS 39201 HAS SOUPS 36222 WITH SCORE 36335.069
AT ITER 2209 NEW BEST:: SOT 155454 SOS 113069 HAS SOPS 65912 HAS SOUS 39180 HAS SOUPS 36201 WITH SCORE 36314.069
AT ITER 2210 NEW BEST:: SOT 155181 SOS 112796 HAS SOPS 65655 HAS SOUS 38924 HAS SOUPS 35945 WITH SCORE 36057.796
AT ITER 2216 NEW BEST:: SOT 155129 SOS 112703 HAS SOPS 65562 HAS SOUS 38831 HAS SOUPS 35852 WITH SCORE 35964.703
AT ITER 2221 NEW BEST:: SOT 155129 SOS 112703 HAS SOPS 65562 HAS SOUS 38774 HAS SOUPS 35795 WITH SCORE 35907.703
AT ITER 2240 NEW BEST:: SOT 155095 SOS 112669 HAS SOPS 65511 HAS SOUS 38723 HAS SOUPS 35744 WITH SCORE 35856.669
AT ITER 2247 NEW BEST:: SOT 155093 SOS 112667 HAS SOPS 65508 HAS SOUS 38719 HAS SOUPS 35740 WITH SCORE 35852.667
AT ITER 2251 NEW BEST:: SOT 155093 SOS 112667 HAS SOPS 65508 HAS SOUS 38712 HAS SOUPS 35733 WITH SCORE 35845.667
AT ITER 2271 NEW BEST:: SOT 155101 SOS 112675 HAS SOPS 65484 HAS SOUS 38694 HAS SOUPS 35715 WITH SCORE 35827.675
AT ITER 2278 NEW BEST:: SOT 155101 SOS 112673 HAS SOPS 65484 HAS SOUS 38694 HAS SOUPS 35715 WITH SCORE 35827.673
AT ITER 2288 NEW BEST:: SOT 155051 SOS 112623 HAS SOPS 65409 HAS SOUS 38545 HAS SOUPS 35566 WITH SCORE 35678.623
AT ITER 2291 NEW BEST:: SOT 155017 SOS 112589 HAS SOPS 65358 HAS SOUS 38432 HAS SOUPS 35453 WITH SCORE 35565.589
AT ITER 2294 NEW BEST:: SOT 154982 SOS 112554 HAS SOPS 65288 HAS SOUS 38382 HAS SOUPS 35403 WITH SCORE 35515.554
AT ITER 2295 NEW BEST:: SOT 154968 SOS 112540 HAS SOPS 65267 HAS SOUS 38354 HAS SOUPS 35375 WITH SCORE 35487.54
AT ITER 2317 NEW BEST:: SOT 155085 SOS 112581 HAS SOPS 65336 HAS SOUS 38332 HAS SOUPS 35353 WITH SCORE 35465.581
AT ITER 2328 NEW BEST:: SOT 155023 SOS 112519 HAS SOPS 65243 HAS SOUS 38201 HAS SOUPS 35222 WITH SCORE 35334.519
AT ITER 2332 NEW BEST:: SOT 154981 SOS 112477 HAS SOPS 65180 HAS SOUS 38138 HAS SOUPS 35159 WITH SCORE 35271.477
AT ITER 2333 NEW BEST:: SOT 154975 SOS 112471 HAS SOPS 65183 HAS SOUS 38138 HAS SOUPS 35159 WITH SCORE 35271.471
AT ITER 2349 NEW BEST:: SOT 154493 SOS 115517 HAS SOPS 65566 HAS SOUS 38092 HAS SOUPS 35046 WITH SCORE 35161.517
AT ITER 2357 NEW BEST:: SOT 154453 SOS 115477 HAS SOPS 65506 HAS SOUS 38050 HAS SOUPS 35004 WITH SCORE 35119.477
AT ITER 2360 NEW BEST:: SOT 154461 SOS 115485 HAS SOPS 65518 HAS SOUS 38049 HAS SOUPS 35003 WITH SCORE 35118.485
AT ITER 2388 NEW BEST:: SOT 154449 SOS 115531 HAS SOPS 65611 HAS SOUS 38025 HAS SOUPS 34979 WITH SCORE 35094.531
AT ITER 2428 NEW BEST:: SOT 154529 SOS 115611 HAS SOPS 65214 HAS SOUS 37827 HAS SOUPS 34781 WITH SCORE 34896.611
AT ITER 2442 NEW BEST:: SOT 154529 SOS 115611 HAS SOPS 65178 HAS SOUS 37800 HAS SOUPS 34754 WITH SCORE 34869.611
AT ITER 2449 NEW BEST:: SOT 154308 SOS 114980 HAS SOPS 64491 HAS SOUS 37622 HAS SOUPS 34576 WITH SCORE 34690.98
AT ITER 2469 NEW BEST:: SOT 154042 SOS 114714 HAS SOPS 64092 HAS SOUS 37221 HAS SOUPS 34175 WITH SCORE 34289.714
AT ITER 2473 NEW BEST:: SOT 154036 SOS 114708 HAS SOPS 64103 HAS SOUS 37206 HAS SOUPS 34160 WITH SCORE 34274.708
AT ITER 2480 NEW BEST:: SOT 154016 SOS 114688 HAS SOPS 64063 HAS SOUS 37160 HAS SOUPS 34114 WITH SCORE 34228.688
AT ITER 2505 NEW BEST:: SOT 154010 SOS 114676 HAS SOPS 64060 HAS SOUS 37144 HAS SOUPS 34098 WITH SCORE 34212.676
AT ITER 2509 NEW BEST:: SOT 153980 SOS 114646 HAS SOPS 64015 HAS SOUS 37110 HAS SOUPS 34064 WITH SCORE 34178.646
AT ITER 2516 NEW BEST:: SOT 153979 SOS 114645 HAS SOPS 64013 HAS SOUS 37109 HAS SOUPS 34063 WITH SCORE 34177.645
AT ITER 2543 NEW BEST:: SOT 153972 SOS 114624 HAS SOPS 64016 HAS SOUS 37095 HAS SOUPS 34049 WITH SCORE 34163.624
AT ITER 2547 NEW BEST:: SOT 154058 SOS 114642 HAS SOPS 63911 HAS SOUS 37084 HAS SOUPS 34038 WITH SCORE 34152.642
AT ITER 2549 NEW BEST:: SOT 154052 SOS 114636 HAS SOPS 63899 HAS SOUS 37066 HAS SOUPS 34020 WITH SCORE 34134.636
AT ITER 2568 NEW BEST:: SOT 154050 SOS 114634 HAS SOPS 63896 HAS SOUS 37063 HAS SOUPS 34017 WITH SCORE 34131.634
AT ITER 2572 NEW BEST:: SOT 154026 SOS 114666 HAS SOPS 63842 HAS SOUS 37009 HAS SOUPS 33963 WITH SCORE 34077.666
AT ITER 2577 NEW BEST:: SOT 154016 SOS 114656 HAS SOPS 63832 HAS SOUS 36999 HAS SOUPS 33953 WITH SCORE 34067.656
AT ITER 2585 NEW BEST:: SOT 153998 SOS 114638 HAS SOPS 63805 HAS SOUS 36972 HAS SOUPS 33926 WITH SCORE 34040.638
AT ITER 2592 NEW BEST:: SOT 154058 SOS 114698 HAS SOPS 63799 HAS SOUS 36966 HAS SOUPS 33920 WITH SCORE 34034.698
AT ITER 2606 NEW BEST:: SOT 153870 SOS 114510 HAS SOPS 63517 HAS SOUS 36691 HAS SOUPS 33645 WITH SCORE 33759.51
AT ITER 2608 NEW BEST:: SOT 153870 SOS 114510 HAS SOPS 63517 HAS SOUS 36654 HAS SOUPS 33608 WITH SCORE 33722.51
AT ITER 2609 NEW BEST:: SOT 153861 SOS 114690 HAS SOPS 63697 HAS SOUS 36652 HAS SOUPS 33606 WITH SCORE 33720.69
AT ITER 2620 NEW BEST:: SOT 153833 SOS 114662 HAS SOPS 63655 HAS SOUS 36628 HAS SOUPS 33582 WITH SCORE 33696.662
AT ITER 2623 NEW BEST:: SOT 152753 SOS 122570 HAS SOPS 65756 HAS SOUS 36624 HAS SOUPS 33468 WITH SCORE 33590.57
AT ITER 2638 NEW BEST:: SOT 152753 SOS 122570 HAS SOPS 65756 HAS SOUS 36623 HAS SOUPS 33467 WITH SCORE 33589.57
AT ITER 2657 NEW BEST:: SOT 152715 SOS 122532 HAS SOPS 65699 HAS SOUS 36527 HAS SOUPS 33371 WITH SCORE 33493.532
AT ITER 2682 NEW BEST:: SOT 152714 SOS 122524 HAS SOPS 65690 HAS SOUS 36526 HAS SOUPS 33369 WITH SCORE 33491.524
AT ITER 2686 NEW BEST:: SOT 152702 SOS 122512 HAS SOPS 65678 HAS SOUS 36514 HAS SOUPS 33357 WITH SCORE 33479.512
AT ITER 2727 NEW BEST:: SOT 152702 SOS 122464 HAS SOPS 65480 HAS SOUS 36514 HAS SOUPS 33357 WITH SCORE 33479.464
AT ITER 2739 NEW BEST:: SOT 152716 SOS 122478 HAS SOPS 65381 HAS SOUS 36450 HAS SOUPS 33279 WITH SCORE 33401.478
AT ITER 2744 NEW BEST:: SOT 152630 SOS 122392 HAS SOPS 65326 HAS SOUS 36381 HAS SOUPS 33210 WITH SCORE 33332.392
AT ITER 2748 NEW BEST:: SOT 152639 SOS 122267 HAS SOPS 65225 HAS SOUS 36381 HAS SOUPS 33210 WITH SCORE 33332.267
AT ITER 2749 NEW BEST:: SOT 152539 SOS 122167 HAS SOPS 64974 HAS SOUS 36231 HAS SOUPS 33060 WITH SCORE 33182.167
AT ITER 2764 NEW BEST:: SOT 152541 SOS 122169 HAS SOPS 64961 HAS SOUS 36222 HAS SOUPS 33051 WITH SCORE 33173.169
AT ITER 2766 NEW BEST:: SOT 152418 SOS 122097 HAS SOPS 64948 HAS SOUS 36164 HAS SOUPS 32993 WITH SCORE 33115.097
AT ITER 2773 NEW BEST:: SOT 152418 SOS 122097 HAS SOPS 64948 HAS SOUS 36131 HAS SOUPS 32960 WITH SCORE 33082.097
AT ITER 2781 NEW BEST:: SOT 152378 SOS 122057 HAS SOPS 64868 HAS SOUS 36051 HAS SOUPS 32880 WITH SCORE 33002.057
AT ITER 2793 NEW BEST:: SOT 152368 SOS 122047 HAS SOPS 64853 HAS SOUS 36031 HAS SOUPS 32860 WITH SCORE 32982.047
AT ITER 2794 NEW BEST:: SOT 152296 SOS 121975 HAS SOPS 64709 HAS SOUS 35860 HAS SOUPS 32689 WITH SCORE 32810.975
AT ITER 2800 NEW BEST:: SOT 152204 SOS 121883 HAS SOPS 64571 HAS SOUS 35735 HAS SOUPS 32564 WITH SCORE 32685.883
AT ITER 2811 NEW BEST:: SOT 152204 SOS 121883 HAS SOPS 64571 HAS SOUS 35706 HAS SOUPS 32535 WITH SCORE 32656.883
AT ITER 2828 NEW BEST:: SOT 152216 SOS 121883 HAS SOPS 64541 HAS SOUS 35700 HAS SOUPS 32529 WITH SCORE 32650.883
AT ITER 2829 NEW BEST:: SOT 152152 SOS 121819 HAS SOPS 64445 HAS SOUS 35572 HAS SOUPS 32401 WITH SCORE 32522.819
AT ITER 2841 NEW BEST:: SOT 152144 SOS 121811 HAS SOPS 64433 HAS SOUS 35560 HAS SOUPS 32389 WITH SCORE 32510.811
AT ITER 2845 NEW BEST:: SOT 152124 SOS 121791 HAS SOPS 64393 HAS SOUS 35529 HAS SOUPS 32358 WITH SCORE 32479.791
AT ITER 2846 NEW BEST:: SOT 152127 SOS 121791 HAS SOPS 64393 HAS SOUS 35526 HAS SOUPS 32355 WITH SCORE 32476.791
AT ITER 2871 NEW BEST:: SOT 152121 SOS 121793 HAS SOPS 64480 HAS SOUS 35517 HAS SOUPS 32346 WITH SCORE 32467.793
AT ITER 2878 NEW BEST:: SOT 152121 SOS 121793 HAS SOPS 64464 HAS SOUS 35505 HAS SOUPS 32334 WITH SCORE 32455.793
AT ITER 2883 NEW BEST:: SOT 152065 SOS 121737 HAS SOPS 64463 HAS SOUS 35421 HAS SOUPS 32250 WITH SCORE 32371.737
AT ITER 2893 NEW BEST:: SOT 152053 SOS 121725 HAS SOPS 64439 HAS SOUS 35403 HAS SOUPS 32232 WITH SCORE 32353.725
AT ITER 2902 NEW BEST:: SOT 152053 SOS 121725 HAS SOPS 64439 HAS SOUS 35389 HAS SOUPS 32218 WITH SCORE 32339.725
AT ITER 2910 NEW BEST:: SOT 152053 SOS 121725 HAS SOPS 64439 HAS SOUS 35388 HAS SOUPS 32217 WITH SCORE 32338.725
AT ITER 2926 NEW BEST:: SOT 152008 SOS 121681 HAS SOPS 64411 HAS SOUS 35316 HAS SOUPS 32145 WITH SCORE 32266.681
AT ITER 2948 NEW BEST:: SOT 152002 SOS 121675 HAS SOPS 64395 HAS SOUS 35291 HAS SOUPS 32120 WITH SCORE 32241.675
AT ITER 2955 NEW BEST:: SOT 151960 SOS 121633 HAS SOPS 64332 HAS SOUS 35151 HAS SOUPS 31980 WITH SCORE 32101.633
AT ITER 2974 NEW BEST:: SOT 151949 SOS 121629 HAS SOPS 64322 HAS SOUS 35146 HAS SOUPS 31975 WITH SCORE 32096.629
AT ITER 2985 NEW BEST:: SOT 151950 SOS 121628 HAS SOPS 64322 HAS SOUS 35146 HAS SOUPS 31975 WITH SCORE 32096.628
AT ITER 2992 NEW BEST:: SOT 151956 SOS 121602 HAS SOPS 64296 HAS SOUS 35132 HAS SOUPS 31961 WITH SCORE 32082.602
AT ITER 3034 NEW BEST:: SOT 151936 SOS 121540 HAS SOPS 64287 HAS SOUS 35066 HAS SOUPS 31937 WITH SCORE 32058.54
AT ITER 3046 NEW BEST:: SOT 151934 SOS 121538 HAS SOPS 64283 HAS SOUS 35062 HAS SOUPS 31933 WITH SCORE 32054.538
AT ITER 3049 NEW BEST:: SOT 151911 SOS 121580 HAS SOPS 64155 HAS SOUS 35019 HAS SOUPS 31890 WITH SCORE 32011.58
AT ITER 3051 NEW BEST:: SOT 151803 SOS 121472 HAS SOPS 64109 HAS SOUS 34959 HAS SOUPS 31830 WITH SCORE 31951.472
AT ITER 3070 NEW BEST:: SOT 151703 SOS 121323 HAS SOPS 63863 HAS SOUS 34802 HAS SOUPS 31673 WITH SCORE 31794.323
AT ITER 3079 NEW BEST:: SOT 151704 SOS 121275 HAS SOPS 63815 HAS SOUS 34802 HAS SOUPS 31673 WITH SCORE 31794.275
AT ITER 3085 NEW BEST:: SOT 151677 SOS 121242 HAS SOPS 63782 HAS SOUS 34748 HAS SOUPS 31619 WITH SCORE 31740.242
AT ITER 3090 NEW BEST:: SOT 151641 SOS 121206 HAS SOPS 63728 HAS SOUS 34694 HAS SOUPS 31565 WITH SCORE 31686.206
AT ITER 3113 NEW BEST:: SOT 151635 SOS 121200 HAS SOPS 63719 HAS SOUS 34685 HAS SOUPS 31556 WITH SCORE 31677.2
AT ITER 3119 NEW BEST:: SOT 151635 SOS 121200 HAS SOPS 63719 HAS SOUS 34648 HAS SOUPS 31519 WITH SCORE 31640.2
AT ITER 3148 NEW BEST:: SOT 151635 SOS 121178 HAS SOPS 63719 HAS SOUS 34648 HAS SOUPS 31519 WITH SCORE 31640.178
AT ITER 3159 NEW BEST:: SOT 151635 SOS 121178 HAS SOPS 63698 HAS SOUS 34620 HAS SOUPS 31491 WITH SCORE 31612.178
AT ITER 3164 NEW BEST:: SOT 151497 SOS 121040 HAS SOPS 63491 HAS SOUS 34423 HAS SOUPS 31294 WITH SCORE 31415.04
AT ITER 3177 NEW BEST:: SOT 151465 SOS 121008 HAS SOPS 63484 HAS SOUS 34414 HAS SOUPS 31285 WITH SCORE 31406.008
AT ITER 3182 NEW BEST:: SOT 151461 SOS 121004 HAS SOPS 63478 HAS SOUS 34412 HAS SOUPS 31283 WITH SCORE 31404.004
AT ITER 3208 NEW BEST:: SOT 151449 SOS 120900 HAS SOPS 63282 HAS SOUS 34388 HAS SOUPS 31259 WITH SCORE 31379.9
AT ITER 3212 NEW BEST:: SOT 151338 SOS 120789 HAS SOPS 63191 HAS SOUS 34343 HAS SOUPS 31224 WITH SCORE 31344.789
AT ITER 3219 NEW BEST:: SOT 151348 SOS 120799 HAS SOPS 63178 HAS SOUS 34330 HAS SOUPS 31211 WITH SCORE 31331.799
AT ITER 3221 NEW BEST:: SOT 151290 SOS 120712 HAS SOPS 63062 HAS SOUS 34221 HAS SOUPS 31102 WITH SCORE 31222.712
AT ITER 3228 NEW BEST:: SOT 151146 SOS 120568 HAS SOPS 63024 HAS SOUS 34179 HAS SOUPS 31060 WITH SCORE 31180.568
AT ITER 3236 NEW BEST:: SOT 151138 SOS 120560 HAS SOPS 63028 HAS SOUS 34179 HAS SOUPS 31060 WITH SCORE 31180.56
AT ITER 3240 NEW BEST:: SOT 151116 SOS 120538 HAS SOPS 63006 HAS SOUS 34168 HAS SOUPS 31049 WITH SCORE 31169.538
AT ITER 3253 NEW BEST:: SOT 151112 SOS 120534 HAS SOPS 63000 HAS SOUS 34159 HAS SOUPS 31040 WITH SCORE 31160.534
AT ITER 3267 NEW BEST:: SOT 151112 SOS 120514 HAS SOPS 63000 HAS SOUS 34159 HAS SOUPS 31040 WITH SCORE 31160.514
AT ITER 3292 NEW BEST:: SOT 151112 SOS 120514 HAS SOPS 63000 HAS SOUS 34146 HAS SOUPS 31027 WITH SCORE 31147.514
AT ITER 3319 NEW BEST:: SOT 151122 SOS 120524 HAS SOPS 63015 HAS SOUS 34131 HAS SOUPS 31012 WITH SCORE 31132.524
AT ITER 3329 NEW BEST:: SOT 151122 SOS 120524 HAS SOPS 63015 HAS SOUS 34098 HAS SOUPS 30979 WITH SCORE 31099.524
AT ITER 3366 NEW BEST:: SOT 151132 SOS 120534 HAS SOPS 63035 HAS SOUS 34088 HAS SOUPS 30969 WITH SCORE 31089.534
AT ITER 3387 NEW BEST:: SOT 151122 SOS 120524 HAS SOPS 63015 HAS SOUS 34088 HAS SOUPS 30969 WITH SCORE 31089.524
AT ITER 3394 NEW BEST:: SOT 150947 SOS 120349 HAS SOPS 62794 HAS SOUS 33867 HAS SOUPS 30748 WITH SCORE 30868.349
AT ITER 3395 NEW BEST:: SOT 150897 SOS 120299 HAS SOPS 62799 HAS SOUS 33852 HAS SOUPS 30733 WITH SCORE 30853.299
AT ITER 3422 NEW BEST:: SOT 150869 SOS 120271 HAS SOPS 62743 HAS SOUS 33810 HAS SOUPS 30691 WITH SCORE 30811.271
AT ITER 3432 NEW BEST:: SOT 150813 SOS 120174 HAS SOPS 62644 HAS SOUS 33726 HAS SOUPS 30607 WITH SCORE 30727.174
AT ITER 3433 NEW BEST:: SOT 150813 SOS 120174 HAS SOPS 62612 HAS SOUS 33718 HAS SOUPS 30599 WITH SCORE 30719.174
AT ITER 3461 NEW BEST:: SOT 150805 SOS 120166 HAS SOPS 62596 HAS SOUS 33685 HAS SOUPS 30566 WITH SCORE 30686.166
AT ITER 3487 NEW BEST:: SOT 150745 SOS 120106 HAS SOPS 62506 HAS SOUS 33565 HAS SOUPS 30446 WITH SCORE 30566.106
AT ITER 3488 NEW BEST:: SOT 150743 SOS 120104 HAS SOPS 62503 HAS SOUS 33562 HAS SOUPS 30443 WITH SCORE 30563.104
AT ITER 3519 NEW BEST:: SOT 150681 SOS 120042 HAS SOPS 62441 HAS SOUS 33562 HAS SOUPS 30443 WITH SCORE 30563.042
AT ITER 3520 NEW BEST:: SOT 150645 SOS 120006 HAS SOPS 62387 HAS SOUS 33490 HAS SOUPS 30371 WITH SCORE 30491.006
AT ITER 3526 NEW BEST:: SOT 150625 SOS 119986 HAS SOPS 62357 HAS SOUS 33454 HAS SOUPS 30335 WITH SCORE 30454.986
AT ITER 3534 NEW BEST:: SOT 150557 SOS 119918 HAS SOPS 62391 HAS SOUS 33454 HAS SOUPS 30335 WITH SCORE 30454.918
AT ITER 3537 NEW BEST:: SOT 150557 SOS 119918 HAS SOPS 62391 HAS SOUS 33440 HAS SOUPS 30321 WITH SCORE 30440.918
AT ITER 3538 NEW BEST:: SOT 150555 SOS 119916 HAS SOPS 62389 HAS SOUS 33343 HAS SOUPS 30224 WITH SCORE 30343.916
AT ITER 3553 NEW BEST:: SOT 150600 SOS 119910 HAS SOPS 62341 HAS SOUS 33326 HAS SOUPS 30207 WITH SCORE 30326.91
AT ITER 3587 NEW BEST:: SOT 150560 SOS 119870 HAS SOPS 62261 HAS SOUS 33315 HAS SOUPS 30196 WITH SCORE 30315.87
AT ITER 3588 NEW BEST:: SOT 150662 SOS 119972 HAS SOPS 62261 HAS SOUS 33264 HAS SOUPS 30145 WITH SCORE 30264.972
AT ITER 3598 NEW BEST:: SOT 150578 SOS 119846 HAS SOPS 62135 HAS SOUS 33134 HAS SOUPS 30015 WITH SCORE 30134.846
AT ITER 3603 NEW BEST:: SOT 150534 SOS 119792 HAS SOPS 62081 HAS SOUS 33112 HAS SOUPS 29993 WITH SCORE 30112.792
AT ITER 3609 NEW BEST:: SOT 150495 SOS 119768 HAS SOPS 62027 HAS SOUS 33088 HAS SOUPS 29969 WITH SCORE 30088.768
AT ITER 3619 NEW BEST:: SOT 150497 SOS 119770 HAS SOPS 62031 HAS SOUS 33044 HAS SOUPS 29925 WITH SCORE 30044.77
AT ITER 3629 NEW BEST:: SOT 150487 SOS 119760 HAS SOPS 61940 HAS SOUS 33015 HAS SOUPS 29896 WITH SCORE 30015.76
AT ITER 3638 NEW BEST:: SOT 150419 SOS 119692 HAS SOPS 61795 HAS SOUS 32893 HAS SOUPS 29774 WITH SCORE 29893.692
AT ITER 3639 NEW BEST:: SOT 150423 SOS 119696 HAS SOPS 61803 HAS SOUS 32878 HAS SOUPS 29759 WITH SCORE 29878.696
AT ITER 3643 NEW BEST:: SOT 150493 SOS 119766 HAS SOPS 61721 HAS SOUS 32806 HAS SOUPS 29681 WITH SCORE 29800.766
AT ITER 3644 NEW BEST:: SOT 150407 SOS 119644 HAS SOPS 61601 HAS SOUS 32695 HAS SOUPS 29570 WITH SCORE 29689.644
AT ITER 3670 NEW BEST:: SOT 150393 SOS 119630 HAS SOPS 61580 HAS SOUS 32675 HAS SOUPS 29550 WITH SCORE 29669.63
AT ITER 3671 NEW BEST:: SOT 150355 SOS 119592 HAS SOPS 61538 HAS SOUS 32663 HAS SOUPS 29538 WITH SCORE 29657.592
AT ITER 3676 NEW BEST:: SOT 150377 SOS 119614 HAS SOPS 61495 HAS SOUS 32688 HAS SOUPS 29532 WITH SCORE 29651.614
AT ITER 3677 NEW BEST:: SOT 150243 SOS 119480 HAS SOPS 61294 HAS SOUS 32497 HAS SOUPS 29341 WITH SCORE 29460.48
AT ITER 3688 NEW BEST:: SOT 150181 SOS 119418 HAS SOPS 61201 HAS SOUS 32363 HAS SOUPS 29207 WITH SCORE 29326.418
AT ITER 3719 NEW BEST:: SOT 150215 SOS 119452 HAS SOPS 61180 HAS SOUS 32352 HAS SOUPS 29196 WITH SCORE 29315.452
AT ITER 3721 NEW BEST:: SOT 150151 SOS 119388 HAS SOPS 61084 HAS SOUS 32224 HAS SOUPS 29068 WITH SCORE 29187.388
AT ITER 3734 NEW BEST:: SOT 150137 SOS 119374 HAS SOPS 61063 HAS SOUS 32218 HAS SOUPS 29059 WITH SCORE 29178.374
AT ITER 3748 NEW BEST:: SOT 150137 SOS 119374 HAS SOPS 60943 HAS SOUS 32128 HAS SOUPS 28969 WITH SCORE 29088.374
AT ITER 3752 NEW BEST:: SOT 149781 SOS 122992 HAS SOPS 62340 HAS SOUS 32182 HAS SOUPS 28963 WITH SCORE 29085.992
AT ITER 3753 NEW BEST:: SOT 149777 SOS 122988 HAS SOPS 62334 HAS SOUS 32178 HAS SOUPS 28959 WITH SCORE 29081.988
AT ITER 3754 NEW BEST:: SOT 149757 SOS 122968 HAS SOPS 62294 HAS SOUS 32152 HAS SOUPS 28929 WITH SCORE 29051.968
AT ITER 3770 NEW BEST:: SOT 149755 SOS 122966 HAS SOPS 62291 HAS SOUS 32127 HAS SOUPS 28904 WITH SCORE 29026.966
AT ITER 3793 NEW BEST:: SOT 149761 SOS 122972 HAS SOPS 62291 HAS SOUS 32124 HAS SOUPS 28901 WITH SCORE 29023.972
AT ITER 3805 NEW BEST:: SOT 149731 SOS 122942 HAS SOPS 62258 HAS SOUS 32106 HAS SOUPS 28883 WITH SCORE 29005.942
AT ITER 3807 NEW BEST:: SOT 149731 SOS 122899 HAS SOPS 62259 HAS SOUS 32106 HAS SOUPS 28883 WITH SCORE 29005.899
AT ITER 3835 NEW BEST:: SOT 149720 SOS 122888 HAS SOPS 62248 HAS SOUS 32080 HAS SOUPS 28857 WITH SCORE 28979.888
AT ITER 3846 NEW BEST:: SOT 149684 SOS 122852 HAS SOPS 62176 HAS SOUS 32008 HAS SOUPS 28785 WITH SCORE 28907.852
AT ITER 3864 NEW BEST:: SOT 149680 SOS 122848 HAS SOPS 62170 HAS SOUS 32004 HAS SOUPS 28781 WITH SCORE 28903.848
AT ITER 3881 NEW BEST:: SOT 149535 SOS 122685 HAS SOPS 61942 HAS SOUS 31714 HAS SOUPS 28491 WITH SCORE 28613.685
AT ITER 3894 NEW BEST:: SOT 149493 SOS 122663 HAS SOPS 61889 HAS SOUS 31692 HAS SOUPS 28469 WITH SCORE 28591.663
AT ITER 3923 NEW BEST:: SOT 149591 SOS 121711 HAS SOPS 61617 HAS SOUS 31659 HAS SOUPS 28436 WITH SCORE 28557.711
AT ITER 3924 NEW BEST:: SOT 149563 SOS 121683 HAS SOPS 61561 HAS SOUS 31617 HAS SOUPS 28394 WITH SCORE 28515.683
AT ITER 3932 NEW BEST:: SOT 149715 SOS 121810 HAS SOPS 61762 HAS SOUS 31596 HAS SOUPS 28379 WITH SCORE 28500.81
AT ITER 3933 NEW BEST:: SOT 149687 SOS 121782 HAS SOPS 61727 HAS SOUS 31554 HAS SOUPS 28337 WITH SCORE 28458.782
AT ITER 3957 NEW BEST:: SOT 149687 SOS 121782 HAS SOPS 61727 HAS SOUS 31544 HAS SOUPS 28327 WITH SCORE 28448.782
AT ITER 3958 NEW BEST:: SOT 149643 SOS 121738 HAS SOPS 61631 HAS SOUS 31478 HAS SOUPS 28261 WITH SCORE 28382.738
AT ITER 3965 NEW BEST:: SOT 149631 SOS 121720 HAS SOPS 61613 HAS SOUS 31454 HAS SOUPS 28237 WITH SCORE 28358.72
AT ITER 3966 NEW BEST:: SOT 149620 SOS 121700 HAS SOPS 61594 HAS SOUS 31447 HAS SOUPS 28230 WITH SCORE 28351.7
AT ITER 3977 NEW BEST:: SOT 149540 SOS 121620 HAS SOPS 61491 HAS SOUS 31329 HAS SOUPS 28112 WITH SCORE 28233.62
AT ITER 3990 NEW BEST:: SOT 149522 SOS 121602 HAS SOPS 61491 HAS SOUS 31329 HAS SOUPS 28112 WITH SCORE 28233.602
AT ITER 3997 NEW BEST:: SOT 149498 SOS 121578 HAS SOPS 61455 HAS SOUS 31293 HAS SOUPS 28076 WITH SCORE 28197.578
AT ITER 4013 NEW BEST:: SOT 149512 SOS 121113 HAS SOPS 61034 HAS SOUS 31284 HAS SOUPS 28067 WITH SCORE 28188.113
AT ITER 4022 NEW BEST:: SOT 149612 SOS 121213 HAS SOPS 60944 HAS SOUS 31254 HAS SOUPS 28037 WITH SCORE 28158.213
AT ITER 4026 NEW BEST:: SOT 149582 SOS 121183 HAS SOPS 60899 HAS SOUS 31224 HAS SOUPS 28007 WITH SCORE 28128.183
AT ITER 4044 NEW BEST:: SOT 149580 SOS 121181 HAS SOPS 60895 HAS SOUS 31221 HAS SOUPS 28004 WITH SCORE 28125.181
AT ITER 4049 NEW BEST:: SOT 149582 SOS 121183 HAS SOPS 60779 HAS SOUS 31154 HAS SOUPS 27937 WITH SCORE 28058.183
AT ITER 4065 NEW BEST:: SOT 149504 SOS 121105 HAS SOPS 60675 HAS SOUS 31112 HAS SOUPS 27895 WITH SCORE 28016.105
AT ITER 4098 NEW BEST:: SOT 149424 SOS 121025 HAS SOPS 60555 HAS SOUS 30985 HAS SOUPS 27768 WITH SCORE 27889.025
AT ITER 4116 NEW BEST:: SOT 149420 SOS 121021 HAS SOPS 60538 HAS SOUS 30981 HAS SOUPS 27764 WITH SCORE 27885.021
AT ITER 4131 NEW BEST:: SOT 149400 SOS 121001 HAS SOPS 60508 HAS SOUS 30980 HAS SOUPS 27763 WITH SCORE 27884.001
AT ITER 4132 NEW BEST:: SOT 149440 SOS 121062 HAS SOPS 60505 HAS SOUS 30977 HAS SOUPS 27760 WITH SCORE 27881.062
AT ITER 4138 NEW BEST:: SOT 149322 SOS 120944 HAS SOPS 60427 HAS SOUS 30922 HAS SOUPS 27705 WITH SCORE 27825.944
AT ITER 4142 NEW BEST:: SOT 149264 SOS 120886 HAS SOPS 60340 HAS SOUS 30840 HAS SOUPS 27623 WITH SCORE 27743.886
AT ITER 4145 NEW BEST:: SOT 149132 SOS 120822 HAS SOPS 60259 HAS SOUS 30808 HAS SOUPS 27591 WITH SCORE 27711.822
AT ITER 4166 NEW BEST:: SOT 149142 SOS 120832 HAS SOPS 60274 HAS SOUS 30811 HAS SOUPS 27588 WITH SCORE 27708.832
AT ITER 4172 NEW BEST:: SOT 149146 SOS 120836 HAS SOPS 60280 HAS SOUS 30756 HAS SOUPS 27533 WITH SCORE 27653.836
AT ITER 4174 NEW BEST:: SOT 149136 SOS 120826 HAS SOPS 60265 HAS SOUS 30700 HAS SOUPS 27477 WITH SCORE 27597.826
AT ITER 4196 NEW BEST:: SOT 149202 SOS 120892 HAS SOPS 60243 HAS SOUS 30647 HAS SOUPS 27424 WITH SCORE 27544.892
AT ITER 4200 NEW BEST:: SOT 149213 SOS 120886 HAS SOPS 60237 HAS SOUS 30607 HAS SOUPS 27384 WITH SCORE 27504.886
AT ITER 4204 NEW BEST:: SOT 149197 SOS 120870 HAS SOPS 60225 HAS SOUS 30595 HAS SOUPS 27372 WITH SCORE 27492.87
AT ITER 4227 NEW BEST:: SOT 149197 SOS 120870 HAS SOPS 60225 HAS SOUS 30576 HAS SOUPS 27353 WITH SCORE 27473.87
AT ITER 4236 NEW BEST:: SOT 149217 SOS 120890 HAS SOPS 60265 HAS SOUS 30574 HAS SOUPS 27351 WITH SCORE 27471.89
AT ITER 4243 NEW BEST:: SOT 149211 SOS 120884 HAS SOPS 60253 HAS SOUS 30565 HAS SOUPS 27339 WITH SCORE 27459.884
AT ITER 4246 NEW BEST:: SOT 149197 SOS 120870 HAS SOPS 60260 HAS SOUS 30558 HAS SOUPS 27332 WITH SCORE 27452.87
AT ITER 4262 NEW BEST:: SOT 149229 SOS 120902 HAS SOPS 60246 HAS SOUS 30556 HAS SOUPS 27330 WITH SCORE 27450.902
AT ITER 4272 NEW BEST:: SOT 149199 SOS 120872 HAS SOPS 60186 HAS SOUS 30511 HAS SOUPS 27285 WITH SCORE 27405.872
AT ITER 4275 NEW BEST:: SOT 149167 SOS 120840 HAS SOPS 60138 HAS SOUS 30447 HAS SOUPS 27221 WITH SCORE 27341.84
AT ITER 4285 NEW BEST:: SOT 149133 SOS 120806 HAS SOPS 60070 HAS SOUS 30396 HAS SOUPS 27170 WITH SCORE 27290.806
AT ITER 4292 NEW BEST:: SOT 149059 SOS 120782 HAS SOPS 60027 HAS SOUS 30353 HAS SOUPS 27127 WITH SCORE 27247.782
AT ITER 4312 NEW BEST:: SOT 149059 SOS 120761 HAS SOPS 60027 HAS SOUS 30353 HAS SOUPS 27127 WITH SCORE 27247.761
AT ITER 4317 NEW BEST:: SOT 149004 SOS 120680 HAS SOPS 60033 HAS SOUS 30348 HAS SOUPS 27122 WITH SCORE 27242.68
AT ITER 4329 NEW BEST:: SOT 149005 SOS 120681 HAS SOPS 60031 HAS SOUS 30347 HAS SOUPS 27121 WITH SCORE 27241.681
AT ITER 4335 NEW BEST:: SOT 149013 SOS 120689 HAS SOPS 59991 HAS SOUS 30342 HAS SOUPS 27103 WITH SCORE 27223.689
AT ITER 4345 NEW BEST:: SOT 149003 SOS 120679 HAS SOPS 59976 HAS SOUS 30327 HAS SOUPS 27088 WITH SCORE 27208.679
AT ITER 4354 NEW BEST:: SOT 148981 SOS 120657 HAS SOPS 59943 HAS SOUS 30283 HAS SOUPS 27044 WITH SCORE 27164.657
AT ITER 4371 NEW BEST:: SOT 148981 SOS 120617 HAS SOPS 59943 HAS SOUS 30283 HAS SOUPS 27044 WITH SCORE 27164.617
AT ITER 4383 NEW BEST:: SOT 148981 SOS 120617 HAS SOPS 59899 HAS SOUS 30255 HAS SOUPS 27011 WITH SCORE 27131.617
AT ITER 4390 NEW BEST:: SOT 148955 SOS 120591 HAS SOPS 59860 HAS SOUS 30201 HAS SOUPS 26957 WITH SCORE 27077.591
AT ITER 4397 NEW BEST:: SOT 148929 SOS 120565 HAS SOPS 59873 HAS SOUS 30201 HAS SOUPS 26957 WITH SCORE 27077.565
AT ITER 4426 NEW BEST:: SOT 148919 SOS 120555 HAS SOPS 59858 HAS SOUS 30186 HAS SOUPS 26942 WITH SCORE 27062.555
AT ITER 4441 NEW BEST:: SOT 148879 SOS 120515 HAS SOPS 59798 HAS SOUS 30122 HAS SOUPS 26878 WITH SCORE 26998.515
AT ITER 4444 NEW BEST:: SOT 148783 SOS 121153 HAS SOPS 59942 HAS SOUS 30110 HAS SOUPS 26854 WITH SCORE 26975.153
AT ITER 4450 NEW BEST:: SOT 148745 SOS 121039 HAS SOPS 59752 HAS SOUS 30034 HAS SOUPS 26778 WITH SCORE 26899.039
AT ITER 4511 NEW BEST:: SOT 148745 SOS 121039 HAS SOPS 59752 HAS SOUS 30030 HAS SOUPS 26774 WITH SCORE 26895.039
AT ITER 4516 NEW BEST:: SOT 148698 SOS 121053 HAS SOPS 59695 HAS SOUS 30002 HAS SOUPS 26708 WITH SCORE 26829.053
AT ITER 4550 NEW BEST:: SOT 148698 SOS 121053 HAS SOPS 59695 HAS SOUS 29991 HAS SOUPS 26697 WITH SCORE 26818.053
AT ITER 4554 NEW BEST:: SOT 148702 SOS 120979 HAS SOPS 59599 HAS SOUS 30008 HAS SOUPS 26692 WITH SCORE 26812.979
AT ITER 4559 NEW BEST:: SOT 148684 SOS 120961 HAS SOPS 59563 HAS SOUS 29992 HAS SOUPS 26676 WITH SCORE 26796.961
AT ITER 4562 NEW BEST:: SOT 148635 SOS 120912 HAS SOPS 59514 HAS SOUS 29924 HAS SOUPS 26608 WITH SCORE 26728.912
AT ITER 4571 NEW BEST:: SOT 148627 SOS 120904 HAS SOPS 59498 HAS SOUS 29912 HAS SOUPS 26596 WITH SCORE 26716.904
AT ITER 4573 NEW BEST:: SOT 148627 SOS 120802 HAS SOPS 59408 HAS SOUS 29912 HAS SOUPS 26596 WITH SCORE 26716.802
AT ITER 4590 NEW BEST:: SOT 148631 SOS 120806 HAS SOPS 59400 HAS SOUS 29908 HAS SOUPS 26592 WITH SCORE 26712.806
AT ITER 4595 NEW BEST:: SOT 148625 SOS 120800 HAS SOPS 59397 HAS SOUS 29908 HAS SOUPS 26592 WITH SCORE 26712.8
AT ITER 4627 NEW BEST:: SOT 148503 SOS 120678 HAS SOPS 59358 HAS SOUS 29840 HAS SOUPS 26524 WITH SCORE 26644.678
AT ITER 4635 NEW BEST:: SOT 148435 SOS 120610 HAS SOPS 59304 HAS SOUS 29786 HAS SOUPS 26470 WITH SCORE 26590.61
AT ITER 4646 NEW BEST:: SOT 148413 SOS 120588 HAS SOPS 59271 HAS SOUS 29753 HAS SOUPS 26437 WITH SCORE 26557.588
AT ITER 4682 NEW BEST:: SOT 148405 SOS 120580 HAS SOPS 59281 HAS SOUS 29741 HAS SOUPS 26425 WITH SCORE 26545.58
AT ITER 4720 NEW BEST:: SOT 148363 SOS 120562 HAS SOPS 59243 HAS SOUS 29713 HAS SOUPS 26383 WITH SCORE 26503.562
AT ITER 4724 NEW BEST:: SOT 148363 SOS 120562 HAS SOPS 59243 HAS SOUS 29702 HAS SOUPS 26372 WITH SCORE 26492.562
AT ITER 4755 NEW BEST:: SOT 148363 SOS 120562 HAS SOPS 59243 HAS SOUS 29684 HAS SOUPS 26354 WITH SCORE 26474.562
AT ITER 4759 NEW BEST:: SOT 148351 SOS 120550 HAS SOPS 59225 HAS SOUS 29666 HAS SOUPS 26336 WITH SCORE 26456.55
AT ITER 4774 NEW BEST:: SOT 148313 SOS 120512 HAS SOPS 59149 HAS SOUS 29618 HAS SOUPS 26288 WITH SCORE 26408.512
AT ITER 4828 NEW BEST:: SOT 148399 SOS 120566 HAS SOPS 58979 HAS SOUS 29484 HAS SOUPS 26154 WITH SCORE 26274.566
AT ITER 4842 NEW BEST:: SOT 148399 SOS 120566 HAS SOPS 58979 HAS SOUS 29447 HAS SOUPS 26117 WITH SCORE 26237.566
AT ITER 4857 NEW BEST:: SOT 148213 SOS 122194 HAS SOPS 59438 HAS SOUS 29429 HAS SOUPS 26071 WITH SCORE 26193.194
AT ITER 4868 NEW BEST:: SOT 148213 SOS 122185 HAS SOPS 59371 HAS SOUS 29429 HAS SOUPS 26071 WITH SCORE 26193.185
AT ITER 4874 NEW BEST:: SOT 148213 SOS 122185 HAS SOPS 59351 HAS SOUS 29414 HAS SOUPS 26056 WITH SCORE 26178.185
AT ITER 4895 NEW BEST:: SOT 148209 SOS 122181 HAS SOPS 59343 HAS SOUS 29406 HAS SOUPS 26048 WITH SCORE 26170.181
AT ITER 4899 NEW BEST:: SOT 148179 SOS 122151 HAS SOPS 59325 HAS SOUS 29361 HAS SOUPS 26003 WITH SCORE 26125.151
AT ITER 4909 NEW BEST:: SOT 148179 SOS 122145 HAS SOPS 59335 HAS SOUS 29361 HAS SOUPS 26003 WITH SCORE 26125.145
AT ITER 4914 NEW BEST:: SOT 148171 SOS 122137 HAS SOPS 59323 HAS SOUS 29346 HAS SOUPS 25988 WITH SCORE 26110.137
AT ITER 4916 NEW BEST:: SOT 148163 SOS 122129 HAS SOPS 59317 HAS SOUS 29340 HAS SOUPS 25982 WITH SCORE 26104.129
AT ITER 4948 NEW BEST:: SOT 148151 SOS 122117 HAS SOPS 59299 HAS SOUS 29326 HAS SOUPS 25968 WITH SCORE 26090.117
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Raft-PT-09-CTLCardinality-00 (! ( (! (EF(potential( ( 1 ) <= (tk(P389)) )))) & (EF(( potential( ( 1 ) <= (tk(P165)) ) | potential( (tk(P61)) <= (tk(P80)) ) ))) ))
PROPERTY: Raft-PT-09-CTLCardinality-01 (EU( (! (! potential( (tk(P267)) <= (tk(P104)) ))),(AF(potential( ( 3 ) <= (tk(P33)) ))) ))
PROPERTY: Raft-PT-09-CTLCardinality-02 (EU( potential( ( 2 ) <= (tk(P27)) ),(AG( potential( (tk(P398)) <= (tk(P26)) ))) ))
PROPERTY: Raft-PT-09-CTLCardinality-03 ( (EU( ( potential( ( 1 ) <= (tk(P126)) ) | potential( (tk(P309)) <= (tk(P159)) ) ),potential( ( 2 ) <= (tk(P222)) ) )) | (EF(( ( potential( ( 3 ) <= (tk(P221)) ) & potential( (tk(P248)) <= (tk(P189)) ) ) & ( potential( (tk(P170)) <= (tk(P110)) ) | potential( (tk(P79)) <= (tk(P115)) ) ) ))) )
PROPERTY: Raft-PT-09-CTLCardinality-04 (! (EU( (! potential( ( 2 ) <= (tk(P29)) )),potential( ( 2 ) <= (tk(P230)) ) )))
PROPERTY: Raft-PT-09-CTLCardinality-05 (EG( (! (AG( potential( (tk(P392)) <= (tk(P343)) ))))))
PROPERTY: Raft-PT-09-CTLCardinality-06 (AF((AG( ( potential( (tk(P131)) <= (tk(P145)) ) | potential( (tk(P262)) <= (tk(P101)) ) )))))
PROPERTY: Raft-PT-09-CTLCardinality-07 ( (AX( (AF(potential( ( 3 ) <= (tk(P326)) ))))) | (! (! (AG( potential( (tk(P383)) <= (tk(P213)) ))))) )
PROPERTY: Raft-PT-09-CTLCardinality-08 (AG( (! (EG( potential( ( 1 ) <= (tk(P190)) ))))))
PROPERTY: Raft-PT-09-CTLCardinality-09 (EF(( potential( ( 1 ) <= (tk(P267)) ) & ( potential( (tk(P53)) <= (tk(P314)) ) & potential( ( 1 ) <= (tk(P159)) ) ) )))
PROPERTY: Raft-PT-09-CTLCardinality-10 (EF((AG( ( potential( (tk(P218)) <= (tk(P128)) ) & potential( (tk(P262)) <= (tk(P403)) ) )))))
PROPERTY: Raft-PT-09-CTLCardinality-11 (AG( (EX( potential( (tk(P322)) <= (tk(P104)) )))))
PROPERTY: Raft-PT-09-CTLCardinality-12 ( (! ( (! (! potential( (tk(P412)) <= (tk(P267)) ))) | ( (! potential( ( 3 ) <= (tk(P72)) )) & ( potential( ( 3 ) <= (tk(P195)) ) | potential( (tk(P77)) <= (tk(P282)) ) ) ) )) | ( ( (AG( potential( (tk(P115)) <= (tk(P321)) ))) | potential( ( 1 ) <= (tk(P320)) ) ) | (! potential( (tk(P316)) <= (tk(P402)) )) ) )
PROPERTY: Raft-PT-09-CTLCardinality-13 ( (! (EU( potential( (tk(P134)) <= (tk(P266)) ),potential( ( 2 ) <= (tk(P173)) ) ))) & (! (EG( ( potential( ( 2 ) <= (tk(P53)) ) & potential( (tk(P90)) <= (tk(P85)) ) )))) )
PROPERTY: Raft-PT-09-CTLCardinality-14 (AG( (EF(( potential( (tk(P255)) <= (tk(P279)) ) | potential( ( 2 ) <= (tk(P200)) ) )))))
PROPERTY: Raft-PT-09-CTLCardinality-15 (! (EU( ( potential( (tk(P338)) <= (tk(P318)) ) & potential( (tk(P293)) <= (tk(P237)) ) ),potential( ( 2 ) <= (tk(P7)) ) )))

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="Raft-PT-09"
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 Raft-PT-09, 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 r138-smll-158961502600275"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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