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.r163-tall-167838847900544.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 FlexibleBarrier-PT-16a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r163-tall-167838847900544
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 648K
-rw-r--r-- 1 mcc users 7.6K Feb 25 13:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 25 13:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 25 12:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 25 12:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.1K Feb 25 13:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 91K Feb 25 13:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 25 13:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 25 13:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 214K 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 1678454487647

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=FlexibleBarrier-PT-16a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 16a
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: 195 places, 724 transitions, 3489 arcs.
AT ITER 0 NEW BEST:: SOT 123777 SOS 105472 HAS SOPS 105472 HAS SOUS 60122 HAS SOUPS 60122 WITH SCORE 60227.472
AT ITER 3 NEW BEST:: SOT 123398 SOS 105071 HAS SOPS 105071 HAS SOUS 57418 HAS SOUPS 57418 WITH SCORE 57523.071
AT ITER 4 NEW BEST:: SOT 123161 SOS 104679 HAS SOPS 104679 HAS SOUS 57189 HAS SOUPS 57189 WITH SCORE 57293.679
AT ITER 6 NEW BEST:: SOT 123204 SOS 104518 HAS SOPS 104518 HAS SOUS 55594 HAS SOUPS 55594 WITH SCORE 55698.518
AT ITER 8 NEW BEST:: SOT 123204 SOS 104518 HAS SOPS 104518 HAS SOUS 55529 HAS SOUPS 55529 WITH SCORE 55633.518
AT ITER 12 NEW BEST:: SOT 123268 SOS 104115 HAS SOPS 104115 HAS SOUS 53448 HAS SOUPS 53448 WITH SCORE 53552.115
AT ITER 14 NEW BEST:: SOT 122774 SOS 103621 HAS SOPS 103621 HAS SOUS 53183 HAS SOUPS 53183 WITH SCORE 53286.621
AT ITER 16 NEW BEST:: SOT 122636 SOS 103408 HAS SOPS 103408 HAS SOUS 53127 HAS SOUPS 53127 WITH SCORE 53230.408
AT ITER 18 NEW BEST:: SOT 122588 SOS 103312 HAS SOPS 103312 HAS SOUS 53079 HAS SOUPS 53079 WITH SCORE 53182.312
AT ITER 20 NEW BEST:: SOT 122600 SOS 101892 HAS SOPS 101892 HAS SOUS 49879 HAS SOUPS 49879 WITH SCORE 49980.892
AT ITER 21 NEW BEST:: SOT 122780 SOS 100572 HAS SOPS 100572 HAS SOUS 47976 HAS SOUPS 47976 WITH SCORE 48076.572
AT ITER 24 NEW BEST:: SOT 122461 SOS 100110 HAS SOPS 100110 HAS SOUS 47634 HAS SOUPS 47634 WITH SCORE 47734.11
AT ITER 26 NEW BEST:: SOT 122492 SOS 100172 HAS SOPS 100172 HAS SOUS 47631 HAS SOUPS 47631 WITH SCORE 47731.172
AT ITER 29 NEW BEST:: SOT 122526 SOS 100138 HAS SOPS 100138 HAS SOUS 47597 HAS SOUPS 47597 WITH SCORE 47697.138
AT ITER 30 NEW BEST:: SOT 122526 SOS 100108 HAS SOPS 100108 HAS SOUS 47579 HAS SOUPS 47579 WITH SCORE 47679.108
AT ITER 31 NEW BEST:: SOT 122607 SOS 99811 HAS SOPS 99811 HAS SOUS 47425 HAS SOUPS 47425 WITH SCORE 47524.811
AT ITER 36 NEW BEST:: SOT 122674 SOS 99747 HAS SOPS 99747 HAS SOUS 47294 HAS SOUPS 47294 WITH SCORE 47393.747
AT ITER 38 NEW BEST:: SOT 122723 SOS 99802 HAS SOPS 99802 HAS SOUS 47293 HAS SOUPS 47293 WITH SCORE 47392.802
AT ITER 43 NEW BEST:: SOT 122183 SOS 99211 HAS SOPS 99211 HAS SOUS 47097 HAS SOUPS 47097 WITH SCORE 47196.211
AT ITER 47 NEW BEST:: SOT 122236 SOS 99176 HAS SOPS 99176 HAS SOUS 47067 HAS SOUPS 47067 WITH SCORE 47166.176
AT ITER 49 NEW BEST:: SOT 122332 SOS 99367 HAS SOPS 99367 HAS SOUS 47064 HAS SOUPS 47064 WITH SCORE 47163.367
AT ITER 51 NEW BEST:: SOT 122268 SOS 99036 HAS SOPS 99036 HAS SOUS 46953 HAS SOUPS 46953 WITH SCORE 47052.036
AT ITER 52 NEW BEST:: SOT 121799 SOS 98533 HAS SOPS 98533 HAS SOUS 46726 HAS SOUPS 46726 WITH SCORE 46824.533
AT ITER 53 NEW BEST:: SOT 121826 SOS 97552 HAS SOPS 97552 HAS SOUS 45896 HAS SOUPS 45896 WITH SCORE 45993.552
AT ITER 54 NEW BEST:: SOT 121808 SOS 97534 HAS SOPS 97534 HAS SOUS 45878 HAS SOUPS 45878 WITH SCORE 45975.534
AT ITER 56 NEW BEST:: SOT 121805 SOS 97450 HAS SOPS 97450 HAS SOUS 45875 HAS SOUPS 45875 WITH SCORE 45972.45
AT ITER 57 NEW BEST:: SOT 118509 SOS 97482 HAS SOPS 94060 HAS SOUS 42970 HAS SOUPS 42844 WITH SCORE 42941.482
AT ITER 60 NEW BEST:: SOT 118532 SOS 97344 HAS SOPS 93922 HAS SOUS 42418 HAS SOUPS 42292 WITH SCORE 42389.344
AT ITER 61 NEW BEST:: SOT 118539 SOS 97350 HAS SOPS 93920 HAS SOUS 42416 HAS SOUPS 42290 WITH SCORE 42387.35
AT ITER 65 NEW BEST:: SOT 118558 SOS 97303 HAS SOPS 93873 HAS SOUS 42207 HAS SOUPS 42081 WITH SCORE 42178.303
AT ITER 66 NEW BEST:: SOT 118629 SOS 97369 HAS SOPS 93863 HAS SOUS 42196 HAS SOUPS 42070 WITH SCORE 42167.369
AT ITER 67 NEW BEST:: SOT 118744 SOS 97582 HAS SOPS 94076 HAS SOUS 42165 HAS SOUPS 42039 WITH SCORE 42136.582
AT ITER 68 NEW BEST:: SOT 118797 SOS 97688 HAS SOPS 94124 HAS SOUS 42156 HAS SOUPS 42030 WITH SCORE 42127.688
AT ITER 69 NEW BEST:: SOT 118665 SOS 97428 HAS SOPS 93864 HAS SOUS 42026 HAS SOUPS 41900 WITH SCORE 41997.428
AT ITER 73 NEW BEST:: SOT 118677 SOS 95076 HAS SOPS 91583 HAS SOUS 40209 HAS SOUPS 40083 WITH SCORE 40178.076
AT ITER 74 NEW BEST:: SOT 118562 SOS 94719 HAS SOPS 91181 HAS SOUS 39854 HAS SOUPS 39724 WITH SCORE 39818.719
AT ITER 77 NEW BEST:: SOT 118562 SOS 94640 HAS SOPS 91181 HAS SOUS 39854 HAS SOUPS 39724 WITH SCORE 39818.64
AT ITER 82 NEW BEST:: SOT 118459 SOS 94537 HAS SOPS 91078 HAS SOUS 39823 HAS SOUPS 39693 WITH SCORE 39787.537
AT ITER 94 NEW BEST:: SOT 118544 SOS 92588 HAS SOPS 89202 HAS SOUS 38370 HAS SOUPS 38240 WITH SCORE 38332.588
AT ITER 95 NEW BEST:: SOT 110750 SOS 92352 HAS SOPS 81125 HAS SOUS 35519 HAS SOUPS 35247 WITH SCORE 35339.352
AT ITER 97 NEW BEST:: SOT 111649 SOS 93221 HAS SOPS 81822 HAS SOUS 35085 HAS SOUPS 34813 WITH SCORE 34906.221
AT ITER 99 NEW BEST:: SOT 111661 SOS 93213 HAS SOPS 81814 HAS SOUS 35077 HAS SOUPS 34805 WITH SCORE 34898.213
AT ITER 100 NEW BEST:: SOT 111734 SOS 90482 HAS SOPS 81949 HAS SOUS 34863 HAS SOUPS 34613 WITH SCORE 34703.482
AT ITER 101 NEW BEST:: SOT 111698 SOS 89699 HAS SOPS 80211 HAS SOUS 33524 HAS SOUPS 33274 WITH SCORE 33363.699
AT ITER 108 NEW BEST:: SOT 111710 SOS 89711 HAS SOPS 80185 HAS SOUS 33248 HAS SOUPS 32998 WITH SCORE 33087.711
AT ITER 109 NEW BEST:: SOT 111661 SOS 89662 HAS SOPS 80038 HAS SOUS 33150 HAS SOUPS 32900 WITH SCORE 32989.662
AT ITER 110 NEW BEST:: SOT 111652 SOS 89636 HAS SOPS 80012 HAS SOUS 33147 HAS SOUPS 32897 WITH SCORE 32986.636
AT ITER 116 NEW BEST:: SOT 110775 SOS 88788 HAS SOPS 79139 HAS SOUS 32742 HAS SOUPS 32479 WITH SCORE 32567.788
AT ITER 120 NEW BEST:: SOT 110635 SOS 88678 HAS SOPS 78934 HAS SOUS 32582 HAS SOUPS 32319 WITH SCORE 32407.678
AT ITER 124 NEW BEST:: SOT 110598 SOS 88567 HAS SOPS 78823 HAS SOUS 32508 HAS SOUPS 32245 WITH SCORE 32333.567
AT ITER 126 NEW BEST:: SOT 110597 SOS 86997 HAS SOPS 76327 HAS SOUS 31556 HAS SOUPS 31293 WITH SCORE 31379.997
AT ITER 129 NEW BEST:: SOT 110622 SOS 87009 HAS SOPS 76348 HAS SOUS 31550 HAS SOUPS 31287 WITH SCORE 31374.009
AT ITER 137 NEW BEST:: SOT 110642 SOS 86935 HAS SOPS 76202 HAS SOUS 31435 HAS SOUPS 31172 WITH SCORE 31258.935
AT ITER 139 NEW BEST:: SOT 110646 SOS 86883 HAS SOPS 76148 HAS SOUS 31392 HAS SOUPS 31129 WITH SCORE 31215.883
AT ITER 145 NEW BEST:: SOT 110646 SOS 86882 HAS SOPS 76147 HAS SOUS 31392 HAS SOUPS 31129 WITH SCORE 31215.882
AT ITER 146 NEW BEST:: SOT 110632 SOS 86854 HAS SOPS 76112 HAS SOUS 31364 HAS SOUPS 31101 WITH SCORE 31187.854
AT ITER 148 NEW BEST:: SOT 110142 SOS 86364 HAS SOPS 75622 HAS SOUS 31130 HAS SOUPS 30867 WITH SCORE 30953.364
AT ITER 151 NEW BEST:: SOT 110140 SOS 86360 HAS SOPS 75618 HAS SOUS 31126 HAS SOUPS 30863 WITH SCORE 30949.36
AT ITER 156 NEW BEST:: SOT 110899 SOS 85048 HAS SOPS 72375 HAS SOUS 29602 HAS SOUPS 29339 WITH SCORE 29424.048
AT ITER 159 NEW BEST:: SOT 109505 SOS 83654 HAS SOPS 70981 HAS SOUS 28837 HAS SOUPS 28574 WITH SCORE 28657.654
AT ITER 160 NEW BEST:: SOT 109498 SOS 83611 HAS SOPS 70929 HAS SOUS 28757 HAS SOUPS 28494 WITH SCORE 28577.611
AT ITER 162 NEW BEST:: SOT 108072 SOS 82185 HAS SOPS 69503 HAS SOUS 28059 HAS SOUPS 27796 WITH SCORE 27878.185
AT ITER 165 NEW BEST:: SOT 108068 SOS 82129 HAS SOPS 69445 HAS SOUS 28003 HAS SOUPS 27740 WITH SCORE 27822.129
AT ITER 167 NEW BEST:: SOT 108041 SOS 82075 HAS SOPS 69377 HAS SOUS 27962 HAS SOUPS 27699 WITH SCORE 27781.075
AT ITER 169 NEW BEST:: SOT 105621 SOS 79795 HAS SOPS 67039 HAS SOUS 26863 HAS SOUPS 26600 WITH SCORE 26679.795
AT ITER 176 NEW BEST:: SOT 105611 SOS 79785 HAS SOPS 67024 HAS SOUS 26848 HAS SOUPS 26585 WITH SCORE 26664.785
AT ITER 184 NEW BEST:: SOT 105529 SOS 79703 HAS SOPS 66942 HAS SOUS 26807 HAS SOUPS 26544 WITH SCORE 26623.703
AT ITER 186 NEW BEST:: SOT 105527 SOS 79700 HAS SOPS 66938 HAS SOUS 26802 HAS SOUPS 26539 WITH SCORE 26618.7
AT ITER 187 NEW BEST:: SOT 105527 SOS 79698 HAS SOPS 66936 HAS SOUS 26801 HAS SOUPS 26538 WITH SCORE 26617.698
AT ITER 188 NEW BEST:: SOT 105519 SOS 79690 HAS SOPS 66928 HAS SOUS 26793 HAS SOUPS 26530 WITH SCORE 26609.69
AT ITER 190 NEW BEST:: SOT 105430 SOS 79572 HAS SOPS 66810 HAS SOUS 26705 HAS SOUPS 26442 WITH SCORE 26521.572
AT ITER 193 NEW BEST:: SOT 103731 SOS 77832 HAS SOPS 65070 HAS SOUS 25836 HAS SOUPS 25573 WITH SCORE 25650.832
AT ITER 196 NEW BEST:: SOT 105353 SOS 77547 HAS SOPS 62903 HAS SOUS 25439 HAS SOUPS 25176 WITH SCORE 25253.547
AT ITER 197 NEW BEST:: SOT 105420 SOS 77752 HAS SOPS 63037 HAS SOUS 25436 HAS SOUPS 25173 WITH SCORE 25250.752
AT ITER 204 NEW BEST:: SOT 105410 SOS 77737 HAS SOPS 63022 HAS SOUS 25436 HAS SOUPS 25173 WITH SCORE 25250.737
AT ITER 205 NEW BEST:: SOT 103642 SOS 76000 HAS SOPS 61234 HAS SOUS 24594 HAS SOUPS 24331 WITH SCORE 24407.0
AT ITER 206 NEW BEST:: SOT 103610 SOS 76022 HAS SOPS 61227 HAS SOUS 24563 HAS SOUPS 24300 WITH SCORE 24376.022
AT ITER 208 NEW BEST:: SOT 103599 SOS 75910 HAS SOPS 61127 HAS SOUS 24452 HAS SOUPS 24189 WITH SCORE 24264.91
AT ITER 212 NEW BEST:: SOT 103516 SOS 75827 HAS SOPS 60961 HAS SOUS 24286 HAS SOUPS 24023 WITH SCORE 24098.827
AT ITER 213 NEW BEST:: SOT 103516 SOS 75827 HAS SOPS 60961 HAS SOUS 24266 HAS SOUPS 24003 WITH SCORE 24078.827
AT ITER 218 NEW BEST:: SOT 103357 SOS 75382 HAS SOPS 60449 HAS SOUS 23878 HAS SOUPS 23615 WITH SCORE 23690.382
AT ITER 221 NEW BEST:: SOT 103356 SOS 75398 HAS SOPS 60465 HAS SOUS 23876 HAS SOUPS 23613 WITH SCORE 23688.398
AT ITER 225 NEW BEST:: SOT 103262 SOS 75130 HAS SOPS 60161 HAS SOUS 23665 HAS SOUPS 23402 WITH SCORE 23477.13
AT ITER 226 NEW BEST:: SOT 103273 SOS 75152 HAS SOPS 60145 HAS SOUS 23632 HAS SOUPS 23369 WITH SCORE 23444.152
AT ITER 230 NEW BEST:: SOT 103280 SOS 75154 HAS SOPS 60147 HAS SOUS 23628 HAS SOUPS 23365 WITH SCORE 23440.154
AT ITER 231 NEW BEST:: SOT 103264 SOS 75154 HAS SOPS 60139 HAS SOUS 23620 HAS SOUPS 23357 WITH SCORE 23432.154
AT ITER 235 NEW BEST:: SOT 103256 SOS 75166 HAS SOPS 60123 HAS SOUS 23605 HAS SOUPS 23342 WITH SCORE 23417.166
AT ITER 237 NEW BEST:: SOT 103250 SOS 75156 HAS SOPS 60107 HAS SOUS 23589 HAS SOUPS 23326 WITH SCORE 23401.156
AT ITER 239 NEW BEST:: SOT 103232 SOS 75120 HAS SOPS 60071 HAS SOUS 23571 HAS SOUPS 23308 WITH SCORE 23383.12
AT ITER 240 NEW BEST:: SOT 103195 SOS 75046 HAS SOPS 59960 HAS SOUS 23497 HAS SOUPS 23234 WITH SCORE 23309.046
AT ITER 243 NEW BEST:: SOT 103232 SOS 74994 HAS SOPS 59908 HAS SOUS 23491 HAS SOUPS 23228 WITH SCORE 23302.994
AT ITER 244 NEW BEST:: SOT 103211 SOS 75039 HAS SOPS 59866 HAS SOUS 23289 HAS SOUPS 23026 WITH SCORE 23101.039
AT ITER 245 NEW BEST:: SOT 103210 SOS 75023 HAS SOPS 59849 HAS SOUS 23287 HAS SOUPS 23024 WITH SCORE 23099.023
AT ITER 248 NEW BEST:: SOT 102732 SOS 74569 HAS SOPS 59389 HAS SOUS 23075 HAS SOUPS 22812 WITH SCORE 22886.569
AT ITER 251 NEW BEST:: SOT 102668 SOS 74421 HAS SOPS 59261 HAS SOUS 22941 HAS SOUPS 22678 WITH SCORE 22752.421
AT ITER 255 NEW BEST:: SOT 102679 SOS 74343 HAS SOPS 59194 HAS SOUS 22896 HAS SOUPS 22633 WITH SCORE 22707.343
AT ITER 258 NEW BEST:: SOT 102664 SOS 74313 HAS SOPS 59164 HAS SOUS 22881 HAS SOUPS 22618 WITH SCORE 22692.313
AT ITER 260 NEW BEST:: SOT 102652 SOS 74301 HAS SOPS 59152 HAS SOUS 22875 HAS SOUPS 22612 WITH SCORE 22686.301
AT ITER 263 NEW BEST:: SOT 102649 SOS 74298 HAS SOPS 59137 HAS SOUS 22788 HAS SOUPS 22525 WITH SCORE 22599.298
AT ITER 269 NEW BEST:: SOT 102456 SOS 74107 HAS SOPS 58955 HAS SOUS 22706 HAS SOUPS 22443 WITH SCORE 22517.107
AT ITER 273 NEW BEST:: SOT 102375 SOS 74117 HAS SOPS 58899 HAS SOUS 22689 HAS SOUPS 22426 WITH SCORE 22500.117
AT ITER 279 NEW BEST:: SOT 102239 SOS 74000 HAS SOPS 58756 HAS SOUS 22627 HAS SOUPS 22357 WITH SCORE 22431.0
AT ITER 280 NEW BEST:: SOT 101931 SOS 74006 HAS SOPS 58762 HAS SOUS 22527 HAS SOUPS 22257 WITH SCORE 22331.006
AT ITER 281 NEW BEST:: SOT 101925 SOS 73994 HAS SOPS 58696 HAS SOUS 22452 HAS SOUPS 22182 WITH SCORE 22255.994
AT ITER 285 NEW BEST:: SOT 101930 SOS 73987 HAS SOPS 58682 HAS SOUS 22283 HAS SOUPS 22013 WITH SCORE 22086.987
AT ITER 295 NEW BEST:: SOT 101945 SOS 74017 HAS SOPS 58591 HAS SOUS 21946 HAS SOUPS 21676 WITH SCORE 21750.017
AT ITER 299 NEW BEST:: SOT 101873 SOS 73891 HAS SOPS 58141 HAS SOUS 21460 HAS SOUPS 21190 WITH SCORE 21263.891
AT ITER 302 NEW BEST:: SOT 101851 SOS 73856 HAS SOPS 58097 HAS SOUS 21435 HAS SOUPS 21165 WITH SCORE 21238.856
AT ITER 307 NEW BEST:: SOT 101830 SOS 73814 HAS SOPS 58055 HAS SOUS 21414 HAS SOUPS 21144 WITH SCORE 21217.814
AT ITER 309 NEW BEST:: SOT 101847 SOS 72210 HAS SOPS 56451 HAS SOUS 21268 HAS SOUPS 20998 WITH SCORE 21070.21
AT ITER 310 NEW BEST:: SOT 101866 SOS 72053 HAS SOPS 56349 HAS SOUS 21196 HAS SOUPS 20926 WITH SCORE 20998.053
AT ITER 313 NEW BEST:: SOT 101892 SOS 72092 HAS SOPS 56039 HAS SOUS 21013 HAS SOUPS 20743 WITH SCORE 20815.092
AT ITER 315 NEW BEST:: SOT 101889 SOS 72107 HAS SOPS 56033 HAS SOUS 21007 HAS SOUPS 20737 WITH SCORE 20809.107
AT ITER 319 NEW BEST:: SOT 101861 SOS 72079 HAS SOPS 56005 HAS SOUS 20979 HAS SOUPS 20709 WITH SCORE 20781.079
AT ITER 320 NEW BEST:: SOT 101846 SOS 72049 HAS SOPS 55975 HAS SOUS 20949 HAS SOUPS 20679 WITH SCORE 20751.049
AT ITER 321 NEW BEST:: SOT 101673 SOS 72044 HAS SOPS 55774 HAS SOUS 20748 HAS SOUPS 20478 WITH SCORE 20550.044
AT ITER 322 NEW BEST:: SOT 101512 SOS 71763 HAS SOPS 55439 HAS SOUS 20613 HAS SOUPS 20343 WITH SCORE 20414.763
AT ITER 323 NEW BEST:: SOT 101620 SOS 71715 HAS SOPS 55361 HAS SOUS 20601 HAS SOUPS 20331 WITH SCORE 20402.715
AT ITER 326 NEW BEST:: SOT 101625 SOS 71743 HAS SOPS 55371 HAS SOUS 20588 HAS SOUPS 20318 WITH SCORE 20389.743
AT ITER 337 NEW BEST:: SOT 101621 SOS 71772 HAS SOPS 55400 HAS SOUS 20585 HAS SOUPS 20315 WITH SCORE 20386.772
AT ITER 339 NEW BEST:: SOT 101144 SOS 71316 HAS SOPS 54944 HAS SOUS 20399 HAS SOUPS 20129 WITH SCORE 20200.316
AT ITER 341 NEW BEST:: SOT 101142 SOS 71206 HAS SOPS 53496 HAS SOUS 19983 HAS SOUPS 19713 WITH SCORE 19784.206
AT ITER 346 NEW BEST:: SOT 101126 SOS 71182 HAS SOPS 53464 HAS SOUS 19959 HAS SOUPS 19689 WITH SCORE 19760.182
AT ITER 347 NEW BEST:: SOT 101125 SOS 71180 HAS SOPS 53444 HAS SOUS 19921 HAS SOUPS 19651 WITH SCORE 19722.18
AT ITER 350 NEW BEST:: SOT 101111 SOS 71106 HAS SOPS 53391 HAS SOUS 19837 HAS SOUPS 19567 WITH SCORE 19638.106
AT ITER 352 NEW BEST:: SOT 101125 SOS 69589 HAS SOPS 51877 HAS SOUS 19711 HAS SOUPS 19441 WITH SCORE 19510.589
AT ITER 361 NEW BEST:: SOT 101055 SOS 69544 HAS SOPS 51797 HAS SOUS 19638 HAS SOUPS 19368 WITH SCORE 19437.544
AT ITER 367 NEW BEST:: SOT 101055 SOS 69544 HAS SOPS 51797 HAS SOUS 19632 HAS SOUPS 19362 WITH SCORE 19431.544
AT ITER 368 NEW BEST:: SOT 101072 SOS 69431 HAS SOPS 51717 HAS SOUS 19613 HAS SOUPS 19343 WITH SCORE 19412.431
AT ITER 371 NEW BEST:: SOT 101044 SOS 69380 HAS SOPS 51661 HAS SOUS 19577 HAS SOUPS 19307 WITH SCORE 19376.38
AT ITER 374 NEW BEST:: SOT 100953 SOS 69278 HAS SOPS 51479 HAS SOUS 19395 HAS SOUPS 19125 WITH SCORE 19194.278
AT ITER 378 NEW BEST:: SOT 100945 SOS 69262 HAS SOPS 51463 HAS SOUS 19395 HAS SOUPS 19125 WITH SCORE 19194.262
AT ITER 385 NEW BEST:: SOT 100975 SOS 69290 HAS SOPS 51491 HAS SOUS 19392 HAS SOUPS 19122 WITH SCORE 19191.29
AT ITER 388 NEW BEST:: SOT 100953 SOS 69268 HAS SOPS 51469 HAS SOUS 19370 HAS SOUPS 19100 WITH SCORE 19169.268
AT ITER 390 NEW BEST:: SOT 100941 SOS 69226 HAS SOPS 51427 HAS SOUS 19340 HAS SOUPS 19070 WITH SCORE 19139.226
AT ITER 393 NEW BEST:: SOT 100595 SOS 68880 HAS SOPS 51081 HAS SOUS 19164 HAS SOUPS 18894 WITH SCORE 18962.88
AT ITER 399 NEW BEST:: SOT 99959 SOS 68244 HAS SOPS 50445 HAS SOUS 18846 HAS SOUPS 18576 WITH SCORE 18644.244
AT ITER 406 NEW BEST:: SOT 99865 SOS 68056 HAS SOPS 48856 HAS SOUS 17925 HAS SOUPS 17655 WITH SCORE 17723.056
AT ITER 414 NEW BEST:: SOT 99831 SOS 67960 HAS SOPS 48788 HAS SOUS 17919 HAS SOUPS 17649 WITH SCORE 17716.96
AT ITER 427 NEW BEST:: SOT 99829 SOS 67960 HAS SOPS 48786 HAS SOUS 17917 HAS SOUPS 17647 WITH SCORE 17714.96
AT ITER 432 NEW BEST:: SOT 99822 SOS 67932 HAS SOPS 48751 HAS SOUS 17882 HAS SOUPS 17612 WITH SCORE 17679.932
AT ITER 434 NEW BEST:: SOT 96897 SOS 65034 HAS SOPS 46889 HAS SOUS 16868 HAS SOUPS 16598 WITH SCORE 16663.034
AT ITER 439 NEW BEST:: SOT 96870 SOS 64945 HAS SOPS 46835 HAS SOUS 16814 HAS SOUPS 16544 WITH SCORE 16608.945
AT ITER 448 NEW BEST:: SOT 96850 SOS 64905 HAS SOPS 46777 HAS SOUS 16769 HAS SOUPS 16499 WITH SCORE 16563.905
AT ITER 453 NEW BEST:: SOT 96849 SOS 64574 HAS SOPS 46446 HAS SOUS 16752 HAS SOUPS 16482 WITH SCORE 16546.574
AT ITER 465 NEW BEST:: SOT 96417 SOS 64148 HAS SOPS 46068 HAS SOUS 16699 HAS SOUPS 16429 WITH SCORE 16493.148
AT ITER 469 NEW BEST:: SOT 96417 SOS 64126 HAS SOPS 46046 HAS SOUS 16688 HAS SOUPS 16418 WITH SCORE 16482.126
AT ITER 471 NEW BEST:: SOT 96410 SOS 64112 HAS SOPS 46032 HAS SOUS 16681 HAS SOUPS 16411 WITH SCORE 16475.112
AT ITER 476 NEW BEST:: SOT 96410 SOS 64112 HAS SOPS 46032 HAS SOUS 16668 HAS SOUPS 16398 WITH SCORE 16462.112
AT ITER 477 NEW BEST:: SOT 96391 SOS 64093 HAS SOPS 45994 HAS SOUS 16630 HAS SOUPS 16360 WITH SCORE 16424.093
AT ITER 478 NEW BEST:: SOT 96303 SOS 64005 HAS SOPS 45890 HAS SOUS 16558 HAS SOUPS 16288 WITH SCORE 16352.005
AT ITER 479 NEW BEST:: SOT 96663 SOS 64289 HAS SOPS 45134 HAS SOUS 16219 HAS SOUPS 15949 WITH SCORE 16013.289
AT ITER 481 NEW BEST:: SOT 96663 SOS 64289 HAS SOPS 45127 HAS SOUS 16212 HAS SOUPS 15942 WITH SCORE 16006.289
AT ITER 482 NEW BEST:: SOT 96665 SOS 63862 HAS SOPS 44700 HAS SOUS 16163 HAS SOUPS 15893 WITH SCORE 15956.862
AT ITER 486 NEW BEST:: SOT 96658 SOS 63855 HAS SOPS 44686 HAS SOUS 16149 HAS SOUPS 15879 WITH SCORE 15942.855
AT ITER 492 NEW BEST:: SOT 96644 SOS 63853 HAS SOPS 44658 HAS SOUS 16121 HAS SOUPS 15851 WITH SCORE 15914.853
AT ITER 504 NEW BEST:: SOT 96654 SOS 63877 HAS SOPS 44696 HAS SOUS 16089 HAS SOUPS 15819 WITH SCORE 15882.877
AT ITER 505 NEW BEST:: SOT 96649 SOS 63868 HAS SOPS 44688 HAS SOUS 16086 HAS SOUPS 15816 WITH SCORE 15879.868
AT ITER 507 NEW BEST:: SOT 96285 SOS 63504 HAS SOPS 44317 HAS SOUS 15890 HAS SOUPS 15620 WITH SCORE 15683.504
AT ITER 516 NEW BEST:: SOT 95916 SOS 63136 HAS SOPS 43953 HAS SOUS 15740 HAS SOUPS 15470 WITH SCORE 15533.136
AT ITER 518 NEW BEST:: SOT 95937 SOS 63114 HAS SOPS 43931 HAS SOUS 15721 HAS SOUPS 15451 WITH SCORE 15514.114
AT ITER 523 NEW BEST:: SOT 95928 SOS 63043 HAS SOPS 43860 HAS SOUS 15712 HAS SOUPS 15442 WITH SCORE 15505.043
AT ITER 537 NEW BEST:: SOT 95915 SOS 63037 HAS SOPS 43854 HAS SOUS 15698 HAS SOUPS 15428 WITH SCORE 15491.037
AT ITER 539 NEW BEST:: SOT 95915 SOS 63019 HAS SOPS 43798 HAS SOUS 15564 HAS SOUPS 15294 WITH SCORE 15357.019
AT ITER 541 NEW BEST:: SOT 95903 SOS 62919 HAS SOPS 43686 HAS SOUS 15452 HAS SOUPS 15182 WITH SCORE 15244.919
AT ITER 548 NEW BEST:: SOT 95878 SOS 62908 HAS SOPS 43686 HAS SOUS 15452 HAS SOUPS 15182 WITH SCORE 15244.908
AT ITER 549 NEW BEST:: SOT 95851 SOS 62881 HAS SOPS 43651 HAS SOUS 15425 HAS SOUPS 15147 WITH SCORE 15209.881
AT ITER 552 NEW BEST:: SOT 95850 SOS 62879 HAS SOPS 43648 HAS SOUS 15422 HAS SOUPS 15144 WITH SCORE 15206.879
AT ITER 553 NEW BEST:: SOT 95807 SOS 62819 HAS SOPS 43562 HAS SOUS 15380 HAS SOUPS 15102 WITH SCORE 15164.819
AT ITER 557 NEW BEST:: SOT 95751 SOS 62721 HAS SOPS 43450 HAS SOUS 15259 HAS SOUPS 14981 WITH SCORE 15043.721
AT ITER 558 NEW BEST:: SOT 95772 SOS 62726 HAS SOPS 43442 HAS SOUS 15251 HAS SOUPS 14973 WITH SCORE 15035.726
AT ITER 561 NEW BEST:: SOT 94769 SOS 61766 HAS SOPS 42614 HAS SOUS 14924 HAS SOUPS 14646 WITH SCORE 14707.766
AT ITER 562 NEW BEST:: SOT 94653 SOS 61652 HAS SOPS 42500 HAS SOUS 14868 HAS SOUPS 14590 WITH SCORE 14651.652
AT ITER 567 NEW BEST:: SOT 94653 SOS 61651 HAS SOPS 42499 HAS SOUS 14868 HAS SOUPS 14590 WITH SCORE 14651.651
AT ITER 572 NEW BEST:: SOT 94664 SOS 61601 HAS SOPS 42461 HAS SOUS 14772 HAS SOUPS 14494 WITH SCORE 14555.601
AT ITER 582 NEW BEST:: SOT 94621 SOS 61558 HAS SOPS 42398 HAS SOUS 14709 HAS SOUPS 14431 WITH SCORE 14492.558
AT ITER 600 NEW BEST:: SOT 94591 SOS 61498 HAS SOPS 42335 HAS SOUS 14696 HAS SOUPS 14418 WITH SCORE 14479.498
AT ITER 604 NEW BEST:: SOT 94576 SOS 61497 HAS SOPS 42305 HAS SOUS 14667 HAS SOUPS 14388 WITH SCORE 14449.497
AT ITER 605 NEW BEST:: SOT 94666 SOS 61597 HAS SOPS 42389 HAS SOUS 14665 HAS SOUPS 14386 WITH SCORE 14447.597
AT ITER 616 NEW BEST:: SOT 94666 SOS 61592 HAS SOPS 42384 HAS SOUS 14660 HAS SOUPS 14381 WITH SCORE 14442.592
AT ITER 621 NEW BEST:: SOT 94633 SOS 61991 HAS SOPS 42343 HAS SOUS 14633 HAS SOUPS 14346 WITH SCORE 14407.991
AT ITER 625 NEW BEST:: SOT 94606 SOS 61935 HAS SOPS 42260 HAS SOUS 14550 HAS SOUPS 14263 WITH SCORE 14324.935
AT ITER 626 NEW BEST:: SOT 94572 SOS 61895 HAS SOPS 42192 HAS SOUS 14494 HAS SOUPS 14192 WITH SCORE 14253.895
AT ITER 627 NEW BEST:: SOT 94552 SOS 61865 HAS SOPS 42152 HAS SOUS 14454 HAS SOUPS 14152 WITH SCORE 14213.865
AT ITER 629 NEW BEST:: SOT 94551 SOS 61863 HAS SOPS 42150 HAS SOUS 14453 HAS SOUPS 14151 WITH SCORE 14212.863
AT ITER 639 NEW BEST:: SOT 94537 SOS 61833 HAS SOPS 42122 HAS SOUS 14435 HAS SOUPS 14133 WITH SCORE 14194.833
AT ITER 645 NEW BEST:: SOT 94550 SOS 61859 HAS SOPS 42148 HAS SOUS 14423 HAS SOUPS 14121 WITH SCORE 14182.859
AT ITER 653 NEW BEST:: SOT 94541 SOS 61841 HAS SOPS 42139 HAS SOUS 14414 HAS SOUPS 14112 WITH SCORE 14173.841
AT ITER 655 NEW BEST:: SOT 94550 SOS 61811 HAS SOPS 42109 HAS SOUS 14384 HAS SOUPS 14082 WITH SCORE 14143.811
AT ITER 668 NEW BEST:: SOT 94550 SOS 61811 HAS SOPS 42085 HAS SOUS 14360 HAS SOUPS 14058 WITH SCORE 14119.811
AT ITER 673 NEW BEST:: SOT 94531 SOS 61792 HAS SOPS 42047 HAS SOUS 14322 HAS SOUPS 14020 WITH SCORE 14081.792
AT ITER 678 NEW BEST:: SOT 94528 SOS 61786 HAS SOPS 42041 HAS SOUS 14317 HAS SOUPS 14015 WITH SCORE 14076.786
AT ITER 690 NEW BEST:: SOT 94540 SOS 61772 HAS SOPS 41394 HAS SOUS 13734 HAS SOUPS 13432 WITH SCORE 13493.772
AT ITER 694 NEW BEST:: SOT 94516 SOS 61676 HAS SOPS 41310 HAS SOUS 13686 HAS SOUPS 13384 WITH SCORE 13445.676
AT ITER 696 NEW BEST:: SOT 94516 SOS 61638 HAS SOPS 41310 HAS SOUS 13686 HAS SOUPS 13384 WITH SCORE 13445.638
AT ITER 709 NEW BEST:: SOT 94514 SOS 61634 HAS SOPS 41304 HAS SOUS 13680 HAS SOUPS 13378 WITH SCORE 13439.634
AT ITER 712 NEW BEST:: SOT 94504 SOS 61628 HAS SOPS 41298 HAS SOUS 13667 HAS SOUPS 13365 WITH SCORE 13426.628
AT ITER 728 NEW BEST:: SOT 94410 SOS 61492 HAS SOPS 41162 HAS SOUS 13583 HAS SOUPS 13281 WITH SCORE 13342.492
AT ITER 734 NEW BEST:: SOT 94592 SOS 61313 HAS SOPS 40368 HAS SOUS 13527 HAS SOUPS 13225 WITH SCORE 13286.313
AT ITER 738 NEW BEST:: SOT 94581 SOS 61311 HAS SOPS 40356 HAS SOUS 13515 HAS SOUPS 13213 WITH SCORE 13274.311
AT ITER 741 NEW BEST:: SOT 94569 SOS 61275 HAS SOPS 40332 HAS SOUS 13515 HAS SOUPS 13213 WITH SCORE 13274.275
AT ITER 747 NEW BEST:: SOT 94546 SOS 61202 HAS SOPS 39239 HAS SOUS 13205 HAS SOUPS 12903 WITH SCORE 12964.202
AT ITER 764 NEW BEST:: SOT 94513 SOS 61152 HAS SOPS 39173 HAS SOUS 13158 HAS SOUPS 12856 WITH SCORE 12917.152
AT ITER 766 NEW BEST:: SOT 94061 SOS 60706 HAS SOPS 38885 HAS SOUS 13004 HAS SOUPS 12702 WITH SCORE 12762.706
AT ITER 768 NEW BEST:: SOT 94044 SOS 60690 HAS SOPS 38851 HAS SOUS 12984 HAS SOUPS 12682 WITH SCORE 12742.69
AT ITER 773 NEW BEST:: SOT 94059 SOS 60703 HAS SOPS 38827 HAS SOUS 12960 HAS SOUPS 12658 WITH SCORE 12718.703
AT ITER 789 NEW BEST:: SOT 94116 SOS 60763 HAS SOPS 38773 HAS SOUS 12957 HAS SOUPS 12655 WITH SCORE 12715.763
AT ITER 796 NEW BEST:: SOT 94077 SOS 60685 HAS SOPS 38695 HAS SOUS 12923 HAS SOUPS 12621 WITH SCORE 12681.685
AT ITER 822 NEW BEST:: SOT 94069 SOS 60677 HAS SOPS 38687 HAS SOUS 12915 HAS SOUPS 12613 WITH SCORE 12673.677
AT ITER 824 NEW BEST:: SOT 94056 SOS 60645 HAS SOPS 38661 HAS SOUS 12901 HAS SOUPS 12599 WITH SCORE 12659.645
AT ITER 831 NEW BEST:: SOT 94070 SOS 60664 HAS SOPS 38689 HAS SOUS 12896 HAS SOUPS 12594 WITH SCORE 12654.664
AT ITER 832 NEW BEST:: SOT 94043 SOS 60628 HAS SOPS 38644 HAS SOUS 12851 HAS SOUPS 12549 WITH SCORE 12609.628
AT ITER 835 NEW BEST:: SOT 94041 SOS 60624 HAS SOPS 38640 HAS SOUS 12851 HAS SOUPS 12549 WITH SCORE 12609.624
AT ITER 844 NEW BEST:: SOT 94057 SOS 60624 HAS SOPS 38640 HAS SOUS 12835 HAS SOUPS 12533 WITH SCORE 12593.624
AT ITER 848 NEW BEST:: SOT 94054 SOS 60612 HAS SOPS 38450 HAS SOUS 12738 HAS SOUPS 12436 WITH SCORE 12496.612
AT ITER 854 NEW BEST:: SOT 94038 SOS 60553 HAS SOPS 38361 HAS SOUS 12649 HAS SOUPS 12347 WITH SCORE 12407.553
AT ITER 856 NEW BEST:: SOT 94033 SOS 60546 HAS SOPS 38351 HAS SOUS 12641 HAS SOUPS 12339 WITH SCORE 12399.546
AT ITER 860 NEW BEST:: SOT 94041 SOS 60531 HAS SOPS 38329 HAS SOUS 12626 HAS SOUPS 12324 WITH SCORE 12384.531
AT ITER 862 NEW BEST:: SOT 94021 SOS 60489 HAS SOPS 38267 HAS SOUS 12559 HAS SOUPS 12257 WITH SCORE 12317.489
AT ITER 865 NEW BEST:: SOT 93990 SOS 60465 HAS SOPS 38241 HAS SOUS 12543 HAS SOUPS 12241 WITH SCORE 12301.465
AT ITER 870 NEW BEST:: SOT 93988 SOS 60463 HAS SOPS 38239 HAS SOUS 12543 HAS SOUPS 12241 WITH SCORE 12301.463
AT ITER 873 NEW BEST:: SOT 93988 SOS 60438 HAS SOPS 38221 HAS SOUS 12525 HAS SOUPS 12223 WITH SCORE 12283.438
AT ITER 876 NEW BEST:: SOT 93973 SOS 60427 HAS SOPS 38191 HAS SOUS 12495 HAS SOUPS 12193 WITH SCORE 12253.427
AT ITER 883 NEW BEST:: SOT 94009 SOS 60231 HAS SOPS 37995 HAS SOUS 12492 HAS SOUPS 12190 WITH SCORE 12250.231
AT ITER 890 NEW BEST:: SOT 94005 SOS 60224 HAS SOPS 37987 HAS SOUS 12484 HAS SOUPS 12182 WITH SCORE 12242.224
AT ITER 894 NEW BEST:: SOT 94004 SOS 60212 HAS SOPS 37975 HAS SOUS 12479 HAS SOUPS 12177 WITH SCORE 12237.212
AT ITER 905 NEW BEST:: SOT 93988 SOS 60238 HAS SOPS 37971 HAS SOUS 12461 HAS SOUPS 12159 WITH SCORE 12219.238
AT ITER 908 NEW BEST:: SOT 93959 SOS 60199 HAS SOPS 37911 HAS SOUS 12402 HAS SOUPS 12100 WITH SCORE 12160.199
AT ITER 913 NEW BEST:: SOT 93956 SOS 60196 HAS SOPS 37905 HAS SOUS 12396 HAS SOUPS 12094 WITH SCORE 12154.196
AT ITER 923 NEW BEST:: SOT 93954 SOS 60186 HAS SOPS 37901 HAS SOUS 12384 HAS SOUPS 12082 WITH SCORE 12142.186
AT ITER 928 NEW BEST:: SOT 93933 SOS 60081 HAS SOPS 37790 HAS SOUS 12316 HAS SOUPS 12014 WITH SCORE 12074.081
AT ITER 931 NEW BEST:: SOT 93933 SOS 60081 HAS SOPS 37790 HAS SOUS 12307 HAS SOUPS 12005 WITH SCORE 12065.081
AT ITER 937 NEW BEST:: SOT 93905 SOS 60025 HAS SOPS 37734 HAS SOUS 12307 HAS SOUPS 12005 WITH SCORE 12065.025
AT ITER 940 NEW BEST:: SOT 92801 SOS 58969 HAS SOPS 36954 HAS SOUS 12025 HAS SOUPS 11723 WITH SCORE 11781.969
AT ITER 942 NEW BEST:: SOT 92801 SOS 58971 HAS SOPS 36956 HAS SOUS 12023 HAS SOUPS 11721 WITH SCORE 11779.971
AT ITER 958 NEW BEST:: SOT 92811 SOS 58988 HAS SOPS 36976 HAS SOUS 12019 HAS SOUPS 11717 WITH SCORE 11775.988
AT ITER 959 NEW BEST:: SOT 92808 SOS 58989 HAS SOPS 36970 HAS SOUS 12016 HAS SOUPS 11714 WITH SCORE 11772.989
AT ITER 968 NEW BEST:: SOT 92796 SOS 58948 HAS SOPS 36925 HAS SOUS 11976 HAS SOUPS 11674 WITH SCORE 11732.948
AT ITER 974 NEW BEST:: SOT 92744 SOS 58868 HAS SOPS 36841 HAS SOUS 11924 HAS SOUPS 11622 WITH SCORE 11680.868
AT ITER 980 NEW BEST:: SOT 92724 SOS 58847 HAS SOPS 36787 HAS SOUS 11900 HAS SOUPS 11598 WITH SCORE 11656.847
AT ITER 992 NEW BEST:: SOT 92664 SOS 58764 HAS SOPS 36715 HAS SOUS 11828 HAS SOUPS 11526 WITH SCORE 11584.764
AT ITER 994 NEW BEST:: SOT 92658 SOS 58758 HAS SOPS 36709 HAS SOUS 11828 HAS SOUPS 11526 WITH SCORE 11584.758
AT ITER 999 NEW BEST:: SOT 92641 SOS 58717 HAS SOPS 36675 HAS SOUS 11785 HAS SOUPS 11483 WITH SCORE 11541.717
AT ITER 1000 NEW BEST:: SOT 92632 SOS 58745 HAS SOPS 36657 HAS SOUS 11769 HAS SOUPS 11467 WITH SCORE 11525.745
AT ITER 1002 NEW BEST:: SOT 92641 SOS 58677 HAS SOPS 36567 HAS SOUS 11762 HAS SOUPS 11460 WITH SCORE 11518.677
AT ITER 1012 NEW BEST:: SOT 92637 SOS 58669 HAS SOPS 36557 HAS SOUS 11752 HAS SOUPS 11450 WITH SCORE 11508.669
AT ITER 1015 NEW BEST:: SOT 92515 SOS 58557 HAS SOPS 36443 HAS SOUS 11698 HAS SOUPS 11396 WITH SCORE 11454.557
AT ITER 1017 NEW BEST:: SOT 92439 SOS 58469 HAS SOPS 36371 HAS SOUS 11614 HAS SOUPS 11312 WITH SCORE 11370.469
AT ITER 1026 NEW BEST:: SOT 92421 SOS 58451 HAS SOPS 36335 HAS SOUS 11578 HAS SOUPS 11276 WITH SCORE 11334.451
AT ITER 1043 NEW BEST:: SOT 92448 SOS 58469 HAS SOPS 36193 HAS SOUS 11518 HAS SOUPS 11216 WITH SCORE 11274.469
AT ITER 1053 NEW BEST:: SOT 92428 SOS 58429 HAS SOPS 36153 HAS SOUS 11458 HAS SOUPS 11156 WITH SCORE 11214.429
AT ITER 1054 NEW BEST:: SOT 92422 SOS 58417 HAS SOPS 36141 HAS SOUS 11449 HAS SOUPS 11147 WITH SCORE 11205.417
AT ITER 1071 NEW BEST:: SOT 92393 SOS 58378 HAS SOPS 36092 HAS SOUS 11402 HAS SOUPS 11100 WITH SCORE 11158.378
AT ITER 1075 NEW BEST:: SOT 92393 SOS 58374 HAS SOPS 36088 HAS SOUS 11402 HAS SOUPS 11100 WITH SCORE 11158.374
AT ITER 1085 NEW BEST:: SOT 92389 SOS 58370 HAS SOPS 36082 HAS SOUS 11398 HAS SOUPS 11096 WITH SCORE 11154.37
AT ITER 1087 NEW BEST:: SOT 92389 SOS 58368 HAS SOPS 36080 HAS SOUS 11398 HAS SOUPS 11096 WITH SCORE 11154.368
AT ITER 1089 NEW BEST:: SOT 92375 SOS 58364 HAS SOPS 36072 HAS SOUS 11397 HAS SOUPS 11095 WITH SCORE 11153.364
AT ITER 1093 NEW BEST:: SOT 92375 SOS 58365 HAS SOPS 36073 HAS SOUS 11388 HAS SOUPS 11086 WITH SCORE 11144.365
AT ITER 1095 NEW BEST:: SOT 92373 SOS 58360 HAS SOPS 36069 HAS SOUS 11373 HAS SOUPS 11073 WITH SCORE 11131.36
AT ITER 1103 NEW BEST:: SOT 92284 SOS 73041 HAS SOPS 35928 HAS SOUS 11363 HAS SOUPS 11024 WITH SCORE 11097.041
AT ITER 1114 NEW BEST:: SOT 92262 SOS 73035 HAS SOPS 35916 HAS SOUS 11351 HAS SOUPS 11012 WITH SCORE 11085.035
AT ITER 1131 NEW BEST:: SOT 92260 SOS 73031 HAS SOPS 35912 HAS SOUS 11347 HAS SOUPS 11008 WITH SCORE 11081.031
AT ITER 1152 NEW BEST:: SOT 92226 SOS 72961 HAS SOPS 35821 HAS SOUS 11279 HAS SOUPS 10940 WITH SCORE 11012.961
AT ITER 1176 NEW BEST:: SOT 91978 SOS 72735 HAS SOPS 35578 HAS SOUS 11203 HAS SOUPS 10864 WITH SCORE 10936.735
AT ITER 1190 NEW BEST:: SOT 91996 SOS 72725 HAS SOPS 35520 HAS SOUS 11077 HAS SOUPS 10738 WITH SCORE 10810.725
AT ITER 1200 NEW BEST:: SOT 91986 SOS 72708 HAS SOPS 35493 HAS SOUS 11057 HAS SOUPS 10718 WITH SCORE 10790.708
AT ITER 1217 NEW BEST:: SOT 91975 SOS 72688 HAS SOPS 35478 HAS SOUS 11043 HAS SOUPS 10704 WITH SCORE 10776.688
AT ITER 1231 NEW BEST:: SOT 91916 SOS 72642 HAS SOPS 35472 HAS SOUS 11028 HAS SOUPS 10689 WITH SCORE 10761.642
AT ITER 1235 NEW BEST:: SOT 91858 SOS 72671 HAS SOPS 35418 HAS SOUS 10970 HAS SOUPS 10631 WITH SCORE 10703.671
AT ITER 1263 NEW BEST:: SOT 91853 SOS 72656 HAS SOPS 35403 HAS SOUS 10960 HAS SOUPS 10621 WITH SCORE 10693.656
AT ITER 1266 NEW BEST:: SOT 91846 SOS 72643 HAS SOPS 35389 HAS SOUS 10952 HAS SOUPS 10613 WITH SCORE 10685.643
AT ITER 1276 NEW BEST:: SOT 91826 SOS 72606 HAS SOPS 35349 HAS SOUS 10907 HAS SOUPS 10568 WITH SCORE 10640.606
AT ITER 1299 NEW BEST:: SOT 91816 SOS 72601 HAS SOPS 35334 HAS SOUS 10892 HAS SOUPS 10553 WITH SCORE 10625.601
AT ITER 1309 NEW BEST:: SOT 91712 SOS 72497 HAS SOPS 35227 HAS SOUS 10837 HAS SOUPS 10498 WITH SCORE 10570.497
AT ITER 1319 NEW BEST:: SOT 91609 SOS 72477 HAS SOPS 35182 HAS SOUS 10765 HAS SOUPS 10426 WITH SCORE 10498.477
AT ITER 1320 NEW BEST:: SOT 91609 SOS 72456 HAS SOPS 35182 HAS SOUS 10747 HAS SOUPS 10408 WITH SCORE 10480.456
AT ITER 1323 NEW BEST:: SOT 91609 SOS 72455 HAS SOPS 35181 HAS SOUS 10746 HAS SOUPS 10407 WITH SCORE 10479.455
AT ITER 1325 NEW BEST:: SOT 91609 SOS 72436 HAS SOPS 35181 HAS SOUS 10746 HAS SOUPS 10407 WITH SCORE 10479.436
AT ITER 1334 NEW BEST:: SOT 91540 SOS 73844 HAS SOPS 35069 HAS SOUS 10705 HAS SOUPS 10344 WITH SCORE 10417.844
AT ITER 1338 NEW BEST:: SOT 91530 SOS 73834 HAS SOPS 35049 HAS SOUS 10685 HAS SOUPS 10324 WITH SCORE 10397.834
AT ITER 1359 NEW BEST:: SOT 91515 SOS 73819 HAS SOPS 35019 HAS SOUS 10652 HAS SOUPS 10291 WITH SCORE 10364.819
AT ITER 1364 NEW BEST:: SOT 91513 SOS 73829 HAS SOPS 35015 HAS SOUS 10648 HAS SOUPS 10287 WITH SCORE 10360.829
AT ITER 1370 NEW BEST:: SOT 91716 SOS 74017 HAS SOPS 35113 HAS SOUS 10627 HAS SOUPS 10266 WITH SCORE 10340.017
AT ITER 1394 NEW BEST:: SOT 91707 SOS 74009 HAS SOPS 35100 HAS SOUS 10618 HAS SOUPS 10257 WITH SCORE 10331.009
AT ITER 1441 NEW BEST:: SOT 91699 SOS 74001 HAS SOPS 35100 HAS SOUS 10618 HAS SOUPS 10257 WITH SCORE 10331.001
AT ITER 1442 NEW BEST:: SOT 91698 SOS 74018 HAS SOPS 35098 HAS SOUS 10617 HAS SOUPS 10256 WITH SCORE 10330.018
AT ITER 1458 NEW BEST:: SOT 91704 SOS 73995 HAS SOPS 35084 HAS SOUS 10602 HAS SOUPS 10241 WITH SCORE 10314.995
AT ITER 1481 NEW BEST:: SOT 91703 SOS 74449 HAS SOPS 35077 HAS SOUS 10605 HAS SOUPS 10238 WITH SCORE 10312.449
AT ITER 1492 NEW BEST:: SOT 91696 SOS 74442 HAS SOPS 35063 HAS SOUS 10593 HAS SOUPS 10224 WITH SCORE 10298.442
AT ITER 1501 NEW BEST:: SOT 92044 SOS 74764 HAS SOPS 35179 HAS SOUS 10573 HAS SOUPS 10204 WITH SCORE 10278.764
AT ITER 1504 NEW BEST:: SOT 91963 SOS 74678 HAS SOPS 35065 HAS SOUS 10477 HAS SOUPS 10108 WITH SCORE 10182.678
AT ITER 1515 NEW BEST:: SOT 91964 SOS 74655 HAS SOPS 35042 HAS SOUS 10454 HAS SOUPS 10085 WITH SCORE 10159.655
AT ITER 1517 NEW BEST:: SOT 91962 SOS 74654 HAS SOPS 35039 HAS SOUS 10451 HAS SOUPS 10082 WITH SCORE 10156.654
AT ITER 1529 NEW BEST:: SOT 91898 SOS 74609 HAS SOPS 34953 HAS SOUS 10365 HAS SOUPS 9996 WITH SCORE 10070.609
AT ITER 1545 NEW BEST:: SOT 91897 SOS 74608 HAS SOPS 34951 HAS SOUS 10363 HAS SOUPS 9994 WITH SCORE 10068.608
AT ITER 1552 NEW BEST:: SOT 91872 SOS 74567 HAS SOPS 34901 HAS SOUS 10336 HAS SOUPS 9967 WITH SCORE 10041.567
AT ITER 1564 NEW BEST:: SOT 91898 SOS 74583 HAS SOPS 34923 HAS SOUS 10333 HAS SOUPS 9964 WITH SCORE 10038.583
AT ITER 1570 NEW BEST:: SOT 91884 SOS 74555 HAS SOPS 34815 HAS SOUS 10214 HAS SOUPS 9845 WITH SCORE 9919.555
AT ITER 1599 NEW BEST:: SOT 91884 SOS 74555 HAS SOPS 34813 HAS SOUS 10212 HAS SOUPS 9843 WITH SCORE 9917.555
AT ITER 1600 NEW BEST:: SOT 91873 SOS 74555 HAS SOPS 34802 HAS SOUS 10201 HAS SOUPS 9832 WITH SCORE 9906.555
AT ITER 1621 NEW BEST:: SOT 91848 SOS 74530 HAS SOPS 34752 HAS SOUS 10151 HAS SOUPS 9782 WITH SCORE 9856.53
AT ITER 1624 NEW BEST:: SOT 91848 SOS 74530 HAS SOPS 34752 HAS SOUS 10097 HAS SOUPS 9728 WITH SCORE 9802.53
AT ITER 1674 NEW BEST:: SOT 91848 SOS 74529 HAS SOPS 34752 HAS SOUS 10097 HAS SOUPS 9728 WITH SCORE 9802.529
AT ITER 1683 NEW BEST:: SOT 91871 SOS 74526 HAS SOPS 33320 HAS SOUS 9976 HAS SOUPS 9607 WITH SCORE 9681.526
AT ITER 1689 NEW BEST:: SOT 91762 SOS 74420 HAS SOPS 33214 HAS SOUS 9923 HAS SOUPS 9554 WITH SCORE 9628.42
AT ITER 1693 NEW BEST:: SOT 91762 SOS 74483 HAS SOPS 33214 HAS SOUS 9896 HAS SOUPS 9527 WITH SCORE 9601.483
AT ITER 1711 NEW BEST:: SOT 91757 SOS 74492 HAS SOPS 33204 HAS SOUS 9886 HAS SOUPS 9517 WITH SCORE 9591.492
AT ITER 1723 NEW BEST:: SOT 91755 SOS 74489 HAS SOPS 33187 HAS SOUS 9859 HAS SOUPS 9490 WITH SCORE 9564.489
AT ITER 1725 NEW BEST:: SOT 91754 SOS 74486 HAS SOPS 33183 HAS SOUS 9856 HAS SOUPS 9487 WITH SCORE 9561.486
AT ITER 1736 NEW BEST:: SOT 91760 SOS 74481 HAS SOPS 33166 HAS SOUS 9853 HAS SOUPS 9484 WITH SCORE 9558.481
AT ITER 1751 NEW BEST:: SOT 91759 SOS 74484 HAS SOPS 33166 HAS SOUS 9851 HAS SOUPS 9482 WITH SCORE 9556.484
AT ITER 1788 NEW BEST:: SOT 91756 SOS 74481 HAS SOPS 33160 HAS SOUS 9845 HAS SOUPS 9476 WITH SCORE 9550.481
AT ITER 1805 NEW BEST:: SOT 91760 SOS 74485 HAS SOPS 33168 HAS SOUS 9838 HAS SOUPS 9469 WITH SCORE 9543.485
AT ITER 1807 NEW BEST:: SOT 91760 SOS 74425 HAS SOPS 33052 HAS SOUS 9836 HAS SOUPS 9467 WITH SCORE 9541.425
AT ITER 1810 NEW BEST:: SOT 91864 SOS 74443 HAS SOPS 32988 HAS SOUS 9752 HAS SOUPS 9383 WITH SCORE 9457.443
AT ITER 1825 NEW BEST:: SOT 91861 SOS 74440 HAS SOPS 32985 HAS SOUS 9749 HAS SOUPS 9380 WITH SCORE 9454.44
AT ITER 1843 NEW BEST:: SOT 91815 SOS 74337 HAS SOPS 32893 HAS SOUS 9657 HAS SOUPS 9288 WITH SCORE 9362.337
AT ITER 1847 NEW BEST:: SOT 91822 SOS 74334 HAS SOPS 32891 HAS SOUS 9653 HAS SOUPS 9284 WITH SCORE 9358.334
AT ITER 1851 NEW BEST:: SOT 91822 SOS 74300 HAS SOPS 32874 HAS SOUS 9653 HAS SOUPS 9284 WITH SCORE 9358.3
AT ITER 1877 NEW BEST:: SOT 91841 SOS 74322 HAS SOPS 32554 HAS SOUS 9629 HAS SOUPS 9260 WITH SCORE 9334.322
AT ITER 1885 NEW BEST:: SOT 91813 SOS 74266 HAS SOPS 32498 HAS SOUS 9601 HAS SOUPS 9232 WITH SCORE 9306.266
AT ITER 1892 NEW BEST:: SOT 91812 SOS 74264 HAS SOPS 32496 HAS SOUS 9600 HAS SOUPS 9231 WITH SCORE 9305.264
AT ITER 1920 NEW BEST:: SOT 91797 SOS 74258 HAS SOPS 32491 HAS SOUS 9595 HAS SOUPS 9226 WITH SCORE 9300.258
AT ITER 1930 NEW BEST:: SOT 91796 SOS 74256 HAS SOPS 32431 HAS SOUS 9591 HAS SOUPS 9222 WITH SCORE 9296.256
AT ITER 1957 NEW BEST:: SOT 91790 SOS 74237 HAS SOPS 32419 HAS SOUS 9579 HAS SOUPS 9210 WITH SCORE 9284.237
AT ITER 1958 NEW BEST:: SOT 91798 SOS 74258 HAS SOPS 32435 HAS SOUS 9564 HAS SOUPS 9195 WITH SCORE 9269.258
AT ITER 1965 NEW BEST:: SOT 91797 SOS 74256 HAS SOPS 32432 HAS SOUS 9561 HAS SOUPS 9192 WITH SCORE 9266.256
AT ITER 1990 NEW BEST:: SOT 91760 SOS 74254 HAS SOPS 32358 HAS SOUS 9487 HAS SOUPS 9118 WITH SCORE 9192.254
AT ITER 1993 NEW BEST:: SOT 91687 SOS 74192 HAS SOPS 32263 HAS SOUS 9378 HAS SOUPS 9009 WITH SCORE 9083.192
AT ITER 2011 NEW BEST:: SOT 91690 SOS 74199 HAS SOPS 32269 HAS SOUS 9367 HAS SOUPS 8998 WITH SCORE 9072.199
AT ITER 2022 NEW BEST:: SOT 91653 SOS 74166 HAS SOPS 32219 HAS SOUS 9324 HAS SOUPS 8955 WITH SCORE 9029.166
AT ITER 2027 NEW BEST:: SOT 91636 SOS 74127 HAS SOPS 32185 HAS SOUS 9313 HAS SOUPS 8944 WITH SCORE 9018.127
AT ITER 2065 NEW BEST:: SOT 91629 SOS 74120 HAS SOPS 32171 HAS SOUS 9299 HAS SOUPS 8930 WITH SCORE 9004.12
AT ITER 2086 NEW BEST:: SOT 91594 SOS 74082 HAS SOPS 32111 HAS SOUS 9258 HAS SOUPS 8889 WITH SCORE 8963.082
AT ITER 2105 NEW BEST:: SOT 91585 SOS 74078 HAS SOPS 32103 HAS SOUS 9254 HAS SOUPS 8885 WITH SCORE 8959.078
AT ITER 2110 NEW BEST:: SOT 91585 SOS 75995 HAS SOPS 32095 HAS SOUS 9250 HAS SOUPS 8877 WITH SCORE 8952.995
AT ITER 2111 NEW BEST:: SOT 91582 SOS 75989 HAS SOPS 32089 HAS SOUS 9247 HAS SOUPS 8874 WITH SCORE 8949.989
AT ITER 2121 NEW BEST:: SOT 91585 SOS 75985 HAS SOPS 32088 HAS SOUS 9246 HAS SOUPS 8873 WITH SCORE 8948.985
AT ITER 2136 NEW BEST:: SOT 91562 SOS 75960 HAS SOPS 32062 HAS SOUS 9231 HAS SOUPS 8858 WITH SCORE 8933.96
AT ITER 2147 NEW BEST:: SOT 91548 SOS 75896 HAS SOPS 32009 HAS SOUS 9203 HAS SOUPS 8830 WITH SCORE 8905.896
AT ITER 2169 NEW BEST:: SOT 91548 SOS 75896 HAS SOPS 32009 HAS SOUS 9202 HAS SOUPS 8829 WITH SCORE 8904.896
AT ITER 2192 NEW BEST:: SOT 91541 SOS 75889 HAS SOPS 32009 HAS SOUS 9202 HAS SOUPS 8829 WITH SCORE 8904.889
AT ITER 2208 NEW BEST:: SOT 91548 SOS 75890 HAS SOPS 32007 HAS SOUS 9203 HAS SOUPS 8827 WITH SCORE 8902.89
AT ITER 2266 NEW BEST:: SOT 91591 SOS 75932 HAS SOPS 32035 HAS SOUS 9198 HAS SOUPS 8822 WITH SCORE 8897.932
AT ITER 2304 NEW BEST:: SOT 91581 SOS 75912 HAS SOPS 32015 HAS SOUS 9188 HAS SOUPS 8812 WITH SCORE 8887.912
AT ITER 2331 NEW BEST:: SOT 91565 SOS 75896 HAS SOPS 31995 HAS SOUS 9171 HAS SOUPS 8795 WITH SCORE 8870.896
AT ITER 2362 NEW BEST:: SOT 91545 SOS 75856 HAS SOPS 31946 HAS SOUS 9131 HAS SOUPS 8755 WITH SCORE 8830.856
AT ITER 2370 NEW BEST:: SOT 91506 SOS 75817 HAS SOPS 31900 HAS SOUS 9085 HAS SOUPS 8709 WITH SCORE 8784.817
AT ITER 2391 NEW BEST:: SOT 91506 SOS 75795 HAS SOPS 31900 HAS SOUS 9085 HAS SOUPS 8709 WITH SCORE 8784.795
AT ITER 2411 NEW BEST:: SOT 91506 SOS 75776 HAS SOPS 31881 HAS SOUS 9066 HAS SOUPS 8690 WITH SCORE 8765.776
AT ITER 2423 NEW BEST:: SOT 91506 SOS 75773 HAS SOPS 31878 HAS SOUS 9063 HAS SOUPS 8687 WITH SCORE 8762.773
AT ITER 2438 NEW BEST:: SOT 91531 SOS 75748 HAS SOPS 31878 HAS SOUS 9059 HAS SOUPS 8683 WITH SCORE 8758.748
AT ITER 2484 NEW BEST:: SOT 91018 SOS 75225 HAS SOPS 31368 HAS SOUS 8923 HAS SOUPS 8547 WITH SCORE 8622.225
AT ITER 2502 NEW BEST:: SOT 91010 SOS 75209 HAS SOPS 31352 HAS SOUS 8917 HAS SOUPS 8541 WITH SCORE 8616.209
AT ITER 2521 NEW BEST:: SOT 91001 SOS 75191 HAS SOPS 31334 HAS SOUS 8902 HAS SOUPS 8525 WITH SCORE 8600.191
AT ITER 2525 NEW BEST:: SOT 91000 SOS 75189 HAS SOPS 31332 HAS SOUS 8900 HAS SOUPS 8523 WITH SCORE 8598.189
AT ITER 2532 NEW BEST:: SOT 90991 SOS 75180 HAS SOPS 31314 HAS SOUS 8882 HAS SOUPS 8505 WITH SCORE 8580.18
AT ITER 2570 NEW BEST:: SOT 91007 SOS 75147 HAS SOPS 31290 HAS SOUS 8863 HAS SOUPS 8486 WITH SCORE 8561.147
AT ITER 2574 NEW BEST:: SOT 91003 SOS 75147 HAS SOPS 31282 HAS SOUS 8855 HAS SOUPS 8478 WITH SCORE 8553.147
AT ITER 2579 NEW BEST:: SOT 91030 SOS 75174 HAS SOPS 31336 HAS SOUS 8834 HAS SOUPS 8457 WITH SCORE 8532.174
AT ITER 2646 NEW BEST:: SOT 91031 SOS 75170 HAS SOPS 31161 HAS SOUS 8829 HAS SOUPS 8452 WITH SCORE 8527.17
AT ITER 2684 NEW BEST:: SOT 91026 SOS 75165 HAS SOPS 31151 HAS SOUS 8819 HAS SOUPS 8442 WITH SCORE 8517.165
AT ITER 2714 NEW BEST:: SOT 91024 SOS 75165 HAS SOPS 31149 HAS SOUS 8817 HAS SOUPS 8440 WITH SCORE 8515.165
AT ITER 2715 NEW BEST:: SOT 91024 SOS 75165 HAS SOPS 31148 HAS SOUS 8816 HAS SOUPS 8439 WITH SCORE 8514.165
AT ITER 2716 NEW BEST:: SOT 91021 SOS 75159 HAS SOPS 31142 HAS SOUS 8810 HAS SOUPS 8433 WITH SCORE 8508.159
AT ITER 2730 NEW BEST:: SOT 91016 SOS 75151 HAS SOPS 31132 HAS SOUS 8803 HAS SOUPS 8426 WITH SCORE 8501.151
AT ITER 2735 NEW BEST:: SOT 91016 SOS 75151 HAS SOPS 31132 HAS SOUS 8782 HAS SOUPS 8405 WITH SCORE 8480.151
AT ITER 2742 NEW BEST:: SOT 91020 SOS 75100 HAS SOPS 31095 HAS SOUS 8753 HAS SOUPS 8376 WITH SCORE 8451.1
AT ITER 2747 NEW BEST:: SOT 91014 SOS 75088 HAS SOPS 31083 HAS SOUS 8747 HAS SOUPS 8370 WITH SCORE 8445.088
AT ITER 2789 NEW BEST:: SOT 90841 SOS 74906 HAS SOPS 30949 HAS SOUS 8682 HAS SOUPS 8305 WITH SCORE 8379.906
AT ITER 2812 NEW BEST:: SOT 90842 SOS 74905 HAS SOPS 30949 HAS SOUS 8682 HAS SOUPS 8305 WITH SCORE 8379.905
AT ITER 2821 NEW BEST:: SOT 90826 SOS 74882 HAS SOPS 30948 HAS SOUS 8681 HAS SOUPS 8304 WITH SCORE 8378.882
AT ITER 2824 NEW BEST:: SOT 90827 SOS 74861 HAS SOPS 30912 HAS SOUS 8645 HAS SOUPS 8268 WITH SCORE 8342.861
AT ITER 2845 NEW BEST:: SOT 90826 SOS 74860 HAS SOPS 30910 HAS SOUS 8643 HAS SOUPS 8266 WITH SCORE 8340.86
AT ITER 2846 NEW BEST:: SOT 90805 SOS 74850 HAS SOPS 30886 HAS SOUS 8632 HAS SOUPS 8255 WITH SCORE 8329.85
AT ITER 2906 NEW BEST:: SOT 90804 SOS 74831 HAS SOPS 30875 HAS SOUS 8630 HAS SOUPS 8253 WITH SCORE 8327.831
AT ITER 2915 NEW BEST:: SOT 90800 SOS 74812 HAS SOPS 30867 HAS SOUS 8622 HAS SOUPS 8245 WITH SCORE 8319.812
AT ITER 2919 NEW BEST:: SOT 90794 SOS 74806 HAS SOPS 30855 HAS SOUS 8610 HAS SOUPS 8233 WITH SCORE 8307.806
AT ITER 2933 NEW BEST:: SOT 90806 SOS 74824 HAS SOPS 30555 HAS SOUS 8604 HAS SOUPS 8227 WITH SCORE 8301.824
AT ITER 2937 NEW BEST:: SOT 90805 SOS 74822 HAS SOPS 30553 HAS SOUS 8603 HAS SOUPS 8226 WITH SCORE 8300.822
AT ITER 2960 NEW BEST:: SOT 90790 SOS 74817 HAS SOPS 30533 HAS SOUS 8583 HAS SOUPS 8206 WITH SCORE 8280.817
AT ITER 2972 NEW BEST:: SOT 90804 SOS 74814 HAS SOPS 30533 HAS SOUS 8583 HAS SOUPS 8206 WITH SCORE 8280.814
AT ITER 2998 NEW BEST:: SOT 90803 SOS 74812 HAS SOPS 30530 HAS SOUS 8580 HAS SOUPS 8203 WITH SCORE 8277.812
AT ITER 3004 NEW BEST:: SOT 90788 SOS 74764 HAS SOPS 30500 HAS SOUS 8550 HAS SOUPS 8173 WITH SCORE 8247.764
AT ITER 3061 NEW BEST:: SOT 90810 SOS 74696 HAS SOPS 30493 HAS SOUS 8543 HAS SOUPS 8166 WITH SCORE 8240.696
AT ITER 3069 NEW BEST:: SOT 90799 SOS 74685 HAS SOPS 30471 HAS SOUS 8521 HAS SOUPS 8144 WITH SCORE 8218.685
AT ITER 3070 NEW BEST:: SOT 90798 SOS 74684 HAS SOPS 30470 HAS SOUS 8520 HAS SOUPS 8143 WITH SCORE 8217.684
AT ITER 3123 NEW BEST:: SOT 90798 SOS 74682 HAS SOPS 30468 HAS SOUS 8518 HAS SOUPS 8141 WITH SCORE 8215.682
AT ITER 3132 NEW BEST:: SOT 90788 SOS 74669 HAS SOPS 30448 HAS SOUS 8498 HAS SOUPS 8121 WITH SCORE 8195.669
AT ITER 3157 NEW BEST:: SOT 90783 SOS 74651 HAS SOPS 30423 HAS SOUS 8473 HAS SOUPS 8096 WITH SCORE 8170.651
AT ITER 3171 NEW BEST:: SOT 90783 SOS 74651 HAS SOPS 30422 HAS SOUS 8471 HAS SOUPS 8094 WITH SCORE 8168.651
AT ITER 3188 NEW BEST:: SOT 90763 SOS 74647 HAS SOPS 30398 HAS SOUS 8447 HAS SOUPS 8070 WITH SCORE 8144.647
AT ITER 3233 NEW BEST:: SOT 90761 SOS 74647 HAS SOPS 30396 HAS SOUS 8445 HAS SOUPS 8068 WITH SCORE 8142.647
AT ITER 3246 NEW BEST:: SOT 90745 SOS 74615 HAS SOPS 30364 HAS SOUS 8439 HAS SOUPS 8062 WITH SCORE 8136.615
AT ITER 3251 NEW BEST:: SOT 90739 SOS 74539 HAS SOPS 30317 HAS SOUS 8427 HAS SOUPS 8050 WITH SCORE 8124.539
AT ITER 3260 NEW BEST:: SOT 90713 SOS 74517 HAS SOPS 30295 HAS SOUS 8420 HAS SOUPS 8043 WITH SCORE 8117.517
AT ITER 3266 NEW BEST:: SOT 90712 SOS 74517 HAS SOPS 30294 HAS SOUS 8418 HAS SOUPS 8041 WITH SCORE 8115.517
AT ITER 3267 NEW BEST:: SOT 90712 SOS 74504 HAS SOPS 30294 HAS SOUS 8418 HAS SOUPS 8041 WITH SCORE 8115.504
AT ITER 3292 NEW BEST:: SOT 90709 SOS 74500 HAS SOPS 30289 HAS SOUS 8415 HAS SOUPS 8038 WITH SCORE 8112.5
AT ITER 3313 NEW BEST:: SOT 90708 SOS 74498 HAS SOPS 30287 HAS SOUS 8414 HAS SOUPS 8037 WITH SCORE 8111.498
AT ITER 3320 NEW BEST:: SOT 90704 SOS 74488 HAS SOPS 30275 HAS SOUS 8404 HAS SOUPS 8027 WITH SCORE 8101.488
AT ITER 3338 NEW BEST:: SOT 90659 SOS 74392 HAS SOPS 30185 HAS SOUS 8318 HAS SOUPS 7941 WITH SCORE 8015.392
AT ITER 3353 NEW BEST:: SOT 90661 SOS 74390 HAS SOPS 30189 HAS SOUS 8316 HAS SOUPS 7939 WITH SCORE 8013.39
AT ITER 3366 NEW BEST:: SOT 90650 SOS 74374 HAS SOPS 30179 HAS SOUS 8310 HAS SOUPS 7933 WITH SCORE 8007.374
AT ITER 3439 NEW BEST:: SOT 90647 SOS 74392 HAS SOPS 30173 HAS SOUS 8294 HAS SOUPS 7917 WITH SCORE 7991.392
AT ITER 3484 NEW BEST:: SOT 90645 SOS 74388 HAS SOPS 30167 HAS SOUS 8286 HAS SOUPS 7909 WITH SCORE 7983.388
AT ITER 3485 NEW BEST:: SOT 90644 SOS 74387 HAS SOPS 30165 HAS SOUS 8284 HAS SOUPS 7907 WITH SCORE 7981.387
AT ITER 3533 NEW BEST:: SOT 90639 SOS 74383 HAS SOPS 30333 HAS SOUS 8282 HAS SOUPS 7905 WITH SCORE 7979.383
AT ITER 3538 NEW BEST:: SOT 90635 SOS 74379 HAS SOPS 30327 HAS SOUS 8276 HAS SOUPS 7899 WITH SCORE 7973.379
AT ITER 3539 NEW BEST:: SOT 90572 SOS 74379 HAS SOPS 30288 HAS SOUS 8246 HAS SOUPS 7869 WITH SCORE 7943.379
AT ITER 3543 NEW BEST:: SOT 90573 SOS 74359 HAS SOPS 30279 HAS SOUS 8237 HAS SOUPS 7860 WITH SCORE 7934.359
AT ITER 3546 NEW BEST:: SOT 90546 SOS 74332 HAS SOPS 30225 HAS SOUS 8207 HAS SOUPS 7830 WITH SCORE 7904.332
AT ITER 3547 NEW BEST:: SOT 90546 SOS 74332 HAS SOPS 30225 HAS SOUS 8172 HAS SOUPS 7795 WITH SCORE 7869.332
AT ITER 3552 NEW BEST:: SOT 90546 SOS 74332 HAS SOPS 30225 HAS SOUS 8168 HAS SOUPS 7791 WITH SCORE 7865.332
AT ITER 3555 NEW BEST:: SOT 90537 SOS 74323 HAS SOPS 30207 HAS SOUS 8150 HAS SOUPS 7773 WITH SCORE 7847.323
AT ITER 3574 NEW BEST:: SOT 90528 SOS 74301 HAS SOPS 30189 HAS SOUS 8145 HAS SOUPS 7768 WITH SCORE 7842.301
AT ITER 3608 NEW BEST:: SOT 90517 SOS 74268 HAS SOPS 30156 HAS SOUS 8123 HAS SOUPS 7746 WITH SCORE 7820.268
AT ITER 3632 NEW BEST:: SOT 90507 SOS 74251 HAS SOPS 30136 HAS SOUS 8110 HAS SOUPS 7733 WITH SCORE 7807.251
AT ITER 3634 NEW BEST:: SOT 90502 SOS 74247 HAS SOPS 30126 HAS SOUS 8105 HAS SOUPS 7728 WITH SCORE 7802.247
AT ITER 3654 NEW BEST:: SOT 90515 SOS 74235 HAS SOPS 30119 HAS SOUS 8094 HAS SOUPS 7717 WITH SCORE 7791.235
AT ITER 3685 NEW BEST:: SOT 90512 SOS 74231 HAS SOPS 30114 HAS SOUS 8090 HAS SOUPS 7713 WITH SCORE 7787.231
AT ITER 3704 NEW BEST:: SOT 90504 SOS 74217 HAS SOPS 30098 HAS SOUS 8077 HAS SOUPS 7700 WITH SCORE 7774.217
AT ITER 3742 NEW BEST:: SOT 90495 SOS 74198 HAS SOPS 30080 HAS SOUS 8069 HAS SOUPS 7692 WITH SCORE 7766.198
AT ITER 3763 NEW BEST:: SOT 90488 SOS 74198 HAS SOPS 30066 HAS SOUS 8055 HAS SOUPS 7678 WITH SCORE 7752.198
AT ITER 3786 NEW BEST:: SOT 90440 SOS 74168 HAS SOPS 30008 HAS SOUS 7989 HAS SOUPS 7612 WITH SCORE 7686.168
AT ITER 3851 NEW BEST:: SOT 90436 SOS 74200 HAS SOPS 30019 HAS SOUS 7983 HAS SOUPS 7606 WITH SCORE 7680.2
AT ITER 3891 NEW BEST:: SOT 90423 SOS 74158 HAS SOPS 29993 HAS SOUS 7947 HAS SOUPS 7570 WITH SCORE 7644.158
AT ITER 3926 NEW BEST:: SOT 90422 SOS 74160 HAS SOPS 29991 HAS SOUS 7942 HAS SOUPS 7565 WITH SCORE 7639.16
AT ITER 3959 NEW BEST:: SOT 90418 SOS 74152 HAS SOPS 29983 HAS SOUS 7934 HAS SOUPS 7557 WITH SCORE 7631.152
AT ITER 3981 NEW BEST:: SOT 90404 SOS 74131 HAS SOPS 29955 HAS SOUS 7918 HAS SOUPS 7541 WITH SCORE 7615.131
AT ITER 3996 NEW BEST:: SOT 90394 SOS 74124 HAS SOPS 29935 HAS SOUS 7898 HAS SOUPS 7521 WITH SCORE 7595.124
AT ITER 4001 NEW BEST:: SOT 90400 SOS 74117 HAS SOPS 29934 HAS SOUS 7884 HAS SOUPS 7507 WITH SCORE 7581.117
AT ITER 4076 NEW BEST:: SOT 90384 SOS 74089 HAS SOPS 29902 HAS SOUS 7852 HAS SOUPS 7475 WITH SCORE 7549.089
AT ITER 4098 NEW BEST:: SOT 90383 SOS 74088 HAS SOPS 29901 HAS SOUS 7852 HAS SOUPS 7475 WITH SCORE 7549.088
AT ITER 4118 NEW BEST:: SOT 90379 SOS 74084 HAS SOPS 29896 HAS SOUS 7850 HAS SOUPS 7473 WITH SCORE 7547.084
AT ITER 4176 NEW BEST:: SOT 90369 SOS 74064 HAS SOPS 29866 HAS SOUS 7830 HAS SOUPS 7453 WITH SCORE 7527.064
AT ITER 4180 NEW BEST:: SOT 90365 SOS 74065 HAS SOPS 29861 HAS SOUS 7823 HAS SOUPS 7446 WITH SCORE 7520.065
AT ITER 4205 NEW BEST:: SOT 90351 SOS 74064 HAS SOPS 29833 HAS SOUS 7797 HAS SOUPS 7420 WITH SCORE 7494.064
AT ITER 4269 NEW BEST:: SOT 90349 SOS 74054 HAS SOPS 29691 HAS SOUS 7667 HAS SOUPS 7290 WITH SCORE 7364.054
AT ITER 4276 NEW BEST:: SOT 90348 SOS 74050 HAS SOPS 29689 HAS SOUS 7665 HAS SOUPS 7288 WITH SCORE 7362.05
AT ITER 4292 NEW BEST:: SOT 90350 SOS 74051 HAS SOPS 29693 HAS SOUS 7664 HAS SOUPS 7287 WITH SCORE 7361.051
AT ITER 4338 NEW BEST:: SOT 90346 SOS 74047 HAS SOPS 29689 HAS SOUS 7660 HAS SOUPS 7283 WITH SCORE 7357.047
AT ITER 4428 NEW BEST:: SOT 90346 SOS 74046 HAS SOPS 29688 HAS SOUS 7660 HAS SOUPS 7283 WITH SCORE 7357.046
AT ITER 4439 NEW BEST:: SOT 90342 SOS 74049 HAS SOPS 29686 HAS SOUS 7655 HAS SOUPS 7278 WITH SCORE 7352.049
AT ITER 4471 NEW BEST:: SOT 90335 SOS 74035 HAS SOPS 29672 HAS SOUS 7648 HAS SOUPS 7271 WITH SCORE 7345.035
AT ITER 4479 NEW BEST:: SOT 90328 SOS 74028 HAS SOPS 29658 HAS SOUS 7634 HAS SOUPS 7257 WITH SCORE 7331.028
AT ITER 4489 NEW BEST:: SOT 90305 SOS 73989 HAS SOPS 29612 HAS SOUS 7597 HAS SOUPS 7220 WITH SCORE 7293.989
AT ITER 4505 NEW BEST:: SOT 90304 SOS 73989 HAS SOPS 29611 HAS SOUS 7596 HAS SOUPS 7219 WITH SCORE 7292.989
AT ITER 4518 NEW BEST:: SOT 90304 SOS 73987 HAS SOPS 29609 HAS SOUS 7594 HAS SOUPS 7217 WITH SCORE 7290.987
AT ITER 4579 NEW BEST:: SOT 90275 SOS 73929 HAS SOPS 29551 HAS SOUS 7565 HAS SOUPS 7188 WITH SCORE 7261.929
AT ITER 4618 NEW BEST:: SOT 90272 SOS 73923 HAS SOPS 29561 HAS SOUS 7562 HAS SOUPS 7185 WITH SCORE 7258.923
AT ITER 4645 NEW BEST:: SOT 90262 SOS 73899 HAS SOPS 29535 HAS SOUS 7542 HAS SOUPS 7165 WITH SCORE 7238.899
AT ITER 4695 NEW BEST:: SOT 90262 SOS 73898 HAS SOPS 29525 HAS SOUS 7516 HAS SOUPS 7139 WITH SCORE 7212.898
AT ITER 4698 NEW BEST:: SOT 90254 SOS 73890 HAS SOPS 29517 HAS SOUS 7508 HAS SOUPS 7131 WITH SCORE 7204.89
AT ITER 4704 NEW BEST:: SOT 90265 SOS 73890 HAS SOPS 29506 HAS SOUS 7497 HAS SOUPS 7120 WITH SCORE 7193.89
AT ITER 4788 NEW BEST:: SOT 90264 SOS 73888 HAS SOPS 29503 HAS SOUS 7494 HAS SOUPS 7117 WITH SCORE 7190.888
AT ITER 4941 NEW BEST:: SOT 90260 SOS 73888 HAS SOPS 29499 HAS SOUS 7490 HAS SOUPS 7113 WITH SCORE 7186.888
AT ITER 4960 NEW BEST:: SOT 90243 SOS 73863 HAS SOPS 29465 HAS SOUS 7471 HAS SOUPS 7094 WITH SCORE 7167.863
AT ITER 4997 NEW BEST:: SOT 90237 SOS 73855 HAS SOPS 29455 HAS SOUS 7461 HAS SOUPS 7084 WITH SCORE 7157.855
AT ITER 4998 NEW BEST:: SOT 90233 SOS 73847 HAS SOPS 29443 HAS SOUS 7453 HAS SOUPS 7076 WITH SCORE 7149.847
AT ITER 5029 NEW BEST:: SOT 90186 SOS 73767 HAS SOPS 29349 HAS SOUS 7356 HAS SOUPS 6979 WITH SCORE 7052.767
AT ITER 5061 NEW BEST:: SOT 90183 SOS 73762 HAS SOPS 29343 HAS SOUS 7351 HAS SOUPS 6974 WITH SCORE 7047.762
AT ITER 5165 NEW BEST:: SOT 90173 SOS 73747 HAS SOPS 29323 HAS SOUS 7331 HAS SOUPS 6954 WITH SCORE 7027.747
AT ITER 5169 NEW BEST:: SOT 90171 SOS 73745 HAS SOPS 29319 HAS SOUS 7327 HAS SOUPS 6950 WITH SCORE 7023.745
AT ITER 5198 NEW BEST:: SOT 90165 SOS 73735 HAS SOPS 29307 HAS SOUS 7319 HAS SOUPS 6942 WITH SCORE 7015.735
AT ITER 5202 NEW BEST:: SOT 90173 SOS 73721 HAS SOPS 29301 HAS SOUS 7291 HAS SOUPS 6914 WITH SCORE 6987.721
AT ITER 5238 NEW BEST:: SOT 90167 SOS 73712 HAS SOPS 29292 HAS SOUS 7282 HAS SOUPS 6905 WITH SCORE 6978.712
AT ITER 5276 NEW BEST:: SOT 90163 SOS 73708 HAS SOPS 29288 HAS SOUS 7278 HAS SOUPS 6901 WITH SCORE 6974.708
AT ITER 5287 NEW BEST:: SOT 90162 SOS 73706 HAS SOPS 29285 HAS SOUS 7276 HAS SOUPS 6899 WITH SCORE 6972.706
AT ITER 5427 NEW BEST:: SOT 90148 SOS 73674 HAS SOPS 29257 HAS SOUS 7266 HAS SOUPS 6889 WITH SCORE 6962.674
AT ITER 5493 NEW BEST:: SOT 90142 SOS 73668 HAS SOPS 29254 HAS SOUS 7263 HAS SOUPS 6886 WITH SCORE 6959.668
AT ITER 5520 NEW BEST:: SOT 90139 SOS 73665 HAS SOPS 29248 HAS SOUS 7257 HAS SOUPS 6880 WITH SCORE 6953.665
AT ITER 5539 NEW BEST:: SOT 90106 SOS 73594 HAS SOPS 29182 HAS SOUS 7222 HAS SOUPS 6845 WITH SCORE 6918.594
AT ITER 5549 NEW BEST:: SOT 90106 SOS 73593 HAS SOPS 29182 HAS SOUS 7222 HAS SOUPS 6845 WITH SCORE 6918.593
AT ITER 5618 NEW BEST:: SOT 90104 SOS 73591 HAS SOPS 29178 HAS SOUS 7220 HAS SOUPS 6843 WITH SCORE 6916.591
AT ITER 5667 NEW BEST:: SOT 90089 SOS 73576 HAS SOPS 29163 HAS SOUS 7205 HAS SOUPS 6828 WITH SCORE 6901.576
AT ITER 5678 NEW BEST:: SOT 90081 SOS 73571 HAS SOPS 29158 HAS SOUS 7178 HAS SOUPS 6801 WITH SCORE 6874.571
AT ITER 5688 NEW BEST:: SOT 90081 SOS 73569 HAS SOPS 29156 HAS SOUS 7178 HAS SOUPS 6801 WITH SCORE 6874.569
AT ITER 5691 NEW BEST:: SOT 90316 SOS 73799 HAS SOPS 29377 HAS SOUS 7164 HAS SOUPS 6787 WITH SCORE 6860.799
AT ITER 5700 NEW BEST:: SOT 90348 SOS 73804 HAS SOPS 29441 HAS SOUS 7149 HAS SOUPS 6772 WITH SCORE 6845.804
AT ITER 5729 NEW BEST:: SOT 90344 SOS 73798 HAS SOPS 29433 HAS SOUS 7143 HAS SOUPS 6766 WITH SCORE 6839.798
AT ITER 5755 NEW BEST:: SOT 90313 SOS 73777 HAS SOPS 29421 HAS SOUS 7131 HAS SOUPS 6754 WITH SCORE 6827.777
AT ITER 5773 NEW BEST:: SOT 90307 SOS 73771 HAS SOPS 29409 HAS SOUS 7119 HAS SOUPS 6742 WITH SCORE 6815.771
AT ITER 5881 NEW BEST:: SOT 90307 SOS 73770 HAS SOPS 29408 HAS SOUS 7118 HAS SOUPS 6741 WITH SCORE 6814.77
AT ITER 5898 NEW BEST:: SOT 90280 SOS 73745 HAS SOPS 29385 HAS SOUS 7098 HAS SOUPS 6721 WITH SCORE 6794.745
AT ITER 5904 NEW BEST:: SOT 90276 SOS 73746 HAS SOPS 29377 HAS SOUS 7088 HAS SOUPS 6711 WITH SCORE 6784.746
AT ITER 5944 NEW BEST:: SOT 90276 SOS 73725 HAS SOPS 29362 HAS SOUS 7076 HAS SOUPS 6699 WITH SCORE 6772.725
AT ITER 5958 NEW BEST:: SOT 90272 SOS 73713 HAS SOPS 29346 HAS SOUS 7068 HAS SOUPS 6691 WITH SCORE 6764.713
AT ITER 5979 NEW BEST:: SOT 90269 SOS 73691 HAS SOPS 29308 HAS SOUS 7030 HAS SOUPS 6653 WITH SCORE 6726.691
AT ITER 5999 NEW BEST:: SOT 90264 SOS 73680 HAS SOPS 29297 HAS SOUS 7025 HAS SOUPS 6648 WITH SCORE 6721.68
AT ITER 6002 NEW BEST:: SOT 90233 SOS 73650 HAS SOPS 29267 HAS SOUS 7011 HAS SOUPS 6634 WITH SCORE 6707.65
AT ITER 6028 NEW BEST:: SOT 90223 SOS 73640 HAS SOPS 29254 HAS SOUS 7005 HAS SOUPS 6628 WITH SCORE 6701.64
AT ITER 6037 NEW BEST:: SOT 90220 SOS 73637 HAS SOPS 29248 HAS SOUS 6999 HAS SOUPS 6622 WITH SCORE 6695.637
AT ITER 6109 NEW BEST:: SOT 90180 SOS 73517 HAS SOPS 29128 HAS SOUS 6919 HAS SOUPS 6542 WITH SCORE 6615.517
AT ITER 6120 NEW BEST:: SOT 90174 SOS 73505 HAS SOPS 29116 HAS SOUS 6913 HAS SOUPS 6536 WITH SCORE 6609.505
AT ITER 6183 NEW BEST:: SOT 90173 SOS 73505 HAS SOPS 29114 HAS SOUS 6912 HAS SOUPS 6535 WITH SCORE 6608.505
AT ITER 6185 NEW BEST:: SOT 90173 SOS 73504 HAS SOPS 29114 HAS SOUS 6912 HAS SOUPS 6535 WITH SCORE 6608.504
AT ITER 6215 NEW BEST:: SOT 90159 SOS 73476 HAS SOPS 29086 HAS SOUS 6891 HAS SOUPS 6514 WITH SCORE 6587.476
AT ITER 6232 NEW BEST:: SOT 90159 SOS 73476 HAS SOPS 29058 HAS SOUS 6863 HAS SOUPS 6486 WITH SCORE 6559.476
AT ITER 6249 NEW BEST:: SOT 90159 SOS 73473 HAS SOPS 29055 HAS SOUS 6860 HAS SOUPS 6483 WITH SCORE 6556.473
AT ITER 6250 NEW BEST:: SOT 90157 SOS 73471 HAS SOPS 29053 HAS SOUS 6860 HAS SOUPS 6483 WITH SCORE 6556.471
AT ITER 6266 NEW BEST:: SOT 90187 SOS 73501 HAS SOPS 29088 HAS SOUS 6850 HAS SOUPS 6473 WITH SCORE 6546.501
AT ITER 6283 NEW BEST:: SOT 90186 SOS 73499 HAS SOPS 29086 HAS SOUS 6849 HAS SOUPS 6472 WITH SCORE 6545.499
AT ITER 6294 NEW BEST:: SOT 90186 SOS 73497 HAS SOPS 29084 HAS SOUS 6849 HAS SOUPS 6472 WITH SCORE 6545.497
AT ITER 6377 NEW BEST:: SOT 90164 SOS 73546 HAS SOPS 29081 HAS SOUS 6820 HAS SOUPS 6443 WITH SCORE 6516.546
AT ITER 6384 NEW BEST:: SOT 90154 SOS 73525 HAS SOPS 29061 HAS SOUS 6809 HAS SOUPS 6432 WITH SCORE 6505.525
AT ITER 6388 NEW BEST:: SOT 90155 SOS 73523 HAS SOPS 29060 HAS SOUS 6809 HAS SOUPS 6432 WITH SCORE 6505.523
AT ITER 6421 NEW BEST:: SOT 90196 SOS 73561 HAS SOPS 29084 HAS SOUS 6802 HAS SOUPS 6425 WITH SCORE 6498.561
AT ITER 6524 NEW BEST:: SOT 90196 SOS 73559 HAS SOPS 29081 HAS SOUS 6799 HAS SOUPS 6422 WITH SCORE 6495.559
AT ITER 6561 NEW BEST:: SOT 90198 SOS 73551 HAS SOPS 29076 HAS SOUS 6790 HAS SOUPS 6413 WITH SCORE 6486.551
AT ITER 6604 NEW BEST:: SOT 90197 SOS 73549 HAS SOPS 29074 HAS SOUS 6788 HAS SOUPS 6411 WITH SCORE 6484.549
AT ITER 6631 NEW BEST:: SOT 90195 SOS 73545 HAS SOPS 29070 HAS SOUS 6786 HAS SOUPS 6409 WITH SCORE 6482.545
AT ITER 6760 NEW BEST:: SOT 90192 SOS 73542 HAS SOPS 29064 HAS SOUS 6780 HAS SOUPS 6403 WITH SCORE 6476.542
AT ITER 6789 NEW BEST:: SOT 90182 SOS 73516 HAS SOPS 29044 HAS SOUS 6758 HAS SOUPS 6381 WITH SCORE 6454.516
AT ITER 6821 NEW BEST:: SOT 90178 SOS 73478 HAS SOPS 29019 HAS SOUS 6750 HAS SOUPS 6373 WITH SCORE 6446.478
AT ITER 6841 NEW BEST:: SOT 90179 SOS 73466 HAS SOPS 29021 HAS SOUS 6748 HAS SOUPS 6371 WITH SCORE 6444.466
AT ITER 6849 NEW BEST:: SOT 90179 SOS 73459 HAS SOPS 29021 HAS SOUS 6748 HAS SOUPS 6371 WITH SCORE 6444.459
AT ITER 6867 NEW BEST:: SOT 90172 SOS 73445 HAS SOPS 29007 HAS SOUS 6734 HAS SOUPS 6357 WITH SCORE 6430.445
AT ITER 6868 NEW BEST:: SOT 90170 SOS 73438 HAS SOPS 29003 HAS SOUS 6733 HAS SOUPS 6356 WITH SCORE 6429.438
AT ITER 6904 NEW BEST:: SOT 90167 SOS 73433 HAS SOPS 28997 HAS SOUS 6729 HAS SOUPS 6352 WITH SCORE 6425.433
AT ITER 6912 NEW BEST:: SOT 90164 SOS 73426 HAS SOPS 28991 HAS SOUS 6727 HAS SOUPS 6350 WITH SCORE 6423.426
AT ITER 6915 NEW BEST:: SOT 90159 SOS 73423 HAS SOPS 28981 HAS SOUS 6713 HAS SOUPS 6336 WITH SCORE 6409.423
AT ITER 6918 NEW BEST:: SOT 90155 SOS 73423 HAS SOPS 28977 HAS SOUS 6712 HAS SOUPS 6335 WITH SCORE 6408.423
AT ITER 6923 NEW BEST:: SOT 90154 SOS 73418 HAS SOPS 28975 HAS SOUS 6709 HAS SOUPS 6332 WITH SCORE 6405.418
AT ITER 6963 NEW BEST:: SOT 90129 SOS 73394 HAS SOPS 28919 HAS SOUS 6680 HAS SOUPS 6303 WITH SCORE 6376.394
AT ITER 7069 NEW BEST:: SOT 90126 SOS 73392 HAS SOPS 28918 HAS SOUS 6679 HAS SOUPS 6302 WITH SCORE 6375.392
AT ITER 7082 NEW BEST:: SOT 90126 SOS 73391 HAS SOPS 28917 HAS SOUS 6679 HAS SOUPS 6302 WITH SCORE 6375.391
AT ITER 7110 NEW BEST:: SOT 89907 SOS 73173 HAS SOPS 28708 HAS SOUS 6604 HAS SOUPS 6227 WITH SCORE 6300.173
AT ITER 7118 NEW BEST:: SOT 89904 SOS 73166 HAS SOPS 28702 HAS SOUS 6598 HAS SOUPS 6221 WITH SCORE 6294.166
AT ITER 7144 NEW BEST:: SOT 89892 SOS 73142 HAS SOPS 28678 HAS SOUS 6586 HAS SOUPS 6209 WITH SCORE 6282.142
AT ITER 7175 NEW BEST:: SOT 89891 SOS 73154 HAS SOPS 28676 HAS SOUS 6585 HAS SOUPS 6208 WITH SCORE 6281.154
AT ITER 7214 NEW BEST:: SOT 89887 SOS 73146 HAS SOPS 28668 HAS SOUS 6581 HAS SOUPS 6204 WITH SCORE 6277.146
AT ITER 7261 NEW BEST:: SOT 89880 SOS 73145 HAS SOPS 28654 HAS SOUS 6566 HAS SOUPS 6189 WITH SCORE 6262.145
AT ITER 7293 NEW BEST:: SOT 89880 SOS 73145 HAS SOPS 28654 HAS SOUS 6564 HAS SOUPS 6187 WITH SCORE 6260.145
AT ITER 7388 NEW BEST:: SOT 89869 SOS 73125 HAS SOPS 28632 HAS SOUS 6551 HAS SOUPS 6174 WITH SCORE 6247.125
AT ITER 7412 NEW BEST:: SOT 89855 SOS 73104 HAS SOPS 28604 HAS SOUS 6529 HAS SOUPS 6152 WITH SCORE 6225.104
AT ITER 7453 NEW BEST:: SOT 89849 SOS 73102 HAS SOPS 28597 HAS SOUS 6522 HAS SOUPS 6145 WITH SCORE 6218.102
AT ITER 7484 NEW BEST:: SOT 89829 SOS 73072 HAS SOPS 28557 HAS SOUS 6492 HAS SOUPS 6115 WITH SCORE 6188.072
AT ITER 7504 NEW BEST:: SOT 89831 SOS 73064 HAS SOPS 28556 HAS SOUS 6491 HAS SOUPS 6114 WITH SCORE 6187.064
AT ITER 7513 NEW BEST:: SOT 89831 SOS 73064 HAS SOPS 28553 HAS SOUS 6488 HAS SOUPS 6111 WITH SCORE 6184.064
AT ITER 7561 NEW BEST:: SOT 89825 SOS 73055 HAS SOPS 28544 HAS SOUS 6479 HAS SOUPS 6102 WITH SCORE 6175.055
AT ITER 7672 NEW BEST:: SOT 89816 SOS 73049 HAS SOPS 28536 HAS SOUS 6471 HAS SOUPS 6094 WITH SCORE 6167.049
AT ITER 7826 NEW BEST:: SOT 89825 SOS 73041 HAS SOPS 28535 HAS SOUS 6470 HAS SOUPS 6093 WITH SCORE 6166.041
AT ITER 7838 NEW BEST:: SOT 89821 SOS 73033 HAS SOPS 28527 HAS SOUS 6466 HAS SOUPS 6089 WITH SCORE 6162.033
AT ITER 7855 NEW BEST:: SOT 89813 SOS 73014 HAS SOPS 28511 HAS SOUS 6461 HAS SOUPS 6084 WITH SCORE 6157.014
AT ITER 7980 NEW BEST:: SOT 89801 SOS 73010 HAS SOPS 28503 HAS SOUS 6454 HAS SOUPS 6077 WITH SCORE 6150.01
AT ITER 8010 NEW BEST:: SOT 89805 SOS 73005 HAS SOPS 28498 HAS SOUS 6447 HAS SOUPS 6070 WITH SCORE 6143.005
AT ITER 8286 NEW BEST:: SOT 89804 SOS 72999 HAS SOPS 28496 HAS SOUS 6445 HAS SOUPS 6068 WITH SCORE 6140.999
AT ITER 8392 NEW BEST:: SOT 89776 SOS 72962 HAS SOPS 28461 HAS SOUS 6411 HAS SOUPS 6034 WITH SCORE 6106.962
AT ITER 8516 NEW BEST:: SOT 89768 SOS 72954 HAS SOPS 28455 HAS SOUS 6406 HAS SOUPS 6029 WITH SCORE 6101.954
AT ITER 8594 NEW BEST:: SOT 89787 SOS 72970 HAS SOPS 28435 HAS SOUS 6402 HAS SOUPS 6025 WITH SCORE 6097.97
AT ITER 8648 NEW BEST:: SOT 89784 SOS 72967 HAS SOPS 28429 HAS SOUS 6396 HAS SOUPS 6019 WITH SCORE 6091.967
AT ITER 8677 NEW BEST:: SOT 89777 SOS 72964 HAS SOPS 28426 HAS SOUS 6393 HAS SOUPS 6016 WITH SCORE 6088.964
AT ITER 8695 NEW BEST:: SOT 89769 SOS 72964 HAS SOPS 28418 HAS SOUS 6385 HAS SOUPS 6008 WITH SCORE 6080.964
AT ITER 8821 NEW BEST:: SOT 89765 SOS 72960 HAS SOPS 28417 HAS SOUS 6384 HAS SOUPS 6007 WITH SCORE 6079.96
AT ITER 8903 NEW BEST:: SOT 89775 SOS 72954 HAS SOPS 28419 HAS SOUS 6384 HAS SOUPS 6007 WITH SCORE 6079.954
AT ITER 8924 NEW BEST:: SOT 89774 SOS 72953 HAS SOPS 28418 HAS SOUS 6384 HAS SOUPS 6007 WITH SCORE 6079.953
AT ITER 8979 NEW BEST:: SOT 89767 SOS 72944 HAS SOPS 28404 HAS SOUS 6373 HAS SOUPS 5993 WITH SCORE 6065.944
AT ITER 9015 NEW BEST:: SOT 89761 SOS 72935 HAS SOPS 28398 HAS SOUS 6369 HAS SOUPS 5989 WITH SCORE 6061.935
AT ITER 9040 NEW BEST:: SOT 89761 SOS 72933 HAS SOPS 28392 HAS SOUS 6363 HAS SOUPS 5983 WITH SCORE 6055.933
AT ITER 9058 NEW BEST:: SOT 89752 SOS 72906 HAS SOPS 28356 HAS SOUS 6345 HAS SOUPS 5965 WITH SCORE 6037.906
AT ITER 9094 NEW BEST:: SOT 89742 SOS 72896 HAS SOPS 28336 HAS SOUS 6325 HAS SOUPS 5945 WITH SCORE 6017.896
AT ITER 9183 NEW BEST:: SOT 89726 SOS 72897 HAS SOPS 28321 HAS SOUS 6310 HAS SOUPS 5930 WITH SCORE 6002.897
AT ITER 9221 NEW BEST:: SOT 89723 SOS 72895 HAS SOPS 28318 HAS SOUS 6308 HAS SOUPS 5928 WITH SCORE 6000.895
AT ITER 9554 NEW BEST:: SOT 89722 SOS 72905 HAS SOPS 28316 HAS SOUS 6306 HAS SOUPS 5926 WITH SCORE 5998.905
AT ITER 9639 NEW BEST:: SOT 89718 SOS 72897 HAS SOPS 28308 HAS SOUS 6302 HAS SOUPS 5922 WITH SCORE 5994.897
AT ITER 9767 NEW BEST:: SOT 89712 SOS 72889 HAS SOPS 28296 HAS SOUS 6299 HAS SOUPS 5919 WITH SCORE 5991.889
AT ITER 9787 NEW BEST:: SOT 89713 SOS 72888 HAS SOPS 28294 HAS SOUS 6299 HAS SOUPS 5919 WITH SCORE 5991.888
AT ITER 9845 NEW BEST:: SOT 89708 SOS 72885 HAS SOPS 28288 HAS SOUS 6291 HAS SOUPS 5911 WITH SCORE 5983.885
AT ITER 9846 NEW BEST:: SOT 89704 SOS 72882 HAS SOPS 28283 HAS SOUS 6286 HAS SOUPS 5906 WITH SCORE 5978.882
AT ITER 9870 NEW BEST:: SOT 89693 SOS 72872 HAS SOPS 28266 HAS SOUS 6274 HAS SOUPS 5894 WITH SCORE 5966.872
AT ITER 9903 NEW BEST:: SOT 89689 SOS 72868 HAS SOPS 28260 HAS SOUS 6270 HAS SOUPS 5890 WITH SCORE 5962.868
AT ITER 9914 NEW BEST:: SOT 89673 SOS 72854 HAS SOPS 28228 HAS SOUS 6258 HAS SOUPS 5878 WITH SCORE 5950.854
AT ITER 9931 NEW BEST:: SOT 89675 SOS 72856 HAS SOPS 28124 HAS SOUS 6255 HAS SOUPS 5875 WITH SCORE 5947.856
AT ITER 9993 NEW BEST:: SOT 89669 SOS 72844 HAS SOPS 28109 HAS SOUS 6243 HAS SOUPS 5863 WITH SCORE 5935.844
STATE_SPACE STATES 184884258895036417 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 18 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 4783880198909067265 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678454568492

--------------------
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="FlexibleBarrier-PT-16a"
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 FlexibleBarrier-PT-16a, 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 r163-tall-167838847900544"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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