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.r227-tall-167856410400392.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 LamportFastMutEx-COL-8, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r227-tall-167856410400392
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 464K
-rw-r--r-- 1 mcc users 6.5K Feb 25 13:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 25 13:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 13:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 25 13:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.5K Feb 25 13:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 25 13:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.7K Feb 25 13:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 74K Feb 25 13:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 2 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 44K Mar 5 18:22 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 1678610580193

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=LamportFastMutEx-COL-8
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-12 08:43:02] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-12 08:43:02] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-12 08:43:03] [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-12 08:43:03] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-12 08:43:03] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 769 ms
[2023-03-12 08:43:03] [INFO ] Imported 18 HL places and 17 HL transitions for a total of 315 PT places and 837.0 transition bindings in 35 ms.
[2023-03-12 08:43:03] [INFO ] Unfolded HLPN to a Petri net with 315 places and 666 transitions 2934 arcs in 57 ms.
[2023-03-12 08:43:03] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Reduce places removed 9 places and 9 transitions.
Reduce places removed 9 places and 0 transitions.
[2023-03-12 08:43:03] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 297 places, 657 transitions and 2880 arcs took 21 ms.
Total runtime 1112 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LamportFastMutEx (COL), instance 8
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: 297 places, 657 transitions, 2880 arcs.
AT ITER 0 NEW BEST:: SOT 85737 SOS 55675 HAS SOPS 51356 HAS SOUS 42157 HAS SOUPS 40980 WITH SCORE 41035.675
AT ITER 2 NEW BEST:: SOT 85737 SOS 55640 HAS SOPS 51321 HAS SOUS 42122 HAS SOUPS 40945 WITH SCORE 41000.64
AT ITER 12 NEW BEST:: SOT 85737 SOS 55455 HAS SOPS 51136 HAS SOUS 42122 HAS SOUPS 40945 WITH SCORE 41000.455
AT ITER 15 NEW BEST:: SOT 85737 SOS 55434 HAS SOPS 51115 HAS SOUS 42101 HAS SOUPS 40924 WITH SCORE 40979.434
AT ITER 21 NEW BEST:: SOT 85737 SOS 55414 HAS SOPS 51095 HAS SOUS 42081 HAS SOUPS 40904 WITH SCORE 40959.414
AT ITER 29 NEW BEST:: SOT 85081 SOS 54848 HAS SOPS 50529 HAS SOUS 41442 HAS SOUPS 40265 WITH SCORE 40319.848
AT ITER 33 NEW BEST:: SOT 84944 SOS 54395 HAS SOPS 49829 HAS SOUS 41059 HAS SOUPS 39878 WITH SCORE 39932.395
AT ITER 35 NEW BEST:: SOT 84096 SOS 53970 HAS SOPS 48932 HAS SOUS 40286 HAS SOUPS 38981 WITH SCORE 39034.97
AT ITER 44 NEW BEST:: SOT 84096 SOS 53938 HAS SOPS 48900 HAS SOUS 40254 HAS SOUPS 38949 WITH SCORE 39002.938
AT ITER 54 NEW BEST:: SOT 84096 SOS 53889 HAS SOPS 48851 HAS SOUS 40205 HAS SOUPS 38900 WITH SCORE 38953.889
AT ITER 56 NEW BEST:: SOT 84096 SOS 53920 HAS SOPS 48826 HAS SOUS 40180 HAS SOUPS 38875 WITH SCORE 38928.92
AT ITER 63 NEW BEST:: SOT 84096 SOS 53896 HAS SOPS 48802 HAS SOUS 40156 HAS SOUPS 38851 WITH SCORE 38904.896
AT ITER 67 NEW BEST:: SOT 83928 SOS 53710 HAS SOPS 48427 HAS SOUS 39804 HAS SOUPS 38485 WITH SCORE 38538.71
AT ITER 78 NEW BEST:: SOT 83242 SOS 53227 HAS SOPS 47685 HAS SOUS 39160 HAS SOUPS 37743 WITH SCORE 37796.227
AT ITER 85 NEW BEST:: SOT 83317 SOS 53369 HAS SOPS 46885 HAS SOUS 39104 HAS SOUPS 36958 WITH SCORE 37011.369
AT ITER 89 NEW BEST:: SOT 83245 SOS 53527 HAS SOPS 46830 HAS SOUS 39241 HAS SOUPS 36903 WITH SCORE 36956.527
AT ITER 90 NEW BEST:: SOT 83245 SOS 53530 HAS SOPS 46777 HAS SOUS 39188 HAS SOUPS 36850 WITH SCORE 36903.53
AT ITER 92 NEW BEST:: SOT 83189 SOS 53422 HAS SOPS 46693 HAS SOUS 39084 HAS SOUPS 36766 WITH SCORE 36819.422
AT ITER 98 NEW BEST:: SOT 83123 SOS 53384 HAS SOPS 46627 HAS SOUS 39046 HAS SOUPS 36700 WITH SCORE 36753.384
AT ITER 102 NEW BEST:: SOT 83123 SOS 53384 HAS SOPS 46627 HAS SOUS 39032 HAS SOUPS 36686 WITH SCORE 36739.384
AT ITER 104 NEW BEST:: SOT 82367 SOS 52896 HAS SOPS 45815 HAS SOUS 38343 HAS SOUPS 35874 WITH SCORE 35926.896
AT ITER 114 NEW BEST:: SOT 81251 SOS 52016 HAS SOPS 44893 HAS SOUS 37296 HAS SOUPS 34827 WITH SCORE 34879.016
AT ITER 126 NEW BEST:: SOT 81140 SOS 51923 HAS SOPS 44758 HAS SOUS 37203 HAS SOUPS 34692 WITH SCORE 34743.923
AT ITER 129 NEW BEST:: SOT 81152 SOS 51957 HAS SOPS 44736 HAS SOUS 37181 HAS SOUPS 34670 WITH SCORE 34721.957
AT ITER 134 NEW BEST:: SOT 81152 SOS 51957 HAS SOPS 44682 HAS SOUS 37127 HAS SOUPS 34616 WITH SCORE 34667.957
AT ITER 136 NEW BEST:: SOT 80657 SOS 51746 HAS SOPS 44613 HAS SOUS 36779 HAS SOUPS 34405 WITH SCORE 34456.746
AT ITER 152 NEW BEST:: SOT 80645 SOS 51734 HAS SOPS 44601 HAS SOUS 36743 HAS SOUPS 34369 WITH SCORE 34420.734
AT ITER 159 NEW BEST:: SOT 80645 SOS 51720 HAS SOPS 44595 HAS SOUS 36737 HAS SOUPS 34363 WITH SCORE 34414.72
AT ITER 171 NEW BEST:: SOT 80645 SOS 51712 HAS SOPS 44584 HAS SOUS 36726 HAS SOUPS 34352 WITH SCORE 34403.712
AT ITER 173 NEW BEST:: SOT 80658 SOS 51725 HAS SOPS 44611 HAS SOUS 36692 HAS SOUPS 34323 WITH SCORE 34374.725
AT ITER 178 NEW BEST:: SOT 80397 SOS 51493 HAS SOPS 44379 HAS SOUS 36431 HAS SOUPS 34062 WITH SCORE 34113.493
AT ITER 182 NEW BEST:: SOT 79361 SOS 50708 HAS SOPS 43594 HAS SOUS 35513 HAS SOUPS 33144 WITH SCORE 33194.708
AT ITER 187 NEW BEST:: SOT 79380 SOS 50737 HAS SOPS 43632 HAS SOUS 35493 HAS SOUPS 33129 WITH SCORE 33179.737
AT ITER 190 NEW BEST:: SOT 79380 SOS 50716 HAS SOPS 43611 HAS SOUS 35472 HAS SOUPS 33108 WITH SCORE 33158.716
AT ITER 201 NEW BEST:: SOT 79380 SOS 50660 HAS SOPS 43595 HAS SOUS 35456 HAS SOUPS 33092 WITH SCORE 33142.66
AT ITER 203 NEW BEST:: SOT 79380 SOS 50660 HAS SOPS 43553 HAS SOUS 35414 HAS SOUPS 33050 WITH SCORE 33100.66
AT ITER 209 NEW BEST:: SOT 78981 SOS 50363 HAS SOPS 43253 HAS SOUS 35063 HAS SOUPS 32699 WITH SCORE 32749.363
AT ITER 218 NEW BEST:: SOT 78814 SOS 50457 HAS SOPS 43055 HAS SOUS 35047 HAS SOUPS 32501 WITH SCORE 32551.457
AT ITER 219 NEW BEST:: SOT 78814 SOS 50325 HAS SOPS 42923 HAS SOUS 35036 HAS SOUPS 32490 WITH SCORE 32540.325
AT ITER 227 NEW BEST:: SOT 78814 SOS 50325 HAS SOPS 42891 HAS SOUS 35016 HAS SOUPS 32458 WITH SCORE 32508.325
AT ITER 241 NEW BEST:: SOT 78748 SOS 50185 HAS SOPS 42705 HAS SOUS 34721 HAS SOUPS 32163 WITH SCORE 32213.185
AT ITER 242 NEW BEST:: SOT 78923 SOS 50383 HAS SOPS 43043 HAS SOUS 34440 HAS SOUPS 31965 WITH SCORE 32015.383
AT ITER 253 NEW BEST:: SOT 78587 SOS 50131 HAS SOPS 42789 HAS SOUS 34144 HAS SOUPS 31669 WITH SCORE 31719.131
AT ITER 266 NEW BEST:: SOT 78585 SOS 50129 HAS SOPS 42793 HAS SOUS 34118 HAS SOUPS 31649 WITH SCORE 31699.129
AT ITER 273 NEW BEST:: SOT 78651 SOS 50277 HAS SOPS 42989 HAS SOUS 34050 HAS SOUPS 31581 WITH SCORE 31631.277
AT ITER 274 NEW BEST:: SOT 79098 SOS 50864 HAS SOPS 42423 HAS SOUS 33581 HAS SOUPS 31015 WITH SCORE 31065.864
AT ITER 281 NEW BEST:: SOT 79097 SOS 50854 HAS SOPS 42413 HAS SOUS 33571 HAS SOUPS 31005 WITH SCORE 31055.854
AT ITER 288 NEW BEST:: SOT 79041 SOS 50798 HAS SOPS 42357 HAS SOUS 33515 HAS SOUPS 30949 WITH SCORE 30999.798
AT ITER 295 NEW BEST:: SOT 78978 SOS 50742 HAS SOPS 42301 HAS SOUS 33452 HAS SOUPS 30886 WITH SCORE 30936.742
AT ITER 296 NEW BEST:: SOT 78967 SOS 50720 HAS SOPS 42279 HAS SOUS 33430 HAS SOUPS 30864 WITH SCORE 30914.72
AT ITER 299 NEW BEST:: SOT 78967 SOS 50681 HAS SOPS 42279 HAS SOUS 33396 HAS SOUPS 30864 WITH SCORE 30914.681
AT ITER 316 NEW BEST:: SOT 78967 SOS 50625 HAS SOPS 42223 HAS SOUS 33340 HAS SOUPS 30808 WITH SCORE 30858.625
AT ITER 325 NEW BEST:: SOT 78934 SOS 50549 HAS SOPS 42190 HAS SOUS 33328 HAS SOUPS 30775 WITH SCORE 30825.549
AT ITER 336 NEW BEST:: SOT 78830 SOS 50450 HAS SOPS 42010 HAS SOUS 32916 HAS SOUPS 30363 WITH SCORE 30413.45
AT ITER 345 NEW BEST:: SOT 78830 SOS 50433 HAS SOPS 41987 HAS SOUS 32893 HAS SOUPS 30340 WITH SCORE 30390.433
AT ITER 356 NEW BEST:: SOT 78810 SOS 50413 HAS SOPS 41967 HAS SOUS 32873 HAS SOUPS 30320 WITH SCORE 30370.413
AT ITER 374 NEW BEST:: SOT 78673 SOS 50249 HAS SOPS 41716 HAS SOUS 32430 HAS SOUPS 29877 WITH SCORE 29927.249
AT ITER 376 NEW BEST:: SOT 78661 SOS 50181 HAS SOPS 41715 HAS SOUS 32429 HAS SOUPS 29876 WITH SCORE 29926.181
AT ITER 379 NEW BEST:: SOT 78631 SOS 50151 HAS SOPS 41685 HAS SOUS 32399 HAS SOUPS 29846 WITH SCORE 29896.151
AT ITER 398 NEW BEST:: SOT 78660 SOS 50202 HAS SOPS 41749 HAS SOUS 32363 HAS SOUPS 29813 WITH SCORE 29863.202
AT ITER 406 NEW BEST:: SOT 78576 SOS 50210 HAS SOPS 41665 HAS SOUS 32359 HAS SOUPS 29729 WITH SCORE 29779.21
AT ITER 424 NEW BEST:: SOT 78564 SOS 50198 HAS SOPS 41653 HAS SOUS 32347 HAS SOUPS 29717 WITH SCORE 29767.198
AT ITER 425 NEW BEST:: SOT 78545 SOS 50179 HAS SOPS 41643 HAS SOUS 32326 HAS SOUPS 29707 WITH SCORE 29757.179
AT ITER 428 NEW BEST:: SOT 78527 SOS 50161 HAS SOPS 41625 HAS SOUS 32308 HAS SOUPS 29689 WITH SCORE 29739.161
AT ITER 430 NEW BEST:: SOT 78540 SOS 50174 HAS SOPS 41102 HAS SOUS 32585 HAS SOUPS 29430 WITH SCORE 29480.174
AT ITER 437 NEW BEST:: SOT 78583 SOS 50151 HAS SOPS 41067 HAS SOUS 32551 HAS SOUPS 29395 WITH SCORE 29445.151
AT ITER 439 NEW BEST:: SOT 78583 SOS 50129 HAS SOPS 41045 HAS SOUS 32529 HAS SOUPS 29373 WITH SCORE 29423.129
AT ITER 453 NEW BEST:: SOT 78577 SOS 50123 HAS SOPS 41032 HAS SOUS 32516 HAS SOUPS 29360 WITH SCORE 29410.123
AT ITER 454 NEW BEST:: SOT 78612 SOS 50172 HAS SOPS 41081 HAS SOUS 32473 HAS SOUPS 29317 WITH SCORE 29367.172
AT ITER 464 NEW BEST:: SOT 78612 SOS 50168 HAS SOPS 41077 HAS SOUS 32471 HAS SOUPS 29315 WITH SCORE 29365.168
AT ITER 471 NEW BEST:: SOT 78612 SOS 50136 HAS SOPS 41045 HAS SOUS 32471 HAS SOUPS 29315 WITH SCORE 29365.136
AT ITER 481 NEW BEST:: SOT 78612 SOS 50121 HAS SOPS 41030 HAS SOUS 32456 HAS SOUPS 29300 WITH SCORE 29350.121
AT ITER 487 NEW BEST:: SOT 78612 SOS 50057 HAS SOPS 40966 HAS SOUS 32452 HAS SOUPS 29296 WITH SCORE 29346.057
AT ITER 491 NEW BEST:: SOT 78618 SOS 50058 HAS SOPS 40905 HAS SOUS 32449 HAS SOUPS 29235 WITH SCORE 29285.058
AT ITER 493 NEW BEST:: SOT 78618 SOS 50057 HAS SOPS 40904 HAS SOUS 32448 HAS SOUPS 29234 WITH SCORE 29284.057
AT ITER 499 NEW BEST:: SOT 78097 SOS 49705 HAS SOPS 40383 HAS SOUS 32009 HAS SOUPS 28713 WITH SCORE 28762.705
AT ITER 506 NEW BEST:: SOT 78393 SOS 50154 HAS SOPS 40885 HAS SOUS 31922 HAS SOUPS 28679 WITH SCORE 28729.154
AT ITER 507 NEW BEST:: SOT 78393 SOS 50146 HAS SOPS 40877 HAS SOUS 31914 HAS SOUPS 28671 WITH SCORE 28721.146
AT ITER 550 NEW BEST:: SOT 78392 SOS 50161 HAS SOPS 40874 HAS SOUS 31929 HAS SOUPS 28668 WITH SCORE 28718.161
AT ITER 553 NEW BEST:: SOT 78241 SOS 50010 HAS SOPS 40704 HAS SOUS 31711 HAS SOUPS 28450 WITH SCORE 28500.01
AT ITER 556 NEW BEST:: SOT 78230 SOS 49837 HAS SOPS 40453 HAS SOUS 31640 HAS SOUPS 28353 WITH SCORE 28402.837
AT ITER 560 NEW BEST:: SOT 78240 SOS 49848 HAS SOPS 40471 HAS SOUS 31578 HAS SOUPS 28295 WITH SCORE 28344.848
AT ITER 562 NEW BEST:: SOT 78240 SOS 49848 HAS SOPS 40391 HAS SOUS 31498 HAS SOUPS 28215 WITH SCORE 28264.848
AT ITER 563 NEW BEST:: SOT 78240 SOS 49848 HAS SOPS 40385 HAS SOUS 31492 HAS SOUPS 28209 WITH SCORE 28258.848
AT ITER 568 NEW BEST:: SOT 78176 SOS 49794 HAS SOPS 40321 HAS SOUS 31436 HAS SOUPS 28145 WITH SCORE 28194.794
AT ITER 572 NEW BEST:: SOT 78159 SOS 49760 HAS SOPS 40287 HAS SOUS 31419 HAS SOUPS 28128 WITH SCORE 28177.76
AT ITER 573 NEW BEST:: SOT 78159 SOS 49760 HAS SOPS 40272 HAS SOUS 31440 HAS SOUPS 28113 WITH SCORE 28162.76
AT ITER 575 NEW BEST:: SOT 78159 SOS 49741 HAS SOPS 40253 HAS SOUS 31421 HAS SOUPS 28094 WITH SCORE 28143.741
AT ITER 577 NEW BEST:: SOT 78092 SOS 49804 HAS SOPS 40167 HAS SOUS 31419 HAS SOUPS 27943 WITH SCORE 27992.804
AT ITER 582 NEW BEST:: SOT 78075 SOS 49799 HAS SOPS 40191 HAS SOUS 31072 HAS SOUPS 27610 WITH SCORE 27659.799
AT ITER 585 NEW BEST:: SOT 78070 SOS 49785 HAS SOPS 40172 HAS SOUS 31068 HAS SOUPS 27606 WITH SCORE 27655.785
AT ITER 587 NEW BEST:: SOT 78072 SOS 49787 HAS SOPS 40156 HAS SOUS 31052 HAS SOUPS 27590 WITH SCORE 27639.787
AT ITER 590 NEW BEST:: SOT 78012 SOS 49722 HAS SOPS 40091 HAS SOUS 30987 HAS SOUPS 27525 WITH SCORE 27574.722
AT ITER 593 NEW BEST:: SOT 78012 SOS 49687 HAS SOPS 40056 HAS SOUS 30987 HAS SOUPS 27525 WITH SCORE 27574.687
AT ITER 601 NEW BEST:: SOT 77981 SOS 49620 HAS SOPS 39998 HAS SOUS 30929 HAS SOUPS 27467 WITH SCORE 27516.62
AT ITER 610 NEW BEST:: SOT 77913 SOS 49552 HAS SOPS 39930 HAS SOUS 30861 HAS SOUPS 27399 WITH SCORE 27448.552
AT ITER 613 NEW BEST:: SOT 77976 SOS 49637 HAS SOPS 39839 HAS SOUS 30759 HAS SOUPS 27297 WITH SCORE 27346.637
AT ITER 620 NEW BEST:: SOT 77927 SOS 49588 HAS SOPS 39782 HAS SOUS 30638 HAS SOUPS 27176 WITH SCORE 27225.588
AT ITER 628 NEW BEST:: SOT 77886 SOS 49442 HAS SOPS 39656 HAS SOUS 30513 HAS SOUPS 27050 WITH SCORE 27099.442
AT ITER 629 NEW BEST:: SOT 77728 SOS 49411 HAS SOPS 39498 HAS SOUS 30445 HAS SOUPS 26892 WITH SCORE 26941.411
AT ITER 635 NEW BEST:: SOT 77714 SOS 49318 HAS SOPS 39443 HAS SOUS 30390 HAS SOUPS 26837 WITH SCORE 26886.318
AT ITER 638 NEW BEST:: SOT 77714 SOS 49328 HAS SOPS 39424 HAS SOUS 30361 HAS SOUPS 26818 WITH SCORE 26867.328
AT ITER 647 NEW BEST:: SOT 77714 SOS 49335 HAS SOPS 39411 HAS SOUS 30348 HAS SOUPS 26805 WITH SCORE 26854.335
AT ITER 651 NEW BEST:: SOT 77564 SOS 49185 HAS SOPS 39261 HAS SOUS 30078 HAS SOUPS 26535 WITH SCORE 26584.185
AT ITER 659 NEW BEST:: SOT 77349 SOS 48882 HAS SOPS 39027 HAS SOUS 30020 HAS SOUPS 26477 WITH SCORE 26525.882
AT ITER 662 NEW BEST:: SOT 77349 SOS 48869 HAS SOPS 39014 HAS SOUS 30007 HAS SOUPS 26464 WITH SCORE 26512.869
AT ITER 672 NEW BEST:: SOT 77316 SOS 48848 HAS SOPS 38948 HAS SOUS 29937 HAS SOUPS 26398 WITH SCORE 26446.848
AT ITER 679 NEW BEST:: SOT 76973 SOS 48505 HAS SOPS 38915 HAS SOUS 29900 HAS SOUPS 26365 WITH SCORE 26413.505
AT ITER 684 NEW BEST:: SOT 76970 SOS 48483 HAS SOPS 38875 HAS SOUS 29878 HAS SOUPS 26325 WITH SCORE 26373.483
AT ITER 689 NEW BEST:: SOT 76567 SOS 48254 HAS SOPS 38472 HAS SOUS 29816 HAS SOUPS 26186 WITH SCORE 26234.254
AT ITER 699 NEW BEST:: SOT 76552 SOS 48239 HAS SOPS 38433 HAS SOUS 29801 HAS SOUPS 26147 WITH SCORE 26195.239
AT ITER 704 NEW BEST:: SOT 76542 SOS 48229 HAS SOPS 38423 HAS SOUS 29791 HAS SOUPS 26137 WITH SCORE 26185.229
AT ITER 708 NEW BEST:: SOT 76338 SOS 48075 HAS SOPS 38065 HAS SOUS 29408 HAS SOUPS 25754 WITH SCORE 25802.075
AT ITER 712 NEW BEST:: SOT 76327 SOS 48025 HAS SOPS 38021 HAS SOUS 29371 HAS SOUPS 25710 WITH SCORE 25758.025
AT ITER 715 NEW BEST:: SOT 76327 SOS 48015 HAS SOPS 38021 HAS SOUS 29380 HAS SOUPS 25710 WITH SCORE 25758.015
AT ITER 723 NEW BEST:: SOT 76313 SOS 48015 HAS SOPS 38005 HAS SOUS 29368 HAS SOUPS 25694 WITH SCORE 25742.015
AT ITER 735 NEW BEST:: SOT 76276 SOS 48004 HAS SOPS 37968 HAS SOUS 29361 HAS SOUPS 25657 WITH SCORE 25705.004
AT ITER 736 NEW BEST:: SOT 76276 SOS 48004 HAS SOPS 37952 HAS SOUS 29345 HAS SOUPS 25641 WITH SCORE 25689.004
AT ITER 741 NEW BEST:: SOT 76272 SOS 48000 HAS SOPS 37944 HAS SOUS 29337 HAS SOUPS 25633 WITH SCORE 25681.0
AT ITER 745 NEW BEST:: SOT 76329 SOS 48092 HAS SOPS 37754 HAS SOUS 29354 HAS SOUPS 25430 WITH SCORE 25478.092
AT ITER 748 NEW BEST:: SOT 76301 SOS 48064 HAS SOPS 37726 HAS SOUS 29326 HAS SOUPS 25402 WITH SCORE 25450.064
AT ITER 749 NEW BEST:: SOT 76153 SOS 48039 HAS SOPS 37740 HAS SOUS 29065 HAS SOUPS 25141 WITH SCORE 25189.039
AT ITER 759 NEW BEST:: SOT 76155 SOS 48035 HAS SOPS 37736 HAS SOUS 29061 HAS SOUPS 25137 WITH SCORE 25185.035
AT ITER 791 NEW BEST:: SOT 76145 SOS 48025 HAS SOPS 37726 HAS SOUS 29051 HAS SOUPS 25127 WITH SCORE 25175.025
AT ITER 795 NEW BEST:: SOT 76136 SOS 48016 HAS SOPS 37708 HAS SOUS 29042 HAS SOUPS 25109 WITH SCORE 25157.016
AT ITER 798 NEW BEST:: SOT 76136 SOS 47643 HAS SOPS 37335 HAS SOUS 29021 HAS SOUPS 25088 WITH SCORE 25135.643
AT ITER 800 NEW BEST:: SOT 76133 SOS 47640 HAS SOPS 37332 HAS SOUS 29018 HAS SOUPS 25085 WITH SCORE 25132.64
AT ITER 809 NEW BEST:: SOT 76130 SOS 47637 HAS SOPS 37323 HAS SOUS 29015 HAS SOUPS 25076 WITH SCORE 25123.637
AT ITER 819 NEW BEST:: SOT 76050 SOS 47577 HAS SOPS 37173 HAS SOUS 28855 HAS SOUPS 24916 WITH SCORE 24963.577
AT ITER 831 NEW BEST:: SOT 76050 SOS 47565 HAS SOPS 37173 HAS SOUS 28862 HAS SOUPS 24916 WITH SCORE 24963.565
AT ITER 845 NEW BEST:: SOT 75958 SOS 47369 HAS SOPS 36933 HAS SOUS 28747 HAS SOUPS 24801 WITH SCORE 24848.369
AT ITER 847 NEW BEST:: SOT 75912 SOS 47323 HAS SOPS 36831 HAS SOUS 28666 HAS SOUPS 24699 WITH SCORE 24746.323
AT ITER 851 NEW BEST:: SOT 75516 SOS 47186 HAS SOPS 36435 HAS SOUS 28722 HAS SOUPS 24611 WITH SCORE 24658.186
AT ITER 854 NEW BEST:: SOT 75503 SOS 47186 HAS SOPS 36422 HAS SOUS 28709 HAS SOUPS 24598 WITH SCORE 24645.186
AT ITER 860 NEW BEST:: SOT 75691 SOS 47157 HAS SOPS 36120 HAS SOUS 28677 HAS SOUPS 24552 WITH SCORE 24599.157
AT ITER 907 NEW BEST:: SOT 75691 SOS 47171 HAS SOPS 36083 HAS SOUS 28640 HAS SOUPS 24515 WITH SCORE 24562.171
AT ITER 924 NEW BEST:: SOT 75691 SOS 47165 HAS SOPS 36065 HAS SOUS 28622 HAS SOUPS 24497 WITH SCORE 24544.165
AT ITER 931 NEW BEST:: SOT 75685 SOS 47159 HAS SOPS 36059 HAS SOUS 28616 HAS SOUPS 24491 WITH SCORE 24538.159
AT ITER 954 NEW BEST:: SOT 75683 SOS 47157 HAS SOPS 36057 HAS SOUS 28614 HAS SOUPS 24489 WITH SCORE 24536.157
AT ITER 957 NEW BEST:: SOT 75704 SOS 47220 HAS SOPS 36099 HAS SOUS 28560 HAS SOUPS 24435 WITH SCORE 24482.22
AT ITER 960 NEW BEST:: SOT 75612 SOS 47128 HAS SOPS 35959 HAS SOUS 28647 HAS SOUPS 24295 WITH SCORE 24342.128
AT ITER 969 NEW BEST:: SOT 75603 SOS 47121 HAS SOPS 35934 HAS SOUS 28693 HAS SOUPS 24270 WITH SCORE 24317.121
AT ITER 993 NEW BEST:: SOT 75522 SOS 47062 HAS SOPS 35817 HAS SOUS 28721 HAS SOUPS 24153 WITH SCORE 24200.062
AT ITER 1001 NEW BEST:: SOT 75522 SOS 47061 HAS SOPS 35817 HAS SOUS 28721 HAS SOUPS 24153 WITH SCORE 24200.061
AT ITER 1006 NEW BEST:: SOT 75454 SOS 46840 HAS SOPS 35596 HAS SOUS 28559 HAS SOUPS 23991 WITH SCORE 24037.84
AT ITER 1016 NEW BEST:: SOT 75444 SOS 46830 HAS SOPS 35586 HAS SOUS 28524 HAS SOUPS 23981 WITH SCORE 24027.83
AT ITER 1022 NEW BEST:: SOT 75441 SOS 46827 HAS SOPS 35581 HAS SOUS 28503 HAS SOUPS 23960 WITH SCORE 24006.827
AT ITER 1026 NEW BEST:: SOT 75461 SOS 46788 HAS SOPS 35585 HAS SOUS 28300 HAS SOUPS 23771 WITH SCORE 23817.788
AT ITER 1037 NEW BEST:: SOT 75457 SOS 46784 HAS SOPS 35564 HAS SOUS 28296 HAS SOUPS 23750 WITH SCORE 23796.784
AT ITER 1053 NEW BEST:: SOT 75455 SOS 46782 HAS SOPS 35560 HAS SOUS 28294 HAS SOUPS 23746 WITH SCORE 23792.782
AT ITER 1080 NEW BEST:: SOT 75049 SOS 46507 HAS SOPS 35154 HAS SOUS 28226 HAS SOUPS 23600 WITH SCORE 23646.507
AT ITER 1089 NEW BEST:: SOT 74663 SOS 46399 HAS SOPS 34754 HAS SOUS 28100 HAS SOUPS 23356 WITH SCORE 23402.399
AT ITER 1105 NEW BEST:: SOT 74574 SOS 46392 HAS SOPS 34665 HAS SOUS 28159 HAS SOUPS 23267 WITH SCORE 23313.392
AT ITER 1106 NEW BEST:: SOT 74504 SOS 46594 HAS SOPS 34574 HAS SOUS 28525 HAS SOUPS 23176 WITH SCORE 23222.594
AT ITER 1119 NEW BEST:: SOT 74501 SOS 46387 HAS SOPS 34352 HAS SOUS 28506 HAS SOUPS 23157 WITH SCORE 23203.387
AT ITER 1134 NEW BEST:: SOT 74501 SOS 46379 HAS SOPS 34328 HAS SOUS 28482 HAS SOUPS 23133 WITH SCORE 23179.379
AT ITER 1137 NEW BEST:: SOT 74487 SOS 46365 HAS SOPS 34321 HAS SOUS 28468 HAS SOUPS 23126 WITH SCORE 23172.365
AT ITER 1162 NEW BEST:: SOT 74472 SOS 46357 HAS SOPS 34298 HAS SOUS 28460 HAS SOUPS 23103 WITH SCORE 23149.357
AT ITER 1163 NEW BEST:: SOT 74453 SOS 46338 HAS SOPS 34260 HAS SOUS 28441 HAS SOUPS 23065 WITH SCORE 23111.338
AT ITER 1174 NEW BEST:: SOT 74037 SOS 46015 HAS SOPS 33905 HAS SOUS 28089 HAS SOUPS 22681 WITH SCORE 22727.015
AT ITER 1178 NEW BEST:: SOT 74036 SOS 46014 HAS SOPS 33903 HAS SOUS 28088 HAS SOUPS 22679 WITH SCORE 22725.014
AT ITER 1180 NEW BEST:: SOT 74026 SOS 46004 HAS SOPS 33883 HAS SOUS 28078 HAS SOUPS 22659 WITH SCORE 22705.004
AT ITER 1183 NEW BEST:: SOT 74023 SOS 46023 HAS SOPS 33862 HAS SOUS 28135 HAS SOUPS 22638 WITH SCORE 22684.023
AT ITER 1188 NEW BEST:: SOT 74017 SOS 46017 HAS SOPS 33856 HAS SOUS 28109 HAS SOUPS 22612 WITH SCORE 22658.017
AT ITER 1194 NEW BEST:: SOT 74011 SOS 46011 HAS SOPS 33844 HAS SOUS 28146 HAS SOUPS 22600 WITH SCORE 22646.011
AT ITER 1201 NEW BEST:: SOT 74010 SOS 46011 HAS SOPS 33843 HAS SOUS 28145 HAS SOUPS 22599 WITH SCORE 22645.011
AT ITER 1211 NEW BEST:: SOT 73998 SOS 45999 HAS SOPS 33833 HAS SOUS 28135 HAS SOUPS 22589 WITH SCORE 22634.999
AT ITER 1245 NEW BEST:: SOT 73976 SOS 46001 HAS SOPS 33787 HAS SOUS 28128 HAS SOUPS 22543 WITH SCORE 22589.001
AT ITER 1257 NEW BEST:: SOT 73979 SOS 46006 HAS SOPS 33750 HAS SOUS 28141 HAS SOUPS 22506 WITH SCORE 22552.006
AT ITER 1274 NEW BEST:: SOT 73962 SOS 45989 HAS SOPS 33721 HAS SOUS 28121 HAS SOUPS 22477 WITH SCORE 22522.989
AT ITER 1288 NEW BEST:: SOT 73690 SOS 45717 HAS SOPS 33449 HAS SOUS 28089 HAS SOUPS 22445 WITH SCORE 22490.717
AT ITER 1289 NEW BEST:: SOT 73683 SOS 45710 HAS SOPS 33435 HAS SOUS 28082 HAS SOUPS 22431 WITH SCORE 22476.71
AT ITER 1298 NEW BEST:: SOT 73700 SOS 45674 HAS SOPS 33410 HAS SOUS 28070 HAS SOUPS 22419 WITH SCORE 22464.674
AT ITER 1304 NEW BEST:: SOT 73700 SOS 45499 HAS SOPS 33235 HAS SOUS 28070 HAS SOUPS 22419 WITH SCORE 22464.499
AT ITER 1306 NEW BEST:: SOT 73693 SOS 45495 HAS SOPS 33231 HAS SOUS 28066 HAS SOUPS 22415 WITH SCORE 22460.495
AT ITER 1326 NEW BEST:: SOT 73658 SOS 45460 HAS SOPS 33161 HAS SOUS 28015 HAS SOUPS 22345 WITH SCORE 22390.46
AT ITER 1329 NEW BEST:: SOT 73661 SOS 45463 HAS SOPS 33153 HAS SOUS 28018 HAS SOUPS 22337 WITH SCORE 22382.463
AT ITER 1355 NEW BEST:: SOT 73604 SOS 45406 HAS SOPS 33091 HAS SOUS 27961 HAS SOUPS 22275 WITH SCORE 22320.406
AT ITER 1359 NEW BEST:: SOT 73678 SOS 45405 HAS SOPS 33163 HAS SOUS 27740 HAS SOUPS 22075 WITH SCORE 22120.405
AT ITER 1373 NEW BEST:: SOT 73679 SOS 45402 HAS SOPS 33157 HAS SOUS 27738 HAS SOUPS 22073 WITH SCORE 22118.402
AT ITER 1387 NEW BEST:: SOT 73672 SOS 45395 HAS SOPS 33143 HAS SOUS 27731 HAS SOUPS 22059 WITH SCORE 22104.395
AT ITER 1410 NEW BEST:: SOT 73672 SOS 45390 HAS SOPS 33143 HAS SOUS 27731 HAS SOUPS 22059 WITH SCORE 22104.39
AT ITER 1417 NEW BEST:: SOT 73640 SOS 45358 HAS SOPS 33079 HAS SOUS 27699 HAS SOUPS 21995 WITH SCORE 22040.358
AT ITER 1419 NEW BEST:: SOT 73640 SOS 45356 HAS SOPS 33077 HAS SOUS 27699 HAS SOUPS 21995 WITH SCORE 22040.356
AT ITER 1427 NEW BEST:: SOT 73640 SOS 45323 HAS SOPS 33044 HAS SOUS 27699 HAS SOUPS 21995 WITH SCORE 22040.323
AT ITER 1428 NEW BEST:: SOT 73645 SOS 45327 HAS SOPS 33040 HAS SOUS 27695 HAS SOUPS 21991 WITH SCORE 22036.327
AT ITER 1431 NEW BEST:: SOT 73605 SOS 45297 HAS SOPS 33000 HAS SOUS 27650 HAS SOUPS 21946 WITH SCORE 21991.297
AT ITER 1436 NEW BEST:: SOT 73605 SOS 45265 HAS SOPS 32968 HAS SOUS 27618 HAS SOUPS 21914 WITH SCORE 21959.265
AT ITER 1450 NEW BEST:: SOT 73662 SOS 45415 HAS SOPS 33118 HAS SOUS 27540 HAS SOUPS 21836 WITH SCORE 21881.415
AT ITER 1456 NEW BEST:: SOT 73686 SOS 45373 HAS SOPS 33067 HAS SOUS 27522 HAS SOUPS 21818 WITH SCORE 21863.373
AT ITER 1461 NEW BEST:: SOT 73446 SOS 45133 HAS SOPS 32807 HAS SOUS 27282 HAS SOUPS 21558 WITH SCORE 21603.133
AT ITER 1465 NEW BEST:: SOT 73434 SOS 45121 HAS SOPS 32784 HAS SOUS 27270 HAS SOUPS 21535 WITH SCORE 21580.121
AT ITER 1474 NEW BEST:: SOT 73374 SOS 45091 HAS SOPS 32724 HAS SOUS 27215 HAS SOUPS 21475 WITH SCORE 21520.091
AT ITER 1476 NEW BEST:: SOT 73374 SOS 44913 HAS SOPS 32546 HAS SOUS 27213 HAS SOUPS 21473 WITH SCORE 21517.913
AT ITER 1495 NEW BEST:: SOT 73072 SOS 44619 HAS SOPS 32248 HAS SOUS 27143 HAS SOUPS 21399 WITH SCORE 21443.619
AT ITER 1533 NEW BEST:: SOT 72714 SOS 44351 HAS SOPS 31980 HAS SOUS 26830 HAS SOUPS 21086 WITH SCORE 21130.351
AT ITER 1547 NEW BEST:: SOT 72714 SOS 44312 HAS SOPS 31997 HAS SOUS 26817 HAS SOUPS 21073 WITH SCORE 21117.312
AT ITER 1553 NEW BEST:: SOT 72690 SOS 44288 HAS SOPS 31980 HAS SOUS 26793 HAS SOUPS 21056 WITH SCORE 21100.288
AT ITER 1555 NEW BEST:: SOT 72687 SOS 44285 HAS SOPS 31974 HAS SOUS 26788 HAS SOUPS 21050 WITH SCORE 21094.285
AT ITER 1561 NEW BEST:: SOT 72642 SOS 44237 HAS SOPS 31881 HAS SOUS 26726 HAS SOUPS 20957 WITH SCORE 21001.237
AT ITER 1569 NEW BEST:: SOT 72638 SOS 44233 HAS SOPS 31877 HAS SOUS 26722 HAS SOUPS 20953 WITH SCORE 20997.233
AT ITER 1576 NEW BEST:: SOT 72638 SOS 44089 HAS SOPS 31733 HAS SOUS 26714 HAS SOUPS 20945 WITH SCORE 20989.089
AT ITER 1577 NEW BEST:: SOT 72656 SOS 44243 HAS SOPS 31607 HAS SOUS 26606 HAS SOUPS 20819 WITH SCORE 20863.243
AT ITER 1598 NEW BEST:: SOT 72667 SOS 44265 HAS SOPS 31541 HAS SOUS 26540 HAS SOUPS 20753 WITH SCORE 20797.265
AT ITER 1599 NEW BEST:: SOT 72667 SOS 44265 HAS SOPS 31537 HAS SOUS 26540 HAS SOUPS 20749 WITH SCORE 20793.265
AT ITER 1604 NEW BEST:: SOT 72665 SOS 44263 HAS SOPS 31535 HAS SOUS 26538 HAS SOUPS 20747 WITH SCORE 20791.263
AT ITER 1605 NEW BEST:: SOT 72663 SOS 44258 HAS SOPS 31516 HAS SOUS 26533 HAS SOUPS 20728 WITH SCORE 20772.258
AT ITER 1607 NEW BEST:: SOT 72667 SOS 44323 HAS SOPS 31581 HAS SOUS 26478 HAS SOUPS 20673 WITH SCORE 20717.323
AT ITER 1635 NEW BEST:: SOT 72653 SOS 44309 HAS SOPS 31553 HAS SOUS 26464 HAS SOUPS 20645 WITH SCORE 20689.309
AT ITER 1639 NEW BEST:: SOT 72643 SOS 44299 HAS SOPS 31533 HAS SOUS 26454 HAS SOUPS 20625 WITH SCORE 20669.299
AT ITER 1670 NEW BEST:: SOT 72454 SOS 44027 HAS SOPS 31261 HAS SOUS 26338 HAS SOUPS 20509 WITH SCORE 20553.027
AT ITER 1682 NEW BEST:: SOT 72571 SOS 44197 HAS SOPS 31246 HAS SOUS 26397 HAS SOUPS 20494 WITH SCORE 20538.197
AT ITER 1702 NEW BEST:: SOT 72318 SOS 44032 HAS SOPS 31081 HAS SOUS 26188 HAS SOUPS 20285 WITH SCORE 20329.032
AT ITER 1713 NEW BEST:: SOT 72295 SOS 44009 HAS SOPS 31058 HAS SOUS 26165 HAS SOUPS 20262 WITH SCORE 20306.009
AT ITER 1742 NEW BEST:: SOT 72283 SOS 43997 HAS SOPS 31034 HAS SOUS 26158 HAS SOUPS 20238 WITH SCORE 20281.997
AT ITER 1747 NEW BEST:: SOT 72283 SOS 43881 HAS SOPS 30918 HAS SOUS 26152 HAS SOUPS 20232 WITH SCORE 20275.881
AT ITER 1751 NEW BEST:: SOT 72271 SOS 43869 HAS SOPS 30906 HAS SOUS 26140 HAS SOUPS 20220 WITH SCORE 20263.869
AT ITER 1761 NEW BEST:: SOT 72263 SOS 43861 HAS SOPS 30890 HAS SOUS 26132 HAS SOUPS 20204 WITH SCORE 20247.861
AT ITER 1800 NEW BEST:: SOT 72392 SOS 44022 HAS SOPS 31090 HAS SOUS 26074 HAS SOUPS 20180 WITH SCORE 20224.022
AT ITER 1805 NEW BEST:: SOT 72390 SOS 44029 HAS SOPS 31086 HAS SOUS 26122 HAS SOUPS 20176 WITH SCORE 20220.029
AT ITER 1817 NEW BEST:: SOT 72362 SOS 43835 HAS SOPS 30743 HAS SOUS 25903 HAS SOUPS 19957 WITH SCORE 20000.835
AT ITER 1821 NEW BEST:: SOT 72346 SOS 43819 HAS SOPS 30711 HAS SOUS 25887 HAS SOUPS 19925 WITH SCORE 19968.819
AT ITER 1822 NEW BEST:: SOT 72250 SOS 43737 HAS SOPS 30521 HAS SOUS 25690 HAS SOUPS 19728 WITH SCORE 19771.737
AT ITER 1825 NEW BEST:: SOT 72250 SOS 43746 HAS SOPS 30515 HAS SOUS 25684 HAS SOUPS 19722 WITH SCORE 19765.746
AT ITER 1829 NEW BEST:: SOT 72226 SOS 43722 HAS SOPS 30476 HAS SOUS 25660 HAS SOUPS 19683 WITH SCORE 19726.722
AT ITER 1838 NEW BEST:: SOT 72031 SOS 43527 HAS SOPS 30242 HAS SOUS 25444 HAS SOUPS 19449 WITH SCORE 19492.527
AT ITER 1856 NEW BEST:: SOT 72031 SOS 43501 HAS SOPS 30242 HAS SOUS 25444 HAS SOUPS 19449 WITH SCORE 19492.501
AT ITER 1876 NEW BEST:: SOT 71959 SOS 43447 HAS SOPS 30197 HAS SOUS 25390 HAS SOUPS 19395 WITH SCORE 19438.447
AT ITER 1892 NEW BEST:: SOT 71959 SOS 43419 HAS SOPS 30197 HAS SOUS 25387 HAS SOUPS 19395 WITH SCORE 19438.419
AT ITER 1898 NEW BEST:: SOT 71959 SOS 43462 HAS SOPS 30205 HAS SOUS 25360 HAS SOUPS 19368 WITH SCORE 19411.462
AT ITER 1903 NEW BEST:: SOT 71958 SOS 43461 HAS SOPS 30187 HAS SOUS 25359 HAS SOUPS 19350 WITH SCORE 19393.461
AT ITER 1910 NEW BEST:: SOT 71947 SOS 43485 HAS SOPS 30183 HAS SOUS 25378 HAS SOUPS 19346 WITH SCORE 19389.485
AT ITER 1916 NEW BEST:: SOT 71923 SOS 43509 HAS SOPS 30175 HAS SOUS 25282 HAS SOUPS 19250 WITH SCORE 19293.509
AT ITER 1923 NEW BEST:: SOT 71904 SOS 43573 HAS SOPS 30156 HAS SOUS 25295 HAS SOUPS 19239 WITH SCORE 19282.573
AT ITER 1930 NEW BEST:: SOT 71902 SOS 43571 HAS SOPS 30156 HAS SOUS 25285 HAS SOUPS 19231 WITH SCORE 19274.571
AT ITER 1935 NEW BEST:: SOT 71890 SOS 43559 HAS SOPS 30132 HAS SOUS 25273 HAS SOUPS 19207 WITH SCORE 19250.559
AT ITER 1940 NEW BEST:: SOT 71890 SOS 43528 HAS SOPS 30117 HAS SOUS 25249 HAS SOUPS 19192 WITH SCORE 19235.528
AT ITER 1943 NEW BEST:: SOT 72034 SOS 43701 HAS SOPS 30082 HAS SOUS 25229 HAS SOUPS 19172 WITH SCORE 19215.701
AT ITER 1954 NEW BEST:: SOT 72069 SOS 43914 HAS SOPS 30215 HAS SOUS 25207 HAS SOUPS 19150 WITH SCORE 19193.914
AT ITER 1969 NEW BEST:: SOT 72069 SOS 43811 HAS SOPS 30112 HAS SOUS 25207 HAS SOUPS 19150 WITH SCORE 19193.811
AT ITER 1988 NEW BEST:: SOT 72053 SOS 43795 HAS SOPS 30120 HAS SOUS 25179 HAS SOUPS 19122 WITH SCORE 19165.795
AT ITER 2004 NEW BEST:: SOT 72050 SOS 43771 HAS SOPS 30117 HAS SOUS 25030 HAS SOUPS 19119 WITH SCORE 19162.771
AT ITER 2045 NEW BEST:: SOT 72053 SOS 43801 HAS SOPS 30099 HAS SOUS 25015 HAS SOUPS 19101 WITH SCORE 19144.801
AT ITER 2046 NEW BEST:: SOT 72040 SOS 43788 HAS SOPS 30087 HAS SOUS 25002 HAS SOUPS 19089 WITH SCORE 19132.788
AT ITER 2050 NEW BEST:: SOT 72046 SOS 43794 HAS SOPS 30084 HAS SOUS 25008 HAS SOUPS 19086 WITH SCORE 19129.794
AT ITER 2052 NEW BEST:: SOT 72045 SOS 43793 HAS SOPS 30082 HAS SOUS 25007 HAS SOUPS 19084 WITH SCORE 19127.793
AT ITER 2058 NEW BEST:: SOT 72017 SOS 43765 HAS SOPS 30054 HAS SOUS 24979 HAS SOUPS 19056 WITH SCORE 19099.765
AT ITER 2059 NEW BEST:: SOT 72017 SOS 43764 HAS SOPS 30045 HAS SOUS 24970 HAS SOUPS 19047 WITH SCORE 19090.764
AT ITER 2067 NEW BEST:: SOT 72017 SOS 43774 HAS SOPS 30042 HAS SOUS 24967 HAS SOUPS 19044 WITH SCORE 19087.774
AT ITER 2101 NEW BEST:: SOT 72010 SOS 43767 HAS SOPS 30035 HAS SOUS 24960 HAS SOUPS 19037 WITH SCORE 19080.767
AT ITER 2104 NEW BEST:: SOT 71841 SOS 43598 HAS SOPS 29866 HAS SOUS 24927 HAS SOUPS 19004 WITH SCORE 19047.598
AT ITER 2115 NEW BEST:: SOT 71833 SOS 43648 HAS SOPS 29848 HAS SOUS 24890 HAS SOUPS 18967 WITH SCORE 19010.648
AT ITER 2118 NEW BEST:: SOT 71801 SOS 43616 HAS SOPS 29816 HAS SOUS 24858 HAS SOUPS 18935 WITH SCORE 18978.616
AT ITER 2139 NEW BEST:: SOT 71772 SOS 43539 HAS SOPS 29795 HAS SOUS 24439 HAS SOUPS 18544 WITH SCORE 18587.539
AT ITER 2160 NEW BEST:: SOT 71711 SOS 43478 HAS SOPS 29709 HAS SOUS 24378 HAS SOUPS 18458 WITH SCORE 18501.478
AT ITER 2166 NEW BEST:: SOT 71413 SOS 43284 HAS SOPS 29411 HAS SOUS 24205 HAS SOUPS 18160 WITH SCORE 18203.284
AT ITER 2172 NEW BEST:: SOT 71413 SOS 43280 HAS SOPS 29409 HAS SOUS 24205 HAS SOUPS 18160 WITH SCORE 18203.28
AT ITER 2174 NEW BEST:: SOT 71407 SOS 43274 HAS SOPS 29400 HAS SOUS 24199 HAS SOUPS 18151 WITH SCORE 18194.274
AT ITER 2185 NEW BEST:: SOT 71460 SOS 43374 HAS SOPS 29510 HAS SOUS 24169 HAS SOUPS 18125 WITH SCORE 18168.374
AT ITER 2193 NEW BEST:: SOT 71460 SOS 43369 HAS SOPS 29505 HAS SOUS 24162 HAS SOUPS 18118 WITH SCORE 18161.369
AT ITER 2196 NEW BEST:: SOT 71452 SOS 43361 HAS SOPS 29489 HAS SOUS 24154 HAS SOUPS 18102 WITH SCORE 18145.361
AT ITER 2202 NEW BEST:: SOT 71446 SOS 43355 HAS SOPS 29507 HAS SOUS 24028 HAS SOUPS 18000 WITH SCORE 18043.355
AT ITER 2232 NEW BEST:: SOT 71445 SOS 43354 HAS SOPS 29505 HAS SOUS 24027 HAS SOUPS 17998 WITH SCORE 18041.354
AT ITER 2236 NEW BEST:: SOT 71436 SOS 43345 HAS SOPS 29469 HAS SOUS 23994 HAS SOUPS 17962 WITH SCORE 18005.345
AT ITER 2259 NEW BEST:: SOT 71310 SOS 43219 HAS SOPS 29329 HAS SOUS 23742 HAS SOUPS 17710 WITH SCORE 17753.219
AT ITER 2267 NEW BEST:: SOT 71298 SOS 43207 HAS SOPS 29321 HAS SOUS 23730 HAS SOUPS 17702 WITH SCORE 17745.207
AT ITER 2304 NEW BEST:: SOT 71297 SOS 43204 HAS SOPS 29318 HAS SOUS 23728 HAS SOUPS 17700 WITH SCORE 17743.204
AT ITER 2311 NEW BEST:: SOT 71272 SOS 43179 HAS SOPS 29268 HAS SOUS 23703 HAS SOUPS 17650 WITH SCORE 17693.179
AT ITER 2313 NEW BEST:: SOT 71281 SOS 43192 HAS SOPS 29232 HAS SOUS 23703 HAS SOUPS 17614 WITH SCORE 17657.192
AT ITER 2318 NEW BEST:: SOT 71248 SOS 43159 HAS SOPS 29186 HAS SOUS 23702 HAS SOUPS 17600 WITH SCORE 17643.159
AT ITER 2319 NEW BEST:: SOT 71020 SOS 43134 HAS SOPS 28939 HAS SOUS 23759 HAS SOUPS 17517 WITH SCORE 17560.134
AT ITER 2323 NEW BEST:: SOT 71007 SOS 43134 HAS SOPS 28926 HAS SOUS 23746 HAS SOUPS 17504 WITH SCORE 17547.134
AT ITER 2327 NEW BEST:: SOT 70992 SOS 43119 HAS SOPS 28896 HAS SOUS 23731 HAS SOUPS 17474 WITH SCORE 17517.119
AT ITER 2336 NEW BEST:: SOT 70989 SOS 43116 HAS SOPS 28890 HAS SOUS 23728 HAS SOUPS 17468 WITH SCORE 17511.116
AT ITER 2348 NEW BEST:: SOT 70989 SOS 42866 HAS SOPS 28651 HAS SOUS 23716 HAS SOUPS 17456 WITH SCORE 17498.866
AT ITER 2353 NEW BEST:: SOT 70979 SOS 42856 HAS SOPS 28631 HAS SOUS 23706 HAS SOUPS 17436 WITH SCORE 17478.856
AT ITER 2356 NEW BEST:: SOT 70979 SOS 42828 HAS SOPS 28617 HAS SOUS 23706 HAS SOUPS 17436 WITH SCORE 17478.828
AT ITER 2376 NEW BEST:: SOT 70972 SOS 42821 HAS SOPS 28603 HAS SOUS 23699 HAS SOUPS 17422 WITH SCORE 17464.821
AT ITER 2393 NEW BEST:: SOT 70975 SOS 42824 HAS SOPS 28598 HAS SOUS 23702 HAS SOUPS 17417 WITH SCORE 17459.824
AT ITER 2399 NEW BEST:: SOT 70974 SOS 42823 HAS SOPS 28597 HAS SOUS 23701 HAS SOUPS 17416 WITH SCORE 17458.823
AT ITER 2417 NEW BEST:: SOT 70972 SOS 42798 HAS SOPS 28593 HAS SOUS 23676 HAS SOUPS 17412 WITH SCORE 17454.798
AT ITER 2428 NEW BEST:: SOT 70972 SOS 42791 HAS SOPS 28586 HAS SOUS 23669 HAS SOUPS 17405 WITH SCORE 17447.791
AT ITER 2431 NEW BEST:: SOT 70922 SOS 42741 HAS SOPS 28536 HAS SOUS 23619 HAS SOUPS 17355 WITH SCORE 17397.741
AT ITER 2483 NEW BEST:: SOT 70877 SOS 42696 HAS SOPS 28409 HAS SOUS 23540 HAS SOUPS 17276 WITH SCORE 17318.696
AT ITER 2484 NEW BEST:: SOT 70830 SOS 42595 HAS SOPS 28332 HAS SOUS 23463 HAS SOUPS 17199 WITH SCORE 17241.595
AT ITER 2531 NEW BEST:: SOT 70824 SOS 42618 HAS SOPS 28311 HAS SOUS 23468 HAS SOUPS 17178 WITH SCORE 17220.618
AT ITER 2540 NEW BEST:: SOT 70819 SOS 42613 HAS SOPS 28291 HAS SOUS 23463 HAS SOUPS 17158 WITH SCORE 17200.613
AT ITER 2584 NEW BEST:: SOT 70817 SOS 42611 HAS SOPS 28287 HAS SOUS 23461 HAS SOUPS 17154 WITH SCORE 17196.611
AT ITER 2594 NEW BEST:: SOT 70805 SOS 42599 HAS SOPS 28263 HAS SOUS 23421 HAS SOUPS 17130 WITH SCORE 17172.599
AT ITER 2600 NEW BEST:: SOT 70800 SOS 42594 HAS SOPS 28253 HAS SOUS 23393 HAS SOUPS 17120 WITH SCORE 17162.594
AT ITER 2604 NEW BEST:: SOT 70799 SOS 42593 HAS SOPS 28242 HAS SOUS 23399 HAS SOUPS 17109 WITH SCORE 17151.593
AT ITER 2609 NEW BEST:: SOT 70799 SOS 42571 HAS SOPS 28220 HAS SOUS 23377 HAS SOUPS 17087 WITH SCORE 17129.571
AT ITER 2627 NEW BEST:: SOT 70790 SOS 42572 HAS SOPS 28211 HAS SOUS 23478 HAS SOUPS 17078 WITH SCORE 17120.572
AT ITER 2642 NEW BEST:: SOT 70818 SOS 42665 HAS SOPS 28304 HAS SOUS 23415 HAS SOUPS 17015 WITH SCORE 17057.665
AT ITER 2671 NEW BEST:: SOT 70794 SOS 42641 HAS SOPS 28262 HAS SOUS 23391 HAS SOUPS 16973 WITH SCORE 17015.641
AT ITER 2684 NEW BEST:: SOT 70785 SOS 42618 HAS SOPS 28253 HAS SOUS 23292 HAS SOUPS 16964 WITH SCORE 17006.618
AT ITER 2696 NEW BEST:: SOT 70760 SOS 42578 HAS SOPS 28185 HAS SOUS 23226 HAS SOUPS 16896 WITH SCORE 16938.578
AT ITER 2751 NEW BEST:: SOT 70760 SOS 42534 HAS SOPS 28179 HAS SOUS 23197 HAS SOUPS 16890 WITH SCORE 16932.534
AT ITER 2767 NEW BEST:: SOT 70753 SOS 42527 HAS SOPS 28172 HAS SOUS 23190 HAS SOUPS 16883 WITH SCORE 16925.527
AT ITER 2821 NEW BEST:: SOT 70733 SOS 42507 HAS SOPS 28132 HAS SOUS 23170 HAS SOUPS 16843 WITH SCORE 16885.507
AT ITER 2851 NEW BEST:: SOT 70726 SOS 42500 HAS SOPS 28118 HAS SOUS 23163 HAS SOUPS 16829 WITH SCORE 16871.5
AT ITER 2852 NEW BEST:: SOT 70768 SOS 42589 HAS SOPS 28238 HAS SOUS 23076 HAS SOUPS 16754 WITH SCORE 16796.589
AT ITER 2918 NEW BEST:: SOT 70765 SOS 42586 HAS SOPS 28232 HAS SOUS 23071 HAS SOUPS 16748 WITH SCORE 16790.586
AT ITER 2919 NEW BEST:: SOT 70765 SOS 42609 HAS SOPS 28245 HAS SOUS 23058 HAS SOUPS 16735 WITH SCORE 16777.609
AT ITER 2924 NEW BEST:: SOT 70764 SOS 42608 HAS SOPS 28243 HAS SOUS 23057 HAS SOUPS 16733 WITH SCORE 16775.608
AT ITER 2932 NEW BEST:: SOT 70753 SOS 42597 HAS SOPS 28221 HAS SOUS 23046 HAS SOUPS 16711 WITH SCORE 16753.597
AT ITER 2933 NEW BEST:: SOT 70749 SOS 42593 HAS SOPS 28213 HAS SOUS 23041 HAS SOUPS 16703 WITH SCORE 16745.593
AT ITER 2941 NEW BEST:: SOT 70724 SOS 42568 HAS SOPS 28178 HAS SOUS 23016 HAS SOUPS 16668 WITH SCORE 16710.568
AT ITER 2968 NEW BEST:: SOT 70723 SOS 42567 HAS SOPS 28176 HAS SOUS 23015 HAS SOUPS 16666 WITH SCORE 16708.567
AT ITER 2987 NEW BEST:: SOT 70693 SOS 42537 HAS SOPS 28146 HAS SOUS 22985 HAS SOUPS 16636 WITH SCORE 16678.537
AT ITER 3015 NEW BEST:: SOT 70686 SOS 42519 HAS SOPS 28125 HAS SOUS 22964 HAS SOUPS 16615 WITH SCORE 16657.519
AT ITER 3030 NEW BEST:: SOT 70689 SOS 42522 HAS SOPS 28121 HAS SOUS 22967 HAS SOUPS 16611 WITH SCORE 16653.522
AT ITER 3035 NEW BEST:: SOT 70688 SOS 42521 HAS SOPS 28120 HAS SOUS 22966 HAS SOUPS 16610 WITH SCORE 16652.521
AT ITER 3047 NEW BEST:: SOT 70688 SOS 42541 HAS SOPS 28140 HAS SOUS 22962 HAS SOUPS 16606 WITH SCORE 16648.541
AT ITER 3049 NEW BEST:: SOT 70533 SOS 42285 HAS SOPS 27871 HAS SOUS 22736 HAS SOUPS 16380 WITH SCORE 16422.285
AT ITER 3099 NEW BEST:: SOT 70533 SOS 42283 HAS SOPS 27871 HAS SOUS 22736 HAS SOUPS 16380 WITH SCORE 16422.283
AT ITER 3157 NEW BEST:: SOT 70477 SOS 42234 HAS SOPS 27822 HAS SOUS 22680 HAS SOUPS 16324 WITH SCORE 16366.234
AT ITER 3162 NEW BEST:: SOT 70463 SOS 42220 HAS SOPS 27794 HAS SOUS 22666 HAS SOUPS 16296 WITH SCORE 16338.22
AT ITER 3178 NEW BEST:: SOT 70463 SOS 42220 HAS SOPS 27794 HAS SOUS 22662 HAS SOUPS 16292 WITH SCORE 16334.22
AT ITER 3184 NEW BEST:: SOT 70443 SOS 42186 HAS SOPS 27770 HAS SOUS 22645 HAS SOUPS 16275 WITH SCORE 16317.186
AT ITER 3189 NEW BEST:: SOT 70443 SOS 42198 HAS SOPS 27766 HAS SOUS 22641 HAS SOUPS 16271 WITH SCORE 16313.198
AT ITER 3195 NEW BEST:: SOT 70442 SOS 42197 HAS SOPS 27764 HAS SOUS 22640 HAS SOUPS 16269 WITH SCORE 16311.197
AT ITER 3213 NEW BEST:: SOT 70441 SOS 42196 HAS SOPS 27763 HAS SOUS 22619 HAS SOUPS 16248 WITH SCORE 16290.196
AT ITER 3288 NEW BEST:: SOT 70433 SOS 42188 HAS SOPS 27747 HAS SOUS 22611 HAS SOUPS 16232 WITH SCORE 16274.188
AT ITER 3316 NEW BEST:: SOT 70417 SOS 42172 HAS SOPS 27733 HAS SOUS 22595 HAS SOUPS 16216 WITH SCORE 16258.172
AT ITER 3323 NEW BEST:: SOT 70417 SOS 42169 HAS SOPS 27730 HAS SOUS 22592 HAS SOUPS 16213 WITH SCORE 16255.169
AT ITER 3343 NEW BEST:: SOT 70440 SOS 42211 HAS SOPS 27753 HAS SOUS 22663 HAS SOUPS 16204 WITH SCORE 16246.211
AT ITER 3364 NEW BEST:: SOT 70449 SOS 42220 HAS SOPS 27757 HAS SOUS 22651 HAS SOUPS 16192 WITH SCORE 16234.22
AT ITER 3369 NEW BEST:: SOT 70451 SOS 42226 HAS SOPS 27763 HAS SOUS 22647 HAS SOUPS 16188 WITH SCORE 16230.226
AT ITER 3381 NEW BEST:: SOT 70401 SOS 42166 HAS SOPS 27693 HAS SOUS 22577 HAS SOUPS 16118 WITH SCORE 16160.166
AT ITER 3387 NEW BEST:: SOT 70401 SOS 42158 HAS SOPS 27685 HAS SOUS 22576 HAS SOUPS 16117 WITH SCORE 16159.158
AT ITER 3506 NEW BEST:: SOT 70401 SOS 42157 HAS SOPS 27684 HAS SOUS 22576 HAS SOUPS 16117 WITH SCORE 16159.157
AT ITER 3510 NEW BEST:: SOT 70400 SOS 42156 HAS SOPS 27683 HAS SOUS 22575 HAS SOUPS 16116 WITH SCORE 16158.156
AT ITER 3511 NEW BEST:: SOT 70392 SOS 42148 HAS SOPS 27667 HAS SOUS 22567 HAS SOUPS 16100 WITH SCORE 16142.148
AT ITER 3516 NEW BEST:: SOT 70374 SOS 42130 HAS SOPS 27649 HAS SOUS 22562 HAS SOUPS 16095 WITH SCORE 16137.13
AT ITER 3552 NEW BEST:: SOT 70401 SOS 42096 HAS SOPS 27676 HAS SOUS 22545 HAS SOUPS 16062 WITH SCORE 16104.096
AT ITER 3556 NEW BEST:: SOT 70401 SOS 42100 HAS SOPS 27665 HAS SOUS 22534 HAS SOUPS 16051 WITH SCORE 16093.1
AT ITER 3590 NEW BEST:: SOT 70388 SOS 42030 HAS SOPS 27553 HAS SOUS 22486 HAS SOUPS 16003 WITH SCORE 16045.03
AT ITER 3612 NEW BEST:: SOT 70418 SOS 42060 HAS SOPS 27550 HAS SOUS 22532 HAS SOUPS 16000 WITH SCORE 16042.06
AT ITER 3649 NEW BEST:: SOT 70412 SOS 42113 HAS SOPS 27544 HAS SOUS 22540 HAS SOUPS 15994 WITH SCORE 16036.113
AT ITER 3656 NEW BEST:: SOT 70314 SOS 42015 HAS SOPS 27446 HAS SOUS 22450 HAS SOUPS 15904 WITH SCORE 15946.015
AT ITER 3674 NEW BEST:: SOT 70296 SOS 41997 HAS SOPS 27428 HAS SOUS 22432 HAS SOUPS 15886 WITH SCORE 15927.997
AT ITER 3678 NEW BEST:: SOT 70276 SOS 41977 HAS SOPS 27408 HAS SOUS 22412 HAS SOUPS 15866 WITH SCORE 15907.977
AT ITER 3707 NEW BEST:: SOT 70221 SOS 41898 HAS SOPS 27324 HAS SOUS 22328 HAS SOUPS 15782 WITH SCORE 15823.898
AT ITER 3718 NEW BEST:: SOT 70211 SOS 41888 HAS SOPS 27304 HAS SOUS 22318 HAS SOUPS 15762 WITH SCORE 15803.888
AT ITER 3727 NEW BEST:: SOT 70155 SOS 41770 HAS SOPS 27258 HAS SOUS 22249 HAS SOUPS 15708 WITH SCORE 15749.77
AT ITER 3739 NEW BEST:: SOT 70153 SOS 41764 HAS SOPS 27266 HAS SOUS 22243 HAS SOUPS 15702 WITH SCORE 15743.764
AT ITER 3747 NEW BEST:: SOT 70153 SOS 41718 HAS SOPS 27220 HAS SOUS 22241 HAS SOUPS 15700 WITH SCORE 15741.718
AT ITER 3750 NEW BEST:: SOT 70121 SOS 41686 HAS SOPS 27188 HAS SOUS 22209 HAS SOUPS 15668 WITH SCORE 15709.686
AT ITER 3780 NEW BEST:: SOT 70115 SOS 41680 HAS SOPS 27176 HAS SOUS 22203 HAS SOUPS 15656 WITH SCORE 15697.68
AT ITER 3810 NEW BEST:: SOT 70115 SOS 41692 HAS SOPS 27190 HAS SOUS 22189 HAS SOUPS 15642 WITH SCORE 15683.692
AT ITER 3879 NEW BEST:: SOT 70102 SOS 41709 HAS SOPS 27169 HAS SOUS 22259 HAS SOUPS 15621 WITH SCORE 15662.709
AT ITER 3881 NEW BEST:: SOT 70096 SOS 41696 HAS SOPS 27157 HAS SOUS 22256 HAS SOUPS 15609 WITH SCORE 15650.696
AT ITER 3887 NEW BEST:: SOT 70098 SOS 41586 HAS SOPS 27050 HAS SOUS 22243 HAS SOUPS 15596 WITH SCORE 15637.586
AT ITER 3891 NEW BEST:: SOT 70082 SOS 41578 HAS SOPS 27034 HAS SOUS 22227 HAS SOUPS 15580 WITH SCORE 15621.578
AT ITER 3892 NEW BEST:: SOT 70080 SOS 41576 HAS SOPS 27030 HAS SOUS 22225 HAS SOUPS 15576 WITH SCORE 15617.576
AT ITER 3893 NEW BEST:: SOT 70046 SOS 41542 HAS SOPS 26979 HAS SOUS 22191 HAS SOUPS 15525 WITH SCORE 15566.542
AT ITER 3944 NEW BEST:: SOT 70046 SOS 41542 HAS SOPS 26969 HAS SOUS 22191 HAS SOUPS 15515 WITH SCORE 15556.542
AT ITER 3954 NEW BEST:: SOT 70028 SOS 41524 HAS SOPS 26948 HAS SOUS 22173 HAS SOUPS 15494 WITH SCORE 15535.524
AT ITER 3956 NEW BEST:: SOT 70022 SOS 41512 HAS SOPS 26936 HAS SOUS 22164 HAS SOUPS 15485 WITH SCORE 15526.512
AT ITER 3975 NEW BEST:: SOT 70020 SOS 41510 HAS SOPS 26932 HAS SOUS 22162 HAS SOUPS 15481 WITH SCORE 15522.51
AT ITER 3986 NEW BEST:: SOT 69970 SOS 41500 HAS SOPS 26922 HAS SOUS 22132 HAS SOUPS 15451 WITH SCORE 15492.5
AT ITER 4056 NEW BEST:: SOT 69983 SOS 41513 HAS SOPS 26920 HAS SOUS 22151 HAS SOUPS 15449 WITH SCORE 15490.513
AT ITER 4080 NEW BEST:: SOT 70000 SOS 41515 HAS SOPS 26932 HAS SOUS 22130 HAS SOUPS 15431 WITH SCORE 15472.515
AT ITER 4083 NEW BEST:: SOT 70105 SOS 41570 HAS SOPS 27021 HAS SOUS 22013 HAS SOUPS 15331 WITH SCORE 15372.57
AT ITER 4121 NEW BEST:: SOT 70100 SOS 41565 HAS SOPS 27016 HAS SOUS 21998 HAS SOUPS 15316 WITH SCORE 15357.565
AT ITER 4124 NEW BEST:: SOT 70097 SOS 41562 HAS SOPS 27010 HAS SOUS 21995 HAS SOUPS 15310 WITH SCORE 15351.562
AT ITER 4152 NEW BEST:: SOT 70095 SOS 41560 HAS SOPS 27006 HAS SOUS 21993 HAS SOUPS 15306 WITH SCORE 15347.56
AT ITER 4185 NEW BEST:: SOT 70087 SOS 41552 HAS SOPS 26998 HAS SOUS 21985 HAS SOUPS 15298 WITH SCORE 15339.552
AT ITER 4190 NEW BEST:: SOT 70029 SOS 41494 HAS SOPS 26940 HAS SOUS 21927 HAS SOUPS 15240 WITH SCORE 15281.494
AT ITER 4216 NEW BEST:: SOT 69957 SOS 41362 HAS SOPS 26862 HAS SOUS 21833 HAS SOUPS 15162 WITH SCORE 15203.362
AT ITER 4272 NEW BEST:: SOT 69948 SOS 41350 HAS SOPS 26850 HAS SOUS 21825 HAS SOUPS 15154 WITH SCORE 15195.35
AT ITER 4333 NEW BEST:: SOT 69936 SOS 41338 HAS SOPS 26838 HAS SOUS 21821 HAS SOUPS 15150 WITH SCORE 15191.338
AT ITER 4463 NEW BEST:: SOT 69927 SOS 41329 HAS SOPS 26824 HAS SOUS 21807 HAS SOUPS 15136 WITH SCORE 15177.329
AT ITER 4468 NEW BEST:: SOT 69855 SOS 41257 HAS SOPS 26752 HAS SOUS 21739 HAS SOUPS 15068 WITH SCORE 15109.257
AT ITER 4471 NEW BEST:: SOT 69855 SOS 41260 HAS SOPS 26755 HAS SOUS 21738 HAS SOUPS 15067 WITH SCORE 15108.26
AT ITER 4489 NEW BEST:: SOT 69855 SOS 41228 HAS SOPS 26723 HAS SOUS 21738 HAS SOUPS 15067 WITH SCORE 15108.228
AT ITER 4553 NEW BEST:: SOT 69855 SOS 41225 HAS SOPS 26720 HAS SOUS 21738 HAS SOUPS 15067 WITH SCORE 15108.225
AT ITER 4560 NEW BEST:: SOT 69854 SOS 41224 HAS SOPS 26718 HAS SOUS 21737 HAS SOUPS 15065 WITH SCORE 15106.224
AT ITER 4561 NEW BEST:: SOT 69854 SOS 41224 HAS SOPS 26715 HAS SOUS 21736 HAS SOUPS 15062 WITH SCORE 15103.224
AT ITER 4574 NEW BEST:: SOT 69852 SOS 41222 HAS SOPS 26707 HAS SOUS 21734 HAS SOUPS 15054 WITH SCORE 15095.222
AT ITER 4589 NEW BEST:: SOT 69810 SOS 41180 HAS SOPS 26685 HAS SOUS 21680 HAS SOUPS 15000 WITH SCORE 15041.18
AT ITER 4590 NEW BEST:: SOT 69762 SOS 41132 HAS SOPS 26637 HAS SOUS 21632 HAS SOUPS 14952 WITH SCORE 14993.132
AT ITER 4596 NEW BEST:: SOT 69762 SOS 41127 HAS SOPS 26637 HAS SOUS 21632 HAS SOUPS 14952 WITH SCORE 14993.127
AT ITER 4629 NEW BEST:: SOT 69714 SOS 41099 HAS SOPS 26578 HAS SOUS 21695 HAS SOUPS 14937 WITH SCORE 14978.099
AT ITER 4631 NEW BEST:: SOT 69725 SOS 41129 HAS SOPS 26636 HAS SOUS 21643 HAS SOUPS 14891 WITH SCORE 14932.129
AT ITER 4670 NEW BEST:: SOT 69716 SOS 41120 HAS SOPS 26618 HAS SOUS 21634 HAS SOUPS 14873 WITH SCORE 14914.12
AT ITER 4680 NEW BEST:: SOT 69712 SOS 41110 HAS SOPS 26607 HAS SOUS 21623 HAS SOUPS 14862 WITH SCORE 14903.11
AT ITER 4691 NEW BEST:: SOT 69702 SOS 41100 HAS SOPS 26587 HAS SOUS 21613 HAS SOUPS 14842 WITH SCORE 14883.1
AT ITER 4695 NEW BEST:: SOT 69697 SOS 41095 HAS SOPS 26578 HAS SOUS 21608 HAS SOUPS 14833 WITH SCORE 14874.095
AT ITER 4701 NEW BEST:: SOT 69751 SOS 41090 HAS SOPS 26638 HAS SOUS 21594 HAS SOUPS 14824 WITH SCORE 14865.09
AT ITER 4714 NEW BEST:: SOT 69749 SOS 41088 HAS SOPS 26637 HAS SOUS 21592 HAS SOUPS 14823 WITH SCORE 14864.088
AT ITER 4715 NEW BEST:: SOT 69748 SOS 41087 HAS SOPS 26636 HAS SOUS 21591 HAS SOUPS 14822 WITH SCORE 14863.087
AT ITER 4748 NEW BEST:: SOT 69748 SOS 41081 HAS SOPS 26630 HAS SOUS 21591 HAS SOUPS 14822 WITH SCORE 14863.081
AT ITER 4758 NEW BEST:: SOT 69677 SOS 41005 HAS SOPS 26466 HAS SOUS 21421 HAS SOUPS 14652 WITH SCORE 14693.005
AT ITER 4766 NEW BEST:: SOT 69674 SOS 40996 HAS SOPS 26454 HAS SOUS 21412 HAS SOUPS 14643 WITH SCORE 14683.996
AT ITER 4804 NEW BEST:: SOT 69671 SOS 40996 HAS SOPS 26451 HAS SOUS 21409 HAS SOUPS 14640 WITH SCORE 14680.996
AT ITER 4825 NEW BEST:: SOT 69671 SOS 41035 HAS SOPS 26490 HAS SOUS 21404 HAS SOUPS 14635 WITH SCORE 14676.035
AT ITER 4827 NEW BEST:: SOT 69671 SOS 41031 HAS SOPS 26490 HAS SOUS 21404 HAS SOUPS 14635 WITH SCORE 14676.031
AT ITER 4835 NEW BEST:: SOT 69671 SOS 41030 HAS SOPS 26489 HAS SOUS 21403 HAS SOUPS 14634 WITH SCORE 14675.03
AT ITER 4853 NEW BEST:: SOT 69648 SOS 40974 HAS SOPS 26466 HAS SOUS 21329 HAS SOUPS 14627 WITH SCORE 14667.974
AT ITER 4861 NEW BEST:: SOT 69628 SOS 40982 HAS SOPS 26446 HAS SOUS 21325 HAS SOUPS 14615 WITH SCORE 14655.982
AT ITER 4899 NEW BEST:: SOT 69624 SOS 40966 HAS SOPS 26443 HAS SOUS 21318 HAS SOUPS 14612 WITH SCORE 14652.966
AT ITER 4905 NEW BEST:: SOT 69661 SOS 41019 HAS SOPS 26496 HAS SOUS 21283 HAS SOUPS 14577 WITH SCORE 14618.019
AT ITER 4917 NEW BEST:: SOT 69668 SOS 41028 HAS SOPS 26444 HAS SOUS 21251 HAS SOUPS 14545 WITH SCORE 14586.028
AT ITER 4918 NEW BEST:: SOT 69664 SOS 41024 HAS SOPS 26441 HAS SOUS 21247 HAS SOUPS 14542 WITH SCORE 14583.024
AT ITER 4925 NEW BEST:: SOT 69644 SOS 41004 HAS SOPS 26416 HAS SOUS 21227 HAS SOUPS 14517 WITH SCORE 14558.004
AT ITER 4999 NEW BEST:: SOT 69634 SOS 40999 HAS SOPS 26406 HAS SOUS 21217 HAS SOUPS 14507 WITH SCORE 14547.999
AT ITER 5003 NEW BEST:: SOT 69633 SOS 40998 HAS SOPS 26404 HAS SOUS 21216 HAS SOUPS 14505 WITH SCORE 14545.998
AT ITER 5006 NEW BEST:: SOT 69595 SOS 40966 HAS SOPS 26355 HAS SOUS 21178 HAS SOUPS 14456 WITH SCORE 14496.966
AT ITER 5054 NEW BEST:: SOT 69592 SOS 40963 HAS SOPS 26349 HAS SOUS 21175 HAS SOUPS 14450 WITH SCORE 14490.963
AT ITER 5077 NEW BEST:: SOT 69588 SOS 40959 HAS SOPS 26341 HAS SOUS 21171 HAS SOUPS 14442 WITH SCORE 14482.959
AT ITER 5102 NEW BEST:: SOT 69587 SOS 40958 HAS SOPS 26329 HAS SOUS 21170 HAS SOUPS 14430 WITH SCORE 14470.958
AT ITER 5166 NEW BEST:: SOT 69587 SOS 40942 HAS SOPS 26313 HAS SOUS 21169 HAS SOUPS 14429 WITH SCORE 14469.942
AT ITER 5170 NEW BEST:: SOT 69584 SOS 40939 HAS SOPS 26310 HAS SOUS 21166 HAS SOUPS 14426 WITH SCORE 14466.939
AT ITER 5192 NEW BEST:: SOT 69574 SOS 40927 HAS SOPS 26306 HAS SOUS 21155 HAS SOUPS 14422 WITH SCORE 14462.927
AT ITER 5221 NEW BEST:: SOT 69501 SOS 40834 HAS SOPS 26216 HAS SOUS 21075 HAS SOUPS 14342 WITH SCORE 14382.834
AT ITER 5266 NEW BEST:: SOT 69482 SOS 40857 HAS SOPS 26205 HAS SOUS 20995 HAS SOUPS 14262 WITH SCORE 14302.857
AT ITER 5293 NEW BEST:: SOT 69267 SOS 40698 HAS SOPS 26021 HAS SOUS 20783 HAS SOUPS 14050 WITH SCORE 14090.698
AT ITER 5398 NEW BEST:: SOT 69259 SOS 40690 HAS SOPS 26005 HAS SOUS 20775 HAS SOUPS 14034 WITH SCORE 14074.69
AT ITER 5414 NEW BEST:: SOT 69255 SOS 40686 HAS SOPS 25995 HAS SOUS 20771 HAS SOUPS 14024 WITH SCORE 14064.686
AT ITER 5429 NEW BEST:: SOT 69252 SOS 40512 HAS SOPS 25821 HAS SOUS 20749 HAS SOUPS 14002 WITH SCORE 14042.512
AT ITER 5435 NEW BEST:: SOT 69248 SOS 40508 HAS SOPS 25821 HAS SOUS 20745 HAS SOUPS 14002 WITH SCORE 14042.508
AT ITER 5469 NEW BEST:: SOT 69221 SOS 40365 HAS SOPS 25703 HAS SOUS 20718 HAS SOUPS 13975 WITH SCORE 14015.365
AT ITER 5479 NEW BEST:: SOT 69220 SOS 40364 HAS SOPS 25701 HAS SOUS 20717 HAS SOUPS 13973 WITH SCORE 14013.364
AT ITER 5555 NEW BEST:: SOT 69219 SOS 40363 HAS SOPS 25699 HAS SOUS 20716 HAS SOUPS 13971 WITH SCORE 14011.363
AT ITER 5574 NEW BEST:: SOT 69209 SOS 40352 HAS SOPS 25689 HAS SOUS 20706 HAS SOUPS 13961 WITH SCORE 14001.352
AT ITER 5582 NEW BEST:: SOT 69208 SOS 40351 HAS SOPS 25687 HAS SOUS 20705 HAS SOUPS 13959 WITH SCORE 13999.351
AT ITER 5676 NEW BEST:: SOT 69032 SOS 40198 HAS SOPS 25542 HAS SOUS 20536 HAS SOUPS 13791 WITH SCORE 13831.198
AT ITER 5699 NEW BEST:: SOT 69032 SOS 40198 HAS SOPS 25542 HAS SOUS 20524 HAS SOUPS 13779 WITH SCORE 13819.198
AT ITER 5727 NEW BEST:: SOT 69028 SOS 40194 HAS SOPS 25534 HAS SOUS 20520 HAS SOUPS 13771 WITH SCORE 13811.194
AT ITER 5733 NEW BEST:: SOT 69025 SOS 40187 HAS SOPS 25532 HAS SOUS 20485 HAS SOUPS 13769 WITH SCORE 13809.187
AT ITER 5735 NEW BEST:: SOT 69016 SOS 40178 HAS SOPS 25514 HAS SOUS 20476 HAS SOUPS 13751 WITH SCORE 13791.178
AT ITER 5764 NEW BEST:: SOT 69016 SOS 40178 HAS SOPS 25514 HAS SOUS 20472 HAS SOUPS 13747 WITH SCORE 13787.178
AT ITER 5812 NEW BEST:: SOT 69013 SOS 40175 HAS SOPS 25508 HAS SOUS 20469 HAS SOUPS 13741 WITH SCORE 13781.175
AT ITER 5835 NEW BEST:: SOT 68942 SOS 40064 HAS SOPS 25397 HAS SOUS 20395 HAS SOUPS 13667 WITH SCORE 13707.064
AT ITER 5840 NEW BEST:: SOT 68947 SOS 40069 HAS SOPS 25394 HAS SOUS 20400 HAS SOUPS 13664 WITH SCORE 13704.069
AT ITER 5904 NEW BEST:: SOT 68945 SOS 40067 HAS SOPS 25390 HAS SOUS 20398 HAS SOUPS 13660 WITH SCORE 13700.067
AT ITER 5984 NEW BEST:: SOT 68942 SOS 40064 HAS SOPS 25384 HAS SOUS 20395 HAS SOUPS 13654 WITH SCORE 13694.064
AT ITER 6002 NEW BEST:: SOT 68888 SOS 40022 HAS SOPS 25336 HAS SOUS 20341 HAS SOUPS 13600 WITH SCORE 13640.022
AT ITER 6003 NEW BEST:: SOT 68888 SOS 40022 HAS SOPS 25335 HAS SOUS 20341 HAS SOUPS 13599 WITH SCORE 13639.022
AT ITER 6038 NEW BEST:: SOT 68876 SOS 40014 HAS SOPS 25323 HAS SOUS 20345 HAS SOUPS 13599 WITH SCORE 13639.014
AT ITER 6107 NEW BEST:: SOT 68876 SOS 40020 HAS SOPS 25318 HAS SOUS 20340 HAS SOUPS 13594 WITH SCORE 13634.02
AT ITER 6110 NEW BEST:: SOT 68870 SOS 40010 HAS SOPS 25298 HAS SOUS 20339 HAS SOUPS 13592 WITH SCORE 13632.01
AT ITER 6127 NEW BEST:: SOT 68812 SOS 39925 HAS SOPS 25223 HAS SOUS 20298 HAS SOUPS 13551 WITH SCORE 13590.925
AT ITER 6148 NEW BEST:: SOT 68786 SOS 39899 HAS SOPS 25191 HAS SOUS 20272 HAS SOUPS 13519 WITH SCORE 13558.899
AT ITER 6204 NEW BEST:: SOT 68776 SOS 39877 HAS SOPS 25191 HAS SOUS 20102 HAS SOUPS 13519 WITH SCORE 13558.877
AT ITER 6236 NEW BEST:: SOT 68774 SOS 39893 HAS SOPS 25185 HAS SOUS 20150 HAS SOUPS 13513 WITH SCORE 13552.893
AT ITER 6246 NEW BEST:: SOT 68774 SOS 39888 HAS SOPS 25180 HAS SOUS 20145 HAS SOUPS 13508 WITH SCORE 13547.888
AT ITER 6355 NEW BEST:: SOT 68773 SOS 39887 HAS SOPS 25178 HAS SOUS 20144 HAS SOUPS 13506 WITH SCORE 13545.887
AT ITER 6371 NEW BEST:: SOT 68773 SOS 39815 HAS SOPS 25106 HAS SOUS 20136 HAS SOUPS 13498 WITH SCORE 13537.815
AT ITER 6387 NEW BEST:: SOT 68773 SOS 39815 HAS SOPS 25105 HAS SOUS 20128 HAS SOUPS 13490 WITH SCORE 13529.815
AT ITER 6411 NEW BEST:: SOT 68767 SOS 39809 HAS SOPS 25093 HAS SOUS 20122 HAS SOUPS 13478 WITH SCORE 13517.809
AT ITER 6457 NEW BEST:: SOT 68760 SOS 39807 HAS SOPS 25091 HAS SOUS 20120 HAS SOUPS 13476 WITH SCORE 13515.807
AT ITER 6570 NEW BEST:: SOT 68755 SOS 39783 HAS SOPS 25059 HAS SOUS 20105 HAS SOUPS 13461 WITH SCORE 13500.783
AT ITER 6581 NEW BEST:: SOT 68754 SOS 39782 HAS SOPS 25057 HAS SOUS 20104 HAS SOUPS 13459 WITH SCORE 13498.782
AT ITER 6598 NEW BEST:: SOT 68746 SOS 39768 HAS SOPS 25043 HAS SOUS 20097 HAS SOUPS 13452 WITH SCORE 13491.768
AT ITER 6657 NEW BEST:: SOT 68746 SOS 39746 HAS SOPS 25038 HAS SOUS 20092 HAS SOUPS 13447 WITH SCORE 13486.746
AT ITER 6691 NEW BEST:: SOT 68743 SOS 39743 HAS SOPS 25035 HAS SOUS 20089 HAS SOUPS 13444 WITH SCORE 13483.743
AT ITER 6703 NEW BEST:: SOT 68735 SOS 39735 HAS SOPS 25027 HAS SOUS 20081 HAS SOUPS 13436 WITH SCORE 13475.735
AT ITER 6763 NEW BEST:: SOT 68711 SOS 39702 HAS SOPS 24994 HAS SOUS 20048 HAS SOUPS 13403 WITH SCORE 13442.702
AT ITER 6771 NEW BEST:: SOT 68709 SOS 39700 HAS SOPS 24992 HAS SOUS 20046 HAS SOUPS 13401 WITH SCORE 13440.7
AT ITER 6776 NEW BEST:: SOT 68709 SOS 39684 HAS SOPS 24976 HAS SOUS 20046 HAS SOUPS 13401 WITH SCORE 13440.684
AT ITER 6867 NEW BEST:: SOT 68680 SOS 39655 HAS SOPS 24950 HAS SOUS 20017 HAS SOUPS 13375 WITH SCORE 13414.655
AT ITER 6893 NEW BEST:: SOT 68671 SOS 39642 HAS SOPS 24940 HAS SOUS 20015 HAS SOUPS 13373 WITH SCORE 13412.642
AT ITER 6957 NEW BEST:: SOT 68615 SOS 39586 HAS SOPS 24900 HAS SOUS 19975 HAS SOUPS 13333 WITH SCORE 13372.586
AT ITER 6987 NEW BEST:: SOT 68615 SOS 39562 HAS SOPS 24876 HAS SOUS 19975 HAS SOUPS 13333 WITH SCORE 13372.562
AT ITER 6991 NEW BEST:: SOT 68611 SOS 39558 HAS SOPS 24872 HAS SOUS 19971 HAS SOUPS 13329 WITH SCORE 13368.558
AT ITER 7073 NEW BEST:: SOT 68611 SOS 39549 HAS SOPS 24863 HAS SOUS 19970 HAS SOUPS 13328 WITH SCORE 13367.549
AT ITER 7128 NEW BEST:: SOT 68608 SOS 39543 HAS SOPS 24857 HAS SOUS 19964 HAS SOUPS 13322 WITH SCORE 13361.543
AT ITER 7214 NEW BEST:: SOT 68544 SOS 39479 HAS SOPS 24793 HAS SOUS 19892 HAS SOUPS 13250 WITH SCORE 13289.479
AT ITER 7293 NEW BEST:: SOT 68536 SOS 39469 HAS SOPS 24784 HAS SOUS 19883 HAS SOUPS 13241 WITH SCORE 13280.469
AT ITER 7434 NEW BEST:: SOT 68528 SOS 39461 HAS SOPS 24776 HAS SOUS 19875 HAS SOUPS 13233 WITH SCORE 13272.461
AT ITER 7589 NEW BEST:: SOT 68526 SOS 39459 HAS SOPS 24772 HAS SOUS 19873 HAS SOUPS 13229 WITH SCORE 13268.459
AT ITER 7671 NEW BEST:: SOT 68506 SOS 39454 HAS SOPS 24747 HAS SOUS 19903 HAS SOUPS 13224 WITH SCORE 13263.454
AT ITER 7697 NEW BEST:: SOT 68482 SOS 39424 HAS SOPS 24711 HAS SOUS 19903 HAS SOUPS 13224 WITH SCORE 13263.424
AT ITER 7699 NEW BEST:: SOT 68473 SOS 39410 HAS SOPS 24697 HAS SOUS 19889 HAS SOUPS 13210 WITH SCORE 13249.41
AT ITER 7708 NEW BEST:: SOT 68473 SOS 39301 HAS SOPS 24588 HAS SOUS 19885 HAS SOUPS 13206 WITH SCORE 13245.301
AT ITER 7732 NEW BEST:: SOT 68467 SOS 39295 HAS SOPS 24576 HAS SOUS 19879 HAS SOUPS 13194 WITH SCORE 13233.295
AT ITER 7769 NEW BEST:: SOT 68465 SOS 39293 HAS SOPS 24570 HAS SOUS 19877 HAS SOUPS 13188 WITH SCORE 13227.293
AT ITER 7832 NEW BEST:: SOT 68463 SOS 39291 HAS SOPS 24566 HAS SOUS 19875 HAS SOUPS 13184 WITH SCORE 13223.291
AT ITER 7881 NEW BEST:: SOT 68463 SOS 39291 HAS SOPS 24558 HAS SOUS 19873 HAS SOUPS 13176 WITH SCORE 13215.291
AT ITER 7911 NEW BEST:: SOT 68471 SOS 39282 HAS SOPS 24421 HAS SOUS 19804 HAS SOUPS 13107 WITH SCORE 13146.282
AT ITER 8173 NEW BEST:: SOT 68497 SOS 39320 HAS SOPS 24471 HAS SOUS 19776 HAS SOUPS 13079 WITH SCORE 13118.32
AT ITER 8202 NEW BEST:: SOT 68488 SOS 39311 HAS SOPS 24460 HAS SOUS 19767 HAS SOUPS 13068 WITH SCORE 13107.311
AT ITER 8249 NEW BEST:: SOT 68477 SOS 39300 HAS SOPS 24459 HAS SOUS 19756 HAS SOUPS 13067 WITH SCORE 13106.3
AT ITER 8303 NEW BEST:: SOT 68483 SOS 39378 HAS SOPS 24439 HAS SOUS 19839 HAS SOUPS 13047 WITH SCORE 13086.378
AT ITER 8426 NEW BEST:: SOT 68478 SOS 39373 HAS SOPS 24429 HAS SOUS 19834 HAS SOUPS 13037 WITH SCORE 13076.373
AT ITER 8477 NEW BEST:: SOT 68478 SOS 39373 HAS SOPS 24429 HAS SOUS 19832 HAS SOUPS 13035 WITH SCORE 13074.373
AT ITER 8574 NEW BEST:: SOT 68477 SOS 39372 HAS SOPS 24421 HAS SOUS 19832 HAS SOUPS 13035 WITH SCORE 13074.372
AT ITER 8666 NEW BEST:: SOT 68452 SOS 39347 HAS SOPS 24396 HAS SOUS 19802 HAS SOUPS 13005 WITH SCORE 13044.347
AT ITER 8668 NEW BEST:: SOT 68451 SOS 39346 HAS SOPS 24395 HAS SOUS 19801 HAS SOUPS 13004 WITH SCORE 13043.346
AT ITER 8687 NEW BEST:: SOT 68431 SOS 39326 HAS SOPS 24365 HAS SOUS 19781 HAS SOUPS 12974 WITH SCORE 13013.326
AT ITER 8703 NEW BEST:: SOT 68431 SOS 39277 HAS SOPS 24316 HAS SOUS 19781 HAS SOUPS 12974 WITH SCORE 13013.277
AT ITER 8757 NEW BEST:: SOT 68429 SOS 39275 HAS SOPS 24312 HAS SOUS 19779 HAS SOUPS 12970 WITH SCORE 13009.275
AT ITER 8772 NEW BEST:: SOT 68442 SOS 39279 HAS SOPS 24338 HAS SOUS 19769 HAS SOUPS 12963 WITH SCORE 13002.279
AT ITER 8828 NEW BEST:: SOT 68436 SOS 39273 HAS SOPS 24333 HAS SOUS 19763 HAS SOUPS 12958 WITH SCORE 12997.273
AT ITER 8845 NEW BEST:: SOT 68422 SOS 39263 HAS SOPS 24321 HAS SOUS 19749 HAS SOUPS 12944 WITH SCORE 12983.263
AT ITER 9080 NEW BEST:: SOT 68417 SOS 39258 HAS SOPS 24321 HAS SOUS 19658 HAS SOUPS 12944 WITH SCORE 12983.258
AT ITER 9101 NEW BEST:: SOT 68408 SOS 39249 HAS SOPS 24312 HAS SOUS 19649 HAS SOUPS 12935 WITH SCORE 12974.249
AT ITER 9255 NEW BEST:: SOT 68407 SOS 39248 HAS SOPS 24310 HAS SOUS 19648 HAS SOUPS 12933 WITH SCORE 12972.248
AT ITER 9379 NEW BEST:: SOT 68390 SOS 39219 HAS SOPS 24285 HAS SOUS 19614 HAS SOUPS 12899 WITH SCORE 12938.219
AT ITER 9394 NEW BEST:: SOT 68383 SOS 39218 HAS SOPS 24277 HAS SOUS 19610 HAS SOUPS 12891 WITH SCORE 12930.218
AT ITER 9456 NEW BEST:: SOT 68383 SOS 39217 HAS SOPS 24276 HAS SOUS 19610 HAS SOUPS 12891 WITH SCORE 12930.217
AT ITER 9563 NEW BEST:: SOT 68382 SOS 39216 HAS SOPS 24274 HAS SOUS 19609 HAS SOUPS 12889 WITH SCORE 12928.216
AT ITER 9568 NEW BEST:: SOT 68393 SOS 39225 HAS SOPS 24285 HAS SOUS 19605 HAS SOUPS 12886 WITH SCORE 12925.225
AT ITER 9609 NEW BEST:: SOT 68398 SOS 39210 HAS SOPS 24270 HAS SOUS 19600 HAS SOUPS 12881 WITH SCORE 12920.21
AT ITER 9710 NEW BEST:: SOT 68387 SOS 39199 HAS SOPS 24254 HAS SOUS 19589 HAS SOUPS 12865 WITH SCORE 12904.199
AT ITER 9775 NEW BEST:: SOT 68387 SOS 39206 HAS SOPS 24261 HAS SOUS 19588 HAS SOUPS 12864 WITH SCORE 12903.206
AT ITER 9813 NEW BEST:: SOT 68376 SOS 39195 HAS SOPS 24239 HAS SOUS 19577 HAS SOUPS 12842 WITH SCORE 12881.195
AT ITER 9903 NEW BEST:: SOT 68371 SOS 39183 HAS SOPS 24227 HAS SOUS 19570 HAS SOUPS 12835 WITH SCORE 12874.183
AT ITER 9943 NEW BEST:: SOT 68370 SOS 39182 HAS SOPS 24225 HAS SOUS 19569 HAS SOUPS 12833 WITH SCORE 12872.182
AT ITER 9964 NEW BEST:: SOT 68367 SOS 39179 HAS SOPS 24219 HAS SOUS 19566 HAS SOUPS 12827 WITH SCORE 12866.179

BK_STOP 1678613547283

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 407 Killed ${SMART}/smart ${INPUT_SM}

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="LamportFastMutEx-COL-8"
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 LamportFastMutEx-COL-8, 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 r227-tall-167856410400392"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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