Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250400336.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is NoC3x3-PT-1A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250400336
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 252K
-rw-r--r-- 1 mcc users 3.0K Apr 8 15:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 8 15:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 7 18:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 7 18:30 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 14 12:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 6 20:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 6 20:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 6 03:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 6 03:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 81K 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 1589641456208

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

Filename model.pnml
Petri model created: 165 places, 355 transitions, 1069 arcs.
AT ITER 0 NEW BEST:: SOT 39460 SOS 33632 HAS SOPS 33632 HAS SOUS 16750 HAS SOUPS 16750 WITH SCORE 16783.632
AT ITER 1 NEW BEST:: SOT 39477 SOS 33257 HAS SOPS 33257 HAS SOUS 16683 HAS SOUPS 16683 WITH SCORE 16716.257
AT ITER 2 NEW BEST:: SOT 39782 SOS 33146 HAS SOPS 33146 HAS SOUS 16559 HAS SOUPS 16559 WITH SCORE 16592.146
AT ITER 3 NEW BEST:: SOT 39614 SOS 32978 HAS SOPS 32978 HAS SOUS 16384 HAS SOUPS 16384 WITH SCORE 16416.978
AT ITER 4 NEW BEST:: SOT 39631 SOS 32995 HAS SOPS 32995 HAS SOUS 16333 HAS SOUPS 16333 WITH SCORE 16365.995
AT ITER 9 NEW BEST:: SOT 39546 SOS 32428 HAS SOPS 32428 HAS SOUS 16201 HAS SOUPS 16201 WITH SCORE 16233.428
AT ITER 10 NEW BEST:: SOT 39413 SOS 32289 HAS SOPS 32289 HAS SOUS 16138 HAS SOUPS 16138 WITH SCORE 16170.289
AT ITER 16 NEW BEST:: SOT 39362 SOS 32102 HAS SOPS 32102 HAS SOUS 16138 HAS SOUPS 16138 WITH SCORE 16170.102
AT ITER 17 NEW BEST:: SOT 39362 SOS 32102 HAS SOPS 32102 HAS SOUS 16034 HAS SOUPS 16034 WITH SCORE 16066.102
AT ITER 18 NEW BEST:: SOT 38634 SOS 31374 HAS SOPS 31374 HAS SOUS 15747 HAS SOUPS 15747 WITH SCORE 15778.374
AT ITER 20 NEW BEST:: SOT 39021 SOS 31203 HAS SOPS 31203 HAS SOUS 15740 HAS SOUPS 15740 WITH SCORE 15771.203
AT ITER 21 NEW BEST:: SOT 39060 SOS 31182 HAS SOPS 31182 HAS SOUS 15740 HAS SOUPS 15740 WITH SCORE 15771.182
AT ITER 22 NEW BEST:: SOT 39024 SOS 30763 HAS SOPS 30763 HAS SOUS 15719 HAS SOUPS 15719 WITH SCORE 15749.763
AT ITER 28 NEW BEST:: SOT 39001 SOS 30740 HAS SOPS 30740 HAS SOUS 15696 HAS SOUPS 15696 WITH SCORE 15726.74
AT ITER 31 NEW BEST:: SOT 39034 SOS 30773 HAS SOPS 30773 HAS SOUS 15543 HAS SOUPS 15543 WITH SCORE 15573.773
AT ITER 34 NEW BEST:: SOT 39544 SOS 30867 HAS SOPS 30867 HAS SOUS 15469 HAS SOUPS 15469 WITH SCORE 15499.867
AT ITER 36 NEW BEST:: SOT 38825 SOS 30148 HAS SOPS 30148 HAS SOUS 14938 HAS SOUPS 14938 WITH SCORE 14968.148
AT ITER 37 NEW BEST:: SOT 38885 SOS 30208 HAS SOPS 30208 HAS SOUS 14875 HAS SOUPS 14875 WITH SCORE 14905.208
AT ITER 38 NEW BEST:: SOT 38673 SOS 29996 HAS SOPS 29996 HAS SOUS 14851 HAS SOUPS 14851 WITH SCORE 14880.996
AT ITER 40 NEW BEST:: SOT 38494 SOS 29391 HAS SOPS 29391 HAS SOUS 14597 HAS SOUPS 14597 WITH SCORE 14626.391
AT ITER 42 NEW BEST:: SOT 38755 SOS 28949 HAS SOPS 28949 HAS SOUS 14354 HAS SOUPS 14354 WITH SCORE 14382.949
AT ITER 45 NEW BEST:: SOT 38566 SOS 29083 HAS SOPS 29083 HAS SOUS 14347 HAS SOUPS 14347 WITH SCORE 14376.083
AT ITER 51 NEW BEST:: SOT 38549 SOS 29066 HAS SOPS 29066 HAS SOUS 14307 HAS SOUPS 14307 WITH SCORE 14336.066
AT ITER 56 NEW BEST:: SOT 38759 SOS 29127 HAS SOPS 29127 HAS SOUS 14105 HAS SOUPS 14105 WITH SCORE 14134.127
AT ITER 57 NEW BEST:: SOT 38714 SOS 29078 HAS SOPS 29078 HAS SOUS 14049 HAS SOUPS 14049 WITH SCORE 14078.078
AT ITER 58 NEW BEST:: SOT 38516 SOS 28078 HAS SOPS 27924 HAS SOUS 14009 HAS SOUPS 13855 WITH SCORE 13883.078
AT ITER 59 NEW BEST:: SOT 37996 SOS 27540 HAS SOPS 27386 HAS SOUS 13795 HAS SOUPS 13641 WITH SCORE 13668.54
AT ITER 61 NEW BEST:: SOT 37406 SOS 26950 HAS SOPS 26796 HAS SOUS 13381 HAS SOUPS 13227 WITH SCORE 13253.95
AT ITER 62 NEW BEST:: SOT 37179 SOS 26606 HAS SOPS 26525 HAS SOUS 13030 HAS SOUPS 12949 WITH SCORE 12975.606
AT ITER 68 NEW BEST:: SOT 37771 SOS 26794 HAS SOPS 26713 HAS SOUS 13021 HAS SOUPS 12940 WITH SCORE 12966.794
AT ITER 69 NEW BEST:: SOT 37583 SOS 26757 HAS SOPS 26676 HAS SOUS 12974 HAS SOUPS 12893 WITH SCORE 12919.757
AT ITER 76 NEW BEST:: SOT 37519 SOS 26693 HAS SOPS 26612 HAS SOUS 12934 HAS SOUPS 12853 WITH SCORE 12879.693
AT ITER 77 NEW BEST:: SOT 37483 SOS 26656 HAS SOPS 26575 HAS SOUS 12877 HAS SOUPS 12796 WITH SCORE 12822.656
AT ITER 78 NEW BEST:: SOT 37483 SOS 26261 HAS SOPS 26180 HAS SOUS 12877 HAS SOUPS 12796 WITH SCORE 12822.261
AT ITER 81 NEW BEST:: SOT 37469 SOS 26243 HAS SOPS 26162 HAS SOUS 12856 HAS SOUPS 12775 WITH SCORE 12801.243
AT ITER 84 NEW BEST:: SOT 36968 SOS 25782 HAS SOPS 25701 HAS SOUS 12671 HAS SOUPS 12590 WITH SCORE 12615.782
AT ITER 86 NEW BEST:: SOT 36939 SOS 25783 HAS SOPS 25672 HAS SOUS 12659 HAS SOUPS 12548 WITH SCORE 12573.783
AT ITER 88 NEW BEST:: SOT 36873 SOS 25619 HAS SOPS 25508 HAS SOUS 12632 HAS SOUPS 12521 WITH SCORE 12546.619
AT ITER 92 NEW BEST:: SOT 36866 SOS 25612 HAS SOPS 25501 HAS SOUS 12625 HAS SOUPS 12514 WITH SCORE 12539.612
AT ITER 94 NEW BEST:: SOT 36800 SOS 25458 HAS SOPS 25347 HAS SOUS 12559 HAS SOUPS 12448 WITH SCORE 12473.458
AT ITER 95 NEW BEST:: SOT 36764 SOS 25353 HAS SOPS 25242 HAS SOUS 12559 HAS SOUPS 12448 WITH SCORE 12473.353
AT ITER 97 NEW BEST:: SOT 36732 SOS 25320 HAS SOPS 25209 HAS SOUS 12558 HAS SOUPS 12447 WITH SCORE 12472.32
AT ITER 99 NEW BEST:: SOT 36681 SOS 25269 HAS SOPS 25158 HAS SOUS 12514 HAS SOUPS 12403 WITH SCORE 12428.269
AT ITER 100 NEW BEST:: SOT 36839 SOS 25014 HAS SOPS 24903 HAS SOUS 12508 HAS SOUPS 12397 WITH SCORE 12422.014
AT ITER 109 NEW BEST:: SOT 36833 SOS 25008 HAS SOPS 24897 HAS SOUS 12508 HAS SOUPS 12397 WITH SCORE 12422.008
AT ITER 112 NEW BEST:: SOT 36510 SOS 24136 HAS SOPS 24025 HAS SOUS 12194 HAS SOUPS 12083 WITH SCORE 12107.136
AT ITER 115 NEW BEST:: SOT 36359 SOS 23985 HAS SOPS 23874 HAS SOUS 12046 HAS SOUPS 11935 WITH SCORE 11958.985
AT ITER 117 NEW BEST:: SOT 36378 SOS 23969 HAS SOPS 23865 HAS SOUS 11990 HAS SOUPS 11886 WITH SCORE 11909.969
AT ITER 121 NEW BEST:: SOT 36378 SOS 23969 HAS SOPS 23865 HAS SOUS 11983 HAS SOUPS 11879 WITH SCORE 11902.969
AT ITER 124 NEW BEST:: SOT 36347 SOS 23938 HAS SOPS 23834 HAS SOUS 11983 HAS SOUPS 11879 WITH SCORE 11902.938
AT ITER 128 NEW BEST:: SOT 36378 SOS 23969 HAS SOPS 23865 HAS SOUS 11950 HAS SOUPS 11846 WITH SCORE 11869.969
AT ITER 129 NEW BEST:: SOT 36373 SOS 23914 HAS SOPS 23810 HAS SOUS 11948 HAS SOUPS 11844 WITH SCORE 11867.914
AT ITER 130 NEW BEST:: SOT 36372 SOS 23807 HAS SOPS 23756 HAS SOUS 11887 HAS SOUPS 11836 WITH SCORE 11859.807
AT ITER 132 NEW BEST:: SOT 35754 SOS 23343 HAS SOPS 23292 HAS SOUS 11793 HAS SOUPS 11742 WITH SCORE 11765.343
AT ITER 134 NEW BEST:: SOT 35720 SOS 22499 HAS SOPS 22410 HAS SOUS 11728 HAS SOUPS 11639 WITH SCORE 11661.499
AT ITER 140 NEW BEST:: SOT 35570 SOS 22346 HAS SOPS 22257 HAS SOUS 11531 HAS SOUPS 11442 WITH SCORE 11464.346
AT ITER 143 NEW BEST:: SOT 35570 SOS 22315 HAS SOPS 22226 HAS SOUS 11500 HAS SOUPS 11411 WITH SCORE 11433.315
AT ITER 149 NEW BEST:: SOT 35570 SOS 22311 HAS SOPS 22222 HAS SOUS 11499 HAS SOUPS 11410 WITH SCORE 11432.311
AT ITER 154 NEW BEST:: SOT 35381 SOS 21884 HAS SOPS 21795 HAS SOUS 11436 HAS SOUPS 11347 WITH SCORE 11368.884
AT ITER 162 NEW BEST:: SOT 35381 SOS 21880 HAS SOPS 21791 HAS SOUS 11434 HAS SOUPS 11345 WITH SCORE 11366.88
AT ITER 163 NEW BEST:: SOT 35381 SOS 21780 HAS SOPS 21691 HAS SOUS 11434 HAS SOUPS 11345 WITH SCORE 11366.78
AT ITER 164 NEW BEST:: SOT 35083 SOS 21642 HAS SOPS 21553 HAS SOUS 11381 HAS SOUPS 11292 WITH SCORE 11313.642
AT ITER 169 NEW BEST:: SOT 35061 SOS 21642 HAS SOPS 21553 HAS SOUS 11378 HAS SOUPS 11289 WITH SCORE 11310.642
AT ITER 173 NEW BEST:: SOT 34906 SOS 21563 HAS SOPS 21474 HAS SOUS 11370 HAS SOUPS 11281 WITH SCORE 11302.563
AT ITER 177 NEW BEST:: SOT 34734 SOS 21377 HAS SOPS 21288 HAS SOUS 11361 HAS SOUPS 11272 WITH SCORE 11293.377
AT ITER 178 NEW BEST:: SOT 34710 SOS 21305 HAS SOPS 21216 HAS SOUS 11313 HAS SOUPS 11224 WITH SCORE 11245.305
AT ITER 184 NEW BEST:: SOT 34597 SOS 21192 HAS SOPS 21103 HAS SOUS 11252 HAS SOUPS 11163 WITH SCORE 11184.192
AT ITER 185 NEW BEST:: SOT 34624 SOS 21215 HAS SOPS 21126 HAS SOUS 11216 HAS SOUPS 11127 WITH SCORE 11148.215
AT ITER 194 NEW BEST:: SOT 34614 SOS 21180 HAS SOPS 21091 HAS SOUS 11201 HAS SOUPS 11112 WITH SCORE 11133.18
AT ITER 198 NEW BEST:: SOT 34588 SOS 21133 HAS SOPS 21044 HAS SOUS 11201 HAS SOUPS 11112 WITH SCORE 11133.133
AT ITER 209 NEW BEST:: SOT 34391 SOS 21048 HAS SOPS 20959 HAS SOUS 11195 HAS SOUPS 11106 WITH SCORE 11127.048
AT ITER 211 NEW BEST:: SOT 34295 SOS 20840 HAS SOPS 20751 HAS SOUS 11195 HAS SOUPS 11106 WITH SCORE 11126.84
AT ITER 213 NEW BEST:: SOT 34195 SOS 20768 HAS SOPS 20679 HAS SOUS 11071 HAS SOUPS 10982 WITH SCORE 11002.768
AT ITER 215 NEW BEST:: SOT 34115 SOS 20713 HAS SOPS 20624 HAS SOUS 10950 HAS SOUPS 10861 WITH SCORE 10881.713
AT ITER 219 NEW BEST:: SOT 34127 SOS 20422 HAS SOPS 20333 HAS SOUS 10925 HAS SOUPS 10836 WITH SCORE 10856.422
AT ITER 226 NEW BEST:: SOT 34063 SOS 20286 HAS SOPS 20197 HAS SOUS 10885 HAS SOUPS 10796 WITH SCORE 10816.286
AT ITER 227 NEW BEST:: SOT 34057 SOS 20280 HAS SOPS 20191 HAS SOUS 10873 HAS SOUPS 10784 WITH SCORE 10804.28
AT ITER 228 NEW BEST:: SOT 34051 SOS 20274 HAS SOPS 20185 HAS SOUS 10871 HAS SOUPS 10782 WITH SCORE 10802.274
AT ITER 231 NEW BEST:: SOT 33981 SOS 20204 HAS SOPS 20115 HAS SOUS 10822 HAS SOUPS 10733 WITH SCORE 10753.204
AT ITER 233 NEW BEST:: SOT 33771 SOS 19994 HAS SOPS 19905 HAS SOUS 10717 HAS SOUPS 10628 WITH SCORE 10647.994
AT ITER 238 NEW BEST:: SOT 33358 SOS 19581 HAS SOPS 19492 HAS SOUS 10484 HAS SOUPS 10395 WITH SCORE 10414.581
AT ITER 240 NEW BEST:: SOT 33213 SOS 19190 HAS SOPS 19101 HAS SOUS 10390 HAS SOUPS 10301 WITH SCORE 10320.19
AT ITER 247 NEW BEST:: SOT 33185 SOS 19148 HAS SOPS 19059 HAS SOUS 10377 HAS SOUPS 10288 WITH SCORE 10307.148
AT ITER 250 NEW BEST:: SOT 33173 SOS 19136 HAS SOPS 19047 HAS SOUS 10371 HAS SOUPS 10282 WITH SCORE 10301.136
AT ITER 255 NEW BEST:: SOT 32987 SOS 18950 HAS SOPS 18861 HAS SOUS 10346 HAS SOUPS 10257 WITH SCORE 10275.95
AT ITER 257 NEW BEST:: SOT 32957 SOS 18920 HAS SOPS 18831 HAS SOUS 10317 HAS SOUPS 10228 WITH SCORE 10246.92
AT ITER 258 NEW BEST:: SOT 32941 SOS 17816 HAS SOPS 17727 HAS SOUS 10097 HAS SOUPS 10008 WITH SCORE 10025.816
AT ITER 262 NEW BEST:: SOT 32919 SOS 17776 HAS SOPS 17687 HAS SOUS 10058 HAS SOUPS 9969 WITH SCORE 9986.776
AT ITER 290 NEW BEST:: SOT 32900 SOS 17757 HAS SOPS 17668 HAS SOUS 10039 HAS SOUPS 9950 WITH SCORE 9967.757
AT ITER 292 NEW BEST:: SOT 32787 SOS 17644 HAS SOPS 17555 HAS SOUS 9926 HAS SOUPS 9837 WITH SCORE 9854.644
AT ITER 293 NEW BEST:: SOT 32753 SOS 17558 HAS SOPS 17469 HAS SOUS 9845 HAS SOUPS 9756 WITH SCORE 9773.558
AT ITER 294 NEW BEST:: SOT 32732 SOS 17483 HAS SOPS 17394 HAS SOUS 9798 HAS SOUPS 9709 WITH SCORE 9726.483
AT ITER 296 NEW BEST:: SOT 32717 SOS 17340 HAS SOPS 17251 HAS SOUS 9740 HAS SOUPS 9651 WITH SCORE 9668.34
AT ITER 298 NEW BEST:: SOT 32717 SOS 17340 HAS SOPS 17251 HAS SOUS 9727 HAS SOUPS 9638 WITH SCORE 9655.34
AT ITER 306 NEW BEST:: SOT 32703 SOS 17310 HAS SOPS 17221 HAS SOUS 9697 HAS SOUPS 9608 WITH SCORE 9625.31
AT ITER 310 NEW BEST:: SOT 32589 SOS 17234 HAS SOPS 17145 HAS SOUS 9630 HAS SOUPS 9541 WITH SCORE 9558.234
AT ITER 314 NEW BEST:: SOT 32529 SOS 17174 HAS SOPS 17085 HAS SOUS 9617 HAS SOUPS 9528 WITH SCORE 9545.174
AT ITER 317 NEW BEST:: SOT 32639 SOS 17071 HAS SOPS 16949 HAS SOUS 9586 HAS SOUPS 9464 WITH SCORE 9481.071
AT ITER 319 NEW BEST:: SOT 32634 SOS 17066 HAS SOPS 16944 HAS SOUS 9581 HAS SOUPS 9459 WITH SCORE 9476.066
AT ITER 323 NEW BEST:: SOT 32179 SOS 16611 HAS SOPS 16489 HAS SOUS 9493 HAS SOUPS 9371 WITH SCORE 9387.611
AT ITER 325 NEW BEST:: SOT 32183 SOS 16603 HAS SOPS 16487 HAS SOUS 9473 HAS SOUPS 9357 WITH SCORE 9373.603
AT ITER 329 NEW BEST:: SOT 32182 SOS 16602 HAS SOPS 16486 HAS SOUS 9472 HAS SOUPS 9356 WITH SCORE 9372.602
AT ITER 330 NEW BEST:: SOT 32404 SOS 16492 HAS SOPS 16360 HAS SOUS 9431 HAS SOUPS 9299 WITH SCORE 9315.492
AT ITER 331 NEW BEST:: SOT 32393 SOS 16430 HAS SOPS 16298 HAS SOUS 9412 HAS SOUPS 9280 WITH SCORE 9296.43
AT ITER 336 NEW BEST:: SOT 32364 SOS 16410 HAS SOPS 16278 HAS SOUS 9394 HAS SOUPS 9262 WITH SCORE 9278.41
AT ITER 337 NEW BEST:: SOT 32344 SOS 16390 HAS SOPS 16258 HAS SOUS 9373 HAS SOUPS 9241 WITH SCORE 9257.39
AT ITER 344 NEW BEST:: SOT 32048 SOS 16064 HAS SOPS 15962 HAS SOUS 9222 HAS SOUPS 9120 WITH SCORE 9136.064
AT ITER 350 NEW BEST:: SOT 32011 SOS 15961 HAS SOPS 15859 HAS SOUS 9163 HAS SOUPS 9061 WITH SCORE 9076.961
AT ITER 356 NEW BEST:: SOT 32011 SOS 15961 HAS SOPS 15859 HAS SOUS 9154 HAS SOUPS 9052 WITH SCORE 9067.961
AT ITER 358 NEW BEST:: SOT 31915 SOS 15949 HAS SOPS 15847 HAS SOUS 9111 HAS SOUPS 9009 WITH SCORE 9024.949
AT ITER 363 NEW BEST:: SOT 31773 SOS 15907 HAS SOPS 15829 HAS SOUS 9083 HAS SOUPS 9005 WITH SCORE 9020.907
AT ITER 365 NEW BEST:: SOT 31753 SOS 15887 HAS SOPS 15809 HAS SOUS 9078 HAS SOUPS 9000 WITH SCORE 9015.887
AT ITER 373 NEW BEST:: SOT 31711 SOS 15324 HAS SOPS 15195 HAS SOUS 8964 HAS SOUPS 8835 WITH SCORE 8850.324
AT ITER 377 NEW BEST:: SOT 31704 SOS 15167 HAS SOPS 15020 HAS SOUS 8953 HAS SOUPS 8810 WITH SCORE 8825.167
AT ITER 397 NEW BEST:: SOT 31632 SOS 15010 HAS SOPS 14863 HAS SOUS 8899 HAS SOUPS 8756 WITH SCORE 8771.01
AT ITER 402 NEW BEST:: SOT 31601 SOS 14927 HAS SOPS 14780 HAS SOUS 8822 HAS SOUPS 8679 WITH SCORE 8693.927
AT ITER 411 NEW BEST:: SOT 31593 SOS 14919 HAS SOPS 14772 HAS SOUS 8822 HAS SOUPS 8679 WITH SCORE 8693.919
AT ITER 424 NEW BEST:: SOT 31582 SOS 14937 HAS SOPS 14790 HAS SOUS 8804 HAS SOUPS 8661 WITH SCORE 8675.937
AT ITER 428 NEW BEST:: SOT 31438 SOS 14793 HAS SOPS 14646 HAS SOUS 8664 HAS SOUPS 8521 WITH SCORE 8535.793
AT ITER 429 NEW BEST:: SOT 31433 SOS 14783 HAS SOPS 14631 HAS SOUS 8659 HAS SOUPS 8511 WITH SCORE 8525.783
AT ITER 431 NEW BEST:: SOT 31358 SOS 14804 HAS SOPS 14652 HAS SOUS 8649 HAS SOUPS 8501 WITH SCORE 8515.804
AT ITER 432 NEW BEST:: SOT 31357 SOS 14803 HAS SOPS 14651 HAS SOUS 8648 HAS SOUPS 8500 WITH SCORE 8514.803
AT ITER 440 NEW BEST:: SOT 31396 SOS 14812 HAS SOPS 14660 HAS SOUS 8646 HAS SOUPS 8498 WITH SCORE 8512.812
AT ITER 444 NEW BEST:: SOT 31396 SOS 14812 HAS SOPS 14660 HAS SOUS 8639 HAS SOUPS 8491 WITH SCORE 8505.812
AT ITER 448 NEW BEST:: SOT 31400 SOS 14810 HAS SOPS 14658 HAS SOUS 8638 HAS SOUPS 8490 WITH SCORE 8504.81
AT ITER 449 NEW BEST:: SOT 31418 SOS 14827 HAS SOPS 14675 HAS SOUS 8637 HAS SOUPS 8489 WITH SCORE 8503.827
AT ITER 451 NEW BEST:: SOT 31475 SOS 14839 HAS SOPS 14687 HAS SOUS 8597 HAS SOUPS 8449 WITH SCORE 8463.839
AT ITER 458 NEW BEST:: SOT 31475 SOS 14827 HAS SOPS 14675 HAS SOUS 8575 HAS SOUPS 8427 WITH SCORE 8441.827
AT ITER 460 NEW BEST:: SOT 31395 SOS 14747 HAS SOPS 14595 HAS SOUS 8571 HAS SOUPS 8423 WITH SCORE 8437.747
AT ITER 465 NEW BEST:: SOT 31386 SOS 14738 HAS SOPS 14586 HAS SOUS 8562 HAS SOUPS 8414 WITH SCORE 8428.738
AT ITER 475 NEW BEST:: SOT 31386 SOS 14738 HAS SOPS 14586 HAS SOUS 8526 HAS SOUPS 8378 WITH SCORE 8392.738
AT ITER 478 NEW BEST:: SOT 31066 SOS 14635 HAS SOPS 14483 HAS SOUS 8359 HAS SOUPS 8211 WITH SCORE 8225.635
AT ITER 489 NEW BEST:: SOT 31044 SOS 14576 HAS SOPS 14424 HAS SOUS 8306 HAS SOUPS 8158 WITH SCORE 8172.576
AT ITER 499 NEW BEST:: SOT 31035 SOS 14567 HAS SOPS 14415 HAS SOUS 8297 HAS SOUPS 8149 WITH SCORE 8163.567
AT ITER 504 NEW BEST:: SOT 30927 SOS 14421 HAS SOPS 14269 HAS SOUS 8134 HAS SOUPS 7986 WITH SCORE 8000.421
AT ITER 509 NEW BEST:: SOT 30927 SOS 14421 HAS SOPS 14269 HAS SOUS 8117 HAS SOUPS 7969 WITH SCORE 7983.421
AT ITER 511 NEW BEST:: SOT 30881 SOS 14390 HAS SOPS 14238 HAS SOUS 8074 HAS SOUPS 7926 WITH SCORE 7940.39
AT ITER 514 NEW BEST:: SOT 30884 SOS 14234 HAS SOPS 14061 HAS SOUS 8053 HAS SOUPS 7884 WITH SCORE 7898.234
AT ITER 519 NEW BEST:: SOT 30845 SOS 14195 HAS SOPS 14022 HAS SOUS 7983 HAS SOUPS 7814 WITH SCORE 7828.195
AT ITER 524 NEW BEST:: SOT 30805 SOS 14175 HAS SOPS 13982 HAS SOUS 7961 HAS SOUPS 7772 WITH SCORE 7786.175
AT ITER 530 NEW BEST:: SOT 30950 SOS 14094 HAS SOPS 13901 HAS SOUS 7833 HAS SOUPS 7644 WITH SCORE 7658.094
AT ITER 544 NEW BEST:: SOT 30831 SOS 14007 HAS SOPS 13826 HAS SOUS 7770 HAS SOUPS 7593 WITH SCORE 7607.007
AT ITER 549 NEW BEST:: SOT 30831 SOS 14007 HAS SOPS 13826 HAS SOUS 7767 HAS SOUPS 7590 WITH SCORE 7604.007
AT ITER 554 NEW BEST:: SOT 30801 SOS 13974 HAS SOPS 13793 HAS SOUS 7739 HAS SOUPS 7562 WITH SCORE 7575.974
AT ITER 570 NEW BEST:: SOT 30801 SOS 13890 HAS SOPS 13709 HAS SOUS 7739 HAS SOUPS 7562 WITH SCORE 7575.89
AT ITER 586 NEW BEST:: SOT 30813 SOS 13885 HAS SOPS 13704 HAS SOUS 7729 HAS SOUPS 7552 WITH SCORE 7565.885
AT ITER 592 NEW BEST:: SOT 30814 SOS 13886 HAS SOPS 13705 HAS SOUS 7728 HAS SOUPS 7551 WITH SCORE 7564.886
AT ITER 593 NEW BEST:: SOT 30767 SOS 13772 HAS SOPS 13591 HAS SOUS 7574 HAS SOUPS 7397 WITH SCORE 7410.772
AT ITER 594 NEW BEST:: SOT 30747 SOS 13747 HAS SOPS 13566 HAS SOUS 7545 HAS SOUPS 7368 WITH SCORE 7381.747
AT ITER 621 NEW BEST:: SOT 30746 SOS 13723 HAS SOPS 13565 HAS SOUS 7520 HAS SOUPS 7366 WITH SCORE 7379.723
AT ITER 629 NEW BEST:: SOT 30702 SOS 13719 HAS SOPS 13571 HAS SOUS 7504 HAS SOUPS 7360 WITH SCORE 7373.719
AT ITER 630 NEW BEST:: SOT 30802 SOS 13691 HAS SOPS 13543 HAS SOUS 7504 HAS SOUPS 7360 WITH SCORE 7373.691
AT ITER 632 NEW BEST:: SOT 30698 SOS 13473 HAS SOPS 13331 HAS SOUS 7464 HAS SOUPS 7326 WITH SCORE 7339.473
AT ITER 636 NEW BEST:: SOT 30425 SOS 13298 HAS SOPS 13156 HAS SOUS 7411 HAS SOUPS 7273 WITH SCORE 7286.298
AT ITER 643 NEW BEST:: SOT 30407 SOS 13280 HAS SOPS 13138 HAS SOUS 7393 HAS SOUPS 7255 WITH SCORE 7268.28
AT ITER 644 NEW BEST:: SOT 30401 SOS 13274 HAS SOPS 13132 HAS SOUS 7387 HAS SOUPS 7249 WITH SCORE 7262.274
AT ITER 651 NEW BEST:: SOT 30297 SOS 13049 HAS SOPS 12907 HAS SOUS 7363 HAS SOUPS 7225 WITH SCORE 7238.049
AT ITER 660 NEW BEST:: SOT 30301 SOS 12859 HAS SOPS 12717 HAS SOUS 7342 HAS SOUPS 7204 WITH SCORE 7216.859
AT ITER 670 NEW BEST:: SOT 30301 SOS 12841 HAS SOPS 12699 HAS SOUS 7342 HAS SOUPS 7204 WITH SCORE 7216.841
AT ITER 671 NEW BEST:: SOT 30350 SOS 12898 HAS SOPS 12756 HAS SOUS 7333 HAS SOUPS 7195 WITH SCORE 7207.898
AT ITER 672 NEW BEST:: SOT 30422 SOS 12850 HAS SOPS 12708 HAS SOUS 7309 HAS SOUPS 7171 WITH SCORE 7183.85
AT ITER 677 NEW BEST:: SOT 30432 SOS 12839 HAS SOPS 12718 HAS SOUS 7284 HAS SOUPS 7167 WITH SCORE 7179.839
AT ITER 678 NEW BEST:: SOT 30420 SOS 12815 HAS SOPS 12694 HAS SOUS 7250 HAS SOUPS 7133 WITH SCORE 7145.815
AT ITER 713 NEW BEST:: SOT 30386 SOS 12805 HAS SOPS 12684 HAS SOUS 7206 HAS SOUPS 7089 WITH SCORE 7101.805
AT ITER 726 NEW BEST:: SOT 30376 SOS 12780 HAS SOPS 12659 HAS SOUS 7199 HAS SOUPS 7082 WITH SCORE 7094.78
AT ITER 727 NEW BEST:: SOT 30376 SOS 12744 HAS SOPS 12623 HAS SOUS 7195 HAS SOUPS 7078 WITH SCORE 7090.744
AT ITER 736 NEW BEST:: SOT 30236 SOS 12614 HAS SOPS 12507 HAS SOUS 7099 HAS SOUPS 6996 WITH SCORE 7008.614
AT ITER 754 NEW BEST:: SOT 30195 SOS 12450 HAS SOPS 12343 HAS SOUS 7080 HAS SOUPS 6977 WITH SCORE 6989.45
AT ITER 758 NEW BEST:: SOT 30170 SOS 12425 HAS SOPS 12318 HAS SOUS 7055 HAS SOUPS 6952 WITH SCORE 6964.425
AT ITER 794 NEW BEST:: SOT 30160 SOS 12408 HAS SOPS 12301 HAS SOUS 7049 HAS SOUPS 6946 WITH SCORE 6958.408
AT ITER 798 NEW BEST:: SOT 30152 SOS 12400 HAS SOPS 12293 HAS SOUS 7045 HAS SOUPS 6942 WITH SCORE 6954.4
AT ITER 832 NEW BEST:: SOT 30148 SOS 12377 HAS SOPS 12277 HAS SOUS 7029 HAS SOUPS 6933 WITH SCORE 6945.377
AT ITER 837 NEW BEST:: SOT 30129 SOS 12358 HAS SOPS 12258 HAS SOUS 7016 HAS SOUPS 6920 WITH SCORE 6932.358
AT ITER 840 NEW BEST:: SOT 30138 SOS 12367 HAS SOPS 12267 HAS SOUS 7007 HAS SOUPS 6911 WITH SCORE 6923.367
AT ITER 854 NEW BEST:: SOT 30137 SOS 12355 HAS SOPS 12255 HAS SOUS 7006 HAS SOUPS 6910 WITH SCORE 6922.355
AT ITER 857 NEW BEST:: SOT 30134 SOS 12352 HAS SOPS 12252 HAS SOUS 7003 HAS SOUPS 6907 WITH SCORE 6919.352
AT ITER 873 NEW BEST:: SOT 30182 SOS 12400 HAS SOPS 12300 HAS SOUS 6987 HAS SOUPS 6891 WITH SCORE 6903.4
AT ITER 874 NEW BEST:: SOT 30177 SOS 12350 HAS SOPS 12245 HAS SOUS 6987 HAS SOUPS 6886 WITH SCORE 6898.35
AT ITER 877 NEW BEST:: SOT 30095 SOS 12320 HAS SOPS 12215 HAS SOUS 6969 HAS SOUPS 6868 WITH SCORE 6880.32
AT ITER 881 NEW BEST:: SOT 30080 SOS 12305 HAS SOPS 12200 HAS SOUS 6917 HAS SOUPS 6816 WITH SCORE 6828.305
AT ITER 905 NEW BEST:: SOT 30075 SOS 12813 HAS SOPS 12708 HAS SOUS 6858 HAS SOUPS 6757 WITH SCORE 6769.813
AT ITER 947 NEW BEST:: SOT 30045 SOS 12783 HAS SOPS 12678 HAS SOUS 6834 HAS SOUPS 6733 WITH SCORE 6745.783
AT ITER 949 NEW BEST:: SOT 30044 SOS 12782 HAS SOPS 12677 HAS SOUS 6831 HAS SOUPS 6730 WITH SCORE 6742.782
AT ITER 971 NEW BEST:: SOT 30045 SOS 12747 HAS SOPS 12642 HAS SOUS 6809 HAS SOUPS 6708 WITH SCORE 6720.747
AT ITER 983 NEW BEST:: SOT 30030 SOS 12714 HAS SOPS 12609 HAS SOUS 6743 HAS SOUPS 6642 WITH SCORE 6654.714
AT ITER 987 NEW BEST:: SOT 30030 SOS 12714 HAS SOPS 12609 HAS SOUS 6738 HAS SOUPS 6637 WITH SCORE 6649.714
AT ITER 988 NEW BEST:: SOT 29991 SOS 12632 HAS SOPS 12527 HAS SOUS 6693 HAS SOUPS 6592 WITH SCORE 6604.632
AT ITER 1000 NEW BEST:: SOT 29975 SOS 12614 HAS SOPS 12509 HAS SOUS 6664 HAS SOUPS 6563 WITH SCORE 6575.614
AT ITER 1018 NEW BEST:: SOT 29975 SOS 12614 HAS SOPS 12509 HAS SOUS 6658 HAS SOUPS 6557 WITH SCORE 6569.614
AT ITER 1019 NEW BEST:: SOT 29960 SOS 12599 HAS SOPS 12494 HAS SOUS 6613 HAS SOUPS 6512 WITH SCORE 6524.599
AT ITER 1023 NEW BEST:: SOT 29960 SOS 12599 HAS SOPS 12494 HAS SOUS 6603 HAS SOUPS 6502 WITH SCORE 6514.599
AT ITER 1024 NEW BEST:: SOT 29960 SOS 12599 HAS SOPS 12494 HAS SOUS 6602 HAS SOUPS 6501 WITH SCORE 6513.599
AT ITER 1027 NEW BEST:: SOT 29960 SOS 12599 HAS SOPS 12494 HAS SOUS 6593 HAS SOUPS 6492 WITH SCORE 6504.599
AT ITER 1030 NEW BEST:: SOT 29959 SOS 12629 HAS SOPS 12524 HAS SOUS 6591 HAS SOUPS 6490 WITH SCORE 6502.629
AT ITER 1033 NEW BEST:: SOT 29886 SOS 12605 HAS SOPS 12451 HAS SOUS 6602 HAS SOUPS 6452 WITH SCORE 6464.605
AT ITER 1064 NEW BEST:: SOT 29879 SOS 12578 HAS SOPS 12444 HAS SOUS 6575 HAS SOUPS 6445 WITH SCORE 6457.578
AT ITER 1067 NEW BEST:: SOT 29854 SOS 12595 HAS SOPS 12461 HAS SOUS 6541 HAS SOUPS 6411 WITH SCORE 6423.595
AT ITER 1074 NEW BEST:: SOT 29845 SOS 12582 HAS SOPS 12448 HAS SOUS 6526 HAS SOUPS 6396 WITH SCORE 6408.582
AT ITER 1075 NEW BEST:: SOT 29822 SOS 12599 HAS SOPS 12465 HAS SOUS 6515 HAS SOUPS 6385 WITH SCORE 6397.599
AT ITER 1078 NEW BEST:: SOT 29726 SOS 12384 HAS SOPS 12250 HAS SOUS 6454 HAS SOUPS 6324 WITH SCORE 6336.384
AT ITER 1088 NEW BEST:: SOT 29750 SOS 12384 HAS SOPS 12250 HAS SOUS 6452 HAS SOUPS 6322 WITH SCORE 6334.384
AT ITER 1101 NEW BEST:: SOT 29651 SOS 12285 HAS SOPS 12151 HAS SOUS 6430 HAS SOUPS 6300 WITH SCORE 6312.285
AT ITER 1104 NEW BEST:: SOT 29651 SOS 12285 HAS SOPS 12151 HAS SOUS 6427 HAS SOUPS 6297 WITH SCORE 6309.285
AT ITER 1121 NEW BEST:: SOT 29636 SOS 12199 HAS SOPS 12065 HAS SOUS 6426 HAS SOUPS 6296 WITH SCORE 6308.199
AT ITER 1127 NEW BEST:: SOT 29636 SOS 12199 HAS SOPS 12065 HAS SOUS 6420 HAS SOUPS 6290 WITH SCORE 6302.199
AT ITER 1138 NEW BEST:: SOT 29621 SOS 12187 HAS SOPS 12053 HAS SOUS 6405 HAS SOUPS 6275 WITH SCORE 6287.187
AT ITER 1143 NEW BEST:: SOT 29589 SOS 12155 HAS SOPS 12021 HAS SOUS 6376 HAS SOUPS 6246 WITH SCORE 6258.155
AT ITER 1144 NEW BEST:: SOT 29553 SOS 12119 HAS SOPS 11985 HAS SOUS 6345 HAS SOUPS 6215 WITH SCORE 6227.119
AT ITER 1147 NEW BEST:: SOT 29553 SOS 12112 HAS SOPS 11978 HAS SOUS 6338 HAS SOUPS 6208 WITH SCORE 6220.112
AT ITER 1158 NEW BEST:: SOT 29543 SOS 12088 HAS SOPS 11954 HAS SOUS 6329 HAS SOUPS 6199 WITH SCORE 6211.088
AT ITER 1175 NEW BEST:: SOT 29553 SOS 12073 HAS SOPS 11934 HAS SOUS 6309 HAS SOUPS 6174 WITH SCORE 6186.073
AT ITER 1190 NEW BEST:: SOT 29575 SOS 12072 HAS SOPS 11933 HAS SOUS 6261 HAS SOUPS 6126 WITH SCORE 6138.072
AT ITER 1232 NEW BEST:: SOT 29575 SOS 11894 HAS SOPS 11755 HAS SOUS 6258 HAS SOUPS 6123 WITH SCORE 6134.894
AT ITER 1258 NEW BEST:: SOT 29575 SOS 11716 HAS SOPS 11577 HAS SOUS 6255 HAS SOUPS 6120 WITH SCORE 6131.716
AT ITER 1259 NEW BEST:: SOT 29568 SOS 11700 HAS SOPS 11561 HAS SOUS 6241 HAS SOUPS 6106 WITH SCORE 6117.7
AT ITER 1261 NEW BEST:: SOT 29568 SOS 11517 HAS SOPS 11378 HAS SOUS 6212 HAS SOUPS 6077 WITH SCORE 6088.517
AT ITER 1271 NEW BEST:: SOT 29568 SOS 11467 HAS SOPS 11318 HAS SOUS 6207 HAS SOUPS 6067 WITH SCORE 6078.467
AT ITER 1279 NEW BEST:: SOT 29562 SOS 11461 HAS SOPS 11312 HAS SOUS 6195 HAS SOUPS 6055 WITH SCORE 6066.461
AT ITER 1281 NEW BEST:: SOT 29552 SOS 11451 HAS SOPS 11302 HAS SOUS 6193 HAS SOUPS 6053 WITH SCORE 6064.451
AT ITER 1295 NEW BEST:: SOT 29495 SOS 11410 HAS SOPS 11261 HAS SOUS 6177 HAS SOUPS 6037 WITH SCORE 6048.41
AT ITER 1297 NEW BEST:: SOT 29485 SOS 11400 HAS SOPS 11251 HAS SOUS 6177 HAS SOUPS 6037 WITH SCORE 6048.4
AT ITER 1299 NEW BEST:: SOT 29419 SOS 11312 HAS SOPS 11163 HAS SOUS 6122 HAS SOUPS 5982 WITH SCORE 5993.312
AT ITER 1306 NEW BEST:: SOT 29397 SOS 11311 HAS SOPS 11141 HAS SOUS 6135 HAS SOUPS 5974 WITH SCORE 5985.311
AT ITER 1332 NEW BEST:: SOT 29351 SOS 11265 HAS SOPS 11095 HAS SOUS 6102 HAS SOUPS 5941 WITH SCORE 5952.265
AT ITER 1339 NEW BEST:: SOT 29351 SOS 11260 HAS SOPS 11090 HAS SOUS 6097 HAS SOUPS 5936 WITH SCORE 5947.26
AT ITER 1383 NEW BEST:: SOT 29335 SOS 11244 HAS SOPS 11074 HAS SOUS 6081 HAS SOUPS 5920 WITH SCORE 5931.244
AT ITER 1394 NEW BEST:: SOT 29313 SOS 11215 HAS SOPS 11045 HAS SOUS 6054 HAS SOUPS 5893 WITH SCORE 5904.215
AT ITER 1413 NEW BEST:: SOT 29303 SOS 11185 HAS SOPS 11015 HAS SOUS 6048 HAS SOUPS 5887 WITH SCORE 5898.185
AT ITER 1420 NEW BEST:: SOT 29303 SOS 11165 HAS SOPS 10995 HAS SOUS 6044 HAS SOUPS 5883 WITH SCORE 5894.165
AT ITER 1434 NEW BEST:: SOT 29293 SOS 11147 HAS SOPS 10977 HAS SOUS 6020 HAS SOUPS 5859 WITH SCORE 5870.147
AT ITER 1438 NEW BEST:: SOT 29318 SOS 11152 HAS SOPS 10982 HAS SOUS 6018 HAS SOUPS 5857 WITH SCORE 5868.152
AT ITER 1442 NEW BEST:: SOT 29332 SOS 11163 HAS SOPS 10996 HAS SOUS 6005 HAS SOUPS 5847 WITH SCORE 5858.163
AT ITER 1487 NEW BEST:: SOT 29330 SOS 11161 HAS SOPS 10994 HAS SOUS 5994 HAS SOUPS 5836 WITH SCORE 5847.161
AT ITER 1492 NEW BEST:: SOT 29261 SOS 10986 HAS SOPS 10819 HAS SOUS 5960 HAS SOUPS 5802 WITH SCORE 5812.986
AT ITER 1498 NEW BEST:: SOT 29268 SOS 10993 HAS SOPS 10826 HAS SOUS 5955 HAS SOUPS 5797 WITH SCORE 5807.993
AT ITER 1503 NEW BEST:: SOT 29264 SOS 10989 HAS SOPS 10822 HAS SOUS 5953 HAS SOUPS 5795 WITH SCORE 5805.989
AT ITER 1526 NEW BEST:: SOT 29266 SOS 11002 HAS SOPS 10835 HAS SOUS 5925 HAS SOUPS 5767 WITH SCORE 5778.002
AT ITER 1530 NEW BEST:: SOT 29229 SOS 10917 HAS SOPS 10798 HAS SOUS 5871 HAS SOUPS 5752 WITH SCORE 5762.917
AT ITER 1534 NEW BEST:: SOT 29230 SOS 10918 HAS SOPS 10799 HAS SOUS 5869 HAS SOUPS 5750 WITH SCORE 5760.918
AT ITER 1543 NEW BEST:: SOT 29233 SOS 10915 HAS SOPS 10796 HAS SOUS 5869 HAS SOUPS 5750 WITH SCORE 5760.915
AT ITER 1558 NEW BEST:: SOT 29287 SOS 10965 HAS SOPS 10846 HAS SOUS 5840 HAS SOUPS 5721 WITH SCORE 5731.965
AT ITER 1579 NEW BEST:: SOT 29266 SOS 10944 HAS SOPS 10825 HAS SOUS 5797 HAS SOUPS 5678 WITH SCORE 5688.944
AT ITER 1580 NEW BEST:: SOT 29275 SOS 10998 HAS SOPS 10879 HAS SOUS 5790 HAS SOUPS 5671 WITH SCORE 5681.998
AT ITER 1604 NEW BEST:: SOT 29279 SOS 10997 HAS SOPS 10878 HAS SOUS 5788 HAS SOUPS 5669 WITH SCORE 5679.997
AT ITER 1606 NEW BEST:: SOT 29274 SOS 10987 HAS SOPS 10873 HAS SOUS 5776 HAS SOUPS 5662 WITH SCORE 5672.987
AT ITER 1615 NEW BEST:: SOT 29261 SOS 10974 HAS SOPS 10860 HAS SOUS 5750 HAS SOUPS 5636 WITH SCORE 5646.974
AT ITER 1616 NEW BEST:: SOT 29249 SOS 10943 HAS SOPS 10829 HAS SOUS 5729 HAS SOUPS 5615 WITH SCORE 5625.943
AT ITER 1619 NEW BEST:: SOT 29131 SOS 10825 HAS SOPS 10711 HAS SOUS 5675 HAS SOUPS 5561 WITH SCORE 5571.825
AT ITER 1653 NEW BEST:: SOT 29075 SOS 10765 HAS SOPS 10655 HAS SOUS 5643 HAS SOUPS 5533 WITH SCORE 5543.765
AT ITER 1659 NEW BEST:: SOT 29072 SOS 10759 HAS SOPS 10649 HAS SOUS 5637 HAS SOUPS 5527 WITH SCORE 5537.759
AT ITER 1660 NEW BEST:: SOT 29071 SOS 10758 HAS SOPS 10648 HAS SOUS 5636 HAS SOUPS 5526 WITH SCORE 5536.758
AT ITER 1699 NEW BEST:: SOT 29112 SOS 10781 HAS SOPS 10671 HAS SOUS 5632 HAS SOUPS 5522 WITH SCORE 5532.781
AT ITER 1711 NEW BEST:: SOT 29102 SOS 10746 HAS SOPS 10631 HAS SOUS 5622 HAS SOUPS 5507 WITH SCORE 5517.746
AT ITER 1714 NEW BEST:: SOT 29096 SOS 10733 HAS SOPS 10618 HAS SOUS 5609 HAS SOUPS 5494 WITH SCORE 5504.733
AT ITER 1760 NEW BEST:: SOT 29091 SOS 10728 HAS SOPS 10613 HAS SOUS 5602 HAS SOUPS 5487 WITH SCORE 5497.728
AT ITER 1765 NEW BEST:: SOT 29088 SOS 10725 HAS SOPS 10610 HAS SOUS 5599 HAS SOUPS 5484 WITH SCORE 5494.725
AT ITER 1777 NEW BEST:: SOT 29088 SOS 10695 HAS SOPS 10580 HAS SOUS 5599 HAS SOUPS 5484 WITH SCORE 5494.695
AT ITER 1806 NEW BEST:: SOT 29087 SOS 10693 HAS SOPS 10578 HAS SOUS 5597 HAS SOUPS 5482 WITH SCORE 5492.693
AT ITER 1820 NEW BEST:: SOT 29024 SOS 10672 HAS SOPS 10557 HAS SOUS 5582 HAS SOUPS 5467 WITH SCORE 5477.672
AT ITER 1861 NEW BEST:: SOT 29024 SOS 10670 HAS SOPS 10555 HAS SOUS 5582 HAS SOUPS 5467 WITH SCORE 5477.67
AT ITER 1879 NEW BEST:: SOT 29027 SOS 10645 HAS SOPS 10540 HAS SOUS 5545 HAS SOUPS 5440 WITH SCORE 5450.645
AT ITER 1941 NEW BEST:: SOT 29022 SOS 10639 HAS SOPS 10534 HAS SOUS 5541 HAS SOUPS 5436 WITH SCORE 5446.639
AT ITER 1946 NEW BEST:: SOT 29022 SOS 10641 HAS SOPS 10534 HAS SOUS 5541 HAS SOUPS 5434 WITH SCORE 5444.641
AT ITER 1991 NEW BEST:: SOT 29021 SOS 10636 HAS SOPS 10529 HAS SOUS 5538 HAS SOUPS 5431 WITH SCORE 5441.636
AT ITER 2010 NEW BEST:: SOT 29021 SOS 10647 HAS SOPS 10529 HAS SOUS 5544 HAS SOUPS 5426 WITH SCORE 5436.647
AT ITER 2012 NEW BEST:: SOT 29016 SOS 10642 HAS SOPS 10524 HAS SOUS 5539 HAS SOUPS 5421 WITH SCORE 5431.642
AT ITER 2024 NEW BEST:: SOT 29172 SOS 10692 HAS SOPS 10536 HAS SOUS 5570 HAS SOUPS 5418 WITH SCORE 5428.692
AT ITER 2034 NEW BEST:: SOT 29151 SOS 10389 HAS SOPS 10233 HAS SOUS 5496 HAS SOUPS 5344 WITH SCORE 5354.389
AT ITER 2048 NEW BEST:: SOT 29128 SOS 10366 HAS SOPS 10210 HAS SOUS 5462 HAS SOUPS 5310 WITH SCORE 5320.366
AT ITER 2064 NEW BEST:: SOT 29123 SOS 10361 HAS SOPS 10205 HAS SOUS 5455 HAS SOUPS 5303 WITH SCORE 5313.361
AT ITER 2097 NEW BEST:: SOT 29125 SOS 10361 HAS SOPS 10205 HAS SOUS 5453 HAS SOUPS 5301 WITH SCORE 5311.361
AT ITER 2152 NEW BEST:: SOT 29094 SOS 10442 HAS SOPS 10286 HAS SOUS 5447 HAS SOUPS 5295 WITH SCORE 5305.442
AT ITER 2199 NEW BEST:: SOT 29083 SOS 10434 HAS SOPS 10278 HAS SOUS 5447 HAS SOUPS 5295 WITH SCORE 5305.434
AT ITER 2238 NEW BEST:: SOT 29049 SOS 10416 HAS SOPS 10264 HAS SOUS 5437 HAS SOUPS 5285 WITH SCORE 5295.416
AT ITER 2271 NEW BEST:: SOT 29043 SOS 10409 HAS SOPS 10257 HAS SOUS 5425 HAS SOUPS 5273 WITH SCORE 5283.409
AT ITER 2283 NEW BEST:: SOT 29026 SOS 10367 HAS SOPS 10215 HAS SOUS 5423 HAS SOUPS 5271 WITH SCORE 5281.367
AT ITER 2289 NEW BEST:: SOT 29062 SOS 10341 HAS SOPS 10189 HAS SOUS 5422 HAS SOUPS 5270 WITH SCORE 5280.341
AT ITER 2297 NEW BEST:: SOT 29015 SOS 10312 HAS SOPS 10142 HAS SOUS 5423 HAS SOUPS 5253 WITH SCORE 5263.312
AT ITER 2298 NEW BEST:: SOT 29011 SOS 10308 HAS SOPS 10138 HAS SOUS 5419 HAS SOUPS 5249 WITH SCORE 5259.308
AT ITER 2308 NEW BEST:: SOT 29000 SOS 10271 HAS SOPS 10101 HAS SOUS 5418 HAS SOUPS 5248 WITH SCORE 5258.271
AT ITER 2324 NEW BEST:: SOT 28991 SOS 10262 HAS SOPS 10092 HAS SOUS 5415 HAS SOUPS 5245 WITH SCORE 5255.262
AT ITER 2325 NEW BEST:: SOT 28991 SOS 10262 HAS SOPS 10092 HAS SOUS 5402 HAS SOUPS 5232 WITH SCORE 5242.262
AT ITER 2339 NEW BEST:: SOT 28968 SOS 10247 HAS SOPS 10077 HAS SOUS 5393 HAS SOUPS 5223 WITH SCORE 5233.247
AT ITER 2350 NEW BEST:: SOT 28944 SOS 10223 HAS SOPS 10053 HAS SOUS 5393 HAS SOUPS 5223 WITH SCORE 5233.223
AT ITER 2352 NEW BEST:: SOT 28957 SOS 10233 HAS SOPS 10063 HAS SOUS 5363 HAS SOUPS 5193 WITH SCORE 5203.233
AT ITER 2358 NEW BEST:: SOT 28957 SOS 10233 HAS SOPS 10063 HAS SOUS 5361 HAS SOUPS 5191 WITH SCORE 5201.233
AT ITER 2416 NEW BEST:: SOT 28948 SOS 10200 HAS SOPS 10030 HAS SOUS 5350 HAS SOUPS 5180 WITH SCORE 5190.2
AT ITER 2445 NEW BEST:: SOT 28941 SOS 10193 HAS SOPS 10023 HAS SOUS 5336 HAS SOUPS 5166 WITH SCORE 5176.193
AT ITER 2461 NEW BEST:: SOT 28940 SOS 10192 HAS SOPS 10022 HAS SOUS 5335 HAS SOUPS 5165 WITH SCORE 5175.192
AT ITER 2479 NEW BEST:: SOT 28940 SOS 10192 HAS SOPS 10022 HAS SOUS 5319 HAS SOUPS 5149 WITH SCORE 5159.192
AT ITER 2494 NEW BEST:: SOT 28912 SOS 10164 HAS SOPS 9994 HAS SOUS 5319 HAS SOUPS 5149 WITH SCORE 5159.164
AT ITER 2521 NEW BEST:: SOT 28905 SOS 10150 HAS SOPS 9980 HAS SOUS 5305 HAS SOUPS 5135 WITH SCORE 5145.15
AT ITER 2554 NEW BEST:: SOT 28885 SOS 9890 HAS SOPS 9720 HAS SOUS 5285 HAS SOUPS 5115 WITH SCORE 5124.89
AT ITER 2580 NEW BEST:: SOT 28882 SOS 9860 HAS SOPS 9690 HAS SOUS 5285 HAS SOUPS 5115 WITH SCORE 5124.86
AT ITER 2594 NEW BEST:: SOT 28879 SOS 9857 HAS SOPS 9687 HAS SOUS 5279 HAS SOUPS 5109 WITH SCORE 5118.857
AT ITER 2613 NEW BEST:: SOT 28875 SOS 9801 HAS SOPS 9631 HAS SOUS 5263 HAS SOUPS 5093 WITH SCORE 5102.801
AT ITER 2656 NEW BEST:: SOT 28865 SOS 9791 HAS SOPS 9621 HAS SOUS 5257 HAS SOUPS 5087 WITH SCORE 5096.791
AT ITER 2661 NEW BEST:: SOT 28857 SOS 9823 HAS SOPS 9653 HAS SOUS 5255 HAS SOUPS 5085 WITH SCORE 5094.823
AT ITER 2700 NEW BEST:: SOT 28844 SOS 9825 HAS SOPS 9655 HAS SOUS 5251 HAS SOUPS 5081 WITH SCORE 5090.825
AT ITER 2704 NEW BEST:: SOT 28863 SOS 9810 HAS SOPS 9640 HAS SOUS 5240 HAS SOUPS 5070 WITH SCORE 5079.81
AT ITER 2724 NEW BEST:: SOT 28855 SOS 9804 HAS SOPS 9630 HAS SOUS 5238 HAS SOUPS 5064 WITH SCORE 5073.804
AT ITER 2754 NEW BEST:: SOT 28854 SOS 9796 HAS SOPS 9622 HAS SOUS 5235 HAS SOUPS 5061 WITH SCORE 5070.796
AT ITER 2763 NEW BEST:: SOT 28853 SOS 9685 HAS SOPS 9498 HAS SOUS 5244 HAS SOUPS 5057 WITH SCORE 5066.685
AT ITER 2791 NEW BEST:: SOT 28853 SOS 9661 HAS SOPS 9474 HAS SOUS 5242 HAS SOUPS 5055 WITH SCORE 5064.661
AT ITER 2799 NEW BEST:: SOT 28880 SOS 9594 HAS SOPS 9407 HAS SOUS 5228 HAS SOUPS 5041 WITH SCORE 5050.594
AT ITER 2847 NEW BEST:: SOT 28882 SOS 9596 HAS SOPS 9409 HAS SOUS 5221 HAS SOUPS 5034 WITH SCORE 5043.596
AT ITER 2865 NEW BEST:: SOT 28878 SOS 9594 HAS SOPS 9407 HAS SOUS 5219 HAS SOUPS 5032 WITH SCORE 5041.594
AT ITER 2889 NEW BEST:: SOT 28855 SOS 9549 HAS SOPS 9362 HAS SOUS 5206 HAS SOUPS 5019 WITH SCORE 5028.549
AT ITER 2953 NEW BEST:: SOT 28845 SOS 9539 HAS SOPS 9352 HAS SOUS 5200 HAS SOUPS 5013 WITH SCORE 5022.539
AT ITER 2970 NEW BEST:: SOT 28844 SOS 9537 HAS SOPS 9350 HAS SOUS 5198 HAS SOUPS 5011 WITH SCORE 5020.537
AT ITER 3002 NEW BEST:: SOT 28842 SOS 9535 HAS SOPS 9348 HAS SOUS 5196 HAS SOUPS 5009 WITH SCORE 5018.535
AT ITER 3034 NEW BEST:: SOT 28779 SOS 9446 HAS SOPS 9242 HAS SOUS 5175 HAS SOUPS 4973 WITH SCORE 4982.446
AT ITER 3044 NEW BEST:: SOT 28810 SOS 9477 HAS SOPS 9273 HAS SOUS 5147 HAS SOUPS 4945 WITH SCORE 4954.477
AT ITER 3059 NEW BEST:: SOT 28814 SOS 9491 HAS SOPS 9286 HAS SOUS 5146 HAS SOUPS 4944 WITH SCORE 4953.491
AT ITER 3080 NEW BEST:: SOT 28779 SOS 9456 HAS SOPS 9251 HAS SOUS 5123 HAS SOUPS 4921 WITH SCORE 4930.456
AT ITER 3095 NEW BEST:: SOT 28768 SOS 9461 HAS SOPS 9248 HAS SOUS 5130 HAS SOUPS 4920 WITH SCORE 4929.461
AT ITER 3102 NEW BEST:: SOT 28792 SOS 9475 HAS SOPS 9262 HAS SOUS 5120 HAS SOUPS 4910 WITH SCORE 4919.475
AT ITER 3130 NEW BEST:: SOT 28790 SOS 9473 HAS SOPS 9260 HAS SOUS 5118 HAS SOUPS 4908 WITH SCORE 4917.473
AT ITER 3167 NEW BEST:: SOT 28791 SOS 9467 HAS SOPS 9254 HAS SOUS 5117 HAS SOUPS 4907 WITH SCORE 4916.467
AT ITER 3171 NEW BEST:: SOT 28790 SOS 9432 HAS SOPS 9219 HAS SOUS 5108 HAS SOUPS 4898 WITH SCORE 4907.432
AT ITER 3185 NEW BEST:: SOT 28785 SOS 9442 HAS SOPS 9229 HAS SOUS 5099 HAS SOUPS 4889 WITH SCORE 4898.442
AT ITER 3198 NEW BEST:: SOT 28793 SOS 9442 HAS SOPS 9227 HAS SOUS 5099 HAS SOUPS 4887 WITH SCORE 4896.442
AT ITER 3220 NEW BEST:: SOT 28793 SOS 9437 HAS SOPS 9222 HAS SOUS 5094 HAS SOUPS 4882 WITH SCORE 4891.437
AT ITER 3222 NEW BEST:: SOT 28793 SOS 9435 HAS SOPS 9230 HAS SOUS 5084 HAS SOUPS 4882 WITH SCORE 4891.435
AT ITER 3258 NEW BEST:: SOT 28796 SOS 9438 HAS SOPS 9233 HAS SOUS 5073 HAS SOUPS 4871 WITH SCORE 4880.438
AT ITER 3276 NEW BEST:: SOT 28796 SOS 9378 HAS SOPS 9167 HAS SOUS 5067 HAS SOUPS 4859 WITH SCORE 4868.378
AT ITER 3280 NEW BEST:: SOT 28815 SOS 9367 HAS SOPS 9156 HAS SOUS 5063 HAS SOUPS 4855 WITH SCORE 4864.367
AT ITER 3309 NEW BEST:: SOT 28820 SOS 9368 HAS SOPS 9157 HAS SOUS 5057 HAS SOUPS 4849 WITH SCORE 4858.368
AT ITER 3322 NEW BEST:: SOT 28813 SOS 9349 HAS SOPS 9138 HAS SOUS 5052 HAS SOUPS 4844 WITH SCORE 4853.349
AT ITER 3327 NEW BEST:: SOT 28810 SOS 9346 HAS SOPS 9135 HAS SOUS 5049 HAS SOUPS 4841 WITH SCORE 4850.346
AT ITER 3391 NEW BEST:: SOT 28808 SOS 9344 HAS SOPS 9133 HAS SOUS 5045 HAS SOUPS 4837 WITH SCORE 4846.344
AT ITER 3418 NEW BEST:: SOT 28808 SOS 9344 HAS SOPS 9133 HAS SOUS 5013 HAS SOUPS 4805 WITH SCORE 4814.344
AT ITER 3434 NEW BEST:: SOT 28808 SOS 9294 HAS SOPS 9083 HAS SOUS 5008 HAS SOUPS 4800 WITH SCORE 4809.294
AT ITER 3503 NEW BEST:: SOT 28812 SOS 9298 HAS SOPS 9087 HAS SOUS 5005 HAS SOUPS 4797 WITH SCORE 4806.298
AT ITER 3541 NEW BEST:: SOT 28816 SOS 9302 HAS SOPS 9091 HAS SOUS 5004 HAS SOUPS 4796 WITH SCORE 4805.302
AT ITER 3559 NEW BEST:: SOT 28816 SOS 9302 HAS SOPS 9091 HAS SOUS 5000 HAS SOUPS 4792 WITH SCORE 4801.302
AT ITER 3574 NEW BEST:: SOT 28732 SOS 9222 HAS SOPS 9011 HAS SOUS 4947 HAS SOUPS 4739 WITH SCORE 4748.222
AT ITER 3594 NEW BEST:: SOT 28720 SOS 9210 HAS SOPS 8999 HAS SOUS 4935 HAS SOUPS 4727 WITH SCORE 4736.21
AT ITER 3608 NEW BEST:: SOT 28720 SOS 9213 HAS SOPS 9002 HAS SOUS 4933 HAS SOUPS 4725 WITH SCORE 4734.213
AT ITER 3635 NEW BEST:: SOT 28720 SOS 9209 HAS SOPS 8998 HAS SOUS 4933 HAS SOUPS 4725 WITH SCORE 4734.209
AT ITER 3656 NEW BEST:: SOT 28724 SOS 9223 HAS SOPS 9011 HAS SOUS 4932 HAS SOUPS 4724 WITH SCORE 4733.223
AT ITER 3669 NEW BEST:: SOT 28708 SOS 9207 HAS SOPS 8995 HAS SOUS 4931 HAS SOUPS 4723 WITH SCORE 4732.207
AT ITER 3701 NEW BEST:: SOT 28714 SOS 9213 HAS SOPS 9001 HAS SOUS 4929 HAS SOUPS 4721 WITH SCORE 4730.213
AT ITER 3750 NEW BEST:: SOT 28711 SOS 9206 HAS SOPS 8994 HAS SOUS 4923 HAS SOUPS 4715 WITH SCORE 4724.206
AT ITER 3812 NEW BEST:: SOT 28707 SOS 9198 HAS SOPS 8986 HAS SOUS 4921 HAS SOUPS 4713 WITH SCORE 4722.198
AT ITER 3879 NEW BEST:: SOT 28705 SOS 9192 HAS SOPS 8980 HAS SOUS 4917 HAS SOUPS 4709 WITH SCORE 4718.192
AT ITER 3904 NEW BEST:: SOT 28696 SOS 9201 HAS SOPS 8989 HAS SOUS 4915 HAS SOUPS 4707 WITH SCORE 4716.201
AT ITER 3978 NEW BEST:: SOT 28698 SOS 9200 HAS SOPS 8985 HAS SOUS 4915 HAS SOUPS 4704 WITH SCORE 4713.2
AT ITER 4007 NEW BEST:: SOT 28699 SOS 9201 HAS SOPS 8986 HAS SOUS 4911 HAS SOUPS 4700 WITH SCORE 4709.201
AT ITER 4024 NEW BEST:: SOT 28704 SOS 9201 HAS SOPS 8986 HAS SOUS 4906 HAS SOUPS 4695 WITH SCORE 4704.201
AT ITER 4036 NEW BEST:: SOT 28703 SOS 9200 HAS SOPS 8985 HAS SOUS 4904 HAS SOUPS 4693 WITH SCORE 4702.2
AT ITER 4083 NEW BEST:: SOT 28762 SOS 9217 HAS SOPS 9002 HAS SOUS 4891 HAS SOUPS 4680 WITH SCORE 4689.217
AT ITER 4086 NEW BEST:: SOT 28761 SOS 9216 HAS SOPS 9001 HAS SOUS 4890 HAS SOUPS 4679 WITH SCORE 4688.216
AT ITER 4092 NEW BEST:: SOT 28759 SOS 9214 HAS SOPS 8999 HAS SOUS 4886 HAS SOUPS 4675 WITH SCORE 4684.214
AT ITER 4095 NEW BEST:: SOT 28753 SOS 9213 HAS SOPS 8998 HAS SOUS 4886 HAS SOUPS 4675 WITH SCORE 4684.213
AT ITER 4146 NEW BEST:: SOT 28740 SOS 9200 HAS SOPS 8985 HAS SOUS 4869 HAS SOUPS 4658 WITH SCORE 4667.2
AT ITER 4194 NEW BEST:: SOT 28744 SOS 9210 HAS SOPS 8995 HAS SOUS 4861 HAS SOUPS 4650 WITH SCORE 4659.21
AT ITER 4199 NEW BEST:: SOT 28740 SOS 9200 HAS SOPS 8985 HAS SOUS 4851 HAS SOUPS 4640 WITH SCORE 4649.2
AT ITER 4244 NEW BEST:: SOT 28701 SOS 9161 HAS SOPS 8946 HAS SOUS 4834 HAS SOUPS 4623 WITH SCORE 4632.161
AT ITER 4253 NEW BEST:: SOT 28701 SOS 9137 HAS SOPS 8916 HAS SOUS 4831 HAS SOUPS 4617 WITH SCORE 4626.137
AT ITER 4283 NEW BEST:: SOT 28689 SOS 9123 HAS SOPS 8902 HAS SOUS 4827 HAS SOUPS 4613 WITH SCORE 4622.123
AT ITER 4310 NEW BEST:: SOT 28690 SOS 9125 HAS SOPS 8902 HAS SOUS 4827 HAS SOUPS 4612 WITH SCORE 4621.125
AT ITER 4345 NEW BEST:: SOT 28690 SOS 9122 HAS SOPS 8899 HAS SOUS 4825 HAS SOUPS 4610 WITH SCORE 4619.122
AT ITER 4385 NEW BEST:: SOT 28684 SOS 9100 HAS SOPS 8877 HAS SOUS 4819 HAS SOUPS 4604 WITH SCORE 4613.1
AT ITER 4396 NEW BEST:: SOT 28684 SOS 9100 HAS SOPS 8877 HAS SOUS 4818 HAS SOUPS 4603 WITH SCORE 4612.1
AT ITER 4436 NEW BEST:: SOT 28687 SOS 9049 HAS SOPS 8826 HAS SOUS 4791 HAS SOUPS 4576 WITH SCORE 4585.049
AT ITER 4464 NEW BEST:: SOT 28686 SOS 9048 HAS SOPS 8825 HAS SOUS 4789 HAS SOUPS 4574 WITH SCORE 4583.048
AT ITER 4598 NEW BEST:: SOT 28686 SOS 9037 HAS SOPS 8814 HAS SOUS 4789 HAS SOUPS 4574 WITH SCORE 4583.037
AT ITER 4619 NEW BEST:: SOT 28686 SOS 9052 HAS SOPS 8814 HAS SOUS 4803 HAS SOUPS 4573 WITH SCORE 4582.052
AT ITER 4650 NEW BEST:: SOT 28683 SOS 9049 HAS SOPS 8811 HAS SOUS 4801 HAS SOUPS 4571 WITH SCORE 4580.049
AT ITER 4694 NEW BEST:: SOT 28682 SOS 9043 HAS SOPS 8805 HAS SOUS 4799 HAS SOUPS 4569 WITH SCORE 4578.043
AT ITER 4741 NEW BEST:: SOT 28818 SOS 9179 HAS SOPS 8941 HAS SOUS 4798 HAS SOUPS 4568 WITH SCORE 4577.179
AT ITER 4776 NEW BEST:: SOT 28818 SOS 9172 HAS SOPS 8934 HAS SOUS 4798 HAS SOUPS 4568 WITH SCORE 4577.172
AT ITER 4785 NEW BEST:: SOT 28705 SOS 9059 HAS SOPS 8821 HAS SOUS 4763 HAS SOUPS 4533 WITH SCORE 4542.059
AT ITER 4798 NEW BEST:: SOT 28709 SOS 9043 HAS SOPS 8824 HAS SOUS 4732 HAS SOUPS 4517 WITH SCORE 4526.043
AT ITER 4801 NEW BEST:: SOT 28690 SOS 9016 HAS SOPS 8797 HAS SOUS 4729 HAS SOUPS 4514 WITH SCORE 4523.016
AT ITER 4848 NEW BEST:: SOT 28749 SOS 9004 HAS SOPS 8785 HAS SOUS 4679 HAS SOUPS 4464 WITH SCORE 4473.004
AT ITER 4871 NEW BEST:: SOT 28722 SOS 8982 HAS SOPS 8758 HAS SOUS 4673 HAS SOUPS 4453 WITH SCORE 4461.982
AT ITER 4888 NEW BEST:: SOT 28711 SOS 8976 HAS SOPS 8752 HAS SOUS 4671 HAS SOUPS 4451 WITH SCORE 4459.976
AT ITER 4910 NEW BEST:: SOT 28708 SOS 8973 HAS SOPS 8749 HAS SOUS 4665 HAS SOUPS 4445 WITH SCORE 4453.973
AT ITER 4954 NEW BEST:: SOT 28708 SOS 8972 HAS SOPS 8748 HAS SOUS 4663 HAS SOUPS 4443 WITH SCORE 4451.972
AT ITER 4985 NEW BEST:: SOT 28696 SOS 8894 HAS SOPS 8670 HAS SOUS 4645 HAS SOUPS 4425 WITH SCORE 4433.894
AT ITER 5012 NEW BEST:: SOT 28699 SOS 8892 HAS SOPS 8668 HAS SOUS 4638 HAS SOUPS 4418 WITH SCORE 4426.892
AT ITER 5034 NEW BEST:: SOT 28685 SOS 8883 HAS SOPS 8660 HAS SOUS 4635 HAS SOUPS 4416 WITH SCORE 4424.883
AT ITER 5042 NEW BEST:: SOT 28685 SOS 8875 HAS SOPS 8652 HAS SOUS 4634 HAS SOUPS 4415 WITH SCORE 4423.875
AT ITER 5153 NEW BEST:: SOT 28695 SOS 8877 HAS SOPS 8654 HAS SOUS 4628 HAS SOUPS 4409 WITH SCORE 4417.877
AT ITER 5199 NEW BEST:: SOT 28694 SOS 8875 HAS SOPS 8652 HAS SOUS 4627 HAS SOUPS 4408 WITH SCORE 4416.875
AT ITER 5207 NEW BEST:: SOT 28708 SOS 8874 HAS SOPS 8651 HAS SOUS 4623 HAS SOUPS 4404 WITH SCORE 4412.874
AT ITER 5208 NEW BEST:: SOT 28705 SOS 8865 HAS SOPS 8642 HAS SOUS 4620 HAS SOUPS 4401 WITH SCORE 4409.865
AT ITER 5210 NEW BEST:: SOT 28705 SOS 8865 HAS SOPS 8642 HAS SOUS 4618 HAS SOUPS 4399 WITH SCORE 4407.865
AT ITER 5212 NEW BEST:: SOT 28709 SOS 8869 HAS SOPS 8646 HAS SOUS 4616 HAS SOUPS 4397 WITH SCORE 4405.869
AT ITER 5226 NEW BEST:: SOT 28708 SOS 8868 HAS SOPS 8645 HAS SOUS 4616 HAS SOUPS 4397 WITH SCORE 4405.868
AT ITER 5237 NEW BEST:: SOT 28699 SOS 8829 HAS SOPS 8606 HAS SOUS 4614 HAS SOUPS 4395 WITH SCORE 4403.829
AT ITER 5240 NEW BEST:: SOT 28708 SOS 8820 HAS SOPS 8597 HAS SOUS 4614 HAS SOUPS 4395 WITH SCORE 4403.82
AT ITER 5252 NEW BEST:: SOT 28701 SOS 8804 HAS SOPS 8580 HAS SOUS 4609 HAS SOUPS 4390 WITH SCORE 4398.804
AT ITER 5268 NEW BEST:: SOT 28699 SOS 8802 HAS SOPS 8578 HAS SOUS 4607 HAS SOUPS 4388 WITH SCORE 4396.802
AT ITER 5286 NEW BEST:: SOT 28698 SOS 8801 HAS SOPS 8577 HAS SOUS 4606 HAS SOUPS 4387 WITH SCORE 4395.801
AT ITER 5304 NEW BEST:: SOT 28702 SOS 8805 HAS SOPS 8581 HAS SOUS 4603 HAS SOUPS 4384 WITH SCORE 4392.805
AT ITER 5322 NEW BEST:: SOT 28697 SOS 8800 HAS SOPS 8576 HAS SOUS 4598 HAS SOUPS 4379 WITH SCORE 4387.8
AT ITER 5372 NEW BEST:: SOT 28681 SOS 8784 HAS SOPS 8560 HAS SOUS 4574 HAS SOUPS 4355 WITH SCORE 4363.784
AT ITER 5384 NEW BEST:: SOT 28701 SOS 8712 HAS SOPS 8488 HAS SOUS 4558 HAS SOUPS 4339 WITH SCORE 4347.712
AT ITER 5387 NEW BEST:: SOT 28692 SOS 8699 HAS SOPS 8475 HAS SOUS 4554 HAS SOUPS 4335 WITH SCORE 4343.699
AT ITER 5422 NEW BEST:: SOT 28686 SOS 8693 HAS SOPS 8469 HAS SOUS 4545 HAS SOUPS 4326 WITH SCORE 4334.693
AT ITER 5460 NEW BEST:: SOT 28692 SOS 8691 HAS SOPS 8467 HAS SOUS 4536 HAS SOUPS 4317 WITH SCORE 4325.691
AT ITER 5467 NEW BEST:: SOT 28692 SOS 8559 HAS SOPS 8335 HAS SOUS 4536 HAS SOUPS 4317 WITH SCORE 4325.559
AT ITER 5478 NEW BEST:: SOT 28687 SOS 8514 HAS SOPS 8290 HAS SOUS 4533 HAS SOUPS 4314 WITH SCORE 4322.514
AT ITER 5524 NEW BEST:: SOT 28686 SOS 8511 HAS SOPS 8287 HAS SOUS 4532 HAS SOUPS 4313 WITH SCORE 4321.511
AT ITER 5525 NEW BEST:: SOT 28686 SOS 8510 HAS SOPS 8286 HAS SOUS 4532 HAS SOUPS 4313 WITH SCORE 4321.51
AT ITER 5530 NEW BEST:: SOT 28685 SOS 8510 HAS SOPS 8286 HAS SOUS 4531 HAS SOUPS 4312 WITH SCORE 4320.51
AT ITER 5542 NEW BEST:: SOT 28709 SOS 8522 HAS SOPS 8292 HAS SOUS 4536 HAS SOUPS 4311 WITH SCORE 4319.522
AT ITER 5590 NEW BEST:: SOT 28733 SOS 8522 HAS SOPS 8292 HAS SOUS 4534 HAS SOUPS 4309 WITH SCORE 4317.522
AT ITER 5594 NEW BEST:: SOT 28724 SOS 8515 HAS SOPS 8285 HAS SOUS 4527 HAS SOUPS 4302 WITH SCORE 4310.515
AT ITER 5596 NEW BEST:: SOT 28698 SOS 8489 HAS SOPS 8259 HAS SOUS 4525 HAS SOUPS 4300 WITH SCORE 4308.489
AT ITER 5600 NEW BEST:: SOT 28696 SOS 8485 HAS SOPS 8255 HAS SOUS 4525 HAS SOUPS 4300 WITH SCORE 4308.485
AT ITER 5677 NEW BEST:: SOT 28693 SOS 8482 HAS SOPS 8252 HAS SOUS 4523 HAS SOUPS 4298 WITH SCORE 4306.482
AT ITER 5686 NEW BEST:: SOT 28685 SOS 8462 HAS SOPS 8231 HAS SOUS 4519 HAS SOUPS 4293 WITH SCORE 4301.462
AT ITER 5698 NEW BEST:: SOT 28683 SOS 8376 HAS SOPS 8145 HAS SOUS 4508 HAS SOUPS 4282 WITH SCORE 4290.376
AT ITER 5701 NEW BEST:: SOT 28679 SOS 8372 HAS SOPS 8141 HAS SOUS 4504 HAS SOUPS 4278 WITH SCORE 4286.372
AT ITER 5721 NEW BEST:: SOT 28695 SOS 8351 HAS SOPS 8120 HAS SOUS 4502 HAS SOUPS 4276 WITH SCORE 4284.351
AT ITER 5733 NEW BEST:: SOT 28674 SOS 8358 HAS SOPS 8099 HAS SOUS 4488 HAS SOUPS 4234 WITH SCORE 4242.358
AT ITER 5754 NEW BEST:: SOT 28668 SOS 8293 HAS SOPS 8025 HAS SOUS 4490 HAS SOUPS 4227 WITH SCORE 4235.293
AT ITER 5757 NEW BEST:: SOT 28669 SOS 8268 HAS SOPS 8000 HAS SOUS 4485 HAS SOUPS 4222 WITH SCORE 4230.268
AT ITER 5800 NEW BEST:: SOT 28661 SOS 8260 HAS SOPS 7992 HAS SOUS 4474 HAS SOUPS 4211 WITH SCORE 4219.26
AT ITER 5802 NEW BEST:: SOT 28657 SOS 8256 HAS SOPS 7988 HAS SOUS 4469 HAS SOUPS 4206 WITH SCORE 4214.256
AT ITER 6128 NEW BEST:: SOT 28630 SOS 8229 HAS SOPS 7961 HAS SOUS 4459 HAS SOUPS 4196 WITH SCORE 4204.229
AT ITER 6143 NEW BEST:: SOT 28626 SOS 8225 HAS SOPS 7957 HAS SOUS 4455 HAS SOUPS 4192 WITH SCORE 4200.225
AT ITER 6196 NEW BEST:: SOT 28615 SOS 8219 HAS SOPS 7951 HAS SOUS 4450 HAS SOUPS 4187 WITH SCORE 4195.219
AT ITER 6280 NEW BEST:: SOT 28607 SOS 8210 HAS SOPS 7942 HAS SOUS 4449 HAS SOUPS 4186 WITH SCORE 4194.21
AT ITER 6306 NEW BEST:: SOT 28606 SOS 8163 HAS SOPS 7890 HAS SOUS 4448 HAS SOUPS 4180 WITH SCORE 4188.163
AT ITER 6312 NEW BEST:: SOT 28611 SOS 8168 HAS SOPS 7895 HAS SOUS 4440 HAS SOUPS 4172 WITH SCORE 4180.168
AT ITER 6321 NEW BEST:: SOT 28613 SOS 8170 HAS SOPS 7897 HAS SOUS 4439 HAS SOUPS 4171 WITH SCORE 4179.17
AT ITER 6359 NEW BEST:: SOT 28619 SOS 8194 HAS SOPS 7931 HAS SOUS 4428 HAS SOUPS 4170 WITH SCORE 4178.194
AT ITER 6481 NEW BEST:: SOT 28629 SOS 8199 HAS SOPS 7936 HAS SOUS 4425 HAS SOUPS 4167 WITH SCORE 4175.199
AT ITER 6485 NEW BEST:: SOT 28679 SOS 8193 HAS SOPS 7930 HAS SOUS 4420 HAS SOUPS 4162 WITH SCORE 4170.193
AT ITER 6527 NEW BEST:: SOT 28671 SOS 8185 HAS SOPS 7922 HAS SOUS 4412 HAS SOUPS 4154 WITH SCORE 4162.185
AT ITER 6657 NEW BEST:: SOT 28671 SOS 8185 HAS SOPS 7922 HAS SOUS 4409 HAS SOUPS 4151 WITH SCORE 4159.185
AT ITER 6695 NEW BEST:: SOT 28675 SOS 8184 HAS SOPS 7921 HAS SOUS 4409 HAS SOUPS 4151 WITH SCORE 4159.184
AT ITER 6716 NEW BEST:: SOT 28672 SOS 8179 HAS SOPS 7916 HAS SOUS 4399 HAS SOUPS 4141 WITH SCORE 4149.179
AT ITER 6736 NEW BEST:: SOT 28672 SOS 8178 HAS SOPS 7915 HAS SOUS 4399 HAS SOUPS 4141 WITH SCORE 4149.178
AT ITER 6749 NEW BEST:: SOT 28656 SOS 8162 HAS SOPS 7899 HAS SOUS 4399 HAS SOUPS 4141 WITH SCORE 4149.162
AT ITER 6782 NEW BEST:: SOT 28656 SOS 8162 HAS SOPS 7899 HAS SOUS 4396 HAS SOUPS 4138 WITH SCORE 4146.162
AT ITER 6819 NEW BEST:: SOT 28633 SOS 8139 HAS SOPS 7876 HAS SOUS 4386 HAS SOUPS 4128 WITH SCORE 4136.139
AT ITER 6831 NEW BEST:: SOT 28630 SOS 8136 HAS SOPS 7873 HAS SOUS 4385 HAS SOUPS 4127 WITH SCORE 4135.136
AT ITER 6842 NEW BEST:: SOT 28612 SOS 8118 HAS SOPS 7855 HAS SOUS 4370 HAS SOUPS 4112 WITH SCORE 4120.118
AT ITER 6905 NEW BEST:: SOT 28600 SOS 8091 HAS SOPS 7827 HAS SOUS 4366 HAS SOUPS 4107 WITH SCORE 4115.091
AT ITER 6952 NEW BEST:: SOT 28600 SOS 8091 HAS SOPS 7826 HAS SOUS 4366 HAS SOUPS 4106 WITH SCORE 4114.091
AT ITER 6994 NEW BEST:: SOT 28596 SOS 8087 HAS SOPS 7822 HAS SOUS 4366 HAS SOUPS 4106 WITH SCORE 4114.087
AT ITER 6995 NEW BEST:: SOT 28596 SOS 8087 HAS SOPS 7822 HAS SOUS 4360 HAS SOUPS 4100 WITH SCORE 4108.087
AT ITER 7016 NEW BEST:: SOT 28588 SOS 8079 HAS SOPS 7814 HAS SOUS 4358 HAS SOUPS 4098 WITH SCORE 4106.079
AT ITER 7021 NEW BEST:: SOT 28585 SOS 8076 HAS SOPS 7811 HAS SOUS 4352 HAS SOUPS 4092 WITH SCORE 4100.076
AT ITER 7075 NEW BEST:: SOT 28583 SOS 8073 HAS SOPS 7810 HAS SOUS 4351 HAS SOUPS 4092 WITH SCORE 4100.073
AT ITER 7077 NEW BEST:: SOT 28616 SOS 8088 HAS SOPS 7794 HAS SOUS 4373 HAS SOUPS 4083 WITH SCORE 4091.088
AT ITER 7114 NEW BEST:: SOT 28600 SOS 8072 HAS SOPS 7778 HAS SOUS 4357 HAS SOUPS 4067 WITH SCORE 4075.072
AT ITER 7169 NEW BEST:: SOT 28593 SOS 8061 HAS SOPS 7767 HAS SOUS 4350 HAS SOUPS 4060 WITH SCORE 4068.061
AT ITER 7185 NEW BEST:: SOT 28578 SOS 8094 HAS SOPS 7808 HAS SOUS 4340 HAS SOUPS 4058 WITH SCORE 4066.094
AT ITER 7188 NEW BEST:: SOT 28578 SOS 8092 HAS SOPS 7806 HAS SOUS 4340 HAS SOUPS 4058 WITH SCORE 4066.092
AT ITER 7199 NEW BEST:: SOT 28578 SOS 8092 HAS SOPS 7806 HAS SOUS 4320 HAS SOUPS 4038 WITH SCORE 4046.092
AT ITER 7202 NEW BEST:: SOT 28578 SOS 8049 HAS SOPS 7755 HAS SOUS 4316 HAS SOUPS 4026 WITH SCORE 4034.049
AT ITER 7216 NEW BEST:: SOT 28566 SOS 8043 HAS SOPS 7749 HAS SOUS 4310 HAS SOUPS 4020 WITH SCORE 4028.043
AT ITER 7217 NEW BEST:: SOT 28541 SOS 8078 HAS SOPS 7784 HAS SOUS 4307 HAS SOUPS 4017 WITH SCORE 4025.078
AT ITER 7325 NEW BEST:: SOT 28553 SOS 8074 HAS SOPS 7779 HAS SOUS 4305 HAS SOUPS 4014 WITH SCORE 4022.074
AT ITER 7383 NEW BEST:: SOT 28553 SOS 8072 HAS SOPS 7777 HAS SOUS 4301 HAS SOUPS 4010 WITH SCORE 4018.072
AT ITER 7473 NEW BEST:: SOT 28551 SOS 8065 HAS SOPS 7770 HAS SOUS 4301 HAS SOUPS 4010 WITH SCORE 4018.065
AT ITER 7493 NEW BEST:: SOT 28548 SOS 8059 HAS SOPS 7764 HAS SOUS 4292 HAS SOUPS 4001 WITH SCORE 4009.059
AT ITER 7579 NEW BEST:: SOT 28557 SOS 8073 HAS SOPS 7768 HAS SOUS 4296 HAS SOUPS 4000 WITH SCORE 4008.073
AT ITER 7603 NEW BEST:: SOT 28550 SOS 8066 HAS SOPS 7761 HAS SOUS 4296 HAS SOUPS 4000 WITH SCORE 4008.066
AT ITER 7617 NEW BEST:: SOT 28546 SOS 8080 HAS SOPS 7755 HAS SOUS 4305 HAS SOUPS 3997 WITH SCORE 4005.08
AT ITER 7627 NEW BEST:: SOT 28550 SOS 8079 HAS SOPS 7754 HAS SOUS 4304 HAS SOUPS 3996 WITH SCORE 4004.079
AT ITER 7651 NEW BEST:: SOT 28567 SOS 8084 HAS SOPS 7759 HAS SOUS 4301 HAS SOUPS 3993 WITH SCORE 4001.084
AT ITER 7689 NEW BEST:: SOT 28562 SOS 8064 HAS SOPS 7754 HAS SOUS 4283 HAS SOUPS 3990 WITH SCORE 3998.064
AT ITER 7783 NEW BEST:: SOT 28558 SOS 8060 HAS SOPS 7750 HAS SOUS 4281 HAS SOUPS 3988 WITH SCORE 3996.06
AT ITER 7791 NEW BEST:: SOT 28560 SOS 8063 HAS SOPS 7752 HAS SOUS 4281 HAS SOUPS 3987 WITH SCORE 3995.063
AT ITER 7792 NEW BEST:: SOT 28547 SOS 8055 HAS SOPS 7744 HAS SOUS 4277 HAS SOUPS 3983 WITH SCORE 3991.055
AT ITER 7837 NEW BEST:: SOT 28541 SOS 8046 HAS SOPS 7735 HAS SOUS 4273 HAS SOUPS 3979 WITH SCORE 3987.046
AT ITER 7873 NEW BEST:: SOT 28540 SOS 8045 HAS SOPS 7734 HAS SOUS 4272 HAS SOUPS 3978 WITH SCORE 3986.045
AT ITER 7874 NEW BEST:: SOT 28536 SOS 8041 HAS SOPS 7730 HAS SOUS 4272 HAS SOUPS 3978 WITH SCORE 3986.041
AT ITER 8028 NEW BEST:: SOT 28507 SOS 8016 HAS SOPS 7705 HAS SOUS 4254 HAS SOUPS 3960 WITH SCORE 3968.016
AT ITER 8054 NEW BEST:: SOT 28489 SOS 7995 HAS SOPS 7684 HAS SOUS 4251 HAS SOUPS 3957 WITH SCORE 3964.995
AT ITER 8095 NEW BEST:: SOT 28488 SOS 7994 HAS SOPS 7683 HAS SOUS 4249 HAS SOUPS 3955 WITH SCORE 3962.994
AT ITER 8096 NEW BEST:: SOT 28488 SOS 7979 HAS SOPS 7668 HAS SOUS 4243 HAS SOUPS 3949 WITH SCORE 3956.979
AT ITER 8142 NEW BEST:: SOT 28492 SOS 7980 HAS SOPS 7669 HAS SOUS 4241 HAS SOUPS 3947 WITH SCORE 3954.98
AT ITER 8283 NEW BEST:: SOT 28477 SOS 7965 HAS SOPS 7654 HAS SOUS 4229 HAS SOUPS 3935 WITH SCORE 3942.965
AT ITER 8399 NEW BEST:: SOT 28471 SOS 7953 HAS SOPS 7642 HAS SOUS 4217 HAS SOUPS 3923 WITH SCORE 3930.953
AT ITER 8421 NEW BEST:: SOT 28471 SOS 7943 HAS SOPS 7632 HAS SOUS 4213 HAS SOUPS 3919 WITH SCORE 3926.943
AT ITER 8547 NEW BEST:: SOT 28472 SOS 7825 HAS SOPS 7514 HAS SOUS 4213 HAS SOUPS 3919 WITH SCORE 3926.825
AT ITER 8682 NEW BEST:: SOT 28472 SOS 7820 HAS SOPS 7509 HAS SOUS 4213 HAS SOUPS 3919 WITH SCORE 3926.82
AT ITER 8688 NEW BEST:: SOT 28458 SOS 7842 HAS SOPS 7531 HAS SOUS 4212 HAS SOUPS 3918 WITH SCORE 3925.842
AT ITER 8696 NEW BEST:: SOT 28453 SOS 7825 HAS SOPS 7525 HAS SOUS 4201 HAS SOUPS 3918 WITH SCORE 3925.825
AT ITER 8725 NEW BEST:: SOT 28448 SOS 7820 HAS SOPS 7520 HAS SOUS 4200 HAS SOUPS 3917 WITH SCORE 3924.82
AT ITER 8791 NEW BEST:: SOT 28430 SOS 7817 HAS SOPS 7517 HAS SOUS 4196 HAS SOUPS 3913 WITH SCORE 3920.817
AT ITER 8869 NEW BEST:: SOT 28424 SOS 7784 HAS SOPS 7481 HAS SOUS 4190 HAS SOUPS 3904 WITH SCORE 3911.784
AT ITER 8874 NEW BEST:: SOT 28423 SOS 7783 HAS SOPS 7480 HAS SOUS 4189 HAS SOUPS 3903 WITH SCORE 3910.783
AT ITER 8878 NEW BEST:: SOT 28448 SOS 7836 HAS SOPS 7539 HAS SOUS 4180 HAS SOUPS 3900 WITH SCORE 3907.836
AT ITER 9056 NEW BEST:: SOT 28433 SOS 7831 HAS SOPS 7534 HAS SOUS 4177 HAS SOUPS 3897 WITH SCORE 3904.831
AT ITER 9057 NEW BEST:: SOT 28422 SOS 7820 HAS SOPS 7523 HAS SOUS 4153 HAS SOUPS 3873 WITH SCORE 3880.82
AT ITER 9073 NEW BEST:: SOT 28420 SOS 7804 HAS SOPS 7504 HAS SOUS 4146 HAS SOUPS 3866 WITH SCORE 3873.804
AT ITER 9131 NEW BEST:: SOT 28414 SOS 7798 HAS SOPS 7498 HAS SOUS 4139 HAS SOUPS 3859 WITH SCORE 3866.798
AT ITER 9184 NEW BEST:: SOT 28414 SOS 7777 HAS SOPS 7475 HAS SOUS 4139 HAS SOUPS 3857 WITH SCORE 3864.777
AT ITER 9280 NEW BEST:: SOT 28414 SOS 7763 HAS SOPS 7461 HAS SOUS 4135 HAS SOUPS 3853 WITH SCORE 3860.763
AT ITER 9330 NEW BEST:: SOT 28410 SOS 7791 HAS SOPS 7489 HAS SOUS 4133 HAS SOUPS 3851 WITH SCORE 3858.791
AT ITER 9332 NEW BEST:: SOT 28409 SOS 7790 HAS SOPS 7488 HAS SOUS 4132 HAS SOUPS 3850 WITH SCORE 3857.79
AT ITER 9362 NEW BEST:: SOT 28405 SOS 7786 HAS SOPS 7484 HAS SOUS 4130 HAS SOUPS 3848 WITH SCORE 3855.786
AT ITER 9374 NEW BEST:: SOT 28406 SOS 7786 HAS SOPS 7484 HAS SOUS 4129 HAS SOUPS 3847 WITH SCORE 3854.786
AT ITER 9409 NEW BEST:: SOT 28396 SOS 7781 HAS SOPS 7474 HAS SOUS 4124 HAS SOUPS 3837 WITH SCORE 3844.781
AT ITER 9410 NEW BEST:: SOT 28383 SOS 7768 HAS SOPS 7461 HAS SOUS 4123 HAS SOUPS 3836 WITH SCORE 3843.768
AT ITER 9426 NEW BEST:: SOT 28379 SOS 7830 HAS SOPS 7523 HAS SOUS 4122 HAS SOUPS 3835 WITH SCORE 3842.83
AT ITER 9465 NEW BEST:: SOT 28351 SOS 7826 HAS SOPS 7519 HAS SOUS 4119 HAS SOUPS 3832 WITH SCORE 3839.826
AT ITER 9480 NEW BEST:: SOT 28340 SOS 7815 HAS SOPS 7508 HAS SOUS 4103 HAS SOUPS 3816 WITH SCORE 3823.815
AT ITER 9601 NEW BEST:: SOT 28337 SOS 7767 HAS SOPS 7460 HAS SOUS 4096 HAS SOUPS 3809 WITH SCORE 3816.767
AT ITER 9640 NEW BEST:: SOT 28332 SOS 7750 HAS SOPS 7443 HAS SOUS 4088 HAS SOUPS 3801 WITH SCORE 3808.75
AT ITER 9662 NEW BEST:: SOT 28334 SOS 7748 HAS SOPS 7441 HAS SOUS 4086 HAS SOUPS 3799 WITH SCORE 3806.748
AT ITER 9807 NEW BEST:: SOT 28317 SOS 7756 HAS SOPS 7449 HAS SOUS 4085 HAS SOUPS 3798 WITH SCORE 3805.756

BK_STOP 1589643819283

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NoC3x3-PT-1A"
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 NoC3x3-PT-1A, 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 r108-csrt-158961250400336"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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