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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 516K
-rw-r--r-- 1 mcc users 3.4K Apr 8 13:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 8 13:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 7 16:39 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K 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.5K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 6 19:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 6 19:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 6 02:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K 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 335K 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-20-CTLCardinality-00
FORMULA_NAME NQueens-PT-20-CTLCardinality-01
FORMULA_NAME NQueens-PT-20-CTLCardinality-02
FORMULA_NAME NQueens-PT-20-CTLCardinality-03
FORMULA_NAME NQueens-PT-20-CTLCardinality-04
FORMULA_NAME NQueens-PT-20-CTLCardinality-05
FORMULA_NAME NQueens-PT-20-CTLCardinality-06
FORMULA_NAME NQueens-PT-20-CTLCardinality-07
FORMULA_NAME NQueens-PT-20-CTLCardinality-08
FORMULA_NAME NQueens-PT-20-CTLCardinality-09
FORMULA_NAME NQueens-PT-20-CTLCardinality-10
FORMULA_NAME NQueens-PT-20-CTLCardinality-11
FORMULA_NAME NQueens-PT-20-CTLCardinality-12
FORMULA_NAME NQueens-PT-20-CTLCardinality-13
FORMULA_NAME NQueens-PT-20-CTLCardinality-14
FORMULA_NAME NQueens-PT-20-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589637833379

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NQueens (PT), instance 20
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: 520 places, 400 transitions, 2000 arcs.
AT ITER 0 NEW BEST:: SOT 173234 SOS 109051 HAS SOPS 109051 HAS SOUS 92783 HAS SOUPS 92783 WITH SCORE 92892.051
AT ITER 13 NEW BEST:: SOT 173138 SOS 109460 HAS SOPS 109460 HAS SOUS 92715 HAS SOUPS 92715 WITH SCORE 92824.46
AT ITER 18 NEW BEST:: SOT 173138 SOS 109215 HAS SOPS 109215 HAS SOUS 92715 HAS SOUPS 92715 WITH SCORE 92824.215
AT ITER 23 NEW BEST:: SOT 173102 SOS 111740 HAS SOPS 111740 HAS SOUS 92707 HAS SOUPS 92707 WITH SCORE 92818.74
AT ITER 26 NEW BEST:: SOT 173102 SOS 111484 HAS SOPS 111484 HAS SOUS 92707 HAS SOUPS 92707 WITH SCORE 92818.484
AT ITER 34 NEW BEST:: SOT 173102 SOS 111391 HAS SOPS 111391 HAS SOUS 92707 HAS SOUPS 92707 WITH SCORE 92818.391
AT ITER 39 NEW BEST:: SOT 172989 SOS 111320 HAS SOPS 111320 HAS SOUS 92633 HAS SOUPS 92633 WITH SCORE 92744.32
AT ITER 41 NEW BEST:: SOT 172989 SOS 111308 HAS SOPS 111308 HAS SOUS 92621 HAS SOUPS 92621 WITH SCORE 92732.308
AT ITER 42 NEW BEST:: SOT 172989 SOS 111098 HAS SOPS 111098 HAS SOUS 92621 HAS SOUPS 92621 WITH SCORE 92732.098
AT ITER 43 NEW BEST:: SOT 172989 SOS 110935 HAS SOPS 110935 HAS SOUS 92598 HAS SOUPS 92598 WITH SCORE 92708.935
AT ITER 44 NEW BEST:: SOT 172843 SOS 111152 HAS SOPS 111152 HAS SOUS 92576 HAS SOUPS 92576 WITH SCORE 92687.152
AT ITER 50 NEW BEST:: SOT 172545 SOS 111300 HAS SOPS 111300 HAS SOUS 92425 HAS SOUPS 92425 WITH SCORE 92536.3
AT ITER 51 NEW BEST:: SOT 172545 SOS 111213 HAS SOPS 111213 HAS SOUS 92422 HAS SOUPS 92422 WITH SCORE 92533.213
AT ITER 58 NEW BEST:: SOT 172422 SOS 111084 HAS SOPS 111084 HAS SOUS 92299 HAS SOUPS 92299 WITH SCORE 92410.084
AT ITER 60 NEW BEST:: SOT 172249 SOS 111191 HAS SOPS 111191 HAS SOUS 92177 HAS SOUPS 92177 WITH SCORE 92288.191
AT ITER 66 NEW BEST:: SOT 172225 SOS 111529 HAS SOPS 111529 HAS SOUS 92175 HAS SOUPS 92175 WITH SCORE 92286.529
AT ITER 80 NEW BEST:: SOT 171962 SOS 111539 HAS SOPS 111539 HAS SOUS 91927 HAS SOUPS 91927 WITH SCORE 92038.539
AT ITER 81 NEW BEST:: SOT 171962 SOS 111519 HAS SOPS 111519 HAS SOUS 91927 HAS SOUPS 91927 WITH SCORE 92038.519
AT ITER 85 NEW BEST:: SOT 171962 SOS 110742 HAS SOPS 110742 HAS SOUS 91927 HAS SOUPS 91927 WITH SCORE 92037.742
AT ITER 89 NEW BEST:: SOT 171962 SOS 110613 HAS SOPS 110613 HAS SOUS 91927 HAS SOUPS 91927 WITH SCORE 92037.613
AT ITER 91 NEW BEST:: SOT 171962 SOS 109195 HAS SOPS 109195 HAS SOUS 91927 HAS SOUPS 91927 WITH SCORE 92036.195
AT ITER 94 NEW BEST:: SOT 171962 SOS 108463 HAS SOPS 108463 HAS SOUS 91927 HAS SOUPS 91927 WITH SCORE 92035.463
AT ITER 102 NEW BEST:: SOT 171962 SOS 108317 HAS SOPS 108317 HAS SOUS 91927 HAS SOUPS 91927 WITH SCORE 92035.317
AT ITER 103 NEW BEST:: SOT 171962 SOS 108211 HAS SOPS 108211 HAS SOUS 91927 HAS SOUPS 91927 WITH SCORE 92035.211
AT ITER 108 NEW BEST:: SOT 171743 SOS 109049 HAS SOPS 109049 HAS SOUS 91719 HAS SOUPS 91719 WITH SCORE 91828.049
AT ITER 112 NEW BEST:: SOT 171743 SOS 109038 HAS SOPS 109038 HAS SOUS 91719 HAS SOUPS 91719 WITH SCORE 91828.038
AT ITER 113 NEW BEST:: SOT 171743 SOS 108999 HAS SOPS 108999 HAS SOUS 91719 HAS SOUPS 91719 WITH SCORE 91827.999
AT ITER 114 NEW BEST:: SOT 171743 SOS 108583 HAS SOPS 108583 HAS SOUS 91719 HAS SOUPS 91719 WITH SCORE 91827.583
AT ITER 116 NEW BEST:: SOT 171560 SOS 109160 HAS SOPS 109160 HAS SOUS 91567 HAS SOUPS 91567 WITH SCORE 91676.16
AT ITER 127 NEW BEST:: SOT 171225 SOS 109423 HAS SOPS 109423 HAS SOUS 91561 HAS SOUPS 91561 WITH SCORE 91670.423
AT ITER 129 NEW BEST:: SOT 171225 SOS 109367 HAS SOPS 109367 HAS SOUS 91561 HAS SOUPS 91561 WITH SCORE 91670.367
AT ITER 132 NEW BEST:: SOT 171225 SOS 109236 HAS SOPS 109236 HAS SOUS 91561 HAS SOUPS 91561 WITH SCORE 91670.236
AT ITER 136 NEW BEST:: SOT 171073 SOS 109173 HAS SOPS 109173 HAS SOUS 91413 HAS SOUPS 91413 WITH SCORE 91522.173
AT ITER 138 NEW BEST:: SOT 170920 SOS 109171 HAS SOPS 109171 HAS SOUS 91248 HAS SOUPS 91248 WITH SCORE 91357.171
AT ITER 143 NEW BEST:: SOT 170920 SOS 108722 HAS SOPS 108722 HAS SOUS 91232 HAS SOUPS 91232 WITH SCORE 91340.722
AT ITER 145 NEW BEST:: SOT 170920 SOS 108687 HAS SOPS 108687 HAS SOUS 91232 HAS SOUPS 91232 WITH SCORE 91340.687
AT ITER 156 NEW BEST:: SOT 170753 SOS 109479 HAS SOPS 109479 HAS SOUS 91088 HAS SOUPS 91088 WITH SCORE 91197.479
AT ITER 159 NEW BEST:: SOT 170753 SOS 109396 HAS SOPS 109396 HAS SOUS 91088 HAS SOUPS 91088 WITH SCORE 91197.396
AT ITER 170 NEW BEST:: SOT 170753 SOS 109011 HAS SOPS 109011 HAS SOUS 90801 HAS SOUPS 90801 WITH SCORE 90910.011
AT ITER 173 NEW BEST:: SOT 170779 SOS 108911 HAS SOPS 108911 HAS SOUS 90785 HAS SOUPS 90785 WITH SCORE 90893.911
AT ITER 174 NEW BEST:: SOT 170573 SOS 108923 HAS SOPS 108923 HAS SOUS 90587 HAS SOUPS 90587 WITH SCORE 90695.923
AT ITER 181 NEW BEST:: SOT 170573 SOS 108721 HAS SOPS 108721 HAS SOUS 90587 HAS SOUPS 90587 WITH SCORE 90695.721
AT ITER 187 NEW BEST:: SOT 170573 SOS 108660 HAS SOPS 108660 HAS SOUS 90587 HAS SOUPS 90587 WITH SCORE 90695.66
AT ITER 188 NEW BEST:: SOT 170573 SOS 108633 HAS SOPS 108633 HAS SOUS 90587 HAS SOUPS 90587 WITH SCORE 90695.633
AT ITER 191 NEW BEST:: SOT 170404 SOS 109521 HAS SOPS 109521 HAS SOUS 90461 HAS SOUPS 90461 WITH SCORE 90570.521
AT ITER 199 NEW BEST:: SOT 170271 SOS 110056 HAS SOPS 110056 HAS SOUS 90399 HAS SOUPS 90399 WITH SCORE 90509.056
AT ITER 201 NEW BEST:: SOT 170271 SOS 110026 HAS SOPS 110026 HAS SOUS 90399 HAS SOUPS 90399 WITH SCORE 90509.026
AT ITER 210 NEW BEST:: SOT 170271 SOS 109956 HAS SOPS 109956 HAS SOUS 90399 HAS SOUPS 90399 WITH SCORE 90508.956
AT ITER 216 NEW BEST:: SOT 170271 SOS 109801 HAS SOPS 109801 HAS SOUS 90399 HAS SOUPS 90399 WITH SCORE 90508.801
AT ITER 217 NEW BEST:: SOT 170271 SOS 109735 HAS SOPS 109735 HAS SOUS 90399 HAS SOUPS 90399 WITH SCORE 90508.735
AT ITER 218 NEW BEST:: SOT 170271 SOS 109555 HAS SOPS 109555 HAS SOUS 90399 HAS SOUPS 90399 WITH SCORE 90508.555
AT ITER 231 NEW BEST:: SOT 170271 SOS 108508 HAS SOPS 108508 HAS SOUS 90356 HAS SOUPS 90356 WITH SCORE 90464.508
AT ITER 234 NEW BEST:: SOT 170271 SOS 108490 HAS SOPS 108490 HAS SOUS 90356 HAS SOUPS 90356 WITH SCORE 90464.49
AT ITER 239 NEW BEST:: SOT 170203 SOS 108507 HAS SOPS 108507 HAS SOUS 90314 HAS SOUPS 90314 WITH SCORE 90422.507
AT ITER 243 NEW BEST:: SOT 170203 SOS 108461 HAS SOPS 108461 HAS SOUS 90314 HAS SOUPS 90314 WITH SCORE 90422.461
AT ITER 246 NEW BEST:: SOT 170109 SOS 108499 HAS SOPS 108499 HAS SOUS 90269 HAS SOUPS 90269 WITH SCORE 90377.499
AT ITER 250 NEW BEST:: SOT 170065 SOS 108489 HAS SOPS 108489 HAS SOUS 90225 HAS SOUPS 90225 WITH SCORE 90333.489
AT ITER 260 NEW BEST:: SOT 170065 SOS 108429 HAS SOPS 108429 HAS SOUS 90214 HAS SOUPS 90214 WITH SCORE 90322.429
AT ITER 262 NEW BEST:: SOT 170065 SOS 108286 HAS SOPS 108286 HAS SOUS 90214 HAS SOUPS 90214 WITH SCORE 90322.286
AT ITER 266 NEW BEST:: SOT 170065 SOS 108217 HAS SOPS 108217 HAS SOUS 90214 HAS SOUPS 90214 WITH SCORE 90322.217
AT ITER 267 NEW BEST:: SOT 170065 SOS 108055 HAS SOPS 108055 HAS SOUS 90192 HAS SOUPS 90192 WITH SCORE 90300.055
AT ITER 273 NEW BEST:: SOT 170065 SOS 107965 HAS SOPS 107965 HAS SOUS 90192 HAS SOUPS 90192 WITH SCORE 90299.965
AT ITER 280 NEW BEST:: SOT 170065 SOS 107935 HAS SOPS 107935 HAS SOUS 90177 HAS SOUPS 90177 WITH SCORE 90284.935
AT ITER 289 NEW BEST:: SOT 170065 SOS 107923 HAS SOPS 107923 HAS SOUS 90177 HAS SOUPS 90177 WITH SCORE 90284.923
AT ITER 292 NEW BEST:: SOT 169866 SOS 107567 HAS SOPS 107567 HAS SOUS 90029 HAS SOUPS 90029 WITH SCORE 90136.567
AT ITER 298 NEW BEST:: SOT 169842 SOS 107666 HAS SOPS 107666 HAS SOUS 90024 HAS SOUPS 90024 WITH SCORE 90131.666
AT ITER 305 NEW BEST:: SOT 169709 SOS 107555 HAS SOPS 107555 HAS SOUS 90023 HAS SOUPS 90023 WITH SCORE 90130.555
AT ITER 308 NEW BEST:: SOT 169709 SOS 107437 HAS SOPS 107437 HAS SOUS 89995 HAS SOUPS 89995 WITH SCORE 90102.437
AT ITER 319 NEW BEST:: SOT 169625 SOS 107407 HAS SOPS 107407 HAS SOUS 89918 HAS SOUPS 89918 WITH SCORE 90025.407
AT ITER 322 NEW BEST:: SOT 169589 SOS 107303 HAS SOPS 107303 HAS SOUS 89893 HAS SOUPS 89893 WITH SCORE 90000.303
AT ITER 326 NEW BEST:: SOT 169589 SOS 107289 HAS SOPS 107289 HAS SOUS 89893 HAS SOUPS 89893 WITH SCORE 90000.289
AT ITER 332 NEW BEST:: SOT 169364 SOS 107393 HAS SOPS 107393 HAS SOUS 89718 HAS SOUPS 89718 WITH SCORE 89825.393
AT ITER 336 NEW BEST:: SOT 169364 SOS 107099 HAS SOPS 107099 HAS SOUS 89694 HAS SOUPS 89694 WITH SCORE 89801.099
AT ITER 345 NEW BEST:: SOT 169188 SOS 107939 HAS SOPS 107939 HAS SOUS 89565 HAS SOUPS 89565 WITH SCORE 89672.939
AT ITER 347 NEW BEST:: SOT 169188 SOS 107864 HAS SOPS 107864 HAS SOUS 89565 HAS SOUPS 89565 WITH SCORE 89672.864
AT ITER 349 NEW BEST:: SOT 169188 SOS 107714 HAS SOPS 107714 HAS SOUS 89548 HAS SOUPS 89548 WITH SCORE 89655.714
AT ITER 352 NEW BEST:: SOT 168821 SOS 107357 HAS SOPS 107357 HAS SOUS 89270 HAS SOUPS 89270 WITH SCORE 89377.357
AT ITER 353 NEW BEST:: SOT 168821 SOS 107297 HAS SOPS 107297 HAS SOUS 89270 HAS SOUPS 89270 WITH SCORE 89377.297
AT ITER 357 NEW BEST:: SOT 168821 SOS 107203 HAS SOPS 107203 HAS SOUS 89270 HAS SOUPS 89270 WITH SCORE 89377.203
AT ITER 359 NEW BEST:: SOT 168821 SOS 106992 HAS SOPS 106992 HAS SOUS 89270 HAS SOUPS 89270 WITH SCORE 89376.992
AT ITER 364 NEW BEST:: SOT 168821 SOS 106989 HAS SOPS 106989 HAS SOUS 89270 HAS SOUPS 89270 WITH SCORE 89376.989
AT ITER 365 NEW BEST:: SOT 168634 SOS 106754 HAS SOPS 106754 HAS SOUS 89079 HAS SOUPS 89079 WITH SCORE 89185.754
AT ITER 371 NEW BEST:: SOT 168539 SOS 106718 HAS SOPS 106718 HAS SOUS 88996 HAS SOUPS 88996 WITH SCORE 89102.718
AT ITER 374 NEW BEST:: SOT 168505 SOS 106694 HAS SOPS 106694 HAS SOUS 88949 HAS SOUPS 88949 WITH SCORE 89055.694
AT ITER 376 NEW BEST:: SOT 168505 SOS 106643 HAS SOPS 106643 HAS SOUS 88914 HAS SOUPS 88914 WITH SCORE 89020.643
AT ITER 378 NEW BEST:: SOT 168505 SOS 106574 HAS SOPS 106574 HAS SOUS 88914 HAS SOUPS 88914 WITH SCORE 89020.574
AT ITER 379 NEW BEST:: SOT 168505 SOS 106574 HAS SOPS 106574 HAS SOUS 88898 HAS SOUPS 88898 WITH SCORE 89004.574
AT ITER 384 NEW BEST:: SOT 168501 SOS 106570 HAS SOPS 106570 HAS SOUS 88892 HAS SOUPS 88892 WITH SCORE 88998.57
AT ITER 389 NEW BEST:: SOT 168501 SOS 106546 HAS SOPS 106546 HAS SOUS 88892 HAS SOUPS 88892 WITH SCORE 88998.546
AT ITER 390 NEW BEST:: SOT 168501 SOS 106528 HAS SOPS 106528 HAS SOUS 88892 HAS SOUPS 88892 WITH SCORE 88998.528
AT ITER 398 NEW BEST:: SOT 168501 SOS 106356 HAS SOPS 106356 HAS SOUS 88858 HAS SOUPS 88858 WITH SCORE 88964.356
AT ITER 399 NEW BEST:: SOT 168501 SOS 106209 HAS SOPS 106209 HAS SOUS 88848 HAS SOUPS 88848 WITH SCORE 88954.209
AT ITER 400 NEW BEST:: SOT 168501 SOS 105405 HAS SOPS 105405 HAS SOUS 88848 HAS SOUPS 88848 WITH SCORE 88953.405
AT ITER 401 NEW BEST:: SOT 168501 SOS 105399 HAS SOPS 105399 HAS SOUS 88848 HAS SOUPS 88848 WITH SCORE 88953.399
AT ITER 402 NEW BEST:: SOT 168501 SOS 105348 HAS SOPS 105348 HAS SOUS 88848 HAS SOUPS 88848 WITH SCORE 88953.348
AT ITER 405 NEW BEST:: SOT 168501 SOS 105146 HAS SOPS 105146 HAS SOUS 88807 HAS SOUPS 88807 WITH SCORE 88912.146
AT ITER 406 NEW BEST:: SOT 168501 SOS 105140 HAS SOPS 105140 HAS SOUS 88807 HAS SOUPS 88807 WITH SCORE 88912.14
AT ITER 417 NEW BEST:: SOT 168501 SOS 105129 HAS SOPS 105129 HAS SOUS 88807 HAS SOUPS 88807 WITH SCORE 88912.129
AT ITER 419 NEW BEST:: SOT 168458 SOS 105086 HAS SOPS 105086 HAS SOUS 88764 HAS SOUPS 88764 WITH SCORE 88869.086
AT ITER 425 NEW BEST:: SOT 168458 SOS 105057 HAS SOPS 105057 HAS SOUS 88735 HAS SOUPS 88735 WITH SCORE 88840.057
AT ITER 430 NEW BEST:: SOT 168491 SOS 104966 HAS SOPS 104966 HAS SOUS 88636 HAS SOUPS 88636 WITH SCORE 88740.966
AT ITER 432 NEW BEST:: SOT 168491 SOS 104345 HAS SOPS 104345 HAS SOUS 88636 HAS SOUPS 88636 WITH SCORE 88740.345
AT ITER 441 NEW BEST:: SOT 168488 SOS 104326 HAS SOPS 104326 HAS SOUS 88617 HAS SOUPS 88617 WITH SCORE 88721.326
AT ITER 451 NEW BEST:: SOT 168488 SOS 104285 HAS SOPS 104285 HAS SOUS 88617 HAS SOUPS 88617 WITH SCORE 88721.285
AT ITER 452 NEW BEST:: SOT 168501 SOS 104128 HAS SOPS 104128 HAS SOUS 88538 HAS SOUPS 88538 WITH SCORE 88642.128
AT ITER 456 NEW BEST:: SOT 168501 SOS 104043 HAS SOPS 104043 HAS SOUS 88538 HAS SOUPS 88538 WITH SCORE 88642.043
AT ITER 458 NEW BEST:: SOT 168502 SOS 103898 HAS SOPS 103898 HAS SOUS 88527 HAS SOUPS 88527 WITH SCORE 88630.898
AT ITER 461 NEW BEST:: SOT 168478 SOS 103836 HAS SOPS 103836 HAS SOUS 88414 HAS SOUPS 88414 WITH SCORE 88517.836
AT ITER 465 NEW BEST:: SOT 168478 SOS 103732 HAS SOPS 103732 HAS SOUS 88414 HAS SOUPS 88414 WITH SCORE 88517.732
AT ITER 466 NEW BEST:: SOT 168478 SOS 103707 HAS SOPS 103707 HAS SOUS 88414 HAS SOUPS 88414 WITH SCORE 88517.707
AT ITER 468 NEW BEST:: SOT 168478 SOS 103642 HAS SOPS 103642 HAS SOUS 88414 HAS SOUPS 88414 WITH SCORE 88517.642
AT ITER 473 NEW BEST:: SOT 168478 SOS 103538 HAS SOPS 103538 HAS SOUS 88414 HAS SOUPS 88414 WITH SCORE 88517.538
AT ITER 474 NEW BEST:: SOT 168286 SOS 103416 HAS SOPS 103416 HAS SOUS 88413 HAS SOUPS 88413 WITH SCORE 88516.416
AT ITER 479 NEW BEST:: SOT 168286 SOS 103397 HAS SOPS 103397 HAS SOUS 88413 HAS SOUPS 88413 WITH SCORE 88516.397
AT ITER 487 NEW BEST:: SOT 168286 SOS 103382 HAS SOPS 103382 HAS SOUS 88413 HAS SOUPS 88413 WITH SCORE 88516.382
AT ITER 490 NEW BEST:: SOT 168286 SOS 102926 HAS SOPS 102926 HAS SOUS 88413 HAS SOUPS 88413 WITH SCORE 88515.926
AT ITER 492 NEW BEST:: SOT 168286 SOS 102684 HAS SOPS 102684 HAS SOUS 88413 HAS SOUPS 88413 WITH SCORE 88515.684
AT ITER 517 NEW BEST:: SOT 168286 SOS 102630 HAS SOPS 102630 HAS SOUS 88377 HAS SOUPS 88377 WITH SCORE 88479.63
AT ITER 523 NEW BEST:: SOT 168286 SOS 102626 HAS SOPS 102626 HAS SOUS 88377 HAS SOUPS 88377 WITH SCORE 88479.626
AT ITER 526 NEW BEST:: SOT 168286 SOS 102569 HAS SOPS 102569 HAS SOUS 88350 HAS SOUPS 88350 WITH SCORE 88452.569
AT ITER 528 NEW BEST:: SOT 168286 SOS 102478 HAS SOPS 102478 HAS SOUS 88350 HAS SOUPS 88350 WITH SCORE 88452.478
AT ITER 529 NEW BEST:: SOT 168286 SOS 102393 HAS SOPS 102393 HAS SOUS 88345 HAS SOUPS 88345 WITH SCORE 88447.393
AT ITER 535 NEW BEST:: SOT 168001 SOS 102123 HAS SOPS 102123 HAS SOUS 88075 HAS SOUPS 88075 WITH SCORE 88177.123
AT ITER 538 NEW BEST:: SOT 167985 SOS 102053 HAS SOPS 102053 HAS SOUS 88002 HAS SOUPS 88002 WITH SCORE 88104.053
AT ITER 549 NEW BEST:: SOT 167985 SOS 102015 HAS SOPS 102015 HAS SOUS 88002 HAS SOUPS 88002 WITH SCORE 88104.015
AT ITER 555 NEW BEST:: SOT 167668 SOS 101837 HAS SOPS 101837 HAS SOUS 87821 HAS SOUPS 87821 WITH SCORE 87922.837
AT ITER 556 NEW BEST:: SOT 167668 SOS 101775 HAS SOPS 101775 HAS SOUS 87821 HAS SOUPS 87821 WITH SCORE 87922.775
AT ITER 557 NEW BEST:: SOT 167675 SOS 101535 HAS SOPS 101535 HAS SOUS 87806 HAS SOUPS 87806 WITH SCORE 87907.535
AT ITER 571 NEW BEST:: SOT 167675 SOS 100786 HAS SOPS 100786 HAS SOUS 87764 HAS SOUPS 87764 WITH SCORE 87864.786
AT ITER 590 NEW BEST:: SOT 167601 SOS 100753 HAS SOPS 100753 HAS SOUS 87734 HAS SOUPS 87734 WITH SCORE 87834.753
AT ITER 596 NEW BEST:: SOT 167601 SOS 100712 HAS SOPS 100712 HAS SOUS 87734 HAS SOUPS 87734 WITH SCORE 87834.712
AT ITER 600 NEW BEST:: SOT 167601 SOS 100680 HAS SOPS 100680 HAS SOUS 87734 HAS SOUPS 87734 WITH SCORE 87834.68
AT ITER 604 NEW BEST:: SOT 167601 SOS 100668 HAS SOPS 100668 HAS SOUS 87734 HAS SOUPS 87734 WITH SCORE 87834.668
AT ITER 605 NEW BEST:: SOT 167425 SOS 100600 HAS SOPS 100600 HAS SOUS 87653 HAS SOUPS 87653 WITH SCORE 87753.6
AT ITER 607 NEW BEST:: SOT 167425 SOS 100543 HAS SOPS 100543 HAS SOUS 87653 HAS SOUPS 87653 WITH SCORE 87753.543
AT ITER 608 NEW BEST:: SOT 167425 SOS 100196 HAS SOPS 100196 HAS SOUS 87653 HAS SOUPS 87653 WITH SCORE 87753.196
AT ITER 610 NEW BEST:: SOT 167425 SOS 100146 HAS SOPS 100146 HAS SOUS 87653 HAS SOUPS 87653 WITH SCORE 87753.146
AT ITER 613 NEW BEST:: SOT 167430 SOS 100151 HAS SOPS 100151 HAS SOUS 87631 HAS SOUPS 87631 WITH SCORE 87731.151
AT ITER 618 NEW BEST:: SOT 167430 SOS 100151 HAS SOPS 100151 HAS SOUS 87601 HAS SOUPS 87601 WITH SCORE 87701.151
AT ITER 620 NEW BEST:: SOT 167430 SOS 100110 HAS SOPS 100110 HAS SOUS 87560 HAS SOUPS 87560 WITH SCORE 87660.11
AT ITER 623 NEW BEST:: SOT 167424 SOS 100104 HAS SOPS 100104 HAS SOUS 87554 HAS SOUPS 87554 WITH SCORE 87654.104
AT ITER 624 NEW BEST:: SOT 167424 SOS 100101 HAS SOPS 100101 HAS SOUS 87554 HAS SOUPS 87554 WITH SCORE 87654.101
AT ITER 629 NEW BEST:: SOT 167424 SOS 98894 HAS SOPS 98894 HAS SOUS 87554 HAS SOUPS 87554 WITH SCORE 87652.894
AT ITER 634 NEW BEST:: SOT 167424 SOS 98945 HAS SOPS 98945 HAS SOUS 87533 HAS SOUPS 87533 WITH SCORE 87631.945
AT ITER 636 NEW BEST:: SOT 167424 SOS 98898 HAS SOPS 98898 HAS SOUS 87533 HAS SOUPS 87533 WITH SCORE 87631.898
AT ITER 645 NEW BEST:: SOT 167424 SOS 98838 HAS SOPS 98838 HAS SOUS 87533 HAS SOUPS 87533 WITH SCORE 87631.838
AT ITER 646 NEW BEST:: SOT 167396 SOS 98821 HAS SOPS 98821 HAS SOUS 87516 HAS SOUPS 87516 WITH SCORE 87614.821
AT ITER 648 NEW BEST:: SOT 167102 SOS 98706 HAS SOPS 98706 HAS SOUS 87366 HAS SOUPS 87366 WITH SCORE 87464.706
AT ITER 649 NEW BEST:: SOT 167216 SOS 98694 HAS SOPS 98694 HAS SOUS 87325 HAS SOUPS 87325 WITH SCORE 87423.694
AT ITER 652 NEW BEST:: SOT 167086 SOS 98651 HAS SOPS 98651 HAS SOUS 87276 HAS SOUPS 87276 WITH SCORE 87374.651
AT ITER 658 NEW BEST:: SOT 167086 SOS 98566 HAS SOPS 98566 HAS SOUS 87238 HAS SOUPS 87238 WITH SCORE 87336.566
AT ITER 664 NEW BEST:: SOT 167086 SOS 97339 HAS SOPS 97339 HAS SOUS 87238 HAS SOUPS 87238 WITH SCORE 87335.339
AT ITER 669 NEW BEST:: SOT 167086 SOS 97200 HAS SOPS 97200 HAS SOUS 87238 HAS SOUPS 87238 WITH SCORE 87335.2
AT ITER 681 NEW BEST:: SOT 167086 SOS 97241 HAS SOPS 97241 HAS SOUS 87189 HAS SOUPS 87189 WITH SCORE 87286.241
AT ITER 686 NEW BEST:: SOT 166956 SOS 97159 HAS SOPS 97159 HAS SOUS 87113 HAS SOUPS 87113 WITH SCORE 87210.159
AT ITER 697 NEW BEST:: SOT 166956 SOS 97155 HAS SOPS 97155 HAS SOUS 87113 HAS SOUPS 87113 WITH SCORE 87210.155
AT ITER 698 NEW BEST:: SOT 166956 SOS 97134 HAS SOPS 97134 HAS SOUS 87092 HAS SOUPS 87092 WITH SCORE 87189.134
AT ITER 703 NEW BEST:: SOT 166956 SOS 97066 HAS SOPS 97066 HAS SOUS 87092 HAS SOUPS 87092 WITH SCORE 87189.066
AT ITER 709 NEW BEST:: SOT 166790 SOS 97399 HAS SOPS 97399 HAS SOUS 87014 HAS SOUPS 87014 WITH SCORE 87111.399
AT ITER 710 NEW BEST:: SOT 166779 SOS 97388 HAS SOPS 97388 HAS SOUS 86981 HAS SOUPS 86981 WITH SCORE 87078.388
AT ITER 716 NEW BEST:: SOT 166779 SOS 97286 HAS SOPS 97286 HAS SOUS 86981 HAS SOUPS 86981 WITH SCORE 87078.286
AT ITER 733 NEW BEST:: SOT 166779 SOS 97155 HAS SOPS 97155 HAS SOUS 86910 HAS SOUPS 86910 WITH SCORE 87007.155
AT ITER 736 NEW BEST:: SOT 166779 SOS 97147 HAS SOPS 97147 HAS SOUS 86910 HAS SOUPS 86910 WITH SCORE 87007.147
AT ITER 739 NEW BEST:: SOT 166816 SOS 94851 HAS SOPS 94851 HAS SOUS 86887 HAS SOUPS 86887 WITH SCORE 86981.851
AT ITER 750 NEW BEST:: SOT 166816 SOS 94840 HAS SOPS 94840 HAS SOUS 86887 HAS SOUPS 86887 WITH SCORE 86981.84
AT ITER 753 NEW BEST:: SOT 166684 SOS 94654 HAS SOPS 94654 HAS SOUS 86755 HAS SOUPS 86755 WITH SCORE 86849.654
AT ITER 757 NEW BEST:: SOT 166684 SOS 94634 HAS SOPS 94634 HAS SOUS 86735 HAS SOUPS 86735 WITH SCORE 86829.634
AT ITER 759 NEW BEST:: SOT 166684 SOS 94606 HAS SOPS 94606 HAS SOUS 86735 HAS SOUPS 86735 WITH SCORE 86829.606
AT ITER 769 NEW BEST:: SOT 166669 SOS 94978 HAS SOPS 94978 HAS SOUS 86720 HAS SOUPS 86720 WITH SCORE 86814.978
AT ITER 774 NEW BEST:: SOT 166718 SOS 94979 HAS SOPS 94979 HAS SOUS 86679 HAS SOUPS 86679 WITH SCORE 86773.979
AT ITER 777 NEW BEST:: SOT 166792 SOS 94824 HAS SOPS 94824 HAS SOUS 86624 HAS SOUPS 86624 WITH SCORE 86718.824
AT ITER 779 NEW BEST:: SOT 166792 SOS 94703 HAS SOPS 94703 HAS SOUS 86624 HAS SOUPS 86624 WITH SCORE 86718.703
AT ITER 780 NEW BEST:: SOT 166838 SOS 94749 HAS SOPS 94749 HAS SOUS 86571 HAS SOUPS 86571 WITH SCORE 86665.749
AT ITER 784 NEW BEST:: SOT 166838 SOS 94710 HAS SOPS 94710 HAS SOUS 86571 HAS SOUPS 86571 WITH SCORE 86665.71
AT ITER 786 NEW BEST:: SOT 166838 SOS 94690 HAS SOPS 94690 HAS SOUS 86571 HAS SOUPS 86571 WITH SCORE 86665.69
AT ITER 787 NEW BEST:: SOT 166579 SOS 94592 HAS SOPS 94592 HAS SOUS 86433 HAS SOUPS 86433 WITH SCORE 86527.592
AT ITER 805 NEW BEST:: SOT 166585 SOS 94586 HAS SOPS 94586 HAS SOUS 86433 HAS SOUPS 86433 WITH SCORE 86527.586
AT ITER 813 NEW BEST:: SOT 166577 SOS 94648 HAS SOPS 94648 HAS SOUS 86427 HAS SOUPS 86427 WITH SCORE 86521.648
AT ITER 816 NEW BEST:: SOT 166577 SOS 94646 HAS SOPS 94646 HAS SOUS 86427 HAS SOUPS 86427 WITH SCORE 86521.646
AT ITER 823 NEW BEST:: SOT 166577 SOS 94593 HAS SOPS 94593 HAS SOUS 86383 HAS SOUPS 86383 WITH SCORE 86477.593
AT ITER 825 NEW BEST:: SOT 166325 SOS 94979 HAS SOPS 94979 HAS SOUS 86237 HAS SOUPS 86237 WITH SCORE 86331.979
AT ITER 840 NEW BEST:: SOT 166325 SOS 94905 HAS SOPS 94905 HAS SOUS 86237 HAS SOUPS 86237 WITH SCORE 86331.905
AT ITER 844 NEW BEST:: SOT 166325 SOS 94890 HAS SOPS 94890 HAS SOUS 86237 HAS SOUPS 86237 WITH SCORE 86331.89
AT ITER 857 NEW BEST:: SOT 166325 SOS 94960 HAS SOPS 94960 HAS SOUS 86235 HAS SOUPS 86235 WITH SCORE 86329.96
AT ITER 862 NEW BEST:: SOT 166416 SOS 94941 HAS SOPS 94941 HAS SOUS 86172 HAS SOUPS 86172 WITH SCORE 86266.941
AT ITER 866 NEW BEST:: SOT 166416 SOS 94937 HAS SOPS 94937 HAS SOUS 86172 HAS SOUPS 86172 WITH SCORE 86266.937
AT ITER 868 NEW BEST:: SOT 166416 SOS 94902 HAS SOPS 94902 HAS SOUS 86148 HAS SOUPS 86148 WITH SCORE 86242.902
AT ITER 869 NEW BEST:: SOT 166416 SOS 94811 HAS SOPS 94811 HAS SOUS 86036 HAS SOUPS 86036 WITH SCORE 86130.811
AT ITER 870 NEW BEST:: SOT 166416 SOS 94792 HAS SOPS 94792 HAS SOUS 86036 HAS SOUPS 86036 WITH SCORE 86130.792
AT ITER 871 NEW BEST:: SOT 166416 SOS 94740 HAS SOPS 94740 HAS SOUS 86019 HAS SOUPS 86019 WITH SCORE 86113.74
AT ITER 872 NEW BEST:: SOT 166416 SOS 94633 HAS SOPS 94633 HAS SOUS 86019 HAS SOUPS 86019 WITH SCORE 86113.633
AT ITER 875 NEW BEST:: SOT 166417 SOS 94629 HAS SOPS 94629 HAS SOUS 86017 HAS SOUPS 86017 WITH SCORE 86111.629
AT ITER 876 NEW BEST:: SOT 166417 SOS 94620 HAS SOPS 94620 HAS SOUS 86014 HAS SOUPS 86014 WITH SCORE 86108.62
AT ITER 880 NEW BEST:: SOT 166417 SOS 94530 HAS SOPS 94530 HAS SOUS 86014 HAS SOUPS 86014 WITH SCORE 86108.53
AT ITER 883 NEW BEST:: SOT 166417 SOS 94523 HAS SOPS 94523 HAS SOUS 86014 HAS SOUPS 86014 WITH SCORE 86108.523
AT ITER 884 NEW BEST:: SOT 166395 SOS 95254 HAS SOPS 95254 HAS SOUS 85987 HAS SOUPS 85987 WITH SCORE 86082.254
AT ITER 885 NEW BEST:: SOT 166395 SOS 95254 HAS SOPS 95254 HAS SOUS 85984 HAS SOUPS 85984 WITH SCORE 86079.254
AT ITER 887 NEW BEST:: SOT 166395 SOS 95321 HAS SOPS 95321 HAS SOUS 85905 HAS SOUPS 85905 WITH SCORE 86000.321
AT ITER 894 NEW BEST:: SOT 166395 SOS 95365 HAS SOPS 95365 HAS SOUS 85899 HAS SOUPS 85899 WITH SCORE 85994.365
AT ITER 895 NEW BEST:: SOT 166267 SOS 95207 HAS SOPS 95207 HAS SOUS 85744 HAS SOUPS 85744 WITH SCORE 85839.207
AT ITER 898 NEW BEST:: SOT 166267 SOS 95077 HAS SOPS 95077 HAS SOUS 85687 HAS SOUPS 85687 WITH SCORE 85782.077
AT ITER 904 NEW BEST:: SOT 166267 SOS 94229 HAS SOPS 94229 HAS SOUS 85687 HAS SOUPS 85687 WITH SCORE 85781.229
AT ITER 905 NEW BEST:: SOT 166267 SOS 94151 HAS SOPS 94151 HAS SOUS 85687 HAS SOUPS 85687 WITH SCORE 85781.151
AT ITER 906 NEW BEST:: SOT 166267 SOS 94066 HAS SOPS 94066 HAS SOUS 85687 HAS SOUPS 85687 WITH SCORE 85781.066
AT ITER 925 NEW BEST:: SOT 166267 SOS 93953 HAS SOPS 93953 HAS SOUS 85687 HAS SOUPS 85687 WITH SCORE 85780.953
AT ITER 930 NEW BEST:: SOT 166267 SOS 93953 HAS SOPS 93953 HAS SOUS 85667 HAS SOUPS 85667 WITH SCORE 85760.953
AT ITER 943 NEW BEST:: SOT 166267 SOS 93927 HAS SOPS 93927 HAS SOUS 85667 HAS SOUPS 85667 WITH SCORE 85760.927
AT ITER 957 NEW BEST:: SOT 166267 SOS 93817 HAS SOPS 93817 HAS SOUS 85642 HAS SOUPS 85642 WITH SCORE 85735.817
AT ITER 971 NEW BEST:: SOT 166267 SOS 93791 HAS SOPS 93791 HAS SOUS 85642 HAS SOUPS 85642 WITH SCORE 85735.791
AT ITER 972 NEW BEST:: SOT 166267 SOS 93766 HAS SOPS 93766 HAS SOUS 85642 HAS SOUPS 85642 WITH SCORE 85735.766
AT ITER 976 NEW BEST:: SOT 166077 SOS 93634 HAS SOPS 93634 HAS SOUS 85510 HAS SOUPS 85510 WITH SCORE 85603.634
AT ITER 988 NEW BEST:: SOT 166077 SOS 93632 HAS SOPS 93632 HAS SOUS 85510 HAS SOUPS 85510 WITH SCORE 85603.632
AT ITER 990 NEW BEST:: SOT 166094 SOS 93560 HAS SOPS 93560 HAS SOUS 85508 HAS SOUPS 85508 WITH SCORE 85601.56
AT ITER 1019 NEW BEST:: SOT 166082 SOS 93548 HAS SOPS 93548 HAS SOUS 85496 HAS SOUPS 85496 WITH SCORE 85589.548
AT ITER 1021 NEW BEST:: SOT 166082 SOS 93457 HAS SOPS 93457 HAS SOUS 85478 HAS SOUPS 85478 WITH SCORE 85571.457
AT ITER 1024 NEW BEST:: SOT 165660 SOS 93399 HAS SOPS 93399 HAS SOUS 85263 HAS SOUPS 85263 WITH SCORE 85356.399
AT ITER 1027 NEW BEST:: SOT 165636 SOS 93314 HAS SOPS 93314 HAS SOUS 85171 HAS SOUPS 85171 WITH SCORE 85264.314
AT ITER 1029 NEW BEST:: SOT 165304 SOS 94601 HAS SOPS 94601 HAS SOUS 85124 HAS SOUPS 85124 WITH SCORE 85218.601
AT ITER 1033 NEW BEST:: SOT 165304 SOS 94542 HAS SOPS 94542 HAS SOUS 85124 HAS SOUPS 85124 WITH SCORE 85218.542
AT ITER 1035 NEW BEST:: SOT 165051 SOS 95516 HAS SOPS 95516 HAS SOUS 85119 HAS SOUPS 85119 WITH SCORE 85214.516
AT ITER 1038 NEW BEST:: SOT 165051 SOS 95458 HAS SOPS 95458 HAS SOUS 85119 HAS SOUPS 85119 WITH SCORE 85214.458
AT ITER 1057 NEW BEST:: SOT 165051 SOS 95422 HAS SOPS 95422 HAS SOUS 85107 HAS SOUPS 85107 WITH SCORE 85202.422
AT ITER 1068 NEW BEST:: SOT 165051 SOS 95280 HAS SOPS 95280 HAS SOUS 85107 HAS SOUPS 85107 WITH SCORE 85202.28
AT ITER 1070 NEW BEST:: SOT 164912 SOS 95381 HAS SOPS 95381 HAS SOUS 85079 HAS SOUPS 85079 WITH SCORE 85174.381
AT ITER 1079 NEW BEST:: SOT 164912 SOS 95344 HAS SOPS 95344 HAS SOUS 85079 HAS SOUPS 85079 WITH SCORE 85174.344
AT ITER 1094 NEW BEST:: SOT 164912 SOS 95344 HAS SOPS 95344 HAS SOUS 85067 HAS SOUPS 85067 WITH SCORE 85162.344
AT ITER 1119 NEW BEST:: SOT 164780 SOS 95212 HAS SOPS 95212 HAS SOUS 84935 HAS SOUPS 84935 WITH SCORE 85030.212
AT ITER 1122 NEW BEST:: SOT 164787 SOS 95191 HAS SOPS 95191 HAS SOUS 84861 HAS SOUPS 84861 WITH SCORE 84956.191
AT ITER 1125 NEW BEST:: SOT 164787 SOS 95158 HAS SOPS 95158 HAS SOUS 84861 HAS SOUPS 84861 WITH SCORE 84956.158
AT ITER 1129 NEW BEST:: SOT 164787 SOS 94012 HAS SOPS 94012 HAS SOUS 84671 HAS SOUPS 84671 WITH SCORE 84765.012
AT ITER 1136 NEW BEST:: SOT 164780 SOS 94005 HAS SOPS 94005 HAS SOUS 84664 HAS SOUPS 84664 WITH SCORE 84758.005
AT ITER 1144 NEW BEST:: SOT 164902 SOS 93920 HAS SOPS 93920 HAS SOUS 84637 HAS SOUPS 84637 WITH SCORE 84730.92
AT ITER 1148 NEW BEST:: SOT 164902 SOS 93565 HAS SOPS 93565 HAS SOUS 84637 HAS SOUPS 84637 WITH SCORE 84730.565
AT ITER 1150 NEW BEST:: SOT 164881 SOS 93521 HAS SOPS 93521 HAS SOUS 84597 HAS SOUPS 84597 WITH SCORE 84690.521
AT ITER 1157 NEW BEST:: SOT 164881 SOS 93518 HAS SOPS 93518 HAS SOUS 84597 HAS SOUPS 84597 WITH SCORE 84690.518
AT ITER 1161 NEW BEST:: SOT 164881 SOS 93462 HAS SOPS 93462 HAS SOUS 84597 HAS SOUPS 84597 WITH SCORE 84690.462
AT ITER 1164 NEW BEST:: SOT 164881 SOS 93220 HAS SOPS 93220 HAS SOUS 84597 HAS SOUPS 84597 WITH SCORE 84690.22
AT ITER 1173 NEW BEST:: SOT 164878 SOS 93217 HAS SOPS 93217 HAS SOUS 84565 HAS SOUPS 84565 WITH SCORE 84658.217
AT ITER 1184 NEW BEST:: SOT 164878 SOS 92803 HAS SOPS 92803 HAS SOUS 84471 HAS SOUPS 84471 WITH SCORE 84563.803
AT ITER 1197 NEW BEST:: SOT 164878 SOS 92981 HAS SOPS 92981 HAS SOUS 84461 HAS SOUPS 84461 WITH SCORE 84553.981
AT ITER 1198 NEW BEST:: SOT 164856 SOS 93022 HAS SOPS 93022 HAS SOUS 84423 HAS SOUPS 84423 WITH SCORE 84516.022
AT ITER 1199 NEW BEST:: SOT 164856 SOS 92570 HAS SOPS 92570 HAS SOUS 84418 HAS SOUPS 84418 WITH SCORE 84510.57
AT ITER 1202 NEW BEST:: SOT 164856 SOS 92533 HAS SOPS 92533 HAS SOUS 84418 HAS SOUPS 84418 WITH SCORE 84510.533
AT ITER 1216 NEW BEST:: SOT 164133 SOS 94076 HAS SOPS 94076 HAS SOUS 84160 HAS SOUPS 84160 WITH SCORE 84254.076
AT ITER 1221 NEW BEST:: SOT 163882 SOS 93900 HAS SOPS 93900 HAS SOUS 84034 HAS SOUPS 84034 WITH SCORE 84127.9
AT ITER 1222 NEW BEST:: SOT 163882 SOS 93884 HAS SOPS 93884 HAS SOUS 84021 HAS SOUPS 84021 WITH SCORE 84114.884
AT ITER 1229 NEW BEST:: SOT 163897 SOS 93937 HAS SOPS 93937 HAS SOUS 83997 HAS SOUPS 83997 WITH SCORE 84090.937
AT ITER 1230 NEW BEST:: SOT 163897 SOS 93874 HAS SOPS 93874 HAS SOUS 83997 HAS SOUPS 83997 WITH SCORE 84090.874
AT ITER 1235 NEW BEST:: SOT 163899 SOS 93785 HAS SOPS 93785 HAS SOUS 83941 HAS SOUPS 83941 WITH SCORE 84034.785
AT ITER 1241 NEW BEST:: SOT 163893 SOS 93786 HAS SOPS 93786 HAS SOUS 83934 HAS SOUPS 83934 WITH SCORE 84027.786
AT ITER 1243 NEW BEST:: SOT 163888 SOS 93759 HAS SOPS 93759 HAS SOUS 83933 HAS SOUPS 83933 WITH SCORE 84026.759
AT ITER 1258 NEW BEST:: SOT 163872 SOS 93855 HAS SOPS 93855 HAS SOUS 83837 HAS SOUPS 83837 WITH SCORE 83930.855
AT ITER 1273 NEW BEST:: SOT 163872 SOS 93825 HAS SOPS 93825 HAS SOUS 83811 HAS SOUPS 83811 WITH SCORE 83904.825
AT ITER 1288 NEW BEST:: SOT 163685 SOS 93698 HAS SOPS 93698 HAS SOUS 83711 HAS SOUPS 83711 WITH SCORE 83804.698
AT ITER 1299 NEW BEST:: SOT 163685 SOS 93696 HAS SOPS 93696 HAS SOUS 83711 HAS SOUPS 83711 WITH SCORE 83804.696
AT ITER 1322 NEW BEST:: SOT 163436 SOS 93532 HAS SOPS 93532 HAS SOUS 83637 HAS SOUPS 83637 WITH SCORE 83730.532
AT ITER 1324 NEW BEST:: SOT 163145 SOS 93549 HAS SOPS 93549 HAS SOUS 83571 HAS SOUPS 83571 WITH SCORE 83664.549
AT ITER 1330 NEW BEST:: SOT 163145 SOS 93529 HAS SOPS 93529 HAS SOUS 83571 HAS SOUPS 83571 WITH SCORE 83664.529
AT ITER 1331 NEW BEST:: SOT 163046 SOS 93418 HAS SOPS 93418 HAS SOUS 83545 HAS SOUPS 83545 WITH SCORE 83638.418
AT ITER 1338 NEW BEST:: SOT 163046 SOS 93303 HAS SOPS 93303 HAS SOUS 83545 HAS SOUPS 83545 WITH SCORE 83638.303
AT ITER 1344 NEW BEST:: SOT 163046 SOS 92693 HAS SOPS 92693 HAS SOUS 83533 HAS SOUPS 83533 WITH SCORE 83625.693
AT ITER 1351 NEW BEST:: SOT 163046 SOS 92672 HAS SOPS 92672 HAS SOUS 83533 HAS SOUPS 83533 WITH SCORE 83625.672
AT ITER 1355 NEW BEST:: SOT 163046 SOS 92644 HAS SOPS 92644 HAS SOUS 83533 HAS SOUPS 83533 WITH SCORE 83625.644
AT ITER 1359 NEW BEST:: SOT 163070 SOS 92607 HAS SOPS 92607 HAS SOUS 83496 HAS SOUPS 83496 WITH SCORE 83588.607
AT ITER 1372 NEW BEST:: SOT 163070 SOS 92398 HAS SOPS 92398 HAS SOUS 83479 HAS SOUPS 83479 WITH SCORE 83571.398
AT ITER 1376 NEW BEST:: SOT 163116 SOS 92369 HAS SOPS 92369 HAS SOUS 83430 HAS SOUPS 83430 WITH SCORE 83522.369
AT ITER 1378 NEW BEST:: SOT 163116 SOS 92310 HAS SOPS 92310 HAS SOUS 83370 HAS SOUPS 83370 WITH SCORE 83462.31
AT ITER 1401 NEW BEST:: SOT 163116 SOS 92260 HAS SOPS 92260 HAS SOUS 83353 HAS SOUPS 83353 WITH SCORE 83445.26
AT ITER 1402 NEW BEST:: SOT 163074 SOS 92218 HAS SOPS 92218 HAS SOUS 83311 HAS SOUPS 83311 WITH SCORE 83403.218
AT ITER 1407 NEW BEST:: SOT 163071 SOS 92215 HAS SOPS 92215 HAS SOUS 83311 HAS SOUPS 83311 WITH SCORE 83403.215
AT ITER 1409 NEW BEST:: SOT 162722 SOS 91888 HAS SOPS 91888 HAS SOUS 83186 HAS SOUPS 83186 WITH SCORE 83277.888
AT ITER 1410 NEW BEST:: SOT 162712 SOS 91951 HAS SOPS 91951 HAS SOUS 83103 HAS SOUPS 83103 WITH SCORE 83194.951
AT ITER 1419 NEW BEST:: SOT 162712 SOS 91855 HAS SOPS 91855 HAS SOUS 83103 HAS SOUPS 83103 WITH SCORE 83194.855
AT ITER 1420 NEW BEST:: SOT 162712 SOS 91853 HAS SOPS 91853 HAS SOUS 83103 HAS SOUPS 83103 WITH SCORE 83194.853
AT ITER 1422 NEW BEST:: SOT 162712 SOS 91837 HAS SOPS 91837 HAS SOUS 83103 HAS SOUPS 83103 WITH SCORE 83194.837
AT ITER 1426 NEW BEST:: SOT 162454 SOS 91763 HAS SOPS 91763 HAS SOUS 82957 HAS SOUPS 82957 WITH SCORE 83048.763
AT ITER 1427 NEW BEST:: SOT 162454 SOS 91739 HAS SOPS 91739 HAS SOUS 82933 HAS SOUPS 82933 WITH SCORE 83024.739
AT ITER 1429 NEW BEST:: SOT 162441 SOS 91726 HAS SOPS 91726 HAS SOUS 82870 HAS SOUPS 82870 WITH SCORE 82961.726
AT ITER 1431 NEW BEST:: SOT 162441 SOS 91954 HAS SOPS 91954 HAS SOUS 82849 HAS SOUPS 82849 WITH SCORE 82940.954
AT ITER 1436 NEW BEST:: SOT 162399 SOS 91868 HAS SOPS 91868 HAS SOUS 82749 HAS SOUPS 82749 WITH SCORE 82840.868
AT ITER 1455 NEW BEST:: SOT 162399 SOS 91867 HAS SOPS 91867 HAS SOUS 82749 HAS SOUPS 82749 WITH SCORE 82840.867
AT ITER 1458 NEW BEST:: SOT 162399 SOS 91728 HAS SOPS 91728 HAS SOUS 82727 HAS SOUPS 82727 WITH SCORE 82818.728
AT ITER 1461 NEW BEST:: SOT 162399 SOS 91710 HAS SOPS 91710 HAS SOUS 82727 HAS SOUPS 82727 WITH SCORE 82818.71
AT ITER 1462 NEW BEST:: SOT 162399 SOS 91682 HAS SOPS 91682 HAS SOUS 82727 HAS SOUPS 82727 WITH SCORE 82818.682
AT ITER 1465 NEW BEST:: SOT 162399 SOS 91673 HAS SOPS 91673 HAS SOUS 82727 HAS SOUPS 82727 WITH SCORE 82818.673
AT ITER 1469 NEW BEST:: SOT 162381 SOS 91655 HAS SOPS 91655 HAS SOUS 82709 HAS SOUPS 82709 WITH SCORE 82800.655
AT ITER 1473 NEW BEST:: SOT 162381 SOS 91722 HAS SOPS 91722 HAS SOUS 82692 HAS SOUPS 82692 WITH SCORE 82783.722
AT ITER 1477 NEW BEST:: SOT 162360 SOS 91701 HAS SOPS 91701 HAS SOUS 82671 HAS SOUPS 82671 WITH SCORE 82762.701
AT ITER 1483 NEW BEST:: SOT 162360 SOS 91652 HAS SOPS 91652 HAS SOUS 82671 HAS SOUPS 82671 WITH SCORE 82762.652
AT ITER 1486 NEW BEST:: SOT 162248 SOS 91525 HAS SOPS 91525 HAS SOUS 82641 HAS SOUPS 82641 WITH SCORE 82732.525
AT ITER 1490 NEW BEST:: SOT 162369 SOS 91372 HAS SOPS 91372 HAS SOUS 82398 HAS SOUPS 82398 WITH SCORE 82489.372
AT ITER 1496 NEW BEST:: SOT 162357 SOS 91569 HAS SOPS 91569 HAS SOUS 82393 HAS SOUPS 82393 WITH SCORE 82484.569
AT ITER 1500 NEW BEST:: SOT 162357 SOS 91524 HAS SOPS 91524 HAS SOUS 82382 HAS SOUPS 82382 WITH SCORE 82473.524
AT ITER 1501 NEW BEST:: SOT 162357 SOS 91513 HAS SOPS 91513 HAS SOUS 82382 HAS SOUPS 82382 WITH SCORE 82473.513
AT ITER 1504 NEW BEST:: SOT 161966 SOS 92571 HAS SOPS 92571 HAS SOUS 82366 HAS SOUPS 82366 WITH SCORE 82458.571
AT ITER 1508 NEW BEST:: SOT 161966 SOS 92509 HAS SOPS 92509 HAS SOUS 82366 HAS SOUPS 82366 WITH SCORE 82458.509
AT ITER 1509 NEW BEST:: SOT 161780 SOS 92775 HAS SOPS 92775 HAS SOUS 82286 HAS SOUPS 82286 WITH SCORE 82378.775
AT ITER 1514 NEW BEST:: SOT 161780 SOS 92723 HAS SOPS 92723 HAS SOUS 82272 HAS SOUPS 82272 WITH SCORE 82364.723
AT ITER 1525 NEW BEST:: SOT 161782 SOS 92725 HAS SOPS 92725 HAS SOUS 82222 HAS SOUPS 82222 WITH SCORE 82314.725
AT ITER 1526 NEW BEST:: SOT 161782 SOS 92690 HAS SOPS 92690 HAS SOUS 82207 HAS SOUPS 82207 WITH SCORE 82299.69
AT ITER 1542 NEW BEST:: SOT 161782 SOS 92638 HAS SOPS 92638 HAS SOUS 82155 HAS SOUPS 82155 WITH SCORE 82247.638
AT ITER 1545 NEW BEST:: SOT 161770 SOS 92653 HAS SOPS 92653 HAS SOUS 82149 HAS SOUPS 82149 WITH SCORE 82241.653
AT ITER 1546 NEW BEST:: SOT 161776 SOS 92642 HAS SOPS 92642 HAS SOUS 82138 HAS SOUPS 82138 WITH SCORE 82230.642
AT ITER 1558 NEW BEST:: SOT 161776 SOS 92552 HAS SOPS 92552 HAS SOUS 82138 HAS SOUPS 82138 WITH SCORE 82230.552
AT ITER 1564 NEW BEST:: SOT 161742 SOS 92518 HAS SOPS 92518 HAS SOUS 82095 HAS SOUPS 82095 WITH SCORE 82187.518
AT ITER 1566 NEW BEST:: SOT 161742 SOS 92442 HAS SOPS 92442 HAS SOUS 82092 HAS SOUPS 82092 WITH SCORE 82184.442
AT ITER 1567 NEW BEST:: SOT 161742 SOS 92137 HAS SOPS 92137 HAS SOUS 82092 HAS SOUPS 82092 WITH SCORE 82184.137
AT ITER 1569 NEW BEST:: SOT 161731 SOS 92115 HAS SOPS 92115 HAS SOUS 81994 HAS SOUPS 81994 WITH SCORE 82086.115
AT ITER 1578 NEW BEST:: SOT 161786 SOS 92033 HAS SOPS 92033 HAS SOUS 81925 HAS SOUPS 81925 WITH SCORE 82017.033
AT ITER 1589 NEW BEST:: SOT 161776 SOS 91974 HAS SOPS 91974 HAS SOUS 81887 HAS SOUPS 81887 WITH SCORE 81978.974
AT ITER 1591 NEW BEST:: SOT 161776 SOS 91374 HAS SOPS 91374 HAS SOUS 81887 HAS SOUPS 81887 WITH SCORE 81978.374
AT ITER 1595 NEW BEST:: SOT 161776 SOS 91270 HAS SOPS 91270 HAS SOUS 81887 HAS SOUPS 81887 WITH SCORE 81978.27
AT ITER 1603 NEW BEST:: SOT 161776 SOS 90636 HAS SOPS 90636 HAS SOUS 81819 HAS SOUPS 81819 WITH SCORE 81909.636
AT ITER 1604 NEW BEST:: SOT 161783 SOS 90546 HAS SOPS 90546 HAS SOUS 81785 HAS SOUPS 81785 WITH SCORE 81875.546
AT ITER 1617 NEW BEST:: SOT 161791 SOS 89957 HAS SOPS 89957 HAS SOUS 81712 HAS SOUPS 81712 WITH SCORE 81801.957
AT ITER 1631 NEW BEST:: SOT 161763 SOS 89929 HAS SOPS 89929 HAS SOUS 81684 HAS SOUPS 81684 WITH SCORE 81773.929
AT ITER 1632 NEW BEST:: SOT 161723 SOS 89889 HAS SOPS 89889 HAS SOUS 81644 HAS SOUPS 81644 WITH SCORE 81733.889
AT ITER 1634 NEW BEST:: SOT 161723 SOS 89827 HAS SOPS 89827 HAS SOUS 81644 HAS SOUPS 81644 WITH SCORE 81733.827
AT ITER 1641 NEW BEST:: SOT 161679 SOS 89783 HAS SOPS 89783 HAS SOUS 81600 HAS SOUPS 81600 WITH SCORE 81689.783
AT ITER 1642 NEW BEST:: SOT 161679 SOS 89247 HAS SOPS 89247 HAS SOUS 81541 HAS SOUPS 81541 WITH SCORE 81630.247
AT ITER 1649 NEW BEST:: SOT 161675 SOS 89254 HAS SOPS 89254 HAS SOUS 81539 HAS SOUPS 81539 WITH SCORE 81628.254
AT ITER 1657 NEW BEST:: SOT 161532 SOS 89167 HAS SOPS 89167 HAS SOUS 81490 HAS SOUPS 81490 WITH SCORE 81579.167
AT ITER 1662 NEW BEST:: SOT 161507 SOS 89195 HAS SOPS 89195 HAS SOUS 81454 HAS SOUPS 81454 WITH SCORE 81543.195
AT ITER 1665 NEW BEST:: SOT 161507 SOS 89138 HAS SOPS 89138 HAS SOUS 81435 HAS SOUPS 81435 WITH SCORE 81524.138
AT ITER 1675 NEW BEST:: SOT 161507 SOS 88557 HAS SOPS 88557 HAS SOUS 81388 HAS SOUPS 81388 WITH SCORE 81476.557
AT ITER 1681 NEW BEST:: SOT 161482 SOS 88585 HAS SOPS 88585 HAS SOUS 81366 HAS SOUPS 81366 WITH SCORE 81454.585
AT ITER 1683 NEW BEST:: SOT 161499 SOS 88596 HAS SOPS 88596 HAS SOUS 81357 HAS SOUPS 81357 WITH SCORE 81445.596
AT ITER 1684 NEW BEST:: SOT 161512 SOS 88552 HAS SOPS 88552 HAS SOUS 81347 HAS SOUPS 81347 WITH SCORE 81435.552
AT ITER 1690 NEW BEST:: SOT 161512 SOS 88529 HAS SOPS 88529 HAS SOUS 81347 HAS SOUPS 81347 WITH SCORE 81435.529
AT ITER 1696 NEW BEST:: SOT 161529 SOS 88610 HAS SOPS 88610 HAS SOUS 81312 HAS SOUPS 81312 WITH SCORE 81400.61
AT ITER 1702 NEW BEST:: SOT 161575 SOS 88656 HAS SOPS 88656 HAS SOUS 81270 HAS SOUPS 81270 WITH SCORE 81358.656
AT ITER 1719 NEW BEST:: SOT 161518 SOS 88620 HAS SOPS 88620 HAS SOUS 81254 HAS SOUPS 81254 WITH SCORE 81342.62
AT ITER 1722 NEW BEST:: SOT 161494 SOS 88596 HAS SOPS 88596 HAS SOUS 81230 HAS SOUPS 81230 WITH SCORE 81318.596
AT ITER 1723 NEW BEST:: SOT 161494 SOS 88566 HAS SOPS 88566 HAS SOUS 81226 HAS SOUPS 81226 WITH SCORE 81314.566
AT ITER 1729 NEW BEST:: SOT 161494 SOS 88548 HAS SOPS 88548 HAS SOUS 81226 HAS SOUPS 81226 WITH SCORE 81314.548
AT ITER 1747 NEW BEST:: SOT 161477 SOS 88516 HAS SOPS 88516 HAS SOUS 81185 HAS SOUPS 81185 WITH SCORE 81273.516
AT ITER 1753 NEW BEST:: SOT 161511 SOS 88294 HAS SOPS 88294 HAS SOUS 81149 HAS SOUPS 81149 WITH SCORE 81237.294
AT ITER 1758 NEW BEST:: SOT 161527 SOS 88367 HAS SOPS 88367 HAS SOUS 81121 HAS SOUPS 81121 WITH SCORE 81209.367
AT ITER 1764 NEW BEST:: SOT 161527 SOS 88364 HAS SOPS 88364 HAS SOUS 81121 HAS SOUPS 81121 WITH SCORE 81209.364
AT ITER 1765 NEW BEST:: SOT 161527 SOS 88119 HAS SOPS 88119 HAS SOUS 81103 HAS SOUPS 81103 WITH SCORE 81191.119
AT ITER 1768 NEW BEST:: SOT 161520 SOS 88112 HAS SOPS 88112 HAS SOUS 81057 HAS SOUPS 81057 WITH SCORE 81145.112
AT ITER 1781 NEW BEST:: SOT 161247 SOS 89468 HAS SOPS 89468 HAS SOUS 80860 HAS SOUPS 80860 WITH SCORE 80949.468
AT ITER 1783 NEW BEST:: SOT 161228 SOS 89449 HAS SOPS 89449 HAS SOUS 80841 HAS SOUPS 80841 WITH SCORE 80930.449
AT ITER 1786 NEW BEST:: SOT 161221 SOS 89442 HAS SOPS 89442 HAS SOUS 80834 HAS SOUPS 80834 WITH SCORE 80923.442
AT ITER 1789 NEW BEST:: SOT 161221 SOS 89178 HAS SOPS 89178 HAS SOUS 80823 HAS SOUPS 80823 WITH SCORE 80912.178
AT ITER 1790 NEW BEST:: SOT 161012 SOS 90205 HAS SOPS 90205 HAS SOUS 80741 HAS SOUPS 80741 WITH SCORE 80831.205
AT ITER 1791 NEW BEST:: SOT 161012 SOS 90188 HAS SOPS 90188 HAS SOUS 80732 HAS SOUPS 80732 WITH SCORE 80822.188
AT ITER 1799 NEW BEST:: SOT 161012 SOS 90168 HAS SOPS 90168 HAS SOUS 80732 HAS SOUPS 80732 WITH SCORE 80822.168
AT ITER 1800 NEW BEST:: SOT 161012 SOS 89916 HAS SOPS 89916 HAS SOUS 80732 HAS SOUPS 80732 WITH SCORE 80821.916
AT ITER 1802 NEW BEST:: SOT 161012 SOS 89891 HAS SOPS 89891 HAS SOUS 80732 HAS SOUPS 80732 WITH SCORE 80821.891
AT ITER 1809 NEW BEST:: SOT 160979 SOS 89881 HAS SOPS 89881 HAS SOUS 80710 HAS SOUPS 80710 WITH SCORE 80799.881
AT ITER 1818 NEW BEST:: SOT 160942 SOS 89818 HAS SOPS 89818 HAS SOUS 80659 HAS SOUPS 80659 WITH SCORE 80748.818
AT ITER 1828 NEW BEST:: SOT 160946 SOS 89814 HAS SOPS 89814 HAS SOUS 80640 HAS SOUPS 80640 WITH SCORE 80729.814
AT ITER 1838 NEW BEST:: SOT 160946 SOS 89798 HAS SOPS 89798 HAS SOUS 80640 HAS SOUPS 80640 WITH SCORE 80729.798
AT ITER 1843 NEW BEST:: SOT 160946 SOS 89720 HAS SOPS 89720 HAS SOUS 80640 HAS SOUPS 80640 WITH SCORE 80729.72
AT ITER 1849 NEW BEST:: SOT 160946 SOS 89589 HAS SOPS 89589 HAS SOUS 80640 HAS SOUPS 80640 WITH SCORE 80729.589
AT ITER 1856 NEW BEST:: SOT 160940 SOS 89649 HAS SOPS 89649 HAS SOUS 80627 HAS SOUPS 80627 WITH SCORE 80716.649
AT ITER 1881 NEW BEST:: SOT 160847 SOS 89556 HAS SOPS 89556 HAS SOUS 80501 HAS SOUPS 80501 WITH SCORE 80590.556
AT ITER 1884 NEW BEST:: SOT 160810 SOS 89491 HAS SOPS 89491 HAS SOUS 80456 HAS SOUPS 80456 WITH SCORE 80545.491
AT ITER 1891 NEW BEST:: SOT 160810 SOS 89461 HAS SOPS 89461 HAS SOUS 80456 HAS SOUPS 80456 WITH SCORE 80545.461
AT ITER 1893 NEW BEST:: SOT 160810 SOS 89443 HAS SOPS 89443 HAS SOUS 80417 HAS SOUPS 80417 WITH SCORE 80506.443
AT ITER 1905 NEW BEST:: SOT 160810 SOS 89486 HAS SOPS 89486 HAS SOUS 80371 HAS SOUPS 80371 WITH SCORE 80460.486
AT ITER 1908 NEW BEST:: SOT 160771 SOS 89484 HAS SOPS 89484 HAS SOUS 80305 HAS SOUPS 80305 WITH SCORE 80394.484
AT ITER 1909 NEW BEST:: SOT 160771 SOS 89102 HAS SOPS 89102 HAS SOUS 80305 HAS SOUPS 80305 WITH SCORE 80394.102
AT ITER 1913 NEW BEST:: SOT 160771 SOS 89043 HAS SOPS 89043 HAS SOUS 80305 HAS SOUPS 80305 WITH SCORE 80394.043
AT ITER 1923 NEW BEST:: SOT 160819 SOS 88936 HAS SOPS 88936 HAS SOUS 80289 HAS SOUPS 80289 WITH SCORE 80377.936
AT ITER 1932 NEW BEST:: SOT 160819 SOS 88452 HAS SOPS 88452 HAS SOUS 80289 HAS SOUPS 80289 WITH SCORE 80377.452
AT ITER 1935 NEW BEST:: SOT 160819 SOS 88423 HAS SOPS 88423 HAS SOUS 80289 HAS SOUPS 80289 WITH SCORE 80377.423
AT ITER 1937 NEW BEST:: SOT 160819 SOS 88416 HAS SOPS 88416 HAS SOUS 80289 HAS SOUPS 80289 WITH SCORE 80377.416
AT ITER 1943 NEW BEST:: SOT 160819 SOS 88409 HAS SOPS 88409 HAS SOUS 80286 HAS SOUPS 80286 WITH SCORE 80374.409
AT ITER 1953 NEW BEST:: SOT 160819 SOS 88408 HAS SOPS 88408 HAS SOUS 80202 HAS SOUPS 80202 WITH SCORE 80290.408
AT ITER 1956 NEW BEST:: SOT 160781 SOS 88271 HAS SOPS 88271 HAS SOUS 80147 HAS SOUPS 80147 WITH SCORE 80235.271
AT ITER 1962 NEW BEST:: SOT 160781 SOS 88251 HAS SOPS 88251 HAS SOUS 80147 HAS SOUPS 80147 WITH SCORE 80235.251
AT ITER 1963 NEW BEST:: SOT 160781 SOS 88231 HAS SOPS 88231 HAS SOUS 80135 HAS SOUPS 80135 WITH SCORE 80223.231
AT ITER 1969 NEW BEST:: SOT 160474 SOS 91292 HAS SOPS 91292 HAS SOUS 79998 HAS SOUPS 79998 WITH SCORE 80089.292
AT ITER 1970 NEW BEST:: SOT 160474 SOS 91201 HAS SOPS 91201 HAS SOUS 79912 HAS SOUPS 79912 WITH SCORE 80003.201
AT ITER 1972 NEW BEST:: SOT 160581 SOS 91322 HAS SOPS 91322 HAS SOUS 79910 HAS SOUPS 79910 WITH SCORE 80001.322
AT ITER 1977 NEW BEST:: SOT 160509 SOS 91235 HAS SOPS 91235 HAS SOUS 79825 HAS SOUPS 79825 WITH SCORE 79916.235
AT ITER 1979 NEW BEST:: SOT 160509 SOS 91221 HAS SOPS 91221 HAS SOUS 79811 HAS SOUPS 79811 WITH SCORE 79902.221
AT ITER 1989 NEW BEST:: SOT 160509 SOS 91216 HAS SOPS 91216 HAS SOUS 79811 HAS SOUPS 79811 WITH SCORE 79902.216
AT ITER 1998 NEW BEST:: SOT 160479 SOS 91201 HAS SOPS 91201 HAS SOUS 79795 HAS SOUPS 79795 WITH SCORE 79886.201
AT ITER 1999 NEW BEST:: SOT 160479 SOS 91447 HAS SOPS 91447 HAS SOUS 79772 HAS SOUPS 79772 WITH SCORE 79863.447
AT ITER 2003 NEW BEST:: SOT 160141 SOS 91633 HAS SOPS 91633 HAS SOUS 79731 HAS SOUPS 79731 WITH SCORE 79822.633
AT ITER 2009 NEW BEST:: SOT 160144 SOS 90247 HAS SOPS 90247 HAS SOUS 79664 HAS SOUPS 79664 WITH SCORE 79754.247
AT ITER 2012 NEW BEST:: SOT 160144 SOS 90221 HAS SOPS 90221 HAS SOUS 79664 HAS SOUPS 79664 WITH SCORE 79754.221
AT ITER 2024 NEW BEST:: SOT 160144 SOS 90148 HAS SOPS 90148 HAS SOUS 79664 HAS SOUPS 79664 WITH SCORE 79754.148
AT ITER 2029 NEW BEST:: SOT 160142 SOS 90146 HAS SOPS 90146 HAS SOUS 79662 HAS SOUPS 79662 WITH SCORE 79752.146
AT ITER 2044 NEW BEST:: SOT 160142 SOS 90112 HAS SOPS 90112 HAS SOUS 79662 HAS SOUPS 79662 WITH SCORE 79752.112
AT ITER 2055 NEW BEST:: SOT 160000 SOS 90450 HAS SOPS 90450 HAS SOUS 79540 HAS SOUPS 79540 WITH SCORE 79630.45
AT ITER 2065 NEW BEST:: SOT 160000 SOS 90290 HAS SOPS 90290 HAS SOUS 79540 HAS SOUPS 79540 WITH SCORE 79630.29
AT ITER 2071 NEW BEST:: SOT 160000 SOS 89829 HAS SOPS 89829 HAS SOUS 79540 HAS SOUPS 79540 WITH SCORE 79629.829
AT ITER 2076 NEW BEST:: SOT 160000 SOS 89816 HAS SOPS 89816 HAS SOUS 79540 HAS SOUPS 79540 WITH SCORE 79629.816
AT ITER 2081 NEW BEST:: SOT 160000 SOS 89769 HAS SOPS 89769 HAS SOUS 79523 HAS SOUPS 79523 WITH SCORE 79612.769
AT ITER 2088 NEW BEST:: SOT 159070 SOS 89713 HAS SOPS 89713 HAS SOUS 78918 HAS SOUPS 78918 WITH SCORE 79007.713
AT ITER 2100 NEW BEST:: SOT 159022 SOS 89719 HAS SOPS 89719 HAS SOUS 78871 HAS SOUPS 78871 WITH SCORE 78960.719
AT ITER 2103 NEW BEST:: SOT 159022 SOS 89740 HAS SOPS 89740 HAS SOUS 78828 HAS SOUPS 78828 WITH SCORE 78917.74
AT ITER 2115 NEW BEST:: SOT 159022 SOS 89648 HAS SOPS 89648 HAS SOUS 78784 HAS SOUPS 78784 WITH SCORE 78873.648
AT ITER 2116 NEW BEST:: SOT 158915 SOS 89491 HAS SOPS 89491 HAS SOUS 78632 HAS SOUPS 78632 WITH SCORE 78721.491
AT ITER 2121 NEW BEST:: SOT 158915 SOS 89491 HAS SOPS 89491 HAS SOUS 78630 HAS SOUPS 78630 WITH SCORE 78719.491
AT ITER 2122 NEW BEST:: SOT 158664 SOS 90557 HAS SOPS 90557 HAS SOUS 78448 HAS SOUPS 78448 WITH SCORE 78538.557
AT ITER 2131 NEW BEST:: SOT 158664 SOS 90558 HAS SOPS 90558 HAS SOUS 78418 HAS SOUPS 78418 WITH SCORE 78508.558
AT ITER 2154 NEW BEST:: SOT 158664 SOS 90558 HAS SOPS 90558 HAS SOUS 78383 HAS SOUPS 78383 WITH SCORE 78473.558
AT ITER 2170 NEW BEST:: SOT 158664 SOS 90548 HAS SOPS 90548 HAS SOUS 78383 HAS SOUPS 78383 WITH SCORE 78473.548
AT ITER 2171 NEW BEST:: SOT 158626 SOS 90523 HAS SOPS 90523 HAS SOUS 78312 HAS SOUPS 78312 WITH SCORE 78402.523
AT ITER 2183 NEW BEST:: SOT 158626 SOS 90482 HAS SOPS 90482 HAS SOUS 78312 HAS SOUPS 78312 WITH SCORE 78402.482
AT ITER 2196 NEW BEST:: SOT 158645 SOS 90462 HAS SOPS 90462 HAS SOUS 78295 HAS SOUPS 78295 WITH SCORE 78385.462
AT ITER 2203 NEW BEST:: SOT 158669 SOS 90478 HAS SOPS 90478 HAS SOUS 78290 HAS SOUPS 78290 WITH SCORE 78380.478
AT ITER 2205 NEW BEST:: SOT 158648 SOS 90457 HAS SOPS 90457 HAS SOUS 78269 HAS SOUPS 78269 WITH SCORE 78359.457
AT ITER 2211 NEW BEST:: SOT 158648 SOS 90416 HAS SOPS 90416 HAS SOUS 78228 HAS SOUPS 78228 WITH SCORE 78318.416
AT ITER 2218 NEW BEST:: SOT 158563 SOS 90304 HAS SOPS 90304 HAS SOUS 78188 HAS SOUPS 78188 WITH SCORE 78278.304
AT ITER 2219 NEW BEST:: SOT 158563 SOS 90338 HAS SOPS 90338 HAS SOUS 78159 HAS SOUPS 78159 WITH SCORE 78249.338
AT ITER 2228 NEW BEST:: SOT 158563 SOS 90338 HAS SOPS 90338 HAS SOUS 78114 HAS SOUPS 78114 WITH SCORE 78204.338
AT ITER 2237 NEW BEST:: SOT 158542 SOS 90317 HAS SOPS 90317 HAS SOUS 78069 HAS SOUPS 78069 WITH SCORE 78159.317
AT ITER 2245 NEW BEST:: SOT 158296 SOS 91358 HAS SOPS 91358 HAS SOUS 78067 HAS SOUPS 78067 WITH SCORE 78158.358
AT ITER 2248 NEW BEST:: SOT 158296 SOS 91603 HAS SOPS 91603 HAS SOUS 78009 HAS SOUPS 78009 WITH SCORE 78100.603
AT ITER 2257 NEW BEST:: SOT 158300 SOS 91607 HAS SOPS 91607 HAS SOUS 77987 HAS SOUPS 77987 WITH SCORE 78078.607
AT ITER 2262 NEW BEST:: SOT 158300 SOS 91593 HAS SOPS 91593 HAS SOUS 77973 HAS SOUPS 77973 WITH SCORE 78064.593
AT ITER 2266 NEW BEST:: SOT 158300 SOS 91533 HAS SOPS 91533 HAS SOUS 77973 HAS SOUPS 77973 WITH SCORE 78064.533
AT ITER 2268 NEW BEST:: SOT 157973 SOS 91360 HAS SOPS 91360 HAS SOUS 77909 HAS SOUPS 77909 WITH SCORE 78000.36
AT ITER 2269 NEW BEST:: SOT 157973 SOS 91303 HAS SOPS 91303 HAS SOUS 77909 HAS SOUPS 77909 WITH SCORE 78000.303
AT ITER 2273 NEW BEST:: SOT 157955 SOS 91285 HAS SOPS 91285 HAS SOUS 77896 HAS SOUPS 77896 WITH SCORE 77987.285
AT ITER 2278 NEW BEST:: SOT 157955 SOS 91233 HAS SOPS 91233 HAS SOUS 77843 HAS SOUPS 77843 WITH SCORE 77934.233
AT ITER 2280 NEW BEST:: SOT 157955 SOS 91302 HAS SOPS 91302 HAS SOUS 77813 HAS SOUPS 77813 WITH SCORE 77904.302
AT ITER 2285 NEW BEST:: SOT 157955 SOS 91327 HAS SOPS 91327 HAS SOUS 77811 HAS SOUPS 77811 WITH SCORE 77902.327
AT ITER 2291 NEW BEST:: SOT 157955 SOS 91322 HAS SOPS 91322 HAS SOUS 77811 HAS SOUPS 77811 WITH SCORE 77902.322
AT ITER 2292 NEW BEST:: SOT 157946 SOS 91300 HAS SOPS 91300 HAS SOUS 77783 HAS SOUPS 77783 WITH SCORE 77874.3
AT ITER 2304 NEW BEST:: SOT 157946 SOS 91300 HAS SOPS 91300 HAS SOUS 77781 HAS SOUPS 77781 WITH SCORE 77872.3
AT ITER 2317 NEW BEST:: SOT 157946 SOS 90543 HAS SOPS 90543 HAS SOUS 77742 HAS SOUPS 77742 WITH SCORE 77832.543
AT ITER 2321 NEW BEST:: SOT 157934 SOS 90531 HAS SOPS 90531 HAS SOUS 77730 HAS SOUPS 77730 WITH SCORE 77820.531
AT ITER 2331 NEW BEST:: SOT 157934 SOS 90495 HAS SOPS 90495 HAS SOUS 77730 HAS SOUPS 77730 WITH SCORE 77820.495
AT ITER 2333 NEW BEST:: SOT 157934 SOS 90495 HAS SOPS 90495 HAS SOUS 77707 HAS SOUPS 77707 WITH SCORE 77797.495
AT ITER 2338 NEW BEST:: SOT 158040 SOS 89339 HAS SOPS 89339 HAS SOUS 77662 HAS SOUPS 77662 WITH SCORE 77751.339
AT ITER 2339 NEW BEST:: SOT 158040 SOS 89203 HAS SOPS 89203 HAS SOUS 77662 HAS SOUPS 77662 WITH SCORE 77751.203
AT ITER 2347 NEW BEST:: SOT 158040 SOS 89212 HAS SOPS 89212 HAS SOUS 77658 HAS SOUPS 77658 WITH SCORE 77747.212
AT ITER 2378 NEW BEST:: SOT 157995 SOS 89167 HAS SOPS 89167 HAS SOUS 77581 HAS SOUPS 77581 WITH SCORE 77670.167
AT ITER 2379 NEW BEST:: SOT 157872 SOS 89044 HAS SOPS 89044 HAS SOUS 77490 HAS SOUPS 77490 WITH SCORE 77579.044
AT ITER 2380 NEW BEST:: SOT 157872 SOS 88967 HAS SOPS 88967 HAS SOUS 77490 HAS SOUPS 77490 WITH SCORE 77578.967
AT ITER 2384 NEW BEST:: SOT 157827 SOS 88922 HAS SOPS 88922 HAS SOUS 77445 HAS SOUPS 77445 WITH SCORE 77533.922
AT ITER 2393 NEW BEST:: SOT 157868 SOS 88739 HAS SOPS 88739 HAS SOUS 77445 HAS SOUPS 77445 WITH SCORE 77533.739
AT ITER 2400 NEW BEST:: SOT 157829 SOS 88682 HAS SOPS 88682 HAS SOUS 77395 HAS SOUPS 77395 WITH SCORE 77483.682
AT ITER 2415 NEW BEST:: SOT 157829 SOS 88698 HAS SOPS 88698 HAS SOUS 77393 HAS SOUPS 77393 WITH SCORE 77481.698
AT ITER 2448 NEW BEST:: SOT 157774 SOS 88699 HAS SOPS 88699 HAS SOUS 77338 HAS SOUPS 77338 WITH SCORE 77426.699
AT ITER 2451 NEW BEST:: SOT 157784 SOS 88665 HAS SOPS 88665 HAS SOUS 77320 HAS SOUPS 77320 WITH SCORE 77408.665
AT ITER 2469 NEW BEST:: SOT 157767 SOS 88647 HAS SOPS 88647 HAS SOUS 77285 HAS SOUPS 77285 WITH SCORE 77373.647
AT ITER 2471 NEW BEST:: SOT 157228 SOS 88246 HAS SOPS 88246 HAS SOUS 76891 HAS SOUPS 76891 WITH SCORE 76979.246
AT ITER 2476 NEW BEST:: SOT 157221 SOS 88239 HAS SOPS 88239 HAS SOUS 76884 HAS SOUPS 76884 WITH SCORE 76972.239
AT ITER 2480 NEW BEST:: SOT 156913 SOS 89034 HAS SOPS 89034 HAS SOUS 76761 HAS SOUPS 76761 WITH SCORE 76850.034
AT ITER 2489 NEW BEST:: SOT 156913 SOS 88996 HAS SOPS 88996 HAS SOUS 76761 HAS SOUPS 76761 WITH SCORE 76849.996
AT ITER 2492 NEW BEST:: SOT 156913 SOS 88957 HAS SOPS 88957 HAS SOUS 76761 HAS SOUPS 76761 WITH SCORE 76849.957
AT ITER 2497 NEW BEST:: SOT 156896 SOS 88912 HAS SOPS 88912 HAS SOUS 76735 HAS SOUPS 76735 WITH SCORE 76823.912
AT ITER 2501 NEW BEST:: SOT 156896 SOS 88911 HAS SOPS 88911 HAS SOUS 76735 HAS SOUPS 76735 WITH SCORE 76823.911
AT ITER 2509 NEW BEST:: SOT 156896 SOS 88868 HAS SOPS 88868 HAS SOUS 76714 HAS SOUPS 76714 WITH SCORE 76802.868
AT ITER 2510 NEW BEST:: SOT 156896 SOS 88574 HAS SOPS 88574 HAS SOUS 76714 HAS SOUPS 76714 WITH SCORE 76802.574
AT ITER 2523 NEW BEST:: SOT 156896 SOS 88557 HAS SOPS 88557 HAS SOUS 76703 HAS SOUPS 76703 WITH SCORE 76791.557
AT ITER 2532 NEW BEST:: SOT 156853 SOS 88514 HAS SOPS 88514 HAS SOUS 76669 HAS SOUPS 76669 WITH SCORE 76757.514
AT ITER 2533 NEW BEST:: SOT 156853 SOS 88511 HAS SOPS 88511 HAS SOUS 76669 HAS SOUPS 76669 WITH SCORE 76757.511
AT ITER 2536 NEW BEST:: SOT 156815 SOS 88473 HAS SOPS 88473 HAS SOUS 76613 HAS SOUPS 76613 WITH SCORE 76701.473
AT ITER 2559 NEW BEST:: SOT 156829 SOS 88596 HAS SOPS 88596 HAS SOUS 76595 HAS SOUPS 76595 WITH SCORE 76683.596
AT ITER 2561 NEW BEST:: SOT 156829 SOS 88564 HAS SOPS 88564 HAS SOUS 76595 HAS SOUPS 76595 WITH SCORE 76683.564
AT ITER 2566 NEW BEST:: SOT 156827 SOS 88673 HAS SOPS 88673 HAS SOUS 76565 HAS SOUPS 76565 WITH SCORE 76653.673
AT ITER 2580 NEW BEST:: SOT 156798 SOS 88544 HAS SOPS 88544 HAS SOUS 76476 HAS SOUPS 76476 WITH SCORE 76564.544
AT ITER 2582 NEW BEST:: SOT 156798 SOS 88440 HAS SOPS 88440 HAS SOUS 76436 HAS SOUPS 76436 WITH SCORE 76524.44
AT ITER 2588 NEW BEST:: SOT 156800 SOS 88420 HAS SOPS 88420 HAS SOUS 76415 HAS SOUPS 76415 WITH SCORE 76503.42
AT ITER 2593 NEW BEST:: SOT 156800 SOS 88408 HAS SOPS 88408 HAS SOUS 76415 HAS SOUPS 76415 WITH SCORE 76503.408
AT ITER 2595 NEW BEST:: SOT 156716 SOS 88324 HAS SOPS 88324 HAS SOUS 76337 HAS SOUPS 76337 WITH SCORE 76425.324
AT ITER 2597 NEW BEST:: SOT 156716 SOS 88277 HAS SOPS 88277 HAS SOUS 76334 HAS SOUPS 76334 WITH SCORE 76422.277
AT ITER 2598 NEW BEST:: SOT 156716 SOS 88201 HAS SOPS 88201 HAS SOUS 76334 HAS SOUPS 76334 WITH SCORE 76422.201
AT ITER 2610 NEW BEST:: SOT 156716 SOS 88162 HAS SOPS 88162 HAS SOUS 76300 HAS SOUPS 76300 WITH SCORE 76388.162
AT ITER 2611 NEW BEST:: SOT 156687 SOS 88278 HAS SOPS 88278 HAS SOUS 76271 HAS SOUPS 76271 WITH SCORE 76359.278
AT ITER 2614 NEW BEST:: SOT 156567 SOS 89514 HAS SOPS 89514 HAS SOUS 76218 HAS SOUPS 76218 WITH SCORE 76307.514
AT ITER 2624 NEW BEST:: SOT 156568 SOS 89513 HAS SOPS 89513 HAS SOUS 76196 HAS SOUPS 76196 WITH SCORE 76285.513
AT ITER 2627 NEW BEST:: SOT 156568 SOS 89513 HAS SOPS 89513 HAS SOUS 76188 HAS SOUPS 76188 WITH SCORE 76277.513
AT ITER 2631 NEW BEST:: SOT 156568 SOS 89604 HAS SOPS 89604 HAS SOUS 76184 HAS SOUPS 76184 WITH SCORE 76273.604
AT ITER 2636 NEW BEST:: SOT 156568 SOS 89604 HAS SOPS 89604 HAS SOUS 76180 HAS SOUPS 76180 WITH SCORE 76269.604
AT ITER 2639 NEW BEST:: SOT 156568 SOS 89584 HAS SOPS 89584 HAS SOUS 76160 HAS SOUPS 76160 WITH SCORE 76249.584
AT ITER 2646 NEW BEST:: SOT 156568 SOS 88284 HAS SOPS 88284 HAS SOUS 76117 HAS SOUPS 76117 WITH SCORE 76205.284
AT ITER 2651 NEW BEST:: SOT 156563 SOS 88279 HAS SOPS 88279 HAS SOUS 76112 HAS SOUPS 76112 WITH SCORE 76200.279
AT ITER 2655 NEW BEST:: SOT 156559 SOS 88275 HAS SOPS 88275 HAS SOUS 76108 HAS SOUPS 76108 WITH SCORE 76196.275
AT ITER 2661 NEW BEST:: SOT 156559 SOS 88096 HAS SOPS 88096 HAS SOUS 76108 HAS SOUPS 76108 WITH SCORE 76196.096
AT ITER 2665 NEW BEST:: SOT 156559 SOS 88047 HAS SOPS 88047 HAS SOUS 76108 HAS SOUPS 76108 WITH SCORE 76196.047
AT ITER 2674 NEW BEST:: SOT 156559 SOS 88037 HAS SOPS 88037 HAS SOUS 76107 HAS SOUPS 76107 WITH SCORE 76195.037
AT ITER 2681 NEW BEST:: SOT 156556 SOS 88034 HAS SOPS 88034 HAS SOUS 76104 HAS SOUPS 76104 WITH SCORE 76192.034
AT ITER 2682 NEW BEST:: SOT 156588 SOS 88051 HAS SOPS 88051 HAS SOUS 76063 HAS SOUPS 76063 WITH SCORE 76151.051
AT ITER 2687 NEW BEST:: SOT 156566 SOS 88081 HAS SOPS 88081 HAS SOUS 76015 HAS SOUPS 76015 WITH SCORE 76103.081
AT ITER 2689 NEW BEST:: SOT 156566 SOS 88048 HAS SOPS 88048 HAS SOUS 76014 HAS SOUPS 76014 WITH SCORE 76102.048
AT ITER 2692 NEW BEST:: SOT 156541 SOS 88044 HAS SOPS 88044 HAS SOUS 76014 HAS SOUPS 76014 WITH SCORE 76102.044
AT ITER 2699 NEW BEST:: SOT 156541 SOS 88003 HAS SOPS 88003 HAS SOUS 76014 HAS SOUPS 76014 WITH SCORE 76102.003
AT ITER 2706 NEW BEST:: SOT 156543 SOS 87940 HAS SOPS 87940 HAS SOUS 75949 HAS SOUPS 75949 WITH SCORE 76036.94
AT ITER 2734 NEW BEST:: SOT 156543 SOS 87919 HAS SOPS 87919 HAS SOUS 75949 HAS SOUPS 75949 WITH SCORE 76036.919
AT ITER 2735 NEW BEST:: SOT 156543 SOS 87885 HAS SOPS 87885 HAS SOUS 75949 HAS SOUPS 75949 WITH SCORE 76036.885
AT ITER 2738 NEW BEST:: SOT 156542 SOS 87884 HAS SOPS 87884 HAS SOUS 75948 HAS SOUPS 75948 WITH SCORE 76035.884
AT ITER 2747 NEW BEST:: SOT 156443 SOS 87785 HAS SOPS 87785 HAS SOUS 75849 HAS SOUPS 75849 WITH SCORE 75936.785
AT ITER 2751 NEW BEST:: SOT 156423 SOS 87764 HAS SOPS 87764 HAS SOUS 75844 HAS SOUPS 75844 WITH SCORE 75931.764
AT ITER 2756 NEW BEST:: SOT 156423 SOS 87760 HAS SOPS 87760 HAS SOUS 75844 HAS SOUPS 75844 WITH SCORE 75931.76
AT ITER 2757 NEW BEST:: SOT 156129 SOS 87466 HAS SOPS 87466 HAS SOUS 75611 HAS SOUPS 75611 WITH SCORE 75698.466
AT ITER 2760 NEW BEST:: SOT 156098 SOS 87435 HAS SOPS 87435 HAS SOUS 75580 HAS SOUPS 75580 WITH SCORE 75667.435
AT ITER 2763 NEW BEST:: SOT 156098 SOS 87417 HAS SOPS 87417 HAS SOUS 75580 HAS SOUPS 75580 WITH SCORE 75667.417
AT ITER 2774 NEW BEST:: SOT 156011 SOS 91255 HAS SOPS 91255 HAS SOUS 75575 HAS SOUPS 75575 WITH SCORE 75666.255
AT ITER 2780 NEW BEST:: SOT 155403 SOS 93773 HAS SOPS 93773 HAS SOUS 75550 HAS SOUPS 75550 WITH SCORE 75643.773
AT ITER 2789 NEW BEST:: SOT 155336 SOS 93686 HAS SOPS 93686 HAS SOUS 75479 HAS SOUPS 75479 WITH SCORE 75572.686
AT ITER 2792 NEW BEST:: SOT 155336 SOS 93672 HAS SOPS 93672 HAS SOUS 75479 HAS SOUPS 75479 WITH SCORE 75572.672
AT ITER 2793 NEW BEST:: SOT 155251 SOS 93524 HAS SOPS 93524 HAS SOUS 75379 HAS SOUPS 75379 WITH SCORE 75472.524
AT ITER 2795 NEW BEST:: SOT 155251 SOS 93514 HAS SOPS 93514 HAS SOUS 75379 HAS SOUPS 75379 WITH SCORE 75472.514
AT ITER 2808 NEW BEST:: SOT 155251 SOS 93525 HAS SOPS 93525 HAS SOUS 75365 HAS SOUPS 75365 WITH SCORE 75458.525
AT ITER 2810 NEW BEST:: SOT 155251 SOS 93411 HAS SOPS 93411 HAS SOUS 75365 HAS SOUPS 75365 WITH SCORE 75458.411
AT ITER 2813 NEW BEST:: SOT 155247 SOS 93407 HAS SOPS 93407 HAS SOUS 75361 HAS SOUPS 75361 WITH SCORE 75454.407
AT ITER 2818 NEW BEST:: SOT 155247 SOS 91285 HAS SOPS 91285 HAS SOUS 75230 HAS SOUPS 75230 WITH SCORE 75321.285
AT ITER 2820 NEW BEST:: SOT 155247 SOS 91261 HAS SOPS 91261 HAS SOUS 75230 HAS SOUPS 75230 WITH SCORE 75321.261
AT ITER 2825 NEW BEST:: SOT 155247 SOS 91268 HAS SOPS 91268 HAS SOUS 75225 HAS SOUPS 75225 WITH SCORE 75316.268
AT ITER 2826 NEW BEST:: SOT 155221 SOS 91242 HAS SOPS 91242 HAS SOUS 75199 HAS SOUPS 75199 WITH SCORE 75290.242
AT ITER 2834 NEW BEST:: SOT 155174 SOS 91154 HAS SOPS 91154 HAS SOUS 75193 HAS SOUPS 75193 WITH SCORE 75284.154
AT ITER 2838 NEW BEST:: SOT 155103 SOS 94263 HAS SOPS 94263 HAS SOUS 75133 HAS SOUPS 75133 WITH SCORE 75227.263
AT ITER 2844 NEW BEST:: SOT 155092 SOS 94252 HAS SOPS 94252 HAS SOUS 75122 HAS SOUPS 75122 WITH SCORE 75216.252
AT ITER 2866 NEW BEST:: SOT 155088 SOS 94248 HAS SOPS 94248 HAS SOUS 75118 HAS SOUPS 75118 WITH SCORE 75212.248
AT ITER 2867 NEW BEST:: SOT 155057 SOS 94203 HAS SOPS 94203 HAS SOUS 75060 HAS SOUPS 75060 WITH SCORE 75154.203
AT ITER 2871 NEW BEST:: SOT 155032 SOS 94178 HAS SOPS 94178 HAS SOUS 75028 HAS SOUPS 75028 WITH SCORE 75122.178
AT ITER 2888 NEW BEST:: SOT 155043 SOS 94189 HAS SOPS 94189 HAS SOUS 75009 HAS SOUPS 75009 WITH SCORE 75103.189
AT ITER 2893 NEW BEST:: SOT 155049 SOS 94195 HAS SOPS 94195 HAS SOUS 74963 HAS SOUPS 74963 WITH SCORE 75057.195
AT ITER 2894 NEW BEST:: SOT 155049 SOS 94120 HAS SOPS 94120 HAS SOUS 74963 HAS SOUPS 74963 WITH SCORE 75057.12
AT ITER 2898 NEW BEST:: SOT 155049 SOS 94058 HAS SOPS 94058 HAS SOUS 74963 HAS SOUPS 74963 WITH SCORE 75057.058
AT ITER 2904 NEW BEST:: SOT 155049 SOS 94035 HAS SOPS 94035 HAS SOUS 74963 HAS SOUPS 74963 WITH SCORE 75057.035
AT ITER 2916 NEW BEST:: SOT 155049 SOS 94013 HAS SOPS 94013 HAS SOUS 74950 HAS SOUPS 74950 WITH SCORE 75044.013
AT ITER 2926 NEW BEST:: SOT 155049 SOS 94001 HAS SOPS 94001 HAS SOUS 74942 HAS SOUPS 74942 WITH SCORE 75036.001
AT ITER 2934 NEW BEST:: SOT 155049 SOS 93935 HAS SOPS 93935 HAS SOUS 74942 HAS SOUPS 74942 WITH SCORE 75035.935
AT ITER 2937 NEW BEST:: SOT 155049 SOS 93918 HAS SOPS 93918 HAS SOUS 74942 HAS SOUPS 74942 WITH SCORE 75035.918
AT ITER 2963 NEW BEST:: SOT 154970 SOS 94100 HAS SOPS 94100 HAS SOUS 74910 HAS SOUPS 74910 WITH SCORE 75004.1
AT ITER 2964 NEW BEST:: SOT 154970 SOS 94084 HAS SOPS 94084 HAS SOUS 74910 HAS SOUPS 74910 WITH SCORE 75004.084
AT ITER 2967 NEW BEST:: SOT 154970 SOS 94079 HAS SOPS 94079 HAS SOUS 74882 HAS SOUPS 74882 WITH SCORE 74976.079
AT ITER 2969 NEW BEST:: SOT 154970 SOS 93908 HAS SOPS 93908 HAS SOUS 74882 HAS SOUPS 74882 WITH SCORE 74975.908
AT ITER 2974 NEW BEST:: SOT 154948 SOS 93906 HAS SOPS 93906 HAS SOUS 74871 HAS SOUPS 74871 WITH SCORE 74964.906
AT ITER 2986 NEW BEST:: SOT 154948 SOS 93833 HAS SOPS 93833 HAS SOUS 74871 HAS SOUPS 74871 WITH SCORE 74964.833
AT ITER 2988 NEW BEST:: SOT 154948 SOS 93823 HAS SOPS 93823 HAS SOUS 74871 HAS SOUPS 74871 WITH SCORE 74964.823
AT ITER 2999 NEW BEST:: SOT 154948 SOS 91033 HAS SOPS 91033 HAS SOUS 74867 HAS SOUPS 74867 WITH SCORE 74958.033
AT ITER 3001 NEW BEST:: SOT 154926 SOS 91011 HAS SOPS 91011 HAS SOUS 74817 HAS SOUPS 74817 WITH SCORE 74908.011
AT ITER 3016 NEW BEST:: SOT 154926 SOS 90912 HAS SOPS 90912 HAS SOUS 74817 HAS SOUPS 74817 WITH SCORE 74907.912
AT ITER 3022 NEW BEST:: SOT 154892 SOS 91068 HAS SOPS 91068 HAS SOUS 74783 HAS SOUPS 74783 WITH SCORE 74874.068
AT ITER 3035 NEW BEST:: SOT 154892 SOS 90978 HAS SOPS 90978 HAS SOUS 74760 HAS SOUPS 74760 WITH SCORE 74850.978
AT ITER 3041 NEW BEST:: SOT 154901 SOS 90970 HAS SOPS 90970 HAS SOUS 74716 HAS SOUPS 74716 WITH SCORE 74806.97
AT ITER 3060 NEW BEST:: SOT 154938 SOS 90879 HAS SOPS 90879 HAS SOUS 74641 HAS SOUPS 74641 WITH SCORE 74731.879
AT ITER 3061 NEW BEST:: SOT 154923 SOS 90896 HAS SOPS 90896 HAS SOUS 74568 HAS SOUPS 74568 WITH SCORE 74658.896
AT ITER 3062 NEW BEST:: SOT 154914 SOS 90887 HAS SOPS 90887 HAS SOUS 74559 HAS SOUPS 74559 WITH SCORE 74649.887
AT ITER 3066 NEW BEST:: SOT 154914 SOS 90846 HAS SOPS 90846 HAS SOUS 74469 HAS SOUPS 74469 WITH SCORE 74559.846
AT ITER 3079 NEW BEST:: SOT 154914 SOS 90741 HAS SOPS 90741 HAS SOUS 74459 HAS SOUPS 74459 WITH SCORE 74549.741
AT ITER 3087 NEW BEST:: SOT 154914 SOS 90703 HAS SOPS 90703 HAS SOUS 74459 HAS SOUPS 74459 WITH SCORE 74549.703
AT ITER 3099 NEW BEST:: SOT 154914 SOS 90683 HAS SOPS 90683 HAS SOUS 74459 HAS SOUPS 74459 WITH SCORE 74549.683
AT ITER 3106 NEW BEST:: SOT 154914 SOS 90573 HAS SOPS 90573 HAS SOUS 74444 HAS SOUPS 74444 WITH SCORE 74534.573
AT ITER 3107 NEW BEST:: SOT 154894 SOS 90553 HAS SOPS 90553 HAS SOUS 74424 HAS SOUPS 74424 WITH SCORE 74514.553
AT ITER 3117 NEW BEST:: SOT 154894 SOS 90477 HAS SOPS 90477 HAS SOUS 74424 HAS SOUPS 74424 WITH SCORE 74514.477
AT ITER 3119 NEW BEST:: SOT 154894 SOS 90477 HAS SOPS 90477 HAS SOUS 74336 HAS SOUPS 74336 WITH SCORE 74426.477
AT ITER 3123 NEW BEST:: SOT 154862 SOS 90445 HAS SOPS 90445 HAS SOUS 74304 HAS SOUPS 74304 WITH SCORE 74394.445
AT ITER 3126 NEW BEST:: SOT 154862 SOS 90427 HAS SOPS 90427 HAS SOUS 74286 HAS SOUPS 74286 WITH SCORE 74376.427
AT ITER 3127 NEW BEST:: SOT 154862 SOS 90427 HAS SOPS 90427 HAS SOUS 74258 HAS SOUPS 74258 WITH SCORE 74348.427
AT ITER 3149 NEW BEST:: SOT 154858 SOS 90423 HAS SOPS 90423 HAS SOUS 74254 HAS SOUPS 74254 WITH SCORE 74344.423
AT ITER 3150 NEW BEST:: SOT 154858 SOS 90422 HAS SOPS 90422 HAS SOUS 74254 HAS SOUPS 74254 WITH SCORE 74344.422
AT ITER 3159 NEW BEST:: SOT 154864 SOS 90426 HAS SOPS 90426 HAS SOUS 74250 HAS SOUPS 74250 WITH SCORE 74340.426
AT ITER 3164 NEW BEST:: SOT 154883 SOS 90544 HAS SOPS 90544 HAS SOUS 74201 HAS SOUPS 74201 WITH SCORE 74291.544
AT ITER 3167 NEW BEST:: SOT 154883 SOS 90632 HAS SOPS 90632 HAS SOUS 74194 HAS SOUPS 74194 WITH SCORE 74284.632
AT ITER 3180 NEW BEST:: SOT 154856 SOS 90553 HAS SOPS 90553 HAS SOUS 74163 HAS SOUPS 74163 WITH SCORE 74253.553
AT ITER 3195 NEW BEST:: SOT 154841 SOS 90538 HAS SOPS 90538 HAS SOUS 74148 HAS SOUPS 74148 WITH SCORE 74238.538
AT ITER 3203 NEW BEST:: SOT 154833 SOS 90388 HAS SOPS 90388 HAS SOUS 74135 HAS SOUPS 74135 WITH SCORE 74225.388
AT ITER 3205 NEW BEST:: SOT 154833 SOS 90328 HAS SOPS 90328 HAS SOUS 74135 HAS SOUPS 74135 WITH SCORE 74225.328
AT ITER 3206 NEW BEST:: SOT 154833 SOS 90325 HAS SOPS 90325 HAS SOUS 74135 HAS SOUPS 74135 WITH SCORE 74225.325
AT ITER 3211 NEW BEST:: SOT 154833 SOS 90277 HAS SOPS 90277 HAS SOUS 74134 HAS SOUPS 74134 WITH SCORE 74224.277
AT ITER 3222 NEW BEST:: SOT 154833 SOS 90271 HAS SOPS 90271 HAS SOUS 74134 HAS SOUPS 74134 WITH SCORE 74224.271
AT ITER 3250 NEW BEST:: SOT 154833 SOS 90251 HAS SOPS 90251 HAS SOUS 74102 HAS SOUPS 74102 WITH SCORE 74192.251
AT ITER 3255 NEW BEST:: SOT 154833 SOS 90227 HAS SOPS 90227 HAS SOUS 74102 HAS SOUPS 74102 WITH SCORE 74192.227
AT ITER 3267 NEW BEST:: SOT 154638 SOS 90060 HAS SOPS 90060 HAS SOUS 74015 HAS SOUPS 74015 WITH SCORE 74105.06
AT ITER 3274 NEW BEST:: SOT 154634 SOS 90056 HAS SOPS 90056 HAS SOUS 74011 HAS SOUPS 74011 WITH SCORE 74101.056
AT ITER 3278 NEW BEST:: SOT 154634 SOS 90036 HAS SOPS 90036 HAS SOUS 74011 HAS SOUPS 74011 WITH SCORE 74101.036
AT ITER 3313 NEW BEST:: SOT 154634 SOS 90002 HAS SOPS 90002 HAS SOUS 74011 HAS SOUPS 74011 WITH SCORE 74101.002
AT ITER 3317 NEW BEST:: SOT 154634 SOS 90001 HAS SOPS 90001 HAS SOUS 74011 HAS SOUPS 74011 WITH SCORE 74101.001
AT ITER 3320 NEW BEST:: SOT 154634 SOS 90001 HAS SOPS 90001 HAS SOUS 73989 HAS SOUPS 73989 WITH SCORE 74079.001
AT ITER 3323 NEW BEST:: SOT 154634 SOS 90143 HAS SOPS 90143 HAS SOUS 73977 HAS SOUPS 73977 WITH SCORE 74067.143
AT ITER 3324 NEW BEST:: SOT 154635 SOS 90144 HAS SOPS 90144 HAS SOUS 73973 HAS SOUPS 73973 WITH SCORE 74063.144
AT ITER 3325 NEW BEST:: SOT 154633 SOS 90142 HAS SOPS 90142 HAS SOUS 73971 HAS SOUPS 73971 WITH SCORE 74061.142
AT ITER 3340 NEW BEST:: SOT 154619 SOS 90172 HAS SOPS 90172 HAS SOUS 73957 HAS SOUPS 73957 WITH SCORE 74047.172
AT ITER 3356 NEW BEST:: SOT 154619 SOS 90281 HAS SOPS 90281 HAS SOUS 73926 HAS SOUPS 73926 WITH SCORE 74016.281
AT ITER 3364 NEW BEST:: SOT 154619 SOS 90267 HAS SOPS 90267 HAS SOUS 73926 HAS SOUPS 73926 WITH SCORE 74016.267
AT ITER 3372 NEW BEST:: SOT 154619 SOS 90264 HAS SOPS 90264 HAS SOUS 73926 HAS SOUPS 73926 WITH SCORE 74016.264
AT ITER 3374 NEW BEST:: SOT 154346 SOS 90706 HAS SOPS 90706 HAS SOUS 73816 HAS SOUPS 73816 WITH SCORE 73906.706
AT ITER 3416 NEW BEST:: SOT 154346 SOS 90682 HAS SOPS 90682 HAS SOUS 73816 HAS SOUPS 73816 WITH SCORE 73906.682
AT ITER 3417 NEW BEST:: SOT 154356 SOS 90680 HAS SOPS 90680 HAS SOUS 73814 HAS SOUPS 73814 WITH SCORE 73904.68
AT ITER 3427 NEW BEST:: SOT 154356 SOS 90680 HAS SOPS 90680 HAS SOUS 73811 HAS SOUPS 73811 WITH SCORE 73901.68
AT ITER 3429 NEW BEST:: SOT 153959 SOS 90810 HAS SOPS 90810 HAS SOUS 73781 HAS SOUPS 73781 WITH SCORE 73871.81
AT ITER 3434 NEW BEST:: SOT 153959 SOS 90810 HAS SOPS 90810 HAS SOUS 73778 HAS SOUPS 73778 WITH SCORE 73868.81
AT ITER 3449 NEW BEST:: SOT 153959 SOS 90806 HAS SOPS 90806 HAS SOUS 73778 HAS SOUPS 73778 WITH SCORE 73868.806
AT ITER 3456 NEW BEST:: SOT 153959 SOS 90748 HAS SOPS 90748 HAS SOUS 73715 HAS SOUPS 73715 WITH SCORE 73805.748
AT ITER 3497 NEW BEST:: SOT 153959 SOS 90731 HAS SOPS 90731 HAS SOUS 73714 HAS SOUPS 73714 WITH SCORE 73804.731
AT ITER 3507 NEW BEST:: SOT 153949 SOS 90771 HAS SOPS 90771 HAS SOUS 73708 HAS SOUPS 73708 WITH SCORE 73798.771
AT ITER 3509 NEW BEST:: SOT 153945 SOS 90781 HAS SOPS 90781 HAS SOUS 73693 HAS SOUPS 73693 WITH SCORE 73783.781
AT ITER 3527 NEW BEST:: SOT 153905 SOS 90719 HAS SOPS 90719 HAS SOUS 73653 HAS SOUPS 73653 WITH SCORE 73743.719
AT ITER 3530 NEW BEST:: SOT 153905 SOS 91181 HAS SOPS 91181 HAS SOUS 73641 HAS SOUPS 73641 WITH SCORE 73732.181
AT ITER 3539 NEW BEST:: SOT 153905 SOS 91181 HAS SOPS 91181 HAS SOUS 73624 HAS SOUPS 73624 WITH SCORE 73715.181
AT ITER 3545 NEW BEST:: SOT 153896 SOS 91172 HAS SOPS 91172 HAS SOUS 73615 HAS SOUPS 73615 WITH SCORE 73706.172
AT ITER 3555 NEW BEST:: SOT 153896 SOS 91299 HAS SOPS 91299 HAS SOUS 73604 HAS SOUPS 73604 WITH SCORE 73695.299
AT ITER 3566 NEW BEST:: SOT 153692 SOS 91052 HAS SOPS 91052 HAS SOUS 73371 HAS SOUPS 73371 WITH SCORE 73462.052
AT ITER 3571 NEW BEST:: SOT 153692 SOS 90906 HAS SOPS 90906 HAS SOUS 73371 HAS SOUPS 73371 WITH SCORE 73461.906
AT ITER 3573 NEW BEST:: SOT 153692 SOS 90899 HAS SOPS 90899 HAS SOUS 73325 HAS SOUPS 73325 WITH SCORE 73415.899
AT ITER 3576 NEW BEST:: SOT 153702 SOS 90885 HAS SOPS 90885 HAS SOUS 73263 HAS SOUPS 73263 WITH SCORE 73353.885
AT ITER 3581 NEW BEST:: SOT 153702 SOS 90883 HAS SOPS 90883 HAS SOUS 73261 HAS SOUPS 73261 WITH SCORE 73351.883
AT ITER 3588 NEW BEST:: SOT 153702 SOS 90875 HAS SOPS 90875 HAS SOUS 73253 HAS SOUPS 73253 WITH SCORE 73343.875
AT ITER 3591 NEW BEST:: SOT 153522 SOS 90695 HAS SOPS 90695 HAS SOUS 73010 HAS SOUPS 73010 WITH SCORE 73100.695
AT ITER 3601 NEW BEST:: SOT 153522 SOS 90689 HAS SOPS 90689 HAS SOUS 73010 HAS SOUPS 73010 WITH SCORE 73100.689
AT ITER 3605 NEW BEST:: SOT 153500 SOS 90633 HAS SOPS 90633 HAS SOUS 72985 HAS SOUPS 72985 WITH SCORE 73075.633
AT ITER 3607 NEW BEST:: SOT 153500 SOS 90633 HAS SOPS 90633 HAS SOUS 72967 HAS SOUPS 72967 WITH SCORE 73057.633
AT ITER 3615 NEW BEST:: SOT 153500 SOS 90630 HAS SOPS 90630 HAS SOUS 72967 HAS SOUPS 72967 WITH SCORE 73057.63
AT ITER 3617 NEW BEST:: SOT 153500 SOS 90565 HAS SOPS 90565 HAS SOUS 72922 HAS SOUPS 72922 WITH SCORE 73012.565
AT ITER 3620 NEW BEST:: SOT 153500 SOS 90546 HAS SOPS 90546 HAS SOUS 72919 HAS SOUPS 72919 WITH SCORE 73009.546
AT ITER 3626 NEW BEST:: SOT 153441 SOS 90487 HAS SOPS 90487 HAS SOUS 72860 HAS SOUPS 72860 WITH SCORE 72950.487
AT ITER 3627 NEW BEST:: SOT 153441 SOS 90476 HAS SOPS 90476 HAS SOUS 72860 HAS SOUPS 72860 WITH SCORE 72950.476
AT ITER 3637 NEW BEST:: SOT 153418 SOS 90453 HAS SOPS 90453 HAS SOUS 72837 HAS SOUPS 72837 WITH SCORE 72927.453
AT ITER 3640 NEW BEST:: SOT 153407 SOS 90444 HAS SOPS 90444 HAS SOUS 72830 HAS SOUPS 72830 WITH SCORE 72920.444
AT ITER 3643 NEW BEST:: SOT 153407 SOS 90410 HAS SOPS 90410 HAS SOUS 72830 HAS SOUPS 72830 WITH SCORE 72920.41
AT ITER 3651 NEW BEST:: SOT 153407 SOS 90360 HAS SOPS 90360 HAS SOUS 72830 HAS SOUPS 72830 WITH SCORE 72920.36
AT ITER 3653 NEW BEST:: SOT 153348 SOS 90711 HAS SOPS 90711 HAS SOUS 72780 HAS SOUPS 72780 WITH SCORE 72870.711
AT ITER 3658 NEW BEST:: SOT 153317 SOS 90727 HAS SOPS 90727 HAS SOUS 72746 HAS SOUPS 72746 WITH SCORE 72836.727
AT ITER 3668 NEW BEST:: SOT 153317 SOS 90658 HAS SOPS 90658 HAS SOUS 72746 HAS SOUPS 72746 WITH SCORE 72836.658
AT ITER 3671 NEW BEST:: SOT 153317 SOS 90599 HAS SOPS 90599 HAS SOUS 72728 HAS SOUPS 72728 WITH SCORE 72818.599
AT ITER 3675 NEW BEST:: SOT 153276 SOS 90871 HAS SOPS 90871 HAS SOUS 72687 HAS SOUPS 72687 WITH SCORE 72777.871
AT ITER 3680 NEW BEST:: SOT 153276 SOS 90870 HAS SOPS 90870 HAS SOUS 72687 HAS SOUPS 72687 WITH SCORE 72777.87
AT ITER 3682 NEW BEST:: SOT 153276 SOS 90865 HAS SOPS 90865 HAS SOUS 72682 HAS SOUPS 72682 WITH SCORE 72772.865
AT ITER 3688 NEW BEST:: SOT 153248 SOS 90739 HAS SOPS 90739 HAS SOUS 72630 HAS SOUPS 72630 WITH SCORE 72720.739
AT ITER 3702 NEW BEST:: SOT 153141 SOS 90616 HAS SOPS 90616 HAS SOUS 72474 HAS SOUPS 72474 WITH SCORE 72564.616
AT ITER 3715 NEW BEST:: SOT 153141 SOS 90523 HAS SOPS 90523 HAS SOUS 72451 HAS SOUPS 72451 WITH SCORE 72541.523
AT ITER 3740 NEW BEST:: SOT 153141 SOS 90493 HAS SOPS 90493 HAS SOUS 72451 HAS SOUPS 72451 WITH SCORE 72541.493
AT ITER 3742 NEW BEST:: SOT 153119 SOS 90471 HAS SOPS 90471 HAS SOUS 72429 HAS SOUPS 72429 WITH SCORE 72519.471
AT ITER 3743 NEW BEST:: SOT 153118 SOS 90310 HAS SOPS 90310 HAS SOUS 72398 HAS SOUPS 72398 WITH SCORE 72488.31
AT ITER 3751 NEW BEST:: SOT 153118 SOS 90285 HAS SOPS 90285 HAS SOUS 72398 HAS SOUPS 72398 WITH SCORE 72488.285
AT ITER 3756 NEW BEST:: SOT 153118 SOS 90285 HAS SOPS 90285 HAS SOUS 72389 HAS SOUPS 72389 WITH SCORE 72479.285
AT ITER 3762 NEW BEST:: SOT 153131 SOS 90286 HAS SOPS 90286 HAS SOUS 72386 HAS SOUPS 72386 WITH SCORE 72476.286
AT ITER 3765 NEW BEST:: SOT 153131 SOS 90271 HAS SOPS 90271 HAS SOUS 72386 HAS SOUPS 72386 WITH SCORE 72476.271
AT ITER 3784 NEW BEST:: SOT 153144 SOS 90170 HAS SOPS 90170 HAS SOUS 72376 HAS SOUPS 72376 WITH SCORE 72466.17
AT ITER 3786 NEW BEST:: SOT 153144 SOS 90117 HAS SOPS 90117 HAS SOUS 72376 HAS SOUPS 72376 WITH SCORE 72466.117
AT ITER 3796 NEW BEST:: SOT 153144 SOS 89964 HAS SOPS 89964 HAS SOUS 72376 HAS SOUPS 72376 WITH SCORE 72465.964
AT ITER 3800 NEW BEST:: SOT 153144 SOS 89964 HAS SOPS 89964 HAS SOUS 72371 HAS SOUPS 72371 WITH SCORE 72460.964
AT ITER 3856 NEW BEST:: SOT 153144 SOS 89960 HAS SOPS 89960 HAS SOUS 72368 HAS SOUPS 72368 WITH SCORE 72457.96
AT ITER 3857 NEW BEST:: SOT 153103 SOS 89885 HAS SOPS 89885 HAS SOUS 72274 HAS SOUPS 72274 WITH SCORE 72363.885
AT ITER 3882 NEW BEST:: SOT 153103 SOS 89861 HAS SOPS 89861 HAS SOUS 72254 HAS SOUPS 72254 WITH SCORE 72343.861
AT ITER 3883 NEW BEST:: SOT 152842 SOS 89703 HAS SOPS 89703 HAS SOUS 72207 HAS SOUPS 72207 WITH SCORE 72296.703
AT ITER 3886 NEW BEST:: SOT 152842 SOS 89658 HAS SOPS 89658 HAS SOUS 72207 HAS SOUPS 72207 WITH SCORE 72296.658
AT ITER 3892 NEW BEST:: SOT 152573 SOS 89389 HAS SOPS 89389 HAS SOUS 72105 HAS SOUPS 72105 WITH SCORE 72194.389
AT ITER 3893 NEW BEST:: SOT 152573 SOS 87873 HAS SOPS 87873 HAS SOUS 72105 HAS SOUPS 72105 WITH SCORE 72192.873
AT ITER 3912 NEW BEST:: SOT 152573 SOS 87855 HAS SOPS 87855 HAS SOUS 72105 HAS SOUPS 72105 WITH SCORE 72192.855
AT ITER 3917 NEW BEST:: SOT 152573 SOS 87868 HAS SOPS 87868 HAS SOUS 72103 HAS SOUPS 72103 WITH SCORE 72190.868
AT ITER 3943 NEW BEST:: SOT 152573 SOS 87853 HAS SOPS 87853 HAS SOUS 72103 HAS SOUPS 72103 WITH SCORE 72190.853
AT ITER 3963 NEW BEST:: SOT 152573 SOS 87731 HAS SOPS 87731 HAS SOUS 72103 HAS SOUPS 72103 WITH SCORE 72190.731
AT ITER 3968 NEW BEST:: SOT 152573 SOS 87721 HAS SOPS 87721 HAS SOUS 72093 HAS SOUPS 72093 WITH SCORE 72180.721
AT ITER 3976 NEW BEST:: SOT 152562 SOS 87710 HAS SOPS 87710 HAS SOUS 72085 HAS SOUPS 72085 WITH SCORE 72172.71
AT ITER 3977 NEW BEST:: SOT 152549 SOS 87697 HAS SOPS 87697 HAS SOUS 72077 HAS SOUPS 72077 WITH SCORE 72164.697
AT ITER 3985 NEW BEST:: SOT 152535 SOS 87683 HAS SOPS 87683 HAS SOUS 72063 HAS SOUPS 72063 WITH SCORE 72150.683
AT ITER 3998 NEW BEST:: SOT 152551 SOS 87692 HAS SOPS 87692 HAS SOUS 72051 HAS SOUPS 72051 WITH SCORE 72138.692
AT ITER 4011 NEW BEST:: SOT 152413 SOS 87650 HAS SOPS 87650 HAS SOUS 71951 HAS SOUPS 71951 WITH SCORE 72038.65
AT ITER 4026 NEW BEST:: SOT 152300 SOS 87537 HAS SOPS 87537 HAS SOUS 71890 HAS SOUPS 71890 WITH SCORE 71977.537
AT ITER 4031 NEW BEST:: SOT 152300 SOS 87514 HAS SOPS 87514 HAS SOUS 71890 HAS SOUPS 71890 WITH SCORE 71977.514
AT ITER 4033 NEW BEST:: SOT 152283 SOS 87497 HAS SOPS 87497 HAS SOUS 71873 HAS SOUPS 71873 WITH SCORE 71960.497
AT ITER 4034 NEW BEST:: SOT 152239 SOS 87533 HAS SOPS 87533 HAS SOUS 71872 HAS SOUPS 71872 WITH SCORE 71959.533
AT ITER 4037 NEW BEST:: SOT 152171 SOS 87465 HAS SOPS 87465 HAS SOUS 71801 HAS SOUPS 71801 WITH SCORE 71888.465
AT ITER 4055 NEW BEST:: SOT 152124 SOS 87366 HAS SOPS 87366 HAS SOUS 71696 HAS SOUPS 71696 WITH SCORE 71783.366
AT ITER 4070 NEW BEST:: SOT 152082 SOS 87360 HAS SOPS 87360 HAS SOUS 71649 HAS SOUPS 71649 WITH SCORE 71736.36
AT ITER 4093 NEW BEST:: SOT 152080 SOS 87358 HAS SOPS 87358 HAS SOUS 71609 HAS SOUPS 71609 WITH SCORE 71696.358
AT ITER 4104 NEW BEST:: SOT 152080 SOS 87349 HAS SOPS 87349 HAS SOUS 71603 HAS SOUPS 71603 WITH SCORE 71690.349
AT ITER 4115 NEW BEST:: SOT 152080 SOS 87291 HAS SOPS 87291 HAS SOUS 71603 HAS SOUPS 71603 WITH SCORE 71690.291
AT ITER 4137 NEW BEST:: SOT 152076 SOS 87377 HAS SOPS 87377 HAS SOUS 71599 HAS SOUPS 71599 WITH SCORE 71686.377
AT ITER 4147 NEW BEST:: SOT 152082 SOS 87309 HAS SOPS 87309 HAS SOUS 71530 HAS SOUPS 71530 WITH SCORE 71617.309
AT ITER 4148 NEW BEST:: SOT 152060 SOS 87287 HAS SOPS 87287 HAS SOUS 71524 HAS SOUPS 71524 WITH SCORE 71611.287
AT ITER 4158 NEW BEST:: SOT 152060 SOS 87282 HAS SOPS 87282 HAS SOUS 71524 HAS SOUPS 71524 WITH SCORE 71611.282
AT ITER 4165 NEW BEST:: SOT 152060 SOS 87433 HAS SOPS 87433 HAS SOUS 71515 HAS SOUPS 71515 WITH SCORE 71602.433
AT ITER 4169 NEW BEST:: SOT 152060 SOS 87396 HAS SOPS 87396 HAS SOUS 71515 HAS SOUPS 71515 WITH SCORE 71602.396
AT ITER 4176 NEW BEST:: SOT 152060 SOS 87343 HAS SOPS 87343 HAS SOUS 71515 HAS SOUPS 71515 WITH SCORE 71602.343
AT ITER 4187 NEW BEST:: SOT 152017 SOS 87300 HAS SOPS 87300 HAS SOUS 71475 HAS SOUPS 71475 WITH SCORE 71562.3
AT ITER 4190 NEW BEST:: SOT 152017 SOS 87283 HAS SOPS 87283 HAS SOUS 71475 HAS SOUPS 71475 WITH SCORE 71562.283
AT ITER 4194 NEW BEST:: SOT 152017 SOS 87243 HAS SOPS 87243 HAS SOUS 71475 HAS SOUPS 71475 WITH SCORE 71562.243
AT ITER 4204 NEW BEST:: SOT 151993 SOS 87219 HAS SOPS 87219 HAS SOUS 71457 HAS SOUPS 71457 WITH SCORE 71544.219
AT ITER 4225 NEW BEST:: SOT 151949 SOS 87518 HAS SOPS 87518 HAS SOUS 71445 HAS SOUPS 71445 WITH SCORE 71532.518
AT ITER 4240 NEW BEST:: SOT 151949 SOS 87507 HAS SOPS 87507 HAS SOUS 71404 HAS SOUPS 71404 WITH SCORE 71491.507
AT ITER 4246 NEW BEST:: SOT 151958 SOS 87478 HAS SOPS 87478 HAS SOUS 71382 HAS SOUPS 71382 WITH SCORE 71469.478
AT ITER 4254 NEW BEST:: SOT 151958 SOS 87430 HAS SOPS 87430 HAS SOUS 71382 HAS SOUPS 71382 WITH SCORE 71469.43
AT ITER 4265 NEW BEST:: SOT 151958 SOS 87459 HAS SOPS 87459 HAS SOUS 71375 HAS SOUPS 71375 WITH SCORE 71462.459
AT ITER 4270 NEW BEST:: SOT 151974 SOS 87472 HAS SOPS 87472 HAS SOUS 71355 HAS SOUPS 71355 WITH SCORE 71442.472
AT ITER 4306 NEW BEST:: SOT 151973 SOS 87471 HAS SOPS 87471 HAS SOUS 71354 HAS SOUPS 71354 WITH SCORE 71441.471
AT ITER 4307 NEW BEST:: SOT 151973 SOS 87492 HAS SOPS 87492 HAS SOUS 71350 HAS SOUPS 71350 WITH SCORE 71437.492
AT ITER 4310 NEW BEST:: SOT 151831 SOS 87350 HAS SOPS 87350 HAS SOUS 71282 HAS SOUPS 71282 WITH SCORE 71369.35
AT ITER 4313 NEW BEST:: SOT 151831 SOS 87350 HAS SOPS 87350 HAS SOUS 71272 HAS SOUPS 71272 WITH SCORE 71359.35
AT ITER 4314 NEW BEST:: SOT 151595 SOS 87080 HAS SOPS 87080 HAS SOUS 71257 HAS SOUPS 71257 WITH SCORE 71344.08
AT ITER 4318 NEW BEST:: SOT 151595 SOS 87031 HAS SOPS 87031 HAS SOUS 71257 HAS SOUPS 71257 WITH SCORE 71344.031
AT ITER 4320 NEW BEST:: SOT 151595 SOS 86889 HAS SOPS 86889 HAS SOUS 71251 HAS SOUPS 71251 WITH SCORE 71337.889
AT ITER 4334 NEW BEST:: SOT 151496 SOS 86790 HAS SOPS 86790 HAS SOUS 71152 HAS SOUPS 71152 WITH SCORE 71238.79
AT ITER 4347 NEW BEST:: SOT 151496 SOS 86781 HAS SOPS 86781 HAS SOUS 71152 HAS SOUPS 71152 WITH SCORE 71238.781
AT ITER 4354 NEW BEST:: SOT 151496 SOS 86761 HAS SOPS 86761 HAS SOUS 71152 HAS SOUPS 71152 WITH SCORE 71238.761
AT ITER 4369 NEW BEST:: SOT 151446 SOS 86711 HAS SOPS 86711 HAS SOUS 71075 HAS SOUPS 71075 WITH SCORE 71161.711
AT ITER 4379 NEW BEST:: SOT 151446 SOS 86636 HAS SOPS 86636 HAS SOUS 71075 HAS SOUPS 71075 WITH SCORE 71161.636
AT ITER 4383 NEW BEST:: SOT 151409 SOS 86599 HAS SOPS 86599 HAS SOUS 70992 HAS SOUPS 70992 WITH SCORE 71078.599
AT ITER 4388 NEW BEST:: SOT 151280 SOS 88196 HAS SOPS 88196 HAS SOUS 70877 HAS SOUPS 70877 WITH SCORE 70965.196
AT ITER 4395 NEW BEST:: SOT 151280 SOS 88163 HAS SOPS 88163 HAS SOUS 70877 HAS SOUPS 70877 WITH SCORE 70965.163
AT ITER 4396 NEW BEST:: SOT 151280 SOS 88071 HAS SOPS 88071 HAS SOUS 70877 HAS SOUPS 70877 WITH SCORE 70965.071
AT ITER 4398 NEW BEST:: SOT 151200 SOS 88245 HAS SOPS 88245 HAS SOUS 70834 HAS SOUPS 70834 WITH SCORE 70922.245
AT ITER 4399 NEW BEST:: SOT 151200 SOS 88205 HAS SOPS 88205 HAS SOUS 70757 HAS SOUPS 70757 WITH SCORE 70845.205
AT ITER 4426 NEW BEST:: SOT 150726 SOS 87690 HAS SOPS 87690 HAS SOUS 70709 HAS SOUPS 70709 WITH SCORE 70796.69
AT ITER 4431 NEW BEST:: SOT 150732 SOS 87696 HAS SOPS 87696 HAS SOUS 70672 HAS SOUPS 70672 WITH SCORE 70759.696
AT ITER 4450 NEW BEST:: SOT 150732 SOS 87667 HAS SOPS 87667 HAS SOUS 70672 HAS SOUPS 70672 WITH SCORE 70759.667
AT ITER 4455 NEW BEST:: SOT 150722 SOS 87655 HAS SOPS 87655 HAS SOUS 70656 HAS SOUPS 70656 WITH SCORE 70743.655
AT ITER 4456 NEW BEST:: SOT 150624 SOS 88045 HAS SOPS 88045 HAS SOUS 70624 HAS SOUPS 70624 WITH SCORE 70712.045
AT ITER 4462 NEW BEST:: SOT 150639 SOS 88078 HAS SOPS 88078 HAS SOUS 70619 HAS SOUPS 70619 WITH SCORE 70707.078
AT ITER 4480 NEW BEST:: SOT 150636 SOS 88075 HAS SOPS 88075 HAS SOUS 70616 HAS SOUPS 70616 WITH SCORE 70704.075
AT ITER 4486 NEW BEST:: SOT 150636 SOS 88046 HAS SOPS 88046 HAS SOUS 70615 HAS SOUPS 70615 WITH SCORE 70703.046
AT ITER 4511 NEW BEST:: SOT 150636 SOS 88038 HAS SOPS 88038 HAS SOUS 70615 HAS SOUPS 70615 WITH SCORE 70703.038
AT ITER 4517 NEW BEST:: SOT 150526 SOS 88014 HAS SOPS 88014 HAS SOUS 70507 HAS SOUPS 70507 WITH SCORE 70595.014
AT ITER 4548 NEW BEST:: SOT 150546 SOS 88076 HAS SOPS 88076 HAS SOUS 70464 HAS SOUPS 70464 WITH SCORE 70552.076
AT ITER 4554 NEW BEST:: SOT 150510 SOS 88040 HAS SOPS 88040 HAS SOUS 70415 HAS SOUPS 70415 WITH SCORE 70503.04
AT ITER 4567 NEW BEST:: SOT 150510 SOS 88040 HAS SOPS 88040 HAS SOUS 70394 HAS SOUPS 70394 WITH SCORE 70482.04
AT ITER 4569 NEW BEST:: SOT 150504 SOS 88034 HAS SOPS 88034 HAS SOUS 70388 HAS SOUPS 70388 WITH SCORE 70476.034
AT ITER 4572 NEW BEST:: SOT 150566 SOS 88038 HAS SOPS 88038 HAS SOUS 70360 HAS SOUPS 70360 WITH SCORE 70448.038
AT ITER 4600 NEW BEST:: SOT 150566 SOS 87991 HAS SOPS 87991 HAS SOUS 70360 HAS SOUPS 70360 WITH SCORE 70447.991
AT ITER 4615 NEW BEST:: SOT 150535 SOS 88029 HAS SOPS 88029 HAS SOUS 70320 HAS SOUPS 70320 WITH SCORE 70408.029
AT ITER 4622 NEW BEST:: SOT 150535 SOS 88026 HAS SOPS 88026 HAS SOUS 70320 HAS SOUPS 70320 WITH SCORE 70408.026
AT ITER 4623 NEW BEST:: SOT 150367 SOS 87858 HAS SOPS 87858 HAS SOUS 70244 HAS SOUPS 70244 WITH SCORE 70331.858
AT ITER 4625 NEW BEST:: SOT 150367 SOS 87855 HAS SOPS 87855 HAS SOUS 70244 HAS SOUPS 70244 WITH SCORE 70331.855
AT ITER 4634 NEW BEST:: SOT 150366 SOS 87998 HAS SOPS 87998 HAS SOUS 70211 HAS SOUPS 70211 WITH SCORE 70298.998
AT ITER 4639 NEW BEST:: SOT 150366 SOS 87973 HAS SOPS 87973 HAS SOUS 70211 HAS SOUPS 70211 WITH SCORE 70298.973
AT ITER 4641 NEW BEST:: SOT 150366 SOS 87939 HAS SOPS 87939 HAS SOUS 70211 HAS SOUPS 70211 WITH SCORE 70298.939
AT ITER 4654 NEW BEST:: SOT 150357 SOS 88065 HAS SOPS 88065 HAS SOUS 70135 HAS SOUPS 70135 WITH SCORE 70223.065
AT ITER 4657 NEW BEST:: SOT 150357 SOS 88065 HAS SOPS 88065 HAS SOUS 70129 HAS SOUPS 70129 WITH SCORE 70217.065
AT ITER 4660 NEW BEST:: SOT 150339 SOS 88047 HAS SOPS 88047 HAS SOUS 70111 HAS SOUPS 70111 WITH SCORE 70199.047
AT ITER 4667 NEW BEST:: SOT 150339 SOS 87996 HAS SOPS 87996 HAS SOUS 69999 HAS SOUPS 69999 WITH SCORE 70086.996
AT ITER 4677 NEW BEST:: SOT 150324 SOS 87981 HAS SOPS 87981 HAS SOUS 69984 HAS SOUPS 69984 WITH SCORE 70071.981
AT ITER 4678 NEW BEST:: SOT 150324 SOS 87484 HAS SOPS 87484 HAS SOUS 69984 HAS SOUPS 69984 WITH SCORE 70071.484
AT ITER 4680 NEW BEST:: SOT 150324 SOS 87482 HAS SOPS 87482 HAS SOUS 69984 HAS SOUPS 69984 WITH SCORE 70071.482
AT ITER 4721 NEW BEST:: SOT 150271 SOS 87429 HAS SOPS 87429 HAS SOUS 69861 HAS SOUPS 69861 WITH SCORE 69948.429
AT ITER 4725 NEW BEST:: SOT 150271 SOS 87420 HAS SOPS 87420 HAS SOUS 69861 HAS SOUPS 69861 WITH SCORE 69948.42
AT ITER 4729 NEW BEST:: SOT 150271 SOS 87263 HAS SOPS 87263 HAS SOUS 69830 HAS SOUPS 69830 WITH SCORE 69917.263
AT ITER 4734 NEW BEST:: SOT 149900 SOS 86865 HAS SOPS 86865 HAS SOUS 69561 HAS SOUPS 69561 WITH SCORE 69647.865
AT ITER 4738 NEW BEST:: SOT 149902 SOS 86867 HAS SOPS 86867 HAS SOUS 69553 HAS SOUPS 69553 WITH SCORE 69639.867
AT ITER 4746 NEW BEST:: SOT 149902 SOS 86840 HAS SOPS 86840 HAS SOUS 69523 HAS SOUPS 69523 WITH SCORE 69609.84
AT ITER 4799 NEW BEST:: SOT 149884 SOS 86874 HAS SOPS 86874 HAS SOUS 69512 HAS SOUPS 69512 WITH SCORE 69598.874
AT ITER 4811 NEW BEST:: SOT 149884 SOS 86830 HAS SOPS 86830 HAS SOUS 69512 HAS SOUPS 69512 WITH SCORE 69598.83
AT ITER 4816 NEW BEST:: SOT 149877 SOS 86960 HAS SOPS 86960 HAS SOUS 69492 HAS SOUPS 69492 WITH SCORE 69578.96
AT ITER 4819 NEW BEST:: SOT 149877 SOS 86957 HAS SOPS 86957 HAS SOUS 69492 HAS SOUPS 69492 WITH SCORE 69578.957
AT ITER 4824 NEW BEST:: SOT 149865 SOS 86945 HAS SOPS 86945 HAS SOUS 69483 HAS SOUPS 69483 WITH SCORE 69569.945
AT ITER 4825 NEW BEST:: SOT 149870 SOS 87025 HAS SOPS 87025 HAS SOUS 69474 HAS SOUPS 69474 WITH SCORE 69561.025
AT ITER 4829 NEW BEST:: SOT 149869 SOS 86932 HAS SOPS 86932 HAS SOUS 69433 HAS SOUPS 69433 WITH SCORE 69519.932
AT ITER 4830 NEW BEST:: SOT 149850 SOS 86913 HAS SOPS 86913 HAS SOUS 69421 HAS SOUPS 69421 WITH SCORE 69507.913
AT ITER 4839 NEW BEST:: SOT 149850 SOS 86911 HAS SOPS 86911 HAS SOUS 69419 HAS SOUPS 69419 WITH SCORE 69505.911
AT ITER 4846 NEW BEST:: SOT 149539 SOS 89156 HAS SOPS 89156 HAS SOUS 69281 HAS SOUPS 69281 WITH SCORE 69370.156
AT ITER 4848 NEW BEST:: SOT 149530 SOS 89147 HAS SOPS 89147 HAS SOUS 69272 HAS SOUPS 69272 WITH SCORE 69361.147
AT ITER 4869 NEW BEST:: SOT 149509 SOS 89126 HAS SOPS 89126 HAS SOUS 69251 HAS SOUPS 69251 WITH SCORE 69340.126
AT ITER 4871 NEW BEST:: SOT 149509 SOS 89123 HAS SOPS 89123 HAS SOUS 69248 HAS SOUPS 69248 WITH SCORE 69337.123
AT ITER 4879 NEW BEST:: SOT 149509 SOS 89114 HAS SOPS 89114 HAS SOUS 69248 HAS SOUPS 69248 WITH SCORE 69337.114
AT ITER 4894 NEW BEST:: SOT 149509 SOS 89109 HAS SOPS 89109 HAS SOUS 69248 HAS SOUPS 69248 WITH SCORE 69337.109
AT ITER 4895 NEW BEST:: SOT 149509 SOS 89100 HAS SOPS 89100 HAS SOUS 69239 HAS SOUPS 69239 WITH SCORE 69328.1
AT ITER 4898 NEW BEST:: SOT 149509 SOS 89029 HAS SOPS 89029 HAS SOUS 69239 HAS SOUPS 69239 WITH SCORE 69328.029
AT ITER 4901 NEW BEST:: SOT 149485 SOS 89005 HAS SOPS 89005 HAS SOUS 69215 HAS SOUPS 69215 WITH SCORE 69304.005
AT ITER 4907 NEW BEST:: SOT 149485 SOS 89005 HAS SOPS 89005 HAS SOUS 69195 HAS SOUPS 69195 WITH SCORE 69284.005
AT ITER 4927 NEW BEST:: SOT 149485 SOS 89005 HAS SOPS 89005 HAS SOUS 69178 HAS SOUPS 69178 WITH SCORE 69267.005
AT ITER 4950 NEW BEST:: SOT 149460 SOS 88999 HAS SOPS 88999 HAS SOUS 69164 HAS SOUPS 69164 WITH SCORE 69252.999
AT ITER 4958 NEW BEST:: SOT 149460 SOS 88999 HAS SOPS 88999 HAS SOUS 69163 HAS SOUPS 69163 WITH SCORE 69251.999
AT ITER 4972 NEW BEST:: SOT 149460 SOS 88970 HAS SOPS 88970 HAS SOUS 69163 HAS SOUPS 69163 WITH SCORE 69251.97
AT ITER 4977 NEW BEST:: SOT 149459 SOS 88969 HAS SOPS 88969 HAS SOUS 69162 HAS SOUPS 69162 WITH SCORE 69250.969
AT ITER 4989 NEW BEST:: SOT 149457 SOS 88967 HAS SOPS 88967 HAS SOUS 69160 HAS SOUPS 69160 WITH SCORE 69248.967
AT ITER 4991 NEW BEST:: SOT 149434 SOS 88944 HAS SOPS 88944 HAS SOUS 69137 HAS SOUPS 69137 WITH SCORE 69225.944
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: NQueens-PT-20-CTLCardinality-00 (EU( (AX( potential( ( 3 ) <= (tk(P422)) ))),(AG( potential( (tk(P123)) <= (tk(P480)) ))) ))
PROPERTY: NQueens-PT-20-CTLCardinality-01 (! (AF(potential( ( 2 ) <= (tk(P108)) ))))
PROPERTY: NQueens-PT-20-CTLCardinality-02 (EX( ( potential( ( 1 ) <= (tk(P17)) ) & (EX( potential( ( 1 ) <= (tk(P419)) ))) )))
PROPERTY: NQueens-PT-20-CTLCardinality-03 ( (EF((EF(potential( ( 2 ) <= (tk(P315)) ))))) & (AU( potential( (tk(P87)) <= (tk(P432)) ),(! potential( ( 3 ) <= (tk(P263)) )) )) )
PROPERTY: NQueens-PT-20-CTLCardinality-04 ( ( (EG( ( potential( ( 1 ) <= (tk(P440)) ) & potential( ( 1 ) <= (tk(P71)) ) ))) | (! (AF(potential( ( 3 ) <= (tk(P102)) )))) ) & (! (! ( (! potential( ( 3 ) <= (tk(P122)) )) | (! potential( (tk(P247)) <= (tk(P425)) )) ))) )
PROPERTY: NQueens-PT-20-CTLCardinality-05 (! (EX( (EG( potential( (tk(P477)) <= (tk(P394)) ))))))
PROPERTY: NQueens-PT-20-CTLCardinality-06 (AF(( (EG( potential( (tk(P149)) <= (tk(P364)) ))) & ( potential( ( 1 ) <= (tk(P492)) ) | ( potential( ( 3 ) <= (tk(P106)) ) | potential( ( 1 ) <= (tk(P512)) ) ) ) )))
PROPERTY: NQueens-PT-20-CTLCardinality-07 (AX( (EX( (! potential( (tk(P201)) <= (tk(P349)) ))))))
PROPERTY: NQueens-PT-20-CTLCardinality-08 ( (EU( potential( (tk(P174)) <= (tk(P62)) ),( potential( ( 2 ) <= (tk(P482)) ) & potential( ( 3 ) <= (tk(P220)) ) ) )) | ( ( (EX( potential( (tk(P412)) <= (tk(P83)) ))) | (! potential( ( 3 ) <= (tk(P277)) )) ) & ( ( ( potential( (tk(P189)) <= (tk(P322)) ) & potential( ( 3 ) <= (tk(P224)) ) ) & potential( (tk(P281)) <= (tk(P463)) ) ) & potential( ( 3 ) <= (tk(P300)) ) ) ) )
PROPERTY: NQueens-PT-20-CTLCardinality-09 ( potential( ( 1 ) <= (tk(P370)) ) | (EG( ( (! potential( ( 2 ) <= (tk(P388)) )) | potential( ( 2 ) <= (tk(P146)) ) ))) )
PROPERTY: NQueens-PT-20-CTLCardinality-10 (AU( (EF(potential( ( 3 ) <= (tk(P336)) ))),(EF(potential( ( 2 ) <= (tk(P493)) ))) ))
PROPERTY: NQueens-PT-20-CTLCardinality-11 ( (EF((AX( potential( ( 1 ) <= (tk(P380)) ))))) & ( (AF(( potential( ( 1 ) <= (tk(P413)) ) | potential( (tk(P499)) <= (tk(P138)) ) ))) | (EX( ( potential( ( 1 ) <= (tk(P400)) ) & potential( ( 3 ) <= (tk(P123)) ) ))) ) )
PROPERTY: NQueens-PT-20-CTLCardinality-12 (! (EU( ( potential( (tk(P427)) <= (tk(P265)) ) | potential( (tk(P304)) <= (tk(P284)) ) ),( potential( ( 3 ) <= (tk(P281)) ) & potential( ( 1 ) <= (tk(P291)) ) ) )))
PROPERTY: NQueens-PT-20-CTLCardinality-13 (AU( (! (! potential( (tk(P314)) <= (tk(P487)) ))),(AG( potential( (tk(P228)) <= (tk(P498)) ))) ))
PROPERTY: NQueens-PT-20-CTLCardinality-14 (AU( (EG( potential( (tk(P150)) <= (tk(P302)) ))),(AX( potential( (tk(P66)) <= (tk(P326)) ))) ))
PROPERTY: NQueens-PT-20-CTLCardinality-15 (EU( (! (! potential( (tk(P158)) <= (tk(P412)) ))),(AG( potential( ( 1 ) <= (tk(P76)) ))) ))

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-20"
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-20, 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-158961250100155"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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