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.r451-smll-167912643300288.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 SmartHome-PT-17, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r451-smll-167912643300288
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 552K
-rw-r--r-- 1 mcc users 6.3K Feb 26 05:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 26 05:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 05:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 05:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:10 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 17:10 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 17:10 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:10 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.5K Feb 26 05:39 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 26 05:39 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Feb 26 05:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 85K Feb 26 05:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:10 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 139K 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 1679208783052

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=SmartHome-PT-17
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 17
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: 571 places, 617 transitions, 1410 arcs.
AT ITER 0 NEW BEST:: SOT 207919 SOS 47012 HAS SOPS 47012 HAS SOUS 45976 HAS SOUPS 45976 WITH SCORE 46023.012
AT ITER 5 NEW BEST:: SOT 207933 SOS 47007 HAS SOPS 47007 HAS SOUS 45970 HAS SOUPS 45970 WITH SCORE 46017.007
AT ITER 6 NEW BEST:: SOT 207475 SOS 46651 HAS SOPS 46651 HAS SOUS 45545 HAS SOUPS 45545 WITH SCORE 45591.651
AT ITER 14 NEW BEST:: SOT 207144 SOS 48278 HAS SOPS 48278 HAS SOUS 45288 HAS SOUPS 45288 WITH SCORE 45336.278
AT ITER 54 NEW BEST:: SOT 207077 SOS 48277 HAS SOPS 48277 HAS SOUS 45287 HAS SOUPS 45287 WITH SCORE 45335.277
AT ITER 56 NEW BEST:: SOT 207055 SOS 48211 HAS SOPS 48211 HAS SOUS 45235 HAS SOUPS 45235 WITH SCORE 45283.211
AT ITER 70 NEW BEST:: SOT 206700 SOS 48986 HAS SOPS 48986 HAS SOUS 45037 HAS SOUPS 45037 WITH SCORE 45085.986
AT ITER 71 NEW BEST:: SOT 206208 SOS 50497 HAS SOPS 50497 HAS SOUS 44932 HAS SOUPS 44932 WITH SCORE 44982.497
AT ITER 73 NEW BEST:: SOT 206186 SOS 50500 HAS SOPS 50500 HAS SOUS 44926 HAS SOUPS 44926 WITH SCORE 44976.5
AT ITER 81 NEW BEST:: SOT 206143 SOS 50434 HAS SOPS 50434 HAS SOUS 44882 HAS SOUPS 44882 WITH SCORE 44932.434
AT ITER 98 NEW BEST:: SOT 206077 SOS 50302 HAS SOPS 50302 HAS SOUS 44750 HAS SOUPS 44750 WITH SCORE 44800.302
AT ITER 105 NEW BEST:: SOT 206102 SOS 50262 HAS SOPS 50262 HAS SOUS 44697 HAS SOUPS 44697 WITH SCORE 44747.262
AT ITER 106 NEW BEST:: SOT 206102 SOS 50214 HAS SOPS 50214 HAS SOUS 44691 HAS SOUPS 44691 WITH SCORE 44741.214
AT ITER 122 NEW BEST:: SOT 206058 SOS 50126 HAS SOPS 50126 HAS SOUS 44603 HAS SOUPS 44603 WITH SCORE 44653.126
AT ITER 130 NEW BEST:: SOT 205245 SOS 54228 HAS SOPS 54228 HAS SOUS 43919 HAS SOUPS 43919 WITH SCORE 43973.228
AT ITER 131 NEW BEST:: SOT 205216 SOS 54170 HAS SOPS 54170 HAS SOUS 43861 HAS SOUPS 43861 WITH SCORE 43915.17
AT ITER 148 NEW BEST:: SOT 205181 SOS 54100 HAS SOPS 54100 HAS SOUS 43826 HAS SOUPS 43826 WITH SCORE 43880.1
AT ITER 156 NEW BEST:: SOT 205195 SOS 54086 HAS SOPS 54086 HAS SOUS 43825 HAS SOUPS 43825 WITH SCORE 43879.086
AT ITER 163 NEW BEST:: SOT 205195 SOS 54086 HAS SOPS 54086 HAS SOUS 43805 HAS SOUPS 43805 WITH SCORE 43859.086
AT ITER 164 NEW BEST:: SOT 205208 SOS 54058 HAS SOPS 54058 HAS SOUS 43777 HAS SOUPS 43777 WITH SCORE 43831.058
AT ITER 166 NEW BEST:: SOT 205208 SOS 54029 HAS SOPS 54029 HAS SOUS 43777 HAS SOUPS 43777 WITH SCORE 43831.029
AT ITER 172 NEW BEST:: SOT 205164 SOS 53985 HAS SOPS 53985 HAS SOUS 43733 HAS SOUPS 43733 WITH SCORE 43786.985
AT ITER 176 NEW BEST:: SOT 205107 SOS 53983 HAS SOPS 53983 HAS SOUS 43731 HAS SOUPS 43731 WITH SCORE 43784.983
AT ITER 180 NEW BEST:: SOT 205101 SOS 53977 HAS SOPS 53977 HAS SOUS 43725 HAS SOUPS 43725 WITH SCORE 43778.977
AT ITER 188 NEW BEST:: SOT 205104 SOS 53039 HAS SOPS 53039 HAS SOUS 43654 HAS SOUPS 43654 WITH SCORE 43707.039
AT ITER 194 NEW BEST:: SOT 205104 SOS 53039 HAS SOPS 53039 HAS SOUS 43653 HAS SOUPS 43653 WITH SCORE 43706.039
AT ITER 199 NEW BEST:: SOT 205104 SOS 53037 HAS SOPS 53037 HAS SOUS 43651 HAS SOUPS 43651 WITH SCORE 43704.037
AT ITER 200 NEW BEST:: SOT 205197 SOS 53034 HAS SOPS 53034 HAS SOUS 43615 HAS SOUPS 43615 WITH SCORE 43668.034
AT ITER 215 NEW BEST:: SOT 205184 SOS 52955 HAS SOPS 52955 HAS SOUS 43498 HAS SOUPS 43498 WITH SCORE 43550.955
AT ITER 216 NEW BEST:: SOT 205183 SOS 52953 HAS SOPS 52953 HAS SOUS 43496 HAS SOUPS 43496 WITH SCORE 43548.953
AT ITER 230 NEW BEST:: SOT 204965 SOS 52853 HAS SOPS 52853 HAS SOUS 43307 HAS SOUPS 43307 WITH SCORE 43359.853
AT ITER 233 NEW BEST:: SOT 204976 SOS 52795 HAS SOPS 52795 HAS SOUS 43249 HAS SOUPS 43249 WITH SCORE 43301.795
AT ITER 259 NEW BEST:: SOT 204972 SOS 52770 HAS SOPS 52770 HAS SOUS 43245 HAS SOUPS 43245 WITH SCORE 43297.77
AT ITER 261 NEW BEST:: SOT 204948 SOS 52722 HAS SOPS 52722 HAS SOUS 43197 HAS SOUPS 43197 WITH SCORE 43249.722
AT ITER 265 NEW BEST:: SOT 204926 SOS 52678 HAS SOPS 52678 HAS SOUS 43170 HAS SOUPS 43170 WITH SCORE 43222.678
AT ITER 270 NEW BEST:: SOT 204888 SOS 52640 HAS SOPS 52640 HAS SOUS 43132 HAS SOUPS 43132 WITH SCORE 43184.64
AT ITER 271 NEW BEST:: SOT 204755 SOS 52667 HAS SOPS 52667 HAS SOUS 43117 HAS SOUPS 43117 WITH SCORE 43169.667
AT ITER 272 NEW BEST:: SOT 204764 SOS 52685 HAS SOPS 52685 HAS SOUS 43109 HAS SOUPS 43109 WITH SCORE 43161.685
AT ITER 278 NEW BEST:: SOT 204686 SOS 52685 HAS SOPS 52685 HAS SOUS 43104 HAS SOUPS 43104 WITH SCORE 43156.685
AT ITER 293 NEW BEST:: SOT 204682 SOS 52681 HAS SOPS 52681 HAS SOUS 43100 HAS SOUPS 43100 WITH SCORE 43152.681
AT ITER 294 NEW BEST:: SOT 204642 SOS 52601 HAS SOPS 52601 HAS SOUS 43020 HAS SOUPS 43020 WITH SCORE 43072.601
AT ITER 300 NEW BEST:: SOT 204628 SOS 52573 HAS SOPS 52573 HAS SOUS 42992 HAS SOUPS 42992 WITH SCORE 43044.573
AT ITER 304 NEW BEST:: SOT 204498 SOS 52378 HAS SOPS 52378 HAS SOUS 42797 HAS SOUPS 42797 WITH SCORE 42849.378
AT ITER 313 NEW BEST:: SOT 204497 SOS 52376 HAS SOPS 52376 HAS SOUS 42795 HAS SOUPS 42795 WITH SCORE 42847.376
AT ITER 315 NEW BEST:: SOT 204491 SOS 52364 HAS SOPS 52364 HAS SOUS 42783 HAS SOUPS 42783 WITH SCORE 42835.364
AT ITER 345 NEW BEST:: SOT 204489 SOS 52362 HAS SOPS 52362 HAS SOUS 42767 HAS SOUPS 42767 WITH SCORE 42819.362
AT ITER 358 NEW BEST:: SOT 204408 SOS 52281 HAS SOPS 52281 HAS SOUS 42686 HAS SOUPS 42686 WITH SCORE 42738.281
AT ITER 366 NEW BEST:: SOT 204375 SOS 52104 HAS SOPS 52104 HAS SOUS 42581 HAS SOUPS 42581 WITH SCORE 42633.104
AT ITER 389 NEW BEST:: SOT 202981 SOS 51407 HAS SOPS 51407 HAS SOUS 41387 HAS SOUPS 41387 WITH SCORE 41438.407
AT ITER 390 NEW BEST:: SOT 202897 SOS 51239 HAS SOPS 51239 HAS SOUS 41261 HAS SOUPS 41261 WITH SCORE 41312.239
AT ITER 448 NEW BEST:: SOT 202890 SOS 51225 HAS SOPS 51225 HAS SOUS 41247 HAS SOUPS 41247 WITH SCORE 41298.225
AT ITER 466 NEW BEST:: SOT 202890 SOS 51095 HAS SOPS 51095 HAS SOUS 41117 HAS SOUPS 41117 WITH SCORE 41168.095
AT ITER 468 NEW BEST:: SOT 202773 SOS 50950 HAS SOPS 50950 HAS SOUS 40970 HAS SOUPS 40970 WITH SCORE 41020.95
AT ITER 476 NEW BEST:: SOT 202678 SOS 50852 HAS SOPS 50852 HAS SOUS 40823 HAS SOUPS 40823 WITH SCORE 40873.852
AT ITER 483 NEW BEST:: SOT 202678 SOS 50785 HAS SOPS 50785 HAS SOUS 40756 HAS SOUPS 40756 WITH SCORE 40806.785
AT ITER 486 NEW BEST:: SOT 202678 SOS 50746 HAS SOPS 50746 HAS SOUS 40717 HAS SOUPS 40717 WITH SCORE 40767.746
AT ITER 490 NEW BEST:: SOT 202559 SOS 50748 HAS SOPS 50748 HAS SOUS 40678 HAS SOUPS 40678 WITH SCORE 40728.748
AT ITER 517 NEW BEST:: SOT 202493 SOS 50700 HAS SOPS 50700 HAS SOUS 40630 HAS SOUPS 40630 WITH SCORE 40680.7
AT ITER 525 NEW BEST:: SOT 202434 SOS 50524 HAS SOPS 50524 HAS SOUS 40421 HAS SOUPS 40421 WITH SCORE 40471.524
AT ITER 527 NEW BEST:: SOT 202416 SOS 50488 HAS SOPS 50488 HAS SOUS 40418 HAS SOUPS 40418 WITH SCORE 40468.488
AT ITER 542 NEW BEST:: SOT 201751 SOS 51247 HAS SOPS 51247 HAS SOUS 40062 HAS SOUPS 40062 WITH SCORE 40113.247
AT ITER 558 NEW BEST:: SOT 201739 SOS 51218 HAS SOPS 51218 HAS SOUS 40050 HAS SOUPS 40050 WITH SCORE 40101.218
AT ITER 574 NEW BEST:: SOT 201739 SOS 51214 HAS SOPS 51214 HAS SOUS 40046 HAS SOUPS 40046 WITH SCORE 40097.214
AT ITER 583 NEW BEST:: SOT 201685 SOS 51106 HAS SOPS 51106 HAS SOUS 39975 HAS SOUPS 39975 WITH SCORE 40026.106
AT ITER 584 NEW BEST:: SOT 201685 SOS 51157 HAS SOPS 51157 HAS SOUS 39967 HAS SOUPS 39967 WITH SCORE 40018.157
AT ITER 589 NEW BEST:: SOT 201628 SOS 51086 HAS SOPS 51086 HAS SOUS 39882 HAS SOUPS 39882 WITH SCORE 39933.086
AT ITER 590 NEW BEST:: SOT 201612 SOS 51070 HAS SOPS 51070 HAS SOUS 39866 HAS SOUPS 39866 WITH SCORE 39917.07
AT ITER 596 NEW BEST:: SOT 201610 SOS 51112 HAS SOPS 51112 HAS SOUS 39864 HAS SOUPS 39864 WITH SCORE 39915.112
AT ITER 598 NEW BEST:: SOT 201665 SOS 51081 HAS SOPS 51081 HAS SOUS 39833 HAS SOUPS 39833 WITH SCORE 39884.081
AT ITER 637 NEW BEST:: SOT 201665 SOS 51031 HAS SOPS 51031 HAS SOUS 39833 HAS SOUPS 39833 WITH SCORE 39884.031
AT ITER 659 NEW BEST:: SOT 201745 SOS 51022 HAS SOPS 51022 HAS SOUS 39832 HAS SOUPS 39832 WITH SCORE 39883.022
AT ITER 682 NEW BEST:: SOT 201772 SOS 50998 HAS SOPS 50998 HAS SOUS 39809 HAS SOUPS 39809 WITH SCORE 39859.998
AT ITER 693 NEW BEST:: SOT 201705 SOS 50864 HAS SOPS 50864 HAS SOUS 39698 HAS SOUPS 39698 WITH SCORE 39748.864
AT ITER 698 NEW BEST:: SOT 201728 SOS 50886 HAS SOPS 50886 HAS SOUS 39673 HAS SOUPS 39673 WITH SCORE 39723.886
AT ITER 708 NEW BEST:: SOT 201734 SOS 50866 HAS SOPS 50866 HAS SOUS 39653 HAS SOUPS 39653 WITH SCORE 39703.866
AT ITER 714 NEW BEST:: SOT 201688 SOS 50820 HAS SOPS 50820 HAS SOUS 39607 HAS SOUPS 39607 WITH SCORE 39657.82
AT ITER 723 NEW BEST:: SOT 201688 SOS 50770 HAS SOPS 50770 HAS SOUS 39607 HAS SOUPS 39607 WITH SCORE 39657.77
AT ITER 727 NEW BEST:: SOT 201712 SOS 50818 HAS SOPS 50818 HAS SOUS 39599 HAS SOUPS 39599 WITH SCORE 39649.818
AT ITER 734 NEW BEST:: SOT 200620 SOS 59334 HAS SOPS 59334 HAS SOUS 39531 HAS SOUPS 39531 WITH SCORE 39590.334
AT ITER 737 NEW BEST:: SOT 200613 SOS 59331 HAS SOPS 59331 HAS SOUS 39528 HAS SOUPS 39528 WITH SCORE 39587.331
AT ITER 740 NEW BEST:: SOT 200609 SOS 59327 HAS SOPS 59327 HAS SOUS 39524 HAS SOUPS 39524 WITH SCORE 39583.327
AT ITER 752 NEW BEST:: SOT 200578 SOS 59211 HAS SOPS 59211 HAS SOUS 39430 HAS SOUPS 39430 WITH SCORE 39489.211
AT ITER 762 NEW BEST:: SOT 200561 SOS 59194 HAS SOPS 59194 HAS SOUS 39413 HAS SOUPS 39413 WITH SCORE 39472.194
AT ITER 773 NEW BEST:: SOT 200561 SOS 59175 HAS SOPS 59175 HAS SOUS 39394 HAS SOUPS 39394 WITH SCORE 39453.175
AT ITER 796 NEW BEST:: SOT 200444 SOS 58941 HAS SOPS 58941 HAS SOUS 39277 HAS SOUPS 39277 WITH SCORE 39335.941
AT ITER 820 NEW BEST:: SOT 200330 SOS 58713 HAS SOPS 58713 HAS SOUS 39163 HAS SOUPS 39163 WITH SCORE 39221.713
AT ITER 832 NEW BEST:: SOT 200335 SOS 58679 HAS SOPS 58679 HAS SOUS 39151 HAS SOUPS 39151 WITH SCORE 39209.679
AT ITER 840 NEW BEST:: SOT 200330 SOS 58669 HAS SOPS 58669 HAS SOUS 39141 HAS SOUPS 39141 WITH SCORE 39199.669
AT ITER 854 NEW BEST:: SOT 200145 SOS 58491 HAS SOPS 58491 HAS SOUS 39086 HAS SOUPS 39086 WITH SCORE 39144.491
AT ITER 872 NEW BEST:: SOT 200151 SOS 58482 HAS SOPS 58482 HAS SOUS 39077 HAS SOUPS 39077 WITH SCORE 39135.482
AT ITER 885 NEW BEST:: SOT 200151 SOS 58460 HAS SOPS 58460 HAS SOUS 39055 HAS SOUPS 39055 WITH SCORE 39113.46
AT ITER 901 NEW BEST:: SOT 200109 SOS 58246 HAS SOPS 58246 HAS SOUS 38951 HAS SOUPS 38951 WITH SCORE 39009.246
AT ITER 909 NEW BEST:: SOT 200045 SOS 58182 HAS SOPS 58182 HAS SOUS 38887 HAS SOUPS 38887 WITH SCORE 38945.182
AT ITER 920 NEW BEST:: SOT 200065 SOS 58124 HAS SOPS 58124 HAS SOUS 38849 HAS SOUPS 38849 WITH SCORE 38907.124
AT ITER 927 NEW BEST:: SOT 200051 SOS 58082 HAS SOPS 58082 HAS SOUS 38821 HAS SOUPS 38821 WITH SCORE 38879.082
AT ITER 930 NEW BEST:: SOT 200051 SOS 58056 HAS SOPS 58056 HAS SOUS 38805 HAS SOUPS 38805 WITH SCORE 38863.056
AT ITER 938 NEW BEST:: SOT 199910 SOS 57915 HAS SOPS 57915 HAS SOUS 38664 HAS SOUPS 38664 WITH SCORE 38721.915
AT ITER 939 NEW BEST:: SOT 199903 SOS 57901 HAS SOPS 57901 HAS SOUS 38657 HAS SOUPS 38657 WITH SCORE 38714.901
AT ITER 941 NEW BEST:: SOT 199845 SOS 57785 HAS SOPS 57785 HAS SOUS 38541 HAS SOUPS 38541 WITH SCORE 38598.785
AT ITER 991 NEW BEST:: SOT 199781 SOS 57757 HAS SOPS 57757 HAS SOUS 38494 HAS SOUPS 38494 WITH SCORE 38551.757
AT ITER 995 NEW BEST:: SOT 199781 SOS 57726 HAS SOPS 57726 HAS SOUS 38463 HAS SOUPS 38463 WITH SCORE 38520.726
AT ITER 1009 NEW BEST:: SOT 199766 SOS 57707 HAS SOPS 57707 HAS SOUS 38426 HAS SOUPS 38426 WITH SCORE 38483.707
AT ITER 1024 NEW BEST:: SOT 198928 SOS 58348 HAS SOPS 58348 HAS SOUS 37968 HAS SOUPS 37968 WITH SCORE 38026.348
AT ITER 1036 NEW BEST:: SOT 198916 SOS 58324 HAS SOPS 58324 HAS SOUS 37944 HAS SOUPS 37944 WITH SCORE 38002.324
AT ITER 1045 NEW BEST:: SOT 198909 SOS 58317 HAS SOPS 58317 HAS SOUS 37916 HAS SOUPS 37916 WITH SCORE 37974.317
AT ITER 1046 NEW BEST:: SOT 198908 SOS 58315 HAS SOPS 58315 HAS SOUS 37914 HAS SOUPS 37914 WITH SCORE 37972.315
AT ITER 1053 NEW BEST:: SOT 198905 SOS 58309 HAS SOPS 58309 HAS SOUS 37908 HAS SOUPS 37908 WITH SCORE 37966.309
AT ITER 1057 NEW BEST:: SOT 198922 SOS 58239 HAS SOPS 58239 HAS SOUS 37840 HAS SOUPS 37840 WITH SCORE 37898.239
AT ITER 1059 NEW BEST:: SOT 198922 SOS 58239 HAS SOPS 58239 HAS SOUS 37839 HAS SOUPS 37839 WITH SCORE 37897.239
AT ITER 1066 NEW BEST:: SOT 198882 SOS 58258 HAS SOPS 58258 HAS SOUS 37799 HAS SOUPS 37799 WITH SCORE 37857.258
AT ITER 1078 NEW BEST:: SOT 198696 SOS 58659 HAS SOPS 58659 HAS SOUS 37673 HAS SOUPS 37673 WITH SCORE 37731.659
AT ITER 1091 NEW BEST:: SOT 198644 SOS 58655 HAS SOPS 58655 HAS SOUS 37621 HAS SOUPS 37621 WITH SCORE 37679.655
AT ITER 1096 NEW BEST:: SOT 198644 SOS 58199 HAS SOPS 58199 HAS SOUS 37621 HAS SOUPS 37621 WITH SCORE 37679.199
AT ITER 1103 NEW BEST:: SOT 198716 SOS 58276 HAS SOPS 58276 HAS SOUS 37619 HAS SOUPS 37619 WITH SCORE 37677.276
AT ITER 1171 NEW BEST:: SOT 198715 SOS 58315 HAS SOPS 58315 HAS SOUS 37618 HAS SOUPS 37618 WITH SCORE 37676.315
AT ITER 1183 NEW BEST:: SOT 198710 SOS 58310 HAS SOPS 58310 HAS SOUS 37618 HAS SOUPS 37618 WITH SCORE 37676.31
AT ITER 1194 NEW BEST:: SOT 198732 SOS 58268 HAS SOPS 58268 HAS SOUS 37576 HAS SOUPS 37576 WITH SCORE 37634.268
AT ITER 1229 NEW BEST:: SOT 198705 SOS 58214 HAS SOPS 58214 HAS SOUS 37528 HAS SOUPS 37528 WITH SCORE 37586.214
AT ITER 1232 NEW BEST:: SOT 198704 SOS 58199 HAS SOPS 58199 HAS SOUS 37513 HAS SOUPS 37513 WITH SCORE 37571.199
AT ITER 1233 NEW BEST:: SOT 198707 SOS 58205 HAS SOPS 58205 HAS SOUS 37501 HAS SOUPS 37501 WITH SCORE 37559.205
AT ITER 1246 NEW BEST:: SOT 198649 SOS 58089 HAS SOPS 58089 HAS SOUS 37443 HAS SOUPS 37443 WITH SCORE 37501.089
AT ITER 1265 NEW BEST:: SOT 198649 SOS 58036 HAS SOPS 58036 HAS SOUS 37418 HAS SOUPS 37418 WITH SCORE 37476.036
AT ITER 1280 NEW BEST:: SOT 198773 SOS 57990 HAS SOPS 57990 HAS SOUS 37413 HAS SOUPS 37413 WITH SCORE 37470.99
AT ITER 1307 NEW BEST:: SOT 198773 SOS 57969 HAS SOPS 57969 HAS SOUS 37392 HAS SOUPS 37392 WITH SCORE 37449.969
AT ITER 1314 NEW BEST:: SOT 198763 SOS 57949 HAS SOPS 57949 HAS SOUS 37390 HAS SOUPS 37390 WITH SCORE 37447.949
AT ITER 1328 NEW BEST:: SOT 198757 SOS 57943 HAS SOPS 57943 HAS SOUS 37384 HAS SOUPS 37384 WITH SCORE 37441.943
AT ITER 1329 NEW BEST:: SOT 198789 SOS 57916 HAS SOPS 57916 HAS SOUS 37357 HAS SOUPS 37357 WITH SCORE 37414.916
AT ITER 1362 NEW BEST:: SOT 198789 SOS 57904 HAS SOPS 57904 HAS SOUS 37355 HAS SOUPS 37355 WITH SCORE 37412.904
AT ITER 1370 NEW BEST:: SOT 198824 SOS 57877 HAS SOPS 57877 HAS SOUS 37328 HAS SOUPS 37328 WITH SCORE 37385.877
AT ITER 1380 NEW BEST:: SOT 198840 SOS 57850 HAS SOPS 57850 HAS SOUS 37292 HAS SOUPS 37292 WITH SCORE 37349.85
AT ITER 1385 NEW BEST:: SOT 198813 SOS 57823 HAS SOPS 57823 HAS SOUS 37265 HAS SOUPS 37265 WITH SCORE 37322.823
AT ITER 1396 NEW BEST:: SOT 198810 SOS 57817 HAS SOPS 57817 HAS SOUS 37259 HAS SOUPS 37259 WITH SCORE 37316.817
AT ITER 1399 NEW BEST:: SOT 198810 SOS 57735 HAS SOPS 57735 HAS SOUS 37259 HAS SOUPS 37259 WITH SCORE 37316.735
AT ITER 1401 NEW BEST:: SOT 198829 SOS 57724 HAS SOPS 57724 HAS SOUS 37248 HAS SOUPS 37248 WITH SCORE 37305.724
AT ITER 1404 NEW BEST:: SOT 198736 SOS 57538 HAS SOPS 57538 HAS SOUS 37178 HAS SOUPS 37178 WITH SCORE 37235.538
AT ITER 1408 NEW BEST:: SOT 198641 SOS 57443 HAS SOPS 57443 HAS SOUS 37083 HAS SOUPS 37083 WITH SCORE 37140.443
AT ITER 1414 NEW BEST:: SOT 198574 SOS 57360 HAS SOPS 57360 HAS SOUS 37051 HAS SOUPS 37051 WITH SCORE 37108.36
AT ITER 1462 NEW BEST:: SOT 198611 SOS 57337 HAS SOPS 57337 HAS SOUS 37028 HAS SOUPS 37028 WITH SCORE 37085.337
AT ITER 1471 NEW BEST:: SOT 198608 SOS 57331 HAS SOPS 57331 HAS SOUS 37025 HAS SOUPS 37025 WITH SCORE 37082.331
AT ITER 1472 NEW BEST:: SOT 198584 SOS 57283 HAS SOPS 57283 HAS SOUS 37001 HAS SOUPS 37001 WITH SCORE 37058.283
AT ITER 1485 NEW BEST:: SOT 198582 SOS 57277 HAS SOPS 57277 HAS SOUS 36995 HAS SOUPS 36995 WITH SCORE 37052.277
AT ITER 1493 NEW BEST:: SOT 198627 SOS 55294 HAS SOPS 55294 HAS SOUS 36848 HAS SOUPS 36848 WITH SCORE 36903.294
AT ITER 1525 NEW BEST:: SOT 198607 SOS 55274 HAS SOPS 55274 HAS SOUS 36828 HAS SOUPS 36828 WITH SCORE 36883.274
AT ITER 1531 NEW BEST:: SOT 198606 SOS 55273 HAS SOPS 55273 HAS SOUS 36827 HAS SOUPS 36827 WITH SCORE 36882.273
AT ITER 1536 NEW BEST:: SOT 198564 SOS 55135 HAS SOPS 55135 HAS SOUS 36743 HAS SOUPS 36743 WITH SCORE 36798.135
AT ITER 1545 NEW BEST:: SOT 198541 SOS 54931 HAS SOPS 54931 HAS SOUS 36697 HAS SOUPS 36697 WITH SCORE 36751.931
AT ITER 1553 NEW BEST:: SOT 198540 SOS 54929 HAS SOPS 54929 HAS SOUS 36695 HAS SOUPS 36695 WITH SCORE 36749.929
AT ITER 1555 NEW BEST:: SOT 198439 SOS 54727 HAS SOPS 54727 HAS SOUS 36601 HAS SOUPS 36601 WITH SCORE 36655.727
AT ITER 1564 NEW BEST:: SOT 198420 SOS 54689 HAS SOPS 54689 HAS SOUS 36599 HAS SOUPS 36599 WITH SCORE 36653.689
AT ITER 1570 NEW BEST:: SOT 198406 SOS 54652 HAS SOPS 54652 HAS SOUS 36567 HAS SOUPS 36567 WITH SCORE 36621.652
AT ITER 1577 NEW BEST:: SOT 198395 SOS 54641 HAS SOPS 54641 HAS SOUS 36559 HAS SOUPS 36559 WITH SCORE 36613.641
AT ITER 1617 NEW BEST:: SOT 198320 SOS 50742 HAS SOPS 50742 HAS SOUS 36484 HAS SOUPS 36484 WITH SCORE 36534.742
AT ITER 1623 NEW BEST:: SOT 198239 SOS 50580 HAS SOPS 50580 HAS SOUS 36317 HAS SOUPS 36317 WITH SCORE 36367.58
AT ITER 1631 NEW BEST:: SOT 198229 SOS 50560 HAS SOPS 50560 HAS SOUS 36297 HAS SOUPS 36297 WITH SCORE 36347.56
AT ITER 1642 NEW BEST:: SOT 198229 SOS 50495 HAS SOPS 50495 HAS SOUS 36297 HAS SOUPS 36297 WITH SCORE 36347.495
AT ITER 1651 NEW BEST:: SOT 198175 SOS 50387 HAS SOPS 50387 HAS SOUS 36243 HAS SOUPS 36243 WITH SCORE 36293.387
AT ITER 1659 NEW BEST:: SOT 198236 SOS 50448 HAS SOPS 50448 HAS SOUS 36238 HAS SOUPS 36238 WITH SCORE 36288.448
AT ITER 1665 NEW BEST:: SOT 198236 SOS 50448 HAS SOPS 50448 HAS SOUS 36237 HAS SOUPS 36237 WITH SCORE 36287.448
AT ITER 1668 NEW BEST:: SOT 198073 SOS 50644 HAS SOPS 50644 HAS SOUS 36141 HAS SOUPS 36141 WITH SCORE 36191.644
AT ITER 1702 NEW BEST:: SOT 198097 SOS 50638 HAS SOPS 50638 HAS SOUS 36135 HAS SOUPS 36135 WITH SCORE 36185.638
AT ITER 1704 NEW BEST:: SOT 198128 SOS 50628 HAS SOPS 50628 HAS SOUS 36125 HAS SOUPS 36125 WITH SCORE 36175.628
AT ITER 1711 NEW BEST:: SOT 198088 SOS 50548 HAS SOPS 50548 HAS SOUS 36120 HAS SOUPS 36120 WITH SCORE 36170.548
AT ITER 1718 NEW BEST:: SOT 197982 SOS 50446 HAS SOPS 50446 HAS SOUS 36076 HAS SOUPS 36076 WITH SCORE 36126.446
AT ITER 1723 NEW BEST:: SOT 197987 SOS 50475 HAS SOPS 50475 HAS SOUS 36066 HAS SOUPS 36066 WITH SCORE 36116.475
AT ITER 1742 NEW BEST:: SOT 197870 SOS 50241 HAS SOPS 50241 HAS SOUS 35950 HAS SOUPS 35950 WITH SCORE 36000.241
AT ITER 1749 NEW BEST:: SOT 197869 SOS 50198 HAS SOPS 50198 HAS SOUS 35948 HAS SOUPS 35948 WITH SCORE 35998.198
AT ITER 1770 NEW BEST:: SOT 197741 SOS 50001 HAS SOPS 50001 HAS SOUS 35820 HAS SOUPS 35820 WITH SCORE 35870.001
AT ITER 1774 NEW BEST:: SOT 197656 SOS 49831 HAS SOPS 49831 HAS SOUS 35593 HAS SOUPS 35593 WITH SCORE 35642.831
AT ITER 1793 NEW BEST:: SOT 197633 SOS 49785 HAS SOPS 49785 HAS SOUS 35547 HAS SOUPS 35547 WITH SCORE 35596.785
AT ITER 1794 NEW BEST:: SOT 197633 SOS 49785 HAS SOPS 49785 HAS SOUS 35516 HAS SOUPS 35516 WITH SCORE 35565.785
AT ITER 1808 NEW BEST:: SOT 197586 SOS 49769 HAS SOPS 49769 HAS SOUS 35500 HAS SOUPS 35500 WITH SCORE 35549.769
AT ITER 1809 NEW BEST:: SOT 197562 SOS 49747 HAS SOPS 49747 HAS SOUS 35489 HAS SOUPS 35489 WITH SCORE 35538.747
AT ITER 1818 NEW BEST:: SOT 197552 SOS 49727 HAS SOPS 49727 HAS SOUS 35483 HAS SOUPS 35483 WITH SCORE 35532.727
AT ITER 1825 NEW BEST:: SOT 197512 SOS 49647 HAS SOPS 49647 HAS SOUS 35403 HAS SOUPS 35403 WITH SCORE 35452.647
AT ITER 1856 NEW BEST:: SOT 197423 SOS 49469 HAS SOPS 49469 HAS SOUS 35314 HAS SOUPS 35314 WITH SCORE 35363.469
AT ITER 1879 NEW BEST:: SOT 197471 SOS 49435 HAS SOPS 49435 HAS SOUS 35287 HAS SOUPS 35287 WITH SCORE 35336.435
AT ITER 1890 NEW BEST:: SOT 197468 SOS 49429 HAS SOPS 49429 HAS SOUS 35281 HAS SOUPS 35281 WITH SCORE 35330.429
AT ITER 1901 NEW BEST:: SOT 197468 SOS 49379 HAS SOPS 49379 HAS SOUS 35231 HAS SOUPS 35231 WITH SCORE 35280.379
AT ITER 1910 NEW BEST:: SOT 197352 SOS 49147 HAS SOPS 49147 HAS SOUS 35166 HAS SOUPS 35166 WITH SCORE 35215.147
AT ITER 1938 NEW BEST:: SOT 197346 SOS 49135 HAS SOPS 49135 HAS SOUS 35154 HAS SOUPS 35154 WITH SCORE 35203.135
AT ITER 1952 NEW BEST:: SOT 197224 SOS 48974 HAS SOPS 48974 HAS SOUS 34982 HAS SOUPS 34982 WITH SCORE 35030.974
AT ITER 1959 NEW BEST:: SOT 197218 SOS 48962 HAS SOPS 48962 HAS SOUS 34970 HAS SOUPS 34970 WITH SCORE 35018.962
AT ITER 1986 NEW BEST:: SOT 197250 SOS 48948 HAS SOPS 48948 HAS SOUS 34927 HAS SOUPS 34927 WITH SCORE 34975.948
AT ITER 2042 NEW BEST:: SOT 197239 SOS 48926 HAS SOPS 48926 HAS SOUS 34905 HAS SOUPS 34905 WITH SCORE 34953.926
AT ITER 2056 NEW BEST:: SOT 197238 SOS 48924 HAS SOPS 48924 HAS SOUS 34903 HAS SOUPS 34903 WITH SCORE 34951.924
AT ITER 2092 NEW BEST:: SOT 197228 SOS 48904 HAS SOPS 48904 HAS SOUS 34903 HAS SOUPS 34903 WITH SCORE 34951.904
AT ITER 2094 NEW BEST:: SOT 197144 SOS 48820 HAS SOPS 48820 HAS SOUS 34819 HAS SOUPS 34819 WITH SCORE 34867.82
AT ITER 2110 NEW BEST:: SOT 197112 SOS 48837 HAS SOPS 48837 HAS SOUS 34807 HAS SOUPS 34807 WITH SCORE 34855.837
AT ITER 2116 NEW BEST:: SOT 197093 SOS 48845 HAS SOPS 48845 HAS SOUS 34792 HAS SOUPS 34792 WITH SCORE 34840.845
AT ITER 2117 NEW BEST:: SOT 197205 SOS 48786 HAS SOPS 48786 HAS SOUS 34744 HAS SOUPS 34744 WITH SCORE 34792.786
AT ITER 2131 NEW BEST:: SOT 197156 SOS 48688 HAS SOPS 48688 HAS SOUS 34695 HAS SOUPS 34695 WITH SCORE 34743.688
AT ITER 2159 NEW BEST:: SOT 197124 SOS 48624 HAS SOPS 48624 HAS SOUS 34656 HAS SOUPS 34656 WITH SCORE 34704.624
AT ITER 2176 NEW BEST:: SOT 197105 SOS 48606 HAS SOPS 48606 HAS SOUS 34638 HAS SOUPS 34638 WITH SCORE 34686.606
AT ITER 2184 NEW BEST:: SOT 197055 SOS 48556 HAS SOPS 48556 HAS SOUS 34610 HAS SOUPS 34610 WITH SCORE 34658.556
AT ITER 2193 NEW BEST:: SOT 197048 SOS 48542 HAS SOPS 48542 HAS SOUS 34596 HAS SOUPS 34596 WITH SCORE 34644.542
AT ITER 2194 NEW BEST:: SOT 197048 SOS 48470 HAS SOPS 48470 HAS SOUS 34574 HAS SOUPS 34574 WITH SCORE 34622.47
AT ITER 2200 NEW BEST:: SOT 197002 SOS 48424 HAS SOPS 48424 HAS SOUS 34528 HAS SOUPS 34528 WITH SCORE 34576.424
AT ITER 2202 NEW BEST:: SOT 196861 SOS 48178 HAS SOPS 48178 HAS SOUS 34450 HAS SOUPS 34450 WITH SCORE 34498.178
AT ITER 2213 NEW BEST:: SOT 196833 SOS 48122 HAS SOPS 48122 HAS SOUS 34422 HAS SOUPS 34422 WITH SCORE 34470.122
AT ITER 2227 NEW BEST:: SOT 196786 SOS 48081 HAS SOPS 48081 HAS SOUS 34381 HAS SOUPS 34381 WITH SCORE 34429.081
AT ITER 2241 NEW BEST:: SOT 196779 SOS 48074 HAS SOPS 48074 HAS SOUS 34374 HAS SOUPS 34374 WITH SCORE 34422.074
AT ITER 2248 NEW BEST:: SOT 196664 SOS 47967 HAS SOPS 47967 HAS SOUS 34328 HAS SOUPS 34328 WITH SCORE 34375.967
AT ITER 2250 NEW BEST:: SOT 196648 SOS 47935 HAS SOPS 47935 HAS SOUS 34296 HAS SOUPS 34296 WITH SCORE 34343.935
AT ITER 2261 NEW BEST:: SOT 196690 SOS 47884 HAS SOPS 47884 HAS SOUS 34250 HAS SOUPS 34250 WITH SCORE 34297.884
AT ITER 2266 NEW BEST:: SOT 196690 SOS 47884 HAS SOPS 47884 HAS SOUS 34249 HAS SOUPS 34249 WITH SCORE 34296.884
AT ITER 2277 NEW BEST:: SOT 196688 SOS 47882 HAS SOPS 47882 HAS SOUS 34246 HAS SOUPS 34246 WITH SCORE 34293.882
AT ITER 2286 NEW BEST:: SOT 196625 SOS 47756 HAS SOPS 47756 HAS SOUS 34092 HAS SOUPS 34092 WITH SCORE 34139.756
AT ITER 2291 NEW BEST:: SOT 196625 SOS 47672 HAS SOPS 47672 HAS SOUS 34008 HAS SOUPS 34008 WITH SCORE 34055.672
AT ITER 2303 NEW BEST:: SOT 196625 SOS 47620 HAS SOPS 47620 HAS SOUS 33963 HAS SOUPS 33963 WITH SCORE 34010.62
AT ITER 2316 NEW BEST:: SOT 196625 SOS 47601 HAS SOPS 47601 HAS SOUS 33944 HAS SOUPS 33944 WITH SCORE 33991.601
AT ITER 2318 NEW BEST:: SOT 196589 SOS 47601 HAS SOPS 47601 HAS SOUS 33922 HAS SOUPS 33922 WITH SCORE 33969.601
AT ITER 2343 NEW BEST:: SOT 196545 SOS 47587 HAS SOPS 47587 HAS SOUS 33908 HAS SOUPS 33908 WITH SCORE 33955.587
AT ITER 2360 NEW BEST:: SOT 196545 SOS 47572 HAS SOPS 47572 HAS SOUS 33893 HAS SOUPS 33893 WITH SCORE 33940.572
AT ITER 2372 NEW BEST:: SOT 196517 SOS 47531 HAS SOPS 47531 HAS SOUS 33852 HAS SOUPS 33852 WITH SCORE 33899.531
AT ITER 2382 NEW BEST:: SOT 196513 SOS 47552 HAS SOPS 47552 HAS SOUS 33844 HAS SOUPS 33844 WITH SCORE 33891.552
AT ITER 2387 NEW BEST:: SOT 196486 SOS 47550 HAS SOPS 47550 HAS SOUS 33836 HAS SOUPS 33836 WITH SCORE 33883.55
AT ITER 2401 NEW BEST:: SOT 196580 SOS 47496 HAS SOPS 47496 HAS SOUS 33782 HAS SOUPS 33782 WITH SCORE 33829.496
AT ITER 2409 NEW BEST:: SOT 196580 SOS 47481 HAS SOPS 47481 HAS SOUS 33767 HAS SOUPS 33767 WITH SCORE 33814.481
AT ITER 2420 NEW BEST:: SOT 196544 SOS 47578 HAS SOPS 47578 HAS SOUS 33747 HAS SOUPS 33747 WITH SCORE 33794.578
AT ITER 2433 NEW BEST:: SOT 196544 SOS 47568 HAS SOPS 47568 HAS SOUS 33737 HAS SOUPS 33737 WITH SCORE 33784.568
AT ITER 2460 NEW BEST:: SOT 196401 SOS 47472 HAS SOPS 47472 HAS SOUS 33718 HAS SOUPS 33718 WITH SCORE 33765.472
AT ITER 2465 NEW BEST:: SOT 196398 SOS 47469 HAS SOPS 47469 HAS SOUS 33630 HAS SOUPS 33630 WITH SCORE 33677.469
AT ITER 2466 NEW BEST:: SOT 196370 SOS 47413 HAS SOPS 47413 HAS SOUS 33574 HAS SOUPS 33574 WITH SCORE 33621.413
AT ITER 2469 NEW BEST:: SOT 196367 SOS 47407 HAS SOPS 47407 HAS SOUS 33571 HAS SOUPS 33571 WITH SCORE 33618.407
AT ITER 2478 NEW BEST:: SOT 196364 SOS 47401 HAS SOPS 47401 HAS SOUS 33565 HAS SOUPS 33565 WITH SCORE 33612.401
AT ITER 2484 NEW BEST:: SOT 196338 SOS 47396 HAS SOPS 47396 HAS SOUS 33539 HAS SOUPS 33539 WITH SCORE 33586.396
AT ITER 2520 NEW BEST:: SOT 196326 SOS 47372 HAS SOPS 47372 HAS SOUS 33515 HAS SOUPS 33515 WITH SCORE 33562.372
AT ITER 2523 NEW BEST:: SOT 196424 SOS 47280 HAS SOPS 47280 HAS SOUS 33496 HAS SOUPS 33496 WITH SCORE 33543.28
AT ITER 2524 NEW BEST:: SOT 196419 SOS 47357 HAS SOPS 47357 HAS SOUS 33486 HAS SOUPS 33486 WITH SCORE 33533.357
AT ITER 2538 NEW BEST:: SOT 196387 SOS 47293 HAS SOPS 47293 HAS SOUS 33463 HAS SOUPS 33463 WITH SCORE 33510.293
AT ITER 2541 NEW BEST:: SOT 196387 SOS 47293 HAS SOPS 47293 HAS SOUS 33459 HAS SOUPS 33459 WITH SCORE 33506.293
AT ITER 2542 NEW BEST:: SOT 195859 SOS 48973 HAS SOPS 48973 HAS SOUS 33311 HAS SOUPS 33311 WITH SCORE 33359.973
AT ITER 2550 NEW BEST:: SOT 195860 SOS 48943 HAS SOPS 48943 HAS SOUS 33278 HAS SOUPS 33278 WITH SCORE 33326.943
AT ITER 2551 NEW BEST:: SOT 195772 SOS 48767 HAS SOPS 48767 HAS SOUS 33190 HAS SOUPS 33190 WITH SCORE 33238.767
AT ITER 2558 NEW BEST:: SOT 195772 SOS 48718 HAS SOPS 48718 HAS SOUS 33190 HAS SOUPS 33190 WITH SCORE 33238.718
AT ITER 2565 NEW BEST:: SOT 195689 SOS 48645 HAS SOPS 48645 HAS SOUS 33117 HAS SOUPS 33117 WITH SCORE 33165.645
AT ITER 2569 NEW BEST:: SOT 195676 SOS 48619 HAS SOPS 48619 HAS SOUS 33104 HAS SOUPS 33104 WITH SCORE 33152.619
AT ITER 2597 NEW BEST:: SOT 195632 SOS 48560 HAS SOPS 48560 HAS SOUS 33074 HAS SOUPS 33074 WITH SCORE 33122.56
AT ITER 2610 NEW BEST:: SOT 195678 SOS 48592 HAS SOPS 48592 HAS SOUS 33060 HAS SOUPS 33060 WITH SCORE 33108.592
AT ITER 2617 NEW BEST:: SOT 195647 SOS 48530 HAS SOPS 48530 HAS SOUS 32998 HAS SOUPS 32998 WITH SCORE 33046.53
AT ITER 2686 NEW BEST:: SOT 195647 SOS 48503 HAS SOPS 48503 HAS SOUS 32998 HAS SOUPS 32998 WITH SCORE 33046.503
AT ITER 2727 NEW BEST:: SOT 195647 SOS 48503 HAS SOPS 48503 HAS SOUS 32980 HAS SOUPS 32980 WITH SCORE 33028.503
AT ITER 2749 NEW BEST:: SOT 195716 SOS 47287 HAS SOPS 47287 HAS SOUS 32873 HAS SOUPS 32873 WITH SCORE 32920.287
AT ITER 2792 NEW BEST:: SOT 195721 SOS 47297 HAS SOPS 47297 HAS SOUS 32856 HAS SOUPS 32856 WITH SCORE 32903.297
AT ITER 2805 NEW BEST:: SOT 195701 SOS 47222 HAS SOPS 47222 HAS SOUS 32796 HAS SOUPS 32796 WITH SCORE 32843.222
AT ITER 2812 NEW BEST:: SOT 195672 SOS 47164 HAS SOPS 47164 HAS SOUS 32796 HAS SOUPS 32796 WITH SCORE 32843.164
AT ITER 2837 NEW BEST:: SOT 195568 SOS 47564 HAS SOPS 47564 HAS SOUS 32729 HAS SOUPS 32729 WITH SCORE 32776.564
AT ITER 2846 NEW BEST:: SOT 195565 SOS 47287 HAS SOPS 47287 HAS SOUS 32686 HAS SOUPS 32686 WITH SCORE 32733.287
AT ITER 2859 NEW BEST:: SOT 195560 SOS 47277 HAS SOPS 47277 HAS SOUS 32676 HAS SOUPS 32676 WITH SCORE 32723.277
AT ITER 2891 NEW BEST:: SOT 195554 SOS 47265 HAS SOPS 47265 HAS SOUS 32664 HAS SOUPS 32664 WITH SCORE 32711.265
AT ITER 2905 NEW BEST:: SOT 195526 SOS 47260 HAS SOPS 47260 HAS SOUS 32640 HAS SOUPS 32640 WITH SCORE 32687.26
AT ITER 2909 NEW BEST:: SOT 195564 SOS 47233 HAS SOPS 47233 HAS SOUS 32613 HAS SOUPS 32613 WITH SCORE 32660.233
AT ITER 2914 NEW BEST:: SOT 195438 SOS 47107 HAS SOPS 47107 HAS SOUS 32487 HAS SOUPS 32487 WITH SCORE 32534.107
AT ITER 2924 NEW BEST:: SOT 195423 SOS 47077 HAS SOPS 47077 HAS SOUS 32457 HAS SOUPS 32457 WITH SCORE 32504.077
AT ITER 2936 NEW BEST:: SOT 195414 SOS 47059 HAS SOPS 47059 HAS SOUS 32439 HAS SOUPS 32439 WITH SCORE 32486.059
AT ITER 2975 NEW BEST:: SOT 195414 SOS 47050 HAS SOPS 47050 HAS SOUS 32430 HAS SOUPS 32430 WITH SCORE 32477.05
AT ITER 2980 NEW BEST:: SOT 195428 SOS 47053 HAS SOPS 47053 HAS SOUS 32419 HAS SOUPS 32419 WITH SCORE 32466.053
AT ITER 2982 NEW BEST:: SOT 195421 SOS 47032 HAS SOPS 47032 HAS SOUS 32405 HAS SOUPS 32405 WITH SCORE 32452.032
AT ITER 3007 NEW BEST:: SOT 195416 SOS 47022 HAS SOPS 47022 HAS SOUS 32395 HAS SOUPS 32395 WITH SCORE 32442.022
AT ITER 3011 NEW BEST:: SOT 195416 SOS 47022 HAS SOPS 47022 HAS SOUS 32354 HAS SOUPS 32354 WITH SCORE 32401.022
AT ITER 3016 NEW BEST:: SOT 195422 SOS 46907 HAS SOPS 46907 HAS SOUS 32293 HAS SOUPS 32293 WITH SCORE 32339.907
AT ITER 3029 NEW BEST:: SOT 195407 SOS 46892 HAS SOPS 46892 HAS SOUS 32278 HAS SOUPS 32278 WITH SCORE 32324.892
AT ITER 3063 NEW BEST:: SOT 195300 SOS 46784 HAS SOPS 46784 HAS SOUS 32274 HAS SOUPS 32274 WITH SCORE 32320.784
AT ITER 3152 NEW BEST:: SOT 195255 SOS 46694 HAS SOPS 46694 HAS SOUS 32184 HAS SOUPS 32184 WITH SCORE 32230.694
AT ITER 3155 NEW BEST:: SOT 195212 SOS 46639 HAS SOPS 46639 HAS SOUS 32105 HAS SOUPS 32105 WITH SCORE 32151.639
AT ITER 3167 NEW BEST:: SOT 195212 SOS 46572 HAS SOPS 46572 HAS SOUS 32105 HAS SOUPS 32105 WITH SCORE 32151.572
AT ITER 3175 NEW BEST:: SOT 195231 SOS 45635 HAS SOPS 45635 HAS SOUS 32066 HAS SOUPS 32066 WITH SCORE 32111.635
AT ITER 3180 NEW BEST:: SOT 195231 SOS 45633 HAS SOPS 45633 HAS SOUS 32064 HAS SOUPS 32064 WITH SCORE 32109.633
AT ITER 3184 NEW BEST:: SOT 195220 SOS 45611 HAS SOPS 45611 HAS SOUS 32053 HAS SOUPS 32053 WITH SCORE 32098.611
AT ITER 3193 NEW BEST:: SOT 195213 SOS 45604 HAS SOPS 45604 HAS SOUS 32046 HAS SOUPS 32046 WITH SCORE 32091.604
AT ITER 3219 NEW BEST:: SOT 195186 SOS 45577 HAS SOPS 45577 HAS SOUS 32012 HAS SOUPS 32012 WITH SCORE 32057.577
AT ITER 3268 NEW BEST:: SOT 195195 SOS 45595 HAS SOPS 45595 HAS SOUS 31978 HAS SOUPS 31978 WITH SCORE 32023.595
AT ITER 3276 NEW BEST:: SOT 195199 SOS 45599 HAS SOPS 45599 HAS SOUS 31913 HAS SOUPS 31913 WITH SCORE 31958.599
AT ITER 3301 NEW BEST:: SOT 195170 SOS 45541 HAS SOPS 45541 HAS SOUS 31855 HAS SOUPS 31855 WITH SCORE 31900.541
AT ITER 3306 NEW BEST:: SOT 195166 SOS 45353 HAS SOPS 45353 HAS SOUS 31740 HAS SOUPS 31740 WITH SCORE 31785.353
AT ITER 3313 NEW BEST:: SOT 195154 SOS 45329 HAS SOPS 45329 HAS SOUS 31716 HAS SOUPS 31716 WITH SCORE 31761.329
AT ITER 3333 NEW BEST:: SOT 195153 SOS 45311 HAS SOPS 45311 HAS SOUS 31698 HAS SOUPS 31698 WITH SCORE 31743.311
AT ITER 3340 NEW BEST:: SOT 195155 SOS 45296 HAS SOPS 45296 HAS SOUS 31683 HAS SOUPS 31683 WITH SCORE 31728.296
AT ITER 3355 NEW BEST:: SOT 195151 SOS 45195 HAS SOPS 45195 HAS SOUS 31582 HAS SOUPS 31582 WITH SCORE 31627.195
AT ITER 3362 NEW BEST:: SOT 195137 SOS 45181 HAS SOPS 45181 HAS SOUS 31568 HAS SOUPS 31568 WITH SCORE 31613.181
AT ITER 3363 NEW BEST:: SOT 195137 SOS 45171 HAS SOPS 45171 HAS SOUS 31558 HAS SOUPS 31558 WITH SCORE 31603.171
AT ITER 3370 NEW BEST:: SOT 195131 SOS 45159 HAS SOPS 45159 HAS SOUS 31546 HAS SOUPS 31546 WITH SCORE 31591.159
AT ITER 3383 NEW BEST:: SOT 195158 SOS 45121 HAS SOPS 45121 HAS SOUS 31522 HAS SOUPS 31522 WITH SCORE 31567.121
AT ITER 3393 NEW BEST:: SOT 195159 SOS 45032 HAS SOPS 45032 HAS SOUS 31472 HAS SOUPS 31472 WITH SCORE 31517.032
AT ITER 3413 NEW BEST:: SOT 195159 SOS 44938 HAS SOPS 44938 HAS SOUS 31472 HAS SOUPS 31472 WITH SCORE 31516.938
AT ITER 3417 NEW BEST:: SOT 195105 SOS 44931 HAS SOPS 44931 HAS SOUS 31465 HAS SOUPS 31465 WITH SCORE 31509.931
AT ITER 3514 NEW BEST:: SOT 195102 SOS 44919 HAS SOPS 44919 HAS SOUS 31462 HAS SOUPS 31462 WITH SCORE 31506.919
AT ITER 3543 NEW BEST:: SOT 195118 SOS 44805 HAS SOPS 44805 HAS SOUS 31348 HAS SOUPS 31348 WITH SCORE 31392.805
AT ITER 3551 NEW BEST:: SOT 195156 SOS 44763 HAS SOPS 44763 HAS SOUS 31347 HAS SOUPS 31347 WITH SCORE 31391.763
AT ITER 3593 NEW BEST:: SOT 195164 SOS 44725 HAS SOPS 44725 HAS SOUS 31309 HAS SOUPS 31309 WITH SCORE 31353.725
AT ITER 3605 NEW BEST:: SOT 195164 SOS 44721 HAS SOPS 44721 HAS SOUS 31305 HAS SOUPS 31305 WITH SCORE 31349.721
AT ITER 3640 NEW BEST:: SOT 195042 SOS 44637 HAS SOPS 44637 HAS SOUS 31206 HAS SOUPS 31206 WITH SCORE 31250.637
AT ITER 3642 NEW BEST:: SOT 194593 SOS 44070 HAS SOPS 44070 HAS SOUS 30988 HAS SOUPS 30988 WITH SCORE 31032.07
AT ITER 3643 NEW BEST:: SOT 194631 SOS 44070 HAS SOPS 44070 HAS SOUS 30950 HAS SOUPS 30950 WITH SCORE 30994.07
AT ITER 3648 NEW BEST:: SOT 194492 SOS 44377 HAS SOPS 44377 HAS SOUS 30870 HAS SOUPS 30870 WITH SCORE 30914.377
AT ITER 3671 NEW BEST:: SOT 194462 SOS 44347 HAS SOPS 44347 HAS SOUS 30851 HAS SOUPS 30851 WITH SCORE 30895.347
AT ITER 3678 NEW BEST:: SOT 194456 SOS 44319 HAS SOPS 44319 HAS SOUS 30829 HAS SOUPS 30829 WITH SCORE 30873.319
AT ITER 3682 NEW BEST:: SOT 194395 SOS 44197 HAS SOPS 44197 HAS SOUS 30768 HAS SOUPS 30768 WITH SCORE 30812.197
AT ITER 3715 NEW BEST:: SOT 194425 SOS 44257 HAS SOPS 44257 HAS SOUS 30678 HAS SOUPS 30678 WITH SCORE 30722.257
AT ITER 3735 NEW BEST:: SOT 194392 SOS 44166 HAS SOPS 44166 HAS SOUS 30651 HAS SOUPS 30651 WITH SCORE 30695.166
AT ITER 3746 NEW BEST:: SOT 194349 SOS 44080 HAS SOPS 44080 HAS SOUS 30565 HAS SOUPS 30565 WITH SCORE 30609.08
AT ITER 3753 NEW BEST:: SOT 194337 SOS 44056 HAS SOPS 44056 HAS SOUS 30541 HAS SOUPS 30541 WITH SCORE 30585.056
AT ITER 3761 NEW BEST:: SOT 194375 SOS 44052 HAS SOPS 44052 HAS SOUS 30537 HAS SOUPS 30537 WITH SCORE 30581.052
AT ITER 3779 NEW BEST:: SOT 194366 SOS 44019 HAS SOPS 44019 HAS SOUS 30504 HAS SOUPS 30504 WITH SCORE 30548.019
AT ITER 3783 NEW BEST:: SOT 194359 SOS 44005 HAS SOPS 44005 HAS SOUS 30468 HAS SOUPS 30468 WITH SCORE 30512.005
AT ITER 3833 NEW BEST:: SOT 194358 SOS 44059 HAS SOPS 44059 HAS SOUS 30466 HAS SOUPS 30466 WITH SCORE 30510.059
AT ITER 3836 NEW BEST:: SOT 194328 SOS 43999 HAS SOPS 43999 HAS SOUS 30438 HAS SOUPS 30438 WITH SCORE 30481.999
AT ITER 3842 NEW BEST:: SOT 194328 SOS 43995 HAS SOPS 43995 HAS SOUS 30438 HAS SOUPS 30438 WITH SCORE 30481.995
AT ITER 3843 NEW BEST:: SOT 194294 SOS 43927 HAS SOPS 43927 HAS SOUS 30392 HAS SOUPS 30392 WITH SCORE 30435.927
AT ITER 3851 NEW BEST:: SOT 194278 SOS 43895 HAS SOPS 43895 HAS SOUS 30373 HAS SOUPS 30373 WITH SCORE 30416.895
AT ITER 3857 NEW BEST:: SOT 194174 SOS 43787 HAS SOPS 43787 HAS SOUS 30265 HAS SOUPS 30265 WITH SCORE 30308.787
AT ITER 3863 NEW BEST:: SOT 194231 SOS 43762 HAS SOPS 43762 HAS SOUS 30240 HAS SOUPS 30240 WITH SCORE 30283.762
AT ITER 3914 NEW BEST:: SOT 194238 SOS 43679 HAS SOPS 43679 HAS SOUS 30128 HAS SOUPS 30128 WITH SCORE 30171.679
AT ITER 3925 NEW BEST:: SOT 194238 SOS 43640 HAS SOPS 43640 HAS SOUS 30073 HAS SOUPS 30073 WITH SCORE 30116.64
AT ITER 3929 NEW BEST:: SOT 194232 SOS 43628 HAS SOPS 43628 HAS SOUS 30061 HAS SOUPS 30061 WITH SCORE 30104.628
AT ITER 3930 NEW BEST:: SOT 194250 SOS 43672 HAS SOPS 43672 HAS SOUS 30056 HAS SOUPS 30056 WITH SCORE 30099.672
AT ITER 3936 NEW BEST:: SOT 194055 SOS 43555 HAS SOPS 43555 HAS SOUS 29921 HAS SOUPS 29921 WITH SCORE 29964.555
AT ITER 3942 NEW BEST:: SOT 194051 SOS 43555 HAS SOPS 43555 HAS SOUS 29917 HAS SOUPS 29917 WITH SCORE 29960.555
AT ITER 3943 NEW BEST:: SOT 194041 SOS 43535 HAS SOPS 43535 HAS SOUS 29897 HAS SOUPS 29897 WITH SCORE 29940.535
AT ITER 3959 NEW BEST:: SOT 194045 SOS 43499 HAS SOPS 43499 HAS SOUS 29879 HAS SOUPS 29879 WITH SCORE 29922.499
AT ITER 3972 NEW BEST:: SOT 194045 SOS 43499 HAS SOPS 43499 HAS SOUS 29877 HAS SOUPS 29877 WITH SCORE 29920.499
AT ITER 3993 NEW BEST:: SOT 194045 SOS 43478 HAS SOPS 43478 HAS SOUS 29870 HAS SOUPS 29870 WITH SCORE 29913.478
AT ITER 4020 NEW BEST:: SOT 194045 SOS 43469 HAS SOPS 43469 HAS SOUS 29861 HAS SOUPS 29861 WITH SCORE 29904.469
AT ITER 4026 NEW BEST:: SOT 194017 SOS 43365 HAS SOPS 43365 HAS SOUS 29805 HAS SOUPS 29805 WITH SCORE 29848.365
AT ITER 4056 NEW BEST:: SOT 194017 SOS 43340 HAS SOPS 43340 HAS SOUS 29780 HAS SOUPS 29780 WITH SCORE 29823.34
AT ITER 4057 NEW BEST:: SOT 194024 SOS 43347 HAS SOPS 43347 HAS SOUS 29773 HAS SOUPS 29773 WITH SCORE 29816.347
AT ITER 4068 NEW BEST:: SOT 193993 SOS 43337 HAS SOPS 43337 HAS SOUS 29742 HAS SOUPS 29742 WITH SCORE 29785.337
AT ITER 4077 NEW BEST:: SOT 193993 SOS 43337 HAS SOPS 43337 HAS SOUS 29737 HAS SOUPS 29737 WITH SCORE 29780.337
AT ITER 4083 NEW BEST:: SOT 193989 SOS 43329 HAS SOPS 43329 HAS SOUS 29733 HAS SOUPS 29733 WITH SCORE 29776.329
AT ITER 4085 NEW BEST:: SOT 193987 SOS 43327 HAS SOPS 43327 HAS SOUS 29731 HAS SOUPS 29731 WITH SCORE 29774.327
AT ITER 4094 NEW BEST:: SOT 193874 SOS 43235 HAS SOPS 43235 HAS SOUS 29692 HAS SOUPS 29692 WITH SCORE 29735.235
AT ITER 4096 NEW BEST:: SOT 193874 SOS 43222 HAS SOPS 43222 HAS SOUS 29679 HAS SOUPS 29679 WITH SCORE 29722.222
AT ITER 4122 NEW BEST:: SOT 193874 SOS 43222 HAS SOPS 43222 HAS SOUS 29641 HAS SOUPS 29641 WITH SCORE 29684.222
AT ITER 4147 NEW BEST:: SOT 193874 SOS 43147 HAS SOPS 43147 HAS SOUS 29599 HAS SOUPS 29599 WITH SCORE 29642.147
AT ITER 4153 NEW BEST:: SOT 193864 SOS 43067 HAS SOPS 43067 HAS SOUS 29564 HAS SOUPS 29564 WITH SCORE 29607.067
AT ITER 4161 NEW BEST:: SOT 193864 SOS 43044 HAS SOPS 43044 HAS SOUS 29563 HAS SOUPS 29563 WITH SCORE 29606.044
AT ITER 4177 NEW BEST:: SOT 193864 SOS 43038 HAS SOPS 43038 HAS SOUS 29557 HAS SOUPS 29557 WITH SCORE 29600.038
AT ITER 4199 NEW BEST:: SOT 193853 SOS 43016 HAS SOPS 43016 HAS SOUS 29546 HAS SOUPS 29546 WITH SCORE 29589.016
AT ITER 4212 NEW BEST:: SOT 193797 SOS 42960 HAS SOPS 42960 HAS SOUS 29497 HAS SOUPS 29497 WITH SCORE 29539.96
AT ITER 4226 NEW BEST:: SOT 193789 SOS 42944 HAS SOPS 42944 HAS SOUS 29481 HAS SOUPS 29481 WITH SCORE 29523.944
AT ITER 4229 NEW BEST:: SOT 193787 SOS 42960 HAS SOPS 42960 HAS SOUS 29479 HAS SOUPS 29479 WITH SCORE 29521.96
AT ITER 4234 NEW BEST:: SOT 193843 SOS 42941 HAS SOPS 42941 HAS SOUS 29476 HAS SOUPS 29476 WITH SCORE 29518.941
AT ITER 4268 NEW BEST:: SOT 193831 SOS 42976 HAS SOPS 42976 HAS SOUS 29445 HAS SOUPS 29445 WITH SCORE 29487.976
AT ITER 4294 NEW BEST:: SOT 193831 SOS 42976 HAS SOPS 42976 HAS SOUS 29441 HAS SOUPS 29441 WITH SCORE 29483.976
AT ITER 4299 NEW BEST:: SOT 193831 SOS 42976 HAS SOPS 42976 HAS SOUS 29435 HAS SOUPS 29435 WITH SCORE 29477.976
AT ITER 4300 NEW BEST:: SOT 193831 SOS 42992 HAS SOPS 42992 HAS SOUS 29434 HAS SOUPS 29434 WITH SCORE 29476.992
AT ITER 4309 NEW BEST:: SOT 193795 SOS 42920 HAS SOPS 42920 HAS SOUS 29362 HAS SOUPS 29362 WITH SCORE 29404.92
AT ITER 4322 NEW BEST:: SOT 193785 SOS 42900 HAS SOPS 42900 HAS SOUS 29362 HAS SOUPS 29362 WITH SCORE 29404.9
AT ITER 4327 NEW BEST:: SOT 193779 SOS 42894 HAS SOPS 42894 HAS SOUS 29356 HAS SOUPS 29356 WITH SCORE 29398.894
AT ITER 4338 NEW BEST:: SOT 193746 SOS 42828 HAS SOPS 42828 HAS SOUS 29290 HAS SOUPS 29290 WITH SCORE 29332.828
AT ITER 4353 NEW BEST:: SOT 193744 SOS 42826 HAS SOPS 42826 HAS SOUS 29288 HAS SOUPS 29288 WITH SCORE 29330.826
AT ITER 4383 NEW BEST:: SOT 193729 SOS 42767 HAS SOPS 42767 HAS SOUS 29244 HAS SOUPS 29244 WITH SCORE 29286.767
AT ITER 4416 NEW BEST:: SOT 193715 SOS 42753 HAS SOPS 42753 HAS SOUS 29230 HAS SOUPS 29230 WITH SCORE 29272.753
AT ITER 4424 NEW BEST:: SOT 193646 SOS 42610 HAS SOPS 42610 HAS SOUS 29087 HAS SOUPS 29087 WITH SCORE 29129.61
AT ITER 4432 NEW BEST:: SOT 193620 SOS 42558 HAS SOPS 42558 HAS SOUS 29060 HAS SOUPS 29060 WITH SCORE 29102.558
AT ITER 4436 NEW BEST:: SOT 193574 SOS 42466 HAS SOPS 42466 HAS SOUS 28927 HAS SOUPS 28927 WITH SCORE 28969.466
AT ITER 4451 NEW BEST:: SOT 193551 SOS 42435 HAS SOPS 42435 HAS SOUS 28919 HAS SOUPS 28919 WITH SCORE 28961.435
AT ITER 4496 NEW BEST:: SOT 193538 SOS 42422 HAS SOPS 42422 HAS SOUS 28906 HAS SOUPS 28906 WITH SCORE 28948.422
AT ITER 4500 NEW BEST:: SOT 193536 SOS 42420 HAS SOPS 42420 HAS SOUS 28904 HAS SOUPS 28904 WITH SCORE 28946.42
AT ITER 4518 NEW BEST:: SOT 193338 SOS 42642 HAS SOPS 42642 HAS SOUS 28813 HAS SOUPS 28813 WITH SCORE 28855.642
AT ITER 4532 NEW BEST:: SOT 193301 SOS 42591 HAS SOPS 42591 HAS SOUS 28756 HAS SOUPS 28756 WITH SCORE 28798.591
AT ITER 4554 NEW BEST:: SOT 193427 SOS 42703 HAS SOPS 42703 HAS SOUS 28645 HAS SOUPS 28645 WITH SCORE 28687.703
AT ITER 4562 NEW BEST:: SOT 193438 SOS 42687 HAS SOPS 42687 HAS SOUS 28625 HAS SOUPS 28625 WITH SCORE 28667.687
AT ITER 4592 NEW BEST:: SOT 193438 SOS 42687 HAS SOPS 42687 HAS SOUS 28621 HAS SOUPS 28621 WITH SCORE 28663.687
AT ITER 4604 NEW BEST:: SOT 193424 SOS 42666 HAS SOPS 42666 HAS SOUS 28607 HAS SOUPS 28607 WITH SCORE 28649.666
AT ITER 4613 NEW BEST:: SOT 193424 SOS 42666 HAS SOPS 42666 HAS SOUS 28603 HAS SOUPS 28603 WITH SCORE 28645.666
AT ITER 4646 NEW BEST:: SOT 193385 SOS 42627 HAS SOPS 42627 HAS SOUS 28587 HAS SOUPS 28587 WITH SCORE 28629.627
AT ITER 4707 NEW BEST:: SOT 193382 SOS 42624 HAS SOPS 42624 HAS SOUS 28581 HAS SOUPS 28581 WITH SCORE 28623.624
AT ITER 4708 NEW BEST:: SOT 193335 SOS 42530 HAS SOPS 42530 HAS SOUS 28519 HAS SOUPS 28519 WITH SCORE 28561.53
AT ITER 4713 NEW BEST:: SOT 193323 SOS 42506 HAS SOPS 42506 HAS SOUS 28507 HAS SOUPS 28507 WITH SCORE 28549.506
AT ITER 4724 NEW BEST:: SOT 193323 SOS 42506 HAS SOPS 42506 HAS SOUS 28496 HAS SOUPS 28496 WITH SCORE 28538.506
AT ITER 4745 NEW BEST:: SOT 193315 SOS 42498 HAS SOPS 42498 HAS SOUS 28496 HAS SOUPS 28496 WITH SCORE 28538.498
AT ITER 4764 NEW BEST:: SOT 193315 SOS 42498 HAS SOPS 42498 HAS SOUS 28486 HAS SOUPS 28486 WITH SCORE 28528.498
AT ITER 4768 NEW BEST:: SOT 193297 SOS 42605 HAS SOPS 42605 HAS SOUS 28473 HAS SOUPS 28473 WITH SCORE 28515.605
AT ITER 4817 NEW BEST:: SOT 193167 SOS 42476 HAS SOPS 42476 HAS SOUS 28443 HAS SOUPS 28443 WITH SCORE 28485.476
AT ITER 4859 NEW BEST:: SOT 193163 SOS 42468 HAS SOPS 42468 HAS SOUS 28435 HAS SOUPS 28435 WITH SCORE 28477.468
AT ITER 4893 NEW BEST:: SOT 193159 SOS 42464 HAS SOPS 42464 HAS SOUS 28431 HAS SOUPS 28431 WITH SCORE 28473.464
AT ITER 4920 NEW BEST:: SOT 193132 SOS 42442 HAS SOPS 42442 HAS SOUS 28393 HAS SOUPS 28393 WITH SCORE 28435.442
AT ITER 4954 NEW BEST:: SOT 193130 SOS 42438 HAS SOPS 42438 HAS SOUS 28390 HAS SOUPS 28390 WITH SCORE 28432.438
AT ITER 4981 NEW BEST:: SOT 193161 SOS 42368 HAS SOPS 42368 HAS SOUS 28384 HAS SOUPS 28384 WITH SCORE 28426.368
AT ITER 4985 NEW BEST:: SOT 193151 SOS 42348 HAS SOPS 42348 HAS SOUS 28364 HAS SOUPS 28364 WITH SCORE 28406.348
AT ITER 4988 NEW BEST:: SOT 193162 SOS 42328 HAS SOPS 42328 HAS SOUS 28359 HAS SOUPS 28359 WITH SCORE 28401.328
AT ITER 4989 NEW BEST:: SOT 193129 SOS 42223 HAS SOPS 42223 HAS SOUS 28293 HAS SOUPS 28293 WITH SCORE 28335.223
AT ITER 4992 NEW BEST:: SOT 193176 SOS 41733 HAS SOPS 41733 HAS SOUS 28290 HAS SOUPS 28290 WITH SCORE 28331.733
AT ITER 4995 NEW BEST:: SOT 193175 SOS 41731 HAS SOPS 41731 HAS SOUS 28288 HAS SOUPS 28288 WITH SCORE 28329.731
AT ITER 4999 NEW BEST:: SOT 193137 SOS 41765 HAS SOPS 41765 HAS SOUS 28264 HAS SOUPS 28264 WITH SCORE 28305.765
AT ITER 5003 NEW BEST:: SOT 193138 SOS 41767 HAS SOPS 41767 HAS SOUS 28252 HAS SOUPS 28252 WITH SCORE 28293.767
AT ITER 5008 NEW BEST:: SOT 193148 SOS 41752 HAS SOPS 41752 HAS SOUS 28237 HAS SOUPS 28237 WITH SCORE 28278.752
AT ITER 5023 NEW BEST:: SOT 193140 SOS 41744 HAS SOPS 41744 HAS SOUS 28229 HAS SOUPS 28229 WITH SCORE 28270.744
AT ITER 5031 NEW BEST:: SOT 193091 SOS 41710 HAS SOPS 41710 HAS SOUS 28199 HAS SOUPS 28199 WITH SCORE 28240.71
AT ITER 5062 NEW BEST:: SOT 193046 SOS 41645 HAS SOPS 41645 HAS SOUS 28154 HAS SOUPS 28154 WITH SCORE 28195.645
AT ITER 5070 NEW BEST:: SOT 192997 SOS 41571 HAS SOPS 41571 HAS SOUS 28105 HAS SOUPS 28105 WITH SCORE 28146.571
AT ITER 5071 NEW BEST:: SOT 193003 SOS 41583 HAS SOPS 41583 HAS SOUS 28081 HAS SOUPS 28081 WITH SCORE 28122.583
AT ITER 5079 NEW BEST:: SOT 193010 SOS 41552 HAS SOPS 41552 HAS SOUS 28081 HAS SOUPS 28081 WITH SCORE 28122.552
AT ITER 5087 NEW BEST:: SOT 192969 SOS 41470 HAS SOPS 41470 HAS SOUS 28040 HAS SOUPS 28040 WITH SCORE 28081.47
AT ITER 5112 NEW BEST:: SOT 192966 SOS 41464 HAS SOPS 41464 HAS SOUS 28019 HAS SOUPS 28019 WITH SCORE 28060.464
AT ITER 5114 NEW BEST:: SOT 192966 SOS 41413 HAS SOPS 41413 HAS SOUS 27968 HAS SOUPS 27968 WITH SCORE 28009.413
AT ITER 5115 NEW BEST:: SOT 192961 SOS 41403 HAS SOPS 41403 HAS SOUS 27961 HAS SOUPS 27961 WITH SCORE 28002.403
AT ITER 5128 NEW BEST:: SOT 192814 SOS 41256 HAS SOPS 41256 HAS SOUS 27920 HAS SOUPS 27920 WITH SCORE 27961.256
AT ITER 5154 NEW BEST:: SOT 192761 SOS 41150 HAS SOPS 41150 HAS SOUS 27870 HAS SOUPS 27870 WITH SCORE 27911.15
AT ITER 5187 NEW BEST:: SOT 192716 SOS 41043 HAS SOPS 41043 HAS SOUS 27825 HAS SOUPS 27825 WITH SCORE 27866.043
AT ITER 5195 NEW BEST:: SOT 192707 SOS 41025 HAS SOPS 41025 HAS SOUS 27816 HAS SOUPS 27816 WITH SCORE 27857.025
AT ITER 5198 NEW BEST:: SOT 192726 SOS 40974 HAS SOPS 40974 HAS SOUS 27788 HAS SOUPS 27788 WITH SCORE 27828.974
AT ITER 5207 NEW BEST:: SOT 192726 SOS 40967 HAS SOPS 40967 HAS SOUS 27788 HAS SOUPS 27788 WITH SCORE 27828.967
AT ITER 5250 NEW BEST:: SOT 192724 SOS 40963 HAS SOPS 40963 HAS SOUS 27784 HAS SOUPS 27784 WITH SCORE 27824.963
AT ITER 5253 NEW BEST:: SOT 192717 SOS 40949 HAS SOPS 40949 HAS SOUS 27781 HAS SOUPS 27781 WITH SCORE 27821.949
AT ITER 5258 NEW BEST:: SOT 192808 SOS 41072 HAS SOPS 41072 HAS SOUS 27775 HAS SOUPS 27775 WITH SCORE 27816.072
AT ITER 5295 NEW BEST:: SOT 192781 SOS 41037 HAS SOPS 41037 HAS SOUS 27729 HAS SOUPS 27729 WITH SCORE 27770.037
AT ITER 5340 NEW BEST:: SOT 192775 SOS 41025 HAS SOPS 41025 HAS SOUS 27723 HAS SOUPS 27723 WITH SCORE 27764.025
AT ITER 5344 NEW BEST:: SOT 192775 SOS 41025 HAS SOPS 41025 HAS SOUS 27719 HAS SOUPS 27719 WITH SCORE 27760.025
AT ITER 5355 NEW BEST:: SOT 192764 SOS 41037 HAS SOPS 41037 HAS SOUS 27707 HAS SOUPS 27707 WITH SCORE 27748.037
AT ITER 5390 NEW BEST:: SOT 192766 SOS 41011 HAS SOPS 41011 HAS SOUS 27653 HAS SOUPS 27653 WITH SCORE 27694.011
AT ITER 5397 NEW BEST:: SOT 192762 SOS 41007 HAS SOPS 41007 HAS SOUS 27649 HAS SOUPS 27649 WITH SCORE 27690.007
AT ITER 5408 NEW BEST:: SOT 192761 SOS 41005 HAS SOPS 41005 HAS SOUS 27648 HAS SOUPS 27648 WITH SCORE 27689.005
AT ITER 5450 NEW BEST:: SOT 192647 SOS 40891 HAS SOPS 40891 HAS SOUS 27648 HAS SOUPS 27648 WITH SCORE 27688.891
AT ITER 5455 NEW BEST:: SOT 192640 SOS 40877 HAS SOPS 40877 HAS SOUS 27648 HAS SOUPS 27648 WITH SCORE 27688.877
AT ITER 5495 NEW BEST:: SOT 192610 SOS 40817 HAS SOPS 40817 HAS SOUS 27588 HAS SOUPS 27588 WITH SCORE 27628.817
AT ITER 5528 NEW BEST:: SOT 192502 SOS 40655 HAS SOPS 40655 HAS SOUS 27480 HAS SOUPS 27480 WITH SCORE 27520.655
AT ITER 5543 NEW BEST:: SOT 192492 SOS 40650 HAS SOPS 40650 HAS SOUS 27475 HAS SOUPS 27475 WITH SCORE 27515.65
AT ITER 5564 NEW BEST:: SOT 192469 SOS 40637 HAS SOPS 40637 HAS SOUS 27449 HAS SOUPS 27449 WITH SCORE 27489.637
AT ITER 5659 NEW BEST:: SOT 192388 SOS 40534 HAS SOPS 40534 HAS SOUS 27377 HAS SOUPS 27377 WITH SCORE 27417.534
AT ITER 5670 NEW BEST:: SOT 192387 SOS 40531 HAS SOPS 40531 HAS SOUS 27374 HAS SOUPS 27374 WITH SCORE 27414.531
AT ITER 5685 NEW BEST:: SOT 192387 SOS 40515 HAS SOPS 40515 HAS SOUS 27374 HAS SOUPS 27374 WITH SCORE 27414.515
AT ITER 5716 NEW BEST:: SOT 192392 SOS 40512 HAS SOPS 40512 HAS SOUS 27371 HAS SOUPS 27371 WITH SCORE 27411.512
AT ITER 5827 NEW BEST:: SOT 192377 SOS 40482 HAS SOPS 40482 HAS SOUS 27367 HAS SOUPS 27367 WITH SCORE 27407.482
AT ITER 5851 NEW BEST:: SOT 192339 SOS 40407 HAS SOPS 40407 HAS SOUS 27345 HAS SOUPS 27345 WITH SCORE 27385.407
AT ITER 5854 NEW BEST:: SOT 192243 SOS 40694 HAS SOPS 40694 HAS SOUS 27325 HAS SOUPS 27325 WITH SCORE 27365.694
AT ITER 5888 NEW BEST:: SOT 192159 SOS 40614 HAS SOPS 40614 HAS SOUS 27237 HAS SOUPS 27237 WITH SCORE 27277.614
AT ITER 5909 NEW BEST:: SOT 192150 SOS 40596 HAS SOPS 40596 HAS SOUS 27228 HAS SOUPS 27228 WITH SCORE 27268.596
AT ITER 5939 NEW BEST:: SOT 192116 SOS 40528 HAS SOPS 40528 HAS SOUS 27194 HAS SOUPS 27194 WITH SCORE 27234.528
AT ITER 5946 NEW BEST:: SOT 192110 SOS 40522 HAS SOPS 40522 HAS SOUS 27194 HAS SOUPS 27194 WITH SCORE 27234.522
AT ITER 5947 NEW BEST:: SOT 192010 SOS 40428 HAS SOPS 40428 HAS SOUS 27151 HAS SOUPS 27151 WITH SCORE 27191.428
AT ITER 5985 NEW BEST:: SOT 191987 SOS 40382 HAS SOPS 40382 HAS SOUS 27114 HAS SOUPS 27114 WITH SCORE 27154.382
AT ITER 5992 NEW BEST:: SOT 191985 SOS 40380 HAS SOPS 40380 HAS SOUS 27112 HAS SOUPS 27112 WITH SCORE 27152.38
AT ITER 6009 NEW BEST:: SOT 191985 SOS 40358 HAS SOPS 40358 HAS SOUS 27105 HAS SOUPS 27105 WITH SCORE 27145.358
AT ITER 6016 NEW BEST:: SOT 191850 SOS 40223 HAS SOPS 40223 HAS SOUS 26970 HAS SOUPS 26970 WITH SCORE 27010.223
AT ITER 6021 NEW BEST:: SOT 191937 SOS 40220 HAS SOPS 40220 HAS SOUS 26943 HAS SOUPS 26943 WITH SCORE 26983.22
AT ITER 6036 NEW BEST:: SOT 191904 SOS 40154 HAS SOPS 40154 HAS SOUS 26910 HAS SOUPS 26910 WITH SCORE 26950.154
AT ITER 6049 NEW BEST:: SOT 191899 SOS 40149 HAS SOPS 40149 HAS SOUS 26905 HAS SOUPS 26905 WITH SCORE 26945.149
AT ITER 6051 NEW BEST:: SOT 191885 SOS 40121 HAS SOPS 40121 HAS SOUS 26877 HAS SOUPS 26877 WITH SCORE 26917.121
AT ITER 6052 NEW BEST:: SOT 191881 SOS 40113 HAS SOPS 40113 HAS SOUS 26869 HAS SOUPS 26869 WITH SCORE 26909.113
AT ITER 6071 NEW BEST:: SOT 191874 SOS 40106 HAS SOPS 40106 HAS SOUS 26862 HAS SOUPS 26862 WITH SCORE 26902.106
AT ITER 6076 NEW BEST:: SOT 191873 SOS 40105 HAS SOPS 40105 HAS SOUS 26861 HAS SOUPS 26861 WITH SCORE 26901.105
AT ITER 6086 NEW BEST:: SOT 191873 SOS 40089 HAS SOPS 40089 HAS SOUS 26845 HAS SOUPS 26845 WITH SCORE 26885.089
AT ITER 6131 NEW BEST:: SOT 191869 SOS 40085 HAS SOPS 40085 HAS SOUS 26841 HAS SOUPS 26841 WITH SCORE 26881.085
AT ITER 6137 NEW BEST:: SOT 191830 SOS 39912 HAS SOPS 39912 HAS SOUS 26735 HAS SOUPS 26735 WITH SCORE 26774.912
AT ITER 6153 NEW BEST:: SOT 191815 SOS 39882 HAS SOPS 39882 HAS SOUS 26732 HAS SOUPS 26732 WITH SCORE 26771.882
AT ITER 6184 NEW BEST:: SOT 191775 SOS 39802 HAS SOPS 39802 HAS SOUS 26732 HAS SOUPS 26732 WITH SCORE 26771.802
AT ITER 6191 NEW BEST:: SOT 191747 SOS 39745 HAS SOPS 39745 HAS SOUS 26707 HAS SOUPS 26707 WITH SCORE 26746.745
AT ITER 6236 NEW BEST:: SOT 191747 SOS 39745 HAS SOPS 39745 HAS SOUS 26665 HAS SOUPS 26665 WITH SCORE 26704.745
AT ITER 6305 NEW BEST:: SOT 191725 SOS 39703 HAS SOPS 39703 HAS SOUS 26623 HAS SOUPS 26623 WITH SCORE 26662.703
AT ITER 6308 NEW BEST:: SOT 191725 SOS 39682 HAS SOPS 39682 HAS SOUS 26623 HAS SOUPS 26623 WITH SCORE 26662.682
AT ITER 6361 NEW BEST:: SOT 191662 SOS 39556 HAS SOPS 39556 HAS SOUS 26560 HAS SOUPS 26560 WITH SCORE 26599.556
AT ITER 6409 NEW BEST:: SOT 191529 SOS 39437 HAS SOPS 39437 HAS SOUS 26549 HAS SOUPS 26549 WITH SCORE 26588.437
AT ITER 6431 NEW BEST:: SOT 191520 SOS 39419 HAS SOPS 39419 HAS SOUS 26531 HAS SOUPS 26531 WITH SCORE 26570.419
AT ITER 6437 NEW BEST:: SOT 191506 SOS 39391 HAS SOPS 39391 HAS SOUS 26519 HAS SOUPS 26519 WITH SCORE 26558.391
AT ITER 6454 NEW BEST:: SOT 191476 SOS 39346 HAS SOPS 39346 HAS SOUS 26474 HAS SOUPS 26474 WITH SCORE 26513.346
AT ITER 6469 NEW BEST:: SOT 191476 SOS 39342 HAS SOPS 39342 HAS SOUS 26474 HAS SOUPS 26474 WITH SCORE 26513.342
AT ITER 6470 NEW BEST:: SOT 191624 SOS 39638 HAS SOPS 39638 HAS SOUS 26443 HAS SOUPS 26443 WITH SCORE 26482.638
AT ITER 6490 NEW BEST:: SOT 191491 SOS 39508 HAS SOPS 39508 HAS SOUS 26383 HAS SOUPS 26383 WITH SCORE 26422.508
AT ITER 6569 NEW BEST:: SOT 191457 SOS 39443 HAS SOPS 39443 HAS SOUS 26335 HAS SOUPS 26335 WITH SCORE 26374.443
AT ITER 6596 NEW BEST:: SOT 191473 SOS 39378 HAS SOPS 39378 HAS SOUS 26311 HAS SOUPS 26311 WITH SCORE 26350.378
AT ITER 6635 NEW BEST:: SOT 191473 SOS 39372 HAS SOPS 39372 HAS SOUS 26311 HAS SOUPS 26311 WITH SCORE 26350.372
AT ITER 6674 NEW BEST:: SOT 191473 SOS 39368 HAS SOPS 39368 HAS SOUS 26307 HAS SOUPS 26307 WITH SCORE 26346.368
AT ITER 6675 NEW BEST:: SOT 191465 SOS 39352 HAS SOPS 39352 HAS SOUS 26282 HAS SOUPS 26282 WITH SCORE 26321.352
AT ITER 6680 NEW BEST:: SOT 191449 SOS 39320 HAS SOPS 39320 HAS SOUS 26250 HAS SOUPS 26250 WITH SCORE 26289.32
AT ITER 6760 NEW BEST:: SOT 191449 SOS 39316 HAS SOPS 39316 HAS SOUS 26246 HAS SOUPS 26246 WITH SCORE 26285.316
AT ITER 6761 NEW BEST:: SOT 191285 SOS 38988 HAS SOPS 38988 HAS SOUS 26246 HAS SOUPS 26246 WITH SCORE 26284.988
AT ITER 6768 NEW BEST:: SOT 191249 SOS 38916 HAS SOPS 38916 HAS SOUS 26174 HAS SOUPS 26174 WITH SCORE 26212.916
AT ITER 6794 NEW BEST:: SOT 191208 SOS 39014 HAS SOPS 39014 HAS SOUS 26148 HAS SOUPS 26148 WITH SCORE 26187.014
AT ITER 6831 NEW BEST:: SOT 191164 SOS 38926 HAS SOPS 38926 HAS SOUS 25979 HAS SOUPS 25979 WITH SCORE 26017.926
AT ITER 6862 NEW BEST:: SOT 191145 SOS 38888 HAS SOPS 38888 HAS SOUS 25970 HAS SOUPS 25970 WITH SCORE 26008.888
AT ITER 6871 NEW BEST:: SOT 191083 SOS 38764 HAS SOPS 38764 HAS SOUS 25914 HAS SOUPS 25914 WITH SCORE 25952.764
AT ITER 6897 NEW BEST:: SOT 190962 SOS 38522 HAS SOPS 38522 HAS SOUS 25772 HAS SOUPS 25772 WITH SCORE 25810.522
AT ITER 6916 NEW BEST:: SOT 190962 SOS 38452 HAS SOPS 38452 HAS SOUS 25702 HAS SOUPS 25702 WITH SCORE 25740.452
AT ITER 6934 NEW BEST:: SOT 190954 SOS 38425 HAS SOPS 38425 HAS SOUS 25675 HAS SOUPS 25675 WITH SCORE 25713.425
AT ITER 7026 NEW BEST:: SOT 190954 SOS 38305 HAS SOPS 38305 HAS SOUS 25670 HAS SOUPS 25670 WITH SCORE 25708.305
AT ITER 7038 NEW BEST:: SOT 190954 SOS 38324 HAS SOPS 38324 HAS SOUS 25668 HAS SOUPS 25668 WITH SCORE 25706.324
AT ITER 7057 NEW BEST:: SOT 190940 SOS 38310 HAS SOPS 38310 HAS SOUS 25668 HAS SOUPS 25668 WITH SCORE 25706.31
AT ITER 7072 NEW BEST:: SOT 190946 SOS 38300 HAS SOPS 38300 HAS SOUS 25666 HAS SOUPS 25666 WITH SCORE 25704.3
AT ITER 7183 NEW BEST:: SOT 190946 SOS 38282 HAS SOPS 38282 HAS SOUS 25648 HAS SOUPS 25648 WITH SCORE 25686.282
AT ITER 7250 NEW BEST:: SOT 190936 SOS 38262 HAS SOPS 38262 HAS SOUS 25628 HAS SOUPS 25628 WITH SCORE 25666.262
AT ITER 7298 NEW BEST:: SOT 190895 SOS 38180 HAS SOPS 38180 HAS SOUS 25587 HAS SOUPS 25587 WITH SCORE 25625.18
AT ITER 7318 NEW BEST:: SOT 190895 SOS 38205 HAS SOPS 38205 HAS SOUS 25584 HAS SOUPS 25584 WITH SCORE 25622.205
AT ITER 7322 NEW BEST:: SOT 190889 SOS 38193 HAS SOPS 38193 HAS SOUS 25580 HAS SOUPS 25580 WITH SCORE 25618.193
AT ITER 7349 NEW BEST:: SOT 190847 SOS 38046 HAS SOPS 38046 HAS SOUS 25489 HAS SOUPS 25489 WITH SCORE 25527.046
AT ITER 7356 NEW BEST:: SOT 190827 SOS 38016 HAS SOPS 38016 HAS SOUS 25459 HAS SOUPS 25459 WITH SCORE 25497.016
AT ITER 7396 NEW BEST:: SOT 190827 SOS 38013 HAS SOPS 38013 HAS SOUS 25422 HAS SOUPS 25422 WITH SCORE 25460.013
AT ITER 7397 NEW BEST:: SOT 190827 SOS 38005 HAS SOPS 38005 HAS SOUS 25414 HAS SOUPS 25414 WITH SCORE 25452.005
AT ITER 7451 NEW BEST:: SOT 190827 SOS 38001 HAS SOPS 38001 HAS SOUS 25414 HAS SOUPS 25414 WITH SCORE 25452.001
AT ITER 7474 NEW BEST:: SOT 190788 SOS 37919 HAS SOPS 37919 HAS SOUS 25404 HAS SOUPS 25404 WITH SCORE 25441.919
AT ITER 7475 NEW BEST:: SOT 190788 SOS 37917 HAS SOPS 37917 HAS SOUS 25404 HAS SOUPS 25404 WITH SCORE 25441.917
AT ITER 7486 NEW BEST:: SOT 190778 SOS 37915 HAS SOPS 37915 HAS SOUS 25393 HAS SOUPS 25393 WITH SCORE 25430.915
AT ITER 7507 NEW BEST:: SOT 190768 SOS 37895 HAS SOPS 37895 HAS SOUS 25389 HAS SOUPS 25389 WITH SCORE 25426.895
AT ITER 7544 NEW BEST:: SOT 190768 SOS 37893 HAS SOPS 37893 HAS SOUS 25389 HAS SOUPS 25389 WITH SCORE 25426.893
AT ITER 7555 NEW BEST:: SOT 190765 SOS 37890 HAS SOPS 37890 HAS SOUS 25383 HAS SOUPS 25383 WITH SCORE 25420.89
AT ITER 7589 NEW BEST:: SOT 190773 SOS 37896 HAS SOPS 37896 HAS SOUS 25381 HAS SOUPS 25381 WITH SCORE 25418.896
AT ITER 7652 NEW BEST:: SOT 190667 SOS 37719 HAS SOPS 37719 HAS SOUS 25309 HAS SOUPS 25309 WITH SCORE 25346.719
AT ITER 7713 NEW BEST:: SOT 190640 SOS 37692 HAS SOPS 37692 HAS SOUS 25282 HAS SOUPS 25282 WITH SCORE 25319.692
AT ITER 7715 NEW BEST:: SOT 190630 SOS 37672 HAS SOPS 37672 HAS SOUS 25272 HAS SOUPS 25272 WITH SCORE 25309.672
AT ITER 7746 NEW BEST:: SOT 190619 SOS 37650 HAS SOPS 37650 HAS SOUS 25250 HAS SOUPS 25250 WITH SCORE 25287.65
AT ITER 7783 NEW BEST:: SOT 190516 SOS 37444 HAS SOPS 37444 HAS SOUS 25096 HAS SOUPS 25096 WITH SCORE 25133.444
AT ITER 7807 NEW BEST:: SOT 190514 SOS 37442 HAS SOPS 37442 HAS SOUS 25094 HAS SOUPS 25094 WITH SCORE 25131.442
AT ITER 7813 NEW BEST:: SOT 190491 SOS 37408 HAS SOPS 37408 HAS SOUS 25048 HAS SOUPS 25048 WITH SCORE 25085.408
AT ITER 7836 NEW BEST:: SOT 190484 SOS 37401 HAS SOPS 37401 HAS SOUS 25041 HAS SOUPS 25041 WITH SCORE 25078.401
AT ITER 7900 NEW BEST:: SOT 190457 SOS 37347 HAS SOPS 37347 HAS SOUS 25002 HAS SOUPS 25002 WITH SCORE 25039.347
AT ITER 7962 NEW BEST:: SOT 190456 SOS 37346 HAS SOPS 37346 HAS SOUS 25001 HAS SOUPS 25001 WITH SCORE 25038.346
AT ITER 7971 NEW BEST:: SOT 190454 SOS 37335 HAS SOPS 37335 HAS SOUS 24969 HAS SOUPS 24969 WITH SCORE 25006.335
AT ITER 7976 NEW BEST:: SOT 190450 SOS 37327 HAS SOPS 37327 HAS SOUS 24965 HAS SOUPS 24965 WITH SCORE 25002.327
AT ITER 7989 NEW BEST:: SOT 190448 SOS 37323 HAS SOPS 37323 HAS SOUS 24961 HAS SOUPS 24961 WITH SCORE 24998.323
AT ITER 8100 NEW BEST:: SOT 190448 SOS 37304 HAS SOPS 37304 HAS SOUS 24961 HAS SOUPS 24961 WITH SCORE 24998.304
AT ITER 8155 NEW BEST:: SOT 190442 SOS 37292 HAS SOPS 37292 HAS SOUS 24947 HAS SOUPS 24947 WITH SCORE 24984.292
AT ITER 8196 NEW BEST:: SOT 190436 SOS 37280 HAS SOPS 37280 HAS SOUS 24944 HAS SOUPS 24944 WITH SCORE 24981.28
AT ITER 8217 NEW BEST:: SOT 190459 SOS 37218 HAS SOPS 37218 HAS SOUS 24901 HAS SOUPS 24901 WITH SCORE 24938.218
AT ITER 8229 NEW BEST:: SOT 190464 SOS 37264 HAS SOPS 37264 HAS SOUS 24872 HAS SOUPS 24872 WITH SCORE 24909.264
AT ITER 8291 NEW BEST:: SOT 190464 SOS 37256 HAS SOPS 37256 HAS SOUS 24872 HAS SOUPS 24872 WITH SCORE 24909.256
AT ITER 8306 NEW BEST:: SOT 190357 SOS 37653 HAS SOPS 37653 HAS SOUS 24863 HAS SOUPS 24863 WITH SCORE 24900.653
AT ITER 8318 NEW BEST:: SOT 190381 SOS 37557 HAS SOPS 37557 HAS SOUS 24863 HAS SOUPS 24863 WITH SCORE 24900.557
AT ITER 8351 NEW BEST:: SOT 190390 SOS 37125 HAS SOPS 37125 HAS SOUS 24834 HAS SOUPS 24834 WITH SCORE 24871.125
AT ITER 8365 NEW BEST:: SOT 190373 SOS 37107 HAS SOPS 37107 HAS SOUS 24816 HAS SOUPS 24816 WITH SCORE 24853.107
AT ITER 8384 NEW BEST:: SOT 190387 SOS 37097 HAS SOPS 37097 HAS SOUS 24806 HAS SOUPS 24806 WITH SCORE 24843.097
AT ITER 8399 NEW BEST:: SOT 190313 SOS 37411 HAS SOPS 37411 HAS SOUS 24798 HAS SOUPS 24798 WITH SCORE 24835.411
AT ITER 8426 NEW BEST:: SOT 190313 SOS 37406 HAS SOPS 37406 HAS SOUS 24793 HAS SOUPS 24793 WITH SCORE 24830.406
AT ITER 8431 NEW BEST:: SOT 190304 SOS 37377 HAS SOPS 37377 HAS SOUS 24774 HAS SOUPS 24774 WITH SCORE 24811.377
AT ITER 8456 NEW BEST:: SOT 190308 SOS 37305 HAS SOPS 37305 HAS SOUS 24774 HAS SOUPS 24774 WITH SCORE 24811.305
AT ITER 8467 NEW BEST:: SOT 190285 SOS 37259 HAS SOPS 37259 HAS SOUS 24710 HAS SOUPS 24710 WITH SCORE 24747.259
AT ITER 8501 NEW BEST:: SOT 190271 SOS 37258 HAS SOPS 37258 HAS SOUS 24682 HAS SOUPS 24682 WITH SCORE 24719.258
AT ITER 8511 NEW BEST:: SOT 190224 SOS 37205 HAS SOPS 37205 HAS SOUS 24680 HAS SOUPS 24680 WITH SCORE 24717.205
AT ITER 8550 NEW BEST:: SOT 190218 SOS 37193 HAS SOPS 37193 HAS SOUS 24668 HAS SOUPS 24668 WITH SCORE 24705.193
AT ITER 8629 NEW BEST:: SOT 190198 SOS 37168 HAS SOPS 37168 HAS SOUS 24620 HAS SOUPS 24620 WITH SCORE 24657.168
AT ITER 8652 NEW BEST:: SOT 190070 SOS 37448 HAS SOPS 37448 HAS SOUS 24587 HAS SOUPS 24587 WITH SCORE 24624.448
AT ITER 8656 NEW BEST:: SOT 190061 SOS 37439 HAS SOPS 37439 HAS SOUS 24578 HAS SOUPS 24578 WITH SCORE 24615.439
AT ITER 8668 NEW BEST:: SOT 190059 SOS 37419 HAS SOPS 37419 HAS SOUS 24558 HAS SOUPS 24558 WITH SCORE 24595.419
AT ITER 8702 NEW BEST:: SOT 190053 SOS 37455 HAS SOPS 37455 HAS SOUS 24552 HAS SOUPS 24552 WITH SCORE 24589.455
AT ITER 8832 NEW BEST:: SOT 190033 SOS 37435 HAS SOPS 37435 HAS SOUS 24532 HAS SOUPS 24532 WITH SCORE 24569.435
AT ITER 8834 NEW BEST:: SOT 190022 SOS 37424 HAS SOPS 37424 HAS SOUS 24522 HAS SOUPS 24522 WITH SCORE 24559.424
AT ITER 8852 NEW BEST:: SOT 190014 SOS 37408 HAS SOPS 37408 HAS SOUS 24514 HAS SOUPS 24514 WITH SCORE 24551.408
AT ITER 8896 NEW BEST:: SOT 190007 SOS 37415 HAS SOPS 37415 HAS SOUS 24506 HAS SOUPS 24506 WITH SCORE 24543.415
AT ITER 8984 NEW BEST:: SOT 190042 SOS 37348 HAS SOPS 37348 HAS SOUS 24473 HAS SOUPS 24473 WITH SCORE 24510.348
AT ITER 8985 NEW BEST:: SOT 190042 SOS 37340 HAS SOPS 37340 HAS SOUS 24465 HAS SOUPS 24465 WITH SCORE 24502.34
AT ITER 8995 NEW BEST:: SOT 190027 SOS 37394 HAS SOPS 37394 HAS SOUS 24456 HAS SOUPS 24456 WITH SCORE 24493.394
AT ITER 9138 NEW BEST:: SOT 190012 SOS 37364 HAS SOPS 37364 HAS SOUS 24426 HAS SOUPS 24426 WITH SCORE 24463.364
AT ITER 9148 NEW BEST:: SOT 189981 SOS 37340 HAS SOPS 37340 HAS SOUS 24402 HAS SOUPS 24402 WITH SCORE 24439.34
AT ITER 9187 NEW BEST:: SOT 189980 SOS 37338 HAS SOPS 37338 HAS SOUS 24401 HAS SOUPS 24401 WITH SCORE 24438.338
AT ITER 9290 NEW BEST:: SOT 189967 SOS 37312 HAS SOPS 37312 HAS SOUS 24378 HAS SOUPS 24378 WITH SCORE 24415.312
AT ITER 9294 NEW BEST:: SOT 189967 SOS 37262 HAS SOPS 37262 HAS SOUS 24378 HAS SOUPS 24378 WITH SCORE 24415.262
AT ITER 9309 NEW BEST:: SOT 189797 SOS 37092 HAS SOPS 37092 HAS SOUS 24378 HAS SOUPS 24378 WITH SCORE 24415.092
AT ITER 9344 NEW BEST:: SOT 189787 SOS 37077 HAS SOPS 37077 HAS SOUS 24363 HAS SOUPS 24363 WITH SCORE 24400.077
AT ITER 9378 NEW BEST:: SOT 189773 SOS 37063 HAS SOPS 37063 HAS SOUS 24363 HAS SOUPS 24363 WITH SCORE 24400.063
AT ITER 9409 NEW BEST:: SOT 189753 SOS 37023 HAS SOPS 37023 HAS SOUS 24336 HAS SOUPS 24336 WITH SCORE 24373.023
AT ITER 9411 NEW BEST:: SOT 189747 SOS 37011 HAS SOPS 37011 HAS SOUS 24324 HAS SOUPS 24324 WITH SCORE 24361.011
AT ITER 9422 NEW BEST:: SOT 189722 SOS 36961 HAS SOPS 36961 HAS SOUS 24299 HAS SOUPS 24299 WITH SCORE 24335.961
AT ITER 9467 NEW BEST:: SOT 189715 SOS 36926 HAS SOPS 36926 HAS SOUS 24264 HAS SOUPS 24264 WITH SCORE 24300.926
AT ITER 9502 NEW BEST:: SOT 189715 SOS 36926 HAS SOPS 36926 HAS SOUS 24248 HAS SOUPS 24248 WITH SCORE 24284.926
AT ITER 9503 NEW BEST:: SOT 189709 SOS 36908 HAS SOPS 36908 HAS SOUS 24236 HAS SOUPS 24236 WITH SCORE 24272.908
AT ITER 9547 NEW BEST:: SOT 189702 SOS 36901 HAS SOPS 36901 HAS SOUS 24236 HAS SOUPS 24236 WITH SCORE 24272.901
AT ITER 9554 NEW BEST:: SOT 189702 SOS 36899 HAS SOPS 36899 HAS SOUS 24234 HAS SOUPS 24234 WITH SCORE 24270.899
AT ITER 9580 NEW BEST:: SOT 189702 SOS 36892 HAS SOPS 36892 HAS SOUS 24234 HAS SOUPS 24234 WITH SCORE 24270.892
AT ITER 9666 NEW BEST:: SOT 189702 SOS 36587 HAS SOPS 36587 HAS SOUS 24217 HAS SOUPS 24217 WITH SCORE 24253.587
AT ITER 9745 NEW BEST:: SOT 189688 SOS 36559 HAS SOPS 36559 HAS SOUS 24189 HAS SOUPS 24189 WITH SCORE 24225.559
AT ITER 9825 NEW BEST:: SOT 189689 SOS 36512 HAS SOPS 36512 HAS SOUS 24179 HAS SOUPS 24179 WITH SCORE 24215.512
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 4291220 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16151720 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="SmartHome-PT-17"
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 SmartHome-PT-17, 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 r451-smll-167912643300288"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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