Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250100171.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off 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 NQueens-PT-30, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250100171
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 912K
-rw-r--r-- 1 mcc users 3.2K Apr 8 13:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 8 13:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 7 16:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 7 16:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.9K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Apr 6 19:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 6 19:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 6 02:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 6 02:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 6 20:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 735K Mar 24 05:37 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 NQueens-PT-30-CTLCardinality-00
FORMULA_NAME NQueens-PT-30-CTLCardinality-01
FORMULA_NAME NQueens-PT-30-CTLCardinality-02
FORMULA_NAME NQueens-PT-30-CTLCardinality-03
FORMULA_NAME NQueens-PT-30-CTLCardinality-04
FORMULA_NAME NQueens-PT-30-CTLCardinality-05
FORMULA_NAME NQueens-PT-30-CTLCardinality-06
FORMULA_NAME NQueens-PT-30-CTLCardinality-07
FORMULA_NAME NQueens-PT-30-CTLCardinality-08
FORMULA_NAME NQueens-PT-30-CTLCardinality-09
FORMULA_NAME NQueens-PT-30-CTLCardinality-10
FORMULA_NAME NQueens-PT-30-CTLCardinality-11
FORMULA_NAME NQueens-PT-30-CTLCardinality-12
FORMULA_NAME NQueens-PT-30-CTLCardinality-13
FORMULA_NAME NQueens-PT-30-CTLCardinality-14
FORMULA_NAME NQueens-PT-30-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589637855913

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NQueens (PT), instance 30
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 1080 places, 900 transitions, 4500 arcs.
AT ITER 0 NEW BEST:: SOT 849893 SOS 526345 HAS SOPS 526345 HAS SOUS 441963 HAS SOUPS 441963 WITH SCORE 442489.345
AT ITER 5 NEW BEST:: SOT 849893 SOS 526241 HAS SOPS 526241 HAS SOUS 441963 HAS SOUPS 441963 WITH SCORE 442489.241
AT ITER 7 NEW BEST:: SOT 849893 SOS 525995 HAS SOPS 525995 HAS SOUS 441963 HAS SOUPS 441963 WITH SCORE 442488.995
AT ITER 12 NEW BEST:: SOT 849690 SOS 533152 HAS SOPS 533152 HAS SOUS 441868 HAS SOUPS 441868 WITH SCORE 442401.152
AT ITER 21 NEW BEST:: SOT 849690 SOS 532473 HAS SOPS 532473 HAS SOUS 441868 HAS SOUPS 441868 WITH SCORE 442400.473
AT ITER 25 NEW BEST:: SOT 849690 SOS 532375 HAS SOPS 532375 HAS SOUS 441868 HAS SOUPS 441868 WITH SCORE 442400.375
AT ITER 26 NEW BEST:: SOT 849259 SOS 532599 HAS SOPS 532599 HAS SOUS 441867 HAS SOUPS 441867 WITH SCORE 442399.599
AT ITER 28 NEW BEST:: SOT 849259 SOS 532566 HAS SOPS 532566 HAS SOUS 441867 HAS SOUPS 441867 WITH SCORE 442399.566
AT ITER 30 NEW BEST:: SOT 849259 SOS 532326 HAS SOPS 532326 HAS SOUS 441840 HAS SOUPS 441840 WITH SCORE 442372.326
AT ITER 31 NEW BEST:: SOT 849259 SOS 532316 HAS SOPS 532316 HAS SOUS 441840 HAS SOUPS 441840 WITH SCORE 442372.316
AT ITER 32 NEW BEST:: SOT 849140 SOS 533365 HAS SOPS 533365 HAS SOUS 441752 HAS SOUPS 441752 WITH SCORE 442285.365
AT ITER 36 NEW BEST:: SOT 848744 SOS 533166 HAS SOPS 533166 HAS SOUS 441341 HAS SOUPS 441341 WITH SCORE 441874.166
AT ITER 40 NEW BEST:: SOT 848744 SOS 532532 HAS SOPS 532532 HAS SOUS 441341 HAS SOUPS 441341 WITH SCORE 441873.532
AT ITER 42 NEW BEST:: SOT 848309 SOS 535077 HAS SOPS 535077 HAS SOUS 440960 HAS SOUPS 440960 WITH SCORE 441495.077
AT ITER 47 NEW BEST:: SOT 848309 SOS 534601 HAS SOPS 534601 HAS SOUS 440933 HAS SOUPS 440933 WITH SCORE 441467.601
AT ITER 53 NEW BEST:: SOT 848208 SOS 543903 HAS SOPS 543903 HAS SOUS 440873 HAS SOUPS 440873 WITH SCORE 441416.903
AT ITER 60 NEW BEST:: SOT 847767 SOS 543507 HAS SOPS 543507 HAS SOUS 440431 HAS SOUPS 440431 WITH SCORE 440974.507
AT ITER 61 NEW BEST:: SOT 847391 SOS 543478 HAS SOPS 543478 HAS SOUS 440148 HAS SOUPS 440148 WITH SCORE 440691.478
AT ITER 70 NEW BEST:: SOT 846957 SOS 543847 HAS SOPS 543847 HAS SOUS 439698 HAS SOUPS 439698 WITH SCORE 440241.847
AT ITER 76 NEW BEST:: SOT 846957 SOS 543834 HAS SOPS 543834 HAS SOUS 439698 HAS SOUPS 439698 WITH SCORE 440241.834
AT ITER 77 NEW BEST:: SOT 846624 SOS 544304 HAS SOPS 544304 HAS SOUS 439402 HAS SOUPS 439402 WITH SCORE 439946.304
AT ITER 81 NEW BEST:: SOT 846624 SOS 544284 HAS SOPS 544284 HAS SOUS 439402 HAS SOUPS 439402 WITH SCORE 439946.284
AT ITER 87 NEW BEST:: SOT 846624 SOS 544125 HAS SOPS 544125 HAS SOUS 439402 HAS SOUPS 439402 WITH SCORE 439946.125
AT ITER 90 NEW BEST:: SOT 846624 SOS 544107 HAS SOPS 544107 HAS SOUS 439402 HAS SOUPS 439402 WITH SCORE 439946.107
AT ITER 93 NEW BEST:: SOT 846590 SOS 544073 HAS SOPS 544073 HAS SOUS 439016 HAS SOUPS 439016 WITH SCORE 439560.073
AT ITER 97 NEW BEST:: SOT 846590 SOS 543901 HAS SOPS 543901 HAS SOUS 439016 HAS SOUPS 439016 WITH SCORE 439559.901
AT ITER 98 NEW BEST:: SOT 846590 SOS 543681 HAS SOPS 543681 HAS SOUS 439016 HAS SOUPS 439016 WITH SCORE 439559.681
AT ITER 110 NEW BEST:: SOT 846590 SOS 543265 HAS SOPS 543265 HAS SOUS 438989 HAS SOUPS 438989 WITH SCORE 439532.265
AT ITER 115 NEW BEST:: SOT 846272 SOS 543133 HAS SOPS 543133 HAS SOUS 438690 HAS SOUPS 438690 WITH SCORE 439233.133
AT ITER 116 NEW BEST:: SOT 846272 SOS 543126 HAS SOPS 543126 HAS SOUS 438690 HAS SOUPS 438690 WITH SCORE 439233.126
AT ITER 127 NEW BEST:: SOT 846272 SOS 543038 HAS SOPS 543038 HAS SOUS 438690 HAS SOUPS 438690 WITH SCORE 439233.038
AT ITER 128 NEW BEST:: SOT 845694 SOS 544794 HAS SOPS 544794 HAS SOUS 438201 HAS SOUPS 438201 WITH SCORE 438745.794
AT ITER 129 NEW BEST:: SOT 845694 SOS 544759 HAS SOPS 544759 HAS SOUS 438201 HAS SOUPS 438201 WITH SCORE 438745.759
AT ITER 134 NEW BEST:: SOT 845694 SOS 544167 HAS SOPS 544167 HAS SOUS 438201 HAS SOUPS 438201 WITH SCORE 438745.167
AT ITER 136 NEW BEST:: SOT 845694 SOS 541524 HAS SOPS 541524 HAS SOUS 438201 HAS SOUPS 438201 WITH SCORE 438742.524
AT ITER 139 NEW BEST:: SOT 845638 SOS 541448 HAS SOPS 541448 HAS SOUS 438117 HAS SOUPS 438117 WITH SCORE 438658.448
AT ITER 141 NEW BEST:: SOT 845638 SOS 541347 HAS SOPS 541347 HAS SOUS 438117 HAS SOUPS 438117 WITH SCORE 438658.347
AT ITER 143 NEW BEST:: SOT 845638 SOS 541319 HAS SOPS 541319 HAS SOUS 438117 HAS SOUPS 438117 WITH SCORE 438658.319
AT ITER 148 NEW BEST:: SOT 845638 SOS 541131 HAS SOPS 541131 HAS SOUS 438117 HAS SOUPS 438117 WITH SCORE 438658.131
AT ITER 151 NEW BEST:: SOT 845638 SOS 540886 HAS SOPS 540886 HAS SOUS 438117 HAS SOUPS 438117 WITH SCORE 438657.886
AT ITER 155 NEW BEST:: SOT 845318 SOS 548460 HAS SOPS 548460 HAS SOUS 437869 HAS SOUPS 437869 WITH SCORE 438417.46
AT ITER 157 NEW BEST:: SOT 845318 SOS 548217 HAS SOPS 548217 HAS SOUS 437869 HAS SOUPS 437869 WITH SCORE 438417.217
AT ITER 159 NEW BEST:: SOT 845261 SOS 548789 HAS SOPS 548789 HAS SOUS 437862 HAS SOUPS 437862 WITH SCORE 438410.789
AT ITER 163 NEW BEST:: SOT 845261 SOS 548679 HAS SOPS 548679 HAS SOUS 437862 HAS SOUPS 437862 WITH SCORE 438410.679
AT ITER 164 NEW BEST:: SOT 845205 SOS 548614 HAS SOPS 548614 HAS SOUS 437788 HAS SOUPS 437788 WITH SCORE 438336.614
AT ITER 167 NEW BEST:: SOT 845205 SOS 548102 HAS SOPS 548102 HAS SOUS 437788 HAS SOUPS 437788 WITH SCORE 438336.102
AT ITER 171 NEW BEST:: SOT 844767 SOS 547759 HAS SOPS 547759 HAS SOUS 437379 HAS SOUPS 437379 WITH SCORE 437926.759
AT ITER 176 NEW BEST:: SOT 844767 SOS 547416 HAS SOPS 547416 HAS SOUS 437379 HAS SOUPS 437379 WITH SCORE 437926.416
AT ITER 179 NEW BEST:: SOT 844767 SOS 547378 HAS SOPS 547378 HAS SOUS 437379 HAS SOUPS 437379 WITH SCORE 437926.378
AT ITER 181 NEW BEST:: SOT 844644 SOS 547838 HAS SOPS 547838 HAS SOUS 437345 HAS SOUPS 437345 WITH SCORE 437892.838
AT ITER 183 NEW BEST:: SOT 844644 SOS 547776 HAS SOPS 547776 HAS SOUS 437345 HAS SOUPS 437345 WITH SCORE 437892.776
AT ITER 187 NEW BEST:: SOT 844644 SOS 547448 HAS SOPS 547448 HAS SOUS 437345 HAS SOUPS 437345 WITH SCORE 437892.448
AT ITER 189 NEW BEST:: SOT 844644 SOS 546788 HAS SOPS 546788 HAS SOUS 437345 HAS SOUPS 437345 WITH SCORE 437891.788
AT ITER 190 NEW BEST:: SOT 844122 SOS 546646 HAS SOPS 546646 HAS SOUS 436845 HAS SOUPS 436845 WITH SCORE 437391.646
AT ITER 193 NEW BEST:: SOT 844122 SOS 546540 HAS SOPS 546540 HAS SOUS 436845 HAS SOUPS 436845 WITH SCORE 437391.54
AT ITER 196 NEW BEST:: SOT 844122 SOS 546429 HAS SOPS 546429 HAS SOUS 436845 HAS SOUPS 436845 WITH SCORE 437391.429
AT ITER 197 NEW BEST:: SOT 844164 SOS 546278 HAS SOPS 546278 HAS SOUS 436676 HAS SOUPS 436676 WITH SCORE 437222.278
AT ITER 199 NEW BEST:: SOT 844164 SOS 545654 HAS SOPS 545654 HAS SOUS 436676 HAS SOUPS 436676 WITH SCORE 437221.654
AT ITER 200 NEW BEST:: SOT 844164 SOS 545317 HAS SOPS 545317 HAS SOUS 436676 HAS SOUPS 436676 WITH SCORE 437221.317
AT ITER 202 NEW BEST:: SOT 844164 SOS 545164 HAS SOPS 545164 HAS SOUS 436622 HAS SOUPS 436622 WITH SCORE 437167.164
AT ITER 203 NEW BEST:: SOT 843976 SOS 545031 HAS SOPS 545031 HAS SOUS 436489 HAS SOUPS 436489 WITH SCORE 437034.031
AT ITER 204 NEW BEST:: SOT 843976 SOS 544689 HAS SOPS 544689 HAS SOUS 436489 HAS SOUPS 436489 WITH SCORE 437033.689
AT ITER 210 NEW BEST:: SOT 843976 SOS 544627 HAS SOPS 544627 HAS SOUS 436489 HAS SOUPS 436489 WITH SCORE 437033.627
AT ITER 214 NEW BEST:: SOT 843976 SOS 544429 HAS SOPS 544429 HAS SOUS 436489 HAS SOUPS 436489 WITH SCORE 437033.429
AT ITER 215 NEW BEST:: SOT 843976 SOS 543909 HAS SOPS 543909 HAS SOUS 436489 HAS SOUPS 436489 WITH SCORE 437032.909
AT ITER 226 NEW BEST:: SOT 843976 SOS 543635 HAS SOPS 543635 HAS SOUS 436489 HAS SOUPS 436489 WITH SCORE 437032.635
AT ITER 238 NEW BEST:: SOT 843976 SOS 543607 HAS SOPS 543607 HAS SOUS 436489 HAS SOUPS 436489 WITH SCORE 437032.607
AT ITER 239 NEW BEST:: SOT 843976 SOS 543287 HAS SOPS 543287 HAS SOUS 436489 HAS SOUPS 436489 WITH SCORE 437032.287
AT ITER 242 NEW BEST:: SOT 843976 SOS 543027 HAS SOPS 543027 HAS SOUS 436489 HAS SOUPS 436489 WITH SCORE 437032.027
AT ITER 244 NEW BEST:: SOT 843976 SOS 542803 HAS SOPS 542803 HAS SOUS 436419 HAS SOUPS 436419 WITH SCORE 436961.803
AT ITER 249 NEW BEST:: SOT 843976 SOS 542564 HAS SOPS 542564 HAS SOUS 436417 HAS SOUPS 436417 WITH SCORE 436959.564
AT ITER 255 NEW BEST:: SOT 843808 SOS 542773 HAS SOPS 542773 HAS SOUS 436331 HAS SOUPS 436331 WITH SCORE 436873.773
AT ITER 262 NEW BEST:: SOT 843145 SOS 542310 HAS SOPS 542310 HAS SOUS 435967 HAS SOUPS 435967 WITH SCORE 436509.31
AT ITER 267 NEW BEST:: SOT 843145 SOS 541742 HAS SOPS 541742 HAS SOUS 435967 HAS SOUPS 435967 WITH SCORE 436508.742
AT ITER 271 NEW BEST:: SOT 842775 SOS 542111 HAS SOPS 542111 HAS SOUS 435670 HAS SOUPS 435670 WITH SCORE 436212.111
AT ITER 272 NEW BEST:: SOT 842775 SOS 542055 HAS SOPS 542055 HAS SOUS 435670 HAS SOUPS 435670 WITH SCORE 436212.055
AT ITER 279 NEW BEST:: SOT 842775 SOS 541325 HAS SOPS 541325 HAS SOUS 435670 HAS SOUPS 435670 WITH SCORE 436211.325
AT ITER 285 NEW BEST:: SOT 842775 SOS 541325 HAS SOPS 541325 HAS SOUS 435659 HAS SOUPS 435659 WITH SCORE 436200.325
AT ITER 287 NEW BEST:: SOT 842888 SOS 541002 HAS SOPS 541002 HAS SOUS 435440 HAS SOUPS 435440 WITH SCORE 435981.002
AT ITER 288 NEW BEST:: SOT 842847 SOS 540189 HAS SOPS 540189 HAS SOUS 435370 HAS SOUPS 435370 WITH SCORE 435910.189
AT ITER 289 NEW BEST:: SOT 842824 SOS 540166 HAS SOPS 540166 HAS SOUS 435348 HAS SOUPS 435348 WITH SCORE 435888.166
AT ITER 294 NEW BEST:: SOT 842824 SOS 539876 HAS SOPS 539876 HAS SOUS 435348 HAS SOUPS 435348 WITH SCORE 435887.876
AT ITER 299 NEW BEST:: SOT 842824 SOS 539835 HAS SOPS 539835 HAS SOUS 435348 HAS SOUPS 435348 WITH SCORE 435887.835
AT ITER 302 NEW BEST:: SOT 842824 SOS 539752 HAS SOPS 539752 HAS SOUS 435348 HAS SOUPS 435348 WITH SCORE 435887.752
AT ITER 307 NEW BEST:: SOT 842824 SOS 540536 HAS SOPS 540536 HAS SOUS 435174 HAS SOUPS 435174 WITH SCORE 435714.536
AT ITER 308 NEW BEST:: SOT 842824 SOS 537735 HAS SOPS 537735 HAS SOUS 435174 HAS SOUPS 435174 WITH SCORE 435711.735
AT ITER 317 NEW BEST:: SOT 842942 SOS 537740 HAS SOPS 537740 HAS SOUS 435151 HAS SOUPS 435151 WITH SCORE 435688.74
AT ITER 318 NEW BEST:: SOT 842942 SOS 537535 HAS SOPS 537535 HAS SOUS 435151 HAS SOUPS 435151 WITH SCORE 435688.535
AT ITER 320 NEW BEST:: SOT 842942 SOS 528616 HAS SOPS 528616 HAS SOUS 435106 HAS SOUPS 435106 WITH SCORE 435634.616
AT ITER 322 NEW BEST:: SOT 842942 SOS 528603 HAS SOPS 528603 HAS SOUS 435106 HAS SOUPS 435106 WITH SCORE 435634.603
AT ITER 325 NEW BEST:: SOT 842942 SOS 528392 HAS SOPS 528392 HAS SOUS 435106 HAS SOUPS 435106 WITH SCORE 435634.392
AT ITER 327 NEW BEST:: SOT 842947 SOS 528367 HAS SOPS 528367 HAS SOUS 435081 HAS SOUPS 435081 WITH SCORE 435609.367
AT ITER 331 NEW BEST:: SOT 842699 SOS 528436 HAS SOPS 528436 HAS SOUS 434834 HAS SOUPS 434834 WITH SCORE 435362.436
AT ITER 339 NEW BEST:: SOT 842572 SOS 528669 HAS SOPS 528669 HAS SOUS 434763 HAS SOUPS 434763 WITH SCORE 435291.669
AT ITER 340 NEW BEST:: SOT 842572 SOS 528367 HAS SOPS 528367 HAS SOUS 434763 HAS SOUPS 434763 WITH SCORE 435291.367
AT ITER 343 NEW BEST:: SOT 842243 SOS 528318 HAS SOPS 528318 HAS SOUS 434579 HAS SOUPS 434579 WITH SCORE 435107.318
AT ITER 344 NEW BEST:: SOT 842243 SOS 527070 HAS SOPS 527070 HAS SOUS 434579 HAS SOUPS 434579 WITH SCORE 435106.07
AT ITER 351 NEW BEST:: SOT 842243 SOS 526878 HAS SOPS 526878 HAS SOUS 434552 HAS SOUPS 434552 WITH SCORE 435078.878
AT ITER 355 NEW BEST:: SOT 842243 SOS 526337 HAS SOPS 526337 HAS SOUS 434552 HAS SOUPS 434552 WITH SCORE 435078.337
AT ITER 356 NEW BEST:: SOT 842243 SOS 525914 HAS SOPS 525914 HAS SOUS 434552 HAS SOUPS 434552 WITH SCORE 435077.914
AT ITER 357 NEW BEST:: SOT 842194 SOS 525720 HAS SOPS 525720 HAS SOUS 434506 HAS SOUPS 434506 WITH SCORE 435031.72
AT ITER 360 NEW BEST:: SOT 842194 SOS 525177 HAS SOPS 525177 HAS SOUS 434506 HAS SOUPS 434506 WITH SCORE 435031.177
AT ITER 361 NEW BEST:: SOT 842194 SOS 525177 HAS SOPS 525177 HAS SOUS 434481 HAS SOUPS 434481 WITH SCORE 435006.177
AT ITER 366 NEW BEST:: SOT 841897 SOS 534866 HAS SOPS 534866 HAS SOUS 434204 HAS SOUPS 434204 WITH SCORE 434738.866
AT ITER 367 NEW BEST:: SOT 841897 SOS 534795 HAS SOPS 534795 HAS SOUS 434204 HAS SOUPS 434204 WITH SCORE 434738.795
AT ITER 368 NEW BEST:: SOT 841685 SOS 534636 HAS SOPS 534636 HAS SOUS 434064 HAS SOUPS 434064 WITH SCORE 434598.636
AT ITER 373 NEW BEST:: SOT 841680 SOS 534631 HAS SOPS 534631 HAS SOUS 434062 HAS SOUPS 434062 WITH SCORE 434596.631
AT ITER 375 NEW BEST:: SOT 841680 SOS 534547 HAS SOPS 534547 HAS SOUS 434062 HAS SOUPS 434062 WITH SCORE 434596.547
AT ITER 378 NEW BEST:: SOT 841680 SOS 534536 HAS SOPS 534536 HAS SOUS 434062 HAS SOUPS 434062 WITH SCORE 434596.536
AT ITER 385 NEW BEST:: SOT 841621 SOS 534450 HAS SOPS 534450 HAS SOUS 434017 HAS SOUPS 434017 WITH SCORE 434551.45
AT ITER 387 NEW BEST:: SOT 841416 SOS 537349 HAS SOPS 537349 HAS SOUS 433835 HAS SOUPS 433835 WITH SCORE 434372.349
AT ITER 389 NEW BEST:: SOT 841236 SOS 537165 HAS SOPS 537165 HAS SOUS 433647 HAS SOUPS 433647 WITH SCORE 434184.165
AT ITER 392 NEW BEST:: SOT 840776 SOS 537924 HAS SOPS 537924 HAS SOUS 433613 HAS SOUPS 433613 WITH SCORE 434150.924
AT ITER 393 NEW BEST:: SOT 840776 SOS 537645 HAS SOPS 537645 HAS SOUS 433613 HAS SOUPS 433613 WITH SCORE 434150.645
AT ITER 398 NEW BEST:: SOT 840776 SOS 537308 HAS SOPS 537308 HAS SOUS 433613 HAS SOUPS 433613 WITH SCORE 434150.308
AT ITER 401 NEW BEST:: SOT 840776 SOS 536954 HAS SOPS 536954 HAS SOUS 433613 HAS SOUPS 433613 WITH SCORE 434149.954
AT ITER 404 NEW BEST:: SOT 840776 SOS 536939 HAS SOPS 536939 HAS SOUS 433613 HAS SOUPS 433613 WITH SCORE 434149.939
AT ITER 407 NEW BEST:: SOT 840776 SOS 536919 HAS SOPS 536919 HAS SOUS 433613 HAS SOUPS 433613 WITH SCORE 434149.919
AT ITER 410 NEW BEST:: SOT 840650 SOS 537045 HAS SOPS 537045 HAS SOUS 433598 HAS SOUPS 433598 WITH SCORE 434135.045
AT ITER 415 NEW BEST:: SOT 840650 SOS 536905 HAS SOPS 536905 HAS SOUS 433598 HAS SOUPS 433598 WITH SCORE 434134.905
AT ITER 422 NEW BEST:: SOT 840229 SOS 536579 HAS SOPS 536579 HAS SOUS 433226 HAS SOUPS 433226 WITH SCORE 433762.579
AT ITER 424 NEW BEST:: SOT 840229 SOS 536348 HAS SOPS 536348 HAS SOUS 433226 HAS SOUPS 433226 WITH SCORE 433762.348
AT ITER 430 NEW BEST:: SOT 840229 SOS 536265 HAS SOPS 536265 HAS SOUS 433226 HAS SOUPS 433226 WITH SCORE 433762.265
AT ITER 433 NEW BEST:: SOT 840194 SOS 536127 HAS SOPS 536127 HAS SOUS 433191 HAS SOUPS 433191 WITH SCORE 433727.127
AT ITER 439 NEW BEST:: SOT 840194 SOS 535753 HAS SOPS 535753 HAS SOUS 433191 HAS SOUPS 433191 WITH SCORE 433726.753
AT ITER 441 NEW BEST:: SOT 840194 SOS 535597 HAS SOPS 535597 HAS SOUS 433191 HAS SOUPS 433191 WITH SCORE 433726.597
AT ITER 442 NEW BEST:: SOT 840194 SOS 535476 HAS SOPS 535476 HAS SOUS 433191 HAS SOUPS 433191 WITH SCORE 433726.476
AT ITER 443 NEW BEST:: SOT 840194 SOS 535463 HAS SOPS 535463 HAS SOUS 433191 HAS SOUPS 433191 WITH SCORE 433726.463
AT ITER 446 NEW BEST:: SOT 840164 SOS 535422 HAS SOPS 535422 HAS SOUS 433157 HAS SOUPS 433157 WITH SCORE 433692.422
AT ITER 447 NEW BEST:: SOT 840164 SOS 535418 HAS SOPS 535418 HAS SOUS 433157 HAS SOUPS 433157 WITH SCORE 433692.418
AT ITER 452 NEW BEST:: SOT 840164 SOS 535155 HAS SOPS 535155 HAS SOUS 433157 HAS SOUPS 433157 WITH SCORE 433692.155
AT ITER 454 NEW BEST:: SOT 840164 SOS 534950 HAS SOPS 534950 HAS SOUS 433157 HAS SOUPS 433157 WITH SCORE 433691.95
AT ITER 455 NEW BEST:: SOT 840164 SOS 534920 HAS SOPS 534920 HAS SOUS 433127 HAS SOUPS 433127 WITH SCORE 433661.92
AT ITER 459 NEW BEST:: SOT 840164 SOS 534652 HAS SOPS 534652 HAS SOUS 433127 HAS SOUPS 433127 WITH SCORE 433661.652
AT ITER 460 NEW BEST:: SOT 840164 SOS 534540 HAS SOPS 534540 HAS SOUS 433106 HAS SOUPS 433106 WITH SCORE 433640.54
AT ITER 461 NEW BEST:: SOT 840146 SOS 534542 HAS SOPS 534542 HAS SOUS 433063 HAS SOUPS 433063 WITH SCORE 433597.542
AT ITER 462 NEW BEST:: SOT 840146 SOS 534381 HAS SOPS 534381 HAS SOUS 433063 HAS SOUPS 433063 WITH SCORE 433597.381
AT ITER 466 NEW BEST:: SOT 839502 SOS 535595 HAS SOPS 535595 HAS SOUS 432458 HAS SOUPS 432458 WITH SCORE 432993.595
AT ITER 469 NEW BEST:: SOT 839157 SOS 537353 HAS SOPS 537353 HAS SOUS 432132 HAS SOUPS 432132 WITH SCORE 432669.353
AT ITER 470 NEW BEST:: SOT 839157 SOS 536949 HAS SOPS 536949 HAS SOUS 432132 HAS SOUPS 432132 WITH SCORE 432668.949
AT ITER 472 NEW BEST:: SOT 838950 SOS 536742 HAS SOPS 536742 HAS SOUS 431925 HAS SOUPS 431925 WITH SCORE 432461.742
AT ITER 478 NEW BEST:: SOT 838950 SOS 529145 HAS SOPS 529145 HAS SOUS 431881 HAS SOUPS 431881 WITH SCORE 432410.145
AT ITER 485 NEW BEST:: SOT 838950 SOS 529069 HAS SOPS 529069 HAS SOUS 431881 HAS SOUPS 431881 WITH SCORE 432410.069
AT ITER 486 NEW BEST:: SOT 838950 SOS 528828 HAS SOPS 528828 HAS SOUS 431881 HAS SOUPS 431881 WITH SCORE 432409.828
AT ITER 492 NEW BEST:: SOT 838950 SOS 528709 HAS SOPS 528709 HAS SOUS 431881 HAS SOUPS 431881 WITH SCORE 432409.709
AT ITER 501 NEW BEST:: SOT 838950 SOS 525621 HAS SOPS 525621 HAS SOUS 431881 HAS SOUPS 431881 WITH SCORE 432406.621
AT ITER 502 NEW BEST:: SOT 838950 SOS 525256 HAS SOPS 525256 HAS SOUS 431868 HAS SOUPS 431868 WITH SCORE 432393.256
AT ITER 503 NEW BEST:: SOT 838941 SOS 525050 HAS SOPS 525050 HAS SOUS 431668 HAS SOUPS 431668 WITH SCORE 432193.05
AT ITER 508 NEW BEST:: SOT 839063 SOS 524888 HAS SOPS 524888 HAS SOUS 431493 HAS SOUPS 431493 WITH SCORE 432017.888
AT ITER 512 NEW BEST:: SOT 839019 SOS 524844 HAS SOPS 524844 HAS SOUS 431441 HAS SOUPS 431441 WITH SCORE 431965.844
AT ITER 518 NEW BEST:: SOT 839019 SOS 524513 HAS SOPS 524513 HAS SOUS 431399 HAS SOUPS 431399 WITH SCORE 431923.513
AT ITER 527 NEW BEST:: SOT 838963 SOS 524458 HAS SOPS 524458 HAS SOUS 431344 HAS SOUPS 431344 WITH SCORE 431868.458
AT ITER 533 NEW BEST:: SOT 838963 SOS 524205 HAS SOPS 524205 HAS SOUS 431344 HAS SOUPS 431344 WITH SCORE 431868.205
AT ITER 537 NEW BEST:: SOT 838305 SOS 524671 HAS SOPS 524671 HAS SOUS 430778 HAS SOUPS 430778 WITH SCORE 431302.671
AT ITER 542 NEW BEST:: SOT 838433 SOS 524616 HAS SOPS 524616 HAS SOUS 430734 HAS SOUPS 430734 WITH SCORE 431258.616
AT ITER 543 NEW BEST:: SOT 838433 SOS 524431 HAS SOPS 524431 HAS SOUS 430734 HAS SOUPS 430734 WITH SCORE 431258.431
AT ITER 545 NEW BEST:: SOT 838085 SOS 524448 HAS SOPS 524448 HAS SOUS 430642 HAS SOUPS 430642 WITH SCORE 431166.448
AT ITER 546 NEW BEST:: SOT 838085 SOS 523407 HAS SOPS 523407 HAS SOUS 430642 HAS SOUPS 430642 WITH SCORE 431165.407
AT ITER 552 NEW BEST:: SOT 838085 SOS 523275 HAS SOPS 523275 HAS SOUS 430554 HAS SOUPS 430554 WITH SCORE 431077.275
AT ITER 556 NEW BEST:: SOT 838085 SOS 519977 HAS SOPS 519977 HAS SOUS 430554 HAS SOUPS 430554 WITH SCORE 431073.977
AT ITER 560 NEW BEST:: SOT 838051 SOS 519979 HAS SOPS 519979 HAS SOUS 430548 HAS SOUPS 430548 WITH SCORE 431067.979
AT ITER 563 NEW BEST:: SOT 838051 SOS 519647 HAS SOPS 519647 HAS SOUS 430548 HAS SOUPS 430548 WITH SCORE 431067.647
AT ITER 564 NEW BEST:: SOT 837375 SOS 518963 HAS SOPS 518963 HAS SOUS 429862 HAS SOUPS 429862 WITH SCORE 430380.963
AT ITER 565 NEW BEST:: SOT 837375 SOS 518681 HAS SOPS 518681 HAS SOUS 429862 HAS SOUPS 429862 WITH SCORE 430380.681
AT ITER 574 NEW BEST:: SOT 837112 SOS 518631 HAS SOPS 518631 HAS SOUS 429652 HAS SOUPS 429652 WITH SCORE 430170.631
AT ITER 575 NEW BEST:: SOT 837112 SOS 518533 HAS SOPS 518533 HAS SOUS 429652 HAS SOUPS 429652 WITH SCORE 430170.533
AT ITER 580 NEW BEST:: SOT 837112 SOS 518318 HAS SOPS 518318 HAS SOUS 429652 HAS SOUPS 429652 WITH SCORE 430170.318
AT ITER 597 NEW BEST:: SOT 837112 SOS 518176 HAS SOPS 518176 HAS SOUS 429630 HAS SOUPS 429630 WITH SCORE 430148.176
AT ITER 598 NEW BEST:: SOT 837112 SOS 518006 HAS SOPS 518006 HAS SOUS 429630 HAS SOUPS 429630 WITH SCORE 430148.006
AT ITER 600 NEW BEST:: SOT 837045 SOS 517622 HAS SOPS 517622 HAS SOUS 429627 HAS SOUPS 429627 WITH SCORE 430144.622
AT ITER 607 NEW BEST:: SOT 837134 SOS 518129 HAS SOPS 518129 HAS SOUS 429564 HAS SOUPS 429564 WITH SCORE 430082.129
AT ITER 609 NEW BEST:: SOT 837134 SOS 518086 HAS SOPS 518086 HAS SOUS 429564 HAS SOUPS 429564 WITH SCORE 430082.086
AT ITER 613 NEW BEST:: SOT 837134 SOS 517718 HAS SOPS 517718 HAS SOUS 429564 HAS SOUPS 429564 WITH SCORE 430081.718
AT ITER 616 NEW BEST:: SOT 837258 SOS 517265 HAS SOPS 517265 HAS SOUS 429072 HAS SOUPS 429072 WITH SCORE 429589.265
AT ITER 620 NEW BEST:: SOT 837258 SOS 516757 HAS SOPS 516757 HAS SOUS 429072 HAS SOUPS 429072 WITH SCORE 429588.757
AT ITER 623 NEW BEST:: SOT 837258 SOS 516719 HAS SOPS 516719 HAS SOUS 429072 HAS SOUPS 429072 WITH SCORE 429588.719
AT ITER 627 NEW BEST:: SOT 837258 SOS 516478 HAS SOPS 516478 HAS SOUS 429072 HAS SOUPS 429072 WITH SCORE 429588.478
AT ITER 630 NEW BEST:: SOT 837258 SOS 516446 HAS SOPS 516446 HAS SOUS 429072 HAS SOUPS 429072 WITH SCORE 429588.446
AT ITER 631 NEW BEST:: SOT 837258 SOS 516391 HAS SOPS 516391 HAS SOUS 429072 HAS SOUPS 429072 WITH SCORE 429588.391
AT ITER 635 NEW BEST:: SOT 837258 SOS 515982 HAS SOPS 515982 HAS SOUS 429072 HAS SOUPS 429072 WITH SCORE 429587.982
AT ITER 638 NEW BEST:: SOT 837258 SOS 515814 HAS SOPS 515814 HAS SOUS 429072 HAS SOUPS 429072 WITH SCORE 429587.814
AT ITER 639 NEW BEST:: SOT 836833 SOS 516734 HAS SOPS 516734 HAS SOUS 428782 HAS SOUPS 428782 WITH SCORE 429298.734
AT ITER 646 NEW BEST:: SOT 836833 SOS 516296 HAS SOPS 516296 HAS SOUS 428782 HAS SOUPS 428782 WITH SCORE 429298.296
AT ITER 652 NEW BEST:: SOT 836372 SOS 515992 HAS SOPS 515992 HAS SOUS 428646 HAS SOUPS 428646 WITH SCORE 429161.992
AT ITER 655 NEW BEST:: SOT 836059 SOS 518776 HAS SOPS 518776 HAS SOUS 428540 HAS SOUPS 428540 WITH SCORE 429058.776
AT ITER 662 NEW BEST:: SOT 835405 SOS 518464 HAS SOPS 518464 HAS SOUS 428012 HAS SOUPS 428012 WITH SCORE 428530.464
AT ITER 663 NEW BEST:: SOT 835405 SOS 518382 HAS SOPS 518382 HAS SOUS 428012 HAS SOUPS 428012 WITH SCORE 428530.382
AT ITER 666 NEW BEST:: SOT 835405 SOS 517737 HAS SOPS 517737 HAS SOUS 427880 HAS SOUPS 427880 WITH SCORE 428397.737
AT ITER 669 NEW BEST:: SOT 835405 SOS 517583 HAS SOPS 517583 HAS SOUS 427880 HAS SOUPS 427880 WITH SCORE 428397.583
AT ITER 672 NEW BEST:: SOT 835418 SOS 517575 HAS SOPS 517575 HAS SOUS 427859 HAS SOUPS 427859 WITH SCORE 428376.575
AT ITER 673 NEW BEST:: SOT 835418 SOS 517218 HAS SOPS 517218 HAS SOUS 427859 HAS SOUPS 427859 WITH SCORE 428376.218
AT ITER 674 NEW BEST:: SOT 835418 SOS 516996 HAS SOPS 516996 HAS SOUS 427859 HAS SOUPS 427859 WITH SCORE 428375.996
AT ITER 681 NEW BEST:: SOT 835392 SOS 517281 HAS SOPS 517281 HAS SOUS 427778 HAS SOUPS 427778 WITH SCORE 428295.281
AT ITER 684 NEW BEST:: SOT 835224 SOS 517250 HAS SOPS 517250 HAS SOUS 427650 HAS SOUPS 427650 WITH SCORE 428167.25
AT ITER 686 NEW BEST:: SOT 835224 SOS 517117 HAS SOPS 517117 HAS SOUS 427650 HAS SOUPS 427650 WITH SCORE 428167.117
AT ITER 690 NEW BEST:: SOT 835224 SOS 516769 HAS SOPS 516769 HAS SOUS 427650 HAS SOUPS 427650 WITH SCORE 428166.769
AT ITER 692 NEW BEST:: SOT 835224 SOS 516764 HAS SOPS 516764 HAS SOUS 427650 HAS SOUPS 427650 WITH SCORE 428166.764
AT ITER 698 NEW BEST:: SOT 835224 SOS 516653 HAS SOPS 516653 HAS SOUS 427650 HAS SOUPS 427650 WITH SCORE 428166.653
AT ITER 700 NEW BEST:: SOT 835224 SOS 516596 HAS SOPS 516596 HAS SOUS 427623 HAS SOUPS 427623 WITH SCORE 428139.596
AT ITER 703 NEW BEST:: SOT 835224 SOS 516316 HAS SOPS 516316 HAS SOUS 427573 HAS SOUPS 427573 WITH SCORE 428089.316
AT ITER 705 NEW BEST:: SOT 835224 SOS 516069 HAS SOPS 516069 HAS SOUS 427573 HAS SOUPS 427573 WITH SCORE 428089.069
AT ITER 709 NEW BEST:: SOT 835224 SOS 515995 HAS SOPS 515995 HAS SOUS 427544 HAS SOUPS 427544 WITH SCORE 428059.995
AT ITER 720 NEW BEST:: SOT 835224 SOS 515939 HAS SOPS 515939 HAS SOUS 427544 HAS SOUPS 427544 WITH SCORE 428059.939
AT ITER 722 NEW BEST:: SOT 835224 SOS 509912 HAS SOPS 509912 HAS SOUS 427544 HAS SOUPS 427544 WITH SCORE 428053.912
AT ITER 723 NEW BEST:: SOT 835224 SOS 509472 HAS SOPS 509472 HAS SOUS 427544 HAS SOUPS 427544 WITH SCORE 428053.472
AT ITER 725 NEW BEST:: SOT 835224 SOS 509407 HAS SOPS 509407 HAS SOUS 427544 HAS SOUPS 427544 WITH SCORE 428053.407
AT ITER 731 NEW BEST:: SOT 835234 SOS 509417 HAS SOPS 509417 HAS SOUS 427528 HAS SOUPS 427528 WITH SCORE 428037.417
AT ITER 732 NEW BEST:: SOT 835234 SOS 509017 HAS SOPS 509017 HAS SOUS 427528 HAS SOUPS 427528 WITH SCORE 428037.017
AT ITER 734 NEW BEST:: SOT 835234 SOS 508996 HAS SOPS 508996 HAS SOUS 427528 HAS SOUPS 427528 WITH SCORE 428036.996
AT ITER 736 NEW BEST:: SOT 835234 SOS 505117 HAS SOPS 505117 HAS SOUS 427528 HAS SOUPS 427528 WITH SCORE 428033.117
AT ITER 739 NEW BEST:: SOT 835234 SOS 505117 HAS SOPS 505117 HAS SOUS 427503 HAS SOUPS 427503 WITH SCORE 428008.117
AT ITER 742 NEW BEST:: SOT 835344 SOS 505227 HAS SOPS 505227 HAS SOUS 427498 HAS SOUPS 427498 WITH SCORE 428003.227
AT ITER 756 NEW BEST:: SOT 835344 SOS 505227 HAS SOPS 505227 HAS SOUS 427488 HAS SOUPS 427488 WITH SCORE 427993.227
AT ITER 760 NEW BEST:: SOT 835021 SOS 507844 HAS SOPS 507844 HAS SOUS 427481 HAS SOUPS 427481 WITH SCORE 427988.844
AT ITER 768 NEW BEST:: SOT 835021 SOS 507786 HAS SOPS 507786 HAS SOUS 427481 HAS SOUPS 427481 WITH SCORE 427988.786
AT ITER 769 NEW BEST:: SOT 835021 SOS 505426 HAS SOPS 505426 HAS SOUS 427411 HAS SOUPS 427411 WITH SCORE 427916.426
AT ITER 774 NEW BEST:: SOT 834547 SOS 508159 HAS SOPS 508159 HAS SOUS 427194 HAS SOUPS 427194 WITH SCORE 427702.159
AT ITER 776 NEW BEST:: SOT 834547 SOS 507976 HAS SOPS 507976 HAS SOUS 427191 HAS SOUPS 427191 WITH SCORE 427698.976
AT ITER 778 NEW BEST:: SOT 834547 SOS 507894 HAS SOPS 507894 HAS SOUS 427191 HAS SOUPS 427191 WITH SCORE 427698.894
AT ITER 786 NEW BEST:: SOT 834516 SOS 507835 HAS SOPS 507835 HAS SOUS 427120 HAS SOUPS 427120 WITH SCORE 427627.835
AT ITER 790 NEW BEST:: SOT 834516 SOS 507776 HAS SOPS 507776 HAS SOUS 427120 HAS SOUPS 427120 WITH SCORE 427627.776
AT ITER 795 NEW BEST:: SOT 834516 SOS 507776 HAS SOPS 507776 HAS SOUS 427113 HAS SOUPS 427113 WITH SCORE 427620.776
AT ITER 801 NEW BEST:: SOT 834530 SOS 507790 HAS SOPS 507790 HAS SOUS 427042 HAS SOUPS 427042 WITH SCORE 427549.79
AT ITER 804 NEW BEST:: SOT 834530 SOS 507168 HAS SOPS 507168 HAS SOUS 427042 HAS SOUPS 427042 WITH SCORE 427549.168
AT ITER 805 NEW BEST:: SOT 834530 SOS 507164 HAS SOPS 507164 HAS SOUS 427042 HAS SOUPS 427042 WITH SCORE 427549.164
AT ITER 813 NEW BEST:: SOT 834530 SOS 507015 HAS SOPS 507015 HAS SOUS 427042 HAS SOUPS 427042 WITH SCORE 427549.015
AT ITER 814 NEW BEST:: SOT 833859 SOS 506537 HAS SOPS 506537 HAS SOUS 426486 HAS SOUPS 426486 WITH SCORE 426992.537
AT ITER 815 NEW BEST:: SOT 833859 SOS 506467 HAS SOPS 506467 HAS SOUS 426486 HAS SOUPS 426486 WITH SCORE 426992.467
AT ITER 816 NEW BEST:: SOT 833295 SOS 505945 HAS SOPS 505945 HAS SOUS 425949 HAS SOUPS 425949 WITH SCORE 426454.945
AT ITER 820 NEW BEST:: SOT 833295 SOS 505879 HAS SOPS 505879 HAS SOUS 425949 HAS SOUPS 425949 WITH SCORE 426454.879
AT ITER 823 NEW BEST:: SOT 833295 SOS 505727 HAS SOPS 505727 HAS SOUS 425949 HAS SOUPS 425949 WITH SCORE 426454.727
AT ITER 828 NEW BEST:: SOT 833295 SOS 505671 HAS SOPS 505671 HAS SOUS 425949 HAS SOUPS 425949 WITH SCORE 426454.671
AT ITER 829 NEW BEST:: SOT 832741 SOS 509290 HAS SOPS 509290 HAS SOUS 425407 HAS SOUPS 425407 WITH SCORE 425916.29
AT ITER 830 NEW BEST:: SOT 832741 SOS 508947 HAS SOPS 508947 HAS SOUS 425407 HAS SOUPS 425407 WITH SCORE 425915.947
AT ITER 837 NEW BEST:: SOT 832030 SOS 510129 HAS SOPS 510129 HAS SOUS 424921 HAS SOUPS 424921 WITH SCORE 425431.129
AT ITER 838 NEW BEST:: SOT 832030 SOS 510086 HAS SOPS 510086 HAS SOUS 424921 HAS SOUPS 424921 WITH SCORE 425431.086
AT ITER 839 NEW BEST:: SOT 832030 SOS 509886 HAS SOPS 509886 HAS SOUS 424921 HAS SOUPS 424921 WITH SCORE 425430.886
AT ITER 845 NEW BEST:: SOT 832030 SOS 510062 HAS SOPS 510062 HAS SOUS 424892 HAS SOUPS 424892 WITH SCORE 425402.062
AT ITER 846 NEW BEST:: SOT 832059 SOS 510336 HAS SOPS 510336 HAS SOUS 424805 HAS SOUPS 424805 WITH SCORE 425315.336
AT ITER 852 NEW BEST:: SOT 832059 SOS 505949 HAS SOPS 505949 HAS SOUS 424805 HAS SOUPS 424805 WITH SCORE 425310.949
AT ITER 854 NEW BEST:: SOT 832059 SOS 505933 HAS SOPS 505933 HAS SOUS 424805 HAS SOUPS 424805 WITH SCORE 425310.933
AT ITER 855 NEW BEST:: SOT 832061 SOS 505763 HAS SOPS 505763 HAS SOUS 424799 HAS SOUPS 424799 WITH SCORE 425304.763
AT ITER 865 NEW BEST:: SOT 832061 SOS 505371 HAS SOPS 505371 HAS SOUS 424704 HAS SOUPS 424704 WITH SCORE 425209.371
AT ITER 871 NEW BEST:: SOT 832061 SOS 504821 HAS SOPS 504821 HAS SOUS 424585 HAS SOUPS 424585 WITH SCORE 425089.821
AT ITER 874 NEW BEST:: SOT 832061 SOS 504598 HAS SOPS 504598 HAS SOUS 424585 HAS SOUPS 424585 WITH SCORE 425089.598
AT ITER 880 NEW BEST:: SOT 832061 SOS 504506 HAS SOPS 504506 HAS SOUS 424585 HAS SOUPS 424585 WITH SCORE 425089.506
AT ITER 882 NEW BEST:: SOT 832061 SOS 504464 HAS SOPS 504464 HAS SOUS 424585 HAS SOUPS 424585 WITH SCORE 425089.464
AT ITER 888 NEW BEST:: SOT 832061 SOS 504226 HAS SOPS 504226 HAS SOUS 424585 HAS SOUPS 424585 WITH SCORE 425089.226
AT ITER 891 NEW BEST:: SOT 832061 SOS 504220 HAS SOPS 504220 HAS SOUS 424585 HAS SOUPS 424585 WITH SCORE 425089.22
AT ITER 893 NEW BEST:: SOT 832043 SOS 504126 HAS SOPS 504126 HAS SOUS 424574 HAS SOUPS 424574 WITH SCORE 425078.126
AT ITER 902 NEW BEST:: SOT 832043 SOS 503641 HAS SOPS 503641 HAS SOUS 424574 HAS SOUPS 424574 WITH SCORE 425077.641
AT ITER 904 NEW BEST:: SOT 832043 SOS 503618 HAS SOPS 503618 HAS SOUS 424574 HAS SOUPS 424574 WITH SCORE 425077.618
AT ITER 913 NEW BEST:: SOT 832043 SOS 503416 HAS SOPS 503416 HAS SOUS 424574 HAS SOUPS 424574 WITH SCORE 425077.416
AT ITER 914 NEW BEST:: SOT 832043 SOS 503385 HAS SOPS 503385 HAS SOUS 424574 HAS SOUPS 424574 WITH SCORE 425077.385
AT ITER 918 NEW BEST:: SOT 832043 SOS 503262 HAS SOPS 503262 HAS SOUS 424574 HAS SOUPS 424574 WITH SCORE 425077.262
AT ITER 922 NEW BEST:: SOT 832043 SOS 503241 HAS SOPS 503241 HAS SOUS 424574 HAS SOUPS 424574 WITH SCORE 425077.241
AT ITER 925 NEW BEST:: SOT 832043 SOS 502930 HAS SOPS 502930 HAS SOUS 424574 HAS SOUPS 424574 WITH SCORE 425076.93
AT ITER 926 NEW BEST:: SOT 832043 SOS 502923 HAS SOPS 502923 HAS SOUS 424574 HAS SOUPS 424574 WITH SCORE 425076.923
AT ITER 927 NEW BEST:: SOT 832043 SOS 502732 HAS SOPS 502732 HAS SOUS 424574 HAS SOUPS 424574 WITH SCORE 425076.732
AT ITER 932 NEW BEST:: SOT 832043 SOS 502562 HAS SOPS 502562 HAS SOUS 424574 HAS SOUPS 424574 WITH SCORE 425076.562
AT ITER 934 NEW BEST:: SOT 832043 SOS 502518 HAS SOPS 502518 HAS SOUS 424574 HAS SOUPS 424574 WITH SCORE 425076.518
AT ITER 937 NEW BEST:: SOT 832043 SOS 502197 HAS SOPS 502197 HAS SOUS 424574 HAS SOUPS 424574 WITH SCORE 425076.197
AT ITER 944 NEW BEST:: SOT 832043 SOS 501838 HAS SOPS 501838 HAS SOUS 424574 HAS SOUPS 424574 WITH SCORE 425075.838
AT ITER 945 NEW BEST:: SOT 832177 SOS 501696 HAS SOPS 501696 HAS SOUS 424544 HAS SOUPS 424544 WITH SCORE 425045.696
AT ITER 947 NEW BEST:: SOT 832177 SOS 501502 HAS SOPS 501502 HAS SOUS 424544 HAS SOUPS 424544 WITH SCORE 425045.502
AT ITER 952 NEW BEST:: SOT 832177 SOS 498559 HAS SOPS 498559 HAS SOUS 424483 HAS SOUPS 424483 WITH SCORE 424981.559
AT ITER 953 NEW BEST:: SOT 832177 SOS 498354 HAS SOPS 498354 HAS SOUS 424483 HAS SOUPS 424483 WITH SCORE 424981.354
AT ITER 954 NEW BEST:: SOT 832177 SOS 498192 HAS SOPS 498192 HAS SOUS 424483 HAS SOUPS 424483 WITH SCORE 424981.192
AT ITER 960 NEW BEST:: SOT 832177 SOS 497954 HAS SOPS 497954 HAS SOUS 424483 HAS SOUPS 424483 WITH SCORE 424980.954
AT ITER 965 NEW BEST:: SOT 832177 SOS 497788 HAS SOPS 497788 HAS SOUS 424483 HAS SOUPS 424483 WITH SCORE 424980.788
AT ITER 968 NEW BEST:: SOT 831613 SOS 497241 HAS SOPS 497241 HAS SOUS 424036 HAS SOUPS 424036 WITH SCORE 424533.241
AT ITER 970 NEW BEST:: SOT 831613 SOS 496153 HAS SOPS 496153 HAS SOUS 423981 HAS SOUPS 423981 WITH SCORE 424477.153
AT ITER 972 NEW BEST:: SOT 831043 SOS 495707 HAS SOPS 495707 HAS SOUS 423587 HAS SOUPS 423587 WITH SCORE 424082.707
AT ITER 976 NEW BEST:: SOT 831059 SOS 495177 HAS SOPS 495177 HAS SOUS 423248 HAS SOUPS 423248 WITH SCORE 423743.177
AT ITER 984 NEW BEST:: SOT 831059 SOS 495145 HAS SOPS 495145 HAS SOUS 423248 HAS SOUPS 423248 WITH SCORE 423743.145
AT ITER 986 NEW BEST:: SOT 831059 SOS 494693 HAS SOPS 494693 HAS SOUS 423226 HAS SOUPS 423226 WITH SCORE 423720.693
AT ITER 988 NEW BEST:: SOT 831059 SOS 494194 HAS SOPS 494194 HAS SOUS 423226 HAS SOUPS 423226 WITH SCORE 423720.194
AT ITER 990 NEW BEST:: SOT 830990 SOS 494177 HAS SOPS 494177 HAS SOUS 423157 HAS SOUPS 423157 WITH SCORE 423651.177
AT ITER 992 NEW BEST:: SOT 830990 SOS 493918 HAS SOPS 493918 HAS SOUS 423157 HAS SOUPS 423157 WITH SCORE 423650.918
AT ITER 1018 NEW BEST:: SOT 830990 SOS 493826 HAS SOPS 493826 HAS SOUS 423119 HAS SOUPS 423119 WITH SCORE 423612.826
AT ITER 1026 NEW BEST:: SOT 831083 SOS 494103 HAS SOPS 494103 HAS SOUS 422950 HAS SOUPS 422950 WITH SCORE 423444.103
AT ITER 1028 NEW BEST:: SOT 831083 SOS 494077 HAS SOPS 494077 HAS SOUS 422950 HAS SOUPS 422950 WITH SCORE 423444.077
AT ITER 1043 NEW BEST:: SOT 831083 SOS 493961 HAS SOPS 493961 HAS SOUS 422834 HAS SOUPS 422834 WITH SCORE 423327.961
AT ITER 1048 NEW BEST:: SOT 831083 SOS 492773 HAS SOPS 492773 HAS SOUS 422834 HAS SOUPS 422834 WITH SCORE 423326.773
AT ITER 1049 NEW BEST:: SOT 830827 SOS 493044 HAS SOPS 493044 HAS SOUS 422578 HAS SOUPS 422578 WITH SCORE 423071.044
AT ITER 1059 NEW BEST:: SOT 830827 SOS 492411 HAS SOPS 492411 HAS SOUS 422578 HAS SOUPS 422578 WITH SCORE 423070.411
AT ITER 1060 NEW BEST:: SOT 830827 SOS 490654 HAS SOPS 490654 HAS SOUS 422496 HAS SOUPS 422496 WITH SCORE 422986.654
AT ITER 1067 NEW BEST:: SOT 830827 SOS 490625 HAS SOPS 490625 HAS SOUS 422496 HAS SOUPS 422496 WITH SCORE 422986.625
AT ITER 1070 NEW BEST:: SOT 830228 SOS 490124 HAS SOPS 490124 HAS SOUS 422076 HAS SOUPS 422076 WITH SCORE 422566.124
AT ITER 1074 NEW BEST:: SOT 829708 SOS 489769 HAS SOPS 489769 HAS SOUS 421649 HAS SOUPS 421649 WITH SCORE 422138.769
AT ITER 1080 NEW BEST:: SOT 829704 SOS 489763 HAS SOPS 489763 HAS SOUS 421645 HAS SOUPS 421645 WITH SCORE 422134.763
AT ITER 1081 NEW BEST:: SOT 829704 SOS 489754 HAS SOPS 489754 HAS SOUS 421645 HAS SOUPS 421645 WITH SCORE 422134.754
AT ITER 1091 NEW BEST:: SOT 829219 SOS 489437 HAS SOPS 489437 HAS SOUS 421210 HAS SOUPS 421210 WITH SCORE 421699.437
AT ITER 1094 NEW BEST:: SOT 829020 SOS 489198 HAS SOPS 489198 HAS SOUS 420988 HAS SOUPS 420988 WITH SCORE 421477.198
AT ITER 1095 NEW BEST:: SOT 828423 SOS 489507 HAS SOPS 489507 HAS SOUS 420546 HAS SOUPS 420546 WITH SCORE 421035.507
AT ITER 1096 NEW BEST:: SOT 828423 SOS 489134 HAS SOPS 489134 HAS SOUS 420546 HAS SOUPS 420546 WITH SCORE 421035.134
AT ITER 1103 NEW BEST:: SOT 827894 SOS 490617 HAS SOPS 490617 HAS SOUS 420207 HAS SOUPS 420207 WITH SCORE 420697.617
AT ITER 1106 NEW BEST:: SOT 827570 SOS 493201 HAS SOPS 493201 HAS SOUS 419994 HAS SOUPS 419994 WITH SCORE 420487.201
AT ITER 1107 NEW BEST:: SOT 827570 SOS 486028 HAS SOPS 486028 HAS SOUS 419957 HAS SOUPS 419957 WITH SCORE 420443.028
AT ITER 1109 NEW BEST:: SOT 827557 SOS 486015 HAS SOPS 486015 HAS SOUS 419944 HAS SOUPS 419944 WITH SCORE 420430.015
AT ITER 1110 NEW BEST:: SOT 827557 SOS 486004 HAS SOPS 486004 HAS SOUS 419944 HAS SOUPS 419944 WITH SCORE 420430.004
AT ITER 1112 NEW BEST:: SOT 827557 SOS 485902 HAS SOPS 485902 HAS SOUS 419944 HAS SOUPS 419944 WITH SCORE 420429.902
AT ITER 1120 NEW BEST:: SOT 827557 SOS 485801 HAS SOPS 485801 HAS SOUS 419944 HAS SOUPS 419944 WITH SCORE 420429.801
AT ITER 1127 NEW BEST:: SOT 827554 SOS 485517 HAS SOPS 485517 HAS SOUS 419900 HAS SOUPS 419900 WITH SCORE 420385.517
AT ITER 1130 NEW BEST:: SOT 827554 SOS 485491 HAS SOPS 485491 HAS SOUS 419900 HAS SOUPS 419900 WITH SCORE 420385.491
AT ITER 1133 NEW BEST:: SOT 827554 SOS 485486 HAS SOPS 485486 HAS SOUS 419900 HAS SOUPS 419900 WITH SCORE 420385.486
AT ITER 1134 NEW BEST:: SOT 827554 SOS 485335 HAS SOPS 485335 HAS SOUS 419831 HAS SOUPS 419831 WITH SCORE 420316.335
AT ITER 1138 NEW BEST:: SOT 827541 SOS 485322 HAS SOPS 485322 HAS SOUS 419818 HAS SOUPS 419818 WITH SCORE 420303.322
AT ITER 1139 NEW BEST:: SOT 827541 SOS 485104 HAS SOPS 485104 HAS SOUS 419818 HAS SOUPS 419818 WITH SCORE 420303.104
AT ITER 1141 NEW BEST:: SOT 827541 SOS 485104 HAS SOPS 485104 HAS SOUS 419752 HAS SOUPS 419752 WITH SCORE 420237.104
AT ITER 1148 NEW BEST:: SOT 827541 SOS 485104 HAS SOPS 485104 HAS SOUS 419741 HAS SOUPS 419741 WITH SCORE 420226.104
AT ITER 1152 NEW BEST:: SOT 827541 SOS 484964 HAS SOPS 484964 HAS SOUS 419722 HAS SOUPS 419722 WITH SCORE 420206.964
AT ITER 1156 NEW BEST:: SOT 827534 SOS 484930 HAS SOPS 484930 HAS SOUS 419674 HAS SOUPS 419674 WITH SCORE 420158.93
AT ITER 1162 NEW BEST:: SOT 827386 SOS 484895 HAS SOPS 484895 HAS SOUS 419666 HAS SOUPS 419666 WITH SCORE 420150.895
AT ITER 1183 NEW BEST:: SOT 827386 SOS 484664 HAS SOPS 484664 HAS SOUS 419666 HAS SOUPS 419666 WITH SCORE 420150.664
AT ITER 1184 NEW BEST:: SOT 827386 SOS 484193 HAS SOPS 484193 HAS SOUS 419653 HAS SOUPS 419653 WITH SCORE 420137.193
AT ITER 1187 NEW BEST:: SOT 827386 SOS 483307 HAS SOPS 483307 HAS SOUS 419653 HAS SOUPS 419653 WITH SCORE 420136.307
AT ITER 1190 NEW BEST:: SOT 827108 SOS 483100 HAS SOPS 483100 HAS SOUS 419276 HAS SOUPS 419276 WITH SCORE 419759.1
AT ITER 1194 NEW BEST:: SOT 827066 SOS 483058 HAS SOPS 483058 HAS SOUS 419182 HAS SOUPS 419182 WITH SCORE 419665.058
AT ITER 1195 NEW BEST:: SOT 827066 SOS 482832 HAS SOPS 482832 HAS SOUS 419182 HAS SOUPS 419182 WITH SCORE 419664.832
AT ITER 1201 NEW BEST:: SOT 827007 SOS 482660 HAS SOPS 482660 HAS SOUS 419030 HAS SOUPS 419030 WITH SCORE 419512.66
AT ITER 1206 NEW BEST:: SOT 826990 SOS 482569 HAS SOPS 482569 HAS SOUS 418951 HAS SOUPS 418951 WITH SCORE 419433.569
AT ITER 1208 NEW BEST:: SOT 826990 SOS 476789 HAS SOPS 476789 HAS SOUS 418951 HAS SOUPS 418951 WITH SCORE 419427.789
AT ITER 1215 NEW BEST:: SOT 826990 SOS 476764 HAS SOPS 476764 HAS SOUS 418951 HAS SOUPS 418951 WITH SCORE 419427.764
AT ITER 1218 NEW BEST:: SOT 827122 SOS 476896 HAS SOPS 476896 HAS SOUS 418917 HAS SOUPS 418917 WITH SCORE 419393.896
AT ITER 1219 NEW BEST:: SOT 827122 SOS 476830 HAS SOPS 476830 HAS SOUS 418917 HAS SOUPS 418917 WITH SCORE 419393.83
AT ITER 1225 NEW BEST:: SOT 827122 SOS 476772 HAS SOPS 476772 HAS SOUS 418917 HAS SOUPS 418917 WITH SCORE 419393.772
AT ITER 1227 NEW BEST:: SOT 827122 SOS 476711 HAS SOPS 476711 HAS SOUS 418917 HAS SOUPS 418917 WITH SCORE 419393.711
AT ITER 1228 NEW BEST:: SOT 827122 SOS 476273 HAS SOPS 476273 HAS SOUS 418917 HAS SOUPS 418917 WITH SCORE 419393.273
AT ITER 1231 NEW BEST:: SOT 826907 SOS 476079 HAS SOPS 476079 HAS SOUS 418748 HAS SOUPS 418748 WITH SCORE 419224.079
AT ITER 1234 NEW BEST:: SOT 826894 SOS 476084 HAS SOPS 476084 HAS SOUS 418729 HAS SOUPS 418729 WITH SCORE 419205.084
AT ITER 1235 NEW BEST:: SOT 826850 SOS 476027 HAS SOPS 476027 HAS SOUS 418630 HAS SOUPS 418630 WITH SCORE 419106.027
AT ITER 1241 NEW BEST:: SOT 826850 SOS 476021 HAS SOPS 476021 HAS SOUS 418630 HAS SOUPS 418630 WITH SCORE 419106.021
AT ITER 1243 NEW BEST:: SOT 826850 SOS 475949 HAS SOPS 475949 HAS SOUS 418583 HAS SOUPS 418583 WITH SCORE 419058.949
AT ITER 1248 NEW BEST:: SOT 826850 SOS 475933 HAS SOPS 475933 HAS SOUS 418583 HAS SOUPS 418583 WITH SCORE 419058.933
AT ITER 1250 NEW BEST:: SOT 826800 SOS 475547 HAS SOPS 475547 HAS SOUS 418454 HAS SOUPS 418454 WITH SCORE 418929.547
AT ITER 1255 NEW BEST:: SOT 826800 SOS 475532 HAS SOPS 475532 HAS SOUS 418454 HAS SOUPS 418454 WITH SCORE 418929.532
AT ITER 1263 NEW BEST:: SOT 826800 SOS 475427 HAS SOPS 475427 HAS SOUS 418454 HAS SOUPS 418454 WITH SCORE 418929.427
AT ITER 1265 NEW BEST:: SOT 826772 SOS 475174 HAS SOPS 475174 HAS SOUS 418439 HAS SOUPS 418439 WITH SCORE 418914.174
AT ITER 1267 NEW BEST:: SOT 826772 SOS 474857 HAS SOPS 474857 HAS SOUS 418439 HAS SOUPS 418439 WITH SCORE 418913.857
AT ITER 1275 NEW BEST:: SOT 826400 SOS 478854 HAS SOPS 478854 HAS SOUS 418276 HAS SOUPS 418276 WITH SCORE 418754.854
AT ITER 1276 NEW BEST:: SOT 826436 SOS 478842 HAS SOPS 478842 HAS SOUS 418057 HAS SOUPS 418057 WITH SCORE 418535.842
AT ITER 1284 NEW BEST:: SOT 824962 SOS 477465 HAS SOPS 477465 HAS SOUS 416680 HAS SOUPS 416680 WITH SCORE 417157.465
AT ITER 1285 NEW BEST:: SOT 824962 SOS 477442 HAS SOPS 477442 HAS SOUS 416680 HAS SOUPS 416680 WITH SCORE 417157.442
AT ITER 1289 NEW BEST:: SOT 824962 SOS 477126 HAS SOPS 477126 HAS SOUS 416680 HAS SOUPS 416680 WITH SCORE 417157.126
AT ITER 1292 NEW BEST:: SOT 824509 SOS 477173 HAS SOPS 477173 HAS SOUS 416573 HAS SOUPS 416573 WITH SCORE 417050.173
AT ITER 1295 NEW BEST:: SOT 824509 SOS 477017 HAS SOPS 477017 HAS SOUS 416573 HAS SOUPS 416573 WITH SCORE 417050.017
AT ITER 1297 NEW BEST:: SOT 824509 SOS 476554 HAS SOPS 476554 HAS SOUS 416573 HAS SOUPS 416573 WITH SCORE 417049.554
AT ITER 1303 NEW BEST:: SOT 824509 SOS 476401 HAS SOPS 476401 HAS SOUS 416351 HAS SOUPS 416351 WITH SCORE 416827.401
AT ITER 1310 NEW BEST:: SOT 824509 SOS 475307 HAS SOPS 475307 HAS SOUS 416351 HAS SOUPS 416351 WITH SCORE 416826.307
AT ITER 1311 NEW BEST:: SOT 824509 SOS 475194 HAS SOPS 475194 HAS SOUS 416351 HAS SOUPS 416351 WITH SCORE 416826.194
AT ITER 1316 NEW BEST:: SOT 824509 SOS 475060 HAS SOPS 475060 HAS SOUS 416351 HAS SOUPS 416351 WITH SCORE 416826.06
AT ITER 1317 NEW BEST:: SOT 824509 SOS 474841 HAS SOPS 474841 HAS SOUS 416351 HAS SOUPS 416351 WITH SCORE 416825.841
AT ITER 1323 NEW BEST:: SOT 824509 SOS 471214 HAS SOPS 471214 HAS SOUS 416351 HAS SOUPS 416351 WITH SCORE 416822.214
AT ITER 1326 NEW BEST:: SOT 824509 SOS 470832 HAS SOPS 470832 HAS SOUS 416351 HAS SOUPS 416351 WITH SCORE 416821.832
AT ITER 1327 NEW BEST:: SOT 824504 SOS 470847 HAS SOPS 470847 HAS SOUS 416344 HAS SOUPS 416344 WITH SCORE 416814.847
AT ITER 1331 NEW BEST:: SOT 824131 SOS 470516 HAS SOPS 470516 HAS SOUS 416133 HAS SOUPS 416133 WITH SCORE 416603.516
AT ITER 1336 NEW BEST:: SOT 824088 SOS 470362 HAS SOPS 470362 HAS SOUS 416079 HAS SOUPS 416079 WITH SCORE 416549.362
AT ITER 1340 NEW BEST:: SOT 824078 SOS 470575 HAS SOPS 470575 HAS SOUS 416067 HAS SOUPS 416067 WITH SCORE 416537.575
AT ITER 1341 NEW BEST:: SOT 824078 SOS 470298 HAS SOPS 470298 HAS SOUS 416067 HAS SOUPS 416067 WITH SCORE 416537.298
AT ITER 1348 NEW BEST:: SOT 824049 SOS 470253 HAS SOPS 470253 HAS SOUS 415981 HAS SOUPS 415981 WITH SCORE 416451.253
AT ITER 1358 NEW BEST:: SOT 824049 SOS 470169 HAS SOPS 470169 HAS SOUS 415981 HAS SOUPS 415981 WITH SCORE 416451.169
AT ITER 1363 NEW BEST:: SOT 824092 SOS 470179 HAS SOPS 470179 HAS SOUS 415948 HAS SOUPS 415948 WITH SCORE 416418.179
AT ITER 1368 NEW BEST:: SOT 824066 SOS 470025 HAS SOPS 470025 HAS SOUS 415781 HAS SOUPS 415781 WITH SCORE 416251.025
AT ITER 1369 NEW BEST:: SOT 824128 SOS 469919 HAS SOPS 469919 HAS SOUS 415675 HAS SOUPS 415675 WITH SCORE 416144.919
AT ITER 1371 NEW BEST:: SOT 824128 SOS 469807 HAS SOPS 469807 HAS SOUS 415675 HAS SOUPS 415675 WITH SCORE 416144.807
AT ITER 1378 NEW BEST:: SOT 824128 SOS 469775 HAS SOPS 469775 HAS SOUS 415675 HAS SOUPS 415675 WITH SCORE 416144.775
AT ITER 1381 NEW BEST:: SOT 824128 SOS 469686 HAS SOPS 469686 HAS SOUS 415594 HAS SOUPS 415594 WITH SCORE 416063.686
AT ITER 1383 NEW BEST:: SOT 824128 SOS 469562 HAS SOPS 469562 HAS SOUS 415594 HAS SOUPS 415594 WITH SCORE 416063.562
AT ITER 1388 NEW BEST:: SOT 824128 SOS 469467 HAS SOPS 469467 HAS SOUS 415594 HAS SOUPS 415594 WITH SCORE 416063.467
AT ITER 1390 NEW BEST:: SOT 823594 SOS 469145 HAS SOPS 469145 HAS SOUS 415434 HAS SOUPS 415434 WITH SCORE 415903.145
AT ITER 1400 NEW BEST:: SOT 823538 SOS 469063 HAS SOPS 469063 HAS SOUS 415379 HAS SOUPS 415379 WITH SCORE 415848.063
AT ITER 1401 NEW BEST:: SOT 823538 SOS 468940 HAS SOPS 468940 HAS SOUS 415379 HAS SOUPS 415379 WITH SCORE 415847.94
AT ITER 1402 NEW BEST:: SOT 823538 SOS 468789 HAS SOPS 468789 HAS SOUS 415379 HAS SOUPS 415379 WITH SCORE 415847.789
AT ITER 1403 NEW BEST:: SOT 823538 SOS 468769 HAS SOPS 468769 HAS SOUS 415379 HAS SOUPS 415379 WITH SCORE 415847.769
AT ITER 1407 NEW BEST:: SOT 823538 SOS 468676 HAS SOPS 468676 HAS SOUS 415379 HAS SOUPS 415379 WITH SCORE 415847.676
AT ITER 1411 NEW BEST:: SOT 823538 SOS 468586 HAS SOPS 468586 HAS SOUS 415379 HAS SOUPS 415379 WITH SCORE 415847.586
AT ITER 1414 NEW BEST:: SOT 823538 SOS 468319 HAS SOPS 468319 HAS SOUS 415379 HAS SOUPS 415379 WITH SCORE 415847.319
AT ITER 1419 NEW BEST:: SOT 823538 SOS 468005 HAS SOPS 468005 HAS SOUS 415379 HAS SOUPS 415379 WITH SCORE 415847.005
AT ITER 1423 NEW BEST:: SOT 823538 SOS 468005 HAS SOPS 468005 HAS SOUS 415272 HAS SOUPS 415272 WITH SCORE 415740.005
AT ITER 1430 NEW BEST:: SOT 823603 SOS 468092 HAS SOPS 468092 HAS SOUS 415259 HAS SOUPS 415259 WITH SCORE 415727.092
AT ITER 1433 NEW BEST:: SOT 823183 SOS 470285 HAS SOPS 470285 HAS SOUS 415210 HAS SOUPS 415210 WITH SCORE 415680.285
AT ITER 1447 NEW BEST:: SOT 823183 SOS 470246 HAS SOPS 470246 HAS SOUS 415210 HAS SOUPS 415210 WITH SCORE 415680.246
AT ITER 1453 NEW BEST:: SOT 822551 SOS 472072 HAS SOPS 472072 HAS SOUS 415092 HAS SOUPS 415092 WITH SCORE 415564.072
AT ITER 1457 NEW BEST:: SOT 822537 SOS 472489 HAS SOPS 472489 HAS SOUS 414984 HAS SOUPS 414984 WITH SCORE 415456.489
AT ITER 1462 NEW BEST:: SOT 822537 SOS 471940 HAS SOPS 471940 HAS SOUS 414984 HAS SOUPS 414984 WITH SCORE 415455.94
AT ITER 1466 NEW BEST:: SOT 822537 SOS 471264 HAS SOPS 471264 HAS SOUS 414984 HAS SOUPS 414984 WITH SCORE 415455.264
AT ITER 1470 NEW BEST:: SOT 822537 SOS 471084 HAS SOPS 471084 HAS SOUS 414984 HAS SOUPS 414984 WITH SCORE 415455.084
AT ITER 1471 NEW BEST:: SOT 822537 SOS 471084 HAS SOPS 471084 HAS SOUS 414870 HAS SOUPS 414870 WITH SCORE 415341.084
AT ITER 1481 NEW BEST:: SOT 822537 SOS 471062 HAS SOPS 471062 HAS SOUS 414870 HAS SOUPS 414870 WITH SCORE 415341.062
AT ITER 1482 NEW BEST:: SOT 822271 SOS 470796 HAS SOPS 470796 HAS SOUS 414604 HAS SOUPS 414604 WITH SCORE 415074.796
AT ITER 1484 NEW BEST:: SOT 822271 SOS 470776 HAS SOPS 470776 HAS SOUS 414604 HAS SOUPS 414604 WITH SCORE 415074.776
AT ITER 1485 NEW BEST:: SOT 822271 SOS 470738 HAS SOPS 470738 HAS SOUS 414530 HAS SOUPS 414530 WITH SCORE 415000.738
AT ITER 1493 NEW BEST:: SOT 822271 SOS 470555 HAS SOPS 470555 HAS SOUS 414530 HAS SOUPS 414530 WITH SCORE 415000.555
AT ITER 1505 NEW BEST:: SOT 822271 SOS 470341 HAS SOPS 470341 HAS SOUS 414409 HAS SOUPS 414409 WITH SCORE 414879.341
AT ITER 1508 NEW BEST:: SOT 821863 SOS 470101 HAS SOPS 470101 HAS SOUS 414149 HAS SOUPS 414149 WITH SCORE 414619.101
AT ITER 1512 NEW BEST:: SOT 821863 SOS 470080 HAS SOPS 470080 HAS SOUS 414149 HAS SOUPS 414149 WITH SCORE 414619.08
AT ITER 1520 NEW BEST:: SOT 821863 SOS 470074 HAS SOPS 470074 HAS SOUS 414149 HAS SOUPS 414149 WITH SCORE 414619.074
AT ITER 1522 NEW BEST:: SOT 821819 SOS 470023 HAS SOPS 470023 HAS SOUS 414057 HAS SOUPS 414057 WITH SCORE 414527.023
AT ITER 1526 NEW BEST:: SOT 821819 SOS 470000 HAS SOPS 470000 HAS SOUS 414057 HAS SOUPS 414057 WITH SCORE 414527.0
AT ITER 1528 NEW BEST:: SOT 821819 SOS 469635 HAS SOPS 469635 HAS SOUS 414057 HAS SOUPS 414057 WITH SCORE 414526.635
AT ITER 1530 NEW BEST:: SOT 821819 SOS 469501 HAS SOPS 469501 HAS SOUS 414057 HAS SOUPS 414057 WITH SCORE 414526.501
AT ITER 1533 NEW BEST:: SOT 821819 SOS 468728 HAS SOPS 468728 HAS SOUS 413979 HAS SOUPS 413979 WITH SCORE 414447.728
AT ITER 1535 NEW BEST:: SOT 821819 SOS 468712 HAS SOPS 468712 HAS SOUS 413979 HAS SOUPS 413979 WITH SCORE 414447.712
AT ITER 1546 NEW BEST:: SOT 821819 SOS 468673 HAS SOPS 468673 HAS SOUS 413979 HAS SOUPS 413979 WITH SCORE 414447.673
AT ITER 1548 NEW BEST:: SOT 821819 SOS 468587 HAS SOPS 468587 HAS SOUS 413979 HAS SOUPS 413979 WITH SCORE 414447.587
AT ITER 1560 NEW BEST:: SOT 821816 SOS 468493 HAS SOPS 468493 HAS SOUS 413956 HAS SOUPS 413956 WITH SCORE 414424.493
AT ITER 1564 NEW BEST:: SOT 821816 SOS 468320 HAS SOPS 468320 HAS SOUS 413956 HAS SOUPS 413956 WITH SCORE 414424.32
AT ITER 1569 NEW BEST:: SOT 821816 SOS 468245 HAS SOPS 468245 HAS SOUS 413956 HAS SOUPS 413956 WITH SCORE 414424.245
AT ITER 1581 NEW BEST:: SOT 821816 SOS 468434 HAS SOPS 468434 HAS SOUS 413906 HAS SOUPS 413906 WITH SCORE 414374.434
AT ITER 1586 NEW BEST:: SOT 821816 SOS 468312 HAS SOPS 468312 HAS SOUS 413906 HAS SOUPS 413906 WITH SCORE 414374.312
AT ITER 1589 NEW BEST:: SOT 821706 SOS 468183 HAS SOPS 468183 HAS SOUS 413776 HAS SOUPS 413776 WITH SCORE 414244.183
AT ITER 1599 NEW BEST:: SOT 821196 SOS 468801 HAS SOPS 468801 HAS SOUS 413588 HAS SOUPS 413588 WITH SCORE 414056.801
AT ITER 1603 NEW BEST:: SOT 821196 SOS 468602 HAS SOPS 468602 HAS SOUS 413569 HAS SOUPS 413569 WITH SCORE 414037.602
AT ITER 1607 NEW BEST:: SOT 821196 SOS 468395 HAS SOPS 468395 HAS SOUS 413569 HAS SOUPS 413569 WITH SCORE 414037.395
AT ITER 1608 NEW BEST:: SOT 821196 SOS 468027 HAS SOPS 468027 HAS SOUS 413541 HAS SOUPS 413541 WITH SCORE 414009.027
AT ITER 1614 NEW BEST:: SOT 821196 SOS 467991 HAS SOPS 467991 HAS SOUS 413541 HAS SOUPS 413541 WITH SCORE 414008.991
AT ITER 1621 NEW BEST:: SOT 820467 SOS 474086 HAS SOPS 474086 HAS SOUS 413515 HAS SOUPS 413515 WITH SCORE 413989.086
AT ITER 1625 NEW BEST:: SOT 820467 SOS 473731 HAS SOPS 473731 HAS SOUS 413515 HAS SOUPS 413515 WITH SCORE 413988.731
AT ITER 1631 NEW BEST:: SOT 820493 SOS 473723 HAS SOPS 473723 HAS SOUS 413501 HAS SOUPS 413501 WITH SCORE 413974.723
AT ITER 1636 NEW BEST:: SOT 820493 SOS 467958 HAS SOPS 467958 HAS SOUS 413042 HAS SOUPS 413042 WITH SCORE 413509.958
AT ITER 1647 NEW BEST:: SOT 820493 SOS 467908 HAS SOPS 467908 HAS SOUS 413042 HAS SOUPS 413042 WITH SCORE 413509.908
AT ITER 1662 NEW BEST:: SOT 820493 SOS 467742 HAS SOPS 467742 HAS SOUS 413042 HAS SOUPS 413042 WITH SCORE 413509.742
AT ITER 1667 NEW BEST:: SOT 820493 SOS 467636 HAS SOPS 467636 HAS SOUS 413042 HAS SOUPS 413042 WITH SCORE 413509.636
AT ITER 1673 NEW BEST:: SOT 820493 SOS 467297 HAS SOPS 467297 HAS SOUS 412997 HAS SOUPS 412997 WITH SCORE 413464.297
AT ITER 1676 NEW BEST:: SOT 820493 SOS 467297 HAS SOPS 467297 HAS SOUS 412932 HAS SOUPS 412932 WITH SCORE 413399.297
AT ITER 1677 NEW BEST:: SOT 819723 SOS 466883 HAS SOPS 466883 HAS SOUS 412657 HAS SOUPS 412657 WITH SCORE 413123.883
AT ITER 1680 NEW BEST:: SOT 819723 SOS 466745 HAS SOPS 466745 HAS SOUS 412657 HAS SOUPS 412657 WITH SCORE 413123.745
AT ITER 1687 NEW BEST:: SOT 819723 SOS 466615 HAS SOPS 466615 HAS SOUS 412630 HAS SOUPS 412630 WITH SCORE 413096.615
AT ITER 1690 NEW BEST:: SOT 819723 SOS 466556 HAS SOPS 466556 HAS SOUS 412630 HAS SOUPS 412630 WITH SCORE 413096.556
AT ITER 1693 NEW BEST:: SOT 819729 SOS 466170 HAS SOPS 466170 HAS SOUS 412590 HAS SOUPS 412590 WITH SCORE 413056.17
AT ITER 1696 NEW BEST:: SOT 819729 SOS 466011 HAS SOPS 466011 HAS SOUS 412590 HAS SOUPS 412590 WITH SCORE 413056.011
AT ITER 1701 NEW BEST:: SOT 819729 SOS 466011 HAS SOPS 466011 HAS SOUS 412551 HAS SOUPS 412551 WITH SCORE 413017.011
AT ITER 1703 NEW BEST:: SOT 819729 SOS 465986 HAS SOPS 465986 HAS SOUS 412551 HAS SOUPS 412551 WITH SCORE 413016.986
AT ITER 1705 NEW BEST:: SOT 819795 SOS 466059 HAS SOPS 466059 HAS SOUS 412549 HAS SOUPS 412549 WITH SCORE 413015.059
AT ITER 1713 NEW BEST:: SOT 819795 SOS 465916 HAS SOPS 465916 HAS SOUS 412549 HAS SOUPS 412549 WITH SCORE 413014.916
AT ITER 1718 NEW BEST:: SOT 819795 SOS 465868 HAS SOPS 465868 HAS SOUS 412549 HAS SOUPS 412549 WITH SCORE 413014.868
AT ITER 1723 NEW BEST:: SOT 819795 SOS 465677 HAS SOPS 465677 HAS SOUS 412549 HAS SOUPS 412549 WITH SCORE 413014.677
AT ITER 1729 NEW BEST:: SOT 819795 SOS 465660 HAS SOPS 465660 HAS SOUS 412532 HAS SOUPS 412532 WITH SCORE 412997.66
AT ITER 1730 NEW BEST:: SOT 819795 SOS 464302 HAS SOPS 464302 HAS SOUS 412532 HAS SOUPS 412532 WITH SCORE 412996.302
AT ITER 1731 NEW BEST:: SOT 819795 SOS 464189 HAS SOPS 464189 HAS SOUS 412518 HAS SOUPS 412518 WITH SCORE 412982.189
AT ITER 1749 NEW BEST:: SOT 819795 SOS 463810 HAS SOPS 463810 HAS SOUS 412518 HAS SOUPS 412518 WITH SCORE 412981.81
AT ITER 1752 NEW BEST:: SOT 819795 SOS 463579 HAS SOPS 463579 HAS SOUS 412518 HAS SOUPS 412518 WITH SCORE 412981.579
AT ITER 1756 NEW BEST:: SOT 819795 SOS 463553 HAS SOPS 463553 HAS SOUS 412518 HAS SOUPS 412518 WITH SCORE 412981.553
AT ITER 1757 NEW BEST:: SOT 819795 SOS 463485 HAS SOPS 463485 HAS SOUS 412518 HAS SOUPS 412518 WITH SCORE 412981.485
AT ITER 1760 NEW BEST:: SOT 819485 SOS 463654 HAS SOPS 463654 HAS SOUS 412283 HAS SOUPS 412283 WITH SCORE 412746.654
AT ITER 1767 NEW BEST:: SOT 819485 SOS 463653 HAS SOPS 463653 HAS SOUS 412283 HAS SOUPS 412283 WITH SCORE 412746.653
AT ITER 1771 NEW BEST:: SOT 819485 SOS 463453 HAS SOPS 463453 HAS SOUS 412038 HAS SOUPS 412038 WITH SCORE 412501.453
AT ITER 1783 NEW BEST:: SOT 819485 SOS 463423 HAS SOPS 463423 HAS SOUS 412038 HAS SOUPS 412038 WITH SCORE 412501.423
AT ITER 1785 NEW BEST:: SOT 819439 SOS 463254 HAS SOPS 463254 HAS SOUS 411961 HAS SOUPS 411961 WITH SCORE 412424.254
AT ITER 1793 NEW BEST:: SOT 819439 SOS 463210 HAS SOPS 463210 HAS SOUS 411961 HAS SOUPS 411961 WITH SCORE 412424.21
AT ITER 1802 NEW BEST:: SOT 819439 SOS 463207 HAS SOPS 463207 HAS SOUS 411959 HAS SOUPS 411959 WITH SCORE 412422.207
AT ITER 1805 NEW BEST:: SOT 819439 SOS 462940 HAS SOPS 462940 HAS SOUS 411959 HAS SOUPS 411959 WITH SCORE 412421.94
AT ITER 1816 NEW BEST:: SOT 819040 SOS 462688 HAS SOPS 462688 HAS SOUS 411632 HAS SOUPS 411632 WITH SCORE 412094.688
AT ITER 1818 NEW BEST:: SOT 819032 SOS 462722 HAS SOPS 462722 HAS SOUS 411631 HAS SOUPS 411631 WITH SCORE 412093.722
AT ITER 1823 NEW BEST:: SOT 819032 SOS 462524 HAS SOPS 462524 HAS SOUS 411530 HAS SOUPS 411530 WITH SCORE 411992.524
AT ITER 1828 NEW BEST:: SOT 819032 SOS 462322 HAS SOPS 462322 HAS SOUS 411530 HAS SOUPS 411530 WITH SCORE 411992.322
AT ITER 1833 NEW BEST:: SOT 819001 SOS 462291 HAS SOPS 462291 HAS SOUS 411499 HAS SOUPS 411499 WITH SCORE 411961.291
AT ITER 1849 NEW BEST:: SOT 819001 SOS 462165 HAS SOPS 462165 HAS SOUS 411499 HAS SOUPS 411499 WITH SCORE 411961.165
AT ITER 1863 NEW BEST:: SOT 819001 SOS 462104 HAS SOPS 462104 HAS SOUS 411450 HAS SOUPS 411450 WITH SCORE 411912.104
AT ITER 1867 NEW BEST:: SOT 819001 SOS 462410 HAS SOPS 462410 HAS SOUS 411408 HAS SOUPS 411408 WITH SCORE 411870.41
AT ITER 1869 NEW BEST:: SOT 819001 SOS 462187 HAS SOPS 462187 HAS SOUS 411408 HAS SOUPS 411408 WITH SCORE 411870.187
AT ITER 1877 NEW BEST:: SOT 819001 SOS 461762 HAS SOPS 461762 HAS SOUS 411408 HAS SOUPS 411408 WITH SCORE 411869.762
AT ITER 1879 NEW BEST:: SOT 819001 SOS 461636 HAS SOPS 461636 HAS SOUS 411408 HAS SOUPS 411408 WITH SCORE 411869.636
AT ITER 1886 NEW BEST:: SOT 819001 SOS 461616 HAS SOPS 461616 HAS SOUS 411408 HAS SOUPS 411408 WITH SCORE 411869.616
AT ITER 1888 NEW BEST:: SOT 819001 SOS 461324 HAS SOPS 461324 HAS SOUS 411408 HAS SOUPS 411408 WITH SCORE 411869.324
AT ITER 1890 NEW BEST:: SOT 819001 SOS 454046 HAS SOPS 454046 HAS SOUS 411408 HAS SOUPS 411408 WITH SCORE 411862.046
AT ITER 1895 NEW BEST:: SOT 819001 SOS 453992 HAS SOPS 453992 HAS SOUS 411408 HAS SOUPS 411408 WITH SCORE 411861.992
AT ITER 1900 NEW BEST:: SOT 819001 SOS 453891 HAS SOPS 453891 HAS SOUS 411408 HAS SOUPS 411408 WITH SCORE 411861.891
AT ITER 1902 NEW BEST:: SOT 819001 SOS 453832 HAS SOPS 453832 HAS SOUS 411408 HAS SOUPS 411408 WITH SCORE 411861.832
AT ITER 1903 NEW BEST:: SOT 819001 SOS 453759 HAS SOPS 453759 HAS SOUS 411408 HAS SOUPS 411408 WITH SCORE 411861.759
AT ITER 1925 NEW BEST:: SOT 819001 SOS 453740 HAS SOPS 453740 HAS SOUS 411408 HAS SOUPS 411408 WITH SCORE 411861.74
AT ITER 1926 NEW BEST:: SOT 819006 SOS 453484 HAS SOPS 453484 HAS SOUS 411369 HAS SOUPS 411369 WITH SCORE 411822.484
AT ITER 1930 NEW BEST:: SOT 818992 SOS 453250 HAS SOPS 453250 HAS SOUS 411280 HAS SOUPS 411280 WITH SCORE 411733.25
AT ITER 1932 NEW BEST:: SOT 818959 SOS 453217 HAS SOPS 453217 HAS SOUS 411279 HAS SOUPS 411279 WITH SCORE 411732.217
AT ITER 1933 NEW BEST:: SOT 818959 SOS 453209 HAS SOPS 453209 HAS SOUS 411271 HAS SOUPS 411271 WITH SCORE 411724.209
AT ITER 1934 NEW BEST:: SOT 818959 SOS 453052 HAS SOPS 453052 HAS SOUS 411271 HAS SOUPS 411271 WITH SCORE 411724.052
AT ITER 1939 NEW BEST:: SOT 818959 SOS 453048 HAS SOPS 453048 HAS SOUS 411271 HAS SOUPS 411271 WITH SCORE 411724.048
AT ITER 1941 NEW BEST:: SOT 818959 SOS 453436 HAS SOPS 453436 HAS SOUS 411257 HAS SOUPS 411257 WITH SCORE 411710.436
AT ITER 1950 NEW BEST:: SOT 818952 SOS 453505 HAS SOPS 453505 HAS SOUS 411252 HAS SOUPS 411252 WITH SCORE 411705.505
AT ITER 1958 NEW BEST:: SOT 818952 SOS 453440 HAS SOPS 453440 HAS SOUS 411252 HAS SOUPS 411252 WITH SCORE 411705.44
AT ITER 1959 NEW BEST:: SOT 818952 SOS 453394 HAS SOPS 453394 HAS SOUS 411252 HAS SOUPS 411252 WITH SCORE 411705.394
AT ITER 1961 NEW BEST:: SOT 818952 SOS 453163 HAS SOPS 453163 HAS SOUS 411162 HAS SOUPS 411162 WITH SCORE 411615.163
AT ITER 1965 NEW BEST:: SOT 818919 SOS 453073 HAS SOPS 453073 HAS SOUS 411142 HAS SOUPS 411142 WITH SCORE 411595.073
AT ITER 1968 NEW BEST:: SOT 818919 SOS 452916 HAS SOPS 452916 HAS SOUS 411142 HAS SOUPS 411142 WITH SCORE 411594.916
AT ITER 1970 NEW BEST:: SOT 818919 SOS 452787 HAS SOPS 452787 HAS SOUS 411142 HAS SOUPS 411142 WITH SCORE 411594.787
AT ITER 1973 NEW BEST:: SOT 818919 SOS 452747 HAS SOPS 452747 HAS SOUS 411142 HAS SOUPS 411142 WITH SCORE 411594.747
AT ITER 1996 NEW BEST:: SOT 818919 SOS 452745 HAS SOPS 452745 HAS SOUS 411142 HAS SOUPS 411142 WITH SCORE 411594.745
AT ITER 1997 NEW BEST:: SOT 818913 SOS 452739 HAS SOPS 452739 HAS SOUS 411136 HAS SOUPS 411136 WITH SCORE 411588.739
AT ITER 2003 NEW BEST:: SOT 818913 SOS 452725 HAS SOPS 452725 HAS SOUS 411136 HAS SOUPS 411136 WITH SCORE 411588.725
AT ITER 2005 NEW BEST:: SOT 818913 SOS 452513 HAS SOPS 452513 HAS SOUS 411136 HAS SOUPS 411136 WITH SCORE 411588.513
AT ITER 2007 NEW BEST:: SOT 818903 SOS 452613 HAS SOPS 452613 HAS SOUS 411114 HAS SOUPS 411114 WITH SCORE 411566.613
AT ITER 2024 NEW BEST:: SOT 818903 SOS 452473 HAS SOPS 452473 HAS SOUS 411110 HAS SOUPS 411110 WITH SCORE 411562.473
AT ITER 2040 NEW BEST:: SOT 818903 SOS 452184 HAS SOPS 452184 HAS SOUS 411049 HAS SOUPS 411049 WITH SCORE 411501.184
AT ITER 2051 NEW BEST:: SOT 818903 SOS 452197 HAS SOPS 452197 HAS SOUS 411027 HAS SOUPS 411027 WITH SCORE 411479.197
AT ITER 2054 NEW BEST:: SOT 818903 SOS 452071 HAS SOPS 452071 HAS SOUS 411027 HAS SOUPS 411027 WITH SCORE 411479.071
AT ITER 2055 NEW BEST:: SOT 818949 SOS 452051 HAS SOPS 452051 HAS SOUS 411019 HAS SOUPS 411019 WITH SCORE 411471.051
AT ITER 2057 NEW BEST:: SOT 818949 SOS 451985 HAS SOPS 451985 HAS SOUS 411019 HAS SOUPS 411019 WITH SCORE 411470.985
AT ITER 2060 NEW BEST:: SOT 818949 SOS 450004 HAS SOPS 450004 HAS SOUS 410973 HAS SOUPS 410973 WITH SCORE 411423.004
AT ITER 2081 NEW BEST:: SOT 818949 SOS 449828 HAS SOPS 449828 HAS SOUS 410973 HAS SOUPS 410973 WITH SCORE 411422.828
AT ITER 2085 NEW BEST:: SOT 818949 SOS 449767 HAS SOPS 449767 HAS SOUS 410973 HAS SOUPS 410973 WITH SCORE 411422.767
AT ITER 2107 NEW BEST:: SOT 818922 SOS 449660 HAS SOPS 449660 HAS SOUS 410728 HAS SOUPS 410728 WITH SCORE 411177.66
AT ITER 2108 NEW BEST:: SOT 818922 SOS 449543 HAS SOPS 449543 HAS SOUS 410728 HAS SOUPS 410728 WITH SCORE 411177.543
AT ITER 2122 NEW BEST:: SOT 818922 SOS 449517 HAS SOPS 449517 HAS SOUS 410728 HAS SOUPS 410728 WITH SCORE 411177.517
AT ITER 2123 NEW BEST:: SOT 818922 SOS 449493 HAS SOPS 449493 HAS SOUS 410728 HAS SOUPS 410728 WITH SCORE 411177.493
AT ITER 2135 NEW BEST:: SOT 818922 SOS 449432 HAS SOPS 449432 HAS SOUS 410728 HAS SOUPS 410728 WITH SCORE 411177.432
AT ITER 2136 NEW BEST:: SOT 818922 SOS 449305 HAS SOPS 449305 HAS SOUS 410728 HAS SOUPS 410728 WITH SCORE 411177.305
AT ITER 2137 NEW BEST:: SOT 818884 SOS 449111 HAS SOPS 449111 HAS SOUS 410572 HAS SOUPS 410572 WITH SCORE 411021.111
AT ITER 2138 NEW BEST:: SOT 818884 SOS 448987 HAS SOPS 448987 HAS SOUS 410572 HAS SOUPS 410572 WITH SCORE 411020.987
AT ITER 2140 NEW BEST:: SOT 818983 SOS 449018 HAS SOPS 449018 HAS SOUS 410478 HAS SOUPS 410478 WITH SCORE 410927.018
AT ITER 2144 NEW BEST:: SOT 818983 SOS 448992 HAS SOPS 448992 HAS SOUS 410408 HAS SOUPS 410408 WITH SCORE 410856.992
AT ITER 2157 NEW BEST:: SOT 818983 SOS 448870 HAS SOPS 448870 HAS SOUS 410408 HAS SOUPS 410408 WITH SCORE 410856.87
AT ITER 2160 NEW BEST:: SOT 818983 SOS 448565 HAS SOPS 448565 HAS SOUS 410408 HAS SOUPS 410408 WITH SCORE 410856.565
AT ITER 2179 NEW BEST:: SOT 818972 SOS 448541 HAS SOPS 448541 HAS SOUS 410401 HAS SOUPS 410401 WITH SCORE 410849.541
AT ITER 2190 NEW BEST:: SOT 818894 SOS 448167 HAS SOPS 448167 HAS SOUS 410104 HAS SOUPS 410104 WITH SCORE 410552.167
AT ITER 2199 NEW BEST:: SOT 818894 SOS 448049 HAS SOPS 448049 HAS SOUS 410104 HAS SOUPS 410104 WITH SCORE 410552.049
AT ITER 2206 NEW BEST:: SOT 818894 SOS 447882 HAS SOPS 447882 HAS SOUS 410104 HAS SOUPS 410104 WITH SCORE 410551.882
AT ITER 2209 NEW BEST:: SOT 818874 SOS 447862 HAS SOPS 447862 HAS SOUS 410023 HAS SOUPS 410023 WITH SCORE 410470.862
AT ITER 2224 NEW BEST:: SOT 818705 SOS 447680 HAS SOPS 447680 HAS SOUS 409816 HAS SOUPS 409816 WITH SCORE 410263.68
AT ITER 2225 NEW BEST:: SOT 818124 SOS 447721 HAS SOPS 447721 HAS SOUS 409801 HAS SOUPS 409801 WITH SCORE 410248.721
AT ITER 2227 NEW BEST:: SOT 818124 SOS 447585 HAS SOPS 447585 HAS SOUS 409782 HAS SOUPS 409782 WITH SCORE 410229.585
AT ITER 2229 NEW BEST:: SOT 818124 SOS 447417 HAS SOPS 447417 HAS SOUS 409782 HAS SOUPS 409782 WITH SCORE 410229.417
AT ITER 2230 NEW BEST:: SOT 818124 SOS 447254 HAS SOPS 447254 HAS SOUS 409732 HAS SOUPS 409732 WITH SCORE 410179.254
AT ITER 2249 NEW BEST:: SOT 818124 SOS 447217 HAS SOPS 447217 HAS SOUS 409668 HAS SOUPS 409668 WITH SCORE 410115.217
AT ITER 2255 NEW BEST:: SOT 818124 SOS 447211 HAS SOPS 447211 HAS SOUS 409668 HAS SOUPS 409668 WITH SCORE 410115.211
AT ITER 2256 NEW BEST:: SOT 818124 SOS 447099 HAS SOPS 447099 HAS SOUS 409668 HAS SOUPS 409668 WITH SCORE 410115.099
AT ITER 2260 NEW BEST:: SOT 818040 SOS 446986 HAS SOPS 446986 HAS SOUS 409549 HAS SOUPS 409549 WITH SCORE 409995.986
AT ITER 2272 NEW BEST:: SOT 817204 SOS 449101 HAS SOPS 449101 HAS SOUS 409438 HAS SOUPS 409438 WITH SCORE 409887.101
AT ITER 2276 NEW BEST:: SOT 816977 SOS 449951 HAS SOPS 449951 HAS SOUS 409413 HAS SOUPS 409413 WITH SCORE 409862.951
AT ITER 2279 NEW BEST:: SOT 816977 SOS 449865 HAS SOPS 449865 HAS SOUS 409399 HAS SOUPS 409399 WITH SCORE 409848.865
AT ITER 2288 NEW BEST:: SOT 816977 SOS 449642 HAS SOPS 449642 HAS SOUS 409399 HAS SOUPS 409399 WITH SCORE 409848.642
AT ITER 2292 NEW BEST:: SOT 816977 SOS 449536 HAS SOPS 449536 HAS SOUS 409399 HAS SOUPS 409399 WITH SCORE 409848.536
AT ITER 2299 NEW BEST:: SOT 816977 SOS 449752 HAS SOPS 449752 HAS SOUS 409396 HAS SOUPS 409396 WITH SCORE 409845.752
AT ITER 2301 NEW BEST:: SOT 816977 SOS 449625 HAS SOPS 449625 HAS SOUS 409252 HAS SOUPS 409252 WITH SCORE 409701.625
AT ITER 2302 NEW BEST:: SOT 817075 SOS 449699 HAS SOPS 449699 HAS SOUS 409230 HAS SOUPS 409230 WITH SCORE 409679.699
AT ITER 2314 NEW BEST:: SOT 817075 SOS 449686 HAS SOPS 449686 HAS SOUS 409230 HAS SOUPS 409230 WITH SCORE 409679.686
AT ITER 2320 NEW BEST:: SOT 817075 SOS 446978 HAS SOPS 446978 HAS SOUS 408886 HAS SOUPS 408886 WITH SCORE 409332.978
AT ITER 2329 NEW BEST:: SOT 817075 SOS 444357 HAS SOPS 444357 HAS SOUS 408759 HAS SOUPS 408759 WITH SCORE 409203.357
AT ITER 2344 NEW BEST:: SOT 817075 SOS 444247 HAS SOPS 444247 HAS SOUS 408759 HAS SOUPS 408759 WITH SCORE 409203.247
AT ITER 2345 NEW BEST:: SOT 817041 SOS 444123 HAS SOPS 444123 HAS SOUS 408664 HAS SOUPS 408664 WITH SCORE 409108.123
AT ITER 2348 NEW BEST:: SOT 817041 SOS 444281 HAS SOPS 444281 HAS SOUS 408611 HAS SOUPS 408611 WITH SCORE 409055.281
AT ITER 2360 NEW BEST:: SOT 817041 SOS 444268 HAS SOPS 444268 HAS SOUS 408611 HAS SOUPS 408611 WITH SCORE 409055.268
AT ITER 2363 NEW BEST:: SOT 817061 SOS 444194 HAS SOPS 444194 HAS SOUS 408586 HAS SOUPS 408586 WITH SCORE 409030.194
AT ITER 2365 NEW BEST:: SOT 817061 SOS 444040 HAS SOPS 444040 HAS SOUS 408586 HAS SOUPS 408586 WITH SCORE 409030.04
AT ITER 2369 NEW BEST:: SOT 817061 SOS 444062 HAS SOPS 444062 HAS SOUS 408532 HAS SOUPS 408532 WITH SCORE 408976.062
AT ITER 2376 NEW BEST:: SOT 816803 SOS 443804 HAS SOPS 443804 HAS SOUS 408274 HAS SOUPS 408274 WITH SCORE 408717.804
AT ITER 2379 NEW BEST:: SOT 816803 SOS 443681 HAS SOPS 443681 HAS SOUS 408240 HAS SOUPS 408240 WITH SCORE 408683.681
AT ITER 2384 NEW BEST:: SOT 816803 SOS 443480 HAS SOPS 443480 HAS SOUS 408229 HAS SOUPS 408229 WITH SCORE 408672.48
AT ITER 2390 NEW BEST:: SOT 816803 SOS 443535 HAS SOPS 443535 HAS SOUS 408153 HAS SOUPS 408153 WITH SCORE 408596.535
AT ITER 2391 NEW BEST:: SOT 816694 SOS 443426 HAS SOPS 443426 HAS SOUS 408047 HAS SOUPS 408047 WITH SCORE 408490.426
AT ITER 2392 NEW BEST:: SOT 816694 SOS 443333 HAS SOPS 443333 HAS SOUS 408047 HAS SOUPS 408047 WITH SCORE 408490.333
AT ITER 2397 NEW BEST:: SOT 816694 SOS 443088 HAS SOPS 443088 HAS SOUS 408047 HAS SOUPS 408047 WITH SCORE 408490.088
AT ITER 2399 NEW BEST:: SOT 816623 SOS 442875 HAS SOPS 442875 HAS SOUS 407993 HAS SOUPS 407993 WITH SCORE 408435.875
AT ITER 2407 NEW BEST:: SOT 816623 SOS 441935 HAS SOPS 441935 HAS SOUS 407993 HAS SOUPS 407993 WITH SCORE 408434.935
AT ITER 2412 NEW BEST:: SOT 816623 SOS 441933 HAS SOPS 441933 HAS SOUS 407993 HAS SOUPS 407993 WITH SCORE 408434.933
AT ITER 2414 NEW BEST:: SOT 815942 SOS 442179 HAS SOPS 442179 HAS SOUS 407918 HAS SOUPS 407918 WITH SCORE 408360.179
AT ITER 2418 NEW BEST:: SOT 815942 SOS 442111 HAS SOPS 442111 HAS SOUS 407918 HAS SOUPS 407918 WITH SCORE 408360.111
AT ITER 2425 NEW BEST:: SOT 815942 SOS 442096 HAS SOPS 442096 HAS SOUS 407918 HAS SOUPS 407918 WITH SCORE 408360.096
AT ITER 2426 NEW BEST:: SOT 815942 SOS 441991 HAS SOPS 441991 HAS SOUS 407918 HAS SOUPS 407918 WITH SCORE 408359.991
AT ITER 2433 NEW BEST:: SOT 815794 SOS 441848 HAS SOPS 441848 HAS SOUS 407890 HAS SOUPS 407890 WITH SCORE 408331.848
AT ITER 2440 NEW BEST:: SOT 815794 SOS 441812 HAS SOPS 441812 HAS SOUS 407890 HAS SOUPS 407890 WITH SCORE 408331.812
AT ITER 2447 NEW BEST:: SOT 815794 SOS 441525 HAS SOPS 441525 HAS SOUS 407890 HAS SOUPS 407890 WITH SCORE 408331.525
AT ITER 2450 NEW BEST:: SOT 815794 SOS 441635 HAS SOPS 441635 HAS SOUS 407796 HAS SOUPS 407796 WITH SCORE 408237.635
AT ITER 2464 NEW BEST:: SOT 815796 SOS 441646 HAS SOPS 441646 HAS SOUS 407790 HAS SOUPS 407790 WITH SCORE 408231.646
AT ITER 2475 NEW BEST:: SOT 815796 SOS 439485 HAS SOPS 439485 HAS SOUS 407790 HAS SOUPS 407790 WITH SCORE 408229.485
AT ITER 2476 NEW BEST:: SOT 815796 SOS 439372 HAS SOPS 439372 HAS SOUS 407790 HAS SOUPS 407790 WITH SCORE 408229.372
AT ITER 2482 NEW BEST:: SOT 815227 SOS 444691 HAS SOPS 444691 HAS SOUS 407565 HAS SOUPS 407565 WITH SCORE 408009.691
AT ITER 2494 NEW BEST:: SOT 815227 SOS 444546 HAS SOPS 444546 HAS SOUS 407540 HAS SOUPS 407540 WITH SCORE 407984.546
AT ITER 2517 NEW BEST:: SOT 815227 SOS 444514 HAS SOPS 444514 HAS SOUS 407540 HAS SOUPS 407540 WITH SCORE 407984.514
AT ITER 2521 NEW BEST:: SOT 815227 SOS 444329 HAS SOPS 444329 HAS SOUS 407513 HAS SOUPS 407513 WITH SCORE 407957.329
AT ITER 2535 NEW BEST:: SOT 815270 SOS 444176 HAS SOPS 444176 HAS SOUS 407484 HAS SOUPS 407484 WITH SCORE 407928.176
AT ITER 2541 NEW BEST:: SOT 815270 SOS 444107 HAS SOPS 444107 HAS SOUS 407484 HAS SOUPS 407484 WITH SCORE 407928.107
AT ITER 2542 NEW BEST:: SOT 815270 SOS 443810 HAS SOPS 443810 HAS SOUS 407484 HAS SOUPS 407484 WITH SCORE 407927.81
AT ITER 2544 NEW BEST:: SOT 815270 SOS 443732 HAS SOPS 443732 HAS SOUS 407484 HAS SOUPS 407484 WITH SCORE 407927.732
AT ITER 2547 NEW BEST:: SOT 815270 SOS 443592 HAS SOPS 443592 HAS SOUS 407430 HAS SOUPS 407430 WITH SCORE 407873.592
AT ITER 2564 NEW BEST:: SOT 815221 SOS 443594 HAS SOPS 443594 HAS SOUS 407365 HAS SOUPS 407365 WITH SCORE 407808.594
AT ITER 2574 NEW BEST:: SOT 815221 SOS 443306 HAS SOPS 443306 HAS SOUS 407365 HAS SOUPS 407365 WITH SCORE 407808.306
AT ITER 2581 NEW BEST:: SOT 815221 SOS 443146 HAS SOPS 443146 HAS SOUS 407365 HAS SOUPS 407365 WITH SCORE 407808.146
AT ITER 2583 NEW BEST:: SOT 815152 SOS 443079 HAS SOPS 443079 HAS SOUS 407316 HAS SOUPS 407316 WITH SCORE 407759.079
AT ITER 2584 NEW BEST:: SOT 815152 SOS 443046 HAS SOPS 443046 HAS SOUS 407316 HAS SOUPS 407316 WITH SCORE 407759.046
AT ITER 2586 NEW BEST:: SOT 815152 SOS 442998 HAS SOPS 442998 HAS SOUS 407316 HAS SOUPS 407316 WITH SCORE 407758.998
AT ITER 2595 NEW BEST:: SOT 815148 SOS 443079 HAS SOPS 443079 HAS SOUS 407304 HAS SOUPS 407304 WITH SCORE 407747.079
AT ITER 2603 NEW BEST:: SOT 815148 SOS 442951 HAS SOPS 442951 HAS SOUS 407304 HAS SOUPS 407304 WITH SCORE 407746.951
AT ITER 2604 NEW BEST:: SOT 815148 SOS 442883 HAS SOPS 442883 HAS SOUS 407304 HAS SOUPS 407304 WITH SCORE 407746.883
AT ITER 2605 NEW BEST:: SOT 815148 SOS 442872 HAS SOPS 442872 HAS SOUS 407252 HAS SOUPS 407252 WITH SCORE 407694.872
AT ITER 2608 NEW BEST:: SOT 815322 SOS 443046 HAS SOPS 443046 HAS SOUS 407237 HAS SOUPS 407237 WITH SCORE 407680.046
AT ITER 2611 NEW BEST:: SOT 815322 SOS 443005 HAS SOPS 443005 HAS SOUS 407210 HAS SOUPS 407210 WITH SCORE 407653.005
AT ITER 2612 NEW BEST:: SOT 815322 SOS 442914 HAS SOPS 442914 HAS SOUS 407210 HAS SOUPS 407210 WITH SCORE 407652.914
AT ITER 2615 NEW BEST:: SOT 815432 SOS 443005 HAS SOPS 443005 HAS SOUS 407092 HAS SOUPS 407092 WITH SCORE 407535.005
AT ITER 2620 NEW BEST:: SOT 815439 SOS 442909 HAS SOPS 442909 HAS SOUS 407063 HAS SOUPS 407063 WITH SCORE 407505.909
AT ITER 2631 NEW BEST:: SOT 815439 SOS 442868 HAS SOPS 442868 HAS SOUS 407040 HAS SOUPS 407040 WITH SCORE 407482.868
AT ITER 2652 NEW BEST:: SOT 815445 SOS 442914 HAS SOPS 442914 HAS SOUS 407009 HAS SOUPS 407009 WITH SCORE 407451.914
AT ITER 2666 NEW BEST:: SOT 815445 SOS 442909 HAS SOPS 442909 HAS SOUS 407004 HAS SOUPS 407004 WITH SCORE 407446.909
AT ITER 2669 NEW BEST:: SOT 815445 SOS 442859 HAS SOPS 442859 HAS SOUS 407004 HAS SOUPS 407004 WITH SCORE 407446.859
AT ITER 2670 NEW BEST:: SOT 814995 SOS 442409 HAS SOPS 442409 HAS SOUS 406646 HAS SOUPS 406646 WITH SCORE 407088.409
AT ITER 2671 NEW BEST:: SOT 814995 SOS 442204 HAS SOPS 442204 HAS SOUS 406646 HAS SOUPS 406646 WITH SCORE 407088.204
AT ITER 2674 NEW BEST:: SOT 814995 SOS 442186 HAS SOPS 442186 HAS SOUS 406646 HAS SOUPS 406646 WITH SCORE 407088.186
AT ITER 2676 NEW BEST:: SOT 814995 SOS 442099 HAS SOPS 442099 HAS SOUS 406646 HAS SOUPS 406646 WITH SCORE 407088.099
AT ITER 2678 NEW BEST:: SOT 815007 SOS 442033 HAS SOPS 442033 HAS SOUS 406636 HAS SOUPS 406636 WITH SCORE 407078.033
AT ITER 2680 NEW BEST:: SOT 815007 SOS 441990 HAS SOPS 441990 HAS SOUS 406636 HAS SOUPS 406636 WITH SCORE 407077.99
AT ITER 2693 NEW BEST:: SOT 815007 SOS 441825 HAS SOPS 441825 HAS SOUS 406636 HAS SOUPS 406636 WITH SCORE 407077.825
AT ITER 2700 NEW BEST:: SOT 815117 SOS 441493 HAS SOPS 441493 HAS SOUS 406256 HAS SOUPS 406256 WITH SCORE 406697.493
AT ITER 2732 NEW BEST:: SOT 815047 SOS 441527 HAS SOPS 441527 HAS SOUS 406217 HAS SOUPS 406217 WITH SCORE 406658.527
AT ITER 2741 NEW BEST:: SOT 815047 SOS 441520 HAS SOPS 441520 HAS SOUS 406217 HAS SOUPS 406217 WITH SCORE 406658.52
AT ITER 2749 NEW BEST:: SOT 815047 SOS 441592 HAS SOPS 441592 HAS SOUS 406196 HAS SOUPS 406196 WITH SCORE 406637.592
AT ITER 2751 NEW BEST:: SOT 815047 SOS 441565 HAS SOPS 441565 HAS SOUS 406196 HAS SOUPS 406196 WITH SCORE 406637.565
AT ITER 2753 NEW BEST:: SOT 815047 SOS 441562 HAS SOPS 441562 HAS SOUS 406196 HAS SOUPS 406196 WITH SCORE 406637.562
AT ITER 2761 NEW BEST:: SOT 815017 SOS 441632 HAS SOPS 441632 HAS SOUS 406164 HAS SOUPS 406164 WITH SCORE 406605.632
AT ITER 2763 NEW BEST:: SOT 815017 SOS 441608 HAS SOPS 441608 HAS SOUS 406164 HAS SOUPS 406164 WITH SCORE 406605.608
AT ITER 2770 NEW BEST:: SOT 815017 SOS 441307 HAS SOPS 441307 HAS SOUS 406164 HAS SOUPS 406164 WITH SCORE 406605.307
AT ITER 2771 NEW BEST:: SOT 814422 SOS 440913 HAS SOPS 440913 HAS SOUS 405882 HAS SOUPS 405882 WITH SCORE 406322.913
AT ITER 2788 NEW BEST:: SOT 814422 SOS 440872 HAS SOPS 440872 HAS SOUS 405882 HAS SOUPS 405882 WITH SCORE 406322.872
AT ITER 2800 NEW BEST:: SOT 814422 SOS 440803 HAS SOPS 440803 HAS SOUS 405882 HAS SOUPS 405882 WITH SCORE 406322.803
AT ITER 2806 NEW BEST:: SOT 814422 SOS 440739 HAS SOPS 440739 HAS SOUS 405882 HAS SOUPS 405882 WITH SCORE 406322.739
AT ITER 2831 NEW BEST:: SOT 814389 SOS 440706 HAS SOPS 440706 HAS SOUS 405711 HAS SOUPS 405711 WITH SCORE 406151.706
AT ITER 2842 NEW BEST:: SOT 814389 SOS 440641 HAS SOPS 440641 HAS SOUS 405711 HAS SOUPS 405711 WITH SCORE 406151.641
AT ITER 2843 NEW BEST:: SOT 814389 SOS 440514 HAS SOPS 440514 HAS SOUS 405711 HAS SOUPS 405711 WITH SCORE 406151.514
AT ITER 2860 NEW BEST:: SOT 814389 SOS 440469 HAS SOPS 440469 HAS SOUS 405711 HAS SOUPS 405711 WITH SCORE 406151.469
AT ITER 2865 NEW BEST:: SOT 814389 SOS 440232 HAS SOPS 440232 HAS SOUS 405711 HAS SOUPS 405711 WITH SCORE 406151.232
AT ITER 2866 NEW BEST:: SOT 813782 SOS 450755 HAS SOPS 450755 HAS SOUS 405555 HAS SOUPS 405555 WITH SCORE 406005.755
AT ITER 2871 NEW BEST:: SOT 813782 SOS 450689 HAS SOPS 450689 HAS SOUS 405555 HAS SOUPS 405555 WITH SCORE 406005.689
AT ITER 2873 NEW BEST:: SOT 813782 SOS 450674 HAS SOPS 450674 HAS SOUS 405555 HAS SOUPS 405555 WITH SCORE 406005.674
AT ITER 2910 NEW BEST:: SOT 813782 SOS 450559 HAS SOPS 450559 HAS SOUS 405555 HAS SOUPS 405555 WITH SCORE 406005.559
AT ITER 2914 NEW BEST:: SOT 813123 SOS 449900 HAS SOPS 449900 HAS SOUS 404896 HAS SOUPS 404896 WITH SCORE 405345.9
AT ITER 2918 NEW BEST:: SOT 813074 SOS 449819 HAS SOPS 449819 HAS SOUS 404794 HAS SOUPS 404794 WITH SCORE 405243.819
AT ITER 2924 NEW BEST:: SOT 813074 SOS 449694 HAS SOPS 449694 HAS SOUS 404794 HAS SOUPS 404794 WITH SCORE 405243.694
AT ITER 2930 NEW BEST:: SOT 813074 SOS 449658 HAS SOPS 449658 HAS SOUS 404794 HAS SOUPS 404794 WITH SCORE 405243.658
AT ITER 2941 NEW BEST:: SOT 813074 SOS 449602 HAS SOPS 449602 HAS SOUS 404776 HAS SOUPS 404776 WITH SCORE 405225.602
AT ITER 2942 NEW BEST:: SOT 812733 SOS 449261 HAS SOPS 449261 HAS SOUS 404435 HAS SOUPS 404435 WITH SCORE 404884.261
AT ITER 2946 NEW BEST:: SOT 812734 SOS 449150 HAS SOPS 449150 HAS SOUS 404320 HAS SOUPS 404320 WITH SCORE 404769.15
AT ITER 2948 NEW BEST:: SOT 812734 SOS 449122 HAS SOPS 449122 HAS SOUS 404320 HAS SOUPS 404320 WITH SCORE 404769.122
AT ITER 2977 NEW BEST:: SOT 812715 SOS 449094 HAS SOPS 449094 HAS SOUS 404286 HAS SOUPS 404286 WITH SCORE 404735.094
AT ITER 2991 NEW BEST:: SOT 812715 SOS 448777 HAS SOPS 448777 HAS SOUS 404269 HAS SOUPS 404269 WITH SCORE 404717.777
AT ITER 2992 NEW BEST:: SOT 812604 SOS 448711 HAS SOPS 448711 HAS SOUS 404243 HAS SOUPS 404243 WITH SCORE 404691.711
AT ITER 3030 NEW BEST:: SOT 812601 SOS 448708 HAS SOPS 448708 HAS SOUS 404163 HAS SOUPS 404163 WITH SCORE 404611.708
AT ITER 3042 NEW BEST:: SOT 811863 SOS 448748 HAS SOPS 448748 HAS SOUS 404068 HAS SOUPS 404068 WITH SCORE 404516.748
AT ITER 3043 NEW BEST:: SOT 811863 SOS 441307 HAS SOPS 441307 HAS SOUS 404068 HAS SOUPS 404068 WITH SCORE 404509.307
AT ITER 3048 NEW BEST:: SOT 811863 SOS 441275 HAS SOPS 441275 HAS SOUS 404068 HAS SOUPS 404068 WITH SCORE 404509.275
AT ITER 3052 NEW BEST:: SOT 811863 SOS 441210 HAS SOPS 441210 HAS SOUS 404068 HAS SOUPS 404068 WITH SCORE 404509.21
AT ITER 3076 NEW BEST:: SOT 811863 SOS 441196 HAS SOPS 441196 HAS SOUS 404054 HAS SOUPS 404054 WITH SCORE 404495.196
AT ITER 3090 NEW BEST:: SOT 811803 SOS 441139 HAS SOPS 441139 HAS SOUS 403994 HAS SOUPS 403994 WITH SCORE 404435.139
AT ITER 3101 NEW BEST:: SOT 811803 SOS 441026 HAS SOPS 441026 HAS SOUS 403994 HAS SOUPS 403994 WITH SCORE 404435.026
AT ITER 3102 NEW BEST:: SOT 811803 SOS 440989 HAS SOPS 440989 HAS SOUS 403994 HAS SOUPS 403994 WITH SCORE 404434.989
AT ITER 3103 NEW BEST:: SOT 811803 SOS 440830 HAS SOPS 440830 HAS SOUS 403994 HAS SOUPS 403994 WITH SCORE 404434.83
AT ITER 3106 NEW BEST:: SOT 811436 SOS 440484 HAS SOPS 440484 HAS SOUS 403929 HAS SOUPS 403929 WITH SCORE 404369.484
AT ITER 3108 NEW BEST:: SOT 811436 SOS 440457 HAS SOPS 440457 HAS SOUS 403929 HAS SOUPS 403929 WITH SCORE 404369.457
AT ITER 3114 NEW BEST:: SOT 811436 SOS 440359 HAS SOPS 440359 HAS SOUS 403929 HAS SOUPS 403929 WITH SCORE 404369.359
AT ITER 3118 NEW BEST:: SOT 811482 SOS 440329 HAS SOPS 440329 HAS SOUS 403919 HAS SOUPS 403919 WITH SCORE 404359.329
AT ITER 3124 NEW BEST:: SOT 811497 SOS 440305 HAS SOPS 440305 HAS SOUS 403907 HAS SOUPS 403907 WITH SCORE 404347.305
AT ITER 3125 NEW BEST:: SOT 811244 SOS 440065 HAS SOPS 440065 HAS SOUS 403798 HAS SOUPS 403798 WITH SCORE 404238.065
AT ITER 3134 NEW BEST:: SOT 811244 SOS 438576 HAS SOPS 438576 HAS SOUS 403798 HAS SOUPS 403798 WITH SCORE 404236.576
AT ITER 3141 NEW BEST:: SOT 811205 SOS 438433 HAS SOPS 438433 HAS SOUS 403489 HAS SOUPS 403489 WITH SCORE 403927.433
AT ITER 3142 NEW BEST:: SOT 811205 SOS 438394 HAS SOPS 438394 HAS SOUS 403489 HAS SOUPS 403489 WITH SCORE 403927.394
AT ITER 3143 NEW BEST:: SOT 811107 SOS 438323 HAS SOPS 438323 HAS SOUS 403437 HAS SOUPS 403437 WITH SCORE 403875.323
AT ITER 3156 NEW BEST:: SOT 811107 SOS 438219 HAS SOPS 438219 HAS SOUS 403437 HAS SOUPS 403437 WITH SCORE 403875.219
AT ITER 3186 NEW BEST:: SOT 811102 SOS 438214 HAS SOPS 438214 HAS SOUS 403422 HAS SOUPS 403422 WITH SCORE 403860.214
AT ITER 3199 NEW BEST:: SOT 811102 SOS 438071 HAS SOPS 438071 HAS SOUS 403422 HAS SOUPS 403422 WITH SCORE 403860.071
AT ITER 3203 NEW BEST:: SOT 811102 SOS 438041 HAS SOPS 438041 HAS SOUS 403392 HAS SOUPS 403392 WITH SCORE 403830.041
AT ITER 3212 NEW BEST:: SOT 811102 SOS 437993 HAS SOPS 437993 HAS SOUS 403392 HAS SOUPS 403392 WITH SCORE 403829.993
AT ITER 3219 NEW BEST:: SOT 811102 SOS 438083 HAS SOPS 438083 HAS SOUS 403380 HAS SOUPS 403380 WITH SCORE 403818.083
AT ITER 3224 NEW BEST:: SOT 811102 SOS 437918 HAS SOPS 437918 HAS SOUS 403215 HAS SOUPS 403215 WITH SCORE 403652.918
AT ITER 3229 NEW BEST:: SOT 811102 SOS 437899 HAS SOPS 437899 HAS SOUS 403199 HAS SOUPS 403199 WITH SCORE 403636.899
AT ITER 3236 NEW BEST:: SOT 811102 SOS 437777 HAS SOPS 437777 HAS SOUS 403199 HAS SOUPS 403199 WITH SCORE 403636.777
AT ITER 3239 NEW BEST:: SOT 811102 SOS 437455 HAS SOPS 437455 HAS SOUS 402917 HAS SOUPS 402917 WITH SCORE 403354.455
AT ITER 3261 NEW BEST:: SOT 811112 SOS 437428 HAS SOPS 437428 HAS SOUS 402904 HAS SOUPS 402904 WITH SCORE 403341.428
AT ITER 3266 NEW BEST:: SOT 811112 SOS 437431 HAS SOPS 437431 HAS SOUS 402866 HAS SOUPS 402866 WITH SCORE 403303.431
AT ITER 3281 NEW BEST:: SOT 811112 SOS 437398 HAS SOPS 437398 HAS SOUS 402866 HAS SOUPS 402866 WITH SCORE 403303.398
AT ITER 3284 NEW BEST:: SOT 811112 SOS 437379 HAS SOPS 437379 HAS SOUS 402866 HAS SOUPS 402866 WITH SCORE 403303.379
AT ITER 3291 NEW BEST:: SOT 811040 SOS 437240 HAS SOPS 437240 HAS SOUS 402709 HAS SOUPS 402709 WITH SCORE 403146.24
AT ITER 3294 NEW BEST:: SOT 811040 SOS 437207 HAS SOPS 437207 HAS SOUS 402709 HAS SOUPS 402709 WITH SCORE 403146.207
AT ITER 3303 NEW BEST:: SOT 811040 SOS 437190 HAS SOPS 437190 HAS SOUS 402709 HAS SOUPS 402709 WITH SCORE 403146.19
AT ITER 3304 NEW BEST:: SOT 811040 SOS 437169 HAS SOPS 437169 HAS SOUS 402709 HAS SOUPS 402709 WITH SCORE 403146.169
AT ITER 3312 NEW BEST:: SOT 811040 SOS 437169 HAS SOPS 437169 HAS SOUS 402703 HAS SOUPS 402703 WITH SCORE 403140.169
AT ITER 3313 NEW BEST:: SOT 811040 SOS 436964 HAS SOPS 436964 HAS SOUS 402703 HAS SOUPS 402703 WITH SCORE 403139.964
AT ITER 3330 NEW BEST:: SOT 811028 SOS 436952 HAS SOPS 436952 HAS SOUS 402691 HAS SOUPS 402691 WITH SCORE 403127.952
AT ITER 3332 NEW BEST:: SOT 811028 SOS 436760 HAS SOPS 436760 HAS SOUS 402691 HAS SOUPS 402691 WITH SCORE 403127.76
AT ITER 3339 NEW BEST:: SOT 811028 SOS 436751 HAS SOPS 436751 HAS SOUS 402691 HAS SOUPS 402691 WITH SCORE 403127.751
AT ITER 3340 NEW BEST:: SOT 811058 SOS 435848 HAS SOPS 435848 HAS SOUS 402470 HAS SOUPS 402470 WITH SCORE 402905.848
AT ITER 3345 NEW BEST:: SOT 811025 SOS 435825 HAS SOPS 435825 HAS SOUS 402434 HAS SOUPS 402434 WITH SCORE 402869.825
AT ITER 3351 NEW BEST:: SOT 811025 SOS 435603 HAS SOPS 435603 HAS SOUS 402434 HAS SOUPS 402434 WITH SCORE 402869.603
AT ITER 3357 NEW BEST:: SOT 811025 SOS 435308 HAS SOPS 435308 HAS SOUS 402434 HAS SOUPS 402434 WITH SCORE 402869.308
AT ITER 3364 NEW BEST:: SOT 811025 SOS 435171 HAS SOPS 435171 HAS SOUS 402434 HAS SOUPS 402434 WITH SCORE 402869.171
AT ITER 3371 NEW BEST:: SOT 810994 SOS 435140 HAS SOPS 435140 HAS SOUS 402403 HAS SOUPS 402403 WITH SCORE 402838.14
AT ITER 3380 NEW BEST:: SOT 810994 SOS 434945 HAS SOPS 434945 HAS SOUS 402269 HAS SOUPS 402269 WITH SCORE 402703.945
AT ITER 3389 NEW BEST:: SOT 810820 SOS 434811 HAS SOPS 434811 HAS SOUS 402205 HAS SOUPS 402205 WITH SCORE 402639.811
AT ITER 3396 NEW BEST:: SOT 810820 SOS 434787 HAS SOPS 434787 HAS SOUS 402205 HAS SOUPS 402205 WITH SCORE 402639.787
AT ITER 3403 NEW BEST:: SOT 810820 SOS 434733 HAS SOPS 434733 HAS SOUS 402205 HAS SOUPS 402205 WITH SCORE 402639.733
AT ITER 3404 NEW BEST:: SOT 810820 SOS 434571 HAS SOPS 434571 HAS SOUS 402205 HAS SOUPS 402205 WITH SCORE 402639.571
AT ITER 3414 NEW BEST:: SOT 810820 SOS 434343 HAS SOPS 434343 HAS SOUS 402205 HAS SOUPS 402205 WITH SCORE 402639.343
AT ITER 3425 NEW BEST:: SOT 810820 SOS 434130 HAS SOPS 434130 HAS SOUS 402205 HAS SOUPS 402205 WITH SCORE 402639.13
AT ITER 3426 NEW BEST:: SOT 810794 SOS 433966 HAS SOPS 433966 HAS SOUS 402168 HAS SOUPS 402168 WITH SCORE 402601.966
AT ITER 3428 NEW BEST:: SOT 810801 SOS 433870 HAS SOPS 433870 HAS SOUS 402075 HAS SOUPS 402075 WITH SCORE 402508.87
AT ITER 3429 NEW BEST:: SOT 810485 SOS 433576 HAS SOPS 433576 HAS SOUS 401892 HAS SOUPS 401892 WITH SCORE 402325.576
AT ITER 3431 NEW BEST:: SOT 810485 SOS 433313 HAS SOPS 433313 HAS SOUS 401860 HAS SOUPS 401860 WITH SCORE 402293.313
AT ITER 3434 NEW BEST:: SOT 810480 SOS 433254 HAS SOPS 433254 HAS SOUS 401837 HAS SOUPS 401837 WITH SCORE 402270.254
AT ITER 3446 NEW BEST:: SOT 810391 SOS 433165 HAS SOPS 433165 HAS SOUS 401748 HAS SOUPS 401748 WITH SCORE 402181.165
AT ITER 3450 NEW BEST:: SOT 810391 SOS 433109 HAS SOPS 433109 HAS SOUS 401721 HAS SOUPS 401721 WITH SCORE 402154.109
AT ITER 3451 NEW BEST:: SOT 810391 SOS 432993 HAS SOPS 432993 HAS SOUS 401721 HAS SOUPS 401721 WITH SCORE 402153.993
AT ITER 3459 NEW BEST:: SOT 810391 SOS 432904 HAS SOPS 432904 HAS SOUS 401721 HAS SOUPS 401721 WITH SCORE 402153.904
AT ITER 3462 NEW BEST:: SOT 810009 SOS 432738 HAS SOPS 432738 HAS SOUS 401470 HAS SOUPS 401470 WITH SCORE 401902.738
AT ITER 3465 NEW BEST:: SOT 809882 SOS 432611 HAS SOPS 432611 HAS SOUS 401417 HAS SOUPS 401417 WITH SCORE 401849.611
AT ITER 3474 NEW BEST:: SOT 809882 SOS 432534 HAS SOPS 432534 HAS SOUS 401381 HAS SOUPS 401381 WITH SCORE 401813.534
AT ITER 3477 NEW BEST:: SOT 809882 SOS 432511 HAS SOPS 432511 HAS SOUS 401381 HAS SOUPS 401381 WITH SCORE 401813.511
AT ITER 3483 NEW BEST:: SOT 809882 SOS 432347 HAS SOPS 432347 HAS SOUS 401381 HAS SOUPS 401381 WITH SCORE 401813.347
AT ITER 3492 NEW BEST:: SOT 809243 SOS 432199 HAS SOPS 432199 HAS SOUS 401089 HAS SOUPS 401089 WITH SCORE 401521.199
AT ITER 3506 NEW BEST:: SOT 809240 SOS 432196 HAS SOPS 432196 HAS SOUS 401024 HAS SOUPS 401024 WITH SCORE 401456.196
AT ITER 3511 NEW BEST:: SOT 809240 SOS 432164 HAS SOPS 432164 HAS SOUS 401024 HAS SOUPS 401024 WITH SCORE 401456.164
AT ITER 3524 NEW BEST:: SOT 809240 SOS 432125 HAS SOPS 432125 HAS SOUS 401024 HAS SOUPS 401024 WITH SCORE 401456.125
AT ITER 3526 NEW BEST:: SOT 809240 SOS 432292 HAS SOPS 432292 HAS SOUS 401009 HAS SOUPS 401009 WITH SCORE 401441.292
AT ITER 3530 NEW BEST:: SOT 809240 SOS 429613 HAS SOPS 429613 HAS SOUS 400956 HAS SOUPS 400956 WITH SCORE 401385.613
AT ITER 3531 NEW BEST:: SOT 809240 SOS 429552 HAS SOPS 429552 HAS SOUS 400956 HAS SOUPS 400956 WITH SCORE 401385.552
AT ITER 3535 NEW BEST:: SOT 808872 SOS 431778 HAS SOPS 431778 HAS SOUS 400797 HAS SOUPS 400797 WITH SCORE 401228.778
AT ITER 3537 NEW BEST:: SOT 808872 SOS 431774 HAS SOPS 431774 HAS SOUS 400797 HAS SOUPS 400797 WITH SCORE 401228.774
AT ITER 3549 NEW BEST:: SOT 808824 SOS 431628 HAS SOPS 431628 HAS SOUS 400700 HAS SOUPS 400700 WITH SCORE 401131.628
AT ITER 3569 NEW BEST:: SOT 808824 SOS 431477 HAS SOPS 431477 HAS SOUS 400700 HAS SOUPS 400700 WITH SCORE 401131.477
AT ITER 3586 NEW BEST:: SOT 808824 SOS 431719 HAS SOPS 431719 HAS SOUS 400692 HAS SOUPS 400692 WITH SCORE 401123.719
AT ITER 3588 NEW BEST:: SOT 808364 SOS 431326 HAS SOPS 431326 HAS SOUS 400389 HAS SOUPS 400389 WITH SCORE 400820.326
AT ITER 3593 NEW BEST:: SOT 808054 SOS 431117 HAS SOPS 431117 HAS SOUS 400299 HAS SOUPS 400299 WITH SCORE 400730.117
AT ITER 3597 NEW BEST:: SOT 808054 SOS 430942 HAS SOPS 430942 HAS SOUS 400299 HAS SOUPS 400299 WITH SCORE 400729.942
AT ITER 3605 NEW BEST:: SOT 808055 SOS 430794 HAS SOPS 430794 HAS SOUS 400281 HAS SOUPS 400281 WITH SCORE 400711.794
AT ITER 3617 NEW BEST:: SOT 808044 SOS 430764 HAS SOPS 430764 HAS SOUS 400257 HAS SOUPS 400257 WITH SCORE 400687.764
AT ITER 3661 NEW BEST:: SOT 807485 SOS 431232 HAS SOPS 431232 HAS SOUS 400136 HAS SOUPS 400136 WITH SCORE 400567.232
AT ITER 3683 NEW BEST:: SOT 807473 SOS 431220 HAS SOPS 431220 HAS SOUS 400124 HAS SOUPS 400124 WITH SCORE 400555.22
AT ITER 3707 NEW BEST:: SOT 807473 SOS 431029 HAS SOPS 431029 HAS SOUS 400124 HAS SOUPS 400124 WITH SCORE 400555.029
AT ITER 3709 NEW BEST:: SOT 807254 SOS 430810 HAS SOPS 430810 HAS SOUS 399905 HAS SOUPS 399905 WITH SCORE 400335.81
AT ITER 3714 NEW BEST:: SOT 807251 SOS 430807 HAS SOPS 430807 HAS SOUS 399902 HAS SOUPS 399902 WITH SCORE 400332.807
AT ITER 3730 NEW BEST:: SOT 807251 SOS 430706 HAS SOPS 430706 HAS SOUS 399902 HAS SOUPS 399902 WITH SCORE 400332.706
AT ITER 3737 NEW BEST:: SOT 807251 SOS 430706 HAS SOPS 430706 HAS SOUS 399767 HAS SOUPS 399767 WITH SCORE 400197.706
AT ITER 3738 NEW BEST:: SOT 807252 SOS 430539 HAS SOPS 430539 HAS SOUS 399673 HAS SOUPS 399673 WITH SCORE 400103.539
AT ITER 3751 NEW BEST:: SOT 807252 SOS 430519 HAS SOPS 430519 HAS SOUS 399673 HAS SOUPS 399673 WITH SCORE 400103.519
AT ITER 3756 NEW BEST:: SOT 807212 SOS 430440 HAS SOPS 430440 HAS SOUS 399614 HAS SOUPS 399614 WITH SCORE 400044.44
AT ITER 3758 NEW BEST:: SOT 807212 SOS 430400 HAS SOPS 430400 HAS SOUS 399614 HAS SOUPS 399614 WITH SCORE 400044.4
AT ITER 3765 NEW BEST:: SOT 807212 SOS 430328 HAS SOPS 430328 HAS SOUS 399614 HAS SOUPS 399614 WITH SCORE 400044.328
AT ITER 3770 NEW BEST:: SOT 806743 SOS 429890 HAS SOPS 429890 HAS SOUS 399259 HAS SOUPS 399259 WITH SCORE 399688.89
AT ITER 3774 NEW BEST:: SOT 806560 SOS 429597 HAS SOPS 429597 HAS SOUS 399158 HAS SOUPS 399158 WITH SCORE 399587.597
AT ITER 3802 NEW BEST:: SOT 806560 SOS 429584 HAS SOPS 429584 HAS SOUS 399158 HAS SOUPS 399158 WITH SCORE 399587.584
AT ITER 3807 NEW BEST:: SOT 806560 SOS 429617 HAS SOPS 429617 HAS SOUS 399152 HAS SOUPS 399152 WITH SCORE 399581.617
AT ITER 3816 NEW BEST:: SOT 806560 SOS 429611 HAS SOPS 429611 HAS SOUS 399146 HAS SOUPS 399146 WITH SCORE 399575.611
AT ITER 3827 NEW BEST:: SOT 806560 SOS 429458 HAS SOPS 429458 HAS SOUS 399146 HAS SOUPS 399146 WITH SCORE 399575.458
AT ITER 3828 NEW BEST:: SOT 806560 SOS 429325 HAS SOPS 429325 HAS SOUS 399146 HAS SOUPS 399146 WITH SCORE 399575.325
AT ITER 3835 NEW BEST:: SOT 806483 SOS 430104 HAS SOPS 430104 HAS SOUS 399142 HAS SOUPS 399142 WITH SCORE 399572.104
AT ITER 3846 NEW BEST:: SOT 806483 SOS 430037 HAS SOPS 430037 HAS SOUS 399142 HAS SOUPS 399142 WITH SCORE 399572.037
AT ITER 3854 NEW BEST:: SOT 806483 SOS 430084 HAS SOPS 430084 HAS SOUS 399101 HAS SOUPS 399101 WITH SCORE 399531.084
AT ITER 3856 NEW BEST:: SOT 806432 SOS 430033 HAS SOPS 430033 HAS SOUS 399050 HAS SOUPS 399050 WITH SCORE 399480.033
AT ITER 3861 NEW BEST:: SOT 806426 SOS 430027 HAS SOPS 430027 HAS SOUS 399044 HAS SOUPS 399044 WITH SCORE 399474.027
AT ITER 3873 NEW BEST:: SOT 806399 SOS 430000 HAS SOPS 430000 HAS SOUS 399017 HAS SOUPS 399017 WITH SCORE 399447.0
AT ITER 3890 NEW BEST:: SOT 806399 SOS 429895 HAS SOPS 429895 HAS SOUS 399017 HAS SOUPS 399017 WITH SCORE 399446.895
AT ITER 3906 NEW BEST:: SOT 806501 SOS 429841 HAS SOPS 429841 HAS SOUS 398936 HAS SOUPS 398936 WITH SCORE 399365.841
AT ITER 3919 NEW BEST:: SOT 806483 SOS 429774 HAS SOPS 429774 HAS SOUS 398802 HAS SOUPS 398802 WITH SCORE 399231.774
AT ITER 3922 NEW BEST:: SOT 806483 SOS 429698 HAS SOPS 429698 HAS SOUS 398802 HAS SOUPS 398802 WITH SCORE 399231.698
AT ITER 3927 NEW BEST:: SOT 806483 SOS 429509 HAS SOPS 429509 HAS SOUS 398802 HAS SOUPS 398802 WITH SCORE 399231.509
AT ITER 3940 NEW BEST:: SOT 806483 SOS 429485 HAS SOPS 429485 HAS SOUS 398802 HAS SOUPS 398802 WITH SCORE 399231.485
AT ITER 3948 NEW BEST:: SOT 806483 SOS 429445 HAS SOPS 429445 HAS SOUS 398802 HAS SOUPS 398802 WITH SCORE 399231.445
AT ITER 3950 NEW BEST:: SOT 806466 SOS 429567 HAS SOPS 429567 HAS SOUS 398738 HAS SOUPS 398738 WITH SCORE 399167.567
AT ITER 3955 NEW BEST:: SOT 806466 SOS 429379 HAS SOPS 429379 HAS SOUS 398738 HAS SOUPS 398738 WITH SCORE 399167.379
AT ITER 3960 NEW BEST:: SOT 806461 SOS 429165 HAS SOPS 429165 HAS SOUS 398678 HAS SOUPS 398678 WITH SCORE 399107.165
AT ITER 3964 NEW BEST:: SOT 804697 SOS 427448 HAS SOPS 427448 HAS SOUS 396961 HAS SOUPS 396961 WITH SCORE 397388.448
AT ITER 3984 NEW BEST:: SOT 804697 SOS 427486 HAS SOPS 427486 HAS SOUS 396940 HAS SOUPS 396940 WITH SCORE 397367.486
AT ITER 4011 NEW BEST:: SOT 803654 SOS 426602 HAS SOPS 426602 HAS SOUS 396363 HAS SOUPS 396363 WITH SCORE 396789.602
AT ITER 4030 NEW BEST:: SOT 803654 SOS 426349 HAS SOPS 426349 HAS SOUS 396282 HAS SOUPS 396282 WITH SCORE 396708.349
AT ITER 4038 NEW BEST:: SOT 803652 SOS 426347 HAS SOPS 426347 HAS SOUS 396280 HAS SOUPS 396280 WITH SCORE 396706.347
AT ITER 4039 NEW BEST:: SOT 803642 SOS 426337 HAS SOPS 426337 HAS SOUS 396270 HAS SOUPS 396270 WITH SCORE 396696.337
AT ITER 4043 NEW BEST:: SOT 803376 SOS 426071 HAS SOPS 426071 HAS SOUS 396007 HAS SOUPS 396007 WITH SCORE 396433.071
AT ITER 4049 NEW BEST:: SOT 803357 SOS 426052 HAS SOPS 426052 HAS SOUS 395967 HAS SOUPS 395967 WITH SCORE 396393.052
AT ITER 4053 NEW BEST:: SOT 803357 SOS 425937 HAS SOPS 425937 HAS SOUS 395967 HAS SOUPS 395967 WITH SCORE 396392.937
AT ITER 4084 NEW BEST:: SOT 803357 SOS 425883 HAS SOPS 425883 HAS SOUS 395967 HAS SOUPS 395967 WITH SCORE 396392.883
AT ITER 4085 NEW BEST:: SOT 803386 SOS 425849 HAS SOPS 425849 HAS SOUS 395967 HAS SOUPS 395967 WITH SCORE 396392.849
AT ITER 4095 NEW BEST:: SOT 803203 SOS 425666 HAS SOPS 425666 HAS SOUS 395784 HAS SOUPS 395784 WITH SCORE 396209.666
AT ITER 4107 NEW BEST:: SOT 803222 SOS 425354 HAS SOPS 425354 HAS SOUS 395776 HAS SOUPS 395776 WITH SCORE 396201.354
AT ITER 4111 NEW BEST:: SOT 803193 SOS 425344 HAS SOPS 425344 HAS SOUS 395718 HAS SOUPS 395718 WITH SCORE 396143.344
AT ITER 4118 NEW BEST:: SOT 802587 SOS 425180 HAS SOPS 425180 HAS SOUS 395417 HAS SOUPS 395417 WITH SCORE 395842.18
AT ITER 4123 NEW BEST:: SOT 802587 SOS 425126 HAS SOPS 425126 HAS SOUS 395417 HAS SOUPS 395417 WITH SCORE 395842.126
AT ITER 4141 NEW BEST:: SOT 802556 SOS 425115 HAS SOPS 425115 HAS SOUS 395402 HAS SOUPS 395402 WITH SCORE 395827.115
AT ITER 4153 NEW BEST:: SOT 802556 SOS 424956 HAS SOPS 424956 HAS SOUS 395233 HAS SOUPS 395233 WITH SCORE 395657.956
AT ITER 4158 NEW BEST:: SOT 802556 SOS 424840 HAS SOPS 424840 HAS SOUS 395117 HAS SOUPS 395117 WITH SCORE 395541.84
AT ITER 4171 NEW BEST:: SOT 802556 SOS 424740 HAS SOPS 424740 HAS SOUS 395117 HAS SOUPS 395117 WITH SCORE 395541.74
AT ITER 4182 NEW BEST:: SOT 802535 SOS 424755 HAS SOPS 424755 HAS SOUS 395098 HAS SOUPS 395098 WITH SCORE 395522.755
AT ITER 4189 NEW BEST:: SOT 802535 SOS 424618 HAS SOPS 424618 HAS SOUS 395083 HAS SOUPS 395083 WITH SCORE 395507.618
AT ITER 4197 NEW BEST:: SOT 802522 SOS 424605 HAS SOPS 424605 HAS SOUS 395070 HAS SOUPS 395070 WITH SCORE 395494.605
AT ITER 4206 NEW BEST:: SOT 802522 SOS 424618 HAS SOPS 424618 HAS SOUS 395052 HAS SOUPS 395052 WITH SCORE 395476.618
AT ITER 4215 NEW BEST:: SOT 802522 SOS 424727 HAS SOPS 424727 HAS SOUS 395020 HAS SOUPS 395020 WITH SCORE 395444.727
AT ITER 4223 NEW BEST:: SOT 802522 SOS 424315 HAS SOPS 424315 HAS SOUS 394947 HAS SOUPS 394947 WITH SCORE 395371.315
AT ITER 4225 NEW BEST:: SOT 802522 SOS 424364 HAS SOPS 424364 HAS SOUS 394929 HAS SOUPS 394929 WITH SCORE 395353.364
AT ITER 4231 NEW BEST:: SOT 802503 SOS 424289 HAS SOPS 424289 HAS SOUS 394920 HAS SOUPS 394920 WITH SCORE 395344.289
AT ITER 4232 NEW BEST:: SOT 802489 SOS 424275 HAS SOPS 424275 HAS SOUS 394906 HAS SOUPS 394906 WITH SCORE 395330.275
AT ITER 4238 NEW BEST:: SOT 802467 SOS 424253 HAS SOPS 424253 HAS SOUS 394843 HAS SOUPS 394843 WITH SCORE 395267.253
AT ITER 4242 NEW BEST:: SOT 802467 SOS 424231 HAS SOPS 424231 HAS SOUS 394843 HAS SOUPS 394843 WITH SCORE 395267.231
AT ITER 4246 NEW BEST:: SOT 802426 SOS 424222 HAS SOPS 424222 HAS SOUS 394839 HAS SOUPS 394839 WITH SCORE 395263.222
AT ITER 4266 NEW BEST:: SOT 802426 SOS 424219 HAS SOPS 424219 HAS SOUS 394839 HAS SOUPS 394839 WITH SCORE 395263.219
AT ITER 4280 NEW BEST:: SOT 802426 SOS 424089 HAS SOPS 424089 HAS SOUS 394839 HAS SOUPS 394839 WITH SCORE 395263.089
AT ITER 4285 NEW BEST:: SOT 802426 SOS 424069 HAS SOPS 424069 HAS SOUS 394839 HAS SOUPS 394839 WITH SCORE 395263.069
AT ITER 4298 NEW BEST:: SOT 802397 SOS 424069 HAS SOPS 424069 HAS SOUS 394810 HAS SOUPS 394810 WITH SCORE 395234.069
AT ITER 4301 NEW BEST:: SOT 802025 SOS 423735 HAS SOPS 423735 HAS SOUS 394452 HAS SOUPS 394452 WITH SCORE 394875.735
AT ITER 4304 NEW BEST:: SOT 802025 SOS 423703 HAS SOPS 423703 HAS SOUS 394420 HAS SOUPS 394420 WITH SCORE 394843.703
AT ITER 4311 NEW BEST:: SOT 801869 SOS 423611 HAS SOPS 423611 HAS SOUS 394413 HAS SOUPS 394413 WITH SCORE 394836.611
AT ITER 4316 NEW BEST:: SOT 801744 SOS 423486 HAS SOPS 423486 HAS SOUS 394320 HAS SOUPS 394320 WITH SCORE 394743.486
AT ITER 4355 NEW BEST:: SOT 801744 SOS 423399 HAS SOPS 423399 HAS SOUS 394239 HAS SOUPS 394239 WITH SCORE 394662.399
AT ITER 4359 NEW BEST:: SOT 801730 SOS 423479 HAS SOPS 423479 HAS SOUS 394193 HAS SOUPS 394193 WITH SCORE 394616.479
AT ITER 4365 NEW BEST:: SOT 801730 SOS 422703 HAS SOPS 422703 HAS SOUS 394193 HAS SOUPS 394193 WITH SCORE 394615.703
AT ITER 4387 NEW BEST:: SOT 801730 SOS 422615 HAS SOPS 422615 HAS SOUS 394139 HAS SOUPS 394139 WITH SCORE 394561.615
AT ITER 4392 NEW BEST:: SOT 801730 SOS 422445 HAS SOPS 422445 HAS SOUS 394139 HAS SOUPS 394139 WITH SCORE 394561.445
AT ITER 4398 NEW BEST:: SOT 801700 SOS 422161 HAS SOPS 422161 HAS SOUS 394045 HAS SOUPS 394045 WITH SCORE 394467.161
AT ITER 4420 NEW BEST:: SOT 801707 SOS 422034 HAS SOPS 422034 HAS SOUS 393967 HAS SOUPS 393967 WITH SCORE 394389.034
AT ITER 4423 NEW BEST:: SOT 801707 SOS 421913 HAS SOPS 421913 HAS SOUS 393899 HAS SOUPS 393899 WITH SCORE 394320.913
AT ITER 4424 NEW BEST:: SOT 801707 SOS 421892 HAS SOPS 421892 HAS SOUS 393899 HAS SOUPS 393899 WITH SCORE 394320.892
AT ITER 4429 NEW BEST:: SOT 801651 SOS 421787 HAS SOPS 421787 HAS SOUS 393842 HAS SOUPS 393842 WITH SCORE 394263.787
AT ITER 4436 NEW BEST:: SOT 801651 SOS 421777 HAS SOPS 421777 HAS SOUS 393842 HAS SOUPS 393842 WITH SCORE 394263.777
AT ITER 4453 NEW BEST:: SOT 801651 SOS 421718 HAS SOPS 421718 HAS SOUS 393842 HAS SOUPS 393842 WITH SCORE 394263.718
AT ITER 4475 NEW BEST:: SOT 801609 SOS 421597 HAS SOPS 421597 HAS SOUS 393805 HAS SOUPS 393805 WITH SCORE 394226.597
AT ITER 4503 NEW BEST:: SOT 801609 SOS 421541 HAS SOPS 421541 HAS SOUS 393749 HAS SOUPS 393749 WITH SCORE 394170.541
AT ITER 4507 NEW BEST:: SOT 801609 SOS 421406 HAS SOPS 421406 HAS SOUS 393749 HAS SOUPS 393749 WITH SCORE 394170.406
AT ITER 4520 NEW BEST:: SOT 801609 SOS 421365 HAS SOPS 421365 HAS SOUS 393749 HAS SOUPS 393749 WITH SCORE 394170.365
AT ITER 4522 NEW BEST:: SOT 801609 SOS 421362 HAS SOPS 421362 HAS SOUS 393749 HAS SOUPS 393749 WITH SCORE 394170.362
AT ITER 4529 NEW BEST:: SOT 800780 SOS 420498 HAS SOPS 420498 HAS SOUS 393231 HAS SOUPS 393231 WITH SCORE 393651.498
AT ITER 4536 NEW BEST:: SOT 800749 SOS 420552 HAS SOPS 420552 HAS SOUS 393216 HAS SOUPS 393216 WITH SCORE 393636.552
AT ITER 4538 NEW BEST:: SOT 800749 SOS 420468 HAS SOPS 420468 HAS SOUS 393216 HAS SOUPS 393216 WITH SCORE 393636.468
AT ITER 4542 NEW BEST:: SOT 800749 SOS 420423 HAS SOPS 420423 HAS SOUS 393216 HAS SOUPS 393216 WITH SCORE 393636.423
AT ITER 4545 NEW BEST:: SOT 800721 SOS 422284 HAS SOPS 422284 HAS SOUS 393207 HAS SOUPS 393207 WITH SCORE 393629.284
AT ITER 4547 NEW BEST:: SOT 800721 SOS 422231 HAS SOPS 422231 HAS SOUS 393207 HAS SOUPS 393207 WITH SCORE 393629.231
AT ITER 4555 NEW BEST:: SOT 800692 SOS 422384 HAS SOPS 422384 HAS SOUS 393182 HAS SOUPS 393182 WITH SCORE 393604.384
AT ITER 4558 NEW BEST:: SOT 800451 SOS 422143 HAS SOPS 422143 HAS SOUS 392957 HAS SOUPS 392957 WITH SCORE 393379.143
AT ITER 4561 NEW BEST:: SOT 800462 SOS 421906 HAS SOPS 421906 HAS SOUS 392851 HAS SOUPS 392851 WITH SCORE 393272.906
AT ITER 4564 NEW BEST:: SOT 800514 SOS 422301 HAS SOPS 422301 HAS SOUS 392796 HAS SOUPS 392796 WITH SCORE 393218.301
AT ITER 4590 NEW BEST:: SOT 800514 SOS 422138 HAS SOPS 422138 HAS SOUS 392739 HAS SOUPS 392739 WITH SCORE 393161.138
AT ITER 4607 NEW BEST:: SOT 800563 SOS 422096 HAS SOPS 422096 HAS SOUS 392715 HAS SOUPS 392715 WITH SCORE 393137.096
AT ITER 4619 NEW BEST:: SOT 800563 SOS 422096 HAS SOPS 422096 HAS SOUS 392682 HAS SOUPS 392682 WITH SCORE 393104.096
AT ITER 4628 NEW BEST:: SOT 800563 SOS 422047 HAS SOPS 422047 HAS SOUS 392682 HAS SOUPS 392682 WITH SCORE 393104.047
AT ITER 4629 NEW BEST:: SOT 800563 SOS 421922 HAS SOPS 421922 HAS SOUS 392682 HAS SOUPS 392682 WITH SCORE 393103.922
AT ITER 4633 NEW BEST:: SOT 800563 SOS 421866 HAS SOPS 421866 HAS SOUS 392682 HAS SOUPS 392682 WITH SCORE 393103.866
AT ITER 4647 NEW BEST:: SOT 800632 SOS 421687 HAS SOPS 421687 HAS SOUS 392673 HAS SOUPS 392673 WITH SCORE 393094.687
AT ITER 4659 NEW BEST:: SOT 800642 SOS 421697 HAS SOPS 421697 HAS SOUS 392637 HAS SOUPS 392637 WITH SCORE 393058.697
AT ITER 4661 NEW BEST:: SOT 800642 SOS 421671 HAS SOPS 421671 HAS SOUS 392637 HAS SOUPS 392637 WITH SCORE 393058.671
AT ITER 4663 NEW BEST:: SOT 800642 SOS 421523 HAS SOPS 421523 HAS SOUS 392569 HAS SOUPS 392569 WITH SCORE 392990.523
AT ITER 4675 NEW BEST:: SOT 800642 SOS 421380 HAS SOPS 421380 HAS SOUS 392547 HAS SOUPS 392547 WITH SCORE 392968.38
AT ITER 4676 NEW BEST:: SOT 800642 SOS 421356 HAS SOPS 421356 HAS SOUS 392529 HAS SOUPS 392529 WITH SCORE 392950.356
AT ITER 4677 NEW BEST:: SOT 800671 SOS 421238 HAS SOPS 421238 HAS SOUS 392514 HAS SOUPS 392514 WITH SCORE 392935.238
AT ITER 4712 NEW BEST:: SOT 800671 SOS 421177 HAS SOPS 421177 HAS SOUS 392458 HAS SOUPS 392458 WITH SCORE 392879.177
AT ITER 4718 NEW BEST:: SOT 800671 SOS 421000 HAS SOPS 421000 HAS SOUS 392424 HAS SOUPS 392424 WITH SCORE 392845.0
AT ITER 4724 NEW BEST:: SOT 800671 SOS 420949 HAS SOPS 420949 HAS SOUS 392358 HAS SOUPS 392358 WITH SCORE 392778.949
AT ITER 4748 NEW BEST:: SOT 800598 SOS 420876 HAS SOPS 420876 HAS SOUS 392276 HAS SOUPS 392276 WITH SCORE 392696.876
AT ITER 4755 NEW BEST:: SOT 800598 SOS 420823 HAS SOPS 420823 HAS SOUS 392129 HAS SOUPS 392129 WITH SCORE 392549.823
AT ITER 4767 NEW BEST:: SOT 800594 SOS 420386 HAS SOPS 420386 HAS SOUS 392079 HAS SOUPS 392079 WITH SCORE 392499.386
AT ITER 4784 NEW BEST:: SOT 800084 SOS 419857 HAS SOPS 419857 HAS SOUS 391637 HAS SOUPS 391637 WITH SCORE 392056.857
AT ITER 4788 NEW BEST:: SOT 800084 SOS 419566 HAS SOPS 419566 HAS SOUS 391594 HAS SOUPS 391594 WITH SCORE 392013.566
AT ITER 4789 NEW BEST:: SOT 800072 SOS 419554 HAS SOPS 419554 HAS SOUS 391582 HAS SOUPS 391582 WITH SCORE 392001.554
AT ITER 4795 NEW BEST:: SOT 800066 SOS 419548 HAS SOPS 419548 HAS SOUS 391576 HAS SOUPS 391576 WITH SCORE 391995.548
AT ITER 4814 NEW BEST:: SOT 799811 SOS 419293 HAS SOPS 419293 HAS SOUS 391428 HAS SOUPS 391428 WITH SCORE 391847.293
AT ITER 4819 NEW BEST:: SOT 799811 SOS 419287 HAS SOPS 419287 HAS SOUS 391422 HAS SOUPS 391422 WITH SCORE 391841.287
AT ITER 4836 NEW BEST:: SOT 799848 SOS 419324 HAS SOPS 419324 HAS SOUS 391383 HAS SOUPS 391383 WITH SCORE 391802.324
AT ITER 4848 NEW BEST:: SOT 799848 SOS 419228 HAS SOPS 419228 HAS SOUS 391359 HAS SOUPS 391359 WITH SCORE 391778.228
AT ITER 4860 NEW BEST:: SOT 799771 SOS 419151 HAS SOPS 419151 HAS SOUS 391352 HAS SOUPS 391352 WITH SCORE 391771.151
AT ITER 4867 NEW BEST:: SOT 799145 SOS 421682 HAS SOPS 421682 HAS SOUS 391216 HAS SOUPS 391216 WITH SCORE 391637.682
AT ITER 4868 NEW BEST:: SOT 799153 SOS 421564 HAS SOPS 421564 HAS SOUS 391175 HAS SOUPS 391175 WITH SCORE 391596.564
AT ITER 4873 NEW BEST:: SOT 799153 SOS 421504 HAS SOPS 421504 HAS SOUS 391175 HAS SOUPS 391175 WITH SCORE 391596.504
AT ITER 4881 NEW BEST:: SOT 799153 SOS 421471 HAS SOPS 421471 HAS SOUS 391147 HAS SOUPS 391147 WITH SCORE 391568.471
AT ITER 4894 NEW BEST:: SOT 799153 SOS 421504 HAS SOPS 421504 HAS SOUS 391080 HAS SOUPS 391080 WITH SCORE 391501.504
AT ITER 4897 NEW BEST:: SOT 799162 SOS 421571 HAS SOPS 421571 HAS SOUS 391035 HAS SOUPS 391035 WITH SCORE 391456.571
AT ITER 4909 NEW BEST:: SOT 799162 SOS 421771 HAS SOPS 421771 HAS SOUS 390979 HAS SOUPS 390979 WITH SCORE 391400.771
AT ITER 4916 NEW BEST:: SOT 799080 SOS 421699 HAS SOPS 421699 HAS SOUS 390883 HAS SOUPS 390883 WITH SCORE 391304.699
AT ITER 4917 NEW BEST:: SOT 799070 SOS 421468 HAS SOPS 421468 HAS SOUS 390848 HAS SOUPS 390848 WITH SCORE 391269.468
AT ITER 4921 NEW BEST:: SOT 799070 SOS 421418 HAS SOPS 421418 HAS SOUS 390824 HAS SOUPS 390824 WITH SCORE 391245.418
AT ITER 4922 NEW BEST:: SOT 799070 SOS 421383 HAS SOPS 421383 HAS SOUS 390824 HAS SOUPS 390824 WITH SCORE 391245.383
AT ITER 4936 NEW BEST:: SOT 799070 SOS 421440 HAS SOPS 421440 HAS SOUS 390817 HAS SOUPS 390817 WITH SCORE 391238.44
AT ITER 4948 NEW BEST:: SOT 799070 SOS 421435 HAS SOPS 421435 HAS SOUS 390812 HAS SOUPS 390812 WITH SCORE 391233.435
AT ITER 4952 NEW BEST:: SOT 799070 SOS 421358 HAS SOPS 421358 HAS SOUS 390812 HAS SOUPS 390812 WITH SCORE 391233.358
AT ITER 4963 NEW BEST:: SOT 799070 SOS 421294 HAS SOPS 421294 HAS SOUS 390812 HAS SOUPS 390812 WITH SCORE 391233.294
AT ITER 4984 NEW BEST:: SOT 799070 SOS 421276 HAS SOPS 421276 HAS SOUS 390812 HAS SOUPS 390812 WITH SCORE 391233.276
AT ITER 4992 NEW BEST:: SOT 798137 SOS 421737 HAS SOPS 421737 HAS SOUS 390784 HAS SOUPS 390784 WITH SCORE 391205.737
AT ITER 4997 NEW BEST:: SOT 798137 SOS 421720 HAS SOPS 421720 HAS SOUS 390784 HAS SOUPS 390784 WITH SCORE 391205.72
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: NQueens-PT-30-CTLCardinality-00 (EU( (! ( potential( (tk(P905)) <= (tk(P890)) ) & potential( (tk(P10)) <= (tk(P859)) ) )),potential( ( 2 ) <= (tk(P948)) ) ))
PROPERTY: NQueens-PT-30-CTLCardinality-01 ( potential( ( 2 ) <= (tk(P976)) ) | ( (AG( potential( (tk(P821)) <= (tk(P959)) ))) & potential( (tk(P713)) <= (tk(P1072)) ) ) )
PROPERTY: NQueens-PT-30-CTLCardinality-02 (EX( ( (AG( potential( (tk(P773)) <= (tk(P1052)) ))) | (AX( potential( ( 1 ) <= (tk(P970)) ))) )))
PROPERTY: NQueens-PT-30-CTLCardinality-03 (EU( ( ( potential( (tk(P993)) <= (tk(P506)) ) | potential( (tk(P966)) <= (tk(P943)) ) ) | potential( (tk(P1033)) <= (tk(P52)) ) ),(EG( potential( ( 1 ) <= (tk(P398)) ))) ))
PROPERTY: NQueens-PT-30-CTLCardinality-04 (EU( (EF(potential( ( 3 ) <= (tk(P519)) ))),(EF(potential( ( 2 ) <= (tk(P276)) ))) ))
PROPERTY: NQueens-PT-30-CTLCardinality-05 (! (EG( ( potential( (tk(P486)) <= (tk(P299)) ) | ( potential( ( 3 ) <= (tk(P630)) ) | potential( (tk(P165)) <= (tk(P121)) ) ) ))))
PROPERTY: NQueens-PT-30-CTLCardinality-06 ( (! potential( (tk(P70)) <= (tk(P50)) )) | (AF(( potential( (tk(P555)) <= (tk(P260)) ) & (! potential( (tk(P710)) <= (tk(P87)) )) ))) )
PROPERTY: NQueens-PT-30-CTLCardinality-07 ( (AF((! ( potential( (tk(P341)) <= (tk(P710)) ) & potential( (tk(P594)) <= (tk(P314)) ) )))) & (EF((! ( potential( ( 1 ) <= (tk(P226)) ) | potential( ( 2 ) <= (tk(P306)) ) )))) )
PROPERTY: NQueens-PT-30-CTLCardinality-08 (AX( (EF((! potential( (tk(P799)) <= (tk(P1049)) ))))))
PROPERTY: NQueens-PT-30-CTLCardinality-09 (! (EX( (EF(potential( ( 3 ) <= (tk(P947)) ))))))
PROPERTY: NQueens-PT-30-CTLCardinality-10 (EG( ( ( (! potential( (tk(P663)) <= (tk(P633)) )) | (! potential( ( 1 ) <= (tk(P22)) )) ) & (EF(potential( ( 1 ) <= (tk(P298)) ))) )))
PROPERTY: NQueens-PT-30-CTLCardinality-11 (AG( (! (EX( potential( ( 3 ) <= (tk(P726)) ))))))
PROPERTY: NQueens-PT-30-CTLCardinality-12 (! (EG( (! ( potential( (tk(P540)) <= (tk(P962)) ) & potential( ( 2 ) <= (tk(P819)) ) )))))
PROPERTY: NQueens-PT-30-CTLCardinality-13 ( potential( (tk(P910)) <= (tk(P246)) ) | ( ( (AF(potential( ( 1 ) <= (tk(P131)) ))) | (AX( potential( ( 2 ) <= (tk(P771)) ))) ) | potential( ( 3 ) <= (tk(P365)) ) ) )
PROPERTY: NQueens-PT-30-CTLCardinality-14 (EU( (AG( potential( (tk(P30)) <= (tk(P844)) ))),(EF(potential( ( 2 ) <= (tk(P726)) ))) ))
PROPERTY: NQueens-PT-30-CTLCardinality-15 (! ( (EG( ( potential( (tk(P731)) <= (tk(P533)) ) | potential( (tk(P582)) <= (tk(P300)) ) ))) & (EX( (! potential( (tk(P836)) <= (tk(P515)) )))) ))

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="NQueens-PT-30"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is NQueens-PT-30, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r108-csrt-158961250100171"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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