Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538700371.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Sudoku-PT-AN08, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538700371
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.2M
-rw-r--r-- 1 mcc users 4.4K Jun 3 09:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Jun 3 09:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Jun 3 09:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Jun 3 09:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 127K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 420K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 267K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 1009K May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.5K Jun 3 09:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Jun 3 09:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Jun 3 09:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K Jun 3 09:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Jun 3 09:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Jun 3 09:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 273K May 12 20:42 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Sudoku-PT-AN08-CTLCardinality-00
FORMULA_NAME Sudoku-PT-AN08-CTLCardinality-01
FORMULA_NAME Sudoku-PT-AN08-CTLCardinality-02
FORMULA_NAME Sudoku-PT-AN08-CTLCardinality-03
FORMULA_NAME Sudoku-PT-AN08-CTLCardinality-04
FORMULA_NAME Sudoku-PT-AN08-CTLCardinality-05
FORMULA_NAME Sudoku-PT-AN08-CTLCardinality-06
FORMULA_NAME Sudoku-PT-AN08-CTLCardinality-07
FORMULA_NAME Sudoku-PT-AN08-CTLCardinality-08
FORMULA_NAME Sudoku-PT-AN08-CTLCardinality-09
FORMULA_NAME Sudoku-PT-AN08-CTLCardinality-10
FORMULA_NAME Sudoku-PT-AN08-CTLCardinality-11
FORMULA_NAME Sudoku-PT-AN08-CTLCardinality-12
FORMULA_NAME Sudoku-PT-AN08-CTLCardinality-13
FORMULA_NAME Sudoku-PT-AN08-CTLCardinality-14
FORMULA_NAME Sudoku-PT-AN08-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1591336624625

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (PT), instance AN08
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: 704 places, 512 transitions, 2048 arcs.
AT ITER 0 NEW BEST:: SOT 273284 SOS 139192 HAS SOPS 139192 HAS SOUS 139192 HAS SOUPS 139192 WITH SCORE 139331.192
AT ITER 20 NEW BEST:: SOT 273138 SOS 139046 HAS SOPS 139046 HAS SOUS 139046 HAS SOUPS 139046 WITH SCORE 139185.046
AT ITER 25 NEW BEST:: SOT 272861 SOS 140440 HAS SOPS 140440 HAS SOUS 138837 HAS SOUPS 138837 WITH SCORE 138977.44
AT ITER 29 NEW BEST:: SOT 272468 SOS 140774 HAS SOPS 140774 HAS SOUS 138492 HAS SOUPS 138492 WITH SCORE 138632.774
AT ITER 32 NEW BEST:: SOT 272512 SOS 140800 HAS SOPS 140800 HAS SOUS 138469 HAS SOUPS 138469 WITH SCORE 138609.8
AT ITER 44 NEW BEST:: SOT 272211 SOS 140594 HAS SOPS 140594 HAS SOUS 138235 HAS SOUPS 138235 WITH SCORE 138375.594
AT ITER 47 NEW BEST:: SOT 272155 SOS 141162 HAS SOPS 141162 HAS SOUS 138192 HAS SOUPS 138192 WITH SCORE 138333.162
AT ITER 63 NEW BEST:: SOT 272028 SOS 141078 HAS SOPS 141078 HAS SOUS 138095 HAS SOUPS 138095 WITH SCORE 138236.078
AT ITER 66 NEW BEST:: SOT 271535 SOS 142627 HAS SOPS 142627 HAS SOUS 137656 HAS SOUPS 137656 WITH SCORE 137798.627
AT ITER 67 NEW BEST:: SOT 271290 SOS 142443 HAS SOPS 142443 HAS SOUS 137437 HAS SOUPS 137437 WITH SCORE 137579.443
AT ITER 68 NEW BEST:: SOT 271290 SOS 142170 HAS SOPS 142170 HAS SOUS 137437 HAS SOUPS 137437 WITH SCORE 137579.17
AT ITER 77 NEW BEST:: SOT 271227 SOS 142116 HAS SOPS 142116 HAS SOUS 137383 HAS SOUPS 137383 WITH SCORE 137525.116
AT ITER 79 NEW BEST:: SOT 270811 SOS 143075 HAS SOPS 143075 HAS SOUS 137012 HAS SOUPS 137012 WITH SCORE 137155.075
AT ITER 84 NEW BEST:: SOT 270811 SOS 142861 HAS SOPS 142861 HAS SOUS 137012 HAS SOUPS 137012 WITH SCORE 137154.861
AT ITER 88 NEW BEST:: SOT 270811 SOS 142796 HAS SOPS 142796 HAS SOUS 137012 HAS SOUPS 137012 WITH SCORE 137154.796
AT ITER 97 NEW BEST:: SOT 270879 SOS 142699 HAS SOPS 142699 HAS SOUS 136845 HAS SOUPS 136845 WITH SCORE 136987.699
AT ITER 98 NEW BEST:: SOT 270884 SOS 142712 HAS SOPS 142712 HAS SOUS 136837 HAS SOUPS 136837 WITH SCORE 136979.712
AT ITER 102 NEW BEST:: SOT 270884 SOS 142662 HAS SOPS 142662 HAS SOUS 136837 HAS SOUPS 136837 WITH SCORE 136979.662
AT ITER 118 NEW BEST:: SOT 270828 SOS 142679 HAS SOPS 142679 HAS SOUS 136781 HAS SOUPS 136781 WITH SCORE 136923.679
AT ITER 124 NEW BEST:: SOT 270424 SOS 142494 HAS SOPS 142494 HAS SOUS 136470 HAS SOUPS 136470 WITH SCORE 136612.494
AT ITER 127 NEW BEST:: SOT 270326 SOS 142616 HAS SOPS 142616 HAS SOUS 136457 HAS SOUPS 136457 WITH SCORE 136599.616
AT ITER 132 NEW BEST:: SOT 270283 SOS 142475 HAS SOPS 142475 HAS SOUS 136442 HAS SOUPS 136442 WITH SCORE 136584.475
AT ITER 153 NEW BEST:: SOT 270283 SOS 142475 HAS SOPS 142475 HAS SOUS 136437 HAS SOUPS 136437 WITH SCORE 136579.475
AT ITER 169 NEW BEST:: SOT 270262 SOS 143413 HAS SOPS 143413 HAS SOUS 136416 HAS SOUPS 136416 WITH SCORE 136559.413
AT ITER 171 NEW BEST:: SOT 270262 SOS 143253 HAS SOPS 143253 HAS SOUS 136416 HAS SOUPS 136416 WITH SCORE 136559.253
AT ITER 175 NEW BEST:: SOT 270262 SOS 143080 HAS SOPS 143080 HAS SOUS 136416 HAS SOUPS 136416 WITH SCORE 136559.08
AT ITER 178 NEW BEST:: SOT 269758 SOS 143363 HAS SOPS 143363 HAS SOUS 135985 HAS SOUPS 135985 WITH SCORE 136128.363
AT ITER 192 NEW BEST:: SOT 269433 SOS 143189 HAS SOPS 143189 HAS SOUS 135734 HAS SOUPS 135734 WITH SCORE 135877.189
AT ITER 197 NEW BEST:: SOT 269247 SOS 143027 HAS SOPS 143027 HAS SOUS 135572 HAS SOUPS 135572 WITH SCORE 135715.027
AT ITER 199 NEW BEST:: SOT 269215 SOS 142995 HAS SOPS 142995 HAS SOUS 135540 HAS SOUPS 135540 WITH SCORE 135682.995
AT ITER 204 NEW BEST:: SOT 269048 SOS 143962 HAS SOPS 143962 HAS SOUS 135435 HAS SOUPS 135435 WITH SCORE 135578.962
AT ITER 208 NEW BEST:: SOT 269048 SOS 143791 HAS SOPS 143791 HAS SOUS 135435 HAS SOUPS 135435 WITH SCORE 135578.791
AT ITER 210 NEW BEST:: SOT 269033 SOS 143776 HAS SOPS 143776 HAS SOUS 135420 HAS SOUPS 135420 WITH SCORE 135563.776
AT ITER 213 NEW BEST:: SOT 268673 SOS 143975 HAS SOPS 143975 HAS SOUS 135165 HAS SOUPS 135165 WITH SCORE 135308.975
AT ITER 215 NEW BEST:: SOT 268070 SOS 144110 HAS SOPS 144110 HAS SOUS 134642 HAS SOUPS 134642 WITH SCORE 134786.11
AT ITER 219 NEW BEST:: SOT 268070 SOS 143892 HAS SOPS 143892 HAS SOUS 134642 HAS SOUPS 134642 WITH SCORE 134785.892
AT ITER 225 NEW BEST:: SOT 268070 SOS 143872 HAS SOPS 143872 HAS SOUS 134636 HAS SOUPS 134636 WITH SCORE 134779.872
AT ITER 230 NEW BEST:: SOT 267764 SOS 143694 HAS SOPS 143694 HAS SOUS 134402 HAS SOUPS 134402 WITH SCORE 134545.694
AT ITER 243 NEW BEST:: SOT 267666 SOS 143741 HAS SOPS 143741 HAS SOUS 134361 HAS SOUPS 134361 WITH SCORE 134504.741
AT ITER 252 NEW BEST:: SOT 267730 SOS 143714 HAS SOPS 143714 HAS SOUS 134278 HAS SOUPS 134278 WITH SCORE 134421.714
AT ITER 263 NEW BEST:: SOT 267253 SOS 143445 HAS SOPS 143445 HAS SOUS 133925 HAS SOUPS 133925 WITH SCORE 134068.445
AT ITER 265 NEW BEST:: SOT 267136 SOS 143278 HAS SOPS 143278 HAS SOUS 133808 HAS SOUPS 133808 WITH SCORE 133951.278
AT ITER 268 NEW BEST:: SOT 267025 SOS 143167 HAS SOPS 143167 HAS SOUS 133697 HAS SOUPS 133697 WITH SCORE 133840.167
AT ITER 272 NEW BEST:: SOT 266820 SOS 142962 HAS SOPS 142962 HAS SOUS 133503 HAS SOUPS 133503 WITH SCORE 133645.962
AT ITER 277 NEW BEST:: SOT 266820 SOS 142692 HAS SOPS 142692 HAS SOUS 133503 HAS SOUPS 133503 WITH SCORE 133645.692
AT ITER 289 NEW BEST:: SOT 266790 SOS 142669 HAS SOPS 142669 HAS SOUS 133431 HAS SOUPS 133431 WITH SCORE 133573.669
AT ITER 297 NEW BEST:: SOT 266767 SOS 142539 HAS SOPS 142539 HAS SOUS 133386 HAS SOUPS 133386 WITH SCORE 133528.539
AT ITER 302 NEW BEST:: SOT 266685 SOS 142520 HAS SOPS 142520 HAS SOUS 133336 HAS SOUPS 133336 WITH SCORE 133478.52
AT ITER 314 NEW BEST:: SOT 266685 SOS 142436 HAS SOPS 142436 HAS SOUS 133336 HAS SOUPS 133336 WITH SCORE 133478.436
AT ITER 317 NEW BEST:: SOT 266476 SOS 142478 HAS SOPS 142478 HAS SOUS 133274 HAS SOUPS 133274 WITH SCORE 133416.478
AT ITER 318 NEW BEST:: SOT 266476 SOS 142382 HAS SOPS 142382 HAS SOUS 133274 HAS SOUPS 133274 WITH SCORE 133416.382
AT ITER 319 NEW BEST:: SOT 266229 SOS 142135 HAS SOPS 142135 HAS SOUS 133027 HAS SOUPS 133027 WITH SCORE 133169.135
AT ITER 324 NEW BEST:: SOT 266205 SOS 142569 HAS SOPS 142569 HAS SOUS 133003 HAS SOUPS 133003 WITH SCORE 133145.569
AT ITER 330 NEW BEST:: SOT 266254 SOS 142605 HAS SOPS 142605 HAS SOUS 132976 HAS SOUPS 132976 WITH SCORE 133118.605
AT ITER 341 NEW BEST:: SOT 266158 SOS 142509 HAS SOPS 142509 HAS SOUS 132941 HAS SOUPS 132941 WITH SCORE 133083.509
AT ITER 345 NEW BEST:: SOT 266109 SOS 142834 HAS SOPS 142834 HAS SOUS 132892 HAS SOUPS 132892 WITH SCORE 133034.834
AT ITER 352 NEW BEST:: SOT 266052 SOS 142925 HAS SOPS 142925 HAS SOUS 132835 HAS SOUPS 132835 WITH SCORE 132977.925
AT ITER 357 NEW BEST:: SOT 266094 SOS 142894 HAS SOPS 142894 HAS SOUS 132762 HAS SOUPS 132762 WITH SCORE 132904.894
AT ITER 358 NEW BEST:: SOT 266094 SOS 142890 HAS SOPS 142890 HAS SOUS 132762 HAS SOUPS 132762 WITH SCORE 132904.89
AT ITER 362 NEW BEST:: SOT 266094 SOS 142836 HAS SOPS 142836 HAS SOUS 132762 HAS SOUPS 132762 WITH SCORE 132904.836
AT ITER 363 NEW BEST:: SOT 266081 SOS 142197 HAS SOPS 142197 HAS SOUS 132708 HAS SOUPS 132708 WITH SCORE 132850.197
AT ITER 367 NEW BEST:: SOT 265979 SOS 142190 HAS SOPS 142190 HAS SOUS 132701 HAS SOUPS 132701 WITH SCORE 132843.19
AT ITER 371 NEW BEST:: SOT 265979 SOS 142188 HAS SOPS 142188 HAS SOUS 132701 HAS SOUPS 132701 WITH SCORE 132843.188
AT ITER 382 NEW BEST:: SOT 265975 SOS 142190 HAS SOPS 142190 HAS SOUS 132699 HAS SOUPS 132699 WITH SCORE 132841.19
AT ITER 388 NEW BEST:: SOT 265968 SOS 142173 HAS SOPS 142173 HAS SOUS 132689 HAS SOUPS 132689 WITH SCORE 132831.173
AT ITER 394 NEW BEST:: SOT 265914 SOS 142119 HAS SOPS 142119 HAS SOUS 132634 HAS SOUPS 132634 WITH SCORE 132776.119
AT ITER 401 NEW BEST:: SOT 265946 SOS 142127 HAS SOPS 142127 HAS SOUS 132579 HAS SOUPS 132579 WITH SCORE 132721.127
AT ITER 410 NEW BEST:: SOT 265793 SOS 142027 HAS SOPS 142027 HAS SOUS 132446 HAS SOUPS 132446 WITH SCORE 132588.027
AT ITER 413 NEW BEST:: SOT 265688 SOS 141952 HAS SOPS 141952 HAS SOUS 132371 HAS SOUPS 132371 WITH SCORE 132512.952
AT ITER 418 NEW BEST:: SOT 265349 SOS 143137 HAS SOPS 143137 HAS SOUS 132322 HAS SOUPS 132322 WITH SCORE 132465.137
AT ITER 423 NEW BEST:: SOT 265166 SOS 142689 HAS SOPS 142689 HAS SOUS 132044 HAS SOUPS 132044 WITH SCORE 132186.689
AT ITER 428 NEW BEST:: SOT 265166 SOS 142629 HAS SOPS 142629 HAS SOUS 132044 HAS SOUPS 132044 WITH SCORE 132186.629
AT ITER 433 NEW BEST:: SOT 265153 SOS 142604 HAS SOPS 142604 HAS SOUS 131998 HAS SOUPS 131998 WITH SCORE 132140.604
AT ITER 439 NEW BEST:: SOT 265081 SOS 142575 HAS SOPS 142575 HAS SOUS 131969 HAS SOUPS 131969 WITH SCORE 132111.575
AT ITER 442 NEW BEST:: SOT 265018 SOS 142591 HAS SOPS 142591 HAS SOUS 131906 HAS SOUPS 131906 WITH SCORE 132048.591
AT ITER 449 NEW BEST:: SOT 264941 SOS 142514 HAS SOPS 142514 HAS SOUS 131829 HAS SOUPS 131829 WITH SCORE 131971.514
AT ITER 451 NEW BEST:: SOT 264612 SOS 142898 HAS SOPS 142898 HAS SOUS 131748 HAS SOUPS 131748 WITH SCORE 131890.898
AT ITER 457 NEW BEST:: SOT 264612 SOS 142865 HAS SOPS 142865 HAS SOUS 131748 HAS SOUPS 131748 WITH SCORE 131890.865
AT ITER 466 NEW BEST:: SOT 264612 SOS 142692 HAS SOPS 142692 HAS SOUS 131748 HAS SOUPS 131748 WITH SCORE 131890.692
AT ITER 467 NEW BEST:: SOT 264584 SOS 142668 HAS SOPS 142668 HAS SOUS 131697 HAS SOUPS 131697 WITH SCORE 131839.668
AT ITER 476 NEW BEST:: SOT 264509 SOS 143903 HAS SOPS 143903 HAS SOUS 131622 HAS SOUPS 131622 WITH SCORE 131765.903
AT ITER 479 NEW BEST:: SOT 264509 SOS 143525 HAS SOPS 143525 HAS SOUS 131622 HAS SOUPS 131622 WITH SCORE 131765.525
AT ITER 483 NEW BEST:: SOT 264333 SOS 143633 HAS SOPS 143633 HAS SOUS 131534 HAS SOUPS 131534 WITH SCORE 131677.633
AT ITER 489 NEW BEST:: SOT 264333 SOS 143063 HAS SOPS 143063 HAS SOUS 131484 HAS SOUPS 131484 WITH SCORE 131627.063
AT ITER 492 NEW BEST:: SOT 264126 SOS 143328 HAS SOPS 143328 HAS SOUS 131399 HAS SOUPS 131399 WITH SCORE 131542.328
AT ITER 497 NEW BEST:: SOT 263773 SOS 143488 HAS SOPS 143488 HAS SOUS 131310 HAS SOUPS 131310 WITH SCORE 131453.488
AT ITER 508 NEW BEST:: SOT 263605 SOS 143641 HAS SOPS 143641 HAS SOUS 131230 HAS SOUPS 131230 WITH SCORE 131373.641
AT ITER 510 NEW BEST:: SOT 263605 SOS 143614 HAS SOPS 143614 HAS SOUS 131230 HAS SOUPS 131230 WITH SCORE 131373.614
AT ITER 514 NEW BEST:: SOT 263663 SOS 143574 HAS SOPS 143574 HAS SOUS 131187 HAS SOUPS 131187 WITH SCORE 131330.574
AT ITER 515 NEW BEST:: SOT 263051 SOS 143262 HAS SOPS 143262 HAS SOUS 130775 HAS SOUPS 130775 WITH SCORE 130918.262
AT ITER 518 NEW BEST:: SOT 263051 SOS 143247 HAS SOPS 143247 HAS SOUS 130775 HAS SOUPS 130775 WITH SCORE 130918.247
AT ITER 526 NEW BEST:: SOT 262988 SOS 144367 HAS SOPS 144367 HAS SOUS 130766 HAS SOUPS 130766 WITH SCORE 130910.367
AT ITER 534 NEW BEST:: SOT 262988 SOS 144347 HAS SOPS 144347 HAS SOUS 130746 HAS SOUPS 130746 WITH SCORE 130890.347
AT ITER 540 NEW BEST:: SOT 263000 SOS 144335 HAS SOPS 144335 HAS SOUS 130746 HAS SOUPS 130746 WITH SCORE 130890.335
AT ITER 545 NEW BEST:: SOT 263000 SOS 144155 HAS SOPS 144155 HAS SOUS 130746 HAS SOUPS 130746 WITH SCORE 130890.155
AT ITER 546 NEW BEST:: SOT 262880 SOS 144171 HAS SOPS 144171 HAS SOUS 130626 HAS SOUPS 130626 WITH SCORE 130770.171
AT ITER 548 NEW BEST:: SOT 262880 SOS 144075 HAS SOPS 144075 HAS SOUS 130626 HAS SOUPS 130626 WITH SCORE 130770.075
AT ITER 549 NEW BEST:: SOT 262880 SOS 143910 HAS SOPS 143910 HAS SOUS 130626 HAS SOUPS 130626 WITH SCORE 130769.91
AT ITER 554 NEW BEST:: SOT 262514 SOS 145431 HAS SOPS 145431 HAS SOUS 130501 HAS SOUPS 130501 WITH SCORE 130646.431
AT ITER 557 NEW BEST:: SOT 262343 SOS 145428 HAS SOPS 145428 HAS SOUS 130455 HAS SOUPS 130455 WITH SCORE 130600.428
AT ITER 558 NEW BEST:: SOT 262240 SOS 145325 HAS SOPS 145325 HAS SOUS 130352 HAS SOUPS 130352 WITH SCORE 130497.325
AT ITER 569 NEW BEST:: SOT 262045 SOS 144911 HAS SOPS 144911 HAS SOUS 130106 HAS SOUPS 130106 WITH SCORE 130250.911
AT ITER 580 NEW BEST:: SOT 262028 SOS 144729 HAS SOPS 144729 HAS SOUS 130063 HAS SOUPS 130063 WITH SCORE 130207.729
AT ITER 586 NEW BEST:: SOT 262011 SOS 144712 HAS SOPS 144712 HAS SOUS 130046 HAS SOUPS 130046 WITH SCORE 130190.712
AT ITER 593 NEW BEST:: SOT 262011 SOS 144284 HAS SOPS 144284 HAS SOUS 129992 HAS SOUPS 129992 WITH SCORE 130136.284
AT ITER 596 NEW BEST:: SOT 261955 SOS 144228 HAS SOPS 144228 HAS SOUS 129936 HAS SOUPS 129936 WITH SCORE 130080.228
AT ITER 598 NEW BEST:: SOT 261955 SOS 144214 HAS SOPS 144214 HAS SOUS 129929 HAS SOUPS 129929 WITH SCORE 130073.214
AT ITER 601 NEW BEST:: SOT 261938 SOS 144198 HAS SOPS 144198 HAS SOUS 129913 HAS SOUPS 129913 WITH SCORE 130057.198
AT ITER 607 NEW BEST:: SOT 261938 SOS 144065 HAS SOPS 144065 HAS SOUS 129833 HAS SOUPS 129833 WITH SCORE 129977.065
AT ITER 611 NEW BEST:: SOT 261938 SOS 143956 HAS SOPS 143956 HAS SOUS 129811 HAS SOUPS 129811 WITH SCORE 129954.956
AT ITER 619 NEW BEST:: SOT 261938 SOS 143837 HAS SOPS 143837 HAS SOUS 129811 HAS SOUPS 129811 WITH SCORE 129954.837
AT ITER 622 NEW BEST:: SOT 261555 SOS 143602 HAS SOPS 143602 HAS SOUS 129485 HAS SOUPS 129485 WITH SCORE 129628.602
AT ITER 627 NEW BEST:: SOT 261555 SOS 143514 HAS SOPS 143514 HAS SOUS 129485 HAS SOUPS 129485 WITH SCORE 129628.514
AT ITER 632 NEW BEST:: SOT 261543 SOS 143862 HAS SOPS 143862 HAS SOUS 129473 HAS SOUPS 129473 WITH SCORE 129616.862
AT ITER 650 NEW BEST:: SOT 261527 SOS 143793 HAS SOPS 143793 HAS SOUS 129469 HAS SOUPS 129469 WITH SCORE 129612.793
AT ITER 652 NEW BEST:: SOT 261527 SOS 143747 HAS SOPS 143747 HAS SOUS 129469 HAS SOUPS 129469 WITH SCORE 129612.747
AT ITER 659 NEW BEST:: SOT 261527 SOS 143686 HAS SOPS 143686 HAS SOUS 129469 HAS SOUPS 129469 WITH SCORE 129612.686
AT ITER 662 NEW BEST:: SOT 261439 SOS 143674 HAS SOPS 143674 HAS SOUS 129457 HAS SOUPS 129457 WITH SCORE 129600.674
AT ITER 665 NEW BEST:: SOT 261439 SOS 143668 HAS SOPS 143668 HAS SOUS 129451 HAS SOUPS 129451 WITH SCORE 129594.668
AT ITER 672 NEW BEST:: SOT 261026 SOS 143585 HAS SOPS 143585 HAS SOUS 129173 HAS SOUPS 129173 WITH SCORE 129316.585
AT ITER 681 NEW BEST:: SOT 261026 SOS 142546 HAS SOPS 142546 HAS SOUS 129173 HAS SOUPS 129173 WITH SCORE 129315.546
AT ITER 687 NEW BEST:: SOT 261026 SOS 142594 HAS SOPS 142594 HAS SOUS 129097 HAS SOUPS 129097 WITH SCORE 129239.594
AT ITER 690 NEW BEST:: SOT 260833 SOS 142545 HAS SOPS 142545 HAS SOUS 128977 HAS SOUPS 128977 WITH SCORE 129119.545
AT ITER 694 NEW BEST:: SOT 260833 SOS 142544 HAS SOPS 142544 HAS SOUS 128976 HAS SOUPS 128976 WITH SCORE 129118.544
AT ITER 704 NEW BEST:: SOT 260833 SOS 142278 HAS SOPS 142278 HAS SOUS 128919 HAS SOUPS 128919 WITH SCORE 129061.278
AT ITER 714 NEW BEST:: SOT 260793 SOS 142246 HAS SOPS 142246 HAS SOUS 128887 HAS SOUPS 128887 WITH SCORE 129029.246
AT ITER 717 NEW BEST:: SOT 260707 SOS 142688 HAS SOPS 142688 HAS SOUS 128815 HAS SOUPS 128815 WITH SCORE 128957.688
AT ITER 726 NEW BEST:: SOT 260430 SOS 143085 HAS SOPS 143085 HAS SOUS 128785 HAS SOUPS 128785 WITH SCORE 128928.085
AT ITER 735 NEW BEST:: SOT 260262 SOS 143074 HAS SOPS 143074 HAS SOUS 128707 HAS SOUPS 128707 WITH SCORE 128850.074
AT ITER 736 NEW BEST:: SOT 260262 SOS 142991 HAS SOPS 142991 HAS SOUS 128707 HAS SOUPS 128707 WITH SCORE 128849.991
AT ITER 745 NEW BEST:: SOT 260135 SOS 144168 HAS SOPS 144168 HAS SOUS 128633 HAS SOUPS 128633 WITH SCORE 128777.168
AT ITER 746 NEW BEST:: SOT 260135 SOS 144147 HAS SOPS 144147 HAS SOUS 128633 HAS SOUPS 128633 WITH SCORE 128777.147
AT ITER 751 NEW BEST:: SOT 260135 SOS 144060 HAS SOPS 144060 HAS SOUS 128633 HAS SOUPS 128633 WITH SCORE 128777.06
AT ITER 755 NEW BEST:: SOT 260135 SOS 143999 HAS SOPS 143999 HAS SOUS 128633 HAS SOUPS 128633 WITH SCORE 128776.999
AT ITER 756 NEW BEST:: SOT 260151 SOS 143906 HAS SOPS 143906 HAS SOUS 128611 HAS SOUPS 128611 WITH SCORE 128754.906
AT ITER 757 NEW BEST:: SOT 260151 SOS 143906 HAS SOPS 143906 HAS SOUS 128599 HAS SOUPS 128599 WITH SCORE 128742.906
AT ITER 758 NEW BEST:: SOT 260151 SOS 143897 HAS SOPS 143897 HAS SOUS 128599 HAS SOUPS 128599 WITH SCORE 128742.897
AT ITER 759 NEW BEST:: SOT 260184 SOS 143807 HAS SOPS 143807 HAS SOUS 128578 HAS SOUPS 128578 WITH SCORE 128721.807
AT ITER 770 NEW BEST:: SOT 260184 SOS 143710 HAS SOPS 143710 HAS SOUS 128578 HAS SOUPS 128578 WITH SCORE 128721.71
AT ITER 771 NEW BEST:: SOT 260141 SOS 143649 HAS SOPS 143649 HAS SOUS 128535 HAS SOUPS 128535 WITH SCORE 128678.649
AT ITER 773 NEW BEST:: SOT 259730 SOS 143321 HAS SOPS 143321 HAS SOUS 128200 HAS SOUPS 128200 WITH SCORE 128343.321
AT ITER 784 NEW BEST:: SOT 259730 SOS 143318 HAS SOPS 143318 HAS SOUS 128200 HAS SOUPS 128200 WITH SCORE 128343.318
AT ITER 798 NEW BEST:: SOT 259730 SOS 143269 HAS SOPS 143269 HAS SOUS 128080 HAS SOUPS 128080 WITH SCORE 128223.269
AT ITER 802 NEW BEST:: SOT 259587 SOS 143305 HAS SOPS 143305 HAS SOUS 128029 HAS SOUPS 128029 WITH SCORE 128172.305
AT ITER 805 NEW BEST:: SOT 259143 SOS 143899 HAS SOPS 143899 HAS SOUS 128002 HAS SOUPS 128002 WITH SCORE 128145.899
AT ITER 808 NEW BEST:: SOT 259224 SOS 144009 HAS SOPS 144009 HAS SOUS 127911 HAS SOUPS 127911 WITH SCORE 128055.009
AT ITER 811 NEW BEST:: SOT 259152 SOS 143937 HAS SOPS 143937 HAS SOUS 127822 HAS SOUPS 127822 WITH SCORE 127965.937
AT ITER 820 NEW BEST:: SOT 258781 SOS 144331 HAS SOPS 144331 HAS SOUS 127786 HAS SOUPS 127786 WITH SCORE 127930.331
AT ITER 829 NEW BEST:: SOT 258781 SOS 144317 HAS SOPS 144317 HAS SOUS 127786 HAS SOUPS 127786 WITH SCORE 127930.317
AT ITER 831 NEW BEST:: SOT 258781 SOS 144299 HAS SOPS 144299 HAS SOUS 127786 HAS SOUPS 127786 WITH SCORE 127930.299
AT ITER 843 NEW BEST:: SOT 258739 SOS 144268 HAS SOPS 144268 HAS SOUS 127750 HAS SOUPS 127750 WITH SCORE 127894.268
AT ITER 845 NEW BEST:: SOT 258522 SOS 144085 HAS SOPS 144085 HAS SOUS 127704 HAS SOUPS 127704 WITH SCORE 127848.085
AT ITER 853 NEW BEST:: SOT 258624 SOS 144313 HAS SOPS 144313 HAS SOUS 127701 HAS SOUPS 127701 WITH SCORE 127845.313
AT ITER 854 NEW BEST:: SOT 258350 SOS 143693 HAS SOPS 143693 HAS SOUS 127185 HAS SOUPS 127185 WITH SCORE 127328.693
AT ITER 869 NEW BEST:: SOT 258248 SOS 143630 HAS SOPS 143630 HAS SOUS 127122 HAS SOUPS 127122 WITH SCORE 127265.63
AT ITER 893 NEW BEST:: SOT 258174 SOS 144302 HAS SOPS 144302 HAS SOUS 127072 HAS SOUPS 127072 WITH SCORE 127216.302
AT ITER 898 NEW BEST:: SOT 258170 SOS 144298 HAS SOPS 144298 HAS SOUS 127068 HAS SOUPS 127068 WITH SCORE 127212.298
AT ITER 901 NEW BEST:: SOT 258170 SOS 144278 HAS SOPS 144278 HAS SOUS 127068 HAS SOUPS 127068 WITH SCORE 127212.278
AT ITER 904 NEW BEST:: SOT 258170 SOS 144221 HAS SOPS 144221 HAS SOUS 127068 HAS SOUPS 127068 WITH SCORE 127212.221
AT ITER 906 NEW BEST:: SOT 258170 SOS 144202 HAS SOPS 144202 HAS SOUS 127068 HAS SOUPS 127068 WITH SCORE 127212.202
AT ITER 912 NEW BEST:: SOT 258041 SOS 144073 HAS SOPS 144073 HAS SOUS 126907 HAS SOUPS 126907 WITH SCORE 127051.073
AT ITER 913 NEW BEST:: SOT 257559 SOS 143698 HAS SOPS 143698 HAS SOUS 126532 HAS SOUPS 126532 WITH SCORE 126675.698
AT ITER 914 NEW BEST:: SOT 257559 SOS 143649 HAS SOPS 143649 HAS SOUS 126532 HAS SOUPS 126532 WITH SCORE 126675.649
AT ITER 928 NEW BEST:: SOT 257559 SOS 143567 HAS SOPS 143567 HAS SOUS 126532 HAS SOUPS 126532 WITH SCORE 126675.567
AT ITER 934 NEW BEST:: SOT 257559 SOS 143145 HAS SOPS 143145 HAS SOUS 126532 HAS SOUPS 126532 WITH SCORE 126675.145
AT ITER 938 NEW BEST:: SOT 257268 SOS 143024 HAS SOPS 143024 HAS SOUS 126308 HAS SOUPS 126308 WITH SCORE 126451.024
AT ITER 946 NEW BEST:: SOT 257176 SOS 142980 HAS SOPS 142980 HAS SOUS 126241 HAS SOUPS 126241 WITH SCORE 126383.98
AT ITER 950 NEW BEST:: SOT 257090 SOS 142889 HAS SOPS 142889 HAS SOUS 126182 HAS SOUPS 126182 WITH SCORE 126324.889
AT ITER 953 NEW BEST:: SOT 256821 SOS 142881 HAS SOPS 142881 HAS SOUS 126009 HAS SOUPS 126009 WITH SCORE 126151.881
AT ITER 955 NEW BEST:: SOT 256821 SOS 142703 HAS SOPS 142703 HAS SOUS 126009 HAS SOUPS 126009 WITH SCORE 126151.703
AT ITER 957 NEW BEST:: SOT 256821 SOS 142741 HAS SOPS 142741 HAS SOUS 125977 HAS SOUPS 125977 WITH SCORE 126119.741
AT ITER 961 NEW BEST:: SOT 256930 SOS 142681 HAS SOPS 142681 HAS SOUS 125834 HAS SOUPS 125834 WITH SCORE 125976.681
AT ITER 962 NEW BEST:: SOT 256930 SOS 142672 HAS SOPS 142672 HAS SOUS 125834 HAS SOUPS 125834 WITH SCORE 125976.672
AT ITER 968 NEW BEST:: SOT 256884 SOS 142626 HAS SOPS 142626 HAS SOUS 125788 HAS SOUPS 125788 WITH SCORE 125930.626
AT ITER 974 NEW BEST:: SOT 256884 SOS 142344 HAS SOPS 142344 HAS SOUS 125788 HAS SOUPS 125788 WITH SCORE 125930.344
AT ITER 985 NEW BEST:: SOT 256708 SOS 143539 HAS SOPS 143539 HAS SOUS 125661 HAS SOUPS 125661 WITH SCORE 125804.539
AT ITER 987 NEW BEST:: SOT 256547 SOS 143474 HAS SOPS 143474 HAS SOUS 125570 HAS SOUPS 125570 WITH SCORE 125713.474
AT ITER 993 NEW BEST:: SOT 256547 SOS 143423 HAS SOPS 143423 HAS SOUS 125570 HAS SOUPS 125570 WITH SCORE 125713.423
AT ITER 994 NEW BEST:: SOT 256547 SOS 143400 HAS SOPS 143400 HAS SOUS 125528 HAS SOUPS 125528 WITH SCORE 125671.4
AT ITER 999 NEW BEST:: SOT 256509 SOS 143305 HAS SOPS 143305 HAS SOUS 125456 HAS SOUPS 125456 WITH SCORE 125599.305
AT ITER 1014 NEW BEST:: SOT 256566 SOS 143597 HAS SOPS 143597 HAS SOUS 125438 HAS SOUPS 125438 WITH SCORE 125581.597
AT ITER 1015 NEW BEST:: SOT 256566 SOS 143418 HAS SOPS 143418 HAS SOUS 125438 HAS SOUPS 125438 WITH SCORE 125581.418
AT ITER 1019 NEW BEST:: SOT 256489 SOS 143721 HAS SOPS 143721 HAS SOUS 125392 HAS SOUPS 125392 WITH SCORE 125535.721
AT ITER 1024 NEW BEST:: SOT 256367 SOS 143418 HAS SOPS 143418 HAS SOUS 125051 HAS SOUPS 125051 WITH SCORE 125194.418
AT ITER 1027 NEW BEST:: SOT 256390 SOS 142804 HAS SOPS 142804 HAS SOUS 124953 HAS SOUPS 124953 WITH SCORE 125095.804
AT ITER 1033 NEW BEST:: SOT 256278 SOS 142778 HAS SOPS 142778 HAS SOUS 124927 HAS SOUPS 124927 WITH SCORE 125069.778
AT ITER 1036 NEW BEST:: SOT 256278 SOS 142463 HAS SOPS 142463 HAS SOUS 124927 HAS SOUPS 124927 WITH SCORE 125069.463
AT ITER 1040 NEW BEST:: SOT 256278 SOS 142359 HAS SOPS 142359 HAS SOUS 124927 HAS SOUPS 124927 WITH SCORE 125069.359
AT ITER 1046 NEW BEST:: SOT 256278 SOS 142335 HAS SOPS 142335 HAS SOUS 124927 HAS SOUPS 124927 WITH SCORE 125069.335
AT ITER 1048 NEW BEST:: SOT 256278 SOS 142335 HAS SOPS 142335 HAS SOUS 124908 HAS SOUPS 124908 WITH SCORE 125050.335
AT ITER 1051 NEW BEST:: SOT 256287 SOS 142296 HAS SOPS 142296 HAS SOUS 124886 HAS SOUPS 124886 WITH SCORE 125028.296
AT ITER 1052 NEW BEST:: SOT 255931 SOS 143173 HAS SOPS 143173 HAS SOUS 124796 HAS SOUPS 124796 WITH SCORE 124939.173
AT ITER 1054 NEW BEST:: SOT 255931 SOS 143249 HAS SOPS 143249 HAS SOUS 124695 HAS SOUPS 124695 WITH SCORE 124838.249
AT ITER 1056 NEW BEST:: SOT 255931 SOS 142319 HAS SOPS 142319 HAS SOUS 124636 HAS SOUPS 124636 WITH SCORE 124778.319
AT ITER 1067 NEW BEST:: SOT 255893 SOS 142291 HAS SOPS 142291 HAS SOUS 124608 HAS SOUPS 124608 WITH SCORE 124750.291
AT ITER 1070 NEW BEST:: SOT 255893 SOS 142094 HAS SOPS 142094 HAS SOUS 124585 HAS SOUPS 124585 WITH SCORE 124727.094
AT ITER 1073 NEW BEST:: SOT 255966 SOS 141975 HAS SOPS 141975 HAS SOUS 124513 HAS SOUPS 124513 WITH SCORE 124654.975
AT ITER 1074 NEW BEST:: SOT 255966 SOS 141849 HAS SOPS 141849 HAS SOUS 124494 HAS SOUPS 124494 WITH SCORE 124635.849
AT ITER 1078 NEW BEST:: SOT 255892 SOS 141694 HAS SOPS 141694 HAS SOUS 124437 HAS SOUPS 124437 WITH SCORE 124578.694
AT ITER 1082 NEW BEST:: SOT 255437 SOS 141890 HAS SOPS 141890 HAS SOUS 124278 HAS SOUPS 124278 WITH SCORE 124419.89
AT ITER 1087 NEW BEST:: SOT 254995 SOS 141621 HAS SOPS 141621 HAS SOUS 124173 HAS SOUPS 124173 WITH SCORE 124314.621
AT ITER 1090 NEW BEST:: SOT 254947 SOS 141573 HAS SOPS 141573 HAS SOUS 124088 HAS SOUPS 124088 WITH SCORE 124229.573
AT ITER 1095 NEW BEST:: SOT 254861 SOS 141635 HAS SOPS 141635 HAS SOUS 124046 HAS SOUPS 124046 WITH SCORE 124187.635
AT ITER 1097 NEW BEST:: SOT 254855 SOS 141629 HAS SOPS 141629 HAS SOUS 124040 HAS SOUPS 124040 WITH SCORE 124181.629
AT ITER 1100 NEW BEST:: SOT 254855 SOS 141666 HAS SOPS 141666 HAS SOUS 124008 HAS SOUPS 124008 WITH SCORE 124149.666
AT ITER 1105 NEW BEST:: SOT 254855 SOS 141489 HAS SOPS 141489 HAS SOUS 123973 HAS SOUPS 123973 WITH SCORE 124114.489
AT ITER 1113 NEW BEST:: SOT 254882 SOS 141482 HAS SOPS 141482 HAS SOUS 123969 HAS SOUPS 123969 WITH SCORE 124110.482
AT ITER 1120 NEW BEST:: SOT 254457 SOS 142051 HAS SOPS 142051 HAS SOUS 123927 HAS SOUPS 123927 WITH SCORE 124069.051
AT ITER 1122 NEW BEST:: SOT 254440 SOS 142042 HAS SOPS 142042 HAS SOUS 123918 HAS SOUPS 123918 WITH SCORE 124060.042
AT ITER 1124 NEW BEST:: SOT 254431 SOS 142033 HAS SOPS 142033 HAS SOUS 123909 HAS SOUPS 123909 WITH SCORE 124051.033
AT ITER 1130 NEW BEST:: SOT 254419 SOS 142042 HAS SOPS 142042 HAS SOUS 123882 HAS SOUPS 123882 WITH SCORE 124024.042
AT ITER 1147 NEW BEST:: SOT 254346 SOS 141991 HAS SOPS 141991 HAS SOUS 123831 HAS SOUPS 123831 WITH SCORE 123972.991
AT ITER 1149 NEW BEST:: SOT 254275 SOS 141886 HAS SOPS 141886 HAS SOUS 123797 HAS SOUPS 123797 WITH SCORE 123938.886
AT ITER 1157 NEW BEST:: SOT 254386 SOS 141907 HAS SOPS 141907 HAS SOUS 123712 HAS SOUPS 123712 WITH SCORE 123853.907
AT ITER 1158 NEW BEST:: SOT 253897 SOS 142028 HAS SOPS 142028 HAS SOUS 123512 HAS SOUPS 123512 WITH SCORE 123654.028
AT ITER 1167 NEW BEST:: SOT 253897 SOS 141731 HAS SOPS 141731 HAS SOUS 123504 HAS SOUPS 123504 WITH SCORE 123645.731
AT ITER 1170 NEW BEST:: SOT 253727 SOS 141711 HAS SOPS 141711 HAS SOUS 123467 HAS SOUPS 123467 WITH SCORE 123608.711
AT ITER 1193 NEW BEST:: SOT 253531 SOS 142672 HAS SOPS 142672 HAS SOUS 123397 HAS SOUPS 123397 WITH SCORE 123539.672
AT ITER 1196 NEW BEST:: SOT 253531 SOS 142646 HAS SOPS 142646 HAS SOUS 123397 HAS SOUPS 123397 WITH SCORE 123539.646
AT ITER 1208 NEW BEST:: SOT 253556 SOS 142644 HAS SOPS 142644 HAS SOUS 123341 HAS SOUPS 123341 WITH SCORE 123483.644
AT ITER 1212 NEW BEST:: SOT 253556 SOS 142562 HAS SOPS 142562 HAS SOUS 123312 HAS SOUPS 123312 WITH SCORE 123454.562
AT ITER 1228 NEW BEST:: SOT 253556 SOS 142528 HAS SOPS 142528 HAS SOUS 123236 HAS SOUPS 123236 WITH SCORE 123378.528
AT ITER 1231 NEW BEST:: SOT 253500 SOS 142514 HAS SOPS 142514 HAS SOUS 123222 HAS SOUPS 123222 WITH SCORE 123364.514
AT ITER 1232 NEW BEST:: SOT 253500 SOS 142513 HAS SOPS 142513 HAS SOUS 123222 HAS SOUPS 123222 WITH SCORE 123364.513
AT ITER 1233 NEW BEST:: SOT 253480 SOS 142493 HAS SOPS 142493 HAS SOUS 123148 HAS SOUPS 123148 WITH SCORE 123290.493
AT ITER 1234 NEW BEST:: SOT 253463 SOS 142470 HAS SOPS 142470 HAS SOUS 123101 HAS SOUPS 123101 WITH SCORE 123243.47
AT ITER 1235 NEW BEST:: SOT 253477 SOS 142118 HAS SOPS 142118 HAS SOUS 122906 HAS SOUPS 122906 WITH SCORE 123048.118
AT ITER 1242 NEW BEST:: SOT 253471 SOS 142112 HAS SOPS 142112 HAS SOUS 122900 HAS SOUPS 122900 WITH SCORE 123042.112
AT ITER 1247 NEW BEST:: SOT 253471 SOS 141638 HAS SOPS 141638 HAS SOUS 122898 HAS SOUPS 122898 WITH SCORE 123039.638
AT ITER 1250 NEW BEST:: SOT 253471 SOS 141603 HAS SOPS 141603 HAS SOUS 122898 HAS SOUPS 122898 WITH SCORE 123039.603
AT ITER 1261 NEW BEST:: SOT 253130 SOS 141318 HAS SOPS 141318 HAS SOUS 122738 HAS SOUPS 122738 WITH SCORE 122879.318
AT ITER 1272 NEW BEST:: SOT 253057 SOS 141263 HAS SOPS 141263 HAS SOUS 122683 HAS SOUPS 122683 WITH SCORE 122824.263
AT ITER 1285 NEW BEST:: SOT 253023 SOS 141193 HAS SOPS 141193 HAS SOUS 122575 HAS SOUPS 122575 WITH SCORE 122716.193
AT ITER 1291 NEW BEST:: SOT 253023 SOS 141128 HAS SOPS 141128 HAS SOUS 122575 HAS SOUPS 122575 WITH SCORE 122716.128
AT ITER 1298 NEW BEST:: SOT 252999 SOS 141078 HAS SOPS 141078 HAS SOUS 122518 HAS SOUPS 122518 WITH SCORE 122659.078
AT ITER 1303 NEW BEST:: SOT 252539 SOS 141198 HAS SOPS 141198 HAS SOUS 122380 HAS SOUPS 122380 WITH SCORE 122521.198
AT ITER 1305 NEW BEST:: SOT 252539 SOS 141196 HAS SOPS 141196 HAS SOUS 122380 HAS SOUPS 122380 WITH SCORE 122521.196
AT ITER 1320 NEW BEST:: SOT 252579 SOS 141206 HAS SOPS 141206 HAS SOUS 122372 HAS SOUPS 122372 WITH SCORE 122513.206
AT ITER 1324 NEW BEST:: SOT 252427 SOS 141256 HAS SOPS 141256 HAS SOUS 122369 HAS SOUPS 122369 WITH SCORE 122510.256
AT ITER 1325 NEW BEST:: SOT 252427 SOS 141230 HAS SOPS 141230 HAS SOUS 122369 HAS SOUPS 122369 WITH SCORE 122510.23
AT ITER 1326 NEW BEST:: SOT 252427 SOS 141188 HAS SOPS 141188 HAS SOUS 122369 HAS SOUPS 122369 WITH SCORE 122510.188
AT ITER 1347 NEW BEST:: SOT 252442 SOS 141141 HAS SOPS 141141 HAS SOUS 122354 HAS SOUPS 122354 WITH SCORE 122495.141
AT ITER 1351 NEW BEST:: SOT 252424 SOS 140979 HAS SOPS 140979 HAS SOUS 122214 HAS SOUPS 122214 WITH SCORE 122354.979
AT ITER 1356 NEW BEST:: SOT 252424 SOS 140769 HAS SOPS 140769 HAS SOUS 122214 HAS SOUPS 122214 WITH SCORE 122354.769
AT ITER 1367 NEW BEST:: SOT 252424 SOS 140630 HAS SOPS 140630 HAS SOUS 122214 HAS SOUPS 122214 WITH SCORE 122354.63
AT ITER 1383 NEW BEST:: SOT 252473 SOS 140571 HAS SOPS 140571 HAS SOUS 122188 HAS SOUPS 122188 WITH SCORE 122328.571
AT ITER 1388 NEW BEST:: SOT 252254 SOS 141356 HAS SOPS 141356 HAS SOUS 122171 HAS SOUPS 122171 WITH SCORE 122312.356
AT ITER 1392 NEW BEST:: SOT 252211 SOS 141313 HAS SOPS 141313 HAS SOUS 122131 HAS SOUPS 122131 WITH SCORE 122272.313
AT ITER 1393 NEW BEST:: SOT 251773 SOS 141098 HAS SOPS 141098 HAS SOUS 121904 HAS SOUPS 121904 WITH SCORE 122045.098
AT ITER 1398 NEW BEST:: SOT 251570 SOS 141127 HAS SOPS 141127 HAS SOUS 121774 HAS SOUPS 121774 WITH SCORE 121915.127
AT ITER 1401 NEW BEST:: SOT 251570 SOS 141094 HAS SOPS 141094 HAS SOUS 121774 HAS SOUPS 121774 WITH SCORE 121915.094
AT ITER 1416 NEW BEST:: SOT 251600 SOS 140625 HAS SOPS 140625 HAS SOUS 121725 HAS SOUPS 121725 WITH SCORE 121865.625
AT ITER 1431 NEW BEST:: SOT 251600 SOS 140578 HAS SOPS 140578 HAS SOUS 121686 HAS SOUPS 121686 WITH SCORE 121826.578
AT ITER 1433 NEW BEST:: SOT 251036 SOS 140304 HAS SOPS 140304 HAS SOUS 121430 HAS SOUPS 121430 WITH SCORE 121570.304
AT ITER 1440 NEW BEST:: SOT 251036 SOS 140243 HAS SOPS 140243 HAS SOUS 121430 HAS SOUPS 121430 WITH SCORE 121570.243
AT ITER 1442 NEW BEST:: SOT 251036 SOS 140221 HAS SOPS 140221 HAS SOUS 121430 HAS SOUPS 121430 WITH SCORE 121570.221
AT ITER 1453 NEW BEST:: SOT 251036 SOS 140168 HAS SOPS 140168 HAS SOUS 121430 HAS SOUPS 121430 WITH SCORE 121570.168
AT ITER 1455 NEW BEST:: SOT 250975 SOS 140107 HAS SOPS 140107 HAS SOUS 121286 HAS SOUPS 121286 WITH SCORE 121426.107
AT ITER 1471 NEW BEST:: SOT 250950 SOS 140036 HAS SOPS 140036 HAS SOUS 121232 HAS SOUPS 121232 WITH SCORE 121372.036
AT ITER 1475 NEW BEST:: SOT 250950 SOS 140021 HAS SOPS 140021 HAS SOUS 121232 HAS SOUPS 121232 WITH SCORE 121372.021
AT ITER 1478 NEW BEST:: SOT 250950 SOS 140021 HAS SOPS 140021 HAS SOUS 121177 HAS SOUPS 121177 WITH SCORE 121317.021
AT ITER 1486 NEW BEST:: SOT 250888 SOS 139959 HAS SOPS 139959 HAS SOUS 121053 HAS SOUPS 121053 WITH SCORE 121192.959
AT ITER 1498 NEW BEST:: SOT 250865 SOS 139936 HAS SOPS 139936 HAS SOUS 121000 HAS SOUPS 121000 WITH SCORE 121139.936
AT ITER 1505 NEW BEST:: SOT 250865 SOS 139735 HAS SOPS 139735 HAS SOUS 121000 HAS SOUPS 121000 WITH SCORE 121139.735
AT ITER 1511 NEW BEST:: SOT 250865 SOS 139732 HAS SOPS 139732 HAS SOUS 120997 HAS SOUPS 120997 WITH SCORE 121136.732
AT ITER 1516 NEW BEST:: SOT 250685 SOS 139601 HAS SOPS 139601 HAS SOUS 120866 HAS SOUPS 120866 WITH SCORE 121005.601
AT ITER 1519 NEW BEST:: SOT 250680 SOS 139561 HAS SOPS 139561 HAS SOUS 120832 HAS SOUPS 120832 WITH SCORE 120971.561
AT ITER 1520 NEW BEST:: SOT 250635 SOS 139609 HAS SOPS 139609 HAS SOUS 120806 HAS SOUPS 120806 WITH SCORE 120945.609
AT ITER 1522 NEW BEST:: SOT 250635 SOS 139602 HAS SOPS 139602 HAS SOUS 120799 HAS SOUPS 120799 WITH SCORE 120938.602
AT ITER 1532 NEW BEST:: SOT 250619 SOS 139487 HAS SOPS 139487 HAS SOUS 120729 HAS SOUPS 120729 WITH SCORE 120868.487
AT ITER 1533 NEW BEST:: SOT 250619 SOS 139459 HAS SOPS 139459 HAS SOUS 120718 HAS SOUPS 120718 WITH SCORE 120857.459
AT ITER 1539 NEW BEST:: SOT 250250 SOS 139158 HAS SOPS 139158 HAS SOUS 120397 HAS SOUPS 120397 WITH SCORE 120536.158
AT ITER 1543 NEW BEST:: SOT 250250 SOS 139038 HAS SOPS 139038 HAS SOUS 120397 HAS SOUPS 120397 WITH SCORE 120536.038
AT ITER 1552 NEW BEST:: SOT 250194 SOS 138960 HAS SOPS 138960 HAS SOUS 120334 HAS SOUPS 120334 WITH SCORE 120472.96
AT ITER 1566 NEW BEST:: SOT 250068 SOS 138949 HAS SOPS 138949 HAS SOUS 120323 HAS SOUPS 120323 WITH SCORE 120461.949
AT ITER 1580 NEW BEST:: SOT 250054 SOS 138935 HAS SOPS 138935 HAS SOUS 120309 HAS SOUPS 120309 WITH SCORE 120447.935
AT ITER 1589 NEW BEST:: SOT 250047 SOS 138963 HAS SOPS 138963 HAS SOUS 120279 HAS SOUPS 120279 WITH SCORE 120417.963
AT ITER 1592 NEW BEST:: SOT 250047 SOS 138910 HAS SOPS 138910 HAS SOUS 120279 HAS SOUPS 120279 WITH SCORE 120417.91
AT ITER 1604 NEW BEST:: SOT 249755 SOS 139144 HAS SOPS 139144 HAS SOUS 120270 HAS SOUPS 120270 WITH SCORE 120409.144
AT ITER 1609 NEW BEST:: SOT 249751 SOS 139140 HAS SOPS 139140 HAS SOUS 120223 HAS SOUPS 120223 WITH SCORE 120362.14
AT ITER 1616 NEW BEST:: SOT 249751 SOS 139139 HAS SOPS 139139 HAS SOUS 120223 HAS SOUPS 120223 WITH SCORE 120362.139
AT ITER 1620 NEW BEST:: SOT 249751 SOS 139139 HAS SOPS 139139 HAS SOUS 120175 HAS SOUPS 120175 WITH SCORE 120314.139
AT ITER 1629 NEW BEST:: SOT 249733 SOS 139121 HAS SOPS 139121 HAS SOUS 120157 HAS SOUPS 120157 WITH SCORE 120296.121
AT ITER 1632 NEW BEST:: SOT 249777 SOS 139050 HAS SOPS 139050 HAS SOUS 120094 HAS SOUPS 120094 WITH SCORE 120233.05
AT ITER 1647 NEW BEST:: SOT 249788 SOS 139046 HAS SOPS 139046 HAS SOUS 120064 HAS SOUPS 120064 WITH SCORE 120203.046
AT ITER 1667 NEW BEST:: SOT 249700 SOS 138991 HAS SOPS 138991 HAS SOUS 119976 HAS SOUPS 119976 WITH SCORE 120114.991
AT ITER 1671 NEW BEST:: SOT 249204 SOS 138892 HAS SOPS 138892 HAS SOUS 119600 HAS SOUPS 119600 WITH SCORE 119738.892
AT ITER 1712 NEW BEST:: SOT 249204 SOS 138829 HAS SOPS 138829 HAS SOUS 119593 HAS SOUPS 119593 WITH SCORE 119731.829
AT ITER 1725 NEW BEST:: SOT 249137 SOS 138705 HAS SOPS 138705 HAS SOUS 119589 HAS SOUPS 119589 WITH SCORE 119727.705
AT ITER 1733 NEW BEST:: SOT 248999 SOS 138567 HAS SOPS 138567 HAS SOUS 119381 HAS SOUPS 119381 WITH SCORE 119519.567
AT ITER 1736 NEW BEST:: SOT 248999 SOS 138543 HAS SOPS 138543 HAS SOUS 119381 HAS SOUPS 119381 WITH SCORE 119519.543
AT ITER 1746 NEW BEST:: SOT 248942 SOS 138769 HAS SOPS 138769 HAS SOUS 119324 HAS SOUPS 119324 WITH SCORE 119462.769
AT ITER 1748 NEW BEST:: SOT 248932 SOS 138851 HAS SOPS 138851 HAS SOUS 119314 HAS SOUPS 119314 WITH SCORE 119452.851
AT ITER 1758 NEW BEST:: SOT 248932 SOS 138642 HAS SOPS 138642 HAS SOUS 119314 HAS SOUPS 119314 WITH SCORE 119452.642
AT ITER 1759 NEW BEST:: SOT 248932 SOS 138529 HAS SOPS 138529 HAS SOUS 119283 HAS SOUPS 119283 WITH SCORE 119421.529
AT ITER 1766 NEW BEST:: SOT 248868 SOS 138465 HAS SOPS 138465 HAS SOUS 119143 HAS SOUPS 119143 WITH SCORE 119281.465
AT ITER 1769 NEW BEST:: SOT 248683 SOS 138333 HAS SOPS 138333 HAS SOUS 119011 HAS SOUPS 119011 WITH SCORE 119149.333
AT ITER 1781 NEW BEST:: SOT 248681 SOS 138310 HAS SOPS 138310 HAS SOUS 118988 HAS SOUPS 118988 WITH SCORE 119126.31
AT ITER 1793 NEW BEST:: SOT 248633 SOS 138178 HAS SOPS 138178 HAS SOUS 118845 HAS SOUPS 118845 WITH SCORE 118983.178
AT ITER 1796 NEW BEST:: SOT 248576 SOS 138036 HAS SOPS 138036 HAS SOUS 118738 HAS SOUPS 118738 WITH SCORE 118876.036
AT ITER 1801 NEW BEST:: SOT 248179 SOS 138499 HAS SOPS 138499 HAS SOUS 118680 HAS SOUPS 118680 WITH SCORE 118818.499
AT ITER 1819 NEW BEST:: SOT 248179 SOS 138466 HAS SOPS 138466 HAS SOUS 118680 HAS SOUPS 118680 WITH SCORE 118818.466
AT ITER 1823 NEW BEST:: SOT 248179 SOS 138442 HAS SOPS 138442 HAS SOUS 118680 HAS SOUPS 118680 WITH SCORE 118818.442
AT ITER 1836 NEW BEST:: SOT 248138 SOS 138418 HAS SOPS 138418 HAS SOUS 118656 HAS SOUPS 118656 WITH SCORE 118794.418
AT ITER 1840 NEW BEST:: SOT 248153 SOS 138107 HAS SOPS 138107 HAS SOUS 118654 HAS SOUPS 118654 WITH SCORE 118792.107
AT ITER 1848 NEW BEST:: SOT 247983 SOS 137971 HAS SOPS 137971 HAS SOUS 118518 HAS SOUPS 118518 WITH SCORE 118655.971
AT ITER 1861 NEW BEST:: SOT 247983 SOS 137971 HAS SOPS 137971 HAS SOUS 118475 HAS SOUPS 118475 WITH SCORE 118612.971
AT ITER 1862 NEW BEST:: SOT 247908 SOS 137956 HAS SOPS 137956 HAS SOUS 118449 HAS SOUPS 118449 WITH SCORE 118586.956
AT ITER 1865 NEW BEST:: SOT 247908 SOS 137780 HAS SOPS 137780 HAS SOUS 118412 HAS SOUPS 118412 WITH SCORE 118549.78
AT ITER 1873 NEW BEST:: SOT 247908 SOS 137775 HAS SOPS 137775 HAS SOUS 118412 HAS SOUPS 118412 WITH SCORE 118549.775
AT ITER 1875 NEW BEST:: SOT 247837 SOS 137901 HAS SOPS 137901 HAS SOUS 118401 HAS SOUPS 118401 WITH SCORE 118538.901
AT ITER 1878 NEW BEST:: SOT 247837 SOS 137941 HAS SOPS 137941 HAS SOUS 118397 HAS SOUPS 118397 WITH SCORE 118534.941
AT ITER 1886 NEW BEST:: SOT 247837 SOS 137915 HAS SOPS 137915 HAS SOUS 118397 HAS SOUPS 118397 WITH SCORE 118534.915
AT ITER 1905 NEW BEST:: SOT 247837 SOS 137853 HAS SOPS 137853 HAS SOUS 118397 HAS SOUPS 118397 WITH SCORE 118534.853
AT ITER 1907 NEW BEST:: SOT 247797 SOS 137839 HAS SOPS 137839 HAS SOUS 118309 HAS SOUPS 118309 WITH SCORE 118446.839
AT ITER 1914 NEW BEST:: SOT 247789 SOS 137831 HAS SOPS 137831 HAS SOUS 118307 HAS SOUPS 118307 WITH SCORE 118444.831
AT ITER 1920 NEW BEST:: SOT 247789 SOS 137772 HAS SOPS 137772 HAS SOUS 118290 HAS SOUPS 118290 WITH SCORE 118427.772
AT ITER 1932 NEW BEST:: SOT 247465 SOS 137659 HAS SOPS 137659 HAS SOUS 118233 HAS SOUPS 118233 WITH SCORE 118370.659
AT ITER 1933 NEW BEST:: SOT 247465 SOS 137575 HAS SOPS 137575 HAS SOUS 118184 HAS SOUPS 118184 WITH SCORE 118321.575
AT ITER 1935 NEW BEST:: SOT 247339 SOS 137475 HAS SOPS 137475 HAS SOUS 118084 HAS SOUPS 118084 WITH SCORE 118221.475
AT ITER 1939 NEW BEST:: SOT 247059 SOS 137367 HAS SOPS 137367 HAS SOUS 117965 HAS SOUPS 117965 WITH SCORE 118102.367
AT ITER 1954 NEW BEST:: SOT 246900 SOS 137345 HAS SOPS 137345 HAS SOUS 117931 HAS SOUPS 117931 WITH SCORE 118068.345
AT ITER 1963 NEW BEST:: SOT 246639 SOS 137184 HAS SOPS 137184 HAS SOUS 117812 HAS SOUPS 117812 WITH SCORE 117949.184
AT ITER 1966 NEW BEST:: SOT 246639 SOS 137172 HAS SOPS 137172 HAS SOUS 117812 HAS SOUPS 117812 WITH SCORE 117949.172
AT ITER 1967 NEW BEST:: SOT 246620 SOS 137153 HAS SOPS 137153 HAS SOUS 117793 HAS SOUPS 117793 WITH SCORE 117930.153
AT ITER 1982 NEW BEST:: SOT 246620 SOS 136499 HAS SOPS 136499 HAS SOUS 117793 HAS SOUPS 117793 WITH SCORE 117929.499
AT ITER 1995 NEW BEST:: SOT 246605 SOS 136484 HAS SOPS 136484 HAS SOUS 117778 HAS SOUPS 117778 WITH SCORE 117914.484
AT ITER 2007 NEW BEST:: SOT 246605 SOS 136214 HAS SOPS 136214 HAS SOUS 117778 HAS SOUPS 117778 WITH SCORE 117914.214
AT ITER 2014 NEW BEST:: SOT 246605 SOS 136120 HAS SOPS 136120 HAS SOUS 117778 HAS SOUPS 117778 WITH SCORE 117914.12
AT ITER 2022 NEW BEST:: SOT 246402 SOS 136042 HAS SOPS 136042 HAS SOUS 117700 HAS SOUPS 117700 WITH SCORE 117836.042
AT ITER 2026 NEW BEST:: SOT 246403 SOS 135864 HAS SOPS 135864 HAS SOUS 117631 HAS SOUPS 117631 WITH SCORE 117766.864
AT ITER 2028 NEW BEST:: SOT 246349 SOS 135539 HAS SOPS 135539 HAS SOUS 117577 HAS SOUPS 117577 WITH SCORE 117712.539
AT ITER 2042 NEW BEST:: SOT 246379 SOS 135248 HAS SOPS 135248 HAS SOUS 117543 HAS SOUPS 117543 WITH SCORE 117678.248
AT ITER 2046 NEW BEST:: SOT 246368 SOS 135237 HAS SOPS 135237 HAS SOUS 117532 HAS SOUPS 117532 WITH SCORE 117667.237
AT ITER 2049 NEW BEST:: SOT 246280 SOS 135191 HAS SOPS 135191 HAS SOUS 117486 HAS SOUPS 117486 WITH SCORE 117621.191
AT ITER 2055 NEW BEST:: SOT 246162 SOS 135509 HAS SOPS 135509 HAS SOUS 117420 HAS SOUPS 117420 WITH SCORE 117555.509
AT ITER 2057 NEW BEST:: SOT 246162 SOS 135498 HAS SOPS 135498 HAS SOUS 117420 HAS SOUPS 117420 WITH SCORE 117555.498
AT ITER 2058 NEW BEST:: SOT 246162 SOS 135443 HAS SOPS 135443 HAS SOUS 117417 HAS SOUPS 117417 WITH SCORE 117552.443
AT ITER 2069 NEW BEST:: SOT 245973 SOS 135574 HAS SOPS 135574 HAS SOUS 117390 HAS SOUPS 117390 WITH SCORE 117525.574
AT ITER 2075 NEW BEST:: SOT 245973 SOS 135550 HAS SOPS 135550 HAS SOUS 117390 HAS SOUPS 117390 WITH SCORE 117525.55
AT ITER 2076 NEW BEST:: SOT 245886 SOS 135463 HAS SOPS 135463 HAS SOUS 117303 HAS SOUPS 117303 WITH SCORE 117438.463
AT ITER 2077 NEW BEST:: SOT 245886 SOS 135408 HAS SOPS 135408 HAS SOUS 117303 HAS SOUPS 117303 WITH SCORE 117438.408
AT ITER 2079 NEW BEST:: SOT 245886 SOS 135356 HAS SOPS 135356 HAS SOUS 117303 HAS SOUPS 117303 WITH SCORE 117438.356
AT ITER 2102 NEW BEST:: SOT 245875 SOS 135345 HAS SOPS 135345 HAS SOUS 117276 HAS SOUPS 117276 WITH SCORE 117411.345
AT ITER 2105 NEW BEST:: SOT 245859 SOS 135329 HAS SOPS 135329 HAS SOUS 117260 HAS SOUPS 117260 WITH SCORE 117395.329
AT ITER 2109 NEW BEST:: SOT 245782 SOS 135143 HAS SOPS 135143 HAS SOUS 117045 HAS SOUPS 117045 WITH SCORE 117180.143
AT ITER 2110 NEW BEST:: SOT 245702 SOS 135063 HAS SOPS 135063 HAS SOUS 117005 HAS SOUPS 117005 WITH SCORE 117140.063
AT ITER 2114 NEW BEST:: SOT 245615 SOS 134976 HAS SOPS 134976 HAS SOUS 116849 HAS SOUPS 116849 WITH SCORE 116983.976
AT ITER 2131 NEW BEST:: SOT 245526 SOS 135048 HAS SOPS 135048 HAS SOUS 116832 HAS SOUPS 116832 WITH SCORE 116967.048
AT ITER 2144 NEW BEST:: SOT 245585 SOS 135099 HAS SOPS 135099 HAS SOUS 116810 HAS SOUPS 116810 WITH SCORE 116945.099
AT ITER 2145 NEW BEST:: SOT 245585 SOS 134959 HAS SOPS 134959 HAS SOUS 116782 HAS SOUPS 116782 WITH SCORE 116916.959
AT ITER 2161 NEW BEST:: SOT 245292 SOS 134943 HAS SOPS 134943 HAS SOUS 116625 HAS SOUPS 116625 WITH SCORE 116759.943
AT ITER 2187 NEW BEST:: SOT 245130 SOS 134830 HAS SOPS 134830 HAS SOUS 116512 HAS SOUPS 116512 WITH SCORE 116646.83
AT ITER 2196 NEW BEST:: SOT 245130 SOS 134744 HAS SOPS 134744 HAS SOUS 116390 HAS SOUPS 116390 WITH SCORE 116524.744
AT ITER 2200 NEW BEST:: SOT 245130 SOS 134728 HAS SOPS 134728 HAS SOUS 116390 HAS SOUPS 116390 WITH SCORE 116524.728
AT ITER 2210 NEW BEST:: SOT 245121 SOS 134750 HAS SOPS 134750 HAS SOUS 116381 HAS SOUPS 116381 WITH SCORE 116515.75
AT ITER 2211 NEW BEST:: SOT 245121 SOS 134854 HAS SOPS 134854 HAS SOUS 116349 HAS SOUPS 116349 WITH SCORE 116483.854
AT ITER 2212 NEW BEST:: SOT 245098 SOS 134976 HAS SOPS 134976 HAS SOUS 116338 HAS SOUPS 116338 WITH SCORE 116472.976
AT ITER 2214 NEW BEST:: SOT 244815 SOS 134789 HAS SOPS 134789 HAS SOUS 116301 HAS SOUPS 116301 WITH SCORE 116435.789
AT ITER 2226 NEW BEST:: SOT 244654 SOS 134683 HAS SOPS 134683 HAS SOUS 116195 HAS SOUPS 116195 WITH SCORE 116329.683
AT ITER 2240 NEW BEST:: SOT 244638 SOS 134667 HAS SOPS 134667 HAS SOUS 116179 HAS SOUPS 116179 WITH SCORE 116313.667
AT ITER 2243 NEW BEST:: SOT 244638 SOS 134495 HAS SOPS 134495 HAS SOUS 116104 HAS SOUPS 116104 WITH SCORE 116238.495
AT ITER 2256 NEW BEST:: SOT 244638 SOS 134425 HAS SOPS 134425 HAS SOUS 116074 HAS SOUPS 116074 WITH SCORE 116208.425
AT ITER 2266 NEW BEST:: SOT 244640 SOS 134419 HAS SOPS 134419 HAS SOUS 116036 HAS SOUPS 116036 WITH SCORE 116170.419
AT ITER 2281 NEW BEST:: SOT 244526 SOS 134335 HAS SOPS 134335 HAS SOUS 115952 HAS SOUPS 115952 WITH SCORE 116086.335
AT ITER 2293 NEW BEST:: SOT 244460 SOS 134312 HAS SOPS 134312 HAS SOUS 115803 HAS SOUPS 115803 WITH SCORE 115937.312
AT ITER 2302 NEW BEST:: SOT 244426 SOS 134297 HAS SOPS 134297 HAS SOUS 115788 HAS SOUPS 115788 WITH SCORE 115922.297
AT ITER 2303 NEW BEST:: SOT 244340 SOS 134337 HAS SOPS 134337 HAS SOUS 115736 HAS SOUPS 115736 WITH SCORE 115870.337
AT ITER 2307 NEW BEST:: SOT 244118 SOS 134176 HAS SOPS 134176 HAS SOUS 115585 HAS SOUPS 115585 WITH SCORE 115719.176
AT ITER 2308 NEW BEST:: SOT 244098 SOS 134156 HAS SOPS 134156 HAS SOUS 115570 HAS SOUPS 115570 WITH SCORE 115704.156
AT ITER 2311 NEW BEST:: SOT 244098 SOS 134147 HAS SOPS 134147 HAS SOUS 115567 HAS SOUPS 115567 WITH SCORE 115701.147
AT ITER 2315 NEW BEST:: SOT 244169 SOS 134218 HAS SOPS 134218 HAS SOUS 115491 HAS SOUPS 115491 WITH SCORE 115625.218
AT ITER 2323 NEW BEST:: SOT 244141 SOS 134190 HAS SOPS 134190 HAS SOUS 115459 HAS SOUPS 115459 WITH SCORE 115593.19
AT ITER 2326 NEW BEST:: SOT 244141 SOS 134145 HAS SOPS 134145 HAS SOUS 115414 HAS SOUPS 115414 WITH SCORE 115548.145
AT ITER 2329 NEW BEST:: SOT 244143 SOS 134142 HAS SOPS 134142 HAS SOUS 115411 HAS SOUPS 115411 WITH SCORE 115545.142
AT ITER 2338 NEW BEST:: SOT 244136 SOS 134135 HAS SOPS 134135 HAS SOUS 115404 HAS SOUPS 115404 WITH SCORE 115538.135
AT ITER 2344 NEW BEST:: SOT 243474 SOS 134381 HAS SOPS 134381 HAS SOUS 115312 HAS SOUPS 115312 WITH SCORE 115446.381
AT ITER 2356 NEW BEST:: SOT 243460 SOS 134367 HAS SOPS 134367 HAS SOUS 115271 HAS SOUPS 115271 WITH SCORE 115405.367
AT ITER 2376 NEW BEST:: SOT 243452 SOS 134359 HAS SOPS 134359 HAS SOUS 115263 HAS SOUPS 115263 WITH SCORE 115397.359
AT ITER 2378 NEW BEST:: SOT 243441 SOS 134348 HAS SOPS 134348 HAS SOUS 115252 HAS SOUPS 115252 WITH SCORE 115386.348
AT ITER 2381 NEW BEST:: SOT 243347 SOS 134397 HAS SOPS 134397 HAS SOUS 115231 HAS SOUPS 115231 WITH SCORE 115365.397
AT ITER 2391 NEW BEST:: SOT 243347 SOS 134310 HAS SOPS 134310 HAS SOUS 115147 HAS SOUPS 115147 WITH SCORE 115281.31
AT ITER 2418 NEW BEST:: SOT 243245 SOS 134183 HAS SOPS 134183 HAS SOUS 115045 HAS SOUPS 115045 WITH SCORE 115179.183
AT ITER 2442 NEW BEST:: SOT 243167 SOS 134418 HAS SOPS 134418 HAS SOUS 115034 HAS SOUPS 115034 WITH SCORE 115168.418
AT ITER 2469 NEW BEST:: SOT 243205 SOS 134447 HAS SOPS 134447 HAS SOUS 114994 HAS SOUPS 114994 WITH SCORE 115128.447
AT ITER 2473 NEW BEST:: SOT 243104 SOS 134346 HAS SOPS 134346 HAS SOUS 114951 HAS SOUPS 114951 WITH SCORE 115085.346
AT ITER 2477 NEW BEST:: SOT 243086 SOS 134366 HAS SOPS 134366 HAS SOUS 114933 HAS SOUPS 114933 WITH SCORE 115067.366
AT ITER 2495 NEW BEST:: SOT 243030 SOS 134307 HAS SOPS 134307 HAS SOUS 114857 HAS SOUPS 114857 WITH SCORE 114991.307
AT ITER 2504 NEW BEST:: SOT 242751 SOS 134478 HAS SOPS 134478 HAS SOUS 114853 HAS SOUPS 114853 WITH SCORE 114987.478
AT ITER 2506 NEW BEST:: SOT 242751 SOS 134428 HAS SOPS 134428 HAS SOUS 114828 HAS SOUPS 114828 WITH SCORE 114962.428
AT ITER 2550 NEW BEST:: SOT 242735 SOS 134412 HAS SOPS 134412 HAS SOUS 114804 HAS SOUPS 114804 WITH SCORE 114938.412
AT ITER 2551 NEW BEST:: SOT 242707 SOS 134454 HAS SOPS 134454 HAS SOUS 114776 HAS SOUPS 114776 WITH SCORE 114910.454
AT ITER 2552 NEW BEST:: SOT 242693 SOS 134440 HAS SOPS 134440 HAS SOUS 114762 HAS SOUPS 114762 WITH SCORE 114896.44
AT ITER 2562 NEW BEST:: SOT 242693 SOS 134440 HAS SOPS 134440 HAS SOUS 114718 HAS SOUPS 114718 WITH SCORE 114852.44
AT ITER 2567 NEW BEST:: SOT 242520 SOS 134267 HAS SOPS 134267 HAS SOUS 114545 HAS SOUPS 114545 WITH SCORE 114679.267
AT ITER 2576 NEW BEST:: SOT 242520 SOS 134219 HAS SOPS 134219 HAS SOUS 114529 HAS SOUPS 114529 WITH SCORE 114663.219
AT ITER 2579 NEW BEST:: SOT 242563 SOS 134212 HAS SOPS 134212 HAS SOUS 114471 HAS SOUPS 114471 WITH SCORE 114605.212
AT ITER 2584 NEW BEST:: SOT 242600 SOS 134242 HAS SOPS 134242 HAS SOUS 114408 HAS SOUPS 114408 WITH SCORE 114542.242
AT ITER 2586 NEW BEST:: SOT 242564 SOS 134102 HAS SOPS 134102 HAS SOUS 114372 HAS SOUPS 114372 WITH SCORE 114506.102
AT ITER 2590 NEW BEST:: SOT 242564 SOS 134111 HAS SOPS 134111 HAS SOUS 114332 HAS SOUPS 114332 WITH SCORE 114466.111
AT ITER 2618 NEW BEST:: SOT 242564 SOS 134103 HAS SOPS 134103 HAS SOUS 114324 HAS SOUPS 114324 WITH SCORE 114458.103
AT ITER 2619 NEW BEST:: SOT 242463 SOS 134022 HAS SOPS 134022 HAS SOUS 114243 HAS SOUPS 114243 WITH SCORE 114377.022
AT ITER 2621 NEW BEST:: SOT 242463 SOS 134011 HAS SOPS 134011 HAS SOUS 114243 HAS SOUPS 114243 WITH SCORE 114377.011
AT ITER 2623 NEW BEST:: SOT 242601 SOS 134009 HAS SOPS 134009 HAS SOUS 114182 HAS SOUPS 114182 WITH SCORE 114316.009
AT ITER 2626 NEW BEST:: SOT 242343 SOS 133846 HAS SOPS 133846 HAS SOUS 114019 HAS SOUPS 114019 WITH SCORE 114152.846
AT ITER 2635 NEW BEST:: SOT 242343 SOS 133806 HAS SOPS 133806 HAS SOUS 114000 HAS SOUPS 114000 WITH SCORE 114133.806
AT ITER 2642 NEW BEST:: SOT 242343 SOS 133977 HAS SOPS 133977 HAS SOUS 113982 HAS SOUPS 113982 WITH SCORE 114115.977
AT ITER 2643 NEW BEST:: SOT 242197 SOS 133862 HAS SOPS 133862 HAS SOUS 113873 HAS SOUPS 113873 WITH SCORE 114006.862
AT ITER 2687 NEW BEST:: SOT 242197 SOS 133765 HAS SOPS 133765 HAS SOUS 113841 HAS SOUPS 113841 WITH SCORE 113974.765
AT ITER 2690 NEW BEST:: SOT 242145 SOS 133678 HAS SOPS 133678 HAS SOUS 113817 HAS SOUPS 113817 WITH SCORE 113950.678
AT ITER 2694 NEW BEST:: SOT 242002 SOS 133577 HAS SOPS 133577 HAS SOUS 113716 HAS SOUPS 113716 WITH SCORE 113849.577
AT ITER 2708 NEW BEST:: SOT 241792 SOS 133639 HAS SOPS 133639 HAS SOUS 113573 HAS SOUPS 113573 WITH SCORE 113706.639
AT ITER 2717 NEW BEST:: SOT 241755 SOS 133602 HAS SOPS 133602 HAS SOUS 113499 HAS SOUPS 113499 WITH SCORE 113632.602
AT ITER 2723 NEW BEST:: SOT 241755 SOS 133563 HAS SOPS 133563 HAS SOUS 113499 HAS SOUPS 113499 WITH SCORE 113632.563
AT ITER 2728 NEW BEST:: SOT 241755 SOS 133502 HAS SOPS 133502 HAS SOUS 113393 HAS SOUPS 113393 WITH SCORE 113526.502
AT ITER 2731 NEW BEST:: SOT 241755 SOS 133491 HAS SOPS 133491 HAS SOUS 113387 HAS SOUPS 113387 WITH SCORE 113520.491
AT ITER 2736 NEW BEST:: SOT 241673 SOS 133381 HAS SOPS 133381 HAS SOUS 113208 HAS SOUPS 113208 WITH SCORE 113341.381
AT ITER 2750 NEW BEST:: SOT 241697 SOS 133067 HAS SOPS 133067 HAS SOUS 113196 HAS SOUPS 113196 WITH SCORE 113329.067
AT ITER 2754 NEW BEST:: SOT 241733 SOS 132970 HAS SOPS 132970 HAS SOUS 113024 HAS SOUPS 113024 WITH SCORE 113156.97
AT ITER 2786 NEW BEST:: SOT 241636 SOS 132762 HAS SOPS 132762 HAS SOUS 112845 HAS SOUPS 112845 WITH SCORE 112977.762
AT ITER 2798 NEW BEST:: SOT 241579 SOS 132752 HAS SOPS 132752 HAS SOUS 112835 HAS SOUPS 112835 WITH SCORE 112967.752
AT ITER 2806 NEW BEST:: SOT 241492 SOS 132694 HAS SOPS 132694 HAS SOUS 112777 HAS SOUPS 112777 WITH SCORE 112909.694
AT ITER 2807 NEW BEST:: SOT 241533 SOS 132705 HAS SOPS 132705 HAS SOUS 112758 HAS SOUPS 112758 WITH SCORE 112890.705
AT ITER 2816 NEW BEST:: SOT 241518 SOS 132693 HAS SOPS 132693 HAS SOUS 112746 HAS SOUPS 112746 WITH SCORE 112878.693
AT ITER 2825 NEW BEST:: SOT 241525 SOS 132690 HAS SOPS 132690 HAS SOUS 112743 HAS SOUPS 112743 WITH SCORE 112875.69
AT ITER 2828 NEW BEST:: SOT 241525 SOS 132632 HAS SOPS 132632 HAS SOUS 112646 HAS SOUPS 112646 WITH SCORE 112778.632
AT ITER 2830 NEW BEST:: SOT 241525 SOS 132557 HAS SOPS 132557 HAS SOUS 112646 HAS SOUPS 112646 WITH SCORE 112778.557
AT ITER 2861 NEW BEST:: SOT 241560 SOS 132694 HAS SOPS 132694 HAS SOUS 112628 HAS SOUPS 112628 WITH SCORE 112760.694
AT ITER 2877 NEW BEST:: SOT 241560 SOS 132625 HAS SOPS 132625 HAS SOUS 112607 HAS SOUPS 112607 WITH SCORE 112739.625
AT ITER 2880 NEW BEST:: SOT 241613 SOS 132678 HAS SOPS 132678 HAS SOUS 112570 HAS SOUPS 112570 WITH SCORE 112702.678
AT ITER 2884 NEW BEST:: SOT 241613 SOS 132683 HAS SOPS 132683 HAS SOUS 112525 HAS SOUPS 112525 WITH SCORE 112657.683
AT ITER 2888 NEW BEST:: SOT 241537 SOS 132607 HAS SOPS 132607 HAS SOUS 112388 HAS SOUPS 112388 WITH SCORE 112520.607
AT ITER 2893 NEW BEST:: SOT 241537 SOS 132265 HAS SOPS 132265 HAS SOUS 112388 HAS SOUPS 112388 WITH SCORE 112520.265
AT ITER 2894 NEW BEST:: SOT 241537 SOS 132241 HAS SOPS 132241 HAS SOUS 112388 HAS SOUPS 112388 WITH SCORE 112520.241
AT ITER 2902 NEW BEST:: SOT 241537 SOS 132180 HAS SOPS 132180 HAS SOUS 112298 HAS SOUPS 112298 WITH SCORE 112430.18
AT ITER 2903 NEW BEST:: SOT 241619 SOS 132247 HAS SOPS 132247 HAS SOUS 112236 HAS SOUPS 112236 WITH SCORE 112368.247
AT ITER 2905 NEW BEST:: SOT 241619 SOS 132378 HAS SOPS 132378 HAS SOUS 112226 HAS SOUPS 112226 WITH SCORE 112358.378
AT ITER 2911 NEW BEST:: SOT 241546 SOS 132305 HAS SOPS 132305 HAS SOUS 112093 HAS SOUPS 112093 WITH SCORE 112225.305
AT ITER 2937 NEW BEST:: SOT 241301 SOS 132367 HAS SOPS 132367 HAS SOUS 111979 HAS SOUPS 111979 WITH SCORE 112111.367
AT ITER 2938 NEW BEST:: SOT 241301 SOS 132286 HAS SOPS 132286 HAS SOUS 111976 HAS SOUPS 111976 WITH SCORE 112108.286
AT ITER 2943 NEW BEST:: SOT 241301 SOS 132278 HAS SOPS 132278 HAS SOUS 111953 HAS SOUPS 111953 WITH SCORE 112085.278
AT ITER 2950 NEW BEST:: SOT 241301 SOS 132358 HAS SOPS 132358 HAS SOUS 111928 HAS SOUPS 111928 WITH SCORE 112060.358
AT ITER 2951 NEW BEST:: SOT 241232 SOS 132335 HAS SOPS 132335 HAS SOUS 111882 HAS SOUPS 111882 WITH SCORE 112014.335
AT ITER 2952 NEW BEST:: SOT 241095 SOS 132313 HAS SOPS 132313 HAS SOUS 111860 HAS SOUPS 111860 WITH SCORE 111992.313
AT ITER 2967 NEW BEST:: SOT 241095 SOS 132203 HAS SOPS 132203 HAS SOUS 111860 HAS SOUPS 111860 WITH SCORE 111992.203
AT ITER 2971 NEW BEST:: SOT 240895 SOS 132082 HAS SOPS 132082 HAS SOUS 111770 HAS SOUPS 111770 WITH SCORE 111902.082
AT ITER 2972 NEW BEST:: SOT 240949 SOS 132046 HAS SOPS 132046 HAS SOUS 111762 HAS SOUPS 111762 WITH SCORE 111894.046
AT ITER 2978 NEW BEST:: SOT 240949 SOS 132019 HAS SOPS 132019 HAS SOUS 111762 HAS SOUPS 111762 WITH SCORE 111894.019
AT ITER 2982 NEW BEST:: SOT 240812 SOS 131909 HAS SOPS 131909 HAS SOUS 111665 HAS SOUPS 111665 WITH SCORE 111796.909
AT ITER 2988 NEW BEST:: SOT 240812 SOS 131909 HAS SOPS 131909 HAS SOUS 111649 HAS SOUPS 111649 WITH SCORE 111780.909
AT ITER 2991 NEW BEST:: SOT 240812 SOS 131863 HAS SOPS 131863 HAS SOUS 111649 HAS SOUPS 111649 WITH SCORE 111780.863
AT ITER 2992 NEW BEST:: SOT 240764 SOS 131743 HAS SOPS 131743 HAS SOUS 111628 HAS SOUPS 111628 WITH SCORE 111759.743
AT ITER 2998 NEW BEST:: SOT 240706 SOS 131685 HAS SOPS 131685 HAS SOUS 111570 HAS SOUPS 111570 WITH SCORE 111701.685
AT ITER 3005 NEW BEST:: SOT 240706 SOS 131685 HAS SOPS 131685 HAS SOUS 111531 HAS SOUPS 111531 WITH SCORE 111662.685
AT ITER 3012 NEW BEST:: SOT 240402 SOS 131734 HAS SOPS 131734 HAS SOUS 111385 HAS SOUPS 111385 WITH SCORE 111516.734
AT ITER 3027 NEW BEST:: SOT 240365 SOS 131526 HAS SOPS 131526 HAS SOUS 111298 HAS SOUPS 111298 WITH SCORE 111429.526
AT ITER 3028 NEW BEST:: SOT 240365 SOS 131440 HAS SOPS 131440 HAS SOUS 111298 HAS SOUPS 111298 WITH SCORE 111429.44
AT ITER 3030 NEW BEST:: SOT 239856 SOS 132362 HAS SOPS 132362 HAS SOUS 111260 HAS SOUPS 111260 WITH SCORE 111392.362
AT ITER 3033 NEW BEST:: SOT 239812 SOS 132331 HAS SOPS 132331 HAS SOUS 111255 HAS SOUPS 111255 WITH SCORE 111387.331
AT ITER 3034 NEW BEST:: SOT 239924 SOS 132324 HAS SOPS 132324 HAS SOUS 111247 HAS SOUPS 111247 WITH SCORE 111379.324
AT ITER 3037 NEW BEST:: SOT 239845 SOS 132253 HAS SOPS 132253 HAS SOUS 111176 HAS SOUPS 111176 WITH SCORE 111308.253
AT ITER 3052 NEW BEST:: SOT 239680 SOS 132244 HAS SOPS 132244 HAS SOUS 111069 HAS SOUPS 111069 WITH SCORE 111201.244
AT ITER 3056 NEW BEST:: SOT 239680 SOS 132115 HAS SOPS 132115 HAS SOUS 111069 HAS SOUPS 111069 WITH SCORE 111201.115
AT ITER 3062 NEW BEST:: SOT 239528 SOS 132105 HAS SOPS 132105 HAS SOUS 111066 HAS SOUPS 111066 WITH SCORE 111198.105
AT ITER 3077 NEW BEST:: SOT 239524 SOS 132101 HAS SOPS 132101 HAS SOUS 111062 HAS SOUPS 111062 WITH SCORE 111194.101
AT ITER 3097 NEW BEST:: SOT 239474 SOS 132179 HAS SOPS 132179 HAS SOUS 111027 HAS SOUPS 111027 WITH SCORE 111159.179
AT ITER 3114 NEW BEST:: SOT 238923 SOS 132050 HAS SOPS 132050 HAS SOUS 110813 HAS SOUPS 110813 WITH SCORE 110945.05
AT ITER 3117 NEW BEST:: SOT 238992 SOS 131876 HAS SOPS 131876 HAS SOUS 110578 HAS SOUPS 110578 WITH SCORE 110709.876
AT ITER 3118 NEW BEST:: SOT 238971 SOS 131855 HAS SOPS 131855 HAS SOUS 110557 HAS SOUPS 110557 WITH SCORE 110688.855
AT ITER 3125 NEW BEST:: SOT 238971 SOS 131828 HAS SOPS 131828 HAS SOUS 110530 HAS SOUPS 110530 WITH SCORE 110661.828
AT ITER 3134 NEW BEST:: SOT 238978 SOS 131835 HAS SOPS 131835 HAS SOUS 110399 HAS SOUPS 110399 WITH SCORE 110530.835
AT ITER 3150 NEW BEST:: SOT 238929 SOS 131786 HAS SOPS 131786 HAS SOUS 110350 HAS SOUPS 110350 WITH SCORE 110481.786
AT ITER 3151 NEW BEST:: SOT 238906 SOS 131763 HAS SOPS 131763 HAS SOUS 110327 HAS SOUPS 110327 WITH SCORE 110458.763
AT ITER 3165 NEW BEST:: SOT 238873 SOS 131632 HAS SOPS 131632 HAS SOUS 110281 HAS SOUPS 110281 WITH SCORE 110412.632
AT ITER 3171 NEW BEST:: SOT 238873 SOS 131483 HAS SOPS 131483 HAS SOUS 110168 HAS SOUPS 110168 WITH SCORE 110299.483
AT ITER 3172 NEW BEST:: SOT 238863 SOS 131473 HAS SOPS 131473 HAS SOUS 110158 HAS SOUPS 110158 WITH SCORE 110289.473
AT ITER 3182 NEW BEST:: SOT 238828 SOS 131438 HAS SOPS 131438 HAS SOUS 110123 HAS SOUPS 110123 WITH SCORE 110254.438
AT ITER 3201 NEW BEST:: SOT 238774 SOS 131384 HAS SOPS 131384 HAS SOUS 109970 HAS SOUPS 109970 WITH SCORE 110101.384
AT ITER 3208 NEW BEST:: SOT 238751 SOS 131476 HAS SOPS 131476 HAS SOUS 109947 HAS SOUPS 109947 WITH SCORE 110078.476
AT ITER 3209 NEW BEST:: SOT 238749 SOS 131478 HAS SOPS 131478 HAS SOUS 109945 HAS SOUPS 109945 WITH SCORE 110076.478
AT ITER 3210 NEW BEST:: SOT 238853 SOS 130965 HAS SOPS 130965 HAS SOUS 109892 HAS SOUPS 109892 WITH SCORE 110022.965
AT ITER 3212 NEW BEST:: SOT 238853 SOS 130960 HAS SOPS 130960 HAS SOUS 109887 HAS SOUPS 109887 WITH SCORE 110017.96
AT ITER 3220 NEW BEST:: SOT 238711 SOS 130888 HAS SOPS 130888 HAS SOUS 109746 HAS SOUPS 109746 WITH SCORE 109876.888
AT ITER 3224 NEW BEST:: SOT 238655 SOS 130832 HAS SOPS 130832 HAS SOUS 109690 HAS SOUPS 109690 WITH SCORE 109820.832
AT ITER 3227 NEW BEST:: SOT 238485 SOS 130557 HAS SOPS 130557 HAS SOUS 109360 HAS SOUPS 109360 WITH SCORE 109490.557
AT ITER 3234 NEW BEST:: SOT 238479 SOS 130551 HAS SOPS 130551 HAS SOUS 109354 HAS SOUPS 109354 WITH SCORE 109484.551
AT ITER 3249 NEW BEST:: SOT 238479 SOS 130620 HAS SOPS 130620 HAS SOUS 109287 HAS SOUPS 109287 WITH SCORE 109417.62
AT ITER 3264 NEW BEST:: SOT 238413 SOS 130554 HAS SOPS 130554 HAS SOUS 109160 HAS SOUPS 109160 WITH SCORE 109290.554
AT ITER 3269 NEW BEST:: SOT 238329 SOS 130526 HAS SOPS 130526 HAS SOUS 109115 HAS SOUPS 109115 WITH SCORE 109245.526
AT ITER 3274 NEW BEST:: SOT 238329 SOS 130518 HAS SOPS 130518 HAS SOUS 109115 HAS SOUPS 109115 WITH SCORE 109245.518
AT ITER 3297 NEW BEST:: SOT 238329 SOS 130499 HAS SOPS 130499 HAS SOUS 109112 HAS SOUPS 109112 WITH SCORE 109242.499
AT ITER 3300 NEW BEST:: SOT 238292 SOS 130713 HAS SOPS 130713 HAS SOUS 109077 HAS SOUPS 109077 WITH SCORE 109207.713
AT ITER 3314 NEW BEST:: SOT 238281 SOS 130680 HAS SOPS 130680 HAS SOUS 109076 HAS SOUPS 109076 WITH SCORE 109206.68
AT ITER 3323 NEW BEST:: SOT 238280 SOS 130620 HAS SOPS 130620 HAS SOUS 108997 HAS SOUPS 108997 WITH SCORE 109127.62
AT ITER 3328 NEW BEST:: SOT 238257 SOS 130597 HAS SOPS 130597 HAS SOUS 108974 HAS SOUPS 108974 WITH SCORE 109104.597
AT ITER 3345 NEW BEST:: SOT 238219 SOS 131149 HAS SOPS 131149 HAS SOUS 108970 HAS SOUPS 108970 WITH SCORE 109101.149
AT ITER 3347 NEW BEST:: SOT 238175 SOS 131215 HAS SOPS 131215 HAS SOUS 108963 HAS SOUPS 108963 WITH SCORE 109094.215
AT ITER 3361 NEW BEST:: SOT 237984 SOS 131645 HAS SOPS 131645 HAS SOUS 108916 HAS SOUPS 108916 WITH SCORE 109047.645
AT ITER 3375 NEW BEST:: SOT 237984 SOS 131554 HAS SOPS 131554 HAS SOUS 108903 HAS SOUPS 108903 WITH SCORE 109034.554
AT ITER 3388 NEW BEST:: SOT 237939 SOS 131509 HAS SOPS 131509 HAS SOUS 108858 HAS SOUPS 108858 WITH SCORE 108989.509
AT ITER 3407 NEW BEST:: SOT 237849 SOS 131745 HAS SOPS 131745 HAS SOUS 108857 HAS SOUPS 108857 WITH SCORE 108988.745
AT ITER 3416 NEW BEST:: SOT 237826 SOS 131660 HAS SOPS 131660 HAS SOUS 108849 HAS SOUPS 108849 WITH SCORE 108980.66
AT ITER 3430 NEW BEST:: SOT 237784 SOS 131703 HAS SOPS 131703 HAS SOUS 108794 HAS SOUPS 108794 WITH SCORE 108925.703
AT ITER 3434 NEW BEST:: SOT 237700 SOS 131664 HAS SOPS 131664 HAS SOUS 108729 HAS SOUPS 108729 WITH SCORE 108860.664
AT ITER 3435 NEW BEST:: SOT 237824 SOS 131741 HAS SOPS 131741 HAS SOUS 108694 HAS SOUPS 108694 WITH SCORE 108825.741
AT ITER 3445 NEW BEST:: SOT 237824 SOS 131579 HAS SOPS 131579 HAS SOUS 108654 HAS SOUPS 108654 WITH SCORE 108785.579
AT ITER 3454 NEW BEST:: SOT 237824 SOS 131534 HAS SOPS 131534 HAS SOUS 108649 HAS SOUPS 108649 WITH SCORE 108780.534
AT ITER 3456 NEW BEST:: SOT 237656 SOS 131446 HAS SOPS 131446 HAS SOUS 108584 HAS SOUPS 108584 WITH SCORE 108715.446
AT ITER 3458 NEW BEST:: SOT 237656 SOS 131424 HAS SOPS 131424 HAS SOUS 108584 HAS SOUPS 108584 WITH SCORE 108715.424
AT ITER 3463 NEW BEST:: SOT 237422 SOS 131613 HAS SOPS 131613 HAS SOUS 108579 HAS SOUPS 108579 WITH SCORE 108710.613
AT ITER 3464 NEW BEST:: SOT 237283 SOS 132075 HAS SOPS 132075 HAS SOUS 108563 HAS SOUPS 108563 WITH SCORE 108695.075
AT ITER 3472 NEW BEST:: SOT 237193 SOS 131985 HAS SOPS 131985 HAS SOUS 108536 HAS SOUPS 108536 WITH SCORE 108667.985
AT ITER 3479 NEW BEST:: SOT 237193 SOS 131948 HAS SOPS 131948 HAS SOUS 108499 HAS SOUPS 108499 WITH SCORE 108630.948
AT ITER 3490 NEW BEST:: SOT 237193 SOS 131943 HAS SOPS 131943 HAS SOUS 108499 HAS SOUPS 108499 WITH SCORE 108630.943
AT ITER 3491 NEW BEST:: SOT 237288 SOS 131805 HAS SOPS 131805 HAS SOUS 108480 HAS SOUPS 108480 WITH SCORE 108611.805
AT ITER 3497 NEW BEST:: SOT 237281 SOS 131798 HAS SOPS 131798 HAS SOUS 108473 HAS SOUPS 108473 WITH SCORE 108604.798
AT ITER 3510 NEW BEST:: SOT 237234 SOS 131774 HAS SOPS 131774 HAS SOUS 108449 HAS SOUPS 108449 WITH SCORE 108580.774
AT ITER 3519 NEW BEST:: SOT 237141 SOS 131789 HAS SOPS 131789 HAS SOUS 108419 HAS SOUPS 108419 WITH SCORE 108550.789
AT ITER 3533 NEW BEST:: SOT 237141 SOS 131789 HAS SOPS 131789 HAS SOUS 108412 HAS SOUPS 108412 WITH SCORE 108543.789
AT ITER 3545 NEW BEST:: SOT 237140 SOS 131788 HAS SOPS 131788 HAS SOUS 108411 HAS SOUPS 108411 WITH SCORE 108542.788
AT ITER 3557 NEW BEST:: SOT 237129 SOS 131777 HAS SOPS 131777 HAS SOUS 108400 HAS SOUPS 108400 WITH SCORE 108531.777
AT ITER 3559 NEW BEST:: SOT 237078 SOS 131748 HAS SOPS 131748 HAS SOUS 108297 HAS SOUPS 108297 WITH SCORE 108428.748
AT ITER 3562 NEW BEST:: SOT 236613 SOS 131818 HAS SOPS 131818 HAS SOUS 108093 HAS SOUPS 108093 WITH SCORE 108224.818
AT ITER 3575 NEW BEST:: SOT 236613 SOS 132037 HAS SOPS 132037 HAS SOUS 108054 HAS SOUPS 108054 WITH SCORE 108186.037
AT ITER 3583 NEW BEST:: SOT 236613 SOS 132108 HAS SOPS 132108 HAS SOUS 108032 HAS SOUPS 108032 WITH SCORE 108164.108
AT ITER 3590 NEW BEST:: SOT 236419 SOS 132272 HAS SOPS 132272 HAS SOUS 107907 HAS SOUPS 107907 WITH SCORE 108039.272
AT ITER 3605 NEW BEST:: SOT 236419 SOS 132216 HAS SOPS 132216 HAS SOUS 107905 HAS SOUPS 107905 WITH SCORE 108037.216
AT ITER 3608 NEW BEST:: SOT 236386 SOS 132245 HAS SOPS 132245 HAS SOUS 107901 HAS SOUPS 107901 WITH SCORE 108033.245
AT ITER 3616 NEW BEST:: SOT 236150 SOS 132061 HAS SOPS 132061 HAS SOUS 107717 HAS SOUPS 107717 WITH SCORE 107849.061
AT ITER 3619 NEW BEST:: SOT 235788 SOS 131927 HAS SOPS 131927 HAS SOUS 107513 HAS SOUPS 107513 WITH SCORE 107644.927
AT ITER 3624 NEW BEST:: SOT 235749 SOS 132061 HAS SOPS 132061 HAS SOUS 107510 HAS SOUPS 107510 WITH SCORE 107642.061
AT ITER 3626 NEW BEST:: SOT 235710 SOS 131888 HAS SOPS 131888 HAS SOUS 107404 HAS SOUPS 107404 WITH SCORE 107535.888
AT ITER 3629 NEW BEST:: SOT 235703 SOS 131881 HAS SOPS 131881 HAS SOUS 107397 HAS SOUPS 107397 WITH SCORE 107528.881
AT ITER 3635 NEW BEST:: SOT 235686 SOS 131922 HAS SOPS 131922 HAS SOUS 107343 HAS SOUPS 107343 WITH SCORE 107474.922
AT ITER 3639 NEW BEST:: SOT 235721 SOS 131957 HAS SOPS 131957 HAS SOUS 107335 HAS SOUPS 107335 WITH SCORE 107466.957
AT ITER 3646 NEW BEST:: SOT 235622 SOS 131944 HAS SOPS 131944 HAS SOUS 107322 HAS SOUPS 107322 WITH SCORE 107453.944
AT ITER 3648 NEW BEST:: SOT 235286 SOS 131737 HAS SOPS 131737 HAS SOUS 107290 HAS SOUPS 107290 WITH SCORE 107421.737
AT ITER 3653 NEW BEST:: SOT 235202 SOS 131701 HAS SOPS 131701 HAS SOUS 107250 HAS SOUPS 107250 WITH SCORE 107381.701
AT ITER 3673 NEW BEST:: SOT 235305 SOS 131614 HAS SOPS 131614 HAS SOUS 107174 HAS SOUPS 107174 WITH SCORE 107305.614
AT ITER 3677 NEW BEST:: SOT 235270 SOS 131503 HAS SOPS 131503 HAS SOUS 107058 HAS SOUPS 107058 WITH SCORE 107189.503
AT ITER 3709 NEW BEST:: SOT 235270 SOS 131427 HAS SOPS 131427 HAS SOUS 107003 HAS SOUPS 107003 WITH SCORE 107134.427
AT ITER 3715 NEW BEST:: SOT 235259 SOS 131904 HAS SOPS 131904 HAS SOUS 106992 HAS SOUPS 106992 WITH SCORE 107123.904
AT ITER 3722 NEW BEST:: SOT 235259 SOS 131904 HAS SOPS 131904 HAS SOUS 106971 HAS SOUPS 106971 WITH SCORE 107102.904
AT ITER 3731 NEW BEST:: SOT 235259 SOS 131830 HAS SOPS 131830 HAS SOUS 106940 HAS SOUPS 106940 WITH SCORE 107071.83
AT ITER 3733 NEW BEST:: SOT 235259 SOS 131615 HAS SOPS 131615 HAS SOUS 106897 HAS SOUPS 106897 WITH SCORE 107028.615
AT ITER 3735 NEW BEST:: SOT 235259 SOS 131716 HAS SOPS 131716 HAS SOUS 106867 HAS SOUPS 106867 WITH SCORE 106998.716
AT ITER 3756 NEW BEST:: SOT 235259 SOS 131681 HAS SOPS 131681 HAS SOUS 106867 HAS SOUPS 106867 WITH SCORE 106998.681
AT ITER 3760 NEW BEST:: SOT 235267 SOS 131689 HAS SOPS 131689 HAS SOUS 106856 HAS SOUPS 106856 WITH SCORE 106987.689
AT ITER 3767 NEW BEST:: SOT 235267 SOS 131681 HAS SOPS 131681 HAS SOUS 106856 HAS SOUPS 106856 WITH SCORE 106987.681
AT ITER 3782 NEW BEST:: SOT 235293 SOS 131692 HAS SOPS 131692 HAS SOUS 106846 HAS SOUPS 106846 WITH SCORE 106977.692
AT ITER 3784 NEW BEST:: SOT 235293 SOS 131656 HAS SOPS 131656 HAS SOUS 106835 HAS SOUPS 106835 WITH SCORE 106966.656
AT ITER 3796 NEW BEST:: SOT 235293 SOS 131613 HAS SOPS 131613 HAS SOUS 106835 HAS SOUPS 106835 WITH SCORE 106966.613
AT ITER 3820 NEW BEST:: SOT 235344 SOS 131604 HAS SOPS 131604 HAS SOUS 106781 HAS SOUPS 106781 WITH SCORE 106912.604
AT ITER 3822 NEW BEST:: SOT 235278 SOS 131538 HAS SOPS 131538 HAS SOUS 106726 HAS SOUPS 106726 WITH SCORE 106857.538
AT ITER 3834 NEW BEST:: SOT 235278 SOS 131512 HAS SOPS 131512 HAS SOUS 106726 HAS SOUPS 106726 WITH SCORE 106857.512
AT ITER 3837 NEW BEST:: SOT 235278 SOS 131208 HAS SOPS 131208 HAS SOUS 106726 HAS SOUPS 106726 WITH SCORE 106857.208
AT ITER 3871 NEW BEST:: SOT 234984 SOS 130968 HAS SOPS 130968 HAS SOUS 106486 HAS SOUPS 106486 WITH SCORE 106616.968
AT ITER 3874 NEW BEST:: SOT 234800 SOS 130799 HAS SOPS 130799 HAS SOUS 106317 HAS SOUPS 106317 WITH SCORE 106447.799
AT ITER 3877 NEW BEST:: SOT 234800 SOS 130735 HAS SOPS 130735 HAS SOUS 106317 HAS SOUPS 106317 WITH SCORE 106447.735
AT ITER 3890 NEW BEST:: SOT 234800 SOS 130776 HAS SOPS 130776 HAS SOUS 106231 HAS SOUPS 106231 WITH SCORE 106361.776
AT ITER 3897 NEW BEST:: SOT 234777 SOS 130753 HAS SOPS 130753 HAS SOUS 106208 HAS SOUPS 106208 WITH SCORE 106338.753
AT ITER 3912 NEW BEST:: SOT 234775 SOS 130751 HAS SOPS 130751 HAS SOUS 106206 HAS SOUPS 106206 WITH SCORE 106336.751
AT ITER 3918 NEW BEST:: SOT 234775 SOS 130751 HAS SOPS 130751 HAS SOUS 106205 HAS SOUPS 106205 WITH SCORE 106335.751
AT ITER 3919 NEW BEST:: SOT 234575 SOS 130511 HAS SOPS 130511 HAS SOUS 105995 HAS SOUPS 105995 WITH SCORE 106125.511
AT ITER 3941 NEW BEST:: SOT 234609 SOS 130149 HAS SOPS 130149 HAS SOUS 105982 HAS SOUPS 105982 WITH SCORE 106112.149
AT ITER 3944 NEW BEST:: SOT 234422 SOS 130709 HAS SOPS 130709 HAS SOUS 105877 HAS SOUPS 105877 WITH SCORE 106007.709
AT ITER 3977 NEW BEST:: SOT 234239 SOS 130648 HAS SOPS 130648 HAS SOUS 105816 HAS SOUPS 105816 WITH SCORE 105946.648
AT ITER 3984 NEW BEST:: SOT 234195 SOS 130604 HAS SOPS 130604 HAS SOUS 105772 HAS SOUPS 105772 WITH SCORE 105902.604
AT ITER 4002 NEW BEST:: SOT 234120 SOS 130572 HAS SOPS 130572 HAS SOUS 105740 HAS SOUPS 105740 WITH SCORE 105870.572
AT ITER 4003 NEW BEST:: SOT 234120 SOS 130156 HAS SOPS 130156 HAS SOUS 105740 HAS SOUPS 105740 WITH SCORE 105870.156
AT ITER 4009 NEW BEST:: SOT 234120 SOS 130091 HAS SOPS 130091 HAS SOUS 105737 HAS SOUPS 105737 WITH SCORE 105867.091
AT ITER 4011 NEW BEST:: SOT 234116 SOS 130087 HAS SOPS 130087 HAS SOUS 105733 HAS SOUPS 105733 WITH SCORE 105863.087
AT ITER 4024 NEW BEST:: SOT 234116 SOS 130051 HAS SOPS 130051 HAS SOUS 105724 HAS SOUPS 105724 WITH SCORE 105854.051
AT ITER 4025 NEW BEST:: SOT 234105 SOS 130040 HAS SOPS 130040 HAS SOUS 105713 HAS SOUPS 105713 WITH SCORE 105843.04
AT ITER 4028 NEW BEST:: SOT 233681 SOS 129807 HAS SOPS 129807 HAS SOUS 105452 HAS SOUPS 105452 WITH SCORE 105581.807
AT ITER 4038 NEW BEST:: SOT 233681 SOS 129796 HAS SOPS 129796 HAS SOUS 105452 HAS SOUPS 105452 WITH SCORE 105581.796
AT ITER 4042 NEW BEST:: SOT 233663 SOS 129778 HAS SOPS 129778 HAS SOUS 105434 HAS SOUPS 105434 WITH SCORE 105563.778
AT ITER 4097 NEW BEST:: SOT 233635 SOS 129750 HAS SOPS 129750 HAS SOUS 105406 HAS SOUPS 105406 WITH SCORE 105535.75
AT ITER 4100 NEW BEST:: SOT 233634 SOS 129749 HAS SOPS 129749 HAS SOUS 105405 HAS SOUPS 105405 WITH SCORE 105534.749
AT ITER 4114 NEW BEST:: SOT 233599 SOS 129645 HAS SOPS 129645 HAS SOUS 105327 HAS SOUPS 105327 WITH SCORE 105456.645
AT ITER 4116 NEW BEST:: SOT 233405 SOS 129493 HAS SOPS 129493 HAS SOUS 105175 HAS SOUPS 105175 WITH SCORE 105304.493
AT ITER 4118 NEW BEST:: SOT 233382 SOS 129578 HAS SOPS 129578 HAS SOUS 105174 HAS SOUPS 105174 WITH SCORE 105303.578
AT ITER 4126 NEW BEST:: SOT 233318 SOS 129566 HAS SOPS 129566 HAS SOUS 105162 HAS SOUPS 105162 WITH SCORE 105291.566
AT ITER 4137 NEW BEST:: SOT 233352 SOS 129600 HAS SOPS 129600 HAS SOUS 105159 HAS SOUPS 105159 WITH SCORE 105288.6
AT ITER 4155 NEW BEST:: SOT 233343 SOS 129591 HAS SOPS 129591 HAS SOUS 105150 HAS SOUPS 105150 WITH SCORE 105279.591
AT ITER 4158 NEW BEST:: SOT 233337 SOS 129577 HAS SOPS 129577 HAS SOUS 105137 HAS SOUPS 105137 WITH SCORE 105266.577
AT ITER 4160 NEW BEST:: SOT 233244 SOS 129484 HAS SOPS 129484 HAS SOUS 105044 HAS SOUPS 105044 WITH SCORE 105173.484
AT ITER 4166 NEW BEST:: SOT 233244 SOS 129461 HAS SOPS 129461 HAS SOUS 105021 HAS SOUPS 105021 WITH SCORE 105150.461
AT ITER 4167 NEW BEST:: SOT 233244 SOS 129440 HAS SOPS 129440 HAS SOUS 105021 HAS SOUPS 105021 WITH SCORE 105150.44
AT ITER 4188 NEW BEST:: SOT 233180 SOS 129376 HAS SOPS 129376 HAS SOUS 104903 HAS SOUPS 104903 WITH SCORE 105032.376
AT ITER 4189 NEW BEST:: SOT 233180 SOS 129312 HAS SOPS 129312 HAS SOUS 104903 HAS SOUPS 104903 WITH SCORE 105032.312
AT ITER 4197 NEW BEST:: SOT 233182 SOS 129347 HAS SOPS 129347 HAS SOUS 104863 HAS SOUPS 104863 WITH SCORE 104992.347
AT ITER 4201 NEW BEST:: SOT 233159 SOS 129336 HAS SOPS 129336 HAS SOUS 104852 HAS SOUPS 104852 WITH SCORE 104981.336
AT ITER 4211 NEW BEST:: SOT 233145 SOS 129322 HAS SOPS 129322 HAS SOUS 104838 HAS SOUPS 104838 WITH SCORE 104967.322
AT ITER 4227 NEW BEST:: SOT 233090 SOS 129375 HAS SOPS 129375 HAS SOUS 104806 HAS SOUPS 104806 WITH SCORE 104935.375
AT ITER 4234 NEW BEST:: SOT 233035 SOS 129320 HAS SOPS 129320 HAS SOUS 104730 HAS SOUPS 104730 WITH SCORE 104859.32
AT ITER 4244 NEW BEST:: SOT 233035 SOS 128873 HAS SOPS 128873 HAS SOUS 104730 HAS SOUPS 104730 WITH SCORE 104858.873
AT ITER 4263 NEW BEST:: SOT 232956 SOS 128794 HAS SOPS 128794 HAS SOUS 104651 HAS SOUPS 104651 WITH SCORE 104779.794
AT ITER 4272 NEW BEST:: SOT 232956 SOS 128739 HAS SOPS 128739 HAS SOUS 104645 HAS SOUPS 104645 WITH SCORE 104773.739
AT ITER 4285 NEW BEST:: SOT 232956 SOS 128743 HAS SOPS 128743 HAS SOUS 104637 HAS SOUPS 104637 WITH SCORE 104765.743
AT ITER 4313 NEW BEST:: SOT 232948 SOS 128735 HAS SOPS 128735 HAS SOUS 104630 HAS SOUPS 104630 WITH SCORE 104758.735
AT ITER 4317 NEW BEST:: SOT 232959 SOS 128729 HAS SOPS 128729 HAS SOUS 104586 HAS SOUPS 104586 WITH SCORE 104714.729
AT ITER 4320 NEW BEST:: SOT 232959 SOS 128719 HAS SOPS 128719 HAS SOUS 104576 HAS SOUPS 104576 WITH SCORE 104704.719
AT ITER 4324 NEW BEST:: SOT 232946 SOS 128674 HAS SOPS 128674 HAS SOUS 104494 HAS SOUPS 104494 WITH SCORE 104622.674
AT ITER 4332 NEW BEST:: SOT 232941 SOS 128669 HAS SOPS 128669 HAS SOUS 104489 HAS SOUPS 104489 WITH SCORE 104617.669
AT ITER 4333 NEW BEST:: SOT 232908 SOS 128647 HAS SOPS 128647 HAS SOUS 104489 HAS SOUPS 104489 WITH SCORE 104617.647
AT ITER 4338 NEW BEST:: SOT 232908 SOS 128526 HAS SOPS 128526 HAS SOUS 104436 HAS SOUPS 104436 WITH SCORE 104564.526
AT ITER 4344 NEW BEST:: SOT 232879 SOS 128534 HAS SOPS 128534 HAS SOUS 104379 HAS SOUPS 104379 WITH SCORE 104507.534
AT ITER 4345 NEW BEST:: SOT 232820 SOS 128428 HAS SOPS 128428 HAS SOUS 104363 HAS SOUPS 104363 WITH SCORE 104491.428
AT ITER 4350 NEW BEST:: SOT 232496 SOS 129049 HAS SOPS 129049 HAS SOUS 104214 HAS SOUPS 104214 WITH SCORE 104343.049
AT ITER 4364 NEW BEST:: SOT 232496 SOS 129010 HAS SOPS 129010 HAS SOUS 104194 HAS SOUPS 104194 WITH SCORE 104323.01
AT ITER 4370 NEW BEST:: SOT 232496 SOS 128956 HAS SOPS 128956 HAS SOUS 104170 HAS SOUPS 104170 WITH SCORE 104298.956
AT ITER 4373 NEW BEST:: SOT 232486 SOS 128961 HAS SOPS 128961 HAS SOUS 104165 HAS SOUPS 104165 WITH SCORE 104293.961
AT ITER 4374 NEW BEST:: SOT 232475 SOS 128934 HAS SOPS 128934 HAS SOUS 104118 HAS SOUPS 104118 WITH SCORE 104246.934
AT ITER 4376 NEW BEST:: SOT 232475 SOS 128934 HAS SOPS 128934 HAS SOUS 104116 HAS SOUPS 104116 WITH SCORE 104244.934
AT ITER 4385 NEW BEST:: SOT 232269 SOS 128775 HAS SOPS 128775 HAS SOUS 103957 HAS SOUPS 103957 WITH SCORE 104085.775
AT ITER 4394 NEW BEST:: SOT 232121 SOS 128773 HAS SOPS 128773 HAS SOUS 103914 HAS SOUPS 103914 WITH SCORE 104042.773
AT ITER 4401 NEW BEST:: SOT 232104 SOS 128756 HAS SOPS 128756 HAS SOUS 103897 HAS SOUPS 103897 WITH SCORE 104025.756
AT ITER 4415 NEW BEST:: SOT 232094 SOS 128746 HAS SOPS 128746 HAS SOUS 103887 HAS SOUPS 103887 WITH SCORE 104015.746
AT ITER 4426 NEW BEST:: SOT 232094 SOS 128746 HAS SOPS 128746 HAS SOUS 103875 HAS SOUPS 103875 WITH SCORE 104003.746
AT ITER 4434 NEW BEST:: SOT 232073 SOS 128789 HAS SOPS 128789 HAS SOUS 103862 HAS SOUPS 103862 WITH SCORE 103990.789
AT ITER 4455 NEW BEST:: SOT 232088 SOS 128785 HAS SOPS 128785 HAS SOUS 103801 HAS SOUPS 103801 WITH SCORE 103929.785
AT ITER 4464 NEW BEST:: SOT 232047 SOS 128744 HAS SOPS 128744 HAS SOUS 103683 HAS SOUPS 103683 WITH SCORE 103811.744
AT ITER 4468 NEW BEST:: SOT 232026 SOS 128723 HAS SOPS 128723 HAS SOUS 103660 HAS SOUPS 103660 WITH SCORE 103788.723
AT ITER 4469 NEW BEST:: SOT 232015 SOS 128683 HAS SOPS 128683 HAS SOUS 103636 HAS SOUPS 103636 WITH SCORE 103764.683
AT ITER 4472 NEW BEST:: SOT 232015 SOS 128683 HAS SOPS 128683 HAS SOUS 103577 HAS SOUPS 103577 WITH SCORE 103705.683
AT ITER 4487 NEW BEST:: SOT 232000 SOS 128668 HAS SOPS 128668 HAS SOUS 103546 HAS SOUPS 103546 WITH SCORE 103674.668
AT ITER 4494 NEW BEST:: SOT 232037 SOS 128687 HAS SOPS 128687 HAS SOUS 103532 HAS SOUPS 103532 WITH SCORE 103660.687
AT ITER 4502 NEW BEST:: SOT 231939 SOS 128589 HAS SOPS 128589 HAS SOUS 103434 HAS SOUPS 103434 WITH SCORE 103562.589
AT ITER 4506 NEW BEST:: SOT 231939 SOS 128523 HAS SOPS 128523 HAS SOUS 103329 HAS SOUPS 103329 WITH SCORE 103457.523
AT ITER 4508 NEW BEST:: SOT 231926 SOS 128510 HAS SOPS 128510 HAS SOUS 103316 HAS SOUPS 103316 WITH SCORE 103444.51
AT ITER 4513 NEW BEST:: SOT 231923 SOS 128507 HAS SOPS 128507 HAS SOUS 103313 HAS SOUPS 103313 WITH SCORE 103441.507
AT ITER 4543 NEW BEST:: SOT 232023 SOS 128144 HAS SOPS 128144 HAS SOUS 103213 HAS SOUPS 103213 WITH SCORE 103341.144
AT ITER 4551 NEW BEST:: SOT 232023 SOS 128057 HAS SOPS 128057 HAS SOUS 103213 HAS SOUPS 103213 WITH SCORE 103341.057
AT ITER 4562 NEW BEST:: SOT 232023 SOS 127795 HAS SOPS 127795 HAS SOUS 103213 HAS SOUPS 103213 WITH SCORE 103340.795
AT ITER 4569 NEW BEST:: SOT 232077 SOS 127762 HAS SOPS 127762 HAS SOUS 103133 HAS SOUPS 103133 WITH SCORE 103260.762
AT ITER 4571 NEW BEST:: SOT 232077 SOS 127761 HAS SOPS 127761 HAS SOUS 103133 HAS SOUPS 103133 WITH SCORE 103260.761
AT ITER 4577 NEW BEST:: SOT 231959 SOS 127794 HAS SOPS 127794 HAS SOUS 103108 HAS SOUPS 103108 WITH SCORE 103235.794
AT ITER 4591 NEW BEST:: SOT 231959 SOS 127794 HAS SOPS 127794 HAS SOUS 103010 HAS SOUPS 103010 WITH SCORE 103137.794
AT ITER 4595 NEW BEST:: SOT 231959 SOS 127686 HAS SOPS 127686 HAS SOUS 103010 HAS SOUPS 103010 WITH SCORE 103137.686
AT ITER 4598 NEW BEST:: SOT 231959 SOS 127662 HAS SOPS 127662 HAS SOUS 103010 HAS SOUPS 103010 WITH SCORE 103137.662
AT ITER 4618 NEW BEST:: SOT 231853 SOS 127457 HAS SOPS 127457 HAS SOUS 102777 HAS SOUPS 102777 WITH SCORE 102904.457
AT ITER 4640 NEW BEST:: SOT 231853 SOS 127457 HAS SOPS 127457 HAS SOUS 102729 HAS SOUPS 102729 WITH SCORE 102856.457
AT ITER 4645 NEW BEST:: SOT 231726 SOS 127330 HAS SOPS 127330 HAS SOUS 102672 HAS SOUPS 102672 WITH SCORE 102799.33
AT ITER 4646 NEW BEST:: SOT 231726 SOS 127330 HAS SOPS 127330 HAS SOUS 102634 HAS SOUPS 102634 WITH SCORE 102761.33
AT ITER 4653 NEW BEST:: SOT 231725 SOS 127329 HAS SOPS 127329 HAS SOUS 102633 HAS SOUPS 102633 WITH SCORE 102760.329
AT ITER 4657 NEW BEST:: SOT 231613 SOS 127325 HAS SOPS 127325 HAS SOUS 102629 HAS SOUPS 102629 WITH SCORE 102756.325
AT ITER 4667 NEW BEST:: SOT 231612 SOS 127324 HAS SOPS 127324 HAS SOUS 102628 HAS SOUPS 102628 WITH SCORE 102755.324
AT ITER 4679 NEW BEST:: SOT 231568 SOS 127280 HAS SOPS 127280 HAS SOUS 102584 HAS SOUPS 102584 WITH SCORE 102711.28
AT ITER 4691 NEW BEST:: SOT 231568 SOS 127331 HAS SOPS 127331 HAS SOUS 102499 HAS SOUPS 102499 WITH SCORE 102626.331
AT ITER 4705 NEW BEST:: SOT 231568 SOS 127265 HAS SOPS 127265 HAS SOUS 102483 HAS SOUPS 102483 WITH SCORE 102610.265
AT ITER 4726 NEW BEST:: SOT 231490 SOS 127273 HAS SOPS 127273 HAS SOUS 102466 HAS SOUPS 102466 WITH SCORE 102593.273
AT ITER 4728 NEW BEST:: SOT 231448 SOS 127259 HAS SOPS 127259 HAS SOUS 102459 HAS SOUPS 102459 WITH SCORE 102586.259
AT ITER 4730 NEW BEST:: SOT 231448 SOS 127259 HAS SOPS 127259 HAS SOUS 102453 HAS SOUPS 102453 WITH SCORE 102580.259
AT ITER 4733 NEW BEST:: SOT 231448 SOS 127208 HAS SOPS 127208 HAS SOUS 102453 HAS SOUPS 102453 WITH SCORE 102580.208
AT ITER 4737 NEW BEST:: SOT 231451 SOS 127038 HAS SOPS 127038 HAS SOUS 102351 HAS SOUPS 102351 WITH SCORE 102478.038
AT ITER 4756 NEW BEST:: SOT 231194 SOS 126890 HAS SOPS 126890 HAS SOUS 102251 HAS SOUPS 102251 WITH SCORE 102377.89
AT ITER 4768 NEW BEST:: SOT 231194 SOS 126884 HAS SOPS 126884 HAS SOUS 102251 HAS SOUPS 102251 WITH SCORE 102377.884
AT ITER 4773 NEW BEST:: SOT 231148 SOS 126838 HAS SOPS 126838 HAS SOUS 102168 HAS SOUPS 102168 WITH SCORE 102294.838
AT ITER 4775 NEW BEST:: SOT 231289 SOS 126823 HAS SOPS 126823 HAS SOUS 102090 HAS SOUPS 102090 WITH SCORE 102216.823
AT ITER 4778 NEW BEST:: SOT 231293 SOS 126819 HAS SOPS 126819 HAS SOUS 102090 HAS SOUPS 102090 WITH SCORE 102216.819
AT ITER 4796 NEW BEST:: SOT 231213 SOS 126739 HAS SOPS 126739 HAS SOUS 102033 HAS SOUPS 102033 WITH SCORE 102159.739
AT ITER 4802 NEW BEST:: SOT 231213 SOS 126721 HAS SOPS 126721 HAS SOUS 102033 HAS SOUPS 102033 WITH SCORE 102159.721
AT ITER 4806 NEW BEST:: SOT 231076 SOS 127183 HAS SOPS 127183 HAS SOUS 102026 HAS SOUPS 102026 WITH SCORE 102153.183
AT ITER 4808 NEW BEST:: SOT 231079 SOS 127194 HAS SOPS 127194 HAS SOUS 101963 HAS SOUPS 101963 WITH SCORE 102090.194
AT ITER 4809 NEW BEST:: SOT 230997 SOS 127147 HAS SOPS 127147 HAS SOUS 101881 HAS SOUPS 101881 WITH SCORE 102008.147
AT ITER 4812 NEW BEST:: SOT 231013 SOS 127143 HAS SOPS 127143 HAS SOUS 101881 HAS SOUPS 101881 WITH SCORE 102008.143
AT ITER 4822 NEW BEST:: SOT 231029 SOS 127110 HAS SOPS 127110 HAS SOUS 101846 HAS SOUPS 101846 WITH SCORE 101973.11
AT ITER 4825 NEW BEST:: SOT 231049 SOS 127074 HAS SOPS 127074 HAS SOUS 101801 HAS SOUPS 101801 WITH SCORE 101928.074
AT ITER 4827 NEW BEST:: SOT 230981 SOS 127006 HAS SOPS 127006 HAS SOUS 101733 HAS SOUPS 101733 WITH SCORE 101860.006
AT ITER 4832 NEW BEST:: SOT 230981 SOS 126978 HAS SOPS 126978 HAS SOUS 101700 HAS SOUPS 101700 WITH SCORE 101826.978
AT ITER 4844 NEW BEST:: SOT 230952 SOS 126949 HAS SOPS 126949 HAS SOUS 101671 HAS SOUPS 101671 WITH SCORE 101797.949
AT ITER 4854 NEW BEST:: SOT 230952 SOS 126914 HAS SOPS 126914 HAS SOUS 101671 HAS SOUPS 101671 WITH SCORE 101797.914
AT ITER 4859 NEW BEST:: SOT 230942 SOS 126911 HAS SOPS 126911 HAS SOUS 101661 HAS SOUPS 101661 WITH SCORE 101787.911
AT ITER 4874 NEW BEST:: SOT 230894 SOS 126863 HAS SOPS 126863 HAS SOUS 101589 HAS SOUPS 101589 WITH SCORE 101715.863
AT ITER 4875 NEW BEST:: SOT 230368 SOS 126649 HAS SOPS 126649 HAS SOUS 101387 HAS SOUPS 101387 WITH SCORE 101513.649
AT ITER 4881 NEW BEST:: SOT 230154 SOS 126498 HAS SOPS 126498 HAS SOUS 101236 HAS SOUPS 101236 WITH SCORE 101362.498
AT ITER 4882 NEW BEST:: SOT 230005 SOS 126578 HAS SOPS 126578 HAS SOUS 101204 HAS SOUPS 101204 WITH SCORE 101330.578
AT ITER 4896 NEW BEST:: SOT 229945 SOS 126518 HAS SOPS 126518 HAS SOUS 101144 HAS SOUPS 101144 WITH SCORE 101270.518
AT ITER 4912 NEW BEST:: SOT 229945 SOS 126518 HAS SOPS 126518 HAS SOUS 101139 HAS SOUPS 101139 WITH SCORE 101265.518
AT ITER 4922 NEW BEST:: SOT 229930 SOS 126517 HAS SOPS 126517 HAS SOUS 101135 HAS SOUPS 101135 WITH SCORE 101261.517
AT ITER 4933 NEW BEST:: SOT 229740 SOS 126579 HAS SOPS 126579 HAS SOUS 101004 HAS SOUPS 101004 WITH SCORE 101130.579
AT ITER 4935 NEW BEST:: SOT 229932 SOS 126486 HAS SOPS 126486 HAS SOUS 100959 HAS SOUPS 100959 WITH SCORE 101085.486
AT ITER 4943 NEW BEST:: SOT 229920 SOS 126474 HAS SOPS 126474 HAS SOUS 100947 HAS SOUPS 100947 WITH SCORE 101073.474
AT ITER 4948 NEW BEST:: SOT 229851 SOS 126681 HAS SOPS 126681 HAS SOUS 100920 HAS SOUPS 100920 WITH SCORE 101046.681
AT ITER 4984 NEW BEST:: SOT 229801 SOS 126631 HAS SOPS 126631 HAS SOUS 100851 HAS SOUPS 100851 WITH SCORE 100977.631
AT ITER 4988 NEW BEST:: SOT 229750 SOS 126600 HAS SOPS 126600 HAS SOUS 100821 HAS SOUPS 100821 WITH SCORE 100947.6
AT ITER 4992 NEW BEST:: SOT 229750 SOS 126625 HAS SOPS 126625 HAS SOUS 100747 HAS SOUPS 100747 WITH SCORE 100873.625
AT ITER 4993 NEW BEST:: SOT 229750 SOS 126625 HAS SOPS 126625 HAS SOUS 100737 HAS SOUPS 100737 WITH SCORE 100863.625
AT ITER 4995 NEW BEST:: SOT 229689 SOS 126564 HAS SOPS 126564 HAS SOUS 100676 HAS SOUPS 100676 WITH SCORE 100802.564
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Sudoku-PT-AN08-CTLCardinality-00 (EG( (EX( ( potential( (tk(P215)) <= (tk(P100)) ) | potential( ( 1 ) <= (tk(P84)) ) )))))
PROPERTY: Sudoku-PT-AN08-CTLCardinality-01 ( (AU( ( potential( (tk(P540)) <= (tk(P291)) ) & potential( (tk(P410)) <= (tk(P2)) ) ),( potential( ( 1 ) <= (tk(P572)) ) | potential( (tk(P389)) <= (tk(P571)) ) ) )) & ( (AX( potential( (tk(P445)) <= (tk(P301)) ))) | (EF(potential( ( 3 ) <= (tk(P556)) ))) ) )
PROPERTY: Sudoku-PT-AN08-CTLCardinality-02 (AF(( (AG( potential( ( 2 ) <= (tk(P89)) ))) & (! potential( ( 1 ) <= (tk(P346)) )) )))
PROPERTY: Sudoku-PT-AN08-CTLCardinality-03 ( (! ( ( potential( ( 3 ) <= (tk(P376)) ) & ( potential( (tk(P658)) <= (tk(P318)) ) & potential( ( 1 ) <= (tk(P510)) ) ) ) | (! ( potential( ( 1 ) <= (tk(P627)) ) & potential( ( 2 ) <= (tk(P593)) ) )) )) | ( (EG( (! potential( ( 3 ) <= (tk(P161)) )))) & ( (EG( potential( ( 1 ) <= (tk(P282)) ))) | potential( (tk(P323)) <= (tk(P300)) ) ) ) )
PROPERTY: Sudoku-PT-AN08-CTLCardinality-04 (EF((EG( ( potential( ( 3 ) <= (tk(P110)) ) & potential( (tk(P582)) <= (tk(P206)) ) )))))
PROPERTY: Sudoku-PT-AN08-CTLCardinality-05 (AF((AX( ( potential( ( 2 ) <= (tk(P484)) ) & potential( ( 1 ) <= (tk(P672)) ) )))))
PROPERTY: Sudoku-PT-AN08-CTLCardinality-06 (EF((! (! potential( ( 2 ) <= (tk(P292)) )))))
PROPERTY: Sudoku-PT-AN08-CTLCardinality-07 (! (AX( (EF(potential( (tk(P220)) <= (tk(P126)) ))))))
PROPERTY: Sudoku-PT-AN08-CTLCardinality-08 (EG( ( potential( (tk(P417)) <= (tk(P500)) ) & ( ( potential( (tk(P454)) <= (tk(P234)) ) | potential( ( 2 ) <= (tk(P8)) ) ) & ( potential( ( 1 ) <= (tk(P5)) ) | potential( ( 2 ) <= (tk(P70)) ) ) ) )))
PROPERTY: Sudoku-PT-AN08-CTLCardinality-09 (AU( (! potential( ( 3 ) <= (tk(P134)) )),potential( ( 1 ) <= (tk(P367)) ) ))
PROPERTY: Sudoku-PT-AN08-CTLCardinality-10 (EU( potential( (tk(P426)) <= (tk(P171)) ),potential( ( 2 ) <= (tk(P110)) ) ))
PROPERTY: Sudoku-PT-AN08-CTLCardinality-11 (EU( ( ( potential( ( 3 ) <= (tk(P202)) ) | potential( (tk(P469)) <= (tk(P296)) ) ) | potential( (tk(P360)) <= (tk(P205)) ) ),( ( potential( (tk(P102)) <= (tk(P157)) ) | potential( (tk(P691)) <= (tk(P37)) ) ) & ( potential( (tk(P207)) <= (tk(P225)) ) & potential( ( 3 ) <= (tk(P684)) ) ) ) ))
PROPERTY: Sudoku-PT-AN08-CTLCardinality-12 ( (AG( (EF(potential( (tk(P101)) <= (tk(P359)) ))))) | ( (AF((! potential( (tk(P193)) <= (tk(P105)) )))) | ( (AX( potential( ( 3 ) <= (tk(P57)) ))) & ( ( potential( ( 1 ) <= (tk(P24)) ) | potential( ( 3 ) <= (tk(P16)) ) ) & ( potential( (tk(P182)) <= (tk(P292)) ) & potential( (tk(P520)) <= (tk(P609)) ) ) ) ) ) )
PROPERTY: Sudoku-PT-AN08-CTLCardinality-13 (EF((AG( ( potential( (tk(P110)) <= (tk(P584)) ) | potential( (tk(P459)) <= (tk(P666)) ) )))))
PROPERTY: Sudoku-PT-AN08-CTLCardinality-14 (AX( (EG( ( potential( (tk(P263)) <= (tk(P634)) ) | potential( (tk(P73)) <= (tk(P632)) ) )))))
PROPERTY: Sudoku-PT-AN08-CTLCardinality-15 ( (AG( ( ( potential( (tk(P355)) <= (tk(P172)) ) | potential( ( 1 ) <= (tk(P39)) ) ) | ( potential( ( 3 ) <= (tk(P221)) ) | potential( ( 3 ) <= (tk(P506)) ) ) ))) & ( (! (EG( potential( ( 1 ) <= (tk(P598)) )))) | ( (! ( potential( (tk(P658)) <= (tk(P186)) ) & potential( (tk(P401)) <= (tk(P246)) ) )) & (EX( potential( ( 3 ) <= (tk(P273)) ))) ) ) )

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Sudoku-PT-AN08"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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