Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 9.7M
-rw-r--r-- 1 mcc users 8.0K Apr 12 05:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 33K Apr 12 05:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Apr 11 05:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 31K Apr 11 05:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 7.8K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 36K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.1K Apr 10 12:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 10 12:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Apr 9 18:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 38K Apr 9 18:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Apr 10 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.2K Apr 10 22:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 9.4M Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589646105132

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

GOT IT HERE. BS
Petri model created: 454 places, 6994 transitions, 59152 arcs.
AT ITER 0 NEW BEST:: SOT 2028676 SOS 1186916 HAS SOPS 1180953 HAS SOUS 210047 HAS SOUPS 209565 WITH SCORE 210751.916
AT ITER 6 NEW BEST:: SOT 2028628 SOS 1186868 HAS SOPS 1180885 HAS SOUS 210035 HAS SOUPS 209545 WITH SCORE 210731.868
AT ITER 25 NEW BEST:: SOT 2028313 SOS 1186566 HAS SOPS 1180583 HAS SOUS 209633 HAS SOUPS 209143 WITH SCORE 210329.566
AT ITER 29 NEW BEST:: SOT 1823995 SOS 982268 HAS SOPS 976285 HAS SOUS 182845 HAS SOUPS 182355 WITH SCORE 183337.268
AT ITER 41 NEW BEST:: SOT 1823504 SOS 981962 HAS SOPS 975979 HAS SOUS 182788 HAS SOUPS 182298 WITH SCORE 183279.962
AT ITER 59 NEW BEST:: SOT 1820426 SOS 979004 HAS SOPS 973021 HAS SOUS 179794 HAS SOUPS 179304 WITH SCORE 180283.004
AT ITER 62 NEW BEST:: SOT 1820227 SOS 978841 HAS SOPS 972858 HAS SOUS 179766 HAS SOUPS 179276 WITH SCORE 180254.841
AT ITER 64 NEW BEST:: SOT 1819291 SOS 977972 HAS SOPS 971989 HAS SOUS 178872 HAS SOUPS 178382 WITH SCORE 179359.972
AT ITER 66 NEW BEST:: SOT 1819143 SOS 977851 HAS SOPS 971868 HAS SOUS 178469 HAS SOUPS 177979 WITH SCORE 178956.851
AT ITER 74 NEW BEST:: SOT 1818914 SOS 977719 HAS SOPS 971736 HAS SOUS 178205 HAS SOUPS 177715 WITH SCORE 178692.719
AT ITER 83 NEW BEST:: SOT 1818519 SOS 977245 HAS SOPS 971262 HAS SOUS 177731 HAS SOUPS 177241 WITH SCORE 178218.245
AT ITER 86 NEW BEST:: SOT 1818203 SOS 976971 HAS SOPS 970988 HAS SOUS 177466 HAS SOUPS 176976 WITH SCORE 177952.971
AT ITER 95 NEW BEST:: SOT 1789755 SOS 1037172 HAS SOPS 1031189 HAS SOUS 176486 HAS SOUPS 175996 WITH SCORE 177033.172
AT ITER 96 NEW BEST:: SOT 1789465 SOS 1037003 HAS SOPS 1031020 HAS SOUS 176347 HAS SOUPS 175857 WITH SCORE 176894.003
AT ITER 117 NEW BEST:: SOT 1789465 SOS 1036951 HAS SOPS 1031020 HAS SOUS 176221 HAS SOUPS 175744 WITH SCORE 176780.951
AT ITER 121 NEW BEST:: SOT 1789374 SOS 1036927 HAS SOPS 1030996 HAS SOUS 175946 HAS SOUPS 175469 WITH SCORE 176505.927
AT ITER 127 NEW BEST:: SOT 1789262 SOS 1036884 HAS SOPS 1030953 HAS SOUS 175895 HAS SOUPS 175418 WITH SCORE 176454.884
AT ITER 128 NEW BEST:: SOT 1788777 SOS 1036489 HAS SOPS 1030558 HAS SOUS 175391 HAS SOUPS 174914 WITH SCORE 175950.489
AT ITER 130 NEW BEST:: SOT 1788411 SOS 1036230 HAS SOPS 1030299 HAS SOUS 175101 HAS SOUPS 174624 WITH SCORE 175660.23
AT ITER 143 NEW BEST:: SOT 1788410 SOS 1036229 HAS SOPS 1030297 HAS SOUS 175100 HAS SOUPS 174622 WITH SCORE 175658.229
AT ITER 144 NEW BEST:: SOT 1788210 SOS 1036037 HAS SOPS 1030105 HAS SOUS 174914 HAS SOUPS 174436 WITH SCORE 175472.037
AT ITER 155 NEW BEST:: SOT 1788210 SOS 1035915 HAS SOPS 1029983 HAS SOUS 174914 HAS SOUPS 174436 WITH SCORE 175471.915
AT ITER 159 NEW BEST:: SOT 1787614 SOS 1035361 HAS SOPS 1029429 HAS SOUS 174342 HAS SOUPS 173864 WITH SCORE 174899.361
AT ITER 166 NEW BEST:: SOT 1576846 SOS 994259 HAS SOPS 988327 HAS SOUS 150461 HAS SOUPS 149983 WITH SCORE 150977.259
AT ITER 183 NEW BEST:: SOT 1576465 SOS 994053 HAS SOPS 988121 HAS SOUS 150425 HAS SOUPS 149947 WITH SCORE 150941.053
AT ITER 185 NEW BEST:: SOT 1576409 SOS 993997 HAS SOPS 988065 HAS SOUS 150318 HAS SOUPS 149840 WITH SCORE 150833.997
AT ITER 186 NEW BEST:: SOT 1576363 SOS 993951 HAS SOPS 988019 HAS SOUS 150264 HAS SOUPS 149786 WITH SCORE 150779.951
AT ITER 189 NEW BEST:: SOT 1576273 SOS 993884 HAS SOPS 987948 HAS SOUS 150173 HAS SOUPS 149694 WITH SCORE 150687.884
AT ITER 197 NEW BEST:: SOT 1576141 SOS 993612 HAS SOPS 987676 HAS SOUS 149901 HAS SOUPS 149422 WITH SCORE 150415.612
AT ITER 198 NEW BEST:: SOT 1575808 SOS 993235 HAS SOPS 987343 HAS SOUS 148159 HAS SOUPS 147691 WITH SCORE 148684.235
AT ITER 202 NEW BEST:: SOT 1575414 SOS 992961 HAS SOPS 987069 HAS SOUS 147855 HAS SOUPS 147387 WITH SCORE 148379.961
AT ITER 213 NEW BEST:: SOT 1575222 SOS 992684 HAS SOPS 986792 HAS SOUS 147781 HAS SOUPS 147313 WITH SCORE 148305.684
AT ITER 214 NEW BEST:: SOT 1574802 SOS 992430 HAS SOPS 986538 HAS SOUS 147662 HAS SOUPS 147194 WITH SCORE 148186.43
AT ITER 221 NEW BEST:: SOT 1574796 SOS 992424 HAS SOPS 986532 HAS SOUS 147493 HAS SOUPS 147025 WITH SCORE 148017.424
AT ITER 225 NEW BEST:: SOT 1574605 SOS 992137 HAS SOPS 986245 HAS SOUS 147210 HAS SOUPS 146742 WITH SCORE 147734.137
AT ITER 228 NEW BEST:: SOT 1574605 SOS 992137 HAS SOPS 986245 HAS SOUS 147185 HAS SOUPS 146717 WITH SCORE 147709.137
AT ITER 250 NEW BEST:: SOT 1574575 SOS 992107 HAS SOPS 986200 HAS SOUS 147173 HAS SOUPS 146702 WITH SCORE 147694.107
AT ITER 251 NEW BEST:: SOT 1574575 SOS 992101 HAS SOPS 986194 HAS SOUS 147149 HAS SOUPS 146678 WITH SCORE 147670.101
AT ITER 253 NEW BEST:: SOT 1574461 SOS 992065 HAS SOPS 986158 HAS SOUS 146730 HAS SOUPS 146259 WITH SCORE 147251.065
AT ITER 259 NEW BEST:: SOT 1574399 SOS 992003 HAS SOPS 986096 HAS SOUS 146644 HAS SOUPS 146173 WITH SCORE 147165.003
AT ITER 260 NEW BEST:: SOT 1574281 SOS 991891 HAS SOPS 985984 HAS SOUS 146512 HAS SOUPS 146041 WITH SCORE 147032.891
AT ITER 266 NEW BEST:: SOT 1574268 SOS 991832 HAS SOPS 985977 HAS SOUS 146497 HAS SOUPS 146039 WITH SCORE 147030.832
AT ITER 267 NEW BEST:: SOT 1574058 SOS 991484 HAS SOPS 985629 HAS SOUS 146245 HAS SOUPS 145787 WITH SCORE 146778.484
AT ITER 268 NEW BEST:: SOT 1415350 SOS 957345 HAS SOPS 951490 HAS SOUS 125563 HAS SOUPS 125105 WITH SCORE 126062.345
AT ITER 276 NEW BEST:: SOT 1415106 SOS 957162 HAS SOPS 951307 HAS SOUS 125319 HAS SOUPS 124861 WITH SCORE 125818.162
AT ITER 285 NEW BEST:: SOT 1415277 SOS 957318 HAS SOPS 949015 HAS SOUS 125620 HAS SOUPS 124550 WITH SCORE 125507.318
AT ITER 298 NEW BEST:: SOT 1415277 SOS 957302 HAS SOPS 948999 HAS SOUS 125604 HAS SOUPS 124534 WITH SCORE 125491.302
AT ITER 308 NEW BEST:: SOT 1414815 SOS 956996 HAS SOPS 948693 HAS SOUS 125001 HAS SOUPS 123931 WITH SCORE 124887.996
AT ITER 316 NEW BEST:: SOT 1414716 SOS 956936 HAS SOPS 948633 HAS SOUS 124926 HAS SOUPS 123856 WITH SCORE 124812.936
AT ITER 317 NEW BEST:: SOT 1414705 SOS 956901 HAS SOPS 948598 HAS SOUS 124891 HAS SOUPS 123821 WITH SCORE 124777.901
AT ITER 318 NEW BEST:: SOT 1414407 SOS 956711 HAS SOPS 948408 HAS SOUS 124866 HAS SOUPS 123796 WITH SCORE 124752.711
AT ITER 323 NEW BEST:: SOT 1414383 SOS 871193 HAS SOPS 862890 HAS SOUS 124928 HAS SOUPS 123858 WITH SCORE 124729.193
AT ITER 326 NEW BEST:: SOT 1424292 SOS 881102 HAS SOPS 872799 HAS SOUS 124301 HAS SOUPS 123231 WITH SCORE 124112.102
AT ITER 336 NEW BEST:: SOT 1424231 SOS 881041 HAS SOPS 872856 HAS SOUS 124129 HAS SOUPS 123059 WITH SCORE 123940.041
AT ITER 347 NEW BEST:: SOT 1424099 SOS 880584 HAS SOPS 872399 HAS SOUS 123991 HAS SOUPS 122921 WITH SCORE 123801.584
AT ITER 351 NEW BEST:: SOT 1422567 SOS 884274 HAS SOPS 879570 HAS SOUS 123288 HAS SOUPS 122324 WITH SCORE 123208.274
AT ITER 362 NEW BEST:: SOT 1422564 SOS 884271 HAS SOPS 879567 HAS SOUS 123285 HAS SOUPS 122321 WITH SCORE 123205.271
AT ITER 365 NEW BEST:: SOT 1422528 SOS 884235 HAS SOPS 879531 HAS SOUS 123249 HAS SOUPS 122285 WITH SCORE 123169.235
AT ITER 387 NEW BEST:: SOT 1422471 SOS 884178 HAS SOPS 879474 HAS SOUS 123204 HAS SOUPS 122240 WITH SCORE 123124.178
AT ITER 402 NEW BEST:: SOT 1422471 SOS 884178 HAS SOPS 879366 HAS SOUS 123204 HAS SOUPS 122132 WITH SCORE 123016.178
AT ITER 407 NEW BEST:: SOT 1422176 SOS 883834 HAS SOPS 879022 HAS SOUS 123004 HAS SOUPS 121932 WITH SCORE 122815.834
AT ITER 412 NEW BEST:: SOT 1422093 SOS 883751 HAS SOPS 878939 HAS SOUS 122938 HAS SOUPS 121866 WITH SCORE 122749.751
AT ITER 418 NEW BEST:: SOT 1421847 SOS 883441 HAS SOPS 878629 HAS SOUS 122632 HAS SOUPS 121560 WITH SCORE 122443.441
AT ITER 434 NEW BEST:: SOT 1421817 SOS 883411 HAS SOPS 878614 HAS SOUS 122624 HAS SOUPS 121552 WITH SCORE 122435.411
AT ITER 440 NEW BEST:: SOT 1421846 SOS 883416 HAS SOPS 878619 HAS SOUS 122589 HAS SOUPS 121517 WITH SCORE 122400.416
AT ITER 442 NEW BEST:: SOT 1421752 SOS 883350 HAS SOPS 878553 HAS SOUS 122523 HAS SOUPS 121451 WITH SCORE 122334.35
AT ITER 446 NEW BEST:: SOT 1408585 SOS 870183 HAS SOPS 865386 HAS SOUS 121099 HAS SOUPS 120027 WITH SCORE 120897.183
AT ITER 448 NEW BEST:: SOT 1408289 SOS 870005 HAS SOPS 865208 HAS SOUS 120891 HAS SOUPS 119819 WITH SCORE 120689.005
AT ITER 455 NEW BEST:: SOT 1408371 SOS 870087 HAS SOPS 865290 HAS SOUS 120296 HAS SOUPS 119224 WITH SCORE 120094.087
AT ITER 457 NEW BEST:: SOT 1408228 SOS 869937 HAS SOPS 865140 HAS SOUS 120060 HAS SOUPS 118988 WITH SCORE 119857.937
AT ITER 469 NEW BEST:: SOT 1408159 SOS 869868 HAS SOPS 865071 HAS SOUS 119416 HAS SOUPS 118344 WITH SCORE 119213.868
AT ITER 501 NEW BEST:: SOT 1408128 SOS 866672 HAS SOPS 861875 HAS SOUS 119377 HAS SOUPS 118305 WITH SCORE 119171.672
AT ITER 504 NEW BEST:: SOT 1408132 SOS 866676 HAS SOPS 861879 HAS SOUS 119327 HAS SOUPS 118255 WITH SCORE 119121.676
AT ITER 509 NEW BEST:: SOT 1408096 SOS 866636 HAS SOPS 861839 HAS SOUS 119255 HAS SOUPS 118183 WITH SCORE 119049.636
AT ITER 513 NEW BEST:: SOT 1408112 SOS 866652 HAS SOPS 861831 HAS SOUS 119237 HAS SOUPS 118156 WITH SCORE 119022.652
AT ITER 528 NEW BEST:: SOT 1408128 SOS 866668 HAS SOPS 861823 HAS SOUS 119187 HAS SOUPS 118106 WITH SCORE 118972.668
AT ITER 542 NEW BEST:: SOT 1408137 SOS 866677 HAS SOPS 861832 HAS SOUS 119177 HAS SOUPS 118096 WITH SCORE 118962.677
AT ITER 543 NEW BEST:: SOT 1408089 SOS 866629 HAS SOPS 861769 HAS SOUS 119096 HAS SOUPS 118015 WITH SCORE 118881.629
AT ITER 550 NEW BEST:: SOT 1408079 SOS 866619 HAS SOPS 861749 HAS SOUS 119056 HAS SOUPS 117975 WITH SCORE 118841.619
AT ITER 558 NEW BEST:: SOT 1408079 SOS 866609 HAS SOPS 861739 HAS SOUS 119056 HAS SOUPS 117975 WITH SCORE 118841.609
AT ITER 581 NEW BEST:: SOT 1407962 SOS 866541 HAS SOPS 861671 HAS SOUS 119019 HAS SOUPS 117938 WITH SCORE 118804.541
AT ITER 586 NEW BEST:: SOT 1408007 SOS 866586 HAS SOPS 861692 HAS SOUS 119008 HAS SOUPS 117919 WITH SCORE 118785.586
AT ITER 591 NEW BEST:: SOT 1407885 SOS 866376 HAS SOPS 861549 HAS SOUS 118890 HAS SOUPS 117801 WITH SCORE 118667.376
AT ITER 593 NEW BEST:: SOT 1407816 SOS 866307 HAS SOPS 861480 HAS SOUS 118821 HAS SOUPS 117732 WITH SCORE 118598.307
AT ITER 599 NEW BEST:: SOT 1407848 SOS 866339 HAS SOPS 861488 HAS SOUS 118755 HAS SOUPS 117665 WITH SCORE 118531.339
AT ITER 603 NEW BEST:: SOT 1407863 SOS 866860 HAS SOPS 862009 HAS SOUS 118339 HAS SOUPS 117249 WITH SCORE 118115.86
AT ITER 606 NEW BEST:: SOT 1407854 SOS 866851 HAS SOPS 861991 HAS SOUS 118274 HAS SOUPS 117184 WITH SCORE 118050.851
AT ITER 608 NEW BEST:: SOT 1408149 SOS 866865 HAS SOPS 862005 HAS SOUS 117979 HAS SOUPS 116889 WITH SCORE 117755.865
AT ITER 610 NEW BEST:: SOT 1408142 SOS 866848 HAS SOPS 861988 HAS SOUS 117955 HAS SOUPS 116865 WITH SCORE 117731.848
AT ITER 633 NEW BEST:: SOT 1408000 SOS 866642 HAS SOPS 861782 HAS SOUS 117711 HAS SOUPS 116621 WITH SCORE 117487.642
AT ITER 642 NEW BEST:: SOT 1407986 SOS 866628 HAS SOPS 861754 HAS SOUS 117683 HAS SOUPS 116593 WITH SCORE 117459.628
AT ITER 709 NEW BEST:: SOT 1408032 SOS 861739 HAS SOPS 856865 HAS SOUS 117519 HAS SOUPS 116429 WITH SCORE 117290.739
AT ITER 710 NEW BEST:: SOT 1408032 SOS 861724 HAS SOPS 856850 HAS SOUS 117489 HAS SOUPS 116399 WITH SCORE 117260.724
AT ITER 711 NEW BEST:: SOT 1407979 SOS 861671 HAS SOPS 856797 HAS SOUS 117436 HAS SOUPS 116346 WITH SCORE 117207.671
AT ITER 727 NEW BEST:: SOT 1407970 SOS 861653 HAS SOPS 856779 HAS SOUS 117418 HAS SOUPS 116328 WITH SCORE 117189.653
AT ITER 735 NEW BEST:: SOT 1407970 SOS 860847 HAS SOPS 855973 HAS SOUS 117418 HAS SOUPS 116328 WITH SCORE 117188.847
AT ITER 744 NEW BEST:: SOT 1407970 SOS 860820 HAS SOPS 855946 HAS SOUS 117404 HAS SOUPS 116314 WITH SCORE 117174.82
AT ITER 749 NEW BEST:: SOT 1369392 SOS 822242 HAS SOPS 817368 HAS SOUS 112978 HAS SOUPS 111888 WITH SCORE 112710.242
AT ITER 754 NEW BEST:: SOT 1369362 SOS 822190 HAS SOPS 817316 HAS SOUS 112919 HAS SOUPS 111829 WITH SCORE 112651.19
AT ITER 762 NEW BEST:: SOT 1369201 SOS 822203 HAS SOPS 817329 HAS SOUS 112882 HAS SOUPS 111792 WITH SCORE 112614.203
AT ITER 789 NEW BEST:: SOT 1369193 SOS 822195 HAS SOPS 817321 HAS SOUS 112874 HAS SOUPS 111784 WITH SCORE 112606.195
AT ITER 803 NEW BEST:: SOT 1369144 SOS 822146 HAS SOPS 817272 HAS SOUS 112783 HAS SOUPS 111693 WITH SCORE 112515.146
AT ITER 804 NEW BEST:: SOT 1369106 SOS 822108 HAS SOPS 817274 HAS SOUS 112652 HAS SOUPS 111562 WITH SCORE 112384.108
AT ITER 810 NEW BEST:: SOT 1369097 SOS 822085 HAS SOPS 817235 HAS SOUS 112648 HAS SOUPS 111554 WITH SCORE 112376.085
AT ITER 812 NEW BEST:: SOT 1368977 SOS 821669 HAS SOPS 816819 HAS SOUS 112526 HAS SOUPS 111432 WITH SCORE 112253.669
AT ITER 820 NEW BEST:: SOT 1368911 SOS 821603 HAS SOPS 816753 HAS SOUS 112450 HAS SOUPS 111356 WITH SCORE 112177.603
AT ITER 834 NEW BEST:: SOT 1369020 SOS 821726 HAS SOPS 816348 HAS SOUS 112573 HAS SOUPS 111347 WITH SCORE 112168.726
AT ITER 837 NEW BEST:: SOT 1369138 SOS 821882 HAS SOPS 815874 HAS SOUS 112737 HAS SOUPS 111343 WITH SCORE 112164.882
AT ITER 849 NEW BEST:: SOT 1369089 SOS 744084 HAS SOPS 738076 HAS SOUS 112694 HAS SOUPS 111300 WITH SCORE 112044.084
AT ITER 863 NEW BEST:: SOT 1369065 SOS 744060 HAS SOPS 738044 HAS SOUS 112662 HAS SOUPS 111268 WITH SCORE 112012.06
AT ITER 877 NEW BEST:: SOT 1369065 SOS 744060 HAS SOPS 738044 HAS SOUS 112661 HAS SOUPS 111267 WITH SCORE 112011.06
AT ITER 884 NEW BEST:: SOT 1369065 SOS 744046 HAS SOPS 738030 HAS SOUS 112647 HAS SOUPS 111253 WITH SCORE 111997.046
AT ITER 907 NEW BEST:: SOT 1369053 SOS 744034 HAS SOPS 738018 HAS SOUS 112635 HAS SOUPS 111241 WITH SCORE 111985.034
AT ITER 928 NEW BEST:: SOT 1369048 SOS 744029 HAS SOPS 738013 HAS SOUS 112598 HAS SOUPS 111204 WITH SCORE 111948.029
AT ITER 936 NEW BEST:: SOT 1369046 SOS 744023 HAS SOPS 738007 HAS SOUS 112594 HAS SOUPS 111200 WITH SCORE 111944.023
AT ITER 942 NEW BEST:: SOT 1368648 SOS 743801 HAS SOPS 737785 HAS SOUS 112382 HAS SOUPS 110988 WITH SCORE 111731.801
AT ITER 947 NEW BEST:: SOT 1367897 SOS 745137 HAS SOPS 738523 HAS SOUS 111968 HAS SOUPS 110371 WITH SCORE 111116.137
AT ITER 964 NEW BEST:: SOT 1367882 SOS 744891 HAS SOPS 738277 HAS SOUS 111935 HAS SOUPS 110338 WITH SCORE 111082.891
AT ITER 972 NEW BEST:: SOT 1367796 SOS 744717 HAS SOPS 738103 HAS SOUS 111851 HAS SOUPS 110254 WITH SCORE 110998.717
AT ITER 976 NEW BEST:: SOT 1367777 SOS 744698 HAS SOPS 738090 HAS SOUS 111816 HAS SOUPS 110219 WITH SCORE 110963.698
AT ITER 979 NEW BEST:: SOT 1367777 SOS 744698 HAS SOPS 738090 HAS SOUS 111748 HAS SOUPS 110151 WITH SCORE 110895.698
AT ITER 988 NEW BEST:: SOT 1367773 SOS 744694 HAS SOPS 738086 HAS SOUS 111732 HAS SOUPS 110135 WITH SCORE 110879.694
AT ITER 992 NEW BEST:: SOT 1367701 SOS 744622 HAS SOPS 738014 HAS SOUS 111634 HAS SOUPS 110037 WITH SCORE 110781.622
AT ITER 994 NEW BEST:: SOT 1367686 SOS 744605 HAS SOPS 737997 HAS SOUS 111604 HAS SOUPS 110007 WITH SCORE 110751.605
AT ITER 1001 NEW BEST:: SOT 1367685 SOS 744483 HAS SOPS 737875 HAS SOUS 111602 HAS SOUPS 110005 WITH SCORE 110749.483
AT ITER 1010 NEW BEST:: SOT 1367538 SOS 744336 HAS SOPS 737704 HAS SOUS 111389 HAS SOUPS 109792 WITH SCORE 110536.336
AT ITER 1012 NEW BEST:: SOT 1367493 SOS 744277 HAS SOPS 737645 HAS SOUS 111335 HAS SOUPS 109738 WITH SCORE 110482.277
AT ITER 1015 NEW BEST:: SOT 1366989 SOS 743773 HAS SOPS 737141 HAS SOUS 110831 HAS SOUPS 109234 WITH SCORE 109977.773
AT ITER 1023 NEW BEST:: SOT 1366834 SOS 743554 HAS SOPS 736922 HAS SOUS 110644 HAS SOUPS 109047 WITH SCORE 109790.554
AT ITER 1032 NEW BEST:: SOT 1366660 SOS 743349 HAS SOPS 736938 HAS SOUS 110641 HAS SOUPS 109034 WITH SCORE 109777.349
AT ITER 1038 NEW BEST:: SOT 1366713 SOS 743586 HAS SOPS 737175 HAS SOUS 110563 HAS SOUPS 108956 WITH SCORE 109699.586
AT ITER 1043 NEW BEST:: SOT 1366687 SOS 743566 HAS SOPS 737155 HAS SOUS 110496 HAS SOUPS 108889 WITH SCORE 109632.566
AT ITER 1072 NEW BEST:: SOT 1366648 SOS 743527 HAS SOPS 737116 HAS SOUS 110453 HAS SOUPS 108846 WITH SCORE 109589.527
AT ITER 1074 NEW BEST:: SOT 1366473 SOS 743265 HAS SOPS 736854 HAS SOUS 110426 HAS SOUPS 108819 WITH SCORE 109562.265
AT ITER 1077 NEW BEST:: SOT 1366540 SOS 743332 HAS SOPS 736948 HAS SOUS 110354 HAS SOUPS 108747 WITH SCORE 109490.332
AT ITER 1082 NEW BEST:: SOT 1366540 SOS 742975 HAS SOPS 736591 HAS SOUS 110187 HAS SOUPS 108580 WITH SCORE 109322.975
AT ITER 1091 NEW BEST:: SOT 1366540 SOS 742880 HAS SOPS 736496 HAS SOUS 110187 HAS SOUPS 108580 WITH SCORE 109322.88
AT ITER 1092 NEW BEST:: SOT 1366521 SOS 742861 HAS SOPS 736472 HAS SOUS 110163 HAS SOUPS 108556 WITH SCORE 109298.861
AT ITER 1097 NEW BEST:: SOT 1366502 SOS 742842 HAS SOPS 736437 HAS SOUS 110125 HAS SOUPS 108518 WITH SCORE 109260.842
AT ITER 1103 NEW BEST:: SOT 1318274 SOS 694670 HAS SOPS 688265 HAS SOUS 102632 HAS SOUPS 101025 WITH SCORE 101719.67
AT ITER 1114 NEW BEST:: SOT 1318266 SOS 694654 HAS SOPS 688249 HAS SOUS 102616 HAS SOUPS 101009 WITH SCORE 101703.654
AT ITER 1117 NEW BEST:: SOT 1318438 SOS 694976 HAS SOPS 688571 HAS SOUS 102615 HAS SOUPS 101008 WITH SCORE 101702.976
AT ITER 1146 NEW BEST:: SOT 1318438 SOS 694944 HAS SOPS 688539 HAS SOUS 102615 HAS SOUPS 101008 WITH SCORE 101702.944
AT ITER 1156 NEW BEST:: SOT 1318405 SOS 694911 HAS SOPS 688506 HAS SOUS 102562 HAS SOUPS 100955 WITH SCORE 101649.911
AT ITER 1158 NEW BEST:: SOT 1302982 SOS 747592 HAS SOPS 741187 HAS SOUS 101801 HAS SOUPS 100194 WITH SCORE 100941.592
AT ITER 1172 NEW BEST:: SOT 1302631 SOS 747292 HAS SOPS 740887 HAS SOUS 101431 HAS SOUPS 99824 WITH SCORE 100571.292
AT ITER 1186 NEW BEST:: SOT 1302706 SOS 747367 HAS SOPS 740999 HAS SOUS 101407 HAS SOUPS 99800 WITH SCORE 100547.367
AT ITER 1202 NEW BEST:: SOT 1302706 SOS 747369 HAS SOPS 741001 HAS SOUS 101399 HAS SOUPS 99792 WITH SCORE 100539.369
AT ITER 1229 NEW BEST:: SOT 1302536 SOS 598023 HAS SOPS 591655 HAS SOUS 101398 HAS SOUPS 99791 WITH SCORE 100389.023
AT ITER 1230 NEW BEST:: SOT 1302538 SOS 598023 HAS SOPS 591655 HAS SOUS 101394 HAS SOUPS 99787 WITH SCORE 100385.023
AT ITER 1236 NEW BEST:: SOT 1302530 SOS 598007 HAS SOPS 591639 HAS SOUS 101378 HAS SOUPS 99771 WITH SCORE 100369.007
AT ITER 1240 NEW BEST:: SOT 1302515 SOS 597997 HAS SOPS 591629 HAS SOUS 101371 HAS SOUPS 99764 WITH SCORE 100361.997
AT ITER 1268 NEW BEST:: SOT 1302500 SOS 597982 HAS SOPS 591614 HAS SOUS 101266 HAS SOUPS 99659 WITH SCORE 100256.982
AT ITER 1279 NEW BEST:: SOT 1302485 SOS 597967 HAS SOPS 591599 HAS SOUS 101245 HAS SOUPS 99638 WITH SCORE 100235.967
AT ITER 1287 NEW BEST:: SOT 1302431 SOS 597895 HAS SOPS 591527 HAS SOUS 101173 HAS SOUPS 99566 WITH SCORE 100163.895
AT ITER 1293 NEW BEST:: SOT 1302898 SOS 598290 HAS SOPS 592014 HAS SOUS 100924 HAS SOUPS 99317 WITH SCORE 99915.29
AT ITER 1295 NEW BEST:: SOT 1302837 SOS 598136 HAS SOPS 591860 HAS SOUS 100805 HAS SOUPS 99198 WITH SCORE 99796.136
AT ITER 1307 NEW BEST:: SOT 1302682 SOS 597981 HAS SOPS 591705 HAS SOUS 100668 HAS SOUPS 99061 WITH SCORE 99658.981
AT ITER 1335 NEW BEST:: SOT 1302665 SOS 597964 HAS SOPS 591667 HAS SOUS 100633 HAS SOUPS 99020 WITH SCORE 99617.964
AT ITER 1358 NEW BEST:: SOT 1302628 SOS 597927 HAS SOPS 591630 HAS SOUS 100605 HAS SOUPS 98992 WITH SCORE 99589.927
AT ITER 1386 NEW BEST:: SOT 1302602 SOS 597901 HAS SOPS 591608 HAS SOUS 100563 HAS SOUPS 98950 WITH SCORE 99547.901
AT ITER 1388 NEW BEST:: SOT 1302605 SOS 530304 HAS SOPS 524011 HAS SOUS 99820 HAS SOUPS 98207 WITH SCORE 98737.304
AT ITER 1396 NEW BEST:: SOT 1302586 SOS 528543 HAS SOPS 522250 HAS SOUS 99813 HAS SOUPS 98200 WITH SCORE 98728.543
AT ITER 1397 NEW BEST:: SOT 1302534 SOS 528491 HAS SOPS 522198 HAS SOUS 99788 HAS SOUPS 98175 WITH SCORE 98703.491
AT ITER 1406 NEW BEST:: SOT 1302534 SOS 528661 HAS SOPS 522368 HAS SOUS 99656 HAS SOUPS 98043 WITH SCORE 98571.661
AT ITER 1420 NEW BEST:: SOT 1261188 SOS 538772 HAS SOPS 532479 HAS SOUS 93088 HAS SOUPS 91475 WITH SCORE 92013.772
AT ITER 1432 NEW BEST:: SOT 1261142 SOS 538726 HAS SOPS 532433 HAS SOUS 93082 HAS SOUPS 91469 WITH SCORE 92007.726
AT ITER 1447 NEW BEST:: SOT 1261092 SOS 538676 HAS SOPS 532383 HAS SOUS 93063 HAS SOUPS 91450 WITH SCORE 91988.676
AT ITER 1454 NEW BEST:: SOT 1261092 SOS 538603 HAS SOPS 532310 HAS SOUS 93063 HAS SOUPS 91450 WITH SCORE 91988.603
AT ITER 1462 NEW BEST:: SOT 1261080 SOS 538591 HAS SOPS 532298 HAS SOUS 93047 HAS SOUPS 91434 WITH SCORE 91972.591
AT ITER 1472 NEW BEST:: SOT 1261080 SOS 538291 HAS SOPS 532054 HAS SOUS 92989 HAS SOUPS 91375 WITH SCORE 91913.291
AT ITER 1476 NEW BEST:: SOT 1261073 SOS 538284 HAS SOPS 532047 HAS SOUS 92979 HAS SOUPS 91365 WITH SCORE 91903.284
AT ITER 1477 NEW BEST:: SOT 1260964 SOS 538118 HAS SOPS 531824 HAS SOUS 92798 HAS SOUPS 91184 WITH SCORE 91722.118
AT ITER 1483 NEW BEST:: SOT 1260979 SOS 538133 HAS SOPS 531839 HAS SOUS 92562 HAS SOUPS 90948 WITH SCORE 91486.133
AT ITER 1491 NEW BEST:: SOT 1260848 SOS 538002 HAS SOPS 531708 HAS SOUS 92473 HAS SOUPS 90859 WITH SCORE 91397.002
AT ITER 1493 NEW BEST:: SOT 1260793 SOS 537994 HAS SOPS 531700 HAS SOUS 92465 HAS SOUPS 90851 WITH SCORE 91388.994
AT ITER 1494 NEW BEST:: SOT 1171640 SOS 468095 HAS SOPS 461801 HAS SOUS 84602 HAS SOUPS 82988 WITH SCORE 83456.095
AT ITER 1500 NEW BEST:: SOT 1171640 SOS 468070 HAS SOPS 461776 HAS SOUS 84592 HAS SOUPS 82978 WITH SCORE 83446.07
AT ITER 1524 NEW BEST:: SOT 1171587 SOS 467885 HAS SOPS 461591 HAS SOUS 84486 HAS SOUPS 82872 WITH SCORE 83339.885
AT ITER 1526 NEW BEST:: SOT 1171571 SOS 467869 HAS SOPS 461575 HAS SOUS 84470 HAS SOUPS 82856 WITH SCORE 83323.869
AT ITER 1569 NEW BEST:: SOT 1171523 SOS 467821 HAS SOPS 461527 HAS SOUS 84422 HAS SOUPS 82808 WITH SCORE 83275.821
AT ITER 1570 NEW BEST:: SOT 1171552 SOS 467850 HAS SOPS 461532 HAS SOUS 84374 HAS SOUPS 82760 WITH SCORE 83227.85
AT ITER 1573 NEW BEST:: SOT 1171815 SOS 467982 HAS SOPS 461664 HAS SOUS 84328 HAS SOUPS 82714 WITH SCORE 83181.982
AT ITER 1577 NEW BEST:: SOT 1171813 SOS 467980 HAS SOPS 461660 HAS SOUS 84328 HAS SOUPS 82714 WITH SCORE 83181.98
AT ITER 1592 NEW BEST:: SOT 1171789 SOS 467956 HAS SOPS 461636 HAS SOUS 84304 HAS SOUPS 82690 WITH SCORE 83157.956
AT ITER 1600 NEW BEST:: SOT 1171837 SOS 467979 HAS SOPS 461618 HAS SOUS 84286 HAS SOUPS 82672 WITH SCORE 83139.979
AT ITER 1605 NEW BEST:: SOT 1171791 SOS 468051 HAS SOPS 461690 HAS SOUS 84220 HAS SOUPS 82606 WITH SCORE 83074.051
AT ITER 1608 NEW BEST:: SOT 1171772 SOS 468032 HAS SOPS 461687 HAS SOUS 84210 HAS SOUPS 82597 WITH SCORE 83065.032
AT ITER 1612 NEW BEST:: SOT 1165547 SOS 461791 HAS SOPS 455446 HAS SOUS 83804 HAS SOUPS 82191 WITH SCORE 82652.791
AT ITER 1618 NEW BEST:: SOT 1165546 SOS 461789 HAS SOPS 455444 HAS SOUS 83802 HAS SOUPS 82189 WITH SCORE 82650.789
AT ITER 1642 NEW BEST:: SOT 1165531 SOS 461744 HAS SOPS 455399 HAS SOUS 83757 HAS SOUPS 82144 WITH SCORE 82605.744
AT ITER 1648 NEW BEST:: SOT 1165521 SOS 461744 HAS SOPS 455399 HAS SOUS 83727 HAS SOUPS 82114 WITH SCORE 82575.744
AT ITER 1656 NEW BEST:: SOT 1165521 SOS 460383 HAS SOPS 454038 HAS SOUS 83646 HAS SOUPS 82033 WITH SCORE 82493.383
AT ITER 1657 NEW BEST:: SOT 1165521 SOS 460151 HAS SOPS 453806 HAS SOUS 83646 HAS SOUPS 82033 WITH SCORE 82493.151
AT ITER 1694 NEW BEST:: SOT 1165505 SOS 460135 HAS SOPS 453790 HAS SOUS 83614 HAS SOUPS 82001 WITH SCORE 82461.135
AT ITER 1705 NEW BEST:: SOT 1143770 SOS 482643 HAS SOPS 476298 HAS SOUS 83352 HAS SOUPS 81739 WITH SCORE 82221.643
AT ITER 1709 NEW BEST:: SOT 1143747 SOS 482622 HAS SOPS 476277 HAS SOUS 83332 HAS SOUPS 81719 WITH SCORE 82201.622
AT ITER 1726 NEW BEST:: SOT 1143780 SOS 482952 HAS SOPS 476611 HAS SOUS 83146 HAS SOUPS 81533 WITH SCORE 82015.952
AT ITER 1751 NEW BEST:: SOT 1143899 SOS 482883 HAS SOPS 476542 HAS SOUS 83077 HAS SOUPS 81464 WITH SCORE 81946.883
AT ITER 1824 NEW BEST:: SOT 1143891 SOS 482875 HAS SOPS 476532 HAS SOUS 83065 HAS SOUPS 81452 WITH SCORE 81934.875
AT ITER 1828 NEW BEST:: SOT 1143891 SOS 482875 HAS SOPS 476532 HAS SOUS 83023 HAS SOUPS 81410 WITH SCORE 81892.875
AT ITER 1864 NEW BEST:: SOT 1143852 SOS 482848 HAS SOPS 476526 HAS SOUS 83013 HAS SOUPS 81400 WITH SCORE 81882.848
AT ITER 1881 NEW BEST:: SOT 1143874 SOS 482870 HAS SOPS 476548 HAS SOUS 82878 HAS SOUPS 81265 WITH SCORE 81747.87
AT ITER 1883 NEW BEST:: SOT 1143967 SOS 482780 HAS SOPS 476368 HAS SOUS 82792 HAS SOUPS 81179 WITH SCORE 81661.78
AT ITER 1896 NEW BEST:: SOT 1143859 SOS 482672 HAS SOPS 476260 HAS SOUS 82657 HAS SOUPS 81044 WITH SCORE 81526.672
AT ITER 1899 NEW BEST:: SOT 1143690 SOS 482490 HAS SOPS 476116 HAS SOUS 82606 HAS SOUPS 80981 WITH SCORE 81463.49
AT ITER 1903 NEW BEST:: SOT 1143386 SOS 482218 HAS SOPS 475844 HAS SOUS 82359 HAS SOUPS 80734 WITH SCORE 81216.218
AT ITER 1925 NEW BEST:: SOT 1143271 SOS 482103 HAS SOPS 475729 HAS SOUS 82280 HAS SOUPS 80655 WITH SCORE 81137.103
AT ITER 1928 NEW BEST:: SOT 1143372 SOS 483199 HAS SOPS 476825 HAS SOUS 82255 HAS SOUPS 80630 WITH SCORE 81113.199
AT ITER 1935 NEW BEST:: SOT 1143363 SOS 446236 HAS SOPS 439862 HAS SOUS 81975 HAS SOUPS 80350 WITH SCORE 80796.236
AT ITER 1939 NEW BEST:: SOT 1143107 SOS 445980 HAS SOPS 439606 HAS SOUS 81899 HAS SOUPS 80274 WITH SCORE 80719.98
AT ITER 1953 NEW BEST:: SOT 1142855 SOS 445679 HAS SOPS 439305 HAS SOUS 81611 HAS SOUPS 79986 WITH SCORE 80431.679
AT ITER 1954 NEW BEST:: SOT 1142695 SOS 445321 HAS SOPS 438947 HAS SOUS 81291 HAS SOUPS 79666 WITH SCORE 80111.321
AT ITER 1955 NEW BEST:: SOT 1142755 SOS 445314 HAS SOPS 438940 HAS SOUS 81148 HAS SOUPS 79523 WITH SCORE 79968.314
AT ITER 1960 NEW BEST:: SOT 1142680 SOS 445239 HAS SOPS 438865 HAS SOUS 80916 HAS SOUPS 79291 WITH SCORE 79736.239
AT ITER 1965 NEW BEST:: SOT 1142665 SOS 445224 HAS SOPS 438850 HAS SOUS 80838 HAS SOUPS 79213 WITH SCORE 79658.224
AT ITER 1998 NEW BEST:: SOT 1126226 SOS 462794 HAS SOPS 456420 HAS SOUS 80203 HAS SOUPS 78578 WITH SCORE 79040.794
AT ITER 2002 NEW BEST:: SOT 1126183 SOS 463095 HAS SOPS 456721 HAS SOUS 80132 HAS SOUPS 78507 WITH SCORE 78970.095
AT ITER 2003 NEW BEST:: SOT 1125483 SOS 465218 HAS SOPS 458844 HAS SOUS 79686 HAS SOUPS 78061 WITH SCORE 78526.218
AT ITER 2008 NEW BEST:: SOT 1125237 SOS 465038 HAS SOPS 458664 HAS SOUS 79535 HAS SOUPS 77910 WITH SCORE 78375.038
AT ITER 2028 NEW BEST:: SOT 1124898 SOS 464722 HAS SOPS 458348 HAS SOUS 79145 HAS SOUPS 77520 WITH SCORE 77984.722
AT ITER 2032 NEW BEST:: SOT 1124884 SOS 464708 HAS SOPS 458320 HAS SOUS 79145 HAS SOUPS 77520 WITH SCORE 77984.708
AT ITER 2052 NEW BEST:: SOT 1124861 SOS 464665 HAS SOPS 458277 HAS SOUS 79096 HAS SOUPS 77471 WITH SCORE 77935.665
AT ITER 2070 NEW BEST:: SOT 1124572 SOS 464193 HAS SOPS 457805 HAS SOUS 78880 HAS SOUPS 77255 WITH SCORE 77719.193
AT ITER 2108 NEW BEST:: SOT 1124539 SOS 464165 HAS SOPS 457791 HAS SOUS 78866 HAS SOUPS 77241 WITH SCORE 77705.165
AT ITER 2123 NEW BEST:: SOT 1124554 SOS 464099 HAS SOPS 457725 HAS SOUS 78864 HAS SOUPS 77239 WITH SCORE 77703.099
AT ITER 2145 NEW BEST:: SOT 1124554 SOS 464051 HAS SOPS 457677 HAS SOUS 78840 HAS SOUPS 77215 WITH SCORE 77679.051
AT ITER 2146 NEW BEST:: SOT 1124557 SOS 464054 HAS SOPS 457679 HAS SOUS 78839 HAS SOUPS 77213 WITH SCORE 77677.054
AT ITER 2150 NEW BEST:: SOT 1124556 SOS 464053 HAS SOPS 457678 HAS SOUS 78838 HAS SOUPS 77212 WITH SCORE 77676.053
AT ITER 2152 NEW BEST:: SOT 1124556 SOS 464053 HAS SOPS 457678 HAS SOUS 78835 HAS SOUPS 77209 WITH SCORE 77673.053
AT ITER 2161 NEW BEST:: SOT 1124556 SOS 463112 HAS SOPS 456737 HAS SOUS 78830 HAS SOUPS 77204 WITH SCORE 77667.112
AT ITER 2175 NEW BEST:: SOT 1124580 SOS 463136 HAS SOPS 456761 HAS SOUS 78742 HAS SOUPS 77116 WITH SCORE 77579.136
AT ITER 2222 NEW BEST:: SOT 1124477 SOS 463013 HAS SOPS 456609 HAS SOUS 78610 HAS SOUPS 76984 WITH SCORE 77447.013
AT ITER 2258 NEW BEST:: SOT 1124328 SOS 462864 HAS SOPS 456460 HAS SOUS 78425 HAS SOUPS 76799 WITH SCORE 77261.864
AT ITER 2260 NEW BEST:: SOT 1124325 SOS 462861 HAS SOPS 456460 HAS SOUS 78416 HAS SOUPS 76790 WITH SCORE 77252.861
AT ITER 2263 NEW BEST:: SOT 1124337 SOS 463838 HAS SOPS 457437 HAS SOUS 78394 HAS SOUPS 76768 WITH SCORE 77231.838
AT ITER 2267 NEW BEST:: SOT 1124371 SOS 463872 HAS SOPS 457471 HAS SOUS 78392 HAS SOUPS 76766 WITH SCORE 77229.872
AT ITER 2301 NEW BEST:: SOT 1124361 SOS 463728 HAS SOPS 457327 HAS SOUS 78364 HAS SOUPS 76738 WITH SCORE 77201.728
AT ITER 2302 NEW BEST:: SOT 1124341 SOS 463708 HAS SOPS 457307 HAS SOUS 78364 HAS SOUPS 76738 WITH SCORE 77201.708
AT ITER 2380 NEW BEST:: SOT 1123974 SOS 462660 HAS SOPS 456259 HAS SOUS 78207 HAS SOUPS 76581 WITH SCORE 77043.66
AT ITER 2384 NEW BEST:: SOT 1123965 SOS 462651 HAS SOPS 456251 HAS SOUS 78204 HAS SOUPS 76578 WITH SCORE 77040.651
AT ITER 2393 NEW BEST:: SOT 1123946 SOS 456925 HAS SOPS 450525 HAS SOUS 78036 HAS SOUPS 76410 WITH SCORE 76866.925
AT ITER 2406 NEW BEST:: SOT 1123969 SOS 456948 HAS SOPS 450582 HAS SOUS 77864 HAS SOUPS 76234 WITH SCORE 76690.948
AT ITER 2418 NEW BEST:: SOT 1123950 SOS 456929 HAS SOPS 450627 HAS SOUS 77797 HAS SOUPS 76231 WITH SCORE 76687.929
AT ITER 2422 NEW BEST:: SOT 1123896 SOS 456875 HAS SOPS 450573 HAS SOUS 77776 HAS SOUPS 76210 WITH SCORE 76666.875
AT ITER 2434 NEW BEST:: SOT 1123899 SOS 456881 HAS SOPS 450579 HAS SOUS 77770 HAS SOUPS 76204 WITH SCORE 76660.881
AT ITER 2435 NEW BEST:: SOT 1123819 SOS 456801 HAS SOPS 450485 HAS SOUS 77652 HAS SOUPS 76086 WITH SCORE 76542.801
AT ITER 2444 NEW BEST:: SOT 1123810 SOS 456968 HAS SOPS 450652 HAS SOUS 77632 HAS SOUPS 76066 WITH SCORE 76522.968
AT ITER 2477 NEW BEST:: SOT 1123800 SOS 456958 HAS SOPS 450630 HAS SOUS 77619 HAS SOUPS 76047 WITH SCORE 76503.958
AT ITER 2483 NEW BEST:: SOT 1123774 SOS 456932 HAS SOPS 450604 HAS SOUS 77593 HAS SOUPS 76021 WITH SCORE 76477.932
AT ITER 2503 NEW BEST:: SOT 1123745 SOS 456903 HAS SOPS 450575 HAS SOUS 77564 HAS SOUPS 75992 WITH SCORE 76448.903
AT ITER 2531 NEW BEST:: SOT 1123711 SOS 456869 HAS SOPS 450541 HAS SOUS 77552 HAS SOUPS 75980 WITH SCORE 76436.869
AT ITER 2541 NEW BEST:: SOT 1123705 SOS 456863 HAS SOPS 450535 HAS SOUS 77542 HAS SOUPS 75970 WITH SCORE 76426.863
AT ITER 2543 NEW BEST:: SOT 1123665 SOS 456711 HAS SOPS 450383 HAS SOUS 77513 HAS SOUPS 75941 WITH SCORE 76397.711
AT ITER 2551 NEW BEST:: SOT 1123737 SOS 457055 HAS SOPS 450727 HAS SOUS 77385 HAS SOUPS 75813 WITH SCORE 76270.055
AT ITER 2564 NEW BEST:: SOT 1123737 SOS 456613 HAS SOPS 450285 HAS SOUS 77372 HAS SOUPS 75800 WITH SCORE 76256.613
AT ITER 2589 NEW BEST:: SOT 1123759 SOS 456600 HAS SOPS 450272 HAS SOUS 77359 HAS SOUPS 75787 WITH SCORE 76243.6
AT ITER 2615 NEW BEST:: SOT 1123706 SOS 456538 HAS SOPS 450210 HAS SOUS 77192 HAS SOUPS 75620 WITH SCORE 76076.538
AT ITER 2636 NEW BEST:: SOT 1123706 SOS 456534 HAS SOPS 450206 HAS SOUS 76516 HAS SOUPS 74944 WITH SCORE 75400.534
AT ITER 2643 NEW BEST:: SOT 1123706 SOS 456576 HAS SOPS 450164 HAS SOUS 76558 HAS SOUPS 74902 WITH SCORE 75358.576
AT ITER 2648 NEW BEST:: SOT 1123686 SOS 456556 HAS SOPS 450144 HAS SOUS 76518 HAS SOUPS 74862 WITH SCORE 75318.556
AT ITER 2663 NEW BEST:: SOT 1123666 SOS 456487 HAS SOPS 450075 HAS SOUS 76461 HAS SOUPS 74805 WITH SCORE 75261.487
AT ITER 2692 NEW BEST:: SOT 1123666 SOS 456487 HAS SOPS 450075 HAS SOUS 76458 HAS SOUPS 74802 WITH SCORE 75258.487
AT ITER 2705 NEW BEST:: SOT 1123656 SOS 456477 HAS SOPS 450045 HAS SOUS 76448 HAS SOUPS 74772 WITH SCORE 75228.477
AT ITER 2722 NEW BEST:: SOT 1123648 SOS 456477 HAS SOPS 449997 HAS SOUS 76400 HAS SOUPS 74724 WITH SCORE 75180.477
AT ITER 2724 NEW BEST:: SOT 1123618 SOS 456466 HAS SOPS 449986 HAS SOUS 76358 HAS SOUPS 74682 WITH SCORE 75138.466
AT ITER 2737 NEW BEST:: SOT 1123598 SOS 456446 HAS SOPS 449969 HAS SOUS 76330 HAS SOUPS 74654 WITH SCORE 75110.446
AT ITER 2744 NEW BEST:: SOT 1123608 SOS 456334 HAS SOPS 449857 HAS SOUS 76028 HAS SOUPS 74352 WITH SCORE 74808.334
AT ITER 2755 NEW BEST:: SOT 1123604 SOS 456330 HAS SOPS 449853 HAS SOUS 76020 HAS SOUPS 74344 WITH SCORE 74800.33
AT ITER 2758 NEW BEST:: SOT 1123604 SOS 456302 HAS SOPS 449825 HAS SOUS 75992 HAS SOUPS 74316 WITH SCORE 74772.302
AT ITER 2777 NEW BEST:: SOT 1123560 SOS 456236 HAS SOPS 449759 HAS SOUS 75948 HAS SOUPS 74272 WITH SCORE 74728.236
AT ITER 2787 NEW BEST:: SOT 1123424 SOS 456077 HAS SOPS 450008 HAS SOUS 75789 HAS SOUPS 74251 WITH SCORE 74707.077
AT ITER 2876 NEW BEST:: SOT 1123407 SOS 456043 HAS SOPS 449974 HAS SOUS 75755 HAS SOUPS 74217 WITH SCORE 74673.043
AT ITER 2931 NEW BEST:: SOT 1123407 SOS 456043 HAS SOPS 449966 HAS SOUS 75739 HAS SOUPS 74201 WITH SCORE 74657.043
AT ITER 2946 NEW BEST:: SOT 1123421 SOS 456057 HAS SOPS 449980 HAS SOUS 75734 HAS SOUPS 74196 WITH SCORE 74652.057
AT ITER 2980 NEW BEST:: SOT 1123418 SOS 456054 HAS SOPS 449977 HAS SOUS 75734 HAS SOUPS 74196 WITH SCORE 74652.054
AT ITER 3016 NEW BEST:: SOT 1123319 SOS 455988 HAS SOPS 449962 HAS SOUS 75691 HAS SOUPS 74153 WITH SCORE 74608.988
AT ITER 3048 NEW BEST:: SOT 1123330 SOS 455999 HAS SOPS 450010 HAS SOUS 75607 HAS SOUPS 74069 WITH SCORE 74524.999
AT ITER 3067 NEW BEST:: SOT 1123335 SOS 456944 HAS SOPS 450639 HAS SOUS 75585 HAS SOUPS 73968 WITH SCORE 74424.944
AT ITER 3085 NEW BEST:: SOT 1123221 SOS 456880 HAS SOPS 450575 HAS SOUS 75507 HAS SOUPS 73890 WITH SCORE 74346.88
AT ITER 3112 NEW BEST:: SOT 1123125 SOS 456754 HAS SOPS 450449 HAS SOUS 75377 HAS SOUPS 73760 WITH SCORE 74216.754
AT ITER 3122 NEW BEST:: SOT 1123077 SOS 456591 HAS SOPS 450282 HAS SOUS 75219 HAS SOUPS 73602 WITH SCORE 74058.591
AT ITER 3123 NEW BEST:: SOT 1123073 SOS 450367 HAS SOPS 444058 HAS SOUS 75211 HAS SOUPS 73594 WITH SCORE 74044.367
AT ITER 3137 NEW BEST:: SOT 1123090 SOS 450384 HAS SOPS 444075 HAS SOUS 75185 HAS SOUPS 73568 WITH SCORE 74018.384
AT ITER 3142 NEW BEST:: SOT 1123090 SOS 450263 HAS SOPS 443954 HAS SOUS 75185 HAS SOUPS 73568 WITH SCORE 74018.263
AT ITER 3171 NEW BEST:: SOT 1122882 SOS 450017 HAS SOPS 443708 HAS SOUS 74953 HAS SOUPS 73336 WITH SCORE 73786.017
AT ITER 3200 NEW BEST:: SOT 1122897 SOS 450207 HAS SOPS 443898 HAS SOUS 74792 HAS SOUPS 73175 WITH SCORE 73625.207
AT ITER 3209 NEW BEST:: SOT 1122897 SOS 450207 HAS SOPS 443898 HAS SOUS 74783 HAS SOUPS 73166 WITH SCORE 73616.207
AT ITER 3247 NEW BEST:: SOT 1122897 SOS 450055 HAS SOPS 443746 HAS SOUS 74774 HAS SOUPS 73157 WITH SCORE 73607.055
AT ITER 3250 NEW BEST:: SOT 1122778 SOS 449921 HAS SOPS 443612 HAS SOUS 74666 HAS SOUPS 73049 WITH SCORE 73498.921
AT ITER 3253 NEW BEST:: SOT 1122761 SOS 449904 HAS SOPS 443568 HAS SOUS 74622 HAS SOUPS 73005 WITH SCORE 73454.904
AT ITER 3260 NEW BEST:: SOT 1122753 SOS 449896 HAS SOPS 443560 HAS SOUS 74622 HAS SOUPS 73005 WITH SCORE 73454.896
AT ITER 3296 NEW BEST:: SOT 1122752 SOS 449895 HAS SOPS 443533 HAS SOUS 74594 HAS SOUPS 72977 WITH SCORE 73426.895
AT ITER 3332 NEW BEST:: SOT 1122769 SOS 449912 HAS SOPS 443550 HAS SOUS 74558 HAS SOUPS 72941 WITH SCORE 73390.912
AT ITER 3340 NEW BEST:: SOT 1122435 SOS 449559 HAS SOPS 443197 HAS SOUS 74390 HAS SOUPS 72773 WITH SCORE 73222.559
AT ITER 3368 NEW BEST:: SOT 1122477 SOS 449601 HAS SOPS 443095 HAS SOUS 74432 HAS SOUPS 72767 WITH SCORE 73216.601
AT ITER 3393 NEW BEST:: SOT 1122445 SOS 449498 HAS SOPS 442992 HAS SOUS 74341 HAS SOUPS 72676 WITH SCORE 73125.498
AT ITER 3430 NEW BEST:: SOT 1122433 SOS 449486 HAS SOPS 442980 HAS SOUS 74329 HAS SOUPS 72664 WITH SCORE 73113.486
AT ITER 3434 NEW BEST:: SOT 1122428 SOS 449482 HAS SOPS 442976 HAS SOUS 74328 HAS SOUPS 72663 WITH SCORE 73112.482
AT ITER 3461 NEW BEST:: SOT 1122299 SOS 449353 HAS SOPS 442814 HAS SOUS 74133 HAS SOUPS 72468 WITH SCORE 72917.353
AT ITER 3512 NEW BEST:: SOT 1122243 SOS 449283 HAS SOPS 442744 HAS SOUS 74076 HAS SOUPS 72411 WITH SCORE 72860.283
AT ITER 3520 NEW BEST:: SOT 1122160 SOS 449200 HAS SOPS 442661 HAS SOUS 74061 HAS SOUPS 72396 WITH SCORE 72845.2
AT ITER 3532 NEW BEST:: SOT 1122160 SOS 449176 HAS SOPS 442661 HAS SOUS 73401 HAS SOUPS 71742 WITH SCORE 72191.176
AT ITER 3571 NEW BEST:: SOT 1122124 SOS 449140 HAS SOPS 442581 HAS SOUS 73230 HAS SOUPS 71571 WITH SCORE 72020.14
AT ITER 3582 NEW BEST:: SOT 1122092 SOS 449018 HAS SOPS 442459 HAS SOUS 73168 HAS SOUPS 71509 WITH SCORE 71958.018
AT ITER 3592 NEW BEST:: SOT 1122092 SOS 449032 HAS SOPS 442473 HAS SOUS 73157 HAS SOUPS 71498 WITH SCORE 71947.032
AT ITER 3595 NEW BEST:: SOT 1121683 SOS 448682 HAS SOPS 442123 HAS SOUS 72825 HAS SOUPS 71166 WITH SCORE 71614.682
AT ITER 3616 NEW BEST:: SOT 1121683 SOS 448673 HAS SOPS 442105 HAS SOUS 72816 HAS SOUPS 71157 WITH SCORE 71605.673
AT ITER 3707 NEW BEST:: SOT 1121647 SOS 448601 HAS SOPS 442033 HAS SOUS 72744 HAS SOUPS 71085 WITH SCORE 71533.601
AT ITER 3722 NEW BEST:: SOT 1121647 SOS 448349 HAS SOPS 441781 HAS SOUS 72681 HAS SOUPS 71022 WITH SCORE 71470.349
AT ITER 3747 NEW BEST:: SOT 1121512 SOS 448351 HAS SOPS 441852 HAS SOUS 72671 HAS SOUPS 71012 WITH SCORE 71460.351
AT ITER 3767 NEW BEST:: SOT 1121502 SOS 448337 HAS SOPS 441838 HAS SOUS 72659 HAS SOUPS 71000 WITH SCORE 71448.337
AT ITER 3814 NEW BEST:: SOT 1121474 SOS 448335 HAS SOPS 441836 HAS SOUS 72648 HAS SOUPS 70989 WITH SCORE 71437.335
AT ITER 3841 NEW BEST:: SOT 1121471 SOS 446010 HAS SOPS 439511 HAS SOUS 72627 HAS SOUPS 70968 WITH SCORE 71414.01
AT ITER 3849 NEW BEST:: SOT 1121464 SOS 446003 HAS SOPS 439504 HAS SOUS 72622 HAS SOUPS 70963 WITH SCORE 71409.003
AT ITER 3948 NEW BEST:: SOT 1121429 SOS 446003 HAS SOPS 439504 HAS SOUS 72587 HAS SOUPS 70928 WITH SCORE 71374.003
AT ITER 3973 NEW BEST:: SOT 1121431 SOS 445990 HAS SOPS 439491 HAS SOUS 72574 HAS SOUPS 70915 WITH SCORE 71360.99
AT ITER 3984 NEW BEST:: SOT 1121442 SOS 445646 HAS SOPS 439498 HAS SOUS 72550 HAS SOUPS 70910 WITH SCORE 71355.646
AT ITER 4070 NEW BEST:: SOT 1121129 SOS 444730 HAS SOPS 438582 HAS SOUS 72406 HAS SOUPS 70766 WITH SCORE 71210.73
AT ITER 4087 NEW BEST:: SOT 1121124 SOS 444725 HAS SOPS 438577 HAS SOUS 72398 HAS SOUPS 70758 WITH SCORE 71202.725
AT ITER 4155 NEW BEST:: SOT 1121115 SOS 444716 HAS SOPS 438568 HAS SOUS 72380 HAS SOUPS 70740 WITH SCORE 71184.716
AT ITER 4166 NEW BEST:: SOT 1121114 SOS 444715 HAS SOPS 438567 HAS SOUS 72379 HAS SOUPS 70739 WITH SCORE 71183.715
AT ITER 4180 NEW BEST:: SOT 1121105 SOS 444706 HAS SOPS 438558 HAS SOUS 72321 HAS SOUPS 70681 WITH SCORE 71125.706
AT ITER 4292 NEW BEST:: SOT 1121099 SOS 444672 HAS SOPS 438567 HAS SOUS 72272 HAS SOUPS 70632 WITH SCORE 71076.672
AT ITER 4319 NEW BEST:: SOT 1121090 SOS 444666 HAS SOPS 438561 HAS SOUS 72254 HAS SOUPS 70614 WITH SCORE 71058.666
AT ITER 4320 NEW BEST:: SOT 1121451 SOS 455089 HAS SOPS 448984 HAS SOUS 72175 HAS SOUPS 70535 WITH SCORE 70990.089
AT ITER 4361 NEW BEST:: SOT 1121451 SOS 455089 HAS SOPS 449011 HAS SOUS 72063 HAS SOUPS 70423 WITH SCORE 70878.089
AT ITER 4377 NEW BEST:: SOT 1121334 SOS 454972 HAS SOPS 448894 HAS SOUS 71946 HAS SOUPS 70306 WITH SCORE 70760.972
AT ITER 4420 NEW BEST:: SOT 1121334 SOS 451012 HAS SOPS 444934 HAS SOUS 71597 HAS SOUPS 69957 WITH SCORE 70408.012
AT ITER 4438 NEW BEST:: SOT 1120723 SOS 447971 HAS SOPS 441893 HAS SOUS 71197 HAS SOUPS 69557 WITH SCORE 70004.971
AT ITER 4472 NEW BEST:: SOT 1120722 SOS 447970 HAS SOPS 441892 HAS SOUS 71195 HAS SOUPS 69555 WITH SCORE 70002.97
AT ITER 4480 NEW BEST:: SOT 1120723 SOS 447972 HAS SOPS 441894 HAS SOUS 71191 HAS SOUPS 69551 WITH SCORE 69998.972
AT ITER 4499 NEW BEST:: SOT 1120720 SOS 448001 HAS SOPS 441923 HAS SOUS 71153 HAS SOUPS 69513 WITH SCORE 69961.001
AT ITER 4500 NEW BEST:: SOT 1120675 SOS 447983 HAS SOPS 441905 HAS SOUS 71112 HAS SOUPS 69472 WITH SCORE 69919.983
AT ITER 4560 NEW BEST:: SOT 1120591 SOS 447679 HAS SOPS 441601 HAS SOUS 71025 HAS SOUPS 69385 WITH SCORE 69832.679
AT ITER 4570 NEW BEST:: SOT 1120591 SOS 447679 HAS SOPS 441601 HAS SOUS 70945 HAS SOUPS 69305 WITH SCORE 69752.679
AT ITER 4573 NEW BEST:: SOT 1120574 SOS 447662 HAS SOPS 441584 HAS SOUS 70905 HAS SOUPS 69265 WITH SCORE 69712.662
AT ITER 4575 NEW BEST:: SOT 1120561 SOS 447636 HAS SOPS 441558 HAS SOUS 70879 HAS SOUPS 69239 WITH SCORE 69686.636
AT ITER 4584 NEW BEST:: SOT 1120503 SOS 447486 HAS SOPS 441408 HAS SOUS 70793 HAS SOUPS 69153 WITH SCORE 69600.486
AT ITER 4589 NEW BEST:: SOT 1120458 SOS 447483 HAS SOPS 441405 HAS SOUS 70790 HAS SOUPS 69150 WITH SCORE 69597.483
AT ITER 4616 NEW BEST:: SOT 1120448 SOS 447483 HAS SOPS 441405 HAS SOUS 70784 HAS SOUPS 69144 WITH SCORE 69591.483
AT ITER 4638 NEW BEST:: SOT 1120449 SOS 447484 HAS SOPS 441362 HAS SOUS 70761 HAS SOUPS 69088 WITH SCORE 69535.484
AT ITER 4646 NEW BEST:: SOT 1120447 SOS 447418 HAS SOPS 441296 HAS SOUS 70712 HAS SOUPS 69039 WITH SCORE 69486.418
AT ITER 4650 NEW BEST:: SOT 1129443 SOS 456310 HAS SOPS 450280 HAS SOUS 69859 HAS SOUPS 68209 WITH SCORE 68665.31
AT ITER 4657 NEW BEST:: SOT 1129439 SOS 456212 HAS SOPS 450182 HAS SOUS 69842 HAS SOUPS 68192 WITH SCORE 68648.212
AT ITER 4685 NEW BEST:: SOT 1129441 SOS 456214 HAS SOPS 450176 HAS SOUS 69837 HAS SOUPS 68187 WITH SCORE 68643.214
AT ITER 4690 NEW BEST:: SOT 1129437 SOS 456206 HAS SOPS 450168 HAS SOUS 69829 HAS SOUPS 68179 WITH SCORE 68635.206
AT ITER 4734 NEW BEST:: SOT 1129379 SOS 455931 HAS SOPS 449893 HAS SOUS 69791 HAS SOUPS 68141 WITH SCORE 68596.931
AT ITER 4742 NEW BEST:: SOT 1129339 SOS 455891 HAS SOPS 449853 HAS SOUS 69741 HAS SOUPS 68091 WITH SCORE 68546.891
AT ITER 4743 NEW BEST:: SOT 1129334 SOS 455901 HAS SOPS 449833 HAS SOUS 69711 HAS SOUPS 68061 WITH SCORE 68516.901
AT ITER 4748 NEW BEST:: SOT 1129297 SOS 455868 HAS SOPS 449800 HAS SOUS 69647 HAS SOUPS 67997 WITH SCORE 68452.868
AT ITER 4754 NEW BEST:: SOT 1129300 SOS 455869 HAS SOPS 449770 HAS SOUS 69549 HAS SOUPS 67899 WITH SCORE 68354.869
AT ITER 4785 NEW BEST:: SOT 1129285 SOS 455854 HAS SOPS 449755 HAS SOUS 69519 HAS SOUPS 67869 WITH SCORE 68324.854
AT ITER 4817 NEW BEST:: SOT 1129287 SOS 455841 HAS SOPS 449742 HAS SOUS 69508 HAS SOUPS 67858 WITH SCORE 68313.841
AT ITER 4846 NEW BEST:: SOT 1129286 SOS 455840 HAS SOPS 449741 HAS SOUS 69486 HAS SOUPS 67836 WITH SCORE 68291.84
AT ITER 4876 NEW BEST:: SOT 1129282 SOS 455836 HAS SOPS 449720 HAS SOUS 69483 HAS SOUPS 67833 WITH SCORE 68288.836
AT ITER 4884 NEW BEST:: SOT 1129157 SOS 456021 HAS SOPS 449905 HAS SOUS 69418 HAS SOUPS 67768 WITH SCORE 68224.021
AT ITER 4897 NEW BEST:: SOT 1129156 SOS 456020 HAS SOPS 449904 HAS SOUS 69416 HAS SOUPS 67766 WITH SCORE 68222.02
AT ITER 4902 NEW BEST:: SOT 1129133 SOS 455997 HAS SOPS 449881 HAS SOUS 69393 HAS SOUPS 67743 WITH SCORE 68198.997
AT ITER 4903 NEW BEST:: SOT 1129098 SOS 455962 HAS SOPS 449846 HAS SOUS 69363 HAS SOUPS 67713 WITH SCORE 68168.962
AT ITER 4908 NEW BEST:: SOT 1129089 SOS 455944 HAS SOPS 449828 HAS SOUS 69345 HAS SOUPS 67695 WITH SCORE 68150.944
AT ITER 4910 NEW BEST:: SOT 1129015 SOS 455848 HAS SOPS 449732 HAS SOUS 69249 HAS SOUPS 67599 WITH SCORE 68054.848
AT ITER 4944 NEW BEST:: SOT 1129013 SOS 455846 HAS SOPS 449730 HAS SOUS 69246 HAS SOUPS 67596 WITH SCORE 68051.846
AT ITER 4951 NEW BEST:: SOT 1129012 SOS 455914 HAS SOPS 449798 HAS SOUS 69221 HAS SOUPS 67571 WITH SCORE 68026.914
AT ITER 4975 NEW BEST:: SOT 1129001 SOS 455897 HAS SOPS 449781 HAS SOUS 69215 HAS SOUPS 67565 WITH SCORE 68020.897
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: PolyORBLF-PT-S06J04T04-CTLCardinality-00 ( (AU( (! potential( ( 2 ) <= (tk(P38) + tk(P130) + tk(P181) + tk(P275) + tk(P360)) )),( potential( ( 2 ) <= (tk(P422)) ) & potential( ( 2 ) <= (tk(P106) + tk(P234) + tk(P306) + tk(P343)) ) ) )) & (! (EG( ( potential( ( 3 ) <= (tk(P73) + tk(P169) + tk(P281) + tk(P316) + tk(P383) + tk(P408)) ) | potential( ( 1 ) <= (tk(P84) + tk(P132) + tk(P177) + tk(P206)) ) )))) )
PROPERTY: PolyORBLF-PT-S06J04T04-CTLCardinality-01 ( (! ( (AF(potential( ( 2 ) <= (tk(P17) + tk(P72) + tk(P167) + tk(P204) + tk(P272)) ))) | (EG( potential( (tk(P91) + tk(P121) + tk(P251) + tk(P286)) <= (tk(P4) + tk(P14) + tk(P29) + tk(P89) + tk(P151) + tk(P186) + tk(P196) + tk(P199) + tk(P226) + tk(P259) + tk(P278) + tk(P282) + tk(P301) + tk(P334) + tk(P341) + tk(P347) + tk(P348) + tk(P368) + tk(P435) + tk(P442)) ))) )) | (AF(( potential( ( 2 ) <= (tk(P48) + tk(P284) + tk(P344) + tk(P431)) ) & ( potential( ( 2 ) <= (tk(P412)) ) & potential( (tk(P8) + tk(P75) + tk(P280) + tk(P413) + tk(P423)) <= (tk(P56) + tk(P145) + tk(P209) + tk(P356)) ) ) ))) )
PROPERTY: PolyORBLF-PT-S06J04T04-CTLCardinality-02 (AX( (! (EG( potential( ( 1 ) <= (tk(P26) + tk(P384) + tk(P444) + tk(P454)) ))))))
PROPERTY: PolyORBLF-PT-S06J04T04-CTLCardinality-03 ( (AF(potential( ( 1 ) <= (tk(P45) + tk(P59) + tk(P108) + tk(P112) + tk(P178) + tk(P191) + tk(P212) + tk(P232) + tk(P250) + tk(P255) + tk(P283) + tk(P287) + tk(P309) + tk(P321) + tk(P379) + tk(P386) + tk(P419) + tk(P428) + tk(P432) + tk(P445)) ))) & ( (AX( potential( ( 2 ) <= (tk(P82) + tk(P128) + tk(P155) + tk(P307) + tk(P355) + tk(P449)) ))) & ( ( (! potential( (tk(P51) + tk(P110) + tk(P159) + tk(P208)) <= (tk(P161)) )) | potential( (tk(P81)) <= (tk(P64) + tk(P173) + tk(P180) + tk(P237)) ) ) | ( ( potential( ( 1 ) <= (tk(P68) + tk(P100) + tk(P216) + tk(P276)) ) & potential( ( 1 ) <= (tk(P161)) ) ) | ( potential( (tk(P10) + tk(P60) + tk(P152) + tk(P399)) <= (tk(P412)) ) | potential( ( 2 ) <= (tk(P315)) ) ) ) ) ) )
PROPERTY: PolyORBLF-PT-S06J04T04-CTLCardinality-04 (AX( ( ( (! potential( ( 3 ) <= (tk(P124)) )) | ( potential( ( 2 ) <= (tk(P97)) ) | potential( (tk(P336)) <= (tk(P13) + tk(P118) + tk(P123) + tk(P195)) ) ) ) & (EG( potential( (tk(P61) + tk(P98) + tk(P149) + tk(P248)) <= (tk(P170)) ))) )))
PROPERTY: PolyORBLF-PT-S06J04T04-CTLCardinality-05 (EG( ( potential( ( 3 ) <= (tk(P1) + tk(P78) + tk(P327) + tk(P388)) ) | (EX( potential( (tk(P47) + tk(P326) + tk(P374) + tk(P453)) <= (tk(P315)) ))) )))
PROPERTY: PolyORBLF-PT-S06J04T04-CTLCardinality-06 ( (AG( ( potential( ( 2 ) <= (tk(P335)) ) | ( potential( (tk(P81)) <= (tk(P214) + tk(P285) + tk(P299) + tk(P401)) ) & potential( (tk(P68) + tk(P100) + tk(P216) + tk(P276)) <= (tk(P5) + tk(P30) + tk(P41) + tk(P69) + tk(P79) + tk(P131) + tk(P133) + tk(P140) + tk(P158) + tk(P184) + tk(P222) + tk(P224) + tk(P235) + tk(P260) + tk(P269) + tk(P273) + tk(P279) + tk(P297) + tk(P305) + tk(P329) + tk(P330) + tk(P395) + tk(P436) + tk(P438)) ) ) ))) | ( (EG( potential( (tk(P337) + tk(P346) + tk(P385) + tk(P447)) <= (tk(P198) + tk(P293) + tk(P313) + tk(P373)) ))) & ( potential( (tk(P337) + tk(P346) + tk(P385) + tk(P447)) <= (tk(P106) + tk(P234) + tk(P306) + tk(P343)) ) & (EX( potential( (tk(P42) + tk(P150) + tk(P203) + tk(P304) + tk(P363) + tk(P407)) <= (tk(P91) + tk(P121) + tk(P251) + tk(P286)) ))) ) ) )
PROPERTY: PolyORBLF-PT-S06J04T04-CTLCardinality-07 (AF((! (AG( potential( ( 2 ) <= (tk(P249)) ))))))
PROPERTY: PolyORBLF-PT-S06J04T04-CTLCardinality-08 (EU( (EF(potential( (tk(P299)) <= (tk(P331)) ))),( ( potential( (tk(P429)) <= (tk(P314)) ) | potential( ( 2 ) <= (tk(P110)) ) ) & ( potential( ( 2 ) <= (tk(P29)) ) | potential( ( 3 ) <= (tk(P265)) ) ) ) ))
PROPERTY: PolyORBLF-PT-S06J04T04-CTLCardinality-09 ( (! ( ( ( potential( ( 3 ) <= (tk(P128)) ) & potential( (tk(P333)) <= (tk(P160)) ) ) | ( potential( ( 1 ) <= (tk(P336)) ) | potential( ( 1 ) <= (tk(P3)) ) ) ) | ( ( potential( (tk(P103)) <= (tk(P19)) ) & potential( (tk(P345)) <= (tk(P147)) ) ) | (! potential( (tk(P414)) <= (tk(P42)) )) ) )) | (EU( potential( (tk(P251)) <= (tk(P330)) ),( potential( ( 3 ) <= (tk(P402)) ) | potential( ( 2 ) <= (tk(P401)) ) ) )) )
PROPERTY: PolyORBLF-PT-S06J04T04-CTLCardinality-10 (EF(( ( potential( (tk(P395)) <= (tk(P35)) ) | potential( ( 1 ) <= (tk(P218)) ) ) & potential( ( 3 ) <= (tk(P425)) ) )))
PROPERTY: PolyORBLF-PT-S06J04T04-CTLCardinality-11 (AF((! (AF(potential( ( 2 ) <= (tk(P441)) ))))))
PROPERTY: PolyORBLF-PT-S06J04T04-CTLCardinality-12 ( (! (! (EF(potential( ( 2 ) <= (tk(P360)) ))))) & ( (EX( ( potential( (tk(P304)) <= (tk(P375)) ) & potential( (tk(P276)) <= (tk(P288)) ) ))) & (! ( (! potential( (tk(P38)) <= (tk(P451)) )) & ( potential( ( 1 ) <= (tk(P82)) ) & potential( (tk(P114)) <= (tk(P422)) ) ) )) ) )
PROPERTY: PolyORBLF-PT-S06J04T04-CTLCardinality-13 (AX( (AG( potential( (tk(P318)) <= (tk(P392)) )))))
PROPERTY: PolyORBLF-PT-S06J04T04-CTLCardinality-14 ( (! (EF((! potential( ( 3 ) <= (tk(P224)) ))))) | (EF(( ( potential( ( 1 ) <= (tk(P47)) ) & potential( (tk(P95)) <= (tk(P58)) ) ) & (! potential( (tk(P121)) <= (tk(P75)) )) ))) )
PROPERTY: PolyORBLF-PT-S06J04T04-CTLCardinality-15 (AF((AF(( potential( ( 1 ) <= (tk(P323)) ) | potential( ( 2 ) <= (tk(P382)) ) )))))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-PT-S06J04T04.tgz
mv PolyORBLF-PT-S06J04T04 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;