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.r018-oct2-158897680200592.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 BusinessProcesses-PT-18, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680200592
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 344K
-rw-r--r-- 1 mcc users 3.0K Mar 26 02:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 26 02:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 22:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 22:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 25 17:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 25 17:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 25 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 14:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 25 17:55 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 177K Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1590869265159

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 18
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 717 places, 642 transitions, 1860 arcs.
AT ITER 0 NEW BEST:: SOT 292623 SOS 111544 HAS SOPS 111544 HAS SOUS 108469 HAS SOUPS 108469 WITH SCORE 108580.544
AT ITER 2 NEW BEST:: SOT 292465 SOS 111383 HAS SOPS 111383 HAS SOUS 108308 HAS SOUPS 108308 WITH SCORE 108419.383
AT ITER 5 NEW BEST:: SOT 292465 SOS 111296 HAS SOPS 111296 HAS SOUS 108221 HAS SOUPS 108221 WITH SCORE 108332.296
AT ITER 14 NEW BEST:: SOT 292252 SOS 110977 HAS SOPS 110977 HAS SOUS 107902 HAS SOUPS 107902 WITH SCORE 108012.977
AT ITER 15 NEW BEST:: SOT 292251 SOS 110928 HAS SOPS 110928 HAS SOUS 107853 HAS SOUPS 107853 WITH SCORE 107963.928
AT ITER 21 NEW BEST:: SOT 292134 SOS 110811 HAS SOPS 110811 HAS SOUS 107736 HAS SOUPS 107736 WITH SCORE 107846.811
AT ITER 26 NEW BEST:: SOT 292132 SOS 110408 HAS SOPS 110408 HAS SOUS 107541 HAS SOUPS 107541 WITH SCORE 107651.408
AT ITER 39 NEW BEST:: SOT 291968 SOS 110394 HAS SOPS 110394 HAS SOUS 107494 HAS SOUPS 107494 WITH SCORE 107604.394
AT ITER 42 NEW BEST:: SOT 291914 SOS 110349 HAS SOPS 110349 HAS SOUS 107449 HAS SOUPS 107449 WITH SCORE 107559.349
AT ITER 46 NEW BEST:: SOT 291914 SOS 110210 HAS SOPS 110210 HAS SOUS 107310 HAS SOUPS 107310 WITH SCORE 107420.21
AT ITER 50 NEW BEST:: SOT 291884 SOS 110193 HAS SOPS 110193 HAS SOUS 107293 HAS SOUPS 107293 WITH SCORE 107403.193
AT ITER 65 NEW BEST:: SOT 291726 SOS 109824 HAS SOPS 109824 HAS SOUS 106924 HAS SOUPS 106924 WITH SCORE 107033.824
AT ITER 99 NEW BEST:: SOT 291745 SOS 109760 HAS SOPS 109760 HAS SOUS 106860 HAS SOUPS 106860 WITH SCORE 106969.76
AT ITER 109 NEW BEST:: SOT 291638 SOS 109286 HAS SOPS 109286 HAS SOUS 106764 HAS SOUPS 106764 WITH SCORE 106873.286
AT ITER 111 NEW BEST:: SOT 291637 SOS 109284 HAS SOPS 109284 HAS SOUS 106762 HAS SOUPS 106762 WITH SCORE 106871.284
AT ITER 114 NEW BEST:: SOT 291643 SOS 109120 HAS SOPS 109120 HAS SOUS 106598 HAS SOUPS 106598 WITH SCORE 106707.12
AT ITER 115 NEW BEST:: SOT 291545 SOS 109102 HAS SOPS 109102 HAS SOUS 106580 HAS SOUPS 106580 WITH SCORE 106689.102
AT ITER 116 NEW BEST:: SOT 291558 SOS 109058 HAS SOPS 109058 HAS SOUS 106536 HAS SOUPS 106536 WITH SCORE 106645.058
AT ITER 117 NEW BEST:: SOT 291728 SOS 109051 HAS SOPS 109051 HAS SOUS 106529 HAS SOUPS 106529 WITH SCORE 106638.051
AT ITER 133 NEW BEST:: SOT 291574 SOS 108897 HAS SOPS 108897 HAS SOUS 106375 HAS SOUPS 106375 WITH SCORE 106483.897
AT ITER 143 NEW BEST:: SOT 288627 SOS 108589 HAS SOPS 108589 HAS SOUS 104012 HAS SOUPS 104012 WITH SCORE 104120.589
AT ITER 147 NEW BEST:: SOT 288448 SOS 108525 HAS SOPS 108525 HAS SOUS 103948 HAS SOUPS 103948 WITH SCORE 104056.525
AT ITER 152 NEW BEST:: SOT 288365 SOS 108132 HAS SOPS 108132 HAS SOUS 103682 HAS SOUPS 103682 WITH SCORE 103790.132
AT ITER 158 NEW BEST:: SOT 288365 SOS 108127 HAS SOPS 108127 HAS SOUS 103677 HAS SOUPS 103677 WITH SCORE 103785.127
AT ITER 164 NEW BEST:: SOT 288435 SOS 107932 HAS SOPS 107932 HAS SOUS 103482 HAS SOUPS 103482 WITH SCORE 103589.932
AT ITER 170 NEW BEST:: SOT 288410 SOS 107883 HAS SOPS 107883 HAS SOUS 103433 HAS SOUPS 103433 WITH SCORE 103540.883
AT ITER 179 NEW BEST:: SOT 288338 SOS 107805 HAS SOPS 107805 HAS SOUS 103355 HAS SOUPS 103355 WITH SCORE 103462.805
AT ITER 192 NEW BEST:: SOT 288114 SOS 107515 HAS SOPS 107515 HAS SOUS 103065 HAS SOUPS 103065 WITH SCORE 103172.515
AT ITER 199 NEW BEST:: SOT 287904 SOS 107304 HAS SOPS 107304 HAS SOUS 102854 HAS SOUPS 102854 WITH SCORE 102961.304
AT ITER 207 NEW BEST:: SOT 287903 SOS 107170 HAS SOPS 107170 HAS SOUS 102720 HAS SOUPS 102720 WITH SCORE 102827.17
AT ITER 211 NEW BEST:: SOT 287849 SOS 107137 HAS SOPS 107137 HAS SOUS 102623 HAS SOUPS 102623 WITH SCORE 102730.137
AT ITER 217 NEW BEST:: SOT 280246 SOS 124098 HAS SOPS 124098 HAS SOUS 95759 HAS SOUPS 95759 WITH SCORE 95883.098
AT ITER 222 NEW BEST:: SOT 280088 SOS 123939 HAS SOPS 123939 HAS SOUS 95739 HAS SOUPS 95739 WITH SCORE 95862.939
AT ITER 243 NEW BEST:: SOT 279842 SOS 123447 HAS SOPS 123447 HAS SOUS 95383 HAS SOUPS 95383 WITH SCORE 95506.447
AT ITER 260 NEW BEST:: SOT 279873 SOS 123417 HAS SOPS 123417 HAS SOUS 95261 HAS SOUPS 95261 WITH SCORE 95384.417
AT ITER 268 NEW BEST:: SOT 279781 SOS 123325 HAS SOPS 123325 HAS SOUS 95261 HAS SOUPS 95261 WITH SCORE 95384.325
AT ITER 283 NEW BEST:: SOT 279600 SOS 123062 HAS SOPS 123062 HAS SOUS 95150 HAS SOUPS 95150 WITH SCORE 95273.062
AT ITER 286 NEW BEST:: SOT 279600 SOS 123028 HAS SOPS 123028 HAS SOUS 95149 HAS SOUPS 95149 WITH SCORE 95272.028
AT ITER 302 NEW BEST:: SOT 279600 SOS 122865 HAS SOPS 122865 HAS SOUS 95114 HAS SOUPS 95114 WITH SCORE 95236.865
AT ITER 309 NEW BEST:: SOT 279358 SOS 122381 HAS SOPS 122381 HAS SOUS 94758 HAS SOUPS 94758 WITH SCORE 94880.381
AT ITER 320 NEW BEST:: SOT 278920 SOS 121827 HAS SOPS 121827 HAS SOUS 94526 HAS SOUPS 94526 WITH SCORE 94647.827
AT ITER 345 NEW BEST:: SOT 279026 SOS 121959 HAS SOPS 121959 HAS SOUS 94511 HAS SOUPS 94511 WITH SCORE 94632.959
AT ITER 362 NEW BEST:: SOT 278884 SOS 121817 HAS SOPS 121817 HAS SOUS 94503 HAS SOUPS 94503 WITH SCORE 94624.817
AT ITER 363 NEW BEST:: SOT 278650 SOS 121349 HAS SOPS 121349 HAS SOUS 94364 HAS SOUPS 94364 WITH SCORE 94485.349
AT ITER 368 NEW BEST:: SOT 278623 SOS 121295 HAS SOPS 121295 HAS SOUS 94337 HAS SOUPS 94337 WITH SCORE 94458.295
AT ITER 372 NEW BEST:: SOT 278643 SOS 121247 HAS SOPS 121247 HAS SOUS 94329 HAS SOUPS 94329 WITH SCORE 94450.247
AT ITER 377 NEW BEST:: SOT 278667 SOS 121128 HAS SOPS 121128 HAS SOUS 94227 HAS SOUPS 94227 WITH SCORE 94348.128
AT ITER 381 NEW BEST:: SOT 278664 SOS 121125 HAS SOPS 121125 HAS SOUS 94224 HAS SOUPS 94224 WITH SCORE 94345.125
AT ITER 382 NEW BEST:: SOT 278636 SOS 121097 HAS SOPS 121097 HAS SOUS 94196 HAS SOUPS 94196 WITH SCORE 94317.097
AT ITER 383 NEW BEST:: SOT 278476 SOS 120936 HAS SOPS 120936 HAS SOUS 94131 HAS SOUPS 94131 WITH SCORE 94251.936
AT ITER 389 NEW BEST:: SOT 278245 SOS 120771 HAS SOPS 120771 HAS SOUS 93943 HAS SOUPS 93943 WITH SCORE 94063.771
AT ITER 390 NEW BEST:: SOT 278252 SOS 120543 HAS SOPS 120543 HAS SOUS 93910 HAS SOUPS 93910 WITH SCORE 94030.543
AT ITER 392 NEW BEST:: SOT 278026 SOS 120317 HAS SOPS 120317 HAS SOUS 93684 HAS SOUPS 93684 WITH SCORE 93804.317
AT ITER 394 NEW BEST:: SOT 277791 SOS 119847 HAS SOPS 119847 HAS SOUS 93439 HAS SOUPS 93439 WITH SCORE 93558.847
AT ITER 395 NEW BEST:: SOT 277812 SOS 119803 HAS SOPS 119803 HAS SOUS 93395 HAS SOUPS 93395 WITH SCORE 93514.803
AT ITER 405 NEW BEST:: SOT 277676 SOS 119428 HAS SOPS 119428 HAS SOUS 93199 HAS SOUPS 93199 WITH SCORE 93318.428
AT ITER 418 NEW BEST:: SOT 277670 SOS 119416 HAS SOPS 119416 HAS SOUS 93187 HAS SOUPS 93187 WITH SCORE 93306.416
AT ITER 422 NEW BEST:: SOT 277633 SOS 119384 HAS SOPS 119384 HAS SOUS 93155 HAS SOUPS 93155 WITH SCORE 93274.384
AT ITER 423 NEW BEST:: SOT 277418 SOS 120162 HAS SOPS 120162 HAS SOUS 93034 HAS SOUPS 93034 WITH SCORE 93154.162
AT ITER 441 NEW BEST:: SOT 277445 SOS 120216 HAS SOPS 120216 HAS SOUS 93009 HAS SOUPS 93009 WITH SCORE 93129.216
AT ITER 444 NEW BEST:: SOT 277363 SOS 120133 HAS SOPS 120133 HAS SOUS 92971 HAS SOUPS 92971 WITH SCORE 93091.133
AT ITER 449 NEW BEST:: SOT 276739 SOS 119509 HAS SOPS 119509 HAS SOUS 92659 HAS SOUPS 92659 WITH SCORE 92778.509
AT ITER 457 NEW BEST:: SOT 276610 SOS 119299 HAS SOPS 119299 HAS SOUS 92449 HAS SOUPS 92449 WITH SCORE 92568.299
AT ITER 459 NEW BEST:: SOT 276395 SOS 119224 HAS SOPS 119224 HAS SOUS 92449 HAS SOUPS 92449 WITH SCORE 92568.224
AT ITER 474 NEW BEST:: SOT 276387 SOS 119224 HAS SOPS 119224 HAS SOUS 92441 HAS SOUPS 92441 WITH SCORE 92560.224
AT ITER 503 NEW BEST:: SOT 276524 SOS 119361 HAS SOPS 119361 HAS SOUS 92420 HAS SOUPS 92420 WITH SCORE 92539.361
AT ITER 507 NEW BEST:: SOT 276524 SOS 119361 HAS SOPS 119361 HAS SOUS 92314 HAS SOUPS 92314 WITH SCORE 92433.361
AT ITER 533 NEW BEST:: SOT 276364 SOS 119168 HAS SOPS 119168 HAS SOUS 92210 HAS SOUPS 92210 WITH SCORE 92329.168
AT ITER 534 NEW BEST:: SOT 276363 SOS 118942 HAS SOPS 118942 HAS SOUS 92067 HAS SOUPS 92067 WITH SCORE 92185.942
AT ITER 539 NEW BEST:: SOT 276362 SOS 118765 HAS SOPS 118765 HAS SOUS 91890 HAS SOUPS 91890 WITH SCORE 92008.765
AT ITER 544 NEW BEST:: SOT 276098 SOS 118326 HAS SOPS 118326 HAS SOUS 91451 HAS SOUPS 91451 WITH SCORE 91569.326
AT ITER 550 NEW BEST:: SOT 275856 SOS 117842 HAS SOPS 117842 HAS SOUS 90967 HAS SOUPS 90967 WITH SCORE 91084.842
AT ITER 558 NEW BEST:: SOT 275486 SOS 117287 HAS SOPS 117287 HAS SOUS 90597 HAS SOUPS 90597 WITH SCORE 90714.287
AT ITER 561 NEW BEST:: SOT 275603 SOS 117244 HAS SOPS 117244 HAS SOUS 90564 HAS SOUPS 90564 WITH SCORE 90681.244
AT ITER 565 NEW BEST:: SOT 275536 SOS 116908 HAS SOPS 116908 HAS SOUS 90228 HAS SOUPS 90228 WITH SCORE 90344.908
AT ITER 571 NEW BEST:: SOT 275497 SOS 116869 HAS SOPS 116869 HAS SOUS 90189 HAS SOUPS 90189 WITH SCORE 90305.869
AT ITER 573 NEW BEST:: SOT 275433 SOS 116804 HAS SOPS 116804 HAS SOUS 90124 HAS SOUPS 90124 WITH SCORE 90240.804
AT ITER 585 NEW BEST:: SOT 275433 SOS 116562 HAS SOPS 116562 HAS SOUS 89882 HAS SOUPS 89882 WITH SCORE 89998.562
AT ITER 587 NEW BEST:: SOT 275283 SOS 116316 HAS SOPS 116316 HAS SOUS 89636 HAS SOUPS 89636 WITH SCORE 89752.316
AT ITER 588 NEW BEST:: SOT 275156 SOS 116188 HAS SOPS 116188 HAS SOUS 89634 HAS SOUPS 89634 WITH SCORE 89750.188
AT ITER 593 NEW BEST:: SOT 275140 SOS 116167 HAS SOPS 116167 HAS SOUS 89613 HAS SOUPS 89613 WITH SCORE 89729.167
AT ITER 596 NEW BEST:: SOT 275110 SOS 116137 HAS SOPS 116137 HAS SOUS 89583 HAS SOUPS 89583 WITH SCORE 89699.137
AT ITER 599 NEW BEST:: SOT 274950 SOS 115977 HAS SOPS 115977 HAS SOUS 89583 HAS SOUPS 89583 WITH SCORE 89698.977
AT ITER 600 NEW BEST:: SOT 274786 SOS 115721 HAS SOPS 115721 HAS SOUS 89451 HAS SOUPS 89451 WITH SCORE 89566.721
AT ITER 604 NEW BEST:: SOT 274597 SOS 115531 HAS SOPS 115531 HAS SOUS 89449 HAS SOUPS 89449 WITH SCORE 89564.531
AT ITER 612 NEW BEST:: SOT 274585 SOS 115519 HAS SOPS 115519 HAS SOUS 89437 HAS SOUPS 89437 WITH SCORE 89552.519
AT ITER 619 NEW BEST:: SOT 274469 SOS 115181 HAS SOPS 115181 HAS SOUS 89204 HAS SOUPS 89204 WITH SCORE 89319.181
AT ITER 631 NEW BEST:: SOT 274348 SOS 115019 HAS SOPS 115019 HAS SOUS 89042 HAS SOUPS 89042 WITH SCORE 89157.019
AT ITER 634 NEW BEST:: SOT 274322 SOS 114993 HAS SOPS 114993 HAS SOUS 89016 HAS SOUPS 89016 WITH SCORE 89130.993
AT ITER 638 NEW BEST:: SOT 274393 SOS 114946 HAS SOPS 114946 HAS SOUS 88978 HAS SOUPS 88978 WITH SCORE 89092.946
AT ITER 643 NEW BEST:: SOT 274393 SOS 114650 HAS SOPS 114650 HAS SOUS 88936 HAS SOUPS 88936 WITH SCORE 89050.65
AT ITER 645 NEW BEST:: SOT 274298 SOS 114550 HAS SOPS 114550 HAS SOUS 88839 HAS SOUPS 88839 WITH SCORE 88953.55
AT ITER 663 NEW BEST:: SOT 274236 SOS 114427 HAS SOPS 114427 HAS SOUS 88795 HAS SOUPS 88795 WITH SCORE 88909.427
AT ITER 666 NEW BEST:: SOT 274211 SOS 111618 HAS SOPS 111618 HAS SOUS 88770 HAS SOUPS 88770 WITH SCORE 88881.618
AT ITER 667 NEW BEST:: SOT 274211 SOS 111614 HAS SOPS 111614 HAS SOUS 88766 HAS SOUPS 88766 WITH SCORE 88877.614
AT ITER 669 NEW BEST:: SOT 274044 SOS 111212 HAS SOPS 111212 HAS SOUS 88364 HAS SOUPS 88364 WITH SCORE 88475.212
AT ITER 673 NEW BEST:: SOT 274044 SOS 111055 HAS SOPS 111055 HAS SOUS 88207 HAS SOUPS 88207 WITH SCORE 88318.055
AT ITER 685 NEW BEST:: SOT 273737 SOS 110561 HAS SOPS 110561 HAS SOUS 87996 HAS SOUPS 87996 WITH SCORE 88106.561
AT ITER 688 NEW BEST:: SOT 273699 SOS 110523 HAS SOPS 110523 HAS SOUS 87958 HAS SOUPS 87958 WITH SCORE 88068.523
AT ITER 689 NEW BEST:: SOT 273515 SOS 110339 HAS SOPS 110339 HAS SOUS 87836 HAS SOUPS 87836 WITH SCORE 87946.339
AT ITER 690 NEW BEST:: SOT 273496 SOS 110046 HAS SOPS 110046 HAS SOUS 87756 HAS SOUPS 87756 WITH SCORE 87866.046
AT ITER 701 NEW BEST:: SOT 273495 SOS 110045 HAS SOPS 110045 HAS SOUS 87755 HAS SOUPS 87755 WITH SCORE 87865.045
AT ITER 705 NEW BEST:: SOT 273310 SOS 109730 HAS SOPS 109730 HAS SOUS 87440 HAS SOUPS 87440 WITH SCORE 87549.73
AT ITER 706 NEW BEST:: SOT 273227 SOS 109676 HAS SOPS 109676 HAS SOUS 87386 HAS SOUPS 87386 WITH SCORE 87495.676
AT ITER 711 NEW BEST:: SOT 273388 SOS 109422 HAS SOPS 109422 HAS SOUS 87325 HAS SOUPS 87325 WITH SCORE 87434.422
AT ITER 712 NEW BEST:: SOT 273377 SOS 109411 HAS SOPS 109411 HAS SOUS 87314 HAS SOUPS 87314 WITH SCORE 87423.411
AT ITER 719 NEW BEST:: SOT 273176 SOS 109009 HAS SOPS 109009 HAS SOUS 86912 HAS SOUPS 86912 WITH SCORE 87021.009
AT ITER 733 NEW BEST:: SOT 272884 SOS 108717 HAS SOPS 108717 HAS SOUS 86753 HAS SOUPS 86753 WITH SCORE 86861.717
AT ITER 757 NEW BEST:: SOT 272959 SOS 108546 HAS SOPS 108546 HAS SOUS 86582 HAS SOUPS 86582 WITH SCORE 86690.546
AT ITER 764 NEW BEST:: SOT 272875 SOS 108545 HAS SOPS 108545 HAS SOUS 86581 HAS SOUPS 86581 WITH SCORE 86689.545
AT ITER 769 NEW BEST:: SOT 272875 SOS 108536 HAS SOPS 108536 HAS SOUS 86572 HAS SOUPS 86572 WITH SCORE 86680.536
AT ITER 771 NEW BEST:: SOT 272830 SOS 108446 HAS SOPS 108446 HAS SOUS 86482 HAS SOUPS 86482 WITH SCORE 86590.446
AT ITER 774 NEW BEST:: SOT 272820 SOS 108436 HAS SOPS 108436 HAS SOUS 86482 HAS SOUPS 86482 WITH SCORE 86590.436
AT ITER 785 NEW BEST:: SOT 272823 SOS 108439 HAS SOPS 108439 HAS SOUS 86404 HAS SOUPS 86404 WITH SCORE 86512.439
AT ITER 801 NEW BEST:: SOT 272754 SOS 108533 HAS SOPS 108533 HAS SOUS 86393 HAS SOUPS 86393 WITH SCORE 86501.533
AT ITER 802 NEW BEST:: SOT 272753 SOS 108531 HAS SOPS 108531 HAS SOUS 86391 HAS SOUPS 86391 WITH SCORE 86499.531
AT ITER 806 NEW BEST:: SOT 272505 SOS 108316 HAS SOPS 108316 HAS SOUS 86265 HAS SOUPS 86265 WITH SCORE 86373.316
AT ITER 807 NEW BEST:: SOT 272709 SOS 108320 HAS SOPS 108320 HAS SOUS 86232 HAS SOUPS 86232 WITH SCORE 86340.32
AT ITER 822 NEW BEST:: SOT 272213 SOS 107503 HAS SOPS 107503 HAS SOUS 85715 HAS SOUPS 85715 WITH SCORE 85822.503
AT ITER 824 NEW BEST:: SOT 272211 SOS 107499 HAS SOPS 107499 HAS SOUS 85711 HAS SOUPS 85711 WITH SCORE 85818.499
AT ITER 828 NEW BEST:: SOT 272278 SOS 107487 HAS SOPS 107487 HAS SOUS 85704 HAS SOUPS 85704 WITH SCORE 85811.487
AT ITER 849 NEW BEST:: SOT 272277 SOS 107485 HAS SOPS 107485 HAS SOUS 85702 HAS SOUPS 85702 WITH SCORE 85809.485
AT ITER 856 NEW BEST:: SOT 272277 SOS 107429 HAS SOPS 107429 HAS SOUS 85646 HAS SOUPS 85646 WITH SCORE 85753.429
AT ITER 862 NEW BEST:: SOT 269397 SOS 106604 HAS SOPS 106604 HAS SOUS 83146 HAS SOUPS 83146 WITH SCORE 83252.604
AT ITER 863 NEW BEST:: SOT 269405 SOS 106597 HAS SOPS 106597 HAS SOUS 83139 HAS SOUPS 83139 WITH SCORE 83245.597
AT ITER 872 NEW BEST:: SOT 269405 SOS 106596 HAS SOPS 106596 HAS SOUS 83138 HAS SOUPS 83138 WITH SCORE 83244.596
AT ITER 880 NEW BEST:: SOT 269199 SOS 106384 HAS SOPS 106384 HAS SOUS 83126 HAS SOUPS 83126 WITH SCORE 83232.384
AT ITER 890 NEW BEST:: SOT 269270 SOS 106080 HAS SOPS 106080 HAS SOUS 82907 HAS SOUPS 82907 WITH SCORE 83013.08
AT ITER 893 NEW BEST:: SOT 269252 SOS 106044 HAS SOPS 106044 HAS SOUS 82870 HAS SOUPS 82870 WITH SCORE 82976.044
AT ITER 907 NEW BEST:: SOT 269018 SOS 105761 HAS SOPS 105761 HAS SOUS 82806 HAS SOUPS 82806 WITH SCORE 82911.761
AT ITER 911 NEW BEST:: SOT 268921 SOS 105687 HAS SOPS 105687 HAS SOUS 82732 HAS SOUPS 82732 WITH SCORE 82837.687
AT ITER 914 NEW BEST:: SOT 268965 SOS 105515 HAS SOPS 105515 HAS SOUS 82626 HAS SOUPS 82626 WITH SCORE 82731.515
AT ITER 916 NEW BEST:: SOT 268859 SOS 105256 HAS SOPS 105256 HAS SOUS 82367 HAS SOUPS 82367 WITH SCORE 82472.256
AT ITER 924 NEW BEST:: SOT 268954 SOS 105204 HAS SOPS 105204 HAS SOUS 82315 HAS SOUPS 82315 WITH SCORE 82420.204
AT ITER 932 NEW BEST:: SOT 268910 SOS 105160 HAS SOPS 105160 HAS SOUS 82271 HAS SOUPS 82271 WITH SCORE 82376.16
AT ITER 938 NEW BEST:: SOT 268919 SOS 105106 HAS SOPS 105106 HAS SOUS 82217 HAS SOUPS 82217 WITH SCORE 82322.106
AT ITER 941 NEW BEST:: SOT 269002 SOS 104815 HAS SOPS 104815 HAS SOUS 81926 HAS SOUPS 81926 WITH SCORE 82030.815
AT ITER 956 NEW BEST:: SOT 269002 SOS 104814 HAS SOPS 104814 HAS SOUS 81925 HAS SOUPS 81925 WITH SCORE 82029.814
AT ITER 959 NEW BEST:: SOT 269002 SOS 104779 HAS SOPS 104779 HAS SOUS 81890 HAS SOUPS 81890 WITH SCORE 81994.779
AT ITER 967 NEW BEST:: SOT 268968 SOS 104745 HAS SOPS 104745 HAS SOUS 81876 HAS SOUPS 81876 WITH SCORE 81980.745
AT ITER 983 NEW BEST:: SOT 268968 SOS 104745 HAS SOPS 104745 HAS SOUS 81834 HAS SOUPS 81834 WITH SCORE 81938.745
AT ITER 990 NEW BEST:: SOT 268928 SOS 104705 HAS SOPS 104705 HAS SOUS 81794 HAS SOUPS 81794 WITH SCORE 81898.705
AT ITER 995 NEW BEST:: SOT 268838 SOS 104525 HAS SOPS 104525 HAS SOUS 81614 HAS SOUPS 81614 WITH SCORE 81718.525
AT ITER 1003 NEW BEST:: SOT 268820 SOS 104489 HAS SOPS 104489 HAS SOUS 81573 HAS SOUPS 81573 WITH SCORE 81677.489
AT ITER 1017 NEW BEST:: SOT 268880 SOS 104480 HAS SOPS 104480 HAS SOUS 81564 HAS SOUPS 81564 WITH SCORE 81668.48
AT ITER 1020 NEW BEST:: SOT 268825 SOS 104370 HAS SOPS 104370 HAS SOUS 81454 HAS SOUPS 81454 WITH SCORE 81558.37
AT ITER 1021 NEW BEST:: SOT 268807 SOS 104334 HAS SOPS 104334 HAS SOUS 81418 HAS SOUPS 81418 WITH SCORE 81522.334
AT ITER 1028 NEW BEST:: SOT 268644 SOS 104123 HAS SOPS 104123 HAS SOUS 81348 HAS SOUPS 81348 WITH SCORE 81452.123
AT ITER 1039 NEW BEST:: SOT 268645 SOS 104055 HAS SOPS 104055 HAS SOUS 81280 HAS SOUPS 81280 WITH SCORE 81384.055
AT ITER 1042 NEW BEST:: SOT 268661 SOS 104031 HAS SOPS 104031 HAS SOUS 81200 HAS SOUPS 81200 WITH SCORE 81304.031
AT ITER 1050 NEW BEST:: SOT 268660 SOS 103993 HAS SOPS 103993 HAS SOUS 81162 HAS SOUPS 81162 WITH SCORE 81265.993
AT ITER 1051 NEW BEST:: SOT 268658 SOS 103990 HAS SOPS 103990 HAS SOUS 81159 HAS SOUPS 81159 WITH SCORE 81262.99
AT ITER 1054 NEW BEST:: SOT 268662 SOS 103913 HAS SOPS 103913 HAS SOUS 81082 HAS SOUPS 81082 WITH SCORE 81185.913
AT ITER 1058 NEW BEST:: SOT 268573 SOS 103772 HAS SOPS 103772 HAS SOUS 80941 HAS SOUPS 80941 WITH SCORE 81044.772
AT ITER 1073 NEW BEST:: SOT 268569 SOS 103768 HAS SOPS 103768 HAS SOUS 80937 HAS SOUPS 80937 WITH SCORE 81040.768
AT ITER 1077 NEW BEST:: SOT 268506 SOS 103705 HAS SOPS 103705 HAS SOUS 80937 HAS SOUPS 80937 WITH SCORE 81040.705
AT ITER 1085 NEW BEST:: SOT 268595 SOS 103794 HAS SOPS 103794 HAS SOUS 80909 HAS SOUPS 80909 WITH SCORE 81012.794
AT ITER 1089 NEW BEST:: SOT 268542 SOS 103741 HAS SOPS 103741 HAS SOUS 80856 HAS SOUPS 80856 WITH SCORE 80959.741
AT ITER 1104 NEW BEST:: SOT 268173 SOS 103003 HAS SOPS 103003 HAS SOUS 80353 HAS SOUPS 80353 WITH SCORE 80456.003
AT ITER 1105 NEW BEST:: SOT 268055 SOS 102638 HAS SOPS 102638 HAS SOUS 79988 HAS SOUPS 79988 WITH SCORE 80090.638
AT ITER 1109 NEW BEST:: SOT 268037 SOS 102602 HAS SOPS 102602 HAS SOUS 79952 HAS SOUPS 79952 WITH SCORE 80054.602
AT ITER 1112 NEW BEST:: SOT 267958 SOS 102450 HAS SOPS 102450 HAS SOUS 79786 HAS SOUPS 79786 WITH SCORE 79888.45
AT ITER 1114 NEW BEST:: SOT 267735 SOS 102202 HAS SOPS 102202 HAS SOUS 79736 HAS SOUPS 79736 WITH SCORE 79838.202
AT ITER 1118 NEW BEST:: SOT 267776 SOS 102051 HAS SOPS 102051 HAS SOUS 79585 HAS SOUPS 79585 WITH SCORE 79687.051
AT ITER 1125 NEW BEST:: SOT 267394 SOS 101466 HAS SOPS 101466 HAS SOUS 79000 HAS SOUPS 79000 WITH SCORE 79101.466
AT ITER 1127 NEW BEST:: SOT 267428 SOS 101446 HAS SOPS 101446 HAS SOUS 78892 HAS SOUPS 78892 WITH SCORE 78993.446
AT ITER 1140 NEW BEST:: SOT 267388 SOS 101290 HAS SOPS 101290 HAS SOUS 78865 HAS SOUPS 78865 WITH SCORE 78966.29
AT ITER 1144 NEW BEST:: SOT 267334 SOS 101122 HAS SOPS 101122 HAS SOUS 78758 HAS SOUPS 78758 WITH SCORE 78859.122
AT ITER 1151 NEW BEST:: SOT 267274 SOS 101107 HAS SOPS 101107 HAS SOUS 78743 HAS SOUPS 78743 WITH SCORE 78844.107
AT ITER 1172 NEW BEST:: SOT 267216 SOS 100991 HAS SOPS 100991 HAS SOUS 78680 HAS SOUPS 78680 WITH SCORE 78780.991
AT ITER 1181 NEW BEST:: SOT 267182 SOS 100952 HAS SOPS 100952 HAS SOUS 78641 HAS SOUPS 78641 WITH SCORE 78741.952
AT ITER 1186 NEW BEST:: SOT 267131 SOS 100850 HAS SOPS 100850 HAS SOUS 78590 HAS SOUPS 78590 WITH SCORE 78690.85
AT ITER 1190 NEW BEST:: SOT 267056 SOS 100772 HAS SOPS 100772 HAS SOUS 78512 HAS SOUPS 78512 WITH SCORE 78612.772
AT ITER 1194 NEW BEST:: SOT 267136 SOS 100932 HAS SOPS 100932 HAS SOUS 78509 HAS SOUPS 78509 WITH SCORE 78609.932
AT ITER 1198 NEW BEST:: SOT 267097 SOS 100854 HAS SOPS 100854 HAS SOUS 78431 HAS SOUPS 78431 WITH SCORE 78531.854
AT ITER 1201 NEW BEST:: SOT 267031 SOS 100722 HAS SOPS 100722 HAS SOUS 78393 HAS SOUPS 78393 WITH SCORE 78493.722
AT ITER 1207 NEW BEST:: SOT 267032 SOS 100713 HAS SOPS 100713 HAS SOUS 78384 HAS SOUPS 78384 WITH SCORE 78484.713
AT ITER 1208 NEW BEST:: SOT 266983 SOS 100674 HAS SOPS 100674 HAS SOUS 78345 HAS SOUPS 78345 WITH SCORE 78445.674
AT ITER 1214 NEW BEST:: SOT 266898 SOS 100504 HAS SOPS 100504 HAS SOUS 78175 HAS SOUPS 78175 WITH SCORE 78275.504
AT ITER 1216 NEW BEST:: SOT 266822 SOS 100330 HAS SOPS 100330 HAS SOUS 78001 HAS SOUPS 78001 WITH SCORE 78101.33
AT ITER 1217 NEW BEST:: SOT 266577 SOS 100101 HAS SOPS 100101 HAS SOUS 77756 HAS SOUPS 77756 WITH SCORE 77856.101
AT ITER 1244 NEW BEST:: SOT 266583 SOS 100096 HAS SOPS 100096 HAS SOUS 77745 HAS SOUPS 77745 WITH SCORE 77845.096
AT ITER 1253 NEW BEST:: SOT 266559 SOS 100051 HAS SOPS 100051 HAS SOUS 77700 HAS SOUPS 77700 WITH SCORE 77800.051
AT ITER 1265 NEW BEST:: SOT 266468 SOS 99994 HAS SOPS 99994 HAS SOUS 77643 HAS SOUPS 77643 WITH SCORE 77742.994
AT ITER 1300 NEW BEST:: SOT 266468 SOS 99863 HAS SOPS 99863 HAS SOUS 77372 HAS SOUPS 77372 WITH SCORE 77471.863
AT ITER 1371 NEW BEST:: SOT 266152 SOS 99635 HAS SOPS 99635 HAS SOUS 77096 HAS SOUPS 77096 WITH SCORE 77195.635
AT ITER 1390 NEW BEST:: SOT 266128 SOS 99587 HAS SOPS 99587 HAS SOUS 77072 HAS SOUPS 77072 WITH SCORE 77171.587
AT ITER 1391 NEW BEST:: SOT 266128 SOS 99573 HAS SOPS 99573 HAS SOUS 77058 HAS SOUPS 77058 WITH SCORE 77157.573
AT ITER 1394 NEW BEST:: SOT 266071 SOS 99516 HAS SOPS 99516 HAS SOUS 77001 HAS SOUPS 77001 WITH SCORE 77100.516
AT ITER 1395 NEW BEST:: SOT 266182 SOS 99627 HAS SOPS 99627 HAS SOUS 76940 HAS SOUPS 76940 WITH SCORE 77039.627
AT ITER 1398 NEW BEST:: SOT 266110 SOS 99483 HAS SOPS 99483 HAS SOUS 76923 HAS SOUPS 76923 WITH SCORE 77022.483
AT ITER 1424 NEW BEST:: SOT 266109 SOS 99481 HAS SOPS 99481 HAS SOUS 76921 HAS SOUPS 76921 WITH SCORE 77020.481
AT ITER 1427 NEW BEST:: SOT 266075 SOS 99447 HAS SOPS 99447 HAS SOUS 76887 HAS SOUPS 76887 WITH SCORE 76986.447
AT ITER 1433 NEW BEST:: SOT 266063 SOS 99429 HAS SOPS 99429 HAS SOUS 76869 HAS SOUPS 76869 WITH SCORE 76968.429
AT ITER 1435 NEW BEST:: SOT 266052 SOS 99407 HAS SOPS 99407 HAS SOUS 76858 HAS SOUPS 76858 WITH SCORE 76957.407
AT ITER 1452 NEW BEST:: SOT 266041 SOS 99399 HAS SOPS 99399 HAS SOUS 76836 HAS SOUPS 76836 WITH SCORE 76935.399
AT ITER 1454 NEW BEST:: SOT 266021 SOS 99339 HAS SOPS 99339 HAS SOUS 76789 HAS SOUPS 76789 WITH SCORE 76888.339
AT ITER 1460 NEW BEST:: SOT 265891 SOS 99209 HAS SOPS 99209 HAS SOUS 76724 HAS SOUPS 76724 WITH SCORE 76823.209
AT ITER 1472 NEW BEST:: SOT 265691 SOS 98926 HAS SOPS 98926 HAS SOUS 76459 HAS SOUPS 76459 WITH SCORE 76557.926
AT ITER 1484 NEW BEST:: SOT 265632 SOS 98875 HAS SOPS 98875 HAS SOUS 76408 HAS SOUPS 76408 WITH SCORE 76506.875
AT ITER 1491 NEW BEST:: SOT 265506 SOS 98703 HAS SOPS 98703 HAS SOUS 76236 HAS SOUPS 76236 WITH SCORE 76334.703
AT ITER 1496 NEW BEST:: SOT 265390 SOS 98537 HAS SOPS 98537 HAS SOUS 76136 HAS SOUPS 76136 WITH SCORE 76234.537
AT ITER 1510 NEW BEST:: SOT 265291 SOS 98084 HAS SOPS 98084 HAS SOUS 75950 HAS SOUPS 75950 WITH SCORE 76048.084
AT ITER 1511 NEW BEST:: SOT 265269 SOS 98065 HAS SOPS 98065 HAS SOUS 75948 HAS SOUPS 75948 WITH SCORE 76046.065
AT ITER 1512 NEW BEST:: SOT 265269 SOS 98040 HAS SOPS 98040 HAS SOUS 75923 HAS SOUPS 75923 WITH SCORE 76021.04
AT ITER 1519 NEW BEST:: SOT 265119 SOS 97830 HAS SOPS 97830 HAS SOUS 75764 HAS SOUPS 75764 WITH SCORE 75861.83
AT ITER 1522 NEW BEST:: SOT 265118 SOS 97806 HAS SOPS 97806 HAS SOUS 75762 HAS SOUPS 75762 WITH SCORE 75859.806
AT ITER 1537 NEW BEST:: SOT 264980 SOS 97599 HAS SOPS 97599 HAS SOUS 75624 HAS SOUPS 75624 WITH SCORE 75721.599
AT ITER 1560 NEW BEST:: SOT 264960 SOS 97579 HAS SOPS 97579 HAS SOUS 75624 HAS SOUPS 75624 WITH SCORE 75721.579
AT ITER 1564 NEW BEST:: SOT 264542 SOS 96894 HAS SOPS 96894 HAS SOUS 75148 HAS SOUPS 75148 WITH SCORE 75244.894
AT ITER 1567 NEW BEST:: SOT 264542 SOS 96892 HAS SOPS 96892 HAS SOUS 75146 HAS SOUPS 75146 WITH SCORE 75242.892
AT ITER 1571 NEW BEST:: SOT 264437 SOS 96783 HAS SOPS 96783 HAS SOUS 75141 HAS SOUPS 75141 WITH SCORE 75237.783
AT ITER 1579 NEW BEST:: SOT 264281 SOS 96351 HAS SOPS 96351 HAS SOUS 74983 HAS SOUPS 74983 WITH SCORE 75079.351
AT ITER 1580 NEW BEST:: SOT 264118 SOS 96023 HAS SOPS 96023 HAS SOUS 74964 HAS SOUPS 74964 WITH SCORE 75060.023
AT ITER 1586 NEW BEST:: SOT 264018 SOS 96016 HAS SOPS 96016 HAS SOUS 74957 HAS SOUPS 74957 WITH SCORE 75053.016
AT ITER 1591 NEW BEST:: SOT 263980 SOS 95959 HAS SOPS 95959 HAS SOUS 74900 HAS SOUPS 74900 WITH SCORE 74995.959
AT ITER 1634 NEW BEST:: SOT 263956 SOS 95814 HAS SOPS 95814 HAS SOUS 74755 HAS SOUPS 74755 WITH SCORE 74850.814
AT ITER 1642 NEW BEST:: SOT 263906 SOS 95714 HAS SOPS 95714 HAS SOUS 74723 HAS SOUPS 74723 WITH SCORE 74818.714
AT ITER 1650 NEW BEST:: SOT 263851 SOS 95670 HAS SOPS 95670 HAS SOUS 74679 HAS SOUPS 74679 WITH SCORE 74774.67
AT ITER 1655 NEW BEST:: SOT 264024 SOS 95658 HAS SOPS 95658 HAS SOUS 74499 HAS SOUPS 74499 WITH SCORE 74594.658
AT ITER 1668 NEW BEST:: SOT 263996 SOS 95572 HAS SOPS 95572 HAS SOUS 74413 HAS SOUPS 74413 WITH SCORE 74508.572
AT ITER 1691 NEW BEST:: SOT 264054 SOS 95509 HAS SOPS 95509 HAS SOUS 74292 HAS SOUPS 74292 WITH SCORE 74387.509
AT ITER 1699 NEW BEST:: SOT 264038 SOS 95503 HAS SOPS 95503 HAS SOUS 74286 HAS SOUPS 74286 WITH SCORE 74381.503
AT ITER 1705 NEW BEST:: SOT 264038 SOS 95503 HAS SOPS 95503 HAS SOUS 74248 HAS SOUPS 74248 WITH SCORE 74343.503
AT ITER 1718 NEW BEST:: SOT 264002 SOS 95431 HAS SOPS 95431 HAS SOUS 74212 HAS SOUPS 74212 WITH SCORE 74307.431
AT ITER 1732 NEW BEST:: SOT 263816 SOS 95363 HAS SOPS 95363 HAS SOUS 74101 HAS SOUPS 74101 WITH SCORE 74196.363
AT ITER 1743 NEW BEST:: SOT 263620 SOS 94987 HAS SOPS 94987 HAS SOUS 73725 HAS SOUPS 73725 WITH SCORE 73819.987
AT ITER 1745 NEW BEST:: SOT 263620 SOS 94533 HAS SOPS 94533 HAS SOUS 73388 HAS SOUPS 73388 WITH SCORE 73482.533
AT ITER 1756 NEW BEST:: SOT 263594 SOS 94507 HAS SOPS 94507 HAS SOUS 73362 HAS SOUPS 73362 WITH SCORE 73456.507
AT ITER 1765 NEW BEST:: SOT 263584 SOS 94867 HAS SOPS 94867 HAS SOUS 73357 HAS SOUPS 73357 WITH SCORE 73451.867
AT ITER 1793 NEW BEST:: SOT 263407 SOS 94693 HAS SOPS 94693 HAS SOUS 73183 HAS SOUPS 73183 WITH SCORE 73277.693
AT ITER 1804 NEW BEST:: SOT 263389 SOS 94675 HAS SOPS 94675 HAS SOUS 73165 HAS SOUPS 73165 WITH SCORE 73259.675
AT ITER 1812 NEW BEST:: SOT 263316 SOS 94575 HAS SOPS 94575 HAS SOUS 73111 HAS SOUPS 73111 WITH SCORE 73205.575
AT ITER 1816 NEW BEST:: SOT 263262 SOS 94496 HAS SOPS 94496 HAS SOUS 73059 HAS SOUPS 73059 WITH SCORE 73153.496
AT ITER 1852 NEW BEST:: SOT 263314 SOS 94463 HAS SOPS 94463 HAS SOUS 73026 HAS SOUPS 73026 WITH SCORE 73120.463
AT ITER 1855 NEW BEST:: SOT 263078 SOS 94109 HAS SOPS 94109 HAS SOUS 72790 HAS SOUPS 72790 WITH SCORE 72884.109
AT ITER 1885 NEW BEST:: SOT 263078 SOS 94036 HAS SOPS 94036 HAS SOUS 72790 HAS SOUPS 72790 WITH SCORE 72884.036
AT ITER 1899 NEW BEST:: SOT 262855 SOS 93803 HAS SOPS 93803 HAS SOUS 72598 HAS SOUPS 72598 WITH SCORE 72691.803
AT ITER 1904 NEW BEST:: SOT 262852 SOS 93800 HAS SOPS 93800 HAS SOUS 72595 HAS SOUPS 72595 WITH SCORE 72688.8
AT ITER 1917 NEW BEST:: SOT 262852 SOS 93762 HAS SOPS 93762 HAS SOUS 72557 HAS SOUPS 72557 WITH SCORE 72650.762
AT ITER 1929 NEW BEST:: SOT 262842 SOS 93742 HAS SOPS 93742 HAS SOUS 72527 HAS SOUPS 72527 WITH SCORE 72620.742
AT ITER 1947 NEW BEST:: SOT 262744 SOS 93644 HAS SOPS 93644 HAS SOUS 72429 HAS SOUPS 72429 WITH SCORE 72522.644
AT ITER 1963 NEW BEST:: SOT 262679 SOS 93514 HAS SOPS 93514 HAS SOUS 72279 HAS SOUPS 72279 WITH SCORE 72372.514
AT ITER 1973 NEW BEST:: SOT 262668 SOS 93426 HAS SOPS 93426 HAS SOUS 72191 HAS SOUPS 72191 WITH SCORE 72284.426
AT ITER 1974 NEW BEST:: SOT 262666 SOS 93411 HAS SOPS 93411 HAS SOUS 72176 HAS SOUPS 72176 WITH SCORE 72269.411
AT ITER 1980 NEW BEST:: SOT 262598 SOS 93286 HAS SOPS 93286 HAS SOUS 72051 HAS SOUPS 72051 WITH SCORE 72144.286
AT ITER 1992 NEW BEST:: SOT 262593 SOS 93281 HAS SOPS 93281 HAS SOUS 72041 HAS SOUPS 72041 WITH SCORE 72134.281
AT ITER 2003 NEW BEST:: SOT 262581 SOS 93257 HAS SOPS 93257 HAS SOUS 72017 HAS SOUPS 72017 WITH SCORE 72110.257
AT ITER 2006 NEW BEST:: SOT 262579 SOS 93253 HAS SOPS 93253 HAS SOUS 72013 HAS SOUPS 72013 WITH SCORE 72106.253
AT ITER 2058 NEW BEST:: SOT 262466 SOS 93075 HAS SOPS 93075 HAS SOUS 71835 HAS SOUPS 71835 WITH SCORE 71928.075
AT ITER 2060 NEW BEST:: SOT 262332 SOS 92919 HAS SOPS 92919 HAS SOUS 71791 HAS SOUPS 71791 WITH SCORE 71883.919
AT ITER 2061 NEW BEST:: SOT 262259 SOS 92846 HAS SOPS 92846 HAS SOUS 71718 HAS SOUPS 71718 WITH SCORE 71810.846
AT ITER 2070 NEW BEST:: SOT 262299 SOS 92805 HAS SOPS 92805 HAS SOUS 71677 HAS SOUPS 71677 WITH SCORE 71769.805
AT ITER 2074 NEW BEST:: SOT 262151 SOS 92581 HAS SOPS 92581 HAS SOUS 71585 HAS SOUPS 71585 WITH SCORE 71677.581
AT ITER 2075 NEW BEST:: SOT 262137 SOS 92567 HAS SOPS 92567 HAS SOUS 71565 HAS SOUPS 71565 WITH SCORE 71657.567
AT ITER 2094 NEW BEST:: SOT 262136 SOS 92566 HAS SOPS 92566 HAS SOUS 71564 HAS SOUPS 71564 WITH SCORE 71656.566
AT ITER 2095 NEW BEST:: SOT 262136 SOS 92562 HAS SOPS 92562 HAS SOUS 71563 HAS SOUPS 71563 WITH SCORE 71655.562
AT ITER 2112 NEW BEST:: SOT 262044 SOS 92443 HAS SOPS 92443 HAS SOUS 71540 HAS SOUPS 71540 WITH SCORE 71632.443
AT ITER 2114 NEW BEST:: SOT 261980 SOS 91976 HAS SOPS 91976 HAS SOUS 71226 HAS SOUPS 71226 WITH SCORE 71317.976
AT ITER 2115 NEW BEST:: SOT 261980 SOS 91969 HAS SOPS 91969 HAS SOUS 71219 HAS SOUPS 71219 WITH SCORE 71310.969
AT ITER 2123 NEW BEST:: SOT 261942 SOS 91893 HAS SOPS 91893 HAS SOUS 71174 HAS SOUPS 71174 WITH SCORE 71265.893
AT ITER 2130 NEW BEST:: SOT 261979 SOS 90653 HAS SOPS 90653 HAS SOUS 71114 HAS SOUPS 71114 WITH SCORE 71204.653
AT ITER 2135 NEW BEST:: SOT 262094 SOS 90627 HAS SOPS 90627 HAS SOUS 71041 HAS SOUPS 71041 WITH SCORE 71131.627
AT ITER 2166 NEW BEST:: SOT 262049 SOS 90537 HAS SOPS 90537 HAS SOUS 70994 HAS SOUPS 70994 WITH SCORE 71084.537
AT ITER 2168 NEW BEST:: SOT 262013 SOS 90517 HAS SOPS 90517 HAS SOUS 70974 HAS SOUPS 70974 WITH SCORE 71064.517
AT ITER 2173 NEW BEST:: SOT 262017 SOS 90517 HAS SOPS 90517 HAS SOUS 70966 HAS SOUPS 70966 WITH SCORE 71056.517
AT ITER 2175 NEW BEST:: SOT 261991 SOS 90491 HAS SOPS 90491 HAS SOUS 70966 HAS SOUPS 70966 WITH SCORE 71056.491
AT ITER 2181 NEW BEST:: SOT 261991 SOS 90491 HAS SOPS 90491 HAS SOUS 70955 HAS SOUPS 70955 WITH SCORE 71045.491
AT ITER 2193 NEW BEST:: SOT 261785 SOS 90182 HAS SOPS 90182 HAS SOUS 70749 HAS SOUPS 70749 WITH SCORE 70839.182
AT ITER 2210 NEW BEST:: SOT 261767 SOS 90146 HAS SOPS 90146 HAS SOUS 70713 HAS SOUPS 70713 WITH SCORE 70803.146
AT ITER 2212 NEW BEST:: SOT 261707 SOS 90048 HAS SOPS 90048 HAS SOUS 70615 HAS SOUPS 70615 WITH SCORE 70705.048
AT ITER 2214 NEW BEST:: SOT 261669 SOS 90040 HAS SOPS 90040 HAS SOUS 70607 HAS SOUPS 70607 WITH SCORE 70697.04
AT ITER 2219 NEW BEST:: SOT 261634 SOS 89939 HAS SOPS 89939 HAS SOUS 70469 HAS SOUPS 70469 WITH SCORE 70558.939
AT ITER 2221 NEW BEST:: SOT 261616 SOS 89903 HAS SOPS 89903 HAS SOUS 70433 HAS SOUPS 70433 WITH SCORE 70522.903
AT ITER 2224 NEW BEST:: SOT 261685 SOS 89903 HAS SOPS 89903 HAS SOUS 70368 HAS SOUPS 70368 WITH SCORE 70457.903
AT ITER 2238 NEW BEST:: SOT 261699 SOS 89917 HAS SOPS 89917 HAS SOUS 70367 HAS SOUPS 70367 WITH SCORE 70456.917
AT ITER 2252 NEW BEST:: SOT 261837 SOS 89913 HAS SOPS 89913 HAS SOUS 70356 HAS SOUPS 70356 WITH SCORE 70445.913
AT ITER 2264 NEW BEST:: SOT 261836 SOS 89912 HAS SOPS 89912 HAS SOUS 70355 HAS SOUPS 70355 WITH SCORE 70444.912
AT ITER 2270 NEW BEST:: SOT 261812 SOS 89876 HAS SOPS 89876 HAS SOUS 70331 HAS SOUPS 70331 WITH SCORE 70420.876
AT ITER 2320 NEW BEST:: SOT 261780 SOS 89812 HAS SOPS 89812 HAS SOUS 70267 HAS SOUPS 70267 WITH SCORE 70356.812
AT ITER 2321 NEW BEST:: SOT 261768 SOS 89745 HAS SOPS 89745 HAS SOUS 70200 HAS SOUPS 70200 WITH SCORE 70289.745
AT ITER 2327 NEW BEST:: SOT 261699 SOS 89682 HAS SOPS 89682 HAS SOUS 70198 HAS SOUPS 70198 WITH SCORE 70287.682
AT ITER 2337 NEW BEST:: SOT 261699 SOS 89624 HAS SOPS 89624 HAS SOUS 70140 HAS SOUPS 70140 WITH SCORE 70229.624
AT ITER 2356 NEW BEST:: SOT 261696 SOS 89621 HAS SOPS 89621 HAS SOUS 70137 HAS SOUPS 70137 WITH SCORE 70226.621
AT ITER 2357 NEW BEST:: SOT 261695 SOS 89620 HAS SOPS 89620 HAS SOUS 70136 HAS SOUPS 70136 WITH SCORE 70225.62
AT ITER 2361 NEW BEST:: SOT 261884 SOS 89541 HAS SOPS 89541 HAS SOUS 69872 HAS SOUPS 69872 WITH SCORE 69961.541
AT ITER 2367 NEW BEST:: SOT 261884 SOS 89541 HAS SOPS 89541 HAS SOUS 69838 HAS SOUPS 69838 WITH SCORE 69927.541
AT ITER 2368 NEW BEST:: SOT 261911 SOS 89594 HAS SOPS 89594 HAS SOUS 69734 HAS SOUPS 69734 WITH SCORE 69823.594
AT ITER 2380 NEW BEST:: SOT 261915 SOS 89584 HAS SOPS 89584 HAS SOUS 69724 HAS SOUPS 69724 WITH SCORE 69813.584
AT ITER 2386 NEW BEST:: SOT 261914 SOS 89533 HAS SOPS 89533 HAS SOUS 69673 HAS SOUPS 69673 WITH SCORE 69762.533
AT ITER 2395 NEW BEST:: SOT 261890 SOS 89485 HAS SOPS 89485 HAS SOUS 69625 HAS SOUPS 69625 WITH SCORE 69714.485
AT ITER 2396 NEW BEST:: SOT 261890 SOS 89458 HAS SOPS 89458 HAS SOUS 69571 HAS SOUPS 69571 WITH SCORE 69660.458
AT ITER 2416 NEW BEST:: SOT 261752 SOS 89182 HAS SOPS 89182 HAS SOUS 69433 HAS SOUPS 69433 WITH SCORE 69522.182
AT ITER 2418 NEW BEST:: SOT 261796 SOS 89150 HAS SOPS 89150 HAS SOUS 69357 HAS SOUPS 69357 WITH SCORE 69446.15
AT ITER 2423 NEW BEST:: SOT 261765 SOS 89118 HAS SOPS 89118 HAS SOUS 69249 HAS SOUPS 69249 WITH SCORE 69338.118
AT ITER 2429 NEW BEST:: SOT 261709 SOS 89006 HAS SOPS 89006 HAS SOUS 69165 HAS SOUPS 69165 WITH SCORE 69254.006
AT ITER 2430 NEW BEST:: SOT 261662 SOS 88947 HAS SOPS 88947 HAS SOUS 69136 HAS SOUPS 69136 WITH SCORE 69224.947
AT ITER 2445 NEW BEST:: SOT 261644 SOS 88911 HAS SOPS 88911 HAS SOUS 69100 HAS SOUPS 69100 WITH SCORE 69188.911
AT ITER 2479 NEW BEST:: SOT 261652 SOS 88767 HAS SOPS 88767 HAS SOUS 68956 HAS SOUPS 68956 WITH SCORE 69044.767
AT ITER 2483 NEW BEST:: SOT 261652 SOS 88762 HAS SOPS 88762 HAS SOUS 68946 HAS SOUPS 68946 WITH SCORE 69034.762
AT ITER 2484 NEW BEST:: SOT 261652 SOS 88527 HAS SOPS 88527 HAS SOUS 68904 HAS SOUPS 68904 WITH SCORE 68992.527
AT ITER 2490 NEW BEST:: SOT 261652 SOS 88507 HAS SOPS 88507 HAS SOUS 68864 HAS SOUPS 68864 WITH SCORE 68952.507
AT ITER 2492 NEW BEST:: SOT 261652 SOS 88428 HAS SOPS 88428 HAS SOUS 68785 HAS SOUPS 68785 WITH SCORE 68873.428
AT ITER 2527 NEW BEST:: SOT 261522 SOS 88298 HAS SOPS 88298 HAS SOUS 68720 HAS SOUPS 68720 WITH SCORE 68808.298
AT ITER 2534 NEW BEST:: SOT 261469 SOS 88232 HAS SOPS 88232 HAS SOUS 68652 HAS SOUPS 68652 WITH SCORE 68740.232
AT ITER 2546 NEW BEST:: SOT 261434 SOS 88041 HAS SOPS 88041 HAS SOUS 68580 HAS SOUPS 68580 WITH SCORE 68668.041
AT ITER 2552 NEW BEST:: SOT 261438 SOS 88045 HAS SOPS 88045 HAS SOUS 68521 HAS SOUPS 68521 WITH SCORE 68609.045
AT ITER 2597 NEW BEST:: SOT 261307 SOS 87924 HAS SOPS 87924 HAS SOUS 68400 HAS SOUPS 68400 WITH SCORE 68487.924
AT ITER 2599 NEW BEST:: SOT 261240 SOS 87839 HAS SOPS 87839 HAS SOUS 68358 HAS SOUPS 68358 WITH SCORE 68445.839
AT ITER 2601 NEW BEST:: SOT 261300 SOS 87809 HAS SOPS 87809 HAS SOUS 68328 HAS SOUPS 68328 WITH SCORE 68415.809
AT ITER 2607 NEW BEST:: SOT 261242 SOS 87775 HAS SOPS 87775 HAS SOUS 68304 HAS SOUPS 68304 WITH SCORE 68391.775
AT ITER 2626 NEW BEST:: SOT 261230 SOS 87667 HAS SOPS 87667 HAS SOUS 68196 HAS SOUPS 68196 WITH SCORE 68283.667
AT ITER 2637 NEW BEST:: SOT 261159 SOS 87596 HAS SOPS 87596 HAS SOUS 68125 HAS SOUPS 68125 WITH SCORE 68212.596
AT ITER 2643 NEW BEST:: SOT 261159 SOS 87557 HAS SOPS 87557 HAS SOUS 68125 HAS SOUPS 68125 WITH SCORE 68212.557
AT ITER 2656 NEW BEST:: SOT 261025 SOS 87423 HAS SOPS 87423 HAS SOUS 68125 HAS SOUPS 68125 WITH SCORE 68212.423
AT ITER 2659 NEW BEST:: SOT 261018 SOS 87409 HAS SOPS 87409 HAS SOUS 68118 HAS SOUPS 68118 WITH SCORE 68205.409
AT ITER 2684 NEW BEST:: SOT 260979 SOS 87383 HAS SOPS 87383 HAS SOUS 68092 HAS SOUPS 68092 WITH SCORE 68179.383
AT ITER 2712 NEW BEST:: SOT 260981 SOS 87373 HAS SOPS 87373 HAS SOUS 68082 HAS SOUPS 68082 WITH SCORE 68169.373
AT ITER 2717 NEW BEST:: SOT 260967 SOS 87345 HAS SOPS 87345 HAS SOUS 68054 HAS SOUPS 68054 WITH SCORE 68141.345
AT ITER 2719 NEW BEST:: SOT 260848 SOS 87063 HAS SOPS 87063 HAS SOUS 68008 HAS SOUPS 68008 WITH SCORE 68095.063
AT ITER 2738 NEW BEST:: SOT 260883 SOS 86950 HAS SOPS 86950 HAS SOUS 67965 HAS SOUPS 67965 WITH SCORE 68051.95
AT ITER 2758 NEW BEST:: SOT 260883 SOS 86938 HAS SOPS 86938 HAS SOUS 67953 HAS SOUPS 67953 WITH SCORE 68039.938
AT ITER 2765 NEW BEST:: SOT 260883 SOS 86849 HAS SOPS 86849 HAS SOUS 67775 HAS SOUPS 67775 WITH SCORE 67861.849
AT ITER 2772 NEW BEST:: SOT 260840 SOS 86782 HAS SOPS 86782 HAS SOUS 67708 HAS SOUPS 67708 WITH SCORE 67794.782
AT ITER 2777 NEW BEST:: SOT 261151 SOS 86711 HAS SOPS 86711 HAS SOUS 67694 HAS SOUPS 67694 WITH SCORE 67780.711
AT ITER 2781 NEW BEST:: SOT 261083 SOS 86643 HAS SOPS 86643 HAS SOUS 67676 HAS SOUPS 67676 WITH SCORE 67762.643
AT ITER 2785 NEW BEST:: SOT 261038 SOS 86595 HAS SOPS 86595 HAS SOUS 67628 HAS SOUPS 67628 WITH SCORE 67714.595
AT ITER 2832 NEW BEST:: SOT 261038 SOS 86571 HAS SOPS 86571 HAS SOUS 67604 HAS SOUPS 67604 WITH SCORE 67690.571
AT ITER 2833 NEW BEST:: SOT 260833 SOS 86367 HAS SOPS 86367 HAS SOUS 67600 HAS SOUPS 67600 WITH SCORE 67686.367
AT ITER 2847 NEW BEST:: SOT 260833 SOS 86367 HAS SOPS 86367 HAS SOUS 67551 HAS SOUPS 67551 WITH SCORE 67637.367
AT ITER 2874 NEW BEST:: SOT 260833 SOS 86367 HAS SOPS 86367 HAS SOUS 67540 HAS SOUPS 67540 WITH SCORE 67626.367
AT ITER 2881 NEW BEST:: SOT 260769 SOS 86303 HAS SOPS 86303 HAS SOUS 67476 HAS SOUPS 67476 WITH SCORE 67562.303
AT ITER 2889 NEW BEST:: SOT 260757 SOS 86262 HAS SOPS 86262 HAS SOUS 67451 HAS SOUPS 67451 WITH SCORE 67537.262
AT ITER 2893 NEW BEST:: SOT 260750 SOS 86255 HAS SOPS 86255 HAS SOUS 67437 HAS SOUPS 67437 WITH SCORE 67523.255
AT ITER 2898 NEW BEST:: SOT 260746 SOS 86247 HAS SOPS 86247 HAS SOUS 67431 HAS SOUPS 67431 WITH SCORE 67517.247
AT ITER 2899 NEW BEST:: SOT 260746 SOS 85548 HAS SOPS 85548 HAS SOUS 67391 HAS SOUPS 67391 WITH SCORE 67476.548
AT ITER 2915 NEW BEST:: SOT 260754 SOS 85534 HAS SOPS 85534 HAS SOUS 67377 HAS SOUPS 67377 WITH SCORE 67462.534
AT ITER 2921 NEW BEST:: SOT 260706 SOS 85486 HAS SOPS 85486 HAS SOUS 67329 HAS SOUPS 67329 WITH SCORE 67414.486
AT ITER 2930 NEW BEST:: SOT 260646 SOS 85396 HAS SOPS 85396 HAS SOUS 67269 HAS SOUPS 67269 WITH SCORE 67354.396
AT ITER 2934 NEW BEST:: SOT 260641 SOS 85386 HAS SOPS 85386 HAS SOUS 67259 HAS SOUPS 67259 WITH SCORE 67344.386
AT ITER 2940 NEW BEST:: SOT 260609 SOS 85305 HAS SOPS 85305 HAS SOUS 67178 HAS SOUPS 67178 WITH SCORE 67263.305
AT ITER 2963 NEW BEST:: SOT 260605 SOS 85142 HAS SOPS 85142 HAS SOUS 67106 HAS SOUPS 67106 WITH SCORE 67191.142
AT ITER 2970 NEW BEST:: SOT 260554 SOS 85003 HAS SOPS 85003 HAS SOUS 66967 HAS SOUPS 66967 WITH SCORE 67052.003
AT ITER 2982 NEW BEST:: SOT 260573 SOS 85003 HAS SOPS 85003 HAS SOUS 66964 HAS SOUPS 66964 WITH SCORE 67049.003
AT ITER 3007 NEW BEST:: SOT 260561 SOS 84957 HAS SOPS 84957 HAS SOUS 66918 HAS SOUPS 66918 WITH SCORE 67002.957
AT ITER 3031 NEW BEST:: SOT 260517 SOS 84921 HAS SOPS 84921 HAS SOUS 66882 HAS SOUPS 66882 WITH SCORE 66966.921
AT ITER 3040 NEW BEST:: SOT 260551 SOS 84736 HAS SOPS 84736 HAS SOUS 66830 HAS SOUPS 66830 WITH SCORE 66914.736
AT ITER 3050 NEW BEST:: SOT 260518 SOS 84811 HAS SOPS 84811 HAS SOUS 66772 HAS SOUPS 66772 WITH SCORE 66856.811
AT ITER 3055 NEW BEST:: SOT 260498 SOS 84771 HAS SOPS 84771 HAS SOUS 66732 HAS SOUPS 66732 WITH SCORE 66816.771
AT ITER 3060 NEW BEST:: SOT 260476 SOS 84727 HAS SOPS 84727 HAS SOUS 66710 HAS SOUPS 66710 WITH SCORE 66794.727
AT ITER 3071 NEW BEST:: SOT 260503 SOS 84702 HAS SOPS 84702 HAS SOUS 66685 HAS SOUPS 66685 WITH SCORE 66769.702
AT ITER 3114 NEW BEST:: SOT 260464 SOS 84663 HAS SOPS 84663 HAS SOUS 66646 HAS SOUPS 66646 WITH SCORE 66730.663
AT ITER 3117 NEW BEST:: SOT 260509 SOS 84686 HAS SOPS 84686 HAS SOUS 66586 HAS SOUPS 66586 WITH SCORE 66670.686
AT ITER 3135 NEW BEST:: SOT 260446 SOS 84531 HAS SOPS 84531 HAS SOUS 66431 HAS SOUPS 66431 WITH SCORE 66515.531
AT ITER 3137 NEW BEST:: SOT 260446 SOS 84467 HAS SOPS 84467 HAS SOUS 66415 HAS SOUPS 66415 WITH SCORE 66499.467
AT ITER 3158 NEW BEST:: SOT 260260 SOS 84281 HAS SOPS 84281 HAS SOUS 66322 HAS SOUPS 66322 WITH SCORE 66406.281
AT ITER 3186 NEW BEST:: SOT 260242 SOS 84257 HAS SOPS 84257 HAS SOUS 66292 HAS SOUPS 66292 WITH SCORE 66376.257
AT ITER 3189 NEW BEST:: SOT 260241 SOS 84255 HAS SOPS 84255 HAS SOUS 66290 HAS SOUPS 66290 WITH SCORE 66374.255
AT ITER 3197 NEW BEST:: SOT 260149 SOS 84163 HAS SOPS 84163 HAS SOUS 66198 HAS SOUPS 66198 WITH SCORE 66282.163
AT ITER 3220 NEW BEST:: SOT 260216 SOS 84165 HAS SOPS 84165 HAS SOUS 66189 HAS SOUPS 66189 WITH SCORE 66273.165
AT ITER 3229 NEW BEST:: SOT 260215 SOS 84164 HAS SOPS 84164 HAS SOUS 66188 HAS SOUPS 66188 WITH SCORE 66272.164
AT ITER 3243 NEW BEST:: SOT 260165 SOS 84114 HAS SOPS 84114 HAS SOUS 66188 HAS SOUPS 66188 WITH SCORE 66272.114
AT ITER 3247 NEW BEST:: SOT 260162 SOS 84108 HAS SOPS 84108 HAS SOUS 66185 HAS SOUPS 66185 WITH SCORE 66269.108
AT ITER 3252 NEW BEST:: SOT 260032 SOS 83926 HAS SOPS 83926 HAS SOUS 66003 HAS SOUPS 66003 WITH SCORE 66086.926
AT ITER 3253 NEW BEST:: SOT 260032 SOS 83926 HAS SOPS 83926 HAS SOUS 65996 HAS SOUPS 65996 WITH SCORE 66079.926
AT ITER 3273 NEW BEST:: SOT 259988 SOS 83838 HAS SOPS 83838 HAS SOUS 65881 HAS SOUPS 65881 WITH SCORE 65964.838
AT ITER 3277 NEW BEST:: SOT 259830 SOS 83633 HAS SOPS 83633 HAS SOUS 65676 HAS SOUPS 65676 WITH SCORE 65759.633
AT ITER 3282 NEW BEST:: SOT 259803 SOS 83687 HAS SOPS 83687 HAS SOUS 65649 HAS SOUPS 65649 WITH SCORE 65732.687
AT ITER 3296 NEW BEST:: SOT 259803 SOS 83686 HAS SOPS 83686 HAS SOUS 65648 HAS SOUPS 65648 WITH SCORE 65731.686
AT ITER 3299 NEW BEST:: SOT 259808 SOS 83646 HAS SOPS 83646 HAS SOUS 65563 HAS SOUPS 65563 WITH SCORE 65646.646
AT ITER 3306 NEW BEST:: SOT 259792 SOS 83621 HAS SOPS 83621 HAS SOUS 65546 HAS SOUPS 65546 WITH SCORE 65629.621
AT ITER 3313 NEW BEST:: SOT 259789 SOS 83618 HAS SOPS 83618 HAS SOUS 65543 HAS SOUPS 65543 WITH SCORE 65626.618
AT ITER 3316 NEW BEST:: SOT 259789 SOS 83618 HAS SOPS 83618 HAS SOUS 65524 HAS SOUPS 65524 WITH SCORE 65607.618
AT ITER 3326 NEW BEST:: SOT 259761 SOS 83590 HAS SOPS 83590 HAS SOUS 65524 HAS SOUPS 65524 WITH SCORE 65607.59
AT ITER 3328 NEW BEST:: SOT 259720 SOS 83508 HAS SOPS 83508 HAS SOUS 65442 HAS SOUPS 65442 WITH SCORE 65525.508
AT ITER 3336 NEW BEST:: SOT 259720 SOS 83506 HAS SOPS 83506 HAS SOUS 65407 HAS SOUPS 65407 WITH SCORE 65490.506
AT ITER 3340 NEW BEST:: SOT 259715 SOS 83496 HAS SOPS 83496 HAS SOUS 65397 HAS SOUPS 65397 WITH SCORE 65480.496
AT ITER 3361 NEW BEST:: SOT 259639 SOS 83487 HAS SOPS 83487 HAS SOUS 65385 HAS SOUPS 65385 WITH SCORE 65468.487
AT ITER 3380 NEW BEST:: SOT 259646 SOS 83374 HAS SOPS 83374 HAS SOUS 65291 HAS SOUPS 65291 WITH SCORE 65374.374
AT ITER 3392 NEW BEST:: SOT 259611 SOS 83336 HAS SOPS 83336 HAS SOUS 65253 HAS SOUPS 65253 WITH SCORE 65336.336
AT ITER 3393 NEW BEST:: SOT 259614 SOS 83206 HAS SOPS 83206 HAS SOUS 65123 HAS SOUPS 65123 WITH SCORE 65206.206
AT ITER 3404 NEW BEST:: SOT 259614 SOS 83166 HAS SOPS 83166 HAS SOUS 65083 HAS SOUPS 65083 WITH SCORE 65166.166
AT ITER 3410 NEW BEST:: SOT 259582 SOS 83136 HAS SOPS 83136 HAS SOUS 65053 HAS SOUPS 65053 WITH SCORE 65136.136
AT ITER 3414 NEW BEST:: SOT 259568 SOS 83122 HAS SOPS 83122 HAS SOUS 65053 HAS SOUPS 65053 WITH SCORE 65136.122
AT ITER 3454 NEW BEST:: SOT 259733 SOS 83118 HAS SOPS 83118 HAS SOUS 65049 HAS SOUPS 65049 WITH SCORE 65132.118
AT ITER 3463 NEW BEST:: SOT 259711 SOS 83042 HAS SOPS 83042 HAS SOUS 64973 HAS SOUPS 64973 WITH SCORE 65056.042
AT ITER 3479 NEW BEST:: SOT 259713 SOS 83044 HAS SOPS 83044 HAS SOUS 64968 HAS SOUPS 64968 WITH SCORE 65051.044
AT ITER 3483 NEW BEST:: SOT 259843 SOS 83017 HAS SOPS 83017 HAS SOUS 64941 HAS SOUPS 64941 WITH SCORE 65024.017
AT ITER 3487 NEW BEST:: SOT 259851 SOS 83009 HAS SOPS 83009 HAS SOUS 64933 HAS SOUPS 64933 WITH SCORE 65016.009
AT ITER 3511 NEW BEST:: SOT 259862 SOS 83007 HAS SOPS 83007 HAS SOUS 64931 HAS SOUPS 64931 WITH SCORE 65014.007
AT ITER 3522 NEW BEST:: SOT 259840 SOS 82960 HAS SOPS 82960 HAS SOUS 64928 HAS SOUPS 64928 WITH SCORE 65010.96
AT ITER 3544 NEW BEST:: SOT 259750 SOS 82945 HAS SOPS 82945 HAS SOUS 64913 HAS SOUPS 64913 WITH SCORE 64995.945
AT ITER 3556 NEW BEST:: SOT 259715 SOS 82841 HAS SOPS 82841 HAS SOUS 64844 HAS SOUPS 64844 WITH SCORE 64926.841
AT ITER 3601 NEW BEST:: SOT 259693 SOS 82797 HAS SOPS 82797 HAS SOUS 64800 HAS SOUPS 64800 WITH SCORE 64882.797
AT ITER 3609 NEW BEST:: SOT 259727 SOS 82780 HAS SOPS 82780 HAS SOUS 64783 HAS SOUPS 64783 WITH SCORE 64865.78
AT ITER 3634 NEW BEST:: SOT 259642 SOS 82724 HAS SOPS 82724 HAS SOUS 64632 HAS SOUPS 64632 WITH SCORE 64714.724
AT ITER 3641 NEW BEST:: SOT 259573 SOS 82663 HAS SOPS 82663 HAS SOUS 64627 HAS SOUPS 64627 WITH SCORE 64709.663
AT ITER 3642 NEW BEST:: SOT 259524 SOS 82564 HAS SOPS 82564 HAS SOUS 64528 HAS SOUPS 64528 WITH SCORE 64610.564
AT ITER 3692 NEW BEST:: SOT 259429 SOS 82397 HAS SOPS 82397 HAS SOUS 64361 HAS SOUPS 64361 WITH SCORE 64443.397
AT ITER 3701 NEW BEST:: SOT 259460 SOS 82378 HAS SOPS 82378 HAS SOUS 64342 HAS SOUPS 64342 WITH SCORE 64424.378
AT ITER 3713 NEW BEST:: SOT 259439 SOS 82802 HAS SOPS 82802 HAS SOUS 64341 HAS SOUPS 64341 WITH SCORE 64423.802
AT ITER 3745 NEW BEST:: SOT 259420 SOS 82798 HAS SOPS 82798 HAS SOUS 64337 HAS SOUPS 64337 WITH SCORE 64419.798
AT ITER 3750 NEW BEST:: SOT 259364 SOS 82686 HAS SOPS 82686 HAS SOUS 64281 HAS SOUPS 64281 WITH SCORE 64363.686
AT ITER 3760 NEW BEST:: SOT 259363 SOS 82684 HAS SOPS 82684 HAS SOUS 64279 HAS SOUPS 64279 WITH SCORE 64361.684
AT ITER 3772 NEW BEST:: SOT 259344 SOS 82646 HAS SOPS 82646 HAS SOUS 64232 HAS SOUPS 64232 WITH SCORE 64314.646
AT ITER 3788 NEW BEST:: SOT 259225 SOS 82527 HAS SOPS 82527 HAS SOUS 64072 HAS SOUPS 64072 WITH SCORE 64154.527
AT ITER 3790 NEW BEST:: SOT 259183 SOS 82443 HAS SOPS 82443 HAS SOUS 63988 HAS SOUPS 63988 WITH SCORE 64070.443
AT ITER 3791 NEW BEST:: SOT 259183 SOS 82387 HAS SOPS 82387 HAS SOUS 63932 HAS SOUPS 63932 WITH SCORE 64014.387
AT ITER 3803 NEW BEST:: SOT 259149 SOS 82319 HAS SOPS 82319 HAS SOUS 63864 HAS SOUPS 63864 WITH SCORE 63946.319
AT ITER 3816 NEW BEST:: SOT 259128 SOS 82318 HAS SOPS 82318 HAS SOUS 63863 HAS SOUPS 63863 WITH SCORE 63945.318
AT ITER 3870 NEW BEST:: SOT 259057 SOS 82267 HAS SOPS 82267 HAS SOUS 63812 HAS SOUPS 63812 WITH SCORE 63894.267
AT ITER 3879 NEW BEST:: SOT 259050 SOS 82254 HAS SOPS 82254 HAS SOUS 63799 HAS SOUPS 63799 WITH SCORE 63881.254
AT ITER 3920 NEW BEST:: SOT 258928 SOS 82007 HAS SOPS 82007 HAS SOUS 63552 HAS SOUPS 63552 WITH SCORE 63634.007
AT ITER 3927 NEW BEST:: SOT 258928 SOS 81846 HAS SOPS 81846 HAS SOUS 63552 HAS SOUPS 63552 WITH SCORE 63633.846
AT ITER 3938 NEW BEST:: SOT 258928 SOS 81815 HAS SOPS 81815 HAS SOUS 63521 HAS SOUPS 63521 WITH SCORE 63602.815
AT ITER 3941 NEW BEST:: SOT 258860 SOS 81754 HAS SOPS 81754 HAS SOUS 63460 HAS SOUPS 63460 WITH SCORE 63541.754
AT ITER 3942 NEW BEST:: SOT 258859 SOS 81752 HAS SOPS 81752 HAS SOUS 63458 HAS SOUPS 63458 WITH SCORE 63539.752
AT ITER 3960 NEW BEST:: SOT 258843 SOS 81720 HAS SOPS 81720 HAS SOUS 63426 HAS SOUPS 63426 WITH SCORE 63507.72
AT ITER 3976 NEW BEST:: SOT 258830 SOS 81694 HAS SOPS 81694 HAS SOUS 63400 HAS SOUPS 63400 WITH SCORE 63481.694
AT ITER 3980 NEW BEST:: SOT 258818 SOS 81682 HAS SOPS 81682 HAS SOUS 63388 HAS SOUPS 63388 WITH SCORE 63469.682
AT ITER 3982 NEW BEST:: SOT 258799 SOS 81644 HAS SOPS 81644 HAS SOUS 63350 HAS SOUPS 63350 WITH SCORE 63431.644
AT ITER 3983 NEW BEST:: SOT 258375 SOS 81220 HAS SOPS 81220 HAS SOUS 62926 HAS SOUPS 62926 WITH SCORE 63007.22
AT ITER 4011 NEW BEST:: SOT 258516 SOS 81096 HAS SOPS 81096 HAS SOUS 62903 HAS SOUPS 62903 WITH SCORE 62984.096
AT ITER 4022 NEW BEST:: SOT 258439 SOS 81015 HAS SOPS 81015 HAS SOUS 62862 HAS SOUPS 62862 WITH SCORE 62943.015
AT ITER 4026 NEW BEST:: SOT 258357 SOS 80933 HAS SOPS 80933 HAS SOUS 62862 HAS SOUPS 62862 WITH SCORE 62942.933
AT ITER 4030 NEW BEST:: SOT 258445 SOS 81021 HAS SOPS 81021 HAS SOUS 62859 HAS SOUPS 62859 WITH SCORE 62940.021
AT ITER 4036 NEW BEST:: SOT 258396 SOS 80984 HAS SOPS 80984 HAS SOUS 62822 HAS SOUPS 62822 WITH SCORE 62902.984
AT ITER 4039 NEW BEST:: SOT 258396 SOS 80851 HAS SOPS 80851 HAS SOUS 62718 HAS SOUPS 62718 WITH SCORE 62798.851
AT ITER 4057 NEW BEST:: SOT 258396 SOS 80851 HAS SOPS 80851 HAS SOUS 62695 HAS SOUPS 62695 WITH SCORE 62775.851
AT ITER 4068 NEW BEST:: SOT 258396 SOS 80842 HAS SOPS 80842 HAS SOUS 62686 HAS SOUPS 62686 WITH SCORE 62766.842
AT ITER 4070 NEW BEST:: SOT 258391 SOS 80637 HAS SOPS 80637 HAS SOUS 62676 HAS SOUPS 62676 WITH SCORE 62756.637
AT ITER 4073 NEW BEST:: SOT 258387 SOS 80629 HAS SOPS 80629 HAS SOUS 62668 HAS SOUPS 62668 WITH SCORE 62748.629
AT ITER 4080 NEW BEST:: SOT 258386 SOS 80618 HAS SOPS 80618 HAS SOUS 62657 HAS SOUPS 62657 WITH SCORE 62737.618
AT ITER 4096 NEW BEST:: SOT 258263 SOS 80281 HAS SOPS 80281 HAS SOUS 62320 HAS SOUPS 62320 WITH SCORE 62400.281
AT ITER 4100 NEW BEST:: SOT 258056 SOS 79847 HAS SOPS 79847 HAS SOUS 62096 HAS SOUPS 62096 WITH SCORE 62175.847
AT ITER 4104 NEW BEST:: SOT 258042 SOS 79833 HAS SOPS 79833 HAS SOUS 62082 HAS SOUPS 62082 WITH SCORE 62161.833
AT ITER 4115 NEW BEST:: SOT 258010 SOS 79785 HAS SOPS 79785 HAS SOUS 62050 HAS SOUPS 62050 WITH SCORE 62129.785
AT ITER 4126 NEW BEST:: SOT 258217 SOS 79764 HAS SOPS 79764 HAS SOUS 62019 HAS SOUPS 62019 WITH SCORE 62098.764
AT ITER 4134 NEW BEST:: SOT 258217 SOS 79865 HAS SOPS 79865 HAS SOUS 61977 HAS SOUPS 61977 WITH SCORE 62056.865
AT ITER 4146 NEW BEST:: SOT 258232 SOS 79795 HAS SOPS 79795 HAS SOUS 61967 HAS SOUPS 61967 WITH SCORE 62046.795
AT ITER 4215 NEW BEST:: SOT 258217 SOS 79732 HAS SOPS 79732 HAS SOUS 61904 HAS SOUPS 61904 WITH SCORE 61983.732
AT ITER 4224 NEW BEST:: SOT 258251 SOS 79903 HAS SOPS 79903 HAS SOUS 61897 HAS SOUPS 61897 WITH SCORE 61976.903
AT ITER 4263 NEW BEST:: SOT 258226 SOS 79853 HAS SOPS 79853 HAS SOUS 61897 HAS SOUPS 61897 WITH SCORE 61976.853
AT ITER 4266 NEW BEST:: SOT 258175 SOS 79794 HAS SOPS 79794 HAS SOUS 61881 HAS SOUPS 61881 WITH SCORE 61960.794
AT ITER 4268 NEW BEST:: SOT 258175 SOS 79793 HAS SOPS 79793 HAS SOUS 61880 HAS SOUPS 61880 WITH SCORE 61959.793
AT ITER 4312 NEW BEST:: SOT 258175 SOS 79784 HAS SOPS 79784 HAS SOUS 61871 HAS SOUPS 61871 WITH SCORE 61950.784
AT ITER 4316 NEW BEST:: SOT 258135 SOS 79704 HAS SOPS 79704 HAS SOUS 61791 HAS SOUPS 61791 WITH SCORE 61870.704
AT ITER 4324 NEW BEST:: SOT 258072 SOS 79641 HAS SOPS 79641 HAS SOUS 61728 HAS SOUPS 61728 WITH SCORE 61807.641
AT ITER 4341 NEW BEST:: SOT 258180 SOS 79850 HAS SOPS 79850 HAS SOUS 61695 HAS SOUPS 61695 WITH SCORE 61774.85
AT ITER 4362 NEW BEST:: SOT 258180 SOS 79706 HAS SOPS 79706 HAS SOUS 61650 HAS SOUPS 61650 WITH SCORE 61729.706
AT ITER 4375 NEW BEST:: SOT 258142 SOS 79632 HAS SOPS 79632 HAS SOUS 61613 HAS SOUPS 61613 WITH SCORE 61692.632
AT ITER 4419 NEW BEST:: SOT 258135 SOS 79618 HAS SOPS 79618 HAS SOUS 61607 HAS SOUPS 61607 WITH SCORE 61686.618
AT ITER 4441 NEW BEST:: SOT 258095 SOS 79544 HAS SOPS 79544 HAS SOUS 61533 HAS SOUPS 61533 WITH SCORE 61612.544
AT ITER 4456 NEW BEST:: SOT 258219 SOS 79612 HAS SOPS 79612 HAS SOUS 61453 HAS SOUPS 61453 WITH SCORE 61532.612
AT ITER 4459 NEW BEST:: SOT 258056 SOS 79316 HAS SOPS 79316 HAS SOUS 61341 HAS SOUPS 61341 WITH SCORE 61420.316
AT ITER 4460 NEW BEST:: SOT 258056 SOS 79316 HAS SOPS 79316 HAS SOUS 61219 HAS SOUPS 61219 WITH SCORE 61298.316
AT ITER 4497 NEW BEST:: SOT 258056 SOS 79316 HAS SOPS 79316 HAS SOUS 61187 HAS SOUPS 61187 WITH SCORE 61266.316
AT ITER 4499 NEW BEST:: SOT 258053 SOS 79307 HAS SOPS 79307 HAS SOUS 61181 HAS SOUPS 61181 WITH SCORE 61260.307
AT ITER 4503 NEW BEST:: SOT 258051 SOS 79305 HAS SOPS 79305 HAS SOUS 61177 HAS SOUPS 61177 WITH SCORE 61256.305
AT ITER 4509 NEW BEST:: SOT 258045 SOS 79299 HAS SOPS 79299 HAS SOUS 61171 HAS SOUPS 61171 WITH SCORE 61250.299
AT ITER 4526 NEW BEST:: SOT 258044 SOS 79298 HAS SOPS 79298 HAS SOUS 61170 HAS SOUPS 61170 WITH SCORE 61249.298
AT ITER 4530 NEW BEST:: SOT 258015 SOS 79240 HAS SOPS 79240 HAS SOUS 61112 HAS SOUPS 61112 WITH SCORE 61191.24
AT ITER 4539 NEW BEST:: SOT 258015 SOS 79238 HAS SOPS 79238 HAS SOUS 61111 HAS SOUPS 61111 WITH SCORE 61190.238
AT ITER 4559 NEW BEST:: SOT 257983 SOS 79174 HAS SOPS 79174 HAS SOUS 61079 HAS SOUPS 61079 WITH SCORE 61158.174
AT ITER 4614 NEW BEST:: SOT 257928 SOS 79118 HAS SOPS 79118 HAS SOUS 61078 HAS SOUPS 61078 WITH SCORE 61157.118
AT ITER 4625 NEW BEST:: SOT 257820 SOS 79010 HAS SOPS 79010 HAS SOUS 60970 HAS SOUPS 60970 WITH SCORE 61049.01
AT ITER 4629 NEW BEST:: SOT 257777 SOS 78881 HAS SOPS 78881 HAS SOUS 60841 HAS SOUPS 60841 WITH SCORE 60919.881
AT ITER 4644 NEW BEST:: SOT 257723 SOS 78773 HAS SOPS 78773 HAS SOUS 60735 HAS SOUPS 60735 WITH SCORE 60813.773
AT ITER 4647 NEW BEST:: SOT 257557 SOS 78509 HAS SOPS 78509 HAS SOUS 60530 HAS SOUPS 60530 WITH SCORE 60608.509
AT ITER 4668 NEW BEST:: SOT 257539 SOS 78482 HAS SOPS 78482 HAS SOUS 60503 HAS SOUPS 60503 WITH SCORE 60581.482
AT ITER 4712 NEW BEST:: SOT 257555 SOS 78466 HAS SOPS 78466 HAS SOUS 60501 HAS SOUPS 60501 WITH SCORE 60579.466
AT ITER 4725 NEW BEST:: SOT 257518 SOS 78460 HAS SOPS 78460 HAS SOUS 60495 HAS SOUPS 60495 WITH SCORE 60573.46
AT ITER 4737 NEW BEST:: SOT 257508 SOS 78440 HAS SOPS 78440 HAS SOUS 60475 HAS SOUPS 60475 WITH SCORE 60553.44
AT ITER 4759 NEW BEST:: SOT 257499 SOS 78422 HAS SOPS 78422 HAS SOUS 60457 HAS SOUPS 60457 WITH SCORE 60535.422
AT ITER 4800 NEW BEST:: SOT 257464 SOS 78400 HAS SOPS 78400 HAS SOUS 60435 HAS SOUPS 60435 WITH SCORE 60513.4
AT ITER 4806 NEW BEST:: SOT 257480 SOS 78432 HAS SOPS 78432 HAS SOUS 60431 HAS SOUPS 60431 WITH SCORE 60509.432
AT ITER 4809 NEW BEST:: SOT 257382 SOS 78353 HAS SOPS 78353 HAS SOUS 60352 HAS SOUPS 60352 WITH SCORE 60430.353
AT ITER 4810 NEW BEST:: SOT 257297 SOS 78183 HAS SOPS 78183 HAS SOUS 60182 HAS SOUPS 60182 WITH SCORE 60260.183
AT ITER 4813 NEW BEST:: SOT 257295 SOS 78178 HAS SOPS 78178 HAS SOUS 60177 HAS SOUPS 60177 WITH SCORE 60255.178
AT ITER 4827 NEW BEST:: SOT 257240 SOS 78068 HAS SOPS 78068 HAS SOUS 60067 HAS SOUPS 60067 WITH SCORE 60145.068
AT ITER 4834 NEW BEST:: SOT 257075 SOS 77903 HAS SOPS 77903 HAS SOUS 59902 HAS SOUPS 59902 WITH SCORE 59979.903
AT ITER 4850 NEW BEST:: SOT 257050 SOS 77878 HAS SOPS 77878 HAS SOUS 59877 HAS SOUPS 59877 WITH SCORE 59954.878
AT ITER 4851 NEW BEST:: SOT 257029 SOS 77836 HAS SOPS 77836 HAS SOUS 59836 HAS SOUPS 59836 WITH SCORE 59913.836
AT ITER 4894 NEW BEST:: SOT 256994 SOS 77766 HAS SOPS 77766 HAS SOUS 59810 HAS SOUPS 59810 WITH SCORE 59887.766
AT ITER 4928 NEW BEST:: SOT 256868 SOS 77543 HAS SOPS 77543 HAS SOUS 59587 HAS SOUPS 59587 WITH SCORE 59664.543
AT ITER 4964 NEW BEST:: SOT 256865 SOS 77540 HAS SOPS 77540 HAS SOUS 59584 HAS SOUPS 59584 WITH SCORE 59661.54
AT ITER 4970 NEW BEST:: SOT 256844 SOS 77527 HAS SOPS 77527 HAS SOUS 59571 HAS SOUPS 59571 WITH SCORE 59648.527
AT ITER 4996 NEW BEST:: SOT 256843 SOS 77525 HAS SOPS 77525 HAS SOUS 59569 HAS SOUPS 59569 WITH SCORE 59646.525
AT ITER 5000 NEW BEST:: SOT 256882 SOS 77564 HAS SOPS 77564 HAS SOUS 59559 HAS SOUPS 59559 WITH SCORE 59636.564
AT ITER 5002 NEW BEST:: SOT 256847 SOS 77533 HAS SOPS 77533 HAS SOUS 59528 HAS SOUPS 59528 WITH SCORE 59605.533
AT ITER 5010 NEW BEST:: SOT 256863 SOS 77530 HAS SOPS 77530 HAS SOUS 59525 HAS SOUPS 59525 WITH SCORE 59602.53
AT ITER 5065 NEW BEST:: SOT 256863 SOS 77514 HAS SOPS 77514 HAS SOUS 59505 HAS SOUPS 59505 WITH SCORE 59582.514
AT ITER 5116 NEW BEST:: SOT 256863 SOS 77513 HAS SOPS 77513 HAS SOUS 59504 HAS SOUPS 59504 WITH SCORE 59581.513
AT ITER 5150 NEW BEST:: SOT 256751 SOS 77486 HAS SOPS 77486 HAS SOUS 59504 HAS SOUPS 59504 WITH SCORE 59581.486
AT ITER 5224 NEW BEST:: SOT 256750 SOS 77485 HAS SOPS 77485 HAS SOUS 59503 HAS SOUPS 59503 WITH SCORE 59580.485
AT ITER 5256 NEW BEST:: SOT 256745 SOS 77468 HAS SOPS 77468 HAS SOUS 59489 HAS SOUPS 59489 WITH SCORE 59566.468
AT ITER 5263 NEW BEST:: SOT 256726 SOS 77449 HAS SOPS 77449 HAS SOUS 59470 HAS SOUPS 59470 WITH SCORE 59547.449
AT ITER 5269 NEW BEST:: SOT 256814 SOS 77407 HAS SOPS 77407 HAS SOUS 59400 HAS SOUPS 59400 WITH SCORE 59477.407
AT ITER 5284 NEW BEST:: SOT 256810 SOS 77327 HAS SOPS 77327 HAS SOUS 59320 HAS SOUPS 59320 WITH SCORE 59397.327
AT ITER 5329 NEW BEST:: SOT 256818 SOS 77283 HAS SOPS 77283 HAS SOUS 59276 HAS SOUPS 59276 WITH SCORE 59353.283
AT ITER 5332 NEW BEST:: SOT 256828 SOS 77288 HAS SOPS 77288 HAS SOUS 59266 HAS SOUPS 59266 WITH SCORE 59343.288
AT ITER 5344 NEW BEST:: SOT 256759 SOS 77150 HAS SOPS 77150 HAS SOUS 59182 HAS SOUPS 59182 WITH SCORE 59259.15
AT ITER 5358 NEW BEST:: SOT 256736 SOS 77028 HAS SOPS 77028 HAS SOUS 59060 HAS SOUPS 59060 WITH SCORE 59137.028
AT ITER 5364 NEW BEST:: SOT 256705 SOS 76999 HAS SOPS 76999 HAS SOUS 59031 HAS SOUPS 59031 WITH SCORE 59107.999
AT ITER 5365 NEW BEST:: SOT 256740 SOS 76936 HAS SOPS 76936 HAS SOUS 58968 HAS SOUPS 58968 WITH SCORE 59044.936
AT ITER 5375 NEW BEST:: SOT 256634 SOS 76833 HAS SOPS 76833 HAS SOUS 58877 HAS SOUPS 58877 WITH SCORE 58953.833
AT ITER 5407 NEW BEST:: SOT 256539 SOS 76760 HAS SOPS 76760 HAS SOUS 58783 HAS SOUPS 58783 WITH SCORE 58859.76
AT ITER 5441 NEW BEST:: SOT 256536 SOS 76721 HAS SOPS 76721 HAS SOUS 58777 HAS SOUPS 58777 WITH SCORE 58853.721
AT ITER 5459 NEW BEST:: SOT 256526 SOS 76701 HAS SOPS 76701 HAS SOUS 58757 HAS SOUPS 58757 WITH SCORE 58833.701
AT ITER 5480 NEW BEST:: SOT 256516 SOS 76680 HAS SOPS 76680 HAS SOUS 58700 HAS SOUPS 58700 WITH SCORE 58776.68
AT ITER 5489 NEW BEST:: SOT 256514 SOS 76667 HAS SOPS 76667 HAS SOUS 58667 HAS SOUPS 58667 WITH SCORE 58743.667
AT ITER 5532 NEW BEST:: SOT 256587 SOS 76813 HAS SOPS 76813 HAS SOUS 58643 HAS SOUPS 58643 WITH SCORE 58719.813
AT ITER 5549 NEW BEST:: SOT 256573 SOS 76785 HAS SOPS 76785 HAS SOUS 58615 HAS SOUPS 58615 WITH SCORE 58691.785
AT ITER 5562 NEW BEST:: SOT 256472 SOS 76583 HAS SOPS 76583 HAS SOUS 58413 HAS SOUPS 58413 WITH SCORE 58489.583
AT ITER 5575 NEW BEST:: SOT 256351 SOS 76540 HAS SOPS 76540 HAS SOUS 58370 HAS SOUPS 58370 WITH SCORE 58446.54
AT ITER 5615 NEW BEST:: SOT 256342 SOS 76531 HAS SOPS 76531 HAS SOUS 58361 HAS SOUPS 58361 WITH SCORE 58437.531
AT ITER 5620 NEW BEST:: SOT 256337 SOS 76506 HAS SOPS 76506 HAS SOUS 58351 HAS SOUPS 58351 WITH SCORE 58427.506
AT ITER 5640 NEW BEST:: SOT 256344 SOS 76501 HAS SOPS 76501 HAS SOUS 58346 HAS SOUPS 58346 WITH SCORE 58422.501
AT ITER 5642 NEW BEST:: SOT 256262 SOS 76291 HAS SOPS 76291 HAS SOUS 58136 HAS SOUPS 58136 WITH SCORE 58212.291
AT ITER 5644 NEW BEST:: SOT 256243 SOS 76273 HAS SOPS 76273 HAS SOUS 58118 HAS SOUPS 58118 WITH SCORE 58194.273
AT ITER 5649 NEW BEST:: SOT 256205 SOS 76234 HAS SOPS 76234 HAS SOUS 58079 HAS SOUPS 58079 WITH SCORE 58155.234
AT ITER 5658 NEW BEST:: SOT 256059 SOS 75942 HAS SOPS 75942 HAS SOUS 57787 HAS SOUPS 57787 WITH SCORE 57862.942
AT ITER 5659 NEW BEST:: SOT 256033 SOS 75890 HAS SOPS 75890 HAS SOUS 57761 HAS SOUPS 57761 WITH SCORE 57836.89
AT ITER 5679 NEW BEST:: SOT 255913 SOS 76053 HAS SOPS 76053 HAS SOUS 57641 HAS SOUPS 57641 WITH SCORE 57717.053
AT ITER 5721 NEW BEST:: SOT 255875 SOS 76103 HAS SOPS 76103 HAS SOUS 57571 HAS SOUPS 57571 WITH SCORE 57647.103
AT ITER 5726 NEW BEST:: SOT 255867 SOS 76095 HAS SOPS 76095 HAS SOUS 57563 HAS SOUPS 57563 WITH SCORE 57639.095
AT ITER 5741 NEW BEST:: SOT 255840 SOS 76041 HAS SOPS 76041 HAS SOUS 57530 HAS SOUPS 57530 WITH SCORE 57606.041
AT ITER 5781 NEW BEST:: SOT 255886 SOS 76041 HAS SOPS 76041 HAS SOUS 57484 HAS SOUPS 57484 WITH SCORE 57560.041
AT ITER 5793 NEW BEST:: SOT 255886 SOS 76001 HAS SOPS 76001 HAS SOUS 57444 HAS SOUPS 57444 WITH SCORE 57520.001
AT ITER 5870 NEW BEST:: SOT 255914 SOS 75986 HAS SOPS 75986 HAS SOUS 57425 HAS SOUPS 57425 WITH SCORE 57500.986
AT ITER 5900 NEW BEST:: SOT 255874 SOS 75866 HAS SOPS 75866 HAS SOUS 57345 HAS SOUPS 57345 WITH SCORE 57420.866
AT ITER 5905 NEW BEST:: SOT 255865 SOS 75865 HAS SOPS 75865 HAS SOUS 57344 HAS SOUPS 57344 WITH SCORE 57419.865
AT ITER 5913 NEW BEST:: SOT 255868 SOS 75859 HAS SOPS 75859 HAS SOUS 57338 HAS SOUPS 57338 WITH SCORE 57413.859
AT ITER 5920 NEW BEST:: SOT 255851 SOS 75805 HAS SOPS 75805 HAS SOUS 57284 HAS SOUPS 57284 WITH SCORE 57359.805
AT ITER 5934 NEW BEST:: SOT 255850 SOS 75702 HAS SOPS 75702 HAS SOUS 57236 HAS SOUPS 57236 WITH SCORE 57311.702
AT ITER 5942 NEW BEST:: SOT 255909 SOS 75752 HAS SOPS 75752 HAS SOUS 57218 HAS SOUPS 57218 WITH SCORE 57293.752
AT ITER 5948 NEW BEST:: SOT 255853 SOS 75640 HAS SOPS 75640 HAS SOUS 57202 HAS SOUPS 57202 WITH SCORE 57277.64
AT ITER 5952 NEW BEST:: SOT 255830 SOS 75587 HAS SOPS 75587 HAS SOUS 57111 HAS SOUPS 57111 WITH SCORE 57186.587
AT ITER 5956 NEW BEST:: SOT 255795 SOS 75517 HAS SOPS 75517 HAS SOUS 57065 HAS SOUPS 57065 WITH SCORE 57140.517
AT ITER 5988 NEW BEST:: SOT 255785 SOS 75497 HAS SOPS 75497 HAS SOUS 57045 HAS SOUPS 57045 WITH SCORE 57120.497
AT ITER 5990 NEW BEST:: SOT 255733 SOS 75393 HAS SOPS 75393 HAS SOUS 56941 HAS SOUPS 56941 WITH SCORE 57016.393
AT ITER 6007 NEW BEST:: SOT 255698 SOS 75323 HAS SOPS 75323 HAS SOUS 56871 HAS SOUPS 56871 WITH SCORE 56946.323
AT ITER 6024 NEW BEST:: SOT 255698 SOS 75148 HAS SOPS 75148 HAS SOUS 56809 HAS SOUPS 56809 WITH SCORE 56884.148
AT ITER 6039 NEW BEST:: SOT 255644 SOS 74993 HAS SOPS 74993 HAS SOUS 56744 HAS SOUPS 56744 WITH SCORE 56818.993
AT ITER 6080 NEW BEST:: SOT 255564 SOS 74903 HAS SOPS 74903 HAS SOUS 56598 HAS SOUPS 56598 WITH SCORE 56672.903
AT ITER 6164 NEW BEST:: SOT 255562 SOS 74901 HAS SOPS 74901 HAS SOUS 56596 HAS SOUPS 56596 WITH SCORE 56670.901
AT ITER 6176 NEW BEST:: SOT 255553 SOS 74879 HAS SOPS 74879 HAS SOUS 56574 HAS SOUPS 56574 WITH SCORE 56648.879
AT ITER 6187 NEW BEST:: SOT 255556 SOS 74857 HAS SOPS 74857 HAS SOUS 56552 HAS SOUPS 56552 WITH SCORE 56626.857
AT ITER 6194 NEW BEST:: SOT 255556 SOS 74857 HAS SOPS 74857 HAS SOUS 56550 HAS SOUPS 56550 WITH SCORE 56624.857
AT ITER 6245 NEW BEST:: SOT 255556 SOS 74857 HAS SOPS 74857 HAS SOUS 56533 HAS SOUPS 56533 WITH SCORE 56607.857
AT ITER 6295 NEW BEST:: SOT 255542 SOS 74829 HAS SOPS 74829 HAS SOUS 56505 HAS SOUPS 56505 WITH SCORE 56579.829
AT ITER 6317 NEW BEST:: SOT 255586 SOS 74869 HAS SOPS 74869 HAS SOUS 56497 HAS SOUPS 56497 WITH SCORE 56571.869
AT ITER 6326 NEW BEST:: SOT 255243 SOS 74341 HAS SOPS 74341 HAS SOUS 56137 HAS SOUPS 56137 WITH SCORE 56211.341
AT ITER 6332 NEW BEST:: SOT 255230 SOS 74315 HAS SOPS 74315 HAS SOUS 56111 HAS SOUPS 56111 WITH SCORE 56185.315
AT ITER 6342 NEW BEST:: SOT 255234 SOS 74307 HAS SOPS 74307 HAS SOUS 56091 HAS SOUPS 56091 WITH SCORE 56165.307
AT ITER 6383 NEW BEST:: SOT 255166 SOS 74177 HAS SOPS 74177 HAS SOUS 56065 HAS SOUPS 56065 WITH SCORE 56139.177
AT ITER 6399 NEW BEST:: SOT 255140 SOS 74151 HAS SOPS 74151 HAS SOUS 56039 HAS SOUPS 56039 WITH SCORE 56113.151
AT ITER 6408 NEW BEST:: SOT 255136 SOS 74155 HAS SOPS 74155 HAS SOUS 56033 HAS SOUPS 56033 WITH SCORE 56107.155
AT ITER 6421 NEW BEST:: SOT 255105 SOS 74054 HAS SOPS 74054 HAS SOUS 55971 HAS SOUPS 55971 WITH SCORE 56045.054
AT ITER 6480 NEW BEST:: SOT 255109 SOS 74032 HAS SOPS 74032 HAS SOUS 55949 HAS SOUPS 55949 WITH SCORE 56023.032
AT ITER 6497 NEW BEST:: SOT 255106 SOS 74281 HAS SOPS 74281 HAS SOUS 55946 HAS SOUPS 55946 WITH SCORE 56020.281
AT ITER 6506 NEW BEST:: SOT 255100 SOS 74275 HAS SOPS 74275 HAS SOUS 55940 HAS SOUPS 55940 WITH SCORE 56014.275
AT ITER 6520 NEW BEST:: SOT 255097 SOS 74273 HAS SOPS 74273 HAS SOUS 55938 HAS SOUPS 55938 WITH SCORE 56012.273
AT ITER 6527 NEW BEST:: SOT 255096 SOS 74254 HAS SOPS 74254 HAS SOUS 55919 HAS SOUPS 55919 WITH SCORE 55993.254
AT ITER 6529 NEW BEST:: SOT 255092 SOS 74250 HAS SOPS 74250 HAS SOUS 55915 HAS SOUPS 55915 WITH SCORE 55989.25
AT ITER 6537 NEW BEST:: SOT 255222 SOS 74152 HAS SOPS 74152 HAS SOUS 55817 HAS SOUPS 55817 WITH SCORE 55891.152
AT ITER 6582 NEW BEST:: SOT 255199 SOS 74115 HAS SOPS 74115 HAS SOUS 55780 HAS SOUPS 55780 WITH SCORE 55854.115
AT ITER 6587 NEW BEST:: SOT 255134 SOS 73896 HAS SOPS 73896 HAS SOUS 55651 HAS SOUPS 55651 WITH SCORE 55724.896
AT ITER 6603 NEW BEST:: SOT 255133 SOS 73895 HAS SOPS 73895 HAS SOUS 55650 HAS SOUPS 55650 WITH SCORE 55723.895
AT ITER 6607 NEW BEST:: SOT 255067 SOS 73835 HAS SOPS 73835 HAS SOUS 55590 HAS SOUPS 55590 WITH SCORE 55663.835
AT ITER 6670 NEW BEST:: SOT 255171 SOS 73937 HAS SOPS 73937 HAS SOUS 55586 HAS SOUPS 55586 WITH SCORE 55659.937
AT ITER 6699 NEW BEST:: SOT 255183 SOS 73936 HAS SOPS 73936 HAS SOUS 55585 HAS SOUPS 55585 WITH SCORE 55658.936
AT ITER 6773 NEW BEST:: SOT 255194 SOS 73943 HAS SOPS 73943 HAS SOUS 55581 HAS SOUPS 55581 WITH SCORE 55654.943
AT ITER 6777 NEW BEST:: SOT 255163 SOS 73881 HAS SOPS 73881 HAS SOUS 55519 HAS SOUPS 55519 WITH SCORE 55592.881
AT ITER 6823 NEW BEST:: SOT 255073 SOS 73791 HAS SOPS 73791 HAS SOUS 55474 HAS SOUPS 55474 WITH SCORE 55547.791
AT ITER 6846 NEW BEST:: SOT 255087 SOS 73755 HAS SOPS 73755 HAS SOUS 55469 HAS SOUPS 55469 WITH SCORE 55542.755
AT ITER 6925 NEW BEST:: SOT 255109 SOS 73749 HAS SOPS 73749 HAS SOUS 55463 HAS SOUPS 55463 WITH SCORE 55536.749
AT ITER 6970 NEW BEST:: SOT 255108 SOS 73725 HAS SOPS 73725 HAS SOUS 55439 HAS SOUPS 55439 WITH SCORE 55512.725
AT ITER 6997 NEW BEST:: SOT 255098 SOS 73718 HAS SOPS 73718 HAS SOUS 55432 HAS SOUPS 55432 WITH SCORE 55505.718
AT ITER 7049 NEW BEST:: SOT 255078 SOS 73699 HAS SOPS 73699 HAS SOUS 55432 HAS SOUPS 55432 WITH SCORE 55505.699
AT ITER 7082 NEW BEST:: SOT 255083 SOS 73691 HAS SOPS 73691 HAS SOUS 55426 HAS SOUPS 55426 WITH SCORE 55499.691
AT ITER 7086 NEW BEST:: SOT 255084 SOS 73677 HAS SOPS 73677 HAS SOUS 55412 HAS SOUPS 55412 WITH SCORE 55485.677
AT ITER 7093 NEW BEST:: SOT 255084 SOS 73677 HAS SOPS 73677 HAS SOUS 55399 HAS SOUPS 55399 WITH SCORE 55472.677
AT ITER 7107 NEW BEST:: SOT 255047 SOS 73603 HAS SOPS 73603 HAS SOUS 55325 HAS SOUPS 55325 WITH SCORE 55398.603
AT ITER 7130 NEW BEST:: SOT 255009 SOS 73543 HAS SOPS 73543 HAS SOUS 55261 HAS SOUPS 55261 WITH SCORE 55334.543
AT ITER 7132 NEW BEST:: SOT 255049 SOS 73584 HAS SOPS 73584 HAS SOUS 55237 HAS SOUPS 55237 WITH SCORE 55310.584
AT ITER 7200 NEW BEST:: SOT 255048 SOS 73583 HAS SOPS 73583 HAS SOUS 55236 HAS SOUPS 55236 WITH SCORE 55309.583
AT ITER 7219 NEW BEST:: SOT 255047 SOS 73582 HAS SOPS 73582 HAS SOUS 55236 HAS SOUPS 55236 WITH SCORE 55309.582
AT ITER 7234 NEW BEST:: SOT 255007 SOS 73542 HAS SOPS 73542 HAS SOUS 55196 HAS SOUPS 55196 WITH SCORE 55269.542
AT ITER 7256 NEW BEST:: SOT 254961 SOS 73496 HAS SOPS 73496 HAS SOUS 55161 HAS SOUPS 55161 WITH SCORE 55234.496
AT ITER 7291 NEW BEST:: SOT 254922 SOS 73418 HAS SOPS 73418 HAS SOUS 55083 HAS SOUPS 55083 WITH SCORE 55156.418
AT ITER 7319 NEW BEST:: SOT 254878 SOS 73374 HAS SOPS 73374 HAS SOUS 55039 HAS SOUPS 55039 WITH SCORE 55112.374
AT ITER 7336 NEW BEST:: SOT 254879 SOS 73344 HAS SOPS 73344 HAS SOUS 55009 HAS SOUPS 55009 WITH SCORE 55082.344
AT ITER 7345 NEW BEST:: SOT 254879 SOS 73341 HAS SOPS 73341 HAS SOUS 55006 HAS SOUPS 55006 WITH SCORE 55079.341
AT ITER 7372 NEW BEST:: SOT 254884 SOS 73326 HAS SOPS 73326 HAS SOUS 54991 HAS SOUPS 54991 WITH SCORE 55064.326
AT ITER 7420 NEW BEST:: SOT 254899 SOS 73299 HAS SOPS 73299 HAS SOUS 54964 HAS SOUPS 54964 WITH SCORE 55037.299
AT ITER 7435 NEW BEST:: SOT 254869 SOS 73253 HAS SOPS 73253 HAS SOUS 54934 HAS SOUPS 54934 WITH SCORE 55007.253
AT ITER 7466 NEW BEST:: SOT 254826 SOS 73207 HAS SOPS 73207 HAS SOUS 54888 HAS SOUPS 54888 WITH SCORE 54961.207
AT ITER 7507 NEW BEST:: SOT 254804 SOS 73174 HAS SOPS 73174 HAS SOUS 54866 HAS SOUPS 54866 WITH SCORE 54939.174
AT ITER 7514 NEW BEST:: SOT 254788 SOS 73150 HAS SOPS 73150 HAS SOUS 54842 HAS SOUPS 54842 WITH SCORE 54915.15
AT ITER 7563 NEW BEST:: SOT 254788 SOS 73114 HAS SOPS 73114 HAS SOUS 54806 HAS SOUPS 54806 WITH SCORE 54879.114
AT ITER 7574 NEW BEST:: SOT 254714 SOS 73044 HAS SOPS 73044 HAS SOUS 54764 HAS SOUPS 54764 WITH SCORE 54837.044
AT ITER 7575 NEW BEST:: SOT 254705 SOS 73033 HAS SOPS 73033 HAS SOUS 54753 HAS SOUPS 54753 WITH SCORE 54826.033
AT ITER 7578 NEW BEST:: SOT 254705 SOS 72871 HAS SOPS 72871 HAS SOUS 54753 HAS SOUPS 54753 WITH SCORE 54825.871
AT ITER 7604 NEW BEST:: SOT 254705 SOS 72850 HAS SOPS 72850 HAS SOUS 54742 HAS SOUPS 54742 WITH SCORE 54814.85
AT ITER 7608 NEW BEST:: SOT 254705 SOS 72828 HAS SOPS 72828 HAS SOUS 54720 HAS SOUPS 54720 WITH SCORE 54792.828
AT ITER 7627 NEW BEST:: SOT 254565 SOS 72548 HAS SOPS 72548 HAS SOUS 54580 HAS SOUPS 54580 WITH SCORE 54652.548
AT ITER 7661 NEW BEST:: SOT 254559 SOS 72542 HAS SOPS 72542 HAS SOUS 54574 HAS SOUPS 54574 WITH SCORE 54646.542
AT ITER 7695 NEW BEST:: SOT 254545 SOS 72527 HAS SOPS 72527 HAS SOUS 54572 HAS SOUPS 54572 WITH SCORE 54644.527
AT ITER 7718 NEW BEST:: SOT 254614 SOS 72665 HAS SOPS 72665 HAS SOUS 54548 HAS SOUPS 54548 WITH SCORE 54620.665
AT ITER 7730 NEW BEST:: SOT 254614 SOS 72664 HAS SOPS 72664 HAS SOUS 54545 HAS SOUPS 54545 WITH SCORE 54617.664
AT ITER 7770 NEW BEST:: SOT 254613 SOS 72662 HAS SOPS 72662 HAS SOUS 54543 HAS SOUPS 54543 WITH SCORE 54615.662
AT ITER 7807 NEW BEST:: SOT 254585 SOS 72625 HAS SOPS 72625 HAS SOUS 54534 HAS SOUPS 54534 WITH SCORE 54606.625
AT ITER 7830 NEW BEST:: SOT 254570 SOS 72595 HAS SOPS 72595 HAS SOUS 54504 HAS SOUPS 54504 WITH SCORE 54576.595
AT ITER 7857 NEW BEST:: SOT 254601 SOS 72569 HAS SOPS 72569 HAS SOUS 54478 HAS SOUPS 54478 WITH SCORE 54550.569
AT ITER 7860 NEW BEST:: SOT 254600 SOS 72568 HAS SOPS 72568 HAS SOUS 54477 HAS SOUPS 54477 WITH SCORE 54549.568
AT ITER 7888 NEW BEST:: SOT 254627 SOS 72584 HAS SOPS 72584 HAS SOUS 54451 HAS SOUPS 54451 WITH SCORE 54523.584
AT ITER 7894 NEW BEST:: SOT 254670 SOS 72580 HAS SOPS 72580 HAS SOUS 54447 HAS SOUPS 54447 WITH SCORE 54519.58
AT ITER 7936 NEW BEST:: SOT 254661 SOS 72562 HAS SOPS 72562 HAS SOUS 54438 HAS SOUPS 54438 WITH SCORE 54510.562
AT ITER 7948 NEW BEST:: SOT 254663 SOS 72544 HAS SOPS 72544 HAS SOUS 54430 HAS SOUPS 54430 WITH SCORE 54502.544
AT ITER 7972 NEW BEST:: SOT 254616 SOS 72468 HAS SOPS 72468 HAS SOUS 54354 HAS SOUPS 54354 WITH SCORE 54426.468
AT ITER 7978 NEW BEST:: SOT 254608 SOS 72466 HAS SOPS 72466 HAS SOUS 54338 HAS SOUPS 54338 WITH SCORE 54410.466
AT ITER 8018 NEW BEST:: SOT 254291 SOS 72340 HAS SOPS 72340 HAS SOUS 54127 HAS SOUPS 54127 WITH SCORE 54199.34
AT ITER 8020 NEW BEST:: SOT 254229 SOS 72278 HAS SOPS 72278 HAS SOUS 54127 HAS SOUPS 54127 WITH SCORE 54199.278
AT ITER 8041 NEW BEST:: SOT 254229 SOS 72274 HAS SOPS 72274 HAS SOUS 54123 HAS SOUPS 54123 WITH SCORE 54195.274
AT ITER 8045 NEW BEST:: SOT 254216 SOS 72265 HAS SOPS 72265 HAS SOUS 54114 HAS SOUPS 54114 WITH SCORE 54186.265
AT ITER 8075 NEW BEST:: SOT 254165 SOS 72163 HAS SOPS 72163 HAS SOUS 54063 HAS SOUPS 54063 WITH SCORE 54135.163
AT ITER 8095 NEW BEST:: SOT 254160 SOS 72153 HAS SOPS 72153 HAS SOUS 54053 HAS SOUPS 54053 WITH SCORE 54125.153
AT ITER 8135 NEW BEST:: SOT 254158 SOS 72053 HAS SOPS 72053 HAS SOUS 53955 HAS SOUPS 53955 WITH SCORE 54027.053
AT ITER 8186 NEW BEST:: SOT 254158 SOS 72053 HAS SOPS 72053 HAS SOUS 53952 HAS SOUPS 53952 WITH SCORE 54024.053
AT ITER 8217 NEW BEST:: SOT 254138 SOS 72013 HAS SOPS 72013 HAS SOUS 53912 HAS SOUPS 53912 WITH SCORE 53984.013
AT ITER 8248 NEW BEST:: SOT 254103 SOS 71943 HAS SOPS 71943 HAS SOUS 53849 HAS SOUPS 53849 WITH SCORE 53920.943
AT ITER 8301 NEW BEST:: SOT 254077 SOS 71891 HAS SOPS 71891 HAS SOUS 53797 HAS SOUPS 53797 WITH SCORE 53868.891
AT ITER 8314 NEW BEST:: SOT 254044 SOS 71885 HAS SOPS 71885 HAS SOUS 53764 HAS SOUPS 53764 WITH SCORE 53835.885
AT ITER 8326 NEW BEST:: SOT 254037 SOS 71878 HAS SOPS 71878 HAS SOUS 53760 HAS SOUPS 53760 WITH SCORE 53831.878
AT ITER 8329 NEW BEST:: SOT 254045 SOS 71874 HAS SOPS 71874 HAS SOUS 53736 HAS SOUPS 53736 WITH SCORE 53807.874
AT ITER 8361 NEW BEST:: SOT 254044 SOS 71873 HAS SOPS 71873 HAS SOUS 53735 HAS SOUPS 53735 WITH SCORE 53806.873
AT ITER 8369 NEW BEST:: SOT 254016 SOS 71817 HAS SOPS 71817 HAS SOUS 53714 HAS SOUPS 53714 WITH SCORE 53785.817
AT ITER 8375 NEW BEST:: SOT 253991 SOS 71812 HAS SOPS 71812 HAS SOUS 53709 HAS SOUPS 53709 WITH SCORE 53780.812
AT ITER 8382 NEW BEST:: SOT 254004 SOS 71784 HAS SOPS 71784 HAS SOUS 53695 HAS SOUPS 53695 WITH SCORE 53766.784
AT ITER 8399 NEW BEST:: SOT 253997 SOS 71770 HAS SOPS 71770 HAS SOUS 53695 HAS SOUPS 53695 WITH SCORE 53766.77
AT ITER 8400 NEW BEST:: SOT 253964 SOS 71589 HAS SOPS 71589 HAS SOUS 53643 HAS SOUPS 53643 WITH SCORE 53714.589
AT ITER 8413 NEW BEST:: SOT 253921 SOS 71566 HAS SOPS 71566 HAS SOUS 53620 HAS SOUPS 53620 WITH SCORE 53691.566
AT ITER 8417 NEW BEST:: SOT 253906 SOS 71568 HAS SOPS 71568 HAS SOUS 53611 HAS SOUPS 53611 WITH SCORE 53682.568
AT ITER 8435 NEW BEST:: SOT 253900 SOS 71706 HAS SOPS 71706 HAS SOUS 53607 HAS SOUPS 53607 WITH SCORE 53678.706
AT ITER 8440 NEW BEST:: SOT 253898 SOS 71702 HAS SOPS 71702 HAS SOUS 53603 HAS SOUPS 53603 WITH SCORE 53674.702
AT ITER 8449 NEW BEST:: SOT 253898 SOS 71696 HAS SOPS 71696 HAS SOUS 53555 HAS SOUPS 53555 WITH SCORE 53626.696
AT ITER 8458 NEW BEST:: SOT 253904 SOS 71695 HAS SOPS 71695 HAS SOUS 53554 HAS SOUPS 53554 WITH SCORE 53625.695
AT ITER 8463 NEW BEST:: SOT 253904 SOS 71678 HAS SOPS 71678 HAS SOUS 53537 HAS SOUPS 53537 WITH SCORE 53608.678
AT ITER 8493 NEW BEST:: SOT 253859 SOS 71588 HAS SOPS 71588 HAS SOUS 53492 HAS SOUPS 53492 WITH SCORE 53563.588
AT ITER 8496 NEW BEST:: SOT 253854 SOS 71578 HAS SOPS 71578 HAS SOUS 53481 HAS SOUPS 53481 WITH SCORE 53552.578
AT ITER 8551 NEW BEST:: SOT 253754 SOS 71407 HAS SOPS 71407 HAS SOUS 53311 HAS SOUPS 53311 WITH SCORE 53382.407
AT ITER 8580 NEW BEST:: SOT 253754 SOS 71424 HAS SOPS 71424 HAS SOUS 53309 HAS SOUPS 53309 WITH SCORE 53380.424
AT ITER 8590 NEW BEST:: SOT 253754 SOS 71403 HAS SOPS 71403 HAS SOUS 53288 HAS SOUPS 53288 WITH SCORE 53359.403
AT ITER 8592 NEW BEST:: SOT 253818 SOS 71467 HAS SOPS 71467 HAS SOUS 53244 HAS SOUPS 53244 WITH SCORE 53315.467
AT ITER 8594 NEW BEST:: SOT 253818 SOS 71467 HAS SOPS 71467 HAS SOUS 53238 HAS SOUPS 53238 WITH SCORE 53309.467
AT ITER 8615 NEW BEST:: SOT 253784 SOS 71431 HAS SOPS 71431 HAS SOUS 53202 HAS SOUPS 53202 WITH SCORE 53273.431
AT ITER 8616 NEW BEST:: SOT 253768 SOS 71399 HAS SOPS 71399 HAS SOUS 53170 HAS SOUPS 53170 WITH SCORE 53241.399
AT ITER 8723 NEW BEST:: SOT 253765 SOS 71394 HAS SOPS 71394 HAS SOUS 53167 HAS SOUPS 53167 WITH SCORE 53238.394
AT ITER 8759 NEW BEST:: SOT 253765 SOS 71402 HAS SOPS 71402 HAS SOUS 53146 HAS SOUPS 53146 WITH SCORE 53217.402
AT ITER 8760 NEW BEST:: SOT 253706 SOS 71284 HAS SOPS 71284 HAS SOUS 53028 HAS SOUPS 53028 WITH SCORE 53099.284
AT ITER 8765 NEW BEST:: SOT 253690 SOS 71264 HAS SOPS 71264 HAS SOUS 53008 HAS SOUPS 53008 WITH SCORE 53079.264
AT ITER 8771 NEW BEST:: SOT 253684 SOS 71252 HAS SOPS 71252 HAS SOUS 52996 HAS SOUPS 52996 WITH SCORE 53067.252
AT ITER 8777 NEW BEST:: SOT 252786 SOS 70452 HAS SOPS 70452 HAS SOUS 52178 HAS SOUPS 52178 WITH SCORE 52248.452
AT ITER 8862 NEW BEST:: SOT 252769 SOS 70364 HAS SOPS 70364 HAS SOUS 52107 HAS SOUPS 52107 WITH SCORE 52177.364
AT ITER 8892 NEW BEST:: SOT 252747 SOS 70331 HAS SOPS 70331 HAS SOUS 52074 HAS SOUPS 52074 WITH SCORE 52144.331
AT ITER 8905 NEW BEST:: SOT 252747 SOS 70246 HAS SOPS 70246 HAS SOUS 52069 HAS SOUPS 52069 WITH SCORE 52139.246
AT ITER 8912 NEW BEST:: SOT 252745 SOS 70244 HAS SOPS 70244 HAS SOUS 52067 HAS SOUPS 52067 WITH SCORE 52137.244
AT ITER 8936 NEW BEST:: SOT 252733 SOS 70220 HAS SOPS 70220 HAS SOUS 52043 HAS SOUPS 52043 WITH SCORE 52113.22
AT ITER 8943 NEW BEST:: SOT 252733 SOS 70212 HAS SOPS 70212 HAS SOUS 52021 HAS SOUPS 52021 WITH SCORE 52091.212
AT ITER 8958 NEW BEST:: SOT 252712 SOS 70211 HAS SOPS 70211 HAS SOUS 52020 HAS SOUPS 52020 WITH SCORE 52090.211
AT ITER 9027 NEW BEST:: SOT 252639 SOS 70191 HAS SOPS 70191 HAS SOUS 51947 HAS SOUPS 51947 WITH SCORE 52017.191
AT ITER 9040 NEW BEST:: SOT 252628 SOS 70180 HAS SOPS 70180 HAS SOUS 51936 HAS SOUPS 51936 WITH SCORE 52006.18
AT ITER 9045 NEW BEST:: SOT 252619 SOS 70162 HAS SOPS 70162 HAS SOUS 51918 HAS SOUPS 51918 WITH SCORE 51988.162
AT ITER 9087 NEW BEST:: SOT 252612 SOS 70148 HAS SOPS 70148 HAS SOUS 51904 HAS SOUPS 51904 WITH SCORE 51974.148
AT ITER 9094 NEW BEST:: SOT 252635 SOS 70134 HAS SOPS 70134 HAS SOUS 51890 HAS SOUPS 51890 WITH SCORE 51960.134
AT ITER 9159 NEW BEST:: SOT 252622 SOS 70108 HAS SOPS 70108 HAS SOUS 51863 HAS SOUPS 51863 WITH SCORE 51933.108
AT ITER 9164 NEW BEST:: SOT 252604 SOS 70072 HAS SOPS 70072 HAS SOUS 51827 HAS SOUPS 51827 WITH SCORE 51897.072
AT ITER 9173 NEW BEST:: SOT 252525 SOS 69914 HAS SOPS 69914 HAS SOUS 51813 HAS SOUPS 51813 WITH SCORE 51882.914
AT ITER 9175 NEW BEST:: SOT 252441 SOS 69803 HAS SOPS 69803 HAS SOUS 51759 HAS SOUPS 51759 WITH SCORE 51828.803
AT ITER 9227 NEW BEST:: SOT 252395 SOS 69757 HAS SOPS 69757 HAS SOUS 51758 HAS SOUPS 51758 WITH SCORE 51827.757
AT ITER 9230 NEW BEST:: SOT 252334 SOS 69749 HAS SOPS 69749 HAS SOUS 51750 HAS SOUPS 51750 WITH SCORE 51819.749
AT ITER 9239 NEW BEST:: SOT 252318 SOS 69733 HAS SOPS 69733 HAS SOUS 51734 HAS SOUPS 51734 WITH SCORE 51803.733
AT ITER 9280 NEW BEST:: SOT 252322 SOS 69689 HAS SOPS 69689 HAS SOUS 51690 HAS SOUPS 51690 WITH SCORE 51759.689
AT ITER 9293 NEW BEST:: SOT 252346 SOS 69687 HAS SOPS 69687 HAS SOUS 51688 HAS SOUPS 51688 WITH SCORE 51757.687
AT ITER 9294 NEW BEST:: SOT 252325 SOS 69665 HAS SOPS 69665 HAS SOUS 51628 HAS SOUPS 51628 WITH SCORE 51697.665
AT ITER 9297 NEW BEST:: SOT 252233 SOS 69532 HAS SOPS 69532 HAS SOUS 51546 HAS SOUPS 51546 WITH SCORE 51615.532
AT ITER 9328 NEW BEST:: SOT 252231 SOS 69528 HAS SOPS 69528 HAS SOUS 51542 HAS SOUPS 51542 WITH SCORE 51611.528
AT ITER 9331 NEW BEST:: SOT 252214 SOS 69508 HAS SOPS 69508 HAS SOUS 51537 HAS SOUPS 51537 WITH SCORE 51606.508
AT ITER 9337 NEW BEST:: SOT 252184 SOS 69507 HAS SOPS 69507 HAS SOUS 51536 HAS SOUPS 51536 WITH SCORE 51605.507
AT ITER 9361 NEW BEST:: SOT 252184 SOS 69504 HAS SOPS 69504 HAS SOUS 51530 HAS SOUPS 51530 WITH SCORE 51599.504
AT ITER 9369 NEW BEST:: SOT 252165 SOS 69693 HAS SOPS 69693 HAS SOUS 51511 HAS SOUPS 51511 WITH SCORE 51580.693
AT ITER 9401 NEW BEST:: SOT 252053 SOS 69596 HAS SOPS 69596 HAS SOUS 51414 HAS SOUPS 51414 WITH SCORE 51483.596
AT ITER 9418 NEW BEST:: SOT 252043 SOS 69586 HAS SOPS 69586 HAS SOUS 51404 HAS SOUPS 51404 WITH SCORE 51473.586
AT ITER 9446 NEW BEST:: SOT 252043 SOS 69584 HAS SOPS 69584 HAS SOUS 51402 HAS SOUPS 51402 WITH SCORE 51471.584
AT ITER 9450 NEW BEST:: SOT 252041 SOS 69580 HAS SOPS 69580 HAS SOUS 51398 HAS SOUPS 51398 WITH SCORE 51467.58
AT ITER 9494 NEW BEST:: SOT 252070 SOS 69638 HAS SOPS 69638 HAS SOUS 51397 HAS SOUPS 51397 WITH SCORE 51466.638
AT ITER 9510 NEW BEST:: SOT 252034 SOS 69615 HAS SOPS 69615 HAS SOUS 51374 HAS SOUPS 51374 WITH SCORE 51443.615
AT ITER 9520 NEW BEST:: SOT 252019 SOS 69599 HAS SOPS 69599 HAS SOUS 51372 HAS SOUPS 51372 WITH SCORE 51441.599
AT ITER 9528 NEW BEST:: SOT 252006 SOS 69573 HAS SOPS 69573 HAS SOUS 51320 HAS SOUPS 51320 WITH SCORE 51389.573
AT ITER 9544 NEW BEST:: SOT 252005 SOS 69571 HAS SOPS 69571 HAS SOUS 51318 HAS SOUPS 51318 WITH SCORE 51387.571
AT ITER 9609 NEW BEST:: SOT 251976 SOS 69513 HAS SOPS 69513 HAS SOUS 51306 HAS SOUPS 51306 WITH SCORE 51375.513
AT ITER 9672 NEW BEST:: SOT 251916 SOS 69431 HAS SOPS 69431 HAS SOUS 51262 HAS SOUPS 51262 WITH SCORE 51331.431
AT ITER 9680 NEW BEST:: SOT 251889 SOS 69404 HAS SOPS 69404 HAS SOUS 51235 HAS SOUPS 51235 WITH SCORE 51304.404
AT ITER 9743 NEW BEST:: SOT 251889 SOS 69339 HAS SOPS 69339 HAS SOUS 51170 HAS SOUPS 51170 WITH SCORE 51239.339
AT ITER 9754 NEW BEST:: SOT 251884 SOS 69329 HAS SOPS 69329 HAS SOUS 51160 HAS SOUPS 51160 WITH SCORE 51229.329
AT ITER 9755 NEW BEST:: SOT 251882 SOS 69327 HAS SOPS 69327 HAS SOUS 51160 HAS SOUPS 51160 WITH SCORE 51229.327
AT ITER 9760 NEW BEST:: SOT 251882 SOS 69323 HAS SOPS 69323 HAS SOUS 51156 HAS SOUPS 51156 WITH SCORE 51225.323
AT ITER 9804 NEW BEST:: SOT 251873 SOS 69314 HAS SOPS 69314 HAS SOUS 51147 HAS SOUPS 51147 WITH SCORE 51216.314
AT ITER 9807 NEW BEST:: SOT 251869 SOS 69308 HAS SOPS 69308 HAS SOUS 51143 HAS SOUPS 51143 WITH SCORE 51212.308
AT ITER 9816 NEW BEST:: SOT 251851 SOS 69305 HAS SOPS 69305 HAS SOUS 51140 HAS SOUPS 51140 WITH SCORE 51209.305
AT ITER 9820 NEW BEST:: SOT 251830 SOS 69284 HAS SOPS 69284 HAS SOUS 51119 HAS SOUPS 51119 WITH SCORE 51188.284
AT ITER 9821 NEW BEST:: SOT 251799 SOS 69243 HAS SOPS 69243 HAS SOUS 51078 HAS SOUPS 51078 WITH SCORE 51147.243
AT ITER 9868 NEW BEST:: SOT 251743 SOS 69131 HAS SOPS 69131 HAS SOUS 51003 HAS SOUPS 51003 WITH SCORE 51072.131
AT ITER 9907 NEW BEST:: SOT 251728 SOS 69101 HAS SOPS 69101 HAS SOUS 50973 HAS SOUPS 50973 WITH SCORE 51042.101
AT ITER 9914 NEW BEST:: SOT 251709 SOS 69085 HAS SOPS 69085 HAS SOUS 50969 HAS SOUPS 50969 WITH SCORE 51038.085
AT ITER 9944 NEW BEST:: SOT 251661 SOS 69037 HAS SOPS 69037 HAS SOUS 50921 HAS SOUPS 50921 WITH SCORE 50990.037
AT ITER 9962 NEW BEST:: SOT 251652 SOS 69028 HAS SOPS 69028 HAS SOUS 50912 HAS SOUPS 50912 WITH SCORE 50981.028
AT ITER 9966 NEW BEST:: SOT 251646 SOS 68963 HAS SOPS 68963 HAS SOUS 50889 HAS SOUPS 50889 WITH SCORE 50957.963
AT ITER 9986 NEW BEST:: SOT 251570 SOS 68878 HAS SOPS 68878 HAS SOUS 50804 HAS SOUPS 50804 WITH SCORE 50872.878
AT ITER 9992 NEW BEST:: SOT 251510 SOS 68814 HAS SOPS 68814 HAS SOUS 50740 HAS SOUPS 50740 WITH SCORE 50808.814

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="BusinessProcesses-PT-18"
export BK_EXAMINATION="StateSpace"
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 BusinessProcesses-PT-18, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r018-oct2-158897680200592"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-18.tgz
mv BusinessProcesses-PT-18 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;