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

About the Execution of smart for Sudoku-PT-AN09

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15767.670 3600000.00 3586029.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-159033538700380.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-AN09, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538700380
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.4M
-rw-r--r-- 1 mcc users 3.2K Jun 3 09:27 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Jun 3 09:27 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Jun 3 09:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Jun 3 09:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 103K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 351K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 310K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 1.2M 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.9K Jun 3 09:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Jun 3 09:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Jun 3 09:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Jun 3 09:08 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 384K 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-AN09-CTLFireability-00
FORMULA_NAME Sudoku-PT-AN09-CTLFireability-01
FORMULA_NAME Sudoku-PT-AN09-CTLFireability-02
FORMULA_NAME Sudoku-PT-AN09-CTLFireability-03
FORMULA_NAME Sudoku-PT-AN09-CTLFireability-04
FORMULA_NAME Sudoku-PT-AN09-CTLFireability-05
FORMULA_NAME Sudoku-PT-AN09-CTLFireability-06
FORMULA_NAME Sudoku-PT-AN09-CTLFireability-07
FORMULA_NAME Sudoku-PT-AN09-CTLFireability-08
FORMULA_NAME Sudoku-PT-AN09-CTLFireability-09
FORMULA_NAME Sudoku-PT-AN09-CTLFireability-10
FORMULA_NAME Sudoku-PT-AN09-CTLFireability-11
FORMULA_NAME Sudoku-PT-AN09-CTLFireability-12
FORMULA_NAME Sudoku-PT-AN09-CTLFireability-13
FORMULA_NAME Sudoku-PT-AN09-CTLFireability-14
FORMULA_NAME Sudoku-PT-AN09-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1591336625604

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (PT), instance AN09
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: 972 places, 729 transitions, 2916 arcs.
AT ITER 0 NEW BEST:: SOT 547100 SOS 276896 HAS SOPS 276896 HAS SOUS 276896 HAS SOUPS 276896 WITH SCORE 277172.896
AT ITER 5 NEW BEST:: SOT 546608 SOS 276506 HAS SOPS 276506 HAS SOUS 276418 HAS SOUPS 276418 WITH SCORE 276694.506
AT ITER 24 NEW BEST:: SOT 546544 SOS 277254 HAS SOPS 277254 HAS SOUS 276354 HAS SOUPS 276354 WITH SCORE 276631.254
AT ITER 26 NEW BEST:: SOT 545932 SOS 276737 HAS SOPS 276737 HAS SOUS 275821 HAS SOUPS 275821 WITH SCORE 276097.737
AT ITER 29 NEW BEST:: SOT 545448 SOS 276363 HAS SOPS 276363 HAS SOUS 275375 HAS SOUPS 275375 WITH SCORE 275651.363
AT ITER 36 NEW BEST:: SOT 545129 SOS 276044 HAS SOPS 276044 HAS SOUS 275056 HAS SOUPS 275056 WITH SCORE 275332.044
AT ITER 46 NEW BEST:: SOT 545160 SOS 276033 HAS SOPS 276033 HAS SOUS 275029 HAS SOUPS 275029 WITH SCORE 275305.033
AT ITER 52 NEW BEST:: SOT 544715 SOS 275727 HAS SOPS 275727 HAS SOUS 274639 HAS SOUPS 274639 WITH SCORE 274914.727
AT ITER 54 NEW BEST:: SOT 544127 SOS 275794 HAS SOPS 275794 HAS SOUS 274126 HAS SOUPS 274126 WITH SCORE 274401.794
AT ITER 64 NEW BEST:: SOT 544164 SOS 275794 HAS SOPS 275794 HAS SOUS 274102 HAS SOUPS 274102 WITH SCORE 274377.794
AT ITER 67 NEW BEST:: SOT 544164 SOS 275708 HAS SOPS 275708 HAS SOUS 274102 HAS SOUPS 274102 WITH SCORE 274377.708
AT ITER 75 NEW BEST:: SOT 544164 SOS 275681 HAS SOPS 275681 HAS SOUS 274102 HAS SOUPS 274102 WITH SCORE 274377.681
AT ITER 84 NEW BEST:: SOT 544044 SOS 275658 HAS SOPS 275658 HAS SOUS 273985 HAS SOUPS 273985 WITH SCORE 274260.658
AT ITER 88 NEW BEST:: SOT 543467 SOS 275569 HAS SOPS 275569 HAS SOUS 273537 HAS SOUPS 273537 WITH SCORE 273812.569
AT ITER 97 NEW BEST:: SOT 542895 SOS 275128 HAS SOPS 275128 HAS SOUS 273016 HAS SOUPS 273016 WITH SCORE 273291.128
AT ITER 116 NEW BEST:: SOT 542193 SOS 274666 HAS SOPS 274666 HAS SOUS 272397 HAS SOUPS 272397 WITH SCORE 272671.666
AT ITER 118 NEW BEST:: SOT 541971 SOS 274784 HAS SOPS 274784 HAS SOUS 272269 HAS SOUPS 272269 WITH SCORE 272543.784
AT ITER 138 NEW BEST:: SOT 541795 SOS 274812 HAS SOPS 274812 HAS SOUS 272093 HAS SOUPS 272093 WITH SCORE 272367.812
AT ITER 144 NEW BEST:: SOT 541820 SOS 274791 HAS SOPS 274791 HAS SOUS 271992 HAS SOUPS 271992 WITH SCORE 272266.791
AT ITER 146 NEW BEST:: SOT 541760 SOS 274762 HAS SOPS 274762 HAS SOUS 271963 HAS SOUPS 271963 WITH SCORE 272237.762
AT ITER 153 NEW BEST:: SOT 541560 SOS 274562 HAS SOPS 274562 HAS SOUS 271763 HAS SOUPS 271763 WITH SCORE 272037.562
AT ITER 158 NEW BEST:: SOT 541598 SOS 274562 HAS SOPS 274562 HAS SOUS 271691 HAS SOUPS 271691 WITH SCORE 271965.562
AT ITER 161 NEW BEST:: SOT 541227 SOS 274299 HAS SOPS 274299 HAS SOUS 271388 HAS SOUPS 271388 WITH SCORE 271662.299
AT ITER 165 NEW BEST:: SOT 541087 SOS 274727 HAS SOPS 274727 HAS SOUS 271248 HAS SOUPS 271248 WITH SCORE 271522.727
AT ITER 169 NEW BEST:: SOT 541038 SOS 274711 HAS SOPS 274711 HAS SOUS 271232 HAS SOUPS 271232 WITH SCORE 271506.711
AT ITER 170 NEW BEST:: SOT 540639 SOS 277089 HAS SOPS 277089 HAS SOUS 270992 HAS SOUPS 270992 WITH SCORE 271269.089
AT ITER 173 NEW BEST:: SOT 540519 SOS 278753 HAS SOPS 278753 HAS SOUS 270948 HAS SOUPS 270948 WITH SCORE 271226.753
AT ITER 186 NEW BEST:: SOT 540399 SOS 279760 HAS SOPS 279760 HAS SOUS 270828 HAS SOUPS 270828 WITH SCORE 271107.76
AT ITER 190 NEW BEST:: SOT 540268 SOS 280815 HAS SOPS 280815 HAS SOUS 270775 HAS SOUPS 270775 WITH SCORE 271055.815
AT ITER 199 NEW BEST:: SOT 540268 SOS 280748 HAS SOPS 280748 HAS SOUS 270775 HAS SOUPS 270775 WITH SCORE 271055.748
AT ITER 203 NEW BEST:: SOT 540268 SOS 280716 HAS SOPS 280716 HAS SOUS 270699 HAS SOUPS 270699 WITH SCORE 270979.716
AT ITER 219 NEW BEST:: SOT 540188 SOS 280692 HAS SOPS 280692 HAS SOUS 270675 HAS SOUPS 270675 WITH SCORE 270955.692
AT ITER 229 NEW BEST:: SOT 539686 SOS 283090 HAS SOPS 283090 HAS SOUS 270333 HAS SOUPS 270333 WITH SCORE 270616.09
AT ITER 231 NEW BEST:: SOT 539752 SOS 283130 HAS SOPS 283130 HAS SOUS 270300 HAS SOUPS 270300 WITH SCORE 270583.13
AT ITER 237 NEW BEST:: SOT 539752 SOS 283068 HAS SOPS 283068 HAS SOUS 270300 HAS SOUPS 270300 WITH SCORE 270583.068
AT ITER 242 NEW BEST:: SOT 539688 SOS 283073 HAS SOPS 283073 HAS SOUS 270297 HAS SOUPS 270297 WITH SCORE 270580.073
AT ITER 247 NEW BEST:: SOT 539420 SOS 283090 HAS SOPS 283090 HAS SOUS 270153 HAS SOUPS 270153 WITH SCORE 270436.09
AT ITER 250 NEW BEST:: SOT 539268 SOS 283072 HAS SOPS 283072 HAS SOUS 270011 HAS SOUPS 270011 WITH SCORE 270294.072
AT ITER 251 NEW BEST:: SOT 538717 SOS 283509 HAS SOPS 283509 HAS SOUS 269508 HAS SOUPS 269508 WITH SCORE 269791.509
AT ITER 257 NEW BEST:: SOT 538538 SOS 284290 HAS SOPS 284290 HAS SOUS 269427 HAS SOUPS 269427 WITH SCORE 269711.29
AT ITER 263 NEW BEST:: SOT 538538 SOS 284268 HAS SOPS 284268 HAS SOUS 269427 HAS SOUPS 269427 WITH SCORE 269711.268
AT ITER 273 NEW BEST:: SOT 538451 SOS 284708 HAS SOPS 284708 HAS SOUS 269340 HAS SOUPS 269340 WITH SCORE 269624.708
AT ITER 274 NEW BEST:: SOT 538363 SOS 284974 HAS SOPS 284974 HAS SOUS 269270 HAS SOUPS 269270 WITH SCORE 269554.974
AT ITER 275 NEW BEST:: SOT 537970 SOS 284581 HAS SOPS 284581 HAS SOUS 268877 HAS SOUPS 268877 WITH SCORE 269161.581
AT ITER 280 NEW BEST:: SOT 537538 SOS 284480 HAS SOPS 284480 HAS SOUS 268604 HAS SOUPS 268604 WITH SCORE 268888.48
AT ITER 286 NEW BEST:: SOT 536734 SOS 283864 HAS SOPS 283864 HAS SOUS 267900 HAS SOUPS 267900 WITH SCORE 268183.864
AT ITER 290 NEW BEST:: SOT 536734 SOS 283801 HAS SOPS 283801 HAS SOUS 267900 HAS SOUPS 267900 WITH SCORE 268183.801
AT ITER 301 NEW BEST:: SOT 536734 SOS 283501 HAS SOPS 283501 HAS SOUS 267900 HAS SOUPS 267900 WITH SCORE 268183.501
AT ITER 310 NEW BEST:: SOT 536458 SOS 283348 HAS SOPS 283348 HAS SOUS 267659 HAS SOUPS 267659 WITH SCORE 267942.348
AT ITER 315 NEW BEST:: SOT 536328 SOS 283218 HAS SOPS 283218 HAS SOUS 267529 HAS SOUPS 267529 WITH SCORE 267812.218
AT ITER 323 NEW BEST:: SOT 536355 SOS 283407 HAS SOPS 283407 HAS SOUS 267486 HAS SOUPS 267486 WITH SCORE 267769.407
AT ITER 326 NEW BEST:: SOT 536202 SOS 283401 HAS SOPS 283401 HAS SOUS 267480 HAS SOUPS 267480 WITH SCORE 267763.401
AT ITER 327 NEW BEST:: SOT 536202 SOS 283265 HAS SOPS 283265 HAS SOUS 267415 HAS SOUPS 267415 WITH SCORE 267698.265
AT ITER 336 NEW BEST:: SOT 536202 SOS 281595 HAS SOPS 281595 HAS SOUS 267415 HAS SOUPS 267415 WITH SCORE 267696.595
AT ITER 349 NEW BEST:: SOT 536098 SOS 281491 HAS SOPS 281491 HAS SOUS 267311 HAS SOUPS 267311 WITH SCORE 267592.491
AT ITER 360 NEW BEST:: SOT 536229 SOS 281446 HAS SOPS 281446 HAS SOUS 267208 HAS SOUPS 267208 WITH SCORE 267489.446
AT ITER 361 NEW BEST:: SOT 536124 SOS 281227 HAS SOPS 281227 HAS SOUS 267103 HAS SOUPS 267103 WITH SCORE 267384.227
AT ITER 364 NEW BEST:: SOT 536124 SOS 280930 HAS SOPS 280930 HAS SOUS 267103 HAS SOUPS 267103 WITH SCORE 267383.93
AT ITER 366 NEW BEST:: SOT 535869 SOS 280675 HAS SOPS 280675 HAS SOUS 266938 HAS SOUPS 266938 WITH SCORE 267218.675
AT ITER 374 NEW BEST:: SOT 535869 SOS 280649 HAS SOPS 280649 HAS SOUS 266938 HAS SOUPS 266938 WITH SCORE 267218.649
AT ITER 393 NEW BEST:: SOT 535962 SOS 280747 HAS SOPS 280747 HAS SOUS 266932 HAS SOUPS 266932 WITH SCORE 267212.747
AT ITER 397 NEW BEST:: SOT 535962 SOS 280689 HAS SOPS 280689 HAS SOUS 266932 HAS SOUPS 266932 WITH SCORE 267212.689
AT ITER 401 NEW BEST:: SOT 535930 SOS 280657 HAS SOPS 280657 HAS SOUS 266900 HAS SOUPS 266900 WITH SCORE 267180.657
AT ITER 405 NEW BEST:: SOT 535829 SOS 280556 HAS SOPS 280556 HAS SOUS 266799 HAS SOUPS 266799 WITH SCORE 267079.556
AT ITER 406 NEW BEST:: SOT 535835 SOS 280551 HAS SOPS 280551 HAS SOUS 266794 HAS SOUPS 266794 WITH SCORE 267074.551
AT ITER 408 NEW BEST:: SOT 535835 SOS 280524 HAS SOPS 280524 HAS SOUS 266794 HAS SOUPS 266794 WITH SCORE 267074.524
AT ITER 411 NEW BEST:: SOT 535594 SOS 283291 HAS SOPS 283291 HAS SOUS 266728 HAS SOUPS 266728 WITH SCORE 267011.291
AT ITER 413 NEW BEST:: SOT 535594 SOS 283199 HAS SOPS 283199 HAS SOUS 266728 HAS SOUPS 266728 WITH SCORE 267011.199
AT ITER 426 NEW BEST:: SOT 535653 SOS 282914 HAS SOPS 282914 HAS SOUS 266443 HAS SOUPS 266443 WITH SCORE 266725.914
AT ITER 427 NEW BEST:: SOT 535653 SOS 282897 HAS SOPS 282897 HAS SOUS 266443 HAS SOUPS 266443 WITH SCORE 266725.897
AT ITER 434 NEW BEST:: SOT 535635 SOS 282988 HAS SOPS 282988 HAS SOUS 266400 HAS SOUPS 266400 WITH SCORE 266682.988
AT ITER 436 NEW BEST:: SOT 535635 SOS 282962 HAS SOPS 282962 HAS SOUS 266400 HAS SOUPS 266400 WITH SCORE 266682.962
AT ITER 451 NEW BEST:: SOT 535359 SOS 283905 HAS SOPS 283905 HAS SOUS 266335 HAS SOUPS 266335 WITH SCORE 266618.905
AT ITER 469 NEW BEST:: SOT 535455 SOS 283875 HAS SOPS 283875 HAS SOUS 266305 HAS SOUPS 266305 WITH SCORE 266588.875
AT ITER 471 NEW BEST:: SOT 535235 SOS 283655 HAS SOPS 283655 HAS SOUS 266033 HAS SOUPS 266033 WITH SCORE 266316.655
AT ITER 477 NEW BEST:: SOT 535235 SOS 282756 HAS SOPS 282756 HAS SOUS 266033 HAS SOUPS 266033 WITH SCORE 266315.756
AT ITER 481 NEW BEST:: SOT 534954 SOS 284086 HAS SOPS 284086 HAS SOUS 265910 HAS SOUPS 265910 WITH SCORE 266194.086
AT ITER 484 NEW BEST:: SOT 534826 SOS 285160 HAS SOPS 285160 HAS SOUS 265825 HAS SOUPS 265825 WITH SCORE 266110.16
AT ITER 485 NEW BEST:: SOT 534826 SOS 285109 HAS SOPS 285109 HAS SOUS 265825 HAS SOUPS 265825 WITH SCORE 266110.109
AT ITER 487 NEW BEST:: SOT 534044 SOS 285362 HAS SOPS 285362 HAS SOUS 265119 HAS SOUPS 265119 WITH SCORE 265404.362
AT ITER 500 NEW BEST:: SOT 534034 SOS 285447 HAS SOPS 285447 HAS SOUS 265116 HAS SOUPS 265116 WITH SCORE 265401.447
AT ITER 502 NEW BEST:: SOT 533855 SOS 287118 HAS SOPS 287118 HAS SOUS 265078 HAS SOUPS 265078 WITH SCORE 265365.118
AT ITER 515 NEW BEST:: SOT 533758 SOS 287296 HAS SOPS 287296 HAS SOUS 265025 HAS SOUPS 265025 WITH SCORE 265312.296
AT ITER 518 NEW BEST:: SOT 533161 SOS 287785 HAS SOPS 287785 HAS SOUS 264730 HAS SOUPS 264730 WITH SCORE 265017.785
AT ITER 524 NEW BEST:: SOT 533161 SOS 287766 HAS SOPS 287766 HAS SOUS 264730 HAS SOUPS 264730 WITH SCORE 265017.766
AT ITER 526 NEW BEST:: SOT 533187 SOS 287736 HAS SOPS 287736 HAS SOUS 264559 HAS SOUPS 264559 WITH SCORE 264846.736
AT ITER 530 NEW BEST:: SOT 532935 SOS 287590 HAS SOPS 287590 HAS SOUS 264307 HAS SOUPS 264307 WITH SCORE 264594.59
AT ITER 532 NEW BEST:: SOT 532882 SOS 287193 HAS SOPS 287193 HAS SOUS 264134 HAS SOUPS 264134 WITH SCORE 264421.193
AT ITER 537 NEW BEST:: SOT 532722 SOS 287076 HAS SOPS 287076 HAS SOUS 263985 HAS SOUPS 263985 WITH SCORE 264272.076
AT ITER 543 NEW BEST:: SOT 532290 SOS 287311 HAS SOPS 287311 HAS SOUS 263760 HAS SOUPS 263760 WITH SCORE 264047.311
AT ITER 546 NEW BEST:: SOT 532214 SOS 287416 HAS SOPS 287416 HAS SOUS 263684 HAS SOUPS 263684 WITH SCORE 263971.416
AT ITER 549 NEW BEST:: SOT 531834 SOS 287285 HAS SOPS 287285 HAS SOUS 263411 HAS SOUPS 263411 WITH SCORE 263698.285
AT ITER 550 NEW BEST:: SOT 531741 SOS 287199 HAS SOPS 287199 HAS SOUS 263318 HAS SOUPS 263318 WITH SCORE 263605.199
AT ITER 551 NEW BEST:: SOT 531759 SOS 287234 HAS SOPS 287234 HAS SOUS 263273 HAS SOUPS 263273 WITH SCORE 263560.234
AT ITER 553 NEW BEST:: SOT 531551 SOS 287388 HAS SOPS 287388 HAS SOUS 263193 HAS SOUPS 263193 WITH SCORE 263480.388
AT ITER 556 NEW BEST:: SOT 531463 SOS 288541 HAS SOPS 288541 HAS SOUS 263146 HAS SOUPS 263146 WITH SCORE 263434.541
AT ITER 560 NEW BEST:: SOT 531463 SOS 288536 HAS SOPS 288536 HAS SOUS 263146 HAS SOUPS 263146 WITH SCORE 263434.536
AT ITER 563 NEW BEST:: SOT 531463 SOS 288521 HAS SOPS 288521 HAS SOUS 263131 HAS SOUPS 263131 WITH SCORE 263419.521
AT ITER 567 NEW BEST:: SOT 531343 SOS 288630 HAS SOPS 288630 HAS SOUS 263044 HAS SOUPS 263044 WITH SCORE 263332.63
AT ITER 572 NEW BEST:: SOT 531275 SOS 288562 HAS SOPS 288562 HAS SOUS 262945 HAS SOUPS 262945 WITH SCORE 263233.562
AT ITER 573 NEW BEST:: SOT 531275 SOS 288264 HAS SOPS 288264 HAS SOUS 262945 HAS SOUPS 262945 WITH SCORE 263233.264
AT ITER 578 NEW BEST:: SOT 530706 SOS 288847 HAS SOPS 288847 HAS SOUS 262716 HAS SOUPS 262716 WITH SCORE 263004.847
AT ITER 595 NEW BEST:: SOT 530706 SOS 288728 HAS SOPS 288728 HAS SOUS 262716 HAS SOUPS 262716 WITH SCORE 263004.728
AT ITER 596 NEW BEST:: SOT 530596 SOS 288618 HAS SOPS 288618 HAS SOUS 262606 HAS SOUPS 262606 WITH SCORE 262894.618
AT ITER 597 NEW BEST:: SOT 530579 SOS 288669 HAS SOPS 288669 HAS SOUS 262548 HAS SOUPS 262548 WITH SCORE 262836.669
AT ITER 599 NEW BEST:: SOT 530141 SOS 289405 HAS SOPS 289405 HAS SOUS 262196 HAS SOUPS 262196 WITH SCORE 262485.405
AT ITER 601 NEW BEST:: SOT 530141 SOS 289391 HAS SOPS 289391 HAS SOUS 262196 HAS SOUPS 262196 WITH SCORE 262485.391
AT ITER 605 NEW BEST:: SOT 529928 SOS 289178 HAS SOPS 289178 HAS SOUS 261983 HAS SOUPS 261983 WITH SCORE 262272.178
AT ITER 608 NEW BEST:: SOT 529910 SOS 289142 HAS SOPS 289142 HAS SOUS 261965 HAS SOUPS 261965 WITH SCORE 262254.142
AT ITER 609 NEW BEST:: SOT 529881 SOS 289110 HAS SOPS 289110 HAS SOUS 261962 HAS SOUPS 261962 WITH SCORE 262251.11
AT ITER 617 NEW BEST:: SOT 529742 SOS 289001 HAS SOPS 289001 HAS SOUS 261649 HAS SOUPS 261649 WITH SCORE 261938.001
AT ITER 618 NEW BEST:: SOT 529468 SOS 288780 HAS SOPS 288780 HAS SOUS 261428 HAS SOUPS 261428 WITH SCORE 261716.78
AT ITER 623 NEW BEST:: SOT 529468 SOS 288220 HAS SOPS 288220 HAS SOUS 261428 HAS SOUPS 261428 WITH SCORE 261716.22
AT ITER 637 NEW BEST:: SOT 529468 SOS 288189 HAS SOPS 288189 HAS SOUS 261428 HAS SOUPS 261428 WITH SCORE 261716.189
AT ITER 643 NEW BEST:: SOT 529468 SOS 288128 HAS SOPS 288128 HAS SOUS 261428 HAS SOUPS 261428 WITH SCORE 261716.128
AT ITER 644 NEW BEST:: SOT 529199 SOS 287915 HAS SOPS 287915 HAS SOUS 261215 HAS SOUPS 261215 WITH SCORE 261502.915
AT ITER 647 NEW BEST:: SOT 529196 SOS 287760 HAS SOPS 287760 HAS SOUS 261145 HAS SOUPS 261145 WITH SCORE 261432.76
AT ITER 649 NEW BEST:: SOT 529196 SOS 287628 HAS SOPS 287628 HAS SOUS 261145 HAS SOUPS 261145 WITH SCORE 261432.628
AT ITER 651 NEW BEST:: SOT 528976 SOS 288793 HAS SOPS 288793 HAS SOUS 261126 HAS SOUPS 261126 WITH SCORE 261414.793
AT ITER 659 NEW BEST:: SOT 528976 SOS 288768 HAS SOPS 288768 HAS SOUS 261126 HAS SOUPS 261126 WITH SCORE 261414.768
AT ITER 662 NEW BEST:: SOT 528987 SOS 288834 HAS SOPS 288834 HAS SOUS 261120 HAS SOUPS 261120 WITH SCORE 261408.834
AT ITER 667 NEW BEST:: SOT 528905 SOS 288793 HAS SOPS 288793 HAS SOUS 261079 HAS SOUPS 261079 WITH SCORE 261367.793
AT ITER 678 NEW BEST:: SOT 528700 SOS 288664 HAS SOPS 288664 HAS SOUS 261023 HAS SOUPS 261023 WITH SCORE 261311.664
AT ITER 688 NEW BEST:: SOT 528411 SOS 288375 HAS SOPS 288375 HAS SOUS 260690 HAS SOUPS 260690 WITH SCORE 260978.375
AT ITER 701 NEW BEST:: SOT 528411 SOS 288354 HAS SOPS 288354 HAS SOUS 260690 HAS SOUPS 260690 WITH SCORE 260978.354
AT ITER 704 NEW BEST:: SOT 528411 SOS 288100 HAS SOPS 288100 HAS SOUS 260690 HAS SOUPS 260690 WITH SCORE 260978.1
AT ITER 706 NEW BEST:: SOT 528266 SOS 288952 HAS SOPS 288952 HAS SOUS 260687 HAS SOUPS 260687 WITH SCORE 260975.952
AT ITER 710 NEW BEST:: SOT 528339 SOS 288948 HAS SOPS 288948 HAS SOUS 260682 HAS SOUPS 260682 WITH SCORE 260970.948
AT ITER 715 NEW BEST:: SOT 528112 SOS 288968 HAS SOPS 288968 HAS SOUS 260352 HAS SOUPS 260352 WITH SCORE 260640.968
AT ITER 717 NEW BEST:: SOT 528061 SOS 288917 HAS SOPS 288917 HAS SOUS 260301 HAS SOUPS 260301 WITH SCORE 260589.917
AT ITER 719 NEW BEST:: SOT 528061 SOS 288898 HAS SOPS 288898 HAS SOUS 260301 HAS SOUPS 260301 WITH SCORE 260589.898
AT ITER 720 NEW BEST:: SOT 527987 SOS 289175 HAS SOPS 289175 HAS SOUS 260179 HAS SOUPS 260179 WITH SCORE 260468.175
AT ITER 724 NEW BEST:: SOT 528004 SOS 289084 HAS SOPS 289084 HAS SOUS 260064 HAS SOUPS 260064 WITH SCORE 260353.084
AT ITER 730 NEW BEST:: SOT 527544 SOS 288821 HAS SOPS 288821 HAS SOUS 259701 HAS SOUPS 259701 WITH SCORE 259989.821
AT ITER 735 NEW BEST:: SOT 527176 SOS 288977 HAS SOPS 288977 HAS SOUS 259684 HAS SOUPS 259684 WITH SCORE 259972.977
AT ITER 737 NEW BEST:: SOT 527326 SOS 289007 HAS SOPS 289007 HAS SOUS 259639 HAS SOUPS 259639 WITH SCORE 259928.007
AT ITER 741 NEW BEST:: SOT 527341 SOS 288951 HAS SOPS 288951 HAS SOUS 259583 HAS SOUPS 259583 WITH SCORE 259871.951
AT ITER 743 NEW BEST:: SOT 527341 SOS 288916 HAS SOPS 288916 HAS SOUS 259583 HAS SOUPS 259583 WITH SCORE 259871.916
AT ITER 764 NEW BEST:: SOT 527341 SOS 288897 HAS SOPS 288897 HAS SOUS 259583 HAS SOUPS 259583 WITH SCORE 259871.897
AT ITER 766 NEW BEST:: SOT 527321 SOS 288877 HAS SOPS 288877 HAS SOUS 259563 HAS SOUPS 259563 WITH SCORE 259851.877
AT ITER 772 NEW BEST:: SOT 527135 SOS 288722 HAS SOPS 288722 HAS SOUS 259408 HAS SOUPS 259408 WITH SCORE 259696.722
AT ITER 775 NEW BEST:: SOT 527103 SOS 288900 HAS SOPS 288900 HAS SOUS 259376 HAS SOUPS 259376 WITH SCORE 259664.9
AT ITER 777 NEW BEST:: SOT 526493 SOS 288390 HAS SOPS 288390 HAS SOUS 258818 HAS SOUPS 258818 WITH SCORE 259106.39
AT ITER 781 NEW BEST:: SOT 526406 SOS 288166 HAS SOPS 288166 HAS SOUS 258666 HAS SOUPS 258666 WITH SCORE 258954.166
AT ITER 792 NEW BEST:: SOT 525899 SOS 289244 HAS SOPS 289244 HAS SOUS 258541 HAS SOUPS 258541 WITH SCORE 258830.244
AT ITER 798 NEW BEST:: SOT 525902 SOS 289248 HAS SOPS 289248 HAS SOUS 258457 HAS SOUPS 258457 WITH SCORE 258746.248
AT ITER 805 NEW BEST:: SOT 525962 SOS 289144 HAS SOPS 289144 HAS SOUS 258410 HAS SOUPS 258410 WITH SCORE 258699.144
AT ITER 808 NEW BEST:: SOT 525875 SOS 289072 HAS SOPS 289072 HAS SOUS 258353 HAS SOUPS 258353 WITH SCORE 258642.072
AT ITER 810 NEW BEST:: SOT 525714 SOS 288934 HAS SOPS 288934 HAS SOUS 258215 HAS SOUPS 258215 WITH SCORE 258503.934
AT ITER 818 NEW BEST:: SOT 525714 SOS 288799 HAS SOPS 288799 HAS SOUS 258215 HAS SOUPS 258215 WITH SCORE 258503.799
AT ITER 821 NEW BEST:: SOT 525923 SOS 288873 HAS SOPS 288873 HAS SOUS 258138 HAS SOUPS 258138 WITH SCORE 258426.873
AT ITER 837 NEW BEST:: SOT 525935 SOS 288687 HAS SOPS 288687 HAS SOUS 258129 HAS SOUPS 258129 WITH SCORE 258417.687
AT ITER 838 NEW BEST:: SOT 525859 SOS 288594 HAS SOPS 288594 HAS SOUS 258112 HAS SOUPS 258112 WITH SCORE 258400.594
AT ITER 847 NEW BEST:: SOT 525859 SOS 289204 HAS SOPS 289204 HAS SOUS 258082 HAS SOUPS 258082 WITH SCORE 258371.204
AT ITER 850 NEW BEST:: SOT 525859 SOS 288834 HAS SOPS 288834 HAS SOUS 257968 HAS SOUPS 257968 WITH SCORE 258256.834
AT ITER 856 NEW BEST:: SOT 525922 SOS 288883 HAS SOPS 288883 HAS SOUS 257959 HAS SOUPS 257959 WITH SCORE 258247.883
AT ITER 860 NEW BEST:: SOT 525844 SOS 288818 HAS SOPS 288818 HAS SOUS 257894 HAS SOUPS 257894 WITH SCORE 258182.818
AT ITER 862 NEW BEST:: SOT 525844 SOS 288814 HAS SOPS 288814 HAS SOUS 257894 HAS SOUPS 257894 WITH SCORE 258182.814
AT ITER 863 NEW BEST:: SOT 525844 SOS 288612 HAS SOPS 288612 HAS SOUS 257894 HAS SOUPS 257894 WITH SCORE 258182.612
AT ITER 865 NEW BEST:: SOT 525844 SOS 288525 HAS SOPS 288525 HAS SOUS 257807 HAS SOUPS 257807 WITH SCORE 258095.525
AT ITER 868 NEW BEST:: SOT 525844 SOS 287676 HAS SOPS 287676 HAS SOUS 257685 HAS SOUPS 257685 WITH SCORE 257972.676
AT ITER 876 NEW BEST:: SOT 525912 SOS 287675 HAS SOPS 287675 HAS SOUS 257644 HAS SOUPS 257644 WITH SCORE 257931.675
AT ITER 878 NEW BEST:: SOT 525912 SOS 287610 HAS SOPS 287610 HAS SOUS 257644 HAS SOUPS 257644 WITH SCORE 257931.61
AT ITER 879 NEW BEST:: SOT 525815 SOS 287590 HAS SOPS 287590 HAS SOUS 257624 HAS SOUPS 257624 WITH SCORE 257911.59
AT ITER 887 NEW BEST:: SOT 525210 SOS 287276 HAS SOPS 287276 HAS SOUS 257264 HAS SOUPS 257264 WITH SCORE 257551.276
AT ITER 888 NEW BEST:: SOT 525210 SOS 287169 HAS SOPS 287169 HAS SOUS 257264 HAS SOUPS 257264 WITH SCORE 257551.169
AT ITER 899 NEW BEST:: SOT 525210 SOS 287128 HAS SOPS 287128 HAS SOUS 257264 HAS SOUPS 257264 WITH SCORE 257551.128
AT ITER 906 NEW BEST:: SOT 525210 SOS 287106 HAS SOPS 287106 HAS SOUS 257264 HAS SOUPS 257264 WITH SCORE 257551.106
AT ITER 914 NEW BEST:: SOT 524875 SOS 287646 HAS SOPS 287646 HAS SOUS 257019 HAS SOUPS 257019 WITH SCORE 257306.646
AT ITER 919 NEW BEST:: SOT 524875 SOS 287629 HAS SOPS 287629 HAS SOUS 257019 HAS SOUPS 257019 WITH SCORE 257306.629
AT ITER 920 NEW BEST:: SOT 524875 SOS 285227 HAS SOPS 285227 HAS SOUS 257019 HAS SOUPS 257019 WITH SCORE 257304.227
AT ITER 929 NEW BEST:: SOT 524321 SOS 284322 HAS SOPS 284322 HAS SOUS 256360 HAS SOUPS 256360 WITH SCORE 256644.322
AT ITER 930 NEW BEST:: SOT 524300 SOS 284280 HAS SOPS 284280 HAS SOUS 256318 HAS SOUPS 256318 WITH SCORE 256602.28
AT ITER 936 NEW BEST:: SOT 524300 SOS 284029 HAS SOPS 284029 HAS SOUS 256184 HAS SOUPS 256184 WITH SCORE 256468.029
AT ITER 939 NEW BEST:: SOT 524300 SOS 284021 HAS SOPS 284021 HAS SOUS 256184 HAS SOUPS 256184 WITH SCORE 256468.021
AT ITER 963 NEW BEST:: SOT 524300 SOS 283083 HAS SOPS 283083 HAS SOUS 256159 HAS SOUPS 256159 WITH SCORE 256442.083
AT ITER 978 NEW BEST:: SOT 524108 SOS 283748 HAS SOPS 283748 HAS SOUS 256113 HAS SOUPS 256113 WITH SCORE 256396.748
AT ITER 988 NEW BEST:: SOT 524141 SOS 283469 HAS SOPS 283469 HAS SOUS 256112 HAS SOUPS 256112 WITH SCORE 256395.469
AT ITER 994 NEW BEST:: SOT 524141 SOS 283443 HAS SOPS 283443 HAS SOUS 256086 HAS SOUPS 256086 WITH SCORE 256369.443
AT ITER 1005 NEW BEST:: SOT 523776 SOS 283808 HAS SOPS 283808 HAS SOUS 255873 HAS SOUPS 255873 WITH SCORE 256156.808
AT ITER 1012 NEW BEST:: SOT 523776 SOS 283781 HAS SOPS 283781 HAS SOUS 255873 HAS SOUPS 255873 WITH SCORE 256156.781
AT ITER 1026 NEW BEST:: SOT 523675 SOS 283753 HAS SOPS 283753 HAS SOUS 255845 HAS SOUPS 255845 WITH SCORE 256128.753
AT ITER 1029 NEW BEST:: SOT 523735 SOS 283436 HAS SOPS 283436 HAS SOUS 255528 HAS SOUPS 255528 WITH SCORE 255811.436
AT ITER 1036 NEW BEST:: SOT 523735 SOS 283229 HAS SOPS 283229 HAS SOUS 255528 HAS SOUPS 255528 WITH SCORE 255811.229
AT ITER 1040 NEW BEST:: SOT 523735 SOS 283222 HAS SOPS 283222 HAS SOUS 255528 HAS SOUPS 255528 WITH SCORE 255811.222
AT ITER 1043 NEW BEST:: SOT 523742 SOS 283229 HAS SOPS 283229 HAS SOUS 255455 HAS SOUPS 255455 WITH SCORE 255738.229
AT ITER 1058 NEW BEST:: SOT 523460 SOS 283164 HAS SOPS 283164 HAS SOUS 255173 HAS SOUPS 255173 WITH SCORE 255456.164
AT ITER 1061 NEW BEST:: SOT 523270 SOS 283734 HAS SOPS 283734 HAS SOUS 255112 HAS SOUPS 255112 WITH SCORE 255395.734
AT ITER 1065 NEW BEST:: SOT 523309 SOS 283761 HAS SOPS 283761 HAS SOUS 255090 HAS SOUPS 255090 WITH SCORE 255373.761
AT ITER 1066 NEW BEST:: SOT 523309 SOS 283693 HAS SOPS 283693 HAS SOUS 255090 HAS SOUPS 255090 WITH SCORE 255373.693
AT ITER 1068 NEW BEST:: SOT 522718 SOS 283401 HAS SOPS 283401 HAS SOUS 254936 HAS SOUPS 254936 WITH SCORE 255219.401
AT ITER 1074 NEW BEST:: SOT 522718 SOS 283374 HAS SOPS 283374 HAS SOUS 254924 HAS SOUPS 254924 WITH SCORE 255207.374
AT ITER 1081 NEW BEST:: SOT 522565 SOS 283087 HAS SOPS 283087 HAS SOUS 254637 HAS SOUPS 254637 WITH SCORE 254920.087
AT ITER 1082 NEW BEST:: SOT 522565 SOS 282929 HAS SOPS 282929 HAS SOUS 254637 HAS SOUPS 254637 WITH SCORE 254919.929
AT ITER 1086 NEW BEST:: SOT 522531 SOS 282895 HAS SOPS 282895 HAS SOUS 254571 HAS SOUPS 254571 WITH SCORE 254853.895
AT ITER 1087 NEW BEST:: SOT 522531 SOS 282839 HAS SOPS 282839 HAS SOUS 254571 HAS SOUPS 254571 WITH SCORE 254853.839
AT ITER 1091 NEW BEST:: SOT 522282 SOS 282668 HAS SOPS 282668 HAS SOUS 254400 HAS SOUPS 254400 WITH SCORE 254682.668
AT ITER 1092 NEW BEST:: SOT 522291 SOS 282825 HAS SOPS 282825 HAS SOUS 254399 HAS SOUPS 254399 WITH SCORE 254681.825
AT ITER 1093 NEW BEST:: SOT 522136 SOS 282670 HAS SOPS 282670 HAS SOUS 254244 HAS SOUPS 254244 WITH SCORE 254526.67
AT ITER 1119 NEW BEST:: SOT 522080 SOS 282614 HAS SOPS 282614 HAS SOUS 254212 HAS SOUPS 254212 WITH SCORE 254494.614
AT ITER 1124 NEW BEST:: SOT 522080 SOS 282474 HAS SOPS 282474 HAS SOUS 254192 HAS SOUPS 254192 WITH SCORE 254474.474
AT ITER 1129 NEW BEST:: SOT 522080 SOS 282474 HAS SOPS 282474 HAS SOUS 254133 HAS SOUPS 254133 WITH SCORE 254415.474
AT ITER 1134 NEW BEST:: SOT 521710 SOS 282744 HAS SOPS 282744 HAS SOUS 253918 HAS SOUPS 253918 WITH SCORE 254200.744
AT ITER 1137 NEW BEST:: SOT 521710 SOS 282741 HAS SOPS 282741 HAS SOUS 253918 HAS SOUPS 253918 WITH SCORE 254200.741
AT ITER 1140 NEW BEST:: SOT 521710 SOS 282459 HAS SOPS 282459 HAS SOUS 253918 HAS SOUPS 253918 WITH SCORE 254200.459
AT ITER 1152 NEW BEST:: SOT 521692 SOS 282152 HAS SOPS 282152 HAS SOUS 253753 HAS SOUPS 253753 WITH SCORE 254035.152
AT ITER 1156 NEW BEST:: SOT 521714 SOS 282196 HAS SOPS 282196 HAS SOUS 253674 HAS SOUPS 253674 WITH SCORE 253956.196
AT ITER 1157 NEW BEST:: SOT 521714 SOS 282171 HAS SOPS 282171 HAS SOUS 253674 HAS SOUPS 253674 WITH SCORE 253956.171
AT ITER 1168 NEW BEST:: SOT 521026 SOS 281545 HAS SOPS 281545 HAS SOUS 253008 HAS SOUPS 253008 WITH SCORE 253289.545
AT ITER 1175 NEW BEST:: SOT 521026 SOS 281201 HAS SOPS 281201 HAS SOUS 252874 HAS SOUPS 252874 WITH SCORE 253155.201
AT ITER 1176 NEW BEST:: SOT 520607 SOS 280932 HAS SOPS 280932 HAS SOUS 252696 HAS SOUPS 252696 WITH SCORE 252976.932
AT ITER 1178 NEW BEST:: SOT 520592 SOS 280917 HAS SOPS 280917 HAS SOUS 252681 HAS SOUPS 252681 WITH SCORE 252961.917
AT ITER 1184 NEW BEST:: SOT 520636 SOS 280705 HAS SOPS 280705 HAS SOUS 252425 HAS SOUPS 252425 WITH SCORE 252705.705
AT ITER 1187 NEW BEST:: SOT 520568 SOS 280654 HAS SOPS 280654 HAS SOUS 252374 HAS SOUPS 252374 WITH SCORE 252654.654
AT ITER 1189 NEW BEST:: SOT 520399 SOS 280485 HAS SOPS 280485 HAS SOUS 252168 HAS SOUPS 252168 WITH SCORE 252448.485
AT ITER 1190 NEW BEST:: SOT 520417 SOS 280503 HAS SOPS 280503 HAS SOUS 252164 HAS SOUPS 252164 WITH SCORE 252444.503
AT ITER 1194 NEW BEST:: SOT 520409 SOS 280932 HAS SOPS 280932 HAS SOUS 252156 HAS SOUPS 252156 WITH SCORE 252436.932
AT ITER 1198 NEW BEST:: SOT 520409 SOS 280311 HAS SOPS 280311 HAS SOUS 252062 HAS SOUPS 252062 WITH SCORE 252342.311
AT ITER 1204 NEW BEST:: SOT 520183 SOS 280140 HAS SOPS 280140 HAS SOUS 251891 HAS SOUPS 251891 WITH SCORE 252171.14
AT ITER 1205 NEW BEST:: SOT 520183 SOS 280140 HAS SOPS 280140 HAS SOUS 251860 HAS SOUPS 251860 WITH SCORE 252140.14
AT ITER 1209 NEW BEST:: SOT 520087 SOS 279864 HAS SOPS 279864 HAS SOUS 251633 HAS SOUPS 251633 WITH SCORE 251912.864
AT ITER 1244 NEW BEST:: SOT 520079 SOS 279856 HAS SOPS 279856 HAS SOUS 251625 HAS SOUPS 251625 WITH SCORE 251904.856
AT ITER 1248 NEW BEST:: SOT 520079 SOS 278734 HAS SOPS 278734 HAS SOUS 251625 HAS SOUPS 251625 WITH SCORE 251903.734
AT ITER 1250 NEW BEST:: SOT 520167 SOS 278686 HAS SOPS 278686 HAS SOUS 251607 HAS SOUPS 251607 WITH SCORE 251885.686
AT ITER 1252 NEW BEST:: SOT 520167 SOS 278705 HAS SOPS 278705 HAS SOUS 251590 HAS SOUPS 251590 WITH SCORE 251868.705
AT ITER 1253 NEW BEST:: SOT 520075 SOS 278505 HAS SOPS 278505 HAS SOUS 251392 HAS SOUPS 251392 WITH SCORE 251670.505
AT ITER 1262 NEW BEST:: SOT 520075 SOS 278414 HAS SOPS 278414 HAS SOUS 251392 HAS SOUPS 251392 WITH SCORE 251670.414
AT ITER 1265 NEW BEST:: SOT 519482 SOS 278635 HAS SOPS 278635 HAS SOUS 251057 HAS SOUPS 251057 WITH SCORE 251335.635
AT ITER 1268 NEW BEST:: SOT 519436 SOS 278454 HAS SOPS 278454 HAS SOUS 250875 HAS SOUPS 250875 WITH SCORE 251153.454
AT ITER 1276 NEW BEST:: SOT 519436 SOS 278482 HAS SOPS 278482 HAS SOUS 250854 HAS SOUPS 250854 WITH SCORE 251132.482
AT ITER 1292 NEW BEST:: SOT 519436 SOS 278422 HAS SOPS 278422 HAS SOUS 250854 HAS SOUPS 250854 WITH SCORE 251132.422
AT ITER 1295 NEW BEST:: SOT 519436 SOS 278344 HAS SOPS 278344 HAS SOUS 250854 HAS SOUPS 250854 WITH SCORE 251132.344
AT ITER 1299 NEW BEST:: SOT 519405 SOS 278205 HAS SOPS 278205 HAS SOUS 250823 HAS SOUPS 250823 WITH SCORE 251101.205
AT ITER 1306 NEW BEST:: SOT 519405 SOS 278281 HAS SOPS 278281 HAS SOUS 250793 HAS SOUPS 250793 WITH SCORE 251071.281
AT ITER 1318 NEW BEST:: SOT 519082 SOS 278194 HAS SOPS 278194 HAS SOUS 250613 HAS SOUPS 250613 WITH SCORE 250891.194
AT ITER 1320 NEW BEST:: SOT 518999 SOS 279569 HAS SOPS 279569 HAS SOUS 250571 HAS SOUPS 250571 WITH SCORE 250850.569
AT ITER 1334 NEW BEST:: SOT 518622 SOS 279532 HAS SOPS 279532 HAS SOUS 250194 HAS SOUPS 250194 WITH SCORE 250473.532
AT ITER 1350 NEW BEST:: SOT 518013 SOS 279760 HAS SOPS 279760 HAS SOUS 250045 HAS SOUPS 250045 WITH SCORE 250324.76
AT ITER 1351 NEW BEST:: SOT 517380 SOS 279132 HAS SOPS 279132 HAS SOUS 249297 HAS SOUPS 249297 WITH SCORE 249576.132
AT ITER 1360 NEW BEST:: SOT 517380 SOS 278750 HAS SOPS 278750 HAS SOUS 249297 HAS SOUPS 249297 WITH SCORE 249575.75
AT ITER 1367 NEW BEST:: SOT 517557 SOS 278927 HAS SOPS 278927 HAS SOUS 249258 HAS SOUPS 249258 WITH SCORE 249536.927
AT ITER 1372 NEW BEST:: SOT 517331 SOS 278827 HAS SOPS 278827 HAS SOUS 249207 HAS SOUPS 249207 WITH SCORE 249485.827
AT ITER 1380 NEW BEST:: SOT 517418 SOS 278844 HAS SOPS 278844 HAS SOUS 249192 HAS SOUPS 249192 WITH SCORE 249470.844
AT ITER 1386 NEW BEST:: SOT 517246 SOS 278745 HAS SOPS 278745 HAS SOUS 249093 HAS SOUPS 249093 WITH SCORE 249371.745
AT ITER 1397 NEW BEST:: SOT 517318 SOS 278625 HAS SOPS 278625 HAS SOUS 248948 HAS SOUPS 248948 WITH SCORE 249226.625
AT ITER 1401 NEW BEST:: SOT 517318 SOS 278606 HAS SOPS 278606 HAS SOUS 248929 HAS SOUPS 248929 WITH SCORE 249207.606
AT ITER 1416 NEW BEST:: SOT 516959 SOS 278481 HAS SOPS 278481 HAS SOUS 248627 HAS SOUPS 248627 WITH SCORE 248905.481
AT ITER 1420 NEW BEST:: SOT 516936 SOS 278476 HAS SOPS 278476 HAS SOUS 248604 HAS SOUPS 248604 WITH SCORE 248882.476
AT ITER 1429 NEW BEST:: SOT 516854 SOS 278448 HAS SOPS 278448 HAS SOUS 248576 HAS SOUPS 248576 WITH SCORE 248854.448
AT ITER 1447 NEW BEST:: SOT 516854 SOS 278082 HAS SOPS 278082 HAS SOUS 248487 HAS SOUPS 248487 WITH SCORE 248765.082
AT ITER 1458 NEW BEST:: SOT 516716 SOS 277849 HAS SOPS 277849 HAS SOUS 248222 HAS SOUPS 248222 WITH SCORE 248499.849
AT ITER 1466 NEW BEST:: SOT 516716 SOS 277734 HAS SOPS 277734 HAS SOUS 248180 HAS SOUPS 248180 WITH SCORE 248457.734
AT ITER 1468 NEW BEST:: SOT 516266 SOS 278406 HAS SOPS 278406 HAS SOUS 248075 HAS SOUPS 248075 WITH SCORE 248353.406
AT ITER 1470 NEW BEST:: SOT 516213 SOS 278375 HAS SOPS 278375 HAS SOUS 248044 HAS SOUPS 248044 WITH SCORE 248322.375
AT ITER 1475 NEW BEST:: SOT 516185 SOS 278361 HAS SOPS 278361 HAS SOUS 248016 HAS SOUPS 248016 WITH SCORE 248294.361
AT ITER 1476 NEW BEST:: SOT 515947 SOS 278333 HAS SOPS 278333 HAS SOUS 247778 HAS SOUPS 247778 WITH SCORE 248056.333
AT ITER 1477 NEW BEST:: SOT 515983 SOS 278281 HAS SOPS 278281 HAS SOUS 247770 HAS SOUPS 247770 WITH SCORE 248048.281
AT ITER 1478 NEW BEST:: SOT 515983 SOS 278108 HAS SOPS 278108 HAS SOUS 247770 HAS SOUPS 247770 WITH SCORE 248048.108
AT ITER 1480 NEW BEST:: SOT 515983 SOS 277448 HAS SOPS 277448 HAS SOUS 247742 HAS SOUPS 247742 WITH SCORE 248019.448
AT ITER 1488 NEW BEST:: SOT 515926 SOS 277391 HAS SOPS 277391 HAS SOUS 247685 HAS SOUPS 247685 WITH SCORE 247962.391
AT ITER 1495 NEW BEST:: SOT 515783 SOS 277248 HAS SOPS 277248 HAS SOUS 247538 HAS SOUPS 247538 WITH SCORE 247815.248
AT ITER 1496 NEW BEST:: SOT 515772 SOS 277231 HAS SOPS 277231 HAS SOUS 247537 HAS SOUPS 247537 WITH SCORE 247814.231
AT ITER 1502 NEW BEST:: SOT 515772 SOS 277187 HAS SOPS 277187 HAS SOUS 247423 HAS SOUPS 247423 WITH SCORE 247700.187
AT ITER 1504 NEW BEST:: SOT 515351 SOS 277684 HAS SOPS 277684 HAS SOUS 247234 HAS SOUPS 247234 WITH SCORE 247511.684
AT ITER 1507 NEW BEST:: SOT 515351 SOS 277683 HAS SOPS 277683 HAS SOUS 247234 HAS SOUPS 247234 WITH SCORE 247511.683
AT ITER 1511 NEW BEST:: SOT 515351 SOS 275631 HAS SOPS 275631 HAS SOUS 247234 HAS SOUPS 247234 WITH SCORE 247509.631
AT ITER 1513 NEW BEST:: SOT 515351 SOS 275528 HAS SOPS 275528 HAS SOUS 247234 HAS SOUPS 247234 WITH SCORE 247509.528
AT ITER 1520 NEW BEST:: SOT 515283 SOS 275529 HAS SOPS 275529 HAS SOUS 247189 HAS SOUPS 247189 WITH SCORE 247464.529
AT ITER 1521 NEW BEST:: SOT 514948 SOS 277527 HAS SOPS 277527 HAS SOUS 247061 HAS SOUPS 247061 WITH SCORE 247338.527
AT ITER 1524 NEW BEST:: SOT 514687 SOS 277420 HAS SOPS 277420 HAS SOUS 246954 HAS SOUPS 246954 WITH SCORE 247231.42
AT ITER 1533 NEW BEST:: SOT 514687 SOS 277277 HAS SOPS 277277 HAS SOUS 246950 HAS SOUPS 246950 WITH SCORE 247227.277
AT ITER 1538 NEW BEST:: SOT 514687 SOS 277177 HAS SOPS 277177 HAS SOUS 246950 HAS SOUPS 246950 WITH SCORE 247227.177
AT ITER 1546 NEW BEST:: SOT 513939 SOS 278127 HAS SOPS 278127 HAS SOUS 246825 HAS SOUPS 246825 WITH SCORE 247103.127
AT ITER 1553 NEW BEST:: SOT 513249 SOS 277916 HAS SOPS 277916 HAS SOUS 246312 HAS SOUPS 246312 WITH SCORE 246589.916
AT ITER 1563 NEW BEST:: SOT 513238 SOS 277756 HAS SOPS 277756 HAS SOUS 246248 HAS SOUPS 246248 WITH SCORE 246525.756
AT ITER 1568 NEW BEST:: SOT 513180 SOS 277662 HAS SOPS 277662 HAS SOUS 246221 HAS SOUPS 246221 WITH SCORE 246498.662
AT ITER 1574 NEW BEST:: SOT 512964 SOS 277546 HAS SOPS 277546 HAS SOUS 246005 HAS SOUPS 246005 WITH SCORE 246282.546
AT ITER 1576 NEW BEST:: SOT 512501 SOS 278234 HAS SOPS 278234 HAS SOUS 245987 HAS SOUPS 245987 WITH SCORE 246265.234
AT ITER 1580 NEW BEST:: SOT 512501 SOS 278220 HAS SOPS 278220 HAS SOUS 245959 HAS SOUPS 245959 WITH SCORE 246237.22
AT ITER 1585 NEW BEST:: SOT 512046 SOS 278001 HAS SOPS 278001 HAS SOUS 245914 HAS SOUPS 245914 WITH SCORE 246192.001
AT ITER 1592 NEW BEST:: SOT 511276 SOS 277582 HAS SOPS 277582 HAS SOUS 245639 HAS SOUPS 245639 WITH SCORE 245916.582
AT ITER 1593 NEW BEST:: SOT 511276 SOS 277557 HAS SOPS 277557 HAS SOUS 245639 HAS SOUPS 245639 WITH SCORE 245916.557
AT ITER 1595 NEW BEST:: SOT 510506 SOS 277821 HAS SOPS 277821 HAS SOUS 245101 HAS SOUPS 245101 WITH SCORE 245378.821
AT ITER 1604 NEW BEST:: SOT 510506 SOS 277738 HAS SOPS 277738 HAS SOUS 245101 HAS SOUPS 245101 WITH SCORE 245378.738
AT ITER 1606 NEW BEST:: SOT 510506 SOS 277483 HAS SOPS 277483 HAS SOUS 244972 HAS SOUPS 244972 WITH SCORE 245249.483
AT ITER 1608 NEW BEST:: SOT 510583 SOS 277560 HAS SOPS 277560 HAS SOUS 244953 HAS SOUPS 244953 WITH SCORE 245230.56
AT ITER 1621 NEW BEST:: SOT 510704 SOS 277577 HAS SOPS 277577 HAS SOUS 244952 HAS SOUPS 244952 WITH SCORE 245229.577
AT ITER 1623 NEW BEST:: SOT 510704 SOS 277623 HAS SOPS 277623 HAS SOUS 244938 HAS SOUPS 244938 WITH SCORE 245215.623
AT ITER 1628 NEW BEST:: SOT 510587 SOS 277525 HAS SOPS 277525 HAS SOUS 244835 HAS SOUPS 244835 WITH SCORE 245112.525
AT ITER 1644 NEW BEST:: SOT 510587 SOS 277493 HAS SOPS 277493 HAS SOUS 244835 HAS SOUPS 244835 WITH SCORE 245112.493
AT ITER 1647 NEW BEST:: SOT 510587 SOS 277343 HAS SOPS 277343 HAS SOUS 244835 HAS SOUPS 244835 WITH SCORE 245112.343
AT ITER 1657 NEW BEST:: SOT 510637 SOS 277363 HAS SOPS 277363 HAS SOUS 244809 HAS SOUPS 244809 WITH SCORE 245086.363
AT ITER 1673 NEW BEST:: SOT 510056 SOS 277788 HAS SOPS 277788 HAS SOUS 244691 HAS SOUPS 244691 WITH SCORE 244968.788
AT ITER 1687 NEW BEST:: SOT 510056 SOS 277663 HAS SOPS 277663 HAS SOUS 244691 HAS SOUPS 244691 WITH SCORE 244968.663
AT ITER 1704 NEW BEST:: SOT 509982 SOS 277539 HAS SOPS 277539 HAS SOUS 244592 HAS SOUPS 244592 WITH SCORE 244869.539
AT ITER 1705 NEW BEST:: SOT 509982 SOS 277502 HAS SOPS 277502 HAS SOUS 244592 HAS SOUPS 244592 WITH SCORE 244869.502
AT ITER 1707 NEW BEST:: SOT 509908 SOS 277204 HAS SOPS 277204 HAS SOUS 244294 HAS SOUPS 244294 WITH SCORE 244571.204
AT ITER 1710 NEW BEST:: SOT 509895 SOS 277191 HAS SOPS 277191 HAS SOUS 244281 HAS SOUPS 244281 WITH SCORE 244558.191
AT ITER 1716 NEW BEST:: SOT 509814 SOS 277107 HAS SOPS 277107 HAS SOUS 244187 HAS SOUPS 244187 WITH SCORE 244464.107
AT ITER 1718 NEW BEST:: SOT 509785 SOS 277102 HAS SOPS 277102 HAS SOUS 244158 HAS SOUPS 244158 WITH SCORE 244435.102
AT ITER 1721 NEW BEST:: SOT 509719 SOS 276984 HAS SOPS 276984 HAS SOUS 244092 HAS SOUPS 244092 WITH SCORE 244368.984
AT ITER 1722 NEW BEST:: SOT 509719 SOS 276957 HAS SOPS 276957 HAS SOUS 244092 HAS SOUPS 244092 WITH SCORE 244368.957
AT ITER 1725 NEW BEST:: SOT 509719 SOS 276861 HAS SOPS 276861 HAS SOUS 244081 HAS SOUPS 244081 WITH SCORE 244357.861
AT ITER 1739 NEW BEST:: SOT 509719 SOS 276764 HAS SOPS 276764 HAS SOUS 243908 HAS SOUPS 243908 WITH SCORE 244184.764
AT ITER 1750 NEW BEST:: SOT 508902 SOS 276290 HAS SOPS 276290 HAS SOUS 243409 HAS SOUPS 243409 WITH SCORE 243685.29
AT ITER 1755 NEW BEST:: SOT 508837 SOS 277226 HAS SOPS 277226 HAS SOUS 243344 HAS SOUPS 243344 WITH SCORE 243621.226
AT ITER 1763 NEW BEST:: SOT 508796 SOS 277200 HAS SOPS 277200 HAS SOUS 243333 HAS SOUPS 243333 WITH SCORE 243610.2
AT ITER 1770 NEW BEST:: SOT 508796 SOS 277013 HAS SOPS 277013 HAS SOUS 243146 HAS SOUPS 243146 WITH SCORE 243423.013
AT ITER 1772 NEW BEST:: SOT 508796 SOS 276996 HAS SOPS 276996 HAS SOUS 243146 HAS SOUPS 243146 WITH SCORE 243422.996
AT ITER 1795 NEW BEST:: SOT 508796 SOS 276888 HAS SOPS 276888 HAS SOUS 243044 HAS SOUPS 243044 WITH SCORE 243320.888
AT ITER 1796 NEW BEST:: SOT 508796 SOS 276858 HAS SOPS 276858 HAS SOUS 243044 HAS SOUPS 243044 WITH SCORE 243320.858
AT ITER 1801 NEW BEST:: SOT 508453 SOS 277685 HAS SOPS 277685 HAS SOUS 242850 HAS SOUPS 242850 WITH SCORE 243127.685
AT ITER 1802 NEW BEST:: SOT 508453 SOS 277480 HAS SOPS 277480 HAS SOUS 242850 HAS SOUPS 242850 WITH SCORE 243127.48
AT ITER 1806 NEW BEST:: SOT 508407 SOS 277468 HAS SOPS 277468 HAS SOUS 242804 HAS SOUPS 242804 WITH SCORE 243081.468
AT ITER 1819 NEW BEST:: SOT 507826 SOS 277299 HAS SOPS 277299 HAS SOUS 242590 HAS SOUPS 242590 WITH SCORE 242867.299
AT ITER 1824 NEW BEST:: SOT 507826 SOS 277288 HAS SOPS 277288 HAS SOUS 242590 HAS SOUPS 242590 WITH SCORE 242867.288
AT ITER 1826 NEW BEST:: SOT 507780 SOS 277089 HAS SOPS 277089 HAS SOUS 242408 HAS SOUPS 242408 WITH SCORE 242685.089
AT ITER 1827 NEW BEST:: SOT 507116 SOS 276918 HAS SOPS 276918 HAS SOUS 241909 HAS SOUPS 241909 WITH SCORE 242185.918
AT ITER 1834 NEW BEST:: SOT 507116 SOS 276683 HAS SOPS 276683 HAS SOUS 241786 HAS SOUPS 241786 WITH SCORE 242062.683
AT ITER 1835 NEW BEST:: SOT 506981 SOS 276659 HAS SOPS 276659 HAS SOUS 241762 HAS SOUPS 241762 WITH SCORE 242038.659
AT ITER 1853 NEW BEST:: SOT 506981 SOS 276627 HAS SOPS 276627 HAS SOUS 241762 HAS SOUPS 241762 WITH SCORE 242038.627
AT ITER 1854 NEW BEST:: SOT 506981 SOS 276556 HAS SOPS 276556 HAS SOUS 241762 HAS SOUPS 241762 WITH SCORE 242038.556
AT ITER 1874 NEW BEST:: SOT 506839 SOS 276440 HAS SOPS 276440 HAS SOUS 241643 HAS SOUPS 241643 WITH SCORE 241919.44
AT ITER 1876 NEW BEST:: SOT 506920 SOS 274201 HAS SOPS 274201 HAS SOUS 241546 HAS SOUPS 241546 WITH SCORE 241820.201
AT ITER 1877 NEW BEST:: SOT 506955 SOS 274283 HAS SOPS 274283 HAS SOUS 241543 HAS SOUPS 241543 WITH SCORE 241817.283
AT ITER 1884 NEW BEST:: SOT 506955 SOS 274253 HAS SOPS 274253 HAS SOUS 241543 HAS SOUPS 241543 WITH SCORE 241817.253
AT ITER 1886 NEW BEST:: SOT 506697 SOS 274063 HAS SOPS 274063 HAS SOUS 241383 HAS SOUPS 241383 WITH SCORE 241657.063
AT ITER 1890 NEW BEST:: SOT 506697 SOS 274010 HAS SOPS 274010 HAS SOUS 241383 HAS SOUPS 241383 WITH SCORE 241657.01
AT ITER 1891 NEW BEST:: SOT 506697 SOS 273797 HAS SOPS 273797 HAS SOUS 241377 HAS SOUPS 241377 WITH SCORE 241650.797
AT ITER 1892 NEW BEST:: SOT 506167 SOS 273751 HAS SOPS 273751 HAS SOUS 240898 HAS SOUPS 240898 WITH SCORE 241171.751
AT ITER 1898 NEW BEST:: SOT 506167 SOS 273295 HAS SOPS 273295 HAS SOUS 240898 HAS SOUPS 240898 WITH SCORE 241171.295
AT ITER 1901 NEW BEST:: SOT 505088 SOS 272660 HAS SOPS 272660 HAS SOUS 240277 HAS SOUPS 240277 WITH SCORE 240549.66
AT ITER 1918 NEW BEST:: SOT 505097 SOS 272643 HAS SOPS 272643 HAS SOUS 240167 HAS SOUPS 240167 WITH SCORE 240439.643
AT ITER 1923 NEW BEST:: SOT 504981 SOS 272585 HAS SOPS 272585 HAS SOUS 240109 HAS SOUPS 240109 WITH SCORE 240381.585
AT ITER 1925 NEW BEST:: SOT 504955 SOS 272342 HAS SOPS 272342 HAS SOUS 239946 HAS SOUPS 239946 WITH SCORE 240218.342
AT ITER 1941 NEW BEST:: SOT 504763 SOS 271998 HAS SOPS 271998 HAS SOUS 239571 HAS SOUPS 239571 WITH SCORE 239842.998
AT ITER 1948 NEW BEST:: SOT 504648 SOS 271906 HAS SOPS 271906 HAS SOUS 239468 HAS SOUPS 239468 WITH SCORE 239739.906
AT ITER 1951 NEW BEST:: SOT 504388 SOS 271840 HAS SOPS 271840 HAS SOUS 239386 HAS SOUPS 239386 WITH SCORE 239657.84
AT ITER 1967 NEW BEST:: SOT 504388 SOS 271802 HAS SOPS 271802 HAS SOUS 239378 HAS SOUPS 239378 WITH SCORE 239649.802
AT ITER 1970 NEW BEST:: SOT 504158 SOS 271701 HAS SOPS 271701 HAS SOUS 239277 HAS SOUPS 239277 WITH SCORE 239548.701
AT ITER 1979 NEW BEST:: SOT 504158 SOS 270972 HAS SOPS 270972 HAS SOUS 239221 HAS SOUPS 239221 WITH SCORE 239491.972
AT ITER 1992 NEW BEST:: SOT 504078 SOS 270967 HAS SOPS 270967 HAS SOUS 239216 HAS SOUPS 239216 WITH SCORE 239486.967
AT ITER 1998 NEW BEST:: SOT 503969 SOS 270963 HAS SOPS 270963 HAS SOUS 239184 HAS SOUPS 239184 WITH SCORE 239454.963
AT ITER 1999 NEW BEST:: SOT 503969 SOS 270954 HAS SOPS 270954 HAS SOUS 239184 HAS SOUPS 239184 WITH SCORE 239454.954
AT ITER 2000 NEW BEST:: SOT 503969 SOS 270954 HAS SOPS 270954 HAS SOUS 239180 HAS SOUPS 239180 WITH SCORE 239450.954
AT ITER 2018 NEW BEST:: SOT 503798 SOS 270703 HAS SOPS 270703 HAS SOUS 238935 HAS SOUPS 238935 WITH SCORE 239205.703
AT ITER 2019 NEW BEST:: SOT 503798 SOS 270537 HAS SOPS 270537 HAS SOUS 238903 HAS SOUPS 238903 WITH SCORE 239173.537
AT ITER 2021 NEW BEST:: SOT 503591 SOS 270428 HAS SOPS 270428 HAS SOUS 238696 HAS SOUPS 238696 WITH SCORE 238966.428
AT ITER 2031 NEW BEST:: SOT 503399 SOS 270325 HAS SOPS 270325 HAS SOUS 238593 HAS SOUPS 238593 WITH SCORE 238863.325
AT ITER 2040 NEW BEST:: SOT 502886 SOS 270270 HAS SOPS 270270 HAS SOUS 238539 HAS SOUPS 238539 WITH SCORE 238809.27
AT ITER 2051 NEW BEST:: SOT 502547 SOS 269206 HAS SOPS 269206 HAS SOUS 238140 HAS SOUPS 238140 WITH SCORE 238409.206
AT ITER 2052 NEW BEST:: SOT 502547 SOS 269154 HAS SOPS 269154 HAS SOUS 238088 HAS SOUPS 238088 WITH SCORE 238357.154
AT ITER 2054 NEW BEST:: SOT 502547 SOS 269104 HAS SOPS 269104 HAS SOUS 237967 HAS SOUPS 237967 WITH SCORE 238236.104
AT ITER 2060 NEW BEST:: SOT 502547 SOS 269100 HAS SOPS 269100 HAS SOUS 237963 HAS SOUPS 237963 WITH SCORE 238232.1
AT ITER 2072 NEW BEST:: SOT 502558 SOS 268552 HAS SOPS 268552 HAS SOUS 237854 HAS SOUPS 237854 WITH SCORE 238122.552
AT ITER 2084 NEW BEST:: SOT 502558 SOS 268453 HAS SOPS 268453 HAS SOUS 237813 HAS SOUPS 237813 WITH SCORE 238081.453
AT ITER 2092 NEW BEST:: SOT 502517 SOS 268442 HAS SOPS 268442 HAS SOUS 237804 HAS SOUPS 237804 WITH SCORE 238072.442
AT ITER 2115 NEW BEST:: SOT 502411 SOS 268336 HAS SOPS 268336 HAS SOUS 237698 HAS SOUPS 237698 WITH SCORE 237966.336
AT ITER 2119 NEW BEST:: SOT 502258 SOS 268393 HAS SOPS 268393 HAS SOUS 237694 HAS SOUPS 237694 WITH SCORE 237962.393
AT ITER 2120 NEW BEST:: SOT 502093 SOS 268234 HAS SOPS 268234 HAS SOUS 237529 HAS SOUPS 237529 WITH SCORE 237797.234
AT ITER 2123 NEW BEST:: SOT 501750 SOS 268090 HAS SOPS 268090 HAS SOUS 237418 HAS SOUPS 237418 WITH SCORE 237686.09
AT ITER 2126 NEW BEST:: SOT 501750 SOS 268075 HAS SOPS 268075 HAS SOUS 237418 HAS SOUPS 237418 WITH SCORE 237686.075
AT ITER 2134 NEW BEST:: SOT 501243 SOS 267568 HAS SOPS 267568 HAS SOUS 236961 HAS SOUPS 236961 WITH SCORE 237228.568
AT ITER 2142 NEW BEST:: SOT 501243 SOS 267568 HAS SOPS 267568 HAS SOUS 236886 HAS SOUPS 236886 WITH SCORE 237153.568
AT ITER 2147 NEW BEST:: SOT 500959 SOS 267707 HAS SOPS 267707 HAS SOUS 236690 HAS SOUPS 236690 WITH SCORE 236957.707
AT ITER 2156 NEW BEST:: SOT 501121 SOS 267786 HAS SOPS 267786 HAS SOUS 236687 HAS SOUPS 236687 WITH SCORE 236954.786
AT ITER 2163 NEW BEST:: SOT 501124 SOS 267689 HAS SOPS 267689 HAS SOUS 236642 HAS SOUPS 236642 WITH SCORE 236909.689
AT ITER 2165 NEW BEST:: SOT 501108 SOS 267793 HAS SOPS 267793 HAS SOUS 236640 HAS SOUPS 236640 WITH SCORE 236907.793
AT ITER 2173 NEW BEST:: SOT 501108 SOS 267505 HAS SOPS 267505 HAS SOUS 236548 HAS SOUPS 236548 WITH SCORE 236815.505
AT ITER 2174 NEW BEST:: SOT 501100 SOS 267497 HAS SOPS 267497 HAS SOUS 236540 HAS SOUPS 236540 WITH SCORE 236807.497
AT ITER 2188 NEW BEST:: SOT 501100 SOS 267497 HAS SOPS 267497 HAS SOUS 236522 HAS SOUPS 236522 WITH SCORE 236789.497
AT ITER 2191 NEW BEST:: SOT 500704 SOS 267511 HAS SOPS 267511 HAS SOUS 236517 HAS SOUPS 236517 WITH SCORE 236784.511
AT ITER 2211 NEW BEST:: SOT 500704 SOS 267455 HAS SOPS 267455 HAS SOUS 236419 HAS SOUPS 236419 WITH SCORE 236686.455
AT ITER 2234 NEW BEST:: SOT 500584 SOS 267648 HAS SOPS 267648 HAS SOUS 236324 HAS SOUPS 236324 WITH SCORE 236591.648
AT ITER 2247 NEW BEST:: SOT 500103 SOS 268050 HAS SOPS 268050 HAS SOUS 236270 HAS SOUPS 236270 WITH SCORE 236538.05
AT ITER 2251 NEW BEST:: SOT 500065 SOS 268012 HAS SOPS 268012 HAS SOUS 236232 HAS SOUPS 236232 WITH SCORE 236500.012
AT ITER 2258 NEW BEST:: SOT 500027 SOS 267891 HAS SOPS 267891 HAS SOUS 236202 HAS SOUPS 236202 WITH SCORE 236469.891
AT ITER 2261 NEW BEST:: SOT 500027 SOS 267912 HAS SOPS 267912 HAS SOUS 236140 HAS SOUPS 236140 WITH SCORE 236407.912
AT ITER 2266 NEW BEST:: SOT 499719 SOS 267876 HAS SOPS 267876 HAS SOUS 236068 HAS SOUPS 236068 WITH SCORE 236335.876
AT ITER 2267 NEW BEST:: SOT 499648 SOS 267588 HAS SOPS 267588 HAS SOUS 235905 HAS SOUPS 235905 WITH SCORE 236172.588
AT ITER 2269 NEW BEST:: SOT 499050 SOS 267094 HAS SOPS 267094 HAS SOUS 235654 HAS SOUPS 235654 WITH SCORE 235921.094
AT ITER 2272 NEW BEST:: SOT 498018 SOS 267159 HAS SOPS 267159 HAS SOUS 235168 HAS SOUPS 235168 WITH SCORE 235435.159
AT ITER 2278 NEW BEST:: SOT 498018 SOS 267153 HAS SOPS 267153 HAS SOUS 235168 HAS SOUPS 235168 WITH SCORE 235435.153
AT ITER 2281 NEW BEST:: SOT 498018 SOS 267040 HAS SOPS 267040 HAS SOUS 235112 HAS SOUPS 235112 WITH SCORE 235379.04
AT ITER 2284 NEW BEST:: SOT 498018 SOS 267018 HAS SOPS 267018 HAS SOUS 235112 HAS SOUPS 235112 WITH SCORE 235379.018
AT ITER 2293 NEW BEST:: SOT 498118 SOS 267118 HAS SOPS 267118 HAS SOUS 235012 HAS SOUPS 235012 WITH SCORE 235279.118
AT ITER 2301 NEW BEST:: SOT 498118 SOS 267009 HAS SOPS 267009 HAS SOUS 235012 HAS SOUPS 235012 WITH SCORE 235279.009
AT ITER 2302 NEW BEST:: SOT 498471 SOS 267057 HAS SOPS 267057 HAS SOUS 235008 HAS SOUPS 235008 WITH SCORE 235275.057
AT ITER 2323 NEW BEST:: SOT 498226 SOS 266938 HAS SOPS 266938 HAS SOUS 234951 HAS SOUPS 234951 WITH SCORE 235217.938
AT ITER 2325 NEW BEST:: SOT 498032 SOS 266812 HAS SOPS 266812 HAS SOUS 234825 HAS SOUPS 234825 WITH SCORE 235091.812
AT ITER 2330 NEW BEST:: SOT 498032 SOS 266787 HAS SOPS 266787 HAS SOUS 234720 HAS SOUPS 234720 WITH SCORE 234986.787
AT ITER 2336 NEW BEST:: SOT 498032 SOS 266787 HAS SOPS 266787 HAS SOUS 234719 HAS SOUPS 234719 WITH SCORE 234985.787
AT ITER 2348 NEW BEST:: SOT 498032 SOS 266493 HAS SOPS 266493 HAS SOUS 234719 HAS SOUPS 234719 WITH SCORE 234985.493
AT ITER 2349 NEW BEST:: SOT 497992 SOS 266453 HAS SOPS 266453 HAS SOUS 234674 HAS SOUPS 234674 WITH SCORE 234940.453
AT ITER 2357 NEW BEST:: SOT 497992 SOS 266293 HAS SOPS 266293 HAS SOUS 234674 HAS SOUPS 234674 WITH SCORE 234940.293
AT ITER 2365 NEW BEST:: SOT 497812 SOS 266986 HAS SOPS 266986 HAS SOUS 234566 HAS SOUPS 234566 WITH SCORE 234832.986
AT ITER 2369 NEW BEST:: SOT 497672 SOS 267266 HAS SOPS 267266 HAS SOUS 234426 HAS SOUPS 234426 WITH SCORE 234693.266
AT ITER 2378 NEW BEST:: SOT 497672 SOS 267161 HAS SOPS 267161 HAS SOUS 234320 HAS SOUPS 234320 WITH SCORE 234587.161
AT ITER 2386 NEW BEST:: SOT 497672 SOS 267156 HAS SOPS 267156 HAS SOUS 234320 HAS SOUPS 234320 WITH SCORE 234587.156
AT ITER 2390 NEW BEST:: SOT 497451 SOS 267021 HAS SOPS 267021 HAS SOUS 234185 HAS SOUPS 234185 WITH SCORE 234452.021
AT ITER 2391 NEW BEST:: SOT 497386 SOS 267522 HAS SOPS 267522 HAS SOUS 234120 HAS SOUPS 234120 WITH SCORE 234387.522
AT ITER 2406 NEW BEST:: SOT 497386 SOS 267510 HAS SOPS 267510 HAS SOUS 234120 HAS SOUPS 234120 WITH SCORE 234387.51
AT ITER 2411 NEW BEST:: SOT 496906 SOS 267179 HAS SOPS 267179 HAS SOUS 233844 HAS SOUPS 233844 WITH SCORE 234111.179
AT ITER 2412 NEW BEST:: SOT 496769 SOS 267042 HAS SOPS 267042 HAS SOUS 233701 HAS SOUPS 233701 WITH SCORE 233968.042
AT ITER 2415 NEW BEST:: SOT 496769 SOS 266985 HAS SOPS 266985 HAS SOUS 233644 HAS SOUPS 233644 WITH SCORE 233910.985
AT ITER 2428 NEW BEST:: SOT 496769 SOS 266985 HAS SOPS 266985 HAS SOUS 233608 HAS SOUPS 233608 WITH SCORE 233874.985
AT ITER 2429 NEW BEST:: SOT 496658 SOS 266952 HAS SOPS 266952 HAS SOUS 233564 HAS SOUPS 233564 WITH SCORE 233830.952
AT ITER 2432 NEW BEST:: SOT 496226 SOS 266643 HAS SOPS 266643 HAS SOUS 233298 HAS SOUPS 233298 WITH SCORE 233564.643
AT ITER 2456 NEW BEST:: SOT 496241 SOS 266658 HAS SOPS 266658 HAS SOUS 233290 HAS SOUPS 233290 WITH SCORE 233556.658
AT ITER 2471 NEW BEST:: SOT 496249 SOS 266564 HAS SOPS 266564 HAS SOUS 233255 HAS SOUPS 233255 WITH SCORE 233521.564
AT ITER 2480 NEW BEST:: SOT 496249 SOS 266687 HAS SOPS 266687 HAS SOUS 233123 HAS SOUPS 233123 WITH SCORE 233389.687
AT ITER 2483 NEW BEST:: SOT 496125 SOS 266601 HAS SOPS 266601 HAS SOUS 233037 HAS SOUPS 233037 WITH SCORE 233303.601
AT ITER 2495 NEW BEST:: SOT 495063 SOS 266296 HAS SOPS 266296 HAS SOUS 232009 HAS SOUPS 232009 WITH SCORE 232275.296
AT ITER 2501 NEW BEST:: SOT 494985 SOS 266280 HAS SOPS 266280 HAS SOUS 231931 HAS SOUPS 231931 WITH SCORE 232197.28
AT ITER 2502 NEW BEST:: SOT 494985 SOS 266225 HAS SOPS 266225 HAS SOUS 231877 HAS SOUPS 231877 WITH SCORE 232143.225
AT ITER 2508 NEW BEST:: SOT 494897 SOS 266209 HAS SOPS 266209 HAS SOUS 231861 HAS SOUPS 231861 WITH SCORE 232127.209
AT ITER 2509 NEW BEST:: SOT 494897 SOS 266149 HAS SOPS 266149 HAS SOUS 231801 HAS SOUPS 231801 WITH SCORE 232067.149
AT ITER 2530 NEW BEST:: SOT 494913 SOS 266298 HAS SOPS 266298 HAS SOUS 231783 HAS SOUPS 231783 WITH SCORE 232049.298
AT ITER 2534 NEW BEST:: SOT 494913 SOS 266129 HAS SOPS 266129 HAS SOUS 231783 HAS SOUPS 231783 WITH SCORE 232049.129
AT ITER 2536 NEW BEST:: SOT 494970 SOS 266197 HAS SOPS 266197 HAS SOUS 231537 HAS SOUPS 231537 WITH SCORE 231803.197
AT ITER 2538 NEW BEST:: SOT 494817 SOS 266005 HAS SOPS 266005 HAS SOUS 231264 HAS SOUPS 231264 WITH SCORE 231530.005
AT ITER 2539 NEW BEST:: SOT 494707 SOS 265667 HAS SOPS 265667 HAS SOUS 231140 HAS SOUPS 231140 WITH SCORE 231405.667
AT ITER 2546 NEW BEST:: SOT 494606 SOS 265594 HAS SOPS 265594 HAS SOUS 231095 HAS SOUPS 231095 WITH SCORE 231360.594
AT ITER 2547 NEW BEST:: SOT 494414 SOS 265601 HAS SOPS 265601 HAS SOUS 231046 HAS SOUPS 231046 WITH SCORE 231311.601
AT ITER 2554 NEW BEST:: SOT 494179 SOS 265540 HAS SOPS 265540 HAS SOUS 230985 HAS SOUPS 230985 WITH SCORE 231250.54
AT ITER 2556 NEW BEST:: SOT 493838 SOS 266066 HAS SOPS 266066 HAS SOUS 230766 HAS SOUPS 230766 WITH SCORE 231032.066
AT ITER 2558 NEW BEST:: SOT 493600 SOS 266129 HAS SOPS 266129 HAS SOUS 230764 HAS SOUPS 230764 WITH SCORE 231030.129
AT ITER 2560 NEW BEST:: SOT 493554 SOS 266419 HAS SOPS 266419 HAS SOUS 230760 HAS SOUPS 230760 WITH SCORE 231026.419
AT ITER 2562 NEW BEST:: SOT 492658 SOS 266609 HAS SOPS 266609 HAS SOUS 230639 HAS SOUPS 230639 WITH SCORE 230905.609
AT ITER 2564 NEW BEST:: SOT 492658 SOS 266545 HAS SOPS 266545 HAS SOUS 230639 HAS SOUPS 230639 WITH SCORE 230905.545
AT ITER 2573 NEW BEST:: SOT 492658 SOS 266545 HAS SOPS 266545 HAS SOUS 230625 HAS SOUPS 230625 WITH SCORE 230891.545
AT ITER 2575 NEW BEST:: SOT 492271 SOS 266258 HAS SOPS 266258 HAS SOUS 230338 HAS SOUPS 230338 WITH SCORE 230604.258
AT ITER 2578 NEW BEST:: SOT 492031 SOS 266018 HAS SOPS 266018 HAS SOUS 230098 HAS SOUPS 230098 WITH SCORE 230364.018
AT ITER 2584 NEW BEST:: SOT 492031 SOS 265955 HAS SOPS 265955 HAS SOUS 230077 HAS SOUPS 230077 WITH SCORE 230342.955
AT ITER 2605 NEW BEST:: SOT 492031 SOS 266212 HAS SOPS 266212 HAS SOUS 230070 HAS SOUPS 230070 WITH SCORE 230336.212
AT ITER 2609 NEW BEST:: SOT 492031 SOS 266153 HAS SOPS 266153 HAS SOUS 230070 HAS SOUPS 230070 WITH SCORE 230336.153
AT ITER 2614 NEW BEST:: SOT 492031 SOS 266134 HAS SOPS 266134 HAS SOUS 230070 HAS SOUPS 230070 WITH SCORE 230336.134
AT ITER 2627 NEW BEST:: SOT 491858 SOS 266978 HAS SOPS 266978 HAS SOUS 230051 HAS SOUPS 230051 WITH SCORE 230317.978
AT ITER 2632 NEW BEST:: SOT 491908 SOS 266929 HAS SOPS 266929 HAS SOUS 230030 HAS SOUPS 230030 WITH SCORE 230296.929
AT ITER 2636 NEW BEST:: SOT 491908 SOS 266706 HAS SOPS 266706 HAS SOUS 230030 HAS SOUPS 230030 WITH SCORE 230296.706
AT ITER 2638 NEW BEST:: SOT 491925 SOS 266569 HAS SOPS 266569 HAS SOUS 229966 HAS SOUPS 229966 WITH SCORE 230232.569
AT ITER 2646 NEW BEST:: SOT 491873 SOS 266650 HAS SOPS 266650 HAS SOUS 229921 HAS SOUPS 229921 WITH SCORE 230187.65
AT ITER 2648 NEW BEST:: SOT 491754 SOS 266531 HAS SOPS 266531 HAS SOUS 229802 HAS SOUPS 229802 WITH SCORE 230068.531
AT ITER 2656 NEW BEST:: SOT 491680 SOS 266457 HAS SOPS 266457 HAS SOUS 229654 HAS SOUPS 229654 WITH SCORE 229920.457
AT ITER 2678 NEW BEST:: SOT 491656 SOS 266457 HAS SOPS 266457 HAS SOUS 229637 HAS SOUPS 229637 WITH SCORE 229903.457
AT ITER 2679 NEW BEST:: SOT 491500 SOS 266301 HAS SOPS 266301 HAS SOUS 229481 HAS SOUPS 229481 WITH SCORE 229747.301
AT ITER 2690 NEW BEST:: SOT 491398 SOS 266267 HAS SOPS 266267 HAS SOUS 229447 HAS SOUPS 229447 WITH SCORE 229713.267
AT ITER 2692 NEW BEST:: SOT 491398 SOS 266267 HAS SOPS 266267 HAS SOUS 229434 HAS SOUPS 229434 WITH SCORE 229700.267
AT ITER 2695 NEW BEST:: SOT 491398 SOS 266197 HAS SOPS 266197 HAS SOUS 229434 HAS SOUPS 229434 WITH SCORE 229700.197
AT ITER 2705 NEW BEST:: SOT 491398 SOS 266074 HAS SOPS 266074 HAS SOUS 229358 HAS SOUPS 229358 WITH SCORE 229624.074
AT ITER 2711 NEW BEST:: SOT 491227 SOS 266744 HAS SOPS 266744 HAS SOUS 229320 HAS SOUPS 229320 WITH SCORE 229586.744
AT ITER 2712 NEW BEST:: SOT 491204 SOS 266721 HAS SOPS 266721 HAS SOUS 229297 HAS SOUPS 229297 WITH SCORE 229563.721
AT ITER 2718 NEW BEST:: SOT 491073 SOS 266628 HAS SOPS 266628 HAS SOUS 229277 HAS SOUPS 229277 WITH SCORE 229543.628
AT ITER 2722 NEW BEST:: SOT 491054 SOS 266416 HAS SOPS 266416 HAS SOUS 229210 HAS SOUPS 229210 WITH SCORE 229476.416
AT ITER 2729 NEW BEST:: SOT 490902 SOS 267560 HAS SOPS 267560 HAS SOUS 229205 HAS SOUPS 229205 WITH SCORE 229472.56
AT ITER 2734 NEW BEST:: SOT 490902 SOS 267489 HAS SOPS 267489 HAS SOUS 229205 HAS SOUPS 229205 WITH SCORE 229472.489
AT ITER 2741 NEW BEST:: SOT 490902 SOS 267483 HAS SOPS 267483 HAS SOUS 229205 HAS SOUPS 229205 WITH SCORE 229472.483
AT ITER 2757 NEW BEST:: SOT 490657 SOS 267561 HAS SOPS 267561 HAS SOUS 229048 HAS SOUPS 229048 WITH SCORE 229315.561
AT ITER 2762 NEW BEST:: SOT 490657 SOS 267528 HAS SOPS 267528 HAS SOUS 229048 HAS SOUPS 229048 WITH SCORE 229315.528
AT ITER 2769 NEW BEST:: SOT 490657 SOS 267339 HAS SOPS 267339 HAS SOUS 229048 HAS SOUPS 229048 WITH SCORE 229315.339
AT ITER 2773 NEW BEST:: SOT 490430 SOS 268132 HAS SOPS 268132 HAS SOUS 228944 HAS SOUPS 228944 WITH SCORE 229212.132
AT ITER 2776 NEW BEST:: SOT 490228 SOS 267881 HAS SOPS 267881 HAS SOUS 228732 HAS SOUPS 228732 WITH SCORE 228999.881
AT ITER 2780 NEW BEST:: SOT 489868 SOS 267615 HAS SOPS 267615 HAS SOUS 228466 HAS SOUPS 228466 WITH SCORE 228733.615
AT ITER 2797 NEW BEST:: SOT 489254 SOS 267536 HAS SOPS 267536 HAS SOUS 227980 HAS SOUPS 227980 WITH SCORE 228247.536
AT ITER 2801 NEW BEST:: SOT 489254 SOS 267536 HAS SOPS 267536 HAS SOUS 227904 HAS SOUPS 227904 WITH SCORE 228171.536
AT ITER 2812 NEW BEST:: SOT 489218 SOS 267541 HAS SOPS 267541 HAS SOUS 227887 HAS SOUPS 227887 WITH SCORE 228154.541
AT ITER 2824 NEW BEST:: SOT 488897 SOS 267327 HAS SOPS 267327 HAS SOUS 227780 HAS SOUPS 227780 WITH SCORE 228047.327
AT ITER 2839 NEW BEST:: SOT 488897 SOS 267285 HAS SOPS 267285 HAS SOUS 227780 HAS SOUPS 227780 WITH SCORE 228047.285
AT ITER 2841 NEW BEST:: SOT 488893 SOS 267281 HAS SOPS 267281 HAS SOUS 227776 HAS SOUPS 227776 WITH SCORE 228043.281
AT ITER 2851 NEW BEST:: SOT 488877 SOS 267265 HAS SOPS 267265 HAS SOUS 227679 HAS SOUPS 227679 WITH SCORE 227946.265
AT ITER 2868 NEW BEST:: SOT 488655 SOS 267043 HAS SOPS 267043 HAS SOUS 227457 HAS SOUPS 227457 WITH SCORE 227724.043
AT ITER 2872 NEW BEST:: SOT 488655 SOS 267024 HAS SOPS 267024 HAS SOUS 227457 HAS SOUPS 227457 WITH SCORE 227724.024
AT ITER 2874 NEW BEST:: SOT 488313 SOS 267007 HAS SOPS 267007 HAS SOUS 227302 HAS SOUPS 227302 WITH SCORE 227569.007
AT ITER 2876 NEW BEST:: SOT 488289 SOS 266939 HAS SOPS 266939 HAS SOUS 227278 HAS SOUPS 227278 WITH SCORE 227544.939
AT ITER 2888 NEW BEST:: SOT 488345 SOS 267256 HAS SOPS 267256 HAS SOUS 227247 HAS SOUPS 227247 WITH SCORE 227514.256
AT ITER 2894 NEW BEST:: SOT 488338 SOS 266111 HAS SOPS 266111 HAS SOUS 227176 HAS SOUPS 227176 WITH SCORE 227442.111
AT ITER 2908 NEW BEST:: SOT 488064 SOS 266098 HAS SOPS 266098 HAS SOUS 227144 HAS SOUPS 227144 WITH SCORE 227410.098
AT ITER 2916 NEW BEST:: SOT 488064 SOS 265746 HAS SOPS 265746 HAS SOUS 227144 HAS SOUPS 227144 WITH SCORE 227409.746
AT ITER 2921 NEW BEST:: SOT 488064 SOS 265746 HAS SOPS 265746 HAS SOUS 227123 HAS SOUPS 227123 WITH SCORE 227388.746
AT ITER 2931 NEW BEST:: SOT 488064 SOS 265649 HAS SOPS 265649 HAS SOUS 226996 HAS SOUPS 226996 WITH SCORE 227261.649
AT ITER 2932 NEW BEST:: SOT 488069 SOS 265651 HAS SOPS 265651 HAS SOUS 226995 HAS SOUPS 226995 WITH SCORE 227260.651
AT ITER 2953 NEW BEST:: SOT 488069 SOS 265520 HAS SOPS 265520 HAS SOUS 226995 HAS SOUPS 226995 WITH SCORE 227260.52
AT ITER 2956 NEW BEST:: SOT 488064 SOS 265452 HAS SOPS 265452 HAS SOUS 226887 HAS SOUPS 226887 WITH SCORE 227152.452
AT ITER 2959 NEW BEST:: SOT 488086 SOS 265311 HAS SOPS 265311 HAS SOUS 226795 HAS SOUPS 226795 WITH SCORE 227060.311
AT ITER 2968 NEW BEST:: SOT 488049 SOS 265274 HAS SOPS 265274 HAS SOUS 226758 HAS SOUPS 226758 WITH SCORE 227023.274
AT ITER 2974 NEW BEST:: SOT 488039 SOS 265264 HAS SOPS 265264 HAS SOUS 226748 HAS SOUPS 226748 WITH SCORE 227013.264
AT ITER 2977 NEW BEST:: SOT 487566 SOS 265853 HAS SOPS 265853 HAS SOUS 226319 HAS SOUPS 226319 WITH SCORE 226584.853
AT ITER 2984 NEW BEST:: SOT 486989 SOS 267409 HAS SOPS 267409 HAS SOUS 226301 HAS SOUPS 226301 WITH SCORE 226568.409
AT ITER 2990 NEW BEST:: SOT 486989 SOS 267346 HAS SOPS 267346 HAS SOUS 226301 HAS SOUPS 226301 WITH SCORE 226568.346
AT ITER 2996 NEW BEST:: SOT 486989 SOS 266887 HAS SOPS 266887 HAS SOUS 226301 HAS SOUPS 226301 WITH SCORE 226567.887
AT ITER 2998 NEW BEST:: SOT 486714 SOS 266736 HAS SOPS 266736 HAS SOUS 226214 HAS SOUPS 226214 WITH SCORE 226480.736
AT ITER 3003 NEW BEST:: SOT 486714 SOS 266502 HAS SOPS 266502 HAS SOUS 226189 HAS SOUPS 226189 WITH SCORE 226455.502
AT ITER 3006 NEW BEST:: SOT 486522 SOS 266485 HAS SOPS 266485 HAS SOUS 226141 HAS SOUPS 226141 WITH SCORE 226407.485
AT ITER 3014 NEW BEST:: SOT 486303 SOS 266515 HAS SOPS 266515 HAS SOUS 226090 HAS SOUPS 226090 WITH SCORE 226356.515
AT ITER 3028 NEW BEST:: SOT 486352 SOS 265943 HAS SOPS 265943 HAS SOUS 225761 HAS SOUPS 225761 WITH SCORE 226026.943
AT ITER 3030 NEW BEST:: SOT 486352 SOS 265889 HAS SOPS 265889 HAS SOUS 225761 HAS SOUPS 225761 WITH SCORE 226026.889
AT ITER 3040 NEW BEST:: SOT 486313 SOS 265565 HAS SOPS 265565 HAS SOUS 225588 HAS SOUPS 225588 WITH SCORE 225853.565
AT ITER 3043 NEW BEST:: SOT 486313 SOS 265470 HAS SOPS 265470 HAS SOUS 225588 HAS SOUPS 225588 WITH SCORE 225853.47
AT ITER 3051 NEW BEST:: SOT 486773 SOS 265174 HAS SOPS 265174 HAS SOUS 225566 HAS SOUPS 225566 WITH SCORE 225831.174
AT ITER 3055 NEW BEST:: SOT 486504 SOS 265233 HAS SOPS 265233 HAS SOUS 225503 HAS SOUPS 225503 WITH SCORE 225768.233
AT ITER 3058 NEW BEST:: SOT 486272 SOS 265052 HAS SOPS 265052 HAS SOUS 225464 HAS SOUPS 225464 WITH SCORE 225729.052
AT ITER 3062 NEW BEST:: SOT 486272 SOS 265018 HAS SOPS 265018 HAS SOUS 225464 HAS SOUPS 225464 WITH SCORE 225729.018
AT ITER 3064 NEW BEST:: SOT 486120 SOS 264955 HAS SOPS 264955 HAS SOUS 225401 HAS SOUPS 225401 WITH SCORE 225665.955
AT ITER 3071 NEW BEST:: SOT 486116 SOS 264847 HAS SOPS 264847 HAS SOUS 225269 HAS SOUPS 225269 WITH SCORE 225533.847
AT ITER 3078 NEW BEST:: SOT 486116 SOS 264698 HAS SOPS 264698 HAS SOUS 225269 HAS SOUPS 225269 WITH SCORE 225533.698
AT ITER 3080 NEW BEST:: SOT 486116 SOS 264667 HAS SOPS 264667 HAS SOUS 225269 HAS SOUPS 225269 WITH SCORE 225533.667
AT ITER 3092 NEW BEST:: SOT 486092 SOS 264547 HAS SOPS 264547 HAS SOUS 225203 HAS SOUPS 225203 WITH SCORE 225467.547
AT ITER 3094 NEW BEST:: SOT 486119 SOS 264549 HAS SOPS 264549 HAS SOUS 225190 HAS SOUPS 225190 WITH SCORE 225454.549
AT ITER 3101 NEW BEST:: SOT 486136 SOS 264540 HAS SOPS 264540 HAS SOUS 225181 HAS SOUPS 225181 WITH SCORE 225445.54
AT ITER 3115 NEW BEST:: SOT 486052 SOS 264540 HAS SOPS 264540 HAS SOUS 225160 HAS SOUPS 225160 WITH SCORE 225424.54
AT ITER 3124 NEW BEST:: SOT 486017 SOS 264259 HAS SOPS 264259 HAS SOUS 225017 HAS SOUPS 225017 WITH SCORE 225281.259
AT ITER 3130 NEW BEST:: SOT 485960 SOS 264069 HAS SOPS 264069 HAS SOUS 224941 HAS SOUPS 224941 WITH SCORE 225205.069
AT ITER 3132 NEW BEST:: SOT 485675 SOS 264078 HAS SOPS 264078 HAS SOUS 224911 HAS SOUPS 224911 WITH SCORE 225175.078
AT ITER 3140 NEW BEST:: SOT 485651 SOS 264054 HAS SOPS 264054 HAS SOUS 224887 HAS SOUPS 224887 WITH SCORE 225151.054
AT ITER 3151 NEW BEST:: SOT 485290 SOS 263777 HAS SOPS 263777 HAS SOUS 224610 HAS SOUPS 224610 WITH SCORE 224873.777
AT ITER 3155 NEW BEST:: SOT 485453 SOS 263651 HAS SOPS 263651 HAS SOUS 224491 HAS SOUPS 224491 WITH SCORE 224754.651
AT ITER 3160 NEW BEST:: SOT 485436 SOS 263634 HAS SOPS 263634 HAS SOUS 224474 HAS SOUPS 224474 WITH SCORE 224737.634
AT ITER 3163 NEW BEST:: SOT 485436 SOS 263601 HAS SOPS 263601 HAS SOUS 224474 HAS SOUPS 224474 WITH SCORE 224737.601
AT ITER 3167 NEW BEST:: SOT 485436 SOS 263601 HAS SOPS 263601 HAS SOUS 224457 HAS SOUPS 224457 WITH SCORE 224720.601
AT ITER 3180 NEW BEST:: SOT 485268 SOS 263580 HAS SOPS 263580 HAS SOUS 224289 HAS SOUPS 224289 WITH SCORE 224552.58
AT ITER 3186 NEW BEST:: SOT 485132 SOS 263720 HAS SOPS 263720 HAS SOUS 224279 HAS SOUPS 224279 WITH SCORE 224542.72
AT ITER 3193 NEW BEST:: SOT 485111 SOS 263707 HAS SOPS 263707 HAS SOUS 224266 HAS SOUPS 224266 WITH SCORE 224529.707
AT ITER 3194 NEW BEST:: SOT 484949 SOS 264531 HAS SOPS 264531 HAS SOUS 224132 HAS SOUPS 224132 WITH SCORE 224396.531
AT ITER 3205 NEW BEST:: SOT 484910 SOS 264340 HAS SOPS 264340 HAS SOUS 224031 HAS SOUPS 224031 WITH SCORE 224295.34
AT ITER 3220 NEW BEST:: SOT 484910 SOS 264310 HAS SOPS 264310 HAS SOUS 224031 HAS SOUPS 224031 WITH SCORE 224295.31
AT ITER 3222 NEW BEST:: SOT 484910 SOS 264287 HAS SOPS 264287 HAS SOUS 224031 HAS SOUPS 224031 WITH SCORE 224295.287
AT ITER 3243 NEW BEST:: SOT 485052 SOS 263965 HAS SOPS 263965 HAS SOUS 223949 HAS SOUPS 223949 WITH SCORE 224212.965
AT ITER 3245 NEW BEST:: SOT 485148 SOS 263866 HAS SOPS 263866 HAS SOUS 223684 HAS SOUPS 223684 WITH SCORE 223947.866
AT ITER 3250 NEW BEST:: SOT 485148 SOS 263809 HAS SOPS 263809 HAS SOUS 223638 HAS SOUPS 223638 WITH SCORE 223901.809
AT ITER 3257 NEW BEST:: SOT 485148 SOS 263753 HAS SOPS 263753 HAS SOUS 223638 HAS SOUPS 223638 WITH SCORE 223901.753
AT ITER 3262 NEW BEST:: SOT 485136 SOS 263741 HAS SOPS 263741 HAS SOUS 223626 HAS SOUPS 223626 WITH SCORE 223889.741
AT ITER 3265 NEW BEST:: SOT 485136 SOS 263333 HAS SOPS 263333 HAS SOUS 223626 HAS SOUPS 223626 WITH SCORE 223889.333
AT ITER 3268 NEW BEST:: SOT 485136 SOS 263333 HAS SOPS 263333 HAS SOUS 223555 HAS SOUPS 223555 WITH SCORE 223818.333
AT ITER 3277 NEW BEST:: SOT 485123 SOS 263297 HAS SOPS 263297 HAS SOUS 223441 HAS SOUPS 223441 WITH SCORE 223704.297
AT ITER 3283 NEW BEST:: SOT 485123 SOS 263271 HAS SOPS 263271 HAS SOUS 223377 HAS SOUPS 223377 WITH SCORE 223640.271
AT ITER 3297 NEW BEST:: SOT 485144 SOS 263292 HAS SOPS 263292 HAS SOUS 223362 HAS SOUPS 223362 WITH SCORE 223625.292
AT ITER 3298 NEW BEST:: SOT 485144 SOS 263087 HAS SOPS 263087 HAS SOUS 223362 HAS SOUPS 223362 WITH SCORE 223625.087
AT ITER 3300 NEW BEST:: SOT 485129 SOS 263072 HAS SOPS 263072 HAS SOUS 223347 HAS SOUPS 223347 WITH SCORE 223610.072
AT ITER 3348 NEW BEST:: SOT 485121 SOS 263064 HAS SOPS 263064 HAS SOUS 223339 HAS SOUPS 223339 WITH SCORE 223602.064
AT ITER 3355 NEW BEST:: SOT 484257 SOS 262351 HAS SOPS 262351 HAS SOUS 222713 HAS SOUPS 222713 WITH SCORE 222975.351
AT ITER 3359 NEW BEST:: SOT 484222 SOS 262316 HAS SOPS 262316 HAS SOUS 222617 HAS SOUPS 222617 WITH SCORE 222879.316
AT ITER 3368 NEW BEST:: SOT 484150 SOS 262424 HAS SOPS 262424 HAS SOUS 222545 HAS SOUPS 222545 WITH SCORE 222807.424
AT ITER 3376 NEW BEST:: SOT 484150 SOS 262395 HAS SOPS 262395 HAS SOUS 222545 HAS SOUPS 222545 WITH SCORE 222807.395
AT ITER 3402 NEW BEST:: SOT 484262 SOS 262406 HAS SOPS 262406 HAS SOUS 222424 HAS SOUPS 222424 WITH SCORE 222686.406
AT ITER 3408 NEW BEST:: SOT 484011 SOS 262239 HAS SOPS 262239 HAS SOUS 222318 HAS SOUPS 222318 WITH SCORE 222580.239
AT ITER 3410 NEW BEST:: SOT 483632 SOS 262145 HAS SOPS 262145 HAS SOUS 222213 HAS SOUPS 222213 WITH SCORE 222475.145
AT ITER 3414 NEW BEST:: SOT 483632 SOS 262105 HAS SOPS 262105 HAS SOUS 222166 HAS SOUPS 222166 WITH SCORE 222428.105
AT ITER 3430 NEW BEST:: SOT 483537 SOS 262010 HAS SOPS 262010 HAS SOUS 222071 HAS SOUPS 222071 WITH SCORE 222333.01
AT ITER 3440 NEW BEST:: SOT 483136 SOS 262235 HAS SOPS 262235 HAS SOUS 221773 HAS SOUPS 221773 WITH SCORE 222035.235
AT ITER 3443 NEW BEST:: SOT 483100 SOS 262199 HAS SOPS 262199 HAS SOUS 221739 HAS SOUPS 221739 WITH SCORE 222001.199
AT ITER 3449 NEW BEST:: SOT 483100 SOS 262060 HAS SOPS 262060 HAS SOUS 221739 HAS SOUPS 221739 WITH SCORE 222001.06
AT ITER 3458 NEW BEST:: SOT 482980 SOS 262021 HAS SOPS 262021 HAS SOUS 221619 HAS SOUPS 221619 WITH SCORE 221881.021
AT ITER 3471 NEW BEST:: SOT 482929 SOS 261970 HAS SOPS 261970 HAS SOUS 221568 HAS SOUPS 221568 WITH SCORE 221829.97
AT ITER 3474 NEW BEST:: SOT 482820 SOS 261861 HAS SOPS 261861 HAS SOUS 221487 HAS SOUPS 221487 WITH SCORE 221748.861
AT ITER 3481 NEW BEST:: SOT 482811 SOS 262388 HAS SOPS 262388 HAS SOUS 221478 HAS SOUPS 221478 WITH SCORE 221740.388
AT ITER 3482 NEW BEST:: SOT 482770 SOS 262370 HAS SOPS 262370 HAS SOUS 221460 HAS SOUPS 221460 WITH SCORE 221722.37
AT ITER 3489 NEW BEST:: SOT 482770 SOS 262357 HAS SOPS 262357 HAS SOUS 221460 HAS SOUPS 221460 WITH SCORE 221722.357
AT ITER 3495 NEW BEST:: SOT 481742 SOS 262481 HAS SOPS 262481 HAS SOUS 221342 HAS SOUPS 221342 WITH SCORE 221604.481
AT ITER 3498 NEW BEST:: SOT 481655 SOS 262165 HAS SOPS 262165 HAS SOUS 221166 HAS SOUPS 221166 WITH SCORE 221428.165
AT ITER 3504 NEW BEST:: SOT 481574 SOS 262084 HAS SOPS 262084 HAS SOUS 221033 HAS SOUPS 221033 WITH SCORE 221295.084
AT ITER 3530 NEW BEST:: SOT 481398 SOS 262154 HAS SOPS 262154 HAS SOUS 220951 HAS SOUPS 220951 WITH SCORE 221213.154
AT ITER 3531 NEW BEST:: SOT 481347 SOS 262103 HAS SOPS 262103 HAS SOUS 220942 HAS SOUPS 220942 WITH SCORE 221204.103
AT ITER 3533 NEW BEST:: SOT 481347 SOS 262078 HAS SOPS 262078 HAS SOUS 220942 HAS SOUPS 220942 WITH SCORE 221204.078
AT ITER 3543 NEW BEST:: SOT 481083 SOS 262893 HAS SOPS 262893 HAS SOUS 220904 HAS SOUPS 220904 WITH SCORE 221166.893
AT ITER 3555 NEW BEST:: SOT 481020 SOS 262830 HAS SOPS 262830 HAS SOUS 220814 HAS SOUPS 220814 WITH SCORE 221076.83
AT ITER 3564 NEW BEST:: SOT 481020 SOS 262746 HAS SOPS 262746 HAS SOUS 220807 HAS SOUPS 220807 WITH SCORE 221069.746
AT ITER 3572 NEW BEST:: SOT 481020 SOS 262742 HAS SOPS 262742 HAS SOUS 220807 HAS SOUPS 220807 WITH SCORE 221069.742
AT ITER 3584 NEW BEST:: SOT 481020 SOS 262701 HAS SOPS 262701 HAS SOUS 220793 HAS SOUPS 220793 WITH SCORE 221055.701
AT ITER 3588 NEW BEST:: SOT 480919 SOS 262635 HAS SOPS 262635 HAS SOUS 220702 HAS SOUPS 220702 WITH SCORE 220964.635
AT ITER 3598 NEW BEST:: SOT 480907 SOS 262623 HAS SOPS 262623 HAS SOUS 220672 HAS SOUPS 220672 WITH SCORE 220934.623
AT ITER 3608 NEW BEST:: SOT 480821 SOS 263574 HAS SOPS 263574 HAS SOUS 220586 HAS SOUPS 220586 WITH SCORE 220849.574
AT ITER 3610 NEW BEST:: SOT 480821 SOS 263318 HAS SOPS 263318 HAS SOUS 220586 HAS SOUPS 220586 WITH SCORE 220849.318
AT ITER 3618 NEW BEST:: SOT 480821 SOS 263146 HAS SOPS 263146 HAS SOUS 220586 HAS SOUPS 220586 WITH SCORE 220849.146
AT ITER 3624 NEW BEST:: SOT 480410 SOS 263128 HAS SOPS 263128 HAS SOUS 220507 HAS SOUPS 220507 WITH SCORE 220770.128
AT ITER 3637 NEW BEST:: SOT 480137 SOS 262855 HAS SOPS 262855 HAS SOUS 220234 HAS SOUPS 220234 WITH SCORE 220496.855
AT ITER 3638 NEW BEST:: SOT 480124 SOS 262874 HAS SOPS 262874 HAS SOUS 220055 HAS SOUPS 220055 WITH SCORE 220317.874
AT ITER 3650 NEW BEST:: SOT 479749 SOS 262679 HAS SOPS 262679 HAS SOUS 219860 HAS SOUPS 219860 WITH SCORE 220122.679
AT ITER 3651 NEW BEST:: SOT 479749 SOS 262767 HAS SOPS 262767 HAS SOUS 219770 HAS SOUPS 219770 WITH SCORE 220032.767
AT ITER 3654 NEW BEST:: SOT 479612 SOS 263042 HAS SOPS 263042 HAS SOUS 219722 HAS SOUPS 219722 WITH SCORE 219985.042
AT ITER 3666 NEW BEST:: SOT 479612 SOS 263042 HAS SOPS 263042 HAS SOUS 219659 HAS SOUPS 219659 WITH SCORE 219922.042
AT ITER 3667 NEW BEST:: SOT 479552 SOS 263012 HAS SOPS 263012 HAS SOUS 219629 HAS SOUPS 219629 WITH SCORE 219892.012
AT ITER 3678 NEW BEST:: SOT 479407 SOS 262902 HAS SOPS 262902 HAS SOUS 219555 HAS SOUPS 219555 WITH SCORE 219817.902
AT ITER 3688 NEW BEST:: SOT 479171 SOS 262488 HAS SOPS 262488 HAS SOUS 219169 HAS SOUPS 219169 WITH SCORE 219431.488
AT ITER 3694 NEW BEST:: SOT 479056 SOS 262940 HAS SOPS 262940 HAS SOUS 219148 HAS SOUPS 219148 WITH SCORE 219410.94
AT ITER 3706 NEW BEST:: SOT 479056 SOS 263268 HAS SOPS 263268 HAS SOUS 219090 HAS SOUPS 219090 WITH SCORE 219353.268
AT ITER 3736 NEW BEST:: SOT 479028 SOS 263268 HAS SOPS 263268 HAS SOUS 219076 HAS SOUPS 219076 WITH SCORE 219339.268
AT ITER 3746 NEW BEST:: SOT 478938 SOS 263406 HAS SOPS 263406 HAS SOUS 219062 HAS SOUPS 219062 WITH SCORE 219325.406
AT ITER 3755 NEW BEST:: SOT 478938 SOS 263382 HAS SOPS 263382 HAS SOUS 219062 HAS SOUPS 219062 WITH SCORE 219325.382
AT ITER 3758 NEW BEST:: SOT 478931 SOS 263375 HAS SOPS 263375 HAS SOUS 219055 HAS SOUPS 219055 WITH SCORE 219318.375
AT ITER 3763 NEW BEST:: SOT 478931 SOS 263282 HAS SOPS 263282 HAS SOUS 219014 HAS SOUPS 219014 WITH SCORE 219277.282
AT ITER 3784 NEW BEST:: SOT 478857 SOS 263185 HAS SOPS 263185 HAS SOUS 218917 HAS SOUPS 218917 WITH SCORE 219180.185
AT ITER 3805 NEW BEST:: SOT 478848 SOS 263176 HAS SOPS 263176 HAS SOUS 218884 HAS SOUPS 218884 WITH SCORE 219147.176
AT ITER 3814 NEW BEST:: SOT 478468 SOS 262895 HAS SOPS 262895 HAS SOUS 218603 HAS SOUPS 218603 WITH SCORE 218865.895
AT ITER 3816 NEW BEST:: SOT 478468 SOS 262733 HAS SOPS 262733 HAS SOUS 218603 HAS SOUPS 218603 WITH SCORE 218865.733
AT ITER 3824 NEW BEST:: SOT 478130 SOS 262539 HAS SOPS 262539 HAS SOUS 218409 HAS SOUPS 218409 WITH SCORE 218671.539
AT ITER 3833 NEW BEST:: SOT 478130 SOS 262519 HAS SOPS 262519 HAS SOUS 218404 HAS SOUPS 218404 WITH SCORE 218666.519
AT ITER 3841 NEW BEST:: SOT 477942 SOS 262371 HAS SOPS 262371 HAS SOUS 218256 HAS SOUPS 218256 WITH SCORE 218518.371
AT ITER 3865 NEW BEST:: SOT 477942 SOS 262322 HAS SOPS 262322 HAS SOUS 218256 HAS SOUPS 218256 WITH SCORE 218518.322
AT ITER 3866 NEW BEST:: SOT 477942 SOS 262263 HAS SOPS 262263 HAS SOUS 218221 HAS SOUPS 218221 WITH SCORE 218483.263
AT ITER 3867 NEW BEST:: SOT 477942 SOS 262263 HAS SOPS 262263 HAS SOUS 218170 HAS SOUPS 218170 WITH SCORE 218432.263
AT ITER 3868 NEW BEST:: SOT 477597 SOS 262692 HAS SOPS 262692 HAS SOUS 218095 HAS SOUPS 218095 WITH SCORE 218357.692
AT ITER 3872 NEW BEST:: SOT 477572 SOS 262667 HAS SOPS 262667 HAS SOUS 218070 HAS SOUPS 218070 WITH SCORE 218332.667
AT ITER 3873 NEW BEST:: SOT 477081 SOS 262294 HAS SOPS 262294 HAS SOUS 217646 HAS SOUPS 217646 WITH SCORE 217908.294
AT ITER 3877 NEW BEST:: SOT 476796 SOS 262009 HAS SOPS 262009 HAS SOUS 217361 HAS SOUPS 217361 WITH SCORE 217623.009
AT ITER 3881 NEW BEST:: SOT 476796 SOS 262005 HAS SOPS 262005 HAS SOUS 217361 HAS SOUPS 217361 WITH SCORE 217623.005
AT ITER 3886 NEW BEST:: SOT 476243 SOS 263254 HAS SOPS 263254 HAS SOUS 217275 HAS SOUPS 217275 WITH SCORE 217538.254
AT ITER 3889 NEW BEST:: SOT 476243 SOS 263224 HAS SOPS 263224 HAS SOUS 217275 HAS SOUPS 217275 WITH SCORE 217538.224
AT ITER 3891 NEW BEST:: SOT 476243 SOS 263055 HAS SOPS 263055 HAS SOUS 217275 HAS SOUPS 217275 WITH SCORE 217538.055
AT ITER 3894 NEW BEST:: SOT 476243 SOS 263010 HAS SOPS 263010 HAS SOUS 217275 HAS SOUPS 217275 WITH SCORE 217538.01
AT ITER 3897 NEW BEST:: SOT 476231 SOS 262998 HAS SOPS 262998 HAS SOUS 217263 HAS SOUPS 217263 WITH SCORE 217525.998
AT ITER 3902 NEW BEST:: SOT 475622 SOS 262514 HAS SOPS 262514 HAS SOUS 216791 HAS SOUPS 216791 WITH SCORE 217053.514
AT ITER 3904 NEW BEST:: SOT 475622 SOS 262457 HAS SOPS 262457 HAS SOUS 216791 HAS SOUPS 216791 WITH SCORE 217053.457
AT ITER 3917 NEW BEST:: SOT 475771 SOS 262435 HAS SOPS 262435 HAS SOUS 216762 HAS SOUPS 216762 WITH SCORE 217024.435
AT ITER 3921 NEW BEST:: SOT 475771 SOS 262476 HAS SOPS 262476 HAS SOUS 216758 HAS SOUPS 216758 WITH SCORE 217020.476
AT ITER 3923 NEW BEST:: SOT 475212 SOS 263042 HAS SOPS 263042 HAS SOUS 216642 HAS SOUPS 216642 WITH SCORE 216905.042
AT ITER 3928 NEW BEST:: SOT 475078 SOS 262813 HAS SOPS 262813 HAS SOUS 216461 HAS SOUPS 216461 WITH SCORE 216723.813
AT ITER 3940 NEW BEST:: SOT 474896 SOS 262521 HAS SOPS 262521 HAS SOUS 216155 HAS SOUPS 216155 WITH SCORE 216417.521
AT ITER 3952 NEW BEST:: SOT 474720 SOS 262558 HAS SOPS 262558 HAS SOUS 215999 HAS SOUPS 215999 WITH SCORE 216261.558
AT ITER 3959 NEW BEST:: SOT 474720 SOS 262339 HAS SOPS 262339 HAS SOUS 215999 HAS SOUPS 215999 WITH SCORE 216261.339
AT ITER 3978 NEW BEST:: SOT 474720 SOS 262046 HAS SOPS 262046 HAS SOUS 215999 HAS SOUPS 215999 WITH SCORE 216261.046
AT ITER 3994 NEW BEST:: SOT 474242 SOS 263166 HAS SOPS 263166 HAS SOUS 215865 HAS SOUPS 215865 WITH SCORE 216128.166
AT ITER 3997 NEW BEST:: SOT 474242 SOS 263121 HAS SOPS 263121 HAS SOUS 215841 HAS SOUPS 215841 WITH SCORE 216104.121
AT ITER 3998 NEW BEST:: SOT 473625 SOS 263370 HAS SOPS 263370 HAS SOUS 215795 HAS SOUPS 215795 WITH SCORE 216058.37
AT ITER 4010 NEW BEST:: SOT 473625 SOS 263252 HAS SOPS 263252 HAS SOUS 215795 HAS SOUPS 215795 WITH SCORE 216058.252
AT ITER 4014 NEW BEST:: SOT 473532 SOS 263578 HAS SOPS 263578 HAS SOUS 215770 HAS SOUPS 215770 WITH SCORE 216033.578
AT ITER 4015 NEW BEST:: SOT 473532 SOS 263545 HAS SOPS 263545 HAS SOUS 215768 HAS SOUPS 215768 WITH SCORE 216031.545
AT ITER 4030 NEW BEST:: SOT 473375 SOS 263088 HAS SOPS 263088 HAS SOUS 215377 HAS SOUPS 215377 WITH SCORE 215640.088
AT ITER 4055 NEW BEST:: SOT 473300 SOS 263013 HAS SOPS 263013 HAS SOUS 215302 HAS SOUPS 215302 WITH SCORE 215565.013
AT ITER 4057 NEW BEST:: SOT 473362 SOS 263011 HAS SOPS 263011 HAS SOUS 215300 HAS SOUPS 215300 WITH SCORE 215563.011
AT ITER 4068 NEW BEST:: SOT 473269 SOS 262918 HAS SOPS 262918 HAS SOUS 214909 HAS SOUPS 214909 WITH SCORE 215171.918
AT ITER 4071 NEW BEST:: SOT 473269 SOS 262744 HAS SOPS 262744 HAS SOUS 214909 HAS SOUPS 214909 WITH SCORE 215171.744
AT ITER 4072 NEW BEST:: SOT 473373 SOS 262442 HAS SOPS 262442 HAS SOUS 214847 HAS SOUPS 214847 WITH SCORE 215109.442
AT ITER 4075 NEW BEST:: SOT 473436 SOS 262021 HAS SOPS 262021 HAS SOUS 214816 HAS SOUPS 214816 WITH SCORE 215078.021
AT ITER 4093 NEW BEST:: SOT 473038 SOS 262142 HAS SOPS 262142 HAS SOUS 214764 HAS SOUPS 214764 WITH SCORE 215026.142
AT ITER 4095 NEW BEST:: SOT 472897 SOS 262500 HAS SOPS 262500 HAS SOUS 214709 HAS SOUPS 214709 WITH SCORE 214971.5
AT ITER 4140 NEW BEST:: SOT 472531 SOS 262184 HAS SOPS 262184 HAS SOUS 214393 HAS SOUPS 214393 WITH SCORE 214655.184
AT ITER 4157 NEW BEST:: SOT 472531 SOS 262101 HAS SOPS 262101 HAS SOUS 214393 HAS SOUPS 214393 WITH SCORE 214655.101
AT ITER 4160 NEW BEST:: SOT 472484 SOS 262070 HAS SOPS 262070 HAS SOUS 214340 HAS SOUPS 214340 WITH SCORE 214602.07
AT ITER 4162 NEW BEST:: SOT 472384 SOS 261917 HAS SOPS 261917 HAS SOUS 214140 HAS SOUPS 214140 WITH SCORE 214401.917
AT ITER 4163 NEW BEST:: SOT 472384 SOS 261870 HAS SOPS 261870 HAS SOUS 214140 HAS SOUPS 214140 WITH SCORE 214401.87
AT ITER 4166 NEW BEST:: SOT 472146 SOS 262070 HAS SOPS 262070 HAS SOUS 213976 HAS SOUPS 213976 WITH SCORE 214238.07
AT ITER 4168 NEW BEST:: SOT 472146 SOS 262070 HAS SOPS 262070 HAS SOUS 213933 HAS SOUPS 213933 WITH SCORE 214195.07
AT ITER 4169 NEW BEST:: SOT 472159 SOS 262119 HAS SOPS 262119 HAS SOUS 213927 HAS SOUPS 213927 WITH SCORE 214189.119
AT ITER 4173 NEW BEST:: SOT 472016 SOS 261642 HAS SOPS 261642 HAS SOUS 213697 HAS SOUPS 213697 WITH SCORE 213958.642
AT ITER 4182 NEW BEST:: SOT 471984 SOS 261610 HAS SOPS 261610 HAS SOUS 213665 HAS SOUPS 213665 WITH SCORE 213926.61
AT ITER 4184 NEW BEST:: SOT 471790 SOS 261598 HAS SOPS 261598 HAS SOUS 213653 HAS SOUPS 213653 WITH SCORE 213914.598
AT ITER 4214 NEW BEST:: SOT 471190 SOS 262528 HAS SOPS 262528 HAS SOUS 213475 HAS SOUPS 213475 WITH SCORE 213737.528
AT ITER 4228 NEW BEST:: SOT 471171 SOS 262625 HAS SOPS 262625 HAS SOUS 213456 HAS SOUPS 213456 WITH SCORE 213718.625
AT ITER 4242 NEW BEST:: SOT 471171 SOS 262625 HAS SOPS 262625 HAS SOUS 213432 HAS SOUPS 213432 WITH SCORE 213694.625
AT ITER 4251 NEW BEST:: SOT 471170 SOS 262624 HAS SOPS 262624 HAS SOUS 213431 HAS SOUPS 213431 WITH SCORE 213693.624
AT ITER 4254 NEW BEST:: SOT 471101 SOS 262547 HAS SOPS 262547 HAS SOUS 213336 HAS SOUPS 213336 WITH SCORE 213598.547
AT ITER 4256 NEW BEST:: SOT 471084 SOS 262530 HAS SOPS 262530 HAS SOUS 213319 HAS SOUPS 213319 WITH SCORE 213581.53
AT ITER 4269 NEW BEST:: SOT 471084 SOS 262484 HAS SOPS 262484 HAS SOUS 213319 HAS SOUPS 213319 WITH SCORE 213581.484
AT ITER 4273 NEW BEST:: SOT 471055 SOS 262455 HAS SOPS 262455 HAS SOUS 213290 HAS SOUPS 213290 WITH SCORE 213552.455
AT ITER 4280 NEW BEST:: SOT 471055 SOS 262416 HAS SOPS 262416 HAS SOUS 213290 HAS SOUPS 213290 WITH SCORE 213552.416
AT ITER 4282 NEW BEST:: SOT 470998 SOS 262359 HAS SOPS 262359 HAS SOUS 213257 HAS SOUPS 213257 WITH SCORE 213519.359
AT ITER 4285 NEW BEST:: SOT 470998 SOS 262255 HAS SOPS 262255 HAS SOUS 213173 HAS SOUPS 213173 WITH SCORE 213435.255
AT ITER 4286 NEW BEST:: SOT 470989 SOS 262246 HAS SOPS 262246 HAS SOUS 213172 HAS SOUPS 213172 WITH SCORE 213434.246
AT ITER 4289 NEW BEST:: SOT 471047 SOS 262168 HAS SOPS 262168 HAS SOUS 213042 HAS SOUPS 213042 WITH SCORE 213304.168
AT ITER 4292 NEW BEST:: SOT 471047 SOS 262151 HAS SOPS 262151 HAS SOUS 213028 HAS SOUPS 213028 WITH SCORE 213290.151
AT ITER 4297 NEW BEST:: SOT 470790 SOS 262245 HAS SOPS 262245 HAS SOUS 212954 HAS SOUPS 212954 WITH SCORE 213216.245
AT ITER 4310 NEW BEST:: SOT 470266 SOS 262066 HAS SOPS 262066 HAS SOUS 212747 HAS SOUPS 212747 WITH SCORE 213009.066
AT ITER 4314 NEW BEST:: SOT 470266 SOS 261925 HAS SOPS 261925 HAS SOUS 212725 HAS SOUPS 212725 WITH SCORE 212986.925
AT ITER 4315 NEW BEST:: SOT 470053 SOS 261361 HAS SOPS 261361 HAS SOUS 212264 HAS SOUPS 212264 WITH SCORE 212525.361
AT ITER 4319 NEW BEST:: SOT 469992 SOS 261300 HAS SOPS 261300 HAS SOUS 212149 HAS SOUPS 212149 WITH SCORE 212410.3
AT ITER 4325 NEW BEST:: SOT 470014 SOS 260936 HAS SOPS 260936 HAS SOUS 212024 HAS SOUPS 212024 WITH SCORE 212284.936
AT ITER 4332 NEW BEST:: SOT 470014 SOS 260923 HAS SOPS 260923 HAS SOUS 212024 HAS SOUPS 212024 WITH SCORE 212284.923
AT ITER 4337 NEW BEST:: SOT 470014 SOS 260812 HAS SOPS 260812 HAS SOUS 212024 HAS SOUPS 212024 WITH SCORE 212284.812
AT ITER 4357 NEW BEST:: SOT 470003 SOS 260801 HAS SOPS 260801 HAS SOUS 212013 HAS SOUPS 212013 WITH SCORE 212273.801
AT ITER 4363 NEW BEST:: SOT 469330 SOS 260412 HAS SOPS 260412 HAS SOUS 211457 HAS SOUPS 211457 WITH SCORE 211717.412
AT ITER 4366 NEW BEST:: SOT 469181 SOS 260204 HAS SOPS 260204 HAS SOUS 211209 HAS SOUPS 211209 WITH SCORE 211469.204
AT ITER 4380 NEW BEST:: SOT 469181 SOS 260170 HAS SOPS 260170 HAS SOUS 211209 HAS SOUPS 211209 WITH SCORE 211469.17
AT ITER 4381 NEW BEST:: SOT 469121 SOS 260130 HAS SOPS 260130 HAS SOUS 211209 HAS SOUPS 211209 WITH SCORE 211469.13
AT ITER 4388 NEW BEST:: SOT 468885 SOS 260357 HAS SOPS 260357 HAS SOUS 211083 HAS SOUPS 211083 WITH SCORE 211343.357
AT ITER 4397 NEW BEST:: SOT 468861 SOS 260335 HAS SOPS 260335 HAS SOUS 211061 HAS SOUPS 211061 WITH SCORE 211321.335
AT ITER 4407 NEW BEST:: SOT 468736 SOS 260235 HAS SOPS 260235 HAS SOUS 210961 HAS SOUPS 210961 WITH SCORE 211221.235
AT ITER 4411 NEW BEST:: SOT 468778 SOS 260253 HAS SOPS 260253 HAS SOUS 210957 HAS SOUPS 210957 WITH SCORE 211217.253
AT ITER 4417 NEW BEST:: SOT 468767 SOS 260242 HAS SOPS 260242 HAS SOUS 210946 HAS SOUPS 210946 WITH SCORE 211206.242
AT ITER 4426 NEW BEST:: SOT 468767 SOS 260205 HAS SOPS 260205 HAS SOUS 210946 HAS SOUPS 210946 WITH SCORE 211206.205
AT ITER 4442 NEW BEST:: SOT 468732 SOS 260170 HAS SOPS 260170 HAS SOUS 210911 HAS SOUPS 210911 WITH SCORE 211171.17
AT ITER 4449 NEW BEST:: SOT 468675 SOS 260634 HAS SOPS 260634 HAS SOUS 210863 HAS SOUPS 210863 WITH SCORE 211123.634
AT ITER 4457 NEW BEST:: SOT 468672 SOS 260631 HAS SOPS 260631 HAS SOUS 210861 HAS SOUPS 210861 WITH SCORE 211121.631
AT ITER 4468 NEW BEST:: SOT 468672 SOS 260607 HAS SOPS 260607 HAS SOUS 210861 HAS SOUPS 210861 WITH SCORE 211121.607
AT ITER 4473 NEW BEST:: SOT 468458 SOS 261552 HAS SOPS 261552 HAS SOUS 210809 HAS SOUPS 210809 WITH SCORE 211070.552
AT ITER 4475 NEW BEST:: SOT 468058 SOS 261205 HAS SOPS 261205 HAS SOUS 210462 HAS SOUPS 210462 WITH SCORE 210723.205
AT ITER 4487 NEW BEST:: SOT 468030 SOS 261177 HAS SOPS 261177 HAS SOUS 210401 HAS SOUPS 210401 WITH SCORE 210662.177
AT ITER 4502 NEW BEST:: SOT 468030 SOS 261173 HAS SOPS 261173 HAS SOUS 210401 HAS SOUPS 210401 WITH SCORE 210662.173
AT ITER 4519 NEW BEST:: SOT 468062 SOS 261205 HAS SOPS 261205 HAS SOUS 210350 HAS SOUPS 210350 WITH SCORE 210611.205
AT ITER 4524 NEW BEST:: SOT 468022 SOS 261165 HAS SOPS 261165 HAS SOUS 210265 HAS SOUPS 210265 WITH SCORE 210526.165
AT ITER 4531 NEW BEST:: SOT 467985 SOS 261128 HAS SOPS 261128 HAS SOUS 210227 HAS SOUPS 210227 WITH SCORE 210488.128
AT ITER 4536 NEW BEST:: SOT 467985 SOS 261234 HAS SOPS 261234 HAS SOUS 210179 HAS SOUPS 210179 WITH SCORE 210440.234
AT ITER 4539 NEW BEST:: SOT 467780 SOS 261075 HAS SOPS 261075 HAS SOUS 209947 HAS SOUPS 209947 WITH SCORE 210208.075
AT ITER 4540 NEW BEST:: SOT 467780 SOS 261075 HAS SOPS 261075 HAS SOUS 209928 HAS SOUPS 209928 WITH SCORE 210189.075
AT ITER 4564 NEW BEST:: SOT 467717 SOS 261075 HAS SOPS 261075 HAS SOUS 209865 HAS SOUPS 209865 WITH SCORE 210126.075
AT ITER 4578 NEW BEST:: SOT 467747 SOS 260957 HAS SOPS 260957 HAS SOUS 209784 HAS SOUPS 209784 WITH SCORE 210044.957
AT ITER 4579 NEW BEST:: SOT 467412 SOS 260712 HAS SOPS 260712 HAS SOUS 209539 HAS SOUPS 209539 WITH SCORE 209799.712
AT ITER 4582 NEW BEST:: SOT 467181 SOS 260675 HAS SOPS 260675 HAS SOUS 209502 HAS SOUPS 209502 WITH SCORE 209762.675
AT ITER 4583 NEW BEST:: SOT 467181 SOS 260632 HAS SOPS 260632 HAS SOUS 209502 HAS SOUPS 209502 WITH SCORE 209762.632
AT ITER 4589 NEW BEST:: SOT 467116 SOS 260838 HAS SOPS 260838 HAS SOUS 209437 HAS SOUPS 209437 WITH SCORE 209697.838
AT ITER 4600 NEW BEST:: SOT 467111 SOS 260833 HAS SOPS 260833 HAS SOUS 209432 HAS SOUPS 209432 WITH SCORE 209692.833
AT ITER 4608 NEW BEST:: SOT 467111 SOS 260595 HAS SOPS 260595 HAS SOUS 209412 HAS SOUPS 209412 WITH SCORE 209672.595
AT ITER 4612 NEW BEST:: SOT 466821 SOS 260585 HAS SOPS 260585 HAS SOUS 209365 HAS SOUPS 209365 WITH SCORE 209625.585
AT ITER 4617 NEW BEST:: SOT 466803 SOS 260567 HAS SOPS 260567 HAS SOUS 209339 HAS SOUPS 209339 WITH SCORE 209599.567
AT ITER 4622 NEW BEST:: SOT 466797 SOS 260561 HAS SOPS 260561 HAS SOUS 209333 HAS SOUPS 209333 WITH SCORE 209593.561
AT ITER 4644 NEW BEST:: SOT 466797 SOS 260508 HAS SOPS 260508 HAS SOUS 209333 HAS SOUPS 209333 WITH SCORE 209593.508
AT ITER 4683 NEW BEST:: SOT 466725 SOS 260436 HAS SOPS 260436 HAS SOUS 209313 HAS SOUPS 209313 WITH SCORE 209573.436
AT ITER 4689 NEW BEST:: SOT 466719 SOS 260439 HAS SOPS 260439 HAS SOUS 209310 HAS SOUPS 209310 WITH SCORE 209570.439
AT ITER 4690 NEW BEST:: SOT 466739 SOS 260400 HAS SOPS 260400 HAS SOUS 209271 HAS SOUPS 209271 WITH SCORE 209531.4
AT ITER 4699 NEW BEST:: SOT 466684 SOS 260356 HAS SOPS 260356 HAS SOUS 209238 HAS SOUPS 209238 WITH SCORE 209498.356
AT ITER 4701 NEW BEST:: SOT 466465 SOS 260483 HAS SOPS 260483 HAS SOUS 209109 HAS SOUPS 209109 WITH SCORE 209369.483
AT ITER 4708 NEW BEST:: SOT 466454 SOS 260472 HAS SOPS 260472 HAS SOUS 209098 HAS SOUPS 209098 WITH SCORE 209358.472
AT ITER 4713 NEW BEST:: SOT 466365 SOS 260472 HAS SOPS 260472 HAS SOUS 208864 HAS SOUPS 208864 WITH SCORE 209124.472
AT ITER 4717 NEW BEST:: SOT 466551 SOS 260455 HAS SOPS 260455 HAS SOUS 208863 HAS SOUPS 208863 WITH SCORE 209123.455
AT ITER 4720 NEW BEST:: SOT 466557 SOS 260461 HAS SOPS 260461 HAS SOUS 208860 HAS SOUPS 208860 WITH SCORE 209120.461
AT ITER 4728 NEW BEST:: SOT 466641 SOS 260545 HAS SOPS 260545 HAS SOUS 208784 HAS SOUPS 208784 WITH SCORE 209044.545
AT ITER 4737 NEW BEST:: SOT 466597 SOS 260542 HAS SOPS 260542 HAS SOUS 208781 HAS SOUPS 208781 WITH SCORE 209041.542
AT ITER 4743 NEW BEST:: SOT 466188 SOS 260929 HAS SOPS 260929 HAS SOUS 208482 HAS SOUPS 208482 WITH SCORE 208742.929
AT ITER 4746 NEW BEST:: SOT 466188 SOS 260778 HAS SOPS 260778 HAS SOUS 208409 HAS SOUPS 208409 WITH SCORE 208669.778
AT ITER 4752 NEW BEST:: SOT 466188 SOS 260705 HAS SOPS 260705 HAS SOUS 208265 HAS SOUPS 208265 WITH SCORE 208525.705
AT ITER 4762 NEW BEST:: SOT 466188 SOS 260084 HAS SOPS 260084 HAS SOUS 208265 HAS SOUPS 208265 WITH SCORE 208525.084
AT ITER 4764 NEW BEST:: SOT 466063 SOS 260927 HAS SOPS 260927 HAS SOUS 208247 HAS SOUPS 208247 WITH SCORE 208507.927
AT ITER 4770 NEW BEST:: SOT 465745 SOS 260757 HAS SOPS 260757 HAS SOUS 208003 HAS SOUPS 208003 WITH SCORE 208263.757
AT ITER 4771 NEW BEST:: SOT 465249 SOS 260943 HAS SOPS 260943 HAS SOUS 207895 HAS SOUPS 207895 WITH SCORE 208155.943
AT ITER 4787 NEW BEST:: SOT 465249 SOS 260939 HAS SOPS 260939 HAS SOUS 207895 HAS SOUPS 207895 WITH SCORE 208155.939
AT ITER 4788 NEW BEST:: SOT 465221 SOS 260788 HAS SOPS 260788 HAS SOUS 207809 HAS SOUPS 207809 WITH SCORE 208069.788
AT ITER 4790 NEW BEST:: SOT 465208 SOS 260934 HAS SOPS 260934 HAS SOUS 207788 HAS SOUPS 207788 WITH SCORE 208048.934
AT ITER 4791 NEW BEST:: SOT 465208 SOS 260911 HAS SOPS 260911 HAS SOUS 207788 HAS SOUPS 207788 WITH SCORE 208048.911
AT ITER 4800 NEW BEST:: SOT 465208 SOS 260379 HAS SOPS 260379 HAS SOUS 207788 HAS SOUPS 207788 WITH SCORE 208048.379
AT ITER 4820 NEW BEST:: SOT 465208 SOS 260370 HAS SOPS 260370 HAS SOUS 207788 HAS SOUPS 207788 WITH SCORE 208048.37
AT ITER 4825 NEW BEST:: SOT 465219 SOS 260411 HAS SOPS 260411 HAS SOUS 207778 HAS SOUPS 207778 WITH SCORE 208038.411
AT ITER 4847 NEW BEST:: SOT 465157 SOS 260349 HAS SOPS 260349 HAS SOUS 207716 HAS SOUPS 207716 WITH SCORE 207976.349
AT ITER 4852 NEW BEST:: SOT 464785 SOS 260769 HAS SOPS 260769 HAS SOUS 207595 HAS SOUPS 207595 WITH SCORE 207855.769
AT ITER 4858 NEW BEST:: SOT 464824 SOS 260739 HAS SOPS 260739 HAS SOUS 207549 HAS SOUPS 207549 WITH SCORE 207809.739
AT ITER 4865 NEW BEST:: SOT 464723 SOS 261319 HAS SOPS 261319 HAS SOUS 207544 HAS SOUPS 207544 WITH SCORE 207805.319
AT ITER 4868 NEW BEST:: SOT 464630 SOS 261226 HAS SOPS 261226 HAS SOUS 207451 HAS SOUPS 207451 WITH SCORE 207712.226
AT ITER 4872 NEW BEST:: SOT 464630 SOS 261153 HAS SOPS 261153 HAS SOUS 207451 HAS SOUPS 207451 WITH SCORE 207712.153
AT ITER 4881 NEW BEST:: SOT 464290 SOS 260979 HAS SOPS 260979 HAS SOUS 207429 HAS SOUPS 207429 WITH SCORE 207689.979
AT ITER 4886 NEW BEST:: SOT 464105 SOS 260814 HAS SOPS 260814 HAS SOUS 207269 HAS SOUPS 207269 WITH SCORE 207529.814
AT ITER 4889 NEW BEST:: SOT 463997 SOS 260706 HAS SOPS 260706 HAS SOUS 207161 HAS SOUPS 207161 WITH SCORE 207421.706
AT ITER 4905 NEW BEST:: SOT 464008 SOS 260717 HAS SOPS 260717 HAS SOUS 207088 HAS SOUPS 207088 WITH SCORE 207348.717
AT ITER 4911 NEW BEST:: SOT 464025 SOS 260734 HAS SOPS 260734 HAS SOUS 207044 HAS SOUPS 207044 WITH SCORE 207304.734
AT ITER 4919 NEW BEST:: SOT 464025 SOS 260709 HAS SOPS 260709 HAS SOUS 206914 HAS SOUPS 206914 WITH SCORE 207174.709
AT ITER 4953 NEW BEST:: SOT 464025 SOS 260709 HAS SOPS 260709 HAS SOUS 206905 HAS SOUPS 206905 WITH SCORE 207165.709
AT ITER 4962 NEW BEST:: SOT 464009 SOS 260693 HAS SOPS 260693 HAS SOUS 206889 HAS SOUPS 206889 WITH SCORE 207149.693
AT ITER 4972 NEW BEST:: SOT 464072 SOS 260756 HAS SOPS 260756 HAS SOUS 206866 HAS SOUPS 206866 WITH SCORE 207126.756
AT ITER 4973 NEW BEST:: SOT 464072 SOS 260581 HAS SOPS 260581 HAS SOUS 206834 HAS SOUPS 206834 WITH SCORE 207094.581
AT ITER 4976 NEW BEST:: SOT 464006 SOS 260515 HAS SOPS 260515 HAS SOUS 206768 HAS SOUPS 206768 WITH SCORE 207028.515
AT ITER 4980 NEW BEST:: SOT 464006 SOS 260462 HAS SOPS 260462 HAS SOUS 206591 HAS SOUPS 206591 WITH SCORE 206851.462
AT ITER 4985 NEW BEST:: SOT 464006 SOS 260447 HAS SOPS 260447 HAS SOUS 206591 HAS SOUPS 206591 WITH SCORE 206851.447
AT ITER 4990 NEW BEST:: SOT 463946 SOS 260387 HAS SOPS 260387 HAS SOUS 206471 HAS SOUPS 206471 WITH SCORE 206731.387
AT ITER 4996 NEW BEST:: SOT 463669 SOS 260122 HAS SOPS 260122 HAS SOUS 206206 HAS SOUPS 206206 WITH SCORE 206466.122
Bounds file is: CTLFireability.xml
PROPERTY: Sudoku-PT-AN09-CTLFireability-00 (EX( (EX( (AG( ((potential((tk(P903)>=1) & (tk(P48)>=1) & (tk(P857)>=1))))))))))
PROPERTY: Sudoku-PT-AN09-CTLFireability-01 (EG( ((potential((tk(P904)>=1) & (tk(P58)>=1) & (tk(P866)>=1))))))
PROPERTY: Sudoku-PT-AN09-CTLFireability-02 (EU( ((potential((tk(P959)>=1) & (tk(P5)>=1) & (tk(P818)>=1)))) , (AX( ((potential((tk(P966)>=1) & (tk(P12)>=1) & (tk(P828)>=1)))))) ))
PROPERTY: Sudoku-PT-AN09-CTLFireability-03 (AU( ((potential((tk(P920)>=1) & (tk(P47)>=1) & (tk(P859)>=1)))) , (AF( (! ((potential((tk(P968)>=1) & (tk(P77)>=1) & (tk(P891)>=1))))))) ))
PROPERTY: Sudoku-PT-AN09-CTLFireability-04 (EG( ( (AX( ( ((potential((tk(P909)>=1) & (tk(P45)>=1) & (tk(P848)>=1)))) | ((potential((tk(P952)>=1) & (tk(P34)>=1) & (tk(P844)>=1)))) ))) | (! ((potential((tk(P960)>=1) & (tk(P69)>=1) & (tk(P881)>=1))))) )))
PROPERTY: Sudoku-PT-AN09-CTLFireability-05 ( (! ((potential((tk(P904)>=1) & (tk(P22)>=1) & (tk(P830)>=1))))) | ( ( (AF( (! ((potential((tk(P960)>=1) & (tk(P78)>=1) & (tk(P890)>=1))))))) & (EX( (! ((potential((tk(P932)>=1) & (tk(P77)>=1) & (tk(P887)>=1))))))) ) | (! (EU( ((potential((tk(P940)>=1) & (tk(P58)>=1) & (tk(P870)>=1)))) , ((potential((tk(P919)>=1) & (tk(P28)>=1) & (tk(P841)>=1)))) ))) ) )
PROPERTY: Sudoku-PT-AN09-CTLFireability-06 (EG( ((potential((tk(P954)>=1) & (tk(P72)>=1) & (tk(P880)>=1))))))
PROPERTY: Sudoku-PT-AN09-CTLFireability-07 ( (EX( (! (EF( ((potential((tk(P902)>=1) & (tk(P29)>=1) & (tk(P839)>=1))))))))) & ( (AX( (EX( ((potential((tk(P958)>=1) & (tk(P31)>=1) & (tk(P845)>=1)))))))) | (! (AG( ((potential((tk(P961)>=1) & (tk(P43)>=1) & (tk(P854)>=1))))))) ) )
PROPERTY: Sudoku-PT-AN09-CTLFireability-08 (AF( (AX( ((potential((tk(P920)>=1) & (tk(P29)>=1) & (tk(P841)>=1))))))))
PROPERTY: Sudoku-PT-AN09-CTLFireability-09 (AX( (EU( ( ((potential((tk(P933)>=1) & (tk(P51)>=1) & (tk(P860)>=1)))) | ((potential((tk(P907)>=1) & (tk(P70)>=1) & (tk(P875)>=1)))) ) , ( ((potential((tk(P961)>=1) & (tk(P34)>=1) & (tk(P845)>=1)))) | ((potential((tk(P907)>=1) & (tk(P34)>=1) & (tk(P839)>=1)))) ) ))))
PROPERTY: Sudoku-PT-AN09-CTLFireability-10 (EU( (EG( ( ((potential((tk(P898)>=1) & (tk(P61)>=1) & (tk(P865)>=1)))) & ((potential((tk(P971)>=1) & (tk(P26)>=1) & (tk(P837)>=1)))) ))) , ( ( ( ((potential((tk(P910)>=1) & (tk(P19)>=1) & (tk(P831)>=1)))) & ((potential((tk(P923)>=1) & (tk(P5)>=1) & (tk(P814)>=1)))) ) & ( ((potential((tk(P924)>=1) & (tk(P69)>=1) & (tk(P877)>=1)))) & ((potential((tk(P972)>=1) & (tk(P36)>=1) & (tk(P846)>=1)))) ) ) & (EG( ((potential((tk(P909)>=1) & (tk(P9)>=1) & (tk(P812)>=1)))))) ) ))
PROPERTY: Sudoku-PT-AN09-CTLFireability-11 (! (EG( ((potential((tk(P965)>=1) & (tk(P11)>=1) & (tk(P828)>=1)))))))
PROPERTY: Sudoku-PT-AN09-CTLFireability-12 (AF( (! (EF( ( ((potential((tk(P895)>=1) & (tk(P40)>=1) & (tk(P847)>=1)))) | ((potential((tk(P940)>=1) & (tk(P67)>=1) & (tk(P879)>=1)))) ))))))
PROPERTY: Sudoku-PT-AN09-CTLFireability-13 ( (EF( (AG( ( ((potential((tk(P908)>=1) & (tk(P8)>=1) & (tk(P812)>=1)))) & ((potential((tk(P896)>=1) & (tk(P23)>=1) & (tk(P829)>=1)))) ))))) | (AG( ((potential((tk(P932)>=1) & (tk(P32)>=1) & (tk(P842)>=1)))))) )
PROPERTY: Sudoku-PT-AN09-CTLFireability-14 (AG( ( (AU( ((potential((tk(P940)>=1) & (tk(P49)>=1) & (tk(P861)>=1)))) , ((potential((tk(P903)>=1) & (tk(P57)>=1) & (tk(P866)>=1)))) )) | ( ( (! ((potential((tk(P924)>=1) & (tk(P15)>=1) & (tk(P823)>=1))))) | ( ((potential((tk(P936)>=1) & (tk(P36)>=1) & (tk(P842)>=1)))) | ((potential((tk(P928)>=1) & (tk(P37)>=1) & (tk(P851)>=1)))) ) ) & (! (! ((potential((tk(P905)>=1) & (tk(P32)>=1) & (tk(P839)>=1)))))) ) )))
PROPERTY: Sudoku-PT-AN09-CTLFireability-15 (! ( ( ((potential((tk(P947)>=1) & (tk(P56)>=1) & (tk(P871)>=1)))) & (! (EF( ((potential((tk(P931)>=1) & (tk(P13)>=1) & (tk(P824)>=1))))))) ) | ( (! (EX( ((potential((tk(P904)>=1) & (tk(P76)>=1) & (tk(P884)>=1))))))) | ( ((potential((tk(P910)>=1) & (tk(P1)>=1) & (tk(P813)>=1)))) & (EG( ((potential((tk(P947)>=1) & (tk(P65)>=1) & (tk(P880)>=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-AN09"
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-AN09, 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-159033538700380"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Sudoku-PT-AN09.tgz
mv Sudoku-PT-AN09 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;