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.r011-oct2-167813600300472.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 AutoFlight-PT-12a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813600300472
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 508K
-rw-r--r-- 1 mcc users 6.9K Feb 25 18:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 25 18:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 18:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 25 18:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 15:32 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 15:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.9K Feb 25 18:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 25 18:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Feb 25 18:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 91K Feb 25 18:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:32 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:32 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 85K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678736002937

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=AutoFlight-PT-12a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 19:33:25] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 19:33:25] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 19:33:25] [INFO ] Load time of PNML (sax parser for PT used): 58 ms
[2023-03-13 19:33:25] [INFO ] Transformed 307 places.
[2023-03-13 19:33:25] [INFO ] Transformed 305 transitions.
[2023-03-13 19:33:25] [INFO ] Found NUPN structural information;
[2023-03-13 19:33:25] [INFO ] Parsed PT model containing 307 places and 305 transitions and 980 arcs in 123 ms.
[2023-03-13 19:33:25] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 307 places, 305 transitions and 980 arcs took 27 ms.
Total runtime 208 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 12a
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: 307 places, 305 transitions, 980 arcs.
AT ITER 0 NEW BEST:: SOT 71679 SOS 47340 HAS SOPS 47340 HAS SOUS 33153 HAS SOUPS 33153 WITH SCORE 33200.34
AT ITER 2 NEW BEST:: SOT 71521 SOS 47532 HAS SOPS 46870 HAS SOUS 33080 HAS SOUPS 32889 WITH SCORE 32936.532
AT ITER 3 NEW BEST:: SOT 71521 SOS 47531 HAS SOPS 46869 HAS SOUS 32986 HAS SOUPS 32795 WITH SCORE 32842.531
AT ITER 4 NEW BEST:: SOT 71390 SOS 47399 HAS SOPS 46737 HAS SOUS 32854 HAS SOUPS 32663 WITH SCORE 32710.399
AT ITER 6 NEW BEST:: SOT 70630 SOS 46639 HAS SOPS 45977 HAS SOUS 32378 HAS SOUPS 32187 WITH SCORE 32233.639
AT ITER 9 NEW BEST:: SOT 70596 SOS 46181 HAS SOPS 45426 HAS SOUS 32085 HAS SOUPS 31801 WITH SCORE 31847.181
AT ITER 10 NEW BEST:: SOT 70360 SOS 45944 HAS SOPS 45189 HAS SOUS 31857 HAS SOUPS 31573 WITH SCORE 31618.944
AT ITER 12 NEW BEST:: SOT 70085 SOS 45669 HAS SOPS 44914 HAS SOUS 31692 HAS SOUPS 31408 WITH SCORE 31453.669
AT ITER 14 NEW BEST:: SOT 70067 SOS 45651 HAS SOPS 44895 HAS SOUS 31674 HAS SOUPS 31389 WITH SCORE 31434.651
AT ITER 15 NEW BEST:: SOT 70012 SOS 45596 HAS SOPS 44840 HAS SOUS 31654 HAS SOUPS 31369 WITH SCORE 31414.596
AT ITER 18 NEW BEST:: SOT 69357 SOS 44940 HAS SOPS 44184 HAS SOUS 31226 HAS SOUPS 30941 WITH SCORE 30985.94
AT ITER 19 NEW BEST:: SOT 68389 SOS 43583 HAS SOPS 42827 HAS SOUS 30400 HAS SOUPS 30115 WITH SCORE 30158.583
AT ITER 20 NEW BEST:: SOT 68240 SOS 43304 HAS SOPS 42548 HAS SOUS 30288 HAS SOUPS 30003 WITH SCORE 30046.304
AT ITER 22 NEW BEST:: SOT 67964 SOS 43028 HAS SOPS 42272 HAS SOUS 30104 HAS SOUPS 29819 WITH SCORE 29862.028
AT ITER 25 NEW BEST:: SOT 67511 SOS 42575 HAS SOPS 41819 HAS SOUS 29830 HAS SOUPS 29545 WITH SCORE 29587.575
AT ITER 27 NEW BEST:: SOT 67511 SOS 42574 HAS SOPS 41818 HAS SOUS 29796 HAS SOUPS 29511 WITH SCORE 29553.574
AT ITER 28 NEW BEST:: SOT 67406 SOS 42468 HAS SOPS 41712 HAS SOUS 29690 HAS SOUPS 29405 WITH SCORE 29447.468
AT ITER 32 NEW BEST:: SOT 67176 SOS 42238 HAS SOPS 41482 HAS SOUS 29552 HAS SOUPS 29267 WITH SCORE 29309.238
AT ITER 35 NEW BEST:: SOT 67083 SOS 42331 HAS SOPS 41273 HAS SOUS 29444 HAS SOUPS 29058 WITH SCORE 29100.331
AT ITER 40 NEW BEST:: SOT 67004 SOS 41925 HAS SOPS 40802 HAS SOUS 29201 HAS SOUPS 28750 WITH SCORE 28791.925
AT ITER 41 NEW BEST:: SOT 67004 SOS 41799 HAS SOPS 40676 HAS SOUS 29200 HAS SOUPS 28749 WITH SCORE 28790.799
AT ITER 42 NEW BEST:: SOT 67004 SOS 41589 HAS SOPS 40466 HAS SOUS 29200 HAS SOUPS 28749 WITH SCORE 28790.589
AT ITER 43 NEW BEST:: SOT 66970 SOS 41489 HAS SOPS 40358 HAS SOUS 29100 HAS SOUPS 28641 WITH SCORE 28682.489
AT ITER 44 NEW BEST:: SOT 66816 SOS 41577 HAS SOPS 40204 HAS SOUS 29032 HAS SOUPS 28487 WITH SCORE 28528.577
AT ITER 45 NEW BEST:: SOT 66511 SOS 41272 HAS SOPS 39899 HAS SOUS 28857 HAS SOUPS 28312 WITH SCORE 28353.272
AT ITER 48 NEW BEST:: SOT 66511 SOS 41156 HAS SOPS 39783 HAS SOUS 28857 HAS SOUPS 28312 WITH SCORE 28353.156
AT ITER 49 NEW BEST:: SOT 66405 SOS 41176 HAS SOPS 39360 HAS SOUS 28721 HAS SOUPS 28040 WITH SCORE 28081.176
AT ITER 50 NEW BEST:: SOT 65601 SOS 40372 HAS SOPS 38556 HAS SOUS 28249 HAS SOUPS 27568 WITH SCORE 27608.372
AT ITER 52 NEW BEST:: SOT 65488 SOS 40095 HAS SOPS 38279 HAS SOUS 28085 HAS SOUPS 27404 WITH SCORE 27444.095
AT ITER 58 NEW BEST:: SOT 65118 SOS 39721 HAS SOPS 37905 HAS SOUS 27896 HAS SOUPS 27215 WITH SCORE 27254.721
AT ITER 59 NEW BEST:: SOT 65147 SOS 39718 HAS SOPS 37902 HAS SOUS 27893 HAS SOUPS 27212 WITH SCORE 27251.718
AT ITER 63 NEW BEST:: SOT 65102 SOS 39274 HAS SOPS 37458 HAS SOUS 27633 HAS SOUPS 26952 WITH SCORE 26991.274
AT ITER 64 NEW BEST:: SOT 64870 SOS 39042 HAS SOPS 37226 HAS SOUS 27507 HAS SOUPS 26826 WITH SCORE 26865.042
AT ITER 66 NEW BEST:: SOT 64784 SOS 39007 HAS SOPS 37191 HAS SOUS 27488 HAS SOUPS 26807 WITH SCORE 26846.007
AT ITER 67 NEW BEST:: SOT 64653 SOS 38875 HAS SOPS 37059 HAS SOUS 27356 HAS SOUPS 26675 WITH SCORE 26713.875
AT ITER 68 NEW BEST:: SOT 64410 SOS 38632 HAS SOPS 36816 HAS SOUS 27120 HAS SOUPS 26439 WITH SCORE 26477.632
AT ITER 71 NEW BEST:: SOT 63885 SOS 38327 HAS SOPS 36511 HAS SOUS 27116 HAS SOUPS 26435 WITH SCORE 26473.327
AT ITER 81 NEW BEST:: SOT 63877 SOS 38312 HAS SOPS 36471 HAS SOUS 27101 HAS SOUPS 26395 WITH SCORE 26433.312
AT ITER 82 NEW BEST:: SOT 63890 SOS 38413 HAS SOPS 36484 HAS SOUS 27164 HAS SOUPS 26370 WITH SCORE 26408.413
AT ITER 85 NEW BEST:: SOT 63819 SOS 38342 HAS SOPS 36412 HAS SOUS 27150 HAS SOUPS 26355 WITH SCORE 26393.342
AT ITER 87 NEW BEST:: SOT 63615 SOS 38138 HAS SOPS 36208 HAS SOUS 27048 HAS SOUPS 26253 WITH SCORE 26291.138
AT ITER 88 NEW BEST:: SOT 63532 SOS 38054 HAS SOPS 36124 HAS SOUS 26964 HAS SOUPS 26169 WITH SCORE 26207.054
AT ITER 89 NEW BEST:: SOT 63504 SOS 38026 HAS SOPS 36096 HAS SOUS 26877 HAS SOUPS 26082 WITH SCORE 26120.026
AT ITER 90 NEW BEST:: SOT 63043 SOS 37640 HAS SOPS 35710 HAS SOUS 26617 HAS SOUPS 25822 WITH SCORE 25859.64
AT ITER 92 NEW BEST:: SOT 62967 SOS 37564 HAS SOPS 35634 HAS SOUS 26560 HAS SOUPS 25765 WITH SCORE 25802.564
AT ITER 97 NEW BEST:: SOT 62702 SOS 37299 HAS SOPS 35369 HAS SOUS 26406 HAS SOUPS 25611 WITH SCORE 25648.299
AT ITER 102 NEW BEST:: SOT 62719 SOS 37316 HAS SOPS 35386 HAS SOUS 25933 HAS SOUPS 25138 WITH SCORE 25175.316
AT ITER 107 NEW BEST:: SOT 62666 SOS 37263 HAS SOPS 35333 HAS SOUS 25880 HAS SOUPS 25085 WITH SCORE 25122.263
AT ITER 112 NEW BEST:: SOT 62560 SOS 37415 HAS SOPS 35227 HAS SOUS 25864 HAS SOUPS 24979 WITH SCORE 25016.415
AT ITER 113 NEW BEST:: SOT 62564 SOS 37464 HAS SOPS 35176 HAS SOUS 25867 HAS SOUPS 24928 WITH SCORE 24965.464
AT ITER 116 NEW BEST:: SOT 62206 SOS 36817 HAS SOPS 34529 HAS SOUS 25458 HAS SOUPS 24519 WITH SCORE 24555.817
AT ITER 117 NEW BEST:: SOT 62206 SOS 36816 HAS SOPS 34528 HAS SOUS 25457 HAS SOUPS 24518 WITH SCORE 24554.816
AT ITER 122 NEW BEST:: SOT 62094 SOS 36704 HAS SOPS 34416 HAS SOUS 25345 HAS SOUPS 24406 WITH SCORE 24442.704
AT ITER 125 NEW BEST:: SOT 62094 SOS 36578 HAS SOPS 34290 HAS SOUS 25335 HAS SOUPS 24396 WITH SCORE 24432.578
AT ITER 132 NEW BEST:: SOT 62094 SOS 36554 HAS SOPS 34266 HAS SOUS 25311 HAS SOUPS 24372 WITH SCORE 24408.554
AT ITER 135 NEW BEST:: SOT 62020 SOS 36453 HAS SOPS 34165 HAS SOUS 25237 HAS SOUPS 24298 WITH SCORE 24334.453
AT ITER 138 NEW BEST:: SOT 62006 SOS 36418 HAS SOPS 34130 HAS SOUS 25226 HAS SOUPS 24287 WITH SCORE 24323.418
AT ITER 140 NEW BEST:: SOT 61952 SOS 36198 HAS SOPS 33910 HAS SOUS 25176 HAS SOUPS 24237 WITH SCORE 24273.198
AT ITER 141 NEW BEST:: SOT 61952 SOS 36136 HAS SOPS 33848 HAS SOUS 25114 HAS SOUPS 24175 WITH SCORE 24211.136
AT ITER 149 NEW BEST:: SOT 61832 SOS 36016 HAS SOPS 33728 HAS SOUS 25018 HAS SOUPS 24079 WITH SCORE 24115.016
AT ITER 152 NEW BEST:: SOT 61558 SOS 35742 HAS SOPS 33454 HAS SOUS 24881 HAS SOUPS 23942 WITH SCORE 23977.742
AT ITER 153 NEW BEST:: SOT 61295 SOS 35266 HAS SOPS 33191 HAS SOUS 24679 HAS SOUPS 23801 WITH SCORE 23836.266
AT ITER 155 NEW BEST:: SOT 61259 SOS 35272 HAS SOPS 33117 HAS SOUS 24653 HAS SOUPS 23727 WITH SCORE 23762.272
AT ITER 159 NEW BEST:: SOT 61071 SOS 35084 HAS SOPS 32929 HAS SOUS 24537 HAS SOUPS 23611 WITH SCORE 23646.084
AT ITER 163 NEW BEST:: SOT 60776 SOS 34995 HAS SOPS 32840 HAS SOUS 24448 HAS SOUPS 23522 WITH SCORE 23556.995
AT ITER 165 NEW BEST:: SOT 60541 SOS 34759 HAS SOPS 32604 HAS SOUS 24360 HAS SOUPS 23434 WITH SCORE 23468.759
AT ITER 166 NEW BEST:: SOT 60419 SOS 34230 HAS SOPS 32075 HAS SOUS 23990 HAS SOUPS 23064 WITH SCORE 23098.23
AT ITER 168 NEW BEST:: SOT 60234 SOS 34195 HAS SOPS 32040 HAS SOUS 23970 HAS SOUPS 23044 WITH SCORE 23078.195
AT ITER 170 NEW BEST:: SOT 60192 SOS 33931 HAS SOPS 31776 HAS SOUS 23870 HAS SOUPS 22944 WITH SCORE 22977.931
AT ITER 180 NEW BEST:: SOT 60430 SOS 33835 HAS SOPS 31680 HAS SOUS 23774 HAS SOUPS 22848 WITH SCORE 22881.835
AT ITER 190 NEW BEST:: SOT 60430 SOS 33219 HAS SOPS 31032 HAS SOUS 23617 HAS SOUPS 22659 WITH SCORE 22692.219
AT ITER 193 NEW BEST:: SOT 60110 SOS 32898 HAS SOPS 30711 HAS SOUS 23389 HAS SOUPS 22431 WITH SCORE 22463.898
AT ITER 196 NEW BEST:: SOT 60101 SOS 32889 HAS SOPS 30702 HAS SOUS 23380 HAS SOUPS 22422 WITH SCORE 22454.889
AT ITER 210 NEW BEST:: SOT 60071 SOS 32752 HAS SOPS 30565 HAS SOUS 23325 HAS SOUPS 22367 WITH SCORE 22399.752
AT ITER 211 NEW BEST:: SOT 60071 SOS 32715 HAS SOPS 30528 HAS SOUS 23325 HAS SOUPS 22367 WITH SCORE 22399.715
AT ITER 213 NEW BEST:: SOT 59748 SOS 32392 HAS SOPS 30204 HAS SOUS 23173 HAS SOUPS 22215 WITH SCORE 22247.392
AT ITER 218 NEW BEST:: SOT 59748 SOS 32408 HAS SOPS 30156 HAS SOUS 23157 HAS SOUPS 22183 WITH SCORE 22215.408
AT ITER 220 NEW BEST:: SOT 59748 SOS 32255 HAS SOPS 30003 HAS SOUS 23157 HAS SOUPS 22183 WITH SCORE 22215.255
AT ITER 226 NEW BEST:: SOT 59748 SOS 31051 HAS SOPS 28799 HAS SOUS 23157 HAS SOUPS 22183 WITH SCORE 22214.051
AT ITER 233 NEW BEST:: SOT 59476 SOS 30743 HAS SOPS 28491 HAS SOUS 22910 HAS SOUPS 21936 WITH SCORE 21966.743
AT ITER 236 NEW BEST:: SOT 59370 SOS 30690 HAS SOPS 28438 HAS SOUS 22857 HAS SOUPS 21883 WITH SCORE 21913.69
AT ITER 238 NEW BEST:: SOT 59319 SOS 30572 HAS SOPS 28320 HAS SOUS 22844 HAS SOUPS 21870 WITH SCORE 21900.572
AT ITER 246 NEW BEST:: SOT 59434 SOS 30621 HAS SOPS 28369 HAS SOUS 22742 HAS SOUPS 21768 WITH SCORE 21798.621
AT ITER 250 NEW BEST:: SOT 59323 SOS 30510 HAS SOPS 28258 HAS SOUS 22740 HAS SOUPS 21766 WITH SCORE 21796.51
AT ITER 257 NEW BEST:: SOT 59322 SOS 30508 HAS SOPS 28256 HAS SOUS 22738 HAS SOUPS 21764 WITH SCORE 21794.508
AT ITER 271 NEW BEST:: SOT 59302 SOS 30488 HAS SOPS 28236 HAS SOUS 22718 HAS SOUPS 21744 WITH SCORE 21774.488
AT ITER 274 NEW BEST:: SOT 59277 SOS 30463 HAS SOPS 28210 HAS SOUS 22693 HAS SOUPS 21718 WITH SCORE 21748.463
AT ITER 278 NEW BEST:: SOT 59276 SOS 30507 HAS SOPS 28253 HAS SOUS 22692 HAS SOUPS 21716 WITH SCORE 21746.507
AT ITER 281 NEW BEST:: SOT 59276 SOS 30423 HAS SOPS 28169 HAS SOUS 22639 HAS SOUPS 21663 WITH SCORE 21693.423
AT ITER 283 NEW BEST:: SOT 59154 SOS 30213 HAS SOPS 28047 HAS SOUS 22429 HAS SOUPS 21541 WITH SCORE 21571.213
AT ITER 296 NEW BEST:: SOT 59186 SOS 30205 HAS SOPS 28039 HAS SOUS 22421 HAS SOUPS 21533 WITH SCORE 21563.205
AT ITER 298 NEW BEST:: SOT 58766 SOS 29853 HAS SOPS 27687 HAS SOUS 22228 HAS SOUPS 21340 WITH SCORE 21369.853
AT ITER 300 NEW BEST:: SOT 58766 SOS 29853 HAS SOPS 27687 HAS SOUS 22207 HAS SOUPS 21319 WITH SCORE 21348.853
AT ITER 308 NEW BEST:: SOT 58662 SOS 29420 HAS SOPS 27254 HAS SOUS 21801 HAS SOUPS 20913 WITH SCORE 20942.42
AT ITER 310 NEW BEST:: SOT 58646 SOS 29380 HAS SOPS 27214 HAS SOUS 21793 HAS SOUPS 20905 WITH SCORE 20934.38
AT ITER 312 NEW BEST:: SOT 58645 SOS 29143 HAS SOPS 26977 HAS SOUS 21644 HAS SOUPS 20756 WITH SCORE 20785.143
AT ITER 329 NEW BEST:: SOT 58567 SOS 29013 HAS SOPS 26847 HAS SOUS 21566 HAS SOUPS 20678 WITH SCORE 20707.013
AT ITER 338 NEW BEST:: SOT 58521 SOS 28967 HAS SOPS 26802 HAS SOUS 21520 HAS SOUPS 20633 WITH SCORE 20661.967
AT ITER 340 NEW BEST:: SOT 58607 SOS 29197 HAS SOPS 26768 HAS SOUS 21576 HAS SOUPS 20601 WITH SCORE 20630.197
AT ITER 343 NEW BEST:: SOT 58627 SOS 29079 HAS SOPS 26545 HAS SOUS 21355 HAS SOUPS 20380 WITH SCORE 20409.079
AT ITER 347 NEW BEST:: SOT 58621 SOS 29073 HAS SOPS 26539 HAS SOUS 21349 HAS SOUPS 20374 WITH SCORE 20403.073
AT ITER 348 NEW BEST:: SOT 58501 SOS 29016 HAS SOPS 26482 HAS SOUS 21292 HAS SOUPS 20317 WITH SCORE 20346.016
AT ITER 357 NEW BEST:: SOT 58417 SOS 28748 HAS SOPS 26214 HAS SOUS 21196 HAS SOUPS 20221 WITH SCORE 20249.748
AT ITER 361 NEW BEST:: SOT 58416 SOS 28755 HAS SOPS 26212 HAS SOUS 21202 HAS SOUPS 20219 WITH SCORE 20247.755
AT ITER 362 NEW BEST:: SOT 58361 SOS 28708 HAS SOPS 26165 HAS SOUS 21174 HAS SOUPS 20191 WITH SCORE 20219.708
AT ITER 364 NEW BEST:: SOT 58342 SOS 28681 HAS SOPS 26138 HAS SOUS 21147 HAS SOUPS 20164 WITH SCORE 20192.681
AT ITER 375 NEW BEST:: SOT 58158 SOS 28468 HAS SOPS 25925 HAS SOUS 20986 HAS SOUPS 20003 WITH SCORE 20031.468
AT ITER 378 NEW BEST:: SOT 58085 SOS 28330 HAS SOPS 25852 HAS SOUS 20860 HAS SOUPS 19942 WITH SCORE 19970.33
AT ITER 383 NEW BEST:: SOT 58051 SOS 28245 HAS SOPS 25767 HAS SOUS 20809 HAS SOUPS 19891 WITH SCORE 19919.245
AT ITER 386 NEW BEST:: SOT 57860 SOS 27698 HAS SOPS 25576 HAS SOUS 20618 HAS SOUPS 19789 WITH SCORE 19816.698
AT ITER 387 NEW BEST:: SOT 57842 SOS 27695 HAS SOPS 25557 HAS SOUS 20613 HAS SOUPS 19770 WITH SCORE 19797.695
AT ITER 389 NEW BEST:: SOT 57843 SOS 27568 HAS SOPS 25430 HAS SOUS 20556 HAS SOUPS 19713 WITH SCORE 19740.568
AT ITER 391 NEW BEST:: SOT 57843 SOS 27723 HAS SOPS 25585 HAS SOUS 20528 HAS SOUPS 19685 WITH SCORE 19712.723
AT ITER 394 NEW BEST:: SOT 57718 SOS 27496 HAS SOPS 25358 HAS SOUS 20403 HAS SOUPS 19560 WITH SCORE 19587.496
AT ITER 395 NEW BEST:: SOT 57834 SOS 27612 HAS SOPS 25474 HAS SOUS 20369 HAS SOUPS 19526 WITH SCORE 19553.612
AT ITER 397 NEW BEST:: SOT 57837 SOS 27260 HAS SOPS 25122 HAS SOUS 20126 HAS SOUPS 19283 WITH SCORE 19310.26
AT ITER 398 NEW BEST:: SOT 57831 SOS 27192 HAS SOPS 25050 HAS SOUS 20091 HAS SOUPS 19244 WITH SCORE 19271.192
AT ITER 405 NEW BEST:: SOT 57935 SOS 27256 HAS SOPS 25047 HAS SOUS 20155 HAS SOUPS 19241 WITH SCORE 19268.256
AT ITER 409 NEW BEST:: SOT 58190 SOS 27388 HAS SOPS 25179 HAS SOUS 20152 HAS SOUPS 19238 WITH SCORE 19265.388
AT ITER 417 NEW BEST:: SOT 58441 SOS 27283 HAS SOPS 25019 HAS SOUS 19978 HAS SOUPS 19009 WITH SCORE 19036.283
AT ITER 419 NEW BEST:: SOT 58352 SOS 26940 HAS SOPS 24676 HAS SOUS 19925 HAS SOUPS 18956 WITH SCORE 18982.94
AT ITER 426 NEW BEST:: SOT 58352 SOS 27044 HAS SOPS 24616 HAS SOUS 19895 HAS SOUPS 18896 WITH SCORE 18923.044
AT ITER 427 NEW BEST:: SOT 58356 SOS 26913 HAS SOPS 24485 HAS SOUS 19836 HAS SOUPS 18837 WITH SCORE 18863.913
AT ITER 429 NEW BEST:: SOT 58390 SOS 26879 HAS SOPS 24451 HAS SOUS 19802 HAS SOUPS 18803 WITH SCORE 18829.879
AT ITER 430 NEW BEST:: SOT 58403 SOS 27275 HAS SOPS 24460 HAS SOUS 19768 HAS SOUPS 18649 WITH SCORE 18676.275
AT ITER 436 NEW BEST:: SOT 58089 SOS 26807 HAS SOPS 23992 HAS SOUS 19463 HAS SOUPS 18344 WITH SCORE 18370.807
AT ITER 440 NEW BEST:: SOT 57910 SOS 26576 HAS SOPS 23761 HAS SOUS 19268 HAS SOUPS 18149 WITH SCORE 18175.576
AT ITER 443 NEW BEST:: SOT 57802 SOS 26472 HAS SOPS 23657 HAS SOUS 19164 HAS SOUPS 18045 WITH SCORE 18071.472
AT ITER 446 NEW BEST:: SOT 57126 SOS 25819 HAS SOPS 23004 HAS SOUS 18829 HAS SOUPS 17710 WITH SCORE 17735.819
AT ITER 459 NEW BEST:: SOT 57108 SOS 25747 HAS SOPS 22932 HAS SOUS 18775 HAS SOUPS 17656 WITH SCORE 17681.747
AT ITER 463 NEW BEST:: SOT 57111 SOS 25538 HAS SOPS 22723 HAS SOUS 18679 HAS SOUPS 17560 WITH SCORE 17585.538
AT ITER 475 NEW BEST:: SOT 57017 SOS 25444 HAS SOPS 22629 HAS SOUS 18633 HAS SOUPS 17514 WITH SCORE 17539.444
AT ITER 479 NEW BEST:: SOT 56850 SOS 24813 HAS SOPS 22476 HAS SOUS 18394 HAS SOUPS 17427 WITH SCORE 17451.813
AT ITER 488 NEW BEST:: SOT 56892 SOS 24856 HAS SOPS 22519 HAS SOUS 18371 HAS SOUPS 17404 WITH SCORE 17428.856
AT ITER 493 NEW BEST:: SOT 56891 SOS 24855 HAS SOPS 22518 HAS SOUS 18370 HAS SOUPS 17403 WITH SCORE 17427.855
AT ITER 495 NEW BEST:: SOT 56891 SOS 24813 HAS SOPS 22476 HAS SOUS 18356 HAS SOUPS 17389 WITH SCORE 17413.813
AT ITER 497 NEW BEST:: SOT 56755 SOS 24673 HAS SOPS 22336 HAS SOUS 18253 HAS SOUPS 17286 WITH SCORE 17310.673
AT ITER 498 NEW BEST:: SOT 56505 SOS 24422 HAS SOPS 22110 HAS SOUS 18225 HAS SOUPS 17283 WITH SCORE 17307.422
AT ITER 499 NEW BEST:: SOT 56598 SOS 24337 HAS SOPS 22025 HAS SOUS 18079 HAS SOUPS 17137 WITH SCORE 17161.337
AT ITER 500 NEW BEST:: SOT 56624 SOS 24362 HAS SOPS 22014 HAS SOUS 18091 HAS SOUPS 17126 WITH SCORE 17150.362
AT ITER 503 NEW BEST:: SOT 56415 SOS 24211 HAS SOPS 21889 HAS SOUS 17966 HAS SOUPS 17001 WITH SCORE 17025.211
AT ITER 505 NEW BEST:: SOT 56356 SOS 23911 HAS SOPS 21589 HAS SOUS 17770 HAS SOUPS 16805 WITH SCORE 16828.911
AT ITER 521 NEW BEST:: SOT 56097 SOS 23522 HAS SOPS 21200 HAS SOUS 17622 HAS SOUPS 16657 WITH SCORE 16680.522
AT ITER 525 NEW BEST:: SOT 56046 SOS 23437 HAS SOPS 21115 HAS SOUS 17571 HAS SOUPS 16606 WITH SCORE 16629.437
AT ITER 527 NEW BEST:: SOT 56028 SOS 23419 HAS SOPS 21079 HAS SOUS 17562 HAS SOUPS 16579 WITH SCORE 16602.419
AT ITER 531 NEW BEST:: SOT 56024 SOS 23409 HAS SOPS 21069 HAS SOUS 17556 HAS SOUPS 16573 WITH SCORE 16596.409
AT ITER 546 NEW BEST:: SOT 55986 SOS 23314 HAS SOPS 20974 HAS SOUS 17535 HAS SOUPS 16552 WITH SCORE 16575.314
AT ITER 547 NEW BEST:: SOT 55809 SOS 23136 HAS SOPS 20796 HAS SOUS 17405 HAS SOUPS 16422 WITH SCORE 16445.136
AT ITER 549 NEW BEST:: SOT 55739 SOS 23053 HAS SOPS 20713 HAS SOUS 17366 HAS SOUPS 16383 WITH SCORE 16406.053
AT ITER 550 NEW BEST:: SOT 55769 SOS 22927 HAS SOPS 20587 HAS SOUS 17366 HAS SOUPS 16383 WITH SCORE 16405.927
AT ITER 562 NEW BEST:: SOT 55893 SOS 23051 HAS SOPS 20711 HAS SOUS 17337 HAS SOUPS 16354 WITH SCORE 16377.051
AT ITER 565 NEW BEST:: SOT 56014 SOS 23090 HAS SOPS 20786 HAS SOUS 17309 HAS SOUPS 16326 WITH SCORE 16349.09
AT ITER 574 NEW BEST:: SOT 56007 SOS 23083 HAS SOPS 20779 HAS SOUS 17288 HAS SOUPS 16305 WITH SCORE 16328.083
AT ITER 575 NEW BEST:: SOT 56121 SOS 23194 HAS SOPS 20779 HAS SOUS 17396 HAS SOUPS 16302 WITH SCORE 16325.194
AT ITER 577 NEW BEST:: SOT 56128 SOS 23169 HAS SOPS 20754 HAS SOUS 17364 HAS SOUPS 16270 WITH SCORE 16293.169
AT ITER 585 NEW BEST:: SOT 56124 SOS 23157 HAS SOPS 20742 HAS SOUS 17356 HAS SOUPS 16262 WITH SCORE 16285.157
AT ITER 586 NEW BEST:: SOT 56105 SOS 23059 HAS SOPS 20644 HAS SOUS 17318 HAS SOUPS 16224 WITH SCORE 16247.059
AT ITER 597 NEW BEST:: SOT 55809 SOS 22651 HAS SOPS 20638 HAS SOUS 17182 HAS SOUPS 16222 WITH SCORE 16244.651
AT ITER 598 NEW BEST:: SOT 55740 SOS 22411 HAS SOPS 20398 HAS SOUS 16942 HAS SOUPS 15982 WITH SCORE 16004.411
AT ITER 603 NEW BEST:: SOT 55691 SOS 22410 HAS SOPS 20372 HAS SOUS 16941 HAS SOUPS 15956 WITH SCORE 15978.41
AT ITER 605 NEW BEST:: SOT 55681 SOS 22415 HAS SOPS 20377 HAS SOUS 16938 HAS SOUPS 15953 WITH SCORE 15975.415
AT ITER 609 NEW BEST:: SOT 55667 SOS 22503 HAS SOPS 20412 HAS SOUS 16987 HAS SOUPS 15949 WITH SCORE 15971.503
AT ITER 611 NEW BEST:: SOT 55647 SOS 22482 HAS SOPS 20391 HAS SOUS 16966 HAS SOUPS 15928 WITH SCORE 15950.482
AT ITER 613 NEW BEST:: SOT 55618 SOS 22452 HAS SOPS 20361 HAS SOUS 16907 HAS SOUPS 15869 WITH SCORE 15891.452
AT ITER 621 NEW BEST:: SOT 55617 SOS 22451 HAS SOPS 20359 HAS SOUS 16905 HAS SOUPS 15867 WITH SCORE 15889.451
AT ITER 622 NEW BEST:: SOT 55507 SOS 22289 HAS SOPS 20197 HAS SOUS 16829 HAS SOUPS 15791 WITH SCORE 15813.289
AT ITER 641 NEW BEST:: SOT 55489 SOS 22271 HAS SOPS 20179 HAS SOUS 16811 HAS SOUPS 15773 WITH SCORE 15795.271
AT ITER 648 NEW BEST:: SOT 55489 SOS 22298 HAS SOPS 20179 HAS SOUS 16784 HAS SOUPS 15719 WITH SCORE 15741.298
AT ITER 652 NEW BEST:: SOT 55429 SOS 22208 HAS SOPS 20119 HAS SOUS 16724 HAS SOUPS 15689 WITH SCORE 15711.208
AT ITER 654 NEW BEST:: SOT 55475 SOS 22176 HAS SOPS 20087 HAS SOUS 16710 HAS SOUPS 15675 WITH SCORE 15697.176
AT ITER 668 NEW BEST:: SOT 55475 SOS 22138 HAS SOPS 20049 HAS SOUS 16697 HAS SOUPS 15662 WITH SCORE 15684.138
AT ITER 669 NEW BEST:: SOT 55473 SOS 22133 HAS SOPS 20044 HAS SOUS 16696 HAS SOUPS 15661 WITH SCORE 15683.133
AT ITER 674 NEW BEST:: SOT 55451 SOS 22115 HAS SOPS 20026 HAS SOUS 16650 HAS SOUPS 15615 WITH SCORE 15637.115
AT ITER 675 NEW BEST:: SOT 55451 SOS 22111 HAS SOPS 20022 HAS SOUS 16650 HAS SOUPS 15615 WITH SCORE 15637.111
AT ITER 678 NEW BEST:: SOT 55517 SOS 22303 HAS SOPS 20088 HAS SOUS 16699 HAS SOUPS 15605 WITH SCORE 15627.303
AT ITER 681 NEW BEST:: SOT 55478 SOS 22247 HAS SOPS 20032 HAS SOUS 16648 HAS SOUPS 15554 WITH SCORE 15576.247
AT ITER 685 NEW BEST:: SOT 55512 SOS 22360 HAS SOPS 19890 HAS SOUS 16663 HAS SOUPS 15412 WITH SCORE 15434.36
AT ITER 690 NEW BEST:: SOT 55504 SOS 22352 HAS SOPS 19882 HAS SOUS 16655 HAS SOUPS 15404 WITH SCORE 15426.352
AT ITER 696 NEW BEST:: SOT 55472 SOS 22288 HAS SOPS 19818 HAS SOUS 16591 HAS SOUPS 15340 WITH SCORE 15362.288
AT ITER 699 NEW BEST:: SOT 55472 SOS 22321 HAS SOPS 19851 HAS SOUS 16548 HAS SOUPS 15297 WITH SCORE 15319.321
AT ITER 700 NEW BEST:: SOT 55472 SOS 22270 HAS SOPS 19800 HAS SOUS 16497 HAS SOUPS 15246 WITH SCORE 15268.27
AT ITER 701 NEW BEST:: SOT 55435 SOS 22168 HAS SOPS 19698 HAS SOUS 16432 HAS SOUPS 15181 WITH SCORE 15203.168
AT ITER 703 NEW BEST:: SOT 55605 SOS 22732 HAS SOPS 19706 HAS SOUS 16548 HAS SOUPS 15158 WITH SCORE 15180.732
AT ITER 707 NEW BEST:: SOT 55679 SOS 22948 HAS SOPS 19759 HAS SOUS 16580 HAS SOUPS 15145 WITH SCORE 15167.948
AT ITER 708 NEW BEST:: SOT 55615 SOS 22910 HAS SOPS 19721 HAS SOUS 16520 HAS SOUPS 15085 WITH SCORE 15107.91
AT ITER 713 NEW BEST:: SOT 55545 SOS 22923 HAS SOPS 19734 HAS SOUS 16503 HAS SOUPS 15068 WITH SCORE 15090.923
AT ITER 720 NEW BEST:: SOT 55643 SOS 23343 HAS SOPS 19716 HAS SOUS 16613 HAS SOUPS 15050 WITH SCORE 15073.343
AT ITER 725 NEW BEST:: SOT 55627 SOS 23311 HAS SOPS 19684 HAS SOUS 16597 HAS SOUPS 15034 WITH SCORE 15057.311
AT ITER 729 NEW BEST:: SOT 55627 SOS 23276 HAS SOPS 19649 HAS SOUS 16597 HAS SOUPS 15034 WITH SCORE 15057.276
AT ITER 737 NEW BEST:: SOT 55627 SOS 23258 HAS SOPS 19631 HAS SOUS 16590 HAS SOUPS 15027 WITH SCORE 15050.258
AT ITER 749 NEW BEST:: SOT 55662 SOS 23445 HAS SOPS 19663 HAS SOUS 16670 HAS SOUPS 15022 WITH SCORE 15045.445
AT ITER 752 NEW BEST:: SOT 55662 SOS 23355 HAS SOPS 19573 HAS SOUS 16670 HAS SOUPS 15022 WITH SCORE 15045.355
AT ITER 761 NEW BEST:: SOT 55655 SOS 23323 HAS SOPS 19541 HAS SOUS 16644 HAS SOUPS 14996 WITH SCORE 15019.323
AT ITER 770 NEW BEST:: SOT 55533 SOS 23195 HAS SOPS 19413 HAS SOUS 16548 HAS SOUPS 14900 WITH SCORE 14923.195
AT ITER 773 NEW BEST:: SOT 55513 SOS 23166 HAS SOPS 19384 HAS SOUS 16532 HAS SOUPS 14884 WITH SCORE 14907.166
AT ITER 779 NEW BEST:: SOT 55433 SOS 23058 HAS SOPS 19276 HAS SOUS 16461 HAS SOUPS 14813 WITH SCORE 14836.058
AT ITER 786 NEW BEST:: SOT 55083 SOS 22708 HAS SOPS 18926 HAS SOUS 16295 HAS SOUPS 14647 WITH SCORE 14669.708
AT ITER 793 NEW BEST:: SOT 55120 SOS 22705 HAS SOPS 18923 HAS SOUS 16293 HAS SOUPS 14645 WITH SCORE 14667.705
AT ITER 795 NEW BEST:: SOT 55104 SOS 22675 HAS SOPS 18875 HAS SOUS 16247 HAS SOUPS 14597 WITH SCORE 14619.675
AT ITER 798 NEW BEST:: SOT 55102 SOS 22673 HAS SOPS 18873 HAS SOUS 16245 HAS SOUPS 14595 WITH SCORE 14617.673
AT ITER 814 NEW BEST:: SOT 55081 SOS 22652 HAS SOPS 18852 HAS SOUS 16203 HAS SOUPS 14553 WITH SCORE 14575.652
AT ITER 816 NEW BEST:: SOT 55089 SOS 22681 HAS SOPS 18881 HAS SOUS 16196 HAS SOUPS 14546 WITH SCORE 14568.681
AT ITER 830 NEW BEST:: SOT 55047 SOS 22406 HAS SOPS 18606 HAS SOUS 16112 HAS SOUPS 14462 WITH SCORE 14484.406
AT ITER 838 NEW BEST:: SOT 55046 SOS 22313 HAS SOPS 18513 HAS SOUS 16068 HAS SOUPS 14418 WITH SCORE 14440.313
AT ITER 861 NEW BEST:: SOT 55031 SOS 21553 HAS SOPS 18498 HAS SOUS 15890 HAS SOUPS 14403 WITH SCORE 14424.553
AT ITER 863 NEW BEST:: SOT 55031 SOS 21538 HAS SOPS 18384 HAS SOUS 15776 HAS SOUPS 14289 WITH SCORE 14310.538
AT ITER 865 NEW BEST:: SOT 55025 SOS 21529 HAS SOPS 18375 HAS SOUS 15773 HAS SOUPS 14286 WITH SCORE 14307.529
AT ITER 872 NEW BEST:: SOT 54932 SOS 21436 HAS SOPS 18282 HAS SOUS 15688 HAS SOUPS 14201 WITH SCORE 14222.436
AT ITER 874 NEW BEST:: SOT 54980 SOS 21613 HAS SOPS 18279 HAS SOUS 15736 HAS SOUPS 14198 WITH SCORE 14219.613
AT ITER 888 NEW BEST:: SOT 54980 SOS 21601 HAS SOPS 18267 HAS SOUS 15736 HAS SOUPS 14198 WITH SCORE 14219.601
AT ITER 898 NEW BEST:: SOT 54941 SOS 21558 HAS SOPS 18228 HAS SOUS 15693 HAS SOUPS 14159 WITH SCORE 14180.558
AT ITER 924 NEW BEST:: SOT 54933 SOS 21547 HAS SOPS 18217 HAS SOUS 15682 HAS SOUPS 14148 WITH SCORE 14169.547
AT ITER 936 NEW BEST:: SOT 54907 SOS 21641 HAS SOPS 18258 HAS SOUS 15701 HAS SOUPS 14114 WITH SCORE 14135.641
AT ITER 955 NEW BEST:: SOT 54857 SOS 21656 HAS SOPS 18273 HAS SOUS 15668 HAS SOUPS 14081 WITH SCORE 14102.656
AT ITER 970 NEW BEST:: SOT 54803 SOS 21575 HAS SOPS 18192 HAS SOUS 15614 HAS SOUPS 14027 WITH SCORE 14048.575
AT ITER 975 NEW BEST:: SOT 54688 SOS 21440 HAS SOPS 18057 HAS SOUS 15551 HAS SOUPS 13964 WITH SCORE 13985.44
AT ITER 978 NEW BEST:: SOT 54564 SOS 21306 HAS SOPS 17809 HAS SOUS 15559 HAS SOUPS 13858 WITH SCORE 13879.306
AT ITER 982 NEW BEST:: SOT 54565 SOS 21340 HAS SOPS 17811 HAS SOUS 15528 HAS SOUPS 13827 WITH SCORE 13848.34
AT ITER 999 NEW BEST:: SOT 54512 SOS 21251 HAS SOPS 17758 HAS SOUS 15458 HAS SOUPS 13793 WITH SCORE 13814.251
AT ITER 1021 NEW BEST:: SOT 54512 SOS 21188 HAS SOPS 17737 HAS SOUS 15421 HAS SOUPS 13793 WITH SCORE 13814.188
AT ITER 1023 NEW BEST:: SOT 54485 SOS 21160 HAS SOPS 17709 HAS SOUS 15393 HAS SOUPS 13765 WITH SCORE 13786.16
AT ITER 1024 NEW BEST:: SOT 54356 SOS 21289 HAS SOPS 17546 HAS SOUS 15347 HAS SOUPS 13595 WITH SCORE 13616.289
AT ITER 1040 NEW BEST:: SOT 54460 SOS 21362 HAS SOPS 17527 HAS SOUS 15362 HAS SOUPS 13576 WITH SCORE 13597.362
AT ITER 1046 NEW BEST:: SOT 54454 SOS 21356 HAS SOPS 17521 HAS SOUS 15356 HAS SOUPS 13570 WITH SCORE 13591.356
AT ITER 1077 NEW BEST:: SOT 54454 SOS 21314 HAS SOPS 17479 HAS SOUS 15337 HAS SOUPS 13551 WITH SCORE 13572.314
AT ITER 1085 NEW BEST:: SOT 54441 SOS 21288 HAS SOPS 17453 HAS SOUS 15298 HAS SOUPS 13512 WITH SCORE 13533.288
AT ITER 1088 NEW BEST:: SOT 54448 SOS 21295 HAS SOPS 17460 HAS SOUS 15291 HAS SOUPS 13505 WITH SCORE 13526.295
AT ITER 1091 NEW BEST:: SOT 54484 SOS 20988 HAS SOPS 17231 HAS SOUS 15163 HAS SOUPS 13455 WITH SCORE 13475.988
AT ITER 1099 NEW BEST:: SOT 54473 SOS 20988 HAS SOPS 17209 HAS SOUS 15158 HAS SOUPS 13433 WITH SCORE 13453.988
AT ITER 1113 NEW BEST:: SOT 54397 SOS 20933 HAS SOPS 17154 HAS SOUS 15148 HAS SOUPS 13423 WITH SCORE 13443.933
AT ITER 1116 NEW BEST:: SOT 54407 SOS 20943 HAS SOPS 17150 HAS SOUS 15158 HAS SOUPS 13419 WITH SCORE 13439.943
AT ITER 1117 NEW BEST:: SOT 54377 SOS 20940 HAS SOPS 17147 HAS SOUS 15155 HAS SOUPS 13416 WITH SCORE 13436.94
AT ITER 1127 NEW BEST:: SOT 54373 SOS 20932 HAS SOPS 17139 HAS SOUS 15151 HAS SOUPS 13412 WITH SCORE 13432.932
AT ITER 1130 NEW BEST:: SOT 54373 SOS 20905 HAS SOPS 17112 HAS SOUS 15133 HAS SOUPS 13394 WITH SCORE 13414.905
AT ITER 1138 NEW BEST:: SOT 54370 SOS 20902 HAS SOPS 17104 HAS SOUS 15130 HAS SOUPS 13386 WITH SCORE 13406.902
AT ITER 1150 NEW BEST:: SOT 54365 SOS 20883 HAS SOPS 17085 HAS SOUS 15125 HAS SOUPS 13381 WITH SCORE 13401.883
AT ITER 1171 NEW BEST:: SOT 54323 SOS 20875 HAS SOPS 17043 HAS SOUS 15117 HAS SOUPS 13339 WITH SCORE 13359.875
AT ITER 1173 NEW BEST:: SOT 54273 SOS 20825 HAS SOPS 16943 HAS SOUS 15029 HAS SOUPS 13239 WITH SCORE 13259.825
AT ITER 1176 NEW BEST:: SOT 54250 SOS 20538 HAS SOPS 16699 HAS SOUS 14928 HAS SOUPS 13138 WITH SCORE 13158.538
AT ITER 1180 NEW BEST:: SOT 54234 SOS 20512 HAS SOPS 16673 HAS SOUS 14910 HAS SOUPS 13120 WITH SCORE 13140.512
AT ITER 1189 NEW BEST:: SOT 54192 SOS 20448 HAS SOPS 16609 HAS SOUS 14846 HAS SOUPS 13056 WITH SCORE 13076.448
AT ITER 1192 NEW BEST:: SOT 54169 SOS 20573 HAS SOPS 16563 HAS SOUS 14871 HAS SOUPS 13010 WITH SCORE 13030.573
AT ITER 1239 NEW BEST:: SOT 54202 SOS 20552 HAS SOPS 16542 HAS SOUS 14865 HAS SOUPS 13004 WITH SCORE 13024.552
AT ITER 1243 NEW BEST:: SOT 54169 SOS 20486 HAS SOPS 16476 HAS SOUS 14832 HAS SOUPS 12971 WITH SCORE 12991.486
AT ITER 1258 NEW BEST:: SOT 54185 SOS 20509 HAS SOPS 16468 HAS SOUS 14855 HAS SOUPS 12963 WITH SCORE 12983.509
AT ITER 1261 NEW BEST:: SOT 54178 SOS 20501 HAS SOPS 16460 HAS SOUS 14847 HAS SOUPS 12955 WITH SCORE 12975.501
AT ITER 1272 NEW BEST:: SOT 54182 SOS 20525 HAS SOPS 16468 HAS SOUS 14843 HAS SOUPS 12951 WITH SCORE 12971.525
AT ITER 1279 NEW BEST:: SOT 54179 SOS 20478 HAS SOPS 16421 HAS SOUS 14779 HAS SOUPS 12887 WITH SCORE 12907.478
AT ITER 1284 NEW BEST:: SOT 54179 SOS 20478 HAS SOPS 16421 HAS SOUS 14775 HAS SOUPS 12883 WITH SCORE 12903.478
AT ITER 1292 NEW BEST:: SOT 54179 SOS 20403 HAS SOPS 16421 HAS SOUS 14775 HAS SOUPS 12883 WITH SCORE 12903.403
AT ITER 1293 NEW BEST:: SOT 54198 SOS 20391 HAS SOPS 16398 HAS SOUS 14752 HAS SOUPS 12860 WITH SCORE 12880.391
AT ITER 1300 NEW BEST:: SOT 54198 SOS 20377 HAS SOPS 16384 HAS SOUS 14752 HAS SOUPS 12860 WITH SCORE 12880.377
AT ITER 1307 NEW BEST:: SOT 54164 SOS 20326 HAS SOPS 16350 HAS SOUS 14727 HAS SOUPS 12852 WITH SCORE 12872.326
AT ITER 1318 NEW BEST:: SOT 54164 SOS 20370 HAS SOPS 16328 HAS SOUS 14716 HAS SOUPS 12830 WITH SCORE 12850.37
AT ITER 1323 NEW BEST:: SOT 54162 SOS 20368 HAS SOPS 16326 HAS SOUS 14714 HAS SOUPS 12828 WITH SCORE 12848.368
AT ITER 1328 NEW BEST:: SOT 54162 SOS 20347 HAS SOPS 16305 HAS SOUS 14714 HAS SOUPS 12828 WITH SCORE 12848.347
AT ITER 1339 NEW BEST:: SOT 54158 SOS 20343 HAS SOPS 16301 HAS SOUS 14710 HAS SOUPS 12824 WITH SCORE 12844.343
AT ITER 1380 NEW BEST:: SOT 54110 SOS 20247 HAS SOPS 16205 HAS SOUS 14646 HAS SOUPS 12760 WITH SCORE 12780.247
AT ITER 1382 NEW BEST:: SOT 54106 SOS 20239 HAS SOPS 16197 HAS SOUS 14638 HAS SOUPS 12752 WITH SCORE 12772.239
AT ITER 1403 NEW BEST:: SOT 54106 SOS 20206 HAS SOPS 16164 HAS SOUS 14638 HAS SOUPS 12752 WITH SCORE 12772.206
AT ITER 1404 NEW BEST:: SOT 54084 SOS 20201 HAS SOPS 16142 HAS SOUS 14627 HAS SOUPS 12730 WITH SCORE 12750.201
AT ITER 1419 NEW BEST:: SOT 54045 SOS 20090 HAS SOPS 16031 HAS SOUS 14545 HAS SOUPS 12648 WITH SCORE 12668.09
AT ITER 1420 NEW BEST:: SOT 54007 SOS 20006 HAS SOPS 16012 HAS SOUS 14526 HAS SOUPS 12629 WITH SCORE 12649.006
AT ITER 1429 NEW BEST:: SOT 53977 SOS 19871 HAS SOPS 15982 HAS SOUS 14466 HAS SOUPS 12599 WITH SCORE 12618.871
AT ITER 1430 NEW BEST:: SOT 54018 SOS 19818 HAS SOPS 15970 HAS SOUS 14413 HAS SOUPS 12587 WITH SCORE 12606.818
AT ITER 1433 NEW BEST:: SOT 53996 SOS 19774 HAS SOPS 15926 HAS SOUS 14380 HAS SOUPS 12554 WITH SCORE 12573.774
AT ITER 1449 NEW BEST:: SOT 53885 SOS 19494 HAS SOPS 15646 HAS SOUS 14265 HAS SOUPS 12439 WITH SCORE 12458.494
AT ITER 1460 NEW BEST:: SOT 53980 SOS 19431 HAS SOPS 15583 HAS SOUS 14208 HAS SOUPS 12382 WITH SCORE 12401.431
AT ITER 1464 NEW BEST:: SOT 53991 SOS 19650 HAS SOPS 15542 HAS SOUS 14215 HAS SOUPS 12324 WITH SCORE 12343.65
AT ITER 1471 NEW BEST:: SOT 53977 SOS 19639 HAS SOPS 15531 HAS SOUS 14206 HAS SOUPS 12315 WITH SCORE 12334.639
AT ITER 1480 NEW BEST:: SOT 53965 SOS 19627 HAS SOPS 15519 HAS SOUS 14206 HAS SOUPS 12315 WITH SCORE 12334.627
AT ITER 1498 NEW BEST:: SOT 53935 SOS 19597 HAS SOPS 15489 HAS SOUS 14176 HAS SOUPS 12285 WITH SCORE 12304.597
AT ITER 1510 NEW BEST:: SOT 53893 SOS 19559 HAS SOPS 15451 HAS SOUS 14158 HAS SOUPS 12267 WITH SCORE 12286.559
AT ITER 1512 NEW BEST:: SOT 53899 SOS 19562 HAS SOPS 15426 HAS SOUS 14154 HAS SOUPS 12256 WITH SCORE 12275.562
AT ITER 1515 NEW BEST:: SOT 53865 SOS 19528 HAS SOPS 15392 HAS SOUS 14154 HAS SOUPS 12256 WITH SCORE 12275.528
AT ITER 1519 NEW BEST:: SOT 53856 SOS 19519 HAS SOPS 15383 HAS SOUS 14154 HAS SOUPS 12256 WITH SCORE 12275.519
AT ITER 1520 NEW BEST:: SOT 53902 SOS 19921 HAS SOPS 15429 HAS SOUS 14242 HAS SOUPS 12226 WITH SCORE 12245.921
AT ITER 1527 NEW BEST:: SOT 53903 SOS 19922 HAS SOPS 15430 HAS SOUS 14228 HAS SOUPS 12212 WITH SCORE 12231.922
AT ITER 1530 NEW BEST:: SOT 53857 SOS 19876 HAS SOPS 15384 HAS SOUS 14182 HAS SOUPS 12166 WITH SCORE 12185.876
AT ITER 1531 NEW BEST:: SOT 53853 SOS 19872 HAS SOPS 15378 HAS SOUS 14180 HAS SOUPS 12162 WITH SCORE 12181.872
AT ITER 1543 NEW BEST:: SOT 53812 SOS 19831 HAS SOPS 15296 HAS SOUS 14139 HAS SOUPS 12121 WITH SCORE 12140.831
AT ITER 1586 NEW BEST:: SOT 53806 SOS 19825 HAS SOPS 15290 HAS SOUS 14133 HAS SOUPS 12115 WITH SCORE 12134.825
AT ITER 1610 NEW BEST:: SOT 53780 SOS 19799 HAS SOPS 15264 HAS SOUS 14107 HAS SOUPS 12089 WITH SCORE 12108.799
AT ITER 1625 NEW BEST:: SOT 53774 SOS 19793 HAS SOPS 15258 HAS SOUS 14101 HAS SOUPS 12083 WITH SCORE 12102.793
AT ITER 1651 NEW BEST:: SOT 53762 SOS 19747 HAS SOPS 15246 HAS SOUS 14055 HAS SOUPS 12071 WITH SCORE 12090.747
AT ITER 1670 NEW BEST:: SOT 53762 SOS 19747 HAS SOPS 15246 HAS SOUS 14035 HAS SOUPS 12051 WITH SCORE 12070.747
AT ITER 1676 NEW BEST:: SOT 53765 SOS 19719 HAS SOPS 15218 HAS SOUS 14014 HAS SOUPS 12030 WITH SCORE 12049.719
AT ITER 1693 NEW BEST:: SOT 53734 SOS 19594 HAS SOPS 15217 HAS SOUS 13982 HAS SOUPS 12029 WITH SCORE 12048.594
AT ITER 1708 NEW BEST:: SOT 53733 SOS 19558 HAS SOPS 15181 HAS SOUS 13971 HAS SOUPS 12018 WITH SCORE 12037.558
AT ITER 1711 NEW BEST:: SOT 53709 SOS 19560 HAS SOPS 15183 HAS SOUS 13949 HAS SOUPS 11996 WITH SCORE 12015.56
AT ITER 1717 NEW BEST:: SOT 53709 SOS 19560 HAS SOPS 15180 HAS SOUS 13949 HAS SOUPS 11993 WITH SCORE 12012.56
AT ITER 1724 NEW BEST:: SOT 53709 SOS 19559 HAS SOPS 15179 HAS SOUS 13949 HAS SOUPS 11993 WITH SCORE 12012.559
AT ITER 1731 NEW BEST:: SOT 53646 SOS 19476 HAS SOPS 15096 HAS SOUS 13901 HAS SOUPS 11945 WITH SCORE 11964.476
AT ITER 1777 NEW BEST:: SOT 53646 SOS 19462 HAS SOPS 15089 HAS SOUS 13894 HAS SOUPS 11945 WITH SCORE 11964.462
AT ITER 1799 NEW BEST:: SOT 53506 SOS 19008 HAS SOPS 15037 HAS SOUS 13770 HAS SOUPS 11922 WITH SCORE 11941.008
AT ITER 1836 NEW BEST:: SOT 53501 SOS 18981 HAS SOPS 15019 HAS SOUS 13755 HAS SOUPS 11907 WITH SCORE 11925.981
AT ITER 1844 NEW BEST:: SOT 53479 SOS 18959 HAS SOPS 14997 HAS SOUS 13711 HAS SOUPS 11863 WITH SCORE 11881.959
AT ITER 1852 NEW BEST:: SOT 53381 SOS 18912 HAS SOPS 14950 HAS SOUS 13674 HAS SOUPS 11826 WITH SCORE 11844.912
AT ITER 1862 NEW BEST:: SOT 53381 SOS 18906 HAS SOPS 14944 HAS SOUS 13671 HAS SOUPS 11823 WITH SCORE 11841.906
AT ITER 1896 NEW BEST:: SOT 53309 SOS 18781 HAS SOPS 14819 HAS SOUS 13580 HAS SOUPS 11732 WITH SCORE 11750.781
AT ITER 1902 NEW BEST:: SOT 53297 SOS 18769 HAS SOPS 14795 HAS SOUS 13568 HAS SOUPS 11720 WITH SCORE 11738.769
AT ITER 1906 NEW BEST:: SOT 53274 SOS 18746 HAS SOPS 14769 HAS SOUS 13562 HAS SOUPS 11714 WITH SCORE 11732.746
AT ITER 1911 NEW BEST:: SOT 53190 SOS 18662 HAS SOPS 14685 HAS SOUS 13478 HAS SOUPS 11630 WITH SCORE 11648.662
AT ITER 1921 NEW BEST:: SOT 53166 SOS 18608 HAS SOPS 14631 HAS SOUS 13448 HAS SOUPS 11600 WITH SCORE 11618.608
AT ITER 1925 NEW BEST:: SOT 53165 SOS 18607 HAS SOPS 14630 HAS SOUS 13439 HAS SOUPS 11591 WITH SCORE 11609.607
AT ITER 1935 NEW BEST:: SOT 53071 SOS 18596 HAS SOPS 14619 HAS SOUS 13428 HAS SOUPS 11580 WITH SCORE 11598.596
AT ITER 1939 NEW BEST:: SOT 53071 SOS 18581 HAS SOPS 14619 HAS SOUS 13428 HAS SOUPS 11580 WITH SCORE 11598.581
AT ITER 1941 NEW BEST:: SOT 53051 SOS 18561 HAS SOPS 14586 HAS SOUS 13421 HAS SOUPS 11560 WITH SCORE 11578.561
AT ITER 1943 NEW BEST:: SOT 53042 SOS 18552 HAS SOPS 14577 HAS SOUS 13412 HAS SOUPS 11551 WITH SCORE 11569.552
AT ITER 1967 NEW BEST:: SOT 53042 SOS 18604 HAS SOPS 14577 HAS SOUS 13399 HAS SOUPS 11525 WITH SCORE 11543.604
AT ITER 1974 NEW BEST:: SOT 52990 SOS 18533 HAS SOPS 14506 HAS SOUS 13328 HAS SOUPS 11454 WITH SCORE 11472.533
AT ITER 2015 NEW BEST:: SOT 52904 SOS 18454 HAS SOPS 14497 HAS SOUS 13249 HAS SOUPS 11445 WITH SCORE 11463.454
AT ITER 2019 NEW BEST:: SOT 52870 SOS 18420 HAS SOPS 14450 HAS SOUS 13223 HAS SOUPS 11419 WITH SCORE 11437.42
AT ITER 2027 NEW BEST:: SOT 52870 SOS 18371 HAS SOPS 14368 HAS SOUS 13207 HAS SOUPS 11370 WITH SCORE 11388.371
AT ITER 2046 NEW BEST:: SOT 52870 SOS 18317 HAS SOPS 14206 HAS SOUS 13180 HAS SOUPS 11316 WITH SCORE 11334.317
AT ITER 2091 NEW BEST:: SOT 52800 SOS 18157 HAS SOPS 14046 HAS SOUS 13110 HAS SOUPS 11246 WITH SCORE 11264.157
AT ITER 2092 NEW BEST:: SOT 52764 SOS 18064 HAS SOPS 13953 HAS SOUS 13053 HAS SOUPS 11189 WITH SCORE 11207.064
AT ITER 2101 NEW BEST:: SOT 52764 SOS 18052 HAS SOPS 13941 HAS SOUS 13041 HAS SOUPS 11177 WITH SCORE 11195.052
AT ITER 2104 NEW BEST:: SOT 52736 SOS 18054 HAS SOPS 13943 HAS SOUS 13034 HAS SOUPS 11170 WITH SCORE 11188.054
AT ITER 2105 NEW BEST:: SOT 52726 SOS 18044 HAS SOPS 13947 HAS SOUS 13013 HAS SOUPS 11163 WITH SCORE 11181.044
AT ITER 2111 NEW BEST:: SOT 52780 SOS 18370 HAS SOPS 13920 HAS SOUS 13093 HAS SOUPS 11136 WITH SCORE 11154.37
AT ITER 2112 NEW BEST:: SOT 52793 SOS 18383 HAS SOPS 13933 HAS SOUS 13074 HAS SOUPS 11117 WITH SCORE 11135.383
AT ITER 2116 NEW BEST:: SOT 52763 SOS 18389 HAS SOPS 13912 HAS SOUS 13097 HAS SOUPS 11113 WITH SCORE 11131.389
AT ITER 2129 NEW BEST:: SOT 52719 SOS 18478 HAS SOPS 13967 HAS SOUS 13109 HAS SOUPS 11091 WITH SCORE 11109.478
AT ITER 2136 NEW BEST:: SOT 52727 SOS 18509 HAS SOPS 13962 HAS SOUS 13114 HAS SOUPS 11087 WITH SCORE 11105.509
AT ITER 2146 NEW BEST:: SOT 52727 SOS 18499 HAS SOPS 13952 HAS SOUS 13098 HAS SOUPS 11071 WITH SCORE 11089.499
AT ITER 2161 NEW BEST:: SOT 52726 SOS 18498 HAS SOPS 13951 HAS SOUS 13097 HAS SOUPS 11070 WITH SCORE 11088.498
AT ITER 2162 NEW BEST:: SOT 52726 SOS 18484 HAS SOPS 13937 HAS SOUS 13083 HAS SOUPS 11056 WITH SCORE 11074.484
AT ITER 2184 NEW BEST:: SOT 52746 SOS 18504 HAS SOPS 13895 HAS SOUS 13041 HAS SOUPS 11014 WITH SCORE 11032.504
AT ITER 2190 NEW BEST:: SOT 52782 SOS 18540 HAS SOPS 13931 HAS SOUS 13027 HAS SOUPS 11000 WITH SCORE 11018.54
AT ITER 2196 NEW BEST:: SOT 52781 SOS 18539 HAS SOPS 13929 HAS SOUS 13025 HAS SOUPS 10998 WITH SCORE 11016.539
AT ITER 2214 NEW BEST:: SOT 52762 SOS 18520 HAS SOPS 13924 HAS SOUS 13006 HAS SOUPS 10993 WITH SCORE 11011.52
AT ITER 2244 NEW BEST:: SOT 52756 SOS 18514 HAS SOPS 13918 HAS SOUS 13000 HAS SOUPS 10987 WITH SCORE 11005.514
AT ITER 2275 NEW BEST:: SOT 52747 SOS 18505 HAS SOPS 13893 HAS SOUS 12991 HAS SOUPS 10962 WITH SCORE 10980.505
AT ITER 2280 NEW BEST:: SOT 52753 SOS 18478 HAS SOPS 13866 HAS SOUS 12981 HAS SOUPS 10952 WITH SCORE 10970.478
AT ITER 2281 NEW BEST:: SOT 52743 SOS 18454 HAS SOPS 13842 HAS SOUS 12957 HAS SOUPS 10928 WITH SCORE 10946.454
AT ITER 2286 NEW BEST:: SOT 52743 SOS 18520 HAS SOPS 13863 HAS SOUS 12978 HAS SOUPS 10904 WITH SCORE 10922.52
AT ITER 2297 NEW BEST:: SOT 52700 SOS 18458 HAS SOPS 13801 HAS SOUS 12953 HAS SOUPS 10879 WITH SCORE 10897.458
AT ITER 2321 NEW BEST:: SOT 52700 SOS 18458 HAS SOPS 13801 HAS SOUS 12946 HAS SOUPS 10872 WITH SCORE 10890.458
AT ITER 2336 NEW BEST:: SOT 52692 SOS 18450 HAS SOPS 13793 HAS SOUS 12938 HAS SOUPS 10864 WITH SCORE 10882.45
AT ITER 2344 NEW BEST:: SOT 52677 SOS 18435 HAS SOPS 13778 HAS SOUS 12926 HAS SOUPS 10852 WITH SCORE 10870.435
AT ITER 2345 NEW BEST:: SOT 52625 SOS 18411 HAS SOPS 13724 HAS SOUS 12902 HAS SOUPS 10798 WITH SCORE 10816.411
AT ITER 2360 NEW BEST:: SOT 52537 SOS 18280 HAS SOPS 13636 HAS SOUS 12814 HAS SOUPS 10753 WITH SCORE 10771.28
AT ITER 2373 NEW BEST:: SOT 52542 SOS 18285 HAS SOPS 13617 HAS SOUS 12818 HAS SOUPS 10744 WITH SCORE 10762.285
AT ITER 2402 NEW BEST:: SOT 52576 SOS 18406 HAS SOPS 13615 HAS SOUS 12852 HAS SOUPS 10742 WITH SCORE 10760.406
AT ITER 2435 NEW BEST:: SOT 52563 SOS 18393 HAS SOPS 13602 HAS SOUS 12849 HAS SOUPS 10739 WITH SCORE 10757.393
AT ITER 2442 NEW BEST:: SOT 52529 SOS 18321 HAS SOPS 13530 HAS SOUS 12813 HAS SOUPS 10703 WITH SCORE 10721.321
AT ITER 2446 NEW BEST:: SOT 52519 SOS 18286 HAS SOPS 13495 HAS SOUS 12813 HAS SOUPS 10703 WITH SCORE 10721.286
AT ITER 2461 NEW BEST:: SOT 52519 SOS 18278 HAS SOPS 13495 HAS SOUS 12813 HAS SOUPS 10703 WITH SCORE 10721.278
AT ITER 2509 NEW BEST:: SOT 52510 SOS 18269 HAS SOPS 13495 HAS SOUS 12804 HAS SOUPS 10703 WITH SCORE 10721.269
AT ITER 2561 NEW BEST:: SOT 52487 SOS 18158 HAS SOPS 13384 HAS SOUS 12758 HAS SOUPS 10657 WITH SCORE 10675.158
AT ITER 2569 NEW BEST:: SOT 52490 SOS 18159 HAS SOPS 13385 HAS SOUS 12756 HAS SOUPS 10655 WITH SCORE 10673.159
AT ITER 2588 NEW BEST:: SOT 52482 SOS 18146 HAS SOPS 13372 HAS SOUS 12741 HAS SOUPS 10640 WITH SCORE 10658.146
AT ITER 2590 NEW BEST:: SOT 52486 SOS 18144 HAS SOPS 13370 HAS SOUS 12735 HAS SOUPS 10634 WITH SCORE 10652.144
AT ITER 2601 NEW BEST:: SOT 52499 SOS 18202 HAS SOPS 13364 HAS SOUS 12739 HAS SOUPS 10628 WITH SCORE 10646.202
AT ITER 2618 NEW BEST:: SOT 52416 SOS 18164 HAS SOPS 13326 HAS SOUS 12692 HAS SOUPS 10581 WITH SCORE 10599.164
AT ITER 2622 NEW BEST:: SOT 52298 SOS 18030 HAS SOPS 13192 HAS SOUS 12634 HAS SOUPS 10523 WITH SCORE 10541.03
AT ITER 2662 NEW BEST:: SOT 52298 SOS 18029 HAS SOPS 13191 HAS SOUS 12634 HAS SOUPS 10523 WITH SCORE 10541.029
AT ITER 2703 NEW BEST:: SOT 52278 SOS 18023 HAS SOPS 13185 HAS SOUS 12628 HAS SOUPS 10517 WITH SCORE 10535.023
AT ITER 2705 NEW BEST:: SOT 52277 SOS 18005 HAS SOPS 13183 HAS SOUS 12626 HAS SOUPS 10515 WITH SCORE 10533.005
AT ITER 2716 NEW BEST:: SOT 52277 SOS 18014 HAS SOPS 13180 HAS SOUS 12626 HAS SOUPS 10512 WITH SCORE 10530.014
AT ITER 2720 NEW BEST:: SOT 52271 SOS 18009 HAS SOPS 13175 HAS SOUS 12622 HAS SOUPS 10508 WITH SCORE 10526.009
AT ITER 2726 NEW BEST:: SOT 52268 SOS 18006 HAS SOPS 13169 HAS SOUS 12633 HAS SOUPS 10502 WITH SCORE 10520.006
AT ITER 2737 NEW BEST:: SOT 52295 SOS 18001 HAS SOPS 13164 HAS SOUS 12625 HAS SOUPS 10494 WITH SCORE 10512.001
AT ITER 2748 NEW BEST:: SOT 52283 SOS 17993 HAS SOPS 13144 HAS SOUS 12613 HAS SOUPS 10476 WITH SCORE 10493.993
AT ITER 2765 NEW BEST:: SOT 52283 SOS 17957 HAS SOPS 13144 HAS SOUS 12577 HAS SOUPS 10476 WITH SCORE 10493.957
AT ITER 2771 NEW BEST:: SOT 52263 SOS 17787 HAS SOPS 12974 HAS SOUS 12554 HAS SOUPS 10453 WITH SCORE 10470.787
AT ITER 2789 NEW BEST:: SOT 52212 SOS 17757 HAS SOPS 12944 HAS SOUS 12473 HAS SOUPS 10372 WITH SCORE 10389.757
AT ITER 2792 NEW BEST:: SOT 52209 SOS 17754 HAS SOPS 12941 HAS SOUS 12473 HAS SOUPS 10372 WITH SCORE 10389.754
AT ITER 2793 NEW BEST:: SOT 52208 SOS 17755 HAS SOPS 12939 HAS SOUS 12471 HAS SOUPS 10370 WITH SCORE 10387.755
AT ITER 2796 NEW BEST:: SOT 52178 SOS 17725 HAS SOPS 12949 HAS SOUS 12436 HAS SOUPS 10345 WITH SCORE 10362.725
AT ITER 2806 NEW BEST:: SOT 52179 SOS 17724 HAS SOPS 12948 HAS SOUS 12435 HAS SOUPS 10344 WITH SCORE 10361.724
AT ITER 2812 NEW BEST:: SOT 52046 SOS 17591 HAS SOPS 12758 HAS SOUS 12321 HAS SOUPS 10230 WITH SCORE 10247.591
AT ITER 2831 NEW BEST:: SOT 52045 SOS 17590 HAS SOPS 12757 HAS SOUS 12320 HAS SOUPS 10229 WITH SCORE 10246.59
AT ITER 2870 NEW BEST:: SOT 52044 SOS 17522 HAS SOPS 12755 HAS SOUS 12297 HAS SOUPS 10227 WITH SCORE 10244.522
AT ITER 2881 NEW BEST:: SOT 52017 SOS 17460 HAS SOPS 12755 HAS SOUS 12270 HAS SOUPS 10227 WITH SCORE 10244.46
AT ITER 2894 NEW BEST:: SOT 52017 SOS 17460 HAS SOPS 12755 HAS SOUS 12263 HAS SOUPS 10220 WITH SCORE 10237.46
AT ITER 2895 NEW BEST:: SOT 52017 SOS 17458 HAS SOPS 12755 HAS SOUS 12263 HAS SOUPS 10220 WITH SCORE 10237.458
AT ITER 2908 NEW BEST:: SOT 52011 SOS 17443 HAS SOPS 12740 HAS SOUS 12251 HAS SOUPS 10208 WITH SCORE 10225.443
AT ITER 2931 NEW BEST:: SOT 51987 SOS 17419 HAS SOPS 12666 HAS SOUS 12253 HAS SOUPS 10160 WITH SCORE 10177.419
AT ITER 2936 NEW BEST:: SOT 51971 SOS 17402 HAS SOPS 12643 HAS SOUS 12245 HAS SOUPS 10146 WITH SCORE 10163.402
AT ITER 2973 NEW BEST:: SOT 51964 SOS 17377 HAS SOPS 12618 HAS SOUS 12238 HAS SOUPS 10139 WITH SCORE 10156.377
AT ITER 2979 NEW BEST:: SOT 51953 SOS 17386 HAS SOPS 12604 HAS SOUS 12222 HAS SOUPS 10123 WITH SCORE 10140.386
AT ITER 2986 NEW BEST:: SOT 51942 SOS 17331 HAS SOPS 12593 HAS SOUS 12211 HAS SOUPS 10123 WITH SCORE 10140.331
AT ITER 3029 NEW BEST:: SOT 51930 SOS 17263 HAS SOPS 12581 HAS SOUS 12197 HAS SOUPS 10123 WITH SCORE 10140.263
AT ITER 3050 NEW BEST:: SOT 51920 SOS 17253 HAS SOPS 12561 HAS SOUS 12199 HAS SOUPS 10103 WITH SCORE 10120.253
AT ITER 3052 NEW BEST:: SOT 51908 SOS 17209 HAS SOPS 12517 HAS SOUS 12177 HAS SOUPS 10081 WITH SCORE 10098.209
AT ITER 3053 NEW BEST:: SOT 51902 SOS 17212 HAS SOPS 12520 HAS SOUS 12174 HAS SOUPS 10078 WITH SCORE 10095.212
AT ITER 3055 NEW BEST:: SOT 51895 SOS 17205 HAS SOPS 12506 HAS SOUS 12174 HAS SOUPS 10071 WITH SCORE 10088.205
AT ITER 3060 NEW BEST:: SOT 51907 SOS 17193 HAS SOPS 12494 HAS SOUS 12174 HAS SOUPS 10071 WITH SCORE 10088.193
AT ITER 3065 NEW BEST:: SOT 51908 SOS 17194 HAS SOPS 12460 HAS SOUS 12168 HAS SOUPS 10037 WITH SCORE 10054.194
AT ITER 3075 NEW BEST:: SOT 51870 SOS 17042 HAS SOPS 12460 HAS SOUS 12130 HAS SOUPS 10037 WITH SCORE 10054.042
AT ITER 3082 NEW BEST:: SOT 51861 SOS 17033 HAS SOPS 12442 HAS SOUS 12112 HAS SOUPS 10019 WITH SCORE 10036.033
AT ITER 3097 NEW BEST:: SOT 51868 SOS 17030 HAS SOPS 12439 HAS SOUS 12105 HAS SOUPS 10012 WITH SCORE 10029.03
AT ITER 3106 NEW BEST:: SOT 51832 SOS 16958 HAS SOPS 12367 HAS SOUS 12069 HAS SOUPS 9976 WITH SCORE 9992.958
AT ITER 3144 NEW BEST:: SOT 51830 SOS 16953 HAS SOPS 12362 HAS SOUS 12065 HAS SOUPS 9972 WITH SCORE 9988.953
AT ITER 3157 NEW BEST:: SOT 51994 SOS 17144 HAS SOPS 12376 HAS SOUS 12221 HAS SOUPS 9951 WITH SCORE 9968.144
AT ITER 3164 NEW BEST:: SOT 51990 SOS 17136 HAS SOPS 12368 HAS SOUS 12213 HAS SOUPS 9943 WITH SCORE 9960.136
AT ITER 3171 NEW BEST:: SOT 51986 SOS 17148 HAS SOPS 12372 HAS SOUS 12207 HAS SOUPS 9929 WITH SCORE 9946.148
AT ITER 3178 NEW BEST:: SOT 51956 SOS 17140 HAS SOPS 12364 HAS SOUS 12198 HAS SOUPS 9920 WITH SCORE 9937.14
AT ITER 3260 NEW BEST:: SOT 51962 SOS 17141 HAS SOPS 12361 HAS SOUS 12199 HAS SOUPS 9917 WITH SCORE 9934.141
AT ITER 3278 NEW BEST:: SOT 51982 SOS 17266 HAS SOPS 12346 HAS SOUS 12219 HAS SOUPS 9902 WITH SCORE 9919.266
AT ITER 3288 NEW BEST:: SOT 51978 SOS 17262 HAS SOPS 12338 HAS SOUS 12215 HAS SOUPS 9894 WITH SCORE 9911.262
AT ITER 3293 NEW BEST:: SOT 51951 SOS 17261 HAS SOPS 12337 HAS SOUS 12188 HAS SOUPS 9867 WITH SCORE 9884.261
AT ITER 3298 NEW BEST:: SOT 51925 SOS 17235 HAS SOPS 12311 HAS SOUS 12142 HAS SOUPS 9821 WITH SCORE 9838.235
AT ITER 3352 NEW BEST:: SOT 51925 SOS 17235 HAS SOPS 12311 HAS SOUS 12136 HAS SOUPS 9815 WITH SCORE 9832.235
AT ITER 3361 NEW BEST:: SOT 51984 SOS 17477 HAS SOPS 12309 HAS SOUS 12193 HAS SOUPS 9811 WITH SCORE 9828.477
AT ITER 3376 NEW BEST:: SOT 52067 SOS 17590 HAS SOPS 12464 HAS SOUS 12138 HAS SOUPS 9756 WITH SCORE 9773.59
AT ITER 3386 NEW BEST:: SOT 52065 SOS 17588 HAS SOPS 12460 HAS SOUS 12136 HAS SOUPS 9752 WITH SCORE 9769.588
AT ITER 3394 NEW BEST:: SOT 52040 SOS 17565 HAS SOPS 12441 HAS SOUS 12119 HAS SOUPS 9739 WITH SCORE 9756.565
AT ITER 3399 NEW BEST:: SOT 52031 SOS 17556 HAS SOPS 12454 HAS SOUS 12088 HAS SOUPS 9730 WITH SCORE 9747.556
AT ITER 3405 NEW BEST:: SOT 52024 SOS 17549 HAS SOPS 12440 HAS SOUS 12080 HAS SOUPS 9722 WITH SCORE 9739.549
AT ITER 3414 NEW BEST:: SOT 52023 SOS 17548 HAS SOPS 12439 HAS SOUS 12077 HAS SOUPS 9719 WITH SCORE 9736.548
AT ITER 3495 NEW BEST:: SOT 52013 SOS 17543 HAS SOPS 12434 HAS SOUS 12077 HAS SOUPS 9719 WITH SCORE 9736.543
AT ITER 3537 NEW BEST:: SOT 52022 SOS 17623 HAS SOPS 12426 HAS SOUS 12091 HAS SOUPS 9711 WITH SCORE 9728.623
AT ITER 3549 NEW BEST:: SOT 52012 SOS 17722 HAS SOPS 12525 HAS SOUS 12066 HAS SOUPS 9686 WITH SCORE 9703.722
AT ITER 3568 NEW BEST:: SOT 52001 SOS 17711 HAS SOPS 12525 HAS SOUS 12049 HAS SOUPS 9680 WITH SCORE 9697.711
AT ITER 3591 NEW BEST:: SOT 51963 SOS 17673 HAS SOPS 12487 HAS SOUS 12011 HAS SOUPS 9642 WITH SCORE 9659.673
AT ITER 3598 NEW BEST:: SOT 51946 SOS 17674 HAS SOPS 12488 HAS SOUS 12009 HAS SOUPS 9640 WITH SCORE 9657.674
AT ITER 3601 NEW BEST:: SOT 51944 SOS 17669 HAS SOPS 12483 HAS SOUS 12002 HAS SOUPS 9633 WITH SCORE 9650.669
AT ITER 3656 NEW BEST:: SOT 51916 SOS 17598 HAS SOPS 12414 HAS SOUS 11955 HAS SOUPS 9586 WITH SCORE 9603.598
AT ITER 3662 NEW BEST:: SOT 51854 SOS 17536 HAS SOPS 12352 HAS SOUS 11924 HAS SOUPS 9555 WITH SCORE 9572.536
AT ITER 3673 NEW BEST:: SOT 51846 SOS 17528 HAS SOPS 12340 HAS SOUS 11916 HAS SOUPS 9547 WITH SCORE 9564.528
AT ITER 3683 NEW BEST:: SOT 51838 SOS 17651 HAS SOPS 12463 HAS SOUS 11907 HAS SOUPS 9538 WITH SCORE 9555.651
AT ITER 3819 NEW BEST:: SOT 51830 SOS 17635 HAS SOPS 12455 HAS SOUS 11899 HAS SOUPS 9530 WITH SCORE 9547.635
AT ITER 3823 NEW BEST:: SOT 51829 SOS 17628 HAS SOPS 12453 HAS SOUS 11897 HAS SOUPS 9528 WITH SCORE 9545.628
AT ITER 3842 NEW BEST:: SOT 51827 SOS 17626 HAS SOPS 12451 HAS SOUS 11891 HAS SOUPS 9522 WITH SCORE 9539.626
AT ITER 3856 NEW BEST:: SOT 51826 SOS 17625 HAS SOPS 12450 HAS SOUS 11890 HAS SOUPS 9521 WITH SCORE 9538.625
AT ITER 3918 NEW BEST:: SOT 51835 SOS 17686 HAS SOPS 12459 HAS SOUS 11899 HAS SOUPS 9517 WITH SCORE 9534.686
AT ITER 3972 NEW BEST:: SOT 51835 SOS 17686 HAS SOPS 12459 HAS SOUS 11889 HAS SOUPS 9507 WITH SCORE 9524.686
AT ITER 3993 NEW BEST:: SOT 51809 SOS 17670 HAS SOPS 12443 HAS SOUS 11847 HAS SOUPS 9465 WITH SCORE 9482.67
AT ITER 4020 NEW BEST:: SOT 51815 SOS 17651 HAS SOPS 12424 HAS SOUS 11847 HAS SOUPS 9465 WITH SCORE 9482.651
AT ITER 4023 NEW BEST:: SOT 51815 SOS 17624 HAS SOPS 12397 HAS SOUS 11820 HAS SOUPS 9438 WITH SCORE 9455.624
AT ITER 4033 NEW BEST:: SOT 51829 SOS 17638 HAS SOPS 12411 HAS SOUS 11814 HAS SOUPS 9432 WITH SCORE 9449.638
AT ITER 4035 NEW BEST:: SOT 51785 SOS 17620 HAS SOPS 12393 HAS SOUS 11796 HAS SOUPS 9414 WITH SCORE 9431.62
AT ITER 4055 NEW BEST:: SOT 51785 SOS 17413 HAS SOPS 12186 HAS SOUS 11796 HAS SOUPS 9414 WITH SCORE 9431.413
AT ITER 4059 NEW BEST:: SOT 51784 SOS 17412 HAS SOPS 12184 HAS SOUS 11794 HAS SOUPS 9412 WITH SCORE 9429.412
AT ITER 4077 NEW BEST:: SOT 51784 SOS 17409 HAS SOPS 12181 HAS SOUS 11794 HAS SOUPS 9412 WITH SCORE 9429.409
AT ITER 4090 NEW BEST:: SOT 51809 SOS 17423 HAS SOPS 12195 HAS SOUS 11786 HAS SOUPS 9404 WITH SCORE 9421.423
AT ITER 4114 NEW BEST:: SOT 51808 SOS 17420 HAS SOPS 12192 HAS SOUS 11784 HAS SOUPS 9402 WITH SCORE 9419.42
AT ITER 4133 NEW BEST:: SOT 51802 SOS 17434 HAS SOPS 12206 HAS SOUS 11778 HAS SOUPS 9396 WITH SCORE 9413.434
AT ITER 4140 NEW BEST:: SOT 51866 SOS 17709 HAS SOPS 12197 HAS SOUS 11840 HAS SOUPS 9387 WITH SCORE 9404.709
AT ITER 4183 NEW BEST:: SOT 51849 SOS 17692 HAS SOPS 12135 HAS SOUS 11808 HAS SOUPS 9353 WITH SCORE 9370.692
AT ITER 4220 NEW BEST:: SOT 51849 SOS 17692 HAS SOPS 12124 HAS SOUS 11797 HAS SOUPS 9342 WITH SCORE 9359.692
AT ITER 4238 NEW BEST:: SOT 51839 SOS 17672 HAS SOPS 12104 HAS SOUS 11786 HAS SOUPS 9331 WITH SCORE 9348.672
AT ITER 4265 NEW BEST:: SOT 51833 SOS 17654 HAS SOPS 12086 HAS SOUS 11768 HAS SOUPS 9313 WITH SCORE 9330.654
AT ITER 4284 NEW BEST:: SOT 51817 SOS 17638 HAS SOPS 12070 HAS SOUS 11752 HAS SOUPS 9297 WITH SCORE 9314.638
AT ITER 4352 NEW BEST:: SOT 51817 SOS 17614 HAS SOPS 12046 HAS SOUS 11752 HAS SOUPS 9297 WITH SCORE 9314.614
AT ITER 4394 NEW BEST:: SOT 51811 SOS 17608 HAS SOPS 12040 HAS SOUS 11748 HAS SOUPS 9293 WITH SCORE 9310.608
AT ITER 4418 NEW BEST:: SOT 51810 SOS 17607 HAS SOPS 12039 HAS SOUS 11747 HAS SOUPS 9292 WITH SCORE 9309.607
AT ITER 4517 NEW BEST:: SOT 51801 SOS 17581 HAS SOPS 12013 HAS SOUS 11733 HAS SOUPS 9278 WITH SCORE 9295.581
AT ITER 4536 NEW BEST:: SOT 51791 SOS 17571 HAS SOPS 12003 HAS SOUS 11723 HAS SOUPS 9268 WITH SCORE 9285.571
AT ITER 4549 NEW BEST:: SOT 51885 SOS 17814 HAS SOPS 11956 HAS SOUS 11770 HAS SOUPS 9221 WITH SCORE 9238.814
AT ITER 4558 NEW BEST:: SOT 51851 SOS 17677 HAS SOPS 11819 HAS SOUS 11681 HAS SOUPS 9132 WITH SCORE 9149.677
AT ITER 4619 NEW BEST:: SOT 51857 SOS 17681 HAS SOPS 11823 HAS SOUS 11678 HAS SOUPS 9129 WITH SCORE 9146.681
AT ITER 4638 NEW BEST:: SOT 51857 SOS 17650 HAS SOPS 11772 HAS SOUS 11647 HAS SOUPS 9078 WITH SCORE 9095.65
AT ITER 4642 NEW BEST:: SOT 51850 SOS 17533 HAS SOPS 11767 HAS SOUS 11618 HAS SOUPS 9077 WITH SCORE 9094.533
AT ITER 4650 NEW BEST:: SOT 51851 SOS 17529 HAS SOPS 11763 HAS SOUS 11614 HAS SOUPS 9073 WITH SCORE 9090.529
AT ITER 4693 NEW BEST:: SOT 51844 SOS 17530 HAS SOPS 11753 HAS SOUS 11615 HAS SOUPS 9063 WITH SCORE 9080.53
AT ITER 4718 NEW BEST:: SOT 51853 SOS 17514 HAS SOPS 11737 HAS SOUS 11602 HAS SOUPS 9050 WITH SCORE 9067.514
AT ITER 4763 NEW BEST:: SOT 51848 SOS 17509 HAS SOPS 11732 HAS SOUS 11597 HAS SOUPS 9045 WITH SCORE 9062.509
AT ITER 4793 NEW BEST:: SOT 51847 SOS 17508 HAS SOPS 11731 HAS SOUS 11596 HAS SOUPS 9044 WITH SCORE 9061.508
AT ITER 4847 NEW BEST:: SOT 51847 SOS 17454 HAS SOPS 11731 HAS SOUS 11596 HAS SOUPS 9044 WITH SCORE 9061.454
AT ITER 4862 NEW BEST:: SOT 51846 SOS 17453 HAS SOPS 11730 HAS SOUS 11595 HAS SOUPS 9043 WITH SCORE 9060.453
AT ITER 4881 NEW BEST:: SOT 51844 SOS 17448 HAS SOPS 11725 HAS SOUS 11593 HAS SOUPS 9041 WITH SCORE 9058.448
AT ITER 4890 NEW BEST:: SOT 51908 SOS 17497 HAS SOPS 11774 HAS SOUS 11585 HAS SOUPS 9033 WITH SCORE 9050.497
AT ITER 4896 NEW BEST:: SOT 51897 SOS 17522 HAS SOPS 11799 HAS SOUS 11574 HAS SOUPS 9022 WITH SCORE 9039.522
AT ITER 4916 NEW BEST:: SOT 51898 SOS 17499 HAS SOPS 11776 HAS SOUS 11561 HAS SOUPS 9009 WITH SCORE 9026.499
AT ITER 4926 NEW BEST:: SOT 51900 SOS 17333 HAS SOPS 11574 HAS SOUS 11556 HAS SOUPS 8995 WITH SCORE 9012.333
AT ITER 4968 NEW BEST:: SOT 51862 SOS 17192 HAS SOPS 11574 HAS SOUS 11518 HAS SOUPS 8995 WITH SCORE 9012.192
AT ITER 5009 NEW BEST:: SOT 51873 SOS 17203 HAS SOPS 11585 HAS SOUS 11508 HAS SOUPS 8985 WITH SCORE 9002.203
AT ITER 5037 NEW BEST:: SOT 51867 SOS 17204 HAS SOPS 11586 HAS SOUS 11503 HAS SOUPS 8980 WITH SCORE 8997.204
AT ITER 5054 NEW BEST:: SOT 51822 SOS 17084 HAS SOPS 11466 HAS SOUS 11455 HAS SOUPS 8932 WITH SCORE 8949.084
AT ITER 5097 NEW BEST:: SOT 51819 SOS 17081 HAS SOPS 11463 HAS SOUS 11449 HAS SOUPS 8926 WITH SCORE 8943.081
AT ITER 5192 NEW BEST:: SOT 51816 SOS 17075 HAS SOPS 11457 HAS SOUS 11443 HAS SOUPS 8920 WITH SCORE 8937.075
AT ITER 5206 NEW BEST:: SOT 51813 SOS 17072 HAS SOPS 11454 HAS SOUS 11440 HAS SOUPS 8917 WITH SCORE 8934.072
AT ITER 5212 NEW BEST:: SOT 51813 SOS 17063 HAS SOPS 11445 HAS SOUS 11431 HAS SOUPS 8908 WITH SCORE 8925.063
AT ITER 5224 NEW BEST:: SOT 51808 SOS 16957 HAS SOPS 11339 HAS SOUS 11431 HAS SOUPS 8908 WITH SCORE 8924.957
AT ITER 5242 NEW BEST:: SOT 51798 SOS 16846 HAS SOPS 11264 HAS SOUS 11405 HAS SOUPS 8882 WITH SCORE 8898.846
AT ITER 5257 NEW BEST:: SOT 51795 SOS 16799 HAS SOPS 11261 HAS SOUS 11391 HAS SOUPS 8879 WITH SCORE 8895.799
AT ITER 5266 NEW BEST:: SOT 51795 SOS 16797 HAS SOPS 11259 HAS SOUS 11389 HAS SOUPS 8877 WITH SCORE 8893.797
AT ITER 5281 NEW BEST:: SOT 51793 SOS 16792 HAS SOPS 11254 HAS SOUS 11382 HAS SOUPS 8870 WITH SCORE 8886.792
AT ITER 5306 NEW BEST:: SOT 51788 SOS 16784 HAS SOPS 11269 HAS SOUS 11382 HAS SOUPS 8870 WITH SCORE 8886.784
AT ITER 5310 NEW BEST:: SOT 51788 SOS 16753 HAS SOPS 11269 HAS SOUS 11351 HAS SOUPS 8870 WITH SCORE 8886.753
AT ITER 5311 NEW BEST:: SOT 51795 SOS 16760 HAS SOPS 11262 HAS SOUS 11358 HAS SOUPS 8863 WITH SCORE 8879.76
AT ITER 5342 NEW BEST:: SOT 51789 SOS 16742 HAS SOPS 11244 HAS SOUS 11346 HAS SOUPS 8851 WITH SCORE 8867.742
AT ITER 5377 NEW BEST:: SOT 51764 SOS 16619 HAS SOPS 11210 HAS SOUS 11223 HAS SOUPS 8817 WITH SCORE 8833.619
AT ITER 5394 NEW BEST:: SOT 51748 SOS 16616 HAS SOPS 11207 HAS SOUS 11214 HAS SOUPS 8808 WITH SCORE 8824.616
AT ITER 5451 NEW BEST:: SOT 51740 SOS 16608 HAS SOPS 11199 HAS SOUS 11214 HAS SOUPS 8808 WITH SCORE 8824.608
AT ITER 5473 NEW BEST:: SOT 51740 SOS 16601 HAS SOPS 11199 HAS SOUS 11214 HAS SOUPS 8808 WITH SCORE 8824.601
AT ITER 5477 NEW BEST:: SOT 51739 SOS 16597 HAS SOPS 11195 HAS SOUS 11210 HAS SOUPS 8804 WITH SCORE 8820.597
AT ITER 5536 NEW BEST:: SOT 51719 SOS 16577 HAS SOPS 11175 HAS SOUS 11190 HAS SOUPS 8784 WITH SCORE 8800.577
AT ITER 5590 NEW BEST:: SOT 51727 SOS 16585 HAS SOPS 11183 HAS SOUS 11185 HAS SOUPS 8779 WITH SCORE 8795.585
AT ITER 5622 NEW BEST:: SOT 51724 SOS 16536 HAS SOPS 11134 HAS SOUS 11166 HAS SOUPS 8760 WITH SCORE 8776.536
AT ITER 5648 NEW BEST:: SOT 51721 SOS 16535 HAS SOPS 11132 HAS SOUS 11165 HAS SOUPS 8758 WITH SCORE 8774.535
AT ITER 5652 NEW BEST:: SOT 51721 SOS 16579 HAS SOPS 11154 HAS SOUS 11165 HAS SOUPS 8736 WITH SCORE 8752.579
AT ITER 5654 NEW BEST:: SOT 51721 SOS 16568 HAS SOPS 11154 HAS SOUS 11165 HAS SOUPS 8736 WITH SCORE 8752.568
AT ITER 5663 NEW BEST:: SOT 51748 SOS 16565 HAS SOPS 11135 HAS SOUS 11162 HAS SOUPS 8717 WITH SCORE 8733.565
AT ITER 5665 NEW BEST:: SOT 51741 SOS 16558 HAS SOPS 11134 HAS SOUS 11148 HAS SOUPS 8703 WITH SCORE 8719.558
AT ITER 5688 NEW BEST:: SOT 51741 SOS 16543 HAS SOPS 11119 HAS SOUS 11133 HAS SOUPS 8688 WITH SCORE 8704.543
AT ITER 5699 NEW BEST:: SOT 51733 SOS 16534 HAS SOPS 11111 HAS SOUS 11124 HAS SOUPS 8680 WITH SCORE 8696.534
AT ITER 5714 NEW BEST:: SOT 51726 SOS 16515 HAS SOPS 11092 HAS SOUS 11109 HAS SOUPS 8665 WITH SCORE 8681.515
AT ITER 5716 NEW BEST:: SOT 51723 SOS 16512 HAS SOPS 11089 HAS SOUS 11103 HAS SOUPS 8659 WITH SCORE 8675.512
AT ITER 5775 NEW BEST:: SOT 51714 SOS 16503 HAS SOPS 11071 HAS SOUS 11094 HAS SOUPS 8641 WITH SCORE 8657.503
AT ITER 5776 NEW BEST:: SOT 51714 SOS 16503 HAS SOPS 11058 HAS SOUS 11081 HAS SOUPS 8628 WITH SCORE 8644.503
AT ITER 5778 NEW BEST:: SOT 51710 SOS 16499 HAS SOPS 11054 HAS SOUS 11073 HAS SOUPS 8620 WITH SCORE 8636.499
AT ITER 5817 NEW BEST:: SOT 51710 SOS 16494 HAS SOPS 11054 HAS SOUS 11068 HAS SOUPS 8620 WITH SCORE 8636.494
AT ITER 5826 NEW BEST:: SOT 51710 SOS 16458 HAS SOPS 11018 HAS SOUS 11032 HAS SOUPS 8584 WITH SCORE 8600.458
AT ITER 5857 NEW BEST:: SOT 51700 SOS 16458 HAS SOPS 11018 HAS SOUS 11022 HAS SOUPS 8574 WITH SCORE 8590.458
AT ITER 5864 NEW BEST:: SOT 51672 SOS 16428 HAS SOPS 10988 HAS SOUS 10994 HAS SOUPS 8546 WITH SCORE 8562.428
AT ITER 5879 NEW BEST:: SOT 51648 SOS 16387 HAS SOPS 10947 HAS SOUS 10957 HAS SOUPS 8509 WITH SCORE 8525.387
AT ITER 5882 NEW BEST:: SOT 51646 SOS 16390 HAS SOPS 10950 HAS SOUS 10956 HAS SOUPS 8508 WITH SCORE 8524.39
AT ITER 5891 NEW BEST:: SOT 51656 SOS 16396 HAS SOPS 10956 HAS SOUS 10950 HAS SOUPS 8502 WITH SCORE 8518.396
AT ITER 5943 NEW BEST:: SOT 51656 SOS 16395 HAS SOPS 10955 HAS SOUS 10949 HAS SOUPS 8501 WITH SCORE 8517.395
AT ITER 5955 NEW BEST:: SOT 51656 SOS 16395 HAS SOPS 10955 HAS SOUS 10947 HAS SOUPS 8499 WITH SCORE 8515.395
AT ITER 5982 NEW BEST:: SOT 51654 SOS 16393 HAS SOPS 10953 HAS SOUS 10941 HAS SOUPS 8493 WITH SCORE 8509.393
AT ITER 5994 NEW BEST:: SOT 51650 SOS 16286 HAS SOPS 10931 HAS SOUS 10834 HAS SOUPS 8471 WITH SCORE 8487.286
AT ITER 5995 NEW BEST:: SOT 51615 SOS 16208 HAS SOPS 10861 HAS SOUS 10764 HAS SOUPS 8401 WITH SCORE 8417.208
AT ITER 6013 NEW BEST:: SOT 51612 SOS 16207 HAS SOPS 10860 HAS SOUS 10763 HAS SOUPS 8400 WITH SCORE 8416.207
AT ITER 6072 NEW BEST:: SOT 51605 SOS 16200 HAS SOPS 10853 HAS SOUS 10749 HAS SOUPS 8386 WITH SCORE 8402.2
AT ITER 6167 NEW BEST:: SOT 51607 SOS 16204 HAS SOPS 10857 HAS SOUS 10747 HAS SOUPS 8384 WITH SCORE 8400.204
AT ITER 6193 NEW BEST:: SOT 51553 SOS 15984 HAS SOPS 10803 HAS SOUS 10639 HAS SOUPS 8330 WITH SCORE 8345.984
AT ITER 6200 NEW BEST:: SOT 51541 SOS 15954 HAS SOPS 10797 HAS SOUS 10633 HAS SOUPS 8324 WITH SCORE 8339.954
AT ITER 6207 NEW BEST:: SOT 51537 SOS 15950 HAS SOPS 10789 HAS SOUS 10625 HAS SOUPS 8316 WITH SCORE 8331.95
AT ITER 6224 NEW BEST:: SOT 51537 SOS 15945 HAS SOPS 10789 HAS SOUS 10620 HAS SOUPS 8316 WITH SCORE 8331.945
AT ITER 6263 NEW BEST:: SOT 51564 SOS 15926 HAS SOPS 10770 HAS SOUS 10599 HAS SOUPS 8295 WITH SCORE 8310.926
AT ITER 6282 NEW BEST:: SOT 51564 SOS 15915 HAS SOPS 10770 HAS SOUS 10599 HAS SOUPS 8295 WITH SCORE 8310.915
AT ITER 6285 NEW BEST:: SOT 51562 SOS 15918 HAS SOPS 10768 HAS SOUS 10602 HAS SOUPS 8293 WITH SCORE 8308.918
AT ITER 6298 NEW BEST:: SOT 51561 SOS 15917 HAS SOPS 10766 HAS SOUS 10615 HAS SOUPS 8291 WITH SCORE 8306.917
AT ITER 6317 NEW BEST:: SOT 51561 SOS 15918 HAS SOPS 10767 HAS SOUS 10607 HAS SOUPS 8283 WITH SCORE 8298.918
AT ITER 6429 NEW BEST:: SOT 51526 SOS 15883 HAS SOPS 10774 HAS SOUS 10568 HAS SOUPS 8257 WITH SCORE 8272.883
AT ITER 6498 NEW BEST:: SOT 51515 SOS 15872 HAS SOPS 10763 HAS SOUS 10557 HAS SOUPS 8246 WITH SCORE 8261.872
AT ITER 6531 NEW BEST:: SOT 51503 SOS 15860 HAS SOPS 10747 HAS SOUS 10549 HAS SOUPS 8238 WITH SCORE 8253.86
AT ITER 6553 NEW BEST:: SOT 51428 SOS 15513 HAS SOPS 10680 HAS SOUS 10471 HAS SOUPS 8232 WITH SCORE 8247.513
AT ITER 6568 NEW BEST:: SOT 51420 SOS 15473 HAS SOPS 10672 HAS SOUS 10463 HAS SOUPS 8232 WITH SCORE 8247.473
AT ITER 6613 NEW BEST:: SOT 51417 SOS 15470 HAS SOPS 10669 HAS SOUS 10461 HAS SOUPS 8230 WITH SCORE 8245.47
AT ITER 6639 NEW BEST:: SOT 51436 SOS 15489 HAS SOPS 10688 HAS SOUS 10437 HAS SOUPS 8206 WITH SCORE 8221.489
AT ITER 6642 NEW BEST:: SOT 51428 SOS 15482 HAS SOPS 10681 HAS SOUS 10435 HAS SOUPS 8204 WITH SCORE 8219.482
AT ITER 6693 NEW BEST:: SOT 51410 SOS 15455 HAS SOPS 10654 HAS SOUS 10408 HAS SOUPS 8177 WITH SCORE 8192.455
AT ITER 6752 NEW BEST:: SOT 51421 SOS 15465 HAS SOPS 10664 HAS SOUS 10407 HAS SOUPS 8176 WITH SCORE 8191.465
AT ITER 6759 NEW BEST:: SOT 51419 SOS 15463 HAS SOPS 10662 HAS SOUS 10406 HAS SOUPS 8175 WITH SCORE 8190.463
AT ITER 6774 NEW BEST:: SOT 51411 SOS 15451 HAS SOPS 10650 HAS SOUS 10398 HAS SOUPS 8167 WITH SCORE 8182.451
AT ITER 6794 NEW BEST:: SOT 51411 SOS 15315 HAS SOPS 10650 HAS SOUS 10364 HAS SOUPS 8167 WITH SCORE 8182.315
AT ITER 6798 NEW BEST:: SOT 51410 SOS 15309 HAS SOPS 10644 HAS SOUS 10358 HAS SOUPS 8161 WITH SCORE 8176.309
AT ITER 6830 NEW BEST:: SOT 51408 SOS 15304 HAS SOPS 10639 HAS SOUS 10355 HAS SOUPS 8158 WITH SCORE 8173.304
AT ITER 6870 NEW BEST:: SOT 51356 SOS 15217 HAS SOPS 10587 HAS SOUS 10278 HAS SOUPS 8108 WITH SCORE 8123.217
AT ITER 6932 NEW BEST:: SOT 51356 SOS 15209 HAS SOPS 10587 HAS SOUS 10278 HAS SOUPS 8108 WITH SCORE 8123.209
AT ITER 6987 NEW BEST:: SOT 51352 SOS 15205 HAS SOPS 10583 HAS SOUS 10278 HAS SOUPS 8108 WITH SCORE 8123.205
AT ITER 6988 NEW BEST:: SOT 51343 SOS 15178 HAS SOPS 10556 HAS SOUS 10260 HAS SOUPS 8090 WITH SCORE 8105.178
AT ITER 7054 NEW BEST:: SOT 51340 SOS 15187 HAS SOPS 10550 HAS SOUS 10257 HAS SOUPS 8087 WITH SCORE 8102.187
AT ITER 7080 NEW BEST:: SOT 51340 SOS 15191 HAS SOPS 10550 HAS SOUS 10257 HAS SOUPS 8086 WITH SCORE 8101.191
AT ITER 7086 NEW BEST:: SOT 51344 SOS 15199 HAS SOPS 10558 HAS SOUS 10253 HAS SOUPS 8082 WITH SCORE 8097.199
AT ITER 7094 NEW BEST:: SOT 51340 SOS 15187 HAS SOPS 10550 HAS SOUS 10249 HAS SOUPS 8078 WITH SCORE 8093.187
AT ITER 7097 NEW BEST:: SOT 51331 SOS 15178 HAS SOPS 10541 HAS SOUS 10241 HAS SOUPS 8070 WITH SCORE 8085.178
AT ITER 7101 NEW BEST:: SOT 51331 SOS 14997 HAS SOPS 10541 HAS SOUS 10241 HAS SOUPS 8070 WITH SCORE 8084.997
AT ITER 7115 NEW BEST:: SOT 51325 SOS 14991 HAS SOPS 10532 HAS SOUS 10236 HAS SOUPS 8064 WITH SCORE 8078.991
AT ITER 7143 NEW BEST:: SOT 51323 SOS 14991 HAS SOPS 10532 HAS SOUS 10234 HAS SOUPS 8062 WITH SCORE 8076.991
AT ITER 7177 NEW BEST:: SOT 51317 SOS 14985 HAS SOPS 10526 HAS SOUS 10231 HAS SOUPS 8059 WITH SCORE 8073.985
AT ITER 7180 NEW BEST:: SOT 51288 SOS 14910 HAS SOPS 10467 HAS SOUS 10178 HAS SOUPS 8022 WITH SCORE 8036.91
AT ITER 7181 NEW BEST:: SOT 51287 SOS 14902 HAS SOPS 10459 HAS SOUS 10177 HAS SOUPS 8021 WITH SCORE 8035.902
AT ITER 7247 NEW BEST:: SOT 51261 SOS 14837 HAS SOPS 10445 HAS SOUS 10155 HAS SOUPS 8016 WITH SCORE 8030.837
AT ITER 7251 NEW BEST:: SOT 51261 SOS 14823 HAS SOPS 10438 HAS SOUS 10148 HAS SOUPS 8016 WITH SCORE 8030.823
AT ITER 7258 NEW BEST:: SOT 51261 SOS 14820 HAS SOPS 10432 HAS SOUS 10148 HAS SOUPS 8013 WITH SCORE 8027.82
AT ITER 7284 NEW BEST:: SOT 51257 SOS 14812 HAS SOPS 10424 HAS SOUS 10140 HAS SOUPS 8005 WITH SCORE 8019.812
AT ITER 7362 NEW BEST:: SOT 51252 SOS 14807 HAS SOPS 10419 HAS SOUS 10130 HAS SOUPS 7995 WITH SCORE 8009.807
AT ITER 7383 NEW BEST:: SOT 51229 SOS 14790 HAS SOPS 10387 HAS SOUS 10124 HAS SOUPS 7974 WITH SCORE 7988.79
AT ITER 7386 NEW BEST:: SOT 51224 SOS 14766 HAS SOPS 10382 HAS SOUS 10114 HAS SOUPS 7964 WITH SCORE 7978.766
AT ITER 7410 NEW BEST:: SOT 51216 SOS 14756 HAS SOPS 10372 HAS SOUS 10100 HAS SOUPS 7950 WITH SCORE 7964.756
AT ITER 7422 NEW BEST:: SOT 51212 SOS 14754 HAS SOPS 10370 HAS SOUS 10098 HAS SOUPS 7948 WITH SCORE 7962.754
AT ITER 7432 NEW BEST:: SOT 51191 SOS 14649 HAS SOPS 10349 HAS SOUS 10077 HAS SOUPS 7948 WITH SCORE 7962.649
AT ITER 7472 NEW BEST:: SOT 51209 SOS 14701 HAS SOPS 10335 HAS SOUS 10095 HAS SOUPS 7944 WITH SCORE 7958.701
AT ITER 7482 NEW BEST:: SOT 51211 SOS 14700 HAS SOPS 10334 HAS SOUS 10094 HAS SOUPS 7943 WITH SCORE 7957.7
AT ITER 7501 NEW BEST:: SOT 51204 SOS 14685 HAS SOPS 10327 HAS SOUS 10079 HAS SOUPS 7936 WITH SCORE 7950.685
AT ITER 7544 NEW BEST:: SOT 51206 SOS 14688 HAS SOPS 10329 HAS SOUS 10079 HAS SOUPS 7935 WITH SCORE 7949.688
AT ITER 7553 NEW BEST:: SOT 51123 SOS 14685 HAS SOPS 10326 HAS SOUS 10076 HAS SOUPS 7932 WITH SCORE 7946.685
AT ITER 7554 NEW BEST:: SOT 51121 SOS 14730 HAS SOPS 10322 HAS SOUS 10073 HAS SOUPS 7928 WITH SCORE 7942.73
AT ITER 7560 NEW BEST:: SOT 51131 SOS 14740 HAS SOPS 10296 HAS SOUS 10081 HAS SOUPS 7902 WITH SCORE 7916.74
AT ITER 7648 NEW BEST:: SOT 51137 SOS 14744 HAS SOPS 10300 HAS SOUS 10076 HAS SOUPS 7897 WITH SCORE 7911.744
AT ITER 7704 NEW BEST:: SOT 51109 SOS 14660 HAS SOPS 10272 HAS SOUS 10048 HAS SOUPS 7883 WITH SCORE 7897.66
AT ITER 7737 NEW BEST:: SOT 51092 SOS 14645 HAS SOPS 10257 HAS SOUS 10039 HAS SOUPS 7874 WITH SCORE 7888.645
AT ITER 7768 NEW BEST:: SOT 51092 SOS 14648 HAS SOPS 10260 HAS SOUS 10038 HAS SOUPS 7873 WITH SCORE 7887.648
AT ITER 7784 NEW BEST:: SOT 51088 SOS 14638 HAS SOPS 10250 HAS SOUS 10032 HAS SOUPS 7867 WITH SCORE 7881.638
AT ITER 7820 NEW BEST:: SOT 51100 SOS 14650 HAS SOPS 10247 HAS SOUS 10029 HAS SOUPS 7864 WITH SCORE 7878.65
AT ITER 7846 NEW BEST:: SOT 51100 SOS 14623 HAS SOPS 10220 HAS SOUS 10004 HAS SOUPS 7839 WITH SCORE 7853.623
AT ITER 7872 NEW BEST:: SOT 51100 SOS 14617 HAS SOPS 10209 HAS SOUS 10003 HAS SOUPS 7833 WITH SCORE 7847.617
AT ITER 7895 NEW BEST:: SOT 51076 SOS 14617 HAS SOPS 10209 HAS SOUS 9991 HAS SOUPS 7821 WITH SCORE 7835.617
AT ITER 7923 NEW BEST:: SOT 51073 SOS 14614 HAS SOPS 10206 HAS SOUS 9991 HAS SOUPS 7821 WITH SCORE 7835.614
AT ITER 7992 NEW BEST:: SOT 51073 SOS 14606 HAS SOPS 10198 HAS SOUS 9989 HAS SOUPS 7819 WITH SCORE 7833.606
AT ITER 8039 NEW BEST:: SOT 51073 SOS 14604 HAS SOPS 10196 HAS SOUS 9989 HAS SOUPS 7819 WITH SCORE 7833.604
AT ITER 8040 NEW BEST:: SOT 51055 SOS 14587 HAS SOPS 10179 HAS SOUS 9983 HAS SOUPS 7813 WITH SCORE 7827.587
AT ITER 8076 NEW BEST:: SOT 51042 SOS 14576 HAS SOPS 10168 HAS SOUS 9972 HAS SOUPS 7802 WITH SCORE 7816.576
AT ITER 8145 NEW BEST:: SOT 51042 SOS 14534 HAS SOPS 10168 HAS SOUS 9958 HAS SOUPS 7802 WITH SCORE 7816.534
AT ITER 8199 NEW BEST:: SOT 51032 SOS 14524 HAS SOPS 10153 HAS SOUS 9953 HAS SOUPS 7792 WITH SCORE 7806.524
AT ITER 8242 NEW BEST:: SOT 51031 SOS 14519 HAS SOPS 10151 HAS SOUS 9949 HAS SOUPS 7791 WITH SCORE 7805.519
AT ITER 8322 NEW BEST:: SOT 51023 SOS 14511 HAS SOPS 10143 HAS SOUS 9947 HAS SOUPS 7789 WITH SCORE 7803.511
AT ITER 8398 NEW BEST:: SOT 51017 SOS 14478 HAS SOPS 10122 HAS SOUS 9935 HAS SOUPS 7777 WITH SCORE 7791.478
AT ITER 8424 NEW BEST:: SOT 51009 SOS 14470 HAS SOPS 10122 HAS SOUS 9927 HAS SOUPS 7777 WITH SCORE 7791.47
AT ITER 8431 NEW BEST:: SOT 51012 SOS 14462 HAS SOPS 10114 HAS SOUS 9925 HAS SOUPS 7775 WITH SCORE 7789.462
AT ITER 8490 NEW BEST:: SOT 51011 SOS 14461 HAS SOPS 10099 HAS SOUS 9923 HAS SOUPS 7773 WITH SCORE 7787.461
AT ITER 8512 NEW BEST:: SOT 51007 SOS 14457 HAS SOPS 10079 HAS SOUS 9915 HAS SOUPS 7765 WITH SCORE 7779.457
AT ITER 8534 NEW BEST:: SOT 51007 SOS 14456 HAS SOPS 10078 HAS SOUS 9909 HAS SOUPS 7759 WITH SCORE 7773.456
AT ITER 8555 NEW BEST:: SOT 51003 SOS 14448 HAS SOPS 10077 HAS SOUS 9901 HAS SOUPS 7758 WITH SCORE 7772.448
AT ITER 8577 NEW BEST:: SOT 51003 SOS 14448 HAS SOPS 10074 HAS SOUS 9901 HAS SOUPS 7755 WITH SCORE 7769.448
AT ITER 8653 NEW BEST:: SOT 50992 SOS 14437 HAS SOPS 10063 HAS SOUS 9890 HAS SOUPS 7744 WITH SCORE 7758.437
AT ITER 8667 NEW BEST:: SOT 50992 SOS 14435 HAS SOPS 10061 HAS SOUS 9888 HAS SOUPS 7742 WITH SCORE 7756.435
AT ITER 8676 NEW BEST:: SOT 50988 SOS 14425 HAS SOPS 10051 HAS SOUS 9882 HAS SOUPS 7736 WITH SCORE 7750.425
AT ITER 8768 NEW BEST:: SOT 50991 SOS 14428 HAS SOPS 10046 HAS SOUS 9885 HAS SOUPS 7731 WITH SCORE 7745.428
AT ITER 8774 NEW BEST:: SOT 50991 SOS 14428 HAS SOPS 10046 HAS SOUS 9884 HAS SOUPS 7730 WITH SCORE 7744.428
AT ITER 8830 NEW BEST:: SOT 50994 SOS 14431 HAS SOPS 10049 HAS SOUS 9882 HAS SOUPS 7728 WITH SCORE 7742.431
AT ITER 8836 NEW BEST:: SOT 50993 SOS 14430 HAS SOPS 10048 HAS SOUS 9882 HAS SOUPS 7728 WITH SCORE 7742.43
AT ITER 8846 NEW BEST:: SOT 50988 SOS 14415 HAS SOPS 10048 HAS SOUS 9877 HAS SOUPS 7728 WITH SCORE 7742.415
AT ITER 8912 NEW BEST:: SOT 50977 SOS 14396 HAS SOPS 10029 HAS SOUS 9858 HAS SOUPS 7709 WITH SCORE 7723.396
AT ITER 8914 NEW BEST:: SOT 51029 SOS 14446 HAS SOPS 10025 HAS SOUS 9908 HAS SOUPS 7705 WITH SCORE 7719.446
AT ITER 8962 NEW BEST:: SOT 51033 SOS 14530 HAS SOPS 10013 HAS SOUS 9932 HAS SOUPS 7693 WITH SCORE 7707.53
AT ITER 8967 NEW BEST:: SOT 51027 SOS 14511 HAS SOPS 10010 HAS SOUS 9913 HAS SOUPS 7690 WITH SCORE 7704.511
AT ITER 8968 NEW BEST:: SOT 51020 SOS 14504 HAS SOPS 9996 HAS SOUS 9899 HAS SOUPS 7676 WITH SCORE 7690.504
AT ITER 8974 NEW BEST:: SOT 51020 SOS 14501 HAS SOPS 9993 HAS SOUS 9899 HAS SOUPS 7676 WITH SCORE 7690.501
AT ITER 9035 NEW BEST:: SOT 51020 SOS 14504 HAS SOPS 9992 HAS SOUS 9898 HAS SOUPS 7674 WITH SCORE 7688.504
AT ITER 9057 NEW BEST:: SOT 51123 SOS 14576 HAS SOPS 9971 HAS SOUS 9970 HAS SOUPS 7653 WITH SCORE 7667.576
AT ITER 9148 NEW BEST:: SOT 51117 SOS 14567 HAS SOPS 9962 HAS SOUS 9964 HAS SOUPS 7647 WITH SCORE 7661.567
AT ITER 9197 NEW BEST:: SOT 51107 SOS 14557 HAS SOPS 9942 HAS SOUS 9944 HAS SOUPS 7627 WITH SCORE 7641.557
AT ITER 9222 NEW BEST:: SOT 51104 SOS 14552 HAS SOPS 9937 HAS SOUS 9941 HAS SOUPS 7624 WITH SCORE 7638.552
AT ITER 9238 NEW BEST:: SOT 51097 SOS 14545 HAS SOPS 9931 HAS SOUS 9927 HAS SOUPS 7610 WITH SCORE 7624.545
AT ITER 9279 NEW BEST:: SOT 51094 SOS 14542 HAS SOPS 9925 HAS SOUS 9921 HAS SOUPS 7604 WITH SCORE 7618.542
AT ITER 9309 NEW BEST:: SOT 51082 SOS 14518 HAS SOPS 9901 HAS SOUS 9909 HAS SOUPS 7592 WITH SCORE 7606.518
AT ITER 9310 NEW BEST:: SOT 51068 SOS 14504 HAS SOPS 9907 HAS SOUS 9901 HAS SOUPS 7584 WITH SCORE 7598.504
AT ITER 9337 NEW BEST:: SOT 51003 SOS 14181 HAS SOPS 9907 HAS SOUS 9773 HAS SOUPS 7584 WITH SCORE 7598.181
AT ITER 9359 NEW BEST:: SOT 51045 SOS 14251 HAS SOPS 9949 HAS SOUS 9752 HAS SOUPS 7535 WITH SCORE 7549.251
AT ITER 9393 NEW BEST:: SOT 51045 SOS 14262 HAS SOPS 9936 HAS SOUS 9751 HAS SOUPS 7528 WITH SCORE 7542.262
AT ITER 9418 NEW BEST:: SOT 51044 SOS 14261 HAS SOPS 9934 HAS SOUS 9750 HAS SOUPS 7526 WITH SCORE 7540.261
AT ITER 9452 NEW BEST:: SOT 51052 SOS 14261 HAS SOPS 9930 HAS SOUS 9752 HAS SOUPS 7524 WITH SCORE 7538.261
AT ITER 9527 NEW BEST:: SOT 51049 SOS 14258 HAS SOPS 9915 HAS SOUS 9746 HAS SOUPS 7518 WITH SCORE 7532.258
AT ITER 9554 NEW BEST:: SOT 50859 SOS 14068 HAS SOPS 9915 HAS SOUS 9556 HAS SOUPS 7518 WITH SCORE 7532.068
AT ITER 9566 NEW BEST:: SOT 50857 SOS 14066 HAS SOPS 9910 HAS SOUS 9552 HAS SOUPS 7514 WITH SCORE 7528.066
AT ITER 9595 NEW BEST:: SOT 50863 SOS 14069 HAS SOPS 9885 HAS SOUS 9549 HAS SOUPS 7504 WITH SCORE 7518.069
AT ITER 9644 NEW BEST:: SOT 50859 SOS 14077 HAS SOPS 9884 HAS SOUS 9556 HAS SOUPS 7502 WITH SCORE 7516.077
AT ITER 9685 NEW BEST:: SOT 50853 SOS 14071 HAS SOPS 9878 HAS SOUS 9556 HAS SOUPS 7496 WITH SCORE 7510.071
AT ITER 9719 NEW BEST:: SOT 50842 SOS 14062 HAS SOPS 9869 HAS SOUS 9549 HAS SOUPS 7489 WITH SCORE 7503.062
AT ITER 9746 NEW BEST:: SOT 50841 SOS 14061 HAS SOPS 9867 HAS SOUS 9549 HAS SOUPS 7488 WITH SCORE 7502.061
AT ITER 9817 NEW BEST:: SOT 50840 SOS 14059 HAS SOPS 9865 HAS SOUS 9547 HAS SOUPS 7486 WITH SCORE 7500.059
AT ITER 9881 NEW BEST:: SOT 50867 SOS 14116 HAS SOPS 9862 HAS SOUS 9604 HAS SOUPS 7483 WITH SCORE 7497.116
AT ITER 9887 NEW BEST:: SOT 50856 SOS 14086 HAS SOPS 9859 HAS SOUS 9601 HAS SOUPS 7480 WITH SCORE 7494.086
AT ITER 9947 NEW BEST:: SOT 50844 SOS 14062 HAS SOPS 9835 HAS SOUS 9589 HAS SOUPS 7468 WITH SCORE 7482.062
AT ITER 9956 NEW BEST:: SOT 50839 SOS 14057 HAS SOPS 9825 HAS SOUS 9579 HAS SOUPS 7458 WITH SCORE 7472.057
AT ITER 9961 NEW BEST:: SOT 50840 SOS 14059 HAS SOPS 9827 HAS SOUS 9573 HAS SOUPS 7452 WITH SCORE 7466.059
STATE_SPACE STATES 78220990591414273 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 75 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3497496619789541377 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678736016817

--------------------
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="AutoFlight-PT-12a"
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 AutoFlight-PT-12a, 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 r011-oct2-167813600300472"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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