Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538800412.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Sudoku-PT-AN13, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538800412
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 7.6M
-rw-r--r-- 1 mcc users 3.6K Jun 3 09:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Jun 3 09:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Jun 3 09:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Jun 3 09:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 374K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 1.2M May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.1M May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 3.8M May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.0K Jun 3 09:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Jun 3 09:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.1K Jun 3 09:10 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 23K Jun 3 09:10 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Jun 3 09:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Jun 3 09:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 1.2M May 12 20:42 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Sudoku-PT-AN13-CTLFireability-00
FORMULA_NAME Sudoku-PT-AN13-CTLFireability-01
FORMULA_NAME Sudoku-PT-AN13-CTLFireability-02
FORMULA_NAME Sudoku-PT-AN13-CTLFireability-03
FORMULA_NAME Sudoku-PT-AN13-CTLFireability-04
FORMULA_NAME Sudoku-PT-AN13-CTLFireability-05
FORMULA_NAME Sudoku-PT-AN13-CTLFireability-06
FORMULA_NAME Sudoku-PT-AN13-CTLFireability-07
FORMULA_NAME Sudoku-PT-AN13-CTLFireability-08
FORMULA_NAME Sudoku-PT-AN13-CTLFireability-09
FORMULA_NAME Sudoku-PT-AN13-CTLFireability-10
FORMULA_NAME Sudoku-PT-AN13-CTLFireability-11
FORMULA_NAME Sudoku-PT-AN13-CTLFireability-12
FORMULA_NAME Sudoku-PT-AN13-CTLFireability-13
FORMULA_NAME Sudoku-PT-AN13-CTLFireability-14
FORMULA_NAME Sudoku-PT-AN13-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1591336624910

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (PT), instance AN13
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: 2704 places, 2197 transitions, 8788 arcs.
AT ITER 0 NEW BEST:: SOT 4850464 SOS 2422102 HAS SOPS 2422102 HAS SOUS 2422102 HAS SOUPS 2422102 WITH SCORE 2424524.102
AT ITER 12 NEW BEST:: SOT 4848792 SOS 2429687 HAS SOPS 2429687 HAS SOUS 2420597 HAS SOUPS 2420597 WITH SCORE 2423026.687
AT ITER 19 NEW BEST:: SOT 4848702 SOS 2429597 HAS SOPS 2429597 HAS SOUS 2420507 HAS SOUPS 2420507 WITH SCORE 2422936.597
AT ITER 21 NEW BEST:: SOT 4847532 SOS 2428657 HAS SOPS 2428657 HAS SOUS 2419411 HAS SOUPS 2419411 WITH SCORE 2421839.657
AT ITER 22 NEW BEST:: SOT 4844993 SOS 2431526 HAS SOPS 2431526 HAS SOUS 2417078 HAS SOUPS 2417078 WITH SCORE 2419509.526
AT ITER 50 NEW BEST:: SOT 4842899 SOS 2429634 HAS SOPS 2429634 HAS SOUS 2415078 HAS SOUPS 2415078 WITH SCORE 2417507.634
AT ITER 54 NEW BEST:: SOT 4841873 SOS 2428841 HAS SOPS 2428841 HAS SOUS 2414117 HAS SOUPS 2414117 WITH SCORE 2416545.841
AT ITER 66 NEW BEST:: SOT 4839635 SOS 2426873 HAS SOPS 2426873 HAS SOUS 2412029 HAS SOUPS 2412029 WITH SCORE 2414455.873
AT ITER 73 NEW BEST:: SOT 4839782 SOS 2426953 HAS SOPS 2426953 HAS SOUS 2412013 HAS SOUPS 2412013 WITH SCORE 2414439.953
AT ITER 82 NEW BEST:: SOT 4839638 SOS 2427226 HAS SOPS 2427226 HAS SOUS 2411869 HAS SOUPS 2411869 WITH SCORE 2414296.226
AT ITER 98 NEW BEST:: SOT 4839434 SOS 2433426 HAS SOPS 2433426 HAS SOUS 2411665 HAS SOUPS 2411665 WITH SCORE 2414098.426
AT ITER 107 NEW BEST:: SOT 4838792 SOS 2433063 HAS SOPS 2433063 HAS SOUS 2411086 HAS SOUPS 2411086 WITH SCORE 2413519.063
AT ITER 113 NEW BEST:: SOT 4836160 SOS 2438335 HAS SOPS 2438335 HAS SOUS 2408588 HAS SOUPS 2408588 WITH SCORE 2411026.335
AT ITER 117 NEW BEST:: SOT 4836088 SOS 2438263 HAS SOPS 2438263 HAS SOUS 2408516 HAS SOUPS 2408516 WITH SCORE 2410954.263
AT ITER 119 NEW BEST:: SOT 4835769 SOS 2444251 HAS SOPS 2444251 HAS SOUS 2408382 HAS SOUPS 2408382 WITH SCORE 2410826.251
AT ITER 134 NEW BEST:: SOT 4834183 SOS 2443809 HAS SOPS 2443809 HAS SOUS 2407076 HAS SOUPS 2407076 WITH SCORE 2409519.809
AT ITER 138 NEW BEST:: SOT 4833684 SOS 2443310 HAS SOPS 2443310 HAS SOUS 2406577 HAS SOUPS 2406577 WITH SCORE 2409020.31
AT ITER 140 NEW BEST:: SOT 4830922 SOS 2443183 HAS SOPS 2443183 HAS SOUS 2404092 HAS SOUPS 2404092 WITH SCORE 2406535.183
AT ITER 141 NEW BEST:: SOT 4830526 SOS 2442787 HAS SOPS 2442787 HAS SOUS 2403696 HAS SOUPS 2403696 WITH SCORE 2406138.787
AT ITER 160 NEW BEST:: SOT 4828951 SOS 2441212 HAS SOPS 2441212 HAS SOUS 2402121 HAS SOUPS 2402121 WITH SCORE 2404562.212
AT ITER 169 NEW BEST:: SOT 4828753 SOS 2441174 HAS SOPS 2441174 HAS SOUS 2402059 HAS SOUPS 2402059 WITH SCORE 2404500.174
AT ITER 176 NEW BEST:: SOT 4828753 SOS 2440866 HAS SOPS 2440866 HAS SOUS 2402059 HAS SOUPS 2402059 WITH SCORE 2404499.866
AT ITER 186 NEW BEST:: SOT 4828794 SOS 2440403 HAS SOPS 2440403 HAS SOUS 2401524 HAS SOUPS 2401524 WITH SCORE 2403964.403
AT ITER 210 NEW BEST:: SOT 4828776 SOS 2440376 HAS SOPS 2440376 HAS SOUS 2401515 HAS SOUPS 2401515 WITH SCORE 2403955.376
AT ITER 213 NEW BEST:: SOT 4828536 SOS 2449676 HAS SOPS 2449676 HAS SOUS 2401275 HAS SOUPS 2401275 WITH SCORE 2403724.676
AT ITER 216 NEW BEST:: SOT 4828296 SOS 2449718 HAS SOPS 2449718 HAS SOUS 2401045 HAS SOUPS 2401045 WITH SCORE 2403494.718
AT ITER 242 NEW BEST:: SOT 4827900 SOS 2459709 HAS SOPS 2459709 HAS SOUS 2400704 HAS SOUPS 2400704 WITH SCORE 2403163.709
AT ITER 246 NEW BEST:: SOT 4825693 SOS 2463679 HAS SOPS 2463679 HAS SOUS 2398693 HAS SOUPS 2398693 WITH SCORE 2401156.679
AT ITER 257 NEW BEST:: SOT 4824635 SOS 2462621 HAS SOPS 2462621 HAS SOUS 2397635 HAS SOUPS 2397635 WITH SCORE 2400097.621
AT ITER 262 NEW BEST:: SOT 4822469 SOS 2464319 HAS SOPS 2464319 HAS SOUS 2396122 HAS SOUPS 2396122 WITH SCORE 2398586.319
AT ITER 263 NEW BEST:: SOT 4820046 SOS 2475271 HAS SOPS 2475271 HAS SOUS 2393832 HAS SOUPS 2393832 WITH SCORE 2396307.271
AT ITER 267 NEW BEST:: SOT 4819926 SOS 2475151 HAS SOPS 2475151 HAS SOUS 2393712 HAS SOUPS 2393712 WITH SCORE 2396187.151
AT ITER 273 NEW BEST:: SOT 4818684 SOS 2474084 HAS SOPS 2474084 HAS SOUS 2392537 HAS SOUPS 2392537 WITH SCORE 2395011.084
AT ITER 277 NEW BEST:: SOT 4818540 SOS 2476010 HAS SOPS 2476010 HAS SOUS 2392393 HAS SOUPS 2392393 WITH SCORE 2394869.01
AT ITER 286 NEW BEST:: SOT 4817744 SOS 2475214 HAS SOPS 2475214 HAS SOUS 2391597 HAS SOUPS 2391597 WITH SCORE 2394072.214
AT ITER 294 NEW BEST:: SOT 4818169 SOS 2475639 HAS SOPS 2475639 HAS SOUS 2391530 HAS SOUPS 2391530 WITH SCORE 2394005.639
AT ITER 300 NEW BEST:: SOT 4817048 SOS 2474792 HAS SOPS 2474792 HAS SOUS 2390563 HAS SOUPS 2390563 WITH SCORE 2393037.792
AT ITER 306 NEW BEST:: SOT 4816638 SOS 2474382 HAS SOPS 2474382 HAS SOUS 2390153 HAS SOUPS 2390153 WITH SCORE 2392627.382
AT ITER 315 NEW BEST:: SOT 4816638 SOS 2474292 HAS SOPS 2474292 HAS SOUS 2390153 HAS SOUPS 2390153 WITH SCORE 2392627.292
AT ITER 317 NEW BEST:: SOT 4816611 SOS 2474265 HAS SOPS 2474265 HAS SOUS 2390126 HAS SOUPS 2390126 WITH SCORE 2392600.265
AT ITER 319 NEW BEST:: SOT 4816611 SOS 2472340 HAS SOPS 2472340 HAS SOUS 2390126 HAS SOUPS 2390126 WITH SCORE 2392598.34
AT ITER 323 NEW BEST:: SOT 4816299 SOS 2472091 HAS SOPS 2472091 HAS SOUS 2389814 HAS SOUPS 2389814 WITH SCORE 2392286.091
AT ITER 330 NEW BEST:: SOT 4814886 SOS 2471165 HAS SOPS 2471165 HAS SOUS 2388796 HAS SOUPS 2388796 WITH SCORE 2391267.165
AT ITER 333 NEW BEST:: SOT 4814422 SOS 2476391 HAS SOPS 2476391 HAS SOUS 2388361 HAS SOUPS 2388361 WITH SCORE 2390837.391
AT ITER 334 NEW BEST:: SOT 4813096 SOS 2475357 HAS SOPS 2475357 HAS SOUS 2387135 HAS SOUPS 2387135 WITH SCORE 2389610.357
AT ITER 338 NEW BEST:: SOT 4813046 SOS 2475261 HAS SOPS 2475261 HAS SOUS 2387111 HAS SOUPS 2387111 WITH SCORE 2389586.261
AT ITER 343 NEW BEST:: SOT 4812650 SOS 2475237 HAS SOPS 2475237 HAS SOUS 2386779 HAS SOUPS 2386779 WITH SCORE 2389254.237
AT ITER 349 NEW BEST:: SOT 4810301 SOS 2477344 HAS SOPS 2477344 HAS SOUS 2384656 HAS SOUPS 2384656 WITH SCORE 2387133.344
AT ITER 351 NEW BEST:: SOT 4810301 SOS 2477454 HAS SOPS 2477454 HAS SOUS 2384592 HAS SOUPS 2384592 WITH SCORE 2387069.454
AT ITER 359 NEW BEST:: SOT 4808906 SOS 2478530 HAS SOPS 2478530 HAS SOUS 2383466 HAS SOUPS 2383466 WITH SCORE 2385944.53
AT ITER 361 NEW BEST:: SOT 4808558 SOS 2478698 HAS SOPS 2478698 HAS SOUS 2383118 HAS SOUPS 2383118 WITH SCORE 2385596.698
AT ITER 363 NEW BEST:: SOT 4808222 SOS 2487326 HAS SOPS 2487326 HAS SOUS 2382782 HAS SOUPS 2382782 WITH SCORE 2385269.326
AT ITER 366 NEW BEST:: SOT 4807962 SOS 2488666 HAS SOPS 2488666 HAS SOUS 2382650 HAS SOUPS 2382650 WITH SCORE 2385138.666
AT ITER 377 NEW BEST:: SOT 4807596 SOS 2489428 HAS SOPS 2489428 HAS SOUS 2382398 HAS SOUPS 2382398 WITH SCORE 2384887.428
AT ITER 379 NEW BEST:: SOT 4805003 SOS 2492083 HAS SOPS 2492083 HAS SOUS 2381051 HAS SOUPS 2381051 WITH SCORE 2383543.083
AT ITER 383 NEW BEST:: SOT 4805182 SOS 2492278 HAS SOPS 2492278 HAS SOUS 2381030 HAS SOUPS 2381030 WITH SCORE 2383522.278
AT ITER 384 NEW BEST:: SOT 4805182 SOS 2492174 HAS SOPS 2492174 HAS SOUS 2381030 HAS SOUPS 2381030 WITH SCORE 2383522.174
AT ITER 389 NEW BEST:: SOT 4805286 SOS 2491330 HAS SOPS 2491330 HAS SOUS 2379982 HAS SOUPS 2379982 WITH SCORE 2382473.33
AT ITER 402 NEW BEST:: SOT 4805286 SOS 2490998 HAS SOPS 2490998 HAS SOUS 2379982 HAS SOUPS 2379982 WITH SCORE 2382472.998
AT ITER 403 NEW BEST:: SOT 4804832 SOS 2499276 HAS SOPS 2499276 HAS SOUS 2379790 HAS SOUPS 2379790 WITH SCORE 2382289.276
AT ITER 405 NEW BEST:: SOT 4804832 SOS 2498385 HAS SOPS 2498385 HAS SOUS 2379790 HAS SOUPS 2379790 WITH SCORE 2382288.385
AT ITER 406 NEW BEST:: SOT 4804695 SOS 2499660 HAS SOPS 2499660 HAS SOUS 2379653 HAS SOUPS 2379653 WITH SCORE 2382152.66
AT ITER 410 NEW BEST:: SOT 4803009 SOS 2498743 HAS SOPS 2498743 HAS SOUS 2378212 HAS SOUPS 2378212 WITH SCORE 2380710.743
AT ITER 411 NEW BEST:: SOT 4803009 SOS 2498580 HAS SOPS 2498580 HAS SOUS 2378212 HAS SOUPS 2378212 WITH SCORE 2380710.58
AT ITER 417 NEW BEST:: SOT 4803009 SOS 2498544 HAS SOPS 2498544 HAS SOUS 2378140 HAS SOUPS 2378140 WITH SCORE 2380638.544
AT ITER 423 NEW BEST:: SOT 4803191 SOS 2498739 HAS SOPS 2498739 HAS SOUS 2378107 HAS SOUPS 2378107 WITH SCORE 2380605.739
AT ITER 424 NEW BEST:: SOT 4803191 SOS 2498242 HAS SOPS 2498242 HAS SOUS 2378107 HAS SOUPS 2378107 WITH SCORE 2380605.242
AT ITER 425 NEW BEST:: SOT 4803191 SOS 2497904 HAS SOPS 2497904 HAS SOUS 2378107 HAS SOUPS 2378107 WITH SCORE 2380604.904
AT ITER 440 NEW BEST:: SOT 4803191 SOS 2497098 HAS SOPS 2497098 HAS SOUS 2378107 HAS SOUPS 2378107 WITH SCORE 2380604.098
AT ITER 448 NEW BEST:: SOT 4803144 SOS 2496903 HAS SOPS 2496903 HAS SOUS 2377968 HAS SOUPS 2377968 WITH SCORE 2380464.903
AT ITER 450 NEW BEST:: SOT 4800194 SOS 2505300 HAS SOPS 2505300 HAS SOUS 2376245 HAS SOUPS 2376245 WITH SCORE 2378750.3
AT ITER 456 NEW BEST:: SOT 4798091 SOS 2503421 HAS SOPS 2503421 HAS SOUS 2374222 HAS SOUPS 2374222 WITH SCORE 2376725.421
AT ITER 458 NEW BEST:: SOT 4797966 SOS 2503546 HAS SOPS 2503546 HAS SOUS 2374097 HAS SOUPS 2374097 WITH SCORE 2376600.546
AT ITER 460 NEW BEST:: SOT 4797988 SOS 2503590 HAS SOPS 2503590 HAS SOUS 2374081 HAS SOUPS 2374081 WITH SCORE 2376584.59
AT ITER 462 NEW BEST:: SOT 4797988 SOS 2502956 HAS SOPS 2502956 HAS SOUS 2374081 HAS SOUPS 2374081 WITH SCORE 2376583.956
AT ITER 468 NEW BEST:: SOT 4797003 SOS 2503090 HAS SOPS 2503090 HAS SOUS 2373281 HAS SOUPS 2373281 WITH SCORE 2375784.09
AT ITER 472 NEW BEST:: SOT 4796168 SOS 2502518 HAS SOPS 2502518 HAS SOUS 2372589 HAS SOUPS 2372589 WITH SCORE 2375091.518
AT ITER 474 NEW BEST:: SOT 4796168 SOS 2492964 HAS SOPS 2492964 HAS SOUS 2372317 HAS SOUPS 2372317 WITH SCORE 2374809.964
AT ITER 490 NEW BEST:: SOT 4796168 SOS 2492359 HAS SOPS 2492359 HAS SOUS 2372317 HAS SOUPS 2372317 WITH SCORE 2374809.359
AT ITER 493 NEW BEST:: SOT 4796168 SOS 2491706 HAS SOPS 2491706 HAS SOUS 2372317 HAS SOUPS 2372317 WITH SCORE 2374808.706
AT ITER 494 NEW BEST:: SOT 4794229 SOS 2497790 HAS SOPS 2497790 HAS SOUS 2370475 HAS SOUPS 2370475 WITH SCORE 2372972.79
AT ITER 500 NEW BEST:: SOT 4794229 SOS 2497783 HAS SOPS 2497783 HAS SOUS 2370475 HAS SOUPS 2370475 WITH SCORE 2372972.783
AT ITER 511 NEW BEST:: SOT 4792016 SOS 2497644 HAS SOPS 2497644 HAS SOUS 2368420 HAS SOUPS 2368420 WITH SCORE 2370917.644
AT ITER 512 NEW BEST:: SOT 4791512 SOS 2508392 HAS SOPS 2508392 HAS SOUS 2368292 HAS SOUPS 2368292 WITH SCORE 2370800.392
AT ITER 521 NEW BEST:: SOT 4789272 SOS 2523847 HAS SOPS 2523847 HAS SOUS 2368045 HAS SOUPS 2368045 WITH SCORE 2370568.847
AT ITER 530 NEW BEST:: SOT 4789272 SOS 2508469 HAS SOPS 2508469 HAS SOUS 2366647 HAS SOUPS 2366647 WITH SCORE 2369155.469
AT ITER 532 NEW BEST:: SOT 4789116 SOS 2508522 HAS SOPS 2508522 HAS SOUS 2366520 HAS SOUPS 2366520 WITH SCORE 2369028.522
AT ITER 533 NEW BEST:: SOT 4789129 SOS 2508741 HAS SOPS 2508741 HAS SOUS 2366452 HAS SOUPS 2366452 WITH SCORE 2368960.741
AT ITER 542 NEW BEST:: SOT 4789129 SOS 2508622 HAS SOPS 2508622 HAS SOUS 2366452 HAS SOUPS 2366452 WITH SCORE 2368960.622
AT ITER 544 NEW BEST:: SOT 4788782 SOS 2508275 HAS SOPS 2508275 HAS SOUS 2366251 HAS SOUPS 2366251 WITH SCORE 2368759.275
AT ITER 548 NEW BEST:: SOT 4787672 SOS 2507358 HAS SOPS 2507358 HAS SOUS 2365190 HAS SOUPS 2365190 WITH SCORE 2367697.358
AT ITER 551 NEW BEST:: SOT 4785723 SOS 2505205 HAS SOPS 2505205 HAS SOUS 2362953 HAS SOUPS 2362953 WITH SCORE 2365458.205
AT ITER 577 NEW BEST:: SOT 4785523 SOS 2505273 HAS SOPS 2505273 HAS SOUS 2362753 HAS SOUPS 2362753 WITH SCORE 2365258.273
AT ITER 578 NEW BEST:: SOT 4785934 SOS 2504328 HAS SOPS 2504328 HAS SOUS 2362631 HAS SOUPS 2362631 WITH SCORE 2365135.328
AT ITER 583 NEW BEST:: SOT 4784792 SOS 2503552 HAS SOPS 2503552 HAS SOUS 2361752 HAS SOUPS 2361752 WITH SCORE 2364255.552
AT ITER 584 NEW BEST:: SOT 4784792 SOS 2503215 HAS SOPS 2503215 HAS SOUS 2361752 HAS SOUPS 2361752 WITH SCORE 2364255.215
AT ITER 585 NEW BEST:: SOT 4784792 SOS 2502055 HAS SOPS 2502055 HAS SOUS 2361752 HAS SOUPS 2361752 WITH SCORE 2364254.055
AT ITER 586 NEW BEST:: SOT 4784540 SOS 2502001 HAS SOPS 2502001 HAS SOUS 2361596 HAS SOUPS 2361596 WITH SCORE 2364098.001
AT ITER 588 NEW BEST:: SOT 4784665 SOS 2502052 HAS SOPS 2502052 HAS SOUS 2361491 HAS SOUPS 2361491 WITH SCORE 2363993.052
AT ITER 589 NEW BEST:: SOT 4784665 SOS 2501579 HAS SOPS 2501579 HAS SOUS 2361491 HAS SOUPS 2361491 WITH SCORE 2363992.579
AT ITER 592 NEW BEST:: SOT 4782322 SOS 2502030 HAS SOPS 2502030 HAS SOUS 2359332 HAS SOUPS 2359332 WITH SCORE 2361834.03
AT ITER 601 NEW BEST:: SOT 4781806 SOS 2502514 HAS SOPS 2502514 HAS SOUS 2358865 HAS SOUPS 2358865 WITH SCORE 2361367.514
AT ITER 602 NEW BEST:: SOT 4781446 SOS 2502354 HAS SOPS 2502354 HAS SOUS 2358525 HAS SOUPS 2358525 WITH SCORE 2361027.354
AT ITER 605 NEW BEST:: SOT 4779842 SOS 2501768 HAS SOPS 2501768 HAS SOUS 2357351 HAS SOUPS 2357351 WITH SCORE 2359852.768
AT ITER 613 NEW BEST:: SOT 4779786 SOS 2503842 HAS SOPS 2503842 HAS SOUS 2357295 HAS SOUPS 2357295 WITH SCORE 2359798.842
AT ITER 618 NEW BEST:: SOT 4778492 SOS 2509757 HAS SOPS 2509757 HAS SOUS 2356071 HAS SOUPS 2356071 WITH SCORE 2358580.757
AT ITER 625 NEW BEST:: SOT 4775644 SOS 2511431 HAS SOPS 2511431 HAS SOUS 2355479 HAS SOUPS 2355479 WITH SCORE 2357990.431
AT ITER 633 NEW BEST:: SOT 4774792 SOS 2513460 HAS SOPS 2513460 HAS SOUS 2354975 HAS SOUPS 2354975 WITH SCORE 2357488.46
AT ITER 637 NEW BEST:: SOT 4773638 SOS 2512506 HAS SOPS 2512506 HAS SOUS 2353879 HAS SOUPS 2353879 WITH SCORE 2356391.506
AT ITER 640 NEW BEST:: SOT 4772294 SOS 2514988 HAS SOPS 2514988 HAS SOUS 2353203 HAS SOUPS 2353203 WITH SCORE 2355717.988
AT ITER 649 NEW BEST:: SOT 4770715 SOS 2513409 HAS SOPS 2513409 HAS SOUS 2351428 HAS SOUPS 2351428 WITH SCORE 2353941.409
AT ITER 656 NEW BEST:: SOT 4770043 SOS 2513252 HAS SOPS 2513252 HAS SOUS 2351331 HAS SOUPS 2351331 WITH SCORE 2353844.252
AT ITER 664 NEW BEST:: SOT 4770043 SOS 2512916 HAS SOPS 2512916 HAS SOUS 2351331 HAS SOUPS 2351331 WITH SCORE 2353843.916
AT ITER 668 NEW BEST:: SOT 4770043 SOS 2512571 HAS SOPS 2512571 HAS SOUS 2351331 HAS SOUPS 2351331 WITH SCORE 2353843.571
AT ITER 675 NEW BEST:: SOT 4770043 SOS 2512372 HAS SOPS 2512372 HAS SOUS 2351331 HAS SOUPS 2351331 WITH SCORE 2353843.372
AT ITER 678 NEW BEST:: SOT 4770043 SOS 2512369 HAS SOPS 2512369 HAS SOUS 2351331 HAS SOUPS 2351331 WITH SCORE 2353843.369
AT ITER 680 NEW BEST:: SOT 4769887 SOS 2513521 HAS SOPS 2513521 HAS SOUS 2351298 HAS SOUPS 2351298 WITH SCORE 2353811.521
AT ITER 686 NEW BEST:: SOT 4769623 SOS 2513161 HAS SOPS 2513161 HAS SOUS 2351034 HAS SOUPS 2351034 WITH SCORE 2353547.161
AT ITER 688 NEW BEST:: SOT 4769563 SOS 2513101 HAS SOPS 2513101 HAS SOUS 2350974 HAS SOUPS 2350974 WITH SCORE 2353487.101
AT ITER 689 NEW BEST:: SOT 4769366 SOS 2513025 HAS SOPS 2513025 HAS SOUS 2350898 HAS SOUPS 2350898 WITH SCORE 2353411.025
AT ITER 698 NEW BEST:: SOT 4769366 SOS 2512234 HAS SOPS 2512234 HAS SOUS 2350898 HAS SOUPS 2350898 WITH SCORE 2353410.234
AT ITER 706 NEW BEST:: SOT 4769366 SOS 2512205 HAS SOPS 2512205 HAS SOUS 2350898 HAS SOUPS 2350898 WITH SCORE 2353410.205
AT ITER 709 NEW BEST:: SOT 4769366 SOS 2510062 HAS SOPS 2510062 HAS SOUS 2350898 HAS SOUPS 2350898 WITH SCORE 2353408.062
AT ITER 713 NEW BEST:: SOT 4769366 SOS 2509895 HAS SOPS 2509895 HAS SOUS 2350898 HAS SOUPS 2350898 WITH SCORE 2353407.895
AT ITER 718 NEW BEST:: SOT 4769366 SOS 2509468 HAS SOPS 2509468 HAS SOUS 2350898 HAS SOUPS 2350898 WITH SCORE 2353407.468
AT ITER 720 NEW BEST:: SOT 4769073 SOS 2509190 HAS SOPS 2509190 HAS SOUS 2350764 HAS SOUPS 2350764 WITH SCORE 2353273.19
AT ITER 723 NEW BEST:: SOT 4767100 SOS 2507444 HAS SOPS 2507444 HAS SOUS 2348933 HAS SOUPS 2348933 WITH SCORE 2351440.444
AT ITER 726 NEW BEST:: SOT 4767100 SOS 2507092 HAS SOPS 2507092 HAS SOUS 2348581 HAS SOUPS 2348581 WITH SCORE 2351088.092
AT ITER 727 NEW BEST:: SOT 4766944 SOS 2507424 HAS SOPS 2507424 HAS SOUS 2348433 HAS SOUPS 2348433 WITH SCORE 2350940.424
AT ITER 729 NEW BEST:: SOT 4766620 SOS 2507437 HAS SOPS 2507437 HAS SOUS 2348124 HAS SOUPS 2348124 WITH SCORE 2350631.437
AT ITER 736 NEW BEST:: SOT 4764788 SOS 2515385 HAS SOPS 2515385 HAS SOUS 2347232 HAS SOUPS 2347232 WITH SCORE 2349747.385
AT ITER 737 NEW BEST:: SOT 4762512 SOS 2513502 HAS SOPS 2513502 HAS SOUS 2345131 HAS SOUPS 2345131 WITH SCORE 2347644.502
AT ITER 745 NEW BEST:: SOT 4762782 SOS 2509500 HAS SOPS 2509500 HAS SOUS 2344553 HAS SOUPS 2344553 WITH SCORE 2347062.5
AT ITER 756 NEW BEST:: SOT 4762782 SOS 2509180 HAS SOPS 2509180 HAS SOUS 2344553 HAS SOUPS 2344553 WITH SCORE 2347062.18
AT ITER 760 NEW BEST:: SOT 4762782 SOS 2508692 HAS SOPS 2508692 HAS SOUS 2344553 HAS SOUPS 2344553 WITH SCORE 2347061.692
AT ITER 764 NEW BEST:: SOT 4762782 SOS 2499591 HAS SOPS 2499591 HAS SOUS 2343756 HAS SOUPS 2343756 WITH SCORE 2346255.591
AT ITER 772 NEW BEST:: SOT 4762782 SOS 2500044 HAS SOPS 2500044 HAS SOUS 2343258 HAS SOUPS 2343258 WITH SCORE 2345758.044
AT ITER 774 NEW BEST:: SOT 4762782 SOS 2497711 HAS SOPS 2497711 HAS SOUS 2343070 HAS SOUPS 2343070 WITH SCORE 2345567.711
AT ITER 775 NEW BEST:: SOT 4762782 SOS 2497216 HAS SOPS 2497216 HAS SOUS 2343070 HAS SOUPS 2343070 WITH SCORE 2345567.216
AT ITER 778 NEW BEST:: SOT 4760474 SOS 2495401 HAS SOPS 2495401 HAS SOUS 2341101 HAS SOUPS 2341101 WITH SCORE 2343596.401
AT ITER 789 NEW BEST:: SOT 4760474 SOS 2494973 HAS SOPS 2494973 HAS SOUS 2341101 HAS SOUPS 2341101 WITH SCORE 2343595.973
AT ITER 791 NEW BEST:: SOT 4759994 SOS 2494908 HAS SOPS 2494908 HAS SOUS 2340767 HAS SOUPS 2340767 WITH SCORE 2343261.908
AT ITER 794 NEW BEST:: SOT 4759819 SOS 2494124 HAS SOPS 2494124 HAS SOUS 2340293 HAS SOUPS 2340293 WITH SCORE 2342787.124
AT ITER 795 NEW BEST:: SOT 4757761 SOS 2493337 HAS SOPS 2493337 HAS SOUS 2338324 HAS SOUPS 2338324 WITH SCORE 2340817.337
AT ITER 797 NEW BEST:: SOT 4757755 SOS 2493331 HAS SOPS 2493331 HAS SOUS 2338318 HAS SOUPS 2338318 WITH SCORE 2340811.331
AT ITER 798 NEW BEST:: SOT 4757873 SOS 2493385 HAS SOPS 2493385 HAS SOUS 2338252 HAS SOUPS 2338252 WITH SCORE 2340745.385
AT ITER 802 NEW BEST:: SOT 4757066 SOS 2492578 HAS SOPS 2492578 HAS SOUS 2337445 HAS SOUPS 2337445 WITH SCORE 2339937.578
AT ITER 804 NEW BEST:: SOT 4757066 SOS 2491804 HAS SOPS 2491804 HAS SOUS 2337445 HAS SOUPS 2337445 WITH SCORE 2339936.804
AT ITER 806 NEW BEST:: SOT 4755790 SOS 2491045 HAS SOPS 2491045 HAS SOUS 2336446 HAS SOUPS 2336446 WITH SCORE 2338937.045
AT ITER 811 NEW BEST:: SOT 4756149 SOS 2491404 HAS SOPS 2491404 HAS SOUS 2335677 HAS SOUPS 2335677 WITH SCORE 2338168.404
AT ITER 814 NEW BEST:: SOT 4756149 SOS 2490485 HAS SOPS 2490485 HAS SOUS 2335677 HAS SOUPS 2335677 WITH SCORE 2338167.485
AT ITER 816 NEW BEST:: SOT 4756149 SOS 2490353 HAS SOPS 2490353 HAS SOUS 2335677 HAS SOUPS 2335677 WITH SCORE 2338167.353
AT ITER 817 NEW BEST:: SOT 4755237 SOS 2490056 HAS SOPS 2490056 HAS SOUS 2335274 HAS SOUPS 2335274 WITH SCORE 2337764.056
AT ITER 818 NEW BEST:: SOT 4755314 SOS 2490062 HAS SOPS 2490062 HAS SOUS 2335088 HAS SOUPS 2335088 WITH SCORE 2337578.062
AT ITER 819 NEW BEST:: SOT 4755314 SOS 2489751 HAS SOPS 2489751 HAS SOUS 2335088 HAS SOUPS 2335088 WITH SCORE 2337577.751
AT ITER 820 NEW BEST:: SOT 4754743 SOS 2489367 HAS SOPS 2489367 HAS SOUS 2334632 HAS SOUPS 2334632 WITH SCORE 2337121.367
AT ITER 821 NEW BEST:: SOT 4754299 SOS 2488923 HAS SOPS 2488923 HAS SOUS 2334188 HAS SOUPS 2334188 WITH SCORE 2336676.923
AT ITER 827 NEW BEST:: SOT 4754154 SOS 2488778 HAS SOPS 2488778 HAS SOUS 2334015 HAS SOUPS 2334015 WITH SCORE 2336503.778
AT ITER 828 NEW BEST:: SOT 4754191 SOS 2488796 HAS SOPS 2488796 HAS SOUS 2333931 HAS SOUPS 2333931 WITH SCORE 2336419.796
AT ITER 830 NEW BEST:: SOT 4753569 SOS 2483373 HAS SOPS 2483373 HAS SOUS 2333058 HAS SOUPS 2333058 WITH SCORE 2335541.373
AT ITER 836 NEW BEST:: SOT 4753569 SOS 2483202 HAS SOPS 2483202 HAS SOUS 2333058 HAS SOUPS 2333058 WITH SCORE 2335541.202
AT ITER 843 NEW BEST:: SOT 4750858 SOS 2482909 HAS SOPS 2482909 HAS SOUS 2330908 HAS SOUPS 2330908 WITH SCORE 2333390.909
AT ITER 860 NEW BEST:: SOT 4750858 SOS 2482490 HAS SOPS 2482490 HAS SOUS 2330908 HAS SOUPS 2330908 WITH SCORE 2333390.49
AT ITER 861 NEW BEST:: SOT 4750627 SOS 2482259 HAS SOPS 2482259 HAS SOUS 2330524 HAS SOUPS 2330524 WITH SCORE 2333006.259
AT ITER 862 NEW BEST:: SOT 4750627 SOS 2481012 HAS SOPS 2481012 HAS SOUS 2330524 HAS SOUPS 2330524 WITH SCORE 2333005.012
AT ITER 863 NEW BEST:: SOT 4750519 SOS 2481588 HAS SOPS 2481588 HAS SOUS 2330416 HAS SOUPS 2330416 WITH SCORE 2332897.588
AT ITER 869 NEW BEST:: SOT 4750063 SOS 2486613 HAS SOPS 2486613 HAS SOUS 2330217 HAS SOUPS 2330217 WITH SCORE 2332703.613
AT ITER 874 NEW BEST:: SOT 4750227 SOS 2486747 HAS SOPS 2486747 HAS SOUS 2330195 HAS SOUPS 2330195 WITH SCORE 2332681.747
AT ITER 878 NEW BEST:: SOT 4748156 SOS 2485663 HAS SOPS 2485663 HAS SOUS 2328526 HAS SOUPS 2328526 WITH SCORE 2331011.663
AT ITER 882 NEW BEST:: SOT 4748156 SOS 2485346 HAS SOPS 2485346 HAS SOUS 2328510 HAS SOUPS 2328510 WITH SCORE 2330995.346
AT ITER 889 NEW BEST:: SOT 4748156 SOS 2484431 HAS SOPS 2484431 HAS SOUS 2328121 HAS SOUPS 2328121 WITH SCORE 2330605.431
AT ITER 894 NEW BEST:: SOT 4748156 SOS 2484298 HAS SOPS 2484298 HAS SOUS 2328121 HAS SOUPS 2328121 WITH SCORE 2330605.298
AT ITER 898 NEW BEST:: SOT 4748092 SOS 2484791 HAS SOPS 2484791 HAS SOUS 2328057 HAS SOUPS 2328057 WITH SCORE 2330541.791
AT ITER 899 NEW BEST:: SOT 4746478 SOS 2487558 HAS SOPS 2487558 HAS SOUS 2326755 HAS SOUPS 2326755 WITH SCORE 2329242.558
AT ITER 901 NEW BEST:: SOT 4746478 SOS 2487136 HAS SOPS 2487136 HAS SOUS 2326755 HAS SOUPS 2326755 WITH SCORE 2329242.136
AT ITER 906 NEW BEST:: SOT 4746478 SOS 2486790 HAS SOPS 2486790 HAS SOUS 2326755 HAS SOUPS 2326755 WITH SCORE 2329241.79
AT ITER 907 NEW BEST:: SOT 4746478 SOS 2486535 HAS SOPS 2486535 HAS SOUS 2326755 HAS SOUPS 2326755 WITH SCORE 2329241.535
AT ITER 918 NEW BEST:: SOT 4745810 SOS 2485867 HAS SOPS 2485867 HAS SOUS 2326010 HAS SOUPS 2326010 WITH SCORE 2328495.867
AT ITER 919 NEW BEST:: SOT 4744970 SOS 2485579 HAS SOPS 2485579 HAS SOUS 2325350 HAS SOUPS 2325350 WITH SCORE 2327835.579
AT ITER 930 NEW BEST:: SOT 4744970 SOS 2484884 HAS SOPS 2484884 HAS SOUS 2324655 HAS SOUPS 2324655 WITH SCORE 2327139.884
AT ITER 940 NEW BEST:: SOT 4744790 SOS 2485480 HAS SOPS 2485480 HAS SOUS 2324551 HAS SOUPS 2324551 WITH SCORE 2327036.48
AT ITER 945 NEW BEST:: SOT 4742576 SOS 2489835 HAS SOPS 2489835 HAS SOUS 2322672 HAS SOUPS 2322672 WITH SCORE 2325161.835
AT ITER 952 NEW BEST:: SOT 4742576 SOS 2489172 HAS SOPS 2489172 HAS SOUS 2322672 HAS SOUPS 2322672 WITH SCORE 2325161.172
AT ITER 953 NEW BEST:: SOT 4742347 SOS 2490891 HAS SOPS 2490891 HAS SOUS 2322443 HAS SOUPS 2322443 WITH SCORE 2324933.891
AT ITER 956 NEW BEST:: SOT 4742264 SOS 2490808 HAS SOPS 2490808 HAS SOUS 2322288 HAS SOUPS 2322288 WITH SCORE 2324778.808
AT ITER 958 NEW BEST:: SOT 4742111 SOS 2490709 HAS SOPS 2490709 HAS SOUS 2322189 HAS SOUPS 2322189 WITH SCORE 2324679.709
AT ITER 962 NEW BEST:: SOT 4741187 SOS 2493157 HAS SOPS 2493157 HAS SOUS 2321519 HAS SOUPS 2321519 WITH SCORE 2324012.157
AT ITER 964 NEW BEST:: SOT 4741187 SOS 2492738 HAS SOPS 2492738 HAS SOUS 2321519 HAS SOUPS 2321519 WITH SCORE 2324011.738
AT ITER 965 NEW BEST:: SOT 4740408 SOS 2496663 HAS SOPS 2496663 HAS SOUS 2321324 HAS SOUPS 2321324 WITH SCORE 2323820.663
AT ITER 968 NEW BEST:: SOT 4740096 SOS 2496421 HAS SOPS 2496421 HAS SOUS 2321200 HAS SOUPS 2321200 WITH SCORE 2323696.421
AT ITER 980 NEW BEST:: SOT 4738537 SOS 2496474 HAS SOPS 2496474 HAS SOUS 2321027 HAS SOUPS 2321027 WITH SCORE 2323523.474
AT ITER 983 NEW BEST:: SOT 4736383 SOS 2494545 HAS SOPS 2494545 HAS SOUS 2318966 HAS SOUPS 2318966 WITH SCORE 2321460.545
AT ITER 990 NEW BEST:: SOT 4736383 SOS 2494273 HAS SOPS 2494273 HAS SOUS 2318966 HAS SOUPS 2318966 WITH SCORE 2321460.273
AT ITER 996 NEW BEST:: SOT 4736343 SOS 2494233 HAS SOPS 2494233 HAS SOUS 2318758 HAS SOUPS 2318758 WITH SCORE 2321252.233
AT ITER 1005 NEW BEST:: SOT 4736343 SOS 2494217 HAS SOPS 2494217 HAS SOUS 2318742 HAS SOUPS 2318742 WITH SCORE 2321236.217
AT ITER 1009 NEW BEST:: SOT 4735477 SOS 2494339 HAS SOPS 2494339 HAS SOUS 2318102 HAS SOUPS 2318102 WITH SCORE 2320596.339
AT ITER 1010 NEW BEST:: SOT 4734842 SOS 2500796 HAS SOPS 2500796 HAS SOUS 2318050 HAS SOUPS 2318050 WITH SCORE 2320550.796
AT ITER 1018 NEW BEST:: SOT 4732769 SOS 2506380 HAS SOPS 2506380 HAS SOUS 2316309 HAS SOUPS 2316309 WITH SCORE 2318815.38
AT ITER 1021 NEW BEST:: SOT 4732769 SOS 2505669 HAS SOPS 2505669 HAS SOUS 2316309 HAS SOUPS 2316309 WITH SCORE 2318814.669
AT ITER 1026 NEW BEST:: SOT 4730793 SOS 2504340 HAS SOPS 2504340 HAS SOUS 2314745 HAS SOUPS 2314745 WITH SCORE 2317249.34
AT ITER 1029 NEW BEST:: SOT 4730785 SOS 2504451 HAS SOPS 2504451 HAS SOUS 2314700 HAS SOUPS 2314700 WITH SCORE 2317204.451
AT ITER 1035 NEW BEST:: SOT 4729630 SOS 2503296 HAS SOPS 2503296 HAS SOUS 2313545 HAS SOUPS 2313545 WITH SCORE 2316048.296
AT ITER 1045 NEW BEST:: SOT 4728848 SOS 2508678 HAS SOPS 2508678 HAS SOUS 2313466 HAS SOUPS 2313466 WITH SCORE 2315974.678
AT ITER 1047 NEW BEST:: SOT 4725947 SOS 2514256 HAS SOPS 2514256 HAS SOUS 2310807 HAS SOUPS 2310807 WITH SCORE 2313321.256
AT ITER 1049 NEW BEST:: SOT 4725947 SOS 2514061 HAS SOPS 2514061 HAS SOUS 2310807 HAS SOUPS 2310807 WITH SCORE 2313321.061
AT ITER 1050 NEW BEST:: SOT 4725947 SOS 2513536 HAS SOPS 2513536 HAS SOUS 2310807 HAS SOUPS 2310807 WITH SCORE 2313320.536
AT ITER 1058 NEW BEST:: SOT 4725439 SOS 2513028 HAS SOPS 2513028 HAS SOUS 2310164 HAS SOUPS 2310164 WITH SCORE 2312677.028
AT ITER 1061 NEW BEST:: SOT 4725439 SOS 2512052 HAS SOPS 2512052 HAS SOUS 2310164 HAS SOUPS 2310164 WITH SCORE 2312676.052
AT ITER 1062 NEW BEST:: SOT 4725439 SOS 2511712 HAS SOPS 2511712 HAS SOUS 2310164 HAS SOUPS 2310164 WITH SCORE 2312675.712
AT ITER 1065 NEW BEST:: SOT 4723753 SOS 2512559 HAS SOPS 2512559 HAS SOUS 2309307 HAS SOUPS 2309307 WITH SCORE 2311819.559
AT ITER 1074 NEW BEST:: SOT 4723753 SOS 2511819 HAS SOPS 2511819 HAS SOUS 2309307 HAS SOUPS 2309307 WITH SCORE 2311818.819
AT ITER 1078 NEW BEST:: SOT 4722503 SOS 2520202 HAS SOPS 2520202 HAS SOUS 2308792 HAS SOUPS 2308792 WITH SCORE 2311312.202
AT ITER 1084 NEW BEST:: SOT 4722503 SOS 2520037 HAS SOPS 2520037 HAS SOUS 2308792 HAS SOUPS 2308792 WITH SCORE 2311312.037
AT ITER 1085 NEW BEST:: SOT 4722878 SOS 2520037 HAS SOPS 2520037 HAS SOUS 2308744 HAS SOUPS 2308744 WITH SCORE 2311264.037
AT ITER 1095 NEW BEST:: SOT 4722878 SOS 2519681 HAS SOPS 2519681 HAS SOUS 2308744 HAS SOUPS 2308744 WITH SCORE 2311263.681
AT ITER 1099 NEW BEST:: SOT 4723037 SOS 2517795 HAS SOPS 2517795 HAS SOUS 2308600 HAS SOUPS 2308600 WITH SCORE 2311117.795
AT ITER 1104 NEW BEST:: SOT 4723325 SOS 2518521 HAS SOPS 2518521 HAS SOUS 2307968 HAS SOUPS 2307968 WITH SCORE 2310486.521
AT ITER 1107 NEW BEST:: SOT 4723325 SOS 2513280 HAS SOPS 2513280 HAS SOUS 2307715 HAS SOUPS 2307715 WITH SCORE 2310228.28
AT ITER 1110 NEW BEST:: SOT 4723722 SOS 2513046 HAS SOPS 2513046 HAS SOUS 2307657 HAS SOUPS 2307657 WITH SCORE 2310170.046
AT ITER 1112 NEW BEST:: SOT 4723722 SOS 2504684 HAS SOPS 2504684 HAS SOUS 2307657 HAS SOUPS 2307657 WITH SCORE 2310161.684
AT ITER 1115 NEW BEST:: SOT 4723722 SOS 2504392 HAS SOPS 2504392 HAS SOUS 2307365 HAS SOUPS 2307365 WITH SCORE 2309869.392
AT ITER 1117 NEW BEST:: SOT 4722602 SOS 2503477 HAS SOPS 2503477 HAS SOUS 2306245 HAS SOUPS 2306245 WITH SCORE 2308748.477
AT ITER 1118 NEW BEST:: SOT 4722602 SOS 2503338 HAS SOPS 2503338 HAS SOUS 2306245 HAS SOUPS 2306245 WITH SCORE 2308748.338
AT ITER 1121 NEW BEST:: SOT 4722602 SOS 2503255 HAS SOPS 2503255 HAS SOUS 2306245 HAS SOUPS 2306245 WITH SCORE 2308748.255
AT ITER 1122 NEW BEST:: SOT 4722602 SOS 2503104 HAS SOPS 2503104 HAS SOUS 2306245 HAS SOUPS 2306245 WITH SCORE 2308748.104
AT ITER 1125 NEW BEST:: SOT 4720182 SOS 2507873 HAS SOPS 2507873 HAS SOUS 2304079 HAS SOUPS 2304079 WITH SCORE 2306586.873
AT ITER 1131 NEW BEST:: SOT 4719916 SOS 2507645 HAS SOPS 2507645 HAS SOUS 2303813 HAS SOUPS 2303813 WITH SCORE 2306320.645
AT ITER 1142 NEW BEST:: SOT 4719376 SOS 2507159 HAS SOPS 2507159 HAS SOUS 2303327 HAS SOUPS 2303327 WITH SCORE 2305834.159
AT ITER 1144 NEW BEST:: SOT 4719376 SOS 2506867 HAS SOPS 2506867 HAS SOUS 2303035 HAS SOUPS 2303035 WITH SCORE 2305541.867
AT ITER 1147 NEW BEST:: SOT 4719376 SOS 2505888 HAS SOPS 2505888 HAS SOUS 2302930 HAS SOUPS 2302930 WITH SCORE 2305435.888
AT ITER 1149 NEW BEST:: SOT 4718319 SOS 2507688 HAS SOPS 2507688 HAS SOUS 2302675 HAS SOUPS 2302675 WITH SCORE 2305182.688
AT ITER 1156 NEW BEST:: SOT 4718248 SOS 2508134 HAS SOPS 2508134 HAS SOUS 2302581 HAS SOUPS 2302581 WITH SCORE 2305089.134
AT ITER 1157 NEW BEST:: SOT 4718248 SOS 2501031 HAS SOPS 2501031 HAS SOUS 2302010 HAS SOUPS 2302010 WITH SCORE 2304511.031
AT ITER 1162 NEW BEST:: SOT 4718248 SOS 2500999 HAS SOPS 2500999 HAS SOUS 2302010 HAS SOUPS 2302010 WITH SCORE 2304510.999
AT ITER 1168 NEW BEST:: SOT 4718248 SOS 2500363 HAS SOPS 2500363 HAS SOUS 2301813 HAS SOUPS 2301813 WITH SCORE 2304313.363
AT ITER 1179 NEW BEST:: SOT 4717536 SOS 2500800 HAS SOPS 2500800 HAS SOUS 2301463 HAS SOUPS 2301463 WITH SCORE 2303963.8
AT ITER 1182 NEW BEST:: SOT 4717714 SOS 2502203 HAS SOPS 2502203 HAS SOUS 2301425 HAS SOUPS 2301425 WITH SCORE 2303927.203
AT ITER 1183 NEW BEST:: SOT 4716694 SOS 2503344 HAS SOPS 2503344 HAS SOUS 2300652 HAS SOUPS 2300652 WITH SCORE 2303155.344
AT ITER 1196 NEW BEST:: SOT 4715864 SOS 2504843 HAS SOPS 2504843 HAS SOUS 2299904 HAS SOUPS 2299904 WITH SCORE 2302408.843
AT ITER 1210 NEW BEST:: SOT 4715520 SOS 2505803 HAS SOPS 2505803 HAS SOUS 2299675 HAS SOUPS 2299675 WITH SCORE 2302180.803
AT ITER 1212 NEW BEST:: SOT 4715171 SOS 2505739 HAS SOPS 2505739 HAS SOUS 2299450 HAS SOUPS 2299450 WITH SCORE 2301955.739
AT ITER 1215 NEW BEST:: SOT 4715171 SOS 2504625 HAS SOPS 2504625 HAS SOUS 2299450 HAS SOUPS 2299450 WITH SCORE 2301954.625
AT ITER 1219 NEW BEST:: SOT 4715171 SOS 2503742 HAS SOPS 2503742 HAS SOUS 2299450 HAS SOUPS 2299450 WITH SCORE 2301953.742
AT ITER 1220 NEW BEST:: SOT 4715171 SOS 2503633 HAS SOPS 2503633 HAS SOUS 2299450 HAS SOUPS 2299450 WITH SCORE 2301953.633
AT ITER 1228 NEW BEST:: SOT 4712703 SOS 2501990 HAS SOPS 2501990 HAS SOUS 2297707 HAS SOUPS 2297707 WITH SCORE 2300208.99
AT ITER 1230 NEW BEST:: SOT 4712703 SOS 2501930 HAS SOPS 2501930 HAS SOUS 2297707 HAS SOUPS 2297707 WITH SCORE 2300208.93
AT ITER 1234 NEW BEST:: SOT 4711469 SOS 2507968 HAS SOPS 2507968 HAS SOUS 2297424 HAS SOUPS 2297424 WITH SCORE 2299931.968
AT ITER 1235 NEW BEST:: SOT 4710161 SOS 2508608 HAS SOPS 2508608 HAS SOUS 2296259 HAS SOUPS 2296259 WITH SCORE 2298767.608
AT ITER 1238 NEW BEST:: SOT 4710141 SOS 2507808 HAS SOPS 2507808 HAS SOUS 2296125 HAS SOUPS 2296125 WITH SCORE 2298632.808
AT ITER 1239 NEW BEST:: SOT 4708689 SOS 2506356 HAS SOPS 2506356 HAS SOUS 2294738 HAS SOUPS 2294738 WITH SCORE 2297244.356
AT ITER 1240 NEW BEST:: SOT 4706019 SOS 2504201 HAS SOPS 2504201 HAS SOUS 2292370 HAS SOUPS 2292370 WITH SCORE 2294874.201
AT ITER 1242 NEW BEST:: SOT 4706019 SOS 2503553 HAS SOPS 2503553 HAS SOUS 2292241 HAS SOUPS 2292241 WITH SCORE 2294744.553
AT ITER 1251 NEW BEST:: SOT 4703945 SOS 2502068 HAS SOPS 2502068 HAS SOUS 2290167 HAS SOUPS 2290167 WITH SCORE 2292669.068
AT ITER 1252 NEW BEST:: SOT 4703945 SOS 2501766 HAS SOPS 2501766 HAS SOUS 2290167 HAS SOUPS 2290167 WITH SCORE 2292668.766
AT ITER 1253 NEW BEST:: SOT 4703322 SOS 2501143 HAS SOPS 2501143 HAS SOUS 2289304 HAS SOUPS 2289304 WITH SCORE 2291805.143
AT ITER 1255 NEW BEST:: SOT 4703322 SOS 2501056 HAS SOPS 2501056 HAS SOUS 2289304 HAS SOUPS 2289304 WITH SCORE 2291805.056
AT ITER 1259 NEW BEST:: SOT 4703322 SOS 2500643 HAS SOPS 2500643 HAS SOUS 2289304 HAS SOUPS 2289304 WITH SCORE 2291804.643
AT ITER 1267 NEW BEST:: SOT 4703322 SOS 2500207 HAS SOPS 2500207 HAS SOUS 2289304 HAS SOUPS 2289304 WITH SCORE 2291804.207
AT ITER 1269 NEW BEST:: SOT 4702626 SOS 2499936 HAS SOPS 2499936 HAS SOUS 2288874 HAS SOUPS 2288874 WITH SCORE 2291373.936
AT ITER 1270 NEW BEST:: SOT 4702254 SOS 2499936 HAS SOPS 2499936 HAS SOUS 2288502 HAS SOUPS 2288502 WITH SCORE 2291001.936
AT ITER 1273 NEW BEST:: SOT 4702254 SOS 2499696 HAS SOPS 2499696 HAS SOUS 2288502 HAS SOUPS 2288502 WITH SCORE 2291001.696
AT ITER 1281 NEW BEST:: SOT 4701330 SOS 2499268 HAS SOPS 2499268 HAS SOUS 2287904 HAS SOUPS 2287904 WITH SCORE 2290403.268
AT ITER 1284 NEW BEST:: SOT 4701423 SOS 2499196 HAS SOPS 2499196 HAS SOUS 2287555 HAS SOUPS 2287555 WITH SCORE 2290054.196
AT ITER 1286 NEW BEST:: SOT 4701423 SOS 2498748 HAS SOPS 2498748 HAS SOUS 2287107 HAS SOUPS 2287107 WITH SCORE 2289605.748
AT ITER 1287 NEW BEST:: SOT 4700931 SOS 2498681 HAS SOPS 2498681 HAS SOUS 2286850 HAS SOUPS 2286850 WITH SCORE 2289348.681
AT ITER 1289 NEW BEST:: SOT 4700931 SOS 2498681 HAS SOPS 2498681 HAS SOUS 2286768 HAS SOUPS 2286768 WITH SCORE 2289266.681
AT ITER 1299 NEW BEST:: SOT 4700931 SOS 2498660 HAS SOPS 2498660 HAS SOUS 2286747 HAS SOUPS 2286747 WITH SCORE 2289245.66
AT ITER 1305 NEW BEST:: SOT 4698414 SOS 2496329 HAS SOPS 2496329 HAS SOUS 2284669 HAS SOUPS 2284669 WITH SCORE 2287165.329
AT ITER 1314 NEW BEST:: SOT 4698144 SOS 2496272 HAS SOPS 2496272 HAS SOUS 2284612 HAS SOUPS 2284612 WITH SCORE 2287108.272
AT ITER 1316 NEW BEST:: SOT 4697693 SOS 2495821 HAS SOPS 2495821 HAS SOUS 2284161 HAS SOUPS 2284161 WITH SCORE 2286656.821
AT ITER 1326 NEW BEST:: SOT 4697089 SOS 2495799 HAS SOPS 2495799 HAS SOUS 2283587 HAS SOUPS 2283587 WITH SCORE 2286082.799
AT ITER 1329 NEW BEST:: SOT 4697089 SOS 2495377 HAS SOPS 2495377 HAS SOUS 2283354 HAS SOUPS 2283354 WITH SCORE 2285849.377
AT ITER 1335 NEW BEST:: SOT 4697089 SOS 2494407 HAS SOPS 2494407 HAS SOUS 2283227 HAS SOUPS 2283227 WITH SCORE 2285721.407
AT ITER 1341 NEW BEST:: SOT 4695731 SOS 2494902 HAS SOPS 2494902 HAS SOUS 2282154 HAS SOUPS 2282154 WITH SCORE 2284648.902
AT ITER 1348 NEW BEST:: SOT 4695731 SOS 2494614 HAS SOPS 2494614 HAS SOUS 2282154 HAS SOUPS 2282154 WITH SCORE 2284648.614
AT ITER 1349 NEW BEST:: SOT 4695731 SOS 2494121 HAS SOPS 2494121 HAS SOUS 2282154 HAS SOUPS 2282154 WITH SCORE 2284648.121
AT ITER 1356 NEW BEST:: SOT 4695731 SOS 2493525 HAS SOPS 2493525 HAS SOUS 2282154 HAS SOUPS 2282154 WITH SCORE 2284647.525
AT ITER 1361 NEW BEST:: SOT 4695731 SOS 2493517 HAS SOPS 2493517 HAS SOUS 2282154 HAS SOUPS 2282154 WITH SCORE 2284647.517
AT ITER 1362 NEW BEST:: SOT 4695765 SOS 2493486 HAS SOPS 2493486 HAS SOUS 2282105 HAS SOUPS 2282105 WITH SCORE 2284598.486
AT ITER 1365 NEW BEST:: SOT 4695170 SOS 2493185 HAS SOPS 2493185 HAS SOUS 2281534 HAS SOUPS 2281534 WITH SCORE 2284027.185
AT ITER 1371 NEW BEST:: SOT 4693901 SOS 2497242 HAS SOPS 2497242 HAS SOUS 2281198 HAS SOUPS 2281198 WITH SCORE 2283695.242
AT ITER 1372 NEW BEST:: SOT 4692826 SOS 2498890 HAS SOPS 2498890 HAS SOUS 2281125 HAS SOUPS 2281125 WITH SCORE 2283623.89
AT ITER 1375 NEW BEST:: SOT 4690386 SOS 2502628 HAS SOPS 2502628 HAS SOUS 2279330 HAS SOUPS 2279330 WITH SCORE 2281832.628
AT ITER 1378 NEW BEST:: SOT 4690430 SOS 2502384 HAS SOPS 2502384 HAS SOUS 2279284 HAS SOUPS 2279284 WITH SCORE 2281786.384
AT ITER 1393 NEW BEST:: SOT 4689769 SOS 2502490 HAS SOPS 2502490 HAS SOUS 2278862 HAS SOUPS 2278862 WITH SCORE 2281364.49
AT ITER 1407 NEW BEST:: SOT 4687356 SOS 2501605 HAS SOPS 2501605 HAS SOUS 2277135 HAS SOUPS 2277135 WITH SCORE 2279636.605
AT ITER 1408 NEW BEST:: SOT 4687591 SOS 2501492 HAS SOPS 2501492 HAS SOUS 2277007 HAS SOUPS 2277007 WITH SCORE 2279508.492
AT ITER 1411 NEW BEST:: SOT 4686071 SOS 2509712 HAS SOPS 2509712 HAS SOUS 2275897 HAS SOUPS 2275897 WITH SCORE 2278406.712
AT ITER 1416 NEW BEST:: SOT 4683302 SOS 2517622 HAS SOPS 2517622 HAS SOUS 2273580 HAS SOUPS 2273580 WITH SCORE 2276097.622
AT ITER 1421 NEW BEST:: SOT 4683414 SOS 2517648 HAS SOPS 2517648 HAS SOUS 2273474 HAS SOUPS 2273474 WITH SCORE 2275991.648
AT ITER 1424 NEW BEST:: SOT 4682442 SOS 2519439 HAS SOPS 2519439 HAS SOUS 2272634 HAS SOUPS 2272634 WITH SCORE 2275153.439
AT ITER 1425 NEW BEST:: SOT 4682268 SOS 2518953 HAS SOPS 2518953 HAS SOUS 2272028 HAS SOUPS 2272028 WITH SCORE 2274546.953
AT ITER 1426 NEW BEST:: SOT 4682268 SOS 2512903 HAS SOPS 2512903 HAS SOUS 2272028 HAS SOUPS 2272028 WITH SCORE 2274540.903
AT ITER 1427 NEW BEST:: SOT 4681038 SOS 2513140 HAS SOPS 2513140 HAS SOUS 2271203 HAS SOUPS 2271203 WITH SCORE 2273716.14
AT ITER 1428 NEW BEST:: SOT 4681038 SOS 2512747 HAS SOPS 2512747 HAS SOUS 2271203 HAS SOUPS 2271203 WITH SCORE 2273715.747
AT ITER 1434 NEW BEST:: SOT 4681038 SOS 2512726 HAS SOPS 2512726 HAS SOUS 2271203 HAS SOUPS 2271203 WITH SCORE 2273715.726
AT ITER 1437 NEW BEST:: SOT 4678917 SOS 2511409 HAS SOPS 2511409 HAS SOUS 2269169 HAS SOUPS 2269169 WITH SCORE 2271680.409
AT ITER 1445 NEW BEST:: SOT 4677295 SOS 2510481 HAS SOPS 2510481 HAS SOUS 2268175 HAS SOUPS 2268175 WITH SCORE 2270685.481
AT ITER 1446 NEW BEST:: SOT 4674885 SOS 2509715 HAS SOPS 2509715 HAS SOUS 2266285 HAS SOUPS 2266285 WITH SCORE 2268794.715
AT ITER 1448 NEW BEST:: SOT 4674885 SOS 2509033 HAS SOPS 2509033 HAS SOUS 2266285 HAS SOUPS 2266285 WITH SCORE 2268794.033
AT ITER 1452 NEW BEST:: SOT 4674740 SOS 2509031 HAS SOPS 2509031 HAS SOUS 2265988 HAS SOUPS 2265988 WITH SCORE 2268497.031
AT ITER 1455 NEW BEST:: SOT 4674740 SOS 2508783 HAS SOPS 2508783 HAS SOUS 2265988 HAS SOUPS 2265988 WITH SCORE 2268496.783
AT ITER 1456 NEW BEST:: SOT 4674798 SOS 2508157 HAS SOPS 2508157 HAS SOUS 2265790 HAS SOUPS 2265790 WITH SCORE 2268298.157
AT ITER 1464 NEW BEST:: SOT 4674678 SOS 2508073 HAS SOPS 2508073 HAS SOUS 2265706 HAS SOUPS 2265706 WITH SCORE 2268214.073
AT ITER 1465 NEW BEST:: SOT 4672236 SOS 2520546 HAS SOPS 2520546 HAS SOUS 2263854 HAS SOUPS 2263854 WITH SCORE 2266374.546
AT ITER 1496 NEW BEST:: SOT 4672161 SOS 2520471 HAS SOPS 2520471 HAS SOUS 2263779 HAS SOUPS 2263779 WITH SCORE 2266299.471
AT ITER 1504 NEW BEST:: SOT 4672122 SOS 2520432 HAS SOPS 2520432 HAS SOUS 2263740 HAS SOUPS 2263740 WITH SCORE 2266260.432
AT ITER 1512 NEW BEST:: SOT 4672081 SOS 2520164 HAS SOPS 2520164 HAS SOUS 2263607 HAS SOUPS 2263607 WITH SCORE 2266127.164
AT ITER 1518 NEW BEST:: SOT 4672081 SOS 2519681 HAS SOPS 2519681 HAS SOUS 2263607 HAS SOUPS 2263607 WITH SCORE 2266126.681
AT ITER 1523 NEW BEST:: SOT 4672081 SOS 2519526 HAS SOPS 2519526 HAS SOUS 2263607 HAS SOUPS 2263607 WITH SCORE 2266126.526
AT ITER 1527 NEW BEST:: SOT 4672198 SOS 2519555 HAS SOPS 2519555 HAS SOUS 2263516 HAS SOUPS 2263516 WITH SCORE 2266035.555
AT ITER 1532 NEW BEST:: SOT 4672198 SOS 2515012 HAS SOPS 2515012 HAS SOUS 2263381 HAS SOUPS 2263381 WITH SCORE 2265896.012
AT ITER 1533 NEW BEST:: SOT 4672198 SOS 2515002 HAS SOPS 2515002 HAS SOUS 2263381 HAS SOUPS 2263381 WITH SCORE 2265896.002
AT ITER 1541 NEW BEST:: SOT 4671629 SOS 2514758 HAS SOPS 2514758 HAS SOUS 2263137 HAS SOUPS 2263137 WITH SCORE 2265651.758
AT ITER 1543 NEW BEST:: SOT 4671629 SOS 2515090 HAS SOPS 2515090 HAS SOUS 2263049 HAS SOUPS 2263049 WITH SCORE 2265564.09
AT ITER 1544 NEW BEST:: SOT 4671057 SOS 2516794 HAS SOPS 2516794 HAS SOUS 2262978 HAS SOUPS 2262978 WITH SCORE 2265494.794
AT ITER 1546 NEW BEST:: SOT 4671327 SOS 2517316 HAS SOPS 2517316 HAS SOUS 2262962 HAS SOUPS 2262962 WITH SCORE 2265479.316
AT ITER 1551 NEW BEST:: SOT 4669674 SOS 2517105 HAS SOPS 2517105 HAS SOUS 2262390 HAS SOUPS 2262390 WITH SCORE 2264907.105
AT ITER 1560 NEW BEST:: SOT 4669674 SOS 2516964 HAS SOPS 2516964 HAS SOUS 2262390 HAS SOUPS 2262390 WITH SCORE 2264906.964
AT ITER 1583 NEW BEST:: SOT 4669628 SOS 2516848 HAS SOPS 2516848 HAS SOUS 2262298 HAS SOUPS 2262298 WITH SCORE 2264814.848
AT ITER 1584 NEW BEST:: SOT 4669628 SOS 2516247 HAS SOPS 2516247 HAS SOUS 2262232 HAS SOUPS 2262232 WITH SCORE 2264748.247
AT ITER 1589 NEW BEST:: SOT 4667425 SOS 2515110 HAS SOPS 2515110 HAS SOUS 2260636 HAS SOUPS 2260636 WITH SCORE 2263151.11
AT ITER 1590 NEW BEST:: SOT 4667425 SOS 2511422 HAS SOPS 2511422 HAS SOUS 2260486 HAS SOUPS 2260486 WITH SCORE 2262997.422
AT ITER 1591 NEW BEST:: SOT 4665658 SOS 2517887 HAS SOPS 2517887 HAS SOUS 2259261 HAS SOUPS 2259261 WITH SCORE 2261778.887
AT ITER 1594 NEW BEST:: SOT 4665880 SOS 2518582 HAS SOPS 2518582 HAS SOUS 2259097 HAS SOUPS 2259097 WITH SCORE 2261615.582
AT ITER 1595 NEW BEST:: SOT 4666012 SOS 2518652 HAS SOPS 2518652 HAS SOUS 2259059 HAS SOUPS 2259059 WITH SCORE 2261577.652
AT ITER 1607 NEW BEST:: SOT 4665296 SOS 2521626 HAS SOPS 2521626 HAS SOUS 2258400 HAS SOUPS 2258400 WITH SCORE 2260921.626
AT ITER 1619 NEW BEST:: SOT 4665380 SOS 2521611 HAS SOPS 2521611 HAS SOUS 2258253 HAS SOUPS 2258253 WITH SCORE 2260774.611
AT ITER 1620 NEW BEST:: SOT 4664336 SOS 2521138 HAS SOPS 2521138 HAS SOUS 2257381 HAS SOUPS 2257381 WITH SCORE 2259902.138
AT ITER 1623 NEW BEST:: SOT 4664336 SOS 2520574 HAS SOPS 2520574 HAS SOUS 2257258 HAS SOUPS 2257258 WITH SCORE 2259778.574
AT ITER 1629 NEW BEST:: SOT 4663897 SOS 2520135 HAS SOPS 2520135 HAS SOUS 2256747 HAS SOUPS 2256747 WITH SCORE 2259267.135
AT ITER 1632 NEW BEST:: SOT 4663322 SOS 2519966 HAS SOPS 2519966 HAS SOUS 2256578 HAS SOUPS 2256578 WITH SCORE 2259097.966
AT ITER 1638 NEW BEST:: SOT 4663141 SOS 2519629 HAS SOPS 2519629 HAS SOUS 2256168 HAS SOUPS 2256168 WITH SCORE 2258687.629
AT ITER 1640 NEW BEST:: SOT 4662838 SOS 2519326 HAS SOPS 2519326 HAS SOUS 2255778 HAS SOUPS 2255778 WITH SCORE 2258297.326
AT ITER 1644 NEW BEST:: SOT 4662838 SOS 2519018 HAS SOPS 2519018 HAS SOUS 2255470 HAS SOUPS 2255470 WITH SCORE 2257989.018
AT ITER 1645 NEW BEST:: SOT 4662838 SOS 2518815 HAS SOPS 2518815 HAS SOUS 2255470 HAS SOUPS 2255470 WITH SCORE 2257988.815
AT ITER 1646 NEW BEST:: SOT 4662838 SOS 2518741 HAS SOPS 2518741 HAS SOUS 2255470 HAS SOUPS 2255470 WITH SCORE 2257988.741
AT ITER 1653 NEW BEST:: SOT 4662920 SOS 2518734 HAS SOPS 2518734 HAS SOUS 2255355 HAS SOUPS 2255355 WITH SCORE 2257873.734
AT ITER 1663 NEW BEST:: SOT 4663082 SOS 2518398 HAS SOPS 2518398 HAS SOUS 2255137 HAS SOUPS 2255137 WITH SCORE 2257655.398
AT ITER 1666 NEW BEST:: SOT 4662804 SOS 2517975 HAS SOPS 2517975 HAS SOUS 2254811 HAS SOUPS 2254811 WITH SCORE 2257328.975
AT ITER 1671 NEW BEST:: SOT 4662125 SOS 2520176 HAS SOPS 2520176 HAS SOUS 2254665 HAS SOUPS 2254665 WITH SCORE 2257185.176
AT ITER 1672 NEW BEST:: SOT 4661931 SOS 2520004 HAS SOPS 2520004 HAS SOUS 2254419 HAS SOUPS 2254419 WITH SCORE 2256939.004
AT ITER 1676 NEW BEST:: SOT 4660161 SOS 2518816 HAS SOPS 2518816 HAS SOUS 2253167 HAS SOUPS 2253167 WITH SCORE 2255685.816
AT ITER 1677 NEW BEST:: SOT 4660084 SOS 2519023 HAS SOPS 2519023 HAS SOUS 2253104 HAS SOUPS 2253104 WITH SCORE 2255623.023
AT ITER 1687 NEW BEST:: SOT 4660084 SOS 2519023 HAS SOPS 2519023 HAS SOUS 2253096 HAS SOUPS 2253096 WITH SCORE 2255615.023
AT ITER 1697 NEW BEST:: SOT 4660084 SOS 2518907 HAS SOPS 2518907 HAS SOUS 2253096 HAS SOUPS 2253096 WITH SCORE 2255614.907
AT ITER 1701 NEW BEST:: SOT 4660084 SOS 2518637 HAS SOPS 2518637 HAS SOUS 2252826 HAS SOUPS 2252826 WITH SCORE 2255344.637
AT ITER 1703 NEW BEST:: SOT 4660084 SOS 2512607 HAS SOPS 2512607 HAS SOUS 2252826 HAS SOUPS 2252826 WITH SCORE 2255338.607
AT ITER 1709 NEW BEST:: SOT 4657615 SOS 2514869 HAS SOPS 2514869 HAS SOUS 2252361 HAS SOUPS 2252361 WITH SCORE 2254875.869
AT ITER 1714 NEW BEST:: SOT 4657615 SOS 2514392 HAS SOPS 2514392 HAS SOUS 2252361 HAS SOUPS 2252361 WITH SCORE 2254875.392
AT ITER 1726 NEW BEST:: SOT 4657615 SOS 2513971 HAS SOPS 2513971 HAS SOUS 2252361 HAS SOUPS 2252361 WITH SCORE 2254874.971
AT ITER 1727 NEW BEST:: SOT 4657391 SOS 2513878 HAS SOPS 2513878 HAS SOUS 2252268 HAS SOUPS 2252268 WITH SCORE 2254781.878
AT ITER 1729 NEW BEST:: SOT 4657391 SOS 2513795 HAS SOPS 2513795 HAS SOUS 2252268 HAS SOUPS 2252268 WITH SCORE 2254781.795
AT ITER 1733 NEW BEST:: SOT 4657391 SOS 2513692 HAS SOPS 2513692 HAS SOUS 2252220 HAS SOUPS 2252220 WITH SCORE 2254733.692
AT ITER 1736 NEW BEST:: SOT 4657391 SOS 2513325 HAS SOPS 2513325 HAS SOUS 2252220 HAS SOUPS 2252220 WITH SCORE 2254733.325
AT ITER 1739 NEW BEST:: SOT 4656099 SOS 2512493 HAS SOPS 2512493 HAS SOUS 2252168 HAS SOUPS 2252168 WITH SCORE 2254680.493
AT ITER 1743 NEW BEST:: SOT 4654721 SOS 2513659 HAS SOPS 2513659 HAS SOUS 2251517 HAS SOUPS 2251517 WITH SCORE 2254030.659
AT ITER 1746 NEW BEST:: SOT 4653894 SOS 2512937 HAS SOPS 2512937 HAS SOUS 2250795 HAS SOUPS 2250795 WITH SCORE 2253307.937
AT ITER 1749 NEW BEST:: SOT 4653894 SOS 2512804 HAS SOPS 2512804 HAS SOUS 2250795 HAS SOUPS 2250795 WITH SCORE 2253307.804
AT ITER 1757 NEW BEST:: SOT 4653463 SOS 2513926 HAS SOPS 2513926 HAS SOUS 2250364 HAS SOUPS 2250364 WITH SCORE 2252877.926
AT ITER 1759 NEW BEST:: SOT 4653709 SOS 2513937 HAS SOPS 2513937 HAS SOUS 2250291 HAS SOUPS 2250291 WITH SCORE 2252804.937
AT ITER 1764 NEW BEST:: SOT 4652472 SOS 2513771 HAS SOPS 2513771 HAS SOUS 2249779 HAS SOUPS 2249779 WITH SCORE 2252292.771
AT ITER 1770 NEW BEST:: SOT 4652637 SOS 2513492 HAS SOPS 2513492 HAS SOUS 2249722 HAS SOUPS 2249722 WITH SCORE 2252235.492
AT ITER 1779 NEW BEST:: SOT 4652637 SOS 2513438 HAS SOPS 2513438 HAS SOUS 2249722 HAS SOUPS 2249722 WITH SCORE 2252235.438
AT ITER 1780 NEW BEST:: SOT 4652510 SOS 2513667 HAS SOPS 2513667 HAS SOUS 2249645 HAS SOUPS 2249645 WITH SCORE 2252158.667
AT ITER 1784 NEW BEST:: SOT 4651199 SOS 2512600 HAS SOPS 2512600 HAS SOUS 2248334 HAS SOUPS 2248334 WITH SCORE 2250846.6
AT ITER 1788 NEW BEST:: SOT 4650717 SOS 2513760 HAS SOPS 2513760 HAS SOUS 2248076 HAS SOUPS 2248076 WITH SCORE 2250589.76
AT ITER 1793 NEW BEST:: SOT 4648718 SOS 2512766 HAS SOPS 2512766 HAS SOUS 2246364 HAS SOUPS 2246364 WITH SCORE 2248876.766
AT ITER 1802 NEW BEST:: SOT 4646740 SOS 2514093 HAS SOPS 2514093 HAS SOUS 2244745 HAS SOUPS 2244745 WITH SCORE 2247259.093
AT ITER 1803 NEW BEST:: SOT 4644850 SOS 2512559 HAS SOPS 2512559 HAS SOUS 2243057 HAS SOUPS 2243057 WITH SCORE 2245569.559
AT ITER 1804 NEW BEST:: SOT 4644850 SOS 2512347 HAS SOPS 2512347 HAS SOUS 2243018 HAS SOUPS 2243018 WITH SCORE 2245530.347
AT ITER 1806 NEW BEST:: SOT 4644850 SOS 2512339 HAS SOPS 2512339 HAS SOUS 2243018 HAS SOUPS 2243018 WITH SCORE 2245530.339
AT ITER 1808 NEW BEST:: SOT 4644850 SOS 2512246 HAS SOPS 2512246 HAS SOUS 2243018 HAS SOUPS 2243018 WITH SCORE 2245530.246
AT ITER 1812 NEW BEST:: SOT 4643571 SOS 2511718 HAS SOPS 2511718 HAS SOUS 2241916 HAS SOUPS 2241916 WITH SCORE 2244427.718
AT ITER 1814 NEW BEST:: SOT 4643571 SOS 2511416 HAS SOPS 2511416 HAS SOUS 2241916 HAS SOUPS 2241916 WITH SCORE 2244427.416
AT ITER 1816 NEW BEST:: SOT 4643571 SOS 2510775 HAS SOPS 2510775 HAS SOUS 2241916 HAS SOUPS 2241916 WITH SCORE 2244426.775
AT ITER 1819 NEW BEST:: SOT 4643571 SOS 2510648 HAS SOPS 2510648 HAS SOUS 2241916 HAS SOUPS 2241916 WITH SCORE 2244426.648
AT ITER 1821 NEW BEST:: SOT 4643571 SOS 2510379 HAS SOPS 2510379 HAS SOUS 2241916 HAS SOUPS 2241916 WITH SCORE 2244426.379
AT ITER 1822 NEW BEST:: SOT 4643571 SOS 2509748 HAS SOPS 2509748 HAS SOUS 2241916 HAS SOUPS 2241916 WITH SCORE 2244425.748
AT ITER 1824 NEW BEST:: SOT 4643571 SOS 2509228 HAS SOPS 2509228 HAS SOUS 2241916 HAS SOUPS 2241916 WITH SCORE 2244425.228
AT ITER 1831 NEW BEST:: SOT 4642832 SOS 2508723 HAS SOPS 2508723 HAS SOUS 2241502 HAS SOUPS 2241502 WITH SCORE 2244010.723
AT ITER 1835 NEW BEST:: SOT 4640488 SOS 2512480 HAS SOPS 2512480 HAS SOUS 2240838 HAS SOUPS 2240838 WITH SCORE 2243350.48
AT ITER 1840 NEW BEST:: SOT 4640488 SOS 2512269 HAS SOPS 2512269 HAS SOUS 2240838 HAS SOUPS 2240838 WITH SCORE 2243350.269
AT ITER 1841 NEW BEST:: SOT 4640320 SOS 2512183 HAS SOPS 2512183 HAS SOUS 2240630 HAS SOUPS 2240630 WITH SCORE 2243142.183
AT ITER 1851 NEW BEST:: SOT 4640740 SOS 2512325 HAS SOPS 2512325 HAS SOUS 2240474 HAS SOUPS 2240474 WITH SCORE 2242986.325
AT ITER 1863 NEW BEST:: SOT 4639048 SOS 2510837 HAS SOPS 2510837 HAS SOUS 2238902 HAS SOUPS 2238902 WITH SCORE 2241412.837
AT ITER 1869 NEW BEST:: SOT 4635002 SOS 2509622 HAS SOPS 2509622 HAS SOUS 2236909 HAS SOUPS 2236909 WITH SCORE 2239418.622
AT ITER 1876 NEW BEST:: SOT 4632346 SOS 2509180 HAS SOPS 2509180 HAS SOUS 2235699 HAS SOUPS 2235699 WITH SCORE 2238208.18
AT ITER 1883 NEW BEST:: SOT 4632346 SOS 2509162 HAS SOPS 2509162 HAS SOUS 2235699 HAS SOUPS 2235699 WITH SCORE 2238208.162
AT ITER 1890 NEW BEST:: SOT 4630264 SOS 2508335 HAS SOPS 2508335 HAS SOUS 2234333 HAS SOUPS 2234333 WITH SCORE 2236841.335
AT ITER 1892 NEW BEST:: SOT 4627569 SOS 2506865 HAS SOPS 2506865 HAS SOUS 2231721 HAS SOUPS 2231721 WITH SCORE 2234227.865
AT ITER 1900 NEW BEST:: SOT 4627876 SOS 2507490 HAS SOPS 2507490 HAS SOUS 2231417 HAS SOUPS 2231417 WITH SCORE 2233924.49
AT ITER 1913 NEW BEST:: SOT 4627876 SOS 2501684 HAS SOPS 2501684 HAS SOUS 2230954 HAS SOUPS 2230954 WITH SCORE 2233455.684
AT ITER 1914 NEW BEST:: SOT 4625698 SOS 2508418 HAS SOPS 2508418 HAS SOUS 2230790 HAS SOUPS 2230790 WITH SCORE 2233298.418
AT ITER 1925 NEW BEST:: SOT 4625698 SOS 2508208 HAS SOPS 2508208 HAS SOUS 2230790 HAS SOUPS 2230790 WITH SCORE 2233298.208
AT ITER 1927 NEW BEST:: SOT 4621643 SOS 2504535 HAS SOPS 2504535 HAS SOUS 2227323 HAS SOUPS 2227323 WITH SCORE 2229827.535
AT ITER 1929 NEW BEST:: SOT 4620081 SOS 2492097 HAS SOPS 2492097 HAS SOUS 2226031 HAS SOUPS 2226031 WITH SCORE 2228523.097
AT ITER 1933 NEW BEST:: SOT 4620081 SOS 2491623 HAS SOPS 2491623 HAS SOUS 2226031 HAS SOUPS 2226031 WITH SCORE 2228522.623
AT ITER 1934 NEW BEST:: SOT 4619872 SOS 2491453 HAS SOPS 2491453 HAS SOUS 2225992 HAS SOUPS 2225992 WITH SCORE 2228483.453
AT ITER 1936 NEW BEST:: SOT 4619872 SOS 2491160 HAS SOPS 2491160 HAS SOUS 2225992 HAS SOUPS 2225992 WITH SCORE 2228483.16
AT ITER 1950 NEW BEST:: SOT 4619872 SOS 2487940 HAS SOPS 2487940 HAS SOUS 2225924 HAS SOUPS 2225924 WITH SCORE 2228411.94
AT ITER 1957 NEW BEST:: SOT 4619987 SOS 2487930 HAS SOPS 2487930 HAS SOUS 2225866 HAS SOUPS 2225866 WITH SCORE 2228353.93
AT ITER 1965 NEW BEST:: SOT 4619987 SOS 2487930 HAS SOPS 2487930 HAS SOUS 2225693 HAS SOUPS 2225693 WITH SCORE 2228180.93
AT ITER 1967 NEW BEST:: SOT 4619987 SOS 2487872 HAS SOPS 2487872 HAS SOUS 2225682 HAS SOUPS 2225682 WITH SCORE 2228169.872
AT ITER 1970 NEW BEST:: SOT 4620105 SOS 2487806 HAS SOPS 2487806 HAS SOUS 2225565 HAS SOUPS 2225565 WITH SCORE 2228052.806
AT ITER 1972 NEW BEST:: SOT 4620105 SOS 2487600 HAS SOPS 2487600 HAS SOUS 2225565 HAS SOUPS 2225565 WITH SCORE 2228052.6
AT ITER 1973 NEW BEST:: SOT 4620105 SOS 2487600 HAS SOPS 2487600 HAS SOUS 2225505 HAS SOUPS 2225505 WITH SCORE 2227992.6
AT ITER 1974 NEW BEST:: SOT 4620105 SOS 2487241 HAS SOPS 2487241 HAS SOUS 2225423 HAS SOUPS 2225423 WITH SCORE 2227910.241
AT ITER 1975 NEW BEST:: SOT 4620105 SOS 2487125 HAS SOPS 2487125 HAS SOUS 2225423 HAS SOUPS 2225423 WITH SCORE 2227910.125
AT ITER 1978 NEW BEST:: SOT 4618345 SOS 2485541 HAS SOPS 2485541 HAS SOUS 2223839 HAS SOUPS 2223839 WITH SCORE 2226324.541
AT ITER 1982 NEW BEST:: SOT 4617737 SOS 2490298 HAS SOPS 2490298 HAS SOUS 2223317 HAS SOUPS 2223317 WITH SCORE 2225807.298
AT ITER 1983 NEW BEST:: SOT 4617918 SOS 2490479 HAS SOPS 2490479 HAS SOUS 2222968 HAS SOUPS 2222968 WITH SCORE 2225458.479
AT ITER 1991 NEW BEST:: SOT 4617432 SOS 2489993 HAS SOPS 2489993 HAS SOUS 2222482 HAS SOUPS 2222482 WITH SCORE 2224971.993
AT ITER 2001 NEW BEST:: SOT 4617432 SOS 2489852 HAS SOPS 2489852 HAS SOUS 2222482 HAS SOUPS 2222482 WITH SCORE 2224971.852
AT ITER 2003 NEW BEST:: SOT 4616349 SOS 2489186 HAS SOPS 2489186 HAS SOUS 2221816 HAS SOUPS 2221816 WITH SCORE 2224305.186
AT ITER 2011 NEW BEST:: SOT 4616349 SOS 2488976 HAS SOPS 2488976 HAS SOUS 2221816 HAS SOUPS 2221816 WITH SCORE 2224304.976
AT ITER 2018 NEW BEST:: SOT 4616349 SOS 2489941 HAS SOPS 2489941 HAS SOUS 2221650 HAS SOUPS 2221650 WITH SCORE 2224139.941
AT ITER 2029 NEW BEST:: SOT 4615180 SOS 2490436 HAS SOPS 2490436 HAS SOUS 2221345 HAS SOUPS 2221345 WITH SCORE 2223835.436
AT ITER 2032 NEW BEST:: SOT 4615180 SOS 2490395 HAS SOPS 2490395 HAS SOUS 2221345 HAS SOUPS 2221345 WITH SCORE 2223835.395
AT ITER 2033 NEW BEST:: SOT 4615176 SOS 2489923 HAS SOPS 2489923 HAS SOUS 2221224 HAS SOUPS 2221224 WITH SCORE 2223713.923
AT ITER 2035 NEW BEST:: SOT 4615176 SOS 2489485 HAS SOPS 2489485 HAS SOUS 2221195 HAS SOUPS 2221195 WITH SCORE 2223684.485
AT ITER 2043 NEW BEST:: SOT 4615176 SOS 2489043 HAS SOPS 2489043 HAS SOUS 2221163 HAS SOUPS 2221163 WITH SCORE 2223652.043
AT ITER 2045 NEW BEST:: SOT 4615176 SOS 2489010 HAS SOPS 2489010 HAS SOUS 2221163 HAS SOUPS 2221163 WITH SCORE 2223652.01
AT ITER 2046 NEW BEST:: SOT 4615176 SOS 2488615 HAS SOPS 2488615 HAS SOUS 2220796 HAS SOUPS 2220796 WITH SCORE 2223284.615
AT ITER 2047 NEW BEST:: SOT 4614196 SOS 2488496 HAS SOPS 2488496 HAS SOUS 2220124 HAS SOUPS 2220124 WITH SCORE 2222612.496
AT ITER 2050 NEW BEST:: SOT 4614196 SOS 2488230 HAS SOPS 2488230 HAS SOUS 2220124 HAS SOUPS 2220124 WITH SCORE 2222612.23
AT ITER 2054 NEW BEST:: SOT 4613310 SOS 2491267 HAS SOPS 2491267 HAS SOUS 2219796 HAS SOUPS 2219796 WITH SCORE 2222287.267
AT ITER 2057 NEW BEST:: SOT 4613310 SOS 2491141 HAS SOPS 2491141 HAS SOUS 2219670 HAS SOUPS 2219670 WITH SCORE 2222161.141
AT ITER 2069 NEW BEST:: SOT 4612800 SOS 2491337 HAS SOPS 2491337 HAS SOUS 2219160 HAS SOUPS 2219160 WITH SCORE 2221651.337
AT ITER 2070 NEW BEST:: SOT 4609686 SOS 2494658 HAS SOPS 2494658 HAS SOUS 2217725 HAS SOUPS 2217725 WITH SCORE 2220219.658
AT ITER 2088 NEW BEST:: SOT 4608028 SOS 2496284 HAS SOPS 2496284 HAS SOUS 2217343 HAS SOUPS 2217343 WITH SCORE 2219839.284
AT ITER 2092 NEW BEST:: SOT 4605797 SOS 2495567 HAS SOPS 2495567 HAS SOUS 2216352 HAS SOUPS 2216352 WITH SCORE 2218847.567
AT ITER 2101 NEW BEST:: SOT 4605432 SOS 2495324 HAS SOPS 2495324 HAS SOUS 2216109 HAS SOUPS 2216109 WITH SCORE 2218604.324
AT ITER 2102 NEW BEST:: SOT 4604044 SOS 2496251 HAS SOPS 2496251 HAS SOUS 2215498 HAS SOUPS 2215498 WITH SCORE 2217994.251
AT ITER 2108 NEW BEST:: SOT 4604044 SOS 2496251 HAS SOPS 2496251 HAS SOUS 2215490 HAS SOUPS 2215490 WITH SCORE 2217986.251
AT ITER 2109 NEW BEST:: SOT 4603854 SOS 2495846 HAS SOPS 2495846 HAS SOUS 2215131 HAS SOUPS 2215131 WITH SCORE 2217626.846
AT ITER 2115 NEW BEST:: SOT 4603854 SOS 2495171 HAS SOPS 2495171 HAS SOUS 2215131 HAS SOUPS 2215131 WITH SCORE 2217626.171
AT ITER 2122 NEW BEST:: SOT 4603854 SOS 2494923 HAS SOPS 2494923 HAS SOUS 2215131 HAS SOUPS 2215131 WITH SCORE 2217625.923
AT ITER 2126 NEW BEST:: SOT 4602152 SOS 2494509 HAS SOPS 2494509 HAS SOUS 2214590 HAS SOUPS 2214590 WITH SCORE 2217084.509
AT ITER 2129 NEW BEST:: SOT 4601843 SOS 2495012 HAS SOPS 2495012 HAS SOUS 2214337 HAS SOUPS 2214337 WITH SCORE 2216832.012
AT ITER 2135 NEW BEST:: SOT 4601843 SOS 2494870 HAS SOPS 2494870 HAS SOUS 2214337 HAS SOUPS 2214337 WITH SCORE 2216831.87
AT ITER 2136 NEW BEST:: SOT 4601780 SOS 2494713 HAS SOPS 2494713 HAS SOUS 2213863 HAS SOUPS 2213863 WITH SCORE 2216357.713
AT ITER 2147 NEW BEST:: SOT 4601994 SOS 2494243 HAS SOPS 2494243 HAS SOUS 2213213 HAS SOUPS 2213213 WITH SCORE 2215707.243
AT ITER 2155 NEW BEST:: SOT 4601994 SOS 2494001 HAS SOPS 2494001 HAS SOUS 2212971 HAS SOUPS 2212971 WITH SCORE 2215465.001
AT ITER 2158 NEW BEST:: SOT 4601994 SOS 2494089 HAS SOPS 2494089 HAS SOUS 2212962 HAS SOUPS 2212962 WITH SCORE 2215456.089
AT ITER 2162 NEW BEST:: SOT 4602076 SOS 2493500 HAS SOPS 2493500 HAS SOUS 2212937 HAS SOUPS 2212937 WITH SCORE 2215430.5
AT ITER 2169 NEW BEST:: SOT 4602076 SOS 2493337 HAS SOPS 2493337 HAS SOUS 2212937 HAS SOUPS 2212937 WITH SCORE 2215430.337
AT ITER 2178 NEW BEST:: SOT 4601080 SOS 2492086 HAS SOPS 2492086 HAS SOUS 2211854 HAS SOUPS 2211854 WITH SCORE 2214346.086
AT ITER 2190 NEW BEST:: SOT 4600697 SOS 2493669 HAS SOPS 2493669 HAS SOUS 2211737 HAS SOUPS 2211737 WITH SCORE 2214230.669
AT ITER 2199 NEW BEST:: SOT 4600064 SOS 2493361 HAS SOPS 2493361 HAS SOUS 2210288 HAS SOUPS 2210288 WITH SCORE 2212781.361
AT ITER 2205 NEW BEST:: SOT 4597512 SOS 2498950 HAS SOPS 2498950 HAS SOUS 2208213 HAS SOUPS 2208213 WITH SCORE 2210711.95
AT ITER 2206 NEW BEST:: SOT 4597512 SOS 2498946 HAS SOPS 2498946 HAS SOUS 2208213 HAS SOUPS 2208213 WITH SCORE 2210711.946
AT ITER 2208 NEW BEST:: SOT 4597512 SOS 2497942 HAS SOPS 2497942 HAS SOUS 2207480 HAS SOUPS 2207480 WITH SCORE 2209977.942
AT ITER 2213 NEW BEST:: SOT 4596911 SOS 2497542 HAS SOPS 2497542 HAS SOUS 2206879 HAS SOUPS 2206879 WITH SCORE 2209376.542
AT ITER 2219 NEW BEST:: SOT 4596911 SOS 2497347 HAS SOPS 2497347 HAS SOUS 2206879 HAS SOUPS 2206879 WITH SCORE 2209376.347
AT ITER 2226 NEW BEST:: SOT 4596911 SOS 2496642 HAS SOPS 2496642 HAS SOUS 2206692 HAS SOUPS 2206692 WITH SCORE 2209188.642
AT ITER 2230 NEW BEST:: SOT 4596911 SOS 2496630 HAS SOPS 2496630 HAS SOUS 2206692 HAS SOUPS 2206692 WITH SCORE 2209188.63
AT ITER 2239 NEW BEST:: SOT 4595886 SOS 2495605 HAS SOPS 2495605 HAS SOUS 2206233 HAS SOUPS 2206233 WITH SCORE 2208728.605
AT ITER 2241 NEW BEST:: SOT 4595886 SOS 2495285 HAS SOPS 2495285 HAS SOUS 2206213 HAS SOUPS 2206213 WITH SCORE 2208708.285
AT ITER 2242 NEW BEST:: SOT 4595438 SOS 2494525 HAS SOPS 2494525 HAS SOUS 2205399 HAS SOUPS 2205399 WITH SCORE 2207893.525
AT ITER 2247 NEW BEST:: SOT 4595438 SOS 2494360 HAS SOPS 2494360 HAS SOUS 2205388 HAS SOUPS 2205388 WITH SCORE 2207882.36
AT ITER 2249 NEW BEST:: SOT 4592755 SOS 2496173 HAS SOPS 2496173 HAS SOUS 2205037 HAS SOUPS 2205037 WITH SCORE 2207533.173
AT ITER 2250 NEW BEST:: SOT 4592698 SOS 2495356 HAS SOPS 2495356 HAS SOUS 2204110 HAS SOUPS 2204110 WITH SCORE 2206605.356
AT ITER 2267 NEW BEST:: SOT 4592698 SOS 2495306 HAS SOPS 2495306 HAS SOUS 2204110 HAS SOUPS 2204110 WITH SCORE 2206605.306
AT ITER 2268 NEW BEST:: SOT 4592698 SOS 2494896 HAS SOPS 2494896 HAS SOUS 2204110 HAS SOUPS 2204110 WITH SCORE 2206604.896
AT ITER 2269 NEW BEST:: SOT 4592676 SOS 2494874 HAS SOPS 2494874 HAS SOUS 2204077 HAS SOUPS 2204077 WITH SCORE 2206571.874
AT ITER 2271 NEW BEST:: SOT 4591277 SOS 2494602 HAS SOPS 2494602 HAS SOUS 2202678 HAS SOUPS 2202678 WITH SCORE 2205172.602
AT ITER 2274 NEW BEST:: SOT 4590150 SOS 2490416 HAS SOPS 2490416 HAS SOUS 2200940 HAS SOUPS 2200940 WITH SCORE 2203430.416
AT ITER 2279 NEW BEST:: SOT 4589610 SOS 2489984 HAS SOPS 2489984 HAS SOUS 2200724 HAS SOUPS 2200724 WITH SCORE 2203213.984
AT ITER 2282 NEW BEST:: SOT 4589610 SOS 2489858 HAS SOPS 2489858 HAS SOUS 2200724 HAS SOUPS 2200724 WITH SCORE 2203213.858
AT ITER 2297 NEW BEST:: SOT 4589593 SOS 2489841 HAS SOPS 2489841 HAS SOUS 2200707 HAS SOUPS 2200707 WITH SCORE 2203196.841
AT ITER 2303 NEW BEST:: SOT 4589593 SOS 2489307 HAS SOPS 2489307 HAS SOUS 2200707 HAS SOUPS 2200707 WITH SCORE 2203196.307
AT ITER 2307 NEW BEST:: SOT 4589055 SOS 2489209 HAS SOPS 2489209 HAS SOUS 2200169 HAS SOUPS 2200169 WITH SCORE 2202658.209
AT ITER 2318 NEW BEST:: SOT 4586733 SOS 2489239 HAS SOPS 2489239 HAS SOUS 2199438 HAS SOUPS 2199438 WITH SCORE 2201927.239
AT ITER 2327 NEW BEST:: SOT 4586954 SOS 2490067 HAS SOPS 2490067 HAS SOUS 2199160 HAS SOUPS 2199160 WITH SCORE 2201650.067
AT ITER 2328 NEW BEST:: SOT 4586720 SOS 2489833 HAS SOPS 2489833 HAS SOUS 2199105 HAS SOUPS 2199105 WITH SCORE 2201594.833
AT ITER 2334 NEW BEST:: SOT 4585633 SOS 2492707 HAS SOPS 2492707 HAS SOUS 2198018 HAS SOUPS 2198018 WITH SCORE 2200510.707
AT ITER 2336 NEW BEST:: SOT 4585633 SOS 2492516 HAS SOPS 2492516 HAS SOUS 2198018 HAS SOUPS 2198018 WITH SCORE 2200510.516
AT ITER 2345 NEW BEST:: SOT 4585527 SOS 2492062 HAS SOPS 2492062 HAS SOUS 2197579 HAS SOUPS 2197579 WITH SCORE 2200071.062
AT ITER 2348 NEW BEST:: SOT 4585241 SOS 2491882 HAS SOPS 2491882 HAS SOUS 2197293 HAS SOUPS 2197293 WITH SCORE 2199784.882
AT ITER 2352 NEW BEST:: SOT 4585229 SOS 2491158 HAS SOPS 2491158 HAS SOUS 2197272 HAS SOUPS 2197272 WITH SCORE 2199763.158
AT ITER 2353 NEW BEST:: SOT 4582371 SOS 2489287 HAS SOPS 2489287 HAS SOUS 2195588 HAS SOUPS 2195588 WITH SCORE 2198077.287
AT ITER 2358 NEW BEST:: SOT 4579852 SOS 2489453 HAS SOPS 2489453 HAS SOUS 2194271 HAS SOUPS 2194271 WITH SCORE 2196760.453
AT ITER 2361 NEW BEST:: SOT 4579852 SOS 2488501 HAS SOPS 2488501 HAS SOUS 2194271 HAS SOUPS 2194271 WITH SCORE 2196759.501
AT ITER 2365 NEW BEST:: SOT 4579852 SOS 2486034 HAS SOPS 2486034 HAS SOUS 2193653 HAS SOUPS 2193653 WITH SCORE 2196139.034
AT ITER 2367 NEW BEST:: SOT 4578872 SOS 2485038 HAS SOPS 2485038 HAS SOUS 2192866 HAS SOUPS 2192866 WITH SCORE 2195351.038
AT ITER 2373 NEW BEST:: SOT 4579094 SOS 2484275 HAS SOPS 2484275 HAS SOUS 2192550 HAS SOUPS 2192550 WITH SCORE 2195034.275
AT ITER 2378 NEW BEST:: SOT 4579094 SOS 2484254 HAS SOPS 2484254 HAS SOUS 2192550 HAS SOUPS 2192550 WITH SCORE 2195034.254
AT ITER 2383 NEW BEST:: SOT 4579080 SOS 2484659 HAS SOPS 2484659 HAS SOUS 2192416 HAS SOUPS 2192416 WITH SCORE 2194900.659
AT ITER 2390 NEW BEST:: SOT 4579080 SOS 2484349 HAS SOPS 2484349 HAS SOUS 2192416 HAS SOUPS 2192416 WITH SCORE 2194900.349
AT ITER 2398 NEW BEST:: SOT 4578109 SOS 2483884 HAS SOPS 2483884 HAS SOUS 2191479 HAS SOUPS 2191479 WITH SCORE 2193962.884
AT ITER 2400 NEW BEST:: SOT 4578109 SOS 2483298 HAS SOPS 2483298 HAS SOUS 2191479 HAS SOUPS 2191479 WITH SCORE 2193962.298
AT ITER 2412 NEW BEST:: SOT 4577981 SOS 2483414 HAS SOPS 2483414 HAS SOUS 2191415 HAS SOUPS 2191415 WITH SCORE 2193898.414
AT ITER 2421 NEW BEST:: SOT 4577882 SOS 2483773 HAS SOPS 2483773 HAS SOUS 2191414 HAS SOUPS 2191414 WITH SCORE 2193897.773
AT ITER 2424 NEW BEST:: SOT 4577882 SOS 2483212 HAS SOPS 2483212 HAS SOUS 2191085 HAS SOUPS 2191085 WITH SCORE 2193568.212
AT ITER 2426 NEW BEST:: SOT 4577882 SOS 2482983 HAS SOPS 2482983 HAS SOUS 2191085 HAS SOUPS 2191085 WITH SCORE 2193567.983
AT ITER 2429 NEW BEST:: SOT 4577207 SOS 2482821 HAS SOPS 2482821 HAS SOUS 2190410 HAS SOUPS 2190410 WITH SCORE 2192892.821
AT ITER 2431 NEW BEST:: SOT 4577207 SOS 2482812 HAS SOPS 2482812 HAS SOUS 2190410 HAS SOUPS 2190410 WITH SCORE 2192892.812
AT ITER 2432 NEW BEST:: SOT 4577195 SOS 2482800 HAS SOPS 2482800 HAS SOUS 2190374 HAS SOUPS 2190374 WITH SCORE 2192856.8
AT ITER 2439 NEW BEST:: SOT 4575768 SOS 2484098 HAS SOPS 2484098 HAS SOUS 2190357 HAS SOUPS 2190357 WITH SCORE 2192841.098
AT ITER 2448 NEW BEST:: SOT 4575768 SOS 2483422 HAS SOPS 2483422 HAS SOUS 2190357 HAS SOUPS 2190357 WITH SCORE 2192840.422
AT ITER 2451 NEW BEST:: SOT 4573798 SOS 2484846 HAS SOPS 2484846 HAS SOUS 2189026 HAS SOUPS 2189026 WITH SCORE 2191510.846
AT ITER 2452 NEW BEST:: SOT 4573798 SOS 2481382 HAS SOPS 2481382 HAS SOUS 2188912 HAS SOUPS 2188912 WITH SCORE 2191393.382
AT ITER 2453 NEW BEST:: SOT 4573798 SOS 2481265 HAS SOPS 2481265 HAS SOUS 2188711 HAS SOUPS 2188711 WITH SCORE 2191192.265
AT ITER 2455 NEW BEST:: SOT 4573798 SOS 2481099 HAS SOPS 2481099 HAS SOUS 2188711 HAS SOUPS 2188711 WITH SCORE 2191192.099
AT ITER 2457 NEW BEST:: SOT 4573888 SOS 2481121 HAS SOPS 2481121 HAS SOUS 2188665 HAS SOUPS 2188665 WITH SCORE 2191146.121
AT ITER 2458 NEW BEST:: SOT 4574024 SOS 2482074 HAS SOPS 2482074 HAS SOUS 2188050 HAS SOUPS 2188050 WITH SCORE 2190532.074
AT ITER 2460 NEW BEST:: SOT 4573486 SOS 2481780 HAS SOPS 2481780 HAS SOUS 2187756 HAS SOUPS 2187756 WITH SCORE 2190237.78
AT ITER 2463 NEW BEST:: SOT 4573486 SOS 2478961 HAS SOPS 2478961 HAS SOUS 2187297 HAS SOUPS 2187297 WITH SCORE 2189775.961
AT ITER 2473 NEW BEST:: SOT 4573486 SOS 2478692 HAS SOPS 2478692 HAS SOUS 2187248 HAS SOUPS 2187248 WITH SCORE 2189726.692
AT ITER 2474 NEW BEST:: SOT 4568209 SOS 2483818 HAS SOPS 2483818 HAS SOUS 2184014 HAS SOUPS 2184014 WITH SCORE 2186497.818
AT ITER 2476 NEW BEST:: SOT 4568209 SOS 2482011 HAS SOPS 2482011 HAS SOUS 2183896 HAS SOUPS 2183896 WITH SCORE 2186378.011
AT ITER 2478 NEW BEST:: SOT 4566477 SOS 2481118 HAS SOPS 2481118 HAS SOUS 2183494 HAS SOUPS 2183494 WITH SCORE 2185975.118
AT ITER 2485 NEW BEST:: SOT 4566477 SOS 2481150 HAS SOPS 2481150 HAS SOUS 2183364 HAS SOUPS 2183364 WITH SCORE 2185845.15
AT ITER 2488 NEW BEST:: SOT 4566803 SOS 2482844 HAS SOPS 2482844 HAS SOUS 2183332 HAS SOUPS 2183332 WITH SCORE 2185814.844
AT ITER 2495 NEW BEST:: SOT 4566434 SOS 2482475 HAS SOPS 2482475 HAS SOUS 2183036 HAS SOUPS 2183036 WITH SCORE 2185518.475
AT ITER 2498 NEW BEST:: SOT 4566734 SOS 2482775 HAS SOPS 2482775 HAS SOUS 2183024 HAS SOUPS 2183024 WITH SCORE 2185506.775
AT ITER 2504 NEW BEST:: SOT 4567026 SOS 2483067 HAS SOPS 2483067 HAS SOUS 2182428 HAS SOUPS 2182428 WITH SCORE 2184911.067
AT ITER 2505 NEW BEST:: SOT 4566694 SOS 2482831 HAS SOPS 2482831 HAS SOUS 2182372 HAS SOUPS 2182372 WITH SCORE 2184854.831
AT ITER 2520 NEW BEST:: SOT 4566694 SOS 2482831 HAS SOPS 2482831 HAS SOUS 2182249 HAS SOUPS 2182249 WITH SCORE 2184731.831
AT ITER 2522 NEW BEST:: SOT 4564995 SOS 2481833 HAS SOPS 2481833 HAS SOUS 2182006 HAS SOUPS 2182006 WITH SCORE 2184487.833
AT ITER 2523 NEW BEST:: SOT 4564995 SOS 2481820 HAS SOPS 2481820 HAS SOUS 2182006 HAS SOUPS 2182006 WITH SCORE 2184487.82
AT ITER 2525 NEW BEST:: SOT 4564902 SOS 2481690 HAS SOPS 2481690 HAS SOUS 2181567 HAS SOUPS 2181567 WITH SCORE 2184048.69
AT ITER 2529 NEW BEST:: SOT 4564902 SOS 2481610 HAS SOPS 2481610 HAS SOUS 2181567 HAS SOUPS 2181567 WITH SCORE 2184048.61
AT ITER 2530 NEW BEST:: SOT 4564902 SOS 2481269 HAS SOPS 2481269 HAS SOUS 2181567 HAS SOUPS 2181567 WITH SCORE 2184048.269
AT ITER 2532 NEW BEST:: SOT 4564902 SOS 2481265 HAS SOPS 2481265 HAS SOUS 2181567 HAS SOUPS 2181567 WITH SCORE 2184048.265
AT ITER 2533 NEW BEST:: SOT 4564902 SOS 2481206 HAS SOPS 2481206 HAS SOUS 2181567 HAS SOUPS 2181567 WITH SCORE 2184048.206
AT ITER 2536 NEW BEST:: SOT 4563010 SOS 2484592 HAS SOPS 2484592 HAS SOUS 2181265 HAS SOUPS 2181265 WITH SCORE 2183749.592
AT ITER 2538 NEW BEST:: SOT 4563151 SOS 2484292 HAS SOPS 2484292 HAS SOUS 2180920 HAS SOUPS 2180920 WITH SCORE 2183404.292
AT ITER 2543 NEW BEST:: SOT 4561246 SOS 2483729 HAS SOPS 2483729 HAS SOUS 2179152 HAS SOUPS 2179152 WITH SCORE 2181635.729
AT ITER 2544 NEW BEST:: SOT 4561246 SOS 2483706 HAS SOPS 2483706 HAS SOUS 2179152 HAS SOUPS 2179152 WITH SCORE 2181635.706
AT ITER 2546 NEW BEST:: SOT 4559987 SOS 2483183 HAS SOPS 2483183 HAS SOUS 2178821 HAS SOUPS 2178821 WITH SCORE 2181304.183
AT ITER 2561 NEW BEST:: SOT 4560074 SOS 2483112 HAS SOPS 2483112 HAS SOUS 2178642 HAS SOUPS 2178642 WITH SCORE 2181125.112
AT ITER 2575 NEW BEST:: SOT 4560074 SOS 2483073 HAS SOPS 2483073 HAS SOUS 2178642 HAS SOUPS 2178642 WITH SCORE 2181125.073
AT ITER 2588 NEW BEST:: SOT 4560055 SOS 2483621 HAS SOPS 2483621 HAS SOUS 2178566 HAS SOUPS 2178566 WITH SCORE 2181049.621
AT ITER 2594 NEW BEST:: SOT 4559565 SOS 2486709 HAS SOPS 2486709 HAS SOUS 2178076 HAS SOUPS 2178076 WITH SCORE 2180562.709
AT ITER 2600 NEW BEST:: SOT 4559408 SOS 2486351 HAS SOPS 2486351 HAS SOUS 2177960 HAS SOUPS 2177960 WITH SCORE 2180446.351
AT ITER 2602 NEW BEST:: SOT 4558206 SOS 2485524 HAS SOPS 2485524 HAS SOUS 2176758 HAS SOUPS 2176758 WITH SCORE 2179243.524
AT ITER 2605 NEW BEST:: SOT 4554703 SOS 2484441 HAS SOPS 2484441 HAS SOUS 2174323 HAS SOUPS 2174323 WITH SCORE 2176807.441
AT ITER 2607 NEW BEST:: SOT 4550354 SOS 2480382 HAS SOPS 2480382 HAS SOUS 2173019 HAS SOUPS 2173019 WITH SCORE 2175499.382
AT ITER 2610 NEW BEST:: SOT 4547159 SOS 2477436 HAS SOPS 2477436 HAS SOUS 2170379 HAS SOUPS 2170379 WITH SCORE 2172856.436
AT ITER 2613 NEW BEST:: SOT 4547159 SOS 2477346 HAS SOPS 2477346 HAS SOUS 2170379 HAS SOUPS 2170379 WITH SCORE 2172856.346
AT ITER 2629 NEW BEST:: SOT 4546326 SOS 2477412 HAS SOPS 2477412 HAS SOUS 2170088 HAS SOUPS 2170088 WITH SCORE 2172565.412
AT ITER 2634 NEW BEST:: SOT 4546092 SOS 2477240 HAS SOPS 2477240 HAS SOUS 2169916 HAS SOUPS 2169916 WITH SCORE 2172393.24
AT ITER 2635 NEW BEST:: SOT 4546092 SOS 2477023 HAS SOPS 2477023 HAS SOUS 2169916 HAS SOUPS 2169916 WITH SCORE 2172393.023
AT ITER 2636 NEW BEST:: SOT 4545497 SOS 2476690 HAS SOPS 2476690 HAS SOUS 2168158 HAS SOUPS 2168158 WITH SCORE 2170634.69
AT ITER 2639 NEW BEST:: SOT 4541448 SOS 2483509 HAS SOPS 2483509 HAS SOUS 2165117 HAS SOUPS 2165117 WITH SCORE 2167600.509
AT ITER 2642 NEW BEST:: SOT 4540206 SOS 2482823 HAS SOPS 2482823 HAS SOUS 2164421 HAS SOUPS 2164421 WITH SCORE 2166903.823
AT ITER 2643 NEW BEST:: SOT 4540206 SOS 2481600 HAS SOPS 2481600 HAS SOUS 2164088 HAS SOUPS 2164088 WITH SCORE 2166569.6
AT ITER 2652 NEW BEST:: SOT 4538397 SOS 2481875 HAS SOPS 2481875 HAS SOUS 2162691 HAS SOUPS 2162691 WITH SCORE 2165172.875
AT ITER 2658 NEW BEST:: SOT 4536736 SOS 2482599 HAS SOPS 2482599 HAS SOUS 2161776 HAS SOUPS 2161776 WITH SCORE 2164258.599
AT ITER 2664 NEW BEST:: SOT 4536683 SOS 2482994 HAS SOPS 2482994 HAS SOUS 2161723 HAS SOUPS 2161723 WITH SCORE 2164205.994
AT ITER 2666 NEW BEST:: SOT 4535763 SOS 2482462 HAS SOPS 2482462 HAS SOUS 2161044 HAS SOUPS 2161044 WITH SCORE 2163526.462
AT ITER 2668 NEW BEST:: SOT 4535263 SOS 2482200 HAS SOPS 2482200 HAS SOUS 2160181 HAS SOUPS 2160181 WITH SCORE 2162663.2
AT ITER 2671 NEW BEST:: SOT 4532660 SOS 2483487 HAS SOPS 2483487 HAS SOUS 2159516 HAS SOUPS 2159516 WITH SCORE 2161999.487
AT ITER 2673 NEW BEST:: SOT 4530151 SOS 2482945 HAS SOPS 2482945 HAS SOUS 2157572 HAS SOUPS 2157572 WITH SCORE 2160054.945
AT ITER 2674 NEW BEST:: SOT 4529261 SOS 2482631 HAS SOPS 2482631 HAS SOUS 2157098 HAS SOUPS 2157098 WITH SCORE 2159580.631
AT ITER 2676 NEW BEST:: SOT 4529261 SOS 2482387 HAS SOPS 2482387 HAS SOUS 2157098 HAS SOUPS 2157098 WITH SCORE 2159580.387
AT ITER 2677 NEW BEST:: SOT 4529391 SOS 2481925 HAS SOPS 2481925 HAS SOUS 2157066 HAS SOUPS 2157066 WITH SCORE 2159547.925
AT ITER 2679 NEW BEST:: SOT 4529391 SOS 2481855 HAS SOPS 2481855 HAS SOUS 2157028 HAS SOUPS 2157028 WITH SCORE 2159509.855
AT ITER 2691 NEW BEST:: SOT 4526534 SOS 2480579 HAS SOPS 2480579 HAS SOUS 2154550 HAS SOUPS 2154550 WITH SCORE 2157030.579
AT ITER 2701 NEW BEST:: SOT 4526321 SOS 2480230 HAS SOPS 2480230 HAS SOUS 2154201 HAS SOUPS 2154201 WITH SCORE 2156681.23
AT ITER 2713 NEW BEST:: SOT 4526321 SOS 2479543 HAS SOPS 2479543 HAS SOUS 2154138 HAS SOUPS 2154138 WITH SCORE 2156617.543
AT ITER 2714 NEW BEST:: SOT 4526321 SOS 2479526 HAS SOPS 2479526 HAS SOUS 2154138 HAS SOUPS 2154138 WITH SCORE 2156617.526
AT ITER 2715 NEW BEST:: SOT 4525770 SOS 2478988 HAS SOPS 2478988 HAS SOUS 2153600 HAS SOUPS 2153600 WITH SCORE 2156078.988
AT ITER 2722 NEW BEST:: SOT 4525770 SOS 2477567 HAS SOPS 2477567 HAS SOUS 2152889 HAS SOUPS 2152889 WITH SCORE 2155366.567
AT ITER 2723 NEW BEST:: SOT 4525321 SOS 2478137 HAS SOPS 2478137 HAS SOUS 2152440 HAS SOUPS 2152440 WITH SCORE 2154918.137
AT ITER 2734 NEW BEST:: SOT 4525321 SOS 2478076 HAS SOPS 2478076 HAS SOUS 2152440 HAS SOUPS 2152440 WITH SCORE 2154918.076
AT ITER 2735 NEW BEST:: SOT 4525321 SOS 2477985 HAS SOPS 2477985 HAS SOUS 2152421 HAS SOUPS 2152421 WITH SCORE 2154898.985
AT ITER 2737 NEW BEST:: SOT 4525642 SOS 2478316 HAS SOPS 2478316 HAS SOUS 2152394 HAS SOUPS 2152394 WITH SCORE 2154872.316
AT ITER 2743 NEW BEST:: SOT 4525654 SOS 2478328 HAS SOPS 2478328 HAS SOUS 2152154 HAS SOUPS 2152154 WITH SCORE 2154632.328
AT ITER 2745 NEW BEST:: SOT 4525654 SOS 2478249 HAS SOPS 2478249 HAS SOUS 2152154 HAS SOUPS 2152154 WITH SCORE 2154632.249
AT ITER 2750 NEW BEST:: SOT 4525564 SOS 2477879 HAS SOPS 2477879 HAS SOUS 2152112 HAS SOUPS 2152112 WITH SCORE 2154589.879
AT ITER 2752 NEW BEST:: SOT 4525564 SOS 2477746 HAS SOPS 2477746 HAS SOUS 2152112 HAS SOUPS 2152112 WITH SCORE 2154589.746
AT ITER 2756 NEW BEST:: SOT 4524603 SOS 2477417 HAS SOPS 2477417 HAS SOUS 2151487 HAS SOUPS 2151487 WITH SCORE 2153964.417
AT ITER 2757 NEW BEST:: SOT 4524603 SOS 2477417 HAS SOPS 2477417 HAS SOUS 2151390 HAS SOUPS 2151390 WITH SCORE 2153867.417
AT ITER 2764 NEW BEST:: SOT 4524603 SOS 2477399 HAS SOPS 2477399 HAS SOUS 2151390 HAS SOUPS 2151390 WITH SCORE 2153867.399
AT ITER 2768 NEW BEST:: SOT 4524429 SOS 2476844 HAS SOPS 2476844 HAS SOUS 2151010 HAS SOUPS 2151010 WITH SCORE 2153486.844
AT ITER 2772 NEW BEST:: SOT 4524429 SOS 2476552 HAS SOPS 2476552 HAS SOUS 2151010 HAS SOUPS 2151010 WITH SCORE 2153486.552
AT ITER 2774 NEW BEST:: SOT 4523698 SOS 2475022 HAS SOPS 2475022 HAS SOUS 2149694 HAS SOUPS 2149694 WITH SCORE 2152169.022
AT ITER 2776 NEW BEST:: SOT 4520824 SOS 2476721 HAS SOPS 2476721 HAS SOUS 2148100 HAS SOUPS 2148100 WITH SCORE 2150576.721
AT ITER 2782 NEW BEST:: SOT 4520681 SOS 2476541 HAS SOPS 2476541 HAS SOUS 2147964 HAS SOUPS 2147964 WITH SCORE 2150440.541
AT ITER 2792 NEW BEST:: SOT 4520681 SOS 2476541 HAS SOPS 2476541 HAS SOUS 2147855 HAS SOUPS 2147855 WITH SCORE 2150331.541
AT ITER 2797 NEW BEST:: SOT 4520664 SOS 2476524 HAS SOPS 2476524 HAS SOUS 2147791 HAS SOUPS 2147791 WITH SCORE 2150267.524
AT ITER 2802 NEW BEST:: SOT 4520664 SOS 2474871 HAS SOPS 2474871 HAS SOUS 2147791 HAS SOUPS 2147791 WITH SCORE 2150265.871
AT ITER 2809 NEW BEST:: SOT 4520376 SOS 2474583 HAS SOPS 2474583 HAS SOUS 2147263 HAS SOUPS 2147263 WITH SCORE 2149737.583
AT ITER 2812 NEW BEST:: SOT 4520376 SOS 2474554 HAS SOPS 2474554 HAS SOUS 2147234 HAS SOUPS 2147234 WITH SCORE 2149708.554
AT ITER 2813 NEW BEST:: SOT 4520430 SOS 2474608 HAS SOPS 2474608 HAS SOUS 2147149 HAS SOUPS 2147149 WITH SCORE 2149623.608
AT ITER 2817 NEW BEST:: SOT 4520064 SOS 2475814 HAS SOPS 2475814 HAS SOUS 2147138 HAS SOUPS 2147138 WITH SCORE 2149613.814
AT ITER 2818 NEW BEST:: SOT 4520064 SOS 2475753 HAS SOPS 2475753 HAS SOUS 2147138 HAS SOUPS 2147138 WITH SCORE 2149613.753
AT ITER 2822 NEW BEST:: SOT 4519289 SOS 2477893 HAS SOPS 2477893 HAS SOUS 2146752 HAS SOUPS 2146752 WITH SCORE 2149229.893
AT ITER 2832 NEW BEST:: SOT 4519289 SOS 2477563 HAS SOPS 2477563 HAS SOUS 2146752 HAS SOUPS 2146752 WITH SCORE 2149229.563
AT ITER 2834 NEW BEST:: SOT 4519289 SOS 2477242 HAS SOPS 2477242 HAS SOUS 2146746 HAS SOUPS 2146746 WITH SCORE 2149223.242
AT ITER 2836 NEW BEST:: SOT 4515623 SOS 2483141 HAS SOPS 2483141 HAS SOUS 2143616 HAS SOUPS 2143616 WITH SCORE 2146099.141
AT ITER 2838 NEW BEST:: SOT 4515623 SOS 2483070 HAS SOPS 2483070 HAS SOUS 2143616 HAS SOUPS 2143616 WITH SCORE 2146099.07
AT ITER 2839 NEW BEST:: SOT 4513333 SOS 2496214 HAS SOPS 2496214 HAS SOUS 2143520 HAS SOUPS 2143520 WITH SCORE 2146016.214
AT ITER 2849 NEW BEST:: SOT 4511264 SOS 2495188 HAS SOPS 2495188 HAS SOUS 2142631 HAS SOUPS 2142631 WITH SCORE 2145126.188
AT ITER 2853 NEW BEST:: SOT 4509473 SOS 2494867 HAS SOPS 2494867 HAS SOUS 2141777 HAS SOUPS 2141777 WITH SCORE 2144271.867
AT ITER 2859 NEW BEST:: SOT 4509473 SOS 2494835 HAS SOPS 2494835 HAS SOUS 2141777 HAS SOUPS 2141777 WITH SCORE 2144271.835
AT ITER 2866 NEW BEST:: SOT 4509473 SOS 2494614 HAS SOPS 2494614 HAS SOUS 2141777 HAS SOUPS 2141777 WITH SCORE 2144271.614
AT ITER 2880 NEW BEST:: SOT 4509473 SOS 2494283 HAS SOPS 2494283 HAS SOUS 2141653 HAS SOUPS 2141653 WITH SCORE 2144147.283
AT ITER 2883 NEW BEST:: SOT 4509253 SOS 2493667 HAS SOPS 2493667 HAS SOUS 2141001 HAS SOUPS 2141001 WITH SCORE 2143494.667
AT ITER 2884 NEW BEST:: SOT 4508857 SOS 2493430 HAS SOPS 2493430 HAS SOUS 2140764 HAS SOUPS 2140764 WITH SCORE 2143257.43
AT ITER 2888 NEW BEST:: SOT 4507153 SOS 2493523 HAS SOPS 2493523 HAS SOUS 2140206 HAS SOUPS 2140206 WITH SCORE 2142699.523
AT ITER 2893 NEW BEST:: SOT 4504652 SOS 2495406 HAS SOPS 2495406 HAS SOUS 2138543 HAS SOUPS 2138543 WITH SCORE 2141038.406
AT ITER 2894 NEW BEST:: SOT 4504919 SOS 2495312 HAS SOPS 2495312 HAS SOUS 2138476 HAS SOUPS 2138476 WITH SCORE 2140971.312
AT ITER 2895 NEW BEST:: SOT 4504919 SOS 2495303 HAS SOPS 2495303 HAS SOUS 2138476 HAS SOUPS 2138476 WITH SCORE 2140971.303
AT ITER 2899 NEW BEST:: SOT 4504919 SOS 2494905 HAS SOPS 2494905 HAS SOUS 2138476 HAS SOUPS 2138476 WITH SCORE 2140970.905
AT ITER 2903 NEW BEST:: SOT 4504919 SOS 2495502 HAS SOPS 2495502 HAS SOUS 2138385 HAS SOUPS 2138385 WITH SCORE 2140880.502
AT ITER 2915 NEW BEST:: SOT 4504803 SOS 2495386 HAS SOPS 2495386 HAS SOUS 2137758 HAS SOUPS 2137758 WITH SCORE 2140253.386
AT ITER 2923 NEW BEST:: SOT 4503567 SOS 2494030 HAS SOPS 2494030 HAS SOUS 2136265 HAS SOUPS 2136265 WITH SCORE 2138759.03
AT ITER 2929 NEW BEST:: SOT 4503567 SOS 2493765 HAS SOPS 2493765 HAS SOUS 2136179 HAS SOUPS 2136179 WITH SCORE 2138672.765
AT ITER 2937 NEW BEST:: SOT 4503567 SOS 2493667 HAS SOPS 2493667 HAS SOUS 2136179 HAS SOUPS 2136179 WITH SCORE 2138672.667
AT ITER 2939 NEW BEST:: SOT 4503310 SOS 2493715 HAS SOPS 2493715 HAS SOUS 2135609 HAS SOUPS 2135609 WITH SCORE 2138102.715
AT ITER 2949 NEW BEST:: SOT 4503166 SOS 2494145 HAS SOPS 2494145 HAS SOUS 2135570 HAS SOUPS 2135570 WITH SCORE 2138064.145
AT ITER 2955 NEW BEST:: SOT 4500759 SOS 2499425 HAS SOPS 2499425 HAS SOUS 2134994 HAS SOUPS 2134994 WITH SCORE 2137493.425
AT ITER 2963 NEW BEST:: SOT 4500759 SOS 2499299 HAS SOPS 2499299 HAS SOUS 2134877 HAS SOUPS 2134877 WITH SCORE 2137376.299
AT ITER 2966 NEW BEST:: SOT 4500759 SOS 2499212 HAS SOPS 2499212 HAS SOUS 2134877 HAS SOUPS 2134877 WITH SCORE 2137376.212
AT ITER 2974 NEW BEST:: SOT 4500759 SOS 2498974 HAS SOPS 2498974 HAS SOUS 2134877 HAS SOUPS 2134877 WITH SCORE 2137375.974
AT ITER 2981 NEW BEST:: SOT 4498843 SOS 2497623 HAS SOPS 2497623 HAS SOUS 2134004 HAS SOUPS 2134004 WITH SCORE 2136501.623
AT ITER 2983 NEW BEST:: SOT 4498141 SOS 2497567 HAS SOPS 2497567 HAS SOUS 2133436 HAS SOUPS 2133436 WITH SCORE 2135933.567
AT ITER 2989 NEW BEST:: SOT 4498141 SOS 2497424 HAS SOPS 2497424 HAS SOUS 2133436 HAS SOUPS 2133436 WITH SCORE 2135933.424
AT ITER 2993 NEW BEST:: SOT 4498141 SOS 2497424 HAS SOPS 2497424 HAS SOUS 2133136 HAS SOUPS 2133136 WITH SCORE 2135633.424
AT ITER 2994 NEW BEST:: SOT 4498141 SOS 2497064 HAS SOPS 2497064 HAS SOUS 2133136 HAS SOUPS 2133136 WITH SCORE 2135633.064
AT ITER 3000 NEW BEST:: SOT 4497799 SOS 2496921 HAS SOPS 2496921 HAS SOUS 2132993 HAS SOUPS 2132993 WITH SCORE 2135489.921
AT ITER 3005 NEW BEST:: SOT 4497678 SOS 2496800 HAS SOPS 2496800 HAS SOUS 2132872 HAS SOUPS 2132872 WITH SCORE 2135368.8
AT ITER 3013 NEW BEST:: SOT 4497678 SOS 2496755 HAS SOPS 2496755 HAS SOUS 2132807 HAS SOUPS 2132807 WITH SCORE 2135303.755
AT ITER 3015 NEW BEST:: SOT 4495684 SOS 2499991 HAS SOPS 2499991 HAS SOUS 2132026 HAS SOUPS 2132026 WITH SCORE 2134525.991
AT ITER 3018 NEW BEST:: SOT 4495684 SOS 2499895 HAS SOPS 2499895 HAS SOUS 2132026 HAS SOUPS 2132026 WITH SCORE 2134525.895
AT ITER 3021 NEW BEST:: SOT 4495684 SOS 2499895 HAS SOPS 2499895 HAS SOUS 2131795 HAS SOUPS 2131795 WITH SCORE 2134294.895
AT ITER 3025 NEW BEST:: SOT 4495684 SOS 2499499 HAS SOPS 2499499 HAS SOUS 2131795 HAS SOUPS 2131795 WITH SCORE 2134294.499
AT ITER 3028 NEW BEST:: SOT 4495684 SOS 2499107 HAS SOPS 2499107 HAS SOUS 2131795 HAS SOUPS 2131795 WITH SCORE 2134294.107
AT ITER 3033 NEW BEST:: SOT 4495304 SOS 2499076 HAS SOPS 2499076 HAS SOUS 2131764 HAS SOUPS 2131764 WITH SCORE 2134263.076
AT ITER 3039 NEW BEST:: SOT 4495167 SOS 2499080 HAS SOPS 2499080 HAS SOUS 2130723 HAS SOUPS 2130723 WITH SCORE 2133222.08
AT ITER 3046 NEW BEST:: SOT 4495004 SOS 2499439 HAS SOPS 2499439 HAS SOUS 2130702 HAS SOUPS 2130702 WITH SCORE 2133201.439
AT ITER 3049 NEW BEST:: SOT 4494872 SOS 2499307 HAS SOPS 2499307 HAS SOUS 2130486 HAS SOUPS 2130486 WITH SCORE 2132985.307
AT ITER 3051 NEW BEST:: SOT 4495316 SOS 2499523 HAS SOPS 2499523 HAS SOUS 2129310 HAS SOUPS 2129310 WITH SCORE 2131809.523
AT ITER 3055 NEW BEST:: SOT 4495316 SOS 2499405 HAS SOPS 2499405 HAS SOUS 2129310 HAS SOUPS 2129310 WITH SCORE 2131809.405
AT ITER 3056 NEW BEST:: SOT 4493103 SOS 2499357 HAS SOPS 2499357 HAS SOUS 2129268 HAS SOUPS 2129268 WITH SCORE 2131767.357
AT ITER 3058 NEW BEST:: SOT 4490016 SOS 2497860 HAS SOPS 2497860 HAS SOUS 2127441 HAS SOUPS 2127441 WITH SCORE 2129938.86
AT ITER 3060 NEW BEST:: SOT 4490016 SOS 2496216 HAS SOPS 2496216 HAS SOUS 2127326 HAS SOUPS 2127326 WITH SCORE 2129822.216
AT ITER 3077 NEW BEST:: SOT 4490138 SOS 2496094 HAS SOPS 2496094 HAS SOUS 2127326 HAS SOUPS 2127326 WITH SCORE 2129822.094
AT ITER 3079 NEW BEST:: SOT 4488981 SOS 2495242 HAS SOPS 2495242 HAS SOUS 2126383 HAS SOUPS 2126383 WITH SCORE 2128878.242
AT ITER 3085 NEW BEST:: SOT 4488981 SOS 2495180 HAS SOPS 2495180 HAS SOUS 2126383 HAS SOUPS 2126383 WITH SCORE 2128878.18
AT ITER 3087 NEW BEST:: SOT 4488983 SOS 2494827 HAS SOPS 2494827 HAS SOUS 2126347 HAS SOUPS 2126347 WITH SCORE 2128841.827
AT ITER 3092 NEW BEST:: SOT 4488983 SOS 2494818 HAS SOPS 2494818 HAS SOUS 2126347 HAS SOUPS 2126347 WITH SCORE 2128841.818
AT ITER 3108 NEW BEST:: SOT 4488983 SOS 2494379 HAS SOPS 2494379 HAS SOUS 2126331 HAS SOUPS 2126331 WITH SCORE 2128825.379
AT ITER 3110 NEW BEST:: SOT 4488983 SOS 2494285 HAS SOPS 2494285 HAS SOUS 2126331 HAS SOUPS 2126331 WITH SCORE 2128825.285
AT ITER 3113 NEW BEST:: SOT 4488983 SOS 2494019 HAS SOPS 2494019 HAS SOUS 2126331 HAS SOUPS 2126331 WITH SCORE 2128825.019
AT ITER 3115 NEW BEST:: SOT 4488834 SOS 2493870 HAS SOPS 2493870 HAS SOUS 2126263 HAS SOUPS 2126263 WITH SCORE 2128756.87
AT ITER 3116 NEW BEST:: SOT 4488834 SOS 2493728 HAS SOPS 2493728 HAS SOUS 2126263 HAS SOUPS 2126263 WITH SCORE 2128756.728
AT ITER 3117 NEW BEST:: SOT 4488834 SOS 2493131 HAS SOPS 2493131 HAS SOUS 2126263 HAS SOUPS 2126263 WITH SCORE 2128756.131
AT ITER 3121 NEW BEST:: SOT 4488834 SOS 2492157 HAS SOPS 2492157 HAS SOUS 2126263 HAS SOUPS 2126263 WITH SCORE 2128755.157
AT ITER 3122 NEW BEST:: SOT 4488834 SOS 2491750 HAS SOPS 2491750 HAS SOUS 2126263 HAS SOUPS 2126263 WITH SCORE 2128754.75
AT ITER 3124 NEW BEST:: SOT 4488834 SOS 2492743 HAS SOPS 2492743 HAS SOUS 2126235 HAS SOUPS 2126235 WITH SCORE 2128727.743
AT ITER 3125 NEW BEST:: SOT 4488371 SOS 2492452 HAS SOPS 2492452 HAS SOUS 2125999 HAS SOUPS 2125999 WITH SCORE 2128491.452
AT ITER 3127 NEW BEST:: SOT 4487403 SOS 2493322 HAS SOPS 2493322 HAS SOUS 2125718 HAS SOUPS 2125718 WITH SCORE 2128211.322
AT ITER 3129 NEW BEST:: SOT 4487135 SOS 2492325 HAS SOPS 2492325 HAS SOUS 2125061 HAS SOUPS 2125061 WITH SCORE 2127553.325
AT ITER 3130 NEW BEST:: SOT 4489321 SOS 2488373 HAS SOPS 2488373 HAS SOUS 2124813 HAS SOUPS 2124813 WITH SCORE 2127301.373
AT ITER 3134 NEW BEST:: SOT 4487357 SOS 2486868 HAS SOPS 2486868 HAS SOUS 2123822 HAS SOUPS 2123822 WITH SCORE 2126308.868
AT ITER 3140 NEW BEST:: SOT 4486779 SOS 2486663 HAS SOPS 2486663 HAS SOUS 2123617 HAS SOUPS 2123617 WITH SCORE 2126103.663
AT ITER 3147 NEW BEST:: SOT 4486779 SOS 2486449 HAS SOPS 2486449 HAS SOUS 2123617 HAS SOUPS 2123617 WITH SCORE 2126103.449
AT ITER 3153 NEW BEST:: SOT 4482611 SOS 2485162 HAS SOPS 2485162 HAS SOUS 2120478 HAS SOUPS 2120478 WITH SCORE 2122963.162
AT ITER 3157 NEW BEST:: SOT 4480772 SOS 2484589 HAS SOPS 2484589 HAS SOUS 2118639 HAS SOUPS 2118639 WITH SCORE 2121123.589
AT ITER 3162 NEW BEST:: SOT 4480190 SOS 2483829 HAS SOPS 2483829 HAS SOUS 2117725 HAS SOUPS 2117725 WITH SCORE 2120208.829
AT ITER 3166 NEW BEST:: SOT 4480190 SOS 2483781 HAS SOPS 2483781 HAS SOUS 2117725 HAS SOUPS 2117725 WITH SCORE 2120208.781
AT ITER 3167 NEW BEST:: SOT 4480196 SOS 2483787 HAS SOPS 2483787 HAS SOUS 2117661 HAS SOUPS 2117661 WITH SCORE 2120144.787
AT ITER 3170 NEW BEST:: SOT 4479041 SOS 2487383 HAS SOPS 2487383 HAS SOUS 2117621 HAS SOUPS 2117621 WITH SCORE 2120108.383
AT ITER 3172 NEW BEST:: SOT 4479041 SOS 2487550 HAS SOPS 2487550 HAS SOUS 2116998 HAS SOUPS 2116998 WITH SCORE 2119485.55
AT ITER 3176 NEW BEST:: SOT 4479041 SOS 2486885 HAS SOPS 2486885 HAS SOUS 2116906 HAS SOUPS 2116906 WITH SCORE 2119392.885
AT ITER 3179 NEW BEST:: SOT 4478996 SOS 2486735 HAS SOPS 2486735 HAS SOUS 2116846 HAS SOUPS 2116846 WITH SCORE 2119332.735
AT ITER 3183 NEW BEST:: SOT 4478866 SOS 2488697 HAS SOPS 2488697 HAS SOUS 2116716 HAS SOUPS 2116716 WITH SCORE 2119204.697
AT ITER 3186 NEW BEST:: SOT 4479145 SOS 2488976 HAS SOPS 2488976 HAS SOUS 2116701 HAS SOUPS 2116701 WITH SCORE 2119189.976
AT ITER 3187 NEW BEST:: SOT 4479145 SOS 2488746 HAS SOPS 2488746 HAS SOUS 2116471 HAS SOUPS 2116471 WITH SCORE 2118959.746
AT ITER 3201 NEW BEST:: SOT 4478997 SOS 2488229 HAS SOPS 2488229 HAS SOUS 2116077 HAS SOUPS 2116077 WITH SCORE 2118565.229
AT ITER 3202 NEW BEST:: SOT 4478492 SOS 2488059 HAS SOPS 2488059 HAS SOUS 2115907 HAS SOUPS 2115907 WITH SCORE 2118395.059
AT ITER 3207 NEW BEST:: SOT 4477834 SOS 2487401 HAS SOPS 2487401 HAS SOUS 2115249 HAS SOUPS 2115249 WITH SCORE 2117736.401
AT ITER 3219 NEW BEST:: SOT 4477834 SOS 2486345 HAS SOPS 2486345 HAS SOUS 2115249 HAS SOUPS 2115249 WITH SCORE 2117735.345
AT ITER 3220 NEW BEST:: SOT 4476177 SOS 2485505 HAS SOPS 2485505 HAS SOUS 2114063 HAS SOUPS 2114063 WITH SCORE 2116548.505
AT ITER 3224 NEW BEST:: SOT 4476177 SOS 2485541 HAS SOPS 2485541 HAS SOUS 2113988 HAS SOUPS 2113988 WITH SCORE 2116473.541
AT ITER 3225 NEW BEST:: SOT 4475023 SOS 2484550 HAS SOPS 2484550 HAS SOUS 2113043 HAS SOUPS 2113043 WITH SCORE 2115527.55
AT ITER 3226 NEW BEST:: SOT 4474446 SOS 2484051 HAS SOPS 2484051 HAS SOUS 2112544 HAS SOUPS 2112544 WITH SCORE 2115028.051
AT ITER 3236 NEW BEST:: SOT 4473574 SOS 2484667 HAS SOPS 2484667 HAS SOUS 2112117 HAS SOUPS 2112117 WITH SCORE 2114601.667
AT ITER 3237 NEW BEST:: SOT 4473574 SOS 2484085 HAS SOPS 2484085 HAS SOUS 2112117 HAS SOUPS 2112117 WITH SCORE 2114601.085
AT ITER 3238 NEW BEST:: SOT 4473510 SOS 2484021 HAS SOPS 2484021 HAS SOUS 2111965 HAS SOUPS 2111965 WITH SCORE 2114449.021
AT ITER 3239 NEW BEST:: SOT 4473510 SOS 2483670 HAS SOPS 2483670 HAS SOUS 2111965 HAS SOUPS 2111965 WITH SCORE 2114448.67
AT ITER 3245 NEW BEST:: SOT 4473595 SOS 2483713 HAS SOPS 2483713 HAS SOUS 2111872 HAS SOUPS 2111872 WITH SCORE 2114355.713
AT ITER 3254 NEW BEST:: SOT 4472511 SOS 2482537 HAS SOPS 2482537 HAS SOUS 2111192 HAS SOUPS 2111192 WITH SCORE 2113674.537
AT ITER 3261 NEW BEST:: SOT 4472584 SOS 2482535 HAS SOPS 2482535 HAS SOUS 2111073 HAS SOUPS 2111073 WITH SCORE 2113555.535
AT ITER 3265 NEW BEST:: SOT 4471956 SOS 2482535 HAS SOPS 2482535 HAS SOUS 2110627 HAS SOUPS 2110627 WITH SCORE 2113109.535
AT ITER 3272 NEW BEST:: SOT 4471956 SOS 2482467 HAS SOPS 2482467 HAS SOUS 2110609 HAS SOUPS 2110609 WITH SCORE 2113091.467
AT ITER 3278 NEW BEST:: SOT 4471788 SOS 2481890 HAS SOPS 2481890 HAS SOUS 2110085 HAS SOUPS 2110085 WITH SCORE 2112566.89
AT ITER 3282 NEW BEST:: SOT 4471788 SOS 2481771 HAS SOPS 2481771 HAS SOUS 2109954 HAS SOUPS 2109954 WITH SCORE 2112435.771
AT ITER 3284 NEW BEST:: SOT 4471788 SOS 2481741 HAS SOPS 2481741 HAS SOUS 2109902 HAS SOUPS 2109902 WITH SCORE 2112383.741
AT ITER 3286 NEW BEST:: SOT 4471788 SOS 2481706 HAS SOPS 2481706 HAS SOUS 2109902 HAS SOUPS 2109902 WITH SCORE 2112383.706
AT ITER 3297 NEW BEST:: SOT 4471564 SOS 2481690 HAS SOPS 2481690 HAS SOUS 2109886 HAS SOUPS 2109886 WITH SCORE 2112367.69
AT ITER 3298 NEW BEST:: SOT 4471534 SOS 2482369 HAS SOPS 2482369 HAS SOUS 2109869 HAS SOUPS 2109869 WITH SCORE 2112351.369
AT ITER 3300 NEW BEST:: SOT 4471532 SOS 2481808 HAS SOPS 2481808 HAS SOUS 2109727 HAS SOUPS 2109727 WITH SCORE 2112208.808
AT ITER 3301 NEW BEST:: SOT 4471697 SOS 2481324 HAS SOPS 2481324 HAS SOUS 2109582 HAS SOUPS 2109582 WITH SCORE 2112063.324
AT ITER 3302 NEW BEST:: SOT 4471697 SOS 2481259 HAS SOPS 2481259 HAS SOUS 2109582 HAS SOUPS 2109582 WITH SCORE 2112063.259
AT ITER 3305 NEW BEST:: SOT 4471697 SOS 2480631 HAS SOPS 2480631 HAS SOUS 2109582 HAS SOUPS 2109582 WITH SCORE 2112062.631
AT ITER 3307 NEW BEST:: SOT 4471697 SOS 2480602 HAS SOPS 2480602 HAS SOUS 2109582 HAS SOUPS 2109582 WITH SCORE 2112062.602
AT ITER 3313 NEW BEST:: SOT 4471854 SOS 2478212 HAS SOPS 2478212 HAS SOUS 2108194 HAS SOUPS 2108194 WITH SCORE 2110672.212
AT ITER 3316 NEW BEST:: SOT 4471854 SOS 2477767 HAS SOPS 2477767 HAS SOUS 2108194 HAS SOUPS 2108194 WITH SCORE 2110671.767
AT ITER 3318 NEW BEST:: SOT 4470329 SOS 2477376 HAS SOPS 2477376 HAS SOUS 2106744 HAS SOUPS 2106744 WITH SCORE 2109221.376
AT ITER 3320 NEW BEST:: SOT 4470329 SOS 2476027 HAS SOPS 2476027 HAS SOUS 2106461 HAS SOUPS 2106461 WITH SCORE 2108937.027
AT ITER 3324 NEW BEST:: SOT 4470329 SOS 2476027 HAS SOPS 2476027 HAS SOUS 2106007 HAS SOUPS 2106007 WITH SCORE 2108483.027
AT ITER 3326 NEW BEST:: SOT 4470329 SOS 2475801 HAS SOPS 2475801 HAS SOUS 2106007 HAS SOUPS 2106007 WITH SCORE 2108482.801
AT ITER 3329 NEW BEST:: SOT 4469028 SOS 2474911 HAS SOPS 2474911 HAS SOUS 2104706 HAS SOUPS 2104706 WITH SCORE 2107180.911
AT ITER 3342 NEW BEST:: SOT 4469028 SOS 2474803 HAS SOPS 2474803 HAS SOUS 2104706 HAS SOUPS 2104706 WITH SCORE 2107180.803
AT ITER 3346 NEW BEST:: SOT 4465935 SOS 2472541 HAS SOPS 2472541 HAS SOUS 2103202 HAS SOUPS 2103202 WITH SCORE 2105674.541
AT ITER 3351 NEW BEST:: SOT 4463104 SOS 2470695 HAS SOPS 2470695 HAS SOUS 2102014 HAS SOUPS 2102014 WITH SCORE 2104484.695
AT ITER 3352 NEW BEST:: SOT 4463104 SOS 2469589 HAS SOPS 2469589 HAS SOUS 2102014 HAS SOUPS 2102014 WITH SCORE 2104483.589
AT ITER 3356 NEW BEST:: SOT 4461704 SOS 2468316 HAS SOPS 2468316 HAS SOUS 2100750 HAS SOUPS 2100750 WITH SCORE 2103218.316
AT ITER 3376 NEW BEST:: SOT 4461398 SOS 2468010 HAS SOPS 2468010 HAS SOUS 2100084 HAS SOUPS 2100084 WITH SCORE 2102552.01
AT ITER 3379 NEW BEST:: SOT 4461398 SOS 2467886 HAS SOPS 2467886 HAS SOUS 2099960 HAS SOUPS 2099960 WITH SCORE 2102427.886
AT ITER 3380 NEW BEST:: SOT 4461398 SOS 2466318 HAS SOPS 2466318 HAS SOUS 2099554 HAS SOUPS 2099554 WITH SCORE 2102020.318
AT ITER 3389 NEW BEST:: SOT 4461398 SOS 2466313 HAS SOPS 2466313 HAS SOUS 2099554 HAS SOUPS 2099554 WITH SCORE 2102020.313
AT ITER 3392 NEW BEST:: SOT 4461398 SOS 2466313 HAS SOPS 2466313 HAS SOUS 2099506 HAS SOUPS 2099506 WITH SCORE 2101972.313
AT ITER 3398 NEW BEST:: SOT 4461398 SOS 2466075 HAS SOPS 2466075 HAS SOUS 2099506 HAS SOUPS 2099506 WITH SCORE 2101972.075
AT ITER 3401 NEW BEST:: SOT 4461261 SOS 2465532 HAS SOPS 2465532 HAS SOUS 2099332 HAS SOUPS 2099332 WITH SCORE 2101797.532
AT ITER 3402 NEW BEST:: SOT 4458758 SOS 2467107 HAS SOPS 2467107 HAS SOUS 2098565 HAS SOUPS 2098565 WITH SCORE 2101032.107
AT ITER 3403 NEW BEST:: SOT 4458402 SOS 2466822 HAS SOPS 2466822 HAS SOUS 2098280 HAS SOUPS 2098280 WITH SCORE 2100746.822
AT ITER 3409 NEW BEST:: SOT 4457150 SOS 2466417 HAS SOPS 2466417 HAS SOUS 2097782 HAS SOUPS 2097782 WITH SCORE 2100248.417
AT ITER 3413 NEW BEST:: SOT 4457150 SOS 2466238 HAS SOPS 2466238 HAS SOUS 2097782 HAS SOUPS 2097782 WITH SCORE 2100248.238
AT ITER 3434 NEW BEST:: SOT 4456987 SOS 2466075 HAS SOPS 2466075 HAS SOUS 2096632 HAS SOUPS 2096632 WITH SCORE 2099098.075
AT ITER 3456 NEW BEST:: SOT 4456951 SOS 2466043 HAS SOPS 2466043 HAS SOUS 2096600 HAS SOUPS 2096600 WITH SCORE 2099066.043
AT ITER 3462 NEW BEST:: SOT 4455929 SOS 2465067 HAS SOPS 2465067 HAS SOUS 2095758 HAS SOUPS 2095758 WITH SCORE 2098223.067
AT ITER 3466 NEW BEST:: SOT 4454516 SOS 2465073 HAS SOPS 2465073 HAS SOUS 2095419 HAS SOUPS 2095419 WITH SCORE 2097884.073
AT ITER 3485 NEW BEST:: SOT 4453588 SOS 2467469 HAS SOPS 2467469 HAS SOUS 2095248 HAS SOUPS 2095248 WITH SCORE 2097715.469
AT ITER 3486 NEW BEST:: SOT 4453588 SOS 2467349 HAS SOPS 2467349 HAS SOUS 2095248 HAS SOUPS 2095248 WITH SCORE 2097715.349
AT ITER 3494 NEW BEST:: SOT 4453588 SOS 2467216 HAS SOPS 2467216 HAS SOUS 2095248 HAS SOUPS 2095248 WITH SCORE 2097715.216
AT ITER 3500 NEW BEST:: SOT 4450092 SOS 2469118 HAS SOPS 2469118 HAS SOUS 2093181 HAS SOUPS 2093181 WITH SCORE 2095650.118
AT ITER 3504 NEW BEST:: SOT 4447620 SOS 2467011 HAS SOPS 2467011 HAS SOUS 2091569 HAS SOUPS 2091569 WITH SCORE 2094036.011
AT ITER 3525 NEW BEST:: SOT 4447620 SOS 2466661 HAS SOPS 2466661 HAS SOUS 2091569 HAS SOUPS 2091569 WITH SCORE 2094035.661
AT ITER 3527 NEW BEST:: SOT 4447620 SOS 2458174 HAS SOPS 2458174 HAS SOUS 2091509 HAS SOUPS 2091509 WITH SCORE 2093967.174
AT ITER 3528 NEW BEST:: SOT 4447846 SOS 2458086 HAS SOPS 2458086 HAS SOUS 2091277 HAS SOUPS 2091277 WITH SCORE 2093735.086
AT ITER 3533 NEW BEST:: SOT 4447846 SOS 2457591 HAS SOPS 2457591 HAS SOUS 2091277 HAS SOUPS 2091277 WITH SCORE 2093734.591
AT ITER 3535 NEW BEST:: SOT 4447216 SOS 2457787 HAS SOPS 2457787 HAS SOUS 2091185 HAS SOUPS 2091185 WITH SCORE 2093642.787
AT ITER 3536 NEW BEST:: SOT 4441370 SOS 2453795 HAS SOPS 2453795 HAS SOUS 2086199 HAS SOUPS 2086199 WITH SCORE 2088652.795
AT ITER 3539 NEW BEST:: SOT 4441342 SOS 2453774 HAS SOPS 2453774 HAS SOUS 2086171 HAS SOUPS 2086171 WITH SCORE 2088624.774
AT ITER 3546 NEW BEST:: SOT 4441531 SOS 2454188 HAS SOPS 2454188 HAS SOUS 2085874 HAS SOUPS 2085874 WITH SCORE 2088328.188
AT ITER 3549 NEW BEST:: SOT 4441513 SOS 2453666 HAS SOPS 2453666 HAS SOUS 2085867 HAS SOUPS 2085867 WITH SCORE 2088320.666
AT ITER 3553 NEW BEST:: SOT 4440295 SOS 2454443 HAS SOPS 2454443 HAS SOUS 2084729 HAS SOUPS 2084729 WITH SCORE 2087183.443
AT ITER 3556 NEW BEST:: SOT 4440295 SOS 2454176 HAS SOPS 2454176 HAS SOUS 2084729 HAS SOUPS 2084729 WITH SCORE 2087183.176
AT ITER 3557 NEW BEST:: SOT 4440105 SOS 2459831 HAS SOPS 2459831 HAS SOUS 2084539 HAS SOUPS 2084539 WITH SCORE 2086998.831
AT ITER 3563 NEW BEST:: SOT 4439741 SOS 2459478 HAS SOPS 2459478 HAS SOUS 2084175 HAS SOUPS 2084175 WITH SCORE 2086634.478
AT ITER 3565 NEW BEST:: SOT 4438080 SOS 2458360 HAS SOPS 2458360 HAS SOUS 2083286 HAS SOUPS 2083286 WITH SCORE 2085744.36
AT ITER 3571 NEW BEST:: SOT 4436850 SOS 2458685 HAS SOPS 2458685 HAS SOUS 2083120 HAS SOUPS 2083120 WITH SCORE 2085578.685
AT ITER 3577 NEW BEST:: SOT 4436850 SOS 2459216 HAS SOPS 2459216 HAS SOUS 2082938 HAS SOUPS 2082938 WITH SCORE 2085397.216
AT ITER 3581 NEW BEST:: SOT 4436137 SOS 2458725 HAS SOPS 2458725 HAS SOUS 2082554 HAS SOUPS 2082554 WITH SCORE 2085012.725
AT ITER 3596 NEW BEST:: SOT 4435437 SOS 2460839 HAS SOPS 2460839 HAS SOUS 2082390 HAS SOUPS 2082390 WITH SCORE 2084850.839
AT ITER 3602 NEW BEST:: SOT 4435437 SOS 2460716 HAS SOPS 2460716 HAS SOUS 2082267 HAS SOUPS 2082267 WITH SCORE 2084727.716
AT ITER 3606 NEW BEST:: SOT 4435437 SOS 2460366 HAS SOPS 2460366 HAS SOUS 2082267 HAS SOUPS 2082267 WITH SCORE 2084727.366
AT ITER 3610 NEW BEST:: SOT 4430254 SOS 2466520 HAS SOPS 2466520 HAS SOUS 2080075 HAS SOUPS 2080075 WITH SCORE 2082541.52
AT ITER 3620 NEW BEST:: SOT 4430254 SOS 2466435 HAS SOPS 2466435 HAS SOUS 2080075 HAS SOUPS 2080075 WITH SCORE 2082541.435
AT ITER 3626 NEW BEST:: SOT 4430137 SOS 2465774 HAS SOPS 2465774 HAS SOUS 2079872 HAS SOUPS 2079872 WITH SCORE 2082337.774
AT ITER 3629 NEW BEST:: SOT 4428053 SOS 2464202 HAS SOPS 2464202 HAS SOUS 2078596 HAS SOUPS 2078596 WITH SCORE 2081060.202
AT ITER 3630 NEW BEST:: SOT 4427837 SOS 2463891 HAS SOPS 2463891 HAS SOUS 2078271 HAS SOUPS 2078271 WITH SCORE 2080734.891
AT ITER 3632 NEW BEST:: SOT 4427837 SOS 2463702 HAS SOPS 2463702 HAS SOUS 2078271 HAS SOUPS 2078271 WITH SCORE 2080734.702
AT ITER 3639 NEW BEST:: SOT 4426741 SOS 2460498 HAS SOPS 2460498 HAS SOUS 2077989 HAS SOUPS 2077989 WITH SCORE 2080449.498
AT ITER 3652 NEW BEST:: SOT 4426741 SOS 2460429 HAS SOPS 2460429 HAS SOUS 2077989 HAS SOUPS 2077989 WITH SCORE 2080449.429
AT ITER 3653 NEW BEST:: SOT 4426845 SOS 2457662 HAS SOPS 2457662 HAS SOUS 2077881 HAS SOUPS 2077881 WITH SCORE 2080338.662
AT ITER 3655 NEW BEST:: SOT 4426066 SOS 2457162 HAS SOPS 2457162 HAS SOUS 2077600 HAS SOUPS 2077600 WITH SCORE 2080057.162
AT ITER 3656 NEW BEST:: SOT 4423464 SOS 2456544 HAS SOPS 2456544 HAS SOUS 2076401 HAS SOUPS 2076401 WITH SCORE 2078857.544
AT ITER 3658 NEW BEST:: SOT 4423464 SOS 2455040 HAS SOPS 2455040 HAS SOUS 2076401 HAS SOUPS 2076401 WITH SCORE 2078856.04
AT ITER 3661 NEW BEST:: SOT 4423490 SOS 2454910 HAS SOPS 2454910 HAS SOUS 2076401 HAS SOUPS 2076401 WITH SCORE 2078855.91
AT ITER 3665 NEW BEST:: SOT 4421074 SOS 2456069 HAS SOPS 2456069 HAS SOUS 2075776 HAS SOUPS 2075776 WITH SCORE 2078232.069
AT ITER 3667 NEW BEST:: SOT 4418782 SOS 2457672 HAS SOPS 2457672 HAS SOUS 2074862 HAS SOUPS 2074862 WITH SCORE 2077319.672
AT ITER 3679 NEW BEST:: SOT 4417587 SOS 2456759 HAS SOPS 2456759 HAS SOUS 2074479 HAS SOUPS 2074479 WITH SCORE 2076935.759
AT ITER 3686 NEW BEST:: SOT 4417587 SOS 2456739 HAS SOPS 2456739 HAS SOUS 2074479 HAS SOUPS 2074479 WITH SCORE 2076935.739
AT ITER 3698 NEW BEST:: SOT 4417587 SOS 2456763 HAS SOPS 2456763 HAS SOUS 2074429 HAS SOUPS 2074429 WITH SCORE 2076885.763
AT ITER 3709 NEW BEST:: SOT 4417587 SOS 2456406 HAS SOPS 2456406 HAS SOUS 2074429 HAS SOUPS 2074429 WITH SCORE 2076885.406
AT ITER 3712 NEW BEST:: SOT 4417587 SOS 2456216 HAS SOPS 2456216 HAS SOUS 2074384 HAS SOUPS 2074384 WITH SCORE 2076840.216
AT ITER 3714 NEW BEST:: SOT 4417587 SOS 2456146 HAS SOPS 2456146 HAS SOUS 2074314 HAS SOUPS 2074314 WITH SCORE 2076770.146
AT ITER 3716 NEW BEST:: SOT 4417587 SOS 2456111 HAS SOPS 2456111 HAS SOUS 2074314 HAS SOUPS 2074314 WITH SCORE 2076770.111
AT ITER 3722 NEW BEST:: SOT 4416486 SOS 2455054 HAS SOPS 2455054 HAS SOUS 2073723 HAS SOUPS 2073723 WITH SCORE 2076178.054
AT ITER 3729 NEW BEST:: SOT 4414312 SOS 2462199 HAS SOPS 2462199 HAS SOUS 2073305 HAS SOUPS 2073305 WITH SCORE 2075767.199
AT ITER 3733 NEW BEST:: SOT 4412878 SOS 2461277 HAS SOPS 2461277 HAS SOUS 2072608 HAS SOUPS 2072608 WITH SCORE 2075069.277
AT ITER 3737 NEW BEST:: SOT 4412878 SOS 2457392 HAS SOPS 2457392 HAS SOUS 2072608 HAS SOUPS 2072608 WITH SCORE 2075065.392
AT ITER 3747 NEW BEST:: SOT 4412878 SOS 2456937 HAS SOPS 2456937 HAS SOUS 2072498 HAS SOUPS 2072498 WITH SCORE 2074954.937
AT ITER 3752 NEW BEST:: SOT 4408363 SOS 2454593 HAS SOPS 2454593 HAS SOUS 2069679 HAS SOUPS 2069679 WITH SCORE 2072133.593
AT ITER 3763 NEW BEST:: SOT 4408441 SOS 2454119 HAS SOPS 2454119 HAS SOUS 2068918 HAS SOUPS 2068918 WITH SCORE 2071372.119
AT ITER 3765 NEW BEST:: SOT 4408441 SOS 2454005 HAS SOPS 2454005 HAS SOUS 2068918 HAS SOUPS 2068918 WITH SCORE 2071372.005
AT ITER 3769 NEW BEST:: SOT 4406199 SOS 2452828 HAS SOPS 2452828 HAS SOUS 2067801 HAS SOUPS 2067801 WITH SCORE 2070253.828
AT ITER 3771 NEW BEST:: SOT 4406199 SOS 2452723 HAS SOPS 2452723 HAS SOUS 2067478 HAS SOUPS 2067478 WITH SCORE 2069930.723
AT ITER 3776 NEW BEST:: SOT 4406199 SOS 2452723 HAS SOPS 2452723 HAS SOUS 2067383 HAS SOUPS 2067383 WITH SCORE 2069835.723
AT ITER 3778 NEW BEST:: SOT 4404881 SOS 2451684 HAS SOPS 2451684 HAS SOUS 2066745 HAS SOUPS 2066745 WITH SCORE 2069196.684
AT ITER 3790 NEW BEST:: SOT 4404881 SOS 2451664 HAS SOPS 2451664 HAS SOUS 2066696 HAS SOUPS 2066696 WITH SCORE 2069147.664
AT ITER 3800 NEW BEST:: SOT 4404609 SOS 2451031 HAS SOPS 2451031 HAS SOUS 2066237 HAS SOUPS 2066237 WITH SCORE 2068688.031
AT ITER 3801 NEW BEST:: SOT 4401971 SOS 2450751 HAS SOPS 2450751 HAS SOUS 2064770 HAS SOUPS 2064770 WITH SCORE 2067220.751
AT ITER 3804 NEW BEST:: SOT 4401926 SOS 2450650 HAS SOPS 2450650 HAS SOUS 2064669 HAS SOUPS 2064669 WITH SCORE 2067119.65
AT ITER 3805 NEW BEST:: SOT 4402050 SOS 2450408 HAS SOPS 2450408 HAS SOUS 2064401 HAS SOUPS 2064401 WITH SCORE 2066851.408
AT ITER 3812 NEW BEST:: SOT 4402014 SOS 2450372 HAS SOPS 2450372 HAS SOUS 2064365 HAS SOUPS 2064365 WITH SCORE 2066815.372
AT ITER 3816 NEW BEST:: SOT 4402014 SOS 2448413 HAS SOPS 2448413 HAS SOUS 2064114 HAS SOUPS 2064114 WITH SCORE 2066562.413
AT ITER 3829 NEW BEST:: SOT 4402014 SOS 2448263 HAS SOPS 2448263 HAS SOUS 2064114 HAS SOUPS 2064114 WITH SCORE 2066562.263
AT ITER 3831 NEW BEST:: SOT 4402056 SOS 2448305 HAS SOPS 2448305 HAS SOUS 2063984 HAS SOUPS 2063984 WITH SCORE 2066432.305
AT ITER 3841 NEW BEST:: SOT 4401648 SOS 2447357 HAS SOPS 2447357 HAS SOUS 2062997 HAS SOUPS 2062997 WITH SCORE 2065444.357
AT ITER 3842 NEW BEST:: SOT 4401648 SOS 2447352 HAS SOPS 2447352 HAS SOUS 2062997 HAS SOUPS 2062997 WITH SCORE 2065444.352
AT ITER 3845 NEW BEST:: SOT 4401641 SOS 2447345 HAS SOPS 2447345 HAS SOUS 2062990 HAS SOUPS 2062990 WITH SCORE 2065437.345
AT ITER 3846 NEW BEST:: SOT 4401492 SOS 2447196 HAS SOPS 2447196 HAS SOUS 2062625 HAS SOUPS 2062625 WITH SCORE 2065072.196
AT ITER 3849 NEW BEST:: SOT 4401492 SOS 2447142 HAS SOPS 2447142 HAS SOUS 2062625 HAS SOUPS 2062625 WITH SCORE 2065072.142
AT ITER 3850 NEW BEST:: SOT 4401492 SOS 2446964 HAS SOPS 2446964 HAS SOUS 2062519 HAS SOUPS 2062519 WITH SCORE 2064965.964
AT ITER 3852 NEW BEST:: SOT 4401492 SOS 2446843 HAS SOPS 2446843 HAS SOUS 2062519 HAS SOUPS 2062519 WITH SCORE 2064965.843
AT ITER 3859 NEW BEST:: SOT 4401452 SOS 2446803 HAS SOPS 2446803 HAS SOUS 2062479 HAS SOUPS 2062479 WITH SCORE 2064925.803
AT ITER 3868 NEW BEST:: SOT 4401064 SOS 2446455 HAS SOPS 2446455 HAS SOUS 2062131 HAS SOUPS 2062131 WITH SCORE 2064577.455
AT ITER 3870 NEW BEST:: SOT 4397302 SOS 2451855 HAS SOPS 2451855 HAS SOUS 2060461 HAS SOUPS 2060461 WITH SCORE 2062912.855
AT ITER 3875 NEW BEST:: SOT 4395647 SOS 2455047 HAS SOPS 2455047 HAS SOUS 2060238 HAS SOUPS 2060238 WITH SCORE 2062693.047
AT ITER 3879 NEW BEST:: SOT 4395647 SOS 2454922 HAS SOPS 2454922 HAS SOUS 2060238 HAS SOUPS 2060238 WITH SCORE 2062692.922
AT ITER 3890 NEW BEST:: SOT 4395647 SOS 2454870 HAS SOPS 2454870 HAS SOUS 2060238 HAS SOUPS 2060238 WITH SCORE 2062692.87
AT ITER 3892 NEW BEST:: SOT 4395647 SOS 2455603 HAS SOPS 2455603 HAS SOUS 2060036 HAS SOUPS 2060036 WITH SCORE 2062491.603
AT ITER 3894 NEW BEST:: SOT 4395467 SOS 2455311 HAS SOPS 2455311 HAS SOUS 2059722 HAS SOUPS 2059722 WITH SCORE 2062177.311
AT ITER 3898 NEW BEST:: SOT 4395467 SOS 2455311 HAS SOPS 2455311 HAS SOUS 2059695 HAS SOUPS 2059695 WITH SCORE 2062150.311
AT ITER 3908 NEW BEST:: SOT 4392057 SOS 2453883 HAS SOPS 2453883 HAS SOUS 2059136 HAS SOUPS 2059136 WITH SCORE 2061589.883
AT ITER 3916 NEW BEST:: SOT 4391997 SOS 2453823 HAS SOPS 2453823 HAS SOUS 2058484 HAS SOUPS 2058484 WITH SCORE 2060937.823
AT ITER 3917 NEW BEST:: SOT 4391997 SOS 2454860 HAS SOPS 2454860 HAS SOUS 2058444 HAS SOUPS 2058444 WITH SCORE 2060898.86
AT ITER 3918 NEW BEST:: SOT 4390027 SOS 2453084 HAS SOPS 2453084 HAS SOUS 2056580 HAS SOUPS 2056580 WITH SCORE 2059033.084
AT ITER 3930 NEW BEST:: SOT 4390027 SOS 2452930 HAS SOPS 2452930 HAS SOUS 2056580 HAS SOUPS 2056580 WITH SCORE 2059032.93
AT ITER 3934 NEW BEST:: SOT 4389809 SOS 2454054 HAS SOPS 2454054 HAS SOUS 2056549 HAS SOUPS 2056549 WITH SCORE 2059003.054
AT ITER 3936 NEW BEST:: SOT 4389809 SOS 2453706 HAS SOPS 2453706 HAS SOUS 2056521 HAS SOUPS 2056521 WITH SCORE 2058974.706
AT ITER 3944 NEW BEST:: SOT 4389665 SOS 2453388 HAS SOPS 2453388 HAS SOUS 2056461 HAS SOUPS 2056461 WITH SCORE 2058914.388
AT ITER 3946 NEW BEST:: SOT 4389665 SOS 2453178 HAS SOPS 2453178 HAS SOUS 2056260 HAS SOUPS 2056260 WITH SCORE 2058713.178
AT ITER 3962 NEW BEST:: SOT 4389663 SOS 2453023 HAS SOPS 2453023 HAS SOUS 2055985 HAS SOUPS 2055985 WITH SCORE 2058438.023
AT ITER 3964 NEW BEST:: SOT 4389633 SOS 2453152 HAS SOPS 2453152 HAS SOUS 2055947 HAS SOUPS 2055947 WITH SCORE 2058400.152
AT ITER 3966 NEW BEST:: SOT 4389462 SOS 2452912 HAS SOPS 2452912 HAS SOUS 2055368 HAS SOUPS 2055368 WITH SCORE 2057820.912
AT ITER 3968 NEW BEST:: SOT 4389452 SOS 2452598 HAS SOPS 2452598 HAS SOUS 2055272 HAS SOUPS 2055272 WITH SCORE 2057724.598
AT ITER 3982 NEW BEST:: SOT 4387729 SOS 2452758 HAS SOPS 2452758 HAS SOUS 2054494 HAS SOUPS 2054494 WITH SCORE 2056946.758
AT ITER 3986 NEW BEST:: SOT 4386211 SOS 2451515 HAS SOPS 2451515 HAS SOUS 2052976 HAS SOUPS 2052976 WITH SCORE 2055427.515
AT ITER 3993 NEW BEST:: SOT 4386956 SOS 2452260 HAS SOPS 2452260 HAS SOUS 2052868 HAS SOUPS 2052868 WITH SCORE 2055320.26
AT ITER 3994 NEW BEST:: SOT 4386956 SOS 2452260 HAS SOPS 2452260 HAS SOUS 2052836 HAS SOUPS 2052836 WITH SCORE 2055288.26
AT ITER 3999 NEW BEST:: SOT 4386956 SOS 2451624 HAS SOPS 2451624 HAS SOUS 2052566 HAS SOUPS 2052566 WITH SCORE 2055017.624
AT ITER 4005 NEW BEST:: SOT 4386956 SOS 2450660 HAS SOPS 2450660 HAS SOUS 2052566 HAS SOUPS 2052566 WITH SCORE 2055016.66
AT ITER 4018 NEW BEST:: SOT 4386956 SOS 2450454 HAS SOPS 2450454 HAS SOUS 2052566 HAS SOUPS 2052566 WITH SCORE 2055016.454
AT ITER 4022 NEW BEST:: SOT 4386920 SOS 2450418 HAS SOPS 2450418 HAS SOUS 2052530 HAS SOUPS 2052530 WITH SCORE 2054980.418
AT ITER 4029 NEW BEST:: SOT 4386823 SOS 2450428 HAS SOPS 2450428 HAS SOUS 2052320 HAS SOUPS 2052320 WITH SCORE 2054770.428
AT ITER 4030 NEW BEST:: SOT 4386823 SOS 2450330 HAS SOPS 2450330 HAS SOUS 2052320 HAS SOUPS 2052320 WITH SCORE 2054770.33
AT ITER 4032 NEW BEST:: SOT 4386131 SOS 2449908 HAS SOPS 2449908 HAS SOUS 2051985 HAS SOUPS 2051985 WITH SCORE 2054434.908
AT ITER 4038 NEW BEST:: SOT 4386131 SOS 2449675 HAS SOPS 2449675 HAS SOUS 2051985 HAS SOUPS 2051985 WITH SCORE 2054434.675
AT ITER 4040 NEW BEST:: SOT 4385875 SOS 2449419 HAS SOPS 2449419 HAS SOUS 2050813 HAS SOUPS 2050813 WITH SCORE 2053262.419
AT ITER 4045 NEW BEST:: SOT 4386116 SOS 2449252 HAS SOPS 2449252 HAS SOUS 2050478 HAS SOUPS 2050478 WITH SCORE 2052927.252
AT ITER 4047 NEW BEST:: SOT 4385602 SOS 2448918 HAS SOPS 2448918 HAS SOUS 2050144 HAS SOUPS 2050144 WITH SCORE 2052592.918
AT ITER 4048 NEW BEST:: SOT 4385738 SOS 2449061 HAS SOPS 2449061 HAS SOUS 2050013 HAS SOUPS 2050013 WITH SCORE 2052462.061
AT ITER 4052 NEW BEST:: SOT 4385674 SOS 2449021 HAS SOPS 2449021 HAS SOUS 2049957 HAS SOUPS 2049957 WITH SCORE 2052406.021
AT ITER 4054 NEW BEST:: SOT 4385674 SOS 2448807 HAS SOPS 2448807 HAS SOUS 2049933 HAS SOUPS 2049933 WITH SCORE 2052381.807
AT ITER 4056 NEW BEST:: SOT 4385674 SOS 2449363 HAS SOPS 2449363 HAS SOUS 2049710 HAS SOUPS 2049710 WITH SCORE 2052159.363
AT ITER 4063 NEW BEST:: SOT 4385674 SOS 2449038 HAS SOPS 2449038 HAS SOUS 2049394 HAS SOUPS 2049394 WITH SCORE 2051843.038
AT ITER 4069 NEW BEST:: SOT 4385674 SOS 2449252 HAS SOPS 2449252 HAS SOUS 2048906 HAS SOUPS 2048906 WITH SCORE 2051355.252
AT ITER 4072 NEW BEST:: SOT 4384469 SOS 2448705 HAS SOPS 2448705 HAS SOUS 2048496 HAS SOUPS 2048496 WITH SCORE 2050944.705
AT ITER 4073 NEW BEST:: SOT 4383792 SOS 2448391 HAS SOPS 2448391 HAS SOUS 2048036 HAS SOUPS 2048036 WITH SCORE 2050484.391
AT ITER 4082 NEW BEST:: SOT 4383748 SOS 2448085 HAS SOPS 2448085 HAS SOUS 2047836 HAS SOUPS 2047836 WITH SCORE 2050284.085
AT ITER 4092 NEW BEST:: SOT 4384034 SOS 2448503 HAS SOPS 2448503 HAS SOUS 2047727 HAS SOUPS 2047727 WITH SCORE 2050175.503
AT ITER 4093 NEW BEST:: SOT 4384370 SOS 2448440 HAS SOPS 2448440 HAS SOUS 2047563 HAS SOUPS 2047563 WITH SCORE 2050011.44
AT ITER 4104 NEW BEST:: SOT 4384370 SOS 2448127 HAS SOPS 2448127 HAS SOUS 2046894 HAS SOUPS 2046894 WITH SCORE 2049342.127
AT ITER 4106 NEW BEST:: SOT 4384370 SOS 2447950 HAS SOPS 2447950 HAS SOUS 2046613 HAS SOUPS 2046613 WITH SCORE 2049060.95
AT ITER 4111 NEW BEST:: SOT 4384370 SOS 2447567 HAS SOPS 2447567 HAS SOUS 2046613 HAS SOUPS 2046613 WITH SCORE 2049060.567
AT ITER 4113 NEW BEST:: SOT 4384370 SOS 2447464 HAS SOPS 2447464 HAS SOUS 2046613 HAS SOUPS 2046613 WITH SCORE 2049060.464
AT ITER 4117 NEW BEST:: SOT 4384331 SOS 2447225 HAS SOPS 2447225 HAS SOUS 2046386 HAS SOUPS 2046386 WITH SCORE 2048833.225
AT ITER 4118 NEW BEST:: SOT 4379253 SOS 2452712 HAS SOPS 2452712 HAS SOUS 2042141 HAS SOUPS 2042141 WITH SCORE 2044593.712
AT ITER 4119 NEW BEST:: SOT 4379014 SOS 2452900 HAS SOPS 2452900 HAS SOUS 2041886 HAS SOUPS 2041886 WITH SCORE 2044338.9
AT ITER 4123 NEW BEST:: SOT 4379014 SOS 2452763 HAS SOPS 2452763 HAS SOUS 2041886 HAS SOUPS 2041886 WITH SCORE 2044338.763
AT ITER 4136 NEW BEST:: SOT 4379014 SOS 2452763 HAS SOPS 2452763 HAS SOUS 2041826 HAS SOUPS 2041826 WITH SCORE 2044278.763
AT ITER 4140 NEW BEST:: SOT 4379935 SOS 2447600 HAS SOPS 2447600 HAS SOUS 2041422 HAS SOUPS 2041422 WITH SCORE 2043869.6
AT ITER 4145 NEW BEST:: SOT 4379935 SOS 2447331 HAS SOPS 2447331 HAS SOUS 2041300 HAS SOUPS 2041300 WITH SCORE 2043747.331
AT ITER 4147 NEW BEST:: SOT 4379935 SOS 2447323 HAS SOPS 2447323 HAS SOUS 2041300 HAS SOUPS 2041300 WITH SCORE 2043747.323
AT ITER 4158 NEW BEST:: SOT 4379403 SOS 2446877 HAS SOPS 2446877 HAS SOUS 2040134 HAS SOUPS 2040134 WITH SCORE 2042580.877
AT ITER 4163 NEW BEST:: SOT 4378458 SOS 2446443 HAS SOPS 2446443 HAS SOUS 2039300 HAS SOUPS 2039300 WITH SCORE 2041746.443
AT ITER 4184 NEW BEST:: SOT 4376034 SOS 2445835 HAS SOPS 2445835 HAS SOUS 2038644 HAS SOUPS 2038644 WITH SCORE 2041089.835
AT ITER 4186 NEW BEST:: SOT 4374761 SOS 2444944 HAS SOPS 2444944 HAS SOUS 2038517 HAS SOUPS 2038517 WITH SCORE 2040961.944
AT ITER 4190 NEW BEST:: SOT 4374761 SOS 2444575 HAS SOPS 2444575 HAS SOUS 2038517 HAS SOUPS 2038517 WITH SCORE 2040961.575
AT ITER 4192 NEW BEST:: SOT 4374707 SOS 2444521 HAS SOPS 2444521 HAS SOUS 2038058 HAS SOUPS 2038058 WITH SCORE 2040502.521
AT ITER 4194 NEW BEST:: SOT 4374293 SOS 2444375 HAS SOPS 2444375 HAS SOUS 2037871 HAS SOUPS 2037871 WITH SCORE 2040315.375
AT ITER 4195 NEW BEST:: SOT 4374284 SOS 2444366 HAS SOPS 2444366 HAS SOUS 2037813 HAS SOUPS 2037813 WITH SCORE 2040257.366
AT ITER 4197 NEW BEST:: SOT 4374284 SOS 2444538 HAS SOPS 2444538 HAS SOUS 2037663 HAS SOUPS 2037663 WITH SCORE 2040107.538
AT ITER 4207 NEW BEST:: SOT 4373384 SOS 2446064 HAS SOPS 2446064 HAS SOUS 2037418 HAS SOUPS 2037418 WITH SCORE 2039864.064
AT ITER 4214 NEW BEST:: SOT 4373384 SOS 2446064 HAS SOPS 2446064 HAS SOUS 2037380 HAS SOUPS 2037380 WITH SCORE 2039826.064
AT ITER 4235 NEW BEST:: SOT 4373384 SOS 2443616 HAS SOPS 2443616 HAS SOUS 2037380 HAS SOUPS 2037380 WITH SCORE 2039823.616
AT ITER 4237 NEW BEST:: SOT 4373399 SOS 2443197 HAS SOPS 2443197 HAS SOUS 2036597 HAS SOUPS 2036597 WITH SCORE 2039040.197
AT ITER 4238 NEW BEST:: SOT 4373399 SOS 2443256 HAS SOPS 2443256 HAS SOUS 2036519 HAS SOUPS 2036519 WITH SCORE 2038962.256
AT ITER 4242 NEW BEST:: SOT 4373399 SOS 2443256 HAS SOPS 2443256 HAS SOUS 2035998 HAS SOUPS 2035998 WITH SCORE 2038441.256
AT ITER 4253 NEW BEST:: SOT 4373282 SOS 2443273 HAS SOPS 2443273 HAS SOUS 2035802 HAS SOUPS 2035802 WITH SCORE 2038245.273
AT ITER 4264 NEW BEST:: SOT 4373262 SOS 2442915 HAS SOPS 2442915 HAS SOUS 2035752 HAS SOUPS 2035752 WITH SCORE 2038194.915
AT ITER 4269 NEW BEST:: SOT 4373262 SOS 2442794 HAS SOPS 2442794 HAS SOUS 2035752 HAS SOUPS 2035752 WITH SCORE 2038194.794
AT ITER 4273 NEW BEST:: SOT 4373247 SOS 2442520 HAS SOPS 2442520 HAS SOUS 2035280 HAS SOUPS 2035280 WITH SCORE 2037722.52
AT ITER 4275 NEW BEST:: SOT 4373247 SOS 2442958 HAS SOPS 2442958 HAS SOUS 2034851 HAS SOUPS 2034851 WITH SCORE 2037293.958
AT ITER 4277 NEW BEST:: SOT 4373247 SOS 2442950 HAS SOPS 2442950 HAS SOUS 2034851 HAS SOUPS 2034851 WITH SCORE 2037293.95
AT ITER 4279 NEW BEST:: SOT 4373309 SOS 2443217 HAS SOPS 2443217 HAS SOUS 2034612 HAS SOUPS 2034612 WITH SCORE 2037055.217
AT ITER 4282 NEW BEST:: SOT 4373309 SOS 2442763 HAS SOPS 2442763 HAS SOUS 2034612 HAS SOUPS 2034612 WITH SCORE 2037054.763
AT ITER 4288 NEW BEST:: SOT 4373309 SOS 2442595 HAS SOPS 2442595 HAS SOUS 2034591 HAS SOUPS 2034591 WITH SCORE 2037033.595
AT ITER 4295 NEW BEST:: SOT 4373309 SOS 2442347 HAS SOPS 2442347 HAS SOUS 2034591 HAS SOUPS 2034591 WITH SCORE 2037033.347
AT ITER 4312 NEW BEST:: SOT 4373221 SOS 2441801 HAS SOPS 2441801 HAS SOUS 2034517 HAS SOUPS 2034517 WITH SCORE 2036958.801
AT ITER 4314 NEW BEST:: SOT 4373012 SOS 2441592 HAS SOPS 2441592 HAS SOUS 2034308 HAS SOUPS 2034308 WITH SCORE 2036749.592
AT ITER 4316 NEW BEST:: SOT 4370354 SOS 2447047 HAS SOPS 2447047 HAS SOUS 2031650 HAS SOUPS 2031650 WITH SCORE 2034097.047
AT ITER 4319 NEW BEST:: SOT 4370354 SOS 2446938 HAS SOPS 2446938 HAS SOUS 2031650 HAS SOUPS 2031650 WITH SCORE 2034096.938
AT ITER 4320 NEW BEST:: SOT 4370078 SOS 2446614 HAS SOPS 2446614 HAS SOUS 2031501 HAS SOUPS 2031501 WITH SCORE 2033947.614
AT ITER 4326 NEW BEST:: SOT 4369583 SOS 2445958 HAS SOPS 2445958 HAS SOUS 2030511 HAS SOUPS 2030511 WITH SCORE 2032956.958
AT ITER 4331 NEW BEST:: SOT 4369583 SOS 2445670 HAS SOPS 2445670 HAS SOUS 2030469 HAS SOUPS 2030469 WITH SCORE 2032914.67
AT ITER 4336 NEW BEST:: SOT 4369583 SOS 2445299 HAS SOPS 2445299 HAS SOUS 2030469 HAS SOUPS 2030469 WITH SCORE 2032914.299
AT ITER 4342 NEW BEST:: SOT 4366372 SOS 2452559 HAS SOPS 2452559 HAS SOUS 2030172 HAS SOUPS 2030172 WITH SCORE 2032624.559
AT ITER 4373 NEW BEST:: SOT 4362195 SOS 2458979 HAS SOPS 2458979 HAS SOUS 2029538 HAS SOUPS 2029538 WITH SCORE 2031996.979
AT ITER 4385 NEW BEST:: SOT 4361411 SOS 2458346 HAS SOPS 2458346 HAS SOUS 2028985 HAS SOUPS 2028985 WITH SCORE 2031443.346
AT ITER 4388 NEW BEST:: SOT 4361411 SOS 2455916 HAS SOPS 2455916 HAS SOUS 2026782 HAS SOUPS 2026782 WITH SCORE 2029237.916
AT ITER 4389 NEW BEST:: SOT 4361411 SOS 2455771 HAS SOPS 2455771 HAS SOUS 2026782 HAS SOUPS 2026782 WITH SCORE 2029237.771
AT ITER 4393 NEW BEST:: SOT 4355220 SOS 2456363 HAS SOPS 2456363 HAS SOUS 2023142 HAS SOUPS 2023142 WITH SCORE 2025598.363
AT ITER 4408 NEW BEST:: SOT 4355220 SOS 2457153 HAS SOPS 2457153 HAS SOUS 2023118 HAS SOUPS 2023118 WITH SCORE 2025575.153
AT ITER 4412 NEW BEST:: SOT 4351426 SOS 2455144 HAS SOPS 2455144 HAS SOUS 2021739 HAS SOUPS 2021739 WITH SCORE 2024194.144
AT ITER 4416 NEW BEST:: SOT 4351426 SOS 2454860 HAS SOPS 2454860 HAS SOUS 2021315 HAS SOUPS 2021315 WITH SCORE 2023769.86
AT ITER 4417 NEW BEST:: SOT 4351426 SOS 2454728 HAS SOPS 2454728 HAS SOUS 2021315 HAS SOUPS 2021315 WITH SCORE 2023769.728
AT ITER 4426 NEW BEST:: SOT 4349483 SOS 2455439 HAS SOPS 2455439 HAS SOUS 2020982 HAS SOUPS 2020982 WITH SCORE 2023437.439
AT ITER 4427 NEW BEST:: SOT 4349832 SOS 2455928 HAS SOPS 2455928 HAS SOUS 2020955 HAS SOUPS 2020955 WITH SCORE 2023410.928
AT ITER 4432 NEW BEST:: SOT 4346293 SOS 2462127 HAS SOPS 2462127 HAS SOUS 2019175 HAS SOUPS 2019175 WITH SCORE 2021637.127
AT ITER 4437 NEW BEST:: SOT 4346293 SOS 2461873 HAS SOPS 2461873 HAS SOUS 2019175 HAS SOUPS 2019175 WITH SCORE 2021636.873
AT ITER 4446 NEW BEST:: SOT 4343912 SOS 2460644 HAS SOPS 2460644 HAS SOUS 2017186 HAS SOUPS 2017186 WITH SCORE 2019646.644
AT ITER 4449 NEW BEST:: SOT 4343912 SOS 2460244 HAS SOPS 2460244 HAS SOUS 2016706 HAS SOUPS 2016706 WITH SCORE 2019166.244
AT ITER 4459 NEW BEST:: SOT 4344194 SOS 2460470 HAS SOPS 2460470 HAS SOUS 2016684 HAS SOUPS 2016684 WITH SCORE 2019144.47
AT ITER 4461 NEW BEST:: SOT 4343421 SOS 2459833 HAS SOPS 2459833 HAS SOUS 2016066 HAS SOUPS 2016066 WITH SCORE 2018525.833
AT ITER 4472 NEW BEST:: SOT 4343421 SOS 2459698 HAS SOPS 2459698 HAS SOUS 2016052 HAS SOUPS 2016052 WITH SCORE 2018511.698
AT ITER 4474 NEW BEST:: SOT 4338916 SOS 2458636 HAS SOPS 2458636 HAS SOUS 2014130 HAS SOUPS 2014130 WITH SCORE 2016588.636
AT ITER 4489 NEW BEST:: SOT 4338916 SOS 2458577 HAS SOPS 2458577 HAS SOUS 2014130 HAS SOUPS 2014130 WITH SCORE 2016588.577
AT ITER 4504 NEW BEST:: SOT 4338640 SOS 2458133 HAS SOPS 2458133 HAS SOUS 2013549 HAS SOUPS 2013549 WITH SCORE 2016007.133
AT ITER 4505 NEW BEST:: SOT 4338340 SOS 2457156 HAS SOPS 2457156 HAS SOUS 2012837 HAS SOUPS 2012837 WITH SCORE 2015294.156
AT ITER 4513 NEW BEST:: SOT 4338512 SOS 2456287 HAS SOPS 2456287 HAS SOUS 2012704 HAS SOUPS 2012704 WITH SCORE 2015160.287
AT ITER 4514 NEW BEST:: SOT 4338512 SOS 2456188 HAS SOPS 2456188 HAS SOUS 2012704 HAS SOUPS 2012704 WITH SCORE 2015160.188
AT ITER 4515 NEW BEST:: SOT 4338512 SOS 2456113 HAS SOPS 2456113 HAS SOUS 2012704 HAS SOUPS 2012704 WITH SCORE 2015160.113
AT ITER 4516 NEW BEST:: SOT 4338512 SOS 2455989 HAS SOPS 2455989 HAS SOUS 2012496 HAS SOUPS 2012496 WITH SCORE 2014951.989
AT ITER 4517 NEW BEST:: SOT 4338512 SOS 2455750 HAS SOPS 2455750 HAS SOUS 2012496 HAS SOUPS 2012496 WITH SCORE 2014951.75
AT ITER 4521 NEW BEST:: SOT 4336929 SOS 2453698 HAS SOPS 2453698 HAS SOUS 2010726 HAS SOUPS 2010726 WITH SCORE 2013179.698
AT ITER 4529 NEW BEST:: SOT 4336929 SOS 2454576 HAS SOPS 2454576 HAS SOUS 2010688 HAS SOUPS 2010688 WITH SCORE 2013142.576
AT ITER 4533 NEW BEST:: SOT 4336929 SOS 2454311 HAS SOPS 2454311 HAS SOUS 2010688 HAS SOUPS 2010688 WITH SCORE 2013142.311
AT ITER 4535 NEW BEST:: SOT 4336379 SOS 2453811 HAS SOPS 2453811 HAS SOUS 2010188 HAS SOUPS 2010188 WITH SCORE 2012641.811
AT ITER 4538 NEW BEST:: SOT 4333743 SOS 2453796 HAS SOPS 2453796 HAS SOUS 2009697 HAS SOUPS 2009697 WITH SCORE 2012150.796
AT ITER 4542 NEW BEST:: SOT 4330170 SOS 2452163 HAS SOPS 2452163 HAS SOUS 2007458 HAS SOUPS 2007458 WITH SCORE 2009910.163
AT ITER 4544 NEW BEST:: SOT 4330170 SOS 2452285 HAS SOPS 2452285 HAS SOUS 2007058 HAS SOUPS 2007058 WITH SCORE 2009510.285
AT ITER 4553 NEW BEST:: SOT 4330170 SOS 2452274 HAS SOPS 2452274 HAS SOUS 2007047 HAS SOUPS 2007047 WITH SCORE 2009499.274
AT ITER 4555 NEW BEST:: SOT 4330170 SOS 2452068 HAS SOPS 2452068 HAS SOUS 2007047 HAS SOUPS 2007047 WITH SCORE 2009499.068
AT ITER 4560 NEW BEST:: SOT 4328675 SOS 2451129 HAS SOPS 2451129 HAS SOUS 2005998 HAS SOUPS 2005998 WITH SCORE 2008449.129
AT ITER 4563 NEW BEST:: SOT 4328675 SOS 2450745 HAS SOPS 2450745 HAS SOUS 2005871 HAS SOUPS 2005871 WITH SCORE 2008321.745
AT ITER 4565 NEW BEST:: SOT 4328433 SOS 2450503 HAS SOPS 2450503 HAS SOUS 2005871 HAS SOUPS 2005871 WITH SCORE 2008321.503
AT ITER 4568 NEW BEST:: SOT 4329014 SOS 2450952 HAS SOPS 2450952 HAS SOUS 2005735 HAS SOUPS 2005735 WITH SCORE 2008185.952
AT ITER 4570 NEW BEST:: SOT 4329739 SOS 2449191 HAS SOPS 2449191 HAS SOUS 2005661 HAS SOUPS 2005661 WITH SCORE 2008110.191
AT ITER 4582 NEW BEST:: SOT 4329739 SOS 2449166 HAS SOPS 2449166 HAS SOUS 2005661 HAS SOUPS 2005661 WITH SCORE 2008110.166
AT ITER 4587 NEW BEST:: SOT 4329752 SOS 2449353 HAS SOPS 2449353 HAS SOUS 2005313 HAS SOUPS 2005313 WITH SCORE 2007762.353
AT ITER 4596 NEW BEST:: SOT 4329477 SOS 2448779 HAS SOPS 2448779 HAS SOUS 2004331 HAS SOUPS 2004331 WITH SCORE 2006779.779
AT ITER 4602 NEW BEST:: SOT 4329392 SOS 2448341 HAS SOPS 2448341 HAS SOUS 2004208 HAS SOUPS 2004208 WITH SCORE 2006656.341
AT ITER 4604 NEW BEST:: SOT 4329392 SOS 2448331 HAS SOPS 2448331 HAS SOUS 2004208 HAS SOUPS 2004208 WITH SCORE 2006656.331
AT ITER 4605 NEW BEST:: SOT 4328841 SOS 2447780 HAS SOPS 2447780 HAS SOUS 2003657 HAS SOUPS 2003657 WITH SCORE 2006104.78
AT ITER 4607 NEW BEST:: SOT 4328841 SOS 2448183 HAS SOPS 2448183 HAS SOUS 2003466 HAS SOUPS 2003466 WITH SCORE 2005914.183
AT ITER 4619 NEW BEST:: SOT 4328841 SOS 2448484 HAS SOPS 2448484 HAS SOUS 2003410 HAS SOUPS 2003410 WITH SCORE 2005858.484
AT ITER 4621 NEW BEST:: SOT 4328841 SOS 2448478 HAS SOPS 2448478 HAS SOUS 2003410 HAS SOUPS 2003410 WITH SCORE 2005858.478
AT ITER 4628 NEW BEST:: SOT 4328768 SOS 2448405 HAS SOPS 2448405 HAS SOUS 2003337 HAS SOUPS 2003337 WITH SCORE 2005785.405
AT ITER 4632 NEW BEST:: SOT 4328023 SOS 2447682 HAS SOPS 2447682 HAS SOUS 2002611 HAS SOUPS 2002611 WITH SCORE 2005058.682
AT ITER 4635 NEW BEST:: SOT 4328023 SOS 2447682 HAS SOPS 2447682 HAS SOUS 2002395 HAS SOUPS 2002395 WITH SCORE 2004842.682
AT ITER 4643 NEW BEST:: SOT 4328023 SOS 2447571 HAS SOPS 2447571 HAS SOUS 2002395 HAS SOUPS 2002395 WITH SCORE 2004842.571
AT ITER 4647 NEW BEST:: SOT 4328023 SOS 2446877 HAS SOPS 2446877 HAS SOUS 2002056 HAS SOUPS 2002056 WITH SCORE 2004502.877
AT ITER 4650 NEW BEST:: SOT 4324746 SOS 2450298 HAS SOPS 2450298 HAS SOUS 2001443 HAS SOUPS 2001443 WITH SCORE 2003893.298
AT ITER 4651 NEW BEST:: SOT 4324746 SOS 2450252 HAS SOPS 2450252 HAS SOUS 2001443 HAS SOUPS 2001443 WITH SCORE 2003893.252
AT ITER 4653 NEW BEST:: SOT 4324746 SOS 2450382 HAS SOPS 2450382 HAS SOUS 2001442 HAS SOUPS 2001442 WITH SCORE 2003892.382
AT ITER 4655 NEW BEST:: SOT 4324746 SOS 2449825 HAS SOPS 2449825 HAS SOUS 2001442 HAS SOUPS 2001442 WITH SCORE 2003891.825
AT ITER 4659 NEW BEST:: SOT 4324172 SOS 2449335 HAS SOPS 2449335 HAS SOUS 2000925 HAS SOUPS 2000925 WITH SCORE 2003374.335
AT ITER 4662 NEW BEST:: SOT 4324172 SOS 2448921 HAS SOPS 2448921 HAS SOUS 2000925 HAS SOUPS 2000925 WITH SCORE 2003373.921
AT ITER 4664 NEW BEST:: SOT 4324148 SOS 2449207 HAS SOPS 2449207 HAS SOUS 2000795 HAS SOUPS 2000795 WITH SCORE 2003244.207
AT ITER 4674 NEW BEST:: SOT 4322609 SOS 2449817 HAS SOPS 2449817 HAS SOUS 2000428 HAS SOUPS 2000428 WITH SCORE 2002877.817
AT ITER 4680 NEW BEST:: SOT 4322795 SOS 2449843 HAS SOPS 2449843 HAS SOUS 2000087 HAS SOUPS 2000087 WITH SCORE 2002536.843
AT ITER 4689 NEW BEST:: SOT 4323196 SOS 2449893 HAS SOPS 2449893 HAS SOUS 1999916 HAS SOUPS 1999916 WITH SCORE 2002365.893
AT ITER 4692 NEW BEST:: SOT 4323289 SOS 2449986 HAS SOPS 2449986 HAS SOUS 1999848 HAS SOUPS 1999848 WITH SCORE 2002297.986
AT ITER 4700 NEW BEST:: SOT 4322613 SOS 2451850 HAS SOPS 2451850 HAS SOUS 1999786 HAS SOUPS 1999786 WITH SCORE 2002237.85
AT ITER 4711 NEW BEST:: SOT 4323003 SOS 2451486 HAS SOPS 2451486 HAS SOUS 1999748 HAS SOUPS 1999748 WITH SCORE 2002199.486
AT ITER 4715 NEW BEST:: SOT 4323305 SOS 2451037 HAS SOPS 2451037 HAS SOUS 1999586 HAS SOUPS 1999586 WITH SCORE 2002037.037
AT ITER 4722 NEW BEST:: SOT 4323232 SOS 2450742 HAS SOPS 2450742 HAS SOUS 1999259 HAS SOUPS 1999259 WITH SCORE 2001709.742
AT ITER 4727 NEW BEST:: SOT 4323232 SOS 2450742 HAS SOPS 2450742 HAS SOUS 1999175 HAS SOUPS 1999175 WITH SCORE 2001625.742
AT ITER 4734 NEW BEST:: SOT 4323082 SOS 2450535 HAS SOPS 2450535 HAS SOUS 1998864 HAS SOUPS 1998864 WITH SCORE 2001314.535
AT ITER 4735 NEW BEST:: SOT 4323082 SOS 2450535 HAS SOPS 2450535 HAS SOUS 1998695 HAS SOUPS 1998695 WITH SCORE 2001145.535
AT ITER 4738 NEW BEST:: SOT 4323082 SOS 2450535 HAS SOPS 2450535 HAS SOUS 1998547 HAS SOUPS 1998547 WITH SCORE 2000997.535
AT ITER 4742 NEW BEST:: SOT 4322393 SOS 2450481 HAS SOPS 2450481 HAS SOUS 1998483 HAS SOUPS 1998483 WITH SCORE 2000933.481
AT ITER 4752 NEW BEST:: SOT 4322393 SOS 2450475 HAS SOPS 2450475 HAS SOUS 1998483 HAS SOUPS 1998483 WITH SCORE 2000933.475
AT ITER 4764 NEW BEST:: SOT 4322422 SOS 2450504 HAS SOPS 2450504 HAS SOUS 1998372 HAS SOUPS 1998372 WITH SCORE 2000822.504
AT ITER 4767 NEW BEST:: SOT 4322408 SOS 2450619 HAS SOPS 2450619 HAS SOUS 1997947 HAS SOUPS 1997947 WITH SCORE 2000397.619
AT ITER 4769 NEW BEST:: SOT 4316382 SOS 2451635 HAS SOPS 2451635 HAS SOUS 1995581 HAS SOUPS 1995581 WITH SCORE 1998032.635
AT ITER 4770 NEW BEST:: SOT 4313726 SOS 2449808 HAS SOPS 2449808 HAS SOUS 1994723 HAS SOUPS 1994723 WITH SCORE 1997172.808
AT ITER 4771 NEW BEST:: SOT 4313282 SOS 2450241 HAS SOPS 2450241 HAS SOUS 1994065 HAS SOUPS 1994065 WITH SCORE 1996515.241
AT ITER 4778 NEW BEST:: SOT 4313282 SOS 2450016 HAS SOPS 2450016 HAS SOUS 1994065 HAS SOUPS 1994065 WITH SCORE 1996515.016
AT ITER 4779 NEW BEST:: SOT 4311230 SOS 2449062 HAS SOPS 2449062 HAS SOUS 1993371 HAS SOUPS 1993371 WITH SCORE 1995820.062
AT ITER 4789 NEW BEST:: SOT 4311230 SOS 2448909 HAS SOPS 2448909 HAS SOUS 1993362 HAS SOUPS 1993362 WITH SCORE 1995810.909
AT ITER 4794 NEW BEST:: SOT 4310678 SOS 2448423 HAS SOPS 2448423 HAS SOUS 1992942 HAS SOUPS 1992942 WITH SCORE 1995390.423
AT ITER 4795 NEW BEST:: SOT 4310579 SOS 2448324 HAS SOPS 2448324 HAS SOUS 1992787 HAS SOUPS 1992787 WITH SCORE 1995235.324
AT ITER 4814 NEW BEST:: SOT 4310579 SOS 2448214 HAS SOPS 2448214 HAS SOUS 1992787 HAS SOUPS 1992787 WITH SCORE 1995235.214
AT ITER 4815 NEW BEST:: SOT 4310347 SOS 2449050 HAS SOPS 2449050 HAS SOUS 1992555 HAS SOUPS 1992555 WITH SCORE 1995004.05
AT ITER 4816 NEW BEST:: SOT 4307878 SOS 2456415 HAS SOPS 2456415 HAS SOUS 1991998 HAS SOUPS 1991998 WITH SCORE 1994454.415
AT ITER 4817 NEW BEST:: SOT 4307697 SOS 2456010 HAS SOPS 2456010 HAS SOUS 1991647 HAS SOUPS 1991647 WITH SCORE 1994103.01
AT ITER 4821 NEW BEST:: SOT 4307697 SOS 2456957 HAS SOPS 2456957 HAS SOUS 1991574 HAS SOUPS 1991574 WITH SCORE 1994030.957
AT ITER 4823 NEW BEST:: SOT 4307148 SOS 2456408 HAS SOPS 2456408 HAS SOUS 1991025 HAS SOUPS 1991025 WITH SCORE 1993481.408
AT ITER 4825 NEW BEST:: SOT 4307148 SOS 2456158 HAS SOPS 2456158 HAS SOUS 1991025 HAS SOUPS 1991025 WITH SCORE 1993481.158
AT ITER 4828 NEW BEST:: SOT 4307148 SOS 2455433 HAS SOPS 2455433 HAS SOUS 1990880 HAS SOUPS 1990880 WITH SCORE 1993335.433
AT ITER 4829 NEW BEST:: SOT 4307148 SOS 2453715 HAS SOPS 2453715 HAS SOUS 1990880 HAS SOUPS 1990880 WITH SCORE 1993333.715
AT ITER 4833 NEW BEST:: SOT 4307148 SOS 2453715 HAS SOPS 2453715 HAS SOUS 1990792 HAS SOUPS 1990792 WITH SCORE 1993245.715
AT ITER 4839 NEW BEST:: SOT 4307148 SOS 2453500 HAS SOPS 2453500 HAS SOUS 1990792 HAS SOUPS 1990792 WITH SCORE 1993245.5
AT ITER 4844 NEW BEST:: SOT 4305295 SOS 2456479 HAS SOPS 2456479 HAS SOUS 1990004 HAS SOUPS 1990004 WITH SCORE 1992460.479
AT ITER 4863 NEW BEST:: SOT 4301817 SOS 2462706 HAS SOPS 2462706 HAS SOUS 1989444 HAS SOUPS 1989444 WITH SCORE 1991906.706
AT ITER 4871 NEW BEST:: SOT 4301472 SOS 2462466 HAS SOPS 2462466 HAS SOUS 1989204 HAS SOUPS 1989204 WITH SCORE 1991666.466
AT ITER 4878 NEW BEST:: SOT 4301348 SOS 2462342 HAS SOPS 2462342 HAS SOUS 1988815 HAS SOUPS 1988815 WITH SCORE 1991277.342
AT ITER 4882 NEW BEST:: SOT 4296611 SOS 2458373 HAS SOPS 2458373 HAS SOUS 1986651 HAS SOUPS 1986651 WITH SCORE 1989109.373
AT ITER 4884 NEW BEST:: SOT 4295222 SOS 2458421 HAS SOPS 2458421 HAS SOUS 1985262 HAS SOUPS 1985262 WITH SCORE 1987720.421
AT ITER 4886 NEW BEST:: SOT 4295222 SOS 2457223 HAS SOPS 2457223 HAS SOUS 1985198 HAS SOUPS 1985198 WITH SCORE 1987655.223
AT ITER 4901 NEW BEST:: SOT 4295222 SOS 2457804 HAS SOPS 2457804 HAS SOUS 1984860 HAS SOUPS 1984860 WITH SCORE 1987317.804
AT ITER 4904 NEW BEST:: SOT 4295222 SOS 2456931 HAS SOPS 2456931 HAS SOUS 1984860 HAS SOUPS 1984860 WITH SCORE 1987316.931
AT ITER 4907 NEW BEST:: SOT 4294843 SOS 2456479 HAS SOPS 2456479 HAS SOUS 1984631 HAS SOUPS 1984631 WITH SCORE 1987087.479
AT ITER 4917 NEW BEST:: SOT 4294729 SOS 2456365 HAS SOPS 2456365 HAS SOUS 1984479 HAS SOUPS 1984479 WITH SCORE 1986935.365
AT ITER 4921 NEW BEST:: SOT 4294273 SOS 2455634 HAS SOPS 2455634 HAS SOUS 1983716 HAS SOUPS 1983716 WITH SCORE 1986171.634
AT ITER 4928 NEW BEST:: SOT 4291654 SOS 2453975 HAS SOPS 2453975 HAS SOUS 1982141 HAS SOUPS 1982141 WITH SCORE 1984594.975
AT ITER 4931 NEW BEST:: SOT 4291654 SOS 2453801 HAS SOPS 2453801 HAS SOUS 1981883 HAS SOUPS 1981883 WITH SCORE 1984336.801
AT ITER 4937 NEW BEST:: SOT 4290876 SOS 2453286 HAS SOPS 2453286 HAS SOUS 1981368 HAS SOUPS 1981368 WITH SCORE 1983821.286
AT ITER 4938 NEW BEST:: SOT 4290876 SOS 2452841 HAS SOPS 2452841 HAS SOUS 1981368 HAS SOUPS 1981368 WITH SCORE 1983820.841
AT ITER 4942 NEW BEST:: SOT 4288561 SOS 2451761 HAS SOPS 2451761 HAS SOUS 1980410 HAS SOUPS 1980410 WITH SCORE 1982861.761
AT ITER 4943 NEW BEST:: SOT 4286297 SOS 2450112 HAS SOPS 2450112 HAS SOUS 1978703 HAS SOUPS 1978703 WITH SCORE 1981153.112
AT ITER 4944 NEW BEST:: SOT 4286297 SOS 2450019 HAS SOPS 2450019 HAS SOUS 1978703 HAS SOUPS 1978703 WITH SCORE 1981153.019
AT ITER 4955 NEW BEST:: SOT 4286297 SOS 2450121 HAS SOPS 2450121 HAS SOUS 1978696 HAS SOUPS 1978696 WITH SCORE 1981146.121
AT ITER 4962 NEW BEST:: SOT 4282218 SOS 2456081 HAS SOPS 2456081 HAS SOUS 1977346 HAS SOUPS 1977346 WITH SCORE 1979802.081
AT ITER 4967 NEW BEST:: SOT 4282218 SOS 2456070 HAS SOPS 2456070 HAS SOUS 1977335 HAS SOUPS 1977335 WITH SCORE 1979791.07
AT ITER 4971 NEW BEST:: SOT 4282218 SOS 2455833 HAS SOPS 2455833 HAS SOUS 1977178 HAS SOUPS 1977178 WITH SCORE 1979633.833
AT ITER 4974 NEW BEST:: SOT 4282218 SOS 2455646 HAS SOPS 2455646 HAS SOUS 1977178 HAS SOUPS 1977178 WITH SCORE 1979633.646
AT ITER 4976 NEW BEST:: SOT 4280499 SOS 2453375 HAS SOPS 2453375 HAS SOUS 1975414 HAS SOUPS 1975414 WITH SCORE 1977867.375
AT ITER 4977 NEW BEST:: SOT 4280332 SOS 2453208 HAS SOPS 2453208 HAS SOUS 1975247 HAS SOUPS 1975247 WITH SCORE 1977700.208
AT ITER 4981 NEW BEST:: SOT 4280245 SOS 2453876 HAS SOPS 2453876 HAS SOUS 1975117 HAS SOUPS 1975117 WITH SCORE 1977570.876
AT ITER 4987 NEW BEST:: SOT 4280128 SOS 2454305 HAS SOPS 2454305 HAS SOUS 1975000 HAS SOUPS 1975000 WITH SCORE 1977454.305
AT ITER 4989 NEW BEST:: SOT 4279480 SOS 2453957 HAS SOPS 2453957 HAS SOUS 1974652 HAS SOUPS 1974652 WITH SCORE 1977105.957
AT ITER 4990 NEW BEST:: SOT 4277223 SOS 2453011 HAS SOPS 2453011 HAS SOUS 1973595 HAS SOUPS 1973595 WITH SCORE 1976048.011
AT ITER 4995 NEW BEST:: SOT 4277223 SOS 2452749 HAS SOPS 2452749 HAS SOUS 1973595 HAS SOUPS 1973595 WITH SCORE 1976047.749
AT ITER 4997 NEW BEST:: SOT 4277222 SOS 2452748 HAS SOPS 2452748 HAS SOUS 1973594 HAS SOUPS 1973594 WITH SCORE 1976046.748
Bounds file is: CTLFireability.xml
PROPERTY: Sudoku-PT-AN13-CTLFireability-00 (AF( ( (! ( (! ((potential((tk(P2670)>=1) & (tk(P122)>=1) & (tk(P2494)>=1))))) | ( ((potential((tk(P2556)>=1) & (tk(P8)>=1) & (tk(P2368)>=1)))) & ((potential((tk(P2676)>=1) & (tk(P167)>=1) & (tk(P2533)>=1)))) ) )) | (! (AF( ((potential((tk(P2597)>=1) & (tk(P23)>=1) & (tk(P2384)>=1))))))) )))
PROPERTY: Sudoku-PT-AN13-CTLFireability-01 (! (! (EF( (EG( ((potential((tk(P2602)>=1) & (tk(P158)>=1) & (tk(P2528)>=1))))))))))
PROPERTY: Sudoku-PT-AN13-CTLFireability-02 (EG( (! ( (AG( ((potential((tk(P2683)>=1) & (tk(P5)>=1) & (tk(P2378)>=1)))))) & (AG( ((potential((tk(P2594)>=1) & (tk(P163)>=1) & (tk(P2527)>=1)))))) ))))
PROPERTY: Sudoku-PT-AN13-CTLFireability-03 (EX( ( ( ( ( ((potential((tk(P2562)>=1) & (tk(P53)>=1) & (tk(P2421)>=1)))) & ((potential((tk(P2671)>=1) & (tk(P84)>=1) & (tk(P2455)>=1)))) ) | ( ((potential((tk(P2646)>=1) & (tk(P111)>=1) & (tk(P2479)>=1)))) | ((potential((tk(P2695)>=1) & (tk(P121)>=1) & (tk(P2496)>=1)))) ) ) & (! ( ((potential((tk(P2691)>=1) & (tk(P91)>=1) & (tk(P2456)>=1)))) | ((potential((tk(P2608)>=1) & (tk(P34)>=1) & (tk(P2398)>=1)))) )) ) & ( ( ( ((potential((tk(P2644)>=1) & (tk(P148)>=1) & (tk(P2518)>=1)))) & ((potential((tk(P2538)>=1) & (tk(P42)>=1) & (tk(P2406)>=1)))) ) | (! ((potential((tk(P2665)>=1) & (tk(P52)>=1) & (tk(P2415)>=1))))) ) | ((potential((tk(P2541)>=1) & (tk(P32)>=1) & (tk(P2393)>=1)))) ) )))
PROPERTY: Sudoku-PT-AN13-CTLFireability-04 (! (EX( (AX( ( ((potential((tk(P2555)>=1) & (tk(P72)>=1) & (tk(P2433)>=1)))) & ((potential((tk(P2698)>=1) & (tk(P59)>=1) & (tk(P2431)>=1)))) ))))))
PROPERTY: Sudoku-PT-AN13-CTLFireability-05 (! ( ((potential((tk(P2669)>=1) & (tk(P95)>=1) & (tk(P2468)>=1)))) & (AG( (AF( ((potential((tk(P2558)>=1) & (tk(P114)>=1) & (tk(P2472)>=1)))))))) ))
PROPERTY: Sudoku-PT-AN13-CTLFireability-06 (AF( (AG( ( ((potential((tk(P2635)>=1) & (tk(P22)>=1) & (tk(P2387)>=1)))) | ((potential((tk(P2597)>=1) & (tk(P75)>=1) & (tk(P2436)>=1)))) )))))
PROPERTY: Sudoku-PT-AN13-CTLFireability-07 (AF( ( (AF( (! ((potential((tk(P2597)>=1) & (tk(P62)>=1) & (tk(P2423)>=1))))))) & ((potential((tk(P2700)>=1) & (tk(P61)>=1) & (tk(P2431)>=1)))) )))
PROPERTY: Sudoku-PT-AN13-CTLFireability-08 (AG( ( ( ( ((potential((tk(P2591)>=1) & (tk(P82)>=1) & (tk(P2449)>=1)))) & (! ((potential((tk(P2561)>=1) & (tk(P26)>=1) & (tk(P2381)>=1))))) ) | ( ( ((potential((tk(P2562)>=1) & (tk(P157)>=1) & (tk(P2525)>=1)))) & ((potential((tk(P2674)>=1) & (tk(P22)>=1) & (tk(P2390)>=1)))) ) | ( ((potential((tk(P2680)>=1) & (tk(P15)>=1) & (tk(P2391)>=1)))) | ((potential((tk(P2678)>=1) & (tk(P13)>=1) & (tk(P2377)>=1)))) ) ) ) | ( ((potential((tk(P2622)>=1) & (tk(P74)>=1) & (tk(P2438)>=1)))) & (! ( ((potential((tk(P2641)>=1) & (tk(P158)>=1) & (tk(P2531)>=1)))) | ((potential((tk(P2538)>=1) & (tk(P29)>=1) & (tk(P2393)>=1)))) )) ) )))
PROPERTY: Sudoku-PT-AN13-CTLFireability-09 (EG( (EG( (EX( ((potential((tk(P2610)>=1) & (tk(P23)>=1) & (tk(P2385)>=1))))))))))
PROPERTY: Sudoku-PT-AN13-CTLFireability-10 ( (AF( ( (AG( ((potential((tk(P2613)>=1) & (tk(P65)>=1) & (tk(P2424)>=1)))))) & ( (! ((potential((tk(P2630)>=1) & (tk(P82)>=1) & (tk(P2452)>=1))))) & ((potential((tk(P2576)>=1) & (tk(P132)>=1) & (tk(P2500)>=1)))) ) ))) | ( ( ( (! ((potential((tk(P2577)>=1) & (tk(P133)>=1) & (tk(P2500)>=1))))) | (AG( ((potential((tk(P2594)>=1) & (tk(P7)>=1) & (tk(P2371)>=1)))))) ) | ((potential((tk(P2565)>=1) & (tk(P108)>=1) & (tk(P2473)>=1)))) ) & (! ( (EG( ((potential((tk(P2560)>=1) & (tk(P12)>=1) & (tk(P2368)>=1)))))) & ((potential((tk(P2547)>=1) & (tk(P155)>=1) & (tk(P2510)>=1)))) )) ) )
PROPERTY: Sudoku-PT-AN13-CTLFireability-11 ( ( (AU( ( ((potential((tk(P2693)>=1) & (tk(P28)>=1) & (tk(P2405)>=1)))) | ((potential((tk(P2554)>=1) & (tk(P19)>=1) & (tk(P2381)>=1)))) ) , (! ((potential((tk(P2581)>=1) & (tk(P98)>=1) & (tk(P2461)>=1))))) )) | (! ((potential((tk(P2578)>=1) & (tk(P160)>=1) & (tk(P2526)>=1))))) ) & ( ((potential((tk(P2580)>=1) & (tk(P136)>=1) & (tk(P2500)>=1)))) | ((potential((tk(P2680)>=1) & (tk(P119)>=1) & (tk(P2495)>=1)))) ) )
PROPERTY: Sudoku-PT-AN13-CTLFireability-12 (EG( ((potential((tk(P2588)>=1) & (tk(P1)>=1) & (tk(P2371)>=1))))))
PROPERTY: Sudoku-PT-AN13-CTLFireability-13 (AU( (EX( ((potential((tk(P2658)>=1) & (tk(P110)>=1) & (tk(P2480)>=1)))))) , ( ( (! ((potential((tk(P2660)>=1) & (tk(P73)>=1) & (tk(P2441)>=1))))) & (! ((potential((tk(P2691)>=1) & (tk(P39)>=1) & (tk(P2404)>=1))))) ) & ((potential((tk(P2543)>=1) & (tk(P125)>=1) & (tk(P2484)>=1)))) ) ))
PROPERTY: Sudoku-PT-AN13-CTLFireability-14 (AF( (AG( ((potential((tk(P2609)>=1) & (tk(P100)>=1) & (tk(P2463)>=1))))))))
PROPERTY: Sudoku-PT-AN13-CTLFireability-15 ( ( (! (! (AF( ((potential((tk(P2537)>=1) & (tk(P2)>=1) & (tk(P2367)>=1)))))))) | (AF( ((potential((tk(P2652)>=1) & (tk(P52)>=1) & (tk(P2414)>=1)))))) ) & (AF( (AX( (! ((potential((tk(P2563)>=1) & (tk(P132)>=1) & (tk(P2499)>=1))))))))) )

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Sudoku-PT-AN13"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is Sudoku-PT-AN13, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r224-oct2-159033538800412"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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