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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 304K
-rw-r--r-- 1 mcc users 3.6K Apr 8 15:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 8 15:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 7 18:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 7 18:31 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.2K Apr 14 12:42 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:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Apr 6 20:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 6 20:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 6 03:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 6 03:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 127K 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-2A-CTLCardinality-00
FORMULA_NAME NoC3x3-PT-2A-CTLCardinality-01
FORMULA_NAME NoC3x3-PT-2A-CTLCardinality-02
FORMULA_NAME NoC3x3-PT-2A-CTLCardinality-03
FORMULA_NAME NoC3x3-PT-2A-CTLCardinality-04
FORMULA_NAME NoC3x3-PT-2A-CTLCardinality-05
FORMULA_NAME NoC3x3-PT-2A-CTLCardinality-06
FORMULA_NAME NoC3x3-PT-2A-CTLCardinality-07
FORMULA_NAME NoC3x3-PT-2A-CTLCardinality-08
FORMULA_NAME NoC3x3-PT-2A-CTLCardinality-09
FORMULA_NAME NoC3x3-PT-2A-CTLCardinality-10
FORMULA_NAME NoC3x3-PT-2A-CTLCardinality-11
FORMULA_NAME NoC3x3-PT-2A-CTLCardinality-12
FORMULA_NAME NoC3x3-PT-2A-CTLCardinality-13
FORMULA_NAME NoC3x3-PT-2A-CTLCardinality-14
FORMULA_NAME NoC3x3-PT-2A-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589641463068

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

GOT IT HERE. BS
Petri model created: 361 places, 428 transitions, 1697 arcs.
AT ITER 0 NEW BEST:: SOT 128116 SOS 107782 HAS SOPS 107773 HAS SOUS 71642 HAS SOUPS 71633 WITH SCORE 71740.782
AT ITER 6 NEW BEST:: SOT 128116 SOS 106486 HAS SOPS 106477 HAS SOUS 71642 HAS SOUPS 71633 WITH SCORE 71739.486
AT ITER 9 NEW BEST:: SOT 127329 SOS 107045 HAS SOPS 107036 HAS SOUS 71294 HAS SOUPS 71285 WITH SCORE 71392.045
AT ITER 10 NEW BEST:: SOT 127064 SOS 106766 HAS SOPS 106757 HAS SOUS 71015 HAS SOUPS 71006 WITH SCORE 71112.766
AT ITER 12 NEW BEST:: SOT 127179 SOS 106811 HAS SOPS 106802 HAS SOUS 71010 HAS SOUPS 71001 WITH SCORE 71107.811
AT ITER 26 NEW BEST:: SOT 126997 SOS 106629 HAS SOPS 106620 HAS SOUS 70828 HAS SOUPS 70819 WITH SCORE 70925.629
AT ITER 28 NEW BEST:: SOT 126670 SOS 106302 HAS SOPS 106293 HAS SOUS 70499 HAS SOUPS 70490 WITH SCORE 70596.302
AT ITER 33 NEW BEST:: SOT 126522 SOS 106154 HAS SOPS 106145 HAS SOUS 70391 HAS SOUPS 70382 WITH SCORE 70488.154
AT ITER 35 NEW BEST:: SOT 126522 SOS 106018 HAS SOPS 106009 HAS SOUS 70357 HAS SOUPS 70348 WITH SCORE 70454.018
AT ITER 44 NEW BEST:: SOT 126522 SOS 106018 HAS SOPS 106009 HAS SOUS 70352 HAS SOUPS 70343 WITH SCORE 70449.018
AT ITER 46 NEW BEST:: SOT 126123 SOS 105619 HAS SOPS 105610 HAS SOUS 70071 HAS SOUPS 70062 WITH SCORE 70167.619
AT ITER 48 NEW BEST:: SOT 125534 SOS 104827 HAS SOPS 104818 HAS SOUS 69690 HAS SOUPS 69681 WITH SCORE 69785.827
AT ITER 50 NEW BEST:: SOT 125496 SOS 104789 HAS SOPS 104780 HAS SOUS 69652 HAS SOUPS 69643 WITH SCORE 69747.789
AT ITER 56 NEW BEST:: SOT 125104 SOS 104495 HAS SOPS 104486 HAS SOUS 69358 HAS SOUPS 69349 WITH SCORE 69453.495
AT ITER 58 NEW BEST:: SOT 125104 SOS 104495 HAS SOPS 104486 HAS SOUS 69356 HAS SOUPS 69347 WITH SCORE 69451.495
AT ITER 59 NEW BEST:: SOT 125041 SOS 104517 HAS SOPS 104508 HAS SOUS 69274 HAS SOUPS 69265 WITH SCORE 69369.517
AT ITER 60 NEW BEST:: SOT 124956 SOS 104370 HAS SOPS 104361 HAS SOUS 69080 HAS SOUPS 69071 WITH SCORE 69175.37
AT ITER 65 NEW BEST:: SOT 124956 SOS 104336 HAS SOPS 104327 HAS SOUS 69080 HAS SOUPS 69071 WITH SCORE 69175.336
AT ITER 69 NEW BEST:: SOT 124359 SOS 103798 HAS SOPS 103789 HAS SOUS 68805 HAS SOUPS 68796 WITH SCORE 68899.798
AT ITER 70 NEW BEST:: SOT 124359 SOS 103748 HAS SOPS 103739 HAS SOUS 68805 HAS SOUPS 68796 WITH SCORE 68899.748
AT ITER 72 NEW BEST:: SOT 123271 SOS 102057 HAS SOPS 102048 HAS SOUS 67738 HAS SOUPS 67729 WITH SCORE 67831.057
AT ITER 73 NEW BEST:: SOT 123261 SOS 102047 HAS SOPS 102038 HAS SOUS 67728 HAS SOUPS 67719 WITH SCORE 67821.047
AT ITER 78 NEW BEST:: SOT 122942 SOS 101770 HAS SOPS 101761 HAS SOUS 67639 HAS SOUPS 67630 WITH SCORE 67731.77
AT ITER 79 NEW BEST:: SOT 122878 SOS 101706 HAS SOPS 101697 HAS SOUS 67603 HAS SOUPS 67594 WITH SCORE 67695.706
AT ITER 80 NEW BEST:: SOT 122878 SOS 101751 HAS SOPS 101742 HAS SOUS 67597 HAS SOUPS 67588 WITH SCORE 67689.751
AT ITER 85 NEW BEST:: SOT 122876 SOS 101721 HAS SOPS 101712 HAS SOUS 67593 HAS SOUPS 67584 WITH SCORE 67685.721
AT ITER 86 NEW BEST:: SOT 122500 SOS 101345 HAS SOPS 101336 HAS SOUS 67311 HAS SOUPS 67302 WITH SCORE 67403.345
AT ITER 88 NEW BEST:: SOT 122007 SOS 100692 HAS SOPS 100683 HAS SOUS 66635 HAS SOUPS 66626 WITH SCORE 66726.692
AT ITER 92 NEW BEST:: SOT 121953 SOS 100638 HAS SOPS 100629 HAS SOUS 66621 HAS SOUPS 66612 WITH SCORE 66712.638
AT ITER 94 NEW BEST:: SOT 121953 SOS 100586 HAS SOPS 100577 HAS SOUS 66609 HAS SOUPS 66600 WITH SCORE 66700.586
AT ITER 96 NEW BEST:: SOT 121620 SOS 100253 HAS SOPS 100244 HAS SOUS 66429 HAS SOUPS 66420 WITH SCORE 66520.253
AT ITER 103 NEW BEST:: SOT 121620 SOS 100219 HAS SOPS 100210 HAS SOUS 66428 HAS SOUPS 66419 WITH SCORE 66519.219
AT ITER 109 NEW BEST:: SOT 120439 SOS 98955 HAS SOPS 98946 HAS SOUS 65262 HAS SOUPS 65253 WITH SCORE 65351.955
AT ITER 110 NEW BEST:: SOT 120297 SOS 98813 HAS SOPS 98804 HAS SOUS 65141 HAS SOUPS 65132 WITH SCORE 65230.813
AT ITER 113 NEW BEST:: SOT 120297 SOS 98127 HAS SOPS 98118 HAS SOUS 65055 HAS SOUPS 65046 WITH SCORE 65144.127
AT ITER 115 NEW BEST:: SOT 120297 SOS 98067 HAS SOPS 98058 HAS SOUS 64982 HAS SOUPS 64973 WITH SCORE 65071.067
AT ITER 119 NEW BEST:: SOT 120275 SOS 98045 HAS SOPS 98036 HAS SOUS 64960 HAS SOUPS 64951 WITH SCORE 65049.045
AT ITER 125 NEW BEST:: SOT 120297 SOS 97375 HAS SOPS 97287 HAS SOUS 64948 HAS SOUPS 64860 WITH SCORE 64957.375
AT ITER 126 NEW BEST:: SOT 119621 SOS 96699 HAS SOPS 96611 HAS SOUS 64390 HAS SOUPS 64302 WITH SCORE 64398.699
AT ITER 127 NEW BEST:: SOT 119140 SOS 96218 HAS SOPS 96130 HAS SOUS 63903 HAS SOUPS 63815 WITH SCORE 63911.218
AT ITER 130 NEW BEST:: SOT 119113 SOS 96191 HAS SOPS 96103 HAS SOUS 63876 HAS SOUPS 63788 WITH SCORE 63884.191
AT ITER 131 NEW BEST:: SOT 119113 SOS 96041 HAS SOPS 95953 HAS SOUS 63841 HAS SOUPS 63753 WITH SCORE 63849.041
AT ITER 132 NEW BEST:: SOT 119027 SOS 95998 HAS SOPS 95910 HAS SOUS 63755 HAS SOUPS 63667 WITH SCORE 63762.998
AT ITER 138 NEW BEST:: SOT 119027 SOS 95981 HAS SOPS 95893 HAS SOUS 63755 HAS SOUPS 63667 WITH SCORE 63762.981
AT ITER 142 NEW BEST:: SOT 118766 SOS 95605 HAS SOPS 95517 HAS SOUS 63494 HAS SOUPS 63406 WITH SCORE 63501.605
AT ITER 143 NEW BEST:: SOT 118760 SOS 95599 HAS SOPS 95511 HAS SOUS 63488 HAS SOUPS 63400 WITH SCORE 63495.599
AT ITER 144 NEW BEST:: SOT 117911 SOS 95809 HAS SOPS 95721 HAS SOUS 62917 HAS SOUPS 62829 WITH SCORE 62924.809
AT ITER 148 NEW BEST:: SOT 117822 SOS 95631 HAS SOPS 95543 HAS SOUS 62915 HAS SOUPS 62827 WITH SCORE 62922.631
AT ITER 149 NEW BEST:: SOT 117635 SOS 95468 HAS SOPS 95380 HAS SOUS 62829 HAS SOUPS 62741 WITH SCORE 62836.468
AT ITER 153 NEW BEST:: SOT 117635 SOS 95468 HAS SOPS 95380 HAS SOUS 62827 HAS SOUPS 62739 WITH SCORE 62834.468
AT ITER 156 NEW BEST:: SOT 117263 SOS 95096 HAS SOPS 95008 HAS SOUS 62455 HAS SOUPS 62367 WITH SCORE 62462.096
AT ITER 158 NEW BEST:: SOT 116323 SOS 94146 HAS SOPS 94058 HAS SOUS 61725 HAS SOUPS 61637 WITH SCORE 61731.146
AT ITER 159 NEW BEST:: SOT 116275 SOS 94098 HAS SOPS 94010 HAS SOUS 61677 HAS SOUPS 61589 WITH SCORE 61683.098
AT ITER 160 NEW BEST:: SOT 115527 SOS 93230 HAS SOPS 93142 HAS SOUS 60852 HAS SOUPS 60764 WITH SCORE 60857.23
AT ITER 163 NEW BEST:: SOT 115527 SOS 93230 HAS SOPS 93142 HAS SOUS 60850 HAS SOUPS 60762 WITH SCORE 60855.23
AT ITER 166 NEW BEST:: SOT 115477 SOS 93226 HAS SOPS 93138 HAS SOUS 60850 HAS SOUPS 60762 WITH SCORE 60855.226
AT ITER 171 NEW BEST:: SOT 115482 SOS 93251 HAS SOPS 93163 HAS SOUS 60847 HAS SOUPS 60759 WITH SCORE 60852.251
AT ITER 181 NEW BEST:: SOT 115389 SOS 93009 HAS SOPS 92921 HAS SOUS 60788 HAS SOUPS 60700 WITH SCORE 60793.009
AT ITER 186 NEW BEST:: SOT 115389 SOS 92904 HAS SOPS 92816 HAS SOUS 60683 HAS SOUPS 60595 WITH SCORE 60687.904
AT ITER 188 NEW BEST:: SOT 115168 SOS 92683 HAS SOPS 92595 HAS SOUS 60510 HAS SOUPS 60422 WITH SCORE 60514.683
AT ITER 194 NEW BEST:: SOT 114574 SOS 92824 HAS SOPS 92736 HAS SOUS 60263 HAS SOUPS 60175 WITH SCORE 60267.824
AT ITER 197 NEW BEST:: SOT 114799 SOS 92443 HAS SOPS 92019 HAS SOUS 60341 HAS SOUPS 59917 WITH SCORE 60009.443
AT ITER 199 NEW BEST:: SOT 114799 SOS 92336 HAS SOPS 91912 HAS SOUS 60339 HAS SOUPS 59915 WITH SCORE 60007.336
AT ITER 201 NEW BEST:: SOT 114790 SOS 92282 HAS SOPS 91858 HAS SOUS 60321 HAS SOUPS 59897 WITH SCORE 59989.282
AT ITER 202 NEW BEST:: SOT 114790 SOS 92282 HAS SOPS 91858 HAS SOUS 60317 HAS SOUPS 59893 WITH SCORE 59985.282
AT ITER 206 NEW BEST:: SOT 114790 SOS 92118 HAS SOPS 91694 HAS SOUS 60317 HAS SOUPS 59893 WITH SCORE 59985.118
AT ITER 211 NEW BEST:: SOT 114782 SOS 92102 HAS SOPS 91678 HAS SOUS 60317 HAS SOUPS 59893 WITH SCORE 59985.102
AT ITER 217 NEW BEST:: SOT 114748 SOS 92068 HAS SOPS 91644 HAS SOUS 60283 HAS SOUPS 59859 WITH SCORE 59951.068
AT ITER 224 NEW BEST:: SOT 114748 SOS 91398 HAS SOPS 90974 HAS SOUS 60248 HAS SOUPS 59824 WITH SCORE 59915.398
AT ITER 226 NEW BEST:: SOT 114700 SOS 91331 HAS SOPS 90907 HAS SOUS 60149 HAS SOUPS 59725 WITH SCORE 59816.331
AT ITER 228 NEW BEST:: SOT 114913 SOS 91412 HAS SOPS 90988 HAS SOUS 60028 HAS SOUPS 59604 WITH SCORE 59695.412
AT ITER 237 NEW BEST:: SOT 114853 SOS 91352 HAS SOPS 90928 HAS SOUS 59987 HAS SOUPS 59563 WITH SCORE 59654.352
AT ITER 238 NEW BEST:: SOT 114785 SOS 90846 HAS SOPS 90422 HAS SOUS 59898 HAS SOUPS 59474 WITH SCORE 59564.846
AT ITER 241 NEW BEST:: SOT 114529 SOS 90827 HAS SOPS 90403 HAS SOUS 59875 HAS SOUPS 59451 WITH SCORE 59541.827
AT ITER 242 NEW BEST:: SOT 114510 SOS 90808 HAS SOPS 90384 HAS SOUS 59854 HAS SOUPS 59430 WITH SCORE 59520.808
AT ITER 247 NEW BEST:: SOT 114365 SOS 90663 HAS SOPS 90239 HAS SOUS 59765 HAS SOUPS 59341 WITH SCORE 59431.663
AT ITER 249 NEW BEST:: SOT 114310 SOS 90290 HAS SOPS 89866 HAS SOUS 59755 HAS SOUPS 59331 WITH SCORE 59421.29
AT ITER 252 NEW BEST:: SOT 114310 SOS 90279 HAS SOPS 89855 HAS SOUS 59748 HAS SOUPS 59324 WITH SCORE 59414.279
AT ITER 257 NEW BEST:: SOT 113929 SOS 90015 HAS SOPS 89591 HAS SOUS 59608 HAS SOUPS 59184 WITH SCORE 59274.015
AT ITER 260 NEW BEST:: SOT 113575 SOS 89786 HAS SOPS 89362 HAS SOUS 59558 HAS SOUPS 59134 WITH SCORE 59223.786
AT ITER 267 NEW BEST:: SOT 113657 SOS 90250 HAS SOPS 89826 HAS SOUS 59384 HAS SOUPS 58960 WITH SCORE 59050.25
AT ITER 269 NEW BEST:: SOT 113268 SOS 89837 HAS SOPS 89413 HAS SOUS 59034 HAS SOUPS 58610 WITH SCORE 58699.837
AT ITER 270 NEW BEST:: SOT 113268 SOS 89769 HAS SOPS 89345 HAS SOUS 59034 HAS SOUPS 58610 WITH SCORE 58699.769
AT ITER 276 NEW BEST:: SOT 112658 SOS 89129 HAS SOPS 88705 HAS SOUS 58329 HAS SOUPS 57905 WITH SCORE 57994.129
AT ITER 279 NEW BEST:: SOT 112494 SOS 88875 HAS SOPS 88451 HAS SOUS 58160 HAS SOUPS 57736 WITH SCORE 57824.875
AT ITER 285 NEW BEST:: SOT 112503 SOS 88795 HAS SOPS 88371 HAS SOUS 58150 HAS SOUPS 57726 WITH SCORE 57814.795
AT ITER 286 NEW BEST:: SOT 111664 SOS 88028 HAS SOPS 87604 HAS SOUS 57542 HAS SOUPS 57118 WITH SCORE 57206.028
AT ITER 289 NEW BEST:: SOT 111691 SOS 88261 HAS SOPS 87837 HAS SOUS 57531 HAS SOUPS 57107 WITH SCORE 57195.261
AT ITER 290 NEW BEST:: SOT 111691 SOS 88260 HAS SOPS 87836 HAS SOUS 57531 HAS SOUPS 57107 WITH SCORE 57195.26
AT ITER 291 NEW BEST:: SOT 111691 SOS 88360 HAS SOPS 87936 HAS SOUS 57519 HAS SOUPS 57095 WITH SCORE 57183.36
AT ITER 295 NEW BEST:: SOT 111546 SOS 88295 HAS SOPS 87871 HAS SOUS 57446 HAS SOUPS 57022 WITH SCORE 57110.295
AT ITER 303 NEW BEST:: SOT 111546 SOS 88196 HAS SOPS 87735 HAS SOUS 57483 HAS SOUPS 57022 WITH SCORE 57110.196
AT ITER 307 NEW BEST:: SOT 111490 SOS 88140 HAS SOPS 87679 HAS SOUS 57427 HAS SOUPS 56966 WITH SCORE 57054.14
AT ITER 310 NEW BEST:: SOT 111497 SOS 88133 HAS SOPS 87672 HAS SOUS 57420 HAS SOUPS 56959 WITH SCORE 57047.133
AT ITER 311 NEW BEST:: SOT 111497 SOS 88094 HAS SOPS 87633 HAS SOUS 57414 HAS SOUPS 56953 WITH SCORE 57041.094
AT ITER 317 NEW BEST:: SOT 111368 SOS 87891 HAS SOPS 87430 HAS SOUS 57380 HAS SOUPS 56919 WITH SCORE 57006.891
AT ITER 319 NEW BEST:: SOT 111137 SOS 87660 HAS SOPS 87199 HAS SOUS 57149 HAS SOUPS 56688 WITH SCORE 56775.66
AT ITER 322 NEW BEST:: SOT 111061 SOS 87584 HAS SOPS 87123 HAS SOUS 56955 HAS SOUPS 56494 WITH SCORE 56581.584
AT ITER 323 NEW BEST:: SOT 110994 SOS 87517 HAS SOPS 87056 HAS SOUS 56810 HAS SOUPS 56349 WITH SCORE 56436.517
AT ITER 324 NEW BEST:: SOT 111068 SOS 87447 HAS SOPS 86986 HAS SOUS 56796 HAS SOUPS 56335 WITH SCORE 56422.447
AT ITER 328 NEW BEST:: SOT 111068 SOS 87229 HAS SOPS 86768 HAS SOUS 56675 HAS SOUPS 56214 WITH SCORE 56301.229
AT ITER 330 NEW BEST:: SOT 111068 SOS 87229 HAS SOPS 86768 HAS SOUS 56497 HAS SOUPS 56036 WITH SCORE 56123.229
AT ITER 334 NEW BEST:: SOT 111058 SOS 87219 HAS SOPS 86758 HAS SOUS 56487 HAS SOUPS 56026 WITH SCORE 56113.219
AT ITER 335 NEW BEST:: SOT 111058 SOS 87201 HAS SOPS 86740 HAS SOUS 56487 HAS SOUPS 56026 WITH SCORE 56113.201
AT ITER 338 NEW BEST:: SOT 111058 SOS 87157 HAS SOPS 86696 HAS SOUS 56487 HAS SOUPS 56026 WITH SCORE 56113.157
AT ITER 339 NEW BEST:: SOT 110943 SOS 87040 HAS SOPS 86579 HAS SOUS 56368 HAS SOUPS 55907 WITH SCORE 55994.04
AT ITER 341 NEW BEST:: SOT 110199 SOS 86502 HAS SOPS 86041 HAS SOUS 55823 HAS SOUPS 55362 WITH SCORE 55448.502
AT ITER 346 NEW BEST:: SOT 110039 SOS 86311 HAS SOPS 85850 HAS SOUS 55663 HAS SOUPS 55202 WITH SCORE 55288.311
AT ITER 351 NEW BEST:: SOT 109964 SOS 86212 HAS SOPS 85751 HAS SOUS 55588 HAS SOUPS 55127 WITH SCORE 55213.212
AT ITER 355 NEW BEST:: SOT 109925 SOS 86173 HAS SOPS 85712 HAS SOUS 55495 HAS SOUPS 55034 WITH SCORE 55120.173
AT ITER 357 NEW BEST:: SOT 109842 SOS 86042 HAS SOPS 85581 HAS SOUS 55494 HAS SOUPS 55033 WITH SCORE 55119.042
AT ITER 358 NEW BEST:: SOT 109843 SOS 86043 HAS SOPS 85582 HAS SOUS 55491 HAS SOUPS 55030 WITH SCORE 55116.043
AT ITER 361 NEW BEST:: SOT 109235 SOS 85435 HAS SOPS 84974 HAS SOUS 54985 HAS SOUPS 54524 WITH SCORE 54609.435
AT ITER 365 NEW BEST:: SOT 109198 SOS 85398 HAS SOPS 84937 HAS SOUS 54946 HAS SOUPS 54485 WITH SCORE 54570.398
AT ITER 370 NEW BEST:: SOT 108780 SOS 84997 HAS SOPS 84536 HAS SOUS 54493 HAS SOUPS 54032 WITH SCORE 54116.997
AT ITER 371 NEW BEST:: SOT 108033 SOS 84171 HAS SOPS 83710 HAS SOUS 53705 HAS SOUPS 53244 WITH SCORE 53328.171
AT ITER 375 NEW BEST:: SOT 108032 SOS 84170 HAS SOPS 83709 HAS SOUS 53704 HAS SOUPS 53243 WITH SCORE 53327.17
AT ITER 382 NEW BEST:: SOT 108056 SOS 84077 HAS SOPS 83616 HAS SOUS 53650 HAS SOUPS 53189 WITH SCORE 53273.077
AT ITER 383 NEW BEST:: SOT 108042 SOS 84063 HAS SOPS 83602 HAS SOUS 53636 HAS SOUPS 53175 WITH SCORE 53259.063
AT ITER 384 NEW BEST:: SOT 108079 SOS 84322 HAS SOPS 83861 HAS SOUS 53611 HAS SOUPS 53150 WITH SCORE 53234.322
AT ITER 390 NEW BEST:: SOT 108076 SOS 84319 HAS SOPS 83858 HAS SOUS 53608 HAS SOUPS 53147 WITH SCORE 53231.319
AT ITER 393 NEW BEST:: SOT 108076 SOS 84319 HAS SOPS 83858 HAS SOUS 53604 HAS SOUPS 53143 WITH SCORE 53227.319
AT ITER 401 NEW BEST:: SOT 107906 SOS 84149 HAS SOPS 83688 HAS SOUS 53604 HAS SOUPS 53143 WITH SCORE 53227.149
AT ITER 407 NEW BEST:: SOT 107893 SOS 84136 HAS SOPS 83675 HAS SOUS 53591 HAS SOUPS 53130 WITH SCORE 53214.136
AT ITER 412 NEW BEST:: SOT 107815 SOS 84058 HAS SOPS 83597 HAS SOUS 53557 HAS SOUPS 53096 WITH SCORE 53180.058
AT ITER 418 NEW BEST:: SOT 107229 SOS 83472 HAS SOPS 83011 HAS SOUS 52971 HAS SOUPS 52510 WITH SCORE 52593.472
AT ITER 419 NEW BEST:: SOT 107235 SOS 83100 HAS SOPS 82616 HAS SOUS 52977 HAS SOUPS 52504 WITH SCORE 52587.1
AT ITER 423 NEW BEST:: SOT 107219 SOS 83084 HAS SOPS 82600 HAS SOUS 52976 HAS SOUPS 52503 WITH SCORE 52586.084
AT ITER 431 NEW BEST:: SOT 107211 SOS 83076 HAS SOPS 82592 HAS SOUS 52968 HAS SOUPS 52495 WITH SCORE 52578.076
AT ITER 447 NEW BEST:: SOT 107317 SOS 83351 HAS SOPS 82867 HAS SOUS 52929 HAS SOUPS 52456 WITH SCORE 52539.351
AT ITER 451 NEW BEST:: SOT 107137 SOS 83171 HAS SOPS 82687 HAS SOUS 52779 HAS SOUPS 52306 WITH SCORE 52389.171
AT ITER 452 NEW BEST:: SOT 107137 SOS 82967 HAS SOPS 82445 HAS SOUS 52798 HAS SOUPS 52306 WITH SCORE 52388.967
AT ITER 453 NEW BEST:: SOT 106965 SOS 82795 HAS SOPS 82273 HAS SOUS 52626 HAS SOUPS 52134 WITH SCORE 52216.795
AT ITER 456 NEW BEST:: SOT 106812 SOS 82706 HAS SOPS 82184 HAS SOUS 52610 HAS SOUPS 52118 WITH SCORE 52200.706
AT ITER 459 NEW BEST:: SOT 106812 SOS 82622 HAS SOPS 82100 HAS SOUS 52573 HAS SOUPS 52081 WITH SCORE 52163.622
AT ITER 460 NEW BEST:: SOT 106879 SOS 82354 HAS SOPS 81832 HAS SOUS 52497 HAS SOUPS 52005 WITH SCORE 52087.354
AT ITER 463 NEW BEST:: SOT 106817 SOS 82265 HAS SOPS 81743 HAS SOUS 52435 HAS SOUPS 51943 WITH SCORE 52025.265
AT ITER 467 NEW BEST:: SOT 106773 SOS 82019 HAS SOPS 81497 HAS SOUS 52391 HAS SOUPS 51899 WITH SCORE 51981.019
AT ITER 469 NEW BEST:: SOT 106824 SOS 81496 HAS SOPS 80811 HAS SOUS 52291 HAS SOUPS 51680 WITH SCORE 51761.496
AT ITER 475 NEW BEST:: SOT 106824 SOS 81488 HAS SOPS 80803 HAS SOUS 52291 HAS SOUPS 51680 WITH SCORE 51761.488
AT ITER 477 NEW BEST:: SOT 106772 SOS 81436 HAS SOPS 80751 HAS SOUS 52291 HAS SOUPS 51680 WITH SCORE 51761.436
AT ITER 479 NEW BEST:: SOT 106747 SOS 81411 HAS SOPS 80726 HAS SOUS 52265 HAS SOUPS 51654 WITH SCORE 51735.411
AT ITER 480 NEW BEST:: SOT 106746 SOS 81410 HAS SOPS 80725 HAS SOUS 52264 HAS SOUPS 51653 WITH SCORE 51734.41
AT ITER 481 NEW BEST:: SOT 106706 SOS 81370 HAS SOPS 80685 HAS SOUS 52264 HAS SOUPS 51653 WITH SCORE 51734.37
AT ITER 485 NEW BEST:: SOT 106688 SOS 81334 HAS SOPS 80649 HAS SOUS 52115 HAS SOUPS 51504 WITH SCORE 51585.334
AT ITER 486 NEW BEST:: SOT 106632 SOS 81278 HAS SOPS 80593 HAS SOUS 52036 HAS SOUPS 51425 WITH SCORE 51506.278
AT ITER 488 NEW BEST:: SOT 106481 SOS 81127 HAS SOPS 80442 HAS SOUS 51877 HAS SOUPS 51266 WITH SCORE 51347.127
AT ITER 489 NEW BEST:: SOT 105949 SOS 80595 HAS SOPS 79910 HAS SOUS 51422 HAS SOUPS 50811 WITH SCORE 50891.595
AT ITER 491 NEW BEST:: SOT 105913 SOS 80487 HAS SOPS 79802 HAS SOUS 51422 HAS SOUPS 50811 WITH SCORE 50891.487
AT ITER 493 NEW BEST:: SOT 105867 SOS 80478 HAS SOPS 79793 HAS SOUS 51367 HAS SOUPS 50756 WITH SCORE 50836.478
AT ITER 494 NEW BEST:: SOT 105680 SOS 80308 HAS SOPS 79623 HAS SOUS 50877 HAS SOUPS 50266 WITH SCORE 50346.308
AT ITER 496 NEW BEST:: SOT 105665 SOS 80269 HAS SOPS 79584 HAS SOUS 50869 HAS SOUPS 50258 WITH SCORE 50338.269
AT ITER 497 NEW BEST:: SOT 105637 SOS 80121 HAS SOPS 79436 HAS SOUS 50662 HAS SOUPS 50051 WITH SCORE 50131.121
AT ITER 500 NEW BEST:: SOT 105312 SOS 79845 HAS SOPS 79160 HAS SOUS 50141 HAS SOUPS 49530 WITH SCORE 49609.845
AT ITER 502 NEW BEST:: SOT 105256 SOS 79779 HAS SOPS 79094 HAS SOUS 50075 HAS SOUPS 49464 WITH SCORE 49543.779
AT ITER 503 NEW BEST:: SOT 104664 SOS 79187 HAS SOPS 78502 HAS SOUS 49604 HAS SOUPS 48993 WITH SCORE 49072.187
AT ITER 511 NEW BEST:: SOT 104505 SOS 79028 HAS SOPS 78343 HAS SOUS 49470 HAS SOUPS 48859 WITH SCORE 48938.028
AT ITER 513 NEW BEST:: SOT 104489 SOS 79012 HAS SOPS 78327 HAS SOUS 49438 HAS SOUPS 48827 WITH SCORE 48906.012
AT ITER 517 NEW BEST:: SOT 104372 SOS 78895 HAS SOPS 78210 HAS SOUS 49313 HAS SOUPS 48702 WITH SCORE 48780.895
AT ITER 518 NEW BEST:: SOT 104351 SOS 78874 HAS SOPS 78189 HAS SOUS 49292 HAS SOUPS 48681 WITH SCORE 48759.874
AT ITER 520 NEW BEST:: SOT 104341 SOS 78864 HAS SOPS 78179 HAS SOUS 49282 HAS SOUPS 48671 WITH SCORE 48749.864
AT ITER 526 NEW BEST:: SOT 104469 SOS 79029 HAS SOPS 78344 HAS SOUS 49279 HAS SOUPS 48668 WITH SCORE 48747.029
AT ITER 536 NEW BEST:: SOT 104469 SOS 78992 HAS SOPS 78307 HAS SOUS 49279 HAS SOUPS 48668 WITH SCORE 48746.992
AT ITER 539 NEW BEST:: SOT 104465 SOS 78988 HAS SOPS 78303 HAS SOUS 49275 HAS SOUPS 48664 WITH SCORE 48742.988
AT ITER 540 NEW BEST:: SOT 104426 SOS 78949 HAS SOPS 78264 HAS SOUS 49236 HAS SOUPS 48625 WITH SCORE 48703.949
AT ITER 569 NEW BEST:: SOT 104449 SOS 79002 HAS SOPS 78317 HAS SOUS 49229 HAS SOUPS 48618 WITH SCORE 48697.002
AT ITER 572 NEW BEST:: SOT 103928 SOS 77766 HAS SOPS 77081 HAS SOUS 48786 HAS SOUPS 48175 WITH SCORE 48252.766
AT ITER 573 NEW BEST:: SOT 103790 SOS 77628 HAS SOPS 76943 HAS SOUS 48602 HAS SOUPS 47991 WITH SCORE 48068.628
AT ITER 576 NEW BEST:: SOT 103739 SOS 77395 HAS SOPS 76710 HAS SOUS 48503 HAS SOUPS 47892 WITH SCORE 47969.395
AT ITER 579 NEW BEST:: SOT 103739 SOS 77456 HAS SOPS 76771 HAS SOUS 48413 HAS SOUPS 47802 WITH SCORE 47879.456
AT ITER 586 NEW BEST:: SOT 103492 SOS 77341 HAS SOPS 76656 HAS SOUS 47991 HAS SOUPS 47380 WITH SCORE 47457.341
AT ITER 599 NEW BEST:: SOT 103494 SOS 77343 HAS SOPS 76658 HAS SOUS 47989 HAS SOUPS 47378 WITH SCORE 47455.343
AT ITER 602 NEW BEST:: SOT 103545 SOS 77134 HAS SOPS 76398 HAS SOUS 47964 HAS SOUPS 47302 WITH SCORE 47379.134
AT ITER 603 NEW BEST:: SOT 103501 SOS 77063 HAS SOPS 76327 HAS SOUS 47893 HAS SOUPS 47231 WITH SCORE 47308.063
AT ITER 606 NEW BEST:: SOT 103263 SOS 76795 HAS SOPS 76059 HAS SOUS 47876 HAS SOUPS 47214 WITH SCORE 47290.795
AT ITER 608 NEW BEST:: SOT 103225 SOS 76757 HAS SOPS 76021 HAS SOUS 47876 HAS SOUPS 47214 WITH SCORE 47290.757
AT ITER 616 NEW BEST:: SOT 103225 SOS 76757 HAS SOPS 76021 HAS SOUS 47738 HAS SOUPS 47076 WITH SCORE 47152.757
AT ITER 618 NEW BEST:: SOT 103209 SOS 75878 HAS SOPS 75142 HAS SOUS 47722 HAS SOUPS 47060 WITH SCORE 47135.878
AT ITER 622 NEW BEST:: SOT 103209 SOS 75878 HAS SOPS 75142 HAS SOUS 47676 HAS SOUPS 47014 WITH SCORE 47089.878
AT ITER 627 NEW BEST:: SOT 102750 SOS 75509 HAS SOPS 74683 HAS SOUS 47429 HAS SOUPS 46677 WITH SCORE 46752.509
AT ITER 628 NEW BEST:: SOT 102341 SOS 75127 HAS SOPS 74334 HAS SOUS 47066 HAS SOUPS 46347 WITH SCORE 46422.127
AT ITER 643 NEW BEST:: SOT 102372 SOS 75189 HAS SOPS 74396 HAS SOUS 47065 HAS SOUPS 46346 WITH SCORE 46421.189
AT ITER 645 NEW BEST:: SOT 102270 SOS 75053 HAS SOPS 74260 HAS SOUS 46929 HAS SOUPS 46210 WITH SCORE 46285.053
AT ITER 646 NEW BEST:: SOT 102312 SOS 75072 HAS SOPS 74279 HAS SOUS 46921 HAS SOUPS 46202 WITH SCORE 46277.072
AT ITER 647 NEW BEST:: SOT 102050 SOS 74548 HAS SOPS 73755 HAS SOUS 46790 HAS SOUPS 46071 WITH SCORE 46145.548
AT ITER 653 NEW BEST:: SOT 102110 SOS 74688 HAS SOPS 73895 HAS SOUS 46771 HAS SOUPS 46052 WITH SCORE 46126.688
AT ITER 654 NEW BEST:: SOT 102107 SOS 74581 HAS SOPS 73788 HAS SOUS 46768 HAS SOUPS 46049 WITH SCORE 46123.581
AT ITER 662 NEW BEST:: SOT 101377 SOS 74385 HAS SOPS 73592 HAS SOUS 46038 HAS SOUPS 45319 WITH SCORE 45393.385
AT ITER 663 NEW BEST:: SOT 101501 SOS 74509 HAS SOPS 73716 HAS SOUS 46021 HAS SOUPS 45302 WITH SCORE 45376.509
AT ITER 669 NEW BEST:: SOT 101571 SOS 74579 HAS SOPS 73786 HAS SOUS 45917 HAS SOUPS 45198 WITH SCORE 45272.579
AT ITER 677 NEW BEST:: SOT 101569 SOS 74776 HAS SOPS 74062 HAS SOUS 45833 HAS SOUPS 45193 WITH SCORE 45267.776
AT ITER 684 NEW BEST:: SOT 101509 SOS 74716 HAS SOPS 74002 HAS SOUS 45731 HAS SOUPS 45091 WITH SCORE 45165.716
AT ITER 686 NEW BEST:: SOT 101509 SOS 74592 HAS SOPS 73847 HAS SOUS 45755 HAS SOUPS 45084 WITH SCORE 45158.592
AT ITER 688 NEW BEST:: SOT 101527 SOS 74396 HAS SOPS 73651 HAS SOUS 45559 HAS SOUPS 44888 WITH SCORE 44962.396
AT ITER 690 NEW BEST:: SOT 101468 SOS 74300 HAS SOPS 73555 HAS SOUS 45541 HAS SOUPS 44870 WITH SCORE 44944.3
AT ITER 692 NEW BEST:: SOT 101314 SOS 74110 HAS SOPS 73442 HAS SOUS 45429 HAS SOUPS 44835 WITH SCORE 44909.11
AT ITER 695 NEW BEST:: SOT 101077 SOS 73512 HAS SOPS 72844 HAS SOUS 45049 HAS SOUPS 44455 WITH SCORE 44528.512
AT ITER 699 NEW BEST:: SOT 100848 SOS 73177 HAS SOPS 72615 HAS SOUS 44923 HAS SOUPS 44435 WITH SCORE 44508.177
AT ITER 702 NEW BEST:: SOT 100843 SOS 72701 HAS SOPS 72139 HAS SOUS 44882 HAS SOUPS 44394 WITH SCORE 44466.701
AT ITER 704 NEW BEST:: SOT 100892 SOS 72687 HAS SOPS 72074 HAS SOUS 44887 HAS SOUPS 44348 WITH SCORE 44420.687
AT ITER 706 NEW BEST:: SOT 100895 SOS 72690 HAS SOPS 72077 HAS SOUS 44744 HAS SOUPS 44205 WITH SCORE 44277.69
AT ITER 714 NEW BEST:: SOT 100920 SOS 72620 HAS SOPS 72038 HAS SOUS 44453 HAS SOUPS 43945 WITH SCORE 44017.62
AT ITER 717 NEW BEST:: SOT 100920 SOS 72637 HAS SOPS 72055 HAS SOUS 44452 HAS SOUPS 43944 WITH SCORE 44016.637
AT ITER 718 NEW BEST:: SOT 100840 SOS 72492 HAS SOPS 71910 HAS SOUS 44318 HAS SOUPS 43810 WITH SCORE 43882.492
AT ITER 725 NEW BEST:: SOT 100787 SOS 72439 HAS SOPS 71857 HAS SOUS 44299 HAS SOUPS 43791 WITH SCORE 43863.439
AT ITER 729 NEW BEST:: SOT 100540 SOS 71960 HAS SOPS 71183 HAS SOUS 44303 HAS SOUPS 43675 WITH SCORE 43746.96
AT ITER 731 NEW BEST:: SOT 100355 SOS 71778 HAS SOPS 71001 HAS SOUS 44185 HAS SOUPS 43557 WITH SCORE 43628.778
AT ITER 744 NEW BEST:: SOT 100195 SOS 71581 HAS SOPS 70804 HAS SOUS 43954 HAS SOUPS 43326 WITH SCORE 43397.581
AT ITER 746 NEW BEST:: SOT 100195 SOS 71581 HAS SOPS 70804 HAS SOUS 43947 HAS SOUPS 43319 WITH SCORE 43390.581
AT ITER 753 NEW BEST:: SOT 100195 SOS 71581 HAS SOPS 70804 HAS SOUS 43887 HAS SOUPS 43259 WITH SCORE 43330.581
AT ITER 756 NEW BEST:: SOT 100158 SOS 71544 HAS SOPS 70767 HAS SOUS 43850 HAS SOUPS 43222 WITH SCORE 43293.544
AT ITER 762 NEW BEST:: SOT 100061 SOS 71447 HAS SOPS 70670 HAS SOUS 43597 HAS SOUPS 42969 WITH SCORE 43040.447
AT ITER 763 NEW BEST:: SOT 99730 SOS 71419 HAS SOPS 70642 HAS SOUS 43489 HAS SOUPS 42861 WITH SCORE 42932.419
AT ITER 772 NEW BEST:: SOT 99694 SOS 71383 HAS SOPS 70606 HAS SOUS 43467 HAS SOUPS 42839 WITH SCORE 42910.383
AT ITER 775 NEW BEST:: SOT 99612 SOS 71301 HAS SOPS 70524 HAS SOUS 43368 HAS SOUPS 42740 WITH SCORE 42811.301
AT ITER 776 NEW BEST:: SOT 99391 SOS 71126 HAS SOPS 70349 HAS SOUS 43226 HAS SOUPS 42598 WITH SCORE 42669.126
AT ITER 777 NEW BEST:: SOT 99290 SOS 71266 HAS SOPS 70489 HAS SOUS 43100 HAS SOUPS 42472 WITH SCORE 42543.266
AT ITER 781 NEW BEST:: SOT 99290 SOS 71236 HAS SOPS 70459 HAS SOUS 43061 HAS SOUPS 42433 WITH SCORE 42504.236
AT ITER 785 NEW BEST:: SOT 99284 SOS 71230 HAS SOPS 70453 HAS SOUS 43055 HAS SOUPS 42427 WITH SCORE 42498.23
AT ITER 790 NEW BEST:: SOT 99298 SOS 71244 HAS SOPS 70467 HAS SOUS 43013 HAS SOUPS 42385 WITH SCORE 42456.244
AT ITER 792 NEW BEST:: SOT 99269 SOS 71208 HAS SOPS 70431 HAS SOUS 42977 HAS SOUPS 42349 WITH SCORE 42420.208
AT ITER 799 NEW BEST:: SOT 99077 SOS 71016 HAS SOPS 70239 HAS SOUS 42785 HAS SOUPS 42157 WITH SCORE 42228.016
AT ITER 802 NEW BEST:: SOT 99090 SOS 71029 HAS SOPS 70252 HAS SOUS 42772 HAS SOUPS 42144 WITH SCORE 42215.029
AT ITER 804 NEW BEST:: SOT 99083 SOS 71022 HAS SOPS 70245 HAS SOUS 42765 HAS SOUPS 42137 WITH SCORE 42208.022
AT ITER 810 NEW BEST:: SOT 98778 SOS 71208 HAS SOPS 70431 HAS SOUS 42622 HAS SOUPS 41994 WITH SCORE 42065.208
AT ITER 811 NEW BEST:: SOT 98780 SOS 71194 HAS SOPS 70433 HAS SOUS 42593 HAS SOUPS 41981 WITH SCORE 42052.194
AT ITER 812 NEW BEST:: SOT 98744 SOS 71140 HAS SOPS 70379 HAS SOUS 42560 HAS SOUPS 41948 WITH SCORE 42019.14
AT ITER 819 NEW BEST:: SOT 98744 SOS 71131 HAS SOPS 70370 HAS SOUS 42555 HAS SOUPS 41943 WITH SCORE 42014.131
AT ITER 825 NEW BEST:: SOT 98718 SOS 71083 HAS SOPS 70322 HAS SOUS 42545 HAS SOUPS 41933 WITH SCORE 42004.083
AT ITER 830 NEW BEST:: SOT 98648 SOS 70967 HAS SOPS 70206 HAS SOUS 42521 HAS SOUPS 41909 WITH SCORE 41979.967
AT ITER 838 NEW BEST:: SOT 98648 SOS 70967 HAS SOPS 70206 HAS SOUS 42491 HAS SOUPS 41879 WITH SCORE 41949.967
AT ITER 840 NEW BEST:: SOT 98648 SOS 70941 HAS SOPS 70180 HAS SOUS 42491 HAS SOUPS 41879 WITH SCORE 41949.941
AT ITER 844 NEW BEST:: SOT 98515 SOS 70722 HAS SOPS 69961 HAS SOUS 42433 HAS SOUPS 41821 WITH SCORE 41891.722
AT ITER 851 NEW BEST:: SOT 98538 SOS 70682 HAS SOPS 69921 HAS SOUS 42318 HAS SOUPS 41706 WITH SCORE 41776.682
AT ITER 854 NEW BEST:: SOT 98444 SOS 70528 HAS SOPS 69767 HAS SOUS 42178 HAS SOUPS 41566 WITH SCORE 41636.528
AT ITER 857 NEW BEST:: SOT 98414 SOS 70483 HAS SOPS 69722 HAS SOUS 42133 HAS SOUPS 41521 WITH SCORE 41591.483
AT ITER 863 NEW BEST:: SOT 98593 SOS 70343 HAS SOPS 69643 HAS SOUS 41985 HAS SOUPS 41404 WITH SCORE 41474.343
AT ITER 864 NEW BEST:: SOT 98537 SOS 70301 HAS SOPS 69601 HAS SOUS 41943 HAS SOUPS 41362 WITH SCORE 41432.301
AT ITER 866 NEW BEST:: SOT 98470 SOS 70234 HAS SOPS 69534 HAS SOUS 41876 HAS SOUPS 41295 WITH SCORE 41365.234
AT ITER 867 NEW BEST:: SOT 98591 SOS 70378 HAS SOPS 69678 HAS SOUS 41854 HAS SOUPS 41273 WITH SCORE 41343.378
AT ITER 871 NEW BEST:: SOT 98536 SOS 70323 HAS SOPS 69623 HAS SOUS 41799 HAS SOUPS 41218 WITH SCORE 41288.323
AT ITER 874 NEW BEST:: SOT 98536 SOS 70298 HAS SOPS 69598 HAS SOUS 41799 HAS SOUPS 41218 WITH SCORE 41288.298
AT ITER 876 NEW BEST:: SOT 98529 SOS 70291 HAS SOPS 69591 HAS SOUS 41778 HAS SOUPS 41197 WITH SCORE 41267.291
AT ITER 878 NEW BEST:: SOT 98493 SOS 70255 HAS SOPS 69555 HAS SOUS 41707 HAS SOUPS 41126 WITH SCORE 41196.255
AT ITER 887 NEW BEST:: SOT 98492 SOS 70254 HAS SOPS 69554 HAS SOUS 41661 HAS SOUPS 41080 WITH SCORE 41150.254
AT ITER 895 NEW BEST:: SOT 98372 SOS 70134 HAS SOPS 69434 HAS SOUS 41541 HAS SOUPS 40960 WITH SCORE 41030.134
AT ITER 899 NEW BEST:: SOT 98309 SOS 69966 HAS SOPS 69266 HAS SOUS 41520 HAS SOUPS 40939 WITH SCORE 41008.966
AT ITER 901 NEW BEST:: SOT 98291 SOS 69965 HAS SOPS 69265 HAS SOUS 41479 HAS SOUPS 40898 WITH SCORE 40967.965
AT ITER 903 NEW BEST:: SOT 98275 SOS 69945 HAS SOPS 69245 HAS SOUS 41459 HAS SOUPS 40878 WITH SCORE 40947.945
AT ITER 906 NEW BEST:: SOT 98034 SOS 69627 HAS SOPS 68927 HAS SOUS 41346 HAS SOUPS 40765 WITH SCORE 40834.627
AT ITER 914 NEW BEST:: SOT 98034 SOS 69525 HAS SOPS 68825 HAS SOUS 41296 HAS SOUPS 40715 WITH SCORE 40784.525
AT ITER 916 NEW BEST:: SOT 97929 SOS 69415 HAS SOPS 68715 HAS SOUS 41200 HAS SOUPS 40619 WITH SCORE 40688.415
AT ITER 917 NEW BEST:: SOT 97832 SOS 69144 HAS SOPS 68438 HAS SOUS 41191 HAS SOUPS 40604 WITH SCORE 40673.144
AT ITER 919 NEW BEST:: SOT 97723 SOS 68675 HAS SOPS 67969 HAS SOUS 40940 HAS SOUPS 40353 WITH SCORE 40421.675
AT ITER 924 NEW BEST:: SOT 97688 SOS 68570 HAS SOPS 67864 HAS SOUS 40846 HAS SOUPS 40259 WITH SCORE 40327.57
AT ITER 928 NEW BEST:: SOT 97592 SOS 68474 HAS SOPS 67768 HAS SOUS 40790 HAS SOUPS 40203 WITH SCORE 40271.474
AT ITER 936 NEW BEST:: SOT 97516 SOS 68398 HAS SOPS 67692 HAS SOUS 40714 HAS SOUPS 40127 WITH SCORE 40195.398
AT ITER 939 NEW BEST:: SOT 97617 SOS 68506 HAS SOPS 67793 HAS SOUS 40624 HAS SOUPS 40030 WITH SCORE 40098.506
AT ITER 944 NEW BEST:: SOT 97373 SOS 68262 HAS SOPS 67549 HAS SOUS 40380 HAS SOUPS 39786 WITH SCORE 39854.262
AT ITER 949 NEW BEST:: SOT 97395 SOS 68234 HAS SOPS 67521 HAS SOUS 40342 HAS SOUPS 39748 WITH SCORE 39816.234
AT ITER 955 NEW BEST:: SOT 97395 SOS 68148 HAS SOPS 67435 HAS SOUS 40328 HAS SOUPS 39734 WITH SCORE 39802.148
AT ITER 957 NEW BEST:: SOT 97409 SOS 68144 HAS SOPS 67449 HAS SOUS 40265 HAS SOUPS 39689 WITH SCORE 39757.144
AT ITER 958 NEW BEST:: SOT 97291 SOS 68615 HAS SOPS 67920 HAS SOUS 40106 HAS SOUPS 39530 WITH SCORE 39598.615
AT ITER 972 NEW BEST:: SOT 97375 SOS 68261 HAS SOPS 67566 HAS SOUS 39825 HAS SOUPS 39249 WITH SCORE 39317.261
AT ITER 974 NEW BEST:: SOT 97301 SOS 68187 HAS SOPS 67492 HAS SOUS 39771 HAS SOUPS 39195 WITH SCORE 39263.187
AT ITER 981 NEW BEST:: SOT 97309 SOS 68054 HAS SOPS 67390 HAS SOUS 39670 HAS SOUPS 39125 WITH SCORE 39193.054
AT ITER 985 NEW BEST:: SOT 97309 SOS 67945 HAS SOPS 67281 HAS SOUS 39670 HAS SOUPS 39125 WITH SCORE 39192.945
AT ITER 987 NEW BEST:: SOT 97297 SOS 67933 HAS SOPS 67269 HAS SOUS 39657 HAS SOUPS 39112 WITH SCORE 39179.933
AT ITER 992 NEW BEST:: SOT 96991 SOS 67611 HAS SOPS 66947 HAS SOUS 39439 HAS SOUPS 38894 WITH SCORE 38961.611
AT ITER 995 NEW BEST:: SOT 96991 SOS 67611 HAS SOPS 66947 HAS SOUS 39369 HAS SOUPS 38824 WITH SCORE 38891.611
AT ITER 1002 NEW BEST:: SOT 96991 SOS 67246 HAS SOPS 66575 HAS SOUS 39288 HAS SOUPS 38743 WITH SCORE 38810.246
AT ITER 1010 NEW BEST:: SOT 96962 SOS 67246 HAS SOPS 66546 HAS SOUS 39288 HAS SOUPS 38714 WITH SCORE 38781.246
AT ITER 1013 NEW BEST:: SOT 96916 SOS 67200 HAS SOPS 66500 HAS SOUS 39242 HAS SOUPS 38668 WITH SCORE 38735.2
AT ITER 1019 NEW BEST:: SOT 97132 SOS 67387 HAS SOPS 66687 HAS SOUS 39129 HAS SOUPS 38555 WITH SCORE 38622.387
AT ITER 1028 NEW BEST:: SOT 97082 SOS 67337 HAS SOPS 66637 HAS SOUS 39079 HAS SOUPS 38505 WITH SCORE 38572.337
AT ITER 1032 NEW BEST:: SOT 97143 SOS 67353 HAS SOPS 66698 HAS SOUS 38986 HAS SOUPS 38457 WITH SCORE 38524.353
AT ITER 1035 NEW BEST:: SOT 97143 SOS 67329 HAS SOPS 66674 HAS SOUS 38981 HAS SOUPS 38452 WITH SCORE 38519.329
AT ITER 1048 NEW BEST:: SOT 97141 SOS 67374 HAS SOPS 66637 HAS SOUS 39019 HAS SOUPS 38449 WITH SCORE 38516.374
AT ITER 1050 NEW BEST:: SOT 97087 SOS 67342 HAS SOPS 66605 HAS SOUS 38994 HAS SOUPS 38424 WITH SCORE 38491.342
AT ITER 1054 NEW BEST:: SOT 97031 SOS 67286 HAS SOPS 66549 HAS SOUS 38938 HAS SOUPS 38368 WITH SCORE 38435.286
AT ITER 1074 NEW BEST:: SOT 96964 SOS 67219 HAS SOPS 66482 HAS SOUS 38887 HAS SOUPS 38317 WITH SCORE 38384.219
AT ITER 1077 NEW BEST:: SOT 97002 SOS 67441 HAS SOPS 66704 HAS SOUS 38851 HAS SOUPS 38281 WITH SCORE 38348.441
AT ITER 1085 NEW BEST:: SOT 96989 SOS 67363 HAS SOPS 66626 HAS SOUS 38824 HAS SOUPS 38254 WITH SCORE 38321.363
AT ITER 1094 NEW BEST:: SOT 96987 SOS 67361 HAS SOPS 66624 HAS SOUS 38822 HAS SOUPS 38252 WITH SCORE 38319.361
AT ITER 1105 NEW BEST:: SOT 96981 SOS 67355 HAS SOPS 66618 HAS SOUS 38816 HAS SOUPS 38246 WITH SCORE 38313.355
AT ITER 1106 NEW BEST:: SOT 97040 SOS 67414 HAS SOPS 66677 HAS SOUS 38793 HAS SOUPS 38223 WITH SCORE 38290.414
AT ITER 1111 NEW BEST:: SOT 96983 SOS 67357 HAS SOPS 66620 HAS SOUS 38711 HAS SOUPS 38141 WITH SCORE 38208.357
AT ITER 1122 NEW BEST:: SOT 96994 SOS 67227 HAS SOPS 66490 HAS SOUS 38687 HAS SOUPS 38117 WITH SCORE 38184.227
AT ITER 1134 NEW BEST:: SOT 96955 SOS 67181 HAS SOPS 66444 HAS SOUS 38648 HAS SOUPS 38078 WITH SCORE 38145.181
AT ITER 1137 NEW BEST:: SOT 96937 SOS 67153 HAS SOPS 66416 HAS SOUS 38638 HAS SOUPS 38068 WITH SCORE 38135.153
AT ITER 1138 NEW BEST:: SOT 97159 SOS 67375 HAS SOPS 66638 HAS SOUS 38617 HAS SOUPS 38047 WITH SCORE 38114.375
AT ITER 1142 NEW BEST:: SOT 97103 SOS 67319 HAS SOPS 66582 HAS SOUS 38590 HAS SOUPS 38020 WITH SCORE 38087.319
AT ITER 1148 NEW BEST:: SOT 97157 SOS 66652 HAS SOPS 65915 HAS SOUS 38582 HAS SOUPS 38012 WITH SCORE 38078.652
AT ITER 1157 NEW BEST:: SOT 96944 SOS 66351 HAS SOPS 65614 HAS SOUS 38236 HAS SOUPS 37666 WITH SCORE 37732.351
AT ITER 1159 NEW BEST:: SOT 96944 SOS 66335 HAS SOPS 65598 HAS SOUS 38215 HAS SOUPS 37645 WITH SCORE 37711.335
AT ITER 1176 NEW BEST:: SOT 96802 SOS 66187 HAS SOPS 65456 HAS SOUS 37993 HAS SOUPS 37429 WITH SCORE 37495.187
AT ITER 1183 NEW BEST:: SOT 96657 SOS 66042 HAS SOPS 65311 HAS SOUS 37848 HAS SOUPS 37284 WITH SCORE 37350.042
AT ITER 1186 NEW BEST:: SOT 96636 SOS 66021 HAS SOPS 65290 HAS SOUS 37848 HAS SOUPS 37284 WITH SCORE 37350.021
AT ITER 1196 NEW BEST:: SOT 96636 SOS 65998 HAS SOPS 65267 HAS SOUS 37833 HAS SOUPS 37269 WITH SCORE 37334.998
AT ITER 1199 NEW BEST:: SOT 96577 SOS 65939 HAS SOPS 65208 HAS SOUS 37768 HAS SOUPS 37204 WITH SCORE 37269.939
AT ITER 1207 NEW BEST:: SOT 96513 SOS 65926 HAS SOPS 65195 HAS SOUS 37742 HAS SOUPS 37178 WITH SCORE 37243.926
AT ITER 1209 NEW BEST:: SOT 96612 SOS 65678 HAS SOPS 64865 HAS SOUS 37822 HAS SOUPS 37176 WITH SCORE 37241.678
AT ITER 1220 NEW BEST:: SOT 96656 SOS 65711 HAS SOPS 64898 HAS SOUS 37809 HAS SOUPS 37163 WITH SCORE 37228.711
AT ITER 1221 NEW BEST:: SOT 96786 SOS 65841 HAS SOPS 65028 HAS SOUS 37709 HAS SOUPS 37063 WITH SCORE 37128.841
AT ITER 1225 NEW BEST:: SOT 96734 SOS 65789 HAS SOPS 64976 HAS SOUS 37653 HAS SOUPS 37007 WITH SCORE 37072.789
AT ITER 1228 NEW BEST:: SOT 96610 SOS 65691 HAS SOPS 64852 HAS SOUS 37639 HAS SOUPS 36967 WITH SCORE 37032.691
AT ITER 1233 NEW BEST:: SOT 96784 SOS 65249 HAS SOPS 64410 HAS SOUS 37600 HAS SOUPS 36928 WITH SCORE 36993.249
AT ITER 1234 NEW BEST:: SOT 96625 SOS 64998 HAS SOPS 64159 HAS SOUS 37565 HAS SOUPS 36893 WITH SCORE 36957.998
AT ITER 1238 NEW BEST:: SOT 96540 SOS 64498 HAS SOPS 63659 HAS SOUS 37483 HAS SOUPS 36811 WITH SCORE 36875.498
AT ITER 1240 NEW BEST:: SOT 96598 SOS 64502 HAS SOPS 63822 HAS SOUS 37170 HAS SOUPS 36657 WITH SCORE 36721.502
AT ITER 1245 NEW BEST:: SOT 96514 SOS 64418 HAS SOPS 63624 HAS SOUS 37280 HAS SOUPS 36653 WITH SCORE 36717.418
AT ITER 1248 NEW BEST:: SOT 96465 SOS 64321 HAS SOPS 63527 HAS SOUS 37231 HAS SOUPS 36604 WITH SCORE 36668.321
AT ITER 1251 NEW BEST:: SOT 96465 SOS 64267 HAS SOPS 63473 HAS SOUS 37231 HAS SOUPS 36604 WITH SCORE 36668.267
AT ITER 1257 NEW BEST:: SOT 96419 SOS 64221 HAS SOPS 63427 HAS SOUS 37185 HAS SOUPS 36558 WITH SCORE 36622.221
AT ITER 1262 NEW BEST:: SOT 96367 SOS 64169 HAS SOPS 63375 HAS SOUS 37159 HAS SOUPS 36532 WITH SCORE 36596.169
AT ITER 1263 NEW BEST:: SOT 96186 SOS 63861 HAS SOPS 63067 HAS SOUS 36954 HAS SOUPS 36327 WITH SCORE 36390.861
AT ITER 1268 NEW BEST:: SOT 96170 SOS 63816 HAS SOPS 63014 HAS SOUS 36938 HAS SOUPS 36311 WITH SCORE 36374.816
AT ITER 1272 NEW BEST:: SOT 96160 SOS 63806 HAS SOPS 63004 HAS SOUS 36928 HAS SOUPS 36301 WITH SCORE 36364.806
AT ITER 1276 NEW BEST:: SOT 96158 SOS 63804 HAS SOPS 63002 HAS SOUS 36926 HAS SOUPS 36299 WITH SCORE 36362.804
AT ITER 1277 NEW BEST:: SOT 96128 SOS 63774 HAS SOPS 62972 HAS SOUS 36896 HAS SOUPS 36269 WITH SCORE 36332.774
AT ITER 1281 NEW BEST:: SOT 96173 SOS 63606 HAS SOPS 62804 HAS SOUS 36888 HAS SOUPS 36261 WITH SCORE 36324.606
AT ITER 1284 NEW BEST:: SOT 96136 SOS 63569 HAS SOPS 62767 HAS SOUS 36785 HAS SOUPS 36158 WITH SCORE 36221.569
AT ITER 1297 NEW BEST:: SOT 96139 SOS 63582 HAS SOPS 62780 HAS SOUS 36688 HAS SOUPS 36061 WITH SCORE 36124.582
AT ITER 1300 NEW BEST:: SOT 96178 SOS 63621 HAS SOPS 62819 HAS SOUS 36555 HAS SOUPS 35928 WITH SCORE 35991.621
AT ITER 1302 NEW BEST:: SOT 96200 SOS 63448 HAS SOPS 62646 HAS SOUS 36507 HAS SOUPS 35880 WITH SCORE 35943.448
AT ITER 1307 NEW BEST:: SOT 96200 SOS 63388 HAS SOPS 62586 HAS SOUS 36490 HAS SOUPS 35863 WITH SCORE 35926.388
AT ITER 1321 NEW BEST:: SOT 96167 SOS 63185 HAS SOPS 62383 HAS SOUS 36421 HAS SOUPS 35794 WITH SCORE 35857.185
AT ITER 1328 NEW BEST:: SOT 96107 SOS 63125 HAS SOPS 62323 HAS SOUS 36365 HAS SOUPS 35738 WITH SCORE 35801.125
AT ITER 1341 NEW BEST:: SOT 96034 SOS 62991 HAS SOPS 62189 HAS SOUS 36292 HAS SOUPS 35665 WITH SCORE 35727.991
AT ITER 1344 NEW BEST:: SOT 96022 SOS 62979 HAS SOPS 62177 HAS SOUS 36262 HAS SOUPS 35635 WITH SCORE 35697.979
AT ITER 1346 NEW BEST:: SOT 95911 SOS 63050 HAS SOPS 62248 HAS SOUS 36200 HAS SOUPS 35573 WITH SCORE 35636.05
AT ITER 1350 NEW BEST:: SOT 95812 SOS 63272 HAS SOPS 62470 HAS SOUS 36136 HAS SOUPS 35509 WITH SCORE 35572.272
AT ITER 1354 NEW BEST:: SOT 95812 SOS 63268 HAS SOPS 62466 HAS SOUS 36132 HAS SOUPS 35505 WITH SCORE 35568.268
AT ITER 1358 NEW BEST:: SOT 95812 SOS 63241 HAS SOPS 62439 HAS SOUS 36115 HAS SOUPS 35488 WITH SCORE 35551.241
AT ITER 1368 NEW BEST:: SOT 95699 SOS 63155 HAS SOPS 62353 HAS SOUS 36102 HAS SOUPS 35475 WITH SCORE 35538.155
AT ITER 1377 NEW BEST:: SOT 95725 SOS 63588 HAS SOPS 62786 HAS SOUS 36038 HAS SOUPS 35411 WITH SCORE 35474.588
AT ITER 1379 NEW BEST:: SOT 95820 SOS 63253 HAS SOPS 62381 HAS SOUS 35904 HAS SOUPS 35277 WITH SCORE 35340.253
AT ITER 1380 NEW BEST:: SOT 95650 SOS 63285 HAS SOPS 62435 HAS SOUS 35818 HAS SOUPS 35191 WITH SCORE 35254.285
AT ITER 1382 NEW BEST:: SOT 95664 SOS 63038 HAS SOPS 62086 HAS SOUS 35631 HAS SOUPS 34902 WITH SCORE 34965.038
AT ITER 1392 NEW BEST:: SOT 95475 SOS 62578 HAS SOPS 61626 HAS SOUS 35516 HAS SOUPS 34787 WITH SCORE 34849.578
AT ITER 1398 NEW BEST:: SOT 95450 SOS 62553 HAS SOPS 61601 HAS SOUS 35503 HAS SOUPS 34774 WITH SCORE 34836.553
AT ITER 1415 NEW BEST:: SOT 95305 SOS 62553 HAS SOPS 61456 HAS SOUS 35503 HAS SOUPS 34629 WITH SCORE 34691.553
AT ITER 1423 NEW BEST:: SOT 95293 SOS 62498 HAS SOPS 61401 HAS SOUS 35496 HAS SOUPS 34622 WITH SCORE 34684.498
AT ITER 1428 NEW BEST:: SOT 95176 SOS 62498 HAS SOPS 61401 HAS SOUS 35418 HAS SOUPS 34544 WITH SCORE 34606.498
AT ITER 1440 NEW BEST:: SOT 95090 SOS 62412 HAS SOPS 61315 HAS SOUS 35385 HAS SOUPS 34511 WITH SCORE 34573.412
AT ITER 1444 NEW BEST:: SOT 94911 SOS 61926 HAS SOPS 60782 HAS SOUS 35041 HAS SOUPS 34121 WITH SCORE 34182.926
AT ITER 1452 NEW BEST:: SOT 94876 SOS 61891 HAS SOPS 60747 HAS SOUS 35006 HAS SOUPS 34086 WITH SCORE 34147.891
AT ITER 1460 NEW BEST:: SOT 94719 SOS 61760 HAS SOPS 60616 HAS SOUS 34862 HAS SOUPS 33942 WITH SCORE 34003.76
AT ITER 1461 NEW BEST:: SOT 94626 SOS 61742 HAS SOPS 60598 HAS SOUS 34819 HAS SOUPS 33899 WITH SCORE 33960.742
AT ITER 1462 NEW BEST:: SOT 94598 SOS 61714 HAS SOPS 60570 HAS SOUS 34777 HAS SOUPS 33857 WITH SCORE 33918.714
AT ITER 1465 NEW BEST:: SOT 94533 SOS 61264 HAS SOPS 60120 HAS SOUS 34700 HAS SOUPS 33780 WITH SCORE 33841.264
AT ITER 1482 NEW BEST:: SOT 94668 SOS 61264 HAS SOPS 60120 HAS SOUS 34689 HAS SOUPS 33769 WITH SCORE 33830.264
AT ITER 1489 NEW BEST:: SOT 94510 SOS 61150 HAS SOPS 60008 HAS SOUS 34613 HAS SOUPS 33695 WITH SCORE 33756.15
AT ITER 1503 NEW BEST:: SOT 94358 SOS 60998 HAS SOPS 59856 HAS SOUS 34591 HAS SOUPS 33673 WITH SCORE 33733.998
AT ITER 1509 NEW BEST:: SOT 94358 SOS 60998 HAS SOPS 59856 HAS SOUS 34585 HAS SOUPS 33667 WITH SCORE 33727.998
AT ITER 1515 NEW BEST:: SOT 94317 SOS 60970 HAS SOPS 59815 HAS SOUS 34571 HAS SOUPS 33640 WITH SCORE 33700.97
AT ITER 1526 NEW BEST:: SOT 94253 SOS 60865 HAS SOPS 59710 HAS SOUS 34413 HAS SOUPS 33482 WITH SCORE 33542.865
AT ITER 1539 NEW BEST:: SOT 94062 SOS 60632 HAS SOPS 59477 HAS SOUS 34246 HAS SOUPS 33315 WITH SCORE 33375.632
AT ITER 1542 NEW BEST:: SOT 94131 SOS 60044 HAS SOPS 58871 HAS SOUS 34233 HAS SOUPS 33284 WITH SCORE 33344.044
AT ITER 1546 NEW BEST:: SOT 93982 SOS 59737 HAS SOPS 58564 HAS SOUS 34103 HAS SOUPS 33154 WITH SCORE 33213.737
AT ITER 1551 NEW BEST:: SOT 93821 SOS 59687 HAS SOPS 58514 HAS SOUS 34090 HAS SOUPS 33141 WITH SCORE 33200.687
AT ITER 1554 NEW BEST:: SOT 93821 SOS 59561 HAS SOPS 58388 HAS SOUS 34021 HAS SOUPS 33072 WITH SCORE 33131.561
AT ITER 1557 NEW BEST:: SOT 93813 SOS 59557 HAS SOPS 58384 HAS SOUS 34013 HAS SOUPS 33064 WITH SCORE 33123.557
AT ITER 1562 NEW BEST:: SOT 93817 SOS 59919 HAS SOPS 58746 HAS SOUS 33994 HAS SOUPS 33045 WITH SCORE 33104.919
AT ITER 1578 NEW BEST:: SOT 93782 SOS 59609 HAS SOPS 58399 HAS SOUS 33844 HAS SOUPS 32895 WITH SCORE 32954.609
AT ITER 1580 NEW BEST:: SOT 93778 SOS 59573 HAS SOPS 58363 HAS SOUS 33840 HAS SOUPS 32891 WITH SCORE 32950.573
AT ITER 1582 NEW BEST:: SOT 93668 SOS 59463 HAS SOPS 58253 HAS SOUS 33703 HAS SOUPS 32754 WITH SCORE 32813.463
AT ITER 1584 NEW BEST:: SOT 93668 SOS 59463 HAS SOPS 58253 HAS SOUS 33679 HAS SOUPS 32730 WITH SCORE 32789.463
AT ITER 1585 NEW BEST:: SOT 93673 SOS 59443 HAS SOPS 58233 HAS SOUS 33669 HAS SOUPS 32720 WITH SCORE 32779.443
AT ITER 1594 NEW BEST:: SOT 93673 SOS 59439 HAS SOPS 58229 HAS SOUS 33667 HAS SOUPS 32718 WITH SCORE 32777.439
AT ITER 1600 NEW BEST:: SOT 93651 SOS 59412 HAS SOPS 58202 HAS SOUS 33640 HAS SOUPS 32691 WITH SCORE 32750.412
AT ITER 1606 NEW BEST:: SOT 93525 SOS 59286 HAS SOPS 58076 HAS SOUS 33514 HAS SOUPS 32565 WITH SCORE 32624.286
AT ITER 1607 NEW BEST:: SOT 93543 SOS 59304 HAS SOPS 58094 HAS SOUS 33490 HAS SOUPS 32541 WITH SCORE 32600.304
AT ITER 1609 NEW BEST:: SOT 93543 SOS 59272 HAS SOPS 58062 HAS SOUS 33474 HAS SOUPS 32525 WITH SCORE 32584.272
AT ITER 1623 NEW BEST:: SOT 93531 SOS 59212 HAS SOPS 57990 HAS SOUS 33462 HAS SOUPS 32513 WITH SCORE 32572.212
AT ITER 1628 NEW BEST:: SOT 93378 SOS 59312 HAS SOPS 58090 HAS SOUS 33455 HAS SOUPS 32506 WITH SCORE 32565.312
AT ITER 1629 NEW BEST:: SOT 93312 SOS 59268 HAS SOPS 58046 HAS SOUS 33411 HAS SOUPS 32462 WITH SCORE 32521.268
AT ITER 1630 NEW BEST:: SOT 93299 SOS 59255 HAS SOPS 58033 HAS SOUS 33411 HAS SOUPS 32462 WITH SCORE 32521.255
AT ITER 1632 NEW BEST:: SOT 93287 SOS 59243 HAS SOPS 58021 HAS SOUS 33399 HAS SOUPS 32450 WITH SCORE 32509.243
AT ITER 1643 NEW BEST:: SOT 93225 SOS 59181 HAS SOPS 57959 HAS SOUS 33337 HAS SOUPS 32388 WITH SCORE 32447.181
AT ITER 1647 NEW BEST:: SOT 93167 SOS 59067 HAS SOPS 57845 HAS SOUS 33233 HAS SOUPS 32284 WITH SCORE 32343.067
AT ITER 1648 NEW BEST:: SOT 93144 SOS 59044 HAS SOPS 57822 HAS SOUS 33210 HAS SOUPS 32261 WITH SCORE 32320.044
AT ITER 1651 NEW BEST:: SOT 93036 SOS 59235 HAS SOPS 57719 HAS SOUS 33346 HAS SOUPS 32247 WITH SCORE 32306.235
AT ITER 1657 NEW BEST:: SOT 93002 SOS 59114 HAS SOPS 57598 HAS SOUS 33284 HAS SOUPS 32185 WITH SCORE 32244.114
AT ITER 1660 NEW BEST:: SOT 93026 SOS 59098 HAS SOPS 57582 HAS SOUS 33280 HAS SOUPS 32181 WITH SCORE 32240.098
AT ITER 1669 NEW BEST:: SOT 92991 SOS 59063 HAS SOPS 57547 HAS SOUS 33251 HAS SOUPS 32152 WITH SCORE 32211.063
AT ITER 1677 NEW BEST:: SOT 92991 SOS 58979 HAS SOPS 57425 HAS SOUS 33287 HAS SOUPS 32150 WITH SCORE 32208.979
AT ITER 1683 NEW BEST:: SOT 93086 SOS 59590 HAS SOPS 58036 HAS SOUS 33012 HAS SOUPS 31875 WITH SCORE 31934.59
AT ITER 1694 NEW BEST:: SOT 93036 SOS 59606 HAS SOPS 58052 HAS SOUS 32977 HAS SOUPS 31840 WITH SCORE 31899.606
AT ITER 1695 NEW BEST:: SOT 92909 SOS 59447 HAS SOPS 57893 HAS SOUS 32912 HAS SOUPS 31775 WITH SCORE 31834.447
AT ITER 1698 NEW BEST:: SOT 92864 SOS 59402 HAS SOPS 57848 HAS SOUS 32790 HAS SOUPS 31653 WITH SCORE 31712.402
AT ITER 1702 NEW BEST:: SOT 92864 SOS 59345 HAS SOPS 57772 HAS SOUS 32752 HAS SOUPS 31615 WITH SCORE 31674.345
AT ITER 1703 NEW BEST:: SOT 92864 SOS 59092 HAS SOPS 57519 HAS SOUS 32737 HAS SOUPS 31600 WITH SCORE 31659.092
AT ITER 1704 NEW BEST:: SOT 92864 SOS 59092 HAS SOPS 57519 HAS SOUS 32711 HAS SOUPS 31574 WITH SCORE 31633.092
AT ITER 1709 NEW BEST:: SOT 92669 SOS 58979 HAS SOPS 57406 HAS SOUS 32644 HAS SOUPS 31507 WITH SCORE 31565.979
AT ITER 1725 NEW BEST:: SOT 92473 SOS 59064 HAS SOPS 57491 HAS SOUS 32345 HAS SOUPS 31208 WITH SCORE 31267.064
AT ITER 1726 NEW BEST:: SOT 92502 SOS 59093 HAS SOPS 57520 HAS SOUS 32316 HAS SOUPS 31179 WITH SCORE 31238.093
AT ITER 1728 NEW BEST:: SOT 92502 SOS 59093 HAS SOPS 57520 HAS SOUS 32268 HAS SOUPS 31131 WITH SCORE 31190.093
AT ITER 1730 NEW BEST:: SOT 92418 SOS 59009 HAS SOPS 57436 HAS SOUS 32184 HAS SOUPS 31047 WITH SCORE 31106.009
AT ITER 1750 NEW BEST:: SOT 92530 SOS 58666 HAS SOPS 57093 HAS SOUS 32093 HAS SOUPS 30956 WITH SCORE 31014.666
AT ITER 1775 NEW BEST:: SOT 92530 SOS 58458 HAS SOPS 56885 HAS SOUS 32049 HAS SOUPS 30912 WITH SCORE 30970.458
AT ITER 1778 NEW BEST:: SOT 92418 SOS 58346 HAS SOPS 56773 HAS SOUS 32049 HAS SOUPS 30912 WITH SCORE 30970.346
AT ITER 1800 NEW BEST:: SOT 92410 SOS 58346 HAS SOPS 56773 HAS SOUS 32045 HAS SOUPS 30908 WITH SCORE 30966.346
AT ITER 1816 NEW BEST:: SOT 92336 SOS 58272 HAS SOPS 56699 HAS SOUS 31971 HAS SOUPS 30834 WITH SCORE 30892.272
AT ITER 1828 NEW BEST:: SOT 92335 SOS 58270 HAS SOPS 56697 HAS SOUS 31969 HAS SOUPS 30832 WITH SCORE 30890.27
AT ITER 1833 NEW BEST:: SOT 92353 SOS 58288 HAS SOPS 56715 HAS SOUS 31955 HAS SOUPS 30818 WITH SCORE 30876.288
AT ITER 1835 NEW BEST:: SOT 92293 SOS 58228 HAS SOPS 56655 HAS SOUS 31895 HAS SOUPS 30758 WITH SCORE 30816.228
AT ITER 1847 NEW BEST:: SOT 92258 SOS 58143 HAS SOPS 56570 HAS SOUS 31864 HAS SOUPS 30727 WITH SCORE 30785.143
AT ITER 1852 NEW BEST:: SOT 92238 SOS 58123 HAS SOPS 56550 HAS SOUS 31726 HAS SOUPS 30589 WITH SCORE 30647.123
AT ITER 1858 NEW BEST:: SOT 92221 SOS 58154 HAS SOPS 56581 HAS SOUS 31699 HAS SOUPS 30562 WITH SCORE 30620.154
AT ITER 1890 NEW BEST:: SOT 92327 SOS 57781 HAS SOPS 56208 HAS SOUS 31638 HAS SOUPS 30501 WITH SCORE 30558.781
AT ITER 1892 NEW BEST:: SOT 92327 SOS 57773 HAS SOPS 56192 HAS SOUS 31646 HAS SOUPS 30501 WITH SCORE 30558.773
AT ITER 1896 NEW BEST:: SOT 92294 SOS 57740 HAS SOPS 56159 HAS SOUS 31559 HAS SOUPS 30414 WITH SCORE 30471.74
AT ITER 1906 NEW BEST:: SOT 92256 SOS 57702 HAS SOPS 56121 HAS SOUS 31503 HAS SOUPS 30358 WITH SCORE 30415.702
AT ITER 1911 NEW BEST:: SOT 92270 SOS 57733 HAS SOPS 56158 HAS SOUS 31494 HAS SOUPS 30355 WITH SCORE 30412.733
AT ITER 1922 NEW BEST:: SOT 92236 SOS 57716 HAS SOPS 56141 HAS SOUS 31448 HAS SOUPS 30309 WITH SCORE 30366.716
AT ITER 1941 NEW BEST:: SOT 92224 SOS 57704 HAS SOPS 56129 HAS SOUS 31424 HAS SOUPS 30285 WITH SCORE 30342.704
AT ITER 1944 NEW BEST:: SOT 92080 SOS 57752 HAS SOPS 56177 HAS SOUS 31376 HAS SOUPS 30237 WITH SCORE 30294.752
AT ITER 1949 NEW BEST:: SOT 91914 SOS 57547 HAS SOPS 55972 HAS SOUS 31239 HAS SOUPS 30100 WITH SCORE 30157.547
AT ITER 1987 NEW BEST:: SOT 91918 SOS 57494 HAS SOPS 55919 HAS SOUS 31234 HAS SOUPS 30095 WITH SCORE 30152.494
AT ITER 1989 NEW BEST:: SOT 91911 SOS 57487 HAS SOPS 55912 HAS SOUS 31227 HAS SOUPS 30088 WITH SCORE 30145.487
AT ITER 1991 NEW BEST:: SOT 91896 SOS 57482 HAS SOPS 55907 HAS SOUS 31208 HAS SOUPS 30069 WITH SCORE 30126.482
AT ITER 1997 NEW BEST:: SOT 91856 SOS 57384 HAS SOPS 55827 HAS SOUS 31088 HAS SOUPS 29967 WITH SCORE 30024.384
AT ITER 2010 NEW BEST:: SOT 91856 SOS 57146 HAS SOPS 55589 HAS SOUS 31020 HAS SOUPS 29899 WITH SCORE 29956.146
AT ITER 2016 NEW BEST:: SOT 91896 SOS 57369 HAS SOPS 55812 HAS SOUS 30870 HAS SOUPS 29749 WITH SCORE 29806.369
AT ITER 2024 NEW BEST:: SOT 91906 SOS 57369 HAS SOPS 55812 HAS SOUS 30864 HAS SOUPS 29743 WITH SCORE 29800.369
AT ITER 2030 NEW BEST:: SOT 91895 SOS 57350 HAS SOPS 55785 HAS SOUS 30861 HAS SOUPS 29732 WITH SCORE 29789.35
AT ITER 2033 NEW BEST:: SOT 91839 SOS 57294 HAS SOPS 55729 HAS SOUS 30805 HAS SOUPS 29676 WITH SCORE 29733.294
AT ITER 2043 NEW BEST:: SOT 91821 SOS 57270 HAS SOPS 55705 HAS SOUS 30778 HAS SOUPS 29649 WITH SCORE 29706.27
AT ITER 2068 NEW BEST:: SOT 91801 SOS 57250 HAS SOPS 55685 HAS SOUS 30758 HAS SOUPS 29629 WITH SCORE 29686.25
AT ITER 2090 NEW BEST:: SOT 91777 SOS 57088 HAS SOPS 55523 HAS SOUS 30701 HAS SOUPS 29572 WITH SCORE 29629.088
AT ITER 2092 NEW BEST:: SOT 91717 SOS 57186 HAS SOPS 55621 HAS SOUS 30666 HAS SOUPS 29537 WITH SCORE 29594.186
AT ITER 2094 NEW BEST:: SOT 91698 SOS 57078 HAS SOPS 55536 HAS SOUS 30620 HAS SOUPS 29491 WITH SCORE 29548.078
AT ITER 2102 NEW BEST:: SOT 91698 SOS 57020 HAS SOPS 55478 HAS SOUS 30552 HAS SOUPS 29423 WITH SCORE 29480.02
AT ITER 2112 NEW BEST:: SOT 91698 SOS 56938 HAS SOPS 55381 HAS SOUS 30546 HAS SOUPS 29408 WITH SCORE 29464.938
AT ITER 2152 NEW BEST:: SOT 91676 SOS 56872 HAS SOPS 55315 HAS SOUS 30546 HAS SOUPS 29408 WITH SCORE 29464.872
AT ITER 2153 NEW BEST:: SOT 91676 SOS 56872 HAS SOPS 55315 HAS SOUS 30540 HAS SOUPS 29402 WITH SCORE 29458.872
AT ITER 2156 NEW BEST:: SOT 91661 SOS 56854 HAS SOPS 55297 HAS SOUS 30522 HAS SOUPS 29384 WITH SCORE 29440.854
AT ITER 2167 NEW BEST:: SOT 91609 SOS 56802 HAS SOPS 55245 HAS SOUS 30470 HAS SOUPS 29332 WITH SCORE 29388.802
AT ITER 2173 NEW BEST:: SOT 91716 SOS 56864 HAS SOPS 55307 HAS SOUS 30455 HAS SOUPS 29317 WITH SCORE 29373.864
AT ITER 2191 NEW BEST:: SOT 91705 SOS 56779 HAS SOPS 55222 HAS SOUS 30452 HAS SOUPS 29314 WITH SCORE 29370.779
AT ITER 2196 NEW BEST:: SOT 91657 SOS 56731 HAS SOPS 55174 HAS SOUS 30452 HAS SOUPS 29314 WITH SCORE 29370.731
AT ITER 2209 NEW BEST:: SOT 91692 SOS 56784 HAS SOPS 55227 HAS SOUS 30443 HAS SOUPS 29305 WITH SCORE 29361.784
AT ITER 2213 NEW BEST:: SOT 91692 SOS 56784 HAS SOPS 55227 HAS SOUS 30403 HAS SOUPS 29265 WITH SCORE 29321.784
AT ITER 2224 NEW BEST:: SOT 91590 SOS 56287 HAS SOPS 54730 HAS SOUS 30392 HAS SOUPS 29254 WITH SCORE 29310.287
AT ITER 2237 NEW BEST:: SOT 91548 SOS 56327 HAS SOPS 54770 HAS SOUS 30318 HAS SOUPS 29180 WITH SCORE 29236.327
AT ITER 2240 NEW BEST:: SOT 91576 SOS 56369 HAS SOPS 54812 HAS SOUS 30316 HAS SOUPS 29178 WITH SCORE 29234.369
AT ITER 2243 NEW BEST:: SOT 91576 SOS 56381 HAS SOPS 54824 HAS SOUS 30305 HAS SOUPS 29167 WITH SCORE 29223.381
AT ITER 2245 NEW BEST:: SOT 91530 SOS 56365 HAS SOPS 54808 HAS SOUS 30289 HAS SOUPS 29151 WITH SCORE 29207.365
AT ITER 2246 NEW BEST:: SOT 91530 SOS 56365 HAS SOPS 54808 HAS SOUS 30283 HAS SOUPS 29145 WITH SCORE 29201.365
AT ITER 2248 NEW BEST:: SOT 91498 SOS 56303 HAS SOPS 54738 HAS SOUS 30259 HAS SOUPS 29121 WITH SCORE 29177.303
AT ITER 2262 NEW BEST:: SOT 91507 SOS 56268 HAS SOPS 54703 HAS SOUS 30224 HAS SOUPS 29086 WITH SCORE 29142.268
AT ITER 2270 NEW BEST:: SOT 91489 SOS 56250 HAS SOPS 54685 HAS SOUS 30206 HAS SOUPS 29068 WITH SCORE 29124.25
AT ITER 2272 NEW BEST:: SOT 91553 SOS 56238 HAS SOPS 54673 HAS SOUS 30188 HAS SOUPS 29050 WITH SCORE 29106.238
AT ITER 2273 NEW BEST:: SOT 91497 SOS 56234 HAS SOPS 54669 HAS SOUS 30184 HAS SOUPS 29046 WITH SCORE 29102.234
AT ITER 2290 NEW BEST:: SOT 91483 SOS 56199 HAS SOPS 54627 HAS SOUS 30163 HAS SOUPS 29018 WITH SCORE 29074.199
AT ITER 2313 NEW BEST:: SOT 91502 SOS 56206 HAS SOPS 54634 HAS SOUS 30161 HAS SOUPS 29016 WITH SCORE 29072.206
AT ITER 2318 NEW BEST:: SOT 91502 SOS 56408 HAS SOPS 54836 HAS SOUS 30133 HAS SOUPS 28988 WITH SCORE 29044.408
AT ITER 2332 NEW BEST:: SOT 91492 SOS 56398 HAS SOPS 54826 HAS SOUS 30121 HAS SOUPS 28976 WITH SCORE 29032.398
AT ITER 2334 NEW BEST:: SOT 91364 SOS 56270 HAS SOPS 54698 HAS SOUS 30092 HAS SOUPS 28947 WITH SCORE 29003.27
AT ITER 2340 NEW BEST:: SOT 91388 SOS 56074 HAS SOPS 54502 HAS SOUS 30066 HAS SOUPS 28921 WITH SCORE 28977.074
AT ITER 2352 NEW BEST:: SOT 91388 SOS 56065 HAS SOPS 54493 HAS SOUS 30066 HAS SOUPS 28921 WITH SCORE 28977.065
AT ITER 2354 NEW BEST:: SOT 91320 SOS 55952 HAS SOPS 54380 HAS SOUS 29876 HAS SOUPS 28731 WITH SCORE 28786.952
AT ITER 2355 NEW BEST:: SOT 91015 SOS 55647 HAS SOPS 54075 HAS SOUS 29846 HAS SOUPS 28701 WITH SCORE 28756.647
AT ITER 2362 NEW BEST:: SOT 91005 SOS 55581 HAS SOPS 54065 HAS SOUS 29789 HAS SOUPS 28700 WITH SCORE 28755.581
AT ITER 2366 NEW BEST:: SOT 91001 SOS 55581 HAS SOPS 54065 HAS SOUS 29781 HAS SOUPS 28692 WITH SCORE 28747.581
AT ITER 2387 NEW BEST:: SOT 90963 SOS 55543 HAS SOPS 54027 HAS SOUS 29743 HAS SOUPS 28654 WITH SCORE 28709.543
AT ITER 2399 NEW BEST:: SOT 90963 SOS 55452 HAS SOPS 53915 HAS SOUS 29736 HAS SOUPS 28640 WITH SCORE 28695.452
AT ITER 2411 NEW BEST:: SOT 90927 SOS 55436 HAS SOPS 53899 HAS SOUS 29720 HAS SOUPS 28624 WITH SCORE 28679.436
AT ITER 2413 NEW BEST:: SOT 90865 SOS 55305 HAS SOPS 53768 HAS SOUS 29589 HAS SOUPS 28493 WITH SCORE 28548.305
AT ITER 2417 NEW BEST:: SOT 90881 SOS 55323 HAS SOPS 53786 HAS SOUS 29481 HAS SOUPS 28385 WITH SCORE 28440.323
AT ITER 2438 NEW BEST:: SOT 90857 SOS 55299 HAS SOPS 53762 HAS SOUS 29409 HAS SOUPS 28313 WITH SCORE 28368.299
AT ITER 2470 NEW BEST:: SOT 90891 SOS 55095 HAS SOPS 53558 HAS SOUS 29373 HAS SOUPS 28277 WITH SCORE 28332.095
AT ITER 2472 NEW BEST:: SOT 90865 SOS 55069 HAS SOPS 53532 HAS SOUS 29347 HAS SOUPS 28251 WITH SCORE 28306.069
AT ITER 2474 NEW BEST:: SOT 90865 SOS 54996 HAS SOPS 53433 HAS SOUS 29337 HAS SOUPS 28215 WITH SCORE 28269.996
AT ITER 2480 NEW BEST:: SOT 90865 SOS 54996 HAS SOPS 53433 HAS SOUS 29327 HAS SOUPS 28205 WITH SCORE 28259.996
AT ITER 2484 NEW BEST:: SOT 90865 SOS 54960 HAS SOPS 53397 HAS SOUS 29327 HAS SOUPS 28205 WITH SCORE 28259.96
AT ITER 2488 NEW BEST:: SOT 90864 SOS 54958 HAS SOPS 53395 HAS SOUS 29324 HAS SOUPS 28202 WITH SCORE 28256.958
AT ITER 2493 NEW BEST:: SOT 90812 SOS 54876 HAS SOPS 53313 HAS SOUS 29264 HAS SOUPS 28142 WITH SCORE 28196.876
AT ITER 2502 NEW BEST:: SOT 90836 SOS 54842 HAS SOPS 53246 HAS SOUS 29287 HAS SOUPS 28141 WITH SCORE 28195.842
AT ITER 2518 NEW BEST:: SOT 90806 SOS 54812 HAS SOPS 53216 HAS SOUS 29283 HAS SOUPS 28137 WITH SCORE 28191.812
AT ITER 2519 NEW BEST:: SOT 90708 SOS 54676 HAS SOPS 53080 HAS SOUS 29248 HAS SOUPS 28102 WITH SCORE 28156.676
AT ITER 2525 NEW BEST:: SOT 90708 SOS 54676 HAS SOPS 53080 HAS SOUS 29244 HAS SOUPS 28098 WITH SCORE 28152.676
AT ITER 2526 NEW BEST:: SOT 90700 SOS 54668 HAS SOPS 53072 HAS SOUS 29244 HAS SOUPS 28098 WITH SCORE 28152.668
AT ITER 2529 NEW BEST:: SOT 90694 SOS 54654 HAS SOPS 53058 HAS SOUS 29243 HAS SOUPS 28097 WITH SCORE 28151.654
AT ITER 2548 NEW BEST:: SOT 90680 SOS 54640 HAS SOPS 53044 HAS SOUS 29215 HAS SOUPS 28069 WITH SCORE 28123.64
AT ITER 2549 NEW BEST:: SOT 90555 SOS 54515 HAS SOPS 52919 HAS SOUS 29068 HAS SOUPS 27922 WITH SCORE 27976.515
AT ITER 2561 NEW BEST:: SOT 90555 SOS 54515 HAS SOPS 52919 HAS SOUS 28982 HAS SOUPS 27836 WITH SCORE 27890.515
AT ITER 2567 NEW BEST:: SOT 90595 SOS 54555 HAS SOPS 52959 HAS SOUS 28978 HAS SOUPS 27832 WITH SCORE 27886.555
AT ITER 2573 NEW BEST:: SOT 90677 SOS 54637 HAS SOPS 53041 HAS SOUS 28977 HAS SOUPS 27831 WITH SCORE 27885.637
AT ITER 2574 NEW BEST:: SOT 90677 SOS 54685 HAS SOPS 53089 HAS SOUS 28957 HAS SOUPS 27811 WITH SCORE 27865.685
AT ITER 2579 NEW BEST:: SOT 90611 SOS 54636 HAS SOPS 53040 HAS SOUS 28908 HAS SOUPS 27762 WITH SCORE 27816.636
AT ITER 2585 NEW BEST:: SOT 90547 SOS 54572 HAS SOPS 52976 HAS SOUS 28844 HAS SOUPS 27698 WITH SCORE 27752.572
AT ITER 2588 NEW BEST:: SOT 90619 SOS 54556 HAS SOPS 52960 HAS SOUS 28827 HAS SOUPS 27681 WITH SCORE 27735.556
AT ITER 2592 NEW BEST:: SOT 90471 SOS 54589 HAS SOPS 52993 HAS SOUS 28750 HAS SOUPS 27604 WITH SCORE 27658.589
AT ITER 2606 NEW BEST:: SOT 90471 SOS 54589 HAS SOPS 52993 HAS SOUS 28718 HAS SOUPS 27572 WITH SCORE 27626.589
AT ITER 2607 NEW BEST:: SOT 90471 SOS 54589 HAS SOPS 52993 HAS SOUS 28646 HAS SOUPS 27500 WITH SCORE 27554.589
AT ITER 2612 NEW BEST:: SOT 90471 SOS 54575 HAS SOPS 52979 HAS SOUS 28630 HAS SOUPS 27484 WITH SCORE 27538.575
AT ITER 2613 NEW BEST:: SOT 90460 SOS 54570 HAS SOPS 52974 HAS SOUS 28614 HAS SOUPS 27468 WITH SCORE 27522.57
AT ITER 2631 NEW BEST:: SOT 90342 SOS 54589 HAS SOPS 52993 HAS SOUS 28544 HAS SOUPS 27398 WITH SCORE 27452.589
AT ITER 2637 NEW BEST:: SOT 90372 SOS 54604 HAS SOPS 53008 HAS SOUS 28529 HAS SOUPS 27383 WITH SCORE 27437.604
AT ITER 2639 NEW BEST:: SOT 90352 SOS 54584 HAS SOPS 52988 HAS SOUS 28509 HAS SOUPS 27363 WITH SCORE 27417.584
AT ITER 2649 NEW BEST:: SOT 90312 SOS 54460 HAS SOPS 52864 HAS SOUS 28437 HAS SOUPS 27291 WITH SCORE 27345.46
AT ITER 2652 NEW BEST:: SOT 90238 SOS 54378 HAS SOPS 52782 HAS SOUS 28347 HAS SOUPS 27201 WITH SCORE 27255.378
AT ITER 2653 NEW BEST:: SOT 90220 SOS 54360 HAS SOPS 52764 HAS SOUS 28335 HAS SOUPS 27189 WITH SCORE 27243.36
AT ITER 2659 NEW BEST:: SOT 90225 SOS 54361 HAS SOPS 52765 HAS SOUS 28319 HAS SOUPS 27173 WITH SCORE 27227.361
AT ITER 2670 NEW BEST:: SOT 90274 SOS 54061 HAS SOPS 52465 HAS SOUS 28309 HAS SOUPS 27163 WITH SCORE 27217.061
AT ITER 2676 NEW BEST:: SOT 90275 SOS 54057 HAS SOPS 52461 HAS SOUS 28308 HAS SOUPS 27162 WITH SCORE 27216.057
AT ITER 2679 NEW BEST:: SOT 90275 SOS 54024 HAS SOPS 52428 HAS SOUS 28297 HAS SOUPS 27151 WITH SCORE 27205.024
AT ITER 2692 NEW BEST:: SOT 90275 SOS 54024 HAS SOPS 52428 HAS SOUS 28271 HAS SOUPS 27125 WITH SCORE 27179.024
AT ITER 2696 NEW BEST:: SOT 90289 SOS 54049 HAS SOPS 52453 HAS SOUS 28246 HAS SOUPS 27100 WITH SCORE 27154.049
AT ITER 2717 NEW BEST:: SOT 90308 SOS 54056 HAS SOPS 52460 HAS SOUS 28208 HAS SOUPS 27062 WITH SCORE 27116.056
AT ITER 2719 NEW BEST:: SOT 90159 SOS 53555 HAS SOPS 51959 HAS SOUS 28170 HAS SOUPS 27024 WITH SCORE 27077.555
AT ITER 2728 NEW BEST:: SOT 90120 SOS 53516 HAS SOPS 51920 HAS SOUS 28131 HAS SOUPS 26985 WITH SCORE 27038.516
AT ITER 2730 NEW BEST:: SOT 90120 SOS 53516 HAS SOPS 51920 HAS SOUS 28109 HAS SOUPS 26963 WITH SCORE 27016.516
AT ITER 2733 NEW BEST:: SOT 90120 SOS 53516 HAS SOPS 51920 HAS SOUS 28095 HAS SOUPS 26949 WITH SCORE 27002.516
AT ITER 2739 NEW BEST:: SOT 90120 SOS 53516 HAS SOPS 51920 HAS SOUS 28073 HAS SOUPS 26927 WITH SCORE 26980.516
AT ITER 2740 NEW BEST:: SOT 90068 SOS 53464 HAS SOPS 51868 HAS SOUS 27940 HAS SOUPS 26794 WITH SCORE 26847.464
AT ITER 2742 NEW BEST:: SOT 90025 SOS 53421 HAS SOPS 51825 HAS SOUS 27913 HAS SOUPS 26767 WITH SCORE 26820.421
AT ITER 2747 NEW BEST:: SOT 90029 SOS 53425 HAS SOPS 51837 HAS SOUS 27902 HAS SOUPS 26764 WITH SCORE 26817.425
AT ITER 2749 NEW BEST:: SOT 89923 SOS 53319 HAS SOPS 51731 HAS SOUS 27796 HAS SOUPS 26658 WITH SCORE 26711.319
AT ITER 2752 NEW BEST:: SOT 89914 SOS 53310 HAS SOPS 51722 HAS SOUS 27795 HAS SOUPS 26657 WITH SCORE 26710.31
AT ITER 2757 NEW BEST:: SOT 89868 SOS 53219 HAS SOPS 51631 HAS SOUS 27759 HAS SOUPS 26621 WITH SCORE 26674.219
AT ITER 2764 NEW BEST:: SOT 89839 SOS 53178 HAS SOPS 51587 HAS SOUS 27704 HAS SOUPS 26566 WITH SCORE 26619.178
AT ITER 2790 NEW BEST:: SOT 89835 SOS 53176 HAS SOPS 51585 HAS SOUS 27702 HAS SOUPS 26564 WITH SCORE 26617.176
AT ITER 2800 NEW BEST:: SOT 89887 SOS 53228 HAS SOPS 51637 HAS SOUS 27700 HAS SOUPS 26562 WITH SCORE 26615.228
AT ITER 2834 NEW BEST:: SOT 89850 SOS 53133 HAS SOPS 51542 HAS SOUS 27686 HAS SOUPS 26548 WITH SCORE 26601.133
AT ITER 2840 NEW BEST:: SOT 89823 SOS 53086 HAS SOPS 51495 HAS SOUS 27677 HAS SOUPS 26539 WITH SCORE 26592.086
AT ITER 2845 NEW BEST:: SOT 89797 SOS 53060 HAS SOPS 51469 HAS SOUS 27603 HAS SOUPS 26465 WITH SCORE 26518.06
AT ITER 2850 NEW BEST:: SOT 89742 SOS 53005 HAS SOPS 51414 HAS SOUS 27499 HAS SOUPS 26361 WITH SCORE 26414.005
AT ITER 2853 NEW BEST:: SOT 89738 SOS 53003 HAS SOPS 51412 HAS SOUS 27499 HAS SOUPS 26361 WITH SCORE 26414.003
AT ITER 2860 NEW BEST:: SOT 89742 SOS 53067 HAS SOPS 51416 HAS SOUS 27536 HAS SOUPS 26356 WITH SCORE 26409.067
AT ITER 2862 NEW BEST:: SOT 89738 SOS 53063 HAS SOPS 51412 HAS SOUS 27522 HAS SOUPS 26342 WITH SCORE 26395.063
AT ITER 2863 NEW BEST:: SOT 89664 SOS 52989 HAS SOPS 51338 HAS SOUS 27522 HAS SOUPS 26342 WITH SCORE 26394.989
AT ITER 2879 NEW BEST:: SOT 89664 SOS 52989 HAS SOPS 51338 HAS SOUS 27446 HAS SOUPS 26266 WITH SCORE 26318.989
AT ITER 2885 NEW BEST:: SOT 89664 SOS 52989 HAS SOPS 51338 HAS SOUS 27397 HAS SOUPS 26217 WITH SCORE 26269.989
AT ITER 2923 NEW BEST:: SOT 89664 SOS 52910 HAS SOPS 51259 HAS SOUS 27366 HAS SOUPS 26186 WITH SCORE 26238.91
AT ITER 2931 NEW BEST:: SOT 89663 SOS 52909 HAS SOPS 51258 HAS SOUS 27365 HAS SOUPS 26185 WITH SCORE 26237.909
AT ITER 2933 NEW BEST:: SOT 89682 SOS 52918 HAS SOPS 51267 HAS SOUS 27361 HAS SOUPS 26181 WITH SCORE 26233.918
AT ITER 2942 NEW BEST:: SOT 89667 SOS 52862 HAS SOPS 51211 HAS SOUS 27342 HAS SOUPS 26162 WITH SCORE 26214.862
AT ITER 2948 NEW BEST:: SOT 89662 SOS 52857 HAS SOPS 51206 HAS SOUS 27337 HAS SOUPS 26157 WITH SCORE 26209.857
AT ITER 2961 NEW BEST:: SOT 89646 SOS 52843 HAS SOPS 51192 HAS SOUS 27323 HAS SOUPS 26143 WITH SCORE 26195.843
AT ITER 2971 NEW BEST:: SOT 89604 SOS 52801 HAS SOPS 51150 HAS SOUS 27323 HAS SOUPS 26143 WITH SCORE 26195.801
AT ITER 2973 NEW BEST:: SOT 89604 SOS 52699 HAS SOPS 51048 HAS SOUS 27223 HAS SOUPS 26043 WITH SCORE 26095.699
AT ITER 3006 NEW BEST:: SOT 89590 SOS 52685 HAS SOPS 51034 HAS SOUS 27223 HAS SOUPS 26043 WITH SCORE 26095.685
AT ITER 3008 NEW BEST:: SOT 89590 SOS 52595 HAS SOPS 50944 HAS SOUS 27205 HAS SOUPS 26025 WITH SCORE 26077.595
AT ITER 3028 NEW BEST:: SOT 89590 SOS 52445 HAS SOPS 50769 HAS SOUS 27181 HAS SOUPS 26000 WITH SCORE 26052.445
AT ITER 3041 NEW BEST:: SOT 89601 SOS 52728 HAS SOPS 50735 HAS SOUS 27270 HAS SOUPS 25912 WITH SCORE 25964.728
AT ITER 3045 NEW BEST:: SOT 89601 SOS 52690 HAS SOPS 50697 HAS SOUS 27270 HAS SOUPS 25912 WITH SCORE 25964.69
AT ITER 3053 NEW BEST:: SOT 89521 SOS 52670 HAS SOPS 50677 HAS SOUS 27214 HAS SOUPS 25856 WITH SCORE 25908.67
AT ITER 3060 NEW BEST:: SOT 89553 SOS 52718 HAS SOPS 50725 HAS SOUS 27174 HAS SOUPS 25816 WITH SCORE 25868.718
AT ITER 3061 NEW BEST:: SOT 89546 SOS 52711 HAS SOPS 50718 HAS SOUS 27174 HAS SOUPS 25816 WITH SCORE 25868.711
AT ITER 3069 NEW BEST:: SOT 89546 SOS 52673 HAS SOPS 50680 HAS SOUS 27136 HAS SOUPS 25778 WITH SCORE 25830.673
AT ITER 3081 NEW BEST:: SOT 89546 SOS 52673 HAS SOPS 50680 HAS SOUS 27118 HAS SOUPS 25760 WITH SCORE 25812.673
AT ITER 3083 NEW BEST:: SOT 89462 SOS 52797 HAS SOPS 50804 HAS SOUS 27027 HAS SOUPS 25669 WITH SCORE 25721.797
AT ITER 3093 NEW BEST:: SOT 89438 SOS 52794 HAS SOPS 50804 HAS SOUS 27021 HAS SOUPS 25663 WITH SCORE 25715.794
AT ITER 3106 NEW BEST:: SOT 89275 SOS 52768 HAS SOPS 50800 HAS SOUS 26851 HAS SOUPS 25515 WITH SCORE 25567.768
AT ITER 3108 NEW BEST:: SOT 89311 SOS 52804 HAS SOPS 50836 HAS SOUS 26847 HAS SOUPS 25511 WITH SCORE 25563.804
AT ITER 3109 NEW BEST:: SOT 89311 SOS 52798 HAS SOPS 50830 HAS SOUS 26847 HAS SOUPS 25511 WITH SCORE 25563.798
AT ITER 3157 NEW BEST:: SOT 89253 SOS 52644 HAS SOPS 50652 HAS SOUS 26756 HAS SOUPS 25420 WITH SCORE 25472.644
AT ITER 3169 NEW BEST:: SOT 89209 SOS 52587 HAS SOPS 50595 HAS SOUS 26686 HAS SOUPS 25350 WITH SCORE 25402.587
AT ITER 3176 NEW BEST:: SOT 89214 SOS 52343 HAS SOPS 50292 HAS SOUS 26699 HAS SOUPS 25335 WITH SCORE 25387.343
AT ITER 3181 NEW BEST:: SOT 89214 SOS 52343 HAS SOPS 50292 HAS SOUS 26675 HAS SOUPS 25311 WITH SCORE 25363.343
AT ITER 3200 NEW BEST:: SOT 89221 SOS 52350 HAS SOPS 50291 HAS SOUS 26682 HAS SOUPS 25310 WITH SCORE 25362.35
AT ITER 3211 NEW BEST:: SOT 89212 SOS 52341 HAS SOPS 50282 HAS SOUS 26664 HAS SOUPS 25292 WITH SCORE 25344.341
AT ITER 3225 NEW BEST:: SOT 89221 SOS 52420 HAS SOPS 50285 HAS SOUS 26677 HAS SOUPS 25267 WITH SCORE 25319.42
AT ITER 3226 NEW BEST:: SOT 89205 SOS 52363 HAS SOPS 50228 HAS SOUS 26634 HAS SOUPS 25224 WITH SCORE 25276.363
AT ITER 3248 NEW BEST:: SOT 89185 SOS 52333 HAS SOPS 50188 HAS SOUS 26606 HAS SOUPS 25186 WITH SCORE 25238.333
AT ITER 3252 NEW BEST:: SOT 89183 SOS 52326 HAS SOPS 50181 HAS SOUS 26603 HAS SOUPS 25183 WITH SCORE 25235.326
AT ITER 3255 NEW BEST:: SOT 89187 SOS 52318 HAS SOPS 50173 HAS SOUS 26595 HAS SOUPS 25175 WITH SCORE 25227.318
AT ITER 3258 NEW BEST:: SOT 89187 SOS 52373 HAS SOPS 50228 HAS SOUS 26544 HAS SOUPS 25124 WITH SCORE 25176.373
AT ITER 3273 NEW BEST:: SOT 89179 SOS 52365 HAS SOPS 50220 HAS SOUS 26536 HAS SOUPS 25116 WITH SCORE 25168.365
AT ITER 3276 NEW BEST:: SOT 89158 SOS 52358 HAS SOPS 50213 HAS SOUS 26529 HAS SOUPS 25109 WITH SCORE 25161.358
AT ITER 3279 NEW BEST:: SOT 89222 SOS 52198 HAS SOPS 50053 HAS SOUS 26509 HAS SOUPS 25089 WITH SCORE 25141.198
AT ITER 3316 NEW BEST:: SOT 89224 SOS 52200 HAS SOPS 50055 HAS SOUS 26493 HAS SOUPS 25073 WITH SCORE 25125.2
AT ITER 3323 NEW BEST:: SOT 89259 SOS 52235 HAS SOPS 50090 HAS SOUS 26480 HAS SOUPS 25060 WITH SCORE 25112.235
AT ITER 3336 NEW BEST:: SOT 89238 SOS 52214 HAS SOPS 50069 HAS SOUS 26417 HAS SOUPS 24997 WITH SCORE 25049.214
AT ITER 3338 NEW BEST:: SOT 89256 SOS 51967 HAS SOPS 49803 HAS SOUS 26436 HAS SOUPS 24997 WITH SCORE 25048.967
AT ITER 3352 NEW BEST:: SOT 89070 SOS 51781 HAS SOPS 49617 HAS SOUS 26384 HAS SOUPS 24945 WITH SCORE 24996.781
AT ITER 3358 NEW BEST:: SOT 88884 SOS 51695 HAS SOPS 49518 HAS SOUS 26363 HAS SOUPS 24914 WITH SCORE 24965.695
AT ITER 3366 NEW BEST:: SOT 88884 SOS 51695 HAS SOPS 49518 HAS SOUS 26345 HAS SOUPS 24896 WITH SCORE 24947.695
AT ITER 3378 NEW BEST:: SOT 88853 SOS 51605 HAS SOPS 49428 HAS SOUS 26313 HAS SOUPS 24864 WITH SCORE 24915.605
AT ITER 3379 NEW BEST:: SOT 88853 SOS 51587 HAS SOPS 49398 HAS SOUS 26313 HAS SOUPS 24858 WITH SCORE 24909.587
AT ITER 3380 NEW BEST:: SOT 88859 SOS 51593 HAS SOPS 49404 HAS SOUS 26305 HAS SOUPS 24850 WITH SCORE 24901.593
AT ITER 3395 NEW BEST:: SOT 88859 SOS 51589 HAS SOPS 49400 HAS SOUS 26301 HAS SOUPS 24846 WITH SCORE 24897.589
AT ITER 3431 NEW BEST:: SOT 88859 SOS 51609 HAS SOPS 49420 HAS SOUS 26294 HAS SOUPS 24839 WITH SCORE 24890.609
AT ITER 3438 NEW BEST:: SOT 88769 SOS 51565 HAS SOPS 49366 HAS SOUS 26304 HAS SOUPS 24839 WITH SCORE 24890.565
AT ITER 3440 NEW BEST:: SOT 88748 SOS 51565 HAS SOPS 49366 HAS SOUS 26290 HAS SOUPS 24825 WITH SCORE 24876.565
AT ITER 3446 NEW BEST:: SOT 88748 SOS 51561 HAS SOPS 49360 HAS SOUS 26290 HAS SOUPS 24824 WITH SCORE 24875.561
AT ITER 3451 NEW BEST:: SOT 88748 SOS 51587 HAS SOPS 49386 HAS SOUS 26243 HAS SOUPS 24777 WITH SCORE 24828.587
AT ITER 3453 NEW BEST:: SOT 88676 SOS 51515 HAS SOPS 49314 HAS SOUS 26171 HAS SOUPS 24705 WITH SCORE 24756.515
AT ITER 3475 NEW BEST:: SOT 88739 SOS 51249 HAS SOPS 49030 HAS SOUS 26169 HAS SOUPS 24703 WITH SCORE 24754.249
AT ITER 3485 NEW BEST:: SOT 88685 SOS 51181 HAS SOPS 48962 HAS SOUS 26121 HAS SOUPS 24655 WITH SCORE 24706.181
AT ITER 3491 NEW BEST:: SOT 88701 SOS 51185 HAS SOPS 48930 HAS SOUS 26126 HAS SOUPS 24650 WITH SCORE 24701.185
AT ITER 3499 NEW BEST:: SOT 88767 SOS 51280 HAS SOPS 49038 HAS SOUS 26100 HAS SOUPS 24634 WITH SCORE 24685.28
AT ITER 3501 NEW BEST:: SOT 88764 SOS 51255 HAS SOPS 49013 HAS SOUS 26097 HAS SOUPS 24631 WITH SCORE 24682.255
AT ITER 3504 NEW BEST:: SOT 88757 SOS 51248 HAS SOPS 49006 HAS SOUS 26090 HAS SOUPS 24624 WITH SCORE 24675.248
AT ITER 3510 NEW BEST:: SOT 88743 SOS 51262 HAS SOPS 48992 HAS SOUS 26090 HAS SOUPS 24610 WITH SCORE 24661.262
AT ITER 3518 NEW BEST:: SOT 89013 SOS 51548 HAS SOPS 49278 HAS SOUS 26088 HAS SOUPS 24608 WITH SCORE 24659.548
AT ITER 3522 NEW BEST:: SOT 89011 SOS 51546 HAS SOPS 49276 HAS SOUS 26086 HAS SOUPS 24606 WITH SCORE 24657.546
AT ITER 3537 NEW BEST:: SOT 89031 SOS 51502 HAS SOPS 49226 HAS SOUS 26081 HAS SOUPS 24601 WITH SCORE 24652.502
AT ITER 3543 NEW BEST:: SOT 89096 SOS 51567 HAS SOPS 49291 HAS SOUS 26070 HAS SOUPS 24590 WITH SCORE 24641.567
AT ITER 3550 NEW BEST:: SOT 89092 SOS 51563 HAS SOPS 49287 HAS SOUS 26061 HAS SOUPS 24581 WITH SCORE 24632.563
AT ITER 3559 NEW BEST:: SOT 89110 SOS 51581 HAS SOPS 49305 HAS SOUS 26057 HAS SOUPS 24577 WITH SCORE 24628.581
AT ITER 3578 NEW BEST:: SOT 89106 SOS 51577 HAS SOPS 49301 HAS SOUS 26053 HAS SOUPS 24573 WITH SCORE 24624.577
AT ITER 3586 NEW BEST:: SOT 89106 SOS 50933 HAS SOPS 48657 HAS SOUS 26045 HAS SOUPS 24565 WITH SCORE 24615.933
AT ITER 3590 NEW BEST:: SOT 89089 SOS 50929 HAS SOPS 48653 HAS SOUS 26007 HAS SOUPS 24527 WITH SCORE 24577.929
AT ITER 3591 NEW BEST:: SOT 89078 SOS 50905 HAS SOPS 48629 HAS SOUS 25988 HAS SOUPS 24508 WITH SCORE 24558.905
AT ITER 3648 NEW BEST:: SOT 89078 SOS 50905 HAS SOPS 48629 HAS SOUS 25958 HAS SOUPS 24478 WITH SCORE 24528.905
AT ITER 3652 NEW BEST:: SOT 89166 SOS 50955 HAS SOPS 48689 HAS SOUS 25938 HAS SOUPS 24468 WITH SCORE 24518.955
AT ITER 3669 NEW BEST:: SOT 89164 SOS 50953 HAS SOPS 48687 HAS SOUS 25936 HAS SOUPS 24466 WITH SCORE 24516.953
AT ITER 3674 NEW BEST:: SOT 89183 SOS 50903 HAS SOPS 48637 HAS SOUS 25929 HAS SOUPS 24459 WITH SCORE 24509.903
AT ITER 3679 NEW BEST:: SOT 89147 SOS 50850 HAS SOPS 48584 HAS SOUS 25922 HAS SOUPS 24452 WITH SCORE 24502.85
AT ITER 3698 NEW BEST:: SOT 88981 SOS 50684 HAS SOPS 48418 HAS SOUS 25914 HAS SOUPS 24444 WITH SCORE 24494.684
AT ITER 3728 NEW BEST:: SOT 88981 SOS 50650 HAS SOPS 48384 HAS SOUS 25885 HAS SOUPS 24415 WITH SCORE 24465.65
AT ITER 3740 NEW BEST:: SOT 88972 SOS 50641 HAS SOPS 48375 HAS SOUS 25876 HAS SOUPS 24406 WITH SCORE 24456.641
AT ITER 3765 NEW BEST:: SOT 88972 SOS 50827 HAS SOPS 48561 HAS SOUS 25849 HAS SOUPS 24379 WITH SCORE 24429.827
AT ITER 3767 NEW BEST:: SOT 89027 SOS 50882 HAS SOPS 48616 HAS SOUS 25846 HAS SOUPS 24376 WITH SCORE 24426.882
AT ITER 3775 NEW BEST:: SOT 89025 SOS 50881 HAS SOPS 48615 HAS SOUS 25843 HAS SOUPS 24373 WITH SCORE 24423.881
AT ITER 3786 NEW BEST:: SOT 88972 SOS 50743 HAS SOPS 48448 HAS SOUS 25769 HAS SOUPS 24299 WITH SCORE 24349.743
AT ITER 3788 NEW BEST:: SOT 89115 SOS 50812 HAS SOPS 48517 HAS SOUS 25727 HAS SOUPS 24257 WITH SCORE 24307.812
AT ITER 3798 NEW BEST:: SOT 89095 SOS 50792 HAS SOPS 48497 HAS SOUS 25690 HAS SOUPS 24220 WITH SCORE 24270.792
AT ITER 3840 NEW BEST:: SOT 89096 SOS 50789 HAS SOPS 48494 HAS SOUS 25688 HAS SOUPS 24218 WITH SCORE 24268.789
AT ITER 3845 NEW BEST:: SOT 89067 SOS 50751 HAS SOPS 48456 HAS SOUS 25642 HAS SOUPS 24172 WITH SCORE 24222.751
AT ITER 3854 NEW BEST:: SOT 89067 SOS 50751 HAS SOPS 48456 HAS SOUS 25621 HAS SOUPS 24151 WITH SCORE 24201.751
AT ITER 3863 NEW BEST:: SOT 89066 SOS 50749 HAS SOPS 48454 HAS SOUS 25620 HAS SOUPS 24150 WITH SCORE 24200.749
AT ITER 3880 NEW BEST:: SOT 89046 SOS 50729 HAS SOPS 48434 HAS SOUS 25590 HAS SOUPS 24120 WITH SCORE 24170.729
AT ITER 3884 NEW BEST:: SOT 89031 SOS 50714 HAS SOPS 48423 HAS SOUS 25575 HAS SOUPS 24109 WITH SCORE 24159.714
AT ITER 3888 NEW BEST:: SOT 89088 SOS 50771 HAS SOPS 48480 HAS SOUS 25524 HAS SOUPS 24058 WITH SCORE 24108.771
AT ITER 3895 NEW BEST:: SOT 89070 SOS 50753 HAS SOPS 48462 HAS SOUS 25506 HAS SOUPS 24040 WITH SCORE 24090.753
AT ITER 3898 NEW BEST:: SOT 89097 SOS 50770 HAS SOPS 48479 HAS SOUS 25479 HAS SOUPS 24013 WITH SCORE 24063.77
AT ITER 3899 NEW BEST:: SOT 89189 SOS 50862 HAS SOPS 48571 HAS SOUS 25455 HAS SOUPS 23989 WITH SCORE 24039.862
AT ITER 3900 NEW BEST:: SOT 89188 SOS 50859 HAS SOPS 48568 HAS SOUS 25450 HAS SOUPS 23984 WITH SCORE 24034.859
AT ITER 3939 NEW BEST:: SOT 89280 SOS 50976 HAS SOPS 48685 HAS SOUS 25445 HAS SOUPS 23979 WITH SCORE 24029.976
AT ITER 3945 NEW BEST:: SOT 89240 SOS 50827 HAS SOPS 48502 HAS SOUS 25449 HAS SOUPS 23949 WITH SCORE 23999.827
AT ITER 3958 NEW BEST:: SOT 89237 SOS 50824 HAS SOPS 48499 HAS SOUS 25443 HAS SOUPS 23943 WITH SCORE 23993.824
AT ITER 3963 NEW BEST:: SOT 89207 SOS 50794 HAS SOPS 48469 HAS SOUS 25417 HAS SOUPS 23917 WITH SCORE 23967.794
AT ITER 3975 NEW BEST:: SOT 89207 SOS 50768 HAS SOPS 48443 HAS SOUS 25406 HAS SOUPS 23906 WITH SCORE 23956.768
AT ITER 3978 NEW BEST:: SOT 89175 SOS 50720 HAS SOPS 48395 HAS SOUS 25374 HAS SOUPS 23874 WITH SCORE 23924.72
AT ITER 3986 NEW BEST:: SOT 89166 SOS 50711 HAS SOPS 48386 HAS SOUS 25365 HAS SOUPS 23865 WITH SCORE 23915.711
AT ITER 4010 NEW BEST:: SOT 89214 SOS 50710 HAS SOPS 48385 HAS SOUS 25364 HAS SOUPS 23864 WITH SCORE 23914.71
AT ITER 4018 NEW BEST:: SOT 89214 SOS 50710 HAS SOPS 48385 HAS SOUS 25362 HAS SOUPS 23862 WITH SCORE 23912.71
AT ITER 4032 NEW BEST:: SOT 89229 SOS 50704 HAS SOPS 48376 HAS SOUS 25359 HAS SOUPS 23859 WITH SCORE 23909.704
AT ITER 4056 NEW BEST:: SOT 89189 SOS 51123 HAS SOPS 48801 HAS SOUS 25356 HAS SOUPS 23856 WITH SCORE 23907.123
AT ITER 4057 NEW BEST:: SOT 89129 SOS 50722 HAS SOPS 48400 HAS SOUS 25203 HAS SOUPS 23703 WITH SCORE 23753.722
AT ITER 4063 NEW BEST:: SOT 89103 SOS 50696 HAS SOPS 48374 HAS SOUS 25177 HAS SOUPS 23677 WITH SCORE 23727.696
AT ITER 4077 NEW BEST:: SOT 89074 SOS 50693 HAS SOPS 48371 HAS SOUS 25148 HAS SOUPS 23648 WITH SCORE 23698.693
AT ITER 4083 NEW BEST:: SOT 89031 SOS 50630 HAS SOPS 48308 HAS SOUS 25081 HAS SOUPS 23581 WITH SCORE 23631.63
AT ITER 4087 NEW BEST:: SOT 88951 SOS 50427 HAS SOPS 48105 HAS SOUS 25042 HAS SOUPS 23542 WITH SCORE 23592.427
AT ITER 4115 NEW BEST:: SOT 88951 SOS 50415 HAS SOPS 48093 HAS SOUS 25030 HAS SOUPS 23530 WITH SCORE 23580.415
AT ITER 4116 NEW BEST:: SOT 88953 SOS 50417 HAS SOPS 48095 HAS SOUS 24916 HAS SOUPS 23416 WITH SCORE 23466.417
AT ITER 4131 NEW BEST:: SOT 88900 SOS 50348 HAS SOPS 48026 HAS SOUS 24863 HAS SOUPS 23363 WITH SCORE 23413.348
AT ITER 4133 NEW BEST:: SOT 88858 SOS 50298 HAS SOPS 47976 HAS SOUS 24855 HAS SOUPS 23355 WITH SCORE 23405.298
AT ITER 4157 NEW BEST:: SOT 88828 SOS 50254 HAS SOPS 47932 HAS SOUS 24841 HAS SOUPS 23341 WITH SCORE 23391.254
AT ITER 4162 NEW BEST:: SOT 88825 SOS 50251 HAS SOPS 47929 HAS SOUS 24841 HAS SOUPS 23341 WITH SCORE 23391.251
AT ITER 4165 NEW BEST:: SOT 88819 SOS 50245 HAS SOPS 47923 HAS SOUS 24834 HAS SOUPS 23334 WITH SCORE 23384.245
AT ITER 4199 NEW BEST:: SOT 88798 SOS 50225 HAS SOPS 47903 HAS SOUS 24814 HAS SOUPS 23314 WITH SCORE 23364.225
AT ITER 4206 NEW BEST:: SOT 88798 SOS 50225 HAS SOPS 47903 HAS SOUS 24812 HAS SOUPS 23312 WITH SCORE 23362.225
AT ITER 4214 NEW BEST:: SOT 88800 SOS 50226 HAS SOPS 47902 HAS SOUS 24811 HAS SOUPS 23310 WITH SCORE 23360.226
AT ITER 4241 NEW BEST:: SOT 88796 SOS 50224 HAS SOPS 47900 HAS SOUS 24809 HAS SOUPS 23308 WITH SCORE 23358.224
AT ITER 4286 NEW BEST:: SOT 88743 SOS 49958 HAS SOPS 47634 HAS SOUS 24748 HAS SOUPS 23247 WITH SCORE 23296.958
AT ITER 4307 NEW BEST:: SOT 88836 SOS 49953 HAS SOPS 47629 HAS SOUS 24743 HAS SOUPS 23242 WITH SCORE 23291.953
AT ITER 4310 NEW BEST:: SOT 88826 SOS 49943 HAS SOPS 47619 HAS SOUS 24743 HAS SOUPS 23242 WITH SCORE 23291.943
AT ITER 4324 NEW BEST:: SOT 88854 SOS 49971 HAS SOPS 47647 HAS SOUS 24717 HAS SOUPS 23216 WITH SCORE 23265.971
AT ITER 4337 NEW BEST:: SOT 88850 SOS 49967 HAS SOPS 47643 HAS SOUS 24713 HAS SOUPS 23212 WITH SCORE 23261.967
AT ITER 4364 NEW BEST:: SOT 88849 SOS 49966 HAS SOPS 47642 HAS SOUS 24711 HAS SOUPS 23210 WITH SCORE 23259.966
AT ITER 4384 NEW BEST:: SOT 88859 SOS 49986 HAS SOPS 47652 HAS SOUS 24713 HAS SOUPS 23202 WITH SCORE 23251.986
AT ITER 4389 NEW BEST:: SOT 88837 SOS 49962 HAS SOPS 47628 HAS SOUS 24689 HAS SOUPS 23178 WITH SCORE 23227.962
AT ITER 4391 NEW BEST:: SOT 88837 SOS 49957 HAS SOPS 47623 HAS SOUS 24684 HAS SOUPS 23173 WITH SCORE 23222.957
AT ITER 4396 NEW BEST:: SOT 88860 SOS 49861 HAS SOPS 47425 HAS SOUS 24653 HAS SOUPS 23079 WITH SCORE 23128.861
AT ITER 4405 NEW BEST:: SOT 88842 SOS 49835 HAS SOPS 47399 HAS SOUS 24617 HAS SOUPS 23043 WITH SCORE 23092.835
AT ITER 4412 NEW BEST:: SOT 88842 SOS 49744 HAS SOPS 47308 HAS SOUS 24579 HAS SOUPS 23005 WITH SCORE 23054.744
AT ITER 4416 NEW BEST:: SOT 88748 SOS 49523 HAS SOPS 47087 HAS SOUS 24567 HAS SOUPS 22993 WITH SCORE 23042.523
AT ITER 4421 NEW BEST:: SOT 88748 SOS 49565 HAS SOPS 47129 HAS SOUS 24565 HAS SOUPS 22991 WITH SCORE 23040.565
AT ITER 4422 NEW BEST:: SOT 88736 SOS 49553 HAS SOPS 47117 HAS SOUS 24564 HAS SOUPS 22990 WITH SCORE 23039.553
AT ITER 4424 NEW BEST:: SOT 88714 SOS 49564 HAS SOPS 47128 HAS SOUS 24542 HAS SOUPS 22968 WITH SCORE 23017.564
AT ITER 4434 NEW BEST:: SOT 88732 SOS 49582 HAS SOPS 47146 HAS SOUS 24540 HAS SOUPS 22966 WITH SCORE 23015.582
AT ITER 4458 NEW BEST:: SOT 88861 SOS 49335 HAS SOPS 46762 HAS SOUS 24578 HAS SOUPS 22948 WITH SCORE 22997.335
AT ITER 4459 NEW BEST:: SOT 88847 SOS 49321 HAS SOPS 46748 HAS SOUS 24564 HAS SOUPS 22934 WITH SCORE 22983.321
AT ITER 4462 NEW BEST:: SOT 88867 SOS 49374 HAS SOPS 46768 HAS SOUS 24552 HAS SOUPS 22911 WITH SCORE 22960.374
AT ITER 4463 NEW BEST:: SOT 88816 SOS 49323 HAS SOPS 46717 HAS SOUS 24524 HAS SOUPS 22883 WITH SCORE 22932.323
AT ITER 4504 NEW BEST:: SOT 88787 SOS 49279 HAS SOPS 46673 HAS SOUS 24480 HAS SOUPS 22839 WITH SCORE 22888.279
AT ITER 4535 NEW BEST:: SOT 88808 SOS 49150 HAS SOPS 46544 HAS SOUS 24436 HAS SOUPS 22795 WITH SCORE 22844.15
AT ITER 4554 NEW BEST:: SOT 88816 SOS 49135 HAS SOPS 46529 HAS SOUS 24421 HAS SOUPS 22780 WITH SCORE 22829.135
AT ITER 4567 NEW BEST:: SOT 88783 SOS 49264 HAS SOPS 46650 HAS SOUS 24403 HAS SOUPS 22762 WITH SCORE 22811.264
AT ITER 4571 NEW BEST:: SOT 88779 SOS 49260 HAS SOPS 46643 HAS SOUS 24403 HAS SOUPS 22759 WITH SCORE 22808.26
AT ITER 4574 NEW BEST:: SOT 88779 SOS 49260 HAS SOPS 46643 HAS SOUS 24391 HAS SOUPS 22747 WITH SCORE 22796.26
AT ITER 4585 NEW BEST:: SOT 88803 SOS 49284 HAS SOPS 46667 HAS SOUS 24367 HAS SOUPS 22723 WITH SCORE 22772.284
AT ITER 4587 NEW BEST:: SOT 88946 SOS 49415 HAS SOPS 46798 HAS SOUS 24352 HAS SOUPS 22708 WITH SCORE 22757.415
AT ITER 4590 NEW BEST:: SOT 88950 SOS 49111 HAS SOPS 46488 HAS SOUS 24339 HAS SOUPS 22695 WITH SCORE 22744.111
AT ITER 4604 NEW BEST:: SOT 88956 SOS 49100 HAS SOPS 46447 HAS SOUS 24338 HAS SOUPS 22681 WITH SCORE 22730.1
AT ITER 4641 NEW BEST:: SOT 88899 SOS 49020 HAS SOPS 46367 HAS SOUS 24304 HAS SOUPS 22647 WITH SCORE 22696.02
AT ITER 4643 NEW BEST:: SOT 88899 SOS 49020 HAS SOPS 46367 HAS SOUS 24294 HAS SOUPS 22637 WITH SCORE 22686.02
AT ITER 4647 NEW BEST:: SOT 88887 SOS 49008 HAS SOPS 46355 HAS SOUS 24282 HAS SOUPS 22625 WITH SCORE 22674.008
AT ITER 4668 NEW BEST:: SOT 88846 SOS 48955 HAS SOPS 46302 HAS SOUS 24256 HAS SOUPS 22599 WITH SCORE 22647.955
AT ITER 4677 NEW BEST:: SOT 88846 SOS 49053 HAS SOPS 46400 HAS SOUS 24237 HAS SOUPS 22580 WITH SCORE 22629.053
AT ITER 4680 NEW BEST:: SOT 88814 SOS 49021 HAS SOPS 46368 HAS SOUS 24170 HAS SOUPS 22513 WITH SCORE 22562.021
AT ITER 4698 NEW BEST:: SOT 88786 SOS 49039 HAS SOPS 46376 HAS SOUS 24134 HAS SOUPS 22479 WITH SCORE 22528.039
AT ITER 4700 NEW BEST:: SOT 88770 SOS 48947 HAS SOPS 46284 HAS SOUS 24080 HAS SOUPS 22425 WITH SCORE 22473.947
AT ITER 4718 NEW BEST:: SOT 88626 SOS 48827 HAS SOPS 46164 HAS SOUS 24045 HAS SOUPS 22390 WITH SCORE 22438.827
AT ITER 4730 NEW BEST:: SOT 88632 SOS 48833 HAS SOPS 46170 HAS SOUS 24033 HAS SOUPS 22378 WITH SCORE 22426.833
AT ITER 4731 NEW BEST:: SOT 88650 SOS 48825 HAS SOPS 46162 HAS SOUS 24009 HAS SOUPS 22354 WITH SCORE 22402.825
AT ITER 4749 NEW BEST:: SOT 88618 SOS 48618 HAS SOPS 45935 HAS SOUS 23971 HAS SOUPS 22316 WITH SCORE 22364.618
AT ITER 4750 NEW BEST:: SOT 88618 SOS 48618 HAS SOPS 45935 HAS SOUS 23969 HAS SOUPS 22314 WITH SCORE 22362.618
AT ITER 4755 NEW BEST:: SOT 88624 SOS 48693 HAS SOPS 46010 HAS SOUS 23956 HAS SOUPS 22301 WITH SCORE 22349.693
AT ITER 4758 NEW BEST:: SOT 88633 SOS 48684 HAS SOPS 46001 HAS SOUS 23928 HAS SOUPS 22273 WITH SCORE 22321.684
AT ITER 4768 NEW BEST:: SOT 88624 SOS 48657 HAS SOPS 45974 HAS SOUS 23919 HAS SOUPS 22264 WITH SCORE 22312.657
AT ITER 4769 NEW BEST:: SOT 88574 SOS 48593 HAS SOPS 45910 HAS SOUS 23880 HAS SOUPS 22225 WITH SCORE 22273.593
AT ITER 4772 NEW BEST:: SOT 88574 SOS 48567 HAS SOPS 45878 HAS SOUS 23880 HAS SOUPS 22219 WITH SCORE 22267.567
AT ITER 4788 NEW BEST:: SOT 88549 SOS 48542 HAS SOPS 45853 HAS SOUS 23880 HAS SOUPS 22219 WITH SCORE 22267.542
AT ITER 4795 NEW BEST:: SOT 88550 SOS 48541 HAS SOPS 45852 HAS SOUS 23880 HAS SOUPS 22219 WITH SCORE 22267.541
AT ITER 4808 NEW BEST:: SOT 88550 SOS 48516 HAS SOPS 45827 HAS SOUS 23880 HAS SOUPS 22219 WITH SCORE 22267.516
AT ITER 4810 NEW BEST:: SOT 88535 SOS 48420 HAS SOPS 45722 HAS SOUS 23865 HAS SOUPS 22204 WITH SCORE 22252.42
AT ITER 4828 NEW BEST:: SOT 88489 SOS 48226 HAS SOPS 45500 HAS SOUS 23799 HAS SOUPS 22138 WITH SCORE 22186.226
AT ITER 4833 NEW BEST:: SOT 88455 SOS 48192 HAS SOPS 45466 HAS SOUS 23783 HAS SOUPS 22122 WITH SCORE 22170.192
AT ITER 4876 NEW BEST:: SOT 88487 SOS 48224 HAS SOPS 45498 HAS SOUS 23762 HAS SOUPS 22101 WITH SCORE 22149.224
AT ITER 4890 NEW BEST:: SOT 88487 SOS 48223 HAS SOPS 45496 HAS SOUS 23760 HAS SOUPS 22099 WITH SCORE 22147.223
AT ITER 4897 NEW BEST:: SOT 88459 SOS 48195 HAS SOPS 45468 HAS SOUS 23760 HAS SOUPS 22099 WITH SCORE 22147.195
AT ITER 4906 NEW BEST:: SOT 88459 SOS 48195 HAS SOPS 45468 HAS SOUS 23602 HAS SOUPS 21941 WITH SCORE 21989.195
AT ITER 4923 NEW BEST:: SOT 88429 SOS 48281 HAS SOPS 45554 HAS SOUS 23598 HAS SOUPS 21937 WITH SCORE 21985.281
AT ITER 4929 NEW BEST:: SOT 88429 SOS 48255 HAS SOPS 45528 HAS SOUS 23585 HAS SOUPS 21924 WITH SCORE 21972.255
AT ITER 4949 NEW BEST:: SOT 88429 SOS 48231 HAS SOPS 45504 HAS SOUS 23559 HAS SOUPS 21898 WITH SCORE 21946.231
AT ITER 4977 NEW BEST:: SOT 88401 SOS 48206 HAS SOPS 45479 HAS SOUS 23479 HAS SOUPS 21818 WITH SCORE 21866.206
AT ITER 4991 NEW BEST:: SOT 88383 SOS 48177 HAS SOPS 45450 HAS SOUS 23449 HAS SOUPS 21788 WITH SCORE 21836.177
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: NoC3x3-PT-2A-CTLCardinality-00 (AG( (EF(( potential( ( 2 ) <= (tk(P139)) ) | potential( (tk(P188)) <= (tk(P310)) ) )))))
PROPERTY: NoC3x3-PT-2A-CTLCardinality-01 ( ( ( potential( (tk(P220)) <= (tk(P61)) ) | (! ( potential( (tk(P243)) <= (tk(P170)) ) | potential( (tk(P174)) <= (tk(P160)) ) )) ) & (! (! ( potential( (tk(P216)) <= (tk(P160)) ) & potential( ( 1 ) <= (tk(P249)) ) ))) ) | (! (! (AF(potential( ( 1 ) <= (tk(P312)) ))))) )
PROPERTY: NoC3x3-PT-2A-CTLCardinality-02 (EF(( ( potential( ( 1 ) <= (tk(P270)) ) & (! potential( ( 1 ) <= (tk(P224)) )) ) & (AG( potential( ( 3 ) <= (tk(P83)) ))) )))
PROPERTY: NoC3x3-PT-2A-CTLCardinality-03 (AU( (AF(potential( (tk(P160)) <= (tk(P161)) ))),(AG( potential( ( 3 ) <= (tk(P194)) ))) ))
PROPERTY: NoC3x3-PT-2A-CTLCardinality-04 (AG( (! (EG( potential( ( 2 ) <= (tk(P106)) ))))))
PROPERTY: NoC3x3-PT-2A-CTLCardinality-05 (AG( potential( (tk(P169)) <= (tk(P1)) )))
PROPERTY: NoC3x3-PT-2A-CTLCardinality-06 ( ( (EF(( potential( (tk(P255)) <= (tk(P122)) ) & potential( ( 2 ) <= (tk(P260)) ) ))) & (EF(potential( (tk(P266)) <= (tk(P311)) ))) ) | (EG( (EG( potential( (tk(P80)) <= (tk(P64)) ))))) )
PROPERTY: NoC3x3-PT-2A-CTLCardinality-07 (! ( (AG( potential( (tk(P50)) <= (tk(P261)) ))) & ( (! ( potential( (tk(P181)) <= (tk(P53)) ) & potential( ( 3 ) <= (tk(P77)) ) )) | (AG( potential( ( 3 ) <= (tk(P124)) ))) ) ))
PROPERTY: NoC3x3-PT-2A-CTLCardinality-08 ( (AF(( ( potential( ( 1 ) <= (tk(P119)) ) & potential( (tk(P303)) <= (tk(P345)) ) ) & ( potential( (tk(P27)) <= (tk(P105)) ) & potential( ( 2 ) <= (tk(P102)) ) ) ))) | (EG( (EF(potential( (tk(P247)) <= (tk(P106)) ))))) )
PROPERTY: NoC3x3-PT-2A-CTLCardinality-09 ( ( (! (AF(potential( (tk(P113)) <= (tk(P348)) )))) | (AU( potential( (tk(P160)) <= (tk(P304)) ),potential( ( 1 ) <= (tk(P255)) ) )) ) & ( potential( (tk(P73)) <= (tk(P324)) ) & potential( (tk(P98)) <= (tk(P183)) ) ) )
PROPERTY: NoC3x3-PT-2A-CTLCardinality-10 ( ( potential( ( 3 ) <= (tk(P212)) ) | (EG( ( potential( ( 3 ) <= (tk(P12)) ) | potential( ( 3 ) <= (tk(P44)) ) ))) ) | ( (EG( ( potential( (tk(P330)) <= (tk(P251)) ) | potential( (tk(P133)) <= (tk(P85)) ) ))) & (AU( potential( (tk(P13)) <= (tk(P351)) ),potential( (tk(P169)) <= (tk(P151)) ) )) ) )
PROPERTY: NoC3x3-PT-2A-CTLCardinality-11 (! (AF(( ( potential( (tk(P85)) <= (tk(P176)) ) & potential( ( 3 ) <= (tk(P61)) ) ) | ( potential( ( 1 ) <= (tk(P269)) ) & potential( ( 2 ) <= (tk(P148)) ) ) ))))
PROPERTY: NoC3x3-PT-2A-CTLCardinality-12 ( (AU( ( potential( (tk(P203)) <= (tk(P80)) ) | potential( ( 2 ) <= (tk(P270)) ) ),( potential( ( 1 ) <= (tk(P49)) ) & potential( (tk(P359)) <= (tk(P201)) ) ) )) | (! (EF((! potential( (tk(P168)) <= (tk(P91)) ))))) )
PROPERTY: NoC3x3-PT-2A-CTLCardinality-13 (AF(potential( ( 3 ) <= (tk(P291)) )))
PROPERTY: NoC3x3-PT-2A-CTLCardinality-14 (! (AU( ( potential( (tk(P18)) <= (tk(P213)) ) | potential( (tk(P224)) <= (tk(P320)) ) ),(! potential( (tk(P173)) <= (tk(P317)) )) )))
PROPERTY: NoC3x3-PT-2A-CTLCardinality-15 (! (EG( potential( (tk(P327)) <= (tk(P247)) ))))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NoC3x3-PT-2A"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is NoC3x3-PT-2A, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r108-csrt-158961250400347"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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