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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.0M
-rw-r--r-- 1 mcc users 3.4K Jun 3 09:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Jun 3 09:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Jun 3 09:24 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Jun 3 09:24 CTLFireability.xml
-rw-r--r-- 1 mcc users 125K May 14 10:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 449K May 14 10:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 412K May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 1.4M May 14 10:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.7K Jun 3 09:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Jun 3 09:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Jun 3 09:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K Jun 3 09:12 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 459K 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-BN09-CTLFireability-00
FORMULA_NAME Sudoku-PT-BN09-CTLFireability-01
FORMULA_NAME Sudoku-PT-BN09-CTLFireability-02
FORMULA_NAME Sudoku-PT-BN09-CTLFireability-03
FORMULA_NAME Sudoku-PT-BN09-CTLFireability-04
FORMULA_NAME Sudoku-PT-BN09-CTLFireability-05
FORMULA_NAME Sudoku-PT-BN09-CTLFireability-06
FORMULA_NAME Sudoku-PT-BN09-CTLFireability-07
FORMULA_NAME Sudoku-PT-BN09-CTLFireability-08
FORMULA_NAME Sudoku-PT-BN09-CTLFireability-09
FORMULA_NAME Sudoku-PT-BN09-CTLFireability-10
FORMULA_NAME Sudoku-PT-BN09-CTLFireability-11
FORMULA_NAME Sudoku-PT-BN09-CTLFireability-12
FORMULA_NAME Sudoku-PT-BN09-CTLFireability-13
FORMULA_NAME Sudoku-PT-BN09-CTLFireability-14
FORMULA_NAME Sudoku-PT-BN09-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1591336625539

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (PT), instance BN09
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: 1053 places, 729 transitions, 3645 arcs.
AT ITER 0 NEW BEST:: SOT 590569 SOS 358997 HAS SOPS 358997 HAS SOUS 302139 HAS SOUPS 302139 WITH SCORE 302497.997
AT ITER 2 NEW BEST:: SOT 589970 SOS 361495 HAS SOPS 361495 HAS SOUS 301597 HAS SOUPS 301597 WITH SCORE 301958.495
AT ITER 4 NEW BEST:: SOT 589710 SOS 361252 HAS SOPS 361252 HAS SOUS 301413 HAS SOUPS 301413 WITH SCORE 301774.252
AT ITER 6 NEW BEST:: SOT 588956 SOS 362061 HAS SOPS 362061 HAS SOUS 300994 HAS SOUPS 300994 WITH SCORE 301356.061
AT ITER 16 NEW BEST:: SOT 588520 SOS 361635 HAS SOPS 361635 HAS SOUS 300642 HAS SOUPS 300642 WITH SCORE 301003.635
AT ITER 19 NEW BEST:: SOT 588036 SOS 361435 HAS SOPS 361435 HAS SOUS 300462 HAS SOUPS 300462 WITH SCORE 300823.435
AT ITER 29 NEW BEST:: SOT 588036 SOS 361111 HAS SOPS 361111 HAS SOUS 300462 HAS SOUPS 300462 WITH SCORE 300823.111
AT ITER 37 NEW BEST:: SOT 588036 SOS 360932 HAS SOPS 360932 HAS SOUS 300454 HAS SOUPS 300454 WITH SCORE 300814.932
AT ITER 44 NEW BEST:: SOT 588036 SOS 360932 HAS SOPS 360932 HAS SOUS 300446 HAS SOUPS 300446 WITH SCORE 300806.932
AT ITER 47 NEW BEST:: SOT 587930 SOS 360842 HAS SOPS 360842 HAS SOUS 300380 HAS SOUPS 300380 WITH SCORE 300740.842
AT ITER 54 NEW BEST:: SOT 587598 SOS 360524 HAS SOPS 360524 HAS SOUS 300145 HAS SOUPS 300145 WITH SCORE 300505.524
AT ITER 55 NEW BEST:: SOT 587598 SOS 360510 HAS SOPS 360510 HAS SOUS 300145 HAS SOUPS 300145 WITH SCORE 300505.51
AT ITER 66 NEW BEST:: SOT 587662 SOS 360542 HAS SOPS 360542 HAS SOUS 300141 HAS SOUPS 300141 WITH SCORE 300501.542
AT ITER 69 NEW BEST:: SOT 587662 SOS 360530 HAS SOPS 360530 HAS SOUS 300137 HAS SOUPS 300137 WITH SCORE 300497.53
AT ITER 98 NEW BEST:: SOT 587690 SOS 360498 HAS SOPS 360498 HAS SOUS 300076 HAS SOUPS 300076 WITH SCORE 300436.498
AT ITER 102 NEW BEST:: SOT 587690 SOS 360384 HAS SOPS 360384 HAS SOUS 300076 HAS SOUPS 300076 WITH SCORE 300436.384
AT ITER 112 NEW BEST:: SOT 587614 SOS 360300 HAS SOPS 360300 HAS SOUS 299992 HAS SOUPS 299992 WITH SCORE 300352.3
AT ITER 121 NEW BEST:: SOT 587614 SOS 360083 HAS SOPS 360083 HAS SOUS 299992 HAS SOUPS 299992 WITH SCORE 300352.083
AT ITER 122 NEW BEST:: SOT 587614 SOS 360417 HAS SOPS 360417 HAS SOUS 299942 HAS SOUPS 299942 WITH SCORE 300302.417
AT ITER 133 NEW BEST:: SOT 587002 SOS 359830 HAS SOPS 359830 HAS SOUS 299347 HAS SOUPS 299347 WITH SCORE 299706.83
AT ITER 148 NEW BEST:: SOT 586502 SOS 359559 HAS SOPS 359559 HAS SOUS 299192 HAS SOUPS 299192 WITH SCORE 299551.559
AT ITER 152 NEW BEST:: SOT 586502 SOS 359419 HAS SOPS 359419 HAS SOUS 299192 HAS SOUPS 299192 WITH SCORE 299551.419
AT ITER 161 NEW BEST:: SOT 586053 SOS 358850 HAS SOPS 358850 HAS SOUS 298772 HAS SOUPS 298772 WITH SCORE 299130.85
AT ITER 177 NEW BEST:: SOT 585929 SOS 358916 HAS SOPS 358916 HAS SOUS 298736 HAS SOUPS 298736 WITH SCORE 299094.916
AT ITER 178 NEW BEST:: SOT 585914 SOS 358887 HAS SOPS 358887 HAS SOUS 298731 HAS SOUPS 298731 WITH SCORE 299089.887
AT ITER 179 NEW BEST:: SOT 585901 SOS 359469 HAS SOPS 359469 HAS SOUS 298715 HAS SOUPS 298715 WITH SCORE 299074.469
AT ITER 182 NEW BEST:: SOT 585901 SOS 359309 HAS SOPS 359309 HAS SOUS 298707 HAS SOUPS 298707 WITH SCORE 299066.309
AT ITER 185 NEW BEST:: SOT 585874 SOS 359255 HAS SOPS 359255 HAS SOUS 298662 HAS SOUPS 298662 WITH SCORE 299021.255
AT ITER 194 NEW BEST:: SOT 585911 SOS 359252 HAS SOPS 359252 HAS SOUS 298583 HAS SOUPS 298583 WITH SCORE 298942.252
AT ITER 202 NEW BEST:: SOT 585911 SOS 359196 HAS SOPS 359196 HAS SOUS 298583 HAS SOUPS 298583 WITH SCORE 298942.196
AT ITER 203 NEW BEST:: SOT 585911 SOS 359162 HAS SOPS 359162 HAS SOUS 298583 HAS SOUPS 298583 WITH SCORE 298942.162
AT ITER 204 NEW BEST:: SOT 585911 SOS 359138 HAS SOPS 359138 HAS SOUS 298583 HAS SOUPS 298583 WITH SCORE 298942.138
AT ITER 206 NEW BEST:: SOT 585739 SOS 359106 HAS SOPS 359106 HAS SOUS 298451 HAS SOUPS 298451 WITH SCORE 298810.106
AT ITER 216 NEW BEST:: SOT 585739 SOS 358908 HAS SOPS 358908 HAS SOUS 298443 HAS SOUPS 298443 WITH SCORE 298801.908
AT ITER 220 NEW BEST:: SOT 585739 SOS 358823 HAS SOPS 358823 HAS SOUS 298443 HAS SOUPS 298443 WITH SCORE 298801.823
AT ITER 222 NEW BEST:: SOT 585787 SOS 358833 HAS SOPS 358833 HAS SOUS 298417 HAS SOUPS 298417 WITH SCORE 298775.833
AT ITER 235 NEW BEST:: SOT 585584 SOS 358777 HAS SOPS 358777 HAS SOUS 298374 HAS SOUPS 298374 WITH SCORE 298732.777
AT ITER 236 NEW BEST:: SOT 585492 SOS 358862 HAS SOPS 358862 HAS SOUS 298282 HAS SOUPS 298282 WITH SCORE 298640.862
AT ITER 237 NEW BEST:: SOT 585334 SOS 358679 HAS SOPS 358679 HAS SOUS 298151 HAS SOUPS 298151 WITH SCORE 298509.679
AT ITER 248 NEW BEST:: SOT 585334 SOS 356486 HAS SOPS 356486 HAS SOUS 298151 HAS SOUPS 298151 WITH SCORE 298507.486
AT ITER 249 NEW BEST:: SOT 584630 SOS 356004 HAS SOPS 356004 HAS SOUS 297592 HAS SOUPS 297592 WITH SCORE 297948.004
AT ITER 254 NEW BEST:: SOT 584628 SOS 355950 HAS SOPS 355950 HAS SOUS 297582 HAS SOUPS 297582 WITH SCORE 297937.95
AT ITER 256 NEW BEST:: SOT 584009 SOS 355397 HAS SOPS 355397 HAS SOUS 297087 HAS SOUPS 297087 WITH SCORE 297442.397
AT ITER 262 NEW BEST:: SOT 583383 SOS 354816 HAS SOPS 354816 HAS SOUS 296483 HAS SOUPS 296483 WITH SCORE 296837.816
AT ITER 275 NEW BEST:: SOT 583221 SOS 354667 HAS SOPS 354667 HAS SOUS 296366 HAS SOUPS 296366 WITH SCORE 296720.667
AT ITER 276 NEW BEST:: SOT 583221 SOS 354581 HAS SOPS 354581 HAS SOUS 296366 HAS SOUPS 296366 WITH SCORE 296720.581
AT ITER 289 NEW BEST:: SOT 583116 SOS 354370 HAS SOPS 354370 HAS SOUS 296261 HAS SOUPS 296261 WITH SCORE 296615.37
AT ITER 292 NEW BEST:: SOT 583164 SOS 354282 HAS SOPS 354282 HAS SOUS 296137 HAS SOUPS 296137 WITH SCORE 296491.282
AT ITER 293 NEW BEST:: SOT 582708 SOS 353481 HAS SOPS 353481 HAS SOUS 295592 HAS SOUPS 295592 WITH SCORE 295945.481
AT ITER 299 NEW BEST:: SOT 582766 SOS 353510 HAS SOPS 353510 HAS SOUS 295585 HAS SOUPS 295585 WITH SCORE 295938.51
AT ITER 306 NEW BEST:: SOT 582666 SOS 353266 HAS SOPS 353266 HAS SOUS 295505 HAS SOUPS 295505 WITH SCORE 295858.266
AT ITER 312 NEW BEST:: SOT 581838 SOS 354810 HAS SOPS 354810 HAS SOUS 294745 HAS SOUPS 294745 WITH SCORE 295099.81
AT ITER 323 NEW BEST:: SOT 581838 SOS 354561 HAS SOPS 354561 HAS SOUS 294745 HAS SOUPS 294745 WITH SCORE 295099.561
AT ITER 338 NEW BEST:: SOT 581882 SOS 354653 HAS SOPS 354653 HAS SOUS 294725 HAS SOUPS 294725 WITH SCORE 295079.653
AT ITER 344 NEW BEST:: SOT 581564 SOS 354434 HAS SOPS 354434 HAS SOUS 294498 HAS SOUPS 294498 WITH SCORE 294852.434
AT ITER 346 NEW BEST:: SOT 581628 SOS 354665 HAS SOPS 354665 HAS SOUS 294403 HAS SOUPS 294403 WITH SCORE 294757.665
AT ITER 356 NEW BEST:: SOT 581778 SOS 354607 HAS SOPS 354607 HAS SOUS 294380 HAS SOUPS 294380 WITH SCORE 294734.607
AT ITER 357 NEW BEST:: SOT 581778 SOS 354667 HAS SOPS 354667 HAS SOUS 294352 HAS SOUPS 294352 WITH SCORE 294706.667
AT ITER 366 NEW BEST:: SOT 581445 SOS 354351 HAS SOPS 354351 HAS SOUS 294084 HAS SOUPS 294084 WITH SCORE 294438.351
AT ITER 371 NEW BEST:: SOT 580715 SOS 353831 HAS SOPS 353831 HAS SOUS 293926 HAS SOUPS 293926 WITH SCORE 294279.831
AT ITER 374 NEW BEST:: SOT 580715 SOS 353828 HAS SOPS 353828 HAS SOUS 293926 HAS SOUPS 293926 WITH SCORE 294279.828
AT ITER 383 NEW BEST:: SOT 580715 SOS 353886 HAS SOPS 353886 HAS SOUS 293890 HAS SOUPS 293890 WITH SCORE 294243.886
AT ITER 390 NEW BEST:: SOT 580715 SOS 353374 HAS SOPS 353374 HAS SOUS 293890 HAS SOUPS 293890 WITH SCORE 294243.374
AT ITER 407 NEW BEST:: SOT 580715 SOS 352931 HAS SOPS 352931 HAS SOUS 293890 HAS SOUPS 293890 WITH SCORE 294242.931
AT ITER 422 NEW BEST:: SOT 580491 SOS 352742 HAS SOPS 352742 HAS SOUS 293730 HAS SOUPS 293730 WITH SCORE 294082.742
AT ITER 430 NEW BEST:: SOT 580585 SOS 353016 HAS SOPS 353016 HAS SOUS 293686 HAS SOUPS 293686 WITH SCORE 294039.016
AT ITER 431 NEW BEST:: SOT 580585 SOS 351918 HAS SOPS 351918 HAS SOUS 293686 HAS SOUPS 293686 WITH SCORE 294037.918
AT ITER 436 NEW BEST:: SOT 580500 SOS 351830 HAS SOPS 351830 HAS SOUS 293562 HAS SOUPS 293562 WITH SCORE 293913.83
AT ITER 443 NEW BEST:: SOT 580381 SOS 351798 HAS SOPS 351798 HAS SOUS 293530 HAS SOUPS 293530 WITH SCORE 293881.798
AT ITER 465 NEW BEST:: SOT 580101 SOS 351518 HAS SOPS 351518 HAS SOUS 293250 HAS SOUPS 293250 WITH SCORE 293601.518
AT ITER 466 NEW BEST:: SOT 580101 SOS 351511 HAS SOPS 351511 HAS SOUS 293243 HAS SOUPS 293243 WITH SCORE 293594.511
AT ITER 474 NEW BEST:: SOT 580084 SOS 351312 HAS SOPS 351312 HAS SOUS 293222 HAS SOUPS 293222 WITH SCORE 293573.312
AT ITER 475 NEW BEST:: SOT 579580 SOS 351233 HAS SOPS 351233 HAS SOUS 293193 HAS SOUPS 293193 WITH SCORE 293544.233
AT ITER 482 NEW BEST:: SOT 579407 SOS 351368 HAS SOPS 351368 HAS SOUS 293145 HAS SOUPS 293145 WITH SCORE 293496.368
AT ITER 510 NEW BEST:: SOT 579407 SOS 351107 HAS SOPS 351107 HAS SOUS 293145 HAS SOUPS 293145 WITH SCORE 293496.107
AT ITER 511 NEW BEST:: SOT 579407 SOS 349161 HAS SOPS 349161 HAS SOUS 293145 HAS SOUPS 293145 WITH SCORE 293494.161
AT ITER 513 NEW BEST:: SOT 578971 SOS 348943 HAS SOPS 348943 HAS SOUS 293112 HAS SOUPS 293112 WITH SCORE 293460.943
AT ITER 514 NEW BEST:: SOT 578971 SOS 348943 HAS SOPS 348943 HAS SOUS 293111 HAS SOUPS 293111 WITH SCORE 293459.943
AT ITER 517 NEW BEST:: SOT 578971 SOS 348724 HAS SOPS 348724 HAS SOUS 293111 HAS SOUPS 293111 WITH SCORE 293459.724
AT ITER 520 NEW BEST:: SOT 578971 SOS 348803 HAS SOPS 348803 HAS SOUS 293068 HAS SOUPS 293068 WITH SCORE 293416.803
AT ITER 525 NEW BEST:: SOT 578971 SOS 348617 HAS SOPS 348617 HAS SOUS 293068 HAS SOUPS 293068 WITH SCORE 293416.617
AT ITER 534 NEW BEST:: SOT 578461 SOS 348334 HAS SOPS 348334 HAS SOUS 292903 HAS SOUPS 292903 WITH SCORE 293251.334
AT ITER 536 NEW BEST:: SOT 578461 SOS 348012 HAS SOPS 348012 HAS SOUS 292903 HAS SOUPS 292903 WITH SCORE 293251.012
AT ITER 540 NEW BEST:: SOT 578461 SOS 347991 HAS SOPS 347991 HAS SOUS 292903 HAS SOUPS 292903 WITH SCORE 293250.991
AT ITER 543 NEW BEST:: SOT 578229 SOS 347912 HAS SOPS 347912 HAS SOUS 292784 HAS SOUPS 292784 WITH SCORE 293131.912
AT ITER 546 NEW BEST:: SOT 578275 SOS 347726 HAS SOPS 347726 HAS SOUS 292598 HAS SOUPS 292598 WITH SCORE 292945.726
AT ITER 561 NEW BEST:: SOT 578275 SOS 347679 HAS SOPS 347679 HAS SOUS 292598 HAS SOUPS 292598 WITH SCORE 292945.679
AT ITER 566 NEW BEST:: SOT 577773 SOS 347984 HAS SOPS 347984 HAS SOUS 292318 HAS SOUPS 292318 WITH SCORE 292665.984
AT ITER 590 NEW BEST:: SOT 577491 SOS 347796 HAS SOPS 347796 HAS SOUS 292130 HAS SOUPS 292130 WITH SCORE 292477.796
AT ITER 600 NEW BEST:: SOT 576867 SOS 347602 HAS SOPS 347602 HAS SOUS 291984 HAS SOUPS 291984 WITH SCORE 292331.602
AT ITER 609 NEW BEST:: SOT 576382 SOS 347416 HAS SOPS 347416 HAS SOUS 291828 HAS SOUPS 291828 WITH SCORE 292175.416
AT ITER 623 NEW BEST:: SOT 576382 SOS 347402 HAS SOPS 347402 HAS SOUS 291828 HAS SOUPS 291828 WITH SCORE 292175.402
AT ITER 627 NEW BEST:: SOT 576310 SOS 347318 HAS SOPS 347318 HAS SOUS 291744 HAS SOUPS 291744 WITH SCORE 292091.318
AT ITER 632 NEW BEST:: SOT 576310 SOS 346049 HAS SOPS 346049 HAS SOUS 291744 HAS SOUPS 291744 WITH SCORE 292090.049
AT ITER 640 NEW BEST:: SOT 576079 SOS 345786 HAS SOPS 345786 HAS SOUS 291481 HAS SOUPS 291481 WITH SCORE 291826.786
AT ITER 654 NEW BEST:: SOT 575907 SOS 345812 HAS SOPS 345812 HAS SOUS 291346 HAS SOUPS 291346 WITH SCORE 291691.812
AT ITER 665 NEW BEST:: SOT 575907 SOS 344908 HAS SOPS 344908 HAS SOUS 291346 HAS SOUPS 291346 WITH SCORE 291690.908
AT ITER 668 NEW BEST:: SOT 575672 SOS 345272 HAS SOPS 345272 HAS SOUS 291242 HAS SOUPS 291242 WITH SCORE 291587.272
AT ITER 669 NEW BEST:: SOT 575013 SOS 344684 HAS SOPS 344684 HAS SOUS 290538 HAS SOUPS 290538 WITH SCORE 290882.684
AT ITER 693 NEW BEST:: SOT 574664 SOS 344327 HAS SOPS 344327 HAS SOUS 290312 HAS SOUPS 290312 WITH SCORE 290656.327
AT ITER 700 NEW BEST:: SOT 574664 SOS 342401 HAS SOPS 342401 HAS SOUS 290312 HAS SOUPS 290312 WITH SCORE 290654.401
AT ITER 709 NEW BEST:: SOT 574431 SOS 342275 HAS SOPS 342275 HAS SOUS 290127 HAS SOUPS 290127 WITH SCORE 290469.275
AT ITER 713 NEW BEST:: SOT 573973 SOS 342804 HAS SOPS 342804 HAS SOUS 289860 HAS SOUPS 289860 WITH SCORE 290202.804
AT ITER 719 NEW BEST:: SOT 573785 SOS 342600 HAS SOPS 342600 HAS SOUS 289615 HAS SOUPS 289615 WITH SCORE 289957.6
AT ITER 720 NEW BEST:: SOT 573620 SOS 342586 HAS SOPS 342586 HAS SOUS 289607 HAS SOUPS 289607 WITH SCORE 289949.586
AT ITER 722 NEW BEST:: SOT 573620 SOS 342406 HAS SOPS 342406 HAS SOUS 289607 HAS SOUPS 289607 WITH SCORE 289949.406
AT ITER 727 NEW BEST:: SOT 573620 SOS 342406 HAS SOPS 342406 HAS SOUS 289471 HAS SOUPS 289471 WITH SCORE 289813.406
AT ITER 728 NEW BEST:: SOT 573183 SOS 341942 HAS SOPS 341942 HAS SOUS 289104 HAS SOUPS 289104 WITH SCORE 289445.942
AT ITER 739 NEW BEST:: SOT 572972 SOS 341901 HAS SOPS 341901 HAS SOUS 288925 HAS SOUPS 288925 WITH SCORE 289266.901
AT ITER 741 NEW BEST:: SOT 572571 SOS 341500 HAS SOPS 341500 HAS SOUS 288612 HAS SOUPS 288612 WITH SCORE 288953.5
AT ITER 745 NEW BEST:: SOT 572614 SOS 341415 HAS SOPS 341415 HAS SOUS 288491 HAS SOUPS 288491 WITH SCORE 288832.415
AT ITER 753 NEW BEST:: SOT 572431 SOS 341270 HAS SOPS 341270 HAS SOUS 288358 HAS SOUPS 288358 WITH SCORE 288699.27
AT ITER 756 NEW BEST:: SOT 572431 SOS 341231 HAS SOPS 341231 HAS SOUS 288358 HAS SOUPS 288358 WITH SCORE 288699.231
AT ITER 761 NEW BEST:: SOT 572328 SOS 341151 HAS SOPS 341151 HAS SOUS 288310 HAS SOUPS 288310 WITH SCORE 288651.151
AT ITER 782 NEW BEST:: SOT 571679 SOS 340576 HAS SOPS 340576 HAS SOUS 287735 HAS SOUPS 287735 WITH SCORE 288075.576
AT ITER 789 NEW BEST:: SOT 571679 SOS 340450 HAS SOPS 340450 HAS SOUS 287695 HAS SOUPS 287695 WITH SCORE 288035.45
AT ITER 790 NEW BEST:: SOT 571679 SOS 339772 HAS SOPS 339772 HAS SOUS 287695 HAS SOUPS 287695 WITH SCORE 288034.772
AT ITER 791 NEW BEST:: SOT 571679 SOS 339669 HAS SOPS 339669 HAS SOUS 287592 HAS SOUPS 287592 WITH SCORE 287931.669
AT ITER 792 NEW BEST:: SOT 571338 SOS 339448 HAS SOPS 339448 HAS SOUS 287383 HAS SOUPS 287383 WITH SCORE 287722.448
AT ITER 816 NEW BEST:: SOT 571338 SOS 338352 HAS SOPS 338352 HAS SOUS 287383 HAS SOUPS 287383 WITH SCORE 287721.352
AT ITER 822 NEW BEST:: SOT 571338 SOS 338055 HAS SOPS 338055 HAS SOUS 287383 HAS SOUPS 287383 WITH SCORE 287721.055
AT ITER 831 NEW BEST:: SOT 571290 SOS 338010 HAS SOPS 338010 HAS SOUS 287351 HAS SOUPS 287351 WITH SCORE 287689.01
AT ITER 836 NEW BEST:: SOT 571128 SOS 337946 HAS SOPS 337946 HAS SOUS 287189 HAS SOUPS 287189 WITH SCORE 287526.946
AT ITER 837 NEW BEST:: SOT 570824 SOS 337734 HAS SOPS 337734 HAS SOUS 286977 HAS SOUPS 286977 WITH SCORE 287314.734
AT ITER 852 NEW BEST:: SOT 570824 SOS 337624 HAS SOPS 337624 HAS SOUS 286873 HAS SOUPS 286873 WITH SCORE 287210.624
AT ITER 859 NEW BEST:: SOT 570824 SOS 336756 HAS SOPS 336756 HAS SOUS 286873 HAS SOUPS 286873 WITH SCORE 287209.756
AT ITER 860 NEW BEST:: SOT 570578 SOS 336651 HAS SOPS 336651 HAS SOUS 286768 HAS SOUPS 286768 WITH SCORE 287104.651
AT ITER 873 NEW BEST:: SOT 570647 SOS 336720 HAS SOPS 336720 HAS SOUS 286765 HAS SOUPS 286765 WITH SCORE 287101.72
AT ITER 882 NEW BEST:: SOT 570647 SOS 337712 HAS SOPS 337712 HAS SOUS 286715 HAS SOUPS 286715 WITH SCORE 287052.712
AT ITER 891 NEW BEST:: SOT 570537 SOS 337663 HAS SOPS 337663 HAS SOUS 286666 HAS SOUPS 286666 WITH SCORE 287003.663
AT ITER 894 NEW BEST:: SOT 570537 SOS 337663 HAS SOPS 337663 HAS SOUS 286652 HAS SOUPS 286652 WITH SCORE 286989.663
AT ITER 895 NEW BEST:: SOT 569973 SOS 337239 HAS SOPS 337239 HAS SOUS 285810 HAS SOUPS 285810 WITH SCORE 286147.239
AT ITER 897 NEW BEST:: SOT 569973 SOS 337243 HAS SOPS 337243 HAS SOUS 285800 HAS SOUPS 285800 WITH SCORE 286137.243
AT ITER 910 NEW BEST:: SOT 569932 SOS 337202 HAS SOPS 337202 HAS SOUS 285695 HAS SOUPS 285695 WITH SCORE 286032.202
AT ITER 911 NEW BEST:: SOT 569932 SOS 336924 HAS SOPS 336924 HAS SOUS 285695 HAS SOUPS 285695 WITH SCORE 286031.924
AT ITER 922 NEW BEST:: SOT 569822 SOS 336853 HAS SOPS 336853 HAS SOUS 285573 HAS SOUPS 285573 WITH SCORE 285909.853
AT ITER 925 NEW BEST:: SOT 569965 SOS 336852 HAS SOPS 336852 HAS SOUS 285520 HAS SOUPS 285520 WITH SCORE 285856.852
AT ITER 927 NEW BEST:: SOT 569965 SOS 336983 HAS SOPS 336983 HAS SOUS 285453 HAS SOUPS 285453 WITH SCORE 285789.983
AT ITER 928 NEW BEST:: SOT 569965 SOS 336966 HAS SOPS 336966 HAS SOUS 285453 HAS SOUPS 285453 WITH SCORE 285789.966
AT ITER 938 NEW BEST:: SOT 569965 SOS 336296 HAS SOPS 336296 HAS SOUS 285368 HAS SOUPS 285368 WITH SCORE 285704.296
AT ITER 946 NEW BEST:: SOT 569841 SOS 336149 HAS SOPS 336149 HAS SOUS 285198 HAS SOUPS 285198 WITH SCORE 285534.149
AT ITER 949 NEW BEST:: SOT 569413 SOS 335883 HAS SOPS 335883 HAS SOUS 284918 HAS SOUPS 284918 WITH SCORE 285253.883
AT ITER 960 NEW BEST:: SOT 569413 SOS 335587 HAS SOPS 335587 HAS SOUS 284918 HAS SOUPS 284918 WITH SCORE 285253.587
AT ITER 964 NEW BEST:: SOT 569327 SOS 335625 HAS SOPS 335625 HAS SOUS 284832 HAS SOUPS 284832 WITH SCORE 285167.625
AT ITER 965 NEW BEST:: SOT 568865 SOS 335352 HAS SOPS 335352 HAS SOUS 284592 HAS SOUPS 284592 WITH SCORE 284927.352
AT ITER 967 NEW BEST:: SOT 568865 SOS 335352 HAS SOPS 335352 HAS SOUS 284581 HAS SOUPS 284581 WITH SCORE 284916.352
AT ITER 968 NEW BEST:: SOT 568879 SOS 335313 HAS SOPS 335313 HAS SOUS 284486 HAS SOUPS 284486 WITH SCORE 284821.313
AT ITER 974 NEW BEST:: SOT 568879 SOS 335179 HAS SOPS 335179 HAS SOUS 284486 HAS SOUPS 284486 WITH SCORE 284821.179
AT ITER 992 NEW BEST:: SOT 568879 SOS 335176 HAS SOPS 335176 HAS SOUS 284486 HAS SOUPS 284486 WITH SCORE 284821.176
AT ITER 1007 NEW BEST:: SOT 569164 SOS 335357 HAS SOPS 335357 HAS SOUS 284364 HAS SOUPS 284364 WITH SCORE 284699.357
AT ITER 1033 NEW BEST:: SOT 569164 SOS 335357 HAS SOPS 335357 HAS SOUS 284306 HAS SOUPS 284306 WITH SCORE 284641.357
AT ITER 1035 NEW BEST:: SOT 569164 SOS 335308 HAS SOPS 335308 HAS SOUS 284306 HAS SOUPS 284306 WITH SCORE 284641.308
AT ITER 1038 NEW BEST:: SOT 569164 SOS 335281 HAS SOPS 335281 HAS SOUS 284306 HAS SOUPS 284306 WITH SCORE 284641.281
AT ITER 1044 NEW BEST:: SOT 569164 SOS 333805 HAS SOPS 333805 HAS SOUS 284306 HAS SOUPS 284306 WITH SCORE 284639.805
AT ITER 1053 NEW BEST:: SOT 569069 SOS 333710 HAS SOPS 333710 HAS SOUS 284211 HAS SOUPS 284211 WITH SCORE 284544.71
AT ITER 1061 NEW BEST:: SOT 569056 SOS 333697 HAS SOPS 333697 HAS SOUS 284198 HAS SOUPS 284198 WITH SCORE 284531.697
AT ITER 1066 NEW BEST:: SOT 569056 SOS 333705 HAS SOPS 333705 HAS SOUS 284140 HAS SOUPS 284140 WITH SCORE 284473.705
AT ITER 1073 NEW BEST:: SOT 568911 SOS 333989 HAS SOPS 333989 HAS SOUS 284109 HAS SOUPS 284109 WITH SCORE 284442.989
AT ITER 1075 NEW BEST:: SOT 568911 SOS 333944 HAS SOPS 333944 HAS SOUS 284109 HAS SOUPS 284109 WITH SCORE 284442.944
AT ITER 1090 NEW BEST:: SOT 568911 SOS 333063 HAS SOPS 333063 HAS SOUS 284109 HAS SOUPS 284109 WITH SCORE 284442.063
AT ITER 1096 NEW BEST:: SOT 568954 SOS 333160 HAS SOPS 333160 HAS SOUS 284086 HAS SOUPS 284086 WITH SCORE 284419.16
AT ITER 1101 NEW BEST:: SOT 568954 SOS 333156 HAS SOPS 333156 HAS SOUS 284086 HAS SOUPS 284086 WITH SCORE 284419.156
AT ITER 1106 NEW BEST:: SOT 568461 SOS 332676 HAS SOPS 332676 HAS SOUS 283641 HAS SOUPS 283641 WITH SCORE 283973.676
AT ITER 1112 NEW BEST:: SOT 568461 SOS 332668 HAS SOPS 332668 HAS SOUS 283641 HAS SOUPS 283641 WITH SCORE 283973.668
AT ITER 1133 NEW BEST:: SOT 568461 SOS 332625 HAS SOPS 332625 HAS SOUS 283641 HAS SOUPS 283641 WITH SCORE 283973.625
AT ITER 1136 NEW BEST:: SOT 568303 SOS 332593 HAS SOPS 332593 HAS SOUS 283609 HAS SOUPS 283609 WITH SCORE 283941.593
AT ITER 1156 NEW BEST:: SOT 567893 SOS 332468 HAS SOPS 332468 HAS SOUS 283139 HAS SOUPS 283139 WITH SCORE 283471.468
AT ITER 1157 NEW BEST:: SOT 567893 SOS 332359 HAS SOPS 332359 HAS SOUS 283123 HAS SOUPS 283123 WITH SCORE 283455.359
AT ITER 1160 NEW BEST:: SOT 567275 SOS 333347 HAS SOPS 333347 HAS SOUS 282974 HAS SOUPS 282974 WITH SCORE 283307.347
AT ITER 1170 NEW BEST:: SOT 567270 SOS 333342 HAS SOPS 333342 HAS SOUS 282974 HAS SOUPS 282974 WITH SCORE 283307.342
AT ITER 1173 NEW BEST:: SOT 567172 SOS 333393 HAS SOPS 333393 HAS SOUS 282876 HAS SOUPS 282876 WITH SCORE 283209.393
AT ITER 1178 NEW BEST:: SOT 567172 SOS 333392 HAS SOPS 333392 HAS SOUS 282876 HAS SOUPS 282876 WITH SCORE 283209.392
AT ITER 1182 NEW BEST:: SOT 567172 SOS 333434 HAS SOPS 333434 HAS SOUS 282871 HAS SOUPS 282871 WITH SCORE 283204.434
AT ITER 1185 NEW BEST:: SOT 567172 SOS 333132 HAS SOPS 333132 HAS SOUS 282871 HAS SOUPS 282871 WITH SCORE 283204.132
AT ITER 1200 NEW BEST:: SOT 566806 SOS 332730 HAS SOPS 332730 HAS SOUS 282540 HAS SOUPS 282540 WITH SCORE 282872.73
AT ITER 1201 NEW BEST:: SOT 566806 SOS 332730 HAS SOPS 332730 HAS SOUS 282320 HAS SOUPS 282320 WITH SCORE 282652.73
AT ITER 1207 NEW BEST:: SOT 566806 SOS 332730 HAS SOPS 332730 HAS SOUS 282307 HAS SOUPS 282307 WITH SCORE 282639.73
AT ITER 1208 NEW BEST:: SOT 566795 SOS 332439 HAS SOPS 332439 HAS SOUS 282296 HAS SOUPS 282296 WITH SCORE 282628.439
AT ITER 1210 NEW BEST:: SOT 566795 SOS 332469 HAS SOPS 332469 HAS SOUS 282280 HAS SOUPS 282280 WITH SCORE 282612.469
AT ITER 1219 NEW BEST:: SOT 566223 SOS 332019 HAS SOPS 332019 HAS SOUS 281952 HAS SOUPS 281952 WITH SCORE 282284.019
AT ITER 1225 NEW BEST:: SOT 566223 SOS 331507 HAS SOPS 331507 HAS SOUS 281952 HAS SOUPS 281952 WITH SCORE 282283.507
AT ITER 1228 NEW BEST:: SOT 566283 SOS 331399 HAS SOPS 331399 HAS SOUS 281900 HAS SOUPS 281900 WITH SCORE 282231.399
AT ITER 1231 NEW BEST:: SOT 565994 SOS 331287 HAS SOPS 331287 HAS SOUS 281795 HAS SOUPS 281795 WITH SCORE 282126.287
AT ITER 1243 NEW BEST:: SOT 565646 SOS 330939 HAS SOPS 330939 HAS SOUS 281487 HAS SOUPS 281487 WITH SCORE 281817.939
AT ITER 1255 NEW BEST:: SOT 565535 SOS 330922 HAS SOPS 330922 HAS SOUS 281469 HAS SOUPS 281469 WITH SCORE 281799.922
AT ITER 1271 NEW BEST:: SOT 565535 SOS 330811 HAS SOPS 330811 HAS SOUS 281469 HAS SOUPS 281469 WITH SCORE 281799.811
AT ITER 1287 NEW BEST:: SOT 565535 SOS 330792 HAS SOPS 330792 HAS SOUS 281450 HAS SOUPS 281450 WITH SCORE 281780.792
AT ITER 1307 NEW BEST:: SOT 565387 SOS 330496 HAS SOPS 330496 HAS SOUS 281255 HAS SOUPS 281255 WITH SCORE 281585.496
AT ITER 1311 NEW BEST:: SOT 565387 SOS 330653 HAS SOPS 330653 HAS SOUS 281202 HAS SOUPS 281202 WITH SCORE 281532.653
AT ITER 1319 NEW BEST:: SOT 565387 SOS 328359 HAS SOPS 328359 HAS SOUS 281202 HAS SOUPS 281202 WITH SCORE 281530.359
AT ITER 1323 NEW BEST:: SOT 564788 SOS 327406 HAS SOPS 327406 HAS SOUS 280603 HAS SOUPS 280603 WITH SCORE 280930.406
AT ITER 1324 NEW BEST:: SOT 564311 SOS 327063 HAS SOPS 327063 HAS SOUS 280295 HAS SOUPS 280295 WITH SCORE 280622.063
AT ITER 1327 NEW BEST:: SOT 564311 SOS 327052 HAS SOPS 327052 HAS SOUS 280295 HAS SOUPS 280295 WITH SCORE 280622.052
AT ITER 1352 NEW BEST:: SOT 564237 SOS 327023 HAS SOPS 327023 HAS SOUS 280266 HAS SOUPS 280266 WITH SCORE 280593.023
AT ITER 1353 NEW BEST:: SOT 564196 SOS 327040 HAS SOPS 327040 HAS SOUS 280225 HAS SOUPS 280225 WITH SCORE 280552.04
AT ITER 1360 NEW BEST:: SOT 564196 SOS 327040 HAS SOPS 327040 HAS SOUS 280201 HAS SOUPS 280201 WITH SCORE 280528.04
AT ITER 1363 NEW BEST:: SOT 564196 SOS 327015 HAS SOPS 327015 HAS SOUS 280201 HAS SOUPS 280201 WITH SCORE 280528.015
AT ITER 1365 NEW BEST:: SOT 564196 SOS 325320 HAS SOPS 325320 HAS SOUS 280061 HAS SOUPS 280061 WITH SCORE 280386.32
AT ITER 1366 NEW BEST:: SOT 564244 SOS 325135 HAS SOPS 325135 HAS SOUS 280003 HAS SOUPS 280003 WITH SCORE 280328.135
AT ITER 1372 NEW BEST:: SOT 564244 SOS 325135 HAS SOPS 325135 HAS SOUS 279951 HAS SOUPS 279951 WITH SCORE 280276.135
AT ITER 1373 NEW BEST:: SOT 564244 SOS 325135 HAS SOPS 325135 HAS SOUS 279944 HAS SOUPS 279944 WITH SCORE 280269.135
AT ITER 1382 NEW BEST:: SOT 564244 SOS 325046 HAS SOPS 325046 HAS SOUS 279944 HAS SOUPS 279944 WITH SCORE 280269.046
AT ITER 1385 NEW BEST:: SOT 564095 SOS 325017 HAS SOPS 325017 HAS SOUS 279777 HAS SOUPS 279777 WITH SCORE 280102.017
AT ITER 1413 NEW BEST:: SOT 564095 SOS 324904 HAS SOPS 324904 HAS SOUS 279725 HAS SOUPS 279725 WITH SCORE 280049.904
AT ITER 1422 NEW BEST:: SOT 564095 SOS 324802 HAS SOPS 324802 HAS SOUS 279725 HAS SOUPS 279725 WITH SCORE 280049.802
AT ITER 1425 NEW BEST:: SOT 563666 SOS 324693 HAS SOPS 324693 HAS SOUS 279657 HAS SOUPS 279657 WITH SCORE 279981.693
AT ITER 1426 NEW BEST:: SOT 563666 SOS 324365 HAS SOPS 324365 HAS SOUS 279657 HAS SOUPS 279657 WITH SCORE 279981.365
AT ITER 1447 NEW BEST:: SOT 563744 SOS 324443 HAS SOPS 324443 HAS SOUS 279596 HAS SOUPS 279596 WITH SCORE 279920.443
AT ITER 1448 NEW BEST:: SOT 563487 SOS 324390 HAS SOPS 324390 HAS SOUS 279577 HAS SOUPS 279577 WITH SCORE 279901.39
AT ITER 1449 NEW BEST:: SOT 563487 SOS 324270 HAS SOPS 324270 HAS SOUS 279577 HAS SOUPS 279577 WITH SCORE 279901.27
AT ITER 1457 NEW BEST:: SOT 563321 SOS 324236 HAS SOPS 324236 HAS SOUS 279456 HAS SOUPS 279456 WITH SCORE 279780.236
AT ITER 1462 NEW BEST:: SOT 563155 SOS 323974 HAS SOPS 323974 HAS SOUS 279286 HAS SOUPS 279286 WITH SCORE 279609.974
AT ITER 1473 NEW BEST:: SOT 563158 SOS 323774 HAS SOPS 323774 HAS SOUS 279111 HAS SOUPS 279111 WITH SCORE 279434.774
AT ITER 1482 NEW BEST:: SOT 563158 SOS 323748 HAS SOPS 323748 HAS SOUS 279111 HAS SOUPS 279111 WITH SCORE 279434.748
AT ITER 1485 NEW BEST:: SOT 563158 SOS 323700 HAS SOPS 323700 HAS SOUS 279087 HAS SOUPS 279087 WITH SCORE 279410.7
AT ITER 1500 NEW BEST:: SOT 563158 SOS 323682 HAS SOPS 323682 HAS SOUS 279087 HAS SOUPS 279087 WITH SCORE 279410.682
AT ITER 1503 NEW BEST:: SOT 562826 SOS 323899 HAS SOPS 323899 HAS SOUS 279077 HAS SOUPS 279077 WITH SCORE 279400.899
AT ITER 1506 NEW BEST:: SOT 562826 SOS 323716 HAS SOPS 323716 HAS SOUS 279077 HAS SOUPS 279077 WITH SCORE 279400.716
AT ITER 1510 NEW BEST:: SOT 562826 SOS 323704 HAS SOPS 323704 HAS SOUS 279077 HAS SOUPS 279077 WITH SCORE 279400.704
AT ITER 1517 NEW BEST:: SOT 562588 SOS 323864 HAS SOPS 323864 HAS SOUS 278913 HAS SOUPS 278913 WITH SCORE 279236.864
AT ITER 1526 NEW BEST:: SOT 562588 SOS 323864 HAS SOPS 323864 HAS SOUS 278847 HAS SOUPS 278847 WITH SCORE 279170.864
AT ITER 1532 NEW BEST:: SOT 562574 SOS 323850 HAS SOPS 323850 HAS SOUS 278833 HAS SOUPS 278833 WITH SCORE 279156.85
AT ITER 1535 NEW BEST:: SOT 562230 SOS 323724 HAS SOPS 323724 HAS SOUS 278714 HAS SOUPS 278714 WITH SCORE 279037.724
AT ITER 1538 NEW BEST:: SOT 561487 SOS 323191 HAS SOPS 323191 HAS SOUS 278393 HAS SOUPS 278393 WITH SCORE 278716.191
AT ITER 1549 NEW BEST:: SOT 561599 SOS 323303 HAS SOPS 323303 HAS SOUS 278385 HAS SOUPS 278385 WITH SCORE 278708.303
AT ITER 1561 NEW BEST:: SOT 561068 SOS 322942 HAS SOPS 322942 HAS SOUS 277868 HAS SOUPS 277868 WITH SCORE 278190.942
AT ITER 1575 NEW BEST:: SOT 561071 SOS 322853 HAS SOPS 322853 HAS SOUS 277725 HAS SOUPS 277725 WITH SCORE 278047.853
AT ITER 1583 NEW BEST:: SOT 561185 SOS 324996 HAS SOPS 324996 HAS SOUS 277377 HAS SOUPS 277377 WITH SCORE 277701.996
AT ITER 1616 NEW BEST:: SOT 561306 SOS 325131 HAS SOPS 325131 HAS SOUS 277364 HAS SOUPS 277364 WITH SCORE 277689.131
AT ITER 1626 NEW BEST:: SOT 561306 SOS 324080 HAS SOPS 324080 HAS SOUS 277360 HAS SOUPS 277360 WITH SCORE 277684.08
AT ITER 1634 NEW BEST:: SOT 560943 SOS 323835 HAS SOPS 323835 HAS SOUS 277139 HAS SOUPS 277139 WITH SCORE 277462.835
AT ITER 1653 NEW BEST:: SOT 560406 SOS 323793 HAS SOPS 323793 HAS SOUS 276902 HAS SOUPS 276902 WITH SCORE 277225.793
AT ITER 1726 NEW BEST:: SOT 560289 SOS 323826 HAS SOPS 323826 HAS SOUS 276785 HAS SOUPS 276785 WITH SCORE 277108.826
AT ITER 1731 NEW BEST:: SOT 560289 SOS 322699 HAS SOPS 322699 HAS SOUS 276785 HAS SOUPS 276785 WITH SCORE 277107.699
AT ITER 1737 NEW BEST:: SOT 559977 SOS 322284 HAS SOPS 322284 HAS SOUS 276500 HAS SOUPS 276500 WITH SCORE 276822.284
AT ITER 1741 NEW BEST:: SOT 559977 SOS 322063 HAS SOPS 322063 HAS SOUS 276500 HAS SOUPS 276500 WITH SCORE 276822.063
AT ITER 1746 NEW BEST:: SOT 559507 SOS 322162 HAS SOPS 322162 HAS SOUS 276204 HAS SOUPS 276204 WITH SCORE 276526.162
AT ITER 1763 NEW BEST:: SOT 559506 SOS 321905 HAS SOPS 321905 HAS SOUS 276192 HAS SOUPS 276192 WITH SCORE 276513.905
AT ITER 1764 NEW BEST:: SOT 559518 SOS 321917 HAS SOPS 321917 HAS SOUS 276161 HAS SOUPS 276161 WITH SCORE 276482.917
AT ITER 1767 NEW BEST:: SOT 559518 SOS 321834 HAS SOPS 321834 HAS SOUS 276153 HAS SOUPS 276153 WITH SCORE 276474.834
AT ITER 1770 NEW BEST:: SOT 559359 SOS 321558 HAS SOPS 321558 HAS SOUS 275846 HAS SOUPS 275846 WITH SCORE 276167.558
AT ITER 1773 NEW BEST:: SOT 559359 SOS 321509 HAS SOPS 321509 HAS SOUS 275797 HAS SOUPS 275797 WITH SCORE 276118.509
AT ITER 1775 NEW BEST:: SOT 559359 SOS 320356 HAS SOPS 320356 HAS SOUS 275797 HAS SOUPS 275797 WITH SCORE 276117.356
AT ITER 1784 NEW BEST:: SOT 559359 SOS 320302 HAS SOPS 320302 HAS SOUS 275797 HAS SOUPS 275797 WITH SCORE 276117.302
AT ITER 1797 NEW BEST:: SOT 559324 SOS 320229 HAS SOPS 320229 HAS SOUS 275724 HAS SOUPS 275724 WITH SCORE 276044.229
AT ITER 1798 NEW BEST:: SOT 558189 SOS 319676 HAS SOPS 319676 HAS SOUS 275096 HAS SOUPS 275096 WITH SCORE 275415.676
AT ITER 1813 NEW BEST:: SOT 558189 SOS 319657 HAS SOPS 319657 HAS SOUS 275096 HAS SOUPS 275096 WITH SCORE 275415.657
AT ITER 1818 NEW BEST:: SOT 558186 SOS 321019 HAS SOPS 321019 HAS SOUS 274978 HAS SOUPS 274978 WITH SCORE 275299.019
AT ITER 1819 NEW BEST:: SOT 557383 SOS 320922 HAS SOPS 320922 HAS SOUS 274693 HAS SOUPS 274693 WITH SCORE 275013.922
AT ITER 1842 NEW BEST:: SOT 557383 SOS 320637 HAS SOPS 320637 HAS SOUS 274164 HAS SOUPS 274164 WITH SCORE 274484.637
AT ITER 1856 NEW BEST:: SOT 557366 SOS 320635 HAS SOPS 320635 HAS SOUS 274162 HAS SOUPS 274162 WITH SCORE 274482.635
AT ITER 1863 NEW BEST:: SOT 557366 SOS 320611 HAS SOPS 320611 HAS SOUS 274162 HAS SOUPS 274162 WITH SCORE 274482.611
AT ITER 1868 NEW BEST:: SOT 557321 SOS 320540 HAS SOPS 320540 HAS SOUS 274117 HAS SOUPS 274117 WITH SCORE 274437.54
AT ITER 1869 NEW BEST:: SOT 556523 SOS 319902 HAS SOPS 319902 HAS SOUS 273479 HAS SOUPS 273479 WITH SCORE 273798.902
AT ITER 1872 NEW BEST:: SOT 556523 SOS 318705 HAS SOPS 318705 HAS SOUS 273479 HAS SOUPS 273479 WITH SCORE 273797.705
AT ITER 1882 NEW BEST:: SOT 556523 SOS 318705 HAS SOPS 318705 HAS SOUS 273465 HAS SOUPS 273465 WITH SCORE 273783.705
AT ITER 1883 NEW BEST:: SOT 556345 SOS 318734 HAS SOPS 318734 HAS SOUS 273297 HAS SOUPS 273297 WITH SCORE 273615.734
AT ITER 1884 NEW BEST:: SOT 556611 SOS 318883 HAS SOPS 318883 HAS SOUS 273077 HAS SOUPS 273077 WITH SCORE 273395.883
AT ITER 1895 NEW BEST:: SOT 556131 SOS 318764 HAS SOPS 318764 HAS SOUS 272754 HAS SOUPS 272754 WITH SCORE 273072.764
AT ITER 1905 NEW BEST:: SOT 555894 SOS 318658 HAS SOPS 318658 HAS SOUS 272648 HAS SOUPS 272648 WITH SCORE 272966.658
AT ITER 1906 NEW BEST:: SOT 555894 SOS 318443 HAS SOPS 318443 HAS SOUS 272579 HAS SOUPS 272579 WITH SCORE 272897.443
AT ITER 1909 NEW BEST:: SOT 555894 SOS 318443 HAS SOPS 318443 HAS SOUS 272558 HAS SOUPS 272558 WITH SCORE 272876.443
AT ITER 1924 NEW BEST:: SOT 555894 SOS 318189 HAS SOPS 318189 HAS SOUS 272558 HAS SOUPS 272558 WITH SCORE 272876.189
AT ITER 1940 NEW BEST:: SOT 555894 SOS 317553 HAS SOPS 317553 HAS SOUS 272558 HAS SOUPS 272558 WITH SCORE 272875.553
AT ITER 1947 NEW BEST:: SOT 555646 SOS 317487 HAS SOPS 317487 HAS SOUS 272447 HAS SOUPS 272447 WITH SCORE 272764.487
AT ITER 1960 NEW BEST:: SOT 555646 SOS 317384 HAS SOPS 317384 HAS SOUS 272447 HAS SOUPS 272447 WITH SCORE 272764.384
AT ITER 1963 NEW BEST:: SOT 555646 SOS 317018 HAS SOPS 317018 HAS SOUS 272447 HAS SOUPS 272447 WITH SCORE 272764.018
AT ITER 1972 NEW BEST:: SOT 555646 SOS 316939 HAS SOPS 316939 HAS SOUS 272447 HAS SOUPS 272447 WITH SCORE 272763.939
AT ITER 1981 NEW BEST:: SOT 555646 SOS 316925 HAS SOPS 316925 HAS SOUS 272447 HAS SOUPS 272447 WITH SCORE 272763.925
AT ITER 1983 NEW BEST:: SOT 555646 SOS 316885 HAS SOPS 316885 HAS SOUS 272407 HAS SOUPS 272407 WITH SCORE 272723.885
AT ITER 1989 NEW BEST:: SOT 555518 SOS 316789 HAS SOPS 316789 HAS SOUS 272311 HAS SOUPS 272311 WITH SCORE 272627.789
AT ITER 1990 NEW BEST:: SOT 555518 SOS 316771 HAS SOPS 316771 HAS SOUS 272299 HAS SOUPS 272299 WITH SCORE 272615.771
AT ITER 1999 NEW BEST:: SOT 555518 SOS 316678 HAS SOPS 316678 HAS SOUS 272299 HAS SOUPS 272299 WITH SCORE 272615.678
AT ITER 2006 NEW BEST:: SOT 555411 SOS 316571 HAS SOPS 316571 HAS SOUS 272043 HAS SOUPS 272043 WITH SCORE 272359.571
AT ITER 2026 NEW BEST:: SOT 555113 SOS 316935 HAS SOPS 316935 HAS SOUS 272003 HAS SOUPS 272003 WITH SCORE 272319.935
AT ITER 2029 NEW BEST:: SOT 555113 SOS 316285 HAS SOPS 316285 HAS SOUS 272003 HAS SOUPS 272003 WITH SCORE 272319.285
AT ITER 2031 NEW BEST:: SOT 555093 SOS 316265 HAS SOPS 316265 HAS SOUS 271834 HAS SOUPS 271834 WITH SCORE 272150.265
AT ITER 2054 NEW BEST:: SOT 555093 SOS 315977 HAS SOPS 315977 HAS SOUS 271834 HAS SOUPS 271834 WITH SCORE 272149.977
AT ITER 2058 NEW BEST:: SOT 555093 SOS 315908 HAS SOPS 315908 HAS SOUS 271708 HAS SOUPS 271708 WITH SCORE 272023.908
AT ITER 2059 NEW BEST:: SOT 554979 SOS 315982 HAS SOPS 315982 HAS SOUS 271594 HAS SOUPS 271594 WITH SCORE 271909.982
AT ITER 2063 NEW BEST:: SOT 554945 SOS 315948 HAS SOPS 315948 HAS SOUS 271544 HAS SOUPS 271544 WITH SCORE 271859.948
AT ITER 2067 NEW BEST:: SOT 554945 SOS 315928 HAS SOPS 315928 HAS SOUS 271544 HAS SOUPS 271544 WITH SCORE 271859.928
AT ITER 2071 NEW BEST:: SOT 554945 SOS 315902 HAS SOPS 315902 HAS SOUS 271544 HAS SOUPS 271544 WITH SCORE 271859.902
AT ITER 2086 NEW BEST:: SOT 554815 SOS 315777 HAS SOPS 315777 HAS SOUS 271419 HAS SOUPS 271419 WITH SCORE 271734.777
AT ITER 2092 NEW BEST:: SOT 554815 SOS 316177 HAS SOPS 316177 HAS SOUS 271353 HAS SOUPS 271353 WITH SCORE 271669.177
AT ITER 2096 NEW BEST:: SOT 554794 SOS 316156 HAS SOPS 316156 HAS SOUS 271332 HAS SOUPS 271332 WITH SCORE 271648.156
AT ITER 2099 NEW BEST:: SOT 554790 SOS 316152 HAS SOPS 316152 HAS SOUS 271328 HAS SOUPS 271328 WITH SCORE 271644.152
AT ITER 2100 NEW BEST:: SOT 554825 SOS 316117 HAS SOPS 316117 HAS SOUS 271328 HAS SOUPS 271328 WITH SCORE 271644.117
AT ITER 2104 NEW BEST:: SOT 554832 SOS 316012 HAS SOPS 316012 HAS SOUS 271223 HAS SOUPS 271223 WITH SCORE 271539.012
AT ITER 2109 NEW BEST:: SOT 554503 SOS 316506 HAS SOPS 316506 HAS SOUS 271040 HAS SOUPS 271040 WITH SCORE 271356.506
AT ITER 2111 NEW BEST:: SOT 554471 SOS 316532 HAS SOPS 316532 HAS SOUS 271029 HAS SOUPS 271029 WITH SCORE 271345.532
AT ITER 2114 NEW BEST:: SOT 554471 SOS 316512 HAS SOPS 316512 HAS SOUS 271029 HAS SOUPS 271029 WITH SCORE 271345.512
AT ITER 2125 NEW BEST:: SOT 554471 SOS 316512 HAS SOPS 316512 HAS SOUS 271013 HAS SOUPS 271013 WITH SCORE 271329.512
AT ITER 2129 NEW BEST:: SOT 554419 SOS 316466 HAS SOPS 316466 HAS SOUS 270761 HAS SOUPS 270761 WITH SCORE 271077.466
AT ITER 2131 NEW BEST:: SOT 554437 SOS 316466 HAS SOPS 316466 HAS SOUS 270743 HAS SOUPS 270743 WITH SCORE 271059.466
AT ITER 2136 NEW BEST:: SOT 554323 SOS 316518 HAS SOPS 316518 HAS SOUS 270629 HAS SOUPS 270629 WITH SCORE 270945.518
AT ITER 2146 NEW BEST:: SOT 554125 SOS 315888 HAS SOPS 315888 HAS SOUS 270315 HAS SOUPS 270315 WITH SCORE 270630.888
AT ITER 2150 NEW BEST:: SOT 554125 SOS 315886 HAS SOPS 315886 HAS SOUS 270315 HAS SOUPS 270315 WITH SCORE 270630.886
AT ITER 2157 NEW BEST:: SOT 554125 SOS 315853 HAS SOPS 315853 HAS SOUS 270315 HAS SOUPS 270315 WITH SCORE 270630.853
AT ITER 2171 NEW BEST:: SOT 553899 SOS 315710 HAS SOPS 315710 HAS SOUS 270172 HAS SOUPS 270172 WITH SCORE 270487.71
AT ITER 2175 NEW BEST:: SOT 553940 SOS 315572 HAS SOPS 315572 HAS SOUS 269991 HAS SOUPS 269991 WITH SCORE 270306.572
AT ITER 2199 NEW BEST:: SOT 553527 SOS 315217 HAS SOPS 315217 HAS SOUS 269636 HAS SOUPS 269636 WITH SCORE 269951.217
AT ITER 2202 NEW BEST:: SOT 553527 SOS 315186 HAS SOPS 315186 HAS SOUS 269634 HAS SOUPS 269634 WITH SCORE 269949.186
AT ITER 2212 NEW BEST:: SOT 553501 SOS 315160 HAS SOPS 315160 HAS SOUS 269608 HAS SOUPS 269608 WITH SCORE 269923.16
AT ITER 2214 NEW BEST:: SOT 553501 SOS 315160 HAS SOPS 315160 HAS SOUS 269434 HAS SOUPS 269434 WITH SCORE 269749.16
AT ITER 2221 NEW BEST:: SOT 552940 SOS 314883 HAS SOPS 314883 HAS SOUS 269141 HAS SOUPS 269141 WITH SCORE 269455.883
AT ITER 2223 NEW BEST:: SOT 553260 SOS 315092 HAS SOPS 315092 HAS SOUS 269107 HAS SOUPS 269107 WITH SCORE 269422.092
AT ITER 2227 NEW BEST:: SOT 552392 SOS 316965 HAS SOPS 316965 HAS SOUS 268789 HAS SOUPS 268789 WITH SCORE 269105.965
AT ITER 2228 NEW BEST:: SOT 552458 SOS 316958 HAS SOPS 316958 HAS SOUS 268749 HAS SOUPS 268749 WITH SCORE 269065.958
AT ITER 2236 NEW BEST:: SOT 552386 SOS 317081 HAS SOPS 317081 HAS SOUS 268581 HAS SOUPS 268581 WITH SCORE 268898.081
AT ITER 2237 NEW BEST:: SOT 552182 SOS 316745 HAS SOPS 316745 HAS SOUS 268377 HAS SOUPS 268377 WITH SCORE 268693.745
AT ITER 2243 NEW BEST:: SOT 551917 SOS 316926 HAS SOPS 316926 HAS SOUS 268035 HAS SOUPS 268035 WITH SCORE 268351.926
AT ITER 2247 NEW BEST:: SOT 551917 SOS 316720 HAS SOPS 316720 HAS SOUS 267960 HAS SOUPS 267960 WITH SCORE 268276.72
AT ITER 2252 NEW BEST:: SOT 551736 SOS 316671 HAS SOPS 316671 HAS SOUS 267911 HAS SOUPS 267911 WITH SCORE 268227.671
AT ITER 2254 NEW BEST:: SOT 551646 SOS 316615 HAS SOPS 316615 HAS SOUS 267790 HAS SOUPS 267790 WITH SCORE 268106.615
AT ITER 2256 NEW BEST:: SOT 550961 SOS 316190 HAS SOPS 316190 HAS SOUS 267365 HAS SOUPS 267365 WITH SCORE 267681.19
AT ITER 2281 NEW BEST:: SOT 550961 SOS 315802 HAS SOPS 315802 HAS SOUS 267326 HAS SOUPS 267326 WITH SCORE 267641.802
AT ITER 2289 NEW BEST:: SOT 550961 SOS 315728 HAS SOPS 315728 HAS SOUS 267326 HAS SOUPS 267326 WITH SCORE 267641.728
AT ITER 2292 NEW BEST:: SOT 550876 SOS 315726 HAS SOPS 315726 HAS SOUS 267304 HAS SOUPS 267304 WITH SCORE 267619.726
AT ITER 2302 NEW BEST:: SOT 550866 SOS 315759 HAS SOPS 315759 HAS SOUS 267294 HAS SOUPS 267294 WITH SCORE 267609.759
AT ITER 2304 NEW BEST:: SOT 550295 SOS 316391 HAS SOPS 316391 HAS SOUS 266990 HAS SOUPS 266990 WITH SCORE 267306.391
AT ITER 2324 NEW BEST:: SOT 550295 SOS 316283 HAS SOPS 316283 HAS SOUS 266990 HAS SOUPS 266990 WITH SCORE 267306.283
AT ITER 2327 NEW BEST:: SOT 550295 SOS 316228 HAS SOPS 316228 HAS SOUS 266990 HAS SOUPS 266990 WITH SCORE 267306.228
AT ITER 2334 NEW BEST:: SOT 550293 SOS 316226 HAS SOPS 316226 HAS SOUS 266988 HAS SOUPS 266988 WITH SCORE 267304.226
AT ITER 2341 NEW BEST:: SOT 550258 SOS 316191 HAS SOPS 316191 HAS SOUS 266953 HAS SOUPS 266953 WITH SCORE 267269.191
AT ITER 2344 NEW BEST:: SOT 549823 SOS 315756 HAS SOPS 315756 HAS SOUS 266518 HAS SOUPS 266518 WITH SCORE 266833.756
AT ITER 2354 NEW BEST:: SOT 549953 SOS 315892 HAS SOPS 315892 HAS SOUS 266489 HAS SOUPS 266489 WITH SCORE 266804.892
AT ITER 2355 NEW BEST:: SOT 549953 SOS 315286 HAS SOPS 315286 HAS SOUS 266489 HAS SOUPS 266489 WITH SCORE 266804.286
AT ITER 2366 NEW BEST:: SOT 549880 SOS 315322 HAS SOPS 315322 HAS SOUS 266471 HAS SOUPS 266471 WITH SCORE 266786.322
AT ITER 2371 NEW BEST:: SOT 549781 SOS 315445 HAS SOPS 315445 HAS SOUS 266427 HAS SOUPS 266427 WITH SCORE 266742.445
AT ITER 2372 NEW BEST:: SOT 549781 SOS 315365 HAS SOPS 315365 HAS SOUS 266358 HAS SOUPS 266358 WITH SCORE 266673.365
AT ITER 2374 NEW BEST:: SOT 549393 SOS 315355 HAS SOPS 315355 HAS SOUS 266137 HAS SOUPS 266137 WITH SCORE 266452.355
AT ITER 2375 NEW BEST:: SOT 548933 SOS 315990 HAS SOPS 315990 HAS SOUS 266034 HAS SOUPS 266034 WITH SCORE 266349.99
AT ITER 2378 NEW BEST:: SOT 548873 SOS 315853 HAS SOPS 315853 HAS SOUS 265981 HAS SOUPS 265981 WITH SCORE 266296.853
AT ITER 2381 NEW BEST:: SOT 548873 SOS 314093 HAS SOPS 314093 HAS SOUS 265981 HAS SOUPS 265981 WITH SCORE 266295.093
AT ITER 2389 NEW BEST:: SOT 548873 SOS 313798 HAS SOPS 313798 HAS SOUS 265981 HAS SOUPS 265981 WITH SCORE 266294.798
AT ITER 2392 NEW BEST:: SOT 548873 SOS 313640 HAS SOPS 313640 HAS SOUS 265917 HAS SOUPS 265917 WITH SCORE 266230.64
AT ITER 2400 NEW BEST:: SOT 548873 SOS 313597 HAS SOPS 313597 HAS SOUS 265917 HAS SOUPS 265917 WITH SCORE 266230.597
AT ITER 2412 NEW BEST:: SOT 548873 SOS 313175 HAS SOPS 313175 HAS SOUS 265917 HAS SOUPS 265917 WITH SCORE 266230.175
AT ITER 2436 NEW BEST:: SOT 548873 SOS 313073 HAS SOPS 313073 HAS SOUS 265917 HAS SOUPS 265917 WITH SCORE 266230.073
AT ITER 2470 NEW BEST:: SOT 548873 SOS 311828 HAS SOPS 311828 HAS SOUS 265909 HAS SOUPS 265909 WITH SCORE 266220.828
AT ITER 2478 NEW BEST:: SOT 548709 SOS 311609 HAS SOPS 311609 HAS SOUS 265634 HAS SOUPS 265634 WITH SCORE 265945.609
AT ITER 2501 NEW BEST:: SOT 548672 SOS 311572 HAS SOPS 311572 HAS SOUS 265597 HAS SOUPS 265597 WITH SCORE 265908.572
AT ITER 2506 NEW BEST:: SOT 548544 SOS 311444 HAS SOPS 311444 HAS SOUS 265430 HAS SOUPS 265430 WITH SCORE 265741.444
AT ITER 2507 NEW BEST:: SOT 547929 SOS 310991 HAS SOPS 310991 HAS SOUS 264977 HAS SOUPS 264977 WITH SCORE 265287.991
AT ITER 2508 NEW BEST:: SOT 547929 SOS 310799 HAS SOPS 310799 HAS SOUS 264977 HAS SOUPS 264977 WITH SCORE 265287.799
AT ITER 2520 NEW BEST:: SOT 547929 SOS 310764 HAS SOPS 310764 HAS SOUS 264970 HAS SOUPS 264970 WITH SCORE 265280.764
AT ITER 2522 NEW BEST:: SOT 547916 SOS 310751 HAS SOPS 310751 HAS SOUS 264957 HAS SOUPS 264957 WITH SCORE 265267.751
AT ITER 2533 NEW BEST:: SOT 547525 SOS 310581 HAS SOPS 310581 HAS SOUS 264825 HAS SOUPS 264825 WITH SCORE 265135.581
AT ITER 2545 NEW BEST:: SOT 547525 SOS 310575 HAS SOPS 310575 HAS SOUS 264825 HAS SOUPS 264825 WITH SCORE 265135.575
AT ITER 2554 NEW BEST:: SOT 547437 SOS 310487 HAS SOPS 310487 HAS SOUS 264737 HAS SOUPS 264737 WITH SCORE 265047.487
AT ITER 2557 NEW BEST:: SOT 547437 SOS 310289 HAS SOPS 310289 HAS SOUS 264737 HAS SOUPS 264737 WITH SCORE 265047.289
AT ITER 2566 NEW BEST:: SOT 547396 SOS 310248 HAS SOPS 310248 HAS SOUS 264696 HAS SOUPS 264696 WITH SCORE 265006.248
AT ITER 2571 NEW BEST:: SOT 547374 SOS 310396 HAS SOPS 310396 HAS SOUS 264674 HAS SOUPS 264674 WITH SCORE 264984.396
AT ITER 2576 NEW BEST:: SOT 547374 SOS 310396 HAS SOPS 310396 HAS SOUS 264672 HAS SOUPS 264672 WITH SCORE 264982.396
AT ITER 2592 NEW BEST:: SOT 547334 SOS 310454 HAS SOPS 310454 HAS SOUS 264570 HAS SOUPS 264570 WITH SCORE 264880.454
AT ITER 2593 NEW BEST:: SOT 547238 SOS 310358 HAS SOPS 310358 HAS SOUS 264522 HAS SOUPS 264522 WITH SCORE 264832.358
AT ITER 2598 NEW BEST:: SOT 547238 SOS 310349 HAS SOPS 310349 HAS SOUS 264522 HAS SOUPS 264522 WITH SCORE 264832.349
AT ITER 2599 NEW BEST:: SOT 547238 SOS 310341 HAS SOPS 310341 HAS SOUS 264522 HAS SOUPS 264522 WITH SCORE 264832.341
AT ITER 2602 NEW BEST:: SOT 547270 SOS 310436 HAS SOPS 310436 HAS SOUS 264462 HAS SOUPS 264462 WITH SCORE 264772.436
AT ITER 2603 NEW BEST:: SOT 547270 SOS 310983 HAS SOPS 310983 HAS SOUS 264458 HAS SOUPS 264458 WITH SCORE 264768.983
AT ITER 2635 NEW BEST:: SOT 547099 SOS 310658 HAS SOPS 310658 HAS SOUS 264194 HAS SOUPS 264194 WITH SCORE 264504.658
AT ITER 2636 NEW BEST:: SOT 547099 SOS 310658 HAS SOPS 310658 HAS SOUS 264080 HAS SOUPS 264080 WITH SCORE 264390.658
AT ITER 2644 NEW BEST:: SOT 546991 SOS 310603 HAS SOPS 310603 HAS SOUS 263988 HAS SOUPS 263988 WITH SCORE 264298.603
AT ITER 2646 NEW BEST:: SOT 546965 SOS 310577 HAS SOPS 310577 HAS SOUS 263962 HAS SOUPS 263962 WITH SCORE 264272.577
AT ITER 2656 NEW BEST:: SOT 546965 SOS 310565 HAS SOPS 310565 HAS SOUS 263962 HAS SOUPS 263962 WITH SCORE 264272.565
AT ITER 2659 NEW BEST:: SOT 546965 SOS 310542 HAS SOPS 310542 HAS SOUS 263962 HAS SOUPS 263962 WITH SCORE 264272.542
AT ITER 2663 NEW BEST:: SOT 546965 SOS 310431 HAS SOPS 310431 HAS SOUS 263946 HAS SOUPS 263946 WITH SCORE 264256.431
AT ITER 2665 NEW BEST:: SOT 546965 SOS 310002 HAS SOPS 310002 HAS SOUS 263938 HAS SOUPS 263938 WITH SCORE 264248.002
AT ITER 2666 NEW BEST:: SOT 546923 SOS 309960 HAS SOPS 309960 HAS SOUS 263896 HAS SOUPS 263896 WITH SCORE 264205.96
AT ITER 2671 NEW BEST:: SOT 546683 SOS 309769 HAS SOPS 309769 HAS SOUS 263705 HAS SOUPS 263705 WITH SCORE 264014.769
AT ITER 2676 NEW BEST:: SOT 546555 SOS 309669 HAS SOPS 309669 HAS SOUS 263605 HAS SOUPS 263605 WITH SCORE 263914.669
AT ITER 2683 NEW BEST:: SOT 546331 SOS 309534 HAS SOPS 309534 HAS SOUS 263470 HAS SOUPS 263470 WITH SCORE 263779.534
AT ITER 2685 NEW BEST:: SOT 545961 SOS 309263 HAS SOPS 309263 HAS SOUS 263102 HAS SOUPS 263102 WITH SCORE 263411.263
AT ITER 2686 NEW BEST:: SOT 545961 SOS 309250 HAS SOPS 309250 HAS SOUS 263102 HAS SOUPS 263102 WITH SCORE 263411.25
AT ITER 2692 NEW BEST:: SOT 545339 SOS 308969 HAS SOPS 308969 HAS SOUS 262764 HAS SOUPS 262764 WITH SCORE 263072.969
AT ITER 2711 NEW BEST:: SOT 545290 SOS 308920 HAS SOPS 308920 HAS SOUS 262715 HAS SOUPS 262715 WITH SCORE 263023.92
AT ITER 2715 NEW BEST:: SOT 545173 SOS 308893 HAS SOPS 308893 HAS SOUS 262670 HAS SOUPS 262670 WITH SCORE 262978.893
AT ITER 2719 NEW BEST:: SOT 545173 SOS 308963 HAS SOPS 308963 HAS SOUS 262572 HAS SOUPS 262572 WITH SCORE 262880.963
AT ITER 2722 NEW BEST:: SOT 545087 SOS 309001 HAS SOPS 309001 HAS SOUS 262419 HAS SOUPS 262419 WITH SCORE 262728.001
AT ITER 2729 NEW BEST:: SOT 545087 SOS 308991 HAS SOPS 308991 HAS SOUS 262409 HAS SOUPS 262409 WITH SCORE 262717.991
AT ITER 2730 NEW BEST:: SOT 544496 SOS 308509 HAS SOPS 308509 HAS SOUS 261985 HAS SOUPS 261985 WITH SCORE 262293.509
AT ITER 2741 NEW BEST:: SOT 544496 SOS 308507 HAS SOPS 308507 HAS SOUS 261983 HAS SOUPS 261983 WITH SCORE 262291.507
AT ITER 2744 NEW BEST:: SOT 544539 SOS 308550 HAS SOPS 308550 HAS SOUS 261981 HAS SOUPS 261981 WITH SCORE 262289.55
AT ITER 2750 NEW BEST:: SOT 544612 SOS 308693 HAS SOPS 308693 HAS SOUS 261977 HAS SOUPS 261977 WITH SCORE 262285.693
AT ITER 2753 NEW BEST:: SOT 544654 SOS 308434 HAS SOPS 308434 HAS SOUS 261782 HAS SOUPS 261782 WITH SCORE 262090.434
AT ITER 2771 NEW BEST:: SOT 544605 SOS 308385 HAS SOPS 308385 HAS SOUS 261733 HAS SOUPS 261733 WITH SCORE 262041.385
AT ITER 2774 NEW BEST:: SOT 544605 SOS 306919 HAS SOPS 306919 HAS SOUS 261733 HAS SOUPS 261733 WITH SCORE 262039.919
AT ITER 2794 NEW BEST:: SOT 544605 SOS 306762 HAS SOPS 306762 HAS SOUS 261685 HAS SOUPS 261685 WITH SCORE 261991.762
AT ITER 2800 NEW BEST:: SOT 544554 SOS 306711 HAS SOPS 306711 HAS SOUS 261660 HAS SOUPS 261660 WITH SCORE 261966.711
AT ITER 2813 NEW BEST:: SOT 544554 SOS 306684 HAS SOPS 306684 HAS SOUS 261660 HAS SOUPS 261660 WITH SCORE 261966.684
AT ITER 2832 NEW BEST:: SOT 544554 SOS 306573 HAS SOPS 306573 HAS SOUS 261658 HAS SOUPS 261658 WITH SCORE 261964.573
AT ITER 2835 NEW BEST:: SOT 544531 SOS 306550 HAS SOPS 306550 HAS SOUS 261604 HAS SOUPS 261604 WITH SCORE 261910.55
AT ITER 2843 NEW BEST:: SOT 544531 SOS 306469 HAS SOPS 306469 HAS SOUS 261604 HAS SOUPS 261604 WITH SCORE 261910.469
AT ITER 2852 NEW BEST:: SOT 544454 SOS 306386 HAS SOPS 306386 HAS SOUS 261521 HAS SOUPS 261521 WITH SCORE 261827.386
AT ITER 2853 NEW BEST:: SOT 544454 SOS 306288 HAS SOPS 306288 HAS SOUS 261343 HAS SOUPS 261343 WITH SCORE 261649.288
AT ITER 2855 NEW BEST:: SOT 544536 SOS 306320 HAS SOPS 306320 HAS SOUS 261238 HAS SOUPS 261238 WITH SCORE 261544.32
AT ITER 2870 NEW BEST:: SOT 544516 SOS 306372 HAS SOPS 306372 HAS SOUS 261218 HAS SOUPS 261218 WITH SCORE 261524.372
AT ITER 2896 NEW BEST:: SOT 544516 SOS 306344 HAS SOPS 306344 HAS SOUS 261218 HAS SOUPS 261218 WITH SCORE 261524.344
AT ITER 2922 NEW BEST:: SOT 544458 SOS 306307 HAS SOPS 306307 HAS SOUS 261160 HAS SOUPS 261160 WITH SCORE 261466.307
AT ITER 2930 NEW BEST:: SOT 544144 SOS 305993 HAS SOPS 305993 HAS SOUS 260961 HAS SOUPS 260961 WITH SCORE 261266.993
AT ITER 2933 NEW BEST:: SOT 543579 SOS 305801 HAS SOPS 305801 HAS SOUS 260645 HAS SOUPS 260645 WITH SCORE 260950.801
AT ITER 2939 NEW BEST:: SOT 543579 SOS 305691 HAS SOPS 305691 HAS SOUS 260645 HAS SOUPS 260645 WITH SCORE 260950.691
AT ITER 2940 NEW BEST:: SOT 543579 SOS 305343 HAS SOPS 305343 HAS SOUS 260628 HAS SOUPS 260628 WITH SCORE 260933.343
AT ITER 2949 NEW BEST:: SOT 543467 SOS 305642 HAS SOPS 305642 HAS SOUS 260626 HAS SOUPS 260626 WITH SCORE 260931.642
AT ITER 2960 NEW BEST:: SOT 543467 SOS 308338 HAS SOPS 308338 HAS SOUS 260599 HAS SOUPS 260599 WITH SCORE 260907.338
AT ITER 2962 NEW BEST:: SOT 543467 SOS 308448 HAS SOPS 308448 HAS SOUS 260578 HAS SOUPS 260578 WITH SCORE 260886.448
AT ITER 2966 NEW BEST:: SOT 543332 SOS 308313 HAS SOPS 308313 HAS SOUS 260443 HAS SOUPS 260443 WITH SCORE 260751.313
AT ITER 2970 NEW BEST:: SOT 543275 SOS 308308 HAS SOPS 308308 HAS SOUS 260438 HAS SOUPS 260438 WITH SCORE 260746.308
AT ITER 2974 NEW BEST:: SOT 543275 SOS 308270 HAS SOPS 308270 HAS SOUS 260416 HAS SOUPS 260416 WITH SCORE 260724.27
AT ITER 2979 NEW BEST:: SOT 543187 SOS 308182 HAS SOPS 308182 HAS SOUS 260328 HAS SOUPS 260328 WITH SCORE 260636.182
AT ITER 2993 NEW BEST:: SOT 543187 SOS 307365 HAS SOPS 307365 HAS SOUS 260302 HAS SOUPS 260302 WITH SCORE 260609.365
AT ITER 2994 NEW BEST:: SOT 543187 SOS 307314 HAS SOPS 307314 HAS SOUS 260302 HAS SOUPS 260302 WITH SCORE 260609.314
AT ITER 3003 NEW BEST:: SOT 542625 SOS 306797 HAS SOPS 306797 HAS SOUS 259838 HAS SOUPS 259838 WITH SCORE 260144.797
AT ITER 3006 NEW BEST:: SOT 541999 SOS 306444 HAS SOPS 306444 HAS SOUS 259255 HAS SOUPS 259255 WITH SCORE 259561.444
AT ITER 3011 NEW BEST:: SOT 541619 SOS 306960 HAS SOPS 306960 HAS SOUS 259243 HAS SOUPS 259243 WITH SCORE 259549.96
AT ITER 3015 NEW BEST:: SOT 541619 SOS 306879 HAS SOPS 306879 HAS SOUS 259194 HAS SOUPS 259194 WITH SCORE 259500.879
AT ITER 3023 NEW BEST:: SOT 541530 SOS 306693 HAS SOPS 306693 HAS SOUS 259096 HAS SOUPS 259096 WITH SCORE 259402.693
AT ITER 3025 NEW BEST:: SOT 541509 SOS 306672 HAS SOPS 306672 HAS SOUS 259075 HAS SOUPS 259075 WITH SCORE 259381.672
AT ITER 3027 NEW BEST:: SOT 541509 SOS 306665 HAS SOPS 306665 HAS SOUS 259075 HAS SOUPS 259075 WITH SCORE 259381.665
AT ITER 3041 NEW BEST:: SOT 541509 SOS 306505 HAS SOPS 306505 HAS SOUS 259075 HAS SOUPS 259075 WITH SCORE 259381.505
AT ITER 3054 NEW BEST:: SOT 541509 SOS 306449 HAS SOPS 306449 HAS SOUS 259061 HAS SOUPS 259061 WITH SCORE 259367.449
AT ITER 3063 NEW BEST:: SOT 540550 SOS 306461 HAS SOPS 306461 HAS SOUS 258464 HAS SOUPS 258464 WITH SCORE 258770.461
AT ITER 3079 NEW BEST:: SOT 540396 SOS 306498 HAS SOPS 306498 HAS SOUS 258310 HAS SOUPS 258310 WITH SCORE 258616.498
AT ITER 3085 NEW BEST:: SOT 540392 SOS 306470 HAS SOPS 306470 HAS SOUS 258243 HAS SOUPS 258243 WITH SCORE 258549.47
AT ITER 3091 NEW BEST:: SOT 540392 SOS 306470 HAS SOPS 306470 HAS SOUS 258235 HAS SOUPS 258235 WITH SCORE 258541.47
AT ITER 3100 NEW BEST:: SOT 539694 SOS 306163 HAS SOPS 306163 HAS SOUS 258043 HAS SOUPS 258043 WITH SCORE 258349.163
AT ITER 3120 NEW BEST:: SOT 539702 SOS 306139 HAS SOPS 306139 HAS SOUS 258019 HAS SOUPS 258019 WITH SCORE 258325.139
AT ITER 3121 NEW BEST:: SOT 539702 SOS 306190 HAS SOPS 306190 HAS SOUS 258018 HAS SOUPS 258018 WITH SCORE 258324.19
AT ITER 3125 NEW BEST:: SOT 539665 SOS 306296 HAS SOPS 306296 HAS SOUS 257981 HAS SOUPS 257981 WITH SCORE 258287.296
AT ITER 3134 NEW BEST:: SOT 539665 SOS 306902 HAS SOPS 306902 HAS SOUS 257721 HAS SOUPS 257721 WITH SCORE 258027.902
AT ITER 3137 NEW BEST:: SOT 539493 SOS 306340 HAS SOPS 306340 HAS SOUS 257549 HAS SOUPS 257549 WITH SCORE 257855.34
AT ITER 3147 NEW BEST:: SOT 539493 SOS 306054 HAS SOPS 306054 HAS SOUS 257549 HAS SOUPS 257549 WITH SCORE 257855.054
AT ITER 3153 NEW BEST:: SOT 539492 SOS 306053 HAS SOPS 306053 HAS SOUS 257548 HAS SOUPS 257548 WITH SCORE 257854.053
AT ITER 3156 NEW BEST:: SOT 539492 SOS 305392 HAS SOPS 305392 HAS SOUS 257548 HAS SOUPS 257548 WITH SCORE 257853.392
AT ITER 3158 NEW BEST:: SOT 539492 SOS 305358 HAS SOPS 305358 HAS SOUS 257444 HAS SOUPS 257444 WITH SCORE 257749.358
AT ITER 3159 NEW BEST:: SOT 539483 SOS 305349 HAS SOPS 305349 HAS SOUS 257435 HAS SOUPS 257435 WITH SCORE 257740.349
AT ITER 3162 NEW BEST:: SOT 539180 SOS 305566 HAS SOPS 305566 HAS SOUS 257253 HAS SOUPS 257253 WITH SCORE 257558.566
AT ITER 3175 NEW BEST:: SOT 539146 SOS 305532 HAS SOPS 305532 HAS SOUS 257219 HAS SOUPS 257219 WITH SCORE 257524.532
AT ITER 3195 NEW BEST:: SOT 539146 SOS 304084 HAS SOPS 304084 HAS SOUS 257219 HAS SOUPS 257219 WITH SCORE 257523.084
AT ITER 3202 NEW BEST:: SOT 539146 SOS 304043 HAS SOPS 304043 HAS SOUS 257219 HAS SOUPS 257219 WITH SCORE 257523.043
AT ITER 3205 NEW BEST:: SOT 538991 SOS 303397 HAS SOPS 303397 HAS SOUS 257137 HAS SOUPS 257137 WITH SCORE 257440.397
AT ITER 3227 NEW BEST:: SOT 539032 SOS 303372 HAS SOPS 303372 HAS SOUS 257118 HAS SOUPS 257118 WITH SCORE 257421.372
AT ITER 3237 NEW BEST:: SOT 539129 SOS 303358 HAS SOPS 303358 HAS SOUS 257067 HAS SOUPS 257067 WITH SCORE 257370.358
AT ITER 3238 NEW BEST:: SOT 538292 SOS 303646 HAS SOPS 303646 HAS SOUS 256515 HAS SOUPS 256515 WITH SCORE 256818.646
AT ITER 3240 NEW BEST:: SOT 538180 SOS 303562 HAS SOPS 303562 HAS SOUS 256459 HAS SOUPS 256459 WITH SCORE 256762.562
AT ITER 3244 NEW BEST:: SOT 538180 SOS 303531 HAS SOPS 303531 HAS SOUS 256459 HAS SOUPS 256459 WITH SCORE 256762.531
AT ITER 3253 NEW BEST:: SOT 538142 SOS 303493 HAS SOPS 303493 HAS SOUS 256381 HAS SOUPS 256381 WITH SCORE 256684.493
AT ITER 3260 NEW BEST:: SOT 538142 SOS 303389 HAS SOPS 303389 HAS SOUS 256329 HAS SOUPS 256329 WITH SCORE 256632.389
AT ITER 3266 NEW BEST:: SOT 538113 SOS 303366 HAS SOPS 303366 HAS SOUS 256267 HAS SOUPS 256267 WITH SCORE 256570.366
AT ITER 3273 NEW BEST:: SOT 538074 SOS 303327 HAS SOPS 303327 HAS SOUS 256234 HAS SOUPS 256234 WITH SCORE 256537.327
AT ITER 3279 NEW BEST:: SOT 538074 SOS 303267 HAS SOPS 303267 HAS SOUS 256214 HAS SOUPS 256214 WITH SCORE 256517.267
AT ITER 3293 NEW BEST:: SOT 537674 SOS 304372 HAS SOPS 304372 HAS SOUS 256207 HAS SOUPS 256207 WITH SCORE 256511.372
AT ITER 3305 NEW BEST:: SOT 537546 SOS 304273 HAS SOPS 304273 HAS SOUS 256108 HAS SOUPS 256108 WITH SCORE 256412.273
AT ITER 3342 NEW BEST:: SOT 537546 SOS 302905 HAS SOPS 302905 HAS SOUS 256108 HAS SOUPS 256108 WITH SCORE 256410.905
AT ITER 3372 NEW BEST:: SOT 537546 SOS 302905 HAS SOPS 302905 HAS SOUS 256046 HAS SOUPS 256046 WITH SCORE 256348.905
AT ITER 3383 NEW BEST:: SOT 537469 SOS 302598 HAS SOPS 302598 HAS SOUS 255798 HAS SOUPS 255798 WITH SCORE 256100.598
AT ITER 3400 NEW BEST:: SOT 537469 SOS 302598 HAS SOPS 302598 HAS SOUS 255723 HAS SOUPS 255723 WITH SCORE 256025.598
AT ITER 3419 NEW BEST:: SOT 537469 SOS 302582 HAS SOPS 302582 HAS SOUS 255723 HAS SOUPS 255723 WITH SCORE 256025.582
AT ITER 3426 NEW BEST:: SOT 537469 SOS 302536 HAS SOPS 302536 HAS SOUS 255723 HAS SOUPS 255723 WITH SCORE 256025.536
AT ITER 3433 NEW BEST:: SOT 536714 SOS 303629 HAS SOPS 303629 HAS SOUS 255168 HAS SOUPS 255168 WITH SCORE 255471.629
AT ITER 3434 NEW BEST:: SOT 536714 SOS 303629 HAS SOPS 303629 HAS SOUS 255109 HAS SOUPS 255109 WITH SCORE 255412.629
AT ITER 3442 NEW BEST:: SOT 536687 SOS 303652 HAS SOPS 303652 HAS SOUS 255107 HAS SOUPS 255107 WITH SCORE 255410.652
AT ITER 3454 NEW BEST:: SOT 536687 SOS 303627 HAS SOPS 303627 HAS SOUS 255107 HAS SOUPS 255107 WITH SCORE 255410.627
AT ITER 3467 NEW BEST:: SOT 536687 SOS 303563 HAS SOPS 303563 HAS SOUS 255107 HAS SOUPS 255107 WITH SCORE 255410.563
AT ITER 3477 NEW BEST:: SOT 536425 SOS 303408 HAS SOPS 303408 HAS SOUS 254952 HAS SOUPS 254952 WITH SCORE 255255.408
AT ITER 3484 NEW BEST:: SOT 536421 SOS 303404 HAS SOPS 303404 HAS SOUS 254948 HAS SOUPS 254948 WITH SCORE 255251.404
AT ITER 3488 NEW BEST:: SOT 535673 SOS 302710 HAS SOPS 302710 HAS SOUS 254444 HAS SOUPS 254444 WITH SCORE 254746.71
AT ITER 3489 NEW BEST:: SOT 535735 SOS 302735 HAS SOPS 302735 HAS SOUS 254378 HAS SOUPS 254378 WITH SCORE 254680.735
AT ITER 3496 NEW BEST:: SOT 534844 SOS 302484 HAS SOPS 302484 HAS SOUS 253856 HAS SOUPS 253856 WITH SCORE 254158.484
AT ITER 3501 NEW BEST:: SOT 534838 SOS 302476 HAS SOPS 302476 HAS SOUS 253848 HAS SOUPS 253848 WITH SCORE 254150.476
AT ITER 3508 NEW BEST:: SOT 534838 SOS 302429 HAS SOPS 302429 HAS SOUS 253840 HAS SOUPS 253840 WITH SCORE 254142.429
AT ITER 3519 NEW BEST:: SOT 534837 SOS 302428 HAS SOPS 302428 HAS SOUS 253839 HAS SOUPS 253839 WITH SCORE 254141.428
AT ITER 3522 NEW BEST:: SOT 534844 SOS 302161 HAS SOPS 302161 HAS SOUS 253796 HAS SOUPS 253796 WITH SCORE 254098.161
AT ITER 3523 NEW BEST:: SOT 534327 SOS 301862 HAS SOPS 301862 HAS SOUS 253609 HAS SOUPS 253609 WITH SCORE 253910.862
AT ITER 3524 NEW BEST:: SOT 534327 SOS 301666 HAS SOPS 301666 HAS SOUS 253413 HAS SOUPS 253413 WITH SCORE 253714.666
AT ITER 3526 NEW BEST:: SOT 534327 SOS 300761 HAS SOPS 300761 HAS SOUS 253322 HAS SOUPS 253322 WITH SCORE 253622.761
AT ITER 3539 NEW BEST:: SOT 534327 SOS 300761 HAS SOPS 300761 HAS SOUS 253302 HAS SOUPS 253302 WITH SCORE 253602.761
AT ITER 3541 NEW BEST:: SOT 534318 SOS 300733 HAS SOPS 300733 HAS SOUS 253285 HAS SOUPS 253285 WITH SCORE 253585.733
AT ITER 3544 NEW BEST:: SOT 534307 SOS 300722 HAS SOPS 300722 HAS SOUS 253274 HAS SOUPS 253274 WITH SCORE 253574.722
AT ITER 3548 NEW BEST:: SOT 534307 SOS 300637 HAS SOPS 300637 HAS SOUS 253260 HAS SOUPS 253260 WITH SCORE 253560.637
AT ITER 3552 NEW BEST:: SOT 534307 SOS 300483 HAS SOPS 300483 HAS SOUS 253228 HAS SOUPS 253228 WITH SCORE 253528.483
AT ITER 3558 NEW BEST:: SOT 534307 SOS 300394 HAS SOPS 300394 HAS SOUS 253228 HAS SOUPS 253228 WITH SCORE 253528.394
AT ITER 3564 NEW BEST:: SOT 534305 SOS 300392 HAS SOPS 300392 HAS SOUS 253226 HAS SOUPS 253226 WITH SCORE 253526.392
AT ITER 3569 NEW BEST:: SOT 534305 SOS 300248 HAS SOPS 300248 HAS SOUS 253143 HAS SOUPS 253143 WITH SCORE 253443.248
AT ITER 3579 NEW BEST:: SOT 534305 SOS 300248 HAS SOPS 300248 HAS SOUS 253105 HAS SOUPS 253105 WITH SCORE 253405.248
AT ITER 3580 NEW BEST:: SOT 534305 SOS 300243 HAS SOPS 300243 HAS SOUS 253105 HAS SOUPS 253105 WITH SCORE 253405.243
AT ITER 3589 NEW BEST:: SOT 533934 SOS 299872 HAS SOPS 299872 HAS SOUS 252760 HAS SOUPS 252760 WITH SCORE 253059.872
AT ITER 3598 NEW BEST:: SOT 533221 SOS 299439 HAS SOPS 299439 HAS SOUS 252216 HAS SOUPS 252216 WITH SCORE 252515.439
AT ITER 3606 NEW BEST:: SOT 533221 SOS 298695 HAS SOPS 298695 HAS SOUS 252216 HAS SOUPS 252216 WITH SCORE 252514.695
AT ITER 3608 NEW BEST:: SOT 533221 SOS 298402 HAS SOPS 298402 HAS SOUS 252216 HAS SOUPS 252216 WITH SCORE 252514.402
AT ITER 3624 NEW BEST:: SOT 533221 SOS 298311 HAS SOPS 298311 HAS SOUS 252108 HAS SOUPS 252108 WITH SCORE 252406.311
AT ITER 3625 NEW BEST:: SOT 533221 SOS 298343 HAS SOPS 298343 HAS SOUS 252080 HAS SOUPS 252080 WITH SCORE 252378.343
AT ITER 3629 NEW BEST:: SOT 533221 SOS 298277 HAS SOPS 298277 HAS SOUS 252080 HAS SOUPS 252080 WITH SCORE 252378.277
AT ITER 3663 NEW BEST:: SOT 533221 SOS 297876 HAS SOPS 297876 HAS SOUS 251956 HAS SOUPS 251956 WITH SCORE 252253.876
AT ITER 3667 NEW BEST:: SOT 533221 SOS 298129 HAS SOPS 298129 HAS SOUS 251872 HAS SOUPS 251872 WITH SCORE 252170.129
AT ITER 3691 NEW BEST:: SOT 532938 SOS 297936 HAS SOPS 297936 HAS SOUS 251679 HAS SOUPS 251679 WITH SCORE 251976.936
AT ITER 3693 NEW BEST:: SOT 532938 SOS 297932 HAS SOPS 297932 HAS SOUS 251679 HAS SOUPS 251679 WITH SCORE 251976.932
AT ITER 3697 NEW BEST:: SOT 532938 SOS 297896 HAS SOPS 297896 HAS SOUS 251679 HAS SOUPS 251679 WITH SCORE 251976.896
AT ITER 3717 NEW BEST:: SOT 532170 SOS 298313 HAS SOPS 298313 HAS SOUS 251500 HAS SOUPS 251500 WITH SCORE 251798.313
AT ITER 3721 NEW BEST:: SOT 532186 SOS 298096 HAS SOPS 298096 HAS SOUS 251419 HAS SOUPS 251419 WITH SCORE 251717.096
AT ITER 3722 NEW BEST:: SOT 532139 SOS 297981 HAS SOPS 297981 HAS SOUS 251342 HAS SOUPS 251342 WITH SCORE 251639.981
AT ITER 3729 NEW BEST:: SOT 532088 SOS 297868 HAS SOPS 297868 HAS SOUS 251146 HAS SOUPS 251146 WITH SCORE 251443.868
AT ITER 3730 NEW BEST:: SOT 532070 SOS 297850 HAS SOPS 297850 HAS SOUS 251128 HAS SOUPS 251128 WITH SCORE 251425.85
AT ITER 3745 NEW BEST:: SOT 532070 SOS 297850 HAS SOPS 297850 HAS SOUS 251115 HAS SOUPS 251115 WITH SCORE 251412.85
AT ITER 3755 NEW BEST:: SOT 532070 SOS 297840 HAS SOPS 297840 HAS SOUS 251115 HAS SOUPS 251115 WITH SCORE 251412.84
AT ITER 3767 NEW BEST:: SOT 532169 SOS 297796 HAS SOPS 297796 HAS SOUS 250930 HAS SOUPS 250930 WITH SCORE 251227.796
AT ITER 3768 NEW BEST:: SOT 532169 SOS 297788 HAS SOPS 297788 HAS SOUS 250896 HAS SOUPS 250896 WITH SCORE 251193.788
AT ITER 3777 NEW BEST:: SOT 532169 SOS 297538 HAS SOPS 297538 HAS SOUS 250896 HAS SOUPS 250896 WITH SCORE 251193.538
AT ITER 3809 NEW BEST:: SOT 532031 SOS 297428 HAS SOPS 297428 HAS SOUS 250786 HAS SOUPS 250786 WITH SCORE 251083.428
AT ITER 3813 NEW BEST:: SOT 532031 SOS 297841 HAS SOPS 297841 HAS SOUS 250745 HAS SOUPS 250745 WITH SCORE 251042.841
AT ITER 3856 NEW BEST:: SOT 531999 SOS 297720 HAS SOPS 297720 HAS SOUS 250635 HAS SOUPS 250635 WITH SCORE 250932.72
AT ITER 3858 NEW BEST:: SOT 531961 SOS 297686 HAS SOPS 297686 HAS SOUS 250575 HAS SOUPS 250575 WITH SCORE 250872.686
AT ITER 3863 NEW BEST:: SOT 531587 SOS 298308 HAS SOPS 298308 HAS SOUS 250481 HAS SOUPS 250481 WITH SCORE 250779.308
AT ITER 3875 NEW BEST:: SOT 530840 SOS 298531 HAS SOPS 298531 HAS SOUS 250076 HAS SOUPS 250076 WITH SCORE 250374.531
AT ITER 3880 NEW BEST:: SOT 530678 SOS 298515 HAS SOPS 298515 HAS SOUS 249914 HAS SOUPS 249914 WITH SCORE 250212.515
AT ITER 3883 NEW BEST:: SOT 530678 SOS 298498 HAS SOPS 298498 HAS SOUS 249914 HAS SOUPS 249914 WITH SCORE 250212.498
AT ITER 3907 NEW BEST:: SOT 530688 SOS 298476 HAS SOPS 298476 HAS SOUS 249853 HAS SOUPS 249853 WITH SCORE 250151.476
AT ITER 3909 NEW BEST:: SOT 530662 SOS 298553 HAS SOPS 298553 HAS SOUS 249787 HAS SOUPS 249787 WITH SCORE 250085.553
AT ITER 3931 NEW BEST:: SOT 530662 SOS 298419 HAS SOPS 298419 HAS SOUS 249787 HAS SOUPS 249787 WITH SCORE 250085.419
AT ITER 3944 NEW BEST:: SOT 530637 SOS 298394 HAS SOPS 298394 HAS SOUS 249762 HAS SOUPS 249762 WITH SCORE 250060.394
AT ITER 3950 NEW BEST:: SOT 530637 SOS 298154 HAS SOPS 298154 HAS SOUS 249762 HAS SOUPS 249762 WITH SCORE 250060.154
AT ITER 3959 NEW BEST:: SOT 530452 SOS 298291 HAS SOPS 298291 HAS SOUS 249633 HAS SOUPS 249633 WITH SCORE 249931.291
AT ITER 3960 NEW BEST:: SOT 530364 SOS 298190 HAS SOPS 298190 HAS SOUS 249545 HAS SOUPS 249545 WITH SCORE 249843.19
AT ITER 3971 NEW BEST:: SOT 530364 SOS 297963 HAS SOPS 297963 HAS SOUS 249545 HAS SOUPS 249545 WITH SCORE 249842.963
AT ITER 3973 NEW BEST:: SOT 530364 SOS 297963 HAS SOPS 297963 HAS SOUS 249341 HAS SOUPS 249341 WITH SCORE 249638.963
AT ITER 3980 NEW BEST:: SOT 530310 SOS 297909 HAS SOPS 297909 HAS SOUS 249287 HAS SOUPS 249287 WITH SCORE 249584.909
AT ITER 3982 NEW BEST:: SOT 530310 SOS 297903 HAS SOPS 297903 HAS SOUS 249287 HAS SOUPS 249287 WITH SCORE 249584.903
AT ITER 3989 NEW BEST:: SOT 530281 SOS 297845 HAS SOPS 297845 HAS SOUS 249258 HAS SOUPS 249258 WITH SCORE 249555.845
AT ITER 4005 NEW BEST:: SOT 530176 SOS 297812 HAS SOPS 297812 HAS SOUS 249077 HAS SOUPS 249077 WITH SCORE 249374.812
AT ITER 4006 NEW BEST:: SOT 530228 SOS 298138 HAS SOPS 298138 HAS SOUS 249059 HAS SOUPS 249059 WITH SCORE 249357.138
AT ITER 4009 NEW BEST:: SOT 530187 SOS 298097 HAS SOPS 298097 HAS SOUS 249018 HAS SOUPS 249018 WITH SCORE 249316.097
AT ITER 4015 NEW BEST:: SOT 530187 SOS 298079 HAS SOPS 298079 HAS SOUS 249018 HAS SOUPS 249018 WITH SCORE 249316.079
AT ITER 4018 NEW BEST:: SOT 530187 SOS 298079 HAS SOPS 298079 HAS SOUS 248973 HAS SOUPS 248973 WITH SCORE 249271.079
AT ITER 4020 NEW BEST:: SOT 530187 SOS 297985 HAS SOPS 297985 HAS SOUS 248973 HAS SOUPS 248973 WITH SCORE 249270.985
AT ITER 4021 NEW BEST:: SOT 529475 SOS 297507 HAS SOPS 297507 HAS SOUS 248411 HAS SOUPS 248411 WITH SCORE 248708.507
AT ITER 4022 NEW BEST:: SOT 529475 SOS 297496 HAS SOPS 297496 HAS SOUS 248403 HAS SOUPS 248403 WITH SCORE 248700.496
AT ITER 4037 NEW BEST:: SOT 529431 SOS 297452 HAS SOPS 297452 HAS SOUS 248359 HAS SOUPS 248359 WITH SCORE 248656.452
AT ITER 4040 NEW BEST:: SOT 528765 SOS 297046 HAS SOPS 297046 HAS SOUS 248248 HAS SOUPS 248248 WITH SCORE 248545.046
AT ITER 4043 NEW BEST:: SOT 528779 SOS 296851 HAS SOPS 296851 HAS SOUS 248205 HAS SOUPS 248205 WITH SCORE 248501.851
AT ITER 4044 NEW BEST:: SOT 528779 SOS 296805 HAS SOPS 296805 HAS SOUS 248205 HAS SOUPS 248205 WITH SCORE 248501.805
AT ITER 4060 NEW BEST:: SOT 528779 SOS 296721 HAS SOPS 296721 HAS SOUS 248184 HAS SOUPS 248184 WITH SCORE 248480.721
AT ITER 4068 NEW BEST:: SOT 528698 SOS 296640 HAS SOPS 296640 HAS SOUS 248103 HAS SOUPS 248103 WITH SCORE 248399.64
AT ITER 4080 NEW BEST:: SOT 528194 SOS 295150 HAS SOPS 295150 HAS SOUS 247288 HAS SOUPS 247288 WITH SCORE 247583.15
AT ITER 4101 NEW BEST:: SOT 528063 SOS 295574 HAS SOPS 295574 HAS SOUS 247211 HAS SOUPS 247211 WITH SCORE 247506.574
AT ITER 4102 NEW BEST:: SOT 528031 SOS 295542 HAS SOPS 295542 HAS SOUS 247117 HAS SOUPS 247117 WITH SCORE 247412.542
AT ITER 4123 NEW BEST:: SOT 528031 SOS 295494 HAS SOPS 295494 HAS SOUS 247117 HAS SOUPS 247117 WITH SCORE 247412.494
AT ITER 4130 NEW BEST:: SOT 527911 SOS 295374 HAS SOPS 295374 HAS SOUS 247003 HAS SOUPS 247003 WITH SCORE 247298.374
AT ITER 4140 NEW BEST:: SOT 527424 SOS 295192 HAS SOPS 295192 HAS SOUS 246513 HAS SOUPS 246513 WITH SCORE 246808.192
AT ITER 4143 NEW BEST:: SOT 527424 SOS 294874 HAS SOPS 294874 HAS SOUS 246513 HAS SOUPS 246513 WITH SCORE 246807.874
AT ITER 4144 NEW BEST:: SOT 527424 SOS 294829 HAS SOPS 294829 HAS SOUS 246491 HAS SOUPS 246491 WITH SCORE 246785.829
AT ITER 4146 NEW BEST:: SOT 527405 SOS 294667 HAS SOPS 294667 HAS SOUS 246274 HAS SOUPS 246274 WITH SCORE 246568.667
AT ITER 4160 NEW BEST:: SOT 527233 SOS 294335 HAS SOPS 294335 HAS SOUS 246102 HAS SOUPS 246102 WITH SCORE 246396.335
AT ITER 4163 NEW BEST:: SOT 527217 SOS 294319 HAS SOPS 294319 HAS SOUS 246086 HAS SOUPS 246086 WITH SCORE 246380.319
AT ITER 4169 NEW BEST:: SOT 526912 SOS 294118 HAS SOPS 294118 HAS SOUS 245962 HAS SOUPS 245962 WITH SCORE 246256.118
AT ITER 4178 NEW BEST:: SOT 526912 SOS 294023 HAS SOPS 294023 HAS SOUS 245962 HAS SOUPS 245962 WITH SCORE 246256.023
AT ITER 4186 NEW BEST:: SOT 526912 SOS 293859 HAS SOPS 293859 HAS SOUS 245824 HAS SOUPS 245824 WITH SCORE 246117.859
AT ITER 4196 NEW BEST:: SOT 526276 SOS 293610 HAS SOPS 293610 HAS SOUS 245490 HAS SOUPS 245490 WITH SCORE 245783.61
AT ITER 4198 NEW BEST:: SOT 526315 SOS 293649 HAS SOPS 293649 HAS SOUS 245315 HAS SOUPS 245315 WITH SCORE 245608.649
AT ITER 4219 NEW BEST:: SOT 526303 SOS 293682 HAS SOPS 293682 HAS SOUS 245303 HAS SOUPS 245303 WITH SCORE 245596.682
AT ITER 4220 NEW BEST:: SOT 526054 SOS 293704 HAS SOPS 293704 HAS SOUS 245077 HAS SOUPS 245077 WITH SCORE 245370.704
AT ITER 4229 NEW BEST:: SOT 525893 SOS 293847 HAS SOPS 293847 HAS SOUS 244991 HAS SOUPS 244991 WITH SCORE 245284.847
AT ITER 4231 NEW BEST:: SOT 525893 SOS 293727 HAS SOPS 293727 HAS SOUS 244991 HAS SOUPS 244991 WITH SCORE 245284.727
AT ITER 4232 NEW BEST:: SOT 525959 SOS 293799 HAS SOPS 293799 HAS SOUS 244990 HAS SOUPS 244990 WITH SCORE 245283.799
AT ITER 4237 NEW BEST:: SOT 526001 SOS 293841 HAS SOPS 293841 HAS SOUS 244975 HAS SOUPS 244975 WITH SCORE 245268.841
AT ITER 4248 NEW BEST:: SOT 525897 SOS 293737 HAS SOPS 293737 HAS SOUS 244878 HAS SOUPS 244878 WITH SCORE 245171.737
AT ITER 4276 NEW BEST:: SOT 525897 SOS 293737 HAS SOPS 293737 HAS SOUS 244860 HAS SOUPS 244860 WITH SCORE 245153.737
AT ITER 4278 NEW BEST:: SOT 525897 SOS 293612 HAS SOPS 293612 HAS SOUS 244860 HAS SOUPS 244860 WITH SCORE 245153.612
AT ITER 4283 NEW BEST:: SOT 525923 SOS 293476 HAS SOPS 293476 HAS SOUS 244778 HAS SOUPS 244778 WITH SCORE 245071.476
AT ITER 4291 NEW BEST:: SOT 525749 SOS 293302 HAS SOPS 293302 HAS SOUS 244604 HAS SOUPS 244604 WITH SCORE 244897.302
AT ITER 4292 NEW BEST:: SOT 525689 SOS 293242 HAS SOPS 293242 HAS SOUS 244484 HAS SOUPS 244484 WITH SCORE 244777.242
AT ITER 4293 NEW BEST:: SOT 525320 SOS 293050 HAS SOPS 293050 HAS SOUS 244319 HAS SOUPS 244319 WITH SCORE 244612.05
AT ITER 4295 NEW BEST:: SOT 524976 SOS 292745 HAS SOPS 292745 HAS SOUS 244014 HAS SOUPS 244014 WITH SCORE 244306.745
AT ITER 4300 NEW BEST:: SOT 524976 SOS 292592 HAS SOPS 292592 HAS SOUS 243910 HAS SOUPS 243910 WITH SCORE 244202.592
AT ITER 4304 NEW BEST:: SOT 524298 SOS 293208 HAS SOPS 293208 HAS SOUS 243873 HAS SOUPS 243873 WITH SCORE 244166.208
AT ITER 4311 NEW BEST:: SOT 524298 SOS 293167 HAS SOPS 293167 HAS SOUS 243873 HAS SOUPS 243873 WITH SCORE 244166.167
AT ITER 4332 NEW BEST:: SOT 524298 SOS 293568 HAS SOPS 293568 HAS SOUS 243796 HAS SOUPS 243796 WITH SCORE 244089.568
AT ITER 4333 NEW BEST:: SOT 524325 SOS 293492 HAS SOPS 293492 HAS SOUS 243793 HAS SOUPS 243793 WITH SCORE 244086.492
AT ITER 4338 NEW BEST:: SOT 524273 SOS 293440 HAS SOPS 293440 HAS SOUS 243615 HAS SOUPS 243615 WITH SCORE 243908.44
AT ITER 4344 NEW BEST:: SOT 524273 SOS 293389 HAS SOPS 293389 HAS SOUS 243567 HAS SOUPS 243567 WITH SCORE 243860.389
AT ITER 4345 NEW BEST:: SOT 524173 SOS 293286 HAS SOPS 293286 HAS SOUS 243464 HAS SOUPS 243464 WITH SCORE 243757.286
AT ITER 4352 NEW BEST:: SOT 524173 SOS 292946 HAS SOPS 292946 HAS SOUS 243464 HAS SOUPS 243464 WITH SCORE 243756.946
AT ITER 4359 NEW BEST:: SOT 524173 SOS 292926 HAS SOPS 292926 HAS SOUS 243444 HAS SOUPS 243444 WITH SCORE 243736.926
AT ITER 4372 NEW BEST:: SOT 524078 SOS 292482 HAS SOPS 292482 HAS SOUS 243154 HAS SOUPS 243154 WITH SCORE 243446.482
AT ITER 4378 NEW BEST:: SOT 523490 SOS 292532 HAS SOPS 292532 HAS SOUS 242740 HAS SOUPS 242740 WITH SCORE 243032.532
AT ITER 4389 NEW BEST:: SOT 523490 SOS 292521 HAS SOPS 292521 HAS SOUS 242740 HAS SOUPS 242740 WITH SCORE 243032.521
AT ITER 4396 NEW BEST:: SOT 523289 SOS 292320 HAS SOPS 292320 HAS SOUS 242539 HAS SOUPS 242539 WITH SCORE 242831.32
AT ITER 4401 NEW BEST:: SOT 523289 SOS 292288 HAS SOPS 292288 HAS SOUS 242539 HAS SOUPS 242539 WITH SCORE 242831.288
AT ITER 4403 NEW BEST:: SOT 523094 SOS 291959 HAS SOPS 291959 HAS SOUS 242358 HAS SOUPS 242358 WITH SCORE 242649.959
AT ITER 4419 NEW BEST:: SOT 523094 SOS 291925 HAS SOPS 291925 HAS SOUS 242324 HAS SOUPS 242324 WITH SCORE 242615.925
AT ITER 4425 NEW BEST:: SOT 522792 SOS 291984 HAS SOPS 291984 HAS SOUS 242318 HAS SOUPS 242318 WITH SCORE 242609.984
AT ITER 4457 NEW BEST:: SOT 522629 SOS 291849 HAS SOPS 291849 HAS SOUS 242037 HAS SOUPS 242037 WITH SCORE 242328.849
AT ITER 4469 NEW BEST:: SOT 522629 SOS 291735 HAS SOPS 291735 HAS SOUS 241809 HAS SOUPS 241809 WITH SCORE 242100.735
AT ITER 4472 NEW BEST:: SOT 522629 SOS 291735 HAS SOPS 291735 HAS SOUS 241804 HAS SOUPS 241804 WITH SCORE 242095.735
AT ITER 4477 NEW BEST:: SOT 522629 SOS 291690 HAS SOPS 291690 HAS SOUS 241747 HAS SOUPS 241747 WITH SCORE 242038.69
AT ITER 4479 NEW BEST:: SOT 522636 SOS 291668 HAS SOPS 291668 HAS SOUS 241656 HAS SOUPS 241656 WITH SCORE 241947.668
AT ITER 4484 NEW BEST:: SOT 522366 SOS 292542 HAS SOPS 292542 HAS SOUS 241528 HAS SOUPS 241528 WITH SCORE 241820.542
AT ITER 4503 NEW BEST:: SOT 522366 SOS 292542 HAS SOPS 292542 HAS SOUS 241502 HAS SOUPS 241502 WITH SCORE 241794.542
AT ITER 4504 NEW BEST:: SOT 522366 SOS 292503 HAS SOPS 292503 HAS SOUS 241502 HAS SOUPS 241502 WITH SCORE 241794.503
AT ITER 4506 NEW BEST:: SOT 522355 SOS 292492 HAS SOPS 292492 HAS SOUS 241483 HAS SOUPS 241483 WITH SCORE 241775.492
AT ITER 4539 NEW BEST:: SOT 522508 SOS 292444 HAS SOPS 292444 HAS SOUS 241410 HAS SOUPS 241410 WITH SCORE 241702.444
AT ITER 4547 NEW BEST:: SOT 522489 SOS 292425 HAS SOPS 292425 HAS SOUS 241391 HAS SOUPS 241391 WITH SCORE 241683.425
AT ITER 4567 NEW BEST:: SOT 522454 SOS 292390 HAS SOPS 292390 HAS SOUS 241356 HAS SOUPS 241356 WITH SCORE 241648.39
AT ITER 4573 NEW BEST:: SOT 522454 SOS 292287 HAS SOPS 292287 HAS SOUS 241187 HAS SOUPS 241187 WITH SCORE 241479.287
AT ITER 4585 NEW BEST:: SOT 522500 SOS 292195 HAS SOPS 292195 HAS SOUS 241187 HAS SOUPS 241187 WITH SCORE 241479.195
AT ITER 4588 NEW BEST:: SOT 522498 SOS 292193 HAS SOPS 292193 HAS SOUS 241185 HAS SOUPS 241185 WITH SCORE 241477.193
AT ITER 4604 NEW BEST:: SOT 522498 SOS 292168 HAS SOPS 292168 HAS SOUS 241170 HAS SOUPS 241170 WITH SCORE 241462.168
AT ITER 4606 NEW BEST:: SOT 522498 SOS 292121 HAS SOPS 292121 HAS SOUS 241170 HAS SOUPS 241170 WITH SCORE 241462.121
AT ITER 4611 NEW BEST:: SOT 522498 SOS 291768 HAS SOPS 291768 HAS SOUS 241080 HAS SOUPS 241080 WITH SCORE 241371.768
AT ITER 4630 NEW BEST:: SOT 522374 SOS 291734 HAS SOPS 291734 HAS SOUS 241001 HAS SOUPS 241001 WITH SCORE 241292.734
AT ITER 4639 NEW BEST:: SOT 522368 SOS 291728 HAS SOPS 291728 HAS SOUS 240989 HAS SOUPS 240989 WITH SCORE 241280.728
AT ITER 4647 NEW BEST:: SOT 522361 SOS 291721 HAS SOPS 291721 HAS SOUS 240982 HAS SOUPS 240982 WITH SCORE 241273.721
AT ITER 4648 NEW BEST:: SOT 522361 SOS 291567 HAS SOPS 291567 HAS SOUS 240982 HAS SOUPS 240982 WITH SCORE 241273.567
AT ITER 4692 NEW BEST:: SOT 522361 SOS 291538 HAS SOPS 291538 HAS SOUS 240982 HAS SOUPS 240982 WITH SCORE 241273.538
AT ITER 4696 NEW BEST:: SOT 522354 SOS 291531 HAS SOPS 291531 HAS SOUS 240975 HAS SOUPS 240975 WITH SCORE 241266.531
AT ITER 4710 NEW BEST:: SOT 522069 SOS 293405 HAS SOPS 293405 HAS SOUS 240950 HAS SOUPS 240950 WITH SCORE 241243.405
AT ITER 4715 NEW BEST:: SOT 521474 SOS 292981 HAS SOPS 292981 HAS SOUS 240415 HAS SOUPS 240415 WITH SCORE 240707.981
AT ITER 4732 NEW BEST:: SOT 521474 SOS 292974 HAS SOPS 292974 HAS SOUS 240358 HAS SOUPS 240358 WITH SCORE 240650.974
AT ITER 4734 NEW BEST:: SOT 521474 SOS 292332 HAS SOPS 292332 HAS SOUS 240357 HAS SOUPS 240357 WITH SCORE 240649.332
AT ITER 4736 NEW BEST:: SOT 521268 SOS 292147 HAS SOPS 292147 HAS SOUS 240172 HAS SOUPS 240172 WITH SCORE 240464.147
AT ITER 4759 NEW BEST:: SOT 520583 SOS 291561 HAS SOPS 291561 HAS SOUS 239682 HAS SOUPS 239682 WITH SCORE 239973.561
AT ITER 4760 NEW BEST:: SOT 520583 SOS 291660 HAS SOPS 291660 HAS SOUS 239678 HAS SOUPS 239678 WITH SCORE 239969.66
AT ITER 4781 NEW BEST:: SOT 520535 SOS 291612 HAS SOPS 291612 HAS SOUS 239630 HAS SOUPS 239630 WITH SCORE 239921.612
AT ITER 4808 NEW BEST:: SOT 520535 SOS 291573 HAS SOPS 291573 HAS SOUS 239630 HAS SOUPS 239630 WITH SCORE 239921.573
AT ITER 4815 NEW BEST:: SOT 520535 SOS 291486 HAS SOPS 291486 HAS SOUS 239627 HAS SOUPS 239627 WITH SCORE 239918.486
AT ITER 4818 NEW BEST:: SOT 520245 SOS 291329 HAS SOPS 291329 HAS SOUS 239368 HAS SOUPS 239368 WITH SCORE 239659.329
AT ITER 4819 NEW BEST:: SOT 520218 SOS 291288 HAS SOPS 291288 HAS SOUS 239327 HAS SOUPS 239327 WITH SCORE 239618.288
AT ITER 4820 NEW BEST:: SOT 520218 SOS 291274 HAS SOPS 291274 HAS SOUS 239239 HAS SOUPS 239239 WITH SCORE 239530.274
AT ITER 4821 NEW BEST:: SOT 520250 SOS 291306 HAS SOPS 291306 HAS SOUS 239134 HAS SOUPS 239134 WITH SCORE 239425.306
AT ITER 4823 NEW BEST:: SOT 520250 SOS 291289 HAS SOPS 291289 HAS SOUS 239117 HAS SOUPS 239117 WITH SCORE 239408.289
AT ITER 4870 NEW BEST:: SOT 519980 SOS 291117 HAS SOPS 291117 HAS SOUS 238945 HAS SOUPS 238945 WITH SCORE 239236.117
AT ITER 4875 NEW BEST:: SOT 519819 SOS 290956 HAS SOPS 290956 HAS SOUS 238822 HAS SOUPS 238822 WITH SCORE 239112.956
AT ITER 4881 NEW BEST:: SOT 519811 SOS 290948 HAS SOPS 290948 HAS SOUS 238814 HAS SOUPS 238814 WITH SCORE 239104.948
AT ITER 4883 NEW BEST:: SOT 519816 SOS 290943 HAS SOPS 290943 HAS SOUS 238795 HAS SOUPS 238795 WITH SCORE 239085.943
AT ITER 4888 NEW BEST:: SOT 519816 SOS 290832 HAS SOPS 290832 HAS SOUS 238754 HAS SOUPS 238754 WITH SCORE 239044.832
AT ITER 4892 NEW BEST:: SOT 519798 SOS 290814 HAS SOPS 290814 HAS SOUS 238736 HAS SOUPS 238736 WITH SCORE 239026.814
AT ITER 4899 NEW BEST:: SOT 519753 SOS 290864 HAS SOPS 290864 HAS SOUS 238691 HAS SOUPS 238691 WITH SCORE 238981.864
AT ITER 4900 NEW BEST:: SOT 519284 SOS 290364 HAS SOPS 290364 HAS SOUS 238242 HAS SOUPS 238242 WITH SCORE 238532.364
AT ITER 4931 NEW BEST:: SOT 519052 SOS 290587 HAS SOPS 290587 HAS SOUS 238039 HAS SOUPS 238039 WITH SCORE 238329.587
AT ITER 4932 NEW BEST:: SOT 519011 SOS 289682 HAS SOPS 289682 HAS SOUS 237998 HAS SOUPS 237998 WITH SCORE 238287.682
AT ITER 4942 NEW BEST:: SOT 519011 SOS 289655 HAS SOPS 289655 HAS SOUS 237971 HAS SOUPS 237971 WITH SCORE 238260.655
AT ITER 4947 NEW BEST:: SOT 518980 SOS 289666 HAS SOPS 289666 HAS SOUS 237935 HAS SOUPS 237935 WITH SCORE 238224.666
AT ITER 4948 NEW BEST:: SOT 518935 SOS 289585 HAS SOPS 289585 HAS SOUS 237921 HAS SOUPS 237921 WITH SCORE 238210.585
AT ITER 4957 NEW BEST:: SOT 518864 SOS 289533 HAS SOPS 289533 HAS SOUS 237888 HAS SOUPS 237888 WITH SCORE 238177.533
AT ITER 4958 NEW BEST:: SOT 518691 SOS 289573 HAS SOPS 289573 HAS SOUS 237725 HAS SOUPS 237725 WITH SCORE 238014.573
AT ITER 4978 NEW BEST:: SOT 518287 SOS 289314 HAS SOPS 289314 HAS SOUS 237371 HAS SOUPS 237371 WITH SCORE 237660.314
AT ITER 4991 NEW BEST:: SOT 518106 SOS 289236 HAS SOPS 289236 HAS SOUS 237293 HAS SOUPS 237293 WITH SCORE 237582.236
Bounds file is: CTLFireability.xml
PROPERTY: Sudoku-PT-BN09-CTLFireability-00 (! (AX( ( (AX( ((potential((tk(P1013)>=1) & (tk(P914)>=1) & (tk(P23)>=1) & (tk(P824)>=1)))))) | ( ((potential((tk(P1005)>=1) & (tk(P958)>=1) & (tk(P69)>=1) & (tk(P879)>=1)))) & ( ((potential((tk(P1043)>=1) & (tk(P962)>=1) & (tk(P71)>=1) & (tk(P890)>=1)))) | ((potential((tk(P1013)>=1) & (tk(P914)>=1) & (tk(P23)>=1) & (tk(P824)>=1)))) ) ) ))))
PROPERTY: Sudoku-PT-BN09-CTLFireability-01 (EG( (EX( ( ( ((potential((tk(P1009)>=1) & (tk(P923)>=1) & (tk(P28)>=1) & (tk(P847)>=1)))) & ((potential((tk(P1029)>=1) & (tk(P943)>=1) & (tk(P48)>=1) & (tk(P858)>=1)))) ) & ((potential((tk(P993)>=1) & (tk(P966)>=1) & (tk(P75)>=1) & (tk(P867)>=1)))) )))))
PROPERTY: Sudoku-PT-BN09-CTLFireability-02 ( ( ((potential((tk(P1017)>=1) & (tk(P968)>=1) & (tk(P81)>=1) & (tk(P882)>=1)))) | ( (AU( ((potential((tk(P1043)>=1) & (tk(P962)>=1) & (tk(P71)>=1) & (tk(P890)>=1)))) , ((potential((tk(P1013)>=1) & (tk(P914)>=1) & (tk(P23)>=1) & (tk(P824)>=1)))) )) & (EU( ((potential((tk(P1039)>=1) & (tk(P917)>=1) & (tk(P22)>=1) & (tk(P832)>=1)))) , ((potential((tk(P975)>=1) & (tk(P919)>=1) & (tk(P30)>=1) & (tk(P840)>=1)))) )) ) ) & (! (EF( (AX( ((potential((tk(P987)>=1) & (tk(P965)>=1) & (tk(P78)>=1) & (tk(P870)>=1))))))))) )
PROPERTY: Sudoku-PT-BN09-CTLFireability-03 (AU( (EF( ( ((potential((tk(P1022)>=1) & (tk(P915)>=1) & (tk(P23)>=1) & (tk(P824)>=1)))) | ((potential((tk(P1024)>=1) & (tk(P969)>=1) & (tk(P79)>=1) & (tk(P880)>=1)))) ))) , (! (AF( ((potential((tk(P1048)>=1) & (tk(P909)>=1) & (tk(P13)>=1) & (tk(P832)>=1))))))) ))
PROPERTY: Sudoku-PT-BN09-CTLFireability-04 ( (AG( (! (AX( ((potential((tk(P981)>=1) & (tk(P937)>=1) & (tk(P54)>=1) & (tk(P846)>=1))))))))) & ( ( (EX( ((potential((tk(P973)>=1) & (tk(P955)>=1) & (tk(P64)>=1) & (tk(P865)>=1)))))) & (! (! ( ((potential((tk(P1030)>=1) & (tk(P925)>=1) & (tk(P31)>=1) & (tk(P859)>=1)))) | ((potential((tk(P994)>=1) & (tk(P966)>=1) & (tk(P76)>=1) & (tk(P868)>=1)))) ))) ) | ( (EU( ((potential((tk(P975)>=1) & (tk(P955)>=1) & (tk(P66)>=1) & (tk(P867)>=1)))) , ((potential((tk(P993)>=1) & (tk(P957)>=1) & (tk(P66)>=1) & (tk(P867)>=1)))) )) & (! (! ( ((potential((tk(P1045)>=1) & (tk(P927)>=1) & (tk(P28)>=1) & (tk(P856)>=1)))) & ((potential((tk(P1041)>=1) & (tk(P908)>=1) & (tk(P15)>=1) & (tk(P834)>=1)))) ))) ) ) )
PROPERTY: Sudoku-PT-BN09-CTLFireability-05 (AU( ( (! ((potential((tk(P1036)>=1) & (tk(P908)>=1) & (tk(P10)>=1) & (tk(P829)>=1))))) | ( ( ((potential((tk(P1028)>=1) & (tk(P898)>=1) & (tk(P2)>=1) & (tk(P830)>=1)))) & ((potential((tk(P1003)>=1) & (tk(P913)>=1) & (tk(P22)>=1) & (tk(P823)>=1)))) ) | ((potential((tk(P994)>=1) & (tk(P903)>=1) & (tk(P13)>=1) & (tk(P814)>=1)))) ) ) , ( (! ( ((potential((tk(P999)>=1) & (tk(P903)>=1) & (tk(P18)>=1) & (tk(P819)>=1)))) | ((potential((tk(P990)>=1) & (tk(P911)>=1) & (tk(P27)>=1) & (tk(P819)>=1)))) )) | (AX( ((potential((tk(P1043)>=1) & (tk(P953)>=1) & (tk(P62)>=1) & (tk(P890)>=1)))))) ) ))
PROPERTY: Sudoku-PT-BN09-CTLFireability-06 (EG( (EU( (! ((potential((tk(P1051)>=1) & (tk(P918)>=1) & (tk(P25)>=1) & (tk(P835)>=1))))) , ( ((potential((tk(P986)>=1) & (tk(P911)>=1) & (tk(P23)>=1) & (tk(P815)>=1)))) | ((potential((tk(P1014)>=1) & (tk(P932)>=1) & (tk(P42)>=1) & (tk(P852)>=1)))) ) ))))
PROPERTY: Sudoku-PT-BN09-CTLFireability-07 (EX( (! (EU( ((potential((tk(P987)>=1) & (tk(P902)>=1) & (tk(P15)>=1) & (tk(P816)>=1)))) , ((potential((tk(P1015)>=1) & (tk(P932)>=1) & (tk(P43)>=1) & (tk(P853)>=1)))) )))))
PROPERTY: Sudoku-PT-BN09-CTLFireability-08 (! (EF( ( (AX( ((potential((tk(P974)>=1) & (tk(P937)>=1) & (tk(P47)>=1) & (tk(P839)>=1)))))) & ( ( ((potential((tk(P973)>=1) & (tk(P937)>=1) & (tk(P46)>=1) & (tk(P838)>=1)))) & ((potential((tk(P984)>=1) & (tk(P929)>=1) & (tk(P39)>=1) & (tk(P840)>=1)))) ) | ( ((potential((tk(P979)>=1) & (tk(P964)>=1) & (tk(P79)>=1) & (tk(P871)>=1)))) & ((potential((tk(P995)>=1) & (tk(P957)>=1) & (tk(P68)>=1) & (tk(P869)>=1)))) ) ) ))))
PROPERTY: Sudoku-PT-BN09-CTLFireability-09 ( (! ((potential((tk(P973)>=1) & (tk(P910)>=1) & (tk(P19)>=1) & (tk(P811)>=1))))) | (EG( ( (! (! ((potential((tk(P1001)>=1) & (tk(P958)>=1) & (tk(P65)>=1) & (tk(P875)>=1)))))) & ( ( ((potential((tk(P1028)>=1) & (tk(P898)>=1) & (tk(P2)>=1) & (tk(P830)>=1)))) & ((potential((tk(P1034)>=1) & (tk(P925)>=1) & (tk(P35)>=1) & (tk(P863)>=1)))) ) | ((potential((tk(P974)>=1) & (tk(P946)>=1) & (tk(P56)>=1) & (tk(P866)>=1)))) ) ))) )
PROPERTY: Sudoku-PT-BN09-CTLFireability-10 ( (AX( (EF( (! ((potential((tk(P1044)>=1) & (tk(P944)>=1) & (tk(P54)>=1) & (tk(P864)>=1))))))))) | (! ( ((potential((tk(P1018)>=1) & (tk(P951)>=1) & (tk(P55)>=1) & (tk(P874)>=1)))) | ((potential((tk(P980)>=1) & (tk(P955)>=1) & (tk(P71)>=1) & (tk(P872)>=1)))) )) )
PROPERTY: Sudoku-PT-BN09-CTLFireability-11 (AF( (EG( (EF( ((potential((tk(P1000)>=1) & (tk(P922)>=1) & (tk(P28)>=1) & (tk(P847)>=1))))))))))
PROPERTY: Sudoku-PT-BN09-CTLFireability-12 (AX( (EX( (EG( ((potential((tk(P973)>=1) & (tk(P955)>=1) & (tk(P64)>=1) & (tk(P865)>=1))))))))))
PROPERTY: Sudoku-PT-BN09-CTLFireability-13 (EF( (EG( (! (! ((potential((tk(P997)>=1) & (tk(P930)>=1) & (tk(P43)>=1) & (tk(P844)>=1))))))))))
PROPERTY: Sudoku-PT-BN09-CTLFireability-14 (AX( (EU( ( ((potential((tk(P1020)>=1) & (tk(P906)>=1) & (tk(P12)>=1) & (tk(P822)>=1)))) & ((potential((tk(P1038)>=1) & (tk(P944)>=1) & (tk(P48)>=1) & (tk(P858)>=1)))) ) , ( ((potential((tk(P1010)>=1) & (tk(P905)>=1) & (tk(P11)>=1) & (tk(P821)>=1)))) | ((potential((tk(P1023)>=1) & (tk(P897)>=1) & (tk(P6)>=1) & (tk(P825)>=1)))) ) ))))
PROPERTY: Sudoku-PT-BN09-CTLFireability-15 ( (EU( (AF( ((potential((tk(P1030)>=1) & (tk(P961)>=1) & (tk(P67)>=1) & (tk(P886)>=1)))))) , (! ( ((potential((tk(P985)>=1) & (tk(P893)>=1) & (tk(P4)>=1) & (tk(P814)>=1)))) | ((potential((tk(P987)>=1) & (tk(P929)>=1) & (tk(P42)>=1) & (tk(P843)>=1)))) )) )) & ( ( (EG( ( ((potential((tk(P1000)>=1) & (tk(P949)>=1) & (tk(P55)>=1) & (tk(P874)>=1)))) | ((potential((tk(P977)>=1) & (tk(P964)>=1) & (tk(P77)>=1) & (tk(P869)>=1)))) ))) | (! ( ( ((potential((tk(P998)>=1) & (tk(P939)>=1) & (tk(P53)>=1) & (tk(P845)>=1)))) & ((potential((tk(P1007)>=1) & (tk(P958)>=1) & (tk(P71)>=1) & (tk(P881)>=1)))) ) | ( ((potential((tk(P1009)>=1) & (tk(P896)>=1) & (tk(P1)>=1) & (tk(P820)>=1)))) | ((potential((tk(P1013)>=1) & (tk(P914)>=1) & (tk(P23)>=1) & (tk(P824)>=1)))) ) )) ) & ((potential((tk(P1008)>=1) & (tk(P904)>=1) & (tk(P18)>=1) & (tk(P828)>=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-BN09"
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-BN09, 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-159033538800460"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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