Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033469100204.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldIIPs-PT-100A, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469100204
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 3.3K May 14 00:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 00:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 18:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 13 18:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 14 10:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 10:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.3K May 13 13:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 13 13:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 07:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K May 13 07:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 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 868K 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 ShieldIIPs-PT-100A-CTLFireability-00
FORMULA_NAME ShieldIIPs-PT-100A-CTLFireability-01
FORMULA_NAME ShieldIIPs-PT-100A-CTLFireability-02
FORMULA_NAME ShieldIIPs-PT-100A-CTLFireability-03
FORMULA_NAME ShieldIIPs-PT-100A-CTLFireability-04
FORMULA_NAME ShieldIIPs-PT-100A-CTLFireability-05
FORMULA_NAME ShieldIIPs-PT-100A-CTLFireability-06
FORMULA_NAME ShieldIIPs-PT-100A-CTLFireability-07
FORMULA_NAME ShieldIIPs-PT-100A-CTLFireability-08
FORMULA_NAME ShieldIIPs-PT-100A-CTLFireability-09
FORMULA_NAME ShieldIIPs-PT-100A-CTLFireability-10
FORMULA_NAME ShieldIIPs-PT-100A-CTLFireability-11
FORMULA_NAME ShieldIIPs-PT-100A-CTLFireability-12
FORMULA_NAME ShieldIIPs-PT-100A-CTLFireability-13
FORMULA_NAME ShieldIIPs-PT-100A-CTLFireability-14
FORMULA_NAME ShieldIIPs-PT-100A-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590439188042

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (PT), instance 100A
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: 2503 places, 2403 transitions, 10806 arcs.
AT ITER 0 NEW BEST:: SOT 4091903 SOS 3156900 HAS SOPS 3156900 HAS SOUS 2654493 HAS SOUPS 2654493 WITH SCORE 2657649.9
AT ITER 12 NEW BEST:: SOT 4091449 SOS 3154824 HAS SOPS 3154824 HAS SOUS 2653633 HAS SOUPS 2653633 WITH SCORE 2656787.824
AT ITER 30 NEW BEST:: SOT 4091588 SOS 3153179 HAS SOPS 3153179 HAS SOUS 2653118 HAS SOUPS 2653118 WITH SCORE 2656271.179
AT ITER 31 NEW BEST:: SOT 4091588 SOS 3153031 HAS SOPS 3153031 HAS SOUS 2652981 HAS SOUPS 2652981 WITH SCORE 2656134.031
AT ITER 38 NEW BEST:: SOT 4090059 SOS 3152708 HAS SOPS 3152708 HAS SOUS 2652658 HAS SOUPS 2652658 WITH SCORE 2655810.708
AT ITER 42 NEW BEST:: SOT 4088608 SOS 3151413 HAS SOPS 3151413 HAS SOUS 2651363 HAS SOUPS 2651363 WITH SCORE 2654514.413
AT ITER 48 NEW BEST:: SOT 4088608 SOS 3150239 HAS SOPS 3150239 HAS SOUS 2651359 HAS SOUPS 2651359 WITH SCORE 2654509.239
AT ITER 50 NEW BEST:: SOT 4088262 SOS 3148509 HAS SOPS 3148509 HAS SOUS 2651358 HAS SOUPS 2651358 WITH SCORE 2654506.509
AT ITER 51 NEW BEST:: SOT 4089793 SOS 3146924 HAS SOPS 3146924 HAS SOUS 2650050 HAS SOUPS 2650050 WITH SCORE 2653196.924
AT ITER 52 NEW BEST:: SOT 4089557 SOS 3146687 HAS SOPS 3146687 HAS SOUS 2649813 HAS SOUPS 2649813 WITH SCORE 2652959.687
AT ITER 53 NEW BEST:: SOT 4090971 SOS 3146038 HAS SOPS 3146038 HAS SOUS 2649432 HAS SOUPS 2649432 WITH SCORE 2652578.038
AT ITER 59 NEW BEST:: SOT 4090105 SOS 3145202 HAS SOPS 3145202 HAS SOUS 2648656 HAS SOUPS 2648656 WITH SCORE 2651801.202
AT ITER 65 NEW BEST:: SOT 4090104 SOS 3145199 HAS SOPS 3145199 HAS SOUS 2648653 HAS SOUPS 2648653 WITH SCORE 2651798.199
AT ITER 71 NEW BEST:: SOT 4089613 SOS 3144708 HAS SOPS 3144708 HAS SOUS 2648162 HAS SOUPS 2648162 WITH SCORE 2651306.708
AT ITER 72 NEW BEST:: SOT 4089328 SOS 3143283 HAS SOPS 3143283 HAS SOUS 2648161 HAS SOUPS 2648161 WITH SCORE 2651304.283
AT ITER 78 NEW BEST:: SOT 4088894 SOS 3142849 HAS SOPS 3142849 HAS SOUS 2647727 HAS SOUPS 2647727 WITH SCORE 2650869.849
AT ITER 79 NEW BEST:: SOT 4089257 SOS 3142812 HAS SOPS 3142812 HAS SOUS 2647690 HAS SOUPS 2647690 WITH SCORE 2650832.812
AT ITER 82 NEW BEST:: SOT 4088634 SOS 3142031 HAS SOPS 3142031 HAS SOUS 2647625 HAS SOUPS 2647625 WITH SCORE 2650767.031
AT ITER 83 NEW BEST:: SOT 4088178 SOS 3139500 HAS SOPS 3139500 HAS SOUS 2646817 HAS SOUPS 2646817 WITH SCORE 2649956.5
AT ITER 87 NEW BEST:: SOT 4088176 SOS 3139498 HAS SOPS 3139498 HAS SOUS 2646815 HAS SOUPS 2646815 WITH SCORE 2649954.498
AT ITER 88 NEW BEST:: SOT 4088175 SOS 3139094 HAS SOPS 3139094 HAS SOUS 2646411 HAS SOUPS 2646411 WITH SCORE 2649550.094
AT ITER 89 NEW BEST:: SOT 4087775 SOS 3138694 HAS SOPS 3138694 HAS SOUS 2646011 HAS SOUPS 2646011 WITH SCORE 2649149.694
AT ITER 90 NEW BEST:: SOT 4087773 SOS 3138692 HAS SOPS 3138692 HAS SOUS 2646009 HAS SOUPS 2646009 WITH SCORE 2649147.692
AT ITER 91 NEW BEST:: SOT 4087331 SOS 3138248 HAS SOPS 3138248 HAS SOUS 2645565 HAS SOUPS 2645565 WITH SCORE 2648703.248
AT ITER 96 NEW BEST:: SOT 4087330 SOS 3138247 HAS SOPS 3138247 HAS SOUS 2645564 HAS SOUPS 2645564 WITH SCORE 2648702.247
AT ITER 101 NEW BEST:: SOT 4087392 SOS 3137910 HAS SOPS 3137910 HAS SOUS 2645227 HAS SOUPS 2645227 WITH SCORE 2648364.91
AT ITER 104 NEW BEST:: SOT 4087392 SOS 3136927 HAS SOPS 3136927 HAS SOUS 2645218 HAS SOUPS 2645218 WITH SCORE 2648354.927
AT ITER 109 NEW BEST:: SOT 4087221 SOS 3136756 HAS SOPS 3136756 HAS SOUS 2644649 HAS SOUPS 2644649 WITH SCORE 2647785.756
AT ITER 111 NEW BEST:: SOT 4086783 SOS 3136318 HAS SOPS 3136318 HAS SOUS 2644211 HAS SOUPS 2644211 WITH SCORE 2647347.318
AT ITER 115 NEW BEST:: SOT 4085232 SOS 3135477 HAS SOPS 3135477 HAS SOUS 2643679 HAS SOUPS 2643679 WITH SCORE 2646814.477
AT ITER 128 NEW BEST:: SOT 4083687 SOS 3134032 HAS SOPS 3134032 HAS SOUS 2642234 HAS SOUPS 2642234 WITH SCORE 2645368.032
AT ITER 140 NEW BEST:: SOT 4084499 SOS 3131854 HAS SOPS 3131854 HAS SOUS 2640729 HAS SOUPS 2640729 WITH SCORE 2643860.854
AT ITER 142 NEW BEST:: SOT 4084619 SOS 3130537 HAS SOPS 3130537 HAS SOUS 2639826 HAS SOUPS 2639826 WITH SCORE 2642956.537
AT ITER 149 NEW BEST:: SOT 4084596 SOS 3130514 HAS SOPS 3130514 HAS SOUS 2639803 HAS SOUPS 2639803 WITH SCORE 2642933.514
AT ITER 150 NEW BEST:: SOT 4083924 SOS 3127927 HAS SOPS 3127927 HAS SOUS 2638729 HAS SOUPS 2638729 WITH SCORE 2641856.927
AT ITER 152 NEW BEST:: SOT 4082934 SOS 3126937 HAS SOPS 3126937 HAS SOUS 2637739 HAS SOUPS 2637739 WITH SCORE 2640865.937
AT ITER 157 NEW BEST:: SOT 4082617 SOS 3125555 HAS SOPS 3125555 HAS SOUS 2637434 HAS SOUPS 2637434 WITH SCORE 2640559.555
AT ITER 159 NEW BEST:: SOT 4082012 SOS 3124948 HAS SOPS 3124948 HAS SOUS 2636827 HAS SOUPS 2636827 WITH SCORE 2639951.948
AT ITER 166 NEW BEST:: SOT 4081266 SOS 3121491 HAS SOPS 3121491 HAS SOUS 2635944 HAS SOUPS 2635944 WITH SCORE 2639065.491
AT ITER 168 NEW BEST:: SOT 4081830 SOS 3118392 HAS SOPS 3118392 HAS SOUS 2633378 HAS SOUPS 2633378 WITH SCORE 2636496.392
AT ITER 170 NEW BEST:: SOT 4081750 SOS 3118312 HAS SOPS 3118312 HAS SOUS 2633298 HAS SOUPS 2633298 WITH SCORE 2636416.312
AT ITER 173 NEW BEST:: SOT 4081594 SOS 3118155 HAS SOPS 3118155 HAS SOUS 2633141 HAS SOUPS 2633141 WITH SCORE 2636259.155
AT ITER 176 NEW BEST:: SOT 4081673 SOS 3115334 HAS SOPS 3115334 HAS SOUS 2630609 HAS SOUPS 2630609 WITH SCORE 2633724.334
AT ITER 177 NEW BEST:: SOT 4081821 SOS 3115087 HAS SOPS 3115087 HAS SOUS 2630362 HAS SOUPS 2630362 WITH SCORE 2633477.087
AT ITER 181 NEW BEST:: SOT 4081876 SOS 3113711 HAS SOPS 3113711 HAS SOUS 2630336 HAS SOUPS 2630336 WITH SCORE 2633449.711
AT ITER 184 NEW BEST:: SOT 4081319 SOS 3110722 HAS SOPS 3110722 HAS SOUS 2629983 HAS SOUPS 2629983 WITH SCORE 2633093.722
AT ITER 185 NEW BEST:: SOT 4081316 SOS 3110719 HAS SOPS 3110719 HAS SOUS 2629980 HAS SOUPS 2629980 WITH SCORE 2633090.719
AT ITER 189 NEW BEST:: SOT 4081422 SOS 3110422 HAS SOPS 3110422 HAS SOUS 2629683 HAS SOUPS 2629683 WITH SCORE 2632793.422
AT ITER 191 NEW BEST:: SOT 4081162 SOS 3110162 HAS SOPS 3110162 HAS SOUS 2629423 HAS SOUPS 2629423 WITH SCORE 2632533.162
AT ITER 205 NEW BEST:: SOT 4081729 SOS 3111201 HAS SOPS 3111201 HAS SOUS 2629153 HAS SOUPS 2629153 WITH SCORE 2632264.201
AT ITER 209 NEW BEST:: SOT 4081729 SOS 3111188 HAS SOPS 3111188 HAS SOUS 2629140 HAS SOUPS 2629140 WITH SCORE 2632251.188
AT ITER 210 NEW BEST:: SOT 4081110 SOS 3108373 HAS SOPS 3108373 HAS SOUS 2628333 HAS SOUPS 2628333 WITH SCORE 2631441.373
AT ITER 211 NEW BEST:: SOT 4081355 SOS 3108217 HAS SOPS 3108217 HAS SOUS 2628177 HAS SOUPS 2628177 WITH SCORE 2631285.217
AT ITER 218 NEW BEST:: SOT 4080851 SOS 3105669 HAS SOPS 3105669 HAS SOUS 2627361 HAS SOUPS 2627361 WITH SCORE 2630466.669
AT ITER 220 NEW BEST:: SOT 4080406 SOS 3105224 HAS SOPS 3105224 HAS SOUS 2626916 HAS SOUPS 2626916 WITH SCORE 2630021.224
AT ITER 223 NEW BEST:: SOT 4079763 SOS 3104579 HAS SOPS 3104579 HAS SOUS 2626271 HAS SOUPS 2626271 WITH SCORE 2629375.579
AT ITER 227 NEW BEST:: SOT 4078452 SOS 3103266 HAS SOPS 3103266 HAS SOUS 2624958 HAS SOUPS 2624958 WITH SCORE 2628061.266
AT ITER 228 NEW BEST:: SOT 4078518 SOS 3102929 HAS SOPS 3102929 HAS SOUS 2624621 HAS SOUPS 2624621 WITH SCORE 2627723.929
AT ITER 231 NEW BEST:: SOT 4079875 SOS 3101944 HAS SOPS 3101944 HAS SOUS 2624147 HAS SOUPS 2624147 WITH SCORE 2627248.944
AT ITER 236 NEW BEST:: SOT 4079170 SOS 3101239 HAS SOPS 3101239 HAS SOUS 2623442 HAS SOUPS 2623442 WITH SCORE 2626543.239
AT ITER 238 NEW BEST:: SOT 4079168 SOS 3101235 HAS SOPS 3101235 HAS SOUS 2623438 HAS SOUPS 2623438 WITH SCORE 2626539.235
AT ITER 239 NEW BEST:: SOT 4078970 SOS 3101037 HAS SOPS 3101037 HAS SOUS 2623239 HAS SOUPS 2623239 WITH SCORE 2626340.037
AT ITER 246 NEW BEST:: SOT 4078970 SOS 3099811 HAS SOPS 3099811 HAS SOUS 2623207 HAS SOUPS 2623207 WITH SCORE 2626306.811
AT ITER 247 NEW BEST:: SOT 4078693 SOS 3099748 HAS SOPS 3099748 HAS SOUS 2623144 HAS SOUPS 2623144 WITH SCORE 2626243.748
AT ITER 248 NEW BEST:: SOT 4078201 SOS 3099255 HAS SOPS 3099255 HAS SOUS 2622651 HAS SOUPS 2622651 WITH SCORE 2625750.255
AT ITER 252 NEW BEST:: SOT 4076993 SOS 3098393 HAS SOPS 3098393 HAS SOUS 2621789 HAS SOUPS 2621789 WITH SCORE 2624887.393
AT ITER 256 NEW BEST:: SOT 4077220 SOS 3096999 HAS SOPS 3096999 HAS SOUS 2620975 HAS SOUPS 2620975 WITH SCORE 2624071.999
AT ITER 258 NEW BEST:: SOT 4076480 SOS 3096259 HAS SOPS 3096259 HAS SOUS 2620235 HAS SOUPS 2620235 WITH SCORE 2623331.259
AT ITER 269 NEW BEST:: SOT 4076593 SOS 3096372 HAS SOPS 3096372 HAS SOUS 2620234 HAS SOUPS 2620234 WITH SCORE 2623330.372
AT ITER 272 NEW BEST:: SOT 4076592 SOS 3096371 HAS SOPS 3096371 HAS SOUS 2620233 HAS SOUPS 2620233 WITH SCORE 2623329.371
AT ITER 275 NEW BEST:: SOT 4076693 SOS 3094895 HAS SOPS 3094895 HAS SOUS 2619895 HAS SOUPS 2619895 WITH SCORE 2622989.895
AT ITER 283 NEW BEST:: SOT 4075418 SOS 3092283 HAS SOPS 3092283 HAS SOUS 2617283 HAS SOUPS 2617283 WITH SCORE 2620375.283
AT ITER 287 NEW BEST:: SOT 4074466 SOS 3091331 HAS SOPS 3091331 HAS SOUS 2616331 HAS SOUPS 2616331 WITH SCORE 2619422.331
AT ITER 291 NEW BEST:: SOT 4076085 SOS 3089954 HAS SOPS 3089954 HAS SOUS 2616157 HAS SOUPS 2616157 WITH SCORE 2619246.954
AT ITER 293 NEW BEST:: SOT 4076083 SOS 3089950 HAS SOPS 3089950 HAS SOUS 2616153 HAS SOUPS 2616153 WITH SCORE 2619242.95
AT ITER 305 NEW BEST:: SOT 4075387 SOS 3089528 HAS SOPS 3089528 HAS SOUS 2616005 HAS SOUPS 2616005 WITH SCORE 2619094.528
AT ITER 307 NEW BEST:: SOT 4073839 SOS 3086959 HAS SOPS 3086959 HAS SOUS 2613656 HAS SOUPS 2613656 WITH SCORE 2616742.959
AT ITER 308 NEW BEST:: SOT 4073415 SOS 3086535 HAS SOPS 3086535 HAS SOUS 2613232 HAS SOUPS 2613232 WITH SCORE 2616318.535
AT ITER 309 NEW BEST:: SOT 4073415 SOS 3086533 HAS SOPS 3086533 HAS SOUS 2613228 HAS SOUPS 2613228 WITH SCORE 2616314.533
AT ITER 324 NEW BEST:: SOT 4073004 SOS 3086122 HAS SOPS 3086122 HAS SOUS 2612817 HAS SOUPS 2612817 WITH SCORE 2615903.122
AT ITER 334 NEW BEST:: SOT 4072619 SOS 3084345 HAS SOPS 3084345 HAS SOUS 2612781 HAS SOUPS 2612781 WITH SCORE 2615865.345
AT ITER 343 NEW BEST:: SOT 4072613 SOS 3084339 HAS SOPS 3084339 HAS SOUS 2612775 HAS SOUPS 2612775 WITH SCORE 2615859.339
AT ITER 348 NEW BEST:: SOT 4074077 SOS 3082554 HAS SOPS 3082554 HAS SOUS 2612141 HAS SOUPS 2612141 WITH SCORE 2615223.554
AT ITER 355 NEW BEST:: SOT 4074077 SOS 3082333 HAS SOPS 3082333 HAS SOUS 2611920 HAS SOUPS 2611920 WITH SCORE 2615002.333
AT ITER 358 NEW BEST:: SOT 4073274 SOS 3081131 HAS SOPS 3081131 HAS SOUS 2610718 HAS SOUPS 2610718 WITH SCORE 2613799.131
AT ITER 362 NEW BEST:: SOT 4073182 SOS 3080855 HAS SOPS 3080855 HAS SOUS 2610716 HAS SOUPS 2610716 WITH SCORE 2613796.855
AT ITER 369 NEW BEST:: SOT 4072786 SOS 3079702 HAS SOPS 3079702 HAS SOUS 2609958 HAS SOUPS 2609958 WITH SCORE 2613037.702
AT ITER 371 NEW BEST:: SOT 4074067 SOS 3077389 HAS SOPS 3077389 HAS SOUS 2609100 HAS SOUPS 2609100 WITH SCORE 2612177.389
AT ITER 373 NEW BEST:: SOT 4072703 SOS 3076428 HAS SOPS 3076428 HAS SOUS 2608139 HAS SOUPS 2608139 WITH SCORE 2611215.428
AT ITER 374 NEW BEST:: SOT 4073898 SOS 3075287 HAS SOPS 3075287 HAS SOUS 2607287 HAS SOUPS 2607287 WITH SCORE 2610362.287
AT ITER 377 NEW BEST:: SOT 4073874 SOS 3075263 HAS SOPS 3075263 HAS SOUS 2607263 HAS SOUPS 2607263 WITH SCORE 2610338.263
AT ITER 378 NEW BEST:: SOT 4075100 SOS 3074342 HAS SOPS 3074342 HAS SOUS 2606563 HAS SOUPS 2606563 WITH SCORE 2609637.342
AT ITER 379 NEW BEST:: SOT 4075098 SOS 3074340 HAS SOPS 3074340 HAS SOUS 2606561 HAS SOUPS 2606561 WITH SCORE 2609635.34
AT ITER 384 NEW BEST:: SOT 4073830 SOS 3073072 HAS SOPS 3073072 HAS SOUS 2605293 HAS SOUPS 2605293 WITH SCORE 2608366.072
AT ITER 385 NEW BEST:: SOT 4073374 SOS 3071618 HAS SOPS 3071618 HAS SOUS 2603839 HAS SOUPS 2603839 WITH SCORE 2606910.618
AT ITER 389 NEW BEST:: SOT 4072947 SOS 3069724 HAS SOPS 3069724 HAS SOUS 2603714 HAS SOUPS 2603714 WITH SCORE 2606783.724
AT ITER 391 NEW BEST:: SOT 4073261 SOS 3070038 HAS SOPS 3070038 HAS SOUS 2603624 HAS SOUPS 2603624 WITH SCORE 2606694.038
AT ITER 395 NEW BEST:: SOT 4072377 SOS 3069152 HAS SOPS 3069152 HAS SOUS 2602738 HAS SOUPS 2602738 WITH SCORE 2605807.152
AT ITER 400 NEW BEST:: SOT 4072376 SOS 3068754 HAS SOPS 3068754 HAS SOUS 2602340 HAS SOUPS 2602340 WITH SCORE 2605408.754
AT ITER 404 NEW BEST:: SOT 4071429 SOS 3067807 HAS SOPS 3067807 HAS SOUS 2601393 HAS SOUPS 2601393 WITH SCORE 2604460.807
AT ITER 405 NEW BEST:: SOT 4071174 SOS 3066383 HAS SOPS 3066383 HAS SOUS 2601095 HAS SOUPS 2601095 WITH SCORE 2604161.383
AT ITER 415 NEW BEST:: SOT 4071010 SOS 3065816 HAS SOPS 3065816 HAS SOUS 2600528 HAS SOUPS 2600528 WITH SCORE 2603593.816
AT ITER 416 NEW BEST:: SOT 4072883 SOS 3064383 HAS SOPS 3064383 HAS SOUS 2600198 HAS SOUPS 2600198 WITH SCORE 2603262.383
AT ITER 421 NEW BEST:: SOT 4072601 SOS 3064099 HAS SOPS 3064099 HAS SOUS 2599914 HAS SOUPS 2599914 WITH SCORE 2602978.099
AT ITER 424 NEW BEST:: SOT 4070163 SOS 3061478 HAS SOPS 3061478 HAS SOUS 2596888 HAS SOUPS 2596888 WITH SCORE 2599949.478
AT ITER 430 NEW BEST:: SOT 4070065 SOS 3061380 HAS SOPS 3061380 HAS SOUS 2596390 HAS SOUPS 2596390 WITH SCORE 2599451.38
AT ITER 434 NEW BEST:: SOT 4071206 SOS 3059257 HAS SOPS 3059257 HAS SOUS 2595736 HAS SOUPS 2595736 WITH SCORE 2598795.257
AT ITER 439 NEW BEST:: SOT 4071070 SOS 3059121 HAS SOPS 3059121 HAS SOUS 2595199 HAS SOUPS 2595199 WITH SCORE 2598258.121
AT ITER 441 NEW BEST:: SOT 4071059 SOS 3059088 HAS SOPS 3059088 HAS SOUS 2595150 HAS SOUPS 2595150 WITH SCORE 2598209.088
AT ITER 444 NEW BEST:: SOT 4070821 SOS 3058850 HAS SOPS 3058850 HAS SOUS 2594912 HAS SOUPS 2594912 WITH SCORE 2597970.85
AT ITER 455 NEW BEST:: SOT 4070821 SOS 3057552 HAS SOPS 3057552 HAS SOUS 2594906 HAS SOUPS 2594906 WITH SCORE 2597963.552
AT ITER 467 NEW BEST:: SOT 4069334 SOS 3056065 HAS SOPS 3056065 HAS SOUS 2593419 HAS SOUPS 2593419 WITH SCORE 2596475.065
AT ITER 470 NEW BEST:: SOT 4069198 SOS 3055551 HAS SOPS 3055551 HAS SOUS 2592905 HAS SOUPS 2592905 WITH SCORE 2595960.551
AT ITER 471 NEW BEST:: SOT 4068583 SOS 3052649 HAS SOPS 3052649 HAS SOUS 2591475 HAS SOUPS 2591475 WITH SCORE 2594527.649
AT ITER 475 NEW BEST:: SOT 4067862 SOS 3051928 HAS SOPS 3051928 HAS SOUS 2590754 HAS SOUPS 2590754 WITH SCORE 2593805.928
AT ITER 477 NEW BEST:: SOT 4067862 SOS 3051863 HAS SOPS 3051863 HAS SOUS 2590689 HAS SOUPS 2590689 WITH SCORE 2593740.863
AT ITER 480 NEW BEST:: SOT 4067369 SOS 3050971 HAS SOPS 3050971 HAS SOUS 2589797 HAS SOUPS 2589797 WITH SCORE 2592847.971
AT ITER 483 NEW BEST:: SOT 4067369 SOS 3050737 HAS SOPS 3050737 HAS SOUS 2589744 HAS SOUPS 2589744 WITH SCORE 2592794.737
AT ITER 496 NEW BEST:: SOT 4066028 SOS 3049396 HAS SOPS 3049396 HAS SOUS 2588403 HAS SOUPS 2588403 WITH SCORE 2591452.396
AT ITER 499 NEW BEST:: SOT 4065075 SOS 3048365 HAS SOPS 3048365 HAS SOUS 2587372 HAS SOUPS 2587372 WITH SCORE 2590420.365
AT ITER 506 NEW BEST:: SOT 4062845 SOS 3044533 HAS SOPS 3044533 HAS SOUS 2583132 HAS SOUPS 2583132 WITH SCORE 2586176.533
AT ITER 507 NEW BEST:: SOT 4062584 SOS 3044271 HAS SOPS 3044271 HAS SOUS 2582870 HAS SOUPS 2582870 WITH SCORE 2585914.271
AT ITER 509 NEW BEST:: SOT 4061996 SOS 3041445 HAS SOPS 3041445 HAS SOUS 2582063 HAS SOUPS 2582063 WITH SCORE 2585104.445
AT ITER 512 NEW BEST:: SOT 4061489 SOS 3040658 HAS SOPS 3040658 HAS SOUS 2581276 HAS SOUPS 2581276 WITH SCORE 2584316.658
AT ITER 518 NEW BEST:: SOT 4060783 SOS 3039952 HAS SOPS 3039952 HAS SOUS 2580570 HAS SOUPS 2580570 WITH SCORE 2583609.952
AT ITER 527 NEW BEST:: SOT 4060628 SOS 3039797 HAS SOPS 3039797 HAS SOUS 2580415 HAS SOUPS 2580415 WITH SCORE 2583454.797
AT ITER 530 NEW BEST:: SOT 4060260 SOS 3039427 HAS SOPS 3039427 HAS SOUS 2580045 HAS SOUPS 2580045 WITH SCORE 2583084.427
AT ITER 537 NEW BEST:: SOT 4060260 SOS 3039244 HAS SOPS 3039244 HAS SOUS 2580044 HAS SOUPS 2580044 WITH SCORE 2583083.244
AT ITER 541 NEW BEST:: SOT 4059834 SOS 3038818 HAS SOPS 3038818 HAS SOUS 2579618 HAS SOUPS 2579618 WITH SCORE 2582656.818
AT ITER 542 NEW BEST:: SOT 4059313 SOS 3036795 HAS SOPS 3036795 HAS SOUS 2578793 HAS SOUPS 2578793 WITH SCORE 2581829.795
AT ITER 543 NEW BEST:: SOT 4059312 SOS 3036963 HAS SOPS 3036963 HAS SOUS 2578680 HAS SOUPS 2578680 WITH SCORE 2581716.963
AT ITER 547 NEW BEST:: SOT 4059202 SOS 3036853 HAS SOPS 3036853 HAS SOUS 2578570 HAS SOUPS 2578570 WITH SCORE 2581606.853
AT ITER 558 NEW BEST:: SOT 4059797 SOS 3036235 HAS SOPS 3036235 HAS SOUS 2578374 HAS SOUPS 2578374 WITH SCORE 2581410.235
AT ITER 560 NEW BEST:: SOT 4059793 SOS 3036231 HAS SOPS 3036231 HAS SOUS 2578370 HAS SOUPS 2578370 WITH SCORE 2581406.231
AT ITER 563 NEW BEST:: SOT 4059637 SOS 3036231 HAS SOPS 3036231 HAS SOUS 2578369 HAS SOUPS 2578369 WITH SCORE 2581405.231
AT ITER 565 NEW BEST:: SOT 4060096 SOS 3034583 HAS SOPS 3034583 HAS SOUS 2577641 HAS SOUPS 2577641 WITH SCORE 2580675.583
AT ITER 578 NEW BEST:: SOT 4059348 SOS 3031550 HAS SOPS 3031550 HAS SOUS 2576520 HAS SOUPS 2576520 WITH SCORE 2579551.55
AT ITER 584 NEW BEST:: SOT 4059348 SOS 3030099 HAS SOPS 3030099 HAS SOUS 2576085 HAS SOUPS 2576085 WITH SCORE 2579115.099
AT ITER 593 NEW BEST:: SOT 4058818 SOS 3029567 HAS SOPS 3029567 HAS SOUS 2575553 HAS SOUPS 2575553 WITH SCORE 2578582.567
AT ITER 595 NEW BEST:: SOT 4058276 SOS 3027283 HAS SOPS 3027283 HAS SOUS 2574912 HAS SOUPS 2574912 WITH SCORE 2577939.283
AT ITER 606 NEW BEST:: SOT 4058220 SOS 3026762 HAS SOPS 3026762 HAS SOUS 2574391 HAS SOUPS 2574391 WITH SCORE 2577417.762
AT ITER 611 NEW BEST:: SOT 4055090 SOS 3023632 HAS SOPS 3023632 HAS SOUS 2571261 HAS SOUPS 2571261 WITH SCORE 2574284.632
AT ITER 613 NEW BEST:: SOT 4056379 SOS 3022896 HAS SOPS 3022896 HAS SOUS 2570766 HAS SOUPS 2570766 WITH SCORE 2573788.896
AT ITER 619 NEW BEST:: SOT 4056242 SOS 3022274 HAS SOPS 3022274 HAS SOUS 2570703 HAS SOUPS 2570703 WITH SCORE 2573725.274
AT ITER 623 NEW BEST:: SOT 4055913 SOS 3022012 HAS SOPS 3022012 HAS SOUS 2570436 HAS SOUPS 2570436 WITH SCORE 2573458.012
AT ITER 627 NEW BEST:: SOT 4055371 SOS 3021465 HAS SOPS 3021465 HAS SOUS 2569887 HAS SOUPS 2569887 WITH SCORE 2572908.465
AT ITER 628 NEW BEST:: SOT 4055131 SOS 3020505 HAS SOPS 3020505 HAS SOUS 2569644 HAS SOUPS 2569644 WITH SCORE 2572664.505
AT ITER 632 NEW BEST:: SOT 4053718 SOS 3019090 HAS SOPS 3019090 HAS SOUS 2568229 HAS SOUPS 2568229 WITH SCORE 2571248.09
AT ITER 638 NEW BEST:: SOT 4053862 SOS 3017897 HAS SOPS 3017897 HAS SOUS 2567433 HAS SOUPS 2567433 WITH SCORE 2570450.897
AT ITER 639 NEW BEST:: SOT 4053862 SOS 3017895 HAS SOPS 3017895 HAS SOUS 2567431 HAS SOUPS 2567431 WITH SCORE 2570448.895
AT ITER 641 NEW BEST:: SOT 4053638 SOS 3017794 HAS SOPS 3017794 HAS SOUS 2567330 HAS SOUPS 2567330 WITH SCORE 2570347.794
AT ITER 642 NEW BEST:: SOT 4053356 SOS 3017510 HAS SOPS 3017510 HAS SOUS 2567046 HAS SOUPS 2567046 WITH SCORE 2570063.51
AT ITER 643 NEW BEST:: SOT 4053356 SOS 3017508 HAS SOPS 3017508 HAS SOUS 2567044 HAS SOUPS 2567044 WITH SCORE 2570061.508
AT ITER 648 NEW BEST:: SOT 4053354 SOS 3017506 HAS SOPS 3017506 HAS SOUS 2567042 HAS SOUPS 2567042 WITH SCORE 2570059.506
AT ITER 649 NEW BEST:: SOT 4052706 SOS 3016856 HAS SOPS 3016856 HAS SOUS 2566392 HAS SOUPS 2566392 WITH SCORE 2569408.856
AT ITER 658 NEW BEST:: SOT 4050838 SOS 3015046 HAS SOPS 3015046 HAS SOUS 2564582 HAS SOUPS 2564582 WITH SCORE 2567597.046
AT ITER 659 NEW BEST:: SOT 4050838 SOS 3013970 HAS SOPS 3013970 HAS SOUS 2563900 HAS SOUPS 2563900 WITH SCORE 2566913.97
AT ITER 667 NEW BEST:: SOT 4050838 SOS 3014476 HAS SOPS 3014476 HAS SOUS 2563696 HAS SOUPS 2563696 WITH SCORE 2566710.476
AT ITER 671 NEW BEST:: SOT 4050811 SOS 3014447 HAS SOPS 3014447 HAS SOUS 2563667 HAS SOUPS 2563667 WITH SCORE 2566681.447
AT ITER 676 NEW BEST:: SOT 4050599 SOS 3014235 HAS SOPS 3014235 HAS SOUS 2563455 HAS SOUPS 2563455 WITH SCORE 2566469.235
AT ITER 681 NEW BEST:: SOT 4050598 SOS 3013837 HAS SOPS 3013837 HAS SOUS 2563057 HAS SOUPS 2563057 WITH SCORE 2566070.837
AT ITER 682 NEW BEST:: SOT 4050263 SOS 3013500 HAS SOPS 3013500 HAS SOUS 2562720 HAS SOUPS 2562720 WITH SCORE 2565733.5
AT ITER 685 NEW BEST:: SOT 4050049 SOS 3013143 HAS SOPS 3013143 HAS SOUS 2562363 HAS SOUPS 2562363 WITH SCORE 2565376.143
AT ITER 689 NEW BEST:: SOT 4049470 SOS 3010278 HAS SOPS 3010278 HAS SOUS 2561374 HAS SOUPS 2561374 WITH SCORE 2564384.278
AT ITER 690 NEW BEST:: SOT 4049026 SOS 3009834 HAS SOPS 3009834 HAS SOUS 2560930 HAS SOUPS 2560930 WITH SCORE 2563939.834
AT ITER 693 NEW BEST:: SOT 4048922 SOS 3009730 HAS SOPS 3009730 HAS SOUS 2560826 HAS SOUPS 2560826 WITH SCORE 2563835.73
AT ITER 695 NEW BEST:: SOT 4048430 SOS 3009313 HAS SOPS 3009313 HAS SOUS 2560409 HAS SOUPS 2560409 WITH SCORE 2563418.313
AT ITER 698 NEW BEST:: SOT 4049773 SOS 3007548 HAS SOPS 3007548 HAS SOUS 2560344 HAS SOUPS 2560344 WITH SCORE 2563351.548
AT ITER 701 NEW BEST:: SOT 4049300 SOS 3005624 HAS SOPS 3005624 HAS SOUS 2560244 HAS SOUPS 2560244 WITH SCORE 2563249.624
AT ITER 702 NEW BEST:: SOT 4048973 SOS 3005297 HAS SOPS 3005297 HAS SOUS 2559917 HAS SOUPS 2559917 WITH SCORE 2562922.297
AT ITER 703 NEW BEST:: SOT 4049032 SOS 3005354 HAS SOPS 3005354 HAS SOUS 2559912 HAS SOUPS 2559912 WITH SCORE 2562917.354
AT ITER 707 NEW BEST:: SOT 4048679 SOS 3005659 HAS SOPS 3005659 HAS SOUS 2559736 HAS SOUPS 2559736 WITH SCORE 2562741.659
AT ITER 710 NEW BEST:: SOT 4048744 SOS 3005724 HAS SOPS 3005724 HAS SOUS 2559398 HAS SOUPS 2559398 WITH SCORE 2562403.724
AT ITER 711 NEW BEST:: SOT 4047885 SOS 3002590 HAS SOPS 3002590 HAS SOUS 2557628 HAS SOUPS 2557628 WITH SCORE 2560630.59
AT ITER 717 NEW BEST:: SOT 4048133 SOS 3002512 HAS SOPS 3002512 HAS SOUS 2557550 HAS SOUPS 2557550 WITH SCORE 2560552.512
AT ITER 718 NEW BEST:: SOT 4048075 SOS 3002311 HAS SOPS 3002311 HAS SOUS 2557346 HAS SOUPS 2557346 WITH SCORE 2560348.311
AT ITER 720 NEW BEST:: SOT 4047608 SOS 3001443 HAS SOPS 3001443 HAS SOUS 2556478 HAS SOUPS 2556478 WITH SCORE 2559479.443
AT ITER 724 NEW BEST:: SOT 4046551 SOS 3000433 HAS SOPS 3000433 HAS SOUS 2555562 HAS SOUPS 2555562 WITH SCORE 2558562.433
AT ITER 725 NEW BEST:: SOT 4046087 SOS 2999968 HAS SOPS 2999968 HAS SOUS 2555097 HAS SOUPS 2555097 WITH SCORE 2558096.968
AT ITER 726 NEW BEST:: SOT 4046092 SOS 2999621 HAS SOPS 2999621 HAS SOUS 2554300 HAS SOUPS 2554300 WITH SCORE 2557299.621
AT ITER 734 NEW BEST:: SOT 4045768 SOS 2998114 HAS SOPS 2998114 HAS SOUS 2553350 HAS SOUPS 2553350 WITH SCORE 2556348.114
AT ITER 739 NEW BEST:: SOT 4045346 SOS 2996935 HAS SOPS 2996935 HAS SOUS 2552069 HAS SOUPS 2552069 WITH SCORE 2555065.935
AT ITER 744 NEW BEST:: SOT 4045346 SOS 2997693 HAS SOPS 2997693 HAS SOUS 2552065 HAS SOUPS 2552065 WITH SCORE 2555062.693
AT ITER 755 NEW BEST:: SOT 4045346 SOS 2997058 HAS SOPS 2997058 HAS SOUS 2551430 HAS SOUPS 2551430 WITH SCORE 2554427.058
AT ITER 757 NEW BEST:: SOT 4045354 SOS 2994983 HAS SOPS 2994983 HAS SOUS 2549773 HAS SOUPS 2549773 WITH SCORE 2552767.983
AT ITER 761 NEW BEST:: SOT 4044714 SOS 2992362 HAS SOPS 2992362 HAS SOUS 2548715 HAS SOUPS 2548715 WITH SCORE 2551707.362
AT ITER 768 NEW BEST:: SOT 4044078 SOS 2990055 HAS SOPS 2990055 HAS SOUS 2548135 HAS SOUPS 2548135 WITH SCORE 2551125.055
AT ITER 770 NEW BEST:: SOT 4044075 SOS 2989447 HAS SOPS 2989447 HAS SOUS 2547769 HAS SOUPS 2547769 WITH SCORE 2550758.447
AT ITER 771 NEW BEST:: SOT 4043779 SOS 2989151 HAS SOPS 2989151 HAS SOUS 2547473 HAS SOUPS 2547473 WITH SCORE 2550462.151
AT ITER 776 NEW BEST:: SOT 4043532 SOS 2988557 HAS SOPS 2988557 HAS SOUS 2546879 HAS SOUPS 2546879 WITH SCORE 2549867.557
AT ITER 781 NEW BEST:: SOT 4043481 SOS 2988506 HAS SOPS 2988506 HAS SOUS 2546878 HAS SOUPS 2546878 WITH SCORE 2549866.506
AT ITER 784 NEW BEST:: SOT 4042814 SOS 2987650 HAS SOPS 2987650 HAS SOUS 2546024 HAS SOUPS 2546024 WITH SCORE 2549011.65
AT ITER 785 NEW BEST:: SOT 4042413 SOS 2987249 HAS SOPS 2987249 HAS SOUS 2545223 HAS SOUPS 2545223 WITH SCORE 2548210.249
AT ITER 787 NEW BEST:: SOT 4042971 SOS 2988114 HAS SOPS 2988114 HAS SOUS 2544876 HAS SOUPS 2544876 WITH SCORE 2547864.114
AT ITER 789 NEW BEST:: SOT 4042779 SOS 2988018 HAS SOPS 2988018 HAS SOUS 2544875 HAS SOUPS 2544875 WITH SCORE 2547863.018
AT ITER 796 NEW BEST:: SOT 4042393 SOS 2987632 HAS SOPS 2987632 HAS SOUS 2544489 HAS SOUPS 2544489 WITH SCORE 2547476.632
AT ITER 803 NEW BEST:: SOT 4042344 SOS 2987583 HAS SOPS 2987583 HAS SOUS 2544440 HAS SOUPS 2544440 WITH SCORE 2547427.583
AT ITER 805 NEW BEST:: SOT 4042049 SOS 2987288 HAS SOPS 2987288 HAS SOUS 2544145 HAS SOUPS 2544145 WITH SCORE 2547132.288
AT ITER 812 NEW BEST:: SOT 4043133 SOS 2985271 HAS SOPS 2985271 HAS SOUS 2542709 HAS SOUPS 2542709 WITH SCORE 2545694.271
AT ITER 813 NEW BEST:: SOT 4043952 SOS 2984080 HAS SOPS 2984080 HAS SOUS 2541133 HAS SOUPS 2541133 WITH SCORE 2544117.08
AT ITER 816 NEW BEST:: SOT 4043837 SOS 2983965 HAS SOPS 2983965 HAS SOUS 2541018 HAS SOUPS 2541018 WITH SCORE 2544001.965
AT ITER 818 NEW BEST:: SOT 4044169 SOS 2983427 HAS SOPS 2983427 HAS SOUS 2540480 HAS SOUPS 2540480 WITH SCORE 2543463.427
AT ITER 821 NEW BEST:: SOT 4043929 SOS 2982945 HAS SOPS 2982945 HAS SOUS 2539759 HAS SOUPS 2539759 WITH SCORE 2542741.945
AT ITER 825 NEW BEST:: SOT 4043927 SOS 2982941 HAS SOPS 2982941 HAS SOUS 2539755 HAS SOUPS 2539755 WITH SCORE 2542737.941
AT ITER 826 NEW BEST:: SOT 4044021 SOS 2983035 HAS SOPS 2983035 HAS SOUS 2539658 HAS SOUPS 2539658 WITH SCORE 2542641.035
AT ITER 834 NEW BEST:: SOT 4044122 SOS 2980513 HAS SOPS 2980513 HAS SOUS 2538952 HAS SOUPS 2538952 WITH SCORE 2541932.513
AT ITER 844 NEW BEST:: SOT 4043604 SOS 2979798 HAS SOPS 2979798 HAS SOUS 2538237 HAS SOUPS 2538237 WITH SCORE 2541216.798
AT ITER 855 NEW BEST:: SOT 4043604 SOS 2979332 HAS SOPS 2979332 HAS SOUS 2538079 HAS SOUPS 2538079 WITH SCORE 2541058.332
AT ITER 858 NEW BEST:: SOT 4043603 SOS 2979331 HAS SOPS 2979331 HAS SOUS 2538078 HAS SOUPS 2538078 WITH SCORE 2541057.331
AT ITER 863 NEW BEST:: SOT 4043210 SOS 2977387 HAS SOPS 2977387 HAS SOUS 2537611 HAS SOUPS 2537611 WITH SCORE 2540588.387
AT ITER 868 NEW BEST:: SOT 4043466 SOS 2975671 HAS SOPS 2975671 HAS SOUS 2537037 HAS SOUPS 2537037 WITH SCORE 2540012.671
AT ITER 869 NEW BEST:: SOT 4043662 SOS 2974437 HAS SOPS 2974437 HAS SOUS 2536402 HAS SOUPS 2536402 WITH SCORE 2539376.437
AT ITER 871 NEW BEST:: SOT 4043075 SOS 2972896 HAS SOPS 2972896 HAS SOUS 2535129 HAS SOUPS 2535129 WITH SCORE 2538101.896
AT ITER 872 NEW BEST:: SOT 4042877 SOS 2972502 HAS SOPS 2972502 HAS SOUS 2534735 HAS SOUPS 2534735 WITH SCORE 2537707.502
AT ITER 875 NEW BEST:: SOT 4043761 SOS 2971217 HAS SOPS 2971217 HAS SOUS 2533989 HAS SOUPS 2533989 WITH SCORE 2536960.217
AT ITER 882 NEW BEST:: SOT 4043177 SOS 2968381 HAS SOPS 2968381 HAS SOUS 2533141 HAS SOUPS 2533141 WITH SCORE 2536109.381
AT ITER 894 NEW BEST:: SOT 4042673 SOS 2967864 HAS SOPS 2967864 HAS SOUS 2532624 HAS SOUPS 2532624 WITH SCORE 2535591.864
AT ITER 898 NEW BEST:: SOT 4043015 SOS 2969387 HAS SOPS 2969387 HAS SOUS 2532266 HAS SOUPS 2532266 WITH SCORE 2535235.387
AT ITER 902 NEW BEST:: SOT 4042848 SOS 2969220 HAS SOPS 2969220 HAS SOUS 2532099 HAS SOUPS 2532099 WITH SCORE 2535068.22
AT ITER 903 NEW BEST:: SOT 4042848 SOS 2968819 HAS SOPS 2968819 HAS SOUS 2531698 HAS SOUPS 2531698 WITH SCORE 2534666.819
AT ITER 910 NEW BEST:: SOT 4043866 SOS 2969004 HAS SOPS 2969004 HAS SOUS 2530885 HAS SOUPS 2530885 WITH SCORE 2533854.004
AT ITER 912 NEW BEST:: SOT 4043602 SOS 2968642 HAS SOPS 2968642 HAS SOUS 2530523 HAS SOUPS 2530523 WITH SCORE 2533491.642
AT ITER 913 NEW BEST:: SOT 4043375 SOS 2967734 HAS SOPS 2967734 HAS SOUS 2530069 HAS SOUPS 2530069 WITH SCORE 2533036.734
AT ITER 914 NEW BEST:: SOT 4043309 SOS 2967686 HAS SOPS 2967686 HAS SOUS 2530021 HAS SOUPS 2530021 WITH SCORE 2532988.686
AT ITER 919 NEW BEST:: SOT 4043129 SOS 2967504 HAS SOPS 2967504 HAS SOUS 2529506 HAS SOUPS 2529506 WITH SCORE 2532473.504
AT ITER 921 NEW BEST:: SOT 4043129 SOS 2967819 HAS SOPS 2967819 HAS SOUS 2529178 HAS SOUPS 2529178 WITH SCORE 2532145.819
AT ITER 923 NEW BEST:: SOT 4042304 SOS 2965455 HAS SOPS 2965455 HAS SOUS 2527840 HAS SOUPS 2527840 WITH SCORE 2530805.455
AT ITER 933 NEW BEST:: SOT 4043182 SOS 2966332 HAS SOPS 2966332 HAS SOUS 2527682 HAS SOUPS 2527682 WITH SCORE 2530648.332
AT ITER 937 NEW BEST:: SOT 4042556 SOS 2965706 HAS SOPS 2965706 HAS SOUS 2527056 HAS SOUPS 2527056 WITH SCORE 2530021.706
AT ITER 947 NEW BEST:: SOT 4042470 SOS 2965620 HAS SOPS 2965620 HAS SOUS 2526970 HAS SOUPS 2526970 WITH SCORE 2529935.62
AT ITER 948 NEW BEST:: SOT 4042060 SOS 2965210 HAS SOPS 2965210 HAS SOUS 2526560 HAS SOUPS 2526560 WITH SCORE 2529525.21
AT ITER 951 NEW BEST:: SOT 4041148 SOS 2962850 HAS SOPS 2962850 HAS SOUS 2524420 HAS SOUPS 2524420 WITH SCORE 2527382.85
AT ITER 953 NEW BEST:: SOT 4040681 SOS 2962383 HAS SOPS 2962383 HAS SOUS 2523953 HAS SOUPS 2523953 WITH SCORE 2526915.383
AT ITER 955 NEW BEST:: SOT 4040681 SOS 2962229 HAS SOPS 2962229 HAS SOUS 2523799 HAS SOUPS 2523799 WITH SCORE 2526761.229
AT ITER 965 NEW BEST:: SOT 4040491 SOS 2958815 HAS SOPS 2958815 HAS SOUS 2520934 HAS SOUPS 2520934 WITH SCORE 2523892.815
AT ITER 966 NEW BEST:: SOT 4040252 SOS 2958576 HAS SOPS 2958576 HAS SOUS 2520695 HAS SOUPS 2520695 WITH SCORE 2523653.576
AT ITER 968 NEW BEST:: SOT 4040649 SOS 2959798 HAS SOPS 2959798 HAS SOUS 2520424 HAS SOUPS 2520424 WITH SCORE 2523383.798
AT ITER 970 NEW BEST:: SOT 4039774 SOS 2958923 HAS SOPS 2958923 HAS SOUS 2519549 HAS SOUPS 2519549 WITH SCORE 2522507.923
AT ITER 975 NEW BEST:: SOT 4039207 SOS 2956345 HAS SOPS 2956345 HAS SOUS 2519137 HAS SOUPS 2519137 WITH SCORE 2522093.345
AT ITER 980 NEW BEST:: SOT 4039207 SOS 2956108 HAS SOPS 2956108 HAS SOUS 2519137 HAS SOUPS 2519137 WITH SCORE 2522093.108
AT ITER 983 NEW BEST:: SOT 4038499 SOS 2955387 HAS SOPS 2955387 HAS SOUS 2518416 HAS SOUPS 2518416 WITH SCORE 2521371.387
AT ITER 993 NEW BEST:: SOT 4038239 SOS 2955127 HAS SOPS 2955127 HAS SOUS 2518156 HAS SOUPS 2518156 WITH SCORE 2521111.127
AT ITER 994 NEW BEST:: SOT 4036401 SOS 2952885 HAS SOPS 2952885 HAS SOUS 2515505 HAS SOUPS 2515505 WITH SCORE 2518457.885
AT ITER 995 NEW BEST:: SOT 4035696 SOS 2952178 HAS SOPS 2952178 HAS SOUS 2514798 HAS SOUPS 2514798 WITH SCORE 2517750.178
AT ITER 996 NEW BEST:: SOT 4035695 SOS 2952177 HAS SOPS 2952177 HAS SOUS 2514797 HAS SOUPS 2514797 WITH SCORE 2517749.177
AT ITER 997 NEW BEST:: SOT 4035695 SOS 2952176 HAS SOPS 2952176 HAS SOUS 2514796 HAS SOUPS 2514796 WITH SCORE 2517748.176
AT ITER 1012 NEW BEST:: SOT 4035567 SOS 2951664 HAS SOPS 2951664 HAS SOUS 2514540 HAS SOUPS 2514540 WITH SCORE 2517491.664
AT ITER 1014 NEW BEST:: SOT 4037082 SOS 2950851 HAS SOPS 2950851 HAS SOUS 2514087 HAS SOUPS 2514087 WITH SCORE 2517037.851
AT ITER 1020 NEW BEST:: SOT 4036282 SOS 2949873 HAS SOPS 2949873 HAS SOUS 2513109 HAS SOUPS 2513109 WITH SCORE 2516058.873
AT ITER 1030 NEW BEST:: SOT 4034963 SOS 2948552 HAS SOPS 2948552 HAS SOUS 2511788 HAS SOUPS 2511788 WITH SCORE 2514736.552
AT ITER 1033 NEW BEST:: SOT 4034708 SOS 2948297 HAS SOPS 2948297 HAS SOUS 2511788 HAS SOUPS 2511788 WITH SCORE 2514736.297
AT ITER 1037 NEW BEST:: SOT 4034472 SOS 2947998 HAS SOPS 2947998 HAS SOUS 2511489 HAS SOUPS 2511489 WITH SCORE 2514436.998
AT ITER 1042 NEW BEST:: SOT 4033662 SOS 2947186 HAS SOPS 2947186 HAS SOUS 2510677 HAS SOUPS 2510677 WITH SCORE 2513624.186
AT ITER 1049 NEW BEST:: SOT 4033346 SOS 2945367 HAS SOPS 2945367 HAS SOUS 2509542 HAS SOUPS 2509542 WITH SCORE 2512487.367
AT ITER 1052 NEW BEST:: SOT 4032240 SOS 2944261 HAS SOPS 2944261 HAS SOUS 2508436 HAS SOUPS 2508436 WITH SCORE 2511380.261
AT ITER 1055 NEW BEST:: SOT 4030700 SOS 2942803 HAS SOPS 2942803 HAS SOUS 2507075 HAS SOUPS 2507075 WITH SCORE 2510017.803
AT ITER 1073 NEW BEST:: SOT 4030462 SOS 2938907 HAS SOPS 2938907 HAS SOUS 2504811 HAS SOUPS 2504811 WITH SCORE 2507749.907
AT ITER 1075 NEW BEST:: SOT 4030574 SOS 2939028 HAS SOPS 2939028 HAS SOUS 2504534 HAS SOUPS 2504534 WITH SCORE 2507473.028
AT ITER 1080 NEW BEST:: SOT 4031227 SOS 2937791 HAS SOPS 2937791 HAS SOUS 2504466 HAS SOUPS 2504466 WITH SCORE 2507403.791
AT ITER 1092 NEW BEST:: SOT 4031227 SOS 2937924 HAS SOPS 2937924 HAS SOUS 2504315 HAS SOUPS 2504315 WITH SCORE 2507252.924
AT ITER 1095 NEW BEST:: SOT 4030274 SOS 2936969 HAS SOPS 2936969 HAS SOUS 2503360 HAS SOUPS 2503360 WITH SCORE 2506296.969
AT ITER 1097 NEW BEST:: SOT 4030256 SOS 2936951 HAS SOPS 2936951 HAS SOUS 2503342 HAS SOUPS 2503342 WITH SCORE 2506278.951
AT ITER 1099 NEW BEST:: SOT 4029951 SOS 2935426 HAS SOPS 2935426 HAS SOUS 2503341 HAS SOUPS 2503341 WITH SCORE 2506276.426
AT ITER 1105 NEW BEST:: SOT 4029591 SOS 2934558 HAS SOPS 2934558 HAS SOUS 2503193 HAS SOUPS 2503193 WITH SCORE 2506127.558
AT ITER 1108 NEW BEST:: SOT 4029591 SOS 2933848 HAS SOPS 2933848 HAS SOUS 2502483 HAS SOUPS 2502483 WITH SCORE 2505416.848
AT ITER 1114 NEW BEST:: SOT 4029599 SOS 2933856 HAS SOPS 2933856 HAS SOUS 2502482 HAS SOUPS 2502482 WITH SCORE 2505415.856
AT ITER 1115 NEW BEST:: SOT 4029171 SOS 2933366 HAS SOPS 2933366 HAS SOUS 2502206 HAS SOUPS 2502206 WITH SCORE 2505139.366
AT ITER 1122 NEW BEST:: SOT 4028794 SOS 2932612 HAS SOPS 2932612 HAS SOUS 2502206 HAS SOUPS 2502206 WITH SCORE 2505138.612
AT ITER 1126 NEW BEST:: SOT 4027162 SOS 2931540 HAS SOPS 2931540 HAS SOUS 2501136 HAS SOUPS 2501136 WITH SCORE 2504067.54
AT ITER 1128 NEW BEST:: SOT 4027752 SOS 2929487 HAS SOPS 2929487 HAS SOUS 2500196 HAS SOUPS 2500196 WITH SCORE 2503125.487
AT ITER 1135 NEW BEST:: SOT 4027751 SOS 2929486 HAS SOPS 2929486 HAS SOUS 2500195 HAS SOUPS 2500195 WITH SCORE 2503124.486
AT ITER 1150 NEW BEST:: SOT 4027751 SOS 2929486 HAS SOPS 2929486 HAS SOUS 2499974 HAS SOUPS 2499974 WITH SCORE 2502903.486
AT ITER 1158 NEW BEST:: SOT 4027751 SOS 2929581 HAS SOPS 2929581 HAS SOUS 2499879 HAS SOUPS 2499879 WITH SCORE 2502808.581
AT ITER 1161 NEW BEST:: SOT 4027436 SOS 2929265 HAS SOPS 2929265 HAS SOUS 2499563 HAS SOUPS 2499563 WITH SCORE 2502492.265
AT ITER 1162 NEW BEST:: SOT 4026480 SOS 2928309 HAS SOPS 2928309 HAS SOUS 2498607 HAS SOUPS 2498607 WITH SCORE 2501535.309
AT ITER 1164 NEW BEST:: SOT 4025094 SOS 2926415 HAS SOPS 2926415 HAS SOUS 2496713 HAS SOUPS 2496713 WITH SCORE 2499639.415
AT ITER 1165 NEW BEST:: SOT 4025020 SOS 2926119 HAS SOPS 2926119 HAS SOUS 2496639 HAS SOUPS 2496639 WITH SCORE 2499565.119
AT ITER 1166 NEW BEST:: SOT 4025337 SOS 2926044 HAS SOPS 2926044 HAS SOUS 2496539 HAS SOUPS 2496539 WITH SCORE 2499465.044
AT ITER 1167 NEW BEST:: SOT 4027099 SOS 2923545 HAS SOPS 2923545 HAS SOUS 2496378 HAS SOUPS 2496378 WITH SCORE 2499301.545
AT ITER 1178 NEW BEST:: SOT 4026944 SOS 2923058 HAS SOPS 2923058 HAS SOUS 2496090 HAS SOUPS 2496090 WITH SCORE 2499013.058
AT ITER 1179 NEW BEST:: SOT 4028324 SOS 2920991 HAS SOPS 2920991 HAS SOUS 2495236 HAS SOUPS 2495236 WITH SCORE 2498156.991
AT ITER 1182 NEW BEST:: SOT 4028324 SOS 2920723 HAS SOPS 2920723 HAS SOUS 2494968 HAS SOUPS 2494968 WITH SCORE 2497888.723
AT ITER 1183 NEW BEST:: SOT 4028121 SOS 2920317 HAS SOPS 2920317 HAS SOUS 2494965 HAS SOUPS 2494965 WITH SCORE 2497885.317
AT ITER 1184 NEW BEST:: SOT 4026945 SOS 2918740 HAS SOPS 2918740 HAS SOUS 2493388 HAS SOUPS 2493388 WITH SCORE 2496306.74
AT ITER 1187 NEW BEST:: SOT 4027329 SOS 2918718 HAS SOPS 2918718 HAS SOUS 2492958 HAS SOUPS 2492958 WITH SCORE 2495876.718
AT ITER 1190 NEW BEST:: SOT 4027486 SOS 2916033 HAS SOPS 2916033 HAS SOUS 2490242 HAS SOUPS 2490242 WITH SCORE 2493158.033
AT ITER 1193 NEW BEST:: SOT 4026867 SOS 2915012 HAS SOPS 2915012 HAS SOUS 2488415 HAS SOUPS 2488415 WITH SCORE 2491330.012
AT ITER 1200 NEW BEST:: SOT 4025755 SOS 2913900 HAS SOPS 2913900 HAS SOUS 2487303 HAS SOUPS 2487303 WITH SCORE 2490216.9
AT ITER 1207 NEW BEST:: SOT 4026001 SOS 2914146 HAS SOPS 2914146 HAS SOUS 2487148 HAS SOUPS 2487148 WITH SCORE 2490062.146
AT ITER 1216 NEW BEST:: SOT 4025307 SOS 2913799 HAS SOPS 2913799 HAS SOUS 2486801 HAS SOUPS 2486801 WITH SCORE 2489714.799
AT ITER 1219 NEW BEST:: SOT 4025307 SOS 2913474 HAS SOPS 2913474 HAS SOUS 2486476 HAS SOUPS 2486476 WITH SCORE 2489389.474
AT ITER 1230 NEW BEST:: SOT 4024573 SOS 2913308 HAS SOPS 2913308 HAS SOUS 2486310 HAS SOUPS 2486310 WITH SCORE 2489223.308
AT ITER 1231 NEW BEST:: SOT 4026350 SOS 2911315 HAS SOPS 2911315 HAS SOUS 2485318 HAS SOUPS 2485318 WITH SCORE 2488229.315
AT ITER 1232 NEW BEST:: SOT 4025400 SOS 2908491 HAS SOPS 2908491 HAS SOUS 2482973 HAS SOUPS 2482973 WITH SCORE 2485881.491
AT ITER 1236 NEW BEST:: SOT 4025399 SOS 2908211 HAS SOPS 2908211 HAS SOUS 2482819 HAS SOUPS 2482819 WITH SCORE 2485727.211
AT ITER 1237 NEW BEST:: SOT 4025104 SOS 2907914 HAS SOPS 2907914 HAS SOUS 2482522 HAS SOUPS 2482522 WITH SCORE 2485429.914
AT ITER 1238 NEW BEST:: SOT 4025072 SOS 2907483 HAS SOPS 2907483 HAS SOUS 2482091 HAS SOUPS 2482091 WITH SCORE 2484998.483
AT ITER 1247 NEW BEST:: SOT 4025070 SOS 2907481 HAS SOPS 2907481 HAS SOUS 2482089 HAS SOUPS 2482089 WITH SCORE 2484996.481
AT ITER 1249 NEW BEST:: SOT 4024893 SOS 2907304 HAS SOPS 2907304 HAS SOUS 2481912 HAS SOUPS 2481912 WITH SCORE 2484819.304
AT ITER 1250 NEW BEST:: SOT 4023993 SOS 2906404 HAS SOPS 2906404 HAS SOUS 2481012 HAS SOUPS 2481012 WITH SCORE 2483918.404
AT ITER 1258 NEW BEST:: SOT 4023629 SOS 2906402 HAS SOPS 2906402 HAS SOUS 2480644 HAS SOUPS 2480644 WITH SCORE 2483550.402
AT ITER 1261 NEW BEST:: SOT 4024137 SOS 2904770 HAS SOPS 2904770 HAS SOUS 2479482 HAS SOUPS 2479482 WITH SCORE 2482386.77
AT ITER 1264 NEW BEST:: SOT 4022904 SOS 2902120 HAS SOPS 2902120 HAS SOUS 2477228 HAS SOUPS 2477228 WITH SCORE 2480130.12
AT ITER 1270 NEW BEST:: SOT 4022858 SOS 2901845 HAS SOPS 2901845 HAS SOUS 2476953 HAS SOUPS 2476953 WITH SCORE 2479854.845
AT ITER 1272 NEW BEST:: SOT 4022773 SOS 2901760 HAS SOPS 2901760 HAS SOUS 2476468 HAS SOUPS 2476468 WITH SCORE 2479369.76
AT ITER 1273 NEW BEST:: SOT 4022645 SOS 2901632 HAS SOPS 2901632 HAS SOUS 2476340 HAS SOUPS 2476340 WITH SCORE 2479241.632
AT ITER 1281 NEW BEST:: SOT 4022409 SOS 2900896 HAS SOPS 2900896 HAS SOUS 2475447 HAS SOUPS 2475447 WITH SCORE 2478347.896
AT ITER 1287 NEW BEST:: SOT 4022279 SOS 2901154 HAS SOPS 2901154 HAS SOUS 2474086 HAS SOUPS 2474086 WITH SCORE 2476987.154
AT ITER 1293 NEW BEST:: SOT 4022065 SOS 2900926 HAS SOPS 2900926 HAS SOUS 2473858 HAS SOUPS 2473858 WITH SCORE 2476758.926
AT ITER 1298 NEW BEST:: SOT 4021795 SOS 2900860 HAS SOPS 2900860 HAS SOUS 2473791 HAS SOUPS 2473791 WITH SCORE 2476691.86
AT ITER 1299 NEW BEST:: SOT 4021301 SOS 2900366 HAS SOPS 2900366 HAS SOUS 2473297 HAS SOUPS 2473297 WITH SCORE 2476197.366
AT ITER 1314 NEW BEST:: SOT 4022417 SOS 2899339 HAS SOPS 2899339 HAS SOUS 2472249 HAS SOUPS 2472249 WITH SCORE 2475148.339
AT ITER 1327 NEW BEST:: SOT 4021733 SOS 2898655 HAS SOPS 2898655 HAS SOUS 2471565 HAS SOUPS 2471565 WITH SCORE 2474463.655
AT ITER 1328 NEW BEST:: SOT 4021344 SOS 2898293 HAS SOPS 2898293 HAS SOUS 2471203 HAS SOUPS 2471203 WITH SCORE 2474101.293
AT ITER 1338 NEW BEST:: SOT 4021264 SOS 2898213 HAS SOPS 2898213 HAS SOUS 2471123 HAS SOUPS 2471123 WITH SCORE 2474021.213
AT ITER 1339 NEW BEST:: SOT 4018806 SOS 2895755 HAS SOPS 2895755 HAS SOUS 2468345 HAS SOUPS 2468345 WITH SCORE 2471240.755
AT ITER 1341 NEW BEST:: SOT 4018641 SOS 2895590 HAS SOPS 2895590 HAS SOUS 2468180 HAS SOUPS 2468180 WITH SCORE 2471075.59
AT ITER 1343 NEW BEST:: SOT 4017981 SOS 2894362 HAS SOPS 2894362 HAS SOUS 2466952 HAS SOUPS 2466952 WITH SCORE 2469846.362
AT ITER 1346 NEW BEST:: SOT 4017981 SOS 2894316 HAS SOPS 2894316 HAS SOUS 2466760 HAS SOUPS 2466760 WITH SCORE 2469654.316
AT ITER 1350 NEW BEST:: SOT 4017838 SOS 2894151 HAS SOPS 2894151 HAS SOUS 2466589 HAS SOUPS 2466589 WITH SCORE 2469483.151
AT ITER 1359 NEW BEST:: SOT 4017098 SOS 2891168 HAS SOPS 2891168 HAS SOUS 2466139 HAS SOUPS 2466139 WITH SCORE 2469030.168
AT ITER 1360 NEW BEST:: SOT 4017098 SOS 2890225 HAS SOPS 2890225 HAS SOUS 2465628 HAS SOUPS 2465628 WITH SCORE 2468518.225
AT ITER 1361 NEW BEST:: SOT 4017097 SOS 2890146 HAS SOPS 2890146 HAS SOUS 2465473 HAS SOUPS 2465473 WITH SCORE 2468363.146
AT ITER 1363 NEW BEST:: SOT 4016920 SOS 2889261 HAS SOPS 2889261 HAS SOUS 2465473 HAS SOUPS 2465473 WITH SCORE 2468362.261
AT ITER 1365 NEW BEST:: SOT 4016305 SOS 2887095 HAS SOPS 2887095 HAS SOUS 2463544 HAS SOUPS 2463544 WITH SCORE 2466431.095
AT ITER 1370 NEW BEST:: SOT 4016224 SOS 2887014 HAS SOPS 2887014 HAS SOUS 2463463 HAS SOUPS 2463463 WITH SCORE 2466350.014
AT ITER 1371 NEW BEST:: SOT 4015629 SOS 2886419 HAS SOPS 2886419 HAS SOUS 2462868 HAS SOUPS 2462868 WITH SCORE 2465754.419
AT ITER 1374 NEW BEST:: SOT 4015613 SOS 2886403 HAS SOPS 2886403 HAS SOUS 2462852 HAS SOUPS 2462852 WITH SCORE 2465738.403
AT ITER 1376 NEW BEST:: SOT 4015613 SOS 2886394 HAS SOPS 2886394 HAS SOUS 2462843 HAS SOUPS 2462843 WITH SCORE 2465729.394
AT ITER 1385 NEW BEST:: SOT 4015075 SOS 2885856 HAS SOPS 2885856 HAS SOUS 2462305 HAS SOUPS 2462305 WITH SCORE 2465190.856
AT ITER 1386 NEW BEST:: SOT 4015072 SOS 2885853 HAS SOPS 2885853 HAS SOUS 2462302 HAS SOUPS 2462302 WITH SCORE 2465187.853
AT ITER 1388 NEW BEST:: SOT 4013940 SOS 2884721 HAS SOPS 2884721 HAS SOUS 2461170 HAS SOUPS 2461170 WITH SCORE 2464054.721
AT ITER 1393 NEW BEST:: SOT 4013527 SOS 2882471 HAS SOPS 2882471 HAS SOUS 2460398 HAS SOUPS 2460398 WITH SCORE 2463280.471
AT ITER 1427 NEW BEST:: SOT 4012923 SOS 2881804 HAS SOPS 2881804 HAS SOUS 2459731 HAS SOUPS 2459731 WITH SCORE 2462612.804
AT ITER 1453 NEW BEST:: SOT 4012477 SOS 2879942 HAS SOPS 2879942 HAS SOUS 2458177 HAS SOUPS 2458177 WITH SCORE 2461056.942
AT ITER 1456 NEW BEST:: SOT 4012341 SOS 2879800 HAS SOPS 2879800 HAS SOUS 2458035 HAS SOUPS 2458035 WITH SCORE 2460914.8
AT ITER 1457 NEW BEST:: SOT 4012152 SOS 2879586 HAS SOPS 2879586 HAS SOUS 2457821 HAS SOUPS 2457821 WITH SCORE 2460700.586
AT ITER 1465 NEW BEST:: SOT 4012513 SOS 2879544 HAS SOPS 2879544 HAS SOUS 2457779 HAS SOUPS 2457779 WITH SCORE 2460658.544
AT ITER 1466 NEW BEST:: SOT 4012420 SOS 2878982 HAS SOPS 2878982 HAS SOUS 2457556 HAS SOUPS 2457556 WITH SCORE 2460434.982
AT ITER 1468 NEW BEST:: SOT 4011888 SOS 2878450 HAS SOPS 2878450 HAS SOUS 2457024 HAS SOUPS 2457024 WITH SCORE 2459902.45
AT ITER 1471 NEW BEST:: SOT 4010394 SOS 2875856 HAS SOPS 2875856 HAS SOUS 2454430 HAS SOUPS 2454430 WITH SCORE 2457305.856
AT ITER 1476 NEW BEST:: SOT 4010394 SOS 2875855 HAS SOPS 2875855 HAS SOUS 2454429 HAS SOUPS 2454429 WITH SCORE 2457304.855
AT ITER 1478 NEW BEST:: SOT 4010323 SOS 2875765 HAS SOPS 2875765 HAS SOUS 2454171 HAS SOUPS 2454171 WITH SCORE 2457046.765
AT ITER 1483 NEW BEST:: SOT 4010281 SOS 2875630 HAS SOPS 2875630 HAS SOUS 2454036 HAS SOUPS 2454036 WITH SCORE 2456911.63
AT ITER 1484 NEW BEST:: SOT 4009913 SOS 2875260 HAS SOPS 2875260 HAS SOUS 2453666 HAS SOUPS 2453666 WITH SCORE 2456541.26
AT ITER 1485 NEW BEST:: SOT 4010104 SOS 2873363 HAS SOPS 2873363 HAS SOUS 2452101 HAS SOUPS 2452101 WITH SCORE 2454974.363
AT ITER 1489 NEW BEST:: SOT 4010104 SOS 2873361 HAS SOPS 2873361 HAS SOUS 2452099 HAS SOUPS 2452099 WITH SCORE 2454972.361
AT ITER 1494 NEW BEST:: SOT 4009853 SOS 2873110 HAS SOPS 2873110 HAS SOUS 2451848 HAS SOUPS 2451848 WITH SCORE 2454721.11
AT ITER 1500 NEW BEST:: SOT 4009502 SOS 2872270 HAS SOPS 2872270 HAS SOUS 2451523 HAS SOUPS 2451523 WITH SCORE 2454395.27
AT ITER 1504 NEW BEST:: SOT 4009127 SOS 2872264 HAS SOPS 2872264 HAS SOUS 2451490 HAS SOUPS 2451490 WITH SCORE 2454362.264
AT ITER 1513 NEW BEST:: SOT 4008307 SOS 2871444 HAS SOPS 2871444 HAS SOUS 2450670 HAS SOUPS 2450670 WITH SCORE 2453541.444
AT ITER 1514 NEW BEST:: SOT 4008307 SOS 2871444 HAS SOPS 2871444 HAS SOUS 2450531 HAS SOUPS 2450531 WITH SCORE 2453402.444
AT ITER 1515 NEW BEST:: SOT 4008224 SOS 2871385 HAS SOPS 2871385 HAS SOUS 2450527 HAS SOUPS 2450527 WITH SCORE 2453398.385
AT ITER 1522 NEW BEST:: SOT 4008322 SOS 2871085 HAS SOPS 2871085 HAS SOUS 2450227 HAS SOUPS 2450227 WITH SCORE 2453098.085
AT ITER 1524 NEW BEST:: SOT 4009269 SOS 2872032 HAS SOPS 2872032 HAS SOUS 2450060 HAS SOUPS 2450060 WITH SCORE 2452932.032
AT ITER 1529 NEW BEST:: SOT 4009021 SOS 2871040 HAS SOPS 2871040 HAS SOUS 2449812 HAS SOUPS 2449812 WITH SCORE 2452683.04
AT ITER 1534 NEW BEST:: SOT 4009140 SOS 2868218 HAS SOPS 2868218 HAS SOUS 2447085 HAS SOUPS 2447085 WITH SCORE 2449953.218
AT ITER 1542 NEW BEST:: SOT 4009052 SOS 2868128 HAS SOPS 2868128 HAS SOUS 2446995 HAS SOUPS 2446995 WITH SCORE 2449863.128
AT ITER 1549 NEW BEST:: SOT 4008538 SOS 2867614 HAS SOPS 2867614 HAS SOUS 2446481 HAS SOUPS 2446481 WITH SCORE 2449348.614
AT ITER 1561 NEW BEST:: SOT 4008450 SOS 2867204 HAS SOPS 2867204 HAS SOUS 2446390 HAS SOUPS 2446390 WITH SCORE 2449257.204
AT ITER 1562 NEW BEST:: SOT 4007538 SOS 2866292 HAS SOPS 2866292 HAS SOUS 2444689 HAS SOUPS 2444689 WITH SCORE 2447555.292
AT ITER 1565 NEW BEST:: SOT 4006913 SOS 2865667 HAS SOPS 2865667 HAS SOUS 2444064 HAS SOUPS 2444064 WITH SCORE 2446929.667
AT ITER 1576 NEW BEST:: SOT 4006752 SOS 2865531 HAS SOPS 2865531 HAS SOUS 2443928 HAS SOUPS 2443928 WITH SCORE 2446793.531
AT ITER 1577 NEW BEST:: SOT 4005513 SOS 2864292 HAS SOPS 2864292 HAS SOUS 2442689 HAS SOUPS 2442689 WITH SCORE 2445553.292
AT ITER 1580 NEW BEST:: SOT 4005327 SOS 2863362 HAS SOPS 2863362 HAS SOUS 2442689 HAS SOUPS 2442689 WITH SCORE 2445552.362
AT ITER 1583 NEW BEST:: SOT 4005209 SOS 2863244 HAS SOPS 2863244 HAS SOUS 2442571 HAS SOUPS 2442571 WITH SCORE 2445434.244
AT ITER 1586 NEW BEST:: SOT 4005438 SOS 2862760 HAS SOPS 2862760 HAS SOUS 2440691 HAS SOUPS 2440691 WITH SCORE 2443553.76
AT ITER 1587 NEW BEST:: SOT 4005382 SOS 2862704 HAS SOPS 2862704 HAS SOUS 2440635 HAS SOUPS 2440635 WITH SCORE 2443497.704
AT ITER 1591 NEW BEST:: SOT 4005252 SOS 2862574 HAS SOPS 2862574 HAS SOUS 2440505 HAS SOUPS 2440505 WITH SCORE 2443367.574
AT ITER 1592 NEW BEST:: SOT 4004907 SOS 2862574 HAS SOPS 2862574 HAS SOUS 2440504 HAS SOUPS 2440504 WITH SCORE 2443366.574
AT ITER 1597 NEW BEST:: SOT 4004905 SOS 2862441 HAS SOPS 2862441 HAS SOUS 2440498 HAS SOUPS 2440498 WITH SCORE 2443360.441
AT ITER 1598 NEW BEST:: SOT 4005156 SOS 2861925 HAS SOPS 2861925 HAS SOUS 2440048 HAS SOUPS 2440048 WITH SCORE 2442909.925
AT ITER 1601 NEW BEST:: SOT 4004744 SOS 2861513 HAS SOPS 2861513 HAS SOUS 2438697 HAS SOUPS 2438697 WITH SCORE 2441558.513
AT ITER 1616 NEW BEST:: SOT 4004572 SOS 2861341 HAS SOPS 2861341 HAS SOUS 2438125 HAS SOUPS 2438125 WITH SCORE 2440986.341
AT ITER 1622 NEW BEST:: SOT 4004512 SOS 2861281 HAS SOPS 2861281 HAS SOUS 2438065 HAS SOUPS 2438065 WITH SCORE 2440926.281
AT ITER 1625 NEW BEST:: SOT 4003130 SOS 2859099 HAS SOPS 2859099 HAS SOUS 2435883 HAS SOUPS 2435883 WITH SCORE 2438742.099
AT ITER 1626 NEW BEST:: SOT 4003130 SOS 2858911 HAS SOPS 2858911 HAS SOUS 2435695 HAS SOUPS 2435695 WITH SCORE 2438553.911
AT ITER 1629 NEW BEST:: SOT 4003315 SOS 2858345 HAS SOPS 2858345 HAS SOUS 2434196 HAS SOUPS 2434196 WITH SCORE 2437054.345
AT ITER 1632 NEW BEST:: SOT 4003191 SOS 2858277 HAS SOPS 2858277 HAS SOUS 2434184 HAS SOUPS 2434184 WITH SCORE 2437042.277
AT ITER 1654 NEW BEST:: SOT 4003141 SOS 2858227 HAS SOPS 2858227 HAS SOUS 2434134 HAS SOUPS 2434134 WITH SCORE 2436992.227
AT ITER 1655 NEW BEST:: SOT 4002963 SOS 2858043 HAS SOPS 2858043 HAS SOUS 2433950 HAS SOUPS 2433950 WITH SCORE 2436808.043
AT ITER 1656 NEW BEST:: SOT 4002432 SOS 2856005 HAS SOPS 2856005 HAS SOUS 2433319 HAS SOUPS 2433319 WITH SCORE 2436175.005
AT ITER 1661 NEW BEST:: SOT 4002432 SOS 2855852 HAS SOPS 2855852 HAS SOUS 2433171 HAS SOUPS 2433171 WITH SCORE 2436026.852
AT ITER 1671 NEW BEST:: SOT 4001775 SOS 2853373 HAS SOPS 2853373 HAS SOUS 2431936 HAS SOUPS 2431936 WITH SCORE 2434789.373
AT ITER 1673 NEW BEST:: SOT 4001477 SOS 2853075 HAS SOPS 2853075 HAS SOUS 2431638 HAS SOUPS 2431638 WITH SCORE 2434491.075
AT ITER 1674 NEW BEST:: SOT 4001477 SOS 2852997 HAS SOPS 2852997 HAS SOUS 2431612 HAS SOUPS 2431612 WITH SCORE 2434464.997
AT ITER 1676 NEW BEST:: SOT 4001362 SOS 2852307 HAS SOPS 2852307 HAS SOUS 2431612 HAS SOUPS 2431612 WITH SCORE 2434464.307
AT ITER 1685 NEW BEST:: SOT 4000216 SOS 2850536 HAS SOPS 2850536 HAS SOUS 2429841 HAS SOUPS 2429841 WITH SCORE 2432691.536
AT ITER 1690 NEW BEST:: SOT 3999890 SOS 2850208 HAS SOPS 2850208 HAS SOUS 2429513 HAS SOUPS 2429513 WITH SCORE 2432363.208
AT ITER 1692 NEW BEST:: SOT 3999460 SOS 2849776 HAS SOPS 2849776 HAS SOUS 2428082 HAS SOUPS 2428082 WITH SCORE 2430931.776
AT ITER 1696 NEW BEST:: SOT 3996989 SOS 2845749 HAS SOPS 2845749 HAS SOUS 2422699 HAS SOUPS 2422699 WITH SCORE 2425544.749
AT ITER 1698 NEW BEST:: SOT 3995982 SOS 2844740 HAS SOPS 2844740 HAS SOUS 2421690 HAS SOUPS 2421690 WITH SCORE 2424534.74
AT ITER 1707 NEW BEST:: SOT 3995219 SOS 2843977 HAS SOPS 2843977 HAS SOUS 2420927 HAS SOUPS 2420927 WITH SCORE 2423770.977
AT ITER 1708 NEW BEST:: SOT 3995219 SOS 2844524 HAS SOPS 2844524 HAS SOUS 2420024 HAS SOUPS 2420024 WITH SCORE 2422868.524
AT ITER 1710 NEW BEST:: SOT 3994788 SOS 2844093 HAS SOPS 2844093 HAS SOUS 2419593 HAS SOUPS 2419593 WITH SCORE 2422437.093
AT ITER 1712 NEW BEST:: SOT 3993972 SOS 2842880 HAS SOPS 2842880 HAS SOUS 2418380 HAS SOUPS 2418380 WITH SCORE 2421222.88
AT ITER 1718 NEW BEST:: SOT 3993758 SOS 2842666 HAS SOPS 2842666 HAS SOUS 2418166 HAS SOUPS 2418166 WITH SCORE 2421008.666
AT ITER 1719 NEW BEST:: SOT 3994116 SOS 2843024 HAS SOPS 2843024 HAS SOUS 2418165 HAS SOUPS 2418165 WITH SCORE 2421008.024
AT ITER 1723 NEW BEST:: SOT 3994232 SOS 2842668 HAS SOPS 2842668 HAS SOUS 2418045 HAS SOUPS 2418045 WITH SCORE 2420887.668
AT ITER 1726 NEW BEST:: SOT 3994459 SOS 2840944 HAS SOPS 2840944 HAS SOUS 2416577 HAS SOUPS 2416577 WITH SCORE 2419417.944
AT ITER 1727 NEW BEST:: SOT 3994468 SOS 2841168 HAS SOPS 2841168 HAS SOUS 2416381 HAS SOUPS 2416381 WITH SCORE 2419222.168
AT ITER 1729 NEW BEST:: SOT 3993782 SOS 2840482 HAS SOPS 2840482 HAS SOUS 2415695 HAS SOUPS 2415695 WITH SCORE 2418535.482
AT ITER 1735 NEW BEST:: SOT 3994059 SOS 2839472 HAS SOPS 2839472 HAS SOUS 2414288 HAS SOUPS 2414288 WITH SCORE 2417127.472
AT ITER 1742 NEW BEST:: SOT 3993387 SOS 2838800 HAS SOPS 2838800 HAS SOUS 2413616 HAS SOUPS 2413616 WITH SCORE 2416454.8
AT ITER 1743 NEW BEST:: SOT 3992559 SOS 2837575 HAS SOPS 2837575 HAS SOUS 2412956 HAS SOUPS 2412956 WITH SCORE 2415793.575
AT ITER 1749 NEW BEST:: SOT 3992177 SOS 2836847 HAS SOPS 2836847 HAS SOUS 2412054 HAS SOUPS 2412054 WITH SCORE 2414890.847
AT ITER 1751 NEW BEST:: SOT 3993877 SOS 2838451 HAS SOPS 2838451 HAS SOUS 2411291 HAS SOUPS 2411291 WITH SCORE 2414129.451
AT ITER 1753 NEW BEST:: SOT 3992427 SOS 2837208 HAS SOPS 2837208 HAS SOUS 2410048 HAS SOUPS 2410048 WITH SCORE 2412885.208
AT ITER 1754 NEW BEST:: SOT 3991967 SOS 2836748 HAS SOPS 2836748 HAS SOUS 2409587 HAS SOUPS 2409587 WITH SCORE 2412423.748
AT ITER 1758 NEW BEST:: SOT 3991053 SOS 2835834 HAS SOPS 2835834 HAS SOUS 2408272 HAS SOUPS 2408272 WITH SCORE 2411107.834
AT ITER 1759 NEW BEST:: SOT 3991114 SOS 2835895 HAS SOPS 2835895 HAS SOUS 2407273 HAS SOUPS 2407273 WITH SCORE 2410108.895
AT ITER 1763 NEW BEST:: SOT 3991161 SOS 2835343 HAS SOPS 2835343 HAS SOUS 2406725 HAS SOUPS 2406725 WITH SCORE 2409560.343
AT ITER 1771 NEW BEST:: SOT 3990046 SOS 2833450 HAS SOPS 2833450 HAS SOUS 2404832 HAS SOUPS 2404832 WITH SCORE 2407665.45
AT ITER 1777 NEW BEST:: SOT 3989924 SOS 2833328 HAS SOPS 2833328 HAS SOUS 2404710 HAS SOUPS 2404710 WITH SCORE 2407543.328
AT ITER 1781 NEW BEST:: SOT 3989251 SOS 2830439 HAS SOPS 2830439 HAS SOUS 2404568 HAS SOUPS 2404568 WITH SCORE 2407398.439
AT ITER 1784 NEW BEST:: SOT 3989245 SOS 2830431 HAS SOPS 2830431 HAS SOUS 2404560 HAS SOUPS 2404560 WITH SCORE 2407390.431
AT ITER 1787 NEW BEST:: SOT 3987396 SOS 2827561 HAS SOPS 2827561 HAS SOUS 2401690 HAS SOUPS 2401690 WITH SCORE 2404517.561
AT ITER 1817 NEW BEST:: SOT 3987332 SOS 2827433 HAS SOPS 2827433 HAS SOUS 2401626 HAS SOUPS 2401626 WITH SCORE 2404453.433
AT ITER 1821 NEW BEST:: SOT 3986682 SOS 2824000 HAS SOPS 2824000 HAS SOUS 2400289 HAS SOUPS 2400289 WITH SCORE 2403113.0
AT ITER 1823 NEW BEST:: SOT 3986374 SOS 2823721 HAS SOPS 2823721 HAS SOUS 2400010 HAS SOUPS 2400010 WITH SCORE 2402833.721
AT ITER 1827 NEW BEST:: SOT 3986374 SOS 2822289 HAS SOPS 2822289 HAS SOUS 2399996 HAS SOUPS 2399996 WITH SCORE 2402818.289
AT ITER 1830 NEW BEST:: SOT 3985812 SOS 2821923 HAS SOPS 2821923 HAS SOUS 2399630 HAS SOUPS 2399630 WITH SCORE 2402451.923
AT ITER 1833 NEW BEST:: SOT 3983996 SOS 2820105 HAS SOPS 2820105 HAS SOUS 2397924 HAS SOUPS 2397924 WITH SCORE 2400744.105
AT ITER 1834 NEW BEST:: SOT 3983996 SOS 2819922 HAS SOPS 2819922 HAS SOUS 2397694 HAS SOUPS 2397694 WITH SCORE 2400513.922
AT ITER 1836 NEW BEST:: SOT 3982889 SOS 2818710 HAS SOPS 2818710 HAS SOUS 2396482 HAS SOUPS 2396482 WITH SCORE 2399300.71
AT ITER 1839 NEW BEST:: SOT 3981849 SOS 2816939 HAS SOPS 2816939 HAS SOUS 2394027 HAS SOUPS 2394027 WITH SCORE 2396843.939
AT ITER 1845 NEW BEST:: SOT 3982852 SOS 2817348 HAS SOPS 2817348 HAS SOUS 2393845 HAS SOUPS 2393845 WITH SCORE 2396662.348
AT ITER 1851 NEW BEST:: SOT 3981104 SOS 2817021 HAS SOPS 2817021 HAS SOUS 2393518 HAS SOUPS 2393518 WITH SCORE 2396335.021
AT ITER 1859 NEW BEST:: SOT 3980314 SOS 2816230 HAS SOPS 2816230 HAS SOUS 2392727 HAS SOUPS 2392727 WITH SCORE 2395543.23
AT ITER 1870 NEW BEST:: SOT 3980166 SOS 2816082 HAS SOPS 2816082 HAS SOUS 2392579 HAS SOUPS 2392579 WITH SCORE 2395395.082
AT ITER 1879 NEW BEST:: SOT 3979764 SOS 2815680 HAS SOPS 2815680 HAS SOUS 2392177 HAS SOUPS 2392177 WITH SCORE 2394992.68
AT ITER 1880 NEW BEST:: SOT 3979283 SOS 2815196 HAS SOPS 2815196 HAS SOUS 2391693 HAS SOUPS 2391693 WITH SCORE 2394508.196
AT ITER 1888 NEW BEST:: SOT 3979231 SOS 2815144 HAS SOPS 2815144 HAS SOUS 2391641 HAS SOUPS 2391641 WITH SCORE 2394456.144
AT ITER 1889 NEW BEST:: SOT 3979231 SOS 2815141 HAS SOPS 2815141 HAS SOUS 2391638 HAS SOUPS 2391638 WITH SCORE 2394453.141
AT ITER 1893 NEW BEST:: SOT 3979231 SOS 2814739 HAS SOPS 2814739 HAS SOUS 2389405 HAS SOUPS 2389405 WITH SCORE 2392219.739
AT ITER 1908 NEW BEST:: SOT 3979231 SOS 2813482 HAS SOPS 2813482 HAS SOUS 2388592 HAS SOUPS 2388592 WITH SCORE 2391405.482
AT ITER 1921 NEW BEST:: SOT 3978927 SOS 2813178 HAS SOPS 2813178 HAS SOUS 2388288 HAS SOUPS 2388288 WITH SCORE 2391101.178
AT ITER 1924 NEW BEST:: SOT 3978890 SOS 2813141 HAS SOPS 2813141 HAS SOUS 2388251 HAS SOUPS 2388251 WITH SCORE 2391064.141
AT ITER 1934 NEW BEST:: SOT 3978581 SOS 2810872 HAS SOPS 2810872 HAS SOUS 2387046 HAS SOUPS 2387046 WITH SCORE 2389856.872
AT ITER 1935 NEW BEST:: SOT 3977364 SOS 2809655 HAS SOPS 2809655 HAS SOUS 2385829 HAS SOUPS 2385829 WITH SCORE 2388638.655
AT ITER 1936 NEW BEST:: SOT 3977364 SOS 2809445 HAS SOPS 2809445 HAS SOUS 2385363 HAS SOUPS 2385363 WITH SCORE 2388172.445
AT ITER 1940 NEW BEST:: SOT 3977360 SOS 2808848 HAS SOPS 2808848 HAS SOUS 2384766 HAS SOUPS 2384766 WITH SCORE 2387574.848
AT ITER 1944 NEW BEST:: SOT 3976872 SOS 2808551 HAS SOPS 2808551 HAS SOUS 2384469 HAS SOUPS 2384469 WITH SCORE 2387277.551
AT ITER 1947 NEW BEST:: SOT 3976233 SOS 2807517 HAS SOPS 2807517 HAS SOUS 2383435 HAS SOUPS 2383435 WITH SCORE 2386242.517
AT ITER 1948 NEW BEST:: SOT 3976362 SOS 2806739 HAS SOPS 2806739 HAS SOUS 2383167 HAS SOUPS 2383167 WITH SCORE 2385973.739
AT ITER 1955 NEW BEST:: SOT 3976362 SOS 2805396 HAS SOPS 2805396 HAS SOUS 2382486 HAS SOUPS 2382486 WITH SCORE 2385291.396
AT ITER 1958 NEW BEST:: SOT 3976362 SOS 2805395 HAS SOPS 2805395 HAS SOUS 2382485 HAS SOUPS 2382485 WITH SCORE 2385290.395
AT ITER 1959 NEW BEST:: SOT 3976270 SOS 2805302 HAS SOPS 2805302 HAS SOUS 2382392 HAS SOUPS 2382392 WITH SCORE 2385197.302
AT ITER 1961 NEW BEST:: SOT 3975431 SOS 2804721 HAS SOPS 2804721 HAS SOUS 2381411 HAS SOUPS 2381411 WITH SCORE 2384215.721
AT ITER 1964 NEW BEST:: SOT 3974893 SOS 2802654 HAS SOPS 2802654 HAS SOUS 2380598 HAS SOUPS 2380598 WITH SCORE 2383400.654
AT ITER 1969 NEW BEST:: SOT 3974636 SOS 2802397 HAS SOPS 2802397 HAS SOUS 2380547 HAS SOUPS 2380547 WITH SCORE 2383349.397
AT ITER 1971 NEW BEST:: SOT 3974636 SOS 2802395 HAS SOPS 2802395 HAS SOUS 2380545 HAS SOUPS 2380545 WITH SCORE 2383347.395
AT ITER 1974 NEW BEST:: SOT 3972959 SOS 2800322 HAS SOPS 2800322 HAS SOUS 2378347 HAS SOUPS 2378347 WITH SCORE 2381147.322
AT ITER 1978 NEW BEST:: SOT 3972565 SOS 2799928 HAS SOPS 2799928 HAS SOUS 2377424 HAS SOUPS 2377424 WITH SCORE 2380223.928
AT ITER 1988 NEW BEST:: SOT 3972565 SOS 2799928 HAS SOPS 2799928 HAS SOUS 2377423 HAS SOUPS 2377423 WITH SCORE 2380222.928
AT ITER 1991 NEW BEST:: SOT 3972409 SOS 2799772 HAS SOPS 2799772 HAS SOUS 2377267 HAS SOUPS 2377267 WITH SCORE 2380066.772
AT ITER 1992 NEW BEST:: SOT 3972706 SOS 2799546 HAS SOPS 2799546 HAS SOUS 2377041 HAS SOUPS 2377041 WITH SCORE 2379840.546
AT ITER 1998 NEW BEST:: SOT 3972706 SOS 2798791 HAS SOPS 2798791 HAS SOUS 2377032 HAS SOUPS 2377032 WITH SCORE 2379830.791
AT ITER 2001 NEW BEST:: SOT 3972570 SOS 2798655 HAS SOPS 2798655 HAS SOUS 2377031 HAS SOUPS 2377031 WITH SCORE 2379829.655
AT ITER 2003 NEW BEST:: SOT 3972546 SOS 2798631 HAS SOPS 2798631 HAS SOUS 2377007 HAS SOUPS 2377007 WITH SCORE 2379805.631
AT ITER 2005 NEW BEST:: SOT 3972546 SOS 2798559 HAS SOPS 2798559 HAS SOUS 2376934 HAS SOUPS 2376934 WITH SCORE 2379732.559
AT ITER 2006 NEW BEST:: SOT 3972546 SOS 2798399 HAS SOPS 2798399 HAS SOUS 2376659 HAS SOUPS 2376659 WITH SCORE 2379457.399
AT ITER 2011 NEW BEST:: SOT 3970507 SOS 2796212 HAS SOPS 2796212 HAS SOUS 2374102 HAS SOUPS 2374102 WITH SCORE 2376898.212
AT ITER 2018 NEW BEST:: SOT 3971287 SOS 2796745 HAS SOPS 2796745 HAS SOUS 2372940 HAS SOUPS 2372940 WITH SCORE 2375736.745
AT ITER 2019 NEW BEST:: SOT 3970331 SOS 2795789 HAS SOPS 2795789 HAS SOUS 2371984 HAS SOUPS 2371984 WITH SCORE 2374779.789
AT ITER 2020 NEW BEST:: SOT 3968399 SOS 2793857 HAS SOPS 2793857 HAS SOUS 2370052 HAS SOUPS 2370052 WITH SCORE 2372845.857
AT ITER 2026 NEW BEST:: SOT 3967850 SOS 2793308 HAS SOPS 2793308 HAS SOUS 2369100 HAS SOUPS 2369100 WITH SCORE 2371893.308
AT ITER 2028 NEW BEST:: SOT 3967847 SOS 2792827 HAS SOPS 2792827 HAS SOUS 2368619 HAS SOUPS 2368619 WITH SCORE 2371411.827
AT ITER 2029 NEW BEST:: SOT 3967160 SOS 2792536 HAS SOPS 2792536 HAS SOUS 2368328 HAS SOUPS 2368328 WITH SCORE 2371120.536
AT ITER 2036 NEW BEST:: SOT 3966709 SOS 2792372 HAS SOPS 2792372 HAS SOUS 2368164 HAS SOUPS 2368164 WITH SCORE 2370956.372
AT ITER 2037 NEW BEST:: SOT 3966515 SOS 2791402 HAS SOPS 2791402 HAS SOUS 2367977 HAS SOUPS 2367977 WITH SCORE 2370768.402
AT ITER 2039 NEW BEST:: SOT 3966681 SOS 2791517 HAS SOPS 2791517 HAS SOUS 2367709 HAS SOUPS 2367709 WITH SCORE 2370500.517
AT ITER 2044 NEW BEST:: SOT 3966356 SOS 2791192 HAS SOPS 2791192 HAS SOUS 2367384 HAS SOUPS 2367384 WITH SCORE 2370175.192
AT ITER 2046 NEW BEST:: SOT 3965048 SOS 2790111 HAS SOPS 2790111 HAS SOUS 2366303 HAS SOUPS 2366303 WITH SCORE 2369093.111
AT ITER 2052 NEW BEST:: SOT 3964277 SOS 2788913 HAS SOPS 2788913 HAS SOUS 2365105 HAS SOUPS 2365105 WITH SCORE 2367893.913
AT ITER 2055 NEW BEST:: SOT 3964431 SOS 2788913 HAS SOPS 2788913 HAS SOUS 2365043 HAS SOUPS 2365043 WITH SCORE 2367831.913
AT ITER 2056 NEW BEST:: SOT 3964430 SOS 2788912 HAS SOPS 2788912 HAS SOUS 2365042 HAS SOUPS 2365042 WITH SCORE 2367830.912
AT ITER 2057 NEW BEST:: SOT 3964427 SOS 2788909 HAS SOPS 2788909 HAS SOUS 2365039 HAS SOUPS 2365039 WITH SCORE 2367827.909
AT ITER 2059 NEW BEST:: SOT 3963862 SOS 2788344 HAS SOPS 2788344 HAS SOUS 2364474 HAS SOUPS 2364474 WITH SCORE 2367262.344
AT ITER 2061 NEW BEST:: SOT 3963641 SOS 2787145 HAS SOPS 2787145 HAS SOUS 2364239 HAS SOUPS 2364239 WITH SCORE 2367026.145
AT ITER 2066 NEW BEST:: SOT 3963641 SOS 2787065 HAS SOPS 2787065 HAS SOUS 2364161 HAS SOUPS 2364161 WITH SCORE 2366948.065
AT ITER 2069 NEW BEST:: SOT 3963641 SOS 2787063 HAS SOPS 2787063 HAS SOUS 2364159 HAS SOUPS 2364159 WITH SCORE 2366946.063
AT ITER 2070 NEW BEST:: SOT 3963601 SOS 2787023 HAS SOPS 2787023 HAS SOUS 2364119 HAS SOUPS 2364119 WITH SCORE 2366906.023
AT ITER 2073 NEW BEST:: SOT 3962800 SOS 2785056 HAS SOPS 2785056 HAS SOUS 2360242 HAS SOUPS 2360242 WITH SCORE 2363027.056
AT ITER 2076 NEW BEST:: SOT 3962799 SOS 2785053 HAS SOPS 2785053 HAS SOUS 2360239 HAS SOUPS 2360239 WITH SCORE 2363024.053
AT ITER 2077 NEW BEST:: SOT 3962520 SOS 2784425 HAS SOPS 2784425 HAS SOUS 2359611 HAS SOUPS 2359611 WITH SCORE 2362395.425
AT ITER 2080 NEW BEST:: SOT 3962264 SOS 2783817 HAS SOPS 2783817 HAS SOUS 2358747 HAS SOUPS 2358747 WITH SCORE 2361530.817
AT ITER 2081 NEW BEST:: SOT 3961610 SOS 2783163 HAS SOPS 2783163 HAS SOUS 2358093 HAS SOUPS 2358093 WITH SCORE 2360876.163
AT ITER 2083 NEW BEST:: SOT 3960702 SOS 2781906 HAS SOPS 2781906 HAS SOUS 2356836 HAS SOUPS 2356836 WITH SCORE 2359617.906
AT ITER 2088 NEW BEST:: SOT 3959785 SOS 2780989 HAS SOPS 2780989 HAS SOUS 2355919 HAS SOUPS 2355919 WITH SCORE 2358699.989
AT ITER 2090 NEW BEST:: SOT 3959609 SOS 2780637 HAS SOPS 2780637 HAS SOUS 2355567 HAS SOUPS 2355567 WITH SCORE 2358347.637
AT ITER 2095 NEW BEST:: SOT 3959661 SOS 2780587 HAS SOPS 2780587 HAS SOUS 2355517 HAS SOUPS 2355517 WITH SCORE 2358297.587
AT ITER 2096 NEW BEST:: SOT 3962300 SOS 2781442 HAS SOPS 2781442 HAS SOUS 2355326 HAS SOUPS 2355326 WITH SCORE 2358107.442
AT ITER 2100 NEW BEST:: SOT 3962300 SOS 2781410 HAS SOPS 2781410 HAS SOUS 2355294 HAS SOUPS 2355294 WITH SCORE 2358075.41
AT ITER 2109 NEW BEST:: SOT 3962124 SOS 2781322 HAS SOPS 2781322 HAS SOUS 2355293 HAS SOUPS 2355293 WITH SCORE 2358074.322
AT ITER 2110 NEW BEST:: SOT 3962124 SOS 2781166 HAS SOPS 2781166 HAS SOUS 2354823 HAS SOUPS 2354823 WITH SCORE 2357604.166
AT ITER 2112 NEW BEST:: SOT 3961618 SOS 2780660 HAS SOPS 2780660 HAS SOUS 2354300 HAS SOUPS 2354300 WITH SCORE 2357080.66
AT ITER 2117 NEW BEST:: SOT 3960856 SOS 2779517 HAS SOPS 2779517 HAS SOUS 2353157 HAS SOUPS 2353157 WITH SCORE 2355936.517
AT ITER 2127 NEW BEST:: SOT 3958921 SOS 2777975 HAS SOPS 2777975 HAS SOUS 2352297 HAS SOUPS 2352297 WITH SCORE 2355074.975
AT ITER 2129 NEW BEST:: SOT 3958310 SOS 2776718 HAS SOPS 2776718 HAS SOUS 2351040 HAS SOUPS 2351040 WITH SCORE 2353816.718
AT ITER 2132 NEW BEST:: SOT 3957821 SOS 2774538 HAS SOPS 2774538 HAS SOUS 2350381 HAS SOUPS 2350381 WITH SCORE 2353155.538
AT ITER 2137 NEW BEST:: SOT 3957968 SOS 2773725 HAS SOPS 2773725 HAS SOUS 2348713 HAS SOUPS 2348713 WITH SCORE 2351486.725
AT ITER 2140 NEW BEST:: SOT 3956998 SOS 2772754 HAS SOPS 2772754 HAS SOUS 2347742 HAS SOUPS 2347742 WITH SCORE 2350514.754
AT ITER 2144 NEW BEST:: SOT 3957311 SOS 2772672 HAS SOPS 2772672 HAS SOUS 2347660 HAS SOUPS 2347660 WITH SCORE 2350432.672
AT ITER 2145 NEW BEST:: SOT 3956598 SOS 2771691 HAS SOPS 2771691 HAS SOUS 2346679 HAS SOUPS 2346679 WITH SCORE 2349450.691
AT ITER 2159 NEW BEST:: SOT 3955248 SOS 2770534 HAS SOPS 2770534 HAS SOUS 2345522 HAS SOUPS 2345522 WITH SCORE 2348292.534
AT ITER 2160 NEW BEST:: SOT 3954512 SOS 2769798 HAS SOPS 2769798 HAS SOUS 2344786 HAS SOUPS 2344786 WITH SCORE 2347555.798
AT ITER 2163 NEW BEST:: SOT 3954512 SOS 2769098 HAS SOPS 2769098 HAS SOUS 2344363 HAS SOUPS 2344363 WITH SCORE 2347132.098
AT ITER 2171 NEW BEST:: SOT 3953970 SOS 2768556 HAS SOPS 2768556 HAS SOUS 2343821 HAS SOUPS 2343821 WITH SCORE 2346589.556
AT ITER 2175 NEW BEST:: SOT 3953733 SOS 2766513 HAS SOPS 2766513 HAS SOUS 2342907 HAS SOUPS 2342907 WITH SCORE 2345673.513
AT ITER 2177 NEW BEST:: SOT 3953733 SOS 2766157 HAS SOPS 2766157 HAS SOUS 2342907 HAS SOUPS 2342907 WITH SCORE 2345673.157
AT ITER 2179 NEW BEST:: SOT 3953096 SOS 2765197 HAS SOPS 2765197 HAS SOUS 2341947 HAS SOUPS 2341947 WITH SCORE 2344712.197
AT ITER 2188 NEW BEST:: SOT 3952996 SOS 2764597 HAS SOPS 2764597 HAS SOUS 2341947 HAS SOUPS 2341947 WITH SCORE 2344711.597
AT ITER 2190 NEW BEST:: SOT 3952996 SOS 2764220 HAS SOPS 2764220 HAS SOUS 2340950 HAS SOUPS 2340950 WITH SCORE 2343714.22
AT ITER 2193 NEW BEST:: SOT 3951696 SOS 2763097 HAS SOPS 2763097 HAS SOUS 2340088 HAS SOUPS 2340088 WITH SCORE 2342851.097
AT ITER 2201 NEW BEST:: SOT 3951724 SOS 2763125 HAS SOPS 2763125 HAS SOUS 2340087 HAS SOUPS 2340087 WITH SCORE 2342850.125
AT ITER 2204 NEW BEST:: SOT 3951723 SOS 2763294 HAS SOPS 2763294 HAS SOUS 2340023 HAS SOUPS 2340023 WITH SCORE 2342786.294
AT ITER 2205 NEW BEST:: SOT 3951575 SOS 2762821 HAS SOPS 2762821 HAS SOUS 2339875 HAS SOUPS 2339875 WITH SCORE 2342637.821
AT ITER 2207 NEW BEST:: SOT 3950496 SOS 2761475 HAS SOPS 2761475 HAS SOUS 2338529 HAS SOUPS 2338529 WITH SCORE 2341290.475
AT ITER 2222 NEW BEST:: SOT 3949966 SOS 2758019 HAS SOPS 2758019 HAS SOUS 2336017 HAS SOUPS 2336017 WITH SCORE 2338775.019
AT ITER 2228 NEW BEST:: SOT 3949885 SOS 2757938 HAS SOPS 2757938 HAS SOUS 2335936 HAS SOUPS 2335936 WITH SCORE 2338693.938
AT ITER 2230 NEW BEST:: SOT 3949885 SOS 2757937 HAS SOPS 2757937 HAS SOUS 2335935 HAS SOUPS 2335935 WITH SCORE 2338692.937
AT ITER 2236 NEW BEST:: SOT 3949106 SOS 2757102 HAS SOPS 2757102 HAS SOUS 2335044 HAS SOUPS 2335044 WITH SCORE 2337801.102
AT ITER 2245 NEW BEST:: SOT 3948583 SOS 2756579 HAS SOPS 2756579 HAS SOUS 2334521 HAS SOUPS 2334521 WITH SCORE 2337277.579
AT ITER 2248 NEW BEST:: SOT 3948836 SOS 2757085 HAS SOPS 2757085 HAS SOUS 2334268 HAS SOUPS 2334268 WITH SCORE 2337025.085
AT ITER 2251 NEW BEST:: SOT 3948363 SOS 2756380 HAS SOPS 2756380 HAS SOUS 2332848 HAS SOUPS 2332848 WITH SCORE 2335604.38
AT ITER 2261 NEW BEST:: SOT 3946989 SOS 2753404 HAS SOPS 2753404 HAS SOUS 2331036 HAS SOUPS 2331036 WITH SCORE 2333789.404
AT ITER 2265 NEW BEST:: SOT 3947528 SOS 2748996 HAS SOPS 2748996 HAS SOUS 2328316 HAS SOUPS 2328316 WITH SCORE 2331064.996
AT ITER 2266 NEW BEST:: SOT 3947312 SOS 2748780 HAS SOPS 2748780 HAS SOUS 2328100 HAS SOUPS 2328100 WITH SCORE 2330848.78
AT ITER 2273 NEW BEST:: SOT 3944807 SOS 2746065 HAS SOPS 2746065 HAS SOUS 2325373 HAS SOUPS 2325373 WITH SCORE 2328119.065
AT ITER 2276 NEW BEST:: SOT 3943685 SOS 2744742 HAS SOPS 2744742 HAS SOUS 2324050 HAS SOUPS 2324050 WITH SCORE 2326794.742
AT ITER 2291 NEW BEST:: SOT 3942943 SOS 2740719 HAS SOPS 2740719 HAS SOUS 2321091 HAS SOUPS 2321091 WITH SCORE 2323831.719
AT ITER 2302 NEW BEST:: SOT 3943704 SOS 2738848 HAS SOPS 2738848 HAS SOUS 2320289 HAS SOUPS 2320289 WITH SCORE 2323027.848
AT ITER 2306 NEW BEST:: SOT 3943339 SOS 2738483 HAS SOPS 2738483 HAS SOUS 2319887 HAS SOUPS 2319887 WITH SCORE 2322625.483
AT ITER 2311 NEW BEST:: SOT 3943008 SOS 2737547 HAS SOPS 2737547 HAS SOUS 2319250 HAS SOUPS 2319250 WITH SCORE 2321987.547
AT ITER 2343 NEW BEST:: SOT 3942027 SOS 2736564 HAS SOPS 2736564 HAS SOUS 2318267 HAS SOUPS 2318267 WITH SCORE 2321003.564
AT ITER 2345 NEW BEST:: SOT 3942356 SOS 2736681 HAS SOPS 2736681 HAS SOUS 2318219 HAS SOUPS 2318219 WITH SCORE 2320955.681
AT ITER 2349 NEW BEST:: SOT 3942471 SOS 2736452 HAS SOPS 2736452 HAS SOUS 2318219 HAS SOUPS 2318219 WITH SCORE 2320955.452
AT ITER 2357 NEW BEST:: SOT 3942387 SOS 2736368 HAS SOPS 2736368 HAS SOUS 2318135 HAS SOUPS 2318135 WITH SCORE 2320871.368
AT ITER 2358 NEW BEST:: SOT 3941925 SOS 2735473 HAS SOPS 2735473 HAS SOUS 2318091 HAS SOUPS 2318091 WITH SCORE 2320826.473
AT ITER 2362 NEW BEST:: SOT 3941503 SOS 2735051 HAS SOPS 2735051 HAS SOUS 2317669 HAS SOUPS 2317669 WITH SCORE 2320404.051
AT ITER 2363 NEW BEST:: SOT 3941495 SOS 2734665 HAS SOPS 2734665 HAS SOUS 2317662 HAS SOUPS 2317662 WITH SCORE 2320396.665
AT ITER 2368 NEW BEST:: SOT 3940879 SOS 2734049 HAS SOPS 2734049 HAS SOUS 2317046 HAS SOUPS 2317046 WITH SCORE 2319780.049
AT ITER 2369 NEW BEST:: SOT 3939969 SOS 2733137 HAS SOPS 2733137 HAS SOUS 2316134 HAS SOUPS 2316134 WITH SCORE 2318867.137
AT ITER 2371 NEW BEST:: SOT 3939037 SOS 2732203 HAS SOPS 2732203 HAS SOUS 2315201 HAS SOUPS 2315201 WITH SCORE 2317933.203
AT ITER 2378 NEW BEST:: SOT 3938529 SOS 2731695 HAS SOPS 2731695 HAS SOUS 2314693 HAS SOUPS 2314693 WITH SCORE 2317424.695
AT ITER 2385 NEW BEST:: SOT 3939987 SOS 2733637 HAS SOPS 2733637 HAS SOUS 2314305 HAS SOUPS 2314305 WITH SCORE 2317038.637
AT ITER 2388 NEW BEST:: SOT 3939318 SOS 2731765 HAS SOPS 2731765 HAS SOUS 2312980 HAS SOUPS 2312980 WITH SCORE 2315711.765
AT ITER 2395 NEW BEST:: SOT 3937847 SOS 2729268 HAS SOPS 2729268 HAS SOUS 2311010 HAS SOUPS 2311010 WITH SCORE 2313739.268
AT ITER 2398 NEW BEST:: SOT 3937002 SOS 2727878 HAS SOPS 2727878 HAS SOUS 2310085 HAS SOUPS 2310085 WITH SCORE 2312812.878
AT ITER 2424 NEW BEST:: SOT 3937002 SOS 2727876 HAS SOPS 2727876 HAS SOUS 2310083 HAS SOUPS 2310083 WITH SCORE 2312810.876
AT ITER 2425 NEW BEST:: SOT 3936453 SOS 2726925 HAS SOPS 2726925 HAS SOUS 2308547 HAS SOUPS 2308547 WITH SCORE 2311273.925
AT ITER 2431 NEW BEST:: SOT 3936176 SOS 2726208 HAS SOPS 2726208 HAS SOUS 2307830 HAS SOUPS 2307830 WITH SCORE 2310556.208
AT ITER 2444 NEW BEST:: SOT 3935736 SOS 2725696 HAS SOPS 2725696 HAS SOUS 2305558 HAS SOUPS 2305558 WITH SCORE 2308283.696
AT ITER 2445 NEW BEST:: SOT 3935570 SOS 2725530 HAS SOPS 2725530 HAS SOUS 2305392 HAS SOUPS 2305392 WITH SCORE 2308117.53
AT ITER 2451 NEW BEST:: SOT 3935528 SOS 2725488 HAS SOPS 2725488 HAS SOUS 2305350 HAS SOUPS 2305350 WITH SCORE 2308075.488
AT ITER 2452 NEW BEST:: SOT 3935528 SOS 2724676 HAS SOPS 2724676 HAS SOUS 2305200 HAS SOUPS 2305200 WITH SCORE 2307924.676
AT ITER 2463 NEW BEST:: SOT 3935228 SOS 2722942 HAS SOPS 2722942 HAS SOUS 2304837 HAS SOUPS 2304837 WITH SCORE 2307559.942
AT ITER 2466 NEW BEST:: SOT 3935228 SOS 2720903 HAS SOPS 2720903 HAS SOUS 2304275 HAS SOUPS 2304275 WITH SCORE 2306995.903
AT ITER 2469 NEW BEST:: SOT 3933954 SOS 2719561 HAS SOPS 2719561 HAS SOUS 2303020 HAS SOUPS 2303020 WITH SCORE 2305739.561
AT ITER 2470 NEW BEST:: SOT 3934277 SOS 2719810 HAS SOPS 2719810 HAS SOUS 2302300 HAS SOUPS 2302300 WITH SCORE 2305019.81
AT ITER 2472 NEW BEST:: SOT 3932618 SOS 2718151 HAS SOPS 2718151 HAS SOUS 2300641 HAS SOUPS 2300641 WITH SCORE 2303359.151
AT ITER 2479 NEW BEST:: SOT 3932618 SOS 2718147 HAS SOPS 2718147 HAS SOUS 2300637 HAS SOUPS 2300637 WITH SCORE 2303355.147
AT ITER 2480 NEW BEST:: SOT 3931945 SOS 2715027 HAS SOPS 2715027 HAS SOUS 2298497 HAS SOUPS 2298497 WITH SCORE 2301212.027
AT ITER 2484 NEW BEST:: SOT 3931534 SOS 2714616 HAS SOPS 2714616 HAS SOUS 2298086 HAS SOUPS 2298086 WITH SCORE 2300800.616
AT ITER 2486 NEW BEST:: SOT 3931534 SOS 2714436 HAS SOPS 2714436 HAS SOUS 2297978 HAS SOUPS 2297978 WITH SCORE 2300692.436
AT ITER 2490 NEW BEST:: SOT 3932006 SOS 2714523 HAS SOPS 2714523 HAS SOUS 2297708 HAS SOUPS 2297708 WITH SCORE 2300422.523
AT ITER 2495 NEW BEST:: SOT 3931456 SOS 2713097 HAS SOPS 2713097 HAS SOUS 2296659 HAS SOUPS 2296659 WITH SCORE 2299372.097
AT ITER 2504 NEW BEST:: SOT 3931188 SOS 2711779 HAS SOPS 2711779 HAS SOUS 2296444 HAS SOUPS 2296444 WITH SCORE 2299155.779
AT ITER 2508 NEW BEST:: SOT 3930660 SOS 2711251 HAS SOPS 2711251 HAS SOUS 2295916 HAS SOUPS 2295916 WITH SCORE 2298627.251
AT ITER 2510 NEW BEST:: SOT 3930433 SOS 2710808 HAS SOPS 2710808 HAS SOUS 2295473 HAS SOUPS 2295473 WITH SCORE 2298183.808
AT ITER 2516 NEW BEST:: SOT 3930333 SOS 2710530 HAS SOPS 2710530 HAS SOUS 2295393 HAS SOUPS 2295393 WITH SCORE 2298103.53
AT ITER 2517 NEW BEST:: SOT 3930229 SOS 2710424 HAS SOPS 2710424 HAS SOUS 2295287 HAS SOUPS 2295287 WITH SCORE 2297997.424
AT ITER 2521 NEW BEST:: SOT 3930229 SOS 2710002 HAS SOPS 2710002 HAS SOUS 2294865 HAS SOUPS 2294865 WITH SCORE 2297575.002
AT ITER 2538 NEW BEST:: SOT 3929614 SOS 2709618 HAS SOPS 2709618 HAS SOUS 2294384 HAS SOUPS 2294384 WITH SCORE 2297093.618
AT ITER 2555 NEW BEST:: SOT 3929012 SOS 2708610 HAS SOPS 2708610 HAS SOUS 2294222 HAS SOUPS 2294222 WITH SCORE 2296930.61
AT ITER 2556 NEW BEST:: SOT 3928905 SOS 2708396 HAS SOPS 2708396 HAS SOUS 2294222 HAS SOUPS 2294222 WITH SCORE 2296930.396
AT ITER 2560 NEW BEST:: SOT 3928837 SOS 2708229 HAS SOPS 2708229 HAS SOUS 2294055 HAS SOUPS 2294055 WITH SCORE 2296763.229
AT ITER 2562 NEW BEST:: SOT 3928812 SOS 2707942 HAS SOPS 2707942 HAS SOUS 2293699 HAS SOUPS 2293699 WITH SCORE 2296406.942
AT ITER 2567 NEW BEST:: SOT 3928691 SOS 2707821 HAS SOPS 2707821 HAS SOUS 2293578 HAS SOUPS 2293578 WITH SCORE 2296285.821
AT ITER 2593 NEW BEST:: SOT 3928077 SOS 2705410 HAS SOPS 2705410 HAS SOUS 2292894 HAS SOUPS 2292894 WITH SCORE 2295599.41
AT ITER 2594 NEW BEST:: SOT 3927771 SOS 2704158 HAS SOPS 2704158 HAS SOUS 2292384 HAS SOUPS 2292384 WITH SCORE 2295088.158
AT ITER 2598 NEW BEST:: SOT 3927523 SOS 2703910 HAS SOPS 2703910 HAS SOUS 2292136 HAS SOUPS 2292136 WITH SCORE 2294839.91
AT ITER 2599 NEW BEST:: SOT 3927185 SOS 2703570 HAS SOPS 2703570 HAS SOUS 2291796 HAS SOUPS 2291796 WITH SCORE 2294499.57
AT ITER 2600 NEW BEST:: SOT 3926738 SOS 2703248 HAS SOPS 2703248 HAS SOUS 2291474 HAS SOUPS 2291474 WITH SCORE 2294177.248
AT ITER 2603 NEW BEST:: SOT 3926022 SOS 2702217 HAS SOPS 2702217 HAS SOUS 2290443 HAS SOUPS 2290443 WITH SCORE 2293145.217
AT ITER 2604 NEW BEST:: SOT 3926022 SOS 2702559 HAS SOPS 2702559 HAS SOUS 2290430 HAS SOUPS 2290430 WITH SCORE 2293132.559
AT ITER 2608 NEW BEST:: SOT 3924452 SOS 2700736 HAS SOPS 2700736 HAS SOUS 2288609 HAS SOUPS 2288609 WITH SCORE 2291309.736
AT ITER 2617 NEW BEST:: SOT 3923112 SOS 2699207 HAS SOPS 2699207 HAS SOUS 2287051 HAS SOUPS 2287051 WITH SCORE 2289750.207
AT ITER 2620 NEW BEST:: SOT 3922796 SOS 2697495 HAS SOPS 2697495 HAS SOUS 2286739 HAS SOUPS 2286739 WITH SCORE 2289436.495
AT ITER 2625 NEW BEST:: SOT 3922216 SOS 2696914 HAS SOPS 2696914 HAS SOUS 2286158 HAS SOUPS 2286158 WITH SCORE 2288854.914
AT ITER 2627 NEW BEST:: SOT 3922216 SOS 2696786 HAS SOPS 2696786 HAS SOUS 2286030 HAS SOUPS 2286030 WITH SCORE 2288726.786
AT ITER 2632 NEW BEST:: SOT 3921935 SOS 2696505 HAS SOPS 2696505 HAS SOUS 2285748 HAS SOUPS 2285748 WITH SCORE 2288444.505
AT ITER 2633 NEW BEST:: SOT 3921443 SOS 2695595 HAS SOPS 2695595 HAS SOUS 2284838 HAS SOUPS 2284838 WITH SCORE 2287533.595
AT ITER 2638 NEW BEST:: SOT 3918657 SOS 2694387 HAS SOPS 2694387 HAS SOUS 2283750 HAS SOUPS 2283750 WITH SCORE 2286444.387
AT ITER 2641 NEW BEST:: SOT 3918589 SOS 2694183 HAS SOPS 2694183 HAS SOUS 2283546 HAS SOUPS 2283546 WITH SCORE 2286240.183
AT ITER 2642 NEW BEST:: SOT 3919157 SOS 2694700 HAS SOPS 2694700 HAS SOUS 2283414 HAS SOUPS 2283414 WITH SCORE 2286108.7
AT ITER 2646 NEW BEST:: SOT 3919157 SOS 2693928 HAS SOPS 2693928 HAS SOUS 2283186 HAS SOUPS 2283186 WITH SCORE 2285879.928
AT ITER 2661 NEW BEST:: SOT 3918005 SOS 2693067 HAS SOPS 2693067 HAS SOUS 2282325 HAS SOUPS 2282325 WITH SCORE 2285018.067
AT ITER 2666 NEW BEST:: SOT 3917855 SOS 2692915 HAS SOPS 2692915 HAS SOUS 2282173 HAS SOUPS 2282173 WITH SCORE 2284865.915
AT ITER 2672 NEW BEST:: SOT 3917536 SOS 2692596 HAS SOPS 2692596 HAS SOUS 2281854 HAS SOUPS 2281854 WITH SCORE 2284546.596
AT ITER 2677 NEW BEST:: SOT 3916870 SOS 2691930 HAS SOPS 2691930 HAS SOUS 2281413 HAS SOUPS 2281413 WITH SCORE 2284104.93
AT ITER 2678 NEW BEST:: SOT 3917366 SOS 2691735 HAS SOPS 2691735 HAS SOUS 2281218 HAS SOUPS 2281218 WITH SCORE 2283909.735
AT ITER 2684 NEW BEST:: SOT 3917250 SOS 2691637 HAS SOPS 2691637 HAS SOUS 2281135 HAS SOUPS 2281135 WITH SCORE 2283826.637
AT ITER 2687 NEW BEST:: SOT 3916508 SOS 2690195 HAS SOPS 2690195 HAS SOUS 2280358 HAS SOUPS 2280358 WITH SCORE 2283048.195
AT ITER 2689 NEW BEST:: SOT 3916276 SOS 2689309 HAS SOPS 2689309 HAS SOUS 2279472 HAS SOUPS 2279472 WITH SCORE 2282161.309
AT ITER 2690 NEW BEST:: SOT 3916627 SOS 2688784 HAS SOPS 2688784 HAS SOUS 2279189 HAS SOUPS 2279189 WITH SCORE 2281877.784
AT ITER 2691 NEW BEST:: SOT 3916414 SOS 2688569 HAS SOPS 2688569 HAS SOUS 2278974 HAS SOUPS 2278974 WITH SCORE 2281662.569
AT ITER 2694 NEW BEST:: SOT 3916557 SOS 2686601 HAS SOPS 2686601 HAS SOUS 2277967 HAS SOUPS 2277967 WITH SCORE 2280653.601
AT ITER 2698 NEW BEST:: SOT 3916144 SOS 2685741 HAS SOPS 2685741 HAS SOUS 2277107 HAS SOUPS 2277107 WITH SCORE 2279792.741
AT ITER 2703 NEW BEST:: SOT 3916480 SOS 2685697 HAS SOPS 2685697 HAS SOUS 2277063 HAS SOUPS 2277063 WITH SCORE 2279748.697
AT ITER 2704 NEW BEST:: SOT 3916657 SOS 2685696 HAS SOPS 2685696 HAS SOUS 2277062 HAS SOUPS 2277062 WITH SCORE 2279747.696
AT ITER 2705 NEW BEST:: SOT 3916597 SOS 2685636 HAS SOPS 2685636 HAS SOUS 2277002 HAS SOUPS 2277002 WITH SCORE 2279687.636
AT ITER 2713 NEW BEST:: SOT 3917151 SOS 2686327 HAS SOPS 2686327 HAS SOUS 2276232 HAS SOUPS 2276232 WITH SCORE 2278918.327
AT ITER 2714 NEW BEST:: SOT 3915317 SOS 2684622 HAS SOPS 2684622 HAS SOUS 2274599 HAS SOUPS 2274599 WITH SCORE 2277283.622
AT ITER 2720 NEW BEST:: SOT 3915243 SOS 2684546 HAS SOPS 2684546 HAS SOUS 2274523 HAS SOUPS 2274523 WITH SCORE 2277207.546
AT ITER 2726 NEW BEST:: SOT 3914920 SOS 2684223 HAS SOPS 2684223 HAS SOUS 2274200 HAS SOUPS 2274200 WITH SCORE 2276884.223
AT ITER 2735 NEW BEST:: SOT 3914292 SOS 2683595 HAS SOPS 2683595 HAS SOUS 2273572 HAS SOUPS 2273572 WITH SCORE 2276255.595
AT ITER 2742 NEW BEST:: SOT 3914583 SOS 2683979 HAS SOPS 2683979 HAS SOUS 2273193 HAS SOUPS 2273193 WITH SCORE 2275876.979
AT ITER 2744 NEW BEST:: SOT 3914583 SOS 2683858 HAS SOPS 2683858 HAS SOUS 2273072 HAS SOUPS 2273072 WITH SCORE 2275755.858
AT ITER 2748 NEW BEST:: SOT 3914419 SOS 2683692 HAS SOPS 2683692 HAS SOUS 2272906 HAS SOUPS 2272906 WITH SCORE 2275589.692
AT ITER 2761 NEW BEST:: SOT 3914419 SOS 2683146 HAS SOPS 2683146 HAS SOUS 2272360 HAS SOUPS 2272360 WITH SCORE 2275043.146
AT ITER 2764 NEW BEST:: SOT 3914495 SOS 2682860 HAS SOPS 2682860 HAS SOUS 2271658 HAS SOUPS 2271658 WITH SCORE 2274340.86
AT ITER 2776 NEW BEST:: SOT 3914495 SOS 2682693 HAS SOPS 2682693 HAS SOUS 2271491 HAS SOUPS 2271491 WITH SCORE 2274173.693
AT ITER 2780 NEW BEST:: SOT 3913357 SOS 2681455 HAS SOPS 2681455 HAS SOUS 2270020 HAS SOUPS 2270020 WITH SCORE 2272701.455
AT ITER 2801 NEW BEST:: SOT 3913357 SOS 2681353 HAS SOPS 2681353 HAS SOUS 2269981 HAS SOUPS 2269981 WITH SCORE 2272662.353
AT ITER 2817 NEW BEST:: SOT 3913233 SOS 2680915 HAS SOPS 2680915 HAS SOUS 2269543 HAS SOUPS 2269543 WITH SCORE 2272223.915
AT ITER 2818 NEW BEST:: SOT 3913144 SOS 2679889 HAS SOPS 2679889 HAS SOUS 2269050 HAS SOUPS 2269050 WITH SCORE 2271729.889
AT ITER 2819 NEW BEST:: SOT 3912943 SOS 2678554 HAS SOPS 2678554 HAS SOUS 2268606 HAS SOUPS 2268606 WITH SCORE 2271284.554
AT ITER 2820 NEW BEST:: SOT 3912878 SOS 2678583 HAS SOPS 2678583 HAS SOUS 2268565 HAS SOUPS 2268565 WITH SCORE 2271243.583
AT ITER 2829 NEW BEST:: SOT 3912822 SOS 2678466 HAS SOPS 2678466 HAS SOUS 2268502 HAS SOUPS 2268502 WITH SCORE 2271180.466
AT ITER 2847 NEW BEST:: SOT 3911918 SOS 2678012 HAS SOPS 2678012 HAS SOUS 2268048 HAS SOUPS 2268048 WITH SCORE 2270726.012
AT ITER 2850 NEW BEST:: SOT 3911884 SOS 2677978 HAS SOPS 2677978 HAS SOUS 2268014 HAS SOUPS 2268014 WITH SCORE 2270691.978
AT ITER 2851 NEW BEST:: SOT 3911794 SOS 2677858 HAS SOPS 2677858 HAS SOUS 2267894 HAS SOUPS 2267894 WITH SCORE 2270571.858
AT ITER 2856 NEW BEST:: SOT 3911791 SOS 2677852 HAS SOPS 2677852 HAS SOUS 2267889 HAS SOUPS 2267889 WITH SCORE 2270566.852
AT ITER 2858 NEW BEST:: SOT 3910665 SOS 2676478 HAS SOPS 2676478 HAS SOUS 2266624 HAS SOUPS 2266624 WITH SCORE 2269300.478
AT ITER 2859 NEW BEST:: SOT 3910149 SOS 2675962 HAS SOPS 2675962 HAS SOUS 2266108 HAS SOUPS 2266108 WITH SCORE 2268783.962
AT ITER 2860 NEW BEST:: SOT 3909985 SOS 2675404 HAS SOPS 2675404 HAS SOUS 2265427 HAS SOUPS 2265427 WITH SCORE 2268102.404
AT ITER 2864 NEW BEST:: SOT 3909985 SOS 2675130 HAS SOPS 2675130 HAS SOUS 2265425 HAS SOUPS 2265425 WITH SCORE 2268100.13
AT ITER 2873 NEW BEST:: SOT 3909745 SOS 2674890 HAS SOPS 2674890 HAS SOUS 2265185 HAS SOUPS 2265185 WITH SCORE 2267859.89
AT ITER 2876 NEW BEST:: SOT 3909777 SOS 2672053 HAS SOPS 2672053 HAS SOUS 2263133 HAS SOUPS 2263133 WITH SCORE 2265805.053
AT ITER 2886 NEW BEST:: SOT 3909491 SOS 2670536 HAS SOPS 2670536 HAS SOUS 2262998 HAS SOUPS 2262998 WITH SCORE 2265668.536
AT ITER 2893 NEW BEST:: SOT 3909264 SOS 2668580 HAS SOPS 2668580 HAS SOUS 2262944 HAS SOUPS 2262944 WITH SCORE 2265612.58
AT ITER 2895 NEW BEST:: SOT 3909371 SOS 2668067 HAS SOPS 2668067 HAS SOUS 2262431 HAS SOUPS 2262431 WITH SCORE 2265099.067
AT ITER 2897 NEW BEST:: SOT 3908787 SOS 2667936 HAS SOPS 2667936 HAS SOUS 2262146 HAS SOUPS 2262146 WITH SCORE 2264813.936
AT ITER 2910 NEW BEST:: SOT 3908017 SOS 2667396 HAS SOPS 2667396 HAS SOUS 2261606 HAS SOUPS 2261606 WITH SCORE 2264273.396
AT ITER 2917 NEW BEST:: SOT 3907645 SOS 2666838 HAS SOPS 2666838 HAS SOUS 2261048 HAS SOUPS 2261048 WITH SCORE 2263714.838
AT ITER 2923 NEW BEST:: SOT 3906615 SOS 2665893 HAS SOPS 2665893 HAS SOUS 2260103 HAS SOUPS 2260103 WITH SCORE 2262768.893
AT ITER 2924 NEW BEST:: SOT 3905917 SOS 2664792 HAS SOPS 2664792 HAS SOUS 2259002 HAS SOUPS 2259002 WITH SCORE 2261666.792
AT ITER 2926 NEW BEST:: SOT 3905604 SOS 2664479 HAS SOPS 2664479 HAS SOUS 2258689 HAS SOUPS 2258689 WITH SCORE 2261353.479
AT ITER 2931 NEW BEST:: SOT 3904703 SOS 2663578 HAS SOPS 2663578 HAS SOUS 2257390 HAS SOUPS 2257390 WITH SCORE 2260053.578
AT ITER 2934 NEW BEST:: SOT 3904267 SOS 2663142 HAS SOPS 2663142 HAS SOUS 2257065 HAS SOUPS 2257065 WITH SCORE 2259728.142
AT ITER 2937 NEW BEST:: SOT 3903576 SOS 2662450 HAS SOPS 2662450 HAS SOUS 2256373 HAS SOUPS 2256373 WITH SCORE 2259035.45
AT ITER 2944 NEW BEST:: SOT 3901534 SOS 2660579 HAS SOPS 2660579 HAS SOUS 2253666 HAS SOUPS 2253666 WITH SCORE 2256326.579
AT ITER 2949 NEW BEST:: SOT 3901228 SOS 2658814 HAS SOPS 2658814 HAS SOUS 2253595 HAS SOUPS 2253595 WITH SCORE 2256253.814
AT ITER 2958 NEW BEST:: SOT 3900361 SOS 2657945 HAS SOPS 2657945 HAS SOUS 2252726 HAS SOUPS 2252726 WITH SCORE 2255383.945
AT ITER 2961 NEW BEST:: SOT 3898427 SOS 2655845 HAS SOPS 2655845 HAS SOUS 2250559 HAS SOUPS 2250559 WITH SCORE 2253214.845
AT ITER 2963 NEW BEST:: SOT 3898427 SOS 2655835 HAS SOPS 2655835 HAS SOUS 2250549 HAS SOUPS 2250549 WITH SCORE 2253204.835
AT ITER 2968 NEW BEST:: SOT 3897689 SOS 2655096 HAS SOPS 2655096 HAS SOUS 2249809 HAS SOUPS 2249809 WITH SCORE 2252464.096
AT ITER 2970 NEW BEST:: SOT 3897499 SOS 2654625 HAS SOPS 2654625 HAS SOUS 2249425 HAS SOUPS 2249425 WITH SCORE 2252079.625
AT ITER 2971 NEW BEST:: SOT 3897214 SOS 2654340 HAS SOPS 2654340 HAS SOUS 2249140 HAS SOUPS 2249140 WITH SCORE 2251794.34
AT ITER 2974 NEW BEST:: SOT 3896853 SOS 2653979 HAS SOPS 2653979 HAS SOUS 2249027 HAS SOUPS 2249027 WITH SCORE 2251680.979
AT ITER 2986 NEW BEST:: SOT 3896836 SOS 2653962 HAS SOPS 2653962 HAS SOUS 2249010 HAS SOUPS 2249010 WITH SCORE 2251663.962
AT ITER 2998 NEW BEST:: SOT 3896546 SOS 2653672 HAS SOPS 2653672 HAS SOUS 2248720 HAS SOUPS 2248720 WITH SCORE 2251373.672
AT ITER 2999 NEW BEST:: SOT 3897644 SOS 2654402 HAS SOPS 2654402 HAS SOUS 2248679 HAS SOUPS 2248679 WITH SCORE 2251333.402
AT ITER 3008 NEW BEST:: SOT 3897647 SOS 2654400 HAS SOPS 2654400 HAS SOUS 2248677 HAS SOUPS 2248677 WITH SCORE 2251331.4
AT ITER 3009 NEW BEST:: SOT 3896420 SOS 2653172 HAS SOPS 2653172 HAS SOUS 2247475 HAS SOUPS 2247475 WITH SCORE 2250128.172
AT ITER 3029 NEW BEST:: SOT 3896920 SOS 2653783 HAS SOPS 2653783 HAS SOUS 2246513 HAS SOUPS 2246513 WITH SCORE 2249166.783
AT ITER 3042 NEW BEST:: SOT 3896920 SOS 2653641 HAS SOPS 2653641 HAS SOUS 2246229 HAS SOUPS 2246229 WITH SCORE 2248882.641
AT ITER 3046 NEW BEST:: SOT 3894951 SOS 2650017 HAS SOPS 2650017 HAS SOUS 2241790 HAS SOUPS 2241790 WITH SCORE 2244440.017
AT ITER 3057 NEW BEST:: SOT 3894048 SOS 2648541 HAS SOPS 2648541 HAS SOUS 2240314 HAS SOUPS 2240314 WITH SCORE 2242962.541
AT ITER 3061 NEW BEST:: SOT 3893681 SOS 2647934 HAS SOPS 2647934 HAS SOUS 2239707 HAS SOUPS 2239707 WITH SCORE 2242354.934
AT ITER 3063 NEW BEST:: SOT 3893379 SOS 2646285 HAS SOPS 2646285 HAS SOUS 2238416 HAS SOUPS 2238416 WITH SCORE 2241062.285
AT ITER 3068 NEW BEST:: SOT 3892774 SOS 2645680 HAS SOPS 2645680 HAS SOUS 2237410 HAS SOUPS 2237410 WITH SCORE 2240055.68
AT ITER 3073 NEW BEST:: SOT 3892798 SOS 2645562 HAS SOPS 2645562 HAS SOUS 2237292 HAS SOUPS 2237292 WITH SCORE 2239937.562
AT ITER 3077 NEW BEST:: SOT 3891936 SOS 2644156 HAS SOPS 2644156 HAS SOUS 2235850 HAS SOUPS 2235850 WITH SCORE 2238494.156
AT ITER 3081 NEW BEST:: SOT 3891286 SOS 2643625 HAS SOPS 2643625 HAS SOUS 2234533 HAS SOUPS 2234533 WITH SCORE 2237176.625
AT ITER 3091 NEW BEST:: SOT 3891220 SOS 2643559 HAS SOPS 2643559 HAS SOUS 2234467 HAS SOUPS 2234467 WITH SCORE 2237110.559
AT ITER 3099 NEW BEST:: SOT 3890736 SOS 2641517 HAS SOPS 2641517 HAS SOUS 2233860 HAS SOUPS 2233860 WITH SCORE 2236501.517
AT ITER 3104 NEW BEST:: SOT 3891209 SOS 2641990 HAS SOPS 2641990 HAS SOUS 2233795 HAS SOUPS 2233795 WITH SCORE 2236436.99
AT ITER 3116 NEW BEST:: SOT 3890702 SOS 2641078 HAS SOPS 2641078 HAS SOUS 2232883 HAS SOUPS 2232883 WITH SCORE 2235524.078
AT ITER 3123 NEW BEST:: SOT 3888298 SOS 2634618 HAS SOPS 2634618 HAS SOUS 2227049 HAS SOUPS 2227049 WITH SCORE 2229683.618
AT ITER 3125 NEW BEST:: SOT 3888118 SOS 2634424 HAS SOPS 2634424 HAS SOUS 2226855 HAS SOUPS 2226855 WITH SCORE 2229489.424
AT ITER 3128 NEW BEST:: SOT 3887621 SOS 2633925 HAS SOPS 2633925 HAS SOUS 2226356 HAS SOUPS 2226356 WITH SCORE 2228989.925
AT ITER 3134 NEW BEST:: SOT 3887760 SOS 2633924 HAS SOPS 2633924 HAS SOUS 2226355 HAS SOUPS 2226355 WITH SCORE 2228988.924
AT ITER 3136 NEW BEST:: SOT 3887760 SOS 2633922 HAS SOPS 2633922 HAS SOUS 2226353 HAS SOUPS 2226353 WITH SCORE 2228986.922
AT ITER 3150 NEW BEST:: SOT 3888572 SOS 2634204 HAS SOPS 2634204 HAS SOUS 2225865 HAS SOUPS 2225865 WITH SCORE 2228499.204
AT ITER 3161 NEW BEST:: SOT 3888571 SOS 2633820 HAS SOPS 2633820 HAS SOUS 2225624 HAS SOUPS 2225624 WITH SCORE 2228257.82
AT ITER 3169 NEW BEST:: SOT 3889277 SOS 2632984 HAS SOPS 2632984 HAS SOUS 2225229 HAS SOUPS 2225229 WITH SCORE 2227861.984
AT ITER 3170 NEW BEST:: SOT 3888725 SOS 2632432 HAS SOPS 2632432 HAS SOUS 2224677 HAS SOUPS 2224677 WITH SCORE 2227309.432
AT ITER 3177 NEW BEST:: SOT 3887098 SOS 2631156 HAS SOPS 2631156 HAS SOUS 2223523 HAS SOUPS 2223523 WITH SCORE 2226154.156
AT ITER 3181 NEW BEST:: SOT 3886865 SOS 2630865 HAS SOPS 2630865 HAS SOUS 2223232 HAS SOUPS 2223232 WITH SCORE 2225862.865
AT ITER 3186 NEW BEST:: SOT 3886826 SOS 2630855 HAS SOPS 2630855 HAS SOUS 2223222 HAS SOUPS 2223222 WITH SCORE 2225852.855
AT ITER 3204 NEW BEST:: SOT 3887261 SOS 2631364 HAS SOPS 2631364 HAS SOUS 2222547 HAS SOUPS 2222547 WITH SCORE 2225178.364
AT ITER 3217 NEW BEST:: SOT 3885726 SOS 2629829 HAS SOPS 2629829 HAS SOUS 2220030 HAS SOUPS 2220030 WITH SCORE 2222659.829
AT ITER 3223 NEW BEST:: SOT 3885663 SOS 2629766 HAS SOPS 2629766 HAS SOUS 2219967 HAS SOUPS 2219967 WITH SCORE 2222596.766
AT ITER 3226 NEW BEST:: SOT 3885411 SOS 2629514 HAS SOPS 2629514 HAS SOUS 2219581 HAS SOUPS 2219581 WITH SCORE 2222210.514
AT ITER 3237 NEW BEST:: SOT 3885039 SOS 2628886 HAS SOPS 2628886 HAS SOUS 2219031 HAS SOUPS 2219031 WITH SCORE 2221659.886
AT ITER 3242 NEW BEST:: SOT 3884618 SOS 2628465 HAS SOPS 2628465 HAS SOUS 2218610 HAS SOUPS 2218610 WITH SCORE 2221238.465
AT ITER 3245 NEW BEST:: SOT 3884357 SOS 2628505 HAS SOPS 2628505 HAS SOUS 2218224 HAS SOUPS 2218224 WITH SCORE 2220852.505
AT ITER 3250 NEW BEST:: SOT 3884404 SOS 2627483 HAS SOPS 2627483 HAS SOUS 2217835 HAS SOUPS 2217835 WITH SCORE 2220462.483
AT ITER 3253 NEW BEST:: SOT 3885132 SOS 2626518 HAS SOPS 2626518 HAS SOUS 2217479 HAS SOUPS 2217479 WITH SCORE 2220105.518
AT ITER 3263 NEW BEST:: SOT 3885132 SOS 2626040 HAS SOPS 2626040 HAS SOUS 2217239 HAS SOUPS 2217239 WITH SCORE 2219865.04
AT ITER 3266 NEW BEST:: SOT 3885132 SOS 2625904 HAS SOPS 2625904 HAS SOUS 2217103 HAS SOUPS 2217103 WITH SCORE 2219728.904
AT ITER 3267 NEW BEST:: SOT 3885132 SOS 2625840 HAS SOPS 2625840 HAS SOUS 2217039 HAS SOUPS 2217039 WITH SCORE 2219664.84
AT ITER 3268 NEW BEST:: SOT 3885398 SOS 2625438 HAS SOPS 2625438 HAS SOUS 2216355 HAS SOUPS 2216355 WITH SCORE 2218980.438
AT ITER 3270 NEW BEST:: SOT 3884873 SOS 2624913 HAS SOPS 2624913 HAS SOUS 2215830 HAS SOUPS 2215830 WITH SCORE 2218454.913
AT ITER 3279 NEW BEST:: SOT 3884341 SOS 2624466 HAS SOPS 2624466 HAS SOUS 2215383 HAS SOUPS 2215383 WITH SCORE 2218007.466
AT ITER 3281 NEW BEST:: SOT 3884231 SOS 2624356 HAS SOPS 2624356 HAS SOUS 2215273 HAS SOUPS 2215273 WITH SCORE 2217897.356
AT ITER 3287 NEW BEST:: SOT 3884214 SOS 2624339 HAS SOPS 2624339 HAS SOUS 2215256 HAS SOUPS 2215256 WITH SCORE 2217880.339
AT ITER 3288 NEW BEST:: SOT 3883790 SOS 2623612 HAS SOPS 2623612 HAS SOUS 2214529 HAS SOUPS 2214529 WITH SCORE 2217152.612
AT ITER 3299 NEW BEST:: SOT 3883491 SOS 2623313 HAS SOPS 2623313 HAS SOUS 2214230 HAS SOUPS 2214230 WITH SCORE 2216853.313
AT ITER 3304 NEW BEST:: SOT 3883491 SOS 2623605 HAS SOPS 2623605 HAS SOUS 2214223 HAS SOUPS 2214223 WITH SCORE 2216846.605
AT ITER 3317 NEW BEST:: SOT 3882755 SOS 2622447 HAS SOPS 2622447 HAS SOUS 2212558 HAS SOUPS 2212558 WITH SCORE 2215180.447
AT ITER 3330 NEW BEST:: SOT 3882463 SOS 2622155 HAS SOPS 2622155 HAS SOUS 2212266 HAS SOUPS 2212266 WITH SCORE 2214888.155
AT ITER 3334 NEW BEST:: SOT 3882472 SOS 2622235 HAS SOPS 2622235 HAS SOUS 2212264 HAS SOUPS 2212264 WITH SCORE 2214886.235
AT ITER 3336 NEW BEST:: SOT 3882202 SOS 2621818 HAS SOPS 2621818 HAS SOUS 2212218 HAS SOUPS 2212218 WITH SCORE 2214839.818
AT ITER 3337 NEW BEST:: SOT 3882826 SOS 2621363 HAS SOPS 2621363 HAS SOUS 2211473 HAS SOUPS 2211473 WITH SCORE 2214094.363
AT ITER 3339 NEW BEST:: SOT 3882111 SOS 2620648 HAS SOPS 2620648 HAS SOUS 2210758 HAS SOUPS 2210758 WITH SCORE 2213378.648
AT ITER 3342 NEW BEST:: SOT 3882019 SOS 2620556 HAS SOPS 2620556 HAS SOUS 2210666 HAS SOUPS 2210666 WITH SCORE 2213286.556
AT ITER 3348 NEW BEST:: SOT 3881164 SOS 2619701 HAS SOPS 2619701 HAS SOUS 2209811 HAS SOUPS 2209811 WITH SCORE 2212430.701
AT ITER 3351 NEW BEST:: SOT 3879402 SOS 2617939 HAS SOPS 2617939 HAS SOUS 2208049 HAS SOUPS 2208049 WITH SCORE 2210666.939
AT ITER 3353 NEW BEST:: SOT 3879176 SOS 2617713 HAS SOPS 2617713 HAS SOUS 2207823 HAS SOUPS 2207823 WITH SCORE 2210440.713
AT ITER 3367 NEW BEST:: SOT 3879183 SOS 2617385 HAS SOPS 2617385 HAS SOUS 2207495 HAS SOUPS 2207495 WITH SCORE 2210112.385
AT ITER 3368 NEW BEST:: SOT 3879116 SOS 2617251 HAS SOPS 2617251 HAS SOUS 2207361 HAS SOUPS 2207361 WITH SCORE 2209978.251
AT ITER 3374 NEW BEST:: SOT 3879116 SOS 2616807 HAS SOPS 2616807 HAS SOUS 2206917 HAS SOUPS 2206917 WITH SCORE 2209533.807
AT ITER 3375 NEW BEST:: SOT 3878972 SOS 2615619 HAS SOPS 2615619 HAS SOUS 2205790 HAS SOUPS 2205790 WITH SCORE 2208405.619
AT ITER 3377 NEW BEST:: SOT 3878766 SOS 2615413 HAS SOPS 2615413 HAS SOUS 2205787 HAS SOUPS 2205787 WITH SCORE 2208402.413
AT ITER 3379 NEW BEST:: SOT 3878898 SOS 2613765 HAS SOPS 2613765 HAS SOUS 2204254 HAS SOUPS 2204254 WITH SCORE 2206867.765
AT ITER 3382 NEW BEST:: SOT 3878972 SOS 2613118 HAS SOPS 2613118 HAS SOUS 2203606 HAS SOUPS 2203606 WITH SCORE 2206219.118
AT ITER 3388 NEW BEST:: SOT 3878871 SOS 2612960 HAS SOPS 2612960 HAS SOUS 2203601 HAS SOUPS 2203601 WITH SCORE 2206213.96
AT ITER 3389 NEW BEST:: SOT 3878846 SOS 2612910 HAS SOPS 2612910 HAS SOUS 2203551 HAS SOUPS 2203551 WITH SCORE 2206163.91
AT ITER 3390 NEW BEST:: SOT 3878365 SOS 2612236 HAS SOPS 2612236 HAS SOUS 2203223 HAS SOUPS 2203223 WITH SCORE 2205835.236
AT ITER 3391 NEW BEST:: SOT 3878029 SOS 2611695 HAS SOPS 2611695 HAS SOUS 2202682 HAS SOUPS 2202682 WITH SCORE 2205293.695
AT ITER 3401 NEW BEST:: SOT 3877964 SOS 2611565 HAS SOPS 2611565 HAS SOUS 2202552 HAS SOUPS 2202552 WITH SCORE 2205163.565
AT ITER 3402 NEW BEST:: SOT 3877632 SOS 2611233 HAS SOPS 2611233 HAS SOUS 2202220 HAS SOUPS 2202220 WITH SCORE 2204831.233
AT ITER 3426 NEW BEST:: SOT 3877632 SOS 2611182 HAS SOPS 2611182 HAS SOUS 2202169 HAS SOUPS 2202169 WITH SCORE 2204780.182
AT ITER 3427 NEW BEST:: SOT 3877632 SOS 2611065 HAS SOPS 2611065 HAS SOUS 2202052 HAS SOUPS 2202052 WITH SCORE 2204663.065
AT ITER 3428 NEW BEST:: SOT 3878315 SOS 2610632 HAS SOPS 2610632 HAS SOUS 2201548 HAS SOUPS 2201548 WITH SCORE 2204158.632
AT ITER 3439 NEW BEST:: SOT 3876848 SOS 2608840 HAS SOPS 2608840 HAS SOUS 2198814 HAS SOUPS 2198814 WITH SCORE 2201422.84
AT ITER 3443 NEW BEST:: SOT 3876620 SOS 2608612 HAS SOPS 2608612 HAS SOUS 2198586 HAS SOUPS 2198586 WITH SCORE 2201194.612
AT ITER 3447 NEW BEST:: SOT 3876557 SOS 2608549 HAS SOPS 2608549 HAS SOUS 2198561 HAS SOUPS 2198561 WITH SCORE 2201169.549
AT ITER 3450 NEW BEST:: SOT 3874782 SOS 2607100 HAS SOPS 2607100 HAS SOUS 2196399 HAS SOUPS 2196399 WITH SCORE 2199006.1
AT ITER 3454 NEW BEST:: SOT 3874782 SOS 2607292 HAS SOPS 2607292 HAS SOUS 2196351 HAS SOUPS 2196351 WITH SCORE 2198958.292
AT ITER 3462 NEW BEST:: SOT 3873304 SOS 2605901 HAS SOPS 2605901 HAS SOUS 2194960 HAS SOUPS 2194960 WITH SCORE 2197565.901
AT ITER 3467 NEW BEST:: SOT 3873001 SOS 2605133 HAS SOPS 2605133 HAS SOUS 2194159 HAS SOUPS 2194159 WITH SCORE 2196764.133
AT ITER 3474 NEW BEST:: SOT 3873001 SOS 2604512 HAS SOPS 2604512 HAS SOUS 2194159 HAS SOUPS 2194159 WITH SCORE 2196763.512
AT ITER 3484 NEW BEST:: SOT 3872883 SOS 2604158 HAS SOPS 2604158 HAS SOUS 2193923 HAS SOUPS 2193923 WITH SCORE 2196527.158
AT ITER 3487 NEW BEST:: SOT 3870795 SOS 2602539 HAS SOPS 2602539 HAS SOUS 2192209 HAS SOUPS 2192209 WITH SCORE 2194811.539
AT ITER 3490 NEW BEST:: SOT 3870116 SOS 2599720 HAS SOPS 2599720 HAS SOUS 2191128 HAS SOUPS 2191128 WITH SCORE 2193727.72
AT ITER 3492 NEW BEST:: SOT 3869970 SOS 2599428 HAS SOPS 2599428 HAS SOUS 2191073 HAS SOUPS 2191073 WITH SCORE 2193672.428
AT ITER 3493 NEW BEST:: SOT 3868086 SOS 2597073 HAS SOPS 2597073 HAS SOUS 2188718 HAS SOUPS 2188718 WITH SCORE 2191315.073
AT ITER 3496 NEW BEST:: SOT 3867607 SOS 2596115 HAS SOPS 2596115 HAS SOUS 2187760 HAS SOUPS 2187760 WITH SCORE 2190356.115
AT ITER 3499 NEW BEST:: SOT 3864627 SOS 2593109 HAS SOPS 2593109 HAS SOUS 2184237 HAS SOUPS 2184237 WITH SCORE 2186830.109
AT ITER 3503 NEW BEST:: SOT 3864581 SOS 2593063 HAS SOPS 2593063 HAS SOUS 2184191 HAS SOUPS 2184191 WITH SCORE 2186784.063
AT ITER 3508 NEW BEST:: SOT 3864525 SOS 2592727 HAS SOPS 2592727 HAS SOUS 2184191 HAS SOUPS 2184191 WITH SCORE 2186783.727
AT ITER 3516 NEW BEST:: SOT 3863010 SOS 2590997 HAS SOPS 2590997 HAS SOUS 2182461 HAS SOUPS 2182461 WITH SCORE 2185051.997
AT ITER 3518 NEW BEST:: SOT 3863786 SOS 2590297 HAS SOPS 2590297 HAS SOUS 2182117 HAS SOUPS 2182117 WITH SCORE 2184707.297
AT ITER 3522 NEW BEST:: SOT 3863665 SOS 2589692 HAS SOPS 2589692 HAS SOUS 2181875 HAS SOUPS 2181875 WITH SCORE 2184464.692
AT ITER 3528 NEW BEST:: SOT 3863546 SOS 2589652 HAS SOPS 2589652 HAS SOUS 2181834 HAS SOUPS 2181834 WITH SCORE 2184423.652
AT ITER 3531 NEW BEST:: SOT 3863544 SOS 2589663 HAS SOPS 2589663 HAS SOUS 2181359 HAS SOUPS 2181359 WITH SCORE 2183948.663
AT ITER 3532 NEW BEST:: SOT 3863544 SOS 2589663 HAS SOPS 2589663 HAS SOUS 2181277 HAS SOUPS 2181277 WITH SCORE 2183866.663
AT ITER 3536 NEW BEST:: SOT 3863487 SOS 2589435 HAS SOPS 2589435 HAS SOUS 2181160 HAS SOUPS 2181160 WITH SCORE 2183749.435
AT ITER 3537 NEW BEST:: SOT 3863106 SOS 2589052 HAS SOPS 2589052 HAS SOUS 2180777 HAS SOUPS 2180777 WITH SCORE 2183366.052
AT ITER 3539 NEW BEST:: SOT 3863094 SOS 2589021 HAS SOPS 2589021 HAS SOUS 2180746 HAS SOUPS 2180746 WITH SCORE 2183335.021
AT ITER 3541 NEW BEST:: SOT 3863597 SOS 2588499 HAS SOPS 2588499 HAS SOUS 2180224 HAS SOUPS 2180224 WITH SCORE 2182812.499
AT ITER 3548 NEW BEST:: SOT 3863597 SOS 2588355 HAS SOPS 2588355 HAS SOUS 2180080 HAS SOUPS 2180080 WITH SCORE 2182668.355
AT ITER 3549 NEW BEST:: SOT 3863246 SOS 2587311 HAS SOPS 2587311 HAS SOUS 2178776 HAS SOUPS 2178776 WITH SCORE 2181363.311
AT ITER 3559 NEW BEST:: SOT 3863107 SOS 2585946 HAS SOPS 2585946 HAS SOUS 2177773 HAS SOUPS 2177773 WITH SCORE 2180358.946
AT ITER 3560 NEW BEST:: SOT 3862684 SOS 2585523 HAS SOPS 2585523 HAS SOUS 2177350 HAS SOUPS 2177350 WITH SCORE 2179935.523
AT ITER 3565 NEW BEST:: SOT 3862624 SOS 2585463 HAS SOPS 2585463 HAS SOUS 2177290 HAS SOUPS 2177290 WITH SCORE 2179875.463
AT ITER 3568 NEW BEST:: SOT 3862380 SOS 2584759 HAS SOPS 2584759 HAS SOUS 2177046 HAS SOUPS 2177046 WITH SCORE 2179630.759
AT ITER 3569 NEW BEST:: SOT 3861690 SOS 2584065 HAS SOPS 2584065 HAS SOUS 2176351 HAS SOUPS 2176351 WITH SCORE 2178935.065
AT ITER 3573 NEW BEST:: SOT 3861599 SOS 2583974 HAS SOPS 2583974 HAS SOUS 2176260 HAS SOUPS 2176260 WITH SCORE 2178843.974
AT ITER 3578 NEW BEST:: SOT 3861371 SOS 2583746 HAS SOPS 2583746 HAS SOUS 2176032 HAS SOUPS 2176032 WITH SCORE 2178615.746
AT ITER 3587 NEW BEST:: SOT 3861371 SOS 2583744 HAS SOPS 2583744 HAS SOUS 2175913 HAS SOUPS 2175913 WITH SCORE 2178496.744
AT ITER 3588 NEW BEST:: SOT 3860072 SOS 2581383 HAS SOPS 2581383 HAS SOUS 2173471 HAS SOUPS 2173471 WITH SCORE 2176052.383
AT ITER 3589 NEW BEST:: SOT 3860069 SOS 2581380 HAS SOPS 2581380 HAS SOUS 2173468 HAS SOUPS 2173468 WITH SCORE 2176049.38
AT ITER 3595 NEW BEST:: SOT 3859035 SOS 2580598 HAS SOPS 2580598 HAS SOUS 2173002 HAS SOUPS 2173002 WITH SCORE 2175582.598
AT ITER 3599 NEW BEST:: SOT 3859035 SOS 2577065 HAS SOPS 2577065 HAS SOUS 2172224 HAS SOUPS 2172224 WITH SCORE 2174801.065
AT ITER 3607 NEW BEST:: SOT 3859085 SOS 2577065 HAS SOPS 2577065 HAS SOUS 2172174 HAS SOUPS 2172174 WITH SCORE 2174751.065
AT ITER 3608 NEW BEST:: SOT 3858957 SOS 2576937 HAS SOPS 2576937 HAS SOUS 2172046 HAS SOUPS 2172046 WITH SCORE 2174622.937
AT ITER 3623 NEW BEST:: SOT 3858622 SOS 2574957 HAS SOPS 2574957 HAS SOUS 2171917 HAS SOUPS 2171917 WITH SCORE 2174491.957
AT ITER 3634 NEW BEST:: SOT 3858526 SOS 2574861 HAS SOPS 2574861 HAS SOUS 2171917 HAS SOUPS 2171917 WITH SCORE 2174491.861
AT ITER 3636 NEW BEST:: SOT 3858410 SOS 2574745 HAS SOPS 2574745 HAS SOUS 2171801 HAS SOUPS 2171801 WITH SCORE 2174375.745
AT ITER 3646 NEW BEST:: SOT 3856944 SOS 2573643 HAS SOPS 2573643 HAS SOUS 2170699 HAS SOUPS 2170699 WITH SCORE 2173272.643
AT ITER 3650 NEW BEST:: SOT 3856271 SOS 2574084 HAS SOPS 2574084 HAS SOUS 2170310 HAS SOUPS 2170310 WITH SCORE 2172884.084
AT ITER 3651 NEW BEST:: SOT 3856153 SOS 2573313 HAS SOPS 2573313 HAS SOUS 2169890 HAS SOUPS 2169890 WITH SCORE 2172463.313
AT ITER 3654 NEW BEST:: SOT 3855886 SOS 2572817 HAS SOPS 2572817 HAS SOUS 2169394 HAS SOUPS 2169394 WITH SCORE 2171966.817
AT ITER 3659 NEW BEST:: SOT 3856095 SOS 2572796 HAS SOPS 2572796 HAS SOUS 2169373 HAS SOUPS 2169373 WITH SCORE 2171945.796
AT ITER 3666 NEW BEST:: SOT 3855812 SOS 2572513 HAS SOPS 2572513 HAS SOUS 2169183 HAS SOUPS 2169183 WITH SCORE 2171755.513
AT ITER 3669 NEW BEST:: SOT 3855824 SOS 2566956 HAS SOPS 2566956 HAS SOUS 2166743 HAS SOUPS 2166743 WITH SCORE 2169309.956
AT ITER 3670 NEW BEST:: SOT 3855466 SOS 2566598 HAS SOPS 2566598 HAS SOUS 2166385 HAS SOUPS 2166385 WITH SCORE 2168951.598
AT ITER 3671 NEW BEST:: SOT 3855320 SOS 2566165 HAS SOPS 2566165 HAS SOUS 2165952 HAS SOUPS 2165952 WITH SCORE 2168518.165
AT ITER 3679 NEW BEST:: SOT 3854923 SOS 2563685 HAS SOPS 2563685 HAS SOUS 2164056 HAS SOUPS 2164056 WITH SCORE 2166619.685
AT ITER 3681 NEW BEST:: SOT 3855042 SOS 2563719 HAS SOPS 2563719 HAS SOUS 2163606 HAS SOUPS 2163606 WITH SCORE 2166169.719
AT ITER 3696 NEW BEST:: SOT 3854787 SOS 2561660 HAS SOPS 2561660 HAS SOUS 2163210 HAS SOUPS 2163210 WITH SCORE 2165771.66
AT ITER 3700 NEW BEST:: SOT 3854122 SOS 2560575 HAS SOPS 2560575 HAS SOUS 2162178 HAS SOUPS 2162178 WITH SCORE 2164738.575
AT ITER 3703 NEW BEST:: SOT 3852366 SOS 2558897 HAS SOPS 2558897 HAS SOUS 2160500 HAS SOUPS 2160500 WITH SCORE 2163058.897
AT ITER 3707 NEW BEST:: SOT 3852366 SOS 2558285 HAS SOPS 2558285 HAS SOUS 2159990 HAS SOUPS 2159990 WITH SCORE 2162548.285
AT ITER 3714 NEW BEST:: SOT 3852110 SOS 2557723 HAS SOPS 2557723 HAS SOUS 2159730 HAS SOUPS 2159730 WITH SCORE 2162287.723
AT ITER 3717 NEW BEST:: SOT 3851599 SOS 2556830 HAS SOPS 2556830 HAS SOUS 2158802 HAS SOUPS 2158802 WITH SCORE 2161358.83
AT ITER 3718 NEW BEST:: SOT 3851599 SOS 2555578 HAS SOPS 2555578 HAS SOUS 2158377 HAS SOUPS 2158377 WITH SCORE 2160932.578
AT ITER 3726 NEW BEST:: SOT 3851583 SOS 2555562 HAS SOPS 2555562 HAS SOUS 2158361 HAS SOUPS 2158361 WITH SCORE 2160916.562
AT ITER 3728 NEW BEST:: SOT 3849545 SOS 2553149 HAS SOPS 2553149 HAS SOUS 2155824 HAS SOUPS 2155824 WITH SCORE 2158377.149
AT ITER 3739 NEW BEST:: SOT 3849292 SOS 2552896 HAS SOPS 2552896 HAS SOUS 2155571 HAS SOUPS 2155571 WITH SCORE 2158123.896
AT ITER 3751 NEW BEST:: SOT 3849278 SOS 2552875 HAS SOPS 2552875 HAS SOUS 2155550 HAS SOUPS 2155550 WITH SCORE 2158102.875
AT ITER 3760 NEW BEST:: SOT 3850877 SOS 2551616 HAS SOPS 2551616 HAS SOUS 2155335 HAS SOUPS 2155335 WITH SCORE 2157886.616
AT ITER 3768 NEW BEST:: SOT 3850119 SOS 2550318 HAS SOPS 2550318 HAS SOUS 2154037 HAS SOUPS 2154037 WITH SCORE 2156587.318
AT ITER 3780 NEW BEST:: SOT 3849867 SOS 2550066 HAS SOPS 2550066 HAS SOUS 2153785 HAS SOUPS 2153785 WITH SCORE 2156335.066
AT ITER 3786 NEW BEST:: SOT 3849867 SOS 2549912 HAS SOPS 2549912 HAS SOUS 2153321 HAS SOUPS 2153321 WITH SCORE 2155870.912
AT ITER 3787 NEW BEST:: SOT 3849348 SOS 2548990 HAS SOPS 2548990 HAS SOUS 2152399 HAS SOUPS 2152399 WITH SCORE 2154947.99
AT ITER 3788 NEW BEST:: SOT 3849024 SOS 2546325 HAS SOPS 2546325 HAS SOUS 2151979 HAS SOUPS 2151979 WITH SCORE 2154525.325
AT ITER 3789 NEW BEST:: SOT 3849155 SOS 2546243 HAS SOPS 2546243 HAS SOUS 2151897 HAS SOUPS 2151897 WITH SCORE 2154443.243
AT ITER 3800 NEW BEST:: SOT 3848359 SOS 2545260 HAS SOPS 2545260 HAS SOUS 2150240 HAS SOUPS 2150240 WITH SCORE 2152785.26
AT ITER 3815 NEW BEST:: SOT 3848146 SOS 2544348 HAS SOPS 2544348 HAS SOUS 2149242 HAS SOUPS 2149242 WITH SCORE 2151786.348
AT ITER 3831 NEW BEST:: SOT 3848034 SOS 2544234 HAS SOPS 2544234 HAS SOUS 2149128 HAS SOUPS 2149128 WITH SCORE 2151672.234
AT ITER 3834 NEW BEST:: SOT 3848052 SOS 2544174 HAS SOPS 2544174 HAS SOUS 2149107 HAS SOUPS 2149107 WITH SCORE 2151651.174
AT ITER 3835 NEW BEST:: SOT 3847742 SOS 2543802 HAS SOPS 2543802 HAS SOUS 2148735 HAS SOUPS 2148735 WITH SCORE 2151278.802
AT ITER 3854 NEW BEST:: SOT 3849842 SOS 2543880 HAS SOPS 2543880 HAS SOUS 2148655 HAS SOUPS 2148655 WITH SCORE 2151198.88
AT ITER 3855 NEW BEST:: SOT 3849768 SOS 2543806 HAS SOPS 2543806 HAS SOUS 2148581 HAS SOUPS 2148581 WITH SCORE 2151124.806
AT ITER 3858 NEW BEST:: SOT 3849768 SOS 2543159 HAS SOPS 2543159 HAS SOUS 2147934 HAS SOUPS 2147934 WITH SCORE 2150477.159
AT ITER 3859 NEW BEST:: SOT 3849487 SOS 2541561 HAS SOPS 2541561 HAS SOUS 2147074 HAS SOUPS 2147074 WITH SCORE 2149615.561
AT ITER 3860 NEW BEST:: SOT 3850778 SOS 2542736 HAS SOPS 2542736 HAS SOUS 2146708 HAS SOUPS 2146708 WITH SCORE 2149250.736
AT ITER 3862 NEW BEST:: SOT 3850778 SOS 2542593 HAS SOPS 2542593 HAS SOUS 2145935 HAS SOUPS 2145935 WITH SCORE 2148477.593
AT ITER 3866 NEW BEST:: SOT 3849787 SOS 2541346 HAS SOPS 2541346 HAS SOUS 2144688 HAS SOUPS 2144688 WITH SCORE 2147229.346
AT ITER 3869 NEW BEST:: SOT 3849787 SOS 2541140 HAS SOPS 2541140 HAS SOUS 2144482 HAS SOUPS 2144482 WITH SCORE 2147023.14
AT ITER 3875 NEW BEST:: SOT 3849658 SOS 2541209 HAS SOPS 2541209 HAS SOUS 2143784 HAS SOUPS 2143784 WITH SCORE 2146325.209
AT ITER 3879 NEW BEST:: SOT 3849309 SOS 2540511 HAS SOPS 2540511 HAS SOUS 2142491 HAS SOUPS 2142491 WITH SCORE 2145031.511
AT ITER 3889 NEW BEST:: SOT 3848536 SOS 2538194 HAS SOPS 2538194 HAS SOUS 2141641 HAS SOUPS 2141641 WITH SCORE 2144179.194
AT ITER 3891 NEW BEST:: SOT 3848751 SOS 2536606 HAS SOPS 2536606 HAS SOUS 2141421 HAS SOUPS 2141421 WITH SCORE 2143957.606
AT ITER 3894 NEW BEST:: SOT 3848751 SOS 2536253 HAS SOPS 2536253 HAS SOUS 2141366 HAS SOUPS 2141366 WITH SCORE 2143902.253
AT ITER 3896 NEW BEST:: SOT 3848505 SOS 2536007 HAS SOPS 2536007 HAS SOUS 2141120 HAS SOUPS 2141120 WITH SCORE 2143656.007
AT ITER 3897 NEW BEST:: SOT 3848774 SOS 2536276 HAS SOPS 2536276 HAS SOUS 2140356 HAS SOUPS 2140356 WITH SCORE 2142892.276
AT ITER 3905 NEW BEST:: SOT 3848426 SOS 2535928 HAS SOPS 2535928 HAS SOUS 2140141 HAS SOUPS 2140141 WITH SCORE 2142676.928
AT ITER 3912 NEW BEST:: SOT 3848242 SOS 2535744 HAS SOPS 2535744 HAS SOUS 2139957 HAS SOUPS 2139957 WITH SCORE 2142492.744
AT ITER 3916 NEW BEST:: SOT 3848242 SOS 2535744 HAS SOPS 2535744 HAS SOUS 2139556 HAS SOUPS 2139556 WITH SCORE 2142091.744
AT ITER 3922 NEW BEST:: SOT 3848292 SOS 2535521 HAS SOPS 2535521 HAS SOUS 2139333 HAS SOUPS 2139333 WITH SCORE 2141868.521
AT ITER 3923 NEW BEST:: SOT 3848135 SOS 2535358 HAS SOPS 2535358 HAS SOUS 2138927 HAS SOUPS 2138927 WITH SCORE 2141462.358
AT ITER 3927 NEW BEST:: SOT 3848135 SOS 2535832 HAS SOPS 2535832 HAS SOUS 2138595 HAS SOUPS 2138595 WITH SCORE 2141130.832
AT ITER 3933 NEW BEST:: SOT 3848490 SOS 2535768 HAS SOPS 2535768 HAS SOUS 2138531 HAS SOUPS 2138531 WITH SCORE 2141066.768
AT ITER 3934 NEW BEST:: SOT 3848490 SOS 2535241 HAS SOPS 2535241 HAS SOUS 2138350 HAS SOUPS 2138350 WITH SCORE 2140885.241
AT ITER 3936 NEW BEST:: SOT 3847690 SOS 2534441 HAS SOPS 2534441 HAS SOUS 2137550 HAS SOUPS 2137550 WITH SCORE 2140084.441
AT ITER 3937 NEW BEST:: SOT 3847654 SOS 2534405 HAS SOPS 2534405 HAS SOUS 2136816 HAS SOUPS 2136816 WITH SCORE 2139350.405
AT ITER 3941 NEW BEST:: SOT 3847807 SOS 2534474 HAS SOPS 2534474 HAS SOUS 2136682 HAS SOUPS 2136682 WITH SCORE 2139216.474
AT ITER 3947 NEW BEST:: SOT 3847674 SOS 2534341 HAS SOPS 2534341 HAS SOUS 2136549 HAS SOUPS 2136549 WITH SCORE 2139083.341
AT ITER 3954 NEW BEST:: SOT 3847850 SOS 2535045 HAS SOPS 2535045 HAS SOUS 2136451 HAS SOUPS 2136451 WITH SCORE 2138986.045
AT ITER 3957 NEW BEST:: SOT 3847547 SOS 2534742 HAS SOPS 2534742 HAS SOUS 2136148 HAS SOUPS 2136148 WITH SCORE 2138682.742
AT ITER 3958 NEW BEST:: SOT 3846641 SOS 2533389 HAS SOPS 2533389 HAS SOUS 2133445 HAS SOUPS 2133445 WITH SCORE 2135978.389
AT ITER 3966 NEW BEST:: SOT 3846641 SOS 2533321 HAS SOPS 2533321 HAS SOUS 2133377 HAS SOUPS 2133377 WITH SCORE 2135910.321
AT ITER 3977 NEW BEST:: SOT 3846283 SOS 2531254 HAS SOPS 2531254 HAS SOUS 2131789 HAS SOUPS 2131789 WITH SCORE 2134320.254
AT ITER 3978 NEW BEST:: SOT 3845853 SOS 2530609 HAS SOPS 2530609 HAS SOUS 2131144 HAS SOUPS 2131144 WITH SCORE 2133674.609
AT ITER 3986 NEW BEST:: SOT 3845772 SOS 2530586 HAS SOPS 2530586 HAS SOUS 2131121 HAS SOUPS 2131121 WITH SCORE 2133651.586
AT ITER 3992 NEW BEST:: SOT 3844979 SOS 2529344 HAS SOPS 2529344 HAS SOUS 2130524 HAS SOUPS 2130524 WITH SCORE 2133053.344
AT ITER 3996 NEW BEST:: SOT 3845935 SOS 2530170 HAS SOPS 2530170 HAS SOUS 2130067 HAS SOUPS 2130067 WITH SCORE 2132597.17
AT ITER 3999 NEW BEST:: SOT 3845935 SOS 2529582 HAS SOPS 2529582 HAS SOUS 2129193 HAS SOUPS 2129193 WITH SCORE 2131722.582
AT ITER 4000 NEW BEST:: SOT 3845803 SOS 2529318 HAS SOPS 2529318 HAS SOUS 2128929 HAS SOUPS 2128929 WITH SCORE 2131458.318
AT ITER 4001 NEW BEST:: SOT 3845646 SOS 2528333 HAS SOPS 2528333 HAS SOUS 2127944 HAS SOUPS 2127944 WITH SCORE 2130472.333
AT ITER 4005 NEW BEST:: SOT 3845969 SOS 2527960 HAS SOPS 2527960 HAS SOUS 2127574 HAS SOUPS 2127574 WITH SCORE 2130101.96
AT ITER 4008 NEW BEST:: SOT 3845969 SOS 2527576 HAS SOPS 2527576 HAS SOUS 2127446 HAS SOUPS 2127446 WITH SCORE 2129973.576
AT ITER 4019 NEW BEST:: SOT 3845173 SOS 2522222 HAS SOPS 2522222 HAS SOUS 2123407 HAS SOUPS 2123407 WITH SCORE 2125929.222
AT ITER 4021 NEW BEST:: SOT 3844657 SOS 2521706 HAS SOPS 2521706 HAS SOUS 2122891 HAS SOUPS 2122891 WITH SCORE 2125412.706
AT ITER 4026 NEW BEST:: SOT 3844131 SOS 2520879 HAS SOPS 2520879 HAS SOUS 2122064 HAS SOUPS 2122064 WITH SCORE 2124584.879
AT ITER 4027 NEW BEST:: SOT 3844131 SOS 2520767 HAS SOPS 2520767 HAS SOUS 2121964 HAS SOUPS 2121964 WITH SCORE 2124484.767
AT ITER 4028 NEW BEST:: SOT 3844156 SOS 2520718 HAS SOPS 2520718 HAS SOUS 2121915 HAS SOUPS 2121915 WITH SCORE 2124435.718
AT ITER 4029 NEW BEST:: SOT 3843963 SOS 2520577 HAS SOPS 2520577 HAS SOUS 2121759 HAS SOUPS 2121759 WITH SCORE 2124279.577
AT ITER 4030 NEW BEST:: SOT 3843963 SOS 2520661 HAS SOPS 2520661 HAS SOUS 2121581 HAS SOUPS 2121581 WITH SCORE 2124101.661
AT ITER 4037 NEW BEST:: SOT 3843534 SOS 2520098 HAS SOPS 2520098 HAS SOUS 2120876 HAS SOUPS 2120876 WITH SCORE 2123396.098
AT ITER 4056 NEW BEST:: SOT 3840863 SOS 2517161 HAS SOPS 2517161 HAS SOUS 2117805 HAS SOUPS 2117805 WITH SCORE 2120322.161
AT ITER 4057 NEW BEST:: SOT 3840841 SOS 2517139 HAS SOPS 2517139 HAS SOUS 2117783 HAS SOUPS 2117783 WITH SCORE 2120300.139
AT ITER 4077 NEW BEST:: SOT 3840134 SOS 2516432 HAS SOPS 2516432 HAS SOUS 2117076 HAS SOUPS 2117076 WITH SCORE 2119592.432
AT ITER 4086 NEW BEST:: SOT 3840134 SOS 2516351 HAS SOPS 2516351 HAS SOUS 2116995 HAS SOUPS 2116995 WITH SCORE 2119511.351
AT ITER 4090 NEW BEST:: SOT 3840051 SOS 2516185 HAS SOPS 2516185 HAS SOUS 2116912 HAS SOUPS 2116912 WITH SCORE 2119428.185
AT ITER 4092 NEW BEST:: SOT 3839986 SOS 2516158 HAS SOPS 2516158 HAS SOUS 2116625 HAS SOUPS 2116625 WITH SCORE 2119141.158
AT ITER 4094 NEW BEST:: SOT 3839971 SOS 2516128 HAS SOPS 2516128 HAS SOUS 2116595 HAS SOUPS 2116595 WITH SCORE 2119111.128
AT ITER 4101 NEW BEST:: SOT 3839971 SOS 2516297 HAS SOPS 2516297 HAS SOUS 2116552 HAS SOUPS 2116552 WITH SCORE 2119068.297
AT ITER 4107 NEW BEST:: SOT 3840019 SOS 2516345 HAS SOPS 2516345 HAS SOUS 2116427 HAS SOUPS 2116427 WITH SCORE 2118943.345
AT ITER 4111 NEW BEST:: SOT 3839928 SOS 2516408 HAS SOPS 2516408 HAS SOUS 2116063 HAS SOUPS 2116063 WITH SCORE 2118579.408
AT ITER 4114 NEW BEST:: SOT 3838169 SOS 2514478 HAS SOPS 2514478 HAS SOUS 2113573 HAS SOUPS 2113573 WITH SCORE 2116087.478
AT ITER 4119 NEW BEST:: SOT 3838087 SOS 2514314 HAS SOPS 2514314 HAS SOUS 2113245 HAS SOUPS 2113245 WITH SCORE 2115759.314
AT ITER 4120 NEW BEST:: SOT 3837815 SOS 2513809 HAS SOPS 2513809 HAS SOUS 2112740 HAS SOUPS 2112740 WITH SCORE 2115253.809
AT ITER 4129 NEW BEST:: SOT 3836227 SOS 2510844 HAS SOPS 2510844 HAS SOUS 2109722 HAS SOUPS 2109722 WITH SCORE 2112232.844
AT ITER 4136 NEW BEST:: SOT 3836227 SOS 2510832 HAS SOPS 2510832 HAS SOUS 2109710 HAS SOUPS 2109710 WITH SCORE 2112220.832
AT ITER 4141 NEW BEST:: SOT 3835727 SOS 2508016 HAS SOPS 2508016 HAS SOUS 2109109 HAS SOUPS 2109109 WITH SCORE 2111617.016
AT ITER 4152 NEW BEST:: SOT 3835727 SOS 2507218 HAS SOPS 2507218 HAS SOUS 2108815 HAS SOUPS 2108815 WITH SCORE 2111322.218
AT ITER 4154 NEW BEST:: SOT 3835452 SOS 2506592 HAS SOPS 2506592 HAS SOUS 2108189 HAS SOUPS 2108189 WITH SCORE 2110695.592
AT ITER 4159 NEW BEST:: SOT 3835452 SOS 2506185 HAS SOPS 2506185 HAS SOUS 2107687 HAS SOUPS 2107687 WITH SCORE 2110193.185
AT ITER 4162 NEW BEST:: SOT 3835452 SOS 2505765 HAS SOPS 2505765 HAS SOUS 2107391 HAS SOUPS 2107391 WITH SCORE 2109896.765
AT ITER 4173 NEW BEST:: SOT 3836195 SOS 2506508 HAS SOPS 2506508 HAS SOUS 2107389 HAS SOUPS 2107389 WITH SCORE 2109895.508
AT ITER 4176 NEW BEST:: SOT 3835995 SOS 2506308 HAS SOPS 2506308 HAS SOUS 2107189 HAS SOUPS 2107189 WITH SCORE 2109695.308
AT ITER 4180 NEW BEST:: SOT 3835972 SOS 2504593 HAS SOPS 2504593 HAS SOUS 2106162 HAS SOUPS 2106162 WITH SCORE 2108666.593
AT ITER 4186 NEW BEST:: SOT 3835874 SOS 2504495 HAS SOPS 2504495 HAS SOUS 2106064 HAS SOUPS 2106064 WITH SCORE 2108568.495
AT ITER 4187 NEW BEST:: SOT 3835220 SOS 2503841 HAS SOPS 2503841 HAS SOUS 2105410 HAS SOUPS 2105410 WITH SCORE 2107913.841
AT ITER 4190 NEW BEST:: SOT 3835218 SOS 2503839 HAS SOPS 2503839 HAS SOUS 2105408 HAS SOUPS 2105408 WITH SCORE 2107911.839
AT ITER 4192 NEW BEST:: SOT 3835453 SOS 2503872 HAS SOPS 2503872 HAS SOUS 2105362 HAS SOUPS 2105362 WITH SCORE 2107865.872
AT ITER 4201 NEW BEST:: SOT 3834843 SOS 2503260 HAS SOPS 2503260 HAS SOUS 2104750 HAS SOUPS 2104750 WITH SCORE 2107253.26
AT ITER 4206 NEW BEST:: SOT 3835112 SOS 2501881 HAS SOPS 2501881 HAS SOUS 2103698 HAS SOUPS 2103698 WITH SCORE 2106199.881
AT ITER 4208 NEW BEST:: SOT 3834392 SOS 2501161 HAS SOPS 2501161 HAS SOUS 2102978 HAS SOUPS 2102978 WITH SCORE 2105479.161
AT ITER 4217 NEW BEST:: SOT 3836371 SOS 2503800 HAS SOPS 2503800 HAS SOUS 2101581 HAS SOUPS 2101581 WITH SCORE 2104084.8
AT ITER 4218 NEW BEST:: SOT 3836371 SOS 2502121 HAS SOPS 2502121 HAS SOUS 2101532 HAS SOUPS 2101532 WITH SCORE 2104034.121
AT ITER 4232 NEW BEST:: SOT 3836116 SOS 2501866 HAS SOPS 2501866 HAS SOUS 2101169 HAS SOUPS 2101169 WITH SCORE 2103670.866
AT ITER 4237 NEW BEST:: SOT 3835877 SOS 2500720 HAS SOPS 2500720 HAS SOUS 2101151 HAS SOUPS 2101151 WITH SCORE 2103651.72
AT ITER 4246 NEW BEST:: SOT 3836131 SOS 2500974 HAS SOPS 2500974 HAS SOUS 2100976 HAS SOUPS 2100976 WITH SCORE 2103476.974
AT ITER 4256 NEW BEST:: SOT 3836051 SOS 2500894 HAS SOPS 2500894 HAS SOUS 2100896 HAS SOUPS 2100896 WITH SCORE 2103396.894
AT ITER 4259 NEW BEST:: SOT 3835549 SOS 2500390 HAS SOPS 2500390 HAS SOUS 2100392 HAS SOUPS 2100392 WITH SCORE 2102892.39
AT ITER 4262 NEW BEST:: SOT 3837748 SOS 2497464 HAS SOPS 2497464 HAS SOUS 2099027 HAS SOUPS 2099027 WITH SCORE 2101524.464
AT ITER 4264 NEW BEST:: SOT 3837438 SOS 2497054 HAS SOPS 2497054 HAS SOUS 2098995 HAS SOUPS 2098995 WITH SCORE 2101492.054
AT ITER 4280 NEW BEST:: SOT 3836092 SOS 2495731 HAS SOPS 2495731 HAS SOUS 2097177 HAS SOUPS 2097177 WITH SCORE 2099672.731
AT ITER 4281 NEW BEST:: SOT 3835635 SOS 2495274 HAS SOPS 2495274 HAS SOUS 2096720 HAS SOUPS 2096720 WITH SCORE 2099215.274
AT ITER 4285 NEW BEST:: SOT 3835569 SOS 2495208 HAS SOPS 2495208 HAS SOUS 2096654 HAS SOUPS 2096654 WITH SCORE 2099149.208
AT ITER 4289 NEW BEST:: SOT 3835212 SOS 2494506 HAS SOPS 2494506 HAS SOUS 2095952 HAS SOUPS 2095952 WITH SCORE 2098446.506
AT ITER 4290 NEW BEST:: SOT 3835112 SOS 2494406 HAS SOPS 2494406 HAS SOUS 2095852 HAS SOUPS 2095852 WITH SCORE 2098346.406
AT ITER 4292 NEW BEST:: SOT 3835024 SOS 2490432 HAS SOPS 2490432 HAS SOUS 2094107 HAS SOUPS 2094107 WITH SCORE 2096597.432
AT ITER 4293 NEW BEST:: SOT 3834707 SOS 2490181 HAS SOPS 2490181 HAS SOUS 2093475 HAS SOUPS 2093475 WITH SCORE 2095965.181
AT ITER 4294 NEW BEST:: SOT 3834675 SOS 2490133 HAS SOPS 2490133 HAS SOUS 2093427 HAS SOUPS 2093427 WITH SCORE 2095917.133
AT ITER 4296 NEW BEST:: SOT 3833947 SOS 2489403 HAS SOPS 2489403 HAS SOUS 2092698 HAS SOUPS 2092698 WITH SCORE 2095187.403
AT ITER 4307 NEW BEST:: SOT 3833867 SOS 2489322 HAS SOPS 2489322 HAS SOUS 2092617 HAS SOUPS 2092617 WITH SCORE 2095106.322
AT ITER 4308 NEW BEST:: SOT 3835339 SOS 2487537 HAS SOPS 2487537 HAS SOUS 2091322 HAS SOUPS 2091322 WITH SCORE 2093809.537
AT ITER 4314 NEW BEST:: SOT 3835381 SOS 2487245 HAS SOPS 2487245 HAS SOUS 2091030 HAS SOUPS 2091030 WITH SCORE 2093517.245
AT ITER 4316 NEW BEST:: SOT 3835502 SOS 2486858 HAS SOPS 2486858 HAS SOUS 2090632 HAS SOUPS 2090632 WITH SCORE 2093118.858
AT ITER 4317 NEW BEST:: SOT 3835939 SOS 2486955 HAS SOPS 2486955 HAS SOUS 2090301 HAS SOUPS 2090301 WITH SCORE 2092787.955
AT ITER 4321 NEW BEST:: SOT 3835927 SOS 2486943 HAS SOPS 2486943 HAS SOUS 2090301 HAS SOUPS 2090301 WITH SCORE 2092787.943
AT ITER 4337 NEW BEST:: SOT 3833595 SOS 2484611 HAS SOPS 2484611 HAS SOUS 2088368 HAS SOUPS 2088368 WITH SCORE 2090852.611
AT ITER 4338 NEW BEST:: SOT 3833891 SOS 2484907 HAS SOPS 2484907 HAS SOUS 2088246 HAS SOUPS 2088246 WITH SCORE 2090730.907
AT ITER 4339 NEW BEST:: SOT 3833019 SOS 2484035 HAS SOPS 2484035 HAS SOUS 2087374 HAS SOUPS 2087374 WITH SCORE 2089858.035
AT ITER 4343 NEW BEST:: SOT 3833019 SOS 2483423 HAS SOPS 2483423 HAS SOUS 2087086 HAS SOUPS 2087086 WITH SCORE 2089569.423
AT ITER 4345 NEW BEST:: SOT 3832889 SOS 2482654 HAS SOPS 2482654 HAS SOUS 2086987 HAS SOUPS 2086987 WITH SCORE 2089469.654
AT ITER 4347 NEW BEST:: SOT 3832850 SOS 2482524 HAS SOPS 2482524 HAS SOUS 2086857 HAS SOUPS 2086857 WITH SCORE 2089339.524
AT ITER 4356 NEW BEST:: SOT 3832363 SOS 2479602 HAS SOPS 2479602 HAS SOUS 2086857 HAS SOUPS 2086857 WITH SCORE 2089336.602
AT ITER 4372 NEW BEST:: SOT 3832201 SOS 2479130 HAS SOPS 2479130 HAS SOUS 2086554 HAS SOUPS 2086554 WITH SCORE 2089033.13
AT ITER 4375 NEW BEST:: SOT 3832392 SOS 2479319 HAS SOPS 2479319 HAS SOUS 2086358 HAS SOUPS 2086358 WITH SCORE 2088837.319
AT ITER 4380 NEW BEST:: SOT 3831453 SOS 2477262 HAS SOPS 2477262 HAS SOUS 2084275 HAS SOUPS 2084275 WITH SCORE 2086752.262
AT ITER 4385 NEW BEST:: SOT 3830747 SOS 2476556 HAS SOPS 2476556 HAS SOUS 2083569 HAS SOUPS 2083569 WITH SCORE 2086045.556
AT ITER 4388 NEW BEST:: SOT 3829259 SOS 2475068 HAS SOPS 2475068 HAS SOUS 2082081 HAS SOUPS 2082081 WITH SCORE 2084556.068
AT ITER 4402 NEW BEST:: SOT 3829261 SOS 2475057 HAS SOPS 2475057 HAS SOUS 2082069 HAS SOUPS 2082069 WITH SCORE 2084544.057
AT ITER 4404 NEW BEST:: SOT 3828937 SOS 2471521 HAS SOPS 2471521 HAS SOUS 2081859 HAS SOUPS 2081859 WITH SCORE 2084330.521
AT ITER 4416 NEW BEST:: SOT 3828937 SOS 2471451 HAS SOPS 2471451 HAS SOUS 2081789 HAS SOUPS 2081789 WITH SCORE 2084260.451
AT ITER 4439 NEW BEST:: SOT 3828937 SOS 2471515 HAS SOPS 2471515 HAS SOUS 2081725 HAS SOUPS 2081725 WITH SCORE 2084196.515
AT ITER 4441 NEW BEST:: SOT 3829043 SOS 2471621 HAS SOPS 2471621 HAS SOUS 2081443 HAS SOUPS 2081443 WITH SCORE 2083914.621
AT ITER 4444 NEW BEST:: SOT 3827960 SOS 2470538 HAS SOPS 2470538 HAS SOUS 2080360 HAS SOUPS 2080360 WITH SCORE 2082830.538
AT ITER 4445 NEW BEST:: SOT 3827942 SOS 2470520 HAS SOPS 2470520 HAS SOUS 2080337 HAS SOUPS 2080337 WITH SCORE 2082807.52
AT ITER 4458 NEW BEST:: SOT 3828165 SOS 2470743 HAS SOPS 2470743 HAS SOUS 2080230 HAS SOUPS 2080230 WITH SCORE 2082700.743
AT ITER 4464 NEW BEST:: SOT 3828165 SOS 2470670 HAS SOPS 2470670 HAS SOUS 2080230 HAS SOUPS 2080230 WITH SCORE 2082700.67
AT ITER 4476 NEW BEST:: SOT 3827967 SOS 2470438 HAS SOPS 2470438 HAS SOUS 2079998 HAS SOUPS 2079998 WITH SCORE 2082468.438
AT ITER 4481 NEW BEST:: SOT 3827427 SOS 2469871 HAS SOPS 2469871 HAS SOUS 2079431 HAS SOUPS 2079431 WITH SCORE 2081900.871
AT ITER 4490 NEW BEST:: SOT 3827427 SOS 2469478 HAS SOPS 2469478 HAS SOUS 2079037 HAS SOUPS 2079037 WITH SCORE 2081506.478
AT ITER 4493 NEW BEST:: SOT 3827311 SOS 2469362 HAS SOPS 2469362 HAS SOUS 2078921 HAS SOUPS 2078921 WITH SCORE 2081390.362
AT ITER 4496 NEW BEST:: SOT 3828430 SOS 2467383 HAS SOPS 2467383 HAS SOUS 2078717 HAS SOUPS 2078717 WITH SCORE 2081184.383
AT ITER 4503 NEW BEST:: SOT 3828538 SOS 2467590 HAS SOPS 2467590 HAS SOUS 2078578 HAS SOUPS 2078578 WITH SCORE 2081045.59
AT ITER 4504 NEW BEST:: SOT 3828141 SOS 2467193 HAS SOPS 2467193 HAS SOUS 2078181 HAS SOUPS 2078181 WITH SCORE 2080648.193
AT ITER 4509 NEW BEST:: SOT 3826971 SOS 2465504 HAS SOPS 2465504 HAS SOUS 2076119 HAS SOUPS 2076119 WITH SCORE 2078584.504
AT ITER 4513 NEW BEST:: SOT 3824073 SOS 2462513 HAS SOPS 2462513 HAS SOUS 2073704 HAS SOUPS 2073704 WITH SCORE 2076166.513
AT ITER 4515 NEW BEST:: SOT 3823011 SOS 2461447 HAS SOPS 2461447 HAS SOUS 2072639 HAS SOUPS 2072639 WITH SCORE 2075100.447
AT ITER 4523 NEW BEST:: SOT 3822756 SOS 2460257 HAS SOPS 2460257 HAS SOUS 2072044 HAS SOUPS 2072044 WITH SCORE 2074504.257
AT ITER 4525 NEW BEST:: SOT 3821613 SOS 2457160 HAS SOPS 2457160 HAS SOUS 2071471 HAS SOUPS 2071471 WITH SCORE 2073928.16
AT ITER 4526 NEW BEST:: SOT 3821613 SOS 2456976 HAS SOPS 2456976 HAS SOUS 2071471 HAS SOUPS 2071471 WITH SCORE 2073927.976
AT ITER 4528 NEW BEST:: SOT 3820589 SOS 2455952 HAS SOPS 2455952 HAS SOUS 2070447 HAS SOUPS 2070447 WITH SCORE 2072902.952
AT ITER 4542 NEW BEST:: SOT 3820831 SOS 2455609 HAS SOPS 2455609 HAS SOUS 2069495 HAS SOUPS 2069495 WITH SCORE 2071950.609
AT ITER 4544 NEW BEST:: SOT 3821281 SOS 2456524 HAS SOPS 2456524 HAS SOUS 2069417 HAS SOUPS 2069417 WITH SCORE 2071873.524
AT ITER 4550 NEW BEST:: SOT 3819852 SOS 2453251 HAS SOPS 2453251 HAS SOUS 2065622 HAS SOUPS 2065622 WITH SCORE 2068075.251
AT ITER 4555 NEW BEST:: SOT 3819852 SOS 2452221 HAS SOPS 2452221 HAS SOUS 2065004 HAS SOUPS 2065004 WITH SCORE 2067456.221
AT ITER 4556 NEW BEST:: SOT 3819730 SOS 2452099 HAS SOPS 2452099 HAS SOUS 2064882 HAS SOUPS 2064882 WITH SCORE 2067334.099
AT ITER 4559 NEW BEST:: SOT 3819593 SOS 2451962 HAS SOPS 2451962 HAS SOUS 2064745 HAS SOUPS 2064745 WITH SCORE 2067196.962
AT ITER 4562 NEW BEST:: SOT 3818507 SOS 2449936 HAS SOPS 2449936 HAS SOUS 2062343 HAS SOUPS 2062343 WITH SCORE 2064792.936
AT ITER 4569 NEW BEST:: SOT 3818665 SOS 2449634 HAS SOPS 2449634 HAS SOUS 2062041 HAS SOUPS 2062041 WITH SCORE 2064490.634
AT ITER 4576 NEW BEST:: SOT 3818565 SOS 2449638 HAS SOPS 2449638 HAS SOUS 2061993 HAS SOUPS 2061993 WITH SCORE 2064442.638
AT ITER 4579 NEW BEST:: SOT 3818327 SOS 2449400 HAS SOPS 2449400 HAS SOUS 2061755 HAS SOUPS 2061755 WITH SCORE 2064204.4
AT ITER 4586 NEW BEST:: SOT 3818042 SOS 2448896 HAS SOPS 2448896 HAS SOUS 2061251 HAS SOUPS 2061251 WITH SCORE 2063699.896
AT ITER 4588 NEW BEST:: SOT 3817763 SOS 2447936 HAS SOPS 2447936 HAS SOUS 2060763 HAS SOUPS 2060763 WITH SCORE 2063210.936
AT ITER 4600 NEW BEST:: SOT 3817839 SOS 2445700 HAS SOPS 2445700 HAS SOUS 2059357 HAS SOUPS 2059357 WITH SCORE 2061802.7
AT ITER 4616 NEW BEST:: SOT 3817789 SOS 2445675 HAS SOPS 2445675 HAS SOUS 2059332 HAS SOUPS 2059332 WITH SCORE 2061777.675
AT ITER 4621 NEW BEST:: SOT 3816807 SOS 2444192 HAS SOPS 2444192 HAS SOUS 2057849 HAS SOUPS 2057849 WITH SCORE 2060293.192
AT ITER 4625 NEW BEST:: SOT 3816507 SOS 2443830 HAS SOPS 2443830 HAS SOUS 2057111 HAS SOUPS 2057111 WITH SCORE 2059554.83
AT ITER 4659 NEW BEST:: SOT 3816274 SOS 2443818 HAS SOPS 2443818 HAS SOUS 2057108 HAS SOUPS 2057108 WITH SCORE 2059551.818
AT ITER 4669 NEW BEST:: SOT 3816254 SOS 2443798 HAS SOPS 2443798 HAS SOUS 2057088 HAS SOUPS 2057088 WITH SCORE 2059531.798
AT ITER 4670 NEW BEST:: SOT 3816254 SOS 2443574 HAS SOPS 2443574 HAS SOUS 2057088 HAS SOUPS 2057088 WITH SCORE 2059531.574
AT ITER 4677 NEW BEST:: SOT 3815870 SOS 2443190 HAS SOPS 2443190 HAS SOUS 2056704 HAS SOUPS 2056704 WITH SCORE 2059147.19
AT ITER 4678 NEW BEST:: SOT 3815937 SOS 2443257 HAS SOPS 2443257 HAS SOUS 2056246 HAS SOUPS 2056246 WITH SCORE 2058689.257
AT ITER 4679 NEW BEST:: SOT 3815207 SOS 2441999 HAS SOPS 2441999 HAS SOUS 2055452 HAS SOUPS 2055452 WITH SCORE 2057893.999
AT ITER 4680 NEW BEST:: SOT 3815138 SOS 2441930 HAS SOPS 2441930 HAS SOUS 2055383 HAS SOUPS 2055383 WITH SCORE 2057824.93
AT ITER 4682 NEW BEST:: SOT 3814860 SOS 2441652 HAS SOPS 2441652 HAS SOUS 2055105 HAS SOUPS 2055105 WITH SCORE 2057546.652
AT ITER 4688 NEW BEST:: SOT 3814319 SOS 2441111 HAS SOPS 2441111 HAS SOUS 2054564 HAS SOUPS 2054564 WITH SCORE 2057005.111
AT ITER 4692 NEW BEST:: SOT 3814286 SOS 2440946 HAS SOPS 2440946 HAS SOUS 2054432 HAS SOUPS 2054432 WITH SCORE 2056872.946
AT ITER 4695 NEW BEST:: SOT 3814258 SOS 2440890 HAS SOPS 2440890 HAS SOUS 2054376 HAS SOUPS 2054376 WITH SCORE 2056816.89
AT ITER 4696 NEW BEST:: SOT 3814258 SOS 2440865 HAS SOPS 2440865 HAS SOUS 2054066 HAS SOUPS 2054066 WITH SCORE 2056506.865
AT ITER 4702 NEW BEST:: SOT 3814457 SOS 2441326 HAS SOPS 2441326 HAS SOUS 2052457 HAS SOUPS 2052457 WITH SCORE 2054898.326
AT ITER 4707 NEW BEST:: SOT 3814609 SOS 2440782 HAS SOPS 2440782 HAS SOUS 2052145 HAS SOUPS 2052145 WITH SCORE 2054585.782
AT ITER 4710 NEW BEST:: SOT 3814608 SOS 2440278 HAS SOPS 2440278 HAS SOUS 2051744 HAS SOUPS 2051744 WITH SCORE 2054184.278
AT ITER 4714 NEW BEST:: SOT 3814277 SOS 2435925 HAS SOPS 2435925 HAS SOUS 2049639 HAS SOUPS 2049639 WITH SCORE 2052074.925
AT ITER 4721 NEW BEST:: SOT 3814277 SOS 2434757 HAS SOPS 2434757 HAS SOUS 2049573 HAS SOUPS 2049573 WITH SCORE 2052007.757
AT ITER 4726 NEW BEST:: SOT 3813692 SOS 2433597 HAS SOPS 2433597 HAS SOUS 2049067 HAS SOUPS 2049067 WITH SCORE 2051500.597
AT ITER 4742 NEW BEST:: SOT 3812887 SOS 2426570 HAS SOPS 2426570 HAS SOUS 2046675 HAS SOUPS 2046675 WITH SCORE 2049101.57
AT ITER 4744 NEW BEST:: SOT 3812706 SOS 2426389 HAS SOPS 2426389 HAS SOUS 2046494 HAS SOUPS 2046494 WITH SCORE 2048920.389
AT ITER 4748 NEW BEST:: SOT 3812210 SOS 2425167 HAS SOPS 2425167 HAS SOUS 2045272 HAS SOUPS 2045272 WITH SCORE 2047697.167
AT ITER 4750 NEW BEST:: SOT 3812175 SOS 2425099 HAS SOPS 2425099 HAS SOUS 2045204 HAS SOUPS 2045204 WITH SCORE 2047629.099
AT ITER 4751 NEW BEST:: SOT 3811956 SOS 2424759 HAS SOPS 2424759 HAS SOUS 2044954 HAS SOUPS 2044954 WITH SCORE 2047378.759
AT ITER 4752 NEW BEST:: SOT 3811637 SOS 2424518 HAS SOPS 2424518 HAS SOUS 2044427 HAS SOUPS 2044427 WITH SCORE 2046851.518
AT ITER 4764 NEW BEST:: SOT 3811637 SOS 2424502 HAS SOPS 2424502 HAS SOUS 2044427 HAS SOUPS 2044427 WITH SCORE 2046851.502
AT ITER 4768 NEW BEST:: SOT 3811395 SOS 2424260 HAS SOPS 2424260 HAS SOUS 2044162 HAS SOUPS 2044162 WITH SCORE 2046586.26
AT ITER 4772 NEW BEST:: SOT 3811245 SOS 2424052 HAS SOPS 2424052 HAS SOUS 2043954 HAS SOUPS 2043954 WITH SCORE 2046378.052
AT ITER 4777 NEW BEST:: SOT 3812774 SOS 2422539 HAS SOPS 2422539 HAS SOUS 2042945 HAS SOUPS 2042945 WITH SCORE 2045367.539
AT ITER 4780 NEW BEST:: SOT 3811695 SOS 2421458 HAS SOPS 2421458 HAS SOUS 2041864 HAS SOUPS 2041864 WITH SCORE 2044285.458
AT ITER 4784 NEW BEST:: SOT 3811528 SOS 2420705 HAS SOPS 2420705 HAS SOUS 2041335 HAS SOUPS 2041335 WITH SCORE 2043755.705
AT ITER 4795 NEW BEST:: SOT 3812664 SOS 2422498 HAS SOPS 2422498 HAS SOUS 2040883 HAS SOUPS 2040883 WITH SCORE 2043305.498
AT ITER 4796 NEW BEST:: SOT 3812664 SOS 2422192 HAS SOPS 2422192 HAS SOUS 2040015 HAS SOUPS 2040015 WITH SCORE 2042437.192
AT ITER 4798 NEW BEST:: SOT 3812224 SOS 2421752 HAS SOPS 2421752 HAS SOUS 2039575 HAS SOUPS 2039575 WITH SCORE 2041996.752
AT ITER 4799 NEW BEST:: SOT 3811978 SOS 2420276 HAS SOPS 2420276 HAS SOUS 2039083 HAS SOUPS 2039083 WITH SCORE 2041503.276
AT ITER 4800 NEW BEST:: SOT 3811682 SOS 2419906 HAS SOPS 2419906 HAS SOUS 2038713 HAS SOUPS 2038713 WITH SCORE 2041132.906
AT ITER 4807 NEW BEST:: SOT 3811583 SOS 2419359 HAS SOPS 2419359 HAS SOUS 2038265 HAS SOUPS 2038265 WITH SCORE 2040684.359
AT ITER 4811 NEW BEST:: SOT 3811319 SOS 2416615 HAS SOPS 2416615 HAS SOUS 2038120 HAS SOUPS 2038120 WITH SCORE 2040536.615
AT ITER 4812 NEW BEST:: SOT 3810043 SOS 2415425 HAS SOPS 2415425 HAS SOUS 2036930 HAS SOUPS 2036930 WITH SCORE 2039345.425
AT ITER 4823 NEW BEST:: SOT 3810041 SOS 2415296 HAS SOPS 2415296 HAS SOUS 2036738 HAS SOUPS 2036738 WITH SCORE 2039153.296
AT ITER 4826 NEW BEST:: SOT 3809797 SOS 2415050 HAS SOPS 2415050 HAS SOUS 2036492 HAS SOUPS 2036492 WITH SCORE 2038907.05
AT ITER 4835 NEW BEST:: SOT 3809763 SOS 2414731 HAS SOPS 2414731 HAS SOUS 2036485 HAS SOUPS 2036485 WITH SCORE 2038899.731
AT ITER 4837 NEW BEST:: SOT 3808846 SOS 2413814 HAS SOPS 2413814 HAS SOUS 2035442 HAS SOUPS 2035442 WITH SCORE 2037855.814
AT ITER 4839 NEW BEST:: SOT 3809760 SOS 2412673 HAS SOPS 2412673 HAS SOUS 2035134 HAS SOUPS 2035134 WITH SCORE 2037546.673
AT ITER 4847 NEW BEST:: SOT 3809773 SOS 2412679 HAS SOPS 2412679 HAS SOUS 2034905 HAS SOUPS 2034905 WITH SCORE 2037317.679
AT ITER 4850 NEW BEST:: SOT 3809773 SOS 2412695 HAS SOPS 2412695 HAS SOUS 2034899 HAS SOUPS 2034899 WITH SCORE 2037311.695
AT ITER 4853 NEW BEST:: SOT 3809738 SOS 2412660 HAS SOPS 2412660 HAS SOUS 2034864 HAS SOUPS 2034864 WITH SCORE 2037276.66
AT ITER 4866 NEW BEST:: SOT 3809680 SOS 2412544 HAS SOPS 2412544 HAS SOUS 2034748 HAS SOUPS 2034748 WITH SCORE 2037160.544
AT ITER 4872 NEW BEST:: SOT 3808582 SOS 2411446 HAS SOPS 2411446 HAS SOUS 2033650 HAS SOUPS 2033650 WITH SCORE 2036061.446
AT ITER 4883 NEW BEST:: SOT 3808582 SOS 2411456 HAS SOPS 2411456 HAS SOUS 2033550 HAS SOUPS 2033550 WITH SCORE 2035961.456
AT ITER 4890 NEW BEST:: SOT 3808176 SOS 2411251 HAS SOPS 2411251 HAS SOUS 2033345 HAS SOUPS 2033345 WITH SCORE 2035756.251
AT ITER 4907 NEW BEST:: SOT 3808016 SOS 2411091 HAS SOPS 2411091 HAS SOUS 2033185 HAS SOUPS 2033185 WITH SCORE 2035596.091
AT ITER 4910 NEW BEST:: SOT 3807990 SOS 2411038 HAS SOPS 2411038 HAS SOUS 2033132 HAS SOUPS 2033132 WITH SCORE 2035543.038
AT ITER 4918 NEW BEST:: SOT 3807369 SOS 2410250 HAS SOPS 2410250 HAS SOUS 2032344 HAS SOUPS 2032344 WITH SCORE 2034754.25
AT ITER 4937 NEW BEST:: SOT 3806984 SOS 2409155 HAS SOPS 2409155 HAS SOUS 2031308 HAS SOUPS 2031308 WITH SCORE 2033717.155
AT ITER 4944 NEW BEST:: SOT 3805657 SOS 2407637 HAS SOPS 2407637 HAS SOUS 2029787 HAS SOUPS 2029787 WITH SCORE 2032194.637
AT ITER 4951 NEW BEST:: SOT 3805591 SOS 2407571 HAS SOPS 2407571 HAS SOUS 2029721 HAS SOUPS 2029721 WITH SCORE 2032128.571
AT ITER 4954 NEW BEST:: SOT 3805405 SOS 2407385 HAS SOPS 2407385 HAS SOUS 2029535 HAS SOUPS 2029535 WITH SCORE 2031942.385
AT ITER 4965 NEW BEST:: SOT 3805405 SOS 2406775 HAS SOPS 2406775 HAS SOUS 2029072 HAS SOUPS 2029072 WITH SCORE 2031478.775
AT ITER 4967 NEW BEST:: SOT 3805458 SOS 2406828 HAS SOPS 2406828 HAS SOUS 2029019 HAS SOUPS 2029019 WITH SCORE 2031425.828
AT ITER 4978 NEW BEST:: SOT 3805458 SOS 2406486 HAS SOPS 2406486 HAS SOUS 2028071 HAS SOUPS 2028071 WITH SCORE 2030477.486
AT ITER 4979 NEW BEST:: SOT 3805202 SOS 2405079 HAS SOPS 2405079 HAS SOUS 2027172 HAS SOUPS 2027172 WITH SCORE 2029577.079
AT ITER 4983 NEW BEST:: SOT 3805202 SOS 2404677 HAS SOPS 2404677 HAS SOUS 2026971 HAS SOUPS 2026971 WITH SCORE 2029375.677
AT ITER 4988 NEW BEST:: SOT 3804978 SOS 2404955 HAS SOPS 2404955 HAS SOUS 2026450 HAS SOUPS 2026450 WITH SCORE 2028854.955
AT ITER 4990 NEW BEST:: SOT 3804886 SOS 2404707 HAS SOPS 2404707 HAS SOUS 2026202 HAS SOUPS 2026202 WITH SCORE 2028606.707
AT ITER 4991 NEW BEST:: SOT 3805036 SOS 2404092 HAS SOPS 2404092 HAS SOUS 2024975 HAS SOUPS 2024975 WITH SCORE 2027379.092
AT ITER 4995 NEW BEST:: SOT 3805036 SOS 2403890 HAS SOPS 2403890 HAS SOUS 2024773 HAS SOUPS 2024773 WITH SCORE 2027176.89
AT ITER 4998 NEW BEST:: SOT 3804224 SOS 2399658 HAS SOPS 2399658 HAS SOUS 2023325 HAS SOUPS 2023325 WITH SCORE 2025724.658
AT ITER 4999 NEW BEST:: SOT 3805548 SOS 2400259 HAS SOPS 2400259 HAS SOUS 2023141 HAS SOUPS 2023141 WITH SCORE 2025541.259
Bounds file is: CTLFireability.xml
PROPERTY: ShieldIIPs-PT-100A-CTLFireability-00 (EU( ( ( ((potential((tk(P1564)>=1) & (tk(P1572)>=1) & (tk(P1576)>=1)))) | (! ((potential((tk(P1734)>=1) & (tk(P1749)>=1))))) ) | ((potential((tk(P2432)>=1) & (tk(P2442)>=1)))) ) , (AX( ( ((potential((tk(P184)>=1) & (tk(P198)>=1)))) | ((potential((tk(P732)>=1) & (tk(P742)>=1)))) ))) ))
PROPERTY: ShieldIIPs-PT-100A-CTLFireability-01 (AG( (! ( ((potential((tk(P1252)>=1)))) & ( (! ((potential((tk(P1183)>=1) & (tk(P1185)>=1))))) | ( ((potential((tk(P812)>=1) & (tk(P818)>=1) & (tk(P827)>=1)))) | ((potential((tk(P1957)>=1) & (tk(P1968)>=1)))) ) ) ))))
PROPERTY: ShieldIIPs-PT-100A-CTLFireability-02 ( (EF( (AF( ( ((potential((tk(P2242)>=1)))) | ((potential((tk(P598)>=1)))) ))))) | (EG( ((potential((tk(P487)>=1) & (tk(P493)>=1) & (tk(P502)>=1)))))) )
PROPERTY: ShieldIIPs-PT-100A-CTLFireability-03 (EF( (AF( (AG( ((potential((tk(P1709)>=1) & (tk(P1724)>=1))))))))))
PROPERTY: ShieldIIPs-PT-100A-CTLFireability-04 ( (EF( ((potential((tk(P556)>=1) & (tk(P569)>=1)))))) & ( (EG( (! ( ((potential((tk(P762)>=1) & (tk(P766)>=1) & (tk(P778)>=1)))) & ((potential((tk(P589)>=1) & (tk(P597)>=1) & (tk(P603)>=1)))) )))) | ( (! ( ( ((potential((tk(P1587)>=1) & (tk(P1593)>=1) & (tk(P1603)>=1)))) & ((potential((tk(P709)>=1) & (tk(P723)>=1)))) ) & ((potential((tk(P534)>=1) & (tk(P548)>=1)))) )) & ((potential((tk(P987)>=1) & (tk(P993)>=1) & (tk(P1003)>=1)))) ) ) )
PROPERTY: ShieldIIPs-PT-100A-CTLFireability-05 (EX( (! (! (AF( ((potential((tk(P792)>=1))))))))))
PROPERTY: ShieldIIPs-PT-100A-CTLFireability-06 (EX( ( ( (EF( ((potential((tk(P614)>=1) & (tk(P622)>=1) & (tk(P626)>=1)))))) | ( ( ((potential((tk(P1552)>=1)))) & ((potential((tk(P34)>=1) & (tk(P49)>=1)))) ) | ( ((potential((tk(P156)>=1) & (tk(P169)>=1)))) | ((potential((tk(P647)>=1)))) ) ) ) | ((potential((tk(P1441)>=1)))) )))
PROPERTY: ShieldIIPs-PT-100A-CTLFireability-07 ( ( (! (EG( (! ((potential((tk(P208)>=1) & (tk(P210)>=1)))))))) & ( ( ( (! ((potential((tk(P233)>=1) & (tk(P235)>=1))))) | ((potential((tk(P2239)>=1) & (tk(P2249)>=1) & (tk(P2253)>=1)))) ) | (! (! ((potential((tk(P1337)>=1) & (tk(P1343)>=1) & (tk(P1353)>=1)))))) ) | (AF( ( ((potential((tk(P414)>=1) & (tk(P422)>=1) & (tk(P428)>=1)))) & ((potential((tk(P712)>=1) & (tk(P718)>=1) & (tk(P727)>=1)))) ))) ) ) & (! (AG( ((potential((tk(P905)>=1) & (tk(P920)>=1))))))) )
PROPERTY: ShieldIIPs-PT-100A-CTLFireability-08 (EF( ((potential((tk(P1767)>=1))))))
PROPERTY: ShieldIIPs-PT-100A-CTLFireability-09 (AU( ( ((potential((tk(P2112)>=1) & (tk(P2118)>=1) & (tk(P2128)>=1)))) & ((potential((tk(P739)>=1) & (tk(P749)>=1) & (tk(P751)>=1)))) ) , (! (AF( ((potential((tk(P73)>=1))))))) ))
PROPERTY: ShieldIIPs-PT-100A-CTLFireability-10 (EG( (EF( ( ( ((potential((tk(P1987)>=1) & (tk(P1993)>=1) & (tk(P2003)>=1)))) & ((potential((tk(P398)>=1)))) ) | ( ((potential((tk(P340)>=1) & (tk(P361)>=1)))) | ((potential((tk(P702)>=1)))) ) )))))
PROPERTY: ShieldIIPs-PT-100A-CTLFireability-11 ( ( (AG( ((potential((tk(P1797)>=1)))))) | (AU( ( ((potential((tk(P1559)>=1) & (tk(P1573)>=1)))) | ((potential((tk(P9)>=1) & (tk(P24)>=1)))) ) , ( ((potential((tk(P1257)>=1) & (tk(P1268)>=1)))) | ((potential((tk(P1584)>=1) & (tk(P1599)>=1)))) ) )) ) | (EF( (EU( ((potential((tk(P648)>=1)))) , ((potential((tk(P1476)>=1)))) )))) )
PROPERTY: ShieldIIPs-PT-100A-CTLFireability-12 ( ( ( (AF( ((potential((tk(P304)>=1) & (tk(P325)>=1)))))) | ((potential((tk(P1754)>=1) & (tk(P1775)>=1)))) ) | ((potential((tk(P514)>=1) & (tk(P522)>=1) & (tk(P528)>=1)))) ) & (AF( (AG( (! ((potential((tk(P1009)>=1) & (tk(P1024)>=1))))))))) )
PROPERTY: ShieldIIPs-PT-100A-CTLFireability-13 (EG( ( (! (! (! ((potential((tk(P2464)>=1) & (tk(P2472)>=1) & (tk(P2476)>=1))))))) | ( ( ( ((potential((tk(P164)>=1) & (tk(P172)>=1) & (tk(P176)>=1)))) & ((potential((tk(P2192)>=1)))) ) | ((potential((tk(P663)>=1) & (tk(P696)>=1)))) ) & (AF( ((potential((tk(P2484)>=1) & (tk(P2498)>=1)))))) ) )))
PROPERTY: ShieldIIPs-PT-100A-CTLFireability-14 (EF( ( (EG( (! ((potential((tk(P452)>=1))))))) & (AG( ((potential((tk(P1608)>=1) & (tk(P1610)>=1)))))) )))
PROPERTY: ShieldIIPs-PT-100A-CTLFireability-15 ( (EU( (! ( ((potential((tk(P2437)>=1) & (tk(P2443)>=1) & (tk(P2452)>=1)))) | ((potential((tk(P366)>=1)))) )) , (EF( ((potential((tk(P1817)>=1)))))) )) & (EX( ( (AX( ((potential((tk(P1862)>=1) & (tk(P1868)>=1) & (tk(P1878)>=1)))))) | (! ( ((potential((tk(P1539)>=1) & (tk(P1549)>=1) & (tk(P1553)>=1)))) & ((potential((tk(P484)>=1) & (tk(P499)>=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="ShieldIIPs-PT-100A"
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 ShieldIIPs-PT-100A, 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 r207-tajo-159033469100204"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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