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

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

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

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

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

=== Now, execution of the tool begins

BK_START 1589641444472

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 1A
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: 165 places, 355 transitions, 1069 arcs.
AT ITER 0 NEW BEST:: SOT 39460 SOS 33632 HAS SOPS 33632 HAS SOUS 16750 HAS SOUPS 16750 WITH SCORE 16783.632
AT ITER 8 NEW BEST:: SOT 39104 SOS 33345 HAS SOPS 33345 HAS SOUS 16625 HAS SOUPS 16625 WITH SCORE 16658.345
AT ITER 9 NEW BEST:: SOT 39236 SOS 33301 HAS SOPS 33301 HAS SOUS 16586 HAS SOUPS 16586 WITH SCORE 16619.301
AT ITER 12 NEW BEST:: SOT 39236 SOS 33301 HAS SOPS 33301 HAS SOUS 16582 HAS SOUPS 16582 WITH SCORE 16615.301
AT ITER 13 NEW BEST:: SOT 38861 SOS 32926 HAS SOPS 32926 HAS SOUS 16427 HAS SOUPS 16427 WITH SCORE 16459.926
AT ITER 15 NEW BEST:: SOT 38885 SOS 32910 HAS SOPS 32910 HAS SOUS 16427 HAS SOUPS 16427 WITH SCORE 16459.91
AT ITER 18 NEW BEST:: SOT 38718 SOS 32743 HAS SOPS 32743 HAS SOUS 16278 HAS SOUPS 16278 WITH SCORE 16310.743
AT ITER 19 NEW BEST:: SOT 38759 SOS 32784 HAS SOPS 32784 HAS SOUS 16243 HAS SOUPS 16243 WITH SCORE 16275.784
AT ITER 23 NEW BEST:: SOT 38517 SOS 32542 HAS SOPS 32542 HAS SOUS 16060 HAS SOUPS 16060 WITH SCORE 16092.542
AT ITER 24 NEW BEST:: SOT 38383 SOS 32408 HAS SOPS 32408 HAS SOUS 16004 HAS SOUPS 16004 WITH SCORE 16036.408
AT ITER 25 NEW BEST:: SOT 37982 SOS 32011 HAS SOPS 32011 HAS SOUS 15802 HAS SOUPS 15802 WITH SCORE 15834.011
AT ITER 26 NEW BEST:: SOT 37942 SOS 31971 HAS SOPS 31971 HAS SOUS 15800 HAS SOUPS 15800 WITH SCORE 15831.971
AT ITER 31 NEW BEST:: SOT 37344 SOS 31378 HAS SOPS 31378 HAS SOUS 15503 HAS SOUPS 15503 WITH SCORE 15534.378
AT ITER 33 NEW BEST:: SOT 37395 SOS 30719 HAS SOPS 30719 HAS SOUS 15502 HAS SOUPS 15502 WITH SCORE 15532.719
AT ITER 35 NEW BEST:: SOT 37518 SOS 30442 HAS SOPS 30442 HAS SOUS 15496 HAS SOUPS 15496 WITH SCORE 15526.442
AT ITER 36 NEW BEST:: SOT 37532 SOS 30456 HAS SOPS 30456 HAS SOUS 15454 HAS SOUPS 15454 WITH SCORE 15484.456
AT ITER 37 NEW BEST:: SOT 37540 SOS 30356 HAS SOPS 30356 HAS SOUS 15454 HAS SOUPS 15454 WITH SCORE 15484.356
AT ITER 39 NEW BEST:: SOT 38017 SOS 30396 HAS SOPS 30396 HAS SOUS 15337 HAS SOUPS 15337 WITH SCORE 15367.396
AT ITER 43 NEW BEST:: SOT 37977 SOS 30356 HAS SOPS 30356 HAS SOUS 15331 HAS SOUPS 15331 WITH SCORE 15361.356
AT ITER 45 NEW BEST:: SOT 37920 SOS 29991 HAS SOPS 29991 HAS SOUS 15032 HAS SOUPS 15032 WITH SCORE 15061.991
AT ITER 46 NEW BEST:: SOT 37968 SOS 29975 HAS SOPS 29975 HAS SOUS 15032 HAS SOUPS 15032 WITH SCORE 15061.975
AT ITER 48 NEW BEST:: SOT 37742 SOS 29749 HAS SOPS 29749 HAS SOUS 14930 HAS SOUPS 14930 WITH SCORE 14959.749
AT ITER 49 NEW BEST:: SOT 37790 SOS 29733 HAS SOPS 29733 HAS SOUS 14930 HAS SOUPS 14930 WITH SCORE 14959.733
AT ITER 51 NEW BEST:: SOT 37772 SOS 29715 HAS SOPS 29715 HAS SOUS 14913 HAS SOUPS 14913 WITH SCORE 14942.715
AT ITER 56 NEW BEST:: SOT 37772 SOS 29442 HAS SOPS 29442 HAS SOUS 14910 HAS SOUPS 14910 WITH SCORE 14939.442
AT ITER 58 NEW BEST:: SOT 37733 SOS 29403 HAS SOPS 29403 HAS SOUS 14895 HAS SOUPS 14895 WITH SCORE 14924.403
AT ITER 59 NEW BEST:: SOT 37269 SOS 28706 HAS SOPS 28706 HAS SOUS 14389 HAS SOUPS 14389 WITH SCORE 14417.706
AT ITER 60 NEW BEST:: SOT 37387 SOS 28824 HAS SOPS 28824 HAS SOUS 14271 HAS SOUPS 14271 WITH SCORE 14299.824
AT ITER 62 NEW BEST:: SOT 37337 SOS 28774 HAS SOPS 28774 HAS SOUS 14196 HAS SOUPS 14196 WITH SCORE 14224.774
AT ITER 63 NEW BEST:: SOT 37375 SOS 28560 HAS SOPS 28560 HAS SOUS 14158 HAS SOUPS 14158 WITH SCORE 14186.56
AT ITER 65 NEW BEST:: SOT 36940 SOS 28256 HAS SOPS 28256 HAS SOUS 14028 HAS SOUPS 14028 WITH SCORE 14056.256
AT ITER 66 NEW BEST:: SOT 36940 SOS 28269 HAS SOPS 28269 HAS SOUS 14021 HAS SOUPS 14021 WITH SCORE 14049.269
AT ITER 67 NEW BEST:: SOT 36843 SOS 28172 HAS SOPS 28172 HAS SOUS 13924 HAS SOUPS 13924 WITH SCORE 13952.172
AT ITER 68 NEW BEST:: SOT 36721 SOS 28050 HAS SOPS 28050 HAS SOUS 13801 HAS SOUPS 13801 WITH SCORE 13829.05
AT ITER 74 NEW BEST:: SOT 36240 SOS 27717 HAS SOPS 27717 HAS SOUS 13535 HAS SOUPS 13535 WITH SCORE 13562.717
AT ITER 75 NEW BEST:: SOT 36146 SOS 27623 HAS SOPS 27623 HAS SOUS 13445 HAS SOUPS 13445 WITH SCORE 13472.623
AT ITER 79 NEW BEST:: SOT 35798 SOS 27275 HAS SOPS 27275 HAS SOUS 13249 HAS SOUPS 13249 WITH SCORE 13276.275
AT ITER 83 NEW BEST:: SOT 35938 SOS 27240 HAS SOPS 27240 HAS SOUS 13248 HAS SOUPS 13248 WITH SCORE 13275.24
AT ITER 85 NEW BEST:: SOT 35872 SOS 27174 HAS SOPS 27174 HAS SOUS 13215 HAS SOUPS 13215 WITH SCORE 13242.174
AT ITER 87 NEW BEST:: SOT 35872 SOS 27135 HAS SOPS 27135 HAS SOUS 13215 HAS SOUPS 13215 WITH SCORE 13242.135
AT ITER 91 NEW BEST:: SOT 35936 SOS 27126 HAS SOPS 27126 HAS SOUS 13197 HAS SOUPS 13197 WITH SCORE 13224.126
AT ITER 101 NEW BEST:: SOT 35936 SOS 27042 HAS SOPS 27042 HAS SOUS 13188 HAS SOUPS 13188 WITH SCORE 13215.042
AT ITER 104 NEW BEST:: SOT 36298 SOS 27007 HAS SOPS 26997 HAS SOUS 13192 HAS SOUPS 13182 WITH SCORE 13209.007
AT ITER 105 NEW BEST:: SOT 36661 SOS 26973 HAS SOPS 26963 HAS SOUS 13039 HAS SOUPS 13029 WITH SCORE 13055.973
AT ITER 106 NEW BEST:: SOT 36662 SOS 26962 HAS SOPS 26952 HAS SOUS 13025 HAS SOUPS 13015 WITH SCORE 13041.962
AT ITER 107 NEW BEST:: SOT 36640 SOS 26940 HAS SOPS 26930 HAS SOUS 13000 HAS SOUPS 12990 WITH SCORE 13016.94
AT ITER 110 NEW BEST:: SOT 36548 SOS 26579 HAS SOPS 26569 HAS SOUS 12949 HAS SOUPS 12939 WITH SCORE 12965.579
AT ITER 111 NEW BEST:: SOT 36504 SOS 26551 HAS SOPS 26541 HAS SOUS 12931 HAS SOUPS 12921 WITH SCORE 12947.551
AT ITER 112 NEW BEST:: SOT 36417 SOS 26623 HAS SOPS 26613 HAS SOUS 12800 HAS SOUPS 12790 WITH SCORE 12816.623
AT ITER 114 NEW BEST:: SOT 36405 SOS 26435 HAS SOPS 26425 HAS SOUS 12800 HAS SOUPS 12790 WITH SCORE 12816.435
AT ITER 116 NEW BEST:: SOT 36394 SOS 26424 HAS SOPS 26414 HAS SOUS 12791 HAS SOUPS 12781 WITH SCORE 12807.424
AT ITER 118 NEW BEST:: SOT 36384 SOS 26414 HAS SOPS 26404 HAS SOUS 12787 HAS SOUPS 12777 WITH SCORE 12803.414
AT ITER 121 NEW BEST:: SOT 36394 SOS 26409 HAS SOPS 26399 HAS SOUS 12787 HAS SOUPS 12777 WITH SCORE 12803.409
AT ITER 125 NEW BEST:: SOT 36140 SOS 26155 HAS SOPS 26145 HAS SOUS 12655 HAS SOUPS 12645 WITH SCORE 12671.155
AT ITER 129 NEW BEST:: SOT 36197 SOS 24983 HAS SOPS 24973 HAS SOUS 12578 HAS SOUPS 12568 WITH SCORE 12592.983
AT ITER 133 NEW BEST:: SOT 36190 SOS 24976 HAS SOPS 24966 HAS SOUS 12571 HAS SOUPS 12561 WITH SCORE 12585.976
AT ITER 134 NEW BEST:: SOT 35850 SOS 24648 HAS SOPS 24638 HAS SOUS 12425 HAS SOUPS 12415 WITH SCORE 12439.648
AT ITER 136 NEW BEST:: SOT 36074 SOS 24395 HAS SOPS 24385 HAS SOUS 12387 HAS SOUPS 12377 WITH SCORE 12401.395
AT ITER 143 NEW BEST:: SOT 35971 SOS 24300 HAS SOPS 24290 HAS SOUS 12358 HAS SOUPS 12348 WITH SCORE 12372.3
AT ITER 146 NEW BEST:: SOT 35959 SOS 24256 HAS SOPS 24246 HAS SOUS 12358 HAS SOUPS 12348 WITH SCORE 12372.256
AT ITER 147 NEW BEST:: SOT 36110 SOS 23922 HAS SOPS 23912 HAS SOUS 12255 HAS SOUPS 12245 WITH SCORE 12268.922
AT ITER 148 NEW BEST:: SOT 36051 SOS 23863 HAS SOPS 23853 HAS SOUS 12228 HAS SOUPS 12218 WITH SCORE 12241.863
AT ITER 152 NEW BEST:: SOT 36079 SOS 23803 HAS SOPS 23793 HAS SOUS 12211 HAS SOUPS 12201 WITH SCORE 12224.803
AT ITER 154 NEW BEST:: SOT 35916 SOS 23740 HAS SOPS 23730 HAS SOUS 12038 HAS SOUPS 12028 WITH SCORE 12051.74
AT ITER 159 NEW BEST:: SOT 35916 SOS 23720 HAS SOPS 23710 HAS SOUS 12038 HAS SOUPS 12028 WITH SCORE 12051.72
AT ITER 163 NEW BEST:: SOT 35741 SOS 23129 HAS SOPS 23119 HAS SOUS 11943 HAS SOUPS 11933 WITH SCORE 11956.129
AT ITER 164 NEW BEST:: SOT 35755 SOS 23143 HAS SOPS 23133 HAS SOUS 11936 HAS SOUPS 11926 WITH SCORE 11949.143
AT ITER 168 NEW BEST:: SOT 35753 SOS 23141 HAS SOPS 23131 HAS SOUS 11934 HAS SOUPS 11924 WITH SCORE 11947.141
AT ITER 171 NEW BEST:: SOT 35002 SOS 22390 HAS SOPS 22380 HAS SOUS 11618 HAS SOUPS 11608 WITH SCORE 11630.39
AT ITER 172 NEW BEST:: SOT 34990 SOS 22378 HAS SOPS 22368 HAS SOUS 11614 HAS SOUPS 11604 WITH SCORE 11626.378
AT ITER 177 NEW BEST:: SOT 35206 SOS 22252 HAS SOPS 22242 HAS SOUS 11584 HAS SOUPS 11574 WITH SCORE 11596.252
AT ITER 181 NEW BEST:: SOT 35206 SOS 22241 HAS SOPS 22231 HAS SOUS 11584 HAS SOUPS 11574 WITH SCORE 11596.241
AT ITER 193 NEW BEST:: SOT 35206 SOS 22240 HAS SOPS 22230 HAS SOUS 11578 HAS SOUPS 11568 WITH SCORE 11590.24
AT ITER 194 NEW BEST:: SOT 35206 SOS 22215 HAS SOPS 22205 HAS SOUS 11578 HAS SOUPS 11568 WITH SCORE 11590.215
AT ITER 199 NEW BEST:: SOT 35138 SOS 22147 HAS SOPS 22137 HAS SOUS 11476 HAS SOUPS 11466 WITH SCORE 11488.147
AT ITER 210 NEW BEST:: SOT 35167 SOS 22147 HAS SOPS 22137 HAS SOUS 11439 HAS SOUPS 11429 WITH SCORE 11451.147
AT ITER 214 NEW BEST:: SOT 34915 SOS 21656 HAS SOPS 21646 HAS SOUS 11357 HAS SOUPS 11347 WITH SCORE 11368.656
AT ITER 218 NEW BEST:: SOT 34915 SOS 21675 HAS SOPS 21665 HAS SOUS 11312 HAS SOUPS 11302 WITH SCORE 11323.675
AT ITER 220 NEW BEST:: SOT 34992 SOS 21752 HAS SOPS 21742 HAS SOUS 11299 HAS SOUPS 11289 WITH SCORE 11310.752
AT ITER 221 NEW BEST:: SOT 34986 SOS 21619 HAS SOPS 21609 HAS SOUS 11277 HAS SOUPS 11267 WITH SCORE 11288.619
AT ITER 224 NEW BEST:: SOT 34986 SOS 21641 HAS SOPS 21609 HAS SOUS 11277 HAS SOUPS 11245 WITH SCORE 11266.641
AT ITER 231 NEW BEST:: SOT 34640 SOS 21257 HAS SOPS 21225 HAS SOUS 11176 HAS SOUPS 11144 WITH SCORE 11165.257
AT ITER 232 NEW BEST:: SOT 34472 SOS 21071 HAS SOPS 21039 HAS SOUS 11092 HAS SOUPS 11060 WITH SCORE 11081.071
AT ITER 236 NEW BEST:: SOT 34458 SOS 21024 HAS SOPS 20992 HAS SOUS 11075 HAS SOUPS 11043 WITH SCORE 11064.024
AT ITER 243 NEW BEST:: SOT 34458 SOS 21036 HAS SOPS 21004 HAS SOUS 11067 HAS SOUPS 11035 WITH SCORE 11056.036
AT ITER 246 NEW BEST:: SOT 34278 SOS 20856 HAS SOPS 20824 HAS SOUS 11027 HAS SOUPS 10995 WITH SCORE 11015.856
AT ITER 248 NEW BEST:: SOT 34278 SOS 20790 HAS SOPS 20758 HAS SOUS 11027 HAS SOUPS 10995 WITH SCORE 11015.79
AT ITER 254 NEW BEST:: SOT 34330 SOS 20783 HAS SOPS 20751 HAS SOUS 11020 HAS SOUPS 10988 WITH SCORE 11008.783
AT ITER 255 NEW BEST:: SOT 34287 SOS 20740 HAS SOPS 20708 HAS SOUS 10980 HAS SOUPS 10948 WITH SCORE 10968.74
AT ITER 257 NEW BEST:: SOT 34273 SOS 20726 HAS SOPS 20694 HAS SOUS 10946 HAS SOUPS 10914 WITH SCORE 10934.726
AT ITER 264 NEW BEST:: SOT 34253 SOS 20706 HAS SOPS 20674 HAS SOUS 10946 HAS SOUPS 10914 WITH SCORE 10934.706
AT ITER 266 NEW BEST:: SOT 34105 SOS 20572 HAS SOPS 20540 HAS SOUS 10808 HAS SOUPS 10776 WITH SCORE 10796.572
AT ITER 268 NEW BEST:: SOT 34104 SOS 20435 HAS SOPS 20403 HAS SOUS 10786 HAS SOUPS 10754 WITH SCORE 10774.435
AT ITER 277 NEW BEST:: SOT 34047 SOS 20264 HAS SOPS 20232 HAS SOUS 10696 HAS SOUPS 10664 WITH SCORE 10684.264
AT ITER 278 NEW BEST:: SOT 33940 SOS 20157 HAS SOPS 20125 HAS SOUS 10657 HAS SOUPS 10625 WITH SCORE 10645.157
AT ITER 279 NEW BEST:: SOT 33940 SOS 20157 HAS SOPS 20125 HAS SOUS 10649 HAS SOUPS 10617 WITH SCORE 10637.157
AT ITER 280 NEW BEST:: SOT 33860 SOS 20077 HAS SOPS 20045 HAS SOUS 10569 HAS SOUPS 10537 WITH SCORE 10557.077
AT ITER 283 NEW BEST:: SOT 33781 SOS 19998 HAS SOPS 19966 HAS SOUS 10515 HAS SOUPS 10483 WITH SCORE 10502.998
AT ITER 291 NEW BEST:: SOT 33773 SOS 19990 HAS SOPS 19958 HAS SOUS 10499 HAS SOUPS 10467 WITH SCORE 10486.99
AT ITER 294 NEW BEST:: SOT 33661 SOS 19893 HAS SOPS 19861 HAS SOUS 10363 HAS SOUPS 10331 WITH SCORE 10350.893
AT ITER 295 NEW BEST:: SOT 33425 SOS 19657 HAS SOPS 19625 HAS SOUS 10276 HAS SOUPS 10244 WITH SCORE 10263.657
AT ITER 296 NEW BEST:: SOT 33457 SOS 19641 HAS SOPS 19609 HAS SOUS 10262 HAS SOUPS 10230 WITH SCORE 10249.641
AT ITER 297 NEW BEST:: SOT 33457 SOS 19141 HAS SOPS 19084 HAS SOUS 10262 HAS SOUPS 10205 WITH SCORE 10224.141
AT ITER 298 NEW BEST:: SOT 33521 SOS 19314 HAS SOPS 19257 HAS SOUS 10234 HAS SOUPS 10177 WITH SCORE 10196.314
AT ITER 303 NEW BEST:: SOT 33481 SOS 19284 HAS SOPS 19227 HAS SOUS 10200 HAS SOUPS 10143 WITH SCORE 10162.284
AT ITER 305 NEW BEST:: SOT 33481 SOS 19224 HAS SOPS 19167 HAS SOUS 10200 HAS SOUPS 10143 WITH SCORE 10162.224
AT ITER 308 NEW BEST:: SOT 33480 SOS 19171 HAS SOPS 19114 HAS SOUS 10155 HAS SOUPS 10098 WITH SCORE 10117.171
AT ITER 312 NEW BEST:: SOT 33445 SOS 19136 HAS SOPS 19079 HAS SOUS 10107 HAS SOUPS 10050 WITH SCORE 10069.136
AT ITER 316 NEW BEST:: SOT 33413 SOS 19112 HAS SOPS 19055 HAS SOUS 10083 HAS SOUPS 10026 WITH SCORE 10045.112
AT ITER 318 NEW BEST:: SOT 33517 SOS 18662 HAS SOPS 18605 HAS SOUS 10044 HAS SOUPS 9987 WITH SCORE 10005.662
AT ITER 323 NEW BEST:: SOT 33505 SOS 18650 HAS SOPS 18593 HAS SOUS 10036 HAS SOUPS 9979 WITH SCORE 9997.65
AT ITER 326 NEW BEST:: SOT 33565 SOS 17852 HAS SOPS 17676 HAS SOUS 10036 HAS SOUPS 9860 WITH SCORE 9877.852
AT ITER 327 NEW BEST:: SOT 33505 SOS 17656 HAS SOPS 17480 HAS SOUS 10028 HAS SOUPS 9852 WITH SCORE 9869.656
AT ITER 330 NEW BEST:: SOT 33445 SOS 17532 HAS SOPS 17420 HAS SOUS 9938 HAS SOUPS 9826 WITH SCORE 9843.532
AT ITER 337 NEW BEST:: SOT 33413 SOS 17500 HAS SOPS 17388 HAS SOUS 9914 HAS SOUPS 9802 WITH SCORE 9819.5
AT ITER 341 NEW BEST:: SOT 33413 SOS 17468 HAS SOPS 17356 HAS SOUS 9914 HAS SOUPS 9802 WITH SCORE 9819.468
AT ITER 348 NEW BEST:: SOT 33389 SOS 17454 HAS SOPS 17342 HAS SOUS 9909 HAS SOUPS 9797 WITH SCORE 9814.454
AT ITER 349 NEW BEST:: SOT 33263 SOS 17310 HAS SOPS 17216 HAS SOUS 9855 HAS SOUPS 9761 WITH SCORE 9778.31
AT ITER 355 NEW BEST:: SOT 33125 SOS 17212 HAS SOPS 17118 HAS SOUS 9810 HAS SOUPS 9716 WITH SCORE 9733.212
AT ITER 360 NEW BEST:: SOT 33210 SOS 17268 HAS SOPS 17174 HAS SOUS 9782 HAS SOUPS 9688 WITH SCORE 9705.268
AT ITER 361 NEW BEST:: SOT 33022 SOS 17049 HAS SOPS 16955 HAS SOUS 9627 HAS SOUPS 9533 WITH SCORE 9550.049
AT ITER 364 NEW BEST:: SOT 33022 SOS 17047 HAS SOPS 16953 HAS SOUS 9625 HAS SOUPS 9531 WITH SCORE 9548.047
AT ITER 369 NEW BEST:: SOT 33034 SOS 17024 HAS SOPS 16930 HAS SOUS 9525 HAS SOUPS 9431 WITH SCORE 9448.024
AT ITER 372 NEW BEST:: SOT 33034 SOS 17024 HAS SOPS 16930 HAS SOUS 9520 HAS SOUPS 9426 WITH SCORE 9443.024
AT ITER 377 NEW BEST:: SOT 33029 SOS 16950 HAS SOPS 16856 HAS SOUS 9505 HAS SOUPS 9411 WITH SCORE 9427.95
AT ITER 386 NEW BEST:: SOT 32689 SOS 17294 HAS SOPS 17200 HAS SOUS 9366 HAS SOUPS 9272 WITH SCORE 9289.294
AT ITER 391 NEW BEST:: SOT 32633 SOS 17095 HAS SOPS 17001 HAS SOUS 9327 HAS SOUPS 9233 WITH SCORE 9250.095
AT ITER 395 NEW BEST:: SOT 32565 SOS 17050 HAS SOPS 16956 HAS SOUS 9291 HAS SOUPS 9197 WITH SCORE 9214.05
AT ITER 396 NEW BEST:: SOT 32499 SOS 17048 HAS SOPS 16954 HAS SOUS 9254 HAS SOUPS 9160 WITH SCORE 9177.048
AT ITER 398 NEW BEST:: SOT 32565 SOS 17026 HAS SOPS 16910 HAS SOUS 9254 HAS SOUPS 9138 WITH SCORE 9155.026
AT ITER 400 NEW BEST:: SOT 32505 SOS 16903 HAS SOPS 16787 HAS SOUS 9157 HAS SOUPS 9041 WITH SCORE 9057.903
AT ITER 412 NEW BEST:: SOT 32371 SOS 17103 HAS SOPS 16987 HAS SOUS 9154 HAS SOUPS 9038 WITH SCORE 9055.103
AT ITER 415 NEW BEST:: SOT 32349 SOS 17081 HAS SOPS 16965 HAS SOUS 9078 HAS SOUPS 8962 WITH SCORE 8979.081
AT ITER 417 NEW BEST:: SOT 32215 SOS 17041 HAS SOPS 16947 HAS SOUS 9017 HAS SOUPS 8923 WITH SCORE 8940.041
AT ITER 427 NEW BEST:: SOT 32206 SOS 16997 HAS SOPS 16903 HAS SOUS 8984 HAS SOUPS 8890 WITH SCORE 8906.997
AT ITER 429 NEW BEST:: SOT 32199 SOS 16967 HAS SOPS 16873 HAS SOUS 8951 HAS SOUPS 8857 WITH SCORE 8873.967
AT ITER 431 NEW BEST:: SOT 32191 SOS 16959 HAS SOPS 16865 HAS SOUS 8943 HAS SOUPS 8849 WITH SCORE 8865.959
AT ITER 432 NEW BEST:: SOT 32162 SOS 16884 HAS SOPS 16790 HAS SOUS 8875 HAS SOUPS 8781 WITH SCORE 8797.884
AT ITER 435 NEW BEST:: SOT 32171 SOS 16881 HAS SOPS 16784 HAS SOUS 8869 HAS SOUPS 8772 WITH SCORE 8788.881
AT ITER 446 NEW BEST:: SOT 32079 SOS 16855 HAS SOPS 16758 HAS SOUS 8805 HAS SOUPS 8708 WITH SCORE 8724.855
AT ITER 448 NEW BEST:: SOT 31962 SOS 16738 HAS SOPS 16641 HAS SOUS 8757 HAS SOUPS 8660 WITH SCORE 8676.738
AT ITER 449 NEW BEST:: SOT 31930 SOS 16377 HAS SOPS 16280 HAS SOUS 8673 HAS SOUPS 8576 WITH SCORE 8592.377
AT ITER 450 NEW BEST:: SOT 31930 SOS 16449 HAS SOPS 16257 HAS SOUS 8688 HAS SOUPS 8537 WITH SCORE 8553.449
AT ITER 451 NEW BEST:: SOT 31731 SOS 16250 HAS SOPS 16058 HAS SOUS 8436 HAS SOUPS 8285 WITH SCORE 8301.25
AT ITER 455 NEW BEST:: SOT 31741 SOS 16222 HAS SOPS 16030 HAS SOUS 8436 HAS SOUPS 8285 WITH SCORE 8301.222
AT ITER 463 NEW BEST:: SOT 31741 SOS 16204 HAS SOPS 16012 HAS SOUS 8433 HAS SOUPS 8282 WITH SCORE 8298.204
AT ITER 480 NEW BEST:: SOT 31736 SOS 16199 HAS SOPS 16007 HAS SOUS 8428 HAS SOUPS 8277 WITH SCORE 8293.199
AT ITER 483 NEW BEST:: SOT 31879 SOS 16177 HAS SOPS 15946 HAS SOUS 8459 HAS SOUPS 8269 WITH SCORE 8285.177
AT ITER 487 NEW BEST:: SOT 31869 SOS 16175 HAS SOPS 15946 HAS SOUS 8457 HAS SOUPS 8269 WITH SCORE 8285.175
AT ITER 494 NEW BEST:: SOT 31869 SOS 16046 HAS SOPS 15817 HAS SOUS 8457 HAS SOUPS 8269 WITH SCORE 8285.046
AT ITER 503 NEW BEST:: SOT 31820 SOS 15991 HAS SOPS 15762 HAS SOUS 8409 HAS SOUPS 8221 WITH SCORE 8236.991
AT ITER 505 NEW BEST:: SOT 31618 SOS 15751 HAS SOPS 15522 HAS SOUS 8283 HAS SOUPS 8095 WITH SCORE 8110.751
AT ITER 519 NEW BEST:: SOT 31660 SOS 15793 HAS SOPS 15564 HAS SOUS 8279 HAS SOUPS 8091 WITH SCORE 8106.793
AT ITER 534 NEW BEST:: SOT 31632 SOS 15751 HAS SOPS 15536 HAS SOUS 8223 HAS SOUPS 8049 WITH SCORE 8064.751
AT ITER 539 NEW BEST:: SOT 31632 SOS 15688 HAS SOPS 15473 HAS SOUS 8223 HAS SOUPS 8049 WITH SCORE 8064.688
AT ITER 546 NEW BEST:: SOT 31585 SOS 15447 HAS SOPS 15232 HAS SOUS 8212 HAS SOUPS 8038 WITH SCORE 8053.447
AT ITER 550 NEW BEST:: SOT 31549 SOS 15415 HAS SOPS 15236 HAS SOUS 8160 HAS SOUPS 8022 WITH SCORE 8037.415
AT ITER 566 NEW BEST:: SOT 31549 SOS 15157 HAS SOPS 14972 HAS SOUS 8154 HAS SOUPS 8016 WITH SCORE 8031.157
AT ITER 581 NEW BEST:: SOT 31549 SOS 15157 HAS SOPS 14972 HAS SOUS 8140 HAS SOUPS 8002 WITH SCORE 8017.157
AT ITER 593 NEW BEST:: SOT 31585 SOS 15207 HAS SOPS 15022 HAS SOUS 8137 HAS SOUPS 7999 WITH SCORE 8014.207
AT ITER 595 NEW BEST:: SOT 31578 SOS 15168 HAS SOPS 14983 HAS SOUS 8111 HAS SOUPS 7973 WITH SCORE 7988.168
AT ITER 602 NEW BEST:: SOT 31578 SOS 15032 HAS SOPS 14847 HAS SOUS 8111 HAS SOUPS 7973 WITH SCORE 7988.032
AT ITER 604 NEW BEST:: SOT 31583 SOS 14905 HAS SOPS 14720 HAS SOUS 8083 HAS SOUPS 7945 WITH SCORE 7959.905
AT ITER 620 NEW BEST:: SOT 31567 SOS 14878 HAS SOPS 14693 HAS SOUS 8059 HAS SOUPS 7921 WITH SCORE 7935.878
AT ITER 622 NEW BEST:: SOT 31550 SOS 14861 HAS SOPS 14676 HAS SOUS 8042 HAS SOUPS 7904 WITH SCORE 7918.861
AT ITER 626 NEW BEST:: SOT 31544 SOS 14855 HAS SOPS 14670 HAS SOUS 8036 HAS SOUPS 7898 WITH SCORE 7912.855
AT ITER 642 NEW BEST:: SOT 31467 SOS 14778 HAS SOPS 14593 HAS SOUS 8023 HAS SOUPS 7885 WITH SCORE 7899.778
AT ITER 665 NEW BEST:: SOT 31165 SOS 14504 HAS SOPS 14319 HAS SOUS 7984 HAS SOUPS 7846 WITH SCORE 7860.504
AT ITER 671 NEW BEST:: SOT 31165 SOS 14465 HAS SOPS 14280 HAS SOUS 7984 HAS SOUPS 7846 WITH SCORE 7860.465
AT ITER 688 NEW BEST:: SOT 31141 SOS 14470 HAS SOPS 14285 HAS SOUS 7975 HAS SOUPS 7837 WITH SCORE 7851.47
AT ITER 691 NEW BEST:: SOT 31222 SOS 14360 HAS SOPS 14175 HAS SOUS 7945 HAS SOUPS 7807 WITH SCORE 7821.36
AT ITER 693 NEW BEST:: SOT 31210 SOS 14348 HAS SOPS 14163 HAS SOUS 7939 HAS SOUPS 7801 WITH SCORE 7815.348
AT ITER 694 NEW BEST:: SOT 31210 SOS 14348 HAS SOPS 14163 HAS SOUS 7925 HAS SOUPS 7787 WITH SCORE 7801.348
AT ITER 697 NEW BEST:: SOT 31204 SOS 14339 HAS SOPS 14154 HAS SOUS 7924 HAS SOUPS 7786 WITH SCORE 7800.339
AT ITER 706 NEW BEST:: SOT 31412 SOS 14502 HAS SOPS 14182 HAS SOUS 7959 HAS SOUPS 7776 WITH SCORE 7790.502
AT ITER 709 NEW BEST:: SOT 31361 SOS 14458 HAS SOPS 14142 HAS SOUS 7931 HAS SOUPS 7752 WITH SCORE 7766.458
AT ITER 728 NEW BEST:: SOT 31263 SOS 14236 HAS SOPS 13920 HAS SOUS 7883 HAS SOUPS 7704 WITH SCORE 7718.236
AT ITER 731 NEW BEST:: SOT 31259 SOS 14232 HAS SOPS 13916 HAS SOUS 7879 HAS SOUPS 7700 WITH SCORE 7714.232
AT ITER 741 NEW BEST:: SOT 31233 SOS 14208 HAS SOPS 13892 HAS SOUS 7804 HAS SOUPS 7625 WITH SCORE 7639.208
AT ITER 743 NEW BEST:: SOT 31232 SOS 14206 HAS SOPS 13891 HAS SOUS 7801 HAS SOUPS 7623 WITH SCORE 7637.206
AT ITER 748 NEW BEST:: SOT 31289 SOS 14263 HAS SOPS 13948 HAS SOUS 7792 HAS SOUPS 7614 WITH SCORE 7628.263
AT ITER 757 NEW BEST:: SOT 31230 SOS 14204 HAS SOPS 13889 HAS SOUS 7765 HAS SOUPS 7587 WITH SCORE 7601.204
AT ITER 762 NEW BEST:: SOT 31250 SOS 14164 HAS SOPS 13849 HAS SOUS 7735 HAS SOUPS 7557 WITH SCORE 7571.164
AT ITER 763 NEW BEST:: SOT 31262 SOS 14176 HAS SOPS 13861 HAS SOUS 7732 HAS SOUPS 7554 WITH SCORE 7568.176
AT ITER 771 NEW BEST:: SOT 31248 SOS 14162 HAS SOPS 13847 HAS SOUS 7718 HAS SOUPS 7540 WITH SCORE 7554.162
AT ITER 773 NEW BEST:: SOT 31310 SOS 13875 HAS SOPS 13560 HAS SOUS 7668 HAS SOUPS 7490 WITH SCORE 7503.875
AT ITER 797 NEW BEST:: SOT 31304 SOS 13869 HAS SOPS 13554 HAS SOUS 7662 HAS SOUPS 7484 WITH SCORE 7497.869
AT ITER 799 NEW BEST:: SOT 31168 SOS 13697 HAS SOPS 13382 HAS SOUS 7634 HAS SOUPS 7456 WITH SCORE 7469.697
AT ITER 803 NEW BEST:: SOT 31190 SOS 13689 HAS SOPS 13374 HAS SOUS 7625 HAS SOUPS 7447 WITH SCORE 7460.689
AT ITER 804 NEW BEST:: SOT 31471 SOS 13722 HAS SOPS 13407 HAS SOUS 7615 HAS SOUPS 7437 WITH SCORE 7450.722
AT ITER 806 NEW BEST:: SOT 31417 SOS 13630 HAS SOPS 13315 HAS SOUS 7557 HAS SOUPS 7379 WITH SCORE 7392.63
AT ITER 807 NEW BEST:: SOT 31641 SOS 13854 HAS SOPS 13539 HAS SOUS 7550 HAS SOUPS 7372 WITH SCORE 7385.854
AT ITER 808 NEW BEST:: SOT 31650 SOS 13863 HAS SOPS 13548 HAS SOUS 7541 HAS SOUPS 7363 WITH SCORE 7376.863
AT ITER 809 NEW BEST:: SOT 31640 SOS 13853 HAS SOPS 13538 HAS SOUS 7537 HAS SOUPS 7359 WITH SCORE 7372.853
AT ITER 813 NEW BEST:: SOT 31643 SOS 13838 HAS SOPS 13523 HAS SOUS 7533 HAS SOUPS 7355 WITH SCORE 7368.838
AT ITER 820 NEW BEST:: SOT 31597 SOS 13826 HAS SOPS 13511 HAS SOUS 7510 HAS SOUPS 7332 WITH SCORE 7345.826
AT ITER 830 NEW BEST:: SOT 31597 SOS 13823 HAS SOPS 13508 HAS SOUS 7497 HAS SOUPS 7319 WITH SCORE 7332.823
AT ITER 837 NEW BEST:: SOT 31627 SOS 13833 HAS SOPS 13518 HAS SOUS 7458 HAS SOUPS 7280 WITH SCORE 7293.833
AT ITER 840 NEW BEST:: SOT 31617 SOS 12863 HAS SOPS 12548 HAS SOUS 7385 HAS SOUPS 7207 WITH SCORE 7219.863
AT ITER 842 NEW BEST:: SOT 31628 SOS 12850 HAS SOPS 12535 HAS SOUS 7365 HAS SOUPS 7187 WITH SCORE 7199.85
AT ITER 861 NEW BEST:: SOT 31601 SOS 12823 HAS SOPS 12508 HAS SOUS 7327 HAS SOUPS 7149 WITH SCORE 7161.823
AT ITER 864 NEW BEST:: SOT 31601 SOS 12823 HAS SOPS 12508 HAS SOUS 7324 HAS SOUPS 7146 WITH SCORE 7158.823
AT ITER 865 NEW BEST:: SOT 31601 SOS 12634 HAS SOPS 12319 HAS SOUS 7324 HAS SOUPS 7146 WITH SCORE 7158.634
AT ITER 872 NEW BEST:: SOT 31572 SOS 12437 HAS SOPS 12117 HAS SOUS 7295 HAS SOUPS 7112 WITH SCORE 7124.437
AT ITER 882 NEW BEST:: SOT 31615 SOS 12477 HAS SOPS 12157 HAS SOUS 7287 HAS SOUPS 7104 WITH SCORE 7116.477
AT ITER 891 NEW BEST:: SOT 31629 SOS 12423 HAS SOPS 12103 HAS SOUS 7281 HAS SOUPS 7098 WITH SCORE 7110.423
AT ITER 897 NEW BEST:: SOT 31618 SOS 12412 HAS SOPS 12092 HAS SOUS 7270 HAS SOUPS 7087 WITH SCORE 7099.412
AT ITER 898 NEW BEST:: SOT 31606 SOS 12329 HAS SOPS 12000 HAS SOUS 7221 HAS SOUPS 7033 WITH SCORE 7045.329
AT ITER 900 NEW BEST:: SOT 31648 SOS 12327 HAS SOPS 11998 HAS SOUS 7186 HAS SOUPS 6998 WITH SCORE 7010.327
AT ITER 902 NEW BEST:: SOT 31631 SOS 12332 HAS SOPS 12003 HAS SOUS 7183 HAS SOUPS 6995 WITH SCORE 7007.332
AT ITER 936 NEW BEST:: SOT 31626 SOS 12291 HAS SOPS 11962 HAS SOUS 7168 HAS SOUPS 6980 WITH SCORE 6992.291
AT ITER 939 NEW BEST:: SOT 31621 SOS 12234 HAS SOPS 11905 HAS SOUS 7135 HAS SOUPS 6947 WITH SCORE 6959.234
AT ITER 940 NEW BEST:: SOT 31578 SOS 12125 HAS SOPS 11796 HAS SOUS 7049 HAS SOUPS 6861 WITH SCORE 6873.125
AT ITER 944 NEW BEST:: SOT 31585 SOS 12125 HAS SOPS 11796 HAS SOUS 7046 HAS SOUPS 6858 WITH SCORE 6870.125
AT ITER 952 NEW BEST:: SOT 31525 SOS 12035 HAS SOPS 11706 HAS SOUS 6926 HAS SOUPS 6738 WITH SCORE 6750.035
AT ITER 956 NEW BEST:: SOT 31511 SOS 12021 HAS SOPS 11692 HAS SOUS 6912 HAS SOUPS 6724 WITH SCORE 6736.021
AT ITER 959 NEW BEST:: SOT 31433 SOS 11943 HAS SOPS 11614 HAS SOUS 6795 HAS SOUPS 6607 WITH SCORE 6618.943
AT ITER 975 NEW BEST:: SOT 31472 SOS 11984 HAS SOPS 11655 HAS SOUS 6791 HAS SOUPS 6603 WITH SCORE 6614.984
AT ITER 979 NEW BEST:: SOT 31433 SOS 11965 HAS SOPS 11636 HAS SOUS 6789 HAS SOUPS 6601 WITH SCORE 6612.965
AT ITER 983 NEW BEST:: SOT 31433 SOS 11977 HAS SOPS 11630 HAS SOUS 6783 HAS SOUPS 6589 WITH SCORE 6600.977
AT ITER 988 NEW BEST:: SOT 31421 SOS 11959 HAS SOPS 11612 HAS SOUS 6772 HAS SOUPS 6578 WITH SCORE 6589.959
AT ITER 989 NEW BEST:: SOT 31411 SOS 11780 HAS SOPS 11433 HAS SOUS 6740 HAS SOUPS 6546 WITH SCORE 6557.78
AT ITER 990 NEW BEST:: SOT 31403 SOS 11742 HAS SOPS 11395 HAS SOUS 6681 HAS SOUPS 6487 WITH SCORE 6498.742
AT ITER 1020 NEW BEST:: SOT 31389 SOS 11724 HAS SOPS 11375 HAS SOUS 6667 HAS SOUPS 6471 WITH SCORE 6482.724
AT ITER 1024 NEW BEST:: SOT 31395 SOS 11712 HAS SOPS 11363 HAS SOUS 6655 HAS SOUPS 6459 WITH SCORE 6470.712
AT ITER 1045 NEW BEST:: SOT 31358 SOS 11675 HAS SOPS 11326 HAS SOUS 6635 HAS SOUPS 6439 WITH SCORE 6450.675
AT ITER 1053 NEW BEST:: SOT 31396 SOS 11694 HAS SOPS 11345 HAS SOUS 6629 HAS SOUPS 6433 WITH SCORE 6444.694
AT ITER 1068 NEW BEST:: SOT 31383 SOS 11692 HAS SOPS 11343 HAS SOUS 6616 HAS SOUPS 6420 WITH SCORE 6431.692
AT ITER 1087 NEW BEST:: SOT 31379 SOS 11688 HAS SOPS 11339 HAS SOUS 6615 HAS SOUPS 6419 WITH SCORE 6430.688
AT ITER 1093 NEW BEST:: SOT 31357 SOS 11666 HAS SOPS 11317 HAS SOUS 6586 HAS SOUPS 6390 WITH SCORE 6401.666
AT ITER 1097 NEW BEST:: SOT 31392 SOS 11745 HAS SOPS 11396 HAS SOUS 6577 HAS SOUPS 6381 WITH SCORE 6392.745
AT ITER 1103 NEW BEST:: SOT 31392 SOS 11736 HAS SOPS 11387 HAS SOUS 6568 HAS SOUPS 6372 WITH SCORE 6383.736
AT ITER 1107 NEW BEST:: SOT 31407 SOS 11719 HAS SOPS 11366 HAS SOUS 6546 HAS SOUPS 6350 WITH SCORE 6361.719
AT ITER 1112 NEW BEST:: SOT 31407 SOS 11632 HAS SOPS 11308 HAS SOUS 6517 HAS SOUPS 6350 WITH SCORE 6361.632
AT ITER 1113 NEW BEST:: SOT 31462 SOS 11779 HAS SOPS 11363 HAS SOUS 6539 HAS SOUPS 6306 WITH SCORE 6317.779
AT ITER 1114 NEW BEST:: SOT 31441 SOS 11745 HAS SOPS 11329 HAS SOUS 6535 HAS SOUPS 6302 WITH SCORE 6313.745
AT ITER 1117 NEW BEST:: SOT 31447 SOS 11698 HAS SOPS 11268 HAS SOUS 6537 HAS SOUPS 6290 WITH SCORE 6301.698
AT ITER 1120 NEW BEST:: SOT 31476 SOS 11556 HAS SOPS 11126 HAS SOUS 6439 HAS SOUPS 6192 WITH SCORE 6203.556
AT ITER 1133 NEW BEST:: SOT 31338 SOS 11426 HAS SOPS 10996 HAS SOUS 6404 HAS SOUPS 6157 WITH SCORE 6168.426
AT ITER 1135 NEW BEST:: SOT 31348 SOS 11431 HAS SOPS 11001 HAS SOUS 6399 HAS SOUPS 6152 WITH SCORE 6163.431
AT ITER 1140 NEW BEST:: SOT 31340 SOS 11403 HAS SOPS 10973 HAS SOUS 6394 HAS SOUPS 6147 WITH SCORE 6158.403
AT ITER 1159 NEW BEST:: SOT 31340 SOS 11399 HAS SOPS 10969 HAS SOUS 6390 HAS SOUPS 6143 WITH SCORE 6154.399
AT ITER 1167 NEW BEST:: SOT 31221 SOS 11306 HAS SOPS 10876 HAS SOUS 6362 HAS SOUPS 6115 WITH SCORE 6126.306
AT ITER 1171 NEW BEST:: SOT 31221 SOS 11301 HAS SOPS 10871 HAS SOUS 6343 HAS SOUPS 6096 WITH SCORE 6107.301
AT ITER 1197 NEW BEST:: SOT 31231 SOS 11311 HAS SOPS 10881 HAS SOUS 6312 HAS SOUPS 6065 WITH SCORE 6076.311
AT ITER 1204 NEW BEST:: SOT 31220 SOS 11236 HAS SOPS 10798 HAS SOUS 6285 HAS SOUPS 6038 WITH SCORE 6049.236
AT ITER 1211 NEW BEST:: SOT 31222 SOS 11235 HAS SOPS 10796 HAS SOUS 6285 HAS SOUPS 6037 WITH SCORE 6048.235
AT ITER 1217 NEW BEST:: SOT 31221 SOS 11233 HAS SOPS 10794 HAS SOUS 6283 HAS SOUPS 6035 WITH SCORE 6046.233
AT ITER 1247 NEW BEST:: SOT 31207 SOS 11225 HAS SOPS 10786 HAS SOUS 6275 HAS SOUPS 6027 WITH SCORE 6038.225
AT ITER 1251 NEW BEST:: SOT 31187 SOS 11237 HAS SOPS 10798 HAS SOUS 6271 HAS SOUPS 6023 WITH SCORE 6034.237
AT ITER 1254 NEW BEST:: SOT 31152 SOS 11202 HAS SOPS 10763 HAS SOUS 6251 HAS SOUPS 6003 WITH SCORE 6014.202
AT ITER 1259 NEW BEST:: SOT 31184 SOS 11204 HAS SOPS 10765 HAS SOUS 6238 HAS SOUPS 5990 WITH SCORE 6001.204
AT ITER 1260 NEW BEST:: SOT 31197 SOS 11204 HAS SOPS 10765 HAS SOUS 6225 HAS SOUPS 5977 WITH SCORE 5988.204
AT ITER 1281 NEW BEST:: SOT 31180 SOS 11187 HAS SOPS 10748 HAS SOUS 6218 HAS SOUPS 5970 WITH SCORE 5981.187
AT ITER 1286 NEW BEST:: SOT 31159 SOS 11204 HAS SOPS 10765 HAS SOUS 6206 HAS SOUPS 5958 WITH SCORE 5969.204
AT ITER 1315 NEW BEST:: SOT 31133 SOS 11195 HAS SOPS 10756 HAS SOUS 6195 HAS SOUPS 5947 WITH SCORE 5958.195
AT ITER 1321 NEW BEST:: SOT 31127 SOS 11184 HAS SOPS 10745 HAS SOUS 6193 HAS SOUPS 5945 WITH SCORE 5956.184
AT ITER 1334 NEW BEST:: SOT 31127 SOS 11186 HAS SOPS 10743 HAS SOUS 6193 HAS SOUPS 5943 WITH SCORE 5954.186
AT ITER 1336 NEW BEST:: SOT 31068 SOS 11161 HAS SOPS 10718 HAS SOUS 6173 HAS SOUPS 5923 WITH SCORE 5934.161
AT ITER 1341 NEW BEST:: SOT 30999 SOS 11050 HAS SOPS 10607 HAS SOUS 6080 HAS SOUPS 5830 WITH SCORE 5841.05
AT ITER 1344 NEW BEST:: SOT 30956 SOS 10986 HAS SOPS 10543 HAS SOUS 6072 HAS SOUPS 5822 WITH SCORE 5832.986
AT ITER 1395 NEW BEST:: SOT 30976 SOS 10976 HAS SOPS 10533 HAS SOUS 6072 HAS SOUPS 5822 WITH SCORE 5832.976
AT ITER 1414 NEW BEST:: SOT 30985 SOS 10978 HAS SOPS 10540 HAS SOUS 6057 HAS SOUPS 5812 WITH SCORE 5822.978
AT ITER 1422 NEW BEST:: SOT 30969 SOS 10873 HAS SOPS 10422 HAS SOUS 6050 HAS SOUPS 5792 WITH SCORE 5802.873
AT ITER 1477 NEW BEST:: SOT 31004 SOS 10913 HAS SOPS 10462 HAS SOUS 6037 HAS SOUPS 5779 WITH SCORE 5789.913
AT ITER 1492 NEW BEST:: SOT 30983 SOS 10892 HAS SOPS 10441 HAS SOUS 6016 HAS SOUPS 5758 WITH SCORE 5768.892
AT ITER 1496 NEW BEST:: SOT 30985 SOS 10882 HAS SOPS 10431 HAS SOUS 6010 HAS SOUPS 5752 WITH SCORE 5762.882
AT ITER 1534 NEW BEST:: SOT 30981 SOS 10878 HAS SOPS 10427 HAS SOUS 6002 HAS SOUPS 5744 WITH SCORE 5754.878
AT ITER 1570 NEW BEST:: SOT 30980 SOS 10863 HAS SOPS 10412 HAS SOUS 5986 HAS SOUPS 5728 WITH SCORE 5738.863
AT ITER 1585 NEW BEST:: SOT 30970 SOS 10835 HAS SOPS 10407 HAS SOUS 5936 HAS SOUPS 5701 WITH SCORE 5711.835
AT ITER 1623 NEW BEST:: SOT 30967 SOS 10833 HAS SOPS 10406 HAS SOUS 5935 HAS SOUPS 5701 WITH SCORE 5711.833
AT ITER 1627 NEW BEST:: SOT 30930 SOS 10796 HAS SOPS 10369 HAS SOUS 5898 HAS SOUPS 5664 WITH SCORE 5674.796
AT ITER 1628 NEW BEST:: SOT 30930 SOS 10796 HAS SOPS 10369 HAS SOUS 5896 HAS SOUPS 5662 WITH SCORE 5672.796
AT ITER 1649 NEW BEST:: SOT 30906 SOS 10889 HAS SOPS 10462 HAS SOUS 5894 HAS SOUPS 5660 WITH SCORE 5670.889
AT ITER 1650 NEW BEST:: SOT 30825 SOS 10784 HAS SOPS 10350 HAS SOUS 5855 HAS SOUPS 5614 WITH SCORE 5624.784
AT ITER 1677 NEW BEST:: SOT 30778 SOS 10721 HAS SOPS 10287 HAS SOUS 5825 HAS SOUPS 5584 WITH SCORE 5594.721
AT ITER 1686 NEW BEST:: SOT 30770 SOS 10713 HAS SOPS 10279 HAS SOUS 5797 HAS SOUPS 5556 WITH SCORE 5566.713
AT ITER 1689 NEW BEST:: SOT 30769 SOS 10712 HAS SOPS 10278 HAS SOUS 5797 HAS SOUPS 5556 WITH SCORE 5566.712
AT ITER 1694 NEW BEST:: SOT 30725 SOS 10667 HAS SOPS 10233 HAS SOUS 5777 HAS SOUPS 5536 WITH SCORE 5546.667
AT ITER 1714 NEW BEST:: SOT 30710 SOS 10673 HAS SOPS 10239 HAS SOUS 5764 HAS SOUPS 5523 WITH SCORE 5533.673
AT ITER 1733 NEW BEST:: SOT 30699 SOS 10636 HAS SOPS 10202 HAS SOUS 5760 HAS SOUPS 5519 WITH SCORE 5529.636
AT ITER 1734 NEW BEST:: SOT 30692 SOS 10617 HAS SOPS 10183 HAS SOUS 5760 HAS SOUPS 5519 WITH SCORE 5529.617
AT ITER 1741 NEW BEST:: SOT 30686 SOS 10621 HAS SOPS 10187 HAS SOUS 5754 HAS SOUPS 5513 WITH SCORE 5523.621
AT ITER 1743 NEW BEST:: SOT 30678 SOS 10613 HAS SOPS 10179 HAS SOUS 5752 HAS SOUPS 5511 WITH SCORE 5521.613
AT ITER 1748 NEW BEST:: SOT 30658 SOS 10602 HAS SOPS 10168 HAS SOUS 5726 HAS SOUPS 5485 WITH SCORE 5495.602
AT ITER 1751 NEW BEST:: SOT 30626 SOS 10570 HAS SOPS 10136 HAS SOUS 5709 HAS SOUPS 5468 WITH SCORE 5478.57
AT ITER 1756 NEW BEST:: SOT 30644 SOS 10549 HAS SOPS 10115 HAS SOUS 5702 HAS SOUPS 5461 WITH SCORE 5471.549
AT ITER 1776 NEW BEST:: SOT 30648 SOS 10545 HAS SOPS 10111 HAS SOUS 5690 HAS SOUPS 5449 WITH SCORE 5459.545
AT ITER 1811 NEW BEST:: SOT 30647 SOS 10543 HAS SOPS 10109 HAS SOUS 5687 HAS SOUPS 5446 WITH SCORE 5456.543
AT ITER 1836 NEW BEST:: SOT 30645 SOS 10533 HAS SOPS 10099 HAS SOUS 5684 HAS SOUPS 5443 WITH SCORE 5453.533
AT ITER 1843 NEW BEST:: SOT 30639 SOS 10463 HAS SOPS 10018 HAS SOUS 5687 HAS SOUPS 5435 WITH SCORE 5445.463
AT ITER 1850 NEW BEST:: SOT 30626 SOS 10463 HAS SOPS 10018 HAS SOUS 5674 HAS SOUPS 5422 WITH SCORE 5432.463
AT ITER 1861 NEW BEST:: SOT 30639 SOS 10463 HAS SOPS 10018 HAS SOUS 5662 HAS SOUPS 5410 WITH SCORE 5420.463
AT ITER 1883 NEW BEST:: SOT 30637 SOS 10461 HAS SOPS 10016 HAS SOUS 5660 HAS SOUPS 5408 WITH SCORE 5418.461
AT ITER 1884 NEW BEST:: SOT 30637 SOS 10461 HAS SOPS 10016 HAS SOUS 5641 HAS SOUPS 5389 WITH SCORE 5399.461
AT ITER 1890 NEW BEST:: SOT 30679 SOS 10512 HAS SOPS 10067 HAS SOUS 5633 HAS SOUPS 5381 WITH SCORE 5391.512
AT ITER 1914 NEW BEST:: SOT 30672 SOS 10497 HAS SOPS 10052 HAS SOUS 5618 HAS SOUPS 5366 WITH SCORE 5376.497
AT ITER 1940 NEW BEST:: SOT 30664 SOS 10489 HAS SOPS 10044 HAS SOUS 5617 HAS SOUPS 5365 WITH SCORE 5375.489
AT ITER 1945 NEW BEST:: SOT 30674 SOS 10407 HAS SOPS 9962 HAS SOUS 5606 HAS SOUPS 5354 WITH SCORE 5364.407
AT ITER 1949 NEW BEST:: SOT 30683 SOS 10409 HAS SOPS 9964 HAS SOUS 5603 HAS SOUPS 5351 WITH SCORE 5361.409
AT ITER 1951 NEW BEST:: SOT 30680 SOS 10388 HAS SOPS 9939 HAS SOUS 5594 HAS SOUPS 5342 WITH SCORE 5352.388
AT ITER 1968 NEW BEST:: SOT 30673 SOS 10381 HAS SOPS 9932 HAS SOUS 5587 HAS SOUPS 5335 WITH SCORE 5345.381
AT ITER 1979 NEW BEST:: SOT 30669 SOS 10377 HAS SOPS 9928 HAS SOUS 5583 HAS SOUPS 5331 WITH SCORE 5341.377
AT ITER 1992 NEW BEST:: SOT 30646 SOS 10446 HAS SOPS 9997 HAS SOUS 5578 HAS SOUPS 5326 WITH SCORE 5336.446
AT ITER 2001 NEW BEST:: SOT 30634 SOS 10437 HAS SOPS 9988 HAS SOUS 5577 HAS SOUPS 5325 WITH SCORE 5335.437
AT ITER 2034 NEW BEST:: SOT 30630 SOS 10431 HAS SOPS 9982 HAS SOUS 5568 HAS SOUPS 5316 WITH SCORE 5326.431
AT ITER 2079 NEW BEST:: SOT 30629 SOS 10414 HAS SOPS 9965 HAS SOUS 5550 HAS SOUPS 5298 WITH SCORE 5308.414
AT ITER 2102 NEW BEST:: SOT 30622 SOS 10400 HAS SOPS 9951 HAS SOUS 5543 HAS SOUPS 5291 WITH SCORE 5301.4
AT ITER 2109 NEW BEST:: SOT 30629 SOS 10379 HAS SOPS 9930 HAS SOUS 5531 HAS SOUPS 5279 WITH SCORE 5289.379
AT ITER 2121 NEW BEST:: SOT 30680 SOS 10221 HAS SOPS 9763 HAS SOUS 5524 HAS SOUPS 5270 WITH SCORE 5280.221
AT ITER 2130 NEW BEST:: SOT 30676 SOS 10217 HAS SOPS 9759 HAS SOUS 5524 HAS SOUPS 5270 WITH SCORE 5280.217
AT ITER 2189 NEW BEST:: SOT 30678 SOS 9962 HAS SOPS 9504 HAS SOUS 5510 HAS SOUPS 5256 WITH SCORE 5265.962
AT ITER 2193 NEW BEST:: SOT 30414 SOS 9698 HAS SOPS 9240 HAS SOUS 5477 HAS SOUPS 5223 WITH SCORE 5232.698
AT ITER 2194 NEW BEST:: SOT 30414 SOS 9697 HAS SOPS 9239 HAS SOUS 5476 HAS SOUPS 5222 WITH SCORE 5231.697
AT ITER 2198 NEW BEST:: SOT 30402 SOS 9685 HAS SOPS 9227 HAS SOUS 5464 HAS SOUPS 5210 WITH SCORE 5219.685
AT ITER 2239 NEW BEST:: SOT 30402 SOS 9682 HAS SOPS 9224 HAS SOUS 5464 HAS SOUPS 5210 WITH SCORE 5219.682
AT ITER 2252 NEW BEST:: SOT 30388 SOS 9690 HAS SOPS 9232 HAS SOUS 5451 HAS SOUPS 5197 WITH SCORE 5206.69
AT ITER 2264 NEW BEST:: SOT 30368 SOS 9664 HAS SOPS 9206 HAS SOUS 5445 HAS SOUPS 5191 WITH SCORE 5200.664
AT ITER 2271 NEW BEST:: SOT 30356 SOS 9628 HAS SOPS 9174 HAS SOUS 5439 HAS SOUPS 5187 WITH SCORE 5196.628
AT ITER 2325 NEW BEST:: SOT 30335 SOS 9636 HAS SOPS 9182 HAS SOUS 5430 HAS SOUPS 5178 WITH SCORE 5187.636
AT ITER 2326 NEW BEST:: SOT 30359 SOS 9596 HAS SOPS 9141 HAS SOUS 5428 HAS SOUPS 5175 WITH SCORE 5184.596
AT ITER 2349 NEW BEST:: SOT 30349 SOS 9585 HAS SOPS 9131 HAS SOUS 5402 HAS SOUPS 5150 WITH SCORE 5159.585
AT ITER 2364 NEW BEST:: SOT 30349 SOS 9573 HAS SOPS 9119 HAS SOUS 5402 HAS SOUPS 5150 WITH SCORE 5159.573
AT ITER 2407 NEW BEST:: SOT 30340 SOS 9560 HAS SOPS 9106 HAS SOUS 5389 HAS SOUPS 5137 WITH SCORE 5146.56
AT ITER 2448 NEW BEST:: SOT 30315 SOS 9535 HAS SOPS 9081 HAS SOUS 5361 HAS SOUPS 5109 WITH SCORE 5118.535
AT ITER 2498 NEW BEST:: SOT 30340 SOS 9460 HAS SOPS 8992 HAS SOUS 5344 HAS SOUPS 5092 WITH SCORE 5101.46
AT ITER 2504 NEW BEST:: SOT 30348 SOS 9504 HAS SOPS 9036 HAS SOUS 5343 HAS SOUPS 5091 WITH SCORE 5100.504
AT ITER 2534 NEW BEST:: SOT 30345 SOS 9501 HAS SOPS 9033 HAS SOUS 5340 HAS SOUPS 5088 WITH SCORE 5097.501
AT ITER 2578 NEW BEST:: SOT 30341 SOS 9497 HAS SOPS 9029 HAS SOUS 5338 HAS SOUPS 5086 WITH SCORE 5095.497
AT ITER 2599 NEW BEST:: SOT 30341 SOS 9483 HAS SOPS 9015 HAS SOUS 5310 HAS SOUPS 5058 WITH SCORE 5067.483
AT ITER 2654 NEW BEST:: SOT 30303 SOS 9476 HAS SOPS 8980 HAS SOUS 5322 HAS SOUPS 5046 WITH SCORE 5055.476
AT ITER 2679 NEW BEST:: SOT 30309 SOS 9465 HAS SOPS 8969 HAS SOUS 5322 HAS SOUPS 5046 WITH SCORE 5055.465
AT ITER 2686 NEW BEST:: SOT 30308 SOS 9465 HAS SOPS 8969 HAS SOUS 5321 HAS SOUPS 5045 WITH SCORE 5054.465
AT ITER 2694 NEW BEST:: SOT 30306 SOS 9441 HAS SOPS 8943 HAS SOUS 5315 HAS SOUPS 5039 WITH SCORE 5048.441
AT ITER 2700 NEW BEST:: SOT 30307 SOS 9420 HAS SOPS 8922 HAS SOUS 5305 HAS SOUPS 5029 WITH SCORE 5038.42
AT ITER 2704 NEW BEST:: SOT 30305 SOS 9418 HAS SOPS 8920 HAS SOUS 5297 HAS SOUPS 5021 WITH SCORE 5030.418
AT ITER 2705 NEW BEST:: SOT 30304 SOS 9417 HAS SOPS 8919 HAS SOUS 5295 HAS SOUPS 5019 WITH SCORE 5028.417
AT ITER 2724 NEW BEST:: SOT 30303 SOS 9423 HAS SOPS 8925 HAS SOUS 5294 HAS SOUPS 5018 WITH SCORE 5027.423
AT ITER 2731 NEW BEST:: SOT 30300 SOS 9376 HAS SOPS 8878 HAS SOUS 5286 HAS SOUPS 5010 WITH SCORE 5019.376
AT ITER 2815 NEW BEST:: SOT 30310 SOS 9380 HAS SOPS 8882 HAS SOUS 5284 HAS SOUPS 5008 WITH SCORE 5017.38
AT ITER 2851 NEW BEST:: SOT 30316 SOS 9378 HAS SOPS 8880 HAS SOUS 5282 HAS SOUPS 5006 WITH SCORE 5015.378
AT ITER 2871 NEW BEST:: SOT 30313 SOS 9370 HAS SOPS 8871 HAS SOUS 5280 HAS SOUPS 5004 WITH SCORE 5013.37
AT ITER 2898 NEW BEST:: SOT 30317 SOS 9368 HAS SOPS 8869 HAS SOUS 5277 HAS SOUPS 5001 WITH SCORE 5010.368
AT ITER 2911 NEW BEST:: SOT 30317 SOS 9344 HAS SOPS 8845 HAS SOUS 5267 HAS SOUPS 4991 WITH SCORE 5000.344
AT ITER 2926 NEW BEST:: SOT 30284 SOS 9311 HAS SOPS 8812 HAS SOUS 5246 HAS SOUPS 4970 WITH SCORE 4979.311
AT ITER 2947 NEW BEST:: SOT 30281 SOS 9298 HAS SOPS 8799 HAS SOUS 5240 HAS SOUPS 4964 WITH SCORE 4973.298
AT ITER 2948 NEW BEST:: SOT 30277 SOS 9294 HAS SOPS 8795 HAS SOUS 5237 HAS SOUPS 4961 WITH SCORE 4970.294
AT ITER 2951 NEW BEST:: SOT 30273 SOS 9290 HAS SOPS 8791 HAS SOUS 5233 HAS SOUPS 4957 WITH SCORE 4966.29
AT ITER 2977 NEW BEST:: SOT 30227 SOS 9255 HAS SOPS 8756 HAS SOUS 5215 HAS SOUPS 4939 WITH SCORE 4948.255
AT ITER 3040 NEW BEST:: SOT 30226 SOS 9254 HAS SOPS 8755 HAS SOUS 5214 HAS SOUPS 4938 WITH SCORE 4947.254
AT ITER 3056 NEW BEST:: SOT 30226 SOS 9254 HAS SOPS 8755 HAS SOUS 5212 HAS SOUPS 4936 WITH SCORE 4945.254
AT ITER 3063 NEW BEST:: SOT 30219 SOS 9226 HAS SOPS 8713 HAS SOUS 5205 HAS SOUPS 4922 WITH SCORE 4931.226
AT ITER 3086 NEW BEST:: SOT 30219 SOS 9226 HAS SOPS 8713 HAS SOUS 5204 HAS SOUPS 4921 WITH SCORE 4930.226
AT ITER 3103 NEW BEST:: SOT 30219 SOS 9247 HAS SOPS 8734 HAS SOUS 5183 HAS SOUPS 4900 WITH SCORE 4909.247
AT ITER 3164 NEW BEST:: SOT 30220 SOS 9245 HAS SOPS 8732 HAS SOUS 5173 HAS SOUPS 4890 WITH SCORE 4899.245
AT ITER 3179 NEW BEST:: SOT 30207 SOS 9242 HAS SOPS 8729 HAS SOUS 5167 HAS SOUPS 4884 WITH SCORE 4893.242
AT ITER 3241 NEW BEST:: SOT 30172 SOS 9214 HAS SOPS 8701 HAS SOUS 5158 HAS SOUPS 4875 WITH SCORE 4884.214
AT ITER 3247 NEW BEST:: SOT 30170 SOS 9204 HAS SOPS 8691 HAS SOUS 5154 HAS SOUPS 4871 WITH SCORE 4880.204
AT ITER 3309 NEW BEST:: SOT 30163 SOS 9197 HAS SOPS 8684 HAS SOUS 5152 HAS SOUPS 4869 WITH SCORE 4878.197
AT ITER 3313 NEW BEST:: SOT 30159 SOS 9193 HAS SOPS 8680 HAS SOUS 5148 HAS SOUPS 4865 WITH SCORE 4874.193
AT ITER 3368 NEW BEST:: SOT 30159 SOS 9169 HAS SOPS 8653 HAS SOUS 5142 HAS SOUPS 4859 WITH SCORE 4868.169
AT ITER 3374 NEW BEST:: SOT 30159 SOS 9167 HAS SOPS 8651 HAS SOUS 5142 HAS SOUPS 4859 WITH SCORE 4868.167
AT ITER 3389 NEW BEST:: SOT 30160 SOS 9168 HAS SOPS 8652 HAS SOUS 5137 HAS SOUPS 4854 WITH SCORE 4863.168
AT ITER 3448 NEW BEST:: SOT 30159 SOS 9167 HAS SOPS 8651 HAS SOUS 5134 HAS SOUPS 4851 WITH SCORE 4860.167
AT ITER 3471 NEW BEST:: SOT 30146 SOS 9154 HAS SOPS 8638 HAS SOUS 5123 HAS SOUPS 4840 WITH SCORE 4849.154
AT ITER 3472 NEW BEST:: SOT 30146 SOS 9152 HAS SOPS 8636 HAS SOUS 5121 HAS SOUPS 4838 WITH SCORE 4847.152
AT ITER 3491 NEW BEST:: SOT 30146 SOS 9158 HAS SOPS 8624 HAS SOUS 5112 HAS SOUPS 4820 WITH SCORE 4829.158
AT ITER 3512 NEW BEST:: SOT 30145 SOS 9126 HAS SOPS 8584 HAS SOUS 5109 HAS SOUPS 4813 WITH SCORE 4822.126
AT ITER 3522 NEW BEST:: SOT 30154 SOS 9120 HAS SOPS 8575 HAS SOUS 5103 HAS SOUPS 4807 WITH SCORE 4816.12
AT ITER 3533 NEW BEST:: SOT 30113 SOS 9106 HAS SOPS 8561 HAS SOUS 5092 HAS SOUPS 4796 WITH SCORE 4805.106
AT ITER 3559 NEW BEST:: SOT 30127 SOS 9072 HAS SOPS 8527 HAS SOUS 5071 HAS SOUPS 4775 WITH SCORE 4784.072
AT ITER 3579 NEW BEST:: SOT 30122 SOS 9150 HAS SOPS 8605 HAS SOUS 5063 HAS SOUPS 4767 WITH SCORE 4776.15
AT ITER 3655 NEW BEST:: SOT 30114 SOS 9132 HAS SOPS 8587 HAS SOUS 5063 HAS SOUPS 4767 WITH SCORE 4776.132
AT ITER 3684 NEW BEST:: SOT 30110 SOS 9123 HAS SOPS 8577 HAS SOUS 5062 HAS SOUPS 4766 WITH SCORE 4775.123
AT ITER 3703 NEW BEST:: SOT 30151 SOS 9156 HAS SOPS 8600 HAS SOUS 5067 HAS SOUPS 4761 WITH SCORE 4770.156
AT ITER 3704 NEW BEST:: SOT 30150 SOS 9155 HAS SOPS 8599 HAS SOUS 5064 HAS SOUPS 4758 WITH SCORE 4767.155
AT ITER 3771 NEW BEST:: SOT 30150 SOS 9155 HAS SOPS 8599 HAS SOUS 5058 HAS SOUPS 4752 WITH SCORE 4761.155
AT ITER 3831 NEW BEST:: SOT 30185 SOS 9145 HAS SOPS 8589 HAS SOUS 5055 HAS SOUPS 4749 WITH SCORE 4758.145
AT ITER 3906 NEW BEST:: SOT 30200 SOS 9150 HAS SOPS 8594 HAS SOUS 5054 HAS SOUPS 4748 WITH SCORE 4757.15
AT ITER 3922 NEW BEST:: SOT 30154 SOS 9052 HAS SOPS 8505 HAS SOUS 5042 HAS SOUPS 4736 WITH SCORE 4745.052
AT ITER 3953 NEW BEST:: SOT 30159 SOS 9086 HAS SOPS 8567 HAS SOUS 5018 HAS SOUPS 4735 WITH SCORE 4744.086
AT ITER 4003 NEW BEST:: SOT 30186 SOS 9088 HAS SOPS 8564 HAS SOUS 5017 HAS SOUPS 4729 WITH SCORE 4738.088
AT ITER 4057 NEW BEST:: SOT 30183 SOS 9088 HAS SOPS 8564 HAS SOUS 5014 HAS SOUPS 4726 WITH SCORE 4735.088
AT ITER 4059 NEW BEST:: SOT 30171 SOS 9061 HAS SOPS 8537 HAS SOUS 5014 HAS SOUPS 4726 WITH SCORE 4735.061
AT ITER 4077 NEW BEST:: SOT 30189 SOS 9062 HAS SOPS 8538 HAS SOUS 5013 HAS SOUPS 4725 WITH SCORE 4734.062
AT ITER 4083 NEW BEST:: SOT 30187 SOS 9042 HAS SOPS 8518 HAS SOUS 5007 HAS SOUPS 4719 WITH SCORE 4728.042
AT ITER 4095 NEW BEST:: SOT 30187 SOS 9042 HAS SOPS 8518 HAS SOUS 5002 HAS SOUPS 4714 WITH SCORE 4723.042
AT ITER 4103 NEW BEST:: SOT 30173 SOS 9031 HAS SOPS 8507 HAS SOUS 4996 HAS SOUPS 4708 WITH SCORE 4717.031
AT ITER 4133 NEW BEST:: SOT 30163 SOS 9021 HAS SOPS 8497 HAS SOUS 4992 HAS SOUPS 4704 WITH SCORE 4713.021
AT ITER 4168 NEW BEST:: SOT 30163 SOS 9021 HAS SOPS 8497 HAS SOUS 4991 HAS SOUPS 4703 WITH SCORE 4712.021
AT ITER 4182 NEW BEST:: SOT 30165 SOS 9016 HAS SOPS 8490 HAS SOUS 4989 HAS SOUPS 4699 WITH SCORE 4708.016
AT ITER 4269 NEW BEST:: SOT 30158 SOS 9004 HAS SOPS 8477 HAS SOUS 4982 HAS SOUPS 4691 WITH SCORE 4700.004
AT ITER 4327 NEW BEST:: SOT 30155 SOS 9000 HAS SOPS 8473 HAS SOUS 4976 HAS SOUPS 4685 WITH SCORE 4694.0
AT ITER 4334 NEW BEST:: SOT 30216 SOS 8901 HAS SOPS 8374 HAS SOUS 4935 HAS SOUPS 4644 WITH SCORE 4652.901
AT ITER 4380 NEW BEST:: SOT 30216 SOS 8901 HAS SOPS 8374 HAS SOUS 4934 HAS SOUPS 4643 WITH SCORE 4651.901
AT ITER 4393 NEW BEST:: SOT 30213 SOS 8871 HAS SOPS 8344 HAS SOUS 4931 HAS SOUPS 4640 WITH SCORE 4648.871
AT ITER 4461 NEW BEST:: SOT 30203 SOS 8871 HAS SOPS 8344 HAS SOUS 4925 HAS SOUPS 4634 WITH SCORE 4642.871
AT ITER 4479 NEW BEST:: SOT 30191 SOS 8865 HAS SOPS 8338 HAS SOUS 4924 HAS SOUPS 4633 WITH SCORE 4641.865
AT ITER 4490 NEW BEST:: SOT 30191 SOS 8865 HAS SOPS 8338 HAS SOUS 4923 HAS SOUPS 4632 WITH SCORE 4640.865
AT ITER 4494 NEW BEST:: SOT 30175 SOS 8847 HAS SOPS 8320 HAS SOUS 4917 HAS SOUPS 4626 WITH SCORE 4634.847
AT ITER 4526 NEW BEST:: SOT 30165 SOS 8841 HAS SOPS 8314 HAS SOUS 4914 HAS SOUPS 4623 WITH SCORE 4631.841
AT ITER 4590 NEW BEST:: SOT 30148 SOS 8828 HAS SOPS 8301 HAS SOUS 4908 HAS SOUPS 4617 WITH SCORE 4625.828
AT ITER 4650 NEW BEST:: SOT 30147 SOS 8821 HAS SOPS 8294 HAS SOUS 4908 HAS SOUPS 4617 WITH SCORE 4625.821
AT ITER 4653 NEW BEST:: SOT 30143 SOS 8817 HAS SOPS 8290 HAS SOUS 4906 HAS SOUPS 4615 WITH SCORE 4623.817
AT ITER 4672 NEW BEST:: SOT 30128 SOS 8811 HAS SOPS 8284 HAS SOUS 4901 HAS SOUPS 4610 WITH SCORE 4618.811
AT ITER 4677 NEW BEST:: SOT 30133 SOS 8815 HAS SOPS 8288 HAS SOUS 4896 HAS SOUPS 4605 WITH SCORE 4613.815
AT ITER 4679 NEW BEST:: SOT 30133 SOS 8812 HAS SOPS 8285 HAS SOUS 4886 HAS SOUPS 4595 WITH SCORE 4603.812
AT ITER 4698 NEW BEST:: SOT 30126 SOS 8812 HAS SOPS 8285 HAS SOUS 4873 HAS SOUPS 4582 WITH SCORE 4590.812
AT ITER 4729 NEW BEST:: SOT 30170 SOS 8795 HAS SOPS 8267 HAS SOUS 4865 HAS SOUPS 4573 WITH SCORE 4581.795
AT ITER 4806 NEW BEST:: SOT 30185 SOS 8802 HAS SOPS 8270 HAS SOUS 4868 HAS SOUPS 4572 WITH SCORE 4580.802
AT ITER 4808 NEW BEST:: SOT 30184 SOS 8792 HAS SOPS 8260 HAS SOUS 4864 HAS SOUPS 4568 WITH SCORE 4576.792
AT ITER 4818 NEW BEST:: SOT 30188 SOS 8651 HAS SOPS 8106 HAS SOUS 4859 HAS SOUPS 4550 WITH SCORE 4558.651
AT ITER 4820 NEW BEST:: SOT 30231 SOS 8651 HAS SOPS 8106 HAS SOUS 4850 HAS SOUPS 4541 WITH SCORE 4549.651
AT ITER 4830 NEW BEST:: SOT 30241 SOS 8665 HAS SOPS 8120 HAS SOUS 4848 HAS SOUPS 4539 WITH SCORE 4547.665
AT ITER 4838 NEW BEST:: SOT 30240 SOS 8664 HAS SOPS 8119 HAS SOUS 4846 HAS SOUPS 4537 WITH SCORE 4545.664
AT ITER 4847 NEW BEST:: SOT 30235 SOS 8667 HAS SOPS 8122 HAS SOUS 4845 HAS SOUPS 4536 WITH SCORE 4544.667
AT ITER 4870 NEW BEST:: SOT 30241 SOS 8611 HAS SOPS 8066 HAS SOUS 4845 HAS SOUPS 4536 WITH SCORE 4544.611
AT ITER 4875 NEW BEST:: SOT 30242 SOS 8614 HAS SOPS 8067 HAS SOUS 4844 HAS SOUPS 4535 WITH SCORE 4543.614
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: NoC3x3-PT-1A-CTLCardinality-00 (! (EF((AG( potential( (tk(P95)) <= (tk(P100)) ))))))
PROPERTY: NoC3x3-PT-1A-CTLCardinality-01 ( (! (EF(potential( ( 2 ) <= (tk(P128)) )))) & (AG( ( ( potential( (tk(P36)) <= (tk(P14)) ) & potential( (tk(P162)) <= (tk(P88)) ) ) | ( potential( ( 2 ) <= (tk(P109)) ) | potential( (tk(P42)) <= (tk(P90)) ) ) ))) )
PROPERTY: NoC3x3-PT-1A-CTLCardinality-02 (EU( (! (! potential( (tk(P107)) <= (tk(P69)) ))),(AG( potential( (tk(P161)) <= (tk(P109)) ))) ))
PROPERTY: NoC3x3-PT-1A-CTLCardinality-03 ( ( (AF(( potential( ( 2 ) <= (tk(P65)) ) & potential( (tk(P120)) <= (tk(P161)) ) ))) & (! (! potential( ( 2 ) <= (tk(P111)) ))) ) | (AF((EF(potential( ( 2 ) <= (tk(P141)) ))))) )
PROPERTY: NoC3x3-PT-1A-CTLCardinality-04 (! (AG( (! potential( ( 3 ) <= (tk(P162)) )))))
PROPERTY: NoC3x3-PT-1A-CTLCardinality-05 (EF(( (EF(potential( ( 3 ) <= (tk(P92)) ))) & ( (! potential( (tk(P148)) <= (tk(P143)) )) & (! potential( ( 3 ) <= (tk(P106)) )) ) )))
PROPERTY: NoC3x3-PT-1A-CTLCardinality-06 ( potential( ( 2 ) <= (tk(P72)) ) | (! (AG( ( potential( (tk(P100)) <= (tk(P25)) ) | potential( ( 2 ) <= (tk(P92)) ) )))) )
PROPERTY: NoC3x3-PT-1A-CTLCardinality-07 ( (EU( (! potential( ( 3 ) <= (tk(P50)) )),(! potential( (tk(P163)) <= (tk(P111)) )) )) | (AF((! ( potential( (tk(P157)) <= (tk(P68)) ) | potential( ( 1 ) <= (tk(P21)) ) )))) )
PROPERTY: NoC3x3-PT-1A-CTLCardinality-08 (EF((AG( (! potential( ( 3 ) <= (tk(P58)) ))))))
PROPERTY: NoC3x3-PT-1A-CTLCardinality-09 (EF((! ( ( potential( ( 3 ) <= (tk(P123)) ) & potential( ( 1 ) <= (tk(P157)) ) ) | (! potential( ( 1 ) <= (tk(P101)) )) ))))
PROPERTY: NoC3x3-PT-1A-CTLCardinality-10 (EX( (EU( potential( (tk(P51)) <= (tk(P158)) ),potential( ( 3 ) <= (tk(P66)) ) ))))
PROPERTY: NoC3x3-PT-1A-CTLCardinality-11 (EU( (! (! potential( (tk(P45)) <= (tk(P160)) ))),( (! potential( (tk(P11)) <= (tk(P30)) )) & potential( ( 2 ) <= (tk(P88)) ) ) ))
PROPERTY: NoC3x3-PT-1A-CTLCardinality-12 (AG( (AG( ( potential( (tk(P122)) <= (tk(P71)) ) | potential( ( 3 ) <= (tk(P35)) ) )))))
PROPERTY: NoC3x3-PT-1A-CTLCardinality-13 ( potential( (tk(P109)) <= (tk(P20)) ) & (! (AG( ( potential( (tk(P41)) <= (tk(P33)) ) | potential( (tk(P99)) <= (tk(P145)) ) )))) )
PROPERTY: NoC3x3-PT-1A-CTLCardinality-14 ( potential( ( 3 ) <= (tk(P11)) ) | (AF((EF(potential( ( 3 ) <= (tk(P33)) ))))) )
PROPERTY: NoC3x3-PT-1A-CTLCardinality-15 (AF((AG( potential( (tk(P128)) <= (tk(P53)) )))))

BK_STOP 1589643798526

--------------------
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: 372 Aborted ${SMART} ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

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

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