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.r227-tall-167856410500464.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 smart
Input is LeafsetExtension-PT-S08C3, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r227-tall-167856410500464
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 812K
-rw-r--r-- 1 mcc users 13K Feb 25 16:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 87K Feb 25 16:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 25 16:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 72K Feb 25 16:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 16:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 23K Feb 25 16:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 148K Feb 25 16:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 18K Feb 25 16:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 87K Feb 25 16:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 254K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678613647600

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=LeafsetExtension-PT-S08C3
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LeafsetExtension (PT), instance S08C3
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 462 places, 409 transitions, 1324 arcs.
AT ITER 0 NEW BEST:: SOT 107047 SOS 26593 HAS SOPS 26264 HAS SOUS 23052 HAS SOUPS 22955 WITH SCORE 22981.593
AT ITER 2 NEW BEST:: SOT 107034 SOS 26536 HAS SOPS 26207 HAS SOUS 23034 HAS SOUPS 22937 WITH SCORE 22963.536
AT ITER 54 NEW BEST:: SOT 107077 SOS 26579 HAS SOPS 26202 HAS SOUS 23058 HAS SOUPS 22932 WITH SCORE 22958.579
AT ITER 101 NEW BEST:: SOT 107059 SOS 26597 HAS SOPS 26184 HAS SOUS 23054 HAS SOUPS 22919 WITH SCORE 22945.597
AT ITER 103 NEW BEST:: SOT 107059 SOS 26587 HAS SOPS 26174 HAS SOUS 23041 HAS SOUPS 22906 WITH SCORE 22932.587
AT ITER 111 NEW BEST:: SOT 107024 SOS 26548 HAS SOPS 26135 HAS SOUS 23002 HAS SOUPS 22867 WITH SCORE 22893.548
AT ITER 118 NEW BEST:: SOT 107024 SOS 26548 HAS SOPS 26135 HAS SOUS 23001 HAS SOUPS 22866 WITH SCORE 22892.548
AT ITER 120 NEW BEST:: SOT 107024 SOS 26524 HAS SOPS 26111 HAS SOUS 22976 HAS SOUPS 22841 WITH SCORE 22867.524
AT ITER 121 NEW BEST:: SOT 107024 SOS 26486 HAS SOPS 26073 HAS SOUS 22965 HAS SOUPS 22830 WITH SCORE 22856.486
AT ITER 130 NEW BEST:: SOT 106493 SOS 27406 HAS SOPS 26993 HAS SOUS 22588 HAS SOUPS 22453 WITH SCORE 22480.406
AT ITER 147 NEW BEST:: SOT 106493 SOS 27402 HAS SOPS 26989 HAS SOUS 22584 HAS SOUPS 22449 WITH SCORE 22476.402
AT ITER 149 NEW BEST:: SOT 106393 SOS 26954 HAS SOPS 26541 HAS SOUS 22327 HAS SOUPS 22192 WITH SCORE 22218.954
AT ITER 167 NEW BEST:: SOT 106393 SOS 26954 HAS SOPS 26530 HAS SOUS 22327 HAS SOUPS 22181 WITH SCORE 22207.954
AT ITER 171 NEW BEST:: SOT 106232 SOS 26882 HAS SOPS 26458 HAS SOUS 22197 HAS SOUPS 22051 WITH SCORE 22077.882
AT ITER 175 NEW BEST:: SOT 106232 SOS 26882 HAS SOPS 26458 HAS SOUS 22172 HAS SOUPS 22026 WITH SCORE 22052.882
AT ITER 180 NEW BEST:: SOT 106232 SOS 26822 HAS SOPS 26398 HAS SOUS 22157 HAS SOUPS 22011 WITH SCORE 22037.822
AT ITER 182 NEW BEST:: SOT 106240 SOS 26852 HAS SOPS 26153 HAS SOUS 22169 HAS SOUPS 21782 WITH SCORE 21808.852
AT ITER 192 NEW BEST:: SOT 106246 SOS 26858 HAS SOPS 26159 HAS SOUS 22152 HAS SOUPS 21765 WITH SCORE 21791.858
AT ITER 209 NEW BEST:: SOT 106264 SOS 26876 HAS SOPS 26177 HAS SOUS 22147 HAS SOUPS 21760 WITH SCORE 21786.876
AT ITER 229 NEW BEST:: SOT 106263 SOS 26874 HAS SOPS 26175 HAS SOUS 22146 HAS SOUPS 21759 WITH SCORE 21785.874
AT ITER 244 NEW BEST:: SOT 106305 SOS 26570 HAS SOPS 25871 HAS SOUS 22097 HAS SOUPS 21710 WITH SCORE 21736.57
AT ITER 248 NEW BEST:: SOT 106286 SOS 26593 HAS SOPS 25894 HAS SOUS 22068 HAS SOUPS 21681 WITH SCORE 21707.593
AT ITER 249 NEW BEST:: SOT 106223 SOS 26535 HAS SOPS 25836 HAS SOUS 22010 HAS SOUPS 21623 WITH SCORE 21649.535
AT ITER 250 NEW BEST:: SOT 106246 SOS 26558 HAS SOPS 25859 HAS SOUS 22007 HAS SOUPS 21620 WITH SCORE 21646.558
AT ITER 268 NEW BEST:: SOT 106269 SOS 26581 HAS SOPS 25882 HAS SOUS 21999 HAS SOUPS 21612 WITH SCORE 21638.581
AT ITER 284 NEW BEST:: SOT 106272 SOS 26584 HAS SOPS 25885 HAS SOUS 21980 HAS SOUPS 21593 WITH SCORE 21619.584
AT ITER 293 NEW BEST:: SOT 106272 SOS 26584 HAS SOPS 25885 HAS SOUS 21942 HAS SOUPS 21555 WITH SCORE 21581.584
AT ITER 315 NEW BEST:: SOT 106224 SOS 26541 HAS SOPS 25842 HAS SOUS 21917 HAS SOUPS 21530 WITH SCORE 21556.541
AT ITER 335 NEW BEST:: SOT 106224 SOS 26513 HAS SOPS 25814 HAS SOUS 21917 HAS SOUPS 21530 WITH SCORE 21556.513
AT ITER 347 NEW BEST:: SOT 106224 SOS 26425 HAS SOPS 25726 HAS SOUS 21917 HAS SOUPS 21530 WITH SCORE 21556.425
AT ITER 396 NEW BEST:: SOT 106081 SOS 26382 HAS SOPS 25683 HAS SOUS 21847 HAS SOUPS 21460 WITH SCORE 21486.382
AT ITER 422 NEW BEST:: SOT 106079 SOS 26382 HAS SOPS 25681 HAS SOUS 21845 HAS SOUPS 21456 WITH SCORE 21482.382
AT ITER 434 NEW BEST:: SOT 106078 SOS 26381 HAS SOPS 25680 HAS SOUS 21843 HAS SOUPS 21454 WITH SCORE 21480.381
AT ITER 479 NEW BEST:: SOT 106075 SOS 26375 HAS SOPS 25674 HAS SOUS 21837 HAS SOUPS 21448 WITH SCORE 21474.375
AT ITER 497 NEW BEST:: SOT 106047 SOS 26140 HAS SOPS 25439 HAS SOUS 21777 HAS SOUPS 21388 WITH SCORE 21414.14
AT ITER 503 NEW BEST:: SOT 106032 SOS 26121 HAS SOPS 25420 HAS SOUS 21758 HAS SOUPS 21369 WITH SCORE 21395.121
AT ITER 520 NEW BEST:: SOT 105908 SOS 26100 HAS SOPS 25399 HAS SOUS 21695 HAS SOUPS 21306 WITH SCORE 21332.1
AT ITER 535 NEW BEST:: SOT 105875 SOS 26063 HAS SOPS 25362 HAS SOUS 21658 HAS SOUPS 21269 WITH SCORE 21295.063
AT ITER 588 NEW BEST:: SOT 105858 SOS 26111 HAS SOPS 25410 HAS SOUS 21656 HAS SOUPS 21267 WITH SCORE 21293.111
AT ITER 594 NEW BEST:: SOT 105832 SOS 26090 HAS SOPS 25389 HAS SOUS 21635 HAS SOUPS 21246 WITH SCORE 21272.09
AT ITER 600 NEW BEST:: SOT 105826 SOS 26084 HAS SOPS 25383 HAS SOUS 21634 HAS SOUPS 21245 WITH SCORE 21271.084
AT ITER 604 NEW BEST:: SOT 105809 SOS 26067 HAS SOPS 25366 HAS SOUS 21617 HAS SOUPS 21228 WITH SCORE 21254.067
AT ITER 607 NEW BEST:: SOT 105776 SOS 26058 HAS SOPS 25357 HAS SOUS 21615 HAS SOUPS 21226 WITH SCORE 21252.058
AT ITER 633 NEW BEST:: SOT 105763 SOS 26045 HAS SOPS 25344 HAS SOUS 21589 HAS SOUPS 21200 WITH SCORE 21226.045
AT ITER 641 NEW BEST:: SOT 105753 SOS 26041 HAS SOPS 25340 HAS SOUS 21584 HAS SOUPS 21195 WITH SCORE 21221.041
AT ITER 659 NEW BEST:: SOT 105713 SOS 25893 HAS SOPS 25192 HAS SOUS 21550 HAS SOUPS 21161 WITH SCORE 21186.893
AT ITER 679 NEW BEST:: SOT 105713 SOS 25906 HAS SOPS 25205 HAS SOUS 21545 HAS SOUPS 21156 WITH SCORE 21181.906
AT ITER 714 NEW BEST:: SOT 105503 SOS 26507 HAS SOPS 25083 HAS SOUS 21517 HAS SOUPS 21021 WITH SCORE 21047.507
AT ITER 742 NEW BEST:: SOT 105501 SOS 26505 HAS SOPS 25081 HAS SOUS 21512 HAS SOUPS 21016 WITH SCORE 21042.505
AT ITER 797 NEW BEST:: SOT 105550 SOS 26588 HAS SOPS 24919 HAS SOUS 21396 HAS SOUPS 20861 WITH SCORE 20887.588
AT ITER 814 NEW BEST:: SOT 105545 SOS 26583 HAS SOPS 24914 HAS SOUS 21353 HAS SOUPS 20818 WITH SCORE 20844.583
AT ITER 821 NEW BEST:: SOT 105545 SOS 26580 HAS SOPS 24911 HAS SOUS 21350 HAS SOUPS 20815 WITH SCORE 20841.58
AT ITER 828 NEW BEST:: SOT 105524 SOS 26387 HAS SOPS 24718 HAS SOUS 21325 HAS SOUPS 20790 WITH SCORE 20816.387
AT ITER 837 NEW BEST:: SOT 105467 SOS 26244 HAS SOPS 24575 HAS SOUS 21245 HAS SOUPS 20710 WITH SCORE 20736.244
AT ITER 853 NEW BEST:: SOT 105463 SOS 26240 HAS SOPS 24571 HAS SOUS 21241 HAS SOUPS 20706 WITH SCORE 20732.24
AT ITER 859 NEW BEST:: SOT 105464 SOS 26200 HAS SOPS 24514 HAS SOUS 21240 HAS SOUPS 20705 WITH SCORE 20731.2
AT ITER 866 NEW BEST:: SOT 105477 SOS 26196 HAS SOPS 24510 HAS SOUS 21234 HAS SOUPS 20699 WITH SCORE 20725.196
AT ITER 875 NEW BEST:: SOT 105441 SOS 26196 HAS SOPS 24510 HAS SOUS 21211 HAS SOUPS 20676 WITH SCORE 20702.196
AT ITER 908 NEW BEST:: SOT 105407 SOS 26167 HAS SOPS 24481 HAS SOUS 21172 HAS SOUPS 20637 WITH SCORE 20663.167
AT ITER 925 NEW BEST:: SOT 105407 SOS 26160 HAS SOPS 24474 HAS SOUS 21178 HAS SOUPS 20637 WITH SCORE 20663.16
AT ITER 962 NEW BEST:: SOT 105381 SOS 26134 HAS SOPS 24448 HAS SOUS 21126 HAS SOUPS 20585 WITH SCORE 20611.134
AT ITER 976 NEW BEST:: SOT 105381 SOS 26000 HAS SOPS 24314 HAS SOUS 21126 HAS SOUPS 20585 WITH SCORE 20611.0
AT ITER 978 NEW BEST:: SOT 105336 SOS 25955 HAS SOPS 24293 HAS SOUS 21103 HAS SOUPS 20562 WITH SCORE 20587.955
AT ITER 991 NEW BEST:: SOT 105209 SOS 25915 HAS SOPS 24060 HAS SOUS 20990 HAS SOUPS 20404 WITH SCORE 20429.915
AT ITER 998 NEW BEST:: SOT 105209 SOS 25915 HAS SOPS 24060 HAS SOUS 20989 HAS SOUPS 20403 WITH SCORE 20428.915
AT ITER 1003 NEW BEST:: SOT 105169 SOS 25947 HAS SOPS 24020 HAS SOUS 20968 HAS SOUPS 20364 WITH SCORE 20389.947
AT ITER 1006 NEW BEST:: SOT 105157 SOS 25861 HAS SOPS 23934 HAS SOUS 20956 HAS SOUPS 20352 WITH SCORE 20377.861
AT ITER 1036 NEW BEST:: SOT 105140 SOS 25859 HAS SOPS 23933 HAS SOUS 20955 HAS SOUPS 20351 WITH SCORE 20376.859
AT ITER 1055 NEW BEST:: SOT 105118 SOS 25859 HAS SOPS 23933 HAS SOUS 20952 HAS SOUPS 20348 WITH SCORE 20373.859
AT ITER 1064 NEW BEST:: SOT 105074 SOS 25800 HAS SOPS 23955 HAS SOUS 20923 HAS SOUPS 20319 WITH SCORE 20344.8
AT ITER 1075 NEW BEST:: SOT 105070 SOS 25788 HAS SOPS 23943 HAS SOUS 20923 HAS SOUPS 20319 WITH SCORE 20344.788
AT ITER 1092 NEW BEST:: SOT 105070 SOS 25763 HAS SOPS 23918 HAS SOUS 20895 HAS SOUPS 20291 WITH SCORE 20316.763
AT ITER 1115 NEW BEST:: SOT 105041 SOS 25728 HAS SOPS 23883 HAS SOUS 20845 HAS SOUPS 20241 WITH SCORE 20266.728
AT ITER 1135 NEW BEST:: SOT 105032 SOS 25700 HAS SOPS 23855 HAS SOUS 20825 HAS SOUPS 20221 WITH SCORE 20246.7
AT ITER 1145 NEW BEST:: SOT 105029 SOS 25697 HAS SOPS 23852 HAS SOUS 20819 HAS SOUPS 20215 WITH SCORE 20240.697
AT ITER 1180 NEW BEST:: SOT 105019 SOS 25687 HAS SOPS 23842 HAS SOUS 20799 HAS SOUPS 20195 WITH SCORE 20220.687
AT ITER 1223 NEW BEST:: SOT 105022 SOS 25023 HAS SOPS 23796 HAS SOUS 20652 HAS SOUPS 20149 WITH SCORE 20174.023
AT ITER 1224 NEW BEST:: SOT 105020 SOS 25019 HAS SOPS 23792 HAS SOUS 20650 HAS SOUPS 20147 WITH SCORE 20172.019
AT ITER 1225 NEW BEST:: SOT 105025 SOS 25043 HAS SOPS 23657 HAS SOUS 20519 HAS SOUPS 20016 WITH SCORE 20041.043
AT ITER 1231 NEW BEST:: SOT 104996 SOS 25014 HAS SOPS 23628 HAS SOUS 20466 HAS SOUPS 19963 WITH SCORE 19988.014
AT ITER 1267 NEW BEST:: SOT 104948 SOS 24981 HAS SOPS 23600 HAS SOUS 20438 HAS SOUPS 19935 WITH SCORE 19959.981
AT ITER 1271 NEW BEST:: SOT 104959 SOS 24938 HAS SOPS 23557 HAS SOUS 20414 HAS SOUPS 19911 WITH SCORE 19935.938
AT ITER 1333 NEW BEST:: SOT 104953 SOS 24908 HAS SOPS 23527 HAS SOUS 20402 HAS SOUPS 19899 WITH SCORE 19923.908
AT ITER 1366 NEW BEST:: SOT 104952 SOS 24902 HAS SOPS 23521 HAS SOUS 20399 HAS SOUPS 19896 WITH SCORE 19920.902
AT ITER 1424 NEW BEST:: SOT 104940 SOS 24862 HAS SOPS 23481 HAS SOUS 20387 HAS SOUPS 19884 WITH SCORE 19908.862
AT ITER 1439 NEW BEST:: SOT 104940 SOS 24838 HAS SOPS 23457 HAS SOUS 20381 HAS SOUPS 19878 WITH SCORE 19902.838
AT ITER 1440 NEW BEST:: SOT 104623 SOS 25356 HAS SOPS 23975 HAS SOUS 20084 HAS SOUPS 19581 WITH SCORE 19606.356
AT ITER 1455 NEW BEST:: SOT 104623 SOS 25356 HAS SOPS 23961 HAS SOUS 20083 HAS SOUPS 19567 WITH SCORE 19592.356
AT ITER 1462 NEW BEST:: SOT 104595 SOS 25295 HAS SOPS 23900 HAS SOUS 20055 HAS SOUPS 19539 WITH SCORE 19564.295
AT ITER 1482 NEW BEST:: SOT 104602 SOS 25302 HAS SOPS 23907 HAS SOUS 20016 HAS SOUPS 19500 WITH SCORE 19525.302
AT ITER 1485 NEW BEST:: SOT 104506 SOS 25289 HAS SOPS 23894 HAS SOUS 19951 HAS SOUPS 19435 WITH SCORE 19460.289
AT ITER 1493 NEW BEST:: SOT 104510 SOS 25247 HAS SOPS 23852 HAS SOUS 19941 HAS SOUPS 19425 WITH SCORE 19450.247
AT ITER 1500 NEW BEST:: SOT 104506 SOS 25243 HAS SOPS 23848 HAS SOUS 19933 HAS SOUPS 19417 WITH SCORE 19442.243
AT ITER 1514 NEW BEST:: SOT 104474 SOS 25281 HAS SOPS 23816 HAS SOUS 19901 HAS SOUPS 19371 WITH SCORE 19396.281
AT ITER 1552 NEW BEST:: SOT 104424 SOS 25290 HAS SOPS 23825 HAS SOUS 19860 HAS SOUPS 19330 WITH SCORE 19355.29
AT ITER 1554 NEW BEST:: SOT 104414 SOS 25280 HAS SOPS 23815 HAS SOUS 19856 HAS SOUPS 19326 WITH SCORE 19351.28
AT ITER 1623 NEW BEST:: SOT 104412 SOS 25276 HAS SOPS 23811 HAS SOUS 19852 HAS SOUPS 19322 WITH SCORE 19347.276
AT ITER 1628 NEW BEST:: SOT 104390 SOS 25309 HAS SOPS 23789 HAS SOUS 19830 HAS SOUPS 19289 WITH SCORE 19314.309
AT ITER 1634 NEW BEST:: SOT 104388 SOS 25307 HAS SOPS 23787 HAS SOUS 19828 HAS SOUPS 19287 WITH SCORE 19312.307
AT ITER 1642 NEW BEST:: SOT 104393 SOS 25278 HAS SOPS 23758 HAS SOUS 19822 HAS SOUPS 19281 WITH SCORE 19306.278
AT ITER 1670 NEW BEST:: SOT 104348 SOS 25233 HAS SOPS 23713 HAS SOUS 19777 HAS SOUPS 19236 WITH SCORE 19261.233
AT ITER 1691 NEW BEST:: SOT 104324 SOS 25051 HAS SOPS 23531 HAS SOUS 19749 HAS SOUPS 19208 WITH SCORE 19233.051
AT ITER 1749 NEW BEST:: SOT 104302 SOS 25047 HAS SOPS 23531 HAS SOUS 19727 HAS SOUPS 19186 WITH SCORE 19211.047
AT ITER 1761 NEW BEST:: SOT 104309 SOS 25038 HAS SOPS 23522 HAS SOUS 19725 HAS SOUPS 19184 WITH SCORE 19209.038
AT ITER 1783 NEW BEST:: SOT 104329 SOS 25064 HAS SOPS 23548 HAS SOUS 19716 HAS SOUPS 19175 WITH SCORE 19200.064
AT ITER 1802 NEW BEST:: SOT 104297 SOS 25088 HAS SOPS 23572 HAS SOUS 19695 HAS SOUPS 19154 WITH SCORE 19179.088
AT ITER 1846 NEW BEST:: SOT 104281 SOS 25072 HAS SOPS 23556 HAS SOUS 19663 HAS SOUPS 19122 WITH SCORE 19147.072
AT ITER 1863 NEW BEST:: SOT 104276 SOS 25067 HAS SOPS 23551 HAS SOUS 19652 HAS SOUPS 19111 WITH SCORE 19136.067
AT ITER 1870 NEW BEST:: SOT 104270 SOS 25061 HAS SOPS 23545 HAS SOUS 19646 HAS SOUPS 19105 WITH SCORE 19130.061
AT ITER 1881 NEW BEST:: SOT 104256 SOS 25046 HAS SOPS 23530 HAS SOUS 19626 HAS SOUPS 19085 WITH SCORE 19110.046
AT ITER 1913 NEW BEST:: SOT 104230 SOS 25221 HAS SOPS 23705 HAS SOUS 19594 HAS SOUPS 19053 WITH SCORE 19078.221
AT ITER 1917 NEW BEST:: SOT 104124 SOS 25114 HAS SOPS 23600 HAS SOUS 19447 HAS SOUPS 18906 WITH SCORE 18931.114
AT ITER 1928 NEW BEST:: SOT 104096 SOS 25086 HAS SOPS 23572 HAS SOUS 19419 HAS SOUPS 18878 WITH SCORE 18903.086
AT ITER 1936 NEW BEST:: SOT 104083 SOS 25064 HAS SOPS 23537 HAS SOUS 19396 HAS SOUPS 18852 WITH SCORE 18877.064
AT ITER 1960 NEW BEST:: SOT 104036 SOS 25016 HAS SOPS 23489 HAS SOUS 19288 HAS SOUPS 18744 WITH SCORE 18769.016
AT ITER 1978 NEW BEST:: SOT 104002 SOS 25045 HAS SOPS 23458 HAS SOUS 19290 HAS SOUPS 18731 WITH SCORE 18756.045
AT ITER 2001 NEW BEST:: SOT 104002 SOS 25045 HAS SOPS 23458 HAS SOUS 19288 HAS SOUPS 18729 WITH SCORE 18754.045
AT ITER 2016 NEW BEST:: SOT 103980 SOS 25053 HAS SOPS 23466 HAS SOUS 19266 HAS SOUPS 18707 WITH SCORE 18732.053
AT ITER 2034 NEW BEST:: SOT 103955 SOS 24859 HAS SOPS 23272 HAS SOUS 19216 HAS SOUPS 18657 WITH SCORE 18681.859
AT ITER 2064 NEW BEST:: SOT 103924 SOS 24807 HAS SOPS 23220 HAS SOUS 19185 HAS SOUPS 18626 WITH SCORE 18650.807
AT ITER 2079 NEW BEST:: SOT 103919 SOS 24795 HAS SOPS 23208 HAS SOUS 19168 HAS SOUPS 18609 WITH SCORE 18633.795
AT ITER 2081 NEW BEST:: SOT 103922 SOS 24798 HAS SOPS 23211 HAS SOUS 19118 HAS SOUPS 18559 WITH SCORE 18583.798
AT ITER 2087 NEW BEST:: SOT 103922 SOS 24796 HAS SOPS 23209 HAS SOUS 19116 HAS SOUPS 18557 WITH SCORE 18581.796
AT ITER 2095 NEW BEST:: SOT 103919 SOS 24789 HAS SOPS 23203 HAS SOUS 19110 HAS SOUPS 18551 WITH SCORE 18575.789
AT ITER 2107 NEW BEST:: SOT 103911 SOS 24794 HAS SOPS 23208 HAS SOUS 19099 HAS SOUPS 18540 WITH SCORE 18564.794
AT ITER 2113 NEW BEST:: SOT 103902 SOS 24749 HAS SOPS 23163 HAS SOUS 19081 HAS SOUPS 18522 WITH SCORE 18546.749
AT ITER 2117 NEW BEST:: SOT 103899 SOS 24740 HAS SOPS 23154 HAS SOUS 19072 HAS SOUPS 18513 WITH SCORE 18537.74
AT ITER 2130 NEW BEST:: SOT 103883 SOS 24742 HAS SOPS 23156 HAS SOUS 19055 HAS SOUPS 18496 WITH SCORE 18520.742
AT ITER 2134 NEW BEST:: SOT 103881 SOS 24715 HAS SOPS 23129 HAS SOUS 19053 HAS SOUPS 18494 WITH SCORE 18518.715
AT ITER 2141 NEW BEST:: SOT 103830 SOS 24664 HAS SOPS 23078 HAS SOUS 18960 HAS SOUPS 18401 WITH SCORE 18425.664
AT ITER 2180 NEW BEST:: SOT 103830 SOS 24656 HAS SOPS 23070 HAS SOUS 18952 HAS SOUPS 18393 WITH SCORE 18417.656
AT ITER 2187 NEW BEST:: SOT 103830 SOS 24655 HAS SOPS 23053 HAS SOUS 18935 HAS SOUPS 18376 WITH SCORE 18400.655
AT ITER 2248 NEW BEST:: SOT 103830 SOS 24636 HAS SOPS 23034 HAS SOUS 18916 HAS SOUPS 18357 WITH SCORE 18381.636
AT ITER 2278 NEW BEST:: SOT 103824 SOS 24633 HAS SOPS 23031 HAS SOUS 18912 HAS SOUPS 18353 WITH SCORE 18377.633
AT ITER 2316 NEW BEST:: SOT 103824 SOS 24635 HAS SOPS 23033 HAS SOUS 18906 HAS SOUPS 18347 WITH SCORE 18371.635
AT ITER 2317 NEW BEST:: SOT 103847 SOS 24594 HAS SOPS 22943 HAS SOUS 18880 HAS SOUPS 18321 WITH SCORE 18345.594
AT ITER 2326 NEW BEST:: SOT 103833 SOS 24580 HAS SOPS 22929 HAS SOUS 18802 HAS SOUPS 18243 WITH SCORE 18267.58
AT ITER 2345 NEW BEST:: SOT 103829 SOS 24504 HAS SOPS 22853 HAS SOUS 18798 HAS SOUPS 18239 WITH SCORE 18263.504
AT ITER 2431 NEW BEST:: SOT 103825 SOS 24510 HAS SOPS 22851 HAS SOUS 18798 HAS SOUPS 18237 WITH SCORE 18261.51
AT ITER 2457 NEW BEST:: SOT 103825 SOS 24495 HAS SOPS 22836 HAS SOUS 18798 HAS SOUPS 18237 WITH SCORE 18261.495
AT ITER 2473 NEW BEST:: SOT 103825 SOS 24478 HAS SOPS 22819 HAS SOUS 18798 HAS SOUPS 18237 WITH SCORE 18261.478
AT ITER 2477 NEW BEST:: SOT 103844 SOS 24415 HAS SOPS 22743 HAS SOUS 18798 HAS SOUPS 18237 WITH SCORE 18261.415
AT ITER 2509 NEW BEST:: SOT 103844 SOS 24402 HAS SOPS 22743 HAS SOUS 18798 HAS SOUPS 18237 WITH SCORE 18261.402
AT ITER 2515 NEW BEST:: SOT 103834 SOS 24392 HAS SOPS 22733 HAS SOUS 18770 HAS SOUPS 18209 WITH SCORE 18233.392
AT ITER 2520 NEW BEST:: SOT 103815 SOS 24368 HAS SOPS 22709 HAS SOUS 18746 HAS SOUPS 18185 WITH SCORE 18209.368
AT ITER 2529 NEW BEST:: SOT 103805 SOS 24356 HAS SOPS 22701 HAS SOUS 18738 HAS SOUPS 18177 WITH SCORE 18201.356
AT ITER 2530 NEW BEST:: SOT 103805 SOS 24355 HAS SOPS 22691 HAS SOUS 18728 HAS SOUPS 18167 WITH SCORE 18191.355
AT ITER 2532 NEW BEST:: SOT 103814 SOS 24364 HAS SOPS 22700 HAS SOUS 18700 HAS SOUPS 18139 WITH SCORE 18163.364
AT ITER 2566 NEW BEST:: SOT 103806 SOS 24351 HAS SOPS 22687 HAS SOUS 18679 HAS SOUPS 18118 WITH SCORE 18142.351
AT ITER 2573 NEW BEST:: SOT 103731 SOS 24276 HAS SOPS 22612 HAS SOUS 18577 HAS SOUPS 18016 WITH SCORE 18040.276
AT ITER 2580 NEW BEST:: SOT 103733 SOS 24252 HAS SOPS 22588 HAS SOUS 18566 HAS SOUPS 18005 WITH SCORE 18029.252
AT ITER 2581 NEW BEST:: SOT 103706 SOS 24225 HAS SOPS 22561 HAS SOUS 18535 HAS SOUPS 17974 WITH SCORE 17998.225
AT ITER 2609 NEW BEST:: SOT 103705 SOS 24224 HAS SOPS 22560 HAS SOUS 18533 HAS SOUPS 17972 WITH SCORE 17996.224
AT ITER 2629 NEW BEST:: SOT 103703 SOS 24214 HAS SOPS 22550 HAS SOUS 18529 HAS SOUPS 17968 WITH SCORE 17992.214
AT ITER 2667 NEW BEST:: SOT 103679 SOS 24316 HAS SOPS 22652 HAS SOUS 18504 HAS SOUPS 17943 WITH SCORE 17967.316
AT ITER 2668 NEW BEST:: SOT 103679 SOS 24316 HAS SOPS 22652 HAS SOUS 18493 HAS SOUPS 17932 WITH SCORE 17956.316
AT ITER 2693 NEW BEST:: SOT 103639 SOS 24276 HAS SOPS 22612 HAS SOUS 18453 HAS SOUPS 17892 WITH SCORE 17916.276
AT ITER 2712 NEW BEST:: SOT 103639 SOS 24267 HAS SOPS 22603 HAS SOUS 18453 HAS SOUPS 17892 WITH SCORE 17916.267
AT ITER 2734 NEW BEST:: SOT 103651 SOS 24257 HAS SOPS 22593 HAS SOUS 18447 HAS SOUPS 17886 WITH SCORE 17910.257
AT ITER 2772 NEW BEST:: SOT 103651 SOS 24154 HAS SOPS 22490 HAS SOUS 18412 HAS SOUPS 17851 WITH SCORE 17875.154
AT ITER 2783 NEW BEST:: SOT 103648 SOS 24136 HAS SOPS 22472 HAS SOUS 18409 HAS SOUPS 17848 WITH SCORE 17872.136
AT ITER 2784 NEW BEST:: SOT 103604 SOS 24080 HAS SOPS 22463 HAS SOUS 18389 HAS SOUPS 17839 WITH SCORE 17863.08
AT ITER 2791 NEW BEST:: SOT 103582 SOS 24036 HAS SOPS 22419 HAS SOUS 18357 HAS SOUPS 17807 WITH SCORE 17831.036
AT ITER 2800 NEW BEST:: SOT 103565 SOS 24019 HAS SOPS 22402 HAS SOUS 18323 HAS SOUPS 17773 WITH SCORE 17797.019
AT ITER 2850 NEW BEST:: SOT 103562 SOS 24016 HAS SOPS 22399 HAS SOUS 18323 HAS SOUPS 17773 WITH SCORE 17797.016
AT ITER 2855 NEW BEST:: SOT 103556 SOS 23983 HAS SOPS 22366 HAS SOUS 18311 HAS SOUPS 17761 WITH SCORE 17784.983
AT ITER 2856 NEW BEST:: SOT 103556 SOS 23974 HAS SOPS 22357 HAS SOUS 18302 HAS SOUPS 17752 WITH SCORE 17775.974
AT ITER 2868 NEW BEST:: SOT 103547 SOS 23963 HAS SOPS 22346 HAS SOUS 18291 HAS SOUPS 17741 WITH SCORE 17764.963
AT ITER 2917 NEW BEST:: SOT 103561 SOS 23985 HAS SOPS 22326 HAS SOUS 18271 HAS SOUPS 17721 WITH SCORE 17744.985
AT ITER 2924 NEW BEST:: SOT 103561 SOS 23979 HAS SOPS 22320 HAS SOUS 18271 HAS SOUPS 17721 WITH SCORE 17744.979
AT ITER 2928 NEW BEST:: SOT 103562 SOS 23974 HAS SOPS 22315 HAS SOUS 18267 HAS SOUPS 17717 WITH SCORE 17740.974
AT ITER 2953 NEW BEST:: SOT 103558 SOS 23980 HAS SOPS 22311 HAS SOUS 18263 HAS SOUPS 17711 WITH SCORE 17734.98
AT ITER 2959 NEW BEST:: SOT 103554 SOS 23976 HAS SOPS 22307 HAS SOUS 18255 HAS SOUPS 17703 WITH SCORE 17726.976
AT ITER 3005 NEW BEST:: SOT 103544 SOS 23958 HAS SOPS 22289 HAS SOUS 18235 HAS SOUPS 17683 WITH SCORE 17706.958
AT ITER 3035 NEW BEST:: SOT 103548 SOS 23952 HAS SOPS 22283 HAS SOUS 18231 HAS SOUPS 17679 WITH SCORE 17702.952
AT ITER 3071 NEW BEST:: SOT 103547 SOS 23951 HAS SOPS 22282 HAS SOUS 18229 HAS SOUPS 17677 WITH SCORE 17700.951
AT ITER 3091 NEW BEST:: SOT 103526 SOS 23951 HAS SOPS 22282 HAS SOUS 18208 HAS SOUPS 17656 WITH SCORE 17679.951
AT ITER 3117 NEW BEST:: SOT 103517 SOS 23955 HAS SOPS 22286 HAS SOUS 18205 HAS SOUPS 17653 WITH SCORE 17676.955
AT ITER 3154 NEW BEST:: SOT 103525 SOS 23952 HAS SOPS 22283 HAS SOUS 18202 HAS SOUPS 17650 WITH SCORE 17673.952
AT ITER 3157 NEW BEST:: SOT 103520 SOS 23947 HAS SOPS 22278 HAS SOUS 18192 HAS SOUPS 17640 WITH SCORE 17663.947
AT ITER 3163 NEW BEST:: SOT 103503 SOS 23930 HAS SOPS 22261 HAS SOUS 18166 HAS SOUPS 17614 WITH SCORE 17637.93
AT ITER 3203 NEW BEST:: SOT 103503 SOS 23914 HAS SOPS 22245 HAS SOUS 18166 HAS SOUPS 17614 WITH SCORE 17637.914
AT ITER 3214 NEW BEST:: SOT 103462 SOS 23668 HAS SOPS 21999 HAS SOUS 18084 HAS SOUPS 17532 WITH SCORE 17555.668
AT ITER 3222 NEW BEST:: SOT 103462 SOS 23657 HAS SOPS 21988 HAS SOUS 18084 HAS SOUPS 17532 WITH SCORE 17555.657
AT ITER 3283 NEW BEST:: SOT 103448 SOS 23633 HAS SOPS 21964 HAS SOUS 18075 HAS SOUPS 17523 WITH SCORE 17546.633
AT ITER 3307 NEW BEST:: SOT 103432 SOS 23624 HAS SOPS 21944 HAS SOUS 18059 HAS SOUPS 17503 WITH SCORE 17526.624
AT ITER 3325 NEW BEST:: SOT 103432 SOS 23619 HAS SOPS 21939 HAS SOUS 18059 HAS SOUPS 17503 WITH SCORE 17526.619
AT ITER 3332 NEW BEST:: SOT 103429 SOS 23605 HAS SOPS 21925 HAS SOUS 18040 HAS SOUPS 17484 WITH SCORE 17507.605
AT ITER 3340 NEW BEST:: SOT 103430 SOS 23598 HAS SOPS 21918 HAS SOUS 18039 HAS SOUPS 17483 WITH SCORE 17506.598
AT ITER 3353 NEW BEST:: SOT 103435 SOS 23603 HAS SOPS 21923 HAS SOUS 18006 HAS SOUPS 17450 WITH SCORE 17473.603
AT ITER 3416 NEW BEST:: SOT 103407 SOS 23478 HAS SOPS 21798 HAS SOUS 17965 HAS SOUPS 17409 WITH SCORE 17432.478
AT ITER 3444 NEW BEST:: SOT 103406 SOS 23477 HAS SOPS 21797 HAS SOUS 17963 HAS SOUPS 17407 WITH SCORE 17430.477
AT ITER 3449 NEW BEST:: SOT 103406 SOS 23458 HAS SOPS 21778 HAS SOUS 17944 HAS SOUPS 17388 WITH SCORE 17411.458
AT ITER 3502 NEW BEST:: SOT 103403 SOS 23455 HAS SOPS 21775 HAS SOUS 17941 HAS SOUPS 17385 WITH SCORE 17408.455
AT ITER 3507 NEW BEST:: SOT 103403 SOS 23407 HAS SOPS 21727 HAS SOUS 17929 HAS SOUPS 17373 WITH SCORE 17396.407
AT ITER 3520 NEW BEST:: SOT 103403 SOS 23399 HAS SOPS 21719 HAS SOUS 17921 HAS SOUPS 17365 WITH SCORE 17388.399
AT ITER 3579 NEW BEST:: SOT 103300 SOS 23300 HAS SOPS 21620 HAS SOUS 17822 HAS SOUPS 17266 WITH SCORE 17289.3
AT ITER 3636 NEW BEST:: SOT 103290 SOS 23290 HAS SOPS 21610 HAS SOUS 17810 HAS SOUPS 17254 WITH SCORE 17277.29
AT ITER 3678 NEW BEST:: SOT 103259 SOS 23309 HAS SOPS 21629 HAS SOUS 17779 HAS SOUPS 17223 WITH SCORE 17246.309
AT ITER 3712 NEW BEST:: SOT 103275 SOS 23504 HAS SOPS 21593 HAS SOUS 17778 HAS SOUPS 17187 WITH SCORE 17210.504
AT ITER 3721 NEW BEST:: SOT 103274 SOS 23497 HAS SOPS 21585 HAS SOUS 17776 HAS SOUPS 17185 WITH SCORE 17208.497
AT ITER 3733 NEW BEST:: SOT 103274 SOS 23494 HAS SOPS 21582 HAS SOUS 17774 HAS SOUPS 17183 WITH SCORE 17206.494
AT ITER 3757 NEW BEST:: SOT 103274 SOS 23494 HAS SOPS 21582 HAS SOUS 17760 HAS SOUPS 17169 WITH SCORE 17192.494
AT ITER 3758 NEW BEST:: SOT 103237 SOS 23289 HAS SOPS 21377 HAS SOUS 17676 HAS SOUPS 17085 WITH SCORE 17108.289
AT ITER 3769 NEW BEST:: SOT 103237 SOS 23249 HAS SOPS 21337 HAS SOUS 17676 HAS SOUPS 17085 WITH SCORE 17108.249
AT ITER 3770 NEW BEST:: SOT 103239 SOS 22750 HAS SOPS 20838 HAS SOUS 17669 HAS SOUPS 17078 WITH SCORE 17100.75
AT ITER 3774 NEW BEST:: SOT 103229 SOS 22740 HAS SOPS 20828 HAS SOUS 17659 HAS SOUPS 17068 WITH SCORE 17090.74
AT ITER 3775 NEW BEST:: SOT 103189 SOS 22700 HAS SOPS 20788 HAS SOUS 17619 HAS SOUPS 17028 WITH SCORE 17050.7
AT ITER 3803 NEW BEST:: SOT 103201 SOS 22712 HAS SOPS 20800 HAS SOUS 17615 HAS SOUPS 17024 WITH SCORE 17046.712
AT ITER 3819 NEW BEST:: SOT 103193 SOS 22711 HAS SOPS 20799 HAS SOUS 17614 HAS SOUPS 17023 WITH SCORE 17045.711
AT ITER 3837 NEW BEST:: SOT 103187 SOS 22705 HAS SOPS 20793 HAS SOUS 17602 HAS SOUPS 17011 WITH SCORE 17033.705
AT ITER 3900 NEW BEST:: SOT 103187 SOS 22699 HAS SOPS 20787 HAS SOUS 17596 HAS SOUPS 17005 WITH SCORE 17027.699
AT ITER 3926 NEW BEST:: SOT 103182 SOS 22694 HAS SOPS 20789 HAS SOUS 17586 HAS SOUPS 17002 WITH SCORE 17024.694
AT ITER 3940 NEW BEST:: SOT 103189 SOS 22701 HAS SOPS 20768 HAS SOUS 17593 HAS SOUPS 16981 WITH SCORE 17003.701
AT ITER 3953 NEW BEST:: SOT 103183 SOS 22686 HAS SOPS 20747 HAS SOUS 17572 HAS SOUPS 16960 WITH SCORE 16982.686
AT ITER 4018 NEW BEST:: SOT 103165 SOS 22670 HAS SOPS 20751 HAS SOUS 17556 HAS SOUPS 16944 WITH SCORE 16966.67
AT ITER 4052 NEW BEST:: SOT 103181 SOS 23014 HAS SOPS 21066 HAS SOUS 17543 HAS SOUPS 16931 WITH SCORE 16954.014
AT ITER 4077 NEW BEST:: SOT 103178 SOS 23010 HAS SOPS 21062 HAS SOUS 17540 HAS SOUPS 16928 WITH SCORE 16951.01
AT ITER 4096 NEW BEST:: SOT 103178 SOS 23010 HAS SOPS 21062 HAS SOUS 17523 HAS SOUPS 16911 WITH SCORE 16934.01
AT ITER 4112 NEW BEST:: SOT 103160 SOS 23050 HAS SOPS 21083 HAS SOUS 17487 HAS SOUPS 16875 WITH SCORE 16898.05
AT ITER 4118 NEW BEST:: SOT 103160 SOS 23048 HAS SOPS 21081 HAS SOUS 17485 HAS SOUPS 16873 WITH SCORE 16896.048
AT ITER 4155 NEW BEST:: SOT 103160 SOS 23027 HAS SOPS 21060 HAS SOUS 17485 HAS SOUPS 16873 WITH SCORE 16896.027
AT ITER 4178 NEW BEST:: SOT 103160 SOS 23036 HAS SOPS 21069 HAS SOUS 17482 HAS SOUPS 16870 WITH SCORE 16893.036
AT ITER 4211 NEW BEST:: SOT 103153 SOS 23034 HAS SOPS 21067 HAS SOUS 17475 HAS SOUPS 16863 WITH SCORE 16886.034
AT ITER 4231 NEW BEST:: SOT 103153 SOS 23033 HAS SOPS 21066 HAS SOUS 17475 HAS SOUPS 16863 WITH SCORE 16886.033
AT ITER 4234 NEW BEST:: SOT 103224 SOS 23118 HAS SOPS 20984 HAS SOUS 17415 HAS SOUPS 16796 WITH SCORE 16819.118
AT ITER 4243 NEW BEST:: SOT 103224 SOS 23118 HAS SOPS 20984 HAS SOUS 17414 HAS SOUPS 16795 WITH SCORE 16818.118
AT ITER 4246 NEW BEST:: SOT 103222 SOS 23116 HAS SOPS 20980 HAS SOUS 17412 HAS SOUPS 16791 WITH SCORE 16814.116
AT ITER 4257 NEW BEST:: SOT 103139 SOS 23457 HAS SOPS 20969 HAS SOUS 17427 HAS SOUPS 16734 WITH SCORE 16757.457
AT ITER 4276 NEW BEST:: SOT 103133 SOS 23451 HAS SOPS 20963 HAS SOUS 17415 HAS SOUPS 16722 WITH SCORE 16745.451
AT ITER 4280 NEW BEST:: SOT 103109 SOS 23434 HAS SOPS 20971 HAS SOUS 17414 HAS SOUPS 16721 WITH SCORE 16744.434
AT ITER 4331 NEW BEST:: SOT 103095 SOS 23428 HAS SOPS 20977 HAS SOUS 17386 HAS SOUPS 16693 WITH SCORE 16716.428
AT ITER 4334 NEW BEST:: SOT 103084 SOS 23417 HAS SOPS 20966 HAS SOUS 17375 HAS SOUPS 16682 WITH SCORE 16705.417
AT ITER 4391 NEW BEST:: SOT 103073 SOS 23406 HAS SOPS 20955 HAS SOUS 17364 HAS SOUPS 16671 WITH SCORE 16694.406
AT ITER 4425 NEW BEST:: SOT 103073 SOS 23413 HAS SOPS 20955 HAS SOUS 17357 HAS SOUPS 16664 WITH SCORE 16687.413
AT ITER 4438 NEW BEST:: SOT 103049 SOS 23365 HAS SOPS 20907 HAS SOUS 17307 HAS SOUPS 16614 WITH SCORE 16637.365
AT ITER 4453 NEW BEST:: SOT 103022 SOS 23338 HAS SOPS 20880 HAS SOUS 17280 HAS SOUPS 16587 WITH SCORE 16610.338
AT ITER 4489 NEW BEST:: SOT 103022 SOS 23331 HAS SOPS 20873 HAS SOUS 17278 HAS SOUPS 16585 WITH SCORE 16608.331
AT ITER 4500 NEW BEST:: SOT 103022 SOS 23331 HAS SOPS 20873 HAS SOUS 17274 HAS SOUPS 16581 WITH SCORE 16604.331
AT ITER 4542 NEW BEST:: SOT 102957 SOS 23270 HAS SOPS 20864 HAS SOUS 17241 HAS SOUPS 16548 WITH SCORE 16571.27
AT ITER 4576 NEW BEST:: SOT 102952 SOS 23267 HAS SOPS 20861 HAS SOUS 17236 HAS SOUPS 16543 WITH SCORE 16566.267
AT ITER 4639 NEW BEST:: SOT 102940 SOS 23255 HAS SOPS 20849 HAS SOUS 17224 HAS SOUPS 16531 WITH SCORE 16554.255
AT ITER 4646 NEW BEST:: SOT 102935 SOS 23250 HAS SOPS 20839 HAS SOUS 17215 HAS SOUPS 16508 WITH SCORE 16531.25
AT ITER 4650 NEW BEST:: SOT 102933 SOS 23246 HAS SOPS 20835 HAS SOUS 17211 HAS SOUPS 16504 WITH SCORE 16527.246
AT ITER 4660 NEW BEST:: SOT 102933 SOS 23146 HAS SOPS 20735 HAS SOUS 17211 HAS SOUPS 16504 WITH SCORE 16527.146
AT ITER 4672 NEW BEST:: SOT 102932 SOS 23164 HAS SOPS 20753 HAS SOUS 17210 HAS SOUPS 16503 WITH SCORE 16526.164
AT ITER 4688 NEW BEST:: SOT 102914 SOS 23146 HAS SOPS 20735 HAS SOUS 17201 HAS SOUPS 16494 WITH SCORE 16517.146
AT ITER 4825 NEW BEST:: SOT 102887 SOS 23119 HAS SOPS 20708 HAS SOUS 17174 HAS SOUPS 16467 WITH SCORE 16490.119
AT ITER 4865 NEW BEST:: SOT 102889 SOS 23111 HAS SOPS 20700 HAS SOUS 17166 HAS SOUPS 16459 WITH SCORE 16482.111
AT ITER 4875 NEW BEST:: SOT 102889 SOS 23083 HAS SOPS 20672 HAS SOUS 17159 HAS SOUPS 16452 WITH SCORE 16475.083
AT ITER 4888 NEW BEST:: SOT 102898 SOS 23092 HAS SOPS 20681 HAS SOUS 17129 HAS SOUPS 16422 WITH SCORE 16445.092
AT ITER 4974 NEW BEST:: SOT 102875 SOS 23325 HAS SOPS 20655 HAS SOUS 17151 HAS SOUPS 16401 WITH SCORE 16424.325
AT ITER 5006 NEW BEST:: SOT 102875 SOS 23325 HAS SOPS 20655 HAS SOUS 17146 HAS SOUPS 16396 WITH SCORE 16419.325
AT ITER 5013 NEW BEST:: SOT 102875 SOS 23323 HAS SOPS 20653 HAS SOUS 17146 HAS SOUPS 16396 WITH SCORE 16419.323
AT ITER 5092 NEW BEST:: SOT 102875 SOS 23308 HAS SOPS 20638 HAS SOUS 17146 HAS SOUPS 16396 WITH SCORE 16419.308
AT ITER 5101 NEW BEST:: SOT 102875 SOS 23294 HAS SOPS 20624 HAS SOUS 17146 HAS SOUPS 16396 WITH SCORE 16419.294
AT ITER 5137 NEW BEST:: SOT 102875 SOS 23291 HAS SOPS 20621 HAS SOUS 17143 HAS SOUPS 16393 WITH SCORE 16416.291
AT ITER 5157 NEW BEST:: SOT 102882 SOS 23258 HAS SOPS 20588 HAS SOUS 17118 HAS SOUPS 16368 WITH SCORE 16391.258
AT ITER 5189 NEW BEST:: SOT 102886 SOS 23262 HAS SOPS 20592 HAS SOUS 17117 HAS SOUPS 16367 WITH SCORE 16390.262
AT ITER 5197 NEW BEST:: SOT 102897 SOS 23262 HAS SOPS 20592 HAS SOUS 17082 HAS SOUPS 16332 WITH SCORE 16355.262
AT ITER 5221 NEW BEST:: SOT 102874 SOS 23259 HAS SOPS 20589 HAS SOUS 17059 HAS SOUPS 16309 WITH SCORE 16332.259
AT ITER 5245 NEW BEST:: SOT 102866 SOS 23242 HAS SOPS 20572 HAS SOUS 17051 HAS SOUPS 16301 WITH SCORE 16324.242
AT ITER 5262 NEW BEST:: SOT 102866 SOS 23235 HAS SOPS 20565 HAS SOUS 17051 HAS SOUPS 16301 WITH SCORE 16324.235
AT ITER 5310 NEW BEST:: SOT 102862 SOS 23235 HAS SOPS 20565 HAS SOUS 17047 HAS SOUPS 16297 WITH SCORE 16320.235
AT ITER 5418 NEW BEST:: SOT 102859 SOS 23152 HAS SOPS 20482 HAS SOUS 17021 HAS SOUPS 16271 WITH SCORE 16294.152
AT ITER 5469 NEW BEST:: SOT 102851 SOS 23144 HAS SOPS 20466 HAS SOUS 17005 HAS SOUPS 16255 WITH SCORE 16278.144
AT ITER 5576 NEW BEST:: SOT 102840 SOS 23144 HAS SOPS 20466 HAS SOUS 16994 HAS SOUPS 16244 WITH SCORE 16267.144
AT ITER 5580 NEW BEST:: SOT 102845 SOS 22934 HAS SOPS 20256 HAS SOUS 16992 HAS SOUPS 16242 WITH SCORE 16264.934
AT ITER 5612 NEW BEST:: SOT 102843 SOS 22872 HAS SOPS 20182 HAS SOUS 16918 HAS SOUPS 16168 WITH SCORE 16190.872
AT ITER 5702 NEW BEST:: SOT 102843 SOS 22872 HAS SOPS 20182 HAS SOUS 16913 HAS SOUPS 16163 WITH SCORE 16185.872
AT ITER 5715 NEW BEST:: SOT 102772 SOS 22782 HAS SOPS 20092 HAS SOUS 16823 HAS SOUPS 16073 WITH SCORE 16095.782
AT ITER 5736 NEW BEST:: SOT 102771 SOS 22781 HAS SOPS 20091 HAS SOUS 16821 HAS SOUPS 16071 WITH SCORE 16093.781
AT ITER 5752 NEW BEST:: SOT 102778 SOS 22788 HAS SOPS 20098 HAS SOUS 16802 HAS SOUPS 16052 WITH SCORE 16074.788
AT ITER 5880 NEW BEST:: SOT 102778 SOS 22786 HAS SOPS 20096 HAS SOUS 16798 HAS SOUPS 16048 WITH SCORE 16070.786
AT ITER 5904 NEW BEST:: SOT 102774 SOS 22782 HAS SOPS 20092 HAS SOUS 16790 HAS SOUPS 16040 WITH SCORE 16062.782
AT ITER 5930 NEW BEST:: SOT 102768 SOS 22776 HAS SOPS 20086 HAS SOUS 16784 HAS SOUPS 16034 WITH SCORE 16056.776
AT ITER 5939 NEW BEST:: SOT 102768 SOS 22578 HAS SOPS 19888 HAS SOUS 16784 HAS SOUPS 16034 WITH SCORE 16056.578
AT ITER 5950 NEW BEST:: SOT 102777 SOS 22587 HAS SOPS 19897 HAS SOUS 16782 HAS SOUPS 16032 WITH SCORE 16054.587
AT ITER 5955 NEW BEST:: SOT 102765 SOS 22575 HAS SOPS 19885 HAS SOUS 16758 HAS SOUPS 16008 WITH SCORE 16030.575
AT ITER 6010 NEW BEST:: SOT 102746 SOS 22575 HAS SOPS 19885 HAS SOUS 16739 HAS SOUPS 15989 WITH SCORE 16011.575
AT ITER 6024 NEW BEST:: SOT 102746 SOS 22572 HAS SOPS 19882 HAS SOUS 16736 HAS SOUPS 15986 WITH SCORE 16008.572
AT ITER 6079 NEW BEST:: SOT 102739 SOS 22565 HAS SOPS 19875 HAS SOUS 16733 HAS SOUPS 15983 WITH SCORE 16005.565
AT ITER 6136 NEW BEST:: SOT 102739 SOS 22565 HAS SOPS 19875 HAS SOUS 16732 HAS SOUPS 15982 WITH SCORE 16004.565
AT ITER 6150 NEW BEST:: SOT 102739 SOS 22565 HAS SOPS 19875 HAS SOUS 16729 HAS SOUPS 15979 WITH SCORE 16001.565
AT ITER 6156 NEW BEST:: SOT 102718 SOS 22584 HAS SOPS 19894 HAS SOUS 16714 HAS SOUPS 15964 WITH SCORE 15986.584
AT ITER 6179 NEW BEST:: SOT 102718 SOS 22584 HAS SOPS 19894 HAS SOUS 16710 HAS SOUPS 15960 WITH SCORE 15982.584
AT ITER 6190 NEW BEST:: SOT 102726 SOS 22391 HAS SOPS 19696 HAS SOUS 16709 HAS SOUPS 15959 WITH SCORE 15981.391
AT ITER 6211 NEW BEST:: SOT 102726 SOS 22376 HAS SOPS 19681 HAS SOUS 16709 HAS SOUPS 15959 WITH SCORE 15981.376
AT ITER 6221 NEW BEST:: SOT 102726 SOS 22366 HAS SOPS 19671 HAS SOUS 16704 HAS SOUPS 15954 WITH SCORE 15976.366
AT ITER 6254 NEW BEST:: SOT 102718 SOS 22358 HAS SOPS 19663 HAS SOUS 16696 HAS SOUPS 15946 WITH SCORE 15968.358
AT ITER 6293 NEW BEST:: SOT 102708 SOS 22358 HAS SOPS 19663 HAS SOUS 16686 HAS SOUPS 15936 WITH SCORE 15958.358
AT ITER 6313 NEW BEST:: SOT 102708 SOS 22353 HAS SOPS 19658 HAS SOUS 16677 HAS SOUPS 15927 WITH SCORE 15949.353
AT ITER 6353 NEW BEST:: SOT 102702 SOS 22347 HAS SOPS 19652 HAS SOUS 16671 HAS SOUPS 15921 WITH SCORE 15943.347
AT ITER 6357 NEW BEST:: SOT 102702 SOS 22347 HAS SOPS 19652 HAS SOUS 16669 HAS SOUPS 15919 WITH SCORE 15941.347
AT ITER 6378 NEW BEST:: SOT 102702 SOS 22337 HAS SOPS 19642 HAS SOUS 16664 HAS SOUPS 15914 WITH SCORE 15936.337
AT ITER 6457 NEW BEST:: SOT 102704 SOS 22285 HAS SOPS 19590 HAS SOUS 16655 HAS SOUPS 15905 WITH SCORE 15927.285
AT ITER 6574 NEW BEST:: SOT 102700 SOS 22281 HAS SOPS 19586 HAS SOUS 16651 HAS SOUPS 15901 WITH SCORE 15923.281
AT ITER 6631 NEW BEST:: SOT 102700 SOS 22281 HAS SOPS 19572 HAS SOUS 16637 HAS SOUPS 15887 WITH SCORE 15909.281
AT ITER 6636 NEW BEST:: SOT 102700 SOS 22281 HAS SOPS 19572 HAS SOUS 16634 HAS SOUPS 15884 WITH SCORE 15906.281
AT ITER 6651 NEW BEST:: SOT 102700 SOS 22279 HAS SOPS 19570 HAS SOUS 16634 HAS SOUPS 15884 WITH SCORE 15906.279
AT ITER 6677 NEW BEST:: SOT 102700 SOS 22298 HAS SOPS 19589 HAS SOUS 16631 HAS SOUPS 15881 WITH SCORE 15903.298
AT ITER 6690 NEW BEST:: SOT 102700 SOS 22285 HAS SOPS 19576 HAS SOUS 16631 HAS SOUPS 15881 WITH SCORE 15903.285
AT ITER 6756 NEW BEST:: SOT 102670 SOS 22226 HAS SOPS 19532 HAS SOUS 16587 HAS SOUPS 15837 WITH SCORE 15859.226
AT ITER 6868 NEW BEST:: SOT 102662 SOS 22161 HAS SOPS 19467 HAS SOUS 16571 HAS SOUPS 15821 WITH SCORE 15843.161
AT ITER 6880 NEW BEST:: SOT 102631 SOS 22146 HAS SOPS 19452 HAS SOUS 16571 HAS SOUPS 15821 WITH SCORE 15843.146
AT ITER 6903 NEW BEST:: SOT 102630 SOS 22145 HAS SOPS 19451 HAS SOUS 16569 HAS SOUPS 15819 WITH SCORE 15841.145
AT ITER 6905 NEW BEST:: SOT 102625 SOS 22229 HAS SOPS 19535 HAS SOUS 16566 HAS SOUPS 15816 WITH SCORE 15838.229
AT ITER 6931 NEW BEST:: SOT 102625 SOS 22219 HAS SOPS 19525 HAS SOUS 16556 HAS SOUPS 15806 WITH SCORE 15828.219
AT ITER 6942 NEW BEST:: SOT 102625 SOS 22213 HAS SOPS 19519 HAS SOUS 16550 HAS SOUPS 15800 WITH SCORE 15822.213
AT ITER 7086 NEW BEST:: SOT 102625 SOS 22209 HAS SOPS 19515 HAS SOUS 16550 HAS SOUPS 15800 WITH SCORE 15822.209
AT ITER 7121 NEW BEST:: SOT 102599 SOS 22184 HAS SOPS 19490 HAS SOUS 16531 HAS SOUPS 15781 WITH SCORE 15803.184
AT ITER 7136 NEW BEST:: SOT 102599 SOS 22184 HAS SOPS 19490 HAS SOUS 16527 HAS SOUPS 15777 WITH SCORE 15799.184
AT ITER 7143 NEW BEST:: SOT 102599 SOS 22177 HAS SOPS 19483 HAS SOUS 16527 HAS SOUPS 15777 WITH SCORE 15799.177
AT ITER 7171 NEW BEST:: SOT 102590 SOS 22168 HAS SOPS 19465 HAS SOUS 16511 HAS SOUPS 15761 WITH SCORE 15783.168
AT ITER 7213 NEW BEST:: SOT 102583 SOS 22161 HAS SOPS 19458 HAS SOUS 16509 HAS SOUPS 15759 WITH SCORE 15781.161
AT ITER 7308 NEW BEST:: SOT 102583 SOS 22192 HAS SOPS 19489 HAS SOUS 16508 HAS SOUPS 15758 WITH SCORE 15780.192
AT ITER 7372 NEW BEST:: SOT 102567 SOS 22176 HAS SOPS 19473 HAS SOUS 16476 HAS SOUPS 15726 WITH SCORE 15748.176
AT ITER 7457 NEW BEST:: SOT 102567 SOS 22168 HAS SOPS 19465 HAS SOUS 16469 HAS SOUPS 15719 WITH SCORE 15741.168
AT ITER 7462 NEW BEST:: SOT 102559 SOS 22187 HAS SOPS 19484 HAS SOUS 16461 HAS SOUPS 15711 WITH SCORE 15733.187
AT ITER 7506 NEW BEST:: SOT 102559 SOS 22174 HAS SOPS 19471 HAS SOUS 16461 HAS SOUPS 15711 WITH SCORE 15733.174
AT ITER 7544 NEW BEST:: SOT 102558 SOS 22169 HAS SOPS 19466 HAS SOUS 16456 HAS SOUPS 15706 WITH SCORE 15728.169
AT ITER 7578 NEW BEST:: SOT 102591 SOS 22212 HAS SOPS 19462 HAS SOUS 16499 HAS SOUPS 15702 WITH SCORE 15724.212
AT ITER 7591 NEW BEST:: SOT 102570 SOS 22229 HAS SOPS 19479 HAS SOUS 16480 HAS SOUPS 15683 WITH SCORE 15705.229
AT ITER 7631 NEW BEST:: SOT 102571 SOS 22221 HAS SOPS 19426 HAS SOUS 16485 HAS SOUPS 15679 WITH SCORE 15701.221
AT ITER 7644 NEW BEST:: SOT 102548 SOS 22208 HAS SOPS 19413 HAS SOUS 16455 HAS SOUPS 15649 WITH SCORE 15671.208
AT ITER 7661 NEW BEST:: SOT 102535 SOS 22180 HAS SOPS 19385 HAS SOUS 16429 HAS SOUPS 15623 WITH SCORE 15645.18
AT ITER 7686 NEW BEST:: SOT 102533 SOS 22178 HAS SOPS 19383 HAS SOUS 16427 HAS SOUPS 15621 WITH SCORE 15643.178
AT ITER 7696 NEW BEST:: SOT 102520 SOS 22161 HAS SOPS 19355 HAS SOUS 16401 HAS SOUPS 15595 WITH SCORE 15617.161
AT ITER 7698 NEW BEST:: SOT 102525 SOS 22186 HAS SOPS 19354 HAS SOUS 16400 HAS SOUPS 15594 WITH SCORE 15616.186
AT ITER 7744 NEW BEST:: SOT 102533 SOS 22194 HAS SOPS 19342 HAS SOUS 16410 HAS SOUPS 15590 WITH SCORE 15612.194
AT ITER 7755 NEW BEST:: SOT 102533 SOS 22172 HAS SOPS 19342 HAS SOUS 16407 HAS SOUPS 15590 WITH SCORE 15612.172
AT ITER 7764 NEW BEST:: SOT 102514 SOS 21854 HAS SOPS 19043 HAS SOUS 16381 HAS SOUPS 15564 WITH SCORE 15585.854
AT ITER 7772 NEW BEST:: SOT 102500 SOS 21826 HAS SOPS 19001 HAS SOUS 16383 HAS SOUPS 15561 WITH SCORE 15582.826
AT ITER 7784 NEW BEST:: SOT 102500 SOS 21808 HAS SOPS 18983 HAS SOUS 16365 HAS SOUPS 15543 WITH SCORE 15564.808
AT ITER 7800 NEW BEST:: SOT 102497 SOS 21820 HAS SOPS 18980 HAS SOUS 16365 HAS SOUPS 15540 WITH SCORE 15561.82
AT ITER 7802 NEW BEST:: SOT 102497 SOS 21799 HAS SOPS 18959 HAS SOUS 16344 HAS SOUPS 15519 WITH SCORE 15540.799
AT ITER 7845 NEW BEST:: SOT 102490 SOS 21792 HAS SOPS 18952 HAS SOUS 16337 HAS SOUPS 15512 WITH SCORE 15533.792
AT ITER 7861 NEW BEST:: SOT 102484 SOS 21786 HAS SOPS 18946 HAS SOUS 16325 HAS SOUPS 15500 WITH SCORE 15521.786
AT ITER 7879 NEW BEST:: SOT 102454 SOS 21828 HAS SOPS 18920 HAS SOUS 16340 HAS SOUPS 15498 WITH SCORE 15519.828
AT ITER 7886 NEW BEST:: SOT 102454 SOS 21889 HAS SOPS 18906 HAS SOUS 16344 HAS SOUPS 15493 WITH SCORE 15514.889
AT ITER 7906 NEW BEST:: SOT 102437 SOS 21897 HAS SOPS 18914 HAS SOUS 16336 HAS SOUPS 15485 WITH SCORE 15506.897
AT ITER 7928 NEW BEST:: SOT 102436 SOS 21896 HAS SOPS 18913 HAS SOUS 16334 HAS SOUPS 15483 WITH SCORE 15504.896
AT ITER 8072 NEW BEST:: SOT 102452 SOS 21912 HAS SOPS 18929 HAS SOUS 16333 HAS SOUPS 15482 WITH SCORE 15503.912
AT ITER 8076 NEW BEST:: SOT 102452 SOS 21912 HAS SOPS 18924 HAS SOUS 16328 HAS SOUPS 15477 WITH SCORE 15498.912
AT ITER 8134 NEW BEST:: SOT 102436 SOS 21940 HAS SOPS 18952 HAS SOUS 16315 HAS SOUPS 15464 WITH SCORE 15485.94
AT ITER 8163 NEW BEST:: SOT 102435 SOS 21939 HAS SOPS 18950 HAS SOUS 16313 HAS SOUPS 15462 WITH SCORE 15483.939
AT ITER 8251 NEW BEST:: SOT 102434 SOS 21930 HAS SOPS 18941 HAS SOUS 16311 HAS SOUPS 15460 WITH SCORE 15481.93
AT ITER 8404 NEW BEST:: SOT 102424 SOS 21910 HAS SOPS 18921 HAS SOUS 16291 HAS SOUPS 15440 WITH SCORE 15461.91
AT ITER 8424 NEW BEST:: SOT 102413 SOS 21875 HAS SOPS 18886 HAS SOUS 16256 HAS SOUPS 15405 WITH SCORE 15426.875
AT ITER 8454 NEW BEST:: SOT 102413 SOS 21851 HAS SOPS 18862 HAS SOUS 16253 HAS SOUPS 15402 WITH SCORE 15423.851
AT ITER 8482 NEW BEST:: SOT 102411 SOS 21849 HAS SOPS 18860 HAS SOUS 16251 HAS SOUPS 15400 WITH SCORE 15421.849
AT ITER 8493 NEW BEST:: SOT 102411 SOS 21872 HAS SOPS 18883 HAS SOUS 16250 HAS SOUPS 15399 WITH SCORE 15420.872
AT ITER 8533 NEW BEST:: SOT 102408 SOS 21875 HAS SOPS 18886 HAS SOUS 16247 HAS SOUPS 15396 WITH SCORE 15417.875
AT ITER 8590 NEW BEST:: SOT 102408 SOS 21857 HAS SOPS 18868 HAS SOUS 16247 HAS SOUPS 15396 WITH SCORE 15417.857
AT ITER 8694 NEW BEST:: SOT 102395 SOS 21843 HAS SOPS 18854 HAS SOUS 16233 HAS SOUPS 15382 WITH SCORE 15403.843
AT ITER 8729 NEW BEST:: SOT 102404 SOS 21852 HAS SOPS 18863 HAS SOUS 16211 HAS SOUPS 15360 WITH SCORE 15381.852
AT ITER 8763 NEW BEST:: SOT 102413 SOS 21829 HAS SOPS 18840 HAS SOUS 16197 HAS SOUPS 15346 WITH SCORE 15367.829
AT ITER 8793 NEW BEST:: SOT 102405 SOS 21823 HAS SOPS 18834 HAS SOUS 16187 HAS SOUPS 15336 WITH SCORE 15357.823
AT ITER 8798 NEW BEST:: SOT 102402 SOS 21820 HAS SOPS 18831 HAS SOUS 16184 HAS SOUPS 15333 WITH SCORE 15354.82
AT ITER 8849 NEW BEST:: SOT 102399 SOS 21913 HAS SOPS 18924 HAS SOUS 16181 HAS SOUPS 15330 WITH SCORE 15351.913
AT ITER 8862 NEW BEST:: SOT 102368 SOS 21885 HAS SOPS 18903 HAS SOUS 16160 HAS SOUPS 15309 WITH SCORE 15330.885
AT ITER 8865 NEW BEST:: SOT 102362 SOS 21879 HAS SOPS 18897 HAS SOUS 16148 HAS SOUPS 15297 WITH SCORE 15318.879
AT ITER 8905 NEW BEST:: SOT 102342 SOS 21911 HAS SOPS 18909 HAS SOUS 16152 HAS SOUPS 15286 WITH SCORE 15307.911
AT ITER 8932 NEW BEST:: SOT 102343 SOS 21909 HAS SOPS 18907 HAS SOUS 16150 HAS SOUPS 15284 WITH SCORE 15305.909
AT ITER 8966 NEW BEST:: SOT 102343 SOS 21881 HAS SOPS 18879 HAS SOUS 16128 HAS SOUPS 15262 WITH SCORE 15283.881
AT ITER 8986 NEW BEST:: SOT 102335 SOS 21873 HAS SOPS 18869 HAS SOUS 16112 HAS SOUPS 15246 WITH SCORE 15267.873
AT ITER 9091 NEW BEST:: SOT 102335 SOS 21871 HAS SOPS 18867 HAS SOUS 16110 HAS SOUPS 15244 WITH SCORE 15265.871
AT ITER 9095 NEW BEST:: SOT 102323 SOS 21859 HAS SOPS 18855 HAS SOUS 16098 HAS SOUPS 15232 WITH SCORE 15253.859
AT ITER 9096 NEW BEST:: SOT 102323 SOS 21853 HAS SOPS 18849 HAS SOUS 16098 HAS SOUPS 15232 WITH SCORE 15253.853
AT ITER 9242 NEW BEST:: SOT 102323 SOS 21851 HAS SOPS 18829 HAS SOUS 16068 HAS SOUPS 15202 WITH SCORE 15223.851
AT ITER 9276 NEW BEST:: SOT 102314 SOS 21848 HAS SOPS 18819 HAS SOUS 16059 HAS SOUPS 15193 WITH SCORE 15214.848
AT ITER 9283 NEW BEST:: SOT 102314 SOS 21845 HAS SOPS 18816 HAS SOUS 16056 HAS SOUPS 15190 WITH SCORE 15211.845
AT ITER 9362 NEW BEST:: SOT 102307 SOS 21843 HAS SOPS 18814 HAS SOUS 16047 HAS SOUPS 15181 WITH SCORE 15202.843
AT ITER 9435 NEW BEST:: SOT 102293 SOS 21851 HAS SOPS 18778 HAS SOUS 16045 HAS SOUPS 15168 WITH SCORE 15189.851
AT ITER 9436 NEW BEST:: SOT 102280 SOS 21840 HAS SOPS 18767 HAS SOUS 16033 HAS SOUPS 15156 WITH SCORE 15177.84
AT ITER 9495 NEW BEST:: SOT 102271 SOS 21765 HAS SOPS 18762 HAS SOUS 16019 HAS SOUPS 15151 WITH SCORE 15172.765
AT ITER 9612 NEW BEST:: SOT 102267 SOS 21764 HAS SOPS 18761 HAS SOUS 16017 HAS SOUPS 15149 WITH SCORE 15170.764
AT ITER 9663 NEW BEST:: SOT 102260 SOS 21757 HAS SOPS 18747 HAS SOUS 16010 HAS SOUPS 15135 WITH SCORE 15156.757
AT ITER 9677 NEW BEST:: SOT 102264 SOS 21794 HAS SOPS 18723 HAS SOUS 16008 HAS SOUPS 15124 WITH SCORE 15145.794
AT ITER 9757 NEW BEST:: SOT 102255 SOS 21810 HAS SOPS 18719 HAS SOUS 16010 HAS SOUPS 15121 WITH SCORE 15142.81
AT ITER 9784 NEW BEST:: SOT 102246 SOS 21801 HAS SOPS 18695 HAS SOUS 16001 HAS SOUPS 15097 WITH SCORE 15118.801
AT ITER 9809 NEW BEST:: SOT 102237 SOS 21792 HAS SOPS 18686 HAS SOUS 16000 HAS SOUPS 15096 WITH SCORE 15117.792
AT ITER 9929 NEW BEST:: SOT 102225 SOS 21707 HAS SOPS 18680 HAS SOUS 15982 HAS SOUPS 15090 WITH SCORE 15111.707
AT ITER 9990 NEW BEST:: SOT 102214 SOS 21694 HAS SOPS 18643 HAS SOUS 15960 HAS SOUPS 15068 WITH SCORE 15089.694
STATE_SPACE STATES 26263874 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 3 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 18 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 80531277 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678613807829

--------------------
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="LeafsetExtension-PT-S08C3"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
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 smart"
echo " Input is LeafsetExtension-PT-S08C3, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r227-tall-167856410500464"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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