Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538800468.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 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 Sudoku-PT-BN16, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538800468
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 4.5K Jun 3 09:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Jun 3 09:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Jun 3 09:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Jun 3 09:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 622K May 14 10:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 2.1M May 14 10:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2M May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 6.8M May 14 10:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.9K Jun 3 09:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Jun 3 09:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.8K Jun 3 09:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Jun 3 09:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Jun 3 09:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Jun 3 09:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 2.5M May 12 20:42 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 Sudoku-PT-BN16-CTLFireability-00
FORMULA_NAME Sudoku-PT-BN16-CTLFireability-01
FORMULA_NAME Sudoku-PT-BN16-CTLFireability-02
FORMULA_NAME Sudoku-PT-BN16-CTLFireability-03
FORMULA_NAME Sudoku-PT-BN16-CTLFireability-04
FORMULA_NAME Sudoku-PT-BN16-CTLFireability-05
FORMULA_NAME Sudoku-PT-BN16-CTLFireability-06
FORMULA_NAME Sudoku-PT-BN16-CTLFireability-07
FORMULA_NAME Sudoku-PT-BN16-CTLFireability-08
FORMULA_NAME Sudoku-PT-BN16-CTLFireability-09
FORMULA_NAME Sudoku-PT-BN16-CTLFireability-10
FORMULA_NAME Sudoku-PT-BN16-CTLFireability-11
FORMULA_NAME Sudoku-PT-BN16-CTLFireability-12
FORMULA_NAME Sudoku-PT-BN16-CTLFireability-13
FORMULA_NAME Sudoku-PT-BN16-CTLFireability-14
FORMULA_NAME Sudoku-PT-BN16-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1591336624829

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (PT), instance BN16
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 5120 places, 4096 transitions, 20480 arcs.
AT ITER 0 NEW BEST:: SOT 17376341 SOS 12162353 HAS SOPS 12162353 HAS SOUS 8736609 HAS SOUPS 8736609 WITH SCORE 8748771.353
AT ITER 8 NEW BEST:: SOT 17376341 SOS 12161775 HAS SOPS 12161775 HAS SOUS 8736609 HAS SOUPS 8736609 WITH SCORE 8748770.775
AT ITER 24 NEW BEST:: SOT 17373253 SOS 12158679 HAS SOPS 12158679 HAS SOUS 8733867 HAS SOUPS 8733867 WITH SCORE 8746025.679
AT ITER 26 NEW BEST:: SOT 17373253 SOS 12158580 HAS SOPS 12158580 HAS SOUS 8733867 HAS SOUPS 8733867 WITH SCORE 8746025.58
AT ITER 30 NEW BEST:: SOT 17373253 SOS 12157150 HAS SOPS 12157150 HAS SOUS 8733867 HAS SOUPS 8733867 WITH SCORE 8746024.15
AT ITER 35 NEW BEST:: SOT 17373253 SOS 12156799 HAS SOPS 12156799 HAS SOUS 8733867 HAS SOUPS 8733867 WITH SCORE 8746023.799
AT ITER 37 NEW BEST:: SOT 17373253 SOS 12156050 HAS SOPS 12156050 HAS SOUS 8733867 HAS SOUPS 8733867 WITH SCORE 8746023.05
AT ITER 39 NEW BEST:: SOT 17373253 SOS 12145100 HAS SOPS 12145100 HAS SOUS 8733867 HAS SOUPS 8733867 WITH SCORE 8746012.1
AT ITER 44 NEW BEST:: SOT 17373253 SOS 12144511 HAS SOPS 12144511 HAS SOUS 8733867 HAS SOUPS 8733867 WITH SCORE 8746011.511
AT ITER 45 NEW BEST:: SOT 17373253 SOS 12144138 HAS SOPS 12144138 HAS SOUS 8733867 HAS SOUPS 8733867 WITH SCORE 8746011.138
AT ITER 48 NEW BEST:: SOT 17373253 SOS 12118735 HAS SOPS 12118735 HAS SOUS 8733867 HAS SOUPS 8733867 WITH SCORE 8745985.735
AT ITER 51 NEW BEST:: SOT 17372696 SOS 12118243 HAS SOPS 12118243 HAS SOUS 8733628 HAS SOUPS 8733628 WITH SCORE 8745746.243
AT ITER 52 NEW BEST:: SOT 17370605 SOS 12117459 HAS SOPS 12117459 HAS SOUS 8732604 HAS SOUPS 8732604 WITH SCORE 8744721.459
AT ITER 58 NEW BEST:: SOT 17370605 SOS 12098415 HAS SOPS 12098415 HAS SOUS 8732604 HAS SOUPS 8732604 WITH SCORE 8744702.415
AT ITER 62 NEW BEST:: SOT 17370605 SOS 12089079 HAS SOPS 12089079 HAS SOUS 8732604 HAS SOUPS 8732604 WITH SCORE 8744693.079
AT ITER 64 NEW BEST:: SOT 17370605 SOS 12088608 HAS SOPS 12088608 HAS SOUS 8732604 HAS SOUPS 8732604 WITH SCORE 8744692.608
AT ITER 65 NEW BEST:: SOT 17370605 SOS 12087631 HAS SOPS 12087631 HAS SOUS 8732604 HAS SOUPS 8732604 WITH SCORE 8744691.631
AT ITER 77 NEW BEST:: SOT 17370839 SOS 12087791 HAS SOPS 12087791 HAS SOUS 8732485 HAS SOUPS 8732485 WITH SCORE 8744572.791
AT ITER 84 NEW BEST:: SOT 17370839 SOS 12085810 HAS SOPS 12085810 HAS SOUS 8732485 HAS SOUPS 8732485 WITH SCORE 8744570.81
AT ITER 88 NEW BEST:: SOT 17370839 SOS 12081745 HAS SOPS 12081745 HAS SOUS 8732485 HAS SOUPS 8732485 WITH SCORE 8744566.745
AT ITER 91 NEW BEST:: SOT 17368604 SOS 12080961 HAS SOPS 12080961 HAS SOUS 8731281 HAS SOUPS 8731281 WITH SCORE 8743361.961
AT ITER 93 NEW BEST:: SOT 17368604 SOS 12078429 HAS SOPS 12078429 HAS SOUS 8731281 HAS SOUPS 8731281 WITH SCORE 8743359.429
AT ITER 95 NEW BEST:: SOT 17368604 SOS 12077882 HAS SOPS 12077882 HAS SOUS 8731281 HAS SOUPS 8731281 WITH SCORE 8743358.882
AT ITER 98 NEW BEST:: SOT 17368604 SOS 12077055 HAS SOPS 12077055 HAS SOUS 8731281 HAS SOUPS 8731281 WITH SCORE 8743358.055
AT ITER 100 NEW BEST:: SOT 17368604 SOS 12074823 HAS SOPS 12074823 HAS SOUS 8731281 HAS SOUPS 8731281 WITH SCORE 8743355.823
AT ITER 107 NEW BEST:: SOT 17368604 SOS 12073990 HAS SOPS 12073990 HAS SOUS 8731281 HAS SOUPS 8731281 WITH SCORE 8743354.99
AT ITER 108 NEW BEST:: SOT 17365094 SOS 12070752 HAS SOPS 12070752 HAS SOUS 8728366 HAS SOUPS 8728366 WITH SCORE 8740436.752
AT ITER 112 NEW BEST:: SOT 17365094 SOS 12070369 HAS SOPS 12070369 HAS SOUS 8728366 HAS SOUPS 8728366 WITH SCORE 8740436.369
AT ITER 120 NEW BEST:: SOT 17362217 SOS 12068301 HAS SOPS 12068301 HAS SOUS 8727205 HAS SOUPS 8727205 WITH SCORE 8739273.301
AT ITER 126 NEW BEST:: SOT 17362217 SOS 12066588 HAS SOPS 12066588 HAS SOUS 8727205 HAS SOUPS 8727205 WITH SCORE 8739271.588
AT ITER 127 NEW BEST:: SOT 17362217 SOS 12066527 HAS SOPS 12066527 HAS SOUS 8727205 HAS SOUPS 8727205 WITH SCORE 8739271.527
AT ITER 148 NEW BEST:: SOT 17359097 SOS 12063472 HAS SOPS 12063472 HAS SOUS 8724242 HAS SOUPS 8724242 WITH SCORE 8736305.472
AT ITER 150 NEW BEST:: SOT 17358782 SOS 12063375 HAS SOPS 12063375 HAS SOUS 8724230 HAS SOUPS 8724230 WITH SCORE 8736293.375
AT ITER 153 NEW BEST:: SOT 17354822 SOS 12060218 HAS SOPS 12060218 HAS SOUS 8720666 HAS SOUPS 8720666 WITH SCORE 8732726.218
AT ITER 158 NEW BEST:: SOT 17354822 SOS 12059712 HAS SOPS 12059712 HAS SOUS 8720666 HAS SOUPS 8720666 WITH SCORE 8732725.712
AT ITER 163 NEW BEST:: SOT 17354822 SOS 12058860 HAS SOPS 12058860 HAS SOUS 8720666 HAS SOUPS 8720666 WITH SCORE 8732724.86
AT ITER 164 NEW BEST:: SOT 17354822 SOS 12057249 HAS SOPS 12057249 HAS SOUS 8720666 HAS SOUPS 8720666 WITH SCORE 8732723.249
AT ITER 179 NEW BEST:: SOT 17354822 SOS 12056051 HAS SOPS 12056051 HAS SOUS 8720624 HAS SOUPS 8720624 WITH SCORE 8732680.051
AT ITER 183 NEW BEST:: SOT 17354822 SOS 12055092 HAS SOPS 12055092 HAS SOUS 8720624 HAS SOUPS 8720624 WITH SCORE 8732679.092
AT ITER 186 NEW BEST:: SOT 17350427 SOS 12050831 HAS SOPS 12050831 HAS SOUS 8716561 HAS SOUPS 8716561 WITH SCORE 8728611.831
AT ITER 195 NEW BEST:: SOT 17350427 SOS 12050831 HAS SOPS 12050831 HAS SOUS 8716544 HAS SOUPS 8716544 WITH SCORE 8728594.831
AT ITER 205 NEW BEST:: SOT 17350427 SOS 12050032 HAS SOPS 12050032 HAS SOUS 8716544 HAS SOUPS 8716544 WITH SCORE 8728594.032
AT ITER 212 NEW BEST:: SOT 17349521 SOS 12049251 HAS SOPS 12049251 HAS SOUS 8715944 HAS SOUPS 8715944 WITH SCORE 8727993.251
AT ITER 234 NEW BEST:: SOT 17345531 SOS 12045733 HAS SOPS 12045733 HAS SOUS 8712147 HAS SOUPS 8712147 WITH SCORE 8724192.733
AT ITER 235 NEW BEST:: SOT 17345531 SOS 12044488 HAS SOPS 12044488 HAS SOUS 8712147 HAS SOUPS 8712147 WITH SCORE 8724191.488
AT ITER 240 NEW BEST:: SOT 17345531 SOS 12043459 HAS SOPS 12043459 HAS SOUS 8712132 HAS SOUPS 8712132 WITH SCORE 8724175.459
AT ITER 243 NEW BEST:: SOT 17345531 SOS 12043027 HAS SOPS 12043027 HAS SOUS 8712132 HAS SOUPS 8712132 WITH SCORE 8724175.027
AT ITER 245 NEW BEST:: SOT 17345531 SOS 12040079 HAS SOPS 12040079 HAS SOUS 8712132 HAS SOUPS 8712132 WITH SCORE 8724172.079
AT ITER 253 NEW BEST:: SOT 17345531 SOS 12039132 HAS SOPS 12039132 HAS SOUS 8712132 HAS SOUPS 8712132 WITH SCORE 8724171.132
AT ITER 258 NEW BEST:: SOT 17345531 SOS 12008525 HAS SOPS 12008525 HAS SOUS 8712132 HAS SOUPS 8712132 WITH SCORE 8724140.525
AT ITER 264 NEW BEST:: SOT 17345531 SOS 12007182 HAS SOPS 12007182 HAS SOUS 8712132 HAS SOUPS 8712132 WITH SCORE 8724139.182
AT ITER 277 NEW BEST:: SOT 17345531 SOS 12006216 HAS SOPS 12006216 HAS SOUS 8712132 HAS SOUPS 8712132 WITH SCORE 8724138.216
AT ITER 309 NEW BEST:: SOT 17345531 SOS 12004708 HAS SOPS 12004708 HAS SOUS 8712132 HAS SOUPS 8712132 WITH SCORE 8724136.708
AT ITER 312 NEW BEST:: SOT 17345531 SOS 12003818 HAS SOPS 12003818 HAS SOUS 8712132 HAS SOUPS 8712132 WITH SCORE 8724135.818
AT ITER 321 NEW BEST:: SOT 17345531 SOS 12003199 HAS SOPS 12003199 HAS SOUS 8712132 HAS SOUPS 8712132 WITH SCORE 8724135.199
AT ITER 335 NEW BEST:: SOT 17345718 SOS 12004008 HAS SOPS 12004008 HAS SOUS 8712086 HAS SOUPS 8712086 WITH SCORE 8724090.008
AT ITER 336 NEW BEST:: SOT 17345718 SOS 12002716 HAS SOPS 12002716 HAS SOUS 8712086 HAS SOUPS 8712086 WITH SCORE 8724088.716
AT ITER 340 NEW BEST:: SOT 17345718 SOS 12002603 HAS SOPS 12002603 HAS SOUS 8712086 HAS SOUPS 8712086 WITH SCORE 8724088.603
AT ITER 343 NEW BEST:: SOT 17345718 SOS 12001105 HAS SOPS 12001105 HAS SOUS 8712086 HAS SOUPS 8712086 WITH SCORE 8724087.105
AT ITER 347 NEW BEST:: SOT 17345718 SOS 11997520 HAS SOPS 11997520 HAS SOUS 8712086 HAS SOUPS 8712086 WITH SCORE 8724083.52
AT ITER 351 NEW BEST:: SOT 17345718 SOS 11996769 HAS SOPS 11996769 HAS SOUS 8712086 HAS SOUPS 8712086 WITH SCORE 8724082.769
AT ITER 356 NEW BEST:: SOT 17345718 SOS 11991377 HAS SOPS 11991377 HAS SOUS 8711936 HAS SOUPS 8711936 WITH SCORE 8723927.377
AT ITER 357 NEW BEST:: SOT 17345718 SOS 11989338 HAS SOPS 11989338 HAS SOUS 8711936 HAS SOUPS 8711936 WITH SCORE 8723925.338
AT ITER 363 NEW BEST:: SOT 17341466 SOS 12010168 HAS SOPS 12010168 HAS SOUS 8710431 HAS SOUPS 8710431 WITH SCORE 8722441.168
AT ITER 369 NEW BEST:: SOT 17341466 SOS 12008965 HAS SOPS 12008965 HAS SOUS 8710431 HAS SOUPS 8710431 WITH SCORE 8722439.965
AT ITER 372 NEW BEST:: SOT 17341466 SOS 12008503 HAS SOPS 12008503 HAS SOUS 8710431 HAS SOUPS 8710431 WITH SCORE 8722439.503
AT ITER 381 NEW BEST:: SOT 17341466 SOS 11988917 HAS SOPS 11988917 HAS SOUS 8710431 HAS SOUPS 8710431 WITH SCORE 8722419.917
AT ITER 389 NEW BEST:: SOT 17341466 SOS 11966879 HAS SOPS 11966879 HAS SOUS 8710431 HAS SOUPS 8710431 WITH SCORE 8722397.879
AT ITER 392 NEW BEST:: SOT 17341466 SOS 11965972 HAS SOPS 11965972 HAS SOUS 8710431 HAS SOUPS 8710431 WITH SCORE 8722396.972
AT ITER 394 NEW BEST:: SOT 17341466 SOS 11970079 HAS SOPS 11970079 HAS SOUS 8710247 HAS SOUPS 8710247 WITH SCORE 8722217.079
AT ITER 401 NEW BEST:: SOT 17341466 SOS 11968047 HAS SOPS 11968047 HAS SOUS 8710232 HAS SOUPS 8710232 WITH SCORE 8722200.047
AT ITER 402 NEW BEST:: SOT 17337086 SOS 11964690 HAS SOPS 11964690 HAS SOUS 8706650 HAS SOUPS 8706650 WITH SCORE 8718614.69
AT ITER 405 NEW BEST:: SOT 17337086 SOS 11962572 HAS SOPS 11962572 HAS SOUS 8706650 HAS SOUPS 8706650 WITH SCORE 8718612.572
AT ITER 416 NEW BEST:: SOT 17337086 SOS 11960934 HAS SOPS 11960934 HAS SOUS 8706650 HAS SOUPS 8706650 WITH SCORE 8718610.934
AT ITER 417 NEW BEST:: SOT 17337086 SOS 11958831 HAS SOPS 11958831 HAS SOUS 8706650 HAS SOUPS 8706650 WITH SCORE 8718608.831
AT ITER 423 NEW BEST:: SOT 17337086 SOS 11958240 HAS SOPS 11958240 HAS SOUS 8706650 HAS SOUPS 8706650 WITH SCORE 8718608.24
AT ITER 424 NEW BEST:: SOT 17337086 SOS 11957934 HAS SOPS 11957934 HAS SOUS 8706650 HAS SOUPS 8706650 WITH SCORE 8718607.934
AT ITER 426 NEW BEST:: SOT 17337086 SOS 11957565 HAS SOPS 11957565 HAS SOUS 8706650 HAS SOUPS 8706650 WITH SCORE 8718607.565
AT ITER 429 NEW BEST:: SOT 17337086 SOS 11956623 HAS SOPS 11956623 HAS SOUS 8706650 HAS SOUPS 8706650 WITH SCORE 8718606.623
AT ITER 435 NEW BEST:: SOT 17333786 SOS 11956063 HAS SOPS 11956063 HAS SOUS 8705963 HAS SOUPS 8705963 WITH SCORE 8717919.063
AT ITER 445 NEW BEST:: SOT 17333786 SOS 11940881 HAS SOPS 11940881 HAS SOUS 8705963 HAS SOUPS 8705963 WITH SCORE 8717903.881
AT ITER 448 NEW BEST:: SOT 17333786 SOS 11940881 HAS SOPS 11940881 HAS SOUS 8705949 HAS SOUPS 8705949 WITH SCORE 8717889.881
AT ITER 460 NEW BEST:: SOT 17333786 SOS 11940324 HAS SOPS 11940324 HAS SOUS 8705896 HAS SOUPS 8705896 WITH SCORE 8717836.324
AT ITER 463 NEW BEST:: SOT 17333786 SOS 11936656 HAS SOPS 11936656 HAS SOUS 8705896 HAS SOUPS 8705896 WITH SCORE 8717832.656
AT ITER 468 NEW BEST:: SOT 17333786 SOS 11935346 HAS SOPS 11935346 HAS SOUS 8705896 HAS SOUPS 8705896 WITH SCORE 8717831.346
AT ITER 477 NEW BEST:: SOT 17333786 SOS 11923455 HAS SOPS 11923455 HAS SOUS 8705896 HAS SOUPS 8705896 WITH SCORE 8717819.455
AT ITER 487 NEW BEST:: SOT 17333786 SOS 11894582 HAS SOPS 11894582 HAS SOUS 8705896 HAS SOUPS 8705896 WITH SCORE 8717790.582
AT ITER 488 NEW BEST:: SOT 17331146 SOS 11892066 HAS SOPS 11892066 HAS SOUS 8703543 HAS SOUPS 8703543 WITH SCORE 8715435.066
AT ITER 499 NEW BEST:: SOT 17331146 SOS 11890379 HAS SOPS 11890379 HAS SOUS 8703543 HAS SOUPS 8703543 WITH SCORE 8715433.379
AT ITER 500 NEW BEST:: SOT 17330024 SOS 11889635 HAS SOPS 11889635 HAS SOUS 8702799 HAS SOUPS 8702799 WITH SCORE 8714688.635
AT ITER 502 NEW BEST:: SOT 17327839 SOS 11887450 HAS SOPS 11887450 HAS SOUS 8700837 HAS SOUPS 8700837 WITH SCORE 8712724.45
AT ITER 506 NEW BEST:: SOT 17327839 SOS 11887450 HAS SOPS 11887450 HAS SOUS 8700822 HAS SOUPS 8700822 WITH SCORE 8712709.45
AT ITER 507 NEW BEST:: SOT 17328018 SOS 11887548 HAS SOPS 11887548 HAS SOUS 8700781 HAS SOUPS 8700781 WITH SCORE 8712668.548
AT ITER 510 NEW BEST:: SOT 17328018 SOS 11887164 HAS SOPS 11887164 HAS SOUS 8700781 HAS SOUPS 8700781 WITH SCORE 8712668.164
AT ITER 514 NEW BEST:: SOT 17328018 SOS 11885763 HAS SOPS 11885763 HAS SOUS 8700781 HAS SOUPS 8700781 WITH SCORE 8712666.763
AT ITER 518 NEW BEST:: SOT 17328018 SOS 11885013 HAS SOPS 11885013 HAS SOUS 8700781 HAS SOUPS 8700781 WITH SCORE 8712666.013
AT ITER 531 NEW BEST:: SOT 17328018 SOS 11882300 HAS SOPS 11882300 HAS SOUS 8700781 HAS SOUPS 8700781 WITH SCORE 8712663.3
AT ITER 533 NEW BEST:: SOT 17328018 SOS 11870778 HAS SOPS 11870778 HAS SOUS 8700781 HAS SOUPS 8700781 WITH SCORE 8712651.778
AT ITER 539 NEW BEST:: SOT 17328018 SOS 11869951 HAS SOPS 11869951 HAS SOUS 8700781 HAS SOUPS 8700781 WITH SCORE 8712650.951
AT ITER 542 NEW BEST:: SOT 17328018 SOS 11869606 HAS SOPS 11869606 HAS SOUS 8700781 HAS SOUPS 8700781 WITH SCORE 8712650.606
AT ITER 543 NEW BEST:: SOT 17328018 SOS 11869177 HAS SOPS 11869177 HAS SOUS 8700781 HAS SOUPS 8700781 WITH SCORE 8712650.177
AT ITER 546 NEW BEST:: SOT 17323489 SOS 11883047 HAS SOPS 11883047 HAS SOUS 8698805 HAS SOUPS 8698805 WITH SCORE 8710688.047
AT ITER 554 NEW BEST:: SOT 17322949 SOS 11882763 HAS SOPS 11882763 HAS SOUS 8698421 HAS SOUPS 8698421 WITH SCORE 8710303.763
AT ITER 571 NEW BEST:: SOT 17322949 SOS 11881696 HAS SOPS 11881696 HAS SOUS 8698380 HAS SOUPS 8698380 WITH SCORE 8710261.696
AT ITER 580 NEW BEST:: SOT 17322949 SOS 11881708 HAS SOPS 11881708 HAS SOUS 8698364 HAS SOUPS 8698364 WITH SCORE 8710245.708
AT ITER 582 NEW BEST:: SOT 17322560 SOS 11881410 HAS SOPS 11881410 HAS SOUS 8698107 HAS SOUPS 8698107 WITH SCORE 8709988.41
AT ITER 583 NEW BEST:: SOT 17322560 SOS 11880958 HAS SOPS 11880958 HAS SOUS 8698107 HAS SOUPS 8698107 WITH SCORE 8709987.958
AT ITER 592 NEW BEST:: SOT 17322560 SOS 11878573 HAS SOPS 11878573 HAS SOUS 8698107 HAS SOUPS 8698107 WITH SCORE 8709985.573
AT ITER 594 NEW BEST:: SOT 17322560 SOS 11877372 HAS SOPS 11877372 HAS SOUS 8698107 HAS SOUPS 8698107 WITH SCORE 8709984.372
AT ITER 598 NEW BEST:: SOT 17322560 SOS 11876129 HAS SOPS 11876129 HAS SOUS 8698107 HAS SOUPS 8698107 WITH SCORE 8709983.129
AT ITER 599 NEW BEST:: SOT 17321135 SOS 11874772 HAS SOPS 11874772 HAS SOUS 8696852 HAS SOUPS 8696852 WITH SCORE 8708726.772
AT ITER 616 NEW BEST:: SOT 17321135 SOS 11874403 HAS SOPS 11874403 HAS SOUS 8696852 HAS SOUPS 8696852 WITH SCORE 8708726.403
AT ITER 622 NEW BEST:: SOT 17321135 SOS 11862163 HAS SOPS 11862163 HAS SOUS 8696852 HAS SOUPS 8696852 WITH SCORE 8708714.163
AT ITER 632 NEW BEST:: SOT 17321135 SOS 11861624 HAS SOPS 11861624 HAS SOUS 8696852 HAS SOUPS 8696852 WITH SCORE 8708713.624
AT ITER 633 NEW BEST:: SOT 17320984 SOS 11861473 HAS SOPS 11861473 HAS SOUS 8696562 HAS SOUPS 8696562 WITH SCORE 8708423.473
AT ITER 641 NEW BEST:: SOT 17316281 SOS 11882598 HAS SOPS 11882598 HAS SOUS 8692348 HAS SOUPS 8692348 WITH SCORE 8704230.598
AT ITER 648 NEW BEST:: SOT 17316281 SOS 11882172 HAS SOPS 11882172 HAS SOUS 8692348 HAS SOUPS 8692348 WITH SCORE 8704230.172
AT ITER 651 NEW BEST:: SOT 17316281 SOS 11879727 HAS SOPS 11879727 HAS SOUS 8692348 HAS SOUPS 8692348 WITH SCORE 8704227.727
AT ITER 655 NEW BEST:: SOT 17316281 SOS 11878689 HAS SOPS 11878689 HAS SOUS 8692348 HAS SOUPS 8692348 WITH SCORE 8704226.689
AT ITER 662 NEW BEST:: SOT 17316281 SOS 11877320 HAS SOPS 11877320 HAS SOUS 8692348 HAS SOUPS 8692348 WITH SCORE 8704225.32
AT ITER 671 NEW BEST:: SOT 17316297 SOS 11877336 HAS SOPS 11877336 HAS SOUS 8692325 HAS SOUPS 8692325 WITH SCORE 8704202.336
AT ITER 673 NEW BEST:: SOT 17316297 SOS 11874883 HAS SOPS 11874883 HAS SOUS 8692325 HAS SOUPS 8692325 WITH SCORE 8704199.883
AT ITER 675 NEW BEST:: SOT 17313432 SOS 11872495 HAS SOPS 11872495 HAS SOUS 8689688 HAS SOUPS 8689688 WITH SCORE 8701560.495
AT ITER 679 NEW BEST:: SOT 17310327 SOS 11869535 HAS SOPS 11869535 HAS SOUS 8686914 HAS SOUPS 8686914 WITH SCORE 8698783.535
AT ITER 697 NEW BEST:: SOT 17310504 SOS 11869657 HAS SOPS 11869657 HAS SOUS 8686667 HAS SOUPS 8686667 WITH SCORE 8698536.657
AT ITER 701 NEW BEST:: SOT 17307030 SOS 11888339 HAS SOPS 11888339 HAS SOUS 8683425 HAS SOUPS 8683425 WITH SCORE 8695313.339
AT ITER 709 NEW BEST:: SOT 17307030 SOS 11887711 HAS SOPS 11887711 HAS SOUS 8683425 HAS SOUPS 8683425 WITH SCORE 8695312.711
AT ITER 716 NEW BEST:: SOT 17305816 SOS 11886836 HAS SOPS 11886836 HAS SOUS 8682569 HAS SOUPS 8682569 WITH SCORE 8694455.836
AT ITER 717 NEW BEST:: SOT 17305816 SOS 11886836 HAS SOPS 11886836 HAS SOUS 8682104 HAS SOUPS 8682104 WITH SCORE 8693990.836
AT ITER 725 NEW BEST:: SOT 17305816 SOS 11885826 HAS SOPS 11885826 HAS SOUS 8682104 HAS SOUPS 8682104 WITH SCORE 8693989.826
AT ITER 730 NEW BEST:: SOT 17305816 SOS 11884061 HAS SOPS 11884061 HAS SOUS 8682104 HAS SOUPS 8682104 WITH SCORE 8693988.061
AT ITER 731 NEW BEST:: SOT 17305816 SOS 11884061 HAS SOPS 11884061 HAS SOUS 8682074 HAS SOUPS 8682074 WITH SCORE 8693958.061
AT ITER 732 NEW BEST:: SOT 17305816 SOS 11846941 HAS SOPS 11846941 HAS SOUS 8682074 HAS SOUPS 8682074 WITH SCORE 8693920.941
AT ITER 734 NEW BEST:: SOT 17305816 SOS 11846552 HAS SOPS 11846552 HAS SOUS 8682074 HAS SOUPS 8682074 WITH SCORE 8693920.552
AT ITER 751 NEW BEST:: SOT 17305816 SOS 11846163 HAS SOPS 11846163 HAS SOUS 8682074 HAS SOUPS 8682074 WITH SCORE 8693920.163
AT ITER 758 NEW BEST:: SOT 17305816 SOS 11844715 HAS SOPS 11844715 HAS SOUS 8682074 HAS SOUPS 8682074 WITH SCORE 8693918.715
AT ITER 761 NEW BEST:: SOT 17299966 SOS 11838980 HAS SOPS 11838980 HAS SOUS 8676503 HAS SOUPS 8676503 WITH SCORE 8688341.98
AT ITER 772 NEW BEST:: SOT 17299966 SOS 11838694 HAS SOPS 11838694 HAS SOUS 8676503 HAS SOUPS 8676503 WITH SCORE 8688341.694
AT ITER 773 NEW BEST:: SOT 17298166 SOS 11838445 HAS SOPS 11838445 HAS SOUS 8674985 HAS SOUPS 8674985 WITH SCORE 8686823.445
AT ITER 778 NEW BEST:: SOT 17295477 SOS 11857080 HAS SOPS 11857080 HAS SOUS 8673268 HAS SOUPS 8673268 WITH SCORE 8685125.08
AT ITER 787 NEW BEST:: SOT 17295477 SOS 11855479 HAS SOPS 11855479 HAS SOUS 8673268 HAS SOUPS 8673268 WITH SCORE 8685123.479
AT ITER 797 NEW BEST:: SOT 17295477 SOS 11854201 HAS SOPS 11854201 HAS SOUS 8673268 HAS SOUPS 8673268 WITH SCORE 8685122.201
AT ITER 801 NEW BEST:: SOT 17295477 SOS 11854201 HAS SOPS 11854201 HAS SOUS 8673253 HAS SOUPS 8673253 WITH SCORE 8685107.201
AT ITER 806 NEW BEST:: SOT 17295477 SOS 11854078 HAS SOPS 11854078 HAS SOUS 8673253 HAS SOUPS 8673253 WITH SCORE 8685107.078
AT ITER 812 NEW BEST:: SOT 17291223 SOS 11849923 HAS SOPS 11849923 HAS SOUS 8669187 HAS SOUPS 8669187 WITH SCORE 8681036.923
AT ITER 813 NEW BEST:: SOT 17291223 SOS 11848979 HAS SOPS 11848979 HAS SOUS 8669187 HAS SOUPS 8669187 WITH SCORE 8681035.979
AT ITER 815 NEW BEST:: SOT 17291223 SOS 11830022 HAS SOPS 11830022 HAS SOUS 8669187 HAS SOUPS 8669187 WITH SCORE 8681017.022
AT ITER 820 NEW BEST:: SOT 17288643 SOS 11827878 HAS SOPS 11827878 HAS SOUS 8666779 HAS SOUPS 8666779 WITH SCORE 8678606.878
AT ITER 825 NEW BEST:: SOT 17286423 SOS 11825857 HAS SOPS 11825857 HAS SOUS 8664673 HAS SOUPS 8664673 WITH SCORE 8676498.857
AT ITER 827 NEW BEST:: SOT 17284252 SOS 11823759 HAS SOPS 11823759 HAS SOUS 8663000 HAS SOUPS 8663000 WITH SCORE 8674823.759
AT ITER 833 NEW BEST:: SOT 17284252 SOS 11822893 HAS SOPS 11822893 HAS SOUS 8663000 HAS SOUPS 8663000 WITH SCORE 8674822.893
AT ITER 834 NEW BEST:: SOT 17284252 SOS 11822116 HAS SOPS 11822116 HAS SOUS 8663000 HAS SOUPS 8663000 WITH SCORE 8674822.116
AT ITER 836 NEW BEST:: SOT 17284252 SOS 11820305 HAS SOPS 11820305 HAS SOUS 8663000 HAS SOUPS 8663000 WITH SCORE 8674820.305
AT ITER 843 NEW BEST:: SOT 17284252 SOS 11819776 HAS SOPS 11819776 HAS SOUS 8663000 HAS SOUPS 8663000 WITH SCORE 8674819.776
AT ITER 859 NEW BEST:: SOT 17281162 SOS 11817371 HAS SOPS 11817371 HAS SOUS 8660771 HAS SOUPS 8660771 WITH SCORE 8672588.371
AT ITER 860 NEW BEST:: SOT 17281162 SOS 11816403 HAS SOPS 11816403 HAS SOUS 8660756 HAS SOUPS 8660756 WITH SCORE 8672572.403
AT ITER 862 NEW BEST:: SOT 17281162 SOS 11815943 HAS SOPS 11815943 HAS SOUS 8660756 HAS SOUPS 8660756 WITH SCORE 8672571.943
AT ITER 865 NEW BEST:: SOT 17281162 SOS 11815240 HAS SOPS 11815240 HAS SOUS 8660756 HAS SOUPS 8660756 WITH SCORE 8672571.24
AT ITER 867 NEW BEST:: SOT 17280978 SOS 11834292 HAS SOPS 11834292 HAS SOUS 8660572 HAS SOUPS 8660572 WITH SCORE 8672406.292
AT ITER 870 NEW BEST:: SOT 17280978 SOS 11833117 HAS SOPS 11833117 HAS SOUS 8660572 HAS SOUPS 8660572 WITH SCORE 8672405.117
AT ITER 878 NEW BEST:: SOT 17280978 SOS 11804595 HAS SOPS 11804595 HAS SOUS 8660572 HAS SOUPS 8660572 WITH SCORE 8672376.595
AT ITER 884 NEW BEST:: SOT 17281113 SOS 11803718 HAS SOPS 11803718 HAS SOUS 8660399 HAS SOUPS 8660399 WITH SCORE 8672202.718
AT ITER 885 NEW BEST:: SOT 17281113 SOS 11803718 HAS SOPS 11803718 HAS SOUS 8660359 HAS SOUPS 8660359 WITH SCORE 8672162.718
AT ITER 898 NEW BEST:: SOT 17281113 SOS 11801315 HAS SOPS 11801315 HAS SOUS 8660359 HAS SOUPS 8660359 WITH SCORE 8672160.315
AT ITER 904 NEW BEST:: SOT 17281113 SOS 11797265 HAS SOPS 11797265 HAS SOUS 8660359 HAS SOUPS 8660359 WITH SCORE 8672156.265
AT ITER 909 NEW BEST:: SOT 17278855 SOS 11793914 HAS SOPS 11793914 HAS SOUS 8657186 HAS SOUPS 8657186 WITH SCORE 8668979.914
AT ITER 911 NEW BEST:: SOT 17278855 SOS 11793179 HAS SOPS 11793179 HAS SOUS 8657186 HAS SOUPS 8657186 WITH SCORE 8668979.179
AT ITER 917 NEW BEST:: SOT 17278855 SOS 11791154 HAS SOPS 11791154 HAS SOUS 8657186 HAS SOUPS 8657186 WITH SCORE 8668977.154
AT ITER 929 NEW BEST:: SOT 17275265 SOS 11807203 HAS SOPS 11807203 HAS SOUS 8654585 HAS SOUPS 8654585 WITH SCORE 8666392.203
AT ITER 930 NEW BEST:: SOT 17275265 SOS 11806324 HAS SOPS 11806324 HAS SOUS 8654585 HAS SOUPS 8654585 WITH SCORE 8666391.324
AT ITER 939 NEW BEST:: SOT 17275265 SOS 11805970 HAS SOPS 11805970 HAS SOUS 8654585 HAS SOUPS 8654585 WITH SCORE 8666390.97
AT ITER 940 NEW BEST:: SOT 17273630 SOS 11805437 HAS SOPS 11805437 HAS SOUS 8654161 HAS SOUPS 8654161 WITH SCORE 8665966.437
AT ITER 954 NEW BEST:: SOT 17270813 SOS 11791514 HAS SOPS 11791514 HAS SOUS 8652415 HAS SOUPS 8652415 WITH SCORE 8664206.514
AT ITER 960 NEW BEST:: SOT 17270813 SOS 11791259 HAS SOPS 11791259 HAS SOUS 8652415 HAS SOUPS 8652415 WITH SCORE 8664206.259
AT ITER 963 NEW BEST:: SOT 17270813 SOS 11791104 HAS SOPS 11791104 HAS SOUS 8652415 HAS SOUPS 8652415 WITH SCORE 8664206.104
AT ITER 968 NEW BEST:: SOT 17270813 SOS 11784204 HAS SOPS 11784204 HAS SOUS 8652415 HAS SOUPS 8652415 WITH SCORE 8664199.204
AT ITER 979 NEW BEST:: SOT 17270813 SOS 11782386 HAS SOPS 11782386 HAS SOUS 8652415 HAS SOUPS 8652415 WITH SCORE 8664197.386
AT ITER 994 NEW BEST:: SOT 17270813 SOS 11781388 HAS SOPS 11781388 HAS SOUS 8652415 HAS SOUPS 8652415 WITH SCORE 8664196.388
AT ITER 1000 NEW BEST:: SOT 17270813 SOS 11781300 HAS SOPS 11781300 HAS SOUS 8652415 HAS SOUPS 8652415 WITH SCORE 8664196.3
AT ITER 1010 NEW BEST:: SOT 17270813 SOS 11781143 HAS SOPS 11781143 HAS SOUS 8652415 HAS SOUPS 8652415 WITH SCORE 8664196.143
AT ITER 1012 NEW BEST:: SOT 17270813 SOS 11780375 HAS SOPS 11780375 HAS SOUS 8652415 HAS SOUPS 8652415 WITH SCORE 8664195.375
AT ITER 1016 NEW BEST:: SOT 17270813 SOS 11780085 HAS SOPS 11780085 HAS SOUS 8652415 HAS SOUPS 8652415 WITH SCORE 8664195.085
AT ITER 1017 NEW BEST:: SOT 17270813 SOS 11780019 HAS SOPS 11780019 HAS SOUS 8652415 HAS SOUPS 8652415 WITH SCORE 8664195.019
AT ITER 1019 NEW BEST:: SOT 17270813 SOS 11779412 HAS SOPS 11779412 HAS SOUS 8652415 HAS SOUPS 8652415 WITH SCORE 8664194.412
AT ITER 1020 NEW BEST:: SOT 17270813 SOS 11771247 HAS SOPS 11771247 HAS SOUS 8652415 HAS SOUPS 8652415 WITH SCORE 8664186.247
AT ITER 1029 NEW BEST:: SOT 17270813 SOS 11770833 HAS SOPS 11770833 HAS SOUS 8652415 HAS SOUPS 8652415 WITH SCORE 8664185.833
AT ITER 1030 NEW BEST:: SOT 17270813 SOS 11756628 HAS SOPS 11756628 HAS SOUS 8652415 HAS SOUPS 8652415 WITH SCORE 8664171.628
AT ITER 1031 NEW BEST:: SOT 17270813 SOS 11736483 HAS SOPS 11736483 HAS SOUS 8652415 HAS SOUPS 8652415 WITH SCORE 8664151.483
AT ITER 1044 NEW BEST:: SOT 17270813 SOS 11734791 HAS SOPS 11734791 HAS SOUS 8652400 HAS SOUPS 8652400 WITH SCORE 8664134.791
AT ITER 1054 NEW BEST:: SOT 17270813 SOS 11733377 HAS SOPS 11733377 HAS SOUS 8652400 HAS SOUPS 8652400 WITH SCORE 8664133.377
AT ITER 1059 NEW BEST:: SOT 17268281 SOS 11730888 HAS SOPS 11730888 HAS SOUS 8650017 HAS SOUPS 8650017 WITH SCORE 8661747.888
AT ITER 1062 NEW BEST:: SOT 17268281 SOS 11730370 HAS SOPS 11730370 HAS SOUS 8650017 HAS SOUPS 8650017 WITH SCORE 8661747.37
AT ITER 1066 NEW BEST:: SOT 17267670 SOS 11729759 HAS SOPS 11729759 HAS SOUS 8649634 HAS SOUPS 8649634 WITH SCORE 8661363.759
AT ITER 1067 NEW BEST:: SOT 17267886 SOS 11729961 HAS SOPS 11729961 HAS SOUS 8649407 HAS SOUPS 8649407 WITH SCORE 8661136.961
AT ITER 1072 NEW BEST:: SOT 17267886 SOS 11729961 HAS SOPS 11729961 HAS SOUS 8649392 HAS SOUPS 8649392 WITH SCORE 8661121.961
AT ITER 1080 NEW BEST:: SOT 17267886 SOS 11712974 HAS SOPS 11712974 HAS SOUS 8649392 HAS SOUPS 8649392 WITH SCORE 8661104.974
AT ITER 1082 NEW BEST:: SOT 17268130 SOS 11713202 HAS SOPS 11713202 HAS SOUS 8649236 HAS SOUPS 8649236 WITH SCORE 8660949.202
AT ITER 1085 NEW BEST:: SOT 17263939 SOS 11711015 HAS SOPS 11711015 HAS SOUS 8646178 HAS SOUPS 8646178 WITH SCORE 8657889.015
AT ITER 1091 NEW BEST:: SOT 17263939 SOS 11709946 HAS SOPS 11709946 HAS SOUS 8646163 HAS SOUPS 8646163 WITH SCORE 8657872.946
AT ITER 1092 NEW BEST:: SOT 17263939 SOS 11709946 HAS SOPS 11709946 HAS SOUS 8646055 HAS SOUPS 8646055 WITH SCORE 8657764.946
AT ITER 1093 NEW BEST:: SOT 17262330 SOS 11731945 HAS SOPS 11731945 HAS SOUS 8645149 HAS SOUPS 8645149 WITH SCORE 8656880.945
AT ITER 1095 NEW BEST:: SOT 17262330 SOS 11728402 HAS SOPS 11728402 HAS SOUS 8645149 HAS SOUPS 8645149 WITH SCORE 8656877.402
AT ITER 1100 NEW BEST:: SOT 17262330 SOS 11726824 HAS SOPS 11726824 HAS SOUS 8645149 HAS SOUPS 8645149 WITH SCORE 8656875.824
AT ITER 1101 NEW BEST:: SOT 17262330 SOS 11725759 HAS SOPS 11725759 HAS SOUS 8645149 HAS SOUPS 8645149 WITH SCORE 8656874.759
AT ITER 1105 NEW BEST:: SOT 17262330 SOS 11725445 HAS SOPS 11725445 HAS SOUS 8644969 HAS SOUPS 8644969 WITH SCORE 8656694.445
AT ITER 1114 NEW BEST:: SOT 17262330 SOS 11723080 HAS SOPS 11723080 HAS SOUS 8644969 HAS SOUPS 8644969 WITH SCORE 8656692.08
AT ITER 1122 NEW BEST:: SOT 17262330 SOS 11722212 HAS SOPS 11722212 HAS SOUS 8644969 HAS SOUPS 8644969 WITH SCORE 8656691.212
AT ITER 1125 NEW BEST:: SOT 17262330 SOS 11685966 HAS SOPS 11685966 HAS SOUS 8644969 HAS SOUPS 8644969 WITH SCORE 8656654.966
AT ITER 1127 NEW BEST:: SOT 17262330 SOS 11679891 HAS SOPS 11679891 HAS SOUS 8644969 HAS SOUPS 8644969 WITH SCORE 8656648.891
AT ITER 1128 NEW BEST:: SOT 17262474 SOS 11679889 HAS SOPS 11679889 HAS SOUS 8644733 HAS SOUPS 8644733 WITH SCORE 8656412.889
AT ITER 1130 NEW BEST:: SOT 17262474 SOS 11678509 HAS SOPS 11678509 HAS SOUS 8643799 HAS SOUPS 8643799 WITH SCORE 8655477.509
AT ITER 1131 NEW BEST:: SOT 17262474 SOS 11653332 HAS SOPS 11653332 HAS SOUS 8643799 HAS SOUPS 8643799 WITH SCORE 8655452.332
AT ITER 1132 NEW BEST:: SOT 17258483 SOS 11683597 HAS SOPS 11683597 HAS SOUS 8640068 HAS SOUPS 8640068 WITH SCORE 8651751.597
AT ITER 1134 NEW BEST:: SOT 17254445 SOS 11684828 HAS SOPS 11684828 HAS SOUS 8637627 HAS SOUPS 8637627 WITH SCORE 8649311.828
AT ITER 1140 NEW BEST:: SOT 17254445 SOS 11683691 HAS SOPS 11683691 HAS SOUS 8637627 HAS SOUPS 8637627 WITH SCORE 8649310.691
AT ITER 1142 NEW BEST:: SOT 17252825 SOS 11683120 HAS SOPS 11683120 HAS SOUS 8636442 HAS SOUPS 8636442 WITH SCORE 8648125.12
AT ITER 1144 NEW BEST:: SOT 17252825 SOS 11682960 HAS SOPS 11682960 HAS SOUS 8636442 HAS SOUPS 8636442 WITH SCORE 8648124.96
AT ITER 1149 NEW BEST:: SOT 17252825 SOS 11682050 HAS SOPS 11682050 HAS SOUS 8636442 HAS SOUPS 8636442 WITH SCORE 8648124.05
AT ITER 1150 NEW BEST:: SOT 17249720 SOS 11679346 HAS SOPS 11679346 HAS SOUS 8634118 HAS SOUPS 8634118 WITH SCORE 8645797.346
AT ITER 1157 NEW BEST:: SOT 17249720 SOS 11665278 HAS SOPS 11665278 HAS SOUS 8634118 HAS SOUPS 8634118 WITH SCORE 8645783.278
AT ITER 1162 NEW BEST:: SOT 17249720 SOS 11664488 HAS SOPS 11664488 HAS SOUS 8634118 HAS SOUPS 8634118 WITH SCORE 8645782.488
AT ITER 1171 NEW BEST:: SOT 17249720 SOS 11664488 HAS SOPS 11664488 HAS SOUS 8634103 HAS SOUPS 8634103 WITH SCORE 8645767.488
AT ITER 1176 NEW BEST:: SOT 17249720 SOS 11664445 HAS SOPS 11664445 HAS SOUS 8634103 HAS SOUPS 8634103 WITH SCORE 8645767.445
AT ITER 1182 NEW BEST:: SOT 17249720 SOS 11664399 HAS SOPS 11664399 HAS SOUS 8634103 HAS SOUPS 8634103 WITH SCORE 8645767.399
AT ITER 1183 NEW BEST:: SOT 17249759 SOS 11664438 HAS SOPS 11664438 HAS SOUS 8632342 HAS SOUPS 8632342 WITH SCORE 8644006.438
AT ITER 1189 NEW BEST:: SOT 17249759 SOS 11663505 HAS SOPS 11663505 HAS SOUS 8632342 HAS SOUPS 8632342 WITH SCORE 8644005.505
AT ITER 1198 NEW BEST:: SOT 17249759 SOS 11663060 HAS SOPS 11663060 HAS SOUS 8632342 HAS SOUPS 8632342 WITH SCORE 8644005.06
AT ITER 1203 NEW BEST:: SOT 17249759 SOS 11637643 HAS SOPS 11637643 HAS SOUS 8632342 HAS SOUPS 8632342 WITH SCORE 8643979.643
AT ITER 1207 NEW BEST:: SOT 17249759 SOS 11636877 HAS SOPS 11636877 HAS SOUS 8632342 HAS SOUPS 8632342 WITH SCORE 8643978.877
AT ITER 1208 NEW BEST:: SOT 17249759 SOS 11634877 HAS SOPS 11634877 HAS SOUS 8632342 HAS SOUPS 8632342 WITH SCORE 8643976.877
AT ITER 1216 NEW BEST:: SOT 17249759 SOS 11634710 HAS SOPS 11634710 HAS SOUS 8632342 HAS SOUPS 8632342 WITH SCORE 8643976.71
AT ITER 1218 NEW BEST:: SOT 17249759 SOS 11634232 HAS SOPS 11634232 HAS SOUS 8632342 HAS SOUPS 8632342 WITH SCORE 8643976.232
AT ITER 1221 NEW BEST:: SOT 17249759 SOS 11634232 HAS SOPS 11634232 HAS SOUS 8632327 HAS SOUPS 8632327 WITH SCORE 8643961.232
AT ITER 1229 NEW BEST:: SOT 17247264 SOS 11631835 HAS SOPS 11631835 HAS SOUS 8630501 HAS SOUPS 8630501 WITH SCORE 8642132.835
AT ITER 1230 NEW BEST:: SOT 17247264 SOS 11635469 HAS SOPS 11635469 HAS SOUS 8630332 HAS SOUPS 8630332 WITH SCORE 8641967.469
AT ITER 1232 NEW BEST:: SOT 17245664 SOS 11635027 HAS SOPS 11635027 HAS SOUS 8629938 HAS SOUPS 8629938 WITH SCORE 8641573.027
AT ITER 1234 NEW BEST:: SOT 17245664 SOS 11633931 HAS SOPS 11633931 HAS SOUS 8629938 HAS SOUPS 8629938 WITH SCORE 8641571.931
AT ITER 1235 NEW BEST:: SOT 17245664 SOS 11629584 HAS SOPS 11629584 HAS SOUS 8629938 HAS SOUPS 8629938 WITH SCORE 8641567.584
AT ITER 1249 NEW BEST:: SOT 17245664 SOS 11629431 HAS SOPS 11629431 HAS SOUS 8629938 HAS SOUPS 8629938 WITH SCORE 8641567.431
AT ITER 1252 NEW BEST:: SOT 17245664 SOS 11630422 HAS SOPS 11630422 HAS SOUS 8629643 HAS SOUPS 8629643 WITH SCORE 8641273.422
AT ITER 1256 NEW BEST:: SOT 17245559 SOS 11631328 HAS SOPS 11631328 HAS SOUS 8628929 HAS SOUPS 8628929 WITH SCORE 8640560.328
AT ITER 1257 NEW BEST:: SOT 17245559 SOS 11618271 HAS SOPS 11618271 HAS SOUS 8628929 HAS SOUPS 8628929 WITH SCORE 8640547.271
AT ITER 1260 NEW BEST:: SOT 17245559 SOS 11616962 HAS SOPS 11616962 HAS SOUS 8628914 HAS SOUPS 8628914 WITH SCORE 8640530.962
AT ITER 1261 NEW BEST:: SOT 17242859 SOS 11614949 HAS SOPS 11614949 HAS SOUS 8626811 HAS SOUPS 8626811 WITH SCORE 8638425.949
AT ITER 1271 NEW BEST:: SOT 17239289 SOS 11614640 HAS SOPS 11614640 HAS SOUS 8624353 HAS SOUPS 8624353 WITH SCORE 8635967.64
AT ITER 1272 NEW BEST:: SOT 17239289 SOS 11613853 HAS SOPS 11613853 HAS SOUS 8624353 HAS SOUPS 8624353 WITH SCORE 8635966.853
AT ITER 1275 NEW BEST:: SOT 17239289 SOS 11613343 HAS SOPS 11613343 HAS SOUS 8624353 HAS SOUPS 8624353 WITH SCORE 8635966.343
AT ITER 1277 NEW BEST:: SOT 17239289 SOS 11597723 HAS SOPS 11597723 HAS SOUS 8624353 HAS SOUPS 8624353 WITH SCORE 8635950.723
AT ITER 1279 NEW BEST:: SOT 17239289 SOS 11576712 HAS SOPS 11576712 HAS SOUS 8624353 HAS SOUPS 8624353 WITH SCORE 8635929.712
AT ITER 1280 NEW BEST:: SOT 17239289 SOS 11576501 HAS SOPS 11576501 HAS SOUS 8624353 HAS SOUPS 8624353 WITH SCORE 8635929.501
AT ITER 1287 NEW BEST:: SOT 17239289 SOS 11576125 HAS SOPS 11576125 HAS SOUS 8624353 HAS SOUPS 8624353 WITH SCORE 8635929.125
AT ITER 1306 NEW BEST:: SOT 17239289 SOS 11575905 HAS SOPS 11575905 HAS SOUS 8624353 HAS SOUPS 8624353 WITH SCORE 8635928.905
AT ITER 1309 NEW BEST:: SOT 17239289 SOS 11575085 HAS SOPS 11575085 HAS SOUS 8624353 HAS SOUPS 8624353 WITH SCORE 8635928.085
AT ITER 1314 NEW BEST:: SOT 17239289 SOS 11575085 HAS SOPS 11575085 HAS SOUS 8624332 HAS SOUPS 8624332 WITH SCORE 8635907.085
AT ITER 1323 NEW BEST:: SOT 17239289 SOS 11573371 HAS SOPS 11573371 HAS SOUS 8624332 HAS SOUPS 8624332 WITH SCORE 8635905.371
AT ITER 1325 NEW BEST:: SOT 17235986 SOS 11606699 HAS SOPS 11606699 HAS SOUS 8622899 HAS SOUPS 8622899 WITH SCORE 8634505.699
AT ITER 1330 NEW BEST:: SOT 17235986 SOS 11606557 HAS SOPS 11606557 HAS SOUS 8622899 HAS SOUPS 8622899 WITH SCORE 8634505.557
AT ITER 1338 NEW BEST:: SOT 17236293 SOS 11605664 HAS SOPS 11605664 HAS SOUS 8622607 HAS SOUPS 8622607 WITH SCORE 8634212.664
AT ITER 1340 NEW BEST:: SOT 17236293 SOS 11605543 HAS SOPS 11605543 HAS SOUS 8622607 HAS SOUPS 8622607 WITH SCORE 8634212.543
AT ITER 1349 NEW BEST:: SOT 17236293 SOS 11566616 HAS SOPS 11566616 HAS SOUS 8622607 HAS SOUPS 8622607 WITH SCORE 8634173.616
AT ITER 1350 NEW BEST:: SOT 17235516 SOS 11566427 HAS SOPS 11566427 HAS SOUS 8622449 HAS SOUPS 8622449 WITH SCORE 8634015.427
AT ITER 1351 NEW BEST:: SOT 17235516 SOS 11566427 HAS SOPS 11566427 HAS SOUS 8622436 HAS SOUPS 8622436 WITH SCORE 8634002.427
AT ITER 1360 NEW BEST:: SOT 17236019 SOS 11565325 HAS SOPS 11565325 HAS SOUS 8621433 HAS SOUPS 8621433 WITH SCORE 8632998.325
AT ITER 1364 NEW BEST:: SOT 17236019 SOS 11565288 HAS SOPS 11565288 HAS SOUS 8621433 HAS SOUPS 8621433 WITH SCORE 8632998.288
AT ITER 1367 NEW BEST:: SOT 17236019 SOS 11563457 HAS SOPS 11563457 HAS SOUS 8621433 HAS SOUPS 8621433 WITH SCORE 8632996.457
AT ITER 1372 NEW BEST:: SOT 17235422 SOS 11562860 HAS SOPS 11562860 HAS SOUS 8620836 HAS SOUPS 8620836 WITH SCORE 8632398.86
AT ITER 1373 NEW BEST:: SOT 17235422 SOS 11561605 HAS SOPS 11561605 HAS SOUS 8620836 HAS SOUPS 8620836 WITH SCORE 8632397.605
AT ITER 1374 NEW BEST:: SOT 17235422 SOS 11561128 HAS SOPS 11561128 HAS SOUS 8620836 HAS SOUPS 8620836 WITH SCORE 8632397.128
AT ITER 1389 NEW BEST:: SOT 17235422 SOS 11559127 HAS SOPS 11559127 HAS SOUS 8620836 HAS SOUPS 8620836 WITH SCORE 8632395.127
AT ITER 1390 NEW BEST:: SOT 17235422 SOS 11553529 HAS SOPS 11553529 HAS SOUS 8620836 HAS SOUPS 8620836 WITH SCORE 8632389.529
AT ITER 1402 NEW BEST:: SOT 17234515 SOS 11552733 HAS SOPS 11552733 HAS SOUS 8620235 HAS SOUPS 8620235 WITH SCORE 8631787.733
AT ITER 1408 NEW BEST:: SOT 17234625 SOS 11552722 HAS SOPS 11552722 HAS SOUS 8620070 HAS SOUPS 8620070 WITH SCORE 8631622.722
AT ITER 1417 NEW BEST:: SOT 17230284 SOS 11584963 HAS SOPS 11584963 HAS SOUS 8618381 HAS SOUPS 8618381 WITH SCORE 8629965.963
AT ITER 1418 NEW BEST:: SOT 17230434 SOS 11585162 HAS SOPS 11585162 HAS SOUS 8618136 HAS SOUPS 8618136 WITH SCORE 8629721.162
AT ITER 1419 NEW BEST:: SOT 17230434 SOS 11583893 HAS SOPS 11583893 HAS SOUS 8618136 HAS SOUPS 8618136 WITH SCORE 8629719.893
AT ITER 1425 NEW BEST:: SOT 17230434 SOS 11583238 HAS SOPS 11583238 HAS SOUS 8618136 HAS SOUPS 8618136 WITH SCORE 8629719.238
AT ITER 1431 NEW BEST:: SOT 17230434 SOS 11583073 HAS SOPS 11583073 HAS SOUS 8618136 HAS SOUPS 8618136 WITH SCORE 8629719.073
AT ITER 1438 NEW BEST:: SOT 17230434 SOS 11582395 HAS SOPS 11582395 HAS SOUS 8618136 HAS SOUPS 8618136 WITH SCORE 8629718.395
AT ITER 1453 NEW BEST:: SOT 17230434 SOS 11580361 HAS SOPS 11580361 HAS SOUS 8618105 HAS SOUPS 8618105 WITH SCORE 8629685.361
AT ITER 1457 NEW BEST:: SOT 17230783 SOS 11579195 HAS SOPS 11579195 HAS SOUS 8617019 HAS SOUPS 8617019 WITH SCORE 8628598.195
AT ITER 1461 NEW BEST:: SOT 17230783 SOS 11579463 HAS SOPS 11579463 HAS SOUS 8616850 HAS SOUPS 8616850 WITH SCORE 8628429.463
AT ITER 1464 NEW BEST:: SOT 17230783 SOS 11578490 HAS SOPS 11578490 HAS SOUS 8616850 HAS SOUPS 8616850 WITH SCORE 8628428.49
AT ITER 1471 NEW BEST:: SOT 17230783 SOS 11577326 HAS SOPS 11577326 HAS SOUS 8616835 HAS SOUPS 8616835 WITH SCORE 8628412.326
AT ITER 1479 NEW BEST:: SOT 17230783 SOS 11577326 HAS SOPS 11577326 HAS SOUS 8616820 HAS SOUPS 8616820 WITH SCORE 8628397.326
AT ITER 1482 NEW BEST:: SOT 17230783 SOS 11543841 HAS SOPS 11543841 HAS SOUS 8616820 HAS SOUPS 8616820 WITH SCORE 8628363.841
AT ITER 1484 NEW BEST:: SOT 17230783 SOS 11543841 HAS SOPS 11543841 HAS SOUS 8616688 HAS SOUPS 8616688 WITH SCORE 8628231.841
AT ITER 1495 NEW BEST:: SOT 17230783 SOS 11543584 HAS SOPS 11543584 HAS SOUS 8616688 HAS SOUPS 8616688 WITH SCORE 8628231.584
AT ITER 1508 NEW BEST:: SOT 17226613 SOS 11540605 HAS SOPS 11540605 HAS SOUS 8613611 HAS SOUPS 8613611 WITH SCORE 8625151.605
AT ITER 1535 NEW BEST:: SOT 17226613 SOS 11540527 HAS SOPS 11540527 HAS SOUS 8613006 HAS SOUPS 8613006 WITH SCORE 8624546.527
AT ITER 1536 NEW BEST:: SOT 17226613 SOS 11522077 HAS SOPS 11522077 HAS SOUS 8613006 HAS SOUPS 8613006 WITH SCORE 8624528.077
AT ITER 1542 NEW BEST:: SOT 17222848 SOS 11518428 HAS SOPS 11518428 HAS SOUS 8609572 HAS SOUPS 8609572 WITH SCORE 8621090.428
AT ITER 1556 NEW BEST:: SOT 17220893 SOS 11516664 HAS SOPS 11516664 HAS SOUS 8607778 HAS SOUPS 8607778 WITH SCORE 8619294.664
AT ITER 1559 NEW BEST:: SOT 17220893 SOS 11516393 HAS SOPS 11516393 HAS SOUS 8607778 HAS SOUPS 8607778 WITH SCORE 8619294.393
AT ITER 1562 NEW BEST:: SOT 17220893 SOS 11515221 HAS SOPS 11515221 HAS SOUS 8607778 HAS SOUPS 8607778 WITH SCORE 8619293.221
AT ITER 1565 NEW BEST:: SOT 17220893 SOS 11515180 HAS SOPS 11515180 HAS SOUS 8607778 HAS SOUPS 8607778 WITH SCORE 8619293.18
AT ITER 1574 NEW BEST:: SOT 17220893 SOS 11514103 HAS SOPS 11514103 HAS SOUS 8607778 HAS SOUPS 8607778 WITH SCORE 8619292.103
AT ITER 1577 NEW BEST:: SOT 17220893 SOS 11513807 HAS SOPS 11513807 HAS SOUS 8607778 HAS SOUPS 8607778 WITH SCORE 8619291.807
AT ITER 1585 NEW BEST:: SOT 17220893 SOS 11513807 HAS SOPS 11513807 HAS SOUS 8607763 HAS SOUPS 8607763 WITH SCORE 8619276.807
AT ITER 1589 NEW BEST:: SOT 17220893 SOS 11512993 HAS SOPS 11512993 HAS SOUS 8607763 HAS SOUPS 8607763 WITH SCORE 8619275.993
AT ITER 1591 NEW BEST:: SOT 17220232 SOS 11512614 HAS SOPS 11512614 HAS SOUS 8607437 HAS SOUPS 8607437 WITH SCORE 8618949.614
AT ITER 1605 NEW BEST:: SOT 17220232 SOS 11509824 HAS SOPS 11509824 HAS SOUS 8607437 HAS SOUPS 8607437 WITH SCORE 8618946.824
AT ITER 1610 NEW BEST:: SOT 17220232 SOS 11509200 HAS SOPS 11509200 HAS SOUS 8606813 HAS SOUPS 8606813 WITH SCORE 8618322.2
AT ITER 1616 NEW BEST:: SOT 17220232 SOS 11508135 HAS SOPS 11508135 HAS SOUS 8606813 HAS SOUPS 8606813 WITH SCORE 8618321.135
AT ITER 1628 NEW BEST:: SOT 17220232 SOS 11508026 HAS SOPS 11508026 HAS SOUS 8606798 HAS SOUPS 8606798 WITH SCORE 8618306.026
AT ITER 1630 NEW BEST:: SOT 17220232 SOS 11507307 HAS SOPS 11507307 HAS SOUS 8606798 HAS SOUPS 8606798 WITH SCORE 8618305.307
AT ITER 1632 NEW BEST:: SOT 17220232 SOS 11507286 HAS SOPS 11507286 HAS SOUS 8606798 HAS SOUPS 8606798 WITH SCORE 8618305.286
AT ITER 1642 NEW BEST:: SOT 17217383 SOS 11507672 HAS SOPS 11507672 HAS SOUS 8605356 HAS SOUPS 8605356 WITH SCORE 8616863.672
AT ITER 1646 NEW BEST:: SOT 17217383 SOS 11494352 HAS SOPS 11494352 HAS SOUS 8605341 HAS SOUPS 8605341 WITH SCORE 8616835.352
AT ITER 1655 NEW BEST:: SOT 17216625 SOS 11493874 HAS SOPS 11493874 HAS SOUS 8604958 HAS SOUPS 8604958 WITH SCORE 8616451.874
AT ITER 1658 NEW BEST:: SOT 17216625 SOS 11480099 HAS SOPS 11480099 HAS SOUS 8604958 HAS SOUPS 8604958 WITH SCORE 8616438.099
AT ITER 1661 NEW BEST:: SOT 17216625 SOS 11474904 HAS SOPS 11474904 HAS SOUS 8604958 HAS SOUPS 8604958 WITH SCORE 8616432.904
AT ITER 1671 NEW BEST:: SOT 17216625 SOS 11473734 HAS SOPS 11473734 HAS SOUS 8604914 HAS SOUPS 8604914 WITH SCORE 8616387.734
AT ITER 1674 NEW BEST:: SOT 17213916 SOS 11471218 HAS SOPS 11471218 HAS SOUS 8604665 HAS SOUPS 8604665 WITH SCORE 8616136.218
AT ITER 1695 NEW BEST:: SOT 17214109 SOS 11471344 HAS SOPS 11471344 HAS SOUS 8604607 HAS SOUPS 8604607 WITH SCORE 8616078.344
AT ITER 1720 NEW BEST:: SOT 17211295 SOS 11468632 HAS SOPS 11468632 HAS SOUS 8602084 HAS SOUPS 8602084 WITH SCORE 8613552.632
AT ITER 1734 NEW BEST:: SOT 17211533 SOS 11468814 HAS SOPS 11468814 HAS SOUS 8602017 HAS SOUPS 8602017 WITH SCORE 8613485.814
AT ITER 1736 NEW BEST:: SOT 17211533 SOS 11468396 HAS SOPS 11468396 HAS SOUS 8602017 HAS SOUPS 8602017 WITH SCORE 8613485.396
AT ITER 1738 NEW BEST:: SOT 17211533 SOS 11467774 HAS SOPS 11467774 HAS SOUS 8602017 HAS SOUPS 8602017 WITH SCORE 8613484.774
AT ITER 1742 NEW BEST:: SOT 17209252 SOS 11465493 HAS SOPS 11465493 HAS SOUS 8599931 HAS SOUPS 8599931 WITH SCORE 8611396.493
AT ITER 1744 NEW BEST:: SOT 17209252 SOS 11463900 HAS SOPS 11463900 HAS SOUS 8599931 HAS SOUPS 8599931 WITH SCORE 8611394.9
AT ITER 1759 NEW BEST:: SOT 17209252 SOS 11455135 HAS SOPS 11455135 HAS SOUS 8599931 HAS SOUPS 8599931 WITH SCORE 8611386.135
AT ITER 1761 NEW BEST:: SOT 17209252 SOS 11431420 HAS SOPS 11431420 HAS SOUS 8599931 HAS SOUPS 8599931 WITH SCORE 8611362.42
AT ITER 1763 NEW BEST:: SOT 17205562 SOS 11455612 HAS SOPS 11455612 HAS SOUS 8598980 HAS SOUPS 8598980 WITH SCORE 8610435.612
AT ITER 1764 NEW BEST:: SOT 17205562 SOS 11455511 HAS SOPS 11455511 HAS SOUS 8598980 HAS SOUPS 8598980 WITH SCORE 8610435.511
AT ITER 1765 NEW BEST:: SOT 17205562 SOS 11455200 HAS SOPS 11455200 HAS SOUS 8598980 HAS SOUPS 8598980 WITH SCORE 8610435.2
AT ITER 1767 NEW BEST:: SOT 17205562 SOS 11454799 HAS SOPS 11454799 HAS SOUS 8598980 HAS SOUPS 8598980 WITH SCORE 8610434.799
AT ITER 1775 NEW BEST:: SOT 17205562 SOS 11453858 HAS SOPS 11453858 HAS SOUS 8598980 HAS SOUPS 8598980 WITH SCORE 8610433.858
AT ITER 1780 NEW BEST:: SOT 17205562 SOS 11448604 HAS SOPS 11448604 HAS SOUS 8598980 HAS SOUPS 8598980 WITH SCORE 8610428.604
AT ITER 1788 NEW BEST:: SOT 17205562 SOS 11447828 HAS SOPS 11447828 HAS SOUS 8598980 HAS SOUPS 8598980 WITH SCORE 8610427.828
AT ITER 1791 NEW BEST:: SOT 17201215 SOS 11493478 HAS SOPS 11493478 HAS SOUS 8596838 HAS SOUPS 8596838 WITH SCORE 8608331.478
AT ITER 1798 NEW BEST:: SOT 17199247 SOS 11494406 HAS SOPS 11494406 HAS SOUS 8596540 HAS SOUPS 8596540 WITH SCORE 8608034.406
AT ITER 1806 NEW BEST:: SOT 17199247 SOS 11494178 HAS SOPS 11494178 HAS SOUS 8596540 HAS SOUPS 8596540 WITH SCORE 8608034.178
AT ITER 1808 NEW BEST:: SOT 17199247 SOS 11493585 HAS SOPS 11493585 HAS SOUS 8596540 HAS SOUPS 8596540 WITH SCORE 8608033.585
AT ITER 1814 NEW BEST:: SOT 17199247 SOS 11493010 HAS SOPS 11493010 HAS SOUS 8596540 HAS SOUPS 8596540 WITH SCORE 8608033.01
AT ITER 1815 NEW BEST:: SOT 17198821 SOS 11492979 HAS SOPS 11492979 HAS SOUS 8596509 HAS SOUPS 8596509 WITH SCORE 8608001.979
AT ITER 1824 NEW BEST:: SOT 17198821 SOS 11491359 HAS SOPS 11491359 HAS SOUS 8596509 HAS SOUPS 8596509 WITH SCORE 8608000.359
AT ITER 1827 NEW BEST:: SOT 17197918 SOS 11490456 HAS SOPS 11490456 HAS SOUS 8595692 HAS SOUPS 8595692 WITH SCORE 8607182.456
AT ITER 1828 NEW BEST:: SOT 17197918 SOS 11470386 HAS SOPS 11470386 HAS SOUS 8595692 HAS SOUPS 8595692 WITH SCORE 8607162.386
AT ITER 1862 NEW BEST:: SOT 17197918 SOS 11469904 HAS SOPS 11469904 HAS SOUS 8595692 HAS SOUPS 8595692 WITH SCORE 8607161.904
AT ITER 1868 NEW BEST:: SOT 17197918 SOS 11469580 HAS SOPS 11469580 HAS SOUS 8595692 HAS SOUPS 8595692 WITH SCORE 8607161.58
AT ITER 1872 NEW BEST:: SOT 17194086 SOS 11502148 HAS SOPS 11502148 HAS SOUS 8595068 HAS SOUPS 8595068 WITH SCORE 8606570.148
AT ITER 1879 NEW BEST:: SOT 17192981 SOS 11501810 HAS SOPS 11501810 HAS SOUS 8595034 HAS SOUPS 8595034 WITH SCORE 8606535.81
AT ITER 1883 NEW BEST:: SOT 17192981 SOS 11501384 HAS SOPS 11501384 HAS SOUS 8595019 HAS SOUPS 8595019 WITH SCORE 8606520.384
AT ITER 1885 NEW BEST:: SOT 17190635 SOS 11499179 HAS SOPS 11499179 HAS SOUS 8593001 HAS SOUPS 8593001 WITH SCORE 8604500.179
AT ITER 1893 NEW BEST:: SOT 17190635 SOS 11498406 HAS SOPS 11498406 HAS SOUS 8593001 HAS SOUPS 8593001 WITH SCORE 8604499.406
AT ITER 1894 NEW BEST:: SOT 17190635 SOS 11497891 HAS SOPS 11497891 HAS SOUS 8593001 HAS SOUPS 8593001 WITH SCORE 8604498.891
AT ITER 1897 NEW BEST:: SOT 17190635 SOS 11495733 HAS SOPS 11495733 HAS SOUS 8592986 HAS SOUPS 8592986 WITH SCORE 8604481.733
AT ITER 1901 NEW BEST:: SOT 17188835 SOS 11497692 HAS SOPS 11497692 HAS SOUS 8591705 HAS SOUPS 8591705 WITH SCORE 8603202.692
AT ITER 1903 NEW BEST:: SOT 17188835 SOS 11497079 HAS SOPS 11497079 HAS SOUS 8591705 HAS SOUPS 8591705 WITH SCORE 8603202.079
AT ITER 1904 NEW BEST:: SOT 17188835 SOS 11496493 HAS SOPS 11496493 HAS SOUS 8591705 HAS SOUPS 8591705 WITH SCORE 8603201.493
AT ITER 1914 NEW BEST:: SOT 17188835 SOS 11495398 HAS SOPS 11495398 HAS SOUS 8591705 HAS SOUPS 8591705 WITH SCORE 8603200.398
AT ITER 1917 NEW BEST:: SOT 17188835 SOS 11482573 HAS SOPS 11482573 HAS SOUS 8591705 HAS SOUPS 8591705 WITH SCORE 8603187.573
AT ITER 1924 NEW BEST:: SOT 17188317 SOS 11482554 HAS SOPS 11482554 HAS SOUS 8591571 HAS SOUPS 8591571 WITH SCORE 8603053.554
AT ITER 1928 NEW BEST:: SOT 17188317 SOS 11481743 HAS SOPS 11481743 HAS SOUS 8591571 HAS SOUPS 8591571 WITH SCORE 8603052.743
AT ITER 1930 NEW BEST:: SOT 17187098 SOS 11480771 HAS SOPS 11480771 HAS SOUS 8590947 HAS SOUPS 8590947 WITH SCORE 8602427.771
AT ITER 1931 NEW BEST:: SOT 17187098 SOS 11480771 HAS SOPS 11480771 HAS SOUS 8590936 HAS SOUPS 8590936 WITH SCORE 8602416.771
AT ITER 1932 NEW BEST:: SOT 17187098 SOS 11479416 HAS SOPS 11479416 HAS SOUS 8590936 HAS SOUPS 8590936 WITH SCORE 8602415.416
AT ITER 1946 NEW BEST:: SOT 17187098 SOS 11478221 HAS SOPS 11478221 HAS SOUS 8590936 HAS SOUPS 8590936 WITH SCORE 8602414.221
AT ITER 1952 NEW BEST:: SOT 17187098 SOS 11477291 HAS SOPS 11477291 HAS SOUS 8590936 HAS SOUPS 8590936 WITH SCORE 8602413.291
AT ITER 1953 NEW BEST:: SOT 17182746 SOS 11474067 HAS SOPS 11474067 HAS SOUS 8587859 HAS SOUPS 8587859 WITH SCORE 8599333.067
AT ITER 1959 NEW BEST:: SOT 17182746 SOS 11473585 HAS SOPS 11473585 HAS SOUS 8587859 HAS SOUPS 8587859 WITH SCORE 8599332.585
AT ITER 1984 NEW BEST:: SOT 17182746 SOS 11472879 HAS SOPS 11472879 HAS SOUS 8587859 HAS SOUPS 8587859 WITH SCORE 8599331.879
AT ITER 2017 NEW BEST:: SOT 17179438 SOS 11469668 HAS SOPS 11469668 HAS SOUS 8584914 HAS SOUPS 8584914 WITH SCORE 8596383.668
AT ITER 2019 NEW BEST:: SOT 17179438 SOS 11467627 HAS SOPS 11467627 HAS SOUS 8584914 HAS SOUPS 8584914 WITH SCORE 8596381.627
AT ITER 2022 NEW BEST:: SOT 17179438 SOS 11452391 HAS SOPS 11452391 HAS SOUS 8584914 HAS SOUPS 8584914 WITH SCORE 8596366.391
AT ITER 2024 NEW BEST:: SOT 17178920 SOS 11452270 HAS SOPS 11452270 HAS SOUS 8584528 HAS SOUPS 8584528 WITH SCORE 8595980.27
AT ITER 2030 NEW BEST:: SOT 17178920 SOS 11451854 HAS SOPS 11451854 HAS SOUS 8584348 HAS SOUPS 8584348 WITH SCORE 8595799.854
AT ITER 2035 NEW BEST:: SOT 17178920 SOS 11451686 HAS SOPS 11451686 HAS SOUS 8584348 HAS SOUPS 8584348 WITH SCORE 8595799.686
AT ITER 2037 NEW BEST:: SOT 17178920 SOS 11451675 HAS SOPS 11451675 HAS SOUS 8584348 HAS SOUPS 8584348 WITH SCORE 8595799.675
AT ITER 2046 NEW BEST:: SOT 17178920 SOS 11451440 HAS SOPS 11451440 HAS SOUS 8584348 HAS SOUPS 8584348 WITH SCORE 8595799.44
AT ITER 2048 NEW BEST:: SOT 17178920 SOS 11449872 HAS SOPS 11449872 HAS SOUS 8584348 HAS SOUPS 8584348 WITH SCORE 8595797.872
AT ITER 2055 NEW BEST:: SOT 17176063 SOS 11446395 HAS SOPS 11446395 HAS SOUS 8581278 HAS SOUPS 8581278 WITH SCORE 8592724.395
AT ITER 2056 NEW BEST:: SOT 17176063 SOS 11445700 HAS SOPS 11445700 HAS SOUS 8581278 HAS SOUPS 8581278 WITH SCORE 8592723.7
AT ITER 2059 NEW BEST:: SOT 17176063 SOS 11413997 HAS SOPS 11413997 HAS SOUS 8581282 HAS SOUPS 8581282 WITH SCORE 8592695.997
AT ITER 2065 NEW BEST:: SOT 17176063 SOS 11378137 HAS SOPS 11378137 HAS SOUS 8581252 HAS SOUPS 8581252 WITH SCORE 8592630.137
AT ITER 2086 NEW BEST:: SOT 17176063 SOS 11375385 HAS SOPS 11375385 HAS SOUS 8581237 HAS SOUPS 8581237 WITH SCORE 8592612.385
AT ITER 2096 NEW BEST:: SOT 17176063 SOS 11374293 HAS SOPS 11374293 HAS SOUS 8581237 HAS SOUPS 8581237 WITH SCORE 8592611.293
AT ITER 2098 NEW BEST:: SOT 17175234 SOS 11374883 HAS SOPS 11374883 HAS SOUS 8580822 HAS SOUPS 8580822 WITH SCORE 8592196.883
AT ITER 2100 NEW BEST:: SOT 17175234 SOS 11372683 HAS SOPS 11372683 HAS SOUS 8580822 HAS SOUPS 8580822 WITH SCORE 8592194.683
AT ITER 2117 NEW BEST:: SOT 17175234 SOS 11374132 HAS SOPS 11374132 HAS SOUS 8580797 HAS SOUPS 8580797 WITH SCORE 8592171.132
AT ITER 2118 NEW BEST:: SOT 17175234 SOS 11373753 HAS SOPS 11373753 HAS SOUS 8580797 HAS SOUPS 8580797 WITH SCORE 8592170.753
AT ITER 2119 NEW BEST:: SOT 17175234 SOS 11373046 HAS SOPS 11373046 HAS SOUS 8580797 HAS SOUPS 8580797 WITH SCORE 8592170.046
AT ITER 2130 NEW BEST:: SOT 17175234 SOS 11371516 HAS SOPS 11371516 HAS SOUS 8580797 HAS SOUPS 8580797 WITH SCORE 8592168.516
AT ITER 2135 NEW BEST:: SOT 17173774 SOS 11370966 HAS SOPS 11370966 HAS SOUS 8580247 HAS SOUPS 8580247 WITH SCORE 8591617.966
AT ITER 2136 NEW BEST:: SOT 17173155 SOS 11370347 HAS SOPS 11370347 HAS SOUS 8579628 HAS SOUPS 8579628 WITH SCORE 8590998.347
AT ITER 2139 NEW BEST:: SOT 17173155 SOS 11369658 HAS SOPS 11369658 HAS SOUS 8579628 HAS SOUPS 8579628 WITH SCORE 8590997.658
AT ITER 2153 NEW BEST:: SOT 17173155 SOS 11357430 HAS SOPS 11357430 HAS SOUS 8579628 HAS SOUPS 8579628 WITH SCORE 8590985.43
AT ITER 2158 NEW BEST:: SOT 17173155 SOS 11356446 HAS SOPS 11356446 HAS SOUS 8579628 HAS SOUPS 8579628 WITH SCORE 8590984.446
AT ITER 2159 NEW BEST:: SOT 17173155 SOS 11356446 HAS SOPS 11356446 HAS SOUS 8579588 HAS SOUPS 8579588 WITH SCORE 8590944.446
AT ITER 2177 NEW BEST:: SOT 17172207 SOS 11356055 HAS SOPS 11356055 HAS SOUS 8579410 HAS SOUPS 8579410 WITH SCORE 8590766.055
AT ITER 2180 NEW BEST:: SOT 17172207 SOS 11355953 HAS SOPS 11355953 HAS SOUS 8579410 HAS SOUPS 8579410 WITH SCORE 8590765.953
AT ITER 2190 NEW BEST:: SOT 17172207 SOS 11355064 HAS SOPS 11355064 HAS SOUS 8579410 HAS SOUPS 8579410 WITH SCORE 8590765.064
AT ITER 2192 NEW BEST:: SOT 17172207 SOS 11355064 HAS SOPS 11355064 HAS SOUS 8579395 HAS SOUPS 8579395 WITH SCORE 8590750.064
AT ITER 2194 NEW BEST:: SOT 17170004 SOS 11356317 HAS SOPS 11356317 HAS SOUS 8577683 HAS SOUPS 8577683 WITH SCORE 8589039.317
AT ITER 2203 NEW BEST:: SOT 17170004 SOS 11355160 HAS SOPS 11355160 HAS SOUS 8577683 HAS SOUPS 8577683 WITH SCORE 8589038.16
AT ITER 2206 NEW BEST:: SOT 17170004 SOS 11354743 HAS SOPS 11354743 HAS SOUS 8577683 HAS SOUPS 8577683 WITH SCORE 8589037.743
AT ITER 2210 NEW BEST:: SOT 17168970 SOS 11353709 HAS SOPS 11353709 HAS SOUS 8576720 HAS SOUPS 8576720 WITH SCORE 8588073.709
AT ITER 2211 NEW BEST:: SOT 17168970 SOS 11353657 HAS SOPS 11353657 HAS SOUS 8576705 HAS SOUPS 8576705 WITH SCORE 8588058.657
AT ITER 2219 NEW BEST:: SOT 17168970 SOS 11344897 HAS SOPS 11344897 HAS SOUS 8576705 HAS SOUPS 8576705 WITH SCORE 8588049.897
AT ITER 2225 NEW BEST:: SOT 17166971 SOS 11346519 HAS SOPS 11346519 HAS SOUS 8575507 HAS SOUPS 8575507 WITH SCORE 8586853.519
AT ITER 2228 NEW BEST:: SOT 17165197 SOS 11345400 HAS SOPS 11345400 HAS SOUS 8574511 HAS SOUPS 8574511 WITH SCORE 8585856.4
AT ITER 2230 NEW BEST:: SOT 17165197 SOS 11344831 HAS SOPS 11344831 HAS SOUS 8574511 HAS SOUPS 8574511 WITH SCORE 8585855.831
AT ITER 2232 NEW BEST:: SOT 17163345 SOS 11370002 HAS SOPS 11370002 HAS SOUS 8573227 HAS SOUPS 8573227 WITH SCORE 8584597.002
AT ITER 2238 NEW BEST:: SOT 17163345 SOS 11369064 HAS SOPS 11369064 HAS SOUS 8573227 HAS SOUPS 8573227 WITH SCORE 8584596.064
AT ITER 2243 NEW BEST:: SOT 17158956 SOS 11366324 HAS SOPS 11366324 HAS SOUS 8569327 HAS SOUPS 8569327 WITH SCORE 8580693.324
AT ITER 2244 NEW BEST:: SOT 17158956 SOS 11365107 HAS SOPS 11365107 HAS SOUS 8569327 HAS SOUPS 8569327 WITH SCORE 8580692.107
AT ITER 2246 NEW BEST:: SOT 17155092 SOS 11362430 HAS SOPS 11362430 HAS SOUS 8566585 HAS SOUPS 8566585 WITH SCORE 8577947.43
AT ITER 2251 NEW BEST:: SOT 17155092 SOS 11362382 HAS SOPS 11362382 HAS SOUS 8566585 HAS SOUPS 8566585 WITH SCORE 8577947.382
AT ITER 2258 NEW BEST:: SOT 17155092 SOS 11361430 HAS SOPS 11361430 HAS SOUS 8566585 HAS SOUPS 8566585 WITH SCORE 8577946.43
AT ITER 2263 NEW BEST:: SOT 17155092 SOS 11360909 HAS SOPS 11360909 HAS SOUS 8566506 HAS SOUPS 8566506 WITH SCORE 8577866.909
AT ITER 2311 NEW BEST:: SOT 17155092 SOS 11352685 HAS SOPS 11352685 HAS SOUS 8566506 HAS SOUPS 8566506 WITH SCORE 8577858.685
AT ITER 2314 NEW BEST:: SOT 17155092 SOS 11352418 HAS SOPS 11352418 HAS SOUS 8566506 HAS SOUPS 8566506 WITH SCORE 8577858.418
AT ITER 2323 NEW BEST:: SOT 17155092 SOS 11352352 HAS SOPS 11352352 HAS SOUS 8566506 HAS SOUPS 8566506 WITH SCORE 8577858.352
AT ITER 2328 NEW BEST:: SOT 17155092 SOS 11349398 HAS SOPS 11349398 HAS SOUS 8565637 HAS SOUPS 8565637 WITH SCORE 8576986.398
AT ITER 2341 NEW BEST:: SOT 17155092 SOS 11349148 HAS SOPS 11349148 HAS SOUS 8565637 HAS SOUPS 8565637 WITH SCORE 8576986.148
AT ITER 2345 NEW BEST:: SOT 17152263 SOS 11347525 HAS SOPS 11347525 HAS SOUS 8563513 HAS SOUPS 8563513 WITH SCORE 8574860.525
AT ITER 2352 NEW BEST:: SOT 17150269 SOS 11348162 HAS SOPS 11348162 HAS SOUS 8563094 HAS SOUPS 8563094 WITH SCORE 8574442.162
AT ITER 2356 NEW BEST:: SOT 17150269 SOS 11347676 HAS SOPS 11347676 HAS SOUS 8563094 HAS SOUPS 8563094 WITH SCORE 8574441.676
AT ITER 2358 NEW BEST:: SOT 17150269 SOS 11346378 HAS SOPS 11346378 HAS SOUS 8563094 HAS SOUPS 8563094 WITH SCORE 8574440.378
AT ITER 2367 NEW BEST:: SOT 17150269 SOS 11345902 HAS SOPS 11345902 HAS SOUS 8563094 HAS SOUPS 8563094 WITH SCORE 8574439.902
AT ITER 2368 NEW BEST:: SOT 17150269 SOS 11345702 HAS SOPS 11345702 HAS SOUS 8563094 HAS SOUPS 8563094 WITH SCORE 8574439.702
AT ITER 2374 NEW BEST:: SOT 17150269 SOS 11345003 HAS SOPS 11345003 HAS SOUS 8563094 HAS SOUPS 8563094 WITH SCORE 8574439.003
AT ITER 2391 NEW BEST:: SOT 17150269 SOS 11344533 HAS SOPS 11344533 HAS SOUS 8563094 HAS SOUPS 8563094 WITH SCORE 8574438.533
AT ITER 2392 NEW BEST:: SOT 17150269 SOS 11334917 HAS SOPS 11334917 HAS SOUS 8563094 HAS SOUPS 8563094 WITH SCORE 8574428.917
AT ITER 2394 NEW BEST:: SOT 17148845 SOS 11333493 HAS SOPS 11333493 HAS SOUS 8561670 HAS SOUPS 8561670 WITH SCORE 8573003.493
AT ITER 2397 NEW BEST:: SOT 17148845 SOS 11331542 HAS SOPS 11331542 HAS SOUS 8561670 HAS SOUPS 8561670 WITH SCORE 8573001.542
AT ITER 2399 NEW BEST:: SOT 17147419 SOS 11331056 HAS SOPS 11331056 HAS SOUS 8560959 HAS SOUPS 8560959 WITH SCORE 8572290.056
AT ITER 2406 NEW BEST:: SOT 17147356 SOS 11330509 HAS SOPS 11330509 HAS SOUS 8560953 HAS SOUPS 8560953 WITH SCORE 8572283.509
AT ITER 2410 NEW BEST:: SOT 17147356 SOS 11329685 HAS SOPS 11329685 HAS SOUS 8560953 HAS SOUPS 8560953 WITH SCORE 8572282.685
AT ITER 2411 NEW BEST:: SOT 17145672 SOS 11328927 HAS SOPS 11328927 HAS SOUS 8560328 HAS SOUPS 8560328 WITH SCORE 8571656.927
AT ITER 2412 NEW BEST:: SOT 17145672 SOS 11328434 HAS SOPS 11328434 HAS SOUS 8560328 HAS SOUPS 8560328 WITH SCORE 8571656.434
AT ITER 2413 NEW BEST:: SOT 17145672 SOS 11328163 HAS SOPS 11328163 HAS SOUS 8560328 HAS SOUPS 8560328 WITH SCORE 8571656.163
AT ITER 2414 NEW BEST:: SOT 17142088 SOS 11327157 HAS SOPS 11327157 HAS SOUS 8558858 HAS SOUPS 8558858 WITH SCORE 8570185.157
AT ITER 2415 NEW BEST:: SOT 17136257 SOS 11322384 HAS SOPS 11322384 HAS SOUS 8554612 HAS SOUPS 8554612 WITH SCORE 8565934.384
AT ITER 2417 NEW BEST:: SOT 17134221 SOS 11320415 HAS SOPS 11320415 HAS SOUS 8552960 HAS SOUPS 8552960 WITH SCORE 8564280.415
AT ITER 2422 NEW BEST:: SOT 17134221 SOS 11319847 HAS SOPS 11319847 HAS SOUS 8552960 HAS SOUPS 8552960 WITH SCORE 8564279.847
AT ITER 2445 NEW BEST:: SOT 17131817 SOS 11317262 HAS SOPS 11317262 HAS SOUS 8550597 HAS SOUPS 8550597 WITH SCORE 8561914.262
AT ITER 2447 NEW BEST:: SOT 17131817 SOS 11317443 HAS SOPS 11317443 HAS SOUS 8550582 HAS SOUPS 8550582 WITH SCORE 8561899.443
AT ITER 2459 NEW BEST:: SOT 17128245 SOS 11311751 HAS SOPS 11311751 HAS SOUS 8548547 HAS SOUPS 8548547 WITH SCORE 8559858.751
AT ITER 2463 NEW BEST:: SOT 17128245 SOS 11310958 HAS SOPS 11310958 HAS SOUS 8548547 HAS SOUPS 8548547 WITH SCORE 8559857.958
AT ITER 2471 NEW BEST:: SOT 17128245 SOS 11310958 HAS SOPS 11310958 HAS SOUS 8548541 HAS SOUPS 8548541 WITH SCORE 8559851.958
AT ITER 2472 NEW BEST:: SOT 17125604 SOS 11310096 HAS SOPS 11310096 HAS SOUS 8546343 HAS SOUPS 8546343 WITH SCORE 8557653.096
AT ITER 2474 NEW BEST:: SOT 17125604 SOS 11309166 HAS SOPS 11309166 HAS SOUS 8545875 HAS SOUPS 8545875 WITH SCORE 8557184.166
AT ITER 2477 NEW BEST:: SOT 17121083 SOS 11306940 HAS SOPS 11306940 HAS SOUS 8542522 HAS SOUPS 8542522 WITH SCORE 8553828.94
AT ITER 2480 NEW BEST:: SOT 17119797 SOS 11306086 HAS SOPS 11306086 HAS SOUS 8541494 HAS SOUPS 8541494 WITH SCORE 8552800.086
AT ITER 2482 NEW BEST:: SOT 17120029 SOS 11306525 HAS SOPS 11306525 HAS SOUS 8540886 HAS SOUPS 8540886 WITH SCORE 8552192.525
AT ITER 2487 NEW BEST:: SOT 17115257 SOS 11302173 HAS SOPS 11302173 HAS SOUS 8538873 HAS SOUPS 8538873 WITH SCORE 8550175.173
AT ITER 2492 NEW BEST:: SOT 17115257 SOS 11301301 HAS SOPS 11301301 HAS SOUS 8538873 HAS SOUPS 8538873 WITH SCORE 8550174.301
AT ITER 2493 NEW BEST:: SOT 17115257 SOS 11301263 HAS SOPS 11301263 HAS SOUS 8538873 HAS SOUPS 8538873 WITH SCORE 8550174.263
AT ITER 2504 NEW BEST:: SOT 17115257 SOS 11300725 HAS SOPS 11300725 HAS SOUS 8538873 HAS SOUPS 8538873 WITH SCORE 8550173.725
AT ITER 2511 NEW BEST:: SOT 17115257 SOS 11299427 HAS SOPS 11299427 HAS SOUS 8538873 HAS SOUPS 8538873 WITH SCORE 8550172.427
AT ITER 2515 NEW BEST:: SOT 17115257 SOS 11297889 HAS SOPS 11297889 HAS SOUS 8538873 HAS SOUPS 8538873 WITH SCORE 8550170.889
AT ITER 2516 NEW BEST:: SOT 17113161 SOS 11296219 HAS SOPS 11296219 HAS SOUS 8537525 HAS SOUPS 8537525 WITH SCORE 8548821.219
AT ITER 2522 NEW BEST:: SOT 17113161 SOS 11294671 HAS SOPS 11294671 HAS SOUS 8537525 HAS SOUPS 8537525 WITH SCORE 8548819.671
AT ITER 2527 NEW BEST:: SOT 17113161 SOS 11294532 HAS SOPS 11294532 HAS SOUS 8537525 HAS SOUPS 8537525 WITH SCORE 8548819.532
AT ITER 2531 NEW BEST:: SOT 17113161 SOS 11285986 HAS SOPS 11285986 HAS SOUS 8537525 HAS SOUPS 8537525 WITH SCORE 8548810.986
AT ITER 2532 NEW BEST:: SOT 17113161 SOS 11284310 HAS SOPS 11284310 HAS SOUS 8537418 HAS SOUPS 8537418 WITH SCORE 8548702.31
AT ITER 2534 NEW BEST:: SOT 17113161 SOS 11284310 HAS SOPS 11284310 HAS SOUS 8537403 HAS SOUPS 8537403 WITH SCORE 8548687.31
AT ITER 2536 NEW BEST:: SOT 17110356 SOS 11281746 HAS SOPS 11281746 HAS SOUS 8535814 HAS SOUPS 8535814 WITH SCORE 8547095.746
AT ITER 2538 NEW BEST:: SOT 17110356 SOS 11281719 HAS SOPS 11281719 HAS SOUS 8535814 HAS SOUPS 8535814 WITH SCORE 8547095.719
AT ITER 2548 NEW BEST:: SOT 17110356 SOS 11279504 HAS SOPS 11279504 HAS SOUS 8535814 HAS SOUPS 8535814 WITH SCORE 8547093.504
AT ITER 2558 NEW BEST:: SOT 17106824 SOS 11277326 HAS SOPS 11277326 HAS SOUS 8533059 HAS SOUPS 8533059 WITH SCORE 8544336.326
AT ITER 2569 NEW BEST:: SOT 17106824 SOS 11277046 HAS SOPS 11277046 HAS SOUS 8533059 HAS SOUPS 8533059 WITH SCORE 8544336.046
AT ITER 2570 NEW BEST:: SOT 17106824 SOS 11268869 HAS SOPS 11268869 HAS SOUS 8533059 HAS SOUPS 8533059 WITH SCORE 8544327.869
AT ITER 2578 NEW BEST:: SOT 17105832 SOS 11267919 HAS SOPS 11267919 HAS SOUS 8532204 HAS SOUPS 8532204 WITH SCORE 8543471.919
AT ITER 2585 NEW BEST:: SOT 17105920 SOS 11267839 HAS SOPS 11267839 HAS SOUS 8531890 HAS SOUPS 8531890 WITH SCORE 8543157.839
AT ITER 2589 NEW BEST:: SOT 17101714 SOS 11268816 HAS SOPS 11268816 HAS SOUS 8528982 HAS SOUPS 8528982 WITH SCORE 8540250.816
AT ITER 2593 NEW BEST:: SOT 17101714 SOS 11262455 HAS SOPS 11262455 HAS SOUS 8528982 HAS SOUPS 8528982 WITH SCORE 8540244.455
AT ITER 2605 NEW BEST:: SOT 17101714 SOS 11261705 HAS SOPS 11261705 HAS SOUS 8528967 HAS SOUPS 8528967 WITH SCORE 8540228.705
AT ITER 2610 NEW BEST:: SOT 17101714 SOS 11237481 HAS SOPS 11237481 HAS SOUS 8528967 HAS SOUPS 8528967 WITH SCORE 8540204.481
AT ITER 2617 NEW BEST:: SOT 17101714 SOS 11236203 HAS SOPS 11236203 HAS SOUS 8528967 HAS SOUPS 8528967 WITH SCORE 8540203.203
AT ITER 2623 NEW BEST:: SOT 17101714 SOS 11235756 HAS SOPS 11235756 HAS SOUS 8528967 HAS SOUPS 8528967 WITH SCORE 8540202.756
AT ITER 2631 NEW BEST:: SOT 17101714 SOS 11235355 HAS SOPS 11235355 HAS SOUS 8528967 HAS SOUPS 8528967 WITH SCORE 8540202.355
AT ITER 2634 NEW BEST:: SOT 17101714 SOS 11235137 HAS SOPS 11235137 HAS SOUS 8528967 HAS SOUPS 8528967 WITH SCORE 8540202.137
AT ITER 2637 NEW BEST:: SOT 17101714 SOS 11225366 HAS SOPS 11225366 HAS SOUS 8528967 HAS SOUPS 8528967 WITH SCORE 8540192.366
AT ITER 2642 NEW BEST:: SOT 17101714 SOS 11218257 HAS SOPS 11218257 HAS SOUS 8528967 HAS SOUPS 8528967 WITH SCORE 8540185.257
AT ITER 2645 NEW BEST:: SOT 17101282 SOS 11220095 HAS SOPS 11220095 HAS SOUS 8528535 HAS SOUPS 8528535 WITH SCORE 8539755.095
AT ITER 2649 NEW BEST:: SOT 17101282 SOS 11218010 HAS SOPS 11218010 HAS SOUS 8528251 HAS SOUPS 8528251 WITH SCORE 8539469.01
AT ITER 2655 NEW BEST:: SOT 17101282 SOS 11206125 HAS SOPS 11206125 HAS SOUS 8528251 HAS SOUPS 8528251 WITH SCORE 8539457.125
AT ITER 2657 NEW BEST:: SOT 17101282 SOS 11205018 HAS SOPS 11205018 HAS SOUS 8528071 HAS SOUPS 8528071 WITH SCORE 8539276.018
AT ITER 2664 NEW BEST:: SOT 17101282 SOS 11203605 HAS SOPS 11203605 HAS SOUS 8528043 HAS SOUPS 8528043 WITH SCORE 8539246.605
AT ITER 2669 NEW BEST:: SOT 17099553 SOS 11202108 HAS SOPS 11202108 HAS SOUS 8526546 HAS SOUPS 8526546 WITH SCORE 8537748.108
AT ITER 2694 NEW BEST:: SOT 17099440 SOS 11203800 HAS SOPS 11203800 HAS SOUS 8526391 HAS SOUPS 8526391 WITH SCORE 8537594.8
AT ITER 2706 NEW BEST:: SOT 17094241 SOS 11199149 HAS SOPS 11199149 HAS SOUS 8521918 HAS SOUPS 8521918 WITH SCORE 8533117.149
AT ITER 2709 NEW BEST:: SOT 17094342 SOS 11197427 HAS SOPS 11197427 HAS SOUS 8521486 HAS SOUPS 8521486 WITH SCORE 8532683.427
AT ITER 2717 NEW BEST:: SOT 17094342 SOS 11196831 HAS SOPS 11196831 HAS SOUS 8521486 HAS SOUPS 8521486 WITH SCORE 8532682.831
AT ITER 2732 NEW BEST:: SOT 17094342 SOS 11195970 HAS SOPS 11195970 HAS SOUS 8521486 HAS SOUPS 8521486 WITH SCORE 8532681.97
AT ITER 2734 NEW BEST:: SOT 17094342 SOS 11196627 HAS SOPS 11196627 HAS SOUS 8521261 HAS SOUPS 8521261 WITH SCORE 8532457.627
AT ITER 2736 NEW BEST:: SOT 17094342 SOS 11194474 HAS SOPS 11194474 HAS SOUS 8521261 HAS SOUPS 8521261 WITH SCORE 8532455.474
AT ITER 2740 NEW BEST:: SOT 17093061 SOS 11194483 HAS SOPS 11194483 HAS SOUS 8520814 HAS SOUPS 8520814 WITH SCORE 8532008.483
AT ITER 2758 NEW BEST:: SOT 17093061 SOS 11180817 HAS SOPS 11180817 HAS SOUS 8520814 HAS SOUPS 8520814 WITH SCORE 8531994.817
AT ITER 2760 NEW BEST:: SOT 17093057 SOS 11180813 HAS SOPS 11180813 HAS SOUS 8520803 HAS SOUPS 8520803 WITH SCORE 8531983.813
AT ITER 2761 NEW BEST:: SOT 17093057 SOS 11180720 HAS SOPS 11180720 HAS SOUS 8520803 HAS SOUPS 8520803 WITH SCORE 8531983.72
AT ITER 2766 NEW BEST:: SOT 17093415 SOS 11182414 HAS SOPS 11182414 HAS SOUS 8520510 HAS SOUPS 8520510 WITH SCORE 8531692.414
AT ITER 2767 NEW BEST:: SOT 17093415 SOS 11182151 HAS SOPS 11182151 HAS SOUS 8520510 HAS SOUPS 8520510 WITH SCORE 8531692.151
AT ITER 2771 NEW BEST:: SOT 17093415 SOS 11181871 HAS SOPS 11181871 HAS SOUS 8520510 HAS SOUPS 8520510 WITH SCORE 8531691.871
AT ITER 2772 NEW BEST:: SOT 17093415 SOS 11181807 HAS SOPS 11181807 HAS SOUS 8520510 HAS SOUPS 8520510 WITH SCORE 8531691.807
AT ITER 2776 NEW BEST:: SOT 17093415 SOS 11181540 HAS SOPS 11181540 HAS SOUS 8520510 HAS SOUPS 8520510 WITH SCORE 8531691.54
AT ITER 2779 NEW BEST:: SOT 17093608 SOS 11180745 HAS SOPS 11180745 HAS SOUS 8520406 HAS SOUPS 8520406 WITH SCORE 8531586.745
AT ITER 2784 NEW BEST:: SOT 17093608 SOS 11176668 HAS SOPS 11176668 HAS SOUS 8520406 HAS SOUPS 8520406 WITH SCORE 8531582.668
AT ITER 2790 NEW BEST:: SOT 17093608 SOS 11174841 HAS SOPS 11174841 HAS SOUS 8520406 HAS SOUPS 8520406 WITH SCORE 8531580.841
AT ITER 2803 NEW BEST:: SOT 17093608 SOS 11174176 HAS SOPS 11174176 HAS SOUS 8520406 HAS SOUPS 8520406 WITH SCORE 8531580.176
AT ITER 2809 NEW BEST:: SOT 17093608 SOS 11174184 HAS SOPS 11174184 HAS SOUS 8520384 HAS SOUPS 8520384 WITH SCORE 8531558.184
AT ITER 2817 NEW BEST:: SOT 17093608 SOS 11146377 HAS SOPS 11146377 HAS SOUS 8520384 HAS SOUPS 8520384 WITH SCORE 8531530.377
AT ITER 2819 NEW BEST:: SOT 17093608 SOS 11145105 HAS SOPS 11145105 HAS SOUS 8520384 HAS SOUPS 8520384 WITH SCORE 8531529.105
AT ITER 2825 NEW BEST:: SOT 17091932 SOS 11148620 HAS SOPS 11148620 HAS SOUS 8519559 HAS SOUPS 8519559 WITH SCORE 8530707.62
AT ITER 2835 NEW BEST:: SOT 17091932 SOS 11148208 HAS SOPS 11148208 HAS SOUS 8519559 HAS SOUPS 8519559 WITH SCORE 8530707.208
AT ITER 2837 NEW BEST:: SOT 17088558 SOS 11145196 HAS SOPS 11145196 HAS SOUS 8518106 HAS SOUPS 8518106 WITH SCORE 8529251.196
AT ITER 2840 NEW BEST:: SOT 17088558 SOS 11144536 HAS SOPS 11144536 HAS SOUS 8518091 HAS SOUPS 8518091 WITH SCORE 8529235.536
AT ITER 2841 NEW BEST:: SOT 17088558 SOS 11144283 HAS SOPS 11144283 HAS SOUS 8518091 HAS SOUPS 8518091 WITH SCORE 8529235.283
AT ITER 2842 NEW BEST:: SOT 17088558 SOS 11144051 HAS SOPS 11144051 HAS SOUS 8518091 HAS SOUPS 8518091 WITH SCORE 8529235.051
AT ITER 2847 NEW BEST:: SOT 17088558 SOS 11143400 HAS SOPS 11143400 HAS SOUS 8518091 HAS SOUPS 8518091 WITH SCORE 8529234.4
AT ITER 2850 NEW BEST:: SOT 17088558 SOS 11143016 HAS SOPS 11143016 HAS SOUS 8518091 HAS SOUPS 8518091 WITH SCORE 8529234.016
AT ITER 2858 NEW BEST:: SOT 17088558 SOS 11142083 HAS SOPS 11142083 HAS SOUS 8518091 HAS SOUPS 8518091 WITH SCORE 8529233.083
AT ITER 2861 NEW BEST:: SOT 17088558 SOS 11141706 HAS SOPS 11141706 HAS SOUS 8518076 HAS SOUPS 8518076 WITH SCORE 8529217.706
AT ITER 2863 NEW BEST:: SOT 17086293 SOS 11139585 HAS SOPS 11139585 HAS SOUS 8516132 HAS SOUPS 8516132 WITH SCORE 8527271.585
AT ITER 2872 NEW BEST:: SOT 17086358 SOS 11139650 HAS SOPS 11139650 HAS SOUS 8516127 HAS SOUPS 8516127 WITH SCORE 8527266.65
AT ITER 2883 NEW BEST:: SOT 17086358 SOS 11138851 HAS SOPS 11138851 HAS SOUS 8516127 HAS SOUPS 8516127 WITH SCORE 8527265.851
AT ITER 2891 NEW BEST:: SOT 17085552 SOS 11138109 HAS SOPS 11138109 HAS SOUS 8515480 HAS SOUPS 8515480 WITH SCORE 8526618.109
AT ITER 2898 NEW BEST:: SOT 17085552 SOS 11137725 HAS SOPS 11137725 HAS SOUS 8515255 HAS SOUPS 8515255 WITH SCORE 8526392.725
AT ITER 2902 NEW BEST:: SOT 17085552 SOS 11137324 HAS SOPS 11137324 HAS SOUS 8515255 HAS SOUPS 8515255 WITH SCORE 8526392.324
AT ITER 2904 NEW BEST:: SOT 17085377 SOS 11137290 HAS SOPS 11137290 HAS SOUS 8515221 HAS SOUPS 8515221 WITH SCORE 8526358.29
AT ITER 2906 NEW BEST:: SOT 17084015 SOS 11136108 HAS SOPS 11136108 HAS SOUS 8514067 HAS SOUPS 8514067 WITH SCORE 8525203.108
AT ITER 2925 NEW BEST:: SOT 17084015 SOS 11135562 HAS SOPS 11135562 HAS SOUS 8514067 HAS SOUPS 8514067 WITH SCORE 8525202.562
AT ITER 2931 NEW BEST:: SOT 17084235 SOS 11135712 HAS SOPS 11135712 HAS SOUS 8514033 HAS SOUPS 8514033 WITH SCORE 8525168.712
AT ITER 2935 NEW BEST:: SOT 17084235 SOS 11135081 HAS SOPS 11135081 HAS SOUS 8514033 HAS SOUPS 8514033 WITH SCORE 8525168.081
AT ITER 2938 NEW BEST:: SOT 17084235 SOS 11134691 HAS SOPS 11134691 HAS SOUS 8513939 HAS SOUPS 8513939 WITH SCORE 8525073.691
AT ITER 2942 NEW BEST:: SOT 17084235 SOS 11134452 HAS SOPS 11134452 HAS SOUS 8513939 HAS SOUPS 8513939 WITH SCORE 8525073.452
AT ITER 2945 NEW BEST:: SOT 17082391 SOS 11136984 HAS SOPS 11136984 HAS SOUS 8513400 HAS SOUPS 8513400 WITH SCORE 8524536.984
AT ITER 2947 NEW BEST:: SOT 17082728 SOS 11139509 HAS SOPS 11139509 HAS SOUS 8512865 HAS SOUPS 8512865 WITH SCORE 8524004.509
AT ITER 2948 NEW BEST:: SOT 17082728 SOS 11139420 HAS SOPS 11139420 HAS SOUS 8512865 HAS SOUPS 8512865 WITH SCORE 8524004.42
AT ITER 2957 NEW BEST:: SOT 17082353 SOS 11139234 HAS SOPS 11139234 HAS SOUS 8512730 HAS SOUPS 8512730 WITH SCORE 8523869.234
AT ITER 2964 NEW BEST:: SOT 17082353 SOS 11139103 HAS SOPS 11139103 HAS SOUS 8512730 HAS SOUPS 8512730 WITH SCORE 8523869.103
AT ITER 2967 NEW BEST:: SOT 17082353 SOS 11138651 HAS SOPS 11138651 HAS SOUS 8512730 HAS SOUPS 8512730 WITH SCORE 8523868.651
AT ITER 2970 NEW BEST:: SOT 17082353 SOS 11138480 HAS SOPS 11138480 HAS SOUS 8512730 HAS SOUPS 8512730 WITH SCORE 8523868.48
AT ITER 2971 NEW BEST:: SOT 17082353 SOS 11138107 HAS SOPS 11138107 HAS SOUS 8512730 HAS SOUPS 8512730 WITH SCORE 8523868.107
AT ITER 2976 NEW BEST:: SOT 17078305 SOS 11166150 HAS SOPS 11166150 HAS SOUS 8511523 HAS SOUPS 8511523 WITH SCORE 8522689.15
AT ITER 2987 NEW BEST:: SOT 17078305 SOS 11165628 HAS SOPS 11165628 HAS SOUS 8511523 HAS SOUPS 8511523 WITH SCORE 8522688.628
AT ITER 2994 NEW BEST:: SOT 17074468 SOS 11164599 HAS SOPS 11164599 HAS SOUS 8510175 HAS SOUPS 8510175 WITH SCORE 8521339.599
AT ITER 2997 NEW BEST:: SOT 17069164 SOS 11159899 HAS SOPS 11159899 HAS SOUS 8505585 HAS SOUPS 8505585 WITH SCORE 8516744.899
AT ITER 3001 NEW BEST:: SOT 17069014 SOS 11159749 HAS SOPS 11159749 HAS SOUS 8505445 HAS SOUPS 8505445 WITH SCORE 8516604.749
AT ITER 3012 NEW BEST:: SOT 17069014 SOS 11145544 HAS SOPS 11145544 HAS SOUS 8505445 HAS SOUPS 8505445 WITH SCORE 8516590.544
AT ITER 3013 NEW BEST:: SOT 17069014 SOS 11144837 HAS SOPS 11144837 HAS SOUS 8505445 HAS SOUPS 8505445 WITH SCORE 8516589.837
AT ITER 3015 NEW BEST:: SOT 17068639 SOS 11144703 HAS SOPS 11144703 HAS SOUS 8505311 HAS SOUPS 8505311 WITH SCORE 8516455.703
AT ITER 3019 NEW BEST:: SOT 17068639 SOS 11129714 HAS SOPS 11129714 HAS SOUS 8505311 HAS SOUPS 8505311 WITH SCORE 8516440.714
AT ITER 3021 NEW BEST:: SOT 17068639 SOS 11127413 HAS SOPS 11127413 HAS SOUS 8505311 HAS SOUPS 8505311 WITH SCORE 8516438.413
AT ITER 3029 NEW BEST:: SOT 17068639 SOS 11104288 HAS SOPS 11104288 HAS SOUS 8505311 HAS SOUPS 8505311 WITH SCORE 8516415.288
AT ITER 3040 NEW BEST:: SOT 17068639 SOS 11079683 HAS SOPS 11079683 HAS SOUS 8505311 HAS SOUPS 8505311 WITH SCORE 8516390.683
AT ITER 3052 NEW BEST:: SOT 17068937 SOS 11079975 HAS SOPS 11079975 HAS SOUS 8505234 HAS SOUPS 8505234 WITH SCORE 8516313.975
AT ITER 3062 NEW BEST:: SOT 17068937 SOS 11079211 HAS SOPS 11079211 HAS SOUS 8505234 HAS SOUPS 8505234 WITH SCORE 8516313.211
AT ITER 3073 NEW BEST:: SOT 17063833 SOS 11074296 HAS SOPS 11074296 HAS SOUS 8500669 HAS SOUPS 8500669 WITH SCORE 8511743.296
AT ITER 3075 NEW BEST:: SOT 17063833 SOS 11072290 HAS SOPS 11072290 HAS SOUS 8500669 HAS SOUPS 8500669 WITH SCORE 8511741.29
AT ITER 3076 NEW BEST:: SOT 17063833 SOS 11071995 HAS SOPS 11071995 HAS SOUS 8500669 HAS SOUPS 8500669 WITH SCORE 8511740.995
AT ITER 3078 NEW BEST:: SOT 17064056 SOS 11070944 HAS SOPS 11070944 HAS SOUS 8499419 HAS SOUPS 8499419 WITH SCORE 8510489.944
AT ITER 3081 NEW BEST:: SOT 17064056 SOS 11070944 HAS SOPS 11070944 HAS SOUS 8499326 HAS SOUPS 8499326 WITH SCORE 8510396.944
AT ITER 3084 NEW BEST:: SOT 17064056 SOS 11069888 HAS SOPS 11069888 HAS SOUS 8499326 HAS SOUPS 8499326 WITH SCORE 8510395.888
AT ITER 3088 NEW BEST:: SOT 17064056 SOS 11069684 HAS SOPS 11069684 HAS SOUS 8499326 HAS SOUPS 8499326 WITH SCORE 8510395.684
AT ITER 3091 NEW BEST:: SOT 17064056 SOS 11069193 HAS SOPS 11069193 HAS SOUS 8499326 HAS SOUPS 8499326 WITH SCORE 8510395.193
AT ITER 3102 NEW BEST:: SOT 17064056 SOS 11068814 HAS SOPS 11068814 HAS SOUS 8499326 HAS SOUPS 8499326 WITH SCORE 8510394.814
AT ITER 3107 NEW BEST:: SOT 17062843 SOS 11068045 HAS SOPS 11068045 HAS SOUS 8498830 HAS SOUPS 8498830 WITH SCORE 8509898.045
AT ITER 3108 NEW BEST:: SOT 17062843 SOS 11067300 HAS SOPS 11067300 HAS SOUS 8498830 HAS SOUPS 8498830 WITH SCORE 8509897.3
AT ITER 3122 NEW BEST:: SOT 17062843 SOS 11066861 HAS SOPS 11066861 HAS SOUS 8498830 HAS SOUPS 8498830 WITH SCORE 8509896.861
AT ITER 3123 NEW BEST:: SOT 17062427 SOS 11066445 HAS SOPS 11066445 HAS SOUS 8497679 HAS SOUPS 8497679 WITH SCORE 8508745.445
AT ITER 3125 NEW BEST:: SOT 17062427 SOS 11066445 HAS SOPS 11066445 HAS SOUS 8497664 HAS SOUPS 8497664 WITH SCORE 8508730.445
AT ITER 3136 NEW BEST:: SOT 17062427 SOS 11065793 HAS SOPS 11065793 HAS SOUS 8497664 HAS SOUPS 8497664 WITH SCORE 8508729.793
AT ITER 3138 NEW BEST:: SOT 17062633 SOS 11065894 HAS SOPS 11065894 HAS SOUS 8497531 HAS SOUPS 8497531 WITH SCORE 8508596.894
AT ITER 3141 NEW BEST:: SOT 17062633 SOS 11039896 HAS SOPS 11039896 HAS SOUS 8497531 HAS SOUPS 8497531 WITH SCORE 8508570.896
AT ITER 3155 NEW BEST:: SOT 17062633 SOS 11038293 HAS SOPS 11038293 HAS SOUS 8497362 HAS SOUPS 8497362 WITH SCORE 8508400.293
AT ITER 3156 NEW BEST:: SOT 17062751 SOS 11039483 HAS SOPS 11039483 HAS SOUS 8497337 HAS SOUPS 8497337 WITH SCORE 8508376.483
AT ITER 3159 NEW BEST:: SOT 17062751 SOS 11044470 HAS SOPS 11044470 HAS SOUS 8496890 HAS SOUPS 8496890 WITH SCORE 8507934.47
AT ITER 3161 NEW BEST:: SOT 17062889 SOS 11044550 HAS SOPS 11044550 HAS SOUS 8495783 HAS SOUPS 8495783 WITH SCORE 8506827.55
AT ITER 3165 NEW BEST:: SOT 17062889 SOS 11043327 HAS SOPS 11043327 HAS SOUS 8495573 HAS SOUPS 8495573 WITH SCORE 8506616.327
AT ITER 3169 NEW BEST:: SOT 17062889 SOS 11043265 HAS SOPS 11043265 HAS SOUS 8495573 HAS SOUPS 8495573 WITH SCORE 8506616.265
AT ITER 3170 NEW BEST:: SOT 17062889 SOS 11042632 HAS SOPS 11042632 HAS SOUS 8495573 HAS SOUPS 8495573 WITH SCORE 8506615.632
AT ITER 3173 NEW BEST:: SOT 17062889 SOS 11041353 HAS SOPS 11041353 HAS SOUS 8495573 HAS SOUPS 8495573 WITH SCORE 8506614.353
AT ITER 3174 NEW BEST:: SOT 17062889 SOS 11041101 HAS SOPS 11041101 HAS SOUS 8495573 HAS SOUPS 8495573 WITH SCORE 8506614.101
AT ITER 3183 NEW BEST:: SOT 17062889 SOS 11040582 HAS SOPS 11040582 HAS SOUS 8495573 HAS SOUPS 8495573 WITH SCORE 8506613.582
AT ITER 3190 NEW BEST:: SOT 17062758 SOS 11040582 HAS SOPS 11040582 HAS SOUS 8495543 HAS SOUPS 8495543 WITH SCORE 8506583.582
AT ITER 3194 NEW BEST:: SOT 17062758 SOS 11042247 HAS SOPS 11042247 HAS SOUS 8495291 HAS SOUPS 8495291 WITH SCORE 8506333.247
AT ITER 3205 NEW BEST:: SOT 17062758 SOS 11042244 HAS SOPS 11042244 HAS SOUS 8495149 HAS SOUPS 8495149 WITH SCORE 8506191.244
AT ITER 3206 NEW BEST:: SOT 17062758 SOS 11041714 HAS SOPS 11041714 HAS SOUS 8495149 HAS SOUPS 8495149 WITH SCORE 8506190.714
AT ITER 3207 NEW BEST:: SOT 17062758 SOS 11041183 HAS SOPS 11041183 HAS SOUS 8495149 HAS SOUPS 8495149 WITH SCORE 8506190.183
AT ITER 3215 NEW BEST:: SOT 17060914 SOS 11041112 HAS SOPS 11041112 HAS SOUS 8494864 HAS SOUPS 8494864 WITH SCORE 8505905.112
AT ITER 3216 NEW BEST:: SOT 17060914 SOS 11040687 HAS SOPS 11040687 HAS SOUS 8494864 HAS SOUPS 8494864 WITH SCORE 8505904.687
AT ITER 3224 NEW BEST:: SOT 17060276 SOS 11046878 HAS SOPS 11046878 HAS SOUS 8494496 HAS SOUPS 8494496 WITH SCORE 8505542.878
AT ITER 3238 NEW BEST:: SOT 17059592 SOS 11047070 HAS SOPS 11047070 HAS SOUS 8493884 HAS SOUPS 8493884 WITH SCORE 8504931.07
AT ITER 3243 NEW BEST:: SOT 17059592 SOS 11046938 HAS SOPS 11046938 HAS SOUS 8493884 HAS SOUPS 8493884 WITH SCORE 8504930.938
AT ITER 3246 NEW BEST:: SOT 17058606 SOS 11045952 HAS SOPS 11045952 HAS SOUS 8492053 HAS SOUPS 8492053 WITH SCORE 8503098.952
AT ITER 3249 NEW BEST:: SOT 17058606 SOS 11045952 HAS SOPS 11045952 HAS SOUS 8491975 HAS SOUPS 8491975 WITH SCORE 8503020.952
AT ITER 3254 NEW BEST:: SOT 17058606 SOS 11044932 HAS SOPS 11044932 HAS SOUS 8491975 HAS SOUPS 8491975 WITH SCORE 8503019.932
AT ITER 3257 NEW BEST:: SOT 17058606 SOS 11044932 HAS SOPS 11044932 HAS SOUS 8491867 HAS SOUPS 8491867 WITH SCORE 8502911.932
AT ITER 3259 NEW BEST:: SOT 17058606 SOS 11044299 HAS SOPS 11044299 HAS SOUS 8491867 HAS SOUPS 8491867 WITH SCORE 8502911.299
AT ITER 3265 NEW BEST:: SOT 17058606 SOS 11043977 HAS SOPS 11043977 HAS SOUS 8491867 HAS SOUPS 8491867 WITH SCORE 8502910.977
AT ITER 3267 NEW BEST:: SOT 17058606 SOS 11043332 HAS SOPS 11043332 HAS SOUS 8491867 HAS SOUPS 8491867 WITH SCORE 8502910.332
AT ITER 3268 NEW BEST:: SOT 17058500 SOS 11043307 HAS SOPS 11043307 HAS SOUS 8491767 HAS SOUPS 8491767 WITH SCORE 8502810.307
AT ITER 3296 NEW BEST:: SOT 17058500 SOS 11042362 HAS SOPS 11042362 HAS SOUS 8491767 HAS SOUPS 8491767 WITH SCORE 8502809.362
AT ITER 3299 NEW BEST:: SOT 17058500 SOS 11041557 HAS SOPS 11041557 HAS SOUS 8490908 HAS SOUPS 8490908 WITH SCORE 8501949.557
AT ITER 3300 NEW BEST:: SOT 17058500 SOS 11040856 HAS SOPS 11040856 HAS SOUS 8490908 HAS SOUPS 8490908 WITH SCORE 8501948.856
AT ITER 3303 NEW BEST:: SOT 17056636 SOS 11039303 HAS SOPS 11039303 HAS SOUS 8489878 HAS SOUPS 8489878 WITH SCORE 8500917.303
AT ITER 3317 NEW BEST:: SOT 17056636 SOS 11038422 HAS SOPS 11038422 HAS SOUS 8489878 HAS SOUPS 8489878 WITH SCORE 8500916.422
AT ITER 3318 NEW BEST:: SOT 17054303 SOS 11036016 HAS SOPS 11036016 HAS SOUS 8487567 HAS SOUPS 8487567 WITH SCORE 8498603.016
AT ITER 3319 NEW BEST:: SOT 17054303 SOS 11035682 HAS SOPS 11035682 HAS SOUS 8487567 HAS SOUPS 8487567 WITH SCORE 8498602.682
AT ITER 3327 NEW BEST:: SOT 17054303 SOS 11035225 HAS SOPS 11035225 HAS SOUS 8487567 HAS SOUPS 8487567 WITH SCORE 8498602.225
AT ITER 3331 NEW BEST:: SOT 17051033 SOS 11032888 HAS SOPS 11032888 HAS SOUS 8486532 HAS SOUPS 8486532 WITH SCORE 8497564.888
AT ITER 3332 NEW BEST:: SOT 17051033 SOS 11017348 HAS SOPS 11017348 HAS SOUS 8486532 HAS SOUPS 8486532 WITH SCORE 8497549.348
AT ITER 3333 NEW BEST:: SOT 17051033 SOS 11016858 HAS SOPS 11016858 HAS SOUS 8486532 HAS SOUPS 8486532 WITH SCORE 8497548.858
AT ITER 3338 NEW BEST:: SOT 17049920 SOS 11034146 HAS SOPS 11034146 HAS SOUS 8486371 HAS SOUPS 8486371 WITH SCORE 8497405.146
AT ITER 3341 NEW BEST:: SOT 17050236 SOS 11032618 HAS SOPS 11032618 HAS SOUS 8484414 HAS SOUPS 8484414 WITH SCORE 8495446.618
AT ITER 3352 NEW BEST:: SOT 17050236 SOS 11032252 HAS SOPS 11032252 HAS SOUS 8484032 HAS SOUPS 8484032 WITH SCORE 8495064.252
AT ITER 3354 NEW BEST:: SOT 17050236 SOS 11031544 HAS SOPS 11031544 HAS SOUS 8484009 HAS SOUPS 8484009 WITH SCORE 8495040.544
AT ITER 3360 NEW BEST:: SOT 17050236 SOS 11031544 HAS SOPS 11031544 HAS SOUS 8483994 HAS SOUPS 8483994 WITH SCORE 8495025.544
AT ITER 3361 NEW BEST:: SOT 17045905 SOS 11027754 HAS SOPS 11027754 HAS SOUS 8480410 HAS SOUPS 8480410 WITH SCORE 8491437.754
AT ITER 3362 NEW BEST:: SOT 17045905 SOS 11027454 HAS SOPS 11027454 HAS SOUS 8480410 HAS SOUPS 8480410 WITH SCORE 8491437.454
AT ITER 3365 NEW BEST:: SOT 17045905 SOS 11027408 HAS SOPS 11027408 HAS SOUS 8480410 HAS SOUPS 8480410 WITH SCORE 8491437.408
AT ITER 3378 NEW BEST:: SOT 17045905 SOS 11027408 HAS SOPS 11027408 HAS SOUS 8480395 HAS SOUPS 8480395 WITH SCORE 8491422.408
AT ITER 3382 NEW BEST:: SOT 17045628 SOS 11026854 HAS SOPS 11026854 HAS SOUS 8480103 HAS SOUPS 8480103 WITH SCORE 8491129.854
AT ITER 3386 NEW BEST:: SOT 17045628 SOS 11025988 HAS SOPS 11025988 HAS SOUS 8480103 HAS SOUPS 8480103 WITH SCORE 8491128.988
AT ITER 3390 NEW BEST:: SOT 17042840 SOS 11024604 HAS SOPS 11024604 HAS SOUS 8480079 HAS SOUPS 8480079 WITH SCORE 8491103.604
AT ITER 3392 NEW BEST:: SOT 17039868 SOS 11020292 HAS SOPS 11020292 HAS SOUS 8476084 HAS SOUPS 8476084 WITH SCORE 8487104.292
AT ITER 3393 NEW BEST:: SOT 17039868 SOS 11019935 HAS SOPS 11019935 HAS SOUS 8476084 HAS SOUPS 8476084 WITH SCORE 8487103.935
AT ITER 3401 NEW BEST:: SOT 17039868 SOS 11019511 HAS SOPS 11019511 HAS SOUS 8476084 HAS SOUPS 8476084 WITH SCORE 8487103.511
AT ITER 3402 NEW BEST:: SOT 17039868 SOS 11019224 HAS SOPS 11019224 HAS SOUS 8476084 HAS SOUPS 8476084 WITH SCORE 8487103.224
AT ITER 3404 NEW BEST:: SOT 17037823 SOS 11019492 HAS SOPS 11019492 HAS SOUS 8474535 HAS SOUPS 8474535 WITH SCORE 8485554.492
AT ITER 3407 NEW BEST:: SOT 17038069 SOS 11019664 HAS SOPS 11019664 HAS SOUS 8474428 HAS SOUPS 8474428 WITH SCORE 8485447.664
AT ITER 3409 NEW BEST:: SOT 17038069 SOS 11018384 HAS SOPS 11018384 HAS SOUS 8474428 HAS SOUPS 8474428 WITH SCORE 8485446.384
AT ITER 3413 NEW BEST:: SOT 17038069 SOS 11018221 HAS SOPS 11018221 HAS SOUS 8474203 HAS SOUPS 8474203 WITH SCORE 8485221.221
AT ITER 3416 NEW BEST:: SOT 17038069 SOS 11017734 HAS SOPS 11017734 HAS SOUS 8474203 HAS SOUPS 8474203 WITH SCORE 8485220.734
AT ITER 3417 NEW BEST:: SOT 17038069 SOS 11015606 HAS SOPS 11015606 HAS SOUS 8474203 HAS SOUPS 8474203 WITH SCORE 8485218.606
AT ITER 3430 NEW BEST:: SOT 17035688 SOS 11014483 HAS SOPS 11014483 HAS SOUS 8473583 HAS SOUPS 8473583 WITH SCORE 8484597.483
AT ITER 3448 NEW BEST:: SOT 17035688 SOS 11014271 HAS SOPS 11014271 HAS SOUS 8473002 HAS SOUPS 8473002 WITH SCORE 8484016.271
AT ITER 3453 NEW BEST:: SOT 17035688 SOS 11006069 HAS SOPS 11006069 HAS SOUS 8473002 HAS SOUPS 8473002 WITH SCORE 8484008.069
AT ITER 3455 NEW BEST:: SOT 17035495 SOS 11003900 HAS SOPS 11003900 HAS SOUS 8472680 HAS SOUPS 8472680 WITH SCORE 8483683.9
AT ITER 3462 NEW BEST:: SOT 17035495 SOS 11003450 HAS SOPS 11003450 HAS SOUS 8472498 HAS SOUPS 8472498 WITH SCORE 8483501.45
AT ITER 3483 NEW BEST:: SOT 17032581 SOS 11001242 HAS SOPS 11001242 HAS SOUS 8470427 HAS SOUPS 8470427 WITH SCORE 8481428.242
AT ITER 3485 NEW BEST:: SOT 17032581 SOS 11001005 HAS SOPS 11001005 HAS SOUS 8470427 HAS SOUPS 8470427 WITH SCORE 8481428.005
AT ITER 3488 NEW BEST:: SOT 17032581 SOS 11001236 HAS SOPS 11001236 HAS SOUS 8470396 HAS SOUPS 8470396 WITH SCORE 8481397.236
AT ITER 3490 NEW BEST:: SOT 17032581 SOS 11000720 HAS SOPS 11000720 HAS SOUS 8470142 HAS SOUPS 8470142 WITH SCORE 8481142.72
AT ITER 3494 NEW BEST:: SOT 17032581 SOS 10986239 HAS SOPS 10986239 HAS SOUS 8470142 HAS SOUPS 8470142 WITH SCORE 8481128.239
AT ITER 3495 NEW BEST:: SOT 17032581 SOS 10973525 HAS SOPS 10973525 HAS SOUS 8470142 HAS SOUPS 8470142 WITH SCORE 8481115.525
AT ITER 3500 NEW BEST:: SOT 17030072 SOS 10971799 HAS SOPS 10971799 HAS SOUS 8468840 HAS SOUPS 8468840 WITH SCORE 8479811.799
AT ITER 3502 NEW BEST:: SOT 17030072 SOS 10971296 HAS SOPS 10971296 HAS SOUS 8468840 HAS SOUPS 8468840 WITH SCORE 8479811.296
AT ITER 3504 NEW BEST:: SOT 17029038 SOS 10970753 HAS SOPS 10970753 HAS SOUS 8468553 HAS SOUPS 8468553 WITH SCORE 8479523.753
AT ITER 3510 NEW BEST:: SOT 17028317 SOS 10971260 HAS SOPS 10971260 HAS SOUS 8468398 HAS SOUPS 8468398 WITH SCORE 8479369.26
AT ITER 3519 NEW BEST:: SOT 17027612 SOS 10970555 HAS SOPS 10970555 HAS SOUS 8467728 HAS SOUPS 8467728 WITH SCORE 8478698.555
AT ITER 3535 NEW BEST:: SOT 17027612 SOS 10970067 HAS SOPS 10970067 HAS SOUS 8467728 HAS SOUPS 8467728 WITH SCORE 8478698.067
AT ITER 3537 NEW BEST:: SOT 17027612 SOS 10969589 HAS SOPS 10969589 HAS SOUS 8467728 HAS SOUPS 8467728 WITH SCORE 8478697.589
AT ITER 3540 NEW BEST:: SOT 17024637 SOS 10966728 HAS SOPS 10966728 HAS SOUS 8466956 HAS SOUPS 8466956 WITH SCORE 8477922.728
AT ITER 3555 NEW BEST:: SOT 17024637 SOS 10956119 HAS SOPS 10956119 HAS SOUS 8466956 HAS SOUPS 8466956 WITH SCORE 8477912.119
AT ITER 3557 NEW BEST:: SOT 17024637 SOS 10955415 HAS SOPS 10955415 HAS SOUS 8466956 HAS SOUPS 8466956 WITH SCORE 8477911.415
AT ITER 3567 NEW BEST:: SOT 17020825 SOS 10951386 HAS SOPS 10951386 HAS SOUS 8463577 HAS SOUPS 8463577 WITH SCORE 8474528.386
AT ITER 3578 NEW BEST:: SOT 17017747 SOS 10949443 HAS SOPS 10949443 HAS SOUS 8460976 HAS SOUPS 8460976 WITH SCORE 8471925.443
AT ITER 3595 NEW BEST:: SOT 17017747 SOS 10948827 HAS SOPS 10948827 HAS SOUS 8460976 HAS SOUPS 8460976 WITH SCORE 8471924.827
AT ITER 3597 NEW BEST:: SOT 17015873 SOS 10947583 HAS SOPS 10947583 HAS SOUS 8459702 HAS SOUPS 8459702 WITH SCORE 8470649.583
AT ITER 3602 NEW BEST:: SOT 17015873 SOS 10947393 HAS SOPS 10947393 HAS SOUS 8459702 HAS SOUPS 8459702 WITH SCORE 8470649.393
AT ITER 3606 NEW BEST:: SOT 17015873 SOS 10943062 HAS SOPS 10943062 HAS SOUS 8459672 HAS SOUPS 8459672 WITH SCORE 8470615.062
AT ITER 3608 NEW BEST:: SOT 17015873 SOS 10942788 HAS SOPS 10942788 HAS SOUS 8459672 HAS SOUPS 8459672 WITH SCORE 8470614.788
AT ITER 3612 NEW BEST:: SOT 17014773 SOS 10942215 HAS SOPS 10942215 HAS SOUS 8459117 HAS SOUPS 8459117 WITH SCORE 8470059.215
AT ITER 3619 NEW BEST:: SOT 17014773 SOS 10941066 HAS SOPS 10941066 HAS SOUS 8459117 HAS SOUPS 8459117 WITH SCORE 8470058.066
AT ITER 3626 NEW BEST:: SOT 17014773 SOS 10941019 HAS SOPS 10941019 HAS SOUS 8459117 HAS SOUPS 8459117 WITH SCORE 8470058.019
AT ITER 3630 NEW BEST:: SOT 17014773 SOS 10940570 HAS SOPS 10940570 HAS SOUS 8459117 HAS SOUPS 8459117 WITH SCORE 8470057.57
AT ITER 3636 NEW BEST:: SOT 17015106 SOS 10941525 HAS SOPS 10941525 HAS SOUS 8458901 HAS SOUPS 8458901 WITH SCORE 8469842.525
AT ITER 3639 NEW BEST:: SOT 17015106 SOS 10941090 HAS SOPS 10941090 HAS SOUS 8458901 HAS SOUPS 8458901 WITH SCORE 8469842.09
AT ITER 3641 NEW BEST:: SOT 17014017 SOS 10940078 HAS SOPS 10940078 HAS SOUS 8458181 HAS SOUPS 8458181 WITH SCORE 8469121.078
AT ITER 3642 NEW BEST:: SOT 17014017 SOS 10939118 HAS SOPS 10939118 HAS SOUS 8458181 HAS SOUPS 8458181 WITH SCORE 8469120.118
AT ITER 3643 NEW BEST:: SOT 17014017 SOS 10915269 HAS SOPS 10915269 HAS SOUS 8458181 HAS SOUPS 8458181 WITH SCORE 8469096.269
AT ITER 3647 NEW BEST:: SOT 17014017 SOS 10914965 HAS SOPS 10914965 HAS SOUS 8458181 HAS SOUPS 8458181 WITH SCORE 8469095.965
AT ITER 3650 NEW BEST:: SOT 17014017 SOS 10914830 HAS SOPS 10914830 HAS SOUS 8458181 HAS SOUPS 8458181 WITH SCORE 8469095.83
AT ITER 3658 NEW BEST:: SOT 17014017 SOS 10914124 HAS SOPS 10914124 HAS SOUS 8458181 HAS SOUPS 8458181 WITH SCORE 8469095.124
AT ITER 3674 NEW BEST:: SOT 17014017 SOS 10913647 HAS SOPS 10913647 HAS SOUS 8458181 HAS SOUPS 8458181 WITH SCORE 8469094.647
AT ITER 3676 NEW BEST:: SOT 17014017 SOS 10913422 HAS SOPS 10913422 HAS SOUS 8458181 HAS SOUPS 8458181 WITH SCORE 8469094.422
AT ITER 3678 NEW BEST:: SOT 17012845 SOS 10912275 HAS SOPS 10912275 HAS SOUS 8457249 HAS SOUPS 8457249 WITH SCORE 8468161.275
AT ITER 3679 NEW BEST:: SOT 17010425 SOS 10910627 HAS SOPS 10910627 HAS SOUS 8456308 HAS SOUPS 8456308 WITH SCORE 8467218.627
AT ITER 3684 NEW BEST:: SOT 17010425 SOS 10910621 HAS SOPS 10910621 HAS SOUS 8456308 HAS SOUPS 8456308 WITH SCORE 8467218.621
AT ITER 3688 NEW BEST:: SOT 17009119 SOS 10910528 HAS SOPS 10910528 HAS SOUS 8456144 HAS SOUPS 8456144 WITH SCORE 8467054.528
AT ITER 3690 NEW BEST:: SOT 17009119 SOS 10909791 HAS SOPS 10909791 HAS SOUS 8456144 HAS SOUPS 8456144 WITH SCORE 8467053.791
AT ITER 3693 NEW BEST:: SOT 17009119 SOS 10894471 HAS SOPS 10894471 HAS SOUS 8456144 HAS SOUPS 8456144 WITH SCORE 8467038.471
AT ITER 3694 NEW BEST:: SOT 17009282 SOS 10894552 HAS SOPS 10894552 HAS SOUS 8456071 HAS SOUPS 8456071 WITH SCORE 8466965.552
AT ITER 3697 NEW BEST:: SOT 17009282 SOS 10891871 HAS SOPS 10891871 HAS SOUS 8456071 HAS SOUPS 8456071 WITH SCORE 8466962.871
AT ITER 3703 NEW BEST:: SOT 17009282 SOS 10893465 HAS SOPS 10893465 HAS SOUS 8456024 HAS SOUPS 8456024 WITH SCORE 8466917.465
AT ITER 3707 NEW BEST:: SOT 17009282 SOS 10892978 HAS SOPS 10892978 HAS SOUS 8456024 HAS SOUPS 8456024 WITH SCORE 8466916.978
AT ITER 3708 NEW BEST:: SOT 17009282 SOS 10892527 HAS SOPS 10892527 HAS SOUS 8456024 HAS SOUPS 8456024 WITH SCORE 8466916.527
AT ITER 3714 NEW BEST:: SOT 17009282 SOS 10892408 HAS SOPS 10892408 HAS SOUS 8456024 HAS SOUPS 8456024 WITH SCORE 8466916.408
AT ITER 3719 NEW BEST:: SOT 17009282 SOS 10890769 HAS SOPS 10890769 HAS SOUS 8456024 HAS SOUPS 8456024 WITH SCORE 8466914.769
AT ITER 3725 NEW BEST:: SOT 17006122 SOS 10892394 HAS SOPS 10892394 HAS SOUS 8455332 HAS SOUPS 8455332 WITH SCORE 8466224.394
AT ITER 3736 NEW BEST:: SOT 17006122 SOS 10891508 HAS SOPS 10891508 HAS SOUS 8455332 HAS SOUPS 8455332 WITH SCORE 8466223.508
AT ITER 3741 NEW BEST:: SOT 17006122 SOS 10890207 HAS SOPS 10890207 HAS SOUS 8455317 HAS SOUPS 8455317 WITH SCORE 8466207.207
AT ITER 3754 NEW BEST:: SOT 17006268 SOS 10890209 HAS SOPS 10890209 HAS SOUS 8455085 HAS SOUPS 8455085 WITH SCORE 8465975.209
AT ITER 3757 NEW BEST:: SOT 17002941 SOS 10887867 HAS SOPS 10887867 HAS SOUS 8452996 HAS SOUPS 8452996 WITH SCORE 8463883.867
AT ITER 3760 NEW BEST:: SOT 17002941 SOS 10899792 HAS SOPS 10899792 HAS SOUS 8452659 HAS SOUPS 8452659 WITH SCORE 8463558.792
AT ITER 3766 NEW BEST:: SOT 16998701 SOS 10899420 HAS SOPS 10899420 HAS SOUS 8449196 HAS SOUPS 8449196 WITH SCORE 8460095.42
AT ITER 3771 NEW BEST:: SOT 16998701 SOS 10899116 HAS SOPS 10899116 HAS SOUS 8449196 HAS SOUPS 8449196 WITH SCORE 8460095.116
AT ITER 3787 NEW BEST:: SOT 16998701 SOS 10898788 HAS SOPS 10898788 HAS SOUS 8449196 HAS SOUPS 8449196 WITH SCORE 8460094.788
AT ITER 3789 NEW BEST:: SOT 16998701 SOS 10898154 HAS SOPS 10898154 HAS SOUS 8449196 HAS SOUPS 8449196 WITH SCORE 8460094.154
AT ITER 3790 NEW BEST:: SOT 16998701 SOS 10897646 HAS SOPS 10897646 HAS SOUS 8448903 HAS SOUPS 8448903 WITH SCORE 8459800.646
AT ITER 3793 NEW BEST:: SOT 16998701 SOS 10897575 HAS SOPS 10897575 HAS SOUS 8448903 HAS SOUPS 8448903 WITH SCORE 8459800.575
AT ITER 3798 NEW BEST:: SOT 16998701 SOS 10897237 HAS SOPS 10897237 HAS SOUS 8448903 HAS SOUPS 8448903 WITH SCORE 8459800.237
AT ITER 3800 NEW BEST:: SOT 16998701 SOS 10897129 HAS SOPS 10897129 HAS SOUS 8448903 HAS SOUPS 8448903 WITH SCORE 8459800.129
AT ITER 3804 NEW BEST:: SOT 16998701 SOS 10885244 HAS SOPS 10885244 HAS SOUS 8448903 HAS SOUPS 8448903 WITH SCORE 8459788.244
AT ITER 3805 NEW BEST:: SOT 16998701 SOS 10885244 HAS SOPS 10885244 HAS SOUS 8448781 HAS SOUPS 8448781 WITH SCORE 8459666.244
AT ITER 3811 NEW BEST:: SOT 16998126 SOS 10884669 HAS SOPS 10884669 HAS SOUS 8448372 HAS SOUPS 8448372 WITH SCORE 8459256.669
AT ITER 3823 NEW BEST:: SOT 16998592 SOS 10885239 HAS SOPS 10885239 HAS SOUS 8447544 HAS SOUPS 8447544 WITH SCORE 8458429.239
AT ITER 3824 NEW BEST:: SOT 16997461 SOS 10884532 HAS SOPS 10884532 HAS SOUS 8446887 HAS SOUPS 8446887 WITH SCORE 8457771.532
AT ITER 3830 NEW BEST:: SOT 16997461 SOS 10884303 HAS SOPS 10884303 HAS SOUS 8446887 HAS SOUPS 8446887 WITH SCORE 8457771.303
AT ITER 3842 NEW BEST:: SOT 16996652 SOS 10883494 HAS SOPS 10883494 HAS SOUS 8446078 HAS SOUPS 8446078 WITH SCORE 8456961.494
AT ITER 3846 NEW BEST:: SOT 16996652 SOS 10882991 HAS SOPS 10882991 HAS SOUS 8445983 HAS SOUPS 8445983 WITH SCORE 8456865.991
AT ITER 3862 NEW BEST:: SOT 16996652 SOS 10875197 HAS SOPS 10875197 HAS SOUS 8445453 HAS SOUPS 8445453 WITH SCORE 8456328.197
AT ITER 3865 NEW BEST:: SOT 16996652 SOS 10873999 HAS SOPS 10873999 HAS SOUS 8445438 HAS SOUPS 8445438 WITH SCORE 8456311.999
AT ITER 3868 NEW BEST:: SOT 16993353 SOS 10873441 HAS SOPS 10873441 HAS SOUS 8444088 HAS SOUPS 8444088 WITH SCORE 8454961.441
AT ITER 3870 NEW BEST:: SOT 16990950 SOS 10871038 HAS SOPS 10871038 HAS SOUS 8443489 HAS SOUPS 8443489 WITH SCORE 8454360.038
AT ITER 3878 NEW BEST:: SOT 16990950 SOS 10870980 HAS SOPS 10870980 HAS SOUS 8443489 HAS SOUPS 8443489 WITH SCORE 8454359.98
AT ITER 3882 NEW BEST:: SOT 16989492 SOS 10870312 HAS SOPS 10870312 HAS SOUS 8442842 HAS SOUPS 8442842 WITH SCORE 8453712.312
AT ITER 3896 NEW BEST:: SOT 16989492 SOS 10864766 HAS SOPS 10864766 HAS SOUS 8442842 HAS SOUPS 8442842 WITH SCORE 8453706.766
AT ITER 3899 NEW BEST:: SOT 16989492 SOS 10864766 HAS SOPS 10864766 HAS SOUS 8442404 HAS SOUPS 8442404 WITH SCORE 8453268.766
AT ITER 3914 NEW BEST:: SOT 16989492 SOS 10864655 HAS SOPS 10864655 HAS SOUS 8442404 HAS SOUPS 8442404 WITH SCORE 8453268.655
AT ITER 3915 NEW BEST:: SOT 16989492 SOS 10864655 HAS SOPS 10864655 HAS SOUS 8441616 HAS SOUPS 8441616 WITH SCORE 8452480.655
AT ITER 3916 NEW BEST:: SOT 16989492 SOS 10862707 HAS SOPS 10862707 HAS SOUS 8441616 HAS SOUPS 8441616 WITH SCORE 8452478.707
AT ITER 3917 NEW BEST:: SOT 16983797 SOS 10857012 HAS SOPS 10857012 HAS SOUS 8436322 HAS SOUPS 8436322 WITH SCORE 8447179.012
AT ITER 3918 NEW BEST:: SOT 16983989 SOS 10857104 HAS SOPS 10857104 HAS SOUS 8436135 HAS SOUPS 8436135 WITH SCORE 8446992.104
AT ITER 3924 NEW BEST:: SOT 16983989 SOS 10843178 HAS SOPS 10843178 HAS SOUS 8436135 HAS SOUPS 8436135 WITH SCORE 8446978.178
AT ITER 3932 NEW BEST:: SOT 16983989 SOS 10839256 HAS SOPS 10839256 HAS SOUS 8436135 HAS SOUPS 8436135 WITH SCORE 8446974.256
AT ITER 3942 NEW BEST:: SOT 16983989 SOS 10838224 HAS SOPS 10838224 HAS SOUS 8436105 HAS SOUPS 8436105 WITH SCORE 8446943.224
AT ITER 3953 NEW BEST:: SOT 16983989 SOS 10824395 HAS SOPS 10824395 HAS SOUS 8435174 HAS SOUPS 8435174 WITH SCORE 8445998.395
AT ITER 3956 NEW BEST:: SOT 16983989 SOS 10824395 HAS SOPS 10824395 HAS SOUS 8434979 HAS SOUPS 8434979 WITH SCORE 8445803.395
AT ITER 3967 NEW BEST:: SOT 16983989 SOS 10823690 HAS SOPS 10823690 HAS SOUS 8434979 HAS SOUPS 8434979 WITH SCORE 8445802.69
AT ITER 3970 NEW BEST:: SOT 16983989 SOS 10823575 HAS SOPS 10823575 HAS SOUS 8434979 HAS SOUPS 8434979 WITH SCORE 8445802.575
AT ITER 3979 NEW BEST:: SOT 16983989 SOS 10821735 HAS SOPS 10821735 HAS SOUS 8434979 HAS SOUPS 8434979 WITH SCORE 8445800.735
AT ITER 3981 NEW BEST:: SOT 16982810 SOS 10820969 HAS SOPS 10820969 HAS SOUS 8433933 HAS SOUPS 8433933 WITH SCORE 8444753.969
AT ITER 3985 NEW BEST:: SOT 16980180 SOS 10823270 HAS SOPS 10823270 HAS SOUS 8431762 HAS SOUPS 8431762 WITH SCORE 8442585.27
AT ITER 3987 NEW BEST:: SOT 16980180 SOS 10821046 HAS SOPS 10821046 HAS SOUS 8431747 HAS SOUPS 8431747 WITH SCORE 8442568.046
AT ITER 3993 NEW BEST:: SOT 16980180 SOS 10820282 HAS SOPS 10820282 HAS SOUS 8431747 HAS SOUPS 8431747 WITH SCORE 8442567.282
AT ITER 3995 NEW BEST:: SOT 16980180 SOS 10818956 HAS SOPS 10818956 HAS SOUS 8431554 HAS SOUPS 8431554 WITH SCORE 8442372.956
AT ITER 4004 NEW BEST:: SOT 16980180 SOS 10818810 HAS SOPS 10818810 HAS SOUS 8431554 HAS SOUPS 8431554 WITH SCORE 8442372.81
AT ITER 4005 NEW BEST:: SOT 16980180 SOS 10817140 HAS SOPS 10817140 HAS SOUS 8431554 HAS SOUPS 8431554 WITH SCORE 8442371.14
AT ITER 4011 NEW BEST:: SOT 16980180 SOS 10815605 HAS SOPS 10815605 HAS SOUS 8431554 HAS SOUPS 8431554 WITH SCORE 8442369.605
AT ITER 4019 NEW BEST:: SOT 16980180 SOS 10814561 HAS SOPS 10814561 HAS SOUS 8431554 HAS SOUPS 8431554 WITH SCORE 8442368.561
AT ITER 4022 NEW BEST:: SOT 16980180 SOS 10810001 HAS SOPS 10810001 HAS SOUS 8431554 HAS SOUPS 8431554 WITH SCORE 8442364.001
AT ITER 4026 NEW BEST:: SOT 16976672 SOS 10807555 HAS SOPS 10807555 HAS SOUS 8428898 HAS SOUPS 8428898 WITH SCORE 8439705.555
AT ITER 4035 NEW BEST:: SOT 16976672 SOS 10806981 HAS SOPS 10806981 HAS SOUS 8428898 HAS SOUPS 8428898 WITH SCORE 8439704.981
AT ITER 4048 NEW BEST:: SOT 16976672 SOS 10806981 HAS SOPS 10806981 HAS SOUS 8428883 HAS SOUPS 8428883 WITH SCORE 8439689.981
AT ITER 4051 NEW BEST:: SOT 16976672 SOS 10805865 HAS SOPS 10805865 HAS SOUS 8427972 HAS SOUPS 8427972 WITH SCORE 8438777.865
AT ITER 4061 NEW BEST:: SOT 16976672 SOS 10805865 HAS SOPS 10805865 HAS SOUS 8427957 HAS SOUPS 8427957 WITH SCORE 8438762.865
AT ITER 4066 NEW BEST:: SOT 16976672 SOS 10800993 HAS SOPS 10800993 HAS SOUS 8427957 HAS SOUPS 8427957 WITH SCORE 8438757.993
AT ITER 4070 NEW BEST:: SOT 16976672 SOS 10800605 HAS SOPS 10800605 HAS SOUS 8427957 HAS SOUPS 8427957 WITH SCORE 8438757.605
AT ITER 4076 NEW BEST:: SOT 16975417 SOS 10799686 HAS SOPS 10799686 HAS SOUS 8427680 HAS SOUPS 8427680 WITH SCORE 8438479.686
AT ITER 4081 NEW BEST:: SOT 16975417 SOS 10799686 HAS SOPS 10799686 HAS SOUS 8427665 HAS SOUPS 8427665 WITH SCORE 8438464.686
AT ITER 4083 NEW BEST:: SOT 16975417 SOS 10798536 HAS SOPS 10798536 HAS SOUS 8427665 HAS SOUPS 8427665 WITH SCORE 8438463.536
AT ITER 4088 NEW BEST:: SOT 16975320 SOS 10798439 HAS SOPS 10798439 HAS SOUS 8427240 HAS SOUPS 8427240 WITH SCORE 8438038.439
AT ITER 4098 NEW BEST:: SOT 16975320 SOS 10797565 HAS SOPS 10797565 HAS SOUS 8427240 HAS SOUPS 8427240 WITH SCORE 8438037.565
AT ITER 4104 NEW BEST:: SOT 16975320 SOS 10797565 HAS SOPS 10797565 HAS SOUS 8427201 HAS SOUPS 8427201 WITH SCORE 8437998.565
AT ITER 4107 NEW BEST:: SOT 16975320 SOS 10795599 HAS SOPS 10795599 HAS SOUS 8427201 HAS SOUPS 8427201 WITH SCORE 8437996.599
AT ITER 4115 NEW BEST:: SOT 16975320 SOS 10795372 HAS SOPS 10795372 HAS SOUS 8427201 HAS SOUPS 8427201 WITH SCORE 8437996.372
AT ITER 4117 NEW BEST:: SOT 16975320 SOS 10761792 HAS SOPS 10761792 HAS SOUS 8427201 HAS SOUPS 8427201 WITH SCORE 8437962.792
AT ITER 4120 NEW BEST:: SOT 16971128 SOS 10757712 HAS SOPS 10757712 HAS SOUS 8424245 HAS SOUPS 8424245 WITH SCORE 8435002.712
AT ITER 4121 NEW BEST:: SOT 16971128 SOS 10756107 HAS SOPS 10756107 HAS SOUS 8423938 HAS SOUPS 8423938 WITH SCORE 8434694.107
AT ITER 4123 NEW BEST:: SOT 16971128 SOS 10756447 HAS SOPS 10756447 HAS SOUS 8423911 HAS SOUPS 8423911 WITH SCORE 8434667.447
AT ITER 4124 NEW BEST:: SOT 16971128 SOS 10756167 HAS SOPS 10756167 HAS SOUS 8423911 HAS SOUPS 8423911 WITH SCORE 8434667.167
AT ITER 4127 NEW BEST:: SOT 16971128 SOS 10754352 HAS SOPS 10754352 HAS SOUS 8423257 HAS SOUPS 8423257 WITH SCORE 8434011.352
AT ITER 4128 NEW BEST:: SOT 16971128 SOS 10752912 HAS SOPS 10752912 HAS SOUS 8423257 HAS SOUPS 8423257 WITH SCORE 8434009.912
AT ITER 4129 NEW BEST:: SOT 16971128 SOS 10755213 HAS SOPS 10755213 HAS SOUS 8423120 HAS SOUPS 8423120 WITH SCORE 8433875.213
AT ITER 4138 NEW BEST:: SOT 16967347 SOS 10751355 HAS SOPS 10751355 HAS SOUS 8419626 HAS SOUPS 8419626 WITH SCORE 8430377.355
AT ITER 4142 NEW BEST:: SOT 16963918 SOS 10750450 HAS SOPS 10750450 HAS SOUS 8419005 HAS SOUPS 8419005 WITH SCORE 8429755.45
AT ITER 4143 NEW BEST:: SOT 16963918 SOS 10750450 HAS SOPS 10750450 HAS SOUS 8418962 HAS SOUPS 8418962 WITH SCORE 8429712.45
AT ITER 4144 NEW BEST:: SOT 16964350 SOS 10752801 HAS SOPS 10752801 HAS SOUS 8418037 HAS SOUPS 8418037 WITH SCORE 8428789.801
AT ITER 4147 NEW BEST:: SOT 16964350 SOS 10751557 HAS SOPS 10751557 HAS SOUS 8418037 HAS SOUPS 8418037 WITH SCORE 8428788.557
AT ITER 4149 NEW BEST:: SOT 16961072 SOS 10751758 HAS SOPS 10751758 HAS SOUS 8416594 HAS SOUPS 8416594 WITH SCORE 8427345.758
AT ITER 4150 NEW BEST:: SOT 16961125 SOS 10751136 HAS SOPS 10751136 HAS SOUS 8416248 HAS SOUPS 8416248 WITH SCORE 8426999.136
AT ITER 4154 NEW BEST:: SOT 16961125 SOS 10751136 HAS SOPS 10751136 HAS SOUS 8416233 HAS SOUPS 8416233 WITH SCORE 8426984.136
AT ITER 4155 NEW BEST:: SOT 16961125 SOS 10723795 HAS SOPS 10723795 HAS SOUS 8414978 HAS SOUPS 8414978 WITH SCORE 8425701.795
AT ITER 4160 NEW BEST:: SOT 16960154 SOS 10722896 HAS SOPS 10722896 HAS SOUS 8414079 HAS SOUPS 8414079 WITH SCORE 8424801.896
AT ITER 4177 NEW BEST:: SOT 16960154 SOS 10722817 HAS SOPS 10722817 HAS SOUS 8414079 HAS SOUPS 8414079 WITH SCORE 8424801.817
AT ITER 4185 NEW BEST:: SOT 16956331 SOS 10716000 HAS SOPS 10716000 HAS SOUS 8410256 HAS SOUPS 8410256 WITH SCORE 8420972.0
AT ITER 4186 NEW BEST:: SOT 16956331 SOS 10715949 HAS SOPS 10715949 HAS SOUS 8410205 HAS SOUPS 8410205 WITH SCORE 8420920.949
AT ITER 4192 NEW BEST:: SOT 16953454 SOS 10713072 HAS SOPS 10713072 HAS SOUS 8409710 HAS SOUPS 8409710 WITH SCORE 8420423.072
AT ITER 4201 NEW BEST:: SOT 16953454 SOS 10693442 HAS SOPS 10693442 HAS SOUS 8409710 HAS SOUPS 8409710 WITH SCORE 8420403.442
AT ITER 4208 NEW BEST:: SOT 16953454 SOS 10688427 HAS SOPS 10688427 HAS SOUS 8409432 HAS SOUPS 8409432 WITH SCORE 8420120.427
AT ITER 4225 NEW BEST:: SOT 16952061 SOS 10687357 HAS SOPS 10687357 HAS SOUS 8408427 HAS SOUPS 8408427 WITH SCORE 8419114.357
AT ITER 4229 NEW BEST:: SOT 16952061 SOS 10686475 HAS SOPS 10686475 HAS SOUS 8408427 HAS SOUPS 8408427 WITH SCORE 8419113.475
AT ITER 4236 NEW BEST:: SOT 16951667 SOS 10688981 HAS SOPS 10688981 HAS SOUS 8408033 HAS SOUPS 8408033 WITH SCORE 8418721.981
AT ITER 4242 NEW BEST:: SOT 16951667 SOS 10688846 HAS SOPS 10688846 HAS SOUS 8408033 HAS SOUPS 8408033 WITH SCORE 8418721.846
AT ITER 4246 NEW BEST:: SOT 16951667 SOS 10688535 HAS SOPS 10688535 HAS SOUS 8408033 HAS SOUPS 8408033 WITH SCORE 8418721.535
AT ITER 4249 NEW BEST:: SOT 16948596 SOS 10686802 HAS SOPS 10686802 HAS SOUS 8407218 HAS SOUPS 8407218 WITH SCORE 8417904.802
AT ITER 4252 NEW BEST:: SOT 16948383 SOS 10686589 HAS SOPS 10686589 HAS SOUS 8406976 HAS SOUPS 8406976 WITH SCORE 8417662.589
AT ITER 4255 NEW BEST:: SOT 16948383 SOS 10685940 HAS SOPS 10685940 HAS SOUS 8406976 HAS SOUPS 8406976 WITH SCORE 8417661.94
AT ITER 4256 NEW BEST:: SOT 16948383 SOS 10682248 HAS SOPS 10682248 HAS SOUS 8406976 HAS SOUPS 8406976 WITH SCORE 8417658.248
AT ITER 4261 NEW BEST:: SOT 16948383 SOS 10682248 HAS SOPS 10682248 HAS SOUS 8406961 HAS SOUPS 8406961 WITH SCORE 8417643.248
AT ITER 4268 NEW BEST:: SOT 16948289 SOS 10682154 HAS SOPS 10682154 HAS SOUS 8406102 HAS SOUPS 8406102 WITH SCORE 8416784.154
AT ITER 4273 NEW BEST:: SOT 16948289 SOS 10681434 HAS SOPS 10681434 HAS SOUS 8406102 HAS SOUPS 8406102 WITH SCORE 8416783.434
AT ITER 4275 NEW BEST:: SOT 16948289 SOS 10681302 HAS SOPS 10681302 HAS SOUS 8406102 HAS SOUPS 8406102 WITH SCORE 8416783.302
AT ITER 4276 NEW BEST:: SOT 16948289 SOS 10680460 HAS SOPS 10680460 HAS SOUS 8406102 HAS SOUPS 8406102 WITH SCORE 8416782.46
AT ITER 4282 NEW BEST:: SOT 16948289 SOS 10680419 HAS SOPS 10680419 HAS SOUS 8406074 HAS SOUPS 8406074 WITH SCORE 8416754.419
AT ITER 4286 NEW BEST:: SOT 16948289 SOS 10679665 HAS SOPS 10679665 HAS SOUS 8406074 HAS SOUPS 8406074 WITH SCORE 8416753.665
AT ITER 4287 NEW BEST:: SOT 16948077 SOS 10679453 HAS SOPS 10679453 HAS SOUS 8405652 HAS SOUPS 8405652 WITH SCORE 8416331.453
AT ITER 4288 NEW BEST:: SOT 16944851 SOS 10677429 HAS SOPS 10677429 HAS SOUS 8403138 HAS SOUPS 8403138 WITH SCORE 8413815.429
AT ITER 4299 NEW BEST:: SOT 16944851 SOS 10676917 HAS SOPS 10676917 HAS SOUS 8403138 HAS SOUPS 8403138 WITH SCORE 8413814.917
AT ITER 4300 NEW BEST:: SOT 16944851 SOS 10676592 HAS SOPS 10676592 HAS SOUS 8403138 HAS SOUPS 8403138 WITH SCORE 8413814.592
AT ITER 4301 NEW BEST:: SOT 16944851 SOS 10676081 HAS SOPS 10676081 HAS SOUS 8403138 HAS SOUPS 8403138 WITH SCORE 8413814.081
AT ITER 4307 NEW BEST:: SOT 16941296 SOS 10672956 HAS SOPS 10672956 HAS SOUS 8400129 HAS SOUPS 8400129 WITH SCORE 8410801.956
AT ITER 4314 NEW BEST:: SOT 16941296 SOS 10670198 HAS SOPS 10670198 HAS SOUS 8400129 HAS SOUPS 8400129 WITH SCORE 8410799.198
AT ITER 4321 NEW BEST:: SOT 16940372 SOS 10670208 HAS SOPS 10670208 HAS SOUS 8399466 HAS SOUPS 8399466 WITH SCORE 8410136.208
AT ITER 4333 NEW BEST:: SOT 16938022 SOS 10668801 HAS SOPS 10668801 HAS SOUS 8397656 HAS SOUPS 8397656 WITH SCORE 8408324.801
AT ITER 4345 NEW BEST:: SOT 16938022 SOS 10668801 HAS SOPS 10668801 HAS SOUS 8397611 HAS SOUPS 8397611 WITH SCORE 8408279.801
AT ITER 4346 NEW BEST:: SOT 16934949 SOS 10669182 HAS SOPS 10669182 HAS SOUS 8396788 HAS SOUPS 8396788 WITH SCORE 8407457.182
AT ITER 4354 NEW BEST:: SOT 16931996 SOS 10666220 HAS SOPS 10666220 HAS SOUS 8394242 HAS SOUPS 8394242 WITH SCORE 8404908.22
AT ITER 4368 NEW BEST:: SOT 16930885 SOS 10665377 HAS SOPS 10665377 HAS SOUS 8393399 HAS SOUPS 8393399 WITH SCORE 8404064.377
AT ITER 4376 NEW BEST:: SOT 16931539 SOS 10666670 HAS SOPS 10666670 HAS SOUS 8393397 HAS SOUPS 8393397 WITH SCORE 8404063.67
AT ITER 4383 NEW BEST:: SOT 16931539 SOS 10666376 HAS SOPS 10666376 HAS SOUS 8393397 HAS SOUPS 8393397 WITH SCORE 8404063.376
AT ITER 4390 NEW BEST:: SOT 16931539 SOS 10666371 HAS SOPS 10666371 HAS SOUS 8393397 HAS SOUPS 8393397 WITH SCORE 8404063.371
AT ITER 4393 NEW BEST:: SOT 16931539 SOS 10665414 HAS SOPS 10665414 HAS SOUS 8393172 HAS SOUPS 8393172 WITH SCORE 8403837.414
AT ITER 4408 NEW BEST:: SOT 16931539 SOS 10665013 HAS SOPS 10665013 HAS SOUS 8393120 HAS SOUPS 8393120 WITH SCORE 8403785.013
AT ITER 4409 NEW BEST:: SOT 16931539 SOS 10663556 HAS SOPS 10663556 HAS SOUS 8393120 HAS SOUPS 8393120 WITH SCORE 8403783.556
AT ITER 4416 NEW BEST:: SOT 16931450 SOS 10662748 HAS SOPS 10662748 HAS SOUS 8392781 HAS SOUPS 8392781 WITH SCORE 8403443.748
AT ITER 4421 NEW BEST:: SOT 16931450 SOS 10661659 HAS SOPS 10661659 HAS SOUS 8392781 HAS SOUPS 8392781 WITH SCORE 8403442.659
AT ITER 4424 NEW BEST:: SOT 16931450 SOS 10638757 HAS SOPS 10638757 HAS SOUS 8392781 HAS SOUPS 8392781 WITH SCORE 8403419.757
AT ITER 4429 NEW BEST:: SOT 16931450 SOS 10638582 HAS SOPS 10638582 HAS SOUS 8392781 HAS SOUPS 8392781 WITH SCORE 8403419.582
AT ITER 4434 NEW BEST:: SOT 16931450 SOS 10638067 HAS SOPS 10638067 HAS SOUS 8392781 HAS SOUPS 8392781 WITH SCORE 8403419.067
AT ITER 4442 NEW BEST:: SOT 16931450 SOS 10638052 HAS SOPS 10638052 HAS SOUS 8392781 HAS SOUPS 8392781 WITH SCORE 8403419.052
AT ITER 4448 NEW BEST:: SOT 16931450 SOS 10636787 HAS SOPS 10636787 HAS SOUS 8392781 HAS SOUPS 8392781 WITH SCORE 8403417.787
AT ITER 4465 NEW BEST:: SOT 16931450 SOS 10624667 HAS SOPS 10624667 HAS SOUS 8392781 HAS SOUPS 8392781 WITH SCORE 8403405.667
AT ITER 4476 NEW BEST:: SOT 16929097 SOS 10622384 HAS SOPS 10622384 HAS SOUS 8390739 HAS SOUPS 8390739 WITH SCORE 8401361.384
AT ITER 4482 NEW BEST:: SOT 16929097 SOS 10621590 HAS SOPS 10621590 HAS SOUS 8390739 HAS SOUPS 8390739 WITH SCORE 8401360.59
AT ITER 4484 NEW BEST:: SOT 16929097 SOS 10621538 HAS SOPS 10621538 HAS SOUS 8390739 HAS SOUPS 8390739 WITH SCORE 8401360.538
AT ITER 4487 NEW BEST:: SOT 16929097 SOS 10621525 HAS SOPS 10621525 HAS SOUS 8390739 HAS SOUPS 8390739 WITH SCORE 8401360.525
AT ITER 4493 NEW BEST:: SOT 16926054 SOS 10621215 HAS SOPS 10621215 HAS SOUS 8390295 HAS SOUPS 8390295 WITH SCORE 8400916.215
AT ITER 4496 NEW BEST:: SOT 16926054 SOS 10621215 HAS SOPS 10621215 HAS SOUS 8390287 HAS SOUPS 8390287 WITH SCORE 8400908.215
AT ITER 4515 NEW BEST:: SOT 16926054 SOS 10619836 HAS SOPS 10619836 HAS SOUS 8390287 HAS SOUPS 8390287 WITH SCORE 8400906.836
AT ITER 4539 NEW BEST:: SOT 16925875 SOS 10619836 HAS SOPS 10619836 HAS SOUS 8390108 HAS SOUPS 8390108 WITH SCORE 8400727.836
AT ITER 4547 NEW BEST:: SOT 16925875 SOS 10628842 HAS SOPS 10628842 HAS SOUS 8390029 HAS SOUPS 8390029 WITH SCORE 8400657.842
AT ITER 4548 NEW BEST:: SOT 16925875 SOS 10628962 HAS SOPS 10628962 HAS SOUS 8389822 HAS SOUPS 8389822 WITH SCORE 8400450.962
AT ITER 4550 NEW BEST:: SOT 16925023 SOS 10628092 HAS SOPS 10628092 HAS SOUS 8389032 HAS SOUPS 8389032 WITH SCORE 8399660.092
AT ITER 4554 NEW BEST:: SOT 16925023 SOS 10627783 HAS SOPS 10627783 HAS SOUS 8389032 HAS SOUPS 8389032 WITH SCORE 8399659.783
AT ITER 4555 NEW BEST:: SOT 16925023 SOS 10627370 HAS SOPS 10627370 HAS SOUS 8389032 HAS SOUPS 8389032 WITH SCORE 8399659.37
AT ITER 4575 NEW BEST:: SOT 16925023 SOS 10612661 HAS SOPS 10612661 HAS SOUS 8389032 HAS SOUPS 8389032 WITH SCORE 8399644.661
AT ITER 4582 NEW BEST:: SOT 16925023 SOS 10611647 HAS SOPS 10611647 HAS SOUS 8389009 HAS SOUPS 8389009 WITH SCORE 8399620.647
AT ITER 4583 NEW BEST:: SOT 16925023 SOS 10590668 HAS SOPS 10590668 HAS SOUS 8389009 HAS SOUPS 8389009 WITH SCORE 8399599.668
AT ITER 4589 NEW BEST:: SOT 16925023 SOS 10590608 HAS SOPS 10590608 HAS SOUS 8388979 HAS SOUPS 8388979 WITH SCORE 8399569.608
AT ITER 4597 NEW BEST:: SOT 16925023 SOS 10588736 HAS SOPS 10588736 HAS SOUS 8388615 HAS SOUPS 8388615 WITH SCORE 8399203.736
AT ITER 4610 NEW BEST:: SOT 16924791 SOS 10587344 HAS SOPS 10587344 HAS SOUS 8388239 HAS SOUPS 8388239 WITH SCORE 8398826.344
AT ITER 4618 NEW BEST:: SOT 16924791 SOS 10587318 HAS SOPS 10587318 HAS SOUS 8388239 HAS SOUPS 8388239 WITH SCORE 8398826.318
AT ITER 4628 NEW BEST:: SOT 16923994 SOS 10587291 HAS SOPS 10587291 HAS SOUS 8388212 HAS SOUPS 8388212 WITH SCORE 8398799.291
AT ITER 4631 NEW BEST:: SOT 16923994 SOS 10585969 HAS SOPS 10585969 HAS SOUS 8388212 HAS SOUPS 8388212 WITH SCORE 8398797.969
AT ITER 4635 NEW BEST:: SOT 16923994 SOS 10584886 HAS SOPS 10584886 HAS SOUS 8388212 HAS SOUPS 8388212 WITH SCORE 8398796.886
AT ITER 4646 NEW BEST:: SOT 16923994 SOS 10583746 HAS SOPS 10583746 HAS SOUS 8388212 HAS SOUPS 8388212 WITH SCORE 8398795.746
AT ITER 4648 NEW BEST:: SOT 16923934 SOS 10583686 HAS SOPS 10583686 HAS SOUS 8388152 HAS SOUPS 8388152 WITH SCORE 8398735.686
AT ITER 4657 NEW BEST:: SOT 16923934 SOS 10583397 HAS SOPS 10583397 HAS SOUS 8388152 HAS SOUPS 8388152 WITH SCORE 8398735.397
AT ITER 4658 NEW BEST:: SOT 16923934 SOS 10582835 HAS SOPS 10582835 HAS SOUS 8388152 HAS SOUPS 8388152 WITH SCORE 8398734.835
AT ITER 4661 NEW BEST:: SOT 16923934 SOS 10582835 HAS SOPS 10582835 HAS SOUS 8388043 HAS SOUPS 8388043 WITH SCORE 8398625.835
AT ITER 4668 NEW BEST:: SOT 16923934 SOS 10582157 HAS SOPS 10582157 HAS SOUS 8388043 HAS SOUPS 8388043 WITH SCORE 8398625.157
AT ITER 4670 NEW BEST:: SOT 16921211 SOS 10609452 HAS SOPS 10609452 HAS SOUS 8386337 HAS SOUPS 8386337 WITH SCORE 8396946.452
AT ITER 4671 NEW BEST:: SOT 16921211 SOS 10609452 HAS SOPS 10609452 HAS SOUS 8386297 HAS SOUPS 8386297 WITH SCORE 8396906.452
AT ITER 4673 NEW BEST:: SOT 16921045 SOS 10609504 HAS SOPS 10609504 HAS SOUS 8386214 HAS SOUPS 8386214 WITH SCORE 8396823.504
AT ITER 4674 NEW BEST:: SOT 16920850 SOS 10609309 HAS SOPS 10609309 HAS SOUS 8385989 HAS SOUPS 8385989 WITH SCORE 8396598.309
AT ITER 4685 NEW BEST:: SOT 16920336 SOS 10608851 HAS SOPS 10608851 HAS SOUS 8385694 HAS SOUPS 8385694 WITH SCORE 8396302.851
AT ITER 4696 NEW BEST:: SOT 16920336 SOS 10608498 HAS SOPS 10608498 HAS SOUS 8385694 HAS SOUPS 8385694 WITH SCORE 8396302.498
AT ITER 4701 NEW BEST:: SOT 16920336 SOS 10607939 HAS SOPS 10607939 HAS SOUS 8385694 HAS SOUPS 8385694 WITH SCORE 8396301.939
AT ITER 4704 NEW BEST:: SOT 16919036 SOS 10607370 HAS SOPS 10607370 HAS SOUS 8385095 HAS SOUPS 8385095 WITH SCORE 8395702.37
AT ITER 4714 NEW BEST:: SOT 16919036 SOS 10606921 HAS SOPS 10606921 HAS SOUS 8385095 HAS SOUPS 8385095 WITH SCORE 8395701.921
AT ITER 4722 NEW BEST:: SOT 16919036 SOS 10594246 HAS SOPS 10594246 HAS SOUS 8385095 HAS SOUPS 8385095 WITH SCORE 8395689.246
AT ITER 4723 NEW BEST:: SOT 16919131 SOS 10594341 HAS SOPS 10594341 HAS SOUS 8384935 HAS SOUPS 8384935 WITH SCORE 8395529.341
AT ITER 4727 NEW BEST:: SOT 16919131 SOS 10594238 HAS SOPS 10594238 HAS SOUS 8384935 HAS SOUPS 8384935 WITH SCORE 8395529.238
AT ITER 4729 NEW BEST:: SOT 16919235 SOS 10594342 HAS SOPS 10594342 HAS SOUS 8384849 HAS SOUPS 8384849 WITH SCORE 8395443.342
AT ITER 4731 NEW BEST:: SOT 16916908 SOS 10593337 HAS SOPS 10593337 HAS SOUS 8384482 HAS SOUPS 8384482 WITH SCORE 8395075.337
AT ITER 4733 NEW BEST:: SOT 16916908 SOS 10593398 HAS SOPS 10593398 HAS SOUS 8384474 HAS SOUPS 8384474 WITH SCORE 8395067.398
AT ITER 4737 NEW BEST:: SOT 16916908 SOS 10593296 HAS SOPS 10593296 HAS SOUS 8384294 HAS SOUPS 8384294 WITH SCORE 8394887.296
AT ITER 4740 NEW BEST:: SOT 16916908 SOS 10592956 HAS SOPS 10592956 HAS SOUS 8384294 HAS SOUPS 8384294 WITH SCORE 8394886.956
AT ITER 4741 NEW BEST:: SOT 16914367 SOS 10621927 HAS SOPS 10621927 HAS SOUS 8384076 HAS SOUPS 8384076 WITH SCORE 8394697.927
AT ITER 4747 NEW BEST:: SOT 16914367 SOS 10612117 HAS SOPS 10612117 HAS SOUS 8384076 HAS SOUPS 8384076 WITH SCORE 8394688.117
AT ITER 4748 NEW BEST:: SOT 16914367 SOS 10611457 HAS SOPS 10611457 HAS SOUS 8384076 HAS SOUPS 8384076 WITH SCORE 8394687.457
AT ITER 4758 NEW BEST:: SOT 16914367 SOS 10611176 HAS SOPS 10611176 HAS SOUS 8384076 HAS SOUPS 8384076 WITH SCORE 8394687.176
AT ITER 4761 NEW BEST:: SOT 16914367 SOS 10611141 HAS SOPS 10611141 HAS SOUS 8384076 HAS SOUPS 8384076 WITH SCORE 8394687.141
AT ITER 4765 NEW BEST:: SOT 16911729 SOS 10610308 HAS SOPS 10610308 HAS SOUS 8382808 HAS SOUPS 8382808 WITH SCORE 8393418.308
AT ITER 4768 NEW BEST:: SOT 16911695 SOS 10610274 HAS SOPS 10610274 HAS SOUS 8382774 HAS SOUPS 8382774 WITH SCORE 8393384.274
AT ITER 4774 NEW BEST:: SOT 16911695 SOS 10610274 HAS SOPS 10610274 HAS SOUS 8382519 HAS SOUPS 8382519 WITH SCORE 8393129.274
AT ITER 4776 NEW BEST:: SOT 16911695 SOS 10609377 HAS SOPS 10609377 HAS SOUS 8382519 HAS SOUPS 8382519 WITH SCORE 8393128.377
AT ITER 4788 NEW BEST:: SOT 16911695 SOS 10608334 HAS SOPS 10608334 HAS SOUS 8382519 HAS SOUPS 8382519 WITH SCORE 8393127.334
AT ITER 4813 NEW BEST:: SOT 16912081 SOS 10608132 HAS SOPS 10608132 HAS SOUS 8382178 HAS SOUPS 8382178 WITH SCORE 8392786.132
AT ITER 4828 NEW BEST:: SOT 16908760 SOS 10604923 HAS SOPS 10604923 HAS SOUS 8379576 HAS SOUPS 8379576 WITH SCORE 8390180.923
AT ITER 4836 NEW BEST:: SOT 16908760 SOS 10604764 HAS SOPS 10604764 HAS SOUS 8379576 HAS SOUPS 8379576 WITH SCORE 8390180.764
AT ITER 4848 NEW BEST:: SOT 16908760 SOS 10604509 HAS SOPS 10604509 HAS SOUS 8379576 HAS SOUPS 8379576 WITH SCORE 8390180.509
AT ITER 4854 NEW BEST:: SOT 16908760 SOS 10604438 HAS SOPS 10604438 HAS SOUS 8379576 HAS SOUPS 8379576 WITH SCORE 8390180.438
AT ITER 4859 NEW BEST:: SOT 16904873 SOS 10600974 HAS SOPS 10600974 HAS SOUS 8376112 HAS SOUPS 8376112 WITH SCORE 8386712.974
AT ITER 4866 NEW BEST:: SOT 16904873 SOS 10600843 HAS SOPS 10600843 HAS SOUS 8376112 HAS SOUPS 8376112 WITH SCORE 8386712.843
AT ITER 4882 NEW BEST:: SOT 16904873 SOS 10600798 HAS SOPS 10600798 HAS SOUS 8376112 HAS SOUPS 8376112 WITH SCORE 8386712.798
AT ITER 4888 NEW BEST:: SOT 16904873 SOS 10600782 HAS SOPS 10600782 HAS SOUS 8376112 HAS SOUPS 8376112 WITH SCORE 8386712.782
AT ITER 4889 NEW BEST:: SOT 16903547 SOS 10600024 HAS SOPS 10600024 HAS SOUS 8375373 HAS SOUPS 8375373 WITH SCORE 8385973.024
AT ITER 4892 NEW BEST:: SOT 16903547 SOS 10598838 HAS SOPS 10598838 HAS SOUS 8375358 HAS SOUPS 8375358 WITH SCORE 8385956.838
AT ITER 4895 NEW BEST:: SOT 16903547 SOS 10581157 HAS SOPS 10581157 HAS SOUS 8375358 HAS SOUPS 8375358 WITH SCORE 8385939.157
AT ITER 4900 NEW BEST:: SOT 16902380 SOS 10580029 HAS SOPS 10580029 HAS SOUS 8374808 HAS SOUPS 8374808 WITH SCORE 8385388.029
AT ITER 4901 NEW BEST:: SOT 16902475 SOS 10580031 HAS SOPS 10580031 HAS SOUS 8374377 HAS SOUPS 8374377 WITH SCORE 8384957.031
AT ITER 4904 NEW BEST:: SOT 16902475 SOS 10578451 HAS SOPS 10578451 HAS SOUS 8374377 HAS SOUPS 8374377 WITH SCORE 8384955.451
AT ITER 4908 NEW BEST:: SOT 16900265 SOS 10577572 HAS SOPS 10577572 HAS SOUS 8374312 HAS SOUPS 8374312 WITH SCORE 8384889.572
AT ITER 4909 NEW BEST:: SOT 16898203 SOS 10577076 HAS SOPS 10577076 HAS SOUS 8373321 HAS SOUPS 8373321 WITH SCORE 8383898.076
AT ITER 4918 NEW BEST:: SOT 16897744 SOS 10576824 HAS SOPS 10576824 HAS SOUS 8373069 HAS SOUPS 8373069 WITH SCORE 8383645.824
AT ITER 4919 NEW BEST:: SOT 16897744 SOS 10576626 HAS SOPS 10576626 HAS SOUS 8373036 HAS SOUPS 8373036 WITH SCORE 8383612.626
AT ITER 4921 NEW BEST:: SOT 16897744 SOS 10576181 HAS SOPS 10576181 HAS SOUS 8373036 HAS SOUPS 8373036 WITH SCORE 8383612.181
AT ITER 4928 NEW BEST:: SOT 16897744 SOS 10575385 HAS SOPS 10575385 HAS SOUS 8373036 HAS SOUPS 8373036 WITH SCORE 8383611.385
AT ITER 4935 NEW BEST:: SOT 16897744 SOS 10573806 HAS SOPS 10573806 HAS SOUS 8373036 HAS SOUPS 8373036 WITH SCORE 8383609.806
AT ITER 4936 NEW BEST:: SOT 16894104 SOS 10571487 HAS SOPS 10571487 HAS SOUS 8370702 HAS SOUPS 8370702 WITH SCORE 8381273.487
AT ITER 4944 NEW BEST:: SOT 16892662 SOS 10570250 HAS SOPS 10570250 HAS SOUS 8369465 HAS SOUPS 8369465 WITH SCORE 8380035.25
AT ITER 4966 NEW BEST:: SOT 16892662 SOS 10570187 HAS SOPS 10570187 HAS SOUS 8369465 HAS SOUPS 8369465 WITH SCORE 8380035.187
AT ITER 4967 NEW BEST:: SOT 16891552 SOS 10569658 HAS SOPS 10569658 HAS SOUS 8368390 HAS SOUPS 8368390 WITH SCORE 8378959.658
AT ITER 4969 NEW BEST:: SOT 16889937 SOS 10568043 HAS SOPS 10568043 HAS SOUS 8366998 HAS SOUPS 8366998 WITH SCORE 8377566.043
AT ITER 4970 NEW BEST:: SOT 16885657 SOS 10564783 HAS SOPS 10564783 HAS SOUS 8363171 HAS SOUPS 8363171 WITH SCORE 8373735.783
AT ITER 4984 NEW BEST:: SOT 16885657 SOS 10564692 HAS SOPS 10564692 HAS SOUS 8363171 HAS SOUPS 8363171 WITH SCORE 8373735.692
AT ITER 4987 NEW BEST:: SOT 16885657 SOS 10564672 HAS SOPS 10564672 HAS SOUS 8363171 HAS SOUPS 8363171 WITH SCORE 8373735.672
AT ITER 4990 NEW BEST:: SOT 16885657 SOS 10564159 HAS SOPS 10564159 HAS SOUS 8363171 HAS SOUPS 8363171 WITH SCORE 8373735.159
AT ITER 4991 NEW BEST:: SOT 16883894 SOS 10567309 HAS SOPS 10567309 HAS SOUS 8363062 HAS SOUPS 8363062 WITH SCORE 8373629.309
AT ITER 4999 NEW BEST:: SOT 16883894 SOS 10565568 HAS SOPS 10565568 HAS SOUS 8363062 HAS SOUPS 8363062 WITH SCORE 8373627.568
Bounds file is: CTLFireability.xml
PROPERTY: Sudoku-PT-BN16-CTLFireability-00 (AX( (AF( (EF( ((potential((tk(P63)>=1) & (tk(P4975)>=1) & (tk(P4383)>=1) & (tk(P4663)>=1))))))))))
PROPERTY: Sudoku-PT-BN16-CTLFireability-01 ( ( ( ( ( (! ((potential((tk(P230)>=1) & (tk(P4982)>=1) & (tk(P4566)>=1) & (tk(P4840)>=1))))) & (! ((potential((tk(P208)>=1) & (tk(P5056)>=1) & (tk(P4592)>=1) & (tk(P4812)>=1))))) ) | ( ((potential((tk(P65)>=1) & (tk(P4993)>=1) & (tk(P4449)>=1) & (tk(P4681)>=1)))) & ((potential((tk(P229)>=1) & (tk(P4885)>=1) & (tk(P4549)>=1) & (tk(P4834)>=1)))) ) ) & ( ( ( ((potential((tk(P69)>=1) & (tk(P4869)>=1) & (tk(P4421)>=1) & (tk(P4673)>=1)))) & ((potential((tk(P242)>=1) & (tk(P4978)>=1) & (tk(P4562)>=1) & (tk(P4856)>=1)))) ) & ( ((potential((tk(P75)>=1) & (tk(P5051)>=1) & (tk(P4459)>=1) & (tk(P4684)>=1)))) & ((potential((tk(P232)>=1) & (tk(P4872)>=1) & (tk(P4552)>=1) & (tk(P4833)>=1)))) ) ) & ( (! ((potential((tk(P155)>=1) & (tk(P4891)>=1) & (tk(P4491)>=1) & (tk(P4754)>=1))))) & (! ((potential((tk(P115)>=1) & (tk(P4947)>=1) & (tk(P4435)>=1) & (tk(P4726)>=1))))) ) ) ) | (! (! ((potential((tk(P16)>=1) & (tk(P4992)>=1) & (tk(P4384)>=1) & (tk(P4616)>=1)))))) ) & ( (EF( (! ( ((potential((tk(P207)>=1) & (tk(P4943)>=1) & (tk(P4575)>=1) & (tk(P4805)>=1)))) | ((potential((tk(P110)>=1) & (tk(P5070)>=1) & (tk(P4478)>=1) & (tk(P4717)>=1)))) )))) & (AF( (! (! ((potential((tk(P217)>=1) & (tk(P4889)>=1) & (tk(P4553)>=1) & (tk(P4818)>=1)))))))) ) )
PROPERTY: Sudoku-PT-BN16-CTLFireability-02 (EX( (AX( (! ((potential((tk(P8)>=1) & (tk(P4888)>=1) & (tk(P4360)>=1) & (tk(P4610)>=1)))))))))
PROPERTY: Sudoku-PT-BN16-CTLFireability-03 (AF( (! ( ((potential((tk(P131)>=1) & (tk(P4995)>=1) & (tk(P4515)>=1) & (tk(P4745)>=1)))) | ( ( ((potential((tk(P101)>=1) & (tk(P5061)>=1) & (tk(P4469)>=1) & (tk(P4717)>=1)))) & ((potential((tk(P2)>=1) & (tk(P4866)>=1) & (tk(P4354)>=1) & (tk(P4609)>=1)))) ) | ((potential((tk(P245)>=1) & (tk(P4901)>=1) & (tk(P4549)>=1) & (tk(P4851)>=1)))) ) ))))
PROPERTY: Sudoku-PT-BN16-CTLFireability-04 (AX( (AF( ( (! ((potential((tk(P142)>=1) & (tk(P4990)>=1) & (tk(P4510)>=1) & (tk(P4744)>=1))))) & ( ((potential((tk(P253)>=1) & (tk(P5037)>=1) & (tk(P4589)>=1) & (tk(P4859)>=1)))) & ((potential((tk(P238)>=1) & (tk(P5006)>=1) & (tk(P4590)>=1) & (tk(P4841)>=1)))) ) )))))
PROPERTY: Sudoku-PT-BN16-CTLFireability-05 (! (! (EG( ((potential((tk(P67)>=1) & (tk(P5107)>=1) & (tk(P4467)>=1) & (tk(P4688)>=1))))))))
PROPERTY: Sudoku-PT-BN16-CTLFireability-06 ( (AG( ( ( ( ((potential((tk(P92)>=1) & (tk(P5100)>=1) & (tk(P4476)>=1) & (tk(P4703)>=1)))) | ((potential((tk(P185)>=1) & (tk(P5001)>=1) & (tk(P4521)>=1) & (tk(P4793)>=1)))) ) | ((potential((tk(P145)>=1) & (tk(P4881)>=1) & (tk(P4481)>=1) & (tk(P4754)>=1)))) ) & (EX( ((potential((tk(P212)>=1) & (tk(P4900)>=1) & (tk(P4548)>=1) & (tk(P4819)>=1)))))) ))) & (AU( ( ( ((potential((tk(P124)>=1) & (tk(P5004)>=1) & (tk(P4460)>=1) & (tk(P4729)>=1)))) | ((potential((tk(P159)>=1) & (tk(P4927)>=1) & (tk(P4495)>=1) & (tk(P4756)>=1)))) ) | ( ((potential((tk(P255)>=1) & (tk(P4911)>=1) & (tk(P4559)>=1) & (tk(P4851)>=1)))) & ((potential((tk(P89)>=1) & (tk(P4937)>=1) & (tk(P4441)>=1) & (tk(P4693)>=1)))) ) ) , ( ( ((potential((tk(P212)>=1) & (tk(P5028)>=1) & (tk(P4580)>=1) & (tk(P4827)>=1)))) & ((potential((tk(P2)>=1) & (tk(P4994)>=1) & (tk(P4386)>=1) & (tk(P4617)>=1)))) ) | ( ((potential((tk(P108)>=1) & (tk(P5020)>=1) & (tk(P4460)>=1) & (tk(P4714)>=1)))) | ((potential((tk(P245)>=1) & (tk(P4869)>=1) & (tk(P4549)>=1) & (tk(P4849)>=1)))) ) ) )) )
PROPERTY: Sudoku-PT-BN16-CTLFireability-07 ( (! (AU( ( ((potential((tk(P21)>=1) & (tk(P4917)>=1) & (tk(P4357)>=1) & (tk(P4628)>=1)))) | ((potential((tk(P16)>=1) & (tk(P5024)>=1) & (tk(P4400)>=1) & (tk(P4618)>=1)))) ) , (! ((potential((tk(P191)>=1) & (tk(P5071)>=1) & (tk(P4543)>=1) & (tk(P4797)>=1))))) ))) | (! (EX( ((potential((tk(P152)>=1) & (tk(P4968)>=1) & (tk(P4504)>=1) & (tk(P4759)>=1))))))) )
PROPERTY: Sudoku-PT-BN16-CTLFireability-08 ( (AX( (EX( (! ((potential((tk(P185)>=1) & (tk(P5033)>=1) & (tk(P4521)>=1) & (tk(P4795)>=1))))))))) & (EF( ( (EX( ((potential((tk(P89)>=1) & (tk(P5097)>=1) & (tk(P4473)>=1) & (tk(P4703)>=1)))))) | (EF( ((potential((tk(P210)>=1) & (tk(P4882)>=1) & (tk(P4546)>=1) & (tk(P4818)>=1)))))) ))) )
PROPERTY: Sudoku-PT-BN16-CTLFireability-09 (EG( ( (AF( ((potential((tk(P6)>=1) & (tk(P5046)>=1) & (tk(P4390)>=1) & (tk(P4620)>=1)))))) | ( ( (! ((potential((tk(P60)>=1) & (tk(P4988)>=1) & (tk(P4380)>=1) & (tk(P4664)>=1))))) | ( ((potential((tk(P8)>=1) & (tk(P4920)>=1) & (tk(P4360)>=1) & (tk(P4612)>=1)))) & ((potential((tk(P140)>=1) & (tk(P5100)>=1) & (tk(P4540)>=1) & (tk(P4751)>=1)))) ) ) | ( ((potential((tk(P165)>=1) & (tk(P4997)>=1) & (tk(P4517)>=1) & (tk(P4777)>=1)))) | ( ((potential((tk(P251)>=1) & (tk(P5003)>=1) & (tk(P4587)>=1) & (tk(P4857)>=1)))) & ((potential((tk(P155)>=1) & (tk(P4955)>=1) & (tk(P4507)>=1) & (tk(P4758)>=1)))) ) ) ) )))
PROPERTY: Sudoku-PT-BN16-CTLFireability-10 (EG( ((potential((tk(P93)>=1) & (tk(P5053)>=1) & (tk(P4461)>=1) & (tk(P4700)>=1))))))
PROPERTY: Sudoku-PT-BN16-CTLFireability-11 (EG( (AF( ( ( ((potential((tk(P195)>=1) & (tk(P4931)>=1) & (tk(P4563)>=1) & (tk(P4805)>=1)))) & ((potential((tk(P52)>=1) & (tk(P5028)>=1) & (tk(P4388)>=1) & (tk(P4667)>=1)))) ) | (! ((potential((tk(P133)>=1) & (tk(P5093)>=1) & (tk(P4533)>=1) & (tk(P4751)>=1))))) )))))
PROPERTY: Sudoku-PT-BN16-CTLFireability-12 (EG( (AU( ( ((potential((tk(P58)>=1) & (tk(P5050)>=1) & (tk(P4394)>=1) & (tk(P4668)>=1)))) & ((potential((tk(P245)>=1) & (tk(P5093)>=1) & (tk(P4597)>=1) & (tk(P4863)>=1)))) ) , ( ((potential((tk(P118)>=1) & (tk(P4886)>=1) & (tk(P4422)>=1) & (tk(P4722)>=1)))) & ((potential((tk(P34)>=1) & (tk(P5106)>=1) & (tk(P4402)>=1) & (tk(P4656)>=1)))) ) ))))
PROPERTY: Sudoku-PT-BN16-CTLFireability-13 ( (AG( ( ( ((potential((tk(P62)>=1) & (tk(P4926)>=1) & (tk(P4366)>=1) & (tk(P4660)>=1)))) | ( ((potential((tk(P36)>=1) & (tk(P4980)>=1) & (tk(P4372)>=1) & (tk(P4648)>=1)))) & ((potential((tk(P155)>=1) & (tk(P5067)>=1) & (tk(P4539)>=1) & (tk(P4765)>=1)))) ) ) & (EF( ((potential((tk(P7)>=1) & (tk(P4903)>=1) & (tk(P4359)>=1) & (tk(P4611)>=1)))))) ))) | ( (EG( (EX( ((potential((tk(P154)>=1) & (tk(P4970)>=1) & (tk(P4506)>=1) & (tk(P4759)>=1)))))))) & (EG( ( ( ((potential((tk(P169)>=1) & (tk(P4873)>=1) & (tk(P4489)>=1) & (tk(P4769)>=1)))) & ((potential((tk(P206)>=1) & (tk(P5070)>=1) & (tk(P4606)>=1) & (tk(P4813)>=1)))) ) | (! ((potential((tk(P171)>=1) & (tk(P5083)>=1) & (tk(P4539)>=1) & (tk(P4782)>=1))))) ))) ) )
PROPERTY: Sudoku-PT-BN16-CTLFireability-14 (! (AX( (AU( ((potential((tk(P99)>=1) & (tk(P4899)>=1) & (tk(P4419)>=1) & (tk(P4707)>=1)))) , ((potential((tk(P215)>=1) & (tk(P5031)>=1) & (tk(P4583)>=1) & (tk(P4827)>=1)))) )))))
PROPERTY: Sudoku-PT-BN16-CTLFireability-15 (AF( (EX( (EG( ((potential((tk(P240)>=1) & (tk(P5120)>=1) & (tk(P4608)>=1) & (tk(P4848)>=1))))))))))

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="Sudoku-PT-BN16"
export BK_EXAMINATION="CTLFireability"
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 Sudoku-PT-BN16, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r224-oct2-159033538800468"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Sudoku-PT-BN16.tgz
mv Sudoku-PT-BN16 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;