Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r018-oct2-158897680100488.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is BusinessProcesses-PT-05, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680100488
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 252K
-rw-r--r-- 1 mcc users 3.5K Mar 26 02:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 26 02:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 22:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 25 22:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 25 17:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 17:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 14:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 14:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 25 17:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 85K Mar 24 05:37 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 1589018206961

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 05
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 368 places, 319 transitions, 854 arcs.
AT ITER 0 NEW BEST:: SOT 75677 SOS 32211 HAS SOPS 32211 HAS SOUS 30928 HAS SOUPS 30928 WITH SCORE 30960.211
AT ITER 5 NEW BEST:: SOT 75562 SOS 32036 HAS SOPS 32036 HAS SOUS 30753 HAS SOUPS 30753 WITH SCORE 30785.036
AT ITER 10 NEW BEST:: SOT 75447 SOS 31953 HAS SOPS 31953 HAS SOUS 30699 HAS SOUPS 30699 WITH SCORE 30730.953
AT ITER 19 NEW BEST:: SOT 75376 SOS 31857 HAS SOPS 31857 HAS SOUS 30603 HAS SOUPS 30603 WITH SCORE 30634.857
AT ITER 22 NEW BEST:: SOT 75389 SOS 31844 HAS SOPS 31844 HAS SOUS 30603 HAS SOUPS 30603 WITH SCORE 30634.844
AT ITER 23 NEW BEST:: SOT 75389 SOS 31844 HAS SOPS 31844 HAS SOUS 30599 HAS SOUPS 30599 WITH SCORE 30630.844
AT ITER 30 NEW BEST:: SOT 75195 SOS 31601 HAS SOPS 31601 HAS SOUS 30378 HAS SOUPS 30378 WITH SCORE 30409.601
AT ITER 36 NEW BEST:: SOT 75194 SOS 31496 HAS SOPS 31496 HAS SOUS 30295 HAS SOUPS 30295 WITH SCORE 30326.496
AT ITER 38 NEW BEST:: SOT 75101 SOS 31403 HAS SOPS 31403 HAS SOUS 30202 HAS SOUPS 30202 WITH SCORE 30233.403
AT ITER 41 NEW BEST:: SOT 75019 SOS 31318 HAS SOPS 31318 HAS SOUS 30117 HAS SOUPS 30117 WITH SCORE 30148.318
AT ITER 43 NEW BEST:: SOT 75019 SOS 31313 HAS SOPS 31313 HAS SOUS 30112 HAS SOUPS 30112 WITH SCORE 30143.313
AT ITER 52 NEW BEST:: SOT 75007 SOS 31301 HAS SOPS 31301 HAS SOUS 30112 HAS SOUPS 30112 WITH SCORE 30143.301
AT ITER 60 NEW BEST:: SOT 75024 SOS 31264 HAS SOPS 31264 HAS SOUS 30075 HAS SOUPS 30075 WITH SCORE 30106.264
AT ITER 79 NEW BEST:: SOT 75024 SOS 31250 HAS SOPS 31250 HAS SOUS 30061 HAS SOUPS 30061 WITH SCORE 30092.25
AT ITER 83 NEW BEST:: SOT 74826 SOS 31099 HAS SOPS 31099 HAS SOUS 29910 HAS SOUPS 29910 WITH SCORE 29941.099
AT ITER 92 NEW BEST:: SOT 74805 SOS 31078 HAS SOPS 31078 HAS SOUS 29889 HAS SOUPS 29889 WITH SCORE 29920.078
AT ITER 97 NEW BEST:: SOT 74804 SOS 31049 HAS SOPS 31049 HAS SOUS 29887 HAS SOUPS 29887 WITH SCORE 29918.049
AT ITER 105 NEW BEST:: SOT 74774 SOS 31005 HAS SOPS 31005 HAS SOUS 29850 HAS SOUPS 29850 WITH SCORE 29881.005
AT ITER 114 NEW BEST:: SOT 72237 SOS 34256 HAS SOPS 34256 HAS SOUS 27698 HAS SOUPS 27698 WITH SCORE 27732.256
AT ITER 116 NEW BEST:: SOT 72177 SOS 34136 HAS SOPS 34136 HAS SOUS 27604 HAS SOUPS 27604 WITH SCORE 27638.136
AT ITER 117 NEW BEST:: SOT 72145 SOS 34071 HAS SOPS 34071 HAS SOUS 27539 HAS SOUPS 27539 WITH SCORE 27573.071
AT ITER 119 NEW BEST:: SOT 72144 SOS 33898 HAS SOPS 33898 HAS SOUS 27452 HAS SOUPS 27452 WITH SCORE 27485.898
AT ITER 120 NEW BEST:: SOT 72061 SOS 33691 HAS SOPS 33691 HAS SOUS 27338 HAS SOUPS 27338 WITH SCORE 27371.691
AT ITER 122 NEW BEST:: SOT 72050 SOS 33680 HAS SOPS 33680 HAS SOUS 27327 HAS SOUPS 27327 WITH SCORE 27360.68
AT ITER 127 NEW BEST:: SOT 71935 SOS 33539 HAS SOPS 33539 HAS SOUS 27275 HAS SOUPS 27275 WITH SCORE 27308.539
AT ITER 134 NEW BEST:: SOT 72080 SOS 33537 HAS SOPS 33537 HAS SOUS 27273 HAS SOUPS 27273 WITH SCORE 27306.537
AT ITER 136 NEW BEST:: SOT 71952 SOS 33404 HAS SOPS 33404 HAS SOUS 27263 HAS SOUPS 27263 WITH SCORE 27296.404
AT ITER 140 NEW BEST:: SOT 71949 SOS 33401 HAS SOPS 33401 HAS SOUS 27260 HAS SOUPS 27260 WITH SCORE 27293.401
AT ITER 142 NEW BEST:: SOT 71867 SOS 33237 HAS SOPS 33237 HAS SOUS 27159 HAS SOUPS 27159 WITH SCORE 27192.237
AT ITER 153 NEW BEST:: SOT 71877 SOS 33218 HAS SOPS 33218 HAS SOUS 27140 HAS SOUPS 27140 WITH SCORE 27173.218
AT ITER 157 NEW BEST:: SOT 71743 SOS 33095 HAS SOPS 33095 HAS SOUS 27055 HAS SOUPS 27055 WITH SCORE 27088.095
AT ITER 159 NEW BEST:: SOT 71733 SOS 33075 HAS SOPS 33075 HAS SOUS 27054 HAS SOUPS 27054 WITH SCORE 27087.075
AT ITER 160 NEW BEST:: SOT 71572 SOS 32913 HAS SOPS 32913 HAS SOUS 26896 HAS SOUPS 26896 WITH SCORE 26928.913
AT ITER 182 NEW BEST:: SOT 71502 SOS 32773 HAS SOPS 32773 HAS SOUS 26882 HAS SOUPS 26882 WITH SCORE 26914.773
AT ITER 183 NEW BEST:: SOT 71463 SOS 32619 HAS SOPS 32619 HAS SOUS 26790 HAS SOUPS 26790 WITH SCORE 26822.619
AT ITER 191 NEW BEST:: SOT 71448 SOS 32602 HAS SOPS 32602 HAS SOUS 26786 HAS SOUPS 26786 WITH SCORE 26818.602
AT ITER 192 NEW BEST:: SOT 71400 SOS 32506 HAS SOPS 32506 HAS SOUS 26690 HAS SOUPS 26690 WITH SCORE 26722.506
AT ITER 194 NEW BEST:: SOT 71400 SOS 32506 HAS SOPS 32506 HAS SOUS 26675 HAS SOUPS 26675 WITH SCORE 26707.506
AT ITER 199 NEW BEST:: SOT 71227 SOS 32321 HAS SOPS 32321 HAS SOUS 26490 HAS SOUPS 26490 WITH SCORE 26522.321
AT ITER 200 NEW BEST:: SOT 71226 SOS 32287 HAS SOPS 32287 HAS SOUS 26456 HAS SOUPS 26456 WITH SCORE 26488.287
AT ITER 203 NEW BEST:: SOT 71205 SOS 32255 HAS SOPS 32255 HAS SOUS 26424 HAS SOUPS 26424 WITH SCORE 26456.255
AT ITER 205 NEW BEST:: SOT 71204 SOS 32253 HAS SOPS 32253 HAS SOUS 26422 HAS SOUPS 26422 WITH SCORE 26454.253
AT ITER 218 NEW BEST:: SOT 71198 SOS 32241 HAS SOPS 32241 HAS SOUS 26410 HAS SOUPS 26410 WITH SCORE 26442.241
AT ITER 220 NEW BEST:: SOT 71140 SOS 32125 HAS SOPS 32125 HAS SOUS 26351 HAS SOUPS 26351 WITH SCORE 26383.125
AT ITER 228 NEW BEST:: SOT 71023 SOS 31977 HAS SOPS 31977 HAS SOUS 26289 HAS SOUPS 26289 WITH SCORE 26320.977
AT ITER 229 NEW BEST:: SOT 71023 SOS 31899 HAS SOPS 31899 HAS SOUS 26211 HAS SOUPS 26211 WITH SCORE 26242.899
AT ITER 230 NEW BEST:: SOT 71030 SOS 31814 HAS SOPS 31814 HAS SOUS 26196 HAS SOUPS 26196 WITH SCORE 26227.814
AT ITER 236 NEW BEST:: SOT 71030 SOS 31706 HAS SOPS 31706 HAS SOUS 26088 HAS SOUPS 26088 WITH SCORE 26119.706
AT ITER 237 NEW BEST:: SOT 70823 SOS 31308 HAS SOPS 31308 HAS SOUS 25721 HAS SOUPS 25721 WITH SCORE 25752.308
AT ITER 240 NEW BEST:: SOT 70897 SOS 31381 HAS SOPS 31381 HAS SOUS 25719 HAS SOUPS 25719 WITH SCORE 25750.381
AT ITER 245 NEW BEST:: SOT 70887 SOS 31371 HAS SOPS 31371 HAS SOUS 25709 HAS SOUPS 25709 WITH SCORE 25740.371
AT ITER 258 NEW BEST:: SOT 70659 SOS 31038 HAS SOPS 31038 HAS SOUS 25499 HAS SOUPS 25499 WITH SCORE 25530.038
AT ITER 266 NEW BEST:: SOT 70547 SOS 30812 HAS SOPS 30812 HAS SOUS 25321 HAS SOUPS 25321 WITH SCORE 25351.812
AT ITER 269 NEW BEST:: SOT 70519 SOS 30807 HAS SOPS 30807 HAS SOUS 25282 HAS SOUPS 25282 WITH SCORE 25312.807
AT ITER 272 NEW BEST:: SOT 70513 SOS 30795 HAS SOPS 30795 HAS SOUS 25270 HAS SOUPS 25270 WITH SCORE 25300.795
AT ITER 274 NEW BEST:: SOT 70349 SOS 30598 HAS SOPS 30598 HAS SOUS 25203 HAS SOUPS 25203 WITH SCORE 25233.598
AT ITER 281 NEW BEST:: SOT 70348 SOS 30596 HAS SOPS 30596 HAS SOUS 25201 HAS SOUPS 25201 WITH SCORE 25231.596
AT ITER 286 NEW BEST:: SOT 70331 SOS 30562 HAS SOPS 30562 HAS SOUS 25167 HAS SOUPS 25167 WITH SCORE 25197.562
AT ITER 311 NEW BEST:: SOT 70325 SOS 30550 HAS SOPS 30550 HAS SOUS 25155 HAS SOUPS 25155 WITH SCORE 25185.55
AT ITER 318 NEW BEST:: SOT 70277 SOS 30502 HAS SOPS 30502 HAS SOUS 25155 HAS SOUPS 25155 WITH SCORE 25185.502
AT ITER 319 NEW BEST:: SOT 70308 SOS 30494 HAS SOPS 30494 HAS SOUS 25147 HAS SOUPS 25147 WITH SCORE 25177.494
AT ITER 322 NEW BEST:: SOT 70274 SOS 30426 HAS SOPS 30426 HAS SOUS 25058 HAS SOUPS 25058 WITH SCORE 25088.426
AT ITER 350 NEW BEST:: SOT 70232 SOS 30384 HAS SOPS 30384 HAS SOUS 25016 HAS SOUPS 25016 WITH SCORE 25046.384
AT ITER 355 NEW BEST:: SOT 70218 SOS 30370 HAS SOPS 30370 HAS SOUS 25016 HAS SOUPS 25016 WITH SCORE 25046.37
AT ITER 357 NEW BEST:: SOT 70148 SOS 30185 HAS SOPS 30185 HAS SOUS 24831 HAS SOUPS 24831 WITH SCORE 24861.185
AT ITER 376 NEW BEST:: SOT 70121 SOS 30158 HAS SOPS 30158 HAS SOUS 24831 HAS SOUPS 24831 WITH SCORE 24861.158
AT ITER 385 NEW BEST:: SOT 70108 SOS 30132 HAS SOPS 30132 HAS SOUS 24805 HAS SOUPS 24805 WITH SCORE 24835.132
AT ITER 392 NEW BEST:: SOT 70091 SOS 30115 HAS SOPS 30115 HAS SOUS 24798 HAS SOUPS 24798 WITH SCORE 24828.115
AT ITER 398 NEW BEST:: SOT 70110 SOS 30055 HAS SOPS 30055 HAS SOUS 24771 HAS SOUPS 24771 WITH SCORE 24801.055
AT ITER 399 NEW BEST:: SOT 69986 SOS 29891 HAS SOPS 29891 HAS SOUS 24691 HAS SOUPS 24691 WITH SCORE 24720.891
AT ITER 405 NEW BEST:: SOT 69986 SOS 29845 HAS SOPS 29845 HAS SOUS 24617 HAS SOUPS 24617 WITH SCORE 24646.845
AT ITER 412 NEW BEST:: SOT 69978 SOS 29672 HAS SOPS 29672 HAS SOUS 24459 HAS SOUPS 24459 WITH SCORE 24488.672
AT ITER 419 NEW BEST:: SOT 69978 SOS 29672 HAS SOPS 29672 HAS SOUS 24398 HAS SOUPS 24398 WITH SCORE 24427.672
AT ITER 425 NEW BEST:: SOT 69937 SOS 29631 HAS SOPS 29631 HAS SOUS 24357 HAS SOUPS 24357 WITH SCORE 24386.631
AT ITER 440 NEW BEST:: SOT 69923 SOS 29624 HAS SOPS 29624 HAS SOUS 24350 HAS SOUPS 24350 WITH SCORE 24379.624
AT ITER 455 NEW BEST:: SOT 69814 SOS 29462 HAS SOPS 29462 HAS SOUS 24188 HAS SOUPS 24188 WITH SCORE 24217.462
AT ITER 461 NEW BEST:: SOT 69808 SOS 29456 HAS SOPS 29456 HAS SOUS 24182 HAS SOUPS 24182 WITH SCORE 24211.456
AT ITER 466 NEW BEST:: SOT 69804 SOS 29448 HAS SOPS 29448 HAS SOUS 24174 HAS SOUPS 24174 WITH SCORE 24203.448
AT ITER 468 NEW BEST:: SOT 69803 SOS 29396 HAS SOPS 29396 HAS SOUS 24144 HAS SOUPS 24144 WITH SCORE 24173.396
AT ITER 475 NEW BEST:: SOT 69803 SOS 29392 HAS SOPS 29392 HAS SOUS 24144 HAS SOUPS 24144 WITH SCORE 24173.392
AT ITER 476 NEW BEST:: SOT 69794 SOS 29356 HAS SOPS 29356 HAS SOUS 24108 HAS SOUPS 24108 WITH SCORE 24137.356
AT ITER 486 NEW BEST:: SOT 69748 SOS 30614 HAS SOPS 30614 HAS SOUS 24092 HAS SOUPS 24092 WITH SCORE 24122.614
AT ITER 491 NEW BEST:: SOT 69729 SOS 30576 HAS SOPS 30576 HAS SOUS 24086 HAS SOUPS 24086 WITH SCORE 24116.576
AT ITER 493 NEW BEST:: SOT 69653 SOS 30500 HAS SOPS 30500 HAS SOUS 24010 HAS SOUPS 24010 WITH SCORE 24040.5
AT ITER 501 NEW BEST:: SOT 69686 SOS 30521 HAS SOPS 30521 HAS SOUS 23998 HAS SOUPS 23998 WITH SCORE 24028.521
AT ITER 509 NEW BEST:: SOT 69729 SOS 30543 HAS SOPS 30543 HAS SOUS 23959 HAS SOUPS 23959 WITH SCORE 23989.543
AT ITER 511 NEW BEST:: SOT 69726 SOS 30494 HAS SOPS 30494 HAS SOUS 23910 HAS SOUPS 23910 WITH SCORE 23940.494
AT ITER 513 NEW BEST:: SOT 69725 SOS 30492 HAS SOPS 30492 HAS SOUS 23909 HAS SOUPS 23909 WITH SCORE 23939.492
AT ITER 516 NEW BEST:: SOT 69682 SOS 30406 HAS SOPS 30406 HAS SOUS 23823 HAS SOUPS 23823 WITH SCORE 23853.406
AT ITER 517 NEW BEST:: SOT 69649 SOS 30369 HAS SOPS 30369 HAS SOUS 23819 HAS SOUPS 23819 WITH SCORE 23849.369
AT ITER 519 NEW BEST:: SOT 69618 SOS 30276 HAS SOPS 30276 HAS SOUS 23726 HAS SOUPS 23726 WITH SCORE 23756.276
AT ITER 526 NEW BEST:: SOT 69414 SOS 30200 HAS SOPS 30200 HAS SOUS 23588 HAS SOUPS 23588 WITH SCORE 23618.2
AT ITER 529 NEW BEST:: SOT 69436 SOS 30189 HAS SOPS 30189 HAS SOUS 23577 HAS SOUPS 23577 WITH SCORE 23607.189
AT ITER 532 NEW BEST:: SOT 69387 SOS 30137 HAS SOPS 30137 HAS SOUS 23564 HAS SOUPS 23564 WITH SCORE 23594.137
AT ITER 535 NEW BEST:: SOT 69367 SOS 30097 HAS SOPS 30097 HAS SOUS 23524 HAS SOUPS 23524 WITH SCORE 23554.097
AT ITER 536 NEW BEST:: SOT 69468 SOS 29886 HAS SOPS 29886 HAS SOUS 23402 HAS SOUPS 23402 WITH SCORE 23431.886
AT ITER 557 NEW BEST:: SOT 69468 SOS 29876 HAS SOPS 29876 HAS SOUS 23402 HAS SOUPS 23402 WITH SCORE 23431.876
AT ITER 562 NEW BEST:: SOT 69542 SOS 29852 HAS SOPS 29852 HAS SOUS 23378 HAS SOUPS 23378 WITH SCORE 23407.852
AT ITER 567 NEW BEST:: SOT 69460 SOS 29793 HAS SOPS 29793 HAS SOUS 23378 HAS SOUPS 23378 WITH SCORE 23407.793
AT ITER 576 NEW BEST:: SOT 69466 SOS 29777 HAS SOPS 29777 HAS SOUS 23362 HAS SOUPS 23362 WITH SCORE 23391.777
AT ITER 577 NEW BEST:: SOT 69384 SOS 29613 HAS SOPS 29613 HAS SOUS 23280 HAS SOUPS 23280 WITH SCORE 23309.613
AT ITER 581 NEW BEST:: SOT 69399 SOS 29564 HAS SOPS 29564 HAS SOUS 23181 HAS SOUPS 23181 WITH SCORE 23210.564
AT ITER 583 NEW BEST:: SOT 69390 SOS 29546 HAS SOPS 29546 HAS SOUS 23163 HAS SOUPS 23163 WITH SCORE 23192.546
AT ITER 593 NEW BEST:: SOT 69291 SOS 29333 HAS SOPS 29333 HAS SOUS 23034 HAS SOUPS 23034 WITH SCORE 23063.333
AT ITER 597 NEW BEST:: SOT 69291 SOS 29318 HAS SOPS 29318 HAS SOUS 23019 HAS SOUPS 23019 WITH SCORE 23048.318
AT ITER 607 NEW BEST:: SOT 69246 SOS 29247 HAS SOPS 29247 HAS SOUS 22993 HAS SOUPS 22993 WITH SCORE 23022.247
AT ITER 620 NEW BEST:: SOT 69226 SOS 29208 HAS SOPS 29208 HAS SOUS 22954 HAS SOUPS 22954 WITH SCORE 22983.208
AT ITER 627 NEW BEST:: SOT 69175 SOS 29183 HAS SOPS 29183 HAS SOUS 22929 HAS SOUPS 22929 WITH SCORE 22958.183
AT ITER 635 NEW BEST:: SOT 69192 SOS 29200 HAS SOPS 29200 HAS SOUS 22903 HAS SOUPS 22903 WITH SCORE 22932.2
AT ITER 642 NEW BEST:: SOT 69180 SOS 29188 HAS SOPS 29188 HAS SOUS 22893 HAS SOUPS 22893 WITH SCORE 22922.188
AT ITER 652 NEW BEST:: SOT 69165 SOS 29158 HAS SOPS 29158 HAS SOUS 22863 HAS SOUPS 22863 WITH SCORE 22892.158
AT ITER 655 NEW BEST:: SOT 69164 SOS 29157 HAS SOPS 29157 HAS SOUS 22851 HAS SOUPS 22851 WITH SCORE 22880.157
AT ITER 659 NEW BEST:: SOT 69044 SOS 29099 HAS SOPS 29099 HAS SOUS 22793 HAS SOUPS 22793 WITH SCORE 22822.099
AT ITER 661 NEW BEST:: SOT 69044 SOS 29099 HAS SOPS 29099 HAS SOUS 22737 HAS SOUPS 22737 WITH SCORE 22766.099
AT ITER 671 NEW BEST:: SOT 68954 SOS 29087 HAS SOPS 29087 HAS SOUS 22732 HAS SOUPS 22732 WITH SCORE 22761.087
AT ITER 672 NEW BEST:: SOT 68953 SOS 29085 HAS SOPS 29085 HAS SOUS 22731 HAS SOUPS 22731 WITH SCORE 22760.085
AT ITER 677 NEW BEST:: SOT 69011 SOS 29050 HAS SOPS 29050 HAS SOUS 22545 HAS SOUPS 22545 WITH SCORE 22574.05
AT ITER 699 NEW BEST:: SOT 69011 SOS 29001 HAS SOPS 29001 HAS SOUS 22534 HAS SOUPS 22534 WITH SCORE 22563.001
AT ITER 704 NEW BEST:: SOT 68993 SOS 28954 HAS SOPS 28954 HAS SOUS 22487 HAS SOUPS 22487 WITH SCORE 22515.954
AT ITER 705 NEW BEST:: SOT 68993 SOS 28939 HAS SOPS 28939 HAS SOUS 22487 HAS SOUPS 22487 WITH SCORE 22515.939
AT ITER 718 NEW BEST:: SOT 68987 SOS 28933 HAS SOPS 28933 HAS SOUS 22481 HAS SOUPS 22481 WITH SCORE 22509.933
AT ITER 726 NEW BEST:: SOT 68909 SOS 28699 HAS SOPS 28699 HAS SOUS 22408 HAS SOUPS 22408 WITH SCORE 22436.699
AT ITER 727 NEW BEST:: SOT 68909 SOS 28699 HAS SOPS 28699 HAS SOUS 22407 HAS SOUPS 22407 WITH SCORE 22435.699
AT ITER 732 NEW BEST:: SOT 68867 SOS 28666 HAS SOPS 28666 HAS SOUS 22365 HAS SOUPS 22365 WITH SCORE 22393.666
AT ITER 739 NEW BEST:: SOT 68778 SOS 28434 HAS SOPS 28434 HAS SOUS 22302 HAS SOUPS 22302 WITH SCORE 22330.434
AT ITER 742 NEW BEST:: SOT 68787 SOS 28408 HAS SOPS 28408 HAS SOUS 22276 HAS SOUPS 22276 WITH SCORE 22304.408
AT ITER 751 NEW BEST:: SOT 68776 SOS 28386 HAS SOPS 28386 HAS SOUS 22254 HAS SOUPS 22254 WITH SCORE 22282.386
AT ITER 763 NEW BEST:: SOT 68733 SOS 28269 HAS SOPS 28269 HAS SOUS 22250 HAS SOUPS 22250 WITH SCORE 22278.269
AT ITER 778 NEW BEST:: SOT 68728 SOS 28259 HAS SOPS 28259 HAS SOUS 22236 HAS SOUPS 22236 WITH SCORE 22264.259
AT ITER 781 NEW BEST:: SOT 68638 SOS 28054 HAS SOPS 28054 HAS SOUS 22043 HAS SOUPS 22043 WITH SCORE 22071.054
AT ITER 785 NEW BEST:: SOT 68624 SOS 28040 HAS SOPS 28040 HAS SOUS 22029 HAS SOUPS 22029 WITH SCORE 22057.04
AT ITER 787 NEW BEST:: SOT 68506 SOS 27865 HAS SOPS 27865 HAS SOUS 21854 HAS SOUPS 21854 WITH SCORE 21881.865
AT ITER 799 NEW BEST:: SOT 68503 SOS 27862 HAS SOPS 27862 HAS SOUS 21828 HAS SOUPS 21828 WITH SCORE 21855.862
AT ITER 804 NEW BEST:: SOT 68503 SOS 27793 HAS SOPS 27793 HAS SOUS 21759 HAS SOUPS 21759 WITH SCORE 21786.793
AT ITER 817 NEW BEST:: SOT 68515 SOS 27654 HAS SOPS 27654 HAS SOUS 21620 HAS SOUPS 21620 WITH SCORE 21647.654
AT ITER 831 NEW BEST:: SOT 68544 SOS 27654 HAS SOPS 27654 HAS SOUS 21591 HAS SOUPS 21591 WITH SCORE 21618.654
AT ITER 843 NEW BEST:: SOT 68526 SOS 27636 HAS SOPS 27636 HAS SOUS 21573 HAS SOUPS 21573 WITH SCORE 21600.636
AT ITER 856 NEW BEST:: SOT 68484 SOS 27510 HAS SOPS 27510 HAS SOUS 21447 HAS SOUPS 21447 WITH SCORE 21474.51
AT ITER 862 NEW BEST:: SOT 68486 SOS 27492 HAS SOPS 27492 HAS SOUS 21447 HAS SOUPS 21447 WITH SCORE 21474.492
AT ITER 871 NEW BEST:: SOT 68418 SOS 27424 HAS SOPS 27424 HAS SOUS 21416 HAS SOUPS 21416 WITH SCORE 21443.424
AT ITER 873 NEW BEST:: SOT 68398 SOS 27384 HAS SOPS 27384 HAS SOUS 21372 HAS SOUPS 21372 WITH SCORE 21399.384
AT ITER 882 NEW BEST:: SOT 68398 SOS 27207 HAS SOPS 27207 HAS SOUS 21195 HAS SOUPS 21195 WITH SCORE 21222.207
AT ITER 886 NEW BEST:: SOT 68348 SOS 27157 HAS SOPS 27157 HAS SOUS 21195 HAS SOUPS 21195 WITH SCORE 21222.157
AT ITER 910 NEW BEST:: SOT 68337 SOS 27086 HAS SOPS 27086 HAS SOUS 21152 HAS SOUPS 21152 WITH SCORE 21179.086
AT ITER 924 NEW BEST:: SOT 68337 SOS 27063 HAS SOPS 27063 HAS SOUS 21071 HAS SOUPS 21071 WITH SCORE 21098.063
AT ITER 929 NEW BEST:: SOT 68349 SOS 27058 HAS SOPS 27058 HAS SOUS 21066 HAS SOUPS 21066 WITH SCORE 21093.058
AT ITER 946 NEW BEST:: SOT 68426 SOS 27032 HAS SOPS 27032 HAS SOUS 21011 HAS SOUPS 21011 WITH SCORE 21038.032
AT ITER 953 NEW BEST:: SOT 68387 SOS 26993 HAS SOPS 26993 HAS SOUS 21011 HAS SOUPS 21011 WITH SCORE 21037.993
AT ITER 960 NEW BEST:: SOT 68393 SOS 26997 HAS SOPS 26997 HAS SOUS 21007 HAS SOUPS 21007 WITH SCORE 21033.997
AT ITER 969 NEW BEST:: SOT 68386 SOS 26983 HAS SOPS 26983 HAS SOUS 21000 HAS SOUPS 21000 WITH SCORE 21026.983
AT ITER 971 NEW BEST:: SOT 68276 SOS 26763 HAS SOPS 26763 HAS SOUS 20842 HAS SOUPS 20842 WITH SCORE 20868.763
AT ITER 980 NEW BEST:: SOT 68250 SOS 26737 HAS SOPS 26737 HAS SOUS 20842 HAS SOUPS 20842 WITH SCORE 20868.737
AT ITER 986 NEW BEST:: SOT 68203 SOS 26606 HAS SOPS 26606 HAS SOUS 20816 HAS SOUPS 20816 WITH SCORE 20842.606
AT ITER 991 NEW BEST:: SOT 68162 SOS 26523 HAS SOPS 26523 HAS SOUS 20688 HAS SOUPS 20688 WITH SCORE 20714.523
AT ITER 1008 NEW BEST:: SOT 68186 SOS 26476 HAS SOPS 26476 HAS SOUS 20641 HAS SOUPS 20641 WITH SCORE 20667.476
AT ITER 1020 NEW BEST:: SOT 68269 SOS 26533 HAS SOPS 26533 HAS SOUS 20615 HAS SOUPS 20615 WITH SCORE 20641.533
AT ITER 1048 NEW BEST:: SOT 68205 SOS 26375 HAS SOPS 26375 HAS SOUS 20521 HAS SOUPS 20521 WITH SCORE 20547.375
AT ITER 1069 NEW BEST:: SOT 68168 SOS 26333 HAS SOPS 26333 HAS SOUS 20479 HAS SOUPS 20479 WITH SCORE 20505.333
AT ITER 1073 NEW BEST:: SOT 68130 SOS 26257 HAS SOPS 26257 HAS SOUS 20434 HAS SOUPS 20434 WITH SCORE 20460.257
AT ITER 1079 NEW BEST:: SOT 68133 SOS 26209 HAS SOPS 26209 HAS SOUS 20386 HAS SOUPS 20386 WITH SCORE 20412.209
AT ITER 1084 NEW BEST:: SOT 68084 SOS 26146 HAS SOPS 26146 HAS SOUS 20358 HAS SOUPS 20358 WITH SCORE 20384.146
AT ITER 1088 NEW BEST:: SOT 68082 SOS 26055 HAS SOPS 26055 HAS SOUS 20294 HAS SOUPS 20294 WITH SCORE 20320.055
AT ITER 1126 NEW BEST:: SOT 68107 SOS 26082 HAS SOPS 26082 HAS SOUS 20289 HAS SOUPS 20289 WITH SCORE 20315.082
AT ITER 1133 NEW BEST:: SOT 68086 SOS 26046 HAS SOPS 26046 HAS SOUS 20268 HAS SOUPS 20268 WITH SCORE 20294.046
AT ITER 1188 NEW BEST:: SOT 68037 SOS 25978 HAS SOPS 25978 HAS SOUS 20255 HAS SOUPS 20255 WITH SCORE 20280.978
AT ITER 1206 NEW BEST:: SOT 68096 SOS 26037 HAS SOPS 26037 HAS SOUS 20236 HAS SOUPS 20236 WITH SCORE 20262.037
AT ITER 1217 NEW BEST:: SOT 68096 SOS 26037 HAS SOPS 26037 HAS SOUS 20164 HAS SOUPS 20164 WITH SCORE 20190.037
AT ITER 1223 NEW BEST:: SOT 67940 SOS 25842 HAS SOPS 25842 HAS SOUS 20089 HAS SOUPS 20089 WITH SCORE 20114.842
AT ITER 1229 NEW BEST:: SOT 67902 SOS 25766 HAS SOPS 25766 HAS SOUS 20077 HAS SOUPS 20077 WITH SCORE 20102.766
AT ITER 1232 NEW BEST:: SOT 67899 SOS 25763 HAS SOPS 25763 HAS SOUS 20074 HAS SOUPS 20074 WITH SCORE 20099.763
AT ITER 1235 NEW BEST:: SOT 67874 SOS 25713 HAS SOPS 25713 HAS SOUS 20024 HAS SOUPS 20024 WITH SCORE 20049.713
AT ITER 1269 NEW BEST:: SOT 67856 SOS 25653 HAS SOPS 25653 HAS SOUS 20006 HAS SOUPS 20006 WITH SCORE 20031.653
AT ITER 1275 NEW BEST:: SOT 67862 SOS 25622 HAS SOPS 25622 HAS SOUS 19932 HAS SOUPS 19932 WITH SCORE 19957.622
AT ITER 1288 NEW BEST:: SOT 67818 SOS 25573 HAS SOPS 25573 HAS SOUS 19883 HAS SOUPS 19883 WITH SCORE 19908.573
AT ITER 1345 NEW BEST:: SOT 67775 SOS 25485 HAS SOPS 25485 HAS SOUS 19802 HAS SOUPS 19802 WITH SCORE 19827.485
AT ITER 1351 NEW BEST:: SOT 67708 SOS 25351 HAS SOPS 25351 HAS SOUS 19668 HAS SOUPS 19668 WITH SCORE 19693.351
AT ITER 1374 NEW BEST:: SOT 67708 SOS 25333 HAS SOPS 25333 HAS SOUS 19633 HAS SOUPS 19633 WITH SCORE 19658.333
AT ITER 1375 NEW BEST:: SOT 67671 SOS 25296 HAS SOPS 25296 HAS SOUS 19596 HAS SOUPS 19596 WITH SCORE 19621.296
AT ITER 1388 NEW BEST:: SOT 67671 SOS 25285 HAS SOPS 25285 HAS SOUS 19536 HAS SOUPS 19536 WITH SCORE 19561.285
AT ITER 1410 NEW BEST:: SOT 67677 SOS 25264 HAS SOPS 25264 HAS SOUS 19515 HAS SOUPS 19515 WITH SCORE 19540.264
AT ITER 1415 NEW BEST:: SOT 67702 SOS 25282 HAS SOPS 25282 HAS SOUS 19505 HAS SOUPS 19505 WITH SCORE 19530.282
AT ITER 1419 NEW BEST:: SOT 67720 SOS 25300 HAS SOPS 25300 HAS SOUS 19503 HAS SOUPS 19503 WITH SCORE 19528.3
AT ITER 1453 NEW BEST:: SOT 67752 SOS 25332 HAS SOPS 25332 HAS SOUS 19487 HAS SOUPS 19487 WITH SCORE 19512.332
AT ITER 1464 NEW BEST:: SOT 67752 SOS 25293 HAS SOPS 25293 HAS SOUS 19448 HAS SOUPS 19448 WITH SCORE 19473.293
AT ITER 1471 NEW BEST:: SOT 67752 SOS 25293 HAS SOPS 25293 HAS SOUS 19424 HAS SOUPS 19424 WITH SCORE 19449.293
AT ITER 1476 NEW BEST:: SOT 67752 SOS 25293 HAS SOPS 25293 HAS SOUS 19406 HAS SOUPS 19406 WITH SCORE 19431.293
AT ITER 1485 NEW BEST:: SOT 67743 SOS 25275 HAS SOPS 25275 HAS SOUS 19388 HAS SOUPS 19388 WITH SCORE 19413.275
AT ITER 1511 NEW BEST:: SOT 67778 SOS 25292 HAS SOPS 25292 HAS SOUS 19352 HAS SOUPS 19352 WITH SCORE 19377.292
AT ITER 1529 NEW BEST:: SOT 67766 SOS 25280 HAS SOPS 25280 HAS SOUS 19340 HAS SOUPS 19340 WITH SCORE 19365.28
AT ITER 1568 NEW BEST:: SOT 67760 SOS 25268 HAS SOPS 25268 HAS SOUS 19328 HAS SOUPS 19328 WITH SCORE 19353.268
AT ITER 1576 NEW BEST:: SOT 67761 SOS 25245 HAS SOPS 25245 HAS SOUS 19305 HAS SOUPS 19305 WITH SCORE 19330.245
AT ITER 1588 NEW BEST:: SOT 67765 SOS 25233 HAS SOPS 25233 HAS SOUS 19293 HAS SOUPS 19293 WITH SCORE 19318.233
AT ITER 1592 NEW BEST:: SOT 67759 SOS 25227 HAS SOPS 25227 HAS SOUS 19287 HAS SOUPS 19287 WITH SCORE 19312.227
AT ITER 1593 NEW BEST:: SOT 67722 SOS 25106 HAS SOPS 25106 HAS SOUS 19166 HAS SOUPS 19166 WITH SCORE 19191.106
AT ITER 1612 NEW BEST:: SOT 67755 SOS 24951 HAS SOPS 24951 HAS SOUS 19157 HAS SOUPS 19157 WITH SCORE 19181.951
AT ITER 1626 NEW BEST:: SOT 67755 SOS 24919 HAS SOPS 24919 HAS SOUS 19149 HAS SOUPS 19149 WITH SCORE 19173.919
AT ITER 1641 NEW BEST:: SOT 67752 SOS 24916 HAS SOPS 24916 HAS SOUS 19146 HAS SOUPS 19146 WITH SCORE 19170.916
AT ITER 1649 NEW BEST:: SOT 67701 SOS 24838 HAS SOPS 24838 HAS SOUS 19119 HAS SOUPS 19119 WITH SCORE 19143.838
AT ITER 1651 NEW BEST:: SOT 67669 SOS 24792 HAS SOPS 24792 HAS SOUS 19073 HAS SOUPS 19073 WITH SCORE 19097.792
AT ITER 1666 NEW BEST:: SOT 67632 SOS 24755 HAS SOPS 24755 HAS SOUS 19035 HAS SOUPS 19035 WITH SCORE 19059.755
AT ITER 1672 NEW BEST:: SOT 67615 SOS 24743 HAS SOPS 24743 HAS SOUS 19034 HAS SOUPS 19034 WITH SCORE 19058.743
AT ITER 1680 NEW BEST:: SOT 67624 SOS 24726 HAS SOPS 24726 HAS SOUS 19017 HAS SOUPS 19017 WITH SCORE 19041.726
AT ITER 1681 NEW BEST:: SOT 67624 SOS 24717 HAS SOPS 24717 HAS SOUS 19008 HAS SOUPS 19008 WITH SCORE 19032.717
AT ITER 1702 NEW BEST:: SOT 67597 SOS 24690 HAS SOPS 24690 HAS SOUS 18981 HAS SOUPS 18981 WITH SCORE 19005.69
AT ITER 1709 NEW BEST:: SOT 67593 SOS 24685 HAS SOPS 24685 HAS SOUS 18978 HAS SOUPS 18978 WITH SCORE 19002.685
AT ITER 1712 NEW BEST:: SOT 67594 SOS 24666 HAS SOPS 24666 HAS SOUS 18959 HAS SOUPS 18959 WITH SCORE 18983.666
AT ITER 1735 NEW BEST:: SOT 67609 SOS 24558 HAS SOPS 24558 HAS SOUS 18900 HAS SOUPS 18900 WITH SCORE 18924.558
AT ITER 1741 NEW BEST:: SOT 67602 SOS 24544 HAS SOPS 24544 HAS SOUS 18886 HAS SOUPS 18886 WITH SCORE 18910.544
AT ITER 1743 NEW BEST:: SOT 67631 SOS 24568 HAS SOPS 24568 HAS SOUS 18881 HAS SOUPS 18881 WITH SCORE 18905.568
AT ITER 1762 NEW BEST:: SOT 67629 SOS 24566 HAS SOPS 24566 HAS SOUS 18879 HAS SOUPS 18879 WITH SCORE 18903.566
AT ITER 1766 NEW BEST:: SOT 67613 SOS 24534 HAS SOPS 24534 HAS SOUS 18847 HAS SOUPS 18847 WITH SCORE 18871.534
AT ITER 1775 NEW BEST:: SOT 67577 SOS 24512 HAS SOPS 24512 HAS SOUS 18825 HAS SOUPS 18825 WITH SCORE 18849.512
AT ITER 1790 NEW BEST:: SOT 67529 SOS 24615 HAS SOPS 24615 HAS SOUS 18817 HAS SOUPS 18817 WITH SCORE 18841.615
AT ITER 1793 NEW BEST:: SOT 67519 SOS 24595 HAS SOPS 24595 HAS SOUS 18746 HAS SOUPS 18746 WITH SCORE 18770.595
AT ITER 1795 NEW BEST:: SOT 67499 SOS 24513 HAS SOPS 24513 HAS SOUS 18706 HAS SOUPS 18706 WITH SCORE 18730.513
AT ITER 1803 NEW BEST:: SOT 67498 SOS 24511 HAS SOPS 24511 HAS SOUS 18704 HAS SOUPS 18704 WITH SCORE 18728.511
AT ITER 1804 NEW BEST:: SOT 67498 SOS 24447 HAS SOPS 24447 HAS SOUS 18640 HAS SOUPS 18640 WITH SCORE 18664.447
AT ITER 1832 NEW BEST:: SOT 67463 SOS 24377 HAS SOPS 24377 HAS SOUS 18604 HAS SOUPS 18604 WITH SCORE 18628.377
AT ITER 1864 NEW BEST:: SOT 67450 SOS 24351 HAS SOPS 24351 HAS SOUS 18578 HAS SOUPS 18578 WITH SCORE 18602.351
AT ITER 1866 NEW BEST:: SOT 67450 SOS 24334 HAS SOPS 24334 HAS SOUS 18544 HAS SOUPS 18544 WITH SCORE 18568.334
AT ITER 1918 NEW BEST:: SOT 67451 SOS 24313 HAS SOPS 24313 HAS SOUS 18523 HAS SOUPS 18523 WITH SCORE 18547.313
AT ITER 1922 NEW BEST:: SOT 67446 SOS 24307 HAS SOPS 24307 HAS SOUS 18517 HAS SOUPS 18517 WITH SCORE 18541.307
AT ITER 1940 NEW BEST:: SOT 67437 SOS 24298 HAS SOPS 24298 HAS SOUS 18508 HAS SOUPS 18508 WITH SCORE 18532.298
AT ITER 1941 NEW BEST:: SOT 67495 SOS 24294 HAS SOPS 24294 HAS SOUS 18504 HAS SOUPS 18504 WITH SCORE 18528.294
AT ITER 1950 NEW BEST:: SOT 67475 SOS 24274 HAS SOPS 24274 HAS SOUS 18484 HAS SOUPS 18484 WITH SCORE 18508.274
AT ITER 1953 NEW BEST:: SOT 67474 SOS 24272 HAS SOPS 24272 HAS SOUS 18482 HAS SOUPS 18482 WITH SCORE 18506.272
AT ITER 1954 NEW BEST:: SOT 67424 SOS 24222 HAS SOPS 24222 HAS SOUS 18432 HAS SOUPS 18432 WITH SCORE 18456.222
AT ITER 1961 NEW BEST:: SOT 67423 SOS 24221 HAS SOPS 24221 HAS SOUS 18431 HAS SOUPS 18431 WITH SCORE 18455.221
AT ITER 2003 NEW BEST:: SOT 67407 SOS 24205 HAS SOPS 24205 HAS SOUS 18415 HAS SOUPS 18415 WITH SCORE 18439.205
AT ITER 2058 NEW BEST:: SOT 67400 SOS 24198 HAS SOPS 24198 HAS SOUS 18408 HAS SOUPS 18408 WITH SCORE 18432.198
AT ITER 2059 NEW BEST:: SOT 67400 SOS 24187 HAS SOPS 24187 HAS SOUS 18397 HAS SOUPS 18397 WITH SCORE 18421.187
AT ITER 2091 NEW BEST:: SOT 67387 SOS 24179 HAS SOPS 24179 HAS SOUS 18389 HAS SOUPS 18389 WITH SCORE 18413.179
AT ITER 2098 NEW BEST:: SOT 67386 SOS 24177 HAS SOPS 24177 HAS SOUS 18332 HAS SOUPS 18332 WITH SCORE 18356.177
AT ITER 2112 NEW BEST:: SOT 67379 SOS 24158 HAS SOPS 24158 HAS SOUS 18313 HAS SOUPS 18313 WITH SCORE 18337.158
AT ITER 2146 NEW BEST:: SOT 67355 SOS 24152 HAS SOPS 24152 HAS SOUS 18307 HAS SOUPS 18307 WITH SCORE 18331.152
AT ITER 2148 NEW BEST:: SOT 67355 SOS 24111 HAS SOPS 24111 HAS SOUS 18244 HAS SOUPS 18244 WITH SCORE 18268.111
AT ITER 2165 NEW BEST:: SOT 67324 SOS 24095 HAS SOPS 24095 HAS SOUS 18228 HAS SOUPS 18228 WITH SCORE 18252.095
AT ITER 2171 NEW BEST:: SOT 67310 SOS 24067 HAS SOPS 24067 HAS SOUS 18200 HAS SOUPS 18200 WITH SCORE 18224.067
AT ITER 2172 NEW BEST:: SOT 67280 SOS 23817 HAS SOPS 23817 HAS SOUS 18186 HAS SOUPS 18186 WITH SCORE 18209.817
AT ITER 2206 NEW BEST:: SOT 67296 SOS 23817 HAS SOPS 23817 HAS SOUS 18170 HAS SOUPS 18170 WITH SCORE 18193.817
AT ITER 2208 NEW BEST:: SOT 67285 SOS 23795 HAS SOPS 23795 HAS SOUS 18148 HAS SOUPS 18148 WITH SCORE 18171.795
AT ITER 2218 NEW BEST:: SOT 67304 SOS 23787 HAS SOPS 23787 HAS SOUS 18140 HAS SOUPS 18140 WITH SCORE 18163.787
AT ITER 2222 NEW BEST:: SOT 67300 SOS 23734 HAS SOPS 23734 HAS SOUS 18087 HAS SOUPS 18087 WITH SCORE 18110.734
AT ITER 2226 NEW BEST:: SOT 67315 SOS 23764 HAS SOPS 23764 HAS SOUS 18065 HAS SOUPS 18065 WITH SCORE 18088.764
AT ITER 2256 NEW BEST:: SOT 67299 SOS 23732 HAS SOPS 23732 HAS SOUS 18024 HAS SOUPS 18024 WITH SCORE 18047.732
AT ITER 2266 NEW BEST:: SOT 67290 SOS 23714 HAS SOPS 23714 HAS SOUS 18015 HAS SOUPS 18015 WITH SCORE 18038.714
AT ITER 2277 NEW BEST:: SOT 67290 SOS 23664 HAS SOPS 23664 HAS SOUS 18015 HAS SOUPS 18015 WITH SCORE 18038.664
AT ITER 2302 NEW BEST:: SOT 67226 SOS 23595 HAS SOPS 23595 HAS SOUS 17946 HAS SOUPS 17946 WITH SCORE 17969.595
AT ITER 2316 NEW BEST:: SOT 67154 SOS 23494 HAS SOPS 23494 HAS SOUS 17845 HAS SOUPS 17845 WITH SCORE 17868.494
AT ITER 2336 NEW BEST:: SOT 67132 SOS 23482 HAS SOPS 23482 HAS SOUS 17821 HAS SOUPS 17821 WITH SCORE 17844.482
AT ITER 2337 NEW BEST:: SOT 67117 SOS 23478 HAS SOPS 23478 HAS SOUS 17817 HAS SOUPS 17817 WITH SCORE 17840.478
AT ITER 2349 NEW BEST:: SOT 67064 SOS 23372 HAS SOPS 23372 HAS SOUS 17764 HAS SOUPS 17764 WITH SCORE 17787.372
AT ITER 2368 NEW BEST:: SOT 67056 SOS 23362 HAS SOPS 23362 HAS SOUS 17754 HAS SOUPS 17754 WITH SCORE 17777.362
AT ITER 2393 NEW BEST:: SOT 67056 SOS 23361 HAS SOPS 23361 HAS SOUS 17753 HAS SOUPS 17753 WITH SCORE 17776.361
AT ITER 2397 NEW BEST:: SOT 67067 SOS 23348 HAS SOPS 23348 HAS SOUS 17740 HAS SOUPS 17740 WITH SCORE 17763.348
AT ITER 2402 NEW BEST:: SOT 67048 SOS 23286 HAS SOPS 23286 HAS SOUS 17707 HAS SOUPS 17707 WITH SCORE 17730.286
AT ITER 2414 NEW BEST:: SOT 67047 SOS 23285 HAS SOPS 23285 HAS SOUS 17693 HAS SOUPS 17693 WITH SCORE 17716.285
AT ITER 2455 NEW BEST:: SOT 67024 SOS 23254 HAS SOPS 23254 HAS SOUS 17679 HAS SOUPS 17679 WITH SCORE 17702.254
AT ITER 2457 NEW BEST:: SOT 67069 SOS 23216 HAS SOPS 23216 HAS SOUS 17656 HAS SOUPS 17656 WITH SCORE 17679.216
AT ITER 2473 NEW BEST:: SOT 67038 SOS 23189 HAS SOPS 23189 HAS SOUS 17629 HAS SOUPS 17629 WITH SCORE 17652.189
AT ITER 2497 NEW BEST:: SOT 67008 SOS 23132 HAS SOPS 23132 HAS SOUS 17576 HAS SOUPS 17576 WITH SCORE 17599.132
AT ITER 2525 NEW BEST:: SOT 67001 SOS 23073 HAS SOPS 23073 HAS SOUS 17562 HAS SOUPS 17562 WITH SCORE 17585.073
AT ITER 2527 NEW BEST:: SOT 66966 SOS 23003 HAS SOPS 23003 HAS SOUS 17492 HAS SOUPS 17492 WITH SCORE 17515.003
AT ITER 2531 NEW BEST:: SOT 66959 SOS 22989 HAS SOPS 22989 HAS SOUS 17468 HAS SOUPS 17468 WITH SCORE 17490.989
AT ITER 2535 NEW BEST:: SOT 66965 SOS 22981 HAS SOPS 22981 HAS SOUS 17460 HAS SOUPS 17460 WITH SCORE 17482.981
AT ITER 2568 NEW BEST:: SOT 66961 SOS 22966 HAS SOPS 22966 HAS SOUS 17445 HAS SOUPS 17445 WITH SCORE 17467.966
AT ITER 2574 NEW BEST:: SOT 66961 SOS 23032 HAS SOPS 23032 HAS SOUS 17432 HAS SOUPS 17432 WITH SCORE 17455.032
AT ITER 2575 NEW BEST:: SOT 66963 SOS 23030 HAS SOPS 23030 HAS SOUS 17424 HAS SOUPS 17424 WITH SCORE 17447.03
AT ITER 2577 NEW BEST:: SOT 66961 SOS 23026 HAS SOPS 23026 HAS SOUS 17420 HAS SOUPS 17420 WITH SCORE 17443.026
AT ITER 2580 NEW BEST:: SOT 66957 SOS 23018 HAS SOPS 23018 HAS SOUS 17420 HAS SOUPS 17420 WITH SCORE 17443.018
AT ITER 2608 NEW BEST:: SOT 66909 SOS 22970 HAS SOPS 22970 HAS SOUS 17396 HAS SOUPS 17396 WITH SCORE 17418.97
AT ITER 2620 NEW BEST:: SOT 66911 SOS 22974 HAS SOPS 22974 HAS SOUS 17388 HAS SOUPS 17388 WITH SCORE 17410.974
AT ITER 2621 NEW BEST:: SOT 66855 SOS 23074 HAS SOPS 23074 HAS SOUS 17371 HAS SOUPS 17371 WITH SCORE 17394.074
AT ITER 2625 NEW BEST:: SOT 66854 SOS 23072 HAS SOPS 23072 HAS SOUS 17369 HAS SOUPS 17369 WITH SCORE 17392.072
AT ITER 2643 NEW BEST:: SOT 66854 SOS 23062 HAS SOPS 23062 HAS SOUS 17347 HAS SOUPS 17347 WITH SCORE 17370.062
AT ITER 2644 NEW BEST:: SOT 66941 SOS 22925 HAS SOPS 22925 HAS SOUS 17313 HAS SOUPS 17313 WITH SCORE 17335.925
AT ITER 2654 NEW BEST:: SOT 66937 SOS 22920 HAS SOPS 22920 HAS SOUS 17311 HAS SOUPS 17311 WITH SCORE 17333.92
AT ITER 2711 NEW BEST:: SOT 66933 SOS 22912 HAS SOPS 22912 HAS SOUS 17303 HAS SOUPS 17303 WITH SCORE 17325.912
AT ITER 2721 NEW BEST:: SOT 66904 SOS 22854 HAS SOPS 22854 HAS SOUS 17245 HAS SOUPS 17245 WITH SCORE 17267.854
AT ITER 2745 NEW BEST:: SOT 66891 SOS 22782 HAS SOPS 22782 HAS SOUS 17232 HAS SOUPS 17232 WITH SCORE 17254.782
AT ITER 2781 NEW BEST:: SOT 66886 SOS 22777 HAS SOPS 22777 HAS SOUS 17232 HAS SOUPS 17232 WITH SCORE 17254.777
AT ITER 2785 NEW BEST:: SOT 66877 SOS 22759 HAS SOPS 22759 HAS SOUS 17223 HAS SOUPS 17223 WITH SCORE 17245.759
AT ITER 2802 NEW BEST:: SOT 66893 SOS 22613 HAS SOPS 22613 HAS SOUS 17057 HAS SOUPS 17057 WITH SCORE 17079.613
AT ITER 2823 NEW BEST:: SOT 66831 SOS 22551 HAS SOPS 22551 HAS SOUS 16995 HAS SOUPS 16995 WITH SCORE 17017.551
AT ITER 2826 NEW BEST:: SOT 66805 SOS 22521 HAS SOPS 22521 HAS SOUS 16965 HAS SOUPS 16965 WITH SCORE 16987.521
AT ITER 2850 NEW BEST:: SOT 66764 SOS 22450 HAS SOPS 22450 HAS SOUS 16894 HAS SOUPS 16894 WITH SCORE 16916.45
AT ITER 2872 NEW BEST:: SOT 66757 SOS 22443 HAS SOPS 22443 HAS SOUS 16892 HAS SOUPS 16892 WITH SCORE 16914.443
AT ITER 2881 NEW BEST:: SOT 66757 SOS 22443 HAS SOPS 22443 HAS SOUS 16888 HAS SOUPS 16888 WITH SCORE 16910.443
AT ITER 2885 NEW BEST:: SOT 66753 SOS 22435 HAS SOPS 22435 HAS SOUS 16880 HAS SOUPS 16880 WITH SCORE 16902.435
AT ITER 2888 NEW BEST:: SOT 66727 SOS 22383 HAS SOPS 22383 HAS SOUS 16854 HAS SOUPS 16854 WITH SCORE 16876.383
AT ITER 2901 NEW BEST:: SOT 66739 SOS 22297 HAS SOPS 22297 HAS SOUS 16787 HAS SOUPS 16787 WITH SCORE 16809.297
AT ITER 2905 NEW BEST:: SOT 66739 SOS 22297 HAS SOPS 22297 HAS SOUS 16786 HAS SOUPS 16786 WITH SCORE 16808.297
AT ITER 2908 NEW BEST:: SOT 66758 SOS 21270 HAS SOPS 21270 HAS SOUS 16779 HAS SOUPS 16779 WITH SCORE 16800.27
AT ITER 2916 NEW BEST:: SOT 66688 SOS 21104 HAS SOPS 21104 HAS SOUS 16728 HAS SOUPS 16728 WITH SCORE 16749.104
AT ITER 2929 NEW BEST:: SOT 66688 SOS 21092 HAS SOPS 21092 HAS SOUS 16722 HAS SOUPS 16722 WITH SCORE 16743.092
AT ITER 2948 NEW BEST:: SOT 66680 SOS 21076 HAS SOPS 21076 HAS SOUS 16706 HAS SOUPS 16706 WITH SCORE 16727.076
AT ITER 3001 NEW BEST:: SOT 66639 SOS 21036 HAS SOPS 21036 HAS SOUS 16699 HAS SOUPS 16699 WITH SCORE 16720.036
AT ITER 3014 NEW BEST:: SOT 66601 SOS 20960 HAS SOPS 20960 HAS SOUS 16628 HAS SOUPS 16628 WITH SCORE 16648.96
AT ITER 3052 NEW BEST:: SOT 66601 SOS 20960 HAS SOPS 20960 HAS SOUS 16610 HAS SOUPS 16610 WITH SCORE 16630.96
AT ITER 3115 NEW BEST:: SOT 66592 SOS 20960 HAS SOPS 20960 HAS SOUS 16592 HAS SOUPS 16592 WITH SCORE 16612.96
AT ITER 3118 NEW BEST:: SOT 66604 SOS 20984 HAS SOPS 20984 HAS SOUS 16558 HAS SOUPS 16558 WITH SCORE 16578.984
AT ITER 3126 NEW BEST:: SOT 66581 SOS 20993 HAS SOPS 20993 HAS SOUS 16507 HAS SOUPS 16507 WITH SCORE 16527.993
AT ITER 3135 NEW BEST:: SOT 66435 SOS 20835 HAS SOPS 20835 HAS SOUS 16349 HAS SOUPS 16349 WITH SCORE 16369.835
AT ITER 3198 NEW BEST:: SOT 66429 SOS 20829 HAS SOPS 20829 HAS SOUS 16346 HAS SOUPS 16346 WITH SCORE 16366.829
AT ITER 3217 NEW BEST:: SOT 66427 SOS 20827 HAS SOPS 20827 HAS SOUS 16346 HAS SOUPS 16346 WITH SCORE 16366.827
AT ITER 3257 NEW BEST:: SOT 66427 SOS 20827 HAS SOPS 20827 HAS SOUS 16331 HAS SOUPS 16331 WITH SCORE 16351.827
AT ITER 3266 NEW BEST:: SOT 66327 SOS 20671 HAS SOPS 20671 HAS SOUS 16175 HAS SOUPS 16175 WITH SCORE 16195.671
AT ITER 3279 NEW BEST:: SOT 66326 SOS 20670 HAS SOPS 20670 HAS SOUS 16174 HAS SOUPS 16174 WITH SCORE 16194.67
AT ITER 3283 NEW BEST:: SOT 66323 SOS 20653 HAS SOPS 20653 HAS SOUS 16157 HAS SOUPS 16157 WITH SCORE 16177.653
AT ITER 3287 NEW BEST:: SOT 66295 SOS 20626 HAS SOPS 20626 HAS SOUS 16130 HAS SOUPS 16130 WITH SCORE 16150.626
AT ITER 3316 NEW BEST:: SOT 66250 SOS 20615 HAS SOPS 20615 HAS SOUS 16119 HAS SOUPS 16119 WITH SCORE 16139.615
AT ITER 3321 NEW BEST:: SOT 66256 SOS 20608 HAS SOPS 20608 HAS SOUS 16112 HAS SOUPS 16112 WITH SCORE 16132.608
AT ITER 3362 NEW BEST:: SOT 66248 SOS 20607 HAS SOPS 20607 HAS SOUS 16111 HAS SOUPS 16111 WITH SCORE 16131.607
AT ITER 3366 NEW BEST:: SOT 66246 SOS 20605 HAS SOPS 20605 HAS SOUS 16109 HAS SOUPS 16109 WITH SCORE 16129.605
AT ITER 3376 NEW BEST:: SOT 66246 SOS 20579 HAS SOPS 20579 HAS SOUS 16083 HAS SOUPS 16083 WITH SCORE 16103.579
AT ITER 3416 NEW BEST:: SOT 66241 SOS 20570 HAS SOPS 20570 HAS SOUS 16079 HAS SOUPS 16079 WITH SCORE 16099.57
AT ITER 3420 NEW BEST:: SOT 66241 SOS 20569 HAS SOPS 20569 HAS SOUS 16078 HAS SOUPS 16078 WITH SCORE 16098.569
AT ITER 3455 NEW BEST:: SOT 66209 SOS 20535 HAS SOPS 20535 HAS SOUS 16074 HAS SOUPS 16074 WITH SCORE 16094.535
AT ITER 3462 NEW BEST:: SOT 66193 SOS 20476 HAS SOPS 20476 HAS SOUS 16015 HAS SOUPS 16015 WITH SCORE 16035.476
AT ITER 3466 NEW BEST:: SOT 66157 SOS 20425 HAS SOPS 20425 HAS SOUS 15985 HAS SOUPS 15985 WITH SCORE 16005.425
AT ITER 3477 NEW BEST:: SOT 66149 SOS 20393 HAS SOPS 20393 HAS SOUS 15961 HAS SOUPS 15961 WITH SCORE 15981.393
AT ITER 3529 NEW BEST:: SOT 66134 SOS 20354 HAS SOPS 20354 HAS SOUS 15926 HAS SOUPS 15926 WITH SCORE 15946.354
AT ITER 3534 NEW BEST:: SOT 66120 SOS 20345 HAS SOPS 20345 HAS SOUS 15917 HAS SOUPS 15917 WITH SCORE 15937.345
AT ITER 3542 NEW BEST:: SOT 66160 SOS 20343 HAS SOPS 20343 HAS SOUS 15859 HAS SOUPS 15859 WITH SCORE 15879.343
AT ITER 3560 NEW BEST:: SOT 66151 SOS 20334 HAS SOPS 20334 HAS SOUS 15859 HAS SOUPS 15859 WITH SCORE 15879.334
AT ITER 3596 NEW BEST:: SOT 66150 SOS 20333 HAS SOPS 20333 HAS SOUS 15848 HAS SOUPS 15848 WITH SCORE 15868.333
AT ITER 3601 NEW BEST:: SOT 66080 SOS 20323 HAS SOPS 20323 HAS SOUS 15838 HAS SOUPS 15838 WITH SCORE 15858.323
AT ITER 3613 NEW BEST:: SOT 66079 SOS 20320 HAS SOPS 20320 HAS SOUS 15835 HAS SOUPS 15835 WITH SCORE 15855.32
AT ITER 3615 NEW BEST:: SOT 66071 SOS 20304 HAS SOPS 20304 HAS SOUS 15819 HAS SOUPS 15819 WITH SCORE 15839.304
AT ITER 3632 NEW BEST:: SOT 66064 SOS 20299 HAS SOPS 20299 HAS SOUS 15814 HAS SOUPS 15814 WITH SCORE 15834.299
AT ITER 3634 NEW BEST:: SOT 66054 SOS 20279 HAS SOPS 20279 HAS SOUS 15794 HAS SOUPS 15794 WITH SCORE 15814.279
AT ITER 3679 NEW BEST:: SOT 66054 SOS 20273 HAS SOPS 20273 HAS SOUS 15782 HAS SOUPS 15782 WITH SCORE 15802.273
AT ITER 3690 NEW BEST:: SOT 66201 SOS 19979 HAS SOPS 19979 HAS SOUS 15782 HAS SOUPS 15782 WITH SCORE 15801.979
AT ITER 3708 NEW BEST:: SOT 66201 SOS 19930 HAS SOPS 19930 HAS SOUS 15782 HAS SOUPS 15782 WITH SCORE 15801.93
AT ITER 3738 NEW BEST:: SOT 66201 SOS 19919 HAS SOPS 19919 HAS SOUS 15771 HAS SOUPS 15771 WITH SCORE 15790.919
AT ITER 3741 NEW BEST:: SOT 66202 SOS 19903 HAS SOPS 19903 HAS SOUS 15755 HAS SOUPS 15755 WITH SCORE 15774.903
AT ITER 3762 NEW BEST:: SOT 66206 SOS 19890 HAS SOPS 19890 HAS SOUS 15742 HAS SOUPS 15742 WITH SCORE 15761.89
AT ITER 3763 NEW BEST:: SOT 66206 SOS 19885 HAS SOPS 19885 HAS SOUS 15737 HAS SOUPS 15737 WITH SCORE 15756.885
AT ITER 3840 NEW BEST:: SOT 66203 SOS 19879 HAS SOPS 19879 HAS SOUS 15731 HAS SOUPS 15731 WITH SCORE 15750.879
AT ITER 3890 NEW BEST:: SOT 66196 SOS 19872 HAS SOPS 19872 HAS SOUS 15724 HAS SOUPS 15724 WITH SCORE 15743.872
AT ITER 3905 NEW BEST:: SOT 66149 SOS 19874 HAS SOPS 19874 HAS SOUS 15708 HAS SOUPS 15708 WITH SCORE 15727.874
AT ITER 3909 NEW BEST:: SOT 66171 SOS 19869 HAS SOPS 19869 HAS SOUS 15703 HAS SOUPS 15703 WITH SCORE 15722.869
AT ITER 3921 NEW BEST:: SOT 66152 SOS 19850 HAS SOPS 19850 HAS SOUS 15703 HAS SOUPS 15703 WITH SCORE 15722.85
AT ITER 3927 NEW BEST:: SOT 66144 SOS 19842 HAS SOPS 19842 HAS SOUS 15703 HAS SOUPS 15703 WITH SCORE 15722.842
AT ITER 3951 NEW BEST:: SOT 66136 SOS 19807 HAS SOPS 19807 HAS SOUS 15668 HAS SOUPS 15668 WITH SCORE 15687.807
AT ITER 4020 NEW BEST:: SOT 66137 SOS 19789 HAS SOPS 19789 HAS SOUS 15659 HAS SOUPS 15659 WITH SCORE 15678.789
AT ITER 4043 NEW BEST:: SOT 66127 SOS 19779 HAS SOPS 19779 HAS SOUS 15654 HAS SOUPS 15654 WITH SCORE 15673.779
AT ITER 4045 NEW BEST:: SOT 66127 SOS 19769 HAS SOPS 19769 HAS SOUS 15654 HAS SOUPS 15654 WITH SCORE 15673.769
AT ITER 4062 NEW BEST:: SOT 66120 SOS 19755 HAS SOPS 19755 HAS SOUS 15647 HAS SOUPS 15647 WITH SCORE 15666.755
AT ITER 4117 NEW BEST:: SOT 66105 SOS 19750 HAS SOPS 19750 HAS SOUS 15642 HAS SOUPS 15642 WITH SCORE 15661.75
AT ITER 4164 NEW BEST:: SOT 66105 SOS 19748 HAS SOPS 19748 HAS SOUS 15640 HAS SOUPS 15640 WITH SCORE 15659.748
AT ITER 4191 NEW BEST:: SOT 66097 SOS 19740 HAS SOPS 19740 HAS SOUS 15632 HAS SOUPS 15632 WITH SCORE 15651.74
AT ITER 4233 NEW BEST:: SOT 66091 SOS 19717 HAS SOPS 19717 HAS SOUS 15609 HAS SOUPS 15609 WITH SCORE 15628.717
AT ITER 4259 NEW BEST:: SOT 66061 SOS 19696 HAS SOPS 19696 HAS SOUS 15588 HAS SOUPS 15588 WITH SCORE 15607.696
AT ITER 4266 NEW BEST:: SOT 66066 SOS 19685 HAS SOPS 19685 HAS SOUS 15566 HAS SOUPS 15566 WITH SCORE 15585.685
AT ITER 4275 NEW BEST:: SOT 66088 SOS 19684 HAS SOPS 19684 HAS SOUS 15565 HAS SOUPS 15565 WITH SCORE 15584.684
AT ITER 4282 NEW BEST:: SOT 66079 SOS 19678 HAS SOPS 19678 HAS SOUS 15559 HAS SOUPS 15559 WITH SCORE 15578.678
AT ITER 4305 NEW BEST:: SOT 66074 SOS 19668 HAS SOPS 19668 HAS SOUS 15549 HAS SOUPS 15549 WITH SCORE 15568.668
AT ITER 4312 NEW BEST:: SOT 66074 SOS 19661 HAS SOPS 19661 HAS SOUS 15542 HAS SOUPS 15542 WITH SCORE 15561.661
AT ITER 4334 NEW BEST:: SOT 66085 SOS 19640 HAS SOPS 19640 HAS SOUS 15478 HAS SOUPS 15478 WITH SCORE 15497.64
AT ITER 4343 NEW BEST:: SOT 66052 SOS 20445 HAS SOPS 20445 HAS SOUS 15466 HAS SOUPS 15466 WITH SCORE 15486.445
AT ITER 4409 NEW BEST:: SOT 66052 SOS 20445 HAS SOPS 20445 HAS SOUS 15463 HAS SOUPS 15463 WITH SCORE 15483.445
AT ITER 4411 NEW BEST:: SOT 66047 SOS 20436 HAS SOPS 20436 HAS SOUS 15454 HAS SOUPS 15454 WITH SCORE 15474.436
AT ITER 4417 NEW BEST:: SOT 66046 SOS 20434 HAS SOPS 20434 HAS SOUS 15453 HAS SOUPS 15453 WITH SCORE 15473.434
AT ITER 4464 NEW BEST:: SOT 66042 SOS 20426 HAS SOPS 20426 HAS SOUS 15445 HAS SOUPS 15445 WITH SCORE 15465.426
AT ITER 4466 NEW BEST:: SOT 66036 SOS 20418 HAS SOPS 20418 HAS SOUS 15433 HAS SOUPS 15433 WITH SCORE 15453.418
AT ITER 4477 NEW BEST:: SOT 66032 SOS 20414 HAS SOPS 20414 HAS SOUS 15425 HAS SOUPS 15425 WITH SCORE 15445.414
AT ITER 4488 NEW BEST:: SOT 66028 SOS 20409 HAS SOPS 20409 HAS SOUS 15423 HAS SOUPS 15423 WITH SCORE 15443.409
AT ITER 4490 NEW BEST:: SOT 66027 SOS 20407 HAS SOPS 20407 HAS SOUS 15421 HAS SOUPS 15421 WITH SCORE 15441.407
AT ITER 4502 NEW BEST:: SOT 66024 SOS 20334 HAS SOPS 20334 HAS SOUS 15383 HAS SOUPS 15383 WITH SCORE 15403.334
AT ITER 4515 NEW BEST:: SOT 66048 SOS 20319 HAS SOPS 20319 HAS SOUS 15368 HAS SOUPS 15368 WITH SCORE 15388.319
AT ITER 4554 NEW BEST:: SOT 66046 SOS 20283 HAS SOPS 20283 HAS SOUS 15294 HAS SOUPS 15294 WITH SCORE 15314.283
AT ITER 4560 NEW BEST:: SOT 65956 SOS 20271 HAS SOPS 20271 HAS SOUS 15268 HAS SOUPS 15268 WITH SCORE 15288.271
AT ITER 4578 NEW BEST:: SOT 65956 SOS 20264 HAS SOPS 20264 HAS SOUS 15261 HAS SOUPS 15261 WITH SCORE 15281.264
AT ITER 4586 NEW BEST:: SOT 65939 SOS 20247 HAS SOPS 20247 HAS SOUS 15261 HAS SOUPS 15261 WITH SCORE 15281.247
AT ITER 4598 NEW BEST:: SOT 65939 SOS 20237 HAS SOPS 20237 HAS SOUS 15251 HAS SOUPS 15251 WITH SCORE 15271.237
AT ITER 4634 NEW BEST:: SOT 65896 SOS 20194 HAS SOPS 20194 HAS SOUS 15208 HAS SOUPS 15208 WITH SCORE 15228.194
AT ITER 4662 NEW BEST:: SOT 65894 SOS 20181 HAS SOPS 20181 HAS SOUS 15195 HAS SOUPS 15195 WITH SCORE 15215.181
AT ITER 4691 NEW BEST:: SOT 65896 SOS 20121 HAS SOPS 20121 HAS SOUS 15135 HAS SOUPS 15135 WITH SCORE 15155.121
AT ITER 4721 NEW BEST:: SOT 65852 SOS 20033 HAS SOPS 20033 HAS SOUS 15047 HAS SOUPS 15047 WITH SCORE 15067.033
AT ITER 4732 NEW BEST:: SOT 65885 SOS 20019 HAS SOPS 20019 HAS SOUS 15009 HAS SOUPS 15009 WITH SCORE 15029.019
AT ITER 4770 NEW BEST:: SOT 65883 SOS 20017 HAS SOPS 20017 HAS SOUS 15007 HAS SOUPS 15007 WITH SCORE 15027.017
AT ITER 4788 NEW BEST:: SOT 65875 SOS 19923 HAS SOPS 19923 HAS SOUS 14999 HAS SOUPS 14999 WITH SCORE 15018.923
AT ITER 4818 NEW BEST:: SOT 65875 SOS 19919 HAS SOPS 19919 HAS SOUS 14995 HAS SOUPS 14995 WITH SCORE 15014.919
AT ITER 4824 NEW BEST:: SOT 65873 SOS 19915 HAS SOPS 19915 HAS SOUS 14991 HAS SOUPS 14991 WITH SCORE 15010.915
AT ITER 4829 NEW BEST:: SOT 65919 SOS 19888 HAS SOPS 19888 HAS SOUS 14964 HAS SOUPS 14964 WITH SCORE 14983.888
AT ITER 4832 NEW BEST:: SOT 65932 SOS 19869 HAS SOPS 19869 HAS SOUS 14949 HAS SOUPS 14949 WITH SCORE 14968.869
AT ITER 4853 NEW BEST:: SOT 65934 SOS 19867 HAS SOPS 19867 HAS SOUS 14947 HAS SOUPS 14947 WITH SCORE 14966.867
AT ITER 4869 NEW BEST:: SOT 65932 SOS 19860 HAS SOPS 19860 HAS SOUS 14945 HAS SOUPS 14945 WITH SCORE 14964.86
AT ITER 4878 NEW BEST:: SOT 65946 SOS 19850 HAS SOPS 19850 HAS SOUS 14935 HAS SOUPS 14935 WITH SCORE 14954.85
AT ITER 4890 NEW BEST:: SOT 65936 SOS 19840 HAS SOPS 19840 HAS SOUS 14925 HAS SOUPS 14925 WITH SCORE 14944.84
AT ITER 4901 NEW BEST:: SOT 65921 SOS 19833 HAS SOPS 19833 HAS SOUS 14916 HAS SOUPS 14916 WITH SCORE 14935.833
AT ITER 4902 NEW BEST:: SOT 65917 SOS 19825 HAS SOPS 19825 HAS SOUS 14908 HAS SOUPS 14908 WITH SCORE 14927.825
AT ITER 4926 NEW BEST:: SOT 65917 SOS 19812 HAS SOPS 19812 HAS SOUS 14895 HAS SOUPS 14895 WITH SCORE 14914.812
AT ITER 4978 NEW BEST:: SOT 65925 SOS 19817 HAS SOPS 19817 HAS SOUS 14877 HAS SOUPS 14877 WITH SCORE 14896.817
AT ITER 4983 NEW BEST:: SOT 65908 SOS 19800 HAS SOPS 19800 HAS SOUS 14860 HAS SOUPS 14860 WITH SCORE 14879.8
AT ITER 5031 NEW BEST:: SOT 65915 SOS 19814 HAS SOPS 19814 HAS SOUS 14858 HAS SOUPS 14858 WITH SCORE 14877.814
AT ITER 5046 NEW BEST:: SOT 65911 SOS 19808 HAS SOPS 19808 HAS SOUS 14854 HAS SOUPS 14854 WITH SCORE 14873.808
AT ITER 5056 NEW BEST:: SOT 65910 SOS 19807 HAS SOPS 19807 HAS SOUS 14853 HAS SOUPS 14853 WITH SCORE 14872.807
AT ITER 5064 NEW BEST:: SOT 65895 SOS 19792 HAS SOPS 19792 HAS SOUS 14838 HAS SOUPS 14838 WITH SCORE 14857.792
AT ITER 5084 NEW BEST:: SOT 65906 SOS 19749 HAS SOPS 19749 HAS SOUS 14817 HAS SOUPS 14817 WITH SCORE 14836.749
AT ITER 5088 NEW BEST:: SOT 65885 SOS 19729 HAS SOPS 19729 HAS SOUS 14797 HAS SOUPS 14797 WITH SCORE 14816.729
AT ITER 5126 NEW BEST:: SOT 65864 SOS 19708 HAS SOPS 19708 HAS SOUS 14776 HAS SOUPS 14776 WITH SCORE 14795.708
AT ITER 5129 NEW BEST:: SOT 65842 SOS 19686 HAS SOPS 19686 HAS SOUS 14765 HAS SOUPS 14765 WITH SCORE 14784.686
AT ITER 5133 NEW BEST:: SOT 65825 SOS 19673 HAS SOPS 19673 HAS SOUS 14734 HAS SOUPS 14734 WITH SCORE 14753.673
AT ITER 5147 NEW BEST:: SOT 65823 SOS 19670 HAS SOPS 19670 HAS SOUS 14732 HAS SOUPS 14732 WITH SCORE 14751.67
AT ITER 5180 NEW BEST:: SOT 65821 SOS 19667 HAS SOPS 19667 HAS SOUS 14729 HAS SOUPS 14729 WITH SCORE 14748.667
AT ITER 5181 NEW BEST:: SOT 65815 SOS 19649 HAS SOPS 19649 HAS SOUS 14717 HAS SOUPS 14717 WITH SCORE 14736.649
AT ITER 5220 NEW BEST:: SOT 65764 SOS 19616 HAS SOPS 19616 HAS SOUS 14623 HAS SOUPS 14623 WITH SCORE 14642.616
AT ITER 5252 NEW BEST:: SOT 65782 SOS 19652 HAS SOPS 19652 HAS SOUS 14622 HAS SOUPS 14622 WITH SCORE 14641.652
AT ITER 5275 NEW BEST:: SOT 65782 SOS 19604 HAS SOPS 19604 HAS SOUS 14616 HAS SOUPS 14616 WITH SCORE 14635.604
AT ITER 5276 NEW BEST:: SOT 65787 SOS 19596 HAS SOPS 19596 HAS SOUS 14610 HAS SOUPS 14610 WITH SCORE 14629.596
AT ITER 5295 NEW BEST:: SOT 65760 SOS 19542 HAS SOPS 19542 HAS SOUS 14584 HAS SOUPS 14584 WITH SCORE 14603.542
AT ITER 5408 NEW BEST:: SOT 65776 SOS 19539 HAS SOPS 19539 HAS SOUS 14581 HAS SOUPS 14581 WITH SCORE 14600.539
AT ITER 5470 NEW BEST:: SOT 65759 SOS 19537 HAS SOPS 19537 HAS SOUS 14579 HAS SOUPS 14579 WITH SCORE 14598.537
AT ITER 5510 NEW BEST:: SOT 65758 SOS 19521 HAS SOPS 19521 HAS SOUS 14563 HAS SOUPS 14563 WITH SCORE 14582.521
AT ITER 5538 NEW BEST:: SOT 65743 SOS 19508 HAS SOPS 19508 HAS SOUS 14550 HAS SOUPS 14550 WITH SCORE 14569.508
AT ITER 5550 NEW BEST:: SOT 65735 SOS 19500 HAS SOPS 19500 HAS SOUS 14531 HAS SOUPS 14531 WITH SCORE 14550.5
AT ITER 5552 NEW BEST:: SOT 65729 SOS 19488 HAS SOPS 19488 HAS SOUS 14525 HAS SOUPS 14525 WITH SCORE 14544.488
AT ITER 5555 NEW BEST:: SOT 65721 SOS 19496 HAS SOPS 19496 HAS SOUS 14517 HAS SOUPS 14517 WITH SCORE 14536.496
AT ITER 5572 NEW BEST:: SOT 65706 SOS 19426 HAS SOPS 19426 HAS SOUS 14447 HAS SOUPS 14447 WITH SCORE 14466.426
AT ITER 5614 NEW BEST:: SOT 65699 SOS 19419 HAS SOPS 19419 HAS SOUS 14440 HAS SOUPS 14440 WITH SCORE 14459.419
AT ITER 5639 NEW BEST:: SOT 65686 SOS 19393 HAS SOPS 19393 HAS SOUS 14414 HAS SOUPS 14414 WITH SCORE 14433.393
AT ITER 5704 NEW BEST:: SOT 65674 SOS 19369 HAS SOPS 19369 HAS SOUS 14390 HAS SOUPS 14390 WITH SCORE 14409.369
AT ITER 5711 NEW BEST:: SOT 65666 SOS 19358 HAS SOPS 19358 HAS SOUS 14384 HAS SOUPS 14384 WITH SCORE 14403.358
AT ITER 5715 NEW BEST:: SOT 65660 SOS 19346 HAS SOPS 19346 HAS SOUS 14372 HAS SOUPS 14372 WITH SCORE 14391.346
AT ITER 5717 NEW BEST:: SOT 65616 SOS 19303 HAS SOPS 19303 HAS SOUS 14352 HAS SOUPS 14352 WITH SCORE 14371.303
AT ITER 5720 NEW BEST:: SOT 65613 SOS 19297 HAS SOPS 19297 HAS SOUS 14352 HAS SOUPS 14352 WITH SCORE 14371.297
AT ITER 5771 NEW BEST:: SOT 65578 SOS 19242 HAS SOPS 19242 HAS SOUS 14297 HAS SOUPS 14297 WITH SCORE 14316.242
AT ITER 5777 NEW BEST:: SOT 65614 SOS 19241 HAS SOPS 19241 HAS SOUS 14296 HAS SOUPS 14296 WITH SCORE 14315.241
AT ITER 5785 NEW BEST:: SOT 65613 SOS 19225 HAS SOPS 19225 HAS SOUS 14280 HAS SOUPS 14280 WITH SCORE 14299.225
AT ITER 5791 NEW BEST:: SOT 65613 SOS 19199 HAS SOPS 19199 HAS SOUS 14254 HAS SOUPS 14254 WITH SCORE 14273.199
AT ITER 5815 NEW BEST:: SOT 65611 SOS 19195 HAS SOPS 19195 HAS SOUS 14250 HAS SOUPS 14250 WITH SCORE 14269.195
AT ITER 5851 NEW BEST:: SOT 65608 SOS 19189 HAS SOPS 19189 HAS SOUS 14231 HAS SOUPS 14231 WITH SCORE 14250.189
AT ITER 5853 NEW BEST:: SOT 65608 SOS 19180 HAS SOPS 19180 HAS SOUS 14224 HAS SOUPS 14224 WITH SCORE 14243.18
AT ITER 5910 NEW BEST:: SOT 65607 SOS 19178 HAS SOPS 19178 HAS SOUS 14222 HAS SOUPS 14222 WITH SCORE 14241.178
AT ITER 5918 NEW BEST:: SOT 65599 SOS 19172 HAS SOPS 19172 HAS SOUS 14216 HAS SOUPS 14216 WITH SCORE 14235.172
AT ITER 5954 NEW BEST:: SOT 65598 SOS 19170 HAS SOPS 19170 HAS SOUS 14215 HAS SOUPS 14215 WITH SCORE 14234.17
AT ITER 6065 NEW BEST:: SOT 65593 SOS 19165 HAS SOPS 19165 HAS SOUS 14215 HAS SOUPS 14215 WITH SCORE 14234.165
AT ITER 6101 NEW BEST:: SOT 65580 SOS 19139 HAS SOPS 19139 HAS SOUS 14189 HAS SOUPS 14189 WITH SCORE 14208.139
AT ITER 6122 NEW BEST:: SOT 65563 SOS 19125 HAS SOPS 19125 HAS SOUS 14172 HAS SOUPS 14172 WITH SCORE 14191.125
AT ITER 6136 NEW BEST:: SOT 65570 SOS 19121 HAS SOPS 19121 HAS SOUS 14168 HAS SOUPS 14168 WITH SCORE 14187.121
AT ITER 6171 NEW BEST:: SOT 65543 SOS 19093 HAS SOPS 19093 HAS SOUS 14140 HAS SOUPS 14140 WITH SCORE 14159.093
AT ITER 6176 NEW BEST:: SOT 65541 SOS 19091 HAS SOPS 19091 HAS SOUS 14138 HAS SOUPS 14138 WITH SCORE 14157.091
AT ITER 6195 NEW BEST:: SOT 65515 SOS 19086 HAS SOPS 19086 HAS SOUS 14133 HAS SOUPS 14133 WITH SCORE 14152.086
AT ITER 6228 NEW BEST:: SOT 65513 SOS 19085 HAS SOPS 19085 HAS SOUS 14132 HAS SOUPS 14132 WITH SCORE 14151.085
AT ITER 6237 NEW BEST:: SOT 65481 SOS 19021 HAS SOPS 19021 HAS SOUS 14068 HAS SOUPS 14068 WITH SCORE 14087.021
AT ITER 6253 NEW BEST:: SOT 65479 SOS 19018 HAS SOPS 19018 HAS SOUS 14065 HAS SOUPS 14065 WITH SCORE 14084.018
AT ITER 6334 NEW BEST:: SOT 65474 SOS 19013 HAS SOPS 19013 HAS SOUS 14060 HAS SOUPS 14060 WITH SCORE 14079.013
AT ITER 6378 NEW BEST:: SOT 65474 SOS 19012 HAS SOPS 19012 HAS SOUS 14059 HAS SOUPS 14059 WITH SCORE 14078.012
AT ITER 6380 NEW BEST:: SOT 65417 SOS 19000 HAS SOPS 19000 HAS SOUS 14047 HAS SOUPS 14047 WITH SCORE 14066.0
AT ITER 6410 NEW BEST:: SOT 65418 SOS 18996 HAS SOPS 18996 HAS SOUS 14043 HAS SOUPS 14043 WITH SCORE 14061.996
AT ITER 6434 NEW BEST:: SOT 65416 SOS 18992 HAS SOPS 18992 HAS SOUS 14039 HAS SOUPS 14039 WITH SCORE 14057.992
AT ITER 6490 NEW BEST:: SOT 65416 SOS 18970 HAS SOPS 18970 HAS SOUS 14017 HAS SOUPS 14017 WITH SCORE 14035.97
AT ITER 6630 NEW BEST:: SOT 65410 SOS 18964 HAS SOPS 18964 HAS SOUS 14011 HAS SOUPS 14011 WITH SCORE 14029.964
AT ITER 6635 NEW BEST:: SOT 65409 SOS 18924 HAS SOPS 18924 HAS SOUS 13971 HAS SOUPS 13971 WITH SCORE 13989.924
AT ITER 6688 NEW BEST:: SOT 65409 SOS 18917 HAS SOPS 18917 HAS SOUS 13964 HAS SOUPS 13964 WITH SCORE 13982.917
AT ITER 6796 NEW BEST:: SOT 65409 SOS 18917 HAS SOPS 18917 HAS SOUS 13961 HAS SOUPS 13961 WITH SCORE 13979.917
AT ITER 6887 NEW BEST:: SOT 65409 SOS 18908 HAS SOPS 18908 HAS SOUS 13952 HAS SOUPS 13952 WITH SCORE 13970.908
AT ITER 6909 NEW BEST:: SOT 65409 SOS 18906 HAS SOPS 18906 HAS SOUS 13950 HAS SOUPS 13950 WITH SCORE 13968.906
AT ITER 6925 NEW BEST:: SOT 65409 SOS 18903 HAS SOPS 18903 HAS SOUS 13947 HAS SOUPS 13947 WITH SCORE 13965.903
AT ITER 6936 NEW BEST:: SOT 65423 SOS 18897 HAS SOPS 18897 HAS SOUS 13941 HAS SOUPS 13941 WITH SCORE 13959.897
AT ITER 6938 NEW BEST:: SOT 65423 SOS 18894 HAS SOPS 18894 HAS SOUS 13938 HAS SOUPS 13938 WITH SCORE 13956.894
AT ITER 6943 NEW BEST:: SOT 65422 SOS 18892 HAS SOPS 18892 HAS SOUS 13936 HAS SOUPS 13936 WITH SCORE 13954.892
AT ITER 6947 NEW BEST:: SOT 65383 SOS 18888 HAS SOPS 18888 HAS SOUS 13932 HAS SOUPS 13932 WITH SCORE 13950.888
AT ITER 6997 NEW BEST:: SOT 65376 SOS 18881 HAS SOPS 18881 HAS SOUS 13925 HAS SOUPS 13925 WITH SCORE 13943.881
AT ITER 7111 NEW BEST:: SOT 65376 SOS 18874 HAS SOPS 18874 HAS SOUS 13918 HAS SOUPS 13918 WITH SCORE 13936.874
AT ITER 7124 NEW BEST:: SOT 65376 SOS 18872 HAS SOPS 18872 HAS SOUS 13916 HAS SOUPS 13916 WITH SCORE 13934.872
AT ITER 7155 NEW BEST:: SOT 65369 SOS 18867 HAS SOPS 18867 HAS SOUS 13911 HAS SOUPS 13911 WITH SCORE 13929.867
AT ITER 7170 NEW BEST:: SOT 65416 SOS 18863 HAS SOPS 18863 HAS SOUS 13909 HAS SOUPS 13909 WITH SCORE 13927.863
AT ITER 7190 NEW BEST:: SOT 65391 SOS 18833 HAS SOPS 18833 HAS SOUS 13870 HAS SOUPS 13870 WITH SCORE 13888.833
AT ITER 7196 NEW BEST:: SOT 65378 SOS 18807 HAS SOPS 18807 HAS SOUS 13844 HAS SOUPS 13844 WITH SCORE 13862.807
AT ITER 7203 NEW BEST:: SOT 65379 SOS 18802 HAS SOPS 18802 HAS SOUS 13844 HAS SOUPS 13844 WITH SCORE 13862.802
AT ITER 7261 NEW BEST:: SOT 65373 SOS 18800 HAS SOPS 18800 HAS SOUS 13842 HAS SOUPS 13842 WITH SCORE 13860.8
AT ITER 7262 NEW BEST:: SOT 65396 SOS 18799 HAS SOPS 18799 HAS SOUS 13841 HAS SOUPS 13841 WITH SCORE 13859.799
AT ITER 7310 NEW BEST:: SOT 65396 SOS 18769 HAS SOPS 18769 HAS SOUS 13839 HAS SOUPS 13839 WITH SCORE 13857.769
AT ITER 7348 NEW BEST:: SOT 65390 SOS 18752 HAS SOPS 18752 HAS SOUS 13822 HAS SOUPS 13822 WITH SCORE 13840.752
AT ITER 7361 NEW BEST:: SOT 65378 SOS 18736 HAS SOPS 18736 HAS SOUS 13814 HAS SOUPS 13814 WITH SCORE 13832.736
AT ITER 7412 NEW BEST:: SOT 65373 SOS 18726 HAS SOPS 18726 HAS SOUS 13804 HAS SOUPS 13804 WITH SCORE 13822.726
AT ITER 7414 NEW BEST:: SOT 65373 SOS 18725 HAS SOPS 18725 HAS SOUS 13803 HAS SOUPS 13803 WITH SCORE 13821.725
AT ITER 7502 NEW BEST:: SOT 65370 SOS 18719 HAS SOPS 18719 HAS SOUS 13797 HAS SOUPS 13797 WITH SCORE 13815.719
AT ITER 7568 NEW BEST:: SOT 65365 SOS 18714 HAS SOPS 18714 HAS SOUS 13797 HAS SOUPS 13797 WITH SCORE 13815.714
AT ITER 7577 NEW BEST:: SOT 65362 SOS 18711 HAS SOPS 18711 HAS SOUS 13797 HAS SOUPS 13797 WITH SCORE 13815.711
AT ITER 7585 NEW BEST:: SOT 65359 SOS 18718 HAS SOPS 18718 HAS SOUS 13795 HAS SOUPS 13795 WITH SCORE 13813.718
AT ITER 7602 NEW BEST:: SOT 65343 SOS 18702 HAS SOPS 18702 HAS SOUS 13779 HAS SOUPS 13779 WITH SCORE 13797.702
AT ITER 7614 NEW BEST:: SOT 65343 SOS 18731 HAS SOPS 18731 HAS SOUS 13750 HAS SOUPS 13750 WITH SCORE 13768.731
AT ITER 7636 NEW BEST:: SOT 65339 SOS 18727 HAS SOPS 18727 HAS SOUS 13746 HAS SOUPS 13746 WITH SCORE 13764.727
AT ITER 7649 NEW BEST:: SOT 65338 SOS 18725 HAS SOPS 18725 HAS SOUS 13745 HAS SOUPS 13745 WITH SCORE 13763.725
AT ITER 7663 NEW BEST:: SOT 65334 SOS 18717 HAS SOPS 18717 HAS SOUS 13737 HAS SOUPS 13737 WITH SCORE 13755.717
AT ITER 7844 NEW BEST:: SOT 65320 SOS 18694 HAS SOPS 18694 HAS SOUS 13728 HAS SOUPS 13728 WITH SCORE 13746.694
AT ITER 7879 NEW BEST:: SOT 65322 SOS 18698 HAS SOPS 18698 HAS SOUS 13727 HAS SOUPS 13727 WITH SCORE 13745.698
AT ITER 7893 NEW BEST:: SOT 65322 SOS 18696 HAS SOPS 18696 HAS SOUS 13726 HAS SOUPS 13726 WITH SCORE 13744.696
AT ITER 7959 NEW BEST:: SOT 65293 SOS 18644 HAS SOPS 18644 HAS SOUS 13707 HAS SOUPS 13707 WITH SCORE 13725.644
AT ITER 7995 NEW BEST:: SOT 65285 SOS 18620 HAS SOPS 18620 HAS SOUS 13683 HAS SOUPS 13683 WITH SCORE 13701.62
AT ITER 8046 NEW BEST:: SOT 65284 SOS 18618 HAS SOPS 18618 HAS SOUS 13681 HAS SOUPS 13681 WITH SCORE 13699.618
AT ITER 8058 NEW BEST:: SOT 65299 SOS 18617 HAS SOPS 18617 HAS SOUS 13680 HAS SOUPS 13680 WITH SCORE 13698.617
AT ITER 8080 NEW BEST:: SOT 65279 SOS 18589 HAS SOPS 18589 HAS SOUS 13664 HAS SOUPS 13664 WITH SCORE 13682.589
AT ITER 8105 NEW BEST:: SOT 65296 SOS 18563 HAS SOPS 18563 HAS SOUS 13656 HAS SOUPS 13656 WITH SCORE 13674.563
AT ITER 8118 NEW BEST:: SOT 65296 SOS 18562 HAS SOPS 18562 HAS SOUS 13655 HAS SOUPS 13655 WITH SCORE 13673.562
AT ITER 8157 NEW BEST:: SOT 65256 SOS 18515 HAS SOPS 18515 HAS SOUS 13641 HAS SOUPS 13641 WITH SCORE 13659.515
AT ITER 8203 NEW BEST:: SOT 65260 SOS 18514 HAS SOPS 18514 HAS SOUS 13640 HAS SOUPS 13640 WITH SCORE 13658.514
AT ITER 8218 NEW BEST:: SOT 65261 SOS 18512 HAS SOPS 18512 HAS SOUS 13639 HAS SOUPS 13639 WITH SCORE 13657.512
AT ITER 8241 NEW BEST:: SOT 65261 SOS 18506 HAS SOPS 18506 HAS SOUS 13633 HAS SOUPS 13633 WITH SCORE 13651.506
AT ITER 8255 NEW BEST:: SOT 65261 SOS 18500 HAS SOPS 18500 HAS SOUS 13633 HAS SOUPS 13633 WITH SCORE 13651.5
AT ITER 8294 NEW BEST:: SOT 65260 SOS 18497 HAS SOPS 18497 HAS SOUS 13630 HAS SOUPS 13630 WITH SCORE 13648.497
AT ITER 8405 NEW BEST:: SOT 65260 SOS 18497 HAS SOPS 18497 HAS SOUS 13629 HAS SOUPS 13629 WITH SCORE 13647.497
AT ITER 8409 NEW BEST:: SOT 65258 SOS 18493 HAS SOPS 18493 HAS SOUS 13627 HAS SOUPS 13627 WITH SCORE 13645.493
AT ITER 8533 NEW BEST:: SOT 65266 SOS 18495 HAS SOPS 18495 HAS SOUS 13626 HAS SOUPS 13626 WITH SCORE 13644.495
AT ITER 8561 NEW BEST:: SOT 65259 SOS 18502 HAS SOPS 18502 HAS SOUS 13619 HAS SOUPS 13619 WITH SCORE 13637.502
AT ITER 8563 NEW BEST:: SOT 65259 SOS 18500 HAS SOPS 18500 HAS SOUS 13617 HAS SOUPS 13617 WITH SCORE 13635.5
AT ITER 8589 NEW BEST:: SOT 65249 SOS 18480 HAS SOPS 18480 HAS SOUS 13597 HAS SOUPS 13597 WITH SCORE 13615.48
AT ITER 8650 NEW BEST:: SOT 65262 SOS 18474 HAS SOPS 18474 HAS SOUS 13591 HAS SOUPS 13591 WITH SCORE 13609.474
AT ITER 8723 NEW BEST:: SOT 65253 SOS 18456 HAS SOPS 18456 HAS SOUS 13573 HAS SOUPS 13573 WITH SCORE 13591.456
AT ITER 8739 NEW BEST:: SOT 65253 SOS 18451 HAS SOPS 18451 HAS SOUS 13568 HAS SOUPS 13568 WITH SCORE 13586.451
AT ITER 8744 NEW BEST:: SOT 65261 SOS 18454 HAS SOPS 18454 HAS SOUS 13563 HAS SOUPS 13563 WITH SCORE 13581.454
AT ITER 8891 NEW BEST:: SOT 65260 SOS 18453 HAS SOPS 18453 HAS SOUS 13562 HAS SOUPS 13562 WITH SCORE 13580.453
AT ITER 8919 NEW BEST:: SOT 65241 SOS 18431 HAS SOPS 18431 HAS SOUS 13558 HAS SOUPS 13558 WITH SCORE 13576.431
AT ITER 8971 NEW BEST:: SOT 65241 SOS 18431 HAS SOPS 18431 HAS SOUS 13548 HAS SOUPS 13548 WITH SCORE 13566.431
AT ITER 8984 NEW BEST:: SOT 65241 SOS 18386 HAS SOPS 18386 HAS SOUS 13548 HAS SOUPS 13548 WITH SCORE 13566.386
AT ITER 9000 NEW BEST:: SOT 65239 SOS 18382 HAS SOPS 18382 HAS SOUS 13544 HAS SOUPS 13544 WITH SCORE 13562.382
AT ITER 9157 NEW BEST:: SOT 65239 SOS 18380 HAS SOPS 18380 HAS SOUS 13537 HAS SOUPS 13537 WITH SCORE 13555.38
AT ITER 9192 NEW BEST:: SOT 65235 SOS 18376 HAS SOPS 18376 HAS SOUS 13533 HAS SOUPS 13533 WITH SCORE 13551.376
AT ITER 9271 NEW BEST:: SOT 65235 SOS 18376 HAS SOPS 18376 HAS SOUS 13530 HAS SOUPS 13530 WITH SCORE 13548.376
AT ITER 9435 NEW BEST:: SOT 65238 SOS 18366 HAS SOPS 18366 HAS SOUS 13528 HAS SOUPS 13528 WITH SCORE 13546.366
AT ITER 9532 NEW BEST:: SOT 65238 SOS 18358 HAS SOPS 18358 HAS SOUS 13523 HAS SOUPS 13523 WITH SCORE 13541.358
AT ITER 9563 NEW BEST:: SOT 65229 SOS 18349 HAS SOPS 18349 HAS SOUS 13523 HAS SOUPS 13523 WITH SCORE 13541.349
AT ITER 9575 NEW BEST:: SOT 65229 SOS 18344 HAS SOPS 18344 HAS SOUS 13523 HAS SOUPS 13523 WITH SCORE 13541.344
AT ITER 9656 NEW BEST:: SOT 65219 SOS 18334 HAS SOPS 18334 HAS SOUS 13513 HAS SOUPS 13513 WITH SCORE 13531.334
AT ITER 9661 NEW BEST:: SOT 65222 SOS 18332 HAS SOPS 18332 HAS SOUS 13511 HAS SOUPS 13511 WITH SCORE 13529.332
AT ITER 9669 NEW BEST:: SOT 65246 SOS 18339 HAS SOPS 18339 HAS SOUS 13496 HAS SOUPS 13496 WITH SCORE 13514.339
AT ITER 9683 NEW BEST:: SOT 65245 SOS 18337 HAS SOPS 18337 HAS SOUS 13480 HAS SOUPS 13480 WITH SCORE 13498.337
AT ITER 9720 NEW BEST:: SOT 65244 SOS 18335 HAS SOPS 18335 HAS SOUS 13478 HAS SOUPS 13478 WITH SCORE 13496.335
AT ITER 9759 NEW BEST:: SOT 65240 SOS 18327 HAS SOPS 18327 HAS SOUS 13470 HAS SOUPS 13470 WITH SCORE 13488.327
AT ITER 9804 NEW BEST:: SOT 65238 SOS 18323 HAS SOPS 18323 HAS SOUS 13466 HAS SOUPS 13466 WITH SCORE 13484.323
AT ITER 9814 NEW BEST:: SOT 65243 SOS 18333 HAS SOPS 18333 HAS SOUS 13460 HAS SOUPS 13460 WITH SCORE 13478.333
AT ITER 9817 NEW BEST:: SOT 65221 SOS 18300 HAS SOPS 18300 HAS SOUS 13427 HAS SOUPS 13427 WITH SCORE 13445.3
AT ITER 9955 NEW BEST:: SOT 65220 SOS 18298 HAS SOPS 18298 HAS SOUS 13425 HAS SOUPS 13425 WITH SCORE 13443.298

BK_TIME_CONFINEMENT_REACHED

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

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="BusinessProcesses-PT-05"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is BusinessProcesses-PT-05, 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 r018-oct2-158897680100488"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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