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.r078-smll-158922972500376.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 FlexibleBarrier-PT-18a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972500376
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 424K
-rw-r--r-- 1 mcc users 3.2K Apr 4 19:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 4 19:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 4 08:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 4 08:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 3 21:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 3 21:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 3 13:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Apr 3 13:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 265K Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589443014093

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

Filename model.pnml
Petri model created: 219 places, 886 transitions, 4355 arcs.
AT ITER 0 NEW BEST:: SOT 171612 SOS 147997 HAS SOPS 147997 HAS SOUS 83087 HAS SOUPS 83087 WITH SCORE 83234.997
AT ITER 9 NEW BEST:: SOT 171205 SOS 147630 HAS SOPS 147630 HAS SOUS 82858 HAS SOUPS 82858 WITH SCORE 83005.63
AT ITER 11 NEW BEST:: SOT 171280 SOS 147347 HAS SOPS 147347 HAS SOUS 81197 HAS SOUPS 81197 WITH SCORE 81344.347
AT ITER 16 NEW BEST:: SOT 170989 SOS 146927 HAS SOPS 146927 HAS SOUS 80840 HAS SOUPS 80840 WITH SCORE 80986.927
AT ITER 17 NEW BEST:: SOT 171106 SOS 146708 HAS SOPS 146708 HAS SOUS 80097 HAS SOUPS 80097 WITH SCORE 80243.708
AT ITER 18 NEW BEST:: SOT 171104 SOS 146682 HAS SOPS 146682 HAS SOUS 80084 HAS SOUPS 80084 WITH SCORE 80230.682
AT ITER 21 NEW BEST:: SOT 170695 SOS 146136 HAS SOPS 146136 HAS SOUS 79720 HAS SOUPS 79720 WITH SCORE 79866.136
AT ITER 22 NEW BEST:: SOT 170582 SOS 146021 HAS SOPS 146021 HAS SOUS 79650 HAS SOUPS 79650 WITH SCORE 79796.021
AT ITER 23 NEW BEST:: SOT 170612 SOS 145992 HAS SOPS 145992 HAS SOUS 79435 HAS SOUPS 79435 WITH SCORE 79580.992
AT ITER 24 NEW BEST:: SOT 170594 SOS 145971 HAS SOPS 145971 HAS SOUS 79435 HAS SOUPS 79435 WITH SCORE 79580.971
AT ITER 25 NEW BEST:: SOT 170645 SOS 146072 HAS SOPS 146072 HAS SOUS 79432 HAS SOUPS 79432 WITH SCORE 79578.072
AT ITER 27 NEW BEST:: SOT 170651 SOS 145711 HAS SOPS 145711 HAS SOUS 77892 HAS SOUPS 77892 WITH SCORE 78037.711
AT ITER 28 NEW BEST:: SOT 169815 SOS 144875 HAS SOPS 144875 HAS SOUS 77437 HAS SOUPS 77437 WITH SCORE 77581.875
AT ITER 32 NEW BEST:: SOT 169971 SOS 144383 HAS SOPS 144383 HAS SOUS 73606 HAS SOUPS 73606 WITH SCORE 73750.383
AT ITER 33 NEW BEST:: SOT 169977 SOS 143963 HAS SOPS 143963 HAS SOUS 73000 HAS SOUPS 73000 WITH SCORE 73143.963
AT ITER 34 NEW BEST:: SOT 169834 SOS 142127 HAS SOPS 142127 HAS SOUS 68347 HAS SOUPS 68347 WITH SCORE 68489.127
AT ITER 38 NEW BEST:: SOT 169833 SOS 142214 HAS SOPS 142214 HAS SOUS 68346 HAS SOUPS 68346 WITH SCORE 68488.214
AT ITER 41 NEW BEST:: SOT 169224 SOS 141634 HAS SOPS 141634 HAS SOUS 68328 HAS SOUPS 68328 WITH SCORE 68469.634
AT ITER 44 NEW BEST:: SOT 169224 SOS 141528 HAS SOPS 141528 HAS SOUS 68275 HAS SOUPS 68275 WITH SCORE 68416.528
AT ITER 47 NEW BEST:: SOT 168906 SOS 141144 HAS SOPS 141144 HAS SOUS 68138 HAS SOUPS 68138 WITH SCORE 68279.144
AT ITER 49 NEW BEST:: SOT 168024 SOS 140591 HAS SOPS 140591 HAS SOUS 67948 HAS SOUPS 67948 WITH SCORE 68088.591
AT ITER 53 NEW BEST:: SOT 168291 SOS 140867 HAS SOPS 140867 HAS SOUS 67893 HAS SOUPS 67893 WITH SCORE 68033.867
AT ITER 54 NEW BEST:: SOT 168467 SOS 140904 HAS SOPS 140904 HAS SOUS 67800 HAS SOUPS 67800 WITH SCORE 67940.904
AT ITER 55 NEW BEST:: SOT 168392 SOS 140829 HAS SOPS 140829 HAS SOUS 67727 HAS SOUPS 67727 WITH SCORE 67867.829
AT ITER 57 NEW BEST:: SOT 168358 SOS 140795 HAS SOPS 140795 HAS SOUS 67727 HAS SOUPS 67727 WITH SCORE 67867.795
AT ITER 60 NEW BEST:: SOT 168358 SOS 139472 HAS SOPS 139472 HAS SOUS 65708 HAS SOUPS 65708 WITH SCORE 65847.472
AT ITER 62 NEW BEST:: SOT 167851 SOS 139003 HAS SOPS 139003 HAS SOUS 65667 HAS SOUPS 65667 WITH SCORE 65806.003
AT ITER 64 NEW BEST:: SOT 167819 SOS 138933 HAS SOPS 138933 HAS SOUS 65645 HAS SOUPS 65645 WITH SCORE 65783.933
AT ITER 67 NEW BEST:: SOT 167339 SOS 138430 HAS SOPS 138430 HAS SOUS 65298 HAS SOUPS 65298 WITH SCORE 65436.43
AT ITER 69 NEW BEST:: SOT 167339 SOS 138364 HAS SOPS 138364 HAS SOUS 65298 HAS SOUPS 65298 WITH SCORE 65436.364
AT ITER 73 NEW BEST:: SOT 167356 SOS 138375 HAS SOPS 138375 HAS SOUS 65287 HAS SOUPS 65287 WITH SCORE 65425.375
AT ITER 81 NEW BEST:: SOT 167244 SOS 138151 HAS SOPS 138151 HAS SOUS 65116 HAS SOUPS 65116 WITH SCORE 65254.151
AT ITER 82 NEW BEST:: SOT 167297 SOS 137236 HAS SOPS 137236 HAS SOUS 63244 HAS SOUPS 63244 WITH SCORE 63381.236
AT ITER 84 NEW BEST:: SOT 167511 SOS 137277 HAS SOPS 137277 HAS SOUS 63237 HAS SOUPS 63237 WITH SCORE 63374.277
AT ITER 85 NEW BEST:: SOT 167624 SOS 136441 HAS SOPS 136441 HAS SOUS 62102 HAS SOUPS 62102 WITH SCORE 62238.441
AT ITER 94 NEW BEST:: SOT 167617 SOS 136413 HAS SOPS 136413 HAS SOUS 62025 HAS SOUPS 62025 WITH SCORE 62161.413
AT ITER 98 NEW BEST:: SOT 167671 SOS 136283 HAS SOPS 136283 HAS SOUS 61983 HAS SOUPS 61983 WITH SCORE 62119.283
AT ITER 101 NEW BEST:: SOT 167750 SOS 136198 HAS SOPS 136198 HAS SOUS 61900 HAS SOUPS 61900 WITH SCORE 62036.198
AT ITER 103 NEW BEST:: SOT 167562 SOS 136008 HAS SOPS 136008 HAS SOUS 61818 HAS SOUPS 61818 WITH SCORE 61954.008
AT ITER 104 NEW BEST:: SOT 167568 SOS 134888 HAS SOPS 134888 HAS SOUS 61174 HAS SOUPS 61174 WITH SCORE 61308.888
AT ITER 111 NEW BEST:: SOT 165977 SOS 133315 HAS SOPS 133297 HAS SOUS 59593 HAS SOUPS 59583 WITH SCORE 59716.315
AT ITER 115 NEW BEST:: SOT 165939 SOS 133272 HAS SOPS 133235 HAS SOUS 59540 HAS SOUPS 59521 WITH SCORE 59654.272
AT ITER 133 NEW BEST:: SOT 166018 SOS 133242 HAS SOPS 133205 HAS SOUS 59510 HAS SOUPS 59491 WITH SCORE 59624.242
AT ITER 134 NEW BEST:: SOT 166171 SOS 130066 HAS SOPS 130029 HAS SOUS 55482 HAS SOUPS 55463 WITH SCORE 55593.066
AT ITER 137 NEW BEST:: SOT 166238 SOS 130066 HAS SOPS 130029 HAS SOUS 55348 HAS SOUPS 55329 WITH SCORE 55459.066
AT ITER 138 NEW BEST:: SOT 166294 SOS 129957 HAS SOPS 129920 HAS SOUS 55335 HAS SOUPS 55316 WITH SCORE 55445.957
AT ITER 141 NEW BEST:: SOT 166294 SOS 129797 HAS SOPS 129770 HAS SOUS 55269 HAS SOUPS 55250 WITH SCORE 55379.797
AT ITER 145 NEW BEST:: SOT 166349 SOS 129874 HAS SOPS 129847 HAS SOUS 55267 HAS SOUPS 55248 WITH SCORE 55377.874
AT ITER 157 NEW BEST:: SOT 153438 SOS 122735 HAS SOPS 116918 HAS SOUS 49898 HAS SOUPS 49746 WITH SCORE 49868.735
AT ITER 166 NEW BEST:: SOT 153438 SOS 122725 HAS SOPS 116908 HAS SOUS 49886 HAS SOUPS 49734 WITH SCORE 49856.725
AT ITER 167 NEW BEST:: SOT 153416 SOS 122703 HAS SOPS 116886 HAS SOUS 49883 HAS SOUPS 49731 WITH SCORE 49853.703
AT ITER 171 NEW BEST:: SOT 153410 SOS 122685 HAS SOPS 116832 HAS SOUS 49787 HAS SOUPS 49635 WITH SCORE 49757.685
AT ITER 172 NEW BEST:: SOT 153406 SOS 122787 HAS SOPS 116905 HAS SOUS 49784 HAS SOUPS 49632 WITH SCORE 49754.787
AT ITER 175 NEW BEST:: SOT 153297 SOS 122614 HAS SOPS 116732 HAS SOUS 49713 HAS SOUPS 49561 WITH SCORE 49683.614
AT ITER 176 NEW BEST:: SOT 153332 SOS 122586 HAS SOPS 116753 HAS SOUS 49689 HAS SOUPS 49537 WITH SCORE 49659.586
AT ITER 178 NEW BEST:: SOT 153331 SOS 122604 HAS SOPS 116351 HAS SOUS 49188 HAS SOUPS 49036 WITH SCORE 49158.604
AT ITER 181 NEW BEST:: SOT 153310 SOS 122562 HAS SOPS 116309 HAS SOUS 49186 HAS SOUPS 49034 WITH SCORE 49156.562
AT ITER 184 NEW BEST:: SOT 153296 SOS 122528 HAS SOPS 116275 HAS SOUS 49160 HAS SOUPS 49008 WITH SCORE 49130.528
AT ITER 187 NEW BEST:: SOT 153474 SOS 121486 HAS SOPS 113507 HAS SOUS 46852 HAS SOUPS 46700 WITH SCORE 46821.486
AT ITER 189 NEW BEST:: SOT 152978 SOS 121032 HAS SOPS 113053 HAS SOUS 46572 HAS SOUPS 46420 WITH SCORE 46541.032
AT ITER 193 NEW BEST:: SOT 151652 SOS 119656 HAS SOPS 111845 HAS SOUS 46042 HAS SOUPS 45890 WITH SCORE 46009.656
AT ITER 194 NEW BEST:: SOT 149642 SOS 117488 HAS SOPS 109677 HAS SOUS 44792 HAS SOUPS 44640 WITH SCORE 44757.488
AT ITER 196 NEW BEST:: SOT 149642 SOS 117544 HAS SOPS 109657 HAS SOUS 44772 HAS SOUPS 44620 WITH SCORE 44737.544
AT ITER 200 NEW BEST:: SOT 149601 SOS 117406 HAS SOPS 109519 HAS SOUS 44722 HAS SOUPS 44570 WITH SCORE 44687.406
AT ITER 201 NEW BEST:: SOT 149845 SOS 116866 HAS SOPS 108979 HAS SOUS 44598 HAS SOUPS 44446 WITH SCORE 44562.866
AT ITER 202 NEW BEST:: SOT 149868 SOS 116865 HAS SOPS 108853 HAS SOUS 44517 HAS SOUPS 44365 WITH SCORE 44481.865
AT ITER 205 NEW BEST:: SOT 149841 SOS 116619 HAS SOPS 108607 HAS SOUS 44409 HAS SOUPS 44257 WITH SCORE 44373.619
AT ITER 207 NEW BEST:: SOT 149838 SOS 116610 HAS SOPS 108598 HAS SOUS 44409 HAS SOUPS 44257 WITH SCORE 44373.61
AT ITER 208 NEW BEST:: SOT 149838 SOS 116593 HAS SOPS 108581 HAS SOUS 44392 HAS SOUPS 44240 WITH SCORE 44356.593
AT ITER 210 NEW BEST:: SOT 149425 SOS 116180 HAS SOPS 108168 HAS SOUS 44190 HAS SOUPS 44038 WITH SCORE 44154.18
AT ITER 213 NEW BEST:: SOT 149382 SOS 116053 HAS SOPS 108041 HAS SOUS 44142 HAS SOUPS 43990 WITH SCORE 44106.053
AT ITER 217 NEW BEST:: SOT 149369 SOS 115409 HAS SOPS 107397 HAS SOUS 44022 HAS SOUPS 43870 WITH SCORE 43985.409
AT ITER 219 NEW BEST:: SOT 149369 SOS 115409 HAS SOPS 107397 HAS SOUS 44005 HAS SOUPS 43853 WITH SCORE 43968.409
AT ITER 223 NEW BEST:: SOT 149367 SOS 115370 HAS SOPS 107358 HAS SOUS 43998 HAS SOUPS 43846 WITH SCORE 43961.37
AT ITER 224 NEW BEST:: SOT 149360 SOS 115317 HAS SOPS 107298 HAS SOUS 43885 HAS SOUPS 43733 WITH SCORE 43848.317
AT ITER 229 NEW BEST:: SOT 149332 SOS 115261 HAS SOPS 107242 HAS SOUS 43870 HAS SOUPS 43718 WITH SCORE 43833.261
AT ITER 231 NEW BEST:: SOT 150294 SOS 114865 HAS SOPS 104578 HAS SOUS 41755 HAS SOUPS 41603 WITH SCORE 41717.865
AT ITER 234 NEW BEST:: SOT 150270 SOS 114837 HAS SOPS 104550 HAS SOUS 41727 HAS SOUPS 41575 WITH SCORE 41689.837
AT ITER 238 NEW BEST:: SOT 150198 SOS 114907 HAS SOPS 104620 HAS SOUS 41717 HAS SOUPS 41565 WITH SCORE 41679.907
AT ITER 239 NEW BEST:: SOT 150214 SOS 112730 HAS SOPS 101493 HAS SOUS 40790 HAS SOUPS 40638 WITH SCORE 40750.73
AT ITER 241 NEW BEST:: SOT 146526 SOS 108910 HAS SOPS 98623 HAS SOUS 39353 HAS SOUPS 39201 WITH SCORE 39309.91
AT ITER 244 NEW BEST:: SOT 144425 SOS 106809 HAS SOPS 96522 HAS SOUS 38274 HAS SOUPS 38122 WITH SCORE 38228.809
AT ITER 245 NEW BEST:: SOT 144398 SOS 106755 HAS SOPS 96468 HAS SOUS 38247 HAS SOUPS 38095 WITH SCORE 38201.755
AT ITER 250 NEW BEST:: SOT 144451 SOS 106767 HAS SOPS 96492 HAS SOUS 38246 HAS SOUPS 38094 WITH SCORE 38200.767
AT ITER 251 NEW BEST:: SOT 144418 SOS 106701 HAS SOPS 96426 HAS SOUS 38234 HAS SOUPS 38082 WITH SCORE 38188.701
AT ITER 255 NEW BEST:: SOT 143352 SOS 105604 HAS SOPS 95329 HAS SOUS 37714 HAS SOUPS 37562 WITH SCORE 37667.604
AT ITER 263 NEW BEST:: SOT 143249 SOS 105501 HAS SOPS 95226 HAS SOUS 37664 HAS SOUPS 37512 WITH SCORE 37617.501
AT ITER 265 NEW BEST:: SOT 143249 SOS 105460 HAS SOPS 95144 HAS SOUS 37623 HAS SOUPS 37471 WITH SCORE 37576.46
AT ITER 274 NEW BEST:: SOT 141269 SOS 103480 HAS SOPS 93164 HAS SOUS 36609 HAS SOUPS 36457 WITH SCORE 36560.48
AT ITER 276 NEW BEST:: SOT 142057 SOS 102128 HAS SOPS 89676 HAS SOUS 35403 HAS SOUPS 35251 WITH SCORE 35353.128
AT ITER 277 NEW BEST:: SOT 142033 SOS 101860 HAS SOPS 89384 HAS SOUS 35255 HAS SOUPS 35103 WITH SCORE 35204.86
AT ITER 279 NEW BEST:: SOT 142016 SOS 101802 HAS SOPS 89290 HAS SOUS 35159 HAS SOUPS 35007 WITH SCORE 35108.802
AT ITER 281 NEW BEST:: SOT 142007 SOS 101784 HAS SOPS 89272 HAS SOUS 35141 HAS SOUPS 34989 WITH SCORE 35090.784
AT ITER 282 NEW BEST:: SOT 142122 SOS 101840 HAS SOPS 89328 HAS SOUS 35140 HAS SOUPS 34988 WITH SCORE 35089.84
AT ITER 287 NEW BEST:: SOT 142046 SOS 101770 HAS SOPS 89217 HAS SOUS 35027 HAS SOUPS 34875 WITH SCORE 34976.77
AT ITER 292 NEW BEST:: SOT 140721 SOS 100643 HAS SOPS 87863 HAS SOUS 33729 HAS SOUPS 33548 WITH SCORE 33648.643
AT ITER 293 NEW BEST:: SOT 140674 SOS 100578 HAS SOPS 87769 HAS SOUS 33638 HAS SOUPS 33457 WITH SCORE 33557.578
AT ITER 295 NEW BEST:: SOT 140674 SOS 99892 HAS SOPS 86999 HAS SOUS 33439 HAS SOUPS 33258 WITH SCORE 33357.892
AT ITER 296 NEW BEST:: SOT 140607 SOS 99915 HAS SOPS 87022 HAS SOUS 33362 HAS SOUPS 33181 WITH SCORE 33280.915
AT ITER 297 NEW BEST:: SOT 140626 SOS 99877 HAS SOPS 86984 HAS SOUS 33328 HAS SOUPS 33147 WITH SCORE 33246.877
AT ITER 304 NEW BEST:: SOT 140620 SOS 99865 HAS SOPS 86972 HAS SOUS 33316 HAS SOUPS 33135 WITH SCORE 33234.865
AT ITER 306 NEW BEST:: SOT 140616 SOS 99863 HAS SOPS 86968 HAS SOUS 33314 HAS SOUPS 33133 WITH SCORE 33232.863
AT ITER 308 NEW BEST:: SOT 140609 SOS 99830 HAS SOPS 86945 HAS SOUS 33308 HAS SOUPS 33127 WITH SCORE 33226.83
AT ITER 311 NEW BEST:: SOT 140608 SOS 99831 HAS SOPS 86517 HAS SOUS 33124 HAS SOUPS 32943 WITH SCORE 33042.831
AT ITER 313 NEW BEST:: SOT 140603 SOS 99735 HAS SOPS 86416 HAS SOUS 33023 HAS SOUPS 32842 WITH SCORE 32941.735
AT ITER 314 NEW BEST:: SOT 140612 SOS 99638 HAS SOPS 86340 HAS SOUS 32924 HAS SOUPS 32743 WITH SCORE 32842.638
AT ITER 319 NEW BEST:: SOT 140573 SOS 99560 HAS SOPS 86262 HAS SOUS 32897 HAS SOUPS 32716 WITH SCORE 32815.56
AT ITER 324 NEW BEST:: SOT 140574 SOS 99560 HAS SOPS 86249 HAS SOUS 32870 HAS SOUPS 32689 WITH SCORE 32788.56
AT ITER 333 NEW BEST:: SOT 140568 SOS 99548 HAS SOPS 86237 HAS SOUS 32862 HAS SOUPS 32681 WITH SCORE 32780.548
AT ITER 335 NEW BEST:: SOT 140591 SOS 99542 HAS SOPS 86231 HAS SOUS 32832 HAS SOUPS 32651 WITH SCORE 32750.542
AT ITER 336 NEW BEST:: SOT 140591 SOS 99460 HAS SOPS 86115 HAS SOUS 32730 HAS SOUPS 32548 WITH SCORE 32647.46
AT ITER 342 NEW BEST:: SOT 140566 SOS 99410 HAS SOPS 86065 HAS SOUS 32675 HAS SOUPS 32493 WITH SCORE 32592.41
AT ITER 343 NEW BEST:: SOT 140449 SOS 99247 HAS SOPS 85888 HAS SOUS 32501 HAS SOUPS 32319 WITH SCORE 32418.247
AT ITER 346 NEW BEST:: SOT 140446 SOS 99244 HAS SOPS 85873 HAS SOUS 32486 HAS SOUPS 32304 WITH SCORE 32403.244
AT ITER 348 NEW BEST:: SOT 140428 SOS 99210 HAS SOPS 85839 HAS SOUS 32445 HAS SOUPS 32263 WITH SCORE 32362.21
AT ITER 351 NEW BEST:: SOT 140300 SOS 98954 HAS SOPS 85583 HAS SOUS 32343 HAS SOUPS 32161 WITH SCORE 32259.954
AT ITER 360 NEW BEST:: SOT 140344 SOS 98950 HAS SOPS 83576 HAS SOUS 31006 HAS SOUPS 30824 WITH SCORE 30922.95
AT ITER 362 NEW BEST:: SOT 140398 SOS 98940 HAS SOPS 83512 HAS SOUS 30911 HAS SOUPS 30729 WITH SCORE 30827.94
AT ITER 363 NEW BEST:: SOT 140398 SOS 98940 HAS SOPS 83511 HAS SOUS 30910 HAS SOUPS 30728 WITH SCORE 30826.94
AT ITER 364 NEW BEST:: SOT 140366 SOS 98030 HAS SOPS 82601 HAS SOUS 30783 HAS SOUPS 30601 WITH SCORE 30699.03
AT ITER 366 NEW BEST:: SOT 140100 SOS 97750 HAS SOPS 82321 HAS SOUS 30629 HAS SOUPS 30447 WITH SCORE 30544.75
AT ITER 367 NEW BEST:: SOT 140041 SOS 97624 HAS SOPS 82072 HAS SOUS 30466 HAS SOUPS 30276 WITH SCORE 30373.624
AT ITER 369 NEW BEST:: SOT 140051 SOS 97614 HAS SOPS 82072 HAS SOUS 30456 HAS SOUPS 30266 WITH SCORE 30363.614
AT ITER 371 NEW BEST:: SOT 140029 SOS 97570 HAS SOPS 82028 HAS SOUS 30428 HAS SOUPS 30238 WITH SCORE 30335.57
AT ITER 375 NEW BEST:: SOT 140029 SOS 97565 HAS SOPS 82026 HAS SOUS 30426 HAS SOUPS 30236 WITH SCORE 30333.565
AT ITER 377 NEW BEST:: SOT 140029 SOS 97463 HAS SOPS 81924 HAS SOUS 30371 HAS SOUPS 30181 WITH SCORE 30278.463
AT ITER 380 NEW BEST:: SOT 140017 SOS 97442 HAS SOPS 81903 HAS SOUS 30360 HAS SOUPS 30170 WITH SCORE 30267.442
AT ITER 382 NEW BEST:: SOT 138833 SOS 96249 HAS SOPS 80710 HAS SOUS 29722 HAS SOUPS 29532 WITH SCORE 29628.249
AT ITER 384 NEW BEST:: SOT 138813 SOS 96201 HAS SOPS 80690 HAS SOUS 29703 HAS SOUPS 29513 WITH SCORE 29609.201
AT ITER 390 NEW BEST:: SOT 138813 SOS 96202 HAS SOPS 80661 HAS SOUS 29684 HAS SOUPS 29494 WITH SCORE 29590.202
AT ITER 394 NEW BEST:: SOT 138673 SOS 96050 HAS SOPS 80509 HAS SOUS 29600 HAS SOUPS 29410 WITH SCORE 29506.05
AT ITER 398 NEW BEST:: SOT 138703 SOS 96064 HAS SOPS 80523 HAS SOUS 29584 HAS SOUPS 29394 WITH SCORE 29490.064
AT ITER 400 NEW BEST:: SOT 138736 SOS 96066 HAS SOPS 80515 HAS SOUS 29574 HAS SOUPS 29384 WITH SCORE 29480.066
AT ITER 402 NEW BEST:: SOT 138711 SOS 95991 HAS SOPS 80465 HAS SOUS 29552 HAS SOUPS 29362 WITH SCORE 29457.991
AT ITER 404 NEW BEST:: SOT 138676 SOS 95956 HAS SOPS 80428 HAS SOUS 29515 HAS SOUPS 29325 WITH SCORE 29420.956
AT ITER 406 NEW BEST:: SOT 138671 SOS 95946 HAS SOPS 80418 HAS SOUS 29505 HAS SOUPS 29315 WITH SCORE 29410.946
AT ITER 407 NEW BEST:: SOT 138670 SOS 94926 HAS SOPS 79096 HAS SOUS 29247 HAS SOUPS 29057 WITH SCORE 29151.926
AT ITER 408 NEW BEST:: SOT 138639 SOS 94840 HAS SOPS 79010 HAS SOUS 29153 HAS SOUPS 28963 WITH SCORE 29057.84
AT ITER 435 NEW BEST:: SOT 138793 SOS 95048 HAS SOPS 76147 HAS SOUS 27510 HAS SOUPS 27320 WITH SCORE 27415.048
AT ITER 436 NEW BEST:: SOT 138807 SOS 95028 HAS SOPS 76141 HAS SOUS 27504 HAS SOUPS 27314 WITH SCORE 27409.028
AT ITER 441 NEW BEST:: SOT 137702 SOS 93869 HAS SOPS 75006 HAS SOUS 26959 HAS SOUPS 26769 WITH SCORE 26862.869
AT ITER 448 NEW BEST:: SOT 137699 SOS 93874 HAS SOPS 75011 HAS SOUS 26955 HAS SOUPS 26765 WITH SCORE 26858.874
AT ITER 451 NEW BEST:: SOT 137655 SOS 93869 HAS SOPS 74992 HAS SOUS 26947 HAS SOUPS 26757 WITH SCORE 26850.869
AT ITER 454 NEW BEST:: SOT 137577 SOS 93814 HAS SOPS 74908 HAS SOUS 26871 HAS SOUPS 26679 WITH SCORE 26772.814
AT ITER 455 NEW BEST:: SOT 137528 SOS 93702 HAS SOPS 74761 HAS SOUS 26808 HAS SOUPS 26616 WITH SCORE 26709.702
AT ITER 472 NEW BEST:: SOT 137622 SOS 93752 HAS SOPS 74767 HAS SOUS 26772 HAS SOUPS 26580 WITH SCORE 26673.752
AT ITER 474 NEW BEST:: SOT 135847 SOS 91965 HAS SOPS 72971 HAS SOUS 25853 HAS SOUPS 25661 WITH SCORE 25752.965
AT ITER 476 NEW BEST:: SOT 135855 SOS 91975 HAS SOPS 72483 HAS SOUS 24734 HAS SOUPS 24542 WITH SCORE 24633.975
AT ITER 478 NEW BEST:: SOT 133845 SOS 93665 HAS SOPS 70473 HAS SOUS 23173 HAS SOUPS 22881 WITH SCORE 22974.665
AT ITER 479 NEW BEST:: SOT 133827 SOS 93618 HAS SOPS 70415 HAS SOUS 23122 HAS SOUPS 22830 WITH SCORE 22923.618
AT ITER 480 NEW BEST:: SOT 133821 SOS 93618 HAS SOPS 70409 HAS SOUS 23116 HAS SOUPS 22824 WITH SCORE 22917.618
AT ITER 483 NEW BEST:: SOT 133811 SOS 93598 HAS SOPS 70389 HAS SOUS 23096 HAS SOUPS 22804 WITH SCORE 22897.598
AT ITER 484 NEW BEST:: SOT 133796 SOS 93598 HAS SOPS 70374 HAS SOUS 23081 HAS SOUPS 22789 WITH SCORE 22882.598
AT ITER 485 NEW BEST:: SOT 133710 SOS 95396 HAS SOPS 70235 HAS SOUS 23071 HAS SOUPS 22752 WITH SCORE 22847.396
AT ITER 487 NEW BEST:: SOT 133688 SOS 95354 HAS SOPS 70191 HAS SOUS 23045 HAS SOUPS 22726 WITH SCORE 22821.354
AT ITER 492 NEW BEST:: SOT 133681 SOS 95328 HAS SOPS 70177 HAS SOUS 23032 HAS SOUPS 22713 WITH SCORE 22808.328
AT ITER 494 NEW BEST:: SOT 133564 SOS 95136 HAS SOPS 69943 HAS SOUS 22843 HAS SOUPS 22524 WITH SCORE 22619.136
AT ITER 495 NEW BEST:: SOT 133496 SOS 94821 HAS SOPS 69641 HAS SOUS 22516 HAS SOUPS 22197 WITH SCORE 22291.821
AT ITER 500 NEW BEST:: SOT 133344 SOS 94672 HAS SOPS 69475 HAS SOUS 22414 HAS SOUPS 22095 WITH SCORE 22189.672
AT ITER 510 NEW BEST:: SOT 133342 SOS 94668 HAS SOPS 69468 HAS SOUS 22406 HAS SOUPS 22087 WITH SCORE 22181.668
AT ITER 512 NEW BEST:: SOT 133330 SOS 94644 HAS SOPS 69422 HAS SOUS 22221 HAS SOUPS 21899 WITH SCORE 21993.644
AT ITER 514 NEW BEST:: SOT 133330 SOS 94592 HAS SOPS 69370 HAS SOUS 22169 HAS SOUPS 21847 WITH SCORE 21941.592
AT ITER 516 NEW BEST:: SOT 133317 SOS 94566 HAS SOPS 69344 HAS SOUS 22166 HAS SOUPS 21844 WITH SCORE 21938.566
AT ITER 520 NEW BEST:: SOT 133317 SOS 94519 HAS SOPS 69297 HAS SOUS 22119 HAS SOUPS 21797 WITH SCORE 21891.519
AT ITER 523 NEW BEST:: SOT 133253 SOS 94455 HAS SOPS 69233 HAS SOUS 22087 HAS SOUPS 21765 WITH SCORE 21859.455
AT ITER 524 NEW BEST:: SOT 133253 SOS 94180 HAS SOPS 68963 HAS SOUS 22062 HAS SOUPS 21740 WITH SCORE 21834.18
AT ITER 525 NEW BEST:: SOT 133138 SOS 93888 HAS SOPS 68593 HAS SOUS 21692 HAS SOUPS 21370 WITH SCORE 21463.888
AT ITER 527 NEW BEST:: SOT 133042 SOS 93864 HAS SOPS 68507 HAS SOUS 21563 HAS SOUPS 21241 WITH SCORE 21334.864
AT ITER 528 NEW BEST:: SOT 132934 SOS 93704 HAS SOPS 68291 HAS SOUS 21374 HAS SOUPS 21052 WITH SCORE 21145.704
AT ITER 532 NEW BEST:: SOT 132933 SOS 93636 HAS SOPS 68223 HAS SOUS 21307 HAS SOUPS 20985 WITH SCORE 21078.636
AT ITER 534 NEW BEST:: SOT 132924 SOS 93627 HAS SOPS 68214 HAS SOUS 21304 HAS SOUPS 20982 WITH SCORE 21075.627
AT ITER 539 NEW BEST:: SOT 132915 SOS 93618 HAS SOPS 68196 HAS SOUS 21286 HAS SOUPS 20964 WITH SCORE 21057.618
AT ITER 545 NEW BEST:: SOT 132910 SOS 93608 HAS SOPS 68181 HAS SOUS 21271 HAS SOUPS 20949 WITH SCORE 21042.608
AT ITER 556 NEW BEST:: SOT 132910 SOS 93608 HAS SOPS 68157 HAS SOUS 21216 HAS SOUPS 20894 WITH SCORE 20987.608
AT ITER 557 NEW BEST:: SOT 132985 SOS 92662 HAS SOPS 67243 HAS SOUS 21214 HAS SOUPS 20892 WITH SCORE 20984.662
AT ITER 568 NEW BEST:: SOT 132970 SOS 92642 HAS SOPS 67218 HAS SOUS 21199 HAS SOUPS 20877 WITH SCORE 20969.642
AT ITER 569 NEW BEST:: SOT 133046 SOS 92810 HAS SOPS 67370 HAS SOUS 21196 HAS SOUPS 20874 WITH SCORE 20966.81
AT ITER 573 NEW BEST:: SOT 133030 SOS 92778 HAS SOPS 67338 HAS SOUS 21187 HAS SOUPS 20865 WITH SCORE 20957.778
AT ITER 584 NEW BEST:: SOT 133027 SOS 92684 HAS SOPS 67270 HAS SOUS 21181 HAS SOUPS 20859 WITH SCORE 20951.684
AT ITER 587 NEW BEST:: SOT 132552 SOS 92464 HAS SOPS 67022 HAS SOUS 20959 HAS SOUPS 20637 WITH SCORE 20729.464
AT ITER 588 NEW BEST:: SOT 132543 SOS 92526 HAS SOPS 67036 HAS SOUS 20941 HAS SOUPS 20619 WITH SCORE 20711.526
AT ITER 591 NEW BEST:: SOT 132646 SOS 92609 HAS SOPS 67065 HAS SOUS 20689 HAS SOUPS 20367 WITH SCORE 20459.609
AT ITER 610 NEW BEST:: SOT 132646 SOS 92609 HAS SOPS 67065 HAS SOUS 20664 HAS SOUPS 20342 WITH SCORE 20434.609
AT ITER 612 NEW BEST:: SOT 132623 SOS 92563 HAS SOPS 67019 HAS SOUS 20595 HAS SOUPS 20273 WITH SCORE 20365.563
AT ITER 614 NEW BEST:: SOT 132573 SOS 92495 HAS SOPS 66951 HAS SOUS 20527 HAS SOUPS 20205 WITH SCORE 20297.495
AT ITER 620 NEW BEST:: SOT 132572 SOS 92494 HAS SOPS 66950 HAS SOUS 20526 HAS SOUPS 20204 WITH SCORE 20296.494
AT ITER 623 NEW BEST:: SOT 132564 SOS 92478 HAS SOPS 66926 HAS SOUS 20502 HAS SOUPS 20180 WITH SCORE 20272.478
AT ITER 628 NEW BEST:: SOT 132541 SOS 92386 HAS SOPS 66857 HAS SOUS 20502 HAS SOUPS 20180 WITH SCORE 20272.386
AT ITER 629 NEW BEST:: SOT 132535 SOS 92368 HAS SOPS 66839 HAS SOUS 20490 HAS SOUPS 20168 WITH SCORE 20260.368
AT ITER 633 NEW BEST:: SOT 132533 SOS 92366 HAS SOPS 66835 HAS SOUS 20484 HAS SOUPS 20162 WITH SCORE 20254.366
AT ITER 635 NEW BEST:: SOT 132545 SOS 92384 HAS SOPS 66583 HAS SOUS 20424 HAS SOUPS 20102 WITH SCORE 20194.384
AT ITER 638 NEW BEST:: SOT 132502 SOS 92341 HAS SOPS 66497 HAS SOUS 20349 HAS SOUPS 20016 WITH SCORE 20108.341
AT ITER 642 NEW BEST:: SOT 132478 SOS 92305 HAS SOPS 66449 HAS SOUS 20313 HAS SOUPS 19980 WITH SCORE 20072.305
AT ITER 646 NEW BEST:: SOT 132406 SOS 91952 HAS SOPS 66134 HAS SOUS 20159 HAS SOUPS 19826 WITH SCORE 19917.952
AT ITER 664 NEW BEST:: SOT 132406 SOS 91948 HAS SOPS 66132 HAS SOUS 20157 HAS SOUPS 19824 WITH SCORE 19915.948
AT ITER 667 NEW BEST:: SOT 132400 SOS 91939 HAS SOPS 66123 HAS SOUS 20151 HAS SOUPS 19818 WITH SCORE 19909.939
AT ITER 668 NEW BEST:: SOT 132398 SOS 91965 HAS SOPS 66148 HAS SOUS 20148 HAS SOUPS 19815 WITH SCORE 19906.965
AT ITER 672 NEW BEST:: SOT 132390 SOS 91957 HAS SOPS 66132 HAS SOUS 20132 HAS SOUPS 19799 WITH SCORE 19890.957
AT ITER 673 NEW BEST:: SOT 132435 SOS 91985 HAS SOPS 66147 HAS SOUS 20094 HAS SOUPS 19761 WITH SCORE 19852.985
AT ITER 688 NEW BEST:: SOT 132381 SOS 91798 HAS SOPS 65973 HAS SOUS 19934 HAS SOUPS 19601 WITH SCORE 19692.798
AT ITER 693 NEW BEST:: SOT 132346 SOS 91685 HAS SOPS 65860 HAS SOUS 19821 HAS SOUPS 19488 WITH SCORE 19579.685
AT ITER 694 NEW BEST:: SOT 132355 SOS 91683 HAS SOPS 65816 HAS SOUS 19788 HAS SOUPS 19455 WITH SCORE 19546.683
AT ITER 704 NEW BEST:: SOT 132422 SOS 91750 HAS SOPS 65874 HAS SOUS 19784 HAS SOUPS 19451 WITH SCORE 19542.75
AT ITER 705 NEW BEST:: SOT 132495 SOS 91755 HAS SOPS 65877 HAS SOUS 19723 HAS SOUPS 19390 WITH SCORE 19481.755
AT ITER 708 NEW BEST:: SOT 132489 SOS 91659 HAS SOPS 65820 HAS SOUS 19711 HAS SOUPS 19378 WITH SCORE 19469.659
AT ITER 722 NEW BEST:: SOT 132045 SOS 91225 HAS SOPS 65376 HAS SOUS 19489 HAS SOUPS 19156 WITH SCORE 19247.225
AT ITER 737 NEW BEST:: SOT 132045 SOS 91224 HAS SOPS 65375 HAS SOUS 19488 HAS SOUPS 19155 WITH SCORE 19246.224
AT ITER 738 NEW BEST:: SOT 132045 SOS 91216 HAS SOPS 65367 HAS SOUS 19488 HAS SOUPS 19155 WITH SCORE 19246.216
AT ITER 742 NEW BEST:: SOT 132054 SOS 91190 HAS SOPS 65329 HAS SOUS 19450 HAS SOUPS 19117 WITH SCORE 19208.19
AT ITER 745 NEW BEST:: SOT 132039 SOS 91153 HAS SOPS 65270 HAS SOUS 19413 HAS SOUPS 19080 WITH SCORE 19171.153
AT ITER 753 NEW BEST:: SOT 132033 SOS 91125 HAS SOPS 65242 HAS SOUS 19397 HAS SOUPS 19064 WITH SCORE 19155.125
AT ITER 757 NEW BEST:: SOT 132027 SOS 91113 HAS SOPS 65227 HAS SOUS 19388 HAS SOUPS 19055 WITH SCORE 19146.113
AT ITER 763 NEW BEST:: SOT 132046 SOS 91117 HAS SOPS 65235 HAS SOUS 19383 HAS SOUPS 19050 WITH SCORE 19141.117
AT ITER 766 NEW BEST:: SOT 132035 SOS 91117 HAS SOPS 65224 HAS SOUS 19372 HAS SOUPS 19039 WITH SCORE 19130.117
AT ITER 774 NEW BEST:: SOT 132024 SOS 91022 HAS SOPS 65129 HAS SOUS 19288 HAS SOUPS 18955 WITH SCORE 19046.022
AT ITER 778 NEW BEST:: SOT 131982 SOS 89969 HAS SOPS 63947 HAS SOUS 19075 HAS SOUPS 18742 WITH SCORE 18831.969
AT ITER 787 NEW BEST:: SOT 131971 SOS 89947 HAS SOPS 63925 HAS SOUS 19052 HAS SOUPS 18719 WITH SCORE 18808.947
AT ITER 793 NEW BEST:: SOT 131940 SOS 89909 HAS SOPS 63880 HAS SOUS 19028 HAS SOUPS 18695 WITH SCORE 18784.909
AT ITER 801 NEW BEST:: SOT 131914 SOS 89820 HAS SOPS 63773 HAS SOUS 18929 HAS SOUPS 18596 WITH SCORE 18685.82
AT ITER 805 NEW BEST:: SOT 131917 SOS 89839 HAS SOPS 63787 HAS SOUS 18927 HAS SOUPS 18594 WITH SCORE 18683.839
AT ITER 819 NEW BEST:: SOT 131917 SOS 89839 HAS SOPS 63787 HAS SOUS 18921 HAS SOUPS 18588 WITH SCORE 18677.839
AT ITER 824 NEW BEST:: SOT 131066 SOS 88969 HAS SOPS 62959 HAS SOUS 18491 HAS SOUPS 18158 WITH SCORE 18246.969
AT ITER 825 NEW BEST:: SOT 130995 SOS 88898 HAS SOPS 62866 HAS SOUS 18482 HAS SOUPS 18149 WITH SCORE 18237.898
AT ITER 830 NEW BEST:: SOT 130935 SOS 88838 HAS SOPS 62806 HAS SOUS 18452 HAS SOUPS 18119 WITH SCORE 18207.838
AT ITER 834 NEW BEST:: SOT 130926 SOS 88829 HAS SOPS 62788 HAS SOUS 18434 HAS SOUPS 18101 WITH SCORE 18189.829
AT ITER 835 NEW BEST:: SOT 129310 SOS 87221 HAS SOPS 61260 HAS SOUS 17842 HAS SOUPS 17509 WITH SCORE 17596.221
AT ITER 837 NEW BEST:: SOT 129279 SOS 87192 HAS SOPS 61209 HAS SOUS 17811 HAS SOUPS 17478 WITH SCORE 17565.192
AT ITER 839 NEW BEST:: SOT 129277 SOS 87208 HAS SOPS 61205 HAS SOUS 17798 HAS SOUPS 17465 WITH SCORE 17552.208
AT ITER 854 NEW BEST:: SOT 129228 SOS 87173 HAS SOPS 61142 HAS SOUS 17756 HAS SOUPS 17423 WITH SCORE 17510.173
AT ITER 857 NEW BEST:: SOT 129220 SOS 87173 HAS SOPS 61134 HAS SOUS 17748 HAS SOUPS 17415 WITH SCORE 17502.173
AT ITER 866 NEW BEST:: SOT 129132 SOS 87049 HAS SOPS 61010 HAS SOUS 17709 HAS SOUPS 17376 WITH SCORE 17463.049
AT ITER 876 NEW BEST:: SOT 129100 SOS 87004 HAS SOPS 60946 HAS SOUS 17665 HAS SOUPS 17332 WITH SCORE 17419.004
AT ITER 877 NEW BEST:: SOT 129104 SOS 87008 HAS SOPS 60954 HAS SOUS 17664 HAS SOUPS 17331 WITH SCORE 17418.008
AT ITER 883 NEW BEST:: SOT 129105 SOS 87000 HAS SOPS 60951 HAS SOUS 17664 HAS SOUPS 17331 WITH SCORE 17418.0
AT ITER 891 NEW BEST:: SOT 129105 SOS 86988 HAS SOPS 60951 HAS SOUS 17664 HAS SOUPS 17331 WITH SCORE 17417.988
AT ITER 897 NEW BEST:: SOT 129106 SOS 86943 HAS SOPS 60915 HAS SOUS 17638 HAS SOUPS 17305 WITH SCORE 17391.943
AT ITER 913 NEW BEST:: SOT 129106 SOS 86938 HAS SOPS 60900 HAS SOUS 17558 HAS SOUPS 17220 WITH SCORE 17306.938
AT ITER 919 NEW BEST:: SOT 129111 SOS 86932 HAS SOPS 60894 HAS SOUS 17552 HAS SOUPS 17214 WITH SCORE 17300.932
AT ITER 925 NEW BEST:: SOT 129082 SOS 86878 HAS SOPS 60836 HAS SOUS 17516 HAS SOUPS 17178 WITH SCORE 17264.878
AT ITER 942 NEW BEST:: SOT 129080 SOS 86875 HAS SOPS 60832 HAS SOUS 17513 HAS SOUPS 17175 WITH SCORE 17261.875
AT ITER 943 NEW BEST:: SOT 129077 SOS 86871 HAS SOPS 60825 HAS SOUS 17503 HAS SOUPS 17165 WITH SCORE 17251.871
AT ITER 950 NEW BEST:: SOT 129059 SOS 86886 HAS SOPS 60824 HAS SOUS 17508 HAS SOUPS 17164 WITH SCORE 17250.886
AT ITER 953 NEW BEST:: SOT 129048 SOS 86875 HAS SOPS 60813 HAS SOUS 17497 HAS SOUPS 17153 WITH SCORE 17239.875
AT ITER 955 NEW BEST:: SOT 128992 SOS 86823 HAS SOPS 60765 HAS SOUS 17460 HAS SOUPS 17116 WITH SCORE 17202.823
AT ITER 973 NEW BEST:: SOT 128921 SOS 86681 HAS SOPS 60623 HAS SOUS 17460 HAS SOUPS 17116 WITH SCORE 17202.681
AT ITER 976 NEW BEST:: SOT 128930 SOS 86699 HAS SOPS 60641 HAS SOUS 17435 HAS SOUPS 17091 WITH SCORE 17177.699
AT ITER 977 NEW BEST:: SOT 128945 SOS 86729 HAS SOPS 60671 HAS SOUS 17416 HAS SOUPS 17072 WITH SCORE 17158.729
AT ITER 983 NEW BEST:: SOT 128929 SOS 86713 HAS SOPS 60655 HAS SOUS 17400 HAS SOUPS 17056 WITH SCORE 17142.713
AT ITER 1004 NEW BEST:: SOT 128847 SOS 86510 HAS SOPS 60424 HAS SOUS 17163 HAS SOUPS 16819 WITH SCORE 16905.51
AT ITER 1007 NEW BEST:: SOT 128741 SOS 86305 HAS SOPS 60223 HAS SOUS 16991 HAS SOUPS 16647 WITH SCORE 16733.305
AT ITER 1020 NEW BEST:: SOT 128741 SOS 86301 HAS SOPS 60223 HAS SOUS 16991 HAS SOUPS 16647 WITH SCORE 16733.301
AT ITER 1029 NEW BEST:: SOT 128749 SOS 86301 HAS SOPS 59991 HAS SOUS 16831 HAS SOUPS 16487 WITH SCORE 16573.301
AT ITER 1034 NEW BEST:: SOT 128737 SOS 86277 HAS SOPS 59961 HAS SOUS 16807 HAS SOUPS 16463 WITH SCORE 16549.277
AT ITER 1051 NEW BEST:: SOT 128729 SOS 86291 HAS SOPS 59945 HAS SOUS 16717 HAS SOUPS 16373 WITH SCORE 16459.291
AT ITER 1055 NEW BEST:: SOT 128709 SOS 86291 HAS SOPS 59905 HAS SOUS 16697 HAS SOUPS 16353 WITH SCORE 16439.291
AT ITER 1083 NEW BEST:: SOT 128785 SOS 86363 HAS SOPS 59871 HAS SOUS 16643 HAS SOUPS 16299 WITH SCORE 16385.363
AT ITER 1092 NEW BEST:: SOT 128792 SOS 86327 HAS SOPS 59844 HAS SOUS 16643 HAS SOUPS 16299 WITH SCORE 16385.327
AT ITER 1093 NEW BEST:: SOT 128791 SOS 86326 HAS SOPS 59843 HAS SOUS 16642 HAS SOUPS 16298 WITH SCORE 16384.326
AT ITER 1101 NEW BEST:: SOT 128772 SOS 86307 HAS SOPS 59805 HAS SOUS 16623 HAS SOUPS 16279 WITH SCORE 16365.307
AT ITER 1107 NEW BEST:: SOT 128772 SOS 86306 HAS SOPS 59775 HAS SOUS 16603 HAS SOUPS 16259 WITH SCORE 16345.306
AT ITER 1114 NEW BEST:: SOT 128762 SOS 86266 HAS SOPS 59735 HAS SOUS 16583 HAS SOUPS 16239 WITH SCORE 16325.266
AT ITER 1117 NEW BEST:: SOT 128740 SOS 86285 HAS SOPS 59712 HAS SOUS 16540 HAS SOUPS 16196 WITH SCORE 16282.285
AT ITER 1130 NEW BEST:: SOT 128739 SOS 86283 HAS SOPS 59710 HAS SOUS 16538 HAS SOUPS 16194 WITH SCORE 16280.283
AT ITER 1143 NEW BEST:: SOT 128739 SOS 86283 HAS SOPS 59710 HAS SOUS 16532 HAS SOUPS 16188 WITH SCORE 16274.283
AT ITER 1145 NEW BEST:: SOT 128741 SOS 86228 HAS SOPS 59658 HAS SOUS 16510 HAS SOUPS 16166 WITH SCORE 16252.228
AT ITER 1150 NEW BEST:: SOT 128748 SOS 84228 HAS SOPS 57682 HAS SOUS 16400 HAS SOUPS 16056 WITH SCORE 16140.228
AT ITER 1154 NEW BEST:: SOT 128738 SOS 84208 HAS SOPS 57662 HAS SOUS 16380 HAS SOUPS 16036 WITH SCORE 16120.208
AT ITER 1161 NEW BEST:: SOT 128710 SOS 84163 HAS SOPS 57606 HAS SOUS 16304 HAS SOUPS 15960 WITH SCORE 16044.163
AT ITER 1165 NEW BEST:: SOT 128710 SOS 84126 HAS SOPS 57579 HAS SOUS 16304 HAS SOUPS 15960 WITH SCORE 16044.126
AT ITER 1167 NEW BEST:: SOT 128693 SOS 84148 HAS SOPS 57545 HAS SOUS 16270 HAS SOUPS 15926 WITH SCORE 16010.148
AT ITER 1182 NEW BEST:: SOT 128685 SOS 84146 HAS SOPS 57529 HAS SOUS 16254 HAS SOUPS 15910 WITH SCORE 15994.146
AT ITER 1189 NEW BEST:: SOT 128680 SOS 84172 HAS SOPS 57537 HAS SOUS 16249 HAS SOUPS 15905 WITH SCORE 15989.172
AT ITER 1206 NEW BEST:: SOT 128678 SOS 84148 HAS SOPS 57522 HAS SOUS 16247 HAS SOUPS 15903 WITH SCORE 15987.148
AT ITER 1213 NEW BEST:: SOT 128688 SOS 83317 HAS SOPS 56699 HAS SOUS 16235 HAS SOUPS 15891 WITH SCORE 15974.317
AT ITER 1228 NEW BEST:: SOT 128418 SOS 83055 HAS SOPS 56441 HAS SOUS 16144 HAS SOUPS 15800 WITH SCORE 15883.055
AT ITER 1231 NEW BEST:: SOT 128403 SOS 83045 HAS SOPS 56421 HAS SOUS 16124 HAS SOUPS 15780 WITH SCORE 15863.045
AT ITER 1233 NEW BEST:: SOT 128337 SOS 82979 HAS SOPS 56289 HAS SOUS 15999 HAS SOUPS 15655 WITH SCORE 15737.979
AT ITER 1239 NEW BEST:: SOT 128330 SOS 82972 HAS SOPS 56275 HAS SOUS 15985 HAS SOUPS 15641 WITH SCORE 15723.972
AT ITER 1246 NEW BEST:: SOT 128326 SOS 82964 HAS SOPS 56267 HAS SOUS 15981 HAS SOUPS 15637 WITH SCORE 15719.964
AT ITER 1247 NEW BEST:: SOT 128320 SOS 82865 HAS SOPS 56191 HAS SOUS 15952 HAS SOUPS 15608 WITH SCORE 15690.865
AT ITER 1255 NEW BEST:: SOT 128560 SOS 82917 HAS SOPS 56069 HAS SOUS 15910 HAS SOUPS 15566 WITH SCORE 15648.917
AT ITER 1259 NEW BEST:: SOT 128549 SOS 82900 HAS SOPS 56041 HAS SOUS 15901 HAS SOUPS 15557 WITH SCORE 15639.9
AT ITER 1268 NEW BEST:: SOT 128490 SOS 82842 HAS SOPS 55984 HAS SOUS 15874 HAS SOUPS 15530 WITH SCORE 15612.842
AT ITER 1285 NEW BEST:: SOT 128468 SOS 82904 HAS SOPS 56002 HAS SOUS 15868 HAS SOUPS 15524 WITH SCORE 15606.904
AT ITER 1287 NEW BEST:: SOT 128441 SOS 82857 HAS SOPS 55948 HAS SOUS 15814 HAS SOUPS 15470 WITH SCORE 15552.857
AT ITER 1289 NEW BEST:: SOT 128407 SOS 82789 HAS SOPS 55880 HAS SOUS 15746 HAS SOUPS 15402 WITH SCORE 15484.789
AT ITER 1301 NEW BEST:: SOT 128401 SOS 82780 HAS SOPS 55880 HAS SOUS 15734 HAS SOUPS 15390 WITH SCORE 15472.78
AT ITER 1319 NEW BEST:: SOT 128398 SOS 82773 HAS SOPS 55873 HAS SOUS 15731 HAS SOUPS 15387 WITH SCORE 15469.773
AT ITER 1335 NEW BEST:: SOT 128400 SOS 82750 HAS SOPS 55851 HAS SOUS 15705 HAS SOUPS 15365 WITH SCORE 15447.75
AT ITER 1336 NEW BEST:: SOT 128058 SOS 82433 HAS SOPS 55537 HAS SOUS 15712 HAS SOUPS 15364 WITH SCORE 15446.433
AT ITER 1351 NEW BEST:: SOT 128059 SOS 82434 HAS SOPS 55539 HAS SOUS 15706 HAS SOUPS 15358 WITH SCORE 15440.434
AT ITER 1352 NEW BEST:: SOT 128025 SOS 82430 HAS SOPS 55535 HAS SOUS 15687 HAS SOUPS 15339 WITH SCORE 15421.43
AT ITER 1367 NEW BEST:: SOT 127970 SOS 82387 HAS SOPS 55492 HAS SOUS 15669 HAS SOUPS 15321 WITH SCORE 15403.387
AT ITER 1378 NEW BEST:: SOT 127921 SOS 82269 HAS SOPS 55394 HAS SOUS 15618 HAS SOUPS 15270 WITH SCORE 15352.269
AT ITER 1379 NEW BEST:: SOT 127906 SOS 82220 HAS SOPS 55364 HAS SOUS 15609 HAS SOUPS 15261 WITH SCORE 15343.22
AT ITER 1382 NEW BEST:: SOT 127898 SOS 82204 HAS SOPS 55348 HAS SOUS 15601 HAS SOUPS 15253 WITH SCORE 15335.204
AT ITER 1384 NEW BEST:: SOT 127950 SOS 82256 HAS SOPS 55400 HAS SOUS 15593 HAS SOUPS 15245 WITH SCORE 15327.256
AT ITER 1388 NEW BEST:: SOT 128100 SOS 82400 HAS SOPS 55264 HAS SOUS 15190 HAS SOUPS 14842 WITH SCORE 14924.4
AT ITER 1389 NEW BEST:: SOT 127956 SOS 82272 HAS SOPS 55166 HAS SOUS 15092 HAS SOUPS 14744 WITH SCORE 14826.272
AT ITER 1421 NEW BEST:: SOT 127952 SOS 82268 HAS SOPS 55158 HAS SOUS 15084 HAS SOUPS 14736 WITH SCORE 14818.268
AT ITER 1435 NEW BEST:: SOT 127937 SOS 82253 HAS SOPS 55138 HAS SOUS 15064 HAS SOUPS 14716 WITH SCORE 14798.253
AT ITER 1449 NEW BEST:: SOT 127861 SOS 82177 HAS SOPS 55024 HAS SOUS 14945 HAS SOUPS 14597 WITH SCORE 14679.177
AT ITER 1450 NEW BEST:: SOT 127833 SOS 82149 HAS SOPS 54984 HAS SOUS 14917 HAS SOUPS 14569 WITH SCORE 14651.149
AT ITER 1461 NEW BEST:: SOT 127778 SOS 82054 HAS SOPS 54874 HAS SOUS 14818 HAS SOUPS 14470 WITH SCORE 14552.054
AT ITER 1477 NEW BEST:: SOT 127053 SOS 81358 HAS SOPS 54218 HAS SOUS 14701 HAS SOUPS 14353 WITH SCORE 14434.358
AT ITER 1480 NEW BEST:: SOT 127051 SOS 81356 HAS SOPS 54214 HAS SOUS 14697 HAS SOUPS 14349 WITH SCORE 14430.356
AT ITER 1489 NEW BEST:: SOT 127026 SOS 81333 HAS SOPS 54179 HAS SOUS 14662 HAS SOUPS 14314 WITH SCORE 14395.333
AT ITER 1494 NEW BEST:: SOT 127026 SOS 81277 HAS SOPS 54151 HAS SOUS 14662 HAS SOUPS 14314 WITH SCORE 14395.277
AT ITER 1496 NEW BEST:: SOT 127083 SOS 81294 HAS SOPS 54145 HAS SOUS 14656 HAS SOUPS 14308 WITH SCORE 14389.294
AT ITER 1510 NEW BEST:: SOT 127036 SOS 81213 HAS SOPS 54051 HAS SOUS 14583 HAS SOUPS 14235 WITH SCORE 14316.213
AT ITER 1514 NEW BEST:: SOT 127050 SOS 81192 HAS SOPS 54044 HAS SOUS 14576 HAS SOUPS 14228 WITH SCORE 14309.192
AT ITER 1515 NEW BEST:: SOT 127020 SOS 81162 HAS SOPS 53984 HAS SOUS 14492 HAS SOUPS 14144 WITH SCORE 14225.162
AT ITER 1521 NEW BEST:: SOT 127016 SOS 81152 HAS SOPS 53976 HAS SOUS 14484 HAS SOUPS 14136 WITH SCORE 14217.152
AT ITER 1525 NEW BEST:: SOT 127011 SOS 81147 HAS SOPS 53966 HAS SOUS 14479 HAS SOUPS 14126 WITH SCORE 14207.147
AT ITER 1528 NEW BEST:: SOT 126947 SOS 81137 HAS SOPS 53892 HAS SOUS 14405 HAS SOUPS 14052 WITH SCORE 14133.137
AT ITER 1546 NEW BEST:: SOT 126929 SOS 81119 HAS SOPS 53856 HAS SOUS 14369 HAS SOUPS 14016 WITH SCORE 14097.119
AT ITER 1549 NEW BEST:: SOT 126905 SOS 81071 HAS SOPS 53808 HAS SOUS 14321 HAS SOUPS 13968 WITH SCORE 14049.071
AT ITER 1550 NEW BEST:: SOT 126900 SOS 81061 HAS SOPS 53798 HAS SOUS 14311 HAS SOUPS 13958 WITH SCORE 14039.061
AT ITER 1554 NEW BEST:: SOT 126745 SOS 80905 HAS SOPS 53614 HAS SOUS 14145 HAS SOUPS 13792 WITH SCORE 13872.905
AT ITER 1566 NEW BEST:: SOT 126744 SOS 80903 HAS SOPS 53612 HAS SOUS 14142 HAS SOUPS 13789 WITH SCORE 13869.903
AT ITER 1570 NEW BEST:: SOT 126749 SOS 80935 HAS SOPS 53622 HAS SOUS 14125 HAS SOUPS 13772 WITH SCORE 13852.935
AT ITER 1580 NEW BEST:: SOT 126864 SOS 81041 HAS SOPS 53428 HAS SOUS 14033 HAS SOUPS 13680 WITH SCORE 13761.041
AT ITER 1581 NEW BEST:: SOT 126864 SOS 81041 HAS SOPS 53424 HAS SOUS 14029 HAS SOUPS 13676 WITH SCORE 13757.041
AT ITER 1593 NEW BEST:: SOT 126863 SOS 81036 HAS SOPS 53419 HAS SOUS 14028 HAS SOUPS 13675 WITH SCORE 13756.036
AT ITER 1595 NEW BEST:: SOT 126847 SOS 81004 HAS SOPS 53387 HAS SOUS 14012 HAS SOUPS 13659 WITH SCORE 13740.004
AT ITER 1602 NEW BEST:: SOT 126850 SOS 81010 HAS SOPS 53393 HAS SOUS 14011 HAS SOUPS 13658 WITH SCORE 13739.01
AT ITER 1603 NEW BEST:: SOT 126847 SOS 81007 HAS SOPS 53390 HAS SOUS 14008 HAS SOUPS 13655 WITH SCORE 13736.007
AT ITER 1616 NEW BEST:: SOT 126841 SOS 80945 HAS SOPS 53342 HAS SOUS 13980 HAS SOUPS 13627 WITH SCORE 13707.945
AT ITER 1632 NEW BEST:: SOT 126838 SOS 80765 HAS SOPS 53162 HAS SOUS 13962 HAS SOUPS 13609 WITH SCORE 13689.765
AT ITER 1633 NEW BEST:: SOT 126821 SOS 80748 HAS SOPS 53139 HAS SOUS 13948 HAS SOUPS 13595 WITH SCORE 13675.748
AT ITER 1637 NEW BEST:: SOT 126842 SOS 80735 HAS SOPS 53112 HAS SOUS 13899 HAS SOUPS 13546 WITH SCORE 13626.735
AT ITER 1652 NEW BEST:: SOT 126837 SOS 80730 HAS SOPS 53102 HAS SOUS 13889 HAS SOUPS 13536 WITH SCORE 13616.73
AT ITER 1664 NEW BEST:: SOT 126844 SOS 80748 HAS SOPS 53116 HAS SOUS 13859 HAS SOUPS 13506 WITH SCORE 13586.748
AT ITER 1673 NEW BEST:: SOT 126826 SOS 80764 HAS SOPS 53106 HAS SOUS 13841 HAS SOUPS 13488 WITH SCORE 13568.764
AT ITER 1691 NEW BEST:: SOT 126821 SOS 80749 HAS SOPS 53091 HAS SOUS 13831 HAS SOUPS 13478 WITH SCORE 13558.749
AT ITER 1697 NEW BEST:: SOT 127194 SOS 81111 HAS SOPS 53427 HAS SOUS 13820 HAS SOUPS 13467 WITH SCORE 13548.111
AT ITER 1710 NEW BEST:: SOT 127170 SOS 80988 HAS SOPS 53326 HAS SOUS 13758 HAS SOUPS 13405 WITH SCORE 13485.988
AT ITER 1719 NEW BEST:: SOT 127156 SOS 81011 HAS SOPS 53298 HAS SOUS 13730 HAS SOUPS 13377 WITH SCORE 13458.011
AT ITER 1721 NEW BEST:: SOT 127137 SOS 81001 HAS SOPS 53260 HAS SOUS 13657 HAS SOUPS 13304 WITH SCORE 13385.001
AT ITER 1728 NEW BEST:: SOT 127132 SOS 80985 HAS SOPS 53244 HAS SOUS 13646 HAS SOUPS 13293 WITH SCORE 13373.985
AT ITER 1736 NEW BEST:: SOT 127141 SOS 80994 HAS SOPS 53240 HAS SOUS 13642 HAS SOUPS 13289 WITH SCORE 13369.994
AT ITER 1743 NEW BEST:: SOT 127130 SOS 80985 HAS SOPS 53239 HAS SOUS 13641 HAS SOUPS 13288 WITH SCORE 13368.985
AT ITER 1749 NEW BEST:: SOT 127130 SOS 80962 HAS SOPS 53216 HAS SOUS 13618 HAS SOUPS 13265 WITH SCORE 13345.962
AT ITER 1752 NEW BEST:: SOT 127155 SOS 80961 HAS SOPS 53215 HAS SOUS 13611 HAS SOUPS 13258 WITH SCORE 13338.961
AT ITER 1759 NEW BEST:: SOT 127143 SOS 80949 HAS SOPS 53191 HAS SOUS 13587 HAS SOUPS 13234 WITH SCORE 13314.949
AT ITER 1764 NEW BEST:: SOT 127131 SOS 80943 HAS SOPS 53176 HAS SOUS 13573 HAS SOUPS 13219 WITH SCORE 13299.943
AT ITER 1765 NEW BEST:: SOT 127116 SOS 80915 HAS SOPS 53146 HAS SOUS 13542 HAS SOUPS 13189 WITH SCORE 13269.915
AT ITER 1779 NEW BEST:: SOT 127124 SOS 80907 HAS SOPS 53146 HAS SOUS 13542 HAS SOUPS 13189 WITH SCORE 13269.907
AT ITER 1787 NEW BEST:: SOT 127119 SOS 80903 HAS SOPS 53142 HAS SOUS 13538 HAS SOUPS 13185 WITH SCORE 13265.903
AT ITER 1791 NEW BEST:: SOT 127113 SOS 80897 HAS SOPS 53130 HAS SOUS 13526 HAS SOUPS 13173 WITH SCORE 13253.897
AT ITER 1798 NEW BEST:: SOT 127110 SOS 80888 HAS SOPS 53118 HAS SOUS 13514 HAS SOUPS 13161 WITH SCORE 13241.888
AT ITER 1799 NEW BEST:: SOT 127110 SOS 80829 HAS SOPS 53070 HAS SOUS 13514 HAS SOUPS 13161 WITH SCORE 13241.829
AT ITER 1800 NEW BEST:: SOT 127088 SOS 80800 HAS SOPS 53035 HAS SOUS 13483 HAS SOUPS 13130 WITH SCORE 13210.8
AT ITER 1826 NEW BEST:: SOT 127063 SOS 80696 HAS SOPS 52940 HAS SOUS 13443 HAS SOUPS 13090 WITH SCORE 13170.696
AT ITER 1829 NEW BEST:: SOT 127062 SOS 80705 HAS SOPS 52938 HAS SOUS 13441 HAS SOUPS 13088 WITH SCORE 13168.705
AT ITER 1837 NEW BEST:: SOT 127062 SOS 80692 HAS SOPS 52925 HAS SOUS 13434 HAS SOUPS 13081 WITH SCORE 13161.692
AT ITER 1844 NEW BEST:: SOT 127062 SOS 79972 HAS SOPS 52216 HAS SOUS 13409 HAS SOUPS 13056 WITH SCORE 13135.972
AT ITER 1848 NEW BEST:: SOT 126965 SOS 79875 HAS SOPS 52059 HAS SOUS 13252 HAS SOUPS 12899 WITH SCORE 12978.875
AT ITER 1851 NEW BEST:: SOT 126945 SOS 79833 HAS SOPS 52019 HAS SOUS 13232 HAS SOUPS 12879 WITH SCORE 12958.833
AT ITER 1879 NEW BEST:: SOT 126943 SOS 79835 HAS SOPS 52017 HAS SOUS 13228 HAS SOUPS 12875 WITH SCORE 12954.835
AT ITER 1886 NEW BEST:: SOT 126933 SOS 79830 HAS SOPS 52002 HAS SOUS 13213 HAS SOUPS 12860 WITH SCORE 12939.83
AT ITER 1902 NEW BEST:: SOT 126933 SOS 79803 HAS SOPS 52002 HAS SOUS 13186 HAS SOUPS 12833 WITH SCORE 12912.803
AT ITER 1906 NEW BEST:: SOT 126727 SOS 96296 HAS SOPS 51726 HAS SOUS 13090 HAS SOUPS 12702 WITH SCORE 12798.296
AT ITER 1912 NEW BEST:: SOT 126697 SOS 96260 HAS SOPS 51690 HAS SOUS 13064 HAS SOUPS 12676 WITH SCORE 12772.26
AT ITER 1942 NEW BEST:: SOT 126606 SOS 96195 HAS SOPS 51633 HAS SOUS 13007 HAS SOUPS 12619 WITH SCORE 12715.195
AT ITER 1967 NEW BEST:: SOT 126595 SOS 96203 HAS SOPS 51611 HAS SOUS 12985 HAS SOUPS 12597 WITH SCORE 12693.203
AT ITER 1977 NEW BEST:: SOT 126604 SOS 96203 HAS SOPS 51611 HAS SOUS 12982 HAS SOUPS 12594 WITH SCORE 12690.203
AT ITER 1981 NEW BEST:: SOT 126634 SOS 96172 HAS SOPS 51543 HAS SOUS 12847 HAS SOUPS 12459 WITH SCORE 12555.172
AT ITER 1983 NEW BEST:: SOT 126622 SOS 96160 HAS SOPS 51530 HAS SOUS 12834 HAS SOUPS 12446 WITH SCORE 12542.16
AT ITER 1993 NEW BEST:: SOT 126629 SOS 96147 HAS SOPS 51524 HAS SOUS 12808 HAS SOUPS 12420 WITH SCORE 12516.147
AT ITER 2004 NEW BEST:: SOT 126627 SOS 96134 HAS SOPS 51511 HAS SOUS 12806 HAS SOUPS 12418 WITH SCORE 12514.134
AT ITER 2025 NEW BEST:: SOT 126626 SOS 96128 HAS SOPS 51505 HAS SOUS 12801 HAS SOUPS 12413 WITH SCORE 12509.128
AT ITER 2031 NEW BEST:: SOT 126568 SOS 96084 HAS SOPS 51461 HAS SOUS 12758 HAS SOUPS 12370 WITH SCORE 12466.084
AT ITER 2035 NEW BEST:: SOT 126568 SOS 96082 HAS SOPS 51459 HAS SOUS 12754 HAS SOUPS 12366 WITH SCORE 12462.082
AT ITER 2039 NEW BEST:: SOT 126575 SOS 96067 HAS SOPS 51458 HAS SOUS 12752 HAS SOUPS 12364 WITH SCORE 12460.067
AT ITER 2042 NEW BEST:: SOT 126574 SOS 96066 HAS SOPS 51456 HAS SOUS 12750 HAS SOUPS 12362 WITH SCORE 12458.066
AT ITER 2076 NEW BEST:: SOT 126574 SOS 96059 HAS SOPS 51449 HAS SOUS 12743 HAS SOUPS 12355 WITH SCORE 12451.059
AT ITER 2086 NEW BEST:: SOT 126556 SOS 96041 HAS SOPS 51431 HAS SOUS 12725 HAS SOUPS 12337 WITH SCORE 12433.041
AT ITER 2113 NEW BEST:: SOT 126552 SOS 96012 HAS SOPS 51423 HAS SOUS 12717 HAS SOUPS 12329 WITH SCORE 12425.012
AT ITER 2119 NEW BEST:: SOT 126527 SOS 95983 HAS SOPS 51373 HAS SOUS 12678 HAS SOUPS 12290 WITH SCORE 12385.983
AT ITER 2123 NEW BEST:: SOT 126527 SOS 95981 HAS SOPS 51371 HAS SOUS 12678 HAS SOUPS 12290 WITH SCORE 12385.981
AT ITER 2124 NEW BEST:: SOT 126485 SOS 95939 HAS SOPS 51301 HAS SOUS 12615 HAS SOUPS 12227 WITH SCORE 12322.939
AT ITER 2134 NEW BEST:: SOT 126462 SOS 95923 HAS SOPS 51275 HAS SOUS 12589 HAS SOUPS 12201 WITH SCORE 12296.923
AT ITER 2141 NEW BEST:: SOT 126460 SOS 95919 HAS SOPS 51155 HAS SOUS 12571 HAS SOUPS 12183 WITH SCORE 12278.919
AT ITER 2143 NEW BEST:: SOT 126369 SOS 95828 HAS SOPS 51060 HAS SOUS 12521 HAS SOUPS 12133 WITH SCORE 12228.828
AT ITER 2151 NEW BEST:: SOT 126369 SOS 95822 HAS SOPS 50966 HAS SOUS 12497 HAS SOUPS 12109 WITH SCORE 12204.822
AT ITER 2194 NEW BEST:: SOT 126359 SOS 95799 HAS SOPS 50946 HAS SOUS 12477 HAS SOUPS 12089 WITH SCORE 12184.799
AT ITER 2263 NEW BEST:: SOT 126305 SOS 95639 HAS SOPS 50838 HAS SOUS 12475 HAS SOUPS 12087 WITH SCORE 12182.639
AT ITER 2265 NEW BEST:: SOT 126246 SOS 95521 HAS SOPS 50663 HAS SOUS 12358 HAS SOUPS 11970 WITH SCORE 12065.521
AT ITER 2284 NEW BEST:: SOT 126258 SOS 95521 HAS SOPS 50651 HAS SOUS 12346 HAS SOUPS 11958 WITH SCORE 12053.521
AT ITER 2315 NEW BEST:: SOT 126216 SOS 95437 HAS SOPS 50546 HAS SOUS 12262 HAS SOUPS 11874 WITH SCORE 11969.437
AT ITER 2320 NEW BEST:: SOT 126213 SOS 95434 HAS SOPS 50542 HAS SOUS 12260 HAS SOUPS 11872 WITH SCORE 11967.434
AT ITER 2325 NEW BEST:: SOT 126200 SOS 95408 HAS SOPS 50510 HAS SOUS 12240 HAS SOUPS 11852 WITH SCORE 11947.408
AT ITER 2341 NEW BEST:: SOT 126199 SOS 95407 HAS SOPS 50508 HAS SOUS 12238 HAS SOUPS 11850 WITH SCORE 11945.407
AT ITER 2345 NEW BEST:: SOT 126197 SOS 95404 HAS SOPS 50504 HAS SOUS 12234 HAS SOUPS 11846 WITH SCORE 11941.404
AT ITER 2373 NEW BEST:: SOT 126187 SOS 95406 HAS SOPS 50496 HAS SOUS 12226 HAS SOUPS 11838 WITH SCORE 11933.406
AT ITER 2388 NEW BEST:: SOT 126165 SOS 95390 HAS SOPS 50494 HAS SOUS 12224 HAS SOUPS 11836 WITH SCORE 11931.39
AT ITER 2394 NEW BEST:: SOT 126157 SOS 95386 HAS SOPS 50478 HAS SOUS 12208 HAS SOUPS 11820 WITH SCORE 11915.386
AT ITER 2399 NEW BEST:: SOT 126157 SOS 95372 HAS SOPS 50471 HAS SOUS 12208 HAS SOUPS 11820 WITH SCORE 11915.372
AT ITER 2423 NEW BEST:: SOT 126157 SOS 95343 HAS SOPS 50442 HAS SOUS 12208 HAS SOUPS 11820 WITH SCORE 11915.343
AT ITER 2434 NEW BEST:: SOT 126155 SOS 95340 HAS SOPS 50439 HAS SOUS 12207 HAS SOUPS 11819 WITH SCORE 11914.34
AT ITER 2519 NEW BEST:: SOT 126129 SOS 95314 HAS SOPS 50400 HAS SOUS 12173 HAS SOUPS 11785 WITH SCORE 11880.314
AT ITER 2568 NEW BEST:: SOT 126102 SOS 95287 HAS SOPS 50346 HAS SOUS 12119 HAS SOUPS 11731 WITH SCORE 11826.287
AT ITER 2584 NEW BEST:: SOT 126096 SOS 95256 HAS SOPS 50334 HAS SOUS 12112 HAS SOUPS 11724 WITH SCORE 11819.256
AT ITER 2622 NEW BEST:: SOT 126090 SOS 95240 HAS SOPS 50322 HAS SOUS 12106 HAS SOUPS 11718 WITH SCORE 11813.24
AT ITER 2623 NEW BEST:: SOT 126067 SOS 95253 HAS SOPS 50296 HAS SOUS 12084 HAS SOUPS 11696 WITH SCORE 11791.253
AT ITER 2643 NEW BEST:: SOT 126066 SOS 95251 HAS SOPS 50294 HAS SOUS 12083 HAS SOUPS 11695 WITH SCORE 11790.251
AT ITER 2656 NEW BEST:: SOT 126006 SOS 95194 HAS SOPS 50338 HAS SOUS 12074 HAS SOUPS 11686 WITH SCORE 11781.194
AT ITER 2664 NEW BEST:: SOT 126004 SOS 95183 HAS SOPS 50325 HAS SOUS 12061 HAS SOUPS 11673 WITH SCORE 11768.183
AT ITER 2675 NEW BEST:: SOT 126004 SOS 95176 HAS SOPS 50318 HAS SOUS 12061 HAS SOUPS 11673 WITH SCORE 11768.176
AT ITER 2682 NEW BEST:: SOT 126002 SOS 95173 HAS SOPS 50314 HAS SOUS 12058 HAS SOUPS 11670 WITH SCORE 11765.173
AT ITER 2695 NEW BEST:: SOT 125997 SOS 95117 HAS SOPS 50273 HAS SOUS 12036 HAS SOUPS 11648 WITH SCORE 11743.117
AT ITER 2730 NEW BEST:: SOT 125971 SOS 95091 HAS SOPS 50221 HAS SOUS 12031 HAS SOUPS 11643 WITH SCORE 11738.091
AT ITER 2739 NEW BEST:: SOT 125947 SOS 95151 HAS SOPS 50227 HAS SOUS 12012 HAS SOUPS 11619 WITH SCORE 11714.151
AT ITER 2749 NEW BEST:: SOT 125956 SOS 95152 HAS SOPS 50204 HAS SOUS 11948 HAS SOUPS 11555 WITH SCORE 11650.152
AT ITER 2759 NEW BEST:: SOT 125939 SOS 95152 HAS SOPS 50187 HAS SOUS 11931 HAS SOUPS 11538 WITH SCORE 11633.152
AT ITER 2771 NEW BEST:: SOT 125934 SOS 95119 HAS SOPS 50177 HAS SOUS 11921 HAS SOUPS 11528 WITH SCORE 11623.119
AT ITER 2772 NEW BEST:: SOT 125931 SOS 95116 HAS SOPS 50171 HAS SOUS 11915 HAS SOUPS 11522 WITH SCORE 11617.116
AT ITER 2796 NEW BEST:: SOT 125898 SOS 95080 HAS SOPS 50099 HAS SOUS 11877 HAS SOUPS 11484 WITH SCORE 11579.08
AT ITER 2803 NEW BEST:: SOT 125816 SOS 94992 HAS SOPS 49955 HAS SOUS 11785 HAS SOUPS 11392 WITH SCORE 11486.992
AT ITER 2805 NEW BEST:: SOT 125814 SOS 94998 HAS SOPS 49961 HAS SOUS 11783 HAS SOUPS 11390 WITH SCORE 11484.998
AT ITER 2806 NEW BEST:: SOT 125764 SOS 94923 HAS SOPS 49861 HAS SOUS 11708 HAS SOUPS 11315 WITH SCORE 11409.923
AT ITER 2808 NEW BEST:: SOT 125754 SOS 94903 HAS SOPS 49841 HAS SOUS 11698 HAS SOUPS 11305 WITH SCORE 11399.903
AT ITER 2816 NEW BEST:: SOT 125750 SOS 94899 HAS SOPS 49833 HAS SOUS 11690 HAS SOUPS 11297 WITH SCORE 11391.899
AT ITER 2832 NEW BEST:: SOT 125750 SOS 94897 HAS SOPS 49831 HAS SOUS 11688 HAS SOUPS 11295 WITH SCORE 11389.897
AT ITER 2841 NEW BEST:: SOT 125745 SOS 94896 HAS SOPS 49827 HAS SOUS 11684 HAS SOUPS 11291 WITH SCORE 11385.896
AT ITER 2845 NEW BEST:: SOT 125738 SOS 94882 HAS SOPS 49813 HAS SOUS 11670 HAS SOUPS 11277 WITH SCORE 11371.882
AT ITER 2867 NEW BEST:: SOT 125743 SOS 94910 HAS SOPS 49823 HAS SOUS 11659 HAS SOUPS 11266 WITH SCORE 11360.91
AT ITER 2872 NEW BEST:: SOT 125737 SOS 94904 HAS SOPS 49814 HAS SOUS 11650 HAS SOUPS 11257 WITH SCORE 11351.904
AT ITER 2873 NEW BEST:: SOT 125733 SOS 94900 HAS SOPS 49806 HAS SOUS 11642 HAS SOUPS 11249 WITH SCORE 11343.9
AT ITER 2888 NEW BEST:: SOT 125721 SOS 94866 HAS SOPS 49771 HAS SOUS 11618 HAS SOUPS 11225 WITH SCORE 11319.866
AT ITER 2969 NEW BEST:: SOT 125720 SOS 94849 HAS SOPS 49743 HAS SOUS 11590 HAS SOUPS 11197 WITH SCORE 11291.849
AT ITER 2986 NEW BEST:: SOT 125708 SOS 94837 HAS SOPS 49735 HAS SOUS 11582 HAS SOUPS 11189 WITH SCORE 11283.837
AT ITER 2993 NEW BEST:: SOT 125700 SOS 94812 HAS SOPS 49710 HAS SOUS 11567 HAS SOUPS 11174 WITH SCORE 11268.812
AT ITER 2995 NEW BEST:: SOT 125704 SOS 94800 HAS SOPS 49701 HAS SOUS 11558 HAS SOUPS 11165 WITH SCORE 11259.8
AT ITER 3011 NEW BEST:: SOT 125689 SOS 94753 HAS SOPS 49657 HAS SOUS 11529 HAS SOUPS 11136 WITH SCORE 11230.753
AT ITER 3015 NEW BEST:: SOT 125672 SOS 94749 HAS SOPS 49636 HAS SOUS 11508 HAS SOUPS 11115 WITH SCORE 11209.749
AT ITER 3024 NEW BEST:: SOT 125667 SOS 94739 HAS SOPS 49626 HAS SOUS 11498 HAS SOUPS 11105 WITH SCORE 11199.739
AT ITER 3027 NEW BEST:: SOT 125658 SOS 94729 HAS SOPS 49562 HAS SOUS 11484 HAS SOUPS 11091 WITH SCORE 11185.729
AT ITER 3043 NEW BEST:: SOT 125653 SOS 94721 HAS SOPS 49552 HAS SOUS 11470 HAS SOUPS 11077 WITH SCORE 11171.721
AT ITER 3075 NEW BEST:: SOT 125636 SOS 94713 HAS SOPS 49535 HAS SOUS 11470 HAS SOUPS 11077 WITH SCORE 11171.713
AT ITER 3083 NEW BEST:: SOT 125623 SOS 94700 HAS SOPS 49522 HAS SOUS 11457 HAS SOUPS 11064 WITH SCORE 11158.7
AT ITER 3085 NEW BEST:: SOT 125622 SOS 94699 HAS SOPS 49520 HAS SOUS 11455 HAS SOUPS 11062 WITH SCORE 11156.699
AT ITER 3088 NEW BEST:: SOT 125610 SOS 94685 HAS SOPS 49504 HAS SOUS 11443 HAS SOUPS 11050 WITH SCORE 11144.685
AT ITER 3089 NEW BEST:: SOT 125594 SOS 94669 HAS SOPS 49472 HAS SOUS 11411 HAS SOUPS 11018 WITH SCORE 11112.669
AT ITER 3098 NEW BEST:: SOT 125584 SOS 94642 HAS SOPS 49452 HAS SOUS 11391 HAS SOUPS 10998 WITH SCORE 11092.642
AT ITER 3124 NEW BEST:: SOT 125580 SOS 94642 HAS SOPS 49448 HAS SOUS 11387 HAS SOUPS 10994 WITH SCORE 11088.642
AT ITER 3135 NEW BEST:: SOT 125576 SOS 94634 HAS SOPS 49438 HAS SOUS 11379 HAS SOUPS 10986 WITH SCORE 11080.634
AT ITER 3138 NEW BEST:: SOT 125569 SOS 94634 HAS SOPS 49438 HAS SOUS 11372 HAS SOUPS 10979 WITH SCORE 11073.634
AT ITER 3167 NEW BEST:: SOT 125560 SOS 94949 HAS SOPS 49433 HAS SOUS 11368 HAS SOUPS 10971 WITH SCORE 11065.949
AT ITER 3190 NEW BEST:: SOT 125557 SOS 94942 HAS SOPS 49422 HAS SOUS 11357 HAS SOUPS 10960 WITH SCORE 11054.942
AT ITER 3200 NEW BEST:: SOT 125556 SOS 94940 HAS SOPS 49420 HAS SOUS 11355 HAS SOUPS 10958 WITH SCORE 11052.94
AT ITER 3210 NEW BEST:: SOT 125583 SOS 94966 HAS SOPS 49445 HAS SOUS 11350 HAS SOUPS 10953 WITH SCORE 11047.966
AT ITER 3217 NEW BEST:: SOT 125580 SOS 94960 HAS SOPS 49400 HAS SOUS 11266 HAS SOUPS 10869 WITH SCORE 10963.96
AT ITER 3235 NEW BEST:: SOT 125567 SOS 94973 HAS SOPS 49387 HAS SOUS 11240 HAS SOUPS 10843 WITH SCORE 10937.973
AT ITER 3318 NEW BEST:: SOT 125564 SOS 94967 HAS SOPS 49377 HAS SOUS 11232 HAS SOUPS 10833 WITH SCORE 10927.967
AT ITER 3319 NEW BEST:: SOT 125561 SOS 94962 HAS SOPS 49371 HAS SOUS 11227 HAS SOUPS 10828 WITH SCORE 10922.962
AT ITER 3331 NEW BEST:: SOT 125557 SOS 94946 HAS SOPS 49351 HAS SOUS 11219 HAS SOUPS 10820 WITH SCORE 10914.946
AT ITER 3387 NEW BEST:: SOT 125606 SOS 94996 HAS SOPS 49257 HAS SOUS 11038 HAS SOUPS 10639 WITH SCORE 10733.996
AT ITER 3410 NEW BEST:: SOT 125600 SOS 94990 HAS SOPS 49251 HAS SOUS 11038 HAS SOUPS 10639 WITH SCORE 10733.99
AT ITER 3411 NEW BEST:: SOT 125599 SOS 94987 HAS SOPS 49249 HAS SOUS 11037 HAS SOUPS 10638 WITH SCORE 10732.987
AT ITER 3435 NEW BEST:: SOT 125594 SOS 94974 HAS SOPS 49228 HAS SOUS 11016 HAS SOUPS 10617 WITH SCORE 10711.974
AT ITER 3446 NEW BEST:: SOT 125589 SOS 94969 HAS SOPS 49223 HAS SOUS 11011 HAS SOUPS 10612 WITH SCORE 10706.969
AT ITER 3462 NEW BEST:: SOT 125570 SOS 94969 HAS SOPS 49204 HAS SOUS 10992 HAS SOUPS 10593 WITH SCORE 10687.969
AT ITER 3478 NEW BEST:: SOT 125571 SOS 94956 HAS SOPS 49186 HAS SOUS 10978 HAS SOUPS 10579 WITH SCORE 10673.956
AT ITER 3490 NEW BEST:: SOT 125570 SOS 94947 HAS SOPS 49180 HAS SOUS 10972 HAS SOUPS 10573 WITH SCORE 10667.947
AT ITER 3523 NEW BEST:: SOT 125567 SOS 94941 HAS SOPS 49174 HAS SOUS 10966 HAS SOUPS 10567 WITH SCORE 10661.941
AT ITER 3530 NEW BEST:: SOT 125566 SOS 94939 HAS SOPS 49172 HAS SOUS 10964 HAS SOUPS 10565 WITH SCORE 10659.939
AT ITER 3537 NEW BEST:: SOT 125572 SOS 94945 HAS SOPS 49153 HAS SOUS 10945 HAS SOUPS 10546 WITH SCORE 10640.945
AT ITER 3538 NEW BEST:: SOT 125572 SOS 94907 HAS SOPS 49115 HAS SOUS 10907 HAS SOUPS 10508 WITH SCORE 10602.907
AT ITER 3547 NEW BEST:: SOT 125507 SOS 94849 HAS SOPS 49071 HAS SOUS 10863 HAS SOUPS 10464 WITH SCORE 10558.849
AT ITER 3553 NEW BEST:: SOT 125483 SOS 94845 HAS SOPS 49045 HAS SOUS 10837 HAS SOUPS 10438 WITH SCORE 10532.845
AT ITER 3566 NEW BEST:: SOT 125490 SOS 94848 HAS SOPS 49044 HAS SOUS 10825 HAS SOUPS 10426 WITH SCORE 10520.848
AT ITER 3617 NEW BEST:: SOT 125480 SOS 94833 HAS SOPS 49029 HAS SOUS 10810 HAS SOUPS 10411 WITH SCORE 10505.833
AT ITER 3650 NEW BEST:: SOT 125431 SOS 94670 HAS SOPS 48869 HAS SOUS 10702 HAS SOUPS 10303 WITH SCORE 10397.67
AT ITER 3712 NEW BEST:: SOT 125446 SOS 94674 HAS SOPS 48632 HAS SOUS 10691 HAS SOUPS 10292 WITH SCORE 10386.674
AT ITER 3716 NEW BEST:: SOT 125438 SOS 94664 HAS SOPS 48616 HAS SOUS 10677 HAS SOUPS 10278 WITH SCORE 10372.664
AT ITER 3787 NEW BEST:: SOT 125427 SOS 94669 HAS SOPS 48610 HAS SOUS 10671 HAS SOUPS 10272 WITH SCORE 10366.669
AT ITER 3814 NEW BEST:: SOT 125413 SOS 94644 HAS SOPS 48582 HAS SOUS 10660 HAS SOUPS 10261 WITH SCORE 10355.644
AT ITER 3822 NEW BEST:: SOT 125221 SOS 94458 HAS SOPS 48396 HAS SOUS 10576 HAS SOUPS 10177 WITH SCORE 10271.458
AT ITER 3839 NEW BEST:: SOT 125218 SOS 94425 HAS SOPS 48364 HAS SOUS 10542 HAS SOUPS 10143 WITH SCORE 10237.425
AT ITER 3882 NEW BEST:: SOT 125187 SOS 94379 HAS SOPS 48302 HAS SOUS 10488 HAS SOUPS 10089 WITH SCORE 10183.379
AT ITER 3916 NEW BEST:: SOT 125168 SOS 94333 HAS SOPS 48264 HAS SOUS 10487 HAS SOUPS 10088 WITH SCORE 10182.333
AT ITER 3923 NEW BEST:: SOT 125176 SOS 94338 HAS SOPS 48280 HAS SOUS 10482 HAS SOUPS 10083 WITH SCORE 10177.338
AT ITER 3945 NEW BEST:: SOT 125165 SOS 94349 HAS SOPS 48269 HAS SOUS 10460 HAS SOUPS 10061 WITH SCORE 10155.349
AT ITER 3979 NEW BEST:: SOT 125158 SOS 94342 HAS SOPS 48255 HAS SOUS 10446 HAS SOUPS 10047 WITH SCORE 10141.342
AT ITER 3996 NEW BEST:: SOT 125156 SOS 94345 HAS SOPS 48255 HAS SOUS 10445 HAS SOUPS 10046 WITH SCORE 10140.345
AT ITER 4004 NEW BEST:: SOT 125150 SOS 94327 HAS SOPS 48243 HAS SOUS 10433 HAS SOUPS 10034 WITH SCORE 10128.327
AT ITER 4049 NEW BEST:: SOT 125138 SOS 94309 HAS SOPS 48219 HAS SOUS 10409 HAS SOUPS 10010 WITH SCORE 10104.309
AT ITER 4055 NEW BEST:: SOT 125134 SOS 94305 HAS SOPS 48211 HAS SOUS 10401 HAS SOUPS 10002 WITH SCORE 10096.305
AT ITER 4085 NEW BEST:: SOT 125126 SOS 100992 HAS SOPS 48178 HAS SOUS 10402 HAS SOUPS 9992 WITH SCORE 10092.992
AT ITER 4089 NEW BEST:: SOT 125124 SOS 100988 HAS SOPS 48174 HAS SOUS 10398 HAS SOUPS 9988 WITH SCORE 10088.988
AT ITER 4098 NEW BEST:: SOT 125093 SOS 100932 HAS SOPS 48112 HAS SOUS 10336 HAS SOUPS 9926 WITH SCORE 10026.932
AT ITER 4126 NEW BEST:: SOT 125064 SOS 100928 HAS SOPS 48098 HAS SOUS 10323 HAS SOUPS 9913 WITH SCORE 10013.928
AT ITER 4174 NEW BEST:: SOT 125063 SOS 100926 HAS SOPS 48095 HAS SOUS 10320 HAS SOUPS 9910 WITH SCORE 10010.926
AT ITER 4190 NEW BEST:: SOT 125059 SOS 100922 HAS SOPS 48087 HAS SOUS 10316 HAS SOUPS 9906 WITH SCORE 10006.922
AT ITER 4214 NEW BEST:: SOT 125056 SOS 100919 HAS SOPS 48081 HAS SOUS 10310 HAS SOUPS 9900 WITH SCORE 10000.919
AT ITER 4234 NEW BEST:: SOT 125054 SOS 100917 HAS SOPS 48077 HAS SOUS 10306 HAS SOUPS 9896 WITH SCORE 9996.917
AT ITER 4248 NEW BEST:: SOT 125046 SOS 100901 HAS SOPS 48061 HAS SOUS 10290 HAS SOUPS 9880 WITH SCORE 9980.901
AT ITER 4275 NEW BEST:: SOT 125050 SOS 92233 HAS SOPS 49023 HAS SOUS 10279 HAS SOUPS 9885 WITH SCORE 9977.233
AT ITER 4288 NEW BEST:: SOT 125048 SOS 92229 HAS SOPS 49019 HAS SOUS 10277 HAS SOUPS 9883 WITH SCORE 9975.229
AT ITER 4290 NEW BEST:: SOT 125044 SOS 92226 HAS SOPS 49011 HAS SOUS 10268 HAS SOUPS 9874 WITH SCORE 9966.226
AT ITER 4294 NEW BEST:: SOT 125036 SOS 92225 HAS SOPS 48995 HAS SOUS 10252 HAS SOUPS 9858 WITH SCORE 9950.225
AT ITER 4312 NEW BEST:: SOT 125030 SOS 91611 HAS SOPS 48381 HAS SOUS 10242 HAS SOUPS 9848 WITH SCORE 9939.611
AT ITER 4332 NEW BEST:: SOT 125024 SOS 91599 HAS SOPS 48366 HAS SOUS 10230 HAS SOUPS 9836 WITH SCORE 9927.599
AT ITER 4345 NEW BEST:: SOT 125004 SOS 91572 HAS SOPS 48333 HAS SOUS 10197 HAS SOUPS 9803 WITH SCORE 9894.572
AT ITER 4355 NEW BEST:: SOT 124988 SOS 91556 HAS SOPS 48311 HAS SOUS 10175 HAS SOUPS 9781 WITH SCORE 9872.556
AT ITER 4384 NEW BEST:: SOT 124988 SOS 91550 HAS SOPS 48305 HAS SOUS 10169 HAS SOUPS 9775 WITH SCORE 9866.55
AT ITER 4424 NEW BEST:: SOT 124984 SOS 91547 HAS SOPS 48302 HAS SOUS 10166 HAS SOUPS 9772 WITH SCORE 9863.547
AT ITER 4430 NEW BEST:: SOT 124970 SOS 91510 HAS SOPS 48274 HAS SOUS 10138 HAS SOUPS 9744 WITH SCORE 9835.51
AT ITER 4431 NEW BEST:: SOT 124969 SOS 91510 HAS SOPS 48273 HAS SOUS 10137 HAS SOUPS 9743 WITH SCORE 9834.51
AT ITER 4451 NEW BEST:: SOT 124955 SOS 91496 HAS SOPS 48258 HAS SOUS 10128 HAS SOUPS 9734 WITH SCORE 9825.496
AT ITER 4453 NEW BEST:: SOT 124954 SOS 91496 HAS SOPS 48257 HAS SOUS 10127 HAS SOUPS 9733 WITH SCORE 9824.496
AT ITER 4478 NEW BEST:: SOT 124942 SOS 91459 HAS SOPS 48233 HAS SOUS 10122 HAS SOUPS 9728 WITH SCORE 9819.459
AT ITER 4484 NEW BEST:: SOT 124942 SOS 91459 HAS SOPS 48233 HAS SOUS 10117 HAS SOUPS 9723 WITH SCORE 9814.459
AT ITER 4486 NEW BEST:: SOT 124936 SOS 91447 HAS SOPS 48213 HAS SOUS 10097 HAS SOUPS 9703 WITH SCORE 9794.447
AT ITER 4489 NEW BEST:: SOT 124936 SOS 91443 HAS SOPS 48209 HAS SOUS 10093 HAS SOUPS 9699 WITH SCORE 9790.443
AT ITER 4498 NEW BEST:: SOT 124936 SOS 91437 HAS SOPS 48203 HAS SOUS 10087 HAS SOUPS 9693 WITH SCORE 9784.437
AT ITER 4515 NEW BEST:: SOT 124904 SOS 91407 HAS SOPS 48170 HAS SOUS 10065 HAS SOUPS 9671 WITH SCORE 9762.407
AT ITER 4517 NEW BEST:: SOT 124893 SOS 91397 HAS SOPS 48148 HAS SOUS 10046 HAS SOUPS 9652 WITH SCORE 9743.397
AT ITER 4672 NEW BEST:: SOT 124897 SOS 91393 HAS SOPS 48148 HAS SOUS 10046 HAS SOUPS 9652 WITH SCORE 9743.393
AT ITER 4688 NEW BEST:: SOT 124887 SOS 91391 HAS SOPS 48144 HAS SOUS 10042 HAS SOUPS 9648 WITH SCORE 9739.391
AT ITER 4700 NEW BEST:: SOT 124887 SOS 91391 HAS SOPS 48144 HAS SOUS 10026 HAS SOUPS 9632 WITH SCORE 9723.391
AT ITER 4737 NEW BEST:: SOT 124894 SOS 91390 HAS SOPS 48158 HAS SOUS 10026 HAS SOUPS 9632 WITH SCORE 9723.39
AT ITER 4751 NEW BEST:: SOT 124870 SOS 91354 HAS SOPS 48110 HAS SOUS 9990 HAS SOUPS 9596 WITH SCORE 9687.354
AT ITER 4760 NEW BEST:: SOT 124865 SOS 91349 HAS SOPS 48095 HAS SOUS 9975 HAS SOUPS 9581 WITH SCORE 9672.349
AT ITER 4766 NEW BEST:: SOT 124856 SOS 91288 HAS SOPS 48047 HAS SOUS 9941 HAS SOUPS 9547 WITH SCORE 9638.288
AT ITER 4770 NEW BEST:: SOT 124861 SOS 91288 HAS SOPS 48051 HAS SOUS 9939 HAS SOUPS 9545 WITH SCORE 9636.288
AT ITER 4779 NEW BEST:: SOT 124854 SOS 91272 HAS SOPS 48037 HAS SOUS 9925 HAS SOUPS 9531 WITH SCORE 9622.272
AT ITER 4825 NEW BEST:: SOT 124852 SOS 91269 HAS SOPS 48033 HAS SOUS 9921 HAS SOUPS 9527 WITH SCORE 9618.269
AT ITER 4846 NEW BEST:: SOT 124835 SOS 91265 HAS SOPS 48016 HAS SOUS 9904 HAS SOUPS 9510 WITH SCORE 9601.265
AT ITER 4907 NEW BEST:: SOT 124835 SOS 91261 HAS SOPS 48012 HAS SOUS 9900 HAS SOUPS 9506 WITH SCORE 9597.261
AT ITER 4993 NEW BEST:: SOT 124833 SOS 91246 HAS SOPS 47995 HAS SOUS 9883 HAS SOUPS 9489 WITH SCORE 9580.246
AT ITER 5002 NEW BEST:: SOT 124833 SOS 91183 HAS SOPS 47995 HAS SOUS 9883 HAS SOUPS 9489 WITH SCORE 9580.183
AT ITER 5224 NEW BEST:: SOT 124818 SOS 91167 HAS SOPS 47972 HAS SOUS 9867 HAS SOUPS 9473 WITH SCORE 9564.167
AT ITER 5277 NEW BEST:: SOT 124818 SOS 91166 HAS SOPS 47971 HAS SOUS 9866 HAS SOUPS 9472 WITH SCORE 9563.166
AT ITER 5302 NEW BEST:: SOT 124810 SOS 91166 HAS SOPS 47968 HAS SOUS 9863 HAS SOUPS 9469 WITH SCORE 9560.166
AT ITER 5303 NEW BEST:: SOT 124809 SOS 91165 HAS SOPS 47965 HAS SOUS 9860 HAS SOUPS 9466 WITH SCORE 9557.165
AT ITER 5355 NEW BEST:: SOT 124804 SOS 91142 HAS SOPS 47942 HAS SOUS 9842 HAS SOUPS 9448 WITH SCORE 9539.142
AT ITER 5358 NEW BEST:: SOT 124803 SOS 91141 HAS SOPS 47940 HAS SOUS 9840 HAS SOUPS 9446 WITH SCORE 9537.141
AT ITER 5402 NEW BEST:: SOT 124803 SOS 91131 HAS SOPS 47940 HAS SOUS 9840 HAS SOUPS 9446 WITH SCORE 9537.131
AT ITER 5425 NEW BEST:: SOT 124798 SOS 91126 HAS SOPS 47933 HAS SOUS 9836 HAS SOUPS 9442 WITH SCORE 9533.126
AT ITER 5495 NEW BEST:: SOT 124786 SOS 91114 HAS SOPS 47921 HAS SOUS 9824 HAS SOUPS 9430 WITH SCORE 9521.114
AT ITER 5503 NEW BEST:: SOT 124784 SOS 91110 HAS SOPS 47917 HAS SOUS 9820 HAS SOUPS 9426 WITH SCORE 9517.11
AT ITER 5576 NEW BEST:: SOT 124782 SOS 91110 HAS SOPS 47915 HAS SOUS 9818 HAS SOUPS 9424 WITH SCORE 9515.11
AT ITER 5594 NEW BEST:: SOT 124771 SOS 91088 HAS SOPS 47893 HAS SOUS 9807 HAS SOUPS 9413 WITH SCORE 9504.088
AT ITER 5603 NEW BEST:: SOT 124770 SOS 91085 HAS SOPS 47890 HAS SOUS 9805 HAS SOUPS 9411 WITH SCORE 9502.085
AT ITER 5607 NEW BEST:: SOT 124741 SOS 91098 HAS SOPS 47881 HAS SOUS 9781 HAS SOUPS 9387 WITH SCORE 9478.098
AT ITER 5644 NEW BEST:: SOT 124740 SOS 91096 HAS SOPS 47879 HAS SOUS 9780 HAS SOUPS 9386 WITH SCORE 9477.096
AT ITER 5665 NEW BEST:: SOT 124739 SOS 91106 HAS SOPS 47877 HAS SOUS 9778 HAS SOUPS 9384 WITH SCORE 9475.106
AT ITER 5722 NEW BEST:: SOT 124776 SOS 91136 HAS SOPS 47829 HAS SOUS 9725 HAS SOUPS 9331 WITH SCORE 9422.136
AT ITER 5753 NEW BEST:: SOT 124771 SOS 91131 HAS SOPS 47819 HAS SOUS 9715 HAS SOUPS 9321 WITH SCORE 9412.131
AT ITER 5827 NEW BEST:: SOT 124769 SOS 91673 HAS SOPS 47816 HAS SOUS 9714 HAS SOUPS 9319 WITH SCORE 9410.673
AT ITER 5864 NEW BEST:: SOT 124770 SOS 91674 HAS SOPS 47804 HAS SOUS 9702 HAS SOUPS 9307 WITH SCORE 9398.674
AT ITER 5902 NEW BEST:: SOT 124770 SOS 91676 HAS SOPS 47804 HAS SOUS 9700 HAS SOUPS 9305 WITH SCORE 9396.676
AT ITER 5910 NEW BEST:: SOT 124766 SOS 91672 HAS SOPS 47800 HAS SOUS 9696 HAS SOUPS 9301 WITH SCORE 9392.672
AT ITER 5923 NEW BEST:: SOT 124714 SOS 91563 HAS SOPS 47696 HAS SOUS 9639 HAS SOUPS 9244 WITH SCORE 9335.563
AT ITER 5940 NEW BEST:: SOT 124703 SOS 91795 HAS SOPS 47679 HAS SOUS 9628 HAS SOUPS 9230 WITH SCORE 9321.795
AT ITER 5952 NEW BEST:: SOT 124694 SOS 91774 HAS SOPS 47661 HAS SOUS 9610 HAS SOUPS 9212 WITH SCORE 9303.774
AT ITER 6038 NEW BEST:: SOT 124689 SOS 91774 HAS SOPS 47656 HAS SOUS 9605 HAS SOUPS 9207 WITH SCORE 9298.774
AT ITER 6042 NEW BEST:: SOT 124670 SOS 91755 HAS SOPS 47618 HAS SOUS 9567 HAS SOUPS 9169 WITH SCORE 9260.755
AT ITER 6052 NEW BEST:: SOT 124669 SOS 91753 HAS SOPS 47607 HAS SOUS 9557 HAS SOUPS 9159 WITH SCORE 9250.753
AT ITER 6057 NEW BEST:: SOT 124670 SOS 91753 HAS SOPS 47606 HAS SOUS 9556 HAS SOUPS 9158 WITH SCORE 9249.753
AT ITER 6086 NEW BEST:: SOT 124670 SOS 91763 HAS SOPS 47606 HAS SOUS 9548 HAS SOUPS 9150 WITH SCORE 9241.763
AT ITER 6111 NEW BEST:: SOT 124663 SOS 91760 HAS SOPS 47603 HAS SOUS 9545 HAS SOUPS 9147 WITH SCORE 9238.76
AT ITER 6127 NEW BEST:: SOT 124623 SOS 91744 HAS SOPS 47575 HAS SOUS 9517 HAS SOUPS 9119 WITH SCORE 9210.744
AT ITER 6136 NEW BEST:: SOT 124629 SOS 91739 HAS SOPS 47574 HAS SOUS 9515 HAS SOUPS 9117 WITH SCORE 9208.739
AT ITER 6148 NEW BEST:: SOT 124569 SOS 91699 HAS SOPS 47540 HAS SOUS 9510 HAS SOUPS 9112 WITH SCORE 9203.699
AT ITER 6160 NEW BEST:: SOT 124568 SOS 91698 HAS SOPS 47538 HAS SOUS 9508 HAS SOUPS 9110 WITH SCORE 9201.698
AT ITER 6170 NEW BEST:: SOT 124567 SOS 91696 HAS SOPS 47536 HAS SOUS 9507 HAS SOUPS 9109 WITH SCORE 9200.696
AT ITER 6177 NEW BEST:: SOT 124567 SOS 91696 HAS SOPS 47533 HAS SOUS 9501 HAS SOUPS 9103 WITH SCORE 9194.696
AT ITER 6203 NEW BEST:: SOT 124567 SOS 91694 HAS SOPS 47531 HAS SOUS 9501 HAS SOUPS 9103 WITH SCORE 9194.694
AT ITER 6209 NEW BEST:: SOT 124567 SOS 91691 HAS SOPS 47531 HAS SOUS 9501 HAS SOUPS 9103 WITH SCORE 9194.691
AT ITER 6251 NEW BEST:: SOT 124566 SOS 91683 HAS SOPS 47529 HAS SOUS 9499 HAS SOUPS 9101 WITH SCORE 9192.683
AT ITER 6257 NEW BEST:: SOT 124561 SOS 91673 HAS SOPS 47335 HAS SOUS 9443 HAS SOUPS 9045 WITH SCORE 9136.673
AT ITER 6275 NEW BEST:: SOT 124570 SOS 91659 HAS SOPS 47333 HAS SOUS 9437 HAS SOUPS 9039 WITH SCORE 9130.659
AT ITER 6334 NEW BEST:: SOT 124570 SOS 91659 HAS SOPS 47333 HAS SOUS 9435 HAS SOUPS 9037 WITH SCORE 9128.659
AT ITER 6481 NEW BEST:: SOT 124566 SOS 91655 HAS SOPS 47329 HAS SOUS 9431 HAS SOUPS 9033 WITH SCORE 9124.655
AT ITER 6489 NEW BEST:: SOT 124571 SOS 91638 HAS SOPS 47319 HAS SOUS 9430 HAS SOUPS 9032 WITH SCORE 9123.638
AT ITER 6554 NEW BEST:: SOT 124567 SOS 91630 HAS SOPS 47311 HAS SOUS 9422 HAS SOUPS 9024 WITH SCORE 9115.63
AT ITER 6664 NEW BEST:: SOT 124561 SOS 91617 HAS SOPS 47292 HAS SOUS 9403 HAS SOUPS 9005 WITH SCORE 9096.617
AT ITER 6669 NEW BEST:: SOT 124562 SOS 91626 HAS SOPS 47294 HAS SOUS 9399 HAS SOUPS 9001 WITH SCORE 9092.626
AT ITER 6717 NEW BEST:: SOT 124557 SOS 91616 HAS SOPS 47284 HAS SOUS 9389 HAS SOUPS 8991 WITH SCORE 9082.616
AT ITER 6834 NEW BEST:: SOT 124556 SOS 91616 HAS SOPS 47283 HAS SOUS 9388 HAS SOUPS 8990 WITH SCORE 9081.616
AT ITER 6850 NEW BEST:: SOT 124544 SOS 91611 HAS SOPS 47272 HAS SOUS 9377 HAS SOUPS 8979 WITH SCORE 9070.611
AT ITER 6906 NEW BEST:: SOT 124586 SOS 91651 HAS SOPS 47268 HAS SOUS 9349 HAS SOUPS 8951 WITH SCORE 9042.651
AT ITER 6938 NEW BEST:: SOT 124576 SOS 91621 HAS SOPS 47238 HAS SOUS 9329 HAS SOUPS 8931 WITH SCORE 9022.621
AT ITER 6953 NEW BEST:: SOT 124574 SOS 91617 HAS SOPS 47234 HAS SOUS 9325 HAS SOUPS 8927 WITH SCORE 9018.617
AT ITER 6999 NEW BEST:: SOT 124552 SOS 91565 HAS SOPS 47190 HAS SOUS 9281 HAS SOUPS 8883 WITH SCORE 8974.565
AT ITER 7035 NEW BEST:: SOT 124551 SOS 91530 HAS SOPS 47167 HAS SOUS 9258 HAS SOUPS 8860 WITH SCORE 8951.53
AT ITER 7051 NEW BEST:: SOT 124552 SOS 91526 HAS SOPS 47169 HAS SOUS 9258 HAS SOUPS 8860 WITH SCORE 8951.526
AT ITER 7095 NEW BEST:: SOT 124552 SOS 91521 HAS SOPS 47169 HAS SOUS 9258 HAS SOUPS 8860 WITH SCORE 8951.521
AT ITER 7100 NEW BEST:: SOT 124552 SOS 91521 HAS SOPS 47166 HAS SOUS 9255 HAS SOUPS 8857 WITH SCORE 8948.521
AT ITER 7104 NEW BEST:: SOT 124550 SOS 91517 HAS SOPS 47162 HAS SOUS 9251 HAS SOUPS 8853 WITH SCORE 8944.517
AT ITER 7119 NEW BEST:: SOT 124549 SOS 91515 HAS SOPS 47160 HAS SOUS 9250 HAS SOUPS 8852 WITH SCORE 8943.515
AT ITER 7170 NEW BEST:: SOT 124529 SOS 91487 HAS SOPS 47132 HAS SOUS 9228 HAS SOUPS 8830 WITH SCORE 8921.487
AT ITER 7200 NEW BEST:: SOT 124528 SOS 91485 HAS SOPS 47130 HAS SOUS 9225 HAS SOUPS 8827 WITH SCORE 8918.485
AT ITER 7232 NEW BEST:: SOT 124527 SOS 91469 HAS SOPS 47113 HAS SOUS 9208 HAS SOUPS 8810 WITH SCORE 8901.469
AT ITER 7272 NEW BEST:: SOT 124525 SOS 91467 HAS SOPS 47109 HAS SOUS 9204 HAS SOUPS 8806 WITH SCORE 8897.467
AT ITER 7280 NEW BEST:: SOT 124512 SOS 91479 HAS SOPS 47108 HAS SOUS 9203 HAS SOUPS 8805 WITH SCORE 8896.479
AT ITER 7301 NEW BEST:: SOT 124509 SOS 91468 HAS SOPS 47098 HAS SOUS 9197 HAS SOUPS 8799 WITH SCORE 8890.468
AT ITER 7311 NEW BEST:: SOT 124510 SOS 91465 HAS SOPS 47096 HAS SOUS 9196 HAS SOUPS 8798 WITH SCORE 8889.465
AT ITER 7356 NEW BEST:: SOT 124262 SOS 91224 HAS SOPS 46852 HAS SOUS 9100 HAS SOUPS 8702 WITH SCORE 8793.224
AT ITER 7384 NEW BEST:: SOT 124264 SOS 91223 HAS SOPS 46856 HAS SOUS 9100 HAS SOUPS 8702 WITH SCORE 8793.223
AT ITER 7388 NEW BEST:: SOT 124258 SOS 91221 HAS SOPS 46851 HAS SOUS 9095 HAS SOUPS 8697 WITH SCORE 8788.221
AT ITER 7477 NEW BEST:: SOT 124257 SOS 91220 HAS SOPS 46850 HAS SOUS 9094 HAS SOUPS 8696 WITH SCORE 8787.22
AT ITER 7493 NEW BEST:: SOT 124257 SOS 91218 HAS SOPS 46820 HAS SOUS 9074 HAS SOUPS 8676 WITH SCORE 8767.218
AT ITER 7566 NEW BEST:: SOT 124269 SOS 91228 HAS SOPS 46830 HAS SOUS 9062 HAS SOUPS 8664 WITH SCORE 8755.228
AT ITER 7619 NEW BEST:: SOT 124267 SOS 91222 HAS SOPS 46824 HAS SOUS 9060 HAS SOUPS 8662 WITH SCORE 8753.222
AT ITER 7631 NEW BEST:: SOT 124267 SOS 91194 HAS SOPS 46810 HAS SOUS 9060 HAS SOUPS 8662 WITH SCORE 8753.194
AT ITER 7652 NEW BEST:: SOT 124266 SOS 91970 HAS SOPS 46804 HAS SOUS 9056 HAS SOUPS 8649 WITH SCORE 8740.97
AT ITER 7735 NEW BEST:: SOT 124249 SOS 91953 HAS SOPS 46770 HAS SOUS 9022 HAS SOUPS 8615 WITH SCORE 8706.953
AT ITER 7753 NEW BEST:: SOT 124241 SOS 91936 HAS SOPS 46754 HAS SOUS 9006 HAS SOUPS 8599 WITH SCORE 8690.936
AT ITER 7778 NEW BEST:: SOT 124250 SOS 91933 HAS SOPS 46751 HAS SOUS 8997 HAS SOUPS 8590 WITH SCORE 8681.933
AT ITER 7813 NEW BEST:: SOT 124249 SOS 91931 HAS SOPS 46748 HAS SOUS 8997 HAS SOUPS 8590 WITH SCORE 8681.931
AT ITER 7846 NEW BEST:: SOT 124247 SOS 91929 HAS SOPS 46744 HAS SOUS 8993 HAS SOUPS 8586 WITH SCORE 8677.929
AT ITER 7869 NEW BEST:: SOT 124248 SOS 91933 HAS SOPS 46746 HAS SOUS 8992 HAS SOUPS 8585 WITH SCORE 8676.933
AT ITER 7881 NEW BEST:: SOT 124250 SOS 91942 HAS SOPS 46750 HAS SOUS 8991 HAS SOUPS 8584 WITH SCORE 8675.942
AT ITER 7923 NEW BEST:: SOT 124243 SOS 91934 HAS SOPS 46742 HAS SOUS 8978 HAS SOUPS 8571 WITH SCORE 8662.934
AT ITER 7927 NEW BEST:: SOT 124238 SOS 91919 HAS SOPS 46724 HAS SOUS 8964 HAS SOUPS 8557 WITH SCORE 8648.919
AT ITER 7961 NEW BEST:: SOT 124234 SOS 91913 HAS SOPS 46716 HAS SOUS 8956 HAS SOUPS 8549 WITH SCORE 8640.913
AT ITER 8081 NEW BEST:: SOT 124234 SOS 91912 HAS SOPS 46716 HAS SOUS 8956 HAS SOUPS 8549 WITH SCORE 8640.912
AT ITER 8148 NEW BEST:: SOT 124227 SOS 91923 HAS SOPS 46715 HAS SOUS 8955 HAS SOUPS 8548 WITH SCORE 8639.923
AT ITER 8216 NEW BEST:: SOT 124226 SOS 91920 HAS SOPS 46712 HAS SOUS 8953 HAS SOUPS 8546 WITH SCORE 8637.92
AT ITER 8258 NEW BEST:: SOT 124224 SOS 91918 HAS SOPS 46708 HAS SOUS 8949 HAS SOUPS 8542 WITH SCORE 8633.918
AT ITER 8260 NEW BEST:: SOT 124224 SOS 91917 HAS SOPS 46707 HAS SOUS 8948 HAS SOUPS 8541 WITH SCORE 8632.917
AT ITER 8263 NEW BEST:: SOT 124212 SOS 91893 HAS SOPS 46683 HAS SOUS 8936 HAS SOUPS 8529 WITH SCORE 8620.893
AT ITER 8336 NEW BEST:: SOT 124211 SOS 91889 HAS SOPS 46678 HAS SOUS 8917 HAS SOUPS 8510 WITH SCORE 8601.889
AT ITER 8340 NEW BEST:: SOT 124208 SOS 91877 HAS SOPS 46663 HAS SOUS 8902 HAS SOUPS 8495 WITH SCORE 8586.877
AT ITER 8366 NEW BEST:: SOT 124187 SOS 91858 HAS SOPS 46639 HAS SOUS 8878 HAS SOUPS 8471 WITH SCORE 8562.858
AT ITER 8421 NEW BEST:: SOT 124184 SOS 91852 HAS SOPS 46633 HAS SOUS 8872 HAS SOUPS 8465 WITH SCORE 8556.852
AT ITER 8509 NEW BEST:: SOT 124184 SOS 91852 HAS SOPS 46632 HAS SOUS 8871 HAS SOUPS 8464 WITH SCORE 8555.852
AT ITER 8547 NEW BEST:: SOT 124187 SOS 91851 HAS SOPS 46633 HAS SOUS 8861 HAS SOUPS 8454 WITH SCORE 8545.851
AT ITER 8595 NEW BEST:: SOT 124185 SOS 91847 HAS SOPS 46629 HAS SOUS 8859 HAS SOUPS 8452 WITH SCORE 8543.847
AT ITER 8619 NEW BEST:: SOT 123805 SOS 91465 HAS SOPS 46250 HAS SOUS 8688 HAS SOUPS 8281 WITH SCORE 8372.465
AT ITER 8668 NEW BEST:: SOT 123788 SOS 91448 HAS SOPS 46227 HAS SOUS 8665 HAS SOUPS 8258 WITH SCORE 8349.448
AT ITER 8695 NEW BEST:: SOT 123789 SOS 91440 HAS SOPS 46211 HAS SOUS 8648 HAS SOUPS 8241 WITH SCORE 8332.44
AT ITER 8732 NEW BEST:: SOT 123789 SOS 91432 HAS SOPS 46203 HAS SOUS 8640 HAS SOUPS 8233 WITH SCORE 8324.432
AT ITER 8799 NEW BEST:: SOT 123792 SOS 91439 HAS SOPS 46209 HAS SOUS 8637 HAS SOUPS 8230 WITH SCORE 8321.439
AT ITER 8830 NEW BEST:: SOT 123790 SOS 91437 HAS SOPS 46206 HAS SOUS 8635 HAS SOUPS 8228 WITH SCORE 8319.437
AT ITER 8845 NEW BEST:: SOT 123787 SOS 91425 HAS SOPS 46190 HAS SOUS 8623 HAS SOUPS 8216 WITH SCORE 8307.425
AT ITER 8885 NEW BEST:: SOT 123787 SOS 91424 HAS SOPS 46190 HAS SOUS 8623 HAS SOUPS 8216 WITH SCORE 8307.424
AT ITER 8922 NEW BEST:: SOT 123788 SOS 91431 HAS SOPS 46192 HAS SOUS 8619 HAS SOUPS 8212 WITH SCORE 8303.431
AT ITER 8947 NEW BEST:: SOT 123784 SOS 91418 HAS SOPS 46175 HAS SOUS 8602 HAS SOUPS 8195 WITH SCORE 8286.418
AT ITER 9042 NEW BEST:: SOT 123783 SOS 91417 HAS SOPS 46173 HAS SOUS 8600 HAS SOUPS 8193 WITH SCORE 8284.417
AT ITER 9097 NEW BEST:: SOT 123782 SOS 91423 HAS SOPS 46171 HAS SOUS 8587 HAS SOUPS 8180 WITH SCORE 8271.423
AT ITER 9103 NEW BEST:: SOT 123781 SOS 91421 HAS SOPS 46168 HAS SOUS 8584 HAS SOUPS 8177 WITH SCORE 8268.421
AT ITER 9104 NEW BEST:: SOT 123775 SOS 91415 HAS SOPS 46162 HAS SOUS 8578 HAS SOUPS 8171 WITH SCORE 8262.415
AT ITER 9246 NEW BEST:: SOT 123775 SOS 91413 HAS SOPS 46158 HAS SOUS 8574 HAS SOUPS 8167 WITH SCORE 8258.413
AT ITER 9271 NEW BEST:: SOT 123768 SOS 91398 HAS SOPS 46144 HAS SOUS 8568 HAS SOUPS 8161 WITH SCORE 8252.398
AT ITER 9305 NEW BEST:: SOT 123768 SOS 91400 HAS SOPS 46144 HAS SOUS 8566 HAS SOUPS 8159 WITH SCORE 8250.4
AT ITER 9324 NEW BEST:: SOT 123769 SOS 91393 HAS SOPS 46138 HAS SOUS 8560 HAS SOUPS 8153 WITH SCORE 8244.393
AT ITER 9332 NEW BEST:: SOT 123754 SOS 91378 HAS SOPS 46108 HAS SOUS 8530 HAS SOUPS 8123 WITH SCORE 8214.378
AT ITER 9336 NEW BEST:: SOT 123749 SOS 91369 HAS SOPS 46094 HAS SOUS 8516 HAS SOUPS 8109 WITH SCORE 8200.369
AT ITER 9508 NEW BEST:: SOT 123750 SOS 91368 HAS SOPS 46094 HAS SOUS 8516 HAS SOUPS 8109 WITH SCORE 8200.368
AT ITER 9531 NEW BEST:: SOT 123744 SOS 91367 HAS SOPS 46087 HAS SOUS 8507 HAS SOUPS 8100 WITH SCORE 8191.367
AT ITER 9691 NEW BEST:: SOT 123742 SOS 91366 HAS SOPS 46083 HAS SOUS 8504 HAS SOUPS 8097 WITH SCORE 8188.366
AT ITER 9702 NEW BEST:: SOT 123682 SOS 91311 HAS SOPS 46031 HAS SOUS 8487 HAS SOUPS 8080 WITH SCORE 8171.311
AT ITER 9738 NEW BEST:: SOT 123674 SOS 91321 HAS SOPS 46028 HAS SOUS 8485 HAS SOUPS 8078 WITH SCORE 8169.321
AT ITER 9815 NEW BEST:: SOT 123631 SOS 91278 HAS SOPS 45973 HAS SOUS 8430 HAS SOUPS 8023 WITH SCORE 8114.278
AT ITER 9849 NEW BEST:: SOT 123631 SOS 91278 HAS SOPS 45968 HAS SOUS 8420 HAS SOUPS 8013 WITH SCORE 8104.278
AT ITER 9940 NEW BEST:: SOT 123630 SOS 91278 HAS SOPS 45967 HAS SOUS 8419 HAS SOUPS 8012 WITH SCORE 8103.278
AT ITER 9942 NEW BEST:: SOT 123643 SOS 91281 HAS SOPS 45969 HAS SOUS 8407 HAS SOUPS 8000 WITH SCORE 8091.281
AT ITER 9993 NEW BEST:: SOT 123639 SOS 91273 HAS SOPS 45961 HAS SOUS 8403 HAS SOUPS 7996 WITH SCORE 8087.273
STATE_SPACE STATES 26623333280885243905 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 20 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 787976711410645204993 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589443182093

--------------------
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="FlexibleBarrier-PT-18a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is FlexibleBarrier-PT-18a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r078-smll-158922972500376"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FlexibleBarrier-PT-18a.tgz
mv FlexibleBarrier-PT-18a execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;