Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r483-tall-167912695400216.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is Sudoku-PT-AN07, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912695400216
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 9.3M
-rw-r--r-- 1 mcc users 104K Feb 26 08:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 504K Feb 26 08:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 291K Feb 26 08:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.5M Feb 26 08:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 109K Feb 25 17:16 LTLCardinality.txt
-rw-r--r-- 1 mcc users 385K Feb 25 17:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 137K Feb 25 17:16 LTLFireability.txt
-rw-r--r-- 1 mcc users 507K Feb 25 17:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 380K Feb 26 09:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 2.0M Feb 26 09:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 577K Feb 26 08:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 2.8M Feb 26 08:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 17:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 204K Mar 5 18:23 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 1679153799645

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Sudoku-PT-AN07
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (PT), instance AN07
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 490 places, 343 transitions, 1372 arcs.
AT ITER 0 NEW BEST:: SOT 124888 SOS 64147 HAS SOPS 64147 HAS SOUS 64147 HAS SOUPS 64147 WITH SCORE 64211.147
AT ITER 17 NEW BEST:: SOT 124807 SOS 64066 HAS SOPS 64066 HAS SOUS 64066 HAS SOUPS 64066 WITH SCORE 64130.066
AT ITER 20 NEW BEST:: SOT 124472 SOS 64413 HAS SOPS 64413 HAS SOUS 63780 HAS SOUPS 63780 WITH SCORE 63844.413
AT ITER 27 NEW BEST:: SOT 124472 SOS 64383 HAS SOPS 64383 HAS SOUS 63780 HAS SOUPS 63780 WITH SCORE 63844.383
AT ITER 47 NEW BEST:: SOT 124472 SOS 64354 HAS SOPS 64354 HAS SOUS 63780 HAS SOUPS 63780 WITH SCORE 63844.354
AT ITER 65 NEW BEST:: SOT 124385 SOS 64289 HAS SOPS 64289 HAS SOUS 63700 HAS SOUPS 63700 WITH SCORE 63764.289
AT ITER 70 NEW BEST:: SOT 124332 SOS 64236 HAS SOPS 64236 HAS SOUS 63647 HAS SOUPS 63647 WITH SCORE 63711.236
AT ITER 73 NEW BEST:: SOT 124186 SOS 64158 HAS SOPS 64158 HAS SOUS 63521 HAS SOUPS 63521 WITH SCORE 63585.158
AT ITER 99 NEW BEST:: SOT 123973 SOS 63945 HAS SOPS 63945 HAS SOUS 63308 HAS SOUPS 63308 WITH SCORE 63371.945
AT ITER 114 NEW BEST:: SOT 123756 SOS 64205 HAS SOPS 64205 HAS SOUS 63127 HAS SOUPS 63127 WITH SCORE 63191.205
AT ITER 118 NEW BEST:: SOT 123714 SOS 64393 HAS SOPS 64393 HAS SOUS 63102 HAS SOUPS 63102 WITH SCORE 63166.393
AT ITER 127 NEW BEST:: SOT 123782 SOS 64395 HAS SOPS 64395 HAS SOUS 63074 HAS SOUPS 63074 WITH SCORE 63138.395
AT ITER 132 NEW BEST:: SOT 123818 SOS 64421 HAS SOPS 64421 HAS SOUS 63070 HAS SOUPS 63070 WITH SCORE 63134.421
AT ITER 141 NEW BEST:: SOT 123764 SOS 64395 HAS SOPS 64395 HAS SOUS 63068 HAS SOUPS 63068 WITH SCORE 63132.395
AT ITER 147 NEW BEST:: SOT 123588 SOS 64310 HAS SOPS 64310 HAS SOUS 62977 HAS SOUPS 62977 WITH SCORE 63041.31
AT ITER 152 NEW BEST:: SOT 123495 SOS 64263 HAS SOPS 64263 HAS SOUS 62898 HAS SOUPS 62898 WITH SCORE 62962.263
AT ITER 160 NEW BEST:: SOT 123441 SOS 64209 HAS SOPS 64209 HAS SOUS 62844 HAS SOUPS 62844 WITH SCORE 62908.209
AT ITER 184 NEW BEST:: SOT 123223 SOS 64219 HAS SOPS 64219 HAS SOUS 62764 HAS SOUPS 62764 WITH SCORE 62828.219
AT ITER 188 NEW BEST:: SOT 123223 SOS 64215 HAS SOPS 64215 HAS SOUS 62764 HAS SOUPS 62764 WITH SCORE 62828.215
AT ITER 189 NEW BEST:: SOT 123069 SOS 64111 HAS SOPS 64111 HAS SOUS 62660 HAS SOUPS 62660 WITH SCORE 62724.111
AT ITER 194 NEW BEST:: SOT 123069 SOS 64043 HAS SOPS 64043 HAS SOUS 62660 HAS SOUPS 62660 WITH SCORE 62724.043
AT ITER 196 NEW BEST:: SOT 123062 SOS 64223 HAS SOPS 64223 HAS SOUS 62658 HAS SOUPS 62658 WITH SCORE 62722.223
AT ITER 203 NEW BEST:: SOT 123062 SOS 64154 HAS SOPS 64154 HAS SOUS 62658 HAS SOUPS 62658 WITH SCORE 62722.154
AT ITER 210 NEW BEST:: SOT 123062 SOS 64101 HAS SOPS 64101 HAS SOUS 62658 HAS SOUPS 62658 WITH SCORE 62722.101
AT ITER 216 NEW BEST:: SOT 122850 SOS 64336 HAS SOPS 64336 HAS SOUS 62476 HAS SOUPS 62476 WITH SCORE 62540.336
AT ITER 220 NEW BEST:: SOT 122831 SOS 64325 HAS SOPS 64325 HAS SOUS 62465 HAS SOUPS 62465 WITH SCORE 62529.325
AT ITER 222 NEW BEST:: SOT 122914 SOS 64281 HAS SOPS 64281 HAS SOUS 62436 HAS SOUPS 62436 WITH SCORE 62500.281
AT ITER 224 NEW BEST:: SOT 122828 SOS 64446 HAS SOPS 64446 HAS SOUS 62403 HAS SOUPS 62403 WITH SCORE 62467.446
AT ITER 230 NEW BEST:: SOT 122828 SOS 64312 HAS SOPS 64312 HAS SOUS 62403 HAS SOUPS 62403 WITH SCORE 62467.312
AT ITER 252 NEW BEST:: SOT 122774 SOS 64434 HAS SOPS 64434 HAS SOUS 62389 HAS SOUPS 62389 WITH SCORE 62453.434
AT ITER 258 NEW BEST:: SOT 122662 SOS 64115 HAS SOPS 64115 HAS SOUS 62258 HAS SOUPS 62258 WITH SCORE 62322.115
AT ITER 262 NEW BEST:: SOT 122482 SOS 64097 HAS SOPS 64097 HAS SOUS 62129 HAS SOUPS 62129 WITH SCORE 62193.097
AT ITER 263 NEW BEST:: SOT 122305 SOS 63998 HAS SOPS 63998 HAS SOUS 62005 HAS SOUPS 62005 WITH SCORE 62068.998
AT ITER 270 NEW BEST:: SOT 122305 SOS 63996 HAS SOPS 63996 HAS SOUS 62005 HAS SOUPS 62005 WITH SCORE 62068.996
AT ITER 275 NEW BEST:: SOT 122015 SOS 63751 HAS SOPS 63751 HAS SOUS 61724 HAS SOUPS 61724 WITH SCORE 61787.751
AT ITER 277 NEW BEST:: SOT 122015 SOS 63717 HAS SOPS 63717 HAS SOUS 61684 HAS SOUPS 61684 WITH SCORE 61747.717
AT ITER 279 NEW BEST:: SOT 122052 SOS 63724 HAS SOPS 63724 HAS SOUS 61652 HAS SOUPS 61652 WITH SCORE 61715.724
AT ITER 281 NEW BEST:: SOT 121921 SOS 63658 HAS SOPS 63658 HAS SOUS 61562 HAS SOUPS 61562 WITH SCORE 61625.658
AT ITER 283 NEW BEST:: SOT 121876 SOS 63625 HAS SOPS 63625 HAS SOUS 61529 HAS SOUPS 61529 WITH SCORE 61592.625
AT ITER 292 NEW BEST:: SOT 121876 SOS 63620 HAS SOPS 63620 HAS SOUS 61529 HAS SOUPS 61529 WITH SCORE 61592.62
AT ITER 305 NEW BEST:: SOT 121688 SOS 63876 HAS SOPS 63876 HAS SOUS 61392 HAS SOUPS 61392 WITH SCORE 61455.876
AT ITER 319 NEW BEST:: SOT 121669 SOS 63886 HAS SOPS 63886 HAS SOUS 61373 HAS SOUPS 61373 WITH SCORE 61436.886
AT ITER 332 NEW BEST:: SOT 121669 SOS 63936 HAS SOPS 63936 HAS SOUS 61329 HAS SOUPS 61329 WITH SCORE 61392.936
AT ITER 333 NEW BEST:: SOT 121691 SOS 63850 HAS SOPS 63850 HAS SOUS 61228 HAS SOUPS 61228 WITH SCORE 61291.85
AT ITER 334 NEW BEST:: SOT 121435 SOS 64414 HAS SOPS 64414 HAS SOUS 61067 HAS SOUPS 61067 WITH SCORE 61131.414
AT ITER 342 NEW BEST:: SOT 121435 SOS 64336 HAS SOPS 64336 HAS SOUS 61067 HAS SOUPS 61067 WITH SCORE 61131.336
AT ITER 343 NEW BEST:: SOT 121388 SOS 64174 HAS SOPS 64174 HAS SOUS 60928 HAS SOUPS 60928 WITH SCORE 60992.174
AT ITER 352 NEW BEST:: SOT 121355 SOS 64173 HAS SOPS 64173 HAS SOUS 60924 HAS SOUPS 60924 WITH SCORE 60988.173
AT ITER 368 NEW BEST:: SOT 121340 SOS 64135 HAS SOPS 64135 HAS SOUS 60922 HAS SOUPS 60922 WITH SCORE 60986.135
AT ITER 373 NEW BEST:: SOT 121340 SOS 64028 HAS SOPS 64028 HAS SOUS 60922 HAS SOUPS 60922 WITH SCORE 60986.028
AT ITER 379 NEW BEST:: SOT 121250 SOS 63842 HAS SOPS 63842 HAS SOUS 60808 HAS SOUPS 60808 WITH SCORE 60871.842
AT ITER 389 NEW BEST:: SOT 121169 SOS 63841 HAS SOPS 63841 HAS SOUS 60807 HAS SOUPS 60807 WITH SCORE 60870.841
AT ITER 390 NEW BEST:: SOT 120923 SOS 64143 HAS SOPS 64143 HAS SOUS 60681 HAS SOUPS 60681 WITH SCORE 60745.143
AT ITER 401 NEW BEST:: SOT 120750 SOS 64988 HAS SOPS 64988 HAS SOUS 60661 HAS SOUPS 60661 WITH SCORE 60725.988
AT ITER 404 NEW BEST:: SOT 120601 SOS 64872 HAS SOPS 64872 HAS SOUS 60533 HAS SOUPS 60533 WITH SCORE 60597.872
AT ITER 406 NEW BEST:: SOT 120598 SOS 64869 HAS SOPS 64869 HAS SOUS 60533 HAS SOUPS 60533 WITH SCORE 60597.869
AT ITER 408 NEW BEST:: SOT 120598 SOS 64796 HAS SOPS 64796 HAS SOUS 60533 HAS SOUPS 60533 WITH SCORE 60597.796
AT ITER 413 NEW BEST:: SOT 120571 SOS 64851 HAS SOPS 64851 HAS SOUS 60497 HAS SOUPS 60497 WITH SCORE 60561.851
AT ITER 420 NEW BEST:: SOT 120365 SOS 65158 HAS SOPS 65158 HAS SOUS 60366 HAS SOUPS 60366 WITH SCORE 60431.158
AT ITER 431 NEW BEST:: SOT 120423 SOS 65372 HAS SOPS 65372 HAS SOUS 60364 HAS SOUPS 60364 WITH SCORE 60429.372
AT ITER 435 NEW BEST:: SOT 120423 SOS 65234 HAS SOPS 65234 HAS SOUS 60364 HAS SOUPS 60364 WITH SCORE 60429.234
AT ITER 436 NEW BEST:: SOT 120433 SOS 65239 HAS SOPS 65239 HAS SOUS 60338 HAS SOUPS 60338 WITH SCORE 60403.239
AT ITER 442 NEW BEST:: SOT 120364 SOS 65240 HAS SOPS 65240 HAS SOUS 60325 HAS SOUPS 60325 WITH SCORE 60390.24
AT ITER 448 NEW BEST:: SOT 120305 SOS 65205 HAS SOPS 65205 HAS SOUS 60290 HAS SOUPS 60290 WITH SCORE 60355.205
AT ITER 449 NEW BEST:: SOT 120053 SOS 65418 HAS SOPS 65418 HAS SOUS 60250 HAS SOUPS 60250 WITH SCORE 60315.418
AT ITER 451 NEW BEST:: SOT 120010 SOS 65536 HAS SOPS 65536 HAS SOUS 60207 HAS SOUPS 60207 WITH SCORE 60272.536
AT ITER 468 NEW BEST:: SOT 120010 SOS 65562 HAS SOPS 65562 HAS SOUS 60206 HAS SOUPS 60206 WITH SCORE 60271.562
AT ITER 470 NEW BEST:: SOT 119753 SOS 65787 HAS SOPS 65787 HAS SOUS 60107 HAS SOUPS 60107 WITH SCORE 60172.787
AT ITER 473 NEW BEST:: SOT 119780 SOS 65770 HAS SOPS 65770 HAS SOUS 60050 HAS SOUPS 60050 WITH SCORE 60115.77
AT ITER 477 NEW BEST:: SOT 119780 SOS 65650 HAS SOPS 65650 HAS SOUS 60050 HAS SOUPS 60050 WITH SCORE 60115.65
AT ITER 478 NEW BEST:: SOT 119780 SOS 65616 HAS SOPS 65616 HAS SOUS 60050 HAS SOUPS 60050 WITH SCORE 60115.616
AT ITER 485 NEW BEST:: SOT 119654 SOS 65730 HAS SOPS 65730 HAS SOUS 59968 HAS SOUPS 59968 WITH SCORE 60033.73
AT ITER 490 NEW BEST:: SOT 119570 SOS 65730 HAS SOPS 65730 HAS SOUS 59892 HAS SOUPS 59892 WITH SCORE 59957.73
AT ITER 507 NEW BEST:: SOT 119570 SOS 65709 HAS SOPS 65709 HAS SOUS 59885 HAS SOUPS 59885 WITH SCORE 59950.709
AT ITER 508 NEW BEST:: SOT 119570 SOS 65591 HAS SOPS 65591 HAS SOUS 59826 HAS SOUPS 59826 WITH SCORE 59891.591
AT ITER 511 NEW BEST:: SOT 119570 SOS 65481 HAS SOPS 65481 HAS SOUS 59826 HAS SOUPS 59826 WITH SCORE 59891.481
AT ITER 512 NEW BEST:: SOT 119570 SOS 65456 HAS SOPS 65456 HAS SOUS 59826 HAS SOUPS 59826 WITH SCORE 59891.456
AT ITER 514 NEW BEST:: SOT 119570 SOS 65427 HAS SOPS 65427 HAS SOUS 59826 HAS SOUPS 59826 WITH SCORE 59891.427
AT ITER 519 NEW BEST:: SOT 119570 SOS 65392 HAS SOPS 65392 HAS SOUS 59791 HAS SOUPS 59791 WITH SCORE 59856.392
AT ITER 521 NEW BEST:: SOT 119430 SOS 65324 HAS SOPS 65324 HAS SOUS 59747 HAS SOUPS 59747 WITH SCORE 59812.324
AT ITER 526 NEW BEST:: SOT 119401 SOS 65301 HAS SOPS 65301 HAS SOUS 59730 HAS SOUPS 59730 WITH SCORE 59795.301
AT ITER 532 NEW BEST:: SOT 119401 SOS 65293 HAS SOPS 65293 HAS SOUS 59730 HAS SOUPS 59730 WITH SCORE 59795.293
AT ITER 545 NEW BEST:: SOT 119401 SOS 65130 HAS SOPS 65130 HAS SOUS 59730 HAS SOUPS 59730 WITH SCORE 59795.13
AT ITER 552 NEW BEST:: SOT 119377 SOS 65122 HAS SOPS 65122 HAS SOUS 59722 HAS SOUPS 59722 WITH SCORE 59787.122
AT ITER 558 NEW BEST:: SOT 119377 SOS 65456 HAS SOPS 65456 HAS SOUS 59629 HAS SOUPS 59629 WITH SCORE 59694.456
AT ITER 560 NEW BEST:: SOT 119284 SOS 65374 HAS SOPS 65374 HAS SOUS 59605 HAS SOUPS 59605 WITH SCORE 59670.374
AT ITER 561 NEW BEST:: SOT 119284 SOS 65425 HAS SOPS 65425 HAS SOUS 59604 HAS SOUPS 59604 WITH SCORE 59669.425
AT ITER 579 NEW BEST:: SOT 118945 SOS 65964 HAS SOPS 65964 HAS SOUS 59562 HAS SOUPS 59562 WITH SCORE 59627.964
AT ITER 592 NEW BEST:: SOT 118945 SOS 65962 HAS SOPS 65962 HAS SOUS 59562 HAS SOUPS 59562 WITH SCORE 59627.962
AT ITER 593 NEW BEST:: SOT 118913 SOS 65953 HAS SOPS 65953 HAS SOUS 59530 HAS SOUPS 59530 WITH SCORE 59595.953
AT ITER 595 NEW BEST:: SOT 118913 SOS 65932 HAS SOPS 65932 HAS SOUS 59530 HAS SOUPS 59530 WITH SCORE 59595.932
AT ITER 598 NEW BEST:: SOT 118913 SOS 65930 HAS SOPS 65930 HAS SOUS 59529 HAS SOUPS 59529 WITH SCORE 59594.93
AT ITER 599 NEW BEST:: SOT 118913 SOS 65928 HAS SOPS 65928 HAS SOUS 59529 HAS SOUPS 59529 WITH SCORE 59594.928
AT ITER 623 NEW BEST:: SOT 118913 SOS 65917 HAS SOPS 65917 HAS SOUS 59529 HAS SOUPS 59529 WITH SCORE 59594.917
AT ITER 624 NEW BEST:: SOT 118876 SOS 65848 HAS SOPS 65848 HAS SOUS 59492 HAS SOUPS 59492 WITH SCORE 59557.848
AT ITER 626 NEW BEST:: SOT 118876 SOS 65512 HAS SOPS 65512 HAS SOUS 59492 HAS SOUPS 59492 WITH SCORE 59557.512
AT ITER 627 NEW BEST:: SOT 118796 SOS 65484 HAS SOPS 65484 HAS SOUS 59464 HAS SOUPS 59464 WITH SCORE 59529.484
AT ITER 628 NEW BEST:: SOT 118796 SOS 64888 HAS SOPS 64888 HAS SOUS 59451 HAS SOUPS 59451 WITH SCORE 59515.888
AT ITER 631 NEW BEST:: SOT 118832 SOS 64905 HAS SOPS 64905 HAS SOUS 59428 HAS SOUPS 59428 WITH SCORE 59492.905
AT ITER 641 NEW BEST:: SOT 118832 SOS 64848 HAS SOPS 64848 HAS SOUS 59417 HAS SOUPS 59417 WITH SCORE 59481.848
AT ITER 660 NEW BEST:: SOT 118832 SOS 64858 HAS SOPS 64858 HAS SOUS 59409 HAS SOUPS 59409 WITH SCORE 59473.858
AT ITER 675 NEW BEST:: SOT 118924 SOS 64871 HAS SOPS 64871 HAS SOUS 59350 HAS SOUPS 59350 WITH SCORE 59414.871
AT ITER 684 NEW BEST:: SOT 118893 SOS 65223 HAS SOPS 65223 HAS SOUS 59326 HAS SOUPS 59326 WITH SCORE 59391.223
AT ITER 686 NEW BEST:: SOT 118893 SOS 65222 HAS SOPS 65222 HAS SOUS 59326 HAS SOUPS 59326 WITH SCORE 59391.222
AT ITER 688 NEW BEST:: SOT 118893 SOS 65161 HAS SOPS 65161 HAS SOUS 59300 HAS SOUPS 59300 WITH SCORE 59365.161
AT ITER 689 NEW BEST:: SOT 118893 SOS 64910 HAS SOPS 64910 HAS SOUS 59286 HAS SOUPS 59286 WITH SCORE 59350.91
AT ITER 695 NEW BEST:: SOT 118740 SOS 65551 HAS SOPS 65551 HAS SOUS 59229 HAS SOUPS 59229 WITH SCORE 59294.551
AT ITER 708 NEW BEST:: SOT 118740 SOS 65509 HAS SOPS 65509 HAS SOUS 59210 HAS SOUPS 59210 WITH SCORE 59275.509
AT ITER 709 NEW BEST:: SOT 118578 SOS 65461 HAS SOPS 65461 HAS SOUS 59088 HAS SOUPS 59088 WITH SCORE 59153.461
AT ITER 710 NEW BEST:: SOT 118515 SOS 65395 HAS SOPS 65395 HAS SOUS 58971 HAS SOUPS 58971 WITH SCORE 59036.395
AT ITER 713 NEW BEST:: SOT 118341 SOS 65936 HAS SOPS 65936 HAS SOUS 58884 HAS SOUPS 58884 WITH SCORE 58949.936
AT ITER 717 NEW BEST:: SOT 118247 SOS 66008 HAS SOPS 66008 HAS SOUS 58790 HAS SOUPS 58790 WITH SCORE 58856.008
AT ITER 732 NEW BEST:: SOT 118247 SOS 65991 HAS SOPS 65991 HAS SOUS 58773 HAS SOUPS 58773 WITH SCORE 58838.991
AT ITER 734 NEW BEST:: SOT 118247 SOS 65989 HAS SOPS 65989 HAS SOUS 58773 HAS SOUPS 58773 WITH SCORE 58838.989
AT ITER 735 NEW BEST:: SOT 118190 SOS 66758 HAS SOPS 66758 HAS SOUS 58772 HAS SOUPS 58772 WITH SCORE 58838.758
AT ITER 736 NEW BEST:: SOT 118180 SOS 66635 HAS SOPS 66635 HAS SOUS 58766 HAS SOUPS 58766 WITH SCORE 58832.635
AT ITER 741 NEW BEST:: SOT 117997 SOS 67234 HAS SOPS 67234 HAS SOUS 58712 HAS SOUPS 58712 WITH SCORE 58779.234
AT ITER 749 NEW BEST:: SOT 117997 SOS 67168 HAS SOPS 67168 HAS SOUS 58712 HAS SOUPS 58712 WITH SCORE 58779.168
AT ITER 758 NEW BEST:: SOT 117827 SOS 67493 HAS SOPS 67493 HAS SOUS 58667 HAS SOUPS 58667 WITH SCORE 58734.493
AT ITER 766 NEW BEST:: SOT 117800 SOS 67475 HAS SOPS 67475 HAS SOUS 58652 HAS SOUPS 58652 WITH SCORE 58719.475
AT ITER 767 NEW BEST:: SOT 117788 SOS 67464 HAS SOPS 67464 HAS SOUS 58641 HAS SOUPS 58641 WITH SCORE 58708.464
AT ITER 778 NEW BEST:: SOT 117788 SOS 67368 HAS SOPS 67368 HAS SOUS 58641 HAS SOUPS 58641 WITH SCORE 58708.368
AT ITER 781 NEW BEST:: SOT 117743 SOS 67338 HAS SOPS 67338 HAS SOUS 58611 HAS SOUPS 58611 WITH SCORE 58678.338
AT ITER 784 NEW BEST:: SOT 117723 SOS 67323 HAS SOPS 67323 HAS SOUS 58596 HAS SOUPS 58596 WITH SCORE 58663.323
AT ITER 789 NEW BEST:: SOT 117756 SOS 67333 HAS SOPS 67333 HAS SOUS 58583 HAS SOUPS 58583 WITH SCORE 58650.333
AT ITER 793 NEW BEST:: SOT 117756 SOS 67312 HAS SOPS 67312 HAS SOUS 58583 HAS SOUPS 58583 WITH SCORE 58650.312
AT ITER 796 NEW BEST:: SOT 117756 SOS 67247 HAS SOPS 67247 HAS SOUS 58580 HAS SOUPS 58580 WITH SCORE 58647.247
AT ITER 800 NEW BEST:: SOT 117756 SOS 67206 HAS SOPS 67206 HAS SOUS 58539 HAS SOUPS 58539 WITH SCORE 58606.206
AT ITER 802 NEW BEST:: SOT 117761 SOS 67142 HAS SOPS 67142 HAS SOUS 58486 HAS SOUPS 58486 WITH SCORE 58553.142
AT ITER 808 NEW BEST:: SOT 117704 SOS 67085 HAS SOPS 67085 HAS SOUS 58432 HAS SOUPS 58432 WITH SCORE 58499.085
AT ITER 814 NEW BEST:: SOT 117647 SOS 67052 HAS SOPS 67052 HAS SOUS 58399 HAS SOUPS 58399 WITH SCORE 58466.052
AT ITER 825 NEW BEST:: SOT 117530 SOS 67030 HAS SOPS 67030 HAS SOUS 58377 HAS SOUPS 58377 WITH SCORE 58444.03
AT ITER 834 NEW BEST:: SOT 117473 SOS 66934 HAS SOPS 66934 HAS SOUS 58292 HAS SOUPS 58292 WITH SCORE 58358.934
AT ITER 837 NEW BEST:: SOT 117473 SOS 66926 HAS SOPS 66926 HAS SOUS 58292 HAS SOUPS 58292 WITH SCORE 58358.926
AT ITER 838 NEW BEST:: SOT 117441 SOS 66803 HAS SOPS 66803 HAS SOUS 58247 HAS SOUPS 58247 WITH SCORE 58313.803
AT ITER 850 NEW BEST:: SOT 117348 SOS 66778 HAS SOPS 66778 HAS SOUS 58202 HAS SOUPS 58202 WITH SCORE 58268.778
AT ITER 864 NEW BEST:: SOT 117348 SOS 66778 HAS SOPS 66778 HAS SOUS 58129 HAS SOUPS 58129 WITH SCORE 58195.778
AT ITER 868 NEW BEST:: SOT 117222 SOS 67355 HAS SOPS 67355 HAS SOUS 58041 HAS SOUPS 58041 WITH SCORE 58108.355
AT ITER 869 NEW BEST:: SOT 117229 SOS 67381 HAS SOPS 67381 HAS SOUS 58029 HAS SOUPS 58029 WITH SCORE 58096.381
AT ITER 884 NEW BEST:: SOT 116943 SOS 67421 HAS SOPS 67421 HAS SOUS 57956 HAS SOUPS 57956 WITH SCORE 58023.421
AT ITER 894 NEW BEST:: SOT 116780 SOS 67289 HAS SOPS 67289 HAS SOUS 57793 HAS SOUPS 57793 WITH SCORE 57860.289
AT ITER 896 NEW BEST:: SOT 116780 SOS 67319 HAS SOPS 67319 HAS SOUS 57779 HAS SOUPS 57779 WITH SCORE 57846.319
AT ITER 898 NEW BEST:: SOT 116587 SOS 67159 HAS SOPS 67159 HAS SOUS 57619 HAS SOUPS 57619 WITH SCORE 57686.159
AT ITER 900 NEW BEST:: SOT 116587 SOS 66777 HAS SOPS 66777 HAS SOUS 57615 HAS SOUPS 57615 WITH SCORE 57681.777
AT ITER 906 NEW BEST:: SOT 116550 SOS 66740 HAS SOPS 66740 HAS SOUS 57562 HAS SOUPS 57562 WITH SCORE 57628.74
AT ITER 913 NEW BEST:: SOT 116363 SOS 67180 HAS SOPS 67180 HAS SOUS 57559 HAS SOUPS 57559 WITH SCORE 57626.18
AT ITER 915 NEW BEST:: SOT 116370 SOS 67175 HAS SOPS 67175 HAS SOUS 57554 HAS SOUPS 57554 WITH SCORE 57621.175
AT ITER 927 NEW BEST:: SOT 116444 SOS 67212 HAS SOPS 67212 HAS SOUS 57521 HAS SOUPS 57521 WITH SCORE 57588.212
AT ITER 934 NEW BEST:: SOT 116444 SOS 67178 HAS SOPS 67178 HAS SOUS 57521 HAS SOUPS 57521 WITH SCORE 57588.178
AT ITER 939 NEW BEST:: SOT 116444 SOS 67137 HAS SOPS 67137 HAS SOUS 57521 HAS SOUPS 57521 WITH SCORE 57588.137
AT ITER 940 NEW BEST:: SOT 116325 SOS 66969 HAS SOPS 66969 HAS SOUS 57433 HAS SOUPS 57433 WITH SCORE 57499.969
AT ITER 955 NEW BEST:: SOT 116232 SOS 66960 HAS SOPS 66960 HAS SOUS 57424 HAS SOUPS 57424 WITH SCORE 57490.96
AT ITER 960 NEW BEST:: SOT 116227 SOS 66955 HAS SOPS 66955 HAS SOUS 57419 HAS SOUPS 57419 WITH SCORE 57485.955
AT ITER 964 NEW BEST:: SOT 116217 SOS 66945 HAS SOPS 66945 HAS SOUS 57409 HAS SOUPS 57409 WITH SCORE 57475.945
AT ITER 968 NEW BEST:: SOT 116108 SOS 67192 HAS SOPS 67192 HAS SOUS 57300 HAS SOUPS 57300 WITH SCORE 57367.192
AT ITER 970 NEW BEST:: SOT 116108 SOS 66832 HAS SOPS 66832 HAS SOUS 57300 HAS SOUPS 57300 WITH SCORE 57366.832
AT ITER 987 NEW BEST:: SOT 115894 SOS 66801 HAS SOPS 66801 HAS SOUS 57125 HAS SOUPS 57125 WITH SCORE 57191.801
AT ITER 989 NEW BEST:: SOT 115894 SOS 66830 HAS SOPS 66830 HAS SOUS 57106 HAS SOUPS 57106 WITH SCORE 57172.83
AT ITER 990 NEW BEST:: SOT 115889 SOS 66825 HAS SOPS 66825 HAS SOUS 57101 HAS SOUPS 57101 WITH SCORE 57167.825
AT ITER 998 NEW BEST:: SOT 115889 SOS 66825 HAS SOPS 66825 HAS SOUS 57083 HAS SOUPS 57083 WITH SCORE 57149.825
AT ITER 1004 NEW BEST:: SOT 115889 SOS 66746 HAS SOPS 66746 HAS SOUS 57077 HAS SOUPS 57077 WITH SCORE 57143.746
AT ITER 1008 NEW BEST:: SOT 115889 SOS 66740 HAS SOPS 66740 HAS SOUS 57071 HAS SOUPS 57071 WITH SCORE 57137.74
AT ITER 1014 NEW BEST:: SOT 115892 SOS 66774 HAS SOPS 66774 HAS SOUS 57064 HAS SOUPS 57064 WITH SCORE 57130.774
AT ITER 1015 NEW BEST:: SOT 115957 SOS 66817 HAS SOPS 66817 HAS SOUS 57059 HAS SOUPS 57059 WITH SCORE 57125.817
AT ITER 1027 NEW BEST:: SOT 115909 SOS 66792 HAS SOPS 66792 HAS SOUS 57034 HAS SOUPS 57034 WITH SCORE 57100.792
AT ITER 1030 NEW BEST:: SOT 115898 SOS 66843 HAS SOPS 66843 HAS SOUS 57023 HAS SOUPS 57023 WITH SCORE 57089.843
AT ITER 1031 NEW BEST:: SOT 115793 SOS 67396 HAS SOPS 67396 HAS SOUS 57003 HAS SOUPS 57003 WITH SCORE 57070.396
AT ITER 1038 NEW BEST:: SOT 115793 SOS 66810 HAS SOPS 66810 HAS SOUS 56947 HAS SOUPS 56947 WITH SCORE 57013.81
AT ITER 1044 NEW BEST:: SOT 115769 SOS 66786 HAS SOPS 66786 HAS SOUS 56861 HAS SOUPS 56861 WITH SCORE 56927.786
AT ITER 1047 NEW BEST:: SOT 115687 SOS 66785 HAS SOPS 66785 HAS SOUS 56860 HAS SOUPS 56860 WITH SCORE 56926.785
AT ITER 1048 NEW BEST:: SOT 115687 SOS 66785 HAS SOPS 66785 HAS SOUS 56839 HAS SOUPS 56839 WITH SCORE 56905.785
AT ITER 1054 NEW BEST:: SOT 115685 SOS 66888 HAS SOPS 66888 HAS SOUS 56838 HAS SOUPS 56838 WITH SCORE 56904.888
AT ITER 1055 NEW BEST:: SOT 115679 SOS 66910 HAS SOPS 66910 HAS SOUS 56832 HAS SOUPS 56832 WITH SCORE 56898.91
AT ITER 1069 NEW BEST:: SOT 115529 SOS 66797 HAS SOPS 66797 HAS SOUS 56719 HAS SOUPS 56719 WITH SCORE 56785.797
AT ITER 1071 NEW BEST:: SOT 115529 SOS 66752 HAS SOPS 66752 HAS SOUS 56674 HAS SOUPS 56674 WITH SCORE 56740.752
AT ITER 1074 NEW BEST:: SOT 115660 SOS 66607 HAS SOPS 66607 HAS SOUS 56635 HAS SOUPS 56635 WITH SCORE 56701.607
AT ITER 1078 NEW BEST:: SOT 115644 SOS 66591 HAS SOPS 66591 HAS SOUS 56619 HAS SOUPS 56619 WITH SCORE 56685.591
AT ITER 1080 NEW BEST:: SOT 115613 SOS 66572 HAS SOPS 66572 HAS SOUS 56600 HAS SOUPS 56600 WITH SCORE 56666.572
AT ITER 1085 NEW BEST:: SOT 115537 SOS 66556 HAS SOPS 66556 HAS SOUS 56584 HAS SOUPS 56584 WITH SCORE 56650.556
AT ITER 1090 NEW BEST:: SOT 115526 SOS 66545 HAS SOPS 66545 HAS SOUS 56573 HAS SOUPS 56573 WITH SCORE 56639.545
AT ITER 1096 NEW BEST:: SOT 115526 SOS 66463 HAS SOPS 66463 HAS SOUS 56491 HAS SOUPS 56491 WITH SCORE 56557.463
AT ITER 1105 NEW BEST:: SOT 115512 SOS 66234 HAS SOPS 66234 HAS SOUS 56384 HAS SOUPS 56384 WITH SCORE 56450.234
AT ITER 1119 NEW BEST:: SOT 115410 SOS 66232 HAS SOPS 66232 HAS SOUS 56382 HAS SOUPS 56382 WITH SCORE 56448.232
AT ITER 1122 NEW BEST:: SOT 115410 SOS 66232 HAS SOPS 66232 HAS SOUS 56364 HAS SOUPS 56364 WITH SCORE 56430.232
AT ITER 1125 NEW BEST:: SOT 115228 SOS 66141 HAS SOPS 66141 HAS SOUS 56273 HAS SOUPS 56273 WITH SCORE 56339.141
AT ITER 1126 NEW BEST:: SOT 115240 SOS 66136 HAS SOPS 66136 HAS SOUS 56252 HAS SOUPS 56252 WITH SCORE 56318.136
AT ITER 1137 NEW BEST:: SOT 115240 SOS 66057 HAS SOPS 66057 HAS SOUS 56252 HAS SOUPS 56252 WITH SCORE 56318.057
AT ITER 1149 NEW BEST:: SOT 115223 SOS 66040 HAS SOPS 66040 HAS SOUS 56235 HAS SOUPS 56235 WITH SCORE 56301.04
AT ITER 1156 NEW BEST:: SOT 115127 SOS 66061 HAS SOPS 66061 HAS SOUS 56187 HAS SOUPS 56187 WITH SCORE 56253.061
AT ITER 1158 NEW BEST:: SOT 115073 SOS 66007 HAS SOPS 66007 HAS SOUS 56133 HAS SOUPS 56133 WITH SCORE 56199.007
AT ITER 1175 NEW BEST:: SOT 115036 SOS 65989 HAS SOPS 65989 HAS SOUS 56115 HAS SOUPS 56115 WITH SCORE 56180.989
AT ITER 1177 NEW BEST:: SOT 114895 SOS 65933 HAS SOPS 65933 HAS SOUS 56059 HAS SOUPS 56059 WITH SCORE 56124.933
AT ITER 1183 NEW BEST:: SOT 114895 SOS 65930 HAS SOPS 65930 HAS SOUS 56059 HAS SOUPS 56059 WITH SCORE 56124.93
AT ITER 1196 NEW BEST:: SOT 114787 SOS 65820 HAS SOPS 65820 HAS SOUS 55953 HAS SOUPS 55953 WITH SCORE 56018.82
AT ITER 1232 NEW BEST:: SOT 114721 SOS 65942 HAS SOPS 65942 HAS SOUS 55925 HAS SOUPS 55925 WITH SCORE 55990.942
AT ITER 1238 NEW BEST:: SOT 114495 SOS 65907 HAS SOPS 65907 HAS SOUS 55878 HAS SOUPS 55878 WITH SCORE 55943.907
AT ITER 1253 NEW BEST:: SOT 114484 SOS 65856 HAS SOPS 65856 HAS SOUS 55854 HAS SOUPS 55854 WITH SCORE 55919.856
AT ITER 1254 NEW BEST:: SOT 114502 SOS 65860 HAS SOPS 65860 HAS SOUS 55834 HAS SOUPS 55834 WITH SCORE 55899.86
AT ITER 1269 NEW BEST:: SOT 114502 SOS 65860 HAS SOPS 65860 HAS SOUS 55826 HAS SOUPS 55826 WITH SCORE 55891.86
AT ITER 1274 NEW BEST:: SOT 114502 SOS 65696 HAS SOPS 65696 HAS SOUS 55826 HAS SOUPS 55826 WITH SCORE 55891.696
AT ITER 1275 NEW BEST:: SOT 114474 SOS 65668 HAS SOPS 65668 HAS SOUS 55803 HAS SOUPS 55803 WITH SCORE 55868.668
AT ITER 1289 NEW BEST:: SOT 114474 SOS 65668 HAS SOPS 65668 HAS SOUS 55770 HAS SOUPS 55770 WITH SCORE 55835.668
AT ITER 1296 NEW BEST:: SOT 114376 SOS 65613 HAS SOPS 65613 HAS SOUS 55742 HAS SOUPS 55742 WITH SCORE 55807.613
AT ITER 1302 NEW BEST:: SOT 114408 SOS 65612 HAS SOPS 65612 HAS SOUS 55741 HAS SOUPS 55741 WITH SCORE 55806.612
AT ITER 1305 NEW BEST:: SOT 114224 SOS 65525 HAS SOPS 65525 HAS SOUS 55654 HAS SOUPS 55654 WITH SCORE 55719.525
AT ITER 1310 NEW BEST:: SOT 114224 SOS 65504 HAS SOPS 65504 HAS SOUS 55654 HAS SOUPS 55654 WITH SCORE 55719.504
AT ITER 1312 NEW BEST:: SOT 114214 SOS 65494 HAS SOPS 65494 HAS SOUS 55644 HAS SOUPS 55644 WITH SCORE 55709.494
AT ITER 1317 NEW BEST:: SOT 114210 SOS 65490 HAS SOPS 65490 HAS SOUS 55640 HAS SOUPS 55640 WITH SCORE 55705.49
AT ITER 1332 NEW BEST:: SOT 114174 SOS 65481 HAS SOPS 65481 HAS SOUS 55628 HAS SOUPS 55628 WITH SCORE 55693.481
AT ITER 1333 NEW BEST:: SOT 114142 SOS 65449 HAS SOPS 65449 HAS SOUS 55560 HAS SOUPS 55560 WITH SCORE 55625.449
AT ITER 1335 NEW BEST:: SOT 114142 SOS 65404 HAS SOPS 65404 HAS SOUS 55548 HAS SOUPS 55548 WITH SCORE 55613.404
AT ITER 1342 NEW BEST:: SOT 114129 SOS 65382 HAS SOPS 65382 HAS SOUS 55535 HAS SOUPS 55535 WITH SCORE 55600.382
AT ITER 1360 NEW BEST:: SOT 114078 SOS 65532 HAS SOPS 65532 HAS SOUS 55520 HAS SOUPS 55520 WITH SCORE 55585.532
AT ITER 1379 NEW BEST:: SOT 114079 SOS 65531 HAS SOPS 65531 HAS SOUS 55519 HAS SOUPS 55519 WITH SCORE 55584.531
AT ITER 1388 NEW BEST:: SOT 113759 SOS 65529 HAS SOPS 65529 HAS SOUS 55419 HAS SOUPS 55419 WITH SCORE 55484.529
AT ITER 1391 NEW BEST:: SOT 113538 SOS 65505 HAS SOPS 65505 HAS SOUS 55362 HAS SOUPS 55362 WITH SCORE 55427.505
AT ITER 1405 NEW BEST:: SOT 113538 SOS 65491 HAS SOPS 65491 HAS SOUS 55362 HAS SOUPS 55362 WITH SCORE 55427.491
AT ITER 1418 NEW BEST:: SOT 113534 SOS 65489 HAS SOPS 65489 HAS SOUS 55358 HAS SOUPS 55358 WITH SCORE 55423.489
AT ITER 1422 NEW BEST:: SOT 113534 SOS 65443 HAS SOPS 65443 HAS SOUS 55358 HAS SOUPS 55358 WITH SCORE 55423.443
AT ITER 1423 NEW BEST:: SOT 113534 SOS 65421 HAS SOPS 65421 HAS SOUS 55358 HAS SOUPS 55358 WITH SCORE 55423.421
AT ITER 1434 NEW BEST:: SOT 113543 SOS 65370 HAS SOPS 65370 HAS SOUS 55348 HAS SOUPS 55348 WITH SCORE 55413.37
AT ITER 1435 NEW BEST:: SOT 113487 SOS 65316 HAS SOPS 65316 HAS SOUS 55294 HAS SOUPS 55294 WITH SCORE 55359.316
AT ITER 1448 NEW BEST:: SOT 113487 SOS 65294 HAS SOPS 65294 HAS SOUS 55294 HAS SOUPS 55294 WITH SCORE 55359.294
AT ITER 1450 NEW BEST:: SOT 113446 SOS 65279 HAS SOPS 65279 HAS SOUS 55257 HAS SOUPS 55257 WITH SCORE 55322.279
AT ITER 1456 NEW BEST:: SOT 113340 SOS 65173 HAS SOPS 65173 HAS SOUS 55151 HAS SOUPS 55151 WITH SCORE 55216.173
AT ITER 1457 NEW BEST:: SOT 113287 SOS 65128 HAS SOPS 65128 HAS SOUS 55111 HAS SOUPS 55111 WITH SCORE 55176.128
AT ITER 1460 NEW BEST:: SOT 113254 SOS 65095 HAS SOPS 65095 HAS SOUS 55071 HAS SOUPS 55071 WITH SCORE 55136.095
AT ITER 1468 NEW BEST:: SOT 113242 SOS 65083 HAS SOPS 65083 HAS SOUS 55059 HAS SOUPS 55059 WITH SCORE 55124.083
AT ITER 1476 NEW BEST:: SOT 113106 SOS 65188 HAS SOPS 65188 HAS SOUS 54956 HAS SOUPS 54956 WITH SCORE 55021.188
AT ITER 1479 NEW BEST:: SOT 113155 SOS 64630 HAS SOPS 64630 HAS SOUS 54902 HAS SOUPS 54902 WITH SCORE 54966.63
AT ITER 1481 NEW BEST:: SOT 113128 SOS 65083 HAS SOPS 65083 HAS SOUS 54875 HAS SOUPS 54875 WITH SCORE 54940.083
AT ITER 1483 NEW BEST:: SOT 113041 SOS 65725 HAS SOPS 65725 HAS SOUS 54802 HAS SOUPS 54802 WITH SCORE 54867.725
AT ITER 1490 NEW BEST:: SOT 113041 SOS 65664 HAS SOPS 65664 HAS SOUS 54802 HAS SOUPS 54802 WITH SCORE 54867.664
AT ITER 1496 NEW BEST:: SOT 113041 SOS 65757 HAS SOPS 65757 HAS SOUS 54800 HAS SOUPS 54800 WITH SCORE 54865.757
AT ITER 1516 NEW BEST:: SOT 113041 SOS 65757 HAS SOPS 65757 HAS SOUS 54772 HAS SOUPS 54772 WITH SCORE 54837.757
AT ITER 1522 NEW BEST:: SOT 113021 SOS 65739 HAS SOPS 65739 HAS SOUS 54754 HAS SOUPS 54754 WITH SCORE 54819.739
AT ITER 1524 NEW BEST:: SOT 113021 SOS 65734 HAS SOPS 65734 HAS SOUS 54754 HAS SOUPS 54754 WITH SCORE 54819.734
AT ITER 1525 NEW BEST:: SOT 113021 SOS 65487 HAS SOPS 65487 HAS SOUS 54754 HAS SOUPS 54754 WITH SCORE 54819.487
AT ITER 1534 NEW BEST:: SOT 113021 SOS 64831 HAS SOPS 64831 HAS SOUS 54643 HAS SOUPS 54643 WITH SCORE 54707.831
AT ITER 1535 NEW BEST:: SOT 113027 SOS 64819 HAS SOPS 64819 HAS SOUS 54643 HAS SOUPS 54643 WITH SCORE 54707.819
AT ITER 1537 NEW BEST:: SOT 113027 SOS 64788 HAS SOPS 64788 HAS SOUS 54643 HAS SOUPS 54643 WITH SCORE 54707.788
AT ITER 1546 NEW BEST:: SOT 112997 SOS 64775 HAS SOPS 64775 HAS SOUS 54592 HAS SOUPS 54592 WITH SCORE 54656.775
AT ITER 1560 NEW BEST:: SOT 112766 SOS 64712 HAS SOPS 64712 HAS SOUS 54508 HAS SOUPS 54508 WITH SCORE 54572.712
AT ITER 1562 NEW BEST:: SOT 112730 SOS 64712 HAS SOPS 64712 HAS SOUS 54490 HAS SOUPS 54490 WITH SCORE 54554.712
AT ITER 1567 NEW BEST:: SOT 112730 SOS 64652 HAS SOPS 64652 HAS SOUS 54432 HAS SOUPS 54432 WITH SCORE 54496.652
AT ITER 1575 NEW BEST:: SOT 112730 SOS 64640 HAS SOPS 64640 HAS SOUS 54432 HAS SOUPS 54432 WITH SCORE 54496.64
AT ITER 1583 NEW BEST:: SOT 112608 SOS 64465 HAS SOPS 64465 HAS SOUS 54298 HAS SOUPS 54298 WITH SCORE 54362.465
AT ITER 1584 NEW BEST:: SOT 112536 SOS 64315 HAS SOPS 64315 HAS SOUS 54176 HAS SOUPS 54176 WITH SCORE 54240.315
AT ITER 1588 NEW BEST:: SOT 112517 SOS 64296 HAS SOPS 64296 HAS SOUS 54157 HAS SOUPS 54157 WITH SCORE 54221.296
AT ITER 1594 NEW BEST:: SOT 112524 SOS 64283 HAS SOPS 64283 HAS SOUS 54144 HAS SOUPS 54144 WITH SCORE 54208.283
AT ITER 1596 NEW BEST:: SOT 112500 SOS 64307 HAS SOPS 64307 HAS SOUS 54129 HAS SOUPS 54129 WITH SCORE 54193.307
AT ITER 1613 NEW BEST:: SOT 112500 SOS 64257 HAS SOPS 64257 HAS SOUS 54129 HAS SOUPS 54129 WITH SCORE 54193.257
AT ITER 1618 NEW BEST:: SOT 112500 SOS 64176 HAS SOPS 64176 HAS SOUS 54113 HAS SOUPS 54113 WITH SCORE 54177.176
AT ITER 1621 NEW BEST:: SOT 112500 SOS 64176 HAS SOPS 64176 HAS SOUS 54107 HAS SOUPS 54107 WITH SCORE 54171.176
AT ITER 1644 NEW BEST:: SOT 112474 SOS 64150 HAS SOPS 64150 HAS SOUS 54081 HAS SOUPS 54081 WITH SCORE 54145.15
AT ITER 1679 NEW BEST:: SOT 112474 SOS 64136 HAS SOPS 64136 HAS SOUS 54081 HAS SOUPS 54081 WITH SCORE 54145.136
AT ITER 1692 NEW BEST:: SOT 112366 SOS 64028 HAS SOPS 64028 HAS SOUS 53973 HAS SOUPS 53973 WITH SCORE 54037.028
AT ITER 1693 NEW BEST:: SOT 112289 SOS 64199 HAS SOPS 64199 HAS SOUS 53922 HAS SOUPS 53922 WITH SCORE 53986.199
AT ITER 1725 NEW BEST:: SOT 112218 SOS 64177 HAS SOPS 64177 HAS SOUS 53900 HAS SOUPS 53900 WITH SCORE 53964.177
AT ITER 1743 NEW BEST:: SOT 112162 SOS 64129 HAS SOPS 64129 HAS SOUS 53852 HAS SOUPS 53852 WITH SCORE 53916.129
AT ITER 1749 NEW BEST:: SOT 112146 SOS 64117 HAS SOPS 64117 HAS SOUS 53840 HAS SOUPS 53840 WITH SCORE 53904.117
AT ITER 1750 NEW BEST:: SOT 111921 SOS 64205 HAS SOPS 64205 HAS SOUS 53785 HAS SOUPS 53785 WITH SCORE 53849.205
AT ITER 1764 NEW BEST:: SOT 111895 SOS 64188 HAS SOPS 64188 HAS SOUS 53768 HAS SOUPS 53768 WITH SCORE 53832.188
AT ITER 1779 NEW BEST:: SOT 111881 SOS 64181 HAS SOPS 64181 HAS SOUS 53759 HAS SOUPS 53759 WITH SCORE 53823.181
AT ITER 1782 NEW BEST:: SOT 111690 SOS 64082 HAS SOPS 64082 HAS SOUS 53660 HAS SOUPS 53660 WITH SCORE 53724.082
AT ITER 1785 NEW BEST:: SOT 111744 SOS 64089 HAS SOPS 64089 HAS SOUS 53638 HAS SOUPS 53638 WITH SCORE 53702.089
AT ITER 1799 NEW BEST:: SOT 111686 SOS 64226 HAS SOPS 64226 HAS SOUS 53587 HAS SOUPS 53587 WITH SCORE 53651.226
AT ITER 1803 NEW BEST:: SOT 111667 SOS 64191 HAS SOPS 64191 HAS SOUS 53555 HAS SOUPS 53555 WITH SCORE 53619.191
AT ITER 1806 NEW BEST:: SOT 111600 SOS 64124 HAS SOPS 64124 HAS SOUS 53488 HAS SOUPS 53488 WITH SCORE 53552.124
AT ITER 1812 NEW BEST:: SOT 111588 SOS 64112 HAS SOPS 64112 HAS SOUS 53476 HAS SOUPS 53476 WITH SCORE 53540.112
AT ITER 1821 NEW BEST:: SOT 111588 SOS 64042 HAS SOPS 64042 HAS SOUS 53476 HAS SOUPS 53476 WITH SCORE 53540.042
AT ITER 1828 NEW BEST:: SOT 111520 SOS 64009 HAS SOPS 64009 HAS SOUS 53443 HAS SOUPS 53443 WITH SCORE 53507.009
AT ITER 1841 NEW BEST:: SOT 111507 SOS 63916 HAS SOPS 63916 HAS SOUS 53369 HAS SOUPS 53369 WITH SCORE 53432.916
AT ITER 1848 NEW BEST:: SOT 111581 SOS 63948 HAS SOPS 63948 HAS SOUS 53354 HAS SOUPS 53354 WITH SCORE 53417.948
AT ITER 1864 NEW BEST:: SOT 111581 SOS 63948 HAS SOPS 63948 HAS SOUS 53346 HAS SOUPS 53346 WITH SCORE 53409.948
AT ITER 1865 NEW BEST:: SOT 111573 SOS 63940 HAS SOPS 63940 HAS SOUS 53338 HAS SOUPS 53338 WITH SCORE 53401.94
AT ITER 1868 NEW BEST:: SOT 111509 SOS 63934 HAS SOPS 63934 HAS SOUS 53305 HAS SOUPS 53305 WITH SCORE 53368.934
AT ITER 1882 NEW BEST:: SOT 111499 SOS 63924 HAS SOPS 63924 HAS SOUS 53295 HAS SOUPS 53295 WITH SCORE 53358.924
AT ITER 1885 NEW BEST:: SOT 111492 SOS 63903 HAS SOPS 63903 HAS SOUS 53281 HAS SOUPS 53281 WITH SCORE 53344.903
AT ITER 1897 NEW BEST:: SOT 111492 SOS 63892 HAS SOPS 63892 HAS SOUS 53271 HAS SOUPS 53271 WITH SCORE 53334.892
AT ITER 1904 NEW BEST:: SOT 111106 SOS 64039 HAS SOPS 64039 HAS SOUS 53107 HAS SOUPS 53107 WITH SCORE 53171.039
AT ITER 1913 NEW BEST:: SOT 111106 SOS 64033 HAS SOPS 64033 HAS SOUS 53061 HAS SOUPS 53061 WITH SCORE 53125.033
AT ITER 1919 NEW BEST:: SOT 111099 SOS 64026 HAS SOPS 64026 HAS SOUS 53054 HAS SOUPS 53054 WITH SCORE 53118.026
AT ITER 1926 NEW BEST:: SOT 111099 SOS 64019 HAS SOPS 64019 HAS SOUS 53005 HAS SOUPS 53005 WITH SCORE 53069.019
AT ITER 1928 NEW BEST:: SOT 111099 SOS 63968 HAS SOPS 63968 HAS SOUS 53005 HAS SOUPS 53005 WITH SCORE 53068.968
AT ITER 1936 NEW BEST:: SOT 111099 SOS 63925 HAS SOPS 63925 HAS SOUS 53005 HAS SOUPS 53005 WITH SCORE 53068.925
AT ITER 1943 NEW BEST:: SOT 111095 SOS 63838 HAS SOPS 63838 HAS SOUS 52951 HAS SOUPS 52951 WITH SCORE 53014.838
AT ITER 1958 NEW BEST:: SOT 111095 SOS 63820 HAS SOPS 63820 HAS SOUS 52933 HAS SOUPS 52933 WITH SCORE 52996.82
AT ITER 1960 NEW BEST:: SOT 111055 SOS 63780 HAS SOPS 63780 HAS SOUS 52864 HAS SOUPS 52864 WITH SCORE 52927.78
AT ITER 1973 NEW BEST:: SOT 111043 SOS 63768 HAS SOPS 63768 HAS SOUS 52852 HAS SOUPS 52852 WITH SCORE 52915.768
AT ITER 1977 NEW BEST:: SOT 110635 SOS 63684 HAS SOPS 63684 HAS SOUS 52835 HAS SOUPS 52835 WITH SCORE 52898.684
AT ITER 1979 NEW BEST:: SOT 110515 SOS 63556 HAS SOPS 63556 HAS SOUS 52707 HAS SOUPS 52707 WITH SCORE 52770.556
AT ITER 1983 NEW BEST:: SOT 110515 SOS 63518 HAS SOPS 63518 HAS SOUS 52707 HAS SOUPS 52707 WITH SCORE 52770.518
AT ITER 1985 NEW BEST:: SOT 110469 SOS 63374 HAS SOPS 63374 HAS SOUS 52528 HAS SOUPS 52528 WITH SCORE 52591.374
AT ITER 1988 NEW BEST:: SOT 110235 SOS 63140 HAS SOPS 63140 HAS SOUS 52294 HAS SOUPS 52294 WITH SCORE 52357.14
AT ITER 1997 NEW BEST:: SOT 110234 SOS 63139 HAS SOPS 63139 HAS SOUS 52293 HAS SOUPS 52293 WITH SCORE 52356.139
AT ITER 2003 NEW BEST:: SOT 110216 SOS 63121 HAS SOPS 63121 HAS SOUS 52275 HAS SOUPS 52275 WITH SCORE 52338.121
AT ITER 2017 NEW BEST:: SOT 110226 SOS 63123 HAS SOPS 63123 HAS SOUS 52223 HAS SOUPS 52223 WITH SCORE 52286.123
AT ITER 2037 NEW BEST:: SOT 110226 SOS 63075 HAS SOPS 63075 HAS SOUS 52223 HAS SOUPS 52223 WITH SCORE 52286.075
AT ITER 2053 NEW BEST:: SOT 110226 SOS 63070 HAS SOPS 63070 HAS SOUS 52223 HAS SOUPS 52223 WITH SCORE 52286.07
AT ITER 2057 NEW BEST:: SOT 110217 SOS 63061 HAS SOPS 63061 HAS SOUS 52214 HAS SOUPS 52214 WITH SCORE 52277.061
AT ITER 2058 NEW BEST:: SOT 110152 SOS 62996 HAS SOPS 62996 HAS SOUS 52149 HAS SOUPS 52149 WITH SCORE 52211.996
AT ITER 2071 NEW BEST:: SOT 110115 SOS 63023 HAS SOPS 63023 HAS SOUS 52144 HAS SOUPS 52144 WITH SCORE 52207.023
AT ITER 2072 NEW BEST:: SOT 110074 SOS 62982 HAS SOPS 62982 HAS SOUS 52103 HAS SOUPS 52103 WITH SCORE 52165.982
AT ITER 2080 NEW BEST:: SOT 109999 SOS 62907 HAS SOPS 62907 HAS SOUS 52028 HAS SOUPS 52028 WITH SCORE 52090.907
AT ITER 2089 NEW BEST:: SOT 109987 SOS 62895 HAS SOPS 62895 HAS SOUS 52016 HAS SOUPS 52016 WITH SCORE 52078.895
AT ITER 2098 NEW BEST:: SOT 109987 SOS 62883 HAS SOPS 62883 HAS SOUS 52014 HAS SOUPS 52014 WITH SCORE 52076.883
AT ITER 2108 NEW BEST:: SOT 109987 SOS 62961 HAS SOPS 62961 HAS SOUS 52005 HAS SOUPS 52005 WITH SCORE 52067.961
AT ITER 2118 NEW BEST:: SOT 109936 SOS 62886 HAS SOPS 62886 HAS SOUS 51930 HAS SOUPS 51930 WITH SCORE 51992.886
AT ITER 2142 NEW BEST:: SOT 109961 SOS 62939 HAS SOPS 62939 HAS SOUS 51909 HAS SOUPS 51909 WITH SCORE 51971.939
AT ITER 2143 NEW BEST:: SOT 109864 SOS 62865 HAS SOPS 62865 HAS SOUS 51835 HAS SOUPS 51835 WITH SCORE 51897.865
AT ITER 2145 NEW BEST:: SOT 109789 SOS 63055 HAS SOPS 63055 HAS SOUS 51775 HAS SOUPS 51775 WITH SCORE 51838.055
AT ITER 2159 NEW BEST:: SOT 109789 SOS 63046 HAS SOPS 63046 HAS SOUS 51775 HAS SOUPS 51775 WITH SCORE 51838.046
AT ITER 2160 NEW BEST:: SOT 109788 SOS 63045 HAS SOPS 63045 HAS SOUS 51774 HAS SOUPS 51774 WITH SCORE 51837.045
AT ITER 2176 NEW BEST:: SOT 109774 SOS 63031 HAS SOPS 63031 HAS SOUS 51760 HAS SOUPS 51760 WITH SCORE 51823.031
AT ITER 2186 NEW BEST:: SOT 109774 SOS 62974 HAS SOPS 62974 HAS SOUS 51760 HAS SOUPS 51760 WITH SCORE 51822.974
AT ITER 2196 NEW BEST:: SOT 109720 SOS 62960 HAS SOPS 62960 HAS SOUS 51733 HAS SOUPS 51733 WITH SCORE 51795.96
AT ITER 2217 NEW BEST:: SOT 109720 SOS 62935 HAS SOPS 62935 HAS SOUS 51733 HAS SOUPS 51733 WITH SCORE 51795.935
AT ITER 2229 NEW BEST:: SOT 109720 SOS 62890 HAS SOPS 62890 HAS SOUS 51733 HAS SOUPS 51733 WITH SCORE 51795.89
AT ITER 2239 NEW BEST:: SOT 109656 SOS 62826 HAS SOPS 62826 HAS SOUS 51669 HAS SOUPS 51669 WITH SCORE 51731.826
AT ITER 2241 NEW BEST:: SOT 109604 SOS 63045 HAS SOPS 63045 HAS SOUS 51617 HAS SOUPS 51617 WITH SCORE 51680.045
AT ITER 2243 NEW BEST:: SOT 109594 SOS 63068 HAS SOPS 63068 HAS SOUS 51607 HAS SOUPS 51607 WITH SCORE 51670.068
AT ITER 2244 NEW BEST:: SOT 109562 SOS 63058 HAS SOPS 63058 HAS SOUS 51597 HAS SOUPS 51597 WITH SCORE 51660.058
AT ITER 2261 NEW BEST:: SOT 109562 SOS 63050 HAS SOPS 63050 HAS SOUS 51597 HAS SOUPS 51597 WITH SCORE 51660.05
AT ITER 2273 NEW BEST:: SOT 109544 SOS 63066 HAS SOPS 63066 HAS SOUS 51592 HAS SOUPS 51592 WITH SCORE 51655.066
AT ITER 2276 NEW BEST:: SOT 109477 SOS 63017 HAS SOPS 63017 HAS SOUS 51543 HAS SOUPS 51543 WITH SCORE 51606.017
AT ITER 2289 NEW BEST:: SOT 109477 SOS 62994 HAS SOPS 62994 HAS SOUS 51543 HAS SOUPS 51543 WITH SCORE 51605.994
AT ITER 2295 NEW BEST:: SOT 109495 SOS 62963 HAS SOPS 62963 HAS SOUS 51543 HAS SOUPS 51543 WITH SCORE 51605.963
AT ITER 2337 NEW BEST:: SOT 109483 SOS 62951 HAS SOPS 62951 HAS SOUS 51531 HAS SOUPS 51531 WITH SCORE 51593.951
AT ITER 2339 NEW BEST:: SOT 109448 SOS 62747 HAS SOPS 62747 HAS SOUS 51496 HAS SOUPS 51496 WITH SCORE 51558.747
AT ITER 2356 NEW BEST:: SOT 109448 SOS 62727 HAS SOPS 62727 HAS SOUS 51495 HAS SOUPS 51495 WITH SCORE 51557.727
AT ITER 2358 NEW BEST:: SOT 109460 SOS 62693 HAS SOPS 62693 HAS SOUS 51475 HAS SOUPS 51475 WITH SCORE 51537.693
AT ITER 2359 NEW BEST:: SOT 109499 SOS 62732 HAS SOPS 62732 HAS SOUS 51474 HAS SOUPS 51474 WITH SCORE 51536.732
AT ITER 2367 NEW BEST:: SOT 109404 SOS 62850 HAS SOPS 62850 HAS SOUS 51447 HAS SOUPS 51447 WITH SCORE 51509.85
AT ITER 2370 NEW BEST:: SOT 109425 SOS 62846 HAS SOPS 62846 HAS SOUS 51411 HAS SOUPS 51411 WITH SCORE 51473.846
AT ITER 2373 NEW BEST:: SOT 109425 SOS 62838 HAS SOPS 62838 HAS SOUS 51398 HAS SOUPS 51398 WITH SCORE 51460.838
AT ITER 2376 NEW BEST:: SOT 109425 SOS 62838 HAS SOPS 62838 HAS SOUS 51389 HAS SOUPS 51389 WITH SCORE 51451.838
AT ITER 2382 NEW BEST:: SOT 109343 SOS 62797 HAS SOPS 62797 HAS SOUS 51307 HAS SOUPS 51307 WITH SCORE 51369.797
AT ITER 2393 NEW BEST:: SOT 109340 SOS 62795 HAS SOPS 62795 HAS SOUS 51306 HAS SOUPS 51306 WITH SCORE 51368.795
AT ITER 2398 NEW BEST:: SOT 109362 SOS 62817 HAS SOPS 62817 HAS SOUS 51282 HAS SOUPS 51282 WITH SCORE 51344.817
AT ITER 2403 NEW BEST:: SOT 109362 SOS 62817 HAS SOPS 62817 HAS SOUS 51278 HAS SOUPS 51278 WITH SCORE 51340.817
AT ITER 2440 NEW BEST:: SOT 109340 SOS 62795 HAS SOPS 62795 HAS SOUS 51256 HAS SOUPS 51256 WITH SCORE 51318.795
AT ITER 2469 NEW BEST:: SOT 109340 SOS 62709 HAS SOPS 62709 HAS SOUS 51204 HAS SOUPS 51204 WITH SCORE 51266.709
AT ITER 2502 NEW BEST:: SOT 109340 SOS 62741 HAS SOPS 62741 HAS SOUS 51190 HAS SOUPS 51190 WITH SCORE 51252.741
AT ITER 2517 NEW BEST:: SOT 109268 SOS 62790 HAS SOPS 62790 HAS SOUS 51163 HAS SOUPS 51163 WITH SCORE 51225.79
AT ITER 2520 NEW BEST:: SOT 109268 SOS 62779 HAS SOPS 62779 HAS SOUS 51153 HAS SOUPS 51153 WITH SCORE 51215.779
AT ITER 2542 NEW BEST:: SOT 109268 SOS 62772 HAS SOPS 62772 HAS SOUS 51146 HAS SOUPS 51146 WITH SCORE 51208.772
AT ITER 2551 NEW BEST:: SOT 109268 SOS 62722 HAS SOPS 62722 HAS SOUS 51146 HAS SOUPS 51146 WITH SCORE 51208.722
AT ITER 2570 NEW BEST:: SOT 109268 SOS 62600 HAS SOPS 62600 HAS SOUS 51138 HAS SOUPS 51138 WITH SCORE 51200.6
AT ITER 2579 NEW BEST:: SOT 109268 SOS 62580 HAS SOPS 62580 HAS SOUS 51138 HAS SOUPS 51138 WITH SCORE 51200.58
AT ITER 2585 NEW BEST:: SOT 109258 SOS 62564 HAS SOPS 62564 HAS SOUS 51126 HAS SOUPS 51126 WITH SCORE 51188.564
AT ITER 2595 NEW BEST:: SOT 109257 SOS 62563 HAS SOPS 62563 HAS SOUS 51125 HAS SOUPS 51125 WITH SCORE 51187.563
AT ITER 2603 NEW BEST:: SOT 109257 SOS 62563 HAS SOPS 62563 HAS SOUS 51123 HAS SOUPS 51123 WITH SCORE 51185.563
AT ITER 2606 NEW BEST:: SOT 109156 SOS 62494 HAS SOPS 62494 HAS SOUS 51054 HAS SOUPS 51054 WITH SCORE 51116.494
AT ITER 2609 NEW BEST:: SOT 109148 SOS 62486 HAS SOPS 62486 HAS SOUS 51046 HAS SOUPS 51046 WITH SCORE 51108.486
AT ITER 2660 NEW BEST:: SOT 109148 SOS 62405 HAS SOPS 62405 HAS SOUS 51044 HAS SOUPS 51044 WITH SCORE 51106.405
AT ITER 2673 NEW BEST:: SOT 109178 SOS 62452 HAS SOPS 62452 HAS SOUS 51035 HAS SOUPS 51035 WITH SCORE 51097.452
AT ITER 2714 NEW BEST:: SOT 109178 SOS 62442 HAS SOPS 62442 HAS SOUS 51035 HAS SOUPS 51035 WITH SCORE 51097.442
AT ITER 2728 NEW BEST:: SOT 109178 SOS 62258 HAS SOPS 62258 HAS SOUS 51030 HAS SOUPS 51030 WITH SCORE 51092.258
AT ITER 2734 NEW BEST:: SOT 109177 SOS 62257 HAS SOPS 62257 HAS SOUS 51029 HAS SOUPS 51029 WITH SCORE 51091.257
AT ITER 2735 NEW BEST:: SOT 109162 SOS 62242 HAS SOPS 62242 HAS SOUS 51011 HAS SOUPS 51011 WITH SCORE 51073.242
AT ITER 2758 NEW BEST:: SOT 109162 SOS 62135 HAS SOPS 62135 HAS SOUS 51011 HAS SOUPS 51011 WITH SCORE 51073.135
AT ITER 2779 NEW BEST:: SOT 109147 SOS 62120 HAS SOPS 62120 HAS SOUS 50986 HAS SOUPS 50986 WITH SCORE 51048.12
AT ITER 2782 NEW BEST:: SOT 109147 SOS 62120 HAS SOPS 62120 HAS SOUS 50985 HAS SOUPS 50985 WITH SCORE 51047.12
AT ITER 2783 NEW BEST:: SOT 109122 SOS 62095 HAS SOPS 62095 HAS SOUS 50960 HAS SOUPS 50960 WITH SCORE 51022.095
AT ITER 2785 NEW BEST:: SOT 109090 SOS 62063 HAS SOPS 62063 HAS SOUS 50928 HAS SOUPS 50928 WITH SCORE 50990.063
AT ITER 2801 NEW BEST:: SOT 109090 SOS 61963 HAS SOPS 61963 HAS SOUS 50928 HAS SOUPS 50928 WITH SCORE 50989.963
AT ITER 2805 NEW BEST:: SOT 109089 SOS 61962 HAS SOPS 61962 HAS SOUS 50927 HAS SOUPS 50927 WITH SCORE 50988.962
AT ITER 2813 NEW BEST:: SOT 109059 SOS 62017 HAS SOPS 62017 HAS SOUS 50897 HAS SOUPS 50897 WITH SCORE 50959.017
AT ITER 2829 NEW BEST:: SOT 109080 SOS 62038 HAS SOPS 62038 HAS SOUS 50893 HAS SOUPS 50893 WITH SCORE 50955.038
AT ITER 2837 NEW BEST:: SOT 109072 SOS 62030 HAS SOPS 62030 HAS SOUS 50885 HAS SOUPS 50885 WITH SCORE 50947.03
AT ITER 2841 NEW BEST:: SOT 109084 SOS 62018 HAS SOPS 62018 HAS SOUS 50873 HAS SOUPS 50873 WITH SCORE 50935.018
AT ITER 2854 NEW BEST:: SOT 109061 SOS 61982 HAS SOPS 61982 HAS SOUS 50872 HAS SOUPS 50872 WITH SCORE 50933.982
AT ITER 2859 NEW BEST:: SOT 109061 SOS 61976 HAS SOPS 61976 HAS SOUS 50872 HAS SOUPS 50872 WITH SCORE 50933.976
AT ITER 2862 NEW BEST:: SOT 108996 SOS 61955 HAS SOPS 61955 HAS SOUS 50853 HAS SOUPS 50853 WITH SCORE 50914.955
AT ITER 2863 NEW BEST:: SOT 108996 SOS 61935 HAS SOPS 61935 HAS SOUS 50853 HAS SOUPS 50853 WITH SCORE 50914.935
AT ITER 2869 NEW BEST:: SOT 108996 SOS 61635 HAS SOPS 61635 HAS SOUS 50853 HAS SOUPS 50853 WITH SCORE 50914.635
AT ITER 2870 NEW BEST:: SOT 109021 SOS 61610 HAS SOPS 61610 HAS SOUS 50853 HAS SOUPS 50853 WITH SCORE 50914.61
AT ITER 2885 NEW BEST:: SOT 108856 SOS 61445 HAS SOPS 61445 HAS SOUS 50688 HAS SOUPS 50688 WITH SCORE 50749.445
AT ITER 2887 NEW BEST:: SOT 108757 SOS 61406 HAS SOPS 61406 HAS SOUS 50649 HAS SOUPS 50649 WITH SCORE 50710.406
AT ITER 2897 NEW BEST:: SOT 108709 SOS 61374 HAS SOPS 61374 HAS SOUS 50644 HAS SOUPS 50644 WITH SCORE 50705.374
AT ITER 2899 NEW BEST:: SOT 108704 SOS 61369 HAS SOPS 61369 HAS SOUS 50626 HAS SOUPS 50626 WITH SCORE 50687.369
AT ITER 2905 NEW BEST:: SOT 108704 SOS 60842 HAS SOPS 60842 HAS SOUS 50608 HAS SOUPS 50608 WITH SCORE 50668.842
AT ITER 2907 NEW BEST:: SOT 108704 SOS 60573 HAS SOPS 60573 HAS SOUS 50608 HAS SOUPS 50608 WITH SCORE 50668.573
AT ITER 2911 NEW BEST:: SOT 108707 SOS 60573 HAS SOPS 60573 HAS SOUS 50607 HAS SOUPS 50607 WITH SCORE 50667.573
AT ITER 2913 NEW BEST:: SOT 108652 SOS 60567 HAS SOPS 60567 HAS SOUS 50587 HAS SOUPS 50587 WITH SCORE 50647.567
AT ITER 2917 NEW BEST:: SOT 108648 SOS 60565 HAS SOPS 60565 HAS SOUS 50587 HAS SOUPS 50587 WITH SCORE 50647.565
AT ITER 2929 NEW BEST:: SOT 108635 SOS 60552 HAS SOPS 60552 HAS SOUS 50574 HAS SOUPS 50574 WITH SCORE 50634.552
AT ITER 2949 NEW BEST:: SOT 108637 SOS 60542 HAS SOPS 60542 HAS SOUS 50564 HAS SOUPS 50564 WITH SCORE 50624.542
AT ITER 2970 NEW BEST:: SOT 108630 SOS 60535 HAS SOPS 60535 HAS SOUS 50545 HAS SOUPS 50545 WITH SCORE 50605.535
AT ITER 2971 NEW BEST:: SOT 108630 SOS 60485 HAS SOPS 60485 HAS SOUS 50519 HAS SOUPS 50519 WITH SCORE 50579.485
AT ITER 3001 NEW BEST:: SOT 108630 SOS 60481 HAS SOPS 60481 HAS SOUS 50519 HAS SOUPS 50519 WITH SCORE 50579.481
AT ITER 3008 NEW BEST:: SOT 108627 SOS 60478 HAS SOPS 60478 HAS SOUS 50482 HAS SOUPS 50482 WITH SCORE 50542.478
AT ITER 3013 NEW BEST:: SOT 108627 SOS 60474 HAS SOPS 60474 HAS SOUS 50481 HAS SOUPS 50481 WITH SCORE 50541.474
AT ITER 3015 NEW BEST:: SOT 108627 SOS 60403 HAS SOPS 60403 HAS SOUS 50464 HAS SOUPS 50464 WITH SCORE 50524.403
AT ITER 3016 NEW BEST:: SOT 108627 SOS 60400 HAS SOPS 60400 HAS SOUS 50461 HAS SOUPS 50461 WITH SCORE 50521.4
AT ITER 3021 NEW BEST:: SOT 108627 SOS 60396 HAS SOPS 60396 HAS SOUS 50461 HAS SOUPS 50461 WITH SCORE 50521.396
AT ITER 3026 NEW BEST:: SOT 108615 SOS 60384 HAS SOPS 60384 HAS SOUS 50449 HAS SOUPS 50449 WITH SCORE 50509.384
AT ITER 3038 NEW BEST:: SOT 108615 SOS 60318 HAS SOPS 60318 HAS SOUS 50449 HAS SOUPS 50449 WITH SCORE 50509.318
AT ITER 3052 NEW BEST:: SOT 108529 SOS 60232 HAS SOPS 60232 HAS SOUS 50398 HAS SOUPS 50398 WITH SCORE 50458.232
AT ITER 3054 NEW BEST:: SOT 108529 SOS 60225 HAS SOPS 60225 HAS SOUS 50398 HAS SOUPS 50398 WITH SCORE 50458.225
AT ITER 3080 NEW BEST:: SOT 108611 SOS 60253 HAS SOPS 60253 HAS SOUS 50357 HAS SOUPS 50357 WITH SCORE 50417.253
AT ITER 3082 NEW BEST:: SOT 108611 SOS 60253 HAS SOPS 60253 HAS SOUS 50331 HAS SOUPS 50331 WITH SCORE 50391.253
AT ITER 3090 NEW BEST:: SOT 108611 SOS 60232 HAS SOPS 60232 HAS SOUS 50280 HAS SOUPS 50280 WITH SCORE 50340.232
AT ITER 3092 NEW BEST:: SOT 108611 SOS 60070 HAS SOPS 60070 HAS SOUS 50280 HAS SOUPS 50280 WITH SCORE 50340.07
AT ITER 3104 NEW BEST:: SOT 108611 SOS 60022 HAS SOPS 60022 HAS SOUS 50280 HAS SOUPS 50280 WITH SCORE 50340.022
AT ITER 3171 NEW BEST:: SOT 108570 SOS 60010 HAS SOPS 60010 HAS SOUS 50268 HAS SOUPS 50268 WITH SCORE 50328.01
AT ITER 3177 NEW BEST:: SOT 108419 SOS 60020 HAS SOPS 60020 HAS SOUS 50137 HAS SOUPS 50137 WITH SCORE 50197.02
AT ITER 3225 NEW BEST:: SOT 108391 SOS 59992 HAS SOPS 59992 HAS SOUS 50109 HAS SOUPS 50109 WITH SCORE 50168.992
AT ITER 3229 NEW BEST:: SOT 108373 SOS 59956 HAS SOPS 59956 HAS SOUS 50073 HAS SOUPS 50073 WITH SCORE 50132.956
AT ITER 3232 NEW BEST:: SOT 108421 SOS 59951 HAS SOPS 59951 HAS SOUS 50066 HAS SOUPS 50066 WITH SCORE 50125.951
AT ITER 3277 NEW BEST:: SOT 108413 SOS 59943 HAS SOPS 59943 HAS SOUS 50058 HAS SOUPS 50058 WITH SCORE 50117.943
AT ITER 3301 NEW BEST:: SOT 108360 SOS 59890 HAS SOPS 59890 HAS SOUS 50005 HAS SOUPS 50005 WITH SCORE 50064.89
AT ITER 3309 NEW BEST:: SOT 108259 SOS 59805 HAS SOPS 59805 HAS SOUS 49920 HAS SOUPS 49920 WITH SCORE 49979.805
AT ITER 3314 NEW BEST:: SOT 108254 SOS 59800 HAS SOPS 59800 HAS SOUS 49911 HAS SOUPS 49911 WITH SCORE 49970.8
AT ITER 3342 NEW BEST:: SOT 108237 SOS 59783 HAS SOPS 59783 HAS SOUS 49908 HAS SOUPS 49908 WITH SCORE 49967.783
AT ITER 3344 NEW BEST:: SOT 108135 SOS 59854 HAS SOPS 59854 HAS SOUS 49820 HAS SOUPS 49820 WITH SCORE 49879.854
AT ITER 3361 NEW BEST:: SOT 108129 SOS 59848 HAS SOPS 59848 HAS SOUS 49814 HAS SOUPS 49814 WITH SCORE 49873.848
AT ITER 3374 NEW BEST:: SOT 108126 SOS 59845 HAS SOPS 59845 HAS SOUS 49811 HAS SOUPS 49811 WITH SCORE 49870.845
AT ITER 3390 NEW BEST:: SOT 108109 SOS 59828 HAS SOPS 59828 HAS SOUS 49794 HAS SOUPS 49794 WITH SCORE 49853.828
AT ITER 3393 NEW BEST:: SOT 108109 SOS 59726 HAS SOPS 59726 HAS SOUS 49791 HAS SOUPS 49791 WITH SCORE 49850.726
AT ITER 3401 NEW BEST:: SOT 108094 SOS 59686 HAS SOPS 59686 HAS SOUS 49749 HAS SOUPS 49749 WITH SCORE 49808.686
AT ITER 3403 NEW BEST:: SOT 108023 SOS 59938 HAS SOPS 59938 HAS SOUS 49715 HAS SOUPS 49715 WITH SCORE 49774.938
AT ITER 3411 NEW BEST:: SOT 107989 SOS 59904 HAS SOPS 59904 HAS SOUS 49685 HAS SOUPS 49685 WITH SCORE 49744.904
AT ITER 3417 NEW BEST:: SOT 108005 SOS 59810 HAS SOPS 59810 HAS SOUS 49669 HAS SOUPS 49669 WITH SCORE 49728.81
AT ITER 3481 NEW BEST:: SOT 108005 SOS 59723 HAS SOPS 59723 HAS SOUS 49611 HAS SOUPS 49611 WITH SCORE 49670.723
AT ITER 3487 NEW BEST:: SOT 107939 SOS 59756 HAS SOPS 59756 HAS SOUS 49545 HAS SOUPS 49545 WITH SCORE 49604.756
AT ITER 3493 NEW BEST:: SOT 107939 SOS 59664 HAS SOPS 59664 HAS SOUS 49545 HAS SOUPS 49545 WITH SCORE 49604.664
AT ITER 3501 NEW BEST:: SOT 107926 SOS 59643 HAS SOPS 59643 HAS SOUS 49538 HAS SOUPS 49538 WITH SCORE 49597.643
AT ITER 3517 NEW BEST:: SOT 107926 SOS 59643 HAS SOPS 59643 HAS SOUS 49516 HAS SOUPS 49516 WITH SCORE 49575.643
AT ITER 3527 NEW BEST:: SOT 107882 SOS 59874 HAS SOPS 59874 HAS SOUS 49411 HAS SOUPS 49411 WITH SCORE 49470.874
AT ITER 3529 NEW BEST:: SOT 107899 SOS 59855 HAS SOPS 59855 HAS SOUS 49356 HAS SOUPS 49356 WITH SCORE 49415.855
AT ITER 3534 NEW BEST:: SOT 107884 SOS 59840 HAS SOPS 59840 HAS SOUS 49341 HAS SOUPS 49341 WITH SCORE 49400.84
AT ITER 3562 NEW BEST:: SOT 107864 SOS 59827 HAS SOPS 59827 HAS SOUS 49328 HAS SOUPS 49328 WITH SCORE 49387.827
AT ITER 3572 NEW BEST:: SOT 107864 SOS 59825 HAS SOPS 59825 HAS SOUS 49328 HAS SOUPS 49328 WITH SCORE 49387.825
AT ITER 3587 NEW BEST:: SOT 107871 SOS 59817 HAS SOPS 59817 HAS SOUS 49320 HAS SOUPS 49320 WITH SCORE 49379.817
AT ITER 3608 NEW BEST:: SOT 107869 SOS 59815 HAS SOPS 59815 HAS SOUS 49318 HAS SOUPS 49318 WITH SCORE 49377.815
AT ITER 3609 NEW BEST:: SOT 107869 SOS 59815 HAS SOPS 59815 HAS SOUS 49307 HAS SOUPS 49307 WITH SCORE 49366.815
AT ITER 3611 NEW BEST:: SOT 107869 SOS 59844 HAS SOPS 59844 HAS SOUS 49289 HAS SOUPS 49289 WITH SCORE 49348.844
AT ITER 3627 NEW BEST:: SOT 107845 SOS 59820 HAS SOPS 59820 HAS SOUS 49243 HAS SOUPS 49243 WITH SCORE 49302.82
AT ITER 3641 NEW BEST:: SOT 107845 SOS 59765 HAS SOPS 59765 HAS SOUS 49243 HAS SOUPS 49243 WITH SCORE 49302.765
AT ITER 3644 NEW BEST:: SOT 107831 SOS 59751 HAS SOPS 59751 HAS SOUS 49229 HAS SOUPS 49229 WITH SCORE 49288.751
AT ITER 3650 NEW BEST:: SOT 107833 SOS 59753 HAS SOPS 59753 HAS SOUS 49220 HAS SOUPS 49220 WITH SCORE 49279.753
AT ITER 3665 NEW BEST:: SOT 107730 SOS 59705 HAS SOPS 59705 HAS SOUS 49172 HAS SOUPS 49172 WITH SCORE 49231.705
AT ITER 3686 NEW BEST:: SOT 107628 SOS 59739 HAS SOPS 59739 HAS SOUS 49148 HAS SOUPS 49148 WITH SCORE 49207.739
AT ITER 3695 NEW BEST:: SOT 107628 SOS 59721 HAS SOPS 59721 HAS SOUS 49148 HAS SOUPS 49148 WITH SCORE 49207.721
AT ITER 3720 NEW BEST:: SOT 107614 SOS 59707 HAS SOPS 59707 HAS SOUS 49134 HAS SOUPS 49134 WITH SCORE 49193.707
AT ITER 3734 NEW BEST:: SOT 107572 SOS 59665 HAS SOPS 59665 HAS SOUS 49092 HAS SOUPS 49092 WITH SCORE 49151.665
AT ITER 3742 NEW BEST:: SOT 107551 SOS 59644 HAS SOPS 59644 HAS SOUS 49071 HAS SOUPS 49071 WITH SCORE 49130.644
AT ITER 3744 NEW BEST:: SOT 107551 SOS 59644 HAS SOPS 59644 HAS SOUS 49048 HAS SOUPS 49048 WITH SCORE 49107.644
AT ITER 3756 NEW BEST:: SOT 107550 SOS 59626 HAS SOPS 59626 HAS SOUS 49030 HAS SOUPS 49030 WITH SCORE 49089.626
AT ITER 3757 NEW BEST:: SOT 107392 SOS 59591 HAS SOPS 59591 HAS SOUS 49000 HAS SOUPS 49000 WITH SCORE 49059.591
AT ITER 3759 NEW BEST:: SOT 107348 SOS 59721 HAS SOPS 59721 HAS SOUS 48956 HAS SOUPS 48956 WITH SCORE 49015.721
AT ITER 3763 NEW BEST:: SOT 107348 SOS 59721 HAS SOPS 59721 HAS SOUS 48942 HAS SOUPS 48942 WITH SCORE 49001.721
AT ITER 3769 NEW BEST:: SOT 107348 SOS 59721 HAS SOPS 59721 HAS SOUS 48919 HAS SOUPS 48919 WITH SCORE 48978.721
AT ITER 3783 NEW BEST:: SOT 107374 SOS 59792 HAS SOPS 59792 HAS SOUS 48879 HAS SOUPS 48879 WITH SCORE 48938.792
AT ITER 3784 NEW BEST:: SOT 107374 SOS 59775 HAS SOPS 59775 HAS SOUS 48879 HAS SOUPS 48879 WITH SCORE 48938.775
AT ITER 3789 NEW BEST:: SOT 107350 SOS 59738 HAS SOPS 59738 HAS SOUS 48838 HAS SOUPS 48838 WITH SCORE 48897.738
AT ITER 3801 NEW BEST:: SOT 107332 SOS 59720 HAS SOPS 59720 HAS SOUS 48820 HAS SOUPS 48820 WITH SCORE 48879.72
AT ITER 3817 NEW BEST:: SOT 107332 SOS 59706 HAS SOPS 59706 HAS SOUS 48806 HAS SOUPS 48806 WITH SCORE 48865.706
AT ITER 3852 NEW BEST:: SOT 107276 SOS 59935 HAS SOPS 59935 HAS SOUS 48752 HAS SOUPS 48752 WITH SCORE 48811.935
AT ITER 3858 NEW BEST:: SOT 107276 SOS 59895 HAS SOPS 59895 HAS SOUS 48732 HAS SOUPS 48732 WITH SCORE 48791.895
AT ITER 3869 NEW BEST:: SOT 107276 SOS 59853 HAS SOPS 59853 HAS SOUS 48730 HAS SOUPS 48730 WITH SCORE 48789.853
AT ITER 3876 NEW BEST:: SOT 107246 SOS 59998 HAS SOPS 59998 HAS SOUS 48707 HAS SOUPS 48707 WITH SCORE 48766.998
AT ITER 3879 NEW BEST:: SOT 107136 SOS 59937 HAS SOPS 59937 HAS SOUS 48678 HAS SOUPS 48678 WITH SCORE 48737.937
AT ITER 3882 NEW BEST:: SOT 107136 SOS 59937 HAS SOPS 59937 HAS SOUS 48677 HAS SOUPS 48677 WITH SCORE 48736.937
AT ITER 3886 NEW BEST:: SOT 107136 SOS 59869 HAS SOPS 59869 HAS SOUS 48677 HAS SOUPS 48677 WITH SCORE 48736.869
AT ITER 3888 NEW BEST:: SOT 107136 SOS 59872 HAS SOPS 59872 HAS SOUS 48658 HAS SOUPS 48658 WITH SCORE 48717.872
AT ITER 3889 NEW BEST:: SOT 107136 SOS 59958 HAS SOPS 59958 HAS SOUS 48647 HAS SOUPS 48647 WITH SCORE 48706.958
AT ITER 3894 NEW BEST:: SOT 107136 SOS 59956 HAS SOPS 59956 HAS SOUS 48646 HAS SOUPS 48646 WITH SCORE 48705.956
AT ITER 3910 NEW BEST:: SOT 107093 SOS 59874 HAS SOPS 59874 HAS SOUS 48583 HAS SOUPS 48583 WITH SCORE 48642.874
AT ITER 3956 NEW BEST:: SOT 107050 SOS 59848 HAS SOPS 59848 HAS SOUS 48574 HAS SOUPS 48574 WITH SCORE 48633.848
AT ITER 3969 NEW BEST:: SOT 107046 SOS 59830 HAS SOPS 59830 HAS SOUS 48570 HAS SOUPS 48570 WITH SCORE 48629.83
AT ITER 3976 NEW BEST:: SOT 107022 SOS 59814 HAS SOPS 59814 HAS SOUS 48554 HAS SOUPS 48554 WITH SCORE 48613.814
AT ITER 4003 NEW BEST:: SOT 107022 SOS 59814 HAS SOPS 59814 HAS SOUS 48540 HAS SOUPS 48540 WITH SCORE 48599.814
AT ITER 4025 NEW BEST:: SOT 106968 SOS 59908 HAS SOPS 59908 HAS SOUS 48523 HAS SOUPS 48523 WITH SCORE 48582.908
AT ITER 4030 NEW BEST:: SOT 106941 SOS 59922 HAS SOPS 59922 HAS SOUS 48500 HAS SOUPS 48500 WITH SCORE 48559.922
AT ITER 4038 NEW BEST:: SOT 106990 SOS 59945 HAS SOPS 59945 HAS SOUS 48460 HAS SOUPS 48460 WITH SCORE 48519.945
AT ITER 4050 NEW BEST:: SOT 106959 SOS 60121 HAS SOPS 60121 HAS SOUS 48451 HAS SOUPS 48451 WITH SCORE 48511.121
AT ITER 4051 NEW BEST:: SOT 106470 SOS 60508 HAS SOPS 60508 HAS SOUS 48435 HAS SOUPS 48435 WITH SCORE 48495.508
AT ITER 4060 NEW BEST:: SOT 106470 SOS 60499 HAS SOPS 60499 HAS SOUS 48435 HAS SOUPS 48435 WITH SCORE 48495.499
AT ITER 4067 NEW BEST:: SOT 106470 SOS 60228 HAS SOPS 60228 HAS SOUS 48396 HAS SOUPS 48396 WITH SCORE 48456.228
AT ITER 4073 NEW BEST:: SOT 106470 SOS 60212 HAS SOPS 60212 HAS SOUS 48387 HAS SOUPS 48387 WITH SCORE 48447.212
AT ITER 4088 NEW BEST:: SOT 106420 SOS 60022 HAS SOPS 60022 HAS SOUS 48337 HAS SOUPS 48337 WITH SCORE 48397.022
AT ITER 4104 NEW BEST:: SOT 106423 SOS 60025 HAS SOPS 60025 HAS SOUS 48312 HAS SOUPS 48312 WITH SCORE 48372.025
AT ITER 4109 NEW BEST:: SOT 106423 SOS 60013 HAS SOPS 60013 HAS SOUS 48312 HAS SOUPS 48312 WITH SCORE 48372.013
AT ITER 4115 NEW BEST:: SOT 106404 SOS 60012 HAS SOPS 60012 HAS SOUS 48293 HAS SOUPS 48293 WITH SCORE 48353.012
AT ITER 4121 NEW BEST:: SOT 106400 SOS 60010 HAS SOPS 60010 HAS SOUS 48291 HAS SOUPS 48291 WITH SCORE 48351.01
AT ITER 4123 NEW BEST:: SOT 106400 SOS 60001 HAS SOPS 60001 HAS SOUS 48282 HAS SOUPS 48282 WITH SCORE 48342.001
AT ITER 4145 NEW BEST:: SOT 106229 SOS 60038 HAS SOPS 60038 HAS SOUS 48229 HAS SOUPS 48229 WITH SCORE 48289.038
AT ITER 4160 NEW BEST:: SOT 106109 SOS 59920 HAS SOPS 59920 HAS SOUS 48149 HAS SOUPS 48149 WITH SCORE 48208.92
AT ITER 4176 NEW BEST:: SOT 106091 SOS 59902 HAS SOPS 59902 HAS SOUS 48131 HAS SOUPS 48131 WITH SCORE 48190.902
AT ITER 4184 NEW BEST:: SOT 106091 SOS 59895 HAS SOPS 59895 HAS SOUS 48131 HAS SOUPS 48131 WITH SCORE 48190.895
AT ITER 4195 NEW BEST:: SOT 106091 SOS 59855 HAS SOPS 59855 HAS SOUS 48091 HAS SOUPS 48091 WITH SCORE 48150.855
AT ITER 4196 NEW BEST:: SOT 105974 SOS 59839 HAS SOPS 59839 HAS SOUS 47990 HAS SOUPS 47990 WITH SCORE 48049.839
AT ITER 4223 NEW BEST:: SOT 106112 SOS 59845 HAS SOPS 59845 HAS SOUS 47948 HAS SOUPS 47948 WITH SCORE 48007.845
AT ITER 4230 NEW BEST:: SOT 106099 SOS 59841 HAS SOPS 59841 HAS SOUS 47944 HAS SOUPS 47944 WITH SCORE 48003.841
AT ITER 4231 NEW BEST:: SOT 106099 SOS 59871 HAS SOPS 59871 HAS SOUS 47938 HAS SOUPS 47938 WITH SCORE 47997.871
AT ITER 4233 NEW BEST:: SOT 106099 SOS 59830 HAS SOPS 59830 HAS SOUS 47938 HAS SOUPS 47938 WITH SCORE 47997.83
AT ITER 4266 NEW BEST:: SOT 106091 SOS 59829 HAS SOPS 59829 HAS SOUS 47937 HAS SOUPS 47937 WITH SCORE 47996.829
AT ITER 4268 NEW BEST:: SOT 106060 SOS 59882 HAS SOPS 59882 HAS SOUS 47931 HAS SOUPS 47931 WITH SCORE 47990.882
AT ITER 4278 NEW BEST:: SOT 106054 SOS 59803 HAS SOPS 59803 HAS SOUS 47876 HAS SOUPS 47876 WITH SCORE 47935.803
AT ITER 4281 NEW BEST:: SOT 106046 SOS 59795 HAS SOPS 59795 HAS SOUS 47868 HAS SOUPS 47868 WITH SCORE 47927.795
AT ITER 4303 NEW BEST:: SOT 106008 SOS 59757 HAS SOPS 59757 HAS SOUS 47830 HAS SOUPS 47830 WITH SCORE 47889.757
AT ITER 4305 NEW BEST:: SOT 106007 SOS 59756 HAS SOPS 59756 HAS SOUS 47829 HAS SOUPS 47829 WITH SCORE 47888.756
AT ITER 4312 NEW BEST:: SOT 105978 SOS 59887 HAS SOPS 59887 HAS SOUS 47808 HAS SOUPS 47808 WITH SCORE 47867.887
AT ITER 4315 NEW BEST:: SOT 105961 SOS 59870 HAS SOPS 59870 HAS SOUS 47791 HAS SOUPS 47791 WITH SCORE 47850.87
AT ITER 4328 NEW BEST:: SOT 105919 SOS 59848 HAS SOPS 59848 HAS SOUS 47769 HAS SOUPS 47769 WITH SCORE 47828.848
AT ITER 4339 NEW BEST:: SOT 105919 SOS 59508 HAS SOPS 59508 HAS SOUS 47769 HAS SOUPS 47769 WITH SCORE 47828.508
AT ITER 4341 NEW BEST:: SOT 105904 SOS 59493 HAS SOPS 59493 HAS SOUS 47755 HAS SOUPS 47755 WITH SCORE 47814.493
AT ITER 4365 NEW BEST:: SOT 105904 SOS 59405 HAS SOPS 59405 HAS SOUS 47755 HAS SOUPS 47755 WITH SCORE 47814.405
AT ITER 4372 NEW BEST:: SOT 105904 SOS 59350 HAS SOPS 59350 HAS SOUS 47755 HAS SOUPS 47755 WITH SCORE 47814.35
AT ITER 4385 NEW BEST:: SOT 105904 SOS 59350 HAS SOPS 59350 HAS SOUS 47743 HAS SOUPS 47743 WITH SCORE 47802.35
AT ITER 4427 NEW BEST:: SOT 105871 SOS 59317 HAS SOPS 59317 HAS SOUS 47710 HAS SOUPS 47710 WITH SCORE 47769.317
AT ITER 4434 NEW BEST:: SOT 105852 SOS 59298 HAS SOPS 59298 HAS SOUS 47692 HAS SOUPS 47692 WITH SCORE 47751.298
AT ITER 4435 NEW BEST:: SOT 105852 SOS 59278 HAS SOPS 59278 HAS SOUS 47692 HAS SOUPS 47692 WITH SCORE 47751.278
AT ITER 4446 NEW BEST:: SOT 105857 SOS 59258 HAS SOPS 59258 HAS SOUS 47690 HAS SOUPS 47690 WITH SCORE 47749.258
AT ITER 4478 NEW BEST:: SOT 105870 SOS 59271 HAS SOPS 59271 HAS SOUS 47656 HAS SOUPS 47656 WITH SCORE 47715.271
AT ITER 4492 NEW BEST:: SOT 105749 SOS 59225 HAS SOPS 59225 HAS SOUS 47636 HAS SOUPS 47636 WITH SCORE 47695.225
AT ITER 4499 NEW BEST:: SOT 105749 SOS 59212 HAS SOPS 59212 HAS SOUS 47636 HAS SOUPS 47636 WITH SCORE 47695.212
AT ITER 4515 NEW BEST:: SOT 105749 SOS 59203 HAS SOPS 59203 HAS SOUS 47636 HAS SOUPS 47636 WITH SCORE 47695.203
AT ITER 4547 NEW BEST:: SOT 105743 SOS 59141 HAS SOPS 59141 HAS SOUS 47598 HAS SOUPS 47598 WITH SCORE 47657.141
AT ITER 4549 NEW BEST:: SOT 105732 SOS 59130 HAS SOPS 59130 HAS SOUS 47587 HAS SOUPS 47587 WITH SCORE 47646.13
AT ITER 4559 NEW BEST:: SOT 105770 SOS 59133 HAS SOPS 59133 HAS SOUS 47537 HAS SOUPS 47537 WITH SCORE 47596.133
AT ITER 4584 NEW BEST:: SOT 105770 SOS 59128 HAS SOPS 59128 HAS SOUS 47537 HAS SOUPS 47537 WITH SCORE 47596.128
AT ITER 4585 NEW BEST:: SOT 105750 SOS 59217 HAS SOPS 59217 HAS SOUS 47527 HAS SOUPS 47527 WITH SCORE 47586.217
AT ITER 4588 NEW BEST:: SOT 105750 SOS 59215 HAS SOPS 59215 HAS SOUS 47525 HAS SOUPS 47525 WITH SCORE 47584.215
AT ITER 4628 NEW BEST:: SOT 105744 SOS 59211 HAS SOPS 59211 HAS SOUS 47519 HAS SOUPS 47519 WITH SCORE 47578.211
AT ITER 4634 NEW BEST:: SOT 105744 SOS 59187 HAS SOPS 59187 HAS SOUS 47518 HAS SOUPS 47518 WITH SCORE 47577.187
AT ITER 4681 NEW BEST:: SOT 105742 SOS 59175 HAS SOPS 59175 HAS SOUS 47511 HAS SOUPS 47511 WITH SCORE 47570.175
AT ITER 4692 NEW BEST:: SOT 105732 SOS 59165 HAS SOPS 59165 HAS SOUS 47501 HAS SOUPS 47501 WITH SCORE 47560.165
AT ITER 4696 NEW BEST:: SOT 105732 SOS 59082 HAS SOPS 59082 HAS SOUS 47493 HAS SOUPS 47493 WITH SCORE 47552.082
AT ITER 4704 NEW BEST:: SOT 105732 SOS 59061 HAS SOPS 59061 HAS SOUS 47460 HAS SOUPS 47460 WITH SCORE 47519.061
AT ITER 4718 NEW BEST:: SOT 105732 SOS 59054 HAS SOPS 59054 HAS SOUS 47460 HAS SOUPS 47460 WITH SCORE 47519.054
AT ITER 4731 NEW BEST:: SOT 105728 SOS 59050 HAS SOPS 59050 HAS SOUS 47456 HAS SOUPS 47456 WITH SCORE 47515.05
AT ITER 4735 NEW BEST:: SOT 105728 SOS 59050 HAS SOPS 59050 HAS SOUS 47453 HAS SOUPS 47453 WITH SCORE 47512.05
AT ITER 4741 NEW BEST:: SOT 105728 SOS 59037 HAS SOPS 59037 HAS SOUS 47453 HAS SOUPS 47453 WITH SCORE 47512.037
AT ITER 4743 NEW BEST:: SOT 105697 SOS 59017 HAS SOPS 59017 HAS SOUS 47433 HAS SOUPS 47433 WITH SCORE 47492.017
AT ITER 4747 NEW BEST:: SOT 105695 SOS 59015 HAS SOPS 59015 HAS SOUS 47431 HAS SOUPS 47431 WITH SCORE 47490.015
AT ITER 4748 NEW BEST:: SOT 105685 SOS 59005 HAS SOPS 59005 HAS SOUS 47421 HAS SOUPS 47421 WITH SCORE 47480.005
AT ITER 4752 NEW BEST:: SOT 105665 SOS 58985 HAS SOPS 58985 HAS SOUS 47377 HAS SOUPS 47377 WITH SCORE 47435.985
AT ITER 4755 NEW BEST:: SOT 105601 SOS 58943 HAS SOPS 58943 HAS SOUS 47371 HAS SOUPS 47371 WITH SCORE 47429.943
AT ITER 4759 NEW BEST:: SOT 105592 SOS 58936 HAS SOPS 58936 HAS SOUS 47364 HAS SOUPS 47364 WITH SCORE 47422.936
AT ITER 4774 NEW BEST:: SOT 105462 SOS 58948 HAS SOPS 58948 HAS SOUS 47354 HAS SOUPS 47354 WITH SCORE 47412.948
AT ITER 4775 NEW BEST:: SOT 105462 SOS 58948 HAS SOPS 58948 HAS SOUS 47350 HAS SOUPS 47350 WITH SCORE 47408.948
AT ITER 4832 NEW BEST:: SOT 105443 SOS 58929 HAS SOPS 58929 HAS SOUS 47331 HAS SOUPS 47331 WITH SCORE 47389.929
AT ITER 4846 NEW BEST:: SOT 105443 SOS 58924 HAS SOPS 58924 HAS SOUS 47308 HAS SOUPS 47308 WITH SCORE 47366.924
AT ITER 4861 NEW BEST:: SOT 105435 SOS 58916 HAS SOPS 58916 HAS SOUS 47296 HAS SOUPS 47296 WITH SCORE 47354.916
AT ITER 4864 NEW BEST:: SOT 105453 SOS 58931 HAS SOPS 58931 HAS SOUS 47272 HAS SOUPS 47272 WITH SCORE 47330.931
AT ITER 4894 NEW BEST:: SOT 105438 SOS 58916 HAS SOPS 58916 HAS SOUS 47266 HAS SOUPS 47266 WITH SCORE 47324.916
AT ITER 4901 NEW BEST:: SOT 105479 SOS 58903 HAS SOPS 58903 HAS SOUS 47264 HAS SOUPS 47264 WITH SCORE 47322.903
AT ITER 4908 NEW BEST:: SOT 105452 SOS 58876 HAS SOPS 58876 HAS SOUS 47209 HAS SOUPS 47209 WITH SCORE 47267.876
AT ITER 4926 NEW BEST:: SOT 105452 SOS 58827 HAS SOPS 58827 HAS SOUS 47192 HAS SOUPS 47192 WITH SCORE 47250.827
AT ITER 4947 NEW BEST:: SOT 105441 SOS 58978 HAS SOPS 58978 HAS SOUS 47186 HAS SOUPS 47186 WITH SCORE 47244.978
AT ITER 4949 NEW BEST:: SOT 105441 SOS 58948 HAS SOPS 58948 HAS SOUS 47186 HAS SOUPS 47186 WITH SCORE 47244.948
AT ITER 4955 NEW BEST:: SOT 105441 SOS 58998 HAS SOPS 58998 HAS SOUS 47182 HAS SOUPS 47182 WITH SCORE 47240.998
AT ITER 4960 NEW BEST:: SOT 105440 SOS 58999 HAS SOPS 58999 HAS SOUS 47181 HAS SOUPS 47181 WITH SCORE 47239.999
AT ITER 4999 NEW BEST:: SOT 105378 SOS 58937 HAS SOPS 58937 HAS SOUS 47119 HAS SOUPS 47119 WITH SCORE 47177.937
AT ITER 5011 NEW BEST:: SOT 105378 SOS 58937 HAS SOPS 58937 HAS SOUS 47107 HAS SOUPS 47107 WITH SCORE 47165.937
AT ITER 5020 NEW BEST:: SOT 105403 SOS 58962 HAS SOPS 58962 HAS SOUS 47105 HAS SOUPS 47105 WITH SCORE 47163.962
AT ITER 5029 NEW BEST:: SOT 105403 SOS 58954 HAS SOPS 58954 HAS SOUS 47096 HAS SOUPS 47096 WITH SCORE 47154.954
AT ITER 5056 NEW BEST:: SOT 105357 SOS 58908 HAS SOPS 58908 HAS SOUS 47060 HAS SOUPS 47060 WITH SCORE 47118.908
AT ITER 5066 NEW BEST:: SOT 105357 SOS 58816 HAS SOPS 58816 HAS SOUS 47060 HAS SOUPS 47060 WITH SCORE 47118.816
AT ITER 5083 NEW BEST:: SOT 105269 SOS 58773 HAS SOPS 58773 HAS SOUS 47015 HAS SOUPS 47015 WITH SCORE 47073.773
AT ITER 5084 NEW BEST:: SOT 105269 SOS 58773 HAS SOPS 58773 HAS SOUS 46996 HAS SOUPS 46996 WITH SCORE 47054.773
AT ITER 5129 NEW BEST:: SOT 105269 SOS 58766 HAS SOPS 58766 HAS SOUS 46996 HAS SOUPS 46996 WITH SCORE 47054.766
AT ITER 5153 NEW BEST:: SOT 105272 SOS 58769 HAS SOPS 58769 HAS SOUS 46974 HAS SOUPS 46974 WITH SCORE 47032.769
AT ITER 5155 NEW BEST:: SOT 105235 SOS 58783 HAS SOPS 58783 HAS SOUS 46954 HAS SOUPS 46954 WITH SCORE 47012.783
AT ITER 5156 NEW BEST:: SOT 105235 SOS 58742 HAS SOPS 58742 HAS SOUS 46954 HAS SOUPS 46954 WITH SCORE 47012.742
AT ITER 5168 NEW BEST:: SOT 105211 SOS 58726 HAS SOPS 58726 HAS SOUS 46952 HAS SOUPS 46952 WITH SCORE 47010.726
AT ITER 5170 NEW BEST:: SOT 105211 SOS 58726 HAS SOPS 58726 HAS SOUS 46902 HAS SOUPS 46902 WITH SCORE 46960.726
AT ITER 5185 NEW BEST:: SOT 105211 SOS 58719 HAS SOPS 58719 HAS SOUS 46902 HAS SOUPS 46902 WITH SCORE 46960.719
AT ITER 5195 NEW BEST:: SOT 105163 SOS 58671 HAS SOPS 58671 HAS SOUS 46854 HAS SOUPS 46854 WITH SCORE 46912.671
AT ITER 5200 NEW BEST:: SOT 105088 SOS 58559 HAS SOPS 58559 HAS SOUS 46840 HAS SOUPS 46840 WITH SCORE 46898.559
AT ITER 5204 NEW BEST:: SOT 105085 SOS 58556 HAS SOPS 58556 HAS SOUS 46825 HAS SOUPS 46825 WITH SCORE 46883.556
AT ITER 5207 NEW BEST:: SOT 105085 SOS 58556 HAS SOPS 58556 HAS SOUS 46800 HAS SOUPS 46800 WITH SCORE 46858.556
AT ITER 5209 NEW BEST:: SOT 105061 SOS 58530 HAS SOPS 58530 HAS SOUS 46774 HAS SOUPS 46774 WITH SCORE 46832.53
AT ITER 5249 NEW BEST:: SOT 105048 SOS 58545 HAS SOPS 58545 HAS SOUS 46769 HAS SOUPS 46769 WITH SCORE 46827.545
AT ITER 5272 NEW BEST:: SOT 105048 SOS 58545 HAS SOPS 58545 HAS SOUS 46739 HAS SOUPS 46739 WITH SCORE 46797.545
AT ITER 5286 NEW BEST:: SOT 105043 SOS 58540 HAS SOPS 58540 HAS SOUS 46734 HAS SOUPS 46734 WITH SCORE 46792.54
AT ITER 5322 NEW BEST:: SOT 105031 SOS 58528 HAS SOPS 58528 HAS SOUS 46698 HAS SOUPS 46698 WITH SCORE 46756.528
AT ITER 5334 NEW BEST:: SOT 105025 SOS 58486 HAS SOPS 58486 HAS SOUS 46659 HAS SOUPS 46659 WITH SCORE 46717.486
AT ITER 5410 NEW BEST:: SOT 105010 SOS 58478 HAS SOPS 58478 HAS SOUS 46651 HAS SOUPS 46651 WITH SCORE 46709.478
AT ITER 5413 NEW BEST:: SOT 105010 SOS 58476 HAS SOPS 58476 HAS SOUS 46651 HAS SOUPS 46651 WITH SCORE 46709.476
AT ITER 5428 NEW BEST:: SOT 105010 SOS 58449 HAS SOPS 58449 HAS SOUS 46642 HAS SOUPS 46642 WITH SCORE 46700.449
AT ITER 5445 NEW BEST:: SOT 105010 SOS 58449 HAS SOPS 58449 HAS SOUS 46641 HAS SOUPS 46641 WITH SCORE 46699.449
AT ITER 5454 NEW BEST:: SOT 105003 SOS 58442 HAS SOPS 58442 HAS SOUS 46634 HAS SOUPS 46634 WITH SCORE 46692.442
AT ITER 5463 NEW BEST:: SOT 105003 SOS 58558 HAS SOPS 58558 HAS SOUS 46631 HAS SOUPS 46631 WITH SCORE 46689.558
AT ITER 5480 NEW BEST:: SOT 105003 SOS 58548 HAS SOPS 58548 HAS SOUS 46623 HAS SOUPS 46623 WITH SCORE 46681.548
AT ITER 5502 NEW BEST:: SOT 104812 SOS 58513 HAS SOPS 58513 HAS SOUS 46501 HAS SOUPS 46501 WITH SCORE 46559.513
AT ITER 5530 NEW BEST:: SOT 104825 SOS 58511 HAS SOPS 58511 HAS SOUS 46465 HAS SOUPS 46465 WITH SCORE 46523.511
AT ITER 5566 NEW BEST:: SOT 104819 SOS 58505 HAS SOPS 58505 HAS SOUS 46459 HAS SOUPS 46459 WITH SCORE 46517.505
AT ITER 5576 NEW BEST:: SOT 104730 SOS 58471 HAS SOPS 58471 HAS SOUS 46399 HAS SOUPS 46399 WITH SCORE 46457.471
AT ITER 5581 NEW BEST:: SOT 104725 SOS 58466 HAS SOPS 58466 HAS SOUS 46394 HAS SOUPS 46394 WITH SCORE 46452.466
AT ITER 5610 NEW BEST:: SOT 104725 SOS 58466 HAS SOPS 58466 HAS SOUS 46352 HAS SOUPS 46352 WITH SCORE 46410.466
AT ITER 5611 NEW BEST:: SOT 104733 SOS 58430 HAS SOPS 58430 HAS SOUS 46330 HAS SOUPS 46330 WITH SCORE 46388.43
AT ITER 5624 NEW BEST:: SOT 104719 SOS 58416 HAS SOPS 58416 HAS SOUS 46316 HAS SOUPS 46316 WITH SCORE 46374.416
AT ITER 5654 NEW BEST:: SOT 104692 SOS 58511 HAS SOPS 58511 HAS SOUS 46313 HAS SOUPS 46313 WITH SCORE 46371.511
AT ITER 5701 NEW BEST:: SOT 104665 SOS 58484 HAS SOPS 58484 HAS SOUS 46235 HAS SOUPS 46235 WITH SCORE 46293.484
AT ITER 5734 NEW BEST:: SOT 104753 SOS 58529 HAS SOPS 58529 HAS SOUS 46226 HAS SOUPS 46226 WITH SCORE 46284.529
AT ITER 5794 NEW BEST:: SOT 104736 SOS 58595 HAS SOPS 58595 HAS SOUS 46219 HAS SOUPS 46219 WITH SCORE 46277.595
AT ITER 5819 NEW BEST:: SOT 104704 SOS 58563 HAS SOPS 58563 HAS SOUS 46154 HAS SOUPS 46154 WITH SCORE 46212.563
AT ITER 5828 NEW BEST:: SOT 104484 SOS 58756 HAS SOPS 58756 HAS SOUS 46144 HAS SOUPS 46144 WITH SCORE 46202.756
AT ITER 5833 NEW BEST:: SOT 104482 SOS 58754 HAS SOPS 58754 HAS SOUS 46142 HAS SOUPS 46142 WITH SCORE 46200.754
AT ITER 5864 NEW BEST:: SOT 104482 SOS 58676 HAS SOPS 58676 HAS SOUS 46141 HAS SOUPS 46141 WITH SCORE 46199.676
AT ITER 5866 NEW BEST:: SOT 104466 SOS 58881 HAS SOPS 58881 HAS SOUS 46135 HAS SOUPS 46135 WITH SCORE 46193.881
AT ITER 5887 NEW BEST:: SOT 104433 SOS 58837 HAS SOPS 58837 HAS SOUS 46099 HAS SOUPS 46099 WITH SCORE 46157.837
AT ITER 5919 NEW BEST:: SOT 104444 SOS 58837 HAS SOPS 58837 HAS SOUS 46089 HAS SOUPS 46089 WITH SCORE 46147.837
AT ITER 5935 NEW BEST:: SOT 104444 SOS 58798 HAS SOPS 58798 HAS SOUS 46089 HAS SOUPS 46089 WITH SCORE 46147.798
AT ITER 5942 NEW BEST:: SOT 104418 SOS 58907 HAS SOPS 58907 HAS SOUS 46077 HAS SOUPS 46077 WITH SCORE 46135.907
AT ITER 5959 NEW BEST:: SOT 104418 SOS 58907 HAS SOPS 58907 HAS SOUS 46061 HAS SOUPS 46061 WITH SCORE 46119.907
AT ITER 5975 NEW BEST:: SOT 104418 SOS 58903 HAS SOPS 58903 HAS SOUS 46061 HAS SOUPS 46061 WITH SCORE 46119.903
AT ITER 5982 NEW BEST:: SOT 104452 SOS 58937 HAS SOPS 58937 HAS SOUS 45970 HAS SOUPS 45970 WITH SCORE 46028.937
AT ITER 5995 NEW BEST:: SOT 104452 SOS 58937 HAS SOPS 58937 HAS SOUS 45962 HAS SOUPS 45962 WITH SCORE 46020.937
AT ITER 6000 NEW BEST:: SOT 104418 SOS 58954 HAS SOPS 58954 HAS SOUS 45928 HAS SOUPS 45928 WITH SCORE 45986.954
AT ITER 6006 NEW BEST:: SOT 104396 SOS 59142 HAS SOPS 59142 HAS SOUS 45906 HAS SOUPS 45906 WITH SCORE 45965.142
AT ITER 6008 NEW BEST:: SOT 104378 SOS 59124 HAS SOPS 59124 HAS SOUS 45885 HAS SOUPS 45885 WITH SCORE 45944.124
AT ITER 6017 NEW BEST:: SOT 104333 SOS 59214 HAS SOPS 59214 HAS SOUS 45873 HAS SOUPS 45873 WITH SCORE 45932.214
AT ITER 6028 NEW BEST:: SOT 104267 SOS 59089 HAS SOPS 59089 HAS SOUS 45869 HAS SOUPS 45869 WITH SCORE 45928.089
AT ITER 6057 NEW BEST:: SOT 104267 SOS 59094 HAS SOPS 59094 HAS SOUS 45865 HAS SOUPS 45865 WITH SCORE 45924.094
AT ITER 6060 NEW BEST:: SOT 104267 SOS 59091 HAS SOPS 59091 HAS SOUS 45862 HAS SOUPS 45862 WITH SCORE 45921.091
AT ITER 6063 NEW BEST:: SOT 103973 SOS 59025 HAS SOPS 59025 HAS SOUS 45745 HAS SOUPS 45745 WITH SCORE 45804.025
AT ITER 6103 NEW BEST:: SOT 103961 SOS 59017 HAS SOPS 59017 HAS SOUS 45737 HAS SOUPS 45737 WITH SCORE 45796.017
AT ITER 6113 NEW BEST:: SOT 103948 SOS 59004 HAS SOPS 59004 HAS SOUS 45726 HAS SOUPS 45726 WITH SCORE 45785.004
AT ITER 6114 NEW BEST:: SOT 103918 SOS 59135 HAS SOPS 59135 HAS SOUS 45716 HAS SOUPS 45716 WITH SCORE 45775.135
AT ITER 6123 NEW BEST:: SOT 103932 SOS 59143 HAS SOPS 59143 HAS SOUS 45712 HAS SOUPS 45712 WITH SCORE 45771.143
AT ITER 6128 NEW BEST:: SOT 103918 SOS 59157 HAS SOPS 59157 HAS SOUS 45698 HAS SOUPS 45698 WITH SCORE 45757.157
AT ITER 6139 NEW BEST:: SOT 103918 SOS 59157 HAS SOPS 59157 HAS SOUS 45669 HAS SOUPS 45669 WITH SCORE 45728.157
AT ITER 6149 NEW BEST:: SOT 103916 SOS 59155 HAS SOPS 59155 HAS SOUS 45667 HAS SOUPS 45667 WITH SCORE 45726.155
AT ITER 6195 NEW BEST:: SOT 103913 SOS 59152 HAS SOPS 59152 HAS SOUS 45664 HAS SOUPS 45664 WITH SCORE 45723.152
AT ITER 6206 NEW BEST:: SOT 103885 SOS 59124 HAS SOPS 59124 HAS SOUS 45636 HAS SOUPS 45636 WITH SCORE 45695.124
AT ITER 6217 NEW BEST:: SOT 103937 SOS 59278 HAS SOPS 59278 HAS SOUS 45613 HAS SOUPS 45613 WITH SCORE 45672.278
AT ITER 6233 NEW BEST:: SOT 103937 SOS 59258 HAS SOPS 59258 HAS SOUS 45613 HAS SOUPS 45613 WITH SCORE 45672.258
AT ITER 6242 NEW BEST:: SOT 103927 SOS 59253 HAS SOPS 59253 HAS SOUS 45610 HAS SOUPS 45610 WITH SCORE 45669.253
AT ITER 6265 NEW BEST:: SOT 103855 SOS 59216 HAS SOPS 59216 HAS SOUS 45608 HAS SOUPS 45608 WITH SCORE 45667.216
AT ITER 6271 NEW BEST:: SOT 103810 SOS 59207 HAS SOPS 59207 HAS SOUS 45596 HAS SOUPS 45596 WITH SCORE 45655.207
AT ITER 6273 NEW BEST:: SOT 103810 SOS 59207 HAS SOPS 59207 HAS SOUS 45594 HAS SOUPS 45594 WITH SCORE 45653.207
AT ITER 6282 NEW BEST:: SOT 103799 SOS 59196 HAS SOPS 59196 HAS SOUS 45556 HAS SOUPS 45556 WITH SCORE 45615.196
AT ITER 6295 NEW BEST:: SOT 103799 SOS 59159 HAS SOPS 59159 HAS SOUS 45517 HAS SOUPS 45517 WITH SCORE 45576.159
AT ITER 6298 NEW BEST:: SOT 103741 SOS 59101 HAS SOPS 59101 HAS SOUS 45374 HAS SOUPS 45374 WITH SCORE 45433.101
AT ITER 6310 NEW BEST:: SOT 103600 SOS 59018 HAS SOPS 59018 HAS SOUS 45351 HAS SOUPS 45351 WITH SCORE 45410.018
AT ITER 6330 NEW BEST:: SOT 103654 SOS 59048 HAS SOPS 59048 HAS SOUS 45339 HAS SOUPS 45339 WITH SCORE 45398.048
AT ITER 6352 NEW BEST:: SOT 103654 SOS 59034 HAS SOPS 59034 HAS SOUS 45339 HAS SOUPS 45339 WITH SCORE 45398.034
AT ITER 6354 NEW BEST:: SOT 103638 SOS 59018 HAS SOPS 59018 HAS SOUS 45323 HAS SOUPS 45323 WITH SCORE 45382.018
AT ITER 6372 NEW BEST:: SOT 103632 SOS 59012 HAS SOPS 59012 HAS SOUS 45317 HAS SOUPS 45317 WITH SCORE 45376.012
AT ITER 6391 NEW BEST:: SOT 103626 SOS 59006 HAS SOPS 59006 HAS SOUS 45311 HAS SOUPS 45311 WITH SCORE 45370.006
AT ITER 6409 NEW BEST:: SOT 103482 SOS 59053 HAS SOPS 59053 HAS SOUS 45231 HAS SOUPS 45231 WITH SCORE 45290.053
AT ITER 6417 NEW BEST:: SOT 103477 SOS 59048 HAS SOPS 59048 HAS SOUS 45226 HAS SOUPS 45226 WITH SCORE 45285.048
AT ITER 6435 NEW BEST:: SOT 103473 SOS 59044 HAS SOPS 59044 HAS SOUS 45222 HAS SOUPS 45222 WITH SCORE 45281.044
AT ITER 6468 NEW BEST:: SOT 103473 SOS 59044 HAS SOPS 59044 HAS SOUS 45218 HAS SOUPS 45218 WITH SCORE 45277.044
AT ITER 6505 NEW BEST:: SOT 103459 SOS 59127 HAS SOPS 59127 HAS SOUS 45214 HAS SOUPS 45214 WITH SCORE 45273.127
AT ITER 6517 NEW BEST:: SOT 103423 SOS 59091 HAS SOPS 59091 HAS SOUS 45201 HAS SOUPS 45201 WITH SCORE 45260.091
AT ITER 6526 NEW BEST:: SOT 103423 SOS 59030 HAS SOPS 59030 HAS SOUS 45201 HAS SOUPS 45201 WITH SCORE 45260.03
AT ITER 6527 NEW BEST:: SOT 103266 SOS 59358 HAS SOPS 59358 HAS SOUS 45103 HAS SOUPS 45103 WITH SCORE 45162.358
AT ITER 6534 NEW BEST:: SOT 103263 SOS 59361 HAS SOPS 59361 HAS SOUS 45100 HAS SOUPS 45100 WITH SCORE 45159.361
AT ITER 6576 NEW BEST:: SOT 103221 SOS 59349 HAS SOPS 59349 HAS SOUS 45088 HAS SOUPS 45088 WITH SCORE 45147.349
AT ITER 6643 NEW BEST:: SOT 103197 SOS 59417 HAS SOPS 59417 HAS SOUS 45078 HAS SOUPS 45078 WITH SCORE 45137.417
AT ITER 6647 NEW BEST:: SOT 103197 SOS 59416 HAS SOPS 59416 HAS SOUS 45077 HAS SOUPS 45077 WITH SCORE 45136.416
AT ITER 6655 NEW BEST:: SOT 103197 SOS 59406 HAS SOPS 59406 HAS SOUS 45067 HAS SOUPS 45067 WITH SCORE 45126.406
AT ITER 6671 NEW BEST:: SOT 103056 SOS 59542 HAS SOPS 59542 HAS SOUS 45034 HAS SOUPS 45034 WITH SCORE 45093.542
AT ITER 6737 NEW BEST:: SOT 103048 SOS 59534 HAS SOPS 59534 HAS SOUS 45006 HAS SOUPS 45006 WITH SCORE 45065.534
AT ITER 6741 NEW BEST:: SOT 103035 SOS 59521 HAS SOPS 59521 HAS SOUS 44993 HAS SOUPS 44993 WITH SCORE 45052.521
AT ITER 6766 NEW BEST:: SOT 103035 SOS 59521 HAS SOPS 59521 HAS SOUS 44946 HAS SOUPS 44946 WITH SCORE 45005.521
AT ITER 6780 NEW BEST:: SOT 103090 SOS 59544 HAS SOPS 59544 HAS SOUS 44938 HAS SOUPS 44938 WITH SCORE 44997.544
AT ITER 6801 NEW BEST:: SOT 103118 SOS 59576 HAS SOPS 59576 HAS SOUS 44935 HAS SOUPS 44935 WITH SCORE 44994.576
AT ITER 6804 NEW BEST:: SOT 103118 SOS 59532 HAS SOPS 59532 HAS SOUS 44935 HAS SOUPS 44935 WITH SCORE 44994.532
AT ITER 6842 NEW BEST:: SOT 103108 SOS 59522 HAS SOPS 59522 HAS SOUS 44925 HAS SOUPS 44925 WITH SCORE 44984.522
AT ITER 6863 NEW BEST:: SOT 103108 SOS 59468 HAS SOPS 59468 HAS SOUS 44872 HAS SOUPS 44872 WITH SCORE 44931.468
AT ITER 6885 NEW BEST:: SOT 103108 SOS 59468 HAS SOPS 59468 HAS SOUS 44860 HAS SOUPS 44860 WITH SCORE 44919.468
AT ITER 6913 NEW BEST:: SOT 103097 SOS 59457 HAS SOPS 59457 HAS SOUS 44849 HAS SOUPS 44849 WITH SCORE 44908.457
AT ITER 6967 NEW BEST:: SOT 103093 SOS 59453 HAS SOPS 59453 HAS SOUS 44845 HAS SOUPS 44845 WITH SCORE 44904.453
AT ITER 6971 NEW BEST:: SOT 103093 SOS 59465 HAS SOPS 59465 HAS SOUS 44841 HAS SOUPS 44841 WITH SCORE 44900.465
AT ITER 6981 NEW BEST:: SOT 103055 SOS 59449 HAS SOPS 59449 HAS SOUS 44802 HAS SOUPS 44802 WITH SCORE 44861.449
AT ITER 6993 NEW BEST:: SOT 103044 SOS 59438 HAS SOPS 59438 HAS SOUS 44791 HAS SOUPS 44791 WITH SCORE 44850.438
AT ITER 7012 NEW BEST:: SOT 103044 SOS 59496 HAS SOPS 59496 HAS SOUS 44744 HAS SOUPS 44744 WITH SCORE 44803.496
AT ITER 7029 NEW BEST:: SOT 103044 SOS 59496 HAS SOPS 59496 HAS SOUS 44730 HAS SOUPS 44730 WITH SCORE 44789.496
AT ITER 7054 NEW BEST:: SOT 103041 SOS 59493 HAS SOPS 59493 HAS SOUS 44727 HAS SOUPS 44727 WITH SCORE 44786.493
AT ITER 7089 NEW BEST:: SOT 103031 SOS 59487 HAS SOPS 59487 HAS SOUS 44721 HAS SOUPS 44721 WITH SCORE 44780.487
AT ITER 7093 NEW BEST:: SOT 103027 SOS 59479 HAS SOPS 59479 HAS SOUS 44709 HAS SOUPS 44709 WITH SCORE 44768.479
AT ITER 7107 NEW BEST:: SOT 103024 SOS 59472 HAS SOPS 59472 HAS SOUS 44698 HAS SOUPS 44698 WITH SCORE 44757.472
AT ITER 7133 NEW BEST:: SOT 103024 SOS 59514 HAS SOPS 59514 HAS SOUS 44693 HAS SOUPS 44693 WITH SCORE 44752.514
AT ITER 7150 NEW BEST:: SOT 103024 SOS 59484 HAS SOPS 59484 HAS SOUS 44673 HAS SOUPS 44673 WITH SCORE 44732.484
AT ITER 7223 NEW BEST:: SOT 103024 SOS 59479 HAS SOPS 59479 HAS SOUS 44673 HAS SOUPS 44673 WITH SCORE 44732.479
AT ITER 7263 NEW BEST:: SOT 103024 SOS 59479 HAS SOPS 59479 HAS SOUS 44599 HAS SOUPS 44599 WITH SCORE 44658.479
AT ITER 7276 NEW BEST:: SOT 103024 SOS 59434 HAS SOPS 59434 HAS SOUS 44599 HAS SOUPS 44599 WITH SCORE 44658.434
AT ITER 7309 NEW BEST:: SOT 103024 SOS 59425 HAS SOPS 59425 HAS SOUS 44590 HAS SOUPS 44590 WITH SCORE 44649.425
AT ITER 7323 NEW BEST:: SOT 103024 SOS 59415 HAS SOPS 59415 HAS SOUS 44576 HAS SOUPS 44576 WITH SCORE 44635.415
AT ITER 7364 NEW BEST:: SOT 103031 SOS 59422 HAS SOPS 59422 HAS SOUS 44575 HAS SOUPS 44575 WITH SCORE 44634.422
AT ITER 7373 NEW BEST:: SOT 103023 SOS 59419 HAS SOPS 59419 HAS SOUS 44567 HAS SOUPS 44567 WITH SCORE 44626.419
AT ITER 7382 NEW BEST:: SOT 103023 SOS 59419 HAS SOPS 59419 HAS SOUS 44547 HAS SOUPS 44547 WITH SCORE 44606.419
AT ITER 7406 NEW BEST:: SOT 102984 SOS 59398 HAS SOPS 59398 HAS SOUS 44544 HAS SOUPS 44544 WITH SCORE 44603.398
AT ITER 7430 NEW BEST:: SOT 102965 SOS 59419 HAS SOPS 59419 HAS SOUS 44534 HAS SOUPS 44534 WITH SCORE 44593.419
AT ITER 7432 NEW BEST:: SOT 102965 SOS 59411 HAS SOPS 59411 HAS SOUS 44534 HAS SOUPS 44534 WITH SCORE 44593.411
AT ITER 7459 NEW BEST:: SOT 102925 SOS 59390 HAS SOPS 59390 HAS SOUS 44519 HAS SOUPS 44519 WITH SCORE 44578.39
AT ITER 7460 NEW BEST:: SOT 102925 SOS 59371 HAS SOPS 59371 HAS SOUS 44519 HAS SOUPS 44519 WITH SCORE 44578.371
AT ITER 7473 NEW BEST:: SOT 102925 SOS 59363 HAS SOPS 59363 HAS SOUS 44519 HAS SOUPS 44519 WITH SCORE 44578.363
AT ITER 7485 NEW BEST:: SOT 102916 SOS 59354 HAS SOPS 59354 HAS SOUS 44510 HAS SOUPS 44510 WITH SCORE 44569.354
AT ITER 7488 NEW BEST:: SOT 102934 SOS 59372 HAS SOPS 59372 HAS SOUS 44509 HAS SOUPS 44509 WITH SCORE 44568.372
AT ITER 7491 NEW BEST:: SOT 102808 SOS 59288 HAS SOPS 59288 HAS SOUS 44451 HAS SOUPS 44451 WITH SCORE 44510.288
AT ITER 7510 NEW BEST:: SOT 102800 SOS 59280 HAS SOPS 59280 HAS SOUS 44443 HAS SOUPS 44443 WITH SCORE 44502.28
AT ITER 7513 NEW BEST:: SOT 102793 SOS 59365 HAS SOPS 59365 HAS SOUS 44436 HAS SOUPS 44436 WITH SCORE 44495.365
AT ITER 7522 NEW BEST:: SOT 102776 SOS 59419 HAS SOPS 59419 HAS SOUS 44426 HAS SOUPS 44426 WITH SCORE 44485.419
AT ITER 7534 NEW BEST:: SOT 102795 SOS 59381 HAS SOPS 59381 HAS SOUS 44407 HAS SOUPS 44407 WITH SCORE 44466.381
AT ITER 7596 NEW BEST:: SOT 102795 SOS 59386 HAS SOPS 59386 HAS SOUS 44398 HAS SOUPS 44398 WITH SCORE 44457.386
AT ITER 7684 NEW BEST:: SOT 102788 SOS 59365 HAS SOPS 59365 HAS SOUS 44377 HAS SOUPS 44377 WITH SCORE 44436.365
AT ITER 7691 NEW BEST:: SOT 102788 SOS 59359 HAS SOPS 59359 HAS SOUS 44371 HAS SOUPS 44371 WITH SCORE 44430.359
AT ITER 7700 NEW BEST:: SOT 102809 SOS 59386 HAS SOPS 59386 HAS SOUS 44352 HAS SOUPS 44352 WITH SCORE 44411.386
AT ITER 7710 NEW BEST:: SOT 102797 SOS 59374 HAS SOPS 59374 HAS SOUS 44340 HAS SOUPS 44340 WITH SCORE 44399.374
AT ITER 7739 NEW BEST:: SOT 102789 SOS 59813 HAS SOPS 59813 HAS SOUS 44332 HAS SOUPS 44332 WITH SCORE 44391.813
AT ITER 7760 NEW BEST:: SOT 102759 SOS 59840 HAS SOPS 59840 HAS SOUS 44313 HAS SOUPS 44313 WITH SCORE 44372.84
AT ITER 7767 NEW BEST:: SOT 102753 SOS 59810 HAS SOPS 59810 HAS SOUS 44292 HAS SOUPS 44292 WITH SCORE 44351.81
AT ITER 7784 NEW BEST:: SOT 102744 SOS 59838 HAS SOPS 59838 HAS SOUS 44254 HAS SOUPS 44254 WITH SCORE 44313.838
AT ITER 7867 NEW BEST:: SOT 102744 SOS 59838 HAS SOPS 59838 HAS SOUS 44241 HAS SOUPS 44241 WITH SCORE 44300.838
AT ITER 7884 NEW BEST:: SOT 102720 SOS 59838 HAS SOPS 59838 HAS SOUS 44217 HAS SOUPS 44217 WITH SCORE 44276.838
AT ITER 7979 NEW BEST:: SOT 102716 SOS 59834 HAS SOPS 59834 HAS SOUS 44213 HAS SOUPS 44213 WITH SCORE 44272.834
AT ITER 7996 NEW BEST:: SOT 102718 SOS 59781 HAS SOPS 59781 HAS SOUS 44211 HAS SOUPS 44211 WITH SCORE 44270.781
AT ITER 7998 NEW BEST:: SOT 102712 SOS 59884 HAS SOPS 59884 HAS SOUS 44205 HAS SOUPS 44205 WITH SCORE 44264.884
AT ITER 8008 NEW BEST:: SOT 102704 SOS 60016 HAS SOPS 60016 HAS SOUS 44197 HAS SOUPS 44197 WITH SCORE 44257.016
AT ITER 8060 NEW BEST:: SOT 102696 SOS 60016 HAS SOPS 60016 HAS SOUS 44194 HAS SOUPS 44194 WITH SCORE 44254.016
AT ITER 8083 NEW BEST:: SOT 102687 SOS 60007 HAS SOPS 60007 HAS SOUS 44185 HAS SOUPS 44185 WITH SCORE 44245.007
AT ITER 8094 NEW BEST:: SOT 102687 SOS 60007 HAS SOPS 60007 HAS SOUS 44183 HAS SOUPS 44183 WITH SCORE 44243.007
AT ITER 8169 NEW BEST:: SOT 102687 SOS 60002 HAS SOPS 60002 HAS SOUS 44183 HAS SOUPS 44183 WITH SCORE 44243.002
AT ITER 8182 NEW BEST:: SOT 102669 SOS 59984 HAS SOPS 59984 HAS SOUS 44165 HAS SOUPS 44165 WITH SCORE 44224.984
AT ITER 8265 NEW BEST:: SOT 102645 SOS 59978 HAS SOPS 59978 HAS SOUS 44141 HAS SOUPS 44141 WITH SCORE 44200.978
AT ITER 8319 NEW BEST:: SOT 102639 SOS 59972 HAS SOPS 59972 HAS SOUS 44135 HAS SOUPS 44135 WITH SCORE 44194.972
AT ITER 8343 NEW BEST:: SOT 102632 SOS 59958 HAS SOPS 59958 HAS SOUS 44127 HAS SOUPS 44127 WITH SCORE 44186.958
AT ITER 8359 NEW BEST:: SOT 102601 SOS 59879 HAS SOPS 59879 HAS SOUS 44101 HAS SOUPS 44101 WITH SCORE 44160.879
AT ITER 8396 NEW BEST:: SOT 102601 SOS 59867 HAS SOPS 59867 HAS SOUS 44101 HAS SOUPS 44101 WITH SCORE 44160.867
AT ITER 8398 NEW BEST:: SOT 102601 SOS 59839 HAS SOPS 59839 HAS SOUS 44101 HAS SOUPS 44101 WITH SCORE 44160.839
AT ITER 8419 NEW BEST:: SOT 102574 SOS 59854 HAS SOPS 59854 HAS SOUS 44086 HAS SOUPS 44086 WITH SCORE 44145.854
AT ITER 8486 NEW BEST:: SOT 102573 SOS 59853 HAS SOPS 59853 HAS SOUS 44085 HAS SOUPS 44085 WITH SCORE 44144.853
AT ITER 8526 NEW BEST:: SOT 102573 SOS 59910 HAS SOPS 59910 HAS SOUS 44070 HAS SOUPS 44070 WITH SCORE 44129.91
AT ITER 8551 NEW BEST:: SOT 102573 SOS 59906 HAS SOPS 59906 HAS SOUS 44068 HAS SOUPS 44068 WITH SCORE 44127.906
AT ITER 8589 NEW BEST:: SOT 102591 SOS 59914 HAS SOPS 59914 HAS SOUS 44066 HAS SOUPS 44066 WITH SCORE 44125.914
AT ITER 8602 NEW BEST:: SOT 102572 SOS 59895 HAS SOPS 59895 HAS SOUS 44015 HAS SOUPS 44015 WITH SCORE 44074.895
AT ITER 8647 NEW BEST:: SOT 102584 SOS 59851 HAS SOPS 59851 HAS SOUS 44013 HAS SOUPS 44013 WITH SCORE 44072.851
AT ITER 8661 NEW BEST:: SOT 102584 SOS 59851 HAS SOPS 59851 HAS SOUS 44001 HAS SOUPS 44001 WITH SCORE 44060.851
AT ITER 8663 NEW BEST:: SOT 102584 SOS 59851 HAS SOPS 59851 HAS SOUS 43997 HAS SOUPS 43997 WITH SCORE 44056.851
AT ITER 8709 NEW BEST:: SOT 102561 SOS 59828 HAS SOPS 59828 HAS SOUS 43974 HAS SOUPS 43974 WITH SCORE 44033.828
AT ITER 8712 NEW BEST:: SOT 102561 SOS 59828 HAS SOPS 59828 HAS SOUS 43970 HAS SOUPS 43970 WITH SCORE 44029.828
AT ITER 8722 NEW BEST:: SOT 102535 SOS 59841 HAS SOPS 59841 HAS SOUS 43957 HAS SOUPS 43957 WITH SCORE 44016.841
AT ITER 8800 NEW BEST:: SOT 102535 SOS 59841 HAS SOPS 59841 HAS SOUS 43945 HAS SOUPS 43945 WITH SCORE 44004.841
AT ITER 8809 NEW BEST:: SOT 102535 SOS 59762 HAS SOPS 59762 HAS SOUS 43945 HAS SOUPS 43945 WITH SCORE 44004.762
AT ITER 8822 NEW BEST:: SOT 102480 SOS 59773 HAS SOPS 59773 HAS SOUS 43911 HAS SOUPS 43911 WITH SCORE 43970.773
AT ITER 8841 NEW BEST:: SOT 102467 SOS 59801 HAS SOPS 59801 HAS SOUS 43909 HAS SOUPS 43909 WITH SCORE 43968.801
AT ITER 8866 NEW BEST:: SOT 102467 SOS 59798 HAS SOPS 59798 HAS SOUS 43909 HAS SOUPS 43909 WITH SCORE 43968.798
AT ITER 8867 NEW BEST:: SOT 102457 SOS 59783 HAS SOPS 59783 HAS SOUS 43909 HAS SOUPS 43909 WITH SCORE 43968.783
AT ITER 8906 NEW BEST:: SOT 102427 SOS 59773 HAS SOPS 59773 HAS SOUS 43903 HAS SOUPS 43903 WITH SCORE 43962.773
AT ITER 8911 NEW BEST:: SOT 102388 SOS 59755 HAS SOPS 59755 HAS SOUS 43902 HAS SOUPS 43902 WITH SCORE 43961.755
AT ITER 8919 NEW BEST:: SOT 102373 SOS 59750 HAS SOPS 59750 HAS SOUS 43892 HAS SOUPS 43892 WITH SCORE 43951.75
AT ITER 8941 NEW BEST:: SOT 102371 SOS 59748 HAS SOPS 59748 HAS SOUS 43890 HAS SOUPS 43890 WITH SCORE 43949.748
AT ITER 8987 NEW BEST:: SOT 102371 SOS 59743 HAS SOPS 59743 HAS SOUS 43874 HAS SOUPS 43874 WITH SCORE 43933.743
AT ITER 8994 NEW BEST:: SOT 102371 SOS 59626 HAS SOPS 59626 HAS SOUS 43874 HAS SOUPS 43874 WITH SCORE 43933.626
AT ITER 9018 NEW BEST:: SOT 102369 SOS 59625 HAS SOPS 59625 HAS SOUS 43873 HAS SOUPS 43873 WITH SCORE 43932.625
AT ITER 9021 NEW BEST:: SOT 102360 SOS 59616 HAS SOPS 59616 HAS SOUS 43866 HAS SOUPS 43866 WITH SCORE 43925.616
AT ITER 9027 NEW BEST:: SOT 102360 SOS 59606 HAS SOPS 59606 HAS SOUS 43866 HAS SOUPS 43866 WITH SCORE 43925.606
AT ITER 9034 NEW BEST:: SOT 102360 SOS 59606 HAS SOPS 59606 HAS SOUS 43864 HAS SOUPS 43864 WITH SCORE 43923.606
AT ITER 9072 NEW BEST:: SOT 102360 SOS 59604 HAS SOPS 59604 HAS SOUS 43862 HAS SOUPS 43862 WITH SCORE 43921.604
AT ITER 9084 NEW BEST:: SOT 102347 SOS 59585 HAS SOPS 59585 HAS SOUS 43834 HAS SOUPS 43834 WITH SCORE 43893.585
AT ITER 9158 NEW BEST:: SOT 102347 SOS 59570 HAS SOPS 59570 HAS SOUS 43829 HAS SOUPS 43829 WITH SCORE 43888.57
AT ITER 9183 NEW BEST:: SOT 102316 SOS 59539 HAS SOPS 59539 HAS SOUS 43798 HAS SOUPS 43798 WITH SCORE 43857.539
AT ITER 9214 NEW BEST:: SOT 102313 SOS 59537 HAS SOPS 59537 HAS SOUS 43798 HAS SOUPS 43798 WITH SCORE 43857.537
AT ITER 9220 NEW BEST:: SOT 102313 SOS 59532 HAS SOPS 59532 HAS SOUS 43798 HAS SOUPS 43798 WITH SCORE 43857.532
AT ITER 9238 NEW BEST:: SOT 102313 SOS 59540 HAS SOPS 59540 HAS SOUS 43793 HAS SOUPS 43793 WITH SCORE 43852.54
AT ITER 9243 NEW BEST:: SOT 102313 SOS 59536 HAS SOPS 59536 HAS SOUS 43793 HAS SOUPS 43793 WITH SCORE 43852.536
AT ITER 9259 NEW BEST:: SOT 102217 SOS 59488 HAS SOPS 59488 HAS SOUS 43756 HAS SOUPS 43756 WITH SCORE 43815.488
AT ITER 9268 NEW BEST:: SOT 102220 SOS 59491 HAS SOPS 59491 HAS SOUS 43738 HAS SOUPS 43738 WITH SCORE 43797.491
AT ITER 9295 NEW BEST:: SOT 102198 SOS 59469 HAS SOPS 59469 HAS SOUS 43716 HAS SOUPS 43716 WITH SCORE 43775.469
AT ITER 9326 NEW BEST:: SOT 102197 SOS 59468 HAS SOPS 59468 HAS SOUS 43715 HAS SOUPS 43715 WITH SCORE 43774.468
AT ITER 9338 NEW BEST:: SOT 102196 SOS 59467 HAS SOPS 59467 HAS SOUS 43714 HAS SOUPS 43714 WITH SCORE 43773.467
AT ITER 9350 NEW BEST:: SOT 102146 SOS 59437 HAS SOPS 59437 HAS SOUS 43712 HAS SOUPS 43712 WITH SCORE 43771.437
AT ITER 9355 NEW BEST:: SOT 102146 SOS 59437 HAS SOPS 59437 HAS SOUS 43706 HAS SOUPS 43706 WITH SCORE 43765.437
AT ITER 9374 NEW BEST:: SOT 102142 SOS 59433 HAS SOPS 59433 HAS SOUS 43702 HAS SOUPS 43702 WITH SCORE 43761.433
AT ITER 9382 NEW BEST:: SOT 102168 SOS 59392 HAS SOPS 59392 HAS SOUS 43585 HAS SOUPS 43585 WITH SCORE 43644.392
AT ITER 9396 NEW BEST:: SOT 102202 SOS 59351 HAS SOPS 59351 HAS SOUS 43550 HAS SOUPS 43550 WITH SCORE 43609.351
AT ITER 9417 NEW BEST:: SOT 102216 SOS 59365 HAS SOPS 59365 HAS SOUS 43538 HAS SOUPS 43538 WITH SCORE 43597.365
AT ITER 9419 NEW BEST:: SOT 102195 SOS 59392 HAS SOPS 59392 HAS SOUS 43533 HAS SOUPS 43533 WITH SCORE 43592.392
AT ITER 9446 NEW BEST:: SOT 102195 SOS 59391 HAS SOPS 59391 HAS SOUS 43533 HAS SOUPS 43533 WITH SCORE 43592.391
AT ITER 9483 NEW BEST:: SOT 102195 SOS 59391 HAS SOPS 59391 HAS SOUS 43530 HAS SOUPS 43530 WITH SCORE 43589.391
AT ITER 9499 NEW BEST:: SOT 102195 SOS 59375 HAS SOPS 59375 HAS SOUS 43518 HAS SOUPS 43518 WITH SCORE 43577.375
AT ITER 9505 NEW BEST:: SOT 102195 SOS 59353 HAS SOPS 59353 HAS SOUS 43518 HAS SOUPS 43518 WITH SCORE 43577.353
AT ITER 9510 NEW BEST:: SOT 102205 SOS 59357 HAS SOPS 59357 HAS SOUS 43516 HAS SOUPS 43516 WITH SCORE 43575.357
AT ITER 9534 NEW BEST:: SOT 102166 SOS 59357 HAS SOPS 59357 HAS SOUS 43500 HAS SOUPS 43500 WITH SCORE 43559.357
AT ITER 9551 NEW BEST:: SOT 102102 SOS 59357 HAS SOPS 59357 HAS SOUS 43477 HAS SOUPS 43477 WITH SCORE 43536.357
AT ITER 9582 NEW BEST:: SOT 102096 SOS 59351 HAS SOPS 59351 HAS SOUS 43471 HAS SOUPS 43471 WITH SCORE 43530.351
AT ITER 9588 NEW BEST:: SOT 102084 SOS 59320 HAS SOPS 59320 HAS SOUS 43440 HAS SOUPS 43440 WITH SCORE 43499.32
AT ITER 9652 NEW BEST:: SOT 102083 SOS 59319 HAS SOPS 59319 HAS SOUS 43439 HAS SOUPS 43439 WITH SCORE 43498.319
AT ITER 9670 NEW BEST:: SOT 102080 SOS 59316 HAS SOPS 59316 HAS SOUS 43430 HAS SOUPS 43430 WITH SCORE 43489.316
AT ITER 9699 NEW BEST:: SOT 102080 SOS 59286 HAS SOPS 59286 HAS SOUS 43430 HAS SOUPS 43430 WITH SCORE 43489.286
AT ITER 9736 NEW BEST:: SOT 102083 SOS 59289 HAS SOPS 59289 HAS SOUS 43426 HAS SOUPS 43426 WITH SCORE 43485.289
AT ITER 9763 NEW BEST:: SOT 102046 SOS 59265 HAS SOPS 59265 HAS SOUS 43412 HAS SOUPS 43412 WITH SCORE 43471.265
AT ITER 9772 NEW BEST:: SOT 102046 SOS 59253 HAS SOPS 59253 HAS SOUS 43412 HAS SOUPS 43412 WITH SCORE 43471.253
AT ITER 9815 NEW BEST:: SOT 102046 SOS 59235 HAS SOPS 59235 HAS SOUS 43412 HAS SOUPS 43412 WITH SCORE 43471.235
AT ITER 9855 NEW BEST:: SOT 101925 SOS 59327 HAS SOPS 59327 HAS SOUS 43411 HAS SOUPS 43411 WITH SCORE 43470.327
AT ITER 9901 NEW BEST:: SOT 101912 SOS 59314 HAS SOPS 59314 HAS SOUS 43398 HAS SOUPS 43398 WITH SCORE 43457.314
AT ITER 9912 NEW BEST:: SOT 101912 SOS 59314 HAS SOPS 59314 HAS SOUS 43353 HAS SOUPS 43353 WITH SCORE 43412.314
AT ITER 9945 NEW BEST:: SOT 101908 SOS 59306 HAS SOPS 59306 HAS SOUS 43345 HAS SOUPS 43345 WITH SCORE 43404.306
AT ITER 9954 NEW BEST:: SOT 101884 SOS 59294 HAS SOPS 59294 HAS SOUS 43345 HAS SOUPS 43345 WITH SCORE 43404.294
AT ITER 9990 NEW BEST:: SOT 101884 SOS 59275 HAS SOPS 59275 HAS SOUS 43345 HAS SOUPS 43345 WITH SCORE 43404.275
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 10505944 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16141236 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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-AN07"
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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is Sudoku-PT-AN07, 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 r483-tall-167912695400216"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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