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.r299-tall-167873953000448.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 PolyORBLF-COL-S06J04T04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873953000448
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 520K
-rw-r--r-- 1 mcc users 9.2K Feb 26 13:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 26 13:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 13:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 13:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 16:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.7K Feb 26 14:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 66K Feb 26 14:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 14:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 34K Feb 26 14:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:35 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 154K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679490440991

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=PolyORBLF-COL-S06J04T04
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 13:07:22] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 13:07:22] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 13:07:22] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-22 13:07:22] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-22 13:07:23] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 722 ms
[2023-03-22 13:07:23] [INFO ] Imported 81 HL places and 65 HL transitions for a total of 454 PT places and 7036.0 transition bindings in 20 ms.
[2023-03-22 13:07:23] [INFO ] Unfolded HLPN to a Petri net with 454 places and 6994 transitions 59152 arcs in 138 ms.
[2023-03-22 13:07:23] [INFO ] Unfolded 0 HLPN properties in 1 ms.
[2023-03-22 13:07:23] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 454 places, 6994 transitions and 59152 arcs took 81 ms.
Total runtime 1050 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (COL), instance S06J04T04
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: 454 places, 6994 transitions, 59152 arcs.
AT ITER 0 NEW BEST:: SOT 2918611 SOS 810201 HAS SOPS 795465 HAS SOUS 191386 HAS SOUPS 190457 WITH SCORE 191267.201
AT ITER 12 NEW BEST:: SOT 2918464 SOS 810201 HAS SOPS 795465 HAS SOUS 191348 HAS SOUPS 190419 WITH SCORE 191229.201
AT ITER 16 NEW BEST:: SOT 2918240 SOS 809917 HAS SOPS 795181 HAS SOUS 191177 HAS SOUPS 190248 WITH SCORE 191057.917
AT ITER 36 NEW BEST:: SOT 2918234 SOS 809911 HAS SOPS 795178 HAS SOUS 191174 HAS SOUPS 190245 WITH SCORE 191054.911
AT ITER 37 NEW BEST:: SOT 2917979 SOS 809490 HAS SOPS 794757 HAS SOUS 190830 HAS SOUPS 189901 WITH SCORE 190710.49
AT ITER 53 NEW BEST:: SOT 2917673 SOS 809252 HAS SOPS 794519 HAS SOUS 190812 HAS SOUPS 189883 WITH SCORE 190692.252
AT ITER 60 NEW BEST:: SOT 2917619 SOS 809198 HAS SOPS 794411 HAS SOUS 190812 HAS SOUPS 189883 WITH SCORE 190692.198
AT ITER 68 NEW BEST:: SOT 2917628 SOS 809207 HAS SOPS 794363 HAS SOUS 190772 HAS SOUPS 189826 WITH SCORE 190635.207
AT ITER 76 NEW BEST:: SOT 2917587 SOS 809002 HAS SOPS 794158 HAS SOUS 190772 HAS SOUPS 189826 WITH SCORE 190635.002
AT ITER 79 NEW BEST:: SOT 2917587 SOS 809019 HAS SOPS 794175 HAS SOUS 190769 HAS SOUPS 189823 WITH SCORE 190632.019
AT ITER 81 NEW BEST:: SOT 2865757 SOS 757462 HAS SOPS 742618 HAS SOUS 177276 HAS SOUPS 176330 WITH SCORE 177087.462
AT ITER 85 NEW BEST:: SOT 2865637 SOS 757360 HAS SOPS 742516 HAS SOUS 177148 HAS SOUPS 176202 WITH SCORE 176959.36
AT ITER 103 NEW BEST:: SOT 2865579 SOS 757302 HAS SOPS 742458 HAS SOUS 176867 HAS SOUPS 175921 WITH SCORE 176678.302
AT ITER 109 NEW BEST:: SOT 2865315 SOS 757082 HAS SOPS 742238 HAS SOUS 176787 HAS SOUPS 175841 WITH SCORE 176598.082
AT ITER 122 NEW BEST:: SOT 2865315 SOS 757082 HAS SOPS 742349 HAS SOUS 176446 HAS SOUPS 175517 WITH SCORE 176274.082
AT ITER 140 NEW BEST:: SOT 2862967 SOS 754898 HAS SOPS 739365 HAS SOUS 174039 HAS SOUPS 172910 WITH SCORE 173664.898
AT ITER 141 NEW BEST:: SOT 2862945 SOS 754876 HAS SOPS 739343 HAS SOUS 173974 HAS SOUPS 172845 WITH SCORE 173599.876
AT ITER 142 NEW BEST:: SOT 2862945 SOS 754872 HAS SOPS 739339 HAS SOUS 173970 HAS SOUPS 172841 WITH SCORE 173595.872
AT ITER 160 NEW BEST:: SOT 2862942 SOS 754866 HAS SOPS 739333 HAS SOUS 173964 HAS SOUPS 172835 WITH SCORE 173589.866
AT ITER 166 NEW BEST:: SOT 2855047 SOS 746971 HAS SOPS 731438 HAS SOUS 172059 HAS SOUPS 170930 WITH SCORE 171676.971
AT ITER 174 NEW BEST:: SOT 2854120 SOS 753388 HAS SOPS 737855 HAS SOUS 171810 HAS SOUPS 170681 WITH SCORE 171434.388
AT ITER 177 NEW BEST:: SOT 2853567 SOS 753047 HAS SOPS 737526 HAS SOUS 171371 HAS SOUPS 170247 WITH SCORE 171000.047
AT ITER 179 NEW BEST:: SOT 2844841 SOS 823167 HAS SOPS 807575 HAS SOUS 169897 HAS SOUPS 168744 WITH SCORE 169567.167
AT ITER 180 NEW BEST:: SOT 2844735 SOS 823061 HAS SOPS 807416 HAS SOUS 169844 HAS SOUPS 168691 WITH SCORE 169514.061
AT ITER 181 NEW BEST:: SOT 2844623 SOS 822843 HAS SOPS 807404 HAS SOUS 169838 HAS SOUPS 168685 WITH SCORE 169507.843
AT ITER 185 NEW BEST:: SOT 2844535 SOS 820846 HAS SOPS 805730 HAS SOUS 169762 HAS SOUPS 168609 WITH SCORE 169429.846
AT ITER 188 NEW BEST:: SOT 2844535 SOS 820859 HAS SOPS 805756 HAS SOUS 169754 HAS SOUPS 168601 WITH SCORE 169421.859
AT ITER 200 NEW BEST:: SOT 2844084 SOS 819927 HAS SOPS 805258 HAS SOUS 169228 HAS SOUPS 168104 WITH SCORE 168923.927
AT ITER 215 NEW BEST:: SOT 2844029 SOS 819707 HAS SOPS 805093 HAS SOUS 169227 HAS SOUPS 168104 WITH SCORE 168923.707
AT ITER 219 NEW BEST:: SOT 2843921 SOS 819536 HAS SOPS 804922 HAS SOUS 169114 HAS SOUPS 167991 WITH SCORE 168810.536
AT ITER 237 NEW BEST:: SOT 2843770 SOS 819385 HAS SOPS 804771 HAS SOUS 168977 HAS SOUPS 167854 WITH SCORE 168673.385
AT ITER 251 NEW BEST:: SOT 2839426 SOS 817731 HAS SOPS 804882 HAS SOUS 165490 HAS SOUPS 164451 WITH SCORE 165268.731
AT ITER 268 NEW BEST:: SOT 2839426 SOS 817746 HAS SOPS 804870 HAS SOUS 165478 HAS SOUPS 164439 WITH SCORE 165256.746
AT ITER 273 NEW BEST:: SOT 2839177 SOS 817120 HAS SOPS 804244 HAS SOUS 164980 HAS SOUPS 163941 WITH SCORE 164758.12
AT ITER 276 NEW BEST:: SOT 2839177 SOS 816934 HAS SOPS 804058 HAS SOUS 164918 HAS SOUPS 163879 WITH SCORE 164695.934
AT ITER 278 NEW BEST:: SOT 2838937 SOS 816613 HAS SOPS 803737 HAS SOUS 164800 HAS SOUPS 163761 WITH SCORE 164577.613
AT ITER 288 NEW BEST:: SOT 2838831 SOS 816513 HAS SOPS 803892 HAS SOUS 164463 HAS SOUPS 163424 WITH SCORE 164240.513
AT ITER 307 NEW BEST:: SOT 2838847 SOS 816497 HAS SOPS 803883 HAS SOUS 164451 HAS SOUPS 163412 WITH SCORE 164228.497
AT ITER 309 NEW BEST:: SOT 2838847 SOS 816299 HAS SOPS 803685 HAS SOUS 164413 HAS SOUPS 163374 WITH SCORE 164190.299
AT ITER 315 NEW BEST:: SOT 2838838 SOS 816370 HAS SOPS 803756 HAS SOUS 164411 HAS SOUPS 163372 WITH SCORE 164188.37
AT ITER 345 NEW BEST:: SOT 2838829 SOS 816384 HAS SOPS 803770 HAS SOUS 164405 HAS SOUPS 163366 WITH SCORE 164182.384
AT ITER 360 NEW BEST:: SOT 2838829 SOS 815439 HAS SOPS 802825 HAS SOUS 164349 HAS SOUPS 163310 WITH SCORE 164125.439
AT ITER 365 NEW BEST:: SOT 2838811 SOS 814758 HAS SOPS 802144 HAS SOUS 164282 HAS SOUPS 163243 WITH SCORE 164057.758
AT ITER 376 NEW BEST:: SOT 2838746 SOS 814693 HAS SOPS 802178 HAS SOUS 164278 HAS SOUPS 163239 WITH SCORE 164053.693
AT ITER 379 NEW BEST:: SOT 2838675 SOS 814622 HAS SOPS 802202 HAS SOUS 163852 HAS SOUPS 162813 WITH SCORE 163627.622
AT ITER 395 NEW BEST:: SOT 2838675 SOS 814427 HAS SOPS 802007 HAS SOUS 163828 HAS SOUPS 162789 WITH SCORE 163603.427
AT ITER 405 NEW BEST:: SOT 2838601 SOS 814353 HAS SOPS 801959 HAS SOUS 163778 HAS SOUPS 162739 WITH SCORE 163553.353
AT ITER 411 NEW BEST:: SOT 2838541 SOS 814275 HAS SOPS 801881 HAS SOUS 163698 HAS SOUPS 162659 WITH SCORE 163473.275
AT ITER 412 NEW BEST:: SOT 2838514 SOS 814248 HAS SOPS 801854 HAS SOUS 163683 HAS SOUPS 162644 WITH SCORE 163458.248
AT ITER 416 NEW BEST:: SOT 2435905 SOS 1578269 HAS SOPS 1565602 HAS SOUS 125659 HAS SOUPS 124620 WITH SCORE 126198.269
AT ITER 425 NEW BEST:: SOT 2435795 SOS 1578159 HAS SOPS 1565492 HAS SOUS 125549 HAS SOUPS 124510 WITH SCORE 126088.159
AT ITER 437 NEW BEST:: SOT 2435841 SOS 1578013 HAS SOPS 1565346 HAS SOUS 125542 HAS SOUPS 124503 WITH SCORE 126081.013
AT ITER 453 NEW BEST:: SOT 2436056 SOS 1571562 HAS SOPS 1558895 HAS SOUS 125246 HAS SOUPS 124207 WITH SCORE 125778.562
AT ITER 455 NEW BEST:: SOT 2435946 SOS 1571452 HAS SOPS 1558785 HAS SOUS 125174 HAS SOUPS 124135 WITH SCORE 125706.452
AT ITER 458 NEW BEST:: SOT 2435946 SOS 1571353 HAS SOPS 1558686 HAS SOUS 125174 HAS SOUPS 124135 WITH SCORE 125706.353
AT ITER 464 NEW BEST:: SOT 2435967 SOS 1571590 HAS SOPS 1558923 HAS SOUS 125014 HAS SOUPS 123975 WITH SCORE 125546.59
AT ITER 482 NEW BEST:: SOT 2435821 SOS 1571514 HAS SOPS 1558658 HAS SOUS 124530 HAS SOUPS 123491 WITH SCORE 125062.514
AT ITER 495 NEW BEST:: SOT 2435762 SOS 1571455 HAS SOPS 1558599 HAS SOUS 124447 HAS SOUPS 123408 WITH SCORE 124979.455
AT ITER 498 NEW BEST:: SOT 2435732 SOS 1571425 HAS SOPS 1558543 HAS SOUS 124428 HAS SOUPS 123389 WITH SCORE 124960.425
AT ITER 514 NEW BEST:: SOT 2435634 SOS 1571147 HAS SOPS 1558365 HAS SOUS 124310 HAS SOUPS 123296 WITH SCORE 124867.147
AT ITER 527 NEW BEST:: SOT 2435634 SOS 1571147 HAS SOPS 1558396 HAS SOUS 124302 HAS SOUPS 123294 WITH SCORE 124865.147
AT ITER 540 NEW BEST:: SOT 2435607 SOS 1571120 HAS SOPS 1558369 HAS SOUS 124289 HAS SOUPS 123281 WITH SCORE 124852.12
AT ITER 553 NEW BEST:: SOT 2435589 SOS 1571102 HAS SOPS 1558371 HAS SOUS 124177 HAS SOUPS 123169 WITH SCORE 124740.102
AT ITER 555 NEW BEST:: SOT 2435589 SOS 1570839 HAS SOPS 1558108 HAS SOUS 124176 HAS SOUPS 123168 WITH SCORE 124738.839
AT ITER 556 NEW BEST:: SOT 2435516 SOS 1570766 HAS SOPS 1557955 HAS SOUS 124203 HAS SOUPS 123140 WITH SCORE 124710.766
AT ITER 557 NEW BEST:: SOT 2435877 SOS 1571639 HAS SOPS 1558828 HAS SOUS 124093 HAS SOUPS 123030 WITH SCORE 124601.639
AT ITER 558 NEW BEST:: SOT 2435765 SOS 1571467 HAS SOPS 1558915 HAS SOUS 123746 HAS SOUPS 122683 WITH SCORE 124254.467
AT ITER 560 NEW BEST:: SOT 2435765 SOS 1571467 HAS SOPS 1558694 HAS SOUS 123367 HAS SOUPS 122304 WITH SCORE 123875.467
AT ITER 564 NEW BEST:: SOT 2435685 SOS 1571339 HAS SOPS 1558566 HAS SOUS 123239 HAS SOUPS 122176 WITH SCORE 123747.339
AT ITER 573 NEW BEST:: SOT 2435618 SOS 1571337 HAS SOPS 1558425 HAS SOUS 123061 HAS SOUPS 121998 WITH SCORE 123569.337
AT ITER 584 NEW BEST:: SOT 2435618 SOS 1571220 HAS SOPS 1558308 HAS SOUS 123050 HAS SOUPS 121987 WITH SCORE 123558.22
AT ITER 588 NEW BEST:: SOT 2435438 SOS 1571025 HAS SOPS 1558113 HAS SOUS 122861 HAS SOUPS 121798 WITH SCORE 123369.025
AT ITER 606 NEW BEST:: SOT 2435501 SOS 1571202 HAS SOPS 1558231 HAS SOUS 122857 HAS SOUPS 121786 WITH SCORE 123357.202
AT ITER 611 NEW BEST:: SOT 2435360 SOS 1571022 HAS SOPS 1558051 HAS SOUS 122686 HAS SOUPS 121615 WITH SCORE 123186.022
AT ITER 614 NEW BEST:: SOT 2435360 SOS 1571022 HAS SOPS 1558051 HAS SOUS 122614 HAS SOUPS 121543 WITH SCORE 123114.022
AT ITER 618 NEW BEST:: SOT 2435308 SOS 1570724 HAS SOPS 1557753 HAS SOUS 122429 HAS SOUPS 121358 WITH SCORE 122928.724
AT ITER 623 NEW BEST:: SOT 2435402 SOS 1571199 HAS SOPS 1558100 HAS SOUS 122279 HAS SOUPS 121208 WITH SCORE 122779.199
AT ITER 624 NEW BEST:: SOT 2435387 SOS 1571184 HAS SOPS 1558104 HAS SOUS 122215 HAS SOUPS 121144 WITH SCORE 122715.184
AT ITER 633 NEW BEST:: SOT 2435750 SOS 1572164 HAS SOPS 1559084 HAS SOUS 121899 HAS SOUPS 120828 WITH SCORE 122400.164
AT ITER 638 NEW BEST:: SOT 2435632 SOS 1572047 HAS SOPS 1558967 HAS SOUS 121862 HAS SOUPS 120791 WITH SCORE 122363.047
AT ITER 653 NEW BEST:: SOT 2435538 SOS 1571953 HAS SOPS 1558873 HAS SOUS 121241 HAS SOUPS 120170 WITH SCORE 121741.953
AT ITER 659 NEW BEST:: SOT 2435538 SOS 1572050 HAS SOPS 1558873 HAS SOUS 121276 HAS SOUPS 120141 WITH SCORE 121713.05
AT ITER 665 NEW BEST:: SOT 2435515 SOS 1571985 HAS SOPS 1558868 HAS SOUS 121272 HAS SOUPS 120137 WITH SCORE 121708.985
AT ITER 668 NEW BEST:: SOT 2435475 SOS 1571945 HAS SOPS 1558828 HAS SOUS 121232 HAS SOUPS 120097 WITH SCORE 121668.945
AT ITER 672 NEW BEST:: SOT 2435358 SOS 1571833 HAS SOPS 1558716 HAS SOUS 121011 HAS SOUPS 119876 WITH SCORE 121447.833
AT ITER 686 NEW BEST:: SOT 2435106 SOS 1571581 HAS SOPS 1558624 HAS SOUS 120851 HAS SOUPS 119780 WITH SCORE 121351.581
AT ITER 691 NEW BEST:: SOT 2435039 SOS 1571474 HAS SOPS 1558517 HAS SOUS 120851 HAS SOUPS 119780 WITH SCORE 121351.474
AT ITER 705 NEW BEST:: SOT 2435144 SOS 1571579 HAS SOPS 1558393 HAS SOUS 120849 HAS SOUPS 119769 WITH SCORE 121340.579
AT ITER 709 NEW BEST:: SOT 2435086 SOS 1571356 HAS SOPS 1558170 HAS SOUS 120803 HAS SOUPS 119723 WITH SCORE 121294.356
AT ITER 711 NEW BEST:: SOT 2435030 SOS 1571300 HAS SOPS 1558114 HAS SOUS 120617 HAS SOUPS 119537 WITH SCORE 121108.3
AT ITER 722 NEW BEST:: SOT 2435030 SOS 1566127 HAS SOPS 1552941 HAS SOUS 120616 HAS SOUPS 119536 WITH SCORE 121102.127
AT ITER 727 NEW BEST:: SOT 2435022 SOS 1566119 HAS SOPS 1552784 HAS SOUS 120580 HAS SOUPS 119500 WITH SCORE 121066.119
AT ITER 729 NEW BEST:: SOT 2435009 SOS 1566106 HAS SOPS 1552771 HAS SOUS 120554 HAS SOUPS 119474 WITH SCORE 121040.106
AT ITER 732 NEW BEST:: SOT 2435001 SOS 1566098 HAS SOPS 1552763 HAS SOUS 120546 HAS SOUPS 119466 WITH SCORE 121032.098
AT ITER 742 NEW BEST:: SOT 2434999 SOS 1566550 HAS SOPS 1552887 HAS SOUS 120606 HAS SOUPS 119444 WITH SCORE 121010.55
AT ITER 754 NEW BEST:: SOT 2434987 SOS 1566538 HAS SOPS 1552875 HAS SOUS 120593 HAS SOUPS 119431 WITH SCORE 120997.538
AT ITER 760 NEW BEST:: SOT 2434929 SOS 1566865 HAS SOPS 1553202 HAS SOUS 120538 HAS SOUPS 119376 WITH SCORE 120942.865
AT ITER 769 NEW BEST:: SOT 2434784 SOS 1566566 HAS SOPS 1553198 HAS SOUS 120527 HAS SOUPS 119365 WITH SCORE 120931.566
AT ITER 772 NEW BEST:: SOT 2434837 SOS 1566748 HAS SOPS 1553380 HAS SOUS 119912 HAS SOUPS 118750 WITH SCORE 120316.748
AT ITER 773 NEW BEST:: SOT 2434684 SOS 1566532 HAS SOPS 1553164 HAS SOUS 119635 HAS SOUPS 118473 WITH SCORE 120039.532
AT ITER 779 NEW BEST:: SOT 2434684 SOS 1566342 HAS SOPS 1552974 HAS SOUS 119445 HAS SOUPS 118283 WITH SCORE 119849.342
AT ITER 784 NEW BEST:: SOT 2434684 SOS 1566357 HAS SOPS 1552989 HAS SOUS 119430 HAS SOUPS 118268 WITH SCORE 119834.357
AT ITER 785 NEW BEST:: SOT 2434684 SOS 1565981 HAS SOPS 1552741 HAS SOUS 119430 HAS SOUPS 118268 WITH SCORE 119833.981
AT ITER 792 NEW BEST:: SOT 2434684 SOS 1565866 HAS SOPS 1552626 HAS SOUS 119347 HAS SOUPS 118185 WITH SCORE 119750.866
AT ITER 825 NEW BEST:: SOT 2434684 SOS 1565866 HAS SOPS 1552626 HAS SOUS 119295 HAS SOUPS 118133 WITH SCORE 119698.866
AT ITER 826 NEW BEST:: SOT 2434661 SOS 1565444 HAS SOPS 1552286 HAS SOUS 119202 HAS SOUPS 118040 WITH SCORE 119605.444
AT ITER 829 NEW BEST:: SOT 2434629 SOS 1565427 HAS SOPS 1552269 HAS SOUS 119148 HAS SOUPS 117986 WITH SCORE 119551.427
AT ITER 835 NEW BEST:: SOT 2434628 SOS 1565426 HAS SOPS 1552268 HAS SOUS 119145 HAS SOUPS 117983 WITH SCORE 119548.426
AT ITER 837 NEW BEST:: SOT 2434607 SOS 1565405 HAS SOPS 1552273 HAS SOUS 118868 HAS SOUPS 117706 WITH SCORE 119271.405
AT ITER 839 NEW BEST:: SOT 2434465 SOS 1565263 HAS SOPS 1552131 HAS SOUS 118846 HAS SOUPS 117684 WITH SCORE 119249.263
AT ITER 856 NEW BEST:: SOT 2434377 SOS 1565175 HAS SOPS 1552043 HAS SOUS 118719 HAS SOUPS 117557 WITH SCORE 119122.175
AT ITER 861 NEW BEST:: SOT 2434306 SOS 1565172 HAS SOPS 1552040 HAS SOUS 118687 HAS SOUPS 117525 WITH SCORE 119090.172
AT ITER 863 NEW BEST:: SOT 2434218 SOS 1565084 HAS SOPS 1551952 HAS SOUS 118524 HAS SOUPS 117362 WITH SCORE 118927.084
AT ITER 870 NEW BEST:: SOT 2434125 SOS 636339 HAS SOPS 623372 HAS SOUS 118250 HAS SOUPS 117088 WITH SCORE 117724.339
AT ITER 871 NEW BEST:: SOT 2434170 SOS 636384 HAS SOPS 623417 HAS SOUS 118154 HAS SOUPS 116992 WITH SCORE 117628.384
AT ITER 875 NEW BEST:: SOT 2434111 SOS 636325 HAS SOPS 623358 HAS SOUS 118082 HAS SOUPS 116920 WITH SCORE 117556.325
AT ITER 880 NEW BEST:: SOT 2434114 SOS 636328 HAS SOPS 623361 HAS SOUS 117517 HAS SOUPS 116355 WITH SCORE 116991.328
AT ITER 889 NEW BEST:: SOT 2434086 SOS 636300 HAS SOPS 623333 HAS SOUS 117120 HAS SOUPS 115958 WITH SCORE 116594.3
AT ITER 892 NEW BEST:: SOT 2434130 SOS 636344 HAS SOPS 623377 HAS SOUS 117027 HAS SOUPS 115865 WITH SCORE 116501.344
AT ITER 896 NEW BEST:: SOT 2434130 SOS 636452 HAS SOPS 623542 HAS SOUS 116954 HAS SOUPS 115792 WITH SCORE 116428.452
AT ITER 897 NEW BEST:: SOT 2434120 SOS 636452 HAS SOPS 623542 HAS SOUS 116921 HAS SOUPS 115759 WITH SCORE 116395.452
AT ITER 900 NEW BEST:: SOT 2434000 SOS 636323 HAS SOPS 623217 HAS SOUS 116786 HAS SOUPS 115624 WITH SCORE 116260.323
AT ITER 905 NEW BEST:: SOT 2433976 SOS 636299 HAS SOPS 623199 HAS SOUS 116768 HAS SOUPS 115606 WITH SCORE 116242.299
AT ITER 908 NEW BEST:: SOT 2433976 SOS 636334 HAS SOPS 623234 HAS SOUS 116733 HAS SOUPS 115571 WITH SCORE 116207.334
AT ITER 924 NEW BEST:: SOT 2422797 SOS 661052 HAS SOPS 647952 HAS SOUS 110846 HAS SOUPS 109684 WITH SCORE 110345.052
AT ITER 928 NEW BEST:: SOT 2422743 SOS 660998 HAS SOPS 647898 HAS SOUS 110759 HAS SOUPS 109597 WITH SCORE 110257.998
AT ITER 930 NEW BEST:: SOT 2422743 SOS 661145 HAS SOPS 647705 HAS SOUS 110713 HAS SOUPS 109551 WITH SCORE 110212.145
AT ITER 934 NEW BEST:: SOT 2422630 SOS 660952 HAS SOPS 647512 HAS SOUS 110460 HAS SOUPS 109298 WITH SCORE 109958.952
AT ITER 935 NEW BEST:: SOT 2422630 SOS 660910 HAS SOPS 647536 HAS SOUS 110449 HAS SOUPS 109298 WITH SCORE 109958.91
AT ITER 936 NEW BEST:: SOT 2422616 SOS 660896 HAS SOPS 647522 HAS SOUS 110449 HAS SOUPS 109298 WITH SCORE 109958.896
AT ITER 942 NEW BEST:: SOT 2422465 SOS 660745 HAS SOPS 647442 HAS SOUS 110314 HAS SOUPS 109163 WITH SCORE 109823.745
AT ITER 947 NEW BEST:: SOT 2422428 SOS 660708 HAS SOPS 647405 HAS SOUS 110226 HAS SOUPS 109075 WITH SCORE 109735.708
AT ITER 948 NEW BEST:: SOT 2422325 SOS 660605 HAS SOPS 647335 HAS SOUS 109880 HAS SOUPS 108729 WITH SCORE 109389.605
AT ITER 951 NEW BEST:: SOT 2422329 SOS 660609 HAS SOPS 647339 HAS SOUS 109848 HAS SOUPS 108697 WITH SCORE 109357.609
AT ITER 958 NEW BEST:: SOT 2422244 SOS 660524 HAS SOPS 647283 HAS SOUS 109829 HAS SOUPS 108678 WITH SCORE 109338.524
AT ITER 959 NEW BEST:: SOT 2422193 SOS 660405 HAS SOPS 647232 HAS SOUS 109778 HAS SOUPS 108644 WITH SCORE 109304.405
AT ITER 967 NEW BEST:: SOT 2422039 SOS 660254 HAS SOPS 646508 HAS SOUS 109672 HAS SOUPS 108538 WITH SCORE 109198.254
AT ITER 970 NEW BEST:: SOT 2421949 SOS 660080 HAS SOPS 646500 HAS SOUS 109640 HAS SOUPS 108506 WITH SCORE 109166.08
AT ITER 994 NEW BEST:: SOT 2421844 SOS 658949 HAS SOPS 645369 HAS SOUS 109497 HAS SOUPS 108363 WITH SCORE 109021.949
AT ITER 996 NEW BEST:: SOT 2421991 SOS 659096 HAS SOPS 645481 HAS SOUS 109453 HAS SOUPS 108319 WITH SCORE 108978.096
AT ITER 997 NEW BEST:: SOT 2421562 SOS 658695 HAS SOPS 645080 HAS SOUS 108928 HAS SOUPS 107794 WITH SCORE 108452.695
AT ITER 1002 NEW BEST:: SOT 2421544 SOS 658587 HAS SOPS 644972 HAS SOUS 108910 HAS SOUPS 107776 WITH SCORE 108434.587
AT ITER 1011 NEW BEST:: SOT 2421396 SOS 658426 HAS SOPS 644811 HAS SOUS 108908 HAS SOUPS 107774 WITH SCORE 108432.426
AT ITER 1015 NEW BEST:: SOT 2421389 SOS 658347 HAS SOPS 644732 HAS SOUS 108870 HAS SOUPS 107736 WITH SCORE 108394.347
AT ITER 1019 NEW BEST:: SOT 2421213 SOS 658171 HAS SOPS 644869 HAS SOUS 108637 HAS SOUPS 107511 WITH SCORE 108169.171
AT ITER 1046 NEW BEST:: SOT 2417825 SOS 656686 HAS SOPS 644832 HAS SOUS 106487 HAS SOUPS 105099 WITH SCORE 105755.686
AT ITER 1067 NEW BEST:: SOT 2417777 SOS 656510 HAS SOPS 644804 HAS SOUS 106413 HAS SOUPS 105025 WITH SCORE 105681.51
AT ITER 1068 NEW BEST:: SOT 2417791 SOS 656620 HAS SOPS 644914 HAS SOUS 106332 HAS SOUPS 104944 WITH SCORE 105600.62
AT ITER 1069 NEW BEST:: SOT 2417771 SOS 656600 HAS SOPS 644874 HAS SOUS 106208 HAS SOUPS 104820 WITH SCORE 105476.6
AT ITER 1094 NEW BEST:: SOT 2417710 SOS 656539 HAS SOPS 644813 HAS SOUS 105903 HAS SOUPS 104515 WITH SCORE 105171.539
AT ITER 1097 NEW BEST:: SOT 2417792 SOS 656621 HAS SOPS 644975 HAS SOUS 105774 HAS SOUPS 104386 WITH SCORE 105042.621
AT ITER 1099 NEW BEST:: SOT 2417848 SOS 655417 HAS SOPS 643771 HAS SOUS 105704 HAS SOUPS 104316 WITH SCORE 104971.417
AT ITER 1101 NEW BEST:: SOT 2417772 SOS 655408 HAS SOPS 643726 HAS SOUS 105659 HAS SOUPS 104271 WITH SCORE 104926.408
AT ITER 1103 NEW BEST:: SOT 2417746 SOS 654661 HAS SOPS 642979 HAS SOUS 105542 HAS SOUPS 104154 WITH SCORE 104808.661
AT ITER 1111 NEW BEST:: SOT 2417725 SOS 654640 HAS SOPS 642958 HAS SOUS 105472 HAS SOUPS 104084 WITH SCORE 104738.64
AT ITER 1114 NEW BEST:: SOT 2417708 SOS 654647 HAS SOPS 642965 HAS SOUS 105318 HAS SOUPS 103930 WITH SCORE 104584.647
AT ITER 1120 NEW BEST:: SOT 2417639 SOS 654164 HAS SOPS 642551 HAS SOUS 105249 HAS SOUPS 103861 WITH SCORE 104515.164
AT ITER 1121 NEW BEST:: SOT 2417622 SOS 654191 HAS SOPS 642578 HAS SOUS 105238 HAS SOUPS 103850 WITH SCORE 104504.191
AT ITER 1149 NEW BEST:: SOT 2417622 SOS 654202 HAS SOPS 642589 HAS SOUS 105227 HAS SOUPS 103839 WITH SCORE 104493.202
AT ITER 1150 NEW BEST:: SOT 2417394 SOS 649933 HAS SOPS 638393 HAS SOUS 105040 HAS SOUPS 103652 WITH SCORE 104301.933
AT ITER 1155 NEW BEST:: SOT 2417393 SOS 649932 HAS SOPS 638392 HAS SOUS 105039 HAS SOUPS 103651 WITH SCORE 104300.932
AT ITER 1164 NEW BEST:: SOT 2417378 SOS 649965 HAS SOPS 638425 HAS SOUS 104934 HAS SOUPS 103546 WITH SCORE 104195.965
AT ITER 1168 NEW BEST:: SOT 2417315 SOS 650016 HAS SOPS 638311 HAS SOUS 104808 HAS SOUPS 103420 WITH SCORE 104070.016
AT ITER 1172 NEW BEST:: SOT 2417189 SOS 649823 HAS SOPS 638118 HAS SOUS 104623 HAS SOUPS 103235 WITH SCORE 103884.823
AT ITER 1182 NEW BEST:: SOT 2417188 SOS 649822 HAS SOPS 638117 HAS SOUS 104622 HAS SOUPS 103234 WITH SCORE 103883.822
AT ITER 1186 NEW BEST:: SOT 2417122 SOS 649831 HAS SOPS 638111 HAS SOUS 104623 HAS SOUPS 103220 WITH SCORE 103869.831
AT ITER 1187 NEW BEST:: SOT 2417132 SOS 649573 HAS SOPS 637853 HAS SOUS 104464 HAS SOUPS 103061 WITH SCORE 103710.573
AT ITER 1201 NEW BEST:: SOT 2417208 SOS 649649 HAS SOPS 637929 HAS SOUS 104409 HAS SOUPS 103006 WITH SCORE 103655.649
AT ITER 1224 NEW BEST:: SOT 2417198 SOS 649674 HAS SOPS 637954 HAS SOUS 104406 HAS SOUPS 103003 WITH SCORE 103652.674
AT ITER 1230 NEW BEST:: SOT 2417198 SOS 649698 HAS SOPS 637978 HAS SOUS 104394 HAS SOUPS 102991 WITH SCORE 103640.698
AT ITER 1232 NEW BEST:: SOT 2417148 SOS 649648 HAS SOPS 637928 HAS SOUS 104294 HAS SOUPS 102891 WITH SCORE 103540.648
AT ITER 1237 NEW BEST:: SOT 2417187 SOS 649687 HAS SOPS 637967 HAS SOUS 104287 HAS SOUPS 102884 WITH SCORE 103533.687
AT ITER 1240 NEW BEST:: SOT 2417088 SOS 649581 HAS SOPS 637861 HAS SOUS 104152 HAS SOUPS 102749 WITH SCORE 103398.581
AT ITER 1255 NEW BEST:: SOT 2417063 SOS 649682 HAS SOPS 637962 HAS SOUS 103875 HAS SOUPS 102472 WITH SCORE 103121.682
AT ITER 1258 NEW BEST:: SOT 2417065 SOS 649684 HAS SOPS 637945 HAS SOUS 103836 HAS SOUPS 102433 WITH SCORE 103082.684
AT ITER 1282 NEW BEST:: SOT 2416927 SOS 649724 HAS SOPS 637987 HAS SOUS 103280 HAS SOUPS 101877 WITH SCORE 102526.724
AT ITER 1302 NEW BEST:: SOT 2416884 SOS 649561 HAS SOPS 637824 HAS SOUS 103194 HAS SOUPS 101791 WITH SCORE 102440.561
AT ITER 1307 NEW BEST:: SOT 2416878 SOS 649555 HAS SOPS 637818 HAS SOUS 103188 HAS SOUPS 101785 WITH SCORE 102434.555
AT ITER 1312 NEW BEST:: SOT 2416856 SOS 649533 HAS SOPS 637796 HAS SOUS 103166 HAS SOUPS 101763 WITH SCORE 102412.533
AT ITER 1322 NEW BEST:: SOT 2416820 SOS 649458 HAS SOPS 637721 HAS SOUS 103123 HAS SOUPS 101720 WITH SCORE 102369.458
AT ITER 1323 NEW BEST:: SOT 2416820 SOS 649431 HAS SOPS 637694 HAS SOUS 103123 HAS SOUPS 101720 WITH SCORE 102369.431
AT ITER 1325 NEW BEST:: SOT 2416820 SOS 649450 HAS SOPS 637713 HAS SOUS 103115 HAS SOUPS 101712 WITH SCORE 102361.45
AT ITER 1332 NEW BEST:: SOT 2416765 SOS 649395 HAS SOPS 637750 HAS SOUS 103014 HAS SOUPS 101610 WITH SCORE 102259.395
AT ITER 1337 NEW BEST:: SOT 2416660 SOS 649244 HAS SOPS 637599 HAS SOUS 102790 HAS SOUPS 101386 WITH SCORE 102035.244
AT ITER 1342 NEW BEST:: SOT 2416600 SOS 649140 HAS SOPS 637495 HAS SOUS 102726 HAS SOUPS 101322 WITH SCORE 101971.14
AT ITER 1357 NEW BEST:: SOT 2416549 SOS 649209 HAS SOPS 637564 HAS SOUS 102617 HAS SOUPS 101213 WITH SCORE 101862.209
AT ITER 1358 NEW BEST:: SOT 2416491 SOS 649078 HAS SOPS 637506 HAS SOUS 102603 HAS SOUPS 101199 WITH SCORE 101848.078
AT ITER 1370 NEW BEST:: SOT 2416381 SOS 648976 HAS SOPS 637404 HAS SOUS 102497 HAS SOUPS 101134 WITH SCORE 101782.976
AT ITER 1374 NEW BEST:: SOT 2416421 SOS 649016 HAS SOPS 637444 HAS SOUS 102437 HAS SOUPS 101074 WITH SCORE 101723.016
AT ITER 1385 NEW BEST:: SOT 2416421 SOS 648959 HAS SOPS 637387 HAS SOUS 102429 HAS SOUPS 101066 WITH SCORE 101714.959
AT ITER 1393 NEW BEST:: SOT 2416409 SOS 648947 HAS SOPS 637334 HAS SOUS 102428 HAS SOUPS 101065 WITH SCORE 101713.947
AT ITER 1395 NEW BEST:: SOT 2416297 SOS 648453 HAS SOPS 636840 HAS SOUS 102360 HAS SOUPS 100997 WITH SCORE 101645.453
AT ITER 1416 NEW BEST:: SOT 2416305 SOS 648403 HAS SOPS 636790 HAS SOUS 102310 HAS SOUPS 100947 WITH SCORE 101595.403
AT ITER 1419 NEW BEST:: SOT 2416192 SOS 648341 HAS SOPS 636728 HAS SOUS 102248 HAS SOUPS 100885 WITH SCORE 101533.341
AT ITER 1426 NEW BEST:: SOT 2416159 SOS 477198 HAS SOPS 465585 HAS SOUS 102182 HAS SOUPS 100819 WITH SCORE 101296.198
AT ITER 1432 NEW BEST:: SOT 2416131 SOS 477142 HAS SOPS 465529 HAS SOUS 102126 HAS SOUPS 100763 WITH SCORE 101240.142
AT ITER 1440 NEW BEST:: SOT 2416355 SOS 477582 HAS SOPS 465969 HAS SOUS 101346 HAS SOUPS 99983 WITH SCORE 100460.582
AT ITER 1452 NEW BEST:: SOT 2416358 SOS 477526 HAS SOPS 465913 HAS SOUS 101338 HAS SOUPS 99975 WITH SCORE 100452.526
AT ITER 1467 NEW BEST:: SOT 2416318 SOS 477486 HAS SOPS 465873 HAS SOUS 101258 HAS SOUPS 99895 WITH SCORE 100372.486
AT ITER 1480 NEW BEST:: SOT 2416350 SOS 477682 HAS SOPS 466069 HAS SOUS 101182 HAS SOUPS 99819 WITH SCORE 100296.682
AT ITER 1481 NEW BEST:: SOT 2416347 SOS 477679 HAS SOPS 466066 HAS SOUS 101176 HAS SOUPS 99813 WITH SCORE 100290.679
AT ITER 1499 NEW BEST:: SOT 2416315 SOS 479736 HAS SOPS 467499 HAS SOUS 101098 HAS SOUPS 99579 WITH SCORE 100058.736
AT ITER 1510 NEW BEST:: SOT 2416356 SOS 480312 HAS SOPS 468075 HAS SOUS 101071 HAS SOUPS 99552 WITH SCORE 100032.312
AT ITER 1518 NEW BEST:: SOT 2416377 SOS 480333 HAS SOPS 468096 HAS SOUS 101069 HAS SOUPS 99550 WITH SCORE 100030.333
AT ITER 1530 NEW BEST:: SOT 2416317 SOS 480823 HAS SOPS 468586 HAS SOUS 101065 HAS SOUPS 99546 WITH SCORE 100026.823
AT ITER 1543 NEW BEST:: SOT 2416226 SOS 480518 HAS SOPS 468281 HAS SOUS 100859 HAS SOUPS 99340 WITH SCORE 99820.518
AT ITER 1549 NEW BEST:: SOT 2416684 SOS 481552 HAS SOPS 469315 HAS SOUS 100693 HAS SOUPS 99174 WITH SCORE 99655.552
AT ITER 1562 NEW BEST:: SOT 2416642 SOS 481468 HAS SOPS 469231 HAS SOUS 100623 HAS SOUPS 99104 WITH SCORE 99585.468
AT ITER 1565 NEW BEST:: SOT 2416617 SOS 481393 HAS SOPS 469156 HAS SOUS 100623 HAS SOUPS 99104 WITH SCORE 99585.393
AT ITER 1569 NEW BEST:: SOT 2416359 SOS 481135 HAS SOPS 468898 HAS SOUS 100397 HAS SOUPS 98878 WITH SCORE 99359.135
AT ITER 1581 NEW BEST:: SOT 2416386 SOS 481310 HAS SOPS 469073 HAS SOUS 100164 HAS SOUPS 98645 WITH SCORE 99126.31
AT ITER 1586 NEW BEST:: SOT 2416214 SOS 481138 HAS SOPS 468901 HAS SOUS 99992 HAS SOUPS 98473 WITH SCORE 98954.138
AT ITER 1598 NEW BEST:: SOT 2416061 SOS 481055 HAS SOPS 468818 HAS SOUS 99790 HAS SOUPS 98271 WITH SCORE 98752.055
AT ITER 1607 NEW BEST:: SOT 2416075 SOS 481051 HAS SOPS 468792 HAS SOUS 99780 HAS SOUPS 98243 WITH SCORE 98724.051
AT ITER 1628 NEW BEST:: SOT 2416075 SOS 481047 HAS SOPS 468785 HAS SOUS 99774 HAS SOUPS 98237 WITH SCORE 98718.047
AT ITER 1630 NEW BEST:: SOT 2416216 SOS 481377 HAS SOPS 469115 HAS SOUS 99153 HAS SOUPS 97616 WITH SCORE 98097.377
AT ITER 1646 NEW BEST:: SOT 2416125 SOS 481220 HAS SOPS 468958 HAS SOUS 98987 HAS SOUPS 97450 WITH SCORE 97931.22
AT ITER 1650 NEW BEST:: SOT 2415995 SOS 481138 HAS SOPS 468876 HAS SOUS 98905 HAS SOUPS 97368 WITH SCORE 97849.138
AT ITER 1651 NEW BEST:: SOT 2415995 SOS 481138 HAS SOPS 468876 HAS SOUS 98882 HAS SOUPS 97345 WITH SCORE 97826.138
AT ITER 1656 NEW BEST:: SOT 2415914 SOS 481006 HAS SOPS 468744 HAS SOUS 98747 HAS SOUPS 97210 WITH SCORE 97691.006
AT ITER 1660 NEW BEST:: SOT 2413940 SOS 479032 HAS SOPS 466770 HAS SOUS 96605 HAS SOUPS 95068 WITH SCORE 95547.032
AT ITER 1663 NEW BEST:: SOT 2413925 SOS 478987 HAS SOPS 466740 HAS SOUS 96605 HAS SOUPS 95068 WITH SCORE 95546.987
AT ITER 1668 NEW BEST:: SOT 2413949 SOS 478939 HAS SOPS 466692 HAS SOUS 96605 HAS SOUPS 95068 WITH SCORE 95546.939
AT ITER 1671 NEW BEST:: SOT 2413969 SOS 479015 HAS SOPS 466768 HAS SOUS 96590 HAS SOUPS 95053 WITH SCORE 95532.015
AT ITER 1681 NEW BEST:: SOT 2413956 SOS 478640 HAS SOPS 466373 HAS SOUS 96538 HAS SOUPS 95001 WITH SCORE 95479.64
AT ITER 1689 NEW BEST:: SOT 2413826 SOS 478445 HAS SOPS 466308 HAS SOUS 96538 HAS SOUPS 95001 WITH SCORE 95479.445
AT ITER 1699 NEW BEST:: SOT 2413826 SOS 478445 HAS SOPS 466303 HAS SOUS 96530 HAS SOUPS 94993 WITH SCORE 95471.445
AT ITER 1700 NEW BEST:: SOT 2413863 SOS 478094 HAS SOPS 465952 HAS SOUS 96470 HAS SOUPS 94933 WITH SCORE 95411.094
AT ITER 1710 NEW BEST:: SOT 2413826 SOS 477946 HAS SOPS 465873 HAS SOUS 96470 HAS SOUPS 94933 WITH SCORE 95410.946
AT ITER 1724 NEW BEST:: SOT 2413804 SOS 477924 HAS SOPS 465851 HAS SOUS 96426 HAS SOUPS 94889 WITH SCORE 95366.924
AT ITER 1736 NEW BEST:: SOT 2413831 SOS 477951 HAS SOPS 465878 HAS SOUS 96338 HAS SOUPS 94801 WITH SCORE 95278.951
AT ITER 1739 NEW BEST:: SOT 2413765 SOS 477885 HAS SOPS 465762 HAS SOUS 96219 HAS SOUPS 94682 WITH SCORE 95159.885
AT ITER 1744 NEW BEST:: SOT 2413765 SOS 477884 HAS SOPS 465761 HAS SOUS 96219 HAS SOUPS 94682 WITH SCORE 95159.884
AT ITER 1746 NEW BEST:: SOT 2413465 SOS 477502 HAS SOPS 465379 HAS SOUS 96166 HAS SOUPS 94629 WITH SCORE 95106.502
AT ITER 1751 NEW BEST:: SOT 2413465 SOS 477437 HAS SOPS 465314 HAS SOUS 96154 HAS SOUPS 94617 WITH SCORE 95094.437
AT ITER 1796 NEW BEST:: SOT 2413437 SOS 477409 HAS SOPS 465286 HAS SOUS 96083 HAS SOUPS 94546 WITH SCORE 95023.409
AT ITER 1797 NEW BEST:: SOT 2413428 SOS 477400 HAS SOPS 465277 HAS SOUS 95923 HAS SOUPS 94386 WITH SCORE 94863.4
AT ITER 1803 NEW BEST:: SOT 2413381 SOS 477377 HAS SOPS 465254 HAS SOUS 95901 HAS SOUPS 94364 WITH SCORE 94841.377
AT ITER 1821 NEW BEST:: SOT 2413368 SOS 477364 HAS SOPS 465241 HAS SOUS 95875 HAS SOUPS 94338 WITH SCORE 94815.364
AT ITER 1824 NEW BEST:: SOT 2413301 SOS 477297 HAS SOPS 465174 HAS SOUS 95835 HAS SOUPS 94298 WITH SCORE 94775.297
AT ITER 1828 NEW BEST:: SOT 2413301 SOS 477246 HAS SOPS 465123 HAS SOUS 95786 HAS SOUPS 94249 WITH SCORE 94726.246
AT ITER 1845 NEW BEST:: SOT 2413184 SOS 477129 HAS SOPS 465105 HAS SOUS 95755 HAS SOUPS 94218 WITH SCORE 94695.129
AT ITER 1847 NEW BEST:: SOT 2413183 SOS 477167 HAS SOPS 465143 HAS SOUS 95753 HAS SOUPS 94216 WITH SCORE 94693.167
AT ITER 1849 NEW BEST:: SOT 2413183 SOS 477077 HAS SOPS 465053 HAS SOUS 95753 HAS SOUPS 94216 WITH SCORE 94693.077
AT ITER 1854 NEW BEST:: SOT 2412736 SOS 476630 HAS SOPS 464606 HAS SOUS 95208 HAS SOUPS 93671 WITH SCORE 94147.63
AT ITER 1879 NEW BEST:: SOT 2412736 SOS 476640 HAS SOPS 464616 HAS SOUS 95194 HAS SOUPS 93657 WITH SCORE 94133.64
AT ITER 1896 NEW BEST:: SOT 2412770 SOS 476674 HAS SOPS 464650 HAS SOUS 95145 HAS SOUPS 93608 WITH SCORE 94084.674
AT ITER 1914 NEW BEST:: SOT 2412770 SOS 451589 HAS SOPS 439565 HAS SOUS 95145 HAS SOUPS 93608 WITH SCORE 94059.589
AT ITER 1953 NEW BEST:: SOT 2412759 SOS 451578 HAS SOPS 439554 HAS SOUS 95112 HAS SOUPS 93575 WITH SCORE 94026.578
AT ITER 1966 NEW BEST:: SOT 2412740 SOS 451654 HAS SOPS 439630 HAS SOUS 95093 HAS SOUPS 93556 WITH SCORE 94007.654
AT ITER 1967 NEW BEST:: SOT 2412740 SOS 451540 HAS SOPS 439516 HAS SOUS 95065 HAS SOUPS 93528 WITH SCORE 93979.54
AT ITER 1978 NEW BEST:: SOT 2412565 SOS 451318 HAS SOPS 439294 HAS SOUS 94843 HAS SOUPS 93306 WITH SCORE 93757.318
AT ITER 1979 NEW BEST:: SOT 2412565 SOS 451318 HAS SOPS 439294 HAS SOUS 94829 HAS SOUPS 93292 WITH SCORE 93743.318
AT ITER 1998 NEW BEST:: SOT 2412565 SOS 451008 HAS SOPS 438984 HAS SOUS 94759 HAS SOUPS 93222 WITH SCORE 93673.008
AT ITER 2006 NEW BEST:: SOT 2411902 SOS 449717 HAS SOPS 437693 HAS SOUS 94138 HAS SOUPS 92601 WITH SCORE 93050.717
AT ITER 2013 NEW BEST:: SOT 2411780 SOS 449595 HAS SOPS 437571 HAS SOUS 93955 HAS SOUPS 92418 WITH SCORE 92867.595
AT ITER 2042 NEW BEST:: SOT 2411693 SOS 449450 HAS SOPS 437426 HAS SOUS 93792 HAS SOUPS 92255 WITH SCORE 92704.45
AT ITER 2053 NEW BEST:: SOT 2411495 SOS 449067 HAS SOPS 437055 HAS SOUS 93451 HAS SOUPS 91914 WITH SCORE 92363.067
AT ITER 2058 NEW BEST:: SOT 2411493 SOS 449071 HAS SOPS 437059 HAS SOUS 93449 HAS SOUPS 91912 WITH SCORE 92361.071
AT ITER 2059 NEW BEST:: SOT 2411501 SOS 449064 HAS SOPS 437052 HAS SOUS 93366 HAS SOUPS 91829 WITH SCORE 92278.064
AT ITER 2063 NEW BEST:: SOT 2411491 SOS 449054 HAS SOPS 437042 HAS SOUS 93366 HAS SOUPS 91829 WITH SCORE 92278.054
AT ITER 2065 NEW BEST:: SOT 2411485 SOS 449048 HAS SOPS 437016 HAS SOUS 93320 HAS SOUPS 91783 WITH SCORE 92232.048
AT ITER 2080 NEW BEST:: SOT 2411479 SOS 449038 HAS SOPS 437006 HAS SOUS 93310 HAS SOUPS 91773 WITH SCORE 92222.038
AT ITER 2083 NEW BEST:: SOT 2411476 SOS 449035 HAS SOPS 437003 HAS SOUS 93307 HAS SOUPS 91770 WITH SCORE 92219.035
AT ITER 2092 NEW BEST:: SOT 2411465 SOS 449024 HAS SOPS 436981 HAS SOUS 93307 HAS SOUPS 91770 WITH SCORE 92219.024
AT ITER 2111 NEW BEST:: SOT 2411453 SOS 449020 HAS SOPS 436948 HAS SOUS 93282 HAS SOUPS 91745 WITH SCORE 92194.02
AT ITER 2112 NEW BEST:: SOT 2411447 SOS 449014 HAS SOPS 436942 HAS SOUS 93261 HAS SOUPS 91724 WITH SCORE 92173.014
AT ITER 2113 NEW BEST:: SOT 2411447 SOS 449034 HAS SOPS 436962 HAS SOUS 93259 HAS SOUPS 91722 WITH SCORE 92171.034
AT ITER 2118 NEW BEST:: SOT 2411403 SOS 448990 HAS SOPS 436996 HAS SOUS 93035 HAS SOUPS 91498 WITH SCORE 91946.99
AT ITER 2124 NEW BEST:: SOT 2411362 SOS 448754 HAS SOPS 436758 HAS SOUS 92827 HAS SOUPS 91290 WITH SCORE 91738.754
AT ITER 2126 NEW BEST:: SOT 2411188 SOS 448524 HAS SOPS 436528 HAS SOUS 92821 HAS SOUPS 91284 WITH SCORE 91732.524
AT ITER 2130 NEW BEST:: SOT 2411189 SOS 448525 HAS SOPS 436508 HAS SOUS 92800 HAS SOUPS 91263 WITH SCORE 91711.525
AT ITER 2131 NEW BEST:: SOT 2411140 SOS 448458 HAS SOPS 436405 HAS SOUS 92714 HAS SOUPS 91177 WITH SCORE 91625.458
AT ITER 2148 NEW BEST:: SOT 2411138 SOS 448419 HAS SOPS 436366 HAS SOUS 92586 HAS SOUPS 91049 WITH SCORE 91497.419
AT ITER 2153 NEW BEST:: SOT 2411135 SOS 448405 HAS SOPS 436352 HAS SOUS 92577 HAS SOUPS 91040 WITH SCORE 91488.405
AT ITER 2155 NEW BEST:: SOT 2411125 SOS 448395 HAS SOPS 436311 HAS SOUS 92525 HAS SOUPS 90988 WITH SCORE 91436.395
AT ITER 2168 NEW BEST:: SOT 2407563 SOS 445059 HAS SOPS 432622 HAS SOUS 88922 HAS SOUPS 87299 WITH SCORE 87744.059
AT ITER 2184 NEW BEST:: SOT 2407496 SOS 444992 HAS SOPS 432555 HAS SOUS 88913 HAS SOUPS 87290 WITH SCORE 87734.992
AT ITER 2195 NEW BEST:: SOT 2407509 SOS 445005 HAS SOPS 432523 HAS SOUS 88862 HAS SOUPS 87239 WITH SCORE 87684.005
AT ITER 2196 NEW BEST:: SOT 2407492 SOS 444990 HAS SOPS 432580 HAS SOUS 88856 HAS SOUPS 87233 WITH SCORE 87677.99
AT ITER 2203 NEW BEST:: SOT 2407357 SOS 443269 HAS SOPS 431023 HAS SOUS 88710 HAS SOUPS 87087 WITH SCORE 87530.269
AT ITER 2206 NEW BEST:: SOT 2407342 SOS 443209 HAS SOPS 430963 HAS SOUS 88695 HAS SOUPS 87072 WITH SCORE 87515.209
AT ITER 2241 NEW BEST:: SOT 2407322 SOS 443189 HAS SOPS 430953 HAS SOUS 88681 HAS SOUPS 87059 WITH SCORE 87502.189
AT ITER 2273 NEW BEST:: SOT 2407322 SOS 443261 HAS SOPS 431025 HAS SOUS 88663 HAS SOUPS 87041 WITH SCORE 87484.261
AT ITER 2278 NEW BEST:: SOT 2407297 SOS 442446 HAS SOPS 430210 HAS SOUS 88569 HAS SOUPS 86947 WITH SCORE 87389.446
AT ITER 2284 NEW BEST:: SOT 2407297 SOS 442427 HAS SOPS 430191 HAS SOUS 88569 HAS SOUPS 86947 WITH SCORE 87389.427
AT ITER 2291 NEW BEST:: SOT 2407283 SOS 442413 HAS SOPS 430177 HAS SOUS 88541 HAS SOUPS 86919 WITH SCORE 87361.413
AT ITER 2299 NEW BEST:: SOT 2407190 SOS 442255 HAS SOPS 430113 HAS SOUS 88525 HAS SOUPS 86903 WITH SCORE 87345.255
AT ITER 2312 NEW BEST:: SOT 2406879 SOS 442027 HAS SOPS 429885 HAS SOUS 88474 HAS SOUPS 86852 WITH SCORE 87294.027
AT ITER 2319 NEW BEST:: SOT 2406879 SOS 442027 HAS SOPS 429849 HAS SOUS 88439 HAS SOUPS 86817 WITH SCORE 87259.027
AT ITER 2326 NEW BEST:: SOT 2406717 SOS 438426 HAS SOPS 426816 HAS SOUS 88352 HAS SOUPS 86815 WITH SCORE 87253.426
AT ITER 2333 NEW BEST:: SOT 2406666 SOS 438433 HAS SOPS 426745 HAS SOUS 88250 HAS SOUPS 86713 WITH SCORE 87151.433
AT ITER 2335 NEW BEST:: SOT 2406542 SOS 438298 HAS SOPS 426610 HAS SOUS 87924 HAS SOUPS 86387 WITH SCORE 86825.298
AT ITER 2338 NEW BEST:: SOT 2406542 SOS 438337 HAS SOPS 426649 HAS SOUS 87871 HAS SOUPS 86334 WITH SCORE 86772.337
AT ITER 2348 NEW BEST:: SOT 2406610 SOS 438405 HAS SOPS 426682 HAS SOUS 87838 HAS SOUPS 86301 WITH SCORE 86739.405
AT ITER 2352 NEW BEST:: SOT 2406592 SOS 438373 HAS SOPS 426647 HAS SOUS 87805 HAS SOUPS 86268 WITH SCORE 86706.373
AT ITER 2353 NEW BEST:: SOT 2406594 SOS 438373 HAS SOPS 426647 HAS SOUS 87801 HAS SOUPS 86264 WITH SCORE 86702.373
AT ITER 2376 NEW BEST:: SOT 2406594 SOS 438373 HAS SOPS 426647 HAS SOUS 87785 HAS SOUPS 86248 WITH SCORE 86686.373
AT ITER 2386 NEW BEST:: SOT 2406591 SOS 438404 HAS SOPS 426678 HAS SOUS 87770 HAS SOUPS 86233 WITH SCORE 86671.404
AT ITER 2391 NEW BEST:: SOT 2406577 SOS 438390 HAS SOPS 426664 HAS SOUS 87742 HAS SOUPS 86205 WITH SCORE 86643.39
AT ITER 2392 NEW BEST:: SOT 2406487 SOS 438300 HAS SOPS 426595 HAS SOUS 87723 HAS SOUPS 86186 WITH SCORE 86624.3
AT ITER 2398 NEW BEST:: SOT 2406509 SOS 438388 HAS SOPS 426683 HAS SOUS 87695 HAS SOUPS 86158 WITH SCORE 86596.388
AT ITER 2399 NEW BEST:: SOT 2406480 SOS 438359 HAS SOPS 426654 HAS SOUS 87695 HAS SOUPS 86158 WITH SCORE 86596.359
AT ITER 2404 NEW BEST:: SOT 2406453 SOS 438332 HAS SOPS 426627 HAS SOUS 87644 HAS SOUPS 86107 WITH SCORE 86545.332
AT ITER 2405 NEW BEST:: SOT 2406427 SOS 438306 HAS SOPS 426575 HAS SOUS 87592 HAS SOUPS 86055 WITH SCORE 86493.306
AT ITER 2407 NEW BEST:: SOT 2405835 SOS 439494 HAS SOPS 430513 HAS SOUS 87202 HAS SOUPS 85778 WITH SCORE 86217.494
AT ITER 2417 NEW BEST:: SOT 2405901 SOS 439548 HAS SOPS 430473 HAS SOUS 86990 HAS SOUPS 85566 WITH SCORE 86005.548
AT ITER 2426 NEW BEST:: SOT 2405891 SOS 439538 HAS SOPS 430463 HAS SOUS 86978 HAS SOUPS 85554 WITH SCORE 85993.538
AT ITER 2439 NEW BEST:: SOT 2405891 SOS 439538 HAS SOPS 430463 HAS SOUS 86970 HAS SOUPS 85546 WITH SCORE 85985.538
AT ITER 2451 NEW BEST:: SOT 2405881 SOS 414930 HAS SOPS 405855 HAS SOUS 86944 HAS SOUPS 85520 WITH SCORE 85934.93
AT ITER 2462 NEW BEST:: SOT 2405900 SOS 414094 HAS SOPS 403289 HAS SOUS 86863 HAS SOUPS 85368 WITH SCORE 85782.094
AT ITER 2476 NEW BEST:: SOT 2405391 SOS 413585 HAS SOPS 402780 HAS SOUS 86363 HAS SOUPS 84868 WITH SCORE 85281.585
AT ITER 2495 NEW BEST:: SOT 2405379 SOS 413561 HAS SOPS 402756 HAS SOUS 86345 HAS SOUPS 84850 WITH SCORE 85263.561
AT ITER 2505 NEW BEST:: SOT 2405367 SOS 413549 HAS SOPS 402742 HAS SOUS 86328 HAS SOUPS 84833 WITH SCORE 85246.549
AT ITER 2509 NEW BEST:: SOT 2405314 SOS 413481 HAS SOPS 402674 HAS SOUS 86201 HAS SOUPS 84706 WITH SCORE 85119.481
AT ITER 2530 NEW BEST:: SOT 2404774 SOS 412861 HAS SOPS 402054 HAS SOUS 85494 HAS SOUPS 83999 WITH SCORE 84411.861
AT ITER 2532 NEW BEST:: SOT 2404774 SOS 412792 HAS SOPS 401985 HAS SOUS 85487 HAS SOUPS 83992 WITH SCORE 84404.792
AT ITER 2536 NEW BEST:: SOT 2404375 SOS 412452 HAS SOPS 401645 HAS SOUS 85143 HAS SOUPS 83648 WITH SCORE 84060.452
AT ITER 2537 NEW BEST:: SOT 2404375 SOS 412452 HAS SOPS 401645 HAS SOUS 85127 HAS SOUPS 83632 WITH SCORE 84044.452
AT ITER 2551 NEW BEST:: SOT 2404207 SOS 412163 HAS SOPS 401463 HAS SOUS 85050 HAS SOUPS 83555 WITH SCORE 83967.163
AT ITER 2558 NEW BEST:: SOT 2404227 SOS 414348 HAS SOPS 403340 HAS SOUS 85042 HAS SOUPS 83477 WITH SCORE 83891.348
AT ITER 2579 NEW BEST:: SOT 2404167 SOS 414216 HAS SOPS 403208 HAS SOUS 84976 HAS SOUPS 83411 WITH SCORE 83825.216
AT ITER 2599 NEW BEST:: SOT 2404146 SOS 414195 HAS SOPS 403164 HAS SOUS 84933 HAS SOUPS 83368 WITH SCORE 83782.195
AT ITER 2602 NEW BEST:: SOT 2402466 SOS 412515 HAS SOPS 401484 HAS SOUS 83224 HAS SOUPS 81659 WITH SCORE 82071.515
AT ITER 2609 NEW BEST:: SOT 2402416 SOS 412475 HAS SOPS 401444 HAS SOUS 83164 HAS SOUPS 81599 WITH SCORE 82011.475
AT ITER 2624 NEW BEST:: SOT 2402237 SOS 412296 HAS SOPS 401265 HAS SOUS 82991 HAS SOUPS 81426 WITH SCORE 81838.296
AT ITER 2627 NEW BEST:: SOT 2402201 SOS 412408 HAS SOPS 401377 HAS SOUS 82971 HAS SOUPS 81406 WITH SCORE 81818.408
AT ITER 2657 NEW BEST:: SOT 2402201 SOS 412360 HAS SOPS 401329 HAS SOUS 82970 HAS SOUPS 81405 WITH SCORE 81817.36
AT ITER 2674 NEW BEST:: SOT 2402197 SOS 412356 HAS SOPS 401325 HAS SOUS 82966 HAS SOUPS 81401 WITH SCORE 81813.356
AT ITER 2677 NEW BEST:: SOT 2402205 SOS 412419 HAS SOPS 401388 HAS SOUS 82797 HAS SOUPS 81232 WITH SCORE 81644.419
AT ITER 2688 NEW BEST:: SOT 2402319 SOS 412533 HAS SOPS 401502 HAS SOUS 82684 HAS SOUPS 81119 WITH SCORE 81531.533
AT ITER 2701 NEW BEST:: SOT 2402324 SOS 412538 HAS SOPS 401507 HAS SOUS 82657 HAS SOUPS 81092 WITH SCORE 81504.538
AT ITER 2709 NEW BEST:: SOT 2402240 SOS 411806 HAS SOPS 400779 HAS SOUS 82517 HAS SOUPS 80952 WITH SCORE 81363.806
AT ITER 2726 NEW BEST:: SOT 2402417 SOS 412477 HAS SOPS 401384 HAS SOUS 82502 HAS SOUPS 80937 WITH SCORE 81349.477
AT ITER 2736 NEW BEST:: SOT 2402372 SOS 412432 HAS SOPS 401339 HAS SOUS 82412 HAS SOUPS 80847 WITH SCORE 81259.432
AT ITER 2746 NEW BEST:: SOT 2402372 SOS 412516 HAS SOPS 401423 HAS SOUS 82363 HAS SOUPS 80798 WITH SCORE 81210.516
AT ITER 2751 NEW BEST:: SOT 2402383 SOS 412527 HAS SOPS 401434 HAS SOUS 82342 HAS SOUPS 80777 WITH SCORE 81189.527
AT ITER 2759 NEW BEST:: SOT 2402361 SOS 412505 HAS SOPS 401412 HAS SOUS 82320 HAS SOUPS 80755 WITH SCORE 81167.505
AT ITER 2779 NEW BEST:: SOT 2402357 SOS 412493 HAS SOPS 401400 HAS SOUS 82312 HAS SOUPS 80747 WITH SCORE 81159.493
AT ITER 2783 NEW BEST:: SOT 2402323 SOS 412465 HAS SOPS 401372 HAS SOUS 82279 HAS SOUPS 80714 WITH SCORE 81126.465
AT ITER 2789 NEW BEST:: SOT 2402306 SOS 412448 HAS SOPS 401355 HAS SOUS 82274 HAS SOUPS 80709 WITH SCORE 81121.448
AT ITER 2790 NEW BEST:: SOT 2402304 SOS 412446 HAS SOPS 401353 HAS SOUS 82271 HAS SOUPS 80706 WITH SCORE 81118.446
AT ITER 2805 NEW BEST:: SOT 2402297 SOS 412413 HAS SOPS 401320 HAS SOUS 82238 HAS SOUPS 80673 WITH SCORE 81085.413
AT ITER 2809 NEW BEST:: SOT 2402237 SOS 412338 HAS SOPS 401215 HAS SOUS 82148 HAS SOUPS 80583 WITH SCORE 80995.338
AT ITER 2810 NEW BEST:: SOT 2402012 SOS 412189 HAS SOPS 401066 HAS SOUS 82142 HAS SOUPS 80577 WITH SCORE 80989.189
AT ITER 2823 NEW BEST:: SOT 2402024 SOS 412182 HAS SOPS 401059 HAS SOUS 82105 HAS SOUPS 80540 WITH SCORE 80952.182
AT ITER 2825 NEW BEST:: SOT 2402026 SOS 412184 HAS SOPS 401065 HAS SOUS 82099 HAS SOUPS 80534 WITH SCORE 80946.184
AT ITER 2827 NEW BEST:: SOT 2401977 SOS 412135 HAS SOPS 401016 HAS SOUS 82049 HAS SOUPS 80484 WITH SCORE 80896.135
AT ITER 2832 NEW BEST:: SOT 2402070 SOS 411545 HAS SOPS 400426 HAS SOUS 82047 HAS SOUPS 80482 WITH SCORE 80893.545
AT ITER 2833 NEW BEST:: SOT 2402115 SOS 411511 HAS SOPS 400392 HAS SOUS 81999 HAS SOUPS 80434 WITH SCORE 80845.511
AT ITER 2836 NEW BEST:: SOT 2402105 SOS 411443 HAS SOPS 400324 HAS SOUS 81947 HAS SOUPS 80382 WITH SCORE 80793.443
AT ITER 2854 NEW BEST:: SOT 2402080 SOS 411418 HAS SOPS 400299 HAS SOUS 81918 HAS SOUPS 80353 WITH SCORE 80764.418
AT ITER 2859 NEW BEST:: SOT 2402064 SOS 411448 HAS SOPS 400220 HAS SOUS 81763 HAS SOUPS 80198 WITH SCORE 80609.448
AT ITER 2863 NEW BEST:: SOT 2402064 SOS 411448 HAS SOPS 400220 HAS SOUS 81757 HAS SOUPS 80192 WITH SCORE 80603.448
AT ITER 2869 NEW BEST:: SOT 2402026 SOS 411393 HAS SOPS 400165 HAS SOUS 81715 HAS SOUPS 80150 WITH SCORE 80561.393
AT ITER 2872 NEW BEST:: SOT 2401969 SOS 411336 HAS SOPS 400032 HAS SOUS 81594 HAS SOUPS 80029 WITH SCORE 80440.336
AT ITER 2888 NEW BEST:: SOT 2401938 SOS 411288 HAS SOPS 399984 HAS SOUS 81549 HAS SOUPS 79984 WITH SCORE 80395.288
AT ITER 2889 NEW BEST:: SOT 2401874 SOS 409156 HAS SOPS 398352 HAS SOUS 81400 HAS SOUPS 79960 WITH SCORE 80369.156
AT ITER 2962 NEW BEST:: SOT 2401775 SOS 409080 HAS SOPS 398276 HAS SOUS 81324 HAS SOUPS 79884 WITH SCORE 80293.08
AT ITER 2970 NEW BEST:: SOT 2401791 SOS 409140 HAS SOPS 398280 HAS SOUS 81300 HAS SOUPS 79860 WITH SCORE 80269.14
AT ITER 2971 NEW BEST:: SOT 2401719 SOS 409028 HAS SOPS 398168 HAS SOUS 81228 HAS SOUPS 79788 WITH SCORE 80197.028
AT ITER 2979 NEW BEST:: SOT 2401717 SOS 409034 HAS SOPS 398176 HAS SOUS 81226 HAS SOUPS 79786 WITH SCORE 80195.034
AT ITER 2980 NEW BEST:: SOT 2401821 SOS 409134 HAS SOPS 398276 HAS SOUS 81220 HAS SOUPS 79780 WITH SCORE 80189.134
AT ITER 2985 NEW BEST:: SOT 2401763 SOS 408992 HAS SOPS 398134 HAS SOUS 81119 HAS SOUPS 79679 WITH SCORE 80087.992
AT ITER 3012 NEW BEST:: SOT 2401807 SOS 409080 HAS SOPS 398222 HAS SOUS 80943 HAS SOUPS 79503 WITH SCORE 79912.08
AT ITER 3045 NEW BEST:: SOT 2401701 SOS 408974 HAS SOPS 398116 HAS SOUS 80753 HAS SOUPS 79313 WITH SCORE 79721.974
AT ITER 3067 NEW BEST:: SOT 2401701 SOS 408953 HAS SOPS 398088 HAS SOUS 80748 HAS SOUPS 79310 WITH SCORE 79718.953
AT ITER 3072 NEW BEST:: SOT 2401693 SOS 408917 HAS SOPS 398052 HAS SOUS 80728 HAS SOUPS 79290 WITH SCORE 79698.917
AT ITER 3077 NEW BEST:: SOT 2401665 SOS 408917 HAS SOPS 398052 HAS SOUS 80700 HAS SOUPS 79262 WITH SCORE 79670.917
AT ITER 3088 NEW BEST:: SOT 2401652 SOS 408543 HAS SOPS 397702 HAS SOUS 80687 HAS SOUPS 79238 WITH SCORE 79646.543
AT ITER 3097 NEW BEST:: SOT 2401454 SOS 408312 HAS SOPS 397471 HAS SOUS 80456 HAS SOUPS 79007 WITH SCORE 79415.312
AT ITER 3101 NEW BEST:: SOT 2401454 SOS 408384 HAS SOPS 397543 HAS SOUS 80423 HAS SOUPS 78974 WITH SCORE 79382.384
AT ITER 3108 NEW BEST:: SOT 2401424 SOS 408384 HAS SOPS 397543 HAS SOUS 80413 HAS SOUPS 78964 WITH SCORE 79372.384
AT ITER 3111 NEW BEST:: SOT 2401376 SOS 408246 HAS SOPS 397405 HAS SOUS 80350 HAS SOUPS 78901 WITH SCORE 79309.246
AT ITER 3133 NEW BEST:: SOT 2401421 SOS 409366 HAS SOPS 398530 HAS SOUS 79739 HAS SOUPS 78290 WITH SCORE 78699.366
AT ITER 3137 NEW BEST:: SOT 2401409 SOS 409290 HAS SOPS 398454 HAS SOUS 79705 HAS SOUPS 78256 WITH SCORE 78665.29
AT ITER 3142 NEW BEST:: SOT 2401246 SOS 409099 HAS SOPS 398263 HAS SOUS 79519 HAS SOUPS 78070 WITH SCORE 78479.099
AT ITER 3146 NEW BEST:: SOT 2401267 SOS 409168 HAS SOPS 398332 HAS SOUS 79471 HAS SOUPS 78022 WITH SCORE 78431.168
AT ITER 3149 NEW BEST:: SOT 2401331 SOS 409364 HAS SOPS 398384 HAS SOUS 79484 HAS SOUPS 77976 WITH SCORE 78385.364
AT ITER 3159 NEW BEST:: SOT 2401331 SOS 409367 HAS SOPS 398387 HAS SOUS 79481 HAS SOUPS 77973 WITH SCORE 78382.367
AT ITER 3172 NEW BEST:: SOT 2401328 SOS 409364 HAS SOPS 398384 HAS SOUS 79475 HAS SOUPS 77967 WITH SCORE 78376.364
AT ITER 3174 NEW BEST:: SOT 2401321 SOS 409357 HAS SOPS 398377 HAS SOUS 79440 HAS SOUPS 77932 WITH SCORE 78341.357
AT ITER 3231 NEW BEST:: SOT 2401325 SOS 409324 HAS SOPS 398344 HAS SOUS 79419 HAS SOUPS 77911 WITH SCORE 78320.324
AT ITER 3243 NEW BEST:: SOT 2401231 SOS 409230 HAS SOPS 398250 HAS SOUS 79218 HAS SOUPS 77710 WITH SCORE 78119.23
AT ITER 3254 NEW BEST:: SOT 2401161 SOS 409160 HAS SOPS 398180 HAS SOUS 79138 HAS SOUPS 77630 WITH SCORE 78039.16
AT ITER 3264 NEW BEST:: SOT 2401161 SOS 409160 HAS SOPS 398180 HAS SOUS 79107 HAS SOUPS 77599 WITH SCORE 78008.16
AT ITER 3273 NEW BEST:: SOT 2401183 SOS 409182 HAS SOPS 398202 HAS SOUS 79083 HAS SOUPS 77575 WITH SCORE 77984.182
AT ITER 3307 NEW BEST:: SOT 2401168 SOS 409133 HAS SOPS 398103 HAS SOUS 79002 HAS SOUPS 77494 WITH SCORE 77903.133
AT ITER 3320 NEW BEST:: SOT 2401218 SOS 409183 HAS SOPS 398153 HAS SOUS 78992 HAS SOUPS 77484 WITH SCORE 77893.183
AT ITER 3325 NEW BEST:: SOT 2401151 SOS 409136 HAS SOPS 398106 HAS SOUS 78947 HAS SOUPS 77439 WITH SCORE 77848.136
AT ITER 3348 NEW BEST:: SOT 2401151 SOS 409128 HAS SOPS 398098 HAS SOUS 78941 HAS SOUPS 77433 WITH SCORE 77842.128
AT ITER 3349 NEW BEST:: SOT 2401123 SOS 409128 HAS SOPS 398098 HAS SOUS 78885 HAS SOUPS 77377 WITH SCORE 77786.128
AT ITER 3370 NEW BEST:: SOT 2401118 SOS 409092 HAS SOPS 398062 HAS SOUS 78882 HAS SOUPS 77374 WITH SCORE 77783.092
AT ITER 3373 NEW BEST:: SOT 2401069 SOS 409001 HAS SOPS 397972 HAS SOUS 78834 HAS SOUPS 77326 WITH SCORE 77735.001
AT ITER 3374 NEW BEST:: SOT 2401082 SOS 409181 HAS SOPS 398152 HAS SOUS 78821 HAS SOUPS 77313 WITH SCORE 77722.181
AT ITER 3390 NEW BEST:: SOT 2401082 SOS 408398 HAS SOPS 397369 HAS SOUS 78767 HAS SOUPS 77259 WITH SCORE 77667.398
AT ITER 3399 NEW BEST:: SOT 2401075 SOS 408461 HAS SOPS 397432 HAS SOUS 78594 HAS SOUPS 77086 WITH SCORE 77494.461
AT ITER 3401 NEW BEST:: SOT 2401054 SOS 408440 HAS SOPS 397411 HAS SOUS 78552 HAS SOUPS 77044 WITH SCORE 77452.44
AT ITER 3404 NEW BEST:: SOT 2400974 SOS 408146 HAS SOPS 397117 HAS SOUS 78544 HAS SOUPS 77036 WITH SCORE 77444.146
AT ITER 3407 NEW BEST:: SOT 2400950 SOS 408107 HAS SOPS 397078 HAS SOUS 78541 HAS SOUPS 77033 WITH SCORE 77441.107
AT ITER 3414 NEW BEST:: SOT 2400954 SOS 408024 HAS SOPS 396995 HAS SOUS 78523 HAS SOUPS 77015 WITH SCORE 77423.024
AT ITER 3415 NEW BEST:: SOT 2400905 SOS 407985 HAS SOPS 396936 HAS SOUS 78454 HAS SOUPS 76946 WITH SCORE 77353.985
AT ITER 3432 NEW BEST:: SOT 2400831 SOS 407833 HAS SOPS 396784 HAS SOUS 78354 HAS SOUPS 76846 WITH SCORE 77253.833
AT ITER 3438 NEW BEST:: SOT 2400886 SOS 407902 HAS SOPS 396853 HAS SOUS 78303 HAS SOUPS 76795 WITH SCORE 77202.902
AT ITER 3439 NEW BEST:: SOT 2400788 SOS 407851 HAS SOPS 396802 HAS SOUS 77957 HAS SOUPS 76449 WITH SCORE 76856.851
AT ITER 3442 NEW BEST:: SOT 2400776 SOS 407835 HAS SOPS 396786 HAS SOUS 77945 HAS SOUPS 76437 WITH SCORE 76844.835
AT ITER 3462 NEW BEST:: SOT 2400776 SOS 407833 HAS SOPS 396784 HAS SOUS 77945 HAS SOUPS 76437 WITH SCORE 76844.833
AT ITER 3488 NEW BEST:: SOT 2400817 SOS 407736 HAS SOPS 396687 HAS SOUS 77848 HAS SOUPS 76340 WITH SCORE 76747.736
AT ITER 3513 NEW BEST:: SOT 2400790 SOS 407760 HAS SOPS 396711 HAS SOUS 77794 HAS SOUPS 76286 WITH SCORE 76693.76
AT ITER 3526 NEW BEST:: SOT 2400781 SOS 407748 HAS SOPS 396699 HAS SOUS 77782 HAS SOUPS 76274 WITH SCORE 76681.748
AT ITER 3546 NEW BEST:: SOT 2400785 SOS 407451 HAS SOPS 396402 HAS SOUS 77759 HAS SOUPS 76251 WITH SCORE 76658.451
AT ITER 3555 NEW BEST:: SOT 2400748 SOS 407414 HAS SOPS 396346 HAS SOUS 77685 HAS SOUPS 76177 WITH SCORE 76584.414
AT ITER 3558 NEW BEST:: SOT 2400733 SOS 407243 HAS SOPS 396175 HAS SOUS 77681 HAS SOUPS 76173 WITH SCORE 76580.243
AT ITER 3559 NEW BEST:: SOT 2400737 SOS 408250 HAS SOPS 396174 HAS SOUS 77689 HAS SOUPS 76160 WITH SCORE 76568.25
AT ITER 3569 NEW BEST:: SOT 2400712 SOS 408202 HAS SOPS 396126 HAS SOUS 77661 HAS SOUPS 76132 WITH SCORE 76540.202
AT ITER 3578 NEW BEST:: SOT 2400716 SOS 408206 HAS SOPS 396103 HAS SOUS 77632 HAS SOUPS 76103 WITH SCORE 76511.206
AT ITER 3592 NEW BEST:: SOT 2400655 SOS 408058 HAS SOPS 395955 HAS SOUS 77510 HAS SOUPS 75981 WITH SCORE 76389.058
AT ITER 3652 NEW BEST:: SOT 2400655 SOS 408044 HAS SOPS 395941 HAS SOUS 77508 HAS SOUPS 75979 WITH SCORE 76387.044
AT ITER 3668 NEW BEST:: SOT 2400631 SOS 408018 HAS SOPS 395915 HAS SOUS 77482 HAS SOUPS 75953 WITH SCORE 76361.018
AT ITER 3678 NEW BEST:: SOT 2400911 SOS 408818 HAS SOPS 396715 HAS SOUS 77458 HAS SOUPS 75929 WITH SCORE 76337.818
AT ITER 3705 NEW BEST:: SOT 2400893 SOS 408800 HAS SOPS 396697 HAS SOUS 77428 HAS SOUPS 75899 WITH SCORE 76307.8
AT ITER 3707 NEW BEST:: SOT 2399646 SOS 407553 HAS SOPS 395450 HAS SOUS 76789 HAS SOUPS 75260 WITH SCORE 75667.553
AT ITER 3723 NEW BEST:: SOT 2399584 SOS 407491 HAS SOPS 395388 HAS SOUS 76788 HAS SOUPS 75259 WITH SCORE 75666.491
AT ITER 3731 NEW BEST:: SOT 2399511 SOS 407199 HAS SOPS 395096 HAS SOUS 76788 HAS SOUPS 75259 WITH SCORE 75666.199
AT ITER 3733 NEW BEST:: SOT 2399511 SOS 407189 HAS SOPS 395086 HAS SOUS 76788 HAS SOUPS 75259 WITH SCORE 75666.189
AT ITER 3756 NEW BEST:: SOT 2399501 SOS 407142 HAS SOPS 395034 HAS SOUS 76772 HAS SOUPS 75243 WITH SCORE 75650.142
AT ITER 3757 NEW BEST:: SOT 2399379 SOS 407211 HAS SOPS 395103 HAS SOUS 76678 HAS SOUPS 75149 WITH SCORE 75556.211
AT ITER 3759 NEW BEST:: SOT 2399170 SOS 406455 HAS SOPS 394347 HAS SOUS 76660 HAS SOUPS 75131 WITH SCORE 75537.455
AT ITER 3776 NEW BEST:: SOT 2399133 SOS 406499 HAS SOPS 394391 HAS SOUS 76629 HAS SOUPS 75100 WITH SCORE 75506.499
AT ITER 3777 NEW BEST:: SOT 2399133 SOS 406693 HAS SOPS 394508 HAS SOUS 76566 HAS SOUPS 75037 WITH SCORE 75443.693
AT ITER 3788 NEW BEST:: SOT 2399133 SOS 406705 HAS SOPS 394520 HAS SOUS 76532 HAS SOUPS 75003 WITH SCORE 75409.705
AT ITER 3800 NEW BEST:: SOT 2399132 SOS 406262 HAS SOPS 394077 HAS SOUS 76505 HAS SOUPS 74976 WITH SCORE 75382.262
AT ITER 3811 NEW BEST:: SOT 2399132 SOS 406328 HAS SOPS 394143 HAS SOUS 76395 HAS SOUPS 74866 WITH SCORE 75272.328
AT ITER 3812 NEW BEST:: SOT 2399132 SOS 347621 HAS SOPS 335436 HAS SOUS 76439 HAS SOUPS 74910 WITH SCORE 75257.621
AT ITER 3818 NEW BEST:: SOT 2399104 SOS 347593 HAS SOPS 335408 HAS SOUS 76403 HAS SOUPS 74874 WITH SCORE 75221.593
AT ITER 3829 NEW BEST:: SOT 2399109 SOS 347588 HAS SOPS 335403 HAS SOUS 76359 HAS SOUPS 74830 WITH SCORE 75177.588
AT ITER 3835 NEW BEST:: SOT 2399064 SOS 346899 HAS SOPS 334714 HAS SOUS 76269 HAS SOUPS 74740 WITH SCORE 75086.899
AT ITER 3856 NEW BEST:: SOT 2399056 SOS 346891 HAS SOPS 334706 HAS SOUS 76263 HAS SOUPS 74729 WITH SCORE 75075.891
AT ITER 3884 NEW BEST:: SOT 2399081 SOS 346899 HAS SOPS 334714 HAS SOUS 76216 HAS SOUPS 74682 WITH SCORE 75028.899
AT ITER 3887 NEW BEST:: SOT 2399077 SOS 346887 HAS SOPS 334711 HAS SOUS 76210 HAS SOUPS 74676 WITH SCORE 75022.887
AT ITER 3889 NEW BEST:: SOT 2399090 SOS 347879 HAS SOPS 334663 HAS SOUS 76199 HAS SOUPS 74628 WITH SCORE 74975.879
AT ITER 3906 NEW BEST:: SOT 2399059 SOS 347848 HAS SOPS 334632 HAS SOUS 76166 HAS SOUPS 74595 WITH SCORE 74942.848
AT ITER 3923 NEW BEST:: SOT 2398959 SOS 347748 HAS SOPS 334532 HAS SOUS 76081 HAS SOUPS 74510 WITH SCORE 74857.748
AT ITER 3937 NEW BEST:: SOT 2398930 SOS 345943 HAS SOPS 332727 HAS SOUS 76028 HAS SOUPS 74457 WITH SCORE 74802.943
AT ITER 3956 NEW BEST:: SOT 2398833 SOS 345750 HAS SOPS 332534 HAS SOUS 75927 HAS SOUPS 74356 WITH SCORE 74701.75
AT ITER 3979 NEW BEST:: SOT 2398813 SOS 345730 HAS SOPS 332514 HAS SOUS 75911 HAS SOUPS 74340 WITH SCORE 74685.73
AT ITER 3984 NEW BEST:: SOT 2398813 SOS 345730 HAS SOPS 332514 HAS SOUS 75838 HAS SOUPS 74267 WITH SCORE 74612.73
AT ITER 3989 NEW BEST:: SOT 2399097 SOS 346124 HAS SOPS 332908 HAS SOUS 75811 HAS SOUPS 74240 WITH SCORE 74586.124
AT ITER 4009 NEW BEST:: SOT 2399004 SOS 346031 HAS SOPS 332834 HAS SOUS 75693 HAS SOUPS 74122 WITH SCORE 74468.031
AT ITER 4011 NEW BEST:: SOT 2398941 SOS 345866 HAS SOPS 332678 HAS SOUS 75601 HAS SOUPS 74030 WITH SCORE 74375.866
AT ITER 4037 NEW BEST:: SOT 2398941 SOS 345901 HAS SOPS 332713 HAS SOUS 75594 HAS SOUPS 74023 WITH SCORE 74368.901
AT ITER 4046 NEW BEST:: SOT 2398930 SOS 345890 HAS SOPS 332702 HAS SOUS 75517 HAS SOUPS 73946 WITH SCORE 74291.89
AT ITER 4054 NEW BEST:: SOT 2399077 SOS 346037 HAS SOPS 332849 HAS SOUS 74714 HAS SOUPS 73143 WITH SCORE 73489.037
AT ITER 4064 NEW BEST:: SOT 2398849 SOS 345747 HAS SOPS 332559 HAS SOUS 74691 HAS SOUPS 73120 WITH SCORE 73465.747
AT ITER 4079 NEW BEST:: SOT 2398760 SOS 345658 HAS SOPS 332564 HAS SOUS 74681 HAS SOUPS 73110 WITH SCORE 73455.658
AT ITER 4144 NEW BEST:: SOT 2398760 SOS 345640 HAS SOPS 332546 HAS SOUS 74669 HAS SOUPS 73098 WITH SCORE 73443.64
AT ITER 4164 NEW BEST:: SOT 2398776 SOS 345620 HAS SOPS 332542 HAS SOUS 74637 HAS SOUPS 73066 WITH SCORE 73411.62
AT ITER 4167 NEW BEST:: SOT 2398774 SOS 345606 HAS SOPS 332528 HAS SOUS 74631 HAS SOUPS 73060 WITH SCORE 73405.606
AT ITER 4188 NEW BEST:: SOT 2398774 SOS 345561 HAS SOPS 332483 HAS SOUS 74631 HAS SOUPS 73060 WITH SCORE 73405.561
AT ITER 4206 NEW BEST:: SOT 2398761 SOS 345509 HAS SOPS 332431 HAS SOUS 74592 HAS SOUPS 73021 WITH SCORE 73366.509
AT ITER 4211 NEW BEST:: SOT 2398668 SOS 344576 HAS SOPS 331498 HAS SOUS 74518 HAS SOUPS 72947 WITH SCORE 73291.576
AT ITER 4252 NEW BEST:: SOT 2398666 SOS 344481 HAS SOPS 331403 HAS SOUS 74486 HAS SOUPS 72915 WITH SCORE 73259.481
AT ITER 4260 NEW BEST:: SOT 2398703 SOS 344726 HAS SOPS 331612 HAS SOUS 74484 HAS SOUPS 72913 WITH SCORE 73257.726
AT ITER 4349 NEW BEST:: SOT 2398694 SOS 344717 HAS SOPS 331603 HAS SOUS 74484 HAS SOUPS 72913 WITH SCORE 73257.717
AT ITER 4419 NEW BEST:: SOT 2398584 SOS 344607 HAS SOPS 331493 HAS SOUS 74316 HAS SOUPS 72745 WITH SCORE 73089.607
AT ITER 4425 NEW BEST:: SOT 2398570 SOS 342535 HAS SOPS 329421 HAS SOUS 74288 HAS SOUPS 72717 WITH SCORE 73059.535
AT ITER 4442 NEW BEST:: SOT 2398557 SOS 342522 HAS SOPS 329408 HAS SOUS 74262 HAS SOUPS 72691 WITH SCORE 73033.522
AT ITER 4444 NEW BEST:: SOT 2398537 SOS 341302 HAS SOPS 328278 HAS SOUS 74202 HAS SOUPS 72631 WITH SCORE 72972.302
AT ITER 4446 NEW BEST:: SOT 2398527 SOS 341272 HAS SOPS 328248 HAS SOUS 74187 HAS SOUPS 72616 WITH SCORE 72957.272
AT ITER 4477 NEW BEST:: SOT 2398579 SOS 341443 HAS SOPS 328315 HAS SOUS 74101 HAS SOUPS 72530 WITH SCORE 72871.443
AT ITER 4498 NEW BEST:: SOT 2398389 SOS 341252 HAS SOPS 328124 HAS SOUS 73860 HAS SOUPS 72289 WITH SCORE 72630.252
AT ITER 4508 NEW BEST:: SOT 2398379 SOS 341237 HAS SOPS 328109 HAS SOUS 73850 HAS SOUPS 72279 WITH SCORE 72620.237
AT ITER 4513 NEW BEST:: SOT 2398377 SOS 341171 HAS SOPS 328043 HAS SOUS 73745 HAS SOUPS 72174 WITH SCORE 72515.171
AT ITER 4514 NEW BEST:: SOT 2398363 SOS 341154 HAS SOPS 328014 HAS SOUS 73747 HAS SOUPS 72164 WITH SCORE 72505.154
AT ITER 4515 NEW BEST:: SOT 2398342 SOS 341154 HAS SOPS 328031 HAS SOUS 73732 HAS SOUPS 72149 WITH SCORE 72490.154
AT ITER 4537 NEW BEST:: SOT 2398272 SOS 341378 HAS SOPS 328255 HAS SOUS 73695 HAS SOUPS 72112 WITH SCORE 72453.378
AT ITER 4538 NEW BEST:: SOT 2398234 SOS 341235 HAS SOPS 328112 HAS SOUS 73693 HAS SOUPS 72110 WITH SCORE 72451.235
AT ITER 4557 NEW BEST:: SOT 2398174 SOS 341197 HAS SOPS 328074 HAS SOUS 73599 HAS SOUPS 72016 WITH SCORE 72357.197
AT ITER 4560 NEW BEST:: SOT 2398115 SOS 341196 HAS SOPS 328073 HAS SOUS 73562 HAS SOUPS 71979 WITH SCORE 72320.196
AT ITER 4567 NEW BEST:: SOT 2398116 SOS 341204 HAS SOPS 328081 HAS SOUS 73560 HAS SOUPS 71977 WITH SCORE 72318.204
AT ITER 4575 NEW BEST:: SOT 2398116 SOS 341216 HAS SOPS 328093 HAS SOUS 73540 HAS SOUPS 71957 WITH SCORE 72298.216
AT ITER 4577 NEW BEST:: SOT 2398105 SOS 341286 HAS SOPS 328109 HAS SOUS 73518 HAS SOUPS 71935 WITH SCORE 72276.286
AT ITER 4609 NEW BEST:: SOT 2398081 SOS 341136 HAS SOPS 327959 HAS SOUS 73470 HAS SOUPS 71887 WITH SCORE 72228.136
AT ITER 4619 NEW BEST:: SOT 2398081 SOS 341133 HAS SOPS 327956 HAS SOUS 73454 HAS SOUPS 71871 WITH SCORE 72212.133
AT ITER 4647 NEW BEST:: SOT 2398073 SOS 341126 HAS SOPS 327940 HAS SOUS 73438 HAS SOUPS 71855 WITH SCORE 72196.126
AT ITER 4659 NEW BEST:: SOT 2398054 SOS 341107 HAS SOPS 327921 HAS SOUS 73411 HAS SOUPS 71828 WITH SCORE 72169.107
AT ITER 4664 NEW BEST:: SOT 2398086 SOS 341139 HAS SOPS 327929 HAS SOUS 73408 HAS SOUPS 71814 WITH SCORE 72155.139
AT ITER 4665 NEW BEST:: SOT 2398052 SOS 341069 HAS SOPS 327859 HAS SOUS 73376 HAS SOUPS 71782 WITH SCORE 72123.069
AT ITER 4675 NEW BEST:: SOT 2397916 SOS 341524 HAS SOPS 329637 HAS SOUS 73267 HAS SOUPS 71735 WITH SCORE 72076.524
AT ITER 4676 NEW BEST:: SOT 2397828 SOS 341417 HAS SOPS 329530 HAS SOUS 73252 HAS SOUPS 71720 WITH SCORE 72061.417
AT ITER 4700 NEW BEST:: SOT 2397776 SOS 341313 HAS SOPS 329426 HAS SOUS 73213 HAS SOUPS 71681 WITH SCORE 72022.313
AT ITER 4705 NEW BEST:: SOT 2397755 SOS 341292 HAS SOPS 329398 HAS SOUS 73171 HAS SOUPS 71639 WITH SCORE 71980.292
AT ITER 4730 NEW BEST:: SOT 2397761 SOS 341280 HAS SOPS 329386 HAS SOUS 73159 HAS SOUPS 71627 WITH SCORE 71968.28
AT ITER 4742 NEW BEST:: SOT 2397741 SOS 341206 HAS SOPS 329312 HAS SOUS 73101 HAS SOUPS 71569 WITH SCORE 71910.206
AT ITER 4747 NEW BEST:: SOT 2397733 SOS 341202 HAS SOPS 329308 HAS SOUS 73097 HAS SOUPS 71565 WITH SCORE 71906.202
AT ITER 4769 NEW BEST:: SOT 2397633 SOS 341135 HAS SOPS 329193 HAS SOUS 72970 HAS SOUPS 71438 WITH SCORE 71779.135
AT ITER 4800 NEW BEST:: SOT 2397638 SOS 341135 HAS SOPS 329193 HAS SOUS 72965 HAS SOUPS 71433 WITH SCORE 71774.135
AT ITER 4802 NEW BEST:: SOT 2397627 SOS 341134 HAS SOPS 329192 HAS SOUS 72953 HAS SOUPS 71421 WITH SCORE 71762.134
AT ITER 4806 NEW BEST:: SOT 2397645 SOS 341152 HAS SOPS 329166 HAS SOUS 72940 HAS SOUPS 71408 WITH SCORE 71749.152
AT ITER 4835 NEW BEST:: SOT 2397309 SOS 340816 HAS SOPS 328830 HAS SOUS 72879 HAS SOUPS 71347 WITH SCORE 71687.816
AT ITER 4877 NEW BEST:: SOT 2397335 SOS 341186 HAS SOPS 329070 HAS SOUS 72873 HAS SOUPS 71315 WITH SCORE 71656.186
AT ITER 4886 NEW BEST:: SOT 2397303 SOS 341171 HAS SOPS 329055 HAS SOUS 72713 HAS SOUPS 71155 WITH SCORE 71496.171
AT ITER 4892 NEW BEST:: SOT 2397287 SOS 341153 HAS SOPS 329037 HAS SOUS 72682 HAS SOUPS 71124 WITH SCORE 71465.153
AT ITER 4900 NEW BEST:: SOT 2397363 SOS 341895 HAS SOPS 329779 HAS SOUS 72577 HAS SOUPS 71019 WITH SCORE 71360.895
AT ITER 4907 NEW BEST:: SOT 2397124 SOS 341656 HAS SOPS 329540 HAS SOUS 72564 HAS SOUPS 71006 WITH SCORE 71347.656
AT ITER 4921 NEW BEST:: SOT 2397153 SOS 341683 HAS SOPS 329515 HAS SOUS 72448 HAS SOUPS 70890 WITH SCORE 71231.683
AT ITER 4945 NEW BEST:: SOT 2397012 SOS 341223 HAS SOPS 329055 HAS SOUS 72444 HAS SOUPS 70886 WITH SCORE 71227.223
AT ITER 4949 NEW BEST:: SOT 2396981 SOS 341192 HAS SOPS 329024 HAS SOUS 72404 HAS SOUPS 70846 WITH SCORE 71187.192
AT ITER 4950 NEW BEST:: SOT 2396971 SOS 340890 HAS SOPS 328722 HAS SOUS 72394 HAS SOUPS 70836 WITH SCORE 71176.89
AT ITER 4968 NEW BEST:: SOT 2396908 SOS 339885 HAS SOPS 327717 HAS SOUS 72390 HAS SOUPS 70832 WITH SCORE 71171.885
AT ITER 5029 NEW BEST:: SOT 2396936 SOS 339866 HAS SOPS 327698 HAS SOUS 72371 HAS SOUPS 70813 WITH SCORE 71152.866
AT ITER 5092 NEW BEST:: SOT 2396963 SOS 339919 HAS SOPS 327751 HAS SOUS 72362 HAS SOUPS 70804 WITH SCORE 71143.919
AT ITER 5100 NEW BEST:: SOT 2396960 SOS 339891 HAS SOPS 327723 HAS SOUS 72360 HAS SOUPS 70802 WITH SCORE 71141.891
AT ITER 5108 NEW BEST:: SOT 2396889 SOS 339750 HAS SOPS 327582 HAS SOUS 72275 HAS SOUPS 70717 WITH SCORE 71056.75
AT ITER 5113 NEW BEST:: SOT 2396890 SOS 339751 HAS SOPS 327570 HAS SOUS 72275 HAS SOUPS 70705 WITH SCORE 71044.751
AT ITER 5116 NEW BEST:: SOT 2396813 SOS 339749 HAS SOPS 327568 HAS SOUS 72096 HAS SOUPS 70526 WITH SCORE 70865.749
AT ITER 5134 NEW BEST:: SOT 2396780 SOS 339492 HAS SOPS 327311 HAS SOUS 72079 HAS SOUPS 70509 WITH SCORE 70848.492
AT ITER 5142 NEW BEST:: SOT 2396736 SOS 339320 HAS SOPS 327139 HAS SOUS 71991 HAS SOUPS 70421 WITH SCORE 70760.32
AT ITER 5143 NEW BEST:: SOT 2396736 SOS 339394 HAS SOPS 327213 HAS SOUS 71968 HAS SOUPS 70398 WITH SCORE 70737.394
AT ITER 5144 NEW BEST:: SOT 2398737 SOS 341395 HAS SOPS 329214 HAS SOUS 71810 HAS SOUPS 70240 WITH SCORE 70581.395
AT ITER 5163 NEW BEST:: SOT 2398737 SOS 341395 HAS SOPS 329208 HAS SOUS 71798 HAS SOUPS 70228 WITH SCORE 70569.395
AT ITER 5207 NEW BEST:: SOT 2398723 SOS 341318 HAS SOPS 329131 HAS SOUS 71784 HAS SOUPS 70214 WITH SCORE 70555.318
AT ITER 5216 NEW BEST:: SOT 2398723 SOS 341317 HAS SOPS 329130 HAS SOUS 71765 HAS SOUPS 70195 WITH SCORE 70536.317
AT ITER 5223 NEW BEST:: SOT 2398728 SOS 341235 HAS SOPS 329048 HAS SOUS 71712 HAS SOUPS 70142 WITH SCORE 70483.235
AT ITER 5242 NEW BEST:: SOT 2398973 SOS 341105 HAS SOPS 329077 HAS SOUS 71670 HAS SOUPS 70123 WITH SCORE 70464.105
AT ITER 5259 NEW BEST:: SOT 2398967 SOS 341099 HAS SOPS 329071 HAS SOUS 71658 HAS SOUPS 70111 WITH SCORE 70452.099
AT ITER 5264 NEW BEST:: SOT 2398965 SOS 341097 HAS SOPS 329069 HAS SOUS 71656 HAS SOUPS 70109 WITH SCORE 70450.097
AT ITER 5274 NEW BEST:: SOT 2398939 SOS 341112 HAS SOPS 329084 HAS SOUS 71654 HAS SOUPS 70107 WITH SCORE 70448.112
AT ITER 5284 NEW BEST:: SOT 2398951 SOS 341142 HAS SOPS 329114 HAS SOUS 71632 HAS SOUPS 70085 WITH SCORE 70426.142
AT ITER 5294 NEW BEST:: SOT 2398944 SOS 341135 HAS SOPS 329107 HAS SOUS 71625 HAS SOUPS 70078 WITH SCORE 70419.135
AT ITER 5299 NEW BEST:: SOT 2398917 SOS 341108 HAS SOPS 329086 HAS SOUS 71612 HAS SOUPS 70065 WITH SCORE 70406.108
AT ITER 5310 NEW BEST:: SOT 2398911 SOS 341010 HAS SOPS 328988 HAS SOUS 71574 HAS SOUPS 70027 WITH SCORE 70368.01
AT ITER 5319 NEW BEST:: SOT 2398911 SOS 340985 HAS SOPS 328963 HAS SOUS 71543 HAS SOUPS 69996 WITH SCORE 70336.985
AT ITER 5332 NEW BEST:: SOT 2398898 SOS 340972 HAS SOPS 328950 HAS SOUS 71537 HAS SOUPS 69990 WITH SCORE 70330.972
AT ITER 5338 NEW BEST:: SOT 2398894 SOS 340968 HAS SOPS 328948 HAS SOUS 71537 HAS SOUPS 69990 WITH SCORE 70330.968
AT ITER 5346 NEW BEST:: SOT 2398788 SOS 337474 HAS SOPS 325454 HAS SOUS 70190 HAS SOUPS 68643 WITH SCORE 68980.474
AT ITER 5364 NEW BEST:: SOT 2398617 SOS 347789 HAS SOPS 335769 HAS SOUS 70160 HAS SOUPS 68613 WITH SCORE 68960.789
AT ITER 5374 NEW BEST:: SOT 2398615 SOS 347786 HAS SOPS 335766 HAS SOUS 70155 HAS SOUPS 68608 WITH SCORE 68955.786
AT ITER 5383 NEW BEST:: SOT 2398610 SOS 347781 HAS SOPS 335761 HAS SOUS 70145 HAS SOUPS 68598 WITH SCORE 68945.781
AT ITER 5393 NEW BEST:: SOT 2398604 SOS 347775 HAS SOPS 335749 HAS SOUS 70127 HAS SOUPS 68580 WITH SCORE 68927.775
AT ITER 5463 NEW BEST:: SOT 2398480 SOS 347651 HAS SOPS 335625 HAS SOUS 70098 HAS SOUPS 68551 WITH SCORE 68898.651
AT ITER 5494 NEW BEST:: SOT 2398497 SOS 347696 HAS SOPS 335646 HAS SOUS 70087 HAS SOUPS 68536 WITH SCORE 68883.696
AT ITER 5501 NEW BEST:: SOT 2398439 SOS 347628 HAS SOPS 335578 HAS SOUS 70019 HAS SOUPS 68468 WITH SCORE 68815.628
AT ITER 5547 NEW BEST:: SOT 2398383 SOS 347519 HAS SOPS 335504 HAS SOUS 69965 HAS SOUPS 68427 WITH SCORE 68774.519
AT ITER 5589 NEW BEST:: SOT 2398373 SOS 347492 HAS SOPS 335477 HAS SOUS 69962 HAS SOUPS 68424 WITH SCORE 68771.492
AT ITER 5614 NEW BEST:: SOT 2398373 SOS 347485 HAS SOPS 335470 HAS SOUS 69961 HAS SOUPS 68423 WITH SCORE 68770.485
AT ITER 5621 NEW BEST:: SOT 2398381 SOS 348933 HAS SOPS 336918 HAS SOUS 69824 HAS SOUPS 68286 WITH SCORE 68634.933
AT ITER 5629 NEW BEST:: SOT 2398381 SOS 348933 HAS SOPS 336918 HAS SOUS 69814 HAS SOUPS 68276 WITH SCORE 68624.933
AT ITER 5642 NEW BEST:: SOT 2398373 SOS 348925 HAS SOPS 336880 HAS SOUS 69746 HAS SOUPS 68208 WITH SCORE 68556.925
AT ITER 5658 NEW BEST:: SOT 2398345 SOS 348897 HAS SOPS 336859 HAS SOUS 69718 HAS SOUPS 68180 WITH SCORE 68528.897
AT ITER 5672 NEW BEST:: SOT 2398345 SOS 348897 HAS SOPS 336847 HAS SOUS 69694 HAS SOUPS 68156 WITH SCORE 68504.897
AT ITER 5682 NEW BEST:: SOT 2398527 SOS 349202 HAS SOPS 337152 HAS SOUS 69465 HAS SOUPS 67927 WITH SCORE 68276.202
AT ITER 5695 NEW BEST:: SOT 2398515 SOS 349180 HAS SOPS 337096 HAS SOUS 69427 HAS SOUPS 67889 WITH SCORE 68238.18
AT ITER 5720 NEW BEST:: SOT 2398500 SOS 349192 HAS SOPS 337108 HAS SOUS 69421 HAS SOUPS 67883 WITH SCORE 68232.192
AT ITER 5783 NEW BEST:: SOT 2398500 SOS 349192 HAS SOPS 337108 HAS SOUS 69419 HAS SOUPS 67881 WITH SCORE 68230.192
AT ITER 5792 NEW BEST:: SOT 2398495 SOS 349187 HAS SOPS 337103 HAS SOUS 69414 HAS SOUPS 67876 WITH SCORE 68225.187
AT ITER 5796 NEW BEST:: SOT 2398488 SOS 349165 HAS SOPS 337081 HAS SOUS 69394 HAS SOUPS 67856 WITH SCORE 68205.165
AT ITER 5848 NEW BEST:: SOT 2398446 SOS 349123 HAS SOPS 337039 HAS SOUS 69335 HAS SOUPS 67797 WITH SCORE 68146.123
AT ITER 5859 NEW BEST:: SOT 2398398 SOS 349075 HAS SOPS 336991 HAS SOUS 69275 HAS SOUPS 67737 WITH SCORE 68086.075
AT ITER 5873 NEW BEST:: SOT 2397965 SOS 348610 HAS SOPS 336526 HAS SOUS 68939 HAS SOUPS 67401 WITH SCORE 67749.61
AT ITER 5898 NEW BEST:: SOT 2397962 SOS 348602 HAS SOPS 336518 HAS SOUS 68935 HAS SOUPS 67397 WITH SCORE 67745.602
AT ITER 5904 NEW BEST:: SOT 2397978 SOS 348616 HAS SOPS 336532 HAS SOUS 68915 HAS SOUPS 67364 WITH SCORE 67712.616
AT ITER 5911 NEW BEST:: SOT 2397970 SOS 348608 HAS SOPS 336526 HAS SOUS 68907 HAS SOUPS 67358 WITH SCORE 67706.608
AT ITER 5927 NEW BEST:: SOT 2397957 SOS 348619 HAS SOPS 336537 HAS SOUS 68901 HAS SOUPS 67352 WITH SCORE 67700.619
AT ITER 5982 NEW BEST:: SOT 2397934 SOS 348588 HAS SOPS 336506 HAS SOUS 68838 HAS SOUPS 67289 WITH SCORE 67637.588
AT ITER 5983 NEW BEST:: SOT 2397939 SOS 348654 HAS SOPS 336572 HAS SOUS 68818 HAS SOUPS 67269 WITH SCORE 67617.654
AT ITER 6014 NEW BEST:: SOT 2398084 SOS 348858 HAS SOPS 336604 HAS SOUS 68764 HAS SOUPS 67215 WITH SCORE 67563.858
AT ITER 6018 NEW BEST:: SOT 2398061 SOS 348763 HAS SOPS 336509 HAS SOUS 68726 HAS SOUPS 67177 WITH SCORE 67525.763
AT ITER 6056 NEW BEST:: SOT 2398082 SOS 348762 HAS SOPS 336508 HAS SOUS 68717 HAS SOUPS 67168 WITH SCORE 67516.762
AT ITER 6065 NEW BEST:: SOT 2398063 SOS 348762 HAS SOPS 336508 HAS SOUS 68712 HAS SOUPS 67163 WITH SCORE 67511.762
AT ITER 6075 NEW BEST:: SOT 2398058 SOS 348709 HAS SOPS 336455 HAS SOUS 68695 HAS SOUPS 67146 WITH SCORE 67494.709
AT ITER 6101 NEW BEST:: SOT 2397887 SOS 349132 HAS SOPS 336719 HAS SOUS 68559 HAS SOUPS 67004 WITH SCORE 67353.132
AT ITER 6226 NEW BEST:: SOT 2397851 SOS 348756 HAS SOPS 336343 HAS SOUS 68489 HAS SOUPS 66934 WITH SCORE 67282.756
AT ITER 6232 NEW BEST:: SOT 2397836 SOS 348741 HAS SOPS 336320 HAS SOUS 68459 HAS SOUPS 66904 WITH SCORE 67252.741
AT ITER 6233 NEW BEST:: SOT 2397820 SOS 348725 HAS SOPS 336304 HAS SOUS 68452 HAS SOUPS 66897 WITH SCORE 67245.725
AT ITER 6236 NEW BEST:: SOT 2397683 SOS 348535 HAS SOPS 336114 HAS SOUS 68371 HAS SOUPS 66816 WITH SCORE 67164.535
AT ITER 6249 NEW BEST:: SOT 2397654 SOS 348506 HAS SOPS 336085 HAS SOUS 68332 HAS SOUPS 66777 WITH SCORE 67125.506
AT ITER 6332 NEW BEST:: SOT 2397644 SOS 348496 HAS SOPS 336061 HAS SOUS 68335 HAS SOUPS 66766 WITH SCORE 67114.496
AT ITER 6341 NEW BEST:: SOT 2397638 SOS 348481 HAS SOPS 336046 HAS SOUS 68323 HAS SOUPS 66754 WITH SCORE 67102.481
AT ITER 6355 NEW BEST:: SOT 2397634 SOS 348481 HAS SOPS 336046 HAS SOUS 68319 HAS SOUPS 66750 WITH SCORE 67098.481
AT ITER 6357 NEW BEST:: SOT 2397675 SOS 348522 HAS SOPS 336087 HAS SOUS 68301 HAS SOUPS 66732 WITH SCORE 67080.522
AT ITER 6368 NEW BEST:: SOT 2397665 SOS 348512 HAS SOPS 336075 HAS SOUS 68277 HAS SOUPS 66706 WITH SCORE 67054.512
AT ITER 6396 NEW BEST:: SOT 2397692 SOS 348458 HAS SOPS 336021 HAS SOUS 68277 HAS SOUPS 66706 WITH SCORE 67054.458
AT ITER 6410 NEW BEST:: SOT 2397583 SOS 348349 HAS SOPS 335912 HAS SOUS 68175 HAS SOUPS 66604 WITH SCORE 66952.349
AT ITER 6422 NEW BEST:: SOT 2397556 SOS 348322 HAS SOPS 335885 HAS SOUS 68148 HAS SOUPS 66577 WITH SCORE 66925.322
AT ITER 6476 NEW BEST:: SOT 2397679 SOS 348461 HAS SOPS 336024 HAS SOUS 67706 HAS SOUPS 66135 WITH SCORE 66483.461
AT ITER 6528 NEW BEST:: SOT 2397665 SOS 348337 HAS SOPS 335900 HAS SOUS 67630 HAS SOUPS 66059 WITH SCORE 66407.337
AT ITER 6571 NEW BEST:: SOT 2397671 SOS 348335 HAS SOPS 335898 HAS SOUS 67591 HAS SOUPS 66020 WITH SCORE 66368.335
AT ITER 6696 NEW BEST:: SOT 2397665 SOS 348341 HAS SOPS 335904 HAS SOUS 67573 HAS SOUPS 66002 WITH SCORE 66350.341
AT ITER 6697 NEW BEST:: SOT 2397644 SOS 354445 HAS SOPS 342008 HAS SOUS 67531 HAS SOUPS 65960 WITH SCORE 66314.445
AT ITER 6723 NEW BEST:: SOT 2397614 SOS 354415 HAS SOPS 341978 HAS SOUS 67504 HAS SOUPS 65933 WITH SCORE 66287.415
AT ITER 6760 NEW BEST:: SOT 2397605 SOS 354406 HAS SOPS 341969 HAS SOUS 67487 HAS SOUPS 65916 WITH SCORE 66270.406
AT ITER 6769 NEW BEST:: SOT 2397475 SOS 354094 HAS SOPS 341690 HAS SOUS 67447 HAS SOUPS 65876 WITH SCORE 66230.094
AT ITER 6783 NEW BEST:: SOT 2397464 SOS 353990 HAS SOPS 341586 HAS SOUS 67428 HAS SOUPS 65857 WITH SCORE 66210.99
AT ITER 6843 NEW BEST:: SOT 2397455 SOS 353981 HAS SOPS 341578 HAS SOUS 67425 HAS SOUPS 65854 WITH SCORE 66207.981
AT ITER 6856 NEW BEST:: SOT 2397447 SOS 354006 HAS SOPS 341603 HAS SOUS 67389 HAS SOUPS 65818 WITH SCORE 66172.006
AT ITER 6876 NEW BEST:: SOT 2397390 SOS 353892 HAS SOPS 341489 HAS SOUS 67275 HAS SOUPS 65704 WITH SCORE 66057.892
AT ITER 6903 NEW BEST:: SOT 2397368 SOS 353254 HAS SOPS 340851 HAS SOUS 67231 HAS SOUPS 65660 WITH SCORE 66013.254
AT ITER 6934 NEW BEST:: SOT 2397368 SOS 353389 HAS SOPS 340944 HAS SOUS 67163 HAS SOUPS 65592 WITH SCORE 65945.389
AT ITER 6987 NEW BEST:: SOT 2397357 SOS 353356 HAS SOPS 340911 HAS SOUS 67142 HAS SOUPS 65571 WITH SCORE 65924.356
AT ITER 7010 NEW BEST:: SOT 2397377 SOS 353271 HAS SOPS 340826 HAS SOUS 67063 HAS SOUPS 65492 WITH SCORE 65845.271
AT ITER 7053 NEW BEST:: SOT 2397219 SOS 353248 HAS SOPS 340803 HAS SOUS 66924 HAS SOUPS 65353 WITH SCORE 65706.248
AT ITER 7071 NEW BEST:: SOT 2397219 SOS 353138 HAS SOPS 340693 HAS SOUS 66902 HAS SOUPS 65331 WITH SCORE 65684.138
AT ITER 7115 NEW BEST:: SOT 2397218 SOS 353137 HAS SOPS 340692 HAS SOUS 66900 HAS SOUPS 65329 WITH SCORE 65682.137
AT ITER 7117 NEW BEST:: SOT 2397207 SOS 353093 HAS SOPS 340648 HAS SOUS 66878 HAS SOUPS 65307 WITH SCORE 65660.093
AT ITER 7124 NEW BEST:: SOT 2397179 SOS 353065 HAS SOPS 340613 HAS SOUS 66843 HAS SOUPS 65272 WITH SCORE 65625.065
AT ITER 7131 NEW BEST:: SOT 2397126 SOS 353012 HAS SOPS 340571 HAS SOUS 66801 HAS SOUPS 65230 WITH SCORE 65583.012
AT ITER 7186 NEW BEST:: SOT 2397266 SOS 353164 HAS SOPS 340723 HAS SOUS 66727 HAS SOUPS 65156 WITH SCORE 65509.164
AT ITER 7190 NEW BEST:: SOT 2397125 SOS 353030 HAS SOPS 340589 HAS SOUS 66718 HAS SOUPS 65147 WITH SCORE 65500.03
AT ITER 7193 NEW BEST:: SOT 2397118 SOS 353072 HAS SOPS 340631 HAS SOUS 66715 HAS SOUPS 65144 WITH SCORE 65497.072
AT ITER 7238 NEW BEST:: SOT 2397116 SOS 353046 HAS SOPS 340605 HAS SOUS 66699 HAS SOUPS 65128 WITH SCORE 65481.046
AT ITER 7239 NEW BEST:: SOT 2397112 SOS 353042 HAS SOPS 340605 HAS SOUS 66699 HAS SOUPS 65128 WITH SCORE 65481.042
AT ITER 7240 NEW BEST:: SOT 2397081 SOS 353011 HAS SOPS 340574 HAS SOUS 66685 HAS SOUPS 65114 WITH SCORE 65467.011
AT ITER 7285 NEW BEST:: SOT 2397057 SOS 352970 HAS SOPS 340533 HAS SOUS 66643 HAS SOUPS 65072 WITH SCORE 65424.97
AT ITER 7304 NEW BEST:: SOT 2397024 SOS 352984 HAS SOPS 340547 HAS SOUS 66577 HAS SOUPS 65006 WITH SCORE 65358.984
AT ITER 7347 NEW BEST:: SOT 2396954 SOS 352881 HAS SOPS 340465 HAS SOUS 66556 HAS SOUPS 64985 WITH SCORE 65337.881
AT ITER 7400 NEW BEST:: SOT 2397176 SOS 353103 HAS SOPS 340687 HAS SOUS 66395 HAS SOUPS 64824 WITH SCORE 65177.103
AT ITER 7411 NEW BEST:: SOT 2397170 SOS 350952 HAS SOPS 338536 HAS SOUS 66357 HAS SOUPS 64786 WITH SCORE 65136.952
AT ITER 7440 NEW BEST:: SOT 2397151 SOS 350952 HAS SOPS 338536 HAS SOUS 66319 HAS SOUPS 64748 WITH SCORE 65098.952
AT ITER 7463 NEW BEST:: SOT 2397136 SOS 350950 HAS SOPS 338534 HAS SOUS 66319 HAS SOUPS 64748 WITH SCORE 65098.95
AT ITER 7484 NEW BEST:: SOT 2397136 SOS 351010 HAS SOPS 338594 HAS SOUS 66287 HAS SOUPS 64716 WITH SCORE 65067.01
AT ITER 7523 NEW BEST:: SOT 2397109 SOS 350887 HAS SOPS 338471 HAS SOUS 66229 HAS SOUPS 64658 WITH SCORE 65008.887
AT ITER 7535 NEW BEST:: SOT 2397087 SOS 350865 HAS SOPS 338449 HAS SOUS 66194 HAS SOUPS 64623 WITH SCORE 64973.865
AT ITER 7551 NEW BEST:: SOT 2397082 SOS 350800 HAS SOPS 338234 HAS SOUS 66177 HAS SOUPS 64600 WITH SCORE 64950.8
AT ITER 7554 NEW BEST:: SOT 2397083 SOS 350822 HAS SOPS 338256 HAS SOUS 66172 HAS SOUPS 64595 WITH SCORE 64945.822
AT ITER 7577 NEW BEST:: SOT 2397029 SOS 350768 HAS SOPS 338202 HAS SOUS 66118 HAS SOUPS 64541 WITH SCORE 64891.768
AT ITER 7588 NEW BEST:: SOT 2397024 SOS 350746 HAS SOPS 338180 HAS SOUS 66104 HAS SOUPS 64527 WITH SCORE 64877.746
AT ITER 7593 NEW BEST:: SOT 2396967 SOS 350546 HAS SOPS 338038 HAS SOUS 66097 HAS SOUPS 64520 WITH SCORE 64870.546
AT ITER 7596 NEW BEST:: SOT 2396958 SOS 349651 HAS SOPS 337143 HAS SOUS 65908 HAS SOUPS 64331 WITH SCORE 64680.651
AT ITER 7605 NEW BEST:: SOT 2396955 SOS 349648 HAS SOPS 337140 HAS SOUS 65905 HAS SOUPS 64328 WITH SCORE 64677.648
AT ITER 7613 NEW BEST:: SOT 2396946 SOS 349639 HAS SOPS 337122 HAS SOUS 65887 HAS SOUPS 64310 WITH SCORE 64659.639
AT ITER 7634 NEW BEST:: SOT 2396917 SOS 349626 HAS SOPS 337093 HAS SOUS 65880 HAS SOUPS 64303 WITH SCORE 64652.626
AT ITER 7661 NEW BEST:: SOT 2396917 SOS 349631 HAS SOPS 337098 HAS SOUS 65869 HAS SOUPS 64292 WITH SCORE 64641.631
AT ITER 7666 NEW BEST:: SOT 2396861 SOS 349567 HAS SOPS 337034 HAS SOUS 65805 HAS SOUPS 64228 WITH SCORE 64577.567
AT ITER 7685 NEW BEST:: SOT 2396780 SOS 349321 HAS SOPS 336788 HAS SOUS 65744 HAS SOUPS 64167 WITH SCORE 64516.321
AT ITER 7700 NEW BEST:: SOT 2396780 SOS 349308 HAS SOPS 336775 HAS SOUS 65742 HAS SOUPS 64165 WITH SCORE 64514.308
AT ITER 7711 NEW BEST:: SOT 2396778 SOS 349298 HAS SOPS 336767 HAS SOUS 65736 HAS SOUPS 64159 WITH SCORE 64508.298
AT ITER 7725 NEW BEST:: SOT 2396777 SOS 349293 HAS SOPS 336762 HAS SOUS 65692 HAS SOUPS 64115 WITH SCORE 64464.293
AT ITER 7749 NEW BEST:: SOT 2396785 SOS 349311 HAS SOPS 336780 HAS SOUS 65638 HAS SOUPS 64061 WITH SCORE 64410.311
AT ITER 7832 NEW BEST:: SOT 2396780 SOS 349306 HAS SOPS 336775 HAS SOUS 65628 HAS SOUPS 64051 WITH SCORE 64400.306
AT ITER 7844 NEW BEST:: SOT 2396782 SOS 349289 HAS SOPS 336728 HAS SOUS 65567 HAS SOUPS 63990 WITH SCORE 64339.289
AT ITER 7871 NEW BEST:: SOT 2396778 SOS 349285 HAS SOPS 336713 HAS SOUS 65552 HAS SOUPS 63975 WITH SCORE 64324.285
AT ITER 7900 NEW BEST:: SOT 2396783 SOS 349234 HAS SOPS 336662 HAS SOUS 65546 HAS SOUPS 63969 WITH SCORE 64318.234
AT ITER 7948 NEW BEST:: SOT 2396760 SOS 349278 HAS SOPS 336706 HAS SOUS 65540 HAS SOUPS 63963 WITH SCORE 64312.278
AT ITER 8028 NEW BEST:: SOT 2396760 SOS 349275 HAS SOPS 336703 HAS SOUS 65540 HAS SOUPS 63963 WITH SCORE 64312.275
AT ITER 8029 NEW BEST:: SOT 2396715 SOS 349230 HAS SOPS 336658 HAS SOUS 65497 HAS SOUPS 63920 WITH SCORE 64269.23
AT ITER 8044 NEW BEST:: SOT 2396637 SOS 349152 HAS SOPS 336580 HAS SOUS 65388 HAS SOUPS 63811 WITH SCORE 64160.152
AT ITER 8047 NEW BEST:: SOT 2396607 SOS 349077 HAS SOPS 336505 HAS SOUS 65328 HAS SOUPS 63751 WITH SCORE 64100.077
AT ITER 8052 NEW BEST:: SOT 2396555 SOS 349048 HAS SOPS 336476 HAS SOUS 65224 HAS SOUPS 63647 WITH SCORE 63996.048
AT ITER 8055 NEW BEST:: SOT 2396545 SOS 349038 HAS SOPS 336466 HAS SOUS 65204 HAS SOUPS 63627 WITH SCORE 63976.038
AT ITER 8079 NEW BEST:: SOT 2396531 SOS 349008 HAS SOPS 336436 HAS SOUS 65183 HAS SOUPS 63606 WITH SCORE 63955.008
AT ITER 8083 NEW BEST:: SOT 2395021 SOS 347498 HAS SOPS 334926 HAS SOUS 65135 HAS SOUPS 63558 WITH SCORE 63905.498
AT ITER 8128 NEW BEST:: SOT 2394988 SOS 347338 HAS SOPS 334766 HAS SOUS 65066 HAS SOUPS 63489 WITH SCORE 63836.338
AT ITER 8142 NEW BEST:: SOT 2394993 SOS 347158 HAS SOPS 334586 HAS SOUS 64921 HAS SOUPS 63344 WITH SCORE 63691.158
AT ITER 8181 NEW BEST:: SOT 2394993 SOS 347089 HAS SOPS 334517 HAS SOUS 64898 HAS SOUPS 63321 WITH SCORE 63668.089
AT ITER 8212 NEW BEST:: SOT 2394969 SOS 347065 HAS SOPS 334493 HAS SOUS 64874 HAS SOUPS 63297 WITH SCORE 63644.065
AT ITER 8226 NEW BEST:: SOT 2394970 SOS 347066 HAS SOPS 334494 HAS SOUS 64872 HAS SOUPS 63295 WITH SCORE 63642.066
AT ITER 8266 NEW BEST:: SOT 2394946 SOS 347042 HAS SOPS 334470 HAS SOUS 64848 HAS SOUPS 63271 WITH SCORE 63618.042
AT ITER 8341 NEW BEST:: SOT 2394957 SOS 347031 HAS SOPS 334459 HAS SOUS 64848 HAS SOUPS 63271 WITH SCORE 63618.031
AT ITER 8403 NEW BEST:: SOT 2394955 SOS 347029 HAS SOPS 334457 HAS SOUS 64792 HAS SOUPS 63215 WITH SCORE 63562.029
AT ITER 8407 NEW BEST:: SOT 2393902 SOS 345954 HAS SOPS 333382 HAS SOUS 64730 HAS SOUPS 63153 WITH SCORE 63498.954
AT ITER 8411 NEW BEST:: SOT 2393898 SOS 345938 HAS SOPS 333366 HAS SOUS 64722 HAS SOUPS 63145 WITH SCORE 63490.938
AT ITER 8425 NEW BEST:: SOT 2393876 SOS 345916 HAS SOPS 333344 HAS SOUS 64703 HAS SOUPS 63126 WITH SCORE 63471.916
AT ITER 8432 NEW BEST:: SOT 2393574 SOS 345803 HAS SOPS 333231 HAS SOUS 64510 HAS SOUPS 62933 WITH SCORE 63278.803
AT ITER 8449 NEW BEST:: SOT 2395479 SOS 347708 HAS SOPS 335136 HAS SOUS 63945 HAS SOUPS 62368 WITH SCORE 62715.708
AT ITER 8486 NEW BEST:: SOT 2395467 SOS 347696 HAS SOPS 335124 HAS SOUS 63935 HAS SOUPS 62358 WITH SCORE 62705.696
AT ITER 8534 NEW BEST:: SOT 2395455 SOS 347684 HAS SOPS 335112 HAS SOUS 63928 HAS SOUPS 62351 WITH SCORE 62698.684
AT ITER 8541 NEW BEST:: SOT 2395265 SOS 347101 HAS SOPS 334529 HAS SOUS 63817 HAS SOUPS 62240 WITH SCORE 62587.101
AT ITER 8552 NEW BEST:: SOT 2395259 SOS 347104 HAS SOPS 334532 HAS SOUS 63808 HAS SOUPS 62231 WITH SCORE 62578.104
AT ITER 8553 NEW BEST:: SOT 2395246 SOS 347091 HAS SOPS 334519 HAS SOUS 63782 HAS SOUPS 62205 WITH SCORE 62552.091
AT ITER 8554 NEW BEST:: SOT 2395246 SOS 347036 HAS SOPS 334464 HAS SOUS 63776 HAS SOUPS 62199 WITH SCORE 62546.036
AT ITER 8560 NEW BEST:: SOT 2395232 SOS 347022 HAS SOPS 334450 HAS SOUS 63748 HAS SOUPS 62171 WITH SCORE 62518.022
AT ITER 8561 NEW BEST:: SOT 2395323 SOS 347209 HAS SOPS 334637 HAS SOUS 63738 HAS SOUPS 62161 WITH SCORE 62508.209
AT ITER 8566 NEW BEST:: SOT 2395278 SOS 347149 HAS SOPS 334577 HAS SOUS 63699 HAS SOUPS 62122 WITH SCORE 62469.149
AT ITER 8578 NEW BEST:: SOT 2395266 SOS 347128 HAS SOPS 334556 HAS SOUS 63693 HAS SOUPS 62116 WITH SCORE 62463.128
AT ITER 8592 NEW BEST:: SOT 2395266 SOS 347083 HAS SOPS 334511 HAS SOUS 63686 HAS SOUPS 62109 WITH SCORE 62456.083
AT ITER 8616 NEW BEST:: SOT 2395266 SOS 347087 HAS SOPS 334535 HAS SOUS 63680 HAS SOUPS 62103 WITH SCORE 62450.087
AT ITER 8642 NEW BEST:: SOT 2395270 SOS 347091 HAS SOPS 334529 HAS SOUS 63673 HAS SOUPS 62096 WITH SCORE 62443.091
AT ITER 8676 NEW BEST:: SOT 2395023 SOS 346844 HAS SOPS 334282 HAS SOUS 63623 HAS SOUPS 62046 WITH SCORE 62392.844
AT ITER 8677 NEW BEST:: SOT 2394949 SOS 346711 HAS SOPS 334187 HAS SOUS 63614 HAS SOUPS 62037 WITH SCORE 62383.711
AT ITER 8680 NEW BEST:: SOT 2394747 SOS 346408 HAS SOPS 334086 HAS SOUS 63614 HAS SOUPS 62037 WITH SCORE 62383.408
AT ITER 8712 NEW BEST:: SOT 2394745 SOS 346400 HAS SOPS 334080 HAS SOUS 63612 HAS SOUPS 62035 WITH SCORE 62381.4
AT ITER 8723 NEW BEST:: SOT 2394747 SOS 346469 HAS SOPS 334149 HAS SOUS 63539 HAS SOUPS 61962 WITH SCORE 62308.469
AT ITER 8759 NEW BEST:: SOT 2394721 SOS 346443 HAS SOPS 334123 HAS SOUS 63518 HAS SOUPS 61941 WITH SCORE 62287.443
AT ITER 8844 NEW BEST:: SOT 2394718 SOS 346440 HAS SOPS 334103 HAS SOUS 63512 HAS SOUPS 61935 WITH SCORE 62281.44
AT ITER 8861 NEW BEST:: SOT 2394698 SOS 346396 HAS SOPS 334059 HAS SOUS 63472 HAS SOUPS 61895 WITH SCORE 62241.396
AT ITER 8886 NEW BEST:: SOT 2394698 SOS 346396 HAS SOPS 334059 HAS SOUS 63469 HAS SOUPS 61892 WITH SCORE 62238.396
AT ITER 8918 NEW BEST:: SOT 2394692 SOS 346390 HAS SOPS 334053 HAS SOUS 63457 HAS SOUPS 61880 WITH SCORE 62226.39
AT ITER 9019 NEW BEST:: SOT 2394699 SOS 346426 HAS SOPS 334089 HAS SOUS 63439 HAS SOUPS 61862 WITH SCORE 62208.426
AT ITER 9021 NEW BEST:: SOT 2394690 SOS 346395 HAS SOPS 334058 HAS SOUS 63377 HAS SOUPS 61800 WITH SCORE 62146.395
AT ITER 9031 NEW BEST:: SOT 2394697 SOS 346402 HAS SOPS 334065 HAS SOUS 63346 HAS SOUPS 61769 WITH SCORE 62115.402
AT ITER 9076 NEW BEST:: SOT 2394696 SOS 346201 HAS SOPS 333864 HAS SOUS 63304 HAS SOUPS 61727 WITH SCORE 62073.201
AT ITER 9110 NEW BEST:: SOT 2394726 SOS 340127 HAS SOPS 327790 HAS SOUS 63269 HAS SOUPS 61692 WITH SCORE 62032.127
AT ITER 9120 NEW BEST:: SOT 2394894 SOS 340310 HAS SOPS 327973 HAS SOUS 63129 HAS SOUPS 61552 WITH SCORE 61892.31
AT ITER 9157 NEW BEST:: SOT 2394889 SOS 340305 HAS SOPS 327967 HAS SOUS 63119 HAS SOUPS 61542 WITH SCORE 61882.305
AT ITER 9216 NEW BEST:: SOT 2394889 SOS 340284 HAS SOPS 327946 HAS SOUS 63112 HAS SOUPS 61535 WITH SCORE 61875.284
AT ITER 9234 NEW BEST:: SOT 2394888 SOS 340283 HAS SOPS 327945 HAS SOUS 63108 HAS SOUPS 61531 WITH SCORE 61871.283
AT ITER 9276 NEW BEST:: SOT 2394887 SOS 340282 HAS SOPS 327944 HAS SOUS 63100 HAS SOUPS 61523 WITH SCORE 61863.282
AT ITER 9287 NEW BEST:: SOT 2394879 SOS 340347 HAS SOPS 327945 HAS SOUS 63083 HAS SOUPS 61506 WITH SCORE 61846.347
AT ITER 9292 NEW BEST:: SOT 2394855 SOS 340323 HAS SOPS 327908 HAS SOUS 63046 HAS SOUPS 61469 WITH SCORE 61809.323
AT ITER 9322 NEW BEST:: SOT 2394855 SOS 340387 HAS SOPS 327972 HAS SOUS 63019 HAS SOUPS 61442 WITH SCORE 61782.387
AT ITER 9324 NEW BEST:: SOT 2394845 SOS 340377 HAS SOPS 327962 HAS SOUS 63009 HAS SOUPS 61432 WITH SCORE 61772.377
AT ITER 9330 NEW BEST:: SOT 2394834 SOS 340377 HAS SOPS 327962 HAS SOUS 62932 HAS SOUPS 61355 WITH SCORE 61695.377
AT ITER 9349 NEW BEST:: SOT 2394834 SOS 340315 HAS SOPS 327900 HAS SOUS 62925 HAS SOUPS 61348 WITH SCORE 61688.315
AT ITER 9386 NEW BEST:: SOT 2394839 SOS 340435 HAS SOPS 327965 HAS SOUS 62880 HAS SOUPS 61303 WITH SCORE 61643.435
AT ITER 9391 NEW BEST:: SOT 2394822 SOS 340401 HAS SOPS 327948 HAS SOUS 62863 HAS SOUPS 61286 WITH SCORE 61626.401
AT ITER 9407 NEW BEST:: SOT 2394818 SOS 340397 HAS SOPS 327956 HAS SOUS 62863 HAS SOUPS 61286 WITH SCORE 61626.397
AT ITER 9451 NEW BEST:: SOT 2394981 SOS 340643 HAS SOPS 328202 HAS SOUS 62774 HAS SOUPS 61197 WITH SCORE 61537.643
AT ITER 9489 NEW BEST:: SOT 2394966 SOS 340628 HAS SOPS 328180 HAS SOUS 62760 HAS SOUPS 61183 WITH SCORE 61523.628
AT ITER 9499 NEW BEST:: SOT 2394971 SOS 340802 HAS SOPS 328354 HAS SOUS 62742 HAS SOUPS 61165 WITH SCORE 61505.802
AT ITER 9505 NEW BEST:: SOT 2394930 SOS 340749 HAS SOPS 328301 HAS SOUS 62712 HAS SOUPS 61135 WITH SCORE 61475.749
AT ITER 9519 NEW BEST:: SOT 2394869 SOS 340805 HAS SOPS 328357 HAS SOUS 62679 HAS SOUPS 61102 WITH SCORE 61442.805
AT ITER 9560 NEW BEST:: SOT 2394865 SOS 340801 HAS SOPS 328350 HAS SOUS 62671 HAS SOUPS 61094 WITH SCORE 61434.801
AT ITER 9565 NEW BEST:: SOT 2394879 SOS 340794 HAS SOPS 328343 HAS SOUS 62664 HAS SOUPS 61087 WITH SCORE 61427.794
AT ITER 9577 NEW BEST:: SOT 2394871 SOS 340773 HAS SOPS 328322 HAS SOUS 62660 HAS SOUPS 61083 WITH SCORE 61423.773
AT ITER 9612 NEW BEST:: SOT 2394871 SOS 340757 HAS SOPS 328286 HAS SOUS 62652 HAS SOUPS 61069 WITH SCORE 61409.757
AT ITER 9614 NEW BEST:: SOT 2394837 SOS 340697 HAS SOPS 328286 HAS SOUS 62618 HAS SOUPS 61050 WITH SCORE 61390.697
AT ITER 9630 NEW BEST:: SOT 2394899 SOS 340836 HAS SOPS 328425 HAS SOUS 62616 HAS SOUPS 61048 WITH SCORE 61388.836
AT ITER 9631 NEW BEST:: SOT 2394883 SOS 340836 HAS SOPS 328425 HAS SOUS 62576 HAS SOUPS 61008 WITH SCORE 61348.836
AT ITER 9692 NEW BEST:: SOT 2394874 SOS 340857 HAS SOPS 328446 HAS SOUS 62537 HAS SOUPS 60969 WITH SCORE 61309.857
AT ITER 9715 NEW BEST:: SOT 2394695 SOS 340102 HAS SOPS 328184 HAS SOUS 62383 HAS SOUPS 60927 WITH SCORE 61267.102
AT ITER 9717 NEW BEST:: SOT 2394692 SOS 340099 HAS SOPS 328179 HAS SOUS 62377 HAS SOUPS 60921 WITH SCORE 61261.099
AT ITER 9731 NEW BEST:: SOT 2394661 SOS 340039 HAS SOPS 328119 HAS SOUS 62354 HAS SOUPS 60898 WITH SCORE 61238.039
AT ITER 9748 NEW BEST:: SOT 2394665 SOS 340112 HAS SOPS 328169 HAS SOUS 62316 HAS SOUPS 60860 WITH SCORE 61200.112
AT ITER 9750 NEW BEST:: SOT 2394652 SOS 340099 HAS SOPS 328156 HAS SOUS 62316 HAS SOUPS 60860 WITH SCORE 61200.099
AT ITER 9756 NEW BEST:: SOT 2394596 SOS 338279 HAS SOPS 326336 HAS SOUS 62233 HAS SOUPS 60777 WITH SCORE 61115.279
AT ITER 9784 NEW BEST:: SOT 2394595 SOS 338278 HAS SOPS 326335 HAS SOUS 62233 HAS SOUPS 60777 WITH SCORE 61115.278
AT ITER 9828 NEW BEST:: SOT 2394579 SOS 338215 HAS SOPS 326272 HAS SOUS 62193 HAS SOUPS 60737 WITH SCORE 61075.215
AT ITER 9941 NEW BEST:: SOT 2394564 SOS 338200 HAS SOPS 326257 HAS SOUS 62173 HAS SOUPS 60717 WITH SCORE 61055.2
AT ITER 9984 NEW BEST:: SOT 2394568 SOS 338204 HAS SOPS 326261 HAS SOUS 62172 HAS SOUPS 60716 WITH SCORE 61054.204
AT ITER 9990 NEW BEST:: SOT 2394559 SOS 338168 HAS SOPS 326225 HAS SOUS 62158 HAS SOUPS 60702 WITH SCORE 61040.168
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 9428144 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16104056 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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
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="PolyORBLF-COL-S06J04T04"
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 PolyORBLF-COL-S06J04T04, 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 r299-tall-167873953000448"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-COL-S06J04T04.tgz
mv PolyORBLF-COL-S06J04T04 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 ;