About the Execution of smart for Sudoku-PT-AN10
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15768.810 | 3600000.00 | 3587010.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-159033538700388.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-AN10, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538700388
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.7M
-rw-r--r-- 1 mcc users 4.2K Jun 3 09:27 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Jun 3 09:27 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Jun 3 09:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Jun 3 09:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 158K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 532K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 518K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 1.9M May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.5K Jun 3 09:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Jun 3 09:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Jun 3 09:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Jun 3 09:09 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 522K 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-AN10-CTLFireability-00
FORMULA_NAME Sudoku-PT-AN10-CTLFireability-01
FORMULA_NAME Sudoku-PT-AN10-CTLFireability-02
FORMULA_NAME Sudoku-PT-AN10-CTLFireability-03
FORMULA_NAME Sudoku-PT-AN10-CTLFireability-04
FORMULA_NAME Sudoku-PT-AN10-CTLFireability-05
FORMULA_NAME Sudoku-PT-AN10-CTLFireability-06
FORMULA_NAME Sudoku-PT-AN10-CTLFireability-07
FORMULA_NAME Sudoku-PT-AN10-CTLFireability-08
FORMULA_NAME Sudoku-PT-AN10-CTLFireability-09
FORMULA_NAME Sudoku-PT-AN10-CTLFireability-10
FORMULA_NAME Sudoku-PT-AN10-CTLFireability-11
FORMULA_NAME Sudoku-PT-AN10-CTLFireability-12
FORMULA_NAME Sudoku-PT-AN10-CTLFireability-13
FORMULA_NAME Sudoku-PT-AN10-CTLFireability-14
FORMULA_NAME Sudoku-PT-AN10-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1591336623537
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (PT), instance AN10
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: 1300 places, 1000 transitions, 4000 arcs.
AT ITER 0 NEW BEST:: SOT 1020253 SOS 513895 HAS SOPS 513895 HAS SOUS 513895 HAS SOUPS 513895 WITH SCORE 514408.895
AT ITER 5 NEW BEST:: SOT 1019209 SOS 513721 HAS SOPS 513721 HAS SOUS 512965 HAS SOUPS 512965 WITH SCORE 513478.721
AT ITER 17 NEW BEST:: SOT 1018561 SOS 513954 HAS SOPS 513954 HAS SOUS 512388 HAS SOUPS 512388 WITH SCORE 512901.954
AT ITER 18 NEW BEST:: SOT 1018548 SOS 513941 HAS SOPS 513941 HAS SOUS 512375 HAS SOUPS 512375 WITH SCORE 512888.941
AT ITER 29 NEW BEST:: SOT 1018045 SOS 513438 HAS SOPS 513438 HAS SOUS 511872 HAS SOUPS 511872 WITH SCORE 512385.438
AT ITER 39 NEW BEST:: SOT 1018107 SOS 513460 HAS SOPS 513460 HAS SOUS 511813 HAS SOUPS 511813 WITH SCORE 512326.46
AT ITER 42 NEW BEST:: SOT 1017990 SOS 513504 HAS SOPS 513504 HAS SOUS 511713 HAS SOUPS 511713 WITH SCORE 512226.504
AT ITER 48 NEW BEST:: SOT 1017136 SOS 513618 HAS SOPS 513618 HAS SOUS 510963 HAS SOUPS 510963 WITH SCORE 511476.618
AT ITER 61 NEW BEST:: SOT 1016983 SOS 513973 HAS SOPS 513973 HAS SOUS 510865 HAS SOUPS 510865 WITH SCORE 511378.973
AT ITER 63 NEW BEST:: SOT 1017020 SOS 513951 HAS SOPS 513951 HAS SOUS 510816 HAS SOUPS 510816 WITH SCORE 511329.951
AT ITER 73 NEW BEST:: SOT 1016732 SOS 513700 HAS SOPS 513700 HAS SOUS 510565 HAS SOUPS 510565 WITH SCORE 511078.7
AT ITER 85 NEW BEST:: SOT 1016579 SOS 514675 HAS SOPS 514675 HAS SOUS 510453 HAS SOUPS 510453 WITH SCORE 510967.675
AT ITER 87 NEW BEST:: SOT 1015886 SOS 514128 HAS SOPS 514128 HAS SOUS 509771 HAS SOUPS 509771 WITH SCORE 510285.128
AT ITER 116 NEW BEST:: SOT 1015796 SOS 514697 HAS SOPS 514697 HAS SOUS 509703 HAS SOUPS 509703 WITH SCORE 510217.697
AT ITER 117 NEW BEST:: SOT 1014785 SOS 516556 HAS SOPS 516556 HAS SOUS 508781 HAS SOUPS 508781 WITH SCORE 509297.556
AT ITER 119 NEW BEST:: SOT 1013894 SOS 515773 HAS SOPS 515773 HAS SOUS 507907 HAS SOUPS 507907 WITH SCORE 508422.773
AT ITER 127 NEW BEST:: SOT 1012844 SOS 515094 HAS SOPS 515094 HAS SOUS 507017 HAS SOUPS 507017 WITH SCORE 507532.094
AT ITER 131 NEW BEST:: SOT 1012826 SOS 515078 HAS SOPS 515078 HAS SOUS 507001 HAS SOUPS 507001 WITH SCORE 507516.078
AT ITER 134 NEW BEST:: SOT 1012766 SOS 515458 HAS SOPS 515458 HAS SOUS 506979 HAS SOUPS 506979 WITH SCORE 507494.458
AT ITER 136 NEW BEST:: SOT 1012854 SOS 515506 HAS SOPS 515506 HAS SOUS 506973 HAS SOUPS 506973 WITH SCORE 507488.506
AT ITER 137 NEW BEST:: SOT 1012854 SOS 515303 HAS SOPS 515303 HAS SOUS 506973 HAS SOUPS 506973 WITH SCORE 507488.303
AT ITER 142 NEW BEST:: SOT 1012796 SOS 516298 HAS SOPS 516298 HAS SOUS 506945 HAS SOUPS 506945 WITH SCORE 507461.298
AT ITER 154 NEW BEST:: SOT 1012733 SOS 516893 HAS SOPS 516893 HAS SOUS 506902 HAS SOUPS 506902 WITH SCORE 507418.893
AT ITER 156 NEW BEST:: SOT 1012817 SOS 516942 HAS SOPS 516942 HAS SOUS 506870 HAS SOUPS 506870 WITH SCORE 507386.942
AT ITER 165 NEW BEST:: SOT 1012175 SOS 519155 HAS SOPS 519155 HAS SOUS 506375 HAS SOUPS 506375 WITH SCORE 506894.155
AT ITER 169 NEW BEST:: SOT 1011905 SOS 519947 HAS SOPS 519947 HAS SOUS 506291 HAS SOUPS 506291 WITH SCORE 506810.947
AT ITER 175 NEW BEST:: SOT 1011905 SOS 519768 HAS SOPS 519768 HAS SOUS 506291 HAS SOUPS 506291 WITH SCORE 506810.768
AT ITER 176 NEW BEST:: SOT 1011421 SOS 519628 HAS SOPS 519628 HAS SOUS 505930 HAS SOUPS 505930 WITH SCORE 506449.628
AT ITER 178 NEW BEST:: SOT 1011507 SOS 519588 HAS SOPS 519588 HAS SOUS 505854 HAS SOUPS 505854 WITH SCORE 506373.588
AT ITER 184 NEW BEST:: SOT 1010430 SOS 519277 HAS SOPS 519277 HAS SOUS 504895 HAS SOUPS 504895 WITH SCORE 505414.277
AT ITER 188 NEW BEST:: SOT 1010158 SOS 519156 HAS SOPS 519156 HAS SOUS 504774 HAS SOUPS 504774 WITH SCORE 505293.156
AT ITER 191 NEW BEST:: SOT 1009104 SOS 522608 HAS SOPS 522608 HAS SOUS 503834 HAS SOUPS 503834 WITH SCORE 504356.608
AT ITER 192 NEW BEST:: SOT 1009104 SOS 522600 HAS SOPS 522600 HAS SOUS 503834 HAS SOUPS 503834 WITH SCORE 504356.6
AT ITER 201 NEW BEST:: SOT 1008399 SOS 522925 HAS SOPS 522925 HAS SOUS 503302 HAS SOUPS 503302 WITH SCORE 503824.925
AT ITER 208 NEW BEST:: SOT 1008399 SOS 522849 HAS SOPS 522849 HAS SOUS 503302 HAS SOUPS 503302 WITH SCORE 503824.849
AT ITER 213 NEW BEST:: SOT 1008419 SOS 522800 HAS SOPS 522800 HAS SOUS 503217 HAS SOUPS 503217 WITH SCORE 503739.8
AT ITER 220 NEW BEST:: SOT 1007735 SOS 522270 HAS SOPS 522270 HAS SOUS 502570 HAS SOUPS 502570 WITH SCORE 503092.27
AT ITER 229 NEW BEST:: SOT 1007735 SOS 522192 HAS SOPS 522192 HAS SOUS 502570 HAS SOUPS 502570 WITH SCORE 503092.192
AT ITER 236 NEW BEST:: SOT 1007578 SOS 522476 HAS SOPS 522476 HAS SOUS 502490 HAS SOUPS 502490 WITH SCORE 503012.476
AT ITER 238 NEW BEST:: SOT 1007578 SOS 522409 HAS SOPS 522409 HAS SOUS 502490 HAS SOUPS 502490 WITH SCORE 503012.409
AT ITER 247 NEW BEST:: SOT 1006644 SOS 523200 HAS SOPS 523200 HAS SOUS 502178 HAS SOUPS 502178 WITH SCORE 502701.2
AT ITER 253 NEW BEST:: SOT 1006644 SOS 523113 HAS SOPS 523113 HAS SOUS 502178 HAS SOUPS 502178 WITH SCORE 502701.113
AT ITER 265 NEW BEST:: SOT 1006124 SOS 522593 HAS SOPS 522593 HAS SOUS 501658 HAS SOUPS 501658 WITH SCORE 502180.593
AT ITER 270 NEW BEST:: SOT 1006079 SOS 522548 HAS SOPS 522548 HAS SOUS 501613 HAS SOUPS 501613 WITH SCORE 502135.548
AT ITER 272 NEW BEST:: SOT 1005543 SOS 523498 HAS SOPS 523498 HAS SOUS 501339 HAS SOUPS 501339 WITH SCORE 501862.498
AT ITER 286 NEW BEST:: SOT 1005090 SOS 523619 HAS SOPS 523619 HAS SOUS 501054 HAS SOUPS 501054 WITH SCORE 501577.619
AT ITER 288 NEW BEST:: SOT 1005090 SOS 523605 HAS SOPS 523605 HAS SOUS 501054 HAS SOUPS 501054 WITH SCORE 501577.605
AT ITER 296 NEW BEST:: SOT 1005009 SOS 523617 HAS SOPS 523617 HAS SOUS 501036 HAS SOUPS 501036 WITH SCORE 501559.617
AT ITER 301 NEW BEST:: SOT 1004866 SOS 523353 HAS SOPS 523353 HAS SOUS 500893 HAS SOUPS 500893 WITH SCORE 501416.353
AT ITER 303 NEW BEST:: SOT 1004767 SOS 523291 HAS SOPS 523291 HAS SOUS 500794 HAS SOUPS 500794 WITH SCORE 501317.291
AT ITER 307 NEW BEST:: SOT 1004668 SOS 523216 HAS SOPS 523216 HAS SOUS 500719 HAS SOUPS 500719 WITH SCORE 501242.216
AT ITER 310 NEW BEST:: SOT 1004605 SOS 523270 HAS SOPS 523270 HAS SOUS 500662 HAS SOUPS 500662 WITH SCORE 501185.27
AT ITER 316 NEW BEST:: SOT 1004552 SOS 523147 HAS SOPS 523147 HAS SOUS 500584 HAS SOUPS 500584 WITH SCORE 501107.147
AT ITER 317 NEW BEST:: SOT 1004552 SOS 523068 HAS SOPS 523068 HAS SOUS 500584 HAS SOUPS 500584 WITH SCORE 501107.068
AT ITER 325 NEW BEST:: SOT 1004516 SOS 523032 HAS SOPS 523032 HAS SOUS 500548 HAS SOUPS 500548 WITH SCORE 501071.032
AT ITER 331 NEW BEST:: SOT 1004523 SOS 523046 HAS SOPS 523046 HAS SOUS 500535 HAS SOUPS 500535 WITH SCORE 501058.046
AT ITER 332 NEW BEST:: SOT 1004523 SOS 523040 HAS SOPS 523040 HAS SOUS 500535 HAS SOUPS 500535 WITH SCORE 501058.04
AT ITER 342 NEW BEST:: SOT 1004523 SOS 522509 HAS SOPS 522509 HAS SOUS 500264 HAS SOUPS 500264 WITH SCORE 500786.509
AT ITER 343 NEW BEST:: SOT 1004523 SOS 522442 HAS SOPS 522442 HAS SOUS 500264 HAS SOUPS 500264 WITH SCORE 500786.442
AT ITER 345 NEW BEST:: SOT 1004388 SOS 522387 HAS SOPS 522387 HAS SOUS 500209 HAS SOUPS 500209 WITH SCORE 500731.387
AT ITER 349 NEW BEST:: SOT 1004082 SOS 522118 HAS SOPS 522118 HAS SOUS 499940 HAS SOUPS 499940 WITH SCORE 500462.118
AT ITER 351 NEW BEST:: SOT 1003616 SOS 522341 HAS SOPS 522341 HAS SOUS 499536 HAS SOUPS 499536 WITH SCORE 500058.341
AT ITER 361 NEW BEST:: SOT 1003552 SOS 523444 HAS SOPS 523444 HAS SOUS 499524 HAS SOUPS 499524 WITH SCORE 500047.444
AT ITER 365 NEW BEST:: SOT 1003444 SOS 524770 HAS SOPS 524770 HAS SOUS 499466 HAS SOUPS 499466 WITH SCORE 499990.77
AT ITER 368 NEW BEST:: SOT 1003444 SOS 524725 HAS SOPS 524725 HAS SOUS 499466 HAS SOUPS 499466 WITH SCORE 499990.725
AT ITER 374 NEW BEST:: SOT 1003444 SOS 524621 HAS SOPS 524621 HAS SOUS 499466 HAS SOUPS 499466 WITH SCORE 499990.621
AT ITER 376 NEW BEST:: SOT 1003380 SOS 524224 HAS SOPS 524224 HAS SOUS 499285 HAS SOUPS 499285 WITH SCORE 499809.224
AT ITER 380 NEW BEST:: SOT 1003380 SOS 524169 HAS SOPS 524169 HAS SOUS 499285 HAS SOUPS 499285 WITH SCORE 499809.169
AT ITER 382 NEW BEST:: SOT 1003471 SOS 524246 HAS SOPS 524246 HAS SOUS 499281 HAS SOUPS 499281 WITH SCORE 499805.246
AT ITER 385 NEW BEST:: SOT 1002902 SOS 524710 HAS SOPS 524710 HAS SOUS 498782 HAS SOUPS 498782 WITH SCORE 499306.71
AT ITER 386 NEW BEST:: SOT 1002749 SOS 524587 HAS SOPS 524587 HAS SOUS 498683 HAS SOUPS 498683 WITH SCORE 499207.587
AT ITER 388 NEW BEST:: SOT 1002749 SOS 524549 HAS SOPS 524549 HAS SOUS 498683 HAS SOUPS 498683 WITH SCORE 499207.549
AT ITER 391 NEW BEST:: SOT 1002749 SOS 524382 HAS SOPS 524382 HAS SOUS 498683 HAS SOUPS 498683 WITH SCORE 499207.382
AT ITER 394 NEW BEST:: SOT 1002842 SOS 524268 HAS SOPS 524268 HAS SOUS 498533 HAS SOUPS 498533 WITH SCORE 499057.268
AT ITER 401 NEW BEST:: SOT 1002501 SOS 523927 HAS SOPS 523927 HAS SOUS 498135 HAS SOUPS 498135 WITH SCORE 498658.927
AT ITER 406 NEW BEST:: SOT 1002501 SOS 523913 HAS SOPS 523913 HAS SOUS 498135 HAS SOUPS 498135 WITH SCORE 498658.913
AT ITER 408 NEW BEST:: SOT 1002386 SOS 523913 HAS SOPS 523913 HAS SOUS 498020 HAS SOUPS 498020 WITH SCORE 498543.913
AT ITER 417 NEW BEST:: SOT 1002386 SOS 523906 HAS SOPS 523906 HAS SOUS 497986 HAS SOUPS 497986 WITH SCORE 498509.906
AT ITER 423 NEW BEST:: SOT 1001648 SOS 523304 HAS SOPS 523304 HAS SOUS 497303 HAS SOUPS 497303 WITH SCORE 497826.304
AT ITER 425 NEW BEST:: SOT 1001658 SOS 523161 HAS SOPS 523161 HAS SOUS 497070 HAS SOUPS 497070 WITH SCORE 497593.161
AT ITER 444 NEW BEST:: SOT 1001658 SOS 523087 HAS SOPS 523087 HAS SOUS 497070 HAS SOUPS 497070 WITH SCORE 497593.087
AT ITER 447 NEW BEST:: SOT 1001658 SOS 523019 HAS SOPS 523019 HAS SOUS 497070 HAS SOUPS 497070 WITH SCORE 497593.019
AT ITER 449 NEW BEST:: SOT 1001559 SOS 523148 HAS SOPS 523148 HAS SOUS 496995 HAS SOUPS 496995 WITH SCORE 497518.148
AT ITER 454 NEW BEST:: SOT 1001620 SOS 522804 HAS SOPS 522804 HAS SOUS 496943 HAS SOUPS 496943 WITH SCORE 497465.804
AT ITER 456 NEW BEST:: SOT 1001301 SOS 522967 HAS SOPS 522967 HAS SOUS 496628 HAS SOUPS 496628 WITH SCORE 497150.967
AT ITER 471 NEW BEST:: SOT 1001301 SOS 522892 HAS SOPS 522892 HAS SOUS 496628 HAS SOUPS 496628 WITH SCORE 497150.892
AT ITER 473 NEW BEST:: SOT 1000158 SOS 521902 HAS SOPS 521902 HAS SOUS 495575 HAS SOUPS 495575 WITH SCORE 496096.902
AT ITER 475 NEW BEST:: SOT 1000158 SOS 521841 HAS SOPS 521841 HAS SOUS 495575 HAS SOUPS 495575 WITH SCORE 496096.841
AT ITER 476 NEW BEST:: SOT 1000198 SOS 521976 HAS SOPS 521976 HAS SOUS 495557 HAS SOUPS 495557 WITH SCORE 496078.976
AT ITER 487 NEW BEST:: SOT 999370 SOS 521284 HAS SOPS 521284 HAS SOUS 494811 HAS SOUPS 494811 WITH SCORE 495332.284
AT ITER 494 NEW BEST:: SOT 999118 SOS 522949 HAS SOPS 522949 HAS SOUS 494689 HAS SOUPS 494689 WITH SCORE 495211.949
AT ITER 498 NEW BEST:: SOT 999118 SOS 522812 HAS SOPS 522812 HAS SOUS 494689 HAS SOUPS 494689 WITH SCORE 495211.812
AT ITER 502 NEW BEST:: SOT 998641 SOS 523148 HAS SOPS 523148 HAS SOUS 494371 HAS SOUPS 494371 WITH SCORE 494894.148
AT ITER 503 NEW BEST:: SOT 998502 SOS 522986 HAS SOPS 522986 HAS SOUS 494293 HAS SOUPS 494293 WITH SCORE 494815.986
AT ITER 505 NEW BEST:: SOT 998450 SOS 522942 HAS SOPS 522942 HAS SOUS 494249 HAS SOUPS 494249 WITH SCORE 494771.942
AT ITER 511 NEW BEST:: SOT 997626 SOS 522240 HAS SOPS 522240 HAS SOUS 493466 HAS SOUPS 493466 WITH SCORE 493988.24
AT ITER 513 NEW BEST:: SOT 997365 SOS 525487 HAS SOPS 525487 HAS SOUS 493418 HAS SOUPS 493418 WITH SCORE 493943.487
AT ITER 521 NEW BEST:: SOT 997365 SOS 525203 HAS SOPS 525203 HAS SOUS 493418 HAS SOUPS 493418 WITH SCORE 493943.203
AT ITER 530 NEW BEST:: SOT 997252 SOS 525220 HAS SOPS 525220 HAS SOUS 493305 HAS SOUPS 493305 WITH SCORE 493830.22
AT ITER 537 NEW BEST:: SOT 996439 SOS 527616 HAS SOPS 527616 HAS SOUS 493056 HAS SOUPS 493056 WITH SCORE 493583.616
AT ITER 541 NEW BEST:: SOT 996439 SOS 527443 HAS SOPS 527443 HAS SOUS 493056 HAS SOUPS 493056 WITH SCORE 493583.443
AT ITER 548 NEW BEST:: SOT 995956 SOS 529687 HAS SOPS 529687 HAS SOUS 492683 HAS SOUPS 492683 WITH SCORE 493212.687
AT ITER 555 NEW BEST:: SOT 995285 SOS 529460 HAS SOPS 529460 HAS SOUS 492209 HAS SOUPS 492209 WITH SCORE 492738.46
AT ITER 566 NEW BEST:: SOT 995357 SOS 529325 HAS SOPS 529325 HAS SOUS 492038 HAS SOUPS 492038 WITH SCORE 492567.325
AT ITER 571 NEW BEST:: SOT 995150 SOS 531564 HAS SOPS 531564 HAS SOUS 491849 HAS SOUPS 491849 WITH SCORE 492380.564
AT ITER 582 NEW BEST:: SOT 993972 SOS 531745 HAS SOPS 531745 HAS SOUS 490791 HAS SOUPS 490791 WITH SCORE 491322.745
AT ITER 585 NEW BEST:: SOT 993664 SOS 532631 HAS SOPS 532631 HAS SOUS 490710 HAS SOUPS 490710 WITH SCORE 491242.631
AT ITER 593 NEW BEST:: SOT 993664 SOS 532551 HAS SOPS 532551 HAS SOUS 490710 HAS SOUPS 490710 WITH SCORE 491242.551
AT ITER 599 NEW BEST:: SOT 993733 SOS 532489 HAS SOPS 532489 HAS SOUS 490531 HAS SOUPS 490531 WITH SCORE 491063.489
AT ITER 602 NEW BEST:: SOT 993733 SOS 532391 HAS SOPS 532391 HAS SOUS 490531 HAS SOUPS 490531 WITH SCORE 491063.391
AT ITER 605 NEW BEST:: SOT 993429 SOS 532068 HAS SOPS 532068 HAS SOUS 490246 HAS SOUPS 490246 WITH SCORE 490778.068
AT ITER 606 NEW BEST:: SOT 993713 SOS 531948 HAS SOPS 531948 HAS SOUS 490126 HAS SOUPS 490126 WITH SCORE 490657.948
AT ITER 617 NEW BEST:: SOT 993713 SOS 531196 HAS SOPS 531196 HAS SOUS 490126 HAS SOUPS 490126 WITH SCORE 490657.196
AT ITER 631 NEW BEST:: SOT 992776 SOS 531877 HAS SOPS 531877 HAS SOUS 489484 HAS SOUPS 489484 WITH SCORE 490015.877
AT ITER 637 NEW BEST:: SOT 992776 SOS 531839 HAS SOPS 531839 HAS SOUS 489484 HAS SOUPS 489484 WITH SCORE 490015.839
AT ITER 639 NEW BEST:: SOT 992776 SOS 531786 HAS SOPS 531786 HAS SOUS 489484 HAS SOUPS 489484 WITH SCORE 490015.786
AT ITER 642 NEW BEST:: SOT 992559 SOS 531716 HAS SOPS 531716 HAS SOUS 489418 HAS SOUPS 489418 WITH SCORE 489949.716
AT ITER 646 NEW BEST:: SOT 992270 SOS 531427 HAS SOPS 531427 HAS SOUS 489129 HAS SOUPS 489129 WITH SCORE 489660.427
AT ITER 652 NEW BEST:: SOT 992164 SOS 531215 HAS SOPS 531215 HAS SOUS 488917 HAS SOUPS 488917 WITH SCORE 489448.215
AT ITER 655 NEW BEST:: SOT 992164 SOS 531132 HAS SOPS 531132 HAS SOUS 488911 HAS SOUPS 488911 WITH SCORE 489442.132
AT ITER 659 NEW BEST:: SOT 991870 SOS 532933 HAS SOPS 532933 HAS SOUS 488658 HAS SOUPS 488658 WITH SCORE 489190.933
AT ITER 660 NEW BEST:: SOT 991398 SOS 532461 HAS SOPS 532461 HAS SOUS 488186 HAS SOUPS 488186 WITH SCORE 488718.461
AT ITER 667 NEW BEST:: SOT 990317 SOS 531688 HAS SOPS 531688 HAS SOUS 487171 HAS SOUPS 487171 WITH SCORE 487702.688
AT ITER 669 NEW BEST:: SOT 990317 SOS 531644 HAS SOPS 531644 HAS SOUS 487171 HAS SOUPS 487171 WITH SCORE 487702.644
AT ITER 677 NEW BEST:: SOT 990317 SOS 531515 HAS SOPS 531515 HAS SOUS 487171 HAS SOUPS 487171 WITH SCORE 487702.515
AT ITER 679 NEW BEST:: SOT 990112 SOS 531310 HAS SOPS 531310 HAS SOUS 486966 HAS SOUPS 486966 WITH SCORE 487497.31
AT ITER 684 NEW BEST:: SOT 989678 SOS 531516 HAS SOPS 531516 HAS SOUS 486565 HAS SOUPS 486565 WITH SCORE 487096.516
AT ITER 694 NEW BEST:: SOT 989474 SOS 531261 HAS SOPS 531261 HAS SOUS 486310 HAS SOUPS 486310 WITH SCORE 486841.261
AT ITER 702 NEW BEST:: SOT 989350 SOS 531191 HAS SOPS 531191 HAS SOUS 486240 HAS SOUPS 486240 WITH SCORE 486771.191
AT ITER 711 NEW BEST:: SOT 989124 SOS 531154 HAS SOPS 531154 HAS SOUS 486196 HAS SOUPS 486196 WITH SCORE 486727.154
AT ITER 712 NEW BEST:: SOT 988128 SOS 530308 HAS SOPS 530308 HAS SOUS 485230 HAS SOUPS 485230 WITH SCORE 485760.308
AT ITER 713 NEW BEST:: SOT 988128 SOS 529900 HAS SOPS 529900 HAS SOUS 485230 HAS SOUPS 485230 WITH SCORE 485759.9
AT ITER 714 NEW BEST:: SOT 988128 SOS 529838 HAS SOPS 529838 HAS SOUS 485230 HAS SOUPS 485230 WITH SCORE 485759.838
AT ITER 716 NEW BEST:: SOT 988333 SOS 529655 HAS SOPS 529655 HAS SOUS 485215 HAS SOUPS 485215 WITH SCORE 485744.655
AT ITER 718 NEW BEST:: SOT 988333 SOS 529621 HAS SOPS 529621 HAS SOUS 485215 HAS SOUPS 485215 WITH SCORE 485744.621
AT ITER 733 NEW BEST:: SOT 987002 SOS 529783 HAS SOPS 529783 HAS SOUS 484807 HAS SOUPS 484807 WITH SCORE 485336.783
AT ITER 734 NEW BEST:: SOT 987002 SOS 529526 HAS SOPS 529526 HAS SOUS 484807 HAS SOUPS 484807 WITH SCORE 485336.526
AT ITER 736 NEW BEST:: SOT 986732 SOS 529337 HAS SOPS 529337 HAS SOUS 484537 HAS SOUPS 484537 WITH SCORE 485066.337
AT ITER 744 NEW BEST:: SOT 986959 SOS 529686 HAS SOPS 529686 HAS SOUS 484425 HAS SOUPS 484425 WITH SCORE 484954.686
AT ITER 745 NEW BEST:: SOT 986697 SOS 530759 HAS SOPS 530759 HAS SOUS 484359 HAS SOUPS 484359 WITH SCORE 484889.759
AT ITER 747 NEW BEST:: SOT 986697 SOS 530675 HAS SOPS 530675 HAS SOUS 484359 HAS SOUPS 484359 WITH SCORE 484889.675
AT ITER 748 NEW BEST:: SOT 986454 SOS 529344 HAS SOPS 529344 HAS SOUS 484359 HAS SOUPS 484359 WITH SCORE 484888.344
AT ITER 766 NEW BEST:: SOT 985925 SOS 528815 HAS SOPS 528815 HAS SOUS 483830 HAS SOUPS 483830 WITH SCORE 484358.815
AT ITER 772 NEW BEST:: SOT 985925 SOS 528652 HAS SOPS 528652 HAS SOUS 483830 HAS SOUPS 483830 WITH SCORE 484358.652
AT ITER 783 NEW BEST:: SOT 985731 SOS 528345 HAS SOPS 528345 HAS SOUS 483523 HAS SOUPS 483523 WITH SCORE 484051.345
AT ITER 795 NEW BEST:: SOT 985731 SOS 528407 HAS SOPS 528407 HAS SOUS 483489 HAS SOUPS 483489 WITH SCORE 484017.407
AT ITER 804 NEW BEST:: SOT 984938 SOS 529475 HAS SOPS 529475 HAS SOUS 482945 HAS SOUPS 482945 WITH SCORE 483474.475
AT ITER 809 NEW BEST:: SOT 984938 SOS 529444 HAS SOPS 529444 HAS SOUS 482945 HAS SOUPS 482945 WITH SCORE 483474.444
AT ITER 810 NEW BEST:: SOT 983971 SOS 528716 HAS SOPS 528716 HAS SOUS 482237 HAS SOUPS 482237 WITH SCORE 482765.716
AT ITER 815 NEW BEST:: SOT 983850 SOS 528571 HAS SOPS 528571 HAS SOUS 482213 HAS SOUPS 482213 WITH SCORE 482741.571
AT ITER 817 NEW BEST:: SOT 983850 SOS 528470 HAS SOPS 528470 HAS SOUS 482213 HAS SOUPS 482213 WITH SCORE 482741.47
AT ITER 818 NEW BEST:: SOT 983701 SOS 528460 HAS SOPS 528460 HAS SOUS 482203 HAS SOUPS 482203 WITH SCORE 482731.46
AT ITER 819 NEW BEST:: SOT 983492 SOS 528881 HAS SOPS 528881 HAS SOUS 481994 HAS SOUPS 481994 WITH SCORE 482522.881
AT ITER 820 NEW BEST:: SOT 982466 SOS 528242 HAS SOPS 528242 HAS SOUS 481211 HAS SOUPS 481211 WITH SCORE 481739.242
AT ITER 823 NEW BEST:: SOT 982466 SOS 528160 HAS SOPS 528160 HAS SOUS 481211 HAS SOUPS 481211 WITH SCORE 481739.16
AT ITER 824 NEW BEST:: SOT 981708 SOS 530123 HAS SOPS 530123 HAS SOUS 480871 HAS SOUPS 480871 WITH SCORE 481401.123
AT ITER 832 NEW BEST:: SOT 980999 SOS 530571 HAS SOPS 530571 HAS SOUS 480395 HAS SOUPS 480395 WITH SCORE 480925.571
AT ITER 833 NEW BEST:: SOT 980755 SOS 530893 HAS SOPS 530893 HAS SOUS 480157 HAS SOUPS 480157 WITH SCORE 480687.893
AT ITER 834 NEW BEST:: SOT 980787 SOS 530773 HAS SOPS 530773 HAS SOUS 480154 HAS SOUPS 480154 WITH SCORE 480684.773
AT ITER 835 NEW BEST:: SOT 980158 SOS 531694 HAS SOPS 531694 HAS SOUS 479828 HAS SOUPS 479828 WITH SCORE 480359.694
AT ITER 846 NEW BEST:: SOT 979805 SOS 531492 HAS SOPS 531492 HAS SOUS 479626 HAS SOUPS 479626 WITH SCORE 480157.492
AT ITER 847 NEW BEST:: SOT 979827 SOS 531388 HAS SOPS 531388 HAS SOUS 479486 HAS SOUPS 479486 WITH SCORE 480017.388
AT ITER 850 NEW BEST:: SOT 979827 SOS 531293 HAS SOPS 531293 HAS SOUS 479486 HAS SOUPS 479486 WITH SCORE 480017.293
AT ITER 851 NEW BEST:: SOT 979827 SOS 531260 HAS SOPS 531260 HAS SOUS 479486 HAS SOUPS 479486 WITH SCORE 480017.26
AT ITER 855 NEW BEST:: SOT 979827 SOS 531034 HAS SOPS 531034 HAS SOUS 479486 HAS SOUPS 479486 WITH SCORE 480017.034
AT ITER 864 NEW BEST:: SOT 979827 SOS 530862 HAS SOPS 530862 HAS SOUS 479486 HAS SOUPS 479486 WITH SCORE 480016.862
AT ITER 865 NEW BEST:: SOT 979780 SOS 530815 HAS SOPS 530815 HAS SOUS 479439 HAS SOUPS 479439 WITH SCORE 479969.815
AT ITER 869 NEW BEST:: SOT 978591 SOS 531349 HAS SOPS 531349 HAS SOUS 478505 HAS SOUPS 478505 WITH SCORE 479036.349
AT ITER 873 NEW BEST:: SOT 978591 SOS 531130 HAS SOPS 531130 HAS SOUS 478375 HAS SOUPS 478375 WITH SCORE 478906.13
AT ITER 876 NEW BEST:: SOT 977531 SOS 530663 HAS SOPS 530663 HAS SOUS 477356 HAS SOUPS 477356 WITH SCORE 477886.663
AT ITER 882 NEW BEST:: SOT 977531 SOS 530490 HAS SOPS 530490 HAS SOUS 477356 HAS SOUPS 477356 WITH SCORE 477886.49
AT ITER 883 NEW BEST:: SOT 977531 SOS 530264 HAS SOPS 530264 HAS SOUS 477356 HAS SOUPS 477356 WITH SCORE 477886.264
AT ITER 887 NEW BEST:: SOT 977475 SOS 530208 HAS SOPS 530208 HAS SOUS 477300 HAS SOUPS 477300 WITH SCORE 477830.208
AT ITER 891 NEW BEST:: SOT 976749 SOS 532275 HAS SOPS 532275 HAS SOUS 476805 HAS SOUPS 476805 WITH SCORE 477337.275
AT ITER 896 NEW BEST:: SOT 976749 SOS 532127 HAS SOPS 532127 HAS SOUS 476629 HAS SOUPS 476629 WITH SCORE 477161.127
AT ITER 897 NEW BEST:: SOT 976749 SOS 532018 HAS SOPS 532018 HAS SOUS 476520 HAS SOUPS 476520 WITH SCORE 477052.018
AT ITER 898 NEW BEST:: SOT 976749 SOS 531936 HAS SOPS 531936 HAS SOUS 476520 HAS SOUPS 476520 WITH SCORE 477051.936
AT ITER 911 NEW BEST:: SOT 976749 SOS 531895 HAS SOPS 531895 HAS SOUS 476497 HAS SOUPS 476497 WITH SCORE 477028.895
AT ITER 917 NEW BEST:: SOT 976749 SOS 529942 HAS SOPS 529942 HAS SOUS 476497 HAS SOUPS 476497 WITH SCORE 477026.942
AT ITER 922 NEW BEST:: SOT 976749 SOS 529847 HAS SOPS 529847 HAS SOUS 476461 HAS SOUPS 476461 WITH SCORE 476990.847
AT ITER 927 NEW BEST:: SOT 976294 SOS 530242 HAS SOPS 530242 HAS SOUS 476383 HAS SOUPS 476383 WITH SCORE 476913.242
AT ITER 929 NEW BEST:: SOT 975573 SOS 529768 HAS SOPS 529768 HAS SOUS 475964 HAS SOUPS 475964 WITH SCORE 476493.768
AT ITER 932 NEW BEST:: SOT 975573 SOS 529519 HAS SOPS 529519 HAS SOUS 475964 HAS SOUPS 475964 WITH SCORE 476493.519
AT ITER 938 NEW BEST:: SOT 975467 SOS 529413 HAS SOPS 529413 HAS SOUS 475624 HAS SOUPS 475624 WITH SCORE 476153.413
AT ITER 944 NEW BEST:: SOT 974003 SOS 528068 HAS SOPS 528068 HAS SOUS 474189 HAS SOUPS 474189 WITH SCORE 474717.068
AT ITER 946 NEW BEST:: SOT 974003 SOS 528033 HAS SOPS 528033 HAS SOUS 474180 HAS SOUPS 474180 WITH SCORE 474708.033
AT ITER 948 NEW BEST:: SOT 974003 SOS 527967 HAS SOPS 527967 HAS SOUS 474180 HAS SOUPS 474180 WITH SCORE 474707.967
AT ITER 950 NEW BEST:: SOT 974003 SOS 527948 HAS SOPS 527948 HAS SOUS 474180 HAS SOUPS 474180 WITH SCORE 474707.948
AT ITER 958 NEW BEST:: SOT 974598 SOS 527441 HAS SOPS 527441 HAS SOUS 474153 HAS SOUPS 474153 WITH SCORE 474680.441
AT ITER 963 NEW BEST:: SOT 974546 SOS 527389 HAS SOPS 527389 HAS SOUS 474051 HAS SOUPS 474051 WITH SCORE 474578.389
AT ITER 968 NEW BEST:: SOT 974546 SOS 527351 HAS SOPS 527351 HAS SOUS 474051 HAS SOUPS 474051 WITH SCORE 474578.351
AT ITER 969 NEW BEST:: SOT 974272 SOS 527207 HAS SOPS 527207 HAS SOUS 473896 HAS SOUPS 473896 WITH SCORE 474423.207
AT ITER 970 NEW BEST:: SOT 974364 SOS 527226 HAS SOPS 527226 HAS SOUS 473888 HAS SOUPS 473888 WITH SCORE 474415.226
AT ITER 974 NEW BEST:: SOT 974364 SOS 526948 HAS SOPS 526948 HAS SOUS 473888 HAS SOUPS 473888 WITH SCORE 474414.948
AT ITER 976 NEW BEST:: SOT 974535 SOS 526666 HAS SOPS 526666 HAS SOUS 473786 HAS SOUPS 473786 WITH SCORE 474312.666
AT ITER 977 NEW BEST:: SOT 973675 SOS 526146 HAS SOPS 526146 HAS SOUS 473103 HAS SOUPS 473103 WITH SCORE 473629.146
AT ITER 980 NEW BEST:: SOT 973675 SOS 526127 HAS SOPS 526127 HAS SOUS 473103 HAS SOUPS 473103 WITH SCORE 473629.127
AT ITER 981 NEW BEST:: SOT 973222 SOS 525789 HAS SOPS 525789 HAS SOUS 472742 HAS SOUPS 472742 WITH SCORE 473267.789
AT ITER 982 NEW BEST:: SOT 972981 SOS 525494 HAS SOPS 525494 HAS SOUS 472485 HAS SOUPS 472485 WITH SCORE 473010.494
AT ITER 986 NEW BEST:: SOT 973202 SOS 525699 HAS SOPS 525699 HAS SOUS 472460 HAS SOUPS 472460 WITH SCORE 472985.699
AT ITER 988 NEW BEST:: SOT 973202 SOS 525521 HAS SOPS 525521 HAS SOUS 472460 HAS SOUPS 472460 WITH SCORE 472985.521
AT ITER 996 NEW BEST:: SOT 973202 SOS 525059 HAS SOPS 525059 HAS SOUS 472460 HAS SOUPS 472460 WITH SCORE 472985.059
AT ITER 1007 NEW BEST:: SOT 973216 SOS 525077 HAS SOPS 525077 HAS SOUS 472404 HAS SOUPS 472404 WITH SCORE 472929.077
AT ITER 1010 NEW BEST:: SOT 973216 SOS 524868 HAS SOPS 524868 HAS SOUS 472404 HAS SOUPS 472404 WITH SCORE 472928.868
AT ITER 1011 NEW BEST:: SOT 973216 SOS 522107 HAS SOPS 522107 HAS SOUS 472289 HAS SOUPS 472289 WITH SCORE 472811.107
AT ITER 1015 NEW BEST:: SOT 973216 SOS 521744 HAS SOPS 521744 HAS SOUS 472289 HAS SOUPS 472289 WITH SCORE 472810.744
AT ITER 1016 NEW BEST:: SOT 973027 SOS 521634 HAS SOPS 521634 HAS SOUS 472179 HAS SOUPS 472179 WITH SCORE 472700.634
AT ITER 1021 NEW BEST:: SOT 973027 SOS 521742 HAS SOPS 521742 HAS SOUS 471813 HAS SOUPS 471813 WITH SCORE 472334.742
AT ITER 1022 NEW BEST:: SOT 972622 SOS 521752 HAS SOPS 521752 HAS SOUS 471503 HAS SOUPS 471503 WITH SCORE 472024.752
AT ITER 1027 NEW BEST:: SOT 971920 SOS 521358 HAS SOPS 521358 HAS SOUS 471065 HAS SOUPS 471065 WITH SCORE 471586.358
AT ITER 1034 NEW BEST:: SOT 971925 SOS 521348 HAS SOPS 521348 HAS SOUS 471065 HAS SOUPS 471065 WITH SCORE 471586.348
AT ITER 1041 NEW BEST:: SOT 971925 SOS 519938 HAS SOPS 519938 HAS SOUS 471065 HAS SOUPS 471065 WITH SCORE 471584.938
AT ITER 1049 NEW BEST:: SOT 971765 SOS 519778 HAS SOPS 519778 HAS SOUS 470905 HAS SOUPS 470905 WITH SCORE 471424.778
AT ITER 1058 NEW BEST:: SOT 971765 SOS 519737 HAS SOPS 519737 HAS SOUS 470905 HAS SOUPS 470905 WITH SCORE 471424.737
AT ITER 1059 NEW BEST:: SOT 971664 SOS 519841 HAS SOPS 519841 HAS SOUS 470889 HAS SOUPS 470889 WITH SCORE 471408.841
AT ITER 1060 NEW BEST:: SOT 971014 SOS 520519 HAS SOPS 520519 HAS SOUS 470778 HAS SOUPS 470778 WITH SCORE 471298.519
AT ITER 1062 NEW BEST:: SOT 970960 SOS 520499 HAS SOPS 520499 HAS SOUS 470758 HAS SOUPS 470758 WITH SCORE 471278.499
AT ITER 1067 NEW BEST:: SOT 970925 SOS 520464 HAS SOPS 520464 HAS SOUS 470701 HAS SOUPS 470701 WITH SCORE 471221.464
AT ITER 1068 NEW BEST:: SOT 970780 SOS 520370 HAS SOPS 520370 HAS SOUS 470670 HAS SOUPS 470670 WITH SCORE 471190.37
AT ITER 1070 NEW BEST:: SOT 969530 SOS 521096 HAS SOPS 521096 HAS SOUS 470255 HAS SOUPS 470255 WITH SCORE 470776.096
AT ITER 1086 NEW BEST:: SOT 968384 SOS 521353 HAS SOPS 521353 HAS SOUS 469668 HAS SOUPS 469668 WITH SCORE 470189.353
AT ITER 1090 NEW BEST:: SOT 968384 SOS 521268 HAS SOPS 521268 HAS SOUS 469591 HAS SOUPS 469591 WITH SCORE 470112.268
AT ITER 1100 NEW BEST:: SOT 968384 SOS 520873 HAS SOPS 520873 HAS SOUS 469591 HAS SOUPS 469591 WITH SCORE 470111.873
AT ITER 1103 NEW BEST:: SOT 968177 SOS 525439 HAS SOPS 525439 HAS SOUS 469537 HAS SOUPS 469537 WITH SCORE 470062.439
AT ITER 1107 NEW BEST:: SOT 967462 SOS 525769 HAS SOPS 525769 HAS SOUS 468908 HAS SOUPS 468908 WITH SCORE 469433.769
AT ITER 1111 NEW BEST:: SOT 967382 SOS 525398 HAS SOPS 525398 HAS SOUS 468767 HAS SOUPS 468767 WITH SCORE 469292.398
AT ITER 1115 NEW BEST:: SOT 967300 SOS 525357 HAS SOPS 525357 HAS SOUS 468726 HAS SOUPS 468726 WITH SCORE 469251.357
AT ITER 1116 NEW BEST:: SOT 966938 SOS 525243 HAS SOPS 525243 HAS SOUS 468542 HAS SOUPS 468542 WITH SCORE 469067.243
AT ITER 1119 NEW BEST:: SOT 966043 SOS 524828 HAS SOPS 524828 HAS SOUS 467778 HAS SOUPS 467778 WITH SCORE 468302.828
AT ITER 1122 NEW BEST:: SOT 966043 SOS 524644 HAS SOPS 524644 HAS SOUS 467778 HAS SOUPS 467778 WITH SCORE 468302.644
AT ITER 1127 NEW BEST:: SOT 965776 SOS 524724 HAS SOPS 524724 HAS SOUS 467511 HAS SOUPS 467511 WITH SCORE 468035.724
AT ITER 1134 NEW BEST:: SOT 965632 SOS 525789 HAS SOPS 525789 HAS SOUS 467391 HAS SOUPS 467391 WITH SCORE 467916.789
AT ITER 1136 NEW BEST:: SOT 965574 SOS 525731 HAS SOPS 525731 HAS SOUS 467333 HAS SOUPS 467333 WITH SCORE 467858.731
AT ITER 1140 NEW BEST:: SOT 965574 SOS 525727 HAS SOPS 525727 HAS SOUS 467333 HAS SOUPS 467333 WITH SCORE 467858.727
AT ITER 1147 NEW BEST:: SOT 965572 SOS 525698 HAS SOPS 525698 HAS SOUS 467190 HAS SOUPS 467190 WITH SCORE 467715.698
AT ITER 1168 NEW BEST:: SOT 965756 SOS 525534 HAS SOPS 525534 HAS SOUS 467023 HAS SOUPS 467023 WITH SCORE 467548.534
AT ITER 1169 NEW BEST:: SOT 965675 SOS 525458 HAS SOPS 525458 HAS SOUS 466947 HAS SOUPS 466947 WITH SCORE 467472.458
AT ITER 1174 NEW BEST:: SOT 965675 SOS 525321 HAS SOPS 525321 HAS SOUS 466947 HAS SOUPS 466947 WITH SCORE 467472.321
AT ITER 1175 NEW BEST:: SOT 964985 SOS 526332 HAS SOPS 526332 HAS SOUS 466791 HAS SOUPS 466791 WITH SCORE 467317.332
AT ITER 1176 NEW BEST:: SOT 964179 SOS 525655 HAS SOPS 525655 HAS SOUS 466130 HAS SOUPS 466130 WITH SCORE 466655.655
AT ITER 1177 NEW BEST:: SOT 964179 SOS 525655 HAS SOPS 525655 HAS SOUS 466100 HAS SOUPS 466100 WITH SCORE 466625.655
AT ITER 1183 NEW BEST:: SOT 964224 SOS 525971 HAS SOPS 525971 HAS SOUS 466060 HAS SOUPS 466060 WITH SCORE 466585.971
AT ITER 1194 NEW BEST:: SOT 964224 SOS 525890 HAS SOPS 525890 HAS SOUS 466060 HAS SOUPS 466060 WITH SCORE 466585.89
AT ITER 1202 NEW BEST:: SOT 963427 SOS 525663 HAS SOPS 525663 HAS SOUS 465383 HAS SOUPS 465383 WITH SCORE 465908.663
AT ITER 1206 NEW BEST:: SOT 963427 SOS 525440 HAS SOPS 525440 HAS SOUS 465376 HAS SOUPS 465376 WITH SCORE 465901.44
AT ITER 1207 NEW BEST:: SOT 963446 SOS 525234 HAS SOPS 525234 HAS SOUS 465152 HAS SOUPS 465152 WITH SCORE 465677.234
AT ITER 1213 NEW BEST:: SOT 963468 SOS 525192 HAS SOPS 525192 HAS SOUS 465029 HAS SOUPS 465029 WITH SCORE 465554.192
AT ITER 1219 NEW BEST:: SOT 963534 SOS 524101 HAS SOPS 524101 HAS SOUS 464853 HAS SOUPS 464853 WITH SCORE 465377.101
AT ITER 1224 NEW BEST:: SOT 963534 SOS 524016 HAS SOPS 524016 HAS SOUS 464853 HAS SOUPS 464853 WITH SCORE 465377.016
AT ITER 1231 NEW BEST:: SOT 963534 SOS 523976 HAS SOPS 523976 HAS SOUS 464836 HAS SOUPS 464836 WITH SCORE 465359.976
AT ITER 1240 NEW BEST:: SOT 963534 SOS 523299 HAS SOPS 523299 HAS SOUS 464740 HAS SOUPS 464740 WITH SCORE 465263.299
AT ITER 1241 NEW BEST:: SOT 963056 SOS 523592 HAS SOPS 523592 HAS SOUS 464510 HAS SOUPS 464510 WITH SCORE 465033.592
AT ITER 1245 NEW BEST:: SOT 963056 SOS 523526 HAS SOPS 523526 HAS SOUS 464510 HAS SOUPS 464510 WITH SCORE 465033.526
AT ITER 1246 NEW BEST:: SOT 963166 SOS 523710 HAS SOPS 523710 HAS SOUS 464496 HAS SOUPS 464496 WITH SCORE 465019.71
AT ITER 1252 NEW BEST:: SOT 963097 SOS 523641 HAS SOPS 523641 HAS SOUS 464399 HAS SOUPS 464399 WITH SCORE 464922.641
AT ITER 1257 NEW BEST:: SOT 962769 SOS 523353 HAS SOPS 523353 HAS SOUS 464052 HAS SOUPS 464052 WITH SCORE 464575.353
AT ITER 1258 NEW BEST:: SOT 962769 SOS 523283 HAS SOPS 523283 HAS SOUS 464052 HAS SOUPS 464052 WITH SCORE 464575.283
AT ITER 1268 NEW BEST:: SOT 961956 SOS 523541 HAS SOPS 523541 HAS SOUS 463816 HAS SOUPS 463816 WITH SCORE 464339.541
AT ITER 1281 NEW BEST:: SOT 961956 SOS 523379 HAS SOPS 523379 HAS SOUS 463792 HAS SOUPS 463792 WITH SCORE 464315.379
AT ITER 1289 NEW BEST:: SOT 961956 SOS 523261 HAS SOPS 523261 HAS SOUS 463792 HAS SOUPS 463792 WITH SCORE 464315.261
AT ITER 1306 NEW BEST:: SOT 961937 SOS 522964 HAS SOPS 522964 HAS SOUS 463773 HAS SOUPS 463773 WITH SCORE 464295.964
AT ITER 1307 NEW BEST:: SOT 961937 SOS 522708 HAS SOPS 522708 HAS SOUS 463773 HAS SOUPS 463773 WITH SCORE 464295.708
AT ITER 1312 NEW BEST:: SOT 961852 SOS 522623 HAS SOPS 522623 HAS SOUS 463688 HAS SOUPS 463688 WITH SCORE 464210.623
AT ITER 1315 NEW BEST:: SOT 961852 SOS 522520 HAS SOPS 522520 HAS SOUS 463688 HAS SOUPS 463688 WITH SCORE 464210.52
AT ITER 1324 NEW BEST:: SOT 961826 SOS 522494 HAS SOPS 522494 HAS SOUS 463662 HAS SOUPS 463662 WITH SCORE 464184.494
AT ITER 1333 NEW BEST:: SOT 961376 SOS 521725 HAS SOPS 521725 HAS SOUS 463137 HAS SOUPS 463137 WITH SCORE 463658.725
AT ITER 1334 NEW BEST:: SOT 961376 SOS 521725 HAS SOPS 521725 HAS SOUS 463092 HAS SOUPS 463092 WITH SCORE 463613.725
AT ITER 1335 NEW BEST:: SOT 960655 SOS 522299 HAS SOPS 522299 HAS SOUS 462490 HAS SOUPS 462490 WITH SCORE 463012.299
AT ITER 1337 NEW BEST:: SOT 960498 SOS 522229 HAS SOPS 522229 HAS SOUS 462399 HAS SOUPS 462399 WITH SCORE 462921.229
AT ITER 1338 NEW BEST:: SOT 960492 SOS 522223 HAS SOPS 522223 HAS SOUS 462399 HAS SOUPS 462399 WITH SCORE 462921.223
AT ITER 1339 NEW BEST:: SOT 960492 SOS 522223 HAS SOPS 522223 HAS SOUS 462231 HAS SOUPS 462231 WITH SCORE 462753.223
AT ITER 1340 NEW BEST:: SOT 960481 SOS 522212 HAS SOPS 522212 HAS SOUS 462212 HAS SOUPS 462212 WITH SCORE 462734.212
AT ITER 1341 NEW BEST:: SOT 960520 SOS 521155 HAS SOPS 521155 HAS SOUS 461939 HAS SOUPS 461939 WITH SCORE 462460.155
AT ITER 1342 NEW BEST:: SOT 960520 SOS 521047 HAS SOPS 521047 HAS SOUS 461939 HAS SOUPS 461939 WITH SCORE 462460.047
AT ITER 1348 NEW BEST:: SOT 960520 SOS 521005 HAS SOPS 521005 HAS SOUS 461939 HAS SOUPS 461939 WITH SCORE 462460.005
AT ITER 1352 NEW BEST:: SOT 959777 SOS 520878 HAS SOPS 520878 HAS SOUS 461494 HAS SOUPS 461494 WITH SCORE 462014.878
AT ITER 1361 NEW BEST:: SOT 959776 SOS 520877 HAS SOPS 520877 HAS SOUS 461483 HAS SOUPS 461483 WITH SCORE 462003.877
AT ITER 1374 NEW BEST:: SOT 959740 SOS 520526 HAS SOPS 520526 HAS SOUS 461042 HAS SOUPS 461042 WITH SCORE 461562.526
AT ITER 1376 NEW BEST:: SOT 959794 SOS 520549 HAS SOPS 520549 HAS SOUS 461035 HAS SOUPS 461035 WITH SCORE 461555.549
AT ITER 1388 NEW BEST:: SOT 959343 SOS 520513 HAS SOPS 520513 HAS SOUS 460959 HAS SOUPS 460959 WITH SCORE 461479.513
AT ITER 1390 NEW BEST:: SOT 959112 SOS 520174 HAS SOPS 520174 HAS SOUS 460587 HAS SOUPS 460587 WITH SCORE 461107.174
AT ITER 1393 NEW BEST:: SOT 959112 SOS 520108 HAS SOPS 520108 HAS SOUS 460587 HAS SOUPS 460587 WITH SCORE 461107.108
AT ITER 1401 NEW BEST:: SOT 958818 SOS 520108 HAS SOPS 520108 HAS SOUS 460440 HAS SOUPS 460440 WITH SCORE 460960.108
AT ITER 1415 NEW BEST:: SOT 958811 SOS 520101 HAS SOPS 520101 HAS SOUS 460433 HAS SOUPS 460433 WITH SCORE 460953.101
AT ITER 1416 NEW BEST:: SOT 958744 SOS 520065 HAS SOPS 520065 HAS SOUS 460397 HAS SOUPS 460397 WITH SCORE 460917.065
AT ITER 1422 NEW BEST:: SOT 958711 SOS 520043 HAS SOPS 520043 HAS SOUS 460364 HAS SOUPS 460364 WITH SCORE 460884.043
AT ITER 1433 NEW BEST:: SOT 957825 SOS 520018 HAS SOPS 520018 HAS SOUS 460206 HAS SOUPS 460206 WITH SCORE 460726.018
AT ITER 1445 NEW BEST:: SOT 957175 SOS 520381 HAS SOPS 520381 HAS SOUS 459726 HAS SOUPS 459726 WITH SCORE 460246.381
AT ITER 1447 NEW BEST:: SOT 956752 SOS 520430 HAS SOPS 520430 HAS SOUS 459676 HAS SOUPS 459676 WITH SCORE 460196.43
AT ITER 1453 NEW BEST:: SOT 956752 SOS 520303 HAS SOPS 520303 HAS SOUS 459581 HAS SOUPS 459581 WITH SCORE 460101.303
AT ITER 1459 NEW BEST:: SOT 956752 SOS 520121 HAS SOPS 520121 HAS SOUS 459581 HAS SOUPS 459581 WITH SCORE 460101.121
AT ITER 1472 NEW BEST:: SOT 956517 SOS 519987 HAS SOPS 519987 HAS SOUS 459447 HAS SOUPS 459447 WITH SCORE 459966.987
AT ITER 1474 NEW BEST:: SOT 956517 SOS 519641 HAS SOPS 519641 HAS SOUS 459447 HAS SOUPS 459447 WITH SCORE 459966.641
AT ITER 1481 NEW BEST:: SOT 956517 SOS 519603 HAS SOPS 519603 HAS SOUS 459447 HAS SOUPS 459447 WITH SCORE 459966.603
AT ITER 1484 NEW BEST:: SOT 956517 SOS 518358 HAS SOPS 518358 HAS SOUS 459352 HAS SOUPS 459352 WITH SCORE 459870.358
AT ITER 1485 NEW BEST:: SOT 956113 SOS 519548 HAS SOPS 519548 HAS SOUS 459107 HAS SOUPS 459107 WITH SCORE 459626.548
AT ITER 1489 NEW BEST:: SOT 955603 SOS 519153 HAS SOPS 519153 HAS SOUS 458699 HAS SOUPS 458699 WITH SCORE 459218.153
AT ITER 1490 NEW BEST:: SOT 954872 SOS 521808 HAS SOPS 521808 HAS SOUS 458392 HAS SOUPS 458392 WITH SCORE 458913.808
AT ITER 1498 NEW BEST:: SOT 954872 SOS 521796 HAS SOPS 521796 HAS SOUS 458392 HAS SOUPS 458392 WITH SCORE 458913.796
AT ITER 1510 NEW BEST:: SOT 954825 SOS 525026 HAS SOPS 525026 HAS SOUS 458345 HAS SOUPS 458345 WITH SCORE 458870.026
AT ITER 1512 NEW BEST:: SOT 954392 SOS 524593 HAS SOPS 524593 HAS SOUS 458099 HAS SOUPS 458099 WITH SCORE 458623.593
AT ITER 1517 NEW BEST:: SOT 954392 SOS 524499 HAS SOPS 524499 HAS SOUS 458099 HAS SOUPS 458099 WITH SCORE 458623.499
AT ITER 1519 NEW BEST:: SOT 953135 SOS 523585 HAS SOPS 523585 HAS SOUS 457162 HAS SOUPS 457162 WITH SCORE 457685.585
AT ITER 1524 NEW BEST:: SOT 952906 SOS 523462 HAS SOPS 523462 HAS SOUS 457138 HAS SOUPS 457138 WITH SCORE 457661.462
AT ITER 1549 NEW BEST:: SOT 952906 SOS 523395 HAS SOPS 523395 HAS SOUS 457138 HAS SOUPS 457138 WITH SCORE 457661.395
AT ITER 1550 NEW BEST:: SOT 952744 SOS 526194 HAS SOPS 526194 HAS SOUS 457080 HAS SOUPS 457080 WITH SCORE 457606.194
AT ITER 1551 NEW BEST:: SOT 951755 SOS 526277 HAS SOPS 526277 HAS SOUS 456843 HAS SOUPS 456843 WITH SCORE 457369.277
AT ITER 1552 NEW BEST:: SOT 951755 SOS 525917 HAS SOPS 525917 HAS SOUS 456483 HAS SOUPS 456483 WITH SCORE 457008.917
AT ITER 1563 NEW BEST:: SOT 951781 SOS 525767 HAS SOPS 525767 HAS SOUS 456414 HAS SOUPS 456414 WITH SCORE 456939.767
AT ITER 1576 NEW BEST:: SOT 951774 SOS 525698 HAS SOPS 525698 HAS SOUS 456327 HAS SOUPS 456327 WITH SCORE 456852.698
AT ITER 1582 NEW BEST:: SOT 951774 SOS 525681 HAS SOPS 525681 HAS SOUS 456327 HAS SOUPS 456327 WITH SCORE 456852.681
AT ITER 1583 NEW BEST:: SOT 950994 SOS 526962 HAS SOPS 526962 HAS SOUS 456247 HAS SOUPS 456247 WITH SCORE 456773.962
AT ITER 1586 NEW BEST:: SOT 950994 SOS 526876 HAS SOPS 526876 HAS SOUS 456247 HAS SOUPS 456247 WITH SCORE 456773.876
AT ITER 1588 NEW BEST:: SOT 949724 SOS 526736 HAS SOPS 526736 HAS SOUS 455390 HAS SOUPS 455390 WITH SCORE 455916.736
AT ITER 1593 NEW BEST:: SOT 949724 SOS 526704 HAS SOPS 526704 HAS SOUS 455390 HAS SOUPS 455390 WITH SCORE 455916.704
AT ITER 1594 NEW BEST:: SOT 949724 SOS 526558 HAS SOPS 526558 HAS SOUS 455390 HAS SOUPS 455390 WITH SCORE 455916.558
AT ITER 1598 NEW BEST:: SOT 949734 SOS 526231 HAS SOPS 526231 HAS SOUS 455239 HAS SOUPS 455239 WITH SCORE 455765.231
AT ITER 1602 NEW BEST:: SOT 949807 SOS 526026 HAS SOPS 526026 HAS SOUS 455228 HAS SOUPS 455228 WITH SCORE 455754.026
AT ITER 1605 NEW BEST:: SOT 949806 SOS 526027 HAS SOPS 526027 HAS SOUS 455227 HAS SOUPS 455227 WITH SCORE 455753.027
AT ITER 1611 NEW BEST:: SOT 949412 SOS 527337 HAS SOPS 527337 HAS SOUS 455123 HAS SOUPS 455123 WITH SCORE 455650.337
AT ITER 1615 NEW BEST:: SOT 949469 SOS 527173 HAS SOPS 527173 HAS SOUS 454930 HAS SOUPS 454930 WITH SCORE 455457.173
AT ITER 1626 NEW BEST:: SOT 949469 SOS 527097 HAS SOPS 527097 HAS SOUS 454930 HAS SOUPS 454930 WITH SCORE 455457.097
AT ITER 1630 NEW BEST:: SOT 949518 SOS 527146 HAS SOPS 527146 HAS SOUS 454919 HAS SOUPS 454919 WITH SCORE 455446.146
AT ITER 1639 NEW BEST:: SOT 949518 SOS 527082 HAS SOPS 527082 HAS SOUS 454919 HAS SOUPS 454919 WITH SCORE 455446.082
AT ITER 1645 NEW BEST:: SOT 949518 SOS 526066 HAS SOPS 526066 HAS SOUS 454867 HAS SOUPS 454867 WITH SCORE 455393.066
AT ITER 1649 NEW BEST:: SOT 949518 SOS 525896 HAS SOPS 525896 HAS SOUS 454867 HAS SOUPS 454867 WITH SCORE 455392.896
AT ITER 1650 NEW BEST:: SOT 949518 SOS 525823 HAS SOPS 525823 HAS SOUS 454794 HAS SOUPS 454794 WITH SCORE 455319.823
AT ITER 1651 NEW BEST:: SOT 949518 SOS 525685 HAS SOPS 525685 HAS SOUS 454794 HAS SOUPS 454794 WITH SCORE 455319.685
AT ITER 1659 NEW BEST:: SOT 948262 SOS 524742 HAS SOPS 524742 HAS SOUS 453538 HAS SOUPS 453538 WITH SCORE 454062.742
AT ITER 1660 NEW BEST:: SOT 948262 SOS 524368 HAS SOPS 524368 HAS SOUS 453538 HAS SOUPS 453538 WITH SCORE 454062.368
AT ITER 1661 NEW BEST:: SOT 948262 SOS 524306 HAS SOPS 524306 HAS SOUS 453522 HAS SOUPS 453522 WITH SCORE 454046.306
AT ITER 1666 NEW BEST:: SOT 948092 SOS 524160 HAS SOPS 524160 HAS SOUS 453376 HAS SOUPS 453376 WITH SCORE 453900.16
AT ITER 1667 NEW BEST:: SOT 948092 SOS 524068 HAS SOPS 524068 HAS SOUS 453376 HAS SOUPS 453376 WITH SCORE 453900.068
AT ITER 1672 NEW BEST:: SOT 947735 SOS 523758 HAS SOPS 523758 HAS SOUS 453066 HAS SOUPS 453066 WITH SCORE 453589.758
AT ITER 1674 NEW BEST:: SOT 946299 SOS 522796 HAS SOPS 522796 HAS SOUS 451825 HAS SOUPS 451825 WITH SCORE 452347.796
AT ITER 1678 NEW BEST:: SOT 945733 SOS 521174 HAS SOPS 521174 HAS SOUS 451141 HAS SOUPS 451141 WITH SCORE 451662.174
AT ITER 1693 NEW BEST:: SOT 945610 SOS 521077 HAS SOPS 521077 HAS SOUS 451047 HAS SOUPS 451047 WITH SCORE 451568.077
AT ITER 1695 NEW BEST:: SOT 945610 SOS 520981 HAS SOPS 520981 HAS SOUS 451047 HAS SOUPS 451047 WITH SCORE 451567.981
AT ITER 1697 NEW BEST:: SOT 945610 SOS 521014 HAS SOPS 521014 HAS SOUS 451030 HAS SOUPS 451030 WITH SCORE 451551.014
AT ITER 1698 NEW BEST:: SOT 944019 SOS 520493 HAS SOPS 520493 HAS SOUS 449787 HAS SOUPS 449787 WITH SCORE 450307.493
AT ITER 1699 NEW BEST:: SOT 943798 SOS 519701 HAS SOPS 519701 HAS SOUS 449235 HAS SOUPS 449235 WITH SCORE 449754.701
AT ITER 1701 NEW BEST:: SOT 943798 SOS 519304 HAS SOPS 519304 HAS SOUS 449235 HAS SOUPS 449235 WITH SCORE 449754.304
AT ITER 1718 NEW BEST:: SOT 942606 SOS 518247 HAS SOPS 518247 HAS SOUS 448287 HAS SOUPS 448287 WITH SCORE 448805.247
AT ITER 1724 NEW BEST:: SOT 942076 SOS 517766 HAS SOPS 517766 HAS SOUS 447876 HAS SOUPS 447876 WITH SCORE 448393.766
AT ITER 1725 NEW BEST:: SOT 942201 SOS 517891 HAS SOPS 517891 HAS SOUS 447700 HAS SOUPS 447700 WITH SCORE 448217.891
AT ITER 1726 NEW BEST:: SOT 942201 SOS 517891 HAS SOPS 517891 HAS SOUS 447664 HAS SOUPS 447664 WITH SCORE 448181.891
AT ITER 1731 NEW BEST:: SOT 942201 SOS 517417 HAS SOPS 517417 HAS SOUS 447664 HAS SOUPS 447664 WITH SCORE 448181.417
AT ITER 1733 NEW BEST:: SOT 942201 SOS 517408 HAS SOPS 517408 HAS SOUS 447664 HAS SOUPS 447664 WITH SCORE 448181.408
AT ITER 1736 NEW BEST:: SOT 942176 SOS 517275 HAS SOPS 517275 HAS SOUS 447507 HAS SOUPS 447507 WITH SCORE 448024.275
AT ITER 1738 NEW BEST:: SOT 942150 SOS 517017 HAS SOPS 517017 HAS SOUS 447433 HAS SOUPS 447433 WITH SCORE 447950.017
AT ITER 1739 NEW BEST:: SOT 942143 SOS 516607 HAS SOPS 516607 HAS SOUS 447368 HAS SOUPS 447368 WITH SCORE 447884.607
AT ITER 1750 NEW BEST:: SOT 942143 SOS 516595 HAS SOPS 516595 HAS SOUS 447368 HAS SOUPS 447368 WITH SCORE 447884.595
AT ITER 1751 NEW BEST:: SOT 942132 SOS 516584 HAS SOPS 516584 HAS SOUS 447357 HAS SOUPS 447357 WITH SCORE 447873.584
AT ITER 1756 NEW BEST:: SOT 942132 SOS 516081 HAS SOPS 516081 HAS SOUS 447357 HAS SOUPS 447357 WITH SCORE 447873.081
AT ITER 1760 NEW BEST:: SOT 942132 SOS 516027 HAS SOPS 516027 HAS SOUS 447357 HAS SOUPS 447357 WITH SCORE 447873.027
AT ITER 1761 NEW BEST:: SOT 942275 SOS 516085 HAS SOPS 516085 HAS SOUS 447294 HAS SOUPS 447294 WITH SCORE 447810.085
AT ITER 1763 NEW BEST:: SOT 942334 SOS 515847 HAS SOPS 515847 HAS SOUS 447127 HAS SOUPS 447127 WITH SCORE 447642.847
AT ITER 1768 NEW BEST:: SOT 942334 SOS 515756 HAS SOPS 515756 HAS SOUS 447127 HAS SOUPS 447127 WITH SCORE 447642.756
AT ITER 1774 NEW BEST:: SOT 942105 SOS 515720 HAS SOPS 515720 HAS SOUS 447091 HAS SOUPS 447091 WITH SCORE 447606.72
AT ITER 1777 NEW BEST:: SOT 942105 SOS 515616 HAS SOPS 515616 HAS SOUS 447023 HAS SOUPS 447023 WITH SCORE 447538.616
AT ITER 1782 NEW BEST:: SOT 941797 SOS 515308 HAS SOPS 515308 HAS SOUS 446559 HAS SOUPS 446559 WITH SCORE 447074.308
AT ITER 1785 NEW BEST:: SOT 941797 SOS 515228 HAS SOPS 515228 HAS SOUS 446559 HAS SOUPS 446559 WITH SCORE 447074.228
AT ITER 1786 NEW BEST:: SOT 941450 SOS 514922 HAS SOPS 514922 HAS SOUS 446494 HAS SOUPS 446494 WITH SCORE 447008.922
AT ITER 1791 NEW BEST:: SOT 941493 SOS 513325 HAS SOPS 513325 HAS SOUS 446266 HAS SOUPS 446266 WITH SCORE 446779.325
AT ITER 1807 NEW BEST:: SOT 941430 SOS 513314 HAS SOPS 513314 HAS SOUS 446255 HAS SOUPS 446255 WITH SCORE 446768.314
AT ITER 1809 NEW BEST:: SOT 941198 SOS 513251 HAS SOPS 513251 HAS SOUS 446192 HAS SOUPS 446192 WITH SCORE 446705.251
AT ITER 1819 NEW BEST:: SOT 941198 SOS 513095 HAS SOPS 513095 HAS SOUS 446185 HAS SOUPS 446185 WITH SCORE 446698.095
AT ITER 1828 NEW BEST:: SOT 940777 SOS 513251 HAS SOPS 513251 HAS SOUS 446081 HAS SOUPS 446081 WITH SCORE 446594.251
AT ITER 1840 NEW BEST:: SOT 940776 SOS 513235 HAS SOPS 513235 HAS SOUS 446046 HAS SOUPS 446046 WITH SCORE 446559.235
AT ITER 1846 NEW BEST:: SOT 940236 SOS 513000 HAS SOPS 513000 HAS SOUS 445591 HAS SOUPS 445591 WITH SCORE 446104.0
AT ITER 1850 NEW BEST:: SOT 939629 SOS 512710 HAS SOPS 512710 HAS SOUS 445483 HAS SOUPS 445483 WITH SCORE 445995.71
AT ITER 1854 NEW BEST:: SOT 939334 SOS 512705 HAS SOPS 512705 HAS SOUS 445221 HAS SOUPS 445221 WITH SCORE 445733.705
AT ITER 1860 NEW BEST:: SOT 939329 SOS 512700 HAS SOPS 512700 HAS SOUS 445216 HAS SOUPS 445216 WITH SCORE 445728.7
AT ITER 1861 NEW BEST:: SOT 939329 SOS 512620 HAS SOPS 512620 HAS SOUS 445136 HAS SOUPS 445136 WITH SCORE 445648.62
AT ITER 1871 NEW BEST:: SOT 939249 SOS 512582 HAS SOPS 512582 HAS SOUS 445063 HAS SOUPS 445063 WITH SCORE 445575.582
AT ITER 1872 NEW BEST:: SOT 938368 SOS 512662 HAS SOPS 512662 HAS SOUS 444329 HAS SOUPS 444329 WITH SCORE 444841.662
AT ITER 1881 NEW BEST:: SOT 938439 SOS 512701 HAS SOPS 512701 HAS SOUS 444304 HAS SOUPS 444304 WITH SCORE 444816.701
AT ITER 1890 NEW BEST:: SOT 938439 SOS 512670 HAS SOPS 512670 HAS SOUS 444304 HAS SOUPS 444304 WITH SCORE 444816.67
AT ITER 1894 NEW BEST:: SOT 938439 SOS 512478 HAS SOPS 512478 HAS SOUS 444304 HAS SOUPS 444304 WITH SCORE 444816.478
AT ITER 1897 NEW BEST:: SOT 937699 SOS 512089 HAS SOPS 512089 HAS SOUS 443889 HAS SOUPS 443889 WITH SCORE 444401.089
AT ITER 1899 NEW BEST:: SOT 937699 SOS 512031 HAS SOPS 512031 HAS SOUS 443889 HAS SOUPS 443889 WITH SCORE 444401.031
AT ITER 1907 NEW BEST:: SOT 936868 SOS 511241 HAS SOPS 511241 HAS SOUS 443500 HAS SOUPS 443500 WITH SCORE 444011.241
AT ITER 1910 NEW BEST:: SOT 936868 SOS 510743 HAS SOPS 510743 HAS SOUS 443452 HAS SOUPS 443452 WITH SCORE 443962.743
AT ITER 1917 NEW BEST:: SOT 936868 SOS 510703 HAS SOPS 510703 HAS SOUS 443452 HAS SOUPS 443452 WITH SCORE 443962.703
AT ITER 1918 NEW BEST:: SOT 936623 SOS 510630 HAS SOPS 510630 HAS SOUS 443379 HAS SOUPS 443379 WITH SCORE 443889.63
AT ITER 1920 NEW BEST:: SOT 936491 SOS 510739 HAS SOPS 510739 HAS SOUS 443346 HAS SOUPS 443346 WITH SCORE 443856.739
AT ITER 1925 NEW BEST:: SOT 936491 SOS 510739 HAS SOPS 510739 HAS SOUS 443314 HAS SOUPS 443314 WITH SCORE 443824.739
AT ITER 1930 NEW BEST:: SOT 936566 SOS 510695 HAS SOPS 510695 HAS SOUS 443270 HAS SOUPS 443270 WITH SCORE 443780.695
AT ITER 1941 NEW BEST:: SOT 936039 SOS 510929 HAS SOPS 510929 HAS SOUS 442757 HAS SOUPS 442757 WITH SCORE 443267.929
AT ITER 1945 NEW BEST:: SOT 936039 SOS 510910 HAS SOPS 510910 HAS SOUS 442757 HAS SOUPS 442757 WITH SCORE 443267.91
AT ITER 1949 NEW BEST:: SOT 935677 SOS 510793 HAS SOPS 510793 HAS SOUS 442640 HAS SOUPS 442640 WITH SCORE 443150.793
AT ITER 1957 NEW BEST:: SOT 935677 SOS 510793 HAS SOPS 510793 HAS SOUS 442470 HAS SOUPS 442470 WITH SCORE 442980.793
AT ITER 1960 NEW BEST:: SOT 935547 SOS 510791 HAS SOPS 510791 HAS SOUS 442340 HAS SOUPS 442340 WITH SCORE 442850.791
AT ITER 1976 NEW BEST:: SOT 935547 SOS 510759 HAS SOPS 510759 HAS SOUS 442340 HAS SOUPS 442340 WITH SCORE 442850.759
AT ITER 1978 NEW BEST:: SOT 935697 SOS 511004 HAS SOPS 511004 HAS SOUS 442285 HAS SOUPS 442285 WITH SCORE 442796.004
AT ITER 1982 NEW BEST:: SOT 934761 SOS 511263 HAS SOPS 511263 HAS SOUS 441460 HAS SOUPS 441460 WITH SCORE 441971.263
AT ITER 1989 NEW BEST:: SOT 934853 SOS 511171 HAS SOPS 511171 HAS SOUS 441460 HAS SOUPS 441460 WITH SCORE 441971.171
AT ITER 1990 NEW BEST:: SOT 934853 SOS 511035 HAS SOPS 511035 HAS SOUS 441454 HAS SOUPS 441454 WITH SCORE 441965.035
AT ITER 1994 NEW BEST:: SOT 934819 SOS 511001 HAS SOPS 511001 HAS SOUS 441420 HAS SOUPS 441420 WITH SCORE 441931.001
AT ITER 1995 NEW BEST:: SOT 934744 SOS 511035 HAS SOPS 511035 HAS SOUS 441157 HAS SOUPS 441157 WITH SCORE 441668.035
AT ITER 2001 NEW BEST:: SOT 934877 SOS 509613 HAS SOPS 509613 HAS SOUS 440825 HAS SOUPS 440825 WITH SCORE 441334.613
AT ITER 2012 NEW BEST:: SOT 934877 SOS 509611 HAS SOPS 509611 HAS SOUS 440823 HAS SOUPS 440823 WITH SCORE 441332.611
AT ITER 2015 NEW BEST:: SOT 934342 SOS 509541 HAS SOPS 509541 HAS SOUS 440634 HAS SOUPS 440634 WITH SCORE 441143.541
AT ITER 2040 NEW BEST:: SOT 934147 SOS 509346 HAS SOPS 509346 HAS SOUS 440439 HAS SOUPS 440439 WITH SCORE 440948.346
AT ITER 2041 NEW BEST:: SOT 934147 SOS 509328 HAS SOPS 509328 HAS SOUS 440439 HAS SOUPS 440439 WITH SCORE 440948.328
AT ITER 2052 NEW BEST:: SOT 934147 SOS 509262 HAS SOPS 509262 HAS SOUS 440266 HAS SOUPS 440266 WITH SCORE 440775.262
AT ITER 2053 NEW BEST:: SOT 934203 SOS 507583 HAS SOPS 507583 HAS SOUS 440215 HAS SOUPS 440215 WITH SCORE 440722.583
AT ITER 2060 NEW BEST:: SOT 934205 SOS 507593 HAS SOPS 507593 HAS SOUS 440184 HAS SOUPS 440184 WITH SCORE 440691.593
AT ITER 2062 NEW BEST:: SOT 934205 SOS 507296 HAS SOPS 507296 HAS SOUS 440184 HAS SOUPS 440184 WITH SCORE 440691.296
AT ITER 2063 NEW BEST:: SOT 934192 SOS 507184 HAS SOPS 507184 HAS SOUS 440097 HAS SOUPS 440097 WITH SCORE 440604.184
AT ITER 2067 NEW BEST:: SOT 933263 SOS 508166 HAS SOPS 508166 HAS SOUS 439797 HAS SOUPS 439797 WITH SCORE 440305.166
AT ITER 2078 NEW BEST:: SOT 933263 SOS 508064 HAS SOPS 508064 HAS SOUS 439797 HAS SOUPS 439797 WITH SCORE 440305.064
AT ITER 2086 NEW BEST:: SOT 933263 SOS 507916 HAS SOPS 507916 HAS SOUS 439650 HAS SOUPS 439650 WITH SCORE 440157.916
AT ITER 2087 NEW BEST:: SOT 932976 SOS 508106 HAS SOPS 508106 HAS SOUS 439496 HAS SOUPS 439496 WITH SCORE 440004.106
AT ITER 2088 NEW BEST:: SOT 932935 SOS 507961 HAS SOPS 507961 HAS SOUS 439413 HAS SOUPS 439413 WITH SCORE 439920.961
AT ITER 2092 NEW BEST:: SOT 932865 SOS 507891 HAS SOPS 507891 HAS SOUS 439325 HAS SOUPS 439325 WITH SCORE 439832.891
AT ITER 2095 NEW BEST:: SOT 932138 SOS 507373 HAS SOPS 507373 HAS SOUS 438887 HAS SOUPS 438887 WITH SCORE 439394.373
AT ITER 2096 NEW BEST:: SOT 931792 SOS 506852 HAS SOPS 506852 HAS SOUS 438692 HAS SOUPS 438692 WITH SCORE 439198.852
AT ITER 2123 NEW BEST:: SOT 931792 SOS 506701 HAS SOPS 506701 HAS SOUS 438692 HAS SOUPS 438692 WITH SCORE 439198.701
AT ITER 2131 NEW BEST:: SOT 931792 SOS 506797 HAS SOPS 506797 HAS SOUS 438678 HAS SOUPS 438678 WITH SCORE 439184.797
AT ITER 2133 NEW BEST:: SOT 931792 SOS 506797 HAS SOPS 506797 HAS SOUS 438594 HAS SOUPS 438594 WITH SCORE 439100.797
AT ITER 2134 NEW BEST:: SOT 930740 SOS 509735 HAS SOPS 509735 HAS SOUS 438353 HAS SOUPS 438353 WITH SCORE 438862.735
AT ITER 2139 NEW BEST:: SOT 930474 SOS 509975 HAS SOPS 509975 HAS SOUS 438111 HAS SOUPS 438111 WITH SCORE 438620.975
AT ITER 2141 NEW BEST:: SOT 930474 SOS 508794 HAS SOPS 508794 HAS SOUS 438010 HAS SOUPS 438010 WITH SCORE 438518.794
AT ITER 2152 NEW BEST:: SOT 930474 SOS 508791 HAS SOPS 508791 HAS SOUS 438010 HAS SOUPS 438010 WITH SCORE 438518.791
AT ITER 2164 NEW BEST:: SOT 930445 SOS 508894 HAS SOPS 508894 HAS SOUS 437981 HAS SOUPS 437981 WITH SCORE 438489.894
AT ITER 2167 NEW BEST:: SOT 930204 SOS 508791 HAS SOPS 508791 HAS SOUS 437878 HAS SOUPS 437878 WITH SCORE 438386.791
AT ITER 2172 NEW BEST:: SOT 929851 SOS 508681 HAS SOPS 508681 HAS SOUS 437768 HAS SOUPS 437768 WITH SCORE 438276.681
AT ITER 2177 NEW BEST:: SOT 929851 SOS 508634 HAS SOPS 508634 HAS SOUS 437768 HAS SOUPS 437768 WITH SCORE 438276.634
AT ITER 2187 NEW BEST:: SOT 929851 SOS 508584 HAS SOPS 508584 HAS SOUS 437768 HAS SOUPS 437768 WITH SCORE 438276.584
AT ITER 2192 NEW BEST:: SOT 929827 SOS 508366 HAS SOPS 508366 HAS SOUS 437690 HAS SOUPS 437690 WITH SCORE 438198.366
AT ITER 2197 NEW BEST:: SOT 929827 SOS 508180 HAS SOPS 508180 HAS SOUS 437690 HAS SOUPS 437690 WITH SCORE 438198.18
AT ITER 2206 NEW BEST:: SOT 929753 SOS 508108 HAS SOPS 508108 HAS SOUS 437328 HAS SOUPS 437328 WITH SCORE 437836.108
AT ITER 2211 NEW BEST:: SOT 929753 SOS 507881 HAS SOPS 507881 HAS SOUS 437328 HAS SOUPS 437328 WITH SCORE 437835.881
AT ITER 2217 NEW BEST:: SOT 929753 SOS 507779 HAS SOPS 507779 HAS SOUS 437328 HAS SOUPS 437328 WITH SCORE 437835.779
AT ITER 2218 NEW BEST:: SOT 929753 SOS 507035 HAS SOPS 507035 HAS SOUS 437328 HAS SOUPS 437328 WITH SCORE 437835.035
AT ITER 2221 NEW BEST:: SOT 929753 SOS 506972 HAS SOPS 506972 HAS SOUS 437328 HAS SOUPS 437328 WITH SCORE 437834.972
AT ITER 2228 NEW BEST:: SOT 929208 SOS 507166 HAS SOPS 507166 HAS SOUS 436895 HAS SOUPS 436895 WITH SCORE 437402.166
AT ITER 2230 NEW BEST:: SOT 929394 SOS 507311 HAS SOPS 507311 HAS SOUS 436835 HAS SOUPS 436835 WITH SCORE 437342.311
AT ITER 2236 NEW BEST:: SOT 929394 SOS 507250 HAS SOPS 507250 HAS SOUS 436835 HAS SOUPS 436835 WITH SCORE 437342.25
AT ITER 2241 NEW BEST:: SOT 929289 SOS 507011 HAS SOPS 507011 HAS SOUS 436195 HAS SOUPS 436195 WITH SCORE 436702.011
AT ITER 2248 NEW BEST:: SOT 929289 SOS 506980 HAS SOPS 506980 HAS SOUS 436195 HAS SOUPS 436195 WITH SCORE 436701.98
AT ITER 2250 NEW BEST:: SOT 929015 SOS 508001 HAS SOPS 508001 HAS SOUS 436097 HAS SOUPS 436097 WITH SCORE 436605.001
AT ITER 2252 NEW BEST:: SOT 929081 SOS 507959 HAS SOPS 507959 HAS SOUS 436020 HAS SOUPS 436020 WITH SCORE 436527.959
AT ITER 2258 NEW BEST:: SOT 929081 SOS 508307 HAS SOPS 508307 HAS SOUS 435958 HAS SOUPS 435958 WITH SCORE 436466.307
AT ITER 2260 NEW BEST:: SOT 928712 SOS 509270 HAS SOPS 509270 HAS SOUS 435747 HAS SOUPS 435747 WITH SCORE 436256.27
AT ITER 2262 NEW BEST:: SOT 928712 SOS 509232 HAS SOPS 509232 HAS SOUS 435723 HAS SOUPS 435723 WITH SCORE 436232.232
AT ITER 2263 NEW BEST:: SOT 926956 SOS 508660 HAS SOPS 508660 HAS SOUS 434695 HAS SOUPS 434695 WITH SCORE 435203.66
AT ITER 2269 NEW BEST:: SOT 926956 SOS 508570 HAS SOPS 508570 HAS SOUS 434645 HAS SOUPS 434645 WITH SCORE 435153.57
AT ITER 2276 NEW BEST:: SOT 927198 SOS 508464 HAS SOPS 508464 HAS SOUS 434356 HAS SOUPS 434356 WITH SCORE 434864.464
AT ITER 2277 NEW BEST:: SOT 927198 SOS 508424 HAS SOPS 508424 HAS SOUS 434356 HAS SOUPS 434356 WITH SCORE 434864.424
AT ITER 2279 NEW BEST:: SOT 927189 SOS 508415 HAS SOPS 508415 HAS SOUS 434347 HAS SOUPS 434347 WITH SCORE 434855.415
AT ITER 2281 NEW BEST:: SOT 926872 SOS 508626 HAS SOPS 508626 HAS SOUS 434030 HAS SOUPS 434030 WITH SCORE 434538.626
AT ITER 2284 NEW BEST:: SOT 926872 SOS 508606 HAS SOPS 508606 HAS SOUS 434030 HAS SOUPS 434030 WITH SCORE 434538.606
AT ITER 2285 NEW BEST:: SOT 926872 SOS 508575 HAS SOPS 508575 HAS SOUS 434030 HAS SOUPS 434030 WITH SCORE 434538.575
AT ITER 2291 NEW BEST:: SOT 926870 SOS 510312 HAS SOPS 510312 HAS SOUS 434028 HAS SOUPS 434028 WITH SCORE 434538.312
AT ITER 2293 NEW BEST:: SOT 926870 SOS 510280 HAS SOPS 510280 HAS SOUS 434028 HAS SOUPS 434028 WITH SCORE 434538.28
AT ITER 2298 NEW BEST:: SOT 926870 SOS 510429 HAS SOPS 510429 HAS SOUS 433977 HAS SOUPS 433977 WITH SCORE 434487.429
AT ITER 2300 NEW BEST:: SOT 926666 SOS 510855 HAS SOPS 510855 HAS SOUS 433773 HAS SOUPS 433773 WITH SCORE 434283.855
AT ITER 2301 NEW BEST:: SOT 926625 SOS 510598 HAS SOPS 510598 HAS SOUS 433582 HAS SOUPS 433582 WITH SCORE 434092.598
AT ITER 2302 NEW BEST:: SOT 926326 SOS 510352 HAS SOPS 510352 HAS SOUS 433362 HAS SOUPS 433362 WITH SCORE 433872.352
AT ITER 2303 NEW BEST:: SOT 926326 SOS 510254 HAS SOPS 510254 HAS SOUS 433328 HAS SOUPS 433328 WITH SCORE 433838.254
AT ITER 2309 NEW BEST:: SOT 926519 SOS 510121 HAS SOPS 510121 HAS SOUS 433328 HAS SOUPS 433328 WITH SCORE 433838.121
AT ITER 2311 NEW BEST:: SOT 926022 SOS 510208 HAS SOPS 510208 HAS SOUS 433308 HAS SOUPS 433308 WITH SCORE 433818.208
AT ITER 2314 NEW BEST:: SOT 925998 SOS 509935 HAS SOPS 509935 HAS SOUS 433246 HAS SOUPS 433246 WITH SCORE 433755.935
AT ITER 2315 NEW BEST:: SOT 926043 SOS 509659 HAS SOPS 509659 HAS SOUS 432824 HAS SOUPS 432824 WITH SCORE 433333.659
AT ITER 2320 NEW BEST:: SOT 926165 SOS 509275 HAS SOPS 509275 HAS SOUS 432707 HAS SOUPS 432707 WITH SCORE 433216.275
AT ITER 2321 NEW BEST:: SOT 926165 SOS 509061 HAS SOPS 509061 HAS SOUS 432707 HAS SOUPS 432707 WITH SCORE 433216.061
AT ITER 2334 NEW BEST:: SOT 926165 SOS 508774 HAS SOPS 508774 HAS SOUS 432707 HAS SOUPS 432707 WITH SCORE 433215.774
AT ITER 2337 NEW BEST:: SOT 926012 SOS 508645 HAS SOPS 508645 HAS SOUS 432578 HAS SOUPS 432578 WITH SCORE 433086.645
AT ITER 2340 NEW BEST:: SOT 925527 SOS 508935 HAS SOPS 508935 HAS SOUS 432263 HAS SOUPS 432263 WITH SCORE 432771.935
AT ITER 2358 NEW BEST:: SOT 925315 SOS 508610 HAS SOPS 508610 HAS SOUS 431839 HAS SOUPS 431839 WITH SCORE 432347.61
AT ITER 2368 NEW BEST:: SOT 925227 SOS 508434 HAS SOPS 508434 HAS SOUS 431663 HAS SOUPS 431663 WITH SCORE 432171.434
AT ITER 2371 NEW BEST:: SOT 925227 SOS 507510 HAS SOPS 507510 HAS SOUS 431663 HAS SOUPS 431663 WITH SCORE 432170.51
AT ITER 2372 NEW BEST:: SOT 925227 SOS 507056 HAS SOPS 507056 HAS SOUS 431663 HAS SOUPS 431663 WITH SCORE 432170.056
AT ITER 2376 NEW BEST:: SOT 924561 SOS 506667 HAS SOPS 506667 HAS SOUS 431529 HAS SOUPS 431529 WITH SCORE 432035.667
AT ITER 2385 NEW BEST:: SOT 924155 SOS 506326 HAS SOPS 506326 HAS SOUS 431255 HAS SOUPS 431255 WITH SCORE 431761.326
AT ITER 2393 NEW BEST:: SOT 924157 SOS 506328 HAS SOPS 506328 HAS SOUS 431239 HAS SOUPS 431239 WITH SCORE 431745.328
AT ITER 2397 NEW BEST:: SOT 924088 SOS 506205 HAS SOPS 506205 HAS SOUS 431224 HAS SOUPS 431224 WITH SCORE 431730.205
AT ITER 2410 NEW BEST:: SOT 923766 SOS 506270 HAS SOPS 506270 HAS SOUS 431021 HAS SOUPS 431021 WITH SCORE 431527.27
AT ITER 2425 NEW BEST:: SOT 923766 SOS 506315 HAS SOPS 506315 HAS SOUS 430941 HAS SOUPS 430941 WITH SCORE 431447.315
AT ITER 2431 NEW BEST:: SOT 923766 SOS 506315 HAS SOPS 506315 HAS SOUS 430938 HAS SOUPS 430938 WITH SCORE 431444.315
AT ITER 2442 NEW BEST:: SOT 923416 SOS 506998 HAS SOPS 506998 HAS SOUS 430883 HAS SOUPS 430883 WITH SCORE 431389.998
AT ITER 2443 NEW BEST:: SOT 923416 SOS 506991 HAS SOPS 506991 HAS SOUS 430883 HAS SOUPS 430883 WITH SCORE 431389.991
AT ITER 2457 NEW BEST:: SOT 923416 SOS 506231 HAS SOPS 506231 HAS SOUS 430883 HAS SOUPS 430883 WITH SCORE 431389.231
AT ITER 2467 NEW BEST:: SOT 923269 SOS 505985 HAS SOPS 505985 HAS SOUS 430633 HAS SOUPS 430633 WITH SCORE 431138.985
AT ITER 2475 NEW BEST:: SOT 922920 SOS 510806 HAS SOPS 510806 HAS SOUS 430619 HAS SOUPS 430619 WITH SCORE 431129.806
AT ITER 2481 NEW BEST:: SOT 922920 SOS 510790 HAS SOPS 510790 HAS SOUS 430619 HAS SOUPS 430619 WITH SCORE 431129.79
AT ITER 2510 NEW BEST:: SOT 922920 SOS 510646 HAS SOPS 510646 HAS SOUS 430585 HAS SOUPS 430585 WITH SCORE 431095.646
AT ITER 2511 NEW BEST:: SOT 922285 SOS 510458 HAS SOPS 510458 HAS SOUS 430236 HAS SOUPS 430236 WITH SCORE 430746.458
AT ITER 2516 NEW BEST:: SOT 922285 SOS 510388 HAS SOPS 510388 HAS SOUS 430236 HAS SOUPS 430236 WITH SCORE 430746.388
AT ITER 2517 NEW BEST:: SOT 920965 SOS 509480 HAS SOPS 509480 HAS SOUS 429225 HAS SOUPS 429225 WITH SCORE 429734.48
AT ITER 2526 NEW BEST:: SOT 920965 SOS 509438 HAS SOPS 509438 HAS SOUS 429225 HAS SOUPS 429225 WITH SCORE 429734.438
AT ITER 2536 NEW BEST:: SOT 920965 SOS 509432 HAS SOPS 509432 HAS SOUS 429225 HAS SOUPS 429225 WITH SCORE 429734.432
AT ITER 2538 NEW BEST:: SOT 920965 SOS 509370 HAS SOPS 509370 HAS SOUS 429225 HAS SOUPS 429225 WITH SCORE 429734.37
AT ITER 2555 NEW BEST:: SOT 920960 SOS 509375 HAS SOPS 509375 HAS SOUS 429220 HAS SOUPS 429220 WITH SCORE 429729.375
AT ITER 2576 NEW BEST:: SOT 920960 SOS 509321 HAS SOPS 509321 HAS SOUS 428859 HAS SOUPS 428859 WITH SCORE 429368.321
AT ITER 2592 NEW BEST:: SOT 920835 SOS 510047 HAS SOPS 510047 HAS SOUS 428833 HAS SOUPS 428833 WITH SCORE 429343.047
AT ITER 2595 NEW BEST:: SOT 919818 SOS 510168 HAS SOPS 510168 HAS SOUS 427968 HAS SOUPS 427968 WITH SCORE 428478.168
AT ITER 2605 NEW BEST:: SOT 919818 SOS 510168 HAS SOPS 510168 HAS SOUS 427962 HAS SOUPS 427962 WITH SCORE 428472.168
AT ITER 2607 NEW BEST:: SOT 919818 SOS 510140 HAS SOPS 510140 HAS SOUS 427911 HAS SOUPS 427911 WITH SCORE 428421.14
AT ITER 2608 NEW BEST:: SOT 919818 SOS 510059 HAS SOPS 510059 HAS SOUS 427911 HAS SOUPS 427911 WITH SCORE 428421.059
AT ITER 2635 NEW BEST:: SOT 919171 SOS 510580 HAS SOPS 510580 HAS SOUS 427849 HAS SOUPS 427849 WITH SCORE 428359.58
AT ITER 2636 NEW BEST:: SOT 918696 SOS 511875 HAS SOPS 511875 HAS SOUS 427804 HAS SOUPS 427804 WITH SCORE 428315.875
AT ITER 2638 NEW BEST:: SOT 918696 SOS 511829 HAS SOPS 511829 HAS SOUS 427758 HAS SOUPS 427758 WITH SCORE 428269.829
AT ITER 2641 NEW BEST:: SOT 918718 SOS 511651 HAS SOPS 511651 HAS SOUS 427580 HAS SOUPS 427580 WITH SCORE 428091.651
AT ITER 2645 NEW BEST:: SOT 918671 SOS 511491 HAS SOPS 511491 HAS SOUS 427482 HAS SOUPS 427482 WITH SCORE 427993.491
AT ITER 2646 NEW BEST:: SOT 918671 SOS 509754 HAS SOPS 509754 HAS SOUS 427452 HAS SOUPS 427452 WITH SCORE 427961.754
AT ITER 2656 NEW BEST:: SOT 918112 SOS 510779 HAS SOPS 510779 HAS SOUS 427413 HAS SOUPS 427413 WITH SCORE 427923.779
AT ITER 2660 NEW BEST:: SOT 918040 SOS 510707 HAS SOPS 510707 HAS SOUS 427341 HAS SOUPS 427341 WITH SCORE 427851.707
AT ITER 2676 NEW BEST:: SOT 917970 SOS 510637 HAS SOPS 510637 HAS SOUS 427218 HAS SOUPS 427218 WITH SCORE 427728.637
AT ITER 2679 NEW BEST:: SOT 916846 SOS 509941 HAS SOPS 509941 HAS SOUS 426708 HAS SOUPS 426708 WITH SCORE 427217.941
AT ITER 2680 NEW BEST:: SOT 916846 SOS 510146 HAS SOPS 510146 HAS SOUS 426695 HAS SOUPS 426695 WITH SCORE 427205.146
AT ITER 2684 NEW BEST:: SOT 916846 SOS 510020 HAS SOPS 510020 HAS SOUS 426695 HAS SOUPS 426695 WITH SCORE 427205.02
AT ITER 2687 NEW BEST:: SOT 916846 SOS 509915 HAS SOPS 509915 HAS SOUS 426695 HAS SOUPS 426695 WITH SCORE 427204.915
AT ITER 2697 NEW BEST:: SOT 916849 SOS 510020 HAS SOPS 510020 HAS SOUS 426537 HAS SOUPS 426537 WITH SCORE 427047.02
AT ITER 2702 NEW BEST:: SOT 916849 SOS 510020 HAS SOPS 510020 HAS SOUS 426460 HAS SOUPS 426460 WITH SCORE 426970.02
AT ITER 2703 NEW BEST:: SOT 916880 SOS 509879 HAS SOPS 509879 HAS SOUS 426448 HAS SOUPS 426448 WITH SCORE 426957.879
AT ITER 2705 NEW BEST:: SOT 916880 SOS 509778 HAS SOPS 509778 HAS SOUS 426448 HAS SOUPS 426448 WITH SCORE 426957.778
AT ITER 2706 NEW BEST:: SOT 915050 SOS 508209 HAS SOPS 508209 HAS SOUS 425052 HAS SOUPS 425052 WITH SCORE 425560.209
AT ITER 2711 NEW BEST:: SOT 914993 SOS 508682 HAS SOPS 508682 HAS SOUS 424995 HAS SOUPS 424995 WITH SCORE 425503.682
AT ITER 2718 NEW BEST:: SOT 914434 SOS 508227 HAS SOPS 508227 HAS SOUS 424632 HAS SOUPS 424632 WITH SCORE 425140.227
AT ITER 2723 NEW BEST:: SOT 914434 SOS 508138 HAS SOPS 508138 HAS SOUS 424632 HAS SOUPS 424632 WITH SCORE 425140.138
AT ITER 2725 NEW BEST:: SOT 913155 SOS 508175 HAS SOPS 508175 HAS SOUS 423786 HAS SOUPS 423786 WITH SCORE 424294.175
AT ITER 2726 NEW BEST:: SOT 913155 SOS 508085 HAS SOPS 508085 HAS SOUS 423750 HAS SOUPS 423750 WITH SCORE 424258.085
AT ITER 2729 NEW BEST:: SOT 913155 SOS 508085 HAS SOPS 508085 HAS SOUS 423680 HAS SOUPS 423680 WITH SCORE 424188.085
AT ITER 2736 NEW BEST:: SOT 913155 SOS 508062 HAS SOPS 508062 HAS SOUS 423680 HAS SOUPS 423680 WITH SCORE 424188.062
AT ITER 2739 NEW BEST:: SOT 913128 SOS 508035 HAS SOPS 508035 HAS SOUS 423653 HAS SOUPS 423653 WITH SCORE 424161.035
AT ITER 2742 NEW BEST:: SOT 912908 SOS 507935 HAS SOPS 507935 HAS SOUS 423553 HAS SOUPS 423553 WITH SCORE 424060.935
AT ITER 2754 NEW BEST:: SOT 912838 SOS 507875 HAS SOPS 507875 HAS SOUS 423493 HAS SOUPS 423493 WITH SCORE 424000.875
AT ITER 2776 NEW BEST:: SOT 912838 SOS 507798 HAS SOPS 507798 HAS SOUS 423493 HAS SOUPS 423493 WITH SCORE 424000.798
AT ITER 2778 NEW BEST:: SOT 912838 SOS 508111 HAS SOPS 508111 HAS SOUS 423466 HAS SOUPS 423466 WITH SCORE 423974.111
AT ITER 2784 NEW BEST:: SOT 912689 SOS 508025 HAS SOPS 508025 HAS SOUS 423434 HAS SOUPS 423434 WITH SCORE 423942.025
AT ITER 2789 NEW BEST:: SOT 912517 SOS 507896 HAS SOPS 507896 HAS SOUS 423305 HAS SOUPS 423305 WITH SCORE 423812.896
AT ITER 2798 NEW BEST:: SOT 912511 SOS 507890 HAS SOPS 507890 HAS SOUS 423299 HAS SOUPS 423299 WITH SCORE 423806.89
AT ITER 2809 NEW BEST:: SOT 912433 SOS 507825 HAS SOPS 507825 HAS SOUS 423221 HAS SOUPS 423221 WITH SCORE 423728.825
AT ITER 2820 NEW BEST:: SOT 912433 SOS 506908 HAS SOPS 506908 HAS SOUS 422967 HAS SOUPS 422967 WITH SCORE 423473.908
AT ITER 2822 NEW BEST:: SOT 912408 SOS 506273 HAS SOPS 506273 HAS SOUS 422683 HAS SOUPS 422683 WITH SCORE 423189.273
AT ITER 2830 NEW BEST:: SOT 912329 SOS 506194 HAS SOPS 506194 HAS SOUS 422604 HAS SOUPS 422604 WITH SCORE 423110.194
AT ITER 2833 NEW BEST:: SOT 912227 SOS 505779 HAS SOPS 505779 HAS SOUS 422406 HAS SOUPS 422406 WITH SCORE 422911.779
AT ITER 2837 NEW BEST:: SOT 912208 SOS 505546 HAS SOPS 505546 HAS SOUS 422386 HAS SOUPS 422386 WITH SCORE 422891.546
AT ITER 2838 NEW BEST:: SOT 911941 SOS 505379 HAS SOPS 505379 HAS SOUS 422327 HAS SOUPS 422327 WITH SCORE 422832.379
AT ITER 2843 NEW BEST:: SOT 911872 SOS 505310 HAS SOPS 505310 HAS SOUS 422300 HAS SOUPS 422300 WITH SCORE 422805.31
AT ITER 2874 NEW BEST:: SOT 911870 SOS 505308 HAS SOPS 505308 HAS SOUS 422298 HAS SOUPS 422298 WITH SCORE 422803.308
AT ITER 2881 NEW BEST:: SOT 911870 SOS 505308 HAS SOPS 505308 HAS SOUS 422204 HAS SOUPS 422204 WITH SCORE 422709.308
AT ITER 2885 NEW BEST:: SOT 911889 SOS 505276 HAS SOPS 505276 HAS SOUS 422195 HAS SOUPS 422195 WITH SCORE 422700.276
AT ITER 2887 NEW BEST:: SOT 911805 SOS 505213 HAS SOPS 505213 HAS SOUS 422132 HAS SOUPS 422132 WITH SCORE 422637.213
AT ITER 2902 NEW BEST:: SOT 911627 SOS 505035 HAS SOPS 505035 HAS SOUS 421796 HAS SOUPS 421796 WITH SCORE 422301.035
AT ITER 2910 NEW BEST:: SOT 911627 SOS 504837 HAS SOPS 504837 HAS SOUS 421796 HAS SOUPS 421796 WITH SCORE 422300.837
AT ITER 2912 NEW BEST:: SOT 911265 SOS 505035 HAS SOPS 505035 HAS SOUS 421601 HAS SOUPS 421601 WITH SCORE 422106.035
AT ITER 2915 NEW BEST:: SOT 911215 SOS 505799 HAS SOPS 505799 HAS SOUS 421551 HAS SOUPS 421551 WITH SCORE 422056.799
AT ITER 2916 NEW BEST:: SOT 910754 SOS 505430 HAS SOPS 505430 HAS SOUS 421182 HAS SOUPS 421182 WITH SCORE 421687.43
AT ITER 2919 NEW BEST:: SOT 910754 SOS 504873 HAS SOPS 504873 HAS SOUS 421007 HAS SOUPS 421007 WITH SCORE 421511.873
AT ITER 2931 NEW BEST:: SOT 909268 SOS 504895 HAS SOPS 504895 HAS SOUS 419888 HAS SOUPS 419888 WITH SCORE 420392.895
AT ITER 2932 NEW BEST:: SOT 909081 SOS 505161 HAS SOPS 505161 HAS SOUS 419872 HAS SOUPS 419872 WITH SCORE 420377.161
AT ITER 2934 NEW BEST:: SOT 908761 SOS 504905 HAS SOPS 504905 HAS SOUS 419552 HAS SOUPS 419552 WITH SCORE 420056.905
AT ITER 2957 NEW BEST:: SOT 908761 SOS 504787 HAS SOPS 504787 HAS SOUS 419552 HAS SOUPS 419552 WITH SCORE 420056.787
AT ITER 2960 NEW BEST:: SOT 908798 SOS 501417 HAS SOPS 501417 HAS SOUS 419364 HAS SOUPS 419364 WITH SCORE 419865.417
AT ITER 2982 NEW BEST:: SOT 908691 SOS 501310 HAS SOPS 501310 HAS SOUS 419257 HAS SOUPS 419257 WITH SCORE 419758.31
AT ITER 2984 NEW BEST:: SOT 908733 SOS 501094 HAS SOPS 501094 HAS SOUS 418988 HAS SOUPS 418988 WITH SCORE 419489.094
AT ITER 2993 NEW BEST:: SOT 908733 SOS 501121 HAS SOPS 501121 HAS SOUS 418963 HAS SOUPS 418963 WITH SCORE 419464.121
AT ITER 3012 NEW BEST:: SOT 908693 SOS 501065 HAS SOPS 501065 HAS SOUS 418883 HAS SOUPS 418883 WITH SCORE 419384.065
AT ITER 3017 NEW BEST:: SOT 908693 SOS 501075 HAS SOPS 501075 HAS SOUS 418873 HAS SOUPS 418873 WITH SCORE 419374.075
AT ITER 3027 NEW BEST:: SOT 908693 SOS 501012 HAS SOPS 501012 HAS SOUS 418873 HAS SOUPS 418873 WITH SCORE 419374.012
AT ITER 3033 NEW BEST:: SOT 908539 SOS 500889 HAS SOPS 500889 HAS SOUS 418750 HAS SOUPS 418750 WITH SCORE 419250.889
AT ITER 3044 NEW BEST:: SOT 908436 SOS 500786 HAS SOPS 500786 HAS SOUS 418647 HAS SOUPS 418647 WITH SCORE 419147.786
AT ITER 3048 NEW BEST:: SOT 908413 SOS 500763 HAS SOPS 500763 HAS SOUS 418563 HAS SOUPS 418563 WITH SCORE 419063.763
AT ITER 3056 NEW BEST:: SOT 908150 SOS 501955 HAS SOPS 501955 HAS SOUS 418511 HAS SOUPS 418511 WITH SCORE 419012.955
AT ITER 3061 NEW BEST:: SOT 908256 SOS 501641 HAS SOPS 501641 HAS SOUS 418359 HAS SOUPS 418359 WITH SCORE 418860.641
AT ITER 3072 NEW BEST:: SOT 908143 SOS 501295 HAS SOPS 501295 HAS SOUS 418092 HAS SOUPS 418092 WITH SCORE 418593.295
AT ITER 3076 NEW BEST:: SOT 908143 SOS 501266 HAS SOPS 501266 HAS SOUS 418092 HAS SOUPS 418092 WITH SCORE 418593.266
AT ITER 3079 NEW BEST:: SOT 907856 SOS 501095 HAS SOPS 501095 HAS SOUS 417921 HAS SOUPS 417921 WITH SCORE 418422.095
AT ITER 3081 NEW BEST:: SOT 907839 SOS 501073 HAS SOPS 501073 HAS SOUS 417865 HAS SOUPS 417865 WITH SCORE 418366.073
AT ITER 3084 NEW BEST:: SOT 907839 SOS 501073 HAS SOPS 501073 HAS SOUS 417768 HAS SOUPS 417768 WITH SCORE 418269.073
AT ITER 3090 NEW BEST:: SOT 907800 SOS 501098 HAS SOPS 501098 HAS SOUS 417616 HAS SOUPS 417616 WITH SCORE 418117.098
AT ITER 3093 NEW BEST:: SOT 907796 SOS 501094 HAS SOPS 501094 HAS SOUS 417612 HAS SOUPS 417612 WITH SCORE 418113.094
AT ITER 3099 NEW BEST:: SOT 907740 SOS 500991 HAS SOPS 500991 HAS SOUS 417509 HAS SOUPS 417509 WITH SCORE 418009.991
AT ITER 3103 NEW BEST:: SOT 907159 SOS 501772 HAS SOPS 501772 HAS SOUS 417134 HAS SOUPS 417134 WITH SCORE 417635.772
AT ITER 3107 NEW BEST:: SOT 907103 SOS 501873 HAS SOPS 501873 HAS SOUS 417129 HAS SOUPS 417129 WITH SCORE 417630.873
AT ITER 3112 NEW BEST:: SOT 907043 SOS 501813 HAS SOPS 501813 HAS SOUS 417052 HAS SOUPS 417052 WITH SCORE 417553.813
AT ITER 3113 NEW BEST:: SOT 907033 SOS 502188 HAS SOPS 502188 HAS SOUS 416835 HAS SOUPS 416835 WITH SCORE 417337.188
AT ITER 3114 NEW BEST:: SOT 905933 SOS 501924 HAS SOPS 501924 HAS SOUS 416708 HAS SOUPS 416708 WITH SCORE 417209.924
AT ITER 3123 NEW BEST:: SOT 905933 SOS 501916 HAS SOPS 501916 HAS SOUS 416708 HAS SOUPS 416708 WITH SCORE 417209.916
AT ITER 3135 NEW BEST:: SOT 906312 SOS 501581 HAS SOPS 501581 HAS SOUS 416629 HAS SOUPS 416629 WITH SCORE 417130.581
AT ITER 3143 NEW BEST:: SOT 906312 SOS 501543 HAS SOPS 501543 HAS SOUS 416629 HAS SOUPS 416629 WITH SCORE 417130.543
AT ITER 3144 NEW BEST:: SOT 905873 SOS 501108 HAS SOPS 501108 HAS SOUS 416402 HAS SOUPS 416402 WITH SCORE 416903.108
AT ITER 3150 NEW BEST:: SOT 905902 SOS 501011 HAS SOPS 501011 HAS SOUS 416402 HAS SOUPS 416402 WITH SCORE 416903.011
AT ITER 3152 NEW BEST:: SOT 905902 SOS 500982 HAS SOPS 500982 HAS SOUS 416318 HAS SOUPS 416318 WITH SCORE 416818.982
AT ITER 3154 NEW BEST:: SOT 905775 SOS 500701 HAS SOPS 500701 HAS SOUS 416274 HAS SOUPS 416274 WITH SCORE 416774.701
AT ITER 3159 NEW BEST:: SOT 905775 SOS 500696 HAS SOPS 500696 HAS SOUS 416269 HAS SOUPS 416269 WITH SCORE 416769.696
AT ITER 3160 NEW BEST:: SOT 905658 SOS 500673 HAS SOPS 500673 HAS SOUS 416246 HAS SOUPS 416246 WITH SCORE 416746.673
AT ITER 3167 NEW BEST:: SOT 905594 SOS 500617 HAS SOPS 500617 HAS SOUS 416190 HAS SOUPS 416190 WITH SCORE 416690.617
AT ITER 3170 NEW BEST:: SOT 905594 SOS 500573 HAS SOPS 500573 HAS SOUS 416190 HAS SOUPS 416190 WITH SCORE 416690.573
AT ITER 3179 NEW BEST:: SOT 905594 SOS 500655 HAS SOPS 500655 HAS SOUS 416188 HAS SOUPS 416188 WITH SCORE 416688.655
AT ITER 3183 NEW BEST:: SOT 905563 SOS 500550 HAS SOPS 500550 HAS SOUS 416116 HAS SOUPS 416116 WITH SCORE 416616.55
AT ITER 3184 NEW BEST:: SOT 905563 SOS 500567 HAS SOPS 500567 HAS SOUS 416106 HAS SOUPS 416106 WITH SCORE 416606.567
AT ITER 3185 NEW BEST:: SOT 905563 SOS 499083 HAS SOPS 499083 HAS SOUS 415898 HAS SOUPS 415898 WITH SCORE 416397.083
AT ITER 3189 NEW BEST:: SOT 905563 SOS 499064 HAS SOPS 499064 HAS SOUS 415898 HAS SOUPS 415898 WITH SCORE 416397.064
AT ITER 3195 NEW BEST:: SOT 905563 SOS 499052 HAS SOPS 499052 HAS SOUS 415898 HAS SOUPS 415898 WITH SCORE 416397.052
AT ITER 3202 NEW BEST:: SOT 905563 SOS 499004 HAS SOPS 499004 HAS SOUS 415898 HAS SOUPS 415898 WITH SCORE 416397.004
AT ITER 3204 NEW BEST:: SOT 905563 SOS 498973 HAS SOPS 498973 HAS SOUS 415898 HAS SOUPS 415898 WITH SCORE 416396.973
AT ITER 3207 NEW BEST:: SOT 905673 SOS 497928 HAS SOPS 497928 HAS SOUS 415853 HAS SOUPS 415853 WITH SCORE 416350.928
AT ITER 3211 NEW BEST:: SOT 905052 SOS 497499 HAS SOPS 497499 HAS SOUS 415467 HAS SOUPS 415467 WITH SCORE 415964.499
AT ITER 3222 NEW BEST:: SOT 905052 SOS 497464 HAS SOPS 497464 HAS SOUS 415467 HAS SOUPS 415467 WITH SCORE 415964.464
AT ITER 3235 NEW BEST:: SOT 904856 SOS 497456 HAS SOPS 497456 HAS SOUS 415459 HAS SOUPS 415459 WITH SCORE 415956.456
AT ITER 3247 NEW BEST:: SOT 904152 SOS 497098 HAS SOPS 497098 HAS SOUS 415035 HAS SOUPS 415035 WITH SCORE 415532.098
AT ITER 3248 NEW BEST:: SOT 904152 SOS 496997 HAS SOPS 496997 HAS SOUS 415001 HAS SOUPS 415001 WITH SCORE 415497.997
AT ITER 3253 NEW BEST:: SOT 904136 SOS 496989 HAS SOPS 496989 HAS SOUS 414985 HAS SOUPS 414985 WITH SCORE 415481.989
AT ITER 3271 NEW BEST:: SOT 903788 SOS 496678 HAS SOPS 496678 HAS SOUS 414647 HAS SOUPS 414647 WITH SCORE 415143.678
AT ITER 3279 NEW BEST:: SOT 903834 SOS 495161 HAS SOPS 495161 HAS SOUS 414535 HAS SOUPS 414535 WITH SCORE 415030.161
AT ITER 3284 NEW BEST:: SOT 903834 SOS 495110 HAS SOPS 495110 HAS SOUS 414451 HAS SOUPS 414451 WITH SCORE 414946.11
AT ITER 3292 NEW BEST:: SOT 903842 SOS 494694 HAS SOPS 494694 HAS SOUS 414317 HAS SOUPS 414317 WITH SCORE 414811.694
AT ITER 3295 NEW BEST:: SOT 903076 SOS 494981 HAS SOPS 494981 HAS SOUS 414266 HAS SOUPS 414266 WITH SCORE 414760.981
AT ITER 3303 NEW BEST:: SOT 903076 SOS 494946 HAS SOPS 494946 HAS SOUS 414252 HAS SOUPS 414252 WITH SCORE 414746.946
AT ITER 3304 NEW BEST:: SOT 903185 SOS 494878 HAS SOPS 494878 HAS SOUS 414186 HAS SOUPS 414186 WITH SCORE 414680.878
AT ITER 3305 NEW BEST:: SOT 903185 SOS 494877 HAS SOPS 494877 HAS SOUS 414077 HAS SOUPS 414077 WITH SCORE 414571.877
AT ITER 3307 NEW BEST:: SOT 903053 SOS 494586 HAS SOPS 494586 HAS SOUS 413811 HAS SOUPS 413811 WITH SCORE 414305.586
AT ITER 3309 NEW BEST:: SOT 903053 SOS 494670 HAS SOPS 494670 HAS SOUS 413810 HAS SOUPS 413810 WITH SCORE 414304.67
AT ITER 3311 NEW BEST:: SOT 903017 SOS 494617 HAS SOPS 494617 HAS SOUS 413723 HAS SOUPS 413723 WITH SCORE 414217.617
AT ITER 3324 NEW BEST:: SOT 903017 SOS 494608 HAS SOPS 494608 HAS SOUS 413723 HAS SOUPS 413723 WITH SCORE 414217.608
AT ITER 3335 NEW BEST:: SOT 902985 SOS 494844 HAS SOPS 494844 HAS SOUS 413678 HAS SOUPS 413678 WITH SCORE 414172.844
AT ITER 3347 NEW BEST:: SOT 901019 SOS 493477 HAS SOPS 493477 HAS SOUS 413542 HAS SOUPS 413542 WITH SCORE 414035.477
AT ITER 3350 NEW BEST:: SOT 900815 SOS 493319 HAS SOPS 493319 HAS SOUS 413384 HAS SOUPS 413384 WITH SCORE 413877.319
AT ITER 3352 NEW BEST:: SOT 900815 SOS 493315 HAS SOPS 493315 HAS SOUS 413384 HAS SOUPS 413384 WITH SCORE 413877.315
AT ITER 3354 NEW BEST:: SOT 900815 SOS 493193 HAS SOPS 493193 HAS SOUS 413384 HAS SOUPS 413384 WITH SCORE 413877.193
AT ITER 3358 NEW BEST:: SOT 900789 SOS 493167 HAS SOPS 493167 HAS SOUS 413183 HAS SOUPS 413183 WITH SCORE 413676.167
AT ITER 3366 NEW BEST:: SOT 900432 SOS 492933 HAS SOPS 492933 HAS SOUS 412949 HAS SOUPS 412949 WITH SCORE 413441.933
AT ITER 3373 NEW BEST:: SOT 900432 SOS 492640 HAS SOPS 492640 HAS SOUS 412949 HAS SOUPS 412949 WITH SCORE 413441.64
AT ITER 3377 NEW BEST:: SOT 900432 SOS 492548 HAS SOPS 492548 HAS SOUS 412949 HAS SOUPS 412949 WITH SCORE 413441.548
AT ITER 3394 NEW BEST:: SOT 900215 SOS 492404 HAS SOPS 492404 HAS SOUS 412874 HAS SOUPS 412874 WITH SCORE 413366.404
AT ITER 3399 NEW BEST:: SOT 900157 SOS 492346 HAS SOPS 492346 HAS SOUS 412816 HAS SOUPS 412816 WITH SCORE 413308.346
AT ITER 3402 NEW BEST:: SOT 900157 SOS 492271 HAS SOPS 492271 HAS SOUS 412816 HAS SOUPS 412816 WITH SCORE 413308.271
AT ITER 3413 NEW BEST:: SOT 899623 SOS 493224 HAS SOPS 493224 HAS SOUS 412763 HAS SOUPS 412763 WITH SCORE 413256.224
AT ITER 3428 NEW BEST:: SOT 899623 SOS 493441 HAS SOPS 493441 HAS SOUS 412614 HAS SOUPS 412614 WITH SCORE 413107.441
AT ITER 3430 NEW BEST:: SOT 899460 SOS 488580 HAS SOPS 488580 HAS SOUS 411736 HAS SOUPS 411736 WITH SCORE 412224.58
AT ITER 3439 NEW BEST:: SOT 899344 SOS 488466 HAS SOPS 488466 HAS SOUS 411587 HAS SOUPS 411587 WITH SCORE 412075.466
AT ITER 3440 NEW BEST:: SOT 899297 SOS 488419 HAS SOPS 488419 HAS SOUS 411540 HAS SOUPS 411540 WITH SCORE 412028.419
AT ITER 3453 NEW BEST:: SOT 899225 SOS 488371 HAS SOPS 488371 HAS SOUS 411397 HAS SOUPS 411397 WITH SCORE 411885.371
AT ITER 3457 NEW BEST:: SOT 899225 SOS 488187 HAS SOPS 488187 HAS SOUS 411397 HAS SOUPS 411397 WITH SCORE 411885.187
AT ITER 3458 NEW BEST:: SOT 898756 SOS 487859 HAS SOPS 487859 HAS SOUS 411069 HAS SOUPS 411069 WITH SCORE 411556.859
AT ITER 3483 NEW BEST:: SOT 898756 SOS 487859 HAS SOPS 487859 HAS SOUS 411044 HAS SOUPS 411044 WITH SCORE 411531.859
AT ITER 3489 NEW BEST:: SOT 898756 SOS 487769 HAS SOPS 487769 HAS SOUS 410891 HAS SOUPS 410891 WITH SCORE 411378.769
AT ITER 3490 NEW BEST:: SOT 898253 SOS 487429 HAS SOPS 487429 HAS SOUS 410838 HAS SOUPS 410838 WITH SCORE 411325.429
AT ITER 3492 NEW BEST:: SOT 897996 SOS 488890 HAS SOPS 488890 HAS SOUS 410608 HAS SOUPS 410608 WITH SCORE 411096.89
AT ITER 3503 NEW BEST:: SOT 897293 SOS 488620 HAS SOPS 488620 HAS SOUS 410378 HAS SOUPS 410378 WITH SCORE 410866.62
AT ITER 3520 NEW BEST:: SOT 897293 SOS 488559 HAS SOPS 488559 HAS SOUS 410278 HAS SOUPS 410278 WITH SCORE 410766.559
AT ITER 3529 NEW BEST:: SOT 896748 SOS 488662 HAS SOPS 488662 HAS SOUS 410225 HAS SOUPS 410225 WITH SCORE 410713.662
AT ITER 3530 NEW BEST:: SOT 896748 SOS 488740 HAS SOPS 488740 HAS SOUS 410146 HAS SOUPS 410146 WITH SCORE 410634.74
AT ITER 3532 NEW BEST:: SOT 896759 SOS 488729 HAS SOPS 488729 HAS SOUS 410117 HAS SOUPS 410117 WITH SCORE 410605.729
AT ITER 3533 NEW BEST:: SOT 896591 SOS 488561 HAS SOPS 488561 HAS SOUS 409949 HAS SOUPS 409949 WITH SCORE 410437.561
AT ITER 3541 NEW BEST:: SOT 895788 SOS 487530 HAS SOPS 487530 HAS SOUS 409069 HAS SOUPS 409069 WITH SCORE 409556.53
AT ITER 3554 NEW BEST:: SOT 895181 SOS 487175 HAS SOPS 487175 HAS SOUS 408827 HAS SOUPS 408827 WITH SCORE 409314.175
AT ITER 3562 NEW BEST:: SOT 895181 SOS 487082 HAS SOPS 487082 HAS SOUS 408827 HAS SOUPS 408827 WITH SCORE 409314.082
AT ITER 3571 NEW BEST:: SOT 895252 SOS 487046 HAS SOPS 487046 HAS SOUS 408673 HAS SOUPS 408673 WITH SCORE 409160.046
AT ITER 3576 NEW BEST:: SOT 895267 SOS 487024 HAS SOPS 487024 HAS SOUS 408587 HAS SOUPS 408587 WITH SCORE 409074.024
AT ITER 3581 NEW BEST:: SOT 895212 SOS 486969 HAS SOPS 486969 HAS SOUS 408364 HAS SOUPS 408364 WITH SCORE 408850.969
AT ITER 3587 NEW BEST:: SOT 894875 SOS 487084 HAS SOPS 487084 HAS SOUS 408286 HAS SOUPS 408286 WITH SCORE 408773.084
AT ITER 3591 NEW BEST:: SOT 894690 SOS 488176 HAS SOPS 488176 HAS SOUS 408189 HAS SOUPS 408189 WITH SCORE 408677.176
AT ITER 3602 NEW BEST:: SOT 894426 SOS 488065 HAS SOPS 488065 HAS SOUS 408078 HAS SOUPS 408078 WITH SCORE 408566.065
AT ITER 3607 NEW BEST:: SOT 894335 SOS 487974 HAS SOPS 487974 HAS SOUS 407987 HAS SOUPS 407987 WITH SCORE 408474.974
AT ITER 3609 NEW BEST:: SOT 894063 SOS 488991 HAS SOPS 488991 HAS SOUS 407975 HAS SOUPS 407975 WITH SCORE 408463.991
AT ITER 3624 NEW BEST:: SOT 894063 SOS 488979 HAS SOPS 488979 HAS SOUS 407975 HAS SOUPS 407975 WITH SCORE 408463.979
AT ITER 3630 NEW BEST:: SOT 894045 SOS 488961 HAS SOPS 488961 HAS SOUS 407957 HAS SOUPS 407957 WITH SCORE 408445.961
AT ITER 3634 NEW BEST:: SOT 894112 SOS 488884 HAS SOPS 488884 HAS SOUS 407761 HAS SOUPS 407761 WITH SCORE 408249.884
AT ITER 3638 NEW BEST:: SOT 894115 SOS 488874 HAS SOPS 488874 HAS SOUS 407744 HAS SOUPS 407744 WITH SCORE 408232.874
AT ITER 3644 NEW BEST:: SOT 893873 SOS 491397 HAS SOPS 491397 HAS SOUS 407654 HAS SOUPS 407654 WITH SCORE 408145.397
AT ITER 3658 NEW BEST:: SOT 893812 SOS 491336 HAS SOPS 491336 HAS SOUS 407593 HAS SOUPS 407593 WITH SCORE 408084.336
AT ITER 3666 NEW BEST:: SOT 893812 SOS 491263 HAS SOPS 491263 HAS SOUS 407520 HAS SOUPS 407520 WITH SCORE 408011.263
AT ITER 3671 NEW BEST:: SOT 892968 SOS 491162 HAS SOPS 491162 HAS SOUS 407387 HAS SOUPS 407387 WITH SCORE 407878.162
AT ITER 3688 NEW BEST:: SOT 892952 SOS 491146 HAS SOPS 491146 HAS SOUS 407355 HAS SOUPS 407355 WITH SCORE 407846.146
AT ITER 3691 NEW BEST:: SOT 892943 SOS 491137 HAS SOPS 491137 HAS SOUS 407278 HAS SOUPS 407278 WITH SCORE 407769.137
AT ITER 3692 NEW BEST:: SOT 892865 SOS 490952 HAS SOPS 490952 HAS SOUS 407035 HAS SOUPS 407035 WITH SCORE 407525.952
AT ITER 3694 NEW BEST:: SOT 892865 SOS 490921 HAS SOPS 490921 HAS SOUS 407035 HAS SOUPS 407035 WITH SCORE 407525.921
AT ITER 3695 NEW BEST:: SOT 892700 SOS 490756 HAS SOPS 490756 HAS SOUS 406866 HAS SOUPS 406866 WITH SCORE 407356.756
AT ITER 3700 NEW BEST:: SOT 892700 SOS 490697 HAS SOPS 490697 HAS SOUS 406831 HAS SOUPS 406831 WITH SCORE 407321.697
AT ITER 3702 NEW BEST:: SOT 892700 SOS 490697 HAS SOPS 490697 HAS SOUS 406796 HAS SOUPS 406796 WITH SCORE 407286.697
AT ITER 3712 NEW BEST:: SOT 892682 SOS 490679 HAS SOPS 490679 HAS SOUS 406778 HAS SOUPS 406778 WITH SCORE 407268.679
AT ITER 3716 NEW BEST:: SOT 892682 SOS 490679 HAS SOPS 490679 HAS SOUS 406764 HAS SOUPS 406764 WITH SCORE 407254.679
AT ITER 3717 NEW BEST:: SOT 892682 SOS 490640 HAS SOPS 490640 HAS SOUS 406720 HAS SOUPS 406720 WITH SCORE 407210.64
AT ITER 3734 NEW BEST:: SOT 892682 SOS 490629 HAS SOPS 490629 HAS SOUS 406720 HAS SOUPS 406720 WITH SCORE 407210.629
AT ITER 3747 NEW BEST:: SOT 892639 SOS 490539 HAS SOPS 490539 HAS SOUS 406532 HAS SOUPS 406532 WITH SCORE 407022.539
AT ITER 3764 NEW BEST:: SOT 891538 SOS 489470 HAS SOPS 489470 HAS SOUS 405646 HAS SOUPS 405646 WITH SCORE 406135.47
AT ITER 3766 NEW BEST:: SOT 891484 SOS 489416 HAS SOPS 489416 HAS SOUS 405559 HAS SOUPS 405559 WITH SCORE 406048.416
AT ITER 3771 NEW BEST:: SOT 891520 SOS 489407 HAS SOPS 489407 HAS SOUS 405493 HAS SOUPS 405493 WITH SCORE 405982.407
AT ITER 3776 NEW BEST:: SOT 890909 SOS 489291 HAS SOPS 489291 HAS SOUS 405248 HAS SOUPS 405248 WITH SCORE 405737.291
AT ITER 3778 NEW BEST:: SOT 890880 SOS 489262 HAS SOPS 489262 HAS SOUS 405219 HAS SOUPS 405219 WITH SCORE 405708.262
AT ITER 3804 NEW BEST:: SOT 891136 SOS 488875 HAS SOPS 488875 HAS SOUS 405017 HAS SOUPS 405017 WITH SCORE 405505.875
AT ITER 3817 NEW BEST:: SOT 891067 SOS 488806 HAS SOPS 488806 HAS SOUS 404904 HAS SOUPS 404904 WITH SCORE 405392.806
AT ITER 3825 NEW BEST:: SOT 889535 SOS 488172 HAS SOPS 488172 HAS SOUS 404561 HAS SOUPS 404561 WITH SCORE 405049.172
AT ITER 3843 NEW BEST:: SOT 889373 SOS 488010 HAS SOPS 488010 HAS SOUS 404119 HAS SOUPS 404119 WITH SCORE 404607.01
AT ITER 3860 NEW BEST:: SOT 888019 SOS 487298 HAS SOPS 487298 HAS SOUS 404003 HAS SOUPS 404003 WITH SCORE 404490.298
AT ITER 3868 NEW BEST:: SOT 888019 SOS 487249 HAS SOPS 487249 HAS SOUS 404003 HAS SOUPS 404003 WITH SCORE 404490.249
AT ITER 3887 NEW BEST:: SOT 888019 SOS 487238 HAS SOPS 487238 HAS SOUS 404003 HAS SOUPS 404003 WITH SCORE 404490.238
AT ITER 3903 NEW BEST:: SOT 887804 SOS 487793 HAS SOPS 487793 HAS SOUS 403804 HAS SOUPS 403804 WITH SCORE 404291.793
AT ITER 3909 NEW BEST:: SOT 887804 SOS 487697 HAS SOPS 487697 HAS SOUS 403804 HAS SOUPS 403804 WITH SCORE 404291.697
AT ITER 3917 NEW BEST:: SOT 887804 SOS 487627 HAS SOPS 487627 HAS SOUS 403734 HAS SOUPS 403734 WITH SCORE 404221.627
AT ITER 3919 NEW BEST:: SOT 888114 SOS 487800 HAS SOPS 487800 HAS SOUS 403709 HAS SOUPS 403709 WITH SCORE 404196.8
AT ITER 3925 NEW BEST:: SOT 888122 SOS 487844 HAS SOPS 487844 HAS SOUS 403705 HAS SOUPS 403705 WITH SCORE 404192.844
AT ITER 3927 NEW BEST:: SOT 888015 SOS 487737 HAS SOPS 487737 HAS SOUS 403327 HAS SOUPS 403327 WITH SCORE 403814.737
AT ITER 3932 NEW BEST:: SOT 887997 SOS 487673 HAS SOPS 487673 HAS SOUS 403295 HAS SOUPS 403295 WITH SCORE 403782.673
AT ITER 3934 NEW BEST:: SOT 888176 SOS 487852 HAS SOPS 487852 HAS SOUS 403266 HAS SOUPS 403266 WITH SCORE 403753.852
AT ITER 3951 NEW BEST:: SOT 888072 SOS 487838 HAS SOPS 487838 HAS SOUS 403162 HAS SOUPS 403162 WITH SCORE 403649.838
AT ITER 3958 NEW BEST:: SOT 887899 SOS 487665 HAS SOPS 487665 HAS SOUS 402872 HAS SOUPS 402872 WITH SCORE 403359.665
AT ITER 3969 NEW BEST:: SOT 887364 SOS 487412 HAS SOPS 487412 HAS SOUS 402458 HAS SOUPS 402458 WITH SCORE 402945.412
AT ITER 3974 NEW BEST:: SOT 887364 SOS 487180 HAS SOPS 487180 HAS SOUS 402458 HAS SOUPS 402458 WITH SCORE 402945.18
AT ITER 3977 NEW BEST:: SOT 887251 SOS 487093 HAS SOPS 487093 HAS SOUS 402397 HAS SOUPS 402397 WITH SCORE 402884.093
AT ITER 3979 NEW BEST:: SOT 887203 SOS 487263 HAS SOPS 487263 HAS SOUS 402363 HAS SOUPS 402363 WITH SCORE 402850.263
AT ITER 3980 NEW BEST:: SOT 886739 SOS 488828 HAS SOPS 488828 HAS SOUS 402113 HAS SOUPS 402113 WITH SCORE 402601.828
AT ITER 3981 NEW BEST:: SOT 886487 SOS 488539 HAS SOPS 488539 HAS SOUS 401824 HAS SOUPS 401824 WITH SCORE 402312.539
AT ITER 3985 NEW BEST:: SOT 886470 SOS 489074 HAS SOPS 489074 HAS SOUS 401772 HAS SOUPS 401772 WITH SCORE 402261.074
AT ITER 4003 NEW BEST:: SOT 886370 SOS 489130 HAS SOPS 489130 HAS SOUS 401724 HAS SOUPS 401724 WITH SCORE 402213.13
AT ITER 4007 NEW BEST:: SOT 886466 SOS 489226 HAS SOPS 489226 HAS SOUS 401717 HAS SOUPS 401717 WITH SCORE 402206.226
AT ITER 4022 NEW BEST:: SOT 885743 SOS 489613 HAS SOPS 489613 HAS SOUS 401528 HAS SOUPS 401528 WITH SCORE 402017.613
AT ITER 4024 NEW BEST:: SOT 885790 SOS 487668 HAS SOPS 487668 HAS SOUS 400885 HAS SOUPS 400885 WITH SCORE 401372.668
AT ITER 4030 NEW BEST:: SOT 885563 SOS 487546 HAS SOPS 487546 HAS SOUS 400868 HAS SOUPS 400868 WITH SCORE 401355.546
AT ITER 4034 NEW BEST:: SOT 885563 SOS 487390 HAS SOPS 487390 HAS SOUS 400675 HAS SOUPS 400675 WITH SCORE 401162.39
AT ITER 4041 NEW BEST:: SOT 885555 SOS 487382 HAS SOPS 487382 HAS SOUS 400667 HAS SOUPS 400667 WITH SCORE 401154.382
AT ITER 4078 NEW BEST:: SOT 885555 SOS 487350 HAS SOPS 487350 HAS SOUS 400642 HAS SOUPS 400642 WITH SCORE 401129.35
AT ITER 4084 NEW BEST:: SOT 884973 SOS 487229 HAS SOPS 487229 HAS SOUS 400635 HAS SOUPS 400635 WITH SCORE 401122.229
AT ITER 4086 NEW BEST:: SOT 884973 SOS 487177 HAS SOPS 487177 HAS SOUS 400569 HAS SOUPS 400569 WITH SCORE 401056.177
AT ITER 4088 NEW BEST:: SOT 884973 SOS 486936 HAS SOPS 486936 HAS SOUS 400569 HAS SOUPS 400569 WITH SCORE 401055.936
AT ITER 4093 NEW BEST:: SOT 884973 SOS 486902 HAS SOPS 486902 HAS SOUS 400569 HAS SOUPS 400569 WITH SCORE 401055.902
AT ITER 4098 NEW BEST:: SOT 884941 SOS 486773 HAS SOPS 486773 HAS SOUS 400549 HAS SOUPS 400549 WITH SCORE 401035.773
AT ITER 4103 NEW BEST:: SOT 884959 SOS 486776 HAS SOPS 486776 HAS SOUS 400404 HAS SOUPS 400404 WITH SCORE 400890.776
AT ITER 4106 NEW BEST:: SOT 884959 SOS 486753 HAS SOPS 486753 HAS SOUS 400404 HAS SOUPS 400404 WITH SCORE 400890.753
AT ITER 4119 NEW BEST:: SOT 884388 SOS 486053 HAS SOPS 486053 HAS SOUS 399927 HAS SOUPS 399927 WITH SCORE 400413.053
AT ITER 4124 NEW BEST:: SOT 884118 SOS 485693 HAS SOPS 485693 HAS SOUS 399567 HAS SOUPS 399567 WITH SCORE 400052.693
AT ITER 4133 NEW BEST:: SOT 884051 SOS 485626 HAS SOPS 485626 HAS SOUS 399482 HAS SOUPS 399482 WITH SCORE 399967.626
AT ITER 4134 NEW BEST:: SOT 884051 SOS 485530 HAS SOPS 485530 HAS SOUS 399482 HAS SOUPS 399482 WITH SCORE 399967.53
AT ITER 4146 NEW BEST:: SOT 883982 SOS 485477 HAS SOPS 485477 HAS SOUS 399429 HAS SOUPS 399429 WITH SCORE 399914.477
AT ITER 4147 NEW BEST:: SOT 883982 SOS 485505 HAS SOPS 485505 HAS SOUS 399396 HAS SOUPS 399396 WITH SCORE 399881.505
AT ITER 4154 NEW BEST:: SOT 883632 SOS 485290 HAS SOPS 485290 HAS SOUS 399181 HAS SOUPS 399181 WITH SCORE 399666.29
AT ITER 4167 NEW BEST:: SOT 883632 SOS 485429 HAS SOPS 485429 HAS SOUS 399109 HAS SOUPS 399109 WITH SCORE 399594.429
AT ITER 4170 NEW BEST:: SOT 883552 SOS 486236 HAS SOPS 486236 HAS SOUS 399071 HAS SOUPS 399071 WITH SCORE 399557.236
AT ITER 4171 NEW BEST:: SOT 882862 SOS 485546 HAS SOPS 485546 HAS SOUS 398381 HAS SOUPS 398381 WITH SCORE 398866.546
AT ITER 4172 NEW BEST:: SOT 882199 SOS 486340 HAS SOPS 486340 HAS SOUS 398313 HAS SOUPS 398313 WITH SCORE 398799.34
AT ITER 4179 NEW BEST:: SOT 882199 SOS 486182 HAS SOPS 486182 HAS SOUS 398313 HAS SOUPS 398313 WITH SCORE 398799.182
AT ITER 4180 NEW BEST:: SOT 882198 SOS 486181 HAS SOPS 486181 HAS SOUS 398312 HAS SOUPS 398312 WITH SCORE 398798.181
AT ITER 4196 NEW BEST:: SOT 882173 SOS 486156 HAS SOPS 486156 HAS SOUS 398287 HAS SOUPS 398287 WITH SCORE 398773.156
AT ITER 4198 NEW BEST:: SOT 882406 SOS 486280 HAS SOPS 486280 HAS SOUS 398121 HAS SOUPS 398121 WITH SCORE 398607.28
AT ITER 4200 NEW BEST:: SOT 882406 SOS 486217 HAS SOPS 486217 HAS SOUS 398115 HAS SOUPS 398115 WITH SCORE 398601.217
AT ITER 4218 NEW BEST:: SOT 882406 SOS 486213 HAS SOPS 486213 HAS SOUS 398115 HAS SOUPS 398115 WITH SCORE 398601.213
AT ITER 4224 NEW BEST:: SOT 882028 SOS 486450 HAS SOPS 486450 HAS SOUS 397888 HAS SOUPS 397888 WITH SCORE 398374.45
AT ITER 4229 NEW BEST:: SOT 881789 SOS 486053 HAS SOPS 486053 HAS SOUS 397649 HAS SOUPS 397649 WITH SCORE 398135.053
AT ITER 4235 NEW BEST:: SOT 881789 SOS 485934 HAS SOPS 485934 HAS SOUS 397506 HAS SOUPS 397506 WITH SCORE 397991.934
AT ITER 4241 NEW BEST:: SOT 881789 SOS 485761 HAS SOPS 485761 HAS SOUS 397506 HAS SOUPS 397506 WITH SCORE 397991.761
AT ITER 4242 NEW BEST:: SOT 881479 SOS 486310 HAS SOPS 486310 HAS SOUS 397259 HAS SOUPS 397259 WITH SCORE 397745.31
AT ITER 4254 NEW BEST:: SOT 881479 SOS 486342 HAS SOPS 486342 HAS SOUS 397225 HAS SOUPS 397225 WITH SCORE 397711.342
AT ITER 4268 NEW BEST:: SOT 881393 SOS 486256 HAS SOPS 486256 HAS SOUS 397056 HAS SOUPS 397056 WITH SCORE 397542.256
AT ITER 4274 NEW BEST:: SOT 881393 SOS 486171 HAS SOPS 486171 HAS SOUS 396975 HAS SOUPS 396975 WITH SCORE 397461.171
AT ITER 4278 NEW BEST:: SOT 881393 SOS 485598 HAS SOPS 485598 HAS SOUS 396944 HAS SOUPS 396944 WITH SCORE 397429.598
AT ITER 4294 NEW BEST:: SOT 880801 SOS 485956 HAS SOPS 485956 HAS SOUS 396867 HAS SOUPS 396867 WITH SCORE 397352.956
AT ITER 4296 NEW BEST:: SOT 879889 SOS 485354 HAS SOPS 485354 HAS SOUS 396341 HAS SOUPS 396341 WITH SCORE 396826.354
AT ITER 4302 NEW BEST:: SOT 879879 SOS 485352 HAS SOPS 485352 HAS SOUS 396339 HAS SOUPS 396339 WITH SCORE 396824.352
AT ITER 4303 NEW BEST:: SOT 879856 SOS 485122 HAS SOPS 485122 HAS SOUS 396336 HAS SOUPS 396336 WITH SCORE 396821.122
AT ITER 4305 NEW BEST:: SOT 879786 SOS 485052 HAS SOPS 485052 HAS SOUS 396154 HAS SOUPS 396154 WITH SCORE 396639.052
AT ITER 4306 NEW BEST:: SOT 879786 SOS 485052 HAS SOPS 485052 HAS SOUS 396138 HAS SOUPS 396138 WITH SCORE 396623.052
AT ITER 4310 NEW BEST:: SOT 879742 SOS 484977 HAS SOPS 484977 HAS SOUS 396047 HAS SOUPS 396047 WITH SCORE 396531.977
AT ITER 4345 NEW BEST:: SOT 879615 SOS 484850 HAS SOPS 484850 HAS SOUS 395920 HAS SOUPS 395920 WITH SCORE 396404.85
AT ITER 4347 NEW BEST:: SOT 879615 SOS 484823 HAS SOPS 484823 HAS SOUS 395920 HAS SOUPS 395920 WITH SCORE 396404.823
AT ITER 4352 NEW BEST:: SOT 879263 SOS 484634 HAS SOPS 484634 HAS SOUS 395731 HAS SOUPS 395731 WITH SCORE 396215.634
AT ITER 4357 NEW BEST:: SOT 878391 SOS 487576 HAS SOPS 487576 HAS SOUS 395465 HAS SOUPS 395465 WITH SCORE 395952.576
AT ITER 4359 NEW BEST:: SOT 878357 SOS 487542 HAS SOPS 487542 HAS SOUS 395431 HAS SOUPS 395431 WITH SCORE 395918.542
AT ITER 4370 NEW BEST:: SOT 878357 SOS 487475 HAS SOPS 487475 HAS SOUS 395233 HAS SOUPS 395233 WITH SCORE 395720.475
AT ITER 4383 NEW BEST:: SOT 876692 SOS 488134 HAS SOPS 488134 HAS SOUS 394795 HAS SOUPS 394795 WITH SCORE 395283.134
AT ITER 4386 NEW BEST:: SOT 876168 SOS 489608 HAS SOPS 489608 HAS SOUS 394574 HAS SOUPS 394574 WITH SCORE 395063.608
AT ITER 4392 NEW BEST:: SOT 876218 SOS 489508 HAS SOPS 489508 HAS SOUS 394531 HAS SOUPS 394531 WITH SCORE 395020.508
AT ITER 4400 NEW BEST:: SOT 876151 SOS 489441 HAS SOPS 489441 HAS SOUS 394464 HAS SOUPS 394464 WITH SCORE 394953.441
AT ITER 4414 NEW BEST:: SOT 876094 SOS 489384 HAS SOPS 489384 HAS SOUS 394394 HAS SOUPS 394394 WITH SCORE 394883.384
AT ITER 4416 NEW BEST:: SOT 875537 SOS 489768 HAS SOPS 489768 HAS SOUS 394211 HAS SOUPS 394211 WITH SCORE 394700.768
AT ITER 4423 NEW BEST:: SOT 875317 SOS 488777 HAS SOPS 488777 HAS SOUS 394211 HAS SOUPS 394211 WITH SCORE 394699.777
AT ITER 4424 NEW BEST:: SOT 875147 SOS 488719 HAS SOPS 488719 HAS SOUS 394153 HAS SOUPS 394153 WITH SCORE 394641.719
AT ITER 4450 NEW BEST:: SOT 875147 SOS 488658 HAS SOPS 488658 HAS SOUS 394153 HAS SOUPS 394153 WITH SCORE 394641.658
AT ITER 4454 NEW BEST:: SOT 875056 SOS 488567 HAS SOPS 488567 HAS SOUS 394051 HAS SOUPS 394051 WITH SCORE 394539.567
AT ITER 4456 NEW BEST:: SOT 875056 SOS 488567 HAS SOPS 488567 HAS SOUS 393853 HAS SOUPS 393853 WITH SCORE 394341.567
AT ITER 4457 NEW BEST:: SOT 874934 SOS 488445 HAS SOPS 488445 HAS SOUS 393731 HAS SOUPS 393731 WITH SCORE 394219.445
AT ITER 4464 NEW BEST:: SOT 874934 SOS 488440 HAS SOPS 488440 HAS SOUS 393731 HAS SOUPS 393731 WITH SCORE 394219.44
AT ITER 4465 NEW BEST:: SOT 874819 SOS 488180 HAS SOPS 488180 HAS SOUS 393414 HAS SOUPS 393414 WITH SCORE 393902.18
AT ITER 4466 NEW BEST:: SOT 874752 SOS 488113 HAS SOPS 488113 HAS SOUS 393347 HAS SOUPS 393347 WITH SCORE 393835.113
AT ITER 4470 NEW BEST:: SOT 874899 SOS 487690 HAS SOPS 487690 HAS SOUS 393347 HAS SOUPS 393347 WITH SCORE 393834.69
AT ITER 4477 NEW BEST:: SOT 873972 SOS 486991 HAS SOPS 486991 HAS SOUS 392733 HAS SOUPS 392733 WITH SCORE 393219.991
AT ITER 4483 NEW BEST:: SOT 873972 SOS 486991 HAS SOPS 486991 HAS SOUS 392676 HAS SOUPS 392676 WITH SCORE 393162.991
AT ITER 4499 NEW BEST:: SOT 873881 SOS 487029 HAS SOPS 487029 HAS SOUS 392490 HAS SOUPS 392490 WITH SCORE 392977.029
AT ITER 4501 NEW BEST:: SOT 873058 SOS 486707 HAS SOPS 486707 HAS SOUS 392187 HAS SOUPS 392187 WITH SCORE 392673.707
AT ITER 4507 NEW BEST:: SOT 872585 SOS 486349 HAS SOPS 486349 HAS SOUS 391829 HAS SOUPS 391829 WITH SCORE 392315.349
AT ITER 4516 NEW BEST:: SOT 872585 SOS 486338 HAS SOPS 486338 HAS SOUS 391829 HAS SOUPS 391829 WITH SCORE 392315.338
AT ITER 4527 NEW BEST:: SOT 872585 SOS 486267 HAS SOPS 486267 HAS SOUS 391829 HAS SOUPS 391829 WITH SCORE 392315.267
AT ITER 4537 NEW BEST:: SOT 872585 SOS 484450 HAS SOPS 484450 HAS SOUS 391531 HAS SOUPS 391531 WITH SCORE 392015.45
AT ITER 4542 NEW BEST:: SOT 872577 SOS 484506 HAS SOPS 484506 HAS SOUS 391523 HAS SOUPS 391523 WITH SCORE 392007.506
AT ITER 4550 NEW BEST:: SOT 872577 SOS 484479 HAS SOPS 484479 HAS SOUS 391435 HAS SOUPS 391435 WITH SCORE 391919.479
AT ITER 4551 NEW BEST:: SOT 872577 SOS 484477 HAS SOPS 484477 HAS SOUS 391435 HAS SOUPS 391435 WITH SCORE 391919.477
AT ITER 4552 NEW BEST:: SOT 872459 SOS 484398 HAS SOPS 484398 HAS SOUS 391190 HAS SOUPS 391190 WITH SCORE 391674.398
AT ITER 4555 NEW BEST:: SOT 872232 SOS 485333 HAS SOPS 485333 HAS SOUS 391084 HAS SOUPS 391084 WITH SCORE 391569.333
AT ITER 4556 NEW BEST:: SOT 872305 SOS 485122 HAS SOPS 485122 HAS SOUS 391020 HAS SOUPS 391020 WITH SCORE 391505.122
AT ITER 4582 NEW BEST:: SOT 872196 SOS 484990 HAS SOPS 484990 HAS SOUS 390497 HAS SOUPS 390497 WITH SCORE 390981.99
AT ITER 4583 NEW BEST:: SOT 872196 SOS 484878 HAS SOPS 484878 HAS SOUS 390497 HAS SOUPS 390497 WITH SCORE 390981.878
AT ITER 4591 NEW BEST:: SOT 872215 SOS 484840 HAS SOPS 484840 HAS SOUS 390497 HAS SOUPS 390497 WITH SCORE 390981.84
AT ITER 4593 NEW BEST:: SOT 871942 SOS 484851 HAS SOPS 484851 HAS SOUS 390291 HAS SOUPS 390291 WITH SCORE 390775.851
AT ITER 4601 NEW BEST:: SOT 871942 SOS 484666 HAS SOPS 484666 HAS SOUS 390270 HAS SOUPS 390270 WITH SCORE 390754.666
AT ITER 4605 NEW BEST:: SOT 871860 SOS 484584 HAS SOPS 484584 HAS SOUS 390104 HAS SOUPS 390104 WITH SCORE 390588.584
AT ITER 4606 NEW BEST:: SOT 871788 SOS 484512 HAS SOPS 484512 HAS SOUS 390039 HAS SOUPS 390039 WITH SCORE 390523.512
AT ITER 4639 NEW BEST:: SOT 871894 SOS 484592 HAS SOPS 484592 HAS SOUS 389985 HAS SOUPS 389985 WITH SCORE 390469.592
AT ITER 4651 NEW BEST:: SOT 871755 SOS 484453 HAS SOPS 484453 HAS SOUS 389846 HAS SOUPS 389846 WITH SCORE 390330.453
AT ITER 4652 NEW BEST:: SOT 871680 SOS 484525 HAS SOPS 484525 HAS SOUS 389774 HAS SOUPS 389774 WITH SCORE 390258.525
AT ITER 4664 NEW BEST:: SOT 871680 SOS 484504 HAS SOPS 484504 HAS SOUS 389774 HAS SOUPS 389774 WITH SCORE 390258.504
AT ITER 4673 NEW BEST:: SOT 871584 SOS 484371 HAS SOPS 484371 HAS SOUS 389738 HAS SOUPS 389738 WITH SCORE 390222.371
AT ITER 4678 NEW BEST:: SOT 871584 SOS 484352 HAS SOPS 484352 HAS SOUS 389738 HAS SOUPS 389738 WITH SCORE 390222.352
AT ITER 4703 NEW BEST:: SOT 870528 SOS 483561 HAS SOPS 483561 HAS SOUS 389085 HAS SOUPS 389085 WITH SCORE 389568.561
AT ITER 4723 NEW BEST:: SOT 870672 SOS 483480 HAS SOPS 483480 HAS SOUS 389004 HAS SOUPS 389004 WITH SCORE 389487.48
AT ITER 4737 NEW BEST:: SOT 870668 SOS 483476 HAS SOPS 483476 HAS SOUS 388789 HAS SOUPS 388789 WITH SCORE 389272.476
AT ITER 4748 NEW BEST:: SOT 870691 SOS 483499 HAS SOPS 483499 HAS SOUS 388772 HAS SOUPS 388772 WITH SCORE 389255.499
AT ITER 4751 NEW BEST:: SOT 870536 SOS 483356 HAS SOPS 483356 HAS SOUS 388577 HAS SOUPS 388577 WITH SCORE 389060.356
AT ITER 4760 NEW BEST:: SOT 870314 SOS 483379 HAS SOPS 483379 HAS SOUS 388454 HAS SOUPS 388454 WITH SCORE 388937.379
AT ITER 4763 NEW BEST:: SOT 869373 SOS 483560 HAS SOPS 483560 HAS SOUS 387665 HAS SOUPS 387665 WITH SCORE 388148.56
AT ITER 4764 NEW BEST:: SOT 869221 SOS 483408 HAS SOPS 483408 HAS SOUS 387513 HAS SOUPS 387513 WITH SCORE 387996.408
AT ITER 4770 NEW BEST:: SOT 869126 SOS 483283 HAS SOPS 483283 HAS SOUS 387418 HAS SOUPS 387418 WITH SCORE 387901.283
AT ITER 4771 NEW BEST:: SOT 869126 SOS 483250 HAS SOPS 483250 HAS SOUS 387418 HAS SOUPS 387418 WITH SCORE 387901.25
AT ITER 4787 NEW BEST:: SOT 869126 SOS 483210 HAS SOPS 483210 HAS SOUS 387418 HAS SOUPS 387418 WITH SCORE 387901.21
AT ITER 4792 NEW BEST:: SOT 869126 SOS 483131 HAS SOPS 483131 HAS SOUS 387418 HAS SOUPS 387418 WITH SCORE 387901.131
AT ITER 4795 NEW BEST:: SOT 869121 SOS 483193 HAS SOPS 483193 HAS SOUS 387334 HAS SOUPS 387334 WITH SCORE 387817.193
AT ITER 4802 NEW BEST:: SOT 867673 SOS 484825 HAS SOPS 484825 HAS SOUS 387182 HAS SOUPS 387182 WITH SCORE 387666.825
AT ITER 4812 NEW BEST:: SOT 867678 SOS 484452 HAS SOPS 484452 HAS SOUS 387171 HAS SOUPS 387171 WITH SCORE 387655.452
AT ITER 4820 NEW BEST:: SOT 866484 SOS 483718 HAS SOPS 483718 HAS SOUS 386501 HAS SOUPS 386501 WITH SCORE 386984.718
AT ITER 4846 NEW BEST:: SOT 866484 SOS 483811 HAS SOPS 483811 HAS SOUS 386464 HAS SOUPS 386464 WITH SCORE 386947.811
AT ITER 4850 NEW BEST:: SOT 866242 SOS 483569 HAS SOPS 483569 HAS SOUS 385979 HAS SOUPS 385979 WITH SCORE 386462.569
AT ITER 4857 NEW BEST:: SOT 866190 SOS 483517 HAS SOPS 483517 HAS SOUS 385786 HAS SOUPS 385786 WITH SCORE 386269.517
AT ITER 4861 NEW BEST:: SOT 865648 SOS 483184 HAS SOPS 483184 HAS SOUS 385380 HAS SOUPS 385380 WITH SCORE 385863.184
AT ITER 4865 NEW BEST:: SOT 865457 SOS 483117 HAS SOPS 483117 HAS SOUS 385379 HAS SOUPS 385379 WITH SCORE 385862.117
AT ITER 4867 NEW BEST:: SOT 864188 SOS 482114 HAS SOPS 482114 HAS SOUS 384431 HAS SOUPS 384431 WITH SCORE 384913.114
AT ITER 4868 NEW BEST:: SOT 864138 SOS 482064 HAS SOPS 482064 HAS SOUS 384367 HAS SOUPS 384367 WITH SCORE 384849.064
AT ITER 4869 NEW BEST:: SOT 864172 SOS 481717 HAS SOPS 481717 HAS SOUS 384254 HAS SOUPS 384254 WITH SCORE 384735.717
AT ITER 4870 NEW BEST:: SOT 864233 SOS 481714 HAS SOPS 481714 HAS SOUS 384237 HAS SOUPS 384237 WITH SCORE 384718.714
AT ITER 4873 NEW BEST:: SOT 864190 SOS 481671 HAS SOPS 481671 HAS SOUS 384194 HAS SOUPS 384194 WITH SCORE 384675.671
AT ITER 4877 NEW BEST:: SOT 864187 SOS 481668 HAS SOPS 481668 HAS SOUS 384191 HAS SOUPS 384191 WITH SCORE 384672.668
AT ITER 4889 NEW BEST:: SOT 864167 SOS 481653 HAS SOPS 481653 HAS SOUS 384177 HAS SOUPS 384177 WITH SCORE 384658.653
AT ITER 4896 NEW BEST:: SOT 864167 SOS 481653 HAS SOPS 481653 HAS SOUS 384144 HAS SOUPS 384144 WITH SCORE 384625.653
AT ITER 4910 NEW BEST:: SOT 863408 SOS 481736 HAS SOPS 481736 HAS SOUS 383793 HAS SOUPS 383793 WITH SCORE 384274.736
AT ITER 4915 NEW BEST:: SOT 863303 SOS 481617 HAS SOPS 481617 HAS SOUS 383674 HAS SOUPS 383674 WITH SCORE 384155.617
AT ITER 4920 NEW BEST:: SOT 863126 SOS 481440 HAS SOPS 481440 HAS SOUS 383297 HAS SOUPS 383297 WITH SCORE 383778.44
AT ITER 4926 NEW BEST:: SOT 863126 SOS 481408 HAS SOPS 481408 HAS SOUS 383297 HAS SOUPS 383297 WITH SCORE 383778.408
AT ITER 4927 NEW BEST:: SOT 863126 SOS 481316 HAS SOPS 481316 HAS SOUS 383297 HAS SOUPS 383297 WITH SCORE 383778.316
AT ITER 4928 NEW BEST:: SOT 863028 SOS 481120 HAS SOPS 481120 HAS SOUS 383101 HAS SOUPS 383101 WITH SCORE 383582.12
AT ITER 4931 NEW BEST:: SOT 863028 SOS 480930 HAS SOPS 480930 HAS SOUS 383101 HAS SOUPS 383101 WITH SCORE 383581.93
AT ITER 4933 NEW BEST:: SOT 862177 SOS 481440 HAS SOPS 481440 HAS SOUS 382999 HAS SOUPS 382999 WITH SCORE 383480.44
AT ITER 4935 NEW BEST:: SOT 862177 SOS 481440 HAS SOPS 481440 HAS SOUS 382961 HAS SOUPS 382961 WITH SCORE 383442.44
AT ITER 4936 NEW BEST:: SOT 862255 SOS 481440 HAS SOPS 481440 HAS SOUS 382933 HAS SOUPS 382933 WITH SCORE 383414.44
AT ITER 4941 NEW BEST:: SOT 862177 SOS 481333 HAS SOPS 481333 HAS SOUS 382824 HAS SOUPS 382824 WITH SCORE 383305.333
AT ITER 4948 NEW BEST:: SOT 862080 SOS 481236 HAS SOPS 481236 HAS SOUS 382640 HAS SOUPS 382640 WITH SCORE 383121.236
AT ITER 4950 NEW BEST:: SOT 862080 SOS 481229 HAS SOPS 481229 HAS SOUS 382640 HAS SOUPS 382640 WITH SCORE 383121.229
AT ITER 4953 NEW BEST:: SOT 861895 SOS 481044 HAS SOPS 481044 HAS SOUS 382422 HAS SOUPS 382422 WITH SCORE 382903.044
AT ITER 4962 NEW BEST:: SOT 861895 SOS 481008 HAS SOPS 481008 HAS SOUS 382422 HAS SOUPS 382422 WITH SCORE 382903.008
AT ITER 4966 NEW BEST:: SOT 861781 SOS 480907 HAS SOPS 480907 HAS SOUS 382321 HAS SOUPS 382321 WITH SCORE 382801.907
AT ITER 4974 NEW BEST:: SOT 861635 SOS 481730 HAS SOPS 481730 HAS SOUS 382265 HAS SOUPS 382265 WITH SCORE 382746.73
AT ITER 4980 NEW BEST:: SOT 861626 SOS 481685 HAS SOPS 481685 HAS SOUS 382247 HAS SOUPS 382247 WITH SCORE 382728.685
Bounds file is: CTLFireability.xml
PROPERTY: Sudoku-PT-AN10-CTLFireability-00 (EG( ( (AF( ( ((potential((tk(P1203)>=1) & (tk(P63)>=1) & (tk(P1161)>=1)))) & ((potential((tk(P1284)>=1) & (tk(P4)>=1) & (tk(P1109)>=1)))) ))) & (AU( ((potential((tk(P1263)>=1) & (tk(P43)>=1) & (tk(P1147)>=1)))) , ((potential((tk(P1202)>=1) & (tk(P32)>=1) & (tk(P1131)>=1)))) )) )))
PROPERTY: Sudoku-PT-AN10-CTLFireability-01 (! ( (AF( ( ((potential((tk(P1277)>=1) & (tk(P37)>=1) & (tk(P1138)>=1)))) & ((potential((tk(P1232)>=1) & (tk(P2)>=1) & (tk(P1104)>=1)))) ))) & (EG( ( ((potential((tk(P1231)>=1) & (tk(P41)>=1) & (tk(P1144)>=1)))) & ((potential((tk(P1245)>=1) & (tk(P25)>=1) & (tk(P1125)>=1)))) ))) ))
PROPERTY: Sudoku-PT-AN10-CTLFireability-02 (AG( ( ( (AX( ((potential((tk(P1224)>=1) & (tk(P24)>=1) & (tk(P1123)>=1)))))) & ( ((potential((tk(P1248)>=1) & (tk(P8)>=1) & (tk(P1105)>=1)))) | ( ((potential((tk(P1211)>=1) & (tk(P41)>=1) & (tk(P1142)>=1)))) & ((potential((tk(P1296)>=1) & (tk(P26)>=1) & (tk(P1130)>=1)))) ) ) ) | (AU( ((potential((tk(P1270)>=1) & (tk(P20)>=1) & (tk(P1117)>=1)))) , ((potential((tk(P1273)>=1) & (tk(P3)>=1) & (tk(P1108)>=1)))) )) )))
PROPERTY: Sudoku-PT-AN10-CTLFireability-03 (! ( ( ((potential((tk(P1240)>=1) & (tk(P40)>=1) & (tk(P1134)>=1)))) | (! ( ( ((potential((tk(P1272)>=1) & (tk(P72)>=1) & (tk(P1178)>=1)))) | ((potential((tk(P1298)>=1) & (tk(P28)>=1) & (tk(P1130)>=1)))) ) & (! ((potential((tk(P1243)>=1) & (tk(P83)>=1) & (tk(P1185)>=1))))) )) ) & ( (! ((potential((tk(P1224)>=1) & (tk(P64)>=1) & (tk(P1163)>=1))))) | (EG( ( ((potential((tk(P1240)>=1) & (tk(P90)>=1) & (tk(P1184)>=1)))) | ((potential((tk(P1272)>=1) & (tk(P62)>=1) & (tk(P1168)>=1)))) ))) ) ))
PROPERTY: Sudoku-PT-AN10-CTLFireability-04 (! (AG( (EF( ( ((potential((tk(P1219)>=1) & (tk(P89)>=1) & (tk(P1182)>=1)))) & ((potential((tk(P1253)>=1) & (tk(P13)>=1) & (tk(P1116)>=1)))) ))))))
PROPERTY: Sudoku-PT-AN10-CTLFireability-05 (AX( (! (AG( ( ((potential((tk(P1272)>=1) & (tk(P42)>=1) & (tk(P1148)>=1)))) | ((potential((tk(P1231)>=1) & (tk(P51)>=1) & (tk(P1154)>=1)))) ))))))
PROPERTY: Sudoku-PT-AN10-CTLFireability-06 (! (AF( ( ( (! ((potential((tk(P1270)>=1) & (tk(P50)>=1) & (tk(P1147)>=1))))) | (! ((potential((tk(P1211)>=1) & (tk(P71)>=1) & (tk(P1172)>=1))))) ) | (! ((potential((tk(P1287)>=1) & (tk(P27)>=1) & (tk(P1129)>=1))))) ))))
PROPERTY: Sudoku-PT-AN10-CTLFireability-07 (EF( (AX( ( (! ((potential((tk(P1279)>=1) & (tk(P99)>=1) & (tk(P1198)>=1))))) | ( ((potential((tk(P1259)>=1) & (tk(P39)>=1) & (tk(P1136)>=1)))) & ((potential((tk(P1243)>=1) & (tk(P73)>=1) & (tk(P1175)>=1)))) ) )))))
PROPERTY: Sudoku-PT-AN10-CTLFireability-08 (! ( ( (AG( ( ((potential((tk(P1253)>=1) & (tk(P53)>=1) & (tk(P1156)>=1)))) | ((potential((tk(P1277)>=1) & (tk(P27)>=1) & (tk(P1128)>=1)))) ))) & (EU( ((potential((tk(P1248)>=1) & (tk(P68)>=1) & (tk(P1165)>=1)))) , ((potential((tk(P1241)>=1) & (tk(P1)>=1) & (tk(P1105)>=1)))) )) ) & ( ( (AF( ((potential((tk(P1217)>=1) & (tk(P47)>=1) & (tk(P1142)>=1)))))) | ((potential((tk(P1283)>=1) & (tk(P33)>=1) & (tk(P1139)>=1)))) ) & ( ( ( ((potential((tk(P1294)>=1) & (tk(P44)>=1) & (tk(P1150)>=1)))) | ((potential((tk(P1232)>=1) & (tk(P32)>=1) & (tk(P1134)>=1)))) ) | ( ((potential((tk(P1205)>=1) & (tk(P25)>=1) & (tk(P1121)>=1)))) & ((potential((tk(P1260)>=1) & (tk(P80)>=1) & (tk(P1176)>=1)))) ) ) & (EX( ((potential((tk(P1246)>=1) & (tk(P66)>=1) & (tk(P1165)>=1)))))) ) ) ))
PROPERTY: Sudoku-PT-AN10-CTLFireability-09 (EG( ( (AF( ( ((potential((tk(P1276)>=1) & (tk(P96)>=1) & (tk(P1198)>=1)))) & ((potential((tk(P1277)>=1) & (tk(P27)>=1) & (tk(P1128)>=1)))) ))) | (! (! ( ((potential((tk(P1234)>=1) & (tk(P4)>=1) & (tk(P1104)>=1)))) & ((potential((tk(P1272)>=1) & (tk(P62)>=1) & (tk(P1168)>=1)))) ))) )))
PROPERTY: Sudoku-PT-AN10-CTLFireability-10 (AX( (! (EG( (! ((potential((tk(P1235)>=1) & (tk(P65)>=1) & (tk(P1164)>=1))))))))))
PROPERTY: Sudoku-PT-AN10-CTLFireability-11 (AF( (! ((potential((tk(P1255)>=1) & (tk(P65)>=1) & (tk(P1166)>=1)))))))
PROPERTY: Sudoku-PT-AN10-CTLFireability-12 (AX( ( (EF( (! ((potential((tk(P1242)>=1) & (tk(P42)>=1) & (tk(P1145)>=1))))))) | ( (EF( ((potential((tk(P1210)>=1) & (tk(P50)>=1) & (tk(P1141)>=1)))))) | ( ( ((potential((tk(P1271)>=1) & (tk(P41)>=1) & (tk(P1148)>=1)))) & ((potential((tk(P1277)>=1) & (tk(P7)>=1) & (tk(P1108)>=1)))) ) & ((potential((tk(P1246)>=1) & (tk(P86)>=1) & (tk(P1185)>=1)))) ) ) )))
PROPERTY: Sudoku-PT-AN10-CTLFireability-13 (AG( (! (AG( ( ((potential((tk(P1267)>=1) & (tk(P57)>=1) & (tk(P1157)>=1)))) | ((potential((tk(P1250)>=1) & (tk(P90)>=1) & (tk(P1185)>=1)))) ))))))
PROPERTY: Sudoku-PT-AN10-CTLFireability-14 ( ( ( ( ( (! ((potential((tk(P1237)>=1) & (tk(P97)>=1) & (tk(P1194)>=1))))) | ( ((potential((tk(P1232)>=1) & (tk(P52)>=1) & (tk(P1154)>=1)))) & ((potential((tk(P1278)>=1) & (tk(P28)>=1) & (tk(P1128)>=1)))) ) ) | ( ( ((potential((tk(P1220)>=1) & (tk(P100)>=1) & (tk(P1192)>=1)))) | ((potential((tk(P1232)>=1) & (tk(P12)>=1) & (tk(P1114)>=1)))) ) | ( ((potential((tk(P1214)>=1) & (tk(P34)>=1) & (tk(P1132)>=1)))) & ((potential((tk(P1223)>=1) & (tk(P23)>=1) & (tk(P1123)>=1)))) ) ) ) | ( ( (! ((potential((tk(P1273)>=1) & (tk(P23)>=1) & (tk(P1128)>=1))))) & ((potential((tk(P1212)>=1) & (tk(P52)>=1) & (tk(P1152)>=1)))) ) | (AF( ((potential((tk(P1286)>=1) & (tk(P36)>=1) & (tk(P1139)>=1)))))) ) ) & (EG( ((potential((tk(P1222)>=1) & (tk(P42)>=1) & (tk(P1143)>=1)))))) ) | (AX( (EG( ( ((potential((tk(P1205)>=1) & (tk(P65)>=1) & (tk(P1161)>=1)))) & ((potential((tk(P1219)>=1) & (tk(P79)>=1) & (tk(P1172)>=1)))) ))))) )
PROPERTY: Sudoku-PT-AN10-CTLFireability-15 ( (EX( ( (EG( ((potential((tk(P1293)>=1) & (tk(P13)>=1) & (tk(P1120)>=1)))))) | (! ( ((potential((tk(P1243)>=1) & (tk(P23)>=1) & (tk(P1125)>=1)))) | ((potential((tk(P1228)>=1) & (tk(P38)>=1) & (tk(P1133)>=1)))) )) ))) & (AU( (EX( ((potential((tk(P1230)>=1) & (tk(P100)>=1) & (tk(P1193)>=1)))))) , ((potential((tk(P1204)>=1) & (tk(P24)>=1) & (tk(P1121)>=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-AN10"
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-AN10, 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-159033538700388"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Sudoku-PT-AN10.tgz
mv Sudoku-PT-AN10 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 '
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 ;