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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 472K
-rw-r--r-- 1 mcc users 9.1K Feb 26 14:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 87K Feb 26 14:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 26 14:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 26 14:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 17:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 17:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.2K Feb 26 14:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 64K Feb 26 14:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 26 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 92K Feb 26 14:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 17:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 29K 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 1679186876612

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=UtilityControlRoom-COL-Z4T3N08
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-19 00:47:59] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-19 00:47:59] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-19 00:47:59] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-19 00:48:00] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-19 00:48:00] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 664 ms
[2023-03-19 00:48:00] [INFO ] Imported 13 HL places and 12 HL transitions for a total of 302 PT places and 600.0 transition bindings in 22 ms.
[2023-03-19 00:48:00] [INFO ] Unfolded HLPN to a Petri net with 302 places and 600 transitions 1928 arcs in 53 ms.
[2023-03-19 00:48:00] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Ensure Unique test removed 128 transitions
Reduce isomorphic transitions removed 128 transitions.
Drop transitions removed 32 transitions
Redundant transition composition rules discarded 32 transitions
[2023-03-19 00:48:00] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 302 places, 440 transitions and 1288 arcs took 17 ms.
Total runtime 983 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (COL), instance Z4T3N08
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: 302 places, 440 transitions, 1288 arcs.
AT ITER 0 NEW BEST:: SOT 91947 SOS 61113 HAS SOPS 61113 HAS SOUS 39909 HAS SOUPS 39909 WITH SCORE 39970.113
AT ITER 2 NEW BEST:: SOT 91945 SOS 60773 HAS SOPS 60773 HAS SOUS 39907 HAS SOUPS 39907 WITH SCORE 39967.773
AT ITER 4 NEW BEST:: SOT 91915 SOS 60629 HAS SOPS 60629 HAS SOUS 39877 HAS SOUPS 39877 WITH SCORE 39937.629
AT ITER 6 NEW BEST:: SOT 91915 SOS 60544 HAS SOPS 60544 HAS SOUS 39750 HAS SOUPS 39750 WITH SCORE 39810.544
AT ITER 7 NEW BEST:: SOT 85362 SOS 61904 HAS SOPS 61904 HAS SOUS 33284 HAS SOUPS 33284 WITH SCORE 33345.904
AT ITER 10 NEW BEST:: SOT 85347 SOS 61909 HAS SOPS 61909 HAS SOUS 33249 HAS SOUPS 33249 WITH SCORE 33310.909
AT ITER 12 NEW BEST:: SOT 85343 SOS 61935 HAS SOPS 61935 HAS SOUS 33018 HAS SOUPS 33018 WITH SCORE 33079.935
AT ITER 19 NEW BEST:: SOT 85343 SOS 61875 HAS SOPS 61875 HAS SOUS 33018 HAS SOUPS 33018 WITH SCORE 33079.875
AT ITER 23 NEW BEST:: SOT 85307 SOS 61839 HAS SOPS 61839 HAS SOUS 33010 HAS SOUPS 33010 WITH SCORE 33071.839
AT ITER 25 NEW BEST:: SOT 85177 SOS 61709 HAS SOPS 61709 HAS SOUS 32536 HAS SOUPS 32536 WITH SCORE 32597.709
AT ITER 29 NEW BEST:: SOT 85160 SOS 61623 HAS SOPS 61623 HAS SOUS 32519 HAS SOUPS 32519 WITH SCORE 32580.623
AT ITER 31 NEW BEST:: SOT 85160 SOS 61623 HAS SOPS 61623 HAS SOUS 32515 HAS SOUPS 32515 WITH SCORE 32576.623
AT ITER 33 NEW BEST:: SOT 85251 SOS 61714 HAS SOPS 61714 HAS SOUS 32347 HAS SOUPS 32347 WITH SCORE 32408.714
AT ITER 34 NEW BEST:: SOT 85298 SOS 61761 HAS SOPS 61761 HAS SOUS 32144 HAS SOUPS 32144 WITH SCORE 32205.761
AT ITER 36 NEW BEST:: SOT 85238 SOS 61149 HAS SOPS 61149 HAS SOUS 32093 HAS SOUPS 32093 WITH SCORE 32154.149
AT ITER 38 NEW BEST:: SOT 85254 SOS 60967 HAS SOPS 60967 HAS SOUS 31988 HAS SOUPS 31988 WITH SCORE 32048.967
AT ITER 39 NEW BEST:: SOT 85163 SOS 60013 HAS SOPS 60013 HAS SOUS 31947 HAS SOUPS 31947 WITH SCORE 32007.013
AT ITER 42 NEW BEST:: SOT 85143 SOS 60007 HAS SOPS 60007 HAS SOUS 31894 HAS SOUPS 31894 WITH SCORE 31954.007
AT ITER 50 NEW BEST:: SOT 85363 SOS 60384 HAS SOPS 60384 HAS SOUS 31713 HAS SOUPS 31713 WITH SCORE 31773.384
AT ITER 53 NEW BEST:: SOT 85487 SOS 60916 HAS SOPS 60916 HAS SOUS 31535 HAS SOUPS 31535 WITH SCORE 31595.916
AT ITER 54 NEW BEST:: SOT 85473 SOS 60885 HAS SOPS 60885 HAS SOUS 31471 HAS SOUPS 31471 WITH SCORE 31531.885
AT ITER 56 NEW BEST:: SOT 85428 SOS 60840 HAS SOPS 60840 HAS SOUS 31384 HAS SOUPS 31384 WITH SCORE 31444.84
AT ITER 58 NEW BEST:: SOT 85479 SOS 60891 HAS SOPS 60891 HAS SOUS 31372 HAS SOUPS 31372 WITH SCORE 31432.891
AT ITER 60 NEW BEST:: SOT 85485 SOS 60897 HAS SOPS 60897 HAS SOUS 31185 HAS SOUPS 31185 WITH SCORE 31245.897
AT ITER 66 NEW BEST:: SOT 85436 SOS 60856 HAS SOPS 60856 HAS SOUS 31131 HAS SOUPS 31131 WITH SCORE 31191.856
AT ITER 71 NEW BEST:: SOT 85411 SOS 60866 HAS SOPS 60866 HAS SOUS 31071 HAS SOUPS 31071 WITH SCORE 31131.866
AT ITER 75 NEW BEST:: SOT 85395 SOS 60826 HAS SOPS 60826 HAS SOUS 31055 HAS SOUPS 31055 WITH SCORE 31115.826
AT ITER 80 NEW BEST:: SOT 85354 SOS 60754 HAS SOPS 60754 HAS SOUS 30921 HAS SOUPS 30921 WITH SCORE 30981.754
AT ITER 81 NEW BEST:: SOT 85336 SOS 60850 HAS SOPS 60850 HAS SOUS 30855 HAS SOUPS 30855 WITH SCORE 30915.85
AT ITER 83 NEW BEST:: SOT 85336 SOS 60850 HAS SOPS 60850 HAS SOUS 30631 HAS SOUPS 30631 WITH SCORE 30691.85
AT ITER 88 NEW BEST:: SOT 85234 SOS 60697 HAS SOPS 60697 HAS SOUS 30478 HAS SOUPS 30478 WITH SCORE 30538.697
AT ITER 89 NEW BEST:: SOT 85220 SOS 60641 HAS SOPS 60641 HAS SOUS 30464 HAS SOUPS 30464 WITH SCORE 30524.641
AT ITER 94 NEW BEST:: SOT 85201 SOS 60602 HAS SOPS 60602 HAS SOUS 30423 HAS SOUPS 30423 WITH SCORE 30483.602
AT ITER 96 NEW BEST:: SOT 85199 SOS 60600 HAS SOPS 60600 HAS SOUS 30419 HAS SOUPS 30419 WITH SCORE 30479.6
AT ITER 101 NEW BEST:: SOT 85161 SOS 60562 HAS SOPS 60562 HAS SOUS 30391 HAS SOUPS 30391 WITH SCORE 30451.562
AT ITER 104 NEW BEST:: SOT 85040 SOS 60352 HAS SOPS 60352 HAS SOUS 30206 HAS SOUPS 30206 WITH SCORE 30266.352
AT ITER 108 NEW BEST:: SOT 85047 SOS 60359 HAS SOPS 60359 HAS SOUS 30188 HAS SOUPS 30188 WITH SCORE 30248.359
AT ITER 110 NEW BEST:: SOT 85024 SOS 60359 HAS SOPS 60359 HAS SOUS 30142 HAS SOUPS 30142 WITH SCORE 30202.359
AT ITER 112 NEW BEST:: SOT 85013 SOS 60348 HAS SOPS 60348 HAS SOUS 30116 HAS SOUPS 30116 WITH SCORE 30176.348
AT ITER 114 NEW BEST:: SOT 85013 SOS 60348 HAS SOPS 60348 HAS SOUS 30054 HAS SOUPS 30054 WITH SCORE 30114.348
AT ITER 115 NEW BEST:: SOT 84896 SOS 59908 HAS SOPS 59908 HAS SOUS 29891 HAS SOUPS 29891 WITH SCORE 29950.908
AT ITER 116 NEW BEST:: SOT 84881 SOS 59878 HAS SOPS 59878 HAS SOUS 29861 HAS SOUPS 29861 WITH SCORE 29920.878
AT ITER 117 NEW BEST:: SOT 84881 SOS 60004 HAS SOPS 60004 HAS SOUS 29767 HAS SOUPS 29767 WITH SCORE 29827.004
AT ITER 119 NEW BEST:: SOT 84782 SOS 59905 HAS SOPS 59905 HAS SOUS 29668 HAS SOUPS 29668 WITH SCORE 29727.905
AT ITER 120 NEW BEST:: SOT 84707 SOS 59737 HAS SOPS 59737 HAS SOUS 29530 HAS SOUPS 29530 WITH SCORE 29589.737
AT ITER 125 NEW BEST:: SOT 84566 SOS 59851 HAS SOPS 59851 HAS SOUS 29515 HAS SOUPS 29515 WITH SCORE 29574.851
AT ITER 130 NEW BEST:: SOT 84532 SOS 59817 HAS SOPS 59817 HAS SOUS 29507 HAS SOUPS 29507 WITH SCORE 29566.817
AT ITER 134 NEW BEST:: SOT 84508 SOS 59743 HAS SOPS 59743 HAS SOUS 29507 HAS SOUPS 29507 WITH SCORE 29566.743
AT ITER 136 NEW BEST:: SOT 84469 SOS 59685 HAS SOPS 59685 HAS SOUS 29438 HAS SOUPS 29438 WITH SCORE 29497.685
AT ITER 139 NEW BEST:: SOT 84469 SOS 59688 HAS SOPS 59688 HAS SOUS 29435 HAS SOUPS 29435 WITH SCORE 29494.688
AT ITER 150 NEW BEST:: SOT 84537 SOS 59756 HAS SOPS 59756 HAS SOUS 29433 HAS SOUPS 29433 WITH SCORE 29492.756
AT ITER 162 NEW BEST:: SOT 84473 SOS 59692 HAS SOPS 59692 HAS SOUS 29396 HAS SOUPS 29396 WITH SCORE 29455.692
AT ITER 166 NEW BEST:: SOT 84720 SOS 59939 HAS SOPS 59939 HAS SOUS 29064 HAS SOUPS 29064 WITH SCORE 29123.939
AT ITER 167 NEW BEST:: SOT 84700 SOS 59919 HAS SOPS 59919 HAS SOUS 29044 HAS SOUPS 29044 WITH SCORE 29103.919
AT ITER 180 NEW BEST:: SOT 84619 SOS 59838 HAS SOPS 59838 HAS SOUS 29036 HAS SOUPS 29036 WITH SCORE 29095.838
AT ITER 182 NEW BEST:: SOT 84646 SOS 59374 HAS SOPS 59374 HAS SOUS 29016 HAS SOUPS 29016 WITH SCORE 29075.374
AT ITER 187 NEW BEST:: SOT 84618 SOS 59346 HAS SOPS 59346 HAS SOUS 29008 HAS SOUPS 29008 WITH SCORE 29067.346
AT ITER 193 NEW BEST:: SOT 85128 SOS 59856 HAS SOPS 59856 HAS SOUS 28490 HAS SOUPS 28490 WITH SCORE 28549.856
AT ITER 206 NEW BEST:: SOT 85120 SOS 59848 HAS SOPS 59848 HAS SOUS 28470 HAS SOUPS 28470 WITH SCORE 28529.848
AT ITER 211 NEW BEST:: SOT 82374 SOS 57077 HAS SOPS 57077 HAS SOUS 26310 HAS SOUPS 26310 WITH SCORE 26367.077
AT ITER 222 NEW BEST:: SOT 82374 SOS 57077 HAS SOPS 57077 HAS SOUS 26207 HAS SOUPS 26207 WITH SCORE 26264.077
AT ITER 224 NEW BEST:: SOT 82419 SOS 57167 HAS SOPS 57167 HAS SOUS 26163 HAS SOUPS 26163 WITH SCORE 26220.167
AT ITER 232 NEW BEST:: SOT 82387 SOS 57124 HAS SOPS 57124 HAS SOUS 26066 HAS SOUPS 26066 WITH SCORE 26123.124
AT ITER 239 NEW BEST:: SOT 82401 SOS 57283 HAS SOPS 57283 HAS SOUS 26061 HAS SOUPS 26061 WITH SCORE 26118.283
AT ITER 241 NEW BEST:: SOT 82412 SOS 57294 HAS SOPS 57294 HAS SOUS 25903 HAS SOUPS 25903 WITH SCORE 25960.294
AT ITER 245 NEW BEST:: SOT 82412 SOS 57294 HAS SOPS 57294 HAS SOUS 25899 HAS SOUPS 25899 WITH SCORE 25956.294
AT ITER 246 NEW BEST:: SOT 82392 SOS 57274 HAS SOPS 57274 HAS SOUS 25867 HAS SOUPS 25867 WITH SCORE 25924.274
AT ITER 249 NEW BEST:: SOT 82392 SOS 57267 HAS SOPS 57267 HAS SOUS 25867 HAS SOUPS 25867 WITH SCORE 25924.267
AT ITER 256 NEW BEST:: SOT 82284 SOS 57159 HAS SOPS 57159 HAS SOUS 25575 HAS SOUPS 25575 WITH SCORE 25632.159
AT ITER 258 NEW BEST:: SOT 82284 SOS 57159 HAS SOPS 57159 HAS SOUS 25569 HAS SOUPS 25569 WITH SCORE 25626.159
AT ITER 260 NEW BEST:: SOT 82316 SOS 57218 HAS SOPS 57218 HAS SOUS 25192 HAS SOUPS 25192 WITH SCORE 25249.218
AT ITER 264 NEW BEST:: SOT 82314 SOS 57214 HAS SOPS 57214 HAS SOUS 25188 HAS SOUPS 25188 WITH SCORE 25245.214
AT ITER 272 NEW BEST:: SOT 82314 SOS 57214 HAS SOPS 57214 HAS SOUS 25156 HAS SOUPS 25156 WITH SCORE 25213.214
AT ITER 275 NEW BEST:: SOT 82281 SOS 57181 HAS SOPS 57181 HAS SOUS 25090 HAS SOUPS 25090 WITH SCORE 25147.181
AT ITER 277 NEW BEST:: SOT 82254 SOS 56895 HAS SOPS 56895 HAS SOUS 25071 HAS SOUPS 25071 WITH SCORE 25127.895
AT ITER 279 NEW BEST:: SOT 82221 SOS 56862 HAS SOPS 56862 HAS SOUS 25005 HAS SOUPS 25005 WITH SCORE 25061.862
AT ITER 284 NEW BEST:: SOT 82222 SOS 56860 HAS SOPS 56860 HAS SOUS 25003 HAS SOUPS 25003 WITH SCORE 25059.86
AT ITER 288 NEW BEST:: SOT 82205 SOS 56843 HAS SOPS 56843 HAS SOUS 24987 HAS SOUPS 24987 WITH SCORE 25043.843
AT ITER 295 NEW BEST:: SOT 82222 SOS 56920 HAS SOPS 56920 HAS SOUS 24962 HAS SOUPS 24962 WITH SCORE 25018.92
AT ITER 302 NEW BEST:: SOT 82219 SOS 56917 HAS SOPS 56917 HAS SOUS 24953 HAS SOUPS 24953 WITH SCORE 25009.917
AT ITER 315 NEW BEST:: SOT 82243 SOS 56941 HAS SOPS 56941 HAS SOUS 24772 HAS SOUPS 24772 WITH SCORE 24828.941
AT ITER 317 NEW BEST:: SOT 82221 SOS 56919 HAS SOPS 56919 HAS SOUS 24720 HAS SOUPS 24720 WITH SCORE 24776.919
AT ITER 319 NEW BEST:: SOT 82221 SOS 56914 HAS SOPS 56914 HAS SOUS 24715 HAS SOUPS 24715 WITH SCORE 24771.914
AT ITER 334 NEW BEST:: SOT 82221 SOS 56827 HAS SOPS 56827 HAS SOUS 24715 HAS SOUPS 24715 WITH SCORE 24771.827
AT ITER 336 NEW BEST:: SOT 82209 SOS 56815 HAS SOPS 56815 HAS SOUS 24708 HAS SOUPS 24708 WITH SCORE 24764.815
AT ITER 346 NEW BEST:: SOT 82168 SOS 56774 HAS SOPS 56774 HAS SOUS 24657 HAS SOUPS 24657 WITH SCORE 24713.774
AT ITER 348 NEW BEST:: SOT 81981 SOS 56679 HAS SOPS 56679 HAS SOUS 24500 HAS SOUPS 24500 WITH SCORE 24556.679
AT ITER 350 NEW BEST:: SOT 81891 SOS 56229 HAS SOPS 56229 HAS SOUS 24406 HAS SOUPS 24406 WITH SCORE 24462.229
AT ITER 353 NEW BEST:: SOT 81838 SOS 56133 HAS SOPS 56133 HAS SOUS 24386 HAS SOUPS 24386 WITH SCORE 24442.133
AT ITER 371 NEW BEST:: SOT 81836 SOS 56123 HAS SOPS 56123 HAS SOUS 24382 HAS SOUPS 24382 WITH SCORE 24438.123
AT ITER 373 NEW BEST:: SOT 81821 SOS 56108 HAS SOPS 56108 HAS SOUS 24377 HAS SOUPS 24377 WITH SCORE 24433.108
AT ITER 385 NEW BEST:: SOT 81870 SOS 56157 HAS SOPS 56157 HAS SOUS 24275 HAS SOUPS 24275 WITH SCORE 24331.157
AT ITER 387 NEW BEST:: SOT 81894 SOS 56056 HAS SOPS 56056 HAS SOUS 24261 HAS SOUPS 24261 WITH SCORE 24317.056
AT ITER 392 NEW BEST:: SOT 81889 SOS 56046 HAS SOPS 56046 HAS SOUS 24256 HAS SOUPS 24256 WITH SCORE 24312.046
AT ITER 401 NEW BEST:: SOT 81846 SOS 55936 HAS SOPS 55936 HAS SOUS 24213 HAS SOUPS 24213 WITH SCORE 24268.936
AT ITER 404 NEW BEST:: SOT 81764 SOS 55823 HAS SOPS 55823 HAS SOUS 24080 HAS SOUPS 24080 WITH SCORE 24135.823
AT ITER 407 NEW BEST:: SOT 81763 SOS 55821 HAS SOPS 55821 HAS SOUS 24079 HAS SOUPS 24079 WITH SCORE 24134.821
AT ITER 413 NEW BEST:: SOT 81749 SOS 55807 HAS SOPS 55807 HAS SOUS 24015 HAS SOUPS 24015 WITH SCORE 24070.807
AT ITER 422 NEW BEST:: SOT 81697 SOS 55794 HAS SOPS 55794 HAS SOUS 24015 HAS SOUPS 24015 WITH SCORE 24070.794
AT ITER 436 NEW BEST:: SOT 81647 SOS 55623 HAS SOPS 55623 HAS SOUS 23940 HAS SOUPS 23940 WITH SCORE 23995.623
AT ITER 437 NEW BEST:: SOT 81645 SOS 55619 HAS SOPS 55619 HAS SOUS 23936 HAS SOUPS 23936 WITH SCORE 23991.619
AT ITER 438 NEW BEST:: SOT 81630 SOS 55589 HAS SOPS 55589 HAS SOUS 23906 HAS SOUPS 23906 WITH SCORE 23961.589
AT ITER 442 NEW BEST:: SOT 81639 SOS 55607 HAS SOPS 55607 HAS SOUS 23888 HAS SOUPS 23888 WITH SCORE 23943.607
AT ITER 444 NEW BEST:: SOT 81638 SOS 55605 HAS SOPS 55605 HAS SOUS 23887 HAS SOUPS 23887 WITH SCORE 23942.605
AT ITER 460 NEW BEST:: SOT 81557 SOS 54695 HAS SOPS 54695 HAS SOUS 23823 HAS SOUPS 23823 WITH SCORE 23877.695
AT ITER 464 NEW BEST:: SOT 81572 SOS 54741 HAS SOPS 54741 HAS SOUS 23804 HAS SOUPS 23804 WITH SCORE 23858.741
AT ITER 472 NEW BEST:: SOT 81571 SOS 54753 HAS SOPS 54753 HAS SOUS 23789 HAS SOUPS 23789 WITH SCORE 23843.753
AT ITER 475 NEW BEST:: SOT 81643 SOS 54748 HAS SOPS 54748 HAS SOUS 23778 HAS SOUPS 23778 WITH SCORE 23832.748
AT ITER 476 NEW BEST:: SOT 81631 SOS 54736 HAS SOPS 54736 HAS SOUS 23754 HAS SOUPS 23754 WITH SCORE 23808.736
AT ITER 479 NEW BEST:: SOT 81607 SOS 54712 HAS SOPS 54712 HAS SOUS 23734 HAS SOUPS 23734 WITH SCORE 23788.712
AT ITER 481 NEW BEST:: SOT 81602 SOS 54707 HAS SOPS 54707 HAS SOUS 23714 HAS SOUPS 23714 WITH SCORE 23768.707
AT ITER 487 NEW BEST:: SOT 81608 SOS 54720 HAS SOPS 54720 HAS SOUS 23710 HAS SOUPS 23710 WITH SCORE 23764.72
AT ITER 490 NEW BEST:: SOT 81575 SOS 54753 HAS SOPS 54753 HAS SOUS 23706 HAS SOUPS 23706 WITH SCORE 23760.753
AT ITER 492 NEW BEST:: SOT 81626 SOS 54804 HAS SOPS 54804 HAS SOUS 23575 HAS SOUPS 23575 WITH SCORE 23629.804
AT ITER 493 NEW BEST:: SOT 81503 SOS 54681 HAS SOPS 54681 HAS SOUS 23482 HAS SOUPS 23482 WITH SCORE 23536.681
AT ITER 503 NEW BEST:: SOT 81503 SOS 54681 HAS SOPS 54681 HAS SOUS 23481 HAS SOUPS 23481 WITH SCORE 23535.681
AT ITER 506 NEW BEST:: SOT 81447 SOS 54713 HAS SOPS 54713 HAS SOUS 23389 HAS SOUPS 23389 WITH SCORE 23443.713
AT ITER 507 NEW BEST:: SOT 81447 SOS 54713 HAS SOPS 54713 HAS SOUS 23382 HAS SOUPS 23382 WITH SCORE 23436.713
AT ITER 510 NEW BEST:: SOT 81445 SOS 54711 HAS SOPS 54711 HAS SOUS 23371 HAS SOUPS 23371 WITH SCORE 23425.711
AT ITER 511 NEW BEST:: SOT 81458 SOS 54807 HAS SOPS 54807 HAS SOUS 23360 HAS SOUPS 23360 WITH SCORE 23414.807
AT ITER 516 NEW BEST:: SOT 81430 SOS 54519 HAS SOPS 54519 HAS SOUS 23295 HAS SOUPS 23295 WITH SCORE 23349.519
AT ITER 520 NEW BEST:: SOT 81447 SOS 45290 HAS SOPS 45290 HAS SOUS 23210 HAS SOUPS 23210 WITH SCORE 23255.29
AT ITER 528 NEW BEST:: SOT 81429 SOS 44998 HAS SOPS 44998 HAS SOUS 23082 HAS SOUPS 23082 WITH SCORE 23126.998
AT ITER 531 NEW BEST:: SOT 81509 SOS 45330 HAS SOPS 45330 HAS SOUS 23016 HAS SOUPS 23016 WITH SCORE 23061.33
AT ITER 535 NEW BEST:: SOT 81503 SOS 45324 HAS SOPS 45324 HAS SOUS 23004 HAS SOUPS 23004 WITH SCORE 23049.324
AT ITER 541 NEW BEST:: SOT 81460 SOS 45285 HAS SOPS 45285 HAS SOUS 22890 HAS SOUPS 22890 WITH SCORE 22935.285
AT ITER 552 NEW BEST:: SOT 81460 SOS 45315 HAS SOPS 45315 HAS SOUS 22833 HAS SOUPS 22833 WITH SCORE 22878.315
AT ITER 556 NEW BEST:: SOT 81460 SOS 45309 HAS SOPS 45309 HAS SOUS 22833 HAS SOUPS 22833 WITH SCORE 22878.309
AT ITER 557 NEW BEST:: SOT 81440 SOS 45266 HAS SOPS 45266 HAS SOUS 22819 HAS SOUPS 22819 WITH SCORE 22864.266
AT ITER 572 NEW BEST:: SOT 81443 SOS 45269 HAS SOPS 45269 HAS SOUS 22816 HAS SOUPS 22816 WITH SCORE 22861.269
AT ITER 576 NEW BEST:: SOT 81512 SOS 45338 HAS SOPS 45338 HAS SOUS 22776 HAS SOUPS 22776 WITH SCORE 22821.338
AT ITER 608 NEW BEST:: SOT 81694 SOS 45617 HAS SOPS 45617 HAS SOUS 22758 HAS SOUPS 22758 WITH SCORE 22803.617
AT ITER 611 NEW BEST:: SOT 81634 SOS 45118 HAS SOPS 45118 HAS SOUS 22625 HAS SOUPS 22625 WITH SCORE 22670.118
AT ITER 615 NEW BEST:: SOT 81592 SOS 44998 HAS SOPS 44998 HAS SOUS 22590 HAS SOUPS 22590 WITH SCORE 22634.998
AT ITER 617 NEW BEST:: SOT 81568 SOS 45016 HAS SOPS 45016 HAS SOUS 22536 HAS SOUPS 22536 WITH SCORE 22581.016
AT ITER 636 NEW BEST:: SOT 81528 SOS 44936 HAS SOPS 44936 HAS SOUS 22456 HAS SOUPS 22456 WITH SCORE 22500.936
AT ITER 639 NEW BEST:: SOT 81528 SOS 44924 HAS SOPS 44924 HAS SOUS 22456 HAS SOUPS 22456 WITH SCORE 22500.924
AT ITER 644 NEW BEST:: SOT 81541 SOS 44933 HAS SOPS 44933 HAS SOUS 22426 HAS SOUPS 22426 WITH SCORE 22470.933
AT ITER 646 NEW BEST:: SOT 81489 SOS 44812 HAS SOPS 44812 HAS SOUS 22417 HAS SOUPS 22417 WITH SCORE 22461.812
AT ITER 650 NEW BEST:: SOT 81466 SOS 44874 HAS SOPS 44874 HAS SOUS 22367 HAS SOUPS 22367 WITH SCORE 22411.874
AT ITER 663 NEW BEST:: SOT 80952 SOS 45140 HAS SOPS 45140 HAS SOUS 22128 HAS SOUPS 22128 WITH SCORE 22173.14
AT ITER 668 NEW BEST:: SOT 80862 SOS 44806 HAS SOPS 44806 HAS SOUS 22020 HAS SOUPS 22020 WITH SCORE 22064.806
AT ITER 675 NEW BEST:: SOT 80835 SOS 44727 HAS SOPS 44727 HAS SOUS 21939 HAS SOUPS 21939 WITH SCORE 21983.727
AT ITER 676 NEW BEST:: SOT 80803 SOS 44695 HAS SOPS 44695 HAS SOUS 21875 HAS SOUPS 21875 WITH SCORE 21919.695
AT ITER 688 NEW BEST:: SOT 80817 SOS 44709 HAS SOPS 44709 HAS SOUS 21849 HAS SOUPS 21849 WITH SCORE 21893.709
AT ITER 708 NEW BEST:: SOT 80906 SOS 44798 HAS SOPS 44798 HAS SOUS 21737 HAS SOUPS 21737 WITH SCORE 21781.798
AT ITER 709 NEW BEST:: SOT 80860 SOS 44752 HAS SOPS 44752 HAS SOUS 21691 HAS SOUPS 21691 WITH SCORE 21735.752
AT ITER 710 NEW BEST:: SOT 80780 SOS 44426 HAS SOPS 44426 HAS SOUS 21591 HAS SOUPS 21591 WITH SCORE 21635.426
AT ITER 720 NEW BEST:: SOT 80755 SOS 44401 HAS SOPS 44401 HAS SOUS 21499 HAS SOUPS 21499 WITH SCORE 21543.401
AT ITER 721 NEW BEST:: SOT 80733 SOS 44379 HAS SOPS 44379 HAS SOUS 21471 HAS SOUPS 21471 WITH SCORE 21515.379
AT ITER 724 NEW BEST:: SOT 80804 SOS 44467 HAS SOPS 44467 HAS SOUS 21284 HAS SOUPS 21284 WITH SCORE 21328.467
AT ITER 730 NEW BEST:: SOT 80826 SOS 44450 HAS SOPS 44450 HAS SOUS 21199 HAS SOUPS 21199 WITH SCORE 21243.45
AT ITER 734 NEW BEST:: SOT 80791 SOS 44418 HAS SOPS 44418 HAS SOUS 21142 HAS SOUPS 21142 WITH SCORE 21186.418
AT ITER 736 NEW BEST:: SOT 80812 SOS 51527 HAS SOPS 51527 HAS SOUS 21131 HAS SOUPS 21131 WITH SCORE 21182.527
AT ITER 738 NEW BEST:: SOT 80812 SOS 51520 HAS SOPS 51520 HAS SOUS 21124 HAS SOUPS 21124 WITH SCORE 21175.52
AT ITER 742 NEW BEST:: SOT 80794 SOS 51502 HAS SOPS 51502 HAS SOUS 21080 HAS SOUPS 21080 WITH SCORE 21131.502
AT ITER 744 NEW BEST:: SOT 80615 SOS 52341 HAS SOPS 52341 HAS SOUS 21041 HAS SOUPS 21041 WITH SCORE 21093.341
AT ITER 752 NEW BEST:: SOT 80615 SOS 52341 HAS SOPS 52341 HAS SOUS 21039 HAS SOUPS 21039 WITH SCORE 21091.341
AT ITER 783 NEW BEST:: SOT 80587 SOS 52313 HAS SOPS 52313 HAS SOUS 20890 HAS SOUPS 20890 WITH SCORE 20942.313
AT ITER 815 NEW BEST:: SOT 80574 SOS 52300 HAS SOPS 52300 HAS SOUS 20825 HAS SOUPS 20825 WITH SCORE 20877.3
AT ITER 828 NEW BEST:: SOT 80568 SOS 52378 HAS SOPS 52378 HAS SOUS 20819 HAS SOUPS 20819 WITH SCORE 20871.378
AT ITER 835 NEW BEST:: SOT 80589 SOS 52399 HAS SOPS 52399 HAS SOUS 20804 HAS SOUPS 20804 WITH SCORE 20856.399
AT ITER 837 NEW BEST:: SOT 80569 SOS 52379 HAS SOPS 52379 HAS SOUS 20756 HAS SOUPS 20756 WITH SCORE 20808.379
AT ITER 849 NEW BEST:: SOT 80552 SOS 52362 HAS SOPS 52362 HAS SOUS 20686 HAS SOUPS 20686 WITH SCORE 20738.362
AT ITER 868 NEW BEST:: SOT 80516 SOS 52326 HAS SOPS 52326 HAS SOUS 20614 HAS SOUPS 20614 WITH SCORE 20666.326
AT ITER 872 NEW BEST:: SOT 80410 SOS 51500 HAS SOPS 51500 HAS SOUS 20591 HAS SOUPS 20591 WITH SCORE 20642.5
AT ITER 885 NEW BEST:: SOT 80428 SOS 51518 HAS SOPS 51518 HAS SOUS 20573 HAS SOUPS 20573 WITH SCORE 20624.518
AT ITER 888 NEW BEST:: SOT 80397 SOS 51456 HAS SOPS 51456 HAS SOUS 20542 HAS SOUPS 20542 WITH SCORE 20593.456
AT ITER 891 NEW BEST:: SOT 80376 SOS 51386 HAS SOPS 51386 HAS SOUS 20518 HAS SOUPS 20518 WITH SCORE 20569.386
AT ITER 897 NEW BEST:: SOT 80353 SOS 51363 HAS SOPS 51363 HAS SOUS 20508 HAS SOUPS 20508 WITH SCORE 20559.363
AT ITER 898 NEW BEST:: SOT 80388 SOS 51433 HAS SOPS 51433 HAS SOUS 20368 HAS SOUPS 20368 WITH SCORE 20419.433
AT ITER 903 NEW BEST:: SOT 80382 SOS 51458 HAS SOPS 51458 HAS SOUS 20362 HAS SOUPS 20362 WITH SCORE 20413.458
AT ITER 907 NEW BEST:: SOT 80332 SOS 51386 HAS SOPS 51386 HAS SOUS 20301 HAS SOUPS 20301 WITH SCORE 20352.386
AT ITER 910 NEW BEST:: SOT 80328 SOS 51382 HAS SOPS 51382 HAS SOUS 20293 HAS SOUPS 20293 WITH SCORE 20344.382
AT ITER 911 NEW BEST:: SOT 80320 SOS 51432 HAS SOPS 51432 HAS SOUS 20225 HAS SOUPS 20225 WITH SCORE 20276.432
AT ITER 912 NEW BEST:: SOT 80375 SOS 51319 HAS SOPS 51319 HAS SOUS 20210 HAS SOUPS 20210 WITH SCORE 20261.319
AT ITER 921 NEW BEST:: SOT 80375 SOS 51268 HAS SOPS 51268 HAS SOUS 20193 HAS SOUPS 20193 WITH SCORE 20244.268
AT ITER 922 NEW BEST:: SOT 80310 SOS 51203 HAS SOPS 51203 HAS SOUS 20061 HAS SOUPS 20061 WITH SCORE 20112.203
AT ITER 930 NEW BEST:: SOT 80253 SOS 51146 HAS SOPS 51146 HAS SOUS 20001 HAS SOUPS 20001 WITH SCORE 20052.146
AT ITER 935 NEW BEST:: SOT 80225 SOS 49653 HAS SOPS 49653 HAS SOUS 19991 HAS SOUPS 19991 WITH SCORE 20040.653
AT ITER 951 NEW BEST:: SOT 80183 SOS 49611 HAS SOPS 49611 HAS SOUS 19916 HAS SOUPS 19916 WITH SCORE 19965.611
AT ITER 953 NEW BEST:: SOT 80083 SOS 49143 HAS SOPS 49143 HAS SOUS 19754 HAS SOUPS 19754 WITH SCORE 19803.143
AT ITER 955 NEW BEST:: SOT 80138 SOS 49198 HAS SOPS 49198 HAS SOUS 19688 HAS SOUPS 19688 WITH SCORE 19737.198
AT ITER 957 NEW BEST:: SOT 80136 SOS 44069 HAS SOPS 44069 HAS SOUS 19627 HAS SOUPS 19627 WITH SCORE 19671.069
AT ITER 976 NEW BEST:: SOT 80141 SOS 44003 HAS SOPS 44003 HAS SOUS 19609 HAS SOUPS 19609 WITH SCORE 19653.003
AT ITER 978 NEW BEST:: SOT 80091 SOS 43645 HAS SOPS 43645 HAS SOUS 19589 HAS SOUPS 19589 WITH SCORE 19632.645
AT ITER 991 NEW BEST:: SOT 80074 SOS 43611 HAS SOPS 43611 HAS SOUS 19572 HAS SOUPS 19572 WITH SCORE 19615.611
AT ITER 1003 NEW BEST:: SOT 80002 SOS 44860 HAS SOPS 44860 HAS SOUS 19539 HAS SOUPS 19539 WITH SCORE 19583.86
AT ITER 1032 NEW BEST:: SOT 80002 SOS 44860 HAS SOPS 44860 HAS SOUS 19537 HAS SOUPS 19537 WITH SCORE 19581.86
AT ITER 1035 NEW BEST:: SOT 80007 SOS 44866 HAS SOPS 44866 HAS SOUS 19535 HAS SOUPS 19535 WITH SCORE 19579.866
AT ITER 1049 NEW BEST:: SOT 79986 SOS 44845 HAS SOPS 44845 HAS SOUS 19493 HAS SOUPS 19493 WITH SCORE 19537.845
AT ITER 1056 NEW BEST:: SOT 79986 SOS 44845 HAS SOPS 44845 HAS SOUS 19478 HAS SOUPS 19478 WITH SCORE 19522.845
AT ITER 1062 NEW BEST:: SOT 79986 SOS 44845 HAS SOPS 44845 HAS SOUS 19474 HAS SOUPS 19474 WITH SCORE 19518.845
AT ITER 1063 NEW BEST:: SOT 79986 SOS 44831 HAS SOPS 44831 HAS SOUS 19467 HAS SOUPS 19467 WITH SCORE 19511.831
AT ITER 1074 NEW BEST:: SOT 79929 SOS 44774 HAS SOPS 44774 HAS SOUS 19459 HAS SOUPS 19459 WITH SCORE 19503.774
AT ITER 1075 NEW BEST:: SOT 79929 SOS 44774 HAS SOPS 44774 HAS SOUS 19455 HAS SOUPS 19455 WITH SCORE 19499.774
AT ITER 1083 NEW BEST:: SOT 79914 SOS 44759 HAS SOPS 44759 HAS SOUS 19426 HAS SOUPS 19426 WITH SCORE 19470.759
AT ITER 1089 NEW BEST:: SOT 79925 SOS 44722 HAS SOPS 44722 HAS SOUS 19351 HAS SOUPS 19351 WITH SCORE 19395.722
AT ITER 1094 NEW BEST:: SOT 79875 SOS 44671 HAS SOPS 44671 HAS SOUS 19240 HAS SOUPS 19240 WITH SCORE 19284.671
AT ITER 1103 NEW BEST:: SOT 79788 SOS 44584 HAS SOPS 44584 HAS SOUS 19066 HAS SOUPS 19066 WITH SCORE 19110.584
AT ITER 1109 NEW BEST:: SOT 79660 SOS 44397 HAS SOPS 44397 HAS SOUS 18938 HAS SOUPS 18938 WITH SCORE 18982.397
AT ITER 1111 NEW BEST:: SOT 79655 SOS 44387 HAS SOPS 44387 HAS SOUS 18928 HAS SOUPS 18928 WITH SCORE 18972.387
AT ITER 1114 NEW BEST:: SOT 79654 SOS 44361 HAS SOPS 44361 HAS SOUS 18927 HAS SOUPS 18927 WITH SCORE 18971.361
AT ITER 1138 NEW BEST:: SOT 79654 SOS 44361 HAS SOPS 44361 HAS SOUS 18921 HAS SOUPS 18921 WITH SCORE 18965.361
AT ITER 1141 NEW BEST:: SOT 79641 SOS 44348 HAS SOPS 44348 HAS SOUS 18811 HAS SOUPS 18811 WITH SCORE 18855.348
AT ITER 1142 NEW BEST:: SOT 79607 SOS 44368 HAS SOPS 44368 HAS SOUS 18743 HAS SOUPS 18743 WITH SCORE 18787.368
AT ITER 1143 NEW BEST:: SOT 79619 SOS 44495 HAS SOPS 44495 HAS SOUS 18737 HAS SOUPS 18737 WITH SCORE 18781.495
AT ITER 1151 NEW BEST:: SOT 79618 SOS 44494 HAS SOPS 44494 HAS SOUS 18735 HAS SOUPS 18735 WITH SCORE 18779.494
AT ITER 1155 NEW BEST:: SOT 79608 SOS 44540 HAS SOPS 44540 HAS SOUS 18702 HAS SOUPS 18702 WITH SCORE 18746.54
AT ITER 1158 NEW BEST:: SOT 79600 SOS 44395 HAS SOPS 44395 HAS SOUS 18690 HAS SOUPS 18690 WITH SCORE 18734.395
AT ITER 1162 NEW BEST:: SOT 79582 SOS 44377 HAS SOPS 44377 HAS SOUS 18654 HAS SOUPS 18654 WITH SCORE 18698.377
AT ITER 1173 NEW BEST:: SOT 79564 SOS 44341 HAS SOPS 44341 HAS SOUS 18618 HAS SOUPS 18618 WITH SCORE 18662.341
AT ITER 1207 NEW BEST:: SOT 79561 SOS 44368 HAS SOPS 44368 HAS SOUS 18615 HAS SOUPS 18615 WITH SCORE 18659.368
AT ITER 1212 NEW BEST:: SOT 79370 SOS 44230 HAS SOPS 44230 HAS SOUS 18363 HAS SOUPS 18363 WITH SCORE 18407.23
AT ITER 1214 NEW BEST:: SOT 79366 SOS 44226 HAS SOPS 44226 HAS SOUS 18355 HAS SOUPS 18355 WITH SCORE 18399.226
AT ITER 1225 NEW BEST:: SOT 79369 SOS 44229 HAS SOPS 44229 HAS SOUS 18346 HAS SOUPS 18346 WITH SCORE 18390.229
AT ITER 1236 NEW BEST:: SOT 79365 SOS 44253 HAS SOPS 44253 HAS SOUS 18338 HAS SOUPS 18338 WITH SCORE 18382.253
AT ITER 1237 NEW BEST:: SOT 79354 SOS 44242 HAS SOPS 44242 HAS SOUS 18338 HAS SOUPS 18338 WITH SCORE 18382.242
AT ITER 1240 NEW BEST:: SOT 79366 SOS 44409 HAS SOPS 44409 HAS SOUS 18311 HAS SOUPS 18311 WITH SCORE 18355.409
AT ITER 1244 NEW BEST:: SOT 79364 SOS 44399 HAS SOPS 44399 HAS SOUS 18309 HAS SOUPS 18309 WITH SCORE 18353.399
AT ITER 1245 NEW BEST:: SOT 79367 SOS 44402 HAS SOPS 44402 HAS SOUS 18287 HAS SOUPS 18287 WITH SCORE 18331.402
AT ITER 1249 NEW BEST:: SOT 79372 SOS 44334 HAS SOPS 44334 HAS SOUS 18266 HAS SOUPS 18266 WITH SCORE 18310.334
AT ITER 1261 NEW BEST:: SOT 79373 SOS 44330 HAS SOPS 44330 HAS SOUS 18260 HAS SOUPS 18260 WITH SCORE 18304.33
AT ITER 1262 NEW BEST:: SOT 79373 SOS 44321 HAS SOPS 44321 HAS SOUS 18242 HAS SOUPS 18242 WITH SCORE 18286.321
AT ITER 1263 NEW BEST:: SOT 79373 SOS 44681 HAS SOPS 44681 HAS SOUS 18152 HAS SOUPS 18152 WITH SCORE 18196.681
AT ITER 1264 NEW BEST:: SOT 79367 SOS 44741 HAS SOPS 44741 HAS SOUS 18128 HAS SOUPS 18128 WITH SCORE 18172.741
AT ITER 1273 NEW BEST:: SOT 79372 SOS 44718 HAS SOPS 44718 HAS SOUS 18126 HAS SOUPS 18126 WITH SCORE 18170.718
AT ITER 1281 NEW BEST:: SOT 79402 SOS 44748 HAS SOPS 44748 HAS SOUS 18115 HAS SOUPS 18115 WITH SCORE 18159.748
AT ITER 1284 NEW BEST:: SOT 79378 SOS 44757 HAS SOPS 44757 HAS SOUS 18062 HAS SOUPS 18062 WITH SCORE 18106.757
AT ITER 1286 NEW BEST:: SOT 79390 SOS 44826 HAS SOPS 44826 HAS SOUS 18045 HAS SOUPS 18045 WITH SCORE 18089.826
AT ITER 1291 NEW BEST:: SOT 79385 SOS 44800 HAS SOPS 44800 HAS SOUS 18008 HAS SOUPS 18008 WITH SCORE 18052.8
AT ITER 1298 NEW BEST:: SOT 79386 SOS 44801 HAS SOPS 44801 HAS SOUS 18007 HAS SOUPS 18007 WITH SCORE 18051.801
AT ITER 1305 NEW BEST:: SOT 79370 SOS 44785 HAS SOPS 44785 HAS SOUS 17985 HAS SOUPS 17985 WITH SCORE 18029.785
AT ITER 1322 NEW BEST:: SOT 79368 SOS 44783 HAS SOPS 44783 HAS SOUS 17973 HAS SOUPS 17973 WITH SCORE 18017.783
AT ITER 1340 NEW BEST:: SOT 79340 SOS 44827 HAS SOPS 44827 HAS SOUS 17933 HAS SOUPS 17933 WITH SCORE 17977.827
AT ITER 1356 NEW BEST:: SOT 79481 SOS 44968 HAS SOPS 44968 HAS SOUS 17898 HAS SOUPS 17898 WITH SCORE 17942.968
AT ITER 1367 NEW BEST:: SOT 79373 SOS 46079 HAS SOPS 46079 HAS SOUS 17821 HAS SOUPS 17821 WITH SCORE 17867.079
AT ITER 1373 NEW BEST:: SOT 79372 SOS 46078 HAS SOPS 46078 HAS SOUS 17810 HAS SOUPS 17810 WITH SCORE 17856.078
AT ITER 1374 NEW BEST:: SOT 79374 SOS 46080 HAS SOPS 46080 HAS SOUS 17806 HAS SOUPS 17806 WITH SCORE 17852.08
AT ITER 1389 NEW BEST:: SOT 79102 SOS 45924 HAS SOPS 45924 HAS SOUS 17520 HAS SOUPS 17520 WITH SCORE 17565.924
AT ITER 1406 NEW BEST:: SOT 79102 SOS 45924 HAS SOPS 45924 HAS SOUS 17510 HAS SOUPS 17510 WITH SCORE 17555.924
AT ITER 1410 NEW BEST:: SOT 79102 SOS 45849 HAS SOPS 45849 HAS SOUS 17510 HAS SOUPS 17510 WITH SCORE 17555.849
AT ITER 1417 NEW BEST:: SOT 79098 SOS 45845 HAS SOPS 45845 HAS SOUS 17504 HAS SOUPS 17504 WITH SCORE 17549.845
AT ITER 1429 NEW BEST:: SOT 79077 SOS 45824 HAS SOPS 45824 HAS SOUS 17456 HAS SOUPS 17456 WITH SCORE 17501.824
AT ITER 1445 NEW BEST:: SOT 79075 SOS 45820 HAS SOPS 45820 HAS SOUS 17454 HAS SOUPS 17454 WITH SCORE 17499.82
AT ITER 1451 NEW BEST:: SOT 79073 SOS 45818 HAS SOPS 45818 HAS SOUS 17454 HAS SOUPS 17454 WITH SCORE 17499.818
AT ITER 1457 NEW BEST:: SOT 79058 SOS 45803 HAS SOPS 45803 HAS SOUS 17424 HAS SOUPS 17424 WITH SCORE 17469.803
AT ITER 1464 NEW BEST:: SOT 79035 SOS 45619 HAS SOPS 45619 HAS SOUS 17407 HAS SOUPS 17407 WITH SCORE 17452.619
AT ITER 1466 NEW BEST:: SOT 79038 SOS 45622 HAS SOPS 45622 HAS SOUS 17398 HAS SOUPS 17398 WITH SCORE 17443.622
AT ITER 1478 NEW BEST:: SOT 79015 SOS 45578 HAS SOPS 45578 HAS SOUS 17392 HAS SOUPS 17392 WITH SCORE 17437.578
AT ITER 1480 NEW BEST:: SOT 78964 SOS 45527 HAS SOPS 45527 HAS SOUS 17386 HAS SOUPS 17386 WITH SCORE 17431.527
AT ITER 1488 NEW BEST:: SOT 78970 SOS 45533 HAS SOPS 45533 HAS SOUS 17374 HAS SOUPS 17374 WITH SCORE 17419.533
AT ITER 1509 NEW BEST:: SOT 78962 SOS 45525 HAS SOPS 45525 HAS SOUS 17358 HAS SOUPS 17358 WITH SCORE 17403.525
AT ITER 1535 NEW BEST:: SOT 78962 SOS 45525 HAS SOPS 45525 HAS SOUS 17354 HAS SOUPS 17354 WITH SCORE 17399.525
AT ITER 1538 NEW BEST:: SOT 79039 SOS 45602 HAS SOPS 45602 HAS SOUS 17347 HAS SOUPS 17347 WITH SCORE 17392.602
AT ITER 1566 NEW BEST:: SOT 79164 SOS 45727 HAS SOPS 45727 HAS SOUS 17330 HAS SOUPS 17330 WITH SCORE 17375.727
AT ITER 1567 NEW BEST:: SOT 79175 SOS 45468 HAS SOPS 45468 HAS SOUS 17284 HAS SOUPS 17284 WITH SCORE 17329.468
AT ITER 1575 NEW BEST:: SOT 79172 SOS 45465 HAS SOPS 45465 HAS SOUS 17278 HAS SOUPS 17278 WITH SCORE 17323.465
AT ITER 1576 NEW BEST:: SOT 79191 SOS 45539 HAS SOPS 45539 HAS SOUS 17261 HAS SOUPS 17261 WITH SCORE 17306.539
AT ITER 1613 NEW BEST:: SOT 79191 SOS 45540 HAS SOPS 45540 HAS SOUS 17260 HAS SOUPS 17260 WITH SCORE 17305.54
AT ITER 1617 NEW BEST:: SOT 79168 SOS 45517 HAS SOPS 45517 HAS SOUS 17231 HAS SOUPS 17231 WITH SCORE 17276.517
AT ITER 1622 NEW BEST:: SOT 79140 SOS 45269 HAS SOPS 45269 HAS SOUS 17230 HAS SOUPS 17230 WITH SCORE 17275.269
AT ITER 1623 NEW BEST:: SOT 79187 SOS 45484 HAS SOPS 45484 HAS SOUS 17156 HAS SOUPS 17156 WITH SCORE 17201.484
AT ITER 1627 NEW BEST:: SOT 79187 SOS 45478 HAS SOPS 45478 HAS SOUS 17150 HAS SOUPS 17150 WITH SCORE 17195.478
AT ITER 1652 NEW BEST:: SOT 79164 SOS 45432 HAS SOPS 45432 HAS SOUS 17081 HAS SOUPS 17081 WITH SCORE 17126.432
AT ITER 1656 NEW BEST:: SOT 79156 SOS 45440 HAS SOPS 45440 HAS SOUS 17065 HAS SOUPS 17065 WITH SCORE 17110.44
AT ITER 1658 NEW BEST:: SOT 79156 SOS 45440 HAS SOPS 45440 HAS SOUS 17060 HAS SOUPS 17060 WITH SCORE 17105.44
AT ITER 1703 NEW BEST:: SOT 79086 SOS 45370 HAS SOPS 45370 HAS SOUS 16862 HAS SOUPS 16862 WITH SCORE 16907.37
AT ITER 1715 NEW BEST:: SOT 79059 SOS 45343 HAS SOPS 45343 HAS SOUS 16762 HAS SOUPS 16762 WITH SCORE 16807.343
AT ITER 1732 NEW BEST:: SOT 79056 SOS 45380 HAS SOPS 45380 HAS SOUS 16751 HAS SOUPS 16751 WITH SCORE 16796.38
AT ITER 1742 NEW BEST:: SOT 79044 SOS 45368 HAS SOPS 45368 HAS SOUS 16703 HAS SOUPS 16703 WITH SCORE 16748.368
AT ITER 1771 NEW BEST:: SOT 79040 SOS 45364 HAS SOPS 45364 HAS SOUS 16698 HAS SOUPS 16698 WITH SCORE 16743.364
AT ITER 1772 NEW BEST:: SOT 79037 SOS 45358 HAS SOPS 45358 HAS SOUS 16692 HAS SOUPS 16692 WITH SCORE 16737.358
AT ITER 1784 NEW BEST:: SOT 79024 SOS 45345 HAS SOPS 45345 HAS SOUS 16690 HAS SOUPS 16690 WITH SCORE 16735.345
AT ITER 1793 NEW BEST:: SOT 79022 SOS 45343 HAS SOPS 45343 HAS SOUS 16686 HAS SOUPS 16686 WITH SCORE 16731.343
AT ITER 1797 NEW BEST:: SOT 78968 SOS 45215 HAS SOPS 45215 HAS SOUS 16652 HAS SOUPS 16652 WITH SCORE 16697.215
AT ITER 1828 NEW BEST:: SOT 78968 SOS 45223 HAS SOPS 45223 HAS SOUS 16650 HAS SOUPS 16650 WITH SCORE 16695.223
AT ITER 1837 NEW BEST:: SOT 78955 SOS 45210 HAS SOPS 45210 HAS SOUS 16642 HAS SOUPS 16642 WITH SCORE 16687.21
AT ITER 1838 NEW BEST:: SOT 78940 SOS 45105 HAS SOPS 45105 HAS SOUS 16627 HAS SOUPS 16627 WITH SCORE 16672.105
AT ITER 1848 NEW BEST:: SOT 78786 SOS 44951 HAS SOPS 44951 HAS SOUS 16493 HAS SOUPS 16493 WITH SCORE 16537.951
AT ITER 1852 NEW BEST:: SOT 78779 SOS 44944 HAS SOPS 44944 HAS SOUS 16488 HAS SOUPS 16488 WITH SCORE 16532.944
AT ITER 1854 NEW BEST:: SOT 78749 SOS 44844 HAS SOPS 44844 HAS SOUS 16423 HAS SOUPS 16423 WITH SCORE 16467.844
AT ITER 1856 NEW BEST:: SOT 78742 SOS 44830 HAS SOPS 44830 HAS SOUS 16416 HAS SOUPS 16416 WITH SCORE 16460.83
AT ITER 1870 NEW BEST:: SOT 78702 SOS 44790 HAS SOPS 44790 HAS SOUS 16392 HAS SOUPS 16392 WITH SCORE 16436.79
AT ITER 1883 NEW BEST:: SOT 78697 SOS 44669 HAS SOPS 44669 HAS SOUS 16374 HAS SOUPS 16374 WITH SCORE 16418.669
AT ITER 1895 NEW BEST:: SOT 78690 SOS 44662 HAS SOPS 44662 HAS SOUS 16362 HAS SOUPS 16362 WITH SCORE 16406.662
AT ITER 1902 NEW BEST:: SOT 78663 SOS 44389 HAS SOPS 44389 HAS SOUS 16362 HAS SOUPS 16362 WITH SCORE 16406.389
AT ITER 1928 NEW BEST:: SOT 78658 SOS 44399 HAS SOPS 44399 HAS SOUS 16357 HAS SOUPS 16357 WITH SCORE 16401.399
AT ITER 1930 NEW BEST:: SOT 78639 SOS 44399 HAS SOPS 44399 HAS SOUS 16338 HAS SOUPS 16338 WITH SCORE 16382.399
AT ITER 1931 NEW BEST:: SOT 78619 SOS 44379 HAS SOPS 44379 HAS SOUS 16263 HAS SOUPS 16263 WITH SCORE 16307.379
AT ITER 1983 NEW BEST:: SOT 78576 SOS 44306 HAS SOPS 44306 HAS SOUS 16203 HAS SOUPS 16203 WITH SCORE 16247.306
AT ITER 2003 NEW BEST:: SOT 78581 SOS 44275 HAS SOPS 44275 HAS SOUS 16190 HAS SOUPS 16190 WITH SCORE 16234.275
AT ITER 2011 NEW BEST:: SOT 78571 SOS 44265 HAS SOPS 44265 HAS SOUS 16162 HAS SOUPS 16162 WITH SCORE 16206.265
AT ITER 2019 NEW BEST:: SOT 78544 SOS 44319 HAS SOPS 44319 HAS SOUS 16135 HAS SOUPS 16135 WITH SCORE 16179.319
AT ITER 2025 NEW BEST:: SOT 78541 SOS 44316 HAS SOPS 44316 HAS SOUS 16132 HAS SOUPS 16132 WITH SCORE 16176.316
AT ITER 2033 NEW BEST:: SOT 78565 SOS 43956 HAS SOPS 43956 HAS SOUS 16111 HAS SOUPS 16111 WITH SCORE 16154.956
AT ITER 2050 NEW BEST:: SOT 78565 SOS 43933 HAS SOPS 43933 HAS SOUS 16107 HAS SOUPS 16107 WITH SCORE 16150.933
AT ITER 2058 NEW BEST:: SOT 78553 SOS 43849 HAS SOPS 43849 HAS SOUS 16075 HAS SOUPS 16075 WITH SCORE 16118.849
AT ITER 2060 NEW BEST:: SOT 78536 SOS 43781 HAS SOPS 43781 HAS SOUS 16058 HAS SOUPS 16058 WITH SCORE 16101.781
AT ITER 2068 NEW BEST:: SOT 78536 SOS 43777 HAS SOPS 43777 HAS SOUS 16056 HAS SOUPS 16056 WITH SCORE 16099.777
AT ITER 2072 NEW BEST:: SOT 78530 SOS 43771 HAS SOPS 43771 HAS SOUS 16039 HAS SOUPS 16039 WITH SCORE 16082.771
AT ITER 2073 NEW BEST:: SOT 78519 SOS 43739 HAS SOPS 43739 HAS SOUS 16028 HAS SOUPS 16028 WITH SCORE 16071.739
AT ITER 2092 NEW BEST:: SOT 78523 SOS 43662 HAS SOPS 43662 HAS SOUS 16015 HAS SOUPS 16015 WITH SCORE 16058.662
AT ITER 2094 NEW BEST:: SOT 78539 SOS 43678 HAS SOPS 43678 HAS SOUS 16011 HAS SOUPS 16011 WITH SCORE 16054.678
AT ITER 2098 NEW BEST:: SOT 78505 SOS 43618 HAS SOPS 43618 HAS SOUS 15996 HAS SOUPS 15996 WITH SCORE 16039.618
AT ITER 2132 NEW BEST:: SOT 78490 SOS 43603 HAS SOPS 43603 HAS SOUS 15996 HAS SOUPS 15996 WITH SCORE 16039.603
AT ITER 2151 NEW BEST:: SOT 78484 SOS 43591 HAS SOPS 43591 HAS SOUS 15984 HAS SOUPS 15984 WITH SCORE 16027.591
AT ITER 2171 NEW BEST:: SOT 78464 SOS 43571 HAS SOPS 43571 HAS SOUS 15921 HAS SOUPS 15921 WITH SCORE 15964.571
AT ITER 2177 NEW BEST:: SOT 78485 SOS 43647 HAS SOPS 43647 HAS SOUS 15901 HAS SOUPS 15901 WITH SCORE 15944.647
AT ITER 2179 NEW BEST:: SOT 78519 SOS 43744 HAS SOPS 43744 HAS SOUS 15889 HAS SOUPS 15889 WITH SCORE 15932.744
AT ITER 2193 NEW BEST:: SOT 78522 SOS 43751 HAS SOPS 43751 HAS SOUS 15888 HAS SOUPS 15888 WITH SCORE 15931.751
AT ITER 2214 NEW BEST:: SOT 78508 SOS 44217 HAS SOPS 44217 HAS SOUS 15863 HAS SOUPS 15863 WITH SCORE 15907.217
AT ITER 2224 NEW BEST:: SOT 78570 SOS 44279 HAS SOPS 44279 HAS SOUS 15835 HAS SOUPS 15835 WITH SCORE 15879.279
AT ITER 2234 NEW BEST:: SOT 78544 SOS 44267 HAS SOPS 44267 HAS SOUS 15811 HAS SOUPS 15811 WITH SCORE 15855.267
AT ITER 2239 NEW BEST:: SOT 78536 SOS 44259 HAS SOPS 44259 HAS SOUS 15794 HAS SOUPS 15794 WITH SCORE 15838.259
AT ITER 2260 NEW BEST:: SOT 78487 SOS 44210 HAS SOPS 44210 HAS SOUS 15774 HAS SOUPS 15774 WITH SCORE 15818.21
AT ITER 2264 NEW BEST:: SOT 78462 SOS 44177 HAS SOPS 44177 HAS SOUS 15732 HAS SOUPS 15732 WITH SCORE 15776.177
AT ITER 2269 NEW BEST:: SOT 78475 SOS 44069 HAS SOPS 44069 HAS SOUS 15723 HAS SOUPS 15723 WITH SCORE 15767.069
AT ITER 2272 NEW BEST:: SOT 78476 SOS 44070 HAS SOPS 44070 HAS SOUS 15708 HAS SOUPS 15708 WITH SCORE 15752.07
AT ITER 2275 NEW BEST:: SOT 78476 SOS 44066 HAS SOPS 44066 HAS SOUS 15708 HAS SOUPS 15708 WITH SCORE 15752.066
AT ITER 2276 NEW BEST:: SOT 78419 SOS 43927 HAS SOPS 43927 HAS SOUS 15671 HAS SOUPS 15671 WITH SCORE 15714.927
AT ITER 2333 NEW BEST:: SOT 78419 SOS 43868 HAS SOPS 43868 HAS SOUS 15664 HAS SOUPS 15664 WITH SCORE 15707.868
AT ITER 2340 NEW BEST:: SOT 78383 SOS 43832 HAS SOPS 43832 HAS SOUS 15646 HAS SOUPS 15646 WITH SCORE 15689.832
AT ITER 2342 NEW BEST:: SOT 78390 SOS 43839 HAS SOPS 43839 HAS SOUS 15642 HAS SOUPS 15642 WITH SCORE 15685.839
AT ITER 2344 NEW BEST:: SOT 78336 SOS 43897 HAS SOPS 43897 HAS SOUS 15627 HAS SOUPS 15627 WITH SCORE 15670.897
AT ITER 2348 NEW BEST:: SOT 78355 SOS 43916 HAS SOPS 43916 HAS SOUS 15625 HAS SOUPS 15625 WITH SCORE 15668.916
AT ITER 2352 NEW BEST:: SOT 78355 SOS 43916 HAS SOPS 43916 HAS SOUS 15623 HAS SOUPS 15623 WITH SCORE 15666.916
AT ITER 2355 NEW BEST:: SOT 78346 SOS 43925 HAS SOPS 43925 HAS SOUS 15621 HAS SOUPS 15621 WITH SCORE 15664.925
AT ITER 2375 NEW BEST:: SOT 78335 SOS 44007 HAS SOPS 44007 HAS SOUS 15617 HAS SOUPS 15617 WITH SCORE 15661.007
AT ITER 2382 NEW BEST:: SOT 78284 SOS 43956 HAS SOPS 43956 HAS SOUS 15554 HAS SOUPS 15554 WITH SCORE 15597.956
AT ITER 2400 NEW BEST:: SOT 78284 SOS 43821 HAS SOPS 43821 HAS SOUS 15527 HAS SOUPS 15527 WITH SCORE 15570.821
AT ITER 2419 NEW BEST:: SOT 78217 SOS 43724 HAS SOPS 43724 HAS SOUS 15391 HAS SOUPS 15391 WITH SCORE 15434.724
AT ITER 2421 NEW BEST:: SOT 78215 SOS 43671 HAS SOPS 43671 HAS SOUS 15380 HAS SOUPS 15380 WITH SCORE 15423.671
AT ITER 2438 NEW BEST:: SOT 78215 SOS 43659 HAS SOPS 43659 HAS SOUS 15380 HAS SOUPS 15380 WITH SCORE 15423.659
AT ITER 2440 NEW BEST:: SOT 78204 SOS 43637 HAS SOPS 43637 HAS SOUS 15380 HAS SOUPS 15380 WITH SCORE 15423.637
AT ITER 2453 NEW BEST:: SOT 78147 SOS 43567 HAS SOPS 43567 HAS SOUS 15323 HAS SOUPS 15323 WITH SCORE 15366.567
AT ITER 2461 NEW BEST:: SOT 78146 SOS 43566 HAS SOPS 43566 HAS SOUS 15281 HAS SOUPS 15281 WITH SCORE 15324.566
AT ITER 2498 NEW BEST:: SOT 78184 SOS 43706 HAS SOPS 43706 HAS SOUS 15238 HAS SOUPS 15238 WITH SCORE 15281.706
AT ITER 2524 NEW BEST:: SOT 78181 SOS 43693 HAS SOPS 43693 HAS SOUS 15205 HAS SOUPS 15205 WITH SCORE 15248.693
AT ITER 2530 NEW BEST:: SOT 78162 SOS 43674 HAS SOPS 43674 HAS SOUS 15151 HAS SOUPS 15151 WITH SCORE 15194.674
AT ITER 2550 NEW BEST:: SOT 78141 SOS 43522 HAS SOPS 43522 HAS SOUS 15134 HAS SOUPS 15134 WITH SCORE 15177.522
AT ITER 2563 NEW BEST:: SOT 78142 SOS 43524 HAS SOPS 43524 HAS SOUS 15122 HAS SOUPS 15122 WITH SCORE 15165.524
AT ITER 2570 NEW BEST:: SOT 78123 SOS 43517 HAS SOPS 43517 HAS SOUS 15106 HAS SOUPS 15106 WITH SCORE 15149.517
AT ITER 2572 NEW BEST:: SOT 78122 SOS 43516 HAS SOPS 43516 HAS SOUS 15087 HAS SOUPS 15087 WITH SCORE 15130.516
AT ITER 2574 NEW BEST:: SOT 78122 SOS 43516 HAS SOPS 43516 HAS SOUS 15078 HAS SOUPS 15078 WITH SCORE 15121.516
AT ITER 2576 NEW BEST:: SOT 78046 SOS 43384 HAS SOPS 43384 HAS SOUS 14982 HAS SOUPS 14982 WITH SCORE 15025.384
AT ITER 2618 NEW BEST:: SOT 78084 SOS 43500 HAS SOPS 43500 HAS SOUS 14980 HAS SOUPS 14980 WITH SCORE 15023.5
AT ITER 2625 NEW BEST:: SOT 78087 SOS 43512 HAS SOPS 43512 HAS SOUS 14977 HAS SOUPS 14977 WITH SCORE 15020.512
AT ITER 2647 NEW BEST:: SOT 78080 SOS 43484 HAS SOPS 43484 HAS SOUS 14970 HAS SOUPS 14970 WITH SCORE 15013.484
AT ITER 2674 NEW BEST:: SOT 78081 SOS 43485 HAS SOPS 43485 HAS SOUS 14969 HAS SOUPS 14969 WITH SCORE 15012.485
AT ITER 2705 NEW BEST:: SOT 78074 SOS 43478 HAS SOPS 43478 HAS SOUS 14955 HAS SOUPS 14955 WITH SCORE 14998.478
AT ITER 2724 NEW BEST:: SOT 78073 SOS 43477 HAS SOPS 43477 HAS SOUS 14949 HAS SOUPS 14949 WITH SCORE 14992.477
AT ITER 2725 NEW BEST:: SOT 78083 SOS 43459 HAS SOPS 43459 HAS SOUS 14907 HAS SOUPS 14907 WITH SCORE 14950.459
AT ITER 2737 NEW BEST:: SOT 78052 SOS 43428 HAS SOPS 43428 HAS SOUS 14845 HAS SOUPS 14845 WITH SCORE 14888.428
AT ITER 2738 NEW BEST:: SOT 77991 SOS 43312 HAS SOPS 43312 HAS SOUS 14784 HAS SOUPS 14784 WITH SCORE 14827.312
AT ITER 2769 NEW BEST:: SOT 77841 SOS 48468 HAS SOPS 48468 HAS SOUS 14597 HAS SOUPS 14597 WITH SCORE 14645.468
AT ITER 2775 NEW BEST:: SOT 77841 SOS 48468 HAS SOPS 48468 HAS SOUS 14593 HAS SOUPS 14593 WITH SCORE 14641.468
AT ITER 2796 NEW BEST:: SOT 77816 SOS 48443 HAS SOPS 48443 HAS SOUS 14543 HAS SOUPS 14543 WITH SCORE 14591.443
AT ITER 2809 NEW BEST:: SOT 77809 SOS 48436 HAS SOPS 48436 HAS SOUS 14527 HAS SOUPS 14527 WITH SCORE 14575.436
AT ITER 2866 NEW BEST:: SOT 77806 SOS 48444 HAS SOPS 48444 HAS SOUS 14523 HAS SOUPS 14523 WITH SCORE 14571.444
AT ITER 2882 NEW BEST:: SOT 77794 SOS 48432 HAS SOPS 48432 HAS SOUS 14487 HAS SOUPS 14487 WITH SCORE 14535.432
AT ITER 2887 NEW BEST:: SOT 77793 SOS 48431 HAS SOPS 48431 HAS SOUS 14484 HAS SOUPS 14484 WITH SCORE 14532.431
AT ITER 2901 NEW BEST:: SOT 77793 SOS 48431 HAS SOPS 48431 HAS SOUS 14381 HAS SOUPS 14381 WITH SCORE 14429.431
AT ITER 2925 NEW BEST:: SOT 77797 SOS 48455 HAS SOPS 48455 HAS SOUS 14380 HAS SOUPS 14380 WITH SCORE 14428.455
AT ITER 2930 NEW BEST:: SOT 77779 SOS 48192 HAS SOPS 48192 HAS SOUS 14360 HAS SOUPS 14360 WITH SCORE 14408.192
AT ITER 2971 NEW BEST:: SOT 77774 SOS 48182 HAS SOPS 48182 HAS SOUS 14355 HAS SOUPS 14355 WITH SCORE 14403.182
AT ITER 2973 NEW BEST:: SOT 77754 SOS 47225 HAS SOPS 47225 HAS SOUS 14333 HAS SOUPS 14333 WITH SCORE 14380.225
AT ITER 2986 NEW BEST:: SOT 77753 SOS 47352 HAS SOPS 47352 HAS SOUS 14305 HAS SOUPS 14305 WITH SCORE 14352.352
AT ITER 3005 NEW BEST:: SOT 77673 SOS 47189 HAS SOPS 47189 HAS SOUS 14204 HAS SOUPS 14204 WITH SCORE 14251.189
AT ITER 3025 NEW BEST:: SOT 77656 SOS 47161 HAS SOPS 47161 HAS SOUS 14176 HAS SOUPS 14176 WITH SCORE 14223.161
AT ITER 3057 NEW BEST:: SOT 77651 SOS 47171 HAS SOPS 47171 HAS SOUS 14171 HAS SOUPS 14171 WITH SCORE 14218.171
AT ITER 3117 NEW BEST:: SOT 77651 SOS 47171 HAS SOPS 47171 HAS SOUS 14169 HAS SOUPS 14169 WITH SCORE 14216.171
AT ITER 3133 NEW BEST:: SOT 77642 SOS 47162 HAS SOPS 47162 HAS SOUS 14151 HAS SOUPS 14151 WITH SCORE 14198.162
AT ITER 3142 NEW BEST:: SOT 77639 SOS 47159 HAS SOPS 47159 HAS SOUS 14131 HAS SOUPS 14131 WITH SCORE 14178.159
AT ITER 3161 NEW BEST:: SOT 77634 SOS 47154 HAS SOPS 47154 HAS SOUS 14116 HAS SOUPS 14116 WITH SCORE 14163.154
AT ITER 3181 NEW BEST:: SOT 77631 SOS 47151 HAS SOPS 47151 HAS SOUS 14110 HAS SOUPS 14110 WITH SCORE 14157.151
AT ITER 3193 NEW BEST:: SOT 77623 SOS 47129 HAS SOPS 47129 HAS SOUS 14095 HAS SOUPS 14095 WITH SCORE 14142.129
AT ITER 3226 NEW BEST:: SOT 77621 SOS 47129 HAS SOPS 47129 HAS SOUS 14093 HAS SOUPS 14093 WITH SCORE 14140.129
AT ITER 3257 NEW BEST:: SOT 77621 SOS 47129 HAS SOPS 47129 HAS SOUS 14077 HAS SOUPS 14077 WITH SCORE 14124.129
AT ITER 3260 NEW BEST:: SOT 77621 SOS 47129 HAS SOPS 47129 HAS SOUS 14069 HAS SOUPS 14069 WITH SCORE 14116.129
AT ITER 3261 NEW BEST:: SOT 77619 SOS 47127 HAS SOPS 47127 HAS SOUS 14065 HAS SOUPS 14065 WITH SCORE 14112.127
AT ITER 3266 NEW BEST:: SOT 77640 SOS 47171 HAS SOPS 47171 HAS SOUS 14044 HAS SOUPS 14044 WITH SCORE 14091.171
AT ITER 3312 NEW BEST:: SOT 77621 SOS 47147 HAS SOPS 47147 HAS SOUS 14042 HAS SOUPS 14042 WITH SCORE 14089.147
AT ITER 3316 NEW BEST:: SOT 77615 SOS 47178 HAS SOPS 47178 HAS SOUS 14036 HAS SOUPS 14036 WITH SCORE 14083.178
AT ITER 3339 NEW BEST:: SOT 77614 SOS 47182 HAS SOPS 47182 HAS SOUS 14028 HAS SOUPS 14028 WITH SCORE 14075.182
AT ITER 3341 NEW BEST:: SOT 77609 SOS 47177 HAS SOPS 47177 HAS SOUS 14013 HAS SOUPS 14013 WITH SCORE 14060.177
AT ITER 3368 NEW BEST:: SOT 77605 SOS 47173 HAS SOPS 47173 HAS SOUS 14002 HAS SOUPS 14002 WITH SCORE 14049.173
AT ITER 3374 NEW BEST:: SOT 77604 SOS 47172 HAS SOPS 47172 HAS SOUS 14001 HAS SOUPS 14001 WITH SCORE 14048.172
AT ITER 3388 NEW BEST:: SOT 77593 SOS 47161 HAS SOPS 47161 HAS SOUS 13979 HAS SOUPS 13979 WITH SCORE 14026.161
AT ITER 3402 NEW BEST:: SOT 77593 SOS 47153 HAS SOPS 47153 HAS SOUS 13979 HAS SOUPS 13979 WITH SCORE 14026.153
AT ITER 3466 NEW BEST:: SOT 77582 SOS 47142 HAS SOPS 47142 HAS SOUS 13948 HAS SOUPS 13948 WITH SCORE 13995.142
AT ITER 3555 NEW BEST:: SOT 77575 SOS 47122 HAS SOPS 47122 HAS SOUS 13947 HAS SOUPS 13947 WITH SCORE 13994.122
AT ITER 3576 NEW BEST:: SOT 77572 SOS 47119 HAS SOPS 47119 HAS SOUS 13947 HAS SOUPS 13947 WITH SCORE 13994.119
AT ITER 3581 NEW BEST:: SOT 77572 SOS 47119 HAS SOPS 47119 HAS SOUS 13941 HAS SOUPS 13941 WITH SCORE 13988.119
AT ITER 3596 NEW BEST:: SOT 77567 SOS 47133 HAS SOPS 47133 HAS SOUS 13930 HAS SOUPS 13930 WITH SCORE 13977.133
AT ITER 3621 NEW BEST:: SOT 77531 SOS 47097 HAS SOPS 47097 HAS SOUS 13927 HAS SOUPS 13927 WITH SCORE 13974.097
AT ITER 3626 NEW BEST:: SOT 77530 SOS 47096 HAS SOPS 47096 HAS SOUS 13925 HAS SOUPS 13925 WITH SCORE 13972.096
AT ITER 3643 NEW BEST:: SOT 77524 SOS 47114 HAS SOPS 47114 HAS SOUS 13919 HAS SOUPS 13919 WITH SCORE 13966.114
AT ITER 3663 NEW BEST:: SOT 77542 SOS 44720 HAS SOPS 44720 HAS SOUS 13918 HAS SOUPS 13918 WITH SCORE 13962.72
AT ITER 3665 NEW BEST:: SOT 77532 SOS 44704 HAS SOPS 44704 HAS SOUS 13905 HAS SOUPS 13905 WITH SCORE 13949.704
AT ITER 3707 NEW BEST:: SOT 77538 SOS 44686 HAS SOPS 44686 HAS SOUS 13905 HAS SOUPS 13905 WITH SCORE 13949.686
AT ITER 3712 NEW BEST:: SOT 77535 SOS 44683 HAS SOPS 44683 HAS SOUS 13891 HAS SOUPS 13891 WITH SCORE 13935.683
AT ITER 3737 NEW BEST:: SOT 77547 SOS 44863 HAS SOPS 44863 HAS SOUS 13876 HAS SOUPS 13876 WITH SCORE 13920.863
AT ITER 3754 NEW BEST:: SOT 77536 SOS 44852 HAS SOPS 44852 HAS SOUS 13864 HAS SOUPS 13864 WITH SCORE 13908.852
AT ITER 3758 NEW BEST:: SOT 77534 SOS 44850 HAS SOPS 44850 HAS SOUS 13857 HAS SOUPS 13857 WITH SCORE 13901.85
AT ITER 3763 NEW BEST:: SOT 77468 SOS 44784 HAS SOPS 44784 HAS SOUS 13845 HAS SOUPS 13845 WITH SCORE 13889.784
AT ITER 3775 NEW BEST:: SOT 77457 SOS 44773 HAS SOPS 44773 HAS SOUS 13812 HAS SOUPS 13812 WITH SCORE 13856.773
AT ITER 3776 NEW BEST:: SOT 77453 SOS 44769 HAS SOPS 44769 HAS SOUS 13808 HAS SOUPS 13808 WITH SCORE 13852.769
AT ITER 3813 NEW BEST:: SOT 77437 SOS 44749 HAS SOPS 44749 HAS SOUS 13796 HAS SOUPS 13796 WITH SCORE 13840.749
AT ITER 3818 NEW BEST:: SOT 77424 SOS 44630 HAS SOPS 44630 HAS SOUS 13749 HAS SOUPS 13749 WITH SCORE 13793.63
AT ITER 3836 NEW BEST:: SOT 77412 SOS 44618 HAS SOPS 44618 HAS SOUS 13725 HAS SOUPS 13725 WITH SCORE 13769.618
AT ITER 3842 NEW BEST:: SOT 77407 SOS 44613 HAS SOPS 44613 HAS SOUS 13712 HAS SOUPS 13712 WITH SCORE 13756.613
AT ITER 3858 NEW BEST:: SOT 77406 SOS 44612 HAS SOPS 44612 HAS SOUS 13702 HAS SOUPS 13702 WITH SCORE 13746.612
AT ITER 3881 NEW BEST:: SOT 77400 SOS 44606 HAS SOPS 44606 HAS SOUS 13690 HAS SOUPS 13690 WITH SCORE 13734.606
AT ITER 3920 NEW BEST:: SOT 77397 SOS 44603 HAS SOPS 44603 HAS SOUS 13684 HAS SOUPS 13684 WITH SCORE 13728.603
AT ITER 3928 NEW BEST:: SOT 77368 SOS 44574 HAS SOPS 44574 HAS SOUS 13659 HAS SOUPS 13659 WITH SCORE 13703.574
AT ITER 3938 NEW BEST:: SOT 77347 SOS 44553 HAS SOPS 44553 HAS SOUS 13601 HAS SOUPS 13601 WITH SCORE 13645.553
AT ITER 3950 NEW BEST:: SOT 77343 SOS 44549 HAS SOPS 44549 HAS SOUS 13593 HAS SOUPS 13593 WITH SCORE 13637.549
AT ITER 3969 NEW BEST:: SOT 77330 SOS 44536 HAS SOPS 44536 HAS SOUS 13567 HAS SOUPS 13567 WITH SCORE 13611.536
AT ITER 3981 NEW BEST:: SOT 77332 SOS 44550 HAS SOPS 44550 HAS SOUS 13555 HAS SOUPS 13555 WITH SCORE 13599.55
AT ITER 3990 NEW BEST:: SOT 77330 SOS 44548 HAS SOPS 44548 HAS SOUS 13553 HAS SOUPS 13553 WITH SCORE 13597.548
AT ITER 3994 NEW BEST:: SOT 77331 SOS 44549 HAS SOPS 44549 HAS SOUS 13552 HAS SOUPS 13552 WITH SCORE 13596.549
AT ITER 4021 NEW BEST:: SOT 77330 SOS 44495 HAS SOPS 44495 HAS SOUS 13524 HAS SOUPS 13524 WITH SCORE 13568.495
AT ITER 4061 NEW BEST:: SOT 77330 SOS 44495 HAS SOPS 44495 HAS SOUS 13520 HAS SOUPS 13520 WITH SCORE 13564.495
AT ITER 4064 NEW BEST:: SOT 77316 SOS 44490 HAS SOPS 44490 HAS SOUS 13506 HAS SOUPS 13506 WITH SCORE 13550.49
AT ITER 4070 NEW BEST:: SOT 77316 SOS 44490 HAS SOPS 44490 HAS SOUS 13504 HAS SOUPS 13504 WITH SCORE 13548.49
AT ITER 4085 NEW BEST:: SOT 77303 SOS 44433 HAS SOPS 44433 HAS SOUS 13499 HAS SOUPS 13499 WITH SCORE 13543.433
AT ITER 4091 NEW BEST:: SOT 77293 SOS 44437 HAS SOPS 44437 HAS SOUS 13479 HAS SOUPS 13479 WITH SCORE 13523.437
AT ITER 4100 NEW BEST:: SOT 77288 SOS 44447 HAS SOPS 44447 HAS SOUS 13474 HAS SOUPS 13474 WITH SCORE 13518.447
AT ITER 4112 NEW BEST:: SOT 77285 SOS 44441 HAS SOPS 44441 HAS SOUS 13468 HAS SOUPS 13468 WITH SCORE 13512.441
AT ITER 4173 NEW BEST:: SOT 77316 SOS 44471 HAS SOPS 44471 HAS SOUS 13442 HAS SOUPS 13442 WITH SCORE 13486.471
AT ITER 4198 NEW BEST:: SOT 77313 SOS 44468 HAS SOPS 44468 HAS SOUS 13432 HAS SOUPS 13432 WITH SCORE 13476.468
AT ITER 4200 NEW BEST:: SOT 77298 SOS 44453 HAS SOPS 44453 HAS SOUS 13417 HAS SOUPS 13417 WITH SCORE 13461.453
AT ITER 4205 NEW BEST:: SOT 77227 SOS 44664 HAS SOPS 44664 HAS SOUS 13366 HAS SOUPS 13366 WITH SCORE 13410.664
AT ITER 4206 NEW BEST:: SOT 77226 SOS 44665 HAS SOPS 44665 HAS SOUS 13365 HAS SOUPS 13365 WITH SCORE 13409.665
AT ITER 4218 NEW BEST:: SOT 77226 SOS 44681 HAS SOPS 44681 HAS SOUS 13361 HAS SOUPS 13361 WITH SCORE 13405.681
AT ITER 4242 NEW BEST:: SOT 77223 SOS 44675 HAS SOPS 44675 HAS SOUS 13355 HAS SOUPS 13355 WITH SCORE 13399.675
AT ITER 4301 NEW BEST:: SOT 77180 SOS 44632 HAS SOPS 44632 HAS SOUS 13320 HAS SOUPS 13320 WITH SCORE 13364.632
AT ITER 4323 NEW BEST:: SOT 77180 SOS 44634 HAS SOPS 44634 HAS SOUS 13318 HAS SOUPS 13318 WITH SCORE 13362.634
AT ITER 4335 NEW BEST:: SOT 77180 SOS 44878 HAS SOPS 44878 HAS SOUS 13257 HAS SOUPS 13257 WITH SCORE 13301.878
AT ITER 4363 NEW BEST:: SOT 77178 SOS 44876 HAS SOPS 44876 HAS SOUS 13250 HAS SOUPS 13250 WITH SCORE 13294.876
AT ITER 4438 NEW BEST:: SOT 77219 SOS 44917 HAS SOPS 44917 HAS SOUS 13248 HAS SOUPS 13248 WITH SCORE 13292.917
AT ITER 4505 NEW BEST:: SOT 77217 SOS 44911 HAS SOPS 44911 HAS SOUS 13247 HAS SOUPS 13247 WITH SCORE 13291.911
AT ITER 4531 NEW BEST:: SOT 77217 SOS 44883 HAS SOPS 44883 HAS SOUS 13241 HAS SOUPS 13241 WITH SCORE 13285.883
AT ITER 4545 NEW BEST:: SOT 77217 SOS 44873 HAS SOPS 44873 HAS SOUS 13236 HAS SOUPS 13236 WITH SCORE 13280.873
AT ITER 4656 NEW BEST:: SOT 77203 SOS 44859 HAS SOPS 44859 HAS SOUS 13222 HAS SOUPS 13222 WITH SCORE 13266.859
AT ITER 4703 NEW BEST:: SOT 77202 SOS 44841 HAS SOPS 44841 HAS SOUS 13221 HAS SOUPS 13221 WITH SCORE 13265.841
AT ITER 4713 NEW BEST:: SOT 77216 SOS 44869 HAS SOPS 44869 HAS SOUS 13204 HAS SOUPS 13204 WITH SCORE 13248.869
AT ITER 4784 NEW BEST:: SOT 77198 SOS 44858 HAS SOPS 44858 HAS SOUS 13162 HAS SOUPS 13162 WITH SCORE 13206.858
AT ITER 4791 NEW BEST:: SOT 77189 SOS 44849 HAS SOPS 44849 HAS SOUS 13144 HAS SOUPS 13144 WITH SCORE 13188.849
AT ITER 4797 NEW BEST:: SOT 77188 SOS 44848 HAS SOPS 44848 HAS SOUS 13142 HAS SOUPS 13142 WITH SCORE 13186.848
AT ITER 4811 NEW BEST:: SOT 77181 SOS 44834 HAS SOPS 44834 HAS SOUS 13128 HAS SOUPS 13128 WITH SCORE 13172.834
AT ITER 4819 NEW BEST:: SOT 77176 SOS 44829 HAS SOPS 44829 HAS SOUS 13099 HAS SOUPS 13099 WITH SCORE 13143.829
AT ITER 4865 NEW BEST:: SOT 77170 SOS 44873 HAS SOPS 44873 HAS SOUS 13095 HAS SOUPS 13095 WITH SCORE 13139.873
AT ITER 4898 NEW BEST:: SOT 77169 SOS 44868 HAS SOPS 44868 HAS SOUS 13094 HAS SOUPS 13094 WITH SCORE 13138.868
AT ITER 4934 NEW BEST:: SOT 77159 SOS 44816 HAS SOPS 44816 HAS SOUS 13088 HAS SOUPS 13088 WITH SCORE 13132.816
AT ITER 4940 NEW BEST:: SOT 77161 SOS 44790 HAS SOPS 44790 HAS SOUS 13080 HAS SOUPS 13080 WITH SCORE 13124.79
AT ITER 4963 NEW BEST:: SOT 77148 SOS 44777 HAS SOPS 44777 HAS SOUS 13040 HAS SOUPS 13040 WITH SCORE 13084.777
AT ITER 4971 NEW BEST:: SOT 77148 SOS 44773 HAS SOPS 44773 HAS SOUS 13039 HAS SOUPS 13039 WITH SCORE 13083.773
AT ITER 5002 NEW BEST:: SOT 77188 SOS 44813 HAS SOPS 44813 HAS SOUS 13026 HAS SOUPS 13026 WITH SCORE 13070.813
AT ITER 5018 NEW BEST:: SOT 77191 SOS 44956 HAS SOPS 44956 HAS SOUS 13001 HAS SOUPS 13001 WITH SCORE 13045.956
AT ITER 5077 NEW BEST:: SOT 77171 SOS 44936 HAS SOPS 44936 HAS SOUS 12942 HAS SOUPS 12942 WITH SCORE 12986.936
AT ITER 5083 NEW BEST:: SOT 77171 SOS 45028 HAS SOPS 45028 HAS SOUS 12919 HAS SOUPS 12919 WITH SCORE 12964.028
AT ITER 5149 NEW BEST:: SOT 77130 SOS 44662 HAS SOPS 44662 HAS SOUS 12876 HAS SOUPS 12876 WITH SCORE 12920.662
AT ITER 5169 NEW BEST:: SOT 77124 SOS 44656 HAS SOPS 44656 HAS SOUS 12859 HAS SOUPS 12859 WITH SCORE 12903.656
AT ITER 5221 NEW BEST:: SOT 77122 SOS 44658 HAS SOPS 44658 HAS SOUS 12855 HAS SOUPS 12855 WITH SCORE 12899.658
AT ITER 5272 NEW BEST:: SOT 77123 SOS 44719 HAS SOPS 44719 HAS SOUS 12842 HAS SOUPS 12842 WITH SCORE 12886.719
AT ITER 5275 NEW BEST:: SOT 77123 SOS 44719 HAS SOPS 44719 HAS SOUS 12838 HAS SOUPS 12838 WITH SCORE 12882.719
AT ITER 5298 NEW BEST:: SOT 77120 SOS 44716 HAS SOPS 44716 HAS SOUS 12836 HAS SOUPS 12836 WITH SCORE 12880.716
AT ITER 5301 NEW BEST:: SOT 77120 SOS 44719 HAS SOPS 44719 HAS SOUS 12833 HAS SOUPS 12833 WITH SCORE 12877.719
AT ITER 5336 NEW BEST:: SOT 77066 SOS 44665 HAS SOPS 44665 HAS SOUS 12775 HAS SOUPS 12775 WITH SCORE 12819.665
AT ITER 5349 NEW BEST:: SOT 77066 SOS 44626 HAS SOPS 44626 HAS SOUS 12749 HAS SOUPS 12749 WITH SCORE 12793.626
AT ITER 5393 NEW BEST:: SOT 77042 SOS 44690 HAS SOPS 44690 HAS SOUS 12741 HAS SOUPS 12741 WITH SCORE 12785.69
AT ITER 5464 NEW BEST:: SOT 77037 SOS 44686 HAS SOPS 44686 HAS SOUS 12738 HAS SOUPS 12738 WITH SCORE 12782.686
AT ITER 5484 NEW BEST:: SOT 77028 SOS 44685 HAS SOPS 44685 HAS SOUS 12736 HAS SOUPS 12736 WITH SCORE 12780.685
AT ITER 5488 NEW BEST:: SOT 77006 SOS 44641 HAS SOPS 44641 HAS SOUS 12714 HAS SOUPS 12714 WITH SCORE 12758.641
AT ITER 5493 NEW BEST:: SOT 76969 SOS 44477 HAS SOPS 44477 HAS SOUS 12677 HAS SOUPS 12677 WITH SCORE 12721.477
AT ITER 5516 NEW BEST:: SOT 76958 SOS 44441 HAS SOPS 44441 HAS SOUS 12659 HAS SOUPS 12659 WITH SCORE 12703.441
AT ITER 5546 NEW BEST:: SOT 76952 SOS 44435 HAS SOPS 44435 HAS SOUS 12655 HAS SOUPS 12655 WITH SCORE 12699.435
AT ITER 5582 NEW BEST:: SOT 76952 SOS 44479 HAS SOPS 44479 HAS SOUS 12644 HAS SOUPS 12644 WITH SCORE 12688.479
AT ITER 5596 NEW BEST:: SOT 76949 SOS 44500 HAS SOPS 44500 HAS SOUS 12641 HAS SOUPS 12641 WITH SCORE 12685.5
AT ITER 5664 NEW BEST:: SOT 76949 SOS 44490 HAS SOPS 44490 HAS SOUS 12636 HAS SOUPS 12636 WITH SCORE 12680.49
AT ITER 5670 NEW BEST:: SOT 76941 SOS 44482 HAS SOPS 44482 HAS SOUS 12620 HAS SOUPS 12620 WITH SCORE 12664.482
AT ITER 5718 NEW BEST:: SOT 76934 SOS 44447 HAS SOPS 44447 HAS SOUS 12612 HAS SOUPS 12612 WITH SCORE 12656.447
AT ITER 5734 NEW BEST:: SOT 76923 SOS 44436 HAS SOPS 44436 HAS SOUS 12590 HAS SOUPS 12590 WITH SCORE 12634.436
AT ITER 5804 NEW BEST:: SOT 76911 SOS 44424 HAS SOPS 44424 HAS SOUS 12554 HAS SOUPS 12554 WITH SCORE 12598.424
AT ITER 5809 NEW BEST:: SOT 76876 SOS 44391 HAS SOPS 44391 HAS SOUS 12541 HAS SOUPS 12541 WITH SCORE 12585.391
AT ITER 5847 NEW BEST:: SOT 76878 SOS 44365 HAS SOPS 44365 HAS SOUS 12531 HAS SOUPS 12531 WITH SCORE 12575.365
AT ITER 5864 NEW BEST:: SOT 76877 SOS 44364 HAS SOPS 44364 HAS SOUS 12530 HAS SOUPS 12530 WITH SCORE 12574.364
AT ITER 6014 NEW BEST:: SOT 76877 SOS 44364 HAS SOPS 44364 HAS SOUS 12528 HAS SOUPS 12528 WITH SCORE 12572.364
AT ITER 6095 NEW BEST:: SOT 76874 SOS 44361 HAS SOPS 44361 HAS SOUS 12528 HAS SOUPS 12528 WITH SCORE 12572.361
AT ITER 6145 NEW BEST:: SOT 76875 SOS 44362 HAS SOPS 44362 HAS SOUS 12500 HAS SOUPS 12500 WITH SCORE 12544.362
AT ITER 6199 NEW BEST:: SOT 76880 SOS 44367 HAS SOPS 44367 HAS SOUS 12498 HAS SOUPS 12498 WITH SCORE 12542.367
AT ITER 6246 NEW BEST:: SOT 76876 SOS 44363 HAS SOPS 44363 HAS SOUS 12490 HAS SOUPS 12490 WITH SCORE 12534.363
AT ITER 6307 NEW BEST:: SOT 76857 SOS 44287 HAS SOPS 44287 HAS SOUS 12471 HAS SOUPS 12471 WITH SCORE 12515.287
AT ITER 6320 NEW BEST:: SOT 76848 SOS 44276 HAS SOPS 44276 HAS SOUS 12459 HAS SOUPS 12459 WITH SCORE 12503.276
AT ITER 6324 NEW BEST:: SOT 76856 SOS 44274 HAS SOPS 44274 HAS SOUS 12457 HAS SOUPS 12457 WITH SCORE 12501.274
AT ITER 6422 NEW BEST:: SOT 76882 SOS 44272 HAS SOPS 44272 HAS SOUS 12455 HAS SOUPS 12455 WITH SCORE 12499.272
AT ITER 6464 NEW BEST:: SOT 76858 SOS 44243 HAS SOPS 44243 HAS SOUS 12408 HAS SOUPS 12408 WITH SCORE 12452.243
AT ITER 6543 NEW BEST:: SOT 76858 SOS 44243 HAS SOPS 44243 HAS SOUS 12405 HAS SOUPS 12405 WITH SCORE 12449.243
AT ITER 6560 NEW BEST:: SOT 76856 SOS 44241 HAS SOPS 44241 HAS SOUS 12387 HAS SOUPS 12387 WITH SCORE 12431.241
AT ITER 6565 NEW BEST:: SOT 76830 SOS 44215 HAS SOPS 44215 HAS SOUS 12362 HAS SOUPS 12362 WITH SCORE 12406.215
AT ITER 6592 NEW BEST:: SOT 76822 SOS 44207 HAS SOPS 44207 HAS SOUS 12340 HAS SOUPS 12340 WITH SCORE 12384.207
AT ITER 6601 NEW BEST:: SOT 76818 SOS 44203 HAS SOPS 44203 HAS SOUS 12340 HAS SOUPS 12340 WITH SCORE 12384.203
AT ITER 6650 NEW BEST:: SOT 76816 SOS 44201 HAS SOPS 44201 HAS SOUS 12338 HAS SOUPS 12338 WITH SCORE 12382.201
AT ITER 6713 NEW BEST:: SOT 76812 SOS 44196 HAS SOPS 44196 HAS SOUS 12337 HAS SOUPS 12337 WITH SCORE 12381.196
AT ITER 6744 NEW BEST:: SOT 76799 SOS 44183 HAS SOPS 44183 HAS SOUS 12336 HAS SOUPS 12336 WITH SCORE 12380.183
AT ITER 6812 NEW BEST:: SOT 76795 SOS 44175 HAS SOPS 44175 HAS SOUS 12328 HAS SOUPS 12328 WITH SCORE 12372.175
AT ITER 6869 NEW BEST:: SOT 76791 SOS 44171 HAS SOPS 44171 HAS SOUS 12313 HAS SOUPS 12313 WITH SCORE 12357.171
AT ITER 6871 NEW BEST:: SOT 76774 SOS 44154 HAS SOPS 44154 HAS SOUS 12266 HAS SOUPS 12266 WITH SCORE 12310.154
AT ITER 6885 NEW BEST:: SOT 76767 SOS 44099 HAS SOPS 44099 HAS SOUS 12264 HAS SOUPS 12264 WITH SCORE 12308.099
AT ITER 6908 NEW BEST:: SOT 76767 SOS 44097 HAS SOPS 44097 HAS SOUS 12264 HAS SOUPS 12264 WITH SCORE 12308.097
AT ITER 6942 NEW BEST:: SOT 76761 SOS 44131 HAS SOPS 44131 HAS SOUS 12262 HAS SOUPS 12262 WITH SCORE 12306.131
AT ITER 6981 NEW BEST:: SOT 76760 SOS 44130 HAS SOPS 44130 HAS SOUS 12261 HAS SOUPS 12261 WITH SCORE 12305.13
AT ITER 7015 NEW BEST:: SOT 76748 SOS 44038 HAS SOPS 44038 HAS SOUS 12247 HAS SOUPS 12247 WITH SCORE 12291.038
AT ITER 7032 NEW BEST:: SOT 76742 SOS 44032 HAS SOPS 44032 HAS SOUS 12241 HAS SOUPS 12241 WITH SCORE 12285.032
AT ITER 7088 NEW BEST:: SOT 76736 SOS 44031 HAS SOPS 44031 HAS SOUS 12235 HAS SOUPS 12235 WITH SCORE 12279.031
AT ITER 7140 NEW BEST:: SOT 76732 SOS 44027 HAS SOPS 44027 HAS SOUS 12233 HAS SOUPS 12233 WITH SCORE 12277.027
AT ITER 7143 NEW BEST:: SOT 76723 SOS 44018 HAS SOPS 44018 HAS SOUS 12207 HAS SOUPS 12207 WITH SCORE 12251.018
AT ITER 7153 NEW BEST:: SOT 76713 SOS 44008 HAS SOPS 44008 HAS SOUS 12175 HAS SOUPS 12175 WITH SCORE 12219.008
AT ITER 7324 NEW BEST:: SOT 76703 SOS 44020 HAS SOPS 44020 HAS SOUS 12161 HAS SOUPS 12161 WITH SCORE 12205.02
AT ITER 7331 NEW BEST:: SOT 76698 SOS 43995 HAS SOPS 43995 HAS SOUS 12153 HAS SOUPS 12153 WITH SCORE 12196.995
AT ITER 7486 NEW BEST:: SOT 76697 SOS 43993 HAS SOPS 43993 HAS SOUS 12151 HAS SOUPS 12151 WITH SCORE 12194.993
AT ITER 7498 NEW BEST:: SOT 76697 SOS 43993 HAS SOPS 43993 HAS SOUS 12150 HAS SOUPS 12150 WITH SCORE 12193.993
AT ITER 7512 NEW BEST:: SOT 76708 SOS 43844 HAS SOPS 43844 HAS SOUS 12141 HAS SOUPS 12141 WITH SCORE 12184.844
AT ITER 7521 NEW BEST:: SOT 76711 SOS 43810 HAS SOPS 43810 HAS SOUS 12137 HAS SOUPS 12137 WITH SCORE 12180.81
AT ITER 7543 NEW BEST:: SOT 76711 SOS 43850 HAS SOPS 43850 HAS SOUS 12127 HAS SOUPS 12127 WITH SCORE 12170.85
AT ITER 7596 NEW BEST:: SOT 76710 SOS 43849 HAS SOPS 43849 HAS SOUS 12121 HAS SOUPS 12121 WITH SCORE 12164.849
AT ITER 7600 NEW BEST:: SOT 76710 SOS 43849 HAS SOPS 43849 HAS SOUS 12119 HAS SOUPS 12119 WITH SCORE 12162.849
AT ITER 7625 NEW BEST:: SOT 76706 SOS 43845 HAS SOPS 43845 HAS SOUS 12115 HAS SOUPS 12115 WITH SCORE 12158.845
AT ITER 7651 NEW BEST:: SOT 76703 SOS 43842 HAS SOPS 43842 HAS SOUS 12106 HAS SOUPS 12106 WITH SCORE 12149.842
AT ITER 7697 NEW BEST:: SOT 76689 SOS 43828 HAS SOPS 43828 HAS SOUS 12098 HAS SOUPS 12098 WITH SCORE 12141.828
AT ITER 7765 NEW BEST:: SOT 76682 SOS 43821 HAS SOPS 43821 HAS SOUS 12079 HAS SOUPS 12079 WITH SCORE 12122.821
AT ITER 7870 NEW BEST:: SOT 76679 SOS 43818 HAS SOPS 43818 HAS SOUS 12069 HAS SOUPS 12069 WITH SCORE 12112.818
AT ITER 7896 NEW BEST:: SOT 76685 SOS 43834 HAS SOPS 43834 HAS SOUS 12050 HAS SOUPS 12050 WITH SCORE 12093.834
AT ITER 7903 NEW BEST:: SOT 76682 SOS 43831 HAS SOPS 43831 HAS SOUS 12044 HAS SOUPS 12044 WITH SCORE 12087.831
AT ITER 7918 NEW BEST:: SOT 76682 SOS 43843 HAS SOPS 43843 HAS SOUS 12038 HAS SOUPS 12038 WITH SCORE 12081.843
AT ITER 7941 NEW BEST:: SOT 76673 SOS 43834 HAS SOPS 43834 HAS SOUS 12020 HAS SOUPS 12020 WITH SCORE 12063.834
AT ITER 7965 NEW BEST:: SOT 76672 SOS 43833 HAS SOPS 43833 HAS SOUS 12018 HAS SOUPS 12018 WITH SCORE 12061.833
AT ITER 7973 NEW BEST:: SOT 76670 SOS 43831 HAS SOPS 43831 HAS SOUS 12014 HAS SOUPS 12014 WITH SCORE 12057.831
AT ITER 8053 NEW BEST:: SOT 76670 SOS 43873 HAS SOPS 43873 HAS SOUS 12006 HAS SOUPS 12006 WITH SCORE 12049.873
AT ITER 8076 NEW BEST:: SOT 76666 SOS 43869 HAS SOPS 43869 HAS SOUS 12006 HAS SOUPS 12006 WITH SCORE 12049.869
AT ITER 8156 NEW BEST:: SOT 76665 SOS 43868 HAS SOPS 43868 HAS SOUS 12004 HAS SOUPS 12004 WITH SCORE 12047.868
AT ITER 8198 NEW BEST:: SOT 76665 SOS 43832 HAS SOPS 43832 HAS SOUS 11995 HAS SOUPS 11995 WITH SCORE 12038.832
AT ITER 8252 NEW BEST:: SOT 76673 SOS 43840 HAS SOPS 43840 HAS SOUS 11993 HAS SOUPS 11993 WITH SCORE 12036.84
AT ITER 8261 NEW BEST:: SOT 76672 SOS 43838 HAS SOPS 43838 HAS SOUS 11993 HAS SOUPS 11993 WITH SCORE 12036.838
AT ITER 8298 NEW BEST:: SOT 76671 SOS 43846 HAS SOPS 43846 HAS SOUS 11988 HAS SOUPS 11988 WITH SCORE 12031.846
AT ITER 8307 NEW BEST:: SOT 76658 SOS 43851 HAS SOPS 43851 HAS SOUS 11962 HAS SOUPS 11962 WITH SCORE 12005.851
AT ITER 8330 NEW BEST:: SOT 76637 SOS 43719 HAS SOPS 43719 HAS SOUS 11957 HAS SOUPS 11957 WITH SCORE 12000.719
AT ITER 8354 NEW BEST:: SOT 76644 SOS 43838 HAS SOPS 43838 HAS SOUS 11949 HAS SOUPS 11949 WITH SCORE 11992.838
AT ITER 8405 NEW BEST:: SOT 76640 SOS 43834 HAS SOPS 43834 HAS SOUS 11940 HAS SOUPS 11940 WITH SCORE 11983.834
AT ITER 8456 NEW BEST:: SOT 76637 SOS 43831 HAS SOPS 43831 HAS SOUS 11931 HAS SOUPS 11931 WITH SCORE 11974.831
AT ITER 8472 NEW BEST:: SOT 76637 SOS 43795 HAS SOPS 43795 HAS SOUS 11922 HAS SOUPS 11922 WITH SCORE 11965.795
AT ITER 8476 NEW BEST:: SOT 76637 SOS 43785 HAS SOPS 43785 HAS SOUS 11920 HAS SOUPS 11920 WITH SCORE 11963.785
AT ITER 8506 NEW BEST:: SOT 76631 SOS 43779 HAS SOPS 43779 HAS SOUS 11906 HAS SOUPS 11906 WITH SCORE 11949.779
AT ITER 8517 NEW BEST:: SOT 76638 SOS 43786 HAS SOPS 43786 HAS SOUS 11898 HAS SOUPS 11898 WITH SCORE 11941.786
AT ITER 8558 NEW BEST:: SOT 76632 SOS 43780 HAS SOPS 43780 HAS SOUS 11895 HAS SOUPS 11895 WITH SCORE 11938.78
AT ITER 8653 NEW BEST:: SOT 76632 SOS 43748 HAS SOPS 43748 HAS SOUS 11872 HAS SOUPS 11872 WITH SCORE 11915.748
AT ITER 8663 NEW BEST:: SOT 76632 SOS 43748 HAS SOPS 43748 HAS SOUS 11871 HAS SOUPS 11871 WITH SCORE 11914.748
AT ITER 8700 NEW BEST:: SOT 76630 SOS 43746 HAS SOPS 43746 HAS SOUS 11871 HAS SOUPS 11871 WITH SCORE 11914.746
AT ITER 8729 NEW BEST:: SOT 76623 SOS 43739 HAS SOPS 43739 HAS SOUS 11850 HAS SOUPS 11850 WITH SCORE 11893.739
AT ITER 8766 NEW BEST:: SOT 76623 SOS 43739 HAS SOPS 43739 HAS SOUS 11849 HAS SOUPS 11849 WITH SCORE 11892.739
AT ITER 8808 NEW BEST:: SOT 76628 SOS 43741 HAS SOPS 43741 HAS SOUS 11830 HAS SOUPS 11830 WITH SCORE 11873.741
AT ITER 8839 NEW BEST:: SOT 76628 SOS 43741 HAS SOPS 43741 HAS SOUS 11829 HAS SOUPS 11829 WITH SCORE 11872.741
AT ITER 9051 NEW BEST:: SOT 76623 SOS 43736 HAS SOPS 43736 HAS SOUS 11821 HAS SOUPS 11821 WITH SCORE 11864.736
AT ITER 9101 NEW BEST:: SOT 76600 SOS 43620 HAS SOPS 43620 HAS SOUS 11798 HAS SOUPS 11798 WITH SCORE 11841.62
AT ITER 9190 NEW BEST:: SOT 76599 SOS 43619 HAS SOPS 43619 HAS SOUS 11794 HAS SOUPS 11794 WITH SCORE 11837.619
AT ITER 9194 NEW BEST:: SOT 76600 SOS 43629 HAS SOPS 43629 HAS SOUS 11793 HAS SOUPS 11793 WITH SCORE 11836.629
AT ITER 9236 NEW BEST:: SOT 76600 SOS 43613 HAS SOPS 43613 HAS SOUS 11793 HAS SOUPS 11793 WITH SCORE 11836.613
AT ITER 9411 NEW BEST:: SOT 76599 SOS 43615 HAS SOPS 43615 HAS SOUS 11791 HAS SOUPS 11791 WITH SCORE 11834.615
AT ITER 9431 NEW BEST:: SOT 76589 SOS 43602 HAS SOPS 43602 HAS SOUS 11781 HAS SOUPS 11781 WITH SCORE 11824.602
AT ITER 9475 NEW BEST:: SOT 76589 SOS 43618 HAS SOPS 43618 HAS SOUS 11777 HAS SOUPS 11777 WITH SCORE 11820.618
AT ITER 9493 NEW BEST:: SOT 76573 SOS 43602 HAS SOPS 43602 HAS SOUS 11767 HAS SOUPS 11767 WITH SCORE 11810.602
AT ITER 9547 NEW BEST:: SOT 76573 SOS 43602 HAS SOPS 43602 HAS SOUS 11766 HAS SOUPS 11766 WITH SCORE 11809.602
AT ITER 9565 NEW BEST:: SOT 76574 SOS 43596 HAS SOPS 43596 HAS SOUS 11766 HAS SOUPS 11766 WITH SCORE 11809.596
AT ITER 9602 NEW BEST:: SOT 76542 SOS 43532 HAS SOPS 43532 HAS SOUS 11734 HAS SOUPS 11734 WITH SCORE 11777.532
AT ITER 9642 NEW BEST:: SOT 76540 SOS 43518 HAS SOPS 43518 HAS SOUS 11733 HAS SOUPS 11733 WITH SCORE 11776.518
AT ITER 9647 NEW BEST:: SOT 76538 SOS 43516 HAS SOPS 43516 HAS SOUS 11727 HAS SOUPS 11727 WITH SCORE 11770.516
AT ITER 9938 NEW BEST:: SOT 76538 SOS 43516 HAS SOPS 43516 HAS SOUS 11721 HAS SOUPS 11721 WITH SCORE 11764.516
AT ITER 9956 NEW BEST:: SOT 76537 SOS 43515 HAS SOPS 43515 HAS SOUS 11718 HAS SOUPS 11718 WITH SCORE 11761.515
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 164392 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16303340 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="UtilityControlRoom-COL-Z4T3N08"
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 UtilityControlRoom-COL-Z4T3N08, 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-167912696501040"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/UtilityControlRoom-COL-Z4T3N08.tgz
mv UtilityControlRoom-COL-Z4T3N08 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 ;