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.r171-tall-167838858800560.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 smartxred
Input is FlexibleBarrier-PT-18a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r171-tall-167838858800560
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 664K
-rw-r--r-- 1 mcc users 7.3K Feb 25 13:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 25 13:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 12:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 12:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.3K Feb 25 13:30 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 25 13:30 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.4K Feb 25 13:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 25 13:21 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 265K 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 1679481685093

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=FlexibleBarrier-PT-18a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 10:41:26] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 10:41:26] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 10:41:26] [INFO ] Load time of PNML (sax parser for PT used): 77 ms
[2023-03-22 10:41:26] [INFO ] Transformed 219 places.
[2023-03-22 10:41:26] [INFO ] Transformed 886 transitions.
[2023-03-22 10:41:26] [INFO ] Found NUPN structural information;
[2023-03-22 10:41:26] [INFO ] Parsed PT model containing 219 places and 886 transitions and 4355 arcs in 145 ms.
[2023-03-22 10:41:26] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 219 places, 886 transitions and 4355 arcs took 10 ms.
Total runtime 182 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 18a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 219 places, 886 transitions, 4355 arcs.
AT ITER 0 NEW BEST:: SOT 171612 SOS 147997 HAS SOPS 147997 HAS SOUS 83087 HAS SOUPS 83087 WITH SCORE 83234.997
AT ITER 1 NEW BEST:: SOT 171265 SOS 147767 HAS SOPS 147767 HAS SOUS 83055 HAS SOUPS 83055 WITH SCORE 83202.767
AT ITER 3 NEW BEST:: SOT 171302 SOS 147724 HAS SOPS 147724 HAS SOUS 83014 HAS SOUPS 83014 WITH SCORE 83161.724
AT ITER 5 NEW BEST:: SOT 171288 SOS 147454 HAS SOPS 147454 HAS SOUS 82676 HAS SOUPS 82676 WITH SCORE 82823.454
AT ITER 9 NEW BEST:: SOT 171288 SOS 147233 HAS SOPS 147233 HAS SOUS 82571 HAS SOUPS 82571 WITH SCORE 82718.233
AT ITER 16 NEW BEST:: SOT 171109 SOS 147054 HAS SOPS 147054 HAS SOUS 82403 HAS SOUPS 82403 WITH SCORE 82550.054
AT ITER 18 NEW BEST:: SOT 170556 SOS 146424 HAS SOPS 146424 HAS SOUS 82059 HAS SOUPS 82059 WITH SCORE 82205.424
AT ITER 20 NEW BEST:: SOT 170589 SOS 146422 HAS SOPS 146422 HAS SOUS 82055 HAS SOUPS 82055 WITH SCORE 82201.422
AT ITER 23 NEW BEST:: SOT 170210 SOS 146041 HAS SOPS 146041 HAS SOUS 81843 HAS SOUPS 81843 WITH SCORE 81989.041
AT ITER 27 NEW BEST:: SOT 170414 SOS 145725 HAS SOPS 145725 HAS SOUS 79433 HAS SOUPS 79433 WITH SCORE 79578.725
AT ITER 30 NEW BEST:: SOT 170434 SOS 145491 HAS SOPS 145491 HAS SOUS 78293 HAS SOUPS 78293 WITH SCORE 78438.491
AT ITER 31 NEW BEST:: SOT 170472 SOS 145147 HAS SOPS 145147 HAS SOUS 76641 HAS SOUPS 76641 WITH SCORE 76786.147
AT ITER 32 NEW BEST:: SOT 170586 SOS 145374 HAS SOPS 145374 HAS SOUS 76638 HAS SOUPS 76638 WITH SCORE 76783.374
AT ITER 33 NEW BEST:: SOT 170622 SOS 144654 HAS SOPS 144654 HAS SOUS 75237 HAS SOUPS 75237 WITH SCORE 75381.654
AT ITER 35 NEW BEST:: SOT 170689 SOS 144788 HAS SOPS 144788 HAS SOUS 75235 HAS SOUPS 75235 WITH SCORE 75379.788
AT ITER 36 NEW BEST:: SOT 167247 SOS 142186 HAS SOPS 141166 HAS SOUS 71774 HAS SOUPS 71694 WITH SCORE 71836.186
AT ITER 37 NEW BEST:: SOT 166799 SOS 140746 HAS SOPS 139726 HAS SOUS 66988 HAS SOUPS 66908 WITH SCORE 67048.746
AT ITER 39 NEW BEST:: SOT 166795 SOS 140740 HAS SOPS 139718 HAS SOUS 66979 HAS SOUPS 66899 WITH SCORE 67039.74
AT ITER 40 NEW BEST:: SOT 166760 SOS 138712 HAS SOPS 137690 HAS SOUS 63456 HAS SOUPS 63376 WITH SCORE 63514.712
AT ITER 41 NEW BEST:: SOT 166713 SOS 138390 HAS SOPS 137368 HAS SOUS 61831 HAS SOUPS 61751 WITH SCORE 61889.39
AT ITER 43 NEW BEST:: SOT 166711 SOS 138339 HAS SOPS 137317 HAS SOUS 61750 HAS SOUPS 61670 WITH SCORE 61808.339
AT ITER 44 NEW BEST:: SOT 166669 SOS 138255 HAS SOPS 137212 HAS SOUS 61645 HAS SOUPS 61565 WITH SCORE 61703.255
AT ITER 46 NEW BEST:: SOT 166668 SOS 136045 HAS SOPS 135034 HAS SOUS 58773 HAS SOUPS 58693 WITH SCORE 58829.045
AT ITER 47 NEW BEST:: SOT 166715 SOS 136092 HAS SOPS 135081 HAS SOUS 58770 HAS SOUPS 58690 WITH SCORE 58826.092
AT ITER 51 NEW BEST:: SOT 166664 SOS 135906 HAS SOPS 134844 HAS SOUS 58623 HAS SOUPS 58543 WITH SCORE 58678.906
AT ITER 53 NEW BEST:: SOT 166243 SOS 131756 HAS SOPS 130686 HAS SOUS 53369 HAS SOUPS 53287 WITH SCORE 53418.756
AT ITER 54 NEW BEST:: SOT 166294 SOS 131340 HAS SOPS 130270 HAS SOUS 53242 HAS SOUPS 53160 WITH SCORE 53291.34
AT ITER 56 NEW BEST:: SOT 166372 SOS 131370 HAS SOPS 130261 HAS SOUS 53175 HAS SOUPS 53093 WITH SCORE 53224.37
AT ITER 67 NEW BEST:: SOT 166403 SOS 131347 HAS SOPS 130213 HAS SOUS 53127 HAS SOUPS 53045 WITH SCORE 53176.347
AT ITER 68 NEW BEST:: SOT 166364 SOS 130809 HAS SOPS 129675 HAS SOUS 51992 HAS SOUPS 51910 WITH SCORE 52040.809
AT ITER 73 NEW BEST:: SOT 166364 SOS 128339 HAS SOPS 127205 HAS SOUS 50752 HAS SOUPS 50670 WITH SCORE 50798.339
AT ITER 74 NEW BEST:: SOT 166302 SOS 128277 HAS SOPS 127081 HAS SOUS 50629 HAS SOUPS 50546 WITH SCORE 50674.277
AT ITER 75 NEW BEST:: SOT 166279 SOS 128231 HAS SOPS 127012 HAS SOUS 50583 HAS SOUPS 50500 WITH SCORE 50628.231
AT ITER 79 NEW BEST:: SOT 166147 SOS 126097 HAS SOPS 124888 HAS SOUS 47885 HAS SOUPS 47802 WITH SCORE 47928.097
AT ITER 80 NEW BEST:: SOT 166075 SOS 125573 HAS SOPS 124375 HAS SOUS 47670 HAS SOUPS 47587 WITH SCORE 47712.573
AT ITER 84 NEW BEST:: SOT 166117 SOS 125571 HAS SOPS 124361 HAS SOUS 47653 HAS SOUPS 47570 WITH SCORE 47695.571
AT ITER 88 NEW BEST:: SOT 165988 SOS 125442 HAS SOPS 124232 HAS SOUS 47644 HAS SOUPS 47561 WITH SCORE 47686.442
AT ITER 96 NEW BEST:: SOT 166050 SOS 124114 HAS SOPS 122938 HAS SOUS 46372 HAS SOUPS 46289 WITH SCORE 46413.114
AT ITER 97 NEW BEST:: SOT 166085 SOS 124145 HAS SOPS 123008 HAS SOUS 46340 HAS SOUPS 46257 WITH SCORE 46381.145
AT ITER 101 NEW BEST:: SOT 165285 SOS 123157 HAS SOPS 121970 HAS SOUS 45887 HAS SOUPS 45804 WITH SCORE 45927.157
AT ITER 103 NEW BEST:: SOT 165338 SOS 123178 HAS SOPS 121940 HAS SOUS 45886 HAS SOUPS 45803 WITH SCORE 45926.178
AT ITER 105 NEW BEST:: SOT 165324 SOS 123150 HAS SOPS 121898 HAS SOUS 45858 HAS SOUPS 45775 WITH SCORE 45898.15
AT ITER 108 NEW BEST:: SOT 165226 SOS 122999 HAS SOPS 121702 HAS SOUS 45673 HAS SOUPS 45590 WITH SCORE 45712.999
AT ITER 109 NEW BEST:: SOT 165240 SOS 122976 HAS SOPS 121666 HAS SOUS 45594 HAS SOUPS 45511 WITH SCORE 45633.976
AT ITER 116 NEW BEST:: SOT 165121 SOS 122723 HAS SOPS 121413 HAS SOUS 45490 HAS SOUPS 45407 WITH SCORE 45529.723
AT ITER 118 NEW BEST:: SOT 165093 SOS 122651 HAS SOPS 121335 HAS SOUS 45412 HAS SOUPS 45329 WITH SCORE 45451.651
AT ITER 121 NEW BEST:: SOT 165045 SOS 122497 HAS SOPS 121181 HAS SOUS 45306 HAS SOUPS 45223 WITH SCORE 45345.497
AT ITER 122 NEW BEST:: SOT 165097 SOS 122577 HAS SOPS 121285 HAS SOUS 45278 HAS SOUPS 45195 WITH SCORE 45317.577
AT ITER 126 NEW BEST:: SOT 165147 SOS 122555 HAS SOPS 121221 HAS SOUS 45214 HAS SOUPS 45131 WITH SCORE 45253.555
AT ITER 127 NEW BEST:: SOT 165132 SOS 122688 HAS SOPS 121354 HAS SOUS 45055 HAS SOUPS 44972 WITH SCORE 45094.688
AT ITER 130 NEW BEST:: SOT 165111 SOS 122667 HAS SOPS 121333 HAS SOUS 45034 HAS SOUPS 44951 WITH SCORE 45073.667
AT ITER 135 NEW BEST:: SOT 165276 SOS 121612 HAS SOPS 120313 HAS SOUS 44366 HAS SOUPS 44283 WITH SCORE 44404.612
AT ITER 136 NEW BEST:: SOT 165268 SOS 121532 HAS SOPS 120233 HAS SOUS 44110 HAS SOUPS 44027 WITH SCORE 44148.532
AT ITER 138 NEW BEST:: SOT 165218 SOS 121358 HAS SOPS 120047 HAS SOUS 44065 HAS SOUPS 43982 WITH SCORE 44103.358
AT ITER 141 NEW BEST:: SOT 165200 SOS 121336 HAS SOPS 120020 HAS SOUS 44064 HAS SOUPS 43981 WITH SCORE 44102.336
AT ITER 143 NEW BEST:: SOT 165113 SOS 121185 HAS SOPS 119846 HAS SOUS 44047 HAS SOUPS 43964 WITH SCORE 44085.185
AT ITER 144 NEW BEST:: SOT 165175 SOS 121255 HAS SOPS 119970 HAS SOUS 44001 HAS SOUPS 43918 WITH SCORE 44039.255
AT ITER 146 NEW BEST:: SOT 165196 SOS 119759 HAS SOPS 118474 HAS SOUS 43426 HAS SOUPS 43343 WITH SCORE 43462.759
AT ITER 148 NEW BEST:: SOT 164406 SOS 118939 HAS SOPS 117654 HAS SOUS 43025 HAS SOUPS 42942 WITH SCORE 43060.939
AT ITER 149 NEW BEST:: SOT 164441 SOS 118941 HAS SOPS 117656 HAS SOUS 42992 HAS SOUPS 42909 WITH SCORE 43027.941
AT ITER 150 NEW BEST:: SOT 164203 SOS 119320 HAS SOPS 117389 HAS SOUS 42775 HAS SOUPS 42676 WITH SCORE 42795.32
AT ITER 152 NEW BEST:: SOT 164201 SOS 119270 HAS SOPS 117337 HAS SOUS 42723 HAS SOUPS 42624 WITH SCORE 42743.27
AT ITER 155 NEW BEST:: SOT 164165 SOS 119222 HAS SOPS 117265 HAS SOUS 42654 HAS SOUPS 42552 WITH SCORE 42671.222
AT ITER 161 NEW BEST:: SOT 164144 SOS 119171 HAS SOPS 117223 HAS SOUS 42576 HAS SOUPS 42474 WITH SCORE 42593.171
AT ITER 165 NEW BEST:: SOT 164161 SOS 115938 HAS SOPS 114027 HAS SOUS 41314 HAS SOUPS 41212 WITH SCORE 41327.938
AT ITER 167 NEW BEST:: SOT 164161 SOS 115938 HAS SOPS 114027 HAS SOUS 41306 HAS SOUPS 41204 WITH SCORE 41319.938
AT ITER 168 NEW BEST:: SOT 164189 SOS 115966 HAS SOPS 114027 HAS SOUS 41299 HAS SOUPS 41197 WITH SCORE 41312.966
AT ITER 170 NEW BEST:: SOT 164212 SOS 115991 HAS SOPS 114048 HAS SOUS 41293 HAS SOUPS 41191 WITH SCORE 41306.991
AT ITER 171 NEW BEST:: SOT 154926 SOS 121054 HAS SOPS 104750 HAS SOUS 37999 HAS SOUPS 37744 WITH SCORE 37865.054
AT ITER 177 NEW BEST:: SOT 154817 SOS 120945 HAS SOPS 104532 HAS SOUS 37797 HAS SOUPS 37526 WITH SCORE 37646.945
AT ITER 179 NEW BEST:: SOT 154899 SOS 119653 HAS SOPS 101664 HAS SOUS 36884 HAS SOUPS 36613 WITH SCORE 36732.653
AT ITER 183 NEW BEST:: SOT 154774 SOS 119516 HAS SOPS 101414 HAS SOUS 36752 HAS SOUPS 36481 WITH SCORE 36600.516
AT ITER 185 NEW BEST:: SOT 156074 SOS 107206 HAS SOPS 102892 HAS SOUS 36426 HAS SOUPS 36244 WITH SCORE 36351.206
AT ITER 190 NEW BEST:: SOT 156045 SOS 107148 HAS SOPS 102834 HAS SOUS 36425 HAS SOUPS 36243 WITH SCORE 36350.148
AT ITER 201 NEW BEST:: SOT 155903 SOS 106719 HAS SOPS 102348 HAS SOUS 36130 HAS SOUPS 35948 WITH SCORE 36054.719
AT ITER 202 NEW BEST:: SOT 155948 SOS 105033 HAS SOPS 100676 HAS SOUS 35516 HAS SOUPS 35334 WITH SCORE 35439.033
AT ITER 203 NEW BEST:: SOT 155580 SOS 104643 HAS SOPS 100252 HAS SOUS 35297 HAS SOUPS 35115 WITH SCORE 35219.643
AT ITER 205 NEW BEST:: SOT 155578 SOS 104640 HAS SOPS 100248 HAS SOUS 35293 HAS SOUPS 35111 WITH SCORE 35215.64
AT ITER 206 NEW BEST:: SOT 153342 SOS 102404 HAS SOPS 98002 HAS SOUS 34129 HAS SOUPS 33947 WITH SCORE 34049.404
AT ITER 207 NEW BEST:: SOT 150823 SOS 100916 HAS SOPS 96514 HAS SOUS 33333 HAS SOUPS 33151 WITH SCORE 33251.916
AT ITER 209 NEW BEST:: SOT 150814 SOS 98865 HAS SOPS 94463 HAS SOUS 33112 HAS SOUPS 32930 WITH SCORE 33028.865
AT ITER 217 NEW BEST:: SOT 150805 SOS 98856 HAS SOPS 94445 HAS SOUS 33094 HAS SOUPS 32912 WITH SCORE 33010.856
AT ITER 221 NEW BEST:: SOT 150727 SOS 98539 HAS SOPS 94128 HAS SOUS 33015 HAS SOUPS 32833 WITH SCORE 32931.539
AT ITER 225 NEW BEST:: SOT 150756 SOS 97730 HAS SOPS 93319 HAS SOUS 32535 HAS SOUPS 32353 WITH SCORE 32450.73
AT ITER 227 NEW BEST:: SOT 150743 SOS 97733 HAS SOPS 93293 HAS SOUS 32530 HAS SOUPS 32348 WITH SCORE 32445.733
AT ITER 240 NEW BEST:: SOT 150723 SOS 97703 HAS SOPS 93253 HAS SOUS 32510 HAS SOUPS 32328 WITH SCORE 32425.703
AT ITER 242 NEW BEST:: SOT 151168 SOS 98123 HAS SOPS 93425 HAS SOUS 31948 HAS SOUPS 31762 WITH SCORE 31860.123
AT ITER 249 NEW BEST:: SOT 151111 SOS 97943 HAS SOPS 93246 HAS SOUS 31776 HAS SOUPS 31590 WITH SCORE 31687.943
AT ITER 257 NEW BEST:: SOT 151102 SOS 97934 HAS SOPS 93228 HAS SOUS 31758 HAS SOUPS 31572 WITH SCORE 31669.934
AT ITER 258 NEW BEST:: SOT 148749 SOS 127992 HAS SOPS 90702 HAS SOUS 31767 HAS SOUPS 31451 WITH SCORE 31578.992
AT ITER 259 NEW BEST:: SOT 148783 SOS 127996 HAS SOPS 90706 HAS SOUS 31759 HAS SOUPS 31443 WITH SCORE 31570.996
AT ITER 263 NEW BEST:: SOT 148736 SOS 127949 HAS SOPS 90659 HAS SOUS 31712 HAS SOUPS 31396 WITH SCORE 31523.949
AT ITER 271 NEW BEST:: SOT 148760 SOS 127945 HAS SOPS 90629 HAS SOUS 31710 HAS SOUPS 31394 WITH SCORE 31521.945
AT ITER 272 NEW BEST:: SOT 148707 SOS 127624 HAS SOPS 90256 HAS SOUS 31461 HAS SOUPS 31145 WITH SCORE 31272.624
AT ITER 277 NEW BEST:: SOT 148643 SOS 127565 HAS SOPS 90128 HAS SOUS 31374 HAS SOUPS 31053 WITH SCORE 31180.565
AT ITER 278 NEW BEST:: SOT 148719 SOS 127592 HAS SOPS 87466 HAS SOUS 30349 HAS SOUPS 30028 WITH SCORE 30155.592
AT ITER 284 NEW BEST:: SOT 148074 SOS 126947 HAS SOPS 86821 HAS SOUS 30019 HAS SOUPS 29698 WITH SCORE 29824.947
AT ITER 288 NEW BEST:: SOT 148021 SOS 126848 HAS SOPS 86715 HAS SOUS 29925 HAS SOUPS 29604 WITH SCORE 29730.848
AT ITER 291 NEW BEST:: SOT 147997 SOS 126823 HAS SOPS 86667 HAS SOUS 29878 HAS SOUPS 29557 WITH SCORE 29683.823
AT ITER 292 NEW BEST:: SOT 147951 SOS 126856 HAS SOPS 86575 HAS SOUS 29657 HAS SOUPS 29336 WITH SCORE 29462.856
AT ITER 293 NEW BEST:: SOT 147958 SOS 126788 HAS SOPS 86515 HAS SOUS 29565 HAS SOUPS 29244 WITH SCORE 29370.788
AT ITER 297 NEW BEST:: SOT 146200 SOS 124980 HAS SOPS 84695 HAS SOUS 28618 HAS SOUPS 28297 WITH SCORE 28421.98
AT ITER 300 NEW BEST:: SOT 146191 SOS 124971 HAS SOPS 84686 HAS SOUS 28609 HAS SOUPS 28288 WITH SCORE 28412.971
AT ITER 304 NEW BEST:: SOT 146312 SOS 124916 HAS SOPS 84604 HAS SOUS 28532 HAS SOUPS 28211 WITH SCORE 28335.916
AT ITER 314 NEW BEST:: SOT 146312 SOS 124916 HAS SOPS 84604 HAS SOUS 28482 HAS SOUPS 28161 WITH SCORE 28285.916
AT ITER 317 NEW BEST:: SOT 146302 SOS 124884 HAS SOPS 84562 HAS SOUS 28440 HAS SOUPS 28119 WITH SCORE 28243.884
AT ITER 318 NEW BEST:: SOT 146278 SOS 124860 HAS SOPS 84514 HAS SOUS 28393 HAS SOUPS 28071 WITH SCORE 28195.86
AT ITER 324 NEW BEST:: SOT 146665 SOS 125203 HAS SOPS 84697 HAS SOUS 28126 HAS SOUPS 27792 WITH SCORE 27917.203
AT ITER 326 NEW BEST:: SOT 146668 SOS 125192 HAS SOPS 84703 HAS SOUS 28099 HAS SOUPS 27765 WITH SCORE 27890.192
AT ITER 327 NEW BEST:: SOT 148576 SOS 127397 HAS SOPS 80909 HAS SOUS 26773 HAS SOUPS 26449 WITH SCORE 26576.397
AT ITER 330 NEW BEST:: SOT 148672 SOS 127593 HAS SOPS 78325 HAS SOUS 26485 HAS SOUPS 26161 WITH SCORE 26288.593
AT ITER 332 NEW BEST:: SOT 148672 SOS 127561 HAS SOPS 78293 HAS SOUS 26453 HAS SOUPS 26129 WITH SCORE 26256.561
AT ITER 333 NEW BEST:: SOT 148661 SOS 127539 HAS SOPS 78271 HAS SOUS 26431 HAS SOUPS 26107 WITH SCORE 26234.539
AT ITER 342 NEW BEST:: SOT 148717 SOS 127610 HAS SOPS 78267 HAS SOUS 26352 HAS SOUPS 26028 WITH SCORE 26155.61
AT ITER 344 NEW BEST:: SOT 148738 SOS 127510 HAS SOPS 78182 HAS SOUS 26260 HAS SOUPS 25936 WITH SCORE 26063.51
AT ITER 355 NEW BEST:: SOT 148674 SOS 127438 HAS SOPS 78054 HAS SOUS 26142 HAS SOUPS 25818 WITH SCORE 25945.438
AT ITER 357 NEW BEST:: SOT 148670 SOS 127431 HAS SOPS 77342 HAS SOUS 25893 HAS SOUPS 25569 WITH SCORE 25696.431
AT ITER 358 NEW BEST:: SOT 148790 SOS 127361 HAS SOPS 77241 HAS SOUS 25792 HAS SOUPS 25468 WITH SCORE 25595.361
AT ITER 371 NEW BEST:: SOT 148666 SOS 127199 HAS SOPS 77053 HAS SOUS 25604 HAS SOUPS 25280 WITH SCORE 25407.199
AT ITER 382 NEW BEST:: SOT 148641 SOS 127090 HAS SOPS 76861 HAS SOUS 25468 HAS SOUPS 25144 WITH SCORE 25271.09
AT ITER 384 NEW BEST:: SOT 148643 SOS 127090 HAS SOPS 76839 HAS SOUS 25412 HAS SOUPS 25088 WITH SCORE 25215.09
AT ITER 386 NEW BEST:: SOT 146922 SOS 125411 HAS SOPS 75137 HAS SOUS 24553 HAS SOUPS 24229 WITH SCORE 24354.411
AT ITER 396 NEW BEST:: SOT 146808 SOS 125307 HAS SOPS 74976 HAS SOUS 24400 HAS SOUPS 24076 WITH SCORE 24201.307
AT ITER 397 NEW BEST:: SOT 146984 SOS 125463 HAS SOPS 74052 HAS SOUS 24352 HAS SOUPS 24028 WITH SCORE 24153.463
AT ITER 407 NEW BEST:: SOT 146901 SOS 125297 HAS SOPS 73831 HAS SOUS 24214 HAS SOUPS 23890 WITH SCORE 24015.297
AT ITER 412 NEW BEST:: SOT 146965 SOS 125312 HAS SOPS 73837 HAS SOUS 24147 HAS SOUPS 23823 WITH SCORE 23948.312
AT ITER 420 NEW BEST:: SOT 146980 SOS 125342 HAS SOPS 73867 HAS SOUS 24143 HAS SOUPS 23819 WITH SCORE 23944.342
AT ITER 423 NEW BEST:: SOT 146985 SOS 125339 HAS SOPS 73860 HAS SOUS 24136 HAS SOUPS 23812 WITH SCORE 23937.339
AT ITER 432 NEW BEST:: SOT 146984 SOS 125338 HAS SOPS 73859 HAS SOUS 24134 HAS SOUPS 23810 WITH SCORE 23935.338
AT ITER 435 NEW BEST:: SOT 146964 SOS 125311 HAS SOPS 73819 HAS SOUS 24134 HAS SOUPS 23810 WITH SCORE 23935.311
AT ITER 439 NEW BEST:: SOT 146909 SOS 125309 HAS SOPS 73709 HAS SOUS 24059 HAS SOUPS 23735 WITH SCORE 23860.309
AT ITER 446 NEW BEST:: SOT 146907 SOS 125307 HAS SOPS 73707 HAS SOUS 24058 HAS SOUPS 23734 WITH SCORE 23859.307
AT ITER 450 NEW BEST:: SOT 146916 SOS 125282 HAS SOPS 72024 HAS SOUS 23672 HAS SOUPS 23348 WITH SCORE 23473.282
AT ITER 457 NEW BEST:: SOT 146902 SOS 125269 HAS SOPS 72011 HAS SOUS 23658 HAS SOUPS 23334 WITH SCORE 23459.269
AT ITER 468 NEW BEST:: SOT 146752 SOS 125197 HAS SOPS 71836 HAS SOUS 23504 HAS SOUPS 23180 WITH SCORE 23305.197
AT ITER 474 NEW BEST:: SOT 146726 SOS 125186 HAS SOPS 71834 HAS SOUS 23487 HAS SOUPS 23163 WITH SCORE 23288.186
AT ITER 483 NEW BEST:: SOT 146725 SOS 125185 HAS SOPS 71832 HAS SOUS 23485 HAS SOUPS 23161 WITH SCORE 23286.185
AT ITER 488 NEW BEST:: SOT 146579 SOS 124729 HAS SOPS 71363 HAS SOUS 23333 HAS SOUPS 23009 WITH SCORE 23133.729
AT ITER 494 NEW BEST:: SOT 146560 SOS 124710 HAS SOPS 71325 HAS SOUS 23311 HAS SOUPS 22987 WITH SCORE 23111.71
AT ITER 496 NEW BEST:: SOT 146537 SOS 124606 HAS SOPS 71217 HAS SOUS 23228 HAS SOUPS 22904 WITH SCORE 23028.606
AT ITER 497 NEW BEST:: SOT 146533 SOS 124646 HAS SOPS 71257 HAS SOUS 23225 HAS SOUPS 22901 WITH SCORE 23025.646
AT ITER 500 NEW BEST:: SOT 146601 SOS 124646 HAS SOPS 71189 HAS SOUS 23157 HAS SOUPS 22833 WITH SCORE 22957.646
AT ITER 501 NEW BEST:: SOT 146603 SOS 124648 HAS SOPS 71133 HAS SOUS 23153 HAS SOUPS 22829 WITH SCORE 22953.648
AT ITER 503 NEW BEST:: SOT 146602 SOS 124746 HAS SOPS 71231 HAS SOUS 23152 HAS SOUPS 22828 WITH SCORE 22952.746
AT ITER 505 NEW BEST:: SOT 146598 SOS 124738 HAS SOPS 71216 HAS SOUS 23137 HAS SOUPS 22813 WITH SCORE 22937.738
AT ITER 507 NEW BEST:: SOT 146535 SOS 124645 HAS SOPS 71123 HAS SOUS 23044 HAS SOUPS 22720 WITH SCORE 22844.645
AT ITER 513 NEW BEST:: SOT 146139 SOS 124253 HAS SOPS 70847 HAS SOUS 22934 HAS SOUPS 22610 WITH SCORE 22734.253
AT ITER 516 NEW BEST:: SOT 146129 SOS 124233 HAS SOPS 70627 HAS SOUS 22844 HAS SOUPS 22520 WITH SCORE 22644.233
AT ITER 518 NEW BEST:: SOT 146099 SOS 124172 HAS SOPS 70508 HAS SOUS 22785 HAS SOUPS 22461 WITH SCORE 22585.172
AT ITER 546 NEW BEST:: SOT 145828 SOS 123810 HAS SOPS 70081 HAS SOUS 22484 HAS SOUPS 22152 WITH SCORE 22275.81
AT ITER 560 NEW BEST:: SOT 145773 SOS 123767 HAS SOPS 69965 HAS SOUS 22416 HAS SOUPS 22084 WITH SCORE 22207.767
AT ITER 561 NEW BEST:: SOT 146805 SOS 124719 HAS SOPS 70193 HAS SOUS 22372 HAS SOUPS 22040 WITH SCORE 22164.719
AT ITER 562 NEW BEST:: SOT 146804 SOS 124717 HAS SOPS 70187 HAS SOUS 22338 HAS SOUPS 22005 WITH SCORE 22129.717
AT ITER 565 NEW BEST:: SOT 146745 SOS 124739 HAS SOPS 70194 HAS SOUS 22324 HAS SOUPS 21991 WITH SCORE 22115.739
AT ITER 571 NEW BEST:: SOT 147213 SOS 125186 HAS SOPS 70106 HAS SOUS 22125 HAS SOUPS 21792 WITH SCORE 21917.186
AT ITER 572 NEW BEST:: SOT 147186 SOS 125073 HAS SOPS 70052 HAS SOUS 22071 HAS SOUPS 21738 WITH SCORE 21863.073
AT ITER 575 NEW BEST:: SOT 147175 SOS 125012 HAS SOPS 69999 HAS SOUS 22037 HAS SOUPS 21704 WITH SCORE 21829.012
AT ITER 576 NEW BEST:: SOT 147128 SOS 124958 HAS SOPS 69945 HAS SOUS 22030 HAS SOUPS 21697 WITH SCORE 21821.958
AT ITER 580 NEW BEST:: SOT 147108 SOS 124938 HAS SOPS 69925 HAS SOUS 22010 HAS SOUPS 21677 WITH SCORE 21801.938
AT ITER 585 NEW BEST:: SOT 147100 SOS 124772 HAS SOPS 69830 HAS SOUS 21994 HAS SOUPS 21661 WITH SCORE 21785.772
AT ITER 589 NEW BEST:: SOT 147102 SOS 124776 HAS SOPS 69782 HAS SOUS 21944 HAS SOUPS 21611 WITH SCORE 21735.776
AT ITER 591 NEW BEST:: SOT 147152 SOS 124788 HAS SOPS 69222 HAS SOUS 21596 HAS SOUPS 21263 WITH SCORE 21387.788
AT ITER 595 NEW BEST:: SOT 147152 SOS 124787 HAS SOPS 69221 HAS SOUS 21596 HAS SOUPS 21263 WITH SCORE 21387.787
AT ITER 601 NEW BEST:: SOT 147164 SOS 124799 HAS SOPS 69188 HAS SOUS 21563 HAS SOUPS 21230 WITH SCORE 21354.799
AT ITER 607 NEW BEST:: SOT 146473 SOS 124113 HAS SOPS 68561 HAS SOUS 21358 HAS SOUPS 21025 WITH SCORE 21149.113
AT ITER 613 NEW BEST:: SOT 146472 SOS 124124 HAS SOPS 68572 HAS SOUS 21356 HAS SOUPS 21023 WITH SCORE 21147.124
AT ITER 617 NEW BEST:: SOT 145590 SOS 123242 HAS SOPS 67668 HAS SOUS 20882 HAS SOUPS 20549 WITH SCORE 20672.242
AT ITER 621 NEW BEST:: SOT 145620 SOS 123212 HAS SOPS 67628 HAS SOUS 20839 HAS SOUPS 20506 WITH SCORE 20629.212
AT ITER 622 NEW BEST:: SOT 144539 SOS 122132 HAS SOPS 66552 HAS SOUS 20309 HAS SOUPS 19976 WITH SCORE 20098.132
AT ITER 623 NEW BEST:: SOT 144519 SOS 122088 HAS SOPS 65946 HAS SOUS 20156 HAS SOUPS 19823 WITH SCORE 19945.088
AT ITER 625 NEW BEST:: SOT 144591 SOS 122148 HAS SOPS 65718 HAS SOUS 19898 HAS SOUPS 19565 WITH SCORE 19687.148
AT ITER 640 NEW BEST:: SOT 144847 SOS 91964 HAS SOPS 66018 HAS SOUS 19823 HAS SOUPS 19557 WITH SCORE 19648.964
AT ITER 642 NEW BEST:: SOT 144847 SOS 91898 HAS SOPS 65952 HAS SOUS 19823 HAS SOUPS 19557 WITH SCORE 19648.898
AT ITER 643 NEW BEST:: SOT 144845 SOS 91896 HAS SOPS 65950 HAS SOUS 19821 HAS SOUPS 19555 WITH SCORE 19646.896
AT ITER 644 NEW BEST:: SOT 144805 SOS 91799 HAS SOPS 65840 HAS SOUS 19725 HAS SOUPS 19459 WITH SCORE 19550.799
AT ITER 653 NEW BEST:: SOT 144798 SOS 91808 HAS SOPS 65826 HAS SOUS 19705 HAS SOUPS 19439 WITH SCORE 19530.808
AT ITER 661 NEW BEST:: SOT 144785 SOS 91782 HAS SOPS 65800 HAS SOUS 19697 HAS SOUPS 19431 WITH SCORE 19522.782
AT ITER 663 NEW BEST:: SOT 144779 SOS 91776 HAS SOPS 65794 HAS SOUS 19697 HAS SOUPS 19431 WITH SCORE 19522.776
AT ITER 664 NEW BEST:: SOT 144765 SOS 91761 HAS SOPS 65779 HAS SOUS 19561 HAS SOUPS 19295 WITH SCORE 19386.761
AT ITER 677 NEW BEST:: SOT 144824 SOS 91900 HAS SOPS 65842 HAS SOUS 19474 HAS SOUPS 19208 WITH SCORE 19299.9
AT ITER 683 NEW BEST:: SOT 144824 SOS 91900 HAS SOPS 65837 HAS SOUS 19469 HAS SOUPS 19203 WITH SCORE 19294.9
AT ITER 684 NEW BEST:: SOT 144823 SOS 91897 HAS SOPS 65834 HAS SOUS 19442 HAS SOUPS 19176 WITH SCORE 19267.897
AT ITER 685 NEW BEST:: SOT 144762 SOS 91840 HAS SOPS 65764 HAS SOUS 19372 HAS SOUPS 19106 WITH SCORE 19197.84
AT ITER 689 NEW BEST:: SOT 144752 SOS 91819 HAS SOPS 65743 HAS SOUS 19361 HAS SOUPS 19095 WITH SCORE 19186.819
AT ITER 694 NEW BEST:: SOT 144642 SOS 91600 HAS SOPS 65524 HAS SOUS 19253 HAS SOUPS 18987 WITH SCORE 19078.6
AT ITER 699 NEW BEST:: SOT 144298 SOS 118291 HAS SOPS 65017 HAS SOUS 19189 HAS SOUPS 18862 WITH SCORE 18980.291
AT ITER 708 NEW BEST:: SOT 144307 SOS 118282 HAS SOPS 65020 HAS SOUS 19183 HAS SOUPS 18856 WITH SCORE 18974.282
AT ITER 711 NEW BEST:: SOT 144302 SOS 118261 HAS SOPS 65002 HAS SOUS 19160 HAS SOUPS 18833 WITH SCORE 18951.261
AT ITER 723 NEW BEST:: SOT 144299 SOS 118258 HAS SOPS 64996 HAS SOUS 19154 HAS SOUPS 18827 WITH SCORE 18945.258
AT ITER 729 NEW BEST:: SOT 144396 SOS 118301 HAS SOPS 64996 HAS SOUS 19139 HAS SOUPS 18812 WITH SCORE 18930.301
AT ITER 734 NEW BEST:: SOT 144351 SOS 118213 HAS SOPS 64908 HAS SOUS 19062 HAS SOUPS 18735 WITH SCORE 18853.213
AT ITER 741 NEW BEST:: SOT 144174 SOS 118036 HAS SOPS 64731 HAS SOUS 18972 HAS SOUPS 18645 WITH SCORE 18763.036
AT ITER 745 NEW BEST:: SOT 144155 SOS 117967 HAS SOPS 64662 HAS SOUS 18953 HAS SOUPS 18626 WITH SCORE 18743.967
AT ITER 752 NEW BEST:: SOT 144155 SOS 117933 HAS SOPS 64628 HAS SOUS 18919 HAS SOUPS 18592 WITH SCORE 18709.933
AT ITER 755 NEW BEST:: SOT 144144 SOS 117914 HAS SOPS 64609 HAS SOUS 18908 HAS SOUPS 18581 WITH SCORE 18698.914
AT ITER 756 NEW BEST:: SOT 144136 SOS 117896 HAS SOPS 64608 HAS SOUS 18902 HAS SOUPS 18575 WITH SCORE 18692.896
AT ITER 758 NEW BEST:: SOT 143927 SOS 117698 HAS SOPS 64492 HAS SOUS 18790 HAS SOUPS 18463 WITH SCORE 18580.698
AT ITER 760 NEW BEST:: SOT 143927 SOS 117693 HAS SOPS 64455 HAS SOUS 18628 HAS SOUPS 18299 WITH SCORE 18416.693
AT ITER 761 NEW BEST:: SOT 143927 SOS 117686 HAS SOPS 64448 HAS SOUS 18621 HAS SOUPS 18292 WITH SCORE 18409.686
AT ITER 770 NEW BEST:: SOT 143891 SOS 117543 HAS SOPS 64305 HAS SOUS 18531 HAS SOUPS 18202 WITH SCORE 18319.543
AT ITER 772 NEW BEST:: SOT 143835 SOS 117487 HAS SOPS 64193 HAS SOUS 18423 HAS SOUPS 18094 WITH SCORE 18211.487
AT ITER 776 NEW BEST:: SOT 143807 SOS 117397 HAS SOPS 64075 HAS SOUS 18305 HAS SOUPS 17976 WITH SCORE 18093.397
AT ITER 796 NEW BEST:: SOT 143794 SOS 117358 HAS SOPS 64020 HAS SOUS 18276 HAS SOUPS 17947 WITH SCORE 18064.358
AT ITER 813 NEW BEST:: SOT 143803 SOS 117367 HAS SOPS 64016 HAS SOUS 18272 HAS SOUPS 17943 WITH SCORE 18060.367
AT ITER 815 NEW BEST:: SOT 143827 SOS 117325 HAS SOPS 63974 HAS SOUS 18270 HAS SOUPS 17941 WITH SCORE 18058.325
AT ITER 819 NEW BEST:: SOT 143827 SOS 117326 HAS SOPS 63975 HAS SOUS 18269 HAS SOUPS 17940 WITH SCORE 18057.326
AT ITER 846 NEW BEST:: SOT 143863 SOS 117398 HAS SOPS 62931 HAS SOUS 18251 HAS SOUPS 17922 WITH SCORE 18039.398
AT ITER 847 NEW BEST:: SOT 143860 SOS 117392 HAS SOPS 62925 HAS SOUS 18248 HAS SOUPS 17919 WITH SCORE 18036.392
AT ITER 850 NEW BEST:: SOT 143812 SOS 117259 HAS SOPS 62744 HAS SOUS 18067 HAS SOUPS 17738 WITH SCORE 17855.259
AT ITER 855 NEW BEST:: SOT 143806 SOS 117246 HAS SOPS 62732 HAS SOUS 18062 HAS SOUPS 17733 WITH SCORE 17850.246
AT ITER 856 NEW BEST:: SOT 143805 SOS 117244 HAS SOPS 62730 HAS SOUS 18061 HAS SOUPS 17732 WITH SCORE 17849.244
AT ITER 858 NEW BEST:: SOT 143805 SOS 117274 HAS SOPS 62760 HAS SOUS 18044 HAS SOUPS 17715 WITH SCORE 17832.274
AT ITER 859 NEW BEST:: SOT 143820 SOS 117240 HAS SOPS 62746 HAS SOUS 18035 HAS SOUPS 17706 WITH SCORE 17823.24
AT ITER 870 NEW BEST:: SOT 143804 SOS 117135 HAS SOPS 62607 HAS SOUS 17970 HAS SOUPS 17641 WITH SCORE 17758.135
AT ITER 871 NEW BEST:: SOT 143755 SOS 117077 HAS SOPS 62549 HAS SOUS 17925 HAS SOUPS 17596 WITH SCORE 17713.077
AT ITER 873 NEW BEST:: SOT 143754 SOS 117076 HAS SOPS 62547 HAS SOUS 17923 HAS SOUPS 17594 WITH SCORE 17711.076
AT ITER 877 NEW BEST:: SOT 143749 SOS 117035 HAS SOPS 62518 HAS SOUS 17911 HAS SOUPS 17582 WITH SCORE 17699.035
AT ITER 886 NEW BEST:: SOT 143761 SOS 117047 HAS SOPS 62514 HAS SOUS 17907 HAS SOUPS 17578 WITH SCORE 17695.047
AT ITER 901 NEW BEST:: SOT 143743 SOS 117011 HAS SOPS 62460 HAS SOUS 17853 HAS SOUPS 17524 WITH SCORE 17641.011
AT ITER 922 NEW BEST:: SOT 143745 SOS 116984 HAS SOPS 62464 HAS SOUS 17814 HAS SOUPS 17485 WITH SCORE 17601.984
AT ITER 929 NEW BEST:: SOT 143742 SOS 116975 HAS SOPS 62455 HAS SOUS 17811 HAS SOUPS 17482 WITH SCORE 17598.975
AT ITER 933 NEW BEST:: SOT 143678 SOS 116825 HAS SOPS 62284 HAS SOUS 17683 HAS SOUPS 17354 WITH SCORE 17470.825
AT ITER 936 NEW BEST:: SOT 143678 SOS 116817 HAS SOPS 62276 HAS SOUS 17667 HAS SOUPS 17338 WITH SCORE 17454.817
AT ITER 945 NEW BEST:: SOT 143950 SOS 117232 HAS SOPS 57860 HAS SOUS 17110 HAS SOUPS 16781 WITH SCORE 16898.232
AT ITER 948 NEW BEST:: SOT 143900 SOS 117182 HAS SOPS 57810 HAS SOUS 17084 HAS SOUPS 16755 WITH SCORE 16872.182
AT ITER 949 NEW BEST:: SOT 143896 SOS 117176 HAS SOPS 57802 HAS SOUS 17076 HAS SOUPS 16747 WITH SCORE 16864.176
AT ITER 954 NEW BEST:: SOT 143886 SOS 117156 HAS SOPS 57782 HAS SOUS 17075 HAS SOUPS 16746 WITH SCORE 16863.156
AT ITER 963 NEW BEST:: SOT 143885 SOS 117054 HAS SOPS 57631 HAS SOUS 16994 HAS SOUPS 16665 WITH SCORE 16782.054
AT ITER 967 NEW BEST:: SOT 143846 SOS 116845 HAS SOPS 57465 HAS SOUS 16869 HAS SOUPS 16540 WITH SCORE 16656.845
AT ITER 972 NEW BEST:: SOT 143843 SOS 116852 HAS SOPS 57473 HAS SOUS 16868 HAS SOUPS 16539 WITH SCORE 16655.852
AT ITER 977 NEW BEST:: SOT 143843 SOS 116827 HAS SOPS 57473 HAS SOUS 16868 HAS SOUPS 16539 WITH SCORE 16655.827
AT ITER 992 NEW BEST:: SOT 143848 SOS 116830 HAS SOPS 57476 HAS SOUS 16860 HAS SOUPS 16531 WITH SCORE 16647.83
AT ITER 995 NEW BEST:: SOT 143593 SOS 116577 HAS SOPS 57247 HAS SOUS 16783 HAS SOUPS 16454 WITH SCORE 16570.577
AT ITER 1003 NEW BEST:: SOT 143592 SOS 116577 HAS SOPS 57246 HAS SOUS 16782 HAS SOUPS 16453 WITH SCORE 16569.577
AT ITER 1028 NEW BEST:: SOT 143564 SOS 116525 HAS SOPS 57194 HAS SOUS 16726 HAS SOUPS 16397 WITH SCORE 16513.525
AT ITER 1036 NEW BEST:: SOT 143558 SOS 116309 HAS SOPS 56938 HAS SOUS 16482 HAS SOUPS 16153 WITH SCORE 16269.309
AT ITER 1046 NEW BEST:: SOT 143558 SOS 116309 HAS SOPS 56886 HAS SOUS 16473 HAS SOUPS 16144 WITH SCORE 16260.309
AT ITER 1047 NEW BEST:: SOT 143578 SOS 116285 HAS SOPS 56862 HAS SOUS 16451 HAS SOUPS 16122 WITH SCORE 16238.285
AT ITER 1058 NEW BEST:: SOT 143578 SOS 116217 HAS SOPS 56794 HAS SOUS 16383 HAS SOUPS 16054 WITH SCORE 16170.217
AT ITER 1061 NEW BEST:: SOT 143568 SOS 116195 HAS SOPS 56774 HAS SOUS 16375 HAS SOUPS 16046 WITH SCORE 16162.195
AT ITER 1070 NEW BEST:: SOT 143501 SOS 116128 HAS SOPS 56712 HAS SOUS 16313 HAS SOUPS 15984 WITH SCORE 16100.128
AT ITER 1073 NEW BEST:: SOT 143501 SOS 116128 HAS SOPS 56712 HAS SOUS 16310 HAS SOUPS 15981 WITH SCORE 16097.128
AT ITER 1084 NEW BEST:: SOT 143481 SOS 116110 HAS SOPS 56672 HAS SOUS 16270 HAS SOUPS 15941 WITH SCORE 16057.11
AT ITER 1108 NEW BEST:: SOT 143480 SOS 116110 HAS SOPS 56672 HAS SOUS 16269 HAS SOUPS 15940 WITH SCORE 16056.11
AT ITER 1115 NEW BEST:: SOT 143479 SOS 116115 HAS SOPS 56673 HAS SOUS 16268 HAS SOUPS 15939 WITH SCORE 16055.115
AT ITER 1122 NEW BEST:: SOT 143477 SOS 116112 HAS SOPS 56669 HAS SOUS 16264 HAS SOUPS 15935 WITH SCORE 16051.112
AT ITER 1130 NEW BEST:: SOT 143476 SOS 116097 HAS SOPS 56654 HAS SOUS 16250 HAS SOUPS 15921 WITH SCORE 16037.097
AT ITER 1139 NEW BEST:: SOT 143474 SOS 116097 HAS SOPS 56652 HAS SOUS 16248 HAS SOUPS 15919 WITH SCORE 16035.097
AT ITER 1140 NEW BEST:: SOT 143412 SOS 116102 HAS SOPS 56600 HAS SOUS 16183 HAS SOUPS 15854 WITH SCORE 15970.102
AT ITER 1164 NEW BEST:: SOT 143401 SOS 116069 HAS SOPS 56567 HAS SOUS 16161 HAS SOUPS 15832 WITH SCORE 15948.069
AT ITER 1166 NEW BEST:: SOT 143250 SOS 115930 HAS SOPS 57066 HAS SOUS 16144 HAS SOUPS 15815 WITH SCORE 15930.93
AT ITER 1167 NEW BEST:: SOT 143154 SOS 115477 HAS SOPS 56636 HAS SOUS 15833 HAS SOUPS 15504 WITH SCORE 15619.477
AT ITER 1179 NEW BEST:: SOT 143138 SOS 115463 HAS SOPS 56622 HAS SOUS 15819 HAS SOUPS 15490 WITH SCORE 15605.463
AT ITER 1185 NEW BEST:: SOT 142809 SOS 115757 HAS SOPS 56254 HAS SOUS 15483 HAS SOUPS 15141 WITH SCORE 15256.757
AT ITER 1205 NEW BEST:: SOT 142806 SOS 115751 HAS SOPS 56116 HAS SOUS 15263 HAS SOUPS 14921 WITH SCORE 15036.751
AT ITER 1260 NEW BEST:: SOT 142586 SOS 115540 HAS SOPS 55918 HAS SOUS 15176 HAS SOUPS 14834 WITH SCORE 14949.54
AT ITER 1262 NEW BEST:: SOT 142566 SOS 115500 HAS SOPS 55878 HAS SOUS 15146 HAS SOUPS 14804 WITH SCORE 14919.5
AT ITER 1270 NEW BEST:: SOT 142546 SOS 115460 HAS SOPS 55838 HAS SOUS 15106 HAS SOUPS 14764 WITH SCORE 14879.46
AT ITER 1275 NEW BEST:: SOT 142524 SOS 115438 HAS SOPS 55794 HAS SOUS 15062 HAS SOUPS 14720 WITH SCORE 14835.438
AT ITER 1279 NEW BEST:: SOT 142499 SOS 115418 HAS SOPS 55759 HAS SOUS 15026 HAS SOUPS 14684 WITH SCORE 14799.418
AT ITER 1287 NEW BEST:: SOT 141192 SOS 114130 HAS SOPS 54504 HAS SOUS 14460 HAS SOUPS 14118 WITH SCORE 14232.13
AT ITER 1300 NEW BEST:: SOT 141190 SOS 114126 HAS SOPS 54500 HAS SOUS 14448 HAS SOUPS 14106 WITH SCORE 14220.126
AT ITER 1317 NEW BEST:: SOT 140709 SOS 116442 HAS SOPS 53936 HAS SOUS 14020 HAS SOUPS 13633 WITH SCORE 13749.442
AT ITER 1318 NEW BEST:: SOT 140705 SOS 116438 HAS SOPS 53930 HAS SOUS 14014 HAS SOUPS 13627 WITH SCORE 13743.438
AT ITER 1347 NEW BEST:: SOT 140681 SOS 116457 HAS SOPS 53925 HAS SOUS 14009 HAS SOUPS 13622 WITH SCORE 13738.457
AT ITER 1357 NEW BEST:: SOT 140693 SOS 116437 HAS SOPS 53903 HAS SOUS 13971 HAS SOUPS 13584 WITH SCORE 13700.437
AT ITER 1374 NEW BEST:: SOT 140728 SOS 116449 HAS SOPS 53914 HAS SOUS 13946 HAS SOUPS 13559 WITH SCORE 13675.449
AT ITER 1389 NEW BEST:: SOT 140747 SOS 116415 HAS SOPS 53886 HAS SOUS 13936 HAS SOUPS 13549 WITH SCORE 13665.415
AT ITER 1394 NEW BEST:: SOT 140745 SOS 116411 HAS SOPS 53880 HAS SOUS 13930 HAS SOUPS 13543 WITH SCORE 13659.411
AT ITER 1399 NEW BEST:: SOT 140730 SOS 116396 HAS SOPS 53864 HAS SOUS 13921 HAS SOUPS 13534 WITH SCORE 13650.396
AT ITER 1428 NEW BEST:: SOT 140724 SOS 116387 HAS SOPS 53852 HAS SOUS 13915 HAS SOUPS 13528 WITH SCORE 13644.387
AT ITER 1433 NEW BEST:: SOT 140718 SOS 116387 HAS SOPS 53846 HAS SOUS 13909 HAS SOUPS 13522 WITH SCORE 13638.387
AT ITER 1435 NEW BEST:: SOT 140701 SOS 116387 HAS SOPS 53829 HAS SOUS 13892 HAS SOUPS 13505 WITH SCORE 13621.387
AT ITER 1441 NEW BEST:: SOT 140673 SOS 116343 HAS SOPS 53773 HAS SOUS 13852 HAS SOUPS 13465 WITH SCORE 13581.343
AT ITER 1458 NEW BEST:: SOT 140654 SOS 116328 HAS SOPS 53735 HAS SOUS 13815 HAS SOUPS 13428 WITH SCORE 13544.328
AT ITER 1460 NEW BEST:: SOT 140624 SOS 116328 HAS SOPS 53705 HAS SOUS 13785 HAS SOUPS 13398 WITH SCORE 13514.328
AT ITER 1463 NEW BEST:: SOT 140622 SOS 116280 HAS SOPS 53655 HAS SOUS 13735 HAS SOUPS 13348 WITH SCORE 13464.28
AT ITER 1480 NEW BEST:: SOT 140614 SOS 116268 HAS SOPS 53639 HAS SOUS 13719 HAS SOUPS 13332 WITH SCORE 13448.268
AT ITER 1490 NEW BEST:: SOT 140607 SOS 116231 HAS SOPS 53625 HAS SOUS 13705 HAS SOUPS 13318 WITH SCORE 13434.231
AT ITER 1514 NEW BEST:: SOT 140607 SOS 116219 HAS SOPS 53613 HAS SOUS 13693 HAS SOUPS 13306 WITH SCORE 13422.219
AT ITER 1516 NEW BEST:: SOT 140607 SOS 116219 HAS SOPS 53613 HAS SOUS 13690 HAS SOUPS 13303 WITH SCORE 13419.219
AT ITER 1518 NEW BEST:: SOT 140637 SOS 116206 HAS SOPS 53630 HAS SOUS 13666 HAS SOUPS 13279 WITH SCORE 13395.206
AT ITER 1520 NEW BEST:: SOT 140628 SOS 116197 HAS SOPS 53612 HAS SOUS 13648 HAS SOUPS 13261 WITH SCORE 13377.197
AT ITER 1525 NEW BEST:: SOT 140584 SOS 116152 HAS SOPS 53566 HAS SOUS 13623 HAS SOUPS 13236 WITH SCORE 13352.152
AT ITER 1540 NEW BEST:: SOT 140588 SOS 116145 HAS SOPS 53545 HAS SOUS 13613 HAS SOUPS 13226 WITH SCORE 13342.145
AT ITER 1541 NEW BEST:: SOT 140585 SOS 116140 HAS SOPS 53539 HAS SOUS 13611 HAS SOUPS 13224 WITH SCORE 13340.14
AT ITER 1548 NEW BEST:: SOT 140571 SOS 110081 HAS SOPS 53525 HAS SOUS 13602 HAS SOUPS 13215 WITH SCORE 13325.081
AT ITER 1566 NEW BEST:: SOT 140549 SOS 110088 HAS SOPS 53510 HAS SOUS 13587 HAS SOUPS 13200 WITH SCORE 13310.088
AT ITER 1574 NEW BEST:: SOT 140532 SOS 110095 HAS SOPS 53503 HAS SOUS 13581 HAS SOUPS 13194 WITH SCORE 13304.095
AT ITER 1579 NEW BEST:: SOT 140526 SOS 110083 HAS SOPS 53491 HAS SOUS 13569 HAS SOUPS 13182 WITH SCORE 13292.083
AT ITER 1595 NEW BEST:: SOT 140524 SOS 110081 HAS SOPS 53488 HAS SOUS 13566 HAS SOUPS 13179 WITH SCORE 13289.081
AT ITER 1631 NEW BEST:: SOT 140496 SOS 110053 HAS SOPS 53432 HAS SOUS 13510 HAS SOUPS 13123 WITH SCORE 13233.053
AT ITER 1632 NEW BEST:: SOT 140508 SOS 110061 HAS SOPS 53326 HAS SOUS 13498 HAS SOUPS 13111 WITH SCORE 13221.061
AT ITER 1684 NEW BEST:: SOT 140508 SOS 110068 HAS SOPS 53326 HAS SOUS 13491 HAS SOUPS 13104 WITH SCORE 13214.068
AT ITER 1697 NEW BEST:: SOT 140514 SOS 110152 HAS SOPS 53338 HAS SOUS 13471 HAS SOUPS 13084 WITH SCORE 13194.152
AT ITER 1700 NEW BEST:: SOT 140506 SOS 110131 HAS SOPS 53322 HAS SOUS 13468 HAS SOUPS 13081 WITH SCORE 13191.131
AT ITER 1703 NEW BEST:: SOT 140503 SOS 111760 HAS SOPS 53313 HAS SOUS 13468 HAS SOUPS 13078 WITH SCORE 13189.76
AT ITER 1704 NEW BEST:: SOT 140573 SOS 111816 HAS SOPS 53346 HAS SOUS 13440 HAS SOUPS 13050 WITH SCORE 13161.816
AT ITER 1744 NEW BEST:: SOT 140563 SOS 111786 HAS SOPS 53306 HAS SOUS 13400 HAS SOUPS 13010 WITH SCORE 13121.786
AT ITER 1778 NEW BEST:: SOT 140551 SOS 111762 HAS SOPS 53282 HAS SOUS 13376 HAS SOUPS 12986 WITH SCORE 13097.762
AT ITER 1781 NEW BEST:: SOT 140525 SOS 111758 HAS SOPS 53249 HAS SOUS 13339 HAS SOUPS 12949 WITH SCORE 13060.758
AT ITER 1784 NEW BEST:: SOT 140529 SOS 111766 HAS SOPS 53257 HAS SOUS 13314 HAS SOUPS 12924 WITH SCORE 13035.766
AT ITER 1835 NEW BEST:: SOT 140529 SOS 111749 HAS SOPS 53240 HAS SOUS 13297 HAS SOUPS 12907 WITH SCORE 13018.749
AT ITER 1837 NEW BEST:: SOT 140503 SOS 111687 HAS SOPS 53188 HAS SOUS 13281 HAS SOUPS 12891 WITH SCORE 13002.687
AT ITER 1886 NEW BEST:: SOT 140488 SOS 111653 HAS SOPS 53158 HAS SOUS 13251 HAS SOUPS 12861 WITH SCORE 12972.653
AT ITER 1897 NEW BEST:: SOT 140488 SOS 111651 HAS SOPS 53154 HAS SOUS 13247 HAS SOUPS 12857 WITH SCORE 12968.651
AT ITER 1908 NEW BEST:: SOT 140481 SOS 111627 HAS SOPS 53140 HAS SOUS 13233 HAS SOUPS 12843 WITH SCORE 12954.627
AT ITER 1914 NEW BEST:: SOT 140451 SOS 111628 HAS SOPS 53111 HAS SOUS 13204 HAS SOUPS 12814 WITH SCORE 12925.628
AT ITER 1915 NEW BEST:: SOT 140441 SOS 111681 HAS SOPS 53125 HAS SOUS 13194 HAS SOUPS 12804 WITH SCORE 12915.681
AT ITER 1924 NEW BEST:: SOT 140254 SOS 111877 HAS SOPS 55287 HAS SOUS 13192 HAS SOUPS 12802 WITH SCORE 12913.877
AT ITER 1935 NEW BEST:: SOT 140252 SOS 111850 HAS SOPS 55270 HAS SOUS 13188 HAS SOUPS 12798 WITH SCORE 12909.85
AT ITER 1950 NEW BEST:: SOT 140238 SOS 111820 HAS SOPS 55226 HAS SOUS 13144 HAS SOUPS 12754 WITH SCORE 12865.82
AT ITER 1957 NEW BEST:: SOT 140246 SOS 111799 HAS SOPS 55201 HAS SOUS 13136 HAS SOUPS 12746 WITH SCORE 12857.799
AT ITER 1968 NEW BEST:: SOT 140238 SOS 111795 HAS SOPS 55185 HAS SOUS 13112 HAS SOUPS 12722 WITH SCORE 12833.795
AT ITER 1973 NEW BEST:: SOT 140236 SOS 111779 HAS SOPS 55167 HAS SOUS 13108 HAS SOUPS 12718 WITH SCORE 12829.779
AT ITER 1976 NEW BEST:: SOT 140286 SOS 111807 HAS SOPS 54771 HAS SOUS 12993 HAS SOUPS 12603 WITH SCORE 12714.807
AT ITER 1984 NEW BEST:: SOT 140278 SOS 111795 HAS SOPS 54755 HAS SOUS 12981 HAS SOUPS 12591 WITH SCORE 12702.795
AT ITER 2077 NEW BEST:: SOT 140251 SOS 111797 HAS SOPS 54729 HAS SOUS 12953 HAS SOUPS 12563 WITH SCORE 12674.797
AT ITER 2080 NEW BEST:: SOT 140216 SOS 111793 HAS SOPS 54681 HAS SOUS 12896 HAS SOUPS 12506 WITH SCORE 12617.793
AT ITER 2098 NEW BEST:: SOT 140217 SOS 111793 HAS SOPS 54670 HAS SOUS 12868 HAS SOUPS 12478 WITH SCORE 12589.793
AT ITER 2109 NEW BEST:: SOT 140214 SOS 111780 HAS SOPS 54654 HAS SOUS 12852 HAS SOUPS 12462 WITH SCORE 12573.78
AT ITER 2114 NEW BEST:: SOT 140345 SOS 111907 HAS SOPS 54594 HAS SOUS 12847 HAS SOUPS 12457 WITH SCORE 12568.907
AT ITER 2118 NEW BEST:: SOT 140345 SOS 111729 HAS SOPS 54416 HAS SOUS 12758 HAS SOUPS 12368 WITH SCORE 12479.729
AT ITER 2140 NEW BEST:: SOT 140345 SOS 111729 HAS SOPS 54416 HAS SOUS 12756 HAS SOUPS 12366 WITH SCORE 12477.729
AT ITER 2147 NEW BEST:: SOT 140343 SOS 111722 HAS SOPS 54407 HAS SOUS 12747 HAS SOUPS 12357 WITH SCORE 12468.722
AT ITER 2151 NEW BEST:: SOT 140326 SOS 111745 HAS SOPS 54403 HAS SOUS 12735 HAS SOUPS 12345 WITH SCORE 12456.745
AT ITER 2152 NEW BEST:: SOT 140257 SOS 111647 HAS SOPS 54294 HAS SOUS 12626 HAS SOUPS 12236 WITH SCORE 12347.647
AT ITER 2158 NEW BEST:: SOT 140250 SOS 111640 HAS SOPS 54280 HAS SOUS 12612 HAS SOUPS 12222 WITH SCORE 12333.64
AT ITER 2167 NEW BEST:: SOT 140253 SOS 111505 HAS SOPS 54145 HAS SOUS 12610 HAS SOUPS 12220 WITH SCORE 12331.505
AT ITER 2205 NEW BEST:: SOT 140248 SOS 111495 HAS SOPS 54135 HAS SOUS 12605 HAS SOUPS 12215 WITH SCORE 12326.495
AT ITER 2229 NEW BEST:: SOT 140246 SOS 111494 HAS SOPS 54134 HAS SOUS 12605 HAS SOUPS 12215 WITH SCORE 12326.494
AT ITER 2236 NEW BEST:: SOT 140223 SOS 111448 HAS SOPS 54088 HAS SOUS 12559 HAS SOUPS 12169 WITH SCORE 12280.448
AT ITER 2267 NEW BEST:: SOT 140220 SOS 111448 HAS SOPS 54085 HAS SOUS 12556 HAS SOUPS 12166 WITH SCORE 12277.448
AT ITER 2294 NEW BEST:: SOT 140209 SOS 111423 HAS SOPS 53731 HAS SOUS 12462 HAS SOUPS 12072 WITH SCORE 12183.423
AT ITER 2325 NEW BEST:: SOT 140210 SOS 111425 HAS SOPS 53675 HAS SOUS 12457 HAS SOUPS 12067 WITH SCORE 12178.425
AT ITER 2368 NEW BEST:: SOT 140210 SOS 111430 HAS SOPS 53675 HAS SOUS 12452 HAS SOUPS 12062 WITH SCORE 12173.43
AT ITER 2370 NEW BEST:: SOT 140194 SOS 111431 HAS SOPS 53660 HAS SOUS 12437 HAS SOUPS 12047 WITH SCORE 12158.431
AT ITER 2382 NEW BEST:: SOT 140150 SOS 111388 HAS SOPS 53617 HAS SOUS 12402 HAS SOUPS 12012 WITH SCORE 12123.388
AT ITER 2402 NEW BEST:: SOT 140139 SOS 111366 HAS SOPS 53595 HAS SOUS 12377 HAS SOUPS 11987 WITH SCORE 12098.366
AT ITER 2403 NEW BEST:: SOT 140105 SOS 111331 HAS SOPS 53527 HAS SOUS 12310 HAS SOUPS 11920 WITH SCORE 12031.331
AT ITER 2417 NEW BEST:: SOT 140105 SOS 111323 HAS SOPS 53519 HAS SOUS 12302 HAS SOUPS 11912 WITH SCORE 12023.323
AT ITER 2436 NEW BEST:: SOT 140105 SOS 111323 HAS SOPS 53516 HAS SOUS 12299 HAS SOUPS 11909 WITH SCORE 12020.323
AT ITER 2438 NEW BEST:: SOT 140087 SOS 111323 HAS SOPS 53498 HAS SOUS 12281 HAS SOUPS 11891 WITH SCORE 12002.323
AT ITER 2442 NEW BEST:: SOT 140099 SOS 110898 HAS SOPS 52780 HAS SOUS 12275 HAS SOUPS 11885 WITH SCORE 11995.898
AT ITER 2460 NEW BEST:: SOT 140151 SOS 110976 HAS SOPS 51348 HAS SOUS 12211 HAS SOUPS 11821 WITH SCORE 11931.976
AT ITER 2466 NEW BEST:: SOT 140213 SOS 111049 HAS SOPS 51118 HAS SOUS 12210 HAS SOUPS 11820 WITH SCORE 11931.049
AT ITER 2469 NEW BEST:: SOT 140248 SOS 111085 HAS SOPS 51050 HAS SOUS 12184 HAS SOUPS 11794 WITH SCORE 11905.085
AT ITER 2508 NEW BEST:: SOT 140256 SOS 111090 HAS SOPS 51066 HAS SOUS 12183 HAS SOUPS 11793 WITH SCORE 11904.09
AT ITER 2513 NEW BEST:: SOT 140270 SOS 111052 HAS SOPS 51041 HAS SOUS 12174 HAS SOUPS 11784 WITH SCORE 11895.052
AT ITER 2516 NEW BEST:: SOT 140194 SOS 110980 HAS SOPS 50973 HAS SOUS 12150 HAS SOUPS 11760 WITH SCORE 11870.98
AT ITER 2517 NEW BEST:: SOT 140191 SOS 110977 HAS SOPS 50967 HAS SOUS 12144 HAS SOUPS 11754 WITH SCORE 11864.977
AT ITER 2525 NEW BEST:: SOT 140169 SOS 110967 HAS SOPS 50946 HAS SOUS 12122 HAS SOUPS 11732 WITH SCORE 11842.967
AT ITER 2526 NEW BEST:: SOT 140169 SOS 110961 HAS SOPS 50940 HAS SOUS 12122 HAS SOUPS 11732 WITH SCORE 11842.961
AT ITER 2530 NEW BEST:: SOT 140137 SOS 110871 HAS SOPS 50876 HAS SOUS 12121 HAS SOUPS 11731 WITH SCORE 11841.871
AT ITER 2540 NEW BEST:: SOT 140137 SOS 110893 HAS SOPS 50876 HAS SOUS 12104 HAS SOUPS 11714 WITH SCORE 11824.893
AT ITER 2541 NEW BEST:: SOT 140137 SOS 110868 HAS SOPS 50876 HAS SOUS 12104 HAS SOUPS 11714 WITH SCORE 11824.868
AT ITER 2544 NEW BEST:: SOT 140133 SOS 110862 HAS SOPS 50868 HAS SOUS 12094 HAS SOUPS 11704 WITH SCORE 11814.862
AT ITER 2562 NEW BEST:: SOT 140133 SOS 110834 HAS SOPS 50840 HAS SOUS 12066 HAS SOUPS 11676 WITH SCORE 11786.834
AT ITER 2585 NEW BEST:: SOT 140131 SOS 110832 HAS SOPS 50837 HAS SOUS 12063 HAS SOUPS 11673 WITH SCORE 11783.832
AT ITER 2587 NEW BEST:: SOT 140131 SOS 110832 HAS SOPS 50780 HAS SOUS 12006 HAS SOUPS 11616 WITH SCORE 11726.832
AT ITER 2644 NEW BEST:: SOT 140130 SOS 110830 HAS SOPS 50773 HAS SOUS 11996 HAS SOUPS 11606 WITH SCORE 11716.83
AT ITER 2661 NEW BEST:: SOT 140081 SOS 110755 HAS SOPS 50675 HAS SOUS 11898 HAS SOUPS 11508 WITH SCORE 11618.755
AT ITER 2667 NEW BEST:: SOT 140079 SOS 110753 HAS SOPS 50672 HAS SOUS 11895 HAS SOUPS 11505 WITH SCORE 11615.753
AT ITER 2709 NEW BEST:: SOT 140079 SOS 110743 HAS SOPS 50662 HAS SOUS 11885 HAS SOUPS 11495 WITH SCORE 11605.743
AT ITER 2740 NEW BEST:: SOT 140077 SOS 110741 HAS SOPS 50658 HAS SOUS 11883 HAS SOUPS 11493 WITH SCORE 11603.741
AT ITER 2745 NEW BEST:: SOT 140065 SOS 110745 HAS SOPS 50634 HAS SOUS 11868 HAS SOUPS 11478 WITH SCORE 11588.745
AT ITER 2759 NEW BEST:: SOT 140063 SOS 110743 HAS SOPS 50630 HAS SOUS 11864 HAS SOUPS 11474 WITH SCORE 11584.743
AT ITER 2760 NEW BEST:: SOT 140067 SOS 110751 HAS SOPS 50629 HAS SOUS 11863 HAS SOUPS 11473 WITH SCORE 11583.751
AT ITER 2761 NEW BEST:: SOT 140029 SOS 110679 HAS SOPS 50553 HAS SOUS 11804 HAS SOUPS 11414 WITH SCORE 11524.679
AT ITER 2784 NEW BEST:: SOT 140023 SOS 110667 HAS SOPS 50541 HAS SOUS 11798 HAS SOUPS 11408 WITH SCORE 11518.667
AT ITER 2785 NEW BEST:: SOT 139987 SOS 110631 HAS SOPS 50505 HAS SOUS 11798 HAS SOUPS 11408 WITH SCORE 11518.631
AT ITER 2799 NEW BEST:: SOT 140023 SOS 110624 HAS SOPS 50534 HAS SOUS 11784 HAS SOUPS 11394 WITH SCORE 11504.624
AT ITER 2833 NEW BEST:: SOT 140023 SOS 110621 HAS SOPS 50531 HAS SOUS 11781 HAS SOUPS 11391 WITH SCORE 11501.621
AT ITER 2848 NEW BEST:: SOT 140009 SOS 110607 HAS SOPS 50503 HAS SOUS 11753 HAS SOUPS 11363 WITH SCORE 11473.607
AT ITER 2862 NEW BEST:: SOT 139931 SOS 110529 HAS SOPS 50425 HAS SOUS 11708 HAS SOUPS 11318 WITH SCORE 11428.529
AT ITER 2866 NEW BEST:: SOT 139925 SOS 110523 HAS SOPS 50413 HAS SOUS 11690 HAS SOUPS 11300 WITH SCORE 11410.523
AT ITER 2888 NEW BEST:: SOT 139925 SOS 110509 HAS SOPS 50413 HAS SOUS 11690 HAS SOUPS 11300 WITH SCORE 11410.509
AT ITER 2890 NEW BEST:: SOT 139932 SOS 110474 HAS SOPS 50385 HAS SOUS 11664 HAS SOUPS 11274 WITH SCORE 11384.474
AT ITER 2942 NEW BEST:: SOT 139883 SOS 110350 HAS SOPS 50249 HAS SOUS 11577 HAS SOUPS 11187 WITH SCORE 11297.35
AT ITER 3002 NEW BEST:: SOT 139880 SOS 110334 HAS SOPS 50230 HAS SOUS 11571 HAS SOUPS 11181 WITH SCORE 11291.334
AT ITER 3034 NEW BEST:: SOT 139897 SOS 110331 HAS SOPS 50244 HAS SOUS 11565 HAS SOUPS 11175 WITH SCORE 11285.331
AT ITER 3048 NEW BEST:: SOT 139902 SOS 110336 HAS SOPS 50243 HAS SOUS 11567 HAS SOUPS 11174 WITH SCORE 11284.336
AT ITER 3049 NEW BEST:: SOT 139903 SOS 110338 HAS SOPS 50187 HAS SOUS 11562 HAS SOUPS 11169 WITH SCORE 11279.338
AT ITER 3072 NEW BEST:: SOT 139919 SOS 110322 HAS SOPS 50187 HAS SOUS 11562 HAS SOUPS 11169 WITH SCORE 11279.322
AT ITER 3097 NEW BEST:: SOT 139916 SOS 110316 HAS SOPS 50181 HAS SOUS 11556 HAS SOUPS 11163 WITH SCORE 11273.316
AT ITER 3105 NEW BEST:: SOT 139929 SOS 110278 HAS SOPS 50142 HAS SOUS 11554 HAS SOUPS 11161 WITH SCORE 11271.278
AT ITER 3136 NEW BEST:: SOT 139889 SOS 110198 HAS SOPS 50130 HAS SOUS 11542 HAS SOUPS 11149 WITH SCORE 11259.198
AT ITER 3161 NEW BEST:: SOT 139863 SOS 110189 HAS SOPS 50078 HAS SOUS 11489 HAS SOUPS 11096 WITH SCORE 11206.189
AT ITER 3175 NEW BEST:: SOT 139858 SOS 110179 HAS SOPS 50068 HAS SOUS 11479 HAS SOUPS 11086 WITH SCORE 11196.179
AT ITER 3183 NEW BEST:: SOT 139834 SOS 110155 HAS SOPS 50034 HAS SOUS 11445 HAS SOUPS 11052 WITH SCORE 11162.155
AT ITER 3186 NEW BEST:: SOT 139835 SOS 110138 HAS SOPS 50016 HAS SOUS 11429 HAS SOUPS 11036 WITH SCORE 11146.138
AT ITER 3204 NEW BEST:: SOT 139796 SOS 110083 HAS SOPS 49956 HAS SOUS 11384 HAS SOUPS 10991 WITH SCORE 11101.083
AT ITER 3213 NEW BEST:: SOT 139780 SOS 110059 HAS SOPS 49924 HAS SOUS 11352 HAS SOUPS 10959 WITH SCORE 11069.059
AT ITER 3232 NEW BEST:: SOT 139780 SOS 110021 HAS SOPS 49886 HAS SOUS 11314 HAS SOUPS 10921 WITH SCORE 11031.021
AT ITER 3237 NEW BEST:: SOT 139776 SOS 110017 HAS SOPS 49878 HAS SOUS 11306 HAS SOUPS 10913 WITH SCORE 11023.017
AT ITER 3255 NEW BEST:: SOT 139750 SOS 109980 HAS SOPS 49835 HAS SOUS 11273 HAS SOUPS 10880 WITH SCORE 10989.98
AT ITER 3286 NEW BEST:: SOT 139741 SOS 109971 HAS SOPS 49826 HAS SOUS 11264 HAS SOUPS 10871 WITH SCORE 10980.971
AT ITER 3305 NEW BEST:: SOT 139748 SOS 109971 HAS SOPS 49818 HAS SOUS 11256 HAS SOUPS 10863 WITH SCORE 10972.971
AT ITER 3310 NEW BEST:: SOT 139738 SOS 109956 HAS SOPS 49798 HAS SOUS 11236 HAS SOUPS 10843 WITH SCORE 10952.956
AT ITER 3316 NEW BEST:: SOT 139719 SOS 109942 HAS SOPS 49788 HAS SOUS 11225 HAS SOUPS 10832 WITH SCORE 10941.942
AT ITER 3340 NEW BEST:: SOT 139707 SOS 109930 HAS SOPS 49764 HAS SOUS 11218 HAS SOUPS 10825 WITH SCORE 10934.93
AT ITER 3341 NEW BEST:: SOT 139707 SOS 109923 HAS SOPS 49757 HAS SOUS 11211 HAS SOUPS 10818 WITH SCORE 10927.923
AT ITER 3352 NEW BEST:: SOT 139705 SOS 109921 HAS SOPS 49755 HAS SOUS 11211 HAS SOUPS 10818 WITH SCORE 10927.921
AT ITER 3382 NEW BEST:: SOT 139670 SOS 109885 HAS SOPS 49691 HAS SOUS 11171 HAS SOUPS 10778 WITH SCORE 10887.885
AT ITER 3386 NEW BEST:: SOT 139663 SOS 109878 HAS SOPS 49677 HAS SOUS 11157 HAS SOUPS 10764 WITH SCORE 10873.878
AT ITER 3396 NEW BEST:: SOT 139659 SOS 109851 HAS SOPS 49645 HAS SOUS 11147 HAS SOUPS 10754 WITH SCORE 10863.851
AT ITER 3408 NEW BEST:: SOT 139658 SOS 109849 HAS SOPS 49643 HAS SOUS 11145 HAS SOUPS 10752 WITH SCORE 10861.849
AT ITER 3416 NEW BEST:: SOT 139658 SOS 109832 HAS SOPS 49609 HAS SOUS 11111 HAS SOUPS 10718 WITH SCORE 10827.832
AT ITER 3421 NEW BEST:: SOT 139658 SOS 109832 HAS SOPS 49609 HAS SOUS 11110 HAS SOUPS 10717 WITH SCORE 10826.832
AT ITER 3436 NEW BEST:: SOT 139655 SOS 110025 HAS SOPS 49802 HAS SOUS 11109 HAS SOUPS 10716 WITH SCORE 10826.025
AT ITER 3437 NEW BEST:: SOT 139655 SOS 110025 HAS SOPS 49800 HAS SOUS 11107 HAS SOUPS 10714 WITH SCORE 10824.025
AT ITER 3450 NEW BEST:: SOT 139660 SOS 110025 HAS SOPS 49799 HAS SOUS 11106 HAS SOUPS 10713 WITH SCORE 10823.025
AT ITER 3467 NEW BEST:: SOT 139652 SOS 110019 HAS SOPS 49795 HAS SOUS 11100 HAS SOUPS 10707 WITH SCORE 10817.019
AT ITER 3510 NEW BEST:: SOT 139648 SOS 110011 HAS SOPS 49787 HAS SOUS 11092 HAS SOUPS 10699 WITH SCORE 10809.011
AT ITER 3523 NEW BEST:: SOT 139648 SOS 109965 HAS SOPS 49741 HAS SOUS 11092 HAS SOUPS 10699 WITH SCORE 10808.965
AT ITER 3560 NEW BEST:: SOT 139615 SOS 109882 HAS SOPS 49650 HAS SOUS 11026 HAS SOUPS 10633 WITH SCORE 10742.882
AT ITER 3562 NEW BEST:: SOT 139615 SOS 109860 HAS SOPS 49650 HAS SOUS 11026 HAS SOUPS 10633 WITH SCORE 10742.86
AT ITER 3572 NEW BEST:: SOT 139616 SOS 109854 HAS SOPS 49646 HAS SOUS 11023 HAS SOUPS 10630 WITH SCORE 10739.854
AT ITER 3613 NEW BEST:: SOT 139600 SOS 109847 HAS SOPS 49652 HAS SOUS 11023 HAS SOUPS 10630 WITH SCORE 10739.847
AT ITER 3625 NEW BEST:: SOT 139599 SOS 109838 HAS SOPS 49642 HAS SOUS 11013 HAS SOUPS 10620 WITH SCORE 10729.838
AT ITER 3626 NEW BEST:: SOT 139599 SOS 109836 HAS SOPS 49641 HAS SOUS 11012 HAS SOUPS 10619 WITH SCORE 10728.836
AT ITER 3634 NEW BEST:: SOT 139600 SOS 109838 HAS SOPS 49585 HAS SOUS 11007 HAS SOUPS 10614 WITH SCORE 10723.838
AT ITER 3639 NEW BEST:: SOT 139600 SOS 109828 HAS SOPS 49585 HAS SOUS 11007 HAS SOUPS 10614 WITH SCORE 10723.828
AT ITER 3648 NEW BEST:: SOT 139606 SOS 109832 HAS SOPS 49282 HAS SOUS 10996 HAS SOUPS 10603 WITH SCORE 10712.832
AT ITER 3727 NEW BEST:: SOT 139605 SOS 109831 HAS SOPS 49281 HAS SOUS 10996 HAS SOUPS 10603 WITH SCORE 10712.831
AT ITER 3756 NEW BEST:: SOT 139595 SOS 109855 HAS SOPS 49287 HAS SOUS 10994 HAS SOUPS 10601 WITH SCORE 10710.855
AT ITER 3764 NEW BEST:: SOT 139538 SOS 109803 HAS SOPS 49283 HAS SOUS 10981 HAS SOUPS 10588 WITH SCORE 10697.803
AT ITER 3777 NEW BEST:: SOT 139530 SOS 109780 HAS SOPS 49267 HAS SOUS 10962 HAS SOUPS 10569 WITH SCORE 10678.78
AT ITER 3779 NEW BEST:: SOT 139530 SOS 109770 HAS SOPS 49257 HAS SOUS 10952 HAS SOUPS 10559 WITH SCORE 10668.77
AT ITER 3805 NEW BEST:: SOT 139536 SOS 109763 HAS SOPS 49252 HAS SOUS 10938 HAS SOUPS 10545 WITH SCORE 10654.763
AT ITER 3832 NEW BEST:: SOT 139529 SOS 109756 HAS SOPS 49238 HAS SOUS 10924 HAS SOUPS 10531 WITH SCORE 10640.756
AT ITER 3837 NEW BEST:: SOT 139528 SOS 109753 HAS SOPS 49235 HAS SOUS 10921 HAS SOUPS 10528 WITH SCORE 10637.753
AT ITER 3870 NEW BEST:: SOT 139512 SOS 109712 HAS SOPS 49178 HAS SOUS 10889 HAS SOUPS 10496 WITH SCORE 10605.712
AT ITER 3898 NEW BEST:: SOT 139452 SOS 109650 HAS SOPS 49095 HAS SOUS 10843 HAS SOUPS 10450 WITH SCORE 10559.65
AT ITER 3916 NEW BEST:: SOT 139450 SOS 109651 HAS SOPS 49095 HAS SOUS 10841 HAS SOUPS 10448 WITH SCORE 10557.651
AT ITER 3920 NEW BEST:: SOT 139449 SOS 109649 HAS SOPS 49094 HAS SOUS 10840 HAS SOUPS 10447 WITH SCORE 10556.649
AT ITER 3931 NEW BEST:: SOT 139471 SOS 109671 HAS SOPS 49138 HAS SOUS 10834 HAS SOUPS 10441 WITH SCORE 10550.671
AT ITER 3984 NEW BEST:: SOT 139468 SOS 109662 HAS SOPS 49129 HAS SOUS 10828 HAS SOUPS 10435 WITH SCORE 10544.662
AT ITER 3996 NEW BEST:: SOT 139462 SOS 109650 HAS SOPS 49117 HAS SOUS 10822 HAS SOUPS 10429 WITH SCORE 10538.65
AT ITER 4019 NEW BEST:: SOT 139460 SOS 109646 HAS SOPS 49113 HAS SOUS 10817 HAS SOUPS 10424 WITH SCORE 10533.646
AT ITER 4051 NEW BEST:: SOT 139427 SOS 109608 HAS SOPS 49116 HAS SOUS 10797 HAS SOUPS 10404 WITH SCORE 10513.608
AT ITER 4062 NEW BEST:: SOT 139421 SOS 109591 HAS SOPS 49104 HAS SOUS 10796 HAS SOUPS 10403 WITH SCORE 10512.591
AT ITER 4095 NEW BEST:: SOT 139422 SOS 113953 HAS SOPS 49090 HAS SOUS 10790 HAS SOUPS 10389 WITH SCORE 10502.953
AT ITER 4105 NEW BEST:: SOT 139391 SOS 113855 HAS SOPS 48992 HAS SOUS 10723 HAS SOUPS 10322 WITH SCORE 10435.855
AT ITER 4146 NEW BEST:: SOT 139385 SOS 113849 HAS SOPS 48980 HAS SOUS 10707 HAS SOUPS 10306 WITH SCORE 10419.849
AT ITER 4152 NEW BEST:: SOT 139360 SOS 113832 HAS SOPS 48960 HAS SOUS 10680 HAS SOUPS 10279 WITH SCORE 10392.832
AT ITER 4157 NEW BEST:: SOT 139376 SOS 113831 HAS SOPS 48958 HAS SOUS 10671 HAS SOUPS 10270 WITH SCORE 10383.831
AT ITER 4187 NEW BEST:: SOT 139354 SOS 113799 HAS SOPS 48914 HAS SOUS 10649 HAS SOUPS 10248 WITH SCORE 10361.799
AT ITER 4214 NEW BEST:: SOT 139348 SOS 113787 HAS SOPS 48902 HAS SOUS 10637 HAS SOUPS 10236 WITH SCORE 10349.787
AT ITER 4219 NEW BEST:: SOT 139346 SOS 113783 HAS SOPS 48898 HAS SOUS 10633 HAS SOUPS 10232 WITH SCORE 10345.783
AT ITER 4252 NEW BEST:: SOT 139337 SOS 113759 HAS SOPS 48871 HAS SOUS 10611 HAS SOUPS 10210 WITH SCORE 10323.759
AT ITER 4260 NEW BEST:: SOT 139334 SOS 113756 HAS SOPS 48865 HAS SOUS 10605 HAS SOUPS 10204 WITH SCORE 10317.756
AT ITER 4269 NEW BEST:: SOT 139326 SOS 113749 HAS SOPS 48849 HAS SOUS 10597 HAS SOUPS 10196 WITH SCORE 10309.749
AT ITER 4270 NEW BEST:: SOT 139323 SOS 113731 HAS SOPS 48826 HAS SOUS 10572 HAS SOUPS 10171 WITH SCORE 10284.731
AT ITER 4363 NEW BEST:: SOT 139323 SOS 113729 HAS SOPS 48824 HAS SOUS 10570 HAS SOUPS 10169 WITH SCORE 10282.729
AT ITER 4389 NEW BEST:: SOT 139300 SOS 113696 HAS SOPS 48778 HAS SOUS 10547 HAS SOUPS 10146 WITH SCORE 10259.696
AT ITER 4392 NEW BEST:: SOT 139261 SOS 113674 HAS SOPS 48728 HAS SOUS 10525 HAS SOUPS 10124 WITH SCORE 10237.674
AT ITER 4497 NEW BEST:: SOT 139251 SOS 113654 HAS SOPS 48708 HAS SOUS 10515 HAS SOUPS 10114 WITH SCORE 10227.654
AT ITER 4507 NEW BEST:: SOT 139250 SOS 113651 HAS SOPS 48705 HAS SOUS 10513 HAS SOUPS 10112 WITH SCORE 10225.651
AT ITER 4565 NEW BEST:: SOT 139227 SOS 113628 HAS SOPS 48659 HAS SOUS 10467 HAS SOUPS 10066 WITH SCORE 10179.628
AT ITER 4580 NEW BEST:: SOT 139224 SOS 113617 HAS SOPS 48653 HAS SOUS 10458 HAS SOUPS 10057 WITH SCORE 10170.617
AT ITER 4593 NEW BEST:: SOT 139211 SOS 113615 HAS SOPS 48638 HAS SOUS 10443 HAS SOUPS 10042 WITH SCORE 10155.615
AT ITER 4607 NEW BEST:: SOT 139226 SOS 113615 HAS SOPS 48632 HAS SOUS 10437 HAS SOUPS 10036 WITH SCORE 10149.615
AT ITER 4644 NEW BEST:: SOT 139215 SOS 113610 HAS SOPS 48610 HAS SOUS 10409 HAS SOUPS 10008 WITH SCORE 10121.61
AT ITER 4694 NEW BEST:: SOT 139204 SOS 113593 HAS SOPS 48588 HAS SOUS 10387 HAS SOUPS 9986 WITH SCORE 10099.593
AT ITER 4727 NEW BEST:: SOT 139202 SOS 113591 HAS SOPS 48584 HAS SOUS 10383 HAS SOUPS 9982 WITH SCORE 10095.591
AT ITER 4730 NEW BEST:: SOT 139205 SOS 113552 HAS SOPS 48590 HAS SOUS 10350 HAS SOUPS 9949 WITH SCORE 10062.552
AT ITER 4746 NEW BEST:: SOT 139183 SOS 113508 HAS SOPS 48546 HAS SOUS 10328 HAS SOUPS 9927 WITH SCORE 10040.508
AT ITER 4773 NEW BEST:: SOT 139178 SOS 113532 HAS SOPS 48570 HAS SOUS 10323 HAS SOUPS 9922 WITH SCORE 10035.532
AT ITER 4780 NEW BEST:: SOT 139186 SOS 113539 HAS SOPS 48521 HAS SOUS 10319 HAS SOUPS 9918 WITH SCORE 10031.539
AT ITER 4793 NEW BEST:: SOT 139184 SOS 113535 HAS SOPS 48465 HAS SOUS 10308 HAS SOUPS 9907 WITH SCORE 10020.535
AT ITER 4817 NEW BEST:: SOT 139177 SOS 113528 HAS SOPS 48451 HAS SOUS 10294 HAS SOUPS 9893 WITH SCORE 10006.528
AT ITER 4865 NEW BEST:: SOT 139167 SOS 113511 HAS SOPS 48431 HAS SOUS 10273 HAS SOUPS 9872 WITH SCORE 9985.511
AT ITER 4866 NEW BEST:: SOT 139145 SOS 113422 HAS SOPS 48387 HAS SOUS 10258 HAS SOUPS 9857 WITH SCORE 9970.422
AT ITER 4901 NEW BEST:: SOT 139168 SOS 113444 HAS SOPS 48369 HAS SOUS 10252 HAS SOUPS 9851 WITH SCORE 9964.444
AT ITER 4904 NEW BEST:: SOT 139156 SOS 113439 HAS SOPS 48353 HAS SOUS 10236 HAS SOUPS 9835 WITH SCORE 9948.439
AT ITER 4936 NEW BEST:: SOT 139150 SOS 113423 HAS SOPS 48341 HAS SOUS 10223 HAS SOUPS 9822 WITH SCORE 9935.423
AT ITER 5012 NEW BEST:: SOT 139148 SOS 113379 HAS SOPS 48316 HAS SOUS 10219 HAS SOUPS 9818 WITH SCORE 9931.379
AT ITER 5073 NEW BEST:: SOT 139135 SOS 113384 HAS SOPS 48303 HAS SOUS 10201 HAS SOUPS 9800 WITH SCORE 9913.384
AT ITER 5113 NEW BEST:: SOT 139130 SOS 113366 HAS SOPS 48285 HAS SOUS 10186 HAS SOUPS 9785 WITH SCORE 9898.366
AT ITER 5156 NEW BEST:: SOT 139137 SOS 113371 HAS SOPS 48288 HAS SOUS 10180 HAS SOUPS 9779 WITH SCORE 9892.371
AT ITER 5208 NEW BEST:: SOT 139119 SOS 113353 HAS SOPS 48252 HAS SOUS 10144 HAS SOUPS 9743 WITH SCORE 9856.353
AT ITER 5227 NEW BEST:: SOT 139117 SOS 113347 HAS SOPS 48244 HAS SOUS 10138 HAS SOUPS 9737 WITH SCORE 9850.347
AT ITER 5234 NEW BEST:: SOT 139107 SOS 113337 HAS SOPS 48224 HAS SOUS 10118 HAS SOUPS 9717 WITH SCORE 9830.337
AT ITER 5281 NEW BEST:: SOT 139091 SOS 113321 HAS SOPS 48192 HAS SOUS 10086 HAS SOUPS 9685 WITH SCORE 9798.321
AT ITER 5284 NEW BEST:: SOT 139087 SOS 113319 HAS SOPS 48184 HAS SOUS 10076 HAS SOUPS 9675 WITH SCORE 9788.319
AT ITER 5315 NEW BEST:: SOT 139070 SOS 113294 HAS SOPS 48150 HAS SOUS 10042 HAS SOUPS 9641 WITH SCORE 9754.294
AT ITER 5367 NEW BEST:: SOT 139067 SOS 113282 HAS SOPS 48131 HAS SOUS 10023 HAS SOUPS 9622 WITH SCORE 9735.282
AT ITER 5460 NEW BEST:: SOT 139068 SOS 113283 HAS SOPS 48128 HAS SOUS 10020 HAS SOUPS 9619 WITH SCORE 9732.283
AT ITER 5477 NEW BEST:: SOT 139070 SOS 113284 HAS SOPS 48127 HAS SOUS 10019 HAS SOUPS 9618 WITH SCORE 9731.284
AT ITER 5493 NEW BEST:: SOT 139070 SOS 113272 HAS SOPS 48121 HAS SOUS 10019 HAS SOUPS 9618 WITH SCORE 9731.272
AT ITER 5561 NEW BEST:: SOT 139082 SOS 113240 HAS SOPS 48110 HAS SOUS 10011 HAS SOUPS 9607 WITH SCORE 9720.24
AT ITER 5567 NEW BEST:: SOT 139058 SOS 113216 HAS SOPS 48062 HAS SOUS 9963 HAS SOUPS 9559 WITH SCORE 9672.216
AT ITER 5586 NEW BEST:: SOT 139056 SOS 113212 HAS SOPS 48058 HAS SOUS 9959 HAS SOUPS 9555 WITH SCORE 9668.212
AT ITER 5609 NEW BEST:: SOT 139054 SOS 113203 HAS SOPS 48047 HAS SOUS 9948 HAS SOUPS 9544 WITH SCORE 9657.203
AT ITER 5611 NEW BEST:: SOT 139054 SOS 113193 HAS SOPS 48037 HAS SOUS 9939 HAS SOUPS 9535 WITH SCORE 9648.193
AT ITER 5659 NEW BEST:: SOT 139062 SOS 113183 HAS SOPS 48035 HAS SOUS 9937 HAS SOUPS 9533 WITH SCORE 9646.183
AT ITER 5684 NEW BEST:: SOT 139059 SOS 113179 HAS SOPS 48029 HAS SOUS 9932 HAS SOUPS 9528 WITH SCORE 9641.179
AT ITER 5693 NEW BEST:: SOT 139058 SOS 113177 HAS SOPS 48027 HAS SOUS 9932 HAS SOUPS 9528 WITH SCORE 9641.177
AT ITER 5696 NEW BEST:: SOT 139052 SOS 113165 HAS SOPS 48015 HAS SOUS 9920 HAS SOUPS 9516 WITH SCORE 9629.165
AT ITER 5736 NEW BEST:: SOT 139049 SOS 113159 HAS SOPS 48009 HAS SOUS 9917 HAS SOUPS 9513 WITH SCORE 9626.159
AT ITER 5745 NEW BEST:: SOT 139031 SOS 113141 HAS SOPS 47979 HAS SOUS 9887 HAS SOUPS 9483 WITH SCORE 9596.141
AT ITER 5756 NEW BEST:: SOT 139030 SOS 113138 HAS SOPS 47976 HAS SOUS 9885 HAS SOUPS 9481 WITH SCORE 9594.138
AT ITER 5757 NEW BEST:: SOT 139020 SOS 113143 HAS SOPS 47976 HAS SOUS 9883 HAS SOUPS 9479 WITH SCORE 9592.143
AT ITER 5873 NEW BEST:: SOT 139016 SOS 113135 HAS SOPS 47968 HAS SOUS 9879 HAS SOUPS 9475 WITH SCORE 9588.135
AT ITER 5928 NEW BEST:: SOT 139015 SOS 113135 HAS SOPS 47967 HAS SOUS 9878 HAS SOUPS 9474 WITH SCORE 9587.135
AT ITER 5992 NEW BEST:: SOT 139015 SOS 113135 HAS SOPS 47908 HAS SOUS 9819 HAS SOUPS 9415 WITH SCORE 9528.135
AT ITER 6001 NEW BEST:: SOT 139011 SOS 113122 HAS SOPS 47891 HAS SOUS 9802 HAS SOUPS 9398 WITH SCORE 9511.122
AT ITER 6020 NEW BEST:: SOT 139009 SOS 113118 HAS SOPS 47887 HAS SOUS 9800 HAS SOUPS 9396 WITH SCORE 9509.118
AT ITER 6112 NEW BEST:: SOT 139008 SOS 113116 HAS SOPS 47886 HAS SOUS 9799 HAS SOUPS 9395 WITH SCORE 9508.116
AT ITER 6122 NEW BEST:: SOT 138996 SOS 113104 HAS SOPS 47880 HAS SOUS 9793 HAS SOUPS 9389 WITH SCORE 9502.104
AT ITER 6123 NEW BEST:: SOT 138989 SOS 113085 HAS SOPS 47866 HAS SOUS 9787 HAS SOUPS 9383 WITH SCORE 9496.085
AT ITER 6135 NEW BEST:: SOT 138982 SOS 113069 HAS SOPS 47843 HAS SOUS 9767 HAS SOUPS 9363 WITH SCORE 9476.069
AT ITER 6147 NEW BEST:: SOT 138829 SOS 112920 HAS SOPS 47707 HAS SOUS 9716 HAS SOUPS 9312 WITH SCORE 9424.92
AT ITER 6180 NEW BEST:: SOT 138830 SOS 114558 HAS SOPS 47703 HAS SOUS 9715 HAS SOUPS 9308 WITH SCORE 9422.558
AT ITER 6182 NEW BEST:: SOT 138824 SOS 114552 HAS SOPS 47691 HAS SOUS 9703 HAS SOUPS 9296 WITH SCORE 9410.552
AT ITER 6212 NEW BEST:: SOT 138804 SOS 114523 HAS SOPS 47664 HAS SOUS 9685 HAS SOUPS 9278 WITH SCORE 9392.523
AT ITER 6248 NEW BEST:: SOT 138799 SOS 114510 HAS SOPS 47654 HAS SOUS 9683 HAS SOUPS 9276 WITH SCORE 9390.51
AT ITER 6310 NEW BEST:: SOT 138798 SOS 114516 HAS SOPS 47652 HAS SOUS 9681 HAS SOUPS 9274 WITH SCORE 9388.516
AT ITER 6375 NEW BEST:: SOT 138798 SOS 114486 HAS SOPS 47637 HAS SOUS 9681 HAS SOUPS 9274 WITH SCORE 9388.486
AT ITER 6383 NEW BEST:: SOT 138905 SOS 114593 HAS SOPS 47761 HAS SOUS 9625 HAS SOUPS 9218 WITH SCORE 9332.593
AT ITER 6393 NEW BEST:: SOT 138907 SOS 114601 HAS SOPS 47769 HAS SOUS 9623 HAS SOUPS 9216 WITH SCORE 9330.601
AT ITER 6453 NEW BEST:: SOT 138908 SOS 114601 HAS SOPS 47770 HAS SOUS 9621 HAS SOUPS 9214 WITH SCORE 9328.601
AT ITER 6459 NEW BEST:: SOT 138899 SOS 114601 HAS SOPS 47761 HAS SOUS 9603 HAS SOUPS 9196 WITH SCORE 9310.601
AT ITER 6500 NEW BEST:: SOT 138907 SOS 114592 HAS SOPS 47757 HAS SOUS 9599 HAS SOUPS 9192 WITH SCORE 9306.592
AT ITER 6518 NEW BEST:: SOT 138901 SOS 114586 HAS SOPS 47745 HAS SOUS 9587 HAS SOUPS 9180 WITH SCORE 9294.586
AT ITER 6546 NEW BEST:: SOT 138905 SOS 114599 HAS SOPS 47753 HAS SOUS 9586 HAS SOUPS 9179 WITH SCORE 9293.599
AT ITER 6560 NEW BEST:: SOT 138904 SOS 114598 HAS SOPS 47751 HAS SOUS 9584 HAS SOUPS 9177 WITH SCORE 9291.598
AT ITER 6608 NEW BEST:: SOT 138904 SOS 114595 HAS SOPS 47748 HAS SOUS 9581 HAS SOUPS 9174 WITH SCORE 9288.595
AT ITER 6627 NEW BEST:: SOT 138907 SOS 114591 HAS SOPS 47747 HAS SOUS 9578 HAS SOUPS 9171 WITH SCORE 9285.591
AT ITER 6657 NEW BEST:: SOT 138912 SOS 114583 HAS SOPS 47744 HAS SOUS 9575 HAS SOUPS 9168 WITH SCORE 9282.583
AT ITER 6712 NEW BEST:: SOT 138883 SOS 114533 HAS SOPS 47686 HAS SOUS 9562 HAS SOUPS 9155 WITH SCORE 9269.533
AT ITER 6717 NEW BEST:: SOT 138866 SOS 114495 HAS SOPS 47629 HAS SOUS 9505 HAS SOUPS 9098 WITH SCORE 9212.495
AT ITER 6721 NEW BEST:: SOT 138865 SOS 114493 HAS SOPS 47626 HAS SOUS 9502 HAS SOUPS 9095 WITH SCORE 9209.493
AT ITER 6750 NEW BEST:: SOT 138860 SOS 114486 HAS SOPS 47616 HAS SOUS 9494 HAS SOUPS 9087 WITH SCORE 9201.486
AT ITER 6751 NEW BEST:: SOT 138679 SOS 114216 HAS SOPS 47349 HAS SOUS 9413 HAS SOUPS 9006 WITH SCORE 9120.216
AT ITER 6778 NEW BEST:: SOT 138677 SOS 114222 HAS SOPS 47345 HAS SOUS 9409 HAS SOUPS 9002 WITH SCORE 9116.222
AT ITER 6779 NEW BEST:: SOT 138677 SOS 114217 HAS SOPS 47340 HAS SOUS 9406 HAS SOUPS 8999 WITH SCORE 9113.217
AT ITER 6797 NEW BEST:: SOT 138676 SOS 114216 HAS SOPS 47339 HAS SOUS 9406 HAS SOUPS 8999 WITH SCORE 9113.216
AT ITER 6809 NEW BEST:: SOT 138672 SOS 114212 HAS SOPS 47331 HAS SOUS 9398 HAS SOUPS 8991 WITH SCORE 9105.212
AT ITER 6825 NEW BEST:: SOT 138669 SOS 114203 HAS SOPS 47322 HAS SOUS 9392 HAS SOUPS 8985 WITH SCORE 9099.203
AT ITER 6852 NEW BEST:: SOT 138653 SOS 114193 HAS SOPS 47301 HAS SOUS 9371 HAS SOUPS 8964 WITH SCORE 9078.193
AT ITER 7000 NEW BEST:: SOT 138652 SOS 114200 HAS SOPS 47299 HAS SOUS 9369 HAS SOUPS 8962 WITH SCORE 9076.2
AT ITER 7016 NEW BEST:: SOT 138650 SOS 114197 HAS SOPS 47295 HAS SOUS 9366 HAS SOUPS 8959 WITH SCORE 9073.197
AT ITER 7087 NEW BEST:: SOT 138646 SOS 114191 HAS SOPS 47287 HAS SOUS 9362 HAS SOUPS 8955 WITH SCORE 9069.191
AT ITER 7347 NEW BEST:: SOT 138644 SOS 114187 HAS SOPS 47283 HAS SOUS 9360 HAS SOUPS 8953 WITH SCORE 9067.187
AT ITER 7440 NEW BEST:: SOT 138657 SOS 114162 HAS SOPS 47277 HAS SOUS 9351 HAS SOUPS 8944 WITH SCORE 9058.162
AT ITER 7465 NEW BEST:: SOT 138657 SOS 114160 HAS SOPS 47275 HAS SOUS 9347 HAS SOUPS 8940 WITH SCORE 9054.16
AT ITER 7482 NEW BEST:: SOT 138657 SOS 114158 HAS SOPS 47273 HAS SOUS 9345 HAS SOUPS 8938 WITH SCORE 9052.158
AT ITER 7494 NEW BEST:: SOT 138670 SOS 114578 HAS SOPS 46812 HAS SOUS 9350 HAS SOUPS 8933 WITH SCORE 9047.578
AT ITER 7518 NEW BEST:: SOT 138659 SOS 114547 HAS SOPS 46790 HAS SOUS 9348 HAS SOUPS 8931 WITH SCORE 9045.547
AT ITER 7529 NEW BEST:: SOT 138658 SOS 114525 HAS SOPS 46788 HAS SOUS 9346 HAS SOUPS 8929 WITH SCORE 9043.525
AT ITER 7698 NEW BEST:: SOT 138648 SOS 114505 HAS SOPS 46768 HAS SOUS 9326 HAS SOUPS 8909 WITH SCORE 9023.505
AT ITER 7716 NEW BEST:: SOT 138650 SOS 114493 HAS SOPS 46756 HAS SOUS 9326 HAS SOUPS 8909 WITH SCORE 9023.493
AT ITER 7721 NEW BEST:: SOT 138648 SOS 114485 HAS SOPS 46752 HAS SOUS 9322 HAS SOUPS 8905 WITH SCORE 9019.485
AT ITER 7738 NEW BEST:: SOT 138635 SOS 114489 HAS SOPS 46743 HAS SOUS 9313 HAS SOUPS 8896 WITH SCORE 9010.489
AT ITER 7769 NEW BEST:: SOT 138630 SOS 114493 HAS SOPS 46742 HAS SOUS 9312 HAS SOUPS 8895 WITH SCORE 9009.493
AT ITER 7773 NEW BEST:: SOT 138621 SOS 114484 HAS SOPS 46735 HAS SOUS 9305 HAS SOUPS 8888 WITH SCORE 9002.484
AT ITER 7842 NEW BEST:: SOT 138617 SOS 114478 HAS SOPS 46727 HAS SOUS 9299 HAS SOUPS 8882 WITH SCORE 8996.478
AT ITER 7845 NEW BEST:: SOT 138620 SOS 114466 HAS SOPS 46719 HAS SOUS 9292 HAS SOUPS 8875 WITH SCORE 8989.466
AT ITER 7862 NEW BEST:: SOT 138618 SOS 114460 HAS SOPS 46713 HAS SOUS 9288 HAS SOUPS 8871 WITH SCORE 8985.46
AT ITER 7954 NEW BEST:: SOT 138613 SOS 114453 HAS SOPS 46706 HAS SOUS 9286 HAS SOUPS 8869 WITH SCORE 8983.453
AT ITER 8021 NEW BEST:: SOT 138589 SOS 114429 HAS SOPS 46670 HAS SOUS 9262 HAS SOUPS 8845 WITH SCORE 8959.429
AT ITER 8132 NEW BEST:: SOT 138588 SOS 114421 HAS SOPS 46660 HAS SOUS 9252 HAS SOUPS 8835 WITH SCORE 8949.421
AT ITER 8138 NEW BEST:: SOT 138586 SOS 114419 HAS SOPS 46656 HAS SOUS 9248 HAS SOUPS 8831 WITH SCORE 8945.419
AT ITER 8176 NEW BEST:: SOT 138584 SOS 114421 HAS SOPS 46657 HAS SOUS 9245 HAS SOUPS 8828 WITH SCORE 8942.421
AT ITER 8189 NEW BEST:: SOT 138580 SOS 114416 HAS SOPS 46651 HAS SOUS 9239 HAS SOUPS 8822 WITH SCORE 8936.416
AT ITER 8272 NEW BEST:: SOT 138580 SOS 114414 HAS SOPS 46650 HAS SOUS 9239 HAS SOUPS 8822 WITH SCORE 8936.414
AT ITER 8291 NEW BEST:: SOT 138574 SOS 114408 HAS SOPS 46638 HAS SOUS 9227 HAS SOUPS 8810 WITH SCORE 8924.408
AT ITER 8299 NEW BEST:: SOT 138573 SOS 114400 HAS SOPS 46636 HAS SOUS 9215 HAS SOUPS 8798 WITH SCORE 8912.4
AT ITER 8330 NEW BEST:: SOT 138585 SOS 114423 HAS SOPS 46604 HAS SOUS 9183 HAS SOUPS 8766 WITH SCORE 8880.423
AT ITER 8349 NEW BEST:: SOT 138583 SOS 114421 HAS SOPS 46600 HAS SOUS 9179 HAS SOUPS 8762 WITH SCORE 8876.421
AT ITER 8376 NEW BEST:: SOT 138583 SOS 114418 HAS SOPS 46597 HAS SOUS 9176 HAS SOUPS 8759 WITH SCORE 8873.418
AT ITER 8393 NEW BEST:: SOT 138577 SOS 114412 HAS SOPS 46585 HAS SOUS 9164 HAS SOUPS 8747 WITH SCORE 8861.412
AT ITER 8440 NEW BEST:: SOT 138567 SOS 114402 HAS SOPS 46575 HAS SOUS 9154 HAS SOUPS 8737 WITH SCORE 8851.402
AT ITER 8441 NEW BEST:: SOT 138563 SOS 114401 HAS SOPS 46570 HAS SOUS 9150 HAS SOUPS 8733 WITH SCORE 8847.401
AT ITER 8446 NEW BEST:: SOT 138563 SOS 114399 HAS SOPS 46567 HAS SOUS 9147 HAS SOUPS 8730 WITH SCORE 8844.399
AT ITER 8616 NEW BEST:: SOT 138579 SOS 114433 HAS SOPS 46599 HAS SOUS 9141 HAS SOUPS 8724 WITH SCORE 8838.433
AT ITER 8766 NEW BEST:: SOT 138585 SOS 114413 HAS SOPS 46578 HAS SOUS 9121 HAS SOUPS 8703 WITH SCORE 8817.413
AT ITER 8778 NEW BEST:: SOT 138566 SOS 114390 HAS SOPS 46557 HAS SOUS 9098 HAS SOUPS 8680 WITH SCORE 8794.39
AT ITER 8854 NEW BEST:: SOT 138557 SOS 114377 HAS SOPS 46539 HAS SOUS 9080 HAS SOUPS 8662 WITH SCORE 8776.377
AT ITER 8855 NEW BEST:: SOT 138549 SOS 114361 HAS SOPS 46523 HAS SOUS 9072 HAS SOUPS 8654 WITH SCORE 8768.361
AT ITER 8965 NEW BEST:: SOT 138541 SOS 114338 HAS SOPS 46507 HAS SOUS 9068 HAS SOUPS 8650 WITH SCORE 8764.338
AT ITER 9056 NEW BEST:: SOT 138541 SOS 114338 HAS SOPS 46507 HAS SOUS 9067 HAS SOUPS 8649 WITH SCORE 8763.338
AT ITER 9116 NEW BEST:: SOT 138540 SOS 114329 HAS SOPS 46505 HAS SOUS 9065 HAS SOUPS 8647 WITH SCORE 8761.329
AT ITER 9139 NEW BEST:: SOT 138538 SOS 114317 HAS SOPS 46501 HAS SOUS 9061 HAS SOUPS 8643 WITH SCORE 8757.317
AT ITER 9155 NEW BEST:: SOT 138536 SOS 114316 HAS SOPS 46499 HAS SOUS 9059 HAS SOUPS 8641 WITH SCORE 8755.316
AT ITER 9173 NEW BEST:: SOT 138528 SOS 114303 HAS SOPS 46483 HAS SOUS 9047 HAS SOUPS 8629 WITH SCORE 8743.303
AT ITER 9216 NEW BEST:: SOT 138528 SOS 114301 HAS SOPS 46481 HAS SOUS 9045 HAS SOUPS 8627 WITH SCORE 8741.301
AT ITER 9222 NEW BEST:: SOT 138526 SOS 114294 HAS SOPS 46474 HAS SOUS 9039 HAS SOUPS 8621 WITH SCORE 8735.294
AT ITER 9275 NEW BEST:: SOT 138518 SOS 114288 HAS SOPS 46467 HAS SOUS 9033 HAS SOUPS 8614 WITH SCORE 8728.288
AT ITER 9283 NEW BEST:: SOT 138517 SOS 114287 HAS SOPS 46465 HAS SOUS 9030 HAS SOUPS 8611 WITH SCORE 8725.287
AT ITER 9286 NEW BEST:: SOT 138518 SOS 114283 HAS SOPS 46460 HAS SOUS 9020 HAS SOUPS 8601 WITH SCORE 8715.283
AT ITER 9294 NEW BEST:: SOT 138512 SOS 114277 HAS SOPS 46451 HAS SOUS 9011 HAS SOUPS 8592 WITH SCORE 8706.277
AT ITER 9324 NEW BEST:: SOT 138428 SOS 114218 HAS SOPS 46381 HAS SOUS 8929 HAS SOUPS 8510 WITH SCORE 8624.218
AT ITER 9349 NEW BEST:: SOT 138427 SOS 114212 HAS SOPS 46374 HAS SOUS 8922 HAS SOUPS 8503 WITH SCORE 8617.212
AT ITER 9353 NEW BEST:: SOT 138425 SOS 114208 HAS SOPS 46370 HAS SOUS 8920 HAS SOUPS 8501 WITH SCORE 8615.208
AT ITER 9403 NEW BEST:: SOT 138428 SOS 114205 HAS SOPS 46369 HAS SOUS 8918 HAS SOUPS 8499 WITH SCORE 8613.205
AT ITER 9439 NEW BEST:: SOT 138433 SOS 114201 HAS SOPS 46370 HAS SOUS 8915 HAS SOUPS 8496 WITH SCORE 8610.201
AT ITER 9477 NEW BEST:: SOT 138435 SOS 114197 HAS SOPS 46368 HAS SOUS 8913 HAS SOUPS 8494 WITH SCORE 8608.197
AT ITER 9484 NEW BEST:: SOT 138419 SOS 114157 HAS SOPS 46324 HAS SOUS 8881 HAS SOUPS 8462 WITH SCORE 8576.157
AT ITER 9500 NEW BEST:: SOT 138418 SOS 114140 HAS SOPS 46311 HAS SOUS 8877 HAS SOUPS 8458 WITH SCORE 8572.14
AT ITER 9593 NEW BEST:: SOT 138406 SOS 114119 HAS SOPS 46287 HAS SOUS 8862 HAS SOUPS 8443 WITH SCORE 8557.119
AT ITER 9706 NEW BEST:: SOT 138406 SOS 114118 HAS SOPS 46286 HAS SOUS 8862 HAS SOUPS 8443 WITH SCORE 8557.118
AT ITER 9797 NEW BEST:: SOT 138404 SOS 114116 HAS SOPS 46282 HAS SOUS 8858 HAS SOUPS 8439 WITH SCORE 8553.116
AT ITER 9898 NEW BEST:: SOT 138375 SOS 114090 HAS SOPS 46312 HAS SOUS 8840 HAS SOUPS 8421 WITH SCORE 8535.09
AT ITER 9923 NEW BEST:: SOT 138368 SOS 114083 HAS SOPS 46298 HAS SOUS 8840 HAS SOUPS 8421 WITH SCORE 8535.083
AT ITER 9987 NEW BEST:: SOT 138353 SOS 114063 HAS SOPS 46273 HAS SOUS 8815 HAS SOUPS 8396 WITH SCORE 8510.063
STATE_SPACE STATES 26623333280885243905 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 20 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 787976711410645204993 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679482133580

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

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-18a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is FlexibleBarrier-PT-18a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r171-tall-167838858800560"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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