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-159033538800420.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-AN14, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538800420
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 9.7M
-rw-r--r-- 1 mcc users 3.7K Jun 3 09:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Jun 3 09:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Jun 3 09:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Jun 3 09:22 CTLFireability.xml
-rw-r--r-- 1 mcc users 652K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 2.1M May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.2M May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 4.3M 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.3K Jun 3 09:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Jun 3 09:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Jun 3 09:10 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Jun 3 09:10 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 1.4M 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-AN14-CTLFireability-00
FORMULA_NAME Sudoku-PT-AN14-CTLFireability-01
FORMULA_NAME Sudoku-PT-AN14-CTLFireability-02
FORMULA_NAME Sudoku-PT-AN14-CTLFireability-03
FORMULA_NAME Sudoku-PT-AN14-CTLFireability-04
FORMULA_NAME Sudoku-PT-AN14-CTLFireability-05
FORMULA_NAME Sudoku-PT-AN14-CTLFireability-06
FORMULA_NAME Sudoku-PT-AN14-CTLFireability-07
FORMULA_NAME Sudoku-PT-AN14-CTLFireability-08
FORMULA_NAME Sudoku-PT-AN14-CTLFireability-09
FORMULA_NAME Sudoku-PT-AN14-CTLFireability-10
FORMULA_NAME Sudoku-PT-AN14-CTLFireability-11
FORMULA_NAME Sudoku-PT-AN14-CTLFireability-12
FORMULA_NAME Sudoku-PT-AN14-CTLFireability-13
FORMULA_NAME Sudoku-PT-AN14-CTLFireability-14
FORMULA_NAME Sudoku-PT-AN14-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1591336625658

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (PT), instance AN14
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: 3332 places, 2744 transitions, 10976 arcs.
AT ITER 0 NEW BEST:: SOT 7545035 SOS 3761281 HAS SOPS 3761281 HAS SOUS 3761281 HAS SOUPS 3761281 WITH SCORE 3765042.281
AT ITER 7 NEW BEST:: SOT 7543641 SOS 3759887 HAS SOPS 3759887 HAS SOUS 3759887 HAS SOUPS 3759887 WITH SCORE 3763646.887
AT ITER 11 NEW BEST:: SOT 7543751 SOS 3759881 HAS SOPS 3759881 HAS SOUS 3759803 HAS SOUPS 3759803 WITH SCORE 3763562.881
AT ITER 20 NEW BEST:: SOT 7540698 SOS 3775166 HAS SOPS 3775166 HAS SOUS 3757018 HAS SOUPS 3757018 WITH SCORE 3760793.166
AT ITER 22 NEW BEST:: SOT 7539502 SOS 3774306 HAS SOPS 3774306 HAS SOUS 3755859 HAS SOUPS 3755859 WITH SCORE 3759633.306
AT ITER 26 NEW BEST:: SOT 7539502 SOS 3774306 HAS SOPS 3774306 HAS SOUS 3755817 HAS SOUPS 3755817 WITH SCORE 3759591.306
AT ITER 35 NEW BEST:: SOT 7536211 SOS 3779824 HAS SOPS 3779824 HAS SOUS 3752755 HAS SOUPS 3752755 WITH SCORE 3756534.824
AT ITER 43 NEW BEST:: SOT 7536272 SOS 3779763 HAS SOPS 3779763 HAS SOUS 3752655 HAS SOUPS 3752655 WITH SCORE 3756434.763
AT ITER 54 NEW BEST:: SOT 7533763 SOS 3777586 HAS SOPS 3777586 HAS SOUS 3750257 HAS SOUPS 3750257 WITH SCORE 3754034.586
AT ITER 71 NEW BEST:: SOT 7532346 SOS 3776475 HAS SOPS 3776475 HAS SOUS 3748964 HAS SOUPS 3748964 WITH SCORE 3752740.475
AT ITER 75 NEW BEST:: SOT 7532281 SOS 3776550 HAS SOPS 3776550 HAS SOUS 3748899 HAS SOUPS 3748899 WITH SCORE 3752675.55
AT ITER 77 NEW BEST:: SOT 7529323 SOS 3777077 HAS SOPS 3777077 HAS SOUS 3746114 HAS SOUPS 3746114 WITH SCORE 3749891.077
AT ITER 81 NEW BEST:: SOT 7527415 SOS 3779525 HAS SOPS 3779525 HAS SOUS 3744324 HAS SOUPS 3744324 WITH SCORE 3748103.525
AT ITER 88 NEW BEST:: SOT 7525764 SOS 3778195 HAS SOPS 3778195 HAS SOUS 3742760 HAS SOUPS 3742760 WITH SCORE 3746538.195
AT ITER 96 NEW BEST:: SOT 7525977 SOS 3777654 HAS SOPS 3777654 HAS SOUS 3742128 HAS SOUPS 3742128 WITH SCORE 3745905.654
AT ITER 100 NEW BEST:: SOT 7523130 SOS 3775120 HAS SOPS 3775120 HAS SOUS 3739477 HAS SOUPS 3739477 WITH SCORE 3743252.12
AT ITER 101 NEW BEST:: SOT 7522870 SOS 3774935 HAS SOPS 3774935 HAS SOUS 3739217 HAS SOUPS 3739217 WITH SCORE 3742991.935
AT ITER 118 NEW BEST:: SOT 7522998 SOS 3775002 HAS SOPS 3775002 HAS SOUS 3739141 HAS SOUPS 3739141 WITH SCORE 3742916.002
AT ITER 122 NEW BEST:: SOT 7522998 SOS 3774773 HAS SOPS 3774773 HAS SOUS 3739141 HAS SOUPS 3739141 WITH SCORE 3742915.773
AT ITER 139 NEW BEST:: SOT 7522920 SOS 3774695 HAS SOPS 3774695 HAS SOUS 3739063 HAS SOUPS 3739063 WITH SCORE 3742837.695
AT ITER 143 NEW BEST:: SOT 7521818 SOS 3773593 HAS SOPS 3773593 HAS SOUS 3737961 HAS SOUPS 3737961 WITH SCORE 3741734.593
AT ITER 146 NEW BEST:: SOT 7521431 SOS 3773476 HAS SOPS 3773476 HAS SOUS 3737727 HAS SOUPS 3737727 WITH SCORE 3741500.476
AT ITER 159 NEW BEST:: SOT 7521431 SOS 3773361 HAS SOPS 3773361 HAS SOUS 3737677 HAS SOUPS 3737677 WITH SCORE 3741450.361
AT ITER 162 NEW BEST:: SOT 7518576 SOS 3778788 HAS SOPS 3778788 HAS SOUS 3735112 HAS SOUPS 3735112 WITH SCORE 3738890.788
AT ITER 164 NEW BEST:: SOT 7519015 SOS 3778735 HAS SOPS 3778735 HAS SOUS 3734998 HAS SOUPS 3734998 WITH SCORE 3738776.735
AT ITER 185 NEW BEST:: SOT 7519226 SOS 3778899 HAS SOPS 3778899 HAS SOUS 3734967 HAS SOUPS 3734967 WITH SCORE 3738745.899
AT ITER 187 NEW BEST:: SOT 7519135 SOS 3779084 HAS SOPS 3779084 HAS SOUS 3734903 HAS SOUPS 3734903 WITH SCORE 3738682.084
AT ITER 207 NEW BEST:: SOT 7516002 SOS 3776208 HAS SOPS 3776208 HAS SOUS 3731923 HAS SOUPS 3731923 WITH SCORE 3735699.208
AT ITER 212 NEW BEST:: SOT 7515292 SOS 3781247 HAS SOPS 3781247 HAS SOUS 3731346 HAS SOUPS 3731346 WITH SCORE 3735127.247
AT ITER 219 NEW BEST:: SOT 7514213 SOS 3780490 HAS SOPS 3780490 HAS SOUS 3730407 HAS SOUPS 3730407 WITH SCORE 3734187.49
AT ITER 222 NEW BEST:: SOT 7513970 SOS 3794633 HAS SOPS 3794633 HAS SOUS 3730237 HAS SOUPS 3730237 WITH SCORE 3734031.633
AT ITER 224 NEW BEST:: SOT 7510590 SOS 3800471 HAS SOPS 3800471 HAS SOUS 3727118 HAS SOUPS 3727118 WITH SCORE 3730918.471
AT ITER 230 NEW BEST:: SOT 7510486 SOS 3802514 HAS SOPS 3802514 HAS SOUS 3727014 HAS SOUPS 3727014 WITH SCORE 3730816.514
AT ITER 239 NEW BEST:: SOT 7510486 SOS 3801908 HAS SOPS 3801908 HAS SOUS 3727014 HAS SOUPS 3727014 WITH SCORE 3730815.908
AT ITER 245 NEW BEST:: SOT 7510692 SOS 3802092 HAS SOPS 3802092 HAS SOUS 3726964 HAS SOUPS 3726964 WITH SCORE 3730766.092
AT ITER 247 NEW BEST:: SOT 7510692 SOS 3801783 HAS SOPS 3801783 HAS SOUS 3726964 HAS SOUPS 3726964 WITH SCORE 3730765.783
AT ITER 249 NEW BEST:: SOT 7510692 SOS 3801484 HAS SOPS 3801484 HAS SOUS 3726964 HAS SOUPS 3726964 WITH SCORE 3730765.484
AT ITER 271 NEW BEST:: SOT 7507187 SOS 3805346 HAS SOPS 3805346 HAS SOUS 3723850 HAS SOUPS 3723850 WITH SCORE 3727655.346
AT ITER 272 NEW BEST:: SOT 7504482 SOS 3809650 HAS SOPS 3809650 HAS SOUS 3721381 HAS SOUPS 3721381 WITH SCORE 3725190.65
AT ITER 276 NEW BEST:: SOT 7504482 SOS 3808999 HAS SOPS 3808999 HAS SOUS 3721381 HAS SOUPS 3721381 WITH SCORE 3725189.999
AT ITER 285 NEW BEST:: SOT 7504482 SOS 3807683 HAS SOPS 3807683 HAS SOUS 3721381 HAS SOUPS 3721381 WITH SCORE 3725188.683
AT ITER 292 NEW BEST:: SOT 7504287 SOS 3817883 HAS SOPS 3817883 HAS SOUS 3721186 HAS SOUPS 3721186 WITH SCORE 3725003.883
AT ITER 302 NEW BEST:: SOT 7502545 SOS 3816448 HAS SOPS 3816448 HAS SOUS 3719634 HAS SOUPS 3719634 WITH SCORE 3723450.448
AT ITER 304 NEW BEST:: SOT 7502545 SOS 3816138 HAS SOPS 3816138 HAS SOUS 3719634 HAS SOUPS 3719634 WITH SCORE 3723450.138
AT ITER 305 NEW BEST:: SOT 7501660 SOS 3817650 HAS SOPS 3817650 HAS SOUS 3718806 HAS SOUPS 3718806 WITH SCORE 3722623.65
AT ITER 307 NEW BEST:: SOT 7499469 SOS 3828274 HAS SOPS 3828274 HAS SOUS 3717025 HAS SOUPS 3717025 WITH SCORE 3720853.274
AT ITER 312 NEW BEST:: SOT 7499564 SOS 3828289 HAS SOPS 3828289 HAS SOUS 3716806 HAS SOUPS 3716806 WITH SCORE 3720634.289
AT ITER 327 NEW BEST:: SOT 7499753 SOS 3828480 HAS SOPS 3828480 HAS SOUS 3716737 HAS SOUPS 3716737 WITH SCORE 3720565.48
AT ITER 344 NEW BEST:: SOT 7499753 SOS 3828395 HAS SOPS 3828395 HAS SOUS 3716737 HAS SOUPS 3716737 WITH SCORE 3720565.395
AT ITER 355 NEW BEST:: SOT 7497998 SOS 3826640 HAS SOPS 3826640 HAS SOUS 3714982 HAS SOUPS 3714982 WITH SCORE 3718808.64
AT ITER 360 NEW BEST:: SOT 7495658 SOS 3824529 HAS SOPS 3824529 HAS SOUS 3712767 HAS SOUPS 3712767 WITH SCORE 3716591.529
AT ITER 369 NEW BEST:: SOT 7495658 SOS 3824003 HAS SOPS 3824003 HAS SOUS 3712767 HAS SOUPS 3712767 WITH SCORE 3716591.003
AT ITER 371 NEW BEST:: SOT 7495825 SOS 3824159 HAS SOPS 3824159 HAS SOUS 3712650 HAS SOUPS 3712650 WITH SCORE 3716474.159
AT ITER 372 NEW BEST:: SOT 7495578 SOS 3825782 HAS SOPS 3825782 HAS SOUS 3712407 HAS SOUPS 3712407 WITH SCORE 3716232.782
AT ITER 374 NEW BEST:: SOT 7494173 SOS 3824637 HAS SOPS 3824637 HAS SOUS 3711106 HAS SOUPS 3711106 WITH SCORE 3714930.637
AT ITER 380 NEW BEST:: SOT 7494082 SOS 3826717 HAS SOPS 3826717 HAS SOUS 3711097 HAS SOUPS 3711097 WITH SCORE 3714923.717
AT ITER 382 NEW BEST:: SOT 7492011 SOS 3827346 HAS SOPS 3827346 HAS SOUS 3709373 HAS SOUPS 3709373 WITH SCORE 3713200.346
AT ITER 386 NEW BEST:: SOT 7492011 SOS 3827004 HAS SOPS 3827004 HAS SOUS 3709373 HAS SOUPS 3709373 WITH SCORE 3713200.004
AT ITER 388 NEW BEST:: SOT 7491639 SOS 3826774 HAS SOPS 3826774 HAS SOUS 3709046 HAS SOUPS 3709046 WITH SCORE 3712872.774
AT ITER 390 NEW BEST:: SOT 7491639 SOS 3826466 HAS SOPS 3826466 HAS SOUS 3709046 HAS SOUPS 3709046 WITH SCORE 3712872.466
AT ITER 402 NEW BEST:: SOT 7491639 SOS 3825457 HAS SOPS 3825457 HAS SOUS 3709046 HAS SOUPS 3709046 WITH SCORE 3712871.457
AT ITER 403 NEW BEST:: SOT 7491639 SOS 3825477 HAS SOPS 3825477 HAS SOUS 3709019 HAS SOUPS 3709019 WITH SCORE 3712844.477
AT ITER 405 NEW BEST:: SOT 7492001 SOS 3824812 HAS SOPS 3824812 HAS SOUS 3708851 HAS SOUPS 3708851 WITH SCORE 3712675.812
AT ITER 407 NEW BEST:: SOT 7491910 SOS 3824852 HAS SOPS 3824852 HAS SOUS 3708760 HAS SOUPS 3708760 WITH SCORE 3712584.852
AT ITER 410 NEW BEST:: SOT 7490716 SOS 3824513 HAS SOPS 3824513 HAS SOUS 3707673 HAS SOUPS 3707673 WITH SCORE 3711497.513
AT ITER 413 NEW BEST:: SOT 7490818 SOS 3824375 HAS SOPS 3824375 HAS SOUS 3707502 HAS SOUPS 3707502 WITH SCORE 3711326.375
AT ITER 415 NEW BEST:: SOT 7489689 SOS 3829258 HAS SOPS 3829258 HAS SOUS 3706739 HAS SOUPS 3706739 WITH SCORE 3710568.258
AT ITER 417 NEW BEST:: SOT 7489851 SOS 3829404 HAS SOPS 3829404 HAS SOUS 3706599 HAS SOUPS 3706599 WITH SCORE 3710428.404
AT ITER 418 NEW BEST:: SOT 7489851 SOS 3829129 HAS SOPS 3829129 HAS SOUS 3706599 HAS SOUPS 3706599 WITH SCORE 3710428.129
AT ITER 422 NEW BEST:: SOT 7487034 SOS 3829322 HAS SOPS 3829322 HAS SOUS 3704200 HAS SOUPS 3704200 WITH SCORE 3708029.322
AT ITER 426 NEW BEST:: SOT 7483427 SOS 3831635 HAS SOPS 3831635 HAS SOUS 3700793 HAS SOUPS 3700793 WITH SCORE 3704624.635
AT ITER 428 NEW BEST:: SOT 7483427 SOS 3831126 HAS SOPS 3831126 HAS SOUS 3700793 HAS SOUPS 3700793 WITH SCORE 3704624.126
AT ITER 433 NEW BEST:: SOT 7483284 SOS 3832132 HAS SOPS 3832132 HAS SOUS 3700674 HAS SOUPS 3700674 WITH SCORE 3704506.132
AT ITER 437 NEW BEST:: SOT 7483284 SOS 3831579 HAS SOPS 3831579 HAS SOUS 3700674 HAS SOUPS 3700674 WITH SCORE 3704505.579
AT ITER 438 NEW BEST:: SOT 7483397 SOS 3831645 HAS SOPS 3831645 HAS SOUS 3700480 HAS SOUPS 3700480 WITH SCORE 3704311.645
AT ITER 442 NEW BEST:: SOT 7482136 SOS 3830560 HAS SOPS 3830560 HAS SOUS 3699285 HAS SOUPS 3699285 WITH SCORE 3703115.56
AT ITER 444 NEW BEST:: SOT 7481720 SOS 3830388 HAS SOPS 3830388 HAS SOUS 3698944 HAS SOUPS 3698944 WITH SCORE 3702774.388
AT ITER 455 NEW BEST:: SOT 7481720 SOS 3830338 HAS SOPS 3830338 HAS SOUS 3698944 HAS SOUPS 3698944 WITH SCORE 3702774.338
AT ITER 457 NEW BEST:: SOT 7480463 SOS 3836436 HAS SOPS 3836436 HAS SOUS 3698304 HAS SOUPS 3698304 WITH SCORE 3702140.436
AT ITER 458 NEW BEST:: SOT 7480463 SOS 3836090 HAS SOPS 3836090 HAS SOUS 3698304 HAS SOUPS 3698304 WITH SCORE 3702140.09
AT ITER 459 NEW BEST:: SOT 7477544 SOS 3852989 HAS SOPS 3852989 HAS SOUS 3695828 HAS SOUPS 3695828 WITH SCORE 3699680.989
AT ITER 467 NEW BEST:: SOT 7475466 SOS 3858162 HAS SOPS 3858162 HAS SOUS 3693861 HAS SOUPS 3693861 WITH SCORE 3697719.162
AT ITER 475 NEW BEST:: SOT 7475466 SOS 3857876 HAS SOPS 3857876 HAS SOUS 3693861 HAS SOUPS 3693861 WITH SCORE 3697718.876
AT ITER 479 NEW BEST:: SOT 7475466 SOS 3851092 HAS SOPS 3851092 HAS SOUS 3693861 HAS SOUPS 3693861 WITH SCORE 3697712.092
AT ITER 482 NEW BEST:: SOT 7473652 SOS 3849278 HAS SOPS 3849278 HAS SOUS 3692047 HAS SOUPS 3692047 WITH SCORE 3695896.278
AT ITER 485 NEW BEST:: SOT 7473652 SOS 3846617 HAS SOPS 3846617 HAS SOUS 3691874 HAS SOUPS 3691874 WITH SCORE 3695720.617
AT ITER 486 NEW BEST:: SOT 7473652 SOS 3846378 HAS SOPS 3846378 HAS SOUS 3691874 HAS SOUPS 3691874 WITH SCORE 3695720.378
AT ITER 488 NEW BEST:: SOT 7470940 SOS 3847260 HAS SOPS 3847260 HAS SOUS 3689454 HAS SOUPS 3689454 WITH SCORE 3693301.26
AT ITER 489 NEW BEST:: SOT 7470940 SOS 3847057 HAS SOPS 3847057 HAS SOUS 3689454 HAS SOUPS 3689454 WITH SCORE 3693301.057
AT ITER 490 NEW BEST:: SOT 7468572 SOS 3855740 HAS SOPS 3855740 HAS SOUS 3687230 HAS SOUPS 3687230 WITH SCORE 3691085.74
AT ITER 491 NEW BEST:: SOT 7468572 SOS 3855476 HAS SOPS 3855476 HAS SOUS 3687230 HAS SOUPS 3687230 WITH SCORE 3691085.476
AT ITER 496 NEW BEST:: SOT 7468346 SOS 3856271 HAS SOPS 3856271 HAS SOUS 3687020 HAS SOUPS 3687020 WITH SCORE 3690876.271
AT ITER 513 NEW BEST:: SOT 7466208 SOS 3878012 HAS SOPS 3878012 HAS SOUS 3685153 HAS SOUPS 3685153 WITH SCORE 3689031.012
AT ITER 516 NEW BEST:: SOT 7466208 SOS 3877854 HAS SOPS 3877854 HAS SOUS 3685153 HAS SOUPS 3685153 WITH SCORE 3689030.854
AT ITER 523 NEW BEST:: SOT 7466263 SOS 3877558 HAS SOPS 3877558 HAS SOUS 3684701 HAS SOUPS 3684701 WITH SCORE 3688578.558
AT ITER 529 NEW BEST:: SOT 7465421 SOS 3877777 HAS SOPS 3877777 HAS SOUS 3684028 HAS SOUPS 3684028 WITH SCORE 3687905.777
AT ITER 530 NEW BEST:: SOT 7465421 SOS 3877292 HAS SOPS 3877292 HAS SOUS 3684028 HAS SOUPS 3684028 WITH SCORE 3687905.292
AT ITER 561 NEW BEST:: SOT 7462964 SOS 3875163 HAS SOPS 3875163 HAS SOUS 3681639 HAS SOUPS 3681639 WITH SCORE 3685514.163
AT ITER 565 NEW BEST:: SOT 7462964 SOS 3875056 HAS SOPS 3875056 HAS SOUS 3681532 HAS SOUPS 3681532 WITH SCORE 3685407.056
AT ITER 569 NEW BEST:: SOT 7463096 SOS 3875101 HAS SOPS 3875101 HAS SOUS 3681421 HAS SOUPS 3681421 WITH SCORE 3685296.101
AT ITER 572 NEW BEST:: SOT 7463096 SOS 3873715 HAS SOPS 3873715 HAS SOUS 3681421 HAS SOUPS 3681421 WITH SCORE 3685294.715
AT ITER 573 NEW BEST:: SOT 7462654 SOS 3880617 HAS SOPS 3880617 HAS SOUS 3681375 HAS SOUPS 3681375 WITH SCORE 3685255.617
AT ITER 586 NEW BEST:: SOT 7458948 SOS 3877391 HAS SOPS 3877391 HAS SOUS 3677980 HAS SOUPS 3677980 WITH SCORE 3681857.391
AT ITER 592 NEW BEST:: SOT 7458948 SOS 3877267 HAS SOPS 3877267 HAS SOUS 3677980 HAS SOUPS 3677980 WITH SCORE 3681857.267
AT ITER 597 NEW BEST:: SOT 7458948 SOS 3876661 HAS SOPS 3876661 HAS SOUS 3677980 HAS SOUPS 3677980 WITH SCORE 3681856.661
AT ITER 610 NEW BEST:: SOT 7456364 SOS 3883051 HAS SOPS 3883051 HAS SOUS 3675634 HAS SOUPS 3675634 WITH SCORE 3679517.051
AT ITER 613 NEW BEST:: SOT 7456364 SOS 3882620 HAS SOPS 3882620 HAS SOUS 3675634 HAS SOUPS 3675634 WITH SCORE 3679516.62
AT ITER 615 NEW BEST:: SOT 7456364 SOS 3882617 HAS SOPS 3882617 HAS SOUS 3675634 HAS SOUPS 3675634 WITH SCORE 3679516.617
AT ITER 619 NEW BEST:: SOT 7456364 SOS 3881938 HAS SOPS 3881938 HAS SOUS 3675634 HAS SOUPS 3675634 WITH SCORE 3679515.938
AT ITER 629 NEW BEST:: SOT 7453751 SOS 3879656 HAS SOPS 3879656 HAS SOUS 3673196 HAS SOUPS 3673196 WITH SCORE 3677075.656
AT ITER 637 NEW BEST:: SOT 7453299 SOS 3883123 HAS SOPS 3883123 HAS SOUS 3672774 HAS SOUPS 3672774 WITH SCORE 3676657.123
AT ITER 642 NEW BEST:: SOT 7451517 SOS 3881669 HAS SOPS 3881669 HAS SOUS 3671125 HAS SOUPS 3671125 WITH SCORE 3675006.669
AT ITER 651 NEW BEST:: SOT 7450010 SOS 3879902 HAS SOPS 3879902 HAS SOUS 3669538 HAS SOUPS 3669538 WITH SCORE 3673417.902
AT ITER 652 NEW BEST:: SOT 7449685 SOS 3879572 HAS SOPS 3879572 HAS SOUS 3669213 HAS SOUPS 3669213 WITH SCORE 3673092.572
AT ITER 654 NEW BEST:: SOT 7449685 SOS 3879440 HAS SOPS 3879440 HAS SOUS 3669213 HAS SOUPS 3669213 WITH SCORE 3673092.44
AT ITER 661 NEW BEST:: SOT 7448944 SOS 3882535 HAS SOPS 3882535 HAS SOUS 3669096 HAS SOUPS 3669096 WITH SCORE 3672978.535
AT ITER 667 NEW BEST:: SOT 7448944 SOS 3881095 HAS SOPS 3881095 HAS SOUS 3669096 HAS SOUPS 3669096 WITH SCORE 3672977.095
AT ITER 670 NEW BEST:: SOT 7448944 SOS 3880982 HAS SOPS 3880982 HAS SOUS 3669096 HAS SOUPS 3669096 WITH SCORE 3672976.982
AT ITER 671 NEW BEST:: SOT 7448645 SOS 3881165 HAS SOPS 3881165 HAS SOUS 3668830 HAS SOUPS 3668830 WITH SCORE 3672711.165
AT ITER 672 NEW BEST:: SOT 7448645 SOS 3881076 HAS SOPS 3881076 HAS SOUS 3668830 HAS SOUPS 3668830 WITH SCORE 3672711.076
AT ITER 674 NEW BEST:: SOT 7448645 SOS 3880984 HAS SOPS 3880984 HAS SOUS 3668830 HAS SOUPS 3668830 WITH SCORE 3672710.984
AT ITER 683 NEW BEST:: SOT 7448645 SOS 3880285 HAS SOPS 3880285 HAS SOUS 3668830 HAS SOUPS 3668830 WITH SCORE 3672710.285
AT ITER 686 NEW BEST:: SOT 7447379 SOS 3879396 HAS SOPS 3879396 HAS SOUS 3667903 HAS SOUPS 3667903 WITH SCORE 3671782.396
AT ITER 687 NEW BEST:: SOT 7443707 SOS 3887167 HAS SOPS 3887167 HAS SOUS 3664901 HAS SOUPS 3664901 WITH SCORE 3668788.167
AT ITER 690 NEW BEST:: SOT 7442404 SOS 3886414 HAS SOPS 3886414 HAS SOUS 3664450 HAS SOUPS 3664450 WITH SCORE 3668336.414
AT ITER 694 NEW BEST:: SOT 7441728 SOS 3896014 HAS SOPS 3896014 HAS SOUS 3663774 HAS SOUPS 3663774 WITH SCORE 3667670.014
AT ITER 697 NEW BEST:: SOT 7439174 SOS 3893782 HAS SOPS 3893782 HAS SOUS 3661347 HAS SOUPS 3661347 WITH SCORE 3665240.782
AT ITER 708 NEW BEST:: SOT 7437174 SOS 3892062 HAS SOPS 3892062 HAS SOUS 3659484 HAS SOUPS 3659484 WITH SCORE 3663376.062
AT ITER 721 NEW BEST:: SOT 7437174 SOS 3891416 HAS SOPS 3891416 HAS SOUS 3659484 HAS SOUPS 3659484 WITH SCORE 3663375.416
AT ITER 734 NEW BEST:: SOT 7436013 SOS 3892308 HAS SOPS 3892308 HAS SOUS 3658323 HAS SOUPS 3658323 WITH SCORE 3662215.308
AT ITER 740 NEW BEST:: SOT 7432159 SOS 3907436 HAS SOPS 3907436 HAS SOUS 3655508 HAS SOUPS 3655508 WITH SCORE 3659415.436
AT ITER 743 NEW BEST:: SOT 7428254 SOS 3911832 HAS SOPS 3911832 HAS SOUS 3652860 HAS SOUPS 3652860 WITH SCORE 3656771.832
AT ITER 750 NEW BEST:: SOT 7428595 SOS 3910776 HAS SOPS 3910776 HAS SOUS 3651680 HAS SOUPS 3651680 WITH SCORE 3655590.776
AT ITER 751 NEW BEST:: SOT 7428452 SOS 3910633 HAS SOPS 3910633 HAS SOUS 3651537 HAS SOUPS 3651537 WITH SCORE 3655447.633
AT ITER 752 NEW BEST:: SOT 7428452 SOS 3910329 HAS SOPS 3910329 HAS SOUS 3651537 HAS SOUPS 3651537 WITH SCORE 3655447.329
AT ITER 753 NEW BEST:: SOT 7428719 SOS 3909643 HAS SOPS 3909643 HAS SOUS 3650904 HAS SOUPS 3650904 WITH SCORE 3654813.643
AT ITER 759 NEW BEST:: SOT 7429131 SOS 3911620 HAS SOPS 3911620 HAS SOUS 3650877 HAS SOUPS 3650877 WITH SCORE 3654788.62
AT ITER 772 NEW BEST:: SOT 7428858 SOS 3918717 HAS SOPS 3918717 HAS SOUS 3650717 HAS SOUPS 3650717 WITH SCORE 3654635.717
AT ITER 784 NEW BEST:: SOT 7428832 SOS 3918669 HAS SOPS 3918669 HAS SOUS 3650695 HAS SOUPS 3650695 WITH SCORE 3654613.669
AT ITER 787 NEW BEST:: SOT 7428721 SOS 3918732 HAS SOPS 3918732 HAS SOUS 3650593 HAS SOUPS 3650593 WITH SCORE 3654511.732
AT ITER 792 NEW BEST:: SOT 7428721 SOS 3917844 HAS SOPS 3917844 HAS SOUS 3650593 HAS SOUPS 3650593 WITH SCORE 3654510.844
AT ITER 802 NEW BEST:: SOT 7428123 SOS 3917382 HAS SOPS 3917382 HAS SOUS 3650248 HAS SOUPS 3650248 WITH SCORE 3654165.382
AT ITER 808 NEW BEST:: SOT 7428090 SOS 3917349 HAS SOPS 3917349 HAS SOUS 3650215 HAS SOUPS 3650215 WITH SCORE 3654132.349
AT ITER 812 NEW BEST:: SOT 7428090 SOS 3917042 HAS SOPS 3917042 HAS SOUS 3650215 HAS SOUPS 3650215 WITH SCORE 3654132.042
AT ITER 814 NEW BEST:: SOT 7428090 SOS 3916746 HAS SOPS 3916746 HAS SOUS 3650215 HAS SOUPS 3650215 WITH SCORE 3654131.746
AT ITER 815 NEW BEST:: SOT 7428090 SOS 3916746 HAS SOPS 3916746 HAS SOUS 3650037 HAS SOUPS 3650037 WITH SCORE 3653953.746
AT ITER 816 NEW BEST:: SOT 7428090 SOS 3916602 HAS SOPS 3916602 HAS SOUS 3649893 HAS SOUPS 3649893 WITH SCORE 3653809.602
AT ITER 819 NEW BEST:: SOT 7428090 SOS 3915566 HAS SOPS 3915566 HAS SOUS 3649893 HAS SOUPS 3649893 WITH SCORE 3653808.566
AT ITER 827 NEW BEST:: SOT 7427762 SOS 3915238 HAS SOPS 3915238 HAS SOUS 3649601 HAS SOUPS 3649601 WITH SCORE 3653516.238
AT ITER 831 NEW BEST:: SOT 7423982 SOS 3911961 HAS SOPS 3911961 HAS SOUS 3646060 HAS SOUPS 3646060 WITH SCORE 3649971.961
AT ITER 834 NEW BEST:: SOT 7421280 SOS 3909591 HAS SOPS 3909591 HAS SOUS 3643534 HAS SOUPS 3643534 WITH SCORE 3647443.591
AT ITER 835 NEW BEST:: SOT 7421280 SOS 3907786 HAS SOPS 3907786 HAS SOUS 3643534 HAS SOUPS 3643534 WITH SCORE 3647441.786
AT ITER 845 NEW BEST:: SOT 7417958 SOS 3907551 HAS SOPS 3907551 HAS SOUS 3641104 HAS SOUPS 3641104 WITH SCORE 3645011.551
AT ITER 862 NEW BEST:: SOT 7417285 SOS 3908818 HAS SOPS 3908818 HAS SOUS 3640431 HAS SOUPS 3640431 WITH SCORE 3644339.818
AT ITER 863 NEW BEST:: SOT 7417158 SOS 3908691 HAS SOPS 3908691 HAS SOUS 3640304 HAS SOUPS 3640304 WITH SCORE 3644212.691
AT ITER 864 NEW BEST:: SOT 7415197 SOS 3907578 HAS SOPS 3907578 HAS SOUS 3638716 HAS SOUPS 3638716 WITH SCORE 3642623.578
AT ITER 865 NEW BEST:: SOT 7412586 SOS 3919378 HAS SOPS 3919378 HAS SOUS 3636417 HAS SOUPS 3636417 WITH SCORE 3640336.378
AT ITER 870 NEW BEST:: SOT 7412413 SOS 3918972 HAS SOPS 3918972 HAS SOUS 3636059 HAS SOUPS 3636059 WITH SCORE 3639977.972
AT ITER 886 NEW BEST:: SOT 7412413 SOS 3918318 HAS SOPS 3918318 HAS SOUS 3636058 HAS SOUPS 3636058 WITH SCORE 3639976.318
AT ITER 893 NEW BEST:: SOT 7412413 SOS 3917917 HAS SOPS 3917917 HAS SOUS 3636058 HAS SOUPS 3636058 WITH SCORE 3639975.917
AT ITER 895 NEW BEST:: SOT 7412413 SOS 3917094 HAS SOPS 3917094 HAS SOUS 3636058 HAS SOUPS 3636058 WITH SCORE 3639975.094
AT ITER 904 NEW BEST:: SOT 7410693 SOS 3923457 HAS SOPS 3923457 HAS SOUS 3635429 HAS SOUPS 3635429 WITH SCORE 3639352.457
AT ITER 907 NEW BEST:: SOT 7410693 SOS 3923073 HAS SOPS 3923073 HAS SOUS 3635429 HAS SOUPS 3635429 WITH SCORE 3639352.073
AT ITER 908 NEW BEST:: SOT 7410690 SOS 3923070 HAS SOPS 3923070 HAS SOUS 3635426 HAS SOUPS 3635426 WITH SCORE 3639349.07
AT ITER 913 NEW BEST:: SOT 7407164 SOS 3925783 HAS SOPS 3925783 HAS SOUS 3632245 HAS SOUPS 3632245 WITH SCORE 3636170.783
AT ITER 916 NEW BEST:: SOT 7406670 SOS 3931042 HAS SOPS 3931042 HAS SOUS 3632006 HAS SOUPS 3632006 WITH SCORE 3635937.042
AT ITER 926 NEW BEST:: SOT 7406284 SOS 3931874 HAS SOPS 3931874 HAS SOUS 3631723 HAS SOUPS 3631723 WITH SCORE 3635654.874
AT ITER 928 NEW BEST:: SOT 7406000 SOS 3932051 HAS SOPS 3932051 HAS SOUS 3631439 HAS SOUPS 3631439 WITH SCORE 3635371.051
AT ITER 929 NEW BEST:: SOT 7405480 SOS 3931982 HAS SOPS 3931982 HAS SOUS 3631377 HAS SOUPS 3631377 WITH SCORE 3635308.982
AT ITER 930 NEW BEST:: SOT 7405480 SOS 3930074 HAS SOPS 3930074 HAS SOUS 3631377 HAS SOUPS 3631377 WITH SCORE 3635307.074
AT ITER 931 NEW BEST:: SOT 7403030 SOS 3935561 HAS SOPS 3935561 HAS SOUS 3629012 HAS SOUPS 3629012 WITH SCORE 3632947.561
AT ITER 933 NEW BEST:: SOT 7403356 SOS 3934327 HAS SOPS 3934327 HAS SOUS 3628346 HAS SOUPS 3628346 WITH SCORE 3632280.327
AT ITER 937 NEW BEST:: SOT 7403356 SOS 3934176 HAS SOPS 3934176 HAS SOUS 3628346 HAS SOUPS 3628346 WITH SCORE 3632280.176
AT ITER 938 NEW BEST:: SOT 7402862 SOS 3946851 HAS SOPS 3946851 HAS SOUS 3627852 HAS SOUPS 3627852 WITH SCORE 3631798.851
AT ITER 940 NEW BEST:: SOT 7402862 SOS 3946090 HAS SOPS 3946090 HAS SOUS 3627852 HAS SOUPS 3627852 WITH SCORE 3631798.09
AT ITER 941 NEW BEST:: SOT 7402862 SOS 3946358 HAS SOPS 3946358 HAS SOUS 3627549 HAS SOUPS 3627549 WITH SCORE 3631495.358
AT ITER 942 NEW BEST:: SOT 7400912 SOS 3946167 HAS SOPS 3946167 HAS SOUS 3625975 HAS SOUPS 3625975 WITH SCORE 3629921.167
AT ITER 943 NEW BEST:: SOT 7400912 SOS 3945910 HAS SOPS 3945910 HAS SOUS 3625975 HAS SOUPS 3625975 WITH SCORE 3629920.91
AT ITER 945 NEW BEST:: SOT 7400912 SOS 3945528 HAS SOPS 3945528 HAS SOUS 3625975 HAS SOUPS 3625975 WITH SCORE 3629920.528
AT ITER 950 NEW BEST:: SOT 7398950 SOS 3943892 HAS SOPS 3943892 HAS SOUS 3624157 HAS SOUPS 3624157 WITH SCORE 3628100.892
AT ITER 951 NEW BEST:: SOT 7395447 SOS 3941847 HAS SOPS 3941847 HAS SOUS 3620831 HAS SOUPS 3620831 WITH SCORE 3624772.847
AT ITER 952 NEW BEST:: SOT 7395447 SOS 3941555 HAS SOPS 3941555 HAS SOUS 3620831 HAS SOUPS 3620831 WITH SCORE 3624772.555
AT ITER 961 NEW BEST:: SOT 7395447 SOS 3941433 HAS SOPS 3941433 HAS SOUS 3620831 HAS SOUPS 3620831 WITH SCORE 3624772.433
AT ITER 966 NEW BEST:: SOT 7395635 SOS 3942980 HAS SOPS 3942980 HAS SOUS 3620664 HAS SOUPS 3620664 WITH SCORE 3624606.98
AT ITER 973 NEW BEST:: SOT 7395635 SOS 3942167 HAS SOPS 3942167 HAS SOUS 3620664 HAS SOUPS 3620664 WITH SCORE 3624606.167
AT ITER 975 NEW BEST:: SOT 7393570 SOS 3953248 HAS SOPS 3953248 HAS SOUS 3620165 HAS SOUPS 3620165 WITH SCORE 3624118.248
AT ITER 976 NEW BEST:: SOT 7393570 SOS 3953060 HAS SOPS 3953060 HAS SOUS 3620165 HAS SOUPS 3620165 WITH SCORE 3624118.06
AT ITER 977 NEW BEST:: SOT 7393570 SOS 3952380 HAS SOPS 3952380 HAS SOUS 3620165 HAS SOUPS 3620165 WITH SCORE 3624117.38
AT ITER 989 NEW BEST:: SOT 7393404 SOS 3952214 HAS SOPS 3952214 HAS SOUS 3619999 HAS SOUPS 3619999 WITH SCORE 3623951.214
AT ITER 992 NEW BEST:: SOT 7393228 SOS 3951953 HAS SOPS 3951953 HAS SOUS 3619553 HAS SOUPS 3619553 WITH SCORE 3623504.953
AT ITER 996 NEW BEST:: SOT 7393228 SOS 3951840 HAS SOPS 3951840 HAS SOUS 3619514 HAS SOUPS 3619514 WITH SCORE 3623465.84
AT ITER 997 NEW BEST:: SOT 7393496 SOS 3951611 HAS SOPS 3951611 HAS SOUS 3619487 HAS SOUPS 3619487 WITH SCORE 3623438.611
AT ITER 1000 NEW BEST:: SOT 7393496 SOS 3951175 HAS SOPS 3951175 HAS SOUS 3619487 HAS SOUPS 3619487 WITH SCORE 3623438.175
AT ITER 1001 NEW BEST:: SOT 7392811 SOS 3950656 HAS SOPS 3950656 HAS SOUS 3618968 HAS SOUPS 3618968 WITH SCORE 3622918.656
AT ITER 1003 NEW BEST:: SOT 7392811 SOS 3950600 HAS SOPS 3950600 HAS SOUS 3618968 HAS SOUPS 3618968 WITH SCORE 3622918.6
AT ITER 1013 NEW BEST:: SOT 7392811 SOS 3950529 HAS SOPS 3950529 HAS SOUS 3618968 HAS SOUPS 3618968 WITH SCORE 3622918.529
AT ITER 1021 NEW BEST:: SOT 7393185 SOS 3949798 HAS SOPS 3949798 HAS SOUS 3618669 HAS SOUPS 3618669 WITH SCORE 3622618.798
AT ITER 1028 NEW BEST:: SOT 7393185 SOS 3945742 HAS SOPS 3945742 HAS SOUS 3618669 HAS SOUPS 3618669 WITH SCORE 3622614.742
AT ITER 1032 NEW BEST:: SOT 7392792 SOS 3945349 HAS SOPS 3945349 HAS SOUS 3618276 HAS SOUPS 3618276 WITH SCORE 3622221.349
AT ITER 1039 NEW BEST:: SOT 7392532 SOS 3945564 HAS SOPS 3945564 HAS SOUS 3618169 HAS SOUPS 3618169 WITH SCORE 3622114.564
AT ITER 1042 NEW BEST:: SOT 7392532 SOS 3945362 HAS SOPS 3945362 HAS SOUS 3618169 HAS SOUPS 3618169 WITH SCORE 3622114.362
AT ITER 1043 NEW BEST:: SOT 7392125 SOS 3945341 HAS SOPS 3945341 HAS SOUS 3618148 HAS SOUPS 3618148 WITH SCORE 3622093.341
AT ITER 1053 NEW BEST:: SOT 7392125 SOS 3944972 HAS SOPS 3944972 HAS SOUS 3618148 HAS SOUPS 3618148 WITH SCORE 3622092.972
AT ITER 1056 NEW BEST:: SOT 7392125 SOS 3944610 HAS SOPS 3944610 HAS SOUS 3618148 HAS SOUPS 3618148 WITH SCORE 3622092.61
AT ITER 1058 NEW BEST:: SOT 7392125 SOS 3944509 HAS SOPS 3944509 HAS SOUS 3618148 HAS SOUPS 3618148 WITH SCORE 3622092.509
AT ITER 1061 NEW BEST:: SOT 7392157 SOS 3944394 HAS SOPS 3944394 HAS SOUS 3617942 HAS SOUPS 3617942 WITH SCORE 3621886.394
AT ITER 1072 NEW BEST:: SOT 7392157 SOS 3943770 HAS SOPS 3943770 HAS SOUS 3617942 HAS SOUPS 3617942 WITH SCORE 3621885.77
AT ITER 1073 NEW BEST:: SOT 7392157 SOS 3943404 HAS SOPS 3943404 HAS SOUS 3617942 HAS SOUPS 3617942 WITH SCORE 3621885.404
AT ITER 1086 NEW BEST:: SOT 7390574 SOS 3942337 HAS SOPS 3942337 HAS SOUS 3616728 HAS SOUPS 3616728 WITH SCORE 3620670.337
AT ITER 1095 NEW BEST:: SOT 7390274 SOS 3942062 HAS SOPS 3942062 HAS SOUS 3616453 HAS SOUPS 3616453 WITH SCORE 3620395.062
AT ITER 1104 NEW BEST:: SOT 7390274 SOS 3942018 HAS SOPS 3942018 HAS SOUS 3616409 HAS SOUPS 3616409 WITH SCORE 3620351.018
AT ITER 1108 NEW BEST:: SOT 7390094 SOS 3941853 HAS SOPS 3941853 HAS SOUS 3616244 HAS SOUPS 3616244 WITH SCORE 3620185.853
AT ITER 1116 NEW BEST:: SOT 7390094 SOS 3936060 HAS SOPS 3936060 HAS SOUS 3616244 HAS SOUPS 3616244 WITH SCORE 3620180.06
AT ITER 1118 NEW BEST:: SOT 7390094 SOS 3935595 HAS SOPS 3935595 HAS SOUS 3616244 HAS SOUPS 3616244 WITH SCORE 3620179.595
AT ITER 1125 NEW BEST:: SOT 7390094 SOS 3935213 HAS SOPS 3935213 HAS SOUS 3615862 HAS SOUPS 3615862 WITH SCORE 3619797.213
AT ITER 1127 NEW BEST:: SOT 7390094 SOS 3935022 HAS SOPS 3935022 HAS SOUS 3615829 HAS SOUPS 3615829 WITH SCORE 3619764.022
AT ITER 1134 NEW BEST:: SOT 7390128 SOS 3935089 HAS SOPS 3935089 HAS SOUS 3615792 HAS SOUPS 3615792 WITH SCORE 3619727.089
AT ITER 1135 NEW BEST:: SOT 7390319 SOS 3935243 HAS SOPS 3935243 HAS SOUS 3615751 HAS SOUPS 3615751 WITH SCORE 3619686.243
AT ITER 1147 NEW BEST:: SOT 7390319 SOS 3935162 HAS SOPS 3935162 HAS SOUS 3615751 HAS SOUPS 3615751 WITH SCORE 3619686.162
AT ITER 1154 NEW BEST:: SOT 7390319 SOS 3934918 HAS SOPS 3934918 HAS SOUS 3615751 HAS SOUPS 3615751 WITH SCORE 3619685.918
AT ITER 1158 NEW BEST:: SOT 7390319 SOS 3934792 HAS SOPS 3934792 HAS SOUS 3615751 HAS SOUPS 3615751 WITH SCORE 3619685.792
AT ITER 1160 NEW BEST:: SOT 7390319 SOS 3934690 HAS SOPS 3934690 HAS SOUS 3615751 HAS SOUPS 3615751 WITH SCORE 3619685.69
AT ITER 1167 NEW BEST:: SOT 7390586 SOS 3934112 HAS SOPS 3934112 HAS SOUS 3615638 HAS SOUPS 3615638 WITH SCORE 3619572.112
AT ITER 1170 NEW BEST:: SOT 7389680 SOS 3933206 HAS SOPS 3933206 HAS SOUS 3614732 HAS SOUPS 3614732 WITH SCORE 3618665.206
AT ITER 1174 NEW BEST:: SOT 7389680 SOS 3932784 HAS SOPS 3932784 HAS SOUS 3614732 HAS SOUPS 3614732 WITH SCORE 3618664.784
AT ITER 1178 NEW BEST:: SOT 7388754 SOS 3932271 HAS SOPS 3932271 HAS SOUS 3613861 HAS SOUPS 3613861 WITH SCORE 3617793.271
AT ITER 1181 NEW BEST:: SOT 7388754 SOS 3931340 HAS SOPS 3931340 HAS SOUS 3613861 HAS SOUPS 3613861 WITH SCORE 3617792.34
AT ITER 1182 NEW BEST:: SOT 7388754 SOS 3931268 HAS SOPS 3931268 HAS SOUS 3613861 HAS SOUPS 3613861 WITH SCORE 3617792.268
AT ITER 1185 NEW BEST:: SOT 7388754 SOS 3928055 HAS SOPS 3928055 HAS SOUS 3613861 HAS SOUPS 3613861 WITH SCORE 3617789.055
AT ITER 1208 NEW BEST:: SOT 7388754 SOS 3924187 HAS SOPS 3924187 HAS SOUS 3613861 HAS SOUPS 3613861 WITH SCORE 3617785.187
AT ITER 1217 NEW BEST:: SOT 7388150 SOS 3926310 HAS SOPS 3926310 HAS SOUS 3613677 HAS SOUPS 3613677 WITH SCORE 3617603.31
AT ITER 1224 NEW BEST:: SOT 7388322 SOS 3926418 HAS SOPS 3926418 HAS SOUS 3613642 HAS SOUPS 3613642 WITH SCORE 3617568.418
AT ITER 1225 NEW BEST:: SOT 7387735 SOS 3929778 HAS SOPS 3929778 HAS SOUS 3613082 HAS SOUPS 3613082 WITH SCORE 3617011.778
AT ITER 1234 NEW BEST:: SOT 7386901 SOS 3929081 HAS SOPS 3929081 HAS SOUS 3612382 HAS SOUPS 3612382 WITH SCORE 3616311.081
AT ITER 1238 NEW BEST:: SOT 7386407 SOS 3935678 HAS SOPS 3935678 HAS SOUS 3612157 HAS SOUPS 3612157 WITH SCORE 3616092.678
AT ITER 1239 NEW BEST:: SOT 7385931 SOS 3948213 HAS SOPS 3948213 HAS SOUS 3612063 HAS SOUPS 3612063 WITH SCORE 3616011.213
AT ITER 1241 NEW BEST:: SOT 7385931 SOS 3948139 HAS SOPS 3948139 HAS SOUS 3612063 HAS SOUPS 3612063 WITH SCORE 3616011.139
AT ITER 1243 NEW BEST:: SOT 7381838 SOS 3945861 HAS SOPS 3945861 HAS SOUS 3608296 HAS SOUPS 3608296 WITH SCORE 3612241.861
AT ITER 1249 NEW BEST:: SOT 7381685 SOS 3945350 HAS SOPS 3945350 HAS SOUS 3607785 HAS SOUPS 3607785 WITH SCORE 3611730.35
AT ITER 1255 NEW BEST:: SOT 7381685 SOS 3944575 HAS SOPS 3944575 HAS SOUS 3607785 HAS SOUPS 3607785 WITH SCORE 3611729.575
AT ITER 1262 NEW BEST:: SOT 7379312 SOS 3943886 HAS SOPS 3943886 HAS SOUS 3606090 HAS SOUPS 3606090 WITH SCORE 3610033.886
AT ITER 1265 NEW BEST:: SOT 7378649 SOS 3944652 HAS SOPS 3944652 HAS SOUS 3605810 HAS SOUPS 3605810 WITH SCORE 3609754.652
AT ITER 1266 NEW BEST:: SOT 7378649 SOS 3944044 HAS SOPS 3944044 HAS SOUS 3605810 HAS SOUPS 3605810 WITH SCORE 3609754.044
AT ITER 1268 NEW BEST:: SOT 7378649 SOS 3943494 HAS SOPS 3943494 HAS SOUS 3605810 HAS SOUPS 3605810 WITH SCORE 3609753.494
AT ITER 1273 NEW BEST:: SOT 7378649 SOS 3943558 HAS SOPS 3943558 HAS SOUS 3605116 HAS SOUPS 3605116 WITH SCORE 3609059.558
AT ITER 1276 NEW BEST:: SOT 7378649 SOS 3943059 HAS SOPS 3943059 HAS SOUS 3605116 HAS SOUPS 3605116 WITH SCORE 3609059.059
AT ITER 1277 NEW BEST:: SOT 7378649 SOS 3942926 HAS SOPS 3942926 HAS SOUS 3605116 HAS SOUPS 3605116 WITH SCORE 3609058.926
AT ITER 1278 NEW BEST:: SOT 7376584 SOS 3941351 HAS SOPS 3941351 HAS SOUS 3603327 HAS SOUPS 3603327 WITH SCORE 3607268.351
AT ITER 1281 NEW BEST:: SOT 7376584 SOS 3940606 HAS SOPS 3940606 HAS SOUS 3602895 HAS SOUPS 3602895 WITH SCORE 3606835.606
AT ITER 1287 NEW BEST:: SOT 7376061 SOS 3943948 HAS SOPS 3943948 HAS SOUS 3602863 HAS SOUPS 3602863 WITH SCORE 3606806.948
AT ITER 1296 NEW BEST:: SOT 7375546 SOS 3943760 HAS SOPS 3943760 HAS SOUS 3602652 HAS SOUPS 3602652 WITH SCORE 3606595.76
AT ITER 1304 NEW BEST:: SOT 7373089 SOS 3942614 HAS SOPS 3942614 HAS SOUS 3600505 HAS SOUPS 3600505 WITH SCORE 3604447.614
AT ITER 1307 NEW BEST:: SOT 7372411 SOS 3942444 HAS SOPS 3942444 HAS SOUS 3600335 HAS SOUPS 3600335 WITH SCORE 3604277.444
AT ITER 1312 NEW BEST:: SOT 7370762 SOS 3940927 HAS SOPS 3940927 HAS SOUS 3598818 HAS SOUPS 3598818 WITH SCORE 3602758.927
AT ITER 1317 NEW BEST:: SOT 7370762 SOS 3940882 HAS SOPS 3940882 HAS SOUS 3598818 HAS SOUPS 3598818 WITH SCORE 3602758.882
AT ITER 1323 NEW BEST:: SOT 7368844 SOS 3942153 HAS SOPS 3942153 HAS SOUS 3597225 HAS SOUPS 3597225 WITH SCORE 3601167.153
AT ITER 1329 NEW BEST:: SOT 7368824 SOS 3941931 HAS SOPS 3941931 HAS SOUS 3597193 HAS SOUPS 3597193 WITH SCORE 3601134.931
AT ITER 1331 NEW BEST:: SOT 7367937 SOS 3941255 HAS SOPS 3941255 HAS SOUS 3596764 HAS SOUPS 3596764 WITH SCORE 3600705.255
AT ITER 1333 NEW BEST:: SOT 7367780 SOS 3942592 HAS SOPS 3942592 HAS SOUS 3596607 HAS SOUPS 3596607 WITH SCORE 3600549.592
AT ITER 1335 NEW BEST:: SOT 7365087 SOS 3958337 HAS SOPS 3958337 HAS SOUS 3595435 HAS SOUPS 3595435 WITH SCORE 3599393.337
AT ITER 1339 NEW BEST:: SOT 7365087 SOS 3957969 HAS SOPS 3957969 HAS SOUS 3595435 HAS SOUPS 3595435 WITH SCORE 3599392.969
AT ITER 1340 NEW BEST:: SOT 7365087 SOS 3952857 HAS SOPS 3952857 HAS SOUS 3594781 HAS SOUPS 3594781 WITH SCORE 3598733.857
AT ITER 1349 NEW BEST:: SOT 7365087 SOS 3952759 HAS SOPS 3952759 HAS SOUS 3594781 HAS SOUPS 3594781 WITH SCORE 3598733.759
AT ITER 1356 NEW BEST:: SOT 7364411 SOS 3953228 HAS SOPS 3953228 HAS SOUS 3594287 HAS SOUPS 3594287 WITH SCORE 3598240.228
AT ITER 1357 NEW BEST:: SOT 7364258 SOS 3951645 HAS SOPS 3951645 HAS SOUS 3593904 HAS SOUPS 3593904 WITH SCORE 3597855.645
AT ITER 1359 NEW BEST:: SOT 7364258 SOS 3951062 HAS SOPS 3951062 HAS SOUS 3593904 HAS SOUPS 3593904 WITH SCORE 3597855.062
AT ITER 1363 NEW BEST:: SOT 7364258 SOS 3949815 HAS SOPS 3949815 HAS SOUS 3593904 HAS SOUPS 3593904 WITH SCORE 3597853.815
AT ITER 1364 NEW BEST:: SOT 7364258 SOS 3949526 HAS SOPS 3949526 HAS SOUS 3593904 HAS SOUPS 3593904 WITH SCORE 3597853.526
AT ITER 1371 NEW BEST:: SOT 7364258 SOS 3948917 HAS SOPS 3948917 HAS SOUS 3593904 HAS SOUPS 3593904 WITH SCORE 3597852.917
AT ITER 1382 NEW BEST:: SOT 7364258 SOS 3948677 HAS SOPS 3948677 HAS SOUS 3593904 HAS SOUPS 3593904 WITH SCORE 3597852.677
AT ITER 1389 NEW BEST:: SOT 7364258 SOS 3948677 HAS SOPS 3948677 HAS SOUS 3593785 HAS SOUPS 3593785 WITH SCORE 3597733.677
AT ITER 1390 NEW BEST:: SOT 7364258 SOS 3948497 HAS SOPS 3948497 HAS SOUS 3593785 HAS SOUPS 3593785 WITH SCORE 3597733.497
AT ITER 1397 NEW BEST:: SOT 7364429 SOS 3948639 HAS SOPS 3948639 HAS SOUS 3593748 HAS SOUPS 3593748 WITH SCORE 3597696.639
AT ITER 1398 NEW BEST:: SOT 7361532 SOS 3952789 HAS SOPS 3952789 HAS SOUS 3593722 HAS SOUPS 3593722 WITH SCORE 3597674.789
AT ITER 1402 NEW BEST:: SOT 7361532 SOS 3952486 HAS SOPS 3952486 HAS SOUS 3593722 HAS SOUPS 3593722 WITH SCORE 3597674.486
AT ITER 1410 NEW BEST:: SOT 7360942 SOS 3951896 HAS SOPS 3951896 HAS SOUS 3593132 HAS SOUPS 3593132 WITH SCORE 3597083.896
AT ITER 1411 NEW BEST:: SOT 7358894 SOS 3950035 HAS SOPS 3950035 HAS SOUS 3591265 HAS SOUPS 3591265 WITH SCORE 3595215.035
AT ITER 1417 NEW BEST:: SOT 7355966 SOS 3949854 HAS SOPS 3949854 HAS SOUS 3589216 HAS SOUPS 3589216 WITH SCORE 3593165.854
AT ITER 1421 NEW BEST:: SOT 7355966 SOS 3948436 HAS SOPS 3948436 HAS SOUS 3589216 HAS SOUPS 3589216 WITH SCORE 3593164.436
AT ITER 1422 NEW BEST:: SOT 7354941 SOS 3948136 HAS SOPS 3948136 HAS SOUS 3588654 HAS SOUPS 3588654 WITH SCORE 3592602.136
AT ITER 1427 NEW BEST:: SOT 7354473 SOS 3949392 HAS SOPS 3949392 HAS SOUS 3588316 HAS SOUPS 3588316 WITH SCORE 3592265.392
AT ITER 1433 NEW BEST:: SOT 7354280 SOS 3949023 HAS SOPS 3949023 HAS SOUS 3587980 HAS SOUPS 3587980 WITH SCORE 3591929.023
AT ITER 1434 NEW BEST:: SOT 7354267 SOS 3948789 HAS SOPS 3948789 HAS SOUS 3587788 HAS SOUPS 3587788 WITH SCORE 3591736.789
AT ITER 1443 NEW BEST:: SOT 7354676 SOS 3949307 HAS SOPS 3949307 HAS SOUS 3587228 HAS SOUPS 3587228 WITH SCORE 3591177.307
AT ITER 1447 NEW BEST:: SOT 7354579 SOS 3949078 HAS SOPS 3949078 HAS SOUS 3587176 HAS SOUPS 3587176 WITH SCORE 3591125.078
AT ITER 1448 NEW BEST:: SOT 7354579 SOS 3948820 HAS SOPS 3948820 HAS SOUS 3587176 HAS SOUPS 3587176 WITH SCORE 3591124.82
AT ITER 1453 NEW BEST:: SOT 7350510 SOS 3945081 HAS SOPS 3945081 HAS SOUS 3583281 HAS SOUPS 3583281 WITH SCORE 3587226.081
AT ITER 1454 NEW BEST:: SOT 7350510 SOS 3944834 HAS SOPS 3944834 HAS SOUS 3583281 HAS SOUPS 3583281 WITH SCORE 3587225.834
AT ITER 1461 NEW BEST:: SOT 7350659 SOS 3944164 HAS SOPS 3944164 HAS SOUS 3583261 HAS SOUPS 3583261 WITH SCORE 3587205.164
AT ITER 1480 NEW BEST:: SOT 7350452 SOS 3943957 HAS SOPS 3943957 HAS SOUS 3583054 HAS SOUPS 3583054 WITH SCORE 3586997.957
AT ITER 1484 NEW BEST:: SOT 7350661 SOS 3943171 HAS SOPS 3943171 HAS SOUS 3582112 HAS SOUPS 3582112 WITH SCORE 3586055.171
AT ITER 1491 NEW BEST:: SOT 7350661 SOS 3942320 HAS SOPS 3942320 HAS SOUS 3582112 HAS SOUPS 3582112 WITH SCORE 3586054.32
AT ITER 1492 NEW BEST:: SOT 7348687 SOS 3942293 HAS SOPS 3942293 HAS SOUS 3580540 HAS SOUPS 3580540 WITH SCORE 3584482.293
AT ITER 1496 NEW BEST:: SOT 7348642 SOS 3942283 HAS SOPS 3942283 HAS SOUS 3580495 HAS SOUPS 3580495 WITH SCORE 3584437.283
AT ITER 1498 NEW BEST:: SOT 7347732 SOS 3943197 HAS SOPS 3943197 HAS SOUS 3579821 HAS SOUPS 3579821 WITH SCORE 3583764.197
AT ITER 1499 NEW BEST:: SOT 7347732 SOS 3943178 HAS SOPS 3943178 HAS SOUS 3579821 HAS SOUPS 3579821 WITH SCORE 3583764.178
AT ITER 1504 NEW BEST:: SOT 7345679 SOS 3941744 HAS SOPS 3941744 HAS SOUS 3578415 HAS SOUPS 3578415 WITH SCORE 3582356.744
AT ITER 1525 NEW BEST:: SOT 7341947 SOS 3939064 HAS SOPS 3939064 HAS SOUS 3575724 HAS SOUPS 3575724 WITH SCORE 3579663.064
AT ITER 1532 NEW BEST:: SOT 7341811 SOS 3938996 HAS SOPS 3938996 HAS SOUS 3575588 HAS SOUPS 3575588 WITH SCORE 3579526.996
AT ITER 1535 NEW BEST:: SOT 7341811 SOS 3938983 HAS SOPS 3938983 HAS SOUS 3575588 HAS SOUPS 3575588 WITH SCORE 3579526.983
AT ITER 1544 NEW BEST:: SOT 7341811 SOS 3938752 HAS SOPS 3938752 HAS SOUS 3575588 HAS SOUPS 3575588 WITH SCORE 3579526.752
AT ITER 1554 NEW BEST:: SOT 7341811 SOS 3938568 HAS SOPS 3938568 HAS SOUS 3575588 HAS SOUPS 3575588 WITH SCORE 3579526.568
AT ITER 1560 NEW BEST:: SOT 7341811 SOS 3940804 HAS SOPS 3940804 HAS SOUS 3575516 HAS SOUPS 3575516 WITH SCORE 3579456.804
AT ITER 1564 NEW BEST:: SOT 7341762 SOS 3940755 HAS SOPS 3940755 HAS SOUS 3575467 HAS SOUPS 3575467 WITH SCORE 3579407.755
AT ITER 1571 NEW BEST:: SOT 7340018 SOS 3945302 HAS SOPS 3945302 HAS SOUS 3573869 HAS SOUPS 3573869 WITH SCORE 3577814.302
AT ITER 1580 NEW BEST:: SOT 7340018 SOS 3943839 HAS SOPS 3943839 HAS SOUS 3573836 HAS SOUPS 3573836 WITH SCORE 3577779.839
AT ITER 1587 NEW BEST:: SOT 7340249 SOS 3944059 HAS SOPS 3944059 HAS SOUS 3573809 HAS SOUPS 3573809 WITH SCORE 3577753.059
AT ITER 1589 NEW BEST:: SOT 7337742 SOS 3946152 HAS SOPS 3946152 HAS SOUS 3571635 HAS SOUPS 3571635 WITH SCORE 3575581.152
AT ITER 1591 NEW BEST:: SOT 7333916 SOS 3960435 HAS SOPS 3960435 HAS SOUS 3569682 HAS SOUPS 3569682 WITH SCORE 3573642.435
AT ITER 1599 NEW BEST:: SOT 7333916 SOS 3960344 HAS SOPS 3960344 HAS SOUS 3569682 HAS SOUPS 3569682 WITH SCORE 3573642.344
AT ITER 1600 NEW BEST:: SOT 7332548 SOS 3959812 HAS SOPS 3959812 HAS SOUS 3569333 HAS SOUPS 3569333 WITH SCORE 3573292.812
AT ITER 1611 NEW BEST:: SOT 7330632 SOS 3962903 HAS SOPS 3962903 HAS SOUS 3569098 HAS SOUPS 3569098 WITH SCORE 3573060.903
AT ITER 1615 NEW BEST:: SOT 7330632 SOS 3960674 HAS SOPS 3960674 HAS SOUS 3569098 HAS SOUPS 3569098 WITH SCORE 3573058.674
AT ITER 1620 NEW BEST:: SOT 7330632 SOS 3960560 HAS SOPS 3960560 HAS SOUS 3569098 HAS SOUPS 3569098 WITH SCORE 3573058.56
AT ITER 1623 NEW BEST:: SOT 7330644 SOS 3960488 HAS SOPS 3960488 HAS SOUS 3569026 HAS SOUPS 3569026 WITH SCORE 3572986.488
AT ITER 1625 NEW BEST:: SOT 7330644 SOS 3960269 HAS SOPS 3960269 HAS SOUS 3569026 HAS SOUPS 3569026 WITH SCORE 3572986.269
AT ITER 1628 NEW BEST:: SOT 7330644 SOS 3960106 HAS SOPS 3960106 HAS SOUS 3568863 HAS SOUPS 3568863 WITH SCORE 3572823.106
AT ITER 1640 NEW BEST:: SOT 7330447 SOS 3959757 HAS SOPS 3959757 HAS SOUS 3568666 HAS SOUPS 3568666 WITH SCORE 3572625.757
AT ITER 1643 NEW BEST:: SOT 7330447 SOS 3959361 HAS SOPS 3959361 HAS SOUS 3568270 HAS SOUPS 3568270 WITH SCORE 3572229.361
AT ITER 1654 NEW BEST:: SOT 7330447 SOS 3955590 HAS SOPS 3955590 HAS SOUS 3567894 HAS SOUPS 3567894 WITH SCORE 3571849.59
AT ITER 1657 NEW BEST:: SOT 7330447 SOS 3955254 HAS SOPS 3955254 HAS SOUS 3567894 HAS SOUPS 3567894 WITH SCORE 3571849.254
AT ITER 1658 NEW BEST:: SOT 7330447 SOS 3954293 HAS SOPS 3954293 HAS SOUS 3567894 HAS SOUPS 3567894 WITH SCORE 3571848.293
AT ITER 1659 NEW BEST:: SOT 7330378 SOS 3955295 HAS SOPS 3955295 HAS SOUS 3567752 HAS SOUPS 3567752 WITH SCORE 3571707.295
AT ITER 1666 NEW BEST:: SOT 7330378 SOS 3953664 HAS SOPS 3953664 HAS SOUS 3567752 HAS SOUPS 3567752 WITH SCORE 3571705.664
AT ITER 1674 NEW BEST:: SOT 7327419 SOS 3972723 HAS SOPS 3972723 HAS SOUS 3565325 HAS SOUPS 3565325 WITH SCORE 3569297.723
AT ITER 1676 NEW BEST:: SOT 7322817 SOS 3970640 HAS SOPS 3970640 HAS SOUS 3562052 HAS SOUPS 3562052 WITH SCORE 3566022.64
AT ITER 1680 NEW BEST:: SOT 7319699 SOS 3967522 HAS SOPS 3967522 HAS SOUS 3558934 HAS SOUPS 3558934 WITH SCORE 3562901.522
AT ITER 1686 NEW BEST:: SOT 7316556 SOS 3964876 HAS SOPS 3964876 HAS SOUS 3555874 HAS SOUPS 3555874 WITH SCORE 3559838.876
AT ITER 1690 NEW BEST:: SOT 7315886 SOS 3964206 HAS SOPS 3964206 HAS SOUS 3555204 HAS SOUPS 3555204 WITH SCORE 3559168.206
AT ITER 1691 NEW BEST:: SOT 7315886 SOS 3963803 HAS SOPS 3963803 HAS SOUS 3555204 HAS SOUPS 3555204 WITH SCORE 3559167.803
AT ITER 1693 NEW BEST:: SOT 7315886 SOS 3963224 HAS SOPS 3963224 HAS SOUS 3555204 HAS SOUPS 3555204 WITH SCORE 3559167.224
AT ITER 1694 NEW BEST:: SOT 7315886 SOS 3962976 HAS SOPS 3962976 HAS SOUS 3554956 HAS SOUPS 3554956 WITH SCORE 3558918.976
AT ITER 1698 NEW BEST:: SOT 7315886 SOS 3962465 HAS SOPS 3962465 HAS SOUS 3554956 HAS SOUPS 3554956 WITH SCORE 3558918.465
AT ITER 1705 NEW BEST:: SOT 7315035 SOS 3961990 HAS SOPS 3961990 HAS SOUS 3554372 HAS SOUPS 3554372 WITH SCORE 3558333.99
AT ITER 1710 NEW BEST:: SOT 7315035 SOS 3961832 HAS SOPS 3961832 HAS SOUS 3554372 HAS SOUPS 3554372 WITH SCORE 3558333.832
AT ITER 1711 NEW BEST:: SOT 7314830 SOS 3962635 HAS SOPS 3962635 HAS SOUS 3554232 HAS SOUPS 3554232 WITH SCORE 3558194.635
AT ITER 1712 NEW BEST:: SOT 7314830 SOS 3962266 HAS SOPS 3962266 HAS SOUS 3554232 HAS SOUPS 3554232 WITH SCORE 3558194.266
AT ITER 1716 NEW BEST:: SOT 7314567 SOS 3963840 HAS SOPS 3963840 HAS SOUS 3554142 HAS SOUPS 3554142 WITH SCORE 3558105.84
AT ITER 1717 NEW BEST:: SOT 7314567 SOS 3957092 HAS SOPS 3957092 HAS SOUS 3553870 HAS SOUPS 3553870 WITH SCORE 3557827.092
AT ITER 1720 NEW BEST:: SOT 7314567 SOS 3956633 HAS SOPS 3956633 HAS SOUS 3553870 HAS SOUPS 3553870 WITH SCORE 3557826.633
AT ITER 1725 NEW BEST:: SOT 7314122 SOS 3956514 HAS SOPS 3956514 HAS SOUS 3553426 HAS SOUPS 3553426 WITH SCORE 3557382.514
AT ITER 1728 NEW BEST:: SOT 7314122 SOS 3955553 HAS SOPS 3955553 HAS SOUS 3553426 HAS SOUPS 3553426 WITH SCORE 3557381.553
AT ITER 1739 NEW BEST:: SOT 7312201 SOS 3955052 HAS SOPS 3955052 HAS SOUS 3551798 HAS SOUPS 3551798 WITH SCORE 3555753.052
AT ITER 1758 NEW BEST:: SOT 7312933 SOS 3950220 HAS SOPS 3950220 HAS SOUS 3551290 HAS SOUPS 3551290 WITH SCORE 3555240.22
AT ITER 1759 NEW BEST:: SOT 7312933 SOS 3950001 HAS SOPS 3950001 HAS SOUS 3551290 HAS SOUPS 3551290 WITH SCORE 3555240.001
AT ITER 1764 NEW BEST:: SOT 7310671 SOS 3948405 HAS SOPS 3948405 HAS SOUS 3549397 HAS SOUPS 3549397 WITH SCORE 3553345.405
AT ITER 1768 NEW BEST:: SOT 7308526 SOS 3965575 HAS SOPS 3965575 HAS SOUS 3547561 HAS SOUPS 3547561 WITH SCORE 3551526.575
AT ITER 1769 NEW BEST:: SOT 7308526 SOS 3965360 HAS SOPS 3965360 HAS SOUS 3547561 HAS SOUPS 3547561 WITH SCORE 3551526.36
AT ITER 1771 NEW BEST:: SOT 7308526 SOS 3965360 HAS SOPS 3965360 HAS SOUS 3547538 HAS SOUPS 3547538 WITH SCORE 3551503.36
AT ITER 1775 NEW BEST:: SOT 7308982 SOS 3958412 HAS SOPS 3958412 HAS SOUS 3547288 HAS SOUPS 3547288 WITH SCORE 3551246.412
AT ITER 1782 NEW BEST:: SOT 7308982 SOS 3958203 HAS SOPS 3958203 HAS SOUS 3547288 HAS SOUPS 3547288 WITH SCORE 3551246.203
AT ITER 1783 NEW BEST:: SOT 7308982 SOS 3958158 HAS SOPS 3958158 HAS SOUS 3546985 HAS SOUPS 3546985 WITH SCORE 3550943.158
AT ITER 1784 NEW BEST:: SOT 7308982 SOS 3958096 HAS SOPS 3958096 HAS SOUS 3546985 HAS SOUPS 3546985 WITH SCORE 3550943.096
AT ITER 1787 NEW BEST:: SOT 7308982 SOS 3957938 HAS SOPS 3957938 HAS SOUS 3546985 HAS SOUPS 3546985 WITH SCORE 3550942.938
AT ITER 1789 NEW BEST:: SOT 7308982 SOS 3957866 HAS SOPS 3957866 HAS SOUS 3546985 HAS SOUPS 3546985 WITH SCORE 3550942.866
AT ITER 1790 NEW BEST:: SOT 7308982 SOS 3957350 HAS SOPS 3957350 HAS SOUS 3546743 HAS SOUPS 3546743 WITH SCORE 3550700.35
AT ITER 1795 NEW BEST:: SOT 7307162 SOS 3956424 HAS SOPS 3956424 HAS SOUS 3545030 HAS SOUPS 3545030 WITH SCORE 3548986.424
AT ITER 1805 NEW BEST:: SOT 7304380 SOS 3955042 HAS SOPS 3955042 HAS SOUS 3543591 HAS SOUPS 3543591 WITH SCORE 3547546.042
AT ITER 1807 NEW BEST:: SOT 7304380 SOS 3954908 HAS SOPS 3954908 HAS SOUS 3543591 HAS SOUPS 3543591 WITH SCORE 3547545.908
AT ITER 1810 NEW BEST:: SOT 7300952 SOS 3953361 HAS SOPS 3953361 HAS SOUS 3540700 HAS SOUPS 3540700 WITH SCORE 3544653.361
AT ITER 1814 NEW BEST:: SOT 7300952 SOS 3952415 HAS SOPS 3952415 HAS SOUS 3540700 HAS SOUPS 3540700 WITH SCORE 3544652.415
AT ITER 1817 NEW BEST:: SOT 7301845 SOS 3946995 HAS SOPS 3946995 HAS SOUS 3539363 HAS SOUPS 3539363 WITH SCORE 3543309.995
AT ITER 1828 NEW BEST:: SOT 7299572 SOS 3945944 HAS SOPS 3945944 HAS SOUS 3537728 HAS SOUPS 3537728 WITH SCORE 3541673.944
AT ITER 1838 NEW BEST:: SOT 7297233 SOS 3944416 HAS SOPS 3944416 HAS SOUS 3535756 HAS SOUPS 3535756 WITH SCORE 3539700.416
AT ITER 1839 NEW BEST:: SOT 7297233 SOS 3944393 HAS SOPS 3944393 HAS SOUS 3535756 HAS SOUPS 3535756 WITH SCORE 3539700.393
AT ITER 1840 NEW BEST:: SOT 7297233 SOS 3943846 HAS SOPS 3943846 HAS SOUS 3535756 HAS SOUPS 3535756 WITH SCORE 3539699.846
AT ITER 1854 NEW BEST:: SOT 7297314 SOS 3943828 HAS SOPS 3943828 HAS SOUS 3535751 HAS SOUPS 3535751 WITH SCORE 3539694.828
AT ITER 1862 NEW BEST:: SOT 7295066 SOS 3945022 HAS SOPS 3945022 HAS SOUS 3534411 HAS SOUPS 3534411 WITH SCORE 3538356.022
AT ITER 1869 NEW BEST:: SOT 7294887 SOS 3945906 HAS SOPS 3945906 HAS SOUS 3534232 HAS SOUPS 3534232 WITH SCORE 3538177.906
AT ITER 1870 NEW BEST:: SOT 7294841 SOS 3945906 HAS SOPS 3945906 HAS SOUS 3534186 HAS SOUPS 3534186 WITH SCORE 3538131.906
AT ITER 1877 NEW BEST:: SOT 7294841 SOS 3945868 HAS SOPS 3945868 HAS SOUS 3534186 HAS SOUPS 3534186 WITH SCORE 3538131.868
AT ITER 1878 NEW BEST:: SOT 7294841 SOS 3934680 HAS SOPS 3934680 HAS SOUS 3533790 HAS SOUPS 3533790 WITH SCORE 3537724.68
AT ITER 1886 NEW BEST:: SOT 7294841 SOS 3934595 HAS SOPS 3934595 HAS SOUS 3533790 HAS SOUPS 3533790 WITH SCORE 3537724.595
AT ITER 1891 NEW BEST:: SOT 7294576 SOS 3933810 HAS SOPS 3933810 HAS SOUS 3533110 HAS SOUPS 3533110 WITH SCORE 3537043.81
AT ITER 1895 NEW BEST:: SOT 7294576 SOS 3933634 HAS SOPS 3933634 HAS SOUS 3533110 HAS SOUPS 3533110 WITH SCORE 3537043.634
AT ITER 1898 NEW BEST:: SOT 7294576 SOS 3932862 HAS SOPS 3932862 HAS SOUS 3533110 HAS SOUPS 3533110 WITH SCORE 3537042.862
AT ITER 1900 NEW BEST:: SOT 7292278 SOS 3931299 HAS SOPS 3931299 HAS SOUS 3531038 HAS SOUPS 3531038 WITH SCORE 3534969.299
AT ITER 1901 NEW BEST:: SOT 7292518 SOS 3930776 HAS SOPS 3930776 HAS SOUS 3530702 HAS SOUPS 3530702 WITH SCORE 3534632.776
AT ITER 1902 NEW BEST:: SOT 7291829 SOS 3930538 HAS SOPS 3930538 HAS SOUS 3530505 HAS SOUPS 3530505 WITH SCORE 3534435.538
AT ITER 1903 NEW BEST:: SOT 7291829 SOS 3929514 HAS SOPS 3929514 HAS SOUS 3530505 HAS SOUPS 3530505 WITH SCORE 3534434.514
AT ITER 1904 NEW BEST:: SOT 7291819 SOS 3931152 HAS SOPS 3931152 HAS SOUS 3530495 HAS SOUPS 3530495 WITH SCORE 3534426.152
AT ITER 1905 NEW BEST:: SOT 7291819 SOS 3930309 HAS SOPS 3930309 HAS SOUS 3530495 HAS SOUPS 3530495 WITH SCORE 3534425.309
AT ITER 1907 NEW BEST:: SOT 7291819 SOS 3930236 HAS SOPS 3930236 HAS SOUS 3530495 HAS SOUPS 3530495 WITH SCORE 3534425.236
AT ITER 1910 NEW BEST:: SOT 7291819 SOS 3929156 HAS SOPS 3929156 HAS SOUS 3530495 HAS SOUPS 3530495 WITH SCORE 3534424.156
AT ITER 1918 NEW BEST:: SOT 7291407 SOS 3931368 HAS SOPS 3931368 HAS SOUS 3530083 HAS SOUPS 3530083 WITH SCORE 3534014.368
AT ITER 1920 NEW BEST:: SOT 7287930 SOS 3929560 HAS SOPS 3929560 HAS SOUS 3527718 HAS SOUPS 3527718 WITH SCORE 3531647.56
AT ITER 1922 NEW BEST:: SOT 7287930 SOS 3929446 HAS SOPS 3929446 HAS SOUS 3527718 HAS SOUPS 3527718 WITH SCORE 3531647.446
AT ITER 1928 NEW BEST:: SOT 7286813 SOS 3928363 HAS SOPS 3928363 HAS SOUS 3526731 HAS SOUPS 3526731 WITH SCORE 3530659.363
AT ITER 1931 NEW BEST:: SOT 7286813 SOS 3928193 HAS SOPS 3928193 HAS SOUS 3526691 HAS SOUPS 3526691 WITH SCORE 3530619.193
AT ITER 1936 NEW BEST:: SOT 7286813 SOS 3927196 HAS SOPS 3927196 HAS SOUS 3526691 HAS SOUPS 3526691 WITH SCORE 3530618.196
AT ITER 1938 NEW BEST:: SOT 7286813 SOS 3926690 HAS SOPS 3926690 HAS SOUS 3526688 HAS SOUPS 3526688 WITH SCORE 3530614.69
AT ITER 1962 NEW BEST:: SOT 7286813 SOS 3926260 HAS SOPS 3926260 HAS SOUS 3526688 HAS SOUPS 3526688 WITH SCORE 3530614.26
AT ITER 1965 NEW BEST:: SOT 7287476 SOS 3926526 HAS SOPS 3926526 HAS SOUS 3526675 HAS SOUPS 3526675 WITH SCORE 3530601.526
AT ITER 1972 NEW BEST:: SOT 7287117 SOS 3928032 HAS SOPS 3928032 HAS SOUS 3526316 HAS SOUPS 3526316 WITH SCORE 3530244.032
AT ITER 1975 NEW BEST:: SOT 7287117 SOS 3927906 HAS SOPS 3927906 HAS SOUS 3526316 HAS SOUPS 3526316 WITH SCORE 3530243.906
AT ITER 1979 NEW BEST:: SOT 7287117 SOS 3927047 HAS SOPS 3927047 HAS SOUS 3526316 HAS SOUPS 3526316 WITH SCORE 3530243.047
AT ITER 1982 NEW BEST:: SOT 7286964 SOS 3927889 HAS SOPS 3927889 HAS SOUS 3526163 HAS SOUPS 3526163 WITH SCORE 3530090.889
AT ITER 1986 NEW BEST:: SOT 7286964 SOS 3924715 HAS SOPS 3924715 HAS SOUS 3526163 HAS SOUPS 3526163 WITH SCORE 3530087.715
AT ITER 1989 NEW BEST:: SOT 7286964 SOS 3924021 HAS SOPS 3924021 HAS SOUS 3526163 HAS SOUPS 3526163 WITH SCORE 3530087.021
AT ITER 1992 NEW BEST:: SOT 7286964 SOS 3923283 HAS SOPS 3923283 HAS SOUS 3526163 HAS SOUPS 3526163 WITH SCORE 3530086.283
AT ITER 2002 NEW BEST:: SOT 7286964 SOS 3923197 HAS SOPS 3923197 HAS SOUS 3526129 HAS SOUPS 3526129 WITH SCORE 3530052.197
AT ITER 2003 NEW BEST:: SOT 7286964 SOS 3923170 HAS SOPS 3923170 HAS SOUS 3526129 HAS SOUPS 3526129 WITH SCORE 3530052.17
AT ITER 2005 NEW BEST:: SOT 7286433 SOS 3928473 HAS SOPS 3928473 HAS SOUS 3526042 HAS SOUPS 3526042 WITH SCORE 3529970.473
AT ITER 2010 NEW BEST:: SOT 7284818 SOS 3927754 HAS SOPS 3927754 HAS SOUS 3524861 HAS SOUPS 3524861 WITH SCORE 3528788.754
AT ITER 2025 NEW BEST:: SOT 7284058 SOS 3928439 HAS SOPS 3928439 HAS SOUS 3524176 HAS SOUPS 3524176 WITH SCORE 3528104.439
AT ITER 2027 NEW BEST:: SOT 7281211 SOS 3927222 HAS SOPS 3927222 HAS SOUS 3521672 HAS SOUPS 3521672 WITH SCORE 3525599.222
AT ITER 2030 NEW BEST:: SOT 7278386 SOS 3925495 HAS SOPS 3925495 HAS SOUS 3519674 HAS SOUPS 3519674 WITH SCORE 3523599.495
AT ITER 2037 NEW BEST:: SOT 7275745 SOS 3924814 HAS SOPS 3924814 HAS SOUS 3517841 HAS SOUPS 3517841 WITH SCORE 3521765.814
AT ITER 2038 NEW BEST:: SOT 7275745 SOS 3924580 HAS SOPS 3924580 HAS SOUS 3517841 HAS SOUPS 3517841 WITH SCORE 3521765.58
AT ITER 2040 NEW BEST:: SOT 7275745 SOS 3922666 HAS SOPS 3922666 HAS SOUS 3517841 HAS SOUPS 3517841 WITH SCORE 3521763.666
AT ITER 2055 NEW BEST:: SOT 7275745 SOS 3921220 HAS SOPS 3921220 HAS SOUS 3517669 HAS SOUPS 3517669 WITH SCORE 3521590.22
AT ITER 2057 NEW BEST:: SOT 7273158 SOS 3939101 HAS SOPS 3939101 HAS SOUS 3517323 HAS SOUPS 3517323 WITH SCORE 3521262.101
AT ITER 2058 NEW BEST:: SOT 7271779 SOS 3938119 HAS SOPS 3938119 HAS SOUS 3516060 HAS SOUPS 3516060 WITH SCORE 3519998.119
AT ITER 2059 NEW BEST:: SOT 7271312 SOS 3937652 HAS SOPS 3937652 HAS SOUS 3515593 HAS SOUPS 3515593 WITH SCORE 3519530.652
AT ITER 2064 NEW BEST:: SOT 7269951 SOS 3943455 HAS SOPS 3943455 HAS SOUS 3514601 HAS SOUPS 3514601 WITH SCORE 3518544.455
AT ITER 2065 NEW BEST:: SOT 7268220 SOS 3944468 HAS SOPS 3944468 HAS SOUS 3513749 HAS SOUPS 3513749 WITH SCORE 3517693.468
AT ITER 2066 NEW BEST:: SOT 7265704 SOS 3942750 HAS SOPS 3942750 HAS SOUS 3511632 HAS SOUPS 3511632 WITH SCORE 3515574.75
AT ITER 2069 NEW BEST:: SOT 7265704 SOS 3942549 HAS SOPS 3942549 HAS SOUS 3511632 HAS SOUPS 3511632 WITH SCORE 3515574.549
AT ITER 2071 NEW BEST:: SOT 7265704 SOS 3942332 HAS SOPS 3942332 HAS SOUS 3511632 HAS SOUPS 3511632 WITH SCORE 3515574.332
AT ITER 2089 NEW BEST:: SOT 7266138 SOS 3941927 HAS SOPS 3941927 HAS SOUS 3511440 HAS SOUPS 3511440 WITH SCORE 3515381.927
AT ITER 2092 NEW BEST:: SOT 7263331 SOS 3939408 HAS SOPS 3939408 HAS SOUS 3509162 HAS SOUPS 3509162 WITH SCORE 3513101.408
AT ITER 2107 NEW BEST:: SOT 7263331 SOS 3939408 HAS SOPS 3939408 HAS SOUS 3508966 HAS SOUPS 3508966 WITH SCORE 3512905.408
AT ITER 2111 NEW BEST:: SOT 7263292 SOS 3938633 HAS SOPS 3938633 HAS SOUS 3508416 HAS SOUPS 3508416 WITH SCORE 3512354.633
AT ITER 2112 NEW BEST:: SOT 7263394 SOS 3938202 HAS SOPS 3938202 HAS SOUS 3508355 HAS SOUPS 3508355 WITH SCORE 3512293.202
AT ITER 2113 NEW BEST:: SOT 7263394 SOS 3938060 HAS SOPS 3938060 HAS SOUS 3508355 HAS SOUPS 3508355 WITH SCORE 3512293.06
AT ITER 2120 NEW BEST:: SOT 7262867 SOS 3937304 HAS SOPS 3937304 HAS SOUS 3507529 HAS SOUPS 3507529 WITH SCORE 3511466.304
AT ITER 2123 NEW BEST:: SOT 7259965 SOS 3939537 HAS SOPS 3939537 HAS SOUS 3507144 HAS SOUPS 3507144 WITH SCORE 3511083.537
AT ITER 2124 NEW BEST:: SOT 7259957 SOS 3939529 HAS SOPS 3939529 HAS SOUS 3507050 HAS SOUPS 3507050 WITH SCORE 3510989.529
AT ITER 2126 NEW BEST:: SOT 7258909 SOS 3938481 HAS SOPS 3938481 HAS SOUS 3506212 HAS SOUPS 3506212 WITH SCORE 3510150.481
AT ITER 2131 NEW BEST:: SOT 7258876 SOS 3938654 HAS SOPS 3938654 HAS SOUS 3506097 HAS SOUPS 3506097 WITH SCORE 3510035.654
AT ITER 2133 NEW BEST:: SOT 7258876 SOS 3936533 HAS SOPS 3936533 HAS SOUS 3506097 HAS SOUPS 3506097 WITH SCORE 3510033.533
AT ITER 2139 NEW BEST:: SOT 7258876 SOS 3936497 HAS SOPS 3936497 HAS SOUS 3506097 HAS SOUPS 3506097 WITH SCORE 3510033.497
AT ITER 2140 NEW BEST:: SOT 7256538 SOS 3942743 HAS SOPS 3942743 HAS SOUS 3505628 HAS SOUPS 3505628 WITH SCORE 3509570.743
AT ITER 2142 NEW BEST:: SOT 7256538 SOS 3942561 HAS SOPS 3942561 HAS SOUS 3505628 HAS SOUPS 3505628 WITH SCORE 3509570.561
AT ITER 2146 NEW BEST:: SOT 7256538 SOS 3941920 HAS SOPS 3941920 HAS SOUS 3505097 HAS SOUPS 3505097 WITH SCORE 3509038.92
AT ITER 2147 NEW BEST:: SOT 7255763 SOS 3941341 HAS SOPS 3941341 HAS SOUS 3504763 HAS SOUPS 3504763 WITH SCORE 3508704.341
AT ITER 2149 NEW BEST:: SOT 7256138 SOS 3941257 HAS SOPS 3941257 HAS SOUS 3504471 HAS SOUPS 3504471 WITH SCORE 3508412.257
AT ITER 2153 NEW BEST:: SOT 7256083 SOS 3941451 HAS SOPS 3941451 HAS SOUS 3504416 HAS SOUPS 3504416 WITH SCORE 3508357.451
AT ITER 2158 NEW BEST:: SOT 7254723 SOS 3940132 HAS SOPS 3940132 HAS SOUS 3503313 HAS SOUPS 3503313 WITH SCORE 3507253.132
AT ITER 2168 NEW BEST:: SOT 7254921 SOS 3940528 HAS SOPS 3940528 HAS SOUS 3503159 HAS SOUPS 3503159 WITH SCORE 3507099.528
AT ITER 2171 NEW BEST:: SOT 7254921 SOS 3939886 HAS SOPS 3939886 HAS SOUS 3503159 HAS SOUPS 3503159 WITH SCORE 3507098.886
AT ITER 2172 NEW BEST:: SOT 7254591 SOS 3930462 HAS SOPS 3930462 HAS SOUS 3502318 HAS SOUPS 3502318 WITH SCORE 3506248.462
AT ITER 2179 NEW BEST:: SOT 7254591 SOS 3930130 HAS SOPS 3930130 HAS SOUS 3502318 HAS SOUPS 3502318 WITH SCORE 3506248.13
AT ITER 2187 NEW BEST:: SOT 7254501 SOS 3930348 HAS SOPS 3930348 HAS SOUS 3501886 HAS SOUPS 3501886 WITH SCORE 3505816.348
AT ITER 2188 NEW BEST:: SOT 7254501 SOS 3930167 HAS SOPS 3930167 HAS SOUS 3501886 HAS SOUPS 3501886 WITH SCORE 3505816.167
AT ITER 2193 NEW BEST:: SOT 7252855 SOS 3929773 HAS SOPS 3929773 HAS SOUS 3500783 HAS SOUPS 3500783 WITH SCORE 3504712.773
AT ITER 2198 NEW BEST:: SOT 7252855 SOS 3929333 HAS SOPS 3929333 HAS SOUS 3500783 HAS SOUPS 3500783 WITH SCORE 3504712.333
AT ITER 2220 NEW BEST:: SOT 7249671 SOS 3933960 HAS SOPS 3933960 HAS SOUS 3500735 HAS SOUPS 3500735 WITH SCORE 3504668.96
AT ITER 2226 NEW BEST:: SOT 7249671 SOS 3933615 HAS SOPS 3933615 HAS SOUS 3500735 HAS SOUPS 3500735 WITH SCORE 3504668.615
AT ITER 2228 NEW BEST:: SOT 7249587 SOS 3932793 HAS SOPS 3932793 HAS SOUS 3500638 HAS SOUPS 3500638 WITH SCORE 3504570.793
AT ITER 2237 NEW BEST:: SOT 7249587 SOS 3932724 HAS SOPS 3932724 HAS SOUS 3500638 HAS SOUPS 3500638 WITH SCORE 3504570.724
AT ITER 2240 NEW BEST:: SOT 7249358 SOS 3932495 HAS SOPS 3932495 HAS SOUS 3500322 HAS SOUPS 3500322 WITH SCORE 3504254.495
AT ITER 2247 NEW BEST:: SOT 7249358 SOS 3932383 HAS SOPS 3932383 HAS SOUS 3500322 HAS SOUPS 3500322 WITH SCORE 3504254.383
AT ITER 2248 NEW BEST:: SOT 7249107 SOS 3932132 HAS SOPS 3932132 HAS SOUS 3500071 HAS SOUPS 3500071 WITH SCORE 3504003.132
AT ITER 2257 NEW BEST:: SOT 7247646 SOS 3933114 HAS SOPS 3933114 HAS SOUS 3499563 HAS SOUPS 3499563 WITH SCORE 3503496.114
AT ITER 2260 NEW BEST:: SOT 7245666 SOS 3932579 HAS SOPS 3932579 HAS SOUS 3498513 HAS SOUPS 3498513 WITH SCORE 3502445.579
AT ITER 2262 NEW BEST:: SOT 7244117 SOS 3931987 HAS SOPS 3931987 HAS SOUS 3498013 HAS SOUPS 3498013 WITH SCORE 3501944.987
AT ITER 2266 NEW BEST:: SOT 7244117 SOS 3931649 HAS SOPS 3931649 HAS SOUS 3498013 HAS SOUPS 3498013 WITH SCORE 3501944.649
AT ITER 2269 NEW BEST:: SOT 7244117 SOS 3931566 HAS SOPS 3931566 HAS SOUS 3498013 HAS SOUPS 3498013 WITH SCORE 3501944.566
AT ITER 2275 NEW BEST:: SOT 7244262 SOS 3931054 HAS SOPS 3931054 HAS SOUS 3497295 HAS SOUPS 3497295 WITH SCORE 3501226.054
AT ITER 2281 NEW BEST:: SOT 7243469 SOS 3933192 HAS SOPS 3933192 HAS SOUS 3496714 HAS SOUPS 3496714 WITH SCORE 3500647.192
AT ITER 2300 NEW BEST:: SOT 7243711 SOS 3933200 HAS SOPS 3933200 HAS SOUS 3496618 HAS SOUPS 3496618 WITH SCORE 3500551.2
AT ITER 2307 NEW BEST:: SOT 7243711 SOS 3932899 HAS SOPS 3932899 HAS SOUS 3496618 HAS SOUPS 3496618 WITH SCORE 3500550.899
AT ITER 2311 NEW BEST:: SOT 7243711 SOS 3932826 HAS SOPS 3932826 HAS SOUS 3496542 HAS SOUPS 3496542 WITH SCORE 3500474.826
AT ITER 2315 NEW BEST:: SOT 7243711 SOS 3931976 HAS SOPS 3931976 HAS SOUS 3496542 HAS SOUPS 3496542 WITH SCORE 3500473.976
AT ITER 2330 NEW BEST:: SOT 7243571 SOS 3931711 HAS SOPS 3931711 HAS SOUS 3496375 HAS SOUPS 3496375 WITH SCORE 3500306.711
AT ITER 2333 NEW BEST:: SOT 7243559 SOS 3931168 HAS SOPS 3931168 HAS SOUS 3496223 HAS SOUPS 3496223 WITH SCORE 3500154.168
AT ITER 2341 NEW BEST:: SOT 7243559 SOS 3930515 HAS SOPS 3930515 HAS SOUS 3496222 HAS SOUPS 3496222 WITH SCORE 3500152.515
AT ITER 2350 NEW BEST:: SOT 7240137 SOS 3939708 HAS SOPS 3939708 HAS SOUS 3495202 HAS SOUPS 3495202 WITH SCORE 3499141.708
AT ITER 2352 NEW BEST:: SOT 7240137 SOS 3940019 HAS SOPS 3940019 HAS SOUS 3495129 HAS SOUPS 3495129 WITH SCORE 3499069.019
AT ITER 2353 NEW BEST:: SOT 7237525 SOS 3938671 HAS SOPS 3938671 HAS SOUS 3492795 HAS SOUPS 3492795 WITH SCORE 3496733.671
AT ITER 2359 NEW BEST:: SOT 7237525 SOS 3938579 HAS SOPS 3938579 HAS SOUS 3492795 HAS SOUPS 3492795 WITH SCORE 3496733.579
AT ITER 2361 NEW BEST:: SOT 7234808 SOS 3936851 HAS SOPS 3936851 HAS SOUS 3491341 HAS SOUPS 3491341 WITH SCORE 3495277.851
AT ITER 2372 NEW BEST:: SOT 7234953 SOS 3936996 HAS SOPS 3936996 HAS SOUS 3490940 HAS SOUPS 3490940 WITH SCORE 3494876.996
AT ITER 2388 NEW BEST:: SOT 7234953 SOS 3936837 HAS SOPS 3936837 HAS SOUS 3490940 HAS SOUPS 3490940 WITH SCORE 3494876.837
AT ITER 2389 NEW BEST:: SOT 7232079 SOS 3935083 HAS SOPS 3935083 HAS SOUS 3488066 HAS SOUPS 3488066 WITH SCORE 3492001.083
AT ITER 2397 NEW BEST:: SOT 7231383 SOS 3934244 HAS SOPS 3934244 HAS SOUS 3487364 HAS SOUPS 3487364 WITH SCORE 3491298.244
AT ITER 2402 NEW BEST:: SOT 7231259 SOS 3934120 HAS SOPS 3934120 HAS SOUS 3487069 HAS SOUPS 3487069 WITH SCORE 3491003.12
AT ITER 2405 NEW BEST:: SOT 7230057 SOS 3932321 HAS SOPS 3932321 HAS SOUS 3485060 HAS SOUPS 3485060 WITH SCORE 3488992.321
AT ITER 2408 NEW BEST:: SOT 7229905 SOS 3932169 HAS SOPS 3932169 HAS SOUS 3484871 HAS SOUPS 3484871 WITH SCORE 3488803.169
AT ITER 2409 NEW BEST:: SOT 7227379 SOS 3931245 HAS SOPS 3931245 HAS SOUS 3483214 HAS SOUPS 3483214 WITH SCORE 3487145.245
AT ITER 2413 NEW BEST:: SOT 7227208 SOS 3931575 HAS SOPS 3931575 HAS SOUS 3483043 HAS SOUPS 3483043 WITH SCORE 3486974.575
AT ITER 2417 NEW BEST:: SOT 7227208 SOS 3931152 HAS SOPS 3931152 HAS SOUS 3483043 HAS SOUPS 3483043 WITH SCORE 3486974.152
AT ITER 2420 NEW BEST:: SOT 7227208 SOS 3930717 HAS SOPS 3930717 HAS SOUS 3483043 HAS SOUPS 3483043 WITH SCORE 3486973.717
AT ITER 2425 NEW BEST:: SOT 7227208 SOS 3930366 HAS SOPS 3930366 HAS SOUS 3483043 HAS SOUPS 3483043 WITH SCORE 3486973.366
AT ITER 2432 NEW BEST:: SOT 7227208 SOS 3930229 HAS SOPS 3930229 HAS SOUS 3483043 HAS SOUPS 3483043 WITH SCORE 3486973.229
AT ITER 2438 NEW BEST:: SOT 7227034 SOS 3929226 HAS SOPS 3929226 HAS SOUS 3482631 HAS SOUPS 3482631 WITH SCORE 3486560.226
AT ITER 2439 NEW BEST:: SOT 7227034 SOS 3928866 HAS SOPS 3928866 HAS SOUS 3482631 HAS SOUPS 3482631 WITH SCORE 3486559.866
AT ITER 2442 NEW BEST:: SOT 7227034 SOS 3928821 HAS SOPS 3928821 HAS SOUS 3482631 HAS SOUPS 3482631 WITH SCORE 3486559.821
AT ITER 2444 NEW BEST:: SOT 7227034 SOS 3928542 HAS SOPS 3928542 HAS SOUS 3482297 HAS SOUPS 3482297 WITH SCORE 3486225.542
AT ITER 2445 NEW BEST:: SOT 7226899 SOS 3931755 HAS SOPS 3931755 HAS SOUS 3482183 HAS SOUPS 3482183 WITH SCORE 3486114.755
AT ITER 2454 NEW BEST:: SOT 7227071 SOS 3931264 HAS SOPS 3931264 HAS SOUS 3482061 HAS SOUPS 3482061 WITH SCORE 3485992.264
AT ITER 2464 NEW BEST:: SOT 7227071 SOS 3929958 HAS SOPS 3929958 HAS SOUS 3482061 HAS SOUPS 3482061 WITH SCORE 3485990.958
AT ITER 2473 NEW BEST:: SOT 7225579 SOS 3928729 HAS SOPS 3928729 HAS SOUS 3480603 HAS SOUPS 3480603 WITH SCORE 3484531.729
AT ITER 2480 NEW BEST:: SOT 7225579 SOS 3928146 HAS SOPS 3928146 HAS SOUS 3480603 HAS SOUPS 3480603 WITH SCORE 3484531.146
AT ITER 2489 NEW BEST:: SOT 7225579 SOS 3927802 HAS SOPS 3927802 HAS SOUS 3480603 HAS SOUPS 3480603 WITH SCORE 3484530.802
AT ITER 2490 NEW BEST:: SOT 7225579 SOS 3927796 HAS SOPS 3927796 HAS SOUS 3480603 HAS SOUPS 3480603 WITH SCORE 3484530.796
AT ITER 2492 NEW BEST:: SOT 7225579 SOS 3927460 HAS SOPS 3927460 HAS SOUS 3480603 HAS SOUPS 3480603 WITH SCORE 3484530.46
AT ITER 2497 NEW BEST:: SOT 7225001 SOS 3926882 HAS SOPS 3926882 HAS SOUS 3479925 HAS SOUPS 3479925 WITH SCORE 3483851.882
AT ITER 2498 NEW BEST:: SOT 7222798 SOS 3923728 HAS SOPS 3923728 HAS SOUS 3476771 HAS SOUPS 3476771 WITH SCORE 3480694.728
AT ITER 2499 NEW BEST:: SOT 7222798 SOS 3923455 HAS SOPS 3923455 HAS SOUS 3476771 HAS SOUPS 3476771 WITH SCORE 3480694.455
AT ITER 2505 NEW BEST:: SOT 7222798 SOS 3923249 HAS SOPS 3923249 HAS SOUS 3476771 HAS SOUPS 3476771 WITH SCORE 3480694.249
AT ITER 2508 NEW BEST:: SOT 7222798 SOS 3922758 HAS SOPS 3922758 HAS SOUS 3476771 HAS SOUPS 3476771 WITH SCORE 3480693.758
AT ITER 2509 NEW BEST:: SOT 7222798 SOS 3922524 HAS SOPS 3922524 HAS SOUS 3476771 HAS SOUPS 3476771 WITH SCORE 3480693.524
AT ITER 2518 NEW BEST:: SOT 7222798 SOS 3921660 HAS SOPS 3921660 HAS SOUS 3476771 HAS SOUPS 3476771 WITH SCORE 3480692.66
AT ITER 2519 NEW BEST:: SOT 7219431 SOS 3932016 HAS SOPS 3932016 HAS SOUS 3474758 HAS SOUPS 3474758 WITH SCORE 3478690.016
AT ITER 2524 NEW BEST:: SOT 7219332 SOS 3932115 HAS SOPS 3932115 HAS SOUS 3474659 HAS SOUPS 3474659 WITH SCORE 3478591.115
AT ITER 2531 NEW BEST:: SOT 7219332 SOS 3931371 HAS SOPS 3931371 HAS SOUS 3474456 HAS SOUPS 3474456 WITH SCORE 3478387.371
AT ITER 2534 NEW BEST:: SOT 7219270 SOS 3931371 HAS SOPS 3931371 HAS SOUS 3474425 HAS SOUPS 3474425 WITH SCORE 3478356.371
AT ITER 2546 NEW BEST:: SOT 7219270 SOS 3930941 HAS SOPS 3930941 HAS SOUS 3474425 HAS SOUPS 3474425 WITH SCORE 3478355.941
AT ITER 2554 NEW BEST:: SOT 7219270 SOS 3930916 HAS SOPS 3930916 HAS SOUS 3474425 HAS SOUPS 3474425 WITH SCORE 3478355.916
AT ITER 2555 NEW BEST:: SOT 7219114 SOS 3930796 HAS SOPS 3930796 HAS SOUS 3474305 HAS SOUPS 3474305 WITH SCORE 3478235.796
AT ITER 2562 NEW BEST:: SOT 7219114 SOS 3930314 HAS SOPS 3930314 HAS SOUS 3474112 HAS SOUPS 3474112 WITH SCORE 3478042.314
AT ITER 2570 NEW BEST:: SOT 7219114 SOS 3930257 HAS SOPS 3930257 HAS SOUS 3474112 HAS SOUPS 3474112 WITH SCORE 3478042.257
AT ITER 2573 NEW BEST:: SOT 7219114 SOS 3929521 HAS SOPS 3929521 HAS SOUS 3473496 HAS SOUPS 3473496 WITH SCORE 3477425.521
AT ITER 2574 NEW BEST:: SOT 7219114 SOS 3929034 HAS SOPS 3929034 HAS SOUS 3473460 HAS SOUPS 3473460 WITH SCORE 3477389.034
AT ITER 2576 NEW BEST:: SOT 7219114 SOS 3928969 HAS SOPS 3928969 HAS SOUS 3473460 HAS SOUPS 3473460 WITH SCORE 3477388.969
AT ITER 2577 NEW BEST:: SOT 7219114 SOS 3928969 HAS SOPS 3928969 HAS SOUS 3473347 HAS SOUPS 3473347 WITH SCORE 3477275.969
AT ITER 2581 NEW BEST:: SOT 7213897 SOS 3939790 HAS SOPS 3939790 HAS SOUS 3469848 HAS SOUPS 3469848 WITH SCORE 3473787.79
AT ITER 2597 NEW BEST:: SOT 7212967 SOS 3939469 HAS SOPS 3939469 HAS SOUS 3469646 HAS SOUPS 3469646 WITH SCORE 3473585.469
AT ITER 2598 NEW BEST:: SOT 7210108 SOS 3939922 HAS SOPS 3939922 HAS SOUS 3467769 HAS SOUPS 3467769 WITH SCORE 3471708.922
AT ITER 2607 NEW BEST:: SOT 7209222 SOS 3939255 HAS SOPS 3939255 HAS SOUS 3467102 HAS SOUPS 3467102 WITH SCORE 3471041.255
AT ITER 2615 NEW BEST:: SOT 7209222 SOS 3938828 HAS SOPS 3938828 HAS SOUS 3467102 HAS SOUPS 3467102 WITH SCORE 3471040.828
AT ITER 2616 NEW BEST:: SOT 7208858 SOS 3938729 HAS SOPS 3938729 HAS SOUS 3467003 HAS SOUPS 3467003 WITH SCORE 3470941.729
AT ITER 2621 NEW BEST:: SOT 7208702 SOS 3938105 HAS SOPS 3938105 HAS SOUS 3466129 HAS SOUPS 3466129 WITH SCORE 3470067.105
AT ITER 2631 NEW BEST:: SOT 7207417 SOS 3947350 HAS SOPS 3947350 HAS SOUS 3465093 HAS SOUPS 3465093 WITH SCORE 3469040.35
AT ITER 2635 NEW BEST:: SOT 7207417 SOS 3946876 HAS SOPS 3946876 HAS SOUS 3465093 HAS SOUPS 3465093 WITH SCORE 3469039.876
AT ITER 2636 NEW BEST:: SOT 7207417 SOS 3946521 HAS SOPS 3946521 HAS SOUS 3464738 HAS SOUPS 3464738 WITH SCORE 3468684.521
AT ITER 2639 NEW BEST:: SOT 7205126 SOS 3945575 HAS SOPS 3945575 HAS SOUS 3462971 HAS SOUPS 3462971 WITH SCORE 3466916.575
AT ITER 2656 NEW BEST:: SOT 7203679 SOS 3944424 HAS SOPS 3944424 HAS SOUS 3461895 HAS SOUPS 3461895 WITH SCORE 3465839.424
AT ITER 2658 NEW BEST:: SOT 7203088 SOS 3943629 HAS SOPS 3943629 HAS SOUS 3461422 HAS SOUPS 3461422 WITH SCORE 3465365.629
AT ITER 2661 NEW BEST:: SOT 7203190 SOS 3942685 HAS SOPS 3942685 HAS SOUS 3461315 HAS SOUPS 3461315 WITH SCORE 3465257.685
AT ITER 2666 NEW BEST:: SOT 7203190 SOS 3942278 HAS SOPS 3942278 HAS SOUS 3461315 HAS SOUPS 3461315 WITH SCORE 3465257.278
AT ITER 2670 NEW BEST:: SOT 7202702 SOS 3941790 HAS SOPS 3941790 HAS SOUS 3460827 HAS SOUPS 3460827 WITH SCORE 3464768.79
AT ITER 2676 NEW BEST:: SOT 7198910 SOS 3944603 HAS SOPS 3944603 HAS SOUS 3458361 HAS SOUPS 3458361 WITH SCORE 3462305.603
AT ITER 2677 NEW BEST:: SOT 7198826 SOS 3944687 HAS SOPS 3944687 HAS SOUS 3458277 HAS SOUPS 3458277 WITH SCORE 3462221.687
AT ITER 2681 NEW BEST:: SOT 7195266 SOS 3947217 HAS SOPS 3947217 HAS SOUS 3457883 HAS SOUPS 3457883 WITH SCORE 3461830.217
AT ITER 2686 NEW BEST:: SOT 7192980 SOS 3946643 HAS SOPS 3946643 HAS SOUS 3456724 HAS SOUPS 3456724 WITH SCORE 3460670.643
AT ITER 2692 NEW BEST:: SOT 7193069 SOS 3927211 HAS SOPS 3927211 HAS SOUS 3456553 HAS SOUPS 3456553 WITH SCORE 3460480.211
AT ITER 2694 NEW BEST:: SOT 7193130 SOS 3925758 HAS SOPS 3925758 HAS SOUS 3456471 HAS SOUPS 3456471 WITH SCORE 3460396.758
AT ITER 2705 NEW BEST:: SOT 7192642 SOS 3925493 HAS SOPS 3925493 HAS SOUS 3456227 HAS SOUPS 3456227 WITH SCORE 3460152.493
AT ITER 2708 NEW BEST:: SOT 7191225 SOS 3925267 HAS SOPS 3925267 HAS SOUS 3455827 HAS SOUPS 3455827 WITH SCORE 3459752.267
AT ITER 2710 NEW BEST:: SOT 7191561 SOS 3925228 HAS SOPS 3925228 HAS SOUS 3455769 HAS SOUPS 3455769 WITH SCORE 3459694.228
AT ITER 2712 NEW BEST:: SOT 7191561 SOS 3916876 HAS SOPS 3916876 HAS SOUS 3455769 HAS SOUPS 3455769 WITH SCORE 3459685.876
AT ITER 2718 NEW BEST:: SOT 7191376 SOS 3916532 HAS SOPS 3916532 HAS SOUS 3455318 HAS SOUPS 3455318 WITH SCORE 3459234.532
AT ITER 2723 NEW BEST:: SOT 7191376 SOS 3916124 HAS SOPS 3916124 HAS SOUS 3455318 HAS SOUPS 3455318 WITH SCORE 3459234.124
AT ITER 2724 NEW BEST:: SOT 7191376 SOS 3915913 HAS SOPS 3915913 HAS SOUS 3455318 HAS SOUPS 3455318 WITH SCORE 3459233.913
AT ITER 2725 NEW BEST:: SOT 7190688 SOS 3914780 HAS SOPS 3914780 HAS SOUS 3453936 HAS SOUPS 3453936 WITH SCORE 3457850.78
AT ITER 2743 NEW BEST:: SOT 7190744 SOS 3914615 HAS SOPS 3914615 HAS SOUS 3453654 HAS SOUPS 3453654 WITH SCORE 3457568.615
AT ITER 2749 NEW BEST:: SOT 7190744 SOS 3914141 HAS SOPS 3914141 HAS SOUS 3453654 HAS SOUPS 3453654 WITH SCORE 3457568.141
AT ITER 2750 NEW BEST:: SOT 7190744 SOS 3914117 HAS SOPS 3914117 HAS SOUS 3453654 HAS SOUPS 3453654 WITH SCORE 3457568.117
AT ITER 2759 NEW BEST:: SOT 7189502 SOS 3914847 HAS SOPS 3914847 HAS SOUS 3453480 HAS SOUPS 3453480 WITH SCORE 3457394.847
AT ITER 2766 NEW BEST:: SOT 7189364 SOS 3915165 HAS SOPS 3915165 HAS SOUS 3453311 HAS SOUPS 3453311 WITH SCORE 3457226.165
AT ITER 2772 NEW BEST:: SOT 7189230 SOS 3915139 HAS SOPS 3915139 HAS SOUS 3453262 HAS SOUPS 3453262 WITH SCORE 3457177.139
AT ITER 2773 NEW BEST:: SOT 7189161 SOS 3914199 HAS SOPS 3914199 HAS SOUS 3452537 HAS SOUPS 3452537 WITH SCORE 3456451.199
AT ITER 2779 NEW BEST:: SOT 7187084 SOS 3912457 HAS SOPS 3912457 HAS SOUS 3451286 HAS SOUPS 3451286 WITH SCORE 3455198.457
AT ITER 2786 NEW BEST:: SOT 7185202 SOS 3911099 HAS SOPS 3911099 HAS SOUS 3449747 HAS SOUPS 3449747 WITH SCORE 3453658.099
AT ITER 2791 NEW BEST:: SOT 7185338 SOS 3911284 HAS SOPS 3911284 HAS SOUS 3449740 HAS SOUPS 3449740 WITH SCORE 3453651.284
AT ITER 2794 NEW BEST:: SOT 7185338 SOS 3910276 HAS SOPS 3910276 HAS SOUS 3448921 HAS SOUPS 3448921 WITH SCORE 3452831.276
AT ITER 2798 NEW BEST:: SOT 7185338 SOS 3910879 HAS SOPS 3910879 HAS SOUS 3448858 HAS SOUPS 3448858 WITH SCORE 3452768.879
AT ITER 2800 NEW BEST:: SOT 7183775 SOS 3914154 HAS SOPS 3914154 HAS SOUS 3448382 HAS SOUPS 3448382 WITH SCORE 3452296.154
AT ITER 2802 NEW BEST:: SOT 7183775 SOS 3914127 HAS SOPS 3914127 HAS SOUS 3448382 HAS SOUPS 3448382 WITH SCORE 3452296.127
AT ITER 2811 NEW BEST:: SOT 7181502 SOS 3910482 HAS SOPS 3910482 HAS SOUS 3446326 HAS SOUPS 3446326 WITH SCORE 3450236.482
AT ITER 2812 NEW BEST:: SOT 7181866 SOS 3910480 HAS SOPS 3910480 HAS SOUS 3446315 HAS SOUPS 3446315 WITH SCORE 3450225.48
AT ITER 2815 NEW BEST:: SOT 7182074 SOS 3906941 HAS SOPS 3906941 HAS SOUS 3446301 HAS SOUPS 3446301 WITH SCORE 3450207.941
AT ITER 2817 NEW BEST:: SOT 7182074 SOS 3906904 HAS SOPS 3906904 HAS SOUS 3445720 HAS SOUPS 3445720 WITH SCORE 3449626.904
AT ITER 2818 NEW BEST:: SOT 7181505 SOS 3907059 HAS SOPS 3907059 HAS SOUS 3445191 HAS SOUPS 3445191 WITH SCORE 3449098.059
AT ITER 2821 NEW BEST:: SOT 7181468 SOS 3906684 HAS SOPS 3906684 HAS SOUS 3444972 HAS SOUPS 3444972 WITH SCORE 3448878.684
AT ITER 2833 NEW BEST:: SOT 7180311 SOS 3906518 HAS SOPS 3906518 HAS SOUS 3444418 HAS SOUPS 3444418 WITH SCORE 3448324.518
AT ITER 2834 NEW BEST:: SOT 7180055 SOS 3905987 HAS SOPS 3905987 HAS SOUS 3444332 HAS SOUPS 3444332 WITH SCORE 3448237.987
AT ITER 2835 NEW BEST:: SOT 7180055 SOS 3897702 HAS SOPS 3897702 HAS SOUS 3443980 HAS SOUPS 3443980 WITH SCORE 3447877.702
AT ITER 2845 NEW BEST:: SOT 7180055 SOS 3897673 HAS SOPS 3897673 HAS SOUS 3443980 HAS SOUPS 3443980 WITH SCORE 3447877.673
AT ITER 2846 NEW BEST:: SOT 7180055 SOS 3897903 HAS SOPS 3897903 HAS SOUS 3443657 HAS SOUPS 3443657 WITH SCORE 3447554.903
AT ITER 2848 NEW BEST:: SOT 7180801 SOS 3888206 HAS SOPS 3888206 HAS SOUS 3442765 HAS SOUPS 3442765 WITH SCORE 3446653.206
AT ITER 2850 NEW BEST:: SOT 7180710 SOS 3888789 HAS SOPS 3888789 HAS SOUS 3442738 HAS SOUPS 3442738 WITH SCORE 3446626.789
AT ITER 2851 NEW BEST:: SOT 7181026 SOS 3888726 HAS SOPS 3888726 HAS SOUS 3442506 HAS SOUPS 3442506 WITH SCORE 3446394.726
AT ITER 2853 NEW BEST:: SOT 7181026 SOS 3888543 HAS SOPS 3888543 HAS SOUS 3442474 HAS SOUPS 3442474 WITH SCORE 3446362.543
AT ITER 2881 NEW BEST:: SOT 7180729 SOS 3889093 HAS SOPS 3889093 HAS SOUS 3442376 HAS SOUPS 3442376 WITH SCORE 3446265.093
AT ITER 2885 NEW BEST:: SOT 7179046 SOS 3887410 HAS SOPS 3887410 HAS SOUS 3440993 HAS SOUPS 3440993 WITH SCORE 3444880.41
AT ITER 2889 NEW BEST:: SOT 7178422 SOS 3898980 HAS SOPS 3898980 HAS SOUS 3440966 HAS SOUPS 3440966 WITH SCORE 3444864.98
AT ITER 2894 NEW BEST:: SOT 7178478 SOS 3899257 HAS SOPS 3899257 HAS SOUS 3440885 HAS SOUPS 3440885 WITH SCORE 3444784.257
AT ITER 2895 NEW BEST:: SOT 7175711 SOS 3900175 HAS SOPS 3900175 HAS SOUS 3440297 HAS SOUPS 3440297 WITH SCORE 3444197.175
AT ITER 2898 NEW BEST:: SOT 7172616 SOS 3913559 HAS SOPS 3913559 HAS SOUS 3438493 HAS SOUPS 3438493 WITH SCORE 3442406.559
AT ITER 2903 NEW BEST:: SOT 7172616 SOS 3913322 HAS SOPS 3913322 HAS SOUS 3438493 HAS SOUPS 3438493 WITH SCORE 3442406.322
AT ITER 2904 NEW BEST:: SOT 7172616 SOS 3912689 HAS SOPS 3912689 HAS SOUS 3438493 HAS SOUPS 3438493 WITH SCORE 3442405.689
AT ITER 2912 NEW BEST:: SOT 7168570 SOS 3909544 HAS SOPS 3909544 HAS SOUS 3434881 HAS SOUPS 3434881 WITH SCORE 3438790.544
AT ITER 2915 NEW BEST:: SOT 7168570 SOS 3909472 HAS SOPS 3909472 HAS SOUS 3434881 HAS SOUPS 3434881 WITH SCORE 3438790.472
AT ITER 2929 NEW BEST:: SOT 7168570 SOS 3908176 HAS SOPS 3908176 HAS SOUS 3434505 HAS SOUPS 3434505 WITH SCORE 3438413.176
AT ITER 2930 NEW BEST:: SOT 7168440 SOS 3907817 HAS SOPS 3907817 HAS SOUS 3434385 HAS SOUPS 3434385 WITH SCORE 3438292.817
AT ITER 2934 NEW BEST:: SOT 7168506 SOS 3907883 HAS SOPS 3907883 HAS SOUS 3434320 HAS SOUPS 3434320 WITH SCORE 3438227.883
AT ITER 2937 NEW BEST:: SOT 7168506 SOS 3907883 HAS SOPS 3907883 HAS SOUS 3434272 HAS SOUPS 3434272 WITH SCORE 3438179.883
AT ITER 2939 NEW BEST:: SOT 7167807 SOS 3909169 HAS SOPS 3909169 HAS SOUS 3433912 HAS SOUPS 3433912 WITH SCORE 3437821.169
AT ITER 2947 NEW BEST:: SOT 7167807 SOS 3908966 HAS SOPS 3908966 HAS SOUS 3433912 HAS SOUPS 3433912 WITH SCORE 3437820.966
AT ITER 2951 NEW BEST:: SOT 7167807 SOS 3910227 HAS SOPS 3910227 HAS SOUS 3433885 HAS SOUPS 3433885 WITH SCORE 3437795.227
AT ITER 2952 NEW BEST:: SOT 7167328 SOS 3909677 HAS SOPS 3909677 HAS SOUS 3433406 HAS SOUPS 3433406 WITH SCORE 3437315.677
AT ITER 2957 NEW BEST:: SOT 7167493 SOS 3909257 HAS SOPS 3909257 HAS SOUS 3433062 HAS SOUPS 3433062 WITH SCORE 3436971.257
AT ITER 2962 NEW BEST:: SOT 7167493 SOS 3908870 HAS SOPS 3908870 HAS SOUS 3433062 HAS SOUPS 3433062 WITH SCORE 3436970.87
AT ITER 2963 NEW BEST:: SOT 7167493 SOS 3908439 HAS SOPS 3908439 HAS SOUS 3433007 HAS SOUPS 3433007 WITH SCORE 3436915.439
AT ITER 2970 NEW BEST:: SOT 7167945 SOS 3908683 HAS SOPS 3908683 HAS SOUS 3432266 HAS SOUPS 3432266 WITH SCORE 3436174.683
AT ITER 2974 NEW BEST:: SOT 7165657 SOS 3907568 HAS SOPS 3907568 HAS SOUS 3430787 HAS SOUPS 3430787 WITH SCORE 3434694.568
AT ITER 2975 NEW BEST:: SOT 7165772 SOS 3907683 HAS SOPS 3907683 HAS SOUS 3430434 HAS SOUPS 3430434 WITH SCORE 3434341.683
AT ITER 2978 NEW BEST:: SOT 7165562 SOS 3907315 HAS SOPS 3907315 HAS SOUS 3429919 HAS SOUPS 3429919 WITH SCORE 3433826.315
AT ITER 2989 NEW BEST:: SOT 7165386 SOS 3905521 HAS SOPS 3905521 HAS SOUS 3429643 HAS SOUPS 3429643 WITH SCORE 3433548.521
AT ITER 2990 NEW BEST:: SOT 7165386 SOS 3905378 HAS SOPS 3905378 HAS SOUS 3429642 HAS SOUPS 3429642 WITH SCORE 3433547.378
AT ITER 2993 NEW BEST:: SOT 7165356 SOS 3905754 HAS SOPS 3905754 HAS SOUS 3429458 HAS SOUPS 3429458 WITH SCORE 3433363.754
AT ITER 3001 NEW BEST:: SOT 7165356 SOS 3905260 HAS SOPS 3905260 HAS SOUS 3429342 HAS SOUPS 3429342 WITH SCORE 3433247.26
AT ITER 3012 NEW BEST:: SOT 7165140 SOS 3904795 HAS SOPS 3904795 HAS SOUS 3428993 HAS SOUPS 3428993 WITH SCORE 3432897.795
AT ITER 3019 NEW BEST:: SOT 7161269 SOS 3904180 HAS SOPS 3904180 HAS SOUS 3427579 HAS SOUPS 3427579 WITH SCORE 3431483.18
AT ITER 3031 NEW BEST:: SOT 7161269 SOS 3904073 HAS SOPS 3904073 HAS SOUS 3427574 HAS SOUPS 3427574 WITH SCORE 3431478.073
AT ITER 3036 NEW BEST:: SOT 7157686 SOS 3918212 HAS SOPS 3918212 HAS SOUS 3425402 HAS SOUPS 3425402 WITH SCORE 3429320.212
AT ITER 3037 NEW BEST:: SOT 7157632 SOS 3918551 HAS SOPS 3918551 HAS SOUS 3424614 HAS SOUPS 3424614 WITH SCORE 3428532.551
AT ITER 3039 NEW BEST:: SOT 7156319 SOS 3926146 HAS SOPS 3926146 HAS SOUS 3423695 HAS SOUPS 3423695 WITH SCORE 3427621.146
AT ITER 3041 NEW BEST:: SOT 7154771 SOS 3924911 HAS SOPS 3924911 HAS SOUS 3422834 HAS SOUPS 3422834 WITH SCORE 3426758.911
AT ITER 3043 NEW BEST:: SOT 7154771 SOS 3924496 HAS SOPS 3924496 HAS SOUS 3422834 HAS SOUPS 3422834 WITH SCORE 3426758.496
AT ITER 3050 NEW BEST:: SOT 7152354 SOS 3922822 HAS SOPS 3922822 HAS SOUS 3420461 HAS SOUPS 3420461 WITH SCORE 3424383.822
AT ITER 3065 NEW BEST:: SOT 7152688 SOS 3923120 HAS SOPS 3923120 HAS SOUS 3419840 HAS SOUPS 3419840 WITH SCORE 3423763.12
AT ITER 3070 NEW BEST:: SOT 7151757 SOS 3935160 HAS SOPS 3935160 HAS SOUS 3419731 HAS SOUPS 3419731 WITH SCORE 3423666.16
AT ITER 3073 NEW BEST:: SOT 7151757 SOS 3934937 HAS SOPS 3934937 HAS SOUS 3419731 HAS SOUPS 3419731 WITH SCORE 3423665.937
AT ITER 3075 NEW BEST:: SOT 7148211 SOS 3935869 HAS SOPS 3935869 HAS SOUS 3418169 HAS SOUPS 3418169 WITH SCORE 3422104.869
AT ITER 3076 NEW BEST:: SOT 7148188 SOS 3935846 HAS SOPS 3935846 HAS SOUS 3418031 HAS SOUPS 3418031 WITH SCORE 3421966.846
AT ITER 3081 NEW BEST:: SOT 7148188 SOS 3934897 HAS SOPS 3934897 HAS SOUS 3418031 HAS SOUPS 3418031 WITH SCORE 3421965.897
AT ITER 3096 NEW BEST:: SOT 7148188 SOS 3934886 HAS SOPS 3934886 HAS SOUS 3418031 HAS SOUPS 3418031 WITH SCORE 3421965.886
AT ITER 3101 NEW BEST:: SOT 7148188 SOS 3934637 HAS SOPS 3934637 HAS SOUS 3418031 HAS SOUPS 3418031 WITH SCORE 3421965.637
AT ITER 3102 NEW BEST:: SOT 7148188 SOS 3934356 HAS SOPS 3934356 HAS SOUS 3417483 HAS SOUPS 3417483 WITH SCORE 3421417.356
AT ITER 3103 NEW BEST:: SOT 7148092 SOS 3935705 HAS SOPS 3935705 HAS SOUS 3417387 HAS SOUPS 3417387 WITH SCORE 3421322.705
AT ITER 3104 NEW BEST:: SOT 7148092 SOS 3933204 HAS SOPS 3933204 HAS SOUS 3416575 HAS SOUPS 3416575 WITH SCORE 3420508.204
AT ITER 3106 NEW BEST:: SOT 7148092 SOS 3932351 HAS SOPS 3932351 HAS SOUS 3416575 HAS SOUPS 3416575 WITH SCORE 3420507.351
AT ITER 3121 NEW BEST:: SOT 7147148 SOS 3931438 HAS SOPS 3931438 HAS SOUS 3415586 HAS SOUPS 3415586 WITH SCORE 3419517.438
AT ITER 3138 NEW BEST:: SOT 7145871 SOS 3928421 HAS SOPS 3928421 HAS SOUS 3414311 HAS SOUPS 3414311 WITH SCORE 3418239.421
AT ITER 3140 NEW BEST:: SOT 7145871 SOS 3927961 HAS SOPS 3927961 HAS SOUS 3413851 HAS SOUPS 3413851 WITH SCORE 3417778.961
AT ITER 3143 NEW BEST:: SOT 7145871 SOS 3927441 HAS SOPS 3927441 HAS SOUS 3413851 HAS SOUPS 3413851 WITH SCORE 3417778.441
AT ITER 3145 NEW BEST:: SOT 7145871 SOS 3927441 HAS SOPS 3927441 HAS SOUS 3413491 HAS SOUPS 3413491 WITH SCORE 3417418.441
AT ITER 3147 NEW BEST:: SOT 7145871 SOS 3926498 HAS SOPS 3926498 HAS SOUS 3413164 HAS SOUPS 3413164 WITH SCORE 3417090.498
AT ITER 3151 NEW BEST:: SOT 7145871 SOS 3926471 HAS SOPS 3926471 HAS SOUS 3413164 HAS SOUPS 3413164 WITH SCORE 3417090.471
AT ITER 3153 NEW BEST:: SOT 7145871 SOS 3925737 HAS SOPS 3925737 HAS SOUS 3413164 HAS SOUPS 3413164 WITH SCORE 3417089.737
AT ITER 3163 NEW BEST:: SOT 7143085 SOS 3927181 HAS SOPS 3927181 HAS SOUS 3411400 HAS SOUPS 3411400 WITH SCORE 3415327.181
AT ITER 3164 NEW BEST:: SOT 7143085 SOS 3927210 HAS SOPS 3927210 HAS SOUS 3411213 HAS SOUPS 3411213 WITH SCORE 3415140.21
AT ITER 3173 NEW BEST:: SOT 7139715 SOS 3930812 HAS SOPS 3930812 HAS SOUS 3410846 HAS SOUPS 3410846 WITH SCORE 3414776.812
AT ITER 3175 NEW BEST:: SOT 7134731 SOS 3927511 HAS SOPS 3927511 HAS SOUS 3406792 HAS SOUPS 3406792 WITH SCORE 3410719.511
AT ITER 3176 NEW BEST:: SOT 7130665 SOS 3924607 HAS SOPS 3924607 HAS SOUS 3403649 HAS SOUPS 3403649 WITH SCORE 3407573.607
AT ITER 3178 NEW BEST:: SOT 7130413 SOS 3924355 HAS SOPS 3924355 HAS SOUS 3403649 HAS SOUPS 3403649 WITH SCORE 3407573.355
AT ITER 3182 NEW BEST:: SOT 7130413 SOS 3923808 HAS SOPS 3923808 HAS SOUS 3403337 HAS SOUPS 3403337 WITH SCORE 3407260.808
AT ITER 3185 NEW BEST:: SOT 7130413 SOS 3922915 HAS SOPS 3922915 HAS SOUS 3403337 HAS SOUPS 3403337 WITH SCORE 3407259.915
AT ITER 3197 NEW BEST:: SOT 7130697 SOS 3921561 HAS SOPS 3921561 HAS SOUS 3402754 HAS SOUPS 3402754 WITH SCORE 3406675.561
AT ITER 3198 NEW BEST:: SOT 7128063 SOS 3919808 HAS SOPS 3919808 HAS SOUS 3400664 HAS SOUPS 3400664 WITH SCORE 3404583.808
AT ITER 3200 NEW BEST:: SOT 7128063 SOS 3919412 HAS SOPS 3919412 HAS SOUS 3399873 HAS SOUPS 3399873 WITH SCORE 3403792.412
AT ITER 3204 NEW BEST:: SOT 7127829 SOS 3919342 HAS SOPS 3919342 HAS SOUS 3399803 HAS SOUPS 3399803 WITH SCORE 3403722.342
AT ITER 3205 NEW BEST:: SOT 7127538 SOS 3918558 HAS SOPS 3918558 HAS SOUS 3399056 HAS SOUPS 3399056 WITH SCORE 3402974.558
AT ITER 3216 NEW BEST:: SOT 7127430 SOS 3918833 HAS SOPS 3918833 HAS SOUS 3398934 HAS SOUPS 3398934 WITH SCORE 3402852.833
AT ITER 3226 NEW BEST:: SOT 7127430 SOS 3918595 HAS SOPS 3918595 HAS SOUS 3398934 HAS SOUPS 3398934 WITH SCORE 3402852.595
AT ITER 3228 NEW BEST:: SOT 7127430 SOS 3904500 HAS SOPS 3904500 HAS SOUS 3398934 HAS SOUPS 3398934 WITH SCORE 3402838.5
AT ITER 3231 NEW BEST:: SOT 7127142 SOS 3904212 HAS SOPS 3904212 HAS SOUS 3398438 HAS SOUPS 3398438 WITH SCORE 3402342.212
AT ITER 3238 NEW BEST:: SOT 7127002 SOS 3903908 HAS SOPS 3903908 HAS SOUS 3397523 HAS SOUPS 3397523 WITH SCORE 3401426.908
AT ITER 3241 NEW BEST:: SOT 7127002 SOS 3903886 HAS SOPS 3903886 HAS SOUS 3397523 HAS SOUPS 3397523 WITH SCORE 3401426.886
AT ITER 3244 NEW BEST:: SOT 7123926 SOS 3902229 HAS SOPS 3902229 HAS SOUS 3395199 HAS SOUPS 3395199 WITH SCORE 3399101.229
AT ITER 3248 NEW BEST:: SOT 7122194 SOS 3900971 HAS SOPS 3900971 HAS SOUS 3393865 HAS SOUPS 3393865 WITH SCORE 3397765.971
AT ITER 3251 NEW BEST:: SOT 7121851 SOS 3900628 HAS SOPS 3900628 HAS SOUS 3393188 HAS SOUPS 3393188 WITH SCORE 3397088.628
AT ITER 3257 NEW BEST:: SOT 7120137 SOS 3899355 HAS SOPS 3899355 HAS SOUS 3392018 HAS SOUPS 3392018 WITH SCORE 3395917.355
AT ITER 3260 NEW BEST:: SOT 7120137 SOS 3899285 HAS SOPS 3899285 HAS SOUS 3392018 HAS SOUPS 3392018 WITH SCORE 3395917.285
AT ITER 3261 NEW BEST:: SOT 7120137 SOS 3899043 HAS SOPS 3899043 HAS SOUS 3392018 HAS SOUPS 3392018 WITH SCORE 3395917.043
AT ITER 3264 NEW BEST:: SOT 7120137 SOS 3899008 HAS SOPS 3899008 HAS SOUS 3392018 HAS SOUPS 3392018 WITH SCORE 3395917.008
AT ITER 3272 NEW BEST:: SOT 7120137 SOS 3899008 HAS SOPS 3899008 HAS SOUS 3391764 HAS SOUPS 3391764 WITH SCORE 3395663.008
AT ITER 3278 NEW BEST:: SOT 7120137 SOS 3898477 HAS SOPS 3898477 HAS SOUS 3391628 HAS SOUPS 3391628 WITH SCORE 3395526.477
AT ITER 3286 NEW BEST:: SOT 7120137 SOS 3898349 HAS SOPS 3898349 HAS SOUS 3391585 HAS SOUPS 3391585 WITH SCORE 3395483.349
AT ITER 3301 NEW BEST:: SOT 7120137 SOS 3898231 HAS SOPS 3898231 HAS SOUS 3391585 HAS SOUPS 3391585 WITH SCORE 3395483.231
AT ITER 3303 NEW BEST:: SOT 7120147 SOS 3898449 HAS SOPS 3898449 HAS SOUS 3391334 HAS SOUPS 3391334 WITH SCORE 3395232.449
AT ITER 3304 NEW BEST:: SOT 7116818 SOS 3897144 HAS SOPS 3897144 HAS SOUS 3390989 HAS SOUPS 3390989 WITH SCORE 3394886.144
AT ITER 3305 NEW BEST:: SOT 7116818 SOS 3896320 HAS SOPS 3896320 HAS SOUS 3390989 HAS SOUPS 3390989 WITH SCORE 3394885.32
AT ITER 3306 NEW BEST:: SOT 7116818 SOS 3895276 HAS SOPS 3895276 HAS SOUS 3390538 HAS SOUPS 3390538 WITH SCORE 3394433.276
AT ITER 3321 NEW BEST:: SOT 7116818 SOS 3895276 HAS SOPS 3895276 HAS SOUS 3390426 HAS SOUPS 3390426 WITH SCORE 3394321.276
AT ITER 3322 NEW BEST:: SOT 7116699 SOS 3897283 HAS SOPS 3897283 HAS SOUS 3390351 HAS SOUPS 3390351 WITH SCORE 3394248.283
AT ITER 3326 NEW BEST:: SOT 7116783 SOS 3896967 HAS SOPS 3896967 HAS SOUS 3390000 HAS SOUPS 3390000 WITH SCORE 3393896.967
AT ITER 3328 NEW BEST:: SOT 7116783 SOS 3895797 HAS SOPS 3895797 HAS SOUS 3390000 HAS SOUPS 3390000 WITH SCORE 3393895.797
AT ITER 3331 NEW BEST:: SOT 7112227 SOS 3893796 HAS SOPS 3893796 HAS SOUS 3389642 HAS SOUPS 3389642 WITH SCORE 3393535.796
AT ITER 3346 NEW BEST:: SOT 7108777 SOS 3891139 HAS SOPS 3891139 HAS SOUS 3387044 HAS SOUPS 3387044 WITH SCORE 3390935.139
AT ITER 3347 NEW BEST:: SOT 7108777 SOS 3890506 HAS SOPS 3890506 HAS SOUS 3387039 HAS SOUPS 3387039 WITH SCORE 3390929.506
AT ITER 3351 NEW BEST:: SOT 7108777 SOS 3890481 HAS SOPS 3890481 HAS SOUS 3387039 HAS SOUPS 3387039 WITH SCORE 3390929.481
AT ITER 3352 NEW BEST:: SOT 7108849 SOS 3890541 HAS SOPS 3890541 HAS SOUS 3386821 HAS SOUPS 3386821 WITH SCORE 3390711.541
AT ITER 3357 NEW BEST:: SOT 7108849 SOS 3890345 HAS SOPS 3890345 HAS SOUS 3386821 HAS SOUPS 3386821 WITH SCORE 3390711.345
AT ITER 3358 NEW BEST:: SOT 7108849 SOS 3890295 HAS SOPS 3890295 HAS SOUS 3386771 HAS SOUPS 3386771 WITH SCORE 3390661.295
AT ITER 3360 NEW BEST:: SOT 7108849 SOS 3890295 HAS SOPS 3890295 HAS SOUS 3386441 HAS SOUPS 3386441 WITH SCORE 3390331.295
AT ITER 3361 NEW BEST:: SOT 7108849 SOS 3889688 HAS SOPS 3889688 HAS SOUS 3386441 HAS SOUPS 3386441 WITH SCORE 3390330.688
AT ITER 3367 NEW BEST:: SOT 7109011 SOS 3891050 HAS SOPS 3891050 HAS SOUS 3386314 HAS SOUPS 3386314 WITH SCORE 3390205.05
AT ITER 3368 NEW BEST:: SOT 7109011 SOS 3890361 HAS SOPS 3890361 HAS SOUS 3386314 HAS SOUPS 3386314 WITH SCORE 3390204.361
AT ITER 3373 NEW BEST:: SOT 7104739 SOS 3888513 HAS SOPS 3888513 HAS SOUS 3383860 HAS SOUPS 3383860 WITH SCORE 3387748.513
AT ITER 3376 NEW BEST:: SOT 7104739 SOS 3888358 HAS SOPS 3888358 HAS SOUS 3383860 HAS SOUPS 3383860 WITH SCORE 3387748.358
AT ITER 3378 NEW BEST:: SOT 7104739 SOS 3888338 HAS SOPS 3888338 HAS SOUS 3383860 HAS SOUPS 3383860 WITH SCORE 3387748.338
AT ITER 3379 NEW BEST:: SOT 7104739 SOS 3887749 HAS SOPS 3887749 HAS SOUS 3383860 HAS SOUPS 3383860 WITH SCORE 3387747.749
AT ITER 3385 NEW BEST:: SOT 7104616 SOS 3887112 HAS SOPS 3887112 HAS SOUS 3383433 HAS SOUPS 3383433 WITH SCORE 3387320.112
AT ITER 3386 NEW BEST:: SOT 7103491 SOS 3891476 HAS SOPS 3891476 HAS SOUS 3382856 HAS SOUPS 3382856 WITH SCORE 3386747.476
AT ITER 3387 NEW BEST:: SOT 7101787 SOS 3891026 HAS SOPS 3891026 HAS SOUS 3382343 HAS SOUPS 3382343 WITH SCORE 3386234.026
AT ITER 3390 NEW BEST:: SOT 7101787 SOS 3890772 HAS SOPS 3890772 HAS SOUS 3382343 HAS SOUPS 3382343 WITH SCORE 3386233.772
AT ITER 3394 NEW BEST:: SOT 7101787 SOS 3890085 HAS SOPS 3890085 HAS SOUS 3382343 HAS SOUPS 3382343 WITH SCORE 3386233.085
AT ITER 3406 NEW BEST:: SOT 7098984 SOS 3888386 HAS SOPS 3888386 HAS SOUS 3381521 HAS SOUPS 3381521 WITH SCORE 3385409.386
AT ITER 3407 NEW BEST:: SOT 7098984 SOS 3888147 HAS SOPS 3888147 HAS SOUS 3381521 HAS SOUPS 3381521 WITH SCORE 3385409.147
AT ITER 3410 NEW BEST:: SOT 7098984 SOS 3887147 HAS SOPS 3887147 HAS SOUS 3381521 HAS SOUPS 3381521 WITH SCORE 3385408.147
AT ITER 3431 NEW BEST:: SOT 7098984 SOS 3887054 HAS SOPS 3887054 HAS SOUS 3381521 HAS SOUPS 3381521 WITH SCORE 3385408.054
AT ITER 3434 NEW BEST:: SOT 7098984 SOS 3886192 HAS SOPS 3886192 HAS SOUS 3381104 HAS SOUPS 3381104 WITH SCORE 3384990.192
AT ITER 3435 NEW BEST:: SOT 7098984 SOS 3886192 HAS SOPS 3886192 HAS SOUS 3380287 HAS SOUPS 3380287 WITH SCORE 3384173.192
AT ITER 3439 NEW BEST:: SOT 7098913 SOS 3885678 HAS SOPS 3885678 HAS SOUS 3380157 HAS SOUPS 3380157 WITH SCORE 3384042.678
AT ITER 3441 NEW BEST:: SOT 7098913 SOS 3885592 HAS SOPS 3885592 HAS SOUS 3380157 HAS SOUPS 3380157 WITH SCORE 3384042.592
AT ITER 3442 NEW BEST:: SOT 7098913 SOS 3885358 HAS SOPS 3885358 HAS SOUS 3379923 HAS SOUPS 3379923 WITH SCORE 3383808.358
AT ITER 3444 NEW BEST:: SOT 7098913 SOS 3885353 HAS SOPS 3885353 HAS SOUS 3379900 HAS SOUPS 3379900 WITH SCORE 3383785.353
AT ITER 3445 NEW BEST:: SOT 7095194 SOS 3893244 HAS SOPS 3893244 HAS SOUS 3378785 HAS SOUPS 3378785 WITH SCORE 3382678.244
AT ITER 3446 NEW BEST:: SOT 7095194 SOS 3893223 HAS SOPS 3893223 HAS SOUS 3378785 HAS SOUPS 3378785 WITH SCORE 3382678.223
AT ITER 3450 NEW BEST:: SOT 7095194 SOS 3892474 HAS SOPS 3892474 HAS SOUS 3378036 HAS SOUPS 3378036 WITH SCORE 3381928.474
AT ITER 3451 NEW BEST:: SOT 7095194 SOS 3891820 HAS SOPS 3891820 HAS SOUS 3378036 HAS SOUPS 3378036 WITH SCORE 3381927.82
AT ITER 3454 NEW BEST:: SOT 7095194 SOS 3891638 HAS SOPS 3891638 HAS SOUS 3378030 HAS SOUPS 3378030 WITH SCORE 3381921.638
AT ITER 3455 NEW BEST:: SOT 7093397 SOS 3893133 HAS SOPS 3893133 HAS SOUS 3377730 HAS SOUPS 3377730 WITH SCORE 3381623.133
AT ITER 3462 NEW BEST:: SOT 7091800 SOS 3891536 HAS SOPS 3891536 HAS SOUS 3376245 HAS SOUPS 3376245 WITH SCORE 3380136.536
AT ITER 3470 NEW BEST:: SOT 7091822 SOS 3889626 HAS SOPS 3889626 HAS SOUS 3375759 HAS SOUPS 3375759 WITH SCORE 3379648.626
AT ITER 3480 NEW BEST:: SOT 7090675 SOS 3896542 HAS SOPS 3896542 HAS SOUS 3375291 HAS SOUPS 3375291 WITH SCORE 3379187.542
AT ITER 3481 NEW BEST:: SOT 7090675 SOS 3896514 HAS SOPS 3896514 HAS SOUS 3375291 HAS SOUPS 3375291 WITH SCORE 3379187.514
AT ITER 3485 NEW BEST:: SOT 7090675 SOS 3896141 HAS SOPS 3896141 HAS SOUS 3375291 HAS SOUPS 3375291 WITH SCORE 3379187.141
AT ITER 3492 NEW BEST:: SOT 7090675 SOS 3896090 HAS SOPS 3896090 HAS SOUS 3375291 HAS SOUPS 3375291 WITH SCORE 3379187.09
AT ITER 3498 NEW BEST:: SOT 7090675 SOS 3895615 HAS SOPS 3895615 HAS SOUS 3375291 HAS SOUPS 3375291 WITH SCORE 3379186.615
AT ITER 3512 NEW BEST:: SOT 7090675 SOS 3895604 HAS SOPS 3895604 HAS SOUS 3375291 HAS SOUPS 3375291 WITH SCORE 3379186.604
AT ITER 3516 NEW BEST:: SOT 7090675 SOS 3895430 HAS SOPS 3895430 HAS SOUS 3375291 HAS SOUPS 3375291 WITH SCORE 3379186.43
AT ITER 3534 NEW BEST:: SOT 7089883 SOS 3894869 HAS SOPS 3894869 HAS SOUS 3374628 HAS SOUPS 3374628 WITH SCORE 3378522.869
AT ITER 3539 NEW BEST:: SOT 7090246 SOS 3894845 HAS SOPS 3894845 HAS SOUS 3374415 HAS SOUPS 3374415 WITH SCORE 3378309.845
AT ITER 3541 NEW BEST:: SOT 7090246 SOS 3894155 HAS SOPS 3894155 HAS SOUS 3374415 HAS SOUPS 3374415 WITH SCORE 3378309.155
AT ITER 3542 NEW BEST:: SOT 7089372 SOS 3896015 HAS SOPS 3896015 HAS SOUS 3374231 HAS SOUPS 3374231 WITH SCORE 3378127.015
AT ITER 3550 NEW BEST:: SOT 7089372 SOS 3895961 HAS SOPS 3895961 HAS SOUS 3374231 HAS SOUPS 3374231 WITH SCORE 3378126.961
AT ITER 3551 NEW BEST:: SOT 7089372 SOS 3895337 HAS SOPS 3895337 HAS SOUS 3373904 HAS SOUPS 3373904 WITH SCORE 3377799.337
AT ITER 3556 NEW BEST:: SOT 7089372 SOS 3894601 HAS SOPS 3894601 HAS SOUS 3373904 HAS SOUPS 3373904 WITH SCORE 3377798.601
AT ITER 3557 NEW BEST:: SOT 7086245 SOS 3892699 HAS SOPS 3892699 HAS SOUS 3371519 HAS SOUPS 3371519 WITH SCORE 3375411.699
AT ITER 3560 NEW BEST:: SOT 7085308 SOS 3894016 HAS SOPS 3894016 HAS SOUS 3371436 HAS SOUPS 3371436 WITH SCORE 3375330.016
AT ITER 3564 NEW BEST:: SOT 7085308 SOS 3893830 HAS SOPS 3893830 HAS SOUS 3371436 HAS SOUPS 3371436 WITH SCORE 3375329.83
AT ITER 3566 NEW BEST:: SOT 7085308 SOS 3893269 HAS SOPS 3893269 HAS SOUS 3371052 HAS SOUPS 3371052 WITH SCORE 3374945.269
AT ITER 3573 NEW BEST:: SOT 7085359 SOS 3893617 HAS SOPS 3893617 HAS SOUS 3370764 HAS SOUPS 3370764 WITH SCORE 3374657.617
AT ITER 3577 NEW BEST:: SOT 7081590 SOS 3891818 HAS SOPS 3891818 HAS SOUS 3368013 HAS SOUPS 3368013 WITH SCORE 3371904.818
AT ITER 3580 NEW BEST:: SOT 7081590 SOS 3891352 HAS SOPS 3891352 HAS SOUS 3367705 HAS SOUPS 3367705 WITH SCORE 3371596.352
AT ITER 3583 NEW BEST:: SOT 7079467 SOS 3889838 HAS SOPS 3889838 HAS SOUS 3367511 HAS SOUPS 3367511 WITH SCORE 3371400.838
AT ITER 3584 NEW BEST:: SOT 7079480 SOS 3889375 HAS SOPS 3889375 HAS SOUS 3367285 HAS SOUPS 3367285 WITH SCORE 3371174.375
AT ITER 3585 NEW BEST:: SOT 7079480 SOS 3889355 HAS SOPS 3889355 HAS SOUS 3367285 HAS SOUPS 3367285 WITH SCORE 3371174.355
AT ITER 3587 NEW BEST:: SOT 7079777 SOS 3889001 HAS SOPS 3889001 HAS SOUS 3366931 HAS SOUPS 3366931 WITH SCORE 3370820.001
AT ITER 3594 NEW BEST:: SOT 7079777 SOS 3888916 HAS SOPS 3888916 HAS SOUS 3366931 HAS SOUPS 3366931 WITH SCORE 3370819.916
AT ITER 3598 NEW BEST:: SOT 7079709 SOS 3888281 HAS SOPS 3888281 HAS SOUS 3366151 HAS SOUPS 3366151 WITH SCORE 3370039.281
AT ITER 3607 NEW BEST:: SOT 7077750 SOS 3887556 HAS SOPS 3887556 HAS SOUS 3365112 HAS SOUPS 3365112 WITH SCORE 3368999.556
AT ITER 3611 NEW BEST:: SOT 7077645 SOS 3886546 HAS SOPS 3886546 HAS SOUS 3364649 HAS SOUPS 3364649 WITH SCORE 3368535.546
AT ITER 3613 NEW BEST:: SOT 7077882 SOS 3886665 HAS SOPS 3886665 HAS SOUS 3364631 HAS SOUPS 3364631 WITH SCORE 3368517.665
AT ITER 3615 NEW BEST:: SOT 7077747 SOS 3886557 HAS SOPS 3886557 HAS SOUS 3364523 HAS SOUPS 3364523 WITH SCORE 3368409.557
AT ITER 3618 NEW BEST:: SOT 7077521 SOS 3890460 HAS SOPS 3890460 HAS SOUS 3364340 HAS SOUPS 3364340 WITH SCORE 3368230.46
AT ITER 3624 NEW BEST:: SOT 7077394 SOS 3890742 HAS SOPS 3890742 HAS SOUS 3363820 HAS SOUPS 3363820 WITH SCORE 3367710.742
AT ITER 3631 NEW BEST:: SOT 7076395 SOS 3890439 HAS SOPS 3890439 HAS SOUS 3362923 HAS SOUPS 3362923 WITH SCORE 3366813.439
AT ITER 3633 NEW BEST:: SOT 7076535 SOS 3886367 HAS SOPS 3886367 HAS SOUS 3360393 HAS SOUPS 3360393 WITH SCORE 3364279.367
AT ITER 3640 NEW BEST:: SOT 7076535 SOS 3885566 HAS SOPS 3885566 HAS SOUS 3360393 HAS SOUPS 3360393 WITH SCORE 3364278.566
AT ITER 3641 NEW BEST:: SOT 7076535 SOS 3885546 HAS SOPS 3885546 HAS SOUS 3360393 HAS SOUPS 3360393 WITH SCORE 3364278.546
AT ITER 3643 NEW BEST:: SOT 7076535 SOS 3884690 HAS SOPS 3884690 HAS SOUS 3360393 HAS SOUPS 3360393 WITH SCORE 3364277.69
AT ITER 3645 NEW BEST:: SOT 7074950 SOS 3883105 HAS SOPS 3883105 HAS SOUS 3358808 HAS SOUPS 3358808 WITH SCORE 3362691.105
AT ITER 3654 NEW BEST:: SOT 7075372 SOS 3882868 HAS SOPS 3882868 HAS SOUS 3358324 HAS SOUPS 3358324 WITH SCORE 3362206.868
AT ITER 3658 NEW BEST:: SOT 7075372 SOS 3879219 HAS SOPS 3879219 HAS SOUS 3357976 HAS SOUPS 3357976 WITH SCORE 3361855.219
AT ITER 3659 NEW BEST:: SOT 7075372 SOS 3878685 HAS SOPS 3878685 HAS SOUS 3357976 HAS SOUPS 3357976 WITH SCORE 3361854.685
AT ITER 3661 NEW BEST:: SOT 7075232 SOS 3878545 HAS SOPS 3878545 HAS SOUS 3357596 HAS SOUPS 3357596 WITH SCORE 3361474.545
AT ITER 3676 NEW BEST:: SOT 7074105 SOS 3878065 HAS SOPS 3878065 HAS SOUS 3356469 HAS SOUPS 3356469 WITH SCORE 3360347.065
AT ITER 3682 NEW BEST:: SOT 7074105 SOS 3877964 HAS SOPS 3877964 HAS SOUS 3356469 HAS SOUPS 3356469 WITH SCORE 3360346.964
AT ITER 3685 NEW BEST:: SOT 7074105 SOS 3877875 HAS SOPS 3877875 HAS SOUS 3356469 HAS SOUPS 3356469 WITH SCORE 3360346.875
AT ITER 3692 NEW BEST:: SOT 7074105 SOS 3877747 HAS SOPS 3877747 HAS SOUS 3356469 HAS SOUPS 3356469 WITH SCORE 3360346.747
AT ITER 3693 NEW BEST:: SOT 7070986 SOS 3877297 HAS SOPS 3877297 HAS SOUS 3355218 HAS SOUPS 3355218 WITH SCORE 3359095.297
AT ITER 3696 NEW BEST:: SOT 7070986 SOS 3877074 HAS SOPS 3877074 HAS SOUS 3354995 HAS SOUPS 3354995 WITH SCORE 3358872.074
AT ITER 3705 NEW BEST:: SOT 7070986 SOS 3876801 HAS SOPS 3876801 HAS SOUS 3354995 HAS SOUPS 3354995 WITH SCORE 3358871.801
AT ITER 3706 NEW BEST:: SOT 7068164 SOS 3874823 HAS SOPS 3874823 HAS SOUS 3354378 HAS SOUPS 3354378 WITH SCORE 3358252.823
AT ITER 3708 NEW BEST:: SOT 7068164 SOS 3874092 HAS SOPS 3874092 HAS SOUS 3354378 HAS SOUPS 3354378 WITH SCORE 3358252.092
AT ITER 3709 NEW BEST:: SOT 7066023 SOS 3878229 HAS SOPS 3878229 HAS SOUS 3353898 HAS SOUPS 3353898 WITH SCORE 3357776.229
AT ITER 3711 NEW BEST:: SOT 7065998 SOS 3878204 HAS SOPS 3878204 HAS SOUS 3353873 HAS SOUPS 3353873 WITH SCORE 3357751.204
AT ITER 3727 NEW BEST:: SOT 7065998 SOS 3877953 HAS SOPS 3877953 HAS SOUS 3353873 HAS SOUPS 3353873 WITH SCORE 3357750.953
AT ITER 3735 NEW BEST:: SOT 7065998 SOS 3877907 HAS SOPS 3877907 HAS SOUS 3353827 HAS SOUPS 3353827 WITH SCORE 3357704.907
AT ITER 3743 NEW BEST:: SOT 7065998 SOS 3877714 HAS SOPS 3877714 HAS SOUS 3353786 HAS SOUPS 3353786 WITH SCORE 3357663.714
AT ITER 3745 NEW BEST:: SOT 7065998 SOS 3877511 HAS SOPS 3877511 HAS SOUS 3353786 HAS SOUPS 3353786 WITH SCORE 3357663.511
AT ITER 3746 NEW BEST:: SOT 7065806 SOS 3877319 HAS SOPS 3877319 HAS SOUS 3353427 HAS SOUPS 3353427 WITH SCORE 3357304.319
AT ITER 3753 NEW BEST:: SOT 7065900 SOS 3876854 HAS SOPS 3876854 HAS SOUS 3353082 HAS SOUPS 3353082 WITH SCORE 3356958.854
AT ITER 3757 NEW BEST:: SOT 7062727 SOS 3883934 HAS SOPS 3883934 HAS SOUS 3351739 HAS SOUPS 3351739 WITH SCORE 3355622.934
AT ITER 3764 NEW BEST:: SOT 7062727 SOS 3884600 HAS SOPS 3884600 HAS SOUS 3351737 HAS SOUPS 3351737 WITH SCORE 3355621.6
AT ITER 3768 NEW BEST:: SOT 7062979 SOS 3884718 HAS SOPS 3884718 HAS SOUS 3351187 HAS SOUPS 3351187 WITH SCORE 3355071.718
AT ITER 3773 NEW BEST:: SOT 7062979 SOS 3884835 HAS SOPS 3884835 HAS SOUS 3351008 HAS SOUPS 3351008 WITH SCORE 3354892.835
AT ITER 3779 NEW BEST:: SOT 7063024 SOS 3882930 HAS SOPS 3882930 HAS SOUS 3350486 HAS SOUPS 3350486 WITH SCORE 3354368.93
AT ITER 3791 NEW BEST:: SOT 7060130 SOS 3880718 HAS SOPS 3880718 HAS SOUS 3348524 HAS SOUPS 3348524 WITH SCORE 3352404.718
AT ITER 3800 NEW BEST:: SOT 7060130 SOS 3877960 HAS SOPS 3877960 HAS SOUS 3348056 HAS SOUPS 3348056 WITH SCORE 3351933.96
AT ITER 3803 NEW BEST:: SOT 7060068 SOS 3878213 HAS SOPS 3878213 HAS SOUS 3347781 HAS SOUPS 3347781 WITH SCORE 3351659.213
AT ITER 3808 NEW BEST:: SOT 7059950 SOS 3877990 HAS SOPS 3877990 HAS SOUS 3347336 HAS SOUPS 3347336 WITH SCORE 3351213.99
AT ITER 3811 NEW BEST:: SOT 7057237 SOS 3879350 HAS SOPS 3879350 HAS SOUS 3345310 HAS SOUPS 3345310 WITH SCORE 3349189.35
AT ITER 3813 NEW BEST:: SOT 7056977 SOS 3879163 HAS SOPS 3879163 HAS SOUS 3345180 HAS SOUPS 3345180 WITH SCORE 3349059.163
AT ITER 3814 NEW BEST:: SOT 7056695 SOS 3878631 HAS SOPS 3878631 HAS SOUS 3344377 HAS SOUPS 3344377 WITH SCORE 3348255.631
AT ITER 3821 NEW BEST:: SOT 7056695 SOS 3878581 HAS SOPS 3878581 HAS SOUS 3344377 HAS SOUPS 3344377 WITH SCORE 3348255.581
AT ITER 3828 NEW BEST:: SOT 7056695 SOS 3878359 HAS SOPS 3878359 HAS SOUS 3344377 HAS SOUPS 3344377 WITH SCORE 3348255.359
AT ITER 3830 NEW BEST:: SOT 7056695 SOS 3878047 HAS SOPS 3878047 HAS SOUS 3344377 HAS SOUPS 3344377 WITH SCORE 3348255.047
AT ITER 3835 NEW BEST:: SOT 7054655 SOS 3876265 HAS SOPS 3876265 HAS SOUS 3342707 HAS SOUPS 3342707 WITH SCORE 3346583.265
AT ITER 3837 NEW BEST:: SOT 7051529 SOS 3877986 HAS SOPS 3877986 HAS SOUS 3342250 HAS SOUPS 3342250 WITH SCORE 3346127.986
AT ITER 3838 NEW BEST:: SOT 7051287 SOS 3880012 HAS SOPS 3880012 HAS SOUS 3342008 HAS SOUPS 3342008 WITH SCORE 3345888.012
AT ITER 3842 NEW BEST:: SOT 7051287 SOS 3879831 HAS SOPS 3879831 HAS SOUS 3341963 HAS SOUPS 3341963 WITH SCORE 3345842.831
AT ITER 3845 NEW BEST:: SOT 7051287 SOS 3879296 HAS SOPS 3879296 HAS SOUS 3341930 HAS SOUPS 3341930 WITH SCORE 3345809.296
AT ITER 3847 NEW BEST:: SOT 7049948 SOS 3878203 HAS SOPS 3878203 HAS SOUS 3340861 HAS SOUPS 3340861 WITH SCORE 3344739.203
AT ITER 3857 NEW BEST:: SOT 7048637 SOS 3877549 HAS SOPS 3877549 HAS SOUS 3340146 HAS SOUPS 3340146 WITH SCORE 3344023.549
AT ITER 3862 NEW BEST:: SOT 7048637 SOS 3877394 HAS SOPS 3877394 HAS SOUS 3340145 HAS SOUPS 3340145 WITH SCORE 3344022.394
AT ITER 3885 NEW BEST:: SOT 7048637 SOS 3876223 HAS SOPS 3876223 HAS SOUS 3340145 HAS SOUPS 3340145 WITH SCORE 3344021.223
AT ITER 3888 NEW BEST:: SOT 7048637 SOS 3876144 HAS SOPS 3876144 HAS SOUS 3340145 HAS SOUPS 3340145 WITH SCORE 3344021.144
AT ITER 3891 NEW BEST:: SOT 7048083 SOS 3875626 HAS SOPS 3875626 HAS SOUS 3339918 HAS SOUPS 3339918 WITH SCORE 3343793.626
AT ITER 3892 NEW BEST:: SOT 7048083 SOS 3875108 HAS SOPS 3875108 HAS SOUS 3339380 HAS SOUPS 3339380 WITH SCORE 3343255.108
AT ITER 3895 NEW BEST:: SOT 7047970 SOS 3874422 HAS SOPS 3874422 HAS SOUS 3339131 HAS SOUPS 3339131 WITH SCORE 3343005.422
AT ITER 3905 NEW BEST:: SOT 7047970 SOS 3874195 HAS SOPS 3874195 HAS SOUS 3339131 HAS SOUPS 3339131 WITH SCORE 3343005.195
AT ITER 3910 NEW BEST:: SOT 7047690 SOS 3873580 HAS SOPS 3873580 HAS SOUS 3338601 HAS SOUPS 3338601 WITH SCORE 3342474.58
AT ITER 3913 NEW BEST:: SOT 7042638 SOS 3870641 HAS SOPS 3870641 HAS SOUS 3335028 HAS SOUPS 3335028 WITH SCORE 3338898.641
AT ITER 3918 NEW BEST:: SOT 7042432 SOS 3869990 HAS SOPS 3869990 HAS SOUS 3334230 HAS SOUPS 3334230 WITH SCORE 3338099.99
AT ITER 3923 NEW BEST:: SOT 7038965 SOS 3867741 HAS SOPS 3867741 HAS SOUS 3332362 HAS SOUPS 3332362 WITH SCORE 3336229.741
AT ITER 3926 NEW BEST:: SOT 7037040 SOS 3870665 HAS SOPS 3870665 HAS SOUS 3332001 HAS SOUPS 3332001 WITH SCORE 3335871.665
AT ITER 3928 NEW BEST:: SOT 7035612 SOS 3869685 HAS SOPS 3869685 HAS SOUS 3331066 HAS SOUPS 3331066 WITH SCORE 3334935.685
AT ITER 3930 NEW BEST:: SOT 7035612 SOS 3869470 HAS SOPS 3869470 HAS SOUS 3331066 HAS SOUPS 3331066 WITH SCORE 3334935.47
AT ITER 3935 NEW BEST:: SOT 7035612 SOS 3869428 HAS SOPS 3869428 HAS SOUS 3331024 HAS SOUPS 3331024 WITH SCORE 3334893.428
AT ITER 3939 NEW BEST:: SOT 7031710 SOS 3872228 HAS SOPS 3872228 HAS SOUS 3330133 HAS SOUPS 3330133 WITH SCORE 3334005.228
AT ITER 3945 NEW BEST:: SOT 7031710 SOS 3872137 HAS SOPS 3872137 HAS SOUS 3330133 HAS SOUPS 3330133 WITH SCORE 3334005.137
AT ITER 3946 NEW BEST:: SOT 7031576 SOS 3870274 HAS SOPS 3870274 HAS SOUS 3329913 HAS SOUPS 3329913 WITH SCORE 3333783.274
AT ITER 3948 NEW BEST:: SOT 7031752 SOS 3870456 HAS SOPS 3870456 HAS SOUS 3329732 HAS SOUPS 3329732 WITH SCORE 3333602.456
AT ITER 3952 NEW BEST:: SOT 7030787 SOS 3869491 HAS SOPS 3869491 HAS SOUS 3328770 HAS SOUPS 3328770 WITH SCORE 3332639.491
AT ITER 3953 NEW BEST:: SOT 7030733 SOS 3868649 HAS SOPS 3868649 HAS SOUS 3328348 HAS SOUPS 3328348 WITH SCORE 3332216.649
AT ITER 3954 NEW BEST:: SOT 7030652 SOS 3869135 HAS SOPS 3869135 HAS SOUS 3328267 HAS SOUPS 3328267 WITH SCORE 3332136.135
AT ITER 3960 NEW BEST:: SOT 7029321 SOS 3868323 HAS SOPS 3868323 HAS SOUS 3327286 HAS SOUPS 3327286 WITH SCORE 3331154.323
AT ITER 3968 NEW BEST:: SOT 7028142 SOS 3868177 HAS SOPS 3868177 HAS SOUS 3326862 HAS SOUPS 3326862 WITH SCORE 3330730.177
AT ITER 3971 NEW BEST:: SOT 7028161 SOS 3868261 HAS SOPS 3868261 HAS SOUS 3326770 HAS SOUPS 3326770 WITH SCORE 3330638.261
AT ITER 3973 NEW BEST:: SOT 7025546 SOS 3866130 HAS SOPS 3866130 HAS SOUS 3324964 HAS SOUPS 3324964 WITH SCORE 3328830.13
AT ITER 3974 NEW BEST:: SOT 7022900 SOS 3873391 HAS SOPS 3873391 HAS SOUS 3323827 HAS SOUPS 3323827 WITH SCORE 3327700.391
AT ITER 3975 NEW BEST:: SOT 7021452 SOS 3873539 HAS SOPS 3873539 HAS SOUS 3323128 HAS SOUPS 3323128 WITH SCORE 3327001.539
AT ITER 3977 NEW BEST:: SOT 7019749 SOS 3876328 HAS SOPS 3876328 HAS SOUS 3323005 HAS SOUPS 3323005 WITH SCORE 3326881.328
AT ITER 3978 NEW BEST:: SOT 7019749 SOS 3876033 HAS SOPS 3876033 HAS SOUS 3323005 HAS SOUPS 3323005 WITH SCORE 3326881.033
AT ITER 3985 NEW BEST:: SOT 7019749 SOS 3876451 HAS SOPS 3876451 HAS SOUS 3322715 HAS SOUPS 3322715 WITH SCORE 3326591.451
AT ITER 4012 NEW BEST:: SOT 7019861 SOS 3870178 HAS SOPS 3870178 HAS SOUS 3322593 HAS SOUPS 3322593 WITH SCORE 3326463.178
AT ITER 4016 NEW BEST:: SOT 7019861 SOS 3870145 HAS SOPS 3870145 HAS SOUS 3322593 HAS SOUPS 3322593 WITH SCORE 3326463.145
AT ITER 4018 NEW BEST:: SOT 7019861 SOS 3870053 HAS SOPS 3870053 HAS SOUS 3322593 HAS SOUPS 3322593 WITH SCORE 3326463.053
AT ITER 4021 NEW BEST:: SOT 7019764 SOS 3870078 HAS SOPS 3870078 HAS SOUS 3322130 HAS SOUPS 3322130 WITH SCORE 3326000.078
AT ITER 4025 NEW BEST:: SOT 7019488 SOS 3870076 HAS SOPS 3870076 HAS SOUS 3322128 HAS SOUPS 3322128 WITH SCORE 3325998.076
AT ITER 4028 NEW BEST:: SOT 7019488 SOS 3869880 HAS SOPS 3869880 HAS SOUS 3322128 HAS SOUPS 3322128 WITH SCORE 3325997.88
AT ITER 4040 NEW BEST:: SOT 7018390 SOS 3869576 HAS SOPS 3869576 HAS SOUS 3322105 HAS SOUPS 3322105 WITH SCORE 3325974.576
AT ITER 4052 NEW BEST:: SOT 7015737 SOS 3874578 HAS SOPS 3874578 HAS SOUS 3321480 HAS SOUPS 3321480 WITH SCORE 3325354.578
AT ITER 4054 NEW BEST:: SOT 7015737 SOS 3874470 HAS SOPS 3874470 HAS SOUS 3321462 HAS SOUPS 3321462 WITH SCORE 3325336.47
AT ITER 4063 NEW BEST:: SOT 7013315 SOS 3872409 HAS SOPS 3872409 HAS SOUS 3319739 HAS SOUPS 3319739 WITH SCORE 3323611.409
AT ITER 4068 NEW BEST:: SOT 7013315 SOS 3872409 HAS SOPS 3872409 HAS SOUS 3319738 HAS SOUPS 3319738 WITH SCORE 3323610.409
AT ITER 4074 NEW BEST:: SOT 7013315 SOS 3872289 HAS SOPS 3872289 HAS SOUS 3319738 HAS SOUPS 3319738 WITH SCORE 3323610.289
AT ITER 4081 NEW BEST:: SOT 7013315 SOS 3872215 HAS SOPS 3872215 HAS SOUS 3319738 HAS SOUPS 3319738 WITH SCORE 3323610.215
AT ITER 4083 NEW BEST:: SOT 7013315 SOS 3871935 HAS SOPS 3871935 HAS SOUS 3319738 HAS SOUPS 3319738 WITH SCORE 3323609.935
AT ITER 4084 NEW BEST:: SOT 7013315 SOS 3871770 HAS SOPS 3871770 HAS SOUS 3319738 HAS SOUPS 3319738 WITH SCORE 3323609.77
AT ITER 4087 NEW BEST:: SOT 7012067 SOS 3870678 HAS SOPS 3870678 HAS SOUS 3318731 HAS SOUPS 3318731 WITH SCORE 3322601.678
AT ITER 4089 NEW BEST:: SOT 7012067 SOS 3870365 HAS SOPS 3870365 HAS SOUS 3318715 HAS SOUPS 3318715 WITH SCORE 3322585.365
AT ITER 4090 NEW BEST:: SOT 7012067 SOS 3869757 HAS SOPS 3869757 HAS SOUS 3318669 HAS SOUPS 3318669 WITH SCORE 3322538.757
AT ITER 4092 NEW BEST:: SOT 7012067 SOS 3869470 HAS SOPS 3869470 HAS SOUS 3318669 HAS SOUPS 3318669 WITH SCORE 3322538.47
AT ITER 4096 NEW BEST:: SOT 7008599 SOS 3867955 HAS SOPS 3867955 HAS SOUS 3316641 HAS SOUPS 3316641 WITH SCORE 3320508.955
AT ITER 4098 NEW BEST:: SOT 7008599 SOS 3867914 HAS SOPS 3867914 HAS SOUS 3316641 HAS SOUPS 3316641 WITH SCORE 3320508.914
AT ITER 4108 NEW BEST:: SOT 7008640 SOS 3867955 HAS SOPS 3867955 HAS SOUS 3316564 HAS SOUPS 3316564 WITH SCORE 3320431.955
AT ITER 4113 NEW BEST:: SOT 7002301 SOS 3862833 HAS SOPS 3862833 HAS SOUS 3311647 HAS SOUPS 3311647 WITH SCORE 3315509.833
AT ITER 4122 NEW BEST:: SOT 7002301 SOS 3862514 HAS SOPS 3862514 HAS SOUS 3311631 HAS SOUPS 3311631 WITH SCORE 3315493.514
AT ITER 4126 NEW BEST:: SOT 7002270 SOS 3862223 HAS SOPS 3862223 HAS SOUS 3311623 HAS SOUPS 3311623 WITH SCORE 3315485.223
AT ITER 4127 NEW BEST:: SOT 7002270 SOS 3862158 HAS SOPS 3862158 HAS SOUS 3311175 HAS SOUPS 3311175 WITH SCORE 3315037.158
AT ITER 4135 NEW BEST:: SOT 7000826 SOS 3854798 HAS SOPS 3854798 HAS SOUS 3309104 HAS SOUPS 3309104 WITH SCORE 3312958.798
AT ITER 4137 NEW BEST:: SOT 7000826 SOS 3854099 HAS SOPS 3854099 HAS SOUS 3309104 HAS SOUPS 3309104 WITH SCORE 3312958.099
AT ITER 4140 NEW BEST:: SOT 6999531 SOS 3853192 HAS SOPS 3853192 HAS SOUS 3308000 HAS SOUPS 3308000 WITH SCORE 3311853.192
AT ITER 4146 NEW BEST:: SOT 6999533 SOS 3853094 HAS SOPS 3853094 HAS SOUS 3307857 HAS SOUPS 3307857 WITH SCORE 3311710.094
AT ITER 4151 NEW BEST:: SOT 6999533 SOS 3852817 HAS SOPS 3852817 HAS SOUS 3307551 HAS SOUPS 3307551 WITH SCORE 3311403.817
AT ITER 4154 NEW BEST:: SOT 6997618 SOS 3851168 HAS SOPS 3851168 HAS SOUS 3305655 HAS SOUPS 3305655 WITH SCORE 3309506.168
AT ITER 4159 NEW BEST:: SOT 6997618 SOS 3850524 HAS SOPS 3850524 HAS SOUS 3305655 HAS SOUPS 3305655 WITH SCORE 3309505.524
AT ITER 4165 NEW BEST:: SOT 6997548 SOS 3850354 HAS SOPS 3850354 HAS SOUS 3305573 HAS SOUPS 3305573 WITH SCORE 3309423.354
AT ITER 4177 NEW BEST:: SOT 6997548 SOS 3849780 HAS SOPS 3849780 HAS SOUS 3304843 HAS SOUPS 3304843 WITH SCORE 3308692.78
AT ITER 4186 NEW BEST:: SOT 6997548 SOS 3849519 HAS SOPS 3849519 HAS SOUS 3304843 HAS SOUPS 3304843 WITH SCORE 3308692.519
AT ITER 4188 NEW BEST:: SOT 6997521 SOS 3849492 HAS SOPS 3849492 HAS SOUS 3304478 HAS SOUPS 3304478 WITH SCORE 3308327.492
AT ITER 4196 NEW BEST:: SOT 6997521 SOS 3849213 HAS SOPS 3849213 HAS SOUS 3304478 HAS SOUPS 3304478 WITH SCORE 3308327.213
AT ITER 4200 NEW BEST:: SOT 6995275 SOS 3847674 HAS SOPS 3847674 HAS SOUS 3303187 HAS SOUPS 3303187 WITH SCORE 3307034.674
AT ITER 4201 NEW BEST:: SOT 6995275 SOS 3846750 HAS SOPS 3846750 HAS SOUS 3303088 HAS SOUPS 3303088 WITH SCORE 3306934.75
AT ITER 4202 NEW BEST:: SOT 6992577 SOS 3844990 HAS SOPS 3844990 HAS SOUS 3300390 HAS SOUPS 3300390 WITH SCORE 3304234.99
AT ITER 4207 NEW BEST:: SOT 6991479 SOS 3844195 HAS SOPS 3844195 HAS SOUS 3299514 HAS SOUPS 3299514 WITH SCORE 3303358.195
AT ITER 4208 NEW BEST:: SOT 6991479 SOS 3843568 HAS SOPS 3843568 HAS SOUS 3299514 HAS SOUPS 3299514 WITH SCORE 3303357.568
AT ITER 4209 NEW BEST:: SOT 6991479 SOS 3843507 HAS SOPS 3843507 HAS SOUS 3299514 HAS SOUPS 3299514 WITH SCORE 3303357.507
AT ITER 4215 NEW BEST:: SOT 6991479 SOS 3840162 HAS SOPS 3840162 HAS SOUS 3299514 HAS SOUPS 3299514 WITH SCORE 3303354.162
AT ITER 4222 NEW BEST:: SOT 6991266 SOS 3839949 HAS SOPS 3839949 HAS SOUS 3299301 HAS SOUPS 3299301 WITH SCORE 3303140.949
AT ITER 4223 NEW BEST:: SOT 6991266 SOS 3834602 HAS SOPS 3834602 HAS SOUS 3299301 HAS SOUPS 3299301 WITH SCORE 3303135.602
AT ITER 4225 NEW BEST:: SOT 6991266 SOS 3834551 HAS SOPS 3834551 HAS SOUS 3299301 HAS SOUPS 3299301 WITH SCORE 3303135.551
AT ITER 4229 NEW BEST:: SOT 6987877 SOS 3834289 HAS SOPS 3834289 HAS SOUS 3298291 HAS SOUPS 3298291 WITH SCORE 3302125.289
AT ITER 4239 NEW BEST:: SOT 6986156 SOS 3834783 HAS SOPS 3834783 HAS SOUS 3297632 HAS SOUPS 3297632 WITH SCORE 3301466.783
AT ITER 4242 NEW BEST:: SOT 6986156 SOS 3834606 HAS SOPS 3834606 HAS SOUS 3297455 HAS SOUPS 3297455 WITH SCORE 3301289.606
AT ITER 4246 NEW BEST:: SOT 6986156 SOS 3834398 HAS SOPS 3834398 HAS SOUS 3297247 HAS SOUPS 3297247 WITH SCORE 3301081.398
AT ITER 4255 NEW BEST:: SOT 6983688 SOS 3839907 HAS SOPS 3839907 HAS SOUS 3295835 HAS SOUPS 3295835 WITH SCORE 3299674.907
AT ITER 4257 NEW BEST:: SOT 6983452 SOS 3839112 HAS SOPS 3839112 HAS SOUS 3294980 HAS SOUPS 3294980 WITH SCORE 3298819.112
AT ITER 4259 NEW BEST:: SOT 6983452 SOS 3839086 HAS SOPS 3839086 HAS SOUS 3294980 HAS SOUPS 3294980 WITH SCORE 3298819.086
AT ITER 4266 NEW BEST:: SOT 6983452 SOS 3838930 HAS SOPS 3838930 HAS SOUS 3294980 HAS SOUPS 3294980 WITH SCORE 3298818.93
AT ITER 4267 NEW BEST:: SOT 6983005 SOS 3839720 HAS SOPS 3839720 HAS SOUS 3294667 HAS SOUPS 3294667 WITH SCORE 3298506.72
AT ITER 4273 NEW BEST:: SOT 6980289 SOS 3839185 HAS SOPS 3839185 HAS SOUS 3293938 HAS SOUPS 3293938 WITH SCORE 3297777.185
AT ITER 4275 NEW BEST:: SOT 6980289 SOS 3839144 HAS SOPS 3839144 HAS SOUS 3293870 HAS SOUPS 3293870 WITH SCORE 3297709.144
AT ITER 4277 NEW BEST:: SOT 6980231 SOS 3839086 HAS SOPS 3839086 HAS SOUS 3293754 HAS SOUPS 3293754 WITH SCORE 3297593.086
AT ITER 4280 NEW BEST:: SOT 6980231 SOS 3839061 HAS SOPS 3839061 HAS SOUS 3293754 HAS SOUPS 3293754 WITH SCORE 3297593.061
AT ITER 4299 NEW BEST:: SOT 6974280 SOS 3846582 HAS SOPS 3846582 HAS SOUS 3292530 HAS SOUPS 3292530 WITH SCORE 3296376.582
AT ITER 4301 NEW BEST:: SOT 6974858 SOS 3846215 HAS SOPS 3846215 HAS SOUS 3291828 HAS SOUPS 3291828 WITH SCORE 3295674.215
AT ITER 4307 NEW BEST:: SOT 6974994 SOS 3844415 HAS SOPS 3844415 HAS SOUS 3289375 HAS SOUPS 3289375 WITH SCORE 3293219.415
AT ITER 4314 NEW BEST:: SOT 6973681 SOS 3844268 HAS SOPS 3844268 HAS SOUS 3289354 HAS SOUPS 3289354 WITH SCORE 3293198.268
AT ITER 4317 NEW BEST:: SOT 6973681 SOS 3844166 HAS SOPS 3844166 HAS SOUS 3289354 HAS SOUPS 3289354 WITH SCORE 3293198.166
AT ITER 4318 NEW BEST:: SOT 6973681 SOS 3839894 HAS SOPS 3839894 HAS SOUS 3289354 HAS SOUPS 3289354 WITH SCORE 3293193.894
AT ITER 4321 NEW BEST:: SOT 6973679 SOS 3838800 HAS SOPS 3838800 HAS SOUS 3289223 HAS SOUPS 3289223 WITH SCORE 3293061.8
AT ITER 4334 NEW BEST:: SOT 6973369 SOS 3838767 HAS SOPS 3838767 HAS SOUS 3289190 HAS SOUPS 3289190 WITH SCORE 3293028.767
AT ITER 4345 NEW BEST:: SOT 6973369 SOS 3838709 HAS SOPS 3838709 HAS SOUS 3289190 HAS SOUPS 3289190 WITH SCORE 3293028.709
AT ITER 4352 NEW BEST:: SOT 6973369 SOS 3838468 HAS SOPS 3838468 HAS SOUS 3289183 HAS SOUPS 3289183 WITH SCORE 3293021.468
AT ITER 4357 NEW BEST:: SOT 6972266 SOS 3839068 HAS SOPS 3839068 HAS SOUS 3288345 HAS SOUPS 3288345 WITH SCORE 3292184.068
AT ITER 4359 NEW BEST:: SOT 6972266 SOS 3838998 HAS SOPS 3838998 HAS SOUS 3288345 HAS SOUPS 3288345 WITH SCORE 3292183.998
AT ITER 4367 NEW BEST:: SOT 6966626 SOS 3843158 HAS SOPS 3843158 HAS SOUS 3285886 HAS SOUPS 3285886 WITH SCORE 3289729.158
AT ITER 4369 NEW BEST:: SOT 6966626 SOS 3842751 HAS SOPS 3842751 HAS SOUS 3285886 HAS SOUPS 3285886 WITH SCORE 3289728.751
AT ITER 4379 NEW BEST:: SOT 6966068 SOS 3840417 HAS SOPS 3840417 HAS SOUS 3285328 HAS SOUPS 3285328 WITH SCORE 3289168.417
AT ITER 4394 NEW BEST:: SOT 6966068 SOS 3840175 HAS SOPS 3840175 HAS SOUS 3285328 HAS SOUPS 3285328 WITH SCORE 3289168.175
AT ITER 4399 NEW BEST:: SOT 6966068 SOS 3839901 HAS SOPS 3839901 HAS SOUS 3285328 HAS SOUPS 3285328 WITH SCORE 3289167.901
AT ITER 4401 NEW BEST:: SOT 6966068 SOS 3839719 HAS SOPS 3839719 HAS SOUS 3285328 HAS SOUPS 3285328 WITH SCORE 3289167.719
AT ITER 4404 NEW BEST:: SOT 6966068 SOS 3839678 HAS SOPS 3839678 HAS SOUS 3285328 HAS SOUPS 3285328 WITH SCORE 3289167.678
AT ITER 4406 NEW BEST:: SOT 6966068 SOS 3839904 HAS SOPS 3839904 HAS SOUS 3285218 HAS SOUPS 3285218 WITH SCORE 3289057.904
AT ITER 4407 NEW BEST:: SOT 6963973 SOS 3838853 HAS SOPS 3838853 HAS SOUS 3284123 HAS SOUPS 3284123 WITH SCORE 3287961.853
AT ITER 4408 NEW BEST:: SOT 6964190 SOS 3838632 HAS SOPS 3838632 HAS SOUS 3283940 HAS SOUPS 3283940 WITH SCORE 3287778.632
AT ITER 4417 NEW BEST:: SOT 6962663 SOS 3837163 HAS SOPS 3837163 HAS SOUS 3282413 HAS SOUPS 3282413 WITH SCORE 3286250.163
AT ITER 4422 NEW BEST:: SOT 6962663 SOS 3835748 HAS SOPS 3835748 HAS SOUS 3282323 HAS SOUPS 3282323 WITH SCORE 3286158.748
AT ITER 4429 NEW BEST:: SOT 6961705 SOS 3835278 HAS SOPS 3835278 HAS SOUS 3281501 HAS SOUPS 3281501 WITH SCORE 3285336.278
AT ITER 4431 NEW BEST:: SOT 6961705 SOS 3835250 HAS SOPS 3835250 HAS SOUS 3281501 HAS SOUPS 3281501 WITH SCORE 3285336.25
AT ITER 4433 NEW BEST:: SOT 6961705 SOS 3835139 HAS SOPS 3835139 HAS SOUS 3281501 HAS SOUPS 3281501 WITH SCORE 3285336.139
AT ITER 4435 NEW BEST:: SOT 6961705 SOS 3835139 HAS SOPS 3835139 HAS SOUS 3281424 HAS SOUPS 3281424 WITH SCORE 3285259.139
AT ITER 4441 NEW BEST:: SOT 6962049 SOS 3835106 HAS SOPS 3835106 HAS SOUS 3281317 HAS SOUPS 3281317 WITH SCORE 3285152.106
AT ITER 4444 NEW BEST:: SOT 6962049 SOS 3834998 HAS SOPS 3834998 HAS SOUS 3280812 HAS SOUPS 3280812 WITH SCORE 3284646.998
AT ITER 4445 NEW BEST:: SOT 6961874 SOS 3834950 HAS SOPS 3834950 HAS SOUS 3280801 HAS SOUPS 3280801 WITH SCORE 3284635.95
AT ITER 4454 NEW BEST:: SOT 6961874 SOS 3834885 HAS SOPS 3834885 HAS SOUS 3280744 HAS SOUPS 3280744 WITH SCORE 3284578.885
AT ITER 4466 NEW BEST:: SOT 6961874 SOS 3834705 HAS SOPS 3834705 HAS SOUS 3280564 HAS SOUPS 3280564 WITH SCORE 3284398.705
AT ITER 4473 NEW BEST:: SOT 6961898 SOS 3834705 HAS SOPS 3834705 HAS SOUS 3280516 HAS SOUPS 3280516 WITH SCORE 3284350.705
AT ITER 4476 NEW BEST:: SOT 6961898 SOS 3830707 HAS SOPS 3830707 HAS SOUS 3279868 HAS SOUPS 3279868 WITH SCORE 3283698.707
AT ITER 4481 NEW BEST:: SOT 6959922 SOS 3830020 HAS SOPS 3830020 HAS SOUS 3278400 HAS SOUPS 3278400 WITH SCORE 3282230.02
AT ITER 4486 NEW BEST:: SOT 6959922 SOS 3829876 HAS SOPS 3829876 HAS SOUS 3278400 HAS SOUPS 3278400 WITH SCORE 3282229.876
AT ITER 4491 NEW BEST:: SOT 6959807 SOS 3830075 HAS SOPS 3830075 HAS SOUS 3278019 HAS SOUPS 3278019 WITH SCORE 3281849.075
AT ITER 4503 NEW BEST:: SOT 6957481 SOS 3829765 HAS SOPS 3829765 HAS SOUS 3277362 HAS SOUPS 3277362 WITH SCORE 3281191.765
AT ITER 4508 NEW BEST:: SOT 6957481 SOS 3829673 HAS SOPS 3829673 HAS SOUS 3277362 HAS SOUPS 3277362 WITH SCORE 3281191.673
AT ITER 4525 NEW BEST:: SOT 6957481 SOS 3829639 HAS SOPS 3829639 HAS SOUS 3277362 HAS SOUPS 3277362 WITH SCORE 3281191.639
AT ITER 4526 NEW BEST:: SOT 6957063 SOS 3830012 HAS SOPS 3830012 HAS SOUS 3277192 HAS SOUPS 3277192 WITH SCORE 3281022.012
AT ITER 4530 NEW BEST:: SOT 6957076 SOS 3830190 HAS SOPS 3830190 HAS SOUS 3277179 HAS SOUPS 3277179 WITH SCORE 3281009.19
AT ITER 4540 NEW BEST:: SOT 6957076 SOS 3829518 HAS SOPS 3829518 HAS SOUS 3277179 HAS SOUPS 3277179 WITH SCORE 3281008.518
AT ITER 4546 NEW BEST:: SOT 6957076 SOS 3830535 HAS SOPS 3830535 HAS SOUS 3276357 HAS SOUPS 3276357 WITH SCORE 3280187.535
AT ITER 4547 NEW BEST:: SOT 6955200 SOS 3831346 HAS SOPS 3831346 HAS SOUS 3275866 HAS SOUPS 3275866 WITH SCORE 3279697.346
AT ITER 4552 NEW BEST:: SOT 6955298 SOS 3831435 HAS SOPS 3831435 HAS SOUS 3274951 HAS SOUPS 3274951 WITH SCORE 3278782.435
AT ITER 4556 NEW BEST:: SOT 6955298 SOS 3831260 HAS SOPS 3831260 HAS SOUS 3274951 HAS SOUPS 3274951 WITH SCORE 3278782.26
AT ITER 4570 NEW BEST:: SOT 6955298 SOS 3830945 HAS SOPS 3830945 HAS SOUS 3274951 HAS SOUPS 3274951 WITH SCORE 3278781.945
AT ITER 4574 NEW BEST:: SOT 6955191 SOS 3830290 HAS SOPS 3830290 HAS SOUS 3273986 HAS SOUPS 3273986 WITH SCORE 3277816.29
AT ITER 4578 NEW BEST:: SOT 6955191 SOS 3830048 HAS SOPS 3830048 HAS SOUS 3273986 HAS SOUPS 3273986 WITH SCORE 3277816.048
AT ITER 4595 NEW BEST:: SOT 6955191 SOS 3829554 HAS SOPS 3829554 HAS SOUS 3273966 HAS SOUPS 3273966 WITH SCORE 3277795.554
AT ITER 4600 NEW BEST:: SOT 6955191 SOS 3829233 HAS SOPS 3829233 HAS SOUS 3273966 HAS SOUPS 3273966 WITH SCORE 3277795.233
AT ITER 4606 NEW BEST:: SOT 6953582 SOS 3829554 HAS SOPS 3829554 HAS SOUS 3273046 HAS SOUPS 3273046 WITH SCORE 3276875.554
AT ITER 4612 NEW BEST:: SOT 6953582 SOS 3828962 HAS SOPS 3828962 HAS SOUS 3273046 HAS SOUPS 3273046 WITH SCORE 3276874.962
AT ITER 4615 NEW BEST:: SOT 6953582 SOS 3828752 HAS SOPS 3828752 HAS SOUS 3273046 HAS SOUPS 3273046 WITH SCORE 3276874.752
AT ITER 4619 NEW BEST:: SOT 6951696 SOS 3832957 HAS SOPS 3832957 HAS SOUS 3271613 HAS SOUPS 3271613 WITH SCORE 3275445.957
AT ITER 4623 NEW BEST:: SOT 6948353 SOS 3834168 HAS SOPS 3834168 HAS SOUS 3270609 HAS SOUPS 3270609 WITH SCORE 3274443.168
AT ITER 4624 NEW BEST:: SOT 6948353 SOS 3834100 HAS SOPS 3834100 HAS SOUS 3270609 HAS SOUPS 3270609 WITH SCORE 3274443.1
AT ITER 4630 NEW BEST:: SOT 6948353 SOS 3833725 HAS SOPS 3833725 HAS SOUS 3269454 HAS SOUPS 3269454 WITH SCORE 3273287.725
AT ITER 4638 NEW BEST:: SOT 6948497 SOS 3833401 HAS SOPS 3833401 HAS SOUS 3269338 HAS SOUPS 3269338 WITH SCORE 3273171.401
AT ITER 4639 NEW BEST:: SOT 6948497 SOS 3833203 HAS SOPS 3833203 HAS SOUS 3269338 HAS SOUPS 3269338 WITH SCORE 3273171.203
AT ITER 4645 NEW BEST:: SOT 6948497 SOS 3833203 HAS SOPS 3833203 HAS SOUS 3269055 HAS SOUPS 3269055 WITH SCORE 3272888.203
AT ITER 4654 NEW BEST:: SOT 6948497 SOS 3833376 HAS SOPS 3833376 HAS SOUS 3268988 HAS SOUPS 3268988 WITH SCORE 3272821.376
AT ITER 4657 NEW BEST:: SOT 6948497 SOS 3833376 HAS SOPS 3833376 HAS SOUS 3268824 HAS SOUPS 3268824 WITH SCORE 3272657.376
AT ITER 4660 NEW BEST:: SOT 6947929 SOS 3832808 HAS SOPS 3832808 HAS SOUS 3268695 HAS SOUPS 3268695 WITH SCORE 3272527.808
AT ITER 4662 NEW BEST:: SOT 6945133 SOS 3830686 HAS SOPS 3830686 HAS SOUS 3266908 HAS SOUPS 3266908 WITH SCORE 3270738.686
AT ITER 4672 NEW BEST:: SOT 6945033 SOS 3830586 HAS SOPS 3830586 HAS SOUS 3266782 HAS SOUPS 3266782 WITH SCORE 3270612.586
AT ITER 4675 NEW BEST:: SOT 6945033 SOS 3830169 HAS SOPS 3830169 HAS SOUS 3266782 HAS SOUPS 3266782 WITH SCORE 3270612.169
AT ITER 4677 NEW BEST:: SOT 6941293 SOS 3831664 HAS SOPS 3831664 HAS SOUS 3266129 HAS SOUPS 3266129 WITH SCORE 3269960.664
AT ITER 4682 NEW BEST:: SOT 6941293 SOS 3832372 HAS SOPS 3832372 HAS SOUS 3266097 HAS SOUPS 3266097 WITH SCORE 3269929.372
AT ITER 4692 NEW BEST:: SOT 6941293 SOS 3832354 HAS SOPS 3832354 HAS SOUS 3266097 HAS SOUPS 3266097 WITH SCORE 3269929.354
AT ITER 4698 NEW BEST:: SOT 6941293 SOS 3832194 HAS SOPS 3832194 HAS SOUS 3266097 HAS SOUPS 3266097 WITH SCORE 3269929.194
AT ITER 4708 NEW BEST:: SOT 6941293 SOS 3831721 HAS SOPS 3831721 HAS SOUS 3266097 HAS SOUPS 3266097 WITH SCORE 3269928.721
AT ITER 4710 NEW BEST:: SOT 6941293 SOS 3831680 HAS SOPS 3831680 HAS SOUS 3266097 HAS SOUPS 3266097 WITH SCORE 3269928.68
AT ITER 4712 NEW BEST:: SOT 6941293 SOS 3831550 HAS SOPS 3831550 HAS SOUS 3265967 HAS SOUPS 3265967 WITH SCORE 3269798.55
AT ITER 4721 NEW BEST:: SOT 6941293 SOS 3831334 HAS SOPS 3831334 HAS SOUS 3265967 HAS SOUPS 3265967 WITH SCORE 3269798.334
AT ITER 4725 NEW BEST:: SOT 6941293 SOS 3831197 HAS SOPS 3831197 HAS SOUS 3265967 HAS SOUPS 3265967 WITH SCORE 3269798.197
AT ITER 4730 NEW BEST:: SOT 6941293 SOS 3830850 HAS SOPS 3830850 HAS SOUS 3265967 HAS SOUPS 3265967 WITH SCORE 3269797.85
AT ITER 4731 NEW BEST:: SOT 6939397 SOS 3829994 HAS SOPS 3829994 HAS SOUS 3265067 HAS SOUPS 3265067 WITH SCORE 3268896.994
AT ITER 4734 NEW BEST:: SOT 6939397 SOS 3829899 HAS SOPS 3829899 HAS SOUS 3265067 HAS SOUPS 3265067 WITH SCORE 3268896.899
AT ITER 4745 NEW BEST:: SOT 6939397 SOS 3829849 HAS SOPS 3829849 HAS SOUS 3264777 HAS SOUPS 3264777 WITH SCORE 3268606.849
AT ITER 4760 NEW BEST:: SOT 6935318 SOS 3826376 HAS SOPS 3826376 HAS SOUS 3261253 HAS SOUPS 3261253 WITH SCORE 3265079.376
AT ITER 4766 NEW BEST:: SOT 6935025 SOS 3832039 HAS SOPS 3832039 HAS SOUS 3261078 HAS SOUPS 3261078 WITH SCORE 3264910.039
AT ITER 4779 NEW BEST:: SOT 6934946 SOS 3831635 HAS SOPS 3831635 HAS SOUS 3260754 HAS SOUPS 3260754 WITH SCORE 3264585.635
AT ITER 4780 NEW BEST:: SOT 6934860 SOS 3831463 HAS SOPS 3831463 HAS SOUS 3260582 HAS SOUPS 3260582 WITH SCORE 3264413.463
AT ITER 4784 NEW BEST:: SOT 6934860 SOS 3831451 HAS SOPS 3831451 HAS SOUS 3260582 HAS SOUPS 3260582 WITH SCORE 3264413.451
AT ITER 4788 NEW BEST:: SOT 6934860 SOS 3833246 HAS SOPS 3833246 HAS SOUS 3260452 HAS SOUPS 3260452 WITH SCORE 3264285.246
AT ITER 4789 NEW BEST:: SOT 6933811 SOS 3832591 HAS SOPS 3832591 HAS SOUS 3260153 HAS SOUPS 3260153 WITH SCORE 3263985.591
AT ITER 4792 NEW BEST:: SOT 6933811 SOS 3832124 HAS SOPS 3832124 HAS SOUS 3259197 HAS SOUPS 3259197 WITH SCORE 3263029.124
AT ITER 4800 NEW BEST:: SOT 6933811 SOS 3832212 HAS SOPS 3832212 HAS SOUS 3258771 HAS SOUPS 3258771 WITH SCORE 3262603.212
AT ITER 4803 NEW BEST:: SOT 6933667 SOS 3832104 HAS SOPS 3832104 HAS SOUS 3258725 HAS SOUPS 3258725 WITH SCORE 3262557.104
AT ITER 4804 NEW BEST:: SOT 6933667 SOS 3831916 HAS SOPS 3831916 HAS SOUS 3258725 HAS SOUPS 3258725 WITH SCORE 3262556.916
AT ITER 4812 NEW BEST:: SOT 6933667 SOS 3831815 HAS SOPS 3831815 HAS SOUS 3258623 HAS SOUPS 3258623 WITH SCORE 3262454.815
AT ITER 4824 NEW BEST:: SOT 6933667 SOS 3831748 HAS SOPS 3831748 HAS SOUS 3258623 HAS SOUPS 3258623 WITH SCORE 3262454.748
AT ITER 4828 NEW BEST:: SOT 6933667 SOS 3831300 HAS SOPS 3831300 HAS SOUS 3258623 HAS SOUPS 3258623 WITH SCORE 3262454.3
AT ITER 4832 NEW BEST:: SOT 6933667 SOS 3831161 HAS SOPS 3831161 HAS SOUS 3258623 HAS SOUPS 3258623 WITH SCORE 3262454.161
AT ITER 4836 NEW BEST:: SOT 6932403 SOS 3830055 HAS SOPS 3830055 HAS SOUS 3257566 HAS SOUPS 3257566 WITH SCORE 3261396.055
AT ITER 4842 NEW BEST:: SOT 6932403 SOS 3826646 HAS SOPS 3826646 HAS SOUS 3257566 HAS SOUPS 3257566 WITH SCORE 3261392.646
AT ITER 4844 NEW BEST:: SOT 6932403 SOS 3826392 HAS SOPS 3826392 HAS SOUS 3257379 HAS SOUPS 3257379 WITH SCORE 3261205.392
AT ITER 4845 NEW BEST:: SOT 6927946 SOS 3826716 HAS SOPS 3826716 HAS SOUS 3255820 HAS SOUPS 3255820 WITH SCORE 3259646.716
AT ITER 4860 NEW BEST:: SOT 6926000 SOS 3828253 HAS SOPS 3828253 HAS SOUS 3254572 HAS SOUPS 3254572 WITH SCORE 3258400.253
AT ITER 4861 NEW BEST:: SOT 6924872 SOS 3829895 HAS SOPS 3829895 HAS SOUS 3254323 HAS SOUPS 3254323 WITH SCORE 3258152.895
AT ITER 4862 NEW BEST:: SOT 6924150 SOS 3829549 HAS SOPS 3829549 HAS SOUS 3253601 HAS SOUPS 3253601 WITH SCORE 3257430.549
AT ITER 4863 NEW BEST:: SOT 6923956 SOS 3829079 HAS SOPS 3829079 HAS SOUS 3252119 HAS SOUPS 3252119 WITH SCORE 3255948.079
AT ITER 4867 NEW BEST:: SOT 6924220 SOS 3828280 HAS SOPS 3828280 HAS SOUS 3252119 HAS SOUPS 3252119 WITH SCORE 3255947.28
AT ITER 4869 NEW BEST:: SOT 6924220 SOS 3828101 HAS SOPS 3828101 HAS SOUS 3251936 HAS SOUPS 3251936 WITH SCORE 3255764.101
AT ITER 4886 NEW BEST:: SOT 6924220 SOS 3827718 HAS SOPS 3827718 HAS SOUS 3251529 HAS SOUPS 3251529 WITH SCORE 3255356.718
AT ITER 4891 NEW BEST:: SOT 6923195 SOS 3827996 HAS SOPS 3827996 HAS SOUS 3250282 HAS SOUPS 3250282 WITH SCORE 3254109.996
AT ITER 4893 NEW BEST:: SOT 6918820 SOS 3824727 HAS SOPS 3824727 HAS SOUS 3246828 HAS SOUPS 3246828 WITH SCORE 3250652.727
AT ITER 4895 NEW BEST:: SOT 6918820 SOS 3824543 HAS SOPS 3824543 HAS SOUS 3246644 HAS SOUPS 3246644 WITH SCORE 3250468.543
AT ITER 4897 NEW BEST:: SOT 6918541 SOS 3829565 HAS SOPS 3829565 HAS SOUS 3246527 HAS SOUPS 3246527 WITH SCORE 3250356.565
AT ITER 4908 NEW BEST:: SOT 6918541 SOS 3829241 HAS SOPS 3829241 HAS SOUS 3246527 HAS SOUPS 3246527 WITH SCORE 3250356.241
AT ITER 4909 NEW BEST:: SOT 6916615 SOS 3834308 HAS SOPS 3834308 HAS SOUS 3245482 HAS SOUPS 3245482 WITH SCORE 3249316.308
AT ITER 4915 NEW BEST:: SOT 6916615 SOS 3831898 HAS SOPS 3831898 HAS SOUS 3245464 HAS SOUPS 3245464 WITH SCORE 3249295.898
AT ITER 4917 NEW BEST:: SOT 6916294 SOS 3831684 HAS SOPS 3831684 HAS SOUS 3245248 HAS SOUPS 3245248 WITH SCORE 3249079.684
AT ITER 4927 NEW BEST:: SOT 6912911 SOS 3829323 HAS SOPS 3829323 HAS SOUS 3243376 HAS SOUPS 3243376 WITH SCORE 3247205.323
AT ITER 4934 NEW BEST:: SOT 6910482 SOS 3828379 HAS SOPS 3828379 HAS SOUS 3243207 HAS SOUPS 3243207 WITH SCORE 3247035.379
AT ITER 4937 NEW BEST:: SOT 6910568 SOS 3828465 HAS SOPS 3828465 HAS SOUS 3243196 HAS SOUPS 3243196 WITH SCORE 3247024.465
AT ITER 4944 NEW BEST:: SOT 6910568 SOS 3828330 HAS SOPS 3828330 HAS SOUS 3243196 HAS SOUPS 3243196 WITH SCORE 3247024.33
AT ITER 4952 NEW BEST:: SOT 6910432 SOS 3827871 HAS SOPS 3827871 HAS SOUS 3242654 HAS SOUPS 3242654 WITH SCORE 3246481.871
AT ITER 4955 NEW BEST:: SOT 6909812 SOS 3827231 HAS SOPS 3827231 HAS SOUS 3240910 HAS SOUPS 3240910 WITH SCORE 3244737.231
AT ITER 4959 NEW BEST:: SOT 6906576 SOS 3827615 HAS SOPS 3827615 HAS SOUS 3240274 HAS SOUPS 3240274 WITH SCORE 3244101.615
AT ITER 4964 NEW BEST:: SOT 6904868 SOS 3825907 HAS SOPS 3825907 HAS SOUS 3239665 HAS SOUPS 3239665 WITH SCORE 3243490.907
AT ITER 4965 NEW BEST:: SOT 6904868 SOS 3825907 HAS SOPS 3825907 HAS SOUS 3239653 HAS SOUPS 3239653 WITH SCORE 3243478.907
AT ITER 4975 NEW BEST:: SOT 6904628 SOS 3825827 HAS SOPS 3825827 HAS SOUS 3239653 HAS SOUPS 3239653 WITH SCORE 3243478.827
AT ITER 4986 NEW BEST:: SOT 6904628 SOS 3825684 HAS SOPS 3825684 HAS SOUS 3239653 HAS SOUPS 3239653 WITH SCORE 3243478.684
AT ITER 4990 NEW BEST:: SOT 6904340 SOS 3825396 HAS SOPS 3825396 HAS SOUS 3238916 HAS SOUPS 3238916 WITH SCORE 3242741.396
AT ITER 4992 NEW BEST:: SOT 6904340 SOS 3824546 HAS SOPS 3824546 HAS SOUS 3238916 HAS SOUPS 3238916 WITH SCORE 3242740.546
AT ITER 4998 NEW BEST:: SOT 6902403 SOS 3825149 HAS SOPS 3825149 HAS SOUS 3237335 HAS SOUPS 3237335 WITH SCORE 3241160.149
Bounds file is: CTLFireability.xml
PROPERTY: Sudoku-PT-AN14-CTLFireability-00 ( ( (EG( (EF( ((potential((tk(P3281)>=1) & (tk(P5)>=1) & (tk(P2951)>=1)))))))) | (AF( (! ( ((potential((tk(P3258)>=1) & (tk(P10)>=1) & (tk(P2949)>=1)))) & ((potential((tk(P3186)>=1) & (tk(P8)>=1) & (tk(P2944)>=1)))) )))) ) & ((potential((tk(P3172)>=1) & (tk(P92)>=1) & (tk(P3027)>=1)))) )
PROPERTY: Sudoku-PT-AN14-CTLFireability-01 (EG( ((potential((tk(P3283)>=1) & (tk(P21)>=1) & (tk(P2965)>=1))))))
PROPERTY: Sudoku-PT-AN14-CTLFireability-02 (! (AU( (EX( ((potential((tk(P3159)>=1) & (tk(P23)>=1) & (tk(P2956)>=1)))))) , (EG( ((potential((tk(P3314)>=1) & (tk(P122)>=1) & (tk(P3065)>=1)))))) )))
PROPERTY: Sudoku-PT-AN14-CTLFireability-03 ( (! ( (AU( ((potential((tk(P3153)>=1) & (tk(P143)>=1) & (tk(P3082)>=1)))) , ((potential((tk(P3296)>=1) & (tk(P6)>=1) & (tk(P2952)>=1)))) )) & (EG( ( ((potential((tk(P3174)>=1) & (tk(P122)>=1) & (tk(P3055)>=1)))) | ((potential((tk(P3246)>=1) & (tk(P138)>=1) & (tk(P3074)>=1)))) ))) )) | (AG( (AF( ( ((potential((tk(P3287)>=1) & (tk(P39)>=1) & (tk(P2979)>=1)))) & ((potential((tk(P3328)>=1) & (tk(P38)>=1) & (tk(P2982)>=1)))) ))))) )
PROPERTY: Sudoku-PT-AN14-CTLFireability-04 (! (! (EX( (! ( ((potential((tk(P3139)>=1) & (tk(P185)>=1) & (tk(P3123)>=1)))) | ((potential((tk(P3239)>=1) & (tk(P131)>=1) & (tk(P3074)>=1)))) ))))))
PROPERTY: Sudoku-PT-AN14-CTLFireability-05 ( (! ( (AF( ( ((potential((tk(P3208)>=1) & (tk(P72)>=1) & (tk(P3016)>=1)))) | ((potential((tk(P3255)>=1) & (tk(P7)>=1) & (tk(P2949)>=1)))) ))) | (AG( ( ((potential((tk(P3140)>=1) & (tk(P172)>=1) & (tk(P3109)>=1)))) & ((potential((tk(P3315)>=1) & (tk(P95)>=1) & (tk(P3037)>=1)))) ))) )) | ( (AF( (EG( ((potential((tk(P3192)>=1) & (tk(P182)>=1) & (tk(P3112)>=1)))))))) | ( ( (EG( ((potential((tk(P3196)>=1) & (tk(P32)>=1) & (tk(P2973)>=1)))))) | ( (! ((potential((tk(P3254)>=1) & (tk(P118)>=1) & (tk(P3061)>=1))))) | (! ((potential((tk(P3211)>=1) & (tk(P145)>=1) & (tk(P3086)>=1))))) ) ) & (EU( ((potential((tk(P3143)>=1) & (tk(P35)>=1) & (tk(P2969)>=1)))) , ((potential((tk(P3191)>=1) & (tk(P83)>=1) & (tk(P3014)>=1)))) )) ) ) )
PROPERTY: Sudoku-PT-AN14-CTLFireability-06 ( ( (AX( (! (! ((potential((tk(P3214)>=1) & (tk(P162)>=1) & (tk(P3100)>=1)))))))) | ( ( ( ((potential((tk(P3214)>=1) & (tk(P50)>=1) & (tk(P2988)>=1)))) & ( ((potential((tk(P3202)>=1) & (tk(P10)>=1) & (tk(P2945)>=1)))) | ((potential((tk(P3267)>=1) & (tk(P19)>=1) & (tk(P2964)>=1)))) ) ) & ( (! ((potential((tk(P3175)>=1) & (tk(P95)>=1) & (tk(P3027)>=1))))) | ( ((potential((tk(P3301)>=1) & (tk(P95)>=1) & (tk(P3036)>=1)))) & ((potential((tk(P3193)>=1) & (tk(P113)>=1) & (tk(P3057)>=1)))) ) ) ) | ((potential((tk(P3253)>=1) & (tk(P89)>=1) & (tk(P3033)>=1)))) ) ) & ( (EG( ((potential((tk(P3179)>=1) & (tk(P57)>=1) & (tk(P3000)>=1)))))) & (AF( (EG( ((potential((tk(P3144)>=1) & (tk(P120)>=1) & (tk(P3053)>=1)))))))) ) )
PROPERTY: Sudoku-PT-AN14-CTLFireability-07 ( (AG( (! (EG( ((potential((tk(P3328)>=1) & (tk(P80)>=1) & (tk(P3024)>=1))))))))) | ( ( (AF( ( ((potential((tk(P3326)>=1) & (tk(P190)>=1) & (tk(P3136)>=1)))) | ((potential((tk(P3220)>=1) & (tk(P196)>=1) & (tk(P3128)>=1)))) ))) & ( ( ( ((potential((tk(P3217)>=1) & (tk(P11)>=1) & (tk(P2946)>=1)))) | ((potential((tk(P3260)>=1) & (tk(P110)>=1) & (tk(P3047)>=1)))) ) | ( ((potential((tk(P3224)>=1) & (tk(P102)>=1) & (tk(P3045)>=1)))) & ((potential((tk(P3291)>=1) & (tk(P43)>=1) & (tk(P2994)>=1)))) ) ) & (EG( ((potential((tk(P3181)>=1) & (tk(P115)>=1) & (tk(P3056)>=1)))))) ) ) | (AX( ( ( ((potential((tk(P3162)>=1) & (tk(P152)>=1) & (tk(P3082)>=1)))) | ((potential((tk(P3282)>=1) & (tk(P20)>=1) & (tk(P2965)>=1)))) ) | ((potential((tk(P3151)>=1) & (tk(P43)>=1) & (tk(P2984)>=1)))) ))) ) )
PROPERTY: Sudoku-PT-AN14-CTLFireability-08 (! (AG( (EX( (! ((potential((tk(P3226)>=1) & (tk(P160)>=1) & (tk(P3101)>=1))))))))))
PROPERTY: Sudoku-PT-AN14-CTLFireability-09 (AU( (EU( ((potential((tk(P3169)>=1) & (tk(P159)>=1) & (tk(P3097)>=1)))) , ((potential((tk(P3151)>=1) & (tk(P1)>=1) & (tk(P2942)>=1)))) )) , ( ((potential((tk(P3177)>=1) & (tk(P111)>=1) & (tk(P3041)>=1)))) & (EG( ((potential((tk(P3330)>=1) & (tk(P12)>=1) & (tk(P2954)>=1)))))) ) ))
PROPERTY: Sudoku-PT-AN14-CTLFireability-10 (EG( (! (EG( ( ((potential((tk(P3253)>=1) & (tk(P131)>=1) & (tk(P3075)>=1)))) & ((potential((tk(P3306)>=1) & (tk(P184)>=1) & (tk(P3135)>=1)))) ))))))
PROPERTY: Sudoku-PT-AN14-CTLFireability-11 (AG( ( (EX( ((potential((tk(P3229)>=1) & (tk(P37)>=1) & (tk(P2975)>=1)))))) | ((potential((tk(P3309)>=1) & (tk(P19)>=1) & (tk(P2967)>=1)))) )))
PROPERTY: Sudoku-PT-AN14-CTLFireability-12 (AU( (EG( ( ((potential((tk(P3174)>=1) & (tk(P136)>=1) & (tk(P3069)>=1)))) & ((potential((tk(P3219)>=1) & (tk(P27)>=1) & (tk(P2960)>=1)))) ))) , (AX( ( ((potential((tk(P3167)>=1) & (tk(P73)>=1) & (tk(P3013)>=1)))) & ((potential((tk(P3241)>=1) & (tk(P189)>=1) & (tk(P3130)>=1)))) ))) ))
PROPERTY: Sudoku-PT-AN14-CTLFireability-13 (! (AF( ( ( (! ((potential((tk(P3274)>=1) & (tk(P26)>=1) & (tk(P2964)>=1))))) & ((potential((tk(P3315)>=1) & (tk(P179)>=1) & (tk(P3121)>=1)))) ) & (EG( ((potential((tk(P3299)>=1) & (tk(P23)>=1) & (tk(P2966)>=1)))))) ))))
PROPERTY: Sudoku-PT-AN14-CTLFireability-14 ( ( (EU( (! ((potential((tk(P3183)>=1) & (tk(P187)>=1) & (tk(P3126)>=1))))) , (! ((potential((tk(P3303)>=1) & (tk(P27)>=1) & (tk(P2966)>=1))))) )) | (! ( ( ((potential((tk(P3325)>=1) & (tk(P7)>=1) & (tk(P2954)>=1)))) & ((potential((tk(P3315)>=1) & (tk(P25)>=1) & (tk(P2967)>=1)))) ) & (EF( ((potential((tk(P3266)>=1) & (tk(P144)>=1) & (tk(P3090)>=1)))))) )) ) | (EG( (AU( ((potential((tk(P3160)>=1) & (tk(P38)>=1) & (tk(P2970)>=1)))) , ((potential((tk(P3328)>=1) & (tk(P52)>=1) & (tk(P2996)>=1)))) )))) )
PROPERTY: Sudoku-PT-AN14-CTLFireability-15 (AF( ( ( (! ( ((potential((tk(P3296)>=1) & (tk(P160)>=1) & (tk(P3106)>=1)))) | ((potential((tk(P3310)>=1) & (tk(P118)>=1) & (tk(P3065)>=1)))) )) & (EG( ((potential((tk(P3254)>=1) & (tk(P48)>=1) & (tk(P2991)>=1)))))) ) & (EX( ((potential((tk(P3307)>=1) & (tk(P185)>=1) & (tk(P3135)>=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-AN14"
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-AN14, 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-159033538800420"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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