Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922806900067.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DLCshifumi-PT-6a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922806900067
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 7.0M
-rw-r--r-- 1 mcc users 3.7K Mar 31 04:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 31 04:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 29 20:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 29 20:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 28 13:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 28 13:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 27 06:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 27 06:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 6.9M Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME DLCshifumi-PT-6a-CTLCardinality-00
FORMULA_NAME DLCshifumi-PT-6a-CTLCardinality-01
FORMULA_NAME DLCshifumi-PT-6a-CTLCardinality-02
FORMULA_NAME DLCshifumi-PT-6a-CTLCardinality-03
FORMULA_NAME DLCshifumi-PT-6a-CTLCardinality-04
FORMULA_NAME DLCshifumi-PT-6a-CTLCardinality-05
FORMULA_NAME DLCshifumi-PT-6a-CTLCardinality-06
FORMULA_NAME DLCshifumi-PT-6a-CTLCardinality-07
FORMULA_NAME DLCshifumi-PT-6a-CTLCardinality-08
FORMULA_NAME DLCshifumi-PT-6a-CTLCardinality-09
FORMULA_NAME DLCshifumi-PT-6a-CTLCardinality-10
FORMULA_NAME DLCshifumi-PT-6a-CTLCardinality-11
FORMULA_NAME DLCshifumi-PT-6a-CTLCardinality-12
FORMULA_NAME DLCshifumi-PT-6a-CTLCardinality-13
FORMULA_NAME DLCshifumi-PT-6a-CTLCardinality-14
FORMULA_NAME DLCshifumi-PT-6a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589357749071

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCshifumi (PT), instance 6a
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 3568 places, 25936 transitions, 101182 arcs.
AT ITER 0 NEW BEST:: SOT 55980573 SOS 47265395 HAS SOPS 23151194 HAS SOUS 3859570 HAS SOUPS 1636246 WITH SCORE 1683511.395
AT ITER 15 NEW BEST:: SOT 55980569 SOS 47264115 HAS SOPS 23153730 HAS SOUS 3858930 HAS SOUPS 1636242 WITH SCORE 1683506.115
AT ITER 27 NEW BEST:: SOT 55979926 SOS 47262023 HAS SOPS 23154056 HAS SOUS 3857919 HAS SOUPS 1635634 WITH SCORE 1682896.023
AT ITER 32 NEW BEST:: SOT 55978154 SOS 47265573 HAS SOPS 23151486 HAS SOUS 3857345 HAS SOUPS 1634720 WITH SCORE 1681985.573
AT ITER 36 NEW BEST:: SOT 55973108 SOS 47277456 HAS SOPS 23153073 HAS SOUS 3853189 HAS SOUPS 1630564 WITH SCORE 1677841.456
AT ITER 45 NEW BEST:: SOT 55972588 SOS 47275174 HAS SOPS 23154517 HAS SOUS 3852048 HAS SOUPS 1630044 WITH SCORE 1677319.174
AT ITER 52 NEW BEST:: SOT 55971637 SOS 47273272 HAS SOPS 23156029 HAS SOUS 3850076 HAS SOUPS 1628641 WITH SCORE 1675914.272
AT ITER 71 NEW BEST:: SOT 55967540 SOS 47286052 HAS SOPS 23159245 HAS SOUS 3847535 HAS SOUPS 1626100 WITH SCORE 1673386.052
AT ITER 72 NEW BEST:: SOT 55967540 SOS 47286052 HAS SOPS 23159245 HAS SOUS 3847383 HAS SOUPS 1625948 WITH SCORE 1673234.052
AT ITER 81 NEW BEST:: SOT 55963304 SOS 47307723 HAS SOPS 23167896 HAS SOUS 3845101 HAS SOUPS 1623666 WITH SCORE 1670973.723
AT ITER 84 NEW BEST:: SOT 55958426 SOS 47321441 HAS SOPS 23170946 HAS SOUS 3841128 HAS SOUPS 1619693 WITH SCORE 1667014.441
AT ITER 85 NEW BEST:: SOT 55957218 SOS 47325537 HAS SOPS 23169714 HAS SOUS 3840376 HAS SOUPS 1618645 WITH SCORE 1665970.537
AT ITER 106 NEW BEST:: SOT 55956512 SOS 47323209 HAS SOPS 23170134 HAS SOUS 3839212 HAS SOUPS 1617939 WITH SCORE 1665262.209
AT ITER 115 NEW BEST:: SOT 55955752 SOS 47321689 HAS SOPS 23170894 HAS SOUS 3837692 HAS SOUPS 1616799 WITH SCORE 1664120.689
AT ITER 131 NEW BEST:: SOT 55955752 SOS 47321689 HAS SOPS 23170894 HAS SOUS 3837634 HAS SOUPS 1616741 WITH SCORE 1664062.689
AT ITER 135 NEW BEST:: SOT 55955321 SOS 47319769 HAS SOPS 23172148 HAS SOUS 3836811 HAS SOUPS 1616447 WITH SCORE 1663766.769
AT ITER 140 NEW BEST:: SOT 55955321 SOS 47319769 HAS SOPS 23172148 HAS SOUS 3836583 HAS SOUPS 1616219 WITH SCORE 1663538.769
AT ITER 143 NEW BEST:: SOT 55954059 SOS 47315459 HAS SOPS 23173196 HAS SOUS 3834732 HAS SOUPS 1615261 WITH SCORE 1662576.459
AT ITER 197 NEW BEST:: SOT 55954059 SOS 47315459 HAS SOPS 23173196 HAS SOUS 3834366 HAS SOUPS 1614895 WITH SCORE 1662210.459
AT ITER 199 NEW BEST:: SOT 55953569 SOS 47313553 HAS SOPS 23171290 HAS SOUS 3833876 HAS SOUPS 1614405 WITH SCORE 1661718.553
AT ITER 201 NEW BEST:: SOT 55952962 SOS 47311357 HAS SOPS 23172040 HAS SOUS 3832869 HAS SOUPS 1613889 WITH SCORE 1661200.357
AT ITER 204 NEW BEST:: SOT 55952962 SOS 47311357 HAS SOPS 23172040 HAS SOUS 3832503 HAS SOUPS 1613523 WITH SCORE 1660834.357
AT ITER 212 NEW BEST:: SOT 55952678 SOS 47311425 HAS SOPS 23172108 HAS SOUS 3831901 HAS SOUPS 1612921 WITH SCORE 1660232.425
AT ITER 235 NEW BEST:: SOT 55952382 SOS 47310833 HAS SOPS 23172404 HAS SOUS 3831309 HAS SOUPS 1612477 WITH SCORE 1659787.833
AT ITER 236 NEW BEST:: SOT 55951706 SOS 47308545 HAS SOPS 23172924 HAS SOUS 3830165 HAS SOUPS 1611801 WITH SCORE 1659109.545
AT ITER 243 NEW BEST:: SOT 55951046 SOS 47305501 HAS SOPS 23175052 HAS SOUS 3828643 HAS SOUPS 1611141 WITH SCORE 1658446.501
AT ITER 248 NEW BEST:: SOT 55948406 SOS 47309819 HAS SOPS 23171126 HAS SOUS 3826884 HAS SOUPS 1608924 WITH SCORE 1656233.819
AT ITER 250 NEW BEST:: SOT 55944236 SOS 47320421 HAS SOPS 23172656 HAS SOUS 3823771 HAS SOUPS 1605811 WITH SCORE 1653131.421
AT ITER 275 NEW BEST:: SOT 55944236 SOS 47320421 HAS SOPS 23172656 HAS SOUS 3823513 HAS SOUPS 1605553 WITH SCORE 1652873.421
AT ITER 276 NEW BEST:: SOT 55943850 SOS 47319649 HAS SOPS 23174296 HAS SOUS 3822732 HAS SOUPS 1605174 WITH SCORE 1652493.649
AT ITER 278 NEW BEST:: SOT 55939434 SOS 47336899 HAS SOPS 23179918 HAS SOUS 3819842 HAS SOUPS 1602284 WITH SCORE 1649620.899
AT ITER 289 NEW BEST:: SOT 55939288 SOS 47335701 HAS SOPS 23178720 HAS SOUS 3819696 HAS SOUPS 1602138 WITH SCORE 1649473.701
AT ITER 301 NEW BEST:: SOT 55935601 SOS 47340601 HAS SOPS 23176576 HAS SOUS 3816430 HAS SOUPS 1598872 WITH SCORE 1646212.601
AT ITER 302 NEW BEST:: SOT 55932604 SOS 47330689 HAS SOPS 23172658 HAS SOUS 3811611 HAS SOUPS 1595052 WITH SCORE 1642382.689
AT ITER 330 NEW BEST:: SOT 55932100 SOS 47329177 HAS SOPS 23171146 HAS SOUS 3811107 HAS SOUPS 1594548 WITH SCORE 1641877.177
AT ITER 331 NEW BEST:: SOT 55932100 SOS 47329177 HAS SOPS 23171146 HAS SOUS 3811077 HAS SOUPS 1594518 WITH SCORE 1641847.177
AT ITER 334 NEW BEST:: SOT 55921740 SOS 47312768 HAS SOPS 23164589 HAS SOUS 3810278 HAS SOUPS 1594529 WITH SCORE 1641841.768
AT ITER 336 NEW BEST:: SOT 55918446 SOS 47308010 HAS SOPS 23162027 HAS SOUS 3809912 HAS SOUPS 1594163 WITH SCORE 1641471.01
AT ITER 338 NEW BEST:: SOT 55918446 SOS 47308010 HAS SOPS 23162027 HAS SOUS 3809880 HAS SOUPS 1594131 WITH SCORE 1641439.01
AT ITER 339 NEW BEST:: SOT 55918261 SOS 47309262 HAS SOPS 23163279 HAS SOUS 3809324 HAS SOUPS 1593575 WITH SCORE 1640884.262
AT ITER 350 NEW BEST:: SOT 55917734 SOS 47306938 HAS SOPS 23164765 HAS SOUS 3808347 HAS SOUPS 1593233 WITH SCORE 1640539.938
AT ITER 354 NEW BEST:: SOT 55913010 SOS 47312484 HAS SOPS 23163903 HAS SOUS 3805133 HAS SOUPS 1590019 WITH SCORE 1637331.484
AT ITER 369 NEW BEST:: SOT 55913010 SOS 47312484 HAS SOPS 23163903 HAS SOUS 3804767 HAS SOUPS 1589653 WITH SCORE 1636965.484
AT ITER 381 NEW BEST:: SOT 55908756 SOS 47335606 HAS SOPS 23173393 HAS SOUS 3802385 HAS SOUPS 1587271 WITH SCORE 1634606.606
AT ITER 420 NEW BEST:: SOT 55903615 SOS 47347472 HAS SOPS 23174735 HAS SOUS 3798007 HAS SOUPS 1582893 WITH SCORE 1630240.472
AT ITER 428 NEW BEST:: SOT 55903615 SOS 47347472 HAS SOPS 23174735 HAS SOUS 3797641 HAS SOUPS 1582527 WITH SCORE 1629874.472
AT ITER 430 NEW BEST:: SOT 55901536 SOS 47353104 HAS SOPS 23172357 HAS SOUS 3796379 HAS SOUPS 1580820 WITH SCORE 1628173.104
AT ITER 438 NEW BEST:: SOT 55896556 SOS 47374419 HAS SOPS 23179836 HAS SOUS 3793140 HAS SOUPS 1577581 WITH SCORE 1624955.419
AT ITER 440 NEW BEST:: SOT 55891204 SOS 47388201 HAS SOPS 23182350 HAS SOUS 3788652 HAS SOUPS 1573093 WITH SCORE 1620481.201
AT ITER 443 NEW BEST:: SOT 55886573 SOS 47407441 HAS SOPS 23188942 HAS SOUS 3785644 HAS SOUPS 1570085 WITH SCORE 1617492.441
AT ITER 448 NEW BEST:: SOT 55886073 SOS 47406441 HAS SOPS 23192496 HAS SOUS 3784263 HAS SOUPS 1569463 WITH SCORE 1616869.441
AT ITER 453 NEW BEST:: SOT 55885383 SOS 47404195 HAS SOPS 23192848 HAS SOUS 3783140 HAS SOUPS 1568773 WITH SCORE 1616177.195
AT ITER 454 NEW BEST:: SOT 55883635 SOS 47399715 HAS SOPS 23188368 HAS SOUS 3782376 HAS SOUPS 1568009 WITH SCORE 1615408.715
AT ITER 474 NEW BEST:: SOT 55882872 SOS 47398009 HAS SOPS 23189890 HAS SOUS 3780731 HAS SOUPS 1566902 WITH SCORE 1614300.009
AT ITER 479 NEW BEST:: SOT 55882872 SOS 47398009 HAS SOPS 23189890 HAS SOUS 3780365 HAS SOUPS 1566536 WITH SCORE 1613934.009
AT ITER 485 NEW BEST:: SOT 55882378 SOS 47397021 HAS SOPS 23191134 HAS SOUS 3779377 HAS SOUPS 1565920 WITH SCORE 1613317.021
AT ITER 490 NEW BEST:: SOT 55882378 SOS 47397021 HAS SOPS 23191134 HAS SOUS 3779057 HAS SOUPS 1565600 WITH SCORE 1612997.021
AT ITER 494 NEW BEST:: SOT 55881154 SOS 47400821 HAS SOPS 23189822 HAS SOUS 3778303 HAS SOUPS 1564562 WITH SCORE 1611962.821
AT ITER 497 NEW BEST:: SOT 55881004 SOS 47400521 HAS SOPS 23189522 HAS SOUS 3778078 HAS SOUPS 1564337 WITH SCORE 1611737.521
AT ITER 503 NEW BEST:: SOT 55881004 SOS 47400521 HAS SOPS 23189522 HAS SOUS 3777720 HAS SOUPS 1563979 WITH SCORE 1611379.521
AT ITER 510 NEW BEST:: SOT 55880914 SOS 47400341 HAS SOPS 23189342 HAS SOUS 3777630 HAS SOUPS 1563889 WITH SCORE 1611289.341
AT ITER 525 NEW BEST:: SOT 55880604 SOS 47399721 HAS SOPS 23188722 HAS SOUS 3777320 HAS SOUPS 1563579 WITH SCORE 1610978.721
AT ITER 548 NEW BEST:: SOT 55880604 SOS 47399721 HAS SOPS 23188722 HAS SOUS 3777012 HAS SOUPS 1563271 WITH SCORE 1610670.721
AT ITER 555 NEW BEST:: SOT 55880604 SOS 47399721 HAS SOPS 23188722 HAS SOUS 3776764 HAS SOUPS 1563023 WITH SCORE 1610422.721
AT ITER 561 NEW BEST:: SOT 55878075 SOS 47409519 HAS SOPS 23187882 HAS SOUS 3776102 HAS SOUPS 1561770 WITH SCORE 1609179.519
AT ITER 564 NEW BEST:: SOT 55877351 SOS 47408071 HAS SOPS 23188606 HAS SOUS 3774654 HAS SOUPS 1560684 WITH SCORE 1608092.071
AT ITER 566 NEW BEST:: SOT 55877351 SOS 47408071 HAS SOPS 23188606 HAS SOUS 3774340 HAS SOUPS 1560370 WITH SCORE 1607778.071
AT ITER 568 NEW BEST:: SOT 55877078 SOS 47406151 HAS SOPS 23190808 HAS SOUS 3773631 HAS SOUPS 1560348 WITH SCORE 1607754.151
AT ITER 572 NEW BEST:: SOT 55876580 SOS 47405155 HAS SOPS 23191306 HAS SOUS 3772635 HAS SOUPS 1559601 WITH SCORE 1607006.155
AT ITER 584 NEW BEST:: SOT 55876090 SOS 47404175 HAS SOPS 23192726 HAS SOUS 3771745 HAS SOUPS 1559111 WITH SCORE 1606515.175
AT ITER 586 NEW BEST:: SOT 55870837 SOS 47420903 HAS SOPS 23197214 HAS SOUS 3767486 HAS SOUPS 1554852 WITH SCORE 1602272.903
AT ITER 606 NEW BEST:: SOT 55870837 SOS 47420903 HAS SOPS 23197214 HAS SOUS 3767212 HAS SOUPS 1554578 WITH SCORE 1601998.903
AT ITER 611 NEW BEST:: SOT 55869968 SOS 47419165 HAS SOPS 23198854 HAS SOUS 3765346 HAS SOUPS 1553275 WITH SCORE 1600694.165
AT ITER 627 NEW BEST:: SOT 55869834 SOS 47418897 HAS SOPS 23198586 HAS SOUS 3765212 HAS SOUPS 1553141 WITH SCORE 1600559.897
AT ITER 636 NEW BEST:: SOT 55869290 SOS 47415925 HAS SOPS 23201266 HAS SOUS 3763726 HAS SOUPS 1552597 WITH SCORE 1600012.925
AT ITER 646 NEW BEST:: SOT 55869290 SOS 47415925 HAS SOPS 23201266 HAS SOUS 3763552 HAS SOUPS 1552423 WITH SCORE 1599838.925
AT ITER 654 NEW BEST:: SOT 55868908 SOS 47415161 HAS SOPS 23201648 HAS SOUS 3762788 HAS SOUPS 1551850 WITH SCORE 1599265.161
AT ITER 655 NEW BEST:: SOT 55868908 SOS 47415161 HAS SOPS 23201648 HAS SOUS 3762516 HAS SOUPS 1551578 WITH SCORE 1598993.161
AT ITER 662 NEW BEST:: SOT 55868890 SOS 47411198 HAS SOPS 23197685 HAS SOUS 3762501 HAS SOUPS 1551563 WITH SCORE 1598974.198
AT ITER 663 NEW BEST:: SOT 55868454 SOS 47409730 HAS SOPS 23196217 HAS SOUS 3762071 HAS SOUPS 1551133 WITH SCORE 1598542.73
AT ITER 669 NEW BEST:: SOT 55863464 SOS 47421002 HAS SOPS 23197337 HAS SOUS 3757823 HAS SOUPS 1546885 WITH SCORE 1594306.002
AT ITER 674 NEW BEST:: SOT 55863142 SOS 47420358 HAS SOPS 23197659 HAS SOUS 3757179 HAS SOUPS 1546402 WITH SCORE 1593822.358
AT ITER 678 NEW BEST:: SOT 55861657 SOS 47420688 HAS SOPS 23196009 HAS SOUS 3756024 HAS SOUPS 1545247 WITH SCORE 1592667.688
AT ITER 684 NEW BEST:: SOT 55859516 SOS 47422946 HAS SOPS 23192381 HAS SOUS 3754586 HAS SOUPS 1543482 WITH SCORE 1590904.946
AT ITER 694 NEW BEST:: SOT 55858664 SOS 47421242 HAS SOPS 23194079 HAS SOUS 3752777 HAS SOUPS 1542240 WITH SCORE 1589661.242
AT ITER 697 NEW BEST:: SOT 55854576 SOS 47430200 HAS SOPS 23194265 HAS SOUS 3749594 HAS SOUPS 1539057 WITH SCORE 1586487.2
AT ITER 714 NEW BEST:: SOT 55853862 SOS 47427256 HAS SOPS 23195869 HAS SOUS 3748122 HAS SOUPS 1538343 WITH SCORE 1585770.256
AT ITER 730 NEW BEST:: SOT 55851688 SOS 47435232 HAS SOPS 23195313 HAS SOUS 3747746 HAS SOUPS 1537493 WITH SCORE 1584928.232
AT ITER 759 NEW BEST:: SOT 55851688 SOS 47435232 HAS SOPS 23195313 HAS SOUS 3747452 HAS SOUPS 1537199 WITH SCORE 1584634.232
AT ITER 763 NEW BEST:: SOT 55851571 SOS 47434998 HAS SOPS 23195079 HAS SOUS 3747335 HAS SOUPS 1537082 WITH SCORE 1584516.998
AT ITER 779 NEW BEST:: SOT 55845994 SOS 47438300 HAS SOPS 23190557 HAS SOUS 3743169 HAS SOUPS 1532916 WITH SCORE 1580354.3
AT ITER 784 NEW BEST:: SOT 55841974 SOS 47458052 HAS SOPS 23197889 HAS SOUS 3740718 HAS SOUPS 1530465 WITH SCORE 1577923.052
AT ITER 788 NEW BEST:: SOT 55841233 SOS 47456570 HAS SOPS 23200925 HAS SOUS 3738854 HAS SOUPS 1529354 WITH SCORE 1576810.57
AT ITER 804 NEW BEST:: SOT 55841170 SOS 47456444 HAS SOPS 23204723 HAS SOUS 3737925 HAS SOUPS 1529079 WITH SCORE 1576535.444
AT ITER 819 NEW BEST:: SOT 55841015 SOS 47456134 HAS SOPS 23204413 HAS SOUS 3737615 HAS SOUPS 1528769 WITH SCORE 1576225.134
AT ITER 820 NEW BEST:: SOT 55836548 SOS 47467478 HAS SOPS 23206409 HAS SOUS 3736052 HAS SOUPS 1527206 WITH SCORE 1574673.4780000001
AT ITER 832 NEW BEST:: SOT 55835933 SOS 47466248 HAS SOPS 23209769 HAS SOUS 3734480 HAS SOUPS 1526399 WITH SCORE 1573865.248
AT ITER 847 NEW BEST:: SOT 55831690 SOS 47483056 HAS SOPS 23214817 HAS SOUS 3731765 HAS SOUPS 1523684 WITH SCORE 1571167.056
AT ITER 890 NEW BEST:: SOT 55831307 SOS 47482290 HAS SOPS 23217147 HAS SOUS 3730917 HAS SOUPS 1523352 WITH SCORE 1570834.29
AT ITER 898 NEW BEST:: SOT 55828824 SOS 47485144 HAS SOPS 23212963 HAS SOUS 3729203 HAS SOUPS 1521247 WITH SCORE 1568732.144
AT ITER 899 NEW BEST:: SOT 55828662 SOS 47484820 HAS SOPS 23213125 HAS SOUS 3728879 HAS SOUPS 1521004 WITH SCORE 1568488.82
AT ITER 909 NEW BEST:: SOT 55827780 SOS 47483056 HAS SOPS 23214007 HAS SOUS 3727115 HAS SOUPS 1519681 WITH SCORE 1567164.056
AT ITER 911 NEW BEST:: SOT 55826934 SOS 47481364 HAS SOPS 23215909 HAS SOUS 3725294 HAS SOUPS 1518459 WITH SCORE 1565940.364
AT ITER 922 NEW BEST:: SOT 55826414 SOS 47482988 HAS SOPS 23215535 HAS SOUS 3725364 HAS SOUPS 1518418 WITH SCORE 1565900.988
AT ITER 924 NEW BEST:: SOT 55822805 SOS 47508446 HAS SOPS 23226881 HAS SOUS 3724363 HAS SOUPS 1517417 WITH SCORE 1564925.446
AT ITER 937 NEW BEST:: SOT 55815901 SOS 47524972 HAS SOPS 23229271 HAS SOUS 3719841 HAS SOUPS 1512895 WITH SCORE 1560419.972
AT ITER 950 NEW BEST:: SOT 55815901 SOS 47524972 HAS SOPS 23229271 HAS SOUS 3719475 HAS SOUPS 1512529 WITH SCORE 1560053.972
AT ITER 968 NEW BEST:: SOT 55815616 SOS 47526492 HAS SOPS 23229081 HAS SOUS 3719285 HAS SOUPS 1512244 WITH SCORE 1559770.492
AT ITER 969 NEW BEST:: SOT 55815616 SOS 47526492 HAS SOPS 23229081 HAS SOUS 3718963 HAS SOUPS 1511922 WITH SCORE 1559448.492
AT ITER 985 NEW BEST:: SOT 55810654 SOS 47537242 HAS SOPS 23229727 HAS SOUS 3714697 HAS SOUPS 1507656 WITH SCORE 1555193.242
AT ITER 991 NEW BEST:: SOT 55810654 SOS 47537242 HAS SOPS 23229727 HAS SOUS 3714475 HAS SOUPS 1507434 WITH SCORE 1554971.242
AT ITER 1050 NEW BEST:: SOT 55810534 SOS 47537002 HAS SOPS 23229487 HAS SOUS 3714355 HAS SOUPS 1507314 WITH SCORE 1554851.002
AT ITER 1083 NEW BEST:: SOT 55809672 SOS 47535278 HAS SOPS 23230775 HAS SOUS 3712578 HAS SOUPS 1506039 WITH SCORE 1553574.278
AT ITER 1089 NEW BEST:: SOT 55809672 SOS 47535278 HAS SOPS 23230775 HAS SOUS 3712316 HAS SOUPS 1505777 WITH SCORE 1553312.278
AT ITER 1092 NEW BEST:: SOT 55809672 SOS 47535278 HAS SOPS 23230775 HAS SOUS 3712200 HAS SOUPS 1505661 WITH SCORE 1553196.278
AT ITER 1098 NEW BEST:: SOT 55809270 SOS 47532766 HAS SOPS 23233387 HAS SOUS 3710944 HAS SOUPS 1505259 WITH SCORE 1552791.766
AT ITER 1099 NEW BEST:: SOT 55806430 SOS 47541734 HAS SOPS 23238899 HAS SOUS 3709363 HAS SOUPS 1504066 WITH SCORE 1551607.734
AT ITER 1118 NEW BEST:: SOT 55806354 SOS 47541582 HAS SOPS 23238747 HAS SOUS 3709287 HAS SOUPS 1503990 WITH SCORE 1551531.582
AT ITER 1130 NEW BEST:: SOT 55806354 SOS 47541582 HAS SOPS 23238747 HAS SOUS 3708921 HAS SOUPS 1503624 WITH SCORE 1551165.582
AT ITER 1135 NEW BEST:: SOT 55806254 SOS 47542662 HAS SOPS 23239827 HAS SOUS 3708143 HAS SOUPS 1502846 WITH SCORE 1550388.662
AT ITER 1139 NEW BEST:: SOT 55805924 SOS 47542002 HAS SOPS 23244183 HAS SOUS 3707052 HAS SOUPS 1502591 WITH SCORE 1550133.002
AT ITER 1144 NEW BEST:: SOT 55804929 SOS 47544862 HAS SOPS 23243461 HAS SOUS 3706329 HAS SOUPS 1501669 WITH SCORE 1549213.862
AT ITER 1170 NEW BEST:: SOT 55804397 SOS 47542870 HAS SOPS 23244253 HAS SOUS 3705419 HAS SOUPS 1501223 WITH SCORE 1548765.87
AT ITER 1191 NEW BEST:: SOT 55804397 SOS 47542870 HAS SOPS 23244253 HAS SOUS 3705115 HAS SOUPS 1500919 WITH SCORE 1548461.87
AT ITER 1211 NEW BEST:: SOT 55804536 SOS 47534572 HAS SOPS 23239171 HAS SOUS 3704985 HAS SOUPS 1500789 WITH SCORE 1548323.572
AT ITER 1214 NEW BEST:: SOT 55802350 SOS 47537200 HAS SOPS 23235499 HAS SOUS 3703527 HAS SOUPS 1498981 WITH SCORE 1546518.2
AT ITER 1222 NEW BEST:: SOT 55801908 SOS 47535592 HAS SOPS 23233891 HAS SOUS 3703085 HAS SOUPS 1498539 WITH SCORE 1546074.592
AT ITER 1225 NEW BEST:: SOT 55801466 SOS 47536034 HAS SOPS 23234333 HAS SOUS 3702641 HAS SOUPS 1498095 WITH SCORE 1545631.034
AT ITER 1227 NEW BEST:: SOT 55801466 SOS 47535962 HAS SOPS 23234261 HAS SOUS 3702641 HAS SOUPS 1498095 WITH SCORE 1545630.962
AT ITER 1237 NEW BEST:: SOT 55800688 SOS 47531070 HAS SOPS 23232705 HAS SOUS 3700610 HAS SOUPS 1496620 WITH SCORE 1544151.07
AT ITER 1249 NEW BEST:: SOT 55800256 SOS 47530206 HAS SOPS 23234763 HAS SOUS 3699713 HAS SOUPS 1496210 WITH SCORE 1543740.206
AT ITER 1252 NEW BEST:: SOT 55800162 SOS 47530018 HAS SOPS 23234011 HAS SOUS 3699619 HAS SOUPS 1496022 WITH SCORE 1543552.018
AT ITER 1262 NEW BEST:: SOT 55798613 SOS 47535240 HAS SOPS 23234241 HAS SOUS 3699487 HAS SOUPS 1495890 WITH SCORE 1543425.24
AT ITER 1271 NEW BEST:: SOT 55798258 SOS 47532836 HAS SOPS 23236919 HAS SOUS 3698616 HAS SOUPS 1495866 WITH SCORE 1543398.836
AT ITER 1275 NEW BEST:: SOT 55794363 SOS 47547496 HAS SOPS 23241187 HAS SOUS 3696055 HAS SOUPS 1493305 WITH SCORE 1540852.496
AT ITER 1289 NEW BEST:: SOT 55794041 SOS 47546852 HAS SOPS 23241509 HAS SOUS 3695411 HAS SOUPS 1492822 WITH SCORE 1540368.852
AT ITER 1308 NEW BEST:: SOT 55789115 SOS 47560086 HAS SOPS 23243667 HAS SOUS 3691688 HAS SOUPS 1489099 WITH SCORE 1536659.086
AT ITER 1311 NEW BEST:: SOT 55780676 SOS 47548059 HAS SOPS 23235768 HAS SOUS 3691697 HAS SOUPS 1489108 WITH SCORE 1536656.059
AT ITER 1317 NEW BEST:: SOT 55778980 SOS 47544033 HAS SOPS 23231742 HAS SOUS 3690635 HAS SOUPS 1488046 WITH SCORE 1535590.033
AT ITER 1318 NEW BEST:: SOT 55778350 SOS 47542773 HAS SOPS 23232372 HAS SOUS 3689375 HAS SOUPS 1487101 WITH SCORE 1534643.773
AT ITER 1321 NEW BEST:: SOT 55778011 SOS 47544581 HAS SOPS 23232146 HAS SOUS 3689149 HAS SOUPS 1486762 WITH SCORE 1534306.581
AT ITER 1324 NEW BEST:: SOT 55778011 SOS 47544581 HAS SOPS 23232146 HAS SOUS 3689019 HAS SOUPS 1486632 WITH SCORE 1534176.581
AT ITER 1326 NEW BEST:: SOT 55776254 SOS 47547767 HAS SOPS 23229302 HAS SOUS 3688308 HAS SOUPS 1485586 WITH SCORE 1533133.767
AT ITER 1327 NEW BEST:: SOT 55775426 SOS 47545697 HAS SOPS 23227232 HAS SOUS 3688308 HAS SOUPS 1485586 WITH SCORE 1533131.697
AT ITER 1328 NEW BEST:: SOT 55775426 SOS 47546067 HAS SOPS 23226492 HAS SOUS 3688123 HAS SOUPS 1485216 WITH SCORE 1532762.067
AT ITER 1334 NEW BEST:: SOT 55775110 SOS 47545037 HAS SOPS 23226656 HAS SOUS 3687690 HAS SOUPS 1484982 WITH SCORE 1532527.037
AT ITER 1335 NEW BEST:: SOT 55774545 SOS 47547523 HAS SOPS 23227786 HAS SOUS 3687238 HAS SOUPS 1484530 WITH SCORE 1532077.523
AT ITER 1348 NEW BEST:: SOT 55774545 SOS 47547313 HAS SOPS 23227576 HAS SOUS 3687237 HAS SOUPS 1484529 WITH SCORE 1532076.313
AT ITER 1360 NEW BEST:: SOT 55772283 SOS 47552305 HAS SOPS 23225980 HAS SOUS 3686084 HAS SOUPS 1483010 WITH SCORE 1530562.305
AT ITER 1379 NEW BEST:: SOT 55768963 SOS 47577021 HAS SOPS 23236788 HAS SOUS 3684999 HAS SOUPS 1481925 WITH SCORE 1529502.021
AT ITER 1381 NEW BEST:: SOT 55768665 SOS 47576085 HAS SOPS 23235852 HAS SOUS 3684701 HAS SOUPS 1481627 WITH SCORE 1529203.085
AT ITER 1384 NEW BEST:: SOT 55766369 SOS 47578973 HAS SOPS 23232008 HAS SOUS 3683155 HAS SOUPS 1479707 WITH SCORE 1527285.973
AT ITER 1397 NEW BEST:: SOT 55766109 SOS 47578453 HAS SOPS 23233936 HAS SOUS 3682487 HAS SOUPS 1479447 WITH SCORE 1527025.453
AT ITER 1399 NEW BEST:: SOT 55765795 SOS 47580751 HAS SOPS 23233840 HAS SOUS 3682391 HAS SOUPS 1479218 WITH SCORE 1526798.751
AT ITER 1435 NEW BEST:: SOT 55763725 SOS 47575423 HAS SOPS 23232076 HAS SOUS 3681389 HAS SOUPS 1478810 WITH SCORE 1526385.423
AT ITER 1444 NEW BEST:: SOT 55763379 SOS 47575409 HAS SOPS 23232062 HAS SOUS 3680983 HAS SOUPS 1478404 WITH SCORE 1525979.409
AT ITER 1461 NEW BEST:: SOT 55763379 SOS 47575409 HAS SOPS 23232062 HAS SOUS 3680751 HAS SOUPS 1478172 WITH SCORE 1525747.409
AT ITER 1466 NEW BEST:: SOT 55759021 SOS 47596271 HAS SOPS 23240012 HAS SOUS 3677523 HAS SOUPS 1474944 WITH SCORE 1522540.271
AT ITER 1470 NEW BEST:: SOT 55758742 SOS 47597759 HAS SOPS 23239826 HAS SOUS 3677337 HAS SOUPS 1474665 WITH SCORE 1522262.759
AT ITER 1472 NEW BEST:: SOT 55758759 SOS 47597793 HAS SOPS 23242542 HAS SOUS 3676473 HAS SOUPS 1474248 WITH SCORE 1521845.793
AT ITER 1473 NEW BEST:: SOT 55749353 SOS 47583602 HAS SOPS 23235522 HAS SOUS 3676419 HAS SOUPS 1474235 WITH SCORE 1521818.602
AT ITER 1484 NEW BEST:: SOT 55748847 SOS 47580244 HAS SOPS 23234738 HAS SOUS 3675484 HAS SOUPS 1473729 WITH SCORE 1521309.244
AT ITER 1492 NEW BEST:: SOT 55748678 SOS 47580110 HAS SOPS 23231352 HAS SOUS 3675278 HAS SOUPS 1472981 WITH SCORE 1520561.11
AT ITER 1509 NEW BEST:: SOT 55743397 SOS 47597590 HAS SOPS 23236280 HAS SOUS 3671065 HAS SOUPS 1468768 WITH SCORE 1516365.59
AT ITER 1531 NEW BEST:: SOT 55743397 SOS 47597590 HAS SOPS 23236280 HAS SOUS 3670699 HAS SOUPS 1468402 WITH SCORE 1515999.59
AT ITER 1533 NEW BEST:: SOT 55743375 SOS 47597546 HAS SOPS 23236302 HAS SOUS 3670655 HAS SOUPS 1468369 WITH SCORE 1515966.546
AT ITER 1535 NEW BEST:: SOT 55743375 SOS 47597546 HAS SOPS 23236302 HAS SOUS 3670383 HAS SOUPS 1468097 WITH SCORE 1515694.546
AT ITER 1538 NEW BEST:: SOT 55737767 SOS 47603232 HAS SOPS 23233276 HAS SOUS 3666363 HAS SOUPS 1464077 WITH SCORE 1511680.232
AT ITER 1547 NEW BEST:: SOT 55737767 SOS 47603232 HAS SOPS 23233276 HAS SOUS 3666351 HAS SOUPS 1464065 WITH SCORE 1511668.232
AT ITER 1588 NEW BEST:: SOT 55737593 SOS 47602884 HAS SOPS 23232928 HAS SOUS 3666262 HAS SOUPS 1463976 WITH SCORE 1511578.884
AT ITER 1602 NEW BEST:: SOT 55734636 SOS 47628261 HAS SOPS 23243041 HAS SOUS 3665726 HAS SOUPS 1463440 WITH SCORE 1511068.261
AT ITER 1608 NEW BEST:: SOT 55734636 SOS 47628261 HAS SOPS 23243041 HAS SOUS 3665640 HAS SOUPS 1463354 WITH SCORE 1510982.261
AT ITER 1614 NEW BEST:: SOT 55734635 SOS 47628257 HAS SOPS 23243043 HAS SOUS 3665639 HAS SOUPS 1463354 WITH SCORE 1510982.257
AT ITER 1620 NEW BEST:: SOT 55730343 SOS 47639547 HAS SOPS 23244925 HAS SOUS 3661883 HAS SOUPS 1459598 WITH SCORE 1507237.547
AT ITER 1632 NEW BEST:: SOT 55725362 SOS 47648687 HAS SOPS 23243925 HAS SOUS 3657647 HAS SOUPS 1455362 WITH SCORE 1503010.687
AT ITER 1634 NEW BEST:: SOT 55725362 SOS 47648687 HAS SOPS 23243925 HAS SOUS 3657281 HAS SOUPS 1454996 WITH SCORE 1502644.687
AT ITER 1645 NEW BEST:: SOT 55724824 SOS 47645635 HAS SOPS 23246801 HAS SOUS 3655755 HAS SOUPS 1454458 WITH SCORE 1502103.635
AT ITER 1655 NEW BEST:: SOT 55724181 SOS 47649387 HAS SOPS 23246431 HAS SOUS 3655319 HAS SOUPS 1453793 WITH SCORE 1501442.387
AT ITER 1679 NEW BEST:: SOT 55723329 SOS 47654677 HAS SOPS 23248313 HAS SOUS 3654860 HAS SOUPS 1453334 WITH SCORE 1500988.677
AT ITER 1690 NEW BEST:: SOT 55722406 SOS 47660031 HAS SOPS 23250967 HAS SOUS 3654162 HAS SOUPS 1452636 WITH SCORE 1500296.031
AT ITER 1691 NEW BEST:: SOT 55721472 SOS 47658861 HAS SOPS 23249797 HAS SOUS 3654161 HAS SOUPS 1452635 WITH SCORE 1500293.861
AT ITER 1730 NEW BEST:: SOT 55721326 SOS 47659889 HAS SOPS 23249745 HAS SOUS 3654109 HAS SOUPS 1452523 WITH SCORE 1500182.889
AT ITER 1731 NEW BEST:: SOT 55720121 SOS 47663969 HAS SOPS 23248515 HAS SOUS 3653359 HAS SOUPS 1451478 WITH SCORE 1499141.969
AT ITER 1734 NEW BEST:: SOT 55719918 SOS 47664143 HAS SOPS 23248167 HAS SOUS 3653243 HAS SOUPS 1451333 WITH SCORE 1498997.143
AT ITER 1736 NEW BEST:: SOT 55716669 SOS 47657725 HAS SOPS 23246878 HAS SOUS 3651857 HAS SOUPS 1450927 WITH SCORE 1498584.725
AT ITER 1737 NEW BEST:: SOT 55716566 SOS 47654663 HAS SOPS 23246930 HAS SOUS 3650821 HAS SOUPS 1450410 WITH SCORE 1498064.663
AT ITER 1740 NEW BEST:: SOT 55715897 SOS 47653325 HAS SOPS 23250038 HAS SOUS 3649166 HAS SOUPS 1449496 WITH SCORE 1497149.325
AT ITER 1756 NEW BEST:: SOT 55711914 SOS 47657005 HAS SOPS 23244916 HAS SOUS 3646920 HAS SOUPS 1446761 WITH SCORE 1494418.005
AT ITER 1764 NEW BEST:: SOT 55708678 SOS 47666521 HAS SOPS 23243272 HAS SOUS 3645039 HAS SOUPS 1444260 WITH SCORE 1491926.521
AT ITER 1778 NEW BEST:: SOT 55704490 SOS 47677391 HAS SOPS 23244686 HAS SOUS 3643888 HAS SOUPS 1443109 WITH SCORE 1490786.391
AT ITER 1786 NEW BEST:: SOT 55704385 SOS 47677181 HAS SOPS 23244476 HAS SOUS 3643783 HAS SOUPS 1443004 WITH SCORE 1490681.181
AT ITER 1809 NEW BEST:: SOT 55704385 SOS 47677181 HAS SOPS 23244476 HAS SOUS 3643417 HAS SOUPS 1442638 WITH SCORE 1490315.181
AT ITER 1833 NEW BEST:: SOT 55704385 SOS 47677181 HAS SOPS 23244476 HAS SOUS 3643317 HAS SOUPS 1442538 WITH SCORE 1490215.181
AT ITER 1838 NEW BEST:: SOT 55704148 SOS 47676707 HAS SOPS 23244002 HAS SOUS 3642843 HAS SOUPS 1442064 WITH SCORE 1489740.707
AT ITER 1841 NEW BEST:: SOT 55700879 SOS 47695139 HAS SOPS 23251106 HAS SOUS 3641617 HAS SOUPS 1440838 WITH SCORE 1488533.139
AT ITER 1847 NEW BEST:: SOT 55700879 SOS 47695139 HAS SOPS 23251106 HAS SOUS 3641537 HAS SOUPS 1440758 WITH SCORE 1488453.139
AT ITER 1855 NEW BEST:: SOT 55700879 SOS 47695139 HAS SOPS 23251106 HAS SOUS 3641171 HAS SOUPS 1440392 WITH SCORE 1488087.139
AT ITER 1859 NEW BEST:: SOT 55700367 SOS 47693491 HAS SOPS 23249458 HAS SOUS 3640659 HAS SOUPS 1439880 WITH SCORE 1487573.491
AT ITER 1879 NEW BEST:: SOT 55700367 SOS 47693491 HAS SOPS 23249458 HAS SOUS 3640567 HAS SOUPS 1439788 WITH SCORE 1487481.491
AT ITER 1900 NEW BEST:: SOT 55699745 SOS 47690829 HAS SOPS 23251050 HAS SOUS 3639236 HAS SOUPS 1439166 WITH SCORE 1486856.829
AT ITER 1914 NEW BEST:: SOT 55699745 SOS 47690829 HAS SOPS 23251050 HAS SOUS 3638870 HAS SOUPS 1438800 WITH SCORE 1486490.829
AT ITER 1924 NEW BEST:: SOT 55699677 SOS 47690693 HAS SOPS 23250914 HAS SOUS 3638802 HAS SOUPS 1438732 WITH SCORE 1486422.693
AT ITER 1945 NEW BEST:: SOT 55699389 SOS 47689253 HAS SOPS 23249474 HAS SOUS 3638369 HAS SOUPS 1438299 WITH SCORE 1485988.253
AT ITER 1951 NEW BEST:: SOT 55694279 SOS 47707091 HAS SOPS 23254592 HAS SOUS 3634792 HAS SOUPS 1434722 WITH SCORE 1482429.091
AT ITER 1956 NEW BEST:: SOT 55694099 SOS 47706551 HAS SOPS 23254592 HAS SOUS 3634522 HAS SOUPS 1434542 WITH SCORE 1482248.551
AT ITER 1994 NEW BEST:: SOT 55693731 SOS 47705815 HAS SOPS 23253856 HAS SOUS 3634113 HAS SOUPS 1434133 WITH SCORE 1481838.815
AT ITER 2018 NEW BEST:: SOT 55693159 SOS 47700525 HAS SOPS 23252712 HAS SOUS 3632850 HAS SOUPS 1433561 WITH SCORE 1481261.525
AT ITER 2041 NEW BEST:: SOT 55692417 SOS 47696461 HAS SOPS 23251228 HAS SOUS 3630905 HAS SOUPS 1432046 WITH SCORE 1479742.461
AT ITER 2064 NEW BEST:: SOT 55689625 SOS 47707615 HAS SOPS 23250142 HAS SOUS 3629521 HAS SOUPS 1429982 WITH SCORE 1477689.615
AT ITER 2080 NEW BEST:: SOT 55689241 SOS 47706847 HAS SOPS 23253118 HAS SOUS 3628366 HAS SOUPS 1429451 WITH SCORE 1477157.847
AT ITER 2083 NEW BEST:: SOT 55689022 SOS 47708015 HAS SOPS 23252972 HAS SOUS 3628220 HAS SOUPS 1429232 WITH SCORE 1476940.015
AT ITER 2103 NEW BEST:: SOT 55686847 SOS 47702621 HAS SOPS 23247578 HAS SOUS 3627089 HAS SOUPS 1428101 WITH SCORE 1475803.621
AT ITER 2139 NEW BEST:: SOT 55686716 SOS 47701803 HAS SOPS 23248428 HAS SOUS 3626765 HAS SOUPS 1428055 WITH SCORE 1475756.803
AT ITER 2143 NEW BEST:: SOT 55686463 SOS 47700809 HAS SOPS 23248898 HAS SOUS 3626469 HAS SOUPS 1428003 WITH SCORE 1475703.809
AT ITER 2147 NEW BEST:: SOT 55686463 SOS 47699807 HAS SOPS 23250902 HAS SOUS 3625968 HAS SOUPS 1428003 WITH SCORE 1475702.807
AT ITER 2154 NEW BEST:: SOT 55686296 SOS 47698621 HAS SOPS 23250568 HAS SOUS 3625611 HAS SOUPS 1427788 WITH SCORE 1475486.621
AT ITER 2155 NEW BEST:: SOT 55684700 SOS 47701029 HAS SOPS 23247936 HAS SOUS 3624953 HAS SOUPS 1426850 WITH SCORE 1474551.029
AT ITER 2159 NEW BEST:: SOT 55682764 SOS 47704977 HAS SOPS 23244846 HAS SOUS 3624170 HAS SOUPS 1425676 WITH SCORE 1473380.977
AT ITER 2168 NEW BEST:: SOT 55682516 SOS 47704481 HAS SOPS 23244350 HAS SOUS 3623922 HAS SOUPS 1425428 WITH SCORE 1473132.481
AT ITER 2172 NEW BEST:: SOT 55682516 SOS 47704481 HAS SOPS 23244350 HAS SOUS 3623556 HAS SOUPS 1425062 WITH SCORE 1472766.481
AT ITER 2176 NEW BEST:: SOT 55682272 SOS 47703871 HAS SOPS 23244106 HAS SOUS 3623434 HAS SOUPS 1425001 WITH SCORE 1472704.871
AT ITER 2180 NEW BEST:: SOT 55681768 SOS 47702863 HAS SOPS 23243098 HAS SOUS 3623182 HAS SOUPS 1424749 WITH SCORE 1472451.863
AT ITER 2189 NEW BEST:: SOT 55675920 SOS 47720883 HAS SOPS 23248782 HAS SOUS 3622140 HAS SOUPS 1423707 WITH SCORE 1471427.883
AT ITER 2190 NEW BEST:: SOT 55675920 SOS 47720883 HAS SOPS 23248782 HAS SOUS 3622120 HAS SOUPS 1423687 WITH SCORE 1471407.883
AT ITER 2216 NEW BEST:: SOT 55675884 SOS 47720847 HAS SOPS 23248638 HAS SOUS 3622102 HAS SOUPS 1423651 WITH SCORE 1471371.847
AT ITER 2226 NEW BEST:: SOT 55675190 SOS 47719459 HAS SOPS 23249806 HAS SOUS 3620655 HAS SOUPS 1422630 WITH SCORE 1470349.459
AT ITER 2230 NEW BEST:: SOT 55675040 SOS 47719159 HAS SOPS 23247670 HAS SOUS 3620606 HAS SOUPS 1422275 WITH SCORE 1469994.159
AT ITER 2244 NEW BEST:: SOT 55674520 SOS 47723223 HAS SOPS 23247558 HAS SOUS 3620230 HAS SOUPS 1421667 WITH SCORE 1469390.223
AT ITER 2248 NEW BEST:: SOT 55673789 SOS 47721761 HAS SOPS 23248550 HAS SOUS 3618768 HAS SOUPS 1420614 WITH SCORE 1468335.761
AT ITER 2262 NEW BEST:: SOT 55668165 SOS 47733953 HAS SOPS 23250710 HAS SOUS 3614686 HAS SOUPS 1416532 WITH SCORE 1464265.953
AT ITER 2297 NEW BEST:: SOT 55664735 SOS 47725385 HAS SOPS 23247266 HAS SOUS 3612969 HAS SOUPS 1415669 WITH SCORE 1463394.385
AT ITER 2298 NEW BEST:: SOT 55664345 SOS 47724199 HAS SOPS 23246080 HAS SOUS 3612579 HAS SOUPS 1415279 WITH SCORE 1463003.199
AT ITER 2305 NEW BEST:: SOT 55663889 SOS 47722585 HAS SOPS 23244466 HAS SOUS 3612123 HAS SOUPS 1414823 WITH SCORE 1462545.585
AT ITER 2316 NEW BEST:: SOT 55663889 SOS 47722585 HAS SOPS 23244466 HAS SOUS 3611961 HAS SOUPS 1414661 WITH SCORE 1462383.585
AT ITER 2318 NEW BEST:: SOT 55663707 SOS 47722221 HAS SOPS 23244648 HAS SOUS 3611597 HAS SOUPS 1414388 WITH SCORE 1462110.221
AT ITER 2327 NEW BEST:: SOT 55663506 SOS 47718855 HAS SOPS 23244414 HAS SOUS 3610953 HAS SOUPS 1414266 WITH SCORE 1461984.855
AT ITER 2348 NEW BEST:: SOT 55663506 SOS 47718855 HAS SOPS 23244414 HAS SOUS 3610795 HAS SOUPS 1414108 WITH SCORE 1461826.855
AT ITER 2362 NEW BEST:: SOT 55661802 SOS 47713455 HAS SOPS 23244990 HAS SOUS 3608587 HAS SOUPS 1412896 WITH SCORE 1460609.455
AT ITER 2371 NEW BEST:: SOT 55661338 SOS 47710799 HAS SOPS 23242334 HAS SOUS 3607835 HAS SOUPS 1412144 WITH SCORE 1459854.799
AT ITER 2397 NEW BEST:: SOT 55661338 SOS 47710799 HAS SOPS 23242334 HAS SOUS 3607469 HAS SOUPS 1411778 WITH SCORE 1459488.799
AT ITER 2437 NEW BEST:: SOT 55661338 SOS 47710671 HAS SOPS 23242206 HAS SOUS 3607469 HAS SOUPS 1411778 WITH SCORE 1459488.671
AT ITER 2466 NEW BEST:: SOT 55661338 SOS 47710671 HAS SOPS 23242206 HAS SOUS 3607103 HAS SOUPS 1411412 WITH SCORE 1459122.671
AT ITER 2492 NEW BEST:: SOT 55660518 SOS 47706571 HAS SOPS 23240566 HAS SOUS 3605462 HAS SOUPS 1410181 WITH SCORE 1457887.571
AT ITER 2503 NEW BEST:: SOT 55660518 SOS 47704417 HAS SOPS 23241052 HAS SOUS 3605022 HAS SOUPS 1410181 WITH SCORE 1457885.417
AT ITER 2506 NEW BEST:: SOT 55660518 SOS 47704417 HAS SOPS 23241052 HAS SOUS 3604866 HAS SOUPS 1410025 WITH SCORE 1457729.417
AT ITER 2523 NEW BEST:: SOT 55660518 SOS 47704223 HAS SOPS 23240858 HAS SOUS 3604866 HAS SOUPS 1410025 WITH SCORE 1457729.223
AT ITER 2536 NEW BEST:: SOT 55659293 SOS 47705623 HAS SOPS 23239108 HAS SOUS 3604166 HAS SOUPS 1409150 WITH SCORE 1456855.623
AT ITER 2544 NEW BEST:: SOT 55655536 SOS 47710519 HAS SOPS 23236792 HAS SOUS 3600850 HAS SOUPS 1405834 WITH SCORE 1453544.519
AT ITER 2548 NEW BEST:: SOT 55654755 SOS 47708957 HAS SOPS 23239838 HAS SOUS 3598911 HAS SOUPS 1404663 WITH SCORE 1452371.957
AT ITER 2552 NEW BEST:: SOT 55650973 SOS 47717743 HAS SOPS 23241352 HAS SOUS 3596111 HAS SOUPS 1401863 WITH SCORE 1449580.743
AT ITER 2573 NEW BEST:: SOT 55650973 SOS 47717743 HAS SOPS 23241352 HAS SOUS 3596039 HAS SOUPS 1401791 WITH SCORE 1449508.743
AT ITER 2577 NEW BEST:: SOT 55650973 SOS 47717743 HAS SOPS 23241352 HAS SOUS 3595673 HAS SOUPS 1401425 WITH SCORE 1449142.743
AT ITER 2580 NEW BEST:: SOT 55646912 SOS 47734701 HAS SOPS 23247150 HAS SOUS 3593233 HAS SOUPS 1398985 WITH SCORE 1446719.701
AT ITER 2591 NEW BEST:: SOT 55644989 SOS 47739819 HAS SOPS 23244546 HAS SOUS 3592615 HAS SOUPS 1397938 WITH SCORE 1445677.819
AT ITER 2598 NEW BEST:: SOT 55645013 SOS 47739855 HAS SOPS 23244582 HAS SOUS 3592603 HAS SOUPS 1397926 WITH SCORE 1445665.855
AT ITER 2623 NEW BEST:: SOT 55644755 SOS 47739339 HAS SOPS 23246634 HAS SOUS 3591489 HAS SOUPS 1397240 WITH SCORE 1444979.339
AT ITER 2627 NEW BEST:: SOT 55644617 SOS 47739063 HAS SOPS 23251032 HAS SOUS 3590669 HAS SOUPS 1397199 WITH SCORE 1444938.063
AT ITER 2631 NEW BEST:: SOT 55644617 SOS 47736729 HAS SOPS 23248698 HAS SOUS 3590668 HAS SOUPS 1397198 WITH SCORE 1444934.729
AT ITER 2633 NEW BEST:: SOT 55644443 SOS 47737657 HAS SOPS 23248582 HAS SOUS 3590552 HAS SOUPS 1397024 WITH SCORE 1444761.657
AT ITER 2643 NEW BEST:: SOT 55644443 SOS 47737657 HAS SOPS 23248582 HAS SOUS 3590186 HAS SOUPS 1396658 WITH SCORE 1444395.657
AT ITER 2654 NEW BEST:: SOT 55644443 SOS 47737657 HAS SOPS 23248582 HAS SOUS 3589820 HAS SOUPS 1396292 WITH SCORE 1444029.657
AT ITER 2672 NEW BEST:: SOT 55639824 SOS 47751623 HAS SOPS 23252420 HAS SOUS 3586711 HAS SOUPS 1393183 WITH SCORE 1440934.623
AT ITER 2680 NEW BEST:: SOT 55637578 SOS 47755891 HAS SOPS 23248804 HAS SOUS 3585467 HAS SOUPS 1391501 WITH SCORE 1439256.891
AT ITER 2683 NEW BEST:: SOT 55637213 SOS 47763129 HAS SOPS 23253054 HAS SOUS 3585438 HAS SOUPS 1391472 WITH SCORE 1439235.129
AT ITER 2692 NEW BEST:: SOT 55637130 SOS 47762963 HAS SOPS 23253416 HAS SOUS 3585267 HAS SOUPS 1391389 WITH SCORE 1439151.963
AT ITER 2723 NEW BEST:: SOT 55633877 SOS 47772905 HAS SOPS 23254634 HAS SOUS 3582877 HAS SOUPS 1388999 WITH SCORE 1436771.905
AT ITER 2746 NEW BEST:: SOT 55633877 SOS 47772905 HAS SOPS 23254634 HAS SOUS 3582757 HAS SOUPS 1388879 WITH SCORE 1436651.905
AT ITER 2760 NEW BEST:: SOT 55633458 SOS 47772067 HAS SOPS 23253796 HAS SOUS 3581919 HAS SOUPS 1388041 WITH SCORE 1435813.067
AT ITER 2761 NEW BEST:: SOT 55633409 SOS 47771871 HAS SOPS 23253894 HAS SOUS 3581870 HAS SOUPS 1388041 WITH SCORE 1435812.871
AT ITER 2771 NEW BEST:: SOT 55633409 SOS 47771871 HAS SOPS 23253894 HAS SOUS 3581504 HAS SOUPS 1387675 WITH SCORE 1435446.871
AT ITER 2773 NEW BEST:: SOT 55629153 SOS 47783463 HAS SOPS 23256138 HAS SOUS 3578730 HAS SOUPS 1384901 WITH SCORE 1432684.463
AT ITER 2833 NEW BEST:: SOT 55629232 SOS 47783855 HAS SOPS 23256530 HAS SOUS 3578193 HAS SOUPS 1384364 WITH SCORE 1432147.855
AT ITER 2841 NEW BEST:: SOT 55629232 SOS 47783855 HAS SOPS 23256530 HAS SOUS 3578049 HAS SOUPS 1384220 WITH SCORE 1432003.855
AT ITER 2857 NEW BEST:: SOT 55625563 SOS 47800651 HAS SOPS 23262082 HAS SOUS 3576323 HAS SOUPS 1382494 WITH SCORE 1430294.651
AT ITER 2862 NEW BEST:: SOT 55625563 SOS 47800651 HAS SOPS 23262082 HAS SOUS 3575957 HAS SOUPS 1382128 WITH SCORE 1429928.651
AT ITER 2953 NEW BEST:: SOT 55625778 SOS 47801483 HAS SOPS 23261708 HAS SOUS 3576108 HAS SOUPS 1382078 WITH SCORE 1429879.483
AT ITER 2962 NEW BEST:: SOT 55622384 SOS 47823507 HAS SOPS 23264562 HAS SOUS 3574555 HAS SOUPS 1379460 WITH SCORE 1427283.507
AT ITER 2964 NEW BEST:: SOT 55620636 SOS 47822929 HAS SOPS 23263984 HAS SOUS 3574399 HAS SOUPS 1379304 WITH SCORE 1427126.929
AT ITER 2969 NEW BEST:: SOT 55619341 SOS 47828135 HAS SOPS 23266082 HAS SOUS 3573363 HAS SOUPS 1378268 WITH SCORE 1426096.135
AT ITER 2986 NEW BEST:: SOT 55619433 SOS 47826629 HAS SOPS 23265746 HAS SOUS 3573260 HAS SOUPS 1378230 WITH SCORE 1426056.629
AT ITER 2995 NEW BEST:: SOT 55618883 SOS 47825529 HAS SOPS 23269284 HAS SOUS 3571742 HAS SOUPS 1377485 WITH SCORE 1425310.529
AT ITER 3036 NEW BEST:: SOT 55616541 SOS 47830543 HAS SOPS 23267584 HAS SOUS 3571356 HAS SOUPS 1376726 WITH SCORE 1424556.543
AT ITER 3039 NEW BEST:: SOT 55613725 SOS 47823049 HAS SOPS 23265676 HAS SOUS 3568878 HAS SOUPS 1375179 WITH SCORE 1423002.049
AT ITER 3057 NEW BEST:: SOT 55613717 SOS 47823033 HAS SOPS 23269926 HAS SOUS 3567892 HAS SOUPS 1374904 WITH SCORE 1422727.033
AT ITER 3069 NEW BEST:: SOT 55613203 SOS 47822005 HAS SOPS 23268898 HAS SOUS 3567278 HAS SOUPS 1374290 WITH SCORE 1422112.005
AT ITER 3098 NEW BEST:: SOT 55613203 SOS 47822005 HAS SOPS 23268898 HAS SOUS 3567256 HAS SOUPS 1374268 WITH SCORE 1422090.005
AT ITER 3108 NEW BEST:: SOT 55611490 SOS 47629076 HAS SOPS 23279891 HAS SOUS 3565653 HAS SOUPS 1371784 WITH SCORE 1419413.076
AT ITER 3118 NEW BEST:: SOT 55611490 SOS 47629076 HAS SOPS 23279891 HAS SOUS 3565621 HAS SOUPS 1371752 WITH SCORE 1419381.076
AT ITER 3128 NEW BEST:: SOT 55600311 SOS 47611037 HAS SOPS 23272592 HAS SOUS 3564342 HAS SOUPS 1371368 WITH SCORE 1418979.037
AT ITER 3139 NEW BEST:: SOT 55600311 SOS 47611037 HAS SOPS 23272592 HAS SOUS 3564262 HAS SOUPS 1371288 WITH SCORE 1418899.037
AT ITER 3147 NEW BEST:: SOT 55600311 SOS 47611037 HAS SOPS 23272592 HAS SOUS 3563896 HAS SOUPS 1370922 WITH SCORE 1418533.037
AT ITER 3156 NEW BEST:: SOT 55600007 SOS 47610429 HAS SOPS 23273808 HAS SOUS 3563288 HAS SOUPS 1370618 WITH SCORE 1418228.429
AT ITER 3162 NEW BEST:: SOT 55599540 SOS 47609495 HAS SOPS 23272874 HAS SOUS 3562644 HAS SOUPS 1369974 WITH SCORE 1417583.495
AT ITER 3167 NEW BEST:: SOT 55599540 SOS 47609495 HAS SOPS 23272874 HAS SOUS 3562278 HAS SOUPS 1369608 WITH SCORE 1417217.495
AT ITER 3185 NEW BEST:: SOT 55599540 SOS 47609495 HAS SOPS 23272874 HAS SOUS 3561912 HAS SOUPS 1369242 WITH SCORE 1416851.495
AT ITER 3191 NEW BEST:: SOT 55597515 SOS 47646765 HAS SOPS 23288472 HAS SOUS 3561420 HAS SOUPS 1367546 WITH SCORE 1415192.765
AT ITER 3198 NEW BEST:: SOT 55597253 SOS 47644669 HAS SOPS 23287948 HAS SOUS 3560896 HAS SOUPS 1367284 WITH SCORE 1414928.669
AT ITER 3219 NEW BEST:: SOT 55597121 SOS 47643591 HAS SOPS 23286870 HAS SOUS 3560799 HAS SOUPS 1367187 WITH SCORE 1414830.591
AT ITER 3220 NEW BEST:: SOT 55597121 SOS 47643591 HAS SOPS 23286870 HAS SOUS 3560433 HAS SOUPS 1366821 WITH SCORE 1414464.591
AT ITER 3251 NEW BEST:: SOT 55597121 SOS 47643591 HAS SOPS 23286870 HAS SOUS 3560077 HAS SOUPS 1366465 WITH SCORE 1414108.591
AT ITER 3252 NEW BEST:: SOT 55597018 SOS 47645731 HAS SOPS 23286664 HAS SOUS 3559897 HAS SOUPS 1365894 WITH SCORE 1413539.731
AT ITER 3262 NEW BEST:: SOT 55597018 SOS 47645731 HAS SOPS 23286664 HAS SOUS 3559793 HAS SOUPS 1365790 WITH SCORE 1413435.731
AT ITER 3297 NEW BEST:: SOT 55596637 SOS 47644969 HAS SOPS 23285902 HAS SOUS 3559412 HAS SOUPS 1365409 WITH SCORE 1413053.969
AT ITER 3299 NEW BEST:: SOT 55596456 SOS 47645150 HAS SOPS 23286083 HAS SOUS 3559410 HAS SOUPS 1365407 WITH SCORE 1413052.15
AT ITER 3303 NEW BEST:: SOT 55596456 SOS 47644176 HAS SOPS 23288031 HAS SOUS 3558923 HAS SOUPS 1365407 WITH SCORE 1413051.176
AT ITER 3305 NEW BEST:: SOT 55596407 SOS 47642902 HAS SOPS 23290285 HAS SOUS 3558286 HAS SOUPS 1365358 WITH SCORE 1413000.902
AT ITER 3306 NEW BEST:: SOT 55592074 SOS 47632378 HAS SOPS 23285455 HAS SOUS 3552507 HAS SOUPS 1360528 WITH SCORE 1408160.378
AT ITER 3321 NEW BEST:: SOT 55588878 SOS 47645014 HAS SOPS 23288719 HAS SOUS 3550179 HAS SOUPS 1358200 WITH SCORE 1405845.014
AT ITER 3334 NEW BEST:: SOT 55577808 SOS 47628170 HAS SOPS 23280511 HAS SOUS 3549517 HAS SOUPS 1357756 WITH SCORE 1405384.17
AT ITER 3338 NEW BEST:: SOT 55577808 SOS 47628170 HAS SOPS 23280511 HAS SOUS 3549225 HAS SOUPS 1357464 WITH SCORE 1405092.17
AT ITER 3351 NEW BEST:: SOT 55577808 SOS 47628170 HAS SOPS 23280511 HAS SOUS 3548933 HAS SOUPS 1357172 WITH SCORE 1404800.17
AT ITER 3352 NEW BEST:: SOT 55577339 SOS 47627232 HAS SOPS 23282519 HAS SOUS 3547514 HAS SOUPS 1356244 WITH SCORE 1403871.232
AT ITER 3356 NEW BEST:: SOT 55577339 SOS 47626654 HAS SOPS 23283675 HAS SOUS 3547225 HAS SOUPS 1356244 WITH SCORE 1403870.654
AT ITER 3365 NEW BEST:: SOT 55576194 SOS 47630318 HAS SOPS 23283217 HAS SOUS 3546538 HAS SOUPS 1355328 WITH SCORE 1402958.318
AT ITER 3370 NEW BEST:: SOT 55576022 SOS 47629142 HAS SOPS 23282041 HAS SOUS 3546366 HAS SOUPS 1355156 WITH SCORE 1402785.142
AT ITER 3378 NEW BEST:: SOT 55575956 SOS 47628966 HAS SOPS 23281997 HAS SOUS 3546344 HAS SOUPS 1355156 WITH SCORE 1402784.966
AT ITER 3394 NEW BEST:: SOT 55561568 SOS 47606610 HAS SOPS 23272577 HAS SOUS 3545815 HAS SOUPS 1355160 WITH SCORE 1402766.61
AT ITER 3399 NEW BEST:: SOT 55561568 SOS 47606610 HAS SOPS 23272577 HAS SOUS 3545449 HAS SOUPS 1354794 WITH SCORE 1402400.61
AT ITER 3434 NEW BEST:: SOT 55561501 SOS 47606476 HAS SOPS 23272443 HAS SOUS 3545382 HAS SOUPS 1354727 WITH SCORE 1402333.476
AT ITER 3447 NEW BEST:: SOT 55560430 SOS 47609814 HAS SOPS 23272493 HAS SOUS 3544748 HAS SOUPS 1354093 WITH SCORE 1401702.814
AT ITER 3460 NEW BEST:: SOT 55560430 SOS 47609794 HAS SOPS 23272533 HAS SOUS 3544738 HAS SOUPS 1354093 WITH SCORE 1401702.794
AT ITER 3461 NEW BEST:: SOT 55560430 SOS 47609794 HAS SOPS 23272533 HAS SOUS 3544378 HAS SOUPS 1353733 WITH SCORE 1401342.794
AT ITER 3474 NEW BEST:: SOT 55560404 SOS 47609742 HAS SOPS 23272481 HAS SOUS 3544351 HAS SOUPS 1353706 WITH SCORE 1401315.742
AT ITER 3495 NEW BEST:: SOT 55560404 SOS 47609742 HAS SOPS 23272481 HAS SOUS 3543985 HAS SOUPS 1353340 WITH SCORE 1400949.742
AT ITER 3510 NEW BEST:: SOT 55560393 SOS 47609720 HAS SOPS 23272459 HAS SOUS 3543963 HAS SOUPS 1353318 WITH SCORE 1400927.72
AT ITER 3513 NEW BEST:: SOT 55560008 SOS 47607120 HAS SOPS 23271689 HAS SOUS 3543192 HAS SOUPS 1352852 WITH SCORE 1400459.12
AT ITER 3514 NEW BEST:: SOT 55560008 SOS 47607120 HAS SOPS 23271689 HAS SOUS 3542826 HAS SOUPS 1352486 WITH SCORE 1400093.12
AT ITER 3521 NEW BEST:: SOT 55558819 SOS 47604622 HAS SOPS 23269191 HAS SOUS 3541638 HAS SOUPS 1351298 WITH SCORE 1398902.622
AT ITER 3550 NEW BEST:: SOT 55558691 SOS 47604366 HAS SOPS 23268935 HAS SOUS 3541382 HAS SOUPS 1351042 WITH SCORE 1398646.366
AT ITER 3552 NEW BEST:: SOT 55558691 SOS 47604366 HAS SOPS 23268935 HAS SOUS 3541294 HAS SOUPS 1350954 WITH SCORE 1398558.366
AT ITER 3554 NEW BEST:: SOT 55558691 SOS 47604366 HAS SOPS 23268935 HAS SOUS 3541176 HAS SOUPS 1350836 WITH SCORE 1398440.366
AT ITER 3563 NEW BEST:: SOT 55556736 SOS 47607796 HAS SOPS 23265759 HAS SOUS 3541332 HAS SOUPS 1350625 WITH SCORE 1398232.796
AT ITER 3566 NEW BEST:: SOT 55554240 SOS 47620814 HAS SOPS 23270653 HAS SOUS 3540080 HAS SOUPS 1349373 WITH SCORE 1396993.814
AT ITER 3573 NEW BEST:: SOT 55553879 SOS 47620092 HAS SOPS 23273075 HAS SOUS 3538696 HAS SOUPS 1348513 WITH SCORE 1396133.092
AT ITER 3588 NEW BEST:: SOT 55553879 SOS 47620092 HAS SOPS 23273075 HAS SOUS 3538330 HAS SOUPS 1348147 WITH SCORE 1395767.092
AT ITER 3589 NEW BEST:: SOT 55548056 SOS 47638000 HAS SOPS 23278719 HAS SOUS 3536348 HAS SOUPS 1346165 WITH SCORE 1393803.0
AT ITER 3618 NEW BEST:: SOT 55542594 SOS 47642666 HAS SOPS 23274805 HAS SOUS 3533342 HAS SOUPS 1343159 WITH SCORE 1390801.666
AT ITER 3622 NEW BEST:: SOT 55537554 SOS 47655706 HAS SOPS 23276673 HAS SOUS 3529243 HAS SOUPS 1339060 WITH SCORE 1386715.706
AT ITER 3637 NEW BEST:: SOT 55537467 SOS 47654416 HAS SOPS 23275383 HAS SOUS 3529228 HAS SOUPS 1339045 WITH SCORE 1386699.416
AT ITER 3640 NEW BEST:: SOT 55536943 SOS 47660312 HAS SOPS 23278675 HAS SOUS 3528921 HAS SOUPS 1338738 WITH SCORE 1386398.312
AT ITER 3653 NEW BEST:: SOT 55531795 SOS 47672390 HAS SOPS 23279017 HAS SOUS 3525112 HAS SOUPS 1334929 WITH SCORE 1382601.39
AT ITER 3705 NEW BEST:: SOT 55531795 SOS 47672390 HAS SOPS 23279017 HAS SOUS 3525104 HAS SOUPS 1334921 WITH SCORE 1382593.39
AT ITER 3706 NEW BEST:: SOT 55531607 SOS 47672014 HAS SOPS 23277021 HAS SOUS 3525089 HAS SOUPS 1334636 WITH SCORE 1382308.014
AT ITER 3746 NEW BEST:: SOT 55531607 SOS 47672014 HAS SOPS 23277021 HAS SOUS 3525053 HAS SOUPS 1334600 WITH SCORE 1382272.014
AT ITER 3748 NEW BEST:: SOT 55530231 SOS 47681442 HAS SOPS 23278079 HAS SOUS 3525218 HAS SOUPS 1334300 WITH SCORE 1381981.442
AT ITER 3752 NEW BEST:: SOT 55530433 SOS 47681846 HAS SOPS 23278483 HAS SOUS 3525171 HAS SOUPS 1334253 WITH SCORE 1381934.846
AT ITER 3753 NEW BEST:: SOT 55530433 SOS 47681846 HAS SOPS 23278483 HAS SOUS 3525059 HAS SOUPS 1334141 WITH SCORE 1381822.846
AT ITER 3754 NEW BEST:: SOT 55529967 SOS 47688370 HAS SOPS 23282211 HAS SOUS 3524826 HAS SOUPS 1333908 WITH SCORE 1381596.37
AT ITER 3768 NEW BEST:: SOT 55529341 SOS 47686492 HAS SOPS 23280333 HAS SOUS 3524200 HAS SOUPS 1333282 WITH SCORE 1380968.492
AT ITER 3775 NEW BEST:: SOT 55529341 SOS 47686474 HAS SOPS 23280315 HAS SOUS 3524200 HAS SOUPS 1333282 WITH SCORE 1380968.474
AT ITER 3780 NEW BEST:: SOT 55529205 SOS 47690522 HAS SOPS 23284363 HAS SOUS 3524064 HAS SOUPS 1333146 WITH SCORE 1380836.522
AT ITER 3783 NEW BEST:: SOT 55528775 SOS 47689662 HAS SOPS 23281613 HAS SOUS 3523455 HAS SOUPS 1332222 WITH SCORE 1379911.662
AT ITER 3793 NEW BEST:: SOT 55524248 SOS 47692872 HAS SOPS 23277695 HAS SOUS 3520999 HAS SOUPS 1329766 WITH SCORE 1377458.872
AT ITER 3807 NEW BEST:: SOT 55522708 SOS 47689022 HAS SOPS 23276155 HAS SOUS 3520229 HAS SOUPS 1329381 WITH SCORE 1377070.022
AT ITER 3809 NEW BEST:: SOT 55522668 SOS 47688942 HAS SOPS 23276075 HAS SOUS 3520209 HAS SOUPS 1329361 WITH SCORE 1377049.942
AT ITER 3816 NEW BEST:: SOT 55521924 SOS 47688198 HAS SOPS 23275331 HAS SOUS 3520023 HAS SOUPS 1329175 WITH SCORE 1376863.198
AT ITER 3820 NEW BEST:: SOT 55521924 SOS 47688198 HAS SOPS 23275331 HAS SOUS 3519889 HAS SOUPS 1329041 WITH SCORE 1376729.198
AT ITER 3833 NEW BEST:: SOT 55517048 SOS 47699466 HAS SOPS 23276471 HAS SOUS 3518336 HAS SOUPS 1327488 WITH SCORE 1375187.466
AT ITER 3837 NEW BEST:: SOT 55500841 SOS 47674029 HAS SOPS 23266130 HAS SOUS 3516723 HAS SOUPS 1327061 WITH SCORE 1374735.029
AT ITER 3840 NEW BEST:: SOT 55500960 SOS 47670459 HAS SOPS 23263988 HAS SOUS 3516723 HAS SOUPS 1327061 WITH SCORE 1374731.459
AT ITER 3851 NEW BEST:: SOT 55500692 SOS 47669381 HAS SOPS 23262910 HAS SOUS 3516455 HAS SOUPS 1326793 WITH SCORE 1374462.381
AT ITER 3854 NEW BEST:: SOT 55497154 SOS 47662305 HAS SOPS 23255834 HAS SOUS 3514375 HAS SOUPS 1324713 WITH SCORE 1372375.305
AT ITER 3877 NEW BEST:: SOT 55497154 SOS 47662305 HAS SOPS 23255834 HAS SOUS 3514009 HAS SOUPS 1324347 WITH SCORE 1372009.305
AT ITER 3895 NEW BEST:: SOT 55496903 SOS 47661803 HAS SOPS 23255332 HAS SOUS 3513553 HAS SOUPS 1323891 WITH SCORE 1371552.803
AT ITER 3901 NEW BEST:: SOT 55494031 SOS 47654919 HAS SOPS 23251868 HAS SOUS 3511704 HAS SOUPS 1322612 WITH SCORE 1370266.919
AT ITER 3906 NEW BEST:: SOT 55494031 SOS 47654919 HAS SOPS 23251868 HAS SOUS 3511338 HAS SOUPS 1322246 WITH SCORE 1369900.919
AT ITER 3907 NEW BEST:: SOT 55492888 SOS 47660193 HAS SOPS 23250338 HAS SOUS 3511384 HAS SOUPS 1321914 WITH SCORE 1369574.193
AT ITER 3932 NEW BEST:: SOT 55492888 SOS 47660193 HAS SOPS 23250338 HAS SOUS 3511018 HAS SOUPS 1321548 WITH SCORE 1369208.193
AT ITER 3945 NEW BEST:: SOT 55492848 SOS 47659109 HAS SOPS 23252266 HAS SOUS 3510476 HAS SOUPS 1321508 WITH SCORE 1369167.109
AT ITER 3951 NEW BEST:: SOT 55492592 SOS 47660097 HAS SOPS 23253254 HAS SOUS 3510470 HAS SOUPS 1321502 WITH SCORE 1369162.097
AT ITER 3957 NEW BEST:: SOT 55490704 SOS 47651797 HAS SOPS 23251254 HAS SOUS 3506918 HAS SOUPS 1319000 WITH SCORE 1366651.797
AT ITER 3977 NEW BEST:: SOT 55490704 SOS 47651797 HAS SOPS 23251254 HAS SOUS 3506580 HAS SOUPS 1318662 WITH SCORE 1366313.797
AT ITER 3987 NEW BEST:: SOT 55490432 SOS 47650459 HAS SOPS 23252298 HAS SOUS 3505911 HAS SOUPS 1318390 WITH SCORE 1366040.459
AT ITER 3996 NEW BEST:: SOT 55487689 SOS 47643889 HAS SOPS 23248980 HAS SOUS 3503835 HAS SOUPS 1316856 WITH SCORE 1364499.889
AT ITER 4005 NEW BEST:: SOT 55487689 SOS 47643889 HAS SOPS 23248980 HAS SOUS 3503735 HAS SOUPS 1316756 WITH SCORE 1364399.889
AT ITER 4037 NEW BEST:: SOT 55487689 SOS 47643889 HAS SOPS 23248980 HAS SOUS 3503683 HAS SOUPS 1316704 WITH SCORE 1364347.889
AT ITER 4045 NEW BEST:: SOT 55487094 SOS 47644399 HAS SOPS 23247960 HAS SOUS 3503428 HAS SOUPS 1316364 WITH SCORE 1364008.399
AT ITER 4062 NEW BEST:: SOT 55486678 SOS 47643567 HAS SOPS 23249414 HAS SOUS 3502596 HAS SOUPS 1315913 WITH SCORE 1363556.567
AT ITER 4093 NEW BEST:: SOT 55486678 SOS 47643567 HAS SOPS 23249414 HAS SOUS 3502386 HAS SOUPS 1315703 WITH SCORE 1363346.567
AT ITER 4153 NEW BEST:: SOT 55486678 SOS 47642019 HAS SOPS 23249414 HAS SOUS 3501869 HAS SOUPS 1315444 WITH SCORE 1363086.019
AT ITER 4159 NEW BEST:: SOT 55485648 SOS 47639315 HAS SOPS 23246710 HAS SOUS 3501805 HAS SOUPS 1315380 WITH SCORE 1363019.315
AT ITER 4160 NEW BEST:: SOT 55485427 SOS 47638873 HAS SOPS 23246268 HAS SOUS 3501584 HAS SOUPS 1315159 WITH SCORE 1362797.873
AT ITER 4174 NEW BEST:: SOT 55484095 SOS 47636209 HAS SOPS 23243604 HAS SOUS 3499779 HAS SOUPS 1313354 WITH SCORE 1360990.209
AT ITER 4179 NEW BEST:: SOT 55484095 SOS 47636209 HAS SOPS 23243604 HAS SOUS 3499635 HAS SOUPS 1313210 WITH SCORE 1360846.209
AT ITER 4187 NEW BEST:: SOT 55484095 SOS 47634811 HAS SOPS 23243604 HAS SOUS 3499402 HAS SOUPS 1313210 WITH SCORE 1360844.811
AT ITER 4197 NEW BEST:: SOT 55480140 SOS 47657413 HAS SOPS 23246370 HAS SOUS 3498469 HAS SOUPS 1311175 WITH SCORE 1358832.413
AT ITER 4217 NEW BEST:: SOT 55479712 SOS 47655518 HAS SOPS 23243990 HAS SOUS 3496817 HAS SOUPS 1309523 WITH SCORE 1357178.518
AT ITER 4221 NEW BEST:: SOT 55479614 SOS 47655322 HAS SOPS 23243794 HAS SOUS 3496719 HAS SOUPS 1309425 WITH SCORE 1357080.322
AT ITER 4227 NEW BEST:: SOT 55477253 SOS 47670930 HAS SOPS 23250246 HAS SOUS 3495137 HAS SOUPS 1307843 WITH SCORE 1355513.93
AT ITER 4229 NEW BEST:: SOT 55477201 SOS 47670826 HAS SOPS 23250142 HAS SOUS 3495124 HAS SOUPS 1307830 WITH SCORE 1355500.826
AT ITER 4234 NEW BEST:: SOT 55477335 SOS 47674372 HAS SOPS 23251276 HAS SOUS 3495179 HAS SOUPS 1307751 WITH SCORE 1355425.372
AT ITER 4244 NEW BEST:: SOT 55476997 SOS 47672682 HAS SOPS 23250600 HAS SOUS 3494503 HAS SOUPS 1307244 WITH SCORE 1354916.682
AT ITER 4253 NEW BEST:: SOT 55476960 SOS 47668768 HAS SOPS 23251726 HAS SOUS 3493085 HAS SOUPS 1306666 WITH SCORE 1354334.768
AT ITER 4256 NEW BEST:: SOT 55476578 SOS 47668004 HAS SOPS 23254016 HAS SOUS 3491685 HAS SOUPS 1305775 WITH SCORE 1353443.004
AT ITER 4273 NEW BEST:: SOT 55475641 SOS 47664996 HAS SOPS 23254410 HAS SOUS 3491045 HAS SOUPS 1305702 WITH SCORE 1353366.996
AT ITER 4274 NEW BEST:: SOT 55475641 SOS 47664914 HAS SOPS 23254328 HAS SOUS 3491045 HAS SOUPS 1305702 WITH SCORE 1353366.914
AT ITER 4284 NEW BEST:: SOT 55473753 SOS 47662562 HAS SOPS 23251976 HAS SOUS 3490224 HAS SOUPS 1304881 WITH SCORE 1352543.562
AT ITER 4288 NEW BEST:: SOT 55473547 SOS 47662150 HAS SOPS 23252182 HAS SOUS 3489812 HAS SOUPS 1304572 WITH SCORE 1352234.15
AT ITER 4305 NEW BEST:: SOT 55473547 SOS 47662150 HAS SOPS 23252182 HAS SOUS 3489446 HAS SOUPS 1304206 WITH SCORE 1351868.15
AT ITER 4311 NEW BEST:: SOT 55470152 SOS 47676486 HAS SOPS 23256546 HAS SOUS 3487675 HAS SOUPS 1302435 WITH SCORE 1350111.486
AT ITER 4347 NEW BEST:: SOT 55467006 SOS 47700496 HAS SOPS 23267440 HAS SOUS 3486232 HAS SOUPS 1300992 WITH SCORE 1348692.496
AT ITER 4359 NEW BEST:: SOT 55466900 SOS 47700284 HAS SOPS 23268080 HAS SOUS 3485984 HAS SOUPS 1300886 WITH SCORE 1348586.284
AT ITER 4364 NEW BEST:: SOT 55463025 SOS 47717932 HAS SOPS 23273992 HAS SOUS 3483947 HAS SOUPS 1298849 WITH SCORE 1346566.932
AT ITER 4382 NEW BEST:: SOT 55460752 SOS 47727128 HAS SOPS 23275904 HAS SOUS 3482559 HAS SOUPS 1297461 WITH SCORE 1345188.128
AT ITER 4413 NEW BEST:: SOT 55460752 SOS 47727128 HAS SOPS 23275904 HAS SOUS 3482223 HAS SOUPS 1297125 WITH SCORE 1344852.128
AT ITER 4419 NEW BEST:: SOT 55458277 SOS 47737178 HAS SOPS 23277566 HAS SOUS 3480315 HAS SOUPS 1295217 WITH SCORE 1342954.178
AT ITER 4420 NEW BEST:: SOT 55457422 SOS 47735468 HAS SOPS 23280506 HAS SOUS 3478258 HAS SOUPS 1293935 WITH SCORE 1341670.468
AT ITER 4428 NEW BEST:: SOT 55456645 SOS 47742282 HAS SOPS 23284224 HAS SOUS 3477767 HAS SOUPS 1293444 WITH SCORE 1341186.282
AT ITER 4444 NEW BEST:: SOT 55455966 SOS 47740924 HAS SOPS 23286172 HAS SOUS 3476400 HAS SOUPS 1292628 WITH SCORE 1340368.924
AT ITER 4467 NEW BEST:: SOT 55453966 SOS 47735804 HAS SOPS 23284412 HAS SOUS 3475574 HAS SOUPS 1292362 WITH SCORE 1340097.804
AT ITER 4475 NEW BEST:: SOT 55453966 SOS 47735804 HAS SOPS 23284412 HAS SOUS 3475208 HAS SOUPS 1291996 WITH SCORE 1339731.804
AT ITER 4512 NEW BEST:: SOT 55453966 SOS 47735804 HAS SOPS 23284412 HAS SOUS 3474842 HAS SOUPS 1291630 WITH SCORE 1339365.804
AT ITER 4515 NEW BEST:: SOT 55453827 SOS 47735526 HAS SOPS 23283300 HAS SOUS 3474842 HAS SOUPS 1291491 WITH SCORE 1339226.526
AT ITER 4516 NEW BEST:: SOT 55452104 SOS 47730718 HAS SOPS 23282578 HAS SOUS 3474131 HAS SOUPS 1291461 WITH SCORE 1339191.718
AT ITER 4527 NEW BEST:: SOT 55449805 SOS 47724894 HAS SOPS 23280432 HAS SOUS 3472455 HAS SOUPS 1290398 WITH SCORE 1338122.894
AT ITER 4528 NEW BEST:: SOT 55448195 SOS 47722870 HAS SOPS 23278408 HAS SOUS 3471742 HAS SOUPS 1289685 WITH SCORE 1337407.87
AT ITER 4543 NEW BEST:: SOT 55448195 SOS 47722870 HAS SOPS 23278408 HAS SOUS 3471604 HAS SOUPS 1289547 WITH SCORE 1337269.87
AT ITER 4546 NEW BEST:: SOT 55447805 SOS 47722090 HAS SOPS 23279986 HAS SOUS 3470821 HAS SOUPS 1289157 WITH SCORE 1336879.09
AT ITER 4550 NEW BEST:: SOT 55447805 SOS 47722090 HAS SOPS 23279986 HAS SOUS 3470607 HAS SOUPS 1288943 WITH SCORE 1336665.09
AT ITER 4559 NEW BEST:: SOT 55447805 SOS 47722090 HAS SOPS 23279986 HAS SOUS 3470569 HAS SOUPS 1288905 WITH SCORE 1336627.09
AT ITER 4560 NEW BEST:: SOT 55447552 SOS 47721584 HAS SOPS 23279480 HAS SOUS 3470311 HAS SOUPS 1288647 WITH SCORE 1336368.584
AT ITER 4563 NEW BEST:: SOT 55445271 SOS 47737742 HAS SOPS 23283890 HAS SOUS 3469627 HAS SOUPS 1287963 WITH SCORE 1335700.742
AT ITER 4578 NEW BEST:: SOT 55444953 SOS 47734406 HAS SOPS 23285174 HAS SOUS 3468537 HAS SOUPS 1287643 WITH SCORE 1335377.406
AT ITER 4582 NEW BEST:: SOT 55444787 SOS 47732056 HAS SOPS 23282824 HAS SOUS 3468371 HAS SOUPS 1287477 WITH SCORE 1335209.056
AT ITER 4593 NEW BEST:: SOT 55447147 SOS 47749176 HAS SOPS 23290374 HAS SOUS 3466723 HAS SOUPS 1285829 WITH SCORE 1333578.176
AT ITER 4600 NEW BEST:: SOT 55447073 SOS 47748620 HAS SOPS 23289818 HAS SOUS 3466581 HAS SOUPS 1285687 WITH SCORE 1333435.62
AT ITER 4613 NEW BEST:: SOT 55447467 SOS 47729952 HAS SOPS 23278446 HAS SOUS 3466367 HAS SOUPS 1285473 WITH SCORE 1333202.952
AT ITER 4614 NEW BEST:: SOT 55434548 SOS 47710802 HAS SOPS 23268997 HAS SOUS 3464834 HAS SOUPS 1284297 WITH SCORE 1332007.802
AT ITER 4618 NEW BEST:: SOT 55434324 SOS 47710994 HAS SOPS 23268805 HAS SOUS 3464738 HAS SOUPS 1284201 WITH SCORE 1331911.994
AT ITER 4622 NEW BEST:: SOT 55433925 SOS 47707802 HAS SOPS 23268007 HAS SOUS 3463939 HAS SOUPS 1283801 WITH SCORE 1331508.802
AT ITER 4657 NEW BEST:: SOT 55433425 SOS 47706802 HAS SOPS 23263881 HAS SOUS 3463619 HAS SOUPS 1282960 WITH SCORE 1330666.802
AT ITER 4680 NEW BEST:: SOT 55432847 SOS 47713838 HAS SOPS 23267845 HAS SOUS 3463553 HAS SOUPS 1282894 WITH SCORE 1330607.838
AT ITER 4688 NEW BEST:: SOT 55428231 SOS 47726534 HAS SOPS 23267869 HAS SOUS 3462772 HAS SOUPS 1281409 WITH SCORE 1329135.534
AT ITER 4694 NEW BEST:: SOT 55430407 SOS 47732286 HAS SOPS 23269421 HAS SOUS 3462955 HAS SOUPS 1280892 WITH SCORE 1328624.286
AT ITER 4706 NEW BEST:: SOT 55430407 SOS 47732334 HAS SOPS 23269325 HAS SOUS 3462931 HAS SOUPS 1280844 WITH SCORE 1328576.334
AT ITER 4714 NEW BEST:: SOT 55426855 SOS 47748750 HAS SOPS 23273753 HAS SOUS 3461230 HAS SOUPS 1279143 WITH SCORE 1326891.75
AT ITER 4717 NEW BEST:: SOT 55426051 SOS 47747142 HAS SOPS 23274599 HAS SOUS 3459622 HAS SOUPS 1277944 WITH SCORE 1325691.142
AT ITER 4726 NEW BEST:: SOT 55426051 SOS 47747142 HAS SOPS 23274599 HAS SOUS 3459340 HAS SOUPS 1277662 WITH SCORE 1325409.142
AT ITER 4727 NEW BEST:: SOT 55425863 SOS 47746766 HAS SOPS 23278477 HAS SOUS 3458267 HAS SOUPS 1277298 WITH SCORE 1325044.766
AT ITER 4729 NEW BEST:: SOT 55425813 SOS 47746666 HAS SOPS 23278377 HAS SOUS 3458217 HAS SOUPS 1277248 WITH SCORE 1324994.666
AT ITER 4762 NEW BEST:: SOT 55425775 SOS 47746008 HAS SOPS 23277719 HAS SOUS 3458179 HAS SOUPS 1277210 WITH SCORE 1324956.008
AT ITER 4785 NEW BEST:: SOT 55424859 SOS 47740702 HAS SOPS 23275887 HAS SOUS 3456603 HAS SOUPS 1276213 WITH SCORE 1323953.702
AT ITER 4791 NEW BEST:: SOT 55424859 SOS 47740702 HAS SOPS 23275887 HAS SOUS 3456237 HAS SOUPS 1275847 WITH SCORE 1323587.702
AT ITER 4795 NEW BEST:: SOT 55422489 SOS 47746206 HAS SOPS 23274299 HAS SOUS 3455032 HAS SOUPS 1274248 WITH SCORE 1321994.206
AT ITER 4813 NEW BEST:: SOT 55422489 SOS 47746206 HAS SOPS 23274299 HAS SOUS 3454547 HAS SOUPS 1273763 WITH SCORE 1321509.206
AT ITER 4841 NEW BEST:: SOT 55422489 SOS 47746206 HAS SOPS 23274299 HAS SOUS 3454475 HAS SOUPS 1273691 WITH SCORE 1321437.206
AT ITER 4842 NEW BEST:: SOT 55422489 SOS 47746206 HAS SOPS 23274299 HAS SOUS 3454435 HAS SOUPS 1273651 WITH SCORE 1321397.206
AT ITER 4844 NEW BEST:: SOT 55422285 SOS 47746398 HAS SOPS 23274491 HAS SOUS 3454381 HAS SOUPS 1273597 WITH SCORE 1321343.398
AT ITER 4857 NEW BEST:: SOT 55421736 SOS 47749986 HAS SOPS 23274785 HAS SOUS 3454296 HAS SOUPS 1273329 WITH SCORE 1321078.986
AT ITER 4858 NEW BEST:: SOT 55418794 SOS 47760284 HAS SOPS 23276875 HAS SOUS 3452343 HAS SOUPS 1271376 WITH SCORE 1319136.284
AT ITER 4859 NEW BEST:: SOT 55415999 SOS 47787876 HAS SOPS 23290343 HAS SOUS 3451281 HAS SOUPS 1270314 WITH SCORE 1318101.876
AT ITER 4863 NEW BEST:: SOT 55415999 SOS 47787876 HAS SOPS 23290343 HAS SOUS 3451031 HAS SOUPS 1270064 WITH SCORE 1317851.876
AT ITER 4868 NEW BEST:: SOT 55415727 SOS 47789396 HAS SOPS 23291863 HAS SOUS 3450898 HAS SOUPS 1269931 WITH SCORE 1317720.396
AT ITER 4882 NEW BEST:: SOT 55415492 SOS 47788926 HAS SOPS 23292803 HAS SOUS 3450428 HAS SOUPS 1269696 WITH SCORE 1317484.926
AT ITER 4885 NEW BEST:: SOT 55411530 SOS 47795360 HAS SOPS 23291533 HAS SOUS 3446969 HAS SOUPS 1266237 WITH SCORE 1314032.36
AT ITER 4887 NEW BEST:: SOT 55408887 SOS 47815608 HAS SOPS 23301209 HAS SOUS 3446494 HAS SOUPS 1265762 WITH SCORE 1313577.608
AT ITER 4892 NEW BEST:: SOT 55406720 SOS 47822422 HAS SOPS 23299977 HAS SOUS 3445568 HAS SOUPS 1264389 WITH SCORE 1312211.422
AT ITER 4899 NEW BEST:: SOT 55406288 SOS 47821558 HAS SOPS 23299113 HAS SOUS 3445057 HAS SOUPS 1263878 WITH SCORE 1311699.558
AT ITER 4904 NEW BEST:: SOT 55406278 SOS 47821538 HAS SOPS 23300353 HAS SOUS 3444627 HAS SOUPS 1263658 WITH SCORE 1311479.538
AT ITER 4907 NEW BEST:: SOT 55406082 SOS 47821146 HAS SOPS 23302409 HAS SOUS 3444166 HAS SOUPS 1263605 WITH SCORE 1311426.146
AT ITER 4921 NEW BEST:: SOT 55406082 SOS 47821146 HAS SOPS 23302409 HAS SOUS 3443808 HAS SOUPS 1263247 WITH SCORE 1311068.146
AT ITER 4946 NEW BEST:: SOT 55405686 SOS 47820354 HAS SOPS 23303777 HAS SOUS 3442692 HAS SOUPS 1262491 WITH SCORE 1310311.354
AT ITER 4949 NEW BEST:: SOT 55405686 SOS 47820354 HAS SOPS 23303777 HAS SOUS 3442686 HAS SOUPS 1262485 WITH SCORE 1310305.354
AT ITER 4950 NEW BEST:: SOT 55405686 SOS 47820354 HAS SOPS 23303777 HAS SOUS 3442370 HAS SOUPS 1262169 WITH SCORE 1309989.354
AT ITER 4964 NEW BEST:: SOT 55405630 SOS 47820242 HAS SOPS 23304583 HAS SOUS 3442038 HAS SOUPS 1261990 WITH SCORE 1309810.242
AT ITER 4967 NEW BEST:: SOT 55405306 SOS 47819594 HAS SOPS 23303935 HAS SOUS 3441714 HAS SOUPS 1261666 WITH SCORE 1309485.594
AT ITER 4998 NEW BEST:: SOT 55396916 SOS 47807093 HAS SOPS 23297391 HAS SOUS 3440917 HAS SOUPS 1260911 WITH SCORE 1308718.093
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCshifumi-PT-6a-CTLCardinality-00 (! (AF((EG( potential( (tk(P1919)) <= (tk(P1224)) ))))))
PROPERTY: DLCshifumi-PT-6a-CTLCardinality-01 (! (AF(( ( potential( ( 3 ) <= (tk(P3472)) ) & potential( (tk(P489)) <= (tk(P1594)) ) ) & (! potential( ( 3 ) <= (tk(P2583)) )) ))))
PROPERTY: DLCshifumi-PT-6a-CTLCardinality-02 (EF((! (EF(potential( (tk(P1995)) <= (tk(P2565)) ))))))
PROPERTY: DLCshifumi-PT-6a-CTLCardinality-03 ( (AF((EG( potential( (tk(P1269)) <= (tk(P2995)) ))))) | ( potential( ( 2 ) <= (tk(P1476)) ) & (AU( potential( (tk(P1129)) <= (tk(P1288)) ),potential( ( 2 ) <= (tk(P1790)) ) )) ) )
PROPERTY: DLCshifumi-PT-6a-CTLCardinality-04 ( ( (EG( ( potential( (tk(P1761)) <= (tk(P2826)) ) & potential( (tk(P1722)) <= (tk(P890)) ) ))) | (EU( potential( ( 3 ) <= (tk(P2117)) ),potential( ( 1 ) <= (tk(P1532)) ) )) ) | (EG( (! (! potential( (tk(P1895)) <= (tk(P520)) ))))) )
PROPERTY: DLCshifumi-PT-6a-CTLCardinality-05 ( ( (AU( potential( (tk(P2662)) <= (tk(P2672)) ),potential( ( 3 ) <= (tk(P2855)) ) )) | ( (AG( potential( (tk(P1993)) <= (tk(P1827)) ))) & ( ( potential( ( 1 ) <= (tk(P612)) ) & potential( ( 2 ) <= (tk(P3006)) ) ) | potential( (tk(P2815)) <= (tk(P3458)) ) ) ) ) | (! (AX( potential( (tk(P1049)) <= (tk(P2576)) )))) )
PROPERTY: DLCshifumi-PT-6a-CTLCardinality-06 ( ( (AF(potential( ( 1 ) <= (tk(P1852)) ))) & (! (! ( potential( (tk(P1615)) <= (tk(P2369)) ) | potential( (tk(P1540)) <= (tk(P2967)) ) ))) ) & (AF((AG( potential( ( 1 ) <= (tk(P665)) ))))) )
PROPERTY: DLCshifumi-PT-6a-CTLCardinality-07 (AF((! ( ( potential( (tk(P2572)) <= (tk(P1353)) ) & potential( (tk(P1126)) <= (tk(P943)) ) ) | ( potential( ( 3 ) <= (tk(P543)) ) | potential( (tk(P817)) <= (tk(P3509)) ) ) ))))
PROPERTY: DLCshifumi-PT-6a-CTLCardinality-08 ( (! ( potential( ( 3 ) <= (tk(P2845)) ) | (! ( potential( (tk(P2561)) <= (tk(P1807)) ) | potential( (tk(P1375)) <= (tk(P1957)) ) )) )) & (EU( (! potential( ( 3 ) <= (tk(P3160)) )),(! potential( (tk(P2757)) <= (tk(P1549)) )) )) )
PROPERTY: DLCshifumi-PT-6a-CTLCardinality-09 ( ( (EF(( potential( ( 3 ) <= (tk(P248)) ) | potential( ( 3 ) <= (tk(P3306)) ) ))) | (! (EG( potential( (tk(P216)) <= (tk(P359)) )))) ) & (EX( potential( (tk(P1027)) <= (tk(P56)) ))) )
PROPERTY: DLCshifumi-PT-6a-CTLCardinality-10 (EU( (! (! potential( ( 2 ) <= (tk(P145)) ))),(EF(potential( ( 3 ) <= (tk(P2845)) ))) ))
PROPERTY: DLCshifumi-PT-6a-CTLCardinality-11 (EG( ( ( potential( (tk(P1324)) <= (tk(P1389)) ) & potential( (tk(P706)) <= (tk(P2059)) ) ) | (EG( potential( (tk(P736)) <= (tk(P2614)) ))) )))
PROPERTY: DLCshifumi-PT-6a-CTLCardinality-12 (AF(( (! ( potential( (tk(P527)) <= (tk(P1804)) ) & potential( (tk(P2780)) <= (tk(P3239)) ) )) & potential( ( 3 ) <= (tk(P1565)) ) )))
PROPERTY: DLCshifumi-PT-6a-CTLCardinality-13 (EG( potential( (tk(P1891)) <= (tk(P2046)) )))
PROPERTY: DLCshifumi-PT-6a-CTLCardinality-14 (EG( (EF(( potential( ( 1 ) <= (tk(P2838)) ) | potential( (tk(P3084)) <= (tk(P2261)) ) )))))
PROPERTY: DLCshifumi-PT-6a-CTLCardinality-15 (AG( ( (EG( potential( (tk(P2789)) <= (tk(P1365)) ))) | (! ( potential( ( 3 ) <= (tk(P1966)) ) & potential( (tk(P2000)) <= (tk(P74)) ) )) )))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is DLCshifumi-PT-6a, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r063-tajo-158922806900067"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCshifumi-PT-6a.tgz
mv DLCshifumi-PT-6a execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;