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-167912695400208.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-AN06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912695400208
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.5M
-rw-r--r-- 1 mcc users 106K Feb 26 09:25 CTLCardinality.txt
-rw-r--r-- 1 mcc users 549K Feb 26 09:25 CTLCardinality.xml
-rw-r--r-- 1 mcc users 266K Feb 26 09:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.3M Feb 26 09:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 40K Feb 25 17:16 LTLCardinality.txt
-rw-r--r-- 1 mcc users 144K Feb 25 17:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 101K Feb 25 17:16 LTLFireability.txt
-rw-r--r-- 1 mcc users 367K Feb 25 17:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 351K Feb 26 09:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 1.8M Feb 26 09:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 221K Feb 26 09:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.1M Feb 26 09:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 25 17:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 38K 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 132K 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 1679153738715

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-AN06
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (PT), instance AN06
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: 324 places, 216 transitions, 864 arcs.
AT ITER 0 NEW BEST:: SOT 50879 SOS 26429 HAS SOPS 26429 HAS SOUS 26429 HAS SOUPS 26429 WITH SCORE 26455.429
AT ITER 8 NEW BEST:: SOT 50896 SOS 26430 HAS SOPS 26430 HAS SOUS 26405 HAS SOUPS 26405 WITH SCORE 26431.43
AT ITER 26 NEW BEST:: SOT 50799 SOS 26371 HAS SOPS 26371 HAS SOUS 26346 HAS SOUPS 26346 WITH SCORE 26372.371
AT ITER 37 NEW BEST:: SOT 50639 SOS 26657 HAS SOPS 26657 HAS SOUS 26252 HAS SOUPS 26252 WITH SCORE 26278.657
AT ITER 38 NEW BEST:: SOT 50577 SOS 26595 HAS SOPS 26595 HAS SOUS 26190 HAS SOUPS 26190 WITH SCORE 26216.595
AT ITER 57 NEW BEST:: SOT 50452 SOS 26517 HAS SOPS 26517 HAS SOUS 26082 HAS SOUPS 26082 WITH SCORE 26108.517
AT ITER 60 NEW BEST:: SOT 50452 SOS 26471 HAS SOPS 26471 HAS SOUS 26065 HAS SOUPS 26065 WITH SCORE 26091.471
AT ITER 79 NEW BEST:: SOT 50423 SOS 26480 HAS SOPS 26480 HAS SOUS 26045 HAS SOUPS 26045 WITH SCORE 26071.48
AT ITER 80 NEW BEST:: SOT 50314 SOS 26393 HAS SOPS 26393 HAS SOUS 25942 HAS SOUPS 25942 WITH SCORE 25968.393
AT ITER 89 NEW BEST:: SOT 50229 SOS 26387 HAS SOPS 26387 HAS SOUS 25936 HAS SOUPS 25936 WITH SCORE 25962.387
AT ITER 101 NEW BEST:: SOT 50204 SOS 26407 HAS SOPS 26407 HAS SOUS 25911 HAS SOUPS 25911 WITH SCORE 25937.407
AT ITER 102 NEW BEST:: SOT 50089 SOS 26330 HAS SOPS 26330 HAS SOUS 25829 HAS SOUPS 25829 WITH SCORE 25855.33
AT ITER 116 NEW BEST:: SOT 50051 SOS 26269 HAS SOPS 26269 HAS SOUS 25791 HAS SOUPS 25791 WITH SCORE 25817.269
AT ITER 119 NEW BEST:: SOT 49956 SOS 26217 HAS SOPS 26217 HAS SOUS 25714 HAS SOUPS 25714 WITH SCORE 25740.217
AT ITER 129 NEW BEST:: SOT 49874 SOS 26135 HAS SOPS 26135 HAS SOUS 25632 HAS SOUPS 25632 WITH SCORE 25658.135
AT ITER 135 NEW BEST:: SOT 49893 SOS 26133 HAS SOPS 26133 HAS SOUS 25617 HAS SOUPS 25617 WITH SCORE 25643.133
AT ITER 140 NEW BEST:: SOT 49858 SOS 26129 HAS SOPS 26129 HAS SOUS 25595 HAS SOUPS 25595 WITH SCORE 25621.129
AT ITER 143 NEW BEST:: SOT 49825 SOS 26465 HAS SOPS 26465 HAS SOUS 25576 HAS SOUPS 25576 WITH SCORE 25602.465
AT ITER 145 NEW BEST:: SOT 49780 SOS 26744 HAS SOPS 26744 HAS SOUS 25531 HAS SOUPS 25531 WITH SCORE 25557.744
AT ITER 147 NEW BEST:: SOT 49726 SOS 26690 HAS SOPS 26690 HAS SOUS 25477 HAS SOUPS 25477 WITH SCORE 25503.69
AT ITER 164 NEW BEST:: SOT 49676 SOS 26883 HAS SOPS 26883 HAS SOUS 25469 HAS SOUPS 25469 WITH SCORE 25495.883
AT ITER 166 NEW BEST:: SOT 49676 SOS 26872 HAS SOPS 26872 HAS SOUS 25469 HAS SOUPS 25469 WITH SCORE 25495.872
AT ITER 170 NEW BEST:: SOT 49676 SOS 26864 HAS SOPS 26864 HAS SOUS 25461 HAS SOUPS 25461 WITH SCORE 25487.864
AT ITER 173 NEW BEST:: SOT 49560 SOS 26933 HAS SOPS 26933 HAS SOUS 25394 HAS SOUPS 25394 WITH SCORE 25420.933
AT ITER 182 NEW BEST:: SOT 49560 SOS 26897 HAS SOPS 26897 HAS SOUS 25394 HAS SOUPS 25394 WITH SCORE 25420.897
AT ITER 192 NEW BEST:: SOT 49560 SOS 26839 HAS SOPS 26839 HAS SOUS 25388 HAS SOUPS 25388 WITH SCORE 25414.839
AT ITER 193 NEW BEST:: SOT 49571 SOS 26804 HAS SOPS 26804 HAS SOUS 25346 HAS SOUPS 25346 WITH SCORE 25372.804
AT ITER 194 NEW BEST:: SOT 49522 SOS 26755 HAS SOPS 26755 HAS SOUS 25297 HAS SOUPS 25297 WITH SCORE 25323.755
AT ITER 198 NEW BEST:: SOT 49522 SOS 26712 HAS SOPS 26712 HAS SOUS 25297 HAS SOUPS 25297 WITH SCORE 25323.712
AT ITER 200 NEW BEST:: SOT 49522 SOS 26706 HAS SOPS 26706 HAS SOUS 25297 HAS SOUPS 25297 WITH SCORE 25323.706
AT ITER 210 NEW BEST:: SOT 49505 SOS 26689 HAS SOPS 26689 HAS SOUS 25280 HAS SOUPS 25280 WITH SCORE 25306.689
AT ITER 220 NEW BEST:: SOT 49505 SOS 26676 HAS SOPS 26676 HAS SOUS 25280 HAS SOUPS 25280 WITH SCORE 25306.676
AT ITER 225 NEW BEST:: SOT 49405 SOS 26876 HAS SOPS 26876 HAS SOUS 25221 HAS SOUPS 25221 WITH SCORE 25247.876
AT ITER 235 NEW BEST:: SOT 49405 SOS 26741 HAS SOPS 26741 HAS SOUS 25221 HAS SOUPS 25221 WITH SCORE 25247.741
AT ITER 240 NEW BEST:: SOT 49446 SOS 26750 HAS SOPS 26750 HAS SOUS 25213 HAS SOUPS 25213 WITH SCORE 25239.75
AT ITER 260 NEW BEST:: SOT 49446 SOS 26691 HAS SOPS 26691 HAS SOUS 25154 HAS SOUPS 25154 WITH SCORE 25180.691
AT ITER 267 NEW BEST:: SOT 49388 SOS 26653 HAS SOPS 26653 HAS SOUS 25116 HAS SOUPS 25116 WITH SCORE 25142.653
AT ITER 277 NEW BEST:: SOT 49257 SOS 26611 HAS SOPS 26611 HAS SOUS 25012 HAS SOUPS 25012 WITH SCORE 25038.611
AT ITER 284 NEW BEST:: SOT 49257 SOS 26609 HAS SOPS 26609 HAS SOUS 25012 HAS SOUPS 25012 WITH SCORE 25038.609
AT ITER 294 NEW BEST:: SOT 49269 SOS 26601 HAS SOPS 26601 HAS SOUS 25007 HAS SOUPS 25007 WITH SCORE 25033.601
AT ITER 297 NEW BEST:: SOT 49247 SOS 26590 HAS SOPS 26590 HAS SOUS 24996 HAS SOUPS 24996 WITH SCORE 25022.59
AT ITER 307 NEW BEST:: SOT 49246 SOS 26589 HAS SOPS 26589 HAS SOUS 24992 HAS SOUPS 24992 WITH SCORE 25018.589
AT ITER 316 NEW BEST:: SOT 49246 SOS 26542 HAS SOPS 26542 HAS SOUS 24992 HAS SOUPS 24992 WITH SCORE 25018.542
AT ITER 321 NEW BEST:: SOT 49267 SOS 26616 HAS SOPS 26616 HAS SOUS 24988 HAS SOUPS 24988 WITH SCORE 25014.616
AT ITER 323 NEW BEST:: SOT 49251 SOS 26784 HAS SOPS 26784 HAS SOUS 24969 HAS SOUPS 24969 WITH SCORE 24995.784
AT ITER 327 NEW BEST:: SOT 49251 SOS 26778 HAS SOPS 26778 HAS SOUS 24968 HAS SOUPS 24968 WITH SCORE 24994.778
AT ITER 328 NEW BEST:: SOT 49236 SOS 26763 HAS SOPS 26763 HAS SOUS 24893 HAS SOUPS 24893 WITH SCORE 24919.763
AT ITER 338 NEW BEST:: SOT 49224 SOS 26716 HAS SOPS 26716 HAS SOUS 24848 HAS SOUPS 24848 WITH SCORE 24874.716
AT ITER 341 NEW BEST:: SOT 49224 SOS 26698 HAS SOPS 26698 HAS SOUS 24848 HAS SOUPS 24848 WITH SCORE 24874.698
AT ITER 345 NEW BEST:: SOT 49224 SOS 26655 HAS SOPS 26655 HAS SOUS 24848 HAS SOUPS 24848 WITH SCORE 24874.655
AT ITER 346 NEW BEST:: SOT 49202 SOS 26637 HAS SOPS 26637 HAS SOUS 24826 HAS SOUPS 24826 WITH SCORE 24852.637
AT ITER 351 NEW BEST:: SOT 49091 SOS 26722 HAS SOPS 26722 HAS SOUS 24785 HAS SOUPS 24785 WITH SCORE 24811.722
AT ITER 354 NEW BEST:: SOT 49086 SOS 26717 HAS SOPS 26717 HAS SOUS 24780 HAS SOUPS 24780 WITH SCORE 24806.717
AT ITER 355 NEW BEST:: SOT 49083 SOS 26680 HAS SOPS 26680 HAS SOUS 24777 HAS SOUPS 24777 WITH SCORE 24803.68
AT ITER 356 NEW BEST:: SOT 49000 SOS 26686 HAS SOPS 26686 HAS SOUS 24735 HAS SOUPS 24735 WITH SCORE 24761.686
AT ITER 366 NEW BEST:: SOT 48998 SOS 26627 HAS SOPS 26627 HAS SOUS 24718 HAS SOUPS 24718 WITH SCORE 24744.627
AT ITER 372 NEW BEST:: SOT 48998 SOS 26620 HAS SOPS 26620 HAS SOUS 24718 HAS SOUPS 24718 WITH SCORE 24744.62
AT ITER 375 NEW BEST:: SOT 48959 SOS 26624 HAS SOPS 26624 HAS SOUS 24695 HAS SOUPS 24695 WITH SCORE 24721.624
AT ITER 381 NEW BEST:: SOT 48859 SOS 26622 HAS SOPS 26622 HAS SOUS 24671 HAS SOUPS 24671 WITH SCORE 24697.622
AT ITER 394 NEW BEST:: SOT 48859 SOS 26611 HAS SOPS 26611 HAS SOUS 24645 HAS SOUPS 24645 WITH SCORE 24671.611
AT ITER 396 NEW BEST:: SOT 48847 SOS 26601 HAS SOPS 26601 HAS SOUS 24633 HAS SOUPS 24633 WITH SCORE 24659.601
AT ITER 402 NEW BEST:: SOT 48744 SOS 26507 HAS SOPS 26507 HAS SOUS 24530 HAS SOUPS 24530 WITH SCORE 24556.507
AT ITER 404 NEW BEST:: SOT 48752 SOS 26505 HAS SOPS 26505 HAS SOUS 24528 HAS SOUPS 24528 WITH SCORE 24554.505
AT ITER 416 NEW BEST:: SOT 48578 SOS 26514 HAS SOPS 26514 HAS SOUS 24417 HAS SOUPS 24417 WITH SCORE 24443.514
AT ITER 418 NEW BEST:: SOT 48535 SOS 26514 HAS SOPS 26514 HAS SOUS 24374 HAS SOUPS 24374 WITH SCORE 24400.514
AT ITER 419 NEW BEST:: SOT 48469 SOS 26462 HAS SOPS 26462 HAS SOUS 24314 HAS SOUPS 24314 WITH SCORE 24340.462
AT ITER 423 NEW BEST:: SOT 48326 SOS 26648 HAS SOPS 26648 HAS SOUS 24242 HAS SOUPS 24242 WITH SCORE 24268.648
AT ITER 429 NEW BEST:: SOT 48218 SOS 26602 HAS SOPS 26602 HAS SOUS 24144 HAS SOUPS 24144 WITH SCORE 24170.602
AT ITER 449 NEW BEST:: SOT 48214 SOS 26598 HAS SOPS 26598 HAS SOUS 24140 HAS SOUPS 24140 WITH SCORE 24166.598
AT ITER 453 NEW BEST:: SOT 48198 SOS 26621 HAS SOPS 26621 HAS SOUS 24124 HAS SOUPS 24124 WITH SCORE 24150.621
AT ITER 472 NEW BEST:: SOT 48059 SOS 26755 HAS SOPS 26755 HAS SOUS 24097 HAS SOUPS 24097 WITH SCORE 24123.755
AT ITER 489 NEW BEST:: SOT 48059 SOS 26722 HAS SOPS 26722 HAS SOUS 24091 HAS SOUPS 24091 WITH SCORE 24117.722
AT ITER 523 NEW BEST:: SOT 48004 SOS 26744 HAS SOPS 26744 HAS SOUS 24036 HAS SOUPS 24036 WITH SCORE 24062.744
AT ITER 543 NEW BEST:: SOT 47952 SOS 26766 HAS SOPS 26766 HAS SOUS 24002 HAS SOUPS 24002 WITH SCORE 24028.766
AT ITER 552 NEW BEST:: SOT 47865 SOS 26747 HAS SOPS 26747 HAS SOUS 23928 HAS SOUPS 23928 WITH SCORE 23954.747
AT ITER 556 NEW BEST:: SOT 47825 SOS 26707 HAS SOPS 26707 HAS SOUS 23844 HAS SOUPS 23844 WITH SCORE 23870.707
AT ITER 565 NEW BEST:: SOT 47682 SOS 26942 HAS SOPS 26942 HAS SOUS 23817 HAS SOUPS 23817 WITH SCORE 23843.942
AT ITER 572 NEW BEST:: SOT 47733 SOS 26943 HAS SOPS 26943 HAS SOUS 23803 HAS SOUPS 23803 WITH SCORE 23829.943
AT ITER 591 NEW BEST:: SOT 47733 SOS 26937 HAS SOPS 26937 HAS SOUS 23803 HAS SOUPS 23803 WITH SCORE 23829.937
AT ITER 597 NEW BEST:: SOT 47741 SOS 26815 HAS SOPS 26815 HAS SOUS 23767 HAS SOUPS 23767 WITH SCORE 23793.815
AT ITER 624 NEW BEST:: SOT 47677 SOS 26771 HAS SOPS 26771 HAS SOUS 23723 HAS SOUPS 23723 WITH SCORE 23749.771
AT ITER 625 NEW BEST:: SOT 47622 SOS 26801 HAS SOPS 26801 HAS SOUS 23658 HAS SOUPS 23658 WITH SCORE 23684.801
AT ITER 627 NEW BEST:: SOT 47614 SOS 26793 HAS SOPS 26793 HAS SOUS 23649 HAS SOUPS 23649 WITH SCORE 23675.793
AT ITER 635 NEW BEST:: SOT 47559 SOS 26790 HAS SOPS 26790 HAS SOUS 23646 HAS SOUPS 23646 WITH SCORE 23672.79
AT ITER 643 NEW BEST:: SOT 47539 SOS 26761 HAS SOPS 26761 HAS SOUS 23594 HAS SOUPS 23594 WITH SCORE 23620.761
AT ITER 650 NEW BEST:: SOT 47539 SOS 26711 HAS SOPS 26711 HAS SOUS 23594 HAS SOUPS 23594 WITH SCORE 23620.711
AT ITER 668 NEW BEST:: SOT 47537 SOS 26709 HAS SOPS 26709 HAS SOUS 23583 HAS SOUPS 23583 WITH SCORE 23609.709
AT ITER 669 NEW BEST:: SOT 47403 SOS 26975 HAS SOPS 26975 HAS SOUS 23572 HAS SOUPS 23572 WITH SCORE 23598.975
AT ITER 670 NEW BEST:: SOT 47374 SOS 26947 HAS SOPS 26947 HAS SOUS 23549 HAS SOUPS 23549 WITH SCORE 23575.947
AT ITER 681 NEW BEST:: SOT 47370 SOS 26898 HAS SOPS 26898 HAS SOUS 23536 HAS SOUPS 23536 WITH SCORE 23562.898
AT ITER 682 NEW BEST:: SOT 47346 SOS 26871 HAS SOPS 26871 HAS SOUS 23509 HAS SOUPS 23509 WITH SCORE 23535.871
AT ITER 685 NEW BEST:: SOT 47346 SOS 26853 HAS SOPS 26853 HAS SOUS 23482 HAS SOUPS 23482 WITH SCORE 23508.853
AT ITER 695 NEW BEST:: SOT 47291 SOS 26812 HAS SOPS 26812 HAS SOUS 23441 HAS SOUPS 23441 WITH SCORE 23467.812
AT ITER 711 NEW BEST:: SOT 47274 SOS 26839 HAS SOPS 26839 HAS SOUS 23424 HAS SOUPS 23424 WITH SCORE 23450.839
AT ITER 716 NEW BEST:: SOT 47274 SOS 26777 HAS SOPS 26777 HAS SOUS 23408 HAS SOUPS 23408 WITH SCORE 23434.777
AT ITER 724 NEW BEST:: SOT 47164 SOS 26729 HAS SOPS 26729 HAS SOUS 23381 HAS SOUPS 23381 WITH SCORE 23407.729
AT ITER 729 NEW BEST:: SOT 47164 SOS 26712 HAS SOPS 26712 HAS SOUS 23381 HAS SOUPS 23381 WITH SCORE 23407.712
AT ITER 732 NEW BEST:: SOT 47164 SOS 26638 HAS SOPS 26638 HAS SOUS 23377 HAS SOUPS 23377 WITH SCORE 23403.638
AT ITER 737 NEW BEST:: SOT 47112 SOS 26602 HAS SOPS 26602 HAS SOUS 23341 HAS SOUPS 23341 WITH SCORE 23367.602
AT ITER 748 NEW BEST:: SOT 47112 SOS 26607 HAS SOPS 26607 HAS SOUS 23340 HAS SOUPS 23340 WITH SCORE 23366.607
AT ITER 758 NEW BEST:: SOT 47082 SOS 26587 HAS SOPS 26587 HAS SOUS 23320 HAS SOUPS 23320 WITH SCORE 23346.587
AT ITER 759 NEW BEST:: SOT 47082 SOS 26544 HAS SOPS 26544 HAS SOUS 23320 HAS SOUPS 23320 WITH SCORE 23346.544
AT ITER 764 NEW BEST:: SOT 47031 SOS 26525 HAS SOPS 26525 HAS SOUS 23301 HAS SOUPS 23301 WITH SCORE 23327.525
AT ITER 779 NEW BEST:: SOT 46891 SOS 26675 HAS SOPS 26675 HAS SOUS 23206 HAS SOUPS 23206 WITH SCORE 23232.675
AT ITER 785 NEW BEST:: SOT 46770 SOS 26659 HAS SOPS 26659 HAS SOUS 23199 HAS SOUPS 23199 WITH SCORE 23225.659
AT ITER 791 NEW BEST:: SOT 46770 SOS 26634 HAS SOPS 26634 HAS SOUS 23171 HAS SOUPS 23171 WITH SCORE 23197.634
AT ITER 805 NEW BEST:: SOT 46770 SOS 26533 HAS SOPS 26533 HAS SOUS 23169 HAS SOUPS 23169 WITH SCORE 23195.533
AT ITER 808 NEW BEST:: SOT 46758 SOS 26517 HAS SOPS 26517 HAS SOUS 23162 HAS SOUPS 23162 WITH SCORE 23188.517
AT ITER 811 NEW BEST:: SOT 46756 SOS 26509 HAS SOPS 26509 HAS SOUS 23151 HAS SOUPS 23151 WITH SCORE 23177.509
AT ITER 812 NEW BEST:: SOT 46736 SOS 26543 HAS SOPS 26543 HAS SOUS 23135 HAS SOUPS 23135 WITH SCORE 23161.543
AT ITER 824 NEW BEST:: SOT 46736 SOS 26520 HAS SOPS 26520 HAS SOUS 23135 HAS SOUPS 23135 WITH SCORE 23161.52
AT ITER 826 NEW BEST:: SOT 46738 SOS 26545 HAS SOPS 26545 HAS SOUS 23123 HAS SOUPS 23123 WITH SCORE 23149.545
AT ITER 834 NEW BEST:: SOT 46726 SOS 26561 HAS SOPS 26561 HAS SOUS 23111 HAS SOUPS 23111 WITH SCORE 23137.561
AT ITER 841 NEW BEST:: SOT 46774 SOS 26566 HAS SOPS 26566 HAS SOUS 23095 HAS SOUPS 23095 WITH SCORE 23121.566
AT ITER 859 NEW BEST:: SOT 46711 SOS 26522 HAS SOPS 26522 HAS SOUS 23051 HAS SOUPS 23051 WITH SCORE 23077.522
AT ITER 860 NEW BEST:: SOT 46700 SOS 26497 HAS SOPS 26497 HAS SOUS 23034 HAS SOUPS 23034 WITH SCORE 23060.497
AT ITER 861 NEW BEST:: SOT 46649 SOS 26452 HAS SOPS 26452 HAS SOUS 22989 HAS SOUPS 22989 WITH SCORE 23015.452
AT ITER 862 NEW BEST:: SOT 46646 SOS 26449 HAS SOPS 26449 HAS SOUS 22986 HAS SOUPS 22986 WITH SCORE 23012.449
AT ITER 864 NEW BEST:: SOT 46646 SOS 26403 HAS SOPS 26403 HAS SOUS 22973 HAS SOUPS 22973 WITH SCORE 22999.403
AT ITER 866 NEW BEST:: SOT 46603 SOS 26374 HAS SOPS 26374 HAS SOUS 22944 HAS SOUPS 22944 WITH SCORE 22970.374
AT ITER 880 NEW BEST:: SOT 46542 SOS 26310 HAS SOPS 26310 HAS SOUS 22917 HAS SOUPS 22917 WITH SCORE 22943.31
AT ITER 885 NEW BEST:: SOT 46532 SOS 26300 HAS SOPS 26300 HAS SOUS 22907 HAS SOUPS 22907 WITH SCORE 22933.3
AT ITER 889 NEW BEST:: SOT 46460 SOS 26276 HAS SOPS 26276 HAS SOUS 22883 HAS SOUPS 22883 WITH SCORE 22909.276
AT ITER 892 NEW BEST:: SOT 46262 SOS 26307 HAS SOPS 26307 HAS SOUS 22831 HAS SOUPS 22831 WITH SCORE 22857.307
AT ITER 896 NEW BEST:: SOT 46274 SOS 26311 HAS SOPS 26311 HAS SOUS 22827 HAS SOUPS 22827 WITH SCORE 22853.311
AT ITER 897 NEW BEST:: SOT 46268 SOS 26305 HAS SOPS 26305 HAS SOUS 22821 HAS SOUPS 22821 WITH SCORE 22847.305
AT ITER 899 NEW BEST:: SOT 46266 SOS 26303 HAS SOPS 26303 HAS SOUS 22819 HAS SOUPS 22819 WITH SCORE 22845.303
AT ITER 901 NEW BEST:: SOT 46266 SOS 26293 HAS SOPS 26293 HAS SOUS 22819 HAS SOUPS 22819 WITH SCORE 22845.293
AT ITER 911 NEW BEST:: SOT 46225 SOS 26272 HAS SOPS 26272 HAS SOUS 22798 HAS SOUPS 22798 WITH SCORE 22824.272
AT ITER 930 NEW BEST:: SOT 46191 SOS 26246 HAS SOPS 26246 HAS SOUS 22782 HAS SOUPS 22782 WITH SCORE 22808.246
AT ITER 933 NEW BEST:: SOT 46182 SOS 26209 HAS SOPS 26209 HAS SOUS 22773 HAS SOUPS 22773 WITH SCORE 22799.209
AT ITER 942 NEW BEST:: SOT 46203 SOS 26172 HAS SOPS 26172 HAS SOUS 22743 HAS SOUPS 22743 WITH SCORE 22769.172
AT ITER 947 NEW BEST:: SOT 46172 SOS 26162 HAS SOPS 26162 HAS SOUS 22712 HAS SOUPS 22712 WITH SCORE 22738.162
AT ITER 950 NEW BEST:: SOT 46140 SOS 26094 HAS SOPS 26094 HAS SOUS 22649 HAS SOUPS 22649 WITH SCORE 22675.094
AT ITER 955 NEW BEST:: SOT 46140 SOS 26088 HAS SOPS 26088 HAS SOUS 22649 HAS SOUPS 22649 WITH SCORE 22675.088
AT ITER 956 NEW BEST:: SOT 46140 SOS 25996 HAS SOPS 25996 HAS SOUS 22639 HAS SOUPS 22639 WITH SCORE 22664.996
AT ITER 959 NEW BEST:: SOT 46140 SOS 25994 HAS SOPS 25994 HAS SOUS 22639 HAS SOUPS 22639 WITH SCORE 22664.994
AT ITER 977 NEW BEST:: SOT 46140 SOS 25979 HAS SOPS 25979 HAS SOUS 22639 HAS SOUPS 22639 WITH SCORE 22664.979
AT ITER 980 NEW BEST:: SOT 46107 SOS 25944 HAS SOPS 25944 HAS SOUS 22595 HAS SOUPS 22595 WITH SCORE 22620.944
AT ITER 984 NEW BEST:: SOT 46111 SOS 25935 HAS SOPS 25935 HAS SOUS 22552 HAS SOUPS 22552 WITH SCORE 22577.935
AT ITER 1010 NEW BEST:: SOT 46092 SOS 25924 HAS SOPS 25924 HAS SOUS 22541 HAS SOUPS 22541 WITH SCORE 22566.924
AT ITER 1017 NEW BEST:: SOT 46096 SOS 25920 HAS SOPS 25920 HAS SOUS 22534 HAS SOUPS 22534 WITH SCORE 22559.92
AT ITER 1022 NEW BEST:: SOT 46095 SOS 25919 HAS SOPS 25919 HAS SOUS 22529 HAS SOUPS 22529 WITH SCORE 22554.919
AT ITER 1029 NEW BEST:: SOT 46095 SOS 25913 HAS SOPS 25913 HAS SOUS 22529 HAS SOUPS 22529 WITH SCORE 22554.913
AT ITER 1033 NEW BEST:: SOT 46095 SOS 25904 HAS SOPS 25904 HAS SOUS 22518 HAS SOUPS 22518 WITH SCORE 22543.904
AT ITER 1041 NEW BEST:: SOT 46065 SOS 25890 HAS SOPS 25890 HAS SOUS 22517 HAS SOUPS 22517 WITH SCORE 22542.89
AT ITER 1043 NEW BEST:: SOT 46001 SOS 26043 HAS SOPS 26043 HAS SOUS 22475 HAS SOUPS 22475 WITH SCORE 22501.043
AT ITER 1047 NEW BEST:: SOT 46014 SOS 26056 HAS SOPS 26056 HAS SOUS 22474 HAS SOUPS 22474 WITH SCORE 22500.056
AT ITER 1050 NEW BEST:: SOT 45977 SOS 26019 HAS SOPS 26019 HAS SOUS 22444 HAS SOUPS 22444 WITH SCORE 22470.019
AT ITER 1054 NEW BEST:: SOT 45975 SOS 26017 HAS SOPS 26017 HAS SOUS 22442 HAS SOUPS 22442 WITH SCORE 22468.017
AT ITER 1056 NEW BEST:: SOT 46016 SOS 26058 HAS SOPS 26058 HAS SOUS 22434 HAS SOUPS 22434 WITH SCORE 22460.058
AT ITER 1058 NEW BEST:: SOT 46062 SOS 26120 HAS SOPS 26120 HAS SOUS 22423 HAS SOUPS 22423 WITH SCORE 22449.12
AT ITER 1062 NEW BEST:: SOT 46114 SOS 26201 HAS SOPS 26201 HAS SOUS 22408 HAS SOUPS 22408 WITH SCORE 22434.201
AT ITER 1066 NEW BEST:: SOT 46114 SOS 26157 HAS SOPS 26157 HAS SOUS 22401 HAS SOUPS 22401 WITH SCORE 22427.157
AT ITER 1071 NEW BEST:: SOT 46059 SOS 26236 HAS SOPS 26236 HAS SOUS 22357 HAS SOUPS 22357 WITH SCORE 22383.236
AT ITER 1085 NEW BEST:: SOT 46059 SOS 26223 HAS SOPS 26223 HAS SOUS 22357 HAS SOUPS 22357 WITH SCORE 22383.223
AT ITER 1086 NEW BEST:: SOT 46048 SOS 26362 HAS SOPS 26362 HAS SOUS 22354 HAS SOUPS 22354 WITH SCORE 22380.362
AT ITER 1092 NEW BEST:: SOT 46053 SOS 26119 HAS SOPS 26119 HAS SOUS 22283 HAS SOUPS 22283 WITH SCORE 22309.119
AT ITER 1094 NEW BEST:: SOT 46053 SOS 25742 HAS SOPS 25742 HAS SOUS 22283 HAS SOUPS 22283 WITH SCORE 22308.742
AT ITER 1099 NEW BEST:: SOT 45985 SOS 25624 HAS SOPS 25624 HAS SOUS 22266 HAS SOUPS 22266 WITH SCORE 22291.624
AT ITER 1104 NEW BEST:: SOT 45846 SOS 25609 HAS SOPS 25609 HAS SOUS 22243 HAS SOUPS 22243 WITH SCORE 22268.609
AT ITER 1119 NEW BEST:: SOT 45846 SOS 25602 HAS SOPS 25602 HAS SOUS 22243 HAS SOUPS 22243 WITH SCORE 22268.602
AT ITER 1128 NEW BEST:: SOT 45850 SOS 25606 HAS SOPS 25606 HAS SOUS 22209 HAS SOUPS 22209 WITH SCORE 22234.606
AT ITER 1133 NEW BEST:: SOT 45793 SOS 25587 HAS SOPS 25587 HAS SOUS 22198 HAS SOUPS 22198 WITH SCORE 22223.587
AT ITER 1140 NEW BEST:: SOT 45779 SOS 25573 HAS SOPS 25573 HAS SOUS 22184 HAS SOUPS 22184 WITH SCORE 22209.573
AT ITER 1144 NEW BEST:: SOT 45779 SOS 25566 HAS SOPS 25566 HAS SOUS 22184 HAS SOUPS 22184 WITH SCORE 22209.566
AT ITER 1159 NEW BEST:: SOT 45749 SOS 25541 HAS SOPS 25541 HAS SOUS 22159 HAS SOUPS 22159 WITH SCORE 22184.541
AT ITER 1165 NEW BEST:: SOT 45764 SOS 25562 HAS SOPS 25562 HAS SOUS 22142 HAS SOUPS 22142 WITH SCORE 22167.562
AT ITER 1171 NEW BEST:: SOT 45741 SOS 25559 HAS SOPS 25559 HAS SOUS 22139 HAS SOUPS 22139 WITH SCORE 22164.559
AT ITER 1182 NEW BEST:: SOT 45699 SOS 25740 HAS SOPS 25740 HAS SOUS 22086 HAS SOUPS 22086 WITH SCORE 22111.74
AT ITER 1188 NEW BEST:: SOT 45668 SOS 25733 HAS SOPS 25733 HAS SOUS 22079 HAS SOUPS 22079 WITH SCORE 22104.733
AT ITER 1214 NEW BEST:: SOT 45663 SOS 25744 HAS SOPS 25744 HAS SOUS 22078 HAS SOUPS 22078 WITH SCORE 22103.744
AT ITER 1215 NEW BEST:: SOT 45651 SOS 25732 HAS SOPS 25732 HAS SOUS 22066 HAS SOUPS 22066 WITH SCORE 22091.732
AT ITER 1216 NEW BEST:: SOT 45651 SOS 25728 HAS SOPS 25728 HAS SOUS 22066 HAS SOUPS 22066 WITH SCORE 22091.728
AT ITER 1219 NEW BEST:: SOT 45678 SOS 25740 HAS SOPS 25740 HAS SOUS 22064 HAS SOUPS 22064 WITH SCORE 22089.74
AT ITER 1231 NEW BEST:: SOT 45663 SOS 25725 HAS SOPS 25725 HAS SOUS 22049 HAS SOUPS 22049 WITH SCORE 22074.725
AT ITER 1233 NEW BEST:: SOT 45663 SOS 25722 HAS SOPS 25722 HAS SOUS 22049 HAS SOUPS 22049 WITH SCORE 22074.722
AT ITER 1239 NEW BEST:: SOT 45647 SOS 25651 HAS SOPS 25651 HAS SOUS 21957 HAS SOUPS 21957 WITH SCORE 21982.651
AT ITER 1261 NEW BEST:: SOT 45603 SOS 25812 HAS SOPS 25812 HAS SOUS 21924 HAS SOUPS 21924 WITH SCORE 21949.812
AT ITER 1282 NEW BEST:: SOT 45594 SOS 25803 HAS SOPS 25803 HAS SOUS 21905 HAS SOUPS 21905 WITH SCORE 21930.803
AT ITER 1288 NEW BEST:: SOT 45493 SOS 25765 HAS SOPS 25765 HAS SOUS 21867 HAS SOUPS 21867 WITH SCORE 21892.765
AT ITER 1289 NEW BEST:: SOT 45487 SOS 25792 HAS SOPS 25792 HAS SOUS 21863 HAS SOUPS 21863 WITH SCORE 21888.792
AT ITER 1297 NEW BEST:: SOT 45469 SOS 25786 HAS SOPS 25786 HAS SOUS 21857 HAS SOUPS 21857 WITH SCORE 21882.786
AT ITER 1304 NEW BEST:: SOT 45418 SOS 25655 HAS SOPS 25655 HAS SOUS 21817 HAS SOUPS 21817 WITH SCORE 21842.655
AT ITER 1330 NEW BEST:: SOT 45418 SOS 25649 HAS SOPS 25649 HAS SOUS 21817 HAS SOUPS 21817 WITH SCORE 21842.649
AT ITER 1357 NEW BEST:: SOT 45410 SOS 25636 HAS SOPS 25636 HAS SOUS 21804 HAS SOUPS 21804 WITH SCORE 21829.636
AT ITER 1363 NEW BEST:: SOT 45410 SOS 25629 HAS SOPS 25629 HAS SOUS 21804 HAS SOUPS 21804 WITH SCORE 21829.629
AT ITER 1365 NEW BEST:: SOT 45402 SOS 25621 HAS SOPS 25621 HAS SOUS 21796 HAS SOUPS 21796 WITH SCORE 21821.621
AT ITER 1388 NEW BEST:: SOT 45390 SOS 25580 HAS SOPS 25580 HAS SOUS 21772 HAS SOUPS 21772 WITH SCORE 21797.58
AT ITER 1400 NEW BEST:: SOT 45385 SOS 25575 HAS SOPS 25575 HAS SOUS 21767 HAS SOUPS 21767 WITH SCORE 21792.575
AT ITER 1406 NEW BEST:: SOT 45357 SOS 25503 HAS SOPS 25503 HAS SOUS 21754 HAS SOUPS 21754 WITH SCORE 21779.503
AT ITER 1407 NEW BEST:: SOT 45347 SOS 25493 HAS SOPS 25493 HAS SOUS 21744 HAS SOUPS 21744 WITH SCORE 21769.493
AT ITER 1409 NEW BEST:: SOT 45347 SOS 25485 HAS SOPS 25485 HAS SOUS 21744 HAS SOUPS 21744 WITH SCORE 21769.485
AT ITER 1415 NEW BEST:: SOT 45344 SOS 25491 HAS SOPS 25491 HAS SOUS 21741 HAS SOUPS 21741 WITH SCORE 21766.491
AT ITER 1442 NEW BEST:: SOT 45310 SOS 25466 HAS SOPS 25466 HAS SOUS 21716 HAS SOUPS 21716 WITH SCORE 21741.466
AT ITER 1478 NEW BEST:: SOT 45306 SOS 25462 HAS SOPS 25462 HAS SOUS 21712 HAS SOUPS 21712 WITH SCORE 21737.462
AT ITER 1480 NEW BEST:: SOT 45279 SOS 25433 HAS SOPS 25433 HAS SOUS 21696 HAS SOUPS 21696 WITH SCORE 21721.433
AT ITER 1484 NEW BEST:: SOT 45277 SOS 25431 HAS SOPS 25431 HAS SOUS 21694 HAS SOUPS 21694 WITH SCORE 21719.431
AT ITER 1486 NEW BEST:: SOT 45277 SOS 25311 HAS SOPS 25311 HAS SOUS 21694 HAS SOUPS 21694 WITH SCORE 21719.311
AT ITER 1489 NEW BEST:: SOT 45259 SOS 25362 HAS SOPS 25362 HAS SOUS 21689 HAS SOUPS 21689 WITH SCORE 21714.362
AT ITER 1504 NEW BEST:: SOT 45259 SOS 25359 HAS SOPS 25359 HAS SOUS 21686 HAS SOUPS 21686 WITH SCORE 21711.359
AT ITER 1520 NEW BEST:: SOT 45259 SOS 25359 HAS SOPS 25359 HAS SOUS 21682 HAS SOUPS 21682 WITH SCORE 21707.359
AT ITER 1529 NEW BEST:: SOT 45259 SOS 25355 HAS SOPS 25355 HAS SOUS 21678 HAS SOUPS 21678 WITH SCORE 21703.355
AT ITER 1571 NEW BEST:: SOT 45201 SOS 25348 HAS SOPS 25348 HAS SOUS 21647 HAS SOUPS 21647 WITH SCORE 21672.348
AT ITER 1572 NEW BEST:: SOT 45173 SOS 25322 HAS SOPS 25322 HAS SOUS 21647 HAS SOUPS 21647 WITH SCORE 21672.322
AT ITER 1581 NEW BEST:: SOT 45167 SOS 25316 HAS SOPS 25316 HAS SOUS 21641 HAS SOUPS 21641 WITH SCORE 21666.316
AT ITER 1582 NEW BEST:: SOT 45164 SOS 25313 HAS SOPS 25313 HAS SOUS 21638 HAS SOUPS 21638 WITH SCORE 21663.313
AT ITER 1592 NEW BEST:: SOT 45164 SOS 25271 HAS SOPS 25271 HAS SOUS 21629 HAS SOUPS 21629 WITH SCORE 21654.271
AT ITER 1633 NEW BEST:: SOT 45165 SOS 25156 HAS SOPS 25156 HAS SOUS 21622 HAS SOUPS 21622 WITH SCORE 21647.156
AT ITER 1636 NEW BEST:: SOT 45165 SOS 25152 HAS SOPS 25152 HAS SOUS 21621 HAS SOUPS 21621 WITH SCORE 21646.152
AT ITER 1639 NEW BEST:: SOT 45173 SOS 25143 HAS SOPS 25143 HAS SOUS 21597 HAS SOUPS 21597 WITH SCORE 21622.143
AT ITER 1645 NEW BEST:: SOT 45160 SOS 25130 HAS SOPS 25130 HAS SOUS 21581 HAS SOUPS 21581 WITH SCORE 21606.13
AT ITER 1664 NEW BEST:: SOT 45102 SOS 25094 HAS SOPS 25094 HAS SOUS 21545 HAS SOUPS 21545 WITH SCORE 21570.094
AT ITER 1687 NEW BEST:: SOT 45162 SOS 24987 HAS SOPS 24987 HAS SOUS 21523 HAS SOUPS 21523 WITH SCORE 21547.987
AT ITER 1699 NEW BEST:: SOT 45182 SOS 25007 HAS SOPS 25007 HAS SOUS 21466 HAS SOUPS 21466 WITH SCORE 21491.007
AT ITER 1718 NEW BEST:: SOT 45128 SOS 24969 HAS SOPS 24969 HAS SOUS 21428 HAS SOUPS 21428 WITH SCORE 21452.969
AT ITER 1719 NEW BEST:: SOT 45128 SOS 24963 HAS SOPS 24963 HAS SOUS 21422 HAS SOUPS 21422 WITH SCORE 21446.963
AT ITER 1728 NEW BEST:: SOT 45128 SOS 24955 HAS SOPS 24955 HAS SOUS 21422 HAS SOUPS 21422 WITH SCORE 21446.955
AT ITER 1730 NEW BEST:: SOT 45128 SOS 24906 HAS SOPS 24906 HAS SOUS 21422 HAS SOUPS 21422 WITH SCORE 21446.906
AT ITER 1737 NEW BEST:: SOT 45124 SOS 24902 HAS SOPS 24902 HAS SOUS 21407 HAS SOUPS 21407 WITH SCORE 21431.902
AT ITER 1757 NEW BEST:: SOT 45123 SOS 24901 HAS SOPS 24901 HAS SOUS 21406 HAS SOUPS 21406 WITH SCORE 21430.901
AT ITER 1761 NEW BEST:: SOT 45123 SOS 24893 HAS SOPS 24893 HAS SOUS 21406 HAS SOUPS 21406 WITH SCORE 21430.893
AT ITER 1770 NEW BEST:: SOT 45131 SOS 24885 HAS SOPS 24885 HAS SOUS 21398 HAS SOUPS 21398 WITH SCORE 21422.885
AT ITER 1777 NEW BEST:: SOT 45122 SOS 24871 HAS SOPS 24871 HAS SOUS 21378 HAS SOUPS 21378 WITH SCORE 21402.871
AT ITER 1780 NEW BEST:: SOT 45105 SOS 24854 HAS SOPS 24854 HAS SOUS 21365 HAS SOUPS 21365 WITH SCORE 21389.854
AT ITER 1784 NEW BEST:: SOT 45047 SOS 24839 HAS SOPS 24839 HAS SOUS 21331 HAS SOUPS 21331 WITH SCORE 21355.839
AT ITER 1786 NEW BEST:: SOT 45045 SOS 24843 HAS SOPS 24843 HAS SOUS 21329 HAS SOUPS 21329 WITH SCORE 21353.843
AT ITER 1824 NEW BEST:: SOT 45045 SOS 24843 HAS SOPS 24843 HAS SOUS 21319 HAS SOUPS 21319 WITH SCORE 21343.843
AT ITER 1847 NEW BEST:: SOT 44995 SOS 24644 HAS SOPS 24644 HAS SOUS 21309 HAS SOUPS 21309 WITH SCORE 21333.644
AT ITER 1858 NEW BEST:: SOT 44986 SOS 24638 HAS SOPS 24638 HAS SOUS 21306 HAS SOUPS 21306 WITH SCORE 21330.638
AT ITER 1875 NEW BEST:: SOT 44986 SOS 24624 HAS SOPS 24624 HAS SOUS 21299 HAS SOUPS 21299 WITH SCORE 21323.624
AT ITER 1902 NEW BEST:: SOT 44974 SOS 24620 HAS SOPS 24620 HAS SOUS 21295 HAS SOUPS 21295 WITH SCORE 21319.62
AT ITER 1915 NEW BEST:: SOT 44969 SOS 24615 HAS SOPS 24615 HAS SOUS 21290 HAS SOUPS 21290 WITH SCORE 21314.615
AT ITER 1917 NEW BEST:: SOT 44953 SOS 24613 HAS SOPS 24613 HAS SOUS 21282 HAS SOUPS 21282 WITH SCORE 21306.613
AT ITER 1924 NEW BEST:: SOT 44953 SOS 24610 HAS SOPS 24610 HAS SOUS 21282 HAS SOUPS 21282 WITH SCORE 21306.61
AT ITER 1934 NEW BEST:: SOT 44838 SOS 24811 HAS SOPS 24811 HAS SOUS 21186 HAS SOUPS 21186 WITH SCORE 21210.811
AT ITER 1940 NEW BEST:: SOT 44815 SOS 24788 HAS SOPS 24788 HAS SOUS 21163 HAS SOUPS 21163 WITH SCORE 21187.788
AT ITER 1950 NEW BEST:: SOT 44847 SOS 24677 HAS SOPS 24677 HAS SOUS 21137 HAS SOUPS 21137 WITH SCORE 21161.677
AT ITER 1980 NEW BEST:: SOT 44909 SOS 24693 HAS SOPS 24693 HAS SOUS 21118 HAS SOUPS 21118 WITH SCORE 21142.693
AT ITER 1986 NEW BEST:: SOT 44894 SOS 24678 HAS SOPS 24678 HAS SOUS 21103 HAS SOUPS 21103 WITH SCORE 21127.678
AT ITER 2063 NEW BEST:: SOT 44794 SOS 24777 HAS SOPS 24777 HAS SOUS 21039 HAS SOUPS 21039 WITH SCORE 21063.777
AT ITER 2071 NEW BEST:: SOT 44757 SOS 24740 HAS SOPS 24740 HAS SOUS 21002 HAS SOUPS 21002 WITH SCORE 21026.74
AT ITER 2081 NEW BEST:: SOT 44747 SOS 24730 HAS SOPS 24730 HAS SOUS 20992 HAS SOUPS 20992 WITH SCORE 21016.73
AT ITER 2108 NEW BEST:: SOT 44738 SOS 24721 HAS SOPS 24721 HAS SOUS 20983 HAS SOUPS 20983 WITH SCORE 21007.721
AT ITER 2109 NEW BEST:: SOT 44705 SOS 24688 HAS SOPS 24688 HAS SOUS 20950 HAS SOUPS 20950 WITH SCORE 20974.688
AT ITER 2145 NEW BEST:: SOT 44692 SOS 24710 HAS SOPS 24710 HAS SOUS 20938 HAS SOUPS 20938 WITH SCORE 20962.71
AT ITER 2149 NEW BEST:: SOT 44684 SOS 24705 HAS SOPS 24705 HAS SOUS 20933 HAS SOUPS 20933 WITH SCORE 20957.705
AT ITER 2153 NEW BEST:: SOT 44673 SOS 24699 HAS SOPS 24699 HAS SOUS 20927 HAS SOUPS 20927 WITH SCORE 20951.699
AT ITER 2202 NEW BEST:: SOT 44667 SOS 24693 HAS SOPS 24693 HAS SOUS 20927 HAS SOUPS 20927 WITH SCORE 20951.693
AT ITER 2213 NEW BEST:: SOT 44667 SOS 24693 HAS SOPS 24693 HAS SOUS 20919 HAS SOUPS 20919 WITH SCORE 20943.693
AT ITER 2214 NEW BEST:: SOT 44660 SOS 24686 HAS SOPS 24686 HAS SOUS 20912 HAS SOUPS 20912 WITH SCORE 20936.686
AT ITER 2225 NEW BEST:: SOT 44660 SOS 24655 HAS SOPS 24655 HAS SOUS 20911 HAS SOUPS 20911 WITH SCORE 20935.655
AT ITER 2254 NEW BEST:: SOT 44652 SOS 24652 HAS SOPS 24652 HAS SOUS 20908 HAS SOUPS 20908 WITH SCORE 20932.652
AT ITER 2259 NEW BEST:: SOT 44652 SOS 24651 HAS SOPS 24651 HAS SOUS 20908 HAS SOUPS 20908 WITH SCORE 20932.651
AT ITER 2269 NEW BEST:: SOT 44652 SOS 24666 HAS SOPS 24666 HAS SOUS 20904 HAS SOUPS 20904 WITH SCORE 20928.666
AT ITER 2274 NEW BEST:: SOT 44646 SOS 24660 HAS SOPS 24660 HAS SOUS 20898 HAS SOUPS 20898 WITH SCORE 20922.66
AT ITER 2276 NEW BEST:: SOT 44629 SOS 24643 HAS SOPS 24643 HAS SOUS 20881 HAS SOUPS 20881 WITH SCORE 20905.643
AT ITER 2281 NEW BEST:: SOT 44629 SOS 24640 HAS SOPS 24640 HAS SOUS 20881 HAS SOUPS 20881 WITH SCORE 20905.64
AT ITER 2288 NEW BEST:: SOT 44629 SOS 24630 HAS SOPS 24630 HAS SOUS 20871 HAS SOUPS 20871 WITH SCORE 20895.63
AT ITER 2325 NEW BEST:: SOT 44629 SOS 24625 HAS SOPS 24625 HAS SOUS 20866 HAS SOUPS 20866 WITH SCORE 20890.625
AT ITER 2341 NEW BEST:: SOT 44541 SOS 24571 HAS SOPS 24571 HAS SOUS 20812 HAS SOUPS 20812 WITH SCORE 20836.571
AT ITER 2375 NEW BEST:: SOT 44463 SOS 24842 HAS SOPS 24842 HAS SOUS 20802 HAS SOUPS 20802 WITH SCORE 20826.842
AT ITER 2389 NEW BEST:: SOT 44466 SOS 24830 HAS SOPS 24830 HAS SOUS 20799 HAS SOUPS 20799 WITH SCORE 20823.83
AT ITER 2390 NEW BEST:: SOT 44476 SOS 24737 HAS SOPS 24737 HAS SOUS 20785 HAS SOUPS 20785 WITH SCORE 20809.737
AT ITER 2404 NEW BEST:: SOT 44518 SOS 24767 HAS SOPS 24767 HAS SOUS 20778 HAS SOUPS 20778 WITH SCORE 20802.767
AT ITER 2456 NEW BEST:: SOT 44533 SOS 24752 HAS SOPS 24752 HAS SOUS 20763 HAS SOUPS 20763 WITH SCORE 20787.752
AT ITER 2458 NEW BEST:: SOT 44543 SOS 24741 HAS SOPS 24741 HAS SOUS 20757 HAS SOUPS 20757 WITH SCORE 20781.741
AT ITER 2461 NEW BEST:: SOT 44543 SOS 24733 HAS SOPS 24733 HAS SOUS 20749 HAS SOUPS 20749 WITH SCORE 20773.733
AT ITER 2523 NEW BEST:: SOT 44560 SOS 24750 HAS SOPS 24750 HAS SOUS 20744 HAS SOUPS 20744 WITH SCORE 20768.75
AT ITER 2539 NEW BEST:: SOT 44577 SOS 24743 HAS SOPS 24743 HAS SOUS 20741 HAS SOUPS 20741 WITH SCORE 20765.743
AT ITER 2544 NEW BEST:: SOT 44575 SOS 24739 HAS SOPS 24739 HAS SOUS 20740 HAS SOUPS 20740 WITH SCORE 20764.739
AT ITER 2577 NEW BEST:: SOT 44571 SOS 24735 HAS SOPS 24735 HAS SOUS 20736 HAS SOUPS 20736 WITH SCORE 20760.735
AT ITER 2610 NEW BEST:: SOT 44559 SOS 24734 HAS SOPS 24734 HAS SOUS 20735 HAS SOUPS 20735 WITH SCORE 20759.734
AT ITER 2614 NEW BEST:: SOT 44501 SOS 24710 HAS SOPS 24710 HAS SOUS 20711 HAS SOUPS 20711 WITH SCORE 20735.71
AT ITER 2618 NEW BEST:: SOT 44440 SOS 24672 HAS SOPS 24672 HAS SOUS 20691 HAS SOUPS 20691 WITH SCORE 20715.672
AT ITER 2621 NEW BEST:: SOT 44419 SOS 24720 HAS SOPS 24720 HAS SOUS 20679 HAS SOUPS 20679 WITH SCORE 20703.72
AT ITER 2629 NEW BEST:: SOT 44419 SOS 24711 HAS SOPS 24711 HAS SOUS 20679 HAS SOUPS 20679 WITH SCORE 20703.711
AT ITER 2634 NEW BEST:: SOT 44486 SOS 24729 HAS SOPS 24729 HAS SOUS 20669 HAS SOUPS 20669 WITH SCORE 20693.729
AT ITER 2666 NEW BEST:: SOT 44442 SOS 24722 HAS SOPS 24722 HAS SOUS 20662 HAS SOUPS 20662 WITH SCORE 20686.722
AT ITER 2705 NEW BEST:: SOT 44429 SOS 24709 HAS SOPS 24709 HAS SOUS 20644 HAS SOUPS 20644 WITH SCORE 20668.709
AT ITER 2710 NEW BEST:: SOT 44425 SOS 24705 HAS SOPS 24705 HAS SOUS 20640 HAS SOUPS 20640 WITH SCORE 20664.705
AT ITER 2717 NEW BEST:: SOT 44332 SOS 24656 HAS SOPS 24656 HAS SOUS 20591 HAS SOUPS 20591 WITH SCORE 20615.656
AT ITER 2724 NEW BEST:: SOT 44330 SOS 24654 HAS SOPS 24654 HAS SOUS 20589 HAS SOUPS 20589 WITH SCORE 20613.654
AT ITER 2760 NEW BEST:: SOT 44317 SOS 24641 HAS SOPS 24641 HAS SOUS 20576 HAS SOUPS 20576 WITH SCORE 20600.641
AT ITER 2819 NEW BEST:: SOT 44317 SOS 24603 HAS SOPS 24603 HAS SOUS 20576 HAS SOUPS 20576 WITH SCORE 20600.603
AT ITER 2849 NEW BEST:: SOT 44317 SOS 24579 HAS SOPS 24579 HAS SOUS 20576 HAS SOUPS 20576 WITH SCORE 20600.579
AT ITER 2862 NEW BEST:: SOT 44314 SOS 24576 HAS SOPS 24576 HAS SOUS 20573 HAS SOUPS 20573 WITH SCORE 20597.576
AT ITER 2882 NEW BEST:: SOT 44306 SOS 24568 HAS SOPS 24568 HAS SOUS 20559 HAS SOUPS 20559 WITH SCORE 20583.568
AT ITER 2889 NEW BEST:: SOT 44180 SOS 24537 HAS SOPS 24537 HAS SOUS 20536 HAS SOUPS 20536 WITH SCORE 20560.537
AT ITER 2895 NEW BEST:: SOT 44172 SOS 24529 HAS SOPS 24529 HAS SOUS 20528 HAS SOUPS 20528 WITH SCORE 20552.529
AT ITER 2919 NEW BEST:: SOT 44153 SOS 24524 HAS SOPS 24524 HAS SOUS 20523 HAS SOUPS 20523 WITH SCORE 20547.524
AT ITER 2934 NEW BEST:: SOT 44147 SOS 24518 HAS SOPS 24518 HAS SOUS 20522 HAS SOUPS 20522 WITH SCORE 20546.518
AT ITER 2957 NEW BEST:: SOT 44144 SOS 24515 HAS SOPS 24515 HAS SOUS 20519 HAS SOUPS 20519 WITH SCORE 20543.515
AT ITER 2961 NEW BEST:: SOT 44117 SOS 24488 HAS SOPS 24488 HAS SOUS 20492 HAS SOUPS 20492 WITH SCORE 20516.488
AT ITER 2966 NEW BEST:: SOT 44115 SOS 24429 HAS SOPS 24429 HAS SOUS 20482 HAS SOUPS 20482 WITH SCORE 20506.429
AT ITER 2975 NEW BEST:: SOT 44099 SOS 24393 HAS SOPS 24393 HAS SOUS 20470 HAS SOUPS 20470 WITH SCORE 20494.393
AT ITER 2996 NEW BEST:: SOT 44069 SOS 24453 HAS SOPS 24453 HAS SOUS 20446 HAS SOUPS 20446 WITH SCORE 20470.453
AT ITER 3000 NEW BEST:: SOT 44065 SOS 24449 HAS SOPS 24449 HAS SOUS 20442 HAS SOUPS 20442 WITH SCORE 20466.449
AT ITER 3007 NEW BEST:: SOT 44065 SOS 24524 HAS SOPS 24524 HAS SOUS 20425 HAS SOUPS 20425 WITH SCORE 20449.524
AT ITER 3095 NEW BEST:: SOT 44063 SOS 24507 HAS SOPS 24507 HAS SOUS 20417 HAS SOUPS 20417 WITH SCORE 20441.507
AT ITER 3096 NEW BEST:: SOT 44063 SOS 24447 HAS SOPS 24447 HAS SOUS 20417 HAS SOUPS 20417 WITH SCORE 20441.447
AT ITER 3097 NEW BEST:: SOT 44063 SOS 24445 HAS SOPS 24445 HAS SOUS 20417 HAS SOUPS 20417 WITH SCORE 20441.445
AT ITER 3107 NEW BEST:: SOT 44063 SOS 24409 HAS SOPS 24409 HAS SOUS 20417 HAS SOUPS 20417 WITH SCORE 20441.409
AT ITER 3108 NEW BEST:: SOT 44057 SOS 24403 HAS SOPS 24403 HAS SOUS 20411 HAS SOUPS 20411 WITH SCORE 20435.403
AT ITER 3119 NEW BEST:: SOT 44048 SOS 24385 HAS SOPS 24385 HAS SOUS 20393 HAS SOUPS 20393 WITH SCORE 20417.385
AT ITER 3177 NEW BEST:: SOT 44048 SOS 24371 HAS SOPS 24371 HAS SOUS 20393 HAS SOUPS 20393 WITH SCORE 20417.371
AT ITER 3181 NEW BEST:: SOT 44020 SOS 24353 HAS SOPS 24353 HAS SOUS 20389 HAS SOUPS 20389 WITH SCORE 20413.353
AT ITER 3195 NEW BEST:: SOT 44016 SOS 24349 HAS SOPS 24349 HAS SOUS 20385 HAS SOUPS 20385 WITH SCORE 20409.349
AT ITER 3198 NEW BEST:: SOT 44014 SOS 24347 HAS SOPS 24347 HAS SOUS 20383 HAS SOUPS 20383 WITH SCORE 20407.347
AT ITER 3201 NEW BEST:: SOT 44014 SOS 24315 HAS SOPS 24315 HAS SOUS 20378 HAS SOUPS 20378 WITH SCORE 20402.315
AT ITER 3210 NEW BEST:: SOT 43983 SOS 24284 HAS SOPS 24284 HAS SOUS 20347 HAS SOUPS 20347 WITH SCORE 20371.284
AT ITER 3244 NEW BEST:: SOT 43983 SOS 24251 HAS SOPS 24251 HAS SOUS 20340 HAS SOUPS 20340 WITH SCORE 20364.251
AT ITER 3252 NEW BEST:: SOT 43939 SOS 24222 HAS SOPS 24222 HAS SOUS 20311 HAS SOUPS 20311 WITH SCORE 20335.222
AT ITER 3253 NEW BEST:: SOT 43939 SOS 24218 HAS SOPS 24218 HAS SOUS 20311 HAS SOUPS 20311 WITH SCORE 20335.218
AT ITER 3269 NEW BEST:: SOT 43969 SOS 24182 HAS SOPS 24182 HAS SOUS 20267 HAS SOUPS 20267 WITH SCORE 20291.182
AT ITER 3275 NEW BEST:: SOT 43968 SOS 24181 HAS SOPS 24181 HAS SOUS 20266 HAS SOUPS 20266 WITH SCORE 20290.181
AT ITER 3277 NEW BEST:: SOT 43960 SOS 24173 HAS SOPS 24173 HAS SOUS 20258 HAS SOUPS 20258 WITH SCORE 20282.173
AT ITER 3294 NEW BEST:: SOT 43960 SOS 24215 HAS SOPS 24215 HAS SOUS 20227 HAS SOUPS 20227 WITH SCORE 20251.215
AT ITER 3318 NEW BEST:: SOT 43963 SOS 24218 HAS SOPS 24218 HAS SOUS 20224 HAS SOUPS 20224 WITH SCORE 20248.218
AT ITER 3324 NEW BEST:: SOT 43963 SOS 24216 HAS SOPS 24216 HAS SOUS 20224 HAS SOUPS 20224 WITH SCORE 20248.216
AT ITER 3352 NEW BEST:: SOT 43960 SOS 24211 HAS SOPS 24211 HAS SOUS 20221 HAS SOUPS 20221 WITH SCORE 20245.211
AT ITER 3361 NEW BEST:: SOT 43954 SOS 24183 HAS SOPS 24183 HAS SOUS 20203 HAS SOUPS 20203 WITH SCORE 20227.183
AT ITER 3372 NEW BEST:: SOT 43973 SOS 24192 HAS SOPS 24192 HAS SOUS 20198 HAS SOUPS 20198 WITH SCORE 20222.192
AT ITER 3408 NEW BEST:: SOT 43973 SOS 24175 HAS SOPS 24175 HAS SOUS 20195 HAS SOUPS 20195 WITH SCORE 20219.175
AT ITER 3410 NEW BEST:: SOT 43973 SOS 24168 HAS SOPS 24168 HAS SOUS 20195 HAS SOUPS 20195 WITH SCORE 20219.168
AT ITER 3411 NEW BEST:: SOT 43973 SOS 24144 HAS SOPS 24144 HAS SOUS 20195 HAS SOUPS 20195 WITH SCORE 20219.144
AT ITER 3421 NEW BEST:: SOT 43973 SOS 24137 HAS SOPS 24137 HAS SOUS 20195 HAS SOUPS 20195 WITH SCORE 20219.137
AT ITER 3473 NEW BEST:: SOT 43937 SOS 24148 HAS SOPS 24148 HAS SOUS 20185 HAS SOUPS 20185 WITH SCORE 20209.148
AT ITER 3477 NEW BEST:: SOT 43935 SOS 24146 HAS SOPS 24146 HAS SOUS 20182 HAS SOUPS 20182 WITH SCORE 20206.146
AT ITER 3524 NEW BEST:: SOT 43912 SOS 24118 HAS SOPS 24118 HAS SOUS 20159 HAS SOUPS 20159 WITH SCORE 20183.118
AT ITER 3530 NEW BEST:: SOT 43914 SOS 24120 HAS SOPS 24120 HAS SOUS 20150 HAS SOUPS 20150 WITH SCORE 20174.12
AT ITER 3562 NEW BEST:: SOT 43903 SOS 24131 HAS SOPS 24131 HAS SOUS 20128 HAS SOUPS 20128 WITH SCORE 20152.131
AT ITER 3566 NEW BEST:: SOT 43875 SOS 24089 HAS SOPS 24089 HAS SOUS 20086 HAS SOUPS 20086 WITH SCORE 20110.089
AT ITER 3599 NEW BEST:: SOT 43874 SOS 24088 HAS SOPS 24088 HAS SOUS 20085 HAS SOUPS 20085 WITH SCORE 20109.088
AT ITER 3612 NEW BEST:: SOT 43872 SOS 24183 HAS SOPS 24183 HAS SOUS 20083 HAS SOUPS 20083 WITH SCORE 20107.183
AT ITER 3614 NEW BEST:: SOT 43871 SOS 24182 HAS SOPS 24182 HAS SOUS 20082 HAS SOUPS 20082 WITH SCORE 20106.182
AT ITER 3626 NEW BEST:: SOT 43865 SOS 24241 HAS SOPS 24241 HAS SOUS 20076 HAS SOUPS 20076 WITH SCORE 20100.241
AT ITER 3631 NEW BEST:: SOT 43697 SOS 24219 HAS SOPS 24219 HAS SOUS 20006 HAS SOUPS 20006 WITH SCORE 20030.219
AT ITER 3635 NEW BEST:: SOT 43697 SOS 24210 HAS SOPS 24210 HAS SOUS 20006 HAS SOUPS 20006 WITH SCORE 20030.21
AT ITER 3668 NEW BEST:: SOT 43678 SOS 24191 HAS SOPS 24191 HAS SOUS 19987 HAS SOUPS 19987 WITH SCORE 20011.191
AT ITER 3685 NEW BEST:: SOT 43672 SOS 24167 HAS SOPS 24167 HAS SOUS 19963 HAS SOUPS 19963 WITH SCORE 19987.167
AT ITER 3695 NEW BEST:: SOT 43684 SOS 24162 HAS SOPS 24162 HAS SOUS 19958 HAS SOUPS 19958 WITH SCORE 19982.162
AT ITER 3721 NEW BEST:: SOT 43684 SOS 24162 HAS SOPS 24162 HAS SOUS 19954 HAS SOUPS 19954 WITH SCORE 19978.162
AT ITER 3725 NEW BEST:: SOT 43684 SOS 24204 HAS SOPS 24204 HAS SOUS 19944 HAS SOUPS 19944 WITH SCORE 19968.204
AT ITER 3730 NEW BEST:: SOT 43635 SOS 24388 HAS SOPS 24388 HAS SOUS 19934 HAS SOUPS 19934 WITH SCORE 19958.388
AT ITER 3747 NEW BEST:: SOT 43620 SOS 24354 HAS SOPS 24354 HAS SOUS 19888 HAS SOUPS 19888 WITH SCORE 19912.354
AT ITER 3756 NEW BEST:: SOT 43605 SOS 24339 HAS SOPS 24339 HAS SOUS 19873 HAS SOUPS 19873 WITH SCORE 19897.339
AT ITER 3773 NEW BEST:: SOT 43604 SOS 24338 HAS SOPS 24338 HAS SOUS 19872 HAS SOUPS 19872 WITH SCORE 19896.338
AT ITER 3775 NEW BEST:: SOT 43600 SOS 24342 HAS SOPS 24342 HAS SOUS 19869 HAS SOUPS 19869 WITH SCORE 19893.342
AT ITER 3807 NEW BEST:: SOT 43581 SOS 24321 HAS SOPS 24321 HAS SOUS 19846 HAS SOUPS 19846 WITH SCORE 19870.321
AT ITER 3817 NEW BEST:: SOT 43581 SOS 24303 HAS SOPS 24303 HAS SOUS 19846 HAS SOUPS 19846 WITH SCORE 19870.303
AT ITER 3827 NEW BEST:: SOT 43536 SOS 24279 HAS SOPS 24279 HAS SOUS 19822 HAS SOUPS 19822 WITH SCORE 19846.279
AT ITER 3829 NEW BEST:: SOT 43536 SOS 24267 HAS SOPS 24267 HAS SOUS 19822 HAS SOUPS 19822 WITH SCORE 19846.267
AT ITER 3834 NEW BEST:: SOT 43536 SOS 24246 HAS SOPS 24246 HAS SOUS 19817 HAS SOUPS 19817 WITH SCORE 19841.246
AT ITER 3839 NEW BEST:: SOT 43525 SOS 24235 HAS SOPS 24235 HAS SOUS 19806 HAS SOUPS 19806 WITH SCORE 19830.235
AT ITER 3855 NEW BEST:: SOT 43530 SOS 24225 HAS SOPS 24225 HAS SOUS 19806 HAS SOUPS 19806 WITH SCORE 19830.225
AT ITER 3868 NEW BEST:: SOT 43523 SOS 24218 HAS SOPS 24218 HAS SOUS 19799 HAS SOUPS 19799 WITH SCORE 19823.218
AT ITER 3902 NEW BEST:: SOT 43523 SOS 24216 HAS SOPS 24216 HAS SOUS 19797 HAS SOUPS 19797 WITH SCORE 19821.216
AT ITER 3940 NEW BEST:: SOT 43527 SOS 24209 HAS SOPS 24209 HAS SOUS 19797 HAS SOUPS 19797 WITH SCORE 19821.209
AT ITER 3948 NEW BEST:: SOT 43468 SOS 24297 HAS SOPS 24297 HAS SOUS 19783 HAS SOUPS 19783 WITH SCORE 19807.297
AT ITER 3956 NEW BEST:: SOT 43463 SOS 24292 HAS SOPS 24292 HAS SOUS 19781 HAS SOUPS 19781 WITH SCORE 19805.292
AT ITER 3976 NEW BEST:: SOT 43438 SOS 24277 HAS SOPS 24277 HAS SOUS 19776 HAS SOUPS 19776 WITH SCORE 19800.277
AT ITER 3993 NEW BEST:: SOT 43438 SOS 24277 HAS SOPS 24277 HAS SOUS 19764 HAS SOUPS 19764 WITH SCORE 19788.277
AT ITER 4013 NEW BEST:: SOT 43408 SOS 24247 HAS SOPS 24247 HAS SOUS 19734 HAS SOUPS 19734 WITH SCORE 19758.247
AT ITER 4017 NEW BEST:: SOT 43408 SOS 24234 HAS SOPS 24234 HAS SOUS 19731 HAS SOUPS 19731 WITH SCORE 19755.234
AT ITER 4024 NEW BEST:: SOT 43413 SOS 24235 HAS SOPS 24235 HAS SOUS 19726 HAS SOUPS 19726 WITH SCORE 19750.235
AT ITER 4033 NEW BEST:: SOT 43403 SOS 24215 HAS SOPS 24215 HAS SOUS 19706 HAS SOUPS 19706 WITH SCORE 19730.215
AT ITER 4041 NEW BEST:: SOT 43402 SOS 24214 HAS SOPS 24214 HAS SOUS 19705 HAS SOUPS 19705 WITH SCORE 19729.214
AT ITER 4051 NEW BEST:: SOT 43395 SOS 24207 HAS SOPS 24207 HAS SOUS 19698 HAS SOUPS 19698 WITH SCORE 19722.207
AT ITER 4058 NEW BEST:: SOT 43440 SOS 24280 HAS SOPS 24280 HAS SOUS 19687 HAS SOUPS 19687 WITH SCORE 19711.28
AT ITER 4070 NEW BEST:: SOT 43422 SOS 24262 HAS SOPS 24262 HAS SOUS 19669 HAS SOUPS 19669 WITH SCORE 19693.262
AT ITER 4074 NEW BEST:: SOT 43420 SOS 24260 HAS SOPS 24260 HAS SOUS 19667 HAS SOUPS 19667 WITH SCORE 19691.26
AT ITER 4075 NEW BEST:: SOT 43377 SOS 24254 HAS SOPS 24254 HAS SOUS 19661 HAS SOUPS 19661 WITH SCORE 19685.254
AT ITER 4108 NEW BEST:: SOT 43377 SOS 24239 HAS SOPS 24239 HAS SOUS 19656 HAS SOUPS 19656 WITH SCORE 19680.239
AT ITER 4115 NEW BEST:: SOT 43364 SOS 24206 HAS SOPS 24206 HAS SOUS 19623 HAS SOUPS 19623 WITH SCORE 19647.206
AT ITER 4126 NEW BEST:: SOT 43376 SOS 24170 HAS SOPS 24170 HAS SOUS 19604 HAS SOUPS 19604 WITH SCORE 19628.17
AT ITER 4128 NEW BEST:: SOT 43376 SOS 24164 HAS SOPS 24164 HAS SOUS 19601 HAS SOUPS 19601 WITH SCORE 19625.164
AT ITER 4136 NEW BEST:: SOT 43403 SOS 24079 HAS SOPS 24079 HAS SOUS 19601 HAS SOUPS 19601 WITH SCORE 19625.079
AT ITER 4141 NEW BEST:: SOT 43403 SOS 24077 HAS SOPS 24077 HAS SOUS 19601 HAS SOUPS 19601 WITH SCORE 19625.077
AT ITER 4157 NEW BEST:: SOT 43403 SOS 24089 HAS SOPS 24089 HAS SOUS 19598 HAS SOUPS 19598 WITH SCORE 19622.089
AT ITER 4168 NEW BEST:: SOT 43403 SOS 24086 HAS SOPS 24086 HAS SOUS 19594 HAS SOUPS 19594 WITH SCORE 19618.086
AT ITER 4196 NEW BEST:: SOT 43478 SOS 24114 HAS SOPS 24114 HAS SOUS 19576 HAS SOUPS 19576 WITH SCORE 19600.114
AT ITER 4199 NEW BEST:: SOT 43491 SOS 24120 HAS SOPS 24120 HAS SOUS 19573 HAS SOUPS 19573 WITH SCORE 19597.12
AT ITER 4223 NEW BEST:: SOT 43467 SOS 24096 HAS SOPS 24096 HAS SOUS 19550 HAS SOUPS 19550 WITH SCORE 19574.096
AT ITER 4257 NEW BEST:: SOT 43466 SOS 24092 HAS SOPS 24092 HAS SOUS 19546 HAS SOUPS 19546 WITH SCORE 19570.092
AT ITER 4269 NEW BEST:: SOT 43460 SOS 24086 HAS SOPS 24086 HAS SOUS 19540 HAS SOUPS 19540 WITH SCORE 19564.086
AT ITER 4272 NEW BEST:: SOT 43451 SOS 24113 HAS SOPS 24113 HAS SOUS 19534 HAS SOUPS 19534 WITH SCORE 19558.113
AT ITER 4290 NEW BEST:: SOT 43451 SOS 24101 HAS SOPS 24101 HAS SOUS 19530 HAS SOUPS 19530 WITH SCORE 19554.101
AT ITER 4298 NEW BEST:: SOT 43450 SOS 24100 HAS SOPS 24100 HAS SOUS 19512 HAS SOUPS 19512 WITH SCORE 19536.1
AT ITER 4300 NEW BEST:: SOT 43449 SOS 24088 HAS SOPS 24088 HAS SOUS 19500 HAS SOUPS 19500 WITH SCORE 19524.088
AT ITER 4326 NEW BEST:: SOT 43449 SOS 24085 HAS SOPS 24085 HAS SOUS 19483 HAS SOUPS 19483 WITH SCORE 19507.085
AT ITER 4327 NEW BEST:: SOT 43350 SOS 24047 HAS SOPS 24047 HAS SOUS 19445 HAS SOUPS 19445 WITH SCORE 19469.047
AT ITER 4328 NEW BEST:: SOT 43342 SOS 24039 HAS SOPS 24039 HAS SOUS 19437 HAS SOUPS 19437 WITH SCORE 19461.039
AT ITER 4329 NEW BEST:: SOT 43342 SOS 24112 HAS SOPS 24112 HAS SOUS 19436 HAS SOUPS 19436 WITH SCORE 19460.112
AT ITER 4347 NEW BEST:: SOT 43342 SOS 24108 HAS SOPS 24108 HAS SOUS 19435 HAS SOUPS 19435 WITH SCORE 19459.108
AT ITER 4379 NEW BEST:: SOT 43331 SOS 24077 HAS SOPS 24077 HAS SOUS 19434 HAS SOUPS 19434 WITH SCORE 19458.077
AT ITER 4394 NEW BEST:: SOT 43326 SOS 24075 HAS SOPS 24075 HAS SOUS 19423 HAS SOUPS 19423 WITH SCORE 19447.075
AT ITER 4400 NEW BEST:: SOT 43314 SOS 24072 HAS SOPS 24072 HAS SOUS 19420 HAS SOUPS 19420 WITH SCORE 19444.072
AT ITER 4433 NEW BEST:: SOT 43298 SOS 24056 HAS SOPS 24056 HAS SOUS 19404 HAS SOUPS 19404 WITH SCORE 19428.056
AT ITER 4441 NEW BEST:: SOT 43298 SOS 24056 HAS SOPS 24056 HAS SOUS 19399 HAS SOUPS 19399 WITH SCORE 19423.056
AT ITER 4453 NEW BEST:: SOT 43298 SOS 24052 HAS SOPS 24052 HAS SOUS 19399 HAS SOUPS 19399 WITH SCORE 19423.052
AT ITER 4484 NEW BEST:: SOT 43298 SOS 24047 HAS SOPS 24047 HAS SOUS 19397 HAS SOUPS 19397 WITH SCORE 19421.047
AT ITER 4494 NEW BEST:: SOT 43298 SOS 24046 HAS SOPS 24046 HAS SOUS 19397 HAS SOUPS 19397 WITH SCORE 19421.046
AT ITER 4499 NEW BEST:: SOT 43293 SOS 24058 HAS SOPS 24058 HAS SOUS 19392 HAS SOUPS 19392 WITH SCORE 19416.058
AT ITER 4520 NEW BEST:: SOT 43293 SOS 24067 HAS SOPS 24067 HAS SOUS 19385 HAS SOUPS 19385 WITH SCORE 19409.067
AT ITER 4526 NEW BEST:: SOT 43253 SOS 24043 HAS SOPS 24043 HAS SOUS 19361 HAS SOUPS 19361 WITH SCORE 19385.043
AT ITER 4537 NEW BEST:: SOT 43252 SOS 24042 HAS SOPS 24042 HAS SOUS 19360 HAS SOUPS 19360 WITH SCORE 19384.042
AT ITER 4572 NEW BEST:: SOT 43249 SOS 24039 HAS SOPS 24039 HAS SOUS 19352 HAS SOUPS 19352 WITH SCORE 19376.039
AT ITER 4583 NEW BEST:: SOT 43233 SOS 24023 HAS SOPS 24023 HAS SOUS 19336 HAS SOUPS 19336 WITH SCORE 19360.023
AT ITER 4600 NEW BEST:: SOT 43228 SOS 24018 HAS SOPS 24018 HAS SOUS 19331 HAS SOUPS 19331 WITH SCORE 19355.018
AT ITER 4609 NEW BEST:: SOT 43228 SOS 24006 HAS SOPS 24006 HAS SOUS 19325 HAS SOUPS 19325 WITH SCORE 19349.006
AT ITER 4619 NEW BEST:: SOT 43181 SOS 23981 HAS SOPS 23981 HAS SOUS 19306 HAS SOUPS 19306 WITH SCORE 19329.981
AT ITER 4628 NEW BEST:: SOT 43181 SOS 23967 HAS SOPS 23967 HAS SOUS 19306 HAS SOUPS 19306 WITH SCORE 19329.967
AT ITER 4653 NEW BEST:: SOT 43127 SOS 23939 HAS SOPS 23939 HAS SOUS 19282 HAS SOUPS 19282 WITH SCORE 19305.939
AT ITER 4667 NEW BEST:: SOT 43119 SOS 23931 HAS SOPS 23931 HAS SOUS 19274 HAS SOUPS 19274 WITH SCORE 19297.931
AT ITER 4685 NEW BEST:: SOT 43108 SOS 23965 HAS SOPS 23965 HAS SOUS 19269 HAS SOUPS 19269 WITH SCORE 19292.965
AT ITER 4695 NEW BEST:: SOT 43095 SOS 23963 HAS SOPS 23963 HAS SOUS 19267 HAS SOUPS 19267 WITH SCORE 19290.963
AT ITER 4729 NEW BEST:: SOT 43092 SOS 23960 HAS SOPS 23960 HAS SOUS 19264 HAS SOUPS 19264 WITH SCORE 19287.96
AT ITER 4740 NEW BEST:: SOT 43092 SOS 23935 HAS SOPS 23935 HAS SOUS 19264 HAS SOUPS 19264 WITH SCORE 19287.935
AT ITER 4747 NEW BEST:: SOT 43092 SOS 23929 HAS SOPS 23929 HAS SOUS 19263 HAS SOUPS 19263 WITH SCORE 19286.929
AT ITER 4748 NEW BEST:: SOT 43087 SOS 23924 HAS SOPS 23924 HAS SOUS 19258 HAS SOUPS 19258 WITH SCORE 19281.924
AT ITER 4769 NEW BEST:: SOT 43080 SOS 23890 HAS SOPS 23890 HAS SOUS 19235 HAS SOUPS 19235 WITH SCORE 19258.89
AT ITER 4773 NEW BEST:: SOT 43069 SOS 23906 HAS SOPS 23906 HAS SOUS 19225 HAS SOUPS 19225 WITH SCORE 19248.906
AT ITER 4784 NEW BEST:: SOT 43069 SOS 23899 HAS SOPS 23899 HAS SOUS 19218 HAS SOUPS 19218 WITH SCORE 19241.899
AT ITER 4798 NEW BEST:: SOT 43080 SOS 23912 HAS SOPS 23912 HAS SOUS 19214 HAS SOUPS 19214 WITH SCORE 19237.912
AT ITER 4803 NEW BEST:: SOT 42970 SOS 24033 HAS SOPS 24033 HAS SOUS 19213 HAS SOUPS 19213 WITH SCORE 19237.033
AT ITER 4817 NEW BEST:: SOT 42967 SOS 24031 HAS SOPS 24031 HAS SOUS 19211 HAS SOUPS 19211 WITH SCORE 19235.031
AT ITER 4824 NEW BEST:: SOT 42966 SOS 24030 HAS SOPS 24030 HAS SOUS 19210 HAS SOUPS 19210 WITH SCORE 19234.03
AT ITER 4874 NEW BEST:: SOT 42961 SOS 24025 HAS SOPS 24025 HAS SOUS 19204 HAS SOUPS 19204 WITH SCORE 19228.025
AT ITER 4875 NEW BEST:: SOT 42939 SOS 24014 HAS SOPS 24014 HAS SOUS 19204 HAS SOUPS 19204 WITH SCORE 19228.014
AT ITER 4970 NEW BEST:: SOT 42939 SOS 24023 HAS SOPS 24023 HAS SOUS 19199 HAS SOUPS 19199 WITH SCORE 19223.023
AT ITER 4974 NEW BEST:: SOT 42929 SOS 24013 HAS SOPS 24013 HAS SOUS 19191 HAS SOUPS 19191 WITH SCORE 19215.013
AT ITER 5005 NEW BEST:: SOT 42881 SOS 24012 HAS SOPS 24012 HAS SOUS 19167 HAS SOUPS 19167 WITH SCORE 19191.012
AT ITER 5033 NEW BEST:: SOT 42851 SOS 24004 HAS SOPS 24004 HAS SOUS 19141 HAS SOUPS 19141 WITH SCORE 19165.004
AT ITER 5057 NEW BEST:: SOT 42844 SOS 23991 HAS SOPS 23991 HAS SOUS 19117 HAS SOUPS 19117 WITH SCORE 19140.991
AT ITER 5095 NEW BEST:: SOT 42775 SOS 23944 HAS SOPS 23944 HAS SOUS 19070 HAS SOUPS 19070 WITH SCORE 19093.944
AT ITER 5105 NEW BEST:: SOT 42778 SOS 23929 HAS SOPS 23929 HAS SOUS 19039 HAS SOUPS 19039 WITH SCORE 19062.929
AT ITER 5171 NEW BEST:: SOT 42694 SOS 23922 HAS SOPS 23922 HAS SOUS 19030 HAS SOUPS 19030 WITH SCORE 19053.922
AT ITER 5208 NEW BEST:: SOT 42682 SOS 23910 HAS SOPS 23910 HAS SOUS 19018 HAS SOUPS 19018 WITH SCORE 19041.91
AT ITER 5212 NEW BEST:: SOT 42674 SOS 23923 HAS SOPS 23923 HAS SOUS 19010 HAS SOUPS 19010 WITH SCORE 19033.923
AT ITER 5280 NEW BEST:: SOT 42668 SOS 23917 HAS SOPS 23917 HAS SOUS 19004 HAS SOUPS 19004 WITH SCORE 19027.917
AT ITER 5281 NEW BEST:: SOT 42668 SOS 23881 HAS SOPS 23881 HAS SOUS 18999 HAS SOUPS 18999 WITH SCORE 19022.881
AT ITER 5313 NEW BEST:: SOT 42668 SOS 23866 HAS SOPS 23866 HAS SOUS 18996 HAS SOUPS 18996 WITH SCORE 19019.866
AT ITER 5367 NEW BEST:: SOT 42653 SOS 23827 HAS SOPS 23827 HAS SOUS 18984 HAS SOUPS 18984 WITH SCORE 19007.827
AT ITER 5374 NEW BEST:: SOT 42650 SOS 23824 HAS SOPS 23824 HAS SOUS 18978 HAS SOUPS 18978 WITH SCORE 19001.824
AT ITER 5382 NEW BEST:: SOT 42650 SOS 23824 HAS SOPS 23824 HAS SOUS 18943 HAS SOUPS 18943 WITH SCORE 18966.824
AT ITER 5410 NEW BEST:: SOT 42650 SOS 23824 HAS SOPS 23824 HAS SOUS 18923 HAS SOUPS 18923 WITH SCORE 18946.824
AT ITER 5417 NEW BEST:: SOT 42642 SOS 23828 HAS SOPS 23828 HAS SOUS 18919 HAS SOUPS 18919 WITH SCORE 18942.828
AT ITER 5428 NEW BEST:: SOT 42641 SOS 23827 HAS SOPS 23827 HAS SOUS 18918 HAS SOUPS 18918 WITH SCORE 18941.827
AT ITER 5433 NEW BEST:: SOT 42641 SOS 23818 HAS SOPS 23818 HAS SOUS 18918 HAS SOUPS 18918 WITH SCORE 18941.818
AT ITER 5458 NEW BEST:: SOT 42658 SOS 23769 HAS SOPS 23769 HAS SOUS 18918 HAS SOUPS 18918 WITH SCORE 18941.769
AT ITER 5461 NEW BEST:: SOT 42658 SOS 23769 HAS SOPS 23769 HAS SOUS 18863 HAS SOUPS 18863 WITH SCORE 18886.769
AT ITER 5486 NEW BEST:: SOT 42644 SOS 23767 HAS SOPS 23767 HAS SOUS 18861 HAS SOUPS 18861 WITH SCORE 18884.767
AT ITER 5538 NEW BEST:: SOT 42644 SOS 23766 HAS SOPS 23766 HAS SOUS 18860 HAS SOUPS 18860 WITH SCORE 18883.766
AT ITER 5575 NEW BEST:: SOT 42644 SOS 23757 HAS SOPS 23757 HAS SOUS 18860 HAS SOUPS 18860 WITH SCORE 18883.757
AT ITER 5581 NEW BEST:: SOT 42633 SOS 23797 HAS SOPS 23797 HAS SOUS 18857 HAS SOUPS 18857 WITH SCORE 18880.797
AT ITER 5614 NEW BEST:: SOT 42677 SOS 23800 HAS SOPS 23800 HAS SOUS 18848 HAS SOUPS 18848 WITH SCORE 18871.8
AT ITER 5644 NEW BEST:: SOT 42664 SOS 23787 HAS SOPS 23787 HAS SOUS 18835 HAS SOUPS 18835 WITH SCORE 18858.787
AT ITER 5686 NEW BEST:: SOT 42664 SOS 23719 HAS SOPS 23719 HAS SOUS 18821 HAS SOUPS 18821 WITH SCORE 18844.719
AT ITER 5690 NEW BEST:: SOT 42637 SOS 23754 HAS SOPS 23754 HAS SOUS 18818 HAS SOUPS 18818 WITH SCORE 18841.754
AT ITER 5711 NEW BEST:: SOT 42637 SOS 23741 HAS SOPS 23741 HAS SOUS 18818 HAS SOUPS 18818 WITH SCORE 18841.741
AT ITER 5719 NEW BEST:: SOT 42637 SOS 23740 HAS SOPS 23740 HAS SOUS 18818 HAS SOUPS 18818 WITH SCORE 18841.74
AT ITER 5725 NEW BEST:: SOT 42632 SOS 23735 HAS SOPS 23735 HAS SOUS 18813 HAS SOUPS 18813 WITH SCORE 18836.735
AT ITER 5747 NEW BEST:: SOT 42626 SOS 23723 HAS SOPS 23723 HAS SOUS 18801 HAS SOUPS 18801 WITH SCORE 18824.723
AT ITER 5796 NEW BEST:: SOT 42626 SOS 23757 HAS SOPS 23757 HAS SOUS 18792 HAS SOUPS 18792 WITH SCORE 18815.757
AT ITER 5808 NEW BEST:: SOT 42604 SOS 23721 HAS SOPS 23721 HAS SOUS 18786 HAS SOUPS 18786 WITH SCORE 18809.721
AT ITER 5833 NEW BEST:: SOT 42599 SOS 23716 HAS SOPS 23716 HAS SOUS 18781 HAS SOUPS 18781 WITH SCORE 18804.716
AT ITER 5877 NEW BEST:: SOT 42599 SOS 23711 HAS SOPS 23711 HAS SOUS 18781 HAS SOUPS 18781 WITH SCORE 18804.711
AT ITER 5924 NEW BEST:: SOT 42586 SOS 23698 HAS SOPS 23698 HAS SOUS 18768 HAS SOUPS 18768 WITH SCORE 18791.698
AT ITER 5929 NEW BEST:: SOT 42582 SOS 23694 HAS SOPS 23694 HAS SOUS 18763 HAS SOUPS 18763 WITH SCORE 18786.694
AT ITER 5935 NEW BEST:: SOT 42582 SOS 23690 HAS SOPS 23690 HAS SOUS 18758 HAS SOUPS 18758 WITH SCORE 18781.69
AT ITER 5977 NEW BEST:: SOT 42582 SOS 23690 HAS SOPS 23690 HAS SOUS 18749 HAS SOUPS 18749 WITH SCORE 18772.69
AT ITER 6003 NEW BEST:: SOT 42575 SOS 23683 HAS SOPS 23683 HAS SOUS 18742 HAS SOUPS 18742 WITH SCORE 18765.683
AT ITER 6049 NEW BEST:: SOT 42564 SOS 23672 HAS SOPS 23672 HAS SOUS 18731 HAS SOUPS 18731 WITH SCORE 18754.672
AT ITER 6063 NEW BEST:: SOT 42561 SOS 23669 HAS SOPS 23669 HAS SOUS 18728 HAS SOUPS 18728 WITH SCORE 18751.669
AT ITER 6071 NEW BEST:: SOT 42620 SOS 23656 HAS SOPS 23656 HAS SOUS 18717 HAS SOUPS 18717 WITH SCORE 18740.656
AT ITER 6127 NEW BEST:: SOT 42620 SOS 23688 HAS SOPS 23688 HAS SOUS 18711 HAS SOUPS 18711 WITH SCORE 18734.688
AT ITER 6134 NEW BEST:: SOT 42620 SOS 23688 HAS SOPS 23688 HAS SOUS 18709 HAS SOUPS 18709 WITH SCORE 18732.688
AT ITER 6213 NEW BEST:: SOT 42620 SOS 23675 HAS SOPS 23675 HAS SOUS 18709 HAS SOUPS 18709 WITH SCORE 18732.675
AT ITER 6253 NEW BEST:: SOT 42592 SOS 23653 HAS SOPS 23653 HAS SOUS 18687 HAS SOUPS 18687 WITH SCORE 18710.653
AT ITER 6332 NEW BEST:: SOT 42592 SOS 23646 HAS SOPS 23646 HAS SOUS 18687 HAS SOUPS 18687 WITH SCORE 18710.646
AT ITER 6369 NEW BEST:: SOT 42591 SOS 23650 HAS SOPS 23650 HAS SOUS 18686 HAS SOUPS 18686 WITH SCORE 18709.65
AT ITER 6376 NEW BEST:: SOT 42585 SOS 23661 HAS SOPS 23661 HAS SOUS 18683 HAS SOUPS 18683 WITH SCORE 18706.661
AT ITER 6382 NEW BEST:: SOT 42585 SOS 23654 HAS SOPS 23654 HAS SOUS 18681 HAS SOUPS 18681 WITH SCORE 18704.654
AT ITER 6394 NEW BEST:: SOT 42585 SOS 23647 HAS SOPS 23647 HAS SOUS 18681 HAS SOUPS 18681 WITH SCORE 18704.647
AT ITER 6408 NEW BEST:: SOT 42571 SOS 23640 HAS SOPS 23640 HAS SOUS 18678 HAS SOUPS 18678 WITH SCORE 18701.64
AT ITER 6416 NEW BEST:: SOT 42559 SOS 23633 HAS SOPS 23633 HAS SOUS 18671 HAS SOUPS 18671 WITH SCORE 18694.633
AT ITER 6423 NEW BEST:: SOT 42559 SOS 23585 HAS SOPS 23585 HAS SOUS 18671 HAS SOUPS 18671 WITH SCORE 18694.585
AT ITER 6427 NEW BEST:: SOT 42544 SOS 23575 HAS SOPS 23575 HAS SOUS 18670 HAS SOUPS 18670 WITH SCORE 18693.575
AT ITER 6468 NEW BEST:: SOT 42512 SOS 23640 HAS SOPS 23640 HAS SOUS 18665 HAS SOUPS 18665 WITH SCORE 18688.64
AT ITER 6470 NEW BEST:: SOT 42512 SOS 23637 HAS SOPS 23637 HAS SOUS 18665 HAS SOUPS 18665 WITH SCORE 18688.637
AT ITER 6472 NEW BEST:: SOT 42512 SOS 23461 HAS SOPS 23461 HAS SOUS 18664 HAS SOUPS 18664 WITH SCORE 18687.461
AT ITER 6500 NEW BEST:: SOT 42527 SOS 23431 HAS SOPS 23431 HAS SOUS 18664 HAS SOUPS 18664 WITH SCORE 18687.431
AT ITER 6503 NEW BEST:: SOT 42527 SOS 23425 HAS SOPS 23425 HAS SOUS 18658 HAS SOUPS 18658 WITH SCORE 18681.425
AT ITER 6508 NEW BEST:: SOT 42517 SOS 23415 HAS SOPS 23415 HAS SOUS 18625 HAS SOUPS 18625 WITH SCORE 18648.415
AT ITER 6535 NEW BEST:: SOT 42513 SOS 23411 HAS SOPS 23411 HAS SOUS 18621 HAS SOUPS 18621 WITH SCORE 18644.411
AT ITER 6539 NEW BEST:: SOT 42493 SOS 23391 HAS SOPS 23391 HAS SOUS 18601 HAS SOUPS 18601 WITH SCORE 18624.391
AT ITER 6561 NEW BEST:: SOT 42482 SOS 23380 HAS SOPS 23380 HAS SOUS 18590 HAS SOUPS 18590 WITH SCORE 18613.38
AT ITER 6564 NEW BEST:: SOT 42468 SOS 23374 HAS SOPS 23374 HAS SOUS 18584 HAS SOUPS 18584 WITH SCORE 18607.374
AT ITER 6594 NEW BEST:: SOT 42466 SOS 23372 HAS SOPS 23372 HAS SOUS 18582 HAS SOUPS 18582 WITH SCORE 18605.372
AT ITER 6614 NEW BEST:: SOT 42470 SOS 23356 HAS SOPS 23356 HAS SOUS 18580 HAS SOUPS 18580 WITH SCORE 18603.356
AT ITER 6664 NEW BEST:: SOT 42470 SOS 23355 HAS SOPS 23355 HAS SOUS 18576 HAS SOUPS 18576 WITH SCORE 18599.355
AT ITER 6700 NEW BEST:: SOT 42467 SOS 23352 HAS SOPS 23352 HAS SOUS 18573 HAS SOUPS 18573 WITH SCORE 18596.352
AT ITER 6718 NEW BEST:: SOT 42462 SOS 23362 HAS SOPS 23362 HAS SOUS 18568 HAS SOUPS 18568 WITH SCORE 18591.362
AT ITER 6754 NEW BEST:: SOT 42431 SOS 23346 HAS SOPS 23346 HAS SOUS 18568 HAS SOUPS 18568 WITH SCORE 18591.346
AT ITER 6760 NEW BEST:: SOT 42431 SOS 23344 HAS SOPS 23344 HAS SOUS 18516 HAS SOUPS 18516 WITH SCORE 18539.344
AT ITER 6793 NEW BEST:: SOT 42395 SOS 23327 HAS SOPS 23327 HAS SOUS 18506 HAS SOUPS 18506 WITH SCORE 18529.327
AT ITER 6796 NEW BEST:: SOT 42340 SOS 23310 HAS SOPS 23310 HAS SOUS 18489 HAS SOUPS 18489 WITH SCORE 18512.31
AT ITER 6831 NEW BEST:: SOT 42349 SOS 23279 HAS SOPS 23279 HAS SOUS 18488 HAS SOUPS 18488 WITH SCORE 18511.279
AT ITER 6838 NEW BEST:: SOT 42349 SOS 23291 HAS SOPS 23291 HAS SOUS 18480 HAS SOUPS 18480 WITH SCORE 18503.291
AT ITER 6871 NEW BEST:: SOT 42349 SOS 23278 HAS SOPS 23278 HAS SOUS 18480 HAS SOUPS 18480 WITH SCORE 18503.278
AT ITER 6873 NEW BEST:: SOT 42345 SOS 23275 HAS SOPS 23275 HAS SOUS 18476 HAS SOUPS 18476 WITH SCORE 18499.275
AT ITER 6942 NEW BEST:: SOT 42345 SOS 23275 HAS SOPS 23275 HAS SOUS 18467 HAS SOUPS 18467 WITH SCORE 18490.275
AT ITER 6951 NEW BEST:: SOT 42345 SOS 23276 HAS SOPS 23276 HAS SOUS 18449 HAS SOUPS 18449 WITH SCORE 18472.276
AT ITER 7025 NEW BEST:: SOT 42356 SOS 23282 HAS SOPS 23282 HAS SOUS 18448 HAS SOUPS 18448 WITH SCORE 18471.282
AT ITER 7031 NEW BEST:: SOT 42346 SOS 23313 HAS SOPS 23313 HAS SOUS 18442 HAS SOUPS 18442 WITH SCORE 18465.313
AT ITER 7058 NEW BEST:: SOT 42343 SOS 23310 HAS SOPS 23310 HAS SOUS 18432 HAS SOUPS 18432 WITH SCORE 18455.31
AT ITER 7074 NEW BEST:: SOT 42230 SOS 23252 HAS SOPS 23252 HAS SOUS 18432 HAS SOUPS 18432 WITH SCORE 18455.252
AT ITER 7075 NEW BEST:: SOT 42226 SOS 23254 HAS SOPS 23254 HAS SOUS 18430 HAS SOUPS 18430 WITH SCORE 18453.254
AT ITER 7085 NEW BEST:: SOT 42240 SOS 23261 HAS SOPS 23261 HAS SOUS 18429 HAS SOUPS 18429 WITH SCORE 18452.261
AT ITER 7161 NEW BEST:: SOT 42174 SOS 23262 HAS SOPS 23262 HAS SOUS 18377 HAS SOUPS 18377 WITH SCORE 18400.262
AT ITER 7171 NEW BEST:: SOT 42154 SOS 23266 HAS SOPS 23266 HAS SOUS 18370 HAS SOUPS 18370 WITH SCORE 18393.266
AT ITER 7176 NEW BEST:: SOT 42154 SOS 23266 HAS SOPS 23266 HAS SOUS 18366 HAS SOUPS 18366 WITH SCORE 18389.266
AT ITER 7207 NEW BEST:: SOT 42150 SOS 23266 HAS SOPS 23266 HAS SOUS 18365 HAS SOUPS 18365 WITH SCORE 18388.266
AT ITER 7218 NEW BEST:: SOT 42294 SOS 23329 HAS SOPS 23329 HAS SOUS 18287 HAS SOUPS 18287 WITH SCORE 18310.329
AT ITER 7232 NEW BEST:: SOT 42277 SOS 23320 HAS SOPS 23320 HAS SOUS 18278 HAS SOUPS 18278 WITH SCORE 18301.32
AT ITER 7234 NEW BEST:: SOT 42272 SOS 23315 HAS SOPS 23315 HAS SOUS 18273 HAS SOUPS 18273 WITH SCORE 18296.315
AT ITER 7352 NEW BEST:: SOT 42272 SOS 23290 HAS SOPS 23290 HAS SOUS 18248 HAS SOUPS 18248 WITH SCORE 18271.29
AT ITER 7381 NEW BEST:: SOT 42270 SOS 23288 HAS SOPS 23288 HAS SOUS 18244 HAS SOUPS 18244 WITH SCORE 18267.288
AT ITER 7388 NEW BEST:: SOT 42264 SOS 23284 HAS SOPS 23284 HAS SOUS 18242 HAS SOUPS 18242 WITH SCORE 18265.284
AT ITER 7404 NEW BEST:: SOT 42262 SOS 23254 HAS SOPS 23254 HAS SOUS 18231 HAS SOUPS 18231 WITH SCORE 18254.254
AT ITER 7453 NEW BEST:: SOT 42213 SOS 23255 HAS SOPS 23255 HAS SOUS 18194 HAS SOUPS 18194 WITH SCORE 18217.255
AT ITER 7478 NEW BEST:: SOT 42213 SOS 23262 HAS SOPS 23262 HAS SOUS 18180 HAS SOUPS 18180 WITH SCORE 18203.262
AT ITER 7484 NEW BEST:: SOT 42213 SOS 23262 HAS SOPS 23262 HAS SOUS 18165 HAS SOUPS 18165 WITH SCORE 18188.262
AT ITER 7499 NEW BEST:: SOT 42203 SOS 23257 HAS SOPS 23257 HAS SOUS 18163 HAS SOUPS 18163 WITH SCORE 18186.257
AT ITER 7535 NEW BEST:: SOT 42200 SOS 23254 HAS SOPS 23254 HAS SOUS 18160 HAS SOUPS 18160 WITH SCORE 18183.254
AT ITER 7536 NEW BEST:: SOT 42187 SOS 23246 HAS SOPS 23246 HAS SOUS 18152 HAS SOUPS 18152 WITH SCORE 18175.246
AT ITER 7588 NEW BEST:: SOT 42174 SOS 23268 HAS SOPS 23268 HAS SOUS 18150 HAS SOUPS 18150 WITH SCORE 18173.268
AT ITER 7625 NEW BEST:: SOT 42172 SOS 23299 HAS SOPS 23299 HAS SOUS 18148 HAS SOUPS 18148 WITH SCORE 18171.299
AT ITER 7642 NEW BEST:: SOT 42172 SOS 23291 HAS SOPS 23291 HAS SOUS 18145 HAS SOUPS 18145 WITH SCORE 18168.291
AT ITER 7664 NEW BEST:: SOT 42148 SOS 23267 HAS SOPS 23267 HAS SOUS 18123 HAS SOUPS 18123 WITH SCORE 18146.267
AT ITER 7728 NEW BEST:: SOT 42146 SOS 23267 HAS SOPS 23267 HAS SOUS 18121 HAS SOUPS 18121 WITH SCORE 18144.267
AT ITER 7747 NEW BEST:: SOT 42143 SOS 23252 HAS SOPS 23252 HAS SOUS 18114 HAS SOUPS 18114 WITH SCORE 18137.252
AT ITER 7789 NEW BEST:: SOT 42143 SOS 23293 HAS SOPS 23293 HAS SOUS 18096 HAS SOUPS 18096 WITH SCORE 18119.293
AT ITER 7821 NEW BEST:: SOT 42132 SOS 23282 HAS SOPS 23282 HAS SOUS 18085 HAS SOUPS 18085 WITH SCORE 18108.282
AT ITER 7827 NEW BEST:: SOT 42131 SOS 23281 HAS SOPS 23281 HAS SOUS 18084 HAS SOUPS 18084 WITH SCORE 18107.281
AT ITER 7837 NEW BEST:: SOT 42120 SOS 23270 HAS SOPS 23270 HAS SOUS 18073 HAS SOUPS 18073 WITH SCORE 18096.27
AT ITER 7847 NEW BEST:: SOT 42114 SOS 23264 HAS SOPS 23264 HAS SOUS 18072 HAS SOUPS 18072 WITH SCORE 18095.264
AT ITER 7861 NEW BEST:: SOT 42111 SOS 23261 HAS SOPS 23261 HAS SOUS 18069 HAS SOUPS 18069 WITH SCORE 18092.261
AT ITER 7874 NEW BEST:: SOT 42110 SOS 23255 HAS SOPS 23255 HAS SOUS 18065 HAS SOUPS 18065 WITH SCORE 18088.255
AT ITER 7896 NEW BEST:: SOT 42094 SOS 23315 HAS SOPS 23315 HAS SOUS 18052 HAS SOUPS 18052 WITH SCORE 18075.315
AT ITER 7899 NEW BEST:: SOT 42119 SOS 23291 HAS SOPS 23291 HAS SOUS 18046 HAS SOUPS 18046 WITH SCORE 18069.291
AT ITER 7986 NEW BEST:: SOT 42119 SOS 23281 HAS SOPS 23281 HAS SOUS 18036 HAS SOUPS 18036 WITH SCORE 18059.281
AT ITER 8014 NEW BEST:: SOT 42110 SOS 23272 HAS SOPS 23272 HAS SOUS 18022 HAS SOUPS 18022 WITH SCORE 18045.272
AT ITER 8047 NEW BEST:: SOT 42106 SOS 23268 HAS SOPS 23268 HAS SOUS 18018 HAS SOUPS 18018 WITH SCORE 18041.268
AT ITER 8058 NEW BEST:: SOT 42102 SOS 23264 HAS SOPS 23264 HAS SOUS 18013 HAS SOUPS 18013 WITH SCORE 18036.264
AT ITER 8074 NEW BEST:: SOT 42087 SOS 23239 HAS SOPS 23239 HAS SOUS 17990 HAS SOUPS 17990 WITH SCORE 18013.239
AT ITER 8078 NEW BEST:: SOT 42087 SOS 23236 HAS SOPS 23236 HAS SOUS 17990 HAS SOUPS 17990 WITH SCORE 18013.236
AT ITER 8082 NEW BEST:: SOT 42093 SOS 23235 HAS SOPS 23235 HAS SOUS 17989 HAS SOUPS 17989 WITH SCORE 18012.235
AT ITER 8125 NEW BEST:: SOT 42093 SOS 23206 HAS SOPS 23206 HAS SOUS 17977 HAS SOUPS 17977 WITH SCORE 18000.206
AT ITER 8148 NEW BEST:: SOT 42084 SOS 23202 HAS SOPS 23202 HAS SOUS 17973 HAS SOUPS 17973 WITH SCORE 17996.202
AT ITER 8153 NEW BEST:: SOT 42042 SOS 23234 HAS SOPS 23234 HAS SOUS 17951 HAS SOUPS 17951 WITH SCORE 17974.234
AT ITER 8175 NEW BEST:: SOT 42029 SOS 23260 HAS SOPS 23260 HAS SOUS 17938 HAS SOUPS 17938 WITH SCORE 17961.26
AT ITER 8204 NEW BEST:: SOT 42024 SOS 23255 HAS SOPS 23255 HAS SOUS 17928 HAS SOUPS 17928 WITH SCORE 17951.255
AT ITER 8207 NEW BEST:: SOT 42024 SOS 23255 HAS SOPS 23255 HAS SOUS 17926 HAS SOUPS 17926 WITH SCORE 17949.255
AT ITER 8208 NEW BEST:: SOT 42021 SOS 23252 HAS SOPS 23252 HAS SOUS 17923 HAS SOUPS 17923 WITH SCORE 17946.252
AT ITER 8238 NEW BEST:: SOT 42021 SOS 23240 HAS SOPS 23240 HAS SOUS 17923 HAS SOUPS 17923 WITH SCORE 17946.24
AT ITER 8267 NEW BEST:: SOT 41999 SOS 23256 HAS SOPS 23256 HAS SOUS 17920 HAS SOUPS 17920 WITH SCORE 17943.256
AT ITER 8275 NEW BEST:: SOT 41996 SOS 23253 HAS SOPS 23253 HAS SOUS 17917 HAS SOUPS 17917 WITH SCORE 17940.253
AT ITER 8279 NEW BEST:: SOT 41996 SOS 23249 HAS SOPS 23249 HAS SOUS 17916 HAS SOUPS 17916 WITH SCORE 17939.249
AT ITER 8312 NEW BEST:: SOT 41989 SOS 23242 HAS SOPS 23242 HAS SOUS 17909 HAS SOUPS 17909 WITH SCORE 17932.242
AT ITER 8351 NEW BEST:: SOT 41976 SOS 23235 HAS SOPS 23235 HAS SOUS 17896 HAS SOUPS 17896 WITH SCORE 17919.235
AT ITER 8362 NEW BEST:: SOT 41945 SOS 23219 HAS SOPS 23219 HAS SOUS 17880 HAS SOUPS 17880 WITH SCORE 17903.219
AT ITER 8366 NEW BEST:: SOT 41943 SOS 23217 HAS SOPS 23217 HAS SOUS 17877 HAS SOUPS 17877 WITH SCORE 17900.217
AT ITER 8368 NEW BEST:: SOT 41943 SOS 23213 HAS SOPS 23213 HAS SOUS 17877 HAS SOUPS 17877 WITH SCORE 17900.213
AT ITER 8431 NEW BEST:: SOT 41935 SOS 23220 HAS SOPS 23220 HAS SOUS 17870 HAS SOUPS 17870 WITH SCORE 17893.22
AT ITER 8449 NEW BEST:: SOT 41948 SOS 23158 HAS SOPS 23158 HAS SOUS 17861 HAS SOUPS 17861 WITH SCORE 17884.158
AT ITER 8483 NEW BEST:: SOT 41940 SOS 23162 HAS SOPS 23162 HAS SOUS 17853 HAS SOUPS 17853 WITH SCORE 17876.162
AT ITER 8490 NEW BEST:: SOT 41940 SOS 23162 HAS SOPS 23162 HAS SOUS 17850 HAS SOUPS 17850 WITH SCORE 17873.162
AT ITER 8515 NEW BEST:: SOT 41939 SOS 23161 HAS SOPS 23161 HAS SOUS 17849 HAS SOUPS 17849 WITH SCORE 17872.161
AT ITER 8516 NEW BEST:: SOT 41935 SOS 23157 HAS SOPS 23157 HAS SOUS 17845 HAS SOUPS 17845 WITH SCORE 17868.157
AT ITER 8579 NEW BEST:: SOT 41934 SOS 23156 HAS SOPS 23156 HAS SOUS 17844 HAS SOUPS 17844 WITH SCORE 17867.156
AT ITER 8649 NEW BEST:: SOT 41931 SOS 23153 HAS SOPS 23153 HAS SOUS 17841 HAS SOUPS 17841 WITH SCORE 17864.153
AT ITER 8659 NEW BEST:: SOT 41930 SOS 23152 HAS SOPS 23152 HAS SOUS 17840 HAS SOUPS 17840 WITH SCORE 17863.152
AT ITER 8753 NEW BEST:: SOT 41919 SOS 23157 HAS SOPS 23157 HAS SOUS 17829 HAS SOUPS 17829 WITH SCORE 17852.157
AT ITER 8814 NEW BEST:: SOT 41919 SOS 23097 HAS SOPS 23097 HAS SOUS 17829 HAS SOUPS 17829 WITH SCORE 17852.097
AT ITER 8818 NEW BEST:: SOT 41988 SOS 23077 HAS SOPS 23077 HAS SOUS 17795 HAS SOUPS 17795 WITH SCORE 17818.077
AT ITER 8822 NEW BEST:: SOT 41983 SOS 23092 HAS SOPS 23092 HAS SOUS 17790 HAS SOUPS 17790 WITH SCORE 17813.092
AT ITER 8851 NEW BEST:: SOT 41971 SOS 23088 HAS SOPS 23088 HAS SOUS 17782 HAS SOUPS 17782 WITH SCORE 17805.088
AT ITER 8871 NEW BEST:: SOT 41999 SOS 23116 HAS SOPS 23116 HAS SOUS 17778 HAS SOUPS 17778 WITH SCORE 17801.116
AT ITER 8886 NEW BEST:: SOT 41995 SOS 23112 HAS SOPS 23112 HAS SOUS 17777 HAS SOUPS 17777 WITH SCORE 17800.112
AT ITER 8894 NEW BEST:: SOT 42027 SOS 23126 HAS SOPS 23126 HAS SOUS 17756 HAS SOUPS 17756 WITH SCORE 17779.126
AT ITER 8900 NEW BEST:: SOT 42018 SOS 23117 HAS SOPS 23117 HAS SOUS 17745 HAS SOUPS 17745 WITH SCORE 17768.117
AT ITER 8912 NEW BEST:: SOT 42018 SOS 23104 HAS SOPS 23104 HAS SOUS 17745 HAS SOUPS 17745 WITH SCORE 17768.104
AT ITER 8933 NEW BEST:: SOT 41986 SOS 23090 HAS SOPS 23090 HAS SOUS 17738 HAS SOUPS 17738 WITH SCORE 17761.09
AT ITER 8953 NEW BEST:: SOT 41936 SOS 23078 HAS SOPS 23078 HAS SOUS 17707 HAS SOUPS 17707 WITH SCORE 17730.078
AT ITER 8990 NEW BEST:: SOT 41920 SOS 23044 HAS SOPS 23044 HAS SOUS 17684 HAS SOUPS 17684 WITH SCORE 17707.044
AT ITER 9002 NEW BEST:: SOT 41920 SOS 23039 HAS SOPS 23039 HAS SOUS 17679 HAS SOUPS 17679 WITH SCORE 17702.039
AT ITER 9021 NEW BEST:: SOT 41857 SOS 23010 HAS SOPS 23010 HAS SOUS 17656 HAS SOUPS 17656 WITH SCORE 17679.01
AT ITER 9044 NEW BEST:: SOT 41856 SOS 23009 HAS SOPS 23009 HAS SOUS 17655 HAS SOUPS 17655 WITH SCORE 17678.009
AT ITER 9049 NEW BEST:: SOT 41830 SOS 23067 HAS SOPS 23067 HAS SOUS 17635 HAS SOUPS 17635 WITH SCORE 17658.067
AT ITER 9056 NEW BEST:: SOT 41844 SOS 23074 HAS SOPS 23074 HAS SOUS 17629 HAS SOUPS 17629 WITH SCORE 17652.074
AT ITER 9102 NEW BEST:: SOT 41818 SOS 23130 HAS SOPS 23130 HAS SOUS 17611 HAS SOUPS 17611 WITH SCORE 17634.13
AT ITER 9114 NEW BEST:: SOT 41812 SOS 23124 HAS SOPS 23124 HAS SOUS 17605 HAS SOUPS 17605 WITH SCORE 17628.124
AT ITER 9118 NEW BEST:: SOT 41842 SOS 23107 HAS SOPS 23107 HAS SOUS 17605 HAS SOUPS 17605 WITH SCORE 17628.107
AT ITER 9131 NEW BEST:: SOT 41834 SOS 23099 HAS SOPS 23099 HAS SOUS 17597 HAS SOUPS 17597 WITH SCORE 17620.099
AT ITER 9162 NEW BEST:: SOT 41832 SOS 23125 HAS SOPS 23125 HAS SOUS 17595 HAS SOUPS 17595 WITH SCORE 17618.125
AT ITER 9185 NEW BEST:: SOT 41808 SOS 23101 HAS SOPS 23101 HAS SOUS 17545 HAS SOUPS 17545 WITH SCORE 17568.101
AT ITER 9198 NEW BEST:: SOT 41808 SOS 23099 HAS SOPS 23099 HAS SOUS 17543 HAS SOUPS 17543 WITH SCORE 17566.099
AT ITER 9203 NEW BEST:: SOT 41777 SOS 23060 HAS SOPS 23060 HAS SOUS 17512 HAS SOUPS 17512 WITH SCORE 17535.06
AT ITER 9261 NEW BEST:: SOT 41781 SOS 23046 HAS SOPS 23046 HAS SOUS 17510 HAS SOUPS 17510 WITH SCORE 17533.046
AT ITER 9275 NEW BEST:: SOT 41775 SOS 23040 HAS SOPS 23040 HAS SOUS 17504 HAS SOUPS 17504 WITH SCORE 17527.04
AT ITER 9332 NEW BEST:: SOT 41775 SOS 23030 HAS SOPS 23030 HAS SOUS 17504 HAS SOUPS 17504 WITH SCORE 17527.03
AT ITER 9355 NEW BEST:: SOT 41771 SOS 23026 HAS SOPS 23026 HAS SOUS 17500 HAS SOUPS 17500 WITH SCORE 17523.026
AT ITER 9386 NEW BEST:: SOT 41757 SOS 23012 HAS SOPS 23012 HAS SOUS 17498 HAS SOUPS 17498 WITH SCORE 17521.012
AT ITER 9399 NEW BEST:: SOT 41753 SOS 22994 HAS SOPS 22994 HAS SOUS 17496 HAS SOUPS 17496 WITH SCORE 17518.994
AT ITER 9449 NEW BEST:: SOT 41766 SOS 22977 HAS SOPS 22977 HAS SOUS 17491 HAS SOUPS 17491 WITH SCORE 17513.977
AT ITER 9452 NEW BEST:: SOT 41764 SOS 22983 HAS SOPS 22983 HAS SOUS 17489 HAS SOUPS 17489 WITH SCORE 17511.983
AT ITER 9511 NEW BEST:: SOT 41764 SOS 22982 HAS SOPS 22982 HAS SOUS 17489 HAS SOUPS 17489 WITH SCORE 17511.982
AT ITER 9550 NEW BEST:: SOT 41714 SOS 22951 HAS SOPS 22951 HAS SOUS 17461 HAS SOUPS 17461 WITH SCORE 17483.951
AT ITER 9559 NEW BEST:: SOT 41705 SOS 23038 HAS SOPS 23038 HAS SOUS 17452 HAS SOUPS 17452 WITH SCORE 17475.038
AT ITER 9562 NEW BEST:: SOT 41697 SOS 23046 HAS SOPS 23046 HAS SOUS 17444 HAS SOUPS 17444 WITH SCORE 17467.046
AT ITER 9603 NEW BEST:: SOT 41700 SOS 23038 HAS SOPS 23038 HAS SOUS 17442 HAS SOUPS 17442 WITH SCORE 17465.038
AT ITER 9607 NEW BEST:: SOT 41713 SOS 23000 HAS SOPS 23000 HAS SOUS 17441 HAS SOUPS 17441 WITH SCORE 17464.0
AT ITER 9643 NEW BEST:: SOT 41709 SOS 22998 HAS SOPS 22998 HAS SOUS 17439 HAS SOUPS 17439 WITH SCORE 17461.998
AT ITER 9705 NEW BEST:: SOT 41709 SOS 22998 HAS SOPS 22998 HAS SOUS 17431 HAS SOUPS 17431 WITH SCORE 17453.998
AT ITER 9709 NEW BEST:: SOT 41697 SOS 23004 HAS SOPS 23004 HAS SOUS 17419 HAS SOUPS 17419 WITH SCORE 17442.004
AT ITER 9751 NEW BEST:: SOT 41657 SOS 22978 HAS SOPS 22978 HAS SOUS 17398 HAS SOUPS 17398 WITH SCORE 17420.978
AT ITER 9772 NEW BEST:: SOT 41652 SOS 22973 HAS SOPS 22973 HAS SOUS 17392 HAS SOUPS 17392 WITH SCORE 17414.973
AT ITER 9774 NEW BEST:: SOT 41651 SOS 22972 HAS SOPS 22972 HAS SOUS 17391 HAS SOUPS 17391 WITH SCORE 17413.972
AT ITER 9778 NEW BEST:: SOT 41667 SOS 22988 HAS SOPS 22988 HAS SOUS 17389 HAS SOUPS 17389 WITH SCORE 17411.988
AT ITER 9789 NEW BEST:: SOT 41693 SOS 23013 HAS SOPS 23013 HAS SOUS 17358 HAS SOUPS 17358 WITH SCORE 17381.013
AT ITER 9799 NEW BEST:: SOT 41693 SOS 22999 HAS SOPS 22999 HAS SOUS 17353 HAS SOUPS 17353 WITH SCORE 17375.999
AT ITER 9835 NEW BEST:: SOT 41691 SOS 22997 HAS SOPS 22997 HAS SOUS 17351 HAS SOUPS 17351 WITH SCORE 17373.997
AT ITER 9876 NEW BEST:: SOT 41690 SOS 22996 HAS SOPS 22996 HAS SOUS 17350 HAS SOUPS 17350 WITH SCORE 17372.996
AT ITER 9902 NEW BEST:: SOT 41686 SOS 22968 HAS SOPS 22968 HAS SOUS 17346 HAS SOUPS 17346 WITH SCORE 17368.968
AT ITER 9963 NEW BEST:: SOT 41683 SOS 22965 HAS SOPS 22965 HAS SOUS 17343 HAS SOUPS 17343 WITH SCORE 17365.965
AT ITER 9972 NEW BEST:: SOT 41683 SOS 22963 HAS SOPS 22963 HAS SOUS 17341 HAS SOUPS 17341 WITH SCORE 17363.963
AT ITER 9988 NEW BEST:: SOT 41677 SOS 22957 HAS SOPS 22957 HAS SOUS 17335 HAS SOUPS 17335 WITH SCORE 17357.957
AT ITER 9990 NEW BEST:: SOT 41673 SOS 22952 HAS SOPS 22952 HAS SOUS 17327 HAS SOUPS 17327 WITH SCORE 17349.952
AT ITER 9999 NEW BEST:: SOT 41673 SOS 22952 HAS SOPS 22952 HAS SOUS 17324 HAS SOUPS 17324 WITH SCORE 17346.952
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 151592 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16292784 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-AN06"
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-AN06, 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-167912695400208"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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