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.r259-smll-167863533900008.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 MultiwaySync-PT-none, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863533900008
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 596K
-rw-r--r-- 1 mcc users 7.4K Feb 25 22:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 25 22:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 25 22:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 25 22:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 22:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 124K Feb 25 22:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 22:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 93K Feb 25 22:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:26 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 111K 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 1678655400922

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=MultiwaySync-PT-none
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running MultiwaySync (PT), instance none
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: 222 places, 472 transitions, 1496 arcs.
AT ITER 0 NEW BEST:: SOT 81779 SOS 68511 HAS SOPS 68511 HAS SOUS 37256 HAS SOUPS 37256 WITH SCORE 37324.511
AT ITER 1 NEW BEST:: SOT 81779 SOS 68599 HAS SOPS 68599 HAS SOUS 37138 HAS SOUPS 37138 WITH SCORE 37206.599
AT ITER 2 NEW BEST:: SOT 81779 SOS 68537 HAS SOPS 68537 HAS SOUS 37136 HAS SOUPS 37136 WITH SCORE 37204.537
AT ITER 6 NEW BEST:: SOT 81249 SOS 68045 HAS SOPS 68045 HAS SOUS 36829 HAS SOUPS 36829 WITH SCORE 36897.045
AT ITER 10 NEW BEST:: SOT 81107 SOS 67903 HAS SOPS 67903 HAS SOUS 36714 HAS SOUPS 36714 WITH SCORE 36781.903
AT ITER 12 NEW BEST:: SOT 81097 SOS 67707 HAS SOPS 67707 HAS SOUS 36575 HAS SOUPS 36575 WITH SCORE 36642.707
AT ITER 13 NEW BEST:: SOT 81089 SOS 67691 HAS SOPS 67691 HAS SOUS 36559 HAS SOUPS 36559 WITH SCORE 36626.691
AT ITER 14 NEW BEST:: SOT 81009 SOS 67611 HAS SOPS 67611 HAS SOUS 36539 HAS SOUPS 36539 WITH SCORE 36606.611
AT ITER 16 NEW BEST:: SOT 80952 SOS 67326 HAS SOPS 67326 HAS SOUS 36425 HAS SOUPS 36425 WITH SCORE 36492.326
AT ITER 17 NEW BEST:: SOT 80936 SOS 67310 HAS SOPS 67310 HAS SOUS 36407 HAS SOUPS 36407 WITH SCORE 36474.31
AT ITER 18 NEW BEST:: SOT 80933 SOS 67260 HAS SOPS 67260 HAS SOUS 36301 HAS SOUPS 36301 WITH SCORE 36368.26
AT ITER 20 NEW BEST:: SOT 80884 SOS 67135 HAS SOPS 67135 HAS SOUS 36232 HAS SOUPS 36232 WITH SCORE 36299.135
AT ITER 22 NEW BEST:: SOT 80843 SOS 67020 HAS SOPS 67020 HAS SOUS 36175 HAS SOUPS 36175 WITH SCORE 36242.02
AT ITER 23 NEW BEST:: SOT 80789 SOS 66750 HAS SOPS 66750 HAS SOUS 36160 HAS SOUPS 36160 WITH SCORE 36226.75
AT ITER 25 NEW BEST:: SOT 80789 SOS 66750 HAS SOPS 66750 HAS SOUS 36121 HAS SOUPS 36121 WITH SCORE 36187.75
AT ITER 26 NEW BEST:: SOT 80789 SOS 66715 HAS SOPS 66715 HAS SOUS 36121 HAS SOUPS 36121 WITH SCORE 36187.715
AT ITER 27 NEW BEST:: SOT 80842 SOS 66560 HAS SOPS 66560 HAS SOUS 35904 HAS SOUPS 35904 WITH SCORE 35970.56
AT ITER 28 NEW BEST:: SOT 80827 SOS 66530 HAS SOPS 66530 HAS SOUS 35874 HAS SOUPS 35874 WITH SCORE 35940.53
AT ITER 30 NEW BEST:: SOT 80733 SOS 66405 HAS SOPS 66405 HAS SOUS 35710 HAS SOUPS 35710 WITH SCORE 35776.405
AT ITER 33 NEW BEST:: SOT 80733 SOS 66405 HAS SOPS 66405 HAS SOUS 35695 HAS SOUPS 35695 WITH SCORE 35761.405
AT ITER 34 NEW BEST:: SOT 80733 SOS 66395 HAS SOPS 66395 HAS SOUS 35685 HAS SOUPS 35685 WITH SCORE 35751.395
AT ITER 37 NEW BEST:: SOT 80353 SOS 65863 HAS SOPS 65863 HAS SOUS 35579 HAS SOUPS 35579 WITH SCORE 35644.863
AT ITER 43 NEW BEST:: SOT 80273 SOS 65596 HAS SOPS 65596 HAS SOUS 35429 HAS SOUPS 35429 WITH SCORE 35494.596
AT ITER 45 NEW BEST:: SOT 80077 SOS 65204 HAS SOPS 65204 HAS SOUS 35380 HAS SOUPS 35380 WITH SCORE 35445.204
AT ITER 50 NEW BEST:: SOT 80076 SOS 65088 HAS SOPS 65088 HAS SOUS 35321 HAS SOUPS 35321 WITH SCORE 35386.088
AT ITER 51 NEW BEST:: SOT 80046 SOS 60756 HAS SOPS 60756 HAS SOUS 34795 HAS SOUPS 34795 WITH SCORE 34855.756
AT ITER 52 NEW BEST:: SOT 83865 SOS 57224 HAS SOPS 56660 HAS SOUS 32573 HAS SOUPS 32009 WITH SCORE 32066.224
AT ITER 53 NEW BEST:: SOT 83615 SOS 56564 HAS SOPS 56000 HAS SOUS 32338 HAS SOUPS 31774 WITH SCORE 31830.564
AT ITER 56 NEW BEST:: SOT 83335 SOS 56227 HAS SOPS 55663 HAS SOUS 32081 HAS SOUPS 31517 WITH SCORE 31573.227
AT ITER 57 NEW BEST:: SOT 81627 SOS 54964 HAS SOPS 54400 HAS SOUS 31201 HAS SOUPS 30637 WITH SCORE 30691.964
AT ITER 60 NEW BEST:: SOT 81627 SOS 54915 HAS SOPS 54400 HAS SOUS 31103 HAS SOUPS 30588 WITH SCORE 30642.915
AT ITER 64 NEW BEST:: SOT 81329 SOS 54199 HAS SOPS 53684 HAS SOUS 30762 HAS SOUPS 30247 WITH SCORE 30301.199
AT ITER 72 NEW BEST:: SOT 80924 SOS 54562 HAS SOPS 54047 HAS SOUS 30357 HAS SOUPS 29842 WITH SCORE 29896.562
AT ITER 74 NEW BEST:: SOT 80932 SOS 54593 HAS SOPS 54078 HAS SOUS 30227 HAS SOUPS 29712 WITH SCORE 29766.593
AT ITER 77 NEW BEST:: SOT 81013 SOS 54689 HAS SOPS 54174 HAS SOUS 30224 HAS SOUPS 29709 WITH SCORE 29763.689
AT ITER 79 NEW BEST:: SOT 80992 SOS 54622 HAS SOPS 54107 HAS SOUS 30146 HAS SOUPS 29631 WITH SCORE 29685.622
AT ITER 83 NEW BEST:: SOT 80992 SOS 54622 HAS SOPS 54107 HAS SOUS 30136 HAS SOUPS 29621 WITH SCORE 29675.622
AT ITER 84 NEW BEST:: SOT 81028 SOS 54440 HAS SOPS 53925 HAS SOUS 30059 HAS SOUPS 29544 WITH SCORE 29598.44
AT ITER 85 NEW BEST:: SOT 81028 SOS 54416 HAS SOPS 53901 HAS SOUS 30059 HAS SOUPS 29544 WITH SCORE 29598.416
AT ITER 87 NEW BEST:: SOT 80736 SOS 53793 HAS SOPS 53278 HAS SOUS 29728 HAS SOUPS 29213 WITH SCORE 29266.793
AT ITER 88 NEW BEST:: SOT 80682 SOS 53604 HAS SOPS 53089 HAS SOUS 29620 HAS SOUPS 29105 WITH SCORE 29158.604
AT ITER 89 NEW BEST:: SOT 80646 SOS 53508 HAS SOPS 52993 HAS SOUS 29593 HAS SOUPS 29078 WITH SCORE 29131.508
AT ITER 90 NEW BEST:: SOT 80665 SOS 53180 HAS SOPS 52665 HAS SOUS 29356 HAS SOUPS 28841 WITH SCORE 28894.18
AT ITER 96 NEW BEST:: SOT 80665 SOS 53080 HAS SOPS 52515 HAS SOUS 29406 HAS SOUPS 28841 WITH SCORE 28894.08
AT ITER 100 NEW BEST:: SOT 79238 SOS 51229 HAS SOPS 50664 HAS SOUS 28872 HAS SOUPS 28307 WITH SCORE 28358.229
AT ITER 101 NEW BEST:: SOT 79223 SOS 51211 HAS SOPS 50646 HAS SOUS 28863 HAS SOUPS 28298 WITH SCORE 28349.211
AT ITER 112 NEW BEST:: SOT 79210 SOS 51159 HAS SOPS 50594 HAS SOUS 28837 HAS SOUPS 28272 WITH SCORE 28323.159
AT ITER 115 NEW BEST:: SOT 79206 SOS 51155 HAS SOPS 50590 HAS SOUS 28829 HAS SOUPS 28264 WITH SCORE 28315.155
AT ITER 116 NEW BEST:: SOT 79209 SOS 51013 HAS SOPS 50448 HAS SOUS 28767 HAS SOUPS 28202 WITH SCORE 28253.013
AT ITER 117 NEW BEST:: SOT 75427 SOS 47949 HAS SOPS 47624 HAS SOUS 26212 HAS SOUPS 25887 WITH SCORE 25934.949
AT ITER 122 NEW BEST:: SOT 75427 SOS 47851 HAS SOPS 47575 HAS SOUS 26163 HAS SOUPS 25887 WITH SCORE 25934.851
AT ITER 124 NEW BEST:: SOT 75459 SOS 47795 HAS SOPS 47519 HAS SOUS 26139 HAS SOUPS 25863 WITH SCORE 25910.795
AT ITER 145 NEW BEST:: SOT 75459 SOS 47942 HAS SOPS 47666 HAS SOUS 26126 HAS SOUPS 25850 WITH SCORE 25897.942
AT ITER 146 NEW BEST:: SOT 75367 SOS 47402 HAS SOPS 47126 HAS SOUS 25955 HAS SOUPS 25679 WITH SCORE 25726.402
AT ITER 149 NEW BEST:: SOT 75356 SOS 46708 HAS SOPS 46432 HAS SOUS 25868 HAS SOUPS 25592 WITH SCORE 25638.708
AT ITER 154 NEW BEST:: SOT 75397 SOS 46849 HAS SOPS 46573 HAS SOUS 25752 HAS SOUPS 25476 WITH SCORE 25522.849
AT ITER 160 NEW BEST:: SOT 75390 SOS 46813 HAS SOPS 46537 HAS SOUS 25749 HAS SOUPS 25473 WITH SCORE 25519.813
AT ITER 161 NEW BEST:: SOT 75612 SOS 46975 HAS SOPS 46699 HAS SOUS 25748 HAS SOUPS 25472 WITH SCORE 25518.975
AT ITER 163 NEW BEST:: SOT 74770 SOS 46364 HAS SOPS 46088 HAS SOUS 25597 HAS SOUPS 25321 WITH SCORE 25367.364
AT ITER 164 NEW BEST:: SOT 74725 SOS 46370 HAS SOPS 46094 HAS SOUS 25554 HAS SOUPS 25278 WITH SCORE 25324.37
AT ITER 166 NEW BEST:: SOT 74715 SOS 46350 HAS SOPS 46079 HAS SOUS 25534 HAS SOUPS 25263 WITH SCORE 25309.35
AT ITER 167 NEW BEST:: SOT 74741 SOS 46376 HAS SOPS 46105 HAS SOUS 25521 HAS SOUPS 25250 WITH SCORE 25296.376
AT ITER 169 NEW BEST:: SOT 74738 SOS 46373 HAS SOPS 46102 HAS SOUS 25515 HAS SOUPS 25244 WITH SCORE 25290.373
AT ITER 172 NEW BEST:: SOT 74904 SOS 46220 HAS SOPS 45949 HAS SOUS 25253 HAS SOUPS 24982 WITH SCORE 25028.22
AT ITER 173 NEW BEST:: SOT 74912 SOS 46229 HAS SOPS 45954 HAS SOUS 25254 HAS SOUPS 24979 WITH SCORE 25025.229
AT ITER 176 NEW BEST:: SOT 74883 SOS 46076 HAS SOPS 45801 HAS SOUS 25168 HAS SOUPS 24893 WITH SCORE 24939.076
AT ITER 178 NEW BEST:: SOT 74794 SOS 45322 HAS SOPS 45047 HAS SOUS 25001 HAS SOUPS 24726 WITH SCORE 24771.322
AT ITER 179 NEW BEST:: SOT 74777 SOS 45322 HAS SOPS 45030 HAS SOUS 25001 HAS SOUPS 24709 WITH SCORE 24754.322
AT ITER 181 NEW BEST:: SOT 74468 SOS 44944 HAS SOPS 44652 HAS SOUS 24721 HAS SOUPS 24429 WITH SCORE 24473.944
AT ITER 187 NEW BEST:: SOT 74235 SOS 44698 HAS SOPS 44406 HAS SOUS 24534 HAS SOUPS 24242 WITH SCORE 24286.698
AT ITER 188 NEW BEST:: SOT 74227 SOS 44720 HAS SOPS 44428 HAS SOUS 24530 HAS SOUPS 24238 WITH SCORE 24282.72
AT ITER 189 NEW BEST:: SOT 74228 SOS 44717 HAS SOPS 44425 HAS SOUS 24511 HAS SOUPS 24219 WITH SCORE 24263.717
AT ITER 190 NEW BEST:: SOT 74239 SOS 44723 HAS SOPS 44431 HAS SOUS 24499 HAS SOUPS 24207 WITH SCORE 24251.723
AT ITER 194 NEW BEST:: SOT 74352 SOS 44789 HAS SOPS 44362 HAS SOUS 24471 HAS SOUPS 24044 WITH SCORE 24088.789
AT ITER 200 NEW BEST:: SOT 73821 SOS 43853 HAS SOPS 43426 HAS SOUS 24303 HAS SOUPS 23876 WITH SCORE 23919.853
AT ITER 203 NEW BEST:: SOT 73714 SOS 43224 HAS SOPS 42797 HAS SOUS 24087 HAS SOUPS 23660 WITH SCORE 23703.224
AT ITER 205 NEW BEST:: SOT 73838 SOS 43197 HAS SOPS 42770 HAS SOUS 24017 HAS SOUPS 23590 WITH SCORE 23633.197
AT ITER 210 NEW BEST:: SOT 73821 SOS 43153 HAS SOPS 42726 HAS SOUS 24000 HAS SOUPS 23573 WITH SCORE 23616.153
AT ITER 213 NEW BEST:: SOT 73513 SOS 43031 HAS SOPS 42604 HAS SOUS 23889 HAS SOUPS 23462 WITH SCORE 23505.031
AT ITER 218 NEW BEST:: SOT 73513 SOS 43002 HAS SOPS 42575 HAS SOUS 23875 HAS SOUPS 23448 WITH SCORE 23491.002
AT ITER 227 NEW BEST:: SOT 73438 SOS 42937 HAS SOPS 42510 HAS SOUS 23798 HAS SOUPS 23371 WITH SCORE 23413.937
AT ITER 229 NEW BEST:: SOT 73390 SOS 42786 HAS SOPS 42359 HAS SOUS 23729 HAS SOUPS 23302 WITH SCORE 23344.786
AT ITER 232 NEW BEST:: SOT 73417 SOS 42762 HAS SOPS 42335 HAS SOUS 23716 HAS SOUPS 23289 WITH SCORE 23331.762
AT ITER 237 NEW BEST:: SOT 73310 SOS 42685 HAS SOPS 42258 HAS SOUS 23707 HAS SOUPS 23280 WITH SCORE 23322.685
AT ITER 240 NEW BEST:: SOT 73307 SOS 42713 HAS SOPS 42286 HAS SOUS 23701 HAS SOUPS 23274 WITH SCORE 23316.713
AT ITER 244 NEW BEST:: SOT 73535 SOS 42941 HAS SOPS 42514 HAS SOUS 23639 HAS SOUPS 23212 WITH SCORE 23254.941
AT ITER 250 NEW BEST:: SOT 73535 SOS 42904 HAS SOPS 42477 HAS SOUS 23627 HAS SOUPS 23200 WITH SCORE 23242.904
AT ITER 252 NEW BEST:: SOT 73475 SOS 42536 HAS SOPS 42109 HAS SOUS 23567 HAS SOUPS 23140 WITH SCORE 23182.536
AT ITER 254 NEW BEST:: SOT 73463 SOS 42524 HAS SOPS 42097 HAS SOUS 23510 HAS SOUPS 23083 WITH SCORE 23125.524
AT ITER 274 NEW BEST:: SOT 73249 SOS 42324 HAS SOPS 41897 HAS SOUS 23237 HAS SOUPS 22810 WITH SCORE 22852.324
AT ITER 284 NEW BEST:: SOT 73159 SOS 42040 HAS SOPS 41613 HAS SOUS 23135 HAS SOUPS 22708 WITH SCORE 22750.04
AT ITER 286 NEW BEST:: SOT 73158 SOS 41307 HAS SOPS 40880 HAS SOUS 23134 HAS SOUPS 22707 WITH SCORE 22748.307
AT ITER 292 NEW BEST:: SOT 72419 SOS 40843 HAS SOPS 40416 HAS SOUS 22909 HAS SOUPS 22482 WITH SCORE 22522.843
AT ITER 296 NEW BEST:: SOT 72247 SOS 40243 HAS SOPS 39816 HAS SOUS 22788 HAS SOUPS 22361 WITH SCORE 22401.243
AT ITER 303 NEW BEST:: SOT 72344 SOS 40187 HAS SOPS 39760 HAS SOUS 22705 HAS SOUPS 22278 WITH SCORE 22318.187
AT ITER 307 NEW BEST:: SOT 72336 SOS 40179 HAS SOPS 39752 HAS SOUS 22697 HAS SOUPS 22270 WITH SCORE 22310.179
AT ITER 309 NEW BEST:: SOT 72407 SOS 39649 HAS SOPS 39222 HAS SOUS 22696 HAS SOUPS 22269 WITH SCORE 22308.649
AT ITER 310 NEW BEST:: SOT 72441 SOS 39674 HAS SOPS 39247 HAS SOUS 22683 HAS SOUPS 22256 WITH SCORE 22295.674
AT ITER 314 NEW BEST:: SOT 72519 SOS 39686 HAS SOPS 39259 HAS SOUS 22675 HAS SOUPS 22248 WITH SCORE 22287.686
AT ITER 316 NEW BEST:: SOT 72547 SOS 39751 HAS SOPS 39324 HAS SOUS 22651 HAS SOUPS 22224 WITH SCORE 22263.751
AT ITER 321 NEW BEST:: SOT 72554 SOS 39793 HAS SOPS 39366 HAS SOUS 22644 HAS SOUPS 22217 WITH SCORE 22256.793
AT ITER 329 NEW BEST:: SOT 72550 SOS 39789 HAS SOPS 39362 HAS SOUS 22638 HAS SOUPS 22211 WITH SCORE 22250.789
AT ITER 337 NEW BEST:: SOT 72668 SOS 39779 HAS SOPS 39270 HAS SOUS 22676 HAS SOUPS 22167 WITH SCORE 22206.779
AT ITER 338 NEW BEST:: SOT 72751 SOS 39765 HAS SOPS 39256 HAS SOUS 22668 HAS SOUPS 22159 WITH SCORE 22198.765
AT ITER 352 NEW BEST:: SOT 72775 SOS 39731 HAS SOPS 39222 HAS SOUS 22668 HAS SOUPS 22159 WITH SCORE 22198.731
AT ITER 368 NEW BEST:: SOT 71480 SOS 38434 HAS SOPS 37925 HAS SOUS 21503 HAS SOUPS 20994 WITH SCORE 21032.434
AT ITER 376 NEW BEST:: SOT 71323 SOS 38101 HAS SOPS 37592 HAS SOUS 21437 HAS SOUPS 20928 WITH SCORE 20966.101
AT ITER 378 NEW BEST:: SOT 71518 SOS 38178 HAS SOPS 37669 HAS SOUS 21412 HAS SOUPS 20903 WITH SCORE 20941.178
AT ITER 387 NEW BEST:: SOT 71473 SOS 37992 HAS SOPS 37483 HAS SOUS 21412 HAS SOUPS 20903 WITH SCORE 20940.992
AT ITER 390 NEW BEST:: SOT 71457 SOS 37976 HAS SOPS 37467 HAS SOUS 21388 HAS SOUPS 20879 WITH SCORE 20916.976
AT ITER 398 NEW BEST:: SOT 71389 SOS 37474 HAS SOPS 36965 HAS SOUS 21364 HAS SOUPS 20855 WITH SCORE 20892.474
AT ITER 402 NEW BEST:: SOT 71513 SOS 37694 HAS SOPS 37185 HAS SOUS 21339 HAS SOUPS 20830 WITH SCORE 20867.694
AT ITER 405 NEW BEST:: SOT 71639 SOS 37638 HAS SOPS 37129 HAS SOUS 21290 HAS SOUPS 20781 WITH SCORE 20818.638
AT ITER 411 NEW BEST:: SOT 71652 SOS 38052 HAS SOPS 37543 HAS SOUS 21244 HAS SOUPS 20735 WITH SCORE 20773.052
AT ITER 413 NEW BEST:: SOT 71308 SOS 37636 HAS SOPS 37127 HAS SOUS 20915 HAS SOUPS 20406 WITH SCORE 20443.636
AT ITER 414 NEW BEST:: SOT 68620 SOS 35958 HAS SOPS 35599 HAS SOUS 19210 HAS SOUPS 18851 WITH SCORE 18886.958
AT ITER 416 NEW BEST:: SOT 68552 SOS 35964 HAS SOPS 35605 HAS SOUS 19207 HAS SOUPS 18848 WITH SCORE 18883.964
AT ITER 417 NEW BEST:: SOT 68573 SOS 35965 HAS SOPS 35606 HAS SOUS 19147 HAS SOUPS 18788 WITH SCORE 18823.965
AT ITER 420 NEW BEST:: SOT 68583 SOS 35811 HAS SOPS 35452 HAS SOUS 19147 HAS SOUPS 18788 WITH SCORE 18823.811
AT ITER 422 NEW BEST:: SOT 68693 SOS 35417 HAS SOPS 35058 HAS SOUS 19102 HAS SOUPS 18743 WITH SCORE 18778.417
AT ITER 425 NEW BEST:: SOT 68755 SOS 34872 HAS SOPS 34513 HAS SOUS 19084 HAS SOUPS 18725 WITH SCORE 18759.872
AT ITER 435 NEW BEST:: SOT 68753 SOS 34829 HAS SOPS 34470 HAS SOUS 19043 HAS SOUPS 18684 WITH SCORE 18718.829
AT ITER 442 NEW BEST:: SOT 68690 SOS 34640 HAS SOPS 34281 HAS SOUS 18938 HAS SOUPS 18579 WITH SCORE 18613.64
AT ITER 444 NEW BEST:: SOT 68663 SOS 34604 HAS SOPS 34245 HAS SOUS 18893 HAS SOUPS 18534 WITH SCORE 18568.604
AT ITER 445 NEW BEST:: SOT 68663 SOS 34557 HAS SOPS 34175 HAS SOUS 18916 HAS SOUPS 18534 WITH SCORE 18568.557
AT ITER 460 NEW BEST:: SOT 68823 SOS 34848 HAS SOPS 34466 HAS SOUS 18909 HAS SOUPS 18527 WITH SCORE 18561.848
AT ITER 462 NEW BEST:: SOT 68783 SOS 34798 HAS SOPS 34416 HAS SOUS 18894 HAS SOUPS 18512 WITH SCORE 18546.798
AT ITER 467 NEW BEST:: SOT 68946 SOS 35062 HAS SOPS 34680 HAS SOUS 18868 HAS SOUPS 18486 WITH SCORE 18521.062
AT ITER 475 NEW BEST:: SOT 68776 SOS 34947 HAS SOPS 34565 HAS SOUS 18784 HAS SOUPS 18402 WITH SCORE 18436.947
AT ITER 479 NEW BEST:: SOT 68730 SOS 34469 HAS SOPS 34087 HAS SOUS 18738 HAS SOUPS 18356 WITH SCORE 18390.469
AT ITER 491 NEW BEST:: SOT 68798 SOS 33997 HAS SOPS 33495 HAS SOUS 18852 HAS SOUPS 18350 WITH SCORE 18383.997
AT ITER 505 NEW BEST:: SOT 68798 SOS 33951 HAS SOPS 33449 HAS SOUS 18849 HAS SOUPS 18347 WITH SCORE 18380.951
AT ITER 507 NEW BEST:: SOT 68767 SOS 34146 HAS SOPS 33644 HAS SOUS 18785 HAS SOUPS 18283 WITH SCORE 18317.146
AT ITER 517 NEW BEST:: SOT 68671 SOS 33962 HAS SOPS 33460 HAS SOUS 18597 HAS SOUPS 18095 WITH SCORE 18128.962
AT ITER 521 NEW BEST:: SOT 68594 SOS 33766 HAS SOPS 33264 HAS SOUS 18589 HAS SOUPS 18087 WITH SCORE 18120.766
AT ITER 523 NEW BEST:: SOT 68345 SOS 33485 HAS SOPS 32983 HAS SOUS 18412 HAS SOUPS 17910 WITH SCORE 17943.485
AT ITER 535 NEW BEST:: SOT 68341 SOS 33469 HAS SOPS 32967 HAS SOUS 18382 HAS SOUPS 17880 WITH SCORE 17913.469
AT ITER 537 NEW BEST:: SOT 68418 SOS 33547 HAS SOPS 33045 HAS SOUS 18374 HAS SOUPS 17872 WITH SCORE 17905.547
AT ITER 538 NEW BEST:: SOT 68400 SOS 33503 HAS SOPS 33001 HAS SOUS 18335 HAS SOUPS 17833 WITH SCORE 17866.503
AT ITER 550 NEW BEST:: SOT 68400 SOS 33493 HAS SOPS 32991 HAS SOUS 18325 HAS SOUPS 17823 WITH SCORE 17856.493
AT ITER 564 NEW BEST:: SOT 68400 SOS 33487 HAS SOPS 32985 HAS SOUS 18321 HAS SOUPS 17819 WITH SCORE 17852.487
AT ITER 569 NEW BEST:: SOT 68367 SOS 33319 HAS SOPS 32817 HAS SOUS 18203 HAS SOUPS 17701 WITH SCORE 17734.319
AT ITER 570 NEW BEST:: SOT 68328 SOS 33256 HAS SOPS 32754 HAS SOUS 18159 HAS SOUPS 17657 WITH SCORE 17690.256
AT ITER 571 NEW BEST:: SOT 68328 SOS 33246 HAS SOPS 32744 HAS SOUS 18144 HAS SOUPS 17642 WITH SCORE 17675.246
AT ITER 574 NEW BEST:: SOT 68264 SOS 33105 HAS SOPS 32603 HAS SOUS 18124 HAS SOUPS 17622 WITH SCORE 17655.105
AT ITER 584 NEW BEST:: SOT 68209 SOS 33029 HAS SOPS 32527 HAS SOUS 18090 HAS SOUPS 17588 WITH SCORE 17621.029
AT ITER 587 NEW BEST:: SOT 68188 SOS 33021 HAS SOPS 32519 HAS SOUS 18074 HAS SOUPS 17572 WITH SCORE 17605.021
AT ITER 589 NEW BEST:: SOT 67605 SOS 32550 HAS SOPS 32048 HAS SOUS 18053 HAS SOUPS 17551 WITH SCORE 17583.55
AT ITER 608 NEW BEST:: SOT 67644 SOS 32567 HAS SOPS 32065 HAS SOUS 18044 HAS SOUPS 17542 WITH SCORE 17574.567
AT ITER 609 NEW BEST:: SOT 67573 SOS 32354 HAS SOPS 31852 HAS SOUS 17950 HAS SOUPS 17448 WITH SCORE 17480.354
AT ITER 615 NEW BEST:: SOT 67566 SOS 32289 HAS SOPS 31787 HAS SOUS 17915 HAS SOUPS 17413 WITH SCORE 17445.289
AT ITER 619 NEW BEST:: SOT 67587 SOS 32323 HAS SOPS 31821 HAS SOUS 17898 HAS SOUPS 17396 WITH SCORE 17428.323
AT ITER 630 NEW BEST:: SOT 67563 SOS 32275 HAS SOPS 31773 HAS SOUS 17850 HAS SOUPS 17348 WITH SCORE 17380.275
AT ITER 632 NEW BEST:: SOT 67553 SOS 32265 HAS SOPS 31763 HAS SOUS 17830 HAS SOUPS 17328 WITH SCORE 17360.265
AT ITER 640 NEW BEST:: SOT 67621 SOS 32318 HAS SOPS 31816 HAS SOUS 17808 HAS SOUPS 17306 WITH SCORE 17338.318
AT ITER 656 NEW BEST:: SOT 67581 SOS 32245 HAS SOPS 31743 HAS SOUS 17801 HAS SOUPS 17299 WITH SCORE 17331.245
AT ITER 675 NEW BEST:: SOT 67581 SOS 32239 HAS SOPS 31737 HAS SOUS 17801 HAS SOUPS 17299 WITH SCORE 17331.239
AT ITER 677 NEW BEST:: SOT 67590 SOS 32245 HAS SOPS 31743 HAS SOUS 17795 HAS SOUPS 17293 WITH SCORE 17325.245
AT ITER 680 NEW BEST:: SOT 67585 SOS 32245 HAS SOPS 31743 HAS SOUS 17786 HAS SOUPS 17284 WITH SCORE 17316.245
AT ITER 702 NEW BEST:: SOT 67585 SOS 32192 HAS SOPS 31690 HAS SOUS 17786 HAS SOUPS 17284 WITH SCORE 17316.192
AT ITER 703 NEW BEST:: SOT 67553 SOS 32032 HAS SOPS 31530 HAS SOUS 17786 HAS SOUPS 17284 WITH SCORE 17316.032
AT ITER 709 NEW BEST:: SOT 67529 SOS 31693 HAS SOPS 31191 HAS SOUS 17773 HAS SOUPS 17271 WITH SCORE 17302.693
AT ITER 710 NEW BEST:: SOT 67516 SOS 31636 HAS SOPS 31134 HAS SOUS 17734 HAS SOUPS 17232 WITH SCORE 17263.636
AT ITER 711 NEW BEST:: SOT 67522 SOS 31571 HAS SOPS 31069 HAS SOUS 17732 HAS SOUPS 17230 WITH SCORE 17261.571
AT ITER 723 NEW BEST:: SOT 67521 SOS 31566 HAS SOPS 31064 HAS SOUS 17730 HAS SOUPS 17228 WITH SCORE 17259.566
AT ITER 735 NEW BEST:: SOT 67348 SOS 31290 HAS SOPS 30788 HAS SOUS 17657 HAS SOUPS 17155 WITH SCORE 17186.29
AT ITER 738 NEW BEST:: SOT 67465 SOS 31379 HAS SOPS 30833 HAS SOUS 17650 HAS SOUPS 17104 WITH SCORE 17135.379
AT ITER 744 NEW BEST:: SOT 67564 SOS 31445 HAS SOPS 30899 HAS SOUS 17642 HAS SOUPS 17096 WITH SCORE 17127.445
AT ITER 748 NEW BEST:: SOT 67265 SOS 30931 HAS SOPS 30420 HAS SOUS 17040 HAS SOUPS 16529 WITH SCORE 16559.931
AT ITER 758 NEW BEST:: SOT 67259 SOS 30925 HAS SOPS 30414 HAS SOUS 17032 HAS SOUPS 16521 WITH SCORE 16551.925
AT ITER 760 NEW BEST:: SOT 67302 SOS 31032 HAS SOPS 30521 HAS SOUS 17028 HAS SOUPS 16517 WITH SCORE 16548.032
AT ITER 761 NEW BEST:: SOT 67191 SOS 30771 HAS SOPS 30260 HAS SOUS 16864 HAS SOUPS 16353 WITH SCORE 16383.771
AT ITER 769 NEW BEST:: SOT 67167 SOS 30753 HAS SOPS 30242 HAS SOUS 16772 HAS SOUPS 16261 WITH SCORE 16291.753
AT ITER 771 NEW BEST:: SOT 67148 SOS 30709 HAS SOPS 30198 HAS SOUS 16735 HAS SOUPS 16224 WITH SCORE 16254.709
AT ITER 772 NEW BEST:: SOT 67146 SOS 30656 HAS SOPS 30145 HAS SOUS 16694 HAS SOUPS 16183 WITH SCORE 16213.656
AT ITER 781 NEW BEST:: SOT 67155 SOS 30549 HAS SOPS 30038 HAS SOUS 16689 HAS SOUPS 16178 WITH SCORE 16208.549
AT ITER 787 NEW BEST:: SOT 67071 SOS 29398 HAS SOPS 28782 HAS SOUS 16268 HAS SOUPS 15652 WITH SCORE 15681.398
AT ITER 809 NEW BEST:: SOT 67070 SOS 29386 HAS SOPS 28770 HAS SOUS 16264 HAS SOUPS 15648 WITH SCORE 15677.386
AT ITER 811 NEW BEST:: SOT 67054 SOS 29370 HAS SOPS 28754 HAS SOUS 16260 HAS SOUPS 15644 WITH SCORE 15673.37
AT ITER 815 NEW BEST:: SOT 67040 SOS 29380 HAS SOPS 28764 HAS SOUS 16238 HAS SOUPS 15622 WITH SCORE 15651.38
AT ITER 825 NEW BEST:: SOT 67040 SOS 29475 HAS SOPS 28859 HAS SOUS 16217 HAS SOUPS 15601 WITH SCORE 15630.475
AT ITER 834 NEW BEST:: SOT 67040 SOS 29429 HAS SOPS 28813 HAS SOUS 16217 HAS SOUPS 15601 WITH SCORE 15630.429
AT ITER 835 NEW BEST:: SOT 67040 SOS 29421 HAS SOPS 28805 HAS SOUS 16217 HAS SOUPS 15601 WITH SCORE 15630.421
AT ITER 848 NEW BEST:: SOT 67020 SOS 29387 HAS SOPS 28771 HAS SOUS 16198 HAS SOUPS 15582 WITH SCORE 15611.387
AT ITER 852 NEW BEST:: SOT 66877 SOS 29259 HAS SOPS 28643 HAS SOUS 16148 HAS SOUPS 15532 WITH SCORE 15561.259
AT ITER 855 NEW BEST:: SOT 66877 SOS 29235 HAS SOPS 28619 HAS SOUS 16142 HAS SOUPS 15526 WITH SCORE 15555.235
AT ITER 860 NEW BEST:: SOT 66982 SOS 29247 HAS SOPS 28631 HAS SOUS 16128 HAS SOUPS 15512 WITH SCORE 15541.247
AT ITER 862 NEW BEST:: SOT 67024 SOS 29145 HAS SOPS 28529 HAS SOUS 16108 HAS SOUPS 15492 WITH SCORE 15521.145
AT ITER 863 NEW BEST:: SOT 66943 SOS 28999 HAS SOPS 28383 HAS SOUS 16086 HAS SOUPS 15470 WITH SCORE 15498.999
AT ITER 864 NEW BEST:: SOT 66919 SOS 28899 HAS SOPS 28309 HAS SOUS 16010 HAS SOUPS 15420 WITH SCORE 15448.899
AT ITER 876 NEW BEST:: SOT 66860 SOS 28628 HAS SOPS 28038 HAS SOUS 15984 HAS SOUPS 15394 WITH SCORE 15422.628
AT ITER 885 NEW BEST:: SOT 66856 SOS 28624 HAS SOPS 28034 HAS SOUS 15980 HAS SOUPS 15390 WITH SCORE 15418.624
AT ITER 900 NEW BEST:: SOT 66855 SOS 28537 HAS SOPS 27947 HAS SOUS 15965 HAS SOUPS 15375 WITH SCORE 15403.537
AT ITER 909 NEW BEST:: SOT 66843 SOS 28519 HAS SOPS 27929 HAS SOUS 15941 HAS SOUPS 15351 WITH SCORE 15379.519
AT ITER 918 NEW BEST:: SOT 66856 SOS 28492 HAS SOPS 27902 HAS SOUS 15871 HAS SOUPS 15281 WITH SCORE 15309.492
AT ITER 922 NEW BEST:: SOT 66852 SOS 28488 HAS SOPS 27898 HAS SOUS 15863 HAS SOUPS 15273 WITH SCORE 15301.488
AT ITER 937 NEW BEST:: SOT 66890 SOS 28101 HAS SOPS 27511 HAS SOUS 15852 HAS SOUPS 15262 WITH SCORE 15290.101
AT ITER 946 NEW BEST:: SOT 67195 SOS 28331 HAS SOPS 27741 HAS SOUS 15784 HAS SOUPS 15194 WITH SCORE 15222.331
AT ITER 951 NEW BEST:: SOT 67167 SOS 28201 HAS SOPS 27611 HAS SOUS 15771 HAS SOUPS 15181 WITH SCORE 15209.201
AT ITER 953 NEW BEST:: SOT 67167 SOS 28225 HAS SOPS 27635 HAS SOUS 15767 HAS SOUPS 15177 WITH SCORE 15205.225
AT ITER 958 NEW BEST:: SOT 67147 SOS 28190 HAS SOPS 27600 HAS SOUS 15747 HAS SOUPS 15157 WITH SCORE 15185.19
AT ITER 967 NEW BEST:: SOT 67120 SOS 28091 HAS SOPS 27501 HAS SOUS 15707 HAS SOUPS 15117 WITH SCORE 15145.091
AT ITER 969 NEW BEST:: SOT 67204 SOS 27964 HAS SOPS 27374 HAS SOUS 15683 HAS SOUPS 15093 WITH SCORE 15120.964
AT ITER 979 NEW BEST:: SOT 67169 SOS 27929 HAS SOPS 27339 HAS SOUS 15669 HAS SOUPS 15079 WITH SCORE 15106.929
AT ITER 981 NEW BEST:: SOT 67167 SOS 27930 HAS SOPS 27340 HAS SOUS 15665 HAS SOUPS 15075 WITH SCORE 15102.93
AT ITER 984 NEW BEST:: SOT 67167 SOS 27930 HAS SOPS 27340 HAS SOUS 15664 HAS SOUPS 15074 WITH SCORE 15101.93
AT ITER 985 NEW BEST:: SOT 67205 SOS 27565 HAS SOPS 26975 HAS SOUS 15605 HAS SOUPS 15015 WITH SCORE 15042.565
AT ITER 1000 NEW BEST:: SOT 67580 SOS 27666 HAS SOPS 27076 HAS SOUS 15576 HAS SOUPS 14986 WITH SCORE 15013.666
AT ITER 1027 NEW BEST:: SOT 67580 SOS 27687 HAS SOPS 27097 HAS SOUS 15554 HAS SOUPS 14964 WITH SCORE 14991.687
AT ITER 1033 NEW BEST:: SOT 67574 SOS 27663 HAS SOPS 27073 HAS SOUS 15542 HAS SOUPS 14952 WITH SCORE 14979.663
AT ITER 1061 NEW BEST:: SOT 67573 SOS 27677 HAS SOPS 27087 HAS SOUS 15530 HAS SOUPS 14940 WITH SCORE 14967.677
AT ITER 1078 NEW BEST:: SOT 67568 SOS 27672 HAS SOPS 27082 HAS SOUS 15520 HAS SOUPS 14930 WITH SCORE 14957.672
AT ITER 1087 NEW BEST:: SOT 67568 SOS 27672 HAS SOPS 27082 HAS SOUS 15517 HAS SOUPS 14927 WITH SCORE 14954.672
AT ITER 1089 NEW BEST:: SOT 67587 SOS 27653 HAS SOPS 27063 HAS SOUS 15460 HAS SOUPS 14870 WITH SCORE 14897.653
AT ITER 1093 NEW BEST:: SOT 67521 SOS 27455 HAS SOPS 26865 HAS SOUS 15328 HAS SOUPS 14738 WITH SCORE 14765.455
AT ITER 1097 NEW BEST:: SOT 67506 SOS 27440 HAS SOPS 26850 HAS SOUS 15313 HAS SOUPS 14723 WITH SCORE 14750.44
AT ITER 1101 NEW BEST:: SOT 67500 SOS 27383 HAS SOPS 26793 HAS SOUS 15301 HAS SOUPS 14711 WITH SCORE 14738.383
AT ITER 1111 NEW BEST:: SOT 67452 SOS 27287 HAS SOPS 26697 HAS SOUS 15277 HAS SOUPS 14687 WITH SCORE 14714.287
AT ITER 1122 NEW BEST:: SOT 67521 SOS 27420 HAS SOPS 26830 HAS SOUS 15274 HAS SOUPS 14684 WITH SCORE 14711.42
AT ITER 1124 NEW BEST:: SOT 67492 SOS 27512 HAS SOPS 26922 HAS SOUS 15233 HAS SOUPS 14643 WITH SCORE 14670.512
AT ITER 1129 NEW BEST:: SOT 67538 SOS 27355 HAS SOPS 26765 HAS SOUS 15143 HAS SOUPS 14553 WITH SCORE 14580.355
AT ITER 1168 NEW BEST:: SOT 67515 SOS 27263 HAS SOPS 26673 HAS SOUS 15097 HAS SOUPS 14507 WITH SCORE 14534.263
AT ITER 1174 NEW BEST:: SOT 67495 SOS 27281 HAS SOPS 26691 HAS SOUS 15091 HAS SOUPS 14501 WITH SCORE 14528.281
AT ITER 1181 NEW BEST:: SOT 67564 SOS 27083 HAS SOPS 26493 HAS SOUS 15067 HAS SOUPS 14477 WITH SCORE 14504.083
AT ITER 1186 NEW BEST:: SOT 67547 SOS 26911 HAS SOPS 26321 HAS SOUS 15013 HAS SOUPS 14423 WITH SCORE 14449.911
AT ITER 1191 NEW BEST:: SOT 67519 SOS 26763 HAS SOPS 26173 HAS SOUS 14997 HAS SOUPS 14407 WITH SCORE 14433.763
AT ITER 1200 NEW BEST:: SOT 67515 SOS 26769 HAS SOPS 26179 HAS SOUS 14991 HAS SOUPS 14401 WITH SCORE 14427.769
AT ITER 1208 NEW BEST:: SOT 67501 SOS 26713 HAS SOPS 26123 HAS SOUS 14963 HAS SOUPS 14373 WITH SCORE 14399.713
AT ITER 1219 NEW BEST:: SOT 67506 SOS 26640 HAS SOPS 26050 HAS SOUS 14955 HAS SOUPS 14365 WITH SCORE 14391.64
AT ITER 1224 NEW BEST:: SOT 67506 SOS 26655 HAS SOPS 26060 HAS SOUS 14950 HAS SOUPS 14355 WITH SCORE 14381.655
AT ITER 1229 NEW BEST:: SOT 67495 SOS 26499 HAS SOPS 25904 HAS SOUS 14898 HAS SOUPS 14303 WITH SCORE 14329.499
AT ITER 1244 NEW BEST:: SOT 67477 SOS 26481 HAS SOPS 25886 HAS SOUS 14874 HAS SOUPS 14279 WITH SCORE 14305.481
AT ITER 1245 NEW BEST:: SOT 67435 SOS 26419 HAS SOPS 25824 HAS SOUS 14854 HAS SOUPS 14259 WITH SCORE 14285.419
AT ITER 1258 NEW BEST:: SOT 67435 SOS 26403 HAS SOPS 25808 HAS SOUS 14838 HAS SOUPS 14243 WITH SCORE 14269.403
AT ITER 1269 NEW BEST:: SOT 67429 SOS 26382 HAS SOPS 25787 HAS SOUS 14829 HAS SOUPS 14234 WITH SCORE 14260.382
AT ITER 1277 NEW BEST:: SOT 67276 SOS 26358 HAS SOPS 25763 HAS SOUS 14757 HAS SOUPS 14162 WITH SCORE 14188.358
AT ITER 1282 NEW BEST:: SOT 67274 SOS 26326 HAS SOPS 25731 HAS SOUS 14741 HAS SOUPS 14146 WITH SCORE 14172.326
AT ITER 1284 NEW BEST:: SOT 67268 SOS 26265 HAS SOPS 25670 HAS SOUS 14713 HAS SOUPS 14118 WITH SCORE 14144.265
AT ITER 1288 NEW BEST:: SOT 67314 SOS 26392 HAS SOPS 25797 HAS SOUS 14710 HAS SOUPS 14115 WITH SCORE 14141.392
AT ITER 1294 NEW BEST:: SOT 67311 SOS 26397 HAS SOPS 25802 HAS SOUS 14707 HAS SOUPS 14112 WITH SCORE 14138.397
AT ITER 1337 NEW BEST:: SOT 67313 SOS 26398 HAS SOPS 25803 HAS SOUS 14701 HAS SOUPS 14106 WITH SCORE 14132.398
AT ITER 1339 NEW BEST:: SOT 67316 SOS 26398 HAS SOPS 25803 HAS SOUS 14698 HAS SOUPS 14103 WITH SCORE 14129.398
AT ITER 1341 NEW BEST:: SOT 67296 SOS 26373 HAS SOPS 25778 HAS SOUS 14688 HAS SOUPS 14093 WITH SCORE 14119.373
AT ITER 1355 NEW BEST:: SOT 67272 SOS 26361 HAS SOPS 25766 HAS SOUS 14685 HAS SOUPS 14090 WITH SCORE 14116.361
AT ITER 1356 NEW BEST:: SOT 67070 SOS 27191 HAS SOPS 26689 HAS SOUS 14582 HAS SOUPS 14080 WITH SCORE 14107.191
AT ITER 1360 NEW BEST:: SOT 67066 SOS 27187 HAS SOPS 26685 HAS SOUS 14580 HAS SOUPS 14078 WITH SCORE 14105.187
AT ITER 1365 NEW BEST:: SOT 67053 SOS 27183 HAS SOPS 26681 HAS SOUS 14572 HAS SOUPS 14070 WITH SCORE 14097.183
AT ITER 1367 NEW BEST:: SOT 66999 SOS 26991 HAS SOPS 26489 HAS SOUS 14469 HAS SOUPS 13967 WITH SCORE 13993.991
AT ITER 1372 NEW BEST:: SOT 66973 SOS 26965 HAS SOPS 26463 HAS SOUS 14404 HAS SOUPS 13902 WITH SCORE 13928.965
AT ITER 1419 NEW BEST:: SOT 66973 SOS 26965 HAS SOPS 26463 HAS SOUS 14379 HAS SOUPS 13877 WITH SCORE 13903.965
AT ITER 1439 NEW BEST:: SOT 66868 SOS 26860 HAS SOPS 26358 HAS SOUS 14337 HAS SOUPS 13835 WITH SCORE 13861.86
AT ITER 1441 NEW BEST:: SOT 66811 SOS 26912 HAS SOPS 26410 HAS SOUS 14315 HAS SOUPS 13813 WITH SCORE 13839.912
AT ITER 1443 NEW BEST:: SOT 66791 SOS 26874 HAS SOPS 26372 HAS SOUS 14253 HAS SOUPS 13751 WITH SCORE 13777.874
AT ITER 1446 NEW BEST:: SOT 66779 SOS 26850 HAS SOPS 26348 HAS SOUS 14229 HAS SOUPS 13727 WITH SCORE 13753.85
AT ITER 1448 NEW BEST:: SOT 66766 SOS 26814 HAS SOPS 26312 HAS SOUS 14220 HAS SOUPS 13718 WITH SCORE 13744.814
AT ITER 1452 NEW BEST:: SOT 66738 SOS 26800 HAS SOPS 26298 HAS SOUS 14220 HAS SOUPS 13718 WITH SCORE 13744.8
AT ITER 1453 NEW BEST:: SOT 66741 SOS 26788 HAS SOPS 26286 HAS SOUS 14219 HAS SOUPS 13717 WITH SCORE 13743.788
AT ITER 1468 NEW BEST:: SOT 66741 SOS 26682 HAS SOPS 26180 HAS SOUS 14203 HAS SOUPS 13701 WITH SCORE 13727.682
AT ITER 1469 NEW BEST:: SOT 66611 SOS 26505 HAS SOPS 26003 HAS SOUS 14036 HAS SOUPS 13534 WITH SCORE 13560.505
AT ITER 1500 NEW BEST:: SOT 66687 SOS 26581 HAS SOPS 26079 HAS SOUS 14017 HAS SOUPS 13515 WITH SCORE 13541.581
AT ITER 1537 NEW BEST:: SOT 66689 SOS 26520 HAS SOPS 26018 HAS SOUS 14011 HAS SOUPS 13509 WITH SCORE 13535.52
AT ITER 1543 NEW BEST:: SOT 66673 SOS 26578 HAS SOPS 26076 HAS SOUS 14002 HAS SOUPS 13500 WITH SCORE 13526.578
AT ITER 1547 NEW BEST:: SOT 66653 SOS 26553 HAS SOPS 26051 HAS SOUS 13977 HAS SOUPS 13475 WITH SCORE 13501.553
AT ITER 1549 NEW BEST:: SOT 66653 SOS 26521 HAS SOPS 26019 HAS SOUS 13971 HAS SOUPS 13469 WITH SCORE 13495.521
AT ITER 1564 NEW BEST:: SOT 66651 SOS 26522 HAS SOPS 26020 HAS SOUS 13969 HAS SOUPS 13467 WITH SCORE 13493.522
AT ITER 1576 NEW BEST:: SOT 66543 SOS 26564 HAS SOPS 26062 HAS SOUS 13915 HAS SOUPS 13413 WITH SCORE 13439.564
AT ITER 1584 NEW BEST:: SOT 66540 SOS 26560 HAS SOPS 26058 HAS SOUS 13909 HAS SOUPS 13407 WITH SCORE 13433.56
AT ITER 1596 NEW BEST:: SOT 66552 SOS 26596 HAS SOPS 26094 HAS SOUS 13899 HAS SOUPS 13397 WITH SCORE 13423.596
AT ITER 1617 NEW BEST:: SOT 66504 SOS 26536 HAS SOPS 26034 HAS SOUS 13875 HAS SOUPS 13373 WITH SCORE 13399.536
AT ITER 1619 NEW BEST:: SOT 66451 SOS 26417 HAS SOPS 25915 HAS SOUS 13823 HAS SOUPS 13321 WITH SCORE 13347.417
AT ITER 1646 NEW BEST:: SOT 66418 SOS 26460 HAS SOPS 25958 HAS SOUS 13807 HAS SOUPS 13305 WITH SCORE 13331.46
AT ITER 1673 NEW BEST:: SOT 66478 SOS 26408 HAS SOPS 25906 HAS SOUS 13785 HAS SOUPS 13283 WITH SCORE 13309.408
AT ITER 1683 NEW BEST:: SOT 66472 SOS 26394 HAS SOPS 25892 HAS SOUS 13777 HAS SOUPS 13275 WITH SCORE 13301.394
AT ITER 1702 NEW BEST:: SOT 66454 SOS 26360 HAS SOPS 25858 HAS SOUS 13725 HAS SOUPS 13223 WITH SCORE 13249.36
AT ITER 1704 NEW BEST:: SOT 66446 SOS 26328 HAS SOPS 25826 HAS SOUS 13721 HAS SOUPS 13219 WITH SCORE 13245.328
AT ITER 1712 NEW BEST:: SOT 66382 SOS 26240 HAS SOPS 25738 HAS SOUS 13579 HAS SOUPS 13077 WITH SCORE 13103.24
AT ITER 1716 NEW BEST:: SOT 66393 SOS 26257 HAS SOPS 25755 HAS SOUS 13568 HAS SOUPS 13066 WITH SCORE 13092.257
AT ITER 1734 NEW BEST:: SOT 66273 SOS 26013 HAS SOPS 25511 HAS SOUS 13472 HAS SOUPS 12970 WITH SCORE 12996.013
AT ITER 1742 NEW BEST:: SOT 66273 SOS 26006 HAS SOPS 25504 HAS SOUS 13472 HAS SOUPS 12970 WITH SCORE 12996.006
AT ITER 1749 NEW BEST:: SOT 66230 SOS 25978 HAS SOPS 25476 HAS SOUS 13438 HAS SOUPS 12936 WITH SCORE 12961.978
AT ITER 1752 NEW BEST:: SOT 66230 SOS 25954 HAS SOPS 25452 HAS SOUS 13426 HAS SOUPS 12924 WITH SCORE 12949.954
AT ITER 1757 NEW BEST:: SOT 66231 SOS 25955 HAS SOPS 25453 HAS SOUS 13409 HAS SOUPS 12907 WITH SCORE 12932.955
AT ITER 1759 NEW BEST:: SOT 66233 SOS 25961 HAS SOPS 25459 HAS SOUS 13407 HAS SOUPS 12905 WITH SCORE 12930.961
AT ITER 1773 NEW BEST:: SOT 66268 SOS 25973 HAS SOPS 25471 HAS SOUS 13363 HAS SOUPS 12861 WITH SCORE 12886.973
AT ITER 1784 NEW BEST:: SOT 66241 SOS 25946 HAS SOPS 25444 HAS SOUS 13342 HAS SOUPS 12840 WITH SCORE 12865.946
AT ITER 1792 NEW BEST:: SOT 66184 SOS 25748 HAS SOPS 25246 HAS SOUS 13228 HAS SOUPS 12726 WITH SCORE 12751.748
AT ITER 1809 NEW BEST:: SOT 66176 SOS 25744 HAS SOPS 25242 HAS SOUS 13220 HAS SOUPS 12718 WITH SCORE 12743.744
AT ITER 1830 NEW BEST:: SOT 66124 SOS 25712 HAS SOPS 25210 HAS SOUS 13112 HAS SOUPS 12610 WITH SCORE 12635.712
AT ITER 1838 NEW BEST:: SOT 66124 SOS 25677 HAS SOPS 25175 HAS SOUS 13100 HAS SOUPS 12598 WITH SCORE 12623.677
AT ITER 1849 NEW BEST:: SOT 66119 SOS 25670 HAS SOPS 25168 HAS SOUS 13090 HAS SOUPS 12588 WITH SCORE 12613.67
AT ITER 1853 NEW BEST:: SOT 66116 SOS 25655 HAS SOPS 25153 HAS SOUS 13073 HAS SOUPS 12571 WITH SCORE 12596.655
AT ITER 1861 NEW BEST:: SOT 66113 SOS 25649 HAS SOPS 25147 HAS SOUS 13067 HAS SOUPS 12565 WITH SCORE 12590.649
AT ITER 1870 NEW BEST:: SOT 66035 SOS 25559 HAS SOPS 25057 HAS SOUS 13030 HAS SOUPS 12528 WITH SCORE 12553.559
AT ITER 1874 NEW BEST:: SOT 66000 SOS 25524 HAS SOPS 25022 HAS SOUS 12995 HAS SOUPS 12493 WITH SCORE 12518.524
AT ITER 1878 NEW BEST:: SOT 65928 SOS 25452 HAS SOPS 24950 HAS SOUS 12980 HAS SOUPS 12478 WITH SCORE 12503.452
AT ITER 1887 NEW BEST:: SOT 65952 SOS 25460 HAS SOPS 24958 HAS SOUS 12956 HAS SOUPS 12454 WITH SCORE 12479.46
AT ITER 1894 NEW BEST:: SOT 65991 SOS 25491 HAS SOPS 24989 HAS SOUS 12945 HAS SOUPS 12443 WITH SCORE 12468.491
AT ITER 1912 NEW BEST:: SOT 65941 SOS 25492 HAS SOPS 24990 HAS SOUS 12891 HAS SOUPS 12389 WITH SCORE 12414.492
AT ITER 1915 NEW BEST:: SOT 65738 SOS 25393 HAS SOPS 24891 HAS SOUS 12802 HAS SOUPS 12300 WITH SCORE 12325.393
AT ITER 1935 NEW BEST:: SOT 65738 SOS 25391 HAS SOPS 24889 HAS SOUS 12800 HAS SOUPS 12298 WITH SCORE 12323.391
AT ITER 1946 NEW BEST:: SOT 65728 SOS 25321 HAS SOPS 24819 HAS SOUS 12790 HAS SOUPS 12288 WITH SCORE 12313.321
AT ITER 1949 NEW BEST:: SOT 65741 SOS 25304 HAS SOPS 24802 HAS SOUS 12783 HAS SOUPS 12281 WITH SCORE 12306.304
AT ITER 1964 NEW BEST:: SOT 65737 SOS 25292 HAS SOPS 24790 HAS SOUS 12779 HAS SOUPS 12277 WITH SCORE 12302.292
AT ITER 1973 NEW BEST:: SOT 65735 SOS 25292 HAS SOPS 24790 HAS SOUS 12778 HAS SOUPS 12276 WITH SCORE 12301.292
AT ITER 1989 NEW BEST:: SOT 65735 SOS 25288 HAS SOPS 24786 HAS SOUS 12772 HAS SOUPS 12270 WITH SCORE 12295.288
AT ITER 2015 NEW BEST:: SOT 65735 SOS 25291 HAS SOPS 24789 HAS SOUS 12732 HAS SOUPS 12230 WITH SCORE 12255.291
AT ITER 2024 NEW BEST:: SOT 65724 SOS 25405 HAS SOPS 24903 HAS SOUS 12721 HAS SOUPS 12219 WITH SCORE 12244.405
AT ITER 2033 NEW BEST:: SOT 65677 SOS 25370 HAS SOPS 24868 HAS SOUS 12689 HAS SOUPS 12187 WITH SCORE 12212.37
AT ITER 2036 NEW BEST:: SOT 65675 SOS 25368 HAS SOPS 24866 HAS SOUS 12665 HAS SOUPS 12163 WITH SCORE 12188.368
AT ITER 2047 NEW BEST:: SOT 65731 SOS 25375 HAS SOPS 24873 HAS SOUS 12659 HAS SOUPS 12157 WITH SCORE 12182.375
AT ITER 2048 NEW BEST:: SOT 65661 SOS 25305 HAS SOPS 24803 HAS SOUS 12633 HAS SOUPS 12131 WITH SCORE 12156.305
AT ITER 2058 NEW BEST:: SOT 65655 SOS 25299 HAS SOPS 24797 HAS SOUS 12630 HAS SOUPS 12128 WITH SCORE 12153.299
AT ITER 2073 NEW BEST:: SOT 65669 SOS 25313 HAS SOPS 24811 HAS SOUS 12616 HAS SOUPS 12114 WITH SCORE 12139.313
AT ITER 2081 NEW BEST:: SOT 65651 SOS 25295 HAS SOPS 24793 HAS SOUS 12604 HAS SOUPS 12102 WITH SCORE 12127.295
AT ITER 2090 NEW BEST:: SOT 65593 SOS 25238 HAS SOPS 24736 HAS SOUS 12584 HAS SOUPS 12082 WITH SCORE 12107.238
AT ITER 2106 NEW BEST:: SOT 65568 SOS 25229 HAS SOPS 24727 HAS SOUS 12577 HAS SOUPS 12075 WITH SCORE 12100.229
AT ITER 2133 NEW BEST:: SOT 65516 SOS 25202 HAS SOPS 24700 HAS SOUS 12551 HAS SOUPS 12049 WITH SCORE 12074.202
AT ITER 2147 NEW BEST:: SOT 65571 SOS 25260 HAS SOPS 24758 HAS SOUS 12514 HAS SOUPS 12012 WITH SCORE 12037.26
AT ITER 2154 NEW BEST:: SOT 65571 SOS 25215 HAS SOPS 24713 HAS SOUS 12514 HAS SOUPS 12012 WITH SCORE 12037.215
AT ITER 2156 NEW BEST:: SOT 65449 SOS 25007 HAS SOPS 24505 HAS SOUS 12465 HAS SOUPS 11963 WITH SCORE 11988.007
AT ITER 2202 NEW BEST:: SOT 65451 SOS 25014 HAS SOPS 24512 HAS SOUS 12460 HAS SOUPS 11958 WITH SCORE 11983.014
AT ITER 2288 NEW BEST:: SOT 65448 SOS 24987 HAS SOPS 24485 HAS SOUS 12429 HAS SOUPS 11927 WITH SCORE 11951.987
AT ITER 2313 NEW BEST:: SOT 65415 SOS 24954 HAS SOPS 24452 HAS SOUS 12396 HAS SOUPS 11894 WITH SCORE 11918.954
AT ITER 2332 NEW BEST:: SOT 65303 SOS 24722 HAS SOPS 24220 HAS SOUS 12378 HAS SOUPS 11876 WITH SCORE 11900.722
AT ITER 2345 NEW BEST:: SOT 65405 SOS 24744 HAS SOPS 24242 HAS SOUS 12367 HAS SOUPS 11865 WITH SCORE 11889.744
AT ITER 2378 NEW BEST:: SOT 65392 SOS 24681 HAS SOPS 24157 HAS SOUS 12375 HAS SOUPS 11851 WITH SCORE 11875.681
AT ITER 2390 NEW BEST:: SOT 65418 SOS 24681 HAS SOPS 24157 HAS SOUS 12363 HAS SOUPS 11839 WITH SCORE 11863.681
AT ITER 2420 NEW BEST:: SOT 65416 SOS 24705 HAS SOPS 24181 HAS SOUS 12361 HAS SOUPS 11837 WITH SCORE 11861.705
AT ITER 2454 NEW BEST:: SOT 65385 SOS 24628 HAS SOPS 24104 HAS SOUS 12346 HAS SOUPS 11822 WITH SCORE 11846.628
AT ITER 2466 NEW BEST:: SOT 65382 SOS 24714 HAS SOPS 24190 HAS SOUS 12341 HAS SOUPS 11817 WITH SCORE 11841.714
AT ITER 2471 NEW BEST:: SOT 65382 SOS 24674 HAS SOPS 24150 HAS SOUS 12325 HAS SOUPS 11801 WITH SCORE 11825.674
AT ITER 2472 NEW BEST:: SOT 65372 SOS 24644 HAS SOPS 24120 HAS SOUS 12315 HAS SOUPS 11791 WITH SCORE 11815.644
AT ITER 2512 NEW BEST:: SOT 65372 SOS 24643 HAS SOPS 24119 HAS SOUS 12311 HAS SOUPS 11787 WITH SCORE 11811.643
AT ITER 2527 NEW BEST:: SOT 65369 SOS 24639 HAS SOPS 24115 HAS SOUS 12308 HAS SOUPS 11784 WITH SCORE 11808.639
AT ITER 2582 NEW BEST:: SOT 65369 SOS 24635 HAS SOPS 24111 HAS SOUS 12304 HAS SOUPS 11780 WITH SCORE 11804.635
AT ITER 2585 NEW BEST:: SOT 65368 SOS 24633 HAS SOPS 24109 HAS SOUS 12304 HAS SOUPS 11780 WITH SCORE 11804.633
AT ITER 2590 NEW BEST:: SOT 65367 SOS 24626 HAS SOPS 24102 HAS SOUS 12302 HAS SOUPS 11778 WITH SCORE 11802.626
AT ITER 2617 NEW BEST:: SOT 65356 SOS 24549 HAS SOPS 24025 HAS SOUS 12291 HAS SOUPS 11767 WITH SCORE 11791.549
AT ITER 2622 NEW BEST:: SOT 65344 SOS 24537 HAS SOPS 24013 HAS SOUS 12267 HAS SOUPS 11743 WITH SCORE 11767.537
AT ITER 2623 NEW BEST:: SOT 65344 SOS 24537 HAS SOPS 24013 HAS SOUS 12262 HAS SOUPS 11738 WITH SCORE 11762.537
AT ITER 2625 NEW BEST:: SOT 65341 SOS 24534 HAS SOPS 24010 HAS SOUS 12259 HAS SOUPS 11735 WITH SCORE 11759.534
AT ITER 2642 NEW BEST:: SOT 65234 SOS 24498 HAS SOPS 23974 HAS SOUS 12223 HAS SOUPS 11699 WITH SCORE 11723.498
AT ITER 2645 NEW BEST:: SOT 65225 SOS 24477 HAS SOPS 23953 HAS SOUS 12208 HAS SOUPS 11684 WITH SCORE 11708.477
AT ITER 2664 NEW BEST:: SOT 65205 SOS 24402 HAS SOPS 23878 HAS SOUS 12193 HAS SOUPS 11669 WITH SCORE 11693.402
AT ITER 2708 NEW BEST:: SOT 65205 SOS 24396 HAS SOPS 23872 HAS SOUS 12187 HAS SOUPS 11663 WITH SCORE 11687.396
AT ITER 2715 NEW BEST:: SOT 65220 SOS 24405 HAS SOPS 23881 HAS SOUS 12186 HAS SOUPS 11662 WITH SCORE 11686.405
AT ITER 2728 NEW BEST:: SOT 65220 SOS 24415 HAS SOPS 23891 HAS SOUS 12156 HAS SOUPS 11632 WITH SCORE 11656.415
AT ITER 2743 NEW BEST:: SOT 65208 SOS 24367 HAS SOPS 23843 HAS SOUS 12121 HAS SOUPS 11597 WITH SCORE 11621.367
AT ITER 2744 NEW BEST:: SOT 65206 SOS 24203 HAS SOPS 23679 HAS SOUS 12099 HAS SOUPS 11575 WITH SCORE 11599.203
AT ITER 2768 NEW BEST:: SOT 65206 SOS 24201 HAS SOPS 23677 HAS SOUS 12099 HAS SOUPS 11575 WITH SCORE 11599.201
AT ITER 2770 NEW BEST:: SOT 65200 SOS 24189 HAS SOPS 23665 HAS SOUS 12099 HAS SOUPS 11575 WITH SCORE 11599.189
AT ITER 2781 NEW BEST:: SOT 65196 SOS 24183 HAS SOPS 23659 HAS SOUS 12093 HAS SOUPS 11569 WITH SCORE 11593.183
AT ITER 2809 NEW BEST:: SOT 65196 SOS 24143 HAS SOPS 23619 HAS SOUS 12093 HAS SOUPS 11569 WITH SCORE 11593.143
AT ITER 2814 NEW BEST:: SOT 65184 SOS 24131 HAS SOPS 23607 HAS SOUS 12093 HAS SOUPS 11569 WITH SCORE 11593.131
AT ITER 2827 NEW BEST:: SOT 65187 SOS 24122 HAS SOPS 23603 HAS SOUS 12085 HAS SOUPS 11566 WITH SCORE 11590.122
AT ITER 2850 NEW BEST:: SOT 65194 SOS 24143 HAS SOPS 23624 HAS SOUS 12079 HAS SOUPS 11560 WITH SCORE 11584.143
AT ITER 2950 NEW BEST:: SOT 65198 SOS 24147 HAS SOPS 23628 HAS SOUS 12075 HAS SOUPS 11556 WITH SCORE 11580.147
AT ITER 2963 NEW BEST:: SOT 65196 SOS 24145 HAS SOPS 23626 HAS SOUS 12073 HAS SOUPS 11554 WITH SCORE 11578.145
AT ITER 2965 NEW BEST:: SOT 65164 SOS 24101 HAS SOPS 23582 HAS SOUS 12039 HAS SOUPS 11520 WITH SCORE 11544.101
AT ITER 2969 NEW BEST:: SOT 65162 SOS 24065 HAS SOPS 23546 HAS SOUS 12037 HAS SOUPS 11518 WITH SCORE 11542.065
AT ITER 2984 NEW BEST:: SOT 65169 SOS 24170 HAS SOPS 23651 HAS SOUS 12035 HAS SOUPS 11516 WITH SCORE 11540.17
AT ITER 2988 NEW BEST:: SOT 65039 SOS 24077 HAS SOPS 23558 HAS SOUS 11970 HAS SOUPS 11451 WITH SCORE 11475.077
AT ITER 3004 NEW BEST:: SOT 65045 SOS 24063 HAS SOPS 23544 HAS SOUS 11966 HAS SOUPS 11447 WITH SCORE 11471.063
AT ITER 3018 NEW BEST:: SOT 65060 SOS 23845 HAS SOPS 23326 HAS SOUS 11957 HAS SOUPS 11438 WITH SCORE 11461.845
AT ITER 3022 NEW BEST:: SOT 65048 SOS 23833 HAS SOPS 23314 HAS SOUS 11953 HAS SOUPS 11434 WITH SCORE 11457.833
AT ITER 3052 NEW BEST:: SOT 65056 SOS 23845 HAS SOPS 23326 HAS SOUS 11949 HAS SOUPS 11430 WITH SCORE 11453.845
AT ITER 3083 NEW BEST:: SOT 65068 SOS 23835 HAS SOPS 23299 HAS SOUS 11966 HAS SOUPS 11430 WITH SCORE 11453.835
AT ITER 3093 NEW BEST:: SOT 64856 SOS 23623 HAS SOPS 23087 HAS SOUS 11781 HAS SOUPS 11245 WITH SCORE 11268.623
AT ITER 3099 NEW BEST:: SOT 64841 SOS 23558 HAS SOPS 23022 HAS SOUS 11726 HAS SOUPS 11190 WITH SCORE 11213.558
AT ITER 3111 NEW BEST:: SOT 64844 SOS 23370 HAS SOPS 22834 HAS SOUS 11683 HAS SOUPS 11147 WITH SCORE 11170.37
AT ITER 3130 NEW BEST:: SOT 64842 SOS 23367 HAS SOPS 22831 HAS SOUS 11682 HAS SOUPS 11146 WITH SCORE 11169.367
AT ITER 3138 NEW BEST:: SOT 64842 SOS 23365 HAS SOPS 22829 HAS SOUS 11682 HAS SOUPS 11146 WITH SCORE 11169.365
AT ITER 3169 NEW BEST:: SOT 64842 SOS 23355 HAS SOPS 22819 HAS SOUS 11672 HAS SOUPS 11136 WITH SCORE 11159.355
AT ITER 3210 NEW BEST:: SOT 64857 SOS 23334 HAS SOPS 22798 HAS SOUS 11663 HAS SOUPS 11127 WITH SCORE 11150.334
AT ITER 3228 NEW BEST:: SOT 64907 SOS 23349 HAS SOPS 22813 HAS SOUS 11648 HAS SOUPS 11112 WITH SCORE 11135.349
AT ITER 3240 NEW BEST:: SOT 64907 SOS 23349 HAS SOPS 22813 HAS SOUS 11632 HAS SOUPS 11096 WITH SCORE 11119.349
AT ITER 3248 NEW BEST:: SOT 64901 SOS 23343 HAS SOPS 22807 HAS SOUS 11630 HAS SOUPS 11094 WITH SCORE 11117.343
AT ITER 3258 NEW BEST:: SOT 64901 SOS 23359 HAS SOPS 22823 HAS SOUS 11626 HAS SOUPS 11090 WITH SCORE 11113.359
AT ITER 3267 NEW BEST:: SOT 64863 SOS 23328 HAS SOPS 22792 HAS SOUS 11620 HAS SOUPS 11084 WITH SCORE 11107.328
AT ITER 3306 NEW BEST:: SOT 64809 SOS 23281 HAS SOPS 22745 HAS SOUS 11614 HAS SOUPS 11078 WITH SCORE 11101.281
AT ITER 3365 NEW BEST:: SOT 64798 SOS 23242 HAS SOPS 22706 HAS SOUS 11601 HAS SOUPS 11065 WITH SCORE 11088.242
AT ITER 3389 NEW BEST:: SOT 64751 SOS 23160 HAS SOPS 22624 HAS SOUS 11573 HAS SOUPS 11037 WITH SCORE 11060.16
AT ITER 3392 NEW BEST:: SOT 64768 SOS 23091 HAS SOPS 22555 HAS SOUS 11553 HAS SOUPS 11017 WITH SCORE 11040.091
AT ITER 3452 NEW BEST:: SOT 64772 SOS 23029 HAS SOPS 22493 HAS SOUS 11536 HAS SOUPS 11000 WITH SCORE 11023.029
AT ITER 3537 NEW BEST:: SOT 64748 SOS 22967 HAS SOPS 22431 HAS SOUS 11524 HAS SOUPS 10988 WITH SCORE 11010.967
AT ITER 3544 NEW BEST:: SOT 64732 SOS 22983 HAS SOPS 22447 HAS SOUS 11508 HAS SOUPS 10972 WITH SCORE 10994.983
AT ITER 3545 NEW BEST:: SOT 64731 SOS 22978 HAS SOPS 22442 HAS SOUS 11495 HAS SOUPS 10959 WITH SCORE 10981.978
AT ITER 3546 NEW BEST:: SOT 64755 SOS 22968 HAS SOPS 22432 HAS SOUS 11492 HAS SOUPS 10956 WITH SCORE 10978.968
AT ITER 3562 NEW BEST:: SOT 64794 SOS 22946 HAS SOPS 22410 HAS SOUS 11451 HAS SOUPS 10915 WITH SCORE 10937.946
AT ITER 3571 NEW BEST:: SOT 64800 SOS 22874 HAS SOPS 22338 HAS SOUS 11444 HAS SOUPS 10908 WITH SCORE 10930.874
AT ITER 3582 NEW BEST:: SOT 64804 SOS 22878 HAS SOPS 22342 HAS SOUS 11442 HAS SOUPS 10906 WITH SCORE 10928.878
AT ITER 3583 NEW BEST:: SOT 64794 SOS 22868 HAS SOPS 22332 HAS SOUS 11436 HAS SOUPS 10900 WITH SCORE 10922.868
AT ITER 3599 NEW BEST:: SOT 64765 SOS 22775 HAS SOPS 22239 HAS SOUS 11378 HAS SOUPS 10842 WITH SCORE 10864.775
AT ITER 3699 NEW BEST:: SOT 64762 SOS 22770 HAS SOPS 22234 HAS SOUS 11373 HAS SOUPS 10837 WITH SCORE 10859.77
AT ITER 3708 NEW BEST:: SOT 64760 SOS 22768 HAS SOPS 22232 HAS SOUS 11373 HAS SOUPS 10837 WITH SCORE 10859.768
AT ITER 3734 NEW BEST:: SOT 64762 SOS 22769 HAS SOPS 22233 HAS SOUS 11372 HAS SOUPS 10836 WITH SCORE 10858.769
AT ITER 3795 NEW BEST:: SOT 64762 SOS 22763 HAS SOPS 22227 HAS SOUS 11366 HAS SOUPS 10830 WITH SCORE 10852.763
AT ITER 3814 NEW BEST:: SOT 64755 SOS 22755 HAS SOPS 22219 HAS SOUS 11360 HAS SOUPS 10824 WITH SCORE 10846.755
AT ITER 3818 NEW BEST:: SOT 64747 SOS 22731 HAS SOPS 22195 HAS SOUS 11344 HAS SOUPS 10808 WITH SCORE 10830.731
AT ITER 3858 NEW BEST:: SOT 64742 SOS 22674 HAS SOPS 22138 HAS SOUS 11339 HAS SOUPS 10803 WITH SCORE 10825.674
AT ITER 3865 NEW BEST:: SOT 64742 SOS 22682 HAS SOPS 22146 HAS SOUS 11335 HAS SOUPS 10799 WITH SCORE 10821.682
AT ITER 3893 NEW BEST:: SOT 64770 SOS 22730 HAS SOPS 22194 HAS SOUS 11330 HAS SOUPS 10794 WITH SCORE 10816.73
AT ITER 3897 NEW BEST:: SOT 64752 SOS 22720 HAS SOPS 22184 HAS SOUS 11317 HAS SOUPS 10781 WITH SCORE 10803.72
AT ITER 3939 NEW BEST:: SOT 64743 SOS 22681 HAS SOPS 22145 HAS SOUS 11313 HAS SOUPS 10777 WITH SCORE 10799.681
AT ITER 3950 NEW BEST:: SOT 64725 SOS 22675 HAS SOPS 22112 HAS SOUS 11306 HAS SOUPS 10743 WITH SCORE 10765.675
AT ITER 3979 NEW BEST:: SOT 64725 SOS 22671 HAS SOPS 22108 HAS SOUS 11306 HAS SOUPS 10743 WITH SCORE 10765.671
AT ITER 4030 NEW BEST:: SOT 64725 SOS 22645 HAS SOPS 22082 HAS SOUS 11254 HAS SOUPS 10691 WITH SCORE 10713.645
AT ITER 4055 NEW BEST:: SOT 64765 SOS 22685 HAS SOPS 22122 HAS SOUS 11223 HAS SOUPS 10660 WITH SCORE 10682.685
AT ITER 4085 NEW BEST:: SOT 64755 SOS 22643 HAS SOPS 22080 HAS SOUS 11203 HAS SOUPS 10640 WITH SCORE 10662.643
AT ITER 4127 NEW BEST:: SOT 64737 SOS 22625 HAS SOPS 22062 HAS SOUS 11173 HAS SOUPS 10610 WITH SCORE 10632.625
AT ITER 4174 NEW BEST:: SOT 64747 SOS 22610 HAS SOPS 22047 HAS SOUS 11168 HAS SOUPS 10605 WITH SCORE 10627.61
AT ITER 4185 NEW BEST:: SOT 64735 SOS 22586 HAS SOPS 22023 HAS SOUS 11168 HAS SOUPS 10605 WITH SCORE 10627.586
AT ITER 4193 NEW BEST:: SOT 64717 SOS 22507 HAS SOPS 21944 HAS SOUS 11135 HAS SOUPS 10572 WITH SCORE 10594.507
AT ITER 4261 NEW BEST:: SOT 64716 SOS 22506 HAS SOPS 21943 HAS SOUS 11133 HAS SOUPS 10570 WITH SCORE 10592.506
AT ITER 4373 NEW BEST:: SOT 64716 SOS 22506 HAS SOPS 21943 HAS SOUS 11131 HAS SOUPS 10568 WITH SCORE 10590.506
AT ITER 4382 NEW BEST:: SOT 64702 SOS 22450 HAS SOPS 21887 HAS SOUS 11117 HAS SOUPS 10554 WITH SCORE 10576.45
AT ITER 4413 NEW BEST:: SOT 64700 SOS 22448 HAS SOPS 21885 HAS SOUS 11115 HAS SOUPS 10552 WITH SCORE 10574.448
AT ITER 4420 NEW BEST:: SOT 64734 SOS 22475 HAS SOPS 21912 HAS SOUS 11099 HAS SOUPS 10536 WITH SCORE 10558.475
AT ITER 4482 NEW BEST:: SOT 64721 SOS 22450 HAS SOPS 21887 HAS SOUS 11091 HAS SOUPS 10528 WITH SCORE 10550.45
AT ITER 4489 NEW BEST:: SOT 64723 SOS 22438 HAS SOPS 21875 HAS SOUS 11077 HAS SOUPS 10514 WITH SCORE 10536.438
AT ITER 4490 NEW BEST:: SOT 64722 SOS 22437 HAS SOPS 21874 HAS SOUS 11075 HAS SOUPS 10512 WITH SCORE 10534.437
AT ITER 4567 NEW BEST:: SOT 64712 SOS 22399 HAS SOPS 21836 HAS SOUS 11070 HAS SOUPS 10507 WITH SCORE 10529.399
AT ITER 4589 NEW BEST:: SOT 64714 SOS 22387 HAS SOPS 21824 HAS SOUS 11066 HAS SOUPS 10503 WITH SCORE 10525.387
AT ITER 4641 NEW BEST:: SOT 64718 SOS 22415 HAS SOPS 21852 HAS SOUS 11055 HAS SOUPS 10492 WITH SCORE 10514.415
AT ITER 4643 NEW BEST:: SOT 64720 SOS 22417 HAS SOPS 21854 HAS SOUS 11053 HAS SOUPS 10490 WITH SCORE 10512.417
AT ITER 4693 NEW BEST:: SOT 64725 SOS 22412 HAS SOPS 21849 HAS SOUS 11048 HAS SOUPS 10485 WITH SCORE 10507.412
AT ITER 4708 NEW BEST:: SOT 64706 SOS 22394 HAS SOPS 21831 HAS SOUS 11020 HAS SOUPS 10457 WITH SCORE 10479.394
AT ITER 4739 NEW BEST:: SOT 64691 SOS 22383 HAS SOPS 21820 HAS SOUS 11013 HAS SOUPS 10450 WITH SCORE 10472.383
AT ITER 4774 NEW BEST:: SOT 64659 SOS 22363 HAS SOPS 21800 HAS SOUS 10977 HAS SOUPS 10414 WITH SCORE 10436.363
AT ITER 4830 NEW BEST:: SOT 64658 SOS 22362 HAS SOPS 21799 HAS SOUS 10976 HAS SOUPS 10413 WITH SCORE 10435.362
AT ITER 4973 NEW BEST:: SOT 64658 SOS 22342 HAS SOPS 21779 HAS SOUS 10975 HAS SOUPS 10412 WITH SCORE 10434.342
AT ITER 4982 NEW BEST:: SOT 64656 SOS 22338 HAS SOPS 21775 HAS SOUS 10967 HAS SOUPS 10404 WITH SCORE 10426.338
AT ITER 4988 NEW BEST:: SOT 64677 SOS 22366 HAS SOPS 21803 HAS SOUS 10960 HAS SOUPS 10397 WITH SCORE 10419.366
AT ITER 5015 NEW BEST:: SOT 64677 SOS 22366 HAS SOPS 21803 HAS SOUS 10956 HAS SOUPS 10393 WITH SCORE 10415.366
AT ITER 5073 NEW BEST:: SOT 64672 SOS 22363 HAS SOPS 21800 HAS SOUS 10950 HAS SOUPS 10387 WITH SCORE 10409.363
AT ITER 5141 NEW BEST:: SOT 64675 SOS 22324 HAS SOPS 21761 HAS SOUS 10950 HAS SOUPS 10387 WITH SCORE 10409.324
AT ITER 5144 NEW BEST:: SOT 64672 SOS 22307 HAS SOPS 21733 HAS SOUS 10955 HAS SOUPS 10381 WITH SCORE 10403.307
AT ITER 5158 NEW BEST:: SOT 64670 SOS 22331 HAS SOPS 21757 HAS SOUS 10951 HAS SOUPS 10377 WITH SCORE 10399.331
AT ITER 5181 NEW BEST:: SOT 64656 SOS 22317 HAS SOPS 21743 HAS SOUS 10930 HAS SOUPS 10356 WITH SCORE 10378.317
AT ITER 5184 NEW BEST:: SOT 64647 SOS 22308 HAS SOPS 21734 HAS SOUS 10925 HAS SOUPS 10351 WITH SCORE 10373.308
AT ITER 5187 NEW BEST:: SOT 64629 SOS 22632 HAS SOPS 22058 HAS SOUS 10921 HAS SOUPS 10347 WITH SCORE 10369.632
AT ITER 5198 NEW BEST:: SOT 64627 SOS 22626 HAS SOPS 22052 HAS SOUS 10915 HAS SOUPS 10341 WITH SCORE 10363.626
AT ITER 5243 NEW BEST:: SOT 64611 SOS 22616 HAS SOPS 22042 HAS SOUS 10911 HAS SOUPS 10337 WITH SCORE 10359.616
AT ITER 5261 NEW BEST:: SOT 64607 SOS 22609 HAS SOPS 22035 HAS SOUS 10905 HAS SOUPS 10331 WITH SCORE 10353.609
AT ITER 5271 NEW BEST:: SOT 64598 SOS 22576 HAS SOPS 22002 HAS SOUS 10896 HAS SOUPS 10322 WITH SCORE 10344.576
AT ITER 5292 NEW BEST:: SOT 64590 SOS 22583 HAS SOPS 22009 HAS SOUS 10895 HAS SOUPS 10321 WITH SCORE 10343.583
AT ITER 5354 NEW BEST:: SOT 64606 SOS 22597 HAS SOPS 22023 HAS SOUS 10889 HAS SOUPS 10315 WITH SCORE 10337.597
AT ITER 5369 NEW BEST:: SOT 64606 SOS 22581 HAS SOPS 22007 HAS SOUS 10885 HAS SOUPS 10311 WITH SCORE 10333.581
AT ITER 5401 NEW BEST:: SOT 64606 SOS 22575 HAS SOPS 22001 HAS SOUS 10873 HAS SOUPS 10299 WITH SCORE 10321.575
AT ITER 5446 NEW BEST:: SOT 64602 SOS 22571 HAS SOPS 21997 HAS SOUS 10872 HAS SOUPS 10298 WITH SCORE 10320.571
AT ITER 5480 NEW BEST:: SOT 64598 SOS 22545 HAS SOPS 21971 HAS SOUS 10868 HAS SOUPS 10294 WITH SCORE 10316.545
AT ITER 5488 NEW BEST:: SOT 64595 SOS 22545 HAS SOPS 21971 HAS SOUS 10867 HAS SOUPS 10293 WITH SCORE 10315.545
AT ITER 5490 NEW BEST:: SOT 64593 SOS 22544 HAS SOPS 21970 HAS SOUS 10866 HAS SOUPS 10292 WITH SCORE 10314.544
AT ITER 5511 NEW BEST:: SOT 64581 SOS 22544 HAS SOPS 21970 HAS SOUS 10854 HAS SOUPS 10280 WITH SCORE 10302.544
AT ITER 5535 NEW BEST:: SOT 64562 SOS 22536 HAS SOPS 21962 HAS SOUS 10847 HAS SOUPS 10273 WITH SCORE 10295.536
AT ITER 5537 NEW BEST:: SOT 64582 SOS 22519 HAS SOPS 21945 HAS SOUS 10839 HAS SOUPS 10265 WITH SCORE 10287.519
AT ITER 5555 NEW BEST:: SOT 64580 SOS 22519 HAS SOPS 21945 HAS SOUS 10837 HAS SOUPS 10263 WITH SCORE 10285.519
AT ITER 5598 NEW BEST:: SOT 64578 SOS 22501 HAS SOPS 21927 HAS SOUS 10820 HAS SOUPS 10246 WITH SCORE 10268.501
AT ITER 5606 NEW BEST:: SOT 64660 SOS 22577 HAS SOPS 22003 HAS SOUS 10795 HAS SOUPS 10221 WITH SCORE 10243.577
AT ITER 5626 NEW BEST:: SOT 64631 SOS 22623 HAS SOPS 22049 HAS SOUS 10792 HAS SOUPS 10218 WITH SCORE 10240.623
AT ITER 5664 NEW BEST:: SOT 64608 SOS 22609 HAS SOPS 22035 HAS SOUS 10762 HAS SOUPS 10188 WITH SCORE 10210.609
AT ITER 5691 NEW BEST:: SOT 64608 SOS 22605 HAS SOPS 22031 HAS SOUS 10762 HAS SOUPS 10188 WITH SCORE 10210.605
AT ITER 5725 NEW BEST:: SOT 64610 SOS 22604 HAS SOPS 22030 HAS SOUS 10762 HAS SOUPS 10188 WITH SCORE 10210.604
AT ITER 5777 NEW BEST:: SOT 64586 SOS 22556 HAS SOPS 21982 HAS SOUS 10738 HAS SOUPS 10164 WITH SCORE 10186.556
AT ITER 5790 NEW BEST:: SOT 64578 SOS 22528 HAS SOPS 21954 HAS SOUS 10718 HAS SOUPS 10144 WITH SCORE 10166.528
AT ITER 5813 NEW BEST:: SOT 64568 SOS 22499 HAS SOPS 21925 HAS SOUS 10709 HAS SOUPS 10135 WITH SCORE 10157.499
AT ITER 5822 NEW BEST:: SOT 64566 SOS 22491 HAS SOPS 21917 HAS SOUS 10705 HAS SOUPS 10131 WITH SCORE 10153.491
AT ITER 5845 NEW BEST:: SOT 64565 SOS 22487 HAS SOPS 21913 HAS SOUS 10704 HAS SOUPS 10130 WITH SCORE 10152.487
AT ITER 5884 NEW BEST:: SOT 64567 SOS 22486 HAS SOPS 21912 HAS SOUS 10703 HAS SOUPS 10129 WITH SCORE 10151.486
AT ITER 5903 NEW BEST:: SOT 64570 SOS 22481 HAS SOPS 21907 HAS SOUS 10703 HAS SOUPS 10129 WITH SCORE 10151.481
AT ITER 5951 NEW BEST:: SOT 64558 SOS 22469 HAS SOPS 21895 HAS SOUS 10697 HAS SOUPS 10123 WITH SCORE 10145.469
AT ITER 5967 NEW BEST:: SOT 64576 SOS 22484 HAS SOPS 21910 HAS SOUS 10687 HAS SOUPS 10113 WITH SCORE 10135.484
AT ITER 6008 NEW BEST:: SOT 64576 SOS 22479 HAS SOPS 21913 HAS SOUS 10676 HAS SOUPS 10110 WITH SCORE 10132.479
AT ITER 6121 NEW BEST:: SOT 64574 SOS 22465 HAS SOPS 21899 HAS SOUS 10671 HAS SOUPS 10105 WITH SCORE 10127.465
AT ITER 6144 NEW BEST:: SOT 64573 SOS 22464 HAS SOPS 21898 HAS SOUS 10669 HAS SOUPS 10103 WITH SCORE 10125.464
AT ITER 6165 NEW BEST:: SOT 64537 SOS 22422 HAS SOPS 21856 HAS SOUS 10645 HAS SOUPS 10079 WITH SCORE 10101.422
AT ITER 6218 NEW BEST:: SOT 64540 SOS 22416 HAS SOPS 21850 HAS SOUS 10645 HAS SOUPS 10079 WITH SCORE 10101.416
AT ITER 6265 NEW BEST:: SOT 64550 SOS 22413 HAS SOPS 21847 HAS SOUS 10639 HAS SOUPS 10073 WITH SCORE 10095.413
AT ITER 6292 NEW BEST:: SOT 64547 SOS 22403 HAS SOPS 21837 HAS SOUS 10617 HAS SOUPS 10051 WITH SCORE 10073.403
AT ITER 6338 NEW BEST:: SOT 64532 SOS 22382 HAS SOPS 21816 HAS SOUS 10611 HAS SOUPS 10045 WITH SCORE 10067.382
AT ITER 6378 NEW BEST:: SOT 64538 SOS 22316 HAS SOPS 21750 HAS SOUS 10586 HAS SOUPS 10020 WITH SCORE 10042.316
AT ITER 6422 NEW BEST:: SOT 64536 SOS 22312 HAS SOPS 21746 HAS SOUS 10576 HAS SOUPS 10010 WITH SCORE 10032.312
AT ITER 6474 NEW BEST:: SOT 64536 SOS 22309 HAS SOPS 21743 HAS SOUS 10576 HAS SOUPS 10010 WITH SCORE 10032.309
AT ITER 6552 NEW BEST:: SOT 64429 SOS 22256 HAS SOPS 21690 HAS SOUS 10505 HAS SOUPS 9939 WITH SCORE 9961.256
AT ITER 6564 NEW BEST:: SOT 64429 SOS 22252 HAS SOPS 21686 HAS SOUS 10501 HAS SOUPS 9935 WITH SCORE 9957.252
AT ITER 6658 NEW BEST:: SOT 64429 SOS 22251 HAS SOPS 21685 HAS SOUS 10489 HAS SOUPS 9923 WITH SCORE 9945.251
AT ITER 6660 NEW BEST:: SOT 64427 SOS 22249 HAS SOPS 21683 HAS SOUS 10485 HAS SOUPS 9919 WITH SCORE 9941.249
AT ITER 6671 NEW BEST:: SOT 64434 SOS 22268 HAS SOPS 21702 HAS SOUS 10481 HAS SOUPS 9915 WITH SCORE 9937.268
AT ITER 6728 NEW BEST:: SOT 64417 SOS 22200 HAS SOPS 21634 HAS SOUS 10472 HAS SOUPS 9906 WITH SCORE 9928.2
AT ITER 6758 NEW BEST:: SOT 64416 SOS 22211 HAS SOPS 21645 HAS SOUS 10471 HAS SOUPS 9905 WITH SCORE 9927.211
AT ITER 6790 NEW BEST:: SOT 64396 SOS 22167 HAS SOPS 21601 HAS SOUS 10439 HAS SOUPS 9873 WITH SCORE 9895.167
AT ITER 6843 NEW BEST:: SOT 64383 SOS 22126 HAS SOPS 21560 HAS SOUS 10411 HAS SOUPS 9845 WITH SCORE 9867.126
AT ITER 6887 NEW BEST:: SOT 64383 SOS 22126 HAS SOPS 21560 HAS SOUS 10409 HAS SOUPS 9843 WITH SCORE 9865.126
AT ITER 6915 NEW BEST:: SOT 64380 SOS 22109 HAS SOPS 21543 HAS SOUS 10399 HAS SOUPS 9833 WITH SCORE 9855.109
AT ITER 6916 NEW BEST:: SOT 64388 SOS 22097 HAS SOPS 21531 HAS SOUS 10396 HAS SOUPS 9830 WITH SCORE 9852.097
AT ITER 6929 NEW BEST:: SOT 64383 SOS 22093 HAS SOPS 21527 HAS SOUS 10391 HAS SOUPS 9825 WITH SCORE 9847.093
AT ITER 6930 NEW BEST:: SOT 64375 SOS 22054 HAS SOPS 21503 HAS SOUS 10360 HAS SOUPS 9809 WITH SCORE 9831.054
AT ITER 6940 NEW BEST:: SOT 64359 SOS 22024 HAS SOPS 21473 HAS SOUS 10346 HAS SOUPS 9795 WITH SCORE 9817.024
AT ITER 6962 NEW BEST:: SOT 64365 SOS 22030 HAS SOPS 21479 HAS SOUS 10343 HAS SOUPS 9792 WITH SCORE 9814.03
AT ITER 6983 NEW BEST:: SOT 64360 SOS 21997 HAS SOPS 21446 HAS SOUS 10312 HAS SOUPS 9761 WITH SCORE 9782.997
AT ITER 7020 NEW BEST:: SOT 64349 SOS 21979 HAS SOPS 21428 HAS SOUS 10309 HAS SOUPS 9758 WITH SCORE 9779.979
AT ITER 7058 NEW BEST:: SOT 64349 SOS 21960 HAS SOPS 21409 HAS SOUS 10302 HAS SOUPS 9751 WITH SCORE 9772.96
AT ITER 7095 NEW BEST:: SOT 64349 SOS 21960 HAS SOPS 21409 HAS SOUS 10297 HAS SOUPS 9746 WITH SCORE 9767.96
AT ITER 7114 NEW BEST:: SOT 64347 SOS 21959 HAS SOPS 21408 HAS SOUS 10295 HAS SOUPS 9744 WITH SCORE 9765.959
AT ITER 7128 NEW BEST:: SOT 64347 SOS 21970 HAS SOPS 21419 HAS SOUS 10287 HAS SOUPS 9736 WITH SCORE 9757.97
AT ITER 7157 NEW BEST:: SOT 64356 SOS 21988 HAS SOPS 21437 HAS SOUS 10283 HAS SOUPS 9732 WITH SCORE 9753.988
AT ITER 7170 NEW BEST:: SOT 64323 SOS 21973 HAS SOPS 21422 HAS SOUS 10247 HAS SOUPS 9696 WITH SCORE 9717.973
AT ITER 7195 NEW BEST:: SOT 64323 SOS 21963 HAS SOPS 21417 HAS SOUS 10242 HAS SOUPS 9696 WITH SCORE 9717.963
AT ITER 7199 NEW BEST:: SOT 64318 SOS 21961 HAS SOPS 21415 HAS SOUS 10236 HAS SOUPS 9690 WITH SCORE 9711.961
AT ITER 7332 NEW BEST:: SOT 64318 SOS 21961 HAS SOPS 21416 HAS SOUS 10234 HAS SOUPS 9689 WITH SCORE 9710.961
AT ITER 7333 NEW BEST:: SOT 64304 SOS 21952 HAS SOPS 21407 HAS SOUS 10224 HAS SOUPS 9679 WITH SCORE 9700.952
AT ITER 7346 NEW BEST:: SOT 64302 SOS 21950 HAS SOPS 21405 HAS SOUS 10222 HAS SOUPS 9677 WITH SCORE 9698.95
AT ITER 7358 NEW BEST:: SOT 64303 SOS 21897 HAS SOPS 21352 HAS SOUS 10205 HAS SOUPS 9660 WITH SCORE 9681.897
AT ITER 7446 NEW BEST:: SOT 64306 SOS 21896 HAS SOPS 21351 HAS SOUS 10198 HAS SOUPS 9653 WITH SCORE 9674.896
AT ITER 7451 NEW BEST:: SOT 64267 SOS 21866 HAS SOPS 21321 HAS SOUS 10182 HAS SOUPS 9637 WITH SCORE 9658.866
AT ITER 7522 NEW BEST:: SOT 64267 SOS 21839 HAS SOPS 21294 HAS SOUS 10182 HAS SOUPS 9637 WITH SCORE 9658.839
AT ITER 7523 NEW BEST:: SOT 64257 SOS 21830 HAS SOPS 21285 HAS SOUS 10174 HAS SOUPS 9629 WITH SCORE 9650.83
AT ITER 7560 NEW BEST:: SOT 64256 SOS 21851 HAS SOPS 21306 HAS SOUS 10173 HAS SOUPS 9628 WITH SCORE 9649.851
AT ITER 7587 NEW BEST:: SOT 64246 SOS 21850 HAS SOPS 21305 HAS SOUS 10159 HAS SOUPS 9614 WITH SCORE 9635.85
AT ITER 7635 NEW BEST:: SOT 64245 SOS 21841 HAS SOPS 21296 HAS SOUS 10158 HAS SOUPS 9613 WITH SCORE 9634.841
AT ITER 7636 NEW BEST:: SOT 64243 SOS 21810 HAS SOPS 21265 HAS SOUS 10153 HAS SOUPS 9608 WITH SCORE 9629.81
AT ITER 7672 NEW BEST:: SOT 64243 SOS 21797 HAS SOPS 21252 HAS SOUS 10140 HAS SOUPS 9595 WITH SCORE 9616.797
AT ITER 7691 NEW BEST:: SOT 64243 SOS 21797 HAS SOPS 21252 HAS SOUS 10138 HAS SOUPS 9593 WITH SCORE 9614.797
AT ITER 7785 NEW BEST:: SOT 64239 SOS 21802 HAS SOPS 21257 HAS SOUS 10136 HAS SOUPS 9591 WITH SCORE 9612.802
AT ITER 7812 NEW BEST:: SOT 64233 SOS 21782 HAS SOPS 21237 HAS SOUS 10132 HAS SOUPS 9587 WITH SCORE 9608.782
AT ITER 7820 NEW BEST:: SOT 64229 SOS 21779 HAS SOPS 21234 HAS SOUS 10131 HAS SOUPS 9586 WITH SCORE 9607.779
AT ITER 7821 NEW BEST:: SOT 64141 SOS 21653 HAS SOPS 21108 HAS SOUS 10123 HAS SOUPS 9578 WITH SCORE 9599.653
AT ITER 7874 NEW BEST:: SOT 64127 SOS 21653 HAS SOPS 21108 HAS SOUS 10118 HAS SOUPS 9573 WITH SCORE 9594.653
AT ITER 7958 NEW BEST:: SOT 64123 SOS 21645 HAS SOPS 21100 HAS SOUS 10116 HAS SOUPS 9571 WITH SCORE 9592.645
AT ITER 7979 NEW BEST:: SOT 64106 SOS 21608 HAS SOPS 21063 HAS SOUS 10093 HAS SOUPS 9548 WITH SCORE 9569.608
AT ITER 8007 NEW BEST:: SOT 64096 SOS 21602 HAS SOPS 21057 HAS SOUS 10083 HAS SOUPS 9538 WITH SCORE 9559.602
AT ITER 8043 NEW BEST:: SOT 64100 SOS 21603 HAS SOPS 21058 HAS SOUS 10069 HAS SOUPS 9524 WITH SCORE 9545.603
AT ITER 8048 NEW BEST:: SOT 64100 SOS 21603 HAS SOPS 21058 HAS SOUS 10068 HAS SOUPS 9523 WITH SCORE 9544.603
AT ITER 8071 NEW BEST:: SOT 64103 SOS 21594 HAS SOPS 21049 HAS SOUS 10068 HAS SOUPS 9523 WITH SCORE 9544.594
AT ITER 8243 NEW BEST:: SOT 64097 SOS 21591 HAS SOPS 21046 HAS SOUS 10068 HAS SOUPS 9523 WITH SCORE 9544.591
AT ITER 8270 NEW BEST:: SOT 64095 SOS 21589 HAS SOPS 21044 HAS SOUS 10066 HAS SOUPS 9521 WITH SCORE 9542.589
AT ITER 8338 NEW BEST:: SOT 64085 SOS 21571 HAS SOPS 21026 HAS SOUS 10054 HAS SOUPS 9509 WITH SCORE 9530.571
AT ITER 8457 NEW BEST:: SOT 64066 SOS 21576 HAS SOPS 21031 HAS SOUS 10053 HAS SOUPS 9508 WITH SCORE 9529.576
AT ITER 8481 NEW BEST:: SOT 64065 SOS 21572 HAS SOPS 21027 HAS SOUS 10048 HAS SOUPS 9503 WITH SCORE 9524.572
AT ITER 8496 NEW BEST:: SOT 64055 SOS 21562 HAS SOPS 21017 HAS SOUS 10048 HAS SOUPS 9503 WITH SCORE 9524.562
AT ITER 8510 NEW BEST:: SOT 64056 SOS 21564 HAS SOPS 21019 HAS SOUS 10046 HAS SOUPS 9501 WITH SCORE 9522.564
AT ITER 8594 NEW BEST:: SOT 64069 SOS 21660 HAS SOPS 21080 HAS SOUS 10072 HAS SOUPS 9492 WITH SCORE 9513.66
AT ITER 8606 NEW BEST:: SOT 64088 SOS 21683 HAS SOPS 21103 HAS SOUS 10068 HAS SOUPS 9488 WITH SCORE 9509.683
AT ITER 8616 NEW BEST:: SOT 64073 SOS 21668 HAS SOPS 21088 HAS SOUS 10063 HAS SOUPS 9483 WITH SCORE 9504.668
AT ITER 8653 NEW BEST:: SOT 64073 SOS 21528 HAS SOPS 20948 HAS SOUS 10060 HAS SOUPS 9480 WITH SCORE 9501.528
AT ITER 8727 NEW BEST:: SOT 64068 SOS 21508 HAS SOPS 20928 HAS SOUS 10055 HAS SOUPS 9475 WITH SCORE 9496.508
AT ITER 8831 NEW BEST:: SOT 64056 SOS 21460 HAS SOPS 20880 HAS SOUS 10043 HAS SOUPS 9463 WITH SCORE 9484.46
AT ITER 8876 NEW BEST:: SOT 64046 SOS 21440 HAS SOPS 20860 HAS SOUS 10039 HAS SOUPS 9459 WITH SCORE 9480.44
AT ITER 8912 NEW BEST:: SOT 64043 SOS 21437 HAS SOPS 20857 HAS SOUS 10039 HAS SOUPS 9459 WITH SCORE 9480.437
AT ITER 8950 NEW BEST:: SOT 64038 SOS 21433 HAS SOPS 20853 HAS SOUS 10039 HAS SOUPS 9459 WITH SCORE 9480.433
AT ITER 9151 NEW BEST:: SOT 64007 SOS 21490 HAS SOPS 20910 HAS SOUS 10028 HAS SOUPS 9448 WITH SCORE 9469.49
AT ITER 9204 NEW BEST:: SOT 64000 SOS 21490 HAS SOPS 20910 HAS SOUS 10027 HAS SOUPS 9447 WITH SCORE 9468.49
AT ITER 9237 NEW BEST:: SOT 63990 SOS 21440 HAS SOPS 20860 HAS SOUS 10017 HAS SOUPS 9437 WITH SCORE 9458.44
AT ITER 9267 NEW BEST:: SOT 63990 SOS 21373 HAS SOPS 20793 HAS SOUS 9976 HAS SOUPS 9396 WITH SCORE 9417.373
AT ITER 9274 NEW BEST:: SOT 63988 SOS 21371 HAS SOPS 20791 HAS SOUS 9976 HAS SOUPS 9396 WITH SCORE 9417.371
AT ITER 9347 NEW BEST:: SOT 63988 SOS 21372 HAS SOPS 20792 HAS SOUS 9973 HAS SOUPS 9393 WITH SCORE 9414.372
AT ITER 9481 NEW BEST:: SOT 63991 SOS 21366 HAS SOPS 20786 HAS SOUS 9971 HAS SOUPS 9391 WITH SCORE 9412.366
AT ITER 9487 NEW BEST:: SOT 64020 SOS 21314 HAS SOPS 20734 HAS SOUS 9969 HAS SOUPS 9389 WITH SCORE 9410.314
AT ITER 9522 NEW BEST:: SOT 64015 SOS 21289 HAS SOPS 20709 HAS SOUS 9964 HAS SOUPS 9384 WITH SCORE 9405.289
AT ITER 9533 NEW BEST:: SOT 64007 SOS 21280 HAS SOPS 20700 HAS SOUS 9961 HAS SOUPS 9381 WITH SCORE 9402.28
AT ITER 9534 NEW BEST:: SOT 64009 SOS 21272 HAS SOPS 20692 HAS SOUS 9957 HAS SOUPS 9377 WITH SCORE 9398.272
AT ITER 9564 NEW BEST:: SOT 63999 SOS 21238 HAS SOPS 20658 HAS SOUS 9933 HAS SOUPS 9353 WITH SCORE 9374.238
AT ITER 9728 NEW BEST:: SOT 63986 SOS 21186 HAS SOPS 20606 HAS SOUS 9920 HAS SOUPS 9340 WITH SCORE 9361.186
AT ITER 9781 NEW BEST:: SOT 63988 SOS 21186 HAS SOPS 20606 HAS SOUS 9918 HAS SOUPS 9338 WITH SCORE 9359.186
AT ITER 9784 NEW BEST:: SOT 63987 SOS 21181 HAS SOPS 20601 HAS SOUS 9916 HAS SOUPS 9336 WITH SCORE 9357.181
AT ITER 9891 NEW BEST:: SOT 63985 SOS 21177 HAS SOPS 20595 HAS SOUS 9916 HAS SOUPS 9334 WITH SCORE 9355.177
AT ITER 9913 NEW BEST:: SOT 63983 SOS 21203 HAS SOPS 20621 HAS SOUS 9900 HAS SOUPS 9318 WITH SCORE 9339.203
AT ITER 9934 NEW BEST:: SOT 63984 SOS 21202 HAS SOPS 20620 HAS SOUS 9900 HAS SOUPS 9318 WITH SCORE 9339.202
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 2809060 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16153964 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiwaySync-PT-none"
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 MultiwaySync-PT-none, 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 r259-smll-167863533900008"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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