fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r224-oct2-159033538800459
Last Updated
Jun 28, 2020

About the Execution of smart for Sudoku-PT-BN09

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15767.660 3600000.00 3586000.00 0.00 [undef] Time out reached

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-159033538800459.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 CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538800459
=====================================================================

--------------------
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-CTLCardinality-00
FORMULA_NAME Sudoku-PT-BN09-CTLCardinality-01
FORMULA_NAME Sudoku-PT-BN09-CTLCardinality-02
FORMULA_NAME Sudoku-PT-BN09-CTLCardinality-03
FORMULA_NAME Sudoku-PT-BN09-CTLCardinality-04
FORMULA_NAME Sudoku-PT-BN09-CTLCardinality-05
FORMULA_NAME Sudoku-PT-BN09-CTLCardinality-06
FORMULA_NAME Sudoku-PT-BN09-CTLCardinality-07
FORMULA_NAME Sudoku-PT-BN09-CTLCardinality-08
FORMULA_NAME Sudoku-PT-BN09-CTLCardinality-09
FORMULA_NAME Sudoku-PT-BN09-CTLCardinality-10
FORMULA_NAME Sudoku-PT-BN09-CTLCardinality-11
FORMULA_NAME Sudoku-PT-BN09-CTLCardinality-12
FORMULA_NAME Sudoku-PT-BN09-CTLCardinality-13
FORMULA_NAME Sudoku-PT-BN09-CTLCardinality-14
FORMULA_NAME Sudoku-PT-BN09-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1591336622485

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (PT), instance BN09
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.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 11 NEW BEST:: SOT 590569 SOS 357453 HAS SOPS 357453 HAS SOUS 302139 HAS SOUPS 302139 WITH SCORE 302496.453
AT ITER 19 NEW BEST:: SOT 590583 SOS 357410 HAS SOPS 357410 HAS SOUS 302060 HAS SOUPS 302060 WITH SCORE 302417.41
AT ITER 23 NEW BEST:: SOT 590008 SOS 356875 HAS SOPS 356875 HAS SOUS 301858 HAS SOUPS 301858 WITH SCORE 302214.875
AT ITER 26 NEW BEST:: SOT 589326 SOS 356243 HAS SOPS 356243 HAS SOUS 301373 HAS SOUPS 301373 WITH SCORE 301729.243
AT ITER 33 NEW BEST:: SOT 589394 SOS 356314 HAS SOPS 356314 HAS SOUS 301296 HAS SOUPS 301296 WITH SCORE 301652.314
AT ITER 38 NEW BEST:: SOT 589394 SOS 354224 HAS SOPS 354224 HAS SOUS 301296 HAS SOUPS 301296 WITH SCORE 301650.224
AT ITER 41 NEW BEST:: SOT 589394 SOS 354008 HAS SOPS 354008 HAS SOUS 301288 HAS SOUPS 301288 WITH SCORE 301642.008
AT ITER 50 NEW BEST:: SOT 589394 SOS 352011 HAS SOPS 352011 HAS SOUS 301288 HAS SOUPS 301288 WITH SCORE 301640.011
AT ITER 64 NEW BEST:: SOT 589012 SOS 351629 HAS SOPS 351629 HAS SOUS 300984 HAS SOUPS 300984 WITH SCORE 301335.629
AT ITER 73 NEW BEST:: SOT 589012 SOS 351592 HAS SOPS 351592 HAS SOUS 300984 HAS SOUPS 300984 WITH SCORE 301335.592
AT ITER 75 NEW BEST:: SOT 588398 SOS 350989 HAS SOPS 350989 HAS SOUS 300476 HAS SOUPS 300476 WITH SCORE 300826.989
AT ITER 97 NEW BEST:: SOT 588398 SOS 350980 HAS SOPS 350980 HAS SOUS 300476 HAS SOUPS 300476 WITH SCORE 300826.98
AT ITER 98 NEW BEST:: SOT 588306 SOS 351217 HAS SOPS 351217 HAS SOUS 300393 HAS SOUPS 300393 WITH SCORE 300744.217
AT ITER 104 NEW BEST:: SOT 588087 SOS 351271 HAS SOPS 351271 HAS SOUS 300210 HAS SOUPS 300210 WITH SCORE 300561.271
AT ITER 106 NEW BEST:: SOT 587619 SOS 349968 HAS SOPS 349968 HAS SOUS 299770 HAS SOUPS 299770 WITH SCORE 300119.968
AT ITER 115 NEW BEST:: SOT 587619 SOS 349961 HAS SOPS 349961 HAS SOUS 299770 HAS SOUPS 299770 WITH SCORE 300119.961
AT ITER 124 NEW BEST:: SOT 587438 SOS 349817 HAS SOPS 349817 HAS SOUS 299637 HAS SOUPS 299637 WITH SCORE 299986.817
AT ITER 135 NEW BEST:: SOT 587316 SOS 349789 HAS SOPS 349789 HAS SOUS 299637 HAS SOUPS 299637 WITH SCORE 299986.789
AT ITER 138 NEW BEST:: SOT 587095 SOS 349760 HAS SOPS 349760 HAS SOUS 299635 HAS SOUPS 299635 WITH SCORE 299984.76
AT ITER 151 NEW BEST:: SOT 586587 SOS 349305 HAS SOPS 349305 HAS SOUS 299212 HAS SOUPS 299212 WITH SCORE 299561.305
AT ITER 159 NEW BEST:: SOT 586097 SOS 348988 HAS SOPS 348988 HAS SOUS 298895 HAS SOUPS 298895 WITH SCORE 299243.988
AT ITER 164 NEW BEST:: SOT 585781 SOS 348994 HAS SOPS 348994 HAS SOUS 298859 HAS SOUPS 298859 WITH SCORE 299207.994
AT ITER 175 NEW BEST:: SOT 585781 SOS 348979 HAS SOPS 348979 HAS SOUS 298844 HAS SOUPS 298844 WITH SCORE 299192.979
AT ITER 177 NEW BEST:: SOT 585781 SOS 348859 HAS SOPS 348859 HAS SOUS 298844 HAS SOUPS 298844 WITH SCORE 299192.859
AT ITER 178 NEW BEST:: SOT 585781 SOS 348447 HAS SOPS 348447 HAS SOUS 298537 HAS SOUPS 298537 WITH SCORE 298885.447
AT ITER 183 NEW BEST:: SOT 585417 SOS 349427 HAS SOPS 349427 HAS SOUS 298452 HAS SOUPS 298452 WITH SCORE 298801.427
AT ITER 192 NEW BEST:: SOT 585417 SOS 348859 HAS SOPS 348859 HAS SOUS 298452 HAS SOUPS 298452 WITH SCORE 298800.859
AT ITER 195 NEW BEST:: SOT 585368 SOS 348817 HAS SOPS 348817 HAS SOUS 298410 HAS SOUPS 298410 WITH SCORE 298758.817
AT ITER 199 NEW BEST:: SOT 584593 SOS 350972 HAS SOPS 350972 HAS SOUS 298153 HAS SOUPS 298153 WITH SCORE 298503.972
AT ITER 205 NEW BEST:: SOT 584622 SOS 350953 HAS SOPS 350953 HAS SOUS 298106 HAS SOUPS 298106 WITH SCORE 298456.953
AT ITER 206 NEW BEST:: SOT 584622 SOS 350953 HAS SOPS 350953 HAS SOUS 298063 HAS SOUPS 298063 WITH SCORE 298413.953
AT ITER 208 NEW BEST:: SOT 584649 SOS 350928 HAS SOPS 350928 HAS SOUS 298002 HAS SOUPS 298002 WITH SCORE 298352.928
AT ITER 225 NEW BEST:: SOT 584649 SOS 350901 HAS SOPS 350901 HAS SOUS 298002 HAS SOUPS 298002 WITH SCORE 298352.901
AT ITER 247 NEW BEST:: SOT 584437 SOS 350750 HAS SOPS 350750 HAS SOUS 297879 HAS SOUPS 297879 WITH SCORE 298229.75
AT ITER 267 NEW BEST:: SOT 583901 SOS 350601 HAS SOPS 350601 HAS SOUS 297650 HAS SOUPS 297650 WITH SCORE 298000.601
AT ITER 271 NEW BEST:: SOT 583549 SOS 350255 HAS SOPS 350255 HAS SOUS 297388 HAS SOUPS 297388 WITH SCORE 297738.255
AT ITER 274 NEW BEST:: SOT 583290 SOS 349939 HAS SOPS 349939 HAS SOUS 297255 HAS SOUPS 297255 WITH SCORE 297604.939
AT ITER 279 NEW BEST:: SOT 583090 SOS 349809 HAS SOPS 349809 HAS SOUS 297089 HAS SOUPS 297089 WITH SCORE 297438.809
AT ITER 288 NEW BEST:: SOT 582890 SOS 349742 HAS SOPS 349742 HAS SOUS 296940 HAS SOUPS 296940 WITH SCORE 297289.742
AT ITER 290 NEW BEST:: SOT 582890 SOS 347974 HAS SOPS 347974 HAS SOUS 296940 HAS SOUPS 296940 WITH SCORE 297287.974
AT ITER 291 NEW BEST:: SOT 582890 SOS 347509 HAS SOPS 347509 HAS SOUS 296940 HAS SOUPS 296940 WITH SCORE 297287.509
AT ITER 295 NEW BEST:: SOT 582746 SOS 347197 HAS SOPS 347197 HAS SOUS 296796 HAS SOUPS 296796 WITH SCORE 297143.197
AT ITER 300 NEW BEST:: SOT 582374 SOS 346954 HAS SOPS 346954 HAS SOUS 296565 HAS SOUPS 296565 WITH SCORE 296911.954
AT ITER 302 NEW BEST:: SOT 582374 SOS 346835 HAS SOPS 346835 HAS SOUS 296557 HAS SOUPS 296557 WITH SCORE 296903.835
AT ITER 317 NEW BEST:: SOT 582374 SOS 347039 HAS SOPS 347039 HAS SOUS 296521 HAS SOUPS 296521 WITH SCORE 296868.039
AT ITER 319 NEW BEST:: SOT 582374 SOS 346919 HAS SOPS 346919 HAS SOUS 296521 HAS SOUPS 296521 WITH SCORE 296867.919
AT ITER 323 NEW BEST:: SOT 582374 SOS 346408 HAS SOPS 346408 HAS SOUS 296521 HAS SOUPS 296521 WITH SCORE 296867.408
AT ITER 324 NEW BEST:: SOT 582374 SOS 346287 HAS SOPS 346287 HAS SOUS 296521 HAS SOUPS 296521 WITH SCORE 296867.287
AT ITER 327 NEW BEST:: SOT 582374 SOS 346271 HAS SOPS 346271 HAS SOUS 296521 HAS SOUPS 296521 WITH SCORE 296867.271
AT ITER 350 NEW BEST:: SOT 582374 SOS 344408 HAS SOPS 344408 HAS SOUS 296521 HAS SOUPS 296521 WITH SCORE 296865.408
AT ITER 366 NEW BEST:: SOT 581835 SOS 345869 HAS SOPS 345869 HAS SOUS 296138 HAS SOUPS 296138 WITH SCORE 296483.869
AT ITER 370 NEW BEST:: SOT 581835 SOS 345834 HAS SOPS 345834 HAS SOUS 296138 HAS SOUPS 296138 WITH SCORE 296483.834
AT ITER 374 NEW BEST:: SOT 581171 SOS 345288 HAS SOPS 345288 HAS SOUS 295556 HAS SOUPS 295556 WITH SCORE 295901.288
AT ITER 376 NEW BEST:: SOT 581171 SOS 345288 HAS SOPS 345288 HAS SOUS 295544 HAS SOUPS 295544 WITH SCORE 295889.288
AT ITER 380 NEW BEST:: SOT 581171 SOS 345385 HAS SOPS 345385 HAS SOUS 295494 HAS SOUPS 295494 WITH SCORE 295839.385
AT ITER 384 NEW BEST:: SOT 581085 SOS 345306 HAS SOPS 345306 HAS SOUS 295415 HAS SOUPS 295415 WITH SCORE 295760.306
AT ITER 423 NEW BEST:: SOT 581085 SOS 345306 HAS SOPS 345306 HAS SOUS 295407 HAS SOUPS 295407 WITH SCORE 295752.306
AT ITER 435 NEW BEST:: SOT 580782 SOS 345088 HAS SOPS 345088 HAS SOUS 295189 HAS SOUPS 295189 WITH SCORE 295534.088
AT ITER 446 NEW BEST:: SOT 580626 SOS 344976 HAS SOPS 344976 HAS SOUS 295100 HAS SOUPS 295100 WITH SCORE 295444.976
AT ITER 448 NEW BEST:: SOT 580626 SOS 345011 HAS SOPS 345011 HAS SOUS 295066 HAS SOUPS 295066 WITH SCORE 295411.011
AT ITER 460 NEW BEST:: SOT 580626 SOS 344928 HAS SOPS 344928 HAS SOUS 295058 HAS SOUPS 295058 WITH SCORE 295402.928
AT ITER 461 NEW BEST:: SOT 580626 SOS 344924 HAS SOPS 344924 HAS SOUS 295050 HAS SOUPS 295050 WITH SCORE 295394.924
AT ITER 464 NEW BEST:: SOT 580414 SOS 344827 HAS SOPS 344827 HAS SOUS 294925 HAS SOUPS 294925 WITH SCORE 295269.827
AT ITER 502 NEW BEST:: SOT 580414 SOS 344002 HAS SOPS 344002 HAS SOUS 294925 HAS SOUPS 294925 WITH SCORE 295269.002
AT ITER 503 NEW BEST:: SOT 580303 SOS 343945 HAS SOPS 343945 HAS SOUS 294897 HAS SOUPS 294897 WITH SCORE 295240.945
AT ITER 505 NEW BEST:: SOT 580303 SOS 343725 HAS SOPS 343725 HAS SOUS 294878 HAS SOUPS 294878 WITH SCORE 295221.725
AT ITER 512 NEW BEST:: SOT 580303 SOS 343692 HAS SOPS 343692 HAS SOUS 294870 HAS SOUPS 294870 WITH SCORE 295213.692
AT ITER 514 NEW BEST:: SOT 580207 SOS 343596 HAS SOPS 343596 HAS SOUS 294774 HAS SOUPS 294774 WITH SCORE 295117.596
AT ITER 519 NEW BEST:: SOT 580207 SOS 342868 HAS SOPS 342868 HAS SOUS 294687 HAS SOUPS 294687 WITH SCORE 295029.868
AT ITER 531 NEW BEST:: SOT 580014 SOS 342783 HAS SOPS 342783 HAS SOUS 294602 HAS SOUPS 294602 WITH SCORE 294944.783
AT ITER 537 NEW BEST:: SOT 580014 SOS 343027 HAS SOPS 343027 HAS SOUS 294582 HAS SOUPS 294582 WITH SCORE 294925.027
AT ITER 543 NEW BEST:: SOT 579627 SOS 343001 HAS SOPS 343001 HAS SOUS 294430 HAS SOUPS 294430 WITH SCORE 294773.001
AT ITER 545 NEW BEST:: SOT 579354 SOS 342728 HAS SOPS 342728 HAS SOUS 293987 HAS SOUPS 293987 WITH SCORE 294329.728
AT ITER 550 NEW BEST:: SOT 579354 SOS 342718 HAS SOPS 342718 HAS SOUS 293987 HAS SOUPS 293987 WITH SCORE 294329.718
AT ITER 565 NEW BEST:: SOT 578537 SOS 342255 HAS SOPS 342255 HAS SOUS 293379 HAS SOUPS 293379 WITH SCORE 293721.255
AT ITER 568 NEW BEST:: SOT 578749 SOS 342456 HAS SOPS 342456 HAS SOUS 293356 HAS SOUPS 293356 WITH SCORE 293698.456
AT ITER 569 NEW BEST:: SOT 578749 SOS 342384 HAS SOPS 342384 HAS SOUS 293356 HAS SOUPS 293356 WITH SCORE 293698.384
AT ITER 576 NEW BEST:: SOT 578749 SOS 342384 HAS SOPS 342384 HAS SOUS 293340 HAS SOUPS 293340 WITH SCORE 293682.384
AT ITER 577 NEW BEST:: SOT 578441 SOS 341874 HAS SOPS 341874 HAS SOUS 292871 HAS SOUPS 292871 WITH SCORE 293212.874
AT ITER 583 NEW BEST:: SOT 578472 SOS 341857 HAS SOPS 341857 HAS SOUS 292826 HAS SOUPS 292826 WITH SCORE 293167.857
AT ITER 585 NEW BEST:: SOT 578264 SOS 341689 HAS SOPS 341689 HAS SOUS 292654 HAS SOUPS 292654 WITH SCORE 292995.689
AT ITER 592 NEW BEST:: SOT 578220 SOS 341432 HAS SOPS 341432 HAS SOUS 292579 HAS SOUPS 292579 WITH SCORE 292920.432
AT ITER 593 NEW BEST:: SOT 578220 SOS 341352 HAS SOPS 341352 HAS SOUS 292571 HAS SOUPS 292571 WITH SCORE 292912.352
AT ITER 599 NEW BEST:: SOT 578220 SOS 339324 HAS SOPS 339324 HAS SOUS 292548 HAS SOUPS 292548 WITH SCORE 292887.324
AT ITER 616 NEW BEST:: SOT 578220 SOS 337209 HAS SOPS 337209 HAS SOUS 292548 HAS SOUPS 292548 WITH SCORE 292885.209
AT ITER 630 NEW BEST:: SOT 577648 SOS 338569 HAS SOPS 338569 HAS SOUS 292307 HAS SOUPS 292307 WITH SCORE 292645.569
AT ITER 636 NEW BEST:: SOT 577648 SOS 338557 HAS SOPS 338557 HAS SOUS 292307 HAS SOUPS 292307 WITH SCORE 292645.557
AT ITER 644 NEW BEST:: SOT 577232 SOS 338395 HAS SOPS 338395 HAS SOUS 292192 HAS SOUPS 292192 WITH SCORE 292530.395
AT ITER 647 NEW BEST:: SOT 577232 SOS 338236 HAS SOPS 338236 HAS SOUS 292184 HAS SOUPS 292184 WITH SCORE 292522.236
AT ITER 661 NEW BEST:: SOT 577056 SOS 338156 HAS SOPS 338156 HAS SOUS 292028 HAS SOUPS 292028 WITH SCORE 292366.156
AT ITER 665 NEW BEST:: SOT 577056 SOS 336136 HAS SOPS 336136 HAS SOUS 292028 HAS SOUPS 292028 WITH SCORE 292364.136
AT ITER 672 NEW BEST:: SOT 577056 SOS 336022 HAS SOPS 336022 HAS SOUS 292028 HAS SOUPS 292028 WITH SCORE 292364.022
AT ITER 674 NEW BEST:: SOT 576888 SOS 335706 HAS SOPS 335706 HAS SOUS 291843 HAS SOUPS 291843 WITH SCORE 292178.706
AT ITER 676 NEW BEST:: SOT 576849 SOS 335646 HAS SOPS 335646 HAS SOUS 291718 HAS SOUPS 291718 WITH SCORE 292053.646
AT ITER 679 NEW BEST:: SOT 576749 SOS 335554 HAS SOPS 335554 HAS SOUS 291606 HAS SOUPS 291606 WITH SCORE 291941.554
AT ITER 698 NEW BEST:: SOT 576350 SOS 335086 HAS SOPS 335086 HAS SOUS 291207 HAS SOUPS 291207 WITH SCORE 291542.086
AT ITER 704 NEW BEST:: SOT 576472 SOS 335233 HAS SOPS 335233 HAS SOUS 291206 HAS SOUPS 291206 WITH SCORE 291541.233
AT ITER 726 NEW BEST:: SOT 576472 SOS 335050 HAS SOPS 335050 HAS SOUS 291159 HAS SOUPS 291159 WITH SCORE 291494.05
AT ITER 741 NEW BEST:: SOT 575762 SOS 335333 HAS SOPS 335333 HAS SOUS 290858 HAS SOUPS 290858 WITH SCORE 291193.333
AT ITER 748 NEW BEST:: SOT 575762 SOS 332760 HAS SOPS 332760 HAS SOUS 290850 HAS SOUPS 290850 WITH SCORE 291182.76
AT ITER 753 NEW BEST:: SOT 575717 SOS 332707 HAS SOPS 332707 HAS SOUS 290773 HAS SOUPS 290773 WITH SCORE 291105.707
AT ITER 760 NEW BEST:: SOT 575717 SOS 331912 HAS SOPS 331912 HAS SOUS 290756 HAS SOUPS 290756 WITH SCORE 291087.912
AT ITER 764 NEW BEST:: SOT 575052 SOS 331402 HAS SOPS 331402 HAS SOUS 290275 HAS SOUPS 290275 WITH SCORE 290606.402
AT ITER 769 NEW BEST:: SOT 575052 SOS 331172 HAS SOPS 331172 HAS SOUS 290275 HAS SOUPS 290275 WITH SCORE 290606.172
AT ITER 785 NEW BEST:: SOT 575052 SOS 330893 HAS SOPS 330893 HAS SOUS 290275 HAS SOUPS 290275 WITH SCORE 290605.893
AT ITER 789 NEW BEST:: SOT 575041 SOS 330871 HAS SOPS 330871 HAS SOUS 290253 HAS SOUPS 290253 WITH SCORE 290583.871
AT ITER 797 NEW BEST:: SOT 575041 SOS 329612 HAS SOPS 329612 HAS SOUS 290253 HAS SOUPS 290253 WITH SCORE 290582.612
AT ITER 801 NEW BEST:: SOT 575041 SOS 329612 HAS SOPS 329612 HAS SOUS 290245 HAS SOUPS 290245 WITH SCORE 290574.612
AT ITER 802 NEW BEST:: SOT 575041 SOS 329550 HAS SOPS 329550 HAS SOUS 290245 HAS SOUPS 290245 WITH SCORE 290574.55
AT ITER 815 NEW BEST:: SOT 575008 SOS 329459 HAS SOPS 329459 HAS SOUS 290055 HAS SOUPS 290055 WITH SCORE 290384.459
AT ITER 816 NEW BEST:: SOT 575008 SOS 329012 HAS SOPS 329012 HAS SOUS 290055 HAS SOUPS 290055 WITH SCORE 290384.012
AT ITER 829 NEW BEST:: SOT 574980 SOS 329214 HAS SOPS 329214 HAS SOUS 290027 HAS SOUPS 290027 WITH SCORE 290356.214
AT ITER 837 NEW BEST:: SOT 574980 SOS 329214 HAS SOPS 329214 HAS SOUS 290006 HAS SOUPS 290006 WITH SCORE 290335.214
AT ITER 838 NEW BEST:: SOT 574637 SOS 329029 HAS SOPS 329029 HAS SOUS 289783 HAS SOUPS 289783 WITH SCORE 290112.029
AT ITER 843 NEW BEST:: SOT 574594 SOS 329008 HAS SOPS 329008 HAS SOUS 289776 HAS SOUPS 289776 WITH SCORE 290105.008
AT ITER 856 NEW BEST:: SOT 574520 SOS 329013 HAS SOPS 329013 HAS SOUS 289609 HAS SOUPS 289609 WITH SCORE 289938.013
AT ITER 862 NEW BEST:: SOT 574468 SOS 328948 HAS SOPS 328948 HAS SOUS 289531 HAS SOUPS 289531 WITH SCORE 289859.948
AT ITER 863 NEW BEST:: SOT 574578 SOS 328965 HAS SOPS 328965 HAS SOUS 289424 HAS SOUPS 289424 WITH SCORE 289752.965
AT ITER 872 NEW BEST:: SOT 574378 SOS 328767 HAS SOPS 328767 HAS SOUS 289224 HAS SOUPS 289224 WITH SCORE 289552.767
AT ITER 887 NEW BEST:: SOT 574021 SOS 328397 HAS SOPS 328397 HAS SOUS 288892 HAS SOUPS 288892 WITH SCORE 289220.397
AT ITER 888 NEW BEST:: SOT 573651 SOS 329434 HAS SOPS 329434 HAS SOUS 288729 HAS SOUPS 288729 WITH SCORE 289058.434
AT ITER 890 NEW BEST:: SOT 572748 SOS 328935 HAS SOPS 328935 HAS SOUS 288159 HAS SOUPS 288159 WITH SCORE 288487.935
AT ITER 895 NEW BEST:: SOT 572740 SOS 328919 HAS SOPS 328919 HAS SOUS 288158 HAS SOUPS 288158 WITH SCORE 288486.919
AT ITER 900 NEW BEST:: SOT 572740 SOS 328770 HAS SOPS 328770 HAS SOUS 288158 HAS SOUPS 288158 WITH SCORE 288486.77
AT ITER 913 NEW BEST:: SOT 572228 SOS 328327 HAS SOPS 328327 HAS SOUS 287751 HAS SOUPS 287751 WITH SCORE 288079.327
AT ITER 921 NEW BEST:: SOT 572228 SOS 327958 HAS SOPS 327958 HAS SOUS 287751 HAS SOUPS 287751 WITH SCORE 288078.958
AT ITER 925 NEW BEST:: SOT 572218 SOS 327864 HAS SOPS 327864 HAS SOUS 287699 HAS SOUPS 287699 WITH SCORE 288026.864
AT ITER 927 NEW BEST:: SOT 572218 SOS 327863 HAS SOPS 327863 HAS SOUS 287699 HAS SOUPS 287699 WITH SCORE 288026.863
AT ITER 928 NEW BEST:: SOT 572066 SOS 327835 HAS SOPS 327835 HAS SOUS 287687 HAS SOUPS 287687 WITH SCORE 288014.835
AT ITER 943 NEW BEST:: SOT 572066 SOS 327659 HAS SOPS 327659 HAS SOUS 287679 HAS SOUPS 287679 WITH SCORE 288006.659
AT ITER 946 NEW BEST:: SOT 572069 SOS 327438 HAS SOPS 327438 HAS SOUS 287367 HAS SOUPS 287367 WITH SCORE 287694.438
AT ITER 951 NEW BEST:: SOT 572069 SOS 327451 HAS SOPS 327451 HAS SOUS 287359 HAS SOUPS 287359 WITH SCORE 287686.451
AT ITER 970 NEW BEST:: SOT 571967 SOS 327305 HAS SOPS 327305 HAS SOUS 287174 HAS SOUPS 287174 WITH SCORE 287501.305
AT ITER 980 NEW BEST:: SOT 571726 SOS 327064 HAS SOPS 327064 HAS SOUS 286933 HAS SOUPS 286933 WITH SCORE 287260.064
AT ITER 981 NEW BEST:: SOT 571705 SOS 327083 HAS SOPS 327083 HAS SOUS 286880 HAS SOUPS 286880 WITH SCORE 287207.083
AT ITER 993 NEW BEST:: SOT 571541 SOS 327083 HAS SOPS 327083 HAS SOUS 286829 HAS SOUPS 286829 WITH SCORE 287156.083
AT ITER 995 NEW BEST:: SOT 571036 SOS 327484 HAS SOPS 327484 HAS SOUS 286738 HAS SOUPS 286738 WITH SCORE 287065.484
AT ITER 1029 NEW BEST:: SOT 571036 SOS 327116 HAS SOPS 327116 HAS SOUS 286738 HAS SOUPS 286738 WITH SCORE 287065.116
AT ITER 1036 NEW BEST:: SOT 571036 SOS 327105 HAS SOPS 327105 HAS SOUS 286738 HAS SOUPS 286738 WITH SCORE 287065.105
AT ITER 1042 NEW BEST:: SOT 570782 SOS 326883 HAS SOPS 326883 HAS SOUS 286444 HAS SOUPS 286444 WITH SCORE 286770.883
AT ITER 1058 NEW BEST:: SOT 570782 SOS 326833 HAS SOPS 326833 HAS SOUS 286444 HAS SOUPS 286444 WITH SCORE 286770.833
AT ITER 1059 NEW BEST:: SOT 570782 SOS 326769 HAS SOPS 326769 HAS SOUS 286444 HAS SOUPS 286444 WITH SCORE 286770.769
AT ITER 1060 NEW BEST:: SOT 570494 SOS 326555 HAS SOPS 326555 HAS SOUS 286209 HAS SOUPS 286209 WITH SCORE 286535.555
AT ITER 1065 NEW BEST:: SOT 570494 SOS 326472 HAS SOPS 326472 HAS SOUS 286126 HAS SOUPS 286126 WITH SCORE 286452.472
AT ITER 1073 NEW BEST:: SOT 570494 SOS 326183 HAS SOPS 326183 HAS SOUS 286059 HAS SOUPS 286059 WITH SCORE 286385.183
AT ITER 1075 NEW BEST:: SOT 570257 SOS 326055 HAS SOPS 326055 HAS SOUS 285931 HAS SOUPS 285931 WITH SCORE 286257.055
AT ITER 1081 NEW BEST:: SOT 570257 SOS 325876 HAS SOPS 325876 HAS SOUS 285931 HAS SOUPS 285931 WITH SCORE 286256.876
AT ITER 1096 NEW BEST:: SOT 570257 SOS 325864 HAS SOPS 325864 HAS SOUS 285931 HAS SOUPS 285931 WITH SCORE 286256.864
AT ITER 1104 NEW BEST:: SOT 570257 SOS 325205 HAS SOPS 325205 HAS SOUS 285914 HAS SOUPS 285914 WITH SCORE 286239.205
AT ITER 1113 NEW BEST:: SOT 570070 SOS 325196 HAS SOPS 325196 HAS SOUS 285905 HAS SOUPS 285905 WITH SCORE 286230.196
AT ITER 1114 NEW BEST:: SOT 570070 SOS 324251 HAS SOPS 324251 HAS SOUS 285905 HAS SOUPS 285905 WITH SCORE 286229.251
AT ITER 1117 NEW BEST:: SOT 570070 SOS 324174 HAS SOPS 324174 HAS SOUS 285905 HAS SOUPS 285905 WITH SCORE 286229.174
AT ITER 1121 NEW BEST:: SOT 569786 SOS 324312 HAS SOPS 324312 HAS SOUS 285892 HAS SOUPS 285892 WITH SCORE 286216.312
AT ITER 1125 NEW BEST:: SOT 569786 SOS 322338 HAS SOPS 322338 HAS SOUS 285873 HAS SOUPS 285873 WITH SCORE 286195.338
AT ITER 1128 NEW BEST:: SOT 569786 SOS 322319 HAS SOPS 322319 HAS SOUS 285873 HAS SOUPS 285873 WITH SCORE 286195.319
AT ITER 1132 NEW BEST:: SOT 569786 SOS 321791 HAS SOPS 321791 HAS SOUS 285873 HAS SOUPS 285873 WITH SCORE 286194.791
AT ITER 1143 NEW BEST:: SOT 569673 SOS 321706 HAS SOPS 321706 HAS SOUS 285837 HAS SOUPS 285837 WITH SCORE 286158.706
AT ITER 1145 NEW BEST:: SOT 569745 SOS 321554 HAS SOPS 321554 HAS SOUS 285637 HAS SOUPS 285637 WITH SCORE 285958.554
AT ITER 1156 NEW BEST:: SOT 569419 SOS 320993 HAS SOPS 320993 HAS SOUS 285334 HAS SOUPS 285334 WITH SCORE 285654.993
AT ITER 1158 NEW BEST:: SOT 569419 SOS 320974 HAS SOPS 320974 HAS SOUS 285315 HAS SOUPS 285315 WITH SCORE 285635.974
AT ITER 1169 NEW BEST:: SOT 569419 SOS 320940 HAS SOPS 320940 HAS SOUS 285315 HAS SOUPS 285315 WITH SCORE 285635.94
AT ITER 1172 NEW BEST:: SOT 569419 SOS 320892 HAS SOPS 320892 HAS SOUS 285315 HAS SOUPS 285315 WITH SCORE 285635.892
AT ITER 1180 NEW BEST:: SOT 569317 SOS 320636 HAS SOPS 320636 HAS SOUS 285091 HAS SOUPS 285091 WITH SCORE 285411.636
AT ITER 1192 NEW BEST:: SOT 569237 SOS 320556 HAS SOPS 320556 HAS SOUS 285011 HAS SOUPS 285011 WITH SCORE 285331.556
AT ITER 1193 NEW BEST:: SOT 569123 SOS 320538 HAS SOPS 320538 HAS SOUS 284897 HAS SOUPS 284897 WITH SCORE 285217.538
AT ITER 1197 NEW BEST:: SOT 569223 SOS 320896 HAS SOPS 320896 HAS SOUS 284863 HAS SOUPS 284863 WITH SCORE 285183.896
AT ITER 1212 NEW BEST:: SOT 569223 SOS 320802 HAS SOPS 320802 HAS SOUS 284861 HAS SOUPS 284861 WITH SCORE 285181.802
AT ITER 1228 NEW BEST:: SOT 568564 SOS 320462 HAS SOPS 320462 HAS SOUS 284531 HAS SOUPS 284531 WITH SCORE 284851.462
AT ITER 1231 NEW BEST:: SOT 568517 SOS 320415 HAS SOPS 320415 HAS SOUS 284495 HAS SOUPS 284495 WITH SCORE 284815.415
AT ITER 1236 NEW BEST:: SOT 568546 SOS 320195 HAS SOPS 320195 HAS SOUS 284143 HAS SOUPS 284143 WITH SCORE 284463.195
AT ITER 1259 NEW BEST:: SOT 568546 SOS 320195 HAS SOPS 320195 HAS SOUS 284132 HAS SOUPS 284132 WITH SCORE 284452.195
AT ITER 1262 NEW BEST:: SOT 568546 SOS 319823 HAS SOPS 319823 HAS SOUS 284038 HAS SOUPS 284038 WITH SCORE 284357.823
AT ITER 1273 NEW BEST:: SOT 568443 SOS 319720 HAS SOPS 319720 HAS SOUS 283935 HAS SOUPS 283935 WITH SCORE 284254.72
AT ITER 1295 NEW BEST:: SOT 568324 SOS 319621 HAS SOPS 319621 HAS SOUS 283920 HAS SOUPS 283920 WITH SCORE 284239.621
AT ITER 1305 NEW BEST:: SOT 567803 SOS 319286 HAS SOPS 319286 HAS SOUS 283585 HAS SOUPS 283585 WITH SCORE 283904.286
AT ITER 1306 NEW BEST:: SOT 567823 SOS 319286 HAS SOPS 319286 HAS SOUS 283575 HAS SOUPS 283575 WITH SCORE 283894.286
AT ITER 1309 NEW BEST:: SOT 567823 SOS 319191 HAS SOPS 319191 HAS SOUS 283575 HAS SOUPS 283575 WITH SCORE 283894.191
AT ITER 1317 NEW BEST:: SOT 567877 SOS 319190 HAS SOPS 319190 HAS SOUS 283565 HAS SOUPS 283565 WITH SCORE 283884.19
AT ITER 1321 NEW BEST:: SOT 567554 SOS 319040 HAS SOPS 319040 HAS SOUS 283415 HAS SOUPS 283415 WITH SCORE 283734.04
AT ITER 1345 NEW BEST:: SOT 567518 SOS 319016 HAS SOPS 319016 HAS SOUS 283391 HAS SOUPS 283391 WITH SCORE 283710.016
AT ITER 1348 NEW BEST:: SOT 567492 SOS 318990 HAS SOPS 318990 HAS SOUS 283365 HAS SOUPS 283365 WITH SCORE 283683.99
AT ITER 1351 NEW BEST:: SOT 567460 SOS 318974 HAS SOPS 318974 HAS SOUS 283349 HAS SOUPS 283349 WITH SCORE 283667.974
AT ITER 1358 NEW BEST:: SOT 567460 SOS 318957 HAS SOPS 318957 HAS SOUS 283248 HAS SOUPS 283248 WITH SCORE 283566.957
AT ITER 1360 NEW BEST:: SOT 567460 SOS 318917 HAS SOPS 318917 HAS SOUS 283221 HAS SOUPS 283221 WITH SCORE 283539.917
AT ITER 1366 NEW BEST:: SOT 567460 SOS 318840 HAS SOPS 318840 HAS SOUS 283221 HAS SOUPS 283221 WITH SCORE 283539.84
AT ITER 1379 NEW BEST:: SOT 567460 SOS 318518 HAS SOPS 318518 HAS SOUS 283221 HAS SOUPS 283221 WITH SCORE 283539.518
AT ITER 1391 NEW BEST:: SOT 566919 SOS 318298 HAS SOPS 318298 HAS SOUS 282992 HAS SOUPS 282992 WITH SCORE 283310.298
AT ITER 1392 NEW BEST:: SOT 566919 SOS 318268 HAS SOPS 318268 HAS SOUS 282992 HAS SOUPS 282992 WITH SCORE 283310.268
AT ITER 1393 NEW BEST:: SOT 566863 SOS 318678 HAS SOPS 318678 HAS SOUS 282936 HAS SOUPS 282936 WITH SCORE 283254.678
AT ITER 1397 NEW BEST:: SOT 566857 SOS 318672 HAS SOPS 318672 HAS SOUS 282930 HAS SOUPS 282930 WITH SCORE 283248.672
AT ITER 1399 NEW BEST:: SOT 566854 SOS 318669 HAS SOPS 318669 HAS SOUS 282927 HAS SOUPS 282927 WITH SCORE 283245.669
AT ITER 1401 NEW BEST:: SOT 566823 SOS 318635 HAS SOPS 318635 HAS SOUS 282893 HAS SOUPS 282893 WITH SCORE 283211.635
AT ITER 1402 NEW BEST:: SOT 566895 SOS 318635 HAS SOPS 318635 HAS SOUS 282890 HAS SOUPS 282890 WITH SCORE 283208.635
AT ITER 1403 NEW BEST:: SOT 566156 SOS 317997 HAS SOPS 317997 HAS SOUS 282266 HAS SOUPS 282266 WITH SCORE 282583.997
AT ITER 1407 NEW BEST:: SOT 565829 SOS 317663 HAS SOPS 317663 HAS SOUS 282064 HAS SOUPS 282064 WITH SCORE 282381.663
AT ITER 1420 NEW BEST:: SOT 565764 SOS 317598 HAS SOPS 317598 HAS SOUS 281999 HAS SOUPS 281999 WITH SCORE 282316.598
AT ITER 1425 NEW BEST:: SOT 565764 SOS 317501 HAS SOPS 317501 HAS SOUS 281999 HAS SOUPS 281999 WITH SCORE 282316.501
AT ITER 1438 NEW BEST:: SOT 565764 SOS 317178 HAS SOPS 317178 HAS SOUS 281999 HAS SOUPS 281999 WITH SCORE 282316.178
AT ITER 1449 NEW BEST:: SOT 565330 SOS 316732 HAS SOPS 316732 HAS SOUS 281505 HAS SOUPS 281505 WITH SCORE 281821.732
AT ITER 1460 NEW BEST:: SOT 565330 SOS 316715 HAS SOPS 316715 HAS SOUS 281505 HAS SOUPS 281505 WITH SCORE 281821.715
AT ITER 1462 NEW BEST:: SOT 565380 SOS 316704 HAS SOPS 316704 HAS SOUS 281370 HAS SOUPS 281370 WITH SCORE 281686.704
AT ITER 1469 NEW BEST:: SOT 565439 SOS 316763 HAS SOPS 316763 HAS SOUS 281245 HAS SOUPS 281245 WITH SCORE 281561.763
AT ITER 1471 NEW BEST:: SOT 565439 SOS 316763 HAS SOPS 316763 HAS SOUS 281237 HAS SOUPS 281237 WITH SCORE 281553.763
AT ITER 1473 NEW BEST:: SOT 565439 SOS 316584 HAS SOPS 316584 HAS SOUS 281181 HAS SOUPS 281181 WITH SCORE 281497.584
AT ITER 1483 NEW BEST:: SOT 565002 SOS 316705 HAS SOPS 316705 HAS SOUS 280799 HAS SOUPS 280799 WITH SCORE 281115.705
AT ITER 1508 NEW BEST:: SOT 564724 SOS 316525 HAS SOPS 316525 HAS SOUS 280645 HAS SOUPS 280645 WITH SCORE 280961.525
AT ITER 1521 NEW BEST:: SOT 564302 SOS 316483 HAS SOPS 316483 HAS SOUS 280485 HAS SOUPS 280485 WITH SCORE 280801.483
AT ITER 1533 NEW BEST:: SOT 563914 SOS 316968 HAS SOPS 316968 HAS SOUS 280399 HAS SOUPS 280399 WITH SCORE 280715.968
AT ITER 1536 NEW BEST:: SOT 563806 SOS 316860 HAS SOPS 316860 HAS SOUS 280185 HAS SOUPS 280185 WITH SCORE 280501.86
AT ITER 1539 NEW BEST:: SOT 563545 SOS 316623 HAS SOPS 316623 HAS SOUS 279948 HAS SOUPS 279948 WITH SCORE 280264.623
AT ITER 1544 NEW BEST:: SOT 563438 SOS 316472 HAS SOPS 316472 HAS SOUS 279797 HAS SOUPS 279797 WITH SCORE 280113.472
AT ITER 1601 NEW BEST:: SOT 563304 SOS 316384 HAS SOPS 316384 HAS SOUS 279709 HAS SOUPS 279709 WITH SCORE 280025.384
AT ITER 1614 NEW BEST:: SOT 563304 SOS 316376 HAS SOPS 316376 HAS SOUS 279709 HAS SOUPS 279709 WITH SCORE 280025.376
AT ITER 1626 NEW BEST:: SOT 563002 SOS 316175 HAS SOPS 316175 HAS SOUS 279407 HAS SOUPS 279407 WITH SCORE 279723.175
AT ITER 1631 NEW BEST:: SOT 562925 SOS 316098 HAS SOPS 316098 HAS SOUS 279330 HAS SOUPS 279330 WITH SCORE 279646.098
AT ITER 1633 NEW BEST:: SOT 562925 SOS 315362 HAS SOPS 315362 HAS SOUS 279330 HAS SOUPS 279330 WITH SCORE 279645.362
AT ITER 1636 NEW BEST:: SOT 562923 SOS 315360 HAS SOPS 315360 HAS SOUS 279328 HAS SOUPS 279328 WITH SCORE 279643.36
AT ITER 1641 NEW BEST:: SOT 562979 SOS 315320 HAS SOPS 315320 HAS SOUS 279252 HAS SOUPS 279252 WITH SCORE 279567.32
AT ITER 1644 NEW BEST:: SOT 562979 SOS 315234 HAS SOPS 315234 HAS SOUS 279214 HAS SOUPS 279214 WITH SCORE 279529.234
AT ITER 1650 NEW BEST:: SOT 562805 SOS 315035 HAS SOPS 315035 HAS SOUS 279015 HAS SOUPS 279015 WITH SCORE 279330.035
AT ITER 1658 NEW BEST:: SOT 562701 SOS 314931 HAS SOPS 314931 HAS SOUS 278838 HAS SOUPS 278838 WITH SCORE 279152.931
AT ITER 1659 NEW BEST:: SOT 562236 SOS 314488 HAS SOPS 314488 HAS SOUS 278395 HAS SOUPS 278395 WITH SCORE 278709.488
AT ITER 1663 NEW BEST:: SOT 562119 SOS 314246 HAS SOPS 314246 HAS SOUS 278133 HAS SOUPS 278133 WITH SCORE 278447.246
AT ITER 1677 NEW BEST:: SOT 562026 SOS 314291 HAS SOPS 314291 HAS SOUS 278106 HAS SOUPS 278106 WITH SCORE 278420.291
AT ITER 1683 NEW BEST:: SOT 561705 SOS 314288 HAS SOPS 314288 HAS SOUS 278017 HAS SOUPS 278017 WITH SCORE 278331.288
AT ITER 1685 NEW BEST:: SOT 561605 SOS 314188 HAS SOPS 314188 HAS SOUS 277917 HAS SOUPS 277917 WITH SCORE 278231.188
AT ITER 1690 NEW BEST:: SOT 561605 SOS 314183 HAS SOPS 314183 HAS SOUS 277917 HAS SOUPS 277917 WITH SCORE 278231.183
AT ITER 1698 NEW BEST:: SOT 561605 SOS 313707 HAS SOPS 313707 HAS SOUS 277917 HAS SOUPS 277917 WITH SCORE 278230.707
AT ITER 1704 NEW BEST:: SOT 561440 SOS 313595 HAS SOPS 313595 HAS SOUS 277786 HAS SOUPS 277786 WITH SCORE 278099.595
AT ITER 1717 NEW BEST:: SOT 561170 SOS 313527 HAS SOPS 313527 HAS SOUS 277718 HAS SOUPS 277718 WITH SCORE 278031.527
AT ITER 1723 NEW BEST:: SOT 561143 SOS 313500 HAS SOPS 313500 HAS SOUS 277685 HAS SOUPS 277685 WITH SCORE 277998.5
AT ITER 1738 NEW BEST:: SOT 561085 SOS 313506 HAS SOPS 313506 HAS SOUS 277627 HAS SOUPS 277627 WITH SCORE 277940.506
AT ITER 1746 NEW BEST:: SOT 561064 SOS 313485 HAS SOPS 313485 HAS SOUS 277606 HAS SOUPS 277606 WITH SCORE 277919.485
AT ITER 1748 NEW BEST:: SOT 561139 SOS 313537 HAS SOPS 313537 HAS SOUS 277579 HAS SOUPS 277579 WITH SCORE 277892.537
AT ITER 1770 NEW BEST:: SOT 561139 SOS 313531 HAS SOPS 313531 HAS SOUS 277573 HAS SOUPS 277573 WITH SCORE 277886.531
AT ITER 1773 NEW BEST:: SOT 560884 SOS 313277 HAS SOPS 313277 HAS SOUS 277319 HAS SOUPS 277319 WITH SCORE 277632.277
AT ITER 1784 NEW BEST:: SOT 560884 SOS 313198 HAS SOPS 313198 HAS SOUS 277319 HAS SOUPS 277319 WITH SCORE 277632.198
AT ITER 1795 NEW BEST:: SOT 560741 SOS 313124 HAS SOPS 313124 HAS SOUS 277293 HAS SOUPS 277293 WITH SCORE 277606.124
AT ITER 1821 NEW BEST:: SOT 560701 SOS 313123 HAS SOPS 313123 HAS SOUS 277169 HAS SOUPS 277169 WITH SCORE 277482.123
AT ITER 1826 NEW BEST:: SOT 560691 SOS 313113 HAS SOPS 313113 HAS SOUS 277159 HAS SOUPS 277159 WITH SCORE 277472.113
AT ITER 1828 NEW BEST:: SOT 560596 SOS 313038 HAS SOPS 313038 HAS SOUS 277084 HAS SOUPS 277084 WITH SCORE 277397.038
AT ITER 1837 NEW BEST:: SOT 560596 SOS 313006 HAS SOPS 313006 HAS SOUS 277066 HAS SOUPS 277066 WITH SCORE 277379.006
AT ITER 1855 NEW BEST:: SOT 560596 SOS 312991 HAS SOPS 312991 HAS SOUS 277066 HAS SOUPS 277066 WITH SCORE 277378.991
AT ITER 1870 NEW BEST:: SOT 560596 SOS 312953 HAS SOPS 312953 HAS SOUS 277066 HAS SOUPS 277066 WITH SCORE 277378.953
AT ITER 1877 NEW BEST:: SOT 560603 SOS 312941 HAS SOPS 312941 HAS SOUS 277054 HAS SOUPS 277054 WITH SCORE 277366.941
AT ITER 1892 NEW BEST:: SOT 560603 SOS 312915 HAS SOPS 312915 HAS SOUS 277054 HAS SOUPS 277054 WITH SCORE 277366.915
AT ITER 1896 NEW BEST:: SOT 560510 SOS 312858 HAS SOPS 312858 HAS SOUS 276997 HAS SOUPS 276997 WITH SCORE 277309.858
AT ITER 1897 NEW BEST:: SOT 560329 SOS 312813 HAS SOPS 312813 HAS SOUS 276965 HAS SOUPS 276965 WITH SCORE 277277.813
AT ITER 1902 NEW BEST:: SOT 560229 SOS 312815 HAS SOPS 312815 HAS SOUS 276951 HAS SOUPS 276951 WITH SCORE 277263.815
AT ITER 1905 NEW BEST:: SOT 559605 SOS 312497 HAS SOPS 312497 HAS SOUS 276515 HAS SOUPS 276515 WITH SCORE 276827.497
AT ITER 1910 NEW BEST:: SOT 559605 SOS 312451 HAS SOPS 312451 HAS SOUS 276515 HAS SOUPS 276515 WITH SCORE 276827.451
AT ITER 1918 NEW BEST:: SOT 559623 SOS 312423 HAS SOPS 312423 HAS SOUS 276483 HAS SOUPS 276483 WITH SCORE 276795.423
AT ITER 1926 NEW BEST:: SOT 559230 SOS 312191 HAS SOPS 312191 HAS SOUS 276251 HAS SOUPS 276251 WITH SCORE 276563.191
AT ITER 1927 NEW BEST:: SOT 559230 SOS 312116 HAS SOPS 312116 HAS SOUS 276251 HAS SOUPS 276251 WITH SCORE 276563.116
AT ITER 1941 NEW BEST:: SOT 558583 SOS 312184 HAS SOPS 312184 HAS SOUS 276145 HAS SOUPS 276145 WITH SCORE 276457.184
AT ITER 1952 NEW BEST:: SOT 558303 SOS 312032 HAS SOPS 312032 HAS SOUS 275993 HAS SOUPS 275993 WITH SCORE 276305.032
AT ITER 1964 NEW BEST:: SOT 558289 SOS 312018 HAS SOPS 312018 HAS SOUS 275979 HAS SOUPS 275979 WITH SCORE 276291.018
AT ITER 1968 NEW BEST:: SOT 558289 SOS 311736 HAS SOPS 311736 HAS SOUS 275979 HAS SOUPS 275979 WITH SCORE 276290.736
AT ITER 1972 NEW BEST:: SOT 558289 SOS 311853 HAS SOPS 311853 HAS SOUS 275960 HAS SOUPS 275960 WITH SCORE 276271.853
AT ITER 1981 NEW BEST:: SOT 558289 SOS 311003 HAS SOPS 311003 HAS SOUS 275960 HAS SOUPS 275960 WITH SCORE 276271.003
AT ITER 1982 NEW BEST:: SOT 558025 SOS 310730 HAS SOPS 310730 HAS SOUS 275792 HAS SOUPS 275792 WITH SCORE 276102.73
AT ITER 1990 NEW BEST:: SOT 558073 SOS 310725 HAS SOPS 310725 HAS SOUS 275787 HAS SOUPS 275787 WITH SCORE 276097.725
AT ITER 2008 NEW BEST:: SOT 557312 SOS 310299 HAS SOPS 310299 HAS SOUS 275010 HAS SOUPS 275010 WITH SCORE 275320.299
AT ITER 2014 NEW BEST:: SOT 557312 SOS 310251 HAS SOPS 310251 HAS SOUS 275010 HAS SOUPS 275010 WITH SCORE 275320.251
AT ITER 2017 NEW BEST:: SOT 557312 SOS 310251 HAS SOPS 310251 HAS SOUS 275002 HAS SOUPS 275002 WITH SCORE 275312.251
AT ITER 2021 NEW BEST:: SOT 557137 SOS 310090 HAS SOPS 310090 HAS SOUS 274827 HAS SOUPS 274827 WITH SCORE 275137.09
AT ITER 2024 NEW BEST:: SOT 557120 SOS 310288 HAS SOPS 310288 HAS SOUS 274603 HAS SOUPS 274603 WITH SCORE 274913.288
AT ITER 2035 NEW BEST:: SOT 557120 SOS 310316 HAS SOPS 310316 HAS SOUS 274581 HAS SOUPS 274581 WITH SCORE 274891.316
AT ITER 2038 NEW BEST:: SOT 556495 SOS 310220 HAS SOPS 310220 HAS SOUS 273891 HAS SOUPS 273891 WITH SCORE 274201.22
AT ITER 2045 NEW BEST:: SOT 556481 SOS 310307 HAS SOPS 310307 HAS SOUS 273863 HAS SOUPS 273863 WITH SCORE 274173.307
AT ITER 2070 NEW BEST:: SOT 555523 SOS 309548 HAS SOPS 309548 HAS SOUS 273338 HAS SOUPS 273338 WITH SCORE 273647.548
AT ITER 2074 NEW BEST:: SOT 555475 SOS 309500 HAS SOPS 309500 HAS SOUS 273290 HAS SOUPS 273290 WITH SCORE 273599.5
AT ITER 2079 NEW BEST:: SOT 555475 SOS 309461 HAS SOPS 309461 HAS SOUS 273290 HAS SOUPS 273290 WITH SCORE 273599.461
AT ITER 2083 NEW BEST:: SOT 555033 SOS 309407 HAS SOPS 309407 HAS SOUS 273024 HAS SOUPS 273024 WITH SCORE 273333.407
AT ITER 2091 NEW BEST:: SOT 554937 SOS 309315 HAS SOPS 309315 HAS SOUS 272944 HAS SOUPS 272944 WITH SCORE 273253.315
AT ITER 2094 NEW BEST:: SOT 554111 SOS 309988 HAS SOPS 309988 HAS SOUS 272317 HAS SOUPS 272317 WITH SCORE 272626.988
AT ITER 2095 NEW BEST:: SOT 554099 SOS 309919 HAS SOPS 309919 HAS SOUS 272276 HAS SOUPS 272276 WITH SCORE 272585.919
AT ITER 2097 NEW BEST:: SOT 554123 SOS 309906 HAS SOPS 309906 HAS SOUS 272269 HAS SOUPS 272269 WITH SCORE 272578.906
AT ITER 2113 NEW BEST:: SOT 554210 SOS 309819 HAS SOPS 309819 HAS SOUS 272158 HAS SOUPS 272158 WITH SCORE 272467.819
AT ITER 2114 NEW BEST:: SOT 553957 SOS 309711 HAS SOPS 309711 HAS SOUS 272050 HAS SOUPS 272050 WITH SCORE 272359.711
AT ITER 2122 NEW BEST:: SOT 553957 SOS 309497 HAS SOPS 309497 HAS SOUS 272003 HAS SOUPS 272003 WITH SCORE 272312.497
AT ITER 2156 NEW BEST:: SOT 553956 SOS 309835 HAS SOPS 309835 HAS SOUS 272002 HAS SOUPS 272002 WITH SCORE 272311.835
AT ITER 2161 NEW BEST:: SOT 553956 SOS 309728 HAS SOPS 309728 HAS SOUS 271986 HAS SOUPS 271986 WITH SCORE 272295.728
AT ITER 2162 NEW BEST:: SOT 553955 SOS 309610 HAS SOPS 309610 HAS SOUS 271946 HAS SOUPS 271946 WITH SCORE 272255.61
AT ITER 2164 NEW BEST:: SOT 553955 SOS 309541 HAS SOPS 309541 HAS SOUS 271946 HAS SOUPS 271946 WITH SCORE 272255.541
AT ITER 2175 NEW BEST:: SOT 553804 SOS 309711 HAS SOPS 309711 HAS SOUS 271826 HAS SOUPS 271826 WITH SCORE 272135.711
AT ITER 2179 NEW BEST:: SOT 553804 SOS 309367 HAS SOPS 309367 HAS SOUS 271826 HAS SOUPS 271826 WITH SCORE 272135.367
AT ITER 2180 NEW BEST:: SOT 553804 SOS 309311 HAS SOPS 309311 HAS SOUS 271826 HAS SOUPS 271826 WITH SCORE 272135.311
AT ITER 2188 NEW BEST:: SOT 553735 SOS 309242 HAS SOPS 309242 HAS SOUS 271744 HAS SOUPS 271744 WITH SCORE 272053.242
AT ITER 2195 NEW BEST:: SOT 553692 SOS 308918 HAS SOPS 308918 HAS SOUS 271701 HAS SOUPS 271701 WITH SCORE 272009.918
AT ITER 2196 NEW BEST:: SOT 553707 SOS 308918 HAS SOPS 308918 HAS SOUS 271671 HAS SOUPS 271671 WITH SCORE 271979.918
AT ITER 2206 NEW BEST:: SOT 553707 SOS 308918 HAS SOPS 308918 HAS SOUS 271666 HAS SOUPS 271666 WITH SCORE 271974.918
AT ITER 2211 NEW BEST:: SOT 553217 SOS 308468 HAS SOPS 308468 HAS SOUS 271198 HAS SOUPS 271198 WITH SCORE 271506.468
AT ITER 2212 NEW BEST:: SOT 553369 SOS 306889 HAS SOPS 306889 HAS SOUS 270958 HAS SOUPS 270958 WITH SCORE 271264.889
AT ITER 2218 NEW BEST:: SOT 553335 SOS 306855 HAS SOPS 306855 HAS SOUS 270924 HAS SOUPS 270924 WITH SCORE 271230.855
AT ITER 2231 NEW BEST:: SOT 553334 SOS 306854 HAS SOPS 306854 HAS SOUS 270923 HAS SOUPS 270923 WITH SCORE 271229.854
AT ITER 2236 NEW BEST:: SOT 553334 SOS 306812 HAS SOPS 306812 HAS SOUS 270923 HAS SOUPS 270923 WITH SCORE 271229.812
AT ITER 2239 NEW BEST:: SOT 553334 SOS 305437 HAS SOPS 305437 HAS SOUS 270883 HAS SOUPS 270883 WITH SCORE 271188.437
AT ITER 2243 NEW BEST:: SOT 553334 SOS 303933 HAS SOPS 303933 HAS SOUS 270883 HAS SOUPS 270883 WITH SCORE 271186.933
AT ITER 2248 NEW BEST:: SOT 553334 SOS 303906 HAS SOPS 303906 HAS SOUS 270883 HAS SOUPS 270883 WITH SCORE 271186.906
AT ITER 2254 NEW BEST:: SOT 553334 SOS 303869 HAS SOPS 303869 HAS SOUS 270779 HAS SOUPS 270779 WITH SCORE 271082.869
AT ITER 2262 NEW BEST:: SOT 553330 SOS 303865 HAS SOPS 303865 HAS SOUS 270775 HAS SOUPS 270775 WITH SCORE 271078.865
AT ITER 2280 NEW BEST:: SOT 553316 SOS 303719 HAS SOPS 303719 HAS SOUS 270753 HAS SOUPS 270753 WITH SCORE 271056.719
AT ITER 2282 NEW BEST:: SOT 552323 SOS 303053 HAS SOPS 303053 HAS SOUS 270135 HAS SOUPS 270135 WITH SCORE 270438.053
AT ITER 2283 NEW BEST:: SOT 552323 SOS 305483 HAS SOPS 305483 HAS SOUS 270077 HAS SOUPS 270077 WITH SCORE 270382.483
AT ITER 2305 NEW BEST:: SOT 552252 SOS 305191 HAS SOPS 305191 HAS SOUS 269956 HAS SOUPS 269956 WITH SCORE 270261.191
AT ITER 2311 NEW BEST:: SOT 552252 SOS 303493 HAS SOPS 303493 HAS SOUS 269956 HAS SOUPS 269956 WITH SCORE 270259.493
AT ITER 2319 NEW BEST:: SOT 552252 SOS 303468 HAS SOPS 303468 HAS SOUS 269956 HAS SOUPS 269956 WITH SCORE 270259.468
AT ITER 2328 NEW BEST:: SOT 551654 SOS 303024 HAS SOPS 303024 HAS SOUS 269512 HAS SOUPS 269512 WITH SCORE 269815.024
AT ITER 2329 NEW BEST:: SOT 551654 SOS 302970 HAS SOPS 302970 HAS SOUS 269496 HAS SOUPS 269496 WITH SCORE 269798.97
AT ITER 2369 NEW BEST:: SOT 550902 SOS 302619 HAS SOPS 302619 HAS SOUS 268872 HAS SOUPS 268872 WITH SCORE 269174.619
AT ITER 2371 NEW BEST:: SOT 550902 SOS 302619 HAS SOPS 302619 HAS SOUS 268856 HAS SOUPS 268856 WITH SCORE 269158.619
AT ITER 2379 NEW BEST:: SOT 550792 SOS 302794 HAS SOPS 302794 HAS SOUS 268855 HAS SOUPS 268855 WITH SCORE 269157.794
AT ITER 2391 NEW BEST:: SOT 550792 SOS 302726 HAS SOPS 302726 HAS SOUS 268855 HAS SOUPS 268855 WITH SCORE 269157.726
AT ITER 2397 NEW BEST:: SOT 550792 SOS 302585 HAS SOPS 302585 HAS SOUS 268855 HAS SOUPS 268855 WITH SCORE 269157.585
AT ITER 2401 NEW BEST:: SOT 550792 SOS 302583 HAS SOPS 302583 HAS SOUS 268853 HAS SOUPS 268853 WITH SCORE 269155.583
AT ITER 2405 NEW BEST:: SOT 550638 SOS 305524 HAS SOPS 305524 HAS SOUS 268758 HAS SOUPS 268758 WITH SCORE 269063.524
AT ITER 2410 NEW BEST:: SOT 550515 SOS 305292 HAS SOPS 305292 HAS SOUS 268635 HAS SOUPS 268635 WITH SCORE 268940.292
AT ITER 2412 NEW BEST:: SOT 550613 SOS 305046 HAS SOPS 305046 HAS SOUS 268463 HAS SOUPS 268463 WITH SCORE 268768.046
AT ITER 2413 NEW BEST:: SOT 550609 SOS 305042 HAS SOPS 305042 HAS SOUS 268459 HAS SOUPS 268459 WITH SCORE 268764.042
AT ITER 2414 NEW BEST:: SOT 550367 SOS 304670 HAS SOPS 304670 HAS SOUS 268199 HAS SOUPS 268199 WITH SCORE 268503.67
AT ITER 2423 NEW BEST:: SOT 550249 SOS 305684 HAS SOPS 305684 HAS SOUS 268117 HAS SOUPS 268117 WITH SCORE 268422.684
AT ITER 2441 NEW BEST:: SOT 550285 SOS 305644 HAS SOPS 305644 HAS SOUS 268074 HAS SOUPS 268074 WITH SCORE 268379.644
AT ITER 2461 NEW BEST:: SOT 550285 SOS 305607 HAS SOPS 305607 HAS SOUS 268074 HAS SOUPS 268074 WITH SCORE 268379.607
AT ITER 2462 NEW BEST:: SOT 550291 SOS 305700 HAS SOPS 305700 HAS SOUS 268026 HAS SOUPS 268026 WITH SCORE 268331.7
AT ITER 2464 NEW BEST:: SOT 550016 SOS 305082 HAS SOPS 305082 HAS SOUS 267740 HAS SOUPS 267740 WITH SCORE 268045.082
AT ITER 2473 NEW BEST:: SOT 549994 SOS 305071 HAS SOPS 305071 HAS SOUS 267729 HAS SOUPS 267729 WITH SCORE 268034.071
AT ITER 2476 NEW BEST:: SOT 549994 SOS 305058 HAS SOPS 305058 HAS SOUS 267729 HAS SOUPS 267729 WITH SCORE 268034.058
AT ITER 2481 NEW BEST:: SOT 549732 SOS 304851 HAS SOPS 304851 HAS SOUS 267522 HAS SOUPS 267522 WITH SCORE 267826.851
AT ITER 2485 NEW BEST:: SOT 549846 SOS 304837 HAS SOPS 304837 HAS SOUS 267464 HAS SOUPS 267464 WITH SCORE 267768.837
AT ITER 2486 NEW BEST:: SOT 549846 SOS 304709 HAS SOPS 304709 HAS SOUS 267464 HAS SOUPS 267464 WITH SCORE 267768.709
AT ITER 2487 NEW BEST:: SOT 549798 SOS 304728 HAS SOPS 304728 HAS SOUS 267416 HAS SOUPS 267416 WITH SCORE 267720.728
AT ITER 2493 NEW BEST:: SOT 549735 SOS 304665 HAS SOPS 304665 HAS SOUS 267353 HAS SOUPS 267353 WITH SCORE 267657.665
AT ITER 2500 NEW BEST:: SOT 549708 SOS 304605 HAS SOPS 304605 HAS SOUS 267260 HAS SOUPS 267260 WITH SCORE 267564.605
AT ITER 2510 NEW BEST:: SOT 549704 SOS 304601 HAS SOPS 304601 HAS SOUS 267256 HAS SOUPS 267256 WITH SCORE 267560.601
AT ITER 2523 NEW BEST:: SOT 549704 SOS 304400 HAS SOPS 304400 HAS SOUS 267081 HAS SOUPS 267081 WITH SCORE 267385.4
AT ITER 2530 NEW BEST:: SOT 549704 SOS 301884 HAS SOPS 301884 HAS SOUS 267081 HAS SOUPS 267081 WITH SCORE 267382.884
AT ITER 2531 NEW BEST:: SOT 549704 SOS 301843 HAS SOPS 301843 HAS SOUS 267081 HAS SOUPS 267081 WITH SCORE 267382.843
AT ITER 2539 NEW BEST:: SOT 549704 SOS 301776 HAS SOPS 301776 HAS SOUS 267070 HAS SOUPS 267070 WITH SCORE 267371.776
AT ITER 2543 NEW BEST:: SOT 549769 SOS 301755 HAS SOPS 301755 HAS SOUS 266977 HAS SOUPS 266977 WITH SCORE 267278.755
AT ITER 2551 NEW BEST:: SOT 549501 SOS 301487 HAS SOPS 301487 HAS SOUS 266709 HAS SOUPS 266709 WITH SCORE 267010.487
AT ITER 2555 NEW BEST:: SOT 549501 SOS 301461 HAS SOPS 301461 HAS SOUS 266683 HAS SOUPS 266683 WITH SCORE 266984.461
AT ITER 2556 NEW BEST:: SOT 549478 SOS 301487 HAS SOPS 301487 HAS SOUS 266586 HAS SOUPS 266586 WITH SCORE 266887.487
AT ITER 2565 NEW BEST:: SOT 549477 SOS 301415 HAS SOPS 301415 HAS SOUS 266450 HAS SOUPS 266450 WITH SCORE 266751.415
AT ITER 2583 NEW BEST:: SOT 549477 SOS 301381 HAS SOPS 301381 HAS SOUS 266428 HAS SOUPS 266428 WITH SCORE 266729.381
AT ITER 2599 NEW BEST:: SOT 549204 SOS 301148 HAS SOPS 301148 HAS SOUS 266195 HAS SOUPS 266195 WITH SCORE 266496.148
AT ITER 2607 NEW BEST:: SOT 548923 SOS 301074 HAS SOPS 301074 HAS SOUS 266121 HAS SOUPS 266121 WITH SCORE 266422.074
AT ITER 2612 NEW BEST:: SOT 548478 SOS 300864 HAS SOPS 300864 HAS SOUS 265875 HAS SOUPS 265875 WITH SCORE 266175.864
AT ITER 2620 NEW BEST:: SOT 548476 SOS 300862 HAS SOPS 300862 HAS SOUS 265855 HAS SOUPS 265855 WITH SCORE 266155.862
AT ITER 2621 NEW BEST:: SOT 548439 SOS 300846 HAS SOPS 300846 HAS SOUS 265839 HAS SOUPS 265839 WITH SCORE 266139.846
AT ITER 2624 NEW BEST:: SOT 548439 SOS 300921 HAS SOPS 300921 HAS SOUS 265801 HAS SOUPS 265801 WITH SCORE 266101.921
AT ITER 2627 NEW BEST:: SOT 548589 SOS 301071 HAS SOPS 301071 HAS SOUS 265781 HAS SOUPS 265781 WITH SCORE 266082.071
AT ITER 2634 NEW BEST:: SOT 548441 SOS 301097 HAS SOPS 301097 HAS SOUS 265633 HAS SOUPS 265633 WITH SCORE 265934.097
AT ITER 2639 NEW BEST:: SOT 548239 SOS 300958 HAS SOPS 300958 HAS SOUS 265494 HAS SOUPS 265494 WITH SCORE 265794.958
AT ITER 2643 NEW BEST:: SOT 548239 SOS 300764 HAS SOPS 300764 HAS SOUS 265494 HAS SOUPS 265494 WITH SCORE 265794.764
AT ITER 2657 NEW BEST:: SOT 547327 SOS 301909 HAS SOPS 301909 HAS SOUS 264901 HAS SOUPS 264901 WITH SCORE 265202.909
AT ITER 2677 NEW BEST:: SOT 547308 SOS 301814 HAS SOPS 301814 HAS SOUS 264863 HAS SOUPS 264863 WITH SCORE 265164.814
AT ITER 2678 NEW BEST:: SOT 547308 SOS 299787 HAS SOPS 299787 HAS SOUS 264755 HAS SOUPS 264755 WITH SCORE 265054.787
AT ITER 2680 NEW BEST:: SOT 547308 SOS 299688 HAS SOPS 299688 HAS SOUS 264755 HAS SOUPS 264755 WITH SCORE 265054.688
AT ITER 2707 NEW BEST:: SOT 547308 SOS 299661 HAS SOPS 299661 HAS SOUS 264755 HAS SOUPS 264755 WITH SCORE 265054.661
AT ITER 2710 NEW BEST:: SOT 546757 SOS 300961 HAS SOPS 300961 HAS SOUS 264628 HAS SOUPS 264628 WITH SCORE 264928.961
AT ITER 2715 NEW BEST:: SOT 546669 SOS 300895 HAS SOPS 300895 HAS SOUS 264562 HAS SOUPS 264562 WITH SCORE 264862.895
AT ITER 2721 NEW BEST:: SOT 546315 SOS 301189 HAS SOPS 301189 HAS SOUS 264532 HAS SOUPS 264532 WITH SCORE 264833.189
AT ITER 2724 NEW BEST:: SOT 546232 SOS 301106 HAS SOPS 301106 HAS SOUS 264449 HAS SOUPS 264449 WITH SCORE 264750.106
AT ITER 2726 NEW BEST:: SOT 546218 SOS 300923 HAS SOPS 300923 HAS SOUS 264338 HAS SOUPS 264338 WITH SCORE 264638.923
AT ITER 2731 NEW BEST:: SOT 546303 SOS 301008 HAS SOPS 301008 HAS SOUS 264261 HAS SOUPS 264261 WITH SCORE 264562.008
AT ITER 2740 NEW BEST:: SOT 546218 SOS 300923 HAS SOPS 300923 HAS SOUS 264176 HAS SOUPS 264176 WITH SCORE 264476.923
AT ITER 2744 NEW BEST:: SOT 546218 SOS 300907 HAS SOPS 300907 HAS SOUS 264168 HAS SOUPS 264168 WITH SCORE 264468.907
AT ITER 2750 NEW BEST:: SOT 546218 SOS 300873 HAS SOPS 300873 HAS SOUS 264168 HAS SOUPS 264168 WITH SCORE 264468.873
AT ITER 2758 NEW BEST:: SOT 545891 SOS 300549 HAS SOPS 300549 HAS SOUS 263841 HAS SOUPS 263841 WITH SCORE 264141.549
AT ITER 2759 NEW BEST:: SOT 545349 SOS 300303 HAS SOPS 300303 HAS SOUS 263516 HAS SOUPS 263516 WITH SCORE 263816.303
AT ITER 2760 NEW BEST:: SOT 545349 SOS 300293 HAS SOPS 300293 HAS SOUS 263508 HAS SOUPS 263508 WITH SCORE 263808.293
AT ITER 2770 NEW BEST:: SOT 545220 SOS 299838 HAS SOPS 299838 HAS SOUS 263253 HAS SOUPS 263253 WITH SCORE 263552.838
AT ITER 2774 NEW BEST:: SOT 545204 SOS 299845 HAS SOPS 299845 HAS SOUS 263237 HAS SOUPS 263237 WITH SCORE 263536.845
AT ITER 2781 NEW BEST:: SOT 545204 SOS 298094 HAS SOPS 298094 HAS SOUS 263237 HAS SOUPS 263237 WITH SCORE 263535.094
AT ITER 2796 NEW BEST:: SOT 544851 SOS 299752 HAS SOPS 299752 HAS SOUS 263171 HAS SOUPS 263171 WITH SCORE 263470.752
AT ITER 2810 NEW BEST:: SOT 544831 SOS 299735 HAS SOPS 299735 HAS SOUS 263167 HAS SOUPS 263167 WITH SCORE 263466.735
AT ITER 2812 NEW BEST:: SOT 544435 SOS 300208 HAS SOPS 300208 HAS SOUS 263031 HAS SOUPS 263031 WITH SCORE 263331.208
AT ITER 2818 NEW BEST:: SOT 544375 SOS 300103 HAS SOPS 300103 HAS SOUS 262977 HAS SOUPS 262977 WITH SCORE 263277.103
AT ITER 2824 NEW BEST:: SOT 543711 SOS 300171 HAS SOPS 300171 HAS SOUS 262918 HAS SOUPS 262918 WITH SCORE 263218.171
AT ITER 2834 NEW BEST:: SOT 543726 SOS 300199 HAS SOPS 300199 HAS SOUS 262796 HAS SOUPS 262796 WITH SCORE 263096.199
AT ITER 2835 NEW BEST:: SOT 543726 SOS 299814 HAS SOPS 299814 HAS SOUS 262796 HAS SOUPS 262796 WITH SCORE 263095.814
AT ITER 2840 NEW BEST:: SOT 543599 SOS 299572 HAS SOPS 299572 HAS SOUS 262554 HAS SOUPS 262554 WITH SCORE 262853.572
AT ITER 2842 NEW BEST:: SOT 543129 SOS 299432 HAS SOPS 299432 HAS SOUS 262149 HAS SOUPS 262149 WITH SCORE 262448.432
AT ITER 2845 NEW BEST:: SOT 542899 SOS 299670 HAS SOPS 299670 HAS SOUS 262139 HAS SOUPS 262139 WITH SCORE 262438.67
AT ITER 2853 NEW BEST:: SOT 542804 SOS 299649 HAS SOPS 299649 HAS SOUS 262085 HAS SOUPS 262085 WITH SCORE 262384.649
AT ITER 2870 NEW BEST:: SOT 542804 SOS 299524 HAS SOPS 299524 HAS SOUS 261897 HAS SOUPS 261897 WITH SCORE 262196.524
AT ITER 2880 NEW BEST:: SOT 542804 SOS 299357 HAS SOPS 299357 HAS SOUS 261839 HAS SOUPS 261839 WITH SCORE 262138.357
AT ITER 2884 NEW BEST:: SOT 542521 SOS 299223 HAS SOPS 299223 HAS SOUS 261586 HAS SOUPS 261586 WITH SCORE 261885.223
AT ITER 2892 NEW BEST:: SOT 542552 SOS 299254 HAS SOPS 299254 HAS SOUS 261566 HAS SOUPS 261566 WITH SCORE 261865.254
AT ITER 2907 NEW BEST:: SOT 542328 SOS 298990 HAS SOPS 298990 HAS SOUS 261302 HAS SOUPS 261302 WITH SCORE 261600.99
AT ITER 2915 NEW BEST:: SOT 542324 SOS 298986 HAS SOPS 298986 HAS SOUS 261298 HAS SOUPS 261298 WITH SCORE 261596.986
AT ITER 2920 NEW BEST:: SOT 542314 SOS 298976 HAS SOPS 298976 HAS SOUS 261275 HAS SOUPS 261275 WITH SCORE 261573.976
AT ITER 2933 NEW BEST:: SOT 542287 SOS 298949 HAS SOPS 298949 HAS SOUS 261248 HAS SOUPS 261248 WITH SCORE 261546.949
AT ITER 2945 NEW BEST:: SOT 542159 SOS 299241 HAS SOPS 299241 HAS SOUS 261120 HAS SOUPS 261120 WITH SCORE 261419.241
AT ITER 2954 NEW BEST:: SOT 542129 SOS 299181 HAS SOPS 299181 HAS SOUS 261090 HAS SOUPS 261090 WITH SCORE 261389.181
AT ITER 2955 NEW BEST:: SOT 542157 SOS 299212 HAS SOPS 299212 HAS SOUS 260972 HAS SOUPS 260972 WITH SCORE 261271.212
AT ITER 2960 NEW BEST:: SOT 542157 SOS 298685 HAS SOPS 298685 HAS SOUS 260970 HAS SOUPS 260970 WITH SCORE 261268.685
AT ITER 2993 NEW BEST:: SOT 542157 SOS 298647 HAS SOPS 298647 HAS SOUS 260962 HAS SOUPS 260962 WITH SCORE 261260.647
AT ITER 2997 NEW BEST:: SOT 542157 SOS 298439 HAS SOPS 298439 HAS SOUS 260962 HAS SOUPS 260962 WITH SCORE 261260.439
AT ITER 3003 NEW BEST:: SOT 542121 SOS 298359 HAS SOPS 298359 HAS SOUS 260898 HAS SOUPS 260898 WITH SCORE 261196.359
AT ITER 3013 NEW BEST:: SOT 541882 SOS 298263 HAS SOPS 298263 HAS SOUS 260802 HAS SOUPS 260802 WITH SCORE 261100.263
AT ITER 3021 NEW BEST:: SOT 541731 SOS 298141 HAS SOPS 298141 HAS SOUS 260752 HAS SOUPS 260752 WITH SCORE 261050.141
AT ITER 3043 NEW BEST:: SOT 541461 SOS 297931 HAS SOPS 297931 HAS SOUS 260552 HAS SOUPS 260552 WITH SCORE 260849.931
AT ITER 3049 NEW BEST:: SOT 541052 SOS 297779 HAS SOPS 297779 HAS SOUS 260177 HAS SOUPS 260177 WITH SCORE 260474.779
AT ITER 3054 NEW BEST:: SOT 540710 SOS 297588 HAS SOPS 297588 HAS SOUS 259877 HAS SOUPS 259877 WITH SCORE 260174.588
AT ITER 3075 NEW BEST:: SOT 540650 SOS 297573 HAS SOPS 297573 HAS SOUS 259817 HAS SOUPS 259817 WITH SCORE 260114.573
AT ITER 3078 NEW BEST:: SOT 540572 SOS 297707 HAS SOPS 297707 HAS SOUS 259661 HAS SOUPS 259661 WITH SCORE 259958.707
AT ITER 3093 NEW BEST:: SOT 540564 SOS 297699 HAS SOPS 297699 HAS SOUS 259653 HAS SOUPS 259653 WITH SCORE 259950.699
AT ITER 3096 NEW BEST:: SOT 540268 SOS 298162 HAS SOPS 298162 HAS SOUS 259544 HAS SOUPS 259544 WITH SCORE 259842.162
AT ITER 3103 NEW BEST:: SOT 540271 SOS 298044 HAS SOPS 298044 HAS SOUS 259467 HAS SOUPS 259467 WITH SCORE 259765.044
AT ITER 3121 NEW BEST:: SOT 540271 SOS 298044 HAS SOPS 298044 HAS SOUS 259433 HAS SOUPS 259433 WITH SCORE 259731.044
AT ITER 3125 NEW BEST:: SOT 540271 SOS 297949 HAS SOPS 297949 HAS SOUS 259433 HAS SOUPS 259433 WITH SCORE 259730.949
AT ITER 3126 NEW BEST:: SOT 540271 SOS 297949 HAS SOPS 297949 HAS SOUS 259430 HAS SOUPS 259430 WITH SCORE 259727.949
AT ITER 3130 NEW BEST:: SOT 540277 SOS 297948 HAS SOPS 297948 HAS SOUS 259429 HAS SOUPS 259429 WITH SCORE 259726.948
AT ITER 3149 NEW BEST:: SOT 539689 SOS 297590 HAS SOPS 297590 HAS SOUS 258887 HAS SOUPS 258887 WITH SCORE 259184.59
AT ITER 3150 NEW BEST:: SOT 539689 SOS 297442 HAS SOPS 297442 HAS SOUS 258809 HAS SOUPS 258809 WITH SCORE 259106.442
AT ITER 3160 NEW BEST:: SOT 539210 SOS 297647 HAS SOPS 297647 HAS SOUS 258506 HAS SOUPS 258506 WITH SCORE 258803.647
AT ITER 3168 NEW BEST:: SOT 539196 SOS 298283 HAS SOPS 298283 HAS SOUS 258492 HAS SOUPS 258492 WITH SCORE 258790.283
AT ITER 3192 NEW BEST:: SOT 539196 SOS 298196 HAS SOPS 298196 HAS SOUS 258442 HAS SOUPS 258442 WITH SCORE 258740.196
AT ITER 3212 NEW BEST:: SOT 539196 SOS 298176 HAS SOPS 298176 HAS SOUS 258422 HAS SOUPS 258422 WITH SCORE 258720.176
AT ITER 3223 NEW BEST:: SOT 539196 SOS 295070 HAS SOPS 295070 HAS SOUS 258396 HAS SOUPS 258396 WITH SCORE 258691.07
AT ITER 3230 NEW BEST:: SOT 539196 SOS 294965 HAS SOPS 294965 HAS SOUS 258396 HAS SOUPS 258396 WITH SCORE 258690.965
AT ITER 3233 NEW BEST:: SOT 539179 SOS 294948 HAS SOPS 294948 HAS SOUS 258379 HAS SOUPS 258379 WITH SCORE 258673.948
AT ITER 3245 NEW BEST:: SOT 538803 SOS 295068 HAS SOPS 295068 HAS SOUS 258274 HAS SOUPS 258274 WITH SCORE 258569.068
AT ITER 3247 NEW BEST:: SOT 538803 SOS 295068 HAS SOPS 295068 HAS SOUS 258226 HAS SOUPS 258226 WITH SCORE 258521.068
AT ITER 3248 NEW BEST:: SOT 538783 SOS 295453 HAS SOPS 295453 HAS SOUS 258157 HAS SOUPS 258157 WITH SCORE 258452.453
AT ITER 3250 NEW BEST:: SOT 538373 SOS 295285 HAS SOPS 295285 HAS SOUS 257868 HAS SOUPS 257868 WITH SCORE 258163.285
AT ITER 3272 NEW BEST:: SOT 538368 SOS 295280 HAS SOPS 295280 HAS SOUS 257863 HAS SOUPS 257863 WITH SCORE 258158.28
AT ITER 3275 NEW BEST:: SOT 538368 SOS 295062 HAS SOPS 295062 HAS SOUS 257863 HAS SOUPS 257863 WITH SCORE 258158.062
AT ITER 3276 NEW BEST:: SOT 538368 SOS 295029 HAS SOPS 295029 HAS SOUS 257863 HAS SOUPS 257863 WITH SCORE 258158.029
AT ITER 3278 NEW BEST:: SOT 538182 SOS 294978 HAS SOPS 294978 HAS SOUS 257738 HAS SOUPS 257738 WITH SCORE 258032.978
AT ITER 3282 NEW BEST:: SOT 538220 SOS 295016 HAS SOPS 295016 HAS SOUS 257681 HAS SOUPS 257681 WITH SCORE 257976.016
AT ITER 3287 NEW BEST:: SOT 538163 SOS 295068 HAS SOPS 295068 HAS SOUS 257624 HAS SOUPS 257624 WITH SCORE 257919.068
AT ITER 3289 NEW BEST:: SOT 538156 SOS 295121 HAS SOPS 295121 HAS SOUS 257617 HAS SOUPS 257617 WITH SCORE 257912.121
AT ITER 3305 NEW BEST:: SOT 538156 SOS 295031 HAS SOPS 295031 HAS SOUS 257526 HAS SOUPS 257526 WITH SCORE 257821.031
AT ITER 3309 NEW BEST:: SOT 538156 SOS 294650 HAS SOPS 294650 HAS SOUS 257482 HAS SOUPS 257482 WITH SCORE 257776.65
AT ITER 3313 NEW BEST:: SOT 538156 SOS 294627 HAS SOPS 294627 HAS SOUS 257234 HAS SOUPS 257234 WITH SCORE 257528.627
AT ITER 3330 NEW BEST:: SOT 538034 SOS 294485 HAS SOPS 294485 HAS SOUS 257092 HAS SOUPS 257092 WITH SCORE 257386.485
AT ITER 3339 NEW BEST:: SOT 537480 SOS 294910 HAS SOPS 294910 HAS SOUS 256916 HAS SOUPS 256916 WITH SCORE 257210.91
AT ITER 3352 NEW BEST:: SOT 536681 SOS 294111 HAS SOPS 294111 HAS SOUS 256117 HAS SOUPS 256117 WITH SCORE 256411.111
AT ITER 3353 NEW BEST:: SOT 536162 SOS 294814 HAS SOPS 294814 HAS SOUS 256010 HAS SOUPS 256010 WITH SCORE 256304.814
AT ITER 3356 NEW BEST:: SOT 536162 SOS 294211 HAS SOPS 294211 HAS SOUS 256010 HAS SOUPS 256010 WITH SCORE 256304.211
AT ITER 3359 NEW BEST:: SOT 536328 SOS 294307 HAS SOPS 294307 HAS SOUS 255914 HAS SOUPS 255914 WITH SCORE 256208.307
AT ITER 3360 NEW BEST:: SOT 536238 SOS 294217 HAS SOPS 294217 HAS SOUS 255792 HAS SOUPS 255792 WITH SCORE 256086.217
AT ITER 3371 NEW BEST:: SOT 536238 SOS 294130 HAS SOPS 294130 HAS SOUS 255792 HAS SOUPS 255792 WITH SCORE 256086.13
AT ITER 3380 NEW BEST:: SOT 536239 SOS 293988 HAS SOPS 293988 HAS SOUS 255579 HAS SOUPS 255579 WITH SCORE 255872.988
AT ITER 3381 NEW BEST:: SOT 536239 SOS 293965 HAS SOPS 293965 HAS SOUS 255579 HAS SOUPS 255579 WITH SCORE 255872.965
AT ITER 3405 NEW BEST:: SOT 535999 SOS 293832 HAS SOPS 293832 HAS SOUS 255446 HAS SOUPS 255446 WITH SCORE 255739.832
AT ITER 3422 NEW BEST:: SOT 535437 SOS 294313 HAS SOPS 294313 HAS SOUS 255277 HAS SOUPS 255277 WITH SCORE 255571.313
AT ITER 3442 NEW BEST:: SOT 535437 SOS 294294 HAS SOPS 294294 HAS SOUS 255277 HAS SOUPS 255277 WITH SCORE 255571.294
AT ITER 3445 NEW BEST:: SOT 535375 SOS 294259 HAS SOPS 294259 HAS SOUS 255215 HAS SOUPS 255215 WITH SCORE 255509.259
AT ITER 3454 NEW BEST:: SOT 535375 SOS 294003 HAS SOPS 294003 HAS SOUS 255215 HAS SOUPS 255215 WITH SCORE 255509.003
AT ITER 3455 NEW BEST:: SOT 535301 SOS 294017 HAS SOPS 294017 HAS SOUS 255193 HAS SOUPS 255193 WITH SCORE 255487.017
AT ITER 3457 NEW BEST:: SOT 534978 SOS 293694 HAS SOPS 293694 HAS SOUS 254870 HAS SOUPS 254870 WITH SCORE 255163.694
AT ITER 3464 NEW BEST:: SOT 535096 SOS 293823 HAS SOPS 293823 HAS SOUS 254784 HAS SOUPS 254784 WITH SCORE 255077.823
AT ITER 3473 NEW BEST:: SOT 535096 SOS 293823 HAS SOPS 293823 HAS SOUS 254776 HAS SOUPS 254776 WITH SCORE 255069.823
AT ITER 3476 NEW BEST:: SOT 534912 SOS 293571 HAS SOPS 293571 HAS SOUS 254647 HAS SOUPS 254647 WITH SCORE 254940.571
AT ITER 3496 NEW BEST:: SOT 534912 SOS 293463 HAS SOPS 293463 HAS SOUS 254647 HAS SOUPS 254647 WITH SCORE 254940.463
AT ITER 3506 NEW BEST:: SOT 534455 SOS 294192 HAS SOPS 294192 HAS SOUS 254472 HAS SOUPS 254472 WITH SCORE 254766.192
AT ITER 3507 NEW BEST:: SOT 534417 SOS 294309 HAS SOPS 294309 HAS SOUS 254357 HAS SOUPS 254357 WITH SCORE 254651.309
AT ITER 3508 NEW BEST:: SOT 534403 SOS 294295 HAS SOPS 294295 HAS SOUS 254343 HAS SOUPS 254343 WITH SCORE 254637.295
AT ITER 3509 NEW BEST:: SOT 534403 SOS 294247 HAS SOPS 294247 HAS SOUS 254295 HAS SOUPS 254295 WITH SCORE 254589.247
AT ITER 3528 NEW BEST:: SOT 534403 SOS 294173 HAS SOPS 294173 HAS SOUS 254240 HAS SOUPS 254240 WITH SCORE 254534.173
AT ITER 3545 NEW BEST:: SOT 533405 SOS 293722 HAS SOPS 293722 HAS SOUS 253319 HAS SOUPS 253319 WITH SCORE 253612.722
AT ITER 3547 NEW BEST:: SOT 533405 SOS 293603 HAS SOPS 293603 HAS SOUS 253318 HAS SOUPS 253318 WITH SCORE 253611.603
AT ITER 3548 NEW BEST:: SOT 532971 SOS 293750 HAS SOPS 293750 HAS SOUS 253037 HAS SOUPS 253037 WITH SCORE 253330.75
AT ITER 3549 NEW BEST:: SOT 532971 SOS 293686 HAS SOPS 293686 HAS SOUS 253037 HAS SOUPS 253037 WITH SCORE 253330.686
AT ITER 3552 NEW BEST:: SOT 533047 SOS 293769 HAS SOPS 293769 HAS SOUS 253018 HAS SOUPS 253018 WITH SCORE 253311.769
AT ITER 3553 NEW BEST:: SOT 533047 SOS 293841 HAS SOPS 293841 HAS SOUS 252949 HAS SOUPS 252949 WITH SCORE 253242.841
AT ITER 3555 NEW BEST:: SOT 533034 SOS 293828 HAS SOPS 293828 HAS SOUS 252936 HAS SOUPS 252936 WITH SCORE 253229.828
AT ITER 3569 NEW BEST:: SOT 533166 SOS 293853 HAS SOPS 293853 HAS SOUS 252799 HAS SOUPS 252799 WITH SCORE 253092.853
AT ITER 3571 NEW BEST:: SOT 533166 SOS 293667 HAS SOPS 293667 HAS SOUS 252799 HAS SOUPS 252799 WITH SCORE 253092.667
AT ITER 3577 NEW BEST:: SOT 533166 SOS 293551 HAS SOPS 293551 HAS SOUS 252780 HAS SOUPS 252780 WITH SCORE 253073.551
AT ITER 3581 NEW BEST:: SOT 532646 SOS 293636 HAS SOPS 293636 HAS SOUS 252425 HAS SOUPS 252425 WITH SCORE 252718.636
AT ITER 3586 NEW BEST:: SOT 532542 SOS 293523 HAS SOPS 293523 HAS SOUS 252168 HAS SOUPS 252168 WITH SCORE 252461.523
AT ITER 3587 NEW BEST:: SOT 532376 SOS 293483 HAS SOPS 293483 HAS SOUS 252128 HAS SOUPS 252128 WITH SCORE 252421.483
AT ITER 3601 NEW BEST:: SOT 532322 SOS 293178 HAS SOPS 293178 HAS SOUS 251852 HAS SOUPS 251852 WITH SCORE 252145.178
AT ITER 3613 NEW BEST:: SOT 532175 SOS 292757 HAS SOPS 292757 HAS SOUS 251596 HAS SOUPS 251596 WITH SCORE 251888.757
AT ITER 3620 NEW BEST:: SOT 532030 SOS 292664 HAS SOPS 292664 HAS SOUS 251423 HAS SOUPS 251423 WITH SCORE 251715.664
AT ITER 3630 NEW BEST:: SOT 532014 SOS 292648 HAS SOPS 292648 HAS SOUS 251407 HAS SOUPS 251407 WITH SCORE 251699.648
AT ITER 3632 NEW BEST:: SOT 531925 SOS 292559 HAS SOPS 292559 HAS SOUS 251318 HAS SOUPS 251318 WITH SCORE 251610.559
AT ITER 3634 NEW BEST:: SOT 530754 SOS 291943 HAS SOPS 291943 HAS SOUS 250362 HAS SOUPS 250362 WITH SCORE 250653.943
AT ITER 3640 NEW BEST:: SOT 529993 SOS 291723 HAS SOPS 291723 HAS SOUS 249896 HAS SOUPS 249896 WITH SCORE 250187.723
AT ITER 3645 NEW BEST:: SOT 529407 SOS 291330 HAS SOPS 291330 HAS SOUS 249503 HAS SOUPS 249503 WITH SCORE 249794.33
AT ITER 3672 NEW BEST:: SOT 529373 SOS 291396 HAS SOPS 291396 HAS SOUS 249469 HAS SOUPS 249469 WITH SCORE 249760.396
AT ITER 3678 NEW BEST:: SOT 529307 SOS 292808 HAS SOPS 292808 HAS SOUS 249440 HAS SOUPS 249440 WITH SCORE 249732.808
AT ITER 3682 NEW BEST:: SOT 528992 SOS 292524 HAS SOPS 292524 HAS SOUS 249191 HAS SOUPS 249191 WITH SCORE 249483.524
AT ITER 3694 NEW BEST:: SOT 527737 SOS 291593 HAS SOPS 291593 HAS SOUS 248292 HAS SOUPS 248292 WITH SCORE 248583.593
AT ITER 3697 NEW BEST:: SOT 527721 SOS 291609 HAS SOPS 291609 HAS SOUS 248276 HAS SOUPS 248276 WITH SCORE 248567.609
AT ITER 3704 NEW BEST:: SOT 527721 SOS 291609 HAS SOPS 291609 HAS SOUS 248262 HAS SOUPS 248262 WITH SCORE 248553.609
AT ITER 3716 NEW BEST:: SOT 527554 SOS 291418 HAS SOPS 291418 HAS SOUS 247988 HAS SOUPS 247988 WITH SCORE 248279.418
AT ITER 3726 NEW BEST:: SOT 527562 SOS 291410 HAS SOPS 291410 HAS SOUS 247964 HAS SOUPS 247964 WITH SCORE 248255.41
AT ITER 3732 NEW BEST:: SOT 527396 SOS 291323 HAS SOPS 291323 HAS SOUS 247962 HAS SOUPS 247962 WITH SCORE 248253.323
AT ITER 3749 NEW BEST:: SOT 526874 SOS 292120 HAS SOPS 292120 HAS SOUS 247629 HAS SOUPS 247629 WITH SCORE 247921.12
AT ITER 3750 NEW BEST:: SOT 526874 SOS 292120 HAS SOPS 292120 HAS SOUS 247621 HAS SOUPS 247621 WITH SCORE 247913.12
AT ITER 3753 NEW BEST:: SOT 526874 SOS 292056 HAS SOPS 292056 HAS SOUS 247583 HAS SOUPS 247583 WITH SCORE 247875.056
AT ITER 3754 NEW BEST:: SOT 526873 SOS 292233 HAS SOPS 292233 HAS SOUS 247582 HAS SOUPS 247582 WITH SCORE 247874.233
AT ITER 3765 NEW BEST:: SOT 526865 SOS 292225 HAS SOPS 292225 HAS SOUS 247574 HAS SOUPS 247574 WITH SCORE 247866.225
AT ITER 3770 NEW BEST:: SOT 526586 SOS 292464 HAS SOPS 292464 HAS SOUS 247547 HAS SOUPS 247547 WITH SCORE 247839.464
AT ITER 3773 NEW BEST:: SOT 526456 SOS 292380 HAS SOPS 292380 HAS SOUS 247420 HAS SOUPS 247420 WITH SCORE 247712.38
AT ITER 3782 NEW BEST:: SOT 526456 SOS 291734 HAS SOPS 291734 HAS SOUS 247420 HAS SOUPS 247420 WITH SCORE 247711.734
AT ITER 3785 NEW BEST:: SOT 526397 SOS 291693 HAS SOPS 291693 HAS SOUS 247379 HAS SOUPS 247379 WITH SCORE 247670.693
AT ITER 3794 NEW BEST:: SOT 526397 SOS 290909 HAS SOPS 290909 HAS SOUS 247379 HAS SOUPS 247379 WITH SCORE 247669.909
AT ITER 3795 NEW BEST:: SOT 526397 SOS 290871 HAS SOPS 290871 HAS SOUS 247345 HAS SOUPS 247345 WITH SCORE 247635.871
AT ITER 3831 NEW BEST:: SOT 526425 SOS 290886 HAS SOPS 290886 HAS SOUS 247334 HAS SOUPS 247334 WITH SCORE 247624.886
AT ITER 3849 NEW BEST:: SOT 526425 SOS 290884 HAS SOPS 290884 HAS SOUS 247334 HAS SOUPS 247334 WITH SCORE 247624.884
AT ITER 3855 NEW BEST:: SOT 526132 SOS 291128 HAS SOPS 291128 HAS SOUS 247299 HAS SOUPS 247299 WITH SCORE 247590.128
AT ITER 3860 NEW BEST:: SOT 526132 SOS 291110 HAS SOPS 291110 HAS SOUS 247299 HAS SOUPS 247299 WITH SCORE 247590.11
AT ITER 3863 NEW BEST:: SOT 525980 SOS 290958 HAS SOPS 290958 HAS SOUS 247147 HAS SOUPS 247147 WITH SCORE 247437.958
AT ITER 3865 NEW BEST:: SOT 525677 SOS 290927 HAS SOPS 290927 HAS SOUS 247124 HAS SOUPS 247124 WITH SCORE 247414.927
AT ITER 3872 NEW BEST:: SOT 525554 SOS 290804 HAS SOPS 290804 HAS SOUS 247034 HAS SOUPS 247034 WITH SCORE 247324.804
AT ITER 3873 NEW BEST:: SOT 525460 SOS 290844 HAS SOPS 290844 HAS SOUS 246968 HAS SOUPS 246968 WITH SCORE 247258.844
AT ITER 3876 NEW BEST:: SOT 525460 SOS 290782 HAS SOPS 290782 HAS SOUS 246968 HAS SOUPS 246968 WITH SCORE 247258.782
AT ITER 3892 NEW BEST:: SOT 525320 SOS 290640 HAS SOPS 290640 HAS SOUS 246788 HAS SOUPS 246788 WITH SCORE 247078.64
AT ITER 3917 NEW BEST:: SOT 525320 SOS 290640 HAS SOPS 290640 HAS SOUS 246697 HAS SOUPS 246697 WITH SCORE 246987.64
AT ITER 3918 NEW BEST:: SOT 525320 SOS 290582 HAS SOPS 290582 HAS SOUS 246697 HAS SOUPS 246697 WITH SCORE 246987.582
AT ITER 3920 NEW BEST:: SOT 525108 SOS 290363 HAS SOPS 290363 HAS SOUS 246541 HAS SOUPS 246541 WITH SCORE 246831.363
AT ITER 3932 NEW BEST:: SOT 525108 SOS 290304 HAS SOPS 290304 HAS SOUS 246541 HAS SOUPS 246541 WITH SCORE 246831.304
AT ITER 3942 NEW BEST:: SOT 525108 SOS 290247 HAS SOPS 290247 HAS SOUS 246541 HAS SOUPS 246541 WITH SCORE 246831.247
AT ITER 3949 NEW BEST:: SOT 525108 SOS 290244 HAS SOPS 290244 HAS SOUS 246541 HAS SOUPS 246541 WITH SCORE 246831.244
AT ITER 3960 NEW BEST:: SOT 524980 SOS 290522 HAS SOPS 290522 HAS SOUS 246505 HAS SOUPS 246505 WITH SCORE 246795.522
AT ITER 3965 NEW BEST:: SOT 524958 SOS 290416 HAS SOPS 290416 HAS SOUS 246397 HAS SOUPS 246397 WITH SCORE 246687.416
AT ITER 3966 NEW BEST:: SOT 524942 SOS 290400 HAS SOPS 290400 HAS SOUS 246381 HAS SOUPS 246381 WITH SCORE 246671.4
AT ITER 3973 NEW BEST:: SOT 524942 SOS 290354 HAS SOPS 290354 HAS SOUS 246335 HAS SOUPS 246335 WITH SCORE 246625.354
AT ITER 3976 NEW BEST:: SOT 524942 SOS 290104 HAS SOPS 290104 HAS SOUS 246335 HAS SOUPS 246335 WITH SCORE 246625.104
AT ITER 3995 NEW BEST:: SOT 525007 SOS 290169 HAS SOPS 290169 HAS SOUS 246251 HAS SOUPS 246251 WITH SCORE 246541.169
AT ITER 3996 NEW BEST:: SOT 525007 SOS 288886 HAS SOPS 288886 HAS SOUS 246230 HAS SOUPS 246230 WITH SCORE 246518.886
AT ITER 4000 NEW BEST:: SOT 524992 SOS 288871 HAS SOPS 288871 HAS SOUS 246215 HAS SOUPS 246215 WITH SCORE 246503.871
AT ITER 4004 NEW BEST:: SOT 524992 SOS 288854 HAS SOPS 288854 HAS SOUS 246215 HAS SOUPS 246215 WITH SCORE 246503.854
AT ITER 4006 NEW BEST:: SOT 524362 SOS 288413 HAS SOPS 288413 HAS SOUS 245648 HAS SOUPS 245648 WITH SCORE 245936.413
AT ITER 4015 NEW BEST:: SOT 524362 SOS 288343 HAS SOPS 288343 HAS SOUS 245645 HAS SOUPS 245645 WITH SCORE 245933.343
AT ITER 4018 NEW BEST:: SOT 524362 SOS 288330 HAS SOPS 288330 HAS SOUS 245642 HAS SOUPS 245642 WITH SCORE 245930.33
AT ITER 4045 NEW BEST:: SOT 524159 SOS 289305 HAS SOPS 289305 HAS SOUS 245558 HAS SOUPS 245558 WITH SCORE 245847.305
AT ITER 4063 NEW BEST:: SOT 524159 SOS 289278 HAS SOPS 289278 HAS SOUS 245536 HAS SOUPS 245536 WITH SCORE 245825.278
AT ITER 4091 NEW BEST:: SOT 524159 SOS 288624 HAS SOPS 288624 HAS SOUS 245536 HAS SOUPS 245536 WITH SCORE 245824.624
AT ITER 4103 NEW BEST:: SOT 524111 SOS 288730 HAS SOPS 288730 HAS SOUS 245488 HAS SOUPS 245488 WITH SCORE 245776.73
AT ITER 4110 NEW BEST:: SOT 524111 SOS 288773 HAS SOPS 288773 HAS SOUS 245484 HAS SOUPS 245484 WITH SCORE 245772.773
AT ITER 4121 NEW BEST:: SOT 524026 SOS 288688 HAS SOPS 288688 HAS SOUS 245331 HAS SOUPS 245331 WITH SCORE 245619.688
AT ITER 4127 NEW BEST:: SOT 524026 SOS 288671 HAS SOPS 288671 HAS SOUS 245280 HAS SOUPS 245280 WITH SCORE 245568.671
AT ITER 4129 NEW BEST:: SOT 524026 SOS 288668 HAS SOPS 288668 HAS SOUS 245277 HAS SOUPS 245277 WITH SCORE 245565.668
AT ITER 4133 NEW BEST:: SOT 523950 SOS 288592 HAS SOPS 288592 HAS SOUS 245201 HAS SOUPS 245201 WITH SCORE 245489.592
AT ITER 4135 NEW BEST:: SOT 523963 SOS 288416 HAS SOPS 288416 HAS SOUS 245200 HAS SOUPS 245200 WITH SCORE 245488.416
AT ITER 4137 NEW BEST:: SOT 523814 SOS 288278 HAS SOPS 288278 HAS SOUS 245062 HAS SOUPS 245062 WITH SCORE 245350.278
AT ITER 4145 NEW BEST:: SOT 523404 SOS 288547 HAS SOPS 288547 HAS SOUS 244986 HAS SOUPS 244986 WITH SCORE 245274.547
AT ITER 4151 NEW BEST:: SOT 523045 SOS 288634 HAS SOPS 288634 HAS SOUS 244773 HAS SOUPS 244773 WITH SCORE 245061.634
AT ITER 4152 NEW BEST:: SOT 523045 SOS 288634 HAS SOPS 288634 HAS SOUS 244755 HAS SOUPS 244755 WITH SCORE 245043.634
AT ITER 4153 NEW BEST:: SOT 523045 SOS 288431 HAS SOPS 288431 HAS SOUS 244706 HAS SOUPS 244706 WITH SCORE 244994.431
AT ITER 4156 NEW BEST:: SOT 522730 SOS 288116 HAS SOPS 288116 HAS SOUS 244391 HAS SOUPS 244391 WITH SCORE 244679.116
AT ITER 4157 NEW BEST:: SOT 522658 SOS 288044 HAS SOPS 288044 HAS SOUS 244319 HAS SOUPS 244319 WITH SCORE 244607.044
AT ITER 4168 NEW BEST:: SOT 522658 SOS 287955 HAS SOPS 287955 HAS SOUS 244319 HAS SOUPS 244319 WITH SCORE 244606.955
AT ITER 4169 NEW BEST:: SOT 522650 SOS 287937 HAS SOPS 287937 HAS SOUS 244311 HAS SOUPS 244311 WITH SCORE 244598.937
AT ITER 4170 NEW BEST:: SOT 522650 SOS 287897 HAS SOPS 287897 HAS SOUS 244311 HAS SOUPS 244311 WITH SCORE 244598.897
AT ITER 4173 NEW BEST:: SOT 522650 SOS 287897 HAS SOPS 287897 HAS SOUS 244245 HAS SOUPS 244245 WITH SCORE 244532.897
AT ITER 4178 NEW BEST:: SOT 522492 SOS 287804 HAS SOPS 287804 HAS SOUS 244152 HAS SOUPS 244152 WITH SCORE 244439.804
AT ITER 4179 NEW BEST:: SOT 522492 SOS 287776 HAS SOPS 287776 HAS SOUS 244152 HAS SOUPS 244152 WITH SCORE 244439.776
AT ITER 4182 NEW BEST:: SOT 522489 SOS 287785 HAS SOPS 287785 HAS SOUS 244071 HAS SOUPS 244071 WITH SCORE 244358.785
AT ITER 4190 NEW BEST:: SOT 522313 SOS 287609 HAS SOPS 287609 HAS SOUS 243976 HAS SOUPS 243976 WITH SCORE 244263.609
AT ITER 4199 NEW BEST:: SOT 522303 SOS 287599 HAS SOPS 287599 HAS SOUS 243951 HAS SOUPS 243951 WITH SCORE 244238.599
AT ITER 4207 NEW BEST:: SOT 522303 SOS 287559 HAS SOPS 287559 HAS SOUS 243951 HAS SOUPS 243951 WITH SCORE 244238.559
AT ITER 4209 NEW BEST:: SOT 522303 SOS 287425 HAS SOPS 287425 HAS SOUS 243951 HAS SOUPS 243951 WITH SCORE 244238.425
AT ITER 4212 NEW BEST:: SOT 522303 SOS 287569 HAS SOPS 287569 HAS SOUS 243858 HAS SOUPS 243858 WITH SCORE 244145.569
AT ITER 4221 NEW BEST:: SOT 522282 SOS 287548 HAS SOPS 287548 HAS SOUS 243837 HAS SOUPS 243837 WITH SCORE 244124.548
AT ITER 4245 NEW BEST:: SOT 522282 SOS 286930 HAS SOPS 286930 HAS SOUS 243837 HAS SOUPS 243837 WITH SCORE 244123.93
AT ITER 4251 NEW BEST:: SOT 522282 SOS 286822 HAS SOPS 286822 HAS SOUS 243837 HAS SOUPS 243837 WITH SCORE 244123.822
AT ITER 4254 NEW BEST:: SOT 522158 SOS 286787 HAS SOPS 286787 HAS SOUS 243802 HAS SOUPS 243802 WITH SCORE 244088.787
AT ITER 4257 NEW BEST:: SOT 521880 SOS 286253 HAS SOPS 286253 HAS SOUS 243528 HAS SOUPS 243528 WITH SCORE 243814.253
AT ITER 4271 NEW BEST:: SOT 521833 SOS 286206 HAS SOPS 286206 HAS SOUS 243481 HAS SOUPS 243481 WITH SCORE 243767.206
AT ITER 4276 NEW BEST:: SOT 521807 SOS 286180 HAS SOPS 286180 HAS SOUS 243184 HAS SOUPS 243184 WITH SCORE 243470.18
AT ITER 4282 NEW BEST:: SOT 521807 SOS 286511 HAS SOPS 286511 HAS SOUS 243106 HAS SOUPS 243106 WITH SCORE 243392.511
AT ITER 4294 NEW BEST:: SOT 521806 SOS 286510 HAS SOPS 286510 HAS SOUS 243104 HAS SOUPS 243104 WITH SCORE 243390.51
AT ITER 4299 NEW BEST:: SOT 521807 SOS 286416 HAS SOPS 286416 HAS SOUS 243010 HAS SOUPS 243010 WITH SCORE 243296.416
AT ITER 4306 NEW BEST:: SOT 521762 SOS 286371 HAS SOPS 286371 HAS SOUS 242965 HAS SOUPS 242965 WITH SCORE 243251.371
AT ITER 4308 NEW BEST:: SOT 521762 SOS 285296 HAS SOPS 285296 HAS SOUS 242838 HAS SOUPS 242838 WITH SCORE 243123.296
AT ITER 4316 NEW BEST:: SOT 521756 SOS 285290 HAS SOPS 285290 HAS SOUS 242748 HAS SOUPS 242748 WITH SCORE 243033.29
AT ITER 4321 NEW BEST:: SOT 521710 SOS 285488 HAS SOPS 285488 HAS SOUS 242726 HAS SOUPS 242726 WITH SCORE 243011.488
AT ITER 4323 NEW BEST:: SOT 521682 SOS 285460 HAS SOPS 285460 HAS SOUS 242698 HAS SOUPS 242698 WITH SCORE 242983.46
AT ITER 4328 NEW BEST:: SOT 521732 SOS 285636 HAS SOPS 285636 HAS SOUS 242667 HAS SOUPS 242667 WITH SCORE 242952.636
AT ITER 4337 NEW BEST:: SOT 521732 SOS 285502 HAS SOPS 285502 HAS SOUS 242667 HAS SOUPS 242667 WITH SCORE 242952.502
AT ITER 4344 NEW BEST:: SOT 521592 SOS 285190 HAS SOPS 285190 HAS SOUS 242504 HAS SOUPS 242504 WITH SCORE 242789.19
AT ITER 4345 NEW BEST:: SOT 521434 SOS 285326 HAS SOPS 285326 HAS SOUS 242475 HAS SOUPS 242475 WITH SCORE 242760.326
AT ITER 4349 NEW BEST:: SOT 521373 SOS 285360 HAS SOPS 285360 HAS SOUS 242319 HAS SOUPS 242319 WITH SCORE 242604.36
AT ITER 4350 NEW BEST:: SOT 521373 SOS 285360 HAS SOPS 285360 HAS SOUS 242255 HAS SOUPS 242255 WITH SCORE 242540.36
AT ITER 4356 NEW BEST:: SOT 520993 SOS 286006 HAS SOPS 286006 HAS SOUS 242115 HAS SOUPS 242115 WITH SCORE 242401.006
AT ITER 4363 NEW BEST:: SOT 520843 SOS 285835 HAS SOPS 285835 HAS SOUS 242084 HAS SOUPS 242084 WITH SCORE 242369.835
AT ITER 4366 NEW BEST:: SOT 520843 SOS 285855 HAS SOPS 285855 HAS SOUS 242004 HAS SOUPS 242004 WITH SCORE 242289.855
AT ITER 4372 NEW BEST:: SOT 520843 SOS 285839 HAS SOPS 285839 HAS SOUS 242004 HAS SOUPS 242004 WITH SCORE 242289.839
AT ITER 4373 NEW BEST:: SOT 520843 SOS 285801 HAS SOPS 285801 HAS SOUS 242004 HAS SOUPS 242004 WITH SCORE 242289.801
AT ITER 4377 NEW BEST:: SOT 520823 SOS 285712 HAS SOPS 285712 HAS SOUS 241984 HAS SOUPS 241984 WITH SCORE 242269.712
AT ITER 4383 NEW BEST:: SOT 520801 SOS 285690 HAS SOPS 285690 HAS SOUS 241962 HAS SOUPS 241962 WITH SCORE 242247.69
AT ITER 4392 NEW BEST:: SOT 520801 SOS 285672 HAS SOPS 285672 HAS SOUS 241962 HAS SOUPS 241962 WITH SCORE 242247.672
AT ITER 4397 NEW BEST:: SOT 520801 SOS 285583 HAS SOPS 285583 HAS SOUS 241950 HAS SOUPS 241950 WITH SCORE 242235.583
AT ITER 4399 NEW BEST:: SOT 520801 SOS 285501 HAS SOPS 285501 HAS SOUS 241950 HAS SOUPS 241950 WITH SCORE 242235.501
AT ITER 4402 NEW BEST:: SOT 520791 SOS 285491 HAS SOPS 285491 HAS SOUS 241940 HAS SOUPS 241940 WITH SCORE 242225.491
AT ITER 4413 NEW BEST:: SOT 520791 SOS 285266 HAS SOPS 285266 HAS SOUS 241868 HAS SOUPS 241868 WITH SCORE 242153.266
AT ITER 4416 NEW BEST:: SOT 520791 SOS 285210 HAS SOPS 285210 HAS SOUS 241868 HAS SOUPS 241868 WITH SCORE 242153.21
AT ITER 4422 NEW BEST:: SOT 520366 SOS 284785 HAS SOPS 284785 HAS SOUS 241443 HAS SOUPS 241443 WITH SCORE 241727.785
AT ITER 4433 NEW BEST:: SOT 520366 SOS 284575 HAS SOPS 284575 HAS SOUS 241443 HAS SOUPS 241443 WITH SCORE 241727.575
AT ITER 4437 NEW BEST:: SOT 520316 SOS 284525 HAS SOPS 284525 HAS SOUS 241393 HAS SOUPS 241393 WITH SCORE 241677.525
AT ITER 4441 NEW BEST:: SOT 520288 SOS 284497 HAS SOPS 284497 HAS SOUS 241351 HAS SOUPS 241351 WITH SCORE 241635.497
AT ITER 4448 NEW BEST:: SOT 519975 SOS 284184 HAS SOPS 284184 HAS SOUS 241038 HAS SOUPS 241038 WITH SCORE 241322.184
AT ITER 4451 NEW BEST:: SOT 519698 SOS 283855 HAS SOPS 283855 HAS SOUS 240869 HAS SOUPS 240869 WITH SCORE 241152.855
AT ITER 4458 NEW BEST:: SOT 519621 SOS 284874 HAS SOPS 284874 HAS SOUS 240845 HAS SOUPS 240845 WITH SCORE 241129.874
AT ITER 4469 NEW BEST:: SOT 519563 SOS 284816 HAS SOPS 284816 HAS SOUS 240787 HAS SOUPS 240787 WITH SCORE 241071.816
AT ITER 4471 NEW BEST:: SOT 519482 SOS 284653 HAS SOPS 284653 HAS SOUS 240611 HAS SOUPS 240611 WITH SCORE 240895.653
AT ITER 4479 NEW BEST:: SOT 519324 SOS 284495 HAS SOPS 284495 HAS SOUS 240453 HAS SOUPS 240453 WITH SCORE 240737.495
AT ITER 4485 NEW BEST:: SOT 519363 SOS 284215 HAS SOPS 284215 HAS SOUS 240272 HAS SOUPS 240272 WITH SCORE 240556.215
AT ITER 4500 NEW BEST:: SOT 519212 SOS 284081 HAS SOPS 284081 HAS SOUS 240138 HAS SOUPS 240138 WITH SCORE 240422.081
AT ITER 4507 NEW BEST:: SOT 518768 SOS 284242 HAS SOPS 284242 HAS SOUS 239970 HAS SOUPS 239970 WITH SCORE 240254.242
AT ITER 4512 NEW BEST:: SOT 518661 SOS 284135 HAS SOPS 284135 HAS SOUS 239827 HAS SOUPS 239827 WITH SCORE 240111.135
AT ITER 4521 NEW BEST:: SOT 518661 SOS 283236 HAS SOPS 283236 HAS SOUS 239790 HAS SOUPS 239790 WITH SCORE 240073.236
AT ITER 4523 NEW BEST:: SOT 518859 SOS 283299 HAS SOPS 283299 HAS SOUS 239680 HAS SOUPS 239680 WITH SCORE 239963.299
AT ITER 4530 NEW BEST:: SOT 518669 SOS 283424 HAS SOPS 283424 HAS SOUS 239595 HAS SOUPS 239595 WITH SCORE 239878.424
AT ITER 4534 NEW BEST:: SOT 518628 SOS 283383 HAS SOPS 283383 HAS SOUS 239554 HAS SOUPS 239554 WITH SCORE 239837.383
AT ITER 4541 NEW BEST:: SOT 518622 SOS 283377 HAS SOPS 283377 HAS SOUS 239548 HAS SOUPS 239548 WITH SCORE 239831.377
AT ITER 4547 NEW BEST:: SOT 518622 SOS 283292 HAS SOPS 283292 HAS SOUS 239542 HAS SOUPS 239542 WITH SCORE 239825.292
AT ITER 4552 NEW BEST:: SOT 518622 SOS 283202 HAS SOPS 283202 HAS SOUS 239537 HAS SOUPS 239537 WITH SCORE 239820.202
AT ITER 4554 NEW BEST:: SOT 518457 SOS 283379 HAS SOPS 283379 HAS SOUS 239372 HAS SOUPS 239372 WITH SCORE 239655.379
AT ITER 4556 NEW BEST:: SOT 518453 SOS 283375 HAS SOPS 283375 HAS SOUS 239368 HAS SOUPS 239368 WITH SCORE 239651.375
AT ITER 4557 NEW BEST:: SOT 518540 SOS 283280 HAS SOPS 283280 HAS SOUS 239350 HAS SOUPS 239350 WITH SCORE 239633.28
AT ITER 4570 NEW BEST:: SOT 518540 SOS 283251 HAS SOPS 283251 HAS SOUS 239320 HAS SOUPS 239320 WITH SCORE 239603.251
AT ITER 4572 NEW BEST:: SOT 517963 SOS 284770 HAS SOPS 284770 HAS SOUS 239194 HAS SOUPS 239194 WITH SCORE 239478.77
AT ITER 4581 NEW BEST:: SOT 517727 SOS 284674 HAS SOPS 284674 HAS SOUS 239098 HAS SOUPS 239098 WITH SCORE 239382.674
AT ITER 4584 NEW BEST:: SOT 517727 SOS 284636 HAS SOPS 284636 HAS SOUS 239098 HAS SOUPS 239098 WITH SCORE 239382.636
AT ITER 4592 NEW BEST:: SOT 517727 SOS 284331 HAS SOPS 284331 HAS SOUS 239098 HAS SOUPS 239098 WITH SCORE 239382.331
AT ITER 4593 NEW BEST:: SOT 517732 SOS 284336 HAS SOPS 284336 HAS SOUS 239089 HAS SOUPS 239089 WITH SCORE 239373.336
AT ITER 4607 NEW BEST:: SOT 517573 SOS 284273 HAS SOPS 284273 HAS SOUS 238976 HAS SOUPS 238976 WITH SCORE 239260.273
AT ITER 4611 NEW BEST:: SOT 517573 SOS 284244 HAS SOPS 284244 HAS SOUS 238947 HAS SOUPS 238947 WITH SCORE 239231.244
AT ITER 4619 NEW BEST:: SOT 517573 SOS 284218 HAS SOPS 284218 HAS SOUS 238935 HAS SOUPS 238935 WITH SCORE 239219.218
AT ITER 4635 NEW BEST:: SOT 517569 SOS 284490 HAS SOPS 284490 HAS SOUS 238931 HAS SOUPS 238931 WITH SCORE 239215.49
AT ITER 4637 NEW BEST:: SOT 517383 SOS 284691 HAS SOPS 284691 HAS SOUS 238752 HAS SOUPS 238752 WITH SCORE 239036.691
AT ITER 4639 NEW BEST:: SOT 517383 SOS 284465 HAS SOPS 284465 HAS SOUS 238725 HAS SOUPS 238725 WITH SCORE 239009.465
AT ITER 4647 NEW BEST:: SOT 516913 SOS 284505 HAS SOPS 284505 HAS SOUS 238299 HAS SOUPS 238299 WITH SCORE 238583.505
AT ITER 4649 NEW BEST:: SOT 517090 SOS 284044 HAS SOPS 284044 HAS SOUS 238035 HAS SOUPS 238035 WITH SCORE 238319.044
AT ITER 4666 NEW BEST:: SOT 516700 SOS 284044 HAS SOPS 284044 HAS SOUS 237655 HAS SOUPS 237655 WITH SCORE 237939.044
AT ITER 4676 NEW BEST:: SOT 516695 SOS 284039 HAS SOPS 284039 HAS SOUS 237650 HAS SOUPS 237650 WITH SCORE 237934.039
AT ITER 4696 NEW BEST:: SOT 516646 SOS 283990 HAS SOPS 283990 HAS SOUS 237601 HAS SOUPS 237601 WITH SCORE 237884.99
AT ITER 4697 NEW BEST:: SOT 516547 SOS 283689 HAS SOPS 283689 HAS SOUS 237403 HAS SOUPS 237403 WITH SCORE 237686.689
AT ITER 4701 NEW BEST:: SOT 516547 SOS 283515 HAS SOPS 283515 HAS SOUS 237375 HAS SOUPS 237375 WITH SCORE 237658.515
AT ITER 4718 NEW BEST:: SOT 516547 SOS 283504 HAS SOPS 283504 HAS SOUS 237375 HAS SOUPS 237375 WITH SCORE 237658.504
AT ITER 4739 NEW BEST:: SOT 516541 SOS 283476 HAS SOPS 283476 HAS SOUS 237295 HAS SOUPS 237295 WITH SCORE 237578.476
AT ITER 4741 NEW BEST:: SOT 516401 SOS 283176 HAS SOPS 283176 HAS SOUS 237175 HAS SOUPS 237175 WITH SCORE 237458.176
AT ITER 4745 NEW BEST:: SOT 516094 SOS 282923 HAS SOPS 282923 HAS SOUS 236916 HAS SOUPS 236916 WITH SCORE 237198.923
AT ITER 4751 NEW BEST:: SOT 516094 SOS 282911 HAS SOPS 282911 HAS SOUS 236916 HAS SOUPS 236916 WITH SCORE 237198.911
AT ITER 4768 NEW BEST:: SOT 516073 SOS 282890 HAS SOPS 282890 HAS SOUS 236895 HAS SOUPS 236895 WITH SCORE 237177.89
AT ITER 4773 NEW BEST:: SOT 515601 SOS 283049 HAS SOPS 283049 HAS SOUS 236688 HAS SOUPS 236688 WITH SCORE 236971.049
AT ITER 4788 NEW BEST:: SOT 515311 SOS 283067 HAS SOPS 283067 HAS SOUS 236456 HAS SOUPS 236456 WITH SCORE 236739.067
AT ITER 4789 NEW BEST:: SOT 515355 SOS 283009 HAS SOPS 283009 HAS SOUS 236398 HAS SOUPS 236398 WITH SCORE 236681.009
AT ITER 4796 NEW BEST:: SOT 515214 SOS 282868 HAS SOPS 282868 HAS SOUS 236274 HAS SOUPS 236274 WITH SCORE 236556.868
AT ITER 4804 NEW BEST:: SOT 515214 SOS 282750 HAS SOPS 282750 HAS SOUS 236274 HAS SOUPS 236274 WITH SCORE 236556.75
AT ITER 4809 NEW BEST:: SOT 515163 SOS 282757 HAS SOPS 282757 HAS SOUS 236123 HAS SOUPS 236123 WITH SCORE 236405.757
AT ITER 4829 NEW BEST:: SOT 515055 SOS 282773 HAS SOPS 282773 HAS SOUS 236077 HAS SOUPS 236077 WITH SCORE 236359.773
AT ITER 4836 NEW BEST:: SOT 515055 SOS 282761 HAS SOPS 282761 HAS SOUS 236069 HAS SOUPS 236069 WITH SCORE 236351.761
AT ITER 4847 NEW BEST:: SOT 515055 SOS 282757 HAS SOPS 282757 HAS SOUS 236069 HAS SOUPS 236069 WITH SCORE 236351.757
AT ITER 4851 NEW BEST:: SOT 515055 SOS 282694 HAS SOPS 282694 HAS SOUS 236069 HAS SOUPS 236069 WITH SCORE 236351.694
AT ITER 4859 NEW BEST:: SOT 515055 SOS 282422 HAS SOPS 282422 HAS SOUS 236069 HAS SOUPS 236069 WITH SCORE 236351.422
AT ITER 4876 NEW BEST:: SOT 515053 SOS 282420 HAS SOPS 282420 HAS SOUS 236067 HAS SOUPS 236067 WITH SCORE 236349.42
AT ITER 4879 NEW BEST:: SOT 515065 SOS 282420 HAS SOPS 282420 HAS SOUS 236049 HAS SOUPS 236049 WITH SCORE 236331.42
AT ITER 4884 NEW BEST:: SOT 515065 SOS 282366 HAS SOPS 282366 HAS SOUS 236021 HAS SOUPS 236021 WITH SCORE 236303.366
AT ITER 4887 NEW BEST:: SOT 515103 SOS 282404 HAS SOPS 282404 HAS SOUS 235992 HAS SOUPS 235992 WITH SCORE 236274.404
AT ITER 4894 NEW BEST:: SOT 514883 SOS 282248 HAS SOPS 282248 HAS SOUS 235836 HAS SOUPS 235836 WITH SCORE 236118.248
AT ITER 4898 NEW BEST:: SOT 514893 SOS 282091 HAS SOPS 282091 HAS SOUS 235648 HAS SOUPS 235648 WITH SCORE 235930.091
AT ITER 4906 NEW BEST:: SOT 514893 SOS 282081 HAS SOPS 282081 HAS SOUS 235648 HAS SOUPS 235648 WITH SCORE 235930.081
AT ITER 4912 NEW BEST:: SOT 514888 SOS 282077 HAS SOPS 282077 HAS SOUS 235643 HAS SOUPS 235643 WITH SCORE 235925.077
AT ITER 4927 NEW BEST:: SOT 514898 SOS 281970 HAS SOPS 281970 HAS SOUS 235622 HAS SOUPS 235622 WITH SCORE 235903.97
AT ITER 4946 NEW BEST:: SOT 514898 SOS 282137 HAS SOPS 282137 HAS SOUS 235607 HAS SOUPS 235607 WITH SCORE 235889.137
AT ITER 4961 NEW BEST:: SOT 514759 SOS 282037 HAS SOPS 282037 HAS SOUS 235522 HAS SOUPS 235522 WITH SCORE 235804.037
AT ITER 4969 NEW BEST:: SOT 514711 SOS 281989 HAS SOPS 281989 HAS SOUS 235381 HAS SOUPS 235381 WITH SCORE 235662.989
AT ITER 4974 NEW BEST:: SOT 514711 SOS 282159 HAS SOPS 282159 HAS SOUS 235368 HAS SOUPS 235368 WITH SCORE 235650.159
AT ITER 4975 NEW BEST:: SOT 514633 SOS 282081 HAS SOPS 282081 HAS SOUS 235290 HAS SOUPS 235290 WITH SCORE 235572.081
AT ITER 4994 NEW BEST:: SOT 514375 SOS 281899 HAS SOPS 281899 HAS SOUS 235108 HAS SOUPS 235108 WITH SCORE 235389.899
AT ITER 4997 NEW BEST:: SOT 514658 SOS 282101 HAS SOPS 282101 HAS SOUS 235076 HAS SOUPS 235076 WITH SCORE 235358.101
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Sudoku-PT-BN09-CTLCardinality-00 (AX( (AX( (! potential( ( 2 ) <= (tk(P783)) ))))))
PROPERTY: Sudoku-PT-BN09-CTLCardinality-01 (EU( (AF(potential( ( 2 ) <= (tk(P169)) ))),(! potential( (tk(P658)) <= (tk(P240)) )) ))
PROPERTY: Sudoku-PT-BN09-CTLCardinality-02 (! (EG( (EF(potential( (tk(P149)) <= (tk(P714)) ))))))
PROPERTY: Sudoku-PT-BN09-CTLCardinality-03 (AF(potential( ( 3 ) <= (tk(P768)) )))
PROPERTY: Sudoku-PT-BN09-CTLCardinality-04 ( (EG( (! (! potential( (tk(P122)) <= (tk(P703)) ))))) & ( potential( (tk(P237)) <= (tk(P408)) ) | (AF(( potential( ( 3 ) <= (tk(P29)) ) & potential( ( 3 ) <= (tk(P104)) ) ))) ) )
PROPERTY: Sudoku-PT-BN09-CTLCardinality-05 (EG( ( potential( (tk(P482)) <= (tk(P833)) ) | (! potential( (tk(P1037)) <= (tk(P949)) )) )))
PROPERTY: Sudoku-PT-BN09-CTLCardinality-06 (EX( ( (AX( potential( ( 3 ) <= (tk(P429)) ))) & (AX( potential( (tk(P706)) <= (tk(P792)) ))) )))
PROPERTY: Sudoku-PT-BN09-CTLCardinality-07 (AG( (EG( ( potential( (tk(P551)) <= (tk(P48)) ) | potential( ( 3 ) <= (tk(P937)) ) )))))
PROPERTY: Sudoku-PT-BN09-CTLCardinality-08 ( ( (AG( (! potential( ( 3 ) <= (tk(P691)) )))) & (AF(potential( (tk(P1001)) <= (tk(P128)) ))) ) | potential( ( 3 ) <= (tk(P781)) ) )
PROPERTY: Sudoku-PT-BN09-CTLCardinality-09 (AF(( (EG( potential( (tk(P651)) <= (tk(P185)) ))) & (! ( potential( ( 2 ) <= (tk(P546)) ) | potential( ( 1 ) <= (tk(P119)) ) )) )))
PROPERTY: Sudoku-PT-BN09-CTLCardinality-10 ( (EG( potential( (tk(P87)) <= (tk(P857)) ))) | (EG( (EX( potential( (tk(P326)) <= (tk(P592)) ))))) )
PROPERTY: Sudoku-PT-BN09-CTLCardinality-11 (AX( (AF(potential( ( 1 ) <= (tk(P945)) )))))
PROPERTY: Sudoku-PT-BN09-CTLCardinality-12 ( ( (! (AF(potential( ( 3 ) <= (tk(P525)) )))) | (EF(potential( ( 2 ) <= (tk(P232)) ))) ) | ( (! ( (! potential( (tk(P173)) <= (tk(P657)) )) | potential( ( 1 ) <= (tk(P186)) ) )) & (AG( (! potential( ( 3 ) <= (tk(P13)) )))) ) )
PROPERTY: Sudoku-PT-BN09-CTLCardinality-13 (EG( (EX( ( potential( (tk(P566)) <= (tk(P85)) ) & potential( (tk(P434)) <= (tk(P227)) ) )))))
PROPERTY: Sudoku-PT-BN09-CTLCardinality-14 ( potential( ( 1 ) <= (tk(P769)) ) | (EU( ( potential( (tk(P87)) <= (tk(P679)) ) & potential( (tk(P697)) <= (tk(P168)) ) ),( potential( ( 2 ) <= (tk(P356)) ) & potential( ( 1 ) <= (tk(P476)) ) ) )) )
PROPERTY: Sudoku-PT-BN09-CTLCardinality-15 (! ( (AG( ( potential( ( 3 ) <= (tk(P7)) ) | potential( (tk(P192)) <= (tk(P859)) ) ))) & (AF(( potential( ( 2 ) <= (tk(P776)) ) | potential( (tk(P666)) <= (tk(P57)) ) ))) ))

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="CTLCardinality"
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 CTLCardinality"
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-159033538800459"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;