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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 328K
-rw-r--r-- 1 mcc users 3.5K Apr 8 15:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 8 15:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 7 18:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K Apr 7 18:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 6 20:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 6 20:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 6 03:59 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 6 03:59 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 144K Mar 24 05:37 model.pnml

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

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

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-4A-CTLCardinality-00
FORMULA_NAME NoC3x3-PT-4A-CTLCardinality-01
FORMULA_NAME NoC3x3-PT-4A-CTLCardinality-02
FORMULA_NAME NoC3x3-PT-4A-CTLCardinality-03
FORMULA_NAME NoC3x3-PT-4A-CTLCardinality-04
FORMULA_NAME NoC3x3-PT-4A-CTLCardinality-05
FORMULA_NAME NoC3x3-PT-4A-CTLCardinality-06
FORMULA_NAME NoC3x3-PT-4A-CTLCardinality-07
FORMULA_NAME NoC3x3-PT-4A-CTLCardinality-08
FORMULA_NAME NoC3x3-PT-4A-CTLCardinality-09
FORMULA_NAME NoC3x3-PT-4A-CTLCardinality-10
FORMULA_NAME NoC3x3-PT-4A-CTLCardinality-11
FORMULA_NAME NoC3x3-PT-4A-CTLCardinality-12
FORMULA_NAME NoC3x3-PT-4A-CTLCardinality-13
FORMULA_NAME NoC3x3-PT-4A-CTLCardinality-14
FORMULA_NAME NoC3x3-PT-4A-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589641506494

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 4A
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: 293 places, 608 transitions, 1905 arcs.
AT ITER 0 NEW BEST:: SOT 122164 SOS 105332 HAS SOPS 105332 HAS SOUS 53376 HAS SOUPS 53376 WITH SCORE 53481.332
AT ITER 1 NEW BEST:: SOT 122164 SOS 105332 HAS SOPS 105332 HAS SOUS 53374 HAS SOUPS 53374 WITH SCORE 53479.332
AT ITER 2 NEW BEST:: SOT 122164 SOS 105332 HAS SOPS 105332 HAS SOUS 53364 HAS SOUPS 53364 WITH SCORE 53469.332
AT ITER 4 NEW BEST:: SOT 122416 SOS 105019 HAS SOPS 105019 HAS SOUS 53363 HAS SOUPS 53363 WITH SCORE 53468.019
AT ITER 6 NEW BEST:: SOT 122490 SOS 105093 HAS SOPS 105093 HAS SOUS 53358 HAS SOUPS 53358 WITH SCORE 53463.093
AT ITER 8 NEW BEST:: SOT 122522 SOS 105053 HAS SOPS 105053 HAS SOUS 53358 HAS SOUPS 53358 WITH SCORE 53463.053
AT ITER 10 NEW BEST:: SOT 121820 SOS 104504 HAS SOPS 104504 HAS SOUS 53257 HAS SOUPS 53257 WITH SCORE 53361.504
AT ITER 13 NEW BEST:: SOT 121530 SOS 104214 HAS SOPS 104214 HAS SOUS 53094 HAS SOUPS 53094 WITH SCORE 53198.214
AT ITER 17 NEW BEST:: SOT 121043 SOS 103727 HAS SOPS 103727 HAS SOUS 52852 HAS SOUPS 52852 WITH SCORE 52955.727
AT ITER 18 NEW BEST:: SOT 120703 SOS 103387 HAS SOPS 103387 HAS SOUS 52487 HAS SOUPS 52487 WITH SCORE 52590.387
AT ITER 19 NEW BEST:: SOT 120297 SOS 102981 HAS SOPS 102981 HAS SOUS 52304 HAS SOUPS 52304 WITH SCORE 52406.981
AT ITER 20 NEW BEST:: SOT 119977 SOS 102661 HAS SOPS 102661 HAS SOUS 51984 HAS SOUPS 51984 WITH SCORE 52086.661
AT ITER 22 NEW BEST:: SOT 119976 SOS 102660 HAS SOPS 102660 HAS SOUS 51984 HAS SOUPS 51984 WITH SCORE 52086.66
AT ITER 25 NEW BEST:: SOT 119350 SOS 102034 HAS SOPS 102034 HAS SOUS 51696 HAS SOUPS 51696 WITH SCORE 51798.034
AT ITER 27 NEW BEST:: SOT 119291 SOS 101975 HAS SOPS 101975 HAS SOUS 51633 HAS SOUPS 51633 WITH SCORE 51734.975
AT ITER 29 NEW BEST:: SOT 119340 SOS 101828 HAS SOPS 101828 HAS SOUS 51633 HAS SOUPS 51633 WITH SCORE 51734.828
AT ITER 30 NEW BEST:: SOT 118449 SOS 100937 HAS SOPS 100937 HAS SOUS 51037 HAS SOUPS 51037 WITH SCORE 51137.937
AT ITER 32 NEW BEST:: SOT 119473 SOS 100948 HAS SOPS 100948 HAS SOUS 51016 HAS SOUPS 51016 WITH SCORE 51116.948
AT ITER 33 NEW BEST:: SOT 119695 SOS 100424 HAS SOPS 100424 HAS SOUS 51016 HAS SOUPS 51016 WITH SCORE 51116.424
AT ITER 35 NEW BEST:: SOT 119765 SOS 100494 HAS SOPS 100494 HAS SOUS 51011 HAS SOUPS 51011 WITH SCORE 51111.494
AT ITER 36 NEW BEST:: SOT 119765 SOS 100494 HAS SOPS 100494 HAS SOUS 51009 HAS SOUPS 51009 WITH SCORE 51109.494
AT ITER 37 NEW BEST:: SOT 119713 SOS 100442 HAS SOPS 100442 HAS SOUS 50905 HAS SOUPS 50905 WITH SCORE 51005.442
AT ITER 40 NEW BEST:: SOT 119737 SOS 100466 HAS SOPS 100466 HAS SOUS 50881 HAS SOUPS 50881 WITH SCORE 50981.466
AT ITER 41 NEW BEST:: SOT 119464 SOS 100193 HAS SOPS 100193 HAS SOUS 50751 HAS SOUPS 50751 WITH SCORE 50851.193
AT ITER 42 NEW BEST:: SOT 119563 SOS 100160 HAS SOPS 100160 HAS SOUS 50751 HAS SOUPS 50751 WITH SCORE 50851.16
AT ITER 43 NEW BEST:: SOT 118832 SOS 99429 HAS SOPS 99429 HAS SOUS 50496 HAS SOUPS 50496 WITH SCORE 50595.429
AT ITER 44 NEW BEST:: SOT 118809 SOS 99406 HAS SOPS 99406 HAS SOUS 50474 HAS SOUPS 50474 WITH SCORE 50573.406
AT ITER 45 NEW BEST:: SOT 118791 SOS 98506 HAS SOPS 98506 HAS SOUS 50426 HAS SOUPS 50426 WITH SCORE 50524.506
AT ITER 46 NEW BEST:: SOT 118872 SOS 98587 HAS SOPS 98587 HAS SOUS 50424 HAS SOUPS 50424 WITH SCORE 50522.587
AT ITER 47 NEW BEST:: SOT 118916 SOS 98501 HAS SOPS 98501 HAS SOUS 50424 HAS SOUPS 50424 WITH SCORE 50522.501
AT ITER 48 NEW BEST:: SOT 118920 SOS 97697 HAS SOPS 97697 HAS SOUS 50313 HAS SOUPS 50313 WITH SCORE 50410.697
AT ITER 52 NEW BEST:: SOT 118875 SOS 97652 HAS SOPS 97652 HAS SOUS 50274 HAS SOUPS 50274 WITH SCORE 50371.652
AT ITER 54 NEW BEST:: SOT 118765 SOS 97296 HAS SOPS 97296 HAS SOUS 50206 HAS SOUPS 50206 WITH SCORE 50303.296
AT ITER 55 NEW BEST:: SOT 118765 SOS 95623 HAS SOPS 95421 HAS SOUS 50205 HAS SOUPS 50003 WITH SCORE 50098.623
AT ITER 56 NEW BEST:: SOT 119050 SOS 95026 HAS SOPS 94824 HAS SOUS 50205 HAS SOUPS 50003 WITH SCORE 50098.026
AT ITER 57 NEW BEST:: SOT 118411 SOS 94407 HAS SOPS 94205 HAS SOUS 49899 HAS SOUPS 49697 WITH SCORE 49791.407
AT ITER 59 NEW BEST:: SOT 118244 SOS 94405 HAS SOPS 94203 HAS SOUS 49866 HAS SOUPS 49664 WITH SCORE 49758.405
AT ITER 60 NEW BEST:: SOT 117522 SOS 93161 HAS SOPS 92959 HAS SOUS 49178 HAS SOUPS 48976 WITH SCORE 49069.161
AT ITER 64 NEW BEST:: SOT 118059 SOS 93042 HAS SOPS 92840 HAS SOUS 49141 HAS SOUPS 48939 WITH SCORE 49032.042
AT ITER 65 NEW BEST:: SOT 118256 SOS 93239 HAS SOPS 93037 HAS SOUS 49035 HAS SOUPS 48833 WITH SCORE 48926.239
AT ITER 66 NEW BEST:: SOT 118158 SOS 93043 HAS SOPS 92841 HAS SOUS 48909 HAS SOUPS 48707 WITH SCORE 48800.043
AT ITER 68 NEW BEST:: SOT 117423 SOS 92308 HAS SOPS 92106 HAS SOUS 48652 HAS SOUPS 48450 WITH SCORE 48542.308
AT ITER 69 NEW BEST:: SOT 116971 SOS 91856 HAS SOPS 91654 HAS SOUS 48530 HAS SOUPS 48328 WITH SCORE 48419.856
AT ITER 71 NEW BEST:: SOT 116971 SOS 91716 HAS SOPS 91580 HAS SOUS 48456 HAS SOUPS 48320 WITH SCORE 48411.716
AT ITER 74 NEW BEST:: SOT 116882 SOS 91613 HAS SOPS 91477 HAS SOUS 48303 HAS SOUPS 48167 WITH SCORE 48258.613
AT ITER 75 NEW BEST:: SOT 116653 SOS 91350 HAS SOPS 91214 HAS SOUS 48022 HAS SOUPS 47886 WITH SCORE 47977.35
AT ITER 76 NEW BEST:: SOT 116881 SOS 91578 HAS SOPS 91442 HAS SOUS 47907 HAS SOUPS 47771 WITH SCORE 47862.578
AT ITER 77 NEW BEST:: SOT 116375 SOS 91072 HAS SOPS 90936 HAS SOUS 47620 HAS SOUPS 47484 WITH SCORE 47575.072
AT ITER 83 NEW BEST:: SOT 116326 SOS 90456 HAS SOPS 90320 HAS SOUS 47486 HAS SOUPS 47350 WITH SCORE 47440.456
AT ITER 84 NEW BEST:: SOT 115980 SOS 90105 HAS SOPS 89969 HAS SOUS 47150 HAS SOUPS 47014 WITH SCORE 47104.105
AT ITER 85 NEW BEST:: SOT 115700 SOS 89825 HAS SOPS 89689 HAS SOUS 46868 HAS SOUPS 46732 WITH SCORE 46821.825
AT ITER 87 NEW BEST:: SOT 115053 SOS 89307 HAS SOPS 89171 HAS SOUS 46574 HAS SOUPS 46438 WITH SCORE 46527.307
AT ITER 91 NEW BEST:: SOT 114935 SOS 89189 HAS SOPS 89053 HAS SOUS 46423 HAS SOUPS 46287 WITH SCORE 46376.189
AT ITER 95 NEW BEST:: SOT 114892 SOS 89146 HAS SOPS 89010 HAS SOUS 46416 HAS SOUPS 46280 WITH SCORE 46369.146
AT ITER 97 NEW BEST:: SOT 114479 SOS 88733 HAS SOPS 88597 HAS SOUS 45918 HAS SOUPS 45782 WITH SCORE 45870.733
AT ITER 98 NEW BEST:: SOT 114323 SOS 88361 HAS SOPS 88225 HAS SOUS 45795 HAS SOUPS 45659 WITH SCORE 45747.361
AT ITER 101 NEW BEST:: SOT 114242 SOS 88280 HAS SOPS 88144 HAS SOUS 45553 HAS SOUPS 45417 WITH SCORE 45505.28
AT ITER 102 NEW BEST:: SOT 113842 SOS 87880 HAS SOPS 87744 HAS SOUS 45165 HAS SOUPS 45029 WITH SCORE 45116.88
AT ITER 105 NEW BEST:: SOT 113163 SOS 87201 HAS SOPS 87065 HAS SOUS 44486 HAS SOUPS 44350 WITH SCORE 44437.201
AT ITER 106 NEW BEST:: SOT 113163 SOS 87102 HAS SOPS 86966 HAS SOUS 44486 HAS SOUPS 44350 WITH SCORE 44437.102
AT ITER 107 NEW BEST:: SOT 112914 SOS 86853 HAS SOPS 86717 HAS SOUS 44188 HAS SOUPS 44052 WITH SCORE 44138.853
AT ITER 110 NEW BEST:: SOT 112865 SOS 86651 HAS SOPS 86515 HAS SOUS 44129 HAS SOUPS 43993 WITH SCORE 44079.651
AT ITER 113 NEW BEST:: SOT 112408 SOS 86194 HAS SOPS 86058 HAS SOUS 43690 HAS SOUPS 43554 WITH SCORE 43640.194
AT ITER 114 NEW BEST:: SOT 111895 SOS 85681 HAS SOPS 85545 HAS SOUS 43463 HAS SOUPS 43327 WITH SCORE 43412.681
AT ITER 120 NEW BEST:: SOT 111846 SOS 85632 HAS SOPS 85496 HAS SOUS 43429 HAS SOUPS 43293 WITH SCORE 43378.632
AT ITER 129 NEW BEST:: SOT 111843 SOS 85629 HAS SOPS 85493 HAS SOUS 43429 HAS SOUPS 43293 WITH SCORE 43378.629
AT ITER 131 NEW BEST:: SOT 111843 SOS 85514 HAS SOPS 85447 HAS SOUS 43202 HAS SOUPS 43135 WITH SCORE 43220.514
AT ITER 134 NEW BEST:: SOT 111413 SOS 85084 HAS SOPS 85017 HAS SOUS 42945 HAS SOUPS 42878 WITH SCORE 42963.084
AT ITER 136 NEW BEST:: SOT 111318 SOS 83757 HAS SOPS 83690 HAS SOUS 42824 HAS SOUPS 42757 WITH SCORE 42840.757
AT ITER 139 NEW BEST:: SOT 111276 SOS 83777 HAS SOPS 83648 HAS SOUS 42834 HAS SOUPS 42705 WITH SCORE 42788.777
AT ITER 143 NEW BEST:: SOT 110878 SOS 83379 HAS SOPS 83250 HAS SOUS 42806 HAS SOUPS 42677 WITH SCORE 42760.379
AT ITER 147 NEW BEST:: SOT 110499 SOS 83000 HAS SOPS 82871 HAS SOUS 42633 HAS SOUPS 42504 WITH SCORE 42587.0
AT ITER 149 NEW BEST:: SOT 110499 SOS 82880 HAS SOPS 82751 HAS SOUS 42633 HAS SOUPS 42504 WITH SCORE 42586.88
AT ITER 153 NEW BEST:: SOT 110472 SOS 82817 HAS SOPS 82688 HAS SOUS 42612 HAS SOUPS 42483 WITH SCORE 42565.817
AT ITER 155 NEW BEST:: SOT 110472 SOS 82817 HAS SOPS 82688 HAS SOUS 42585 HAS SOUPS 42456 WITH SCORE 42538.817
AT ITER 157 NEW BEST:: SOT 110471 SOS 82816 HAS SOPS 82687 HAS SOUS 42584 HAS SOUPS 42455 WITH SCORE 42537.816
AT ITER 158 NEW BEST:: SOT 110334 SOS 82679 HAS SOPS 82550 HAS SOUS 42533 HAS SOUPS 42404 WITH SCORE 42486.679
AT ITER 165 NEW BEST:: SOT 110322 SOS 82664 HAS SOPS 82535 HAS SOUS 42521 HAS SOUPS 42392 WITH SCORE 42474.664
AT ITER 167 NEW BEST:: SOT 110231 SOS 82573 HAS SOPS 82444 HAS SOUS 42440 HAS SOUPS 42311 WITH SCORE 42393.573
AT ITER 169 NEW BEST:: SOT 110231 SOS 82573 HAS SOPS 82444 HAS SOUS 42404 HAS SOUPS 42275 WITH SCORE 42357.573
AT ITER 171 NEW BEST:: SOT 110167 SOS 82563 HAS SOPS 82434 HAS SOUS 42311 HAS SOUPS 42182 WITH SCORE 42264.563
AT ITER 172 NEW BEST:: SOT 110156 SOS 82552 HAS SOPS 82423 HAS SOUS 42296 HAS SOUPS 42167 WITH SCORE 42249.552
AT ITER 174 NEW BEST:: SOT 110138 SOS 82534 HAS SOPS 82405 HAS SOUS 42278 HAS SOUPS 42149 WITH SCORE 42231.534
AT ITER 180 NEW BEST:: SOT 110138 SOS 82511 HAS SOPS 82382 HAS SOUS 42232 HAS SOUPS 42103 WITH SCORE 42185.511
AT ITER 183 NEW BEST:: SOT 110128 SOS 82501 HAS SOPS 82372 HAS SOUS 42232 HAS SOUPS 42103 WITH SCORE 42185.501
AT ITER 184 NEW BEST:: SOT 110168 SOS 82517 HAS SOPS 82388 HAS SOUS 42202 HAS SOUPS 42073 WITH SCORE 42155.517
AT ITER 187 NEW BEST:: SOT 110191 SOS 82517 HAS SOPS 82388 HAS SOUS 42179 HAS SOUPS 42050 WITH SCORE 42132.517
AT ITER 191 NEW BEST:: SOT 110095 SOS 82401 HAS SOPS 82272 HAS SOUS 42068 HAS SOUPS 41939 WITH SCORE 42021.401
AT ITER 192 NEW BEST:: SOT 109438 SOS 81761 HAS SOPS 81632 HAS SOUS 41328 HAS SOUPS 41199 WITH SCORE 41280.761
AT ITER 194 NEW BEST:: SOT 109309 SOS 81604 HAS SOPS 81445 HAS SOUS 41192 HAS SOUPS 41033 WITH SCORE 41114.604
AT ITER 195 NEW BEST:: SOT 108753 SOS 81920 HAS SOPS 81868 HAS SOUS 40937 HAS SOUPS 40885 WITH SCORE 40966.92
AT ITER 196 NEW BEST:: SOT 108786 SOS 81048 HAS SOPS 80969 HAS SOUS 40902 HAS SOUPS 40823 WITH SCORE 40904.048
AT ITER 201 NEW BEST:: SOT 108050 SOS 80312 HAS SOPS 80233 HAS SOUS 40556 HAS SOUPS 40477 WITH SCORE 40557.312
AT ITER 206 NEW BEST:: SOT 108164 SOS 79846 HAS SOPS 79767 HAS SOUS 40553 HAS SOUPS 40474 WITH SCORE 40553.846
AT ITER 209 NEW BEST:: SOT 108236 SOS 79888 HAS SOPS 79839 HAS SOUS 40505 HAS SOUPS 40456 WITH SCORE 40535.888
AT ITER 211 NEW BEST:: SOT 108215 SOS 79531 HAS SOPS 79482 HAS SOUS 40505 HAS SOUPS 40456 WITH SCORE 40535.531
AT ITER 214 NEW BEST:: SOT 107750 SOS 78687 HAS SOPS 78638 HAS SOUS 40094 HAS SOUPS 40045 WITH SCORE 40123.687
AT ITER 215 NEW BEST:: SOT 108022 SOS 78449 HAS SOPS 78400 HAS SOUS 40093 HAS SOUPS 40044 WITH SCORE 40122.449
AT ITER 219 NEW BEST:: SOT 107953 SOS 78380 HAS SOPS 78331 HAS SOUS 40093 HAS SOUPS 40044 WITH SCORE 40122.38
AT ITER 221 NEW BEST:: SOT 107953 SOS 77797 HAS SOPS 77748 HAS SOUS 40092 HAS SOUPS 40043 WITH SCORE 40120.797
AT ITER 224 NEW BEST:: SOT 107560 SOS 77404 HAS SOPS 77355 HAS SOUS 39839 HAS SOUPS 39790 WITH SCORE 39867.404
AT ITER 225 NEW BEST:: SOT 107767 SOS 77147 HAS SOPS 77098 HAS SOUS 39833 HAS SOUPS 39784 WITH SCORE 39861.147
AT ITER 227 NEW BEST:: SOT 107707 SOS 77087 HAS SOPS 77038 HAS SOUS 39809 HAS SOUPS 39760 WITH SCORE 39837.087
AT ITER 229 NEW BEST:: SOT 107199 SOS 76552 HAS SOPS 76530 HAS SOUS 39423 HAS SOUPS 39401 WITH SCORE 39477.552
AT ITER 237 NEW BEST:: SOT 107135 SOS 76488 HAS SOPS 76466 HAS SOUS 39357 HAS SOUPS 39335 WITH SCORE 39411.488
AT ITER 247 NEW BEST:: SOT 107076 SOS 76429 HAS SOPS 76407 HAS SOUS 39313 HAS SOUPS 39291 WITH SCORE 39367.429
AT ITER 251 NEW BEST:: SOT 107102 SOS 76455 HAS SOPS 76433 HAS SOUS 39304 HAS SOUPS 39282 WITH SCORE 39358.455
AT ITER 256 NEW BEST:: SOT 106892 SOS 76322 HAS SOPS 76300 HAS SOUS 39221 HAS SOUPS 39199 WITH SCORE 39275.322
AT ITER 258 NEW BEST:: SOT 106892 SOS 76043 HAS SOPS 76000 HAS SOUS 39241 HAS SOUPS 39198 WITH SCORE 39274.043
AT ITER 259 NEW BEST:: SOT 106883 SOS 76016 HAS SOPS 75973 HAS SOUS 39232 HAS SOUPS 39189 WITH SCORE 39265.016
AT ITER 262 NEW BEST:: SOT 106825 SOS 75958 HAS SOPS 75915 HAS SOUS 39159 HAS SOUPS 39116 WITH SCORE 39191.958
AT ITER 263 NEW BEST:: SOT 106817 SOS 75870 HAS SOPS 75827 HAS SOUS 39159 HAS SOUPS 39116 WITH SCORE 39191.87
AT ITER 267 NEW BEST:: SOT 106817 SOS 75855 HAS SOPS 75812 HAS SOUS 39120 HAS SOUPS 39077 WITH SCORE 39152.855
AT ITER 268 NEW BEST:: SOT 106450 SOS 75358 HAS SOPS 75315 HAS SOUS 38910 HAS SOUPS 38867 WITH SCORE 38942.358
AT ITER 269 NEW BEST:: SOT 106502 SOS 75410 HAS SOPS 75367 HAS SOUS 38904 HAS SOUPS 38861 WITH SCORE 38936.41
AT ITER 271 NEW BEST:: SOT 105808 SOS 74716 HAS SOPS 74673 HAS SOUS 38387 HAS SOUPS 38344 WITH SCORE 38418.716
AT ITER 276 NEW BEST:: SOT 105778 SOS 74551 HAS SOPS 74508 HAS SOUS 38387 HAS SOUPS 38344 WITH SCORE 38418.551
AT ITER 279 NEW BEST:: SOT 105868 SOS 74509 HAS SOPS 74486 HAS SOUS 38364 HAS SOUPS 38341 WITH SCORE 38415.509
AT ITER 282 NEW BEST:: SOT 105920 SOS 74561 HAS SOPS 74538 HAS SOUS 38334 HAS SOUPS 38311 WITH SCORE 38385.561
AT ITER 283 NEW BEST:: SOT 105838 SOS 74479 HAS SOPS 74456 HAS SOUS 38187 HAS SOUPS 38164 WITH SCORE 38238.479
AT ITER 284 NEW BEST:: SOT 105786 SOS 74427 HAS SOPS 74404 HAS SOUS 38187 HAS SOUPS 38164 WITH SCORE 38238.427
AT ITER 285 NEW BEST:: SOT 105313 SOS 73954 HAS SOPS 73931 HAS SOUS 38066 HAS SOUPS 38043 WITH SCORE 38116.954
AT ITER 291 NEW BEST:: SOT 105231 SOS 73872 HAS SOPS 73849 HAS SOUS 37912 HAS SOUPS 37889 WITH SCORE 37962.872
AT ITER 292 NEW BEST:: SOT 105213 SOS 73854 HAS SOPS 73831 HAS SOUS 37911 HAS SOUPS 37888 WITH SCORE 37961.854
AT ITER 294 NEW BEST:: SOT 105213 SOS 73696 HAS SOPS 73653 HAS SOUS 37931 HAS SOUPS 37888 WITH SCORE 37961.696
AT ITER 295 NEW BEST:: SOT 105125 SOS 73608 HAS SOPS 73565 HAS SOUS 37898 HAS SOUPS 37855 WITH SCORE 37928.608
AT ITER 298 NEW BEST:: SOT 105085 SOS 73568 HAS SOPS 73525 HAS SOUS 37801 HAS SOUPS 37758 WITH SCORE 37831.568
AT ITER 299 NEW BEST:: SOT 105251 SOS 73734 HAS SOPS 73691 HAS SOUS 37694 HAS SOUPS 37651 WITH SCORE 37724.734
AT ITER 300 NEW BEST:: SOT 105114 SOS 73597 HAS SOPS 73554 HAS SOUS 37662 HAS SOUPS 37619 WITH SCORE 37692.597
AT ITER 302 NEW BEST:: SOT 104802 SOS 73285 HAS SOPS 73242 HAS SOUS 37154 HAS SOUPS 37111 WITH SCORE 37184.285
AT ITER 313 NEW BEST:: SOT 104666 SOS 73149 HAS SOPS 73106 HAS SOUS 37001 HAS SOUPS 36958 WITH SCORE 37031.149
AT ITER 314 NEW BEST:: SOT 104609 SOS 72498 HAS SOPS 72455 HAS SOUS 36830 HAS SOUPS 36787 WITH SCORE 36859.498
AT ITER 318 NEW BEST:: SOT 104515 SOS 72404 HAS SOPS 72361 HAS SOUS 36736 HAS SOUPS 36693 WITH SCORE 36765.404
AT ITER 321 NEW BEST:: SOT 104348 SOS 70921 HAS SOPS 70878 HAS SOUS 36356 HAS SOUPS 36313 WITH SCORE 36383.921
AT ITER 322 NEW BEST:: SOT 104268 SOS 70841 HAS SOPS 70798 HAS SOUS 36290 HAS SOUPS 36247 WITH SCORE 36317.841
AT ITER 323 NEW BEST:: SOT 104268 SOS 70811 HAS SOPS 70768 HAS SOUS 36290 HAS SOUPS 36247 WITH SCORE 36317.811
AT ITER 324 NEW BEST:: SOT 104167 SOS 70694 HAS SOPS 70651 HAS SOUS 36057 HAS SOUPS 36014 WITH SCORE 36084.694
AT ITER 325 NEW BEST:: SOT 104130 SOS 70657 HAS SOPS 70614 HAS SOUS 36007 HAS SOUPS 35964 WITH SCORE 36034.657
AT ITER 327 NEW BEST:: SOT 104097 SOS 70624 HAS SOPS 70581 HAS SOUS 35979 HAS SOUPS 35936 WITH SCORE 36006.624
AT ITER 333 NEW BEST:: SOT 103994 SOS 70322 HAS SOPS 70279 HAS SOUS 35901 HAS SOUPS 35858 WITH SCORE 35928.322
AT ITER 335 NEW BEST:: SOT 103913 SOS 70241 HAS SOPS 70198 HAS SOUS 35864 HAS SOUPS 35821 WITH SCORE 35891.241
AT ITER 344 NEW BEST:: SOT 103555 SOS 69824 HAS SOPS 69781 HAS SOUS 35835 HAS SOUPS 35792 WITH SCORE 35861.824
AT ITER 345 NEW BEST:: SOT 103555 SOS 69601 HAS SOPS 69558 HAS SOUS 35821 HAS SOUPS 35778 WITH SCORE 35847.601
AT ITER 357 NEW BEST:: SOT 103435 SOS 69481 HAS SOPS 69438 HAS SOUS 35806 HAS SOUPS 35763 WITH SCORE 35832.481
AT ITER 361 NEW BEST:: SOT 103783 SOS 69617 HAS SOPS 69574 HAS SOUS 35753 HAS SOUPS 35710 WITH SCORE 35779.617
AT ITER 364 NEW BEST:: SOT 103783 SOS 69617 HAS SOPS 69574 HAS SOUS 35725 HAS SOUPS 35682 WITH SCORE 35751.617
AT ITER 366 NEW BEST:: SOT 103757 SOS 69536 HAS SOPS 69493 HAS SOUS 35677 HAS SOUPS 35634 WITH SCORE 35703.536
AT ITER 369 NEW BEST:: SOT 103411 SOS 68601 HAS SOPS 68558 HAS SOUS 35302 HAS SOUPS 35259 WITH SCORE 35327.601
AT ITER 370 NEW BEST:: SOT 103260 SOS 68402 HAS SOPS 68359 HAS SOUS 35188 HAS SOUPS 35145 WITH SCORE 35213.402
AT ITER 376 NEW BEST:: SOT 103237 SOS 68486 HAS SOPS 68443 HAS SOUS 35142 HAS SOUPS 35099 WITH SCORE 35167.486
AT ITER 390 NEW BEST:: SOT 103237 SOS 68412 HAS SOPS 68369 HAS SOUS 35131 HAS SOUPS 35088 WITH SCORE 35156.412
AT ITER 407 NEW BEST:: SOT 103224 SOS 68399 HAS SOPS 68356 HAS SOUS 35128 HAS SOUPS 35085 WITH SCORE 35153.399
AT ITER 409 NEW BEST:: SOT 102632 SOS 67819 HAS SOPS 67776 HAS SOUS 34603 HAS SOUPS 34560 WITH SCORE 34627.819
AT ITER 413 NEW BEST:: SOT 102713 SOS 67900 HAS SOPS 67857 HAS SOUS 34564 HAS SOUPS 34521 WITH SCORE 34588.9
AT ITER 421 NEW BEST:: SOT 102713 SOS 67886 HAS SOPS 67843 HAS SOUS 34564 HAS SOUPS 34521 WITH SCORE 34588.886
AT ITER 427 NEW BEST:: SOT 102763 SOS 67833 HAS SOPS 67790 HAS SOUS 34511 HAS SOUPS 34468 WITH SCORE 34535.833
AT ITER 428 NEW BEST:: SOT 102896 SOS 67338 HAS SOPS 67295 HAS SOUS 34261 HAS SOUPS 34218 WITH SCORE 34285.338
AT ITER 430 NEW BEST:: SOT 103007 SOS 65770 HAS SOPS 65727 HAS SOUS 34170 HAS SOUPS 34127 WITH SCORE 34192.77
AT ITER 432 NEW BEST:: SOT 102992 SOS 65755 HAS SOPS 65712 HAS SOUS 34155 HAS SOUPS 34112 WITH SCORE 34177.755
AT ITER 434 NEW BEST:: SOT 102997 SOS 65760 HAS SOPS 65717 HAS SOUS 34140 HAS SOUPS 34097 WITH SCORE 34162.76
AT ITER 440 NEW BEST:: SOT 102748 SOS 65448 HAS SOPS 65405 HAS SOUS 33659 HAS SOUPS 33616 WITH SCORE 33681.448
AT ITER 460 NEW BEST:: SOT 102622 SOS 65322 HAS SOPS 65279 HAS SOUS 33533 HAS SOUPS 33490 WITH SCORE 33555.322
AT ITER 463 NEW BEST:: SOT 102679 SOS 65393 HAS SOPS 65350 HAS SOUS 33529 HAS SOUPS 33486 WITH SCORE 33551.393
AT ITER 467 NEW BEST:: SOT 102707 SOS 65549 HAS SOPS 65506 HAS SOUS 33514 HAS SOUPS 33471 WITH SCORE 33536.549
AT ITER 470 NEW BEST:: SOT 102198 SOS 65040 HAS SOPS 64997 HAS SOUS 33421 HAS SOUPS 33378 WITH SCORE 33443.04
AT ITER 472 NEW BEST:: SOT 101919 SOS 64761 HAS SOPS 64718 HAS SOUS 32992 HAS SOUPS 32949 WITH SCORE 33013.761
AT ITER 478 NEW BEST:: SOT 101893 SOS 64735 HAS SOPS 64692 HAS SOUS 32925 HAS SOUPS 32882 WITH SCORE 32946.735
AT ITER 482 NEW BEST:: SOT 102474 SOS 64670 HAS SOPS 64615 HAS SOUS 32924 HAS SOUPS 32869 WITH SCORE 32933.67
AT ITER 483 NEW BEST:: SOT 102472 SOS 64668 HAS SOPS 64613 HAS SOUS 32922 HAS SOUPS 32867 WITH SCORE 32931.668
AT ITER 484 NEW BEST:: SOT 102486 SOS 64713 HAS SOPS 64627 HAS SOUS 32883 HAS SOUPS 32797 WITH SCORE 32861.713
AT ITER 485 NEW BEST:: SOT 102587 SOS 64610 HAS SOPS 64524 HAS SOUS 32879 HAS SOUPS 32793 WITH SCORE 32857.61
AT ITER 502 NEW BEST:: SOT 101972 SOS 64683 HAS SOPS 64609 HAS SOUS 32824 HAS SOUPS 32750 WITH SCORE 32814.683
AT ITER 503 NEW BEST:: SOT 101990 SOS 64661 HAS SOPS 64587 HAS SOUS 32794 HAS SOUPS 32720 WITH SCORE 32784.661
AT ITER 507 NEW BEST:: SOT 101984 SOS 64655 HAS SOPS 64581 HAS SOUS 32780 HAS SOUPS 32706 WITH SCORE 32770.655
AT ITER 514 NEW BEST:: SOT 101984 SOS 64629 HAS SOPS 64555 HAS SOUS 32780 HAS SOUPS 32706 WITH SCORE 32770.629
AT ITER 516 NEW BEST:: SOT 101966 SOS 64611 HAS SOPS 64537 HAS SOUS 32641 HAS SOUPS 32567 WITH SCORE 32631.611
AT ITER 517 NEW BEST:: SOT 101966 SOS 64611 HAS SOPS 64537 HAS SOUS 32607 HAS SOUPS 32533 WITH SCORE 32597.611
AT ITER 519 NEW BEST:: SOT 101345 SOS 63746 HAS SOPS 63672 HAS SOUS 32338 HAS SOUPS 32264 WITH SCORE 32327.746
AT ITER 521 NEW BEST:: SOT 101333 SOS 63734 HAS SOPS 63660 HAS SOUS 32290 HAS SOUPS 32216 WITH SCORE 32279.734
AT ITER 527 NEW BEST:: SOT 101026 SOS 63427 HAS SOPS 63353 HAS SOUS 31939 HAS SOUPS 31865 WITH SCORE 31928.427
AT ITER 529 NEW BEST:: SOT 100834 SOS 63416 HAS SOPS 63342 HAS SOUS 31912 HAS SOUPS 31838 WITH SCORE 31901.416
AT ITER 533 NEW BEST:: SOT 100787 SOS 63348 HAS SOPS 63274 HAS SOUS 31853 HAS SOUPS 31779 WITH SCORE 31842.348
AT ITER 538 NEW BEST:: SOT 100926 SOS 63515 HAS SOPS 63462 HAS SOUS 31791 HAS SOUPS 31738 WITH SCORE 31801.515
AT ITER 547 NEW BEST:: SOT 100806 SOS 63395 HAS SOPS 63342 HAS SOUS 31731 HAS SOUPS 31678 WITH SCORE 31741.395
AT ITER 550 NEW BEST:: SOT 100853 SOS 63442 HAS SOPS 63389 HAS SOUS 31723 HAS SOUPS 31670 WITH SCORE 31733.442
AT ITER 551 NEW BEST:: SOT 100725 SOS 63186 HAS SOPS 63133 HAS SOUS 31595 HAS SOUPS 31542 WITH SCORE 31605.186
AT ITER 552 NEW BEST:: SOT 100724 SOS 63185 HAS SOPS 63132 HAS SOUS 31594 HAS SOUPS 31541 WITH SCORE 31604.185
AT ITER 555 NEW BEST:: SOT 100700 SOS 63065 HAS SOPS 63012 HAS SOUS 31544 HAS SOUPS 31491 WITH SCORE 31554.065
AT ITER 558 NEW BEST:: SOT 100906 SOS 62788 HAS SOPS 62735 HAS SOUS 31509 HAS SOUPS 31456 WITH SCORE 31518.788
AT ITER 559 NEW BEST:: SOT 100900 SOS 62780 HAS SOPS 62727 HAS SOUS 31498 HAS SOUPS 31445 WITH SCORE 31507.78
AT ITER 572 NEW BEST:: SOT 100963 SOS 62757 HAS SOPS 62704 HAS SOUS 31498 HAS SOUPS 31445 WITH SCORE 31507.757
AT ITER 579 NEW BEST:: SOT 100879 SOS 62579 HAS SOPS 62526 HAS SOUS 31412 HAS SOUPS 31359 WITH SCORE 31421.579
AT ITER 589 NEW BEST:: SOT 100879 SOS 62447 HAS SOPS 62394 HAS SOUS 31412 HAS SOUPS 31359 WITH SCORE 31421.447
AT ITER 590 NEW BEST:: SOT 100854 SOS 62338 HAS SOPS 62257 HAS SOUS 31266 HAS SOUPS 31185 WITH SCORE 31247.338
AT ITER 591 NEW BEST:: SOT 100135 SOS 61910 HAS SOPS 61888 HAS SOUS 31105 HAS SOUPS 31083 WITH SCORE 31144.91
AT ITER 597 NEW BEST:: SOT 100132 SOS 61940 HAS SOPS 61918 HAS SOUS 31038 HAS SOUPS 31016 WITH SCORE 31077.94
AT ITER 602 NEW BEST:: SOT 100070 SOS 61878 HAS SOPS 61856 HAS SOUS 31038 HAS SOUPS 31016 WITH SCORE 31077.878
AT ITER 608 NEW BEST:: SOT 100069 SOS 61875 HAS SOPS 61854 HAS SOUS 31035 HAS SOUPS 31014 WITH SCORE 31075.875
AT ITER 614 NEW BEST:: SOT 99804 SOS 61879 HAS SOPS 61858 HAS SOUS 30947 HAS SOUPS 30926 WITH SCORE 30987.879
AT ITER 619 NEW BEST:: SOT 99240 SOS 61315 HAS SOPS 61294 HAS SOUS 30813 HAS SOUPS 30792 WITH SCORE 30853.315
AT ITER 620 NEW BEST:: SOT 99214 SOS 61289 HAS SOPS 61268 HAS SOUS 30777 HAS SOUPS 30756 WITH SCORE 30817.289
AT ITER 636 NEW BEST:: SOT 99277 SOS 61145 HAS SOPS 61093 HAS SOUS 30781 HAS SOUPS 30729 WITH SCORE 30790.145
AT ITER 637 NEW BEST:: SOT 99255 SOS 61123 HAS SOPS 61071 HAS SOUS 30781 HAS SOUPS 30729 WITH SCORE 30790.123
AT ITER 639 NEW BEST:: SOT 99255 SOS 61123 HAS SOPS 61071 HAS SOUS 30775 HAS SOUPS 30723 WITH SCORE 30784.123
AT ITER 646 NEW BEST:: SOT 98920 SOS 60852 HAS SOPS 60800 HAS SOUS 30446 HAS SOUPS 30394 WITH SCORE 30454.852
AT ITER 649 NEW BEST:: SOT 98792 SOS 58958 HAS SOPS 58906 HAS SOUS 30185 HAS SOUPS 30133 WITH SCORE 30191.958
AT ITER 651 NEW BEST:: SOT 98849 SOS 58429 HAS SOPS 58377 HAS SOUS 30095 HAS SOUPS 30043 WITH SCORE 30101.429
AT ITER 654 NEW BEST:: SOT 98913 SOS 58455 HAS SOPS 58403 HAS SOUS 30093 HAS SOUPS 30041 WITH SCORE 30099.455
AT ITER 659 NEW BEST:: SOT 99351 SOS 58910 HAS SOPS 58858 HAS SOUS 29869 HAS SOUPS 29817 WITH SCORE 29875.91
AT ITER 667 NEW BEST:: SOT 99373 SOS 58957 HAS SOPS 58905 HAS SOUS 29868 HAS SOUPS 29816 WITH SCORE 29874.957
AT ITER 677 NEW BEST:: SOT 99404 SOS 58956 HAS SOPS 58904 HAS SOUS 29834 HAS SOUPS 29782 WITH SCORE 29840.956
AT ITER 682 NEW BEST:: SOT 98606 SOS 58172 HAS SOPS 58120 HAS SOUS 29541 HAS SOUPS 29489 WITH SCORE 29547.172
AT ITER 697 NEW BEST:: SOT 98614 SOS 58140 HAS SOPS 58088 HAS SOUS 29517 HAS SOUPS 29465 WITH SCORE 29523.14
AT ITER 700 NEW BEST:: SOT 98544 SOS 57967 HAS SOPS 57936 HAS SOUS 29302 HAS SOUPS 29271 WITH SCORE 29328.967
AT ITER 702 NEW BEST:: SOT 98145 SOS 57598 HAS SOPS 57567 HAS SOUS 29268 HAS SOUPS 29237 WITH SCORE 29294.598
AT ITER 709 NEW BEST:: SOT 98249 SOS 57314 HAS SOPS 57283 HAS SOUS 29200 HAS SOUPS 29169 WITH SCORE 29226.314
AT ITER 711 NEW BEST:: SOT 98288 SOS 57329 HAS SOPS 57298 HAS SOUS 29158 HAS SOUPS 29127 WITH SCORE 29184.329
AT ITER 715 NEW BEST:: SOT 98215 SOS 57506 HAS SOPS 57475 HAS SOUS 29102 HAS SOUPS 29071 WITH SCORE 29128.506
AT ITER 718 NEW BEST:: SOT 98139 SOS 57010 HAS SOPS 56979 HAS SOUS 29071 HAS SOUPS 29040 WITH SCORE 29097.01
AT ITER 723 NEW BEST:: SOT 98139 SOS 56990 HAS SOPS 56959 HAS SOUS 29061 HAS SOUPS 29030 WITH SCORE 29086.99
AT ITER 724 NEW BEST:: SOT 98274 SOS 56681 HAS SOPS 56524 HAS SOUS 29092 HAS SOUPS 28985 WITH SCORE 29041.681
AT ITER 726 NEW BEST:: SOT 98469 SOS 56642 HAS SOPS 56485 HAS SOUS 29029 HAS SOUPS 28922 WITH SCORE 28978.642
AT ITER 731 NEW BEST:: SOT 98499 SOS 56629 HAS SOPS 56472 HAS SOUS 28973 HAS SOUPS 28866 WITH SCORE 28922.629
AT ITER 733 NEW BEST:: SOT 98630 SOS 56709 HAS SOPS 56552 HAS SOUS 28956 HAS SOUPS 28849 WITH SCORE 28905.709
AT ITER 738 NEW BEST:: SOT 98726 SOS 56808 HAS SOPS 56651 HAS SOUS 28954 HAS SOUPS 28847 WITH SCORE 28903.808
AT ITER 740 NEW BEST:: SOT 98230 SOS 55802 HAS SOPS 55645 HAS SOUS 28662 HAS SOUPS 28555 WITH SCORE 28610.802
AT ITER 755 NEW BEST:: SOT 98190 SOS 56636 HAS SOPS 56479 HAS SOUS 28566 HAS SOUPS 28459 WITH SCORE 28515.636
AT ITER 757 NEW BEST:: SOT 98168 SOS 56602 HAS SOPS 56445 HAS SOUS 28558 HAS SOUPS 28451 WITH SCORE 28507.602
AT ITER 761 NEW BEST:: SOT 98168 SOS 56239 HAS SOPS 56082 HAS SOUS 28547 HAS SOUPS 28440 WITH SCORE 28496.239
AT ITER 763 NEW BEST:: SOT 98145 SOS 56267 HAS SOPS 56110 HAS SOUS 28460 HAS SOUPS 28353 WITH SCORE 28409.267
AT ITER 765 NEW BEST:: SOT 98145 SOS 56187 HAS SOPS 56030 HAS SOUS 28460 HAS SOUPS 28353 WITH SCORE 28409.187
AT ITER 774 NEW BEST:: SOT 98250 SOS 56186 HAS SOPS 56029 HAS SOUS 28316 HAS SOUPS 28209 WITH SCORE 28265.186
AT ITER 780 NEW BEST:: SOT 98052 SOS 55937 HAS SOPS 55780 HAS SOUS 28256 HAS SOUPS 28149 WITH SCORE 28204.937
AT ITER 786 NEW BEST:: SOT 98090 SOS 55923 HAS SOPS 55766 HAS SOUS 28222 HAS SOUPS 28115 WITH SCORE 28170.923
AT ITER 791 NEW BEST:: SOT 98038 SOS 55978 HAS SOPS 55802 HAS SOUS 28239 HAS SOUPS 28113 WITH SCORE 28168.978
AT ITER 805 NEW BEST:: SOT 98028 SOS 55968 HAS SOPS 55792 HAS SOUS 28234 HAS SOUPS 28108 WITH SCORE 28163.968
AT ITER 810 NEW BEST:: SOT 98008 SOS 56025 HAS SOPS 55849 HAS SOUS 28209 HAS SOUPS 28083 WITH SCORE 28139.025
AT ITER 817 NEW BEST:: SOT 97972 SOS 55971 HAS SOPS 55795 HAS SOUS 28199 HAS SOUPS 28073 WITH SCORE 28128.971
AT ITER 821 NEW BEST:: SOT 97959 SOS 55958 HAS SOPS 55782 HAS SOUS 28168 HAS SOUPS 28042 WITH SCORE 28097.958
AT ITER 828 NEW BEST:: SOT 97957 SOS 55956 HAS SOPS 55780 HAS SOUS 28165 HAS SOUPS 28039 WITH SCORE 28094.956
AT ITER 836 NEW BEST:: SOT 97969 SOS 55968 HAS SOPS 55792 HAS SOUS 28129 HAS SOUPS 28003 WITH SCORE 28058.968
AT ITER 840 NEW BEST:: SOT 97978 SOS 55977 HAS SOPS 55801 HAS SOUS 28119 HAS SOUPS 27993 WITH SCORE 28048.977
AT ITER 843 NEW BEST:: SOT 97834 SOS 55625 HAS SOPS 55449 HAS SOUS 28083 HAS SOUPS 27957 WITH SCORE 28012.625
AT ITER 846 NEW BEST:: SOT 97834 SOS 55628 HAS SOPS 55451 HAS SOUS 28083 HAS SOUPS 27956 WITH SCORE 28011.628
AT ITER 847 NEW BEST:: SOT 97777 SOS 55512 HAS SOPS 55335 HAS SOUS 28060 HAS SOUPS 27933 WITH SCORE 27988.512
AT ITER 850 NEW BEST:: SOT 97424 SOS 54909 HAS SOPS 54732 HAS SOUS 28017 HAS SOUPS 27890 WITH SCORE 27944.909
AT ITER 853 NEW BEST:: SOT 97281 SOS 54937 HAS SOPS 54760 HAS SOUS 27987 HAS SOUPS 27860 WITH SCORE 27914.937
AT ITER 858 NEW BEST:: SOT 97297 SOS 54953 HAS SOPS 54776 HAS SOUS 27961 HAS SOUPS 27834 WITH SCORE 27888.953
AT ITER 860 NEW BEST:: SOT 97296 SOS 54952 HAS SOPS 54775 HAS SOUS 27959 HAS SOUPS 27832 WITH SCORE 27886.952
AT ITER 862 NEW BEST:: SOT 97296 SOS 54640 HAS SOPS 54463 HAS SOUS 27925 HAS SOUPS 27798 WITH SCORE 27852.64
AT ITER 875 NEW BEST:: SOT 97309 SOS 54662 HAS SOPS 54485 HAS SOUS 27919 HAS SOUPS 27792 WITH SCORE 27846.662
AT ITER 876 NEW BEST:: SOT 97148 SOS 54501 HAS SOPS 54324 HAS SOUS 27877 HAS SOUPS 27750 WITH SCORE 27804.501
AT ITER 880 NEW BEST:: SOT 96878 SOS 54231 HAS SOPS 54054 HAS SOUS 27607 HAS SOUPS 27480 WITH SCORE 27534.231
AT ITER 882 NEW BEST:: SOT 96879 SOS 54226 HAS SOPS 54048 HAS SOUS 27604 HAS SOUPS 27476 WITH SCORE 27530.226
AT ITER 886 NEW BEST:: SOT 96931 SOS 54496 HAS SOPS 54317 HAS SOUS 27604 HAS SOUPS 27475 WITH SCORE 27529.496
AT ITER 889 NEW BEST:: SOT 96902 SOS 54257 HAS SOPS 54078 HAS SOUS 27500 HAS SOUPS 27371 WITH SCORE 27425.257
AT ITER 899 NEW BEST:: SOT 97034 SOS 54381 HAS SOPS 54202 HAS SOUS 27467 HAS SOUPS 27338 WITH SCORE 27392.381
AT ITER 903 NEW BEST:: SOT 97008 SOS 54355 HAS SOPS 54176 HAS SOUS 27415 HAS SOUPS 27286 WITH SCORE 27340.355
AT ITER 914 NEW BEST:: SOT 96998 SOS 54350 HAS SOPS 54171 HAS SOUS 27413 HAS SOUPS 27284 WITH SCORE 27338.35
AT ITER 922 NEW BEST:: SOT 96993 SOS 54358 HAS SOPS 54179 HAS SOUS 27412 HAS SOUPS 27283 WITH SCORE 27337.358
AT ITER 923 NEW BEST:: SOT 96909 SOS 54325 HAS SOPS 54146 HAS SOUS 27210 HAS SOUPS 27081 WITH SCORE 27135.325
AT ITER 924 NEW BEST:: SOT 96861 SOS 54277 HAS SOPS 54098 HAS SOUS 27170 HAS SOUPS 27041 WITH SCORE 27095.277
AT ITER 925 NEW BEST:: SOT 96808 SOS 54224 HAS SOPS 54045 HAS SOUS 27140 HAS SOUPS 27011 WITH SCORE 27065.224
AT ITER 930 NEW BEST:: SOT 96628 SOS 54121 HAS SOPS 53942 HAS SOUS 26984 HAS SOUPS 26855 WITH SCORE 26909.121
AT ITER 938 NEW BEST:: SOT 96750 SOS 53685 HAS SOPS 53470 HAS SOUS 26920 HAS SOUPS 26755 WITH SCORE 26808.685
AT ITER 940 NEW BEST:: SOT 96520 SOS 53300 HAS SOPS 53085 HAS SOUS 26642 HAS SOUPS 26477 WITH SCORE 26530.3
AT ITER 945 NEW BEST:: SOT 96520 SOS 53342 HAS SOPS 53127 HAS SOUS 26632 HAS SOUPS 26467 WITH SCORE 26520.342
AT ITER 947 NEW BEST:: SOT 96496 SOS 53318 HAS SOPS 53103 HAS SOUS 26620 HAS SOUPS 26455 WITH SCORE 26508.318
AT ITER 960 NEW BEST:: SOT 96516 SOS 52718 HAS SOPS 52503 HAS SOUS 26592 HAS SOUPS 26427 WITH SCORE 26479.718
AT ITER 962 NEW BEST:: SOT 96528 SOS 52769 HAS SOPS 52550 HAS SOUS 26588 HAS SOUPS 26423 WITH SCORE 26475.769
AT ITER 978 NEW BEST:: SOT 96530 SOS 52765 HAS SOPS 52546 HAS SOUS 26586 HAS SOUPS 26421 WITH SCORE 26473.765
AT ITER 979 NEW BEST:: SOT 96491 SOS 52726 HAS SOPS 52507 HAS SOUS 26544 HAS SOUPS 26379 WITH SCORE 26431.726
AT ITER 991 NEW BEST:: SOT 96501 SOS 52731 HAS SOPS 52512 HAS SOUS 26515 HAS SOUPS 26350 WITH SCORE 26402.731
AT ITER 992 NEW BEST:: SOT 96504 SOS 52621 HAS SOPS 52402 HAS SOUS 26480 HAS SOUPS 26315 WITH SCORE 26367.621
AT ITER 996 NEW BEST:: SOT 96560 SOS 52468 HAS SOPS 52249 HAS SOUS 26475 HAS SOUPS 26310 WITH SCORE 26362.468
AT ITER 1002 NEW BEST:: SOT 96560 SOS 52459 HAS SOPS 52240 HAS SOUS 26475 HAS SOUPS 26310 WITH SCORE 26362.459
AT ITER 1004 NEW BEST:: SOT 96556 SOS 52455 HAS SOPS 52236 HAS SOUS 26469 HAS SOUPS 26304 WITH SCORE 26356.455
AT ITER 1009 NEW BEST:: SOT 96516 SOS 52303 HAS SOPS 52070 HAS SOUS 26433 HAS SOUPS 26254 WITH SCORE 26306.303
AT ITER 1015 NEW BEST:: SOT 96582 SOS 52413 HAS SOPS 52147 HAS SOUS 26433 HAS SOUPS 26221 WITH SCORE 26273.413
AT ITER 1016 NEW BEST:: SOT 96490 SOS 52489 HAS SOPS 52223 HAS SOUS 26389 HAS SOUPS 26177 WITH SCORE 26229.489
AT ITER 1019 NEW BEST:: SOT 96472 SOS 52471 HAS SOPS 52205 HAS SOUS 26383 HAS SOUPS 26171 WITH SCORE 26223.471
AT ITER 1023 NEW BEST:: SOT 96213 SOS 50924 HAS SOPS 50646 HAS SOUS 26293 HAS SOUPS 26069 WITH SCORE 26119.924
AT ITER 1027 NEW BEST:: SOT 96259 SOS 50938 HAS SOPS 50660 HAS SOUS 26287 HAS SOUPS 26063 WITH SCORE 26113.938
AT ITER 1028 NEW BEST:: SOT 96177 SOS 50790 HAS SOPS 50512 HAS SOUS 26116 HAS SOUPS 25892 WITH SCORE 25942.79
AT ITER 1033 NEW BEST:: SOT 96162 SOS 50775 HAS SOPS 50497 HAS SOUS 26096 HAS SOUPS 25872 WITH SCORE 25922.775
AT ITER 1067 NEW BEST:: SOT 96171 SOS 50724 HAS SOPS 50446 HAS SOUS 26090 HAS SOUPS 25866 WITH SCORE 25916.724
AT ITER 1068 NEW BEST:: SOT 96177 SOS 50694 HAS SOPS 50416 HAS SOUS 26090 HAS SOUPS 25866 WITH SCORE 25916.694
AT ITER 1082 NEW BEST:: SOT 96054 SOS 50667 HAS SOPS 50389 HAS SOUS 25997 HAS SOUPS 25773 WITH SCORE 25823.667
AT ITER 1099 NEW BEST:: SOT 96109 SOS 50669 HAS SOPS 50391 HAS SOUS 25928 HAS SOUPS 25704 WITH SCORE 25754.669
AT ITER 1103 NEW BEST:: SOT 96133 SOS 50429 HAS SOPS 50151 HAS SOUS 25906 HAS SOUPS 25682 WITH SCORE 25732.429
AT ITER 1106 NEW BEST:: SOT 95949 SOS 50269 HAS SOPS 49991 HAS SOUS 25767 HAS SOUPS 25543 WITH SCORE 25593.269
AT ITER 1111 NEW BEST:: SOT 95949 SOS 50265 HAS SOPS 49987 HAS SOUS 25688 HAS SOUPS 25464 WITH SCORE 25514.265
AT ITER 1115 NEW BEST:: SOT 95958 SOS 50234 HAS SOPS 49975 HAS SOUS 25627 HAS SOUPS 25422 WITH SCORE 25472.234
AT ITER 1118 NEW BEST:: SOT 95958 SOS 49868 HAS SOPS 49609 HAS SOUS 25599 HAS SOUPS 25394 WITH SCORE 25443.868
AT ITER 1122 NEW BEST:: SOT 95958 SOS 49847 HAS SOPS 49588 HAS SOUS 25599 HAS SOUPS 25394 WITH SCORE 25443.847
AT ITER 1136 NEW BEST:: SOT 95798 SOS 49687 HAS SOPS 49428 HAS SOUS 25574 HAS SOUPS 25369 WITH SCORE 25418.687
AT ITER 1138 NEW BEST:: SOT 95816 SOS 49705 HAS SOPS 49446 HAS SOUS 25568 HAS SOUPS 25363 WITH SCORE 25412.705
AT ITER 1146 NEW BEST:: SOT 95800 SOS 49704 HAS SOPS 49445 HAS SOUS 25568 HAS SOUPS 25363 WITH SCORE 25412.704
AT ITER 1147 NEW BEST:: SOT 95800 SOS 49704 HAS SOPS 49445 HAS SOUS 25564 HAS SOUPS 25359 WITH SCORE 25408.704
AT ITER 1174 NEW BEST:: SOT 95781 SOS 49634 HAS SOPS 49375 HAS SOUS 25440 HAS SOUPS 25235 WITH SCORE 25284.634
AT ITER 1175 NEW BEST:: SOT 95722 SOS 48679 HAS SOPS 48420 HAS SOUS 25370 HAS SOUPS 25165 WITH SCORE 25213.679
AT ITER 1179 NEW BEST:: SOT 95820 SOS 48619 HAS SOPS 48360 HAS SOUS 25289 HAS SOUPS 25084 WITH SCORE 25132.619
AT ITER 1196 NEW BEST:: SOT 95847 SOS 48428 HAS SOPS 48169 HAS SOUS 25259 HAS SOUPS 25054 WITH SCORE 25102.428
AT ITER 1216 NEW BEST:: SOT 95842 SOS 48423 HAS SOPS 48164 HAS SOUS 25254 HAS SOUPS 25049 WITH SCORE 25097.423
AT ITER 1223 NEW BEST:: SOT 95958 SOS 48378 HAS SOPS 48087 HAS SOUS 25279 HAS SOUPS 25042 WITH SCORE 25090.378
AT ITER 1224 NEW BEST:: SOT 95733 SOS 48196 HAS SOPS 47905 HAS SOUS 25228 HAS SOUPS 24991 WITH SCORE 25039.196
AT ITER 1233 NEW BEST:: SOT 95670 SOS 48105 HAS SOPS 47814 HAS SOUS 25141 HAS SOUPS 24904 WITH SCORE 24952.105
AT ITER 1249 NEW BEST:: SOT 95634 SOS 48057 HAS SOPS 47766 HAS SOUS 25097 HAS SOUPS 24860 WITH SCORE 24908.057
AT ITER 1250 NEW BEST:: SOT 95566 SOS 47989 HAS SOPS 47698 HAS SOUS 25097 HAS SOUPS 24860 WITH SCORE 24907.989
AT ITER 1256 NEW BEST:: SOT 95554 SOS 47843 HAS SOPS 47686 HAS SOUS 25014 HAS SOUPS 24857 WITH SCORE 24904.843
AT ITER 1270 NEW BEST:: SOT 95463 SOS 47438 HAS SOPS 47281 HAS SOUS 24898 HAS SOUPS 24741 WITH SCORE 24788.438
AT ITER 1279 NEW BEST:: SOT 95463 SOS 47514 HAS SOPS 47357 HAS SOUS 24862 HAS SOUPS 24705 WITH SCORE 24752.514
AT ITER 1284 NEW BEST:: SOT 95429 SOS 47423 HAS SOPS 47266 HAS SOUS 24698 HAS SOUPS 24541 WITH SCORE 24588.423
AT ITER 1289 NEW BEST:: SOT 95366 SOS 47360 HAS SOPS 47203 HAS SOUS 24580 HAS SOUPS 24423 WITH SCORE 24470.36
AT ITER 1290 NEW BEST:: SOT 95422 SOS 47300 HAS SOPS 47143 HAS SOUS 24541 HAS SOUPS 24384 WITH SCORE 24431.3
AT ITER 1292 NEW BEST:: SOT 95497 SOS 47398 HAS SOPS 47241 HAS SOUS 24537 HAS SOUPS 24380 WITH SCORE 24427.398
AT ITER 1297 NEW BEST:: SOT 95495 SOS 47382 HAS SOPS 47225 HAS SOUS 24530 HAS SOUPS 24373 WITH SCORE 24420.382
AT ITER 1303 NEW BEST:: SOT 95598 SOS 47485 HAS SOPS 47328 HAS SOUS 24512 HAS SOUPS 24355 WITH SCORE 24402.485
AT ITER 1318 NEW BEST:: SOT 95601 SOS 47431 HAS SOPS 47274 HAS SOUS 24494 HAS SOUPS 24337 WITH SCORE 24384.431
AT ITER 1319 NEW BEST:: SOT 95487 SOS 47317 HAS SOPS 47160 HAS SOUS 24402 HAS SOUPS 24245 WITH SCORE 24292.317
AT ITER 1320 NEW BEST:: SOT 95472 SOS 46996 HAS SOPS 46839 HAS SOUS 24315 HAS SOUPS 24158 WITH SCORE 24204.996
AT ITER 1325 NEW BEST:: SOT 95418 SOS 46942 HAS SOPS 46785 HAS SOUS 24275 HAS SOUPS 24118 WITH SCORE 24164.942
AT ITER 1326 NEW BEST:: SOT 95376 SOS 46900 HAS SOPS 46743 HAS SOUS 24258 HAS SOUPS 24101 WITH SCORE 24147.9
AT ITER 1333 NEW BEST:: SOT 95376 SOS 46895 HAS SOPS 46738 HAS SOUS 24258 HAS SOUPS 24101 WITH SCORE 24147.895
AT ITER 1349 NEW BEST:: SOT 95104 SOS 46884 HAS SOPS 46727 HAS SOUS 24088 HAS SOUPS 23931 WITH SCORE 23977.884
AT ITER 1350 NEW BEST:: SOT 95083 SOS 46857 HAS SOPS 46700 HAS SOUS 24067 HAS SOUPS 23910 WITH SCORE 23956.857
AT ITER 1353 NEW BEST:: SOT 95083 SOS 46296 HAS SOPS 46139 HAS SOUS 24063 HAS SOUPS 23906 WITH SCORE 23952.296
AT ITER 1371 NEW BEST:: SOT 95086 SOS 46283 HAS SOPS 46126 HAS SOUS 24063 HAS SOUPS 23906 WITH SCORE 23952.283
AT ITER 1382 NEW BEST:: SOT 95060 SOS 46257 HAS SOPS 46100 HAS SOUS 24024 HAS SOUPS 23867 WITH SCORE 23913.257
AT ITER 1391 NEW BEST:: SOT 95056 SOS 46189 HAS SOPS 46032 HAS SOUS 24024 HAS SOUPS 23867 WITH SCORE 23913.189
AT ITER 1415 NEW BEST:: SOT 95001 SOS 46800 HAS SOPS 46643 HAS SOUS 24009 HAS SOUPS 23852 WITH SCORE 23898.8
AT ITER 1428 NEW BEST:: SOT 94999 SOS 46798 HAS SOPS 46641 HAS SOUS 24007 HAS SOUPS 23850 WITH SCORE 23896.798
AT ITER 1430 NEW BEST:: SOT 94999 SOS 46812 HAS SOPS 46655 HAS SOUS 23993 HAS SOUPS 23836 WITH SCORE 23882.812
AT ITER 1432 NEW BEST:: SOT 95184 SOS 46222 HAS SOPS 46065 HAS SOUS 23887 HAS SOUPS 23730 WITH SCORE 23776.222
AT ITER 1444 NEW BEST:: SOT 95284 SOS 46298 HAS SOPS 46141 HAS SOUS 23882 HAS SOUPS 23725 WITH SCORE 23771.298
AT ITER 1461 NEW BEST:: SOT 95284 SOS 46260 HAS SOPS 46103 HAS SOUS 23882 HAS SOUPS 23725 WITH SCORE 23771.26
AT ITER 1462 NEW BEST:: SOT 95326 SOS 46274 HAS SOPS 46117 HAS SOUS 23877 HAS SOUPS 23720 WITH SCORE 23766.274
AT ITER 1486 NEW BEST:: SOT 95332 SOS 46280 HAS SOPS 46123 HAS SOUS 23821 HAS SOUPS 23664 WITH SCORE 23710.28
AT ITER 1488 NEW BEST:: SOT 95340 SOS 46282 HAS SOPS 46125 HAS SOUS 23798 HAS SOUPS 23641 WITH SCORE 23687.282
AT ITER 1499 NEW BEST:: SOT 95388 SOS 46227 HAS SOPS 46070 HAS SOUS 23774 HAS SOUPS 23617 WITH SCORE 23663.227
AT ITER 1500 NEW BEST:: SOT 95380 SOS 46262 HAS SOPS 46113 HAS SOUS 23756 HAS SOUPS 23607 WITH SCORE 23653.262
AT ITER 1513 NEW BEST:: SOT 95385 SOS 46247 HAS SOPS 46098 HAS SOUS 23736 HAS SOUPS 23587 WITH SCORE 23633.247
AT ITER 1520 NEW BEST:: SOT 95493 SOS 46282 HAS SOPS 46133 HAS SOUS 23696 HAS SOUPS 23547 WITH SCORE 23593.282
AT ITER 1543 NEW BEST:: SOT 95487 SOS 46276 HAS SOPS 46127 HAS SOUS 23690 HAS SOUPS 23541 WITH SCORE 23587.276
AT ITER 1544 NEW BEST:: SOT 95418 SOS 46202 HAS SOPS 46053 HAS SOUS 23634 HAS SOUPS 23485 WITH SCORE 23531.202
AT ITER 1552 NEW BEST:: SOT 95590 SOS 46262 HAS SOPS 46113 HAS SOUS 23618 HAS SOUPS 23469 WITH SCORE 23515.262
AT ITER 1575 NEW BEST:: SOT 95621 SOS 46361 HAS SOPS 46112 HAS SOUS 23681 HAS SOUPS 23442 WITH SCORE 23488.361
AT ITER 1584 NEW BEST:: SOT 95277 SOS 46017 HAS SOPS 45768 HAS SOUS 23557 HAS SOUPS 23318 WITH SCORE 23364.017
AT ITER 1608 NEW BEST:: SOT 95316 SOS 45939 HAS SOPS 45690 HAS SOUS 23534 HAS SOUPS 23295 WITH SCORE 23340.939
AT ITER 1621 NEW BEST:: SOT 95298 SOS 45921 HAS SOPS 45672 HAS SOUS 23498 HAS SOUPS 23259 WITH SCORE 23304.921
AT ITER 1624 NEW BEST:: SOT 95163 SOS 45802 HAS SOPS 45553 HAS SOUS 23417 HAS SOUPS 23178 WITH SCORE 23223.802
AT ITER 1651 NEW BEST:: SOT 95163 SOS 45802 HAS SOPS 45553 HAS SOUS 23416 HAS SOUPS 23177 WITH SCORE 23222.802
AT ITER 1654 NEW BEST:: SOT 95163 SOS 45676 HAS SOPS 45427 HAS SOUS 23416 HAS SOUPS 23177 WITH SCORE 23222.676
AT ITER 1661 NEW BEST:: SOT 95131 SOS 46372 HAS SOPS 46123 HAS SOUS 23408 HAS SOUPS 23169 WITH SCORE 23215.372
AT ITER 1667 NEW BEST:: SOT 95146 SOS 46387 HAS SOPS 46138 HAS SOUS 23383 HAS SOUPS 23144 WITH SCORE 23190.387
AT ITER 1676 NEW BEST:: SOT 95146 SOS 46387 HAS SOPS 46138 HAS SOUS 23379 HAS SOUPS 23140 WITH SCORE 23186.387
AT ITER 1680 NEW BEST:: SOT 95146 SOS 46402 HAS SOPS 46153 HAS SOUS 23363 HAS SOUPS 23124 WITH SCORE 23170.402
AT ITER 1701 NEW BEST:: SOT 95146 SOS 46330 HAS SOPS 46081 HAS SOUS 23363 HAS SOUPS 23124 WITH SCORE 23170.33
AT ITER 1715 NEW BEST:: SOT 95146 SOS 46330 HAS SOPS 46081 HAS SOUS 23322 HAS SOUPS 23083 WITH SCORE 23129.33
AT ITER 1724 NEW BEST:: SOT 95146 SOS 46148 HAS SOPS 45899 HAS SOUS 23314 HAS SOUPS 23075 WITH SCORE 23121.148
AT ITER 1725 NEW BEST:: SOT 95099 SOS 46086 HAS SOPS 45837 HAS SOUS 23282 HAS SOUPS 23043 WITH SCORE 23089.086
AT ITER 1726 NEW BEST:: SOT 95097 SOS 46084 HAS SOPS 45835 HAS SOUS 23280 HAS SOUPS 23041 WITH SCORE 23087.084
AT ITER 1730 NEW BEST:: SOT 94638 SOS 45610 HAS SOPS 45361 HAS SOUS 22847 HAS SOUPS 22608 WITH SCORE 22653.61
AT ITER 1738 NEW BEST:: SOT 94634 SOS 45606 HAS SOPS 45357 HAS SOUS 22843 HAS SOUPS 22604 WITH SCORE 22649.606
AT ITER 1748 NEW BEST:: SOT 94659 SOS 45631 HAS SOPS 45382 HAS SOUS 22782 HAS SOUPS 22543 WITH SCORE 22588.631
AT ITER 1755 NEW BEST:: SOT 94661 SOS 45631 HAS SOPS 45382 HAS SOUS 22778 HAS SOUPS 22539 WITH SCORE 22584.631
AT ITER 1761 NEW BEST:: SOT 94661 SOS 45609 HAS SOPS 45360 HAS SOUS 22778 HAS SOUPS 22539 WITH SCORE 22584.609
AT ITER 1774 NEW BEST:: SOT 94654 SOS 45602 HAS SOPS 45353 HAS SOUS 22771 HAS SOUPS 22532 WITH SCORE 22577.602
AT ITER 1777 NEW BEST:: SOT 94606 SOS 45752 HAS SOPS 45507 HAS SOUS 22727 HAS SOUPS 22492 WITH SCORE 22537.752
AT ITER 1799 NEW BEST:: SOT 94604 SOS 45748 HAS SOPS 45503 HAS SOUS 22721 HAS SOUPS 22486 WITH SCORE 22531.748
AT ITER 1801 NEW BEST:: SOT 94630 SOS 45726 HAS SOPS 45481 HAS SOUS 22679 HAS SOUPS 22444 WITH SCORE 22489.726
AT ITER 1812 NEW BEST:: SOT 94617 SOS 45713 HAS SOPS 45468 HAS SOUS 22679 HAS SOUPS 22444 WITH SCORE 22489.713
AT ITER 1838 NEW BEST:: SOT 94611 SOS 45697 HAS SOPS 45452 HAS SOUS 22667 HAS SOUPS 22432 WITH SCORE 22477.697
AT ITER 1842 NEW BEST:: SOT 94578 SOS 45576 HAS SOPS 45331 HAS SOUS 22612 HAS SOUPS 22377 WITH SCORE 22422.576
AT ITER 1843 NEW BEST:: SOT 94571 SOS 45530 HAS SOPS 45285 HAS SOUS 22597 HAS SOUPS 22362 WITH SCORE 22407.53
AT ITER 1848 NEW BEST:: SOT 94571 SOS 45465 HAS SOPS 45220 HAS SOUS 22597 HAS SOUPS 22362 WITH SCORE 22407.465
AT ITER 1866 NEW BEST:: SOT 94580 SOS 45110 HAS SOPS 44865 HAS SOUS 22589 HAS SOUPS 22354 WITH SCORE 22399.11
AT ITER 1878 NEW BEST:: SOT 94483 SOS 44931 HAS SOPS 44686 HAS SOUS 22509 HAS SOUPS 22274 WITH SCORE 22318.931
AT ITER 1881 NEW BEST:: SOT 94464 SOS 44912 HAS SOPS 44667 HAS SOUS 22468 HAS SOUPS 22233 WITH SCORE 22277.912
AT ITER 1893 NEW BEST:: SOT 94320 SOS 44768 HAS SOPS 44523 HAS SOUS 22396 HAS SOUPS 22161 WITH SCORE 22205.768
AT ITER 1905 NEW BEST:: SOT 94238 SOS 44709 HAS SOPS 44464 HAS SOUS 22386 HAS SOUPS 22151 WITH SCORE 22195.709
AT ITER 1911 NEW BEST:: SOT 94193 SOS 44664 HAS SOPS 44419 HAS SOUS 22371 HAS SOUPS 22136 WITH SCORE 22180.664
AT ITER 1919 NEW BEST:: SOT 94193 SOS 44664 HAS SOPS 44419 HAS SOUS 22369 HAS SOUPS 22134 WITH SCORE 22178.664
AT ITER 1920 NEW BEST:: SOT 94193 SOS 44655 HAS SOPS 44410 HAS SOUS 22347 HAS SOUPS 22112 WITH SCORE 22156.655
AT ITER 1925 NEW BEST:: SOT 94263 SOS 44725 HAS SOPS 44480 HAS SOUS 22336 HAS SOUPS 22101 WITH SCORE 22145.725
AT ITER 1937 NEW BEST:: SOT 94129 SOS 44557 HAS SOPS 44348 HAS SOUS 22249 HAS SOUPS 22050 WITH SCORE 22094.557
AT ITER 1953 NEW BEST:: SOT 94129 SOS 44557 HAS SOPS 44348 HAS SOUS 22246 HAS SOUPS 22047 WITH SCORE 22091.557
AT ITER 1974 NEW BEST:: SOT 94204 SOS 44612 HAS SOPS 44403 HAS SOUS 22244 HAS SOUPS 22045 WITH SCORE 22089.612
AT ITER 1982 NEW BEST:: SOT 94098 SOS 44405 HAS SOPS 44297 HAS SOUS 22084 HAS SOUPS 21976 WITH SCORE 22020.405
AT ITER 1983 NEW BEST:: SOT 94090 SOS 44365 HAS SOPS 44257 HAS SOUS 22068 HAS SOUPS 21960 WITH SCORE 22004.365
AT ITER 1987 NEW BEST:: SOT 93984 SOS 44088 HAS SOPS 43980 HAS SOUS 22037 HAS SOUPS 21929 WITH SCORE 21973.088
AT ITER 1989 NEW BEST:: SOT 93932 SOS 43984 HAS SOPS 43876 HAS SOUS 21933 HAS SOUPS 21825 WITH SCORE 21868.984
AT ITER 2001 NEW BEST:: SOT 93928 SOS 43975 HAS SOPS 43867 HAS SOUS 21908 HAS SOUPS 21800 WITH SCORE 21843.975
AT ITER 2006 NEW BEST:: SOT 93926 SOS 43973 HAS SOPS 43865 HAS SOUS 21906 HAS SOUPS 21798 WITH SCORE 21841.973
AT ITER 2008 NEW BEST:: SOT 93706 SOS 43763 HAS SOPS 43655 HAS SOUS 21900 HAS SOUPS 21792 WITH SCORE 21835.763
AT ITER 2012 NEW BEST:: SOT 93650 SOS 43722 HAS SOPS 43614 HAS SOUS 21890 HAS SOUPS 21782 WITH SCORE 21825.722
AT ITER 2013 NEW BEST:: SOT 93648 SOS 43748 HAS SOPS 43640 HAS SOUS 21885 HAS SOUPS 21777 WITH SCORE 21820.748
AT ITER 2019 NEW BEST:: SOT 93633 SOS 43733 HAS SOPS 43625 HAS SOUS 21846 HAS SOUPS 21738 WITH SCORE 21781.733
AT ITER 2022 NEW BEST:: SOT 93695 SOS 43788 HAS SOPS 43662 HAS SOUS 21844 HAS SOUPS 21718 WITH SCORE 21761.788
AT ITER 2029 NEW BEST:: SOT 93666 SOS 43747 HAS SOPS 43621 HAS SOUS 21841 HAS SOUPS 21715 WITH SCORE 21758.747
AT ITER 2036 NEW BEST:: SOT 93638 SOS 43671 HAS SOPS 43545 HAS SOUS 21793 HAS SOUPS 21667 WITH SCORE 21710.671
AT ITER 2049 NEW BEST:: SOT 93460 SOS 43518 HAS SOPS 43392 HAS SOUS 21687 HAS SOUPS 21561 WITH SCORE 21604.518
AT ITER 2069 NEW BEST:: SOT 93460 SOS 43518 HAS SOPS 43392 HAS SOUS 21683 HAS SOUPS 21557 WITH SCORE 21600.518
AT ITER 2078 NEW BEST:: SOT 93417 SOS 43365 HAS SOPS 43239 HAS SOUS 21651 HAS SOUPS 21525 WITH SCORE 21568.365
AT ITER 2083 NEW BEST:: SOT 93401 SOS 43349 HAS SOPS 43223 HAS SOUS 21619 HAS SOUPS 21493 WITH SCORE 21536.349
AT ITER 2103 NEW BEST:: SOT 93401 SOS 43323 HAS SOPS 43197 HAS SOUS 21619 HAS SOUPS 21493 WITH SCORE 21536.323
AT ITER 2104 NEW BEST:: SOT 93385 SOS 43307 HAS SOPS 43181 HAS SOUS 21603 HAS SOUPS 21477 WITH SCORE 21520.307
AT ITER 2113 NEW BEST:: SOT 93349 SOS 43295 HAS SOPS 43145 HAS SOUS 21590 HAS SOUPS 21440 WITH SCORE 21483.295
AT ITER 2118 NEW BEST:: SOT 93338 SOS 43262 HAS SOPS 43112 HAS SOUS 21583 HAS SOUPS 21433 WITH SCORE 21476.262
AT ITER 2126 NEW BEST:: SOT 93328 SOS 43232 HAS SOPS 43082 HAS SOUS 21580 HAS SOUPS 21430 WITH SCORE 21473.232
AT ITER 2144 NEW BEST:: SOT 93314 SOS 43234 HAS SOPS 43084 HAS SOUS 21572 HAS SOUPS 21422 WITH SCORE 21465.234
AT ITER 2157 NEW BEST:: SOT 93314 SOS 43234 HAS SOPS 43084 HAS SOUS 21552 HAS SOUPS 21402 WITH SCORE 21445.234
AT ITER 2172 NEW BEST:: SOT 93290 SOS 43210 HAS SOPS 43060 HAS SOUS 21504 HAS SOUPS 21354 WITH SCORE 21397.21
AT ITER 2208 NEW BEST:: SOT 93333 SOS 43179 HAS SOPS 43029 HAS SOUS 21501 HAS SOUPS 21351 WITH SCORE 21394.179
AT ITER 2220 NEW BEST:: SOT 93338 SOS 43190 HAS SOPS 43040 HAS SOUS 21316 HAS SOUPS 21166 WITH SCORE 21209.19
AT ITER 2226 NEW BEST:: SOT 93194 SOS 42997 HAS SOPS 42847 HAS SOUS 21173 HAS SOUPS 21023 WITH SCORE 21065.997
AT ITER 2227 NEW BEST:: SOT 93201 SOS 42989 HAS SOPS 42839 HAS SOUS 21173 HAS SOUPS 21023 WITH SCORE 21065.989
AT ITER 2236 NEW BEST:: SOT 93187 SOS 42947 HAS SOPS 42797 HAS SOUS 21117 HAS SOUPS 20967 WITH SCORE 21009.947
AT ITER 2246 NEW BEST:: SOT 93187 SOS 42941 HAS SOPS 42791 HAS SOUS 21099 HAS SOUPS 20949 WITH SCORE 20991.941
AT ITER 2255 NEW BEST:: SOT 93092 SOS 42766 HAS SOPS 42654 HAS SOUS 21029 HAS SOUPS 20917 WITH SCORE 20959.766
AT ITER 2258 NEW BEST:: SOT 93078 SOS 42752 HAS SOPS 42640 HAS SOUS 21015 HAS SOUPS 20903 WITH SCORE 20945.752
AT ITER 2263 NEW BEST:: SOT 93085 SOS 42727 HAS SOPS 42615 HAS SOUS 20989 HAS SOUPS 20877 WITH SCORE 20919.727
AT ITER 2266 NEW BEST:: SOT 93034 SOS 42670 HAS SOPS 42558 HAS SOUS 20946 HAS SOUPS 20834 WITH SCORE 20876.67
AT ITER 2273 NEW BEST:: SOT 92937 SOS 42574 HAS SOPS 42462 HAS SOUS 20915 HAS SOUPS 20803 WITH SCORE 20845.574
AT ITER 2293 NEW BEST:: SOT 92937 SOS 42568 HAS SOPS 42456 HAS SOUS 20915 HAS SOUPS 20803 WITH SCORE 20845.568
AT ITER 2302 NEW BEST:: SOT 92801 SOS 42416 HAS SOPS 42304 HAS SOUS 20831 HAS SOUPS 20719 WITH SCORE 20761.416
AT ITER 2307 NEW BEST:: SOT 92839 SOS 42401 HAS SOPS 42289 HAS SOUS 20807 HAS SOUPS 20695 WITH SCORE 20737.401
AT ITER 2309 NEW BEST:: SOT 92765 SOS 42345 HAS SOPS 42233 HAS SOUS 20780 HAS SOUPS 20668 WITH SCORE 20710.345
AT ITER 2336 NEW BEST:: SOT 92741 SOS 42321 HAS SOPS 42209 HAS SOUS 20756 HAS SOUPS 20644 WITH SCORE 20686.321
AT ITER 2337 NEW BEST:: SOT 92750 SOS 42330 HAS SOPS 42218 HAS SOUS 20747 HAS SOUPS 20635 WITH SCORE 20677.33
AT ITER 2339 NEW BEST:: SOT 92693 SOS 42273 HAS SOPS 42161 HAS SOUS 20709 HAS SOUPS 20597 WITH SCORE 20639.273
AT ITER 2362 NEW BEST:: SOT 92675 SOS 42249 HAS SOPS 42137 HAS SOUS 20703 HAS SOUPS 20591 WITH SCORE 20633.249
AT ITER 2386 NEW BEST:: SOT 92675 SOS 42145 HAS SOPS 42033 HAS SOUS 20699 HAS SOUPS 20587 WITH SCORE 20629.145
AT ITER 2388 NEW BEST:: SOT 92675 SOS 42057 HAS SOPS 41945 HAS SOUS 20699 HAS SOUPS 20587 WITH SCORE 20629.057
AT ITER 2390 NEW BEST:: SOT 92547 SOS 41929 HAS SOPS 41817 HAS SOUS 20655 HAS SOUPS 20543 WITH SCORE 20584.929
AT ITER 2408 NEW BEST:: SOT 92538 SOS 41915 HAS SOPS 41803 HAS SOUS 20624 HAS SOUPS 20512 WITH SCORE 20553.915
AT ITER 2411 NEW BEST:: SOT 92538 SOS 41915 HAS SOPS 41803 HAS SOUS 20612 HAS SOUPS 20500 WITH SCORE 20541.915
AT ITER 2425 NEW BEST:: SOT 92460 SOS 41846 HAS SOPS 41734 HAS SOUS 20562 HAS SOUPS 20450 WITH SCORE 20491.846
AT ITER 2429 NEW BEST:: SOT 92511 SOS 41869 HAS SOPS 41757 HAS SOUS 20474 HAS SOUPS 20362 WITH SCORE 20403.869
AT ITER 2442 NEW BEST:: SOT 92513 SOS 41863 HAS SOPS 41750 HAS SOUS 20470 HAS SOUPS 20357 WITH SCORE 20398.863
AT ITER 2448 NEW BEST:: SOT 92618 SOS 41806 HAS SOPS 41693 HAS SOUS 20430 HAS SOUPS 20317 WITH SCORE 20358.806
AT ITER 2452 NEW BEST:: SOT 92614 SOS 41794 HAS SOPS 41681 HAS SOUS 20422 HAS SOUPS 20309 WITH SCORE 20350.794
AT ITER 2468 NEW BEST:: SOT 92588 SOS 41664 HAS SOPS 41551 HAS SOUS 20386 HAS SOUPS 20273 WITH SCORE 20314.664
AT ITER 2482 NEW BEST:: SOT 92541 SOS 41601 HAS SOPS 41488 HAS SOUS 20347 HAS SOUPS 20234 WITH SCORE 20275.601
AT ITER 2487 NEW BEST:: SOT 92342 SOS 41402 HAS SOPS 41289 HAS SOUS 20264 HAS SOUPS 20151 WITH SCORE 20192.402
AT ITER 2496 NEW BEST:: SOT 92335 SOS 41395 HAS SOPS 41282 HAS SOUS 20243 HAS SOUPS 20130 WITH SCORE 20171.395
AT ITER 2514 NEW BEST:: SOT 92312 SOS 41372 HAS SOPS 41259 HAS SOUS 20199 HAS SOUPS 20086 WITH SCORE 20127.372
AT ITER 2534 NEW BEST:: SOT 92310 SOS 41370 HAS SOPS 41257 HAS SOUS 20197 HAS SOUPS 20084 WITH SCORE 20125.37
AT ITER 2553 NEW BEST:: SOT 92297 SOS 41349 HAS SOPS 41236 HAS SOUS 20162 HAS SOUPS 20049 WITH SCORE 20090.349
AT ITER 2557 NEW BEST:: SOT 92268 SOS 41285 HAS SOPS 41172 HAS SOUS 20146 HAS SOUPS 20033 WITH SCORE 20074.285
AT ITER 2563 NEW BEST:: SOT 92268 SOS 41285 HAS SOPS 41172 HAS SOUS 20144 HAS SOUPS 20031 WITH SCORE 20072.285
AT ITER 2566 NEW BEST:: SOT 92541 SOS 41518 HAS SOPS 41408 HAS SOUS 20138 HAS SOUPS 20028 WITH SCORE 20069.518
AT ITER 2589 NEW BEST:: SOT 92537 SOS 41514 HAS SOPS 41404 HAS SOUS 20132 HAS SOUPS 20022 WITH SCORE 20063.514
AT ITER 2593 NEW BEST:: SOT 92454 SOS 41418 HAS SOPS 41308 HAS SOUS 20132 HAS SOUPS 20022 WITH SCORE 20063.418
AT ITER 2594 NEW BEST:: SOT 92454 SOS 41418 HAS SOPS 41308 HAS SOUS 20115 HAS SOUPS 20005 WITH SCORE 20046.418
AT ITER 2599 NEW BEST:: SOT 92402 SOS 40860 HAS SOPS 40750 HAS SOUS 19918 HAS SOUPS 19808 WITH SCORE 19848.86
AT ITER 2601 NEW BEST:: SOT 92307 SOS 40732 HAS SOPS 40622 HAS SOUS 19911 HAS SOUPS 19801 WITH SCORE 19841.732
AT ITER 2611 NEW BEST:: SOT 92234 SOS 41353 HAS SOPS 41243 HAS SOUS 19884 HAS SOUPS 19774 WITH SCORE 19815.353
AT ITER 2612 NEW BEST:: SOT 92172 SOS 41291 HAS SOPS 41181 HAS SOUS 19853 HAS SOUPS 19743 WITH SCORE 19784.291
AT ITER 2613 NEW BEST:: SOT 92163 SOS 41282 HAS SOPS 41172 HAS SOUS 19824 HAS SOUPS 19714 WITH SCORE 19755.282
AT ITER 2615 NEW BEST:: SOT 92153 SOS 41279 HAS SOPS 41159 HAS SOUS 19821 HAS SOUPS 19701 WITH SCORE 19742.279
AT ITER 2630 NEW BEST:: SOT 91981 SOS 40898 HAS SOPS 40778 HAS SOUS 19802 HAS SOUPS 19682 WITH SCORE 19722.898
AT ITER 2648 NEW BEST:: SOT 91981 SOS 40879 HAS SOPS 40759 HAS SOUS 19802 HAS SOUPS 19682 WITH SCORE 19722.879
AT ITER 2649 NEW BEST:: SOT 91977 SOS 40875 HAS SOPS 40755 HAS SOUS 19800 HAS SOUPS 19680 WITH SCORE 19720.875
AT ITER 2655 NEW BEST:: SOT 91977 SOS 40866 HAS SOPS 40746 HAS SOUS 19800 HAS SOUPS 19680 WITH SCORE 19720.866
AT ITER 2676 NEW BEST:: SOT 91885 SOS 40857 HAS SOPS 40737 HAS SOUS 19748 HAS SOUPS 19628 WITH SCORE 19668.857
AT ITER 2681 NEW BEST:: SOT 91823 SOS 40605 HAS SOPS 40485 HAS SOUS 19704 HAS SOUPS 19584 WITH SCORE 19624.605
AT ITER 2706 NEW BEST:: SOT 91827 SOS 40619 HAS SOPS 40499 HAS SOUS 19701 HAS SOUPS 19581 WITH SCORE 19621.619
AT ITER 2708 NEW BEST:: SOT 91827 SOS 40604 HAS SOPS 40484 HAS SOUS 19701 HAS SOUPS 19581 WITH SCORE 19621.604
AT ITER 2718 NEW BEST:: SOT 91825 SOS 40597 HAS SOPS 40477 HAS SOUS 19699 HAS SOUPS 19579 WITH SCORE 19619.597
AT ITER 2732 NEW BEST:: SOT 91727 SOS 40434 HAS SOPS 40314 HAS SOUS 19478 HAS SOUPS 19358 WITH SCORE 19398.434
AT ITER 2733 NEW BEST:: SOT 91705 SOS 40554 HAS SOPS 40434 HAS SOUS 19405 HAS SOUPS 19285 WITH SCORE 19325.554
AT ITER 2747 NEW BEST:: SOT 91718 SOS 40554 HAS SOPS 40434 HAS SOUS 19399 HAS SOUPS 19279 WITH SCORE 19319.554
AT ITER 2750 NEW BEST:: SOT 91735 SOS 40511 HAS SOPS 40391 HAS SOUS 19374 HAS SOUPS 19254 WITH SCORE 19294.511
AT ITER 2766 NEW BEST:: SOT 91695 SOS 40511 HAS SOPS 40391 HAS SOUS 19369 HAS SOUPS 19249 WITH SCORE 19289.511
AT ITER 2816 NEW BEST:: SOT 91530 SOS 40346 HAS SOPS 40226 HAS SOUS 19340 HAS SOUPS 19220 WITH SCORE 19260.346
AT ITER 2842 NEW BEST:: SOT 91531 SOS 40338 HAS SOPS 40218 HAS SOUS 19335 HAS SOUPS 19215 WITH SCORE 19255.338
AT ITER 2871 NEW BEST:: SOT 91480 SOS 40264 HAS SOPS 40144 HAS SOUS 19334 HAS SOUPS 19214 WITH SCORE 19254.264
AT ITER 2877 NEW BEST:: SOT 91480 SOS 40253 HAS SOPS 40133 HAS SOUS 19323 HAS SOUPS 19203 WITH SCORE 19243.253
AT ITER 2881 NEW BEST:: SOT 91473 SOS 40221 HAS SOPS 40101 HAS SOUS 19305 HAS SOUPS 19185 WITH SCORE 19225.221
AT ITER 2902 NEW BEST:: SOT 91472 SOS 40220 HAS SOPS 40100 HAS SOUS 19304 HAS SOUPS 19184 WITH SCORE 19224.22
AT ITER 2904 NEW BEST:: SOT 91471 SOS 40122 HAS SOPS 39989 HAS SOUS 19312 HAS SOUPS 19182 WITH SCORE 19222.122
AT ITER 2906 NEW BEST:: SOT 91464 SOS 40104 HAS SOPS 39971 HAS SOUS 19305 HAS SOUPS 19175 WITH SCORE 19215.104
AT ITER 2907 NEW BEST:: SOT 91462 SOS 40102 HAS SOPS 39969 HAS SOUS 19278 HAS SOUPS 19148 WITH SCORE 19188.102
AT ITER 2913 NEW BEST:: SOT 91462 SOS 40092 HAS SOPS 39959 HAS SOUS 19278 HAS SOUPS 19148 WITH SCORE 19188.092
AT ITER 2932 NEW BEST:: SOT 91454 SOS 40084 HAS SOPS 39951 HAS SOUS 19238 HAS SOUPS 19108 WITH SCORE 19148.084
AT ITER 2935 NEW BEST:: SOT 91454 SOS 40084 HAS SOPS 39951 HAS SOUS 19216 HAS SOUPS 19086 WITH SCORE 19126.084
AT ITER 2950 NEW BEST:: SOT 91454 SOS 40034 HAS SOPS 39901 HAS SOUS 19216 HAS SOUPS 19086 WITH SCORE 19126.034
AT ITER 2980 NEW BEST:: SOT 91607 SOS 39880 HAS SOPS 39747 HAS SOUS 19169 HAS SOUPS 19039 WITH SCORE 19078.88
AT ITER 2994 NEW BEST:: SOT 91625 SOS 39861 HAS SOPS 39728 HAS SOUS 19155 HAS SOUPS 19025 WITH SCORE 19064.861
AT ITER 3004 NEW BEST:: SOT 91583 SOS 39754 HAS SOPS 39621 HAS SOUS 19090 HAS SOUPS 18960 WITH SCORE 18999.754
AT ITER 3007 NEW BEST:: SOT 91595 SOS 39636 HAS SOPS 39497 HAS SOUS 19090 HAS SOUPS 18954 WITH SCORE 18993.636
AT ITER 3022 NEW BEST:: SOT 91594 SOS 39609 HAS SOPS 39470 HAS SOUS 19087 HAS SOUPS 18951 WITH SCORE 18990.609
AT ITER 3025 NEW BEST:: SOT 91548 SOS 39555 HAS SOPS 39416 HAS SOUS 19046 HAS SOUPS 18910 WITH SCORE 18949.555
AT ITER 3039 NEW BEST:: SOT 91547 SOS 39554 HAS SOPS 39415 HAS SOUS 19045 HAS SOUPS 18909 WITH SCORE 18948.554
AT ITER 3066 NEW BEST:: SOT 91603 SOS 38865 HAS SOPS 38726 HAS SOUS 18957 HAS SOUPS 18821 WITH SCORE 18859.865
AT ITER 3092 NEW BEST:: SOT 91561 SOS 38802 HAS SOPS 38663 HAS SOUS 18894 HAS SOUPS 18758 WITH SCORE 18796.802
AT ITER 3123 NEW BEST:: SOT 91561 SOS 38802 HAS SOPS 38663 HAS SOUS 18871 HAS SOUPS 18735 WITH SCORE 18773.802
AT ITER 3167 NEW BEST:: SOT 91549 SOS 38790 HAS SOPS 38651 HAS SOUS 18861 HAS SOUPS 18725 WITH SCORE 18763.79
AT ITER 3195 NEW BEST:: SOT 91488 SOS 38729 HAS SOPS 38590 HAS SOUS 18774 HAS SOUPS 18638 WITH SCORE 18676.729
AT ITER 3196 NEW BEST:: SOT 91642 SOS 38551 HAS SOPS 38365 HAS SOUS 18817 HAS SOUPS 18634 WITH SCORE 18672.551
AT ITER 3204 NEW BEST:: SOT 91639 SOS 38548 HAS SOPS 38362 HAS SOUS 18811 HAS SOUPS 18628 WITH SCORE 18666.548
AT ITER 3205 NEW BEST:: SOT 91618 SOS 38527 HAS SOPS 38341 HAS SOUS 18790 HAS SOUPS 18607 WITH SCORE 18645.527
AT ITER 3215 NEW BEST:: SOT 91594 SOS 38511 HAS SOPS 38325 HAS SOUS 18776 HAS SOUPS 18593 WITH SCORE 18631.511
AT ITER 3228 NEW BEST:: SOT 91566 SOS 38483 HAS SOPS 38297 HAS SOUS 18765 HAS SOUPS 18582 WITH SCORE 18620.483
AT ITER 3235 NEW BEST:: SOT 91557 SOS 38474 HAS SOPS 38288 HAS SOUS 18756 HAS SOUPS 18573 WITH SCORE 18611.474
AT ITER 3236 NEW BEST:: SOT 91375 SOS 38292 HAS SOPS 38106 HAS SOUS 18730 HAS SOUPS 18547 WITH SCORE 18585.292
AT ITER 3280 NEW BEST:: SOT 91591 SOS 38170 HAS SOPS 37984 HAS SOUS 18712 HAS SOUPS 18529 WITH SCORE 18567.17
AT ITER 3282 NEW BEST:: SOT 91591 SOS 38170 HAS SOPS 37984 HAS SOUS 18700 HAS SOUPS 18517 WITH SCORE 18555.17
AT ITER 3283 NEW BEST:: SOT 91507 SOS 38086 HAS SOPS 37900 HAS SOUS 18520 HAS SOUPS 18337 WITH SCORE 18375.086
AT ITER 3304 NEW BEST:: SOT 91505 SOS 38098 HAS SOPS 37874 HAS SOUS 18522 HAS SOUPS 18301 WITH SCORE 18339.098
AT ITER 3318 NEW BEST:: SOT 91505 SOS 37979 HAS SOPS 37738 HAS SOUS 18505 HAS SOUPS 18267 WITH SCORE 18304.979
AT ITER 3385 NEW BEST:: SOT 91685 SOS 37941 HAS SOPS 37700 HAS SOUS 18459 HAS SOUPS 18221 WITH SCORE 18258.941
AT ITER 3387 NEW BEST:: SOT 91678 SOS 37934 HAS SOPS 37693 HAS SOUS 18448 HAS SOUPS 18210 WITH SCORE 18247.934
AT ITER 3431 NEW BEST:: SOT 91660 SOS 37910 HAS SOPS 37675 HAS SOUS 18442 HAS SOUPS 18210 WITH SCORE 18247.91
AT ITER 3440 NEW BEST:: SOT 91678 SOS 37892 HAS SOPS 37657 HAS SOUS 18442 HAS SOUPS 18210 WITH SCORE 18247.892
AT ITER 3453 NEW BEST:: SOT 91678 SOS 37927 HAS SOPS 37692 HAS SOUS 18417 HAS SOUPS 18185 WITH SCORE 18222.927
AT ITER 3456 NEW BEST:: SOT 91674 SOS 37920 HAS SOPS 37685 HAS SOUS 18413 HAS SOUPS 18181 WITH SCORE 18218.92
AT ITER 3475 NEW BEST:: SOT 91657 SOS 37898 HAS SOPS 37663 HAS SOUS 18406 HAS SOUPS 18174 WITH SCORE 18211.898
AT ITER 3483 NEW BEST:: SOT 91587 SOS 37808 HAS SOPS 37573 HAS SOUS 18317 HAS SOUPS 18085 WITH SCORE 18122.808
AT ITER 3497 NEW BEST:: SOT 91482 SOS 37684 HAS SOPS 37449 HAS SOUS 18223 HAS SOUPS 17991 WITH SCORE 18028.684
AT ITER 3501 NEW BEST:: SOT 91457 SOS 37626 HAS SOPS 37391 HAS SOUS 18220 HAS SOUPS 17988 WITH SCORE 18025.626
AT ITER 3503 NEW BEST:: SOT 91457 SOS 37626 HAS SOPS 37391 HAS SOUS 18215 HAS SOUPS 17983 WITH SCORE 18020.626
AT ITER 3519 NEW BEST:: SOT 91455 SOS 37624 HAS SOPS 37389 HAS SOUS 18213 HAS SOUPS 17981 WITH SCORE 18018.624
AT ITER 3534 NEW BEST:: SOT 91455 SOS 37477 HAS SOPS 37235 HAS SOUS 18206 HAS SOUPS 17974 WITH SCORE 18011.477
AT ITER 3547 NEW BEST:: SOT 91422 SOS 37498 HAS SOPS 37256 HAS SOUS 18196 HAS SOUPS 17964 WITH SCORE 18001.498
AT ITER 3566 NEW BEST:: SOT 91422 SOS 37498 HAS SOPS 37256 HAS SOUS 18184 HAS SOUPS 17952 WITH SCORE 17989.498
AT ITER 3568 NEW BEST:: SOT 91424 SOS 37500 HAS SOPS 37258 HAS SOUS 18176 HAS SOUPS 17944 WITH SCORE 17981.5
AT ITER 3571 NEW BEST:: SOT 91516 SOS 37592 HAS SOPS 37350 HAS SOUS 18144 HAS SOUPS 17912 WITH SCORE 17949.592
AT ITER 3583 NEW BEST:: SOT 91508 SOS 37584 HAS SOPS 37342 HAS SOUS 18136 HAS SOUPS 17904 WITH SCORE 17941.584
AT ITER 3586 NEW BEST:: SOT 91491 SOS 37567 HAS SOPS 37325 HAS SOUS 18135 HAS SOUPS 17903 WITH SCORE 17940.567
AT ITER 3607 NEW BEST:: SOT 91420 SOS 37813 HAS SOPS 37571 HAS SOUS 18132 HAS SOUPS 17900 WITH SCORE 17937.813
AT ITER 3614 NEW BEST:: SOT 91418 SOS 37811 HAS SOPS 37569 HAS SOUS 18128 HAS SOUPS 17896 WITH SCORE 17933.811
AT ITER 3622 NEW BEST:: SOT 91416 SOS 37809 HAS SOPS 37567 HAS SOUS 18124 HAS SOUPS 17892 WITH SCORE 17929.809
AT ITER 3629 NEW BEST:: SOT 91370 SOS 37768 HAS SOPS 37526 HAS SOUS 18119 HAS SOUPS 17887 WITH SCORE 17924.768
AT ITER 3633 NEW BEST:: SOT 91353 SOS 37751 HAS SOPS 37509 HAS SOUS 18109 HAS SOUPS 17877 WITH SCORE 17914.751
AT ITER 3639 NEW BEST:: SOT 91391 SOS 37808 HAS SOPS 37566 HAS SOUS 18108 HAS SOUPS 17876 WITH SCORE 17913.808
AT ITER 3667 NEW BEST:: SOT 91328 SOS 37624 HAS SOPS 37382 HAS SOUS 18011 HAS SOUPS 17779 WITH SCORE 17816.624
AT ITER 3670 NEW BEST:: SOT 91323 SOS 37619 HAS SOPS 37377 HAS SOUS 17985 HAS SOUPS 17753 WITH SCORE 17790.619
AT ITER 3675 NEW BEST:: SOT 91318 SOS 37614 HAS SOPS 37372 HAS SOUS 17980 HAS SOUPS 17748 WITH SCORE 17785.614
AT ITER 3681 NEW BEST:: SOT 91318 SOS 37577 HAS SOPS 37335 HAS SOUS 17943 HAS SOUPS 17711 WITH SCORE 17748.577
AT ITER 3685 NEW BEST:: SOT 91264 SOS 37490 HAS SOPS 37248 HAS SOUS 17905 HAS SOUPS 17673 WITH SCORE 17710.49
AT ITER 3692 NEW BEST:: SOT 91114 SOS 37456 HAS SOPS 37214 HAS SOUS 17849 HAS SOUPS 17617 WITH SCORE 17654.456
AT ITER 3694 NEW BEST:: SOT 91114 SOS 37436 HAS SOPS 37194 HAS SOUS 17837 HAS SOUPS 17605 WITH SCORE 17642.436
AT ITER 3728 NEW BEST:: SOT 91033 SOS 37337 HAS SOPS 37095 HAS SOUS 17757 HAS SOUPS 17525 WITH SCORE 17562.337
AT ITER 3739 NEW BEST:: SOT 90995 SOS 37299 HAS SOPS 37057 HAS SOUS 17711 HAS SOUPS 17479 WITH SCORE 17516.299
AT ITER 3750 NEW BEST:: SOT 91001 SOS 37388 HAS SOPS 37146 HAS SOUS 17709 HAS SOUPS 17477 WITH SCORE 17514.388
AT ITER 3773 NEW BEST:: SOT 91075 SOS 37447 HAS SOPS 37205 HAS SOUS 17705 HAS SOUPS 17473 WITH SCORE 17510.447
AT ITER 3774 NEW BEST:: SOT 91051 SOS 36974 HAS SOPS 36732 HAS SOUS 17648 HAS SOUPS 17416 WITH SCORE 17452.974
AT ITER 3776 NEW BEST:: SOT 91054 SOS 36969 HAS SOPS 36727 HAS SOUS 17646 HAS SOUPS 17414 WITH SCORE 17450.969
AT ITER 3790 NEW BEST:: SOT 90897 SOS 36812 HAS SOPS 36570 HAS SOUS 17617 HAS SOUPS 17385 WITH SCORE 17421.812
AT ITER 3793 NEW BEST:: SOT 90832 SOS 36873 HAS SOPS 36631 HAS SOUS 17597 HAS SOUPS 17365 WITH SCORE 17401.873
AT ITER 3817 NEW BEST:: SOT 90822 SOS 36871 HAS SOPS 36629 HAS SOUS 17591 HAS SOUPS 17359 WITH SCORE 17395.871
AT ITER 3836 NEW BEST:: SOT 90790 SOS 36537 HAS SOPS 36295 HAS SOUS 17516 HAS SOUPS 17284 WITH SCORE 17320.537
AT ITER 3843 NEW BEST:: SOT 90786 SOS 36533 HAS SOPS 36291 HAS SOUS 17470 HAS SOUPS 17238 WITH SCORE 17274.533
AT ITER 3863 NEW BEST:: SOT 90766 SOS 36513 HAS SOPS 36271 HAS SOUS 17458 HAS SOUPS 17226 WITH SCORE 17262.513
AT ITER 3868 NEW BEST:: SOT 90758 SOS 36505 HAS SOPS 36263 HAS SOUS 17450 HAS SOUPS 17218 WITH SCORE 17254.505
AT ITER 3870 NEW BEST:: SOT 90735 SOS 36466 HAS SOPS 36211 HAS SOUS 17386 HAS SOUPS 17154 WITH SCORE 17190.466
AT ITER 3888 NEW BEST:: SOT 90731 SOS 36460 HAS SOPS 36205 HAS SOUS 17386 HAS SOUPS 17154 WITH SCORE 17190.46
AT ITER 3939 NEW BEST:: SOT 90716 SOS 36450 HAS SOPS 36195 HAS SOUS 17373 HAS SOUPS 17141 WITH SCORE 17177.45
AT ITER 3960 NEW BEST:: SOT 90692 SOS 36423 HAS SOPS 36168 HAS SOUS 17364 HAS SOUPS 17132 WITH SCORE 17168.423
AT ITER 4001 NEW BEST:: SOT 90684 SOS 36459 HAS SOPS 36204 HAS SOUS 17354 HAS SOUPS 17122 WITH SCORE 17158.459
AT ITER 4009 NEW BEST:: SOT 90649 SOS 36093 HAS SOPS 35838 HAS SOUS 17075 HAS SOUPS 16843 WITH SCORE 16879.093
AT ITER 4049 NEW BEST:: SOT 90635 SOS 36079 HAS SOPS 35824 HAS SOUS 17066 HAS SOUPS 16834 WITH SCORE 16870.079
AT ITER 4155 NEW BEST:: SOT 90635 SOS 36067 HAS SOPS 35812 HAS SOUS 17066 HAS SOUPS 16834 WITH SCORE 16870.067
AT ITER 4167 NEW BEST:: SOT 90625 SOS 36048 HAS SOPS 35793 HAS SOUS 17059 HAS SOUPS 16827 WITH SCORE 16863.048
AT ITER 4190 NEW BEST:: SOT 90597 SOS 36020 HAS SOPS 35765 HAS SOUS 17038 HAS SOUPS 16806 WITH SCORE 16842.02
AT ITER 4217 NEW BEST:: SOT 90561 SOS 35984 HAS SOPS 35729 HAS SOUS 17008 HAS SOUPS 16776 WITH SCORE 16811.984
AT ITER 4270 NEW BEST:: SOT 90671 SOS 36094 HAS SOPS 35839 HAS SOUS 16986 HAS SOUPS 16754 WITH SCORE 16790.094
AT ITER 4305 NEW BEST:: SOT 90639 SOS 36103 HAS SOPS 35848 HAS SOUS 16971 HAS SOUPS 16739 WITH SCORE 16775.103
AT ITER 4306 NEW BEST:: SOT 90625 SOS 36089 HAS SOPS 35834 HAS SOUS 16964 HAS SOUPS 16732 WITH SCORE 16768.089
AT ITER 4307 NEW BEST:: SOT 90626 SOS 36095 HAS SOPS 35830 HAS SOUS 16964 HAS SOUPS 16727 WITH SCORE 16763.095
AT ITER 4350 NEW BEST:: SOT 90721 SOS 36110 HAS SOPS 35845 HAS SOUS 16919 HAS SOUPS 16682 WITH SCORE 16718.11
AT ITER 4364 NEW BEST:: SOT 90724 SOS 36113 HAS SOPS 35848 HAS SOUS 16916 HAS SOUPS 16679 WITH SCORE 16715.113
AT ITER 4365 NEW BEST:: SOT 90500 SOS 35889 HAS SOPS 35624 HAS SOUS 16867 HAS SOUPS 16630 WITH SCORE 16665.889
AT ITER 4391 NEW BEST:: SOT 90500 SOS 35893 HAS SOPS 35628 HAS SOUS 16853 HAS SOUPS 16616 WITH SCORE 16651.893
AT ITER 4393 NEW BEST:: SOT 90486 SOS 35879 HAS SOPS 35614 HAS SOUS 16849 HAS SOUPS 16612 WITH SCORE 16647.879
AT ITER 4402 NEW BEST:: SOT 90378 SOS 35777 HAS SOPS 35512 HAS SOUS 16807 HAS SOUPS 16570 WITH SCORE 16605.777
AT ITER 4433 NEW BEST:: SOT 90599 SOS 35782 HAS SOPS 35517 HAS SOUS 16793 HAS SOUPS 16556 WITH SCORE 16591.782
AT ITER 4437 NEW BEST:: SOT 90552 SOS 35735 HAS SOPS 35470 HAS SOUS 16785 HAS SOUPS 16548 WITH SCORE 16583.735
AT ITER 4452 NEW BEST:: SOT 90420 SOS 35405 HAS SOPS 35140 HAS SOUS 16740 HAS SOUPS 16503 WITH SCORE 16538.405
AT ITER 4465 NEW BEST:: SOT 90415 SOS 35400 HAS SOPS 35135 HAS SOUS 16719 HAS SOUPS 16482 WITH SCORE 16517.4
AT ITER 4483 NEW BEST:: SOT 90367 SOS 35352 HAS SOPS 35087 HAS SOUS 16623 HAS SOUPS 16386 WITH SCORE 16421.352
AT ITER 4498 NEW BEST:: SOT 90394 SOS 35352 HAS SOPS 35087 HAS SOUS 16585 HAS SOUPS 16348 WITH SCORE 16383.352
AT ITER 4519 NEW BEST:: SOT 90399 SOS 35394 HAS SOPS 35129 HAS SOUS 16574 HAS SOUPS 16337 WITH SCORE 16372.394
AT ITER 4520 NEW BEST:: SOT 90395 SOS 35390 HAS SOPS 35125 HAS SOUS 16566 HAS SOUPS 16329 WITH SCORE 16364.39
AT ITER 4522 NEW BEST:: SOT 90515 SOS 35450 HAS SOPS 35185 HAS SOUS 16540 HAS SOUPS 16303 WITH SCORE 16338.45
AT ITER 4544 NEW BEST:: SOT 90515 SOS 35449 HAS SOPS 35184 HAS SOUS 16539 HAS SOUPS 16302 WITH SCORE 16337.449
AT ITER 4559 NEW BEST:: SOT 90499 SOS 35433 HAS SOPS 35168 HAS SOUS 16535 HAS SOUPS 16298 WITH SCORE 16333.433
AT ITER 4563 NEW BEST:: SOT 90570 SOS 35378 HAS SOPS 35089 HAS SOUS 16545 HAS SOUPS 16284 WITH SCORE 16319.378
AT ITER 4564 NEW BEST:: SOT 90544 SOS 35352 HAS SOPS 35063 HAS SOUS 16545 HAS SOUPS 16284 WITH SCORE 16319.352
AT ITER 4566 NEW BEST:: SOT 90539 SOS 35170 HAS SOPS 34881 HAS SOUS 16540 HAS SOUPS 16279 WITH SCORE 16314.17
AT ITER 4578 NEW BEST:: SOT 90510 SOS 35141 HAS SOPS 34852 HAS SOUS 16520 HAS SOUPS 16259 WITH SCORE 16294.141
AT ITER 4585 NEW BEST:: SOT 90505 SOS 35136 HAS SOPS 34847 HAS SOUS 16515 HAS SOUPS 16254 WITH SCORE 16289.136
AT ITER 4591 NEW BEST:: SOT 90517 SOS 35155 HAS SOPS 34866 HAS SOUS 16513 HAS SOUPS 16252 WITH SCORE 16287.155
AT ITER 4598 NEW BEST:: SOT 90509 SOS 35147 HAS SOPS 34858 HAS SOUS 16511 HAS SOUPS 16250 WITH SCORE 16285.147
AT ITER 4603 NEW BEST:: SOT 90505 SOS 35139 HAS SOPS 34850 HAS SOUS 16503 HAS SOUPS 16242 WITH SCORE 16277.139
AT ITER 4609 NEW BEST:: SOT 90237 SOS 35171 HAS SOPS 34882 HAS SOUS 16457 HAS SOUPS 16196 WITH SCORE 16231.171
AT ITER 4610 NEW BEST:: SOT 90201 SOS 35135 HAS SOPS 34846 HAS SOUS 16453 HAS SOUPS 16192 WITH SCORE 16227.135
AT ITER 4622 NEW BEST:: SOT 90209 SOS 35143 HAS SOPS 34854 HAS SOUS 16421 HAS SOUPS 16160 WITH SCORE 16195.143
AT ITER 4630 NEW BEST:: SOT 90207 SOS 35140 HAS SOPS 34851 HAS SOUS 16418 HAS SOUPS 16157 WITH SCORE 16192.14
AT ITER 4648 NEW BEST:: SOT 90148 SOS 34990 HAS SOPS 34701 HAS SOUS 16415 HAS SOUPS 16154 WITH SCORE 16188.99
AT ITER 4659 NEW BEST:: SOT 90170 SOS 34954 HAS SOPS 34656 HAS SOUS 16415 HAS SOUPS 16145 WITH SCORE 16179.954
AT ITER 4691 NEW BEST:: SOT 90149 SOS 34933 HAS SOPS 34635 HAS SOUS 16403 HAS SOUPS 16133 WITH SCORE 16167.933
AT ITER 4701 NEW BEST:: SOT 90212 SOS 34926 HAS SOPS 34628 HAS SOUS 16400 HAS SOUPS 16130 WITH SCORE 16164.926
AT ITER 4713 NEW BEST:: SOT 90136 SOS 34850 HAS SOPS 34552 HAS SOUS 16399 HAS SOUPS 16129 WITH SCORE 16163.85
AT ITER 4722 NEW BEST:: SOT 90167 SOS 34807 HAS SOPS 34509 HAS SOUS 16371 HAS SOUPS 16101 WITH SCORE 16135.807
AT ITER 4747 NEW BEST:: SOT 90045 SOS 34933 HAS SOPS 34635 HAS SOUS 16321 HAS SOUPS 16051 WITH SCORE 16085.933
AT ITER 4749 NEW BEST:: SOT 90086 SOS 35058 HAS SOPS 34760 HAS SOUS 16320 HAS SOUPS 16050 WITH SCORE 16085.058
AT ITER 4754 NEW BEST:: SOT 90086 SOS 35054 HAS SOPS 34756 HAS SOUS 16320 HAS SOUPS 16050 WITH SCORE 16085.054
AT ITER 4791 NEW BEST:: SOT 89982 SOS 35113 HAS SOPS 34815 HAS SOUS 16276 HAS SOUPS 16006 WITH SCORE 16041.113
AT ITER 4797 NEW BEST:: SOT 89981 SOS 35111 HAS SOPS 34813 HAS SOUS 16274 HAS SOUPS 16004 WITH SCORE 16039.111
AT ITER 4807 NEW BEST:: SOT 89979 SOS 35109 HAS SOPS 34811 HAS SOUS 16272 HAS SOUPS 16002 WITH SCORE 16037.109
AT ITER 4892 NEW BEST:: SOT 89968 SOS 35117 HAS SOPS 34802 HAS SOUS 16261 HAS SOUPS 15974 WITH SCORE 16009.117
AT ITER 4894 NEW BEST:: SOT 89946 SOS 35086 HAS SOPS 34771 HAS SOUS 16230 HAS SOUPS 15943 WITH SCORE 15978.086
AT ITER 4900 NEW BEST:: SOT 89940 SOS 35080 HAS SOPS 34765 HAS SOUS 16228 HAS SOUPS 15941 WITH SCORE 15976.08
AT ITER 4940 NEW BEST:: SOT 90072 SOS 35135 HAS SOPS 34820 HAS SOUS 16169 HAS SOUPS 15882 WITH SCORE 15917.135
AT ITER 4964 NEW BEST:: SOT 90072 SOS 35135 HAS SOPS 34820 HAS SOUS 16138 HAS SOUPS 15851 WITH SCORE 15886.135
AT ITER 4992 NEW BEST:: SOT 90103 SOS 35004 HAS SOPS 34689 HAS SOUS 16128 HAS SOUPS 15841 WITH SCORE 15876.004
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: NoC3x3-PT-4A-CTLCardinality-00 (! (EF((AG( potential( (tk(P1)) <= (tk(P242)) ))))))
PROPERTY: NoC3x3-PT-4A-CTLCardinality-01 (EU( (! ( potential( (tk(P28)) <= (tk(P152)) ) & potential( ( 2 ) <= (tk(P226)) ) )),(! ( potential( (tk(P183)) <= (tk(P16)) ) | potential( (tk(P176)) <= (tk(P244)) ) )) ))
PROPERTY: NoC3x3-PT-4A-CTLCardinality-02 (EF(( ( ( potential( (tk(P133)) <= (tk(P33)) ) & potential( ( 3 ) <= (tk(P220)) ) ) & ( potential( (tk(P196)) <= (tk(P285)) ) & potential( ( 1 ) <= (tk(P235)) ) ) ) & potential( (tk(P152)) <= (tk(P119)) ) )))
PROPERTY: NoC3x3-PT-4A-CTLCardinality-03 ( (AX( ( potential( ( 2 ) <= (tk(P52)) ) & (! potential( ( 3 ) <= (tk(P133)) )) ))) | (AG( ( potential( (tk(P19)) <= (tk(P180)) ) | potential( ( 2 ) <= (tk(P165)) ) ))) )
PROPERTY: NoC3x3-PT-4A-CTLCardinality-04 ( (! (! (EF(potential( ( 2 ) <= (tk(P84)) ))))) & (! potential( ( 2 ) <= (tk(P237)) )) )
PROPERTY: NoC3x3-PT-4A-CTLCardinality-05 (EF(( ( ( potential( ( 1 ) <= (tk(P60)) ) | potential( ( 1 ) <= (tk(P50)) ) ) | ( potential( (tk(P7)) <= (tk(P68)) ) & potential( (tk(P131)) <= (tk(P69)) ) ) ) & (! potential( (tk(P92)) <= (tk(P32)) )) )))
PROPERTY: NoC3x3-PT-4A-CTLCardinality-06 (AG( (AX( ( potential( (tk(P95)) <= (tk(P272)) ) | potential( ( 2 ) <= (tk(P139)) ) )))))
PROPERTY: NoC3x3-PT-4A-CTLCardinality-07 (EU( (! potential( ( 2 ) <= (tk(P45)) )),(EX( potential( ( 1 ) <= (tk(P15)) ))) ))
PROPERTY: NoC3x3-PT-4A-CTLCardinality-08 ( ( ( potential( (tk(P230)) <= (tk(P171)) ) & ( ( potential( ( 2 ) <= (tk(P33)) ) & potential( (tk(P7)) <= (tk(P201)) ) ) & ( potential( ( 2 ) <= (tk(P152)) ) | potential( (tk(P59)) <= (tk(P77)) ) ) ) ) | potential( ( 2 ) <= (tk(P244)) ) ) | (AG( ( ( potential( (tk(P271)) <= (tk(P32)) ) & potential( ( 1 ) <= (tk(P120)) ) ) | ( potential( ( 1 ) <= (tk(P275)) ) | potential( (tk(P64)) <= (tk(P90)) ) ) ))) )
PROPERTY: NoC3x3-PT-4A-CTLCardinality-09 ( (! potential( ( 2 ) <= (tk(P130)) )) & ( ( potential( (tk(P290)) <= (tk(P166)) ) & (EX( potential( (tk(P21)) <= (tk(P98)) ))) ) & (! (EF(potential( ( 2 ) <= (tk(P277)) )))) ) )
PROPERTY: NoC3x3-PT-4A-CTLCardinality-10 (EU( (EF(potential( (tk(P238)) <= (tk(P93)) ))),potential( ( 3 ) <= (tk(P168)) ) ))
PROPERTY: NoC3x3-PT-4A-CTLCardinality-11 (AG( (! ( ( potential( ( 2 ) <= (tk(P15)) ) | potential( ( 2 ) <= (tk(P147)) ) ) | ( potential( ( 3 ) <= (tk(P80)) ) | potential( ( 3 ) <= (tk(P79)) ) ) ))))
PROPERTY: NoC3x3-PT-4A-CTLCardinality-12 ( potential( (tk(P116)) <= (tk(P279)) ) & (! (AG( ( potential( (tk(P133)) <= (tk(P263)) ) | potential( (tk(P172)) <= (tk(P156)) ) )))) )
PROPERTY: NoC3x3-PT-4A-CTLCardinality-13 (EG( (EU( potential( (tk(P38)) <= (tk(P169)) ),potential( ( 2 ) <= (tk(P58)) ) ))))
PROPERTY: NoC3x3-PT-4A-CTLCardinality-14 (! (! (AG( ( potential( (tk(P123)) <= (tk(P243)) ) | potential( (tk(P149)) <= (tk(P232)) ) )))))
PROPERTY: NoC3x3-PT-4A-CTLCardinality-15 (AU( potential( (tk(P46)) <= (tk(P212)) ),(AG( potential( ( 1 ) <= (tk(P74)) ))) ))

BK_STOP 1589644161906

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

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

Sequence of Actions to be Executed by the VM

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

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

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