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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 304K
-rw-r--r-- 1 mcc users 3.2K Apr 8 15:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 8 15:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 7 18:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 7 18:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 6 20:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 6 20:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 6 03:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 11K Apr 6 03:58 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 133K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME NoC3x3-PT-3A-CTLFireability-00
FORMULA_NAME NoC3x3-PT-3A-CTLFireability-01
FORMULA_NAME NoC3x3-PT-3A-CTLFireability-02
FORMULA_NAME NoC3x3-PT-3A-CTLFireability-03
FORMULA_NAME NoC3x3-PT-3A-CTLFireability-04
FORMULA_NAME NoC3x3-PT-3A-CTLFireability-05
FORMULA_NAME NoC3x3-PT-3A-CTLFireability-06
FORMULA_NAME NoC3x3-PT-3A-CTLFireability-07
FORMULA_NAME NoC3x3-PT-3A-CTLFireability-08
FORMULA_NAME NoC3x3-PT-3A-CTLFireability-09
FORMULA_NAME NoC3x3-PT-3A-CTLFireability-10
FORMULA_NAME NoC3x3-PT-3A-CTLFireability-11
FORMULA_NAME NoC3x3-PT-3A-CTLFireability-12
FORMULA_NAME NoC3x3-PT-3A-CTLFireability-13
FORMULA_NAME NoC3x3-PT-3A-CTLFireability-14
FORMULA_NAME NoC3x3-PT-3A-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589641491515

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 3A
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 370 places, 450 transitions, 1773 arcs.
AT ITER 0 NEW BEST:: SOT 139116 SOS 117861 HAS SOPS 117852 HAS SOUS 76742 HAS SOUPS 76733 WITH SCORE 76850.861
AT ITER 8 NEW BEST:: SOT 139116 SOS 117526 HAS SOPS 117517 HAS SOUS 76697 HAS SOUPS 76688 WITH SCORE 76805.526
AT ITER 12 NEW BEST:: SOT 139116 SOS 117379 HAS SOPS 117370 HAS SOUS 76590 HAS SOUPS 76581 WITH SCORE 76698.379
AT ITER 14 NEW BEST:: SOT 139116 SOS 117379 HAS SOPS 117370 HAS SOUS 76519 HAS SOUPS 76510 WITH SCORE 76627.379
AT ITER 16 NEW BEST:: SOT 138447 SOS 116875 HAS SOPS 116866 HAS SOUS 76251 HAS SOUPS 76242 WITH SCORE 76358.875
AT ITER 17 NEW BEST:: SOT 138447 SOS 116684 HAS SOPS 116675 HAS SOUS 76251 HAS SOUPS 76242 WITH SCORE 76358.684
AT ITER 18 NEW BEST:: SOT 138417 SOS 116474 HAS SOPS 116465 HAS SOUS 76219 HAS SOUPS 76210 WITH SCORE 76326.474
AT ITER 25 NEW BEST:: SOT 138443 SOS 116500 HAS SOPS 116491 HAS SOUS 76206 HAS SOUPS 76197 WITH SCORE 76313.5
AT ITER 27 NEW BEST:: SOT 137765 SOS 115838 HAS SOPS 115829 HAS SOUS 75543 HAS SOUPS 75534 WITH SCORE 75649.838
AT ITER 30 NEW BEST:: SOT 137138 SOS 115211 HAS SOPS 115202 HAS SOUS 75012 HAS SOUPS 75003 WITH SCORE 75118.211
AT ITER 41 NEW BEST:: SOT 137042 SOS 115115 HAS SOPS 115106 HAS SOUS 74916 HAS SOUPS 74907 WITH SCORE 75022.115
AT ITER 50 NEW BEST:: SOT 136797 SOS 114917 HAS SOPS 114908 HAS SOUS 74801 HAS SOUPS 74792 WITH SCORE 74906.917
AT ITER 55 NEW BEST:: SOT 136365 SOS 114607 HAS SOPS 114598 HAS SOUS 74654 HAS SOUPS 74645 WITH SCORE 74759.607
AT ITER 62 NEW BEST:: SOT 135895 SOS 114137 HAS SOPS 114128 HAS SOUS 74182 HAS SOUPS 74173 WITH SCORE 74287.137
AT ITER 66 NEW BEST:: SOT 135809 SOS 114051 HAS SOPS 114042 HAS SOUS 74096 HAS SOUPS 74087 WITH SCORE 74201.051
AT ITER 67 NEW BEST:: SOT 135524 SOS 113766 HAS SOPS 113757 HAS SOUS 73911 HAS SOUPS 73902 WITH SCORE 74015.766
AT ITER 68 NEW BEST:: SOT 135198 SOS 112581 HAS SOPS 112572 HAS SOUS 73685 HAS SOUPS 73676 WITH SCORE 73788.581
AT ITER 70 NEW BEST:: SOT 135107 SOS 112490 HAS SOPS 112481 HAS SOUS 73594 HAS SOUPS 73585 WITH SCORE 73697.49
AT ITER 72 NEW BEST:: SOT 134583 SOS 111982 HAS SOPS 111973 HAS SOUS 73306 HAS SOUPS 73297 WITH SCORE 73408.982
AT ITER 77 NEW BEST:: SOT 134631 SOS 112133 HAS SOPS 112124 HAS SOUS 73185 HAS SOUPS 73176 WITH SCORE 73288.133
AT ITER 78 NEW BEST:: SOT 134188 SOS 111690 HAS SOPS 111681 HAS SOUS 72805 HAS SOUPS 72796 WITH SCORE 72907.69
AT ITER 81 NEW BEST:: SOT 134188 SOS 111390 HAS SOPS 111381 HAS SOUS 72705 HAS SOUPS 72696 WITH SCORE 72807.39
AT ITER 84 NEW BEST:: SOT 133834 SOS 111154 HAS SOPS 111145 HAS SOUS 72469 HAS SOUPS 72460 WITH SCORE 72571.154
AT ITER 85 NEW BEST:: SOT 133574 SOS 110814 HAS SOPS 110805 HAS SOUS 72147 HAS SOUPS 72138 WITH SCORE 72248.814
AT ITER 88 NEW BEST:: SOT 132513 SOS 109578 HAS SOPS 109569 HAS SOUS 71029 HAS SOUPS 71020 WITH SCORE 71129.578
AT ITER 89 NEW BEST:: SOT 131992 SOS 109057 HAS SOPS 109048 HAS SOUS 70665 HAS SOUPS 70656 WITH SCORE 70765.057
AT ITER 97 NEW BEST:: SOT 131803 SOS 108868 HAS SOPS 108859 HAS SOUS 70556 HAS SOUPS 70547 WITH SCORE 70655.868
AT ITER 102 NEW BEST:: SOT 131439 SOS 108504 HAS SOPS 108495 HAS SOUS 70253 HAS SOUPS 70244 WITH SCORE 70352.504
AT ITER 109 NEW BEST:: SOT 131241 SOS 108306 HAS SOPS 108297 HAS SOUS 70073 HAS SOUPS 70064 WITH SCORE 70172.306
AT ITER 112 NEW BEST:: SOT 131241 SOS 107873 HAS SOPS 107864 HAS SOUS 70032 HAS SOUPS 70023 WITH SCORE 70130.873
AT ITER 116 NEW BEST:: SOT 131010 SOS 107675 HAS SOPS 107666 HAS SOUS 69834 HAS SOUPS 69825 WITH SCORE 69932.675
AT ITER 119 NEW BEST:: SOT 130825 SOS 107490 HAS SOPS 107481 HAS SOUS 69674 HAS SOUPS 69665 WITH SCORE 69772.49
AT ITER 122 NEW BEST:: SOT 130178 SOS 106912 HAS SOPS 106903 HAS SOUS 69094 HAS SOUPS 69085 WITH SCORE 69191.912
AT ITER 125 NEW BEST:: SOT 129549 SOS 107067 HAS SOPS 107058 HAS SOUS 68817 HAS SOUPS 68808 WITH SCORE 68915.067
AT ITER 126 NEW BEST:: SOT 129510 SOS 106878 HAS SOPS 106869 HAS SOUS 68793 HAS SOUPS 68784 WITH SCORE 68890.878
AT ITER 127 NEW BEST:: SOT 129505 SOS 106873 HAS SOPS 106864 HAS SOUS 68791 HAS SOUPS 68782 WITH SCORE 68888.873
AT ITER 128 NEW BEST:: SOT 129505 SOS 106937 HAS SOPS 106928 HAS SOUS 68778 HAS SOUPS 68769 WITH SCORE 68875.937
AT ITER 129 NEW BEST:: SOT 129189 SOS 106466 HAS SOPS 106457 HAS SOUS 68317 HAS SOUPS 68308 WITH SCORE 68414.466
AT ITER 131 NEW BEST:: SOT 129090 SOS 106367 HAS SOPS 106358 HAS SOUS 68267 HAS SOUPS 68258 WITH SCORE 68364.367
AT ITER 134 NEW BEST:: SOT 128858 SOS 106251 HAS SOPS 106242 HAS SOUS 67919 HAS SOUPS 67910 WITH SCORE 68016.251
AT ITER 135 NEW BEST:: SOT 128858 SOS 106251 HAS SOPS 106242 HAS SOUS 67917 HAS SOUPS 67908 WITH SCORE 68014.251
AT ITER 139 NEW BEST:: SOT 128106 SOS 105165 HAS SOPS 105156 HAS SOUS 66990 HAS SOUPS 66981 WITH SCORE 67086.165
AT ITER 140 NEW BEST:: SOT 127884 SOS 104943 HAS SOPS 104934 HAS SOUS 66824 HAS SOUPS 66815 WITH SCORE 66919.943
AT ITER 141 NEW BEST:: SOT 127675 SOS 104799 HAS SOPS 104790 HAS SOUS 66608 HAS SOUPS 66599 WITH SCORE 66703.799
AT ITER 144 NEW BEST:: SOT 127697 SOS 104821 HAS SOPS 104812 HAS SOUS 66569 HAS SOUPS 66560 WITH SCORE 66664.821
AT ITER 145 NEW BEST:: SOT 127589 SOS 104713 HAS SOPS 104704 HAS SOUS 66447 HAS SOUPS 66438 WITH SCORE 66542.713
AT ITER 146 NEW BEST:: SOT 127589 SOS 104692 HAS SOPS 104683 HAS SOUS 66447 HAS SOUPS 66438 WITH SCORE 66542.692
AT ITER 149 NEW BEST:: SOT 127648 SOS 104218 HAS SOPS 104209 HAS SOUS 66430 HAS SOUPS 66421 WITH SCORE 66525.218
AT ITER 154 NEW BEST:: SOT 126487 SOS 103057 HAS SOPS 103048 HAS SOUS 65455 HAS SOUPS 65446 WITH SCORE 65549.057
AT ITER 156 NEW BEST:: SOT 126487 SOS 103360 HAS SOPS 103351 HAS SOUS 64941 HAS SOUPS 64932 WITH SCORE 65035.36
AT ITER 160 NEW BEST:: SOT 126356 SOS 103229 HAS SOPS 103220 HAS SOUS 64941 HAS SOUPS 64932 WITH SCORE 65035.229
AT ITER 161 NEW BEST:: SOT 126519 SOS 103392 HAS SOPS 103383 HAS SOUS 64705 HAS SOUPS 64696 WITH SCORE 64799.392
AT ITER 165 NEW BEST:: SOT 125988 SOS 102861 HAS SOPS 102852 HAS SOUS 64174 HAS SOUPS 64165 WITH SCORE 64267.861
AT ITER 167 NEW BEST:: SOT 125997 SOS 102870 HAS SOPS 102861 HAS SOUS 64143 HAS SOUPS 64134 WITH SCORE 64236.87
AT ITER 169 NEW BEST:: SOT 125588 SOS 101481 HAS SOPS 101472 HAS SOUS 63800 HAS SOUPS 63791 WITH SCORE 63892.481
AT ITER 171 NEW BEST:: SOT 125598 SOS 101105 HAS SOPS 101096 HAS SOUS 63762 HAS SOUPS 63753 WITH SCORE 63854.105
AT ITER 181 NEW BEST:: SOT 125550 SOS 100784 HAS SOPS 100775 HAS SOUS 63714 HAS SOUPS 63705 WITH SCORE 63805.784
AT ITER 183 NEW BEST:: SOT 125550 SOS 100707 HAS SOPS 100698 HAS SOUS 63714 HAS SOUPS 63705 WITH SCORE 63805.707
AT ITER 195 NEW BEST:: SOT 125399 SOS 100419 HAS SOPS 100410 HAS SOUS 63554 HAS SOUPS 63545 WITH SCORE 63645.419
AT ITER 202 NEW BEST:: SOT 125534 SOS 100155 HAS SOPS 100146 HAS SOUS 63489 HAS SOUPS 63480 WITH SCORE 63580.155
AT ITER 204 NEW BEST:: SOT 125432 SOS 100053 HAS SOPS 100044 HAS SOUS 63487 HAS SOUPS 63478 WITH SCORE 63578.053
AT ITER 210 NEW BEST:: SOT 125492 SOS 100006 HAS SOPS 99997 HAS SOUS 63455 HAS SOUPS 63446 WITH SCORE 63546.006
AT ITER 217 NEW BEST:: SOT 125491 SOS 99476 HAS SOPS 99467 HAS SOUS 63454 HAS SOUPS 63445 WITH SCORE 63544.476
AT ITER 222 NEW BEST:: SOT 125558 SOS 99248 HAS SOPS 99239 HAS SOUS 63453 HAS SOUPS 63444 WITH SCORE 63543.248
AT ITER 224 NEW BEST:: SOT 125475 SOS 99154 HAS SOPS 99145 HAS SOUS 63394 HAS SOUPS 63385 WITH SCORE 63484.154
AT ITER 226 NEW BEST:: SOT 125471 SOS 99150 HAS SOPS 99141 HAS SOUS 63390 HAS SOUPS 63381 WITH SCORE 63480.15
AT ITER 228 NEW BEST:: SOT 125471 SOS 98942 HAS SOPS 98933 HAS SOUS 63319 HAS SOUPS 63310 WITH SCORE 63408.942
AT ITER 230 NEW BEST:: SOT 125257 SOS 98728 HAS SOPS 98719 HAS SOUS 63105 HAS SOUPS 63096 WITH SCORE 63194.728
AT ITER 234 NEW BEST:: SOT 124910 SOS 98372 HAS SOPS 98363 HAS SOUS 62911 HAS SOUPS 62902 WITH SCORE 63000.372
AT ITER 236 NEW BEST:: SOT 124623 SOS 98287 HAS SOPS 98278 HAS SOUS 62826 HAS SOUPS 62817 WITH SCORE 62915.287
AT ITER 239 NEW BEST:: SOT 124357 SOS 98013 HAS SOPS 98004 HAS SOUS 62552 HAS SOUPS 62543 WITH SCORE 62641.013
AT ITER 243 NEW BEST:: SOT 124357 SOS 97969 HAS SOPS 97960 HAS SOUS 62552 HAS SOUPS 62543 WITH SCORE 62640.969
AT ITER 244 NEW BEST:: SOT 124339 SOS 97951 HAS SOPS 97942 HAS SOUS 62530 HAS SOUPS 62521 WITH SCORE 62618.951
AT ITER 248 NEW BEST:: SOT 124241 SOS 97874 HAS SOPS 97865 HAS SOUS 62495 HAS SOUPS 62486 WITH SCORE 62583.874
AT ITER 250 NEW BEST:: SOT 124119 SOS 97780 HAS SOPS 97771 HAS SOUS 62456 HAS SOUPS 62447 WITH SCORE 62544.78
AT ITER 254 NEW BEST:: SOT 123742 SOS 96114 HAS SOPS 96105 HAS SOUS 61776 HAS SOUPS 61767 WITH SCORE 61863.114
AT ITER 257 NEW BEST:: SOT 123724 SOS 96080 HAS SOPS 96071 HAS SOUS 61630 HAS SOUPS 61621 WITH SCORE 61717.08
AT ITER 260 NEW BEST:: SOT 123726 SOS 96082 HAS SOPS 96073 HAS SOUS 61628 HAS SOUPS 61619 WITH SCORE 61715.082
AT ITER 261 NEW BEST:: SOT 123669 SOS 96025 HAS SOPS 96016 HAS SOUS 61571 HAS SOUPS 61562 WITH SCORE 61658.025
AT ITER 262 NEW BEST:: SOT 123638 SOS 95994 HAS SOPS 95985 HAS SOUS 61571 HAS SOUPS 61562 WITH SCORE 61657.994
AT ITER 263 NEW BEST:: SOT 123195 SOS 95269 HAS SOPS 95260 HAS SOUS 61039 HAS SOUPS 61030 WITH SCORE 61125.269
AT ITER 271 NEW BEST:: SOT 122943 SOS 95017 HAS SOPS 95008 HAS SOUS 60787 HAS SOUPS 60778 WITH SCORE 60873.017
AT ITER 273 NEW BEST:: SOT 122943 SOS 94849 HAS SOPS 94840 HAS SOUS 60787 HAS SOUPS 60778 WITH SCORE 60872.849
AT ITER 275 NEW BEST:: SOT 122883 SOS 94789 HAS SOPS 94780 HAS SOUS 60721 HAS SOUPS 60712 WITH SCORE 60806.789
AT ITER 278 NEW BEST:: SOT 122883 SOS 94791 HAS SOPS 94782 HAS SOUS 60719 HAS SOUPS 60710 WITH SCORE 60804.791
AT ITER 280 NEW BEST:: SOT 122883 SOS 94459 HAS SOPS 94450 HAS SOUS 60719 HAS SOUPS 60710 WITH SCORE 60804.459
AT ITER 282 NEW BEST:: SOT 122793 SOS 94369 HAS SOPS 94360 HAS SOUS 60627 HAS SOUPS 60618 WITH SCORE 60712.369
AT ITER 287 NEW BEST:: SOT 122723 SOS 94200 HAS SOPS 94191 HAS SOUS 60566 HAS SOUPS 60557 WITH SCORE 60651.2
AT ITER 290 NEW BEST:: SOT 122363 SOS 93840 HAS SOPS 93831 HAS SOUS 60143 HAS SOUPS 60134 WITH SCORE 60227.84
AT ITER 292 NEW BEST:: SOT 122281 SOS 93818 HAS SOPS 93809 HAS SOUS 60001 HAS SOUPS 59992 WITH SCORE 60085.818
AT ITER 297 NEW BEST:: SOT 121507 SOS 93044 HAS SOPS 93035 HAS SOUS 59225 HAS SOUPS 59216 WITH SCORE 59309.044
AT ITER 299 NEW BEST:: SOT 120154 SOS 91655 HAS SOPS 91646 HAS SOUS 58025 HAS SOUPS 58016 WITH SCORE 58107.655
AT ITER 303 NEW BEST:: SOT 119974 SOS 91475 HAS SOPS 91466 HAS SOUS 57884 HAS SOUPS 57875 WITH SCORE 57966.475
AT ITER 306 NEW BEST:: SOT 119944 SOS 91428 HAS SOPS 91419 HAS SOUS 57837 HAS SOUPS 57828 WITH SCORE 57919.428
AT ITER 307 NEW BEST:: SOT 119660 SOS 90971 HAS SOPS 90962 HAS SOUS 57624 HAS SOUPS 57615 WITH SCORE 57705.971
AT ITER 308 NEW BEST:: SOT 119426 SOS 90737 HAS SOPS 90728 HAS SOUS 57438 HAS SOUPS 57429 WITH SCORE 57519.737
AT ITER 310 NEW BEST:: SOT 119426 SOS 90736 HAS SOPS 90727 HAS SOUS 57437 HAS SOUPS 57428 WITH SCORE 57518.736
AT ITER 311 NEW BEST:: SOT 119385 SOS 90602 HAS SOPS 90593 HAS SOUS 57396 HAS SOUPS 57387 WITH SCORE 57477.602
AT ITER 313 NEW BEST:: SOT 118826 SOS 90163 HAS SOPS 90154 HAS SOUS 56992 HAS SOUPS 56983 WITH SCORE 57073.163
AT ITER 314 NEW BEST:: SOT 118826 SOS 90163 HAS SOPS 90154 HAS SOUS 56982 HAS SOUPS 56973 WITH SCORE 57063.163
AT ITER 316 NEW BEST:: SOT 118793 SOS 89923 HAS SOPS 89914 HAS SOUS 56946 HAS SOUPS 56937 WITH SCORE 57026.923
AT ITER 318 NEW BEST:: SOT 118559 SOS 89531 HAS SOPS 89522 HAS SOUS 56748 HAS SOUPS 56739 WITH SCORE 56828.531
AT ITER 319 NEW BEST:: SOT 118499 SOS 89545 HAS SOPS 89536 HAS SOUS 56704 HAS SOUPS 56695 WITH SCORE 56784.545
AT ITER 321 NEW BEST:: SOT 118360 SOS 89442 HAS SOPS 89433 HAS SOUS 56580 HAS SOUPS 56571 WITH SCORE 56660.442
AT ITER 339 NEW BEST:: SOT 118353 SOS 89449 HAS SOPS 89440 HAS SOUS 56553 HAS SOUPS 56544 WITH SCORE 56633.449
AT ITER 344 NEW BEST:: SOT 118249 SOS 89189 HAS SOPS 89180 HAS SOUS 56445 HAS SOUPS 56436 WITH SCORE 56525.189
AT ITER 346 NEW BEST:: SOT 118301 SOS 89241 HAS SOPS 89232 HAS SOUS 56319 HAS SOUPS 56310 WITH SCORE 56399.241
AT ITER 349 NEW BEST:: SOT 118263 SOS 89229 HAS SOPS 89220 HAS SOUS 56307 HAS SOUPS 56298 WITH SCORE 56387.229
AT ITER 350 NEW BEST:: SOT 118232 SOS 89198 HAS SOPS 89189 HAS SOUS 56276 HAS SOUPS 56267 WITH SCORE 56356.198
AT ITER 351 NEW BEST:: SOT 118164 SOS 89130 HAS SOPS 89121 HAS SOUS 56208 HAS SOUPS 56199 WITH SCORE 56288.13
AT ITER 352 NEW BEST:: SOT 118182 SOS 88942 HAS SOPS 88933 HAS SOUS 56160 HAS SOUPS 56151 WITH SCORE 56239.942
AT ITER 356 NEW BEST:: SOT 117998 SOS 88758 HAS SOPS 88749 HAS SOUS 55972 HAS SOUPS 55963 WITH SCORE 56051.758
AT ITER 358 NEW BEST:: SOT 117964 SOS 88746 HAS SOPS 88737 HAS SOUS 55960 HAS SOUPS 55951 WITH SCORE 56039.746
AT ITER 360 NEW BEST:: SOT 117809 SOS 88651 HAS SOPS 88642 HAS SOUS 55775 HAS SOUPS 55766 WITH SCORE 55854.651
AT ITER 362 NEW BEST:: SOT 117809 SOS 87776 HAS SOPS 87767 HAS SOUS 55718 HAS SOUPS 55709 WITH SCORE 55796.776
AT ITER 363 NEW BEST:: SOT 117797 SOS 87788 HAS SOPS 87779 HAS SOUS 55706 HAS SOUPS 55697 WITH SCORE 55784.788
AT ITER 364 NEW BEST:: SOT 117770 SOS 87776 HAS SOPS 87752 HAS SOUS 55713 HAS SOUPS 55689 WITH SCORE 55776.776
AT ITER 368 NEW BEST:: SOT 117298 SOS 87376 HAS SOPS 87352 HAS SOUS 55313 HAS SOUPS 55289 WITH SCORE 55376.376
AT ITER 370 NEW BEST:: SOT 117071 SOS 87217 HAS SOPS 87193 HAS SOUS 55112 HAS SOUPS 55088 WITH SCORE 55175.217
AT ITER 371 NEW BEST:: SOT 116827 SOS 86973 HAS SOPS 86949 HAS SOUS 54868 HAS SOUPS 54844 WITH SCORE 54930.973
AT ITER 378 NEW BEST:: SOT 116298 SOS 86698 HAS SOPS 86674 HAS SOUS 54384 HAS SOUPS 54360 WITH SCORE 54446.698
AT ITER 381 NEW BEST:: SOT 116131 SOS 86531 HAS SOPS 86507 HAS SOUS 54217 HAS SOUPS 54193 WITH SCORE 54279.531
AT ITER 387 NEW BEST:: SOT 115573 SOS 86026 HAS SOPS 86002 HAS SOUS 53690 HAS SOUPS 53666 WITH SCORE 53752.026
AT ITER 388 NEW BEST:: SOT 115650 SOS 86019 HAS SOPS 85995 HAS SOUS 53668 HAS SOUPS 53644 WITH SCORE 53730.019
AT ITER 391 NEW BEST:: SOT 115546 SOS 85795 HAS SOPS 85771 HAS SOUS 53507 HAS SOUPS 53483 WITH SCORE 53568.795
AT ITER 393 NEW BEST:: SOT 115561 SOS 85810 HAS SOPS 85786 HAS SOUS 53492 HAS SOUPS 53468 WITH SCORE 53553.81
AT ITER 394 NEW BEST:: SOT 115423 SOS 85502 HAS SOPS 85478 HAS SOUS 53314 HAS SOUPS 53290 WITH SCORE 53375.502
AT ITER 396 NEW BEST:: SOT 115481 SOS 85391 HAS SOPS 85367 HAS SOUS 53193 HAS SOUPS 53169 WITH SCORE 53254.391
AT ITER 414 NEW BEST:: SOT 115466 SOS 85340 HAS SOPS 85316 HAS SOUS 53169 HAS SOUPS 53145 WITH SCORE 53230.34
AT ITER 415 NEW BEST:: SOT 115660 SOS 85215 HAS SOPS 84529 HAS SOUS 53392 HAS SOUPS 53008 WITH SCORE 53093.215
AT ITER 417 NEW BEST:: SOT 115660 SOS 85215 HAS SOPS 84529 HAS SOUS 53340 HAS SOUPS 52956 WITH SCORE 53041.215
AT ITER 421 NEW BEST:: SOT 115743 SOS 85190 HAS SOPS 84504 HAS SOUS 53215 HAS SOUPS 52831 WITH SCORE 52916.19
AT ITER 426 NEW BEST:: SOT 115959 SOS 84611 HAS SOPS 83925 HAS SOUS 53156 HAS SOUPS 52772 WITH SCORE 52856.611
AT ITER 430 NEW BEST:: SOT 115940 SOS 84592 HAS SOPS 83906 HAS SOUS 53099 HAS SOUPS 52715 WITH SCORE 52799.592
AT ITER 431 NEW BEST:: SOT 115939 SOS 84591 HAS SOPS 83905 HAS SOUS 53098 HAS SOUPS 52714 WITH SCORE 52798.591
AT ITER 435 NEW BEST:: SOT 115939 SOS 84668 HAS SOPS 83982 HAS SOUS 53081 HAS SOUPS 52697 WITH SCORE 52781.668
AT ITER 438 NEW BEST:: SOT 115784 SOS 84513 HAS SOPS 83827 HAS SOUS 52926 HAS SOUPS 52542 WITH SCORE 52626.513
AT ITER 444 NEW BEST:: SOT 115784 SOS 84513 HAS SOPS 83827 HAS SOUS 52924 HAS SOUPS 52540 WITH SCORE 52624.513
AT ITER 449 NEW BEST:: SOT 115691 SOS 84420 HAS SOPS 83734 HAS SOUS 52837 HAS SOUPS 52453 WITH SCORE 52537.42
AT ITER 460 NEW BEST:: SOT 115645 SOS 84374 HAS SOPS 83688 HAS SOUS 52791 HAS SOUPS 52407 WITH SCORE 52491.374
AT ITER 463 NEW BEST:: SOT 115581 SOS 84073 HAS SOPS 83225 HAS SOUS 52817 HAS SOUPS 52271 WITH SCORE 52355.073
AT ITER 469 NEW BEST:: SOT 115660 SOS 84041 HAS SOPS 83193 HAS SOUS 52750 HAS SOUPS 52204 WITH SCORE 52288.041
AT ITER 471 NEW BEST:: SOT 115640 SOS 84021 HAS SOPS 83173 HAS SOUS 52730 HAS SOUPS 52184 WITH SCORE 52268.021
AT ITER 472 NEW BEST:: SOT 115586 SOS 83973 HAS SOPS 83125 HAS SOUS 52682 HAS SOUPS 52136 WITH SCORE 52219.973
AT ITER 475 NEW BEST:: SOT 115592 SOS 83961 HAS SOPS 83113 HAS SOUS 52682 HAS SOUPS 52136 WITH SCORE 52219.961
AT ITER 477 NEW BEST:: SOT 115541 SOS 83726 HAS SOPS 82878 HAS SOUS 52513 HAS SOUPS 51967 WITH SCORE 52050.726
AT ITER 478 NEW BEST:: SOT 115497 SOS 83682 HAS SOPS 82834 HAS SOUS 52469 HAS SOUPS 51923 WITH SCORE 52006.682
AT ITER 484 NEW BEST:: SOT 115229 SOS 83594 HAS SOPS 82780 HAS SOUS 52186 HAS SOUPS 51674 WITH SCORE 51757.594
AT ITER 497 NEW BEST:: SOT 115215 SOS 83586 HAS SOPS 82772 HAS SOUS 52178 HAS SOUPS 51666 WITH SCORE 51749.586
AT ITER 501 NEW BEST:: SOT 114547 SOS 82756 HAS SOPS 82104 HAS SOUS 51444 HAS SOUPS 51094 WITH SCORE 51176.756
AT ITER 503 NEW BEST:: SOT 114493 SOS 82959 HAS SOPS 82307 HAS SOUS 51364 HAS SOUPS 51014 WITH SCORE 51096.959
AT ITER 516 NEW BEST:: SOT 114290 SOS 82756 HAS SOPS 82104 HAS SOUS 51226 HAS SOUPS 50876 WITH SCORE 50958.756
AT ITER 517 NEW BEST:: SOT 114241 SOS 82846 HAS SOPS 82209 HAS SOUS 51107 HAS SOUPS 50772 WITH SCORE 50854.846
AT ITER 519 NEW BEST:: SOT 114100 SOS 83026 HAS SOPS 82065 HAS SOUS 51271 HAS SOUPS 50721 WITH SCORE 50804.026
AT ITER 520 NEW BEST:: SOT 114100 SOS 82891 HAS SOPS 81913 HAS SOUS 51254 HAS SOUPS 50704 WITH SCORE 50786.891
AT ITER 522 NEW BEST:: SOT 114053 SOS 82778 HAS SOPS 81800 HAS SOUS 51157 HAS SOUPS 50607 WITH SCORE 50689.778
AT ITER 525 NEW BEST:: SOT 114080 SOS 82851 HAS SOPS 81636 HAS SOUS 51261 HAS SOUPS 50474 WITH SCORE 50556.851
AT ITER 527 NEW BEST:: SOT 113830 SOS 82601 HAS SOPS 81386 HAS SOUS 50817 HAS SOUPS 50030 WITH SCORE 50112.601
AT ITER 529 NEW BEST:: SOT 113812 SOS 82583 HAS SOPS 81368 HAS SOUS 50802 HAS SOUPS 50015 WITH SCORE 50097.583
AT ITER 530 NEW BEST:: SOT 113307 SOS 82078 HAS SOPS 80863 HAS SOUS 50293 HAS SOUPS 49506 WITH SCORE 49588.078
AT ITER 534 NEW BEST:: SOT 113162 SOS 81911 HAS SOPS 80696 HAS SOUS 50148 HAS SOUPS 49361 WITH SCORE 49442.911
AT ITER 539 NEW BEST:: SOT 113155 SOS 81925 HAS SOPS 80710 HAS SOUS 50120 HAS SOUPS 49333 WITH SCORE 49414.925
AT ITER 540 NEW BEST:: SOT 113149 SOS 81919 HAS SOPS 80704 HAS SOUS 50114 HAS SOUPS 49327 WITH SCORE 49408.919
AT ITER 542 NEW BEST:: SOT 113115 SOS 81881 HAS SOPS 80666 HAS SOUS 50076 HAS SOUPS 49289 WITH SCORE 49370.881
AT ITER 543 NEW BEST:: SOT 112610 SOS 81282 HAS SOPS 80067 HAS SOUS 49477 HAS SOUPS 48690 WITH SCORE 48771.282
AT ITER 544 NEW BEST:: SOT 112610 SOS 81192 HAS SOPS 79977 HAS SOUS 49477 HAS SOUPS 48690 WITH SCORE 48771.192
AT ITER 554 NEW BEST:: SOT 112610 SOS 80886 HAS SOPS 79671 HAS SOUS 49426 HAS SOUPS 48639 WITH SCORE 48719.886
AT ITER 565 NEW BEST:: SOT 112626 SOS 80892 HAS SOPS 79667 HAS SOUS 49422 HAS SOUPS 48635 WITH SCORE 48715.892
AT ITER 572 NEW BEST:: SOT 112277 SOS 80565 HAS SOPS 79340 HAS SOUS 49232 HAS SOUPS 48445 WITH SCORE 48525.565
AT ITER 575 NEW BEST:: SOT 112216 SOS 80504 HAS SOPS 79279 HAS SOUS 49171 HAS SOUPS 48384 WITH SCORE 48464.504
AT ITER 576 NEW BEST:: SOT 112124 SOS 80366 HAS SOPS 79141 HAS SOUS 49111 HAS SOUPS 48324 WITH SCORE 48404.366
AT ITER 580 NEW BEST:: SOT 112106 SOS 80348 HAS SOPS 79123 HAS SOUS 49011 HAS SOUPS 48224 WITH SCORE 48304.348
AT ITER 589 NEW BEST:: SOT 112113 SOS 80355 HAS SOPS 79130 HAS SOUS 49004 HAS SOUPS 48217 WITH SCORE 48297.355
AT ITER 600 NEW BEST:: SOT 112156 SOS 80340 HAS SOPS 79115 HAS SOUS 48988 HAS SOUPS 48201 WITH SCORE 48281.34
AT ITER 606 NEW BEST:: SOT 112000 SOS 80184 HAS SOPS 78959 HAS SOUS 48786 HAS SOUPS 47999 WITH SCORE 48079.184
AT ITER 609 NEW BEST:: SOT 112072 SOS 80026 HAS SOPS 78801 HAS SOUS 48720 HAS SOUPS 47933 WITH SCORE 48013.026
AT ITER 612 NEW BEST:: SOT 112072 SOS 79836 HAS SOPS 78611 HAS SOUS 48693 HAS SOUPS 47906 WITH SCORE 47985.836
AT ITER 613 NEW BEST:: SOT 111545 SOS 79309 HAS SOPS 78084 HAS SOUS 47968 HAS SOUPS 47181 WITH SCORE 47260.309
AT ITER 617 NEW BEST:: SOT 111437 SOS 79201 HAS SOPS 77976 HAS SOUS 47966 HAS SOUPS 47179 WITH SCORE 47258.201
AT ITER 620 NEW BEST:: SOT 111444 SOS 79395 HAS SOPS 78170 HAS SOUS 47911 HAS SOUPS 47124 WITH SCORE 47203.395
AT ITER 621 NEW BEST:: SOT 111576 SOS 79327 HAS SOPS 78102 HAS SOUS 47839 HAS SOUPS 47052 WITH SCORE 47131.327
AT ITER 622 NEW BEST:: SOT 111567 SOS 79291 HAS SOPS 78066 HAS SOUS 47830 HAS SOUPS 47043 WITH SCORE 47122.291
AT ITER 626 NEW BEST:: SOT 111567 SOS 79245 HAS SOPS 78020 HAS SOUS 47819 HAS SOUPS 47032 WITH SCORE 47111.245
AT ITER 627 NEW BEST:: SOT 111478 SOS 79167 HAS SOPS 77942 HAS SOUS 47741 HAS SOUPS 46954 WITH SCORE 47033.167
AT ITER 631 NEW BEST:: SOT 111478 SOS 79180 HAS SOPS 77955 HAS SOUS 47734 HAS SOUPS 46947 WITH SCORE 47026.18
AT ITER 636 NEW BEST:: SOT 111416 SOS 79118 HAS SOPS 77893 HAS SOUS 47682 HAS SOUPS 46895 WITH SCORE 46974.118
AT ITER 656 NEW BEST:: SOT 111416 SOS 78734 HAS SOPS 77509 HAS SOUS 47682 HAS SOUPS 46895 WITH SCORE 46973.734
AT ITER 658 NEW BEST:: SOT 111416 SOS 78682 HAS SOPS 77457 HAS SOUS 47680 HAS SOUPS 46893 WITH SCORE 46971.682
AT ITER 664 NEW BEST:: SOT 110500 SOS 78043 HAS SOPS 76818 HAS SOUS 46849 HAS SOUPS 46062 WITH SCORE 46140.043
AT ITER 672 NEW BEST:: SOT 110734 SOS 77760 HAS SOPS 76298 HAS SOUS 46954 HAS SOUPS 45930 WITH SCORE 46007.76
AT ITER 678 NEW BEST:: SOT 110550 SOS 77663 HAS SOPS 76201 HAS SOUS 46848 HAS SOUPS 45824 WITH SCORE 45901.663
AT ITER 679 NEW BEST:: SOT 110550 SOS 77440 HAS SOPS 75978 HAS SOUS 46822 HAS SOUPS 45798 WITH SCORE 45875.44
AT ITER 687 NEW BEST:: SOT 110433 SOS 77323 HAS SOPS 75861 HAS SOUS 46705 HAS SOUPS 45681 WITH SCORE 45758.323
AT ITER 692 NEW BEST:: SOT 110221 SOS 77127 HAS SOPS 75665 HAS SOUS 46401 HAS SOUPS 45377 WITH SCORE 45454.127
AT ITER 696 NEW BEST:: SOT 110021 SOS 77051 HAS SOPS 75589 HAS SOUS 46345 HAS SOUPS 45321 WITH SCORE 45398.051
AT ITER 700 NEW BEST:: SOT 109652 SOS 76675 HAS SOPS 75213 HAS SOUS 46331 HAS SOUPS 45307 WITH SCORE 45383.675
AT ITER 703 NEW BEST:: SOT 109477 SOS 76460 HAS SOPS 74998 HAS SOUS 46221 HAS SOUPS 45197 WITH SCORE 45273.46
AT ITER 711 NEW BEST:: SOT 109295 SOS 77298 HAS SOPS 76051 HAS SOUS 46015 HAS SOUPS 45097 WITH SCORE 45174.298
AT ITER 712 NEW BEST:: SOT 108845 SOS 76939 HAS SOPS 75692 HAS SOUS 45821 HAS SOUPS 44903 WITH SCORE 44979.939
AT ITER 720 NEW BEST:: SOT 108841 SOS 76935 HAS SOPS 75688 HAS SOUS 45817 HAS SOUPS 44899 WITH SCORE 44975.935
AT ITER 723 NEW BEST:: SOT 108860 SOS 76718 HAS SOPS 75471 HAS SOUS 45817 HAS SOUPS 44899 WITH SCORE 44975.718
AT ITER 724 NEW BEST:: SOT 108860 SOS 76712 HAS SOPS 75465 HAS SOUS 45815 HAS SOUPS 44897 WITH SCORE 44973.712
AT ITER 725 NEW BEST:: SOT 108850 SOS 76702 HAS SOPS 75455 HAS SOUS 45805 HAS SOUPS 44887 WITH SCORE 44963.702
AT ITER 729 NEW BEST:: SOT 108847 SOS 76691 HAS SOPS 75444 HAS SOUS 45757 HAS SOUPS 44839 WITH SCORE 44915.691
AT ITER 730 NEW BEST:: SOT 108937 SOS 76680 HAS SOPS 75433 HAS SOUS 45757 HAS SOUPS 44839 WITH SCORE 44915.68
AT ITER 731 NEW BEST:: SOT 108929 SOS 76672 HAS SOPS 75425 HAS SOUS 45749 HAS SOUPS 44831 WITH SCORE 44907.672
AT ITER 746 NEW BEST:: SOT 108529 SOS 76235 HAS SOPS 74988 HAS SOUS 45311 HAS SOUPS 44393 WITH SCORE 44469.235
AT ITER 751 NEW BEST:: SOT 108471 SOS 76148 HAS SOPS 74901 HAS SOUS 45311 HAS SOUPS 44393 WITH SCORE 44469.148
AT ITER 755 NEW BEST:: SOT 108438 SOS 75927 HAS SOPS 74680 HAS SOUS 45300 HAS SOUPS 44382 WITH SCORE 44457.927
AT ITER 757 NEW BEST:: SOT 108459 SOS 75930 HAS SOPS 74683 HAS SOUS 45282 HAS SOUPS 44364 WITH SCORE 44439.93
AT ITER 760 NEW BEST:: SOT 108459 SOS 75930 HAS SOPS 74683 HAS SOUS 45266 HAS SOUPS 44348 WITH SCORE 44423.93
AT ITER 765 NEW BEST:: SOT 108827 SOS 76064 HAS SOPS 74817 HAS SOUS 45163 HAS SOUPS 44245 WITH SCORE 44321.064
AT ITER 769 NEW BEST:: SOT 108827 SOS 76078 HAS SOPS 74831 HAS SOUS 45133 HAS SOUPS 44215 WITH SCORE 44291.078
AT ITER 782 NEW BEST:: SOT 108865 SOS 76056 HAS SOPS 74809 HAS SOUS 45080 HAS SOUPS 44162 WITH SCORE 44238.056
AT ITER 784 NEW BEST:: SOT 108853 SOS 75750 HAS SOPS 74503 HAS SOUS 45068 HAS SOUPS 44150 WITH SCORE 44225.75
AT ITER 786 NEW BEST:: SOT 108845 SOS 75742 HAS SOPS 74495 HAS SOUS 45060 HAS SOUPS 44142 WITH SCORE 44217.742
AT ITER 792 NEW BEST:: SOT 108888 SOS 75740 HAS SOPS 74493 HAS SOUS 45013 HAS SOUPS 44095 WITH SCORE 44170.74
AT ITER 793 NEW BEST:: SOT 108901 SOS 75593 HAS SOPS 74310 HAS SOUS 44935 HAS SOUPS 43981 WITH SCORE 44056.593
AT ITER 799 NEW BEST:: SOT 108963 SOS 76337 HAS SOPS 74810 HAS SOUS 45134 HAS SOUPS 43936 WITH SCORE 44012.337
AT ITER 804 NEW BEST:: SOT 108963 SOS 75828 HAS SOPS 74301 HAS SOUS 45134 HAS SOUPS 43936 WITH SCORE 44011.828
AT ITER 808 NEW BEST:: SOT 108956 SOS 75336 HAS SOPS 73741 HAS SOUS 45168 HAS SOUPS 43919 WITH SCORE 43994.336
AT ITER 816 NEW BEST:: SOT 108588 SOS 75236 HAS SOPS 73641 HAS SOUS 44961 HAS SOUPS 43712 WITH SCORE 43787.236
AT ITER 822 NEW BEST:: SOT 108073 SOS 75680 HAS SOPS 74085 HAS SOUS 44825 HAS SOUPS 43576 WITH SCORE 43651.68
AT ITER 823 NEW BEST:: SOT 107901 SOS 75311 HAS SOPS 73716 HAS SOUS 44774 HAS SOUPS 43525 WITH SCORE 43600.311
AT ITER 833 NEW BEST:: SOT 107878 SOS 75156 HAS SOPS 73605 HAS SOUS 44707 HAS SOUPS 43502 WITH SCORE 43577.156
AT ITER 836 NEW BEST:: SOT 107850 SOS 74754 HAS SOPS 73203 HAS SOUS 44583 HAS SOUPS 43378 WITH SCORE 43452.754
AT ITER 837 NEW BEST:: SOT 107850 SOS 74754 HAS SOPS 73203 HAS SOUS 44541 HAS SOUPS 43336 WITH SCORE 43410.754
AT ITER 846 NEW BEST:: SOT 107850 SOS 74343 HAS SOPS 72792 HAS SOUS 44541 HAS SOUPS 43336 WITH SCORE 43410.343
AT ITER 847 NEW BEST:: SOT 107708 SOS 74201 HAS SOPS 72650 HAS SOUS 44399 HAS SOUPS 43194 WITH SCORE 43268.201
AT ITER 853 NEW BEST:: SOT 107759 SOS 74429 HAS SOPS 72878 HAS SOUS 44378 HAS SOUPS 43173 WITH SCORE 43247.429
AT ITER 857 NEW BEST:: SOT 107580 SOS 73828 HAS SOPS 72277 HAS SOUS 44015 HAS SOUPS 42810 WITH SCORE 42883.828
AT ITER 865 NEW BEST:: SOT 107518 SOS 73295 HAS SOPS 71744 HAS SOUS 43891 HAS SOUPS 42686 WITH SCORE 42759.295
AT ITER 880 NEW BEST:: SOT 107518 SOS 73295 HAS SOPS 71744 HAS SOUS 43867 HAS SOUPS 42662 WITH SCORE 42735.295
AT ITER 886 NEW BEST:: SOT 107438 SOS 72880 HAS SOPS 71329 HAS SOUS 43867 HAS SOUPS 42662 WITH SCORE 42734.88
AT ITER 887 NEW BEST:: SOT 107438 SOS 72859 HAS SOPS 71308 HAS SOUS 43825 HAS SOUPS 42620 WITH SCORE 42692.859
AT ITER 893 NEW BEST:: SOT 107330 SOS 72805 HAS SOPS 71254 HAS SOUS 43767 HAS SOUPS 42562 WITH SCORE 42634.805
AT ITER 896 NEW BEST:: SOT 107580 SOS 72930 HAS SOPS 71379 HAS SOUS 43566 HAS SOUPS 42361 WITH SCORE 42433.93
AT ITER 904 NEW BEST:: SOT 107607 SOS 73099 HAS SOPS 71548 HAS SOUS 43565 HAS SOUPS 42360 WITH SCORE 42433.099
AT ITER 905 NEW BEST:: SOT 107495 SOS 73011 HAS SOPS 71484 HAS SOUS 43536 HAS SOUPS 42331 WITH SCORE 42404.011
AT ITER 910 NEW BEST:: SOT 107453 SOS 72926 HAS SOPS 71399 HAS SOUS 43404 HAS SOUPS 42199 WITH SCORE 42271.926
AT ITER 914 NEW BEST:: SOT 107487 SOS 72696 HAS SOPS 71169 HAS SOUS 43319 HAS SOUPS 42114 WITH SCORE 42186.696
AT ITER 915 NEW BEST:: SOT 107471 SOS 72526 HAS SOPS 70999 HAS SOUS 43287 HAS SOUPS 42082 WITH SCORE 42154.526
AT ITER 928 NEW BEST:: SOT 107471 SOS 72499 HAS SOPS 70945 HAS SOUS 43280 HAS SOUPS 42066 WITH SCORE 42138.499
AT ITER 933 NEW BEST:: SOT 107137 SOS 72124 HAS SOPS 70570 HAS SOUS 42657 HAS SOUPS 41443 WITH SCORE 41515.124
AT ITER 936 NEW BEST:: SOT 107245 SOS 72232 HAS SOPS 70678 HAS SOUS 42605 HAS SOUPS 41391 WITH SCORE 41463.232
AT ITER 937 NEW BEST:: SOT 107205 SOS 72152 HAS SOPS 70618 HAS SOUS 42565 HAS SOUPS 41371 WITH SCORE 41443.152
AT ITER 940 NEW BEST:: SOT 107183 SOS 72130 HAS SOPS 70596 HAS SOUS 42543 HAS SOUPS 41349 WITH SCORE 41421.13
AT ITER 941 NEW BEST:: SOT 107170 SOS 72114 HAS SOPS 70580 HAS SOUS 42532 HAS SOUPS 41338 WITH SCORE 41410.114
AT ITER 945 NEW BEST:: SOT 107170 SOS 72058 HAS SOPS 70506 HAS SOUS 42532 HAS SOUPS 41329 WITH SCORE 41401.058
AT ITER 946 NEW BEST:: SOT 106757 SOS 71665 HAS SOPS 70113 HAS SOUS 42138 HAS SOUPS 40935 WITH SCORE 41006.665
AT ITER 967 NEW BEST:: SOT 106724 SOS 71599 HAS SOPS 70058 HAS SOUS 42105 HAS SOUPS 40913 WITH SCORE 40984.599
AT ITER 968 NEW BEST:: SOT 106646 SOS 71510 HAS SOPS 69969 HAS SOUS 42008 HAS SOUPS 40816 WITH SCORE 40887.51
AT ITER 981 NEW BEST:: SOT 106526 SOS 71390 HAS SOPS 69849 HAS SOUS 41838 HAS SOUPS 40646 WITH SCORE 40717.39
AT ITER 998 NEW BEST:: SOT 106471 SOS 71266 HAS SOPS 69725 HAS SOUS 41708 HAS SOUPS 40516 WITH SCORE 40587.266
AT ITER 1009 NEW BEST:: SOT 106592 SOS 71429 HAS SOPS 69888 HAS SOUS 41618 HAS SOUPS 40426 WITH SCORE 40497.429
AT ITER 1013 NEW BEST:: SOT 106566 SOS 71403 HAS SOPS 69862 HAS SOUS 41592 HAS SOUPS 40400 WITH SCORE 40471.403
AT ITER 1015 NEW BEST:: SOT 106534 SOS 71371 HAS SOPS 69830 HAS SOUS 41560 HAS SOUPS 40368 WITH SCORE 40439.371
AT ITER 1017 NEW BEST:: SOT 106515 SOS 71308 HAS SOPS 69767 HAS SOUS 41537 HAS SOUPS 40345 WITH SCORE 40416.308
AT ITER 1018 NEW BEST:: SOT 106419 SOS 71025 HAS SOPS 69311 HAS SOUS 41505 HAS SOUPS 40198 WITH SCORE 40269.025
AT ITER 1019 NEW BEST:: SOT 106419 SOS 71103 HAS SOPS 69389 HAS SOUS 41466 HAS SOUPS 40159 WITH SCORE 40230.103
AT ITER 1020 NEW BEST:: SOT 106490 SOS 70763 HAS SOPS 68912 HAS SOUS 41537 HAS SOUPS 40093 WITH SCORE 40163.763
AT ITER 1022 NEW BEST:: SOT 106404 SOS 70677 HAS SOPS 68826 HAS SOUS 41445 HAS SOUPS 40001 WITH SCORE 40071.677
AT ITER 1030 NEW BEST:: SOT 106328 SOS 70601 HAS SOPS 68750 HAS SOUS 41395 HAS SOUPS 39951 WITH SCORE 40021.601
AT ITER 1049 NEW BEST:: SOT 106412 SOS 70698 HAS SOPS 68847 HAS SOUS 41316 HAS SOUPS 39872 WITH SCORE 39942.698
AT ITER 1054 NEW BEST:: SOT 106431 SOS 70717 HAS SOPS 68866 HAS SOUS 41297 HAS SOUPS 39853 WITH SCORE 39923.717
AT ITER 1055 NEW BEST:: SOT 106407 SOS 70693 HAS SOPS 68842 HAS SOUS 41281 HAS SOUPS 39837 WITH SCORE 39907.693
AT ITER 1063 NEW BEST:: SOT 106359 SOS 70633 HAS SOPS 68782 HAS SOUS 41245 HAS SOUPS 39801 WITH SCORE 39871.633
AT ITER 1072 NEW BEST:: SOT 106357 SOS 70630 HAS SOPS 68779 HAS SOUS 41244 HAS SOUPS 39800 WITH SCORE 39870.63
AT ITER 1075 NEW BEST:: SOT 106345 SOS 70678 HAS SOPS 68827 HAS SOUS 41215 HAS SOUPS 39771 WITH SCORE 39841.678
AT ITER 1076 NEW BEST:: SOT 106274 SOS 70785 HAS SOPS 68934 HAS SOUS 41213 HAS SOUPS 39769 WITH SCORE 39839.785
AT ITER 1095 NEW BEST:: SOT 106274 SOS 70780 HAS SOPS 68929 HAS SOUS 41213 HAS SOUPS 39769 WITH SCORE 39839.78
AT ITER 1115 NEW BEST:: SOT 106256 SOS 70674 HAS SOPS 68823 HAS SOUS 41213 HAS SOUPS 39769 WITH SCORE 39839.674
AT ITER 1118 NEW BEST:: SOT 106233 SOS 70533 HAS SOPS 68682 HAS SOUS 41138 HAS SOUPS 39694 WITH SCORE 39764.533
AT ITER 1122 NEW BEST:: SOT 106233 SOS 70523 HAS SOPS 68672 HAS SOUS 41022 HAS SOUPS 39578 WITH SCORE 39648.523
AT ITER 1130 NEW BEST:: SOT 106217 SOS 70407 HAS SOPS 68556 HAS SOUS 40964 HAS SOUPS 39520 WITH SCORE 39590.407
AT ITER 1140 NEW BEST:: SOT 106243 SOS 70434 HAS SOPS 68583 HAS SOUS 40953 HAS SOUPS 39509 WITH SCORE 39579.434
AT ITER 1146 NEW BEST:: SOT 106226 SOS 70378 HAS SOPS 68527 HAS SOUS 40886 HAS SOUPS 39442 WITH SCORE 39512.378
AT ITER 1150 NEW BEST:: SOT 106207 SOS 69362 HAS SOPS 67511 HAS SOUS 40772 HAS SOUPS 39328 WITH SCORE 39397.362
AT ITER 1151 NEW BEST:: SOT 106190 SOS 68961 HAS SOPS 67110 HAS SOUS 40683 HAS SOUPS 39239 WITH SCORE 39307.961
AT ITER 1161 NEW BEST:: SOT 106190 SOS 68961 HAS SOPS 67110 HAS SOUS 40673 HAS SOUPS 39229 WITH SCORE 39297.961
AT ITER 1162 NEW BEST:: SOT 105658 SOS 68429 HAS SOPS 66578 HAS SOUS 40141 HAS SOUPS 38697 WITH SCORE 38765.429
AT ITER 1166 NEW BEST:: SOT 105616 SOS 68387 HAS SOPS 66536 HAS SOUS 40105 HAS SOUPS 38661 WITH SCORE 38729.387
AT ITER 1169 NEW BEST:: SOT 105612 SOS 68381 HAS SOPS 66530 HAS SOUS 40101 HAS SOUPS 38657 WITH SCORE 38725.381
AT ITER 1182 NEW BEST:: SOT 105612 SOS 68395 HAS SOPS 66544 HAS SOUS 40007 HAS SOUPS 38563 WITH SCORE 38631.395
AT ITER 1189 NEW BEST:: SOT 105198 SOS 68200 HAS SOPS 66349 HAS SOUS 39509 HAS SOUPS 38065 WITH SCORE 38133.2
AT ITER 1195 NEW BEST:: SOT 105183 SOS 68165 HAS SOPS 66314 HAS SOUS 39494 HAS SOUPS 38050 WITH SCORE 38118.165
AT ITER 1202 NEW BEST:: SOT 105218 SOS 68060 HAS SOPS 66209 HAS SOUS 39232 HAS SOUPS 37788 WITH SCORE 37856.06
AT ITER 1208 NEW BEST:: SOT 105200 SOS 68042 HAS SOPS 66191 HAS SOUS 39232 HAS SOUPS 37788 WITH SCORE 37856.042
AT ITER 1217 NEW BEST:: SOT 105324 SOS 68166 HAS SOPS 66315 HAS SOUS 39218 HAS SOUPS 37774 WITH SCORE 37842.166
AT ITER 1221 NEW BEST:: SOT 105334 SOS 68150 HAS SOPS 66299 HAS SOUS 39218 HAS SOUPS 37774 WITH SCORE 37842.15
AT ITER 1225 NEW BEST:: SOT 105334 SOS 68102 HAS SOPS 66251 HAS SOUS 39182 HAS SOUPS 37738 WITH SCORE 37806.102
AT ITER 1226 NEW BEST:: SOT 105324 SOS 68087 HAS SOPS 66236 HAS SOUS 39162 HAS SOUPS 37718 WITH SCORE 37786.087
AT ITER 1234 NEW BEST:: SOT 105335 SOS 67577 HAS SOPS 65718 HAS SOUS 39170 HAS SOUPS 37718 WITH SCORE 37785.577
AT ITER 1238 NEW BEST:: SOT 105298 SOS 67540 HAS SOPS 65681 HAS SOUS 39111 HAS SOUPS 37659 WITH SCORE 37726.54
AT ITER 1240 NEW BEST:: SOT 105270 SOS 67512 HAS SOPS 65653 HAS SOUS 39083 HAS SOUPS 37631 WITH SCORE 37698.512
AT ITER 1247 NEW BEST:: SOT 105220 SOS 67391 HAS SOPS 65532 HAS SOUS 39070 HAS SOUPS 37618 WITH SCORE 37685.391
AT ITER 1250 NEW BEST:: SOT 105284 SOS 67488 HAS SOPS 65629 HAS SOUS 39065 HAS SOUPS 37613 WITH SCORE 37680.488
AT ITER 1251 NEW BEST:: SOT 105232 SOS 67436 HAS SOPS 65577 HAS SOUS 39013 HAS SOUPS 37561 WITH SCORE 37628.436
AT ITER 1253 NEW BEST:: SOT 105228 SOS 67424 HAS SOPS 65565 HAS SOUS 39009 HAS SOUPS 37561 WITH SCORE 37628.424
AT ITER 1256 NEW BEST:: SOT 105228 SOS 67424 HAS SOPS 65565 HAS SOUS 38989 HAS SOUPS 37541 WITH SCORE 37608.424
AT ITER 1257 NEW BEST:: SOT 105228 SOS 67297 HAS SOPS 65438 HAS SOUS 38989 HAS SOUPS 37541 WITH SCORE 37608.297
AT ITER 1262 NEW BEST:: SOT 104999 SOS 66852 HAS SOPS 65107 HAS SOUS 38698 HAS SOUPS 37364 WITH SCORE 37430.852
AT ITER 1267 NEW BEST:: SOT 104985 SOS 66838 HAS SOPS 65093 HAS SOUS 38691 HAS SOUPS 37357 WITH SCORE 37423.838
AT ITER 1278 NEW BEST:: SOT 104856 SOS 66709 HAS SOPS 64964 HAS SOUS 38673 HAS SOUPS 37339 WITH SCORE 37405.709
AT ITER 1280 NEW BEST:: SOT 104856 SOS 66757 HAS SOPS 65012 HAS SOUS 38625 HAS SOUPS 37291 WITH SCORE 37357.757
AT ITER 1287 NEW BEST:: SOT 104836 SOS 66733 HAS SOPS 64988 HAS SOUS 38620 HAS SOUPS 37286 WITH SCORE 37352.733
AT ITER 1296 NEW BEST:: SOT 104836 SOS 66733 HAS SOPS 64988 HAS SOUS 38616 HAS SOUPS 37282 WITH SCORE 37348.733
AT ITER 1303 NEW BEST:: SOT 104772 SOS 66072 HAS SOPS 64327 HAS SOUS 38554 HAS SOUPS 37220 WITH SCORE 37286.072
AT ITER 1305 NEW BEST:: SOT 104768 SOS 66068 HAS SOPS 64323 HAS SOUS 38550 HAS SOUPS 37216 WITH SCORE 37282.068
AT ITER 1306 NEW BEST:: SOT 104688 SOS 65988 HAS SOPS 64243 HAS SOUS 38470 HAS SOUPS 37136 WITH SCORE 37201.988
AT ITER 1307 NEW BEST:: SOT 104678 SOS 65958 HAS SOPS 64213 HAS SOUS 38460 HAS SOUPS 37126 WITH SCORE 37191.958
AT ITER 1309 NEW BEST:: SOT 104659 SOS 65936 HAS SOPS 64191 HAS SOUS 38457 HAS SOUPS 37123 WITH SCORE 37188.936
AT ITER 1321 NEW BEST:: SOT 104659 SOS 65869 HAS SOPS 64083 HAS SOUS 38450 HAS SOUPS 37102 WITH SCORE 37167.869
AT ITER 1337 NEW BEST:: SOT 104616 SOS 65826 HAS SOPS 64040 HAS SOUS 38407 HAS SOUPS 37059 WITH SCORE 37124.826
AT ITER 1355 NEW BEST:: SOT 104589 SOS 65675 HAS SOPS 63829 HAS SOUS 38340 HAS SOUPS 36946 WITH SCORE 37011.675
AT ITER 1361 NEW BEST:: SOT 104277 SOS 65363 HAS SOPS 63517 HAS SOUS 37971 HAS SOUPS 36577 WITH SCORE 36642.363
AT ITER 1364 NEW BEST:: SOT 104256 SOS 65358 HAS SOPS 63512 HAS SOUS 37950 HAS SOUPS 36556 WITH SCORE 36621.358
AT ITER 1373 NEW BEST:: SOT 104190 SOS 65383 HAS SOPS 63548 HAS SOUS 37946 HAS SOUPS 36552 WITH SCORE 36617.383
AT ITER 1376 NEW BEST:: SOT 104159 SOS 65346 HAS SOPS 63511 HAS SOUS 37909 HAS SOUPS 36515 WITH SCORE 36580.346
AT ITER 1377 NEW BEST:: SOT 104148 SOS 65335 HAS SOPS 63500 HAS SOUS 37876 HAS SOUPS 36482 WITH SCORE 36547.335
AT ITER 1378 NEW BEST:: SOT 104148 SOS 65335 HAS SOPS 63500 HAS SOUS 37864 HAS SOUPS 36470 WITH SCORE 36535.335
AT ITER 1403 NEW BEST:: SOT 104574 SOS 64747 HAS SOPS 62449 HAS SOUS 38059 HAS SOUPS 36423 WITH SCORE 36487.747
AT ITER 1406 NEW BEST:: SOT 104574 SOS 64747 HAS SOPS 62449 HAS SOUS 38055 HAS SOUPS 36419 WITH SCORE 36483.747
AT ITER 1408 NEW BEST:: SOT 104538 SOS 64807 HAS SOPS 62509 HAS SOUS 38045 HAS SOUPS 36409 WITH SCORE 36473.807
AT ITER 1409 NEW BEST:: SOT 104505 SOS 64698 HAS SOPS 62400 HAS SOUS 38038 HAS SOUPS 36402 WITH SCORE 36466.698
AT ITER 1413 NEW BEST:: SOT 104485 SOS 64675 HAS SOPS 62377 HAS SOUS 38023 HAS SOUPS 36387 WITH SCORE 36451.675
AT ITER 1415 NEW BEST:: SOT 104394 SOS 64584 HAS SOPS 62286 HAS SOUS 37914 HAS SOUPS 36278 WITH SCORE 36342.584
AT ITER 1426 NEW BEST:: SOT 104394 SOS 64584 HAS SOPS 62286 HAS SOUS 37912 HAS SOUPS 36276 WITH SCORE 36340.584
AT ITER 1428 NEW BEST:: SOT 104233 SOS 64475 HAS SOPS 62177 HAS SOUS 37753 HAS SOUPS 36117 WITH SCORE 36181.475
AT ITER 1432 NEW BEST:: SOT 104238 SOS 64480 HAS SOPS 62182 HAS SOUS 37748 HAS SOUPS 36112 WITH SCORE 36176.48
AT ITER 1437 NEW BEST:: SOT 104036 SOS 64348 HAS SOPS 62050 HAS SOUS 37540 HAS SOUPS 35904 WITH SCORE 35968.348
AT ITER 1444 NEW BEST:: SOT 104016 SOS 64280 HAS SOPS 61998 HAS SOUS 37504 HAS SOUPS 35884 WITH SCORE 35948.28
AT ITER 1446 NEW BEST:: SOT 104020 SOS 64280 HAS SOPS 61998 HAS SOUS 37502 HAS SOUPS 35882 WITH SCORE 35946.28
AT ITER 1461 NEW BEST:: SOT 103992 SOS 64252 HAS SOPS 61970 HAS SOUS 37502 HAS SOUPS 35882 WITH SCORE 35946.252
AT ITER 1467 NEW BEST:: SOT 103992 SOS 64233 HAS SOPS 61951 HAS SOUS 37453 HAS SOUPS 35833 WITH SCORE 35897.233
AT ITER 1469 NEW BEST:: SOT 103911 SOS 63900 HAS SOPS 61618 HAS SOUS 37433 HAS SOUPS 35813 WITH SCORE 35876.9
AT ITER 1470 NEW BEST:: SOT 103711 SOS 63700 HAS SOPS 61418 HAS SOUS 37037 HAS SOUPS 35417 WITH SCORE 35480.7
AT ITER 1471 NEW BEST:: SOT 103570 SOS 63559 HAS SOPS 61277 HAS SOUS 36974 HAS SOUPS 35354 WITH SCORE 35417.559
AT ITER 1475 NEW BEST:: SOT 103463 SOS 63452 HAS SOPS 61170 HAS SOUS 36889 HAS SOUPS 35269 WITH SCORE 35332.452
AT ITER 1485 NEW BEST:: SOT 103453 SOS 63442 HAS SOPS 61160 HAS SOUS 36871 HAS SOUPS 35251 WITH SCORE 35314.442
AT ITER 1486 NEW BEST:: SOT 103292 SOS 63281 HAS SOPS 60999 HAS SOUS 36710 HAS SOUPS 35090 WITH SCORE 35153.281
AT ITER 1490 NEW BEST:: SOT 103266 SOS 63255 HAS SOPS 60973 HAS SOUS 36664 HAS SOUPS 35044 WITH SCORE 35107.255
AT ITER 1504 NEW BEST:: SOT 103269 SOS 63242 HAS SOPS 60901 HAS SOUS 36704 HAS SOUPS 35044 WITH SCORE 35107.242
AT ITER 1505 NEW BEST:: SOT 103236 SOS 63050 HAS SOPS 60709 HAS SOUS 36652 HAS SOUPS 34992 WITH SCORE 35055.05
AT ITER 1511 NEW BEST:: SOT 103210 SOS 61805 HAS SOPS 59323 HAS SOUS 36578 HAS SOUPS 34911 WITH SCORE 34972.805
AT ITER 1529 NEW BEST:: SOT 103171 SOS 61795 HAS SOPS 59313 HAS SOUS 36558 HAS SOUPS 34891 WITH SCORE 34952.795
AT ITER 1544 NEW BEST:: SOT 103171 SOS 61795 HAS SOPS 59313 HAS SOUS 36442 HAS SOUPS 34775 WITH SCORE 34836.795
AT ITER 1547 NEW BEST:: SOT 103170 SOS 61793 HAS SOPS 59311 HAS SOUS 36440 HAS SOUPS 34773 WITH SCORE 34834.793
AT ITER 1549 NEW BEST:: SOT 103206 SOS 61684 HAS SOPS 59170 HAS SOUS 36444 HAS SOUPS 34771 WITH SCORE 34832.684
AT ITER 1552 NEW BEST:: SOT 103090 SOS 61492 HAS SOPS 58978 HAS SOUS 36438 HAS SOUPS 34765 WITH SCORE 34826.492
AT ITER 1566 NEW BEST:: SOT 103077 SOS 61492 HAS SOPS 58978 HAS SOUS 36435 HAS SOUPS 34762 WITH SCORE 34823.492
AT ITER 1573 NEW BEST:: SOT 103017 SOS 61378 HAS SOPS 58864 HAS SOUS 36359 HAS SOUPS 34686 WITH SCORE 34747.378
AT ITER 1580 NEW BEST:: SOT 103080 SOS 61809 HAS SOPS 59295 HAS SOUS 36334 HAS SOUPS 34661 WITH SCORE 34722.809
AT ITER 1583 NEW BEST:: SOT 103090 SOS 61942 HAS SOPS 59428 HAS SOUS 36303 HAS SOUPS 34630 WITH SCORE 34691.942
AT ITER 1585 NEW BEST:: SOT 103050 SOS 61902 HAS SOPS 59388 HAS SOUS 36239 HAS SOUPS 34566 WITH SCORE 34627.902
AT ITER 1595 NEW BEST:: SOT 103050 SOS 61913 HAS SOPS 59399 HAS SOUS 36195 HAS SOUPS 34522 WITH SCORE 34583.913
AT ITER 1596 NEW BEST:: SOT 103052 SOS 61942 HAS SOPS 59437 HAS SOUS 36183 HAS SOUPS 34519 WITH SCORE 34580.942
AT ITER 1607 NEW BEST:: SOT 102662 SOS 61568 HAS SOPS 59442 HAS SOUS 35733 HAS SOUPS 34269 WITH SCORE 34330.568
AT ITER 1609 NEW BEST:: SOT 102645 SOS 61601 HAS SOPS 59475 HAS SOUS 35585 HAS SOUPS 34121 WITH SCORE 34182.601
AT ITER 1610 NEW BEST:: SOT 102611 SOS 61654 HAS SOPS 59528 HAS SOUS 35562 HAS SOUPS 34098 WITH SCORE 34159.654
AT ITER 1619 NEW BEST:: SOT 102609 SOS 61651 HAS SOPS 59524 HAS SOUS 35559 HAS SOUPS 34094 WITH SCORE 34155.651
AT ITER 1622 NEW BEST:: SOT 102509 SOS 61551 HAS SOPS 59424 HAS SOUS 35545 HAS SOUPS 34080 WITH SCORE 34141.551
AT ITER 1623 NEW BEST:: SOT 102501 SOS 61421 HAS SOPS 59300 HAS SOUS 35499 HAS SOUPS 34040 WITH SCORE 34101.421
AT ITER 1625 NEW BEST:: SOT 102482 SOS 61286 HAS SOPS 59240 HAS SOUS 35271 HAS SOUPS 33887 WITH SCORE 33948.286
AT ITER 1642 NEW BEST:: SOT 102471 SOS 61159 HAS SOPS 59113 HAS SOUS 35271 HAS SOUPS 33887 WITH SCORE 33948.159
AT ITER 1646 NEW BEST:: SOT 102413 SOS 61101 HAS SOPS 59055 HAS SOUS 35271 HAS SOUPS 33887 WITH SCORE 33948.101
AT ITER 1647 NEW BEST:: SOT 102413 SOS 61101 HAS SOPS 59055 HAS SOUS 35259 HAS SOUPS 33875 WITH SCORE 33936.101
AT ITER 1654 NEW BEST:: SOT 102335 SOS 61016 HAS SOPS 58970 HAS SOUS 35208 HAS SOUPS 33824 WITH SCORE 33885.016
AT ITER 1658 NEW BEST:: SOT 102335 SOS 61002 HAS SOPS 58942 HAS SOUS 35206 HAS SOUPS 33808 WITH SCORE 33869.002
AT ITER 1660 NEW BEST:: SOT 102303 SOS 60970 HAS SOPS 58910 HAS SOUS 35142 HAS SOUPS 33744 WITH SCORE 33804.97
AT ITER 1661 NEW BEST:: SOT 102225 SOS 60871 HAS SOPS 58811 HAS SOUS 35131 HAS SOUPS 33733 WITH SCORE 33793.871
AT ITER 1668 NEW BEST:: SOT 102225 SOS 60783 HAS SOPS 58723 HAS SOUS 35087 HAS SOUPS 33689 WITH SCORE 33749.783
AT ITER 1672 NEW BEST:: SOT 102204 SOS 60783 HAS SOPS 58723 HAS SOUS 35063 HAS SOUPS 33665 WITH SCORE 33725.783
AT ITER 1683 NEW BEST:: SOT 102032 SOS 60605 HAS SOPS 58533 HAS SOUS 34666 HAS SOUPS 33261 WITH SCORE 33321.605
AT ITER 1708 NEW BEST:: SOT 101971 SOS 60406 HAS SOPS 58334 HAS SOUS 34651 HAS SOUPS 33246 WITH SCORE 33306.406
AT ITER 1713 NEW BEST:: SOT 101911 SOS 60439 HAS SOPS 58367 HAS SOUS 34624 HAS SOUPS 33219 WITH SCORE 33279.439
AT ITER 1714 NEW BEST:: SOT 101849 SOS 60377 HAS SOPS 58305 HAS SOUS 34616 HAS SOUPS 33211 WITH SCORE 33271.377
AT ITER 1719 NEW BEST:: SOT 101829 SOS 60350 HAS SOPS 58278 HAS SOUS 34542 HAS SOUPS 33137 WITH SCORE 33197.35
AT ITER 1730 NEW BEST:: SOT 101792 SOS 60337 HAS SOPS 58265 HAS SOUS 34529 HAS SOUPS 33124 WITH SCORE 33184.337
AT ITER 1733 NEW BEST:: SOT 101794 SOS 60339 HAS SOPS 58267 HAS SOUS 34499 HAS SOUPS 33094 WITH SCORE 33154.339
AT ITER 1755 NEW BEST:: SOT 101715 SOS 60821 HAS SOPS 58749 HAS SOUS 34396 HAS SOUPS 32991 WITH SCORE 33051.821
AT ITER 1774 NEW BEST:: SOT 101457 SOS 60533 HAS SOPS 58461 HAS SOUS 34284 HAS SOUPS 32879 WITH SCORE 32939.533
AT ITER 1779 NEW BEST:: SOT 101335 SOS 60383 HAS SOPS 58311 HAS SOUS 34226 HAS SOUPS 32821 WITH SCORE 32881.383
AT ITER 1780 NEW BEST:: SOT 101315 SOS 60343 HAS SOPS 58271 HAS SOUS 34186 HAS SOUPS 32781 WITH SCORE 32841.343
AT ITER 1788 NEW BEST:: SOT 101273 SOS 60086 HAS SOPS 58014 HAS SOUS 34144 HAS SOUPS 32739 WITH SCORE 32799.086
AT ITER 1791 NEW BEST:: SOT 101273 SOS 60133 HAS SOPS 58061 HAS SOUS 34135 HAS SOUPS 32730 WITH SCORE 32790.133
AT ITER 1804 NEW BEST:: SOT 101215 SOS 60112 HAS SOPS 58042 HAS SOUS 34096 HAS SOUPS 32693 WITH SCORE 32753.112
AT ITER 1810 NEW BEST:: SOT 101215 SOS 60112 HAS SOPS 58042 HAS SOUS 34084 HAS SOUPS 32681 WITH SCORE 32741.112
AT ITER 1812 NEW BEST:: SOT 101209 SOS 60082 HAS SOPS 58012 HAS SOUS 34078 HAS SOUPS 32675 WITH SCORE 32735.082
AT ITER 1816 NEW BEST:: SOT 101199 SOS 60072 HAS SOPS 58002 HAS SOUS 34078 HAS SOUPS 32675 WITH SCORE 32735.072
AT ITER 1821 NEW BEST:: SOT 101201 SOS 60064 HAS SOPS 57984 HAS SOUS 34070 HAS SOUPS 32657 WITH SCORE 32717.064
AT ITER 1837 NEW BEST:: SOT 101196 SOS 60284 HAS SOPS 58204 HAS SOUS 33961 HAS SOUPS 32548 WITH SCORE 32608.284
AT ITER 1844 NEW BEST:: SOT 101218 SOS 60133 HAS SOPS 58031 HAS SOUS 33903 HAS SOUPS 32490 WITH SCORE 32550.133
AT ITER 1853 NEW BEST:: SOT 101210 SOS 60125 HAS SOPS 58023 HAS SOUS 33887 HAS SOUPS 32474 WITH SCORE 32534.125
AT ITER 1854 NEW BEST:: SOT 101192 SOS 60107 HAS SOPS 58005 HAS SOUS 33869 HAS SOUPS 32456 WITH SCORE 32516.107
AT ITER 1859 NEW BEST:: SOT 101192 SOS 60107 HAS SOPS 58005 HAS SOUS 33793 HAS SOUPS 32380 WITH SCORE 32440.107
AT ITER 1860 NEW BEST:: SOT 101192 SOS 60107 HAS SOPS 58005 HAS SOUS 33775 HAS SOUPS 32362 WITH SCORE 32422.107
AT ITER 1879 NEW BEST:: SOT 101153 SOS 60068 HAS SOPS 57966 HAS SOUS 33771 HAS SOUPS 32358 WITH SCORE 32418.068
AT ITER 1883 NEW BEST:: SOT 101126 SOS 59929 HAS SOPS 57827 HAS SOUS 33758 HAS SOUPS 32345 WITH SCORE 32404.929
AT ITER 1897 NEW BEST:: SOT 101081 SOS 59884 HAS SOPS 57782 HAS SOUS 33721 HAS SOUPS 32308 WITH SCORE 32367.884
AT ITER 1898 NEW BEST:: SOT 101055 SOS 59858 HAS SOPS 57756 HAS SOUS 33708 HAS SOUPS 32295 WITH SCORE 32354.858
AT ITER 1899 NEW BEST:: SOT 101055 SOS 59840 HAS SOPS 57738 HAS SOUS 33690 HAS SOUPS 32277 WITH SCORE 32336.84
AT ITER 1913 NEW BEST:: SOT 101075 SOS 59497 HAS SOPS 57100 HAS SOUS 33756 HAS SOUPS 32163 WITH SCORE 32222.497
AT ITER 1926 NEW BEST:: SOT 101069 SOS 59324 HAS SOPS 56927 HAS SOUS 33756 HAS SOUPS 32163 WITH SCORE 32222.324
AT ITER 1929 NEW BEST:: SOT 100906 SOS 58915 HAS SOPS 56518 HAS SOUS 33593 HAS SOUPS 32000 WITH SCORE 32058.915
AT ITER 1936 NEW BEST:: SOT 100878 SOS 58887 HAS SOPS 56490 HAS SOUS 33537 HAS SOUPS 31944 WITH SCORE 32002.887
AT ITER 1940 NEW BEST:: SOT 100878 SOS 58886 HAS SOPS 56498 HAS SOUS 33528 HAS SOUPS 31944 WITH SCORE 32002.886
AT ITER 1943 NEW BEST:: SOT 100937 SOS 58789 HAS SOPS 56401 HAS SOUS 33526 HAS SOUPS 31942 WITH SCORE 32000.789
AT ITER 1952 NEW BEST:: SOT 100932 SOS 58770 HAS SOPS 56373 HAS SOUS 33503 HAS SOUPS 31923 WITH SCORE 31981.77
AT ITER 1954 NEW BEST:: SOT 100932 SOS 58693 HAS SOPS 56296 HAS SOUS 33431 HAS SOUPS 31851 WITH SCORE 31909.693
AT ITER 1963 NEW BEST:: SOT 100932 SOS 58693 HAS SOPS 56296 HAS SOUS 33301 HAS SOUPS 31721 WITH SCORE 31779.693
AT ITER 1966 NEW BEST:: SOT 100920 SOS 58681 HAS SOPS 56284 HAS SOUS 33295 HAS SOUPS 31715 WITH SCORE 31773.681
AT ITER 1971 NEW BEST:: SOT 100920 SOS 58681 HAS SOPS 56284 HAS SOUS 33287 HAS SOUPS 31707 WITH SCORE 31765.681
AT ITER 1974 NEW BEST:: SOT 100800 SOS 58561 HAS SOPS 56164 HAS SOUS 33167 HAS SOUPS 31587 WITH SCORE 31645.561
AT ITER 1976 NEW BEST:: SOT 100729 SOS 58593 HAS SOPS 56093 HAS SOUS 33130 HAS SOUPS 31488 WITH SCORE 31546.593
AT ITER 1979 NEW BEST:: SOT 100729 SOS 58603 HAS SOPS 56103 HAS SOUS 33120 HAS SOUPS 31478 WITH SCORE 31536.603
AT ITER 1988 NEW BEST:: SOT 100709 SOS 58484 HAS SOPS 55984 HAS SOUS 33034 HAS SOUPS 31392 WITH SCORE 31450.484
AT ITER 1994 NEW BEST:: SOT 100709 SOS 58470 HAS SOPS 55970 HAS SOUS 33006 HAS SOUPS 31364 WITH SCORE 31422.47
AT ITER 1996 NEW BEST:: SOT 100553 SOS 58247 HAS SOPS 55747 HAS SOUS 32842 HAS SOUPS 31200 WITH SCORE 31258.247
AT ITER 2006 NEW BEST:: SOT 100500 SOS 58200 HAS SOPS 55700 HAS SOUS 32755 HAS SOUPS 31113 WITH SCORE 31171.2
AT ITER 2007 NEW BEST:: SOT 100491 SOS 58191 HAS SOPS 55691 HAS SOUS 32737 HAS SOUPS 31095 WITH SCORE 31153.191
AT ITER 2070 NEW BEST:: SOT 100449 SOS 58149 HAS SOPS 55649 HAS SOUS 32678 HAS SOUPS 31036 WITH SCORE 31094.149
AT ITER 2078 NEW BEST:: SOT 100419 SOS 58119 HAS SOPS 55619 HAS SOUS 32648 HAS SOUPS 31006 WITH SCORE 31064.119
AT ITER 2083 NEW BEST:: SOT 100421 SOS 58121 HAS SOPS 55621 HAS SOUS 32636 HAS SOUPS 30994 WITH SCORE 31052.121
AT ITER 2087 NEW BEST:: SOT 100421 SOS 58106 HAS SOPS 55606 HAS SOUS 32621 HAS SOUPS 30979 WITH SCORE 31037.106
AT ITER 2089 NEW BEST:: SOT 100419 SOS 58104 HAS SOPS 55604 HAS SOUS 32621 HAS SOUPS 30979 WITH SCORE 31037.104
AT ITER 2092 NEW BEST:: SOT 100415 SOS 58099 HAS SOPS 55599 HAS SOUS 32615 HAS SOUPS 30973 WITH SCORE 31031.099
AT ITER 2095 NEW BEST:: SOT 100338 SOS 57974 HAS SOPS 55474 HAS SOUS 32551 HAS SOUPS 30909 WITH SCORE 30966.974
AT ITER 2099 NEW BEST:: SOT 100347 SOS 57983 HAS SOPS 55483 HAS SOUS 32542 HAS SOUPS 30900 WITH SCORE 30957.983
AT ITER 2105 NEW BEST:: SOT 100271 SOS 57628 HAS SOPS 55128 HAS SOUS 32187 HAS SOUPS 30545 WITH SCORE 30602.628
AT ITER 2116 NEW BEST:: SOT 100152 SOS 57665 HAS SOPS 55009 HAS SOUS 31990 HAS SOUPS 30270 WITH SCORE 30327.665
AT ITER 2120 NEW BEST:: SOT 100126 SOS 57639 HAS SOPS 54983 HAS SOUS 31964 HAS SOUPS 30244 WITH SCORE 30301.639
AT ITER 2125 NEW BEST:: SOT 100100 SOS 57577 HAS SOPS 54921 HAS SOUS 31959 HAS SOUPS 30239 WITH SCORE 30296.577
AT ITER 2135 NEW BEST:: SOT 100059 SOS 57547 HAS SOPS 54891 HAS SOUS 31904 HAS SOUPS 30184 WITH SCORE 30241.547
AT ITER 2142 NEW BEST:: SOT 99983 SOS 57471 HAS SOPS 54815 HAS SOUS 31904 HAS SOUPS 30184 WITH SCORE 30241.471
AT ITER 2145 NEW BEST:: SOT 99908 SOS 57161 HAS SOPS 54505 HAS SOUS 31797 HAS SOUPS 30077 WITH SCORE 30134.161
AT ITER 2149 NEW BEST:: SOT 99963 SOS 57192 HAS SOPS 54536 HAS SOUS 31738 HAS SOUPS 30018 WITH SCORE 30075.192
AT ITER 2160 NEW BEST:: SOT 99953 SOS 57182 HAS SOPS 54526 HAS SOUS 31714 HAS SOUPS 29994 WITH SCORE 30051.182
AT ITER 2165 NEW BEST:: SOT 99864 SOS 57093 HAS SOPS 54437 HAS SOUS 31659 HAS SOUPS 29939 WITH SCORE 29996.093
AT ITER 2169 NEW BEST:: SOT 99864 SOS 57093 HAS SOPS 54437 HAS SOUS 31647 HAS SOUPS 29927 WITH SCORE 29984.093
AT ITER 2174 NEW BEST:: SOT 99901 SOS 56751 HAS SOPS 54058 HAS SOUS 31610 HAS SOUPS 29853 WITH SCORE 29909.751
AT ITER 2179 NEW BEST:: SOT 99885 SOS 56735 HAS SOPS 54042 HAS SOUS 31594 HAS SOUPS 29837 WITH SCORE 29893.735
AT ITER 2180 NEW BEST:: SOT 99883 SOS 56733 HAS SOPS 54040 HAS SOUS 31571 HAS SOUPS 29814 WITH SCORE 29870.733
AT ITER 2200 NEW BEST:: SOT 99871 SOS 56721 HAS SOPS 54028 HAS SOUS 31549 HAS SOUPS 29792 WITH SCORE 29848.721
AT ITER 2206 NEW BEST:: SOT 99785 SOS 56635 HAS SOPS 53942 HAS SOUS 31549 HAS SOUPS 29792 WITH SCORE 29848.635
AT ITER 2212 NEW BEST:: SOT 99785 SOS 56635 HAS SOPS 53942 HAS SOUS 31485 HAS SOUPS 29728 WITH SCORE 29784.635
AT ITER 2217 NEW BEST:: SOT 99738 SOS 56541 HAS SOPS 53848 HAS SOUS 31473 HAS SOUPS 29716 WITH SCORE 29772.541
AT ITER 2226 NEW BEST:: SOT 99713 SOS 56470 HAS SOPS 53757 HAS SOUS 31408 HAS SOUPS 29631 WITH SCORE 29687.47
AT ITER 2228 NEW BEST:: SOT 99736 SOS 56468 HAS SOPS 53788 HAS SOUS 31375 HAS SOUPS 29618 WITH SCORE 29674.468
AT ITER 2236 NEW BEST:: SOT 99736 SOS 56474 HAS SOPS 53794 HAS SOUS 31369 HAS SOUPS 29612 WITH SCORE 29668.474
AT ITER 2237 NEW BEST:: SOT 99755 SOS 56493 HAS SOPS 53813 HAS SOUS 31327 HAS SOUPS 29570 WITH SCORE 29626.493
AT ITER 2261 NEW BEST:: SOT 99757 SOS 56539 HAS SOPS 53859 HAS SOUS 31318 HAS SOUPS 29561 WITH SCORE 29617.539
AT ITER 2272 NEW BEST:: SOT 99740 SOS 56289 HAS SOPS 53609 HAS SOUS 31258 HAS SOUPS 29501 WITH SCORE 29557.289
AT ITER 2279 NEW BEST:: SOT 99740 SOS 56289 HAS SOPS 53609 HAS SOUS 31241 HAS SOUPS 29484 WITH SCORE 29540.289
AT ITER 2281 NEW BEST:: SOT 99775 SOS 56324 HAS SOPS 53644 HAS SOUS 31229 HAS SOUPS 29472 WITH SCORE 29528.324
AT ITER 2291 NEW BEST:: SOT 99775 SOS 56323 HAS SOPS 53643 HAS SOUS 31228 HAS SOUPS 29471 WITH SCORE 29527.323
AT ITER 2303 NEW BEST:: SOT 99681 SOS 56229 HAS SOPS 53549 HAS SOUS 31183 HAS SOUPS 29426 WITH SCORE 29482.229
AT ITER 2308 NEW BEST:: SOT 99655 SOS 56203 HAS SOPS 53523 HAS SOUS 31155 HAS SOUPS 29398 WITH SCORE 29454.203
AT ITER 2313 NEW BEST:: SOT 99573 SOS 56121 HAS SOPS 53441 HAS SOUS 31126 HAS SOUPS 29369 WITH SCORE 29425.121
AT ITER 2335 NEW BEST:: SOT 99575 SOS 56116 HAS SOPS 53436 HAS SOUS 31121 HAS SOUPS 29364 WITH SCORE 29420.116
AT ITER 2347 NEW BEST:: SOT 99655 SOS 56141 HAS SOPS 53461 HAS SOUS 31084 HAS SOUPS 29327 WITH SCORE 29383.141
AT ITER 2371 NEW BEST:: SOT 99655 SOS 56141 HAS SOPS 53461 HAS SOUS 31072 HAS SOUPS 29315 WITH SCORE 29371.141
AT ITER 2373 NEW BEST:: SOT 99636 SOS 56049 HAS SOPS 53382 HAS SOUS 31047 HAS SOUPS 29303 WITH SCORE 29359.049
AT ITER 2375 NEW BEST:: SOT 99602 SOS 56015 HAS SOPS 53348 HAS SOUS 31013 HAS SOUPS 29269 WITH SCORE 29325.015
AT ITER 2388 NEW BEST:: SOT 99542 SOS 55560 HAS SOPS 53131 HAS SOUS 30744 HAS SOUPS 29119 WITH SCORE 29174.56
AT ITER 2395 NEW BEST:: SOT 99488 SOS 55506 HAS SOPS 53077 HAS SOUS 30717 HAS SOUPS 29092 WITH SCORE 29147.506
AT ITER 2398 NEW BEST:: SOT 99413 SOS 55258 HAS SOPS 52829 HAS SOUS 30578 HAS SOUPS 28953 WITH SCORE 29008.258
AT ITER 2405 NEW BEST:: SOT 99348 SOS 54935 HAS SOPS 52506 HAS SOUS 30558 HAS SOUPS 28933 WITH SCORE 28987.935
AT ITER 2415 NEW BEST:: SOT 99300 SOS 54749 HAS SOPS 52320 HAS SOUS 30441 HAS SOUPS 28816 WITH SCORE 28870.749
AT ITER 2425 NEW BEST:: SOT 99300 SOS 54749 HAS SOPS 52320 HAS SOUS 30435 HAS SOUPS 28810 WITH SCORE 28864.749
AT ITER 2447 NEW BEST:: SOT 99270 SOS 54539 HAS SOPS 52080 HAS SOUS 30405 HAS SOUPS 28750 WITH SCORE 28804.539
AT ITER 2494 NEW BEST:: SOT 99249 SOS 54518 HAS SOPS 52059 HAS SOUS 30384 HAS SOUPS 28729 WITH SCORE 28783.518
AT ITER 2526 NEW BEST:: SOT 99241 SOS 54462 HAS SOPS 52003 HAS SOUS 30355 HAS SOUPS 28700 WITH SCORE 28754.462
AT ITER 2542 NEW BEST:: SOT 99177 SOS 54432 HAS SOPS 51973 HAS SOUS 30330 HAS SOUPS 28675 WITH SCORE 28729.432
AT ITER 2551 NEW BEST:: SOT 99133 SOS 54388 HAS SOPS 51929 HAS SOUS 30330 HAS SOUPS 28675 WITH SCORE 28729.388
AT ITER 2560 NEW BEST:: SOT 99171 SOS 54426 HAS SOPS 51967 HAS SOUS 30296 HAS SOUPS 28641 WITH SCORE 28695.426
AT ITER 2589 NEW BEST:: SOT 99123 SOS 54314 HAS SOPS 51855 HAS SOUS 30236 HAS SOUPS 28581 WITH SCORE 28635.314
AT ITER 2592 NEW BEST:: SOT 99152 SOS 54518 HAS SOPS 51991 HAS SOUS 30166 HAS SOUPS 28511 WITH SCORE 28565.518
AT ITER 2598 NEW BEST:: SOT 99157 SOS 54519 HAS SOPS 51992 HAS SOUS 30162 HAS SOUPS 28507 WITH SCORE 28561.519
AT ITER 2600 NEW BEST:: SOT 99123 SOS 54443 HAS SOPS 51916 HAS SOUS 30083 HAS SOUPS 28428 WITH SCORE 28482.443
AT ITER 2604 NEW BEST:: SOT 99095 SOS 54415 HAS SOPS 51888 HAS SOUS 30081 HAS SOUPS 28426 WITH SCORE 28480.415
AT ITER 2617 NEW BEST:: SOT 99085 SOS 54329 HAS SOPS 51802 HAS SOUS 30071 HAS SOUPS 28416 WITH SCORE 28470.329
AT ITER 2618 NEW BEST:: SOT 99085 SOS 54269 HAS SOPS 51742 HAS SOUS 30061 HAS SOUPS 28406 WITH SCORE 28460.269
AT ITER 2643 NEW BEST:: SOT 99128 SOS 54332 HAS SOPS 51805 HAS SOUS 30023 HAS SOUPS 28368 WITH SCORE 28422.332
AT ITER 2651 NEW BEST:: SOT 99103 SOS 54293 HAS SOPS 51766 HAS SOUS 29992 HAS SOUPS 28337 WITH SCORE 28391.293
AT ITER 2657 NEW BEST:: SOT 99124 SOS 54404 HAS SOPS 51781 HAS SOUS 30031 HAS SOUPS 28325 WITH SCORE 28379.404
AT ITER 2661 NEW BEST:: SOT 99080 SOS 54338 HAS SOPS 51715 HAS SOUS 29951 HAS SOUPS 28245 WITH SCORE 28299.338
AT ITER 2670 NEW BEST:: SOT 99058 SOS 54316 HAS SOPS 51693 HAS SOUS 29929 HAS SOUPS 28223 WITH SCORE 28277.316
AT ITER 2694 NEW BEST:: SOT 99058 SOS 54216 HAS SOPS 51593 HAS SOUS 29929 HAS SOUPS 28223 WITH SCORE 28277.216
AT ITER 2703 NEW BEST:: SOT 99052 SOS 54192 HAS SOPS 51569 HAS SOUS 29917 HAS SOUPS 28211 WITH SCORE 28265.192
AT ITER 2714 NEW BEST:: SOT 99048 SOS 54188 HAS SOPS 51565 HAS SOUS 29913 HAS SOUPS 28207 WITH SCORE 28261.188
AT ITER 2719 NEW BEST:: SOT 99016 SOS 54156 HAS SOPS 51533 HAS SOUS 29754 HAS SOUPS 28048 WITH SCORE 28102.156
AT ITER 2720 NEW BEST:: SOT 99016 SOS 54155 HAS SOPS 51529 HAS SOUS 29753 HAS SOUPS 28046 WITH SCORE 28100.155
AT ITER 2743 NEW BEST:: SOT 99012 SOS 54151 HAS SOPS 51525 HAS SOUS 29753 HAS SOUPS 28046 WITH SCORE 28100.151
AT ITER 2770 NEW BEST:: SOT 99004 SOS 54143 HAS SOPS 51517 HAS SOUS 29745 HAS SOUPS 28038 WITH SCORE 28092.143
AT ITER 2774 NEW BEST:: SOT 99062 SOS 54201 HAS SOPS 51575 HAS SOUS 29739 HAS SOUPS 28032 WITH SCORE 28086.201
AT ITER 2790 NEW BEST:: SOT 98978 SOS 54117 HAS SOPS 51491 HAS SOUS 29623 HAS SOUPS 27916 WITH SCORE 27970.117
AT ITER 2795 NEW BEST:: SOT 98978 SOS 54052 HAS SOPS 51426 HAS SOUS 29558 HAS SOUPS 27851 WITH SCORE 27905.052
AT ITER 2799 NEW BEST:: SOT 98950 SOS 53989 HAS SOPS 51363 HAS SOUS 29530 HAS SOUPS 27823 WITH SCORE 27876.989
AT ITER 2801 NEW BEST:: SOT 98951 SOS 53990 HAS SOPS 51364 HAS SOUS 29529 HAS SOUPS 27822 WITH SCORE 27875.99
AT ITER 2804 NEW BEST:: SOT 98939 SOS 53900 HAS SOPS 51274 HAS SOUS 29491 HAS SOUPS 27784 WITH SCORE 27837.9
AT ITER 2826 NEW BEST:: SOT 98983 SOS 53936 HAS SOPS 51310 HAS SOUS 29483 HAS SOUPS 27776 WITH SCORE 27829.936
AT ITER 2835 NEW BEST:: SOT 98973 SOS 53903 HAS SOPS 51277 HAS SOUS 29470 HAS SOUPS 27763 WITH SCORE 27816.903
AT ITER 2854 NEW BEST:: SOT 98965 SOS 53891 HAS SOPS 51265 HAS SOUS 29458 HAS SOUPS 27751 WITH SCORE 27804.891
AT ITER 2865 NEW BEST:: SOT 98955 SOS 53881 HAS SOPS 51255 HAS SOUS 29448 HAS SOUPS 27741 WITH SCORE 27794.881
AT ITER 2872 NEW BEST:: SOT 98924 SOS 53619 HAS SOPS 50993 HAS SOUS 29386 HAS SOUPS 27679 WITH SCORE 27732.619
AT ITER 2878 NEW BEST:: SOT 98894 SOS 53574 HAS SOPS 50948 HAS SOUS 29341 HAS SOUPS 27634 WITH SCORE 27687.574
AT ITER 2879 NEW BEST:: SOT 98856 SOS 53498 HAS SOPS 50872 HAS SOUS 29303 HAS SOUPS 27596 WITH SCORE 27649.498
AT ITER 2900 NEW BEST:: SOT 98841 SOS 53483 HAS SOPS 50857 HAS SOUS 29250 HAS SOUPS 27543 WITH SCORE 27596.483
AT ITER 2907 NEW BEST:: SOT 98721 SOS 52943 HAS SOPS 50317 HAS SOUS 29088 HAS SOUPS 27381 WITH SCORE 27433.943
AT ITER 2915 NEW BEST:: SOT 98703 SOS 52891 HAS SOPS 50265 HAS SOUS 29062 HAS SOUPS 27355 WITH SCORE 27407.891
AT ITER 2919 NEW BEST:: SOT 98703 SOS 52877 HAS SOPS 50259 HAS SOUS 29045 HAS SOUPS 27346 WITH SCORE 27398.877
AT ITER 2942 NEW BEST:: SOT 98648 SOS 52954 HAS SOPS 50336 HAS SOUS 29023 HAS SOUPS 27324 WITH SCORE 27376.954
AT ITER 2945 NEW BEST:: SOT 98612 SOS 52916 HAS SOPS 50298 HAS SOUS 29014 HAS SOUPS 27315 WITH SCORE 27367.916
AT ITER 2959 NEW BEST:: SOT 98538 SOS 52942 HAS SOPS 50254 HAS SOUS 29024 HAS SOUPS 27290 WITH SCORE 27342.942
AT ITER 2966 NEW BEST:: SOT 98502 SOS 52942 HAS SOPS 50254 HAS SOUS 29009 HAS SOUPS 27275 WITH SCORE 27327.942
AT ITER 2977 NEW BEST:: SOT 98491 SOS 52910 HAS SOPS 50222 HAS SOUS 29002 HAS SOUPS 27268 WITH SCORE 27320.91
AT ITER 2982 NEW BEST:: SOT 98431 SOS 52862 HAS SOPS 50174 HAS SOUS 28992 HAS SOUPS 27258 WITH SCORE 27310.862
AT ITER 2992 NEW BEST:: SOT 98248 SOS 52655 HAS SOPS 49967 HAS SOUS 28665 HAS SOUPS 26931 WITH SCORE 26983.655
AT ITER 2993 NEW BEST:: SOT 98219 SOS 52671 HAS SOPS 49983 HAS SOUS 28636 HAS SOUPS 26902 WITH SCORE 26954.671
AT ITER 3026 NEW BEST:: SOT 98185 SOS 52501 HAS SOPS 49813 HAS SOUS 28602 HAS SOUPS 26868 WITH SCORE 26920.501
AT ITER 3037 NEW BEST:: SOT 98210 SOS 52565 HAS SOPS 49877 HAS SOUS 28587 HAS SOUPS 26853 WITH SCORE 26905.565
AT ITER 3039 NEW BEST:: SOT 98144 SOS 52499 HAS SOPS 49811 HAS SOUS 28464 HAS SOUPS 26730 WITH SCORE 26782.499
AT ITER 3066 NEW BEST:: SOT 98154 SOS 52509 HAS SOPS 49821 HAS SOUS 28425 HAS SOUPS 26691 WITH SCORE 26743.509
AT ITER 3069 NEW BEST:: SOT 98194 SOS 52459 HAS SOPS 49771 HAS SOUS 28425 HAS SOUPS 26691 WITH SCORE 26743.459
AT ITER 3074 NEW BEST:: SOT 98301 SOS 52692 HAS SOPS 50004 HAS SOUS 28329 HAS SOUPS 26595 WITH SCORE 26647.692
AT ITER 3079 NEW BEST:: SOT 98126 SOS 51925 HAS SOPS 49237 HAS SOUS 28184 HAS SOUPS 26450 WITH SCORE 26501.925
AT ITER 3082 NEW BEST:: SOT 98087 SOS 51809 HAS SOPS 49121 HAS SOUS 28129 HAS SOUPS 26395 WITH SCORE 26446.809
AT ITER 3085 NEW BEST:: SOT 98079 SOS 51705 HAS SOPS 48997 HAS SOUS 28089 HAS SOUPS 26335 WITH SCORE 26386.705
AT ITER 3117 NEW BEST:: SOT 98046 SOS 51672 HAS SOPS 48964 HAS SOUS 28056 HAS SOUPS 26302 WITH SCORE 26353.672
AT ITER 3132 NEW BEST:: SOT 98054 SOS 51736 HAS SOPS 49028 HAS SOUS 28045 HAS SOUPS 26291 WITH SCORE 26342.736
AT ITER 3136 NEW BEST:: SOT 98054 SOS 51736 HAS SOPS 49028 HAS SOUS 27995 HAS SOUPS 26241 WITH SCORE 26292.736
AT ITER 3160 NEW BEST:: SOT 98034 SOS 51716 HAS SOPS 49008 HAS SOUS 27975 HAS SOUPS 26221 WITH SCORE 26272.716
AT ITER 3165 NEW BEST:: SOT 98061 SOS 51669 HAS SOPS 48961 HAS SOUS 27959 HAS SOUPS 26205 WITH SCORE 26256.669
AT ITER 3196 NEW BEST:: SOT 98069 SOS 51677 HAS SOPS 48969 HAS SOUS 27937 HAS SOUPS 26183 WITH SCORE 26234.677
AT ITER 3207 NEW BEST:: SOT 98072 SOS 51671 HAS SOPS 48963 HAS SOUS 27931 HAS SOUPS 26177 WITH SCORE 26228.671
AT ITER 3221 NEW BEST:: SOT 98054 SOS 51653 HAS SOPS 48945 HAS SOUS 27917 HAS SOUPS 26163 WITH SCORE 26214.653
AT ITER 3227 NEW BEST:: SOT 98054 SOS 51612 HAS SOPS 48904 HAS SOUS 27901 HAS SOUPS 26147 WITH SCORE 26198.612
AT ITER 3235 NEW BEST:: SOT 98024 SOS 51561 HAS SOPS 48853 HAS SOUS 27880 HAS SOUPS 26126 WITH SCORE 26177.561
AT ITER 3244 NEW BEST:: SOT 98015 SOS 51569 HAS SOPS 48861 HAS SOUS 27854 HAS SOUPS 26100 WITH SCORE 26151.569
AT ITER 3249 NEW BEST:: SOT 98035 SOS 51549 HAS SOPS 48841 HAS SOUS 27854 HAS SOUPS 26100 WITH SCORE 26151.549
AT ITER 3268 NEW BEST:: SOT 98032 SOS 51402 HAS SOPS 48694 HAS SOUS 27827 HAS SOUPS 26073 WITH SCORE 26124.402
AT ITER 3279 NEW BEST:: SOT 98030 SOS 51400 HAS SOPS 48692 HAS SOUS 27825 HAS SOUPS 26071 WITH SCORE 26122.4
AT ITER 3283 NEW BEST:: SOT 98030 SOS 51446 HAS SOPS 48738 HAS SOUS 27765 HAS SOUPS 26011 WITH SCORE 26062.446
AT ITER 3294 NEW BEST:: SOT 98011 SOS 51409 HAS SOPS 48701 HAS SOUS 27719 HAS SOUPS 25965 WITH SCORE 26016.409
AT ITER 3295 NEW BEST:: SOT 98008 SOS 51406 HAS SOPS 48698 HAS SOUS 27716 HAS SOUPS 25962 WITH SCORE 26013.406
AT ITER 3318 NEW BEST:: SOT 98030 SOS 51428 HAS SOPS 48720 HAS SOUS 27694 HAS SOUPS 25940 WITH SCORE 25991.428
AT ITER 3319 NEW BEST:: SOT 97959 SOS 51357 HAS SOPS 48649 HAS SOUS 27660 HAS SOUPS 25906 WITH SCORE 25957.357
AT ITER 3325 NEW BEST:: SOT 97913 SOS 51684 HAS SOPS 48976 HAS SOUS 27648 HAS SOUPS 25894 WITH SCORE 25945.684
AT ITER 3337 NEW BEST:: SOT 97929 SOS 51686 HAS SOPS 48977 HAS SOUS 27645 HAS SOUPS 25891 WITH SCORE 25942.686
AT ITER 3357 NEW BEST:: SOT 97770 SOS 51557 HAS SOPS 48894 HAS SOUS 27508 HAS SOUPS 25766 WITH SCORE 25817.557
AT ITER 3369 NEW BEST:: SOT 97770 SOS 51557 HAS SOPS 48894 HAS SOUS 27444 HAS SOUPS 25702 WITH SCORE 25753.557
AT ITER 3371 NEW BEST:: SOT 97770 SOS 51557 HAS SOPS 48894 HAS SOUS 27442 HAS SOUPS 25700 WITH SCORE 25751.557
AT ITER 3374 NEW BEST:: SOT 97674 SOS 51525 HAS SOPS 48862 HAS SOUS 27410 HAS SOUPS 25668 WITH SCORE 25719.525
AT ITER 3388 NEW BEST:: SOT 97820 SOS 51438 HAS SOPS 48775 HAS SOUS 27385 HAS SOUPS 25643 WITH SCORE 25694.438
AT ITER 3400 NEW BEST:: SOT 97793 SOS 51439 HAS SOPS 48776 HAS SOUS 27358 HAS SOUPS 25616 WITH SCORE 25667.439
AT ITER 3403 NEW BEST:: SOT 97791 SOS 51490 HAS SOPS 48827 HAS SOUS 27356 HAS SOUPS 25614 WITH SCORE 25665.49
AT ITER 3404 NEW BEST:: SOT 97795 SOS 51202 HAS SOPS 48471 HAS SOUS 27326 HAS SOUPS 25550 WITH SCORE 25601.202
AT ITER 3406 NEW BEST:: SOT 97781 SOS 51188 HAS SOPS 48457 HAS SOUS 27312 HAS SOUPS 25536 WITH SCORE 25587.188
AT ITER 3417 NEW BEST:: SOT 97776 SOS 51173 HAS SOPS 48442 HAS SOUS 27297 HAS SOUPS 25521 WITH SCORE 25572.173
AT ITER 3434 NEW BEST:: SOT 97776 SOS 51137 HAS SOPS 48400 HAS SOUS 27279 HAS SOUPS 25503 WITH SCORE 25554.137
AT ITER 3454 NEW BEST:: SOT 97834 SOS 50963 HAS SOPS 48226 HAS SOUS 27279 HAS SOUPS 25503 WITH SCORE 25553.963
AT ITER 3512 NEW BEST:: SOT 97834 SOS 50955 HAS SOPS 48210 HAS SOUS 27277 HAS SOUPS 25497 WITH SCORE 25547.955
AT ITER 3514 NEW BEST:: SOT 97810 SOS 51058 HAS SOPS 48146 HAS SOUS 27292 HAS SOUPS 25437 WITH SCORE 25488.058
AT ITER 3520 NEW BEST:: SOT 97813 SOS 51010 HAS SOPS 48098 HAS SOUS 27278 HAS SOUPS 25423 WITH SCORE 25474.01
AT ITER 3533 NEW BEST:: SOT 97830 SOS 50985 HAS SOPS 48073 HAS SOUS 27269 HAS SOUPS 25414 WITH SCORE 25464.985
AT ITER 3544 NEW BEST:: SOT 97816 SOS 50871 HAS SOPS 47902 HAS SOUS 27235 HAS SOUPS 25380 WITH SCORE 25430.871
AT ITER 3554 NEW BEST:: SOT 97885 SOS 50820 HAS SOPS 47851 HAS SOUS 27200 HAS SOUPS 25345 WITH SCORE 25395.82
AT ITER 3589 NEW BEST:: SOT 97859 SOS 50852 HAS SOPS 47883 HAS SOUS 27192 HAS SOUPS 25337 WITH SCORE 25387.852
AT ITER 3595 NEW BEST:: SOT 97912 SOS 50905 HAS SOPS 47936 HAS SOUS 27181 HAS SOUPS 25326 WITH SCORE 25376.905
AT ITER 3596 NEW BEST:: SOT 97826 SOS 50945 HAS SOPS 47976 HAS SOUS 27158 HAS SOUPS 25303 WITH SCORE 25353.945
AT ITER 3605 NEW BEST:: SOT 97798 SOS 50917 HAS SOPS 47948 HAS SOUS 27144 HAS SOUPS 25289 WITH SCORE 25339.917
AT ITER 3613 NEW BEST:: SOT 97804 SOS 50909 HAS SOPS 47940 HAS SOUS 27144 HAS SOUPS 25289 WITH SCORE 25339.909
AT ITER 3614 NEW BEST:: SOT 97647 SOS 50752 HAS SOPS 47783 HAS SOUS 26987 HAS SOUPS 25132 WITH SCORE 25182.752
AT ITER 3633 NEW BEST:: SOT 97650 SOS 50755 HAS SOPS 47786 HAS SOUS 26981 HAS SOUPS 25126 WITH SCORE 25176.755
AT ITER 3670 NEW BEST:: SOT 97646 SOS 50737 HAS SOPS 47768 HAS SOUS 26973 HAS SOUPS 25118 WITH SCORE 25168.737
AT ITER 3678 NEW BEST:: SOT 97646 SOS 50737 HAS SOPS 47768 HAS SOUS 26971 HAS SOUPS 25116 WITH SCORE 25166.737
AT ITER 3684 NEW BEST:: SOT 97607 SOS 50716 HAS SOPS 47747 HAS SOUS 26950 HAS SOUPS 25095 WITH SCORE 25145.716
AT ITER 3694 NEW BEST:: SOT 97608 SOS 50717 HAS SOPS 47748 HAS SOUS 26949 HAS SOUPS 25094 WITH SCORE 25144.717
AT ITER 3695 NEW BEST:: SOT 97480 SOS 50589 HAS SOPS 47620 HAS SOUS 26803 HAS SOUPS 24948 WITH SCORE 24998.589
AT ITER 3729 NEW BEST:: SOT 97466 SOS 50547 HAS SOPS 47606 HAS SOUS 26761 HAS SOUPS 24920 WITH SCORE 24970.547
AT ITER 3736 NEW BEST:: SOT 97466 SOS 50585 HAS SOPS 47644 HAS SOUS 26709 HAS SOUPS 24868 WITH SCORE 24918.585
AT ITER 3741 NEW BEST:: SOT 97466 SOS 50585 HAS SOPS 47644 HAS SOUS 26703 HAS SOUPS 24862 WITH SCORE 24912.585
AT ITER 3746 NEW BEST:: SOT 97462 SOS 50581 HAS SOPS 47640 HAS SOUS 26699 HAS SOUPS 24858 WITH SCORE 24908.581
AT ITER 3751 NEW BEST:: SOT 97468 SOS 50587 HAS SOPS 47646 HAS SOUS 26673 HAS SOUPS 24832 WITH SCORE 24882.587
AT ITER 3752 NEW BEST:: SOT 97485 SOS 50604 HAS SOPS 47663 HAS SOUS 26666 HAS SOUPS 24825 WITH SCORE 24875.604
AT ITER 3797 NEW BEST:: SOT 97483 SOS 50602 HAS SOPS 47661 HAS SOUS 26664 HAS SOUPS 24823 WITH SCORE 24873.602
AT ITER 3804 NEW BEST:: SOT 97481 SOS 50600 HAS SOPS 47659 HAS SOUS 26662 HAS SOUPS 24821 WITH SCORE 24871.6
AT ITER 3806 NEW BEST:: SOT 97405 SOS 50376 HAS SOPS 47505 HAS SOUS 26610 HAS SOUPS 24804 WITH SCORE 24854.376
AT ITER 3807 NEW BEST:: SOT 97403 SOS 50570 HAS SOPS 47699 HAS SOUS 26603 HAS SOUPS 24797 WITH SCORE 24847.57
AT ITER 3813 NEW BEST:: SOT 97351 SOS 50606 HAS SOPS 47647 HAS SOUS 26676 HAS SOUPS 24782 WITH SCORE 24832.606
AT ITER 3828 NEW BEST:: SOT 97297 SOS 50552 HAS SOPS 47593 HAS SOUS 26674 HAS SOUPS 24780 WITH SCORE 24830.552
AT ITER 3842 NEW BEST:: SOT 97269 SOS 50483 HAS SOPS 47524 HAS SOUS 26660 HAS SOUPS 24766 WITH SCORE 24816.483
AT ITER 3844 NEW BEST:: SOT 97249 SOS 50469 HAS SOPS 47510 HAS SOUS 26596 HAS SOUPS 24702 WITH SCORE 24752.469
AT ITER 3864 NEW BEST:: SOT 97246 SOS 50438 HAS SOPS 47479 HAS SOUS 26586 HAS SOUPS 24692 WITH SCORE 24742.438
AT ITER 3893 NEW BEST:: SOT 97177 SOS 50369 HAS SOPS 47410 HAS SOUS 26560 HAS SOUPS 24666 WITH SCORE 24716.369
AT ITER 3915 NEW BEST:: SOT 97183 SOS 50556 HAS SOPS 47597 HAS SOUS 26556 HAS SOUPS 24662 WITH SCORE 24712.556
AT ITER 3921 NEW BEST:: SOT 97164 SOS 50494 HAS SOPS 47535 HAS SOUS 26531 HAS SOUPS 24637 WITH SCORE 24687.494
AT ITER 3938 NEW BEST:: SOT 97060 SOS 50372 HAS SOPS 47413 HAS SOUS 26473 HAS SOUPS 24579 WITH SCORE 24629.372
AT ITER 3943 NEW BEST:: SOT 97038 SOS 50357 HAS SOPS 47398 HAS SOUS 26444 HAS SOUPS 24550 WITH SCORE 24600.357
AT ITER 3952 NEW BEST:: SOT 97038 SOS 50360 HAS SOPS 47401 HAS SOUS 26438 HAS SOUPS 24544 WITH SCORE 24594.36
AT ITER 3957 NEW BEST:: SOT 97068 SOS 50330 HAS SOPS 47371 HAS SOUS 26438 HAS SOUPS 24544 WITH SCORE 24594.33
AT ITER 3971 NEW BEST:: SOT 97028 SOS 50252 HAS SOPS 47293 HAS SOUS 26398 HAS SOUPS 24504 WITH SCORE 24554.252
AT ITER 3976 NEW BEST:: SOT 97037 SOS 50261 HAS SOPS 47302 HAS SOUS 26390 HAS SOUPS 24496 WITH SCORE 24546.261
AT ITER 3977 NEW BEST:: SOT 97037 SOS 50261 HAS SOPS 47302 HAS SOUS 26387 HAS SOUPS 24493 WITH SCORE 24543.261
AT ITER 3996 NEW BEST:: SOT 97035 SOS 50239 HAS SOPS 47280 HAS SOUS 26377 HAS SOUPS 24483 WITH SCORE 24533.239
AT ITER 4004 NEW BEST:: SOT 97051 SOS 50105 HAS SOPS 47112 HAS SOUS 26355 HAS SOUPS 24461 WITH SCORE 24511.105
AT ITER 4006 NEW BEST:: SOT 97049 SOS 50103 HAS SOPS 47110 HAS SOUS 26355 HAS SOUPS 24461 WITH SCORE 24511.103
AT ITER 4020 NEW BEST:: SOT 97042 SOS 49994 HAS SOPS 47001 HAS SOUS 26302 HAS SOUPS 24408 WITH SCORE 24457.994
AT ITER 4036 NEW BEST:: SOT 97042 SOS 49994 HAS SOPS 47001 HAS SOUS 26280 HAS SOUPS 24386 WITH SCORE 24435.994
AT ITER 4040 NEW BEST:: SOT 97040 SOS 49992 HAS SOPS 46999 HAS SOUS 26274 HAS SOUPS 24380 WITH SCORE 24429.992
AT ITER 4068 NEW BEST:: SOT 97062 SOS 49951 HAS SOPS 46950 HAS SOUS 26266 HAS SOUPS 24367 WITH SCORE 24416.951
AT ITER 4091 NEW BEST:: SOT 97061 SOS 49950 HAS SOPS 46949 HAS SOUS 26263 HAS SOUPS 24364 WITH SCORE 24413.95
AT ITER 4104 NEW BEST:: SOT 97076 SOS 49975 HAS SOPS 46974 HAS SOUS 26227 HAS SOUPS 24328 WITH SCORE 24377.975
AT ITER 4110 NEW BEST:: SOT 96996 SOS 49855 HAS SOPS 46854 HAS SOUS 26225 HAS SOUPS 24326 WITH SCORE 24375.855
AT ITER 4124 NEW BEST:: SOT 96994 SOS 49853 HAS SOPS 46852 HAS SOUS 26221 HAS SOUPS 24322 WITH SCORE 24371.853
AT ITER 4132 NEW BEST:: SOT 96993 SOS 49847 HAS SOPS 46846 HAS SOUS 26218 HAS SOUPS 24319 WITH SCORE 24368.847
AT ITER 4133 NEW BEST:: SOT 96993 SOS 49847 HAS SOPS 46846 HAS SOUS 26188 HAS SOUPS 24289 WITH SCORE 24338.847
AT ITER 4166 NEW BEST:: SOT 96975 SOS 49824 HAS SOPS 46823 HAS SOUS 26165 HAS SOUPS 24266 WITH SCORE 24315.824
AT ITER 4182 NEW BEST:: SOT 96903 SOS 49792 HAS SOPS 46791 HAS SOUS 26155 HAS SOUPS 24256 WITH SCORE 24305.792
AT ITER 4205 NEW BEST:: SOT 96897 SOS 49786 HAS SOPS 46785 HAS SOUS 26152 HAS SOUPS 24253 WITH SCORE 24302.786
AT ITER 4216 NEW BEST:: SOT 96882 SOS 49747 HAS SOPS 46746 HAS SOUS 26132 HAS SOUPS 24233 WITH SCORE 24282.747
AT ITER 4221 NEW BEST:: SOT 96905 SOS 49776 HAS SOPS 46775 HAS SOUS 26126 HAS SOUPS 24227 WITH SCORE 24276.776
AT ITER 4224 NEW BEST:: SOT 96906 SOS 49827 HAS SOPS 46780 HAS SOUS 26147 HAS SOUPS 24225 WITH SCORE 24274.827
AT ITER 4225 NEW BEST:: SOT 96900 SOS 49821 HAS SOPS 46774 HAS SOUS 26147 HAS SOUPS 24225 WITH SCORE 24274.821
AT ITER 4234 NEW BEST:: SOT 96900 SOS 49821 HAS SOPS 46774 HAS SOUS 26101 HAS SOUPS 24179 WITH SCORE 24228.821
AT ITER 4242 NEW BEST:: SOT 96934 SOS 49855 HAS SOPS 46808 HAS SOUS 26083 HAS SOUPS 24161 WITH SCORE 24210.855
AT ITER 4246 NEW BEST:: SOT 96935 SOS 49677 HAS SOPS 46630 HAS SOUS 26063 HAS SOUPS 24141 WITH SCORE 24190.677
AT ITER 4268 NEW BEST:: SOT 96922 SOS 49682 HAS SOPS 46635 HAS SOUS 26008 HAS SOUPS 24086 WITH SCORE 24135.682
AT ITER 4289 NEW BEST:: SOT 96776 SOS 49482 HAS SOPS 46435 HAS SOUS 25978 HAS SOUPS 24056 WITH SCORE 24105.482
AT ITER 4295 NEW BEST:: SOT 96620 SOS 49326 HAS SOPS 46279 HAS SOUS 25978 HAS SOUPS 24056 WITH SCORE 24105.326
AT ITER 4303 NEW BEST:: SOT 96635 SOS 49341 HAS SOPS 46294 HAS SOUS 25975 HAS SOUPS 24053 WITH SCORE 24102.341
AT ITER 4316 NEW BEST:: SOT 96635 SOS 49342 HAS SOPS 46295 HAS SOUS 25974 HAS SOUPS 24052 WITH SCORE 24101.342
AT ITER 4318 NEW BEST:: SOT 96599 SOS 49276 HAS SOPS 46229 HAS SOUS 25915 HAS SOUPS 23993 WITH SCORE 24042.276
AT ITER 4324 NEW BEST:: SOT 96547 SOS 49267 HAS SOPS 46220 HAS SOUS 25892 HAS SOUPS 23970 WITH SCORE 24019.267
AT ITER 4326 NEW BEST:: SOT 96539 SOS 49281 HAS SOPS 46234 HAS SOUS 25884 HAS SOUPS 23962 WITH SCORE 24011.281
AT ITER 4329 NEW BEST:: SOT 96541 SOS 49283 HAS SOPS 46236 HAS SOUS 25854 HAS SOUPS 23932 WITH SCORE 23981.283
AT ITER 4330 NEW BEST:: SOT 96541 SOS 49283 HAS SOPS 46236 HAS SOUS 25820 HAS SOUPS 23898 WITH SCORE 23947.283
AT ITER 4343 NEW BEST:: SOT 96398 SOS 48977 HAS SOPS 45930 HAS SOUS 25782 HAS SOUPS 23860 WITH SCORE 23908.977
AT ITER 4346 NEW BEST:: SOT 96379 SOS 49001 HAS SOPS 45961 HAS SOUS 25770 HAS SOUPS 23848 WITH SCORE 23897.001
AT ITER 4353 NEW BEST:: SOT 96374 SOS 49107 HAS SOPS 46098 HAS SOUS 25737 HAS SOUPS 23846 WITH SCORE 23895.107
AT ITER 4363 NEW BEST:: SOT 96340 SOS 49073 HAS SOPS 46064 HAS SOUS 25737 HAS SOUPS 23846 WITH SCORE 23895.073
AT ITER 4368 NEW BEST:: SOT 96360 SOS 48850 HAS SOPS 45841 HAS SOUS 25705 HAS SOUPS 23814 WITH SCORE 23862.85
AT ITER 4370 NEW BEST:: SOT 96383 SOS 48873 HAS SOPS 45864 HAS SOUS 25697 HAS SOUPS 23806 WITH SCORE 23854.873
AT ITER 4377 NEW BEST:: SOT 96374 SOS 48861 HAS SOPS 45852 HAS SOUS 25685 HAS SOUPS 23794 WITH SCORE 23842.861
AT ITER 4421 NEW BEST:: SOT 96375 SOS 48861 HAS SOPS 45852 HAS SOUS 25674 HAS SOUPS 23783 WITH SCORE 23831.861
AT ITER 4437 NEW BEST:: SOT 96347 SOS 48819 HAS SOPS 45810 HAS SOUS 25660 HAS SOUPS 23769 WITH SCORE 23817.819
AT ITER 4481 NEW BEST:: SOT 96341 SOS 48813 HAS SOPS 45804 HAS SOUS 25654 HAS SOUPS 23763 WITH SCORE 23811.813
AT ITER 4525 NEW BEST:: SOT 96341 SOS 48774 HAS SOPS 45765 HAS SOUS 25643 HAS SOUPS 23752 WITH SCORE 23800.774
AT ITER 4548 NEW BEST:: SOT 96340 SOS 48773 HAS SOPS 45764 HAS SOUS 25641 HAS SOUPS 23750 WITH SCORE 23798.773
AT ITER 4560 NEW BEST:: SOT 96274 SOS 48753 HAS SOPS 45750 HAS SOUS 25575 HAS SOUPS 23684 WITH SCORE 23732.753
AT ITER 4568 NEW BEST:: SOT 96298 SOS 48725 HAS SOPS 45722 HAS SOUS 25575 HAS SOUPS 23684 WITH SCORE 23732.725
AT ITER 4577 NEW BEST:: SOT 96295 SOS 48716 HAS SOPS 45713 HAS SOUS 25568 HAS SOUPS 23677 WITH SCORE 23725.716
AT ITER 4592 NEW BEST:: SOT 96415 SOS 48862 HAS SOPS 45859 HAS SOUS 25534 HAS SOUPS 23643 WITH SCORE 23691.862
AT ITER 4597 NEW BEST:: SOT 96469 SOS 48808 HAS SOPS 45805 HAS SOUS 25534 HAS SOUPS 23643 WITH SCORE 23691.808
AT ITER 4598 NEW BEST:: SOT 96460 SOS 48799 HAS SOPS 45796 HAS SOUS 25505 HAS SOUPS 23614 WITH SCORE 23662.799
AT ITER 4639 NEW BEST:: SOT 96468 SOS 49284 HAS SOPS 46281 HAS SOUS 25457 HAS SOUPS 23566 WITH SCORE 23615.284
AT ITER 4655 NEW BEST:: SOT 96388 SOS 49193 HAS SOPS 46190 HAS SOUS 25431 HAS SOUPS 23540 WITH SCORE 23589.193
AT ITER 4658 NEW BEST:: SOT 96382 SOS 49175 HAS SOPS 46172 HAS SOUS 25413 HAS SOUPS 23522 WITH SCORE 23571.175
AT ITER 4678 NEW BEST:: SOT 96381 SOS 49173 HAS SOPS 46170 HAS SOUS 25413 HAS SOUPS 23522 WITH SCORE 23571.173
AT ITER 4680 NEW BEST:: SOT 96381 SOS 49173 HAS SOPS 46170 HAS SOUS 25389 HAS SOUPS 23498 WITH SCORE 23547.173
AT ITER 4688 NEW BEST:: SOT 96341 SOS 49133 HAS SOPS 46130 HAS SOUS 25297 HAS SOUPS 23406 WITH SCORE 23455.133
AT ITER 4692 NEW BEST:: SOT 96351 SOS 49098 HAS SOPS 46088 HAS SOUS 25288 HAS SOUPS 23397 WITH SCORE 23446.098
AT ITER 4707 NEW BEST:: SOT 96339 SOS 49086 HAS SOPS 46076 HAS SOUS 25274 HAS SOUPS 23383 WITH SCORE 23432.086
AT ITER 4708 NEW BEST:: SOT 96343 SOS 49090 HAS SOPS 46080 HAS SOUS 25270 HAS SOUPS 23379 WITH SCORE 23428.09
AT ITER 4709 NEW BEST:: SOT 96313 SOS 49060 HAS SOPS 46050 HAS SOUS 25240 HAS SOUPS 23349 WITH SCORE 23398.06
AT ITER 4732 NEW BEST:: SOT 96305 SOS 49042 HAS SOPS 46032 HAS SOUS 25237 HAS SOUPS 23346 WITH SCORE 23395.042
AT ITER 4739 NEW BEST:: SOT 96213 SOS 48913 HAS SOPS 45903 HAS SOUS 25224 HAS SOUPS 23333 WITH SCORE 23381.913
AT ITER 4742 NEW BEST:: SOT 96205 SOS 48905 HAS SOPS 45895 HAS SOUS 25214 HAS SOUPS 23323 WITH SCORE 23371.905
AT ITER 4755 NEW BEST:: SOT 96216 SOS 48916 HAS SOPS 45906 HAS SOUS 25139 HAS SOUPS 23248 WITH SCORE 23296.916
AT ITER 4819 NEW BEST:: SOT 96168 SOS 48868 HAS SOPS 45858 HAS SOUS 25091 HAS SOUPS 23200 WITH SCORE 23248.868
AT ITER 4845 NEW BEST:: SOT 96168 SOS 48868 HAS SOPS 45858 HAS SOUS 25055 HAS SOUPS 23164 WITH SCORE 23212.868
AT ITER 4846 NEW BEST:: SOT 96160 SOS 48860 HAS SOPS 45850 HAS SOUS 25047 HAS SOUPS 23156 WITH SCORE 23204.86
AT ITER 4853 NEW BEST:: SOT 96160 SOS 48857 HAS SOPS 45844 HAS SOUS 25041 HAS SOUPS 23150 WITH SCORE 23198.857
AT ITER 4855 NEW BEST:: SOT 96148 SOS 48842 HAS SOPS 45829 HAS SOUS 25027 HAS SOUPS 23136 WITH SCORE 23184.842
AT ITER 4891 NEW BEST:: SOT 96162 SOS 48561 HAS SOPS 45548 HAS SOUS 24998 HAS SOUPS 23107 WITH SCORE 23155.561
AT ITER 4904 NEW BEST:: SOT 96041 SOS 47971 HAS SOPS 44958 HAS SOUS 24952 HAS SOUPS 23061 WITH SCORE 23108.971
AT ITER 4916 NEW BEST:: SOT 96041 SOS 47791 HAS SOPS 44778 HAS SOUS 24936 HAS SOUPS 23045 WITH SCORE 23092.791
AT ITER 4969 NEW BEST:: SOT 96039 SOS 47789 HAS SOPS 44776 HAS SOUS 24934 HAS SOUPS 23043 WITH SCORE 23090.789
AT ITER 4973 NEW BEST:: SOT 96025 SOS 47786 HAS SOPS 44773 HAS SOUS 24928 HAS SOUPS 23037 WITH SCORE 23084.786
Bounds file is: CTLFireability.xml
PROPERTY: NoC3x3-PT-3A-CTLFireability-00 ( (! (EU( (! ((potential((tk(P276)>=1) & (tk(P292)>=1))))) , ((potential((tk(P144)>=1) & (tk(P174)>=1)))) ))) & ( (AU( (! ((potential((tk(P12)>=1) & (tk(P18)>=1))))) , ( ((potential((tk(P196)>=1) & (tk(P229)>=1)))) | ((potential((tk(P311)>=1) & (tk(P338)>=1)))) ) )) | ((potential((tk(P357)>=1) & (tk(P360)>=1)))) ) )
PROPERTY: NoC3x3-PT-3A-CTLFireability-01 (EG( ( (AU( ((potential((tk(P5)>=1) & (tk(P18)>=1)))) , ((potential((tk(P23)>=1) & (tk(P60)>=1)))) )) | (EF( ( ((potential((tk(P301)>=1) & (tk(P322)>=1)))) | ((potential((tk(P224)>=1) & (tk(P267)>=1)))) ))) )))
PROPERTY: NoC3x3-PT-3A-CTLFireability-02 (AG( (AF( ( ( ((potential((tk(P312)>=1) & (tk(P318)>=1)))) & ((potential((tk(P292)>=1)))) ) & ( ((potential((tk(P7)>=1) & (tk(P15)>=1)))) | ((potential((tk(P34)>=1) & (tk(P52)>=1)))) ) )))))
PROPERTY: NoC3x3-PT-3A-CTLFireability-03 (AF( ((potential((tk(P142)>=1) & (tk(P206)>=1))))))
PROPERTY: NoC3x3-PT-3A-CTLFireability-04 (! ( (AF( (AX( ((potential((tk(P349)>=1) & (tk(P362)>=1)))))))) & (AG( ( (! ((potential((tk(P8)>=1) & (tk(P116)>=1))))) | ( ((potential((tk(P42)>=1) & (tk(P81)>=1)))) | ((potential((tk(P23)>=1) & (tk(P66)>=1)))) ) ))) ))
PROPERTY: NoC3x3-PT-3A-CTLFireability-05 (EU( (AG( ((potential((tk(P24)>=1) & (tk(P60)>=1)))))) , (AF( ((potential((tk(P322)>=1)))))) ))
PROPERTY: NoC3x3-PT-3A-CTLFireability-06 (EU( (EF( ( ((potential((tk(P308)>=1) & (tk(P322)>=1)))) & ((potential((tk(P270)>=1) & (tk(P290)>=1)))) ))) , (EU( ((potential((tk(P36)>=1) & (tk(P63)>=1)))) , ((potential((tk(P370)>=1)))) )) ))
PROPERTY: NoC3x3-PT-3A-CTLFireability-07 (! (AG( (! ((potential((tk(P19)>=1) & (tk(P92)>=1))))))))
PROPERTY: NoC3x3-PT-3A-CTLFireability-08 (AG( ( ( (! ( ((potential((tk(P133)>=1) & (tk(P195)>=1)))) & ((potential((tk(P301)>=1) & (tk(P346)>=1)))) )) & (EG( ((potential((tk(P148)>=1) & (tk(P204)>=1)))))) ) | (! ( ((potential((tk(P221)>=1) & (tk(P252)>=1)))) | ( ((potential((tk(P30)>=1) & (tk(P60)>=1)))) | ((potential((tk(P91)>=1) & (tk(P126)>=1)))) ) )) )))
PROPERTY: NoC3x3-PT-3A-CTLFireability-09 ( (! (AX( (AF( ((potential((tk(P159)>=1) & (tk(P213)>=1))))))))) | (EU( (EG( ((potential((tk(P146)>=1) & (tk(P190)>=1)))))) , ( ( ((potential((tk(P127)>=1) & (tk(P271)>=1)))) & ((potential((tk(P155)>=1) & (tk(P172)>=1)))) ) & ( ((potential((tk(P148)>=1) & (tk(P197)>=1)))) & ((potential((tk(P160)>=1) & (tk(P184)>=1)))) ) ) )) )
PROPERTY: NoC3x3-PT-3A-CTLFireability-10 (EF( (EF( (EG( ((potential((tk(P112)>=1) & (tk(P126)>=1))))))))))
PROPERTY: NoC3x3-PT-3A-CTLFireability-11 (EG( (EF( (! (! ((potential((tk(P347)>=1) & (tk(P360)>=1))))))))))
PROPERTY: NoC3x3-PT-3A-CTLFireability-12 ( (AF( (AG( ( ((potential((tk(P72)>=1) & (tk(P90)>=1)))) | ((potential((tk(P108)>=1) & (tk(P293)>=1)))) ))))) | (AF( ( ((potential((tk(P30)>=1) & (tk(P55)>=1)))) | ((potential((tk(P308)>=1) & (tk(P322)>=1)))) ))) )
PROPERTY: NoC3x3-PT-3A-CTLFireability-13 ( ((potential((tk(P132)>=1)))) | ( ( (EX( ( ((potential((tk(P267)>=1)))) & ((potential((tk(P44)>=1) & (tk(P55)>=1)))) ))) | (AF( ( ((potential((tk(P228)>=1) & (tk(P255)>=1)))) & ((potential((tk(P137)>=1) & (tk(P191)>=1)))) ))) ) | (AX( ( ((potential((tk(P294)>=1) & (tk(P338)>=1)))) | (! ((potential((tk(P160)>=1) & (tk(P216)>=1))))) ))) ) )
PROPERTY: NoC3x3-PT-3A-CTLFireability-14 (AF( ( ( ((potential((tk(P298)>=1) & (tk(P330)>=1)))) & (! (! ((potential((tk(P148)>=1) & (tk(P203)>=1)))))) ) | (AG( (! ((potential((tk(P29)>=1) & (tk(P62)>=1))))))) )))
PROPERTY: NoC3x3-PT-3A-CTLFireability-15 (EF( ( ((potential((tk(P151)>=1) & (tk(P206)>=1)))) & ( (AX( ((potential((tk(P86)>=1) & (tk(P220)>=1)))))) & (! ( ((potential((tk(P219)>=1) & (tk(P248)>=1)))) | ((potential((tk(P228)>=1) & (tk(P255)>=1)))) )) ) )))

BK_STOP 1589645083087

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

/home/mcc/BenchKit/bin/smart.sh: line 117: 378 Segmentation fault ${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-3A"
export BK_EXAMINATION="CTLFireability"
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-3A, examination is CTLFireability"
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-158961250400364"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-3A.tgz
mv NoC3x3-PT-3A execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;