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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 368K
-rw-r--r-- 1 mcc users 3.8K Apr 8 13:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 8 13:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 7 16:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 7 16:39 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 6 19:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 6 19:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 6 02:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 6 02:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 6 20:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:24 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 193K 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 NQueens-PT-15-CTLCardinality-00
FORMULA_NAME NQueens-PT-15-CTLCardinality-01
FORMULA_NAME NQueens-PT-15-CTLCardinality-02
FORMULA_NAME NQueens-PT-15-CTLCardinality-03
FORMULA_NAME NQueens-PT-15-CTLCardinality-04
FORMULA_NAME NQueens-PT-15-CTLCardinality-05
FORMULA_NAME NQueens-PT-15-CTLCardinality-06
FORMULA_NAME NQueens-PT-15-CTLCardinality-07
FORMULA_NAME NQueens-PT-15-CTLCardinality-08
FORMULA_NAME NQueens-PT-15-CTLCardinality-09
FORMULA_NAME NQueens-PT-15-CTLCardinality-10
FORMULA_NAME NQueens-PT-15-CTLCardinality-11
FORMULA_NAME NQueens-PT-15-CTLCardinality-12
FORMULA_NAME NQueens-PT-15-CTLCardinality-13
FORMULA_NAME NQueens-PT-15-CTLCardinality-14
FORMULA_NAME NQueens-PT-15-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589637829476

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NQueens (PT), instance 15
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: 315 places, 225 transitions, 1125 arcs.
AT ITER 0 NEW BEST:: SOT 56768 SOS 36218 HAS SOPS 36218 HAS SOUS 31313 HAS SOUPS 31313 WITH SCORE 31349.218
AT ITER 1 NEW BEST:: SOT 56768 SOS 36183 HAS SOPS 36183 HAS SOUS 31313 HAS SOUPS 31313 WITH SCORE 31349.183
AT ITER 6 NEW BEST:: SOT 56768 SOS 36131 HAS SOPS 36131 HAS SOUS 31313 HAS SOUPS 31313 WITH SCORE 31349.131
AT ITER 14 NEW BEST:: SOT 56613 SOS 36027 HAS SOPS 36027 HAS SOUS 31174 HAS SOUPS 31174 WITH SCORE 31210.027
AT ITER 15 NEW BEST:: SOT 56561 SOS 36270 HAS SOPS 36270 HAS SOUS 31140 HAS SOUPS 31140 WITH SCORE 31176.27
AT ITER 23 NEW BEST:: SOT 56561 SOS 36135 HAS SOPS 36135 HAS SOUS 31140 HAS SOUPS 31140 WITH SCORE 31176.135
AT ITER 29 NEW BEST:: SOT 56435 SOS 35956 HAS SOPS 35956 HAS SOUS 31031 HAS SOUPS 31031 WITH SCORE 31066.956
AT ITER 31 NEW BEST:: SOT 56405 SOS 36128 HAS SOPS 36128 HAS SOUS 31007 HAS SOUPS 31007 WITH SCORE 31043.128
AT ITER 37 NEW BEST:: SOT 56405 SOS 36092 HAS SOPS 36092 HAS SOUS 31007 HAS SOUPS 31007 WITH SCORE 31043.092
AT ITER 39 NEW BEST:: SOT 56369 SOS 36572 HAS SOPS 36572 HAS SOUS 30989 HAS SOUPS 30989 WITH SCORE 31025.572
AT ITER 40 NEW BEST:: SOT 56369 SOS 36526 HAS SOPS 36526 HAS SOUS 30989 HAS SOUPS 30989 WITH SCORE 31025.526
AT ITER 49 NEW BEST:: SOT 56369 SOS 36467 HAS SOPS 36467 HAS SOUS 30989 HAS SOUPS 30989 WITH SCORE 31025.467
AT ITER 52 NEW BEST:: SOT 56304 SOS 36507 HAS SOPS 36507 HAS SOUS 30983 HAS SOUPS 30983 WITH SCORE 31019.507
AT ITER 56 NEW BEST:: SOT 56304 SOS 36492 HAS SOPS 36492 HAS SOUS 30983 HAS SOUPS 30983 WITH SCORE 31019.492
AT ITER 63 NEW BEST:: SOT 56304 SOS 36451 HAS SOPS 36451 HAS SOUS 30983 HAS SOUPS 30983 WITH SCORE 31019.451
AT ITER 65 NEW BEST:: SOT 56304 SOS 36256 HAS SOPS 36256 HAS SOUS 30983 HAS SOUPS 30983 WITH SCORE 31019.256
AT ITER 72 NEW BEST:: SOT 56285 SOS 36299 HAS SOPS 36299 HAS SOUS 30976 HAS SOUPS 30976 WITH SCORE 31012.299
AT ITER 77 NEW BEST:: SOT 56285 SOS 36293 HAS SOPS 36293 HAS SOUS 30976 HAS SOUPS 30976 WITH SCORE 31012.293
AT ITER 78 NEW BEST:: SOT 56285 SOS 36212 HAS SOPS 36212 HAS SOUS 30976 HAS SOUPS 30976 WITH SCORE 31012.212
AT ITER 85 NEW BEST:: SOT 56206 SOS 36983 HAS SOPS 36983 HAS SOUS 30943 HAS SOUPS 30943 WITH SCORE 30979.983
AT ITER 93 NEW BEST:: SOT 56206 SOS 36523 HAS SOPS 36523 HAS SOUS 30943 HAS SOUPS 30943 WITH SCORE 30979.523
AT ITER 98 NEW BEST:: SOT 56206 SOS 36488 HAS SOPS 36488 HAS SOUS 30943 HAS SOUPS 30943 WITH SCORE 30979.488
AT ITER 100 NEW BEST:: SOT 56206 SOS 35973 HAS SOPS 35973 HAS SOUS 30927 HAS SOUPS 30927 WITH SCORE 30962.973
AT ITER 101 NEW BEST:: SOT 56206 SOS 34971 HAS SOPS 34971 HAS SOUS 30927 HAS SOUPS 30927 WITH SCORE 30961.971
AT ITER 105 NEW BEST:: SOT 56206 SOS 34958 HAS SOPS 34958 HAS SOUS 30927 HAS SOUPS 30927 WITH SCORE 30961.958
AT ITER 112 NEW BEST:: SOT 56206 SOS 34958 HAS SOPS 34958 HAS SOUS 30914 HAS SOUPS 30914 WITH SCORE 30948.958
AT ITER 115 NEW BEST:: SOT 56206 SOS 34936 HAS SOPS 34936 HAS SOUS 30914 HAS SOUPS 30914 WITH SCORE 30948.936
AT ITER 120 NEW BEST:: SOT 56206 SOS 34889 HAS SOPS 34889 HAS SOUS 30914 HAS SOUPS 30914 WITH SCORE 30948.889
AT ITER 121 NEW BEST:: SOT 56206 SOS 34884 HAS SOPS 34884 HAS SOUS 30914 HAS SOUPS 30914 WITH SCORE 30948.884
AT ITER 122 NEW BEST:: SOT 56206 SOS 34817 HAS SOPS 34817 HAS SOUS 30914 HAS SOUPS 30914 WITH SCORE 30948.817
AT ITER 126 NEW BEST:: SOT 56206 SOS 34805 HAS SOPS 34805 HAS SOUS 30914 HAS SOUPS 30914 WITH SCORE 30948.805
AT ITER 132 NEW BEST:: SOT 56174 SOS 34928 HAS SOPS 34928 HAS SOUS 30881 HAS SOUPS 30881 WITH SCORE 30915.928
AT ITER 135 NEW BEST:: SOT 56044 SOS 34788 HAS SOPS 34788 HAS SOUS 30744 HAS SOUPS 30744 WITH SCORE 30778.788
AT ITER 146 NEW BEST:: SOT 56044 SOS 34750 HAS SOPS 34750 HAS SOUS 30734 HAS SOUPS 30734 WITH SCORE 30768.75
AT ITER 153 NEW BEST:: SOT 56044 SOS 34526 HAS SOPS 34526 HAS SOUS 30734 HAS SOUPS 30734 WITH SCORE 30768.526
AT ITER 158 NEW BEST:: SOT 56044 SOS 34525 HAS SOPS 34525 HAS SOUS 30734 HAS SOUPS 30734 WITH SCORE 30768.525
AT ITER 164 NEW BEST:: SOT 56044 SOS 34492 HAS SOPS 34492 HAS SOUS 30734 HAS SOUPS 30734 WITH SCORE 30768.492
AT ITER 165 NEW BEST:: SOT 56044 SOS 34467 HAS SOPS 34467 HAS SOUS 30734 HAS SOUPS 30734 WITH SCORE 30768.467
AT ITER 166 NEW BEST:: SOT 56043 SOS 34374 HAS SOPS 34374 HAS SOUS 30723 HAS SOUPS 30723 WITH SCORE 30757.374
AT ITER 170 NEW BEST:: SOT 55713 SOS 35310 HAS SOPS 35310 HAS SOUS 30620 HAS SOUPS 30620 WITH SCORE 30655.31
AT ITER 171 NEW BEST:: SOT 55776 SOS 35222 HAS SOPS 35222 HAS SOUS 30603 HAS SOUPS 30603 WITH SCORE 30638.222
AT ITER 175 NEW BEST:: SOT 55776 SOS 35181 HAS SOPS 35181 HAS SOUS 30603 HAS SOUPS 30603 WITH SCORE 30638.181
AT ITER 178 NEW BEST:: SOT 55776 SOS 34542 HAS SOPS 34542 HAS SOUS 30603 HAS SOUPS 30603 WITH SCORE 30637.542
AT ITER 179 NEW BEST:: SOT 55650 SOS 33433 HAS SOPS 33433 HAS SOUS 30456 HAS SOUPS 30456 WITH SCORE 30489.433
AT ITER 185 NEW BEST:: SOT 55738 SOS 33364 HAS SOPS 33364 HAS SOUS 30376 HAS SOUPS 30376 WITH SCORE 30409.364
AT ITER 186 NEW BEST:: SOT 55738 SOS 33356 HAS SOPS 33356 HAS SOUS 30376 HAS SOUPS 30376 WITH SCORE 30409.356
AT ITER 187 NEW BEST:: SOT 55673 SOS 33410 HAS SOPS 33410 HAS SOUS 30364 HAS SOUPS 30364 WITH SCORE 30397.41
AT ITER 190 NEW BEST:: SOT 55673 SOS 33404 HAS SOPS 33404 HAS SOUS 30364 HAS SOUPS 30364 WITH SCORE 30397.404
AT ITER 191 NEW BEST:: SOT 55647 SOS 33372 HAS SOPS 33372 HAS SOUS 30353 HAS SOUPS 30353 WITH SCORE 30386.372
AT ITER 195 NEW BEST:: SOT 55647 SOS 33344 HAS SOPS 33344 HAS SOUS 30353 HAS SOUPS 30353 WITH SCORE 30386.344
AT ITER 199 NEW BEST:: SOT 55630 SOS 33314 HAS SOPS 33314 HAS SOUS 30318 HAS SOUPS 30318 WITH SCORE 30351.314
AT ITER 200 NEW BEST:: SOT 55630 SOS 33245 HAS SOPS 33245 HAS SOUS 30249 HAS SOUPS 30249 WITH SCORE 30282.245
AT ITER 201 NEW BEST:: SOT 55522 SOS 33376 HAS SOPS 33376 HAS SOUS 30174 HAS SOUPS 30174 WITH SCORE 30207.376
AT ITER 202 NEW BEST:: SOT 55483 SOS 33552 HAS SOPS 33552 HAS SOUS 30171 HAS SOUPS 30171 WITH SCORE 30204.552
AT ITER 215 NEW BEST:: SOT 55473 SOS 33556 HAS SOPS 33556 HAS SOUS 30161 HAS SOUPS 30161 WITH SCORE 30194.556
AT ITER 232 NEW BEST:: SOT 55433 SOS 33633 HAS SOPS 33633 HAS SOUS 30154 HAS SOUPS 30154 WITH SCORE 30187.633
AT ITER 233 NEW BEST:: SOT 55408 SOS 33660 HAS SOPS 33660 HAS SOUS 30108 HAS SOUPS 30108 WITH SCORE 30141.66
AT ITER 234 NEW BEST:: SOT 55408 SOS 33613 HAS SOPS 33613 HAS SOUS 30108 HAS SOUPS 30108 WITH SCORE 30141.613
AT ITER 237 NEW BEST:: SOT 55408 SOS 33575 HAS SOPS 33575 HAS SOUS 30108 HAS SOUPS 30108 WITH SCORE 30141.575
AT ITER 239 NEW BEST:: SOT 55407 SOS 33574 HAS SOPS 33574 HAS SOUS 30107 HAS SOUPS 30107 WITH SCORE 30140.574
AT ITER 241 NEW BEST:: SOT 55407 SOS 33040 HAS SOPS 33040 HAS SOUS 30107 HAS SOUPS 30107 WITH SCORE 30140.04
AT ITER 245 NEW BEST:: SOT 55407 SOS 32988 HAS SOPS 32988 HAS SOUS 30107 HAS SOUPS 30107 WITH SCORE 30139.988
AT ITER 252 NEW BEST:: SOT 55407 SOS 32935 HAS SOPS 32935 HAS SOUS 30107 HAS SOUPS 30107 WITH SCORE 30139.935
AT ITER 256 NEW BEST:: SOT 55294 SOS 32863 HAS SOPS 32863 HAS SOUS 30015 HAS SOUPS 30015 WITH SCORE 30047.863
AT ITER 259 NEW BEST:: SOT 55198 SOS 32904 HAS SOPS 32904 HAS SOUS 29972 HAS SOUPS 29972 WITH SCORE 30004.904
AT ITER 264 NEW BEST:: SOT 55198 SOS 32895 HAS SOPS 32895 HAS SOUS 29972 HAS SOUPS 29972 WITH SCORE 30004.895
AT ITER 274 NEW BEST:: SOT 55090 SOS 33116 HAS SOPS 33116 HAS SOUS 29968 HAS SOUPS 29968 WITH SCORE 30001.116
AT ITER 276 NEW BEST:: SOT 55021 SOS 33083 HAS SOPS 33083 HAS SOUS 29935 HAS SOUPS 29935 WITH SCORE 29968.083
AT ITER 283 NEW BEST:: SOT 55028 SOS 33078 HAS SOPS 33078 HAS SOUS 29935 HAS SOUPS 29935 WITH SCORE 29968.078
AT ITER 287 NEW BEST:: SOT 55028 SOS 33055 HAS SOPS 33055 HAS SOUS 29934 HAS SOUPS 29934 WITH SCORE 29967.055
AT ITER 289 NEW BEST:: SOT 54982 SOS 33426 HAS SOPS 33426 HAS SOUS 29922 HAS SOUPS 29922 WITH SCORE 29955.426
AT ITER 292 NEW BEST:: SOT 54879 SOS 33477 HAS SOPS 33477 HAS SOUS 29822 HAS SOUPS 29822 WITH SCORE 29855.477
AT ITER 294 NEW BEST:: SOT 54879 SOS 33154 HAS SOPS 33154 HAS SOUS 29796 HAS SOUPS 29796 WITH SCORE 29829.154
AT ITER 296 NEW BEST:: SOT 54844 SOS 33181 HAS SOPS 33181 HAS SOUS 29751 HAS SOUPS 29751 WITH SCORE 29784.181
AT ITER 302 NEW BEST:: SOT 54844 SOS 33122 HAS SOPS 33122 HAS SOUS 29751 HAS SOUPS 29751 WITH SCORE 29784.122
AT ITER 310 NEW BEST:: SOT 54844 SOS 33091 HAS SOPS 33091 HAS SOUS 29751 HAS SOUPS 29751 WITH SCORE 29784.091
AT ITER 312 NEW BEST:: SOT 54844 SOS 33068 HAS SOPS 33068 HAS SOUS 29751 HAS SOUPS 29751 WITH SCORE 29784.068
AT ITER 313 NEW BEST:: SOT 54844 SOS 33060 HAS SOPS 33060 HAS SOUS 29751 HAS SOUPS 29751 WITH SCORE 29784.06
AT ITER 314 NEW BEST:: SOT 54850 SOS 32931 HAS SOPS 32931 HAS SOUS 29733 HAS SOUPS 29733 WITH SCORE 29765.931
AT ITER 327 NEW BEST:: SOT 54850 SOS 32920 HAS SOPS 32920 HAS SOUS 29703 HAS SOUPS 29703 WITH SCORE 29735.92
AT ITER 329 NEW BEST:: SOT 54783 SOS 32879 HAS SOPS 32879 HAS SOUS 29660 HAS SOUPS 29660 WITH SCORE 29692.879
AT ITER 330 NEW BEST:: SOT 54783 SOS 32856 HAS SOPS 32856 HAS SOUS 29660 HAS SOUPS 29660 WITH SCORE 29692.856
AT ITER 334 NEW BEST:: SOT 54783 SOS 32845 HAS SOPS 32845 HAS SOUS 29660 HAS SOUPS 29660 WITH SCORE 29692.845
AT ITER 340 NEW BEST:: SOT 54697 SOS 33029 HAS SOPS 33029 HAS SOUS 29600 HAS SOUPS 29600 WITH SCORE 29633.029
AT ITER 345 NEW BEST:: SOT 54697 SOS 33029 HAS SOPS 33029 HAS SOUS 29573 HAS SOUPS 29573 WITH SCORE 29606.029
AT ITER 346 NEW BEST:: SOT 54708 SOS 33011 HAS SOPS 33011 HAS SOUS 29560 HAS SOUPS 29560 WITH SCORE 29593.011
AT ITER 348 NEW BEST:: SOT 54680 SOS 32912 HAS SOPS 32912 HAS SOUS 29489 HAS SOUPS 29489 WITH SCORE 29521.912
AT ITER 352 NEW BEST:: SOT 54680 SOS 32469 HAS SOPS 32469 HAS SOUS 29489 HAS SOUPS 29489 WITH SCORE 29521.469
AT ITER 354 NEW BEST:: SOT 54657 SOS 32446 HAS SOPS 32446 HAS SOUS 29466 HAS SOUPS 29466 WITH SCORE 29498.446
AT ITER 362 NEW BEST:: SOT 54627 SOS 32335 HAS SOPS 32335 HAS SOUS 29425 HAS SOUPS 29425 WITH SCORE 29457.335
AT ITER 364 NEW BEST:: SOT 54519 SOS 32260 HAS SOPS 32260 HAS SOUS 29357 HAS SOUPS 29357 WITH SCORE 29389.26
AT ITER 367 NEW BEST:: SOT 54519 SOS 32192 HAS SOPS 32192 HAS SOUS 29357 HAS SOUPS 29357 WITH SCORE 29389.192
AT ITER 368 NEW BEST:: SOT 54519 SOS 32170 HAS SOPS 32170 HAS SOUS 29357 HAS SOUPS 29357 WITH SCORE 29389.17
AT ITER 374 NEW BEST:: SOT 54519 SOS 32062 HAS SOPS 32062 HAS SOUS 29321 HAS SOUPS 29321 WITH SCORE 29353.062
AT ITER 376 NEW BEST:: SOT 54502 SOS 32045 HAS SOPS 32045 HAS SOUS 29304 HAS SOUPS 29304 WITH SCORE 29336.045
AT ITER 391 NEW BEST:: SOT 54502 SOS 31984 HAS SOPS 31984 HAS SOUS 29304 HAS SOUPS 29304 WITH SCORE 29335.984
AT ITER 392 NEW BEST:: SOT 54489 SOS 31971 HAS SOPS 31971 HAS SOUS 29291 HAS SOUPS 29291 WITH SCORE 29322.971
AT ITER 404 NEW BEST:: SOT 54489 SOS 31957 HAS SOPS 31957 HAS SOUS 29284 HAS SOUPS 29284 WITH SCORE 29315.957
AT ITER 405 NEW BEST:: SOT 54452 SOS 32000 HAS SOPS 32000 HAS SOUS 29260 HAS SOUPS 29260 WITH SCORE 29292.0
AT ITER 416 NEW BEST:: SOT 54452 SOS 31996 HAS SOPS 31996 HAS SOUS 29255 HAS SOUPS 29255 WITH SCORE 29286.996
AT ITER 420 NEW BEST:: SOT 54452 SOS 31984 HAS SOPS 31984 HAS SOUS 29255 HAS SOUPS 29255 WITH SCORE 29286.984
AT ITER 429 NEW BEST:: SOT 54452 SOS 31705 HAS SOPS 31705 HAS SOUS 29188 HAS SOUPS 29188 WITH SCORE 29219.705
AT ITER 435 NEW BEST:: SOT 54452 SOS 31695 HAS SOPS 31695 HAS SOUS 29188 HAS SOUPS 29188 WITH SCORE 29219.695
AT ITER 436 NEW BEST:: SOT 54466 SOS 31708 HAS SOPS 31708 HAS SOUS 29187 HAS SOUPS 29187 WITH SCORE 29218.708
AT ITER 438 NEW BEST:: SOT 54467 SOS 31679 HAS SOPS 31679 HAS SOUS 29174 HAS SOUPS 29174 WITH SCORE 29205.679
AT ITER 450 NEW BEST:: SOT 54467 SOS 31646 HAS SOPS 31646 HAS SOUS 29157 HAS SOUPS 29157 WITH SCORE 29188.646
AT ITER 452 NEW BEST:: SOT 54367 SOS 31636 HAS SOPS 31636 HAS SOUS 29130 HAS SOUPS 29130 WITH SCORE 29161.636
AT ITER 453 NEW BEST:: SOT 54367 SOS 31639 HAS SOPS 31639 HAS SOUS 29125 HAS SOUPS 29125 WITH SCORE 29156.639
AT ITER 456 NEW BEST:: SOT 54367 SOS 31610 HAS SOPS 31610 HAS SOUS 29125 HAS SOUPS 29125 WITH SCORE 29156.61
AT ITER 459 NEW BEST:: SOT 54367 SOS 31598 HAS SOPS 31598 HAS SOUS 29125 HAS SOUPS 29125 WITH SCORE 29156.598
AT ITER 469 NEW BEST:: SOT 54367 SOS 31508 HAS SOPS 31508 HAS SOUS 29066 HAS SOUPS 29066 WITH SCORE 29097.508
AT ITER 471 NEW BEST:: SOT 54367 SOS 31440 HAS SOPS 31440 HAS SOUS 29052 HAS SOUPS 29052 WITH SCORE 29083.44
AT ITER 472 NEW BEST:: SOT 54367 SOS 31079 HAS SOPS 31079 HAS SOUS 29047 HAS SOUPS 29047 WITH SCORE 29078.079
AT ITER 476 NEW BEST:: SOT 54367 SOS 31074 HAS SOPS 31074 HAS SOUS 29047 HAS SOUPS 29047 WITH SCORE 29078.074
AT ITER 478 NEW BEST:: SOT 54367 SOS 31059 HAS SOPS 31059 HAS SOUS 29022 HAS SOUPS 29022 WITH SCORE 29053.059
AT ITER 482 NEW BEST:: SOT 54367 SOS 31055 HAS SOPS 31055 HAS SOUS 29022 HAS SOUPS 29022 WITH SCORE 29053.055
AT ITER 485 NEW BEST:: SOT 54446 SOS 31088 HAS SOPS 31088 HAS SOUS 28943 HAS SOUPS 28943 WITH SCORE 28974.088
AT ITER 509 NEW BEST:: SOT 54285 SOS 31460 HAS SOPS 31460 HAS SOUS 28862 HAS SOUPS 28862 WITH SCORE 28893.46
AT ITER 510 NEW BEST:: SOT 54280 SOS 31455 HAS SOPS 31455 HAS SOUS 28857 HAS SOUPS 28857 WITH SCORE 28888.455
AT ITER 511 NEW BEST:: SOT 53913 SOS 32244 HAS SOPS 32244 HAS SOUS 28734 HAS SOUPS 28734 WITH SCORE 28766.244
AT ITER 516 NEW BEST:: SOT 53913 SOS 32214 HAS SOPS 32214 HAS SOUS 28734 HAS SOUPS 28734 WITH SCORE 28766.214
AT ITER 517 NEW BEST:: SOT 53915 SOS 32186 HAS SOPS 32186 HAS SOUS 28714 HAS SOUPS 28714 WITH SCORE 28746.186
AT ITER 518 NEW BEST:: SOT 53710 SOS 32186 HAS SOPS 32186 HAS SOUS 28690 HAS SOUPS 28690 WITH SCORE 28722.186
AT ITER 523 NEW BEST:: SOT 53695 SOS 32153 HAS SOPS 32153 HAS SOUS 28671 HAS SOUPS 28671 WITH SCORE 28703.153
AT ITER 526 NEW BEST:: SOT 53677 SOS 32135 HAS SOPS 32135 HAS SOUS 28667 HAS SOUPS 28667 WITH SCORE 28699.135
AT ITER 530 NEW BEST:: SOT 53669 SOS 32127 HAS SOPS 32127 HAS SOUS 28654 HAS SOUPS 28654 WITH SCORE 28686.127
AT ITER 542 NEW BEST:: SOT 53684 SOS 32119 HAS SOPS 32119 HAS SOUS 28626 HAS SOUPS 28626 WITH SCORE 28658.119
AT ITER 546 NEW BEST:: SOT 53684 SOS 32051 HAS SOPS 32051 HAS SOUS 28554 HAS SOUPS 28554 WITH SCORE 28586.051
AT ITER 547 NEW BEST:: SOT 53684 SOS 32027 HAS SOPS 32027 HAS SOUS 28554 HAS SOUPS 28554 WITH SCORE 28586.027
AT ITER 552 NEW BEST:: SOT 53525 SOS 32187 HAS SOPS 32187 HAS SOUS 28530 HAS SOUPS 28530 WITH SCORE 28562.187
AT ITER 565 NEW BEST:: SOT 53525 SOS 32154 HAS SOPS 32154 HAS SOUS 28508 HAS SOUPS 28508 WITH SCORE 28540.154
AT ITER 568 NEW BEST:: SOT 53525 SOS 32117 HAS SOPS 32117 HAS SOUS 28471 HAS SOUPS 28471 WITH SCORE 28503.117
AT ITER 576 NEW BEST:: SOT 53538 SOS 32168 HAS SOPS 32168 HAS SOUS 28421 HAS SOUPS 28421 WITH SCORE 28453.168
AT ITER 577 NEW BEST:: SOT 53498 SOS 32139 HAS SOPS 32139 HAS SOUS 28399 HAS SOUPS 28399 WITH SCORE 28431.139
AT ITER 582 NEW BEST:: SOT 53489 SOS 32124 HAS SOPS 32124 HAS SOUS 28369 HAS SOUPS 28369 WITH SCORE 28401.124
AT ITER 601 NEW BEST:: SOT 53489 SOS 32049 HAS SOPS 32049 HAS SOUS 28360 HAS SOUPS 28360 WITH SCORE 28392.049
AT ITER 603 NEW BEST:: SOT 53489 SOS 32009 HAS SOPS 32009 HAS SOUS 28347 HAS SOUPS 28347 WITH SCORE 28379.009
AT ITER 610 NEW BEST:: SOT 53489 SOS 31873 HAS SOPS 31873 HAS SOUS 28334 HAS SOUPS 28334 WITH SCORE 28365.873
AT ITER 613 NEW BEST:: SOT 53504 SOS 31873 HAS SOPS 31873 HAS SOUS 28323 HAS SOUPS 28323 WITH SCORE 28354.873
AT ITER 615 NEW BEST:: SOT 53395 SOS 32557 HAS SOPS 32557 HAS SOUS 28271 HAS SOUPS 28271 WITH SCORE 28303.557
AT ITER 617 NEW BEST:: SOT 53395 SOS 32503 HAS SOPS 32503 HAS SOUS 28271 HAS SOUPS 28271 WITH SCORE 28303.503
AT ITER 621 NEW BEST:: SOT 53337 SOS 32441 HAS SOPS 32441 HAS SOUS 28188 HAS SOUPS 28188 WITH SCORE 28220.441
AT ITER 628 NEW BEST:: SOT 53337 SOS 32437 HAS SOPS 32437 HAS SOUS 28188 HAS SOUPS 28188 WITH SCORE 28220.437
AT ITER 634 NEW BEST:: SOT 53337 SOS 32405 HAS SOPS 32405 HAS SOUS 28188 HAS SOUPS 28188 WITH SCORE 28220.405
AT ITER 638 NEW BEST:: SOT 53337 SOS 32399 HAS SOPS 32399 HAS SOUS 28188 HAS SOUPS 28188 WITH SCORE 28220.399
AT ITER 639 NEW BEST:: SOT 53337 SOS 32404 HAS SOPS 32404 HAS SOUS 28180 HAS SOUPS 28180 WITH SCORE 28212.404
AT ITER 650 NEW BEST:: SOT 53184 SOS 32626 HAS SOPS 32626 HAS SOUS 28179 HAS SOUPS 28179 WITH SCORE 28211.626
AT ITER 656 NEW BEST:: SOT 53193 SOS 32637 HAS SOPS 32637 HAS SOUS 28155 HAS SOUPS 28155 WITH SCORE 28187.637
AT ITER 662 NEW BEST:: SOT 53165 SOS 32678 HAS SOPS 32678 HAS SOUS 28138 HAS SOUPS 28138 WITH SCORE 28170.678
AT ITER 663 NEW BEST:: SOT 53165 SOS 32678 HAS SOPS 32678 HAS SOUS 28088 HAS SOUPS 28088 WITH SCORE 28120.678
AT ITER 666 NEW BEST:: SOT 53165 SOS 32561 HAS SOPS 32561 HAS SOUS 28057 HAS SOUPS 28057 WITH SCORE 28089.561
AT ITER 668 NEW BEST:: SOT 53165 SOS 32525 HAS SOPS 32525 HAS SOUS 28057 HAS SOUPS 28057 WITH SCORE 28089.525
AT ITER 669 NEW BEST:: SOT 53165 SOS 32507 HAS SOPS 32507 HAS SOUS 28057 HAS SOUPS 28057 WITH SCORE 28089.507
AT ITER 677 NEW BEST:: SOT 53165 SOS 32480 HAS SOPS 32480 HAS SOUS 28055 HAS SOUPS 28055 WITH SCORE 28087.48
AT ITER 683 NEW BEST:: SOT 53168 SOS 32274 HAS SOPS 32274 HAS SOUS 28017 HAS SOUPS 28017 WITH SCORE 28049.274
AT ITER 692 NEW BEST:: SOT 53115 SOS 32333 HAS SOPS 32333 HAS SOUS 27975 HAS SOUPS 27975 WITH SCORE 28007.333
AT ITER 704 NEW BEST:: SOT 53115 SOS 32258 HAS SOPS 32258 HAS SOUS 27972 HAS SOUPS 27972 WITH SCORE 28004.258
AT ITER 713 NEW BEST:: SOT 53133 SOS 32250 HAS SOPS 32250 HAS SOUS 27964 HAS SOUPS 27964 WITH SCORE 27996.25
AT ITER 715 NEW BEST:: SOT 53195 SOS 32201 HAS SOPS 32201 HAS SOUS 27935 HAS SOUPS 27935 WITH SCORE 27967.201
AT ITER 716 NEW BEST:: SOT 53195 SOS 32179 HAS SOPS 32179 HAS SOUS 27925 HAS SOUPS 27925 WITH SCORE 27957.179
AT ITER 721 NEW BEST:: SOT 53143 SOS 32063 HAS SOPS 32063 HAS SOUS 27822 HAS SOUPS 27822 WITH SCORE 27854.063
AT ITER 726 NEW BEST:: SOT 53143 SOS 31853 HAS SOPS 31853 HAS SOUS 27822 HAS SOUPS 27822 WITH SCORE 27853.853
AT ITER 728 NEW BEST:: SOT 52999 SOS 31814 HAS SOPS 31814 HAS SOUS 27808 HAS SOUPS 27808 WITH SCORE 27839.814
AT ITER 733 NEW BEST:: SOT 52977 SOS 31777 HAS SOPS 31777 HAS SOUS 27793 HAS SOUPS 27793 WITH SCORE 27824.777
AT ITER 743 NEW BEST:: SOT 52977 SOS 31753 HAS SOPS 31753 HAS SOUS 27754 HAS SOUPS 27754 WITH SCORE 27785.753
AT ITER 759 NEW BEST:: SOT 52977 SOS 31671 HAS SOPS 31671 HAS SOUS 27754 HAS SOUPS 27754 WITH SCORE 27785.671
AT ITER 767 NEW BEST:: SOT 52977 SOS 31602 HAS SOPS 31602 HAS SOUS 27754 HAS SOUPS 27754 WITH SCORE 27785.602
AT ITER 770 NEW BEST:: SOT 52977 SOS 31586 HAS SOPS 31586 HAS SOUS 27754 HAS SOUPS 27754 WITH SCORE 27785.586
AT ITER 773 NEW BEST:: SOT 52954 SOS 31563 HAS SOPS 31563 HAS SOUS 27716 HAS SOUPS 27716 WITH SCORE 27747.563
AT ITER 776 NEW BEST:: SOT 52954 SOS 31425 HAS SOPS 31425 HAS SOUS 27716 HAS SOUPS 27716 WITH SCORE 27747.425
AT ITER 788 NEW BEST:: SOT 52954 SOS 31371 HAS SOPS 31371 HAS SOUS 27716 HAS SOUPS 27716 WITH SCORE 27747.371
AT ITER 801 NEW BEST:: SOT 52954 SOS 31347 HAS SOPS 31347 HAS SOUS 27716 HAS SOUPS 27716 WITH SCORE 27747.347
AT ITER 829 NEW BEST:: SOT 52930 SOS 31323 HAS SOPS 31323 HAS SOUS 27702 HAS SOUPS 27702 WITH SCORE 27733.323
AT ITER 833 NEW BEST:: SOT 52930 SOS 31315 HAS SOPS 31315 HAS SOUS 27701 HAS SOUPS 27701 WITH SCORE 27732.315
AT ITER 837 NEW BEST:: SOT 52930 SOS 31289 HAS SOPS 31289 HAS SOUS 27701 HAS SOUPS 27701 WITH SCORE 27732.289
AT ITER 839 NEW BEST:: SOT 52935 SOS 31292 HAS SOPS 31292 HAS SOUS 27699 HAS SOUPS 27699 WITH SCORE 27730.292
AT ITER 853 NEW BEST:: SOT 52935 SOS 31278 HAS SOPS 31278 HAS SOUS 27699 HAS SOUPS 27699 WITH SCORE 27730.278
AT ITER 854 NEW BEST:: SOT 52935 SOS 31199 HAS SOPS 31199 HAS SOUS 27694 HAS SOUPS 27694 WITH SCORE 27725.199
AT ITER 858 NEW BEST:: SOT 52935 SOS 31143 HAS SOPS 31143 HAS SOUS 27666 HAS SOUPS 27666 WITH SCORE 27697.143
AT ITER 863 NEW BEST:: SOT 52918 SOS 31126 HAS SOPS 31126 HAS SOUS 27649 HAS SOUPS 27649 WITH SCORE 27680.126
AT ITER 869 NEW BEST:: SOT 52918 SOS 31034 HAS SOPS 31034 HAS SOUS 27637 HAS SOUPS 27637 WITH SCORE 27668.034
AT ITER 874 NEW BEST:: SOT 52918 SOS 30827 HAS SOPS 30827 HAS SOUS 27637 HAS SOUPS 27637 WITH SCORE 27667.827
AT ITER 879 NEW BEST:: SOT 52918 SOS 30791 HAS SOPS 30791 HAS SOUS 27606 HAS SOUPS 27606 WITH SCORE 27636.791
AT ITER 881 NEW BEST:: SOT 52918 SOS 30764 HAS SOPS 30764 HAS SOUS 27606 HAS SOUPS 27606 WITH SCORE 27636.764
AT ITER 882 NEW BEST:: SOT 52918 SOS 30675 HAS SOPS 30675 HAS SOUS 27606 HAS SOUPS 27606 WITH SCORE 27636.675
AT ITER 896 NEW BEST:: SOT 52918 SOS 30718 HAS SOPS 30718 HAS SOUS 27591 HAS SOUPS 27591 WITH SCORE 27621.718
AT ITER 913 NEW BEST:: SOT 52918 SOS 30692 HAS SOPS 30692 HAS SOUS 27561 HAS SOUPS 27561 WITH SCORE 27591.692
AT ITER 917 NEW BEST:: SOT 52942 SOS 30711 HAS SOPS 30711 HAS SOUS 27553 HAS SOUPS 27553 WITH SCORE 27583.711
AT ITER 925 NEW BEST:: SOT 52942 SOS 30689 HAS SOPS 30689 HAS SOUS 27531 HAS SOUPS 27531 WITH SCORE 27561.689
AT ITER 931 NEW BEST:: SOT 52931 SOS 30678 HAS SOPS 30678 HAS SOUS 27516 HAS SOUPS 27516 WITH SCORE 27546.678
AT ITER 936 NEW BEST:: SOT 52931 SOS 30668 HAS SOPS 30668 HAS SOUS 27515 HAS SOUPS 27515 WITH SCORE 27545.668
AT ITER 942 NEW BEST:: SOT 52876 SOS 30622 HAS SOPS 30622 HAS SOUS 27477 HAS SOUPS 27477 WITH SCORE 27507.622
AT ITER 950 NEW BEST:: SOT 52876 SOS 30627 HAS SOPS 30627 HAS SOUS 27457 HAS SOUPS 27457 WITH SCORE 27487.627
AT ITER 961 NEW BEST:: SOT 52880 SOS 30635 HAS SOPS 30635 HAS SOUS 27444 HAS SOUPS 27444 WITH SCORE 27474.635
AT ITER 963 NEW BEST:: SOT 52873 SOS 30620 HAS SOPS 30620 HAS SOUS 27435 HAS SOUPS 27435 WITH SCORE 27465.62
AT ITER 964 NEW BEST:: SOT 52896 SOS 30642 HAS SOPS 30642 HAS SOUS 27429 HAS SOUPS 27429 WITH SCORE 27459.642
AT ITER 967 NEW BEST:: SOT 52896 SOS 30539 HAS SOPS 30539 HAS SOUS 27429 HAS SOUPS 27429 WITH SCORE 27459.539
AT ITER 979 NEW BEST:: SOT 52911 SOS 30542 HAS SOPS 30542 HAS SOUS 27383 HAS SOUPS 27383 WITH SCORE 27413.542
AT ITER 980 NEW BEST:: SOT 52884 SOS 30515 HAS SOPS 30515 HAS SOUS 27295 HAS SOUPS 27295 WITH SCORE 27325.515
AT ITER 987 NEW BEST:: SOT 52784 SOS 30441 HAS SOPS 30441 HAS SOUS 27266 HAS SOUPS 27266 WITH SCORE 27296.441
AT ITER 997 NEW BEST:: SOT 52597 SOS 30513 HAS SOPS 30513 HAS SOUS 27155 HAS SOUPS 27155 WITH SCORE 27185.513
AT ITER 1004 NEW BEST:: SOT 52597 SOS 30488 HAS SOPS 30488 HAS SOUS 27146 HAS SOUPS 27146 WITH SCORE 27176.488
AT ITER 1025 NEW BEST:: SOT 52678 SOS 30483 HAS SOPS 30483 HAS SOUS 27141 HAS SOUPS 27141 WITH SCORE 27171.483
AT ITER 1043 NEW BEST:: SOT 52678 SOS 30445 HAS SOPS 30445 HAS SOUS 27121 HAS SOUPS 27121 WITH SCORE 27151.445
AT ITER 1044 NEW BEST:: SOT 52678 SOS 30389 HAS SOPS 30389 HAS SOUS 27107 HAS SOUPS 27107 WITH SCORE 27137.389
AT ITER 1071 NEW BEST:: SOT 52619 SOS 30675 HAS SOPS 30675 HAS SOUS 27104 HAS SOUPS 27104 WITH SCORE 27134.675
AT ITER 1084 NEW BEST:: SOT 52657 SOS 30214 HAS SOPS 30214 HAS SOUS 27033 HAS SOUPS 27033 WITH SCORE 27063.214
AT ITER 1092 NEW BEST:: SOT 52588 SOS 30181 HAS SOPS 30181 HAS SOUS 27002 HAS SOUPS 27002 WITH SCORE 27032.181
AT ITER 1096 NEW BEST:: SOT 52588 SOS 30188 HAS SOPS 30188 HAS SOUS 27000 HAS SOUPS 27000 WITH SCORE 27030.188
AT ITER 1123 NEW BEST:: SOT 52550 SOS 30140 HAS SOPS 30140 HAS SOUS 26953 HAS SOUPS 26953 WITH SCORE 26983.14
AT ITER 1135 NEW BEST:: SOT 52547 SOS 30137 HAS SOPS 30137 HAS SOUS 26950 HAS SOUPS 26950 WITH SCORE 26980.137
AT ITER 1136 NEW BEST:: SOT 52536 SOS 30126 HAS SOPS 30126 HAS SOUS 26945 HAS SOUPS 26945 WITH SCORE 26975.126
AT ITER 1146 NEW BEST:: SOT 52516 SOS 30106 HAS SOPS 30106 HAS SOUS 26925 HAS SOUPS 26925 WITH SCORE 26955.106
AT ITER 1153 NEW BEST:: SOT 52516 SOS 30097 HAS SOPS 30097 HAS SOUS 26925 HAS SOUPS 26925 WITH SCORE 26955.097
AT ITER 1157 NEW BEST:: SOT 52386 SOS 29967 HAS SOPS 29967 HAS SOUS 26795 HAS SOUPS 26795 WITH SCORE 26824.967
AT ITER 1172 NEW BEST:: SOT 52386 SOS 29949 HAS SOPS 29949 HAS SOUS 26795 HAS SOUPS 26795 WITH SCORE 26824.949
AT ITER 1178 NEW BEST:: SOT 52378 SOS 29926 HAS SOPS 29926 HAS SOUS 26782 HAS SOUPS 26782 WITH SCORE 26811.926
AT ITER 1181 NEW BEST:: SOT 52378 SOS 29926 HAS SOPS 29926 HAS SOUS 26776 HAS SOUPS 26776 WITH SCORE 26805.926
AT ITER 1185 NEW BEST:: SOT 52325 SOS 29878 HAS SOPS 29878 HAS SOUS 26730 HAS SOUPS 26730 WITH SCORE 26759.878
AT ITER 1186 NEW BEST:: SOT 52325 SOS 29811 HAS SOPS 29811 HAS SOUS 26730 HAS SOUPS 26730 WITH SCORE 26759.811
AT ITER 1190 NEW BEST:: SOT 52319 SOS 30060 HAS SOPS 30060 HAS SOUS 26724 HAS SOUPS 26724 WITH SCORE 26754.06
AT ITER 1197 NEW BEST:: SOT 52319 SOS 30019 HAS SOPS 30019 HAS SOUS 26724 HAS SOUPS 26724 WITH SCORE 26754.019
AT ITER 1202 NEW BEST:: SOT 52306 SOS 30006 HAS SOPS 30006 HAS SOUS 26720 HAS SOUPS 26720 WITH SCORE 26750.006
AT ITER 1209 NEW BEST:: SOT 52319 SOS 29947 HAS SOPS 29947 HAS SOUS 26717 HAS SOUPS 26717 WITH SCORE 26746.947
AT ITER 1213 NEW BEST:: SOT 52321 SOS 29886 HAS SOPS 29886 HAS SOUS 26660 HAS SOUPS 26660 WITH SCORE 26689.886
AT ITER 1222 NEW BEST:: SOT 52319 SOS 29880 HAS SOPS 29880 HAS SOUS 26658 HAS SOUPS 26658 WITH SCORE 26687.88
AT ITER 1253 NEW BEST:: SOT 52298 SOS 29957 HAS SOPS 29957 HAS SOUS 26640 HAS SOUPS 26640 WITH SCORE 26669.957
AT ITER 1258 NEW BEST:: SOT 52293 SOS 29952 HAS SOPS 29952 HAS SOUS 26622 HAS SOUPS 26622 WITH SCORE 26651.952
AT ITER 1260 NEW BEST:: SOT 52292 SOS 29951 HAS SOPS 29951 HAS SOUS 26621 HAS SOUPS 26621 WITH SCORE 26650.951
AT ITER 1269 NEW BEST:: SOT 52301 SOS 29858 HAS SOPS 29858 HAS SOUS 26620 HAS SOUPS 26620 WITH SCORE 26649.858
AT ITER 1280 NEW BEST:: SOT 52321 SOS 29779 HAS SOPS 29779 HAS SOUS 26541 HAS SOUPS 26541 WITH SCORE 26570.779
AT ITER 1283 NEW BEST:: SOT 52321 SOS 30145 HAS SOPS 30145 HAS SOUS 26529 HAS SOUPS 26529 WITH SCORE 26559.145
AT ITER 1284 NEW BEST:: SOT 52321 SOS 30169 HAS SOPS 30169 HAS SOUS 26520 HAS SOUPS 26520 WITH SCORE 26550.169
AT ITER 1294 NEW BEST:: SOT 52310 SOS 30363 HAS SOPS 30363 HAS SOUS 26511 HAS SOUPS 26511 WITH SCORE 26541.363
AT ITER 1295 NEW BEST:: SOT 52273 SOS 30326 HAS SOPS 30326 HAS SOUS 26474 HAS SOUPS 26474 WITH SCORE 26504.326
AT ITER 1296 NEW BEST:: SOT 52273 SOS 30255 HAS SOPS 30255 HAS SOUS 26451 HAS SOUPS 26451 WITH SCORE 26481.255
AT ITER 1305 NEW BEST:: SOT 52273 SOS 30194 HAS SOPS 30194 HAS SOUS 26451 HAS SOUPS 26451 WITH SCORE 26481.194
AT ITER 1312 NEW BEST:: SOT 52248 SOS 30165 HAS SOPS 30165 HAS SOUS 26446 HAS SOUPS 26446 WITH SCORE 26476.165
AT ITER 1319 NEW BEST:: SOT 52251 SOS 30208 HAS SOPS 30208 HAS SOUS 26438 HAS SOUPS 26438 WITH SCORE 26468.208
AT ITER 1325 NEW BEST:: SOT 52265 SOS 30203 HAS SOPS 30203 HAS SOUS 26422 HAS SOUPS 26422 WITH SCORE 26452.203
AT ITER 1341 NEW BEST:: SOT 52241 SOS 30195 HAS SOPS 30195 HAS SOUS 26404 HAS SOUPS 26404 WITH SCORE 26434.195
AT ITER 1365 NEW BEST:: SOT 52241 SOS 29784 HAS SOPS 29784 HAS SOUS 26404 HAS SOUPS 26404 WITH SCORE 26433.784
AT ITER 1388 NEW BEST:: SOT 52246 SOS 29799 HAS SOPS 29799 HAS SOUS 26382 HAS SOUPS 26382 WITH SCORE 26411.799
AT ITER 1396 NEW BEST:: SOT 52246 SOS 29796 HAS SOPS 29796 HAS SOUS 26382 HAS SOUPS 26382 WITH SCORE 26411.796
AT ITER 1408 NEW BEST:: SOT 52246 SOS 29780 HAS SOPS 29780 HAS SOUS 26382 HAS SOUPS 26382 WITH SCORE 26411.78
AT ITER 1410 NEW BEST:: SOT 52172 SOS 29723 HAS SOPS 29723 HAS SOUS 26329 HAS SOUPS 26329 WITH SCORE 26358.723
AT ITER 1418 NEW BEST:: SOT 52129 SOS 29680 HAS SOPS 29680 HAS SOUS 26286 HAS SOUPS 26286 WITH SCORE 26315.68
AT ITER 1420 NEW BEST:: SOT 52091 SOS 29667 HAS SOPS 29667 HAS SOUS 26282 HAS SOUPS 26282 WITH SCORE 26311.667
AT ITER 1431 NEW BEST:: SOT 52097 SOS 29662 HAS SOPS 29662 HAS SOUS 26271 HAS SOUPS 26271 WITH SCORE 26300.662
AT ITER 1438 NEW BEST:: SOT 52097 SOS 29625 HAS SOPS 29625 HAS SOUS 26271 HAS SOUPS 26271 WITH SCORE 26300.625
AT ITER 1443 NEW BEST:: SOT 52096 SOS 29529 HAS SOPS 29529 HAS SOUS 26270 HAS SOUPS 26270 WITH SCORE 26299.529
AT ITER 1447 NEW BEST:: SOT 52096 SOS 29496 HAS SOPS 29496 HAS SOUS 26270 HAS SOUPS 26270 WITH SCORE 26299.496
AT ITER 1454 NEW BEST:: SOT 52096 SOS 29492 HAS SOPS 29492 HAS SOUS 26268 HAS SOUPS 26268 WITH SCORE 26297.492
AT ITER 1470 NEW BEST:: SOT 52096 SOS 29486 HAS SOPS 29486 HAS SOUS 26268 HAS SOUPS 26268 WITH SCORE 26297.486
AT ITER 1473 NEW BEST:: SOT 52112 SOS 29555 HAS SOPS 29555 HAS SOUS 26264 HAS SOUPS 26264 WITH SCORE 26293.555
AT ITER 1478 NEW BEST:: SOT 52112 SOS 29521 HAS SOPS 29521 HAS SOUS 26264 HAS SOUPS 26264 WITH SCORE 26293.521
AT ITER 1481 NEW BEST:: SOT 52112 SOS 29490 HAS SOPS 29490 HAS SOUS 26262 HAS SOUPS 26262 WITH SCORE 26291.49
AT ITER 1490 NEW BEST:: SOT 52099 SOS 29475 HAS SOPS 29475 HAS SOUS 26258 HAS SOUPS 26258 WITH SCORE 26287.475
AT ITER 1494 NEW BEST:: SOT 52099 SOS 29461 HAS SOPS 29461 HAS SOUS 26258 HAS SOUPS 26258 WITH SCORE 26287.461
AT ITER 1499 NEW BEST:: SOT 52099 SOS 29460 HAS SOPS 29460 HAS SOUS 26258 HAS SOUPS 26258 WITH SCORE 26287.46
AT ITER 1500 NEW BEST:: SOT 52094 SOS 29455 HAS SOPS 29455 HAS SOUS 26253 HAS SOUPS 26253 WITH SCORE 26282.455
AT ITER 1504 NEW BEST:: SOT 52096 SOS 29523 HAS SOPS 29523 HAS SOUS 26249 HAS SOUPS 26249 WITH SCORE 26278.523
AT ITER 1514 NEW BEST:: SOT 52078 SOS 29634 HAS SOPS 29634 HAS SOUS 26231 HAS SOUPS 26231 WITH SCORE 26260.634
AT ITER 1516 NEW BEST:: SOT 52078 SOS 29634 HAS SOPS 29634 HAS SOUS 26192 HAS SOUPS 26192 WITH SCORE 26221.634
AT ITER 1517 NEW BEST:: SOT 52062 SOS 29618 HAS SOPS 29618 HAS SOUS 26176 HAS SOUPS 26176 WITH SCORE 26205.618
AT ITER 1528 NEW BEST:: SOT 52062 SOS 29603 HAS SOPS 29603 HAS SOUS 26176 HAS SOUPS 26176 WITH SCORE 26205.603
AT ITER 1533 NEW BEST:: SOT 52062 SOS 29609 HAS SOPS 29609 HAS SOUS 26136 HAS SOUPS 26136 WITH SCORE 26165.609
AT ITER 1553 NEW BEST:: SOT 52070 SOS 29625 HAS SOPS 29625 HAS SOUS 26135 HAS SOUPS 26135 WITH SCORE 26164.625
AT ITER 1561 NEW BEST:: SOT 52068 SOS 29833 HAS SOPS 29833 HAS SOUS 26133 HAS SOUPS 26133 WITH SCORE 26162.833
AT ITER 1564 NEW BEST:: SOT 52068 SOS 29830 HAS SOPS 29830 HAS SOUS 26133 HAS SOUPS 26133 WITH SCORE 26162.83
AT ITER 1574 NEW BEST:: SOT 52047 SOS 29820 HAS SOPS 29820 HAS SOUS 26130 HAS SOUPS 26130 WITH SCORE 26159.82
AT ITER 1583 NEW BEST:: SOT 52048 SOS 29706 HAS SOPS 29706 HAS SOUS 26130 HAS SOUPS 26130 WITH SCORE 26159.706
AT ITER 1597 NEW BEST:: SOT 52048 SOS 29681 HAS SOPS 29681 HAS SOUS 26130 HAS SOUPS 26130 WITH SCORE 26159.681
AT ITER 1598 NEW BEST:: SOT 52048 SOS 29650 HAS SOPS 29650 HAS SOUS 26130 HAS SOUPS 26130 WITH SCORE 26159.65
AT ITER 1601 NEW BEST:: SOT 52048 SOS 29650 HAS SOPS 29650 HAS SOUS 26129 HAS SOUPS 26129 WITH SCORE 26158.65
AT ITER 1609 NEW BEST:: SOT 52048 SOS 29615 HAS SOPS 29615 HAS SOUS 26129 HAS SOUPS 26129 WITH SCORE 26158.615
AT ITER 1610 NEW BEST:: SOT 52033 SOS 29600 HAS SOPS 29600 HAS SOUS 26117 HAS SOUPS 26117 WITH SCORE 26146.6
AT ITER 1634 NEW BEST:: SOT 52033 SOS 29577 HAS SOPS 29577 HAS SOUS 26117 HAS SOUPS 26117 WITH SCORE 26146.577
AT ITER 1659 NEW BEST:: SOT 52001 SOS 29557 HAS SOPS 29557 HAS SOUS 26110 HAS SOUPS 26110 WITH SCORE 26139.557
AT ITER 1664 NEW BEST:: SOT 52001 SOS 29554 HAS SOPS 29554 HAS SOUS 26110 HAS SOUPS 26110 WITH SCORE 26139.554
AT ITER 1671 NEW BEST:: SOT 52001 SOS 29571 HAS SOPS 29571 HAS SOUS 26104 HAS SOUPS 26104 WITH SCORE 26133.571
AT ITER 1681 NEW BEST:: SOT 52001 SOS 29471 HAS SOPS 29471 HAS SOUS 26104 HAS SOUPS 26104 WITH SCORE 26133.471
AT ITER 1683 NEW BEST:: SOT 51963 SOS 29449 HAS SOPS 29449 HAS SOUS 26071 HAS SOUPS 26071 WITH SCORE 26100.449
AT ITER 1700 NEW BEST:: SOT 51963 SOS 29433 HAS SOPS 29433 HAS SOUS 26055 HAS SOUPS 26055 WITH SCORE 26084.433
AT ITER 1712 NEW BEST:: SOT 51963 SOS 29346 HAS SOPS 29346 HAS SOUS 26055 HAS SOUPS 26055 WITH SCORE 26084.346
AT ITER 1722 NEW BEST:: SOT 51963 SOS 29326 HAS SOPS 29326 HAS SOUS 26055 HAS SOUPS 26055 WITH SCORE 26084.326
AT ITER 1723 NEW BEST:: SOT 51963 SOS 29322 HAS SOPS 29322 HAS SOUS 26055 HAS SOUPS 26055 WITH SCORE 26084.322
AT ITER 1732 NEW BEST:: SOT 51961 SOS 29320 HAS SOPS 29320 HAS SOUS 26053 HAS SOUPS 26053 WITH SCORE 26082.32
AT ITER 1740 NEW BEST:: SOT 51978 SOS 29252 HAS SOPS 29252 HAS SOUS 26053 HAS SOUPS 26053 WITH SCORE 26082.252
AT ITER 1757 NEW BEST:: SOT 51975 SOS 29246 HAS SOPS 29246 HAS SOUS 26053 HAS SOUPS 26053 WITH SCORE 26082.246
AT ITER 1768 NEW BEST:: SOT 51985 SOS 29256 HAS SOPS 29256 HAS SOUS 26047 HAS SOUPS 26047 WITH SCORE 26076.256
AT ITER 1785 NEW BEST:: SOT 52053 SOS 29208 HAS SOPS 29208 HAS SOUS 25999 HAS SOUPS 25999 WITH SCORE 26028.208
AT ITER 1794 NEW BEST:: SOT 52053 SOS 29165 HAS SOPS 29165 HAS SOUS 25999 HAS SOUPS 25999 WITH SCORE 26028.165
AT ITER 1798 NEW BEST:: SOT 52003 SOS 29115 HAS SOPS 29115 HAS SOUS 25967 HAS SOUPS 25967 WITH SCORE 25996.115
AT ITER 1806 NEW BEST:: SOT 52003 SOS 29105 HAS SOPS 29105 HAS SOUS 25967 HAS SOUPS 25967 WITH SCORE 25996.105
AT ITER 1808 NEW BEST:: SOT 51999 SOS 29101 HAS SOPS 29101 HAS SOUS 25949 HAS SOUPS 25949 WITH SCORE 25978.101
AT ITER 1826 NEW BEST:: SOT 51977 SOS 29079 HAS SOPS 29079 HAS SOUS 25927 HAS SOUPS 25927 WITH SCORE 25956.079
AT ITER 1831 NEW BEST:: SOT 51953 SOS 29065 HAS SOPS 29065 HAS SOUS 25903 HAS SOUPS 25903 WITH SCORE 25932.065
AT ITER 1839 NEW BEST:: SOT 51953 SOS 29040 HAS SOPS 29040 HAS SOUS 25903 HAS SOUPS 25903 WITH SCORE 25932.04
AT ITER 1844 NEW BEST:: SOT 51969 SOS 29038 HAS SOPS 29038 HAS SOUS 25890 HAS SOUPS 25890 WITH SCORE 25919.038
AT ITER 1853 NEW BEST:: SOT 51969 SOS 29021 HAS SOPS 29021 HAS SOUS 25890 HAS SOUPS 25890 WITH SCORE 25919.021
AT ITER 1863 NEW BEST:: SOT 51969 SOS 29319 HAS SOPS 29319 HAS SOUS 25887 HAS SOUPS 25887 WITH SCORE 25916.319
AT ITER 1874 NEW BEST:: SOT 51994 SOS 29257 HAS SOPS 29257 HAS SOUS 25862 HAS SOUPS 25862 WITH SCORE 25891.257
AT ITER 1877 NEW BEST:: SOT 51994 SOS 29256 HAS SOPS 29256 HAS SOUS 25862 HAS SOUPS 25862 WITH SCORE 25891.256
AT ITER 1884 NEW BEST:: SOT 51972 SOS 29234 HAS SOPS 29234 HAS SOUS 25834 HAS SOUPS 25834 WITH SCORE 25863.234
AT ITER 1895 NEW BEST:: SOT 51968 SOS 29412 HAS SOPS 29412 HAS SOUS 25830 HAS SOUPS 25830 WITH SCORE 25859.412
AT ITER 1950 NEW BEST:: SOT 51968 SOS 29437 HAS SOPS 29437 HAS SOUS 25829 HAS SOUPS 25829 WITH SCORE 25858.437
AT ITER 1957 NEW BEST:: SOT 51958 SOS 29427 HAS SOPS 29427 HAS SOUS 25819 HAS SOUPS 25819 WITH SCORE 25848.427
AT ITER 1965 NEW BEST:: SOT 51958 SOS 29389 HAS SOPS 29389 HAS SOUS 25819 HAS SOUPS 25819 WITH SCORE 25848.389
AT ITER 1975 NEW BEST:: SOT 51973 SOS 29366 HAS SOPS 29366 HAS SOUS 25811 HAS SOUPS 25811 WITH SCORE 25840.366
AT ITER 1981 NEW BEST:: SOT 51965 SOS 29252 HAS SOPS 29252 HAS SOUS 25789 HAS SOUPS 25789 WITH SCORE 25818.252
AT ITER 1982 NEW BEST:: SOT 51965 SOS 29230 HAS SOPS 29230 HAS SOUS 25789 HAS SOUPS 25789 WITH SCORE 25818.23
AT ITER 1983 NEW BEST:: SOT 51968 SOS 29233 HAS SOPS 29233 HAS SOUS 25773 HAS SOUPS 25773 WITH SCORE 25802.233
AT ITER 1989 NEW BEST:: SOT 51958 SOS 29660 HAS SOPS 29660 HAS SOUS 25763 HAS SOUPS 25763 WITH SCORE 25792.66
AT ITER 2000 NEW BEST:: SOT 51958 SOS 29630 HAS SOPS 29630 HAS SOUS 25763 HAS SOUPS 25763 WITH SCORE 25792.63
AT ITER 2024 NEW BEST:: SOT 51958 SOS 29605 HAS SOPS 29605 HAS SOUS 25763 HAS SOUPS 25763 WITH SCORE 25792.605
AT ITER 2028 NEW BEST:: SOT 52029 SOS 29623 HAS SOPS 29623 HAS SOUS 25741 HAS SOUPS 25741 WITH SCORE 25770.623
AT ITER 2029 NEW BEST:: SOT 51896 SOS 29587 HAS SOPS 29587 HAS SOUS 25741 HAS SOUPS 25741 WITH SCORE 25770.587
AT ITER 2061 NEW BEST:: SOT 51883 SOS 29568 HAS SOPS 29568 HAS SOUS 25729 HAS SOUPS 25729 WITH SCORE 25758.568
AT ITER 2095 NEW BEST:: SOT 51883 SOS 29507 HAS SOPS 29507 HAS SOUS 25699 HAS SOUPS 25699 WITH SCORE 25728.507
AT ITER 2096 NEW BEST:: SOT 51893 SOS 29488 HAS SOPS 29488 HAS SOUS 25683 HAS SOUPS 25683 WITH SCORE 25712.488
AT ITER 2101 NEW BEST:: SOT 51866 SOS 29461 HAS SOPS 29461 HAS SOUS 25648 HAS SOUPS 25648 WITH SCORE 25677.461
AT ITER 2128 NEW BEST:: SOT 51866 SOS 29455 HAS SOPS 29455 HAS SOUS 25648 HAS SOUPS 25648 WITH SCORE 25677.455
AT ITER 2131 NEW BEST:: SOT 51767 SOS 29363 HAS SOPS 29363 HAS SOUS 25565 HAS SOUPS 25565 WITH SCORE 25594.363
AT ITER 2140 NEW BEST:: SOT 51732 SOS 29319 HAS SOPS 29319 HAS SOUS 25543 HAS SOUPS 25543 WITH SCORE 25572.319
AT ITER 2143 NEW BEST:: SOT 51711 SOS 29366 HAS SOPS 29366 HAS SOUS 25534 HAS SOUPS 25534 WITH SCORE 25563.366
AT ITER 2149 NEW BEST:: SOT 51711 SOS 29359 HAS SOPS 29359 HAS SOUS 25519 HAS SOUPS 25519 WITH SCORE 25548.359
AT ITER 2151 NEW BEST:: SOT 51698 SOS 29506 HAS SOPS 29506 HAS SOUS 25506 HAS SOUPS 25506 WITH SCORE 25535.506
AT ITER 2161 NEW BEST:: SOT 51698 SOS 29499 HAS SOPS 29499 HAS SOUS 25506 HAS SOUPS 25506 WITH SCORE 25535.499
AT ITER 2176 NEW BEST:: SOT 51689 SOS 29490 HAS SOPS 29490 HAS SOUS 25497 HAS SOUPS 25497 WITH SCORE 25526.49
AT ITER 2182 NEW BEST:: SOT 51689 SOS 29489 HAS SOPS 29489 HAS SOUS 25497 HAS SOUPS 25497 WITH SCORE 25526.489
AT ITER 2185 NEW BEST:: SOT 51681 SOS 29433 HAS SOPS 29433 HAS SOUS 25432 HAS SOUPS 25432 WITH SCORE 25461.433
AT ITER 2192 NEW BEST:: SOT 51600 SOS 29352 HAS SOPS 29352 HAS SOUS 25351 HAS SOUPS 25351 WITH SCORE 25380.352
AT ITER 2193 NEW BEST:: SOT 51571 SOS 29350 HAS SOPS 29350 HAS SOUS 25347 HAS SOUPS 25347 WITH SCORE 25376.35
AT ITER 2196 NEW BEST:: SOT 51564 SOS 29929 HAS SOPS 29929 HAS SOUS 25340 HAS SOUPS 25340 WITH SCORE 25369.929
AT ITER 2201 NEW BEST:: SOT 51564 SOS 29904 HAS SOPS 29904 HAS SOUS 25340 HAS SOUPS 25340 WITH SCORE 25369.904
AT ITER 2236 NEW BEST:: SOT 51564 SOS 30274 HAS SOPS 30274 HAS SOUS 25335 HAS SOUPS 25335 WITH SCORE 25365.274
AT ITER 2246 NEW BEST:: SOT 51564 SOS 30251 HAS SOPS 30251 HAS SOUS 25335 HAS SOUPS 25335 WITH SCORE 25365.251
AT ITER 2249 NEW BEST:: SOT 51543 SOS 30230 HAS SOPS 30230 HAS SOUS 25314 HAS SOUPS 25314 WITH SCORE 25344.23
AT ITER 2274 NEW BEST:: SOT 51468 SOS 30192 HAS SOPS 30192 HAS SOUS 25279 HAS SOUPS 25279 WITH SCORE 25309.192
AT ITER 2279 NEW BEST:: SOT 51468 SOS 30072 HAS SOPS 30072 HAS SOUS 25277 HAS SOUPS 25277 WITH SCORE 25307.072
AT ITER 2312 NEW BEST:: SOT 51468 SOS 30051 HAS SOPS 30051 HAS SOUS 25277 HAS SOUPS 25277 WITH SCORE 25307.051
AT ITER 2345 NEW BEST:: SOT 51472 SOS 30045 HAS SOPS 30045 HAS SOUS 25273 HAS SOUPS 25273 WITH SCORE 25303.045
AT ITER 2355 NEW BEST:: SOT 51471 SOS 30173 HAS SOPS 30173 HAS SOUS 25272 HAS SOUPS 25272 WITH SCORE 25302.173
AT ITER 2367 NEW BEST:: SOT 51391 SOS 30095 HAS SOPS 30095 HAS SOUS 25196 HAS SOUPS 25196 WITH SCORE 25226.095
AT ITER 2373 NEW BEST:: SOT 51391 SOS 30095 HAS SOPS 30095 HAS SOUS 25194 HAS SOUPS 25194 WITH SCORE 25224.095
AT ITER 2380 NEW BEST:: SOT 51391 SOS 30050 HAS SOPS 30050 HAS SOUS 25194 HAS SOUPS 25194 WITH SCORE 25224.05
AT ITER 2382 NEW BEST:: SOT 51391 SOS 30125 HAS SOPS 30125 HAS SOUS 25185 HAS SOUPS 25185 WITH SCORE 25215.125
AT ITER 2384 NEW BEST:: SOT 51371 SOS 30105 HAS SOPS 30105 HAS SOUS 25180 HAS SOUPS 25180 WITH SCORE 25210.105
AT ITER 2390 NEW BEST:: SOT 51216 SOS 29990 HAS SOPS 29990 HAS SOUS 25178 HAS SOUPS 25178 WITH SCORE 25207.99
AT ITER 2394 NEW BEST:: SOT 51213 SOS 29987 HAS SOPS 29987 HAS SOUS 25175 HAS SOUPS 25175 WITH SCORE 25204.987
AT ITER 2400 NEW BEST:: SOT 51213 SOS 29958 HAS SOPS 29958 HAS SOUS 25156 HAS SOUPS 25156 WITH SCORE 25185.958
AT ITER 2446 NEW BEST:: SOT 51194 SOS 30037 HAS SOPS 30037 HAS SOUS 25133 HAS SOUPS 25133 WITH SCORE 25163.037
AT ITER 2452 NEW BEST:: SOT 51194 SOS 30028 HAS SOPS 30028 HAS SOUS 25133 HAS SOUPS 25133 WITH SCORE 25163.028
AT ITER 2454 NEW BEST:: SOT 51194 SOS 30011 HAS SOPS 30011 HAS SOUS 25133 HAS SOUPS 25133 WITH SCORE 25163.011
AT ITER 2457 NEW BEST:: SOT 51194 SOS 29894 HAS SOPS 29894 HAS SOUS 25133 HAS SOUPS 25133 WITH SCORE 25162.894
AT ITER 2465 NEW BEST:: SOT 51189 SOS 29889 HAS SOPS 29889 HAS SOUS 25128 HAS SOUPS 25128 WITH SCORE 25157.889
AT ITER 2469 NEW BEST:: SOT 51189 SOS 29887 HAS SOPS 29887 HAS SOUS 25128 HAS SOUPS 25128 WITH SCORE 25157.887
AT ITER 2485 NEW BEST:: SOT 51189 SOS 29887 HAS SOPS 29887 HAS SOUS 25124 HAS SOUPS 25124 WITH SCORE 25153.887
AT ITER 2493 NEW BEST:: SOT 51189 SOS 29922 HAS SOPS 29922 HAS SOUS 25097 HAS SOUPS 25097 WITH SCORE 25126.922
AT ITER 2518 NEW BEST:: SOT 51189 SOS 29922 HAS SOPS 29922 HAS SOUS 25091 HAS SOUPS 25091 WITH SCORE 25120.922
AT ITER 2520 NEW BEST:: SOT 51189 SOS 29908 HAS SOPS 29908 HAS SOUS 25091 HAS SOUPS 25091 WITH SCORE 25120.908
AT ITER 2529 NEW BEST:: SOT 51187 SOS 29906 HAS SOPS 29906 HAS SOUS 25053 HAS SOUPS 25053 WITH SCORE 25082.906
AT ITER 2540 NEW BEST:: SOT 51187 SOS 29862 HAS SOPS 29862 HAS SOUS 25053 HAS SOUPS 25053 WITH SCORE 25082.862
AT ITER 2544 NEW BEST:: SOT 51187 SOS 29696 HAS SOPS 29696 HAS SOUS 25053 HAS SOUPS 25053 WITH SCORE 25082.696
AT ITER 2546 NEW BEST:: SOT 51187 SOS 29663 HAS SOPS 29663 HAS SOUS 25053 HAS SOUPS 25053 WITH SCORE 25082.663
AT ITER 2566 NEW BEST:: SOT 51187 SOS 29657 HAS SOPS 29657 HAS SOUS 25047 HAS SOUPS 25047 WITH SCORE 25076.657
AT ITER 2569 NEW BEST:: SOT 51187 SOS 29621 HAS SOPS 29621 HAS SOUS 25047 HAS SOUPS 25047 WITH SCORE 25076.621
AT ITER 2605 NEW BEST:: SOT 51187 SOS 29674 HAS SOPS 29674 HAS SOUS 25042 HAS SOUPS 25042 WITH SCORE 25071.674
AT ITER 2622 NEW BEST:: SOT 51179 SOS 29684 HAS SOPS 29684 HAS SOUS 25037 HAS SOUPS 25037 WITH SCORE 25066.684
AT ITER 2640 NEW BEST:: SOT 51182 SOS 29682 HAS SOPS 29682 HAS SOUS 25033 HAS SOUPS 25033 WITH SCORE 25062.682
AT ITER 2643 NEW BEST:: SOT 51182 SOS 29677 HAS SOPS 29677 HAS SOUS 25033 HAS SOUPS 25033 WITH SCORE 25062.677
AT ITER 2650 NEW BEST:: SOT 51187 SOS 29745 HAS SOPS 29745 HAS SOUS 25031 HAS SOUPS 25031 WITH SCORE 25060.745
AT ITER 2662 NEW BEST:: SOT 51217 SOS 29727 HAS SOPS 29727 HAS SOUS 25023 HAS SOUPS 25023 WITH SCORE 25052.727
AT ITER 2663 NEW BEST:: SOT 51235 SOS 29647 HAS SOPS 29647 HAS SOUS 25020 HAS SOUPS 25020 WITH SCORE 25049.647
AT ITER 2664 NEW BEST:: SOT 51233 SOS 29791 HAS SOPS 29791 HAS SOUS 25018 HAS SOUPS 25018 WITH SCORE 25047.791
AT ITER 2706 NEW BEST:: SOT 51233 SOS 29791 HAS SOPS 29791 HAS SOUS 25004 HAS SOUPS 25004 WITH SCORE 25033.791
AT ITER 2751 NEW BEST:: SOT 51233 SOS 29788 HAS SOPS 29788 HAS SOUS 25001 HAS SOUPS 25001 WITH SCORE 25030.788
AT ITER 2752 NEW BEST:: SOT 51228 SOS 29783 HAS SOPS 29783 HAS SOUS 24998 HAS SOUPS 24998 WITH SCORE 25027.783
AT ITER 2754 NEW BEST:: SOT 51228 SOS 29783 HAS SOPS 29783 HAS SOUS 24996 HAS SOUPS 24996 WITH SCORE 25025.783
AT ITER 2800 NEW BEST:: SOT 51173 SOS 29821 HAS SOPS 29821 HAS SOUS 24990 HAS SOUPS 24990 WITH SCORE 25019.821
AT ITER 2812 NEW BEST:: SOT 51173 SOS 29821 HAS SOPS 29821 HAS SOUS 24978 HAS SOUPS 24978 WITH SCORE 25007.821
AT ITER 2825 NEW BEST:: SOT 51173 SOS 29807 HAS SOPS 29807 HAS SOUS 24975 HAS SOUPS 24975 WITH SCORE 25004.807
AT ITER 2829 NEW BEST:: SOT 51101 SOS 29741 HAS SOPS 29741 HAS SOUS 24957 HAS SOUPS 24957 WITH SCORE 24986.741
AT ITER 2836 NEW BEST:: SOT 51095 SOS 29735 HAS SOPS 29735 HAS SOUS 24954 HAS SOUPS 24954 WITH SCORE 24983.735
AT ITER 2844 NEW BEST:: SOT 51094 SOS 29722 HAS SOPS 29722 HAS SOUS 24920 HAS SOUPS 24920 WITH SCORE 24949.722
AT ITER 2850 NEW BEST:: SOT 51094 SOS 29689 HAS SOPS 29689 HAS SOUS 24917 HAS SOUPS 24917 WITH SCORE 24946.689
AT ITER 2852 NEW BEST:: SOT 51094 SOS 29669 HAS SOPS 29669 HAS SOUS 24917 HAS SOUPS 24917 WITH SCORE 24946.669
AT ITER 2853 NEW BEST:: SOT 51092 SOS 29667 HAS SOPS 29667 HAS SOUS 24915 HAS SOUPS 24915 WITH SCORE 24944.667
AT ITER 2859 NEW BEST:: SOT 51090 SOS 29666 HAS SOPS 29666 HAS SOUS 24914 HAS SOUPS 24914 WITH SCORE 24943.666
AT ITER 2863 NEW BEST:: SOT 51090 SOS 29656 HAS SOPS 29656 HAS SOUS 24904 HAS SOUPS 24904 WITH SCORE 24933.656
AT ITER 2866 NEW BEST:: SOT 51090 SOS 29252 HAS SOPS 29252 HAS SOUS 24904 HAS SOUPS 24904 WITH SCORE 24933.252
AT ITER 2893 NEW BEST:: SOT 51090 SOS 29059 HAS SOPS 29059 HAS SOUS 24894 HAS SOUPS 24894 WITH SCORE 24923.059
AT ITER 2908 NEW BEST:: SOT 51090 SOS 29059 HAS SOPS 29059 HAS SOUS 24885 HAS SOUPS 24885 WITH SCORE 24914.059
AT ITER 2913 NEW BEST:: SOT 51090 SOS 29003 HAS SOPS 29003 HAS SOUS 24885 HAS SOUPS 24885 WITH SCORE 24914.003
AT ITER 2918 NEW BEST:: SOT 51084 SOS 28993 HAS SOPS 28993 HAS SOUS 24857 HAS SOUPS 24857 WITH SCORE 24885.993
AT ITER 2919 NEW BEST:: SOT 51082 SOS 28994 HAS SOPS 28994 HAS SOUS 24818 HAS SOUPS 24818 WITH SCORE 24846.994
AT ITER 2920 NEW BEST:: SOT 51067 SOS 28979 HAS SOPS 28979 HAS SOUS 24803 HAS SOUPS 24803 WITH SCORE 24831.979
AT ITER 2936 NEW BEST:: SOT 51067 SOS 28944 HAS SOPS 28944 HAS SOUS 24803 HAS SOUPS 24803 WITH SCORE 24831.944
AT ITER 2937 NEW BEST:: SOT 51067 SOS 28850 HAS SOPS 28850 HAS SOUS 24777 HAS SOUPS 24777 WITH SCORE 24805.85
AT ITER 2939 NEW BEST:: SOT 51067 SOS 28830 HAS SOPS 28830 HAS SOUS 24777 HAS SOUPS 24777 WITH SCORE 24805.83
AT ITER 2954 NEW BEST:: SOT 51067 SOS 28832 HAS SOPS 28832 HAS SOUS 24775 HAS SOUPS 24775 WITH SCORE 24803.832
AT ITER 2961 NEW BEST:: SOT 51067 SOS 28806 HAS SOPS 28806 HAS SOUS 24775 HAS SOUPS 24775 WITH SCORE 24803.806
AT ITER 2966 NEW BEST:: SOT 51067 SOS 28803 HAS SOPS 28803 HAS SOUS 24772 HAS SOUPS 24772 WITH SCORE 24800.803
AT ITER 2976 NEW BEST:: SOT 51065 SOS 28801 HAS SOPS 28801 HAS SOUS 24770 HAS SOUPS 24770 WITH SCORE 24798.801
AT ITER 2981 NEW BEST:: SOT 51065 SOS 28784 HAS SOPS 28784 HAS SOUS 24770 HAS SOUPS 24770 WITH SCORE 24798.784
AT ITER 3017 NEW BEST:: SOT 51060 SOS 28779 HAS SOPS 28779 HAS SOUS 24765 HAS SOUPS 24765 WITH SCORE 24793.779
AT ITER 3034 NEW BEST:: SOT 50931 SOS 28659 HAS SOPS 28659 HAS SOUS 24714 HAS SOUPS 24714 WITH SCORE 24742.659
AT ITER 3047 NEW BEST:: SOT 50909 SOS 28637 HAS SOPS 28637 HAS SOUS 24692 HAS SOUPS 24692 WITH SCORE 24720.637
AT ITER 3055 NEW BEST:: SOT 50911 SOS 28676 HAS SOPS 28676 HAS SOUS 24675 HAS SOUPS 24675 WITH SCORE 24703.676
AT ITER 3084 NEW BEST:: SOT 50911 SOS 28613 HAS SOPS 28613 HAS SOUS 24675 HAS SOUPS 24675 WITH SCORE 24703.613
AT ITER 3087 NEW BEST:: SOT 50929 SOS 28621 HAS SOPS 28621 HAS SOUS 24668 HAS SOUPS 24668 WITH SCORE 24696.621
AT ITER 3102 NEW BEST:: SOT 50929 SOS 28632 HAS SOPS 28632 HAS SOUS 24666 HAS SOUPS 24666 WITH SCORE 24694.632
AT ITER 3109 NEW BEST:: SOT 50759 SOS 28539 HAS SOPS 28539 HAS SOUS 24591 HAS SOUPS 24591 WITH SCORE 24619.539
AT ITER 3134 NEW BEST:: SOT 50755 SOS 28535 HAS SOPS 28535 HAS SOUS 24587 HAS SOUPS 24587 WITH SCORE 24615.535
AT ITER 3136 NEW BEST:: SOT 50751 SOS 28720 HAS SOPS 28720 HAS SOUS 24583 HAS SOUPS 24583 WITH SCORE 24611.72
AT ITER 3143 NEW BEST:: SOT 50751 SOS 28704 HAS SOPS 28704 HAS SOUS 24578 HAS SOUPS 24578 WITH SCORE 24606.704
AT ITER 3155 NEW BEST:: SOT 50720 SOS 28679 HAS SOPS 28679 HAS SOUS 24556 HAS SOUPS 24556 WITH SCORE 24584.679
AT ITER 3157 NEW BEST:: SOT 50720 SOS 28675 HAS SOPS 28675 HAS SOUS 24556 HAS SOUPS 24556 WITH SCORE 24584.675
AT ITER 3160 NEW BEST:: SOT 50705 SOS 28684 HAS SOPS 28684 HAS SOUS 24555 HAS SOUPS 24555 WITH SCORE 24583.684
AT ITER 3179 NEW BEST:: SOT 50705 SOS 28655 HAS SOPS 28655 HAS SOUS 24545 HAS SOUPS 24545 WITH SCORE 24573.655
AT ITER 3202 NEW BEST:: SOT 50703 SOS 28653 HAS SOPS 28653 HAS SOUS 24543 HAS SOUPS 24543 WITH SCORE 24571.653
AT ITER 3224 NEW BEST:: SOT 50703 SOS 28642 HAS SOPS 28642 HAS SOUS 24543 HAS SOUPS 24543 WITH SCORE 24571.642
AT ITER 3242 NEW BEST:: SOT 50703 SOS 28638 HAS SOPS 28638 HAS SOUS 24539 HAS SOUPS 24539 WITH SCORE 24567.638
AT ITER 3250 NEW BEST:: SOT 50703 SOS 28651 HAS SOPS 28651 HAS SOUS 24538 HAS SOUPS 24538 WITH SCORE 24566.651
AT ITER 3258 NEW BEST:: SOT 50703 SOS 28651 HAS SOPS 28651 HAS SOUS 24536 HAS SOUPS 24536 WITH SCORE 24564.651
AT ITER 3260 NEW BEST:: SOT 50703 SOS 28661 HAS SOPS 28661 HAS SOUS 24535 HAS SOUPS 24535 WITH SCORE 24563.661
AT ITER 3267 NEW BEST:: SOT 50703 SOS 28620 HAS SOPS 28620 HAS SOUS 24535 HAS SOUPS 24535 WITH SCORE 24563.62
AT ITER 3279 NEW BEST:: SOT 50702 SOS 28619 HAS SOPS 28619 HAS SOUS 24534 HAS SOUPS 24534 WITH SCORE 24562.619
AT ITER 3283 NEW BEST:: SOT 50702 SOS 28615 HAS SOPS 28615 HAS SOUS 24534 HAS SOUPS 24534 WITH SCORE 24562.615
AT ITER 3292 NEW BEST:: SOT 50674 SOS 28587 HAS SOPS 28587 HAS SOUS 24506 HAS SOUPS 24506 WITH SCORE 24534.587
AT ITER 3327 NEW BEST:: SOT 50662 SOS 28647 HAS SOPS 28647 HAS SOUS 24504 HAS SOUPS 24504 WITH SCORE 24532.647
AT ITER 3333 NEW BEST:: SOT 50650 SOS 28700 HAS SOPS 28700 HAS SOUS 24482 HAS SOUPS 24482 WITH SCORE 24510.7
AT ITER 3349 NEW BEST:: SOT 50650 SOS 28500 HAS SOPS 28500 HAS SOUS 24482 HAS SOUPS 24482 WITH SCORE 24510.5
AT ITER 3398 NEW BEST:: SOT 50622 SOS 28458 HAS SOPS 28458 HAS SOUS 24463 HAS SOUPS 24463 WITH SCORE 24491.458
AT ITER 3462 NEW BEST:: SOT 50592 SOS 28453 HAS SOPS 28453 HAS SOUS 24441 HAS SOUPS 24441 WITH SCORE 24469.453
AT ITER 3583 NEW BEST:: SOT 50492 SOS 28353 HAS SOPS 28353 HAS SOUS 24389 HAS SOUPS 24389 WITH SCORE 24417.353
AT ITER 3607 NEW BEST:: SOT 50492 SOS 28349 HAS SOPS 28349 HAS SOUS 24389 HAS SOUPS 24389 WITH SCORE 24417.349
AT ITER 3612 NEW BEST:: SOT 50476 SOS 28333 HAS SOPS 28333 HAS SOUS 24373 HAS SOUPS 24373 WITH SCORE 24401.333
AT ITER 3615 NEW BEST:: SOT 50480 SOS 28337 HAS SOPS 28337 HAS SOUS 24364 HAS SOUPS 24364 WITH SCORE 24392.337
AT ITER 3625 NEW BEST:: SOT 50478 SOS 28333 HAS SOPS 28333 HAS SOUS 24350 HAS SOUPS 24350 WITH SCORE 24378.333
AT ITER 3650 NEW BEST:: SOT 50478 SOS 28332 HAS SOPS 28332 HAS SOUS 24349 HAS SOUPS 24349 WITH SCORE 24377.332
AT ITER 3666 NEW BEST:: SOT 50478 SOS 28326 HAS SOPS 28326 HAS SOUS 24349 HAS SOUPS 24349 WITH SCORE 24377.326
AT ITER 3673 NEW BEST:: SOT 50476 SOS 28324 HAS SOPS 28324 HAS SOUS 24347 HAS SOUPS 24347 WITH SCORE 24375.324
AT ITER 3694 NEW BEST:: SOT 50476 SOS 28254 HAS SOPS 28254 HAS SOUS 24347 HAS SOUPS 24347 WITH SCORE 24375.254
AT ITER 3752 NEW BEST:: SOT 50476 SOS 28268 HAS SOPS 28268 HAS SOUS 24342 HAS SOUPS 24342 WITH SCORE 24370.268
AT ITER 3758 NEW BEST:: SOT 50337 SOS 28156 HAS SOPS 28156 HAS SOUS 24239 HAS SOUPS 24239 WITH SCORE 24267.156
AT ITER 3768 NEW BEST:: SOT 50330 SOS 28149 HAS SOPS 28149 HAS SOUS 24232 HAS SOUPS 24232 WITH SCORE 24260.149
AT ITER 3840 NEW BEST:: SOT 50292 SOS 28125 HAS SOPS 28125 HAS SOUS 24208 HAS SOUPS 24208 WITH SCORE 24236.125
AT ITER 3844 NEW BEST:: SOT 50292 SOS 28126 HAS SOPS 28126 HAS SOUS 24204 HAS SOUPS 24204 WITH SCORE 24232.126
AT ITER 3846 NEW BEST:: SOT 50292 SOS 28124 HAS SOPS 28124 HAS SOUS 24202 HAS SOUPS 24202 WITH SCORE 24230.124
AT ITER 3847 NEW BEST:: SOT 50292 SOS 28118 HAS SOPS 28118 HAS SOUS 24202 HAS SOUPS 24202 WITH SCORE 24230.118
AT ITER 3855 NEW BEST:: SOT 50324 SOS 28140 HAS SOPS 28140 HAS SOUS 24198 HAS SOUPS 24198 WITH SCORE 24226.14
AT ITER 3870 NEW BEST:: SOT 50225 SOS 28101 HAS SOPS 28101 HAS SOUS 24178 HAS SOUPS 24178 WITH SCORE 24206.101
AT ITER 3885 NEW BEST:: SOT 50110 SOS 27989 HAS SOPS 27989 HAS SOUS 24160 HAS SOUPS 24160 WITH SCORE 24187.989
AT ITER 3902 NEW BEST:: SOT 50110 SOS 28003 HAS SOPS 28003 HAS SOUS 24159 HAS SOUPS 24159 WITH SCORE 24187.003
AT ITER 3923 NEW BEST:: SOT 50110 SOS 27970 HAS SOPS 27970 HAS SOUS 24149 HAS SOUPS 24149 WITH SCORE 24176.97
AT ITER 3937 NEW BEST:: SOT 50110 SOS 27957 HAS SOPS 27957 HAS SOUS 24149 HAS SOUPS 24149 WITH SCORE 24176.957
AT ITER 3986 NEW BEST:: SOT 50097 SOS 27944 HAS SOPS 27944 HAS SOUS 24139 HAS SOUPS 24139 WITH SCORE 24166.944
AT ITER 4007 NEW BEST:: SOT 50097 SOS 27933 HAS SOPS 27933 HAS SOUS 24132 HAS SOUPS 24132 WITH SCORE 24159.933
AT ITER 4011 NEW BEST:: SOT 50069 SOS 27893 HAS SOPS 27893 HAS SOUS 24115 HAS SOUPS 24115 WITH SCORE 24142.893
AT ITER 4013 NEW BEST:: SOT 50068 SOS 27866 HAS SOPS 27866 HAS SOUS 24106 HAS SOUPS 24106 WITH SCORE 24133.866
AT ITER 4055 NEW BEST:: SOT 50081 SOS 27859 HAS SOPS 27859 HAS SOUS 24092 HAS SOUPS 24092 WITH SCORE 24119.859
AT ITER 4070 NEW BEST:: SOT 50081 SOS 27822 HAS SOPS 27822 HAS SOUS 24080 HAS SOUPS 24080 WITH SCORE 24107.822
AT ITER 4078 NEW BEST:: SOT 50079 SOS 27820 HAS SOPS 27820 HAS SOUS 24078 HAS SOUPS 24078 WITH SCORE 24105.82
AT ITER 4093 NEW BEST:: SOT 50079 SOS 27820 HAS SOPS 27820 HAS SOUS 24057 HAS SOUPS 24057 WITH SCORE 24084.82
AT ITER 4125 NEW BEST:: SOT 50037 SOS 27753 HAS SOPS 27753 HAS SOUS 24016 HAS SOUPS 24016 WITH SCORE 24043.753
AT ITER 4178 NEW BEST:: SOT 50037 SOS 27737 HAS SOPS 27737 HAS SOUS 24012 HAS SOUPS 24012 WITH SCORE 24039.737
AT ITER 4193 NEW BEST:: SOT 50031 SOS 27735 HAS SOPS 27735 HAS SOUS 24010 HAS SOUPS 24010 WITH SCORE 24037.735
AT ITER 4202 NEW BEST:: SOT 49983 SOS 27723 HAS SOPS 27723 HAS SOUS 23999 HAS SOUPS 23999 WITH SCORE 24026.723
AT ITER 4204 NEW BEST:: SOT 49983 SOS 27715 HAS SOPS 27715 HAS SOUS 23999 HAS SOUPS 23999 WITH SCORE 24026.715
AT ITER 4206 NEW BEST:: SOT 49983 SOS 27735 HAS SOPS 27735 HAS SOUS 23996 HAS SOUPS 23996 WITH SCORE 24023.735
AT ITER 4229 NEW BEST:: SOT 49982 SOS 27934 HAS SOPS 27934 HAS SOUS 23995 HAS SOUPS 23995 WITH SCORE 24022.934
AT ITER 4237 NEW BEST:: SOT 49982 SOS 27879 HAS SOPS 27879 HAS SOUS 23995 HAS SOUPS 23995 WITH SCORE 24022.879
AT ITER 4256 NEW BEST:: SOT 49982 SOS 27825 HAS SOPS 27825 HAS SOUS 23995 HAS SOUPS 23995 WITH SCORE 24022.825
AT ITER 4258 NEW BEST:: SOT 49982 SOS 27825 HAS SOPS 27825 HAS SOUS 23991 HAS SOUPS 23991 WITH SCORE 24018.825
AT ITER 4278 NEW BEST:: SOT 49981 SOS 27800 HAS SOPS 27800 HAS SOUS 23988 HAS SOUPS 23988 WITH SCORE 24015.8
AT ITER 4280 NEW BEST:: SOT 49980 SOS 27799 HAS SOPS 27799 HAS SOUS 23987 HAS SOUPS 23987 WITH SCORE 24014.799
AT ITER 4285 NEW BEST:: SOT 49982 SOS 27788 HAS SOPS 27788 HAS SOUS 23986 HAS SOUPS 23986 WITH SCORE 24013.788
AT ITER 4289 NEW BEST:: SOT 49982 SOS 27723 HAS SOPS 27723 HAS SOUS 23986 HAS SOUPS 23986 WITH SCORE 24013.723
AT ITER 4295 NEW BEST:: SOT 49980 SOS 27715 HAS SOPS 27715 HAS SOUS 23976 HAS SOUPS 23976 WITH SCORE 24003.715
AT ITER 4296 NEW BEST:: SOT 49966 SOS 27670 HAS SOPS 27670 HAS SOUS 23971 HAS SOUPS 23971 WITH SCORE 23998.67
AT ITER 4320 NEW BEST:: SOT 49966 SOS 27652 HAS SOPS 27652 HAS SOUS 23971 HAS SOUPS 23971 WITH SCORE 23998.652
AT ITER 4329 NEW BEST:: SOT 49966 SOS 27650 HAS SOPS 27650 HAS SOUS 23971 HAS SOUPS 23971 WITH SCORE 23998.65
AT ITER 4344 NEW BEST:: SOT 49943 SOS 27652 HAS SOPS 27652 HAS SOUS 23962 HAS SOUPS 23962 WITH SCORE 23989.652
AT ITER 4447 NEW BEST:: SOT 49943 SOS 27629 HAS SOPS 27629 HAS SOUS 23952 HAS SOUPS 23952 WITH SCORE 23979.629
AT ITER 4468 NEW BEST:: SOT 49943 SOS 27814 HAS SOPS 27814 HAS SOUS 23949 HAS SOUPS 23949 WITH SCORE 23976.814
AT ITER 4523 NEW BEST:: SOT 49949 SOS 27810 HAS SOPS 27810 HAS SOUS 23949 HAS SOUPS 23949 WITH SCORE 23976.81
AT ITER 4568 NEW BEST:: SOT 49949 SOS 27762 HAS SOPS 27762 HAS SOUS 23949 HAS SOUPS 23949 WITH SCORE 23976.762
AT ITER 4574 NEW BEST:: SOT 49939 SOS 27752 HAS SOPS 27752 HAS SOUS 23939 HAS SOUPS 23939 WITH SCORE 23966.752
AT ITER 4641 NEW BEST:: SOT 49939 SOS 27739 HAS SOPS 27739 HAS SOUS 23939 HAS SOUPS 23939 WITH SCORE 23966.739
AT ITER 4658 NEW BEST:: SOT 49918 SOS 27735 HAS SOPS 27735 HAS SOUS 23932 HAS SOUPS 23932 WITH SCORE 23959.735
AT ITER 4704 NEW BEST:: SOT 49913 SOS 27815 HAS SOPS 27815 HAS SOUS 23929 HAS SOUPS 23929 WITH SCORE 23956.815
AT ITER 4710 NEW BEST:: SOT 49913 SOS 27805 HAS SOPS 27805 HAS SOUS 23929 HAS SOUPS 23929 WITH SCORE 23956.805
AT ITER 4766 NEW BEST:: SOT 49756 SOS 27743 HAS SOPS 27743 HAS SOUS 23917 HAS SOUPS 23917 WITH SCORE 23944.743
AT ITER 4767 NEW BEST:: SOT 49758 SOS 27750 HAS SOPS 27750 HAS SOUS 23911 HAS SOUPS 23911 WITH SCORE 23938.75
AT ITER 4775 NEW BEST:: SOT 49758 SOS 27743 HAS SOPS 27743 HAS SOUS 23904 HAS SOUPS 23904 WITH SCORE 23931.743
AT ITER 4783 NEW BEST:: SOT 49758 SOS 27737 HAS SOPS 27737 HAS SOUS 23898 HAS SOUPS 23898 WITH SCORE 23925.737
AT ITER 4794 NEW BEST:: SOT 49758 SOS 27722 HAS SOPS 27722 HAS SOUS 23895 HAS SOUPS 23895 WITH SCORE 23922.722
AT ITER 4814 NEW BEST:: SOT 49758 SOS 27718 HAS SOPS 27718 HAS SOUS 23891 HAS SOUPS 23891 WITH SCORE 23918.718
AT ITER 4822 NEW BEST:: SOT 49758 SOS 27716 HAS SOPS 27716 HAS SOUS 23885 HAS SOUPS 23885 WITH SCORE 23912.716
AT ITER 4835 NEW BEST:: SOT 49751 SOS 27654 HAS SOPS 27654 HAS SOUS 23853 HAS SOUPS 23853 WITH SCORE 23880.654
AT ITER 4848 NEW BEST:: SOT 49740 SOS 27646 HAS SOPS 27646 HAS SOUS 23841 HAS SOUPS 23841 WITH SCORE 23868.646
AT ITER 4864 NEW BEST:: SOT 49740 SOS 27635 HAS SOPS 27635 HAS SOUS 23831 HAS SOUPS 23831 WITH SCORE 23858.635
AT ITER 4897 NEW BEST:: SOT 49740 SOS 27634 HAS SOPS 27634 HAS SOUS 23831 HAS SOUPS 23831 WITH SCORE 23858.634
AT ITER 4918 NEW BEST:: SOT 49721 SOS 27628 HAS SOPS 27628 HAS SOUS 23824 HAS SOUPS 23824 WITH SCORE 23851.628
AT ITER 4922 NEW BEST:: SOT 49721 SOS 27604 HAS SOPS 27604 HAS SOUS 23824 HAS SOUPS 23824 WITH SCORE 23851.604
AT ITER 4939 NEW BEST:: SOT 49721 SOS 27597 HAS SOPS 27597 HAS SOUS 23824 HAS SOUPS 23824 WITH SCORE 23851.597
AT ITER 4957 NEW BEST:: SOT 49721 SOS 27591 HAS SOPS 27591 HAS SOUS 23824 HAS SOUPS 23824 WITH SCORE 23851.591
AT ITER 4972 NEW BEST:: SOT 49714 SOS 27584 HAS SOPS 27584 HAS SOUS 23817 HAS SOUPS 23817 WITH SCORE 23844.584
AT ITER 4987 NEW BEST:: SOT 49700 SOS 27573 HAS SOPS 27573 HAS SOUS 23813 HAS SOUPS 23813 WITH SCORE 23840.573
AT ITER 4989 NEW BEST:: SOT 49703 SOS 27622 HAS SOPS 27622 HAS SOUS 23807 HAS SOUPS 23807 WITH SCORE 23834.622
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: NQueens-PT-15-CTLCardinality-00 ( ( ( ( (! potential( ( 3 ) <= (tk(P214)) )) | ( potential( ( 3 ) <= (tk(P224)) ) | potential( (tk(P55)) <= (tk(P193)) ) ) ) | (EX( potential( (tk(P133)) <= (tk(P139)) ))) ) & (! ( potential( (tk(P46)) <= (tk(P73)) ) | potential( ( 2 ) <= (tk(P10)) ) )) ) | ( ( (AF(potential( ( 1 ) <= (tk(P35)) ))) & ( potential( ( 1 ) <= (tk(P90)) ) | ( potential( ( 2 ) <= (tk(P299)) ) & potential( (tk(P15)) <= (tk(P294)) ) ) ) ) | (EG( potential( (tk(P51)) <= (tk(P183)) ))) ) )
PROPERTY: NQueens-PT-15-CTLCardinality-01 (EX( (AG( (! potential( ( 1 ) <= (tk(P129)) ))))))
PROPERTY: NQueens-PT-15-CTLCardinality-02 ( (EX( (EX( potential( (tk(P100)) <= (tk(P218)) ))))) & ( (EG( (! potential( ( 2 ) <= (tk(P161)) )))) | ( potential( ( 1 ) <= (tk(P160)) ) | (EG( potential( ( 2 ) <= (tk(P22)) ))) ) ) )
PROPERTY: NQueens-PT-15-CTLCardinality-03 (EG( (! ( (! potential( ( 1 ) <= (tk(P284)) )) & potential( (tk(P28)) <= (tk(P130)) ) ))))
PROPERTY: NQueens-PT-15-CTLCardinality-04 ( (! (AG( ( potential( ( 1 ) <= (tk(P129)) ) & potential( ( 2 ) <= (tk(P53)) ) )))) & (AF((AF(potential( ( 3 ) <= (tk(P175)) ))))) )
PROPERTY: NQueens-PT-15-CTLCardinality-05 (EF(( (AX( potential( (tk(P157)) <= (tk(P243)) ))) & (AX( potential( ( 2 ) <= (tk(P165)) ))) )))
PROPERTY: NQueens-PT-15-CTLCardinality-06 (! ( (EG( (! potential( (tk(P268)) <= (tk(P209)) )))) | ( potential( ( 3 ) <= (tk(P182)) ) & ( ( potential( (tk(P271)) <= (tk(P108)) ) & potential( (tk(P204)) <= (tk(P237)) ) ) & ( potential( (tk(P227)) <= (tk(P96)) ) & potential( (tk(P63)) <= (tk(P68)) ) ) ) ) ))
PROPERTY: NQueens-PT-15-CTLCardinality-07 ( (! (! (! (! potential( ( 1 ) <= (tk(P256)) ))))) & (! (EG( potential( (tk(P124)) <= (tk(P205)) )))) )
PROPERTY: NQueens-PT-15-CTLCardinality-08 (AX( ( (EG( potential( (tk(P28)) <= (tk(P38)) ))) | (AX( potential( ( 3 ) <= (tk(P81)) ))) )))
PROPERTY: NQueens-PT-15-CTLCardinality-09 (AF(( (AX( potential( ( 2 ) <= (tk(P289)) ))) & (EF(potential( (tk(P112)) <= (tk(P57)) ))) )))
PROPERTY: NQueens-PT-15-CTLCardinality-10 (AF((AG( ( potential( (tk(P13)) <= (tk(P81)) ) & potential( (tk(P302)) <= (tk(P101)) ) )))))
PROPERTY: NQueens-PT-15-CTLCardinality-11 ( ( ( (AF(potential( ( 1 ) <= (tk(P197)) ))) & potential( ( 3 ) <= (tk(P72)) ) ) | (EG( ( potential( ( 3 ) <= (tk(P241)) ) | potential( (tk(P66)) <= (tk(P313)) ) ))) ) & potential( (tk(P93)) <= (tk(P39)) ) )
PROPERTY: NQueens-PT-15-CTLCardinality-12 ( potential( (tk(P208)) <= (tk(P305)) ) & (EU( (! potential( ( 2 ) <= (tk(P106)) )),( potential( ( 1 ) <= (tk(P25)) ) & potential( ( 1 ) <= (tk(P171)) ) ) )) )
PROPERTY: NQueens-PT-15-CTLCardinality-13 (EX( (EG( ( potential( ( 1 ) <= (tk(P241)) ) | potential( ( 2 ) <= (tk(P1)) ) )))))
PROPERTY: NQueens-PT-15-CTLCardinality-14 (AX( ( ( (! potential( ( 3 ) <= (tk(P34)) )) & ( potential( ( 1 ) <= (tk(P218)) ) | potential( ( 3 ) <= (tk(P259)) ) ) ) | (AF(potential( ( 2 ) <= (tk(P218)) ))) )))
PROPERTY: NQueens-PT-15-CTLCardinality-15 ( ( (AU( potential( ( 2 ) <= (tk(P234)) ),potential( ( 1 ) <= (tk(P248)) ) )) & potential( ( 3 ) <= (tk(P242)) ) ) | (EF((! ( potential( (tk(P81)) <= (tk(P147)) ) | potential( (tk(P181)) <= (tk(P4)) ) )))) )

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

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