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.r523-tall-167987247800272.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 EisenbergMcGuire-PT-09, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r523-tall-167987247800272
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.8M
-rw-r--r-- 1 mcc users 6.3K Mar 23 15:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 59K Mar 23 15:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Mar 23 15:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Mar 23 15:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 23 07:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 23 07:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Mar 23 07:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 23 07:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 16K Mar 23 15:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 160K Mar 23 15:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Mar 23 15:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K Mar 23 15:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 23 07:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 23 07:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 2.3M Mar 31 16:48 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 1680815386989

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=EisenbergMcGuire-PT-09
Applying reductions before tool smart
Invoking reducer
Running Version 202304061127
[2023-04-06 21:09:48] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-04-06 21:09:48] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-04-06 21:09:49] [INFO ] Load time of PNML (sax parser for PT used): 184 ms
[2023-04-06 21:09:49] [INFO ] Transformed 891 places.
[2023-04-06 21:09:49] [INFO ] Transformed 3888 transitions.
[2023-04-06 21:09:49] [INFO ] Found NUPN structural information;
[2023-04-06 21:09:49] [INFO ] Parsed PT model containing 891 places and 3888 transitions and 18792 arcs in 392 ms.
[2023-04-06 21:09:49] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 891 places, 3888 transitions and 18792 arcs took 43 ms.
Total runtime 469 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running EisenbergMcGuire (PT), instance 09
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: 891 places, 3888 transitions, 18792 arcs.
AT ITER 0 NEW BEST:: SOT 2711121 SOS 1298649 HAS SOPS 839563 HAS SOUS 468174 HAS SOUPS 455935 WITH SCORE 457233.649
AT ITER 1 NEW BEST:: SOT 2711081 SOS 1298995 HAS SOPS 840467 HAS SOUS 468137 HAS SOUPS 455898 WITH SCORE 457196.995
AT ITER 6 NEW BEST:: SOT 2710930 SOS 1298693 HAS SOPS 840165 HAS SOUS 467835 HAS SOUPS 455596 WITH SCORE 456894.693
AT ITER 9 NEW BEST:: SOT 2710781 SOS 1298246 HAS SOPS 838824 HAS SOUS 467749 HAS SOUPS 455447 WITH SCORE 456745.246
AT ITER 14 NEW BEST:: SOT 2710781 SOS 1296742 HAS SOPS 837320 HAS SOUS 467749 HAS SOUPS 455447 WITH SCORE 456743.742
AT ITER 21 NEW BEST:: SOT 2710758 SOS 1296705 HAS SOPS 837283 HAS SOUS 467712 HAS SOUPS 455410 WITH SCORE 456706.705
AT ITER 22 NEW BEST:: SOT 2710758 SOS 1296617 HAS SOPS 837195 HAS SOUS 467712 HAS SOUPS 455410 WITH SCORE 456706.617
AT ITER 23 NEW BEST:: SOT 2710758 SOS 1296401 HAS SOPS 836979 HAS SOUS 467712 HAS SOUPS 455410 WITH SCORE 456706.401
AT ITER 27 NEW BEST:: SOT 2710758 SOS 1296183 HAS SOPS 836761 HAS SOUS 467712 HAS SOUPS 455410 WITH SCORE 456706.183
AT ITER 29 NEW BEST:: SOT 2710757 SOS 1296182 HAS SOPS 836760 HAS SOUS 467710 HAS SOUPS 455408 WITH SCORE 456704.182
AT ITER 34 NEW BEST:: SOT 2710757 SOS 1296095 HAS SOPS 836673 HAS SOUS 467710 HAS SOUPS 455408 WITH SCORE 456704.095
AT ITER 41 NEW BEST:: SOT 2710425 SOS 1295944 HAS SOPS 836726 HAS SOUS 467351 HAS SOUPS 455049 WITH SCORE 456344.944
AT ITER 45 NEW BEST:: SOT 2710377 SOS 1295769 HAS SOPS 836551 HAS SOUS 467255 HAS SOUPS 454953 WITH SCORE 456248.769
AT ITER 48 NEW BEST:: SOT 2710326 SOS 1295667 HAS SOPS 836449 HAS SOUS 467153 HAS SOUPS 454851 WITH SCORE 456146.667
AT ITER 49 NEW BEST:: SOT 2710234 SOS 1295299 HAS SOPS 836081 HAS SOUS 466877 HAS SOUPS 454575 WITH SCORE 455870.299
AT ITER 54 NEW BEST:: SOT 2710301 SOS 1295627 HAS SOPS 836091 HAS SOUS 467179 HAS SOUPS 454559 WITH SCORE 455854.627
AT ITER 60 NEW BEST:: SOT 2709933 SOS 1295075 HAS SOPS 831491 HAS SOUS 462579 HAS SOUPS 449959 WITH SCORE 451254.075
AT ITER 66 NEW BEST:: SOT 2709507 SOS 1294731 HAS SOPS 829514 HAS SOUS 461154 HAS SOUPS 448534 WITH SCORE 449828.731
AT ITER 71 NEW BEST:: SOT 2709355 SOS 1294035 HAS SOPS 828818 HAS SOUS 460792 HAS SOUPS 448172 WITH SCORE 449466.035
AT ITER 72 NEW BEST:: SOT 2709520 SOS 1293158 HAS SOPS 827763 HAS SOUS 460701 HAS SOUPS 448081 WITH SCORE 449374.158
AT ITER 92 NEW BEST:: SOT 2709520 SOS 1292516 HAS SOPS 827121 HAS SOUS 460551 HAS SOUPS 447931 WITH SCORE 449223.516
AT ITER 98 NEW BEST:: SOT 2709451 SOS 1289191 HAS SOPS 823796 HAS SOUS 460295 HAS SOUPS 447675 WITH SCORE 448964.191
AT ITER 101 NEW BEST:: SOT 2709226 SOS 1288527 HAS SOPS 823132 HAS SOUS 459845 HAS SOUPS 447225 WITH SCORE 448513.527
AT ITER 105 NEW BEST:: SOT 2708960 SOS 1288261 HAS SOPS 822524 HAS SOUS 460003 HAS SOUPS 447113 WITH SCORE 448401.261
AT ITER 107 NEW BEST:: SOT 2708902 SOS 1287857 HAS SOPS 822120 HAS SOUS 459887 HAS SOUPS 446997 WITH SCORE 448284.857
AT ITER 111 NEW BEST:: SOT 2708657 SOS 1287682 HAS SOPS 821630 HAS SOUS 459887 HAS SOUPS 446997 WITH SCORE 448284.682
AT ITER 114 NEW BEST:: SOT 2707934 SOS 1287196 HAS SOPS 821144 HAS SOUS 459392 HAS SOUPS 446502 WITH SCORE 447789.196
AT ITER 116 NEW BEST:: SOT 2707858 SOS 1287044 HAS SOPS 820840 HAS SOUS 459088 HAS SOUPS 446198 WITH SCORE 447485.044
AT ITER 118 NEW BEST:: SOT 2707858 SOS 1286918 HAS SOPS 820714 HAS SOUS 459025 HAS SOUPS 446135 WITH SCORE 447421.918
AT ITER 120 NEW BEST:: SOT 2707776 SOS 1283577 HAS SOPS 817373 HAS SOUS 458711 HAS SOUPS 445821 WITH SCORE 447104.577
AT ITER 122 NEW BEST:: SOT 2707652 SOS 1283182 HAS SOPS 816978 HAS SOUS 458424 HAS SOUPS 445534 WITH SCORE 446817.182
AT ITER 126 NEW BEST:: SOT 2707551 SOS 1286286 HAS SOPS 820568 HAS SOUS 458335 HAS SOUPS 445445 WITH SCORE 446731.286
AT ITER 134 NEW BEST:: SOT 2707280 SOS 1285355 HAS SOPS 819637 HAS SOUS 458177 HAS SOUPS 445287 WITH SCORE 446572.355
AT ITER 142 NEW BEST:: SOT 2707139 SOS 1285073 HAS SOPS 819355 HAS SOUS 457754 HAS SOUPS 444864 WITH SCORE 446149.073
AT ITER 143 NEW BEST:: SOT 2707087 SOS 1284995 HAS SOPS 819251 HAS SOUS 457650 HAS SOUPS 444760 WITH SCORE 446044.995
AT ITER 155 NEW BEST:: SOT 2706882 SOS 1284175 HAS SOPS 818431 HAS SOUS 457445 HAS SOUPS 444555 WITH SCORE 445839.175
AT ITER 156 NEW BEST:: SOT 2706719 SOS 1283523 HAS SOPS 817779 HAS SOUS 457282 HAS SOUPS 444392 WITH SCORE 445675.523
AT ITER 157 NEW BEST:: SOT 2706663 SOS 1283233 HAS SOPS 817489 HAS SOUS 457081 HAS SOUPS 444191 WITH SCORE 445474.233
AT ITER 160 NEW BEST:: SOT 2706663 SOS 1283068 HAS SOPS 817324 HAS SOUS 457081 HAS SOUPS 444191 WITH SCORE 445474.068
AT ITER 169 NEW BEST:: SOT 2706663 SOS 1283042 HAS SOPS 817298 HAS SOUS 457081 HAS SOUPS 444191 WITH SCORE 445474.042
AT ITER 175 NEW BEST:: SOT 2706663 SOS 1282783 HAS SOPS 817039 HAS SOUS 457081 HAS SOUPS 444191 WITH SCORE 445473.783
AT ITER 194 NEW BEST:: SOT 2706576 SOS 1282000 HAS SOPS 816256 HAS SOUS 456907 HAS SOUPS 444017 WITH SCORE 445299.0
AT ITER 202 NEW BEST:: SOT 2706305 SOS 1280988 HAS SOPS 815244 HAS SOUS 456703 HAS SOUPS 443813 WITH SCORE 445093.988
AT ITER 206 NEW BEST:: SOT 2705737 SOS 1280358 HAS SOPS 812981 HAS SOUS 455050 HAS SOUPS 442160 WITH SCORE 443440.358
AT ITER 213 NEW BEST:: SOT 2705862 SOS 1280765 HAS SOPS 813388 HAS SOUS 455037 HAS SOUPS 442147 WITH SCORE 443427.765
AT ITER 214 NEW BEST:: SOT 2705862 SOS 1280590 HAS SOPS 813213 HAS SOUS 455037 HAS SOUPS 442147 WITH SCORE 443427.59
AT ITER 218 NEW BEST:: SOT 2704993 SOS 1279643 HAS SOPS 812782 HAS SOUS 454332 HAS SOUPS 441716 WITH SCORE 442995.643
AT ITER 219 NEW BEST:: SOT 2704526 SOS 1279038 HAS SOPS 812373 HAS SOUS 453923 HAS SOUPS 441307 WITH SCORE 442586.038
AT ITER 220 NEW BEST:: SOT 2704731 SOS 1279385 HAS SOPS 812720 HAS SOUS 453916 HAS SOUPS 441300 WITH SCORE 442579.385
AT ITER 233 NEW BEST:: SOT 2704559 SOS 1279258 HAS SOPS 812769 HAS SOUS 453880 HAS SOUPS 441264 WITH SCORE 442543.258
AT ITER 236 NEW BEST:: SOT 2704528 SOS 1278857 HAS SOPS 812368 HAS SOUS 453827 HAS SOUPS 441211 WITH SCORE 442489.857
AT ITER 240 NEW BEST:: SOT 2704512 SOS 1278825 HAS SOPS 812112 HAS SOUS 453443 HAS SOUPS 440827 WITH SCORE 442105.825
AT ITER 245 NEW BEST:: SOT 2704480 SOS 1278761 HAS SOPS 812048 HAS SOUS 453379 HAS SOUPS 440763 WITH SCORE 442041.761
AT ITER 247 NEW BEST:: SOT 2704437 SOS 1279327 HAS SOPS 812614 HAS SOUS 453293 HAS SOUPS 440677 WITH SCORE 441956.327
AT ITER 262 NEW BEST:: SOT 2704446 SOS 1274820 HAS SOPS 812068 HAS SOUS 452449 HAS SOUPS 440098 WITH SCORE 441372.82
AT ITER 265 NEW BEST:: SOT 2703437 SOS 1273684 HAS SOPS 810653 HAS SOUS 451288 HAS SOUPS 438802 WITH SCORE 440075.684
AT ITER 270 NEW BEST:: SOT 2702819 SOS 1272589 HAS SOPS 809421 HAS SOUS 450354 HAS SOUPS 437720 WITH SCORE 438992.589
AT ITER 271 NEW BEST:: SOT 2702757 SOS 1268828 HAS SOPS 805660 HAS SOUS 450066 HAS SOUPS 437432 WITH SCORE 438700.828
AT ITER 277 NEW BEST:: SOT 2701550 SOS 1267541 HAS SOPS 804589 HAS SOUS 448989 HAS SOUPS 436361 WITH SCORE 437628.541
AT ITER 279 NEW BEST:: SOT 2701550 SOS 1267262 HAS SOPS 804310 HAS SOUS 448989 HAS SOUPS 436361 WITH SCORE 437628.262
AT ITER 280 NEW BEST:: SOT 2701550 SOS 1267672 HAS SOPS 802374 HAS SOUS 447151 HAS SOUPS 434523 WITH SCORE 435790.672
AT ITER 289 NEW BEST:: SOT 2701462 SOS 1266940 HAS SOPS 801642 HAS SOUS 446811 HAS SOUPS 434183 WITH SCORE 435449.94
AT ITER 290 NEW BEST:: SOT 2704286 SOS 1269455 HAS SOPS 797997 HAS SOUS 442732 HAS SOUPS 430092 WITH SCORE 431361.455
AT ITER 291 NEW BEST:: SOT 2704260 SOS 1268922 HAS SOPS 797464 HAS SOUS 442706 HAS SOUPS 430066 WITH SCORE 431334.922
AT ITER 295 NEW BEST:: SOT 2703990 SOS 1268824 HAS SOPS 799390 HAS SOUS 442703 HAS SOUPS 430063 WITH SCORE 431331.824
AT ITER 306 NEW BEST:: SOT 2703923 SOS 1268288 HAS SOPS 798854 HAS SOUS 442569 HAS SOUPS 429929 WITH SCORE 431197.288
AT ITER 317 NEW BEST:: SOT 2703575 SOS 1267766 HAS SOPS 794504 HAS SOUS 438219 HAS SOUPS 425579 WITH SCORE 426846.766
AT ITER 319 NEW BEST:: SOT 2703575 SOS 1267670 HAS SOPS 794408 HAS SOUS 438123 HAS SOUPS 425483 WITH SCORE 426750.67
AT ITER 324 NEW BEST:: SOT 2703110 SOS 1266904 HAS SOPS 793806 HAS SOUS 437521 HAS SOUPS 424881 WITH SCORE 426147.904
AT ITER 332 NEW BEST:: SOT 2703110 SOS 1266989 HAS SOPS 793891 HAS SOUS 437514 HAS SOUPS 424874 WITH SCORE 426140.989
AT ITER 341 NEW BEST:: SOT 2702992 SOS 1266812 HAS SOPS 793655 HAS SOUS 437278 HAS SOUPS 424638 WITH SCORE 425904.812
AT ITER 349 NEW BEST:: SOT 2702896 SOS 1266426 HAS SOPS 793269 HAS SOUS 437086 HAS SOUPS 424446 WITH SCORE 425712.426
AT ITER 351 NEW BEST:: SOT 2702788 SOS 1265526 HAS SOPS 792369 HAS SOUS 436870 HAS SOUPS 424230 WITH SCORE 425495.526
AT ITER 352 NEW BEST:: SOT 2702262 SOS 1264410 HAS SOPS 791253 HAS SOUS 436841 HAS SOUPS 424201 WITH SCORE 425465.41
AT ITER 357 NEW BEST:: SOT 2702292 SOS 1264073 HAS SOPS 790828 HAS SOUS 436619 HAS SOUPS 423995 WITH SCORE 425259.073
AT ITER 359 NEW BEST:: SOT 2701858 SOS 1263542 HAS SOPS 790501 HAS SOUS 436292 HAS SOUPS 423668 WITH SCORE 424931.542
AT ITER 363 NEW BEST:: SOT 2701839 SOS 1263504 HAS SOPS 790026 HAS SOUS 435817 HAS SOUPS 423193 WITH SCORE 424456.504
AT ITER 369 NEW BEST:: SOT 2701730 SOS 1266633 HAS SOPS 793155 HAS SOUS 435720 HAS SOUPS 423096 WITH SCORE 424362.633
AT ITER 373 NEW BEST:: SOT 2701694 SOS 1266597 HAS SOPS 793011 HAS SOUS 435678 HAS SOUPS 422988 WITH SCORE 424254.597
AT ITER 376 NEW BEST:: SOT 2701694 SOS 1266597 HAS SOPS 792453 HAS SOUS 434720 HAS SOUPS 421534 WITH SCORE 422800.597
AT ITER 377 NEW BEST:: SOT 2701694 SOS 1266251 HAS SOPS 792107 HAS SOUS 434720 HAS SOUPS 421534 WITH SCORE 422800.251
AT ITER 380 NEW BEST:: SOT 2701503 SOS 1266100 HAS SOPS 792153 HAS SOUS 434681 HAS SOUPS 421495 WITH SCORE 422761.1
AT ITER 386 NEW BEST:: SOT 2701219 SOS 1265281 HAS SOPS 791476 HAS SOUS 434333 HAS SOUPS 421147 WITH SCORE 422412.281
AT ITER 396 NEW BEST:: SOT 2701150 SOS 1264896 HAS SOPS 791091 HAS SOUS 434195 HAS SOUPS 421009 WITH SCORE 422273.896
AT ITER 397 NEW BEST:: SOT 2701028 SOS 1264772 HAS SOPS 790967 HAS SOUS 434071 HAS SOUPS 420885 WITH SCORE 422149.772
AT ITER 405 NEW BEST:: SOT 2700961 SOS 1264697 HAS SOPS 791369 HAS SOUS 433959 HAS SOUPS 420773 WITH SCORE 422037.697
AT ITER 409 NEW BEST:: SOT 2700877 SOS 1264613 HAS SOPS 791033 HAS SOUS 433767 HAS SOUPS 420521 WITH SCORE 421785.613
AT ITER 410 NEW BEST:: SOT 2700550 SOS 1264068 HAS SOPS 790360 HAS SOUS 433450 HAS SOUPS 420046 WITH SCORE 421310.068
AT ITER 413 NEW BEST:: SOT 2700530 SOS 1264062 HAS SOPS 790320 HAS SOUS 433369 HAS SOUPS 420006 WITH SCORE 421270.062
AT ITER 416 NEW BEST:: SOT 2700778 SOS 1263323 HAS SOPS 789103 HAS SOUS 432819 HAS SOUPS 419420 WITH SCORE 420683.323
AT ITER 421 NEW BEST:: SOT 2700738 SOS 1260327 HAS SOPS 786107 HAS SOUS 432589 HAS SOUPS 419190 WITH SCORE 420450.327
AT ITER 422 NEW BEST:: SOT 2700720 SOS 1260308 HAS SOPS 786012 HAS SOUS 432408 HAS SOUPS 419009 WITH SCORE 420269.308
AT ITER 432 NEW BEST:: SOT 2701278 SOS 1260866 HAS SOPS 786663 HAS SOUS 432215 HAS SOUPS 418823 WITH SCORE 420083.866
AT ITER 443 NEW BEST:: SOT 2701139 SOS 1260449 HAS SOPS 783466 HAS SOUS 429157 HAS SOUPS 415765 WITH SCORE 417025.449
AT ITER 451 NEW BEST:: SOT 2701139 SOS 1260119 HAS SOPS 783136 HAS SOUS 429157 HAS SOUPS 415765 WITH SCORE 417025.119
AT ITER 464 NEW BEST:: SOT 2701134 SOS 1260203 HAS SOPS 783246 HAS SOUS 429126 HAS SOUPS 415734 WITH SCORE 416994.203
AT ITER 466 NEW BEST:: SOT 2700939 SOS 1259990 HAS SOPS 783167 HAS SOUS 429047 HAS SOUPS 415655 WITH SCORE 416914.99
AT ITER 477 NEW BEST:: SOT 2700883 SOS 1260012 HAS SOPS 783189 HAS SOUS 428905 HAS SOUPS 415513 WITH SCORE 416773.012
AT ITER 478 NEW BEST:: SOT 2700750 SOS 1259878 HAS SOPS 782895 HAS SOUS 428521 HAS SOUPS 415149 WITH SCORE 416408.878
AT ITER 483 NEW BEST:: SOT 2703403 SOS 1262578 HAS SOPS 779520 HAS SOUS 423701 HAS SOUPS 410325 WITH SCORE 411587.578
AT ITER 484 NEW BEST:: SOT 2703132 SOS 1261816 HAS SOPS 778758 HAS SOUS 423569 HAS SOUPS 410193 WITH SCORE 411454.816
AT ITER 493 NEW BEST:: SOT 2703132 SOS 1261239 HAS SOPS 778181 HAS SOUS 423569 HAS SOUPS 410193 WITH SCORE 411454.239
AT ITER 506 NEW BEST:: SOT 2702646 SOS 1261042 HAS SOPS 777984 HAS SOUS 423555 HAS SOUPS 410179 WITH SCORE 411440.042
AT ITER 508 NEW BEST:: SOT 2702568 SOS 1260964 HAS SOPS 777984 HAS SOUS 423463 HAS SOUPS 410101 WITH SCORE 411361.964
AT ITER 512 NEW BEST:: SOT 2697231 SOS 1261457 HAS SOPS 815847 HAS SOUS 417860 HAS SOUPS 404498 WITH SCORE 405759.457
AT ITER 513 NEW BEST:: SOT 2699743 SOS 1263991 HAS SOPS 812452 HAS SOUS 412801 HAS SOUPS 399438 WITH SCORE 400701.991
AT ITER 529 NEW BEST:: SOT 2699407 SOS 1263726 HAS SOPS 812376 HAS SOUS 412653 HAS SOUPS 399290 WITH SCORE 400553.726
AT ITER 531 NEW BEST:: SOT 2699193 SOS 1263298 HAS SOPS 811948 HAS SOUS 412225 HAS SOUPS 398862 WITH SCORE 400125.298
AT ITER 532 NEW BEST:: SOT 2699193 SOS 1262773 HAS SOPS 811423 HAS SOUS 412225 HAS SOUPS 398862 WITH SCORE 400124.773
AT ITER 539 NEW BEST:: SOT 2699095 SOS 1262662 HAS SOPS 811312 HAS SOUS 412114 HAS SOUPS 398751 WITH SCORE 400013.662
AT ITER 542 NEW BEST:: SOT 2698922 SOS 1262864 HAS SOPS 811386 HAS SOUS 412059 HAS SOUPS 398696 WITH SCORE 399958.864
AT ITER 557 NEW BEST:: SOT 2698922 SOS 1262486 HAS SOPS 811008 HAS SOUS 412059 HAS SOUPS 398696 WITH SCORE 399958.486
AT ITER 562 NEW BEST:: SOT 2698714 SOS 1262115 HAS SOPS 810637 HAS SOUS 411909 HAS SOUPS 398546 WITH SCORE 399808.115
AT ITER 565 NEW BEST:: SOT 2698707 SOS 1262073 HAS SOPS 810595 HAS SOUS 411902 HAS SOUPS 398539 WITH SCORE 399801.073
AT ITER 567 NEW BEST:: SOT 2698682 SOS 1262098 HAS SOPS 810654 HAS SOUS 411862 HAS SOUPS 398499 WITH SCORE 399761.098
AT ITER 569 NEW BEST:: SOT 2698830 SOS 1262246 HAS SOPS 806198 HAS SOUS 407406 HAS SOUPS 394043 WITH SCORE 395305.246
AT ITER 572 NEW BEST:: SOT 2700720 SOS 1264226 HAS SOPS 808178 HAS SOUS 407311 HAS SOUPS 393948 WITH SCORE 395212.226
AT ITER 575 NEW BEST:: SOT 2700720 SOS 1263868 HAS SOPS 807820 HAS SOUS 407311 HAS SOUPS 393948 WITH SCORE 395211.868
AT ITER 579 NEW BEST:: SOT 2699358 SOS 1266749 HAS SOPS 806449 HAS SOUS 406827 HAS SOUPS 393375 WITH SCORE 394641.749
AT ITER 586 NEW BEST:: SOT 2698648 SOS 1265821 HAS SOPS 805548 HAS SOUS 405827 HAS SOUPS 392375 WITH SCORE 393640.821
AT ITER 591 NEW BEST:: SOT 2698648 SOS 1266022 HAS SOPS 803481 HAS SOUS 404114 HAS SOUPS 390662 WITH SCORE 391928.022
AT ITER 595 NEW BEST:: SOT 2698522 SOS 1265833 HAS SOPS 803355 HAS SOUS 403988 HAS SOUPS 390536 WITH SCORE 391801.833
AT ITER 606 NEW BEST:: SOT 2698602 SOS 1266033 HAS SOPS 803275 HAS SOUS 403977 HAS SOUPS 390456 WITH SCORE 391722.033
AT ITER 609 NEW BEST:: SOT 2698315 SOS 1262399 HAS SOPS 799641 HAS SOUS 403253 HAS SOUPS 389732 WITH SCORE 390994.399
AT ITER 610 NEW BEST:: SOT 2698266 SOS 1262365 HAS SOPS 799607 HAS SOUS 403219 HAS SOUPS 389698 WITH SCORE 390960.365
AT ITER 616 NEW BEST:: SOT 2698231 SOS 1262365 HAS SOPS 799572 HAS SOUS 403189 HAS SOUPS 389633 WITH SCORE 390895.365
AT ITER 618 NEW BEST:: SOT 2698039 SOS 1262049 HAS SOPS 799352 HAS SOUS 402954 HAS SOUPS 389434 WITH SCORE 390696.049
AT ITER 626 NEW BEST:: SOT 2697853 SOS 1261863 HAS SOPS 798608 HAS SOUS 402295 HAS SOUPS 388775 WITH SCORE 390036.863
AT ITER 627 NEW BEST:: SOT 2697853 SOS 1261415 HAS SOPS 798160 HAS SOUS 402295 HAS SOUPS 388775 WITH SCORE 390036.415
AT ITER 632 NEW BEST:: SOT 2697853 SOS 1261389 HAS SOPS 798160 HAS SOUS 402295 HAS SOUPS 388775 WITH SCORE 390036.389
AT ITER 636 NEW BEST:: SOT 2697710 SOS 1261096 HAS SOPS 797867 HAS SOUS 402288 HAS SOUPS 388768 WITH SCORE 390029.096
AT ITER 637 NEW BEST:: SOT 2697005 SOS 1262825 HAS SOPS 797194 HAS SOUS 402135 HAS SOUPS 388534 WITH SCORE 389796.825
AT ITER 644 NEW BEST:: SOT 2697005 SOS 1262337 HAS SOPS 796706 HAS SOUS 402001 HAS SOUPS 388400 WITH SCORE 389662.337
AT ITER 648 NEW BEST:: SOT 2696303 SOS 1261647 HAS SOPS 796004 HAS SOUS 401311 HAS SOUPS 387698 WITH SCORE 388959.647
AT ITER 652 NEW BEST:: SOT 2696070 SOS 1263100 HAS SOPS 797457 HAS SOUS 400893 HAS SOUPS 387280 WITH SCORE 388543.1
AT ITER 668 NEW BEST:: SOT 2695986 SOS 1262962 HAS SOPS 797319 HAS SOUS 400725 HAS SOUPS 387112 WITH SCORE 388374.962
AT ITER 676 NEW BEST:: SOT 2695455 SOS 1261531 HAS SOPS 795577 HAS SOUS 399699 HAS SOUPS 386083 WITH SCORE 387344.531
AT ITER 679 NEW BEST:: SOT 2695455 SOS 1261529 HAS SOPS 795575 HAS SOUS 399697 HAS SOUPS 386081 WITH SCORE 387342.529
AT ITER 680 NEW BEST:: SOT 2694782 SOS 1260458 HAS SOPS 794504 HAS SOUS 399324 HAS SOUPS 385708 WITH SCORE 386968.458
AT ITER 689 NEW BEST:: SOT 2694720 SOS 1260334 HAS SOPS 794380 HAS SOUS 399200 HAS SOUPS 385584 WITH SCORE 386844.334
AT ITER 693 NEW BEST:: SOT 2694717 SOS 1260166 HAS SOPS 794377 HAS SOUS 399194 HAS SOUPS 385575 WITH SCORE 386835.166
AT ITER 700 NEW BEST:: SOT 2694761 SOS 1256997 HAS SOPS 794852 HAS SOUS 399053 HAS SOUPS 385478 WITH SCORE 386734.997
AT ITER 703 NEW BEST:: SOT 2694673 SOS 1256117 HAS SOPS 793972 HAS SOUS 398877 HAS SOUPS 385302 WITH SCORE 386558.117
AT ITER 704 NEW BEST:: SOT 2694691 SOS 1255955 HAS SOPS 793810 HAS SOUS 398777 HAS SOUPS 385202 WITH SCORE 386457.955
AT ITER 707 NEW BEST:: SOT 2694580 SOS 1255784 HAS SOPS 793639 HAS SOUS 398670 HAS SOUPS 385095 WITH SCORE 386350.784
AT ITER 724 NEW BEST:: SOT 2694481 SOS 1255627 HAS SOPS 793499 HAS SOUS 398592 HAS SOUPS 385017 WITH SCORE 386272.627
AT ITER 725 NEW BEST:: SOT 2693730 SOS 1254989 HAS SOPS 792782 HAS SOUS 398529 HAS SOUPS 384954 WITH SCORE 386208.989
AT ITER 726 NEW BEST:: SOT 2693088 SOS 1255285 HAS SOPS 793078 HAS SOUS 398177 HAS SOUPS 384602 WITH SCORE 385857.285
AT ITER 727 NEW BEST:: SOT 2692997 SOS 1254921 HAS SOPS 792714 HAS SOUS 398086 HAS SOUPS 384511 WITH SCORE 385765.921
AT ITER 741 NEW BEST:: SOT 2692842 SOS 1254612 HAS SOPS 792405 HAS SOUS 397846 HAS SOUPS 384271 WITH SCORE 385525.612
AT ITER 746 NEW BEST:: SOT 2692722 SOS 1254594 HAS SOPS 792387 HAS SOUS 397828 HAS SOUPS 384253 WITH SCORE 385507.594
AT ITER 758 NEW BEST:: SOT 2692546 SOS 1254242 HAS SOPS 792035 HAS SOUS 397652 HAS SOUPS 384077 WITH SCORE 385331.242
AT ITER 760 NEW BEST:: SOT 2692498 SOS 1254136 HAS SOPS 791929 HAS SOUS 397604 HAS SOUPS 384029 WITH SCORE 385283.136
AT ITER 768 NEW BEST:: SOT 2692452 SOS 1254306 HAS SOPS 792099 HAS SOUS 397512 HAS SOUPS 383937 WITH SCORE 385191.306
AT ITER 769 NEW BEST:: SOT 2692452 SOS 1253871 HAS SOPS 791664 HAS SOUS 397512 HAS SOUPS 383937 WITH SCORE 385190.871
AT ITER 779 NEW BEST:: SOT 2692412 SOS 1253811 HAS SOPS 791584 HAS SOUS 397432 HAS SOUPS 383857 WITH SCORE 385110.811
AT ITER 784 NEW BEST:: SOT 2692311 SOS 1253710 HAS SOPS 791483 HAS SOUS 397230 HAS SOUPS 383655 WITH SCORE 384908.71
AT ITER 787 NEW BEST:: SOT 2692031 SOS 1253458 HAS SOPS 791413 HAS SOUS 397160 HAS SOUPS 383585 WITH SCORE 384838.458
AT ITER 790 NEW BEST:: SOT 2692031 SOS 1253454 HAS SOPS 791409 HAS SOUS 397078 HAS SOUPS 383503 WITH SCORE 384756.454
AT ITER 793 NEW BEST:: SOT 2691783 SOS 1252727 HAS SOPS 790814 HAS SOUS 396586 HAS SOUPS 383011 WITH SCORE 384263.727
AT ITER 799 NEW BEST:: SOT 2691650 SOS 1254661 HAS SOPS 792748 HAS SOUS 396446 HAS SOUPS 382871 WITH SCORE 384125.661
AT ITER 803 NEW BEST:: SOT 2691503 SOS 1254073 HAS SOPS 792160 HAS SOUS 396317 HAS SOUPS 382742 WITH SCORE 383996.073
AT ITER 804 NEW BEST:: SOT 2691367 SOS 1252849 HAS SOPS 790936 HAS SOUS 396045 HAS SOUPS 382470 WITH SCORE 383722.849
AT ITER 805 NEW BEST:: SOT 2691317 SOS 1252749 HAS SOPS 790836 HAS SOUS 395823 HAS SOUPS 382248 WITH SCORE 383500.749
AT ITER 813 NEW BEST:: SOT 2691317 SOS 1252713 HAS SOPS 790800 HAS SOUS 395823 HAS SOUPS 382248 WITH SCORE 383500.713
AT ITER 818 NEW BEST:: SOT 2691317 SOS 1252027 HAS SOPS 790114 HAS SOUS 395823 HAS SOUPS 382248 WITH SCORE 383500.027
AT ITER 822 NEW BEST:: SOT 2690158 SOS 1255126 HAS SOPS 788728 HAS SOUS 395334 HAS SOUPS 381647 WITH SCORE 382902.126
AT ITER 829 NEW BEST:: SOT 2689887 SOS 1254004 HAS SOPS 787606 HAS SOUS 395108 HAS SOUPS 381421 WITH SCORE 382675.004
AT ITER 835 NEW BEST:: SOT 2679553 SOS 1396000 HAS SOPS 785729 HAS SOUS 392558 HAS SOUPS 378305 WITH SCORE 379701.0
AT ITER 839 NEW BEST:: SOT 2679553 SOS 1396045 HAS SOPS 785774 HAS SOUS 392552 HAS SOUPS 378299 WITH SCORE 379695.045
AT ITER 858 NEW BEST:: SOT 2679553 SOS 1395691 HAS SOPS 785420 HAS SOUS 392552 HAS SOUPS 378299 WITH SCORE 379694.691
AT ITER 868 NEW BEST:: SOT 2679431 SOS 1396431 HAS SOPS 786160 HAS SOUS 392308 HAS SOUPS 378055 WITH SCORE 379451.431
AT ITER 871 NEW BEST:: SOT 2679309 SOS 1396231 HAS SOPS 785960 HAS SOUS 392186 HAS SOUPS 377933 WITH SCORE 379329.231
AT ITER 874 NEW BEST:: SOT 2678870 SOS 1395591 HAS SOPS 785320 HAS SOUS 391829 HAS SOUPS 377576 WITH SCORE 378971.591
AT ITER 878 NEW BEST:: SOT 2678097 SOS 1395133 HAS SOPS 784862 HAS SOUS 391511 HAS SOUPS 377258 WITH SCORE 378653.133
AT ITER 879 NEW BEST:: SOT 2678097 SOS 1394825 HAS SOPS 784554 HAS SOUS 391511 HAS SOUPS 377258 WITH SCORE 378652.825
AT ITER 892 NEW BEST:: SOT 2678097 SOS 1394792 HAS SOPS 784521 HAS SOUS 391511 HAS SOUPS 377258 WITH SCORE 378652.792
AT ITER 899 NEW BEST:: SOT 2678259 SOS 1394754 HAS SOPS 784483 HAS SOUS 391428 HAS SOUPS 377175 WITH SCORE 378569.754
AT ITER 902 NEW BEST:: SOT 2678063 SOS 1394629 HAS SOPS 784562 HAS SOUS 391360 HAS SOUPS 377107 WITH SCORE 378501.629
AT ITER 925 NEW BEST:: SOT 2678019 SOS 1394541 HAS SOPS 784474 HAS SOUS 391272 HAS SOUPS 377019 WITH SCORE 378413.541
AT ITER 928 NEW BEST:: SOT 2678019 SOS 1394586 HAS SOPS 784519 HAS SOUS 391227 HAS SOUPS 376974 WITH SCORE 378368.586
AT ITER 934 NEW BEST:: SOT 2678019 SOS 1394565 HAS SOPS 784498 HAS SOUS 391227 HAS SOUPS 376974 WITH SCORE 378368.565
AT ITER 935 NEW BEST:: SOT 2677846 SOS 1395949 HAS SOPS 785882 HAS SOUS 390904 HAS SOUPS 376651 WITH SCORE 378046.949
AT ITER 939 NEW BEST:: SOT 2677832 SOS 1395809 HAS SOPS 785742 HAS SOUS 390876 HAS SOUPS 376623 WITH SCORE 378018.809
AT ITER 940 NEW BEST:: SOT 2677620 SOS 1395457 HAS SOPS 785390 HAS SOUS 390806 HAS SOUPS 376553 WITH SCORE 377948.457
AT ITER 946 NEW BEST:: SOT 2677620 SOS 1394960 HAS SOPS 784893 HAS SOUS 390806 HAS SOUPS 376553 WITH SCORE 377947.96
AT ITER 952 NEW BEST:: SOT 2677641 SOS 1395002 HAS SOPS 784935 HAS SOUS 390759 HAS SOUPS 376506 WITH SCORE 377901.002
AT ITER 955 NEW BEST:: SOT 2677519 SOS 1394758 HAS SOPS 784691 HAS SOUS 390393 HAS SOUPS 376140 WITH SCORE 377534.758
AT ITER 965 NEW BEST:: SOT 2677293 SOS 1395789 HAS SOPS 786235 HAS SOUS 390160 HAS SOUPS 375907 WITH SCORE 377302.789
AT ITER 971 NEW BEST:: SOT 2677227 SOS 1395690 HAS SOPS 786103 HAS SOUS 390031 HAS SOUPS 375775 WITH SCORE 377170.69
AT ITER 974 NEW BEST:: SOT 2676618 SOS 1395007 HAS SOPS 784781 HAS SOUS 389940 HAS SOUPS 375684 WITH SCORE 377079.007
AT ITER 982 NEW BEST:: SOT 2676608 SOS 1394997 HAS SOPS 784693 HAS SOUS 389852 HAS SOUPS 375596 WITH SCORE 376990.997
AT ITER 989 NEW BEST:: SOT 2676555 SOS 1394944 HAS SOPS 784693 HAS SOUS 389902 HAS SOUPS 375596 WITH SCORE 376990.944
AT ITER 996 NEW BEST:: SOT 2676465 SOS 1394674 HAS SOPS 784423 HAS SOUS 389722 HAS SOUPS 375416 WITH SCORE 376810.674
AT ITER 997 NEW BEST:: SOT 2676300 SOS 1394532 HAS SOPS 784463 HAS SOUS 389662 HAS SOUPS 375356 WITH SCORE 376750.532
AT ITER 1001 NEW BEST:: SOT 2676319 SOS 1394136 HAS SOPS 783796 HAS SOUS 389202 HAS SOUPS 374896 WITH SCORE 376290.136
AT ITER 1011 NEW BEST:: SOT 2676378 SOS 1392326 HAS SOPS 781986 HAS SOUS 389174 HAS SOUPS 374868 WITH SCORE 376260.326
AT ITER 1018 NEW BEST:: SOT 2675492 SOS 1391954 HAS SOPS 780102 HAS SOUS 388561 HAS SOUPS 373995 WITH SCORE 375386.954
AT ITER 1028 NEW BEST:: SOT 2675319 SOS 1391763 HAS SOPS 779929 HAS SOUS 388309 HAS SOUPS 373743 WITH SCORE 375134.763
AT ITER 1029 NEW BEST:: SOT 2675088 SOS 1391219 HAS SOPS 779385 HAS SOUS 388248 HAS SOUPS 373682 WITH SCORE 375073.219
AT ITER 1031 NEW BEST:: SOT 2675088 SOS 1391210 HAS SOPS 779376 HAS SOUS 388248 HAS SOUPS 373682 WITH SCORE 375073.21
AT ITER 1056 NEW BEST:: SOT 2674472 SOS 1282788 HAS SOPS 771523 HAS SOUS 387390 HAS SOUPS 373165 WITH SCORE 374447.788
AT ITER 1060 NEW BEST:: SOT 2671864 SOS 1280185 HAS SOPS 769317 HAS SOUS 386618 HAS SOUPS 372393 WITH SCORE 373673.185
AT ITER 1066 NEW BEST:: SOT 2671766 SOS 1279982 HAS SOPS 769114 HAS SOUS 386611 HAS SOUPS 372386 WITH SCORE 373665.982
AT ITER 1071 NEW BEST:: SOT 2671812 SOS 1276844 HAS SOPS 765976 HAS SOUS 386553 HAS SOUPS 372328 WITH SCORE 373604.844
AT ITER 1072 NEW BEST:: SOT 2671511 SOS 1276390 HAS SOPS 765374 HAS SOUS 386125 HAS SOUPS 371726 WITH SCORE 373002.39
AT ITER 1074 NEW BEST:: SOT 2671810 SOS 1272122 HAS SOPS 765306 HAS SOUS 385789 HAS SOUPS 371608 WITH SCORE 372880.122
AT ITER 1081 NEW BEST:: SOT 2667589 SOS 1314597 HAS SOPS 762431 HAS SOUS 385130 HAS SOUPS 369844 WITH SCORE 371158.597
AT ITER 1090 NEW BEST:: SOT 2667502 SOS 1314543 HAS SOPS 762377 HAS SOUS 384956 HAS SOUPS 369670 WITH SCORE 370984.543
AT ITER 1095 NEW BEST:: SOT 2668819 SOS 1316396 HAS SOPS 764424 HAS SOUS 384138 HAS SOUPS 368852 WITH SCORE 370168.396
AT ITER 1096 NEW BEST:: SOT 2668647 SOS 1315923 HAS SOPS 760468 HAS SOUS 380338 HAS SOUPS 365101 WITH SCORE 366416.923
AT ITER 1097 NEW BEST:: SOT 2668647 SOS 1315902 HAS SOPS 760447 HAS SOUS 380338 HAS SOUPS 365101 WITH SCORE 366416.902
AT ITER 1105 NEW BEST:: SOT 2668641 SOS 1315896 HAS SOPS 759975 HAS SOUS 379866 HAS SOUPS 364629 WITH SCORE 365944.896
AT ITER 1128 NEW BEST:: SOT 2668218 SOS 1315906 HAS SOPS 759985 HAS SOUS 379712 HAS SOUPS 364475 WITH SCORE 365790.906
AT ITER 1132 NEW BEST:: SOT 2668142 SOS 1312486 HAS SOPS 756565 HAS SOUS 379468 HAS SOUPS 364231 WITH SCORE 365543.486
AT ITER 1147 NEW BEST:: SOT 2667900 SOS 1312287 HAS SOPS 756492 HAS SOUS 379395 HAS SOUPS 364158 WITH SCORE 365470.287
AT ITER 1149 NEW BEST:: SOT 2667877 SOS 1312094 HAS SOPS 755941 HAS SOUS 379290 HAS SOUPS 364053 WITH SCORE 365365.094
AT ITER 1151 NEW BEST:: SOT 2667877 SOS 1312383 HAS SOPS 756485 HAS SOUS 379289 HAS SOUPS 364052 WITH SCORE 365364.383
AT ITER 1156 NEW BEST:: SOT 2667863 SOS 1312355 HAS SOPS 756457 HAS SOUS 379261 HAS SOUPS 364024 WITH SCORE 365336.355
AT ITER 1162 NEW BEST:: SOT 2667660 SOS 1311882 HAS SOPS 755984 HAS SOUS 379049 HAS SOUPS 363812 WITH SCORE 365123.882
AT ITER 1165 NEW BEST:: SOT 2667660 SOS 1311501 HAS SOPS 755603 HAS SOUS 379031 HAS SOUPS 363794 WITH SCORE 365105.501
AT ITER 1167 NEW BEST:: SOT 2667650 SOS 1311481 HAS SOPS 755583 HAS SOUS 379011 HAS SOUPS 363774 WITH SCORE 365085.481
AT ITER 1178 NEW BEST:: SOT 2666961 SOS 1312266 HAS SOPS 756368 HAS SOUS 378984 HAS SOUPS 363747 WITH SCORE 365059.266
AT ITER 1181 NEW BEST:: SOT 2666548 SOS 1315356 HAS SOPS 759401 HAS SOUS 378654 HAS SOUPS 363417 WITH SCORE 364732.356
AT ITER 1182 NEW BEST:: SOT 2666474 SOS 1316083 HAS SOPS 760128 HAS SOUS 378553 HAS SOUPS 363316 WITH SCORE 364632.083
AT ITER 1203 NEW BEST:: SOT 2666372 SOS 1316021 HAS SOPS 760066 HAS SOUS 378349 HAS SOUPS 363112 WITH SCORE 364428.021
AT ITER 1207 NEW BEST:: SOT 2666372 SOS 1315975 HAS SOPS 760020 HAS SOUS 378349 HAS SOUPS 363112 WITH SCORE 364427.975
AT ITER 1208 NEW BEST:: SOT 2666372 SOS 1315975 HAS SOPS 760043 HAS SOUS 378339 HAS SOUPS 363102 WITH SCORE 364417.975
AT ITER 1218 NEW BEST:: SOT 2666372 SOS 1315858 HAS SOPS 759926 HAS SOUS 378339 HAS SOUPS 363102 WITH SCORE 364417.858
AT ITER 1219 NEW BEST:: SOT 2666177 SOS 1315340 HAS SOPS 759731 HAS SOUS 378080 HAS SOUPS 362843 WITH SCORE 364158.34
AT ITER 1228 NEW BEST:: SOT 2665735 SOS 1315102 HAS SOPS 759230 HAS SOUS 377493 HAS SOUPS 362197 WITH SCORE 363512.102
AT ITER 1231 NEW BEST:: SOT 2665730 SOS 1315092 HAS SOPS 759220 HAS SOUS 377483 HAS SOUPS 362187 WITH SCORE 363502.092
AT ITER 1235 NEW BEST:: SOT 2665625 SOS 1314255 HAS SOPS 758383 HAS SOUS 377215 HAS SOUPS 361919 WITH SCORE 363233.255
AT ITER 1241 NEW BEST:: SOT 2642331 SOS 1317204 HAS SOPS 796767 HAS SOUS 361953 HAS SOUPS 346657 WITH SCORE 347974.204
AT ITER 1248 NEW BEST:: SOT 2642331 SOS 1316912 HAS SOPS 796475 HAS SOUS 361857 HAS SOUPS 346561 WITH SCORE 347877.912
AT ITER 1278 NEW BEST:: SOT 2642331 SOS 1316437 HAS SOPS 796000 HAS SOUS 361680 HAS SOUPS 346384 WITH SCORE 347700.437
AT ITER 1280 NEW BEST:: SOT 2642324 SOS 1316511 HAS SOPS 795986 HAS SOUS 361754 HAS SOUPS 346370 WITH SCORE 347686.511
AT ITER 1286 NEW BEST:: SOT 2642286 SOS 1316435 HAS SOPS 795910 HAS SOUS 361678 HAS SOUPS 346294 WITH SCORE 347610.435
AT ITER 1310 NEW BEST:: SOT 2642168 SOS 1316125 HAS SOPS 795600 HAS SOUS 361464 HAS SOUPS 346080 WITH SCORE 347396.125
AT ITER 1313 NEW BEST:: SOT 2642168 SOS 1315752 HAS SOPS 795227 HAS SOUS 361464 HAS SOUPS 346080 WITH SCORE 347395.752
AT ITER 1314 NEW BEST:: SOT 2642186 SOS 1318325 HAS SOPS 798494 HAS SOUS 361375 HAS SOUPS 345991 WITH SCORE 347309.325
AT ITER 1318 NEW BEST:: SOT 2642102 SOS 1316540 HAS SOPS 798233 HAS SOUS 361093 HAS SOUPS 345752 WITH SCORE 347068.54
AT ITER 1319 NEW BEST:: SOT 2642036 SOS 1315283 HAS SOPS 796976 HAS SOUS 360961 HAS SOUPS 345620 WITH SCORE 346935.283
AT ITER 1324 NEW BEST:: SOT 2641886 SOS 1314514 HAS SOPS 796207 HAS SOUS 360661 HAS SOUPS 345320 WITH SCORE 346634.514
AT ITER 1326 NEW BEST:: SOT 2641880 SOS 1314460 HAS SOPS 796153 HAS SOUS 360649 HAS SOUPS 345308 WITH SCORE 346622.46
AT ITER 1343 NEW BEST:: SOT 2641811 SOS 1314308 HAS SOPS 796001 HAS SOUS 360625 HAS SOUPS 345284 WITH SCORE 346598.308
AT ITER 1350 NEW BEST:: SOT 2641767 SOS 1314230 HAS SOPS 795923 HAS SOUS 360537 HAS SOUPS 345196 WITH SCORE 346510.23
AT ITER 1359 NEW BEST:: SOT 2641509 SOS 1313885 HAS SOPS 795414 HAS SOUS 360166 HAS SOUPS 344825 WITH SCORE 346138.885
AT ITER 1360 NEW BEST:: SOT 2641495 SOS 1313857 HAS SOPS 795386 HAS SOUS 360180 HAS SOUPS 344797 WITH SCORE 346110.857
AT ITER 1361 NEW BEST:: SOT 2641223 SOS 1312757 HAS SOPS 794286 HAS SOUS 359879 HAS SOUPS 344496 WITH SCORE 345808.757
AT ITER 1366 NEW BEST:: SOT 2641328 SOS 1313072 HAS SOPS 794496 HAS SOUS 359971 HAS SOUPS 344483 WITH SCORE 345796.072
AT ITER 1380 NEW BEST:: SOT 2640842 SOS 1312509 HAS SOPS 792676 HAS SOUS 358593 HAS SOUPS 343105 WITH SCORE 344417.509
AT ITER 1384 NEW BEST:: SOT 2640441 SOS 1312559 HAS SOPS 792726 HAS SOUS 358427 HAS SOUPS 342939 WITH SCORE 344251.559
AT ITER 1385 NEW BEST:: SOT 2640373 SOS 1312326 HAS SOPS 792426 HAS SOUS 358285 HAS SOUPS 342797 WITH SCORE 344109.326
AT ITER 1391 NEW BEST:: SOT 2640264 SOS 1312131 HAS SOPS 792231 HAS SOUS 358153 HAS SOUPS 342665 WITH SCORE 343977.131
AT ITER 1394 NEW BEST:: SOT 2640238 SOS 1312092 HAS SOPS 792179 HAS SOUS 358101 HAS SOUPS 342613 WITH SCORE 343925.092
AT ITER 1398 NEW BEST:: SOT 2640179 SOS 1311536 HAS SOPS 791714 HAS SOUS 357698 HAS SOUPS 342210 WITH SCORE 343521.536
AT ITER 1404 NEW BEST:: SOT 2640203 SOS 1308092 HAS SOPS 788270 HAS SOUS 357549 HAS SOUPS 342061 WITH SCORE 343369.092
AT ITER 1413 NEW BEST:: SOT 2639932 SOS 1307774 HAS SOPS 788163 HAS SOUS 357442 HAS SOUPS 341954 WITH SCORE 343261.774
AT ITER 1416 NEW BEST:: SOT 2639932 SOS 1307640 HAS SOPS 788029 HAS SOUS 357375 HAS SOUPS 341887 WITH SCORE 343194.64
AT ITER 1430 NEW BEST:: SOT 2639932 SOS 1307050 HAS SOPS 787383 HAS SOUS 357269 HAS SOUPS 341781 WITH SCORE 343088.05
AT ITER 1431 NEW BEST:: SOT 2639932 SOS 1306870 HAS SOPS 787203 HAS SOUS 357269 HAS SOUPS 341781 WITH SCORE 343087.87
AT ITER 1432 NEW BEST:: SOT 2639916 SOS 1306854 HAS SOPS 787171 HAS SOUS 357242 HAS SOUPS 341749 WITH SCORE 343055.854
AT ITER 1436 NEW BEST:: SOT 2639416 SOS 1306073 HAS SOPS 783663 HAS SOUS 356361 HAS SOUPS 340713 WITH SCORE 342019.073
AT ITER 1440 NEW BEST:: SOT 2639416 SOS 1306033 HAS SOPS 783623 HAS SOUS 356361 HAS SOUPS 340713 WITH SCORE 342019.033
AT ITER 1449 NEW BEST:: SOT 2639143 SOS 1305539 HAS SOPS 783129 HAS SOUS 355816 HAS SOUPS 340168 WITH SCORE 341473.539
AT ITER 1451 NEW BEST:: SOT 2638916 SOS 1304575 HAS SOPS 782165 HAS SOUS 355135 HAS SOUPS 339487 WITH SCORE 340791.575
AT ITER 1457 NEW BEST:: SOT 2638916 SOS 1304519 HAS SOPS 782109 HAS SOUS 355135 HAS SOUPS 339487 WITH SCORE 340791.519
AT ITER 1465 NEW BEST:: SOT 2639091 SOS 1304832 HAS SOPS 782317 HAS SOUS 354953 HAS SOUPS 339305 WITH SCORE 340609.832
AT ITER 1469 NEW BEST:: SOT 2638843 SOS 1304377 HAS SOPS 781688 HAS SOUS 354519 HAS SOUPS 338871 WITH SCORE 340175.377
AT ITER 1474 NEW BEST:: SOT 2638843 SOS 1304407 HAS SOPS 781709 HAS SOUS 354516 HAS SOUPS 338868 WITH SCORE 340172.407
AT ITER 1487 NEW BEST:: SOT 2638495 SOS 1305566 HAS SOPS 783797 HAS SOUS 353996 HAS SOUPS 338348 WITH SCORE 339653.566
AT ITER 1494 NEW BEST:: SOT 2638427 SOS 1305430 HAS SOPS 783661 HAS SOUS 353860 HAS SOUPS 338212 WITH SCORE 339517.43
AT ITER 1504 NEW BEST:: SOT 2642899 SOS 1309267 HAS SOPS 743742 HAS SOUS 352814 HAS SOUPS 337166 WITH SCORE 338475.267
AT ITER 1506 NEW BEST:: SOT 2642899 SOS 1309175 HAS SOPS 743650 HAS SOUS 352814 HAS SOUPS 337166 WITH SCORE 338475.175
AT ITER 1516 NEW BEST:: SOT 2642787 SOS 1308727 HAS SOPS 743202 HAS SOUS 352702 HAS SOUPS 337054 WITH SCORE 338362.727
AT ITER 1520 NEW BEST:: SOT 2642754 SOS 1308661 HAS SOPS 743136 HAS SOUS 352669 HAS SOUPS 337021 WITH SCORE 338329.661
AT ITER 1530 NEW BEST:: SOT 2641767 SOS 1307674 HAS SOPS 742243 HAS SOUS 351932 HAS SOUPS 336284 WITH SCORE 337591.674
AT ITER 1532 NEW BEST:: SOT 2641417 SOS 1307399 HAS SOPS 741796 HAS SOUS 351518 HAS SOUPS 335870 WITH SCORE 337177.399
AT ITER 1546 NEW BEST:: SOT 2641417 SOS 1307355 HAS SOPS 741752 HAS SOUS 351498 HAS SOUPS 335850 WITH SCORE 337157.355
AT ITER 1550 NEW BEST:: SOT 2641593 SOS 1307531 HAS SOPS 741928 HAS SOUS 351490 HAS SOUPS 335842 WITH SCORE 337149.531
AT ITER 1558 NEW BEST:: SOT 2641536 SOS 1307307 HAS SOPS 741598 HAS SOUS 351286 HAS SOUPS 335638 WITH SCORE 336945.307
AT ITER 1561 NEW BEST:: SOT 2624152 SOS 1313274 HAS SOPS 725590 HAS SOUS 337321 HAS SOUPS 320562 WITH SCORE 321875.274
AT ITER 1581 NEW BEST:: SOT 2624152 SOS 1313204 HAS SOPS 725520 HAS SOUS 337321 HAS SOUPS 320562 WITH SCORE 321875.204
AT ITER 1582 NEW BEST:: SOT 2623997 SOS 1313049 HAS SOPS 725365 HAS SOUS 337016 HAS SOUPS 320257 WITH SCORE 321570.049
AT ITER 1586 NEW BEST:: SOT 2623997 SOS 1304105 HAS SOPS 716421 HAS SOUS 336973 HAS SOUPS 320214 WITH SCORE 321518.105
AT ITER 1587 NEW BEST:: SOT 2623964 SOS 1304095 HAS SOPS 716411 HAS SOUS 336907 HAS SOUPS 320148 WITH SCORE 321452.095
AT ITER 1589 NEW BEST:: SOT 2623964 SOS 1304070 HAS SOPS 716386 HAS SOUS 336907 HAS SOUPS 320148 WITH SCORE 321452.07
AT ITER 1599 NEW BEST:: SOT 2623964 SOS 1304030 HAS SOPS 716346 HAS SOUS 336907 HAS SOUPS 320148 WITH SCORE 321452.03
AT ITER 1601 NEW BEST:: SOT 2623781 SOS 1303852 HAS SOPS 715919 HAS SOUS 336630 HAS SOUPS 319871 WITH SCORE 321174.852
AT ITER 1603 NEW BEST:: SOT 2623717 SOS 1303852 HAS SOPS 715919 HAS SOUS 336652 HAS SOUPS 319829 WITH SCORE 321132.852
AT ITER 1611 NEW BEST:: SOT 2623716 SOS 1303852 HAS SOPS 715919 HAS SOUS 336651 HAS SOUPS 319828 WITH SCORE 321131.852
AT ITER 1612 NEW BEST:: SOT 2623709 SOS 1303894 HAS SOPS 715961 HAS SOUS 336637 HAS SOUPS 319814 WITH SCORE 321117.894
AT ITER 1618 NEW BEST:: SOT 2623679 SOS 1303768 HAS SOPS 715954 HAS SOUS 336509 HAS SOUPS 319734 WITH SCORE 321037.768
AT ITER 1624 NEW BEST:: SOT 2623679 SOS 1303800 HAS SOPS 715986 HAS SOUS 336490 HAS SOUPS 319715 WITH SCORE 321018.8
AT ITER 1626 NEW BEST:: SOT 2623552 SOS 1303503 HAS SOPS 715689 HAS SOUS 336363 HAS SOUPS 319588 WITH SCORE 320891.503
AT ITER 1644 NEW BEST:: SOT 2623182 SOS 1303579 HAS SOPS 715948 HAS SOUS 335876 HAS SOUPS 319101 WITH SCORE 320404.579
AT ITER 1650 NEW BEST:: SOT 2623182 SOS 1303440 HAS SOPS 715809 HAS SOUS 335876 HAS SOUPS 319101 WITH SCORE 320404.44
AT ITER 1653 NEW BEST:: SOT 2622642 SOS 1302840 HAS SOPS 714669 HAS SOUS 335780 HAS SOUPS 318888 WITH SCORE 320190.84
AT ITER 1654 NEW BEST:: SOT 2622637 SOS 1301916 HAS SOPS 713745 HAS SOUS 335770 HAS SOUPS 318878 WITH SCORE 320179.916
AT ITER 1662 NEW BEST:: SOT 2622609 SOS 1301412 HAS SOPS 713241 HAS SOUS 335714 HAS SOUPS 318822 WITH SCORE 320123.412
AT ITER 1673 NEW BEST:: SOT 2622472 SOS 1301134 HAS SOPS 713024 HAS SOUS 335577 HAS SOUPS 318605 WITH SCORE 319906.134
AT ITER 1680 NEW BEST:: SOT 2623144 SOS 1301806 HAS SOPS 713696 HAS SOUS 335481 HAS SOUPS 318509 WITH SCORE 319810.806
AT ITER 1681 NEW BEST:: SOT 2619996 SOS 1318413 HAS SOPS 709878 HAS SOUS 335366 HAS SOUPS 318049 WITH SCORE 319367.413
AT ITER 1682 NEW BEST:: SOT 2619996 SOS 1318420 HAS SOPS 709885 HAS SOUS 335298 HAS SOUPS 317981 WITH SCORE 319299.42
AT ITER 1684 NEW BEST:: SOT 2620094 SOS 1318518 HAS SOPS 709912 HAS SOUS 335149 HAS SOUPS 317832 WITH SCORE 319150.518
AT ITER 1692 NEW BEST:: SOT 2619728 SOS 1318323 HAS SOPS 709881 HAS SOUS 334949 HAS SOUPS 317632 WITH SCORE 318950.323
AT ITER 1706 NEW BEST:: SOT 2619676 SOS 1318000 HAS SOPS 709558 HAS SOUS 334845 HAS SOUPS 317528 WITH SCORE 318846.0
AT ITER 1710 NEW BEST:: SOT 2619587 SOS 1317613 HAS SOPS 709171 HAS SOUS 334717 HAS SOUPS 317400 WITH SCORE 318717.613
AT ITER 1716 NEW BEST:: SOT 2619448 SOS 1317752 HAS SOPS 709310 HAS SOUS 334439 HAS SOUPS 317122 WITH SCORE 318439.752
AT ITER 1721 NEW BEST:: SOT 2619401 SOS 1317658 HAS SOPS 709216 HAS SOUS 334345 HAS SOUPS 317028 WITH SCORE 318345.658
AT ITER 1724 NEW BEST:: SOT 2619341 SOS 1317529 HAS SOPS 709087 HAS SOUS 334236 HAS SOUPS 316919 WITH SCORE 318236.529
AT ITER 1727 NEW BEST:: SOT 2619281 SOS 1317829 HAS SOPS 709387 HAS SOUS 334116 HAS SOUPS 316799 WITH SCORE 318116.829
AT ITER 1734 NEW BEST:: SOT 2618889 SOS 1274626 HAS SOPS 709275 HAS SOUS 332046 HAS SOUPS 315538 WITH SCORE 316812.626
AT ITER 1744 NEW BEST:: SOT 2618693 SOS 1273887 HAS SOPS 708536 HAS SOUS 331848 HAS SOUPS 315340 WITH SCORE 316613.887
AT ITER 1763 NEW BEST:: SOT 2618623 SOS 1273914 HAS SOPS 708563 HAS SOUS 331729 HAS SOUPS 315221 WITH SCORE 316494.914
AT ITER 1771 NEW BEST:: SOT 2618626 SOS 1273856 HAS SOPS 708505 HAS SOUS 331703 HAS SOUPS 315195 WITH SCORE 316468.856
AT ITER 1772 NEW BEST:: SOT 2618514 SOS 1251502 HAS SOPS 707212 HAS SOUS 330057 HAS SOUPS 313839 WITH SCORE 315090.502
AT ITER 1783 NEW BEST:: SOT 2618713 SOS 1251601 HAS SOPS 707033 HAS SOUS 329878 HAS SOUPS 313660 WITH SCORE 314911.601
AT ITER 1798 NEW BEST:: SOT 2618713 SOS 1251217 HAS SOPS 706645 HAS SOUS 329840 HAS SOUPS 313622 WITH SCORE 314873.217
AT ITER 1800 NEW BEST:: SOT 2618609 SOS 1251206 HAS SOPS 706634 HAS SOUS 329683 HAS SOUPS 313465 WITH SCORE 314716.206
AT ITER 1815 NEW BEST:: SOT 2618608 SOS 1251206 HAS SOPS 706634 HAS SOUS 329681 HAS SOUPS 313463 WITH SCORE 314714.206
AT ITER 1818 NEW BEST:: SOT 2618608 SOS 1251144 HAS SOPS 706572 HAS SOUS 329650 HAS SOUPS 313432 WITH SCORE 314683.144
AT ITER 1834 NEW BEST:: SOT 2617122 SOS 1249594 HAS SOPS 705022 HAS SOUS 329616 HAS SOUPS 313398 WITH SCORE 314647.594
AT ITER 1836 NEW BEST:: SOT 2617122 SOS 1249576 HAS SOPS 705004 HAS SOUS 329616 HAS SOUPS 313398 WITH SCORE 314647.576
AT ITER 1839 NEW BEST:: SOT 2617092 SOS 1249448 HAS SOPS 704876 HAS SOUS 329548 HAS SOUPS 313330 WITH SCORE 314579.448
AT ITER 1840 NEW BEST:: SOT 2618606 SOS 1250962 HAS SOPS 705968 HAS SOUS 329144 HAS SOUPS 313014 WITH SCORE 314264.962
AT ITER 1842 NEW BEST:: SOT 2618598 SOS 1250652 HAS SOPS 705575 HAS SOUS 329054 HAS SOUPS 312924 WITH SCORE 314174.652
AT ITER 1852 NEW BEST:: SOT 2618590 SOS 1250644 HAS SOPS 705567 HAS SOUS 329046 HAS SOUPS 312916 WITH SCORE 314166.644
AT ITER 1857 NEW BEST:: SOT 2618592 SOS 1250569 HAS SOPS 705494 HAS SOUS 328973 HAS SOUPS 312843 WITH SCORE 314093.569
AT ITER 1859 NEW BEST:: SOT 2618592 SOS 1250563 HAS SOPS 705488 HAS SOUS 328973 HAS SOUPS 312843 WITH SCORE 314093.563
AT ITER 1868 NEW BEST:: SOT 2618472 SOS 1250443 HAS SOPS 705368 HAS SOUS 328873 HAS SOUPS 312723 WITH SCORE 313973.443
AT ITER 1874 NEW BEST:: SOT 2618472 SOS 1250410 HAS SOPS 705335 HAS SOUS 328873 HAS SOUPS 312723 WITH SCORE 313973.41
AT ITER 1879 NEW BEST:: SOT 2616843 SOS 1257077 HAS SOPS 703808 HAS SOUS 328480 HAS SOUPS 312202 WITH SCORE 313459.077
AT ITER 1882 NEW BEST:: SOT 2616822 SOS 1256979 HAS SOPS 703710 HAS SOUS 328438 HAS SOUPS 312160 WITH SCORE 313416.979
AT ITER 1886 NEW BEST:: SOT 2617055 SOS 1256588 HAS SOPS 703319 HAS SOUS 328398 HAS SOUPS 312120 WITH SCORE 313376.588
AT ITER 1894 NEW BEST:: SOT 2616975 SOS 1255367 HAS SOPS 702098 HAS SOUS 328318 HAS SOUPS 312040 WITH SCORE 313295.367
AT ITER 1915 NEW BEST:: SOT 2616861 SOS 1255283 HAS SOPS 702014 HAS SOUS 328188 HAS SOUPS 311910 WITH SCORE 313165.283
AT ITER 1917 NEW BEST:: SOT 2616849 SOS 1255297 HAS SOPS 702028 HAS SOUS 328164 HAS SOUPS 311886 WITH SCORE 313141.297
AT ITER 1920 NEW BEST:: SOT 2616832 SOS 1255280 HAS SOPS 702011 HAS SOUS 328147 HAS SOUPS 311869 WITH SCORE 313124.28
AT ITER 1923 NEW BEST:: SOT 2616832 SOS 1255369 HAS SOPS 701833 HAS SOUS 328082 HAS SOUPS 311691 WITH SCORE 312946.369
AT ITER 1925 NEW BEST:: SOT 2616812 SOS 1255007 HAS SOPS 701471 HAS SOUS 328016 HAS SOUPS 311625 WITH SCORE 312880.007
AT ITER 1944 NEW BEST:: SOT 2616836 SOS 1258125 HAS SOPS 704589 HAS SOUS 327862 HAS SOUPS 311471 WITH SCORE 312729.125
AT ITER 1955 NEW BEST:: SOT 2615553 SOS 1256842 HAS SOPS 703639 HAS SOUS 326910 HAS SOUPS 310521 WITH SCORE 311777.842
AT ITER 1963 NEW BEST:: SOT 2615268 SOS 1256375 HAS SOPS 703114 HAS SOUS 326673 HAS SOUPS 310226 WITH SCORE 311482.375
AT ITER 1965 NEW BEST:: SOT 2615196 SOS 1255517 HAS SOPS 702912 HAS SOUS 326553 HAS SOUPS 310128 WITH SCORE 311383.517
AT ITER 1971 NEW BEST:: SOT 2615241 SOS 1255189 HAS SOPS 702405 HAS SOUS 326552 HAS SOUPS 310127 WITH SCORE 311382.189
AT ITER 1982 NEW BEST:: SOT 2615226 SOS 1254875 HAS SOPS 702091 HAS SOUS 326490 HAS SOUPS 310065 WITH SCORE 311319.875
AT ITER 1987 NEW BEST:: SOT 2615042 SOS 1254591 HAS SOPS 701907 HAS SOUS 326306 HAS SOUPS 309881 WITH SCORE 311135.591
AT ITER 2004 NEW BEST:: SOT 2615010 SOS 1254463 HAS SOPS 701779 HAS SOUS 326274 HAS SOUPS 309849 WITH SCORE 311103.463
AT ITER 2008 NEW BEST:: SOT 2614517 SOS 1253579 HAS SOPS 700814 HAS SOUS 326273 HAS SOUPS 309848 WITH SCORE 311101.579
AT ITER 2009 NEW BEST:: SOT 2614244 SOS 1253147 HAS SOPS 700382 HAS SOUS 325991 HAS SOUPS 309566 WITH SCORE 310819.147
AT ITER 2010 NEW BEST:: SOT 2613330 SOS 1252194 HAS SOPS 699429 HAS SOUS 325968 HAS SOUPS 309543 WITH SCORE 310795.194
AT ITER 2018 NEW BEST:: SOT 2613057 SOS 1251277 HAS SOPS 698166 HAS SOUS 325292 HAS SOUPS 308718 WITH SCORE 309969.277
AT ITER 2027 NEW BEST:: SOT 2613039 SOS 1252298 HAS SOPS 699187 HAS SOUS 325256 HAS SOUPS 308682 WITH SCORE 309934.298
AT ITER 2030 NEW BEST:: SOT 2612980 SOS 1252279 HAS SOPS 699181 HAS SOUS 325138 HAS SOUPS 308564 WITH SCORE 309816.279
AT ITER 2032 NEW BEST:: SOT 2612966 SOS 1252265 HAS SOPS 699167 HAS SOUS 325105 HAS SOUPS 308531 WITH SCORE 309783.265
AT ITER 2037 NEW BEST:: SOT 2612966 SOS 1252224 HAS SOPS 699126 HAS SOUS 325064 HAS SOUPS 308490 WITH SCORE 309742.224
AT ITER 2040 NEW BEST:: SOT 2612477 SOS 1251722 HAS SOPS 698385 HAS SOUS 324367 HAS SOUPS 307776 WITH SCORE 309027.722
AT ITER 2055 NEW BEST:: SOT 2612477 SOS 1251134 HAS SOPS 697797 HAS SOUS 324367 HAS SOUPS 307776 WITH SCORE 309027.134
AT ITER 2057 NEW BEST:: SOT 2612007 SOS 1251887 HAS SOPS 698462 HAS SOUS 324090 HAS SOUPS 307499 WITH SCORE 308750.887
AT ITER 2061 NEW BEST:: SOT 2612007 SOS 1251519 HAS SOPS 698094 HAS SOUS 324090 HAS SOUPS 307499 WITH SCORE 308750.519
AT ITER 2069 NEW BEST:: SOT 2612007 SOS 1251510 HAS SOPS 698076 HAS SOUS 324072 HAS SOUPS 307481 WITH SCORE 308732.51
AT ITER 2075 NEW BEST:: SOT 2611890 SOS 1249774 HAS SOPS 696344 HAS SOUS 323842 HAS SOUPS 307251 WITH SCORE 308500.774
AT ITER 2076 NEW BEST:: SOT 2611872 SOS 1249700 HAS SOPS 696270 HAS SOUS 323824 HAS SOUPS 307233 WITH SCORE 308482.7
AT ITER 2079 NEW BEST:: SOT 2611868 SOS 1249696 HAS SOPS 696266 HAS SOUS 323820 HAS SOUPS 307229 WITH SCORE 308478.696
AT ITER 2080 NEW BEST:: SOT 2611870 SOS 1248908 HAS SOPS 695451 HAS SOUS 323676 HAS SOUPS 307085 WITH SCORE 308333.908
AT ITER 2093 NEW BEST:: SOT 2611850 SOS 1247828 HAS SOPS 694371 HAS SOUS 323636 HAS SOUPS 307045 WITH SCORE 308292.828
AT ITER 2099 NEW BEST:: SOT 2611808 SOS 1247828 HAS SOPS 694371 HAS SOUS 323552 HAS SOUPS 306961 WITH SCORE 308208.828
AT ITER 2101 NEW BEST:: SOT 2611769 SOS 1247750 HAS SOPS 694293 HAS SOUS 323474 HAS SOUPS 306883 WITH SCORE 308130.75
AT ITER 2102 NEW BEST:: SOT 2611373 SOS 1247163 HAS SOPS 693952 HAS SOUS 322877 HAS SOUPS 306330 WITH SCORE 307577.163
AT ITER 2104 NEW BEST:: SOT 2611053 SOS 1249702 HAS SOPS 696851 HAS SOUS 322581 HAS SOUPS 306034 WITH SCORE 307283.702
AT ITER 2114 NEW BEST:: SOT 2611078 SOS 1249586 HAS SOPS 696735 HAS SOUS 322548 HAS SOUPS 306001 WITH SCORE 307250.586
AT ITER 2140 NEW BEST:: SOT 2611012 SOS 1249515 HAS SOPS 696603 HAS SOUS 322416 HAS SOUPS 305869 WITH SCORE 307118.515
AT ITER 2151 NEW BEST:: SOT 2610993 SOS 1249476 HAS SOPS 696564 HAS SOUS 322378 HAS SOUPS 305831 WITH SCORE 307080.476
AT ITER 2153 NEW BEST:: SOT 2610715 SOS 1249205 HAS SOPS 695843 HAS SOUS 322357 HAS SOUPS 305810 WITH SCORE 307059.205
AT ITER 2178 NEW BEST:: SOT 2610707 SOS 1249461 HAS SOPS 695827 HAS SOUS 322341 HAS SOUPS 305794 WITH SCORE 307043.461
AT ITER 2187 NEW BEST:: SOT 2610816 SOS 1249439 HAS SOPS 695747 HAS SOUS 322274 HAS SOUPS 305727 WITH SCORE 306976.439
AT ITER 2188 NEW BEST:: SOT 2610812 SOS 1249435 HAS SOPS 695743 HAS SOUS 322270 HAS SOUPS 305723 WITH SCORE 306972.435
AT ITER 2194 NEW BEST:: SOT 2609581 SOS 1248204 HAS SOPS 694202 HAS SOUS 321022 HAS SOUPS 304182 WITH SCORE 305430.204
AT ITER 2214 NEW BEST:: SOT 2609593 SOS 1248410 HAS SOPS 694365 HAS SOUS 320955 HAS SOUPS 304115 WITH SCORE 305363.41
AT ITER 2220 NEW BEST:: SOT 2609593 SOS 1248151 HAS SOPS 694106 HAS SOUS 320955 HAS SOUPS 304115 WITH SCORE 305363.151
AT ITER 2223 NEW BEST:: SOT 2609580 SOS 1247219 HAS SOPS 693174 HAS SOUS 320846 HAS SOUPS 304006 WITH SCORE 305253.219
AT ITER 2251 NEW BEST:: SOT 2609580 SOS 1247214 HAS SOPS 693169 HAS SOUS 320846 HAS SOUPS 304006 WITH SCORE 305253.214
AT ITER 2263 NEW BEST:: SOT 2610376 SOS 1248010 HAS SOPS 694397 HAS SOUS 320778 HAS SOUPS 303986 WITH SCORE 305234.01
AT ITER 2269 NEW BEST:: SOT 2610409 SOS 1247936 HAS SOPS 694323 HAS SOUS 320704 HAS SOUPS 303912 WITH SCORE 305159.936
AT ITER 2280 NEW BEST:: SOT 2610409 SOS 1247711 HAS SOPS 694098 HAS SOUS 320704 HAS SOUPS 303912 WITH SCORE 305159.711
AT ITER 2293 NEW BEST:: SOT 2610241 SOS 1247562 HAS SOPS 693895 HAS SOUS 320501 HAS SOUPS 303709 WITH SCORE 304956.562
AT ITER 2311 NEW BEST:: SOT 2610423 SOS 1247643 HAS SOPS 693831 HAS SOUS 320444 HAS SOUPS 303652 WITH SCORE 304899.643
AT ITER 2325 NEW BEST:: SOT 2610423 SOS 1247574 HAS SOPS 693762 HAS SOUS 320421 HAS SOUPS 303629 WITH SCORE 304876.574
AT ITER 2327 NEW BEST:: SOT 2610462 SOS 1245864 HAS SOPS 692052 HAS SOUS 320364 HAS SOUPS 303572 WITH SCORE 304817.864
AT ITER 2343 NEW BEST:: SOT 2610462 SOS 1245787 HAS SOPS 691975 HAS SOUS 320364 HAS SOUPS 303572 WITH SCORE 304817.787
AT ITER 2358 NEW BEST:: SOT 2610462 SOS 1245705 HAS SOPS 691893 HAS SOUS 320351 HAS SOUPS 303559 WITH SCORE 304804.705
AT ITER 2379 NEW BEST:: SOT 2610361 SOS 1245324 HAS SOPS 691512 HAS SOUS 320110 HAS SOUPS 303318 WITH SCORE 304563.324
AT ITER 2383 NEW BEST:: SOT 2610361 SOS 1245264 HAS SOPS 691452 HAS SOUS 320110 HAS SOUPS 303318 WITH SCORE 304563.264
AT ITER 2387 NEW BEST:: SOT 2610308 SOS 1243953 HAS SOPS 690177 HAS SOUS 320040 HAS SOUPS 303248 WITH SCORE 304491.953
AT ITER 2393 NEW BEST:: SOT 2610106 SOS 1243811 HAS SOPS 690062 HAS SOUS 319636 HAS SOUPS 302844 WITH SCORE 304087.811
AT ITER 2412 NEW BEST:: SOT 2610020 SOS 1243651 HAS SOPS 689902 HAS SOUS 319464 HAS SOUPS 302672 WITH SCORE 303915.651
AT ITER 2419 NEW BEST:: SOT 2609999 SOS 1243455 HAS SOPS 689706 HAS SOUS 319422 HAS SOUPS 302630 WITH SCORE 303873.455
AT ITER 2422 NEW BEST:: SOT 2609968 SOS 1243393 HAS SOPS 689564 HAS SOUS 319314 HAS SOUPS 302488 WITH SCORE 303731.393
AT ITER 2424 NEW BEST:: SOT 2609893 SOS 1243275 HAS SOPS 689414 HAS SOUS 319132 HAS SOUPS 302306 WITH SCORE 303549.275
AT ITER 2446 NEW BEST:: SOT 2609538 SOS 1242191 HAS SOPS 688330 HAS SOUS 318590 HAS SOUPS 301764 WITH SCORE 303006.191
AT ITER 2449 NEW BEST:: SOT 2609550 SOS 1242193 HAS SOPS 688332 HAS SOUS 318568 HAS SOUPS 301742 WITH SCORE 302984.193
AT ITER 2459 NEW BEST:: SOT 2609712 SOS 1242522 HAS SOPS 688678 HAS SOUS 318480 HAS SOUPS 301654 WITH SCORE 302896.522
AT ITER 2467 NEW BEST:: SOT 2609709 SOS 1242516 HAS SOPS 688672 HAS SOUS 318474 HAS SOUPS 301648 WITH SCORE 302890.516
AT ITER 2471 NEW BEST:: SOT 2609669 SOS 1242836 HAS SOPS 688992 HAS SOUS 318434 HAS SOUPS 301608 WITH SCORE 302850.836
AT ITER 2502 NEW BEST:: SOT 2609625 SOS 1242689 HAS SOPS 688845 HAS SOUS 318390 HAS SOUPS 301564 WITH SCORE 302806.689
AT ITER 2519 NEW BEST:: SOT 2609448 SOS 1239842 HAS SOPS 685998 HAS SOUS 318036 HAS SOUPS 301210 WITH SCORE 302449.842
AT ITER 2529 NEW BEST:: SOT 2609448 SOS 1239710 HAS SOPS 685866 HAS SOUS 318036 HAS SOUPS 301210 WITH SCORE 302449.71
AT ITER 2530 NEW BEST:: SOT 2609416 SOS 1239668 HAS SOPS 685824 HAS SOUS 317997 HAS SOUPS 301171 WITH SCORE 302410.668
AT ITER 2539 NEW BEST:: SOT 2609073 SOS 1239257 HAS SOPS 685221 HAS SOUS 317499 HAS SOUPS 300662 WITH SCORE 301901.257
AT ITER 2550 NEW BEST:: SOT 2609065 SOS 1239172 HAS SOPS 685136 HAS SOUS 317483 HAS SOUPS 300646 WITH SCORE 301885.172
AT ITER 2563 NEW BEST:: SOT 2609061 SOS 1239160 HAS SOPS 685128 HAS SOUS 317475 HAS SOUPS 300638 WITH SCORE 301877.16
AT ITER 2577 NEW BEST:: SOT 2608909 SOS 1239195 HAS SOPS 685163 HAS SOUS 317178 HAS SOUPS 300341 WITH SCORE 301580.195
AT ITER 2578 NEW BEST:: SOT 2608909 SOS 1238159 HAS SOPS 684127 HAS SOUS 317178 HAS SOUPS 300341 WITH SCORE 301579.159
AT ITER 2582 NEW BEST:: SOT 2608871 SOS 1238093 HAS SOPS 684061 HAS SOUS 317128 HAS SOUPS 300291 WITH SCORE 301529.093
AT ITER 2588 NEW BEST:: SOT 2608690 SOS 1237190 HAS SOPS 683158 HAS SOUS 316766 HAS SOUPS 299929 WITH SCORE 301166.19
AT ITER 2609 NEW BEST:: SOT 2608634 SOS 1237126 HAS SOPS 683094 HAS SOUS 316702 HAS SOUPS 299865 WITH SCORE 301102.126
AT ITER 2620 NEW BEST:: SOT 2608632 SOS 1237029 HAS SOPS 682997 HAS SOUS 316698 HAS SOUPS 299861 WITH SCORE 301098.029
AT ITER 2624 NEW BEST:: SOT 2607944 SOS 1238743 HAS SOPS 685056 HAS SOUS 316513 HAS SOUPS 299676 WITH SCORE 300914.743
AT ITER 2635 NEW BEST:: SOT 2607926 SOS 1238788 HAS SOPS 685101 HAS SOUS 316486 HAS SOUPS 299649 WITH SCORE 300887.788
AT ITER 2639 NEW BEST:: SOT 2607959 SOS 1238710 HAS SOPS 684977 HAS SOUS 316421 HAS SOUPS 299584 WITH SCORE 300822.71
AT ITER 2647 NEW BEST:: SOT 2607948 SOS 1238888 HAS SOPS 685155 HAS SOUS 316399 HAS SOUPS 299562 WITH SCORE 300800.888
AT ITER 2650 NEW BEST:: SOT 2607948 SOS 1238811 HAS SOPS 685078 HAS SOUS 316399 HAS SOUPS 299562 WITH SCORE 300800.811
AT ITER 2653 NEW BEST:: SOT 2607916 SOS 1238667 HAS SOPS 684934 HAS SOUS 316191 HAS SOUPS 299354 WITH SCORE 300592.667
AT ITER 2654 NEW BEST:: SOT 2607883 SOS 1238887 HAS SOPS 685154 HAS SOUS 316158 HAS SOUPS 299321 WITH SCORE 300559.887
AT ITER 2660 NEW BEST:: SOT 2607862 SOS 1238711 HAS SOPS 684978 HAS SOUS 316116 HAS SOUPS 299279 WITH SCORE 300517.711
AT ITER 2663 NEW BEST:: SOT 2607702 SOS 1241158 HAS SOPS 687425 HAS SOUS 315809 HAS SOUPS 298972 WITH SCORE 300213.158
AT ITER 2673 NEW BEST:: SOT 2607702 SOS 1241039 HAS SOPS 687306 HAS SOUS 315809 HAS SOUPS 298972 WITH SCORE 300213.039
AT ITER 2685 NEW BEST:: SOT 2607691 SOS 1240951 HAS SOPS 687175 HAS SOUS 315617 HAS SOUPS 298841 WITH SCORE 300081.951
AT ITER 2687 NEW BEST:: SOT 2607691 SOS 1240951 HAS SOPS 687007 HAS SOUS 315465 HAS SOUPS 298689 WITH SCORE 299929.951
AT ITER 2688 NEW BEST:: SOT 2607628 SOS 1239355 HAS SOPS 685411 HAS SOUS 315410 HAS SOUPS 298634 WITH SCORE 299873.355
AT ITER 2705 NEW BEST:: SOT 2607402 SOS 1238979 HAS SOPS 684959 HAS SOUS 315148 HAS SOUPS 298372 WITH SCORE 299610.979
AT ITER 2706 NEW BEST:: SOT 2607147 SOS 1238724 HAS SOPS 684628 HAS SOUS 314969 HAS SOUPS 298193 WITH SCORE 299431.724
AT ITER 2720 NEW BEST:: SOT 2607184 SOS 1238798 HAS SOPS 684702 HAS SOUS 314891 HAS SOUPS 298115 WITH SCORE 299353.798
AT ITER 2727 NEW BEST:: SOT 2607118 SOS 1238679 HAS SOPS 684287 HAS SOUS 314651 HAS SOUPS 297864 WITH SCORE 299102.679
AT ITER 2755 NEW BEST:: SOT 2607113 SOS 1239043 HAS SOPS 684651 HAS SOUS 314641 HAS SOUPS 297854 WITH SCORE 299093.043
AT ITER 2773 NEW BEST:: SOT 2606867 SOS 1238587 HAS SOPS 684369 HAS SOUS 314359 HAS SOUPS 297572 WITH SCORE 298810.587
AT ITER 2787 NEW BEST:: SOT 2606710 SOS 1238399 HAS SOPS 684409 HAS SOUS 314160 HAS SOUPS 297565 WITH SCORE 298803.399
AT ITER 2796 NEW BEST:: SOT 2606470 SOS 1238122 HAS SOPS 683889 HAS SOUS 314117 HAS SOUPS 297522 WITH SCORE 298760.122
AT ITER 2800 NEW BEST:: SOT 2606465 SOS 1238117 HAS SOPS 683874 HAS SOUS 314102 HAS SOUPS 297507 WITH SCORE 298745.117
AT ITER 2803 NEW BEST:: SOT 2606464 SOS 1239852 HAS SOPS 685609 HAS SOUS 314100 HAS SOUPS 297505 WITH SCORE 298744.852
AT ITER 2807 NEW BEST:: SOT 2606273 SOS 1239470 HAS SOPS 685227 HAS SOUS 314039 HAS SOUPS 297444 WITH SCORE 298683.47
AT ITER 2810 NEW BEST:: SOT 2605985 SOS 1238185 HAS SOPS 683942 HAS SOUS 313714 HAS SOUPS 297119 WITH SCORE 298357.185
AT ITER 2811 NEW BEST:: SOT 2605910 SOS 1238204 HAS SOPS 683961 HAS SOUS 313564 HAS SOUPS 296969 WITH SCORE 298207.204
AT ITER 2814 NEW BEST:: SOT 2605711 SOS 1238005 HAS SOPS 683775 HAS SOUS 313378 HAS SOUPS 296783 WITH SCORE 298021.005
AT ITER 2830 NEW BEST:: SOT 2605585 SOS 1237872 HAS SOPS 683642 HAS SOUS 313113 HAS SOUPS 296518 WITH SCORE 297755.872
AT ITER 2834 NEW BEST:: SOT 2605101 SOS 1238343 HAS SOPS 682899 HAS SOUS 313093 HAS SOUPS 296374 WITH SCORE 297612.343
AT ITER 2865 NEW BEST:: SOT 2605101 SOS 1238289 HAS SOPS 682845 HAS SOUS 313093 HAS SOUPS 296374 WITH SCORE 297612.289
AT ITER 2876 NEW BEST:: SOT 2605058 SOS 1238332 HAS SOPS 682888 HAS SOUS 313007 HAS SOUPS 296288 WITH SCORE 297526.332
AT ITER 2877 NEW BEST:: SOT 2604831 SOS 1237262 HAS SOPS 681818 HAS SOUS 312834 HAS SOUPS 296115 WITH SCORE 297352.262
AT ITER 2879 NEW BEST:: SOT 2604759 SOS 1237105 HAS SOPS 681611 HAS SOUS 312719 HAS SOUPS 296000 WITH SCORE 297237.105
AT ITER 2894 NEW BEST:: SOT 2604711 SOS 1237009 HAS SOPS 681515 HAS SOUS 312623 HAS SOUPS 295904 WITH SCORE 297141.009
AT ITER 2917 NEW BEST:: SOT 2604711 SOS 1236857 HAS SOPS 681363 HAS SOUS 312471 HAS SOUPS 295752 WITH SCORE 296988.857
AT ITER 2924 NEW BEST:: SOT 2602788 SOS 1244673 HAS SOPS 679276 HAS SOUS 312275 HAS SOUPS 295399 WITH SCORE 296643.673
AT ITER 2935 NEW BEST:: SOT 2602736 SOS 1244569 HAS SOPS 679172 HAS SOUS 312171 HAS SOUPS 295295 WITH SCORE 296539.569
AT ITER 2945 NEW BEST:: SOT 2602560 SOS 1244322 HAS SOPS 674772 HAS SOUS 307962 HAS SOUPS 291086 WITH SCORE 292330.322
AT ITER 2947 NEW BEST:: SOT 2602215 SOS 1248618 HAS SOPS 674303 HAS SOUS 307893 HAS SOUPS 290955 WITH SCORE 292203.618
AT ITER 2958 NEW BEST:: SOT 2602174 SOS 1248506 HAS SOPS 674191 HAS SOUS 307811 HAS SOUPS 290873 WITH SCORE 292121.506
AT ITER 2965 NEW BEST:: SOT 2603140 SOS 1243271 HAS SOPS 675139 HAS SOUS 307627 HAS SOUPS 290781 WITH SCORE 292024.271
AT ITER 2973 NEW BEST:: SOT 2602870 SOS 1243188 HAS SOPS 675056 HAS SOUS 307560 HAS SOUPS 290714 WITH SCORE 291957.188
AT ITER 2976 NEW BEST:: SOT 2602928 SOS 1242937 HAS SOPS 674579 HAS SOUS 307093 HAS SOUPS 290247 WITH SCORE 291489.937
AT ITER 2985 NEW BEST:: SOT 2602638 SOS 1243936 HAS SOPS 674309 HAS SOUS 307046 HAS SOUPS 290180 WITH SCORE 291423.936
AT ITER 2987 NEW BEST:: SOT 2601762 SOS 1234469 HAS SOPS 654105 HAS SOUS 306872 HAS SOUPS 289900 WITH SCORE 291134.469
AT ITER 3024 NEW BEST:: SOT 2601762 SOS 1234433 HAS SOPS 654069 HAS SOUS 306872 HAS SOUPS 289900 WITH SCORE 291134.433
AT ITER 3035 NEW BEST:: SOT 2601764 SOS 1231898 HAS SOPS 651205 HAS SOUS 306288 HAS SOUPS 289316 WITH SCORE 290547.898
AT ITER 3054 NEW BEST:: SOT 2601748 SOS 1231866 HAS SOPS 651173 HAS SOUS 306272 HAS SOUPS 289300 WITH SCORE 290531.866
AT ITER 3060 NEW BEST:: SOT 2601704 SOS 1233601 HAS SOPS 652908 HAS SOUS 306184 HAS SOUPS 289212 WITH SCORE 290445.601
AT ITER 3072 NEW BEST:: SOT 2601691 SOS 1233341 HAS SOPS 652648 HAS SOUS 306158 HAS SOUPS 289186 WITH SCORE 290419.341
AT ITER 3083 NEW BEST:: SOT 2601399 SOS 1234439 HAS SOPS 653915 HAS SOUS 306152 HAS SOUPS 289180 WITH SCORE 290414.439
AT ITER 3090 NEW BEST:: SOT 2601399 SOS 1233976 HAS SOPS 653452 HAS SOUS 306152 HAS SOUPS 289180 WITH SCORE 290413.976
AT ITER 3092 NEW BEST:: SOT 2601363 SOS 1233940 HAS SOPS 653416 HAS SOUS 306152 HAS SOUPS 289180 WITH SCORE 290413.94
AT ITER 3112 NEW BEST:: SOT 2601363 SOS 1233645 HAS SOPS 653121 HAS SOUS 306079 HAS SOUPS 289107 WITH SCORE 290340.645
AT ITER 3117 NEW BEST:: SOT 2601057 SOS 1233339 HAS SOPS 652815 HAS SOUS 306045 HAS SOUPS 289073 WITH SCORE 290306.339
AT ITER 3123 NEW BEST:: SOT 2601022 SOS 1231439 HAS SOPS 650915 HAS SOUS 305975 HAS SOUPS 289003 WITH SCORE 290234.439
AT ITER 3124 NEW BEST:: SOT 2601022 SOS 1231256 HAS SOPS 650732 HAS SOUS 305975 HAS SOUPS 289003 WITH SCORE 290234.256
AT ITER 3127 NEW BEST:: SOT 2601120 SOS 1231159 HAS SOPS 650659 HAS SOUS 305915 HAS SOUPS 288943 WITH SCORE 290174.159
AT ITER 3148 NEW BEST:: SOT 2600750 SOS 1231663 HAS SOPS 651021 HAS SOUS 305375 HAS SOUPS 288403 WITH SCORE 289634.663
AT ITER 3158 NEW BEST:: SOT 2600743 SOS 1231779 HAS SOPS 651137 HAS SOUS 305361 HAS SOUPS 288389 WITH SCORE 289620.779
AT ITER 3170 NEW BEST:: SOT 2600701 SOS 1231555 HAS SOPS 650871 HAS SOUS 305277 HAS SOUPS 288305 WITH SCORE 289536.555
AT ITER 3181 NEW BEST:: SOT 2600686 SOS 1231455 HAS SOPS 650771 HAS SOUS 305247 HAS SOUPS 288275 WITH SCORE 289506.455
AT ITER 3194 NEW BEST:: SOT 2600821 SOS 1229139 HAS SOPS 648111 HAS SOUS 305118 HAS SOUPS 288146 WITH SCORE 289375.139
AT ITER 3199 NEW BEST:: SOT 2600796 SOS 1229064 HAS SOPS 648011 HAS SOUS 305037 HAS SOUPS 288065 WITH SCORE 289294.064
AT ITER 3210 NEW BEST:: SOT 2600789 SOS 1229076 HAS SOPS 648029 HAS SOUS 304932 HAS SOUPS 287960 WITH SCORE 289189.076
AT ITER 3227 NEW BEST:: SOT 2600774 SOS 1229046 HAS SOPS 647999 HAS SOUS 304902 HAS SOUPS 287930 WITH SCORE 289159.046
AT ITER 3230 NEW BEST:: SOT 2600727 SOS 1229375 HAS SOPS 648328 HAS SOUS 304808 HAS SOUPS 287836 WITH SCORE 289065.375
AT ITER 3237 NEW BEST:: SOT 2600721 SOS 1229363 HAS SOPS 648316 HAS SOUS 304802 HAS SOUPS 287830 WITH SCORE 289059.363
AT ITER 3239 NEW BEST:: SOT 2600656 SOS 1229276 HAS SOPS 648430 HAS SOUS 304425 HAS SOUPS 287453 WITH SCORE 288682.276
AT ITER 3273 NEW BEST:: SOT 2600656 SOS 1229231 HAS SOPS 648385 HAS SOUS 304425 HAS SOUPS 287453 WITH SCORE 288682.231
AT ITER 3280 NEW BEST:: SOT 2600616 SOS 1229191 HAS SOPS 648345 HAS SOUS 304406 HAS SOUPS 287434 WITH SCORE 288663.191
AT ITER 3282 NEW BEST:: SOT 2600616 SOS 1229163 HAS SOPS 648317 HAS SOUS 304406 HAS SOUPS 287434 WITH SCORE 288663.163
AT ITER 3284 NEW BEST:: SOT 2600476 SOS 1227763 HAS SOPS 646917 HAS SOUS 304266 HAS SOUPS 287294 WITH SCORE 288521.763
AT ITER 3298 NEW BEST:: SOT 2600402 SOS 1227181 HAS SOPS 646201 HAS SOUS 303918 HAS SOUPS 286946 WITH SCORE 288173.181
AT ITER 3304 NEW BEST:: SOT 2600452 SOS 1226153 HAS SOPS 646279 HAS SOUS 303904 HAS SOUPS 286946 WITH SCORE 288172.153
AT ITER 3307 NEW BEST:: SOT 2600399 SOS 1226099 HAS SOPS 646173 HAS SOUS 303798 HAS SOUPS 286840 WITH SCORE 288066.099
AT ITER 3308 NEW BEST:: SOT 2600357 SOS 1226099 HAS SOPS 645207 HAS SOUS 302916 HAS SOUPS 285958 WITH SCORE 287184.099
AT ITER 3336 NEW BEST:: SOT 2600188 SOS 1225843 HAS SOPS 644951 HAS SOUS 302852 HAS SOUPS 285894 WITH SCORE 287119.843
AT ITER 3338 NEW BEST:: SOT 2600177 SOS 1225810 HAS SOPS 644907 HAS SOUS 302819 HAS SOUPS 285861 WITH SCORE 287086.81
AT ITER 3343 NEW BEST:: SOT 2600148 SOS 1225784 HAS SOPS 644867 HAS SOUS 302779 HAS SOUPS 285821 WITH SCORE 287046.784
AT ITER 3350 NEW BEST:: SOT 2600124 SOS 1225594 HAS SOPS 644677 HAS SOUS 302676 HAS SOUPS 285718 WITH SCORE 286943.594
AT ITER 3353 NEW BEST:: SOT 2600124 SOS 1225616 HAS SOPS 644677 HAS SOUS 302654 HAS SOUPS 285696 WITH SCORE 286921.616
AT ITER 3365 NEW BEST:: SOT 2600124 SOS 1225592 HAS SOPS 644653 HAS SOUS 302654 HAS SOUPS 285696 WITH SCORE 286921.592
AT ITER 3369 NEW BEST:: SOT 2599825 SOS 1225266 HAS SOPS 644306 HAS SOUS 302307 HAS SOUPS 285349 WITH SCORE 286574.266
AT ITER 3371 NEW BEST:: SOT 2599805 SOS 1223610 HAS SOPS 642650 HAS SOUS 302245 HAS SOUPS 285287 WITH SCORE 286510.61
AT ITER 3388 NEW BEST:: SOT 2599649 SOS 1223454 HAS SOPS 642494 HAS SOUS 302245 HAS SOUPS 285287 WITH SCORE 286510.454
AT ITER 3443 NEW BEST:: SOT 2599598 SOS 1223379 HAS SOPS 642416 HAS SOUS 302167 HAS SOUPS 285209 WITH SCORE 286432.379
AT ITER 3445 NEW BEST:: SOT 2599598 SOS 1223368 HAS SOPS 642405 HAS SOUS 302167 HAS SOUPS 285209 WITH SCORE 286432.368
AT ITER 3446 NEW BEST:: SOT 2599592 SOS 1223362 HAS SOPS 640392 HAS SOUS 300241 HAS SOUPS 283283 WITH SCORE 284506.362
AT ITER 3451 NEW BEST:: SOT 2599445 SOS 1223079 HAS SOPS 639898 HAS SOUS 299740 HAS SOUPS 282782 WITH SCORE 284005.079
AT ITER 3454 NEW BEST:: SOT 2599385 SOS 1222882 HAS SOPS 639085 HAS SOUS 299523 HAS SOUPS 282585 WITH SCORE 283807.882
AT ITER 3460 NEW BEST:: SOT 2599257 SOS 1222754 HAS SOPS 638829 HAS SOUS 299281 HAS SOUPS 282329 WITH SCORE 283551.754
AT ITER 3480 NEW BEST:: SOT 2599204 SOS 1222347 HAS SOPS 638422 HAS SOUS 299160 HAS SOUPS 282208 WITH SCORE 283430.347
AT ITER 3483 NEW BEST:: SOT 2599204 SOS 1222341 HAS SOPS 638416 HAS SOUS 299160 HAS SOUPS 282208 WITH SCORE 283430.341
AT ITER 3498 NEW BEST:: SOT 2600842 SOS 1223979 HAS SOPS 640054 HAS SOUS 298926 HAS SOUPS 281974 WITH SCORE 283197.979
AT ITER 3510 NEW BEST:: SOT 2600803 SOS 1224384 HAS SOPS 640459 HAS SOUS 298848 HAS SOUPS 281896 WITH SCORE 283120.384
AT ITER 3517 NEW BEST:: SOT 2600396 SOS 1223784 HAS SOPS 640104 HAS SOUS 298318 HAS SOUPS 281366 WITH SCORE 282589.784
AT ITER 3519 NEW BEST:: SOT 2600329 SOS 1223717 HAS SOPS 640037 HAS SOUS 298253 HAS SOUPS 281301 WITH SCORE 282524.717
AT ITER 3530 NEW BEST:: SOT 2600135 SOS 1223332 HAS SOPS 639652 HAS SOUS 298215 HAS SOUPS 281263 WITH SCORE 282486.332
AT ITER 3534 NEW BEST:: SOT 2599987 SOS 1223036 HAS SOPS 639356 HAS SOUS 298067 HAS SOUPS 281115 WITH SCORE 282338.036
AT ITER 3562 NEW BEST:: SOT 2600003 SOS 1222868 HAS SOPS 639188 HAS SOUS 297999 HAS SOUPS 281047 WITH SCORE 282269.868
AT ITER 3573 NEW BEST:: SOT 2599882 SOS 1222607 HAS SOPS 639067 HAS SOUS 297898 HAS SOUPS 280946 WITH SCORE 282168.607
AT ITER 3576 NEW BEST:: SOT 2599811 SOS 1222561 HAS SOPS 639194 HAS SOUS 297849 HAS SOUPS 280897 WITH SCORE 282119.561
AT ITER 3577 NEW BEST:: SOT 2599801 SOS 1222437 HAS SOPS 639070 HAS SOUS 297829 HAS SOUPS 280877 WITH SCORE 282099.437
AT ITER 3583 NEW BEST:: SOT 2599781 SOS 1222442 HAS SOPS 639075 HAS SOUS 297789 HAS SOUPS 280837 WITH SCORE 282059.442
AT ITER 3594 NEW BEST:: SOT 2599457 SOS 1221632 HAS SOPS 638265 HAS SOUS 297141 HAS SOUPS 280189 WITH SCORE 281410.632
AT ITER 3596 NEW BEST:: SOT 2599445 SOS 1221596 HAS SOPS 638229 HAS SOUS 297123 HAS SOUPS 280171 WITH SCORE 281392.596
AT ITER 3627 NEW BEST:: SOT 2599597 SOS 1221503 HAS SOPS 637705 HAS SOUS 297108 HAS SOUPS 280156 WITH SCORE 281377.503
AT ITER 3633 NEW BEST:: SOT 2599594 SOS 1221477 HAS SOPS 637679 HAS SOUS 297082 HAS SOUPS 280130 WITH SCORE 281351.477
AT ITER 3635 NEW BEST:: SOT 2598235 SOS 1220058 HAS SOPS 636140 HAS SOUS 296973 HAS SOUPS 280021 WITH SCORE 281241.058
AT ITER 3645 NEW BEST:: SOT 2596312 SOS 1219230 HAS SOPS 636340 HAS SOUS 296576 HAS SOUPS 279742 WITH SCORE 280961.23
AT ITER 3653 NEW BEST:: SOT 2596280 SOS 1218844 HAS SOPS 635954 HAS SOUS 296512 HAS SOUPS 279678 WITH SCORE 280896.844
AT ITER 3667 NEW BEST:: SOT 2596280 SOS 1218834 HAS SOPS 635944 HAS SOUS 296507 HAS SOUPS 279673 WITH SCORE 280891.834
AT ITER 3677 NEW BEST:: SOT 2596280 SOS 1218840 HAS SOPS 635950 HAS SOUS 296470 HAS SOUPS 279636 WITH SCORE 280854.84
AT ITER 3725 NEW BEST:: SOT 2596440 SOS 1218972 HAS SOPS 636054 HAS SOUS 296456 HAS SOUPS 279622 WITH SCORE 280840.972
AT ITER 3728 NEW BEST:: SOT 2597304 SOS 1219836 HAS SOPS 635832 HAS SOUS 294454 HAS SOUPS 277836 WITH SCORE 279055.836
AT ITER 3730 NEW BEST:: SOT 2597293 SOS 1219996 HAS SOPS 635992 HAS SOUS 294432 HAS SOUPS 277814 WITH SCORE 279033.996
AT ITER 3740 NEW BEST:: SOT 2597340 SOS 1220043 HAS SOPS 635985 HAS SOUS 294425 HAS SOUPS 277807 WITH SCORE 279027.043
AT ITER 3746 NEW BEST:: SOT 2596858 SOS 1222252 HAS SOPS 635542 HAS SOUS 294411 HAS SOUPS 277754 WITH SCORE 278976.252
AT ITER 3747 NEW BEST:: SOT 2596858 SOS 1222150 HAS SOPS 635440 HAS SOUS 294411 HAS SOUPS 277754 WITH SCORE 278976.15
AT ITER 3772 NEW BEST:: SOT 2596793 SOS 1222020 HAS SOPS 635310 HAS SOUS 294281 HAS SOUPS 277624 WITH SCORE 278846.02
AT ITER 3778 NEW BEST:: SOT 2596769 SOS 1221972 HAS SOPS 635208 HAS SOUS 294257 HAS SOUPS 277600 WITH SCORE 278821.972
AT ITER 3779 NEW BEST:: SOT 2596673 SOS 1222061 HAS SOPS 635297 HAS SOUS 294150 HAS SOUPS 277493 WITH SCORE 278715.061
AT ITER 3785 NEW BEST:: SOT 2596656 SOS 1222010 HAS SOPS 635246 HAS SOUS 294116 HAS SOUPS 277459 WITH SCORE 278681.01
AT ITER 3791 NEW BEST:: SOT 2596357 SOS 1221698 HAS SOPS 637326 HAS SOUS 294116 HAS SOUPS 277459 WITH SCORE 278680.698
AT ITER 3796 NEW BEST:: SOT 2596341 SOS 1221682 HAS SOPS 637310 HAS SOUS 294084 HAS SOUPS 277427 WITH SCORE 278648.682
AT ITER 3808 NEW BEST:: SOT 2596103 SOS 1221436 HAS SOPS 637064 HAS SOUS 293838 HAS SOUPS 277181 WITH SCORE 278402.436
AT ITER 3811 NEW BEST:: SOT 2596058 SOS 1221346 HAS SOPS 636974 HAS SOUS 293793 HAS SOUPS 277136 WITH SCORE 278357.346
AT ITER 3821 NEW BEST:: SOT 2596052 SOS 1221338 HAS SOPS 636934 HAS SOUS 293773 HAS SOUPS 277116 WITH SCORE 278337.338
AT ITER 3824 NEW BEST:: SOT 2595997 SOS 1221382 HAS SOPS 636978 HAS SOUS 293663 HAS SOUPS 277006 WITH SCORE 278227.382
AT ITER 3849 NEW BEST:: SOT 2595997 SOS 1221209 HAS SOPS 636816 HAS SOUS 293663 HAS SOUPS 277006 WITH SCORE 278227.209
AT ITER 3851 NEW BEST:: SOT 2595972 SOS 1221354 HAS SOPS 636961 HAS SOUS 293613 HAS SOUPS 276956 WITH SCORE 278177.354
AT ITER 3855 NEW BEST:: SOT 2595949 SOS 1221677 HAS SOPS 637284 HAS SOUS 293579 HAS SOUPS 276922 WITH SCORE 278143.677
AT ITER 3856 NEW BEST:: SOT 2595949 SOS 1221579 HAS SOPS 637186 HAS SOUS 293579 HAS SOUPS 276922 WITH SCORE 278143.579
AT ITER 3859 NEW BEST:: SOT 2595942 SOS 1221572 HAS SOPS 637153 HAS SOUS 293555 HAS SOUPS 276889 WITH SCORE 278110.572
AT ITER 3878 NEW BEST:: SOT 2595911 SOS 1221510 HAS SOPS 637091 HAS SOUS 293472 HAS SOUPS 276806 WITH SCORE 278027.51
AT ITER 3879 NEW BEST:: SOT 2595829 SOS 1221398 HAS SOPS 637009 HAS SOUS 293472 HAS SOUPS 276806 WITH SCORE 278027.398
AT ITER 3880 NEW BEST:: SOT 2596009 SOS 1221768 HAS SOPS 636449 HAS SOUS 292975 HAS SOUPS 276246 WITH SCORE 277467.768
AT ITER 3883 NEW BEST:: SOT 2595903 SOS 1221784 HAS SOPS 636481 HAS SOUS 292802 HAS SOUPS 276073 WITH SCORE 277294.784
AT ITER 3891 NEW BEST:: SOT 2595837 SOS 1221718 HAS SOPS 636316 HAS SOUS 292736 HAS SOUPS 275908 WITH SCORE 277129.718
AT ITER 3901 NEW BEST:: SOT 2595640 SOS 1221373 HAS SOPS 635971 HAS SOUS 292493 HAS SOUPS 275665 WITH SCORE 276886.373
AT ITER 3914 NEW BEST:: SOT 2595606 SOS 1220785 HAS SOPS 635383 HAS SOUS 292425 HAS SOUPS 275597 WITH SCORE 276817.785
AT ITER 3954 NEW BEST:: SOT 2595631 SOS 1220767 HAS SOPS 635347 HAS SOUS 292389 HAS SOUPS 275561 WITH SCORE 276781.767
AT ITER 3969 NEW BEST:: SOT 2595613 SOS 1220749 HAS SOPS 635311 HAS SOUS 292353 HAS SOUPS 275525 WITH SCORE 276745.749
AT ITER 3970 NEW BEST:: SOT 2595613 SOS 1220747 HAS SOPS 635309 HAS SOUS 292351 HAS SOUPS 275523 WITH SCORE 276743.747
AT ITER 3973 NEW BEST:: SOT 2596623 SOS 1221775 HAS SOPS 636393 HAS SOUS 292254 HAS SOUPS 275426 WITH SCORE 276647.775
AT ITER 3978 NEW BEST:: SOT 2596615 SOS 1221767 HAS SOPS 636377 HAS SOUS 292238 HAS SOUPS 275410 WITH SCORE 276631.767
AT ITER 3998 NEW BEST:: SOT 2596587 SOS 1221739 HAS SOPS 636273 HAS SOUS 292134 HAS SOUPS 275306 WITH SCORE 276527.739
AT ITER 4026 NEW BEST:: SOT 2596899 SOS 1222449 HAS SOPS 636255 HAS SOUS 291507 HAS SOUPS 274561 WITH SCORE 275783.449
AT ITER 4035 NEW BEST:: SOT 2596941 SOS 1221879 HAS SOPS 636290 HAS SOUS 291435 HAS SOUPS 274496 WITH SCORE 275717.879
AT ITER 4037 NEW BEST:: SOT 2596894 SOS 1221832 HAS SOPS 635068 HAS SOUS 290307 HAS SOUPS 273368 WITH SCORE 274589.832
AT ITER 4043 NEW BEST:: SOT 2596819 SOS 1221700 HAS SOPS 633619 HAS SOUS 288960 HAS SOUPS 272021 WITH SCORE 273242.7
AT ITER 4061 NEW BEST:: SOT 2596289 SOS 1221117 HAS SOPS 633036 HAS SOUS 288377 HAS SOUPS 271438 WITH SCORE 272659.117
AT ITER 4062 NEW BEST:: SOT 2596084 SOS 1220838 HAS SOPS 632699 HAS SOUS 288352 HAS SOUPS 271413 WITH SCORE 272633.838
AT ITER 4086 NEW BEST:: SOT 2595502 SOS 1220248 HAS SOPS 631928 HAS SOUS 288005 HAS SOUPS 271029 WITH SCORE 272249.248
AT ITER 4091 NEW BEST:: SOT 2595480 SOS 1219952 HAS SOPS 631632 HAS SOUS 287961 HAS SOUPS 270985 WITH SCORE 272204.952
AT ITER 4096 NEW BEST:: SOT 2595364 SOS 1219679 HAS SOPS 631700 HAS SOUS 287894 HAS SOUPS 270918 WITH SCORE 272137.679
AT ITER 4097 NEW BEST:: SOT 2595202 SOS 1219258 HAS SOPS 631279 HAS SOUS 287492 HAS SOUPS 270516 WITH SCORE 271735.258
AT ITER 4107 NEW BEST:: SOT 2595150 SOS 1219206 HAS SOPS 631175 HAS SOUS 287388 HAS SOUPS 270412 WITH SCORE 271631.206
AT ITER 4116 NEW BEST:: SOT 2594990 SOS 1219046 HAS SOPS 630925 HAS SOUS 287398 HAS SOUPS 270402 WITH SCORE 271621.046
AT ITER 4117 NEW BEST:: SOT 2593890 SOS 1217896 HAS SOPS 629397 HAS SOUS 287435 HAS SOUPS 270389 WITH SCORE 271606.896
AT ITER 4143 NEW BEST:: SOT 2593757 SOS 1216028 HAS SOPS 627529 HAS SOUS 286991 HAS SOUPS 269945 WITH SCORE 271161.028
AT ITER 4155 NEW BEST:: SOT 2593751 SOS 1216022 HAS SOPS 627523 HAS SOUS 286985 HAS SOUPS 269939 WITH SCORE 271155.022
AT ITER 4156 NEW BEST:: SOT 2592578 SOS 1214849 HAS SOPS 626281 HAS SOUS 286183 HAS SOUPS 269068 WITH SCORE 270282.849
AT ITER 4163 NEW BEST:: SOT 2592581 SOS 1214702 HAS SOPS 626134 HAS SOUS 286135 HAS SOUPS 269020 WITH SCORE 270234.702
AT ITER 4169 NEW BEST:: SOT 2592581 SOS 1214558 HAS SOPS 625990 HAS SOUS 286135 HAS SOUPS 269020 WITH SCORE 270234.558
AT ITER 4175 NEW BEST:: SOT 2592624 SOS 1214546 HAS SOPS 625929 HAS SOUS 286123 HAS SOUPS 269008 WITH SCORE 270222.546
AT ITER 4192 NEW BEST:: SOT 2592624 SOS 1214406 HAS SOPS 625789 HAS SOUS 286123 HAS SOUPS 269008 WITH SCORE 270222.406
AT ITER 4202 NEW BEST:: SOT 2592618 SOS 1214400 HAS SOPS 625711 HAS SOUS 286117 HAS SOUPS 268930 WITH SCORE 270144.4
AT ITER 4207 NEW BEST:: SOT 2592544 SOS 1214289 HAS SOPS 624712 HAS SOUS 285155 HAS SOUPS 267968 WITH SCORE 269182.289
AT ITER 4221 NEW BEST:: SOT 2592410 SOS 1214115 HAS SOPS 624632 HAS SOUS 285075 HAS SOUPS 267888 WITH SCORE 269102.115
AT ITER 4235 NEW BEST:: SOT 2592677 SOS 1214382 HAS SOPS 624872 HAS SOUS 284994 HAS SOUPS 267852 WITH SCORE 269066.382
AT ITER 4246 NEW BEST:: SOT 2592623 SOS 1214307 HAS SOPS 624830 HAS SOUS 284952 HAS SOUPS 267810 WITH SCORE 269024.307
AT ITER 4294 NEW BEST:: SOT 2592616 SOS 1214293 HAS SOPS 624816 HAS SOUS 284938 HAS SOUPS 267796 WITH SCORE 269010.293
AT ITER 4322 NEW BEST:: SOT 2592611 SOS 1214283 HAS SOPS 624806 HAS SOUS 284928 HAS SOUPS 267786 WITH SCORE 269000.283
AT ITER 4324 NEW BEST:: SOT 2592584 SOS 1214239 HAS SOPS 624752 HAS SOUS 284857 HAS SOUPS 267732 WITH SCORE 268946.239
AT ITER 4328 NEW BEST:: SOT 2592596 SOS 1214251 HAS SOPS 624768 HAS SOUS 284837 HAS SOUPS 267712 WITH SCORE 268926.251
AT ITER 4336 NEW BEST:: SOT 2592596 SOS 1214251 HAS SOPS 624717 HAS SOUS 284786 HAS SOUPS 267661 WITH SCORE 268875.251
AT ITER 4355 NEW BEST:: SOT 2592541 SOS 1212439 HAS SOPS 622905 HAS SOUS 284769 HAS SOUPS 267644 WITH SCORE 268856.439
AT ITER 4368 NEW BEST:: SOT 2592529 SOS 1212427 HAS SOPS 622869 HAS SOUS 284733 HAS SOUPS 267608 WITH SCORE 268820.427
AT ITER 4376 NEW BEST:: SOT 2592490 SOS 1211750 HAS SOPS 622192 HAS SOUS 284684 HAS SOUPS 267559 WITH SCORE 268770.75
AT ITER 4377 NEW BEST:: SOT 2592438 SOS 1211646 HAS SOPS 621984 HAS SOUS 284570 HAS SOUPS 267351 WITH SCORE 268562.646
AT ITER 4389 NEW BEST:: SOT 2592336 SOS 1211544 HAS SOPS 621882 HAS SOUS 284394 HAS SOUPS 267175 WITH SCORE 268386.544
AT ITER 4396 NEW BEST:: SOT 2592276 SOS 1215025 HAS SOPS 622129 HAS SOUS 284286 HAS SOUPS 267025 WITH SCORE 268240.025
AT ITER 4402 NEW BEST:: SOT 2592252 SOS 1214001 HAS SOPS 621105 HAS SOUS 284238 HAS SOUPS 266977 WITH SCORE 268191.001
AT ITER 4410 NEW BEST:: SOT 2592252 SOS 1213993 HAS SOPS 621097 HAS SOUS 284238 HAS SOUPS 266977 WITH SCORE 268190.993
AT ITER 4416 NEW BEST:: SOT 2592209 SOS 1213951 HAS SOPS 620980 HAS SOUS 284221 HAS SOUPS 266860 WITH SCORE 268073.951
AT ITER 4424 NEW BEST:: SOT 2592209 SOS 1214003 HAS SOPS 621032 HAS SOUS 284083 HAS SOUPS 266722 WITH SCORE 267936.003
AT ITER 4427 NEW BEST:: SOT 2592195 SOS 1214094 HAS SOPS 621123 HAS SOUS 284069 HAS SOUPS 266708 WITH SCORE 267922.094
AT ITER 4476 NEW BEST:: SOT 2592182 SOS 1214068 HAS SOPS 621097 HAS SOUS 284043 HAS SOUPS 266682 WITH SCORE 267896.068
AT ITER 4500 NEW BEST:: SOT 2591678 SOS 1219241 HAS SOPS 619873 HAS SOUS 283545 HAS SOUPS 266098 WITH SCORE 267317.241
AT ITER 4509 NEW BEST:: SOT 2591450 SOS 1218981 HAS SOPS 619417 HAS SOUS 283072 HAS SOUPS 265642 WITH SCORE 266860.981
AT ITER 4569 NEW BEST:: SOT 2591266 SOS 1218797 HAS SOPS 619217 HAS SOUS 283078 HAS SOUPS 265632 WITH SCORE 266850.797
AT ITER 4574 NEW BEST:: SOT 2591211 SOS 1219213 HAS SOPS 619633 HAS SOUS 282968 HAS SOUPS 265522 WITH SCORE 266741.213
AT ITER 4591 NEW BEST:: SOT 2591211 SOS 1219169 HAS SOPS 619633 HAS SOUS 282968 HAS SOUPS 265522 WITH SCORE 266741.169
AT ITER 4596 NEW BEST:: SOT 2591208 SOS 1219142 HAS SOPS 619606 HAS SOUS 282962 HAS SOUPS 265516 WITH SCORE 266735.142
AT ITER 4598 NEW BEST:: SOT 2591126 SOS 1219263 HAS SOPS 619719 HAS SOUS 282921 HAS SOUPS 265475 WITH SCORE 266694.263
AT ITER 4603 NEW BEST:: SOT 2591000 SOS 1219075 HAS SOPS 619531 HAS SOUS 282795 HAS SOUPS 265349 WITH SCORE 266568.075
AT ITER 4609 NEW BEST:: SOT 2591024 SOS 1218952 HAS SOPS 619362 HAS SOUS 282689 HAS SOUPS 265243 WITH SCORE 266461.952
AT ITER 4610 NEW BEST:: SOT 2591038 SOS 1218798 HAS SOPS 619208 HAS SOUS 282535 HAS SOUPS 265089 WITH SCORE 266307.798
AT ITER 4611 NEW BEST:: SOT 2591038 SOS 1218779 HAS SOPS 619208 HAS SOUS 282535 HAS SOUPS 265089 WITH SCORE 266307.779
AT ITER 4620 NEW BEST:: SOT 2591004 SOS 1218312 HAS SOPS 618741 HAS SOUS 282463 HAS SOUPS 265017 WITH SCORE 266235.312
AT ITER 4623 NEW BEST:: SOT 2590820 SOS 1218007 HAS SOPS 618436 HAS SOUS 282304 HAS SOUPS 264858 WITH SCORE 266076.007
AT ITER 4629 NEW BEST:: SOT 2590737 SOS 1217924 HAS SOPS 618270 HAS SOUS 282159 HAS SOUPS 264692 WITH SCORE 265909.924
AT ITER 4643 NEW BEST:: SOT 2589489 SOS 1230897 HAS SOPS 616811 HAS SOUS 282042 HAS SOUPS 264382 WITH SCORE 265612.897
AT ITER 4657 NEW BEST:: SOT 2589714 SOS 1231060 HAS SOPS 616732 HAS SOUS 281994 HAS SOUPS 264334 WITH SCORE 265565.06
AT ITER 4676 NEW BEST:: SOT 2589674 SOS 1231145 HAS SOPS 616817 HAS SOUS 281933 HAS SOUPS 264273 WITH SCORE 265504.145
AT ITER 4683 NEW BEST:: SOT 2589524 SOS 1230977 HAS SOPS 616649 HAS SOUS 281921 HAS SOUPS 264261 WITH SCORE 265491.977
AT ITER 4701 NEW BEST:: SOT 2589583 SOS 1231061 HAS SOPS 616621 HAS SOUS 281956 HAS SOUPS 264233 WITH SCORE 265464.061
AT ITER 4703 NEW BEST:: SOT 2589583 SOS 1231079 HAS SOPS 616463 HAS SOUS 281863 HAS SOUPS 264140 WITH SCORE 265371.079
AT ITER 4722 NEW BEST:: SOT 2591336 SOS 1232832 HAS SOPS 618226 HAS SOUS 281630 HAS SOUPS 263911 WITH SCORE 265143.832
AT ITER 4725 NEW BEST:: SOT 2591239 SOS 1232764 HAS SOPS 618208 HAS SOUS 281612 HAS SOUPS 263893 WITH SCORE 265125.764
AT ITER 4737 NEW BEST:: SOT 2591238 SOS 1232695 HAS SOPS 618072 HAS SOUS 281543 HAS SOUPS 263824 WITH SCORE 265056.695
AT ITER 4761 NEW BEST:: SOT 2591238 SOS 1232574 HAS SOPS 617951 HAS SOUS 281462 HAS SOUPS 263743 WITH SCORE 264975.574
AT ITER 4778 NEW BEST:: SOT 2591253 SOS 1233354 HAS SOPS 618681 HAS SOUS 281392 HAS SOUPS 263673 WITH SCORE 264906.354
AT ITER 4781 NEW BEST:: SOT 2591028 SOS 1233072 HAS SOPS 618399 HAS SOUS 281145 HAS SOUPS 263426 WITH SCORE 264659.072
AT ITER 4798 NEW BEST:: SOT 2591106 SOS 1233153 HAS SOPS 618471 HAS SOUS 281082 HAS SOUPS 263363 WITH SCORE 264596.153
AT ITER 4800 NEW BEST:: SOT 2590988 SOS 1232036 HAS SOPS 617229 HAS SOUS 280796 HAS SOUPS 263077 WITH SCORE 264309.036
AT ITER 4820 NEW BEST:: SOT 2590981 SOS 1231978 HAS SOPS 617215 HAS SOUS 280782 HAS SOUPS 263063 WITH SCORE 264294.978
AT ITER 4823 NEW BEST:: SOT 2590889 SOS 1231834 HAS SOPS 617071 HAS SOUS 280702 HAS SOUPS 262983 WITH SCORE 264214.834
AT ITER 4825 NEW BEST:: SOT 2590889 SOS 1231665 HAS SOPS 616902 HAS SOUS 280702 HAS SOUPS 262983 WITH SCORE 264214.665
AT ITER 4834 NEW BEST:: SOT 2590813 SOS 1231485 HAS SOPS 616716 HAS SOUS 280620 HAS SOUPS 262901 WITH SCORE 264132.485
AT ITER 4851 NEW BEST:: SOT 2590238 SOS 1230910 HAS SOPS 616091 HAS SOUS 280645 HAS SOUPS 262876 WITH SCORE 264106.91
AT ITER 4852 NEW BEST:: SOT 2590016 SOS 1230466 HAS SOPS 615647 HAS SOUS 280408 HAS SOUPS 262639 WITH SCORE 263869.466
AT ITER 4859 NEW BEST:: SOT 2590015 SOS 1230398 HAS SOPS 615579 HAS SOUS 280406 HAS SOUPS 262637 WITH SCORE 263867.398
AT ITER 4871 NEW BEST:: SOT 2590675 SOS 1231058 HAS SOPS 616239 HAS SOUS 280346 HAS SOUPS 262577 WITH SCORE 263808.058
AT ITER 4892 NEW BEST:: SOT 2590941 SOS 1229021 HAS SOPS 616475 HAS SOUS 280238 HAS SOUPS 262571 WITH SCORE 263800.021
AT ITER 4896 NEW BEST:: SOT 2590362 SOS 1228442 HAS SOPS 615849 HAS SOUS 279596 HAS SOUPS 261896 WITH SCORE 263124.442
AT ITER 4925 NEW BEST:: SOT 2590338 SOS 1230026 HAS SOPS 617433 HAS SOUS 279548 HAS SOUPS 261848 WITH SCORE 263078.026
AT ITER 4937 NEW BEST:: SOT 2590248 SOS 1229984 HAS SOPS 617391 HAS SOUS 279368 HAS SOUPS 261668 WITH SCORE 262897.984
AT ITER 4948 NEW BEST:: SOT 2590208 SOS 1229944 HAS SOPS 617306 HAS SOUS 279328 HAS SOUPS 261623 WITH SCORE 262852.944
AT ITER 4949 NEW BEST:: SOT 2590208 SOS 1229944 HAS SOPS 617303 HAS SOUS 279328 HAS SOUPS 261620 WITH SCORE 262849.944
AT ITER 4979 NEW BEST:: SOT 2590476 SOS 1230212 HAS SOPS 617571 HAS SOUS 279261 HAS SOUPS 261553 WITH SCORE 262783.212
AT ITER 4990 NEW BEST:: SOT 2590334 SOS 1230198 HAS SOPS 617557 HAS SOUS 279247 HAS SOUPS 261539 WITH SCORE 262769.198
AT ITER 4992 NEW BEST:: SOT 2589531 SOS 1228614 HAS SOPS 615659 HAS SOUS 279177 HAS SOUPS 261469 WITH SCORE 262697.614
AT ITER 5003 NEW BEST:: SOT 2589700 SOS 1228783 HAS SOPS 615808 HAS SOUS 279157 HAS SOUPS 261449 WITH SCORE 262677.783
AT ITER 5043 NEW BEST:: SOT 2589753 SOS 1226869 HAS SOPS 613894 HAS SOUS 279068 HAS SOUPS 261360 WITH SCORE 262586.869
AT ITER 5046 NEW BEST:: SOT 2589753 SOS 1226860 HAS SOPS 613885 HAS SOUS 279068 HAS SOUPS 261360 WITH SCORE 262586.86
AT ITER 5067 NEW BEST:: SOT 2589914 SOS 1227021 HAS SOPS 614015 HAS SOUS 279013 HAS SOUPS 261305 WITH SCORE 262532.021
AT ITER 5072 NEW BEST:: SOT 2589914 SOS 1227084 HAS SOPS 614078 HAS SOUS 278992 HAS SOUPS 261284 WITH SCORE 262511.084
AT ITER 5076 NEW BEST:: SOT 2588109 SOS 1237285 HAS SOPS 611873 HAS SOUS 278939 HAS SOUPS 261054 WITH SCORE 262291.285
AT ITER 5119 NEW BEST:: SOT 2587974 SOS 1237150 HAS SOPS 611603 HAS SOUS 278669 HAS SOUPS 260784 WITH SCORE 262021.15
AT ITER 5145 NEW BEST:: SOT 2587945 SOS 1237092 HAS SOPS 611545 HAS SOUS 278611 HAS SOUPS 260726 WITH SCORE 261963.092
AT ITER 5150 NEW BEST:: SOT 2587847 SOS 1236980 HAS SOPS 611545 HAS SOUS 278611 HAS SOUPS 260726 WITH SCORE 261962.98
AT ITER 5205 NEW BEST:: SOT 2587839 SOS 1236972 HAS SOPS 611529 HAS SOUS 278595 HAS SOUPS 260710 WITH SCORE 261946.972
AT ITER 5220 NEW BEST:: SOT 2587872 SOS 1237005 HAS SOPS 611571 HAS SOUS 278588 HAS SOUPS 260704 WITH SCORE 261941.005
AT ITER 5229 NEW BEST:: SOT 2587865 SOS 1236952 HAS SOPS 611518 HAS SOUS 278558 HAS SOUPS 260674 WITH SCORE 261910.952
AT ITER 5235 NEW BEST:: SOT 2587933 SOS 1236780 HAS SOPS 611135 HAS SOUS 278293 HAS SOUPS 260409 WITH SCORE 261645.78
AT ITER 5250 NEW BEST:: SOT 2587933 SOS 1236653 HAS SOPS 611008 HAS SOUS 278293 HAS SOUPS 260409 WITH SCORE 261645.653
AT ITER 5252 NEW BEST:: SOT 2587897 SOS 1236550 HAS SOPS 610905 HAS SOUS 278221 HAS SOUPS 260337 WITH SCORE 261573.55
AT ITER 5253 NEW BEST:: SOT 2587869 SOS 1236522 HAS SOPS 610849 HAS SOUS 278193 HAS SOUPS 260309 WITH SCORE 261545.522
AT ITER 5257 NEW BEST:: SOT 2587602 SOS 1237758 HAS SOPS 612085 HAS SOUS 277928 HAS SOUPS 260044 WITH SCORE 261281.758
AT ITER 5268 NEW BEST:: SOT 2588418 SOS 1238475 HAS SOPS 612775 HAS SOUS 277863 HAS SOUPS 259979 WITH SCORE 261217.475
AT ITER 5279 NEW BEST:: SOT 2588393 SOS 1238702 HAS SOPS 613002 HAS SOUS 277813 HAS SOUPS 259929 WITH SCORE 261167.702
AT ITER 5288 NEW BEST:: SOT 2588393 SOS 1238702 HAS SOPS 612980 HAS SOUS 277791 HAS SOUPS 259907 WITH SCORE 261145.702
AT ITER 5340 NEW BEST:: SOT 2587373 SOS 1240265 HAS SOPS 614732 HAS SOUS 276917 HAS SOUPS 259033 WITH SCORE 260273.265
AT ITER 5344 NEW BEST:: SOT 2586994 SOS 1239468 HAS SOPS 613935 HAS SOUS 276739 HAS SOUPS 258855 WITH SCORE 260094.468
AT ITER 5357 NEW BEST:: SOT 2586865 SOS 1239177 HAS SOPS 613644 HAS SOUS 276468 HAS SOUPS 258584 WITH SCORE 259823.177
AT ITER 5371 NEW BEST:: SOT 2586833 SOS 1239145 HAS SOPS 613580 HAS SOUS 276436 HAS SOUPS 258552 WITH SCORE 259791.145
AT ITER 5374 NEW BEST:: SOT 2586973 SOS 1239285 HAS SOPS 613730 HAS SOUS 276426 HAS SOUPS 258542 WITH SCORE 259781.285
AT ITER 5377 NEW BEST:: SOT 2586973 SOS 1240110 HAS SOPS 614555 HAS SOUS 276234 HAS SOUPS 258350 WITH SCORE 259590.11
AT ITER 5379 NEW BEST:: SOT 2586973 SOS 1240023 HAS SOPS 614468 HAS SOUS 276234 HAS SOUPS 258350 WITH SCORE 259590.023
AT ITER 5396 NEW BEST:: SOT 2587278 SOS 1240459 HAS SOPS 614448 HAS SOUS 276432 HAS SOUPS 258330 WITH SCORE 259570.459
AT ITER 5407 NEW BEST:: SOT 2587262 SOS 1240443 HAS SOPS 614448 HAS SOUS 276432 HAS SOUPS 258330 WITH SCORE 259570.443
AT ITER 5438 NEW BEST:: SOT 2587050 SOS 1241612 HAS SOPS 615673 HAS SOUS 276417 HAS SOUPS 258315 WITH SCORE 259556.612
AT ITER 5450 NEW BEST:: SOT 2587049 SOS 1241609 HAS SOPS 615670 HAS SOUS 276416 HAS SOUPS 258314 WITH SCORE 259555.609
AT ITER 5460 NEW BEST:: SOT 2587134 SOS 1241573 HAS SOPS 615541 HAS SOUS 276401 HAS SOUPS 258299 WITH SCORE 259540.573
AT ITER 5461 NEW BEST:: SOT 2587104 SOS 1241496 HAS SOPS 615479 HAS SOUS 276339 HAS SOUPS 258237 WITH SCORE 259478.496
AT ITER 5466 NEW BEST:: SOT 2587034 SOS 1241316 HAS SOPS 615299 HAS SOUS 276214 HAS SOUPS 258112 WITH SCORE 259353.316
AT ITER 5467 NEW BEST:: SOT 2586951 SOS 1241265 HAS SOPS 615272 HAS SOUS 275969 HAS SOUPS 257867 WITH SCORE 259108.265
AT ITER 5471 NEW BEST:: SOT 2586835 SOS 1241083 HAS SOPS 615040 HAS SOUS 275803 HAS SOUPS 257701 WITH SCORE 258942.083
AT ITER 5474 NEW BEST:: SOT 2586811 SOS 1241059 HAS SOPS 615016 HAS SOUS 275755 HAS SOUPS 257653 WITH SCORE 258894.059
AT ITER 5486 NEW BEST:: SOT 2586811 SOS 1241188 HAS SOPS 615145 HAS SOUS 275740 HAS SOUPS 257638 WITH SCORE 258879.188
AT ITER 5499 NEW BEST:: SOT 2586420 SOS 1240780 HAS SOPS 614737 HAS SOUS 275737 HAS SOUPS 257635 WITH SCORE 258875.78
AT ITER 5507 NEW BEST:: SOT 2586333 SOS 1240754 HAS SOPS 614595 HAS SOUS 275576 HAS SOUPS 257474 WITH SCORE 258714.754
AT ITER 5521 NEW BEST:: SOT 2586274 SOS 1240716 HAS SOPS 614557 HAS SOUS 275498 HAS SOUPS 257396 WITH SCORE 258636.716
AT ITER 5528 NEW BEST:: SOT 2586274 SOS 1240626 HAS SOPS 614467 HAS SOUS 275498 HAS SOUPS 257396 WITH SCORE 258636.626
AT ITER 5531 NEW BEST:: SOT 2586612 SOS 1240933 HAS SOPS 614231 HAS SOUS 275475 HAS SOUPS 257373 WITH SCORE 258613.933
AT ITER 5536 NEW BEST:: SOT 2586611 SOS 1240932 HAS SOPS 614230 HAS SOUS 275424 HAS SOUPS 257322 WITH SCORE 258562.932
AT ITER 5560 NEW BEST:: SOT 2586611 SOS 1240932 HAS SOPS 614188 HAS SOUS 275382 HAS SOUPS 257280 WITH SCORE 258520.932
AT ITER 5562 NEW BEST:: SOT 2586562 SOS 1240927 HAS SOPS 614183 HAS SOUS 275341 HAS SOUPS 257239 WITH SCORE 258479.927
AT ITER 5575 NEW BEST:: SOT 2586562 SOS 1240794 HAS SOPS 614050 HAS SOUS 275341 HAS SOUPS 257239 WITH SCORE 258479.794
AT ITER 5615 NEW BEST:: SOT 2586432 SOS 1237798 HAS SOPS 611054 HAS SOUS 275081 HAS SOUPS 256979 WITH SCORE 258216.798
AT ITER 5625 NEW BEST:: SOT 2586491 SOS 1238228 HAS SOPS 609801 HAS SOUS 275102 HAS SOUPS 256932 WITH SCORE 258170.228
AT ITER 5633 NEW BEST:: SOT 2586444 SOS 1237870 HAS SOPS 609443 HAS SOUS 275008 HAS SOUPS 256838 WITH SCORE 258075.87
AT ITER 5634 NEW BEST:: SOT 2586491 SOS 1237917 HAS SOPS 609627 HAS SOUS 274911 HAS SOUPS 256741 WITH SCORE 257978.917
AT ITER 5638 NEW BEST:: SOT 2586467 SOS 1237899 HAS SOPS 609609 HAS SOUS 274893 HAS SOUPS 256723 WITH SCORE 257960.899
AT ITER 5653 NEW BEST:: SOT 2586412 SOS 1237838 HAS SOPS 609554 HAS SOUS 274893 HAS SOUPS 256723 WITH SCORE 257960.838
AT ITER 5657 NEW BEST:: SOT 2586402 SOS 1237788 HAS SOPS 609504 HAS SOUS 274883 HAS SOUPS 256713 WITH SCORE 257950.788
AT ITER 5682 NEW BEST:: SOT 2586402 SOS 1237766 HAS SOPS 609482 HAS SOUS 274883 HAS SOUPS 256713 WITH SCORE 257950.766
AT ITER 5693 NEW BEST:: SOT 2585237 SOS 1243294 HAS SOPS 608065 HAS SOUS 274673 HAS SOUPS 256284 WITH SCORE 257527.294
AT ITER 5696 NEW BEST:: SOT 2583854 SOS 1251008 HAS SOPS 606548 HAS SOUS 274708 HAS SOUPS 256185 WITH SCORE 257436.008
AT ITER 5711 NEW BEST:: SOT 2583852 SOS 1251005 HAS SOPS 606545 HAS SOUS 274705 HAS SOUPS 256182 WITH SCORE 257433.005
AT ITER 5716 NEW BEST:: SOT 2583838 SOS 1251005 HAS SOPS 606559 HAS SOUS 274691 HAS SOUPS 256168 WITH SCORE 257419.005
AT ITER 5740 NEW BEST:: SOT 2583945 SOS 1249857 HAS SOPS 605411 HAS SOUS 274639 HAS SOUPS 256116 WITH SCORE 257365.857
AT ITER 5744 NEW BEST:: SOT 2583227 SOS 1249113 HAS SOPS 604708 HAS SOUS 274570 HAS SOUPS 256047 WITH SCORE 257296.113
AT ITER 5756 NEW BEST:: SOT 2583224 SOS 1249129 HAS SOPS 604724 HAS SOUS 274485 HAS SOUPS 255962 WITH SCORE 257211.129
AT ITER 5790 NEW BEST:: SOT 2583074 SOS 1248973 HAS SOPS 604424 HAS SOUS 274457 HAS SOUPS 255934 WITH SCORE 257182.973
AT ITER 5802 NEW BEST:: SOT 2583074 SOS 1248951 HAS SOPS 604380 HAS SOUS 274413 HAS SOUPS 255890 WITH SCORE 257138.951
AT ITER 5809 NEW BEST:: SOT 2583038 SOS 1248849 HAS SOPS 604278 HAS SOUS 274392 HAS SOUPS 255869 WITH SCORE 257117.849
AT ITER 5841 NEW BEST:: SOT 2582984 SOS 1248374 HAS SOPS 603803 HAS SOUS 274273 HAS SOUPS 255750 WITH SCORE 256998.374
AT ITER 5893 NEW BEST:: SOT 2582886 SOS 1248286 HAS SOPS 603721 HAS SOUS 274256 HAS SOUPS 255733 WITH SCORE 256981.286
AT ITER 5894 NEW BEST:: SOT 2582862 SOS 1248270 HAS SOPS 603705 HAS SOUS 274240 HAS SOUPS 255717 WITH SCORE 256965.27
AT ITER 5907 NEW BEST:: SOT 2582837 SOS 1248220 HAS SOPS 603655 HAS SOUS 274215 HAS SOUPS 255667 WITH SCORE 256915.22
AT ITER 5923 NEW BEST:: SOT 2582827 SOS 1248217 HAS SOPS 603652 HAS SOUS 274200 HAS SOUPS 255652 WITH SCORE 256900.217
AT ITER 5933 NEW BEST:: SOT 2582795 SOS 1248126 HAS SOPS 603561 HAS SOUS 274168 HAS SOUPS 255620 WITH SCORE 256868.126
AT ITER 5938 NEW BEST:: SOT 2582659 SOS 1248034 HAS SOPS 603681 HAS SOUS 274150 HAS SOUPS 255602 WITH SCORE 256850.034
AT ITER 5965 NEW BEST:: SOT 2582659 SOS 1247805 HAS SOPS 603452 HAS SOUS 274137 HAS SOUPS 255589 WITH SCORE 256836.805
AT ITER 5969 NEW BEST:: SOT 2582657 SOS 1246689 HAS SOPS 602336 HAS SOUS 274133 HAS SOUPS 255585 WITH SCORE 256831.689
AT ITER 6020 NEW BEST:: SOT 2582577 SOS 1246313 HAS SOPS 601960 HAS SOUS 274047 HAS SOUPS 255499 WITH SCORE 256745.313
AT ITER 6026 NEW BEST:: SOT 2582275 SOS 1245962 HAS SOPS 601626 HAS SOUS 273798 HAS SOUPS 255250 WITH SCORE 256495.962
AT ITER 6037 NEW BEST:: SOT 2582275 SOS 1244492 HAS SOPS 600156 HAS SOUS 273798 HAS SOUPS 255250 WITH SCORE 256494.492
AT ITER 6050 NEW BEST:: SOT 2582275 SOS 1244324 HAS SOPS 599988 HAS SOUS 273798 HAS SOUPS 255250 WITH SCORE 256494.324
AT ITER 6075 NEW BEST:: SOT 2582275 SOS 1244702 HAS SOPS 600312 HAS SOUS 273744 HAS SOUPS 255196 WITH SCORE 256440.702
AT ITER 6100 NEW BEST:: SOT 2582270 SOS 1244668 HAS SOPS 600278 HAS SOUS 273710 HAS SOUPS 255162 WITH SCORE 256406.668
AT ITER 6108 NEW BEST:: SOT 2582112 SOS 1242330 HAS SOPS 597940 HAS SOUS 273612 HAS SOUPS 255064 WITH SCORE 256306.33
AT ITER 6118 NEW BEST:: SOT 2581949 SOS 1242367 HAS SOPS 597906 HAS SOUS 273289 HAS SOUPS 254741 WITH SCORE 255983.367
AT ITER 6124 NEW BEST:: SOT 2581719 SOS 1242506 HAS SOPS 598241 HAS SOUS 273245 HAS SOUPS 254697 WITH SCORE 255939.506
AT ITER 6125 NEW BEST:: SOT 2581719 SOS 1242482 HAS SOPS 598205 HAS SOUS 273245 HAS SOUPS 254697 WITH SCORE 255939.482
AT ITER 6130 NEW BEST:: SOT 2581808 SOS 1240070 HAS SOPS 595956 HAS SOUS 273154 HAS SOUPS 254606 WITH SCORE 255846.07
AT ITER 6134 NEW BEST:: SOT 2581815 SOS 1240077 HAS SOPS 595947 HAS SOUS 273145 HAS SOUPS 254597 WITH SCORE 255837.077
AT ITER 6144 NEW BEST:: SOT 2581974 SOS 1240273 HAS SOPS 596143 HAS SOUS 272992 HAS SOUPS 254444 WITH SCORE 255684.273
AT ITER 6148 NEW BEST:: SOT 2582733 SOS 1241032 HAS SOPS 596902 HAS SOUS 272974 HAS SOUPS 254426 WITH SCORE 255667.032
AT ITER 6173 NEW BEST:: SOT 2582709 SOS 1241008 HAS SOPS 596842 HAS SOUS 272914 HAS SOUPS 254366 WITH SCORE 255607.008
AT ITER 6193 NEW BEST:: SOT 2582699 SOS 1240988 HAS SOPS 596822 HAS SOUS 272894 HAS SOUPS 254346 WITH SCORE 255586.988
AT ITER 6204 NEW BEST:: SOT 2582790 SOS 1241092 HAS SOPS 596900 HAS SOUS 272881 HAS SOUPS 254333 WITH SCORE 255574.092
AT ITER 6205 NEW BEST:: SOT 2582788 SOS 1241166 HAS SOPS 596974 HAS SOUS 272879 HAS SOUPS 254331 WITH SCORE 255572.166
AT ITER 6235 NEW BEST:: SOT 2582868 SOS 1241048 HAS SOPS 596770 HAS SOUS 272852 HAS SOUPS 254304 WITH SCORE 255545.048
AT ITER 6248 NEW BEST:: SOT 2582839 SOS 1237922 HAS SOPS 596732 HAS SOUS 272875 HAS SOUPS 254282 WITH SCORE 255519.922
AT ITER 6250 NEW BEST:: SOT 2582804 SOS 1237722 HAS SOPS 596532 HAS SOUS 272857 HAS SOUPS 254264 WITH SCORE 255501.722
AT ITER 6259 NEW BEST:: SOT 2582629 SOS 1237187 HAS SOPS 596182 HAS SOUS 272687 HAS SOUPS 254094 WITH SCORE 255331.187
AT ITER 6285 NEW BEST:: SOT 2582417 SOS 1236843 HAS SOPS 594211 HAS SOUS 272473 HAS SOUPS 253891 WITH SCORE 255127.843
AT ITER 6291 NEW BEST:: SOT 2580785 SOS 1235211 HAS SOPS 592508 HAS SOUS 272443 HAS SOUPS 253861 WITH SCORE 255096.211
AT ITER 6294 NEW BEST:: SOT 2580696 SOS 1234201 HAS SOPS 591498 HAS SOUS 272354 HAS SOUPS 253772 WITH SCORE 255006.201
AT ITER 6310 NEW BEST:: SOT 2580548 SOS 1233883 HAS SOPS 591202 HAS SOUS 272058 HAS SOUPS 253476 WITH SCORE 254709.883
AT ITER 6314 NEW BEST:: SOT 2580486 SOS 1233759 HAS SOPS 591140 HAS SOUS 271996 HAS SOUPS 253414 WITH SCORE 254647.759
AT ITER 6316 NEW BEST:: SOT 2580486 SOS 1233595 HAS SOPS 590976 HAS SOUS 271996 HAS SOUPS 253414 WITH SCORE 254647.595
AT ITER 6337 NEW BEST:: SOT 2580486 SOS 1233203 HAS SOPS 590584 HAS SOUS 271996 HAS SOUPS 253414 WITH SCORE 254647.203
AT ITER 6338 NEW BEST:: SOT 2580513 SOS 1233132 HAS SOPS 590513 HAS SOUS 271944 HAS SOUPS 253362 WITH SCORE 254595.132
AT ITER 6374 NEW BEST:: SOT 2580540 SOS 1232912 HAS SOPS 590293 HAS SOUS 271873 HAS SOUPS 253291 WITH SCORE 254523.912
AT ITER 6406 NEW BEST:: SOT 2580537 SOS 1232906 HAS SOPS 590287 HAS SOUS 271867 HAS SOUPS 253285 WITH SCORE 254517.906
AT ITER 6410 NEW BEST:: SOT 2580454 SOS 1231632 HAS SOPS 589055 HAS SOUS 271782 HAS SOUPS 253200 WITH SCORE 254431.632
AT ITER 6416 NEW BEST:: SOT 2580437 SOS 1231462 HAS SOPS 588885 HAS SOUS 271710 HAS SOUPS 253128 WITH SCORE 254359.462
AT ITER 6420 NEW BEST:: SOT 2580485 SOS 1231456 HAS SOPS 588816 HAS SOUS 271692 HAS SOUPS 253110 WITH SCORE 254341.456
AT ITER 6429 NEW BEST:: SOT 2580374 SOS 1231363 HAS SOPS 588691 HAS SOUS 271663 HAS SOUPS 253081 WITH SCORE 254312.363
AT ITER 6451 NEW BEST:: SOT 2580006 SOS 1230995 HAS SOPS 588116 HAS SOUS 271686 HAS SOUPS 253058 WITH SCORE 254288.995
AT ITER 6453 NEW BEST:: SOT 2579953 SOS 1231058 HAS SOPS 588179 HAS SOUS 271592 HAS SOUPS 252964 WITH SCORE 254195.058
AT ITER 6514 NEW BEST:: SOT 2579953 SOS 1231018 HAS SOPS 588139 HAS SOUS 271588 HAS SOUPS 252960 WITH SCORE 254191.018
AT ITER 6529 NEW BEST:: SOT 2579918 SOS 1231070 HAS SOPS 588191 HAS SOUS 271455 HAS SOUPS 252827 WITH SCORE 254058.07
AT ITER 6538 NEW BEST:: SOT 2579894 SOS 1231046 HAS SOPS 588179 HAS SOUS 271443 HAS SOUPS 252815 WITH SCORE 254046.046
AT ITER 6542 NEW BEST:: SOT 2579611 SOS 1230696 HAS SOPS 587829 HAS SOUS 271235 HAS SOUPS 252465 WITH SCORE 253695.696
AT ITER 6567 NEW BEST:: SOT 2577591 SOS 1228498 HAS SOPS 585631 HAS SOUS 271217 HAS SOUPS 252447 WITH SCORE 253675.498
AT ITER 6575 NEW BEST:: SOT 2577449 SOS 1228340 HAS SOPS 585331 HAS SOUS 270917 HAS SOUPS 252147 WITH SCORE 253375.34
AT ITER 6610 NEW BEST:: SOT 2576893 SOS 1227753 HAS SOPS 584702 HAS SOUS 270279 HAS SOUPS 251500 WITH SCORE 252727.753
AT ITER 6648 NEW BEST:: SOT 2576853 SOS 1227673 HAS SOPS 584582 HAS SOUS 270159 HAS SOUPS 251380 WITH SCORE 252607.673
AT ITER 6650 NEW BEST:: SOT 2576839 SOS 1227559 HAS SOPS 584114 HAS SOUS 270155 HAS SOUPS 251321 WITH SCORE 252548.559
AT ITER 6657 NEW BEST:: SOT 2575530 SOS 1226317 HAS SOPS 583340 HAS SOUS 270122 HAS SOUPS 251288 WITH SCORE 252514.317
AT ITER 6705 NEW BEST:: SOT 2575560 SOS 1226077 HAS SOPS 583100 HAS SOUS 270122 HAS SOUPS 251288 WITH SCORE 252514.077
AT ITER 6715 NEW BEST:: SOT 2575550 SOS 1226053 HAS SOPS 583066 HAS SOUS 270112 HAS SOUPS 251278 WITH SCORE 252504.053
AT ITER 6717 NEW BEST:: SOT 2575550 SOS 1226077 HAS SOPS 583042 HAS SOUS 270088 HAS SOUPS 251254 WITH SCORE 252480.077
AT ITER 6724 NEW BEST:: SOT 2575534 SOS 1226111 HAS SOPS 583060 HAS SOUS 270056 HAS SOUPS 251222 WITH SCORE 252448.111
AT ITER 6725 NEW BEST:: SOT 2575437 SOS 1225835 HAS SOPS 582784 HAS SOUS 269957 HAS SOUPS 251123 WITH SCORE 252348.835
AT ITER 6735 NEW BEST:: SOT 2575352 SOS 1225749 HAS SOPS 582516 HAS SOUS 269689 HAS SOUPS 250855 WITH SCORE 252080.749
AT ITER 6739 NEW BEST:: SOT 2575171 SOS 1227097 HAS SOPS 583674 HAS SOUS 269121 HAS SOUPS 250485 WITH SCORE 251712.097
AT ITER 6741 NEW BEST:: SOT 2575142 SOS 1227122 HAS SOPS 583699 HAS SOUS 269089 HAS SOUPS 250453 WITH SCORE 251680.122
AT ITER 6773 NEW BEST:: SOT 2575142 SOS 1227122 HAS SOPS 583669 HAS SOUS 269059 HAS SOUPS 250423 WITH SCORE 251650.122
AT ITER 6776 NEW BEST:: SOT 2575124 SOS 1227104 HAS SOPS 583642 HAS SOUS 269032 HAS SOUPS 250396 WITH SCORE 251623.104
AT ITER 6782 NEW BEST:: SOT 2575124 SOS 1227095 HAS SOPS 583633 HAS SOUS 269032 HAS SOUPS 250396 WITH SCORE 251623.095
AT ITER 6795 NEW BEST:: SOT 2574272 SOS 1226207 HAS SOPS 582421 HAS SOUS 269006 HAS SOUPS 250334 WITH SCORE 251560.207
AT ITER 6809 NEW BEST:: SOT 2574204 SOS 1227674 HAS SOPS 583888 HAS SOUS 268938 HAS SOUPS 250266 WITH SCORE 251493.674
AT ITER 6860 NEW BEST:: SOT 2574204 SOS 1227450 HAS SOPS 583664 HAS SOUS 268938 HAS SOUPS 250266 WITH SCORE 251493.45
AT ITER 6864 NEW BEST:: SOT 2573896 SOS 1227126 HAS SOPS 583340 HAS SOUS 268926 HAS SOUPS 250254 WITH SCORE 251481.126
AT ITER 6866 NEW BEST:: SOT 2573815 SOS 1226890 HAS SOPS 583097 HAS SOUS 268757 HAS SOUPS 250085 WITH SCORE 251311.89
AT ITER 6874 NEW BEST:: SOT 2573836 SOS 1226911 HAS SOPS 583119 HAS SOUS 268755 HAS SOUPS 250083 WITH SCORE 251309.911
AT ITER 6889 NEW BEST:: SOT 2573836 SOS 1226911 HAS SOPS 583049 HAS SOUS 268685 HAS SOUPS 250013 WITH SCORE 251239.911
AT ITER 6893 NEW BEST:: SOT 2572318 SOS 1225393 HAS SOPS 579947 HAS SOUS 267299 HAS SOUPS 248627 WITH SCORE 249852.393
AT ITER 6897 NEW BEST:: SOT 2572310 SOS 1225385 HAS SOPS 579931 HAS SOUS 267291 HAS SOUPS 248619 WITH SCORE 249844.385
AT ITER 6898 NEW BEST:: SOT 2572310 SOS 1225315 HAS SOPS 579861 HAS SOUS 267281 HAS SOUPS 248609 WITH SCORE 249834.315
AT ITER 6906 NEW BEST:: SOT 2572213 SOS 1224701 HAS SOPS 576614 HAS SOUS 266977 HAS SOUPS 248305 WITH SCORE 249529.701
AT ITER 6925 NEW BEST:: SOT 2572232 SOS 1224423 HAS SOPS 576336 HAS SOUS 266857 HAS SOUPS 248185 WITH SCORE 249409.423
AT ITER 6927 NEW BEST:: SOT 2572244 SOS 1224361 HAS SOPS 576308 HAS SOUS 266829 HAS SOUPS 248157 WITH SCORE 249381.361
AT ITER 6933 NEW BEST:: SOT 2572244 SOS 1224229 HAS SOPS 576176 HAS SOUS 266763 HAS SOUPS 248091 WITH SCORE 249315.229
AT ITER 6976 NEW BEST:: SOT 2572295 SOS 1223885 HAS SOPS 576466 HAS SOUS 266715 HAS SOUPS 248043 WITH SCORE 249266.885
AT ITER 6979 NEW BEST:: SOT 2572283 SOS 1223873 HAS SOPS 574512 HAS SOUS 266622 HAS SOUPS 247871 WITH SCORE 249094.873
AT ITER 7013 NEW BEST:: SOT 2572370 SOS 1224491 HAS SOPS 575130 HAS SOUS 266618 HAS SOUPS 247867 WITH SCORE 249091.491
AT ITER 7014 NEW BEST:: SOT 2572364 SOS 1224431 HAS SOPS 575070 HAS SOUS 266606 HAS SOUPS 247855 WITH SCORE 249079.431
AT ITER 7041 NEW BEST:: SOT 2572364 SOS 1225267 HAS SOPS 576206 HAS SOUS 266518 HAS SOUPS 247767 WITH SCORE 248992.267
AT ITER 7050 NEW BEST:: SOT 2572364 SOS 1225267 HAS SOPS 576206 HAS SOUS 266508 HAS SOUPS 247757 WITH SCORE 248982.267
AT ITER 7068 NEW BEST:: SOT 2572272 SOS 1225063 HAS SOPS 576002 HAS SOUS 266466 HAS SOUPS 247715 WITH SCORE 248940.063
AT ITER 7106 NEW BEST:: SOT 2572068 SOS 1224802 HAS SOPS 575741 HAS SOUS 266372 HAS SOUPS 247621 WITH SCORE 248845.802
AT ITER 7108 NEW BEST:: SOT 2572060 SOS 1224778 HAS SOPS 575717 HAS SOUS 266364 HAS SOUPS 247613 WITH SCORE 248837.778
AT ITER 7121 NEW BEST:: SOT 2572052 SOS 1224770 HAS SOPS 575701 HAS SOUS 266360 HAS SOUPS 247597 WITH SCORE 248821.77
AT ITER 7128 NEW BEST:: SOT 2572071 SOS 1224755 HAS SOPS 575522 HAS SOUS 266246 HAS SOUPS 247483 WITH SCORE 248707.755
AT ITER 7168 NEW BEST:: SOT 2572062 SOS 1224625 HAS SOPS 575392 HAS SOUS 266228 HAS SOUPS 247465 WITH SCORE 248689.625
AT ITER 7181 NEW BEST:: SOT 2572031 SOS 1224594 HAS SOPS 575365 HAS SOUS 266251 HAS SOUPS 247438 WITH SCORE 248662.594
AT ITER 7191 NEW BEST:: SOT 2572003 SOS 1224566 HAS SOPS 575533 HAS SOUS 266167 HAS SOUPS 247382 WITH SCORE 248606.566
AT ITER 7197 NEW BEST:: SOT 2572014 SOS 1224477 HAS SOPS 575444 HAS SOUS 266128 HAS SOUPS 247343 WITH SCORE 248567.477
AT ITER 7211 NEW BEST:: SOT 2571984 SOS 1224447 HAS SOPS 575414 HAS SOUS 266083 HAS SOUPS 247298 WITH SCORE 248522.447
AT ITER 7234 NEW BEST:: SOT 2572421 SOS 1224884 HAS SOPS 575851 HAS SOUS 266064 HAS SOUPS 247279 WITH SCORE 248503.884
AT ITER 7258 NEW BEST:: SOT 2572438 SOS 1224839 HAS SOPS 575806 HAS SOUS 266035 HAS SOUPS 247250 WITH SCORE 248474.839
AT ITER 7264 NEW BEST:: SOT 2572417 SOS 1225157 HAS SOPS 576124 HAS SOUS 265993 HAS SOUPS 247208 WITH SCORE 248433.157
AT ITER 7266 NEW BEST:: SOT 2572228 SOS 1224774 HAS SOPS 575741 HAS SOUS 265768 HAS SOUPS 246983 WITH SCORE 248207.774
AT ITER 7320 NEW BEST:: SOT 2572228 SOS 1224749 HAS SOPS 575716 HAS SOUS 265768 HAS SOUPS 246983 WITH SCORE 248207.749
AT ITER 7326 NEW BEST:: SOT 2568762 SOS 1221178 HAS SOPS 590336 HAS SOUS 264657 HAS SOUPS 245871 WITH SCORE 247092.178
AT ITER 7344 NEW BEST:: SOT 2568696 SOS 1222229 HAS SOPS 590142 HAS SOUS 264641 HAS SOUPS 245839 WITH SCORE 247061.229
AT ITER 7349 NEW BEST:: SOT 2568680 SOS 1222211 HAS SOPS 590126 HAS SOUS 264625 HAS SOUPS 245823 WITH SCORE 247045.211
AT ITER 7365 NEW BEST:: SOT 2568681 SOS 1222346 HAS SOPS 587462 HAS SOUS 264579 HAS SOUPS 245501 WITH SCORE 246723.346
AT ITER 7433 NEW BEST:: SOT 2568403 SOS 1217890 HAS SOPS 587101 HAS SOUS 264356 HAS SOUPS 245320 WITH SCORE 246537.89
AT ITER 7434 NEW BEST:: SOT 2568364 SOS 1217578 HAS SOPS 586789 HAS SOUS 264278 HAS SOUPS 245242 WITH SCORE 246459.578
AT ITER 7436 NEW BEST:: SOT 2568352 SOS 1218338 HAS SOPS 587549 HAS SOUS 264254 HAS SOUPS 245218 WITH SCORE 246436.338
AT ITER 7439 NEW BEST:: SOT 2568348 SOS 1218243 HAS SOPS 587483 HAS SOUS 264246 HAS SOUPS 245210 WITH SCORE 246428.243
AT ITER 7441 NEW BEST:: SOT 2568370 SOS 1218287 HAS SOPS 587477 HAS SOUS 264240 HAS SOUPS 245204 WITH SCORE 246422.287
AT ITER 7450 NEW BEST:: SOT 2568354 SOS 1218303 HAS SOPS 587493 HAS SOUS 264224 HAS SOUPS 245188 WITH SCORE 246406.303
AT ITER 7453 NEW BEST:: SOT 2568219 SOS 1218418 HAS SOPS 587591 HAS SOUS 264138 HAS SOUPS 245102 WITH SCORE 246320.418
AT ITER 7470 NEW BEST:: SOT 2568132 SOS 1218331 HAS SOPS 587504 HAS SOUS 264092 HAS SOUPS 245056 WITH SCORE 246274.331
AT ITER 7525 NEW BEST:: SOT 2568193 SOS 1218356 HAS SOPS 587493 HAS SOUS 264020 HAS SOUPS 244984 WITH SCORE 246202.356
AT ITER 7582 NEW BEST:: SOT 2568240 SOS 1218403 HAS SOPS 587435 HAS SOUS 264049 HAS SOUPS 244926 WITH SCORE 246144.403
AT ITER 7583 NEW BEST:: SOT 2568240 SOS 1218411 HAS SOPS 587439 HAS SOUS 264045 HAS SOUPS 244922 WITH SCORE 246140.411
AT ITER 7589 NEW BEST:: SOT 2568231 SOS 1218398 HAS SOPS 587417 HAS SOUS 264036 HAS SOUPS 244913 WITH SCORE 246131.398
AT ITER 7595 NEW BEST:: SOT 2568231 SOS 1218742 HAS SOPS 587761 HAS SOUS 263993 HAS SOUPS 244870 WITH SCORE 246088.742
AT ITER 7606 NEW BEST:: SOT 2568213 SOS 1218763 HAS SOPS 587782 HAS SOUS 263972 HAS SOUPS 244849 WITH SCORE 246067.763
AT ITER 7613 NEW BEST:: SOT 2568213 SOS 1218763 HAS SOPS 587782 HAS SOUS 263955 HAS SOUPS 244832 WITH SCORE 246050.763
AT ITER 7618 NEW BEST:: SOT 2568213 SOS 1218708 HAS SOPS 587782 HAS SOUS 263955 HAS SOUPS 244832 WITH SCORE 246050.708
AT ITER 7620 NEW BEST:: SOT 2568209 SOS 1218704 HAS SOPS 587774 HAS SOUS 263922 HAS SOUPS 244824 WITH SCORE 246042.704
AT ITER 7635 NEW BEST:: SOT 2568291 SOS 1218892 HAS SOPS 587726 HAS SOUS 263881 HAS SOUPS 244776 WITH SCORE 245994.892
AT ITER 7643 NEW BEST:: SOT 2568352 SOS 1218813 HAS SOPS 587568 HAS SOUS 263723 HAS SOUPS 244618 WITH SCORE 245836.813
AT ITER 7646 NEW BEST:: SOT 2568232 SOS 1218693 HAS SOPS 587568 HAS SOUS 263723 HAS SOUPS 244618 WITH SCORE 245836.693
AT ITER 7673 NEW BEST:: SOT 2568232 SOS 1218683 HAS SOPS 587516 HAS SOUS 263697 HAS SOUPS 244566 WITH SCORE 245784.683
AT ITER 7682 NEW BEST:: SOT 2568302 SOS 1218753 HAS SOPS 587541 HAS SOUS 263647 HAS SOUPS 244511 WITH SCORE 245729.753
AT ITER 7697 NEW BEST:: SOT 2568158 SOS 1219467 HAS SOPS 587421 HAS SOUS 263611 HAS SOUPS 244463 WITH SCORE 245682.467
AT ITER 7724 NEW BEST:: SOT 2567813 SOS 1219122 HAS SOPS 587046 HAS SOUS 263611 HAS SOUPS 244448 WITH SCORE 245667.122
AT ITER 7728 NEW BEST:: SOT 2567746 SOS 1219028 HAS SOPS 587044 HAS SOUS 263602 HAS SOUPS 244446 WITH SCORE 245665.028
AT ITER 7742 NEW BEST:: SOT 2567840 SOS 1219094 HAS SOPS 586012 HAS SOUS 263589 HAS SOUPS 244390 WITH SCORE 245609.094
AT ITER 7744 NEW BEST:: SOT 2567794 SOS 1219772 HAS SOPS 586690 HAS SOUS 263574 HAS SOUPS 244375 WITH SCORE 245594.772
AT ITER 7769 NEW BEST:: SOT 2567675 SOS 1219653 HAS SOPS 581851 HAS SOUS 263704 HAS SOUPS 244226 WITH SCORE 245445.653
AT ITER 7773 NEW BEST:: SOT 2567355 SOS 1219345 HAS SOPS 581531 HAS SOUS 263664 HAS SOUPS 244186 WITH SCORE 245405.345
AT ITER 7793 NEW BEST:: SOT 2567351 SOS 1219333 HAS SOPS 581519 HAS SOUS 263656 HAS SOUPS 244178 WITH SCORE 245397.333
AT ITER 7795 NEW BEST:: SOT 2566566 SOS 1218548 HAS SOPS 580649 HAS SOUS 263227 HAS SOUPS 243749 WITH SCORE 244967.548
AT ITER 7797 NEW BEST:: SOT 2566522 SOS 1218482 HAS SOPS 580561 HAS SOUS 263172 HAS SOUPS 243694 WITH SCORE 244912.482
AT ITER 7802 NEW BEST:: SOT 2566494 SOS 1218454 HAS SOPS 580505 HAS SOUS 263176 HAS SOUPS 243638 WITH SCORE 244856.454
AT ITER 7829 NEW BEST:: SOT 2566400 SOS 1218360 HAS SOPS 580411 HAS SOUS 263082 HAS SOUPS 243544 WITH SCORE 244762.36
AT ITER 7856 NEW BEST:: SOT 2566402 SOS 1218378 HAS SOPS 580424 HAS SOUS 263072 HAS SOUPS 243534 WITH SCORE 244752.378
AT ITER 7871 NEW BEST:: SOT 2566450 SOS 1218768 HAS SOPS 580814 HAS SOUS 263069 HAS SOUPS 243531 WITH SCORE 244749.768
AT ITER 7874 NEW BEST:: SOT 2566423 SOS 1218795 HAS SOPS 580841 HAS SOUS 263015 HAS SOUPS 243477 WITH SCORE 244695.795
AT ITER 7884 NEW BEST:: SOT 2566353 SOS 1217430 HAS SOPS 579404 HAS SOUS 262867 HAS SOUPS 243329 WITH SCORE 244546.43
AT ITER 7906 NEW BEST:: SOT 2566305 SOS 1217478 HAS SOPS 579452 HAS SOUS 262819 HAS SOUPS 243281 WITH SCORE 244498.478
AT ITER 7931 NEW BEST:: SOT 2566219 SOS 1217189 HAS SOPS 579252 HAS SOUS 262764 HAS SOUPS 243226 WITH SCORE 244443.189
AT ITER 7955 NEW BEST:: SOT 2566198 SOS 1217294 HAS SOPS 579357 HAS SOUS 262743 HAS SOUPS 243205 WITH SCORE 244422.294
AT ITER 7961 NEW BEST:: SOT 2566184 SOS 1217266 HAS SOPS 579329 HAS SOUS 262715 HAS SOUPS 243177 WITH SCORE 244394.266
AT ITER 8018 NEW BEST:: SOT 2566179 SOS 1217301 HAS SOPS 579364 HAS SOUS 262710 HAS SOUPS 243172 WITH SCORE 244389.301
AT ITER 8055 NEW BEST:: SOT 2566060 SOS 1217199 HAS SOPS 579262 HAS SOUS 262669 HAS SOUPS 243131 WITH SCORE 244348.199
AT ITER 8066 NEW BEST:: SOT 2565752 SOS 1216891 HAS SOPS 578602 HAS SOUS 262208 HAS SOUPS 242621 WITH SCORE 243837.891
AT ITER 8091 NEW BEST:: SOT 2565788 SOS 1216780 HAS SOPS 578471 HAS SOUS 262146 HAS SOUPS 242559 WITH SCORE 243775.78
AT ITER 8114 NEW BEST:: SOT 2565723 SOS 1217573 HAS SOPS 578395 HAS SOUS 262138 HAS SOUPS 242540 WITH SCORE 243757.573
AT ITER 8127 NEW BEST:: SOT 2565101 SOS 1216802 HAS SOPS 577624 HAS SOUS 262055 HAS SOUPS 242457 WITH SCORE 243673.802
AT ITER 8135 NEW BEST:: SOT 2565101 SOS 1216610 HAS SOPS 577432 HAS SOUS 261953 HAS SOUPS 242355 WITH SCORE 243571.61
AT ITER 8137 NEW BEST:: SOT 2565081 SOS 1216563 HAS SOPS 577365 HAS SOUS 261853 HAS SOUPS 242255 WITH SCORE 243471.563
AT ITER 8157 NEW BEST:: SOT 2565065 SOS 1216643 HAS SOPS 577445 HAS SOUS 261837 HAS SOUPS 242239 WITH SCORE 243455.643
AT ITER 8167 NEW BEST:: SOT 2565050 SOS 1216671 HAS SOPS 577474 HAS SOUS 261808 HAS SOUPS 242210 WITH SCORE 243426.671
AT ITER 8187 NEW BEST:: SOT 2565081 SOS 1216677 HAS SOPS 577500 HAS SOUS 261759 HAS SOUPS 242171 WITH SCORE 243387.677
AT ITER 8191 NEW BEST:: SOT 2565030 SOS 1216404 HAS SOPS 577125 HAS SOUS 261657 HAS SOUPS 242069 WITH SCORE 243285.404
AT ITER 8197 NEW BEST:: SOT 2564709 SOS 1216069 HAS SOPS 576780 HAS SOUS 261564 HAS SOUPS 241976 WITH SCORE 243192.069
AT ITER 8200 NEW BEST:: SOT 2564730 SOS 1216059 HAS SOPS 576718 HAS SOUS 261554 HAS SOUPS 241966 WITH SCORE 243182.059
AT ITER 8219 NEW BEST:: SOT 2564322 SOS 1215651 HAS SOPS 576293 HAS SOUS 261537 HAS SOUPS 241949 WITH SCORE 243164.651
AT ITER 8222 NEW BEST:: SOT 2564319 SOS 1215645 HAS SOPS 576287 HAS SOUS 261531 HAS SOUPS 241943 WITH SCORE 243158.645
AT ITER 8241 NEW BEST:: SOT 2564305 SOS 1215842 HAS SOPS 576484 HAS SOUS 261503 HAS SOUPS 241915 WITH SCORE 243130.842
AT ITER 8247 NEW BEST:: SOT 2564304 SOS 1215846 HAS SOPS 576482 HAS SOUS 261501 HAS SOUPS 241913 WITH SCORE 243128.846
AT ITER 8312 NEW BEST:: SOT 2564285 SOS 1215827 HAS SOPS 576463 HAS SOUS 261501 HAS SOUPS 241913 WITH SCORE 243128.827
AT ITER 8341 NEW BEST:: SOT 2564261 SOS 1216038 HAS SOPS 576674 HAS SOUS 261486 HAS SOUPS 241898 WITH SCORE 243114.038
AT ITER 8408 NEW BEST:: SOT 2564611 SOS 1216174 HAS SOPS 575848 HAS SOUS 261473 HAS SOUPS 241885 WITH SCORE 243101.174
AT ITER 8409 NEW BEST:: SOT 2564554 SOS 1216466 HAS SOPS 576140 HAS SOUS 261437 HAS SOUPS 241849 WITH SCORE 243065.466
AT ITER 8411 NEW BEST:: SOT 2564554 SOS 1216233 HAS SOPS 575907 HAS SOUS 261381 HAS SOUPS 241793 WITH SCORE 243009.233
AT ITER 8412 NEW BEST:: SOT 2564554 SOS 1216223 HAS SOPS 575897 HAS SOUS 261381 HAS SOUPS 241793 WITH SCORE 243009.223
AT ITER 8424 NEW BEST:: SOT 2564531 SOS 1216151 HAS SOPS 575851 HAS SOUS 261361 HAS SOUPS 241773 WITH SCORE 242989.151
AT ITER 8425 NEW BEST:: SOT 2564468 SOS 1216233 HAS SOPS 575862 HAS SOUS 261347 HAS SOUPS 241685 WITH SCORE 242901.233
AT ITER 8440 NEW BEST:: SOT 2564463 SOS 1216188 HAS SOPS 575817 HAS SOUS 261337 HAS SOUPS 241675 WITH SCORE 242891.188
AT ITER 8454 NEW BEST:: SOT 2564605 SOS 1216680 HAS SOPS 575658 HAS SOUS 261173 HAS SOUPS 241511 WITH SCORE 242727.68
AT ITER 8488 NEW BEST:: SOT 2564573 SOS 1216616 HAS SOPS 575594 HAS SOUS 261173 HAS SOUPS 241511 WITH SCORE 242727.616
AT ITER 8501 NEW BEST:: SOT 2564583 SOS 1216695 HAS SOPS 575648 HAS SOUS 261159 HAS SOUPS 241497 WITH SCORE 242713.695
AT ITER 8527 NEW BEST:: SOT 2564626 SOS 1216569 HAS SOPS 575522 HAS SOUS 261139 HAS SOUPS 241477 WITH SCORE 242693.569
AT ITER 8542 NEW BEST:: SOT 2564635 SOS 1216724 HAS SOPS 575540 HAS SOUS 260948 HAS SOUPS 241286 WITH SCORE 242502.724
AT ITER 8563 NEW BEST:: SOT 2564635 SOS 1216724 HAS SOPS 575535 HAS SOUS 260943 HAS SOUPS 241281 WITH SCORE 242497.724
AT ITER 8603 NEW BEST:: SOT 2565444 SOS 1217533 HAS SOPS 568148 HAS SOUS 260872 HAS SOUPS 241210 WITH SCORE 242427.533
AT ITER 8621 NEW BEST:: SOT 2565439 SOS 1217523 HAS SOPS 568138 HAS SOUS 260862 HAS SOUPS 241200 WITH SCORE 242417.523
AT ITER 8643 NEW BEST:: SOT 2565429 SOS 1217503 HAS SOPS 568123 HAS SOUS 260852 HAS SOUPS 241190 WITH SCORE 242407.503
AT ITER 8647 NEW BEST:: SOT 2565499 SOS 1217817 HAS SOPS 568094 HAS SOUS 260692 HAS SOUPS 240992 WITH SCORE 242209.817
AT ITER 8661 NEW BEST:: SOT 2565403 SOS 1218831 HAS SOPS 569108 HAS SOUS 260634 HAS SOUPS 240934 WITH SCORE 242152.831
AT ITER 8743 NEW BEST:: SOT 2565351 SOS 1218850 HAS SOPS 569127 HAS SOUS 260582 HAS SOUPS 240882 WITH SCORE 242100.85
AT ITER 8745 NEW BEST:: SOT 2564935 SOS 1218382 HAS SOPS 569127 HAS SOUS 260582 HAS SOUPS 240882 WITH SCORE 242100.382
AT ITER 8757 NEW BEST:: SOT 2564936 SOS 1218326 HAS SOPS 569042 HAS SOUS 260555 HAS SOUPS 240855 WITH SCORE 242073.326
AT ITER 8779 NEW BEST:: SOT 2564928 SOS 1218294 HAS SOPS 569010 HAS SOUS 260547 HAS SOUPS 240847 WITH SCORE 242065.294
AT ITER 8810 NEW BEST:: SOT 2564914 SOS 1218266 HAS SOPS 568982 HAS SOUS 260519 HAS SOUPS 240819 WITH SCORE 242037.266
AT ITER 8815 NEW BEST:: SOT 2564910 SOS 1218268 HAS SOPS 568987 HAS SOUS 260472 HAS SOUPS 240772 WITH SCORE 241990.268
AT ITER 8821 NEW BEST:: SOT 2564902 SOS 1218260 HAS SOPS 568971 HAS SOUS 260456 HAS SOUPS 240756 WITH SCORE 241974.26
AT ITER 8848 NEW BEST:: SOT 2563214 SOS 1216497 HAS SOPS 567170 HAS SOUS 260091 HAS SOUPS 240391 WITH SCORE 241607.497
AT ITER 8851 NEW BEST:: SOT 2563214 SOS 1216497 HAS SOPS 567170 HAS SOUS 260049 HAS SOUPS 240349 WITH SCORE 241565.497
AT ITER 8855 NEW BEST:: SOT 2563072 SOS 1216093 HAS SOPS 566766 HAS SOUS 259907 HAS SOUPS 240207 WITH SCORE 241423.093
AT ITER 8860 NEW BEST:: SOT 2563072 SOS 1216201 HAS SOPS 566766 HAS SOUS 259835 HAS SOUPS 240135 WITH SCORE 241351.201
AT ITER 8873 NEW BEST:: SOT 2563059 SOS 1216035 HAS SOPS 566600 HAS SOUS 259818 HAS SOUPS 240118 WITH SCORE 241334.035
AT ITER 8883 NEW BEST:: SOT 2563013 SOS 1215943 HAS SOPS 566554 HAS SOUS 259772 HAS SOUPS 240072 WITH SCORE 241287.943
AT ITER 8894 NEW BEST:: SOT 2562992 SOS 1215880 HAS SOPS 566491 HAS SOUS 259730 HAS SOUPS 240030 WITH SCORE 241245.88
AT ITER 8910 NEW BEST:: SOT 2562989 SOS 1215853 HAS SOPS 566464 HAS SOUS 259724 HAS SOUPS 240024 WITH SCORE 241239.853
AT ITER 8923 NEW BEST:: SOT 2562632 SOS 1215605 HAS SOPS 566099 HAS SOUS 259766 HAS SOUPS 240004 WITH SCORE 241219.605
AT ITER 8955 NEW BEST:: SOT 2562621 SOS 1215175 HAS SOPS 565669 HAS SOUS 259744 HAS SOUPS 239982 WITH SCORE 241197.175
AT ITER 8966 NEW BEST:: SOT 2562516 SOS 1214125 HAS SOPS 564619 HAS SOUS 259519 HAS SOUPS 239757 WITH SCORE 240971.125
AT ITER 9027 NEW BEST:: SOT 2562456 SOS 1214213 HAS SOPS 564707 HAS SOUS 259459 HAS SOUPS 239697 WITH SCORE 240911.213
AT ITER 9035 NEW BEST:: SOT 2562304 SOS 1214042 HAS SOPS 564707 HAS SOUS 259459 HAS SOUPS 239697 WITH SCORE 240911.042
AT ITER 9054 NEW BEST:: SOT 2562298 SOS 1214075 HAS SOPS 564740 HAS SOUS 259455 HAS SOUPS 239693 WITH SCORE 240907.075
AT ITER 9057 NEW BEST:: SOT 2562406 SOS 1214183 HAS SOPS 564704 HAS SOUS 259419 HAS SOUPS 239657 WITH SCORE 240871.183
AT ITER 9068 NEW BEST:: SOT 2562383 SOS 1214205 HAS SOPS 564658 HAS SOUS 259366 HAS SOUPS 239611 WITH SCORE 240825.205
AT ITER 9071 NEW BEST:: SOT 2562279 SOS 1214101 HAS SOPS 564326 HAS SOUS 259034 HAS SOUPS 239279 WITH SCORE 240493.101
AT ITER 9077 NEW BEST:: SOT 2562303 SOS 1214224 HAS SOPS 564350 HAS SOUS 258843 HAS SOUPS 239066 WITH SCORE 240280.224
AT ITER 9134 NEW BEST:: SOT 2562115 SOS 1213908 HAS SOPS 564024 HAS SOUS 258812 HAS SOUPS 239035 WITH SCORE 240248.908
AT ITER 9145 NEW BEST:: SOT 2562075 SOS 1213883 HAS SOPS 563999 HAS SOUS 258787 HAS SOUPS 239010 WITH SCORE 240223.883
AT ITER 9157 NEW BEST:: SOT 2562195 SOS 1212523 HAS SOPS 562639 HAS SOUS 258765 HAS SOUPS 238988 WITH SCORE 240200.523
AT ITER 9172 NEW BEST:: SOT 2562195 SOS 1212267 HAS SOPS 562383 HAS SOUS 258637 HAS SOUPS 238860 WITH SCORE 240072.267
AT ITER 9176 NEW BEST:: SOT 2564447 SOS 1214995 HAS SOPS 565525 HAS SOUS 258602 HAS SOUPS 238825 WITH SCORE 240039.995
AT ITER 9177 NEW BEST:: SOT 2564445 SOS 1214907 HAS SOPS 565437 HAS SOUS 258598 HAS SOUPS 238821 WITH SCORE 240035.907
AT ITER 9179 NEW BEST:: SOT 2564429 SOS 1216417 HAS SOPS 566947 HAS SOUS 258566 HAS SOUPS 238789 WITH SCORE 240005.417
AT ITER 9268 NEW BEST:: SOT 2564425 SOS 1216394 HAS SOPS 566939 HAS SOUS 258543 HAS SOUPS 238781 WITH SCORE 239997.394
AT ITER 9269 NEW BEST:: SOT 2564418 SOS 1216380 HAS SOPS 566925 HAS SOUS 258529 HAS SOUPS 238767 WITH SCORE 239983.38
AT ITER 9282 NEW BEST:: SOT 2564411 SOS 1215818 HAS SOPS 566363 HAS SOUS 258515 HAS SOUPS 238753 WITH SCORE 239968.818
AT ITER 9303 NEW BEST:: SOT 2564440 SOS 1215852 HAS SOPS 566333 HAS SOUS 258485 HAS SOUPS 238723 WITH SCORE 239938.852
AT ITER 9368 NEW BEST:: SOT 2564440 SOS 1215861 HAS SOPS 566342 HAS SOUS 258383 HAS SOUPS 238621 WITH SCORE 239836.861
AT ITER 9376 NEW BEST:: SOT 2564242 SOS 1215716 HAS SOPS 566135 HAS SOUS 258339 HAS SOUPS 238577 WITH SCORE 239792.716
AT ITER 9387 NEW BEST:: SOT 2564228 SOS 1215688 HAS SOPS 566107 HAS SOUS 258311 HAS SOUPS 238549 WITH SCORE 239764.688
AT ITER 9401 NEW BEST:: SOT 2564251 SOS 1215838 HAS SOPS 566026 HAS SOUS 258230 HAS SOUPS 238468 WITH SCORE 239683.838
AT ITER 9408 NEW BEST:: SOT 2564251 SOS 1215828 HAS SOPS 566021 HAS SOUS 258225 HAS SOUPS 238463 WITH SCORE 239678.828
AT ITER 9427 NEW BEST:: SOT 2564251 SOS 1215808 HAS SOPS 566001 HAS SOUS 258225 HAS SOUPS 238463 WITH SCORE 239678.808
AT ITER 9429 NEW BEST:: SOT 2564251 SOS 1214686 HAS SOPS 564879 HAS SOUS 258132 HAS SOUPS 238370 WITH SCORE 239584.686
AT ITER 9490 NEW BEST:: SOT 2564189 SOS 1214531 HAS SOPS 564724 HAS SOUS 258070 HAS SOUPS 238308 WITH SCORE 239522.531
AT ITER 9501 NEW BEST:: SOT 2564180 SOS 1214522 HAS SOPS 564706 HAS SOUS 258061 HAS SOUPS 238299 WITH SCORE 239513.522
AT ITER 9506 NEW BEST:: SOT 2563398 SOS 1219328 HAS SOPS 564043 HAS SOUS 258021 HAS SOUPS 238181 WITH SCORE 239400.328
AT ITER 9514 NEW BEST:: SOT 2563398 SOS 1218762 HAS SOPS 563597 HAS SOUS 258021 HAS SOUPS 238181 WITH SCORE 239399.762
AT ITER 9534 NEW BEST:: SOT 2563383 SOS 1218624 HAS SOPS 563459 HAS SOUS 257991 HAS SOUPS 238151 WITH SCORE 239369.624
AT ITER 9546 NEW BEST:: SOT 2563374 SOS 1218650 HAS SOPS 563413 HAS SOUS 257971 HAS SOUPS 238131 WITH SCORE 239349.65
AT ITER 9553 NEW BEST:: SOT 2563374 SOS 1218614 HAS SOPS 563377 HAS SOUS 257953 HAS SOUPS 238113 WITH SCORE 239331.614
AT ITER 9562 NEW BEST:: SOT 2563244 SOS 1218483 HAS SOPS 563246 HAS SOUS 257822 HAS SOUPS 237982 WITH SCORE 239200.483
AT ITER 9576 NEW BEST:: SOT 2563214 SOS 1218453 HAS SOPS 563216 HAS SOUS 257819 HAS SOUPS 237979 WITH SCORE 239197.453
AT ITER 9614 NEW BEST:: SOT 2563210 SOS 1218438 HAS SOPS 563208 HAS SOUS 257811 HAS SOUPS 237971 WITH SCORE 239189.438
AT ITER 9646 NEW BEST:: SOT 2563174 SOS 1219954 HAS SOPS 563008 HAS SOUS 257968 HAS SOUPS 237964 WITH SCORE 239183.954
AT ITER 9647 NEW BEST:: SOT 2563170 SOS 1219938 HAS SOPS 563000 HAS SOUS 257964 HAS SOUPS 237960 WITH SCORE 239179.938
AT ITER 9677 NEW BEST:: SOT 2563162 SOS 1219922 HAS SOPS 562980 HAS SOUS 257948 HAS SOUPS 237944 WITH SCORE 239163.922
AT ITER 9684 NEW BEST:: SOT 2562438 SOS 1219342 HAS SOPS 562256 HAS SOUS 257891 HAS SOUPS 237887 WITH SCORE 239106.342
AT ITER 9726 NEW BEST:: SOT 2562434 SOS 1219378 HAS SOPS 562292 HAS SOUS 257887 HAS SOUPS 237883 WITH SCORE 239102.378
AT ITER 9732 NEW BEST:: SOT 2562433 SOS 1219508 HAS SOPS 562422 HAS SOUS 257885 HAS SOUPS 237881 WITH SCORE 239100.508
AT ITER 9739 NEW BEST:: SOT 2562364 SOS 1219439 HAS SOPS 562353 HAS SOUS 257816 HAS SOUPS 237812 WITH SCORE 239031.439
AT ITER 9764 NEW BEST:: SOT 2562211 SOS 1219135 HAS SOPS 562049 HAS SOUS 257765 HAS SOUPS 237761 WITH SCORE 238980.135
AT ITER 9772 NEW BEST:: SOT 2562142 SOS 1219199 HAS SOPS 562113 HAS SOUS 257696 HAS SOUPS 237692 WITH SCORE 238911.199
AT ITER 9845 NEW BEST:: SOT 2562584 SOS 1219903 HAS SOPS 562958 HAS SOUS 257620 HAS SOUPS 237616 WITH SCORE 238835.903
AT ITER 9865 NEW BEST:: SOT 2562565 SOS 1219865 HAS SOPS 562901 HAS SOUS 257563 HAS SOUPS 237559 WITH SCORE 238778.865
AT ITER 9901 NEW BEST:: SOT 2562459 SOS 1219759 HAS SOPS 562901 HAS SOUS 257591 HAS SOUPS 237559 WITH SCORE 238778.759
AT ITER 9904 NEW BEST:: SOT 2562779 SOS 1216206 HAS SOPS 563117 HAS SOUS 257484 HAS SOUPS 237504 WITH SCORE 238720.206
AT ITER 9918 NEW BEST:: SOT 2562741 SOS 1216149 HAS SOPS 563022 HAS SOUS 257427 HAS SOUPS 237409 WITH SCORE 238625.149
AT ITER 9926 NEW BEST:: SOT 2562686 SOS 1215907 HAS SOPS 562912 HAS SOUS 257317 HAS SOUPS 237299 WITH SCORE 238514.907
AT ITER 9927 NEW BEST:: SOT 2562673 SOS 1215894 HAS SOPS 562899 HAS SOUS 257304 HAS SOUPS 237286 WITH SCORE 238501.894
AT ITER 9928 NEW BEST:: SOT 2562578 SOS 1215096 HAS SOPS 562101 HAS SOUS 257209 HAS SOUPS 237191 WITH SCORE 238406.096
AT ITER 9934 NEW BEST:: SOT 2562504 SOS 1214960 HAS SOPS 561965 HAS SOUS 257137 HAS SOUPS 237119 WITH SCORE 238333.96
AT ITER 9936 NEW BEST:: SOT 2562504 SOS 1214848 HAS SOPS 561853 HAS SOUS 257137 HAS SOUPS 237119 WITH SCORE 238333.848
AT ITER 9937 NEW BEST:: SOT 2562542 SOS 1214782 HAS SOPS 561787 HAS SOUS 257123 HAS SOUPS 237105 WITH SCORE 238319.782
AT ITER 9963 NEW BEST:: SOT 2562534 SOS 1214774 HAS SOPS 561787 HAS SOUS 257123 HAS SOUPS 237105 WITH SCORE 238319.774
AT ITER 9969 NEW BEST:: SOT 2562351 SOS 1214509 HAS SOPS 561421 HAS SOUS 256757 HAS SOUPS 236739 WITH SCORE 237953.509
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 8817252 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16124040 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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.202304061127.jar
+ VERSION=202304061127
+ echo 'Running Version 202304061127'
+ /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
Caught signal 15, terminating.

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="EisenbergMcGuire-PT-09"
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 EisenbergMcGuire-PT-09, 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 r523-tall-167987247800272"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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