Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250700536.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Parking-PT-416, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250700536
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 276K
-rw-r--r-- 1 mcc users 4.0K Apr 11 23:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 11 23:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 10 22:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 10 22:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Apr 10 07:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 07:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 9 12:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 9 12:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 107K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589645119565

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

Filename model.pnml
Petri model created: 305 places, 433 transitions, 1289 arcs.
AT ITER 0 NEW BEST:: SOT 79497 SOS 56645 HAS SOPS 56645 HAS SOUS 37528 HAS SOUPS 37528 WITH SCORE 37584.645
AT ITER 1 NEW BEST:: SOT 78967 SOS 55904 HAS SOPS 55881 HAS SOUS 37077 HAS SOUPS 37054 WITH SCORE 37109.904
AT ITER 2 NEW BEST:: SOT 78967 SOS 55696 HAS SOPS 55673 HAS SOUS 37010 HAS SOUPS 36987 WITH SCORE 37042.696
AT ITER 4 NEW BEST:: SOT 78967 SOS 55462 HAS SOPS 55439 HAS SOUS 36900 HAS SOUPS 36877 WITH SCORE 36932.462
AT ITER 6 NEW BEST:: SOT 78967 SOS 55260 HAS SOPS 55237 HAS SOUS 36863 HAS SOUPS 36840 WITH SCORE 36895.26
AT ITER 8 NEW BEST:: SOT 78886 SOS 54876 HAS SOPS 54853 HAS SOUS 36836 HAS SOUPS 36813 WITH SCORE 36867.876
AT ITER 10 NEW BEST:: SOT 78547 SOS 54590 HAS SOPS 54513 HAS SOUS 36674 HAS SOUPS 36597 WITH SCORE 36651.59
AT ITER 11 NEW BEST:: SOT 78547 SOS 54454 HAS SOPS 54377 HAS SOUS 36628 HAS SOUPS 36551 WITH SCORE 36605.454
AT ITER 12 NEW BEST:: SOT 78377 SOS 54284 HAS SOPS 54207 HAS SOUS 36492 HAS SOUPS 36415 WITH SCORE 36469.284
AT ITER 24 NEW BEST:: SOT 78284 SOS 54327 HAS SOPS 54163 HAS SOUS 36442 HAS SOUPS 36278 WITH SCORE 36332.327
AT ITER 25 NEW BEST:: SOT 78000 SOS 54057 HAS SOPS 53879 HAS SOUS 36252 HAS SOUPS 36074 WITH SCORE 36128.057
AT ITER 28 NEW BEST:: SOT 77522 SOS 53667 HAS SOPS 53413 HAS SOUS 36010 HAS SOUPS 35756 WITH SCORE 35809.667
AT ITER 33 NEW BEST:: SOT 77360 SOS 53442 HAS SOPS 53136 HAS SOUS 35785 HAS SOUPS 35479 WITH SCORE 35532.442
AT ITER 35 NEW BEST:: SOT 76928 SOS 53030 HAS SOPS 52704 HAS SOUS 35500 HAS SOUPS 35174 WITH SCORE 35227.03
AT ITER 36 NEW BEST:: SOT 79358 SOS 55342 HAS SOPS 54839 HAS SOUS 35632 HAS SOUPS 35129 WITH SCORE 35184.342
AT ITER 38 NEW BEST:: SOT 79147 SOS 55132 HAS SOPS 54627 HAS SOUS 35513 HAS SOUPS 35008 WITH SCORE 35063.132
AT ITER 41 NEW BEST:: SOT 78664 SOS 54435 HAS SOPS 53930 HAS SOUS 34974 HAS SOUPS 34469 WITH SCORE 34523.435
AT ITER 44 NEW BEST:: SOT 78463 SOS 54234 HAS SOPS 53729 HAS SOUS 34815 HAS SOUPS 34310 WITH SCORE 34364.234
AT ITER 53 NEW BEST:: SOT 78463 SOS 53997 HAS SOPS 53492 HAS SOUS 34676 HAS SOUPS 34171 WITH SCORE 34224.997
AT ITER 55 NEW BEST:: SOT 78463 SOS 52652 HAS SOPS 52147 HAS SOUS 34600 HAS SOUPS 34095 WITH SCORE 34147.652
AT ITER 60 NEW BEST:: SOT 78462 SOS 52585 HAS SOPS 52080 HAS SOUS 34555 HAS SOUPS 34050 WITH SCORE 34102.585
AT ITER 61 NEW BEST:: SOT 78462 SOS 52501 HAS SOPS 51996 HAS SOUS 34527 HAS SOUPS 34022 WITH SCORE 34074.501
AT ITER 62 NEW BEST:: SOT 78429 SOS 52175 HAS SOPS 51670 HAS SOUS 34355 HAS SOUPS 33850 WITH SCORE 33902.175
AT ITER 64 NEW BEST:: SOT 78429 SOS 52105 HAS SOPS 51600 HAS SOUS 34355 HAS SOUPS 33850 WITH SCORE 33902.105
AT ITER 73 NEW BEST:: SOT 78027 SOS 51929 HAS SOPS 51294 HAS SOUS 34282 HAS SOUPS 33647 WITH SCORE 33698.929
AT ITER 74 NEW BEST:: SOT 78006 SOS 51706 HAS SOPS 51071 HAS SOUS 34267 HAS SOUPS 33632 WITH SCORE 33683.706
AT ITER 79 NEW BEST:: SOT 78006 SOS 51705 HAS SOPS 51070 HAS SOUS 34266 HAS SOUPS 33631 WITH SCORE 33682.705
AT ITER 81 NEW BEST:: SOT 77803 SOS 51502 HAS SOPS 50867 HAS SOUS 34116 HAS SOUPS 33481 WITH SCORE 33532.502
AT ITER 83 NEW BEST:: SOT 77714 SOS 51412 HAS SOPS 50777 HAS SOUS 34026 HAS SOUPS 33391 WITH SCORE 33442.412
AT ITER 84 NEW BEST:: SOT 77489 SOS 51187 HAS SOPS 50552 HAS SOUS 33879 HAS SOUPS 33244 WITH SCORE 33295.187
AT ITER 86 NEW BEST:: SOT 77488 SOS 51186 HAS SOPS 50551 HAS SOUS 33878 HAS SOUPS 33243 WITH SCORE 33294.186
AT ITER 90 NEW BEST:: SOT 77412 SOS 51034 HAS SOPS 50399 HAS SOUS 33802 HAS SOUPS 33167 WITH SCORE 33218.034
AT ITER 93 NEW BEST:: SOT 77412 SOS 50870 HAS SOPS 50235 HAS SOUS 33696 HAS SOUPS 33061 WITH SCORE 33111.87
AT ITER 94 NEW BEST:: SOT 77412 SOS 50685 HAS SOPS 50050 HAS SOUS 33634 HAS SOUPS 32999 WITH SCORE 33049.685
AT ITER 96 NEW BEST:: SOT 77054 SOS 50369 HAS SOPS 49692 HAS SOUS 33448 HAS SOUPS 32771 WITH SCORE 32821.369
AT ITER 97 NEW BEST:: SOT 77054 SOS 50089 HAS SOPS 49412 HAS SOUS 33265 HAS SOUPS 32588 WITH SCORE 32638.089
AT ITER 100 NEW BEST:: SOT 76986 SOS 50021 HAS SOPS 49344 HAS SOUS 33214 HAS SOUPS 32537 WITH SCORE 32587.021
AT ITER 106 NEW BEST:: SOT 76978 SOS 50013 HAS SOPS 49336 HAS SOUS 33206 HAS SOUPS 32529 WITH SCORE 32579.013
AT ITER 109 NEW BEST:: SOT 76978 SOS 49961 HAS SOPS 49284 HAS SOUS 33193 HAS SOUPS 32516 WITH SCORE 32565.961
AT ITER 122 NEW BEST:: SOT 76655 SOS 49638 HAS SOPS 48961 HAS SOUS 33011 HAS SOUPS 32334 WITH SCORE 32383.638
AT ITER 131 NEW BEST:: SOT 76201 SOS 47800 HAS SOPS 47070 HAS SOUS 32605 HAS SOUPS 31875 WITH SCORE 31922.8
AT ITER 132 NEW BEST:: SOT 76135 SOS 47658 HAS SOPS 46928 HAS SOUS 32593 HAS SOUPS 31863 WITH SCORE 31910.658
AT ITER 134 NEW BEST:: SOT 75986 SOS 47631 HAS SOPS 46806 HAS SOUS 32548 HAS SOUPS 31723 WITH SCORE 31770.631
AT ITER 137 NEW BEST:: SOT 75584 SOS 47387 HAS SOPS 46512 HAS SOUS 32240 HAS SOUPS 31365 WITH SCORE 31412.387
AT ITER 139 NEW BEST:: SOT 75539 SOS 47333 HAS SOPS 46458 HAS SOUS 32225 HAS SOUPS 31350 WITH SCORE 31397.333
AT ITER 145 NEW BEST:: SOT 75539 SOS 47304 HAS SOPS 46429 HAS SOUS 32222 HAS SOUPS 31347 WITH SCORE 31394.304
AT ITER 147 NEW BEST:: SOT 75410 SOS 47175 HAS SOPS 46300 HAS SOUS 32136 HAS SOUPS 31261 WITH SCORE 31308.175
AT ITER 148 NEW BEST:: SOT 74972 SOS 46610 HAS SOPS 45614 HAS SOUS 31869 HAS SOUPS 30873 WITH SCORE 30919.61
AT ITER 149 NEW BEST:: SOT 74902 SOS 46553 HAS SOPS 45543 HAS SOUS 31866 HAS SOUPS 30856 WITH SCORE 30902.553
AT ITER 154 NEW BEST:: SOT 74904 SOS 45880 HAS SOPS 44870 HAS SOUS 31528 HAS SOUPS 30518 WITH SCORE 30563.88
AT ITER 156 NEW BEST:: SOT 74920 SOS 45627 HAS SOPS 44617 HAS SOUS 31507 HAS SOUPS 30497 WITH SCORE 30542.627
AT ITER 157 NEW BEST:: SOT 74912 SOS 45611 HAS SOPS 44601 HAS SOUS 31495 HAS SOUPS 30485 WITH SCORE 30530.611
AT ITER 159 NEW BEST:: SOT 74817 SOS 45489 HAS SOPS 44395 HAS SOUS 31405 HAS SOUPS 30311 WITH SCORE 30356.489
AT ITER 160 NEW BEST:: SOT 74817 SOS 45352 HAS SOPS 44258 HAS SOUS 31351 HAS SOUPS 30257 WITH SCORE 30302.352
AT ITER 161 NEW BEST:: SOT 74653 SOS 45188 HAS SOPS 44094 HAS SOUS 31228 HAS SOUPS 30134 WITH SCORE 30179.188
AT ITER 168 NEW BEST:: SOT 74687 SOS 45208 HAS SOPS 44128 HAS SOUS 31143 HAS SOUPS 30063 WITH SCORE 30108.208
AT ITER 170 NEW BEST:: SOT 74678 SOS 45189 HAS SOPS 44109 HAS SOUS 31124 HAS SOUPS 30044 WITH SCORE 30089.189
AT ITER 178 NEW BEST:: SOT 74526 SOS 45086 HAS SOPS 43937 HAS SOUS 31041 HAS SOUPS 29892 WITH SCORE 29937.086
AT ITER 189 NEW BEST:: SOT 74303 SOS 44918 HAS SOPS 43714 HAS SOUS 30976 HAS SOUPS 29772 WITH SCORE 29816.918
AT ITER 191 NEW BEST:: SOT 74303 SOS 44918 HAS SOPS 43714 HAS SOUS 30974 HAS SOUPS 29770 WITH SCORE 29814.918
AT ITER 194 NEW BEST:: SOT 74334 SOS 44967 HAS SOPS 43763 HAS SOUS 30902 HAS SOUPS 29698 WITH SCORE 29742.967
AT ITER 195 NEW BEST:: SOT 74280 SOS 44925 HAS SOPS 43721 HAS SOUS 30860 HAS SOUPS 29656 WITH SCORE 29700.925
AT ITER 202 NEW BEST:: SOT 74280 SOS 44805 HAS SOPS 43601 HAS SOUS 30740 HAS SOUPS 29536 WITH SCORE 29580.805
AT ITER 203 NEW BEST:: SOT 74280 SOS 44377 HAS SOPS 43173 HAS SOUS 30545 HAS SOUPS 29341 WITH SCORE 29385.377
AT ITER 212 NEW BEST:: SOT 74280 SOS 44344 HAS SOPS 43140 HAS SOUS 30512 HAS SOUPS 29308 WITH SCORE 29352.344
AT ITER 213 NEW BEST:: SOT 74274 SOS 44337 HAS SOPS 43133 HAS SOUS 30421 HAS SOUPS 29217 WITH SCORE 29261.337
AT ITER 215 NEW BEST:: SOT 74274 SOS 44277 HAS SOPS 43073 HAS SOUS 30391 HAS SOUPS 29187 WITH SCORE 29231.277
AT ITER 224 NEW BEST:: SOT 74274 SOS 44277 HAS SOPS 43073 HAS SOUS 30358 HAS SOUPS 29154 WITH SCORE 29198.277
AT ITER 225 NEW BEST:: SOT 74282 SOS 43939 HAS SOPS 42735 HAS SOUS 30279 HAS SOUPS 29075 WITH SCORE 29118.939
AT ITER 229 NEW BEST:: SOT 73913 SOS 43570 HAS SOPS 42366 HAS SOUS 29992 HAS SOUPS 28788 WITH SCORE 28831.57
AT ITER 231 NEW BEST:: SOT 73873 SOS 43427 HAS SOPS 42203 HAS SOUS 29952 HAS SOUPS 28728 WITH SCORE 28771.427
AT ITER 233 NEW BEST:: SOT 73873 SOS 43406 HAS SOPS 42182 HAS SOUS 29931 HAS SOUPS 28707 WITH SCORE 28750.406
AT ITER 234 NEW BEST:: SOT 73720 SOS 43054 HAS SOPS 41830 HAS SOUS 29725 HAS SOUPS 28501 WITH SCORE 28544.054
AT ITER 237 NEW BEST:: SOT 73719 SOS 43053 HAS SOPS 41829 HAS SOUS 29713 HAS SOUPS 28489 WITH SCORE 28532.053
AT ITER 242 NEW BEST:: SOT 73478 SOS 42730 HAS SOPS 41506 HAS SOUS 29448 HAS SOUPS 28224 WITH SCORE 28266.73
AT ITER 243 NEW BEST:: SOT 73283 SOS 42457 HAS SOPS 41174 HAS SOUS 29159 HAS SOUPS 27876 WITH SCORE 27918.457
AT ITER 246 NEW BEST:: SOT 73297 SOS 42539 HAS SOPS 41241 HAS SOUS 29004 HAS SOUPS 27706 WITH SCORE 27748.539
AT ITER 247 NEW BEST:: SOT 72887 SOS 42142 HAS SOPS 40844 HAS SOUS 28691 HAS SOUPS 27393 WITH SCORE 27435.142
AT ITER 259 NEW BEST:: SOT 72879 SOS 42138 HAS SOPS 40840 HAS SOUS 28691 HAS SOUPS 27393 WITH SCORE 27435.138
AT ITER 265 NEW BEST:: SOT 72845 SOS 42096 HAS SOPS 40798 HAS SOUS 28657 HAS SOUPS 27359 WITH SCORE 27401.096
AT ITER 266 NEW BEST:: SOT 71438 SOS 40583 HAS SOPS 39274 HAS SOUS 27667 HAS SOUPS 26363 WITH SCORE 26403.583
AT ITER 267 NEW BEST:: SOT 71338 SOS 40482 HAS SOPS 39173 HAS SOUS 27566 HAS SOUPS 26262 WITH SCORE 26302.482
AT ITER 270 NEW BEST:: SOT 71338 SOS 40458 HAS SOPS 39149 HAS SOUS 27534 HAS SOUPS 26230 WITH SCORE 26270.458
AT ITER 274 NEW BEST:: SOT 71047 SOS 40231 HAS SOPS 38857 HAS SOUS 27404 HAS SOUPS 26035 WITH SCORE 26075.231
AT ITER 279 NEW BEST:: SOT 70789 SOS 40076 HAS SOPS 38599 HAS SOUS 27370 HAS SOUPS 25898 WITH SCORE 25938.076
AT ITER 282 NEW BEST:: SOT 70779 SOS 39877 HAS SOPS 38400 HAS SOUS 27265 HAS SOUPS 25793 WITH SCORE 25832.877
AT ITER 290 NEW BEST:: SOT 71815 SOS 41331 HAS SOPS 39764 HAS SOUS 26917 HAS SOUPS 25372 WITH SCORE 25413.331
AT ITER 294 NEW BEST:: SOT 71734 SOS 41196 HAS SOPS 39629 HAS SOUS 26836 HAS SOUPS 25291 WITH SCORE 25332.196
AT ITER 300 NEW BEST:: SOT 71589 SOS 41058 HAS SOPS 39491 HAS SOUS 26748 HAS SOUPS 25203 WITH SCORE 25244.058
AT ITER 308 NEW BEST:: SOT 71589 SOS 41022 HAS SOPS 39491 HAS SOUS 26712 HAS SOUPS 25203 WITH SCORE 25244.022
AT ITER 313 NEW BEST:: SOT 71412 SOS 40728 HAS SOPS 39197 HAS SOUS 26552 HAS SOUPS 25043 WITH SCORE 25083.728
AT ITER 314 NEW BEST:: SOT 71383 SOS 40770 HAS SOPS 39168 HAS SOUS 26594 HAS SOUPS 25014 WITH SCORE 25054.77
AT ITER 315 NEW BEST:: SOT 71383 SOS 40770 HAS SOPS 39168 HAS SOUS 26545 HAS SOUPS 24965 WITH SCORE 25005.77
AT ITER 318 NEW BEST:: SOT 71350 SOS 40671 HAS SOPS 39069 HAS SOUS 26534 HAS SOUPS 24954 WITH SCORE 24994.671
AT ITER 331 NEW BEST:: SOT 71241 SOS 40561 HAS SOPS 38959 HAS SOUS 26424 HAS SOUPS 24844 WITH SCORE 24884.561
AT ITER 341 NEW BEST:: SOT 71083 SOS 40400 HAS SOPS 38757 HAS SOUS 26315 HAS SOUPS 24694 WITH SCORE 24734.4
AT ITER 345 NEW BEST:: SOT 73205 SOS 42971 HAS SOPS 41262 HAS SOUS 26335 HAS SOUPS 24677 WITH SCORE 24719.971
AT ITER 347 NEW BEST:: SOT 73205 SOS 42924 HAS SOPS 41215 HAS SOUS 26335 HAS SOUPS 24677 WITH SCORE 24719.924
AT ITER 350 NEW BEST:: SOT 73139 SOS 42786 HAS SOPS 41077 HAS SOUS 26323 HAS SOUPS 24665 WITH SCORE 24707.786
AT ITER 353 NEW BEST:: SOT 73253 SOS 43018 HAS SOPS 41225 HAS SOUS 26216 HAS SOUPS 24474 WITH SCORE 24517.018
AT ITER 355 NEW BEST:: SOT 73213 SOS 42978 HAS SOPS 41185 HAS SOUS 26176 HAS SOUPS 24434 WITH SCORE 24476.978
AT ITER 358 NEW BEST:: SOT 73096 SOS 42926 HAS SOPS 41133 HAS SOUS 26053 HAS SOUPS 24311 WITH SCORE 24353.926
AT ITER 362 NEW BEST:: SOT 73026 SOS 42856 HAS SOPS 40993 HAS SOUS 25926 HAS SOUPS 24114 WITH SCORE 24156.856
AT ITER 363 NEW BEST:: SOT 72965 SOS 42710 HAS SOPS 40847 HAS SOUS 25925 HAS SOUPS 24113 WITH SCORE 24155.71
AT ITER 365 NEW BEST:: SOT 72959 SOS 42666 HAS SOPS 40803 HAS SOUS 25881 HAS SOUPS 24069 WITH SCORE 24111.666
AT ITER 367 NEW BEST:: SOT 72871 SOS 42578 HAS SOPS 40715 HAS SOUS 25837 HAS SOUPS 24025 WITH SCORE 24067.578
AT ITER 373 NEW BEST:: SOT 72746 SOS 42522 HAS SOPS 40590 HAS SOUS 25906 HAS SOUPS 24025 WITH SCORE 24067.522
AT ITER 381 NEW BEST:: SOT 72738 SOS 42514 HAS SOPS 40582 HAS SOUS 25898 HAS SOUPS 24017 WITH SCORE 24059.514
AT ITER 383 NEW BEST:: SOT 72738 SOS 42473 HAS SOPS 40582 HAS SOUS 25857 HAS SOUPS 24017 WITH SCORE 24059.473
AT ITER 384 NEW BEST:: SOT 72663 SOS 41967 HAS SOPS 40076 HAS SOUS 25624 HAS SOUPS 23784 WITH SCORE 23825.967
AT ITER 391 NEW BEST:: SOT 72615 SOS 41900 HAS SOPS 39992 HAS SOUS 25556 HAS SOUPS 23699 WITH SCORE 23740.9
AT ITER 395 NEW BEST:: SOT 72503 SOS 41722 HAS SOPS 39814 HAS SOUS 25378 HAS SOUPS 23521 WITH SCORE 23562.722
AT ITER 403 NEW BEST:: SOT 72749 SOS 41962 HAS SOPS 40054 HAS SOUS 25344 HAS SOUPS 23487 WITH SCORE 23528.962
AT ITER 406 NEW BEST:: SOT 72645 SOS 42026 HAS SOPS 40008 HAS SOUS 25378 HAS SOUPS 23411 WITH SCORE 23453.026
AT ITER 419 NEW BEST:: SOT 72575 SOS 41888 HAS SOPS 39868 HAS SOUS 25240 HAS SOUPS 23271 WITH SCORE 23312.888
AT ITER 430 NEW BEST:: SOT 72678 SOS 41991 HAS SOPS 39845 HAS SOUS 25306 HAS SOUPS 23211 WITH SCORE 23252.991
AT ITER 431 NEW BEST:: SOT 72562 SOS 41858 HAS SOPS 39657 HAS SOUS 25245 HAS SOUPS 23095 WITH SCORE 23136.858
AT ITER 448 NEW BEST:: SOT 72556 SOS 41852 HAS SOPS 39651 HAS SOUS 25239 HAS SOUPS 23089 WITH SCORE 23130.852
AT ITER 451 NEW BEST:: SOT 72421 SOS 41717 HAS SOPS 39516 HAS SOUS 25104 HAS SOUPS 22954 WITH SCORE 22995.717
AT ITER 452 NEW BEST:: SOT 72420 SOS 39989 HAS SOPS 37788 HAS SOUS 24997 HAS SOUPS 22847 WITH SCORE 22886.989
AT ITER 460 NEW BEST:: SOT 71610 SOS 39363 HAS SOPS 37011 HAS SOUS 24587 HAS SOUPS 22318 WITH SCORE 22357.363
AT ITER 461 NEW BEST:: SOT 71610 SOS 39354 HAS SOPS 37002 HAS SOUS 24584 HAS SOUPS 22315 WITH SCORE 22354.354
AT ITER 465 NEW BEST:: SOT 71515 SOS 39251 HAS SOPS 36899 HAS SOUS 24481 HAS SOUPS 22212 WITH SCORE 22251.251
AT ITER 475 NEW BEST:: SOT 71449 SOS 39237 HAS SOPS 36885 HAS SOUS 24423 HAS SOUPS 22154 WITH SCORE 22193.237
AT ITER 477 NEW BEST:: SOT 71450 SOS 39162 HAS SOPS 36810 HAS SOUS 24295 HAS SOUPS 22026 WITH SCORE 22065.162
AT ITER 483 NEW BEST:: SOT 71449 SOS 39165 HAS SOPS 36808 HAS SOUS 24172 HAS SOUPS 22024 WITH SCORE 22063.165
AT ITER 490 NEW BEST:: SOT 71395 SOS 39111 HAS SOPS 36754 HAS SOUS 24118 HAS SOUPS 21970 WITH SCORE 22009.111
AT ITER 493 NEW BEST:: SOT 71339 SOS 38887 HAS SOPS 36530 HAS SOUS 24006 HAS SOUPS 21858 WITH SCORE 21896.887
AT ITER 494 NEW BEST:: SOT 71339 SOS 38882 HAS SOPS 36530 HAS SOUS 24006 HAS SOUPS 21858 WITH SCORE 21896.882
AT ITER 496 NEW BEST:: SOT 71242 SOS 39835 HAS SOPS 37483 HAS SOUS 23909 HAS SOUPS 21761 WITH SCORE 21800.835
AT ITER 498 NEW BEST:: SOT 71164 SOS 39562 HAS SOPS 37210 HAS SOUS 23852 HAS SOUPS 21704 WITH SCORE 21743.562
AT ITER 502 NEW BEST:: SOT 71182 SOS 39473 HAS SOPS 37121 HAS SOUS 23805 HAS SOUPS 21657 WITH SCORE 21696.473
AT ITER 505 NEW BEST:: SOT 71140 SOS 39368 HAS SOPS 37016 HAS SOUS 23742 HAS SOUPS 21594 WITH SCORE 21633.368
AT ITER 506 NEW BEST:: SOT 71097 SOS 39278 HAS SOPS 36926 HAS SOUS 23685 HAS SOUPS 21537 WITH SCORE 21576.278
AT ITER 511 NEW BEST:: SOT 71080 SOS 39261 HAS SOPS 36909 HAS SOUS 23668 HAS SOUPS 21520 WITH SCORE 21559.261
AT ITER 515 NEW BEST:: SOT 70992 SOS 39104 HAS SOPS 36752 HAS SOUS 23569 HAS SOUPS 21421 WITH SCORE 21460.104
AT ITER 518 NEW BEST:: SOT 70992 SOS 39055 HAS SOPS 36703 HAS SOUS 23520 HAS SOUPS 21372 WITH SCORE 21411.055
AT ITER 521 NEW BEST:: SOT 70932 SOS 38138 HAS SOPS 35786 HAS SOUS 23282 HAS SOUPS 21134 WITH SCORE 21172.138
AT ITER 529 NEW BEST:: SOT 70768 SOS 37973 HAS SOPS 35621 HAS SOUS 23233 HAS SOUPS 21085 WITH SCORE 21122.973
AT ITER 531 NEW BEST:: SOT 70660 SOS 37952 HAS SOPS 35600 HAS SOUS 23203 HAS SOUPS 21055 WITH SCORE 21092.952
AT ITER 533 NEW BEST:: SOT 70604 SOS 37808 HAS SOPS 35448 HAS SOUS 23123 HAS SOUPS 20967 WITH SCORE 21004.808
AT ITER 535 NEW BEST:: SOT 70614 SOS 37752 HAS SOPS 35439 HAS SOUS 23036 HAS SOUPS 20927 WITH SCORE 20964.752
AT ITER 538 NEW BEST:: SOT 70610 SOS 37728 HAS SOPS 35419 HAS SOUS 23020 HAS SOUPS 20915 WITH SCORE 20952.728
AT ITER 550 NEW BEST:: SOT 70559 SOS 37665 HAS SOPS 35351 HAS SOUS 22991 HAS SOUPS 20881 WITH SCORE 20918.665
AT ITER 572 NEW BEST:: SOT 69574 SOS 36798 HAS SOPS 34484 HAS SOUS 22948 HAS SOUPS 20838 WITH SCORE 20874.798
AT ITER 575 NEW BEST:: SOT 69528 SOS 36797 HAS SOPS 34483 HAS SOUS 22948 HAS SOUPS 20838 WITH SCORE 20874.797
AT ITER 578 NEW BEST:: SOT 69338 SOS 34052 HAS SOPS 31738 HAS SOUS 22443 HAS SOUPS 20333 WITH SCORE 20367.052
AT ITER 580 NEW BEST:: SOT 69284 SOS 33998 HAS SOPS 31724 HAS SOUS 22429 HAS SOUPS 20319 WITH SCORE 20352.998
AT ITER 581 NEW BEST:: SOT 69249 SOS 33909 HAS SOPS 31689 HAS SOUS 22340 HAS SOUPS 20284 WITH SCORE 20317.909
AT ITER 586 NEW BEST:: SOT 69049 SOS 33706 HAS SOPS 31357 HAS SOUS 22279 HAS SOUPS 20094 WITH SCORE 20127.706
AT ITER 587 NEW BEST:: SOT 69117 SOS 33515 HAS SOPS 31166 HAS SOUS 22246 HAS SOUPS 20061 WITH SCORE 20094.515
AT ITER 588 NEW BEST:: SOT 69049 SOS 33379 HAS SOPS 31030 HAS SOUS 22144 HAS SOUPS 19959 WITH SCORE 19992.379
AT ITER 595 NEW BEST:: SOT 69181 SOS 33382 HAS SOPS 31033 HAS SOUS 22074 HAS SOUPS 19889 WITH SCORE 19922.382
AT ITER 596 NEW BEST:: SOT 69178 SOS 33378 HAS SOPS 31029 HAS SOUS 22072 HAS SOUPS 19887 WITH SCORE 19920.378
AT ITER 613 NEW BEST:: SOT 69165 SOS 33319 HAS SOPS 30963 HAS SOUS 21983 HAS SOUPS 19792 WITH SCORE 19825.319
AT ITER 625 NEW BEST:: SOT 69153 SOS 33307 HAS SOPS 30951 HAS SOUS 21977 HAS SOUPS 19786 WITH SCORE 19819.307
AT ITER 629 NEW BEST:: SOT 69147 SOS 33316 HAS SOPS 30960 HAS SOUS 21968 HAS SOUPS 19777 WITH SCORE 19810.316
AT ITER 631 NEW BEST:: SOT 69117 SOS 33154 HAS SOPS 30828 HAS SOUS 21940 HAS SOUPS 19764 WITH SCORE 19797.154
AT ITER 632 NEW BEST:: SOT 68936 SOS 32803 HAS SOPS 30477 HAS SOUS 21703 HAS SOUPS 19527 WITH SCORE 19559.803
AT ITER 634 NEW BEST:: SOT 68835 SOS 32637 HAS SOPS 30275 HAS SOUS 21537 HAS SOUPS 19325 WITH SCORE 19357.637
AT ITER 650 NEW BEST:: SOT 68635 SOS 32437 HAS SOPS 30003 HAS SOUS 21409 HAS SOUPS 19125 WITH SCORE 19157.437
AT ITER 656 NEW BEST:: SOT 68681 SOS 32306 HAS SOPS 29872 HAS SOUS 21278 HAS SOUPS 18994 WITH SCORE 19026.306
AT ITER 657 NEW BEST:: SOT 68595 SOS 32073 HAS SOPS 29648 HAS SOUS 21140 HAS SOUPS 18865 WITH SCORE 18897.073
AT ITER 662 NEW BEST:: SOT 68498 SOS 31897 HAS SOPS 29512 HAS SOUS 21087 HAS SOUPS 18851 WITH SCORE 18882.897
AT ITER 671 NEW BEST:: SOT 68498 SOS 31900 HAS SOPS 29515 HAS SOUS 21085 HAS SOUPS 18849 WITH SCORE 18880.9
AT ITER 672 NEW BEST:: SOT 68463 SOS 31865 HAS SOPS 29480 HAS SOUS 21050 HAS SOUPS 18814 WITH SCORE 18845.865
AT ITER 686 NEW BEST:: SOT 68367 SOS 31769 HAS SOPS 29384 HAS SOUS 20912 HAS SOUPS 18676 WITH SCORE 18707.769
AT ITER 694 NEW BEST:: SOT 68367 SOS 31703 HAS SOPS 29318 HAS SOUS 20912 HAS SOUPS 18676 WITH SCORE 18707.703
AT ITER 697 NEW BEST:: SOT 68361 SOS 31685 HAS SOPS 29300 HAS SOUS 20906 HAS SOUPS 18670 WITH SCORE 18701.685
AT ITER 699 NEW BEST:: SOT 68302 SOS 29173 HAS SOPS 26642 HAS SOUS 20804 HAS SOUPS 18422 WITH SCORE 18451.173
AT ITER 709 NEW BEST:: SOT 68254 SOS 29061 HAS SOPS 26562 HAS SOUS 20764 HAS SOUPS 18406 WITH SCORE 18435.061
AT ITER 711 NEW BEST:: SOT 68254 SOS 29061 HAS SOPS 26562 HAS SOUS 20755 HAS SOUPS 18397 WITH SCORE 18426.061
AT ITER 713 NEW BEST:: SOT 68341 SOS 29134 HAS SOPS 26635 HAS SOUS 20746 HAS SOUPS 18388 WITH SCORE 18417.134
AT ITER 715 NEW BEST:: SOT 68317 SOS 29098 HAS SOPS 26587 HAS SOUS 20722 HAS SOUPS 18352 WITH SCORE 18381.098
AT ITER 719 NEW BEST:: SOT 68317 SOS 29120 HAS SOPS 26609 HAS SOUS 20704 HAS SOUPS 18334 WITH SCORE 18363.12
AT ITER 722 NEW BEST:: SOT 68317 SOS 29102 HAS SOPS 26591 HAS SOUS 20686 HAS SOUPS 18316 WITH SCORE 18345.102
AT ITER 728 NEW BEST:: SOT 68155 SOS 28962 HAS SOPS 26451 HAS SOUS 20581 HAS SOUPS 18211 WITH SCORE 18239.962
AT ITER 733 NEW BEST:: SOT 68132 SOS 28750 HAS SOPS 26289 HAS SOUS 20451 HAS SOUPS 18131 WITH SCORE 18159.75
AT ITER 751 NEW BEST:: SOT 68110 SOS 28717 HAS SOPS 26256 HAS SOUS 20429 HAS SOUPS 18109 WITH SCORE 18137.717
AT ITER 774 NEW BEST:: SOT 68619 SOS 29139 HAS SOPS 26684 HAS SOUS 20419 HAS SOUPS 18105 WITH SCORE 18134.139
AT ITER 776 NEW BEST:: SOT 68619 SOS 29107 HAS SOPS 26649 HAS SOUS 20415 HAS SOUPS 18098 WITH SCORE 18127.107
AT ITER 777 NEW BEST:: SOT 68619 SOS 29105 HAS SOPS 26647 HAS SOUS 20413 HAS SOUPS 18096 WITH SCORE 18125.105
AT ITER 794 NEW BEST:: SOT 68625 SOS 29003 HAS SOPS 26545 HAS SOUS 20251 HAS SOUPS 17934 WITH SCORE 17963.003
AT ITER 795 NEW BEST:: SOT 68572 SOS 28963 HAS SOPS 26451 HAS SOUS 20235 HAS SOUPS 17864 WITH SCORE 17892.963
AT ITER 801 NEW BEST:: SOT 68563 SOS 28827 HAS SOPS 26433 HAS SOUS 20166 HAS SOUPS 17846 WITH SCORE 17874.827
AT ITER 802 NEW BEST:: SOT 68655 SOS 28522 HAS SOPS 26202 HAS SOUS 20027 HAS SOUPS 17781 WITH SCORE 17809.522
AT ITER 808 NEW BEST:: SOT 68538 SOS 28411 HAS SOPS 26048 HAS SOUS 19953 HAS SOUPS 17664 WITH SCORE 17692.411
AT ITER 814 NEW BEST:: SOT 68538 SOS 28402 HAS SOPS 26039 HAS SOUS 19944 HAS SOUPS 17655 WITH SCORE 17683.402
AT ITER 818 NEW BEST:: SOT 68531 SOS 28395 HAS SOPS 26032 HAS SOUS 19937 HAS SOUPS 17648 WITH SCORE 17676.395
AT ITER 821 NEW BEST:: SOT 68531 SOS 28391 HAS SOPS 26032 HAS SOUS 19933 HAS SOUPS 17648 WITH SCORE 17676.391
AT ITER 824 NEW BEST:: SOT 68514 SOS 28374 HAS SOPS 26015 HAS SOUS 19916 HAS SOUPS 17631 WITH SCORE 17659.374
AT ITER 840 NEW BEST:: SOT 68520 SOS 28277 HAS SOPS 25946 HAS SOUS 19841 HAS SOUPS 17584 WITH SCORE 17612.277
AT ITER 842 NEW BEST:: SOT 68533 SOS 28290 HAS SOPS 25959 HAS SOUS 19840 HAS SOUPS 17583 WITH SCORE 17611.29
AT ITER 850 NEW BEST:: SOT 68528 SOS 28285 HAS SOPS 25954 HAS SOUS 19835 HAS SOUPS 17578 WITH SCORE 17606.285
AT ITER 853 NEW BEST:: SOT 68398 SOS 28206 HAS SOPS 25751 HAS SOUS 19829 HAS SOUPS 17448 WITH SCORE 17476.206
AT ITER 854 NEW BEST:: SOT 68303 SOS 28066 HAS SOPS 25611 HAS SOUS 19734 HAS SOUPS 17353 WITH SCORE 17381.066
AT ITER 857 NEW BEST:: SOT 68213 SOS 27976 HAS SOPS 25483 HAS SOUS 19682 HAS SOUPS 17263 WITH SCORE 17290.976
AT ITER 865 NEW BEST:: SOT 68171 SOS 27960 HAS SOPS 25467 HAS SOUS 19676 HAS SOUPS 17257 WITH SCORE 17284.96
AT ITER 866 NEW BEST:: SOT 67932 SOS 27846 HAS SOPS 25059 HAS SOUS 19576 HAS SOUPS 16961 WITH SCORE 16988.846
AT ITER 881 NEW BEST:: SOT 67876 SOS 27566 HAS SOPS 24779 HAS SOUS 19464 HAS SOUPS 16849 WITH SCORE 16876.566
AT ITER 900 NEW BEST:: SOT 67887 SOS 27513 HAS SOPS 24695 HAS SOUS 19400 HAS SOUPS 16757 WITH SCORE 16784.513
AT ITER 903 NEW BEST:: SOT 68184 SOS 27746 HAS SOPS 24928 HAS SOUS 19345 HAS SOUPS 16702 WITH SCORE 16729.746
AT ITER 913 NEW BEST:: SOT 68170 SOS 27732 HAS SOPS 24914 HAS SOUS 19331 HAS SOUPS 16688 WITH SCORE 16715.732
AT ITER 938 NEW BEST:: SOT 68170 SOS 27710 HAS SOPS 24892 HAS SOUS 19320 HAS SOUPS 16677 WITH SCORE 16704.71
AT ITER 944 NEW BEST:: SOT 68236 SOS 27780 HAS SOPS 24917 HAS SOUS 19300 HAS SOUPS 16657 WITH SCORE 16684.78
AT ITER 946 NEW BEST:: SOT 68165 SOS 27709 HAS SOPS 24798 HAS SOUS 19276 HAS SOUPS 16585 WITH SCORE 16612.709
AT ITER 951 NEW BEST:: SOT 67965 SOS 27236 HAS SOPS 24378 HAS SOUS 18940 HAS SOUPS 16302 WITH SCORE 16329.236
AT ITER 965 NEW BEST:: SOT 67965 SOS 27212 HAS SOPS 24354 HAS SOUS 18940 HAS SOUPS 16302 WITH SCORE 16329.212
AT ITER 970 NEW BEST:: SOT 67881 SOS 27160 HAS SOPS 24302 HAS SOUS 18889 HAS SOUPS 16251 WITH SCORE 16278.16
AT ITER 988 NEW BEST:: SOT 67881 SOS 27142 HAS SOPS 24302 HAS SOUS 18871 HAS SOUPS 16251 WITH SCORE 16278.142
AT ITER 995 NEW BEST:: SOT 67847 SOS 27060 HAS SOPS 24238 HAS SOUS 18820 HAS SOUPS 16218 WITH SCORE 16245.06
AT ITER 1009 NEW BEST:: SOT 67837 SOS 27035 HAS SOPS 24213 HAS SOUS 18805 HAS SOUPS 16203 WITH SCORE 16230.035
AT ITER 1011 NEW BEST:: SOT 67650 SOS 26930 HAS SOPS 24108 HAS SOUS 18773 HAS SOUPS 16171 WITH SCORE 16197.93
AT ITER 1013 NEW BEST:: SOT 67642 SOS 26922 HAS SOPS 24100 HAS SOUS 18773 HAS SOUPS 16171 WITH SCORE 16197.922
AT ITER 1022 NEW BEST:: SOT 67603 SOS 26863 HAS SOPS 24042 HAS SOUS 18724 HAS SOUPS 16123 WITH SCORE 16149.863
AT ITER 1038 NEW BEST:: SOT 67585 SOS 26845 HAS SOPS 24024 HAS SOUS 18724 HAS SOUPS 16123 WITH SCORE 16149.845
AT ITER 1054 NEW BEST:: SOT 67607 SOS 26785 HAS SOPS 23964 HAS SOUS 18697 HAS SOUPS 16096 WITH SCORE 16122.785
AT ITER 1074 NEW BEST:: SOT 67596 SOS 26774 HAS SOPS 23942 HAS SOUS 18686 HAS SOUPS 16074 WITH SCORE 16100.774
AT ITER 1082 NEW BEST:: SOT 67596 SOS 26754 HAS SOPS 23942 HAS SOUS 18666 HAS SOUPS 16074 WITH SCORE 16100.754
AT ITER 1087 NEW BEST:: SOT 67571 SOS 26754 HAS SOPS 23942 HAS SOUS 18641 HAS SOUPS 16049 WITH SCORE 16075.754
AT ITER 1097 NEW BEST:: SOT 67470 SOS 26650 HAS SOPS 23853 HAS SOUS 18564 HAS SOUPS 15987 WITH SCORE 16013.65
AT ITER 1098 NEW BEST:: SOT 67470 SOS 26658 HAS SOPS 23853 HAS SOUS 18564 HAS SOUPS 15979 WITH SCORE 16005.658
AT ITER 1108 NEW BEST:: SOT 67470 SOS 26714 HAS SOPS 23928 HAS SOUS 18537 HAS SOUPS 15971 WITH SCORE 15997.714
AT ITER 1113 NEW BEST:: SOT 67461 SOS 26692 HAS SOPS 23906 HAS SOUS 18524 HAS SOUPS 15958 WITH SCORE 15984.692
AT ITER 1131 NEW BEST:: SOT 67461 SOS 26656 HAS SOPS 23879 HAS SOUS 18506 HAS SOUPS 15949 WITH SCORE 15975.656
AT ITER 1135 NEW BEST:: SOT 67442 SOS 26629 HAS SOPS 23852 HAS SOUS 18479 HAS SOUPS 15922 WITH SCORE 15948.629
AT ITER 1138 NEW BEST:: SOT 67417 SOS 26604 HAS SOPS 23802 HAS SOUS 18454 HAS SOUPS 15872 WITH SCORE 15898.604
AT ITER 1141 NEW BEST:: SOT 67413 SOS 26548 HAS SOPS 23746 HAS SOUS 18454 HAS SOUPS 15872 WITH SCORE 15898.548
AT ITER 1151 NEW BEST:: SOT 67407 SOS 26542 HAS SOPS 23738 HAS SOUS 18450 HAS SOUPS 15866 WITH SCORE 15892.542
AT ITER 1156 NEW BEST:: SOT 67401 SOS 26536 HAS SOPS 23732 HAS SOUS 18438 HAS SOUPS 15854 WITH SCORE 15880.536
AT ITER 1157 NEW BEST:: SOT 67820 SOS 26263 HAS SOPS 23605 HAS SOUS 18242 HAS SOUPS 15804 WITH SCORE 15830.263
AT ITER 1160 NEW BEST:: SOT 67792 SOS 26207 HAS SOPS 23563 HAS SOUS 18214 HAS SOUPS 15790 WITH SCORE 15816.207
AT ITER 1161 NEW BEST:: SOT 67667 SOS 26082 HAS SOPS 23438 HAS SOUS 18089 HAS SOUPS 15665 WITH SCORE 15691.082
AT ITER 1164 NEW BEST:: SOT 67667 SOS 26080 HAS SOPS 23436 HAS SOUS 18088 HAS SOUPS 15664 WITH SCORE 15690.08
AT ITER 1179 NEW BEST:: SOT 67632 SOS 26003 HAS SOPS 23359 HAS SOUS 18011 HAS SOUPS 15587 WITH SCORE 15613.003
AT ITER 1185 NEW BEST:: SOT 67632 SOS 26008 HAS SOPS 23364 HAS SOUS 18009 HAS SOUPS 15585 WITH SCORE 15611.008
AT ITER 1186 NEW BEST:: SOT 67628 SOS 25994 HAS SOPS 23354 HAS SOUS 17999 HAS SOUPS 15579 WITH SCORE 15604.994
AT ITER 1192 NEW BEST:: SOT 67607 SOS 25995 HAS SOPS 23355 HAS SOUS 17978 HAS SOUPS 15558 WITH SCORE 15583.995
AT ITER 1193 NEW BEST:: SOT 67595 SOS 25937 HAS SOPS 23341 HAS SOUS 17920 HAS SOUPS 15544 WITH SCORE 15569.937
AT ITER 1195 NEW BEST:: SOT 67518 SOS 25782 HAS SOPS 23226 HAS SOUS 17843 HAS SOUPS 15507 WITH SCORE 15532.782
AT ITER 1215 NEW BEST:: SOT 67509 SOS 25781 HAS SOPS 23208 HAS SOUS 17844 HAS SOUPS 15491 WITH SCORE 15516.781
AT ITER 1252 NEW BEST:: SOT 67541 SOS 25718 HAS SOPS 23145 HAS SOUS 17774 HAS SOUPS 15421 WITH SCORE 15446.718
AT ITER 1263 NEW BEST:: SOT 67535 SOS 25712 HAS SOPS 23136 HAS SOUS 17771 HAS SOUPS 15415 WITH SCORE 15440.712
AT ITER 1273 NEW BEST:: SOT 67506 SOS 25667 HAS SOPS 23051 HAS SOUS 17776 HAS SOUPS 15385 WITH SCORE 15410.667
AT ITER 1277 NEW BEST:: SOT 67502 SOS 25655 HAS SOPS 23041 HAS SOUS 17768 HAS SOUPS 15379 WITH SCORE 15404.655
AT ITER 1281 NEW BEST:: SOT 67501 SOS 25658 HAS SOPS 23039 HAS SOUS 17771 HAS SOUPS 15377 WITH SCORE 15402.658
AT ITER 1291 NEW BEST:: SOT 67469 SOS 25626 HAS SOPS 23007 HAS SOUS 17739 HAS SOUPS 15345 WITH SCORE 15370.626
AT ITER 1294 NEW BEST:: SOT 67466 SOS 25623 HAS SOPS 23004 HAS SOUS 17736 HAS SOUPS 15342 WITH SCORE 15367.623
AT ITER 1297 NEW BEST:: SOT 67449 SOS 25606 HAS SOPS 22987 HAS SOUS 17722 HAS SOUPS 15328 WITH SCORE 15353.606
AT ITER 1298 NEW BEST:: SOT 67149 SOS 25366 HAS SOPS 22747 HAS SOUS 17722 HAS SOUPS 15328 WITH SCORE 15353.366
AT ITER 1302 NEW BEST:: SOT 67146 SOS 25368 HAS SOPS 22749 HAS SOUS 17719 HAS SOUPS 15325 WITH SCORE 15350.368
AT ITER 1307 NEW BEST:: SOT 67144 SOS 25366 HAS SOPS 22747 HAS SOUS 17719 HAS SOUPS 15325 WITH SCORE 15350.366
AT ITER 1319 NEW BEST:: SOT 66884 SOS 25020 HAS SOPS 22401 HAS SOUS 17501 HAS SOUPS 15107 WITH SCORE 15132.02
AT ITER 1338 NEW BEST:: SOT 66884 SOS 25030 HAS SOPS 22401 HAS SOUS 17510 HAS SOUPS 15106 WITH SCORE 15131.03
AT ITER 1340 NEW BEST:: SOT 67052 SOS 24797 HAS SOPS 22237 HAS SOUS 17446 HAS SOUPS 15090 WITH SCORE 15114.797
AT ITER 1345 NEW BEST:: SOT 67052 SOS 24697 HAS SOPS 22137 HAS SOUS 17396 HAS SOUPS 15040 WITH SCORE 15064.697
AT ITER 1349 NEW BEST:: SOT 67049 SOS 24694 HAS SOPS 22134 HAS SOUS 17393 HAS SOUPS 15037 WITH SCORE 15061.694
AT ITER 1350 NEW BEST:: SOT 67616 SOS 25206 HAS SOPS 22646 HAS SOUS 17375 HAS SOUPS 15019 WITH SCORE 15044.206
AT ITER 1353 NEW BEST:: SOT 67616 SOS 25178 HAS SOPS 22618 HAS SOUS 17347 HAS SOUPS 14991 WITH SCORE 15016.178
AT ITER 1354 NEW BEST:: SOT 67616 SOS 25170 HAS SOPS 22618 HAS SOUS 17339 HAS SOUPS 14991 WITH SCORE 15016.17
AT ITER 1358 NEW BEST:: SOT 67607 SOS 25173 HAS SOPS 22621 HAS SOUS 17324 HAS SOUPS 14976 WITH SCORE 15001.173
AT ITER 1378 NEW BEST:: SOT 67594 SOS 25094 HAS SOPS 22591 HAS SOUS 17296 HAS SOUPS 14976 WITH SCORE 15001.094
AT ITER 1394 NEW BEST:: SOT 67594 SOS 25093 HAS SOPS 22591 HAS SOUS 17295 HAS SOUPS 14976 WITH SCORE 15001.093
AT ITER 1405 NEW BEST:: SOT 67563 SOS 24969 HAS SOPS 22498 HAS SOUS 17202 HAS SOUPS 14914 WITH SCORE 14938.969
AT ITER 1408 NEW BEST:: SOT 67560 SOS 24892 HAS SOPS 22421 HAS SOUS 17181 HAS SOUPS 14893 WITH SCORE 14917.892
AT ITER 1427 NEW BEST:: SOT 67552 SOS 24858 HAS SOPS 22387 HAS SOUS 17157 HAS SOUPS 14869 WITH SCORE 14893.858
AT ITER 1430 NEW BEST:: SOT 67505 SOS 24764 HAS SOPS 22340 HAS SOUS 17157 HAS SOUPS 14869 WITH SCORE 14893.764
AT ITER 1433 NEW BEST:: SOT 67503 SOS 24762 HAS SOPS 22338 HAS SOUS 17155 HAS SOUPS 14867 WITH SCORE 14891.762
AT ITER 1435 NEW BEST:: SOT 67513 SOS 24748 HAS SOPS 22324 HAS SOUS 17139 HAS SOUPS 14851 WITH SCORE 14875.748
AT ITER 1437 NEW BEST:: SOT 67495 SOS 24640 HAS SOPS 22207 HAS SOUS 17130 HAS SOUPS 14833 WITH SCORE 14857.64
AT ITER 1440 NEW BEST:: SOT 67438 SOS 24395 HAS SOPS 21932 HAS SOUS 17080 HAS SOUPS 14753 WITH SCORE 14777.395
AT ITER 1448 NEW BEST:: SOT 67428 SOS 24385 HAS SOPS 21917 HAS SOUS 17075 HAS SOUPS 14743 WITH SCORE 14767.385
AT ITER 1467 NEW BEST:: SOT 67410 SOS 24380 HAS SOPS 21912 HAS SOUS 17061 HAS SOUPS 14729 WITH SCORE 14753.38
AT ITER 1476 NEW BEST:: SOT 67384 SOS 24185 HAS SOPS 21717 HAS SOUS 17009 HAS SOUPS 14677 WITH SCORE 14701.185
AT ITER 1495 NEW BEST:: SOT 67384 SOS 24169 HAS SOPS 21701 HAS SOUS 16993 HAS SOUPS 14661 WITH SCORE 14685.169
AT ITER 1498 NEW BEST:: SOT 67384 SOS 24168 HAS SOPS 21700 HAS SOUS 16992 HAS SOUPS 14660 WITH SCORE 14684.168
AT ITER 1499 NEW BEST:: SOT 67544 SOS 24229 HAS SOPS 21761 HAS SOUS 16990 HAS SOUPS 14658 WITH SCORE 14682.229
AT ITER 1510 NEW BEST:: SOT 67400 SOS 24172 HAS SOPS 21567 HAS SOUS 16956 HAS SOUPS 14487 WITH SCORE 14511.172
AT ITER 1533 NEW BEST:: SOT 67400 SOS 24191 HAS SOPS 21548 HAS SOUS 16975 HAS SOUPS 14468 WITH SCORE 14492.191
AT ITER 1534 NEW BEST:: SOT 67400 SOS 24187 HAS SOPS 21548 HAS SOUS 16971 HAS SOUPS 14468 WITH SCORE 14492.187
AT ITER 1538 NEW BEST:: SOT 67381 SOS 24155 HAS SOPS 21516 HAS SOUS 16955 HAS SOUPS 14452 WITH SCORE 14476.155
AT ITER 1562 NEW BEST:: SOT 67391 SOS 24231 HAS SOPS 21549 HAS SOUS 16972 HAS SOUPS 14449 WITH SCORE 14473.231
AT ITER 1572 NEW BEST:: SOT 67365 SOS 24101 HAS SOPS 21419 HAS SOUS 16894 HAS SOUPS 14371 WITH SCORE 14395.101
AT ITER 1582 NEW BEST:: SOT 67349 SOS 23996 HAS SOPS 21314 HAS SOUS 16887 HAS SOUPS 14364 WITH SCORE 14387.996
AT ITER 1588 NEW BEST:: SOT 67349 SOS 23963 HAS SOPS 21281 HAS SOUS 16854 HAS SOUPS 14331 WITH SCORE 14354.963
AT ITER 1592 NEW BEST:: SOT 67348 SOS 23997 HAS SOPS 21215 HAS SOUS 16888 HAS SOUPS 14265 WITH SCORE 14288.997
AT ITER 1596 NEW BEST:: SOT 67325 SOS 23696 HAS SOPS 21086 HAS SOUS 16664 HAS SOUPS 14213 WITH SCORE 14236.696
AT ITER 1616 NEW BEST:: SOT 67312 SOS 23683 HAS SOPS 21073 HAS SOUS 16664 HAS SOUPS 14213 WITH SCORE 14236.683
AT ITER 1617 NEW BEST:: SOT 67309 SOS 23393 HAS SOPS 20783 HAS SOUS 16658 HAS SOUPS 14207 WITH SCORE 14230.393
AT ITER 1624 NEW BEST:: SOT 67222 SOS 23319 HAS SOPS 20638 HAS SOUS 16642 HAS SOUPS 14120 WITH SCORE 14143.319
AT ITER 1625 NEW BEST:: SOT 67264 SOS 23325 HAS SOPS 20644 HAS SOUS 16636 HAS SOUPS 14114 WITH SCORE 14137.325
AT ITER 1627 NEW BEST:: SOT 66785 SOS 22879 HAS SOPS 20166 HAS SOUS 16610 HAS SOUPS 14056 WITH SCORE 14078.879
AT ITER 1643 NEW BEST:: SOT 66775 SOS 22878 HAS SOPS 20165 HAS SOUS 16595 HAS SOUPS 14041 WITH SCORE 14063.878
AT ITER 1645 NEW BEST:: SOT 66753 SOS 23006 HAS SOPS 20214 HAS SOUS 16666 HAS SOUPS 14033 WITH SCORE 14056.006
AT ITER 1661 NEW BEST:: SOT 66737 SOS 22930 HAS SOPS 20138 HAS SOUS 16606 HAS SOUPS 13973 WITH SCORE 13995.93
AT ITER 1666 NEW BEST:: SOT 66737 SOS 22919 HAS SOPS 20138 HAS SOUS 16595 HAS SOUPS 13973 WITH SCORE 13995.919
AT ITER 1668 NEW BEST:: SOT 66729 SOS 22871 HAS SOPS 20090 HAS SOUS 16547 HAS SOUPS 13925 WITH SCORE 13947.871
AT ITER 1672 NEW BEST:: SOT 66723 SOS 22865 HAS SOPS 20084 HAS SOUS 16541 HAS SOUPS 13919 WITH SCORE 13941.865
AT ITER 1717 NEW BEST:: SOT 66701 SOS 22810 HAS SOPS 20029 HAS SOUS 16508 HAS SOUPS 13886 WITH SCORE 13908.81
AT ITER 1729 NEW BEST:: SOT 66635 SOS 22744 HAS SOPS 19947 HAS SOUS 16500 HAS SOUPS 13859 WITH SCORE 13881.744
AT ITER 1730 NEW BEST:: SOT 66607 SOS 22683 HAS SOPS 19886 HAS SOUS 16439 HAS SOUPS 13798 WITH SCORE 13820.683
AT ITER 1755 NEW BEST:: SOT 66543 SOS 22571 HAS SOPS 19800 HAS SOUS 16375 HAS SOUPS 13760 WITH SCORE 13782.571
AT ITER 1780 NEW BEST:: SOT 66547 SOS 22571 HAS SOPS 19800 HAS SOUS 16367 HAS SOUPS 13752 WITH SCORE 13774.571
AT ITER 1783 NEW BEST:: SOT 66540 SOS 22566 HAS SOPS 19793 HAS SOUS 16367 HAS SOUPS 13745 WITH SCORE 13767.566
AT ITER 1810 NEW BEST:: SOT 66348 SOS 22342 HAS SOPS 19569 HAS SOUS 16319 HAS SOUPS 13697 WITH SCORE 13719.342
AT ITER 1821 NEW BEST:: SOT 66348 SOS 22340 HAS SOPS 19567 HAS SOUS 16318 HAS SOUPS 13696 WITH SCORE 13718.34
AT ITER 1826 NEW BEST:: SOT 66375 SOS 22361 HAS SOPS 19550 HAS SOUS 16339 HAS SOUPS 13679 WITH SCORE 13701.361
AT ITER 1834 NEW BEST:: SOT 66375 SOS 22353 HAS SOPS 19546 HAS SOUS 16335 HAS SOUPS 13679 WITH SCORE 13701.353
AT ITER 1850 NEW BEST:: SOT 66367 SOS 22345 HAS SOPS 19536 HAS SOUS 16330 HAS SOUPS 13672 WITH SCORE 13694.345
AT ITER 1864 NEW BEST:: SOT 66373 SOS 22280 HAS SOPS 19497 HAS SOUS 16285 HAS SOUPS 13653 WITH SCORE 13675.28
AT ITER 1872 NEW BEST:: SOT 66373 SOS 22275 HAS SOPS 19492 HAS SOUS 16285 HAS SOUPS 13653 WITH SCORE 13675.275
AT ITER 1882 NEW BEST:: SOT 66273 SOS 21953 HAS SOPS 19211 HAS SOUS 16059 HAS SOUPS 13468 WITH SCORE 13489.953
AT ITER 1884 NEW BEST:: SOT 66187 SOS 21892 HAS SOPS 19150 HAS SOUS 16027 HAS SOUPS 13436 WITH SCORE 13457.892
AT ITER 1886 NEW BEST:: SOT 66170 SOS 21869 HAS SOPS 19084 HAS SOUS 16053 HAS SOUPS 13419 WITH SCORE 13440.869
AT ITER 1902 NEW BEST:: SOT 66178 SOS 21870 HAS SOPS 19085 HAS SOUS 16046 HAS SOUPS 13412 WITH SCORE 13433.87
AT ITER 1915 NEW BEST:: SOT 66150 SOS 21854 HAS SOPS 19069 HAS SOUS 16031 HAS SOUPS 13397 WITH SCORE 13418.854
AT ITER 1916 NEW BEST:: SOT 66143 SOS 21817 HAS SOPS 19032 HAS SOUS 16001 HAS SOUPS 13367 WITH SCORE 13388.817
AT ITER 1981 NEW BEST:: SOT 66143 SOS 21796 HAS SOPS 19018 HAS SOUS 15987 HAS SOUPS 13360 WITH SCORE 13381.796
AT ITER 1990 NEW BEST:: SOT 66035 SOS 21642 HAS SOPS 18928 HAS SOUS 15839 HAS SOUPS 13276 WITH SCORE 13297.642
AT ITER 1992 NEW BEST:: SOT 66035 SOS 21605 HAS SOPS 18928 HAS SOUS 15802 HAS SOUPS 13276 WITH SCORE 13297.605
AT ITER 2017 NEW BEST:: SOT 66041 SOS 21673 HAS SOPS 18996 HAS SOUS 15798 HAS SOUPS 13272 WITH SCORE 13293.673
AT ITER 2051 NEW BEST:: SOT 66029 SOS 21673 HAS SOPS 18984 HAS SOUS 15786 HAS SOUPS 13248 WITH SCORE 13269.673
AT ITER 2057 NEW BEST:: SOT 66007 SOS 21679 HAS SOPS 18990 HAS SOUS 15782 HAS SOUPS 13244 WITH SCORE 13265.679
AT ITER 2065 NEW BEST:: SOT 65944 SOS 21579 HAS SOPS 18890 HAS SOUS 15683 HAS SOUPS 13145 WITH SCORE 13166.579
AT ITER 2097 NEW BEST:: SOT 65925 SOS 21555 HAS SOPS 18866 HAS SOUS 15645 HAS SOUPS 13107 WITH SCORE 13128.555
AT ITER 2108 NEW BEST:: SOT 65925 SOS 21480 HAS SOPS 18816 HAS SOUS 15595 HAS SOUPS 13082 WITH SCORE 13103.48
AT ITER 2112 NEW BEST:: SOT 65916 SOS 21483 HAS SOPS 18807 HAS SOUS 15599 HAS SOUPS 13074 WITH SCORE 13095.483
AT ITER 2113 NEW BEST:: SOT 65914 SOS 21465 HAS SOPS 18789 HAS SOUS 15579 HAS SOUPS 13054 WITH SCORE 13075.465
AT ITER 2125 NEW BEST:: SOT 65914 SOS 21453 HAS SOPS 18777 HAS SOUS 15567 HAS SOUPS 13042 WITH SCORE 13063.453
AT ITER 2140 NEW BEST:: SOT 65918 SOS 21447 HAS SOPS 18773 HAS SOUS 15565 HAS SOUPS 13042 WITH SCORE 13063.447
AT ITER 2142 NEW BEST:: SOT 65898 SOS 21402 HAS SOPS 18728 HAS SOUS 15520 HAS SOUPS 12997 WITH SCORE 13018.402
AT ITER 2154 NEW BEST:: SOT 65898 SOS 21358 HAS SOPS 18697 HAS SOUS 15489 HAS SOUPS 12979 WITH SCORE 13000.358
AT ITER 2159 NEW BEST:: SOT 65876 SOS 21314 HAS SOPS 18653 HAS SOUS 15445 HAS SOUPS 12935 WITH SCORE 12956.314
AT ITER 2162 NEW BEST:: SOT 65861 SOS 21299 HAS SOPS 18635 HAS SOUS 15434 HAS SOUPS 12921 WITH SCORE 12942.299
AT ITER 2175 NEW BEST:: SOT 65844 SOS 21276 HAS SOPS 18612 HAS SOUS 15417 HAS SOUPS 12904 WITH SCORE 12925.276
AT ITER 2181 NEW BEST:: SOT 65732 SOS 21151 HAS SOPS 18487 HAS SOUS 15391 HAS SOUPS 12878 WITH SCORE 12899.151
AT ITER 2202 NEW BEST:: SOT 65715 SOS 21057 HAS SOPS 18393 HAS SOUS 15327 HAS SOUPS 12814 WITH SCORE 12835.057
AT ITER 2204 NEW BEST:: SOT 65716 SOS 21040 HAS SOPS 18376 HAS SOUS 15314 HAS SOUPS 12801 WITH SCORE 12822.04
AT ITER 2206 NEW BEST:: SOT 65699 SOS 20853 HAS SOPS 18189 HAS SOUS 15297 HAS SOUPS 12784 WITH SCORE 12804.853
AT ITER 2214 NEW BEST:: SOT 65669 SOS 20873 HAS SOPS 18209 HAS SOUS 15287 HAS SOUPS 12774 WITH SCORE 12794.873
AT ITER 2221 NEW BEST:: SOT 65669 SOS 20849 HAS SOPS 18185 HAS SOUS 15285 HAS SOUPS 12772 WITH SCORE 12792.849
AT ITER 2224 NEW BEST:: SOT 65957 SOS 21163 HAS SOPS 18499 HAS SOUS 15256 HAS SOUPS 12743 WITH SCORE 12764.163
AT ITER 2255 NEW BEST:: SOT 65939 SOS 21163 HAS SOPS 18499 HAS SOUS 15236 HAS SOUPS 12723 WITH SCORE 12744.163
AT ITER 2258 NEW BEST:: SOT 65915 SOS 21139 HAS SOPS 18451 HAS SOUS 15212 HAS SOUPS 12675 WITH SCORE 12696.139
AT ITER 2278 NEW BEST:: SOT 65935 SOS 21099 HAS SOPS 18441 HAS SOUS 15182 HAS SOUPS 12675 WITH SCORE 12696.099
AT ITER 2280 NEW BEST:: SOT 65935 SOS 21090 HAS SOPS 18441 HAS SOUS 15173 HAS SOUPS 12675 WITH SCORE 12696.09
AT ITER 2310 NEW BEST:: SOT 65945 SOS 21127 HAS SOPS 18478 HAS SOUS 15172 HAS SOUPS 12674 WITH SCORE 12695.127
AT ITER 2311 NEW BEST:: SOT 65927 SOS 21100 HAS SOPS 18451 HAS SOUS 15154 HAS SOUPS 12656 WITH SCORE 12677.1
AT ITER 2327 NEW BEST:: SOT 65891 SOS 21084 HAS SOPS 18395 HAS SOUS 15154 HAS SOUPS 12636 WITH SCORE 12657.084
AT ITER 2337 NEW BEST:: SOT 65890 SOS 21064 HAS SOPS 18382 HAS SOUS 15142 HAS SOUPS 12631 WITH SCORE 12652.064
AT ITER 2368 NEW BEST:: SOT 65879 SOS 21017 HAS SOPS 18344 HAS SOUS 15104 HAS SOUPS 12602 WITH SCORE 12623.017
AT ITER 2381 NEW BEST:: SOT 65897 SOS 21033 HAS SOPS 18358 HAS SOUS 15104 HAS SOUPS 12600 WITH SCORE 12621.033
AT ITER 2389 NEW BEST:: SOT 65873 SOS 20997 HAS SOPS 18322 HAS SOUS 15104 HAS SOUPS 12600 WITH SCORE 12620.997
AT ITER 2391 NEW BEST:: SOT 65873 SOS 21255 HAS SOPS 18580 HAS SOUS 15088 HAS SOUPS 12584 WITH SCORE 12605.255
AT ITER 2395 NEW BEST:: SOT 65828 SOS 21195 HAS SOPS 18520 HAS SOUS 15088 HAS SOUPS 12584 WITH SCORE 12605.195
AT ITER 2409 NEW BEST:: SOT 64986 SOS 20392 HAS SOPS 17705 HAS SOUS 15032 HAS SOUPS 12516 WITH SCORE 12536.392
AT ITER 2419 NEW BEST:: SOT 64981 SOS 20387 HAS SOPS 17698 HAS SOUS 15030 HAS SOUPS 12512 WITH SCORE 12532.387
AT ITER 2430 NEW BEST:: SOT 64969 SOS 20357 HAS SOPS 17668 HAS SOUS 14992 HAS SOUPS 12474 WITH SCORE 12494.357
AT ITER 2453 NEW BEST:: SOT 64961 SOS 20349 HAS SOPS 17660 HAS SOUS 14984 HAS SOUPS 12466 WITH SCORE 12486.349
AT ITER 2454 NEW BEST:: SOT 64948 SOS 20338 HAS SOPS 17649 HAS SOUS 14971 HAS SOUPS 12453 WITH SCORE 12473.338
AT ITER 2459 NEW BEST:: SOT 64947 SOS 20335 HAS SOPS 17647 HAS SOUS 14968 HAS SOUPS 12451 WITH SCORE 12471.335
AT ITER 2460 NEW BEST:: SOT 64936 SOS 20347 HAS SOPS 17659 HAS SOUS 14967 HAS SOUPS 12450 WITH SCORE 12470.347
AT ITER 2468 NEW BEST:: SOT 64797 SOS 20409 HAS SOPS 17718 HAS SOUS 14944 HAS SOUPS 12424 WITH SCORE 12444.409
AT ITER 2475 NEW BEST:: SOT 64796 SOS 20406 HAS SOPS 17715 HAS SOUS 14942 HAS SOUPS 12422 WITH SCORE 12442.406
AT ITER 2481 NEW BEST:: SOT 64770 SOS 20380 HAS SOPS 17689 HAS SOUS 14916 HAS SOUPS 12396 WITH SCORE 12416.38
AT ITER 2501 NEW BEST:: SOT 64773 SOS 20397 HAS SOPS 17706 HAS SOUS 14911 HAS SOUPS 12391 WITH SCORE 12411.397
AT ITER 2511 NEW BEST:: SOT 64774 SOS 20398 HAS SOPS 17706 HAS SOUS 14910 HAS SOUPS 12389 WITH SCORE 12409.398
AT ITER 2527 NEW BEST:: SOT 64699 SOS 20355 HAS SOPS 17663 HAS SOUS 14886 HAS SOUPS 12365 WITH SCORE 12385.355
AT ITER 2566 NEW BEST:: SOT 64700 SOS 20352 HAS SOPS 17662 HAS SOUS 14883 HAS SOUPS 12364 WITH SCORE 12384.352
AT ITER 2611 NEW BEST:: SOT 64695 SOS 20413 HAS SOPS 17674 HAS SOUS 14927 HAS SOUPS 12359 WITH SCORE 12379.413
AT ITER 2629 NEW BEST:: SOT 64755 SOS 20233 HAS SOPS 17494 HAS SOUS 14927 HAS SOUPS 12359 WITH SCORE 12379.233
AT ITER 2659 NEW BEST:: SOT 64751 SOS 20225 HAS SOPS 17486 HAS SOUS 14923 HAS SOUPS 12355 WITH SCORE 12375.225
AT ITER 2680 NEW BEST:: SOT 64756 SOS 20222 HAS SOPS 17483 HAS SOUS 14916 HAS SOUPS 12348 WITH SCORE 12368.222
AT ITER 2690 NEW BEST:: SOT 64766 SOS 20196 HAS SOPS 17485 HAS SOUS 14889 HAS SOUPS 12346 WITH SCORE 12366.196
AT ITER 2723 NEW BEST:: SOT 64766 SOS 20142 HAS SOPS 17431 HAS SOUS 14889 HAS SOUPS 12346 WITH SCORE 12366.142
AT ITER 2725 NEW BEST:: SOT 64818 SOS 20127 HAS SOPS 17416 HAS SOUS 14873 HAS SOUPS 12330 WITH SCORE 12350.127
AT ITER 2729 NEW BEST:: SOT 64834 SOS 20143 HAS SOPS 17432 HAS SOUS 14870 HAS SOUPS 12327 WITH SCORE 12347.143
AT ITER 2752 NEW BEST:: SOT 64806 SOS 20115 HAS SOPS 17390 HAS SOUS 14856 HAS SOUPS 12299 WITH SCORE 12319.115
AT ITER 2777 NEW BEST:: SOT 64792 SOS 20099 HAS SOPS 17355 HAS SOUS 14854 HAS SOUPS 12278 WITH SCORE 12298.099
AT ITER 2782 NEW BEST:: SOT 64748 SOS 20011 HAS SOPS 17267 HAS SOUS 14846 HAS SOUPS 12270 WITH SCORE 12290.011
AT ITER 2785 NEW BEST:: SOT 64748 SOS 20010 HAS SOPS 17267 HAS SOUS 14845 HAS SOUPS 12270 WITH SCORE 12290.01
AT ITER 2786 NEW BEST:: SOT 64664 SOS 19926 HAS SOPS 17183 HAS SOUS 14761 HAS SOUPS 12186 WITH SCORE 12205.926
AT ITER 2791 NEW BEST:: SOT 64663 SOS 19925 HAS SOPS 17182 HAS SOUS 14760 HAS SOUPS 12185 WITH SCORE 12204.925
AT ITER 2807 NEW BEST:: SOT 64655 SOS 19925 HAS SOPS 17182 HAS SOUS 14756 HAS SOUPS 12181 WITH SCORE 12200.925
AT ITER 2809 NEW BEST:: SOT 64646 SOS 19916 HAS SOPS 17173 HAS SOUS 14747 HAS SOUPS 12172 WITH SCORE 12191.916
AT ITER 2830 NEW BEST:: SOT 64646 SOS 19801 HAS SOPS 17144 HAS SOUS 14632 HAS SOUPS 12143 WITH SCORE 12162.801
AT ITER 2841 NEW BEST:: SOT 64638 SOS 19793 HAS SOPS 17128 HAS SOUS 14616 HAS SOUPS 12127 WITH SCORE 12146.793
AT ITER 2861 NEW BEST:: SOT 64633 SOS 19783 HAS SOPS 17118 HAS SOUS 14611 HAS SOUPS 12122 WITH SCORE 12141.783
AT ITER 2862 NEW BEST:: SOT 64633 SOS 19763 HAS SOPS 17108 HAS SOUS 14601 HAS SOUPS 12122 WITH SCORE 12141.763
AT ITER 2886 NEW BEST:: SOT 64627 SOS 19757 HAS SOPS 17102 HAS SOUS 14595 HAS SOUPS 12116 WITH SCORE 12135.757
AT ITER 2911 NEW BEST:: SOT 64607 SOS 19737 HAS SOPS 17082 HAS SOUS 14595 HAS SOUPS 12116 WITH SCORE 12135.737
AT ITER 2951 NEW BEST:: SOT 64655 SOS 19785 HAS SOPS 17130 HAS SOUS 14571 HAS SOUPS 12092 WITH SCORE 12111.785
AT ITER 2968 NEW BEST:: SOT 64651 SOS 19781 HAS SOPS 17126 HAS SOUS 14571 HAS SOUPS 12092 WITH SCORE 12111.781
AT ITER 3011 NEW BEST:: SOT 64651 SOS 19781 HAS SOPS 17114 HAS SOUS 14571 HAS SOUPS 12080 WITH SCORE 12099.781
AT ITER 3013 NEW BEST:: SOT 64646 SOS 19775 HAS SOPS 17108 HAS SOUS 14561 HAS SOUPS 12070 WITH SCORE 12089.775
AT ITER 3040 NEW BEST:: SOT 64585 SOS 19614 HAS SOPS 16947 HAS SOUS 14500 HAS SOUPS 12009 WITH SCORE 12028.614
AT ITER 3057 NEW BEST:: SOT 64583 SOS 19619 HAS SOPS 16952 HAS SOUS 14495 HAS SOUPS 12004 WITH SCORE 12023.619
AT ITER 3136 NEW BEST:: SOT 64553 SOS 19609 HAS SOPS 16942 HAS SOUS 14487 HAS SOUPS 11996 WITH SCORE 12015.609
AT ITER 3152 NEW BEST:: SOT 64570 SOS 19657 HAS SOPS 16990 HAS SOUS 14454 HAS SOUPS 11963 WITH SCORE 11982.657
AT ITER 3193 NEW BEST:: SOT 64568 SOS 19653 HAS SOPS 16986 HAS SOUS 14452 HAS SOUPS 11961 WITH SCORE 11980.653
AT ITER 3214 NEW BEST:: SOT 64538 SOS 19641 HAS SOPS 16977 HAS SOUS 14418 HAS SOUPS 11930 WITH SCORE 11949.641
AT ITER 3225 NEW BEST:: SOT 64538 SOS 19640 HAS SOPS 16976 HAS SOUS 14417 HAS SOUPS 11929 WITH SCORE 11948.64
AT ITER 3234 NEW BEST:: SOT 64535 SOS 19637 HAS SOPS 16973 HAS SOUS 14414 HAS SOUPS 11926 WITH SCORE 11945.637
AT ITER 3242 NEW BEST:: SOT 64530 SOS 19585 HAS SOPS 16959 HAS SOUS 14335 HAS SOUPS 11885 WITH SCORE 11904.585
AT ITER 3264 NEW BEST:: SOT 64513 SOS 19581 HAS SOPS 16955 HAS SOUS 14331 HAS SOUPS 11881 WITH SCORE 11900.581
AT ITER 3271 NEW BEST:: SOT 64471 SOS 19259 HAS SOPS 16633 HAS SOUS 14317 HAS SOUPS 11867 WITH SCORE 11886.259
AT ITER 3298 NEW BEST:: SOT 64471 SOS 19254 HAS SOPS 16628 HAS SOUS 14317 HAS SOUPS 11867 WITH SCORE 11886.254
AT ITER 3314 NEW BEST:: SOT 64456 SOS 19265 HAS SOPS 16639 HAS SOUS 14302 HAS SOUPS 11852 WITH SCORE 11871.265
AT ITER 3365 NEW BEST:: SOT 64455 SOS 19262 HAS SOPS 16636 HAS SOUS 14300 HAS SOUPS 11850 WITH SCORE 11869.262
AT ITER 3371 NEW BEST:: SOT 64363 SOS 19218 HAS SOPS 16538 HAS SOUS 14263 HAS SOUPS 11759 WITH SCORE 11778.218
AT ITER 3372 NEW BEST:: SOT 64357 SOS 19212 HAS SOPS 16526 HAS SOUS 14257 HAS SOUPS 11747 WITH SCORE 11766.212
AT ITER 3406 NEW BEST:: SOT 64402 SOS 19159 HAS SOPS 16473 HAS SOUS 14251 HAS SOUPS 11741 WITH SCORE 11760.159
AT ITER 3437 NEW BEST:: SOT 64400 SOS 19148 HAS SOPS 16466 HAS SOUS 14242 HAS SOUPS 11736 WITH SCORE 11755.148
AT ITER 3460 NEW BEST:: SOT 64396 SOS 19131 HAS SOPS 16458 HAS SOUS 14229 HAS SOUPS 11732 WITH SCORE 11751.131
AT ITER 3461 NEW BEST:: SOT 64413 SOS 19080 HAS SOPS 16407 HAS SOUS 14229 HAS SOUPS 11732 WITH SCORE 11751.08
AT ITER 3462 NEW BEST:: SOT 64397 SOS 19064 HAS SOPS 16391 HAS SOUS 14213 HAS SOUPS 11716 WITH SCORE 11735.064
AT ITER 3487 NEW BEST:: SOT 64123 SOS 19252 HAS SOPS 16532 HAS SOUS 14216 HAS SOUPS 11695 WITH SCORE 11714.252
AT ITER 3554 NEW BEST:: SOT 64119 SOS 19252 HAS SOPS 16532 HAS SOUS 14212 HAS SOUPS 11691 WITH SCORE 11710.252
AT ITER 3564 NEW BEST:: SOT 64099 SOS 19232 HAS SOPS 16512 HAS SOUS 14212 HAS SOUPS 11691 WITH SCORE 11710.232
AT ITER 3573 NEW BEST:: SOT 64119 SOS 19252 HAS SOPS 16532 HAS SOUS 14211 HAS SOUPS 11690 WITH SCORE 11709.252
AT ITER 3599 NEW BEST:: SOT 64119 SOS 19250 HAS SOPS 16530 HAS SOUS 14209 HAS SOUPS 11688 WITH SCORE 11707.25
AT ITER 3611 NEW BEST:: SOT 64105 SOS 19193 HAS SOPS 16468 HAS SOUS 14196 HAS SOUPS 11670 WITH SCORE 11689.193
AT ITER 3618 NEW BEST:: SOT 64090 SOS 19178 HAS SOPS 16453 HAS SOUS 14181 HAS SOUPS 11655 WITH SCORE 11674.178
AT ITER 3619 NEW BEST:: SOT 64042 SOS 19130 HAS SOPS 16405 HAS SOUS 14163 HAS SOUPS 11637 WITH SCORE 11656.13
AT ITER 3631 NEW BEST:: SOT 64083 SOS 19152 HAS SOPS 16427 HAS SOUS 14152 HAS SOUPS 11626 WITH SCORE 11645.152
AT ITER 3648 NEW BEST:: SOT 63942 SOS 19319 HAS SOPS 16519 HAS SOUS 14171 HAS SOUPS 11607 WITH SCORE 11626.319
AT ITER 3729 NEW BEST:: SOT 63945 SOS 19307 HAS SOPS 16519 HAS SOUS 14149 HAS SOUPS 11597 WITH SCORE 11616.307
AT ITER 3767 NEW BEST:: SOT 63938 SOS 19293 HAS SOPS 16505 HAS SOUS 14135 HAS SOUPS 11583 WITH SCORE 11602.293
AT ITER 3770 NEW BEST:: SOT 63918 SOS 19235 HAS SOPS 16485 HAS SOUS 14077 HAS SOUPS 11563 WITH SCORE 11582.235
AT ITER 3795 NEW BEST:: SOT 63918 SOS 19229 HAS SOPS 16479 HAS SOUS 14074 HAS SOUPS 11560 WITH SCORE 11579.229
AT ITER 3810 NEW BEST:: SOT 63915 SOS 19226 HAS SOPS 16476 HAS SOUS 14071 HAS SOUPS 11557 WITH SCORE 11576.226
AT ITER 3815 NEW BEST:: SOT 63922 SOS 19190 HAS SOPS 16440 HAS SOUS 14061 HAS SOUPS 11547 WITH SCORE 11566.19
AT ITER 3825 NEW BEST:: SOT 63922 SOS 19188 HAS SOPS 16438 HAS SOUS 14061 HAS SOUPS 11547 WITH SCORE 11566.188
AT ITER 3839 NEW BEST:: SOT 63914 SOS 19180 HAS SOPS 16422 HAS SOUS 14061 HAS SOUPS 11539 WITH SCORE 11558.18
AT ITER 3857 NEW BEST:: SOT 63912 SOS 19174 HAS SOPS 16416 HAS SOUS 14057 HAS SOUPS 11535 WITH SCORE 11554.174
AT ITER 3883 NEW BEST:: SOT 63912 SOS 19157 HAS SOPS 16399 HAS SOUS 14054 HAS SOUPS 11532 WITH SCORE 11551.157
AT ITER 3890 NEW BEST:: SOT 63912 SOS 19155 HAS SOPS 16397 HAS SOUS 14054 HAS SOUPS 11532 WITH SCORE 11551.155
AT ITER 3982 NEW BEST:: SOT 63912 SOS 19137 HAS SOPS 16379 HAS SOUS 14054 HAS SOUPS 11532 WITH SCORE 11551.137
AT ITER 3986 NEW BEST:: SOT 63939 SOS 19158 HAS SOPS 16400 HAS SOUS 14048 HAS SOUPS 11526 WITH SCORE 11545.158
AT ITER 4011 NEW BEST:: SOT 63927 SOS 19134 HAS SOPS 16376 HAS SOUS 14044 HAS SOUPS 11522 WITH SCORE 11541.134
AT ITER 4030 NEW BEST:: SOT 63915 SOS 19122 HAS SOPS 16364 HAS SOUS 14038 HAS SOUPS 11516 WITH SCORE 11535.122
AT ITER 4033 NEW BEST:: SOT 63915 SOS 19108 HAS SOPS 16350 HAS SOUS 14036 HAS SOUPS 11514 WITH SCORE 11533.108
AT ITER 4055 NEW BEST:: SOT 63815 SOS 18915 HAS SOPS 16157 HAS SOUS 13905 HAS SOUPS 11383 WITH SCORE 11401.915
AT ITER 4068 NEW BEST:: SOT 63815 SOS 18915 HAS SOPS 16157 HAS SOUS 13895 HAS SOUPS 11373 WITH SCORE 11391.915
AT ITER 4073 NEW BEST:: SOT 63746 SOS 18846 HAS SOPS 16091 HAS SOUS 13862 HAS SOUPS 11343 WITH SCORE 11361.846
AT ITER 4081 NEW BEST:: SOT 63732 SOS 18764 HAS SOPS 16033 HAS SOUS 13794 HAS SOUPS 11299 WITH SCORE 11317.764
AT ITER 4082 NEW BEST:: SOT 63729 SOS 18758 HAS SOPS 16027 HAS SOUS 13791 HAS SOUPS 11296 WITH SCORE 11314.758
AT ITER 4085 NEW BEST:: SOT 63722 SOS 18751 HAS SOPS 16015 HAS SOUS 13784 HAS SOUPS 11284 WITH SCORE 11302.751
AT ITER 4098 NEW BEST:: SOT 63722 SOS 18721 HAS SOPS 15985 HAS SOUS 13779 HAS SOUPS 11279 WITH SCORE 11297.721
AT ITER 4101 NEW BEST:: SOT 63684 SOS 18610 HAS SOPS 15874 HAS SOUS 13736 HAS SOUPS 11236 WITH SCORE 11254.61
AT ITER 4133 NEW BEST:: SOT 63679 SOS 18605 HAS SOPS 15864 HAS SOUS 13731 HAS SOUPS 11226 WITH SCORE 11244.605
AT ITER 4198 NEW BEST:: SOT 63679 SOS 18605 HAS SOPS 15863 HAS SOUS 13731 HAS SOUPS 11225 WITH SCORE 11243.605
AT ITER 4249 NEW BEST:: SOT 63677 SOS 18603 HAS SOPS 15861 HAS SOUS 13729 HAS SOUPS 11223 WITH SCORE 11241.603
AT ITER 4266 NEW BEST:: SOT 63673 SOS 18594 HAS SOPS 15852 HAS SOUS 13715 HAS SOUPS 11209 WITH SCORE 11227.594
AT ITER 4275 NEW BEST:: SOT 63685 SOS 18604 HAS SOPS 15862 HAS SOUS 13713 HAS SOUPS 11207 WITH SCORE 11225.604
AT ITER 4283 NEW BEST:: SOT 63626 SOS 18619 HAS SOPS 15877 HAS SOUS 13675 HAS SOUPS 11169 WITH SCORE 11187.619
AT ITER 4323 NEW BEST:: SOT 63619 SOS 18583 HAS SOPS 15841 HAS SOUS 13639 HAS SOUPS 11133 WITH SCORE 11151.583
AT ITER 4328 NEW BEST:: SOT 63618 SOS 18552 HAS SOPS 15810 HAS SOUS 13626 HAS SOUPS 11120 WITH SCORE 11138.552
AT ITER 4334 NEW BEST:: SOT 63618 SOS 18552 HAS SOPS 15810 HAS SOUS 13614 HAS SOUPS 11108 WITH SCORE 11126.552
AT ITER 4360 NEW BEST:: SOT 63606 SOS 18499 HAS SOPS 15774 HAS SOUS 13573 HAS SOUPS 11084 WITH SCORE 11102.499
AT ITER 4392 NEW BEST:: SOT 63611 SOS 18478 HAS SOPS 15753 HAS SOUS 13551 HAS SOUPS 11062 WITH SCORE 11080.478
AT ITER 4428 NEW BEST:: SOT 63611 SOS 18490 HAS SOPS 15753 HAS SOUS 13554 HAS SOUPS 11053 WITH SCORE 11071.49
AT ITER 4438 NEW BEST:: SOT 63599 SOS 18453 HAS SOPS 15716 HAS SOUS 13526 HAS SOUPS 11025 WITH SCORE 11043.453
AT ITER 4474 NEW BEST:: SOT 63604 SOS 18013 HAS SOPS 15281 HAS SOUS 13521 HAS SOUPS 11020 WITH SCORE 11038.013
AT ITER 4482 NEW BEST:: SOT 63578 SOS 18000 HAS SOPS 15268 HAS SOUS 13521 HAS SOUPS 11020 WITH SCORE 11038.0
AT ITER 4486 NEW BEST:: SOT 63580 SOS 18002 HAS SOPS 15266 HAS SOUS 13517 HAS SOUPS 11014 WITH SCORE 11032.002
AT ITER 4487 NEW BEST:: SOT 63518 SOS 17940 HAS SOPS 15204 HAS SOUS 13548 HAS SOUPS 11014 WITH SCORE 11031.94
AT ITER 4489 NEW BEST:: SOT 63529 SOS 17938 HAS SOPS 15202 HAS SOUS 13546 HAS SOUPS 11012 WITH SCORE 11029.938
AT ITER 4530 NEW BEST:: SOT 63481 SOS 17962 HAS SOPS 15186 HAS SOUS 13578 HAS SOUPS 11004 WITH SCORE 11021.962
AT ITER 4545 NEW BEST:: SOT 63486 SOS 17952 HAS SOPS 15189 HAS SOUS 13564 HAS SOUPS 11003 WITH SCORE 11020.952
AT ITER 4548 NEW BEST:: SOT 63476 SOS 17942 HAS SOPS 15179 HAS SOUS 13558 HAS SOUPS 10997 WITH SCORE 11014.942
AT ITER 4556 NEW BEST:: SOT 63468 SOS 17934 HAS SOPS 15167 HAS SOUS 13554 HAS SOUPS 10989 WITH SCORE 11006.934
AT ITER 4561 NEW BEST:: SOT 63471 SOS 17927 HAS SOPS 15170 HAS SOUS 13537 HAS SOUPS 10982 WITH SCORE 10999.927
AT ITER 4571 NEW BEST:: SOT 63662 SOS 18118 HAS SOPS 15234 HAS SOUS 13634 HAS SOUPS 10953 WITH SCORE 10971.118
AT ITER 4582 NEW BEST:: SOT 63658 SOS 18107 HAS SOPS 15223 HAS SOUS 13630 HAS SOUPS 10949 WITH SCORE 10967.107
AT ITER 4590 NEW BEST:: SOT 63584 SOS 18033 HAS SOPS 15149 HAS SOUS 13620 HAS SOUPS 10939 WITH SCORE 10957.033
AT ITER 4594 NEW BEST:: SOT 63570 SOS 18019 HAS SOPS 15135 HAS SOUS 13606 HAS SOUPS 10925 WITH SCORE 10943.019
AT ITER 4599 NEW BEST:: SOT 63549 SOS 17998 HAS SOPS 15114 HAS SOUS 13585 HAS SOUPS 10904 WITH SCORE 10921.998
AT ITER 4606 NEW BEST:: SOT 63543 SOS 17992 HAS SOPS 15108 HAS SOUS 13582 HAS SOUPS 10901 WITH SCORE 10918.992
AT ITER 4615 NEW BEST:: SOT 63540 SOS 17986 HAS SOPS 15102 HAS SOUS 13576 HAS SOUPS 10895 WITH SCORE 10912.986
AT ITER 4635 NEW BEST:: SOT 63751 SOS 17619 HAS SOPS 14735 HAS SOUS 13564 HAS SOUPS 10883 WITH SCORE 10900.619
AT ITER 4639 NEW BEST:: SOT 63769 SOS 17526 HAS SOPS 14680 HAS SOUS 13544 HAS SOUPS 10882 WITH SCORE 10899.526
AT ITER 4664 NEW BEST:: SOT 63692 SOS 17456 HAS SOPS 14610 HAS SOUS 13537 HAS SOUPS 10875 WITH SCORE 10892.456
AT ITER 4670 NEW BEST:: SOT 63762 SOS 17502 HAS SOPS 14656 HAS SOUS 13489 HAS SOUPS 10827 WITH SCORE 10844.502
AT ITER 4675 NEW BEST:: SOT 63760 SOS 17480 HAS SOPS 14634 HAS SOUS 13487 HAS SOUPS 10825 WITH SCORE 10842.48
AT ITER 4700 NEW BEST:: SOT 63754 SOS 17438 HAS SOPS 14592 HAS SOUS 13475 HAS SOUPS 10813 WITH SCORE 10830.438
AT ITER 4726 NEW BEST:: SOT 63786 SOS 17249 HAS SOPS 14403 HAS SOUS 13467 HAS SOUPS 10805 WITH SCORE 10822.249
AT ITER 4768 NEW BEST:: SOT 63785 SOS 17248 HAS SOPS 14402 HAS SOUS 13467 HAS SOUPS 10805 WITH SCORE 10822.248
AT ITER 4812 NEW BEST:: SOT 63780 SOS 17214 HAS SOPS 14363 HAS SOUS 13456 HAS SOUPS 10794 WITH SCORE 10811.214
AT ITER 4820 NEW BEST:: SOT 63768 SOS 17189 HAS SOPS 14338 HAS SOUS 13450 HAS SOUPS 10788 WITH SCORE 10805.189
AT ITER 4831 NEW BEST:: SOT 63771 SOS 17190 HAS SOPS 14339 HAS SOUS 13448 HAS SOUPS 10786 WITH SCORE 10803.19
AT ITER 4862 NEW BEST:: SOT 63771 SOS 17178 HAS SOPS 14339 HAS SOUS 13424 HAS SOUPS 10774 WITH SCORE 10791.178
AT ITER 4903 NEW BEST:: SOT 63770 SOS 17177 HAS SOPS 14337 HAS SOUS 13424 HAS SOUPS 10773 WITH SCORE 10790.177
AT ITER 4908 NEW BEST:: SOT 63770 SOS 17173 HAS SOPS 14334 HAS SOUS 13422 HAS SOUPS 10772 WITH SCORE 10789.173
AT ITER 4914 NEW BEST:: SOT 63726 SOS 17103 HAS SOPS 14264 HAS SOUS 13378 HAS SOUPS 10728 WITH SCORE 10745.103
AT ITER 4921 NEW BEST:: SOT 63729 SOS 17100 HAS SOPS 14261 HAS SOUS 13377 HAS SOUPS 10727 WITH SCORE 10744.1
AT ITER 4964 NEW BEST:: SOT 63748 SOS 17072 HAS SOPS 14282 HAS SOUS 13309 HAS SOUPS 10708 WITH SCORE 10725.072
AT ITER 4965 NEW BEST:: SOT 63752 SOS 17085 HAS SOPS 14271 HAS SOUS 13325 HAS SOUPS 10700 WITH SCORE 10717.085
AT ITER 4966 NEW BEST:: SOT 63748 SOS 17081 HAS SOPS 14265 HAS SOUS 13323 HAS SOUPS 10696 WITH SCORE 10713.081
AT ITER 4968 NEW BEST:: SOT 63744 SOS 17073 HAS SOPS 14257 HAS SOUS 13319 HAS SOUPS 10692 WITH SCORE 10709.073
AT ITER 4972 NEW BEST:: SOT 63746 SOS 17062 HAS SOPS 14246 HAS SOUS 13314 HAS SOUPS 10687 WITH SCORE 10704.062
AT ITER 4976 NEW BEST:: SOT 63732 SOS 17035 HAS SOPS 14219 HAS SOUS 13301 HAS SOUPS 10674 WITH SCORE 10691.035
AT ITER 5010 NEW BEST:: SOT 63738 SOS 17040 HAS SOPS 14215 HAS SOUS 13306 HAS SOUPS 10670 WITH SCORE 10687.04
AT ITER 5032 NEW BEST:: SOT 63730 SOS 17023 HAS SOPS 14198 HAS SOUS 13286 HAS SOUPS 10650 WITH SCORE 10667.023
AT ITER 5088 NEW BEST:: SOT 63730 SOS 17019 HAS SOPS 14194 HAS SOUS 13286 HAS SOUPS 10650 WITH SCORE 10667.019
AT ITER 5144 NEW BEST:: SOT 63730 SOS 17013 HAS SOPS 14190 HAS SOUS 13282 HAS SOUPS 10648 WITH SCORE 10665.013
AT ITER 5170 NEW BEST:: SOT 63722 SOS 17005 HAS SOPS 14174 HAS SOUS 13274 HAS SOUPS 10632 WITH SCORE 10649.005
AT ITER 5175 NEW BEST:: SOT 63722 SOS 17000 HAS SOPS 14169 HAS SOUS 13274 HAS SOUPS 10632 WITH SCORE 10649.0
AT ITER 5179 NEW BEST:: SOT 63735 SOS 17000 HAS SOPS 14169 HAS SOUS 13261 HAS SOUPS 10619 WITH SCORE 10636.0
AT ITER 5208 NEW BEST:: SOT 63738 SOS 16991 HAS SOPS 14163 HAS SOUS 13252 HAS SOUPS 10613 WITH SCORE 10629.991
AT ITER 5233 NEW BEST:: SOT 63740 SOS 16972 HAS SOPS 14144 HAS SOUS 13246 HAS SOUPS 10607 WITH SCORE 10623.972
AT ITER 5251 NEW BEST:: SOT 63722 SOS 16954 HAS SOPS 14126 HAS SOUS 13237 HAS SOUPS 10598 WITH SCORE 10614.954
AT ITER 5260 NEW BEST:: SOT 63673 SOS 16929 HAS SOPS 14044 HAS SOUS 13225 HAS SOUPS 10551 WITH SCORE 10567.929
AT ITER 5269 NEW BEST:: SOT 63627 SOS 16878 HAS SOPS 13998 HAS SOUS 13202 HAS SOUPS 10528 WITH SCORE 10544.878
AT ITER 5337 NEW BEST:: SOT 63625 SOS 16922 HAS SOPS 14017 HAS SOUS 13223 HAS SOUPS 10524 WITH SCORE 10540.922
AT ITER 5345 NEW BEST:: SOT 63625 SOS 16894 HAS SOPS 13989 HAS SOUS 13223 HAS SOUPS 10524 WITH SCORE 10540.894
AT ITER 5387 NEW BEST:: SOT 63623 SOS 16884 HAS SOPS 13981 HAS SOUS 13215 HAS SOUPS 10518 WITH SCORE 10534.884
AT ITER 5409 NEW BEST:: SOT 63601 SOS 16862 HAS SOPS 13959 HAS SOUS 13204 HAS SOUPS 10507 WITH SCORE 10523.862
AT ITER 5420 NEW BEST:: SOT 63580 SOS 16838 HAS SOPS 13924 HAS SOUS 13182 HAS SOUPS 10485 WITH SCORE 10501.838
AT ITER 5422 NEW BEST:: SOT 63567 SOS 16810 HAS SOPS 13896 HAS SOUS 13154 HAS SOUPS 10457 WITH SCORE 10473.81
AT ITER 5434 NEW BEST:: SOT 63555 SOS 16839 HAS SOPS 13919 HAS SOUS 13142 HAS SOUPS 10439 WITH SCORE 10455.839
AT ITER 5456 NEW BEST:: SOT 63554 SOS 16794 HAS SOPS 13874 HAS SOUS 13075 HAS SOUPS 10372 WITH SCORE 10388.794
AT ITER 5478 NEW BEST:: SOT 63541 SOS 16781 HAS SOPS 13832 HAS SOUS 13033 HAS SOUPS 10314 WITH SCORE 10330.781
AT ITER 5480 NEW BEST:: SOT 63519 SOS 16759 HAS SOPS 13810 HAS SOUS 13022 HAS SOUPS 10303 WITH SCORE 10319.759
AT ITER 5500 NEW BEST:: SOT 63519 SOS 16756 HAS SOPS 13807 HAS SOUS 13019 HAS SOUPS 10300 WITH SCORE 10316.756
AT ITER 5561 NEW BEST:: SOT 63496 SOS 16705 HAS SOPS 13764 HAS SOUS 12982 HAS SOUPS 10271 WITH SCORE 10287.705
AT ITER 5575 NEW BEST:: SOT 63511 SOS 16719 HAS SOPS 13778 HAS SOUS 12980 HAS SOUPS 10269 WITH SCORE 10285.719
AT ITER 5577 NEW BEST:: SOT 63513 SOS 16721 HAS SOPS 13779 HAS SOUS 12977 HAS SOUPS 10265 WITH SCORE 10281.721
AT ITER 5637 NEW BEST:: SOT 63237 SOS 16452 HAS SOPS 13641 HAS SOUS 12846 HAS SOUPS 10265 WITH SCORE 10281.452
AT ITER 5644 NEW BEST:: SOT 63227 SOS 16451 HAS SOPS 13630 HAS SOUS 12845 HAS SOUPS 10254 WITH SCORE 10270.451
AT ITER 5686 NEW BEST:: SOT 63221 SOS 16445 HAS SOPS 13624 HAS SOUS 12843 HAS SOUPS 10252 WITH SCORE 10268.445
AT ITER 5766 NEW BEST:: SOT 63214 SOS 16438 HAS SOPS 13610 HAS SOUS 12843 HAS SOUPS 10245 WITH SCORE 10261.438
AT ITER 5826 NEW BEST:: SOT 63215 SOS 16446 HAS SOPS 13617 HAS SOUS 12840 HAS SOUPS 10241 WITH SCORE 10257.446
AT ITER 5915 NEW BEST:: SOT 63217 SOS 16438 HAS SOPS 13605 HAS SOUS 12832 HAS SOUPS 10229 WITH SCORE 10245.438
AT ITER 5937 NEW BEST:: SOT 63260 SOS 16444 HAS SOPS 13602 HAS SOUS 12838 HAS SOUPS 10226 WITH SCORE 10242.444
AT ITER 5967 NEW BEST:: SOT 63275 SOS 16426 HAS SOPS 13584 HAS SOUS 12820 HAS SOUPS 10208 WITH SCORE 10224.426
AT ITER 6044 NEW BEST:: SOT 63375 SOS 16175 HAS SOPS 13333 HAS SOUS 12768 HAS SOUPS 10156 WITH SCORE 10172.175
AT ITER 6068 NEW BEST:: SOT 63370 SOS 16175 HAS SOPS 13319 HAS SOUS 12763 HAS SOUPS 10144 WITH SCORE 10160.175
AT ITER 6086 NEW BEST:: SOT 63367 SOS 16172 HAS SOPS 13313 HAS SOUS 12760 HAS SOUPS 10138 WITH SCORE 10154.172
AT ITER 6112 NEW BEST:: SOT 63360 SOS 16175 HAS SOPS 13316 HAS SOUS 12754 HAS SOUPS 10132 WITH SCORE 10148.175
AT ITER 6243 NEW BEST:: SOT 63355 SOS 16176 HAS SOPS 13310 HAS SOUS 12756 HAS SOUPS 10127 WITH SCORE 10143.176
AT ITER 6315 NEW BEST:: SOT 63371 SOS 16184 HAS SOPS 13318 HAS SOUS 12748 HAS SOUPS 10119 WITH SCORE 10135.184
AT ITER 6328 NEW BEST:: SOT 63371 SOS 16205 HAS SOPS 13311 HAS SOUS 12769 HAS SOUPS 10112 WITH SCORE 10128.205
AT ITER 6330 NEW BEST:: SOT 63347 SOS 16224 HAS SOPS 13263 HAS SOUS 12788 HAS SOUPS 10064 WITH SCORE 10080.224
AT ITER 6341 NEW BEST:: SOT 63317 SOS 16164 HAS SOPS 13203 HAS SOUS 12778 HAS SOUPS 10054 WITH SCORE 10070.164
AT ITER 6351 NEW BEST:: SOT 63332 SOS 16179 HAS SOPS 13218 HAS SOUS 12766 HAS SOUPS 10042 WITH SCORE 10058.179
AT ITER 6402 NEW BEST:: SOT 63348 SOS 16217 HAS SOPS 13256 HAS SOUS 12764 HAS SOUPS 10040 WITH SCORE 10056.217
AT ITER 6412 NEW BEST:: SOT 63323 SOS 16192 HAS SOPS 13231 HAS SOUS 12717 HAS SOUPS 9993 WITH SCORE 10009.192
AT ITER 6425 NEW BEST:: SOT 63321 SOS 16189 HAS SOPS 13228 HAS SOUS 12715 HAS SOUPS 9991 WITH SCORE 10007.189
AT ITER 6432 NEW BEST:: SOT 63212 SOS 16185 HAS SOPS 13224 HAS SOUS 12715 HAS SOUPS 9991 WITH SCORE 10007.185
AT ITER 6433 NEW BEST:: SOT 63205 SOS 16178 HAS SOPS 13217 HAS SOUS 12708 HAS SOUPS 9984 WITH SCORE 10000.178
AT ITER 6445 NEW BEST:: SOT 63206 SOS 16178 HAS SOPS 13217 HAS SOUS 12707 HAS SOUPS 9983 WITH SCORE 9999.178
AT ITER 6448 NEW BEST:: SOT 63147 SOS 16307 HAS SOPS 13346 HAS SOUS 12686 HAS SOUPS 9962 WITH SCORE 9978.307
AT ITER 6465 NEW BEST:: SOT 63143 SOS 16301 HAS SOPS 13340 HAS SOUS 12682 HAS SOUPS 9958 WITH SCORE 9974.301
AT ITER 6514 NEW BEST:: SOT 63132 SOS 16290 HAS SOPS 13329 HAS SOUS 12682 HAS SOUPS 9958 WITH SCORE 9974.29
AT ITER 6532 NEW BEST:: SOT 63123 SOS 16317 HAS SOPS 13335 HAS SOUS 12691 HAS SOUPS 9946 WITH SCORE 9962.317
AT ITER 6535 NEW BEST:: SOT 63135 SOS 16289 HAS SOPS 13307 HAS SOUS 12675 HAS SOUPS 9930 WITH SCORE 9946.289
AT ITER 6619 NEW BEST:: SOT 63131 SOS 16286 HAS SOPS 13300 HAS SOUS 12677 HAS SOUPS 9928 WITH SCORE 9944.286
AT ITER 6620 NEW BEST:: SOT 63130 SOS 16273 HAS SOPS 13290 HAS SOUS 12667 HAS SOUPS 9921 WITH SCORE 9937.273
AT ITER 6627 NEW BEST:: SOT 63126 SOS 16207 HAS SOPS 13224 HAS SOUS 12649 HAS SOUPS 9903 WITH SCORE 9919.207
AT ITER 6674 NEW BEST:: SOT 63124 SOS 16187 HAS SOPS 13214 HAS SOUS 12637 HAS SOUPS 9896 WITH SCORE 9912.187
AT ITER 6686 NEW BEST:: SOT 63121 SOS 16148 HAS SOPS 13194 HAS SOUS 12616 HAS SOUPS 9894 WITH SCORE 9910.148
AT ITER 6733 NEW BEST:: SOT 63121 SOS 16142 HAS SOPS 13188 HAS SOUS 12616 HAS SOUPS 9894 WITH SCORE 9910.142
AT ITER 6756 NEW BEST:: SOT 63117 SOS 16155 HAS SOPS 13196 HAS SOUS 12615 HAS SOUPS 9890 WITH SCORE 9906.155
AT ITER 6777 NEW BEST:: SOT 63115 SOS 16137 HAS SOPS 13191 HAS SOUS 12602 HAS SOUPS 9890 WITH SCORE 9906.137
AT ITER 6789 NEW BEST:: SOT 63092 SOS 16114 HAS SOPS 13145 HAS SOUS 12602 HAS SOUPS 9867 WITH SCORE 9883.114
AT ITER 6797 NEW BEST:: SOT 63091 SOS 16113 HAS SOPS 13143 HAS SOUS 12602 HAS SOUPS 9866 WITH SCORE 9882.113
AT ITER 6826 NEW BEST:: SOT 63082 SOS 16078 HAS SOPS 13111 HAS SOUS 12566 HAS SOUPS 9833 WITH SCORE 9849.078
AT ITER 6828 NEW BEST:: SOT 63078 SOS 16074 HAS SOPS 13086 HAS SOUS 12562 HAS SOUPS 9808 WITH SCORE 9824.074
AT ITER 6886 NEW BEST:: SOT 62990 SOS 15956 HAS SOPS 12976 HAS SOUS 12505 HAS SOUPS 9754 WITH SCORE 9769.956
AT ITER 6994 NEW BEST:: SOT 62976 SOS 15942 HAS SOPS 12962 HAS SOUS 12491 HAS SOUPS 9740 WITH SCORE 9755.942
AT ITER 7036 NEW BEST:: SOT 62944 SOS 15910 HAS SOPS 12930 HAS SOUS 12459 HAS SOUPS 9708 WITH SCORE 9723.91
AT ITER 7047 NEW BEST:: SOT 62912 SOS 15878 HAS SOPS 12882 HAS SOUS 12443 HAS SOUPS 9676 WITH SCORE 9691.878
AT ITER 7083 NEW BEST:: SOT 62912 SOS 15911 HAS SOPS 12887 HAS SOUS 12462 HAS SOUPS 9667 WITH SCORE 9682.911
AT ITER 7136 NEW BEST:: SOT 62912 SOS 15904 HAS SOPS 12880 HAS SOUS 12455 HAS SOUPS 9660 WITH SCORE 9675.904
AT ITER 7169 NEW BEST:: SOT 62888 SOS 15880 HAS SOPS 12845 HAS SOUS 12431 HAS SOUPS 9625 WITH SCORE 9640.88
AT ITER 7183 NEW BEST:: SOT 62930 SOS 15884 HAS SOPS 12849 HAS SOUS 12419 HAS SOUPS 9613 WITH SCORE 9628.884
AT ITER 7234 NEW BEST:: SOT 62927 SOS 15879 HAS SOPS 12845 HAS SOUS 12419 HAS SOUPS 9613 WITH SCORE 9628.879
AT ITER 7258 NEW BEST:: SOT 62919 SOS 15869 HAS SOPS 12835 HAS SOUS 12412 HAS SOUPS 9606 WITH SCORE 9621.869
AT ITER 7320 NEW BEST:: SOT 62911 SOS 15863 HAS SOPS 12829 HAS SOUS 12406 HAS SOUPS 9600 WITH SCORE 9615.863
AT ITER 7325 NEW BEST:: SOT 62911 SOS 15862 HAS SOPS 12829 HAS SOUS 12405 HAS SOUPS 9600 WITH SCORE 9615.862
AT ITER 7351 NEW BEST:: SOT 62911 SOS 15862 HAS SOPS 12829 HAS SOUS 12399 HAS SOUPS 9594 WITH SCORE 9609.862
AT ITER 7379 NEW BEST:: SOT 62861 SOS 15757 HAS SOPS 12739 HAS SOUS 12372 HAS SOUPS 9582 WITH SCORE 9597.757
AT ITER 7458 NEW BEST:: SOT 62875 SOS 15756 HAS SOPS 12738 HAS SOUS 12371 HAS SOUPS 9581 WITH SCORE 9596.756
AT ITER 7490 NEW BEST:: SOT 62871 SOS 15752 HAS SOPS 12734 HAS SOUS 12362 HAS SOUPS 9577 WITH SCORE 9592.752
AT ITER 7495 NEW BEST:: SOT 62871 SOS 15749 HAS SOPS 12731 HAS SOUS 12361 HAS SOUPS 9576 WITH SCORE 9591.749
AT ITER 7506 NEW BEST:: SOT 62871 SOS 15741 HAS SOPS 12723 HAS SOUS 12361 HAS SOUPS 9576 WITH SCORE 9591.741
AT ITER 7567 NEW BEST:: SOT 62870 SOS 15737 HAS SOPS 12720 HAS SOUS 12358 HAS SOUPS 9574 WITH SCORE 9589.737
AT ITER 7570 NEW BEST:: SOT 62869 SOS 15627 HAS SOPS 12610 HAS SOUS 12348 HAS SOUPS 9564 WITH SCORE 9579.627
AT ITER 7588 NEW BEST:: SOT 62869 SOS 15625 HAS SOPS 12610 HAS SOUS 12346 HAS SOUPS 9563 WITH SCORE 9578.625
AT ITER 7597 NEW BEST:: SOT 62863 SOS 15619 HAS SOPS 12604 HAS SOUS 12346 HAS SOUPS 9563 WITH SCORE 9578.619
AT ITER 7604 NEW BEST:: SOT 62858 SOS 15608 HAS SOPS 12593 HAS SOUS 12338 HAS SOUPS 9555 WITH SCORE 9570.608
AT ITER 7613 NEW BEST:: SOT 62856 SOS 15606 HAS SOPS 12591 HAS SOUS 12336 HAS SOUPS 9553 WITH SCORE 9568.606
AT ITER 7660 NEW BEST:: SOT 62864 SOS 15614 HAS SOPS 12591 HAS SOUS 12336 HAS SOUPS 9545 WITH SCORE 9560.614
AT ITER 7687 NEW BEST:: SOT 62860 SOS 15598 HAS SOPS 12579 HAS SOUS 12324 HAS SOUPS 9537 WITH SCORE 9552.598
AT ITER 7726 NEW BEST:: SOT 62860 SOS 15593 HAS SOPS 12576 HAS SOUS 12321 HAS SOUPS 9536 WITH SCORE 9551.593
AT ITER 7732 NEW BEST:: SOT 62854 SOS 15587 HAS SOPS 12567 HAS SOUS 12318 HAS SOUPS 9530 WITH SCORE 9545.587
AT ITER 7739 NEW BEST:: SOT 62848 SOS 15581 HAS SOPS 12561 HAS SOUS 12318 HAS SOUPS 9530 WITH SCORE 9545.581
AT ITER 7757 NEW BEST:: SOT 62834 SOS 15567 HAS SOPS 12547 HAS SOUS 12311 HAS SOUPS 9523 WITH SCORE 9538.567
AT ITER 7858 NEW BEST:: SOT 62810 SOS 15543 HAS SOPS 12523 HAS SOUS 12291 HAS SOUPS 9503 WITH SCORE 9518.543
AT ITER 7890 NEW BEST:: SOT 62807 SOS 15551 HAS SOPS 12524 HAS SOUS 12295 HAS SOUPS 9500 WITH SCORE 9515.551
AT ITER 7910 NEW BEST:: SOT 62805 SOS 15544 HAS SOPS 12520 HAS SOUS 12290 HAS SOUPS 9498 WITH SCORE 9513.544
AT ITER 7922 NEW BEST:: SOT 62811 SOS 15531 HAS SOPS 12507 HAS SOUS 12290 HAS SOUPS 9498 WITH SCORE 9513.531
AT ITER 7950 NEW BEST:: SOT 62809 SOS 15519 HAS SOPS 12503 HAS SOUS 12280 HAS SOUPS 9496 WITH SCORE 9511.519
AT ITER 8004 NEW BEST:: SOT 62811 SOS 15517 HAS SOPS 12501 HAS SOUS 12278 HAS SOUPS 9494 WITH SCORE 9509.517
AT ITER 8051 NEW BEST:: SOT 62793 SOS 15509 HAS SOPS 12473 HAS SOUS 12273 HAS SOUPS 9469 WITH SCORE 9484.509
AT ITER 8182 NEW BEST:: SOT 62879 SOS 15556 HAS SOPS 12520 HAS SOUS 12264 HAS SOUPS 9460 WITH SCORE 9475.556
AT ITER 8197 NEW BEST:: SOT 62883 SOS 15583 HAS SOPS 12547 HAS SOUS 12251 HAS SOUPS 9447 WITH SCORE 9462.583
AT ITER 8219 NEW BEST:: SOT 62845 SOS 15497 HAS SOPS 12461 HAS SOUS 12212 HAS SOUPS 9408 WITH SCORE 9423.497
AT ITER 8225 NEW BEST:: SOT 62822 SOS 15451 HAS SOPS 12415 HAS SOUS 12189 HAS SOUPS 9385 WITH SCORE 9400.451
AT ITER 8279 NEW BEST:: SOT 62796 SOS 15435 HAS SOPS 12399 HAS SOUS 12181 HAS SOUPS 9377 WITH SCORE 9392.435
AT ITER 8285 NEW BEST:: SOT 62800 SOS 15415 HAS SOPS 12379 HAS SOUS 12176 HAS SOUPS 9372 WITH SCORE 9387.415
AT ITER 8391 NEW BEST:: SOT 62786 SOS 15373 HAS SOPS 12344 HAS SOUS 12148 HAS SOUPS 9351 WITH SCORE 9366.373
AT ITER 8470 NEW BEST:: SOT 62710 SOS 15221 HAS SOPS 12268 HAS SOUS 12072 HAS SOUPS 9351 WITH SCORE 9366.221
AT ITER 8484 NEW BEST:: SOT 62707 SOS 15218 HAS SOPS 12265 HAS SOUS 12069 HAS SOUPS 9348 WITH SCORE 9363.218
AT ITER 8660 NEW BEST:: SOT 62700 SOS 15223 HAS SOPS 12270 HAS SOUS 12055 HAS SOUPS 9334 WITH SCORE 9349.223
AT ITER 8678 NEW BEST:: SOT 62693 SOS 15217 HAS SOPS 12264 HAS SOUS 12045 HAS SOUPS 9324 WITH SCORE 9339.217
AT ITER 8686 NEW BEST:: SOT 62693 SOS 15211 HAS SOPS 12264 HAS SOUS 12039 HAS SOUPS 9324 WITH SCORE 9339.211
AT ITER 8699 NEW BEST:: SOT 62679 SOS 15262 HAS SOPS 12315 HAS SOUS 12008 HAS SOUPS 9293 WITH SCORE 9308.262
AT ITER 8813 NEW BEST:: SOT 62692 SOS 15252 HAS SOPS 12305 HAS SOUS 12007 HAS SOUPS 9292 WITH SCORE 9307.252
AT ITER 8909 NEW BEST:: SOT 62686 SOS 15237 HAS SOPS 12294 HAS SOUS 12000 HAS SOUPS 9288 WITH SCORE 9303.237
AT ITER 8973 NEW BEST:: SOT 62667 SOS 15218 HAS SOPS 12275 HAS SOUS 11981 HAS SOUPS 9269 WITH SCORE 9284.218
AT ITER 8987 NEW BEST:: SOT 62680 SOS 15230 HAS SOPS 12282 HAS SOUS 11984 HAS SOUPS 9267 WITH SCORE 9282.23
AT ITER 8990 NEW BEST:: SOT 62685 SOS 15235 HAS SOPS 12287 HAS SOUS 11978 HAS SOUPS 9261 WITH SCORE 9276.235
AT ITER 9029 NEW BEST:: SOT 62685 SOS 15227 HAS SOPS 12287 HAS SOUS 11970 HAS SOUPS 9261 WITH SCORE 9276.227
AT ITER 9033 NEW BEST:: SOT 62719 SOS 15240 HAS SOPS 12300 HAS SOUS 11958 HAS SOUPS 9249 WITH SCORE 9264.24
AT ITER 9133 NEW BEST:: SOT 62707 SOS 15228 HAS SOPS 12288 HAS SOUS 11953 HAS SOUPS 9244 WITH SCORE 9259.228
AT ITER 9240 NEW BEST:: SOT 62707 SOS 15236 HAS SOPS 12301 HAS SOUS 11946 HAS SOUPS 9242 WITH SCORE 9257.236
AT ITER 9385 NEW BEST:: SOT 62713 SOS 15232 HAS SOPS 12297 HAS SOUS 11945 HAS SOUPS 9241 WITH SCORE 9256.232
AT ITER 9405 NEW BEST:: SOT 62721 SOS 15225 HAS SOPS 12305 HAS SOUS 11923 HAS SOUPS 9234 WITH SCORE 9249.225
AT ITER 9482 NEW BEST:: SOT 62716 SOS 15221 HAS SOPS 12291 HAS SOUS 11919 HAS SOUPS 9220 WITH SCORE 9235.221
AT ITER 9601 NEW BEST:: SOT 62715 SOS 15220 HAS SOPS 12290 HAS SOUS 11918 HAS SOUPS 9219 WITH SCORE 9234.22
AT ITER 9613 NEW BEST:: SOT 62705 SOS 15210 HAS SOPS 12280 HAS SOUS 11918 HAS SOUPS 9219 WITH SCORE 9234.21
AT ITER 9692 NEW BEST:: SOT 62705 SOS 15208 HAS SOPS 12278 HAS SOUS 11916 HAS SOUPS 9217 WITH SCORE 9232.208
AT ITER 9759 NEW BEST:: SOT 62702 SOS 15202 HAS SOPS 12272 HAS SOUS 11913 HAS SOUPS 9214 WITH SCORE 9229.202
AT ITER 9786 NEW BEST:: SOT 62691 SOS 15192 HAS SOPS 12262 HAS SOUS 11903 HAS SOUPS 9204 WITH SCORE 9219.192
AT ITER 9832 NEW BEST:: SOT 62685 SOS 15188 HAS SOPS 12256 HAS SOUS 11904 HAS SOUPS 9203 WITH SCORE 9218.188
AT ITER 9864 NEW BEST:: SOT 62684 SOS 15187 HAS SOPS 12254 HAS SOUS 11903 HAS SOUPS 9201 WITH SCORE 9216.187
AT ITER 9939 NEW BEST:: SOT 62761 SOS 15290 HAS SOPS 12313 HAS SOUS 11938 HAS SOUPS 9192 WITH SCORE 9207.29
STATE_SPACE STATES 8440470781232316153857 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 72 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 458294751337722247380993 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589645293962

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Parking-PT-416"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is Parking-PT-416, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r108-csrt-158961250700536"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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