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.r267-smll-167863541800432.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 Parking-PT-416, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r267-smll-167863541800432
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 504K
-rw-r--r-- 1 mcc users 6.2K Feb 26 15:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 26 15:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 14:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 14:59 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:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 15:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 126K Feb 26 15:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 26 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 35K Feb 26 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 107K Mar 5 18:23 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 1678874973652

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=Parking-PT-416
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-15 10:09:37] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-15 10:09:37] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-15 10:09:37] [INFO ] Load time of PNML (sax parser for PT used): 164 ms
[2023-03-15 10:09:37] [INFO ] Transformed 305 places.
[2023-03-15 10:09:37] [INFO ] Transformed 433 transitions.
[2023-03-15 10:09:37] [INFO ] Found NUPN structural information;
[2023-03-15 10:09:37] [INFO ] Parsed PT model containing 305 places and 433 transitions and 1289 arcs in 340 ms.
[2023-03-15 10:09:37] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 305 places, 433 transitions and 1289 arcs took 14 ms.
Total runtime 417 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Parking (PT), instance 416
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: 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 79497 SOS 56526 HAS SOPS 56526 HAS SOUS 37527 HAS SOUPS 37527 WITH SCORE 37583.526
AT ITER 4 NEW BEST:: SOT 79497 SOS 56252 HAS SOPS 56252 HAS SOUS 37443 HAS SOUPS 37443 WITH SCORE 37499.252
AT ITER 7 NEW BEST:: SOT 79497 SOS 56252 HAS SOPS 56252 HAS SOUS 37432 HAS SOUPS 37432 WITH SCORE 37488.252
AT ITER 18 NEW BEST:: SOT 78908 SOS 55423 HAS SOPS 55423 HAS SOUS 36846 HAS SOUPS 36846 WITH SCORE 36901.423
AT ITER 20 NEW BEST:: SOT 78367 SOS 54598 HAS SOPS 54575 HAS SOUS 36307 HAS SOUPS 36284 WITH SCORE 36338.598
AT ITER 21 NEW BEST:: SOT 78367 SOS 54583 HAS SOPS 54560 HAS SOUS 36307 HAS SOUPS 36284 WITH SCORE 36338.583
AT ITER 23 NEW BEST:: SOT 78159 SOS 54375 HAS SOPS 54352 HAS SOUS 36154 HAS SOUPS 36131 WITH SCORE 36185.375
AT ITER 24 NEW BEST:: SOT 78131 SOS 54319 HAS SOPS 54282 HAS SOUS 36132 HAS SOUPS 36095 WITH SCORE 36149.319
AT ITER 26 NEW BEST:: SOT 78265 SOS 54030 HAS SOPS 53993 HAS SOUS 35993 HAS SOUPS 35956 WITH SCORE 36010.03
AT ITER 28 NEW BEST:: SOT 78265 SOS 53903 HAS SOPS 53866 HAS SOUS 35947 HAS SOUPS 35910 WITH SCORE 35963.903
AT ITER 29 NEW BEST:: SOT 78265 SOS 53662 HAS SOPS 53625 HAS SOUS 35860 HAS SOUPS 35823 WITH SCORE 35876.662
AT ITER 32 NEW BEST:: SOT 78037 SOS 53434 HAS SOPS 53397 HAS SOUS 35708 HAS SOUPS 35671 WITH SCORE 35724.434
AT ITER 34 NEW BEST:: SOT 78037 SOS 52971 HAS SOPS 52934 HAS SOUS 35708 HAS SOUPS 35671 WITH SCORE 35723.971
AT ITER 40 NEW BEST:: SOT 78028 SOS 53105 HAS SOPS 52938 HAS SOUS 35765 HAS SOUPS 35598 WITH SCORE 35651.105
AT ITER 41 NEW BEST:: SOT 78004 SOS 53044 HAS SOPS 52889 HAS SOUS 35751 HAS SOUPS 35596 WITH SCORE 35649.044
AT ITER 45 NEW BEST:: SOT 78004 SOS 53043 HAS SOPS 52888 HAS SOUS 35750 HAS SOUPS 35595 WITH SCORE 35648.043
AT ITER 46 NEW BEST:: SOT 78004 SOS 52696 HAS SOPS 52541 HAS SOUS 35709 HAS SOUPS 35554 WITH SCORE 35606.696
AT ITER 48 NEW BEST:: SOT 77570 SOS 51876 HAS SOPS 51709 HAS SOUS 35175 HAS SOUPS 35008 WITH SCORE 35059.876
AT ITER 49 NEW BEST:: SOT 77570 SOS 51855 HAS SOPS 51688 HAS SOUS 35154 HAS SOUPS 34987 WITH SCORE 35038.855
AT ITER 51 NEW BEST:: SOT 77570 SOS 51303 HAS SOPS 51136 HAS SOUS 34959 HAS SOUPS 34792 WITH SCORE 34843.303
AT ITER 55 NEW BEST:: SOT 77345 SOS 51078 HAS SOPS 50911 HAS SOUS 34773 HAS SOUPS 34606 WITH SCORE 34657.078
AT ITER 56 NEW BEST:: SOT 75848 SOS 49487 HAS SOPS 49320 HAS SOUS 33652 HAS SOUPS 33485 WITH SCORE 33534.487
AT ITER 61 NEW BEST:: SOT 75842 SOS 49343 HAS SOPS 49176 HAS SOUS 33554 HAS SOUPS 33387 WITH SCORE 33436.343
AT ITER 66 NEW BEST:: SOT 75842 SOS 49225 HAS SOPS 49058 HAS SOUS 33508 HAS SOUPS 33341 WITH SCORE 33390.225
AT ITER 67 NEW BEST:: SOT 75842 SOS 48968 HAS SOPS 48801 HAS SOUS 33425 HAS SOUPS 33258 WITH SCORE 33306.968
AT ITER 69 NEW BEST:: SOT 75842 SOS 48838 HAS SOPS 48671 HAS SOUS 33408 HAS SOUPS 33241 WITH SCORE 33289.838
AT ITER 71 NEW BEST:: SOT 75351 SOS 48485 HAS SOPS 48180 HAS SOUS 33070 HAS SOUPS 32765 WITH SCORE 32813.485
AT ITER 75 NEW BEST:: SOT 75120 SOS 48254 HAS SOPS 47949 HAS SOUS 32907 HAS SOUPS 32602 WITH SCORE 32650.254
AT ITER 77 NEW BEST:: SOT 75120 SOS 47953 HAS SOPS 47648 HAS SOUS 32717 HAS SOUPS 32412 WITH SCORE 32459.953
AT ITER 79 NEW BEST:: SOT 74789 SOS 47534 HAS SOPS 47229 HAS SOUS 32298 HAS SOUPS 31993 WITH SCORE 32040.534
AT ITER 82 NEW BEST:: SOT 74789 SOS 47401 HAS SOPS 47133 HAS SOUS 32213 HAS SOUPS 31945 WITH SCORE 31992.401
AT ITER 85 NEW BEST:: SOT 74789 SOS 46261 HAS SOPS 45993 HAS SOUS 32121 HAS SOUPS 31853 WITH SCORE 31899.261
AT ITER 86 NEW BEST:: SOT 74712 SOS 44824 HAS SOPS 44556 HAS SOUS 31844 HAS SOUPS 31576 WITH SCORE 31620.824
AT ITER 89 NEW BEST:: SOT 74643 SOS 44748 HAS SOPS 44480 HAS SOUS 31821 HAS SOUPS 31553 WITH SCORE 31597.748
AT ITER 91 NEW BEST:: SOT 74270 SOS 44280 HAS SOPS 44012 HAS SOUS 31480 HAS SOUPS 31212 WITH SCORE 31256.28
AT ITER 92 NEW BEST:: SOT 74240 SOS 44190 HAS SOPS 43922 HAS SOUS 31420 HAS SOUPS 31152 WITH SCORE 31196.19
AT ITER 96 NEW BEST:: SOT 74240 SOS 44190 HAS SOPS 43906 HAS SOUS 31420 HAS SOUPS 31136 WITH SCORE 31180.19
AT ITER 99 NEW BEST:: SOT 74166 SOS 44046 HAS SOPS 43762 HAS SOUS 31394 HAS SOUPS 31110 WITH SCORE 31154.046
AT ITER 100 NEW BEST:: SOT 73852 SOS 43858 HAS SOPS 43432 HAS SOUS 31331 HAS SOUPS 30905 WITH SCORE 30948.858
AT ITER 101 NEW BEST:: SOT 73734 SOS 43740 HAS SOPS 43314 HAS SOUS 31331 HAS SOUPS 30905 WITH SCORE 30948.74
AT ITER 106 NEW BEST:: SOT 73509 SOS 43514 HAS SOPS 43088 HAS SOUS 31169 HAS SOUPS 30743 WITH SCORE 30786.514
AT ITER 108 NEW BEST:: SOT 73509 SOS 43480 HAS SOPS 43054 HAS SOUS 31152 HAS SOUPS 30726 WITH SCORE 30769.48
AT ITER 109 NEW BEST:: SOT 73461 SOS 43408 HAS SOPS 42982 HAS SOUS 31104 HAS SOUPS 30678 WITH SCORE 30721.408
AT ITER 113 NEW BEST:: SOT 73067 SOS 43010 HAS SOPS 42584 HAS SOUS 30839 HAS SOUPS 30413 WITH SCORE 30456.01
AT ITER 116 NEW BEST:: SOT 72997 SOS 42835 HAS SOPS 42444 HAS SOUS 30734 HAS SOUPS 30343 WITH SCORE 30385.835
AT ITER 118 NEW BEST:: SOT 72894 SOS 42732 HAS SOPS 42341 HAS SOUS 30664 HAS SOUPS 30273 WITH SCORE 30315.732
AT ITER 121 NEW BEST:: SOT 72894 SOS 42606 HAS SOPS 42215 HAS SOUS 30650 HAS SOUPS 30259 WITH SCORE 30301.606
AT ITER 122 NEW BEST:: SOT 72349 SOS 42061 HAS SOPS 41670 HAS SOUS 30330 HAS SOUPS 29939 WITH SCORE 29981.061
AT ITER 124 NEW BEST:: SOT 72349 SOS 41992 HAS SOPS 41601 HAS SOUS 30330 HAS SOUPS 29939 WITH SCORE 29980.992
AT ITER 130 NEW BEST:: SOT 72357 SOS 41976 HAS SOPS 41597 HAS SOUS 30318 HAS SOUPS 29939 WITH SCORE 29980.976
AT ITER 140 NEW BEST:: SOT 72056 SOS 41675 HAS SOPS 41295 HAS SOUS 30123 HAS SOUPS 29743 WITH SCORE 29784.675
AT ITER 143 NEW BEST:: SOT 72259 SOS 41775 HAS SOPS 41381 HAS SOUS 30106 HAS SOUPS 29712 WITH SCORE 29753.775
AT ITER 148 NEW BEST:: SOT 72259 SOS 41753 HAS SOPS 41359 HAS SOUS 30106 HAS SOUPS 29712 WITH SCORE 29753.753
AT ITER 153 NEW BEST:: SOT 72246 SOS 41724 HAS SOPS 41330 HAS SOUS 30085 HAS SOUPS 29691 WITH SCORE 29732.724
AT ITER 154 NEW BEST:: SOT 72202 SOS 41591 HAS SOPS 41188 HAS SOUS 29952 HAS SOUPS 29549 WITH SCORE 29590.591
AT ITER 160 NEW BEST:: SOT 72068 SOS 41474 HAS SOPS 40989 HAS SOUS 29809 HAS SOUPS 29324 WITH SCORE 29365.474
AT ITER 162 NEW BEST:: SOT 72068 SOS 41413 HAS SOPS 40928 HAS SOUS 29809 HAS SOUPS 29324 WITH SCORE 29365.413
AT ITER 172 NEW BEST:: SOT 72031 SOS 41020 HAS SOPS 40535 HAS SOUS 29774 HAS SOUPS 29289 WITH SCORE 29330.02
AT ITER 176 NEW BEST:: SOT 71557 SOS 40578 HAS SOPS 39964 HAS SOUS 29472 HAS SOUPS 28858 WITH SCORE 28898.578
AT ITER 178 NEW BEST:: SOT 71644 SOS 40665 HAS SOPS 39996 HAS SOUS 29498 HAS SOUPS 28829 WITH SCORE 28869.665
AT ITER 179 NEW BEST:: SOT 71155 SOS 39925 HAS SOPS 39137 HAS SOUS 29062 HAS SOUPS 28274 WITH SCORE 28313.925
AT ITER 182 NEW BEST:: SOT 71155 SOS 39982 HAS SOPS 39194 HAS SOUS 29003 HAS SOUPS 28215 WITH SCORE 28254.982
AT ITER 185 NEW BEST:: SOT 71155 SOS 39742 HAS SOPS 38954 HAS SOUS 28990 HAS SOUPS 28202 WITH SCORE 28241.742
AT ITER 186 NEW BEST:: SOT 71155 SOS 39519 HAS SOPS 38731 HAS SOUS 28946 HAS SOUPS 28158 WITH SCORE 28197.519
AT ITER 192 NEW BEST:: SOT 71135 SOS 39680 HAS SOPS 38851 HAS SOUS 28967 HAS SOUPS 28138 WITH SCORE 28177.68
AT ITER 203 NEW BEST:: SOT 70976 SOS 39574 HAS SOPS 38692 HAS SOUS 28888 HAS SOUPS 28006 WITH SCORE 28045.574
AT ITER 206 NEW BEST:: SOT 71012 SOS 39514 HAS SOPS 38632 HAS SOUS 28850 HAS SOUPS 27968 WITH SCORE 28007.514
AT ITER 208 NEW BEST:: SOT 71121 SOS 39680 HAS SOPS 38766 HAS SOUS 28830 HAS SOUPS 27948 WITH SCORE 27987.68
AT ITER 212 NEW BEST:: SOT 71136 SOS 39645 HAS SOPS 38731 HAS SOUS 28796 HAS SOUPS 27914 WITH SCORE 27953.645
AT ITER 215 NEW BEST:: SOT 70944 SOS 39462 HAS SOPS 38548 HAS SOUS 28666 HAS SOUPS 27784 WITH SCORE 27823.462
AT ITER 220 NEW BEST:: SOT 70807 SOS 39400 HAS SOPS 38486 HAS SOUS 28591 HAS SOUPS 27709 WITH SCORE 27748.4
AT ITER 224 NEW BEST:: SOT 70796 SOS 39192 HAS SOPS 38278 HAS SOUS 28509 HAS SOUPS 27627 WITH SCORE 27666.192
AT ITER 225 NEW BEST:: SOT 70791 SOS 39187 HAS SOPS 38273 HAS SOUS 28425 HAS SOUPS 27543 WITH SCORE 27582.187
AT ITER 230 NEW BEST:: SOT 70646 SOS 39046 HAS SOPS 37976 HAS SOUS 28424 HAS SOUPS 27386 WITH SCORE 27425.046
AT ITER 231 NEW BEST:: SOT 70646 SOS 39053 HAS SOPS 37983 HAS SOUS 28415 HAS SOUPS 27377 WITH SCORE 27416.053
AT ITER 233 NEW BEST:: SOT 70471 SOS 38820 HAS SOPS 37749 HAS SOUS 28240 HAS SOUPS 27201 WITH SCORE 27239.82
AT ITER 236 NEW BEST:: SOT 72701 SOS 41010 HAS SOPS 39939 HAS SOUS 28198 HAS SOUPS 27159 WITH SCORE 27200.01
AT ITER 242 NEW BEST:: SOT 72718 SOS 41027 HAS SOPS 40033 HAS SOUS 28117 HAS SOUPS 27155 WITH SCORE 27196.027
AT ITER 244 NEW BEST:: SOT 72606 SOS 40915 HAS SOPS 39893 HAS SOUS 28005 HAS SOUPS 27015 WITH SCORE 27055.915
AT ITER 245 NEW BEST:: SOT 72606 SOS 40825 HAS SOPS 39803 HAS SOUS 27965 HAS SOUPS 26975 WITH SCORE 27015.825
AT ITER 247 NEW BEST:: SOT 72310 SOS 40575 HAS SOPS 39525 HAS SOUS 27840 HAS SOUPS 26822 WITH SCORE 26862.575
AT ITER 249 NEW BEST:: SOT 72310 SOS 40425 HAS SOPS 39450 HAS SOUS 27690 HAS SOUPS 26747 WITH SCORE 26787.425
AT ITER 251 NEW BEST:: SOT 72253 SOS 40289 HAS SOPS 39314 HAS SOUS 27614 HAS SOUPS 26671 WITH SCORE 26711.289
AT ITER 254 NEW BEST:: SOT 72253 SOS 40157 HAS SOPS 39214 HAS SOUS 27564 HAS SOUPS 26653 WITH SCORE 26693.157
AT ITER 259 NEW BEST:: SOT 72118 SOS 40022 HAS SOPS 39078 HAS SOUS 27494 HAS SOUPS 26582 WITH SCORE 26622.022
AT ITER 262 NEW BEST:: SOT 72054 SOS 39563 HAS SOPS 38563 HAS SOUS 27469 HAS SOUPS 26501 WITH SCORE 26540.563
AT ITER 263 NEW BEST:: SOT 72054 SOS 39545 HAS SOPS 38545 HAS SOUS 27460 HAS SOUPS 26492 WITH SCORE 26531.545
AT ITER 269 NEW BEST:: SOT 72028 SOS 39373 HAS SOPS 38373 HAS SOUS 27349 HAS SOUPS 26381 WITH SCORE 26420.373
AT ITER 273 NEW BEST:: SOT 70738 SOS 38071 HAS SOPS 37071 HAS SOUS 27310 HAS SOUPS 26342 WITH SCORE 26380.071
AT ITER 282 NEW BEST:: SOT 70731 SOS 38057 HAS SOPS 37057 HAS SOUS 27303 HAS SOUPS 26335 WITH SCORE 26373.057
AT ITER 288 NEW BEST:: SOT 70722 SOS 37861 HAS SOPS 36861 HAS SOUS 27290 HAS SOUPS 26322 WITH SCORE 26359.861
AT ITER 290 NEW BEST:: SOT 70721 SOS 37843 HAS SOPS 36843 HAS SOUS 27289 HAS SOUPS 26321 WITH SCORE 26358.843
AT ITER 294 NEW BEST:: SOT 70721 SOS 37738 HAS SOPS 36738 HAS SOUS 27286 HAS SOUPS 26318 WITH SCORE 26355.738
AT ITER 295 NEW BEST:: SOT 70827 SOS 37894 HAS SOPS 36844 HAS SOUS 27242 HAS SOUPS 26274 WITH SCORE 26311.894
AT ITER 296 NEW BEST:: SOT 70659 SOS 37726 HAS SOPS 36676 HAS SOUS 27074 HAS SOUPS 26106 WITH SCORE 26143.726
AT ITER 298 NEW BEST:: SOT 70581 SOS 37611 HAS SOPS 36561 HAS SOUS 27052 HAS SOUPS 26084 WITH SCORE 26121.611
AT ITER 301 NEW BEST:: SOT 70581 SOS 37596 HAS SOPS 36546 HAS SOUS 27037 HAS SOUPS 26069 WITH SCORE 26106.596
AT ITER 302 NEW BEST:: SOT 70486 SOS 37439 HAS SOPS 36389 HAS SOUS 26880 HAS SOUPS 25912 WITH SCORE 25949.439
AT ITER 305 NEW BEST:: SOT 70486 SOS 36759 HAS SOPS 35709 HAS SOUS 26880 HAS SOUPS 25912 WITH SCORE 25948.759
AT ITER 312 NEW BEST:: SOT 70936 SOS 37743 HAS SOPS 36433 HAS SOUS 26433 HAS SOUPS 25283 WITH SCORE 25320.743
AT ITER 319 NEW BEST:: SOT 70687 SOS 37490 HAS SOPS 36169 HAS SOUS 26294 HAS SOUPS 25133 WITH SCORE 25170.49
AT ITER 322 NEW BEST:: SOT 70684 SOS 37487 HAS SOPS 36166 HAS SOUS 26291 HAS SOUPS 25130 WITH SCORE 25167.487
AT ITER 328 NEW BEST:: SOT 70679 SOS 37410 HAS SOPS 36089 HAS SOUS 26272 HAS SOUPS 25111 WITH SCORE 25148.41
AT ITER 333 NEW BEST:: SOT 70591 SOS 37405 HAS SOPS 36001 HAS SOUS 26267 HAS SOUPS 25023 WITH SCORE 25060.405
AT ITER 338 NEW BEST:: SOT 70327 SOS 37034 HAS SOPS 35630 HAS SOUS 25896 HAS SOUPS 24652 WITH SCORE 24689.034
AT ITER 343 NEW BEST:: SOT 70275 SOS 37017 HAS SOPS 35467 HAS SOUS 25953 HAS SOUPS 24563 WITH SCORE 24600.017
AT ITER 345 NEW BEST:: SOT 70168 SOS 36950 HAS SOPS 35401 HAS SOUS 25886 HAS SOUPS 24497 WITH SCORE 24533.95
AT ITER 350 NEW BEST:: SOT 69864 SOS 36627 HAS SOPS 34936 HAS SOUS 25659 HAS SOUPS 24128 WITH SCORE 24164.627
AT ITER 351 NEW BEST:: SOT 69784 SOS 36306 HAS SOPS 34615 HAS SOUS 25510 HAS SOUPS 23979 WITH SCORE 24015.306
AT ITER 352 NEW BEST:: SOT 69718 SOS 36106 HAS SOPS 34451 HAS SOUS 25376 HAS SOUPS 23881 WITH SCORE 23917.106
AT ITER 358 NEW BEST:: SOT 69629 SOS 36017 HAS SOPS 34362 HAS SOUS 25319 HAS SOUPS 23824 WITH SCORE 23860.017
AT ITER 360 NEW BEST:: SOT 69401 SOS 35973 HAS SOPS 34134 HAS SOUS 25468 HAS SOUPS 23789 WITH SCORE 23824.973
AT ITER 362 NEW BEST:: SOT 69305 SOS 36090 HAS SOPS 34234 HAS SOUS 25441 HAS SOUPS 23745 WITH SCORE 23781.09
AT ITER 363 NEW BEST:: SOT 69273 SOS 36041 HAS SOPS 34185 HAS SOUS 25392 HAS SOUPS 23696 WITH SCORE 23732.041
AT ITER 364 NEW BEST:: SOT 69168 SOS 35902 HAS SOPS 34046 HAS SOUS 25287 HAS SOUPS 23591 WITH SCORE 23626.902
AT ITER 371 NEW BEST:: SOT 69066 SOS 35805 HAS SOPS 33910 HAS SOUS 25230 HAS SOUPS 23495 WITH SCORE 23530.805
AT ITER 372 NEW BEST:: SOT 68775 SOS 35584 HAS SOPS 33618 HAS SOUS 25137 HAS SOUPS 23331 WITH SCORE 23366.584
AT ITER 391 NEW BEST:: SOT 68773 SOS 35580 HAS SOPS 33614 HAS SOUS 25135 HAS SOUPS 23329 WITH SCORE 23364.58
AT ITER 393 NEW BEST:: SOT 68382 SOS 35252 HAS SOPS 33286 HAS SOUS 24848 HAS SOUPS 23042 WITH SCORE 23077.252
AT ITER 394 NEW BEST:: SOT 68326 SOS 35196 HAS SOPS 33230 HAS SOUS 24794 HAS SOUPS 22988 WITH SCORE 23023.196
AT ITER 401 NEW BEST:: SOT 68578 SOS 35448 HAS SOPS 33375 HAS SOUS 24611 HAS SOUPS 22734 WITH SCORE 22769.448
AT ITER 416 NEW BEST:: SOT 68556 SOS 35289 HAS SOPS 33216 HAS SOUS 24508 HAS SOUPS 22631 WITH SCORE 22666.289
AT ITER 425 NEW BEST:: SOT 68559 SOS 35301 HAS SOPS 33199 HAS SOUS 24520 HAS SOUPS 22614 WITH SCORE 22649.301
AT ITER 427 NEW BEST:: SOT 68546 SOS 35256 HAS SOPS 33154 HAS SOUS 24475 HAS SOUPS 22569 WITH SCORE 22604.256
AT ITER 431 NEW BEST:: SOT 67785 SOS 34660 HAS SOPS 32514 HAS SOUS 24188 HAS SOUPS 22238 WITH SCORE 22272.66
AT ITER 433 NEW BEST:: SOT 67711 SOS 34379 HAS SOPS 32233 HAS SOUS 24040 HAS SOUPS 22090 WITH SCORE 22124.379
AT ITER 441 NEW BEST:: SOT 67719 SOS 34386 HAS SOPS 32240 HAS SOUS 24038 HAS SOUPS 22088 WITH SCORE 22122.386
AT ITER 442 NEW BEST:: SOT 67692 SOS 34313 HAS SOPS 32195 HAS SOUS 23977 HAS SOUPS 22055 WITH SCORE 22089.313
AT ITER 444 NEW BEST:: SOT 67670 SOS 34169 HAS SOPS 32051 HAS SOUS 23879 HAS SOUPS 21957 WITH SCORE 21991.169
AT ITER 445 NEW BEST:: SOT 67646 SOS 34145 HAS SOPS 32037 HAS SOUS 23855 HAS SOUPS 21943 WITH SCORE 21977.145
AT ITER 458 NEW BEST:: SOT 67623 SOS 34144 HAS SOPS 32036 HAS SOUS 23836 HAS SOUPS 21924 WITH SCORE 21958.144
AT ITER 460 NEW BEST:: SOT 67623 SOS 34136 HAS SOPS 32028 HAS SOUS 23828 HAS SOUPS 21916 WITH SCORE 21950.136
AT ITER 471 NEW BEST:: SOT 67619 SOS 34163 HAS SOPS 32055 HAS SOUS 23825 HAS SOUPS 21913 WITH SCORE 21947.163
AT ITER 485 NEW BEST:: SOT 67461 SOS 33974 HAS SOPS 31884 HAS SOUS 23768 HAS SOUPS 21874 WITH SCORE 21907.974
AT ITER 490 NEW BEST:: SOT 67429 SOS 33976 HAS SOPS 31886 HAS SOUS 23736 HAS SOUPS 21842 WITH SCORE 21875.976
AT ITER 493 NEW BEST:: SOT 67429 SOS 33947 HAS SOPS 31857 HAS SOUS 23707 HAS SOUPS 21813 WITH SCORE 21846.947
AT ITER 495 NEW BEST:: SOT 67395 SOS 33873 HAS SOPS 31783 HAS SOUS 23653 HAS SOUPS 21759 WITH SCORE 21792.873
AT ITER 500 NEW BEST:: SOT 67350 SOS 33812 HAS SOPS 31722 HAS SOUS 23638 HAS SOUPS 21744 WITH SCORE 21777.812
AT ITER 505 NEW BEST:: SOT 67350 SOS 33527 HAS SOPS 31437 HAS SOUS 23594 HAS SOUPS 21700 WITH SCORE 21733.527
AT ITER 509 NEW BEST:: SOT 67350 SOS 33499 HAS SOPS 31423 HAS SOUS 23580 HAS SOUPS 21700 WITH SCORE 21733.499
AT ITER 512 NEW BEST:: SOT 67319 SOS 33467 HAS SOPS 31391 HAS SOUS 23548 HAS SOUPS 21668 WITH SCORE 21701.467
AT ITER 521 NEW BEST:: SOT 67066 SOS 33214 HAS SOPS 31138 HAS SOUS 23442 HAS SOUPS 21562 WITH SCORE 21595.214
AT ITER 525 NEW BEST:: SOT 67056 SOS 33174 HAS SOPS 31098 HAS SOUS 23412 HAS SOUPS 21532 WITH SCORE 21565.174
AT ITER 529 NEW BEST:: SOT 67047 SOS 33165 HAS SOPS 31051 HAS SOUS 23403 HAS SOUPS 21485 WITH SCORE 21518.165
AT ITER 532 NEW BEST:: SOT 67047 SOS 33092 HAS SOPS 30978 HAS SOUS 23403 HAS SOUPS 21485 WITH SCORE 21518.092
AT ITER 540 NEW BEST:: SOT 67047 SOS 33080 HAS SOPS 30978 HAS SOUS 23391 HAS SOUPS 21485 WITH SCORE 21518.08
AT ITER 551 NEW BEST:: SOT 67047 SOS 33063 HAS SOPS 30961 HAS SOUS 23391 HAS SOUPS 21485 WITH SCORE 21518.063
AT ITER 554 NEW BEST:: SOT 67047 SOS 32337 HAS SOPS 30235 HAS SOUS 23363 HAS SOUPS 21457 WITH SCORE 21489.337
AT ITER 555 NEW BEST:: SOT 67053 SOS 32135 HAS SOPS 30033 HAS SOUS 23231 HAS SOUPS 21325 WITH SCORE 21357.135
AT ITER 559 NEW BEST:: SOT 66861 SOS 31943 HAS SOPS 29713 HAS SOUS 23050 HAS SOUPS 21069 WITH SCORE 21100.943
AT ITER 562 NEW BEST:: SOT 66861 SOS 31889 HAS SOPS 29659 HAS SOUS 22996 HAS SOUPS 21015 WITH SCORE 21046.889
AT ITER 566 NEW BEST:: SOT 66897 SOS 31912 HAS SOPS 29682 HAS SOUS 22984 HAS SOUPS 21003 WITH SCORE 21034.912
AT ITER 574 NEW BEST:: SOT 66890 SOS 31891 HAS SOPS 29668 HAS SOUS 22963 HAS SOUPS 20989 WITH SCORE 21020.891
AT ITER 575 NEW BEST:: SOT 66890 SOS 31801 HAS SOPS 29583 HAS SOUS 22873 HAS SOUPS 20904 WITH SCORE 20935.801
AT ITER 579 NEW BEST:: SOT 66873 SOS 31732 HAS SOPS 29514 HAS SOUS 22804 HAS SOUPS 20835 WITH SCORE 20866.732
AT ITER 585 NEW BEST:: SOT 66873 SOS 31581 HAS SOPS 29438 HAS SOUS 22728 HAS SOUPS 20834 WITH SCORE 20865.581
AT ITER 596 NEW BEST:: SOT 66865 SOS 31573 HAS SOPS 29430 HAS SOUS 22724 HAS SOUPS 20830 WITH SCORE 20861.573
AT ITER 601 NEW BEST:: SOT 66831 SOS 31116 HAS SOPS 28973 HAS SOUS 22673 HAS SOUPS 20779 WITH SCORE 20810.116
AT ITER 609 NEW BEST:: SOT 66805 SOS 31064 HAS SOPS 28921 HAS SOUS 22621 HAS SOUPS 20727 WITH SCORE 20758.064
AT ITER 621 NEW BEST:: SOT 66786 SOS 30970 HAS SOPS 28827 HAS SOUS 22535 HAS SOUPS 20641 WITH SCORE 20671.97
AT ITER 622 NEW BEST:: SOT 66640 SOS 30652 HAS SOPS 28447 HAS SOUS 22451 HAS SOUPS 20495 WITH SCORE 20525.652
AT ITER 627 NEW BEST:: SOT 66622 SOS 30645 HAS SOPS 28429 HAS SOUS 22444 HAS SOUPS 20477 WITH SCORE 20507.645
AT ITER 635 NEW BEST:: SOT 66398 SOS 30210 HAS SOPS 27994 HAS SOUS 22165 HAS SOUPS 20198 WITH SCORE 20228.21
AT ITER 650 NEW BEST:: SOT 66333 SOS 30319 HAS SOPS 27985 HAS SOUS 22221 HAS SOUPS 20136 WITH SCORE 20166.319
AT ITER 658 NEW BEST:: SOT 66332 SOS 30294 HAS SOPS 27965 HAS SOUS 22214 HAS SOUPS 20134 WITH SCORE 20164.294
AT ITER 659 NEW BEST:: SOT 66332 SOS 30149 HAS SOPS 27820 HAS SOUS 22137 HAS SOUPS 20057 WITH SCORE 20087.149
AT ITER 666 NEW BEST:: SOT 66341 SOS 30167 HAS SOPS 27836 HAS SOUS 22124 HAS SOUPS 20043 WITH SCORE 20073.167
AT ITER 667 NEW BEST:: SOT 66287 SOS 30179 HAS SOPS 27848 HAS SOUS 22080 HAS SOUPS 19999 WITH SCORE 20029.179
AT ITER 674 NEW BEST:: SOT 66135 SOS 30219 HAS SOPS 27888 HAS SOUS 21971 HAS SOUPS 19890 WITH SCORE 19920.219
AT ITER 675 NEW BEST:: SOT 66123 SOS 30205 HAS SOPS 27874 HAS SOUS 21959 HAS SOUPS 19878 WITH SCORE 19908.205
AT ITER 677 NEW BEST:: SOT 66109 SOS 30191 HAS SOPS 27860 HAS SOUS 21945 HAS SOUPS 19864 WITH SCORE 19894.191
AT ITER 680 NEW BEST:: SOT 66018 SOS 30100 HAS SOPS 27768 HAS SOUS 21944 HAS SOUPS 19862 WITH SCORE 19892.1
AT ITER 691 NEW BEST:: SOT 66024 SOS 30006 HAS SOPS 27674 HAS SOUS 21925 HAS SOUPS 19843 WITH SCORE 19873.006
AT ITER 713 NEW BEST:: SOT 66019 SOS 29391 HAS SOPS 27059 HAS SOUS 21865 HAS SOUPS 19783 WITH SCORE 19812.391
AT ITER 715 NEW BEST:: SOT 66007 SOS 29355 HAS SOPS 27023 HAS SOUS 21841 HAS SOUPS 19759 WITH SCORE 19788.355
AT ITER 717 NEW BEST:: SOT 66005 SOS 29353 HAS SOPS 27021 HAS SOUS 21839 HAS SOUPS 19757 WITH SCORE 19786.353
AT ITER 726 NEW BEST:: SOT 65970 SOS 29374 HAS SOPS 27014 HAS SOUS 21832 HAS SOUPS 19722 WITH SCORE 19751.374
AT ITER 727 NEW BEST:: SOT 65941 SOS 29317 HAS SOPS 26943 HAS SOUS 21775 HAS SOUPS 19651 WITH SCORE 19680.317
AT ITER 744 NEW BEST:: SOT 65941 SOS 29303 HAS SOPS 26929 HAS SOUS 21768 HAS SOUPS 19644 WITH SCORE 19673.303
AT ITER 745 NEW BEST:: SOT 65921 SOS 29235 HAS SOPS 26861 HAS SOUS 21720 HAS SOUPS 19596 WITH SCORE 19625.235
AT ITER 753 NEW BEST:: SOT 65989 SOS 29216 HAS SOPS 26842 HAS SOUS 21701 HAS SOUPS 19577 WITH SCORE 19606.216
AT ITER 756 NEW BEST:: SOT 66268 SOS 29464 HAS SOPS 27090 HAS SOUS 21700 HAS SOUPS 19576 WITH SCORE 19605.464
AT ITER 758 NEW BEST:: SOT 66256 SOS 29448 HAS SOPS 27074 HAS SOUS 21688 HAS SOUPS 19564 WITH SCORE 19593.448
AT ITER 768 NEW BEST:: SOT 66253 SOS 29384 HAS SOPS 27009 HAS SOUS 21624 HAS SOUPS 19499 WITH SCORE 19528.384
AT ITER 770 NEW BEST:: SOT 66150 SOS 29281 HAS SOPS 26906 HAS SOUS 21526 HAS SOUPS 19401 WITH SCORE 19430.281
AT ITER 789 NEW BEST:: SOT 66158 SOS 29303 HAS SOPS 26928 HAS SOUS 21525 HAS SOUPS 19400 WITH SCORE 19429.303
AT ITER 795 NEW BEST:: SOT 66018 SOS 29137 HAS SOPS 26762 HAS SOUS 21359 HAS SOUPS 19234 WITH SCORE 19263.137
AT ITER 803 NEW BEST:: SOT 65803 SOS 28841 HAS SOPS 26466 HAS SOUS 21203 HAS SOUPS 19078 WITH SCORE 19106.841
AT ITER 810 NEW BEST:: SOT 65801 SOS 28839 HAS SOPS 26464 HAS SOUS 21203 HAS SOUPS 19078 WITH SCORE 19106.839
AT ITER 817 NEW BEST:: SOT 65706 SOS 28744 HAS SOPS 26369 HAS SOUS 21140 HAS SOUPS 19015 WITH SCORE 19043.744
AT ITER 830 NEW BEST:: SOT 65608 SOS 28484 HAS SOPS 26109 HAS SOUS 20986 HAS SOUPS 18861 WITH SCORE 18889.484
AT ITER 845 NEW BEST:: SOT 65608 SOS 28496 HAS SOPS 26087 HAS SOUS 20998 HAS SOUPS 18839 WITH SCORE 18867.496
AT ITER 863 NEW BEST:: SOT 67858 SOS 30383 HAS SOPS 27974 HAS SOUS 20913 HAS SOUPS 18754 WITH SCORE 18784.383
AT ITER 867 NEW BEST:: SOT 67752 SOS 30273 HAS SOPS 27864 HAS SOUS 20897 HAS SOUPS 18738 WITH SCORE 18768.273
AT ITER 891 NEW BEST:: SOT 67870 SOS 30391 HAS SOPS 27964 HAS SOUS 20841 HAS SOUPS 18682 WITH SCORE 18712.391
AT ITER 905 NEW BEST:: SOT 67860 SOS 30375 HAS SOPS 27948 HAS SOUS 20834 HAS SOUPS 18675 WITH SCORE 18705.375
AT ITER 910 NEW BEST:: SOT 67585 SOS 30100 HAS SOPS 27673 HAS SOUS 20809 HAS SOUPS 18650 WITH SCORE 18680.1
AT ITER 916 NEW BEST:: SOT 67545 SOS 30117 HAS SOPS 27690 HAS SOUS 20783 HAS SOUPS 18624 WITH SCORE 18654.117
AT ITER 922 NEW BEST:: SOT 67482 SOS 29897 HAS SOPS 27470 HAS SOUS 20699 HAS SOUPS 18540 WITH SCORE 18569.897
AT ITER 936 NEW BEST:: SOT 67409 SOS 29791 HAS SOPS 27364 HAS SOUS 20626 HAS SOUPS 18467 WITH SCORE 18496.791
AT ITER 953 NEW BEST:: SOT 67334 SOS 29703 HAS SOPS 27276 HAS SOUS 20556 HAS SOUPS 18397 WITH SCORE 18426.703
AT ITER 971 NEW BEST:: SOT 67308 SOS 29645 HAS SOPS 27244 HAS SOUS 20498 HAS SOUPS 18365 WITH SCORE 18394.645
AT ITER 980 NEW BEST:: SOT 67296 SOS 29609 HAS SOPS 27220 HAS SOUS 20480 HAS SOUPS 18353 WITH SCORE 18382.609
AT ITER 981 NEW BEST:: SOT 67144 SOS 29429 HAS SOPS 27041 HAS SOUS 20413 HAS SOUPS 18286 WITH SCORE 18315.429
AT ITER 985 NEW BEST:: SOT 67171 SOS 29456 HAS SOPS 27068 HAS SOUS 20409 HAS SOUPS 18282 WITH SCORE 18311.456
AT ITER 993 NEW BEST:: SOT 67144 SOS 29472 HAS SOPS 27090 HAS SOUS 20399 HAS SOUPS 18278 WITH SCORE 18307.472
AT ITER 997 NEW BEST:: SOT 67154 SOS 29492 HAS SOPS 27098 HAS SOUS 20409 HAS SOUPS 18276 WITH SCORE 18305.492
AT ITER 1006 NEW BEST:: SOT 67049 SOS 29249 HAS SOPS 26855 HAS SOUS 20232 HAS SOUPS 18099 WITH SCORE 18128.249
AT ITER 1008 NEW BEST:: SOT 66961 SOS 26943 HAS SOPS 24643 HAS SOUS 20026 HAS SOUPS 17987 WITH SCORE 18013.943
AT ITER 1015 NEW BEST:: SOT 66981 SOS 26850 HAS SOPS 24550 HAS SOUS 19932 HAS SOUPS 17893 WITH SCORE 17919.85
AT ITER 1021 NEW BEST:: SOT 67745 SOS 27748 HAS SOPS 25448 HAS SOUS 19893 HAS SOUPS 17854 WITH SCORE 17881.748
AT ITER 1025 NEW BEST:: SOT 67693 SOS 27726 HAS SOPS 25426 HAS SOUS 19853 HAS SOUPS 17814 WITH SCORE 17841.726
AT ITER 1062 NEW BEST:: SOT 67613 SOS 27742 HAS SOPS 25348 HAS SOUS 19901 HAS SOUPS 17768 WITH SCORE 17795.742
AT ITER 1063 NEW BEST:: SOT 67613 SOS 27717 HAS SOPS 25323 HAS SOUS 19876 HAS SOUPS 17743 WITH SCORE 17770.717
AT ITER 1078 NEW BEST:: SOT 67624 SOS 27770 HAS SOPS 25376 HAS SOUS 19875 HAS SOUPS 17742 WITH SCORE 17769.77
AT ITER 1083 NEW BEST:: SOT 67535 SOS 27763 HAS SOPS 25266 HAS SOUS 19893 HAS SOUPS 17657 WITH SCORE 17684.763
AT ITER 1086 NEW BEST:: SOT 67506 SOS 27734 HAS SOPS 25253 HAS SOUS 19864 HAS SOUPS 17644 WITH SCORE 17671.734
AT ITER 1088 NEW BEST:: SOT 67501 SOS 27653 HAS SOPS 25173 HAS SOUS 19845 HAS SOUPS 17626 WITH SCORE 17653.653
AT ITER 1090 NEW BEST:: SOT 67501 SOS 27650 HAS SOPS 25170 HAS SOUS 19845 HAS SOUPS 17626 WITH SCORE 17653.65
AT ITER 1094 NEW BEST:: SOT 67477 SOS 27618 HAS SOPS 25138 HAS SOUS 19821 HAS SOUPS 17602 WITH SCORE 17629.618
AT ITER 1098 NEW BEST:: SOT 67408 SOS 27585 HAS SOPS 25096 HAS SOUS 19761 HAS SOUPS 17533 WITH SCORE 17560.585
AT ITER 1101 NEW BEST:: SOT 67412 SOS 27593 HAS SOPS 25099 HAS SOUS 19760 HAS SOUPS 17527 WITH SCORE 17554.593
AT ITER 1110 NEW BEST:: SOT 67390 SOS 27571 HAS SOPS 25077 HAS SOUS 19727 HAS SOUPS 17494 WITH SCORE 17521.571
AT ITER 1113 NEW BEST:: SOT 67379 SOS 27544 HAS SOPS 25052 HAS SOUS 19724 HAS SOUPS 17492 WITH SCORE 17519.544
AT ITER 1124 NEW BEST:: SOT 67378 SOS 27543 HAS SOPS 25051 HAS SOUS 19723 HAS SOUPS 17491 WITH SCORE 17518.543
AT ITER 1129 NEW BEST:: SOT 67320 SOS 27485 HAS SOPS 24993 HAS SOUS 19646 HAS SOUPS 17414 WITH SCORE 17441.485
AT ITER 1138 NEW BEST:: SOT 67283 SOS 27448 HAS SOPS 24946 HAS SOUS 19619 HAS SOUPS 17377 WITH SCORE 17404.448
AT ITER 1142 NEW BEST:: SOT 67266 SOS 27431 HAS SOPS 24929 HAS SOUS 19602 HAS SOUPS 17360 WITH SCORE 17387.431
AT ITER 1146 NEW BEST:: SOT 67338 SOS 27561 HAS SOPS 24979 HAS SOUS 19603 HAS SOUPS 17310 WITH SCORE 17337.561
AT ITER 1151 NEW BEST:: SOT 67210 SOS 27390 HAS SOPS 24808 HAS SOUS 19458 HAS SOUPS 17165 WITH SCORE 17192.39
AT ITER 1163 NEW BEST:: SOT 67184 SOS 27377 HAS SOPS 24782 HAS SOUS 19458 HAS SOUPS 17152 WITH SCORE 17179.377
AT ITER 1176 NEW BEST:: SOT 67140 SOS 27289 HAS SOPS 24738 HAS SOUS 19370 HAS SOUPS 17108 WITH SCORE 17135.289
AT ITER 1181 NEW BEST:: SOT 67159 SOS 27274 HAS SOPS 24723 HAS SOUS 19355 HAS SOUPS 17093 WITH SCORE 17120.274
AT ITER 1189 NEW BEST:: SOT 67152 SOS 27267 HAS SOPS 24716 HAS SOUS 19348 HAS SOUPS 17086 WITH SCORE 17113.267
AT ITER 1224 NEW BEST:: SOT 67097 SOS 27152 HAS SOPS 24601 HAS SOUS 19233 HAS SOUPS 16971 WITH SCORE 16998.152
AT ITER 1240 NEW BEST:: SOT 67049 SOS 27116 HAS SOPS 24583 HAS SOUS 19197 HAS SOUPS 16953 WITH SCORE 16980.116
AT ITER 1258 NEW BEST:: SOT 67059 SOS 27064 HAS SOPS 24531 HAS SOUS 19194 HAS SOUPS 16950 WITH SCORE 16977.064
AT ITER 1263 NEW BEST:: SOT 67059 SOS 27096 HAS SOPS 24460 HAS SOUS 19269 HAS SOUPS 16922 WITH SCORE 16949.096
AT ITER 1271 NEW BEST:: SOT 67059 SOS 27046 HAS SOPS 24410 HAS SOUS 19264 HAS SOUPS 16917 WITH SCORE 16944.046
AT ITER 1272 NEW BEST:: SOT 67059 SOS 27006 HAS SOPS 24370 HAS SOUS 19249 HAS SOUPS 16902 WITH SCORE 16929.006
AT ITER 1292 NEW BEST:: SOT 66940 SOS 26899 HAS SOPS 24263 HAS SOUS 19151 HAS SOUPS 16804 WITH SCORE 16830.899
AT ITER 1293 NEW BEST:: SOT 66940 SOS 26894 HAS SOPS 24258 HAS SOUS 19146 HAS SOUPS 16799 WITH SCORE 16825.894
AT ITER 1309 NEW BEST:: SOT 66914 SOS 26868 HAS SOPS 24232 HAS SOUS 19104 HAS SOUPS 16757 WITH SCORE 16783.868
AT ITER 1319 NEW BEST:: SOT 66914 SOS 26906 HAS SOPS 24270 HAS SOUS 19090 HAS SOUPS 16743 WITH SCORE 16769.906
AT ITER 1321 NEW BEST:: SOT 66912 SOS 26900 HAS SOPS 24265 HAS SOUS 19087 HAS SOUPS 16740 WITH SCORE 16766.9
AT ITER 1322 NEW BEST:: SOT 66958 SOS 26883 HAS SOPS 24248 HAS SOUS 19076 HAS SOUPS 16729 WITH SCORE 16755.883
AT ITER 1326 NEW BEST:: SOT 66944 SOS 26911 HAS SOPS 24240 HAS SOUS 19100 HAS SOUPS 16717 WITH SCORE 16743.911
AT ITER 1331 NEW BEST:: SOT 66944 SOS 26866 HAS SOPS 24195 HAS SOUS 19082 HAS SOUPS 16699 WITH SCORE 16725.866
AT ITER 1338 NEW BEST:: SOT 66944 SOS 26851 HAS SOPS 24180 HAS SOUS 19067 HAS SOUPS 16684 WITH SCORE 16710.851
AT ITER 1339 NEW BEST:: SOT 66845 SOS 26637 HAS SOPS 23966 HAS SOUS 18915 HAS SOUPS 16532 WITH SCORE 16558.637
AT ITER 1349 NEW BEST:: SOT 66715 SOS 26488 HAS SOPS 23817 HAS SOUS 18784 HAS SOUPS 16401 WITH SCORE 16427.488
AT ITER 1353 NEW BEST:: SOT 66715 SOS 26487 HAS SOPS 23817 HAS SOUS 18783 HAS SOUPS 16401 WITH SCORE 16427.487
AT ITER 1362 NEW BEST:: SOT 66573 SOS 26012 HAS SOPS 23232 HAS SOUS 18728 HAS SOUPS 16285 WITH SCORE 16311.012
AT ITER 1373 NEW BEST:: SOT 66580 SOS 26015 HAS SOPS 23225 HAS SOUS 18732 HAS SOUPS 16279 WITH SCORE 16305.015
AT ITER 1374 NEW BEST:: SOT 66576 SOS 26047 HAS SOPS 23257 HAS SOUS 18678 HAS SOUPS 16225 WITH SCORE 16251.047
AT ITER 1378 NEW BEST:: SOT 66544 SOS 25982 HAS SOPS 23192 HAS SOUS 18620 HAS SOUPS 16167 WITH SCORE 16192.982
AT ITER 1380 NEW BEST:: SOT 66549 SOS 25987 HAS SOPS 23197 HAS SOUS 18611 HAS SOUPS 16158 WITH SCORE 16183.987
AT ITER 1395 NEW BEST:: SOT 66544 SOS 25982 HAS SOPS 23192 HAS SOUS 18606 HAS SOUPS 16153 WITH SCORE 16178.982
AT ITER 1396 NEW BEST:: SOT 66544 SOS 25958 HAS SOPS 23168 HAS SOUS 18582 HAS SOUPS 16129 WITH SCORE 16154.958
AT ITER 1401 NEW BEST:: SOT 66541 SOS 25952 HAS SOPS 23162 HAS SOUS 18581 HAS SOUPS 16128 WITH SCORE 16153.952
AT ITER 1414 NEW BEST:: SOT 66537 SOS 25944 HAS SOPS 23154 HAS SOUS 18572 HAS SOUPS 16119 WITH SCORE 16144.944
AT ITER 1417 NEW BEST:: SOT 66525 SOS 25926 HAS SOPS 23142 HAS SOUS 18560 HAS SOUPS 16113 WITH SCORE 16138.926
AT ITER 1427 NEW BEST:: SOT 66530 SOS 25821 HAS SOPS 23131 HAS SOUS 18455 HAS SOUPS 16102 WITH SCORE 16127.821
AT ITER 1462 NEW BEST:: SOT 66528 SOS 25816 HAS SOPS 23126 HAS SOUS 18452 HAS SOUPS 16099 WITH SCORE 16124.816
AT ITER 1467 NEW BEST:: SOT 66526 SOS 25715 HAS SOPS 23025 HAS SOUS 18448 HAS SOUPS 16095 WITH SCORE 16120.715
AT ITER 1484 NEW BEST:: SOT 66590 SOS 25786 HAS SOPS 23034 HAS SOUS 18434 HAS SOUPS 16042 WITH SCORE 16067.786
AT ITER 1486 NEW BEST:: SOT 66544 SOS 25717 HAS SOPS 22965 HAS SOUS 18388 HAS SOUPS 15996 WITH SCORE 16021.717
AT ITER 1489 NEW BEST:: SOT 66521 SOS 25628 HAS SOPS 22914 HAS SOUS 18327 HAS SOUPS 15973 WITH SCORE 15998.628
AT ITER 1510 NEW BEST:: SOT 66521 SOS 25627 HAS SOPS 22913 HAS SOUS 18326 HAS SOUPS 15972 WITH SCORE 15997.627
AT ITER 1511 NEW BEST:: SOT 66464 SOS 25605 HAS SOPS 22891 HAS SOUS 18304 HAS SOUPS 15950 WITH SCORE 15975.605
AT ITER 1521 NEW BEST:: SOT 66463 SOS 25644 HAS SOPS 22858 HAS SOUS 18374 HAS SOUPS 15948 WITH SCORE 15973.644
AT ITER 1523 NEW BEST:: SOT 66461 SOS 25642 HAS SOPS 22856 HAS SOUS 18372 HAS SOUPS 15946 WITH SCORE 15971.642
AT ITER 1570 NEW BEST:: SOT 66458 SOS 25639 HAS SOPS 22853 HAS SOUS 18369 HAS SOUPS 15943 WITH SCORE 15968.639
AT ITER 1579 NEW BEST:: SOT 66449 SOS 25562 HAS SOPS 22776 HAS SOUS 18323 HAS SOUPS 15897 WITH SCORE 15922.562
AT ITER 1592 NEW BEST:: SOT 66442 SOS 25555 HAS SOPS 22769 HAS SOUS 18316 HAS SOUPS 15890 WITH SCORE 15915.555
AT ITER 1594 NEW BEST:: SOT 66434 SOS 25547 HAS SOPS 22761 HAS SOUS 18316 HAS SOUPS 15890 WITH SCORE 15915.547
AT ITER 1606 NEW BEST:: SOT 66418 SOS 25495 HAS SOPS 22709 HAS SOUS 18280 HAS SOUPS 15854 WITH SCORE 15879.495
AT ITER 1610 NEW BEST:: SOT 66393 SOS 25484 HAS SOPS 22698 HAS SOUS 18269 HAS SOUPS 15843 WITH SCORE 15868.484
AT ITER 1611 NEW BEST:: SOT 66353 SOS 25373 HAS SOPS 22587 HAS SOUS 18229 HAS SOUPS 15803 WITH SCORE 15828.373
AT ITER 1620 NEW BEST:: SOT 66342 SOS 25362 HAS SOPS 22576 HAS SOUS 18228 HAS SOUPS 15802 WITH SCORE 15827.362
AT ITER 1625 NEW BEST:: SOT 66337 SOS 25352 HAS SOPS 22566 HAS SOUS 18223 HAS SOUPS 15797 WITH SCORE 15822.352
AT ITER 1631 NEW BEST:: SOT 66320 SOS 25335 HAS SOPS 22549 HAS SOUS 18218 HAS SOUPS 15792 WITH SCORE 15817.335
AT ITER 1634 NEW BEST:: SOT 66319 SOS 25330 HAS SOPS 22544 HAS SOUS 18217 HAS SOUPS 15791 WITH SCORE 15816.33
AT ITER 1640 NEW BEST:: SOT 66251 SOS 25166 HAS SOPS 22418 HAS SOUS 18121 HAS SOUPS 15733 WITH SCORE 15758.166
AT ITER 1643 NEW BEST:: SOT 66248 SOS 25163 HAS SOPS 22415 HAS SOUS 18118 HAS SOUPS 15730 WITH SCORE 15755.163
AT ITER 1661 NEW BEST:: SOT 66248 SOS 25119 HAS SOPS 22371 HAS SOUS 18114 HAS SOUPS 15726 WITH SCORE 15751.119
AT ITER 1667 NEW BEST:: SOT 66240 SOS 25091 HAS SOPS 22343 HAS SOUS 18086 HAS SOUPS 15698 WITH SCORE 15723.091
AT ITER 1668 NEW BEST:: SOT 66198 SOS 24994 HAS SOPS 22246 HAS SOUS 18031 HAS SOUPS 15643 WITH SCORE 15667.994
AT ITER 1681 NEW BEST:: SOT 66198 SOS 24944 HAS SOPS 22214 HAS SOUS 17999 HAS SOUPS 15629 WITH SCORE 15653.944
AT ITER 1694 NEW BEST:: SOT 66150 SOS 24820 HAS SOPS 22090 HAS SOUS 17927 HAS SOUPS 15557 WITH SCORE 15581.82
AT ITER 1724 NEW BEST:: SOT 66082 SOS 24344 HAS SOPS 21614 HAS SOUS 17859 HAS SOUPS 15489 WITH SCORE 15513.344
AT ITER 1752 NEW BEST:: SOT 66082 SOS 24338 HAS SOPS 21608 HAS SOUS 17853 HAS SOUPS 15483 WITH SCORE 15507.338
AT ITER 1767 NEW BEST:: SOT 66088 SOS 24344 HAS SOPS 21606 HAS SOUS 17859 HAS SOUPS 15481 WITH SCORE 15505.344
AT ITER 1772 NEW BEST:: SOT 66026 SOS 24280 HAS SOPS 21542 HAS SOUS 17795 HAS SOUPS 15417 WITH SCORE 15441.28
AT ITER 1782 NEW BEST:: SOT 65752 SOS 24213 HAS SOPS 21399 HAS SOUS 17783 HAS SOUPS 15356 WITH SCORE 15380.213
AT ITER 1787 NEW BEST:: SOT 65749 SOS 24210 HAS SOPS 21396 HAS SOUS 17780 HAS SOUPS 15353 WITH SCORE 15377.21
AT ITER 1793 NEW BEST:: SOT 65786 SOS 24163 HAS SOPS 21349 HAS SOUS 17756 HAS SOUPS 15329 WITH SCORE 15353.163
AT ITER 1801 NEW BEST:: SOT 65786 SOS 24083 HAS SOPS 21269 HAS SOUS 17753 HAS SOUPS 15326 WITH SCORE 15350.083
AT ITER 1829 NEW BEST:: SOT 65795 SOS 24077 HAS SOPS 21278 HAS SOUS 17732 HAS SOUPS 15320 WITH SCORE 15344.077
AT ITER 1851 NEW BEST:: SOT 65805 SOS 23955 HAS SOPS 21220 HAS SOUS 17614 HAS SOUPS 15266 WITH SCORE 15289.955
AT ITER 1858 NEW BEST:: SOT 65816 SOS 24039 HAS SOPS 21304 HAS SOUS 17601 HAS SOUPS 15253 WITH SCORE 15277.039
AT ITER 1861 NEW BEST:: SOT 65778 SOS 24012 HAS SOPS 21266 HAS SOUS 17574 HAS SOUPS 15215 WITH SCORE 15239.012
AT ITER 1867 NEW BEST:: SOT 65754 SOS 23928 HAS SOPS 21182 HAS SOUS 17562 HAS SOUPS 15203 WITH SCORE 15226.928
AT ITER 1875 NEW BEST:: SOT 65673 SOS 23896 HAS SOPS 21150 HAS SOUS 17524 HAS SOUPS 15165 WITH SCORE 15188.896
AT ITER 1890 NEW BEST:: SOT 65673 SOS 23896 HAS SOPS 21147 HAS SOUS 17518 HAS SOUPS 15156 WITH SCORE 15179.896
AT ITER 1897 NEW BEST:: SOT 65972 SOS 23738 HAS SOPS 20989 HAS SOUS 17457 HAS SOUPS 15095 WITH SCORE 15118.738
AT ITER 1906 NEW BEST:: SOT 65948 SOS 23711 HAS SOPS 20954 HAS SOUS 17441 HAS SOUPS 15071 WITH SCORE 15094.711
AT ITER 1935 NEW BEST:: SOT 65924 SOS 23617 HAS SOPS 20854 HAS SOUS 17363 HAS SOUPS 14987 WITH SCORE 15010.617
AT ITER 1947 NEW BEST:: SOT 65935 SOS 23602 HAS SOPS 20839 HAS SOUS 17348 HAS SOUPS 14972 WITH SCORE 14995.602
AT ITER 1955 NEW BEST:: SOT 65934 SOS 23601 HAS SOPS 20838 HAS SOUS 17347 HAS SOUPS 14971 WITH SCORE 14994.601
AT ITER 1969 NEW BEST:: SOT 65949 SOS 23603 HAS SOPS 20840 HAS SOUS 17341 HAS SOUPS 14965 WITH SCORE 14988.603
AT ITER 1979 NEW BEST:: SOT 65994 SOS 23644 HAS SOPS 20839 HAS SOUS 17378 HAS SOUPS 14960 WITH SCORE 14983.644
AT ITER 1980 NEW BEST:: SOT 65960 SOS 23542 HAS SOPS 20737 HAS SOUS 17344 HAS SOUPS 14926 WITH SCORE 14949.542
AT ITER 1983 NEW BEST:: SOT 65957 SOS 23539 HAS SOPS 20720 HAS SOUS 17341 HAS SOUPS 14909 WITH SCORE 14932.539
AT ITER 1989 NEW BEST:: SOT 65944 SOS 23515 HAS SOPS 20694 HAS SOUS 17317 HAS SOUPS 14883 WITH SCORE 14906.515
AT ITER 1997 NEW BEST:: SOT 65944 SOS 23477 HAS SOPS 20656 HAS SOUS 17298 HAS SOUPS 14864 WITH SCORE 14887.477
AT ITER 2008 NEW BEST:: SOT 65928 SOS 23431 HAS SOPS 20610 HAS SOUS 17272 HAS SOUPS 14838 WITH SCORE 14861.431
AT ITER 2034 NEW BEST:: SOT 65923 SOS 23421 HAS SOPS 20605 HAS SOUS 17262 HAS SOUPS 14833 WITH SCORE 14856.421
AT ITER 2066 NEW BEST:: SOT 65827 SOS 23293 HAS SOPS 20445 HAS SOUS 17166 HAS SOUPS 14705 WITH SCORE 14728.293
AT ITER 2074 NEW BEST:: SOT 65764 SOS 23188 HAS SOPS 20363 HAS SOUS 17103 HAS SOUPS 14665 WITH SCORE 14688.188
AT ITER 2090 NEW BEST:: SOT 65768 SOS 23192 HAS SOPS 20363 HAS SOUS 17103 HAS SOUPS 14661 WITH SCORE 14684.192
AT ITER 2105 NEW BEST:: SOT 65768 SOS 23152 HAS SOPS 20323 HAS SOUS 17083 HAS SOUPS 14641 WITH SCORE 14664.152
AT ITER 2108 NEW BEST:: SOT 65749 SOS 23133 HAS SOPS 20285 HAS SOUS 17064 HAS SOUPS 14603 WITH SCORE 14626.133
AT ITER 2117 NEW BEST:: SOT 65749 SOS 23188 HAS SOPS 20340 HAS SOUS 17054 HAS SOUPS 14593 WITH SCORE 14616.188
AT ITER 2148 NEW BEST:: SOT 65728 SOS 23129 HAS SOPS 20281 HAS SOUS 17031 HAS SOUPS 14570 WITH SCORE 14593.129
AT ITER 2156 NEW BEST:: SOT 65691 SOS 23092 HAS SOPS 20244 HAS SOUS 16994 HAS SOUPS 14533 WITH SCORE 14556.092
AT ITER 2170 NEW BEST:: SOT 65687 SOS 23088 HAS SOPS 20240 HAS SOUS 16990 HAS SOUPS 14529 WITH SCORE 14552.088
AT ITER 2180 NEW BEST:: SOT 65670 SOS 23057 HAS SOPS 20209 HAS SOUS 16973 HAS SOUPS 14512 WITH SCORE 14535.057
AT ITER 2185 NEW BEST:: SOT 65382 SOS 22745 HAS SOPS 19897 HAS SOUS 16925 HAS SOUPS 14464 WITH SCORE 14486.745
AT ITER 2189 NEW BEST:: SOT 65337 SOS 22706 HAS SOPS 19812 HAS SOUS 16905 HAS SOUPS 14398 WITH SCORE 14420.706
AT ITER 2194 NEW BEST:: SOT 65337 SOS 22682 HAS SOPS 19788 HAS SOUS 16900 HAS SOUPS 14393 WITH SCORE 14415.682
AT ITER 2203 NEW BEST:: SOT 65323 SOS 22668 HAS SOPS 19774 HAS SOUS 16886 HAS SOUPS 14379 WITH SCORE 14401.668
AT ITER 2206 NEW BEST:: SOT 65322 SOS 22664 HAS SOPS 19770 HAS SOUS 16882 HAS SOUPS 14375 WITH SCORE 14397.664
AT ITER 2224 NEW BEST:: SOT 65316 SOS 22658 HAS SOPS 19760 HAS SOUS 16878 HAS SOUPS 14367 WITH SCORE 14389.658
AT ITER 2230 NEW BEST:: SOT 65304 SOS 22612 HAS SOPS 19730 HAS SOUS 16844 HAS SOUPS 14349 WITH SCORE 14371.612
AT ITER 2239 NEW BEST:: SOT 65251 SOS 22581 HAS SOPS 19699 HAS SOUS 16831 HAS SOUPS 14336 WITH SCORE 14358.581
AT ITER 2240 NEW BEST:: SOT 65251 SOS 22612 HAS SOPS 19666 HAS SOUS 16862 HAS SOUPS 14303 WITH SCORE 14325.612
AT ITER 2246 NEW BEST:: SOT 65271 SOS 22786 HAS SOPS 19820 HAS SOUS 16872 HAS SOUPS 14293 WITH SCORE 14315.786
AT ITER 2251 NEW BEST:: SOT 65292 SOS 22771 HAS SOPS 19805 HAS SOUS 16861 HAS SOUPS 14282 WITH SCORE 14304.771
AT ITER 2252 NEW BEST:: SOT 65292 SOS 22729 HAS SOPS 19763 HAS SOUS 16861 HAS SOUPS 14282 WITH SCORE 14304.729
AT ITER 2261 NEW BEST:: SOT 65289 SOS 22732 HAS SOPS 19766 HAS SOUS 16860 HAS SOUPS 14281 WITH SCORE 14303.732
AT ITER 2262 NEW BEST:: SOT 65980 SOS 23209 HAS SOPS 20243 HAS SOUS 16822 HAS SOUPS 14243 WITH SCORE 14266.209
AT ITER 2277 NEW BEST:: SOT 65978 SOS 23235 HAS SOPS 20272 HAS SOUS 16808 HAS SOUPS 14232 WITH SCORE 14255.235
AT ITER 2303 NEW BEST:: SOT 65972 SOS 23228 HAS SOPS 20254 HAS SOUS 16807 HAS SOUPS 14220 WITH SCORE 14243.228
AT ITER 2310 NEW BEST:: SOT 65966 SOS 23248 HAS SOPS 20254 HAS SOUS 16821 HAS SOUPS 14214 WITH SCORE 14237.248
AT ITER 2317 NEW BEST:: SOT 65965 SOS 23177 HAS SOPS 20221 HAS SOUS 16727 HAS SOUPS 14158 WITH SCORE 14181.177
AT ITER 2350 NEW BEST:: SOT 65914 SOS 23143 HAS SOPS 20187 HAS SOUS 16690 HAS SOUPS 14121 WITH SCORE 14144.143
AT ITER 2376 NEW BEST:: SOT 65914 SOS 23142 HAS SOPS 20187 HAS SOUS 16689 HAS SOUPS 14121 WITH SCORE 14144.142
AT ITER 2383 NEW BEST:: SOT 65907 SOS 23128 HAS SOPS 20173 HAS SOUS 16682 HAS SOUPS 14114 WITH SCORE 14137.128
AT ITER 2387 NEW BEST:: SOT 65863 SOS 23058 HAS SOPS 20103 HAS SOUS 16666 HAS SOUPS 14098 WITH SCORE 14121.058
AT ITER 2419 NEW BEST:: SOT 65701 SOS 23084 HAS SOPS 20129 HAS SOUS 16600 HAS SOUPS 14032 WITH SCORE 14055.084
AT ITER 2426 NEW BEST:: SOT 65701 SOS 23223 HAS SOPS 20220 HAS SOUS 16642 HAS SOUPS 14026 WITH SCORE 14049.223
AT ITER 2439 NEW BEST:: SOT 65783 SOS 23272 HAS SOPS 20269 HAS SOUS 16638 HAS SOUPS 14022 WITH SCORE 14045.272
AT ITER 2452 NEW BEST:: SOT 65779 SOS 23268 HAS SOPS 20265 HAS SOUS 16634 HAS SOUPS 14018 WITH SCORE 14041.268
AT ITER 2461 NEW BEST:: SOT 65479 SOS 22968 HAS SOPS 19965 HAS SOUS 16634 HAS SOUPS 14018 WITH SCORE 14040.968
AT ITER 2472 NEW BEST:: SOT 65470 SOS 22923 HAS SOPS 19926 HAS SOUS 16606 HAS SOUPS 13996 WITH SCORE 14018.923
AT ITER 2505 NEW BEST:: SOT 65468 SOS 22921 HAS SOPS 19926 HAS SOUS 16604 HAS SOUPS 13996 WITH SCORE 14018.921
AT ITER 2517 NEW BEST:: SOT 65463 SOS 22929 HAS SOPS 19921 HAS SOUS 16594 HAS SOUPS 13978 WITH SCORE 14000.929
AT ITER 2518 NEW BEST:: SOT 65443 SOS 22918 HAS SOPS 19897 HAS SOUS 16590 HAS SOUPS 13961 WITH SCORE 13983.918
AT ITER 2521 NEW BEST:: SOT 65376 SOS 23037 HAS SOPS 20016 HAS SOUS 16582 HAS SOUPS 13953 WITH SCORE 13976.037
AT ITER 2570 NEW BEST:: SOT 65299 SOS 22871 HAS SOPS 19850 HAS SOUS 16568 HAS SOUPS 13939 WITH SCORE 13961.871
AT ITER 2596 NEW BEST:: SOT 65292 SOS 22850 HAS SOPS 19829 HAS SOUS 16547 HAS SOUPS 13918 WITH SCORE 13940.85
AT ITER 2598 NEW BEST:: SOT 65292 SOS 22826 HAS SOPS 19805 HAS SOUS 16523 HAS SOUPS 13894 WITH SCORE 13916.826
AT ITER 2602 NEW BEST:: SOT 65266 SOS 22789 HAS SOPS 19779 HAS SOUS 16497 HAS SOUPS 13879 WITH SCORE 13901.789
AT ITER 2617 NEW BEST:: SOT 65532 SOS 23119 HAS SOPS 20109 HAS SOUS 16474 HAS SOUPS 13856 WITH SCORE 13879.119
AT ITER 2618 NEW BEST:: SOT 65492 SOS 23039 HAS SOPS 20049 HAS SOUS 16434 HAS SOUPS 13836 WITH SCORE 13859.039
AT ITER 2622 NEW BEST:: SOT 65463 SOS 23007 HAS SOPS 20017 HAS SOUS 16389 HAS SOUPS 13791 WITH SCORE 13814.007
AT ITER 2627 NEW BEST:: SOT 65460 SOS 22963 HAS SOPS 19973 HAS SOUS 16383 HAS SOUPS 13785 WITH SCORE 13807.963
AT ITER 2636 NEW BEST:: SOT 65456 SOS 22959 HAS SOPS 19969 HAS SOUS 16379 HAS SOUPS 13781 WITH SCORE 13803.959
AT ITER 2639 NEW BEST:: SOT 65449 SOS 22952 HAS SOPS 19963 HAS SOUS 16372 HAS SOUPS 13775 WITH SCORE 13797.952
AT ITER 2664 NEW BEST:: SOT 65438 SOS 22941 HAS SOPS 19952 HAS SOUS 16371 HAS SOUPS 13774 WITH SCORE 13796.941
AT ITER 2671 NEW BEST:: SOT 65415 SOS 22917 HAS SOPS 19928 HAS SOUS 16334 HAS SOUPS 13737 WITH SCORE 13759.917
AT ITER 2690 NEW BEST:: SOT 65269 SOS 22406 HAS SOPS 19490 HAS SOUS 16235 HAS SOUPS 13657 WITH SCORE 13679.406
AT ITER 2691 NEW BEST:: SOT 65229 SOS 22330 HAS SOPS 19414 HAS SOUS 16199 HAS SOUPS 13621 WITH SCORE 13643.33
AT ITER 2695 NEW BEST:: SOT 65153 SOS 22216 HAS SOPS 19300 HAS SOUS 16123 HAS SOUPS 13545 WITH SCORE 13567.216
AT ITER 2705 NEW BEST:: SOT 65146 SOS 22167 HAS SOPS 19251 HAS SOUS 16103 HAS SOUPS 13525 WITH SCORE 13547.167
AT ITER 2719 NEW BEST:: SOT 64996 SOS 22002 HAS SOPS 19158 HAS SOUS 16031 HAS SOUPS 13507 WITH SCORE 13529.002
AT ITER 2720 NEW BEST:: SOT 64983 SOS 22023 HAS SOPS 19126 HAS SOUS 16057 HAS SOUPS 13480 WITH SCORE 13502.023
AT ITER 2726 NEW BEST:: SOT 64983 SOS 22018 HAS SOPS 19121 HAS SOUS 16057 HAS SOUPS 13480 WITH SCORE 13502.018
AT ITER 2739 NEW BEST:: SOT 64980 SOS 21757 HAS SOPS 18860 HAS SOUS 16030 HAS SOUPS 13453 WITH SCORE 13474.757
AT ITER 2753 NEW BEST:: SOT 64955 SOS 21732 HAS SOPS 18810 HAS SOUS 16005 HAS SOUPS 13403 WITH SCORE 13424.732
AT ITER 2764 NEW BEST:: SOT 64951 SOS 21730 HAS SOPS 18808 HAS SOUS 16001 HAS SOUPS 13399 WITH SCORE 13420.73
AT ITER 2770 NEW BEST:: SOT 64881 SOS 21612 HAS SOPS 18690 HAS SOUS 15956 HAS SOUPS 13354 WITH SCORE 13375.612
AT ITER 2780 NEW BEST:: SOT 64850 SOS 21581 HAS SOPS 18659 HAS SOUS 15925 HAS SOUPS 13323 WITH SCORE 13344.581
AT ITER 2801 NEW BEST:: SOT 64850 SOS 21546 HAS SOPS 18624 HAS SOUS 15901 HAS SOUPS 13299 WITH SCORE 13320.546
AT ITER 2818 NEW BEST:: SOT 64853 SOS 21545 HAS SOPS 18620 HAS SOUS 15893 HAS SOUPS 13288 WITH SCORE 13309.545
AT ITER 2821 NEW BEST:: SOT 64839 SOS 21531 HAS SOPS 18599 HAS SOUS 15886 HAS SOUPS 13274 WITH SCORE 13295.531
AT ITER 2831 NEW BEST:: SOT 64835 SOS 21570 HAS SOPS 18595 HAS SOUS 15925 HAS SOUPS 13270 WITH SCORE 13291.57
AT ITER 2832 NEW BEST:: SOT 64865 SOS 21594 HAS SOPS 18604 HAS SOUS 15923 HAS SOUPS 13268 WITH SCORE 13289.594
AT ITER 2855 NEW BEST:: SOT 64885 SOS 21591 HAS SOPS 18601 HAS SOUS 15918 HAS SOUPS 13263 WITH SCORE 13284.591
AT ITER 2860 NEW BEST:: SOT 64879 SOS 21579 HAS SOPS 18589 HAS SOUS 15912 HAS SOUPS 13257 WITH SCORE 13278.579
AT ITER 2867 NEW BEST:: SOT 64883 SOS 21548 HAS SOPS 18588 HAS SOUS 15881 HAS SOUPS 13256 WITH SCORE 13277.548
AT ITER 2868 NEW BEST:: SOT 64875 SOS 21536 HAS SOPS 18576 HAS SOUS 15873 HAS SOUPS 13248 WITH SCORE 13269.536
AT ITER 2884 NEW BEST:: SOT 64889 SOS 21534 HAS SOPS 18574 HAS SOUS 15871 HAS SOUPS 13246 WITH SCORE 13267.534
AT ITER 2924 NEW BEST:: SOT 64969 SOS 21491 HAS SOPS 18569 HAS SOUS 15844 HAS SOUPS 13238 WITH SCORE 13259.491
AT ITER 2937 NEW BEST:: SOT 64923 SOS 21422 HAS SOPS 18500 HAS SOUS 15798 HAS SOUPS 13192 WITH SCORE 13213.422
AT ITER 2941 NEW BEST:: SOT 64917 SOS 21416 HAS SOPS 18494 HAS SOUS 15796 HAS SOUPS 13190 WITH SCORE 13211.416
AT ITER 2955 NEW BEST:: SOT 64908 SOS 21381 HAS SOPS 18459 HAS SOUS 15778 HAS SOUPS 13172 WITH SCORE 13193.381
AT ITER 2977 NEW BEST:: SOT 64908 SOS 20621 HAS SOPS 17623 HAS SOUS 15778 HAS SOUPS 13096 WITH SCORE 13116.621
AT ITER 2978 NEW BEST:: SOT 64922 SOS 20444 HAS SOPS 17517 HAS SOUS 15662 HAS SOUPS 13051 WITH SCORE 13071.444
AT ITER 2993 NEW BEST:: SOT 64878 SOS 20362 HAS SOPS 17435 HAS SOUS 15634 HAS SOUPS 13023 WITH SCORE 13043.362
AT ITER 3000 NEW BEST:: SOT 64838 SOS 20294 HAS SOPS 17327 HAS SOUS 15566 HAS SOUPS 12915 WITH SCORE 12935.294
AT ITER 3011 NEW BEST:: SOT 64802 SOS 20258 HAS SOPS 17255 HAS SOUS 15566 HAS SOUPS 12879 WITH SCORE 12899.258
AT ITER 3098 NEW BEST:: SOT 64856 SOS 20278 HAS SOPS 17275 HAS SOUS 15506 HAS SOUPS 12819 WITH SCORE 12839.278
AT ITER 3108 NEW BEST:: SOT 64352 SOS 19886 HAS SOPS 16827 HAS SOUS 15562 HAS SOUPS 12819 WITH SCORE 12838.886
AT ITER 3112 NEW BEST:: SOT 64352 SOS 19882 HAS SOPS 16827 HAS SOUS 15554 HAS SOUPS 12815 WITH SCORE 12834.882
AT ITER 3115 NEW BEST:: SOT 64339 SOS 19871 HAS SOPS 16808 HAS SOUS 15549 HAS SOUPS 12802 WITH SCORE 12821.871
AT ITER 3131 NEW BEST:: SOT 64339 SOS 19863 HAS SOPS 16804 HAS SOUS 15545 HAS SOUPS 12802 WITH SCORE 12821.863
AT ITER 3154 NEW BEST:: SOT 64339 SOS 19849 HAS SOPS 16790 HAS SOUS 15538 HAS SOUPS 12795 WITH SCORE 12814.849
AT ITER 3158 NEW BEST:: SOT 64315 SOS 19796 HAS SOPS 16765 HAS SOUS 15491 HAS SOUPS 12776 WITH SCORE 12795.796
AT ITER 3219 NEW BEST:: SOT 64315 SOS 19780 HAS SOPS 16765 HAS SOUS 15459 HAS SOUPS 12760 WITH SCORE 12779.78
AT ITER 3243 NEW BEST:: SOT 64311 SOS 19772 HAS SOPS 16757 HAS SOUS 15455 HAS SOUPS 12756 WITH SCORE 12775.772
AT ITER 3252 NEW BEST:: SOT 64284 SOS 19759 HAS SOPS 16744 HAS SOUS 15440 HAS SOUPS 12741 WITH SCORE 12760.759
AT ITER 3254 NEW BEST:: SOT 64251 SOS 19697 HAS SOPS 16707 HAS SOUS 15407 HAS SOUPS 12733 WITH SCORE 12752.697
AT ITER 3295 NEW BEST:: SOT 64219 SOS 19665 HAS SOPS 16655 HAS SOUS 15394 HAS SOUPS 12700 WITH SCORE 12719.665
AT ITER 3318 NEW BEST:: SOT 64219 SOS 19664 HAS SOPS 16653 HAS SOUS 15393 HAS SOUPS 12698 WITH SCORE 12717.664
AT ITER 3319 NEW BEST:: SOT 64183 SOS 19606 HAS SOPS 16595 HAS SOUS 15346 HAS SOUPS 12651 WITH SCORE 12670.606
AT ITER 3320 NEW BEST:: SOT 64180 SOS 19591 HAS SOPS 16580 HAS SOUS 15343 HAS SOUPS 12648 WITH SCORE 12667.591
AT ITER 3324 NEW BEST:: SOT 64181 SOS 19572 HAS SOPS 16561 HAS SOUS 15329 HAS SOUPS 12634 WITH SCORE 12653.572
AT ITER 3339 NEW BEST:: SOT 64143 SOS 19517 HAS SOPS 16485 HAS SOUS 15291 HAS SOUPS 12575 WITH SCORE 12594.517
AT ITER 3353 NEW BEST:: SOT 64142 SOS 19507 HAS SOPS 16475 HAS SOUS 15282 HAS SOUPS 12566 WITH SCORE 12585.507
AT ITER 3373 NEW BEST:: SOT 63945 SOS 19253 HAS SOPS 16221 HAS SOUS 15193 HAS SOUPS 12477 WITH SCORE 12496.253
AT ITER 3378 NEW BEST:: SOT 63949 SOS 19240 HAS SOPS 16208 HAS SOUS 15193 HAS SOUPS 12477 WITH SCORE 12496.24
AT ITER 3385 NEW BEST:: SOT 63953 SOS 19242 HAS SOPS 16210 HAS SOUS 15153 HAS SOUPS 12437 WITH SCORE 12456.242
AT ITER 3398 NEW BEST:: SOT 63951 SOS 19207 HAS SOPS 16187 HAS SOUS 15131 HAS SOUPS 12427 WITH SCORE 12446.207
AT ITER 3423 NEW BEST:: SOT 63920 SOS 19145 HAS SOPS 16125 HAS SOUS 15100 HAS SOUPS 12396 WITH SCORE 12415.145
AT ITER 3442 NEW BEST:: SOT 63904 SOS 19166 HAS SOPS 16146 HAS SOUS 15093 HAS SOUPS 12389 WITH SCORE 12408.166
AT ITER 3448 NEW BEST:: SOT 63904 SOS 19125 HAS SOPS 16133 HAS SOUS 15052 HAS SOUPS 12376 WITH SCORE 12395.125
AT ITER 3483 NEW BEST:: SOT 63957 SOS 19168 HAS SOPS 16176 HAS SOUS 15050 HAS SOUPS 12374 WITH SCORE 12393.168
AT ITER 3486 NEW BEST:: SOT 63954 SOS 19118 HAS SOPS 16126 HAS SOUS 14998 HAS SOUPS 12322 WITH SCORE 12341.118
AT ITER 3498 NEW BEST:: SOT 63948 SOS 19114 HAS SOPS 16116 HAS SOUS 14992 HAS SOUPS 12310 WITH SCORE 12329.114
AT ITER 3504 NEW BEST:: SOT 63940 SOS 19106 HAS SOPS 16108 HAS SOUS 14984 HAS SOUPS 12302 WITH SCORE 12321.106
AT ITER 3563 NEW BEST:: SOT 63927 SOS 19085 HAS SOPS 16087 HAS SOUS 14971 HAS SOUPS 12289 WITH SCORE 12308.085
AT ITER 3564 NEW BEST:: SOT 63773 SOS 18896 HAS SOPS 15898 HAS SOUS 14950 HAS SOUPS 12268 WITH SCORE 12286.896
AT ITER 3575 NEW BEST:: SOT 63763 SOS 18856 HAS SOPS 15858 HAS SOUS 14930 HAS SOUPS 12248 WITH SCORE 12266.856
AT ITER 3606 NEW BEST:: SOT 63771 SOS 18854 HAS SOPS 15856 HAS SOUS 14929 HAS SOUPS 12247 WITH SCORE 12265.854
AT ITER 3608 NEW BEST:: SOT 63771 SOS 18844 HAS SOPS 15852 HAS SOUS 14919 HAS SOUPS 12243 WITH SCORE 12261.844
AT ITER 3644 NEW BEST:: SOT 63778 SOS 18852 HAS SOPS 15856 HAS SOUS 14911 HAS SOUPS 12235 WITH SCORE 12253.852
AT ITER 3645 NEW BEST:: SOT 63778 SOS 18850 HAS SOPS 15854 HAS SOUS 14911 HAS SOUPS 12235 WITH SCORE 12253.85
AT ITER 3661 NEW BEST:: SOT 63775 SOS 18844 HAS SOPS 15848 HAS SOUS 14908 HAS SOUPS 12232 WITH SCORE 12250.844
AT ITER 3675 NEW BEST:: SOT 63768 SOS 18856 HAS SOPS 15842 HAS SOUS 14901 HAS SOUPS 12207 WITH SCORE 12225.856
AT ITER 3693 NEW BEST:: SOT 63757 SOS 18845 HAS SOPS 15831 HAS SOUS 14890 HAS SOUPS 12196 WITH SCORE 12214.845
AT ITER 3698 NEW BEST:: SOT 63755 SOS 18843 HAS SOPS 15829 HAS SOUS 14890 HAS SOUPS 12196 WITH SCORE 12214.843
AT ITER 3727 NEW BEST:: SOT 63759 SOS 18835 HAS SOPS 15825 HAS SOUS 14888 HAS SOUPS 12196 WITH SCORE 12214.835
AT ITER 3731 NEW BEST:: SOT 63758 SOS 18833 HAS SOPS 15823 HAS SOUS 14887 HAS SOUPS 12195 WITH SCORE 12213.833
AT ITER 3733 NEW BEST:: SOT 63745 SOS 18833 HAS SOPS 15810 HAS SOUS 14887 HAS SOUPS 12182 WITH SCORE 12200.833
AT ITER 3736 NEW BEST:: SOT 63735 SOS 18786 HAS SOPS 15763 HAS SOUS 14835 HAS SOUPS 12130 WITH SCORE 12148.786
AT ITER 3755 NEW BEST:: SOT 63743 SOS 18750 HAS SOPS 15727 HAS SOUS 14835 HAS SOUPS 12130 WITH SCORE 12148.75
AT ITER 3762 NEW BEST:: SOT 63749 SOS 18830 HAS SOPS 15695 HAS SOUS 14909 HAS SOUPS 12092 WITH SCORE 12110.83
AT ITER 3778 NEW BEST:: SOT 63749 SOS 18826 HAS SOPS 15691 HAS SOUS 14905 HAS SOUPS 12088 WITH SCORE 12106.826
AT ITER 3783 NEW BEST:: SOT 63749 SOS 18805 HAS SOPS 15670 HAS SOUS 14884 HAS SOUPS 12067 WITH SCORE 12085.805
AT ITER 3811 NEW BEST:: SOT 63737 SOS 18795 HAS SOPS 15660 HAS SOUS 14872 HAS SOUPS 12055 WITH SCORE 12073.795
AT ITER 3826 NEW BEST:: SOT 63725 SOS 18787 HAS SOPS 15652 HAS SOUS 14872 HAS SOUPS 12055 WITH SCORE 12073.787
AT ITER 3832 NEW BEST:: SOT 63723 SOS 18785 HAS SOPS 15650 HAS SOUS 14870 HAS SOUPS 12053 WITH SCORE 12071.785
AT ITER 3834 NEW BEST:: SOT 63717 SOS 18779 HAS SOPS 15638 HAS SOUS 14870 HAS SOUPS 12047 WITH SCORE 12065.779
AT ITER 3840 NEW BEST:: SOT 63717 SOS 18773 HAS SOPS 15632 HAS SOUS 14870 HAS SOUPS 12047 WITH SCORE 12065.773
AT ITER 3850 NEW BEST:: SOT 63714 SOS 18770 HAS SOPS 15626 HAS SOUS 14867 HAS SOUPS 12041 WITH SCORE 12059.77
AT ITER 3851 NEW BEST:: SOT 63716 SOS 18772 HAS SOPS 15628 HAS SOUS 14862 HAS SOUPS 12036 WITH SCORE 12054.772
AT ITER 3860 NEW BEST:: SOT 63716 SOS 18745 HAS SOPS 15628 HAS SOUS 14835 HAS SOUPS 12036 WITH SCORE 12054.745
AT ITER 3880 NEW BEST:: SOT 63713 SOS 18739 HAS SOPS 15622 HAS SOUS 14832 HAS SOUPS 12033 WITH SCORE 12051.739
AT ITER 3888 NEW BEST:: SOT 63704 SOS 18956 HAS SOPS 15839 HAS SOUS 14815 HAS SOUPS 12016 WITH SCORE 12034.956
AT ITER 3908 NEW BEST:: SOT 63657 SOS 18888 HAS SOPS 15771 HAS SOUS 14768 HAS SOUPS 11969 WITH SCORE 11987.888
AT ITER 3911 NEW BEST:: SOT 63615 SOS 18804 HAS SOPS 15687 HAS SOUS 14726 HAS SOUPS 11927 WITH SCORE 11945.804
AT ITER 3919 NEW BEST:: SOT 63609 SOS 18798 HAS SOPS 15671 HAS SOUS 14714 HAS SOUPS 11905 WITH SCORE 11923.798
AT ITER 3934 NEW BEST:: SOT 63597 SOS 18786 HAS SOPS 15657 HAS SOUS 14710 HAS SOUPS 11896 WITH SCORE 11914.786
AT ITER 3956 NEW BEST:: SOT 63585 SOS 18759 HAS SOPS 15639 HAS SOUS 14683 HAS SOUPS 11878 WITH SCORE 11896.759
AT ITER 3969 NEW BEST:: SOT 63567 SOS 18801 HAS SOPS 15660 HAS SOUS 14689 HAS SOUPS 11863 WITH SCORE 11881.801
AT ITER 4003 NEW BEST:: SOT 63552 SOS 18793 HAS SOPS 15635 HAS SOUS 14691 HAS SOUPS 11848 WITH SCORE 11866.793
AT ITER 4009 NEW BEST:: SOT 63552 SOS 18783 HAS SOPS 15625 HAS SOUS 14681 HAS SOUPS 11838 WITH SCORE 11856.783
AT ITER 4029 NEW BEST:: SOT 63538 SOS 18762 HAS SOPS 15604 HAS SOUS 14667 HAS SOUPS 11824 WITH SCORE 11842.762
AT ITER 4047 NEW BEST:: SOT 64253 SOS 19253 HAS SOPS 16095 HAS SOUS 14587 HAS SOUPS 11744 WITH SCORE 11763.253
AT ITER 4067 NEW BEST:: SOT 64247 SOS 19242 HAS SOPS 16080 HAS SOUS 14579 HAS SOUPS 11732 WITH SCORE 11751.242
AT ITER 4080 NEW BEST:: SOT 64232 SOS 19231 HAS SOPS 16069 HAS SOUS 14568 HAS SOUPS 11721 WITH SCORE 11740.231
AT ITER 4099 NEW BEST:: SOT 64225 SOS 19224 HAS SOPS 16062 HAS SOUS 14561 HAS SOUPS 11714 WITH SCORE 11733.224
AT ITER 4120 NEW BEST:: SOT 64224 SOS 19171 HAS SOPS 16009 HAS SOUS 14556 HAS SOUPS 11709 WITH SCORE 11728.171
AT ITER 4124 NEW BEST:: SOT 64224 SOS 19163 HAS SOPS 16001 HAS SOUS 14556 HAS SOUPS 11709 WITH SCORE 11728.163
AT ITER 4125 NEW BEST:: SOT 64216 SOS 19091 HAS SOPS 15960 HAS SOUS 14516 HAS SOUPS 11700 WITH SCORE 11719.091
AT ITER 4147 NEW BEST:: SOT 64207 SOS 19091 HAS SOPS 15951 HAS SOUS 14516 HAS SOUPS 11691 WITH SCORE 11710.091
AT ITER 4158 NEW BEST:: SOT 64236 SOS 19105 HAS SOPS 15965 HAS SOUS 14493 HAS SOUPS 11668 WITH SCORE 11687.105
AT ITER 4174 NEW BEST:: SOT 64223 SOS 19092 HAS SOPS 15939 HAS SOUS 14470 HAS SOUPS 11645 WITH SCORE 11664.092
AT ITER 4190 NEW BEST:: SOT 64210 SOS 19079 HAS SOPS 15926 HAS SOUS 14457 HAS SOUPS 11632 WITH SCORE 11651.079
AT ITER 4235 NEW BEST:: SOT 64196 SOS 19049 HAS SOPS 15896 HAS SOUS 14453 HAS SOUPS 11628 WITH SCORE 11647.049
AT ITER 4248 NEW BEST:: SOT 64160 SOS 19013 HAS SOPS 15860 HAS SOUS 14435 HAS SOUPS 11610 WITH SCORE 11629.013
AT ITER 4250 NEW BEST:: SOT 64160 SOS 19013 HAS SOPS 15856 HAS SOUS 14435 HAS SOUPS 11606 WITH SCORE 11625.013
AT ITER 4254 NEW BEST:: SOT 64160 SOS 18995 HAS SOPS 15856 HAS SOUS 14417 HAS SOUPS 11606 WITH SCORE 11624.995
AT ITER 4274 NEW BEST:: SOT 64142 SOS 18939 HAS SOPS 15826 HAS SOUS 14392 HAS SOUPS 11594 WITH SCORE 11612.939
AT ITER 4289 NEW BEST:: SOT 64142 SOS 18906 HAS SOPS 15793 HAS SOUS 14389 HAS SOUPS 11591 WITH SCORE 11609.906
AT ITER 4318 NEW BEST:: SOT 64155 SOS 18920 HAS SOPS 15807 HAS SOUS 14388 HAS SOUPS 11590 WITH SCORE 11608.92
AT ITER 4325 NEW BEST:: SOT 64151 SOS 18916 HAS SOPS 15803 HAS SOUS 14382 HAS SOUPS 11584 WITH SCORE 11602.916
AT ITER 4338 NEW BEST:: SOT 64155 SOS 18914 HAS SOPS 15801 HAS SOUS 14380 HAS SOUPS 11582 WITH SCORE 11600.914
AT ITER 4359 NEW BEST:: SOT 64166 SOS 18921 HAS SOPS 15808 HAS SOUS 14372 HAS SOUPS 11574 WITH SCORE 11592.921
AT ITER 4447 NEW BEST:: SOT 64177 SOS 18888 HAS SOPS 15775 HAS SOUS 14372 HAS SOUPS 11574 WITH SCORE 11592.888
AT ITER 4452 NEW BEST:: SOT 64171 SOS 18887 HAS SOPS 15774 HAS SOUS 14323 HAS SOUPS 11525 WITH SCORE 11543.887
AT ITER 4456 NEW BEST:: SOT 64162 SOS 18862 HAS SOPS 15756 HAS SOUS 14298 HAS SOUPS 11507 WITH SCORE 11525.862
AT ITER 4481 NEW BEST:: SOT 64170 SOS 18870 HAS SOPS 15764 HAS SOUS 14294 HAS SOUPS 11503 WITH SCORE 11521.87
AT ITER 4490 NEW BEST:: SOT 64122 SOS 18774 HAS SOPS 15716 HAS SOUS 14246 HAS SOUPS 11503 WITH SCORE 11521.774
AT ITER 4518 NEW BEST:: SOT 64109 SOS 18768 HAS SOPS 15710 HAS SOUS 14240 HAS SOUPS 11497 WITH SCORE 11515.768
AT ITER 4550 NEW BEST:: SOT 64098 SOS 18747 HAS SOPS 15689 HAS SOUS 14219 HAS SOUPS 11476 WITH SCORE 11494.747
AT ITER 4552 NEW BEST:: SOT 64046 SOS 18677 HAS SOPS 15619 HAS SOUS 14145 HAS SOUPS 11402 WITH SCORE 11420.677
AT ITER 4583 NEW BEST:: SOT 63926 SOS 18569 HAS SOPS 15511 HAS SOUS 14145 HAS SOUPS 11402 WITH SCORE 11420.569
AT ITER 4593 NEW BEST:: SOT 63933 SOS 18533 HAS SOPS 15498 HAS SOUS 14112 HAS SOUPS 11392 WITH SCORE 11410.533
AT ITER 4607 NEW BEST:: SOT 63924 SOS 18524 HAS SOPS 15476 HAS SOUS 14101 HAS SOUPS 11368 WITH SCORE 11386.524
AT ITER 4626 NEW BEST:: SOT 63924 SOS 18499 HAS SOPS 15451 HAS SOUS 14076 HAS SOUPS 11343 WITH SCORE 11361.499
AT ITER 4637 NEW BEST:: SOT 63896 SOS 18415 HAS SOPS 15367 HAS SOUS 14056 HAS SOUPS 11323 WITH SCORE 11341.415
AT ITER 4640 NEW BEST:: SOT 63871 SOS 18375 HAS SOPS 15327 HAS SOUS 14041 HAS SOUPS 11308 WITH SCORE 11326.375
AT ITER 4642 NEW BEST:: SOT 63861 SOS 18345 HAS SOPS 15297 HAS SOUS 14021 HAS SOUPS 11288 WITH SCORE 11306.345
AT ITER 4658 NEW BEST:: SOT 63837 SOS 18292 HAS SOPS 15244 HAS SOUS 13973 HAS SOUPS 11240 WITH SCORE 11258.292
AT ITER 4661 NEW BEST:: SOT 63834 SOS 18292 HAS SOPS 15241 HAS SOUS 13973 HAS SOUPS 11237 WITH SCORE 11255.292
AT ITER 4681 NEW BEST:: SOT 63834 SOS 18289 HAS SOPS 15238 HAS SOUS 13973 HAS SOUPS 11237 WITH SCORE 11255.289
AT ITER 4691 NEW BEST:: SOT 63837 SOS 18283 HAS SOPS 15232 HAS SOUS 13968 HAS SOUPS 11232 WITH SCORE 11250.283
AT ITER 4698 NEW BEST:: SOT 63836 SOS 18282 HAS SOPS 15230 HAS SOUS 13967 HAS SOUPS 11230 WITH SCORE 11248.282
AT ITER 4800 NEW BEST:: SOT 63836 SOS 18282 HAS SOPS 15230 HAS SOUS 13961 HAS SOUPS 11224 WITH SCORE 11242.282
AT ITER 4810 NEW BEST:: SOT 63823 SOS 18277 HAS SOPS 15225 HAS SOUS 13947 HAS SOUPS 11210 WITH SCORE 11228.277
AT ITER 4824 NEW BEST:: SOT 63822 SOS 18278 HAS SOPS 15225 HAS SOUS 13947 HAS SOUPS 11209 WITH SCORE 11227.278
AT ITER 4826 NEW BEST:: SOT 63801 SOS 18210 HAS SOPS 15162 HAS SOUS 13940 HAS SOUPS 11202 WITH SCORE 11220.21
AT ITER 4885 NEW BEST:: SOT 63801 SOS 18201 HAS SOPS 15153 HAS SOUS 13940 HAS SOUPS 11202 WITH SCORE 11220.201
AT ITER 4897 NEW BEST:: SOT 63756 SOS 18136 HAS SOPS 15097 HAS SOUS 13894 HAS SOUPS 11165 WITH SCORE 11183.136
AT ITER 4932 NEW BEST:: SOT 63751 SOS 18116 HAS SOPS 15082 HAS SOUS 13879 HAS SOUPS 11155 WITH SCORE 11173.116
AT ITER 4977 NEW BEST:: SOT 63709 SOS 17842 HAS SOPS 14829 HAS SOUS 13834 HAS SOUPS 11131 WITH SCORE 11148.842
AT ITER 4981 NEW BEST:: SOT 63707 SOS 17844 HAS SOPS 14831 HAS SOUS 13832 HAS SOUPS 11129 WITH SCORE 11146.844
AT ITER 5033 NEW BEST:: SOT 63707 SOS 17840 HAS SOPS 14831 HAS SOUS 13828 HAS SOUPS 11129 WITH SCORE 11146.84
AT ITER 5034 NEW BEST:: SOT 63692 SOS 17820 HAS SOPS 14811 HAS SOUS 13808 HAS SOUPS 11109 WITH SCORE 11126.82
AT ITER 5041 NEW BEST:: SOT 63692 SOS 17804 HAS SOPS 14795 HAS SOUS 13801 HAS SOUPS 11102 WITH SCORE 11119.804
AT ITER 5074 NEW BEST:: SOT 63686 SOS 17794 HAS SOPS 14785 HAS SOUS 13795 HAS SOUPS 11096 WITH SCORE 11113.794
AT ITER 5125 NEW BEST:: SOT 63680 SOS 17802 HAS SOPS 14811 HAS SOUS 13759 HAS SOUPS 11078 WITH SCORE 11095.802
AT ITER 5126 NEW BEST:: SOT 63678 SOS 17805 HAS SOPS 14813 HAS SOUS 13759 HAS SOUPS 11077 WITH SCORE 11094.805
AT ITER 5145 NEW BEST:: SOT 63741 SOS 17854 HAS SOPS 14862 HAS SOUS 13752 HAS SOUPS 11070 WITH SCORE 11087.854
AT ITER 5148 NEW BEST:: SOT 63737 SOS 17853 HAS SOPS 14861 HAS SOUS 13751 HAS SOUPS 11069 WITH SCORE 11086.853
AT ITER 5192 NEW BEST:: SOT 63721 SOS 17837 HAS SOPS 14845 HAS SOUS 13751 HAS SOUPS 11069 WITH SCORE 11086.837
AT ITER 5213 NEW BEST:: SOT 63719 SOS 17833 HAS SOPS 14841 HAS SOUS 13749 HAS SOUPS 11067 WITH SCORE 11084.833
AT ITER 5222 NEW BEST:: SOT 63738 SOS 17864 HAS SOPS 14865 HAS SOUS 13747 HAS SOUPS 11065 WITH SCORE 11082.864
AT ITER 5223 NEW BEST:: SOT 63727 SOS 17841 HAS SOPS 14842 HAS SOUS 13736 HAS SOUPS 11054 WITH SCORE 11071.841
AT ITER 5230 NEW BEST:: SOT 63727 SOS 17860 HAS SOPS 14841 HAS SOUS 13755 HAS SOUPS 11053 WITH SCORE 11070.86
AT ITER 5284 NEW BEST:: SOT 63719 SOS 17852 HAS SOPS 14833 HAS SOUS 13747 HAS SOUPS 11045 WITH SCORE 11062.852
AT ITER 5294 NEW BEST:: SOT 63680 SOS 17788 HAS SOPS 14769 HAS SOUS 13738 HAS SOUPS 11036 WITH SCORE 11053.788
AT ITER 5318 NEW BEST:: SOT 63634 SOS 17786 HAS SOPS 14767 HAS SOUS 13727 HAS SOUPS 11025 WITH SCORE 11042.786
AT ITER 5351 NEW BEST:: SOT 63632 SOS 17782 HAS SOPS 14763 HAS SOUS 13723 HAS SOUPS 11021 WITH SCORE 11038.782
AT ITER 5374 NEW BEST:: SOT 63634 SOS 17754 HAS SOPS 14735 HAS SOUS 13713 HAS SOUPS 11011 WITH SCORE 11028.754
AT ITER 5397 NEW BEST:: SOT 63630 SOS 17748 HAS SOPS 14729 HAS SOUS 13709 HAS SOUPS 11007 WITH SCORE 11024.748
AT ITER 5450 NEW BEST:: SOT 63630 SOS 17797 HAS SOPS 14778 HAS SOUS 13685 HAS SOUPS 10983 WITH SCORE 11000.797
AT ITER 5500 NEW BEST:: SOT 63635 SOS 17802 HAS SOPS 14777 HAS SOUS 13684 HAS SOUPS 10976 WITH SCORE 10993.802
AT ITER 5536 NEW BEST:: SOT 63635 SOS 17797 HAS SOPS 14777 HAS SOUS 13679 HAS SOUPS 10976 WITH SCORE 10993.797
AT ITER 5576 NEW BEST:: SOT 63635 SOS 17797 HAS SOPS 14746 HAS SOUS 13702 HAS SOUPS 10968 WITH SCORE 10985.797
AT ITER 5601 NEW BEST:: SOT 63656 SOS 17713 HAS SOPS 14662 HAS SOUS 13702 HAS SOUPS 10968 WITH SCORE 10985.713
AT ITER 5620 NEW BEST:: SOT 63656 SOS 17712 HAS SOPS 14661 HAS SOUS 13701 HAS SOUPS 10967 WITH SCORE 10984.712
AT ITER 5623 NEW BEST:: SOT 63650 SOS 17706 HAS SOPS 14623 HAS SOUS 13716 HAS SOUPS 10950 WITH SCORE 10967.706
AT ITER 5640 NEW BEST:: SOT 63650 SOS 17710 HAS SOPS 14627 HAS SOUS 13697 HAS SOUPS 10931 WITH SCORE 10948.71
AT ITER 5680 NEW BEST:: SOT 63649 SOS 17709 HAS SOPS 14626 HAS SOUS 13696 HAS SOUPS 10930 WITH SCORE 10947.709
AT ITER 5691 NEW BEST:: SOT 63638 SOS 17676 HAS SOPS 14604 HAS SOUS 13663 HAS SOUPS 10908 WITH SCORE 10925.676
AT ITER 5726 NEW BEST:: SOT 63926 SOS 17900 HAS SOPS 14828 HAS SOUS 13631 HAS SOUPS 10876 WITH SCORE 10893.9
AT ITER 5738 NEW BEST:: SOT 63923 SOS 17897 HAS SOPS 14825 HAS SOUS 13628 HAS SOUPS 10873 WITH SCORE 10890.897
AT ITER 5740 NEW BEST:: SOT 63972 SOS 17940 HAS SOPS 14868 HAS SOUS 13627 HAS SOUPS 10872 WITH SCORE 10889.94
AT ITER 5746 NEW BEST:: SOT 63970 SOS 17936 HAS SOPS 14864 HAS SOUS 13625 HAS SOUPS 10870 WITH SCORE 10887.936
AT ITER 5778 NEW BEST:: SOT 63948 SOS 17881 HAS SOPS 14809 HAS SOUS 13596 HAS SOUPS 10841 WITH SCORE 10858.881
AT ITER 5811 NEW BEST:: SOT 63947 SOS 17879 HAS SOPS 14807 HAS SOUS 13595 HAS SOUPS 10840 WITH SCORE 10857.879
AT ITER 5861 NEW BEST:: SOT 63938 SOS 17873 HAS SOPS 14801 HAS SOUS 13589 HAS SOUPS 10834 WITH SCORE 10851.873
AT ITER 5873 NEW BEST:: SOT 63937 SOS 17869 HAS SOPS 14798 HAS SOUS 13587 HAS SOUPS 10833 WITH SCORE 10850.869
AT ITER 5874 NEW BEST:: SOT 63932 SOS 17829 HAS SOPS 14758 HAS SOUS 13577 HAS SOUPS 10823 WITH SCORE 10840.829
AT ITER 5879 NEW BEST:: SOT 63917 SOS 17814 HAS SOPS 14738 HAS SOUS 13582 HAS SOUPS 10823 WITH SCORE 10840.814
AT ITER 5887 NEW BEST:: SOT 63903 SOS 17800 HAS SOPS 14724 HAS SOUS 13580 HAS SOUPS 10821 WITH SCORE 10838.8
AT ITER 5900 NEW BEST:: SOT 63897 SOS 17793 HAS SOPS 14713 HAS SOUS 13575 HAS SOUPS 10812 WITH SCORE 10829.793
AT ITER 5980 NEW BEST:: SOT 63861 SOS 17737 HAS SOPS 14657 HAS SOUS 13575 HAS SOUPS 10812 WITH SCORE 10829.737
AT ITER 6030 NEW BEST:: SOT 63861 SOS 17729 HAS SOPS 14649 HAS SOUS 13565 HAS SOUPS 10802 WITH SCORE 10819.729
AT ITER 6096 NEW BEST:: SOT 63861 SOS 17712 HAS SOPS 14654 HAS SOUS 13543 HAS SOUPS 10802 WITH SCORE 10819.712
AT ITER 6128 NEW BEST:: SOT 63860 SOS 17711 HAS SOPS 14653 HAS SOUS 13541 HAS SOUPS 10800 WITH SCORE 10817.711
AT ITER 6146 NEW BEST:: SOT 63877 SOS 17741 HAS SOPS 14666 HAS SOUS 13537 HAS SOUPS 10796 WITH SCORE 10813.741
AT ITER 6153 NEW BEST:: SOT 63873 SOS 17737 HAS SOPS 14662 HAS SOUS 13535 HAS SOUPS 10794 WITH SCORE 10811.737
AT ITER 6157 NEW BEST:: SOT 63873 SOS 17732 HAS SOPS 14662 HAS SOUS 13530 HAS SOUPS 10794 WITH SCORE 10811.732
AT ITER 6161 NEW BEST:: SOT 63865 SOS 17722 HAS SOPS 14646 HAS SOUS 13522 HAS SOUPS 10780 WITH SCORE 10797.722
AT ITER 6173 NEW BEST:: SOT 63817 SOS 17659 HAS SOPS 14583 HAS SOUS 13449 HAS SOUPS 10707 WITH SCORE 10724.659
AT ITER 6178 NEW BEST:: SOT 63553 SOS 17261 HAS SOPS 14185 HAS SOUS 13447 HAS SOUPS 10705 WITH SCORE 10722.261
AT ITER 6210 NEW BEST:: SOT 63551 SOS 17257 HAS SOPS 14181 HAS SOUS 13445 HAS SOUPS 10703 WITH SCORE 10720.257
AT ITER 6314 NEW BEST:: SOT 63551 SOS 17257 HAS SOPS 14181 HAS SOUS 13433 HAS SOUPS 10691 WITH SCORE 10708.257
AT ITER 6325 NEW BEST:: SOT 63551 SOS 17238 HAS SOPS 14162 HAS SOUS 13414 HAS SOUPS 10672 WITH SCORE 10689.238
AT ITER 6346 NEW BEST:: SOT 63543 SOS 17214 HAS SOPS 14146 HAS SOUS 13402 HAS SOUPS 10664 WITH SCORE 10681.214
AT ITER 6366 NEW BEST:: SOT 63547 SOS 17059 HAS SOPS 13991 HAS SOUS 13380 HAS SOUPS 10642 WITH SCORE 10659.059
AT ITER 6422 NEW BEST:: SOT 63547 SOS 17058 HAS SOPS 13991 HAS SOUS 13379 HAS SOUPS 10642 WITH SCORE 10659.058
AT ITER 6556 NEW BEST:: SOT 63546 SOS 17030 HAS SOPS 13989 HAS SOUS 13352 HAS SOUPS 10641 WITH SCORE 10658.03
AT ITER 6566 NEW BEST:: SOT 63534 SOS 16874 HAS SOPS 13833 HAS SOUS 13328 HAS SOUPS 10617 WITH SCORE 10633.874
AT ITER 6614 NEW BEST:: SOT 63524 SOS 16854 HAS SOPS 13803 HAS SOUS 13318 HAS SOUPS 10597 WITH SCORE 10613.854
AT ITER 6623 NEW BEST:: SOT 63522 SOS 16852 HAS SOPS 13803 HAS SOUS 13316 HAS SOUPS 10597 WITH SCORE 10613.852
AT ITER 6638 NEW BEST:: SOT 63516 SOS 16846 HAS SOPS 13798 HAS SOUS 13299 HAS SOUPS 10592 WITH SCORE 10608.846
AT ITER 6639 NEW BEST:: SOT 63516 SOS 16780 HAS SOPS 13732 HAS SOUS 13293 HAS SOUPS 10586 WITH SCORE 10602.78
AT ITER 6642 NEW BEST:: SOT 63641 SOS 16690 HAS SOPS 13608 HAS SOUS 13283 HAS SOUPS 10542 WITH SCORE 10558.69
AT ITER 6694 NEW BEST:: SOT 63667 SOS 16752 HAS SOPS 13670 HAS SOUS 13278 HAS SOUPS 10537 WITH SCORE 10553.752
AT ITER 6735 NEW BEST:: SOT 63656 SOS 16756 HAS SOPS 13648 HAS SOUS 13293 HAS SOUPS 10526 WITH SCORE 10542.756
AT ITER 6780 NEW BEST:: SOT 63657 SOS 16745 HAS SOPS 13639 HAS SOUS 13290 HAS SOUPS 10523 WITH SCORE 10539.745
AT ITER 6817 NEW BEST:: SOT 63657 SOS 16667 HAS SOPS 13561 HAS SOUS 13290 HAS SOUPS 10523 WITH SCORE 10539.667
AT ITER 6872 NEW BEST:: SOT 63657 SOS 16650 HAS SOPS 13544 HAS SOUS 13287 HAS SOUPS 10520 WITH SCORE 10536.65
AT ITER 6898 NEW BEST:: SOT 63638 SOS 16547 HAS SOPS 13441 HAS SOUS 13259 HAS SOUPS 10492 WITH SCORE 10508.547
AT ITER 7076 NEW BEST:: SOT 63638 SOS 16545 HAS SOPS 13439 HAS SOUS 13259 HAS SOUPS 10492 WITH SCORE 10508.545
AT ITER 7151 NEW BEST:: SOT 63646 SOS 16523 HAS SOPS 13417 HAS SOUS 13246 HAS SOUPS 10479 WITH SCORE 10495.523
AT ITER 7241 NEW BEST:: SOT 63646 SOS 16523 HAS SOPS 13417 HAS SOUS 13233 HAS SOUPS 10466 WITH SCORE 10482.523
AT ITER 7243 NEW BEST:: SOT 63646 SOS 16515 HAS SOPS 13415 HAS SOUS 13225 HAS SOUPS 10464 WITH SCORE 10480.515
AT ITER 7268 NEW BEST:: SOT 63646 SOS 16515 HAS SOPS 13415 HAS SOUS 13221 HAS SOUPS 10460 WITH SCORE 10476.515
AT ITER 7316 NEW BEST:: SOT 63645 SOS 16508 HAS SOPS 13408 HAS SOUS 13218 HAS SOUPS 10457 WITH SCORE 10473.508
AT ITER 7374 NEW BEST:: SOT 63639 SOS 16505 HAS SOPS 13402 HAS SOUS 13218 HAS SOUPS 10454 WITH SCORE 10470.505
AT ITER 7410 NEW BEST:: SOT 63637 SOS 16503 HAS SOPS 13398 HAS SOUS 13218 HAS SOUPS 10452 WITH SCORE 10468.503
AT ITER 7503 NEW BEST:: SOT 63610 SOS 16583 HAS SOPS 13427 HAS SOUS 13265 HAS SOUPS 10448 WITH SCORE 10464.583
AT ITER 7533 NEW BEST:: SOT 63608 SOS 16581 HAS SOPS 13423 HAS SOUS 13267 HAS SOUPS 10448 WITH SCORE 10464.581
AT ITER 7536 NEW BEST:: SOT 63613 SOS 16584 HAS SOPS 13426 HAS SOUS 13264 HAS SOUPS 10445 WITH SCORE 10461.584
AT ITER 7571 NEW BEST:: SOT 63605 SOS 16560 HAS SOPS 13412 HAS SOUS 13254 HAS SOUPS 10435 WITH SCORE 10451.56
AT ITER 7574 NEW BEST:: SOT 63611 SOS 16543 HAS SOPS 13395 HAS SOUS 13234 HAS SOUPS 10415 WITH SCORE 10431.543
AT ITER 7590 NEW BEST:: SOT 63623 SOS 16572 HAS SOPS 13420 HAS SOUS 13233 HAS SOUPS 10411 WITH SCORE 10427.572
AT ITER 7613 NEW BEST:: SOT 63623 SOS 16491 HAS SOPS 13339 HAS SOUS 13233 HAS SOUPS 10411 WITH SCORE 10427.491
AT ITER 7778 NEW BEST:: SOT 63623 SOS 16503 HAS SOPS 13341 HAS SOUS 13235 HAS SOUPS 10403 WITH SCORE 10419.503
AT ITER 7813 NEW BEST:: SOT 63623 SOS 16492 HAS SOPS 13330 HAS SOUS 13224 HAS SOUPS 10392 WITH SCORE 10408.492
AT ITER 7859 NEW BEST:: SOT 63627 SOS 16471 HAS SOPS 13313 HAS SOUS 13218 HAS SOUPS 10390 WITH SCORE 10406.471
AT ITER 7888 NEW BEST:: SOT 63519 SOS 16387 HAS SOPS 13229 HAS SOUS 13218 HAS SOUPS 10390 WITH SCORE 10406.387
AT ITER 7935 NEW BEST:: SOT 63517 SOS 16375 HAS SOPS 13217 HAS SOUS 13214 HAS SOUPS 10386 WITH SCORE 10402.375
AT ITER 7938 NEW BEST:: SOT 63494 SOS 16352 HAS SOPS 13194 HAS SOUS 13210 HAS SOUPS 10382 WITH SCORE 10398.352
AT ITER 7968 NEW BEST:: SOT 63609 SOS 16327 HAS SOPS 13169 HAS SOUS 13206 HAS SOUPS 10378 WITH SCORE 10394.327
AT ITER 7983 NEW BEST:: SOT 63605 SOS 16323 HAS SOPS 13165 HAS SOUS 13202 HAS SOUPS 10374 WITH SCORE 10390.323
AT ITER 8097 NEW BEST:: SOT 63589 SOS 16322 HAS SOPS 13164 HAS SOUS 13201 HAS SOUPS 10373 WITH SCORE 10389.322
AT ITER 8118 NEW BEST:: SOT 63578 SOS 16311 HAS SOPS 13153 HAS SOUS 13190 HAS SOUPS 10362 WITH SCORE 10378.311
AT ITER 8131 NEW BEST:: SOT 63580 SOS 16296 HAS SOPS 13143 HAS SOUS 13184 HAS SOUPS 10361 WITH SCORE 10377.296
AT ITER 8135 NEW BEST:: SOT 63570 SOS 16276 HAS SOPS 13133 HAS SOUS 13174 HAS SOUPS 10361 WITH SCORE 10377.276
AT ITER 8184 NEW BEST:: SOT 63563 SOS 16269 HAS SOPS 13126 HAS SOUS 13174 HAS SOUPS 10361 WITH SCORE 10377.269
AT ITER 8241 NEW BEST:: SOT 63563 SOS 16265 HAS SOPS 13122 HAS SOUS 13174 HAS SOUPS 10361 WITH SCORE 10377.265
AT ITER 8311 NEW BEST:: SOT 63561 SOS 16229 HAS SOPS 13084 HAS SOUS 13170 HAS SOUPS 10357 WITH SCORE 10373.229
AT ITER 8378 NEW BEST:: SOT 63563 SOS 16233 HAS SOPS 13043 HAS SOUS 13195 HAS SOUPS 10337 WITH SCORE 10353.233
AT ITER 8397 NEW BEST:: SOT 63559 SOS 16231 HAS SOPS 13036 HAS SOUS 13196 HAS SOUPS 10333 WITH SCORE 10349.231
AT ITER 8408 NEW BEST:: SOT 63559 SOS 16228 HAS SOPS 13033 HAS SOUS 13188 HAS SOUPS 10325 WITH SCORE 10341.228
AT ITER 8530 NEW BEST:: SOT 63550 SOS 16219 HAS SOPS 13024 HAS SOUS 13188 HAS SOUPS 10325 WITH SCORE 10341.219
AT ITER 8532 NEW BEST:: SOT 63548 SOS 16214 HAS SOPS 13019 HAS SOUS 13184 HAS SOUPS 10321 WITH SCORE 10337.214
AT ITER 8540 NEW BEST:: SOT 63548 SOS 16205 HAS SOPS 13010 HAS SOUS 13181 HAS SOUPS 10318 WITH SCORE 10334.205
AT ITER 8581 NEW BEST:: SOT 63530 SOS 16169 HAS SOPS 12956 HAS SOUS 13154 HAS SOUPS 10282 WITH SCORE 10298.169
AT ITER 8601 NEW BEST:: SOT 63530 SOS 16141 HAS SOPS 12928 HAS SOUS 13150 HAS SOUPS 10278 WITH SCORE 10294.141
AT ITER 8624 NEW BEST:: SOT 63530 SOS 16133 HAS SOPS 12928 HAS SOUS 13142 HAS SOUPS 10278 WITH SCORE 10294.133
AT ITER 8664 NEW BEST:: SOT 63515 SOS 16118 HAS SOPS 12913 HAS SOUS 13127 HAS SOUPS 10263 WITH SCORE 10279.118
AT ITER 8685 NEW BEST:: SOT 63527 SOS 16124 HAS SOPS 12919 HAS SOUS 13114 HAS SOUPS 10250 WITH SCORE 10266.124
AT ITER 8704 NEW BEST:: SOT 63531 SOS 16122 HAS SOPS 12917 HAS SOUS 13108 HAS SOUPS 10244 WITH SCORE 10260.122
AT ITER 8708 NEW BEST:: SOT 63515 SOS 16103 HAS SOPS 12898 HAS SOUS 13097 HAS SOUPS 10233 WITH SCORE 10249.103
AT ITER 8759 NEW BEST:: SOT 63514 SOS 16102 HAS SOPS 12897 HAS SOUS 13096 HAS SOUPS 10232 WITH SCORE 10248.102
AT ITER 8766 NEW BEST:: SOT 63526 SOS 16074 HAS SOPS 12869 HAS SOUS 13085 HAS SOUPS 10221 WITH SCORE 10237.074
AT ITER 8805 NEW BEST:: SOT 63524 SOS 16085 HAS SOPS 12883 HAS SOUS 13078 HAS SOUPS 10217 WITH SCORE 10233.085
AT ITER 8837 NEW BEST:: SOT 63524 SOS 16044 HAS SOPS 12842 HAS SOUS 13078 HAS SOUPS 10217 WITH SCORE 10233.044
AT ITER 8868 NEW BEST:: SOT 63503 SOS 16017 HAS SOPS 12801 HAS SOUS 13071 HAS SOUPS 10196 WITH SCORE 10212.017
AT ITER 8908 NEW BEST:: SOT 63496 SOS 16013 HAS SOPS 12797 HAS SOUS 13066 HAS SOUPS 10191 WITH SCORE 10207.013
AT ITER 8913 NEW BEST:: SOT 63487 SOS 16006 HAS SOPS 12790 HAS SOUS 13063 HAS SOUPS 10188 WITH SCORE 10204.006
AT ITER 8923 NEW BEST:: SOT 63489 SOS 16002 HAS SOPS 12786 HAS SOUS 13057 HAS SOUPS 10182 WITH SCORE 10198.002
AT ITER 8939 NEW BEST:: SOT 63469 SOS 15930 HAS SOPS 12714 HAS SOUS 13045 HAS SOUPS 10170 WITH SCORE 10185.93
AT ITER 8997 NEW BEST:: SOT 63501 SOS 15964 HAS SOPS 12739 HAS SOUS 13049 HAS SOUPS 10165 WITH SCORE 10180.964
AT ITER 9044 NEW BEST:: SOT 63499 SOS 15965 HAS SOPS 12736 HAS SOUS 13052 HAS SOUPS 10164 WITH SCORE 10179.965
AT ITER 9070 NEW BEST:: SOT 63500 SOS 15965 HAS SOPS 12736 HAS SOUS 13050 HAS SOUPS 10162 WITH SCORE 10177.965
AT ITER 9077 NEW BEST:: SOT 63499 SOS 15964 HAS SOPS 12735 HAS SOUS 13049 HAS SOUPS 10161 WITH SCORE 10176.964
AT ITER 9081 NEW BEST:: SOT 63497 SOS 15962 HAS SOPS 12731 HAS SOUS 13049 HAS SOUPS 10159 WITH SCORE 10174.962
AT ITER 9084 NEW BEST:: SOT 63471 SOS 15929 HAS SOPS 12707 HAS SOUS 13035 HAS SOUPS 10154 WITH SCORE 10169.929
AT ITER 9090 NEW BEST:: SOT 63469 SOS 15925 HAS SOPS 12687 HAS SOUS 13025 HAS SOUPS 10136 WITH SCORE 10151.925
AT ITER 9123 NEW BEST:: SOT 63471 SOS 15905 HAS SOPS 12679 HAS SOUS 13015 HAS SOUPS 10132 WITH SCORE 10147.905
AT ITER 9138 NEW BEST:: SOT 63476 SOS 15913 HAS SOPS 12687 HAS SOUS 13014 HAS SOUPS 10131 WITH SCORE 10146.913
AT ITER 9163 NEW BEST:: SOT 63473 SOS 15910 HAS SOPS 12684 HAS SOUS 13014 HAS SOUPS 10131 WITH SCORE 10146.91
AT ITER 9224 NEW BEST:: SOT 63469 SOS 15900 HAS SOPS 12674 HAS SOUS 13008 HAS SOUPS 10125 WITH SCORE 10140.9
AT ITER 9254 NEW BEST:: SOT 63475 SOS 15915 HAS SOPS 12689 HAS SOUS 13007 HAS SOUPS 10124 WITH SCORE 10139.915
AT ITER 9282 NEW BEST:: SOT 63470 SOS 15910 HAS SOPS 12687 HAS SOUS 13000 HAS SOUPS 10120 WITH SCORE 10135.91
AT ITER 9409 NEW BEST:: SOT 63470 SOS 15905 HAS SOPS 12681 HAS SOUS 13000 HAS SOUPS 10119 WITH SCORE 10134.905
AT ITER 9431 NEW BEST:: SOT 63468 SOS 15899 HAS SOPS 12675 HAS SOUS 12996 HAS SOUPS 10115 WITH SCORE 10130.899
AT ITER 9459 NEW BEST:: SOT 63477 SOS 15906 HAS SOPS 12682 HAS SOUS 12990 HAS SOUPS 10109 WITH SCORE 10124.906
AT ITER 9461 NEW BEST:: SOT 63470 SOS 15892 HAS SOPS 12668 HAS SOUS 12983 HAS SOUPS 10102 WITH SCORE 10117.892
AT ITER 9514 NEW BEST:: SOT 63467 SOS 15889 HAS SOPS 12665 HAS SOUS 12980 HAS SOUPS 10099 WITH SCORE 10114.889
AT ITER 9515 NEW BEST:: SOT 63483 SOS 15897 HAS SOPS 12657 HAS SOUS 12961 HAS SOUPS 10080 WITH SCORE 10095.897
AT ITER 9561 NEW BEST:: SOT 63497 SOS 15911 HAS SOPS 12653 HAS SOUS 12954 HAS SOUPS 10055 WITH SCORE 10070.911
AT ITER 9562 NEW BEST:: SOT 63477 SOS 15891 HAS SOPS 12633 HAS SOUS 12954 HAS SOUPS 10055 WITH SCORE 10070.891
AT ITER 9564 NEW BEST:: SOT 63477 SOS 15891 HAS SOPS 12627 HAS SOUS 12954 HAS SOUPS 10049 WITH SCORE 10064.891
AT ITER 9593 NEW BEST:: SOT 63491 SOS 15895 HAS SOPS 12645 HAS SOUS 12934 HAS SOUPS 10043 WITH SCORE 10058.895
AT ITER 9603 NEW BEST:: SOT 63490 SOS 15894 HAS SOPS 12644 HAS SOUS 12933 HAS SOUPS 10042 WITH SCORE 10057.894
AT ITER 9642 NEW BEST:: SOT 63466 SOS 15866 HAS SOPS 12607 HAS SOUS 12924 HAS SOUPS 10016 WITH SCORE 10031.866
AT ITER 9717 NEW BEST:: SOT 63460 SOS 15854 HAS SOPS 12595 HAS SOUS 12912 HAS SOUPS 10004 WITH SCORE 10019.854
AT ITER 9719 NEW BEST:: SOT 63463 SOS 15843 HAS SOPS 12584 HAS SOUS 12908 HAS SOUPS 10000 WITH SCORE 10015.843
AT ITER 9817 NEW BEST:: SOT 63463 SOS 15808 HAS SOPS 12554 HAS SOUS 12903 HAS SOUPS 10000 WITH SCORE 10015.808
AT ITER 9818 NEW BEST:: SOT 63463 SOS 15753 HAS SOPS 12504 HAS SOUS 12898 HAS SOUPS 10000 WITH SCORE 10015.753
AT ITER 9837 NEW BEST:: SOT 63452 SOS 15715 HAS SOPS 12466 HAS SOUS 12886 HAS SOUPS 9988 WITH SCORE 10003.715
AT ITER 9879 NEW BEST:: SOT 63446 SOS 15697 HAS SOPS 12448 HAS SOUS 12877 HAS SOUPS 9979 WITH SCORE 9994.697
AT ITER 9923 NEW BEST:: SOT 63436 SOS 15687 HAS SOPS 12438 HAS SOUS 12877 HAS SOUPS 9979 WITH SCORE 9994.687
AT ITER 9993 NEW BEST:: SOT 63435 SOS 15684 HAS SOPS 12436 HAS SOUS 12875 HAS SOUPS 9978 WITH SCORE 9993.684
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 1678875247599

--------------------
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//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ 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="Parking-PT-416"
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 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 4"
echo " Run identifier is r267-smll-167863541800432"
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 ;