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-158961250400384.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-4A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250400384
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 320K
-rw-r--r-- 1 mcc users 3.5K Apr 8 15:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 8 15:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 7 18:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Apr 7 18:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 6 20:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 6 20:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 6 03:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 6 03:59 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 144K 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 1589641510487

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

Filename model.pnml
Petri model created: 293 places, 608 transitions, 1905 arcs.
AT ITER 0 NEW BEST:: SOT 122164 SOS 105332 HAS SOPS 105332 HAS SOUS 53376 HAS SOUPS 53376 WITH SCORE 53481.332
AT ITER 1 NEW BEST:: SOT 121926 SOS 105116 HAS SOPS 105116 HAS SOUS 53148 HAS SOUPS 53148 WITH SCORE 53253.116
AT ITER 7 NEW BEST:: SOT 121513 SOS 104729 HAS SOPS 104729 HAS SOUS 52988 HAS SOUPS 52988 WITH SCORE 53092.729
AT ITER 9 NEW BEST:: SOT 121202 SOS 104418 HAS SOPS 104418 HAS SOUS 52677 HAS SOUPS 52677 WITH SCORE 52781.418
AT ITER 14 NEW BEST:: SOT 120756 SOS 103474 HAS SOPS 103474 HAS SOUS 52089 HAS SOUPS 52089 WITH SCORE 52192.474
AT ITER 15 NEW BEST:: SOT 120963 SOS 103405 HAS SOPS 103405 HAS SOUS 52031 HAS SOUPS 52031 WITH SCORE 52134.405
AT ITER 17 NEW BEST:: SOT 120793 SOS 103235 HAS SOPS 103235 HAS SOUS 51847 HAS SOUPS 51847 WITH SCORE 51950.235
AT ITER 18 NEW BEST:: SOT 121015 SOS 103161 HAS SOPS 103161 HAS SOUS 51847 HAS SOUPS 51847 WITH SCORE 51950.161
AT ITER 21 NEW BEST:: SOT 120615 SOS 102761 HAS SOPS 102761 HAS SOUS 51447 HAS SOUPS 51447 WITH SCORE 51549.761
AT ITER 22 NEW BEST:: SOT 119871 SOS 102017 HAS SOPS 102017 HAS SOUS 51295 HAS SOUPS 51295 WITH SCORE 51397.017
AT ITER 24 NEW BEST:: SOT 119737 SOS 101615 HAS SOPS 101615 HAS SOUS 50831 HAS SOUPS 50831 WITH SCORE 50932.615
AT ITER 26 NEW BEST:: SOT 119693 SOS 101571 HAS SOPS 101571 HAS SOUS 50787 HAS SOUPS 50787 WITH SCORE 50888.571
AT ITER 28 NEW BEST:: SOT 119560 SOS 101438 HAS SOPS 101438 HAS SOUS 50707 HAS SOUPS 50707 WITH SCORE 50808.438
AT ITER 30 NEW BEST:: SOT 119690 SOS 101008 HAS SOPS 101008 HAS SOUS 50707 HAS SOUPS 50707 WITH SCORE 50808.008
AT ITER 31 NEW BEST:: SOT 119391 SOS 100709 HAS SOPS 100709 HAS SOUS 50406 HAS SOUPS 50406 WITH SCORE 50506.709
AT ITER 35 NEW BEST:: SOT 118804 SOS 100122 HAS SOPS 100122 HAS SOUS 50157 HAS SOUPS 50157 WITH SCORE 50257.122
AT ITER 39 NEW BEST:: SOT 118074 SOS 99392 HAS SOPS 99392 HAS SOUS 49427 HAS SOUPS 49427 WITH SCORE 49526.392
AT ITER 42 NEW BEST:: SOT 118100 SOS 98596 HAS SOPS 98596 HAS SOUS 49199 HAS SOUPS 49199 WITH SCORE 49297.596
AT ITER 44 NEW BEST:: SOT 117318 SOS 97814 HAS SOPS 97814 HAS SOUS 48810 HAS SOUPS 48810 WITH SCORE 48907.814
AT ITER 46 NEW BEST:: SOT 117113 SOS 97609 HAS SOPS 97609 HAS SOUS 48756 HAS SOUPS 48756 WITH SCORE 48853.609
AT ITER 49 NEW BEST:: SOT 116193 SOS 96689 HAS SOPS 96689 HAS SOUS 48248 HAS SOUPS 48248 WITH SCORE 48344.689
AT ITER 51 NEW BEST:: SOT 115924 SOS 96584 HAS SOPS 96584 HAS SOUS 48201 HAS SOUPS 48201 WITH SCORE 48297.584
AT ITER 52 NEW BEST:: SOT 115766 SOS 96426 HAS SOPS 96426 HAS SOUS 48041 HAS SOUPS 48041 WITH SCORE 48137.426
AT ITER 54 NEW BEST:: SOT 115523 SOS 96183 HAS SOPS 96183 HAS SOUS 47797 HAS SOUPS 47797 WITH SCORE 47893.183
AT ITER 55 NEW BEST:: SOT 115480 SOS 95960 HAS SOPS 95960 HAS SOUS 47797 HAS SOUPS 47797 WITH SCORE 47892.96
AT ITER 57 NEW BEST:: SOT 115969 SOS 95771 HAS SOPS 95771 HAS SOUS 47794 HAS SOUPS 47794 WITH SCORE 47889.771
AT ITER 59 NEW BEST:: SOT 115546 SOS 95348 HAS SOPS 95348 HAS SOUS 47558 HAS SOUPS 47558 WITH SCORE 47653.348
AT ITER 60 NEW BEST:: SOT 115113 SOS 94915 HAS SOPS 94915 HAS SOUS 47275 HAS SOUPS 47275 WITH SCORE 47369.915
AT ITER 63 NEW BEST:: SOT 114193 SOS 93995 HAS SOPS 93995 HAS SOUS 46967 HAS SOUPS 46967 WITH SCORE 47060.995
AT ITER 66 NEW BEST:: SOT 114174 SOS 93976 HAS SOPS 93976 HAS SOUS 46930 HAS SOUPS 46930 WITH SCORE 47023.976
AT ITER 68 NEW BEST:: SOT 113588 SOS 93390 HAS SOPS 93390 HAS SOUS 46719 HAS SOUPS 46719 WITH SCORE 46812.39
AT ITER 71 NEW BEST:: SOT 113418 SOS 93220 HAS SOPS 93220 HAS SOUS 46633 HAS SOUPS 46633 WITH SCORE 46726.22
AT ITER 74 NEW BEST:: SOT 113418 SOS 93220 HAS SOPS 93220 HAS SOUS 46571 HAS SOUPS 46571 WITH SCORE 46664.22
AT ITER 75 NEW BEST:: SOT 112992 SOS 92794 HAS SOPS 92794 HAS SOUS 46239 HAS SOUPS 46239 WITH SCORE 46331.794
AT ITER 76 NEW BEST:: SOT 113052 SOS 92854 HAS SOPS 92854 HAS SOUS 46089 HAS SOUPS 46089 WITH SCORE 46181.854
AT ITER 77 NEW BEST:: SOT 113487 SOS 93289 HAS SOPS 93289 HAS SOUS 46057 HAS SOUPS 46057 WITH SCORE 46150.289
AT ITER 79 NEW BEST:: SOT 113628 SOS 93430 HAS SOPS 93430 HAS SOUS 46026 HAS SOUPS 46026 WITH SCORE 46119.43
AT ITER 84 NEW BEST:: SOT 113123 SOS 92925 HAS SOPS 92925 HAS SOUS 45504 HAS SOUPS 45504 WITH SCORE 45596.925
AT ITER 85 NEW BEST:: SOT 112001 SOS 91803 HAS SOPS 91803 HAS SOUS 45006 HAS SOUPS 45006 WITH SCORE 45097.803
AT ITER 91 NEW BEST:: SOT 110655 SOS 90457 HAS SOPS 90457 HAS SOUS 44373 HAS SOUPS 44373 WITH SCORE 44463.457
AT ITER 96 NEW BEST:: SOT 110535 SOS 88704 HAS SOPS 88704 HAS SOUS 44106 HAS SOUPS 44106 WITH SCORE 44194.704
AT ITER 99 NEW BEST:: SOT 110396 SOS 88566 HAS SOPS 88566 HAS SOUS 43879 HAS SOUPS 43879 WITH SCORE 43967.566
AT ITER 101 NEW BEST:: SOT 109863 SOS 88033 HAS SOPS 88033 HAS SOUS 43679 HAS SOUPS 43679 WITH SCORE 43767.033
AT ITER 103 NEW BEST:: SOT 109863 SOS 88033 HAS SOPS 88033 HAS SOUS 43311 HAS SOUPS 43311 WITH SCORE 43399.033
AT ITER 109 NEW BEST:: SOT 109867 SOS 88033 HAS SOPS 88033 HAS SOUS 43305 HAS SOUPS 43305 WITH SCORE 43393.033
AT ITER 110 NEW BEST:: SOT 109542 SOS 88641 HAS SOPS 88641 HAS SOUS 43147 HAS SOUPS 43147 WITH SCORE 43235.641
AT ITER 113 NEW BEST:: SOT 109518 SOS 88617 HAS SOPS 88617 HAS SOUS 43107 HAS SOUPS 43107 WITH SCORE 43195.617
AT ITER 118 NEW BEST:: SOT 109365 SOS 88464 HAS SOPS 88464 HAS SOUS 42856 HAS SOUPS 42856 WITH SCORE 42944.464
AT ITER 122 NEW BEST:: SOT 109589 SOS 88492 HAS SOPS 88492 HAS SOUS 42853 HAS SOUPS 42853 WITH SCORE 42941.492
AT ITER 124 NEW BEST:: SOT 110056 SOS 88343 HAS SOPS 88343 HAS SOUS 42825 HAS SOUPS 42825 WITH SCORE 42913.343
AT ITER 126 NEW BEST:: SOT 109635 SOS 87922 HAS SOPS 87922 HAS SOUS 42561 HAS SOUPS 42561 WITH SCORE 42648.922
AT ITER 128 NEW BEST:: SOT 109549 SOS 87852 HAS SOPS 87852 HAS SOUS 42547 HAS SOUPS 42547 WITH SCORE 42634.852
AT ITER 133 NEW BEST:: SOT 109406 SOS 87709 HAS SOPS 87709 HAS SOUS 42410 HAS SOUPS 42410 WITH SCORE 42497.709
AT ITER 135 NEW BEST:: SOT 109304 SOS 87582 HAS SOPS 87582 HAS SOUS 42410 HAS SOUPS 42410 WITH SCORE 42497.582
AT ITER 136 NEW BEST:: SOT 109165 SOS 87443 HAS SOPS 87443 HAS SOUS 42409 HAS SOUPS 42409 WITH SCORE 42496.443
AT ITER 141 NEW BEST:: SOT 108701 SOS 86979 HAS SOPS 86979 HAS SOUS 41873 HAS SOUPS 41873 WITH SCORE 41959.979
AT ITER 142 NEW BEST:: SOT 108663 SOS 86941 HAS SOPS 86941 HAS SOUS 41871 HAS SOUPS 41871 WITH SCORE 41957.941
AT ITER 145 NEW BEST:: SOT 108626 SOS 86904 HAS SOPS 86904 HAS SOUS 41834 HAS SOUPS 41834 WITH SCORE 41920.904
AT ITER 147 NEW BEST:: SOT 108642 SOS 86210 HAS SOPS 86210 HAS SOUS 41443 HAS SOUPS 41443 WITH SCORE 41529.21
AT ITER 152 NEW BEST:: SOT 108565 SOS 86133 HAS SOPS 86133 HAS SOUS 41362 HAS SOUPS 41362 WITH SCORE 41448.133
AT ITER 158 NEW BEST:: SOT 107888 SOS 84693 HAS SOPS 84693 HAS SOUS 40720 HAS SOUPS 40720 WITH SCORE 40804.693
AT ITER 160 NEW BEST:: SOT 107633 SOS 84438 HAS SOPS 84438 HAS SOUS 40414 HAS SOUPS 40414 WITH SCORE 40498.438
AT ITER 177 NEW BEST:: SOT 107745 SOS 84399 HAS SOPS 84399 HAS SOUS 40414 HAS SOUPS 40414 WITH SCORE 40498.399
AT ITER 181 NEW BEST:: SOT 107745 SOS 84399 HAS SOPS 84399 HAS SOUS 40406 HAS SOUPS 40406 WITH SCORE 40490.399
AT ITER 184 NEW BEST:: SOT 107612 SOS 84266 HAS SOPS 84266 HAS SOUS 40120 HAS SOUPS 40120 WITH SCORE 40204.266
AT ITER 185 NEW BEST:: SOT 107239 SOS 83893 HAS SOPS 83893 HAS SOUS 39931 HAS SOUPS 39931 WITH SCORE 40014.893
AT ITER 188 NEW BEST:: SOT 107214 SOS 83743 HAS SOPS 83743 HAS SOUS 39788 HAS SOUPS 39788 WITH SCORE 39871.743
AT ITER 190 NEW BEST:: SOT 107195 SOS 83724 HAS SOPS 83724 HAS SOUS 39747 HAS SOUPS 39747 WITH SCORE 39830.724
AT ITER 194 NEW BEST:: SOT 107085 SOS 83571 HAS SOPS 83571 HAS SOUS 39682 HAS SOUPS 39682 WITH SCORE 39765.571
AT ITER 199 NEW BEST:: SOT 107085 SOS 83571 HAS SOPS 83571 HAS SOUS 39680 HAS SOUPS 39680 WITH SCORE 39763.571
AT ITER 206 NEW BEST:: SOT 107201 SOS 83687 HAS SOPS 83687 HAS SOUS 39539 HAS SOUPS 39539 WITH SCORE 39622.687
AT ITER 209 NEW BEST:: SOT 107171 SOS 83657 HAS SOPS 83657 HAS SOUS 39539 HAS SOUPS 39539 WITH SCORE 39622.657
AT ITER 214 NEW BEST:: SOT 107156 SOS 83649 HAS SOPS 83649 HAS SOUS 39519 HAS SOUPS 39519 WITH SCORE 39602.649
AT ITER 216 NEW BEST:: SOT 107199 SOS 83436 HAS SOPS 83436 HAS SOUS 39457 HAS SOUPS 39457 WITH SCORE 39540.436
AT ITER 221 NEW BEST:: SOT 107346 SOS 83936 HAS SOPS 83936 HAS SOUS 39083 HAS SOUPS 39083 WITH SCORE 39166.936
AT ITER 222 NEW BEST:: SOT 107346 SOS 82541 HAS SOPS 82541 HAS SOUS 39083 HAS SOUPS 39083 WITH SCORE 39165.541
AT ITER 228 NEW BEST:: SOT 107376 SOS 82571 HAS SOPS 82571 HAS SOUS 39023 HAS SOUPS 39023 WITH SCORE 39105.571
AT ITER 230 NEW BEST:: SOT 107376 SOS 82580 HAS SOPS 82580 HAS SOUS 38997 HAS SOUPS 38997 WITH SCORE 39079.58
AT ITER 234 NEW BEST:: SOT 107376 SOS 82580 HAS SOPS 82580 HAS SOUS 38948 HAS SOUPS 38948 WITH SCORE 39030.58
AT ITER 238 NEW BEST:: SOT 107669 SOS 82159 HAS SOPS 82159 HAS SOUS 38816 HAS SOUPS 38816 WITH SCORE 38898.159
AT ITER 241 NEW BEST:: SOT 107726 SOS 81810 HAS SOPS 81810 HAS SOUS 38760 HAS SOUPS 38760 WITH SCORE 38841.81
AT ITER 243 NEW BEST:: SOT 107671 SOS 81752 HAS SOPS 81752 HAS SOUS 38568 HAS SOUPS 38568 WITH SCORE 38649.752
AT ITER 244 NEW BEST:: SOT 107565 SOS 81334 HAS SOPS 81334 HAS SOUS 38328 HAS SOUPS 38328 WITH SCORE 38409.334
AT ITER 248 NEW BEST:: SOT 106324 SOS 80093 HAS SOPS 80093 HAS SOUS 37669 HAS SOUPS 37669 WITH SCORE 37749.093
AT ITER 251 NEW BEST:: SOT 106324 SOS 80093 HAS SOPS 80093 HAS SOUS 37664 HAS SOUPS 37664 WITH SCORE 37744.093
AT ITER 259 NEW BEST:: SOT 105769 SOS 79538 HAS SOPS 79538 HAS SOUS 37171 HAS SOUPS 37171 WITH SCORE 37250.538
AT ITER 260 NEW BEST:: SOT 105770 SOS 79539 HAS SOPS 79539 HAS SOUS 37154 HAS SOUPS 37154 WITH SCORE 37233.539
AT ITER 267 NEW BEST:: SOT 105770 SOS 79383 HAS SOPS 79383 HAS SOUS 37037 HAS SOUPS 37037 WITH SCORE 37116.383
AT ITER 269 NEW BEST:: SOT 105634 SOS 79247 HAS SOPS 79247 HAS SOUS 36989 HAS SOUPS 36989 WITH SCORE 37068.247
AT ITER 276 NEW BEST:: SOT 105497 SOS 79110 HAS SOPS 79110 HAS SOUS 36942 HAS SOUPS 36942 WITH SCORE 37021.11
AT ITER 277 NEW BEST:: SOT 105349 SOS 78697 HAS SOPS 78697 HAS SOUS 36741 HAS SOUPS 36741 WITH SCORE 36819.697
AT ITER 280 NEW BEST:: SOT 105349 SOS 77829 HAS SOPS 77829 HAS SOUS 36740 HAS SOUPS 36740 WITH SCORE 36817.829
AT ITER 282 NEW BEST:: SOT 105349 SOS 77657 HAS SOPS 77657 HAS SOUS 36701 HAS SOUPS 36701 WITH SCORE 36778.657
AT ITER 283 NEW BEST:: SOT 105449 SOS 77757 HAS SOPS 77757 HAS SOUS 36700 HAS SOUPS 36700 WITH SCORE 36777.757
AT ITER 284 NEW BEST:: SOT 105389 SOS 77697 HAS SOPS 77697 HAS SOUS 36676 HAS SOUPS 36676 WITH SCORE 36753.697
AT ITER 290 NEW BEST:: SOT 105377 SOS 77667 HAS SOPS 77667 HAS SOUS 36668 HAS SOUPS 36668 WITH SCORE 36745.667
AT ITER 292 NEW BEST:: SOT 105501 SOS 77145 HAS SOPS 77145 HAS SOUS 36605 HAS SOUPS 36605 WITH SCORE 36682.145
AT ITER 298 NEW BEST:: SOT 105498 SOS 77142 HAS SOPS 77142 HAS SOUS 36556 HAS SOUPS 36556 WITH SCORE 36633.142
AT ITER 305 NEW BEST:: SOT 105168 SOS 76878 HAS SOPS 76878 HAS SOUS 36519 HAS SOUPS 36519 WITH SCORE 36595.878
AT ITER 307 NEW BEST:: SOT 105168 SOS 76886 HAS SOPS 76886 HAS SOUS 36488 HAS SOUPS 36488 WITH SCORE 36564.886
AT ITER 310 NEW BEST:: SOT 105168 SOS 76886 HAS SOPS 76886 HAS SOUS 36448 HAS SOUPS 36448 WITH SCORE 36524.886
AT ITER 311 NEW BEST:: SOT 105098 SOS 76816 HAS SOPS 76816 HAS SOUS 36388 HAS SOUPS 36388 WITH SCORE 36464.816
AT ITER 318 NEW BEST:: SOT 105189 SOS 76907 HAS SOPS 76907 HAS SOUS 36383 HAS SOUPS 36383 WITH SCORE 36459.907
AT ITER 329 NEW BEST:: SOT 105195 SOS 76913 HAS SOPS 76913 HAS SOUS 36376 HAS SOUPS 36376 WITH SCORE 36452.913
AT ITER 332 NEW BEST:: SOT 105180 SOS 76898 HAS SOPS 76898 HAS SOUS 36342 HAS SOUPS 36342 WITH SCORE 36418.898
AT ITER 334 NEW BEST:: SOT 105069 SOS 76439 HAS SOPS 76439 HAS SOUS 36207 HAS SOUPS 36207 WITH SCORE 36283.439
AT ITER 340 NEW BEST:: SOT 104198 SOS 75502 HAS SOPS 75502 HAS SOUS 35883 HAS SOUPS 35883 WITH SCORE 35958.502
AT ITER 342 NEW BEST:: SOT 104165 SOS 75469 HAS SOPS 75469 HAS SOUS 35818 HAS SOUPS 35818 WITH SCORE 35893.469
AT ITER 350 NEW BEST:: SOT 104113 SOS 75417 HAS SOPS 75417 HAS SOUS 35753 HAS SOUPS 35753 WITH SCORE 35828.417
AT ITER 351 NEW BEST:: SOT 104239 SOS 75239 HAS SOPS 75239 HAS SOUS 35752 HAS SOUPS 35752 WITH SCORE 35827.239
AT ITER 352 NEW BEST:: SOT 104239 SOS 73248 HAS SOPS 73248 HAS SOUS 35752 HAS SOUPS 35752 WITH SCORE 35825.248
AT ITER 357 NEW BEST:: SOT 103757 SOS 71213 HAS SOPS 70901 HAS SOUS 35652 HAS SOUPS 35340 WITH SCORE 35411.213
AT ITER 358 NEW BEST:: SOT 103463 SOS 70971 HAS SOPS 70659 HAS SOUS 35553 HAS SOUPS 35241 WITH SCORE 35311.971
AT ITER 359 NEW BEST:: SOT 103229 SOS 69726 HAS SOPS 69414 HAS SOUS 35436 HAS SOUPS 35124 WITH SCORE 35193.726
AT ITER 361 NEW BEST:: SOT 103209 SOS 69706 HAS SOPS 69394 HAS SOUS 35396 HAS SOUPS 35084 WITH SCORE 35153.706
AT ITER 365 NEW BEST:: SOT 103208 SOS 69705 HAS SOPS 69393 HAS SOUS 35394 HAS SOUPS 35082 WITH SCORE 35151.705
AT ITER 373 NEW BEST:: SOT 103171 SOS 68500 HAS SOPS 68084 HAS SOUS 35318 HAS SOUPS 34941 WITH SCORE 35009.5
AT ITER 374 NEW BEST:: SOT 102653 SOS 67982 HAS SOPS 67566 HAS SOUS 34797 HAS SOUPS 34420 WITH SCORE 34487.982
AT ITER 377 NEW BEST:: SOT 102569 SOS 67792 HAS SOPS 67429 HAS SOUS 34554 HAS SOUPS 34230 WITH SCORE 34297.792
AT ITER 380 NEW BEST:: SOT 102569 SOS 67789 HAS SOPS 67426 HAS SOUS 34554 HAS SOUPS 34230 WITH SCORE 34297.789
AT ITER 382 NEW BEST:: SOT 102599 SOS 67778 HAS SOPS 67415 HAS SOUS 34543 HAS SOUPS 34219 WITH SCORE 34286.778
AT ITER 384 NEW BEST:: SOT 102471 SOS 67945 HAS SOPS 67582 HAS SOUS 34518 HAS SOUPS 34194 WITH SCORE 34261.945
AT ITER 386 NEW BEST:: SOT 102466 SOS 67923 HAS SOPS 67560 HAS SOUS 34430 HAS SOUPS 34106 WITH SCORE 34173.923
AT ITER 387 NEW BEST:: SOT 100882 SOS 64528 HAS SOPS 64165 HAS SOUS 33321 HAS SOUPS 32997 WITH SCORE 33061.528
AT ITER 389 NEW BEST:: SOT 101030 SOS 64283 HAS SOPS 63920 HAS SOUS 33321 HAS SOUPS 32997 WITH SCORE 33061.283
AT ITER 398 NEW BEST:: SOT 101066 SOS 64163 HAS SOPS 63800 HAS SOUS 33320 HAS SOUPS 32996 WITH SCORE 33060.163
AT ITER 400 NEW BEST:: SOT 101060 SOS 64157 HAS SOPS 63794 HAS SOUS 33316 HAS SOUPS 32992 WITH SCORE 33056.157
AT ITER 401 NEW BEST:: SOT 101130 SOS 64049 HAS SOPS 63686 HAS SOUS 33316 HAS SOUPS 32992 WITH SCORE 33056.049
AT ITER 402 NEW BEST:: SOT 101402 SOS 64027 HAS SOPS 63605 HAS SOUS 33360 HAS SOUPS 32977 WITH SCORE 33041.027
AT ITER 405 NEW BEST:: SOT 101401 SOS 64047 HAS SOPS 63625 HAS SOUS 33358 HAS SOUPS 32975 WITH SCORE 33039.047
AT ITER 410 NEW BEST:: SOT 101461 SOS 64107 HAS SOPS 63685 HAS SOUS 33287 HAS SOUPS 32904 WITH SCORE 32968.107
AT ITER 412 NEW BEST:: SOT 101504 SOS 64150 HAS SOPS 63728 HAS SOUS 33192 HAS SOUPS 32809 WITH SCORE 32873.15
AT ITER 415 NEW BEST:: SOT 101392 SOS 64038 HAS SOPS 63616 HAS SOUS 33144 HAS SOUPS 32761 WITH SCORE 32825.038
AT ITER 423 NEW BEST:: SOT 101390 SOS 63863 HAS SOPS 63441 HAS SOUS 33060 HAS SOUPS 32677 WITH SCORE 32740.863
AT ITER 425 NEW BEST:: SOT 101390 SOS 63837 HAS SOPS 63415 HAS SOUS 33060 HAS SOUPS 32677 WITH SCORE 32740.837
AT ITER 427 NEW BEST:: SOT 101395 SOS 63854 HAS SOPS 63432 HAS SOUS 33055 HAS SOUPS 32672 WITH SCORE 32735.854
AT ITER 429 NEW BEST:: SOT 101334 SOS 63793 HAS SOPS 63371 HAS SOUS 32974 HAS SOUPS 32591 WITH SCORE 32654.793
AT ITER 435 NEW BEST:: SOT 101418 SOS 63877 HAS SOPS 63455 HAS SOUS 32877 HAS SOUPS 32494 WITH SCORE 32557.877
AT ITER 437 NEW BEST:: SOT 101321 SOS 63726 HAS SOPS 63304 HAS SOUS 32861 HAS SOUPS 32478 WITH SCORE 32541.726
AT ITER 445 NEW BEST:: SOT 101331 SOS 62618 HAS SOPS 62108 HAS SOUS 32911 HAS SOUPS 32440 WITH SCORE 32502.618
AT ITER 449 NEW BEST:: SOT 101275 SOS 62562 HAS SOPS 62052 HAS SOUS 32869 HAS SOUPS 32398 WITH SCORE 32460.562
AT ITER 450 NEW BEST:: SOT 101264 SOS 62551 HAS SOPS 62041 HAS SOUS 32808 HAS SOUPS 32337 WITH SCORE 32399.551
AT ITER 452 NEW BEST:: SOT 101207 SOS 62494 HAS SOPS 61984 HAS SOUS 32808 HAS SOUPS 32337 WITH SCORE 32399.494
AT ITER 453 NEW BEST:: SOT 101312 SOS 62519 HAS SOPS 62009 HAS SOUS 32735 HAS SOUPS 32264 WITH SCORE 32326.519
AT ITER 456 NEW BEST:: SOT 100890 SOS 62097 HAS SOPS 61587 HAS SOUS 32638 HAS SOUPS 32167 WITH SCORE 32229.097
AT ITER 458 NEW BEST:: SOT 100798 SOS 61955 HAS SOPS 61389 HAS SOUS 32537 HAS SOUPS 32010 WITH SCORE 32071.955
AT ITER 464 NEW BEST:: SOT 100775 SOS 61932 HAS SOPS 61366 HAS SOUS 32491 HAS SOUPS 31964 WITH SCORE 32025.932
AT ITER 465 NEW BEST:: SOT 100775 SOS 61932 HAS SOPS 61350 HAS SOUS 32483 HAS SOUPS 31948 WITH SCORE 32009.932
AT ITER 467 NEW BEST:: SOT 100739 SOS 61968 HAS SOPS 61386 HAS SOUS 32471 HAS SOUPS 31936 WITH SCORE 31997.968
AT ITER 474 NEW BEST:: SOT 100658 SOS 61887 HAS SOPS 61305 HAS SOUS 32309 HAS SOUPS 31774 WITH SCORE 31835.887
AT ITER 478 NEW BEST:: SOT 100696 SOS 61706 HAS SOPS 61124 HAS SOUS 32217 HAS SOUPS 31682 WITH SCORE 31743.706
AT ITER 482 NEW BEST:: SOT 100703 SOS 61713 HAS SOPS 61131 HAS SOUS 32196 HAS SOUPS 31661 WITH SCORE 31722.713
AT ITER 483 NEW BEST:: SOT 100683 SOS 61693 HAS SOPS 61111 HAS SOUS 32176 HAS SOUPS 31641 WITH SCORE 31702.693
AT ITER 484 NEW BEST:: SOT 100648 SOS 61490 HAS SOPS 60908 HAS SOUS 32081 HAS SOUPS 31546 WITH SCORE 31607.49
AT ITER 489 NEW BEST:: SOT 100551 SOS 61393 HAS SOPS 60811 HAS SOUS 32007 HAS SOUPS 31472 WITH SCORE 31533.393
AT ITER 492 NEW BEST:: SOT 100696 SOS 61043 HAS SOPS 60461 HAS SOUS 31995 HAS SOUPS 31460 WITH SCORE 31521.043
AT ITER 493 NEW BEST:: SOT 100682 SOS 60994 HAS SOPS 60412 HAS SOUS 31983 HAS SOUPS 31448 WITH SCORE 31508.994
AT ITER 499 NEW BEST:: SOT 100653 SOS 60940 HAS SOPS 60358 HAS SOUS 31867 HAS SOUPS 31332 WITH SCORE 31392.94
AT ITER 512 NEW BEST:: SOT 100258 SOS 60724 HAS SOPS 60142 HAS SOUS 31847 HAS SOUPS 31312 WITH SCORE 31372.724
AT ITER 517 NEW BEST:: SOT 100258 SOS 60511 HAS SOPS 59929 HAS SOUS 31709 HAS SOUPS 31174 WITH SCORE 31234.511
AT ITER 522 NEW BEST:: SOT 100231 SOS 60484 HAS SOPS 59902 HAS SOUS 31681 HAS SOUPS 31146 WITH SCORE 31206.484
AT ITER 524 NEW BEST:: SOT 100227 SOS 60480 HAS SOPS 59898 HAS SOUS 31677 HAS SOUPS 31142 WITH SCORE 31202.48
AT ITER 525 NEW BEST:: SOT 100243 SOS 60396 HAS SOPS 59814 HAS SOUS 31677 HAS SOUPS 31142 WITH SCORE 31202.396
AT ITER 530 NEW BEST:: SOT 100326 SOS 60161 HAS SOPS 59579 HAS SOUS 31601 HAS SOUPS 31066 WITH SCORE 31126.161
AT ITER 531 NEW BEST:: SOT 100326 SOS 60161 HAS SOPS 59573 HAS SOUS 31598 HAS SOUPS 31060 WITH SCORE 31120.161
AT ITER 542 NEW BEST:: SOT 100312 SOS 60147 HAS SOPS 59559 HAS SOUS 31584 HAS SOUPS 31046 WITH SCORE 31106.147
AT ITER 544 NEW BEST:: SOT 100082 SOS 59907 HAS SOPS 59319 HAS SOUS 31351 HAS SOUPS 30813 WITH SCORE 30872.907
AT ITER 546 NEW BEST:: SOT 100080 SOS 59657 HAS SOPS 59041 HAS SOUS 31275 HAS SOUPS 30709 WITH SCORE 30768.657
AT ITER 551 NEW BEST:: SOT 100032 SOS 59405 HAS SOPS 58789 HAS SOUS 31086 HAS SOUPS 30520 WITH SCORE 30579.405
AT ITER 552 NEW BEST:: SOT 99763 SOS 59364 HAS SOPS 58748 HAS SOUS 31065 HAS SOUPS 30499 WITH SCORE 30558.364
AT ITER 554 NEW BEST:: SOT 100098 SOS 59338 HAS SOPS 58722 HAS SOUS 30963 HAS SOUPS 30397 WITH SCORE 30456.338
AT ITER 557 NEW BEST:: SOT 100005 SOS 59135 HAS SOPS 58519 HAS SOUS 30892 HAS SOUPS 30326 WITH SCORE 30385.135
AT ITER 570 NEW BEST:: SOT 99993 SOS 59123 HAS SOPS 58507 HAS SOUS 30880 HAS SOUPS 30314 WITH SCORE 30373.123
AT ITER 576 NEW BEST:: SOT 99773 SOS 58971 HAS SOPS 58254 HAS SOUS 30909 HAS SOUPS 30252 WITH SCORE 30310.971
AT ITER 581 NEW BEST:: SOT 99769 SOS 58967 HAS SOPS 58250 HAS SOUS 30905 HAS SOUPS 30248 WITH SCORE 30306.967
AT ITER 583 NEW BEST:: SOT 99615 SOS 58953 HAS SOPS 58236 HAS SOUS 30857 HAS SOUPS 30200 WITH SCORE 30258.953
AT ITER 585 NEW BEST:: SOT 99591 SOS 58929 HAS SOPS 58212 HAS SOUS 30813 HAS SOUPS 30156 WITH SCORE 30214.929
AT ITER 591 NEW BEST:: SOT 99536 SOS 58874 HAS SOPS 58157 HAS SOUS 30767 HAS SOUPS 30110 WITH SCORE 30168.874
AT ITER 596 NEW BEST:: SOT 99531 SOS 58819 HAS SOPS 58102 HAS SOUS 30757 HAS SOUPS 30100 WITH SCORE 30158.819
AT ITER 598 NEW BEST:: SOT 99531 SOS 58774 HAS SOPS 58057 HAS SOUS 30757 HAS SOUPS 30100 WITH SCORE 30158.774
AT ITER 599 NEW BEST:: SOT 99047 SOS 58223 HAS SOPS 57628 HAS SOUS 30321 HAS SOUPS 29786 WITH SCORE 29844.223
AT ITER 604 NEW BEST:: SOT 99074 SOS 58222 HAS SOPS 57620 HAS SOUS 30327 HAS SOUPS 29785 WITH SCORE 29843.222
AT ITER 617 NEW BEST:: SOT 99070 SOS 58234 HAS SOPS 57632 HAS SOUS 30313 HAS SOUPS 29771 WITH SCORE 29829.234
AT ITER 632 NEW BEST:: SOT 98862 SOS 58050 HAS SOPS 57448 HAS SOUS 30169 HAS SOUPS 29627 WITH SCORE 29685.05
AT ITER 643 NEW BEST:: SOT 98688 SOS 58198 HAS SOPS 57596 HAS SOUS 30133 HAS SOUPS 29591 WITH SCORE 29649.198
AT ITER 645 NEW BEST:: SOT 98624 SOS 57906 HAS SOPS 57304 HAS SOUS 30106 HAS SOUPS 29564 WITH SCORE 29621.906
AT ITER 651 NEW BEST:: SOT 98609 SOS 56540 HAS SOPS 55928 HAS SOUS 29992 HAS SOUPS 29440 WITH SCORE 29496.54
AT ITER 656 NEW BEST:: SOT 98715 SOS 56146 HAS SOPS 55534 HAS SOUS 29992 HAS SOUPS 29440 WITH SCORE 29496.146
AT ITER 664 NEW BEST:: SOT 98661 SOS 55998 HAS SOPS 55440 HAS SOUS 29776 HAS SOUPS 29278 WITH SCORE 29333.998
AT ITER 671 NEW BEST:: SOT 98479 SOS 55816 HAS SOPS 55258 HAS SOUS 29729 HAS SOUPS 29231 WITH SCORE 29286.816
AT ITER 674 NEW BEST:: SOT 98416 SOS 55753 HAS SOPS 55195 HAS SOUS 29666 HAS SOUPS 29168 WITH SCORE 29223.753
AT ITER 684 NEW BEST:: SOT 98122 SOS 55459 HAS SOPS 54901 HAS SOUS 29558 HAS SOUPS 29060 WITH SCORE 29115.459
AT ITER 685 NEW BEST:: SOT 98117 SOS 55449 HAS SOPS 54891 HAS SOUS 29543 HAS SOUPS 29045 WITH SCORE 29100.449
AT ITER 691 NEW BEST:: SOT 97660 SOS 54576 HAS SOPS 54003 HAS SOUS 29032 HAS SOUPS 28519 WITH SCORE 28573.576
AT ITER 696 NEW BEST:: SOT 97646 SOS 54598 HAS SOPS 53989 HAS SOUS 29018 HAS SOUPS 28487 WITH SCORE 28541.598
AT ITER 699 NEW BEST:: SOT 97665 SOS 54617 HAS SOPS 54008 HAS SOUS 29009 HAS SOUPS 28478 WITH SCORE 28532.617
AT ITER 705 NEW BEST:: SOT 97834 SOS 54948 HAS SOPS 54161 HAS SOUS 29125 HAS SOUPS 28447 WITH SCORE 28501.948
AT ITER 710 NEW BEST:: SOT 97974 SOS 54486 HAS SOPS 53699 HAS SOUS 29085 HAS SOUPS 28407 WITH SCORE 28461.486
AT ITER 714 NEW BEST:: SOT 98002 SOS 54377 HAS SOPS 53590 HAS SOUS 29085 HAS SOUPS 28407 WITH SCORE 28461.377
AT ITER 720 NEW BEST:: SOT 98080 SOS 54329 HAS SOPS 53542 HAS SOUS 29080 HAS SOUPS 28402 WITH SCORE 28456.329
AT ITER 724 NEW BEST:: SOT 98094 SOS 54305 HAS SOPS 53518 HAS SOUS 29013 HAS SOUPS 28335 WITH SCORE 28389.305
AT ITER 728 NEW BEST:: SOT 98273 SOS 53803 HAS SOPS 52959 HAS SOUS 28996 HAS SOUPS 28261 WITH SCORE 28314.803
AT ITER 729 NEW BEST:: SOT 98199 SOS 53729 HAS SOPS 52885 HAS SOUS 28922 HAS SOUPS 28187 WITH SCORE 28240.729
AT ITER 746 NEW BEST:: SOT 98142 SOS 53624 HAS SOPS 52821 HAS SOUS 28796 HAS SOUPS 28102 WITH SCORE 28155.624
AT ITER 747 NEW BEST:: SOT 98041 SOS 53502 HAS SOPS 52640 HAS SOUS 28733 HAS SOUPS 27980 WITH SCORE 28033.502
AT ITER 751 NEW BEST:: SOT 98181 SOS 53642 HAS SOPS 52780 HAS SOUS 28646 HAS SOUPS 27893 WITH SCORE 27946.642
AT ITER 752 NEW BEST:: SOT 98020 SOS 53655 HAS SOPS 52793 HAS SOUS 28573 HAS SOUPS 27820 WITH SCORE 27873.655
AT ITER 755 NEW BEST:: SOT 98012 SOS 53639 HAS SOPS 52777 HAS SOUS 28563 HAS SOUPS 27810 WITH SCORE 27863.639
AT ITER 758 NEW BEST:: SOT 98012 SOS 53630 HAS SOPS 52768 HAS SOUS 28563 HAS SOUPS 27810 WITH SCORE 27863.63
AT ITER 765 NEW BEST:: SOT 97997 SOS 53615 HAS SOPS 52753 HAS SOUS 28563 HAS SOUPS 27810 WITH SCORE 27863.615
AT ITER 768 NEW BEST:: SOT 97978 SOS 53596 HAS SOPS 52734 HAS SOUS 28563 HAS SOUPS 27810 WITH SCORE 27863.596
AT ITER 769 NEW BEST:: SOT 97930 SOS 53331 HAS SOPS 52551 HAS SOUS 28372 HAS SOUPS 27701 WITH SCORE 27754.331
AT ITER 775 NEW BEST:: SOT 97956 SOS 53170 HAS SOPS 52390 HAS SOUS 28356 HAS SOUPS 27685 WITH SCORE 27738.17
AT ITER 780 NEW BEST:: SOT 97860 SOS 53138 HAS SOPS 52358 HAS SOUS 28324 HAS SOUPS 27653 WITH SCORE 27706.138
AT ITER 787 NEW BEST:: SOT 97853 SOS 53131 HAS SOPS 52351 HAS SOUS 28317 HAS SOUPS 27646 WITH SCORE 27699.131
AT ITER 790 NEW BEST:: SOT 97835 SOS 53113 HAS SOPS 52333 HAS SOUS 28307 HAS SOUPS 27636 WITH SCORE 27689.113
AT ITER 798 NEW BEST:: SOT 97839 SOS 53117 HAS SOPS 52337 HAS SOUS 28299 HAS SOUPS 27628 WITH SCORE 27681.117
AT ITER 801 NEW BEST:: SOT 97817 SOS 53408 HAS SOPS 52628 HAS SOUS 28249 HAS SOUPS 27578 WITH SCORE 27631.408
AT ITER 803 NEW BEST:: SOT 97679 SOS 53270 HAS SOPS 52490 HAS SOUS 28100 HAS SOUPS 27429 WITH SCORE 27482.27
AT ITER 804 NEW BEST:: SOT 97078 SOS 52431 HAS SOPS 51651 HAS SOUS 27714 HAS SOUPS 27043 WITH SCORE 27095.431
AT ITER 807 NEW BEST:: SOT 97078 SOS 52211 HAS SOPS 51431 HAS SOUS 27714 HAS SOUPS 27043 WITH SCORE 27095.211
AT ITER 808 NEW BEST:: SOT 97078 SOS 52206 HAS SOPS 51426 HAS SOUS 27704 HAS SOUPS 27033 WITH SCORE 27085.206
AT ITER 811 NEW BEST:: SOT 96922 SOS 52170 HAS SOPS 51390 HAS SOUS 27673 HAS SOUPS 27002 WITH SCORE 27054.17
AT ITER 816 NEW BEST:: SOT 96922 SOS 52168 HAS SOPS 51383 HAS SOUS 27673 HAS SOUPS 26997 WITH SCORE 27049.168
AT ITER 829 NEW BEST:: SOT 96922 SOS 52170 HAS SOPS 51361 HAS SOUS 27661 HAS SOUPS 26973 WITH SCORE 27025.17
AT ITER 834 NEW BEST:: SOT 96870 SOS 51889 HAS SOPS 51054 HAS SOUS 27661 HAS SOUPS 26947 WITH SCORE 26998.889
AT ITER 835 NEW BEST:: SOT 96849 SOS 51868 HAS SOPS 51033 HAS SOUS 27660 HAS SOUPS 26946 WITH SCORE 26997.868
AT ITER 836 NEW BEST:: SOT 96849 SOS 51843 HAS SOPS 51008 HAS SOUS 27660 HAS SOUPS 26946 WITH SCORE 26997.843
AT ITER 838 NEW BEST:: SOT 96766 SOS 51760 HAS SOPS 50925 HAS SOUS 27528 HAS SOUPS 26814 WITH SCORE 26865.76
AT ITER 842 NEW BEST:: SOT 96766 SOS 51726 HAS SOPS 50891 HAS SOUS 27494 HAS SOUPS 26780 WITH SCORE 26831.726
AT ITER 843 NEW BEST:: SOT 96766 SOS 51721 HAS SOPS 50886 HAS SOUS 27486 HAS SOUPS 26772 WITH SCORE 26823.721
AT ITER 853 NEW BEST:: SOT 96759 SOS 51630 HAS SOPS 50788 HAS SOUS 27493 HAS SOUPS 26772 WITH SCORE 26823.63
AT ITER 862 NEW BEST:: SOT 96341 SOS 51994 HAS SOPS 51180 HAS SOUS 27433 HAS SOUPS 26712 WITH SCORE 26763.994
AT ITER 863 NEW BEST:: SOT 96318 SOS 51971 HAS SOPS 51157 HAS SOUS 27398 HAS SOUPS 26677 WITH SCORE 26728.971
AT ITER 870 NEW BEST:: SOT 96135 SOS 52097 HAS SOPS 51283 HAS SOUS 27219 HAS SOUPS 26498 WITH SCORE 26550.097
AT ITER 880 NEW BEST:: SOT 96248 SOS 52090 HAS SOPS 51276 HAS SOUS 27211 HAS SOUPS 26490 WITH SCORE 26542.09
AT ITER 881 NEW BEST:: SOT 96326 SOS 52168 HAS SOPS 51354 HAS SOUS 27172 HAS SOUPS 26451 WITH SCORE 26503.168
AT ITER 887 NEW BEST:: SOT 96370 SOS 50975 HAS SOPS 50149 HAS SOUS 27169 HAS SOUPS 26436 WITH SCORE 26486.975
AT ITER 890 NEW BEST:: SOT 96329 SOS 50926 HAS SOPS 50100 HAS SOUS 27087 HAS SOUPS 26354 WITH SCORE 26404.926
AT ITER 891 NEW BEST:: SOT 96297 SOS 50894 HAS SOPS 50068 HAS SOUS 27009 HAS SOUPS 26276 WITH SCORE 26326.894
AT ITER 895 NEW BEST:: SOT 96287 SOS 50880 HAS SOPS 50038 HAS SOUS 26999 HAS SOUPS 26250 WITH SCORE 26300.88
AT ITER 901 NEW BEST:: SOT 96329 SOS 50922 HAS SOPS 50080 HAS SOUS 26989 HAS SOUPS 26240 WITH SCORE 26290.922
AT ITER 904 NEW BEST:: SOT 96338 SOS 50921 HAS SOPS 50079 HAS SOUS 26988 HAS SOUPS 26239 WITH SCORE 26289.921
AT ITER 909 NEW BEST:: SOT 96305 SOS 50826 HAS SOPS 49984 HAS SOUS 26859 HAS SOUPS 26110 WITH SCORE 26160.826
AT ITER 910 NEW BEST:: SOT 96273 SOS 50518 HAS SOPS 49676 HAS SOUS 26655 HAS SOUPS 25906 WITH SCORE 25956.518
AT ITER 914 NEW BEST:: SOT 96593 SOS 50327 HAS SOPS 49485 HAS SOUS 26608 HAS SOUPS 25859 WITH SCORE 25909.327
AT ITER 922 NEW BEST:: SOT 96540 SOS 50274 HAS SOPS 49432 HAS SOUS 26502 HAS SOUPS 25753 WITH SCORE 25803.274
AT ITER 932 NEW BEST:: SOT 96289 SOS 50023 HAS SOPS 49181 HAS SOUS 26315 HAS SOUPS 25566 WITH SCORE 25616.023
AT ITER 933 NEW BEST:: SOT 96231 SOS 49965 HAS SOPS 49123 HAS SOUS 26079 HAS SOUPS 25330 WITH SCORE 25379.965
AT ITER 936 NEW BEST:: SOT 95786 SOS 49520 HAS SOPS 48678 HAS SOUS 25793 HAS SOUPS 25044 WITH SCORE 25093.52
AT ITER 944 NEW BEST:: SOT 95742 SOS 49459 HAS SOPS 48617 HAS SOUS 25788 HAS SOUPS 25039 WITH SCORE 25088.459
AT ITER 948 NEW BEST:: SOT 95698 SOS 49449 HAS SOPS 48607 HAS SOUS 25788 HAS SOUPS 25039 WITH SCORE 25088.449
AT ITER 968 NEW BEST:: SOT 95557 SOS 49512 HAS SOPS 48670 HAS SOUS 25787 HAS SOUPS 25038 WITH SCORE 25087.512
AT ITER 969 NEW BEST:: SOT 95565 SOS 49520 HAS SOPS 48678 HAS SOUS 25762 HAS SOUPS 25013 WITH SCORE 25062.52
AT ITER 970 NEW BEST:: SOT 95451 SOS 49426 HAS SOPS 48584 HAS SOUS 25740 HAS SOUPS 24991 WITH SCORE 25040.426
AT ITER 978 NEW BEST:: SOT 95382 SOS 49311 HAS SOPS 48469 HAS SOUS 25717 HAS SOUPS 24968 WITH SCORE 25017.311
AT ITER 979 NEW BEST:: SOT 94778 SOS 48845 HAS SOPS 48003 HAS SOUS 25359 HAS SOUPS 24610 WITH SCORE 24658.845
AT ITER 980 NEW BEST:: SOT 94735 SOS 48859 HAS SOPS 47961 HAS SOUS 25352 HAS SOUPS 24558 WITH SCORE 24606.859
AT ITER 989 NEW BEST:: SOT 94751 SOS 48850 HAS SOPS 47952 HAS SOUS 25338 HAS SOUPS 24544 WITH SCORE 24592.85
AT ITER 991 NEW BEST:: SOT 94734 SOS 48805 HAS SOPS 47899 HAS SOUS 25325 HAS SOUPS 24523 WITH SCORE 24571.805
AT ITER 992 NEW BEST:: SOT 94857 SOS 48923 HAS SOPS 48017 HAS SOUS 25304 HAS SOUPS 24502 WITH SCORE 24550.923
AT ITER 993 NEW BEST:: SOT 94979 SOS 48920 HAS SOPS 47859 HAS SOUS 25321 HAS SOUPS 24466 WITH SCORE 24514.92
AT ITER 1019 NEW BEST:: SOT 94925 SOS 48866 HAS SOPS 47805 HAS SOUS 25316 HAS SOUPS 24461 WITH SCORE 24509.866
AT ITER 1021 NEW BEST:: SOT 94907 SOS 48855 HAS SOPS 47794 HAS SOUS 25311 HAS SOUPS 24456 WITH SCORE 24504.855
AT ITER 1022 NEW BEST:: SOT 94792 SOS 48720 HAS SOPS 47659 HAS SOUS 25115 HAS SOUPS 24260 WITH SCORE 24308.72
AT ITER 1027 NEW BEST:: SOT 94784 SOS 48691 HAS SOPS 47627 HAS SOUS 25107 HAS SOUPS 24249 WITH SCORE 24297.691
AT ITER 1029 NEW BEST:: SOT 94780 SOS 48685 HAS SOPS 47623 HAS SOUS 25104 HAS SOUPS 24247 WITH SCORE 24295.685
AT ITER 1039 NEW BEST:: SOT 94760 SOS 48665 HAS SOPS 47603 HAS SOUS 25088 HAS SOUPS 24231 WITH SCORE 24279.665
AT ITER 1047 NEW BEST:: SOT 94760 SOS 48649 HAS SOPS 47587 HAS SOUS 25072 HAS SOUPS 24215 WITH SCORE 24263.649
AT ITER 1048 NEW BEST:: SOT 94748 SOS 48625 HAS SOPS 47563 HAS SOUS 25072 HAS SOUPS 24215 WITH SCORE 24263.625
AT ITER 1051 NEW BEST:: SOT 94700 SOS 48577 HAS SOPS 47515 HAS SOUS 25024 HAS SOUPS 24167 WITH SCORE 24215.577
AT ITER 1058 NEW BEST:: SOT 94763 SOS 48338 HAS SOPS 47276 HAS SOUS 25004 HAS SOUPS 24147 WITH SCORE 24195.338
AT ITER 1061 NEW BEST:: SOT 94925 SOS 47709 HAS SOPS 46647 HAS SOUS 24997 HAS SOUPS 24140 WITH SCORE 24187.709
AT ITER 1072 NEW BEST:: SOT 94904 SOS 47664 HAS SOPS 46602 HAS SOUS 24966 HAS SOUPS 24109 WITH SCORE 24156.664
AT ITER 1075 NEW BEST:: SOT 94902 SOS 47662 HAS SOPS 46600 HAS SOUS 24937 HAS SOUPS 24080 WITH SCORE 24127.662
AT ITER 1078 NEW BEST:: SOT 94797 SOS 47557 HAS SOPS 46495 HAS SOUS 24877 HAS SOUPS 24020 WITH SCORE 24067.557
AT ITER 1084 NEW BEST:: SOT 94797 SOS 47557 HAS SOPS 46495 HAS SOUS 24875 HAS SOUPS 24018 WITH SCORE 24065.557
AT ITER 1087 NEW BEST:: SOT 94681 SOS 47441 HAS SOPS 46379 HAS SOUS 24779 HAS SOUPS 23922 WITH SCORE 23969.441
AT ITER 1089 NEW BEST:: SOT 94597 SOS 47357 HAS SOPS 46295 HAS SOUS 24751 HAS SOUPS 23894 WITH SCORE 23941.357
AT ITER 1100 NEW BEST:: SOT 94597 SOS 47357 HAS SOPS 46295 HAS SOUS 24731 HAS SOUPS 23874 WITH SCORE 23921.357
AT ITER 1103 NEW BEST:: SOT 94567 SOS 47327 HAS SOPS 46265 HAS SOUS 24698 HAS SOUPS 23841 WITH SCORE 23888.327
AT ITER 1113 NEW BEST:: SOT 94699 SOS 47169 HAS SOPS 46107 HAS SOUS 24663 HAS SOUPS 23806 WITH SCORE 23853.169
AT ITER 1129 NEW BEST:: SOT 94677 SOS 47147 HAS SOPS 46085 HAS SOUS 24663 HAS SOUPS 23806 WITH SCORE 23853.147
AT ITER 1138 NEW BEST:: SOT 94605 SOS 47075 HAS SOPS 46013 HAS SOUS 24651 HAS SOUPS 23794 WITH SCORE 23841.075
AT ITER 1141 NEW BEST:: SOT 94606 SOS 47076 HAS SOPS 46014 HAS SOUS 24628 HAS SOUPS 23771 WITH SCORE 23818.076
AT ITER 1145 NEW BEST:: SOT 94799 SOS 47015 HAS SOPS 45934 HAS SOUS 24511 HAS SOUPS 23635 WITH SCORE 23682.015
AT ITER 1147 NEW BEST:: SOT 94473 SOS 46277 HAS SOPS 45196 HAS SOUS 24167 HAS SOUPS 23291 WITH SCORE 23337.277
AT ITER 1149 NEW BEST:: SOT 94467 SOS 46237 HAS SOPS 45156 HAS SOUS 24133 HAS SOUPS 23257 WITH SCORE 23303.237
AT ITER 1159 NEW BEST:: SOT 94204 SOS 45899 HAS SOPS 44818 HAS SOUS 23992 HAS SOUPS 23116 WITH SCORE 23161.899
AT ITER 1160 NEW BEST:: SOT 93972 SOS 45525 HAS SOPS 44444 HAS SOUS 23752 HAS SOUPS 22876 WITH SCORE 22921.525
AT ITER 1163 NEW BEST:: SOT 93964 SOS 45517 HAS SOPS 44436 HAS SOUS 23744 HAS SOUPS 22868 WITH SCORE 22913.517
AT ITER 1167 NEW BEST:: SOT 93916 SOS 45422 HAS SOPS 44320 HAS SOUS 23710 HAS SOUPS 22813 WITH SCORE 22858.422
AT ITER 1172 NEW BEST:: SOT 94039 SOS 45473 HAS SOPS 44371 HAS SOUS 23652 HAS SOUPS 22755 WITH SCORE 22800.473
AT ITER 1175 NEW BEST:: SOT 94015 SOS 45371 HAS SOPS 44269 HAS SOUS 23646 HAS SOUPS 22749 WITH SCORE 22794.371
AT ITER 1177 NEW BEST:: SOT 94051 SOS 45380 HAS SOPS 44251 HAS SOUS 23637 HAS SOUPS 22731 WITH SCORE 22776.38
AT ITER 1179 NEW BEST:: SOT 94216 SOS 45423 HAS SOPS 44258 HAS SOUS 23636 HAS SOUPS 22694 WITH SCORE 22739.423
AT ITER 1184 NEW BEST:: SOT 94204 SOS 45431 HAS SOPS 44266 HAS SOUS 23624 HAS SOUPS 22682 WITH SCORE 22727.431
AT ITER 1186 NEW BEST:: SOT 94151 SOS 45353 HAS SOPS 44188 HAS SOUS 23598 HAS SOUPS 22656 WITH SCORE 22701.353
AT ITER 1193 NEW BEST:: SOT 94166 SOS 45263 HAS SOPS 44093 HAS SOUS 23586 HAS SOUPS 22639 WITH SCORE 22684.263
AT ITER 1197 NEW BEST:: SOT 94183 SOS 45280 HAS SOPS 44110 HAS SOUS 23573 HAS SOUPS 22626 WITH SCORE 22671.28
AT ITER 1199 NEW BEST:: SOT 94281 SOS 45378 HAS SOPS 44208 HAS SOUS 23543 HAS SOUPS 22596 WITH SCORE 22641.378
AT ITER 1208 NEW BEST:: SOT 94302 SOS 45482 HAS SOPS 44325 HAS SOUS 23430 HAS SOUPS 22496 WITH SCORE 22541.482
AT ITER 1215 NEW BEST:: SOT 94270 SOS 45450 HAS SOPS 44293 HAS SOUS 23366 HAS SOUPS 22432 WITH SCORE 22477.45
AT ITER 1218 NEW BEST:: SOT 94260 SOS 45364 HAS SOPS 44207 HAS SOUS 23360 HAS SOUPS 22426 WITH SCORE 22471.364
AT ITER 1219 NEW BEST:: SOT 94181 SOS 45360 HAS SOPS 44203 HAS SOUS 23347 HAS SOUPS 22413 WITH SCORE 22458.36
AT ITER 1221 NEW BEST:: SOT 94181 SOS 45176 HAS SOPS 43996 HAS SOUS 23370 HAS SOUPS 22413 WITH SCORE 22458.176
AT ITER 1224 NEW BEST:: SOT 94233 SOS 45223 HAS SOPS 44043 HAS SOUS 23334 HAS SOUPS 22377 WITH SCORE 22422.223
AT ITER 1245 NEW BEST:: SOT 94233 SOS 45188 HAS SOPS 44003 HAS SOUS 23339 HAS SOUPS 22377 WITH SCORE 22422.188
AT ITER 1250 NEW BEST:: SOT 94233 SOS 45163 HAS SOPS 43978 HAS SOUS 23312 HAS SOUPS 22350 WITH SCORE 22395.163
AT ITER 1252 NEW BEST:: SOT 94210 SOS 45140 HAS SOPS 43955 HAS SOUS 23282 HAS SOUPS 22320 WITH SCORE 22365.14
AT ITER 1254 NEW BEST:: SOT 94075 SOS 45744 HAS SOPS 44559 HAS SOUS 23274 HAS SOUPS 22312 WITH SCORE 22357.744
AT ITER 1255 NEW BEST:: SOT 94060 SOS 45699 HAS SOPS 44514 HAS SOUS 23274 HAS SOUPS 22312 WITH SCORE 22357.699
AT ITER 1260 NEW BEST:: SOT 94052 SOS 45649 HAS SOPS 44464 HAS SOUS 23273 HAS SOUPS 22311 WITH SCORE 22356.649
AT ITER 1272 NEW BEST:: SOT 94052 SOS 45541 HAS SOPS 44356 HAS SOUS 23261 HAS SOUPS 22299 WITH SCORE 22344.541
AT ITER 1280 NEW BEST:: SOT 93924 SOS 45522 HAS SOPS 44409 HAS SOUS 23220 HAS SOUPS 22294 WITH SCORE 22339.522
AT ITER 1288 NEW BEST:: SOT 93872 SOS 45522 HAS SOPS 44409 HAS SOUS 23207 HAS SOUPS 22281 WITH SCORE 22326.522
AT ITER 1289 NEW BEST:: SOT 93875 SOS 45521 HAS SOPS 44408 HAS SOUS 23206 HAS SOUPS 22280 WITH SCORE 22325.521
AT ITER 1290 NEW BEST:: SOT 93799 SOS 45416 HAS SOPS 44303 HAS SOUS 23093 HAS SOUPS 22167 WITH SCORE 22212.416
AT ITER 1306 NEW BEST:: SOT 93657 SOS 45274 HAS SOPS 44161 HAS SOUS 23050 HAS SOUPS 22124 WITH SCORE 22169.274
AT ITER 1314 NEW BEST:: SOT 93555 SOS 45282 HAS SOPS 44169 HAS SOUS 23024 HAS SOUPS 22098 WITH SCORE 22143.282
AT ITER 1323 NEW BEST:: SOT 93534 SOS 45261 HAS SOPS 44148 HAS SOUS 23003 HAS SOUPS 22077 WITH SCORE 22122.261
AT ITER 1335 NEW BEST:: SOT 93525 SOS 45252 HAS SOPS 44139 HAS SOUS 22994 HAS SOUPS 22068 WITH SCORE 22113.252
AT ITER 1355 NEW BEST:: SOT 93438 SOS 45132 HAS SOPS 44019 HAS SOUS 22874 HAS SOUPS 21948 WITH SCORE 21993.132
AT ITER 1364 NEW BEST:: SOT 93410 SOS 45104 HAS SOPS 43991 HAS SOUS 22840 HAS SOUPS 21914 WITH SCORE 21959.104
AT ITER 1365 NEW BEST:: SOT 93402 SOS 45008 HAS SOPS 43895 HAS SOUS 22824 HAS SOUPS 21898 WITH SCORE 21943.008
AT ITER 1373 NEW BEST:: SOT 93396 SOS 45002 HAS SOPS 43889 HAS SOUS 22822 HAS SOUPS 21896 WITH SCORE 21941.002
AT ITER 1374 NEW BEST:: SOT 93397 SOS 45003 HAS SOPS 43890 HAS SOUS 22805 HAS SOUPS 21879 WITH SCORE 21924.003
AT ITER 1376 NEW BEST:: SOT 93397 SOS 44835 HAS SOPS 43722 HAS SOUS 22781 HAS SOUPS 21855 WITH SCORE 21899.835
AT ITER 1379 NEW BEST:: SOT 93010 SOS 44385 HAS SOPS 43272 HAS SOUS 22496 HAS SOUPS 21570 WITH SCORE 21614.385
AT ITER 1391 NEW BEST:: SOT 92860 SOS 44235 HAS SOPS 43122 HAS SOUS 22312 HAS SOUPS 21386 WITH SCORE 21430.235
AT ITER 1407 NEW BEST:: SOT 92949 SOS 44324 HAS SOPS 43211 HAS SOUS 22115 HAS SOUPS 21189 WITH SCORE 21233.324
AT ITER 1410 NEW BEST:: SOT 92899 SOS 44249 HAS SOPS 43136 HAS SOUS 22090 HAS SOUPS 21164 WITH SCORE 21208.249
AT ITER 1416 NEW BEST:: SOT 92875 SOS 44249 HAS SOPS 43136 HAS SOUS 22083 HAS SOUPS 21157 WITH SCORE 21201.249
AT ITER 1418 NEW BEST:: SOT 92875 SOS 44180 HAS SOPS 43093 HAS SOUS 22057 HAS SOUPS 21157 WITH SCORE 21201.18
AT ITER 1450 NEW BEST:: SOT 92810 SOS 44110 HAS SOPS 43023 HAS SOUS 22015 HAS SOUPS 21115 WITH SCORE 21159.11
AT ITER 1453 NEW BEST:: SOT 92804 SOS 44104 HAS SOPS 43017 HAS SOUS 21934 HAS SOUPS 21034 WITH SCORE 21078.104
AT ITER 1455 NEW BEST:: SOT 92830 SOS 44078 HAS SOPS 42991 HAS SOUS 21934 HAS SOUPS 21034 WITH SCORE 21078.078
AT ITER 1456 NEW BEST:: SOT 92718 SOS 43971 HAS SOPS 42884 HAS SOUS 21862 HAS SOUPS 20962 WITH SCORE 21005.971
AT ITER 1457 NEW BEST:: SOT 92700 SOS 43827 HAS SOPS 42740 HAS SOUS 21854 HAS SOUPS 20954 WITH SCORE 20997.827
AT ITER 1473 NEW BEST:: SOT 92789 SOS 43753 HAS SOPS 42643 HAS SOUS 21821 HAS SOUPS 20921 WITH SCORE 20964.753
AT ITER 1481 NEW BEST:: SOT 92788 SOS 43742 HAS SOPS 42632 HAS SOUS 21819 HAS SOUPS 20919 WITH SCORE 20962.742
AT ITER 1482 NEW BEST:: SOT 92716 SOS 43580 HAS SOPS 42470 HAS SOUS 21783 HAS SOUPS 20883 WITH SCORE 20926.58
AT ITER 1487 NEW BEST:: SOT 92727 SOS 43565 HAS SOPS 42481 HAS SOUS 21755 HAS SOUPS 20881 WITH SCORE 20924.565
AT ITER 1488 NEW BEST:: SOT 92723 SOS 43561 HAS SOPS 42477 HAS SOUS 21753 HAS SOUPS 20879 WITH SCORE 20922.561
AT ITER 1493 NEW BEST:: SOT 92723 SOS 43554 HAS SOPS 42470 HAS SOUS 21753 HAS SOUPS 20879 WITH SCORE 20922.554
AT ITER 1514 NEW BEST:: SOT 92642 SOS 43464 HAS SOPS 42380 HAS SOUS 21699 HAS SOUPS 20825 WITH SCORE 20868.464
AT ITER 1519 NEW BEST:: SOT 92513 SOS 43317 HAS SOPS 42229 HAS SOUS 21669 HAS SOUPS 20791 WITH SCORE 20834.317
AT ITER 1521 NEW BEST:: SOT 92570 SOS 43098 HAS SOPS 41932 HAS SOUS 21649 HAS SOUPS 20732 WITH SCORE 20775.098
AT ITER 1524 NEW BEST:: SOT 92613 SOS 43221 HAS SOPS 42055 HAS SOUS 21634 HAS SOUPS 20717 WITH SCORE 20760.221
AT ITER 1531 NEW BEST:: SOT 92510 SOS 43118 HAS SOPS 41952 HAS SOUS 21607 HAS SOUPS 20690 WITH SCORE 20733.118
AT ITER 1550 NEW BEST:: SOT 92497 SOS 43018 HAS SOPS 41852 HAS SOUS 21582 HAS SOUPS 20665 WITH SCORE 20708.018
AT ITER 1551 NEW BEST:: SOT 92339 SOS 42915 HAS SOPS 41749 HAS SOUS 21572 HAS SOUPS 20655 WITH SCORE 20697.915
AT ITER 1557 NEW BEST:: SOT 92428 SOS 42872 HAS SOPS 41706 HAS SOUS 21551 HAS SOUPS 20634 WITH SCORE 20676.872
AT ITER 1559 NEW BEST:: SOT 92340 SOS 42784 HAS SOPS 41618 HAS SOUS 21507 HAS SOUPS 20590 WITH SCORE 20632.784
AT ITER 1561 NEW BEST:: SOT 92306 SOS 42750 HAS SOPS 41584 HAS SOUS 21439 HAS SOUPS 20522 WITH SCORE 20564.75
AT ITER 1568 NEW BEST:: SOT 92254 SOS 42842 HAS SOPS 41676 HAS SOUS 21411 HAS SOUPS 20494 WITH SCORE 20536.842
AT ITER 1582 NEW BEST:: SOT 92592 SOS 42791 HAS SOPS 41612 HAS SOUS 21271 HAS SOUPS 20354 WITH SCORE 20396.791
AT ITER 1606 NEW BEST:: SOT 92591 SOS 42213 HAS SOPS 41034 HAS SOUS 21254 HAS SOUPS 20337 WITH SCORE 20379.213
AT ITER 1612 NEW BEST:: SOT 92567 SOS 42147 HAS SOPS 40968 HAS SOUS 21248 HAS SOUPS 20331 WITH SCORE 20373.147
AT ITER 1613 NEW BEST:: SOT 92502 SOS 42082 HAS SOPS 40903 HAS SOUS 21241 HAS SOUPS 20324 WITH SCORE 20366.082
AT ITER 1616 NEW BEST:: SOT 92457 SOS 42064 HAS SOPS 40894 HAS SOUS 21232 HAS SOUPS 20324 WITH SCORE 20366.064
AT ITER 1618 NEW BEST:: SOT 92451 SOS 41999 HAS SOPS 40868 HAS SOUS 21167 HAS SOUPS 20298 WITH SCORE 20339.999
AT ITER 1624 NEW BEST:: SOT 92445 SOS 42019 HAS SOPS 40888 HAS SOUS 21161 HAS SOUPS 20292 WITH SCORE 20334.019
AT ITER 1639 NEW BEST:: SOT 92422 SOS 42000 HAS SOPS 40869 HAS SOUS 21157 HAS SOUPS 20288 WITH SCORE 20330.0
AT ITER 1640 NEW BEST:: SOT 92190 SOS 41768 HAS SOPS 40637 HAS SOUS 20935 HAS SOUPS 20066 WITH SCORE 20107.768
AT ITER 1650 NEW BEST:: SOT 92011 SOS 41589 HAS SOPS 40458 HAS SOUS 20795 HAS SOUPS 19926 WITH SCORE 19967.589
AT ITER 1658 NEW BEST:: SOT 92010 SOS 41576 HAS SOPS 40445 HAS SOUS 20788 HAS SOUPS 19919 WITH SCORE 19960.576
AT ITER 1678 NEW BEST:: SOT 92092 SOS 41614 HAS SOPS 40483 HAS SOUS 20765 HAS SOUPS 19896 WITH SCORE 19937.614
AT ITER 1680 NEW BEST:: SOT 92087 SOS 41609 HAS SOPS 40478 HAS SOUS 20762 HAS SOUPS 19893 WITH SCORE 19934.609
AT ITER 1683 NEW BEST:: SOT 91966 SOS 41056 HAS SOPS 39880 HAS SOUS 20670 HAS SOUPS 19801 WITH SCORE 19842.056
AT ITER 1693 NEW BEST:: SOT 91957 SOS 41047 HAS SOPS 39871 HAS SOUS 20661 HAS SOUPS 19792 WITH SCORE 19833.047
AT ITER 1713 NEW BEST:: SOT 92009 SOS 41101 HAS SOPS 39941 HAS SOUS 20516 HAS SOUPS 19663 WITH SCORE 19704.101
AT ITER 1715 NEW BEST:: SOT 92008 SOS 41099 HAS SOPS 39939 HAS SOUS 20513 HAS SOUPS 19660 WITH SCORE 19701.099
AT ITER 1722 NEW BEST:: SOT 91688 SOS 40780 HAS SOPS 39622 HAS SOUS 20387 HAS SOUPS 19536 WITH SCORE 19576.78
AT ITER 1738 NEW BEST:: SOT 91654 SOS 40746 HAS SOPS 39588 HAS SOUS 20373 HAS SOUPS 19522 WITH SCORE 19562.746
AT ITER 1742 NEW BEST:: SOT 91654 SOS 40745 HAS SOPS 39587 HAS SOUS 20372 HAS SOUPS 19521 WITH SCORE 19561.745
AT ITER 1748 NEW BEST:: SOT 91654 SOS 40724 HAS SOPS 39566 HAS SOUS 20372 HAS SOUPS 19521 WITH SCORE 19561.724
AT ITER 1764 NEW BEST:: SOT 91639 SOS 40466 HAS SOPS 39308 HAS SOUS 20324 HAS SOUPS 19473 WITH SCORE 19513.466
AT ITER 1775 NEW BEST:: SOT 91541 SOS 40474 HAS SOPS 39316 HAS SOUS 20321 HAS SOUPS 19470 WITH SCORE 19510.474
AT ITER 1789 NEW BEST:: SOT 91485 SOS 40418 HAS SOPS 39260 HAS SOUS 20269 HAS SOUPS 19418 WITH SCORE 19458.418
AT ITER 1840 NEW BEST:: SOT 91485 SOS 40413 HAS SOPS 39255 HAS SOUS 20269 HAS SOUPS 19418 WITH SCORE 19458.413
AT ITER 1849 NEW BEST:: SOT 91508 SOS 40428 HAS SOPS 39270 HAS SOUS 20265 HAS SOUPS 19414 WITH SCORE 19454.428
AT ITER 1871 NEW BEST:: SOT 91558 SOS 39938 HAS SOPS 38780 HAS SOUS 20234 HAS SOUPS 19383 WITH SCORE 19422.938
AT ITER 1881 NEW BEST:: SOT 91558 SOS 39938 HAS SOPS 38780 HAS SOUS 20196 HAS SOUPS 19345 WITH SCORE 19384.938
AT ITER 1886 NEW BEST:: SOT 91509 SOS 39863 HAS SOPS 38705 HAS SOUS 20124 HAS SOUPS 19273 WITH SCORE 19312.863
AT ITER 1887 NEW BEST:: SOT 91533 SOS 39903 HAS SOPS 38718 HAS SOUS 20121 HAS SOUPS 19259 WITH SCORE 19298.903
AT ITER 1894 NEW BEST:: SOT 91547 SOS 39917 HAS SOPS 38732 HAS SOUS 20106 HAS SOUPS 19244 WITH SCORE 19283.917
AT ITER 1907 NEW BEST:: SOT 91722 SOS 40092 HAS SOPS 38907 HAS SOUS 20102 HAS SOUPS 19240 WITH SCORE 19280.092
AT ITER 1914 NEW BEST:: SOT 91667 SOS 40848 HAS SOPS 39663 HAS SOUS 20098 HAS SOUPS 19236 WITH SCORE 19276.848
AT ITER 1919 NEW BEST:: SOT 91681 SOS 40792 HAS SOPS 39660 HAS SOUS 20036 HAS SOUPS 19227 WITH SCORE 19267.792
AT ITER 1920 NEW BEST:: SOT 91699 SOS 40816 HAS SOPS 39684 HAS SOUS 20024 HAS SOUPS 19215 WITH SCORE 19255.816
AT ITER 1934 NEW BEST:: SOT 91680 SOS 40772 HAS SOPS 39640 HAS SOUS 20005 HAS SOUPS 19196 WITH SCORE 19236.772
AT ITER 1953 NEW BEST:: SOT 91615 SOS 40647 HAS SOPS 39515 HAS SOUS 19939 HAS SOUPS 19130 WITH SCORE 19170.647
AT ITER 1955 NEW BEST:: SOT 91523 SOS 40463 HAS SOPS 39331 HAS SOUS 19886 HAS SOUPS 19077 WITH SCORE 19117.463
AT ITER 1957 NEW BEST:: SOT 91523 SOS 40463 HAS SOPS 39331 HAS SOUS 19875 HAS SOUPS 19066 WITH SCORE 19106.463
AT ITER 1959 NEW BEST:: SOT 91574 SOS 40343 HAS SOPS 39211 HAS SOUS 19836 HAS SOUPS 19027 WITH SCORE 19067.343
AT ITER 1967 NEW BEST:: SOT 91670 SOS 40081 HAS SOPS 38949 HAS SOUS 19723 HAS SOUPS 18914 WITH SCORE 18954.081
AT ITER 1991 NEW BEST:: SOT 91414 SOS 39825 HAS SOPS 38693 HAS SOUS 19650 HAS SOUPS 18841 WITH SCORE 18880.825
AT ITER 1992 NEW BEST:: SOT 91312 SOS 39733 HAS SOPS 38603 HAS SOUS 19615 HAS SOUPS 18806 WITH SCORE 18845.733
AT ITER 2004 NEW BEST:: SOT 91235 SOS 39656 HAS SOPS 38526 HAS SOUS 19457 HAS SOUPS 18648 WITH SCORE 18687.656
AT ITER 2006 NEW BEST:: SOT 91177 SOS 39527 HAS SOPS 38397 HAS SOUS 19420 HAS SOUPS 18611 WITH SCORE 18650.527
AT ITER 2022 NEW BEST:: SOT 91224 SOS 39548 HAS SOPS 38418 HAS SOUS 19363 HAS SOUPS 18554 WITH SCORE 18593.548
AT ITER 2034 NEW BEST:: SOT 91196 SOS 39387 HAS SOPS 38257 HAS SOUS 19363 HAS SOUPS 18554 WITH SCORE 18593.387
AT ITER 2054 NEW BEST:: SOT 91149 SOS 39322 HAS SOPS 38192 HAS SOUS 19348 HAS SOUPS 18539 WITH SCORE 18578.322
AT ITER 2057 NEW BEST:: SOT 91125 SOS 39377 HAS SOPS 38247 HAS SOUS 19346 HAS SOUPS 18537 WITH SCORE 18576.377
AT ITER 2058 NEW BEST:: SOT 91125 SOS 39377 HAS SOPS 38247 HAS SOUS 19341 HAS SOUPS 18532 WITH SCORE 18571.377
AT ITER 2063 NEW BEST:: SOT 91157 SOS 39272 HAS SOPS 38114 HAS SOUS 19337 HAS SOUPS 18528 WITH SCORE 18567.272
AT ITER 2067 NEW BEST:: SOT 91191 SOS 39191 HAS SOPS 38033 HAS SOUS 19325 HAS SOUPS 18516 WITH SCORE 18555.191
AT ITER 2086 NEW BEST:: SOT 91182 SOS 39182 HAS SOPS 38024 HAS SOUS 19316 HAS SOUPS 18507 WITH SCORE 18546.182
AT ITER 2102 NEW BEST:: SOT 91182 SOS 39182 HAS SOPS 38024 HAS SOUS 19313 HAS SOUPS 18504 WITH SCORE 18543.182
AT ITER 2135 NEW BEST:: SOT 91191 SOS 39174 HAS SOPS 38007 HAS SOUS 19315 HAS SOUPS 18497 WITH SCORE 18536.174
AT ITER 2136 NEW BEST:: SOT 91184 SOS 39117 HAS SOPS 37950 HAS SOUS 19308 HAS SOUPS 18490 WITH SCORE 18529.117
AT ITER 2143 NEW BEST:: SOT 91184 SOS 39060 HAS SOPS 37893 HAS SOUS 19287 HAS SOUPS 18469 WITH SCORE 18508.06
AT ITER 2144 NEW BEST:: SOT 91173 SOS 38800 HAS SOPS 37633 HAS SOUS 19283 HAS SOUPS 18465 WITH SCORE 18503.8
AT ITER 2146 NEW BEST:: SOT 91176 SOS 38873 HAS SOPS 37706 HAS SOUS 19262 HAS SOUPS 18444 WITH SCORE 18482.873
AT ITER 2157 NEW BEST:: SOT 91176 SOS 38162 HAS SOPS 36995 HAS SOUS 19258 HAS SOUPS 18440 WITH SCORE 18478.162
AT ITER 2178 NEW BEST:: SOT 91150 SOS 38156 HAS SOPS 36989 HAS SOUS 19242 HAS SOUPS 18424 WITH SCORE 18462.156
AT ITER 2181 NEW BEST:: SOT 91138 SOS 38127 HAS SOPS 36960 HAS SOUS 19203 HAS SOUPS 18385 WITH SCORE 18423.127
AT ITER 2188 NEW BEST:: SOT 91135 SOS 38124 HAS SOPS 36957 HAS SOUS 19200 HAS SOUPS 18382 WITH SCORE 18420.124
AT ITER 2197 NEW BEST:: SOT 91067 SOS 38201 HAS SOPS 37034 HAS SOUS 19198 HAS SOUPS 18380 WITH SCORE 18418.201
AT ITER 2201 NEW BEST:: SOT 91067 SOS 38183 HAS SOPS 37016 HAS SOUS 19198 HAS SOUPS 18380 WITH SCORE 18418.183
AT ITER 2250 NEW BEST:: SOT 90997 SOS 38103 HAS SOPS 36936 HAS SOUS 19168 HAS SOUPS 18350 WITH SCORE 18388.103
AT ITER 2265 NEW BEST:: SOT 90909 SOS 38049 HAS SOPS 36882 HAS SOUS 19144 HAS SOUPS 18326 WITH SCORE 18364.049
AT ITER 2270 NEW BEST:: SOT 90929 SOS 38009 HAS SOPS 36842 HAS SOUS 19144 HAS SOUPS 18326 WITH SCORE 18364.009
AT ITER 2276 NEW BEST:: SOT 90857 SOS 37973 HAS SOPS 36770 HAS SOUS 19167 HAS SOUPS 18313 WITH SCORE 18350.973
AT ITER 2282 NEW BEST:: SOT 90855 SOS 37960 HAS SOPS 36757 HAS SOUS 19152 HAS SOUPS 18298 WITH SCORE 18335.96
AT ITER 2291 NEW BEST:: SOT 90855 SOS 37920 HAS SOPS 36717 HAS SOUS 19137 HAS SOUPS 18283 WITH SCORE 18320.92
AT ITER 2311 NEW BEST:: SOT 90819 SOS 37906 HAS SOPS 36722 HAS SOUS 19109 HAS SOUPS 18274 WITH SCORE 18311.906
AT ITER 2325 NEW BEST:: SOT 90829 SOS 37783 HAS SOPS 36582 HAS SOUS 19092 HAS SOUPS 18257 WITH SCORE 18294.783
AT ITER 2326 NEW BEST:: SOT 90703 SOS 37441 HAS SOPS 36246 HAS SOUS 19001 HAS SOUPS 18172 WITH SCORE 18209.441
AT ITER 2331 NEW BEST:: SOT 90709 SOS 37386 HAS SOPS 36233 HAS SOUS 18940 HAS SOUPS 18153 WITH SCORE 18190.386
AT ITER 2332 NEW BEST:: SOT 90701 SOS 37354 HAS SOPS 36201 HAS SOUS 18916 HAS SOUPS 18129 WITH SCORE 18166.354
AT ITER 2338 NEW BEST:: SOT 90686 SOS 37330 HAS SOPS 36186 HAS SOUS 18875 HAS SOUPS 18097 WITH SCORE 18134.33
AT ITER 2349 NEW BEST:: SOT 90582 SOS 37226 HAS SOPS 36082 HAS SOUS 18771 HAS SOUPS 17993 WITH SCORE 18030.226
AT ITER 2358 NEW BEST:: SOT 90582 SOS 37188 HAS SOPS 36044 HAS SOUS 18771 HAS SOUPS 17993 WITH SCORE 18030.188
AT ITER 2371 NEW BEST:: SOT 90581 SOS 37187 HAS SOPS 36043 HAS SOUS 18770 HAS SOUPS 17992 WITH SCORE 18029.187
AT ITER 2401 NEW BEST:: SOT 90612 SOS 37193 HAS SOPS 36049 HAS SOUS 18707 HAS SOUPS 17929 WITH SCORE 17966.193
AT ITER 2406 NEW BEST:: SOT 90612 SOS 37167 HAS SOPS 36023 HAS SOUS 18705 HAS SOUPS 17927 WITH SCORE 17964.167
AT ITER 2447 NEW BEST:: SOT 90584 SOS 37131 HAS SOPS 35987 HAS SOUS 18693 HAS SOUPS 17915 WITH SCORE 17952.131
AT ITER 2453 NEW BEST:: SOT 90664 SOS 37164 HAS SOPS 36020 HAS SOUS 18683 HAS SOUPS 17905 WITH SCORE 17942.164
AT ITER 2460 NEW BEST:: SOT 90619 SOS 37101 HAS SOPS 35957 HAS SOUS 18665 HAS SOUPS 17887 WITH SCORE 17924.101
AT ITER 2472 NEW BEST:: SOT 90539 SOS 37019 HAS SOPS 35875 HAS SOUS 18545 HAS SOUPS 17767 WITH SCORE 17804.019
AT ITER 2473 NEW BEST:: SOT 90438 SOS 36933 HAS SOPS 35789 HAS SOUS 18527 HAS SOUPS 17749 WITH SCORE 17785.933
AT ITER 2494 NEW BEST:: SOT 90412 SOS 36907 HAS SOPS 35763 HAS SOUS 18490 HAS SOUPS 17712 WITH SCORE 17748.907
AT ITER 2519 NEW BEST:: SOT 90412 SOS 36877 HAS SOPS 35723 HAS SOUS 18490 HAS SOUPS 17702 WITH SCORE 17738.877
AT ITER 2523 NEW BEST:: SOT 90363 SOS 36848 HAS SOPS 35694 HAS SOUS 18477 HAS SOUPS 17689 WITH SCORE 17725.848
AT ITER 2524 NEW BEST:: SOT 90383 SOS 36858 HAS SOPS 35687 HAS SOUS 18480 HAS SOUPS 17686 WITH SCORE 17722.858
AT ITER 2546 NEW BEST:: SOT 90385 SOS 36858 HAS SOPS 35687 HAS SOUS 18478 HAS SOUPS 17684 WITH SCORE 17720.858
AT ITER 2557 NEW BEST:: SOT 90352 SOS 36829 HAS SOPS 35658 HAS SOUS 18465 HAS SOUPS 17671 WITH SCORE 17707.829
AT ITER 2572 NEW BEST:: SOT 90311 SOS 36658 HAS SOPS 35487 HAS SOUS 18460 HAS SOUPS 17666 WITH SCORE 17702.658
AT ITER 2576 NEW BEST:: SOT 90291 SOS 36638 HAS SOPS 35467 HAS SOUS 18440 HAS SOUPS 17646 WITH SCORE 17682.638
AT ITER 2584 NEW BEST:: SOT 90163 SOS 36507 HAS SOPS 35336 HAS SOUS 18356 HAS SOUPS 17562 WITH SCORE 17598.507
AT ITER 2600 NEW BEST:: SOT 90160 SOS 36504 HAS SOPS 35333 HAS SOUS 18353 HAS SOUPS 17559 WITH SCORE 17595.504
AT ITER 2616 NEW BEST:: SOT 90153 SOS 36497 HAS SOPS 35326 HAS SOUS 18351 HAS SOUPS 17557 WITH SCORE 17593.497
AT ITER 2618 NEW BEST:: SOT 90130 SOS 36474 HAS SOPS 35303 HAS SOUS 18351 HAS SOUPS 17557 WITH SCORE 17593.474
AT ITER 2654 NEW BEST:: SOT 90130 SOS 36466 HAS SOPS 35295 HAS SOUS 18343 HAS SOUPS 17549 WITH SCORE 17585.466
AT ITER 2676 NEW BEST:: SOT 90125 SOS 36461 HAS SOPS 35290 HAS SOUS 18333 HAS SOUPS 17539 WITH SCORE 17575.461
AT ITER 2681 NEW BEST:: SOT 90132 SOS 36468 HAS SOPS 35297 HAS SOUS 18326 HAS SOUPS 17532 WITH SCORE 17568.468
AT ITER 2682 NEW BEST:: SOT 90110 SOS 36534 HAS SOPS 35383 HAS SOUS 18316 HAS SOUPS 17522 WITH SCORE 17558.534
AT ITER 2694 NEW BEST:: SOT 90100 SOS 36524 HAS SOPS 35373 HAS SOUS 18267 HAS SOUPS 17473 WITH SCORE 17509.524
AT ITER 2697 NEW BEST:: SOT 90078 SOS 36502 HAS SOPS 35351 HAS SOUS 18234 HAS SOUPS 17440 WITH SCORE 17476.502
AT ITER 2701 NEW BEST:: SOT 90068 SOS 36492 HAS SOPS 35341 HAS SOUS 18224 HAS SOUPS 17430 WITH SCORE 17466.492
AT ITER 2702 NEW BEST:: SOT 90088 SOS 36462 HAS SOPS 35311 HAS SOUS 18224 HAS SOUPS 17430 WITH SCORE 17466.462
AT ITER 2707 NEW BEST:: SOT 90138 SOS 36474 HAS SOPS 35323 HAS SOUS 18166 HAS SOUPS 17372 WITH SCORE 17408.474
AT ITER 2710 NEW BEST:: SOT 90138 SOS 36357 HAS SOPS 35206 HAS SOUS 18153 HAS SOUPS 17359 WITH SCORE 17395.357
AT ITER 2722 NEW BEST:: SOT 90140 SOS 36359 HAS SOPS 35208 HAS SOUS 18148 HAS SOUPS 17354 WITH SCORE 17390.359
AT ITER 2733 NEW BEST:: SOT 90089 SOS 36308 HAS SOPS 35157 HAS SOUS 18108 HAS SOUPS 17314 WITH SCORE 17350.308
AT ITER 2752 NEW BEST:: SOT 90028 SOS 36302 HAS SOPS 35151 HAS SOUS 18105 HAS SOUPS 17311 WITH SCORE 17347.302
AT ITER 2753 NEW BEST:: SOT 90007 SOS 36382 HAS SOPS 35231 HAS SOUS 18078 HAS SOUPS 17284 WITH SCORE 17320.382
AT ITER 2755 NEW BEST:: SOT 89955 SOS 36390 HAS SOPS 35239 HAS SOUS 18065 HAS SOUPS 17271 WITH SCORE 17307.39
AT ITER 2756 NEW BEST:: SOT 89939 SOS 36358 HAS SOPS 35215 HAS SOUS 18033 HAS SOUPS 17247 WITH SCORE 17283.358
AT ITER 2765 NEW BEST:: SOT 89921 SOS 36294 HAS SOPS 35151 HAS SOUS 18009 HAS SOUPS 17223 WITH SCORE 17259.294
AT ITER 2766 NEW BEST:: SOT 89914 SOS 36231 HAS SOPS 35088 HAS SOUS 17995 HAS SOUPS 17209 WITH SCORE 17245.231
AT ITER 2786 NEW BEST:: SOT 89914 SOS 36231 HAS SOPS 35088 HAS SOUS 17988 HAS SOUPS 17202 WITH SCORE 17238.231
AT ITER 2797 NEW BEST:: SOT 89915 SOS 36259 HAS SOPS 35116 HAS SOUS 17976 HAS SOUPS 17190 WITH SCORE 17226.259
AT ITER 2801 NEW BEST:: SOT 89889 SOS 36233 HAS SOPS 35090 HAS SOUS 17937 HAS SOUPS 17151 WITH SCORE 17187.233
AT ITER 2812 NEW BEST:: SOT 89874 SOS 36194 HAS SOPS 35045 HAS SOUS 17898 HAS SOUPS 17112 WITH SCORE 17148.194
AT ITER 2818 NEW BEST:: SOT 89812 SOS 35730 HAS SOPS 34581 HAS SOUS 17855 HAS SOUPS 17069 WITH SCORE 17104.73
AT ITER 2830 NEW BEST:: SOT 89782 SOS 35733 HAS SOPS 34584 HAS SOUS 17847 HAS SOUPS 17061 WITH SCORE 17096.733
AT ITER 2852 NEW BEST:: SOT 89770 SOS 35721 HAS SOPS 34572 HAS SOUS 17835 HAS SOUPS 17049 WITH SCORE 17084.721
AT ITER 2875 NEW BEST:: SOT 89690 SOS 35645 HAS SOPS 34497 HAS SOUS 17798 HAS SOUPS 17013 WITH SCORE 17048.645
AT ITER 2880 NEW BEST:: SOT 89666 SOS 34821 HAS SOPS 33673 HAS SOUS 17750 HAS SOUPS 16965 WITH SCORE 16999.821
AT ITER 2889 NEW BEST:: SOT 89605 SOS 34760 HAS SOPS 33612 HAS SOUS 17653 HAS SOUPS 16868 WITH SCORE 16902.76
AT ITER 2898 NEW BEST:: SOT 89596 SOS 34742 HAS SOPS 33603 HAS SOUS 17643 HAS SOUPS 16867 WITH SCORE 16901.742
AT ITER 2909 NEW BEST:: SOT 89596 SOS 34742 HAS SOPS 33603 HAS SOUS 17629 HAS SOUPS 16853 WITH SCORE 16887.742
AT ITER 2916 NEW BEST:: SOT 89620 SOS 34774 HAS SOPS 33635 HAS SOUS 17622 HAS SOUPS 16846 WITH SCORE 16880.774
AT ITER 2923 NEW BEST:: SOT 89611 SOS 34765 HAS SOPS 33626 HAS SOUS 17619 HAS SOUPS 16843 WITH SCORE 16877.765
AT ITER 2992 NEW BEST:: SOT 89610 SOS 34764 HAS SOPS 33625 HAS SOUS 17618 HAS SOUPS 16842 WITH SCORE 16876.764
AT ITER 3011 NEW BEST:: SOT 89548 SOS 34709 HAS SOPS 33570 HAS SOUS 17570 HAS SOUPS 16794 WITH SCORE 16828.709
AT ITER 3020 NEW BEST:: SOT 89546 SOS 34707 HAS SOPS 33568 HAS SOUS 17566 HAS SOUPS 16790 WITH SCORE 16824.707
AT ITER 3025 NEW BEST:: SOT 89508 SOS 34633 HAS SOPS 33494 HAS SOUS 17556 HAS SOUPS 16780 WITH SCORE 16814.633
AT ITER 3037 NEW BEST:: SOT 89508 SOS 34624 HAS SOPS 33483 HAS SOUS 17555 HAS SOUPS 16778 WITH SCORE 16812.624
AT ITER 3039 NEW BEST:: SOT 89453 SOS 34508 HAS SOPS 33367 HAS SOUS 17489 HAS SOUPS 16712 WITH SCORE 16746.508
AT ITER 3079 NEW BEST:: SOT 89481 SOS 34536 HAS SOPS 33395 HAS SOUS 17483 HAS SOUPS 16706 WITH SCORE 16740.536
AT ITER 3083 NEW BEST:: SOT 89457 SOS 34512 HAS SOPS 33371 HAS SOUS 17435 HAS SOUPS 16658 WITH SCORE 16692.512
AT ITER 3093 NEW BEST:: SOT 89418 SOS 34473 HAS SOPS 33332 HAS SOUS 17417 HAS SOUPS 16640 WITH SCORE 16674.473
AT ITER 3116 NEW BEST:: SOT 89416 SOS 34470 HAS SOPS 33329 HAS SOUS 17415 HAS SOUPS 16638 WITH SCORE 16672.47
AT ITER 3149 NEW BEST:: SOT 89342 SOS 34521 HAS SOPS 33380 HAS SOUS 17397 HAS SOUPS 16620 WITH SCORE 16654.521
AT ITER 3169 NEW BEST:: SOT 89342 SOS 34491 HAS SOPS 33350 HAS SOUS 17376 HAS SOUPS 16599 WITH SCORE 16633.491
AT ITER 3182 NEW BEST:: SOT 89285 SOS 34378 HAS SOPS 33237 HAS SOUS 17347 HAS SOUPS 16570 WITH SCORE 16604.378
AT ITER 3189 NEW BEST:: SOT 89285 SOS 34098 HAS SOPS 32957 HAS SOUS 17347 HAS SOUPS 16570 WITH SCORE 16604.098
AT ITER 3195 NEW BEST:: SOT 89277 SOS 34066 HAS SOPS 32925 HAS SOUS 17347 HAS SOUPS 16570 WITH SCORE 16604.066
AT ITER 3213 NEW BEST:: SOT 89273 SOS 34085 HAS SOPS 32944 HAS SOUS 17346 HAS SOUPS 16569 WITH SCORE 16603.085
AT ITER 3229 NEW BEST:: SOT 89190 SOS 34002 HAS SOPS 32861 HAS SOUS 17342 HAS SOUPS 16565 WITH SCORE 16599.002
AT ITER 3235 NEW BEST:: SOT 89193 SOS 33994 HAS SOPS 32853 HAS SOUS 17326 HAS SOUPS 16549 WITH SCORE 16582.994
AT ITER 3240 NEW BEST:: SOT 89135 SOS 33936 HAS SOPS 32795 HAS SOUS 17312 HAS SOUPS 16535 WITH SCORE 16568.936
AT ITER 3250 NEW BEST:: SOT 89139 SOS 33940 HAS SOPS 32799 HAS SOUS 17306 HAS SOUPS 16529 WITH SCORE 16562.94
AT ITER 3251 NEW BEST:: SOT 89176 SOS 33907 HAS SOPS 32766 HAS SOUS 17291 HAS SOUPS 16514 WITH SCORE 16547.907
AT ITER 3268 NEW BEST:: SOT 89110 SOS 33610 HAS SOPS 32469 HAS SOUS 17225 HAS SOUPS 16448 WITH SCORE 16481.61
AT ITER 3331 NEW BEST:: SOT 89106 SOS 33611 HAS SOPS 32470 HAS SOUS 17222 HAS SOUPS 16445 WITH SCORE 16478.611
AT ITER 3364 NEW BEST:: SOT 89102 SOS 33607 HAS SOPS 32466 HAS SOUS 17218 HAS SOUPS 16441 WITH SCORE 16474.607
AT ITER 3381 NEW BEST:: SOT 89102 SOS 33607 HAS SOPS 32466 HAS SOUS 17204 HAS SOUPS 16427 WITH SCORE 16460.607
AT ITER 3417 NEW BEST:: SOT 89093 SOS 33570 HAS SOPS 32429 HAS SOUS 17175 HAS SOUPS 16398 WITH SCORE 16431.57
AT ITER 3418 NEW BEST:: SOT 89104 SOS 33581 HAS SOPS 32440 HAS SOUS 17170 HAS SOUPS 16393 WITH SCORE 16426.581
AT ITER 3442 NEW BEST:: SOT 89088 SOS 33565 HAS SOPS 32424 HAS SOUS 17161 HAS SOUPS 16384 WITH SCORE 16417.565
AT ITER 3471 NEW BEST:: SOT 89158 SOS 33562 HAS SOPS 32410 HAS SOUS 17129 HAS SOUPS 16341 WITH SCORE 16374.562
AT ITER 3473 NEW BEST:: SOT 89155 SOS 33463 HAS SOPS 32311 HAS SOUS 17118 HAS SOUPS 16330 WITH SCORE 16363.463
AT ITER 3493 NEW BEST:: SOT 89065 SOS 33400 HAS SOPS 32248 HAS SOUS 17095 HAS SOUPS 16307 WITH SCORE 16340.4
AT ITER 3519 NEW BEST:: SOT 89018 SOS 33353 HAS SOPS 32201 HAS SOUS 17048 HAS SOUPS 16260 WITH SCORE 16293.353
AT ITER 3526 NEW BEST:: SOT 89018 SOS 33353 HAS SOPS 32201 HAS SOUS 17042 HAS SOUPS 16254 WITH SCORE 16287.353
AT ITER 3547 NEW BEST:: SOT 88992 SOS 32932 HAS SOPS 31780 HAS SOUS 16962 HAS SOUPS 16174 WITH SCORE 16206.932
AT ITER 3551 NEW BEST:: SOT 88985 SOS 32931 HAS SOPS 31779 HAS SOUS 16955 HAS SOUPS 16167 WITH SCORE 16199.931
AT ITER 3554 NEW BEST:: SOT 88876 SOS 32822 HAS SOPS 31670 HAS SOUS 16913 HAS SOUPS 16125 WITH SCORE 16157.822
AT ITER 3599 NEW BEST:: SOT 89001 SOS 32906 HAS SOPS 31795 HAS SOUS 16823 HAS SOUPS 16076 WITH SCORE 16108.906
AT ITER 3613 NEW BEST:: SOT 88988 SOS 32901 HAS SOPS 31790 HAS SOUS 16811 HAS SOUPS 16064 WITH SCORE 16096.901
AT ITER 3616 NEW BEST:: SOT 88988 SOS 32895 HAS SOPS 31784 HAS SOUS 16802 HAS SOUPS 16055 WITH SCORE 16087.895
AT ITER 3633 NEW BEST:: SOT 88946 SOS 32852 HAS SOPS 31759 HAS SOUS 16793 HAS SOUPS 16055 WITH SCORE 16087.852
AT ITER 3658 NEW BEST:: SOT 88955 SOS 32819 HAS SOPS 31726 HAS SOUS 16787 HAS SOUPS 16049 WITH SCORE 16081.819
AT ITER 3670 NEW BEST:: SOT 88822 SOS 32676 HAS SOPS 31583 HAS SOUS 16604 HAS SOUPS 15866 WITH SCORE 15898.676
AT ITER 3673 NEW BEST:: SOT 88822 SOS 32676 HAS SOPS 31583 HAS SOUS 16601 HAS SOUPS 15863 WITH SCORE 15895.676
AT ITER 3701 NEW BEST:: SOT 88907 SOS 32761 HAS SOPS 31668 HAS SOUS 16544 HAS SOUPS 15806 WITH SCORE 15838.761
AT ITER 3711 NEW BEST:: SOT 88862 SOS 32716 HAS SOPS 31623 HAS SOUS 16495 HAS SOUPS 15757 WITH SCORE 15789.716
AT ITER 3768 NEW BEST:: SOT 88826 SOS 32680 HAS SOPS 31587 HAS SOUS 16481 HAS SOUPS 15743 WITH SCORE 15775.68
AT ITER 3770 NEW BEST:: SOT 88826 SOS 32680 HAS SOPS 31587 HAS SOUS 16480 HAS SOUPS 15742 WITH SCORE 15774.68
AT ITER 3853 NEW BEST:: SOT 88809 SOS 32631 HAS SOPS 31542 HAS SOUS 16479 HAS SOUPS 15738 WITH SCORE 15770.631
AT ITER 3864 NEW BEST:: SOT 88793 SOS 32619 HAS SOPS 31526 HAS SOUS 16470 HAS SOUPS 15725 WITH SCORE 15757.619
AT ITER 3905 NEW BEST:: SOT 88767 SOS 32735 HAS SOPS 31642 HAS SOUS 16463 HAS SOUPS 15718 WITH SCORE 15750.735
AT ITER 3910 NEW BEST:: SOT 88751 SOS 32719 HAS SOPS 31626 HAS SOUS 16451 HAS SOUPS 15706 WITH SCORE 15738.719
AT ITER 3917 NEW BEST:: SOT 88757 SOS 32721 HAS SOPS 31628 HAS SOUS 16427 HAS SOUPS 15682 WITH SCORE 15714.721
AT ITER 3942 NEW BEST:: SOT 88747 SOS 32711 HAS SOPS 31618 HAS SOUS 16427 HAS SOUPS 15682 WITH SCORE 15714.711
AT ITER 3954 NEW BEST:: SOT 88767 SOS 32678 HAS SOPS 31585 HAS SOUS 16394 HAS SOUPS 15649 WITH SCORE 15681.678
AT ITER 3956 NEW BEST:: SOT 88759 SOS 32670 HAS SOPS 31577 HAS SOUS 16386 HAS SOUPS 15641 WITH SCORE 15673.67
AT ITER 3966 NEW BEST:: SOT 88759 SOS 32652 HAS SOPS 31574 HAS SOUS 16371 HAS SOUPS 15641 WITH SCORE 15673.652
AT ITER 3976 NEW BEST:: SOT 88764 SOS 32632 HAS SOPS 31549 HAS SOUS 16359 HAS SOUPS 15629 WITH SCORE 15661.632
AT ITER 3981 NEW BEST:: SOT 88730 SOS 32622 HAS SOPS 31539 HAS SOUS 16329 HAS SOUPS 15599 WITH SCORE 15631.622
AT ITER 3995 NEW BEST:: SOT 88730 SOS 32608 HAS SOPS 31539 HAS SOUS 16315 HAS SOUPS 15599 WITH SCORE 15631.608
AT ITER 4017 NEW BEST:: SOT 88733 SOS 32825 HAS SOPS 31768 HAS SOUS 16296 HAS SOUPS 15592 WITH SCORE 15624.825
AT ITER 4022 NEW BEST:: SOT 88709 SOS 32801 HAS SOPS 31744 HAS SOUS 16280 HAS SOUPS 15576 WITH SCORE 15608.801
AT ITER 4054 NEW BEST:: SOT 88682 SOS 32750 HAS SOPS 31693 HAS SOUS 16217 HAS SOUPS 15513 WITH SCORE 15545.75
AT ITER 4056 NEW BEST:: SOT 88682 SOS 32720 HAS SOPS 31663 HAS SOUS 16217 HAS SOUPS 15513 WITH SCORE 15545.72
AT ITER 4071 NEW BEST:: SOT 88682 SOS 32719 HAS SOPS 31662 HAS SOUS 16215 HAS SOUPS 15511 WITH SCORE 15543.719
AT ITER 4088 NEW BEST:: SOT 88625 SOS 32599 HAS SOPS 31542 HAS SOUS 16206 HAS SOUPS 15502 WITH SCORE 15534.599
AT ITER 4097 NEW BEST:: SOT 88601 SOS 32573 HAS SOPS 31505 HAS SOUS 16207 HAS SOUPS 15492 WITH SCORE 15524.573
AT ITER 4098 NEW BEST:: SOT 88581 SOS 32553 HAS SOPS 31485 HAS SOUS 16188 HAS SOUPS 15473 WITH SCORE 15505.553
AT ITER 4102 NEW BEST:: SOT 88578 SOS 32506 HAS SOPS 31438 HAS SOUS 16156 HAS SOUPS 15441 WITH SCORE 15473.506
AT ITER 4108 NEW BEST:: SOT 88477 SOS 32490 HAS SOPS 31422 HAS SOUS 16156 HAS SOUPS 15441 WITH SCORE 15473.49
AT ITER 4127 NEW BEST:: SOT 88473 SOS 32486 HAS SOPS 31418 HAS SOUS 16148 HAS SOUPS 15433 WITH SCORE 15465.486
AT ITER 4133 NEW BEST:: SOT 88507 SOS 32227 HAS SOPS 31159 HAS SOUS 16146 HAS SOUPS 15431 WITH SCORE 15463.227
AT ITER 4140 NEW BEST:: SOT 88531 SOS 32311 HAS SOPS 31243 HAS SOUS 16138 HAS SOUPS 15423 WITH SCORE 15455.311
AT ITER 4168 NEW BEST:: SOT 88495 SOS 32248 HAS SOPS 31174 HAS SOUS 16120 HAS SOUPS 15405 WITH SCORE 15437.248
AT ITER 4184 NEW BEST:: SOT 88495 SOS 32238 HAS SOPS 31164 HAS SOUS 16120 HAS SOUPS 15405 WITH SCORE 15437.238
AT ITER 4219 NEW BEST:: SOT 88462 SOS 32205 HAS SOPS 31131 HAS SOUS 16118 HAS SOUPS 15403 WITH SCORE 15435.205
AT ITER 4250 NEW BEST:: SOT 88462 SOS 32194 HAS SOPS 31131 HAS SOUS 16107 HAS SOUPS 15403 WITH SCORE 15435.194
AT ITER 4272 NEW BEST:: SOT 88458 SOS 32188 HAS SOPS 31125 HAS SOUS 16099 HAS SOUPS 15395 WITH SCORE 15427.188
AT ITER 4273 NEW BEST:: SOT 88388 SOS 32060 HAS SOPS 30997 HAS SOUS 16006 HAS SOUPS 15302 WITH SCORE 15334.06
AT ITER 4282 NEW BEST:: SOT 88412 SOS 32068 HAS SOPS 31005 HAS SOUS 16004 HAS SOUPS 15300 WITH SCORE 15332.068
AT ITER 4290 NEW BEST:: SOT 88412 SOS 32042 HAS SOPS 30979 HAS SOUS 16004 HAS SOUPS 15300 WITH SCORE 15332.042
AT ITER 4300 NEW BEST:: SOT 88408 SOS 32038 HAS SOPS 30975 HAS SOUS 16003 HAS SOUPS 15299 WITH SCORE 15331.038
AT ITER 4304 NEW BEST:: SOT 88407 SOS 32036 HAS SOPS 30973 HAS SOUS 16001 HAS SOUPS 15297 WITH SCORE 15329.036
AT ITER 4358 NEW BEST:: SOT 88413 SOS 32014 HAS SOPS 30951 HAS SOUS 15985 HAS SOUPS 15281 WITH SCORE 15313.014
AT ITER 4359 NEW BEST:: SOT 88385 SOS 31986 HAS SOPS 30923 HAS SOUS 15956 HAS SOUPS 15252 WITH SCORE 15283.986
AT ITER 4381 NEW BEST:: SOT 88222 SOS 31855 HAS SOPS 30803 HAS SOUS 15899 HAS SOUPS 15206 WITH SCORE 15237.855
AT ITER 4395 NEW BEST:: SOT 88202 SOS 31835 HAS SOPS 30783 HAS SOUS 15884 HAS SOUPS 15191 WITH SCORE 15222.835
AT ITER 4417 NEW BEST:: SOT 88244 SOS 31685 HAS SOPS 30633 HAS SOUS 15835 HAS SOUPS 15142 WITH SCORE 15173.685
AT ITER 4450 NEW BEST:: SOT 88235 SOS 31580 HAS SOPS 30624 HAS SOUS 15779 HAS SOUPS 15119 WITH SCORE 15150.58
AT ITER 4473 NEW BEST:: SOT 88234 SOS 31579 HAS SOPS 30623 HAS SOUS 15779 HAS SOUPS 15119 WITH SCORE 15150.579
AT ITER 4502 NEW BEST:: SOT 88239 SOS 31560 HAS SOPS 30598 HAS SOUS 15756 HAS SOUPS 15090 WITH SCORE 15121.56
AT ITER 4557 NEW BEST:: SOT 88250 SOS 31560 HAS SOPS 30598 HAS SOUS 15744 HAS SOUPS 15078 WITH SCORE 15109.56
AT ITER 4583 NEW BEST:: SOT 88257 SOS 31511 HAS SOPS 30549 HAS SOUS 15721 HAS SOUPS 15055 WITH SCORE 15086.511
AT ITER 4608 NEW BEST:: SOT 88255 SOS 31509 HAS SOPS 30547 HAS SOUS 15712 HAS SOUPS 15046 WITH SCORE 15077.509
AT ITER 4611 NEW BEST:: SOT 88255 SOS 31498 HAS SOPS 30536 HAS SOUS 15694 HAS SOUPS 15028 WITH SCORE 15059.498
AT ITER 4638 NEW BEST:: SOT 88249 SOS 31489 HAS SOPS 30527 HAS SOUS 15685 HAS SOUPS 15019 WITH SCORE 15050.489
AT ITER 4647 NEW BEST:: SOT 88243 SOS 31420 HAS SOPS 30458 HAS SOUS 15667 HAS SOUPS 15001 WITH SCORE 15032.42
AT ITER 4682 NEW BEST:: SOT 88265 SOS 31444 HAS SOPS 30468 HAS SOUS 15673 HAS SOUPS 15000 WITH SCORE 15031.444
AT ITER 4690 NEW BEST:: SOT 88267 SOS 31446 HAS SOPS 30470 HAS SOUS 15670 HAS SOUPS 14997 WITH SCORE 15028.446
AT ITER 4694 NEW BEST:: SOT 88263 SOS 31439 HAS SOPS 30463 HAS SOUS 15670 HAS SOUPS 14997 WITH SCORE 15028.439
AT ITER 4716 NEW BEST:: SOT 88176 SOS 31548 HAS SOPS 30572 HAS SOUS 15621 HAS SOUPS 14948 WITH SCORE 14979.548
AT ITER 4718 NEW BEST:: SOT 88175 SOS 31523 HAS SOPS 30547 HAS SOUS 15584 HAS SOUPS 14911 WITH SCORE 14942.523
AT ITER 4720 NEW BEST:: SOT 88109 SOS 31650 HAS SOPS 30674 HAS SOUS 15573 HAS SOUPS 14900 WITH SCORE 14931.65
AT ITER 4724 NEW BEST:: SOT 88108 SOS 31648 HAS SOPS 30672 HAS SOUS 15572 HAS SOUPS 14899 WITH SCORE 14930.648
AT ITER 4729 NEW BEST:: SOT 88107 SOS 31617 HAS SOPS 30641 HAS SOUS 15556 HAS SOUPS 14883 WITH SCORE 14914.617
AT ITER 4730 NEW BEST:: SOT 88092 SOS 31544 HAS SOPS 30568 HAS SOUS 15546 HAS SOUPS 14873 WITH SCORE 14904.544
AT ITER 4774 NEW BEST:: SOT 88055 SOS 31506 HAS SOPS 30530 HAS SOUS 15531 HAS SOUPS 14858 WITH SCORE 14889.506
AT ITER 4789 NEW BEST:: SOT 87975 SOS 32112 HAS SOPS 31144 HAS SOUS 15519 HAS SOUPS 14846 WITH SCORE 14878.112
AT ITER 4790 NEW BEST:: SOT 87960 SOS 32097 HAS SOPS 31129 HAS SOUS 15510 HAS SOUPS 14837 WITH SCORE 14869.097
AT ITER 4791 NEW BEST:: SOT 87956 SOS 32077 HAS SOPS 31109 HAS SOUS 15506 HAS SOUPS 14833 WITH SCORE 14865.077
AT ITER 4796 NEW BEST:: SOT 87941 SOS 32062 HAS SOPS 31094 HAS SOUS 15491 HAS SOUPS 14818 WITH SCORE 14850.062
AT ITER 4819 NEW BEST:: SOT 87941 SOS 32062 HAS SOPS 31094 HAS SOUS 15489 HAS SOUPS 14816 WITH SCORE 14848.062
AT ITER 4826 NEW BEST:: SOT 87972 SOS 32066 HAS SOPS 31098 HAS SOUS 15462 HAS SOUPS 14789 WITH SCORE 14821.066
AT ITER 4847 NEW BEST:: SOT 87979 SOS 32061 HAS SOPS 31093 HAS SOUS 15445 HAS SOUPS 14772 WITH SCORE 14804.061
AT ITER 4850 NEW BEST:: SOT 87996 SOS 32078 HAS SOPS 31110 HAS SOUS 15393 HAS SOUPS 14720 WITH SCORE 14752.078
AT ITER 4858 NEW BEST:: SOT 87983 SOS 31970 HAS SOPS 30985 HAS SOUS 15394 HAS SOUPS 14704 WITH SCORE 14735.97
AT ITER 4873 NEW BEST:: SOT 87979 SOS 31964 HAS SOPS 30979 HAS SOUS 15388 HAS SOUPS 14698 WITH SCORE 14729.964
AT ITER 4891 NEW BEST:: SOT 87943 SOS 31928 HAS SOPS 30943 HAS SOUS 15378 HAS SOUPS 14688 WITH SCORE 14719.928
AT ITER 4904 NEW BEST:: SOT 87936 SOS 31921 HAS SOPS 30936 HAS SOUS 15371 HAS SOUPS 14681 WITH SCORE 14712.921
AT ITER 4915 NEW BEST:: SOT 87906 SOS 31859 HAS SOPS 30874 HAS SOUS 15325 HAS SOUPS 14635 WITH SCORE 14666.859
AT ITER 4943 NEW BEST:: SOT 87891 SOS 31802 HAS SOPS 30812 HAS SOUS 15302 HAS SOUPS 14612 WITH SCORE 14643.802
AT ITER 4995 NEW BEST:: SOT 87835 SOS 31746 HAS SOPS 30756 HAS SOUS 15295 HAS SOUPS 14605 WITH SCORE 14636.746
AT ITER 5009 NEW BEST:: SOT 87855 SOS 31726 HAS SOPS 30736 HAS SOUS 15271 HAS SOUPS 14581 WITH SCORE 14612.726
AT ITER 5011 NEW BEST:: SOT 87854 SOS 31725 HAS SOPS 30735 HAS SOUS 15270 HAS SOUPS 14580 WITH SCORE 14611.725
AT ITER 5027 NEW BEST:: SOT 87850 SOS 31721 HAS SOPS 30731 HAS SOUS 15262 HAS SOUPS 14572 WITH SCORE 14603.721
AT ITER 5028 NEW BEST:: SOT 87861 SOS 31698 HAS SOPS 30708 HAS SOUS 15261 HAS SOUPS 14571 WITH SCORE 14602.698
AT ITER 5051 NEW BEST:: SOT 87856 SOS 31605 HAS SOPS 30599 HAS SOUS 15250 HAS SOUPS 14544 WITH SCORE 14575.605
AT ITER 5138 NEW BEST:: SOT 87859 SOS 31603 HAS SOPS 30597 HAS SOUS 15250 HAS SOUPS 14544 WITH SCORE 14575.603
AT ITER 5146 NEW BEST:: SOT 87853 SOS 31597 HAS SOPS 30591 HAS SOUS 15247 HAS SOUPS 14541 WITH SCORE 14572.597
AT ITER 5167 NEW BEST:: SOT 87834 SOS 31578 HAS SOPS 30572 HAS SOUS 15245 HAS SOUPS 14539 WITH SCORE 14570.578
AT ITER 5182 NEW BEST:: SOT 87912 SOS 31648 HAS SOPS 30642 HAS SOUS 15202 HAS SOUPS 14496 WITH SCORE 14527.648
AT ITER 5184 NEW BEST:: SOT 87971 SOS 31702 HAS SOPS 30699 HAS SOUS 15175 HAS SOUPS 14472 WITH SCORE 14503.702
AT ITER 5185 NEW BEST:: SOT 87980 SOS 31680 HAS SOPS 30677 HAS SOUS 15172 HAS SOUPS 14469 WITH SCORE 14500.68
AT ITER 5209 NEW BEST:: SOT 87956 SOS 31572 HAS SOPS 30569 HAS SOUS 15148 HAS SOUPS 14445 WITH SCORE 14476.572
AT ITER 5240 NEW BEST:: SOT 87950 SOS 31566 HAS SOPS 30563 HAS SOUS 15142 HAS SOUPS 14439 WITH SCORE 14470.566
AT ITER 5242 NEW BEST:: SOT 87979 SOS 31466 HAS SOPS 30463 HAS SOUS 15136 HAS SOUPS 14433 WITH SCORE 14464.466
AT ITER 5254 NEW BEST:: SOT 87973 SOS 31454 HAS SOPS 30451 HAS SOUS 15124 HAS SOUPS 14421 WITH SCORE 14452.454
AT ITER 5331 NEW BEST:: SOT 87981 SOS 31388 HAS SOPS 30385 HAS SOUS 15122 HAS SOUPS 14419 WITH SCORE 14450.388
AT ITER 5365 NEW BEST:: SOT 87930 SOS 31377 HAS SOPS 30376 HAS SOUS 15112 HAS SOUPS 14409 WITH SCORE 14440.377
AT ITER 5371 NEW BEST:: SOT 87922 SOS 31337 HAS SOPS 30336 HAS SOUS 15106 HAS SOUPS 14403 WITH SCORE 14434.337
AT ITER 5372 NEW BEST:: SOT 87935 SOS 31350 HAS SOPS 30349 HAS SOUS 15097 HAS SOUPS 14394 WITH SCORE 14425.35
AT ITER 5378 NEW BEST:: SOT 87934 SOS 31340 HAS SOPS 30339 HAS SOUS 15095 HAS SOUPS 14392 WITH SCORE 14423.34
AT ITER 5400 NEW BEST:: SOT 87932 SOS 31339 HAS SOPS 30338 HAS SOUS 15093 HAS SOUPS 14390 WITH SCORE 14421.339
AT ITER 5420 NEW BEST:: SOT 87920 SOS 31327 HAS SOPS 30326 HAS SOUS 15093 HAS SOUPS 14390 WITH SCORE 14421.327
AT ITER 5426 NEW BEST:: SOT 87914 SOS 31321 HAS SOPS 30320 HAS SOUS 15091 HAS SOUPS 14388 WITH SCORE 14419.321
AT ITER 5479 NEW BEST:: SOT 87901 SOS 31279 HAS SOPS 30278 HAS SOUS 15051 HAS SOUPS 14348 WITH SCORE 14379.279
AT ITER 5492 NEW BEST:: SOT 87875 SOS 31253 HAS SOPS 30252 HAS SOUS 15025 HAS SOUPS 14322 WITH SCORE 14353.253
AT ITER 5516 NEW BEST:: SOT 87874 SOS 31252 HAS SOPS 30251 HAS SOUS 15024 HAS SOUPS 14321 WITH SCORE 14352.252
AT ITER 5554 NEW BEST:: SOT 87845 SOS 31227 HAS SOPS 30226 HAS SOUS 15015 HAS SOUPS 14312 WITH SCORE 14343.227
AT ITER 5559 NEW BEST:: SOT 87841 SOS 31213 HAS SOPS 30212 HAS SOUS 15012 HAS SOUPS 14309 WITH SCORE 14340.213
AT ITER 5563 NEW BEST:: SOT 87831 SOS 31201 HAS SOPS 30202 HAS SOUS 15002 HAS SOUPS 14301 WITH SCORE 14332.201
AT ITER 5581 NEW BEST:: SOT 87830 SOS 31200 HAS SOPS 30201 HAS SOUS 15001 HAS SOUPS 14300 WITH SCORE 14331.2
AT ITER 5599 NEW BEST:: SOT 87786 SOS 31149 HAS SOPS 30150 HAS SOUS 14949 HAS SOUPS 14248 WITH SCORE 14279.149
AT ITER 5626 NEW BEST:: SOT 87773 SOS 31134 HAS SOPS 30135 HAS SOUS 14943 HAS SOUPS 14242 WITH SCORE 14273.134
AT ITER 5655 NEW BEST:: SOT 87769 SOS 31126 HAS SOPS 30127 HAS SOUS 14939 HAS SOUPS 14238 WITH SCORE 14269.126
AT ITER 5657 NEW BEST:: SOT 87742 SOS 31049 HAS SOPS 30050 HAS SOUS 14936 HAS SOUPS 14235 WITH SCORE 14266.049
AT ITER 5677 NEW BEST:: SOT 87704 SOS 30978 HAS SOPS 29979 HAS SOUS 14885 HAS SOUPS 14184 WITH SCORE 14214.978
AT ITER 5696 NEW BEST:: SOT 87698 SOS 30966 HAS SOPS 29967 HAS SOUS 14877 HAS SOUPS 14176 WITH SCORE 14206.966
AT ITER 5729 NEW BEST:: SOT 87690 SOS 30958 HAS SOPS 29959 HAS SOUS 14864 HAS SOUPS 14163 WITH SCORE 14193.958
AT ITER 5754 NEW BEST:: SOT 87697 SOS 30965 HAS SOPS 29966 HAS SOUS 14857 HAS SOUPS 14156 WITH SCORE 14186.965
AT ITER 5771 NEW BEST:: SOT 87639 SOS 30841 HAS SOPS 29842 HAS SOUS 14833 HAS SOUPS 14132 WITH SCORE 14162.841
AT ITER 5809 NEW BEST:: SOT 87657 SOS 30793 HAS SOPS 29794 HAS SOUS 14821 HAS SOUPS 14120 WITH SCORE 14150.793
AT ITER 5846 NEW BEST:: SOT 87644 SOS 30780 HAS SOPS 29781 HAS SOUS 14808 HAS SOUPS 14107 WITH SCORE 14137.78
AT ITER 5855 NEW BEST:: SOT 87652 SOS 30782 HAS SOPS 29777 HAS SOUS 14806 HAS SOUPS 14103 WITH SCORE 14133.782
AT ITER 5884 NEW BEST:: SOT 87652 SOS 30767 HAS SOPS 29762 HAS SOUS 14806 HAS SOUPS 14103 WITH SCORE 14133.767
AT ITER 5923 NEW BEST:: SOT 87660 SOS 30756 HAS SOPS 29763 HAS SOUS 14788 HAS SOUPS 14097 WITH SCORE 14127.756
AT ITER 5947 NEW BEST:: SOT 87650 SOS 30741 HAS SOPS 29748 HAS SOUS 14778 HAS SOUPS 14087 WITH SCORE 14117.741
AT ITER 5980 NEW BEST:: SOT 87616 SOS 30634 HAS SOPS 29641 HAS SOUS 14771 HAS SOUPS 14080 WITH SCORE 14110.634
AT ITER 6012 NEW BEST:: SOT 87595 SOS 30601 HAS SOPS 29608 HAS SOUS 14718 HAS SOUPS 14027 WITH SCORE 14057.601
AT ITER 6055 NEW BEST:: SOT 87590 SOS 30596 HAS SOPS 29603 HAS SOUS 14717 HAS SOUPS 14026 WITH SCORE 14056.596
AT ITER 6074 NEW BEST:: SOT 87575 SOS 30581 HAS SOPS 29588 HAS SOUS 14702 HAS SOUPS 14011 WITH SCORE 14041.581
AT ITER 6077 NEW BEST:: SOT 87559 SOS 30565 HAS SOPS 29572 HAS SOUS 14691 HAS SOUPS 14000 WITH SCORE 14030.565
AT ITER 6086 NEW BEST:: SOT 87531 SOS 30457 HAS SOPS 29576 HAS SOUS 14627 HAS SOUPS 13985 WITH SCORE 14015.457
AT ITER 6091 NEW BEST:: SOT 87530 SOS 30456 HAS SOPS 29575 HAS SOUS 14626 HAS SOUPS 13984 WITH SCORE 14014.456
AT ITER 6106 NEW BEST:: SOT 87534 SOS 30460 HAS SOPS 29579 HAS SOUS 14615 HAS SOUPS 13973 WITH SCORE 14003.46
AT ITER 6149 NEW BEST:: SOT 87534 SOS 30458 HAS SOPS 29577 HAS SOUS 14614 HAS SOUPS 13972 WITH SCORE 14002.458
AT ITER 6230 NEW BEST:: SOT 87541 SOS 30425 HAS SOPS 29591 HAS SOUS 14561 HAS SOUPS 13966 WITH SCORE 13996.425
AT ITER 6249 NEW BEST:: SOT 87500 SOS 29961 HAS SOPS 29127 HAS SOUS 14530 HAS SOUPS 13935 WITH SCORE 13964.961
AT ITER 6250 NEW BEST:: SOT 87490 SOS 29921 HAS SOPS 29087 HAS SOUS 14482 HAS SOUPS 13887 WITH SCORE 13916.921
AT ITER 6259 NEW BEST:: SOT 87467 SOS 29955 HAS SOPS 29121 HAS SOUS 14475 HAS SOUPS 13880 WITH SCORE 13909.955
AT ITER 6267 NEW BEST:: SOT 87467 SOS 29952 HAS SOPS 29115 HAS SOUS 14472 HAS SOUPS 13877 WITH SCORE 13906.952
AT ITER 6368 NEW BEST:: SOT 87452 SOS 29932 HAS SOPS 29095 HAS SOUS 14459 HAS SOUPS 13864 WITH SCORE 13893.932
AT ITER 6403 NEW BEST:: SOT 87448 SOS 29928 HAS SOPS 29091 HAS SOUS 14449 HAS SOUPS 13854 WITH SCORE 13883.928
AT ITER 6428 NEW BEST:: SOT 87445 SOS 29925 HAS SOPS 29088 HAS SOUS 14445 HAS SOUPS 13850 WITH SCORE 13879.925
AT ITER 6448 NEW BEST:: SOT 87443 SOS 29924 HAS SOPS 29087 HAS SOUS 14445 HAS SOUPS 13850 WITH SCORE 13879.924
AT ITER 6500 NEW BEST:: SOT 87439 SOS 29859 HAS SOPS 29022 HAS SOUS 14441 HAS SOUPS 13846 WITH SCORE 13875.859
AT ITER 6502 NEW BEST:: SOT 87429 SOS 29839 HAS SOPS 29002 HAS SOUS 14421 HAS SOUPS 13826 WITH SCORE 13855.839
AT ITER 6507 NEW BEST:: SOT 87433 SOS 29833 HAS SOPS 28994 HAS SOUS 14421 HAS SOUPS 13824 WITH SCORE 13853.833
AT ITER 6524 NEW BEST:: SOT 87431 SOS 29829 HAS SOPS 28990 HAS SOUS 14419 HAS SOUPS 13822 WITH SCORE 13851.829
AT ITER 6535 NEW BEST:: SOT 87444 SOS 29782 HAS SOPS 28943 HAS SOUS 14404 HAS SOUPS 13807 WITH SCORE 13836.782
AT ITER 6574 NEW BEST:: SOT 87522 SOS 29860 HAS SOPS 29021 HAS SOUS 14391 HAS SOUPS 13794 WITH SCORE 13823.86
AT ITER 6578 NEW BEST:: SOT 87472 SOS 29810 HAS SOPS 28971 HAS SOUS 14355 HAS SOUPS 13758 WITH SCORE 13787.81
AT ITER 6593 NEW BEST:: SOT 87479 SOS 29817 HAS SOPS 28978 HAS SOUS 14348 HAS SOUPS 13751 WITH SCORE 13780.817
AT ITER 6633 NEW BEST:: SOT 87479 SOS 29810 HAS SOPS 28971 HAS SOUS 14348 HAS SOUPS 13751 WITH SCORE 13780.81
AT ITER 6658 NEW BEST:: SOT 87482 SOS 29813 HAS SOPS 28974 HAS SOUS 14341 HAS SOUPS 13744 WITH SCORE 13773.813
AT ITER 6669 NEW BEST:: SOT 87471 SOS 29790 HAS SOPS 28951 HAS SOUS 14339 HAS SOUPS 13742 WITH SCORE 13771.79
AT ITER 6795 NEW BEST:: SOT 87544 SOS 29832 HAS SOPS 28993 HAS SOUS 14326 HAS SOUPS 13729 WITH SCORE 13758.832
AT ITER 6820 NEW BEST:: SOT 87540 SOS 29828 HAS SOPS 28989 HAS SOUS 14323 HAS SOUPS 13726 WITH SCORE 13755.828
AT ITER 6832 NEW BEST:: SOT 87525 SOS 29813 HAS SOPS 28974 HAS SOUS 14320 HAS SOUPS 13723 WITH SCORE 13752.813
AT ITER 6862 NEW BEST:: SOT 87547 SOS 29835 HAS SOPS 28996 HAS SOUS 14311 HAS SOUPS 13714 WITH SCORE 13743.835
AT ITER 6877 NEW BEST:: SOT 87498 SOS 29774 HAS SOPS 28935 HAS SOUS 14250 HAS SOUPS 13653 WITH SCORE 13682.774
AT ITER 6920 NEW BEST:: SOT 87442 SOS 29756 HAS SOPS 28917 HAS SOUS 14205 HAS SOUPS 13608 WITH SCORE 13637.756
AT ITER 6965 NEW BEST:: SOT 87421 SOS 29741 HAS SOPS 28902 HAS SOUS 14205 HAS SOUPS 13608 WITH SCORE 13637.741
AT ITER 7000 NEW BEST:: SOT 87411 SOS 29731 HAS SOPS 28892 HAS SOUS 14205 HAS SOUPS 13608 WITH SCORE 13637.731
AT ITER 7042 NEW BEST:: SOT 87410 SOS 29730 HAS SOPS 28891 HAS SOUS 14204 HAS SOUPS 13607 WITH SCORE 13636.73
AT ITER 7114 NEW BEST:: SOT 87382 SOS 29702 HAS SOPS 28863 HAS SOUS 14200 HAS SOUPS 13603 WITH SCORE 13632.702
AT ITER 7179 NEW BEST:: SOT 87368 SOS 29688 HAS SOPS 28849 HAS SOUS 14198 HAS SOUPS 13601 WITH SCORE 13630.688
AT ITER 7190 NEW BEST:: SOT 87373 SOS 29693 HAS SOPS 28854 HAS SOUS 14195 HAS SOUPS 13598 WITH SCORE 13627.693
AT ITER 7222 NEW BEST:: SOT 87371 SOS 29692 HAS SOPS 28852 HAS SOUS 14195 HAS SOUPS 13597 WITH SCORE 13626.692
AT ITER 7268 NEW BEST:: SOT 87406 SOS 29679 HAS SOPS 28833 HAS SOUS 14194 HAS SOUPS 13596 WITH SCORE 13625.679
AT ITER 7345 NEW BEST:: SOT 87398 SOS 29666 HAS SOPS 28820 HAS SOUS 14194 HAS SOUPS 13596 WITH SCORE 13625.666
AT ITER 7356 NEW BEST:: SOT 87336 SOS 29586 HAS SOPS 28740 HAS SOUS 14163 HAS SOUPS 13565 WITH SCORE 13594.586
AT ITER 7400 NEW BEST:: SOT 87336 SOS 29584 HAS SOPS 28738 HAS SOUS 14161 HAS SOUPS 13563 WITH SCORE 13592.584
AT ITER 7451 NEW BEST:: SOT 87328 SOS 29576 HAS SOPS 28730 HAS SOUS 14157 HAS SOUPS 13559 WITH SCORE 13588.576
AT ITER 7486 NEW BEST:: SOT 87324 SOS 29572 HAS SOPS 28726 HAS SOUS 14155 HAS SOUPS 13557 WITH SCORE 13586.572
AT ITER 7708 NEW BEST:: SOT 87320 SOS 29568 HAS SOPS 28722 HAS SOUS 14147 HAS SOUPS 13549 WITH SCORE 13578.568
AT ITER 7765 NEW BEST:: SOT 87305 SOS 29553 HAS SOPS 28707 HAS SOUS 14132 HAS SOUPS 13534 WITH SCORE 13563.553
AT ITER 7770 NEW BEST:: SOT 87299 SOS 29541 HAS SOPS 28695 HAS SOUS 14120 HAS SOUPS 13522 WITH SCORE 13551.541
AT ITER 7785 NEW BEST:: SOT 87293 SOS 29535 HAS SOPS 28689 HAS SOUS 14106 HAS SOUPS 13508 WITH SCORE 13537.535
AT ITER 7789 NEW BEST:: SOT 87290 SOS 29532 HAS SOPS 28686 HAS SOUS 14104 HAS SOUPS 13506 WITH SCORE 13535.532
AT ITER 7794 NEW BEST:: SOT 87274 SOS 29514 HAS SOPS 28668 HAS SOUS 14096 HAS SOUPS 13498 WITH SCORE 13527.514
AT ITER 7828 NEW BEST:: SOT 87273 SOS 29509 HAS SOPS 28663 HAS SOUS 14093 HAS SOUPS 13495 WITH SCORE 13524.509
AT ITER 7921 NEW BEST:: SOT 87261 SOS 29497 HAS SOPS 28651 HAS SOUS 14076 HAS SOUPS 13478 WITH SCORE 13507.497
AT ITER 7925 NEW BEST:: SOT 87261 SOS 29475 HAS SOPS 28629 HAS SOUS 14076 HAS SOUPS 13478 WITH SCORE 13507.475
AT ITER 7970 NEW BEST:: SOT 87269 SOS 29483 HAS SOPS 28637 HAS SOUS 14068 HAS SOUPS 13470 WITH SCORE 13499.483
AT ITER 7978 NEW BEST:: SOT 87248 SOS 29461 HAS SOPS 28615 HAS SOUS 14060 HAS SOUPS 13462 WITH SCORE 13491.461
AT ITER 8003 NEW BEST:: SOT 87246 SOS 29459 HAS SOPS 28613 HAS SOUS 14058 HAS SOUPS 13460 WITH SCORE 13489.459
AT ITER 8029 NEW BEST:: SOT 87224 SOS 29437 HAS SOPS 28591 HAS SOUS 14041 HAS SOUPS 13443 WITH SCORE 13472.437
AT ITER 8045 NEW BEST:: SOT 87221 SOS 29434 HAS SOPS 28588 HAS SOUS 14035 HAS SOUPS 13437 WITH SCORE 13466.434
AT ITER 8079 NEW BEST:: SOT 87199 SOS 29401 HAS SOPS 28555 HAS SOUS 13996 HAS SOUPS 13398 WITH SCORE 13427.401
AT ITER 8092 NEW BEST:: SOT 87165 SOS 29367 HAS SOPS 28521 HAS SOUS 13996 HAS SOUPS 13398 WITH SCORE 13427.367
AT ITER 8143 NEW BEST:: SOT 87145 SOS 29327 HAS SOPS 28481 HAS SOUS 13988 HAS SOUPS 13390 WITH SCORE 13419.327
AT ITER 8150 NEW BEST:: SOT 87145 SOS 29327 HAS SOPS 28481 HAS SOUS 13985 HAS SOUPS 13387 WITH SCORE 13416.327
AT ITER 8169 NEW BEST:: SOT 87146 SOS 29318 HAS SOPS 28470 HAS SOUS 13982 HAS SOUPS 13382 WITH SCORE 13411.318
AT ITER 8188 NEW BEST:: SOT 87170 SOS 29258 HAS SOPS 28410 HAS SOUS 13963 HAS SOUPS 13363 WITH SCORE 13392.258
AT ITER 8212 NEW BEST:: SOT 87173 SOS 29260 HAS SOPS 28412 HAS SOUS 13960 HAS SOUPS 13360 WITH SCORE 13389.26
AT ITER 8257 NEW BEST:: SOT 87173 SOS 29255 HAS SOPS 28407 HAS SOUS 13960 HAS SOUPS 13360 WITH SCORE 13389.255
AT ITER 8270 NEW BEST:: SOT 87119 SOS 29201 HAS SOPS 28353 HAS SOUS 13951 HAS SOUPS 13351 WITH SCORE 13380.201
AT ITER 8283 NEW BEST:: SOT 87108 SOS 29172 HAS SOPS 28324 HAS SOUS 13945 HAS SOUPS 13345 WITH SCORE 13374.172
AT ITER 8328 NEW BEST:: SOT 87106 SOS 29170 HAS SOPS 28322 HAS SOUS 13938 HAS SOUPS 13338 WITH SCORE 13367.17
AT ITER 8350 NEW BEST:: SOT 87143 SOS 29151 HAS SOPS 28303 HAS SOUS 13925 HAS SOUPS 13325 WITH SCORE 13354.151
AT ITER 8355 NEW BEST:: SOT 87134 SOS 29101 HAS SOPS 28252 HAS SOUS 13912 HAS SOUPS 13312 WITH SCORE 13341.101
AT ITER 8404 NEW BEST:: SOT 87132 SOS 29090 HAS SOPS 28241 HAS SOUS 13889 HAS SOUPS 13289 WITH SCORE 13318.09
AT ITER 8451 NEW BEST:: SOT 87117 SOS 29076 HAS SOPS 28226 HAS SOUS 13886 HAS SOUPS 13285 WITH SCORE 13314.076
AT ITER 8462 NEW BEST:: SOT 87087 SOS 29106 HAS SOPS 28256 HAS SOUS 13874 HAS SOUPS 13273 WITH SCORE 13302.106
AT ITER 8516 NEW BEST:: SOT 87083 SOS 29104 HAS SOPS 28254 HAS SOUS 13872 HAS SOUPS 13271 WITH SCORE 13300.104
AT ITER 8563 NEW BEST:: SOT 87065 SOS 29074 HAS SOPS 28220 HAS SOUS 13854 HAS SOUPS 13249 WITH SCORE 13278.074
AT ITER 8602 NEW BEST:: SOT 86981 SOS 28990 HAS SOPS 28136 HAS SOUS 13836 HAS SOUPS 13231 WITH SCORE 13259.99
AT ITER 8628 NEW BEST:: SOT 86969 SOS 28882 HAS SOPS 28028 HAS SOUS 13770 HAS SOUPS 13165 WITH SCORE 13193.882
AT ITER 8678 NEW BEST:: SOT 86966 SOS 28879 HAS SOPS 28025 HAS SOUS 13770 HAS SOUPS 13165 WITH SCORE 13193.879
AT ITER 8683 NEW BEST:: SOT 86995 SOS 28773 HAS SOPS 27919 HAS SOUS 13770 HAS SOUPS 13165 WITH SCORE 13193.773
AT ITER 8692 NEW BEST:: SOT 86983 SOS 28768 HAS SOPS 27914 HAS SOUS 13768 HAS SOUPS 13163 WITH SCORE 13191.768
AT ITER 8799 NEW BEST:: SOT 86972 SOS 28753 HAS SOPS 27899 HAS SOUS 13765 HAS SOUPS 13160 WITH SCORE 13188.753
AT ITER 8807 NEW BEST:: SOT 86968 SOS 28749 HAS SOPS 27895 HAS SOUS 13761 HAS SOUPS 13156 WITH SCORE 13184.749
AT ITER 8808 NEW BEST:: SOT 87000 SOS 28765 HAS SOPS 27911 HAS SOUS 13759 HAS SOUPS 13154 WITH SCORE 13182.765
AT ITER 8840 NEW BEST:: SOT 87005 SOS 28764 HAS SOPS 27910 HAS SOUS 13752 HAS SOUPS 13147 WITH SCORE 13175.764
AT ITER 8870 NEW BEST:: SOT 87002 SOS 28743 HAS SOPS 27889 HAS SOUS 13749 HAS SOUPS 13144 WITH SCORE 13172.743
AT ITER 8903 NEW BEST:: SOT 87014 SOS 28742 HAS SOPS 27888 HAS SOUS 13735 HAS SOUPS 13130 WITH SCORE 13158.742
AT ITER 8951 NEW BEST:: SOT 87050 SOS 28753 HAS SOPS 27899 HAS SOUS 13724 HAS SOUPS 13119 WITH SCORE 13147.753
AT ITER 8995 NEW BEST:: SOT 87031 SOS 28704 HAS SOPS 27850 HAS SOUS 13712 HAS SOUPS 13107 WITH SCORE 13135.704
AT ITER 9007 NEW BEST:: SOT 87003 SOS 28676 HAS SOPS 27822 HAS SOUS 13684 HAS SOUPS 13079 WITH SCORE 13107.676
AT ITER 9045 NEW BEST:: SOT 86983 SOS 28656 HAS SOPS 27802 HAS SOUS 13684 HAS SOUPS 13079 WITH SCORE 13107.656
AT ITER 9051 NEW BEST:: SOT 86982 SOS 28641 HAS SOPS 27785 HAS SOUS 13685 HAS SOUPS 13078 WITH SCORE 13106.641
AT ITER 9183 NEW BEST:: SOT 86956 SOS 28615 HAS SOPS 27759 HAS SOUS 13682 HAS SOUPS 13075 WITH SCORE 13103.615
AT ITER 9198 NEW BEST:: SOT 86953 SOS 28614 HAS SOPS 27758 HAS SOUS 13682 HAS SOUPS 13075 WITH SCORE 13103.614
AT ITER 9210 NEW BEST:: SOT 86958 SOS 28587 HAS SOPS 27731 HAS SOUS 13677 HAS SOUPS 13070 WITH SCORE 13098.587
AT ITER 9260 NEW BEST:: SOT 86978 SOS 28607 HAS SOPS 27751 HAS SOUS 13673 HAS SOUPS 13066 WITH SCORE 13094.607
AT ITER 9310 NEW BEST:: SOT 86977 SOS 28606 HAS SOPS 27750 HAS SOUS 13671 HAS SOUPS 13064 WITH SCORE 13092.606
AT ITER 9348 NEW BEST:: SOT 87022 SOS 28646 HAS SOPS 27789 HAS SOUS 13669 HAS SOUPS 13061 WITH SCORE 13089.646
AT ITER 9364 NEW BEST:: SOT 87020 SOS 28563 HAS SOPS 27714 HAS SOUS 13661 HAS SOUPS 13061 WITH SCORE 13089.563
AT ITER 9410 NEW BEST:: SOT 87027 SOS 28546 HAS SOPS 27695 HAS SOUS 13658 HAS SOUPS 13056 WITH SCORE 13084.546
AT ITER 9459 NEW BEST:: SOT 87021 SOS 28540 HAS SOPS 27689 HAS SOUS 13655 HAS SOUPS 13053 WITH SCORE 13081.54
AT ITER 9465 NEW BEST:: SOT 87015 SOS 28534 HAS SOPS 27683 HAS SOUS 13649 HAS SOUPS 13047 WITH SCORE 13075.534
AT ITER 9477 NEW BEST:: SOT 87007 SOS 28526 HAS SOPS 27675 HAS SOUS 13647 HAS SOUPS 13045 WITH SCORE 13073.526
AT ITER 9512 NEW BEST:: SOT 86986 SOS 28505 HAS SOPS 27654 HAS SOUS 13605 HAS SOUPS 13003 WITH SCORE 13031.505
AT ITER 9566 NEW BEST:: SOT 86947 SOS 28499 HAS SOPS 27648 HAS SOUS 13594 HAS SOUPS 12992 WITH SCORE 13020.499
AT ITER 9608 NEW BEST:: SOT 86943 SOS 28430 HAS SOPS 27573 HAS SOUS 13590 HAS SOUPS 12982 WITH SCORE 13010.43
AT ITER 9652 NEW BEST:: SOT 86941 SOS 28428 HAS SOPS 27571 HAS SOUS 13588 HAS SOUPS 12980 WITH SCORE 13008.428
AT ITER 9733 NEW BEST:: SOT 86938 SOS 28425 HAS SOPS 27568 HAS SOUS 13588 HAS SOUPS 12980 WITH SCORE 13008.425
AT ITER 9752 NEW BEST:: SOT 86939 SOS 28422 HAS SOPS 27569 HAS SOUS 13581 HAS SOUPS 12977 WITH SCORE 13005.422
AT ITER 9755 NEW BEST:: SOT 86932 SOS 28416 HAS SOPS 27563 HAS SOUS 13581 HAS SOUPS 12977 WITH SCORE 13005.416
AT ITER 9841 NEW BEST:: SOT 86924 SOS 28408 HAS SOPS 27555 HAS SOUS 13576 HAS SOUPS 12972 WITH SCORE 13000.408
AT ITER 9842 NEW BEST:: SOT 86934 SOS 28431 HAS SOPS 27578 HAS SOUS 13570 HAS SOUPS 12966 WITH SCORE 12994.431
AT ITER 9911 NEW BEST:: SOT 86931 SOS 28351 HAS SOPS 27498 HAS SOUS 13566 HAS SOUPS 12962 WITH SCORE 12990.351
AT ITER 9920 NEW BEST:: SOT 86904 SOS 28310 HAS SOPS 27457 HAS SOUS 13564 HAS SOUPS 12960 WITH SCORE 12988.31
AT ITER 9954 NEW BEST:: SOT 86907 SOS 28313 HAS SOPS 27460 HAS SOUS 13552 HAS SOUPS 12948 WITH SCORE 12976.313
AT ITER 9981 NEW BEST:: SOT 86897 SOS 28303 HAS SOPS 27450 HAS SOUS 13542 HAS SOUPS 12938 WITH SCORE 12966.303

BK_STOP 1589643829596

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 470 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-4A"
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-4A, 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-158961250400384"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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