Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r427-tajo-167905979400272.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ShieldRVt-PT-010B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r427-tajo-167905979400272
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 536K
-rw-r--r-- 1 mcc users 6.2K Feb 25 22:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 25 22:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 22:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 22:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 22:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 118K Feb 25 22:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 25 22:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 25 22:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 119K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679383559927

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldRVt-PT-010B
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 07:26:01] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 07:26:01] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 07:26:01] [INFO ] Load time of PNML (sax parser for PT used): 58 ms
[2023-03-21 07:26:01] [INFO ] Transformed 503 places.
[2023-03-21 07:26:01] [INFO ] Transformed 503 transitions.
[2023-03-21 07:26:01] [INFO ] Found NUPN structural information;
[2023-03-21 07:26:01] [INFO ] Parsed PT model containing 503 places and 503 transitions and 1186 arcs in 126 ms.
[2023-03-21 07:26:01] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 503 places, 503 transitions and 1186 arcs took 7 ms.
Total runtime 165 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (PT), instance 010B
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 503 places, 503 transitions, 1186 arcs.
AT ITER 0 NEW BEST:: SOT 132401 SOS 21634 HAS SOPS 21634 HAS SOUS 19821 HAS SOUPS 19821 WITH SCORE 19842.634
AT ITER 12 NEW BEST:: SOT 132416 SOS 21625 HAS SOPS 21625 HAS SOUS 19812 HAS SOUPS 19812 WITH SCORE 19833.625
AT ITER 18 NEW BEST:: SOT 132353 SOS 21531 HAS SOPS 21531 HAS SOUS 19718 HAS SOUPS 19718 WITH SCORE 19739.531
AT ITER 23 NEW BEST:: SOT 132302 SOS 21529 HAS SOPS 21529 HAS SOUS 19687 HAS SOUPS 19687 WITH SCORE 19708.529
AT ITER 26 NEW BEST:: SOT 132298 SOS 21495 HAS SOPS 21495 HAS SOUS 19630 HAS SOUPS 19630 WITH SCORE 19651.495
AT ITER 41 NEW BEST:: SOT 132282 SOS 21447 HAS SOPS 21447 HAS SOUS 19598 HAS SOUPS 19598 WITH SCORE 19619.447
AT ITER 51 NEW BEST:: SOT 132236 SOS 21391 HAS SOPS 21391 HAS SOUS 19542 HAS SOUPS 19542 WITH SCORE 19563.391
AT ITER 62 NEW BEST:: SOT 132236 SOS 21391 HAS SOPS 21391 HAS SOUS 19539 HAS SOUPS 19539 WITH SCORE 19560.391
AT ITER 106 NEW BEST:: SOT 132234 SOS 21387 HAS SOPS 21387 HAS SOUS 19536 HAS SOUPS 19536 WITH SCORE 19557.387
AT ITER 118 NEW BEST:: SOT 132234 SOS 21309 HAS SOPS 21309 HAS SOUS 19497 HAS SOUPS 19497 WITH SCORE 19518.309
AT ITER 126 NEW BEST:: SOT 132234 SOS 21299 HAS SOPS 21299 HAS SOUS 19487 HAS SOUPS 19487 WITH SCORE 19508.299
AT ITER 132 NEW BEST:: SOT 132211 SOS 21227 HAS SOPS 21227 HAS SOUS 19438 HAS SOUPS 19438 WITH SCORE 19459.227
AT ITER 137 NEW BEST:: SOT 132236 SOS 21248 HAS SOPS 21248 HAS SOUS 19418 HAS SOUPS 19418 WITH SCORE 19439.248
AT ITER 182 NEW BEST:: SOT 132218 SOS 21209 HAS SOPS 21209 HAS SOUS 19379 HAS SOUPS 19379 WITH SCORE 19400.209
AT ITER 205 NEW BEST:: SOT 132208 SOS 21161 HAS SOPS 21161 HAS SOUS 19341 HAS SOUPS 19341 WITH SCORE 19362.161
AT ITER 228 NEW BEST:: SOT 132209 SOS 21121 HAS SOPS 21121 HAS SOUS 19321 HAS SOUPS 19321 WITH SCORE 19342.121
AT ITER 249 NEW BEST:: SOT 132219 SOS 21107 HAS SOPS 21107 HAS SOUS 19312 HAS SOUPS 19312 WITH SCORE 19333.107
AT ITER 260 NEW BEST:: SOT 132213 SOS 21098 HAS SOPS 21098 HAS SOUS 19309 HAS SOUPS 19309 WITH SCORE 19330.098
AT ITER 272 NEW BEST:: SOT 132213 SOS 21095 HAS SOPS 21095 HAS SOUS 19306 HAS SOUPS 19306 WITH SCORE 19327.095
AT ITER 275 NEW BEST:: SOT 132243 SOS 21080 HAS SOPS 21080 HAS SOUS 19291 HAS SOUPS 19291 WITH SCORE 19312.08
AT ITER 294 NEW BEST:: SOT 132253 SOS 21100 HAS SOPS 21100 HAS SOUS 19265 HAS SOUPS 19265 WITH SCORE 19286.1
AT ITER 328 NEW BEST:: SOT 132232 SOS 21037 HAS SOPS 21037 HAS SOUS 19244 HAS SOUPS 19244 WITH SCORE 19265.037
AT ITER 333 NEW BEST:: SOT 132219 SOS 20955 HAS SOPS 20955 HAS SOUS 19201 HAS SOUPS 19201 WITH SCORE 19221.955
AT ITER 341 NEW BEST:: SOT 132203 SOS 20935 HAS SOPS 20935 HAS SOUS 19181 HAS SOUPS 19181 WITH SCORE 19201.935
AT ITER 368 NEW BEST:: SOT 132162 SOS 20853 HAS SOPS 20853 HAS SOUS 19094 HAS SOUPS 19094 WITH SCORE 19114.853
AT ITER 382 NEW BEST:: SOT 132162 SOS 20843 HAS SOPS 20843 HAS SOUS 19094 HAS SOUPS 19094 WITH SCORE 19114.843
AT ITER 391 NEW BEST:: SOT 132138 SOS 20816 HAS SOPS 20816 HAS SOUS 19067 HAS SOUPS 19067 WITH SCORE 19087.816
AT ITER 392 NEW BEST:: SOT 132139 SOS 20797 HAS SOPS 20797 HAS SOUS 19067 HAS SOUPS 19067 WITH SCORE 19087.797
AT ITER 401 NEW BEST:: SOT 132157 SOS 20775 HAS SOPS 20775 HAS SOUS 19052 HAS SOUPS 19052 WITH SCORE 19072.775
AT ITER 403 NEW BEST:: SOT 132187 SOS 20733 HAS SOPS 20733 HAS SOUS 19042 HAS SOUPS 19042 WITH SCORE 19062.733
AT ITER 416 NEW BEST:: SOT 132187 SOS 20732 HAS SOPS 20732 HAS SOUS 19041 HAS SOUPS 19041 WITH SCORE 19061.732
AT ITER 447 NEW BEST:: SOT 132215 SOS 20710 HAS SOPS 20710 HAS SOUS 19029 HAS SOUPS 19029 WITH SCORE 19049.71
AT ITER 448 NEW BEST:: SOT 132215 SOS 20707 HAS SOPS 20707 HAS SOUS 19026 HAS SOUPS 19026 WITH SCORE 19046.707
AT ITER 462 NEW BEST:: SOT 132203 SOS 20683 HAS SOPS 20683 HAS SOUS 19002 HAS SOUPS 19002 WITH SCORE 19022.683
AT ITER 500 NEW BEST:: SOT 132202 SOS 20693 HAS SOPS 20693 HAS SOUS 19001 HAS SOUPS 19001 WITH SCORE 19021.693
AT ITER 503 NEW BEST:: SOT 132198 SOS 20681 HAS SOPS 20681 HAS SOUS 18997 HAS SOUPS 18997 WITH SCORE 19017.681
AT ITER 508 NEW BEST:: SOT 132197 SOS 20640 HAS SOPS 20640 HAS SOUS 18995 HAS SOUPS 18995 WITH SCORE 19015.64
AT ITER 539 NEW BEST:: SOT 132177 SOS 20600 HAS SOPS 20600 HAS SOUS 18955 HAS SOUPS 18955 WITH SCORE 18975.6
AT ITER 553 NEW BEST:: SOT 132176 SOS 20580 HAS SOPS 20580 HAS SOUS 18944 HAS SOUPS 18944 WITH SCORE 18964.58
AT ITER 611 NEW BEST:: SOT 132172 SOS 20564 HAS SOPS 20564 HAS SOUS 18933 HAS SOUPS 18933 WITH SCORE 18953.564
AT ITER 614 NEW BEST:: SOT 132212 SOS 20603 HAS SOPS 20603 HAS SOUS 18932 HAS SOUPS 18932 WITH SCORE 18952.603
AT ITER 616 NEW BEST:: SOT 132212 SOS 20602 HAS SOPS 20602 HAS SOUS 18931 HAS SOUPS 18931 WITH SCORE 18951.602
AT ITER 633 NEW BEST:: SOT 132212 SOS 20602 HAS SOPS 20602 HAS SOUS 18919 HAS SOUPS 18919 WITH SCORE 18939.602
AT ITER 645 NEW BEST:: SOT 132202 SOS 20572 HAS SOPS 20572 HAS SOUS 18909 HAS SOUPS 18909 WITH SCORE 18929.572
AT ITER 647 NEW BEST:: SOT 132202 SOS 20565 HAS SOPS 20565 HAS SOUS 18902 HAS SOUPS 18902 WITH SCORE 18922.565
AT ITER 650 NEW BEST:: SOT 132202 SOS 20548 HAS SOPS 20548 HAS SOUS 18885 HAS SOUPS 18885 WITH SCORE 18905.548
AT ITER 655 NEW BEST:: SOT 132191 SOS 20534 HAS SOPS 20534 HAS SOUS 18860 HAS SOUPS 18860 WITH SCORE 18880.534
AT ITER 678 NEW BEST:: SOT 132191 SOS 20531 HAS SOPS 20531 HAS SOUS 18857 HAS SOUPS 18857 WITH SCORE 18877.531
AT ITER 686 NEW BEST:: SOT 132180 SOS 20498 HAS SOPS 20498 HAS SOUS 18835 HAS SOUPS 18835 WITH SCORE 18855.498
AT ITER 696 NEW BEST:: SOT 132174 SOS 20478 HAS SOPS 20478 HAS SOUS 18815 HAS SOUPS 18815 WITH SCORE 18835.478
AT ITER 716 NEW BEST:: SOT 132165 SOS 20460 HAS SOPS 20460 HAS SOUS 18815 HAS SOUPS 18815 WITH SCORE 18835.46
AT ITER 721 NEW BEST:: SOT 132165 SOS 20458 HAS SOPS 20458 HAS SOUS 18813 HAS SOUPS 18813 WITH SCORE 18833.458
AT ITER 731 NEW BEST:: SOT 132149 SOS 20473 HAS SOPS 20473 HAS SOUS 18775 HAS SOUPS 18775 WITH SCORE 18795.473
AT ITER 738 NEW BEST:: SOT 132138 SOS 20451 HAS SOPS 20451 HAS SOUS 18753 HAS SOUPS 18753 WITH SCORE 18773.451
AT ITER 763 NEW BEST:: SOT 132117 SOS 20374 HAS SOPS 20374 HAS SOUS 18646 HAS SOUPS 18646 WITH SCORE 18666.374
AT ITER 764 NEW BEST:: SOT 132116 SOS 20319 HAS SOPS 20319 HAS SOUS 18644 HAS SOUPS 18644 WITH SCORE 18664.319
AT ITER 772 NEW BEST:: SOT 132118 SOS 20312 HAS SOPS 20312 HAS SOUS 18641 HAS SOUPS 18641 WITH SCORE 18661.312
AT ITER 787 NEW BEST:: SOT 132118 SOS 20292 HAS SOPS 20292 HAS SOUS 18621 HAS SOUPS 18621 WITH SCORE 18641.292
AT ITER 794 NEW BEST:: SOT 132118 SOS 20291 HAS SOPS 20291 HAS SOUS 18620 HAS SOUPS 18620 WITH SCORE 18640.291
AT ITER 842 NEW BEST:: SOT 132118 SOS 20272 HAS SOPS 20272 HAS SOUS 18601 HAS SOUPS 18601 WITH SCORE 18621.272
AT ITER 851 NEW BEST:: SOT 132140 SOS 20236 HAS SOPS 20236 HAS SOUS 18575 HAS SOUPS 18575 WITH SCORE 18595.236
AT ITER 862 NEW BEST:: SOT 132102 SOS 20146 HAS SOPS 20146 HAS SOUS 18471 HAS SOUPS 18471 WITH SCORE 18491.146
AT ITER 869 NEW BEST:: SOT 132120 SOS 20105 HAS SOPS 20105 HAS SOUS 18441 HAS SOUPS 18441 WITH SCORE 18461.105
AT ITER 870 NEW BEST:: SOT 132132 SOS 20102 HAS SOPS 20102 HAS SOUS 18438 HAS SOUPS 18438 WITH SCORE 18458.102
AT ITER 891 NEW BEST:: SOT 132132 SOS 20102 HAS SOPS 20102 HAS SOUS 18435 HAS SOUPS 18435 WITH SCORE 18455.102
AT ITER 926 NEW BEST:: SOT 132132 SOS 20102 HAS SOPS 20102 HAS SOUS 18415 HAS SOUPS 18415 WITH SCORE 18435.102
AT ITER 930 NEW BEST:: SOT 132132 SOS 20084 HAS SOPS 20084 HAS SOUS 18397 HAS SOUPS 18397 WITH SCORE 18417.084
AT ITER 936 NEW BEST:: SOT 132107 SOS 20056 HAS SOPS 20056 HAS SOUS 18369 HAS SOUPS 18369 WITH SCORE 18389.056
AT ITER 938 NEW BEST:: SOT 132107 SOS 20053 HAS SOPS 20053 HAS SOUS 18366 HAS SOUPS 18366 WITH SCORE 18386.053
AT ITER 1010 NEW BEST:: SOT 132107 SOS 20053 HAS SOPS 20053 HAS SOUS 18359 HAS SOUPS 18359 WITH SCORE 18379.053
AT ITER 1027 NEW BEST:: SOT 132100 SOS 20039 HAS SOPS 20039 HAS SOUS 18352 HAS SOUPS 18352 WITH SCORE 18372.039
AT ITER 1091 NEW BEST:: SOT 132100 SOS 20030 HAS SOPS 20030 HAS SOUS 18343 HAS SOUPS 18343 WITH SCORE 18363.03
AT ITER 1100 NEW BEST:: SOT 132102 SOS 20033 HAS SOPS 20033 HAS SOUS 18322 HAS SOUPS 18322 WITH SCORE 18342.033
AT ITER 1114 NEW BEST:: SOT 132095 SOS 19989 HAS SOPS 19989 HAS SOUS 18255 HAS SOUPS 18255 WITH SCORE 18274.989
AT ITER 1116 NEW BEST:: SOT 132094 SOS 19992 HAS SOPS 19992 HAS SOUS 18253 HAS SOUPS 18253 WITH SCORE 18272.992
AT ITER 1150 NEW BEST:: SOT 132110 SOS 20024 HAS SOPS 20024 HAS SOUS 18202 HAS SOUPS 18202 WITH SCORE 18222.024
AT ITER 1155 NEW BEST:: SOT 132110 SOS 20009 HAS SOPS 20009 HAS SOUS 18172 HAS SOUPS 18172 WITH SCORE 18192.009
AT ITER 1207 NEW BEST:: SOT 132110 SOS 20004 HAS SOPS 20004 HAS SOUS 18156 HAS SOUPS 18156 WITH SCORE 18176.004
AT ITER 1221 NEW BEST:: SOT 132124 SOS 20006 HAS SOPS 20006 HAS SOUS 18153 HAS SOUPS 18153 WITH SCORE 18173.006
AT ITER 1266 NEW BEST:: SOT 132124 SOS 20001 HAS SOPS 20001 HAS SOUS 18148 HAS SOUPS 18148 WITH SCORE 18168.001
AT ITER 1294 NEW BEST:: SOT 132123 SOS 19963 HAS SOPS 19963 HAS SOUS 18145 HAS SOUPS 18145 WITH SCORE 18164.963
AT ITER 1335 NEW BEST:: SOT 132105 SOS 19951 HAS SOPS 19951 HAS SOUS 18133 HAS SOUPS 18133 WITH SCORE 18152.951
AT ITER 1380 NEW BEST:: SOT 132105 SOS 19909 HAS SOPS 19909 HAS SOUS 18091 HAS SOUPS 18091 WITH SCORE 18110.909
AT ITER 1420 NEW BEST:: SOT 132105 SOS 19894 HAS SOPS 19894 HAS SOUS 18085 HAS SOUPS 18085 WITH SCORE 18104.894
AT ITER 1441 NEW BEST:: SOT 132078 SOS 19820 HAS SOPS 19820 HAS SOUS 18051 HAS SOUPS 18051 WITH SCORE 18070.82
AT ITER 1446 NEW BEST:: SOT 132070 SOS 19816 HAS SOPS 19816 HAS SOUS 18043 HAS SOUPS 18043 WITH SCORE 18062.816
AT ITER 1448 NEW BEST:: SOT 132050 SOS 19775 HAS SOPS 19775 HAS SOUS 18002 HAS SOUPS 18002 WITH SCORE 18021.775
AT ITER 1456 NEW BEST:: SOT 132037 SOS 19749 HAS SOPS 19749 HAS SOUS 17974 HAS SOUPS 17974 WITH SCORE 17993.749
AT ITER 1484 NEW BEST:: SOT 132080 SOS 19720 HAS SOPS 19720 HAS SOUS 17945 HAS SOUPS 17945 WITH SCORE 17964.72
AT ITER 1485 NEW BEST:: SOT 132077 SOS 19711 HAS SOPS 19711 HAS SOUS 17939 HAS SOUPS 17939 WITH SCORE 17958.711
AT ITER 1510 NEW BEST:: SOT 132069 SOS 19703 HAS SOPS 19703 HAS SOUS 17931 HAS SOUPS 17931 WITH SCORE 17950.703
AT ITER 1533 NEW BEST:: SOT 132098 SOS 19731 HAS SOPS 19731 HAS SOUS 17930 HAS SOUPS 17930 WITH SCORE 17949.731
AT ITER 1551 NEW BEST:: SOT 132098 SOS 19712 HAS SOPS 19712 HAS SOUS 17911 HAS SOUPS 17911 WITH SCORE 17930.712
AT ITER 1576 NEW BEST:: SOT 132092 SOS 19678 HAS SOPS 19678 HAS SOUS 17899 HAS SOUPS 17899 WITH SCORE 17918.678
AT ITER 1586 NEW BEST:: SOT 132081 SOS 19638 HAS SOPS 19638 HAS SOUS 17874 HAS SOUPS 17874 WITH SCORE 17893.638
AT ITER 1590 NEW BEST:: SOT 132076 SOS 19556 HAS SOPS 19556 HAS SOUS 17797 HAS SOUPS 17797 WITH SCORE 17816.556
AT ITER 1603 NEW BEST:: SOT 132076 SOS 19553 HAS SOPS 19553 HAS SOUS 17794 HAS SOUPS 17794 WITH SCORE 17813.553
AT ITER 1604 NEW BEST:: SOT 132075 SOS 19526 HAS SOPS 19526 HAS SOUS 17767 HAS SOUPS 17767 WITH SCORE 17786.526
AT ITER 1607 NEW BEST:: SOT 132080 SOS 19536 HAS SOPS 19536 HAS SOUS 17760 HAS SOUPS 17760 WITH SCORE 17779.536
AT ITER 1642 NEW BEST:: SOT 132042 SOS 19460 HAS SOPS 19460 HAS SOUS 17722 HAS SOUPS 17722 WITH SCORE 17741.46
AT ITER 1644 NEW BEST:: SOT 132046 SOS 19384 HAS SOPS 19384 HAS SOUS 17681 HAS SOUPS 17681 WITH SCORE 17700.384
AT ITER 1645 NEW BEST:: SOT 132046 SOS 19345 HAS SOPS 19345 HAS SOUS 17639 HAS SOUPS 17639 WITH SCORE 17658.345
AT ITER 1677 NEW BEST:: SOT 132060 SOS 19353 HAS SOPS 19353 HAS SOUS 17618 HAS SOUPS 17618 WITH SCORE 17637.353
AT ITER 1687 NEW BEST:: SOT 132053 SOS 19318 HAS SOPS 19318 HAS SOUS 17611 HAS SOUPS 17611 WITH SCORE 17630.318
AT ITER 1701 NEW BEST:: SOT 132034 SOS 19309 HAS SOPS 19309 HAS SOUS 17570 HAS SOUPS 17570 WITH SCORE 17589.309
AT ITER 1708 NEW BEST:: SOT 132031 SOS 19309 HAS SOPS 19309 HAS SOUS 17567 HAS SOUPS 17567 WITH SCORE 17586.309
AT ITER 1717 NEW BEST:: SOT 132031 SOS 19308 HAS SOPS 19308 HAS SOUS 17566 HAS SOUPS 17566 WITH SCORE 17585.308
AT ITER 1732 NEW BEST:: SOT 131985 SOS 19262 HAS SOPS 19262 HAS SOUS 17519 HAS SOUPS 17519 WITH SCORE 17538.262
AT ITER 1847 NEW BEST:: SOT 131985 SOS 19255 HAS SOPS 19255 HAS SOUS 17512 HAS SOUPS 17512 WITH SCORE 17531.255
AT ITER 1873 NEW BEST:: SOT 131971 SOS 19237 HAS SOPS 19237 HAS SOUS 17504 HAS SOUPS 17504 WITH SCORE 17523.237
AT ITER 1880 NEW BEST:: SOT 131971 SOS 19213 HAS SOPS 19213 HAS SOUS 17492 HAS SOUPS 17492 WITH SCORE 17511.213
AT ITER 1985 NEW BEST:: SOT 131965 SOS 19189 HAS SOPS 19189 HAS SOUS 17468 HAS SOUPS 17468 WITH SCORE 17487.189
AT ITER 2001 NEW BEST:: SOT 131949 SOS 19157 HAS SOPS 19157 HAS SOUS 17436 HAS SOUPS 17436 WITH SCORE 17455.157
AT ITER 2027 NEW BEST:: SOT 131941 SOS 19141 HAS SOPS 19141 HAS SOUS 17427 HAS SOUPS 17427 WITH SCORE 17446.141
AT ITER 2056 NEW BEST:: SOT 131888 SOS 18961 HAS SOPS 18961 HAS SOUS 17319 HAS SOUPS 17319 WITH SCORE 17337.961
AT ITER 2085 NEW BEST:: SOT 131892 SOS 18911 HAS SOPS 18911 HAS SOUS 17281 HAS SOUPS 17281 WITH SCORE 17299.911
AT ITER 2115 NEW BEST:: SOT 131877 SOS 18881 HAS SOPS 18881 HAS SOUS 17251 HAS SOUPS 17251 WITH SCORE 17269.881
AT ITER 2123 NEW BEST:: SOT 131877 SOS 18872 HAS SOPS 18872 HAS SOUS 17251 HAS SOUPS 17251 WITH SCORE 17269.872
AT ITER 2128 NEW BEST:: SOT 131890 SOS 18813 HAS SOPS 18813 HAS SOUS 17246 HAS SOUPS 17246 WITH SCORE 17264.813
AT ITER 2133 NEW BEST:: SOT 131870 SOS 18803 HAS SOPS 18803 HAS SOUS 17236 HAS SOUPS 17236 WITH SCORE 17254.803
AT ITER 2136 NEW BEST:: SOT 131867 SOS 18797 HAS SOPS 18797 HAS SOUS 17226 HAS SOUPS 17226 WITH SCORE 17244.797
AT ITER 2137 NEW BEST:: SOT 131842 SOS 18747 HAS SOPS 18747 HAS SOUS 17176 HAS SOUPS 17176 WITH SCORE 17194.747
AT ITER 2140 NEW BEST:: SOT 131842 SOS 18741 HAS SOPS 18741 HAS SOUS 17176 HAS SOUPS 17176 WITH SCORE 17194.741
AT ITER 2142 NEW BEST:: SOT 131842 SOS 18721 HAS SOPS 18721 HAS SOUS 17173 HAS SOUPS 17173 WITH SCORE 17191.721
AT ITER 2151 NEW BEST:: SOT 131842 SOS 18675 HAS SOPS 18675 HAS SOUS 17127 HAS SOUPS 17127 WITH SCORE 17145.675
AT ITER 2170 NEW BEST:: SOT 131880 SOS 18629 HAS SOPS 18629 HAS SOUS 17081 HAS SOUPS 17081 WITH SCORE 17099.629
AT ITER 2185 NEW BEST:: SOT 131880 SOS 18611 HAS SOPS 18611 HAS SOUS 17072 HAS SOUPS 17072 WITH SCORE 17090.611
AT ITER 2214 NEW BEST:: SOT 131886 SOS 18604 HAS SOPS 18604 HAS SOUS 17060 HAS SOUPS 17060 WITH SCORE 17078.604
AT ITER 2220 NEW BEST:: SOT 131874 SOS 18599 HAS SOPS 18599 HAS SOUS 17055 HAS SOUPS 17055 WITH SCORE 17073.599
AT ITER 2245 NEW BEST:: SOT 131845 SOS 18589 HAS SOPS 18589 HAS SOUS 17045 HAS SOUPS 17045 WITH SCORE 17063.589
AT ITER 2267 NEW BEST:: SOT 131845 SOS 18556 HAS SOPS 18556 HAS SOUS 17045 HAS SOUPS 17045 WITH SCORE 17063.556
AT ITER 2269 NEW BEST:: SOT 131842 SOS 18553 HAS SOPS 18553 HAS SOUS 17045 HAS SOUPS 17045 WITH SCORE 17063.553
AT ITER 2288 NEW BEST:: SOT 131841 SOS 18523 HAS SOPS 18523 HAS SOUS 17043 HAS SOUPS 17043 WITH SCORE 17061.523
AT ITER 2300 NEW BEST:: SOT 131816 SOS 18493 HAS SOPS 18493 HAS SOUS 17042 HAS SOUPS 17042 WITH SCORE 17060.493
AT ITER 2323 NEW BEST:: SOT 131809 SOS 18479 HAS SOPS 18479 HAS SOUS 17028 HAS SOUPS 17028 WITH SCORE 17046.479
AT ITER 2338 NEW BEST:: SOT 131819 SOS 18470 HAS SOPS 18470 HAS SOUS 17019 HAS SOUPS 17019 WITH SCORE 17037.47
AT ITER 2355 NEW BEST:: SOT 131811 SOS 18466 HAS SOPS 18466 HAS SOUS 17011 HAS SOUPS 17011 WITH SCORE 17029.466
AT ITER 2465 NEW BEST:: SOT 131819 SOS 18465 HAS SOPS 18465 HAS SOUS 17010 HAS SOUPS 17010 WITH SCORE 17028.465
AT ITER 2497 NEW BEST:: SOT 131819 SOS 18489 HAS SOPS 18489 HAS SOUS 16998 HAS SOUPS 16998 WITH SCORE 17016.489
AT ITER 2518 NEW BEST:: SOT 131813 SOS 18477 HAS SOPS 18477 HAS SOUS 16986 HAS SOUPS 16986 WITH SCORE 17004.477
AT ITER 2521 NEW BEST:: SOT 131821 SOS 18484 HAS SOPS 18484 HAS SOUS 16985 HAS SOUPS 16985 WITH SCORE 17003.484
AT ITER 2542 NEW BEST:: SOT 131825 SOS 18463 HAS SOPS 18463 HAS SOUS 16960 HAS SOUPS 16960 WITH SCORE 16978.463
AT ITER 2603 NEW BEST:: SOT 131773 SOS 18388 HAS SOPS 18388 HAS SOUS 16897 HAS SOUPS 16897 WITH SCORE 16915.388
AT ITER 2609 NEW BEST:: SOT 131765 SOS 18358 HAS SOPS 18358 HAS SOUS 16867 HAS SOUPS 16867 WITH SCORE 16885.358
AT ITER 2613 NEW BEST:: SOT 131750 SOS 18325 HAS SOPS 18325 HAS SOUS 16820 HAS SOUPS 16820 WITH SCORE 16838.325
AT ITER 2654 NEW BEST:: SOT 131746 SOS 18329 HAS SOPS 18329 HAS SOUS 16816 HAS SOUPS 16816 WITH SCORE 16834.329
AT ITER 2674 NEW BEST:: SOT 131746 SOS 18328 HAS SOPS 18328 HAS SOUS 16815 HAS SOUPS 16815 WITH SCORE 16833.328
AT ITER 2681 NEW BEST:: SOT 131729 SOS 18294 HAS SOPS 18294 HAS SOUS 16781 HAS SOUPS 16781 WITH SCORE 16799.294
AT ITER 2686 NEW BEST:: SOT 131718 SOS 18226 HAS SOPS 18226 HAS SOUS 16667 HAS SOUPS 16667 WITH SCORE 16685.226
AT ITER 2690 NEW BEST:: SOT 131718 SOS 18226 HAS SOPS 18226 HAS SOUS 16654 HAS SOUPS 16654 WITH SCORE 16672.226
AT ITER 2706 NEW BEST:: SOT 131730 SOS 18223 HAS SOPS 18223 HAS SOUS 16646 HAS SOUPS 16646 WITH SCORE 16664.223
AT ITER 2731 NEW BEST:: SOT 131721 SOS 18207 HAS SOPS 18207 HAS SOUS 16639 HAS SOUPS 16639 WITH SCORE 16657.207
AT ITER 2761 NEW BEST:: SOT 131723 SOS 18190 HAS SOPS 18190 HAS SOUS 16622 HAS SOUPS 16622 WITH SCORE 16640.19
AT ITER 2772 NEW BEST:: SOT 131722 SOS 18183 HAS SOPS 18183 HAS SOUS 16616 HAS SOUPS 16616 WITH SCORE 16634.183
AT ITER 2786 NEW BEST:: SOT 131716 SOS 18193 HAS SOPS 18193 HAS SOUS 16610 HAS SOUPS 16610 WITH SCORE 16628.193
AT ITER 2816 NEW BEST:: SOT 131716 SOS 18185 HAS SOPS 18185 HAS SOUS 16606 HAS SOUPS 16606 WITH SCORE 16624.185
AT ITER 2864 NEW BEST:: SOT 131739 SOS 18210 HAS SOPS 18210 HAS SOUS 16592 HAS SOUPS 16592 WITH SCORE 16610.21
AT ITER 2956 NEW BEST:: SOT 131787 SOS 18281 HAS SOPS 18281 HAS SOUS 16581 HAS SOUPS 16581 WITH SCORE 16599.281
AT ITER 2986 NEW BEST:: SOT 131786 SOS 18278 HAS SOPS 18278 HAS SOUS 16578 HAS SOUPS 16578 WITH SCORE 16596.278
AT ITER 2989 NEW BEST:: SOT 131779 SOS 18290 HAS SOPS 18290 HAS SOUS 16577 HAS SOUPS 16577 WITH SCORE 16595.29
AT ITER 3017 NEW BEST:: SOT 131779 SOS 18253 HAS SOPS 18253 HAS SOUS 16574 HAS SOUPS 16574 WITH SCORE 16592.253
AT ITER 3025 NEW BEST:: SOT 131777 SOS 18249 HAS SOPS 18249 HAS SOUS 16570 HAS SOUPS 16570 WITH SCORE 16588.249
AT ITER 3032 NEW BEST:: SOT 131748 SOS 18223 HAS SOPS 18223 HAS SOUS 16544 HAS SOUPS 16544 WITH SCORE 16562.223
AT ITER 3038 NEW BEST:: SOT 131729 SOS 18170 HAS SOPS 18170 HAS SOUS 16491 HAS SOUPS 16491 WITH SCORE 16509.17
AT ITER 3053 NEW BEST:: SOT 131726 SOS 18164 HAS SOPS 18164 HAS SOUS 16485 HAS SOUPS 16485 WITH SCORE 16503.164
AT ITER 3056 NEW BEST:: SOT 131714 SOS 18110 HAS SOPS 18110 HAS SOUS 16444 HAS SOUPS 16444 WITH SCORE 16462.11
AT ITER 3063 NEW BEST:: SOT 131722 SOS 18077 HAS SOPS 18077 HAS SOUS 16411 HAS SOUPS 16411 WITH SCORE 16429.077
AT ITER 3077 NEW BEST:: SOT 131722 SOS 18053 HAS SOPS 18053 HAS SOUS 16411 HAS SOUPS 16411 WITH SCORE 16429.053
AT ITER 3095 NEW BEST:: SOT 131715 SOS 18043 HAS SOPS 18043 HAS SOUS 16401 HAS SOUPS 16401 WITH SCORE 16419.043
AT ITER 3108 NEW BEST:: SOT 131713 SOS 18039 HAS SOPS 18039 HAS SOUS 16397 HAS SOUPS 16397 WITH SCORE 16415.039
AT ITER 3109 NEW BEST:: SOT 131710 SOS 18033 HAS SOPS 18033 HAS SOUS 16391 HAS SOUPS 16391 WITH SCORE 16409.033
AT ITER 3132 NEW BEST:: SOT 131710 SOS 18023 HAS SOPS 18023 HAS SOUS 16390 HAS SOUPS 16390 WITH SCORE 16408.023
AT ITER 3166 NEW BEST:: SOT 131704 SOS 18019 HAS SOPS 18019 HAS SOUS 16386 HAS SOUPS 16386 WITH SCORE 16404.019
AT ITER 3170 NEW BEST:: SOT 131703 SOS 17991 HAS SOPS 17991 HAS SOUS 16371 HAS SOUPS 16371 WITH SCORE 16388.991
AT ITER 3216 NEW BEST:: SOT 131710 SOS 17961 HAS SOPS 17961 HAS SOUS 16365 HAS SOUPS 16365 WITH SCORE 16382.961
AT ITER 3227 NEW BEST:: SOT 131708 SOS 17955 HAS SOPS 17955 HAS SOUS 16359 HAS SOUPS 16359 WITH SCORE 16376.955
AT ITER 3235 NEW BEST:: SOT 131682 SOS 17950 HAS SOPS 17950 HAS SOUS 16342 HAS SOUPS 16342 WITH SCORE 16359.95
AT ITER 3248 NEW BEST:: SOT 131673 SOS 17955 HAS SOPS 17955 HAS SOUS 16341 HAS SOUPS 16341 WITH SCORE 16358.955
AT ITER 3306 NEW BEST:: SOT 131671 SOS 17968 HAS SOPS 17968 HAS SOUS 16339 HAS SOUPS 16339 WITH SCORE 16356.968
AT ITER 3358 NEW BEST:: SOT 131659 SOS 17944 HAS SOPS 17944 HAS SOUS 16315 HAS SOUPS 16315 WITH SCORE 16332.944
AT ITER 3404 NEW BEST:: SOT 131636 SOS 17898 HAS SOPS 17898 HAS SOUS 16292 HAS SOUPS 16292 WITH SCORE 16309.898
AT ITER 3420 NEW BEST:: SOT 131623 SOS 17900 HAS SOPS 17900 HAS SOUS 16270 HAS SOUPS 16270 WITH SCORE 16287.9
AT ITER 3421 NEW BEST:: SOT 131628 SOS 17839 HAS SOPS 17839 HAS SOUS 16248 HAS SOUPS 16248 WITH SCORE 16265.839
AT ITER 3435 NEW BEST:: SOT 131623 SOS 17807 HAS SOPS 17807 HAS SOUS 16243 HAS SOUPS 16243 WITH SCORE 16260.807
AT ITER 3445 NEW BEST:: SOT 131642 SOS 17779 HAS SOPS 17779 HAS SOUS 16228 HAS SOUPS 16228 WITH SCORE 16245.779
AT ITER 3456 NEW BEST:: SOT 131625 SOS 17728 HAS SOPS 17728 HAS SOUS 16194 HAS SOUPS 16194 WITH SCORE 16211.728
AT ITER 3470 NEW BEST:: SOT 131622 SOS 17725 HAS SOPS 17725 HAS SOUS 16191 HAS SOUPS 16191 WITH SCORE 16208.725
AT ITER 3516 NEW BEST:: SOT 131607 SOS 17665 HAS SOPS 17665 HAS SOUS 16146 HAS SOUPS 16146 WITH SCORE 16163.665
AT ITER 3527 NEW BEST:: SOT 131606 SOS 17661 HAS SOPS 17661 HAS SOUS 16143 HAS SOUPS 16143 WITH SCORE 16160.661
AT ITER 3539 NEW BEST:: SOT 131632 SOS 17711 HAS SOPS 17711 HAS SOUS 16122 HAS SOUPS 16122 WITH SCORE 16139.711
AT ITER 3597 NEW BEST:: SOT 131632 SOS 17708 HAS SOPS 17708 HAS SOUS 16119 HAS SOUPS 16119 WITH SCORE 16136.708
AT ITER 3620 NEW BEST:: SOT 131624 SOS 17681 HAS SOPS 17681 HAS SOUS 16100 HAS SOUPS 16100 WITH SCORE 16117.681
AT ITER 3632 NEW BEST:: SOT 131624 SOS 17669 HAS SOPS 17669 HAS SOUS 16094 HAS SOUPS 16094 WITH SCORE 16111.669
AT ITER 3642 NEW BEST:: SOT 131624 SOS 17661 HAS SOPS 17661 HAS SOUS 16094 HAS SOUPS 16094 WITH SCORE 16111.661
AT ITER 3669 NEW BEST:: SOT 131622 SOS 17657 HAS SOPS 17657 HAS SOUS 16090 HAS SOUPS 16090 WITH SCORE 16107.657
AT ITER 3712 NEW BEST:: SOT 131603 SOS 17583 HAS SOPS 17583 HAS SOUS 16052 HAS SOUPS 16052 WITH SCORE 16069.583
AT ITER 3737 NEW BEST:: SOT 131603 SOS 17571 HAS SOPS 17571 HAS SOUS 16040 HAS SOUPS 16040 WITH SCORE 16057.571
AT ITER 3748 NEW BEST:: SOT 131553 SOS 17516 HAS SOPS 17516 HAS SOUS 16035 HAS SOUPS 16035 WITH SCORE 16052.516
AT ITER 3762 NEW BEST:: SOT 131545 SOS 17516 HAS SOPS 17516 HAS SOUS 16027 HAS SOUPS 16027 WITH SCORE 16044.516
AT ITER 3771 NEW BEST:: SOT 131545 SOS 17501 HAS SOPS 17501 HAS SOUS 16012 HAS SOUPS 16012 WITH SCORE 16029.501
AT ITER 3790 NEW BEST:: SOT 131545 SOS 17493 HAS SOPS 17493 HAS SOUS 16008 HAS SOUPS 16008 WITH SCORE 16025.493
AT ITER 3802 NEW BEST:: SOT 131542 SOS 17445 HAS SOPS 17445 HAS SOUS 15981 HAS SOUPS 15981 WITH SCORE 15998.445
AT ITER 3914 NEW BEST:: SOT 131531 SOS 17423 HAS SOPS 17423 HAS SOUS 15967 HAS SOUPS 15967 WITH SCORE 15984.423
AT ITER 3931 NEW BEST:: SOT 131522 SOS 17420 HAS SOPS 17420 HAS SOUS 15958 HAS SOUPS 15958 WITH SCORE 15975.42
AT ITER 3939 NEW BEST:: SOT 131514 SOS 17404 HAS SOPS 17404 HAS SOUS 15950 HAS SOUPS 15950 WITH SCORE 15967.404
AT ITER 3941 NEW BEST:: SOT 131502 SOS 17374 HAS SOPS 17374 HAS SOUS 15920 HAS SOUPS 15920 WITH SCORE 15937.374
AT ITER 3964 NEW BEST:: SOT 131569 SOS 17439 HAS SOPS 17439 HAS SOUS 15910 HAS SOUPS 15910 WITH SCORE 15927.439
AT ITER 3968 NEW BEST:: SOT 131569 SOS 17433 HAS SOPS 17433 HAS SOUS 15904 HAS SOUPS 15904 WITH SCORE 15921.433
AT ITER 3969 NEW BEST:: SOT 131571 SOS 17481 HAS SOPS 17481 HAS SOUS 15894 HAS SOUPS 15894 WITH SCORE 15911.481
AT ITER 3975 NEW BEST:: SOT 131567 SOS 17470 HAS SOPS 17470 HAS SOUS 15883 HAS SOUPS 15883 WITH SCORE 15900.47
AT ITER 4013 NEW BEST:: SOT 131619 SOS 17467 HAS SOPS 17467 HAS SOUS 15880 HAS SOUPS 15880 WITH SCORE 15897.467
AT ITER 4103 NEW BEST:: SOT 131619 SOS 17457 HAS SOPS 17457 HAS SOUS 15880 HAS SOUPS 15880 WITH SCORE 15897.457
AT ITER 4117 NEW BEST:: SOT 131571 SOS 17361 HAS SOPS 17361 HAS SOUS 15805 HAS SOUPS 15805 WITH SCORE 15822.361
AT ITER 4171 NEW BEST:: SOT 131570 SOS 17349 HAS SOPS 17349 HAS SOUS 15798 HAS SOUPS 15798 WITH SCORE 15815.349
AT ITER 4254 NEW BEST:: SOT 131565 SOS 17339 HAS SOPS 17339 HAS SOUS 15793 HAS SOUPS 15793 WITH SCORE 15810.339
AT ITER 4255 NEW BEST:: SOT 131559 SOS 17348 HAS SOPS 17348 HAS SOUS 15787 HAS SOUPS 15787 WITH SCORE 15804.348
AT ITER 4258 NEW BEST:: SOT 131559 SOS 17346 HAS SOPS 17346 HAS SOUS 15785 HAS SOUPS 15785 WITH SCORE 15802.346
AT ITER 4259 NEW BEST:: SOT 131559 SOS 17333 HAS SOPS 17333 HAS SOUS 15772 HAS SOUPS 15772 WITH SCORE 15789.333
AT ITER 4346 NEW BEST:: SOT 131559 SOS 17293 HAS SOPS 17293 HAS SOUS 15737 HAS SOUPS 15737 WITH SCORE 15754.293
AT ITER 4361 NEW BEST:: SOT 131559 SOS 17288 HAS SOPS 17288 HAS SOUS 15732 HAS SOUPS 15732 WITH SCORE 15749.288
AT ITER 4366 NEW BEST:: SOT 131547 SOS 17274 HAS SOPS 17274 HAS SOUS 15718 HAS SOUPS 15718 WITH SCORE 15735.274
AT ITER 4445 NEW BEST:: SOT 131533 SOS 17221 HAS SOPS 17221 HAS SOUS 15690 HAS SOUPS 15690 WITH SCORE 15707.221
AT ITER 4449 NEW BEST:: SOT 131531 SOS 17218 HAS SOPS 17218 HAS SOUS 15688 HAS SOUPS 15688 WITH SCORE 15705.218
AT ITER 4456 NEW BEST:: SOT 131531 SOS 17215 HAS SOPS 17215 HAS SOUS 15685 HAS SOUPS 15685 WITH SCORE 15702.215
AT ITER 4461 NEW BEST:: SOT 131530 SOS 17212 HAS SOPS 17212 HAS SOUS 15683 HAS SOUPS 15683 WITH SCORE 15700.212
AT ITER 4473 NEW BEST:: SOT 131531 SOS 17185 HAS SOPS 17185 HAS SOUS 15683 HAS SOUPS 15683 WITH SCORE 15700.185
AT ITER 4512 NEW BEST:: SOT 131531 SOS 17181 HAS SOPS 17181 HAS SOUS 15683 HAS SOUPS 15683 WITH SCORE 15700.181
AT ITER 4517 NEW BEST:: SOT 131531 SOS 17166 HAS SOPS 17166 HAS SOUS 15675 HAS SOUPS 15675 WITH SCORE 15692.166
AT ITER 4592 NEW BEST:: SOT 131524 SOS 17158 HAS SOPS 17158 HAS SOUS 15667 HAS SOUPS 15667 WITH SCORE 15684.158
AT ITER 4617 NEW BEST:: SOT 131521 SOS 17152 HAS SOPS 17152 HAS SOUS 15661 HAS SOUPS 15661 WITH SCORE 15678.152
AT ITER 4648 NEW BEST:: SOT 131521 SOS 17152 HAS SOPS 17152 HAS SOUS 15655 HAS SOUPS 15655 WITH SCORE 15672.152
AT ITER 4666 NEW BEST:: SOT 131526 SOS 17162 HAS SOPS 17162 HAS SOUS 15650 HAS SOUPS 15650 WITH SCORE 15667.162
AT ITER 4699 NEW BEST:: SOT 131526 SOS 17161 HAS SOPS 17161 HAS SOUS 15650 HAS SOUPS 15650 WITH SCORE 15667.161
AT ITER 4701 NEW BEST:: SOT 131526 SOS 17160 HAS SOPS 17160 HAS SOUS 15650 HAS SOUPS 15650 WITH SCORE 15667.16
AT ITER 4723 NEW BEST:: SOT 131517 SOS 17151 HAS SOPS 17151 HAS SOUS 15641 HAS SOUPS 15641 WITH SCORE 15658.151
AT ITER 4725 NEW BEST:: SOT 131517 SOS 17143 HAS SOPS 17143 HAS SOUS 15641 HAS SOUPS 15641 WITH SCORE 15658.143
AT ITER 4734 NEW BEST:: SOT 131517 SOS 17138 HAS SOPS 17138 HAS SOUS 15641 HAS SOUPS 15641 WITH SCORE 15658.138
AT ITER 4751 NEW BEST:: SOT 131460 SOS 17165 HAS SOPS 17165 HAS SOUS 15623 HAS SOUPS 15623 WITH SCORE 15640.165
AT ITER 4759 NEW BEST:: SOT 131430 SOS 17161 HAS SOPS 17161 HAS SOUS 15607 HAS SOUPS 15607 WITH SCORE 15624.161
AT ITER 4786 NEW BEST:: SOT 131423 SOS 17121 HAS SOPS 17121 HAS SOUS 15583 HAS SOUPS 15583 WITH SCORE 15600.121
AT ITER 4788 NEW BEST:: SOT 131423 SOS 17120 HAS SOPS 17120 HAS SOUS 15582 HAS SOUPS 15582 WITH SCORE 15599.12
AT ITER 4797 NEW BEST:: SOT 131423 SOS 17084 HAS SOPS 17084 HAS SOUS 15546 HAS SOUPS 15546 WITH SCORE 15563.084
AT ITER 4811 NEW BEST:: SOT 131410 SOS 17075 HAS SOPS 17075 HAS SOUS 15527 HAS SOUPS 15527 WITH SCORE 15544.075
AT ITER 4824 NEW BEST:: SOT 131386 SOS 17027 HAS SOPS 17027 HAS SOUS 15498 HAS SOUPS 15498 WITH SCORE 15515.027
AT ITER 4856 NEW BEST:: SOT 131386 SOS 17025 HAS SOPS 17025 HAS SOUS 15496 HAS SOUPS 15496 WITH SCORE 15513.025
AT ITER 4880 NEW BEST:: SOT 131386 SOS 17024 HAS SOPS 17024 HAS SOUS 15495 HAS SOUPS 15495 WITH SCORE 15512.024
AT ITER 4901 NEW BEST:: SOT 131386 SOS 16995 HAS SOPS 16995 HAS SOUS 15466 HAS SOUPS 15466 WITH SCORE 15482.995
AT ITER 4987 NEW BEST:: SOT 131377 SOS 16983 HAS SOPS 16983 HAS SOUS 15454 HAS SOUPS 15454 WITH SCORE 15470.983
AT ITER 5003 NEW BEST:: SOT 131377 SOS 16972 HAS SOPS 16972 HAS SOUS 15442 HAS SOUPS 15442 WITH SCORE 15458.972
AT ITER 5008 NEW BEST:: SOT 131342 SOS 16902 HAS SOPS 16902 HAS SOUS 15373 HAS SOUPS 15373 WITH SCORE 15389.902
AT ITER 5076 NEW BEST:: SOT 131337 SOS 16897 HAS SOPS 16897 HAS SOUS 15368 HAS SOUPS 15368 WITH SCORE 15384.897
AT ITER 5079 NEW BEST:: SOT 131331 SOS 16882 HAS SOPS 16882 HAS SOUS 15359 HAS SOUPS 15359 WITH SCORE 15375.882
AT ITER 5083 NEW BEST:: SOT 131340 SOS 16873 HAS SOPS 16873 HAS SOUS 15353 HAS SOUPS 15353 WITH SCORE 15369.873
AT ITER 5084 NEW BEST:: SOT 131340 SOS 16863 HAS SOPS 16863 HAS SOUS 15343 HAS SOUPS 15343 WITH SCORE 15359.863
AT ITER 5109 NEW BEST:: SOT 131339 SOS 16861 HAS SOPS 16861 HAS SOUS 15341 HAS SOUPS 15341 WITH SCORE 15357.861
AT ITER 5118 NEW BEST:: SOT 131316 SOS 16815 HAS SOPS 16815 HAS SOUS 15295 HAS SOUPS 15295 WITH SCORE 15311.815
AT ITER 5127 NEW BEST:: SOT 131316 SOS 16785 HAS SOPS 16785 HAS SOUS 15283 HAS SOUPS 15283 WITH SCORE 15299.785
AT ITER 5190 NEW BEST:: SOT 131306 SOS 16771 HAS SOPS 16771 HAS SOUS 15279 HAS SOUPS 15279 WITH SCORE 15295.771
AT ITER 5194 NEW BEST:: SOT 131298 SOS 16763 HAS SOPS 16763 HAS SOUS 15271 HAS SOUPS 15271 WITH SCORE 15287.763
AT ITER 5199 NEW BEST:: SOT 131298 SOS 16752 HAS SOPS 16752 HAS SOUS 15249 HAS SOUPS 15249 WITH SCORE 15265.752
AT ITER 5210 NEW BEST:: SOT 131296 SOS 16750 HAS SOPS 16750 HAS SOUS 15247 HAS SOUPS 15247 WITH SCORE 15263.75
AT ITER 5236 NEW BEST:: SOT 131284 SOS 16714 HAS SOPS 16714 HAS SOUS 15226 HAS SOUPS 15226 WITH SCORE 15242.714
AT ITER 5276 NEW BEST:: SOT 131278 SOS 16702 HAS SOPS 16702 HAS SOUS 15190 HAS SOUPS 15190 WITH SCORE 15206.702
AT ITER 5277 NEW BEST:: SOT 131310 SOS 16682 HAS SOPS 16682 HAS SOUS 15170 HAS SOUPS 15170 WITH SCORE 15186.682
AT ITER 5369 NEW BEST:: SOT 131300 SOS 16685 HAS SOPS 16685 HAS SOUS 15158 HAS SOUPS 15158 WITH SCORE 15174.685
AT ITER 5407 NEW BEST:: SOT 131293 SOS 16728 HAS SOPS 16728 HAS SOUS 15155 HAS SOUPS 15155 WITH SCORE 15171.728
AT ITER 5441 NEW BEST:: SOT 131279 SOS 16708 HAS SOPS 16708 HAS SOUS 15135 HAS SOUPS 15135 WITH SCORE 15151.708
AT ITER 5483 NEW BEST:: SOT 131275 SOS 16704 HAS SOPS 16704 HAS SOUS 15131 HAS SOUPS 15131 WITH SCORE 15147.704
AT ITER 5490 NEW BEST:: SOT 131276 SOS 16701 HAS SOPS 16701 HAS SOUS 15125 HAS SOUPS 15125 WITH SCORE 15141.701
AT ITER 5514 NEW BEST:: SOT 131283 SOS 16706 HAS SOPS 16706 HAS SOUS 15123 HAS SOUPS 15123 WITH SCORE 15139.706
AT ITER 5525 NEW BEST:: SOT 131283 SOS 16706 HAS SOPS 16706 HAS SOUS 15121 HAS SOUPS 15121 WITH SCORE 15137.706
AT ITER 5542 NEW BEST:: SOT 131278 SOS 16696 HAS SOPS 16696 HAS SOUS 15111 HAS SOUPS 15111 WITH SCORE 15127.696
AT ITER 5604 NEW BEST:: SOT 131262 SOS 16630 HAS SOPS 16630 HAS SOUS 15079 HAS SOUPS 15079 WITH SCORE 15095.63
AT ITER 5617 NEW BEST:: SOT 131262 SOS 16609 HAS SOPS 16609 HAS SOUS 15079 HAS SOUPS 15079 WITH SCORE 15095.609
AT ITER 5667 NEW BEST:: SOT 131255 SOS 16552 HAS SOPS 16552 HAS SOUS 15072 HAS SOUPS 15072 WITH SCORE 15088.552
AT ITER 5697 NEW BEST:: SOT 131253 SOS 16543 HAS SOPS 16543 HAS SOUS 15063 HAS SOUPS 15063 WITH SCORE 15079.543
AT ITER 5704 NEW BEST:: SOT 131252 SOS 16541 HAS SOPS 16541 HAS SOUS 15062 HAS SOUPS 15062 WITH SCORE 15078.541
AT ITER 5738 NEW BEST:: SOT 131192 SOS 16481 HAS SOPS 16481 HAS SOUS 15002 HAS SOUPS 15002 WITH SCORE 15018.481
AT ITER 5782 NEW BEST:: SOT 131186 SOS 16463 HAS SOPS 16463 HAS SOUS 14995 HAS SOUPS 14995 WITH SCORE 15011.463
AT ITER 5825 NEW BEST:: SOT 131169 SOS 16542 HAS SOPS 16542 HAS SOUS 14992 HAS SOUPS 14992 WITH SCORE 15008.542
AT ITER 5850 NEW BEST:: SOT 131155 SOS 16514 HAS SOPS 16514 HAS SOUS 14964 HAS SOUPS 14964 WITH SCORE 14980.514
AT ITER 5857 NEW BEST:: SOT 131173 SOS 16468 HAS SOPS 16468 HAS SOUS 14931 HAS SOUPS 14931 WITH SCORE 14947.468
AT ITER 5888 NEW BEST:: SOT 131192 SOS 16409 HAS SOPS 16409 HAS SOUS 14898 HAS SOUPS 14898 WITH SCORE 14914.409
AT ITER 5889 NEW BEST:: SOT 131179 SOS 16383 HAS SOPS 16383 HAS SOUS 14871 HAS SOUPS 14871 WITH SCORE 14887.383
AT ITER 5929 NEW BEST:: SOT 131178 SOS 16380 HAS SOPS 16380 HAS SOUS 14870 HAS SOUPS 14870 WITH SCORE 14886.38
AT ITER 5935 NEW BEST:: SOT 131178 SOS 16375 HAS SOPS 16375 HAS SOUS 14870 HAS SOUPS 14870 WITH SCORE 14886.375
AT ITER 5937 NEW BEST:: SOT 131178 SOS 16375 HAS SOPS 16375 HAS SOUS 14859 HAS SOUPS 14859 WITH SCORE 14875.375
AT ITER 5976 NEW BEST:: SOT 131168 SOS 16362 HAS SOPS 16362 HAS SOUS 14856 HAS SOUPS 14856 WITH SCORE 14872.362
AT ITER 5994 NEW BEST:: SOT 131157 SOS 16351 HAS SOPS 16351 HAS SOUS 14845 HAS SOUPS 14845 WITH SCORE 14861.351
AT ITER 5998 NEW BEST:: SOT 131157 SOS 16346 HAS SOPS 16346 HAS SOUS 14840 HAS SOUPS 14840 WITH SCORE 14856.346
AT ITER 6094 NEW BEST:: SOT 131157 SOS 16346 HAS SOPS 16346 HAS SOUS 14836 HAS SOUPS 14836 WITH SCORE 14852.346
AT ITER 6161 NEW BEST:: SOT 131156 SOS 16348 HAS SOPS 16348 HAS SOUS 14835 HAS SOUPS 14835 WITH SCORE 14851.348
AT ITER 6193 NEW BEST:: SOT 131155 SOS 16345 HAS SOPS 16345 HAS SOUS 14832 HAS SOUPS 14832 WITH SCORE 14848.345
AT ITER 6214 NEW BEST:: SOT 131150 SOS 16335 HAS SOPS 16335 HAS SOUS 14822 HAS SOUPS 14822 WITH SCORE 14838.335
AT ITER 6229 NEW BEST:: SOT 131154 SOS 16324 HAS SOPS 16324 HAS SOUS 14816 HAS SOUPS 14816 WITH SCORE 14832.324
AT ITER 6235 NEW BEST:: SOT 131154 SOS 16317 HAS SOPS 16317 HAS SOUS 14809 HAS SOUPS 14809 WITH SCORE 14825.317
AT ITER 6240 NEW BEST:: SOT 131152 SOS 16313 HAS SOPS 16313 HAS SOUS 14805 HAS SOUPS 14805 WITH SCORE 14821.313
AT ITER 6255 NEW BEST:: SOT 131151 SOS 16304 HAS SOPS 16304 HAS SOUS 14803 HAS SOUPS 14803 WITH SCORE 14819.304
AT ITER 6256 NEW BEST:: SOT 131148 SOS 16327 HAS SOPS 16327 HAS SOUS 14800 HAS SOUPS 14800 WITH SCORE 14816.327
AT ITER 6275 NEW BEST:: SOT 131141 SOS 16320 HAS SOPS 16320 HAS SOUS 14793 HAS SOUPS 14793 WITH SCORE 14809.32
AT ITER 6279 NEW BEST:: SOT 131141 SOS 16270 HAS SOPS 16270 HAS SOUS 14768 HAS SOUPS 14768 WITH SCORE 14784.27
AT ITER 6345 NEW BEST:: SOT 131141 SOS 16269 HAS SOPS 16269 HAS SOUS 14768 HAS SOUPS 14768 WITH SCORE 14784.269
AT ITER 6439 NEW BEST:: SOT 131141 SOS 16269 HAS SOPS 16269 HAS SOUS 14747 HAS SOUPS 14747 WITH SCORE 14763.269
AT ITER 6441 NEW BEST:: SOT 131141 SOS 16259 HAS SOPS 16259 HAS SOUS 14737 HAS SOUPS 14737 WITH SCORE 14753.259
AT ITER 6452 NEW BEST:: SOT 131141 SOS 16251 HAS SOPS 16251 HAS SOUS 14737 HAS SOUPS 14737 WITH SCORE 14753.251
AT ITER 6484 NEW BEST:: SOT 131136 SOS 16246 HAS SOPS 16246 HAS SOUS 14727 HAS SOUPS 14727 WITH SCORE 14743.246
AT ITER 6558 NEW BEST:: SOT 131135 SOS 16244 HAS SOPS 16244 HAS SOUS 14725 HAS SOUPS 14725 WITH SCORE 14741.244
AT ITER 6624 NEW BEST:: SOT 131129 SOS 16219 HAS SOPS 16219 HAS SOUS 14713 HAS SOUPS 14713 WITH SCORE 14729.219
AT ITER 6654 NEW BEST:: SOT 131127 SOS 16215 HAS SOPS 16215 HAS SOUS 14709 HAS SOUPS 14709 WITH SCORE 14725.215
AT ITER 6676 NEW BEST:: SOT 131122 SOS 16205 HAS SOPS 16205 HAS SOUS 14703 HAS SOUPS 14703 WITH SCORE 14719.205
AT ITER 6680 NEW BEST:: SOT 131115 SOS 16211 HAS SOPS 16211 HAS SOUS 14702 HAS SOUPS 14702 WITH SCORE 14718.211
AT ITER 6743 NEW BEST:: SOT 131102 SOS 16185 HAS SOPS 16185 HAS SOUS 14689 HAS SOUPS 14689 WITH SCORE 14705.185
AT ITER 6760 NEW BEST:: SOT 131086 SOS 16167 HAS SOPS 16167 HAS SOUS 14671 HAS SOUPS 14671 WITH SCORE 14687.167
AT ITER 6794 NEW BEST:: SOT 131086 SOS 16164 HAS SOPS 16164 HAS SOUS 14665 HAS SOUPS 14665 WITH SCORE 14681.164
AT ITER 6805 NEW BEST:: SOT 131085 SOS 16163 HAS SOPS 16163 HAS SOUS 14664 HAS SOUPS 14664 WITH SCORE 14680.163
AT ITER 6808 NEW BEST:: SOT 131085 SOS 16162 HAS SOPS 16162 HAS SOUS 14663 HAS SOUPS 14663 WITH SCORE 14679.162
AT ITER 6862 NEW BEST:: SOT 131076 SOS 16160 HAS SOPS 16160 HAS SOUS 14655 HAS SOUPS 14655 WITH SCORE 14671.16
AT ITER 6914 NEW BEST:: SOT 131076 SOS 16136 HAS SOPS 16136 HAS SOUS 14643 HAS SOUPS 14643 WITH SCORE 14659.136
AT ITER 6999 NEW BEST:: SOT 131063 SOS 16091 HAS SOPS 16091 HAS SOUS 14624 HAS SOUPS 14624 WITH SCORE 14640.091
AT ITER 7044 NEW BEST:: SOT 131049 SOS 16053 HAS SOPS 16053 HAS SOUS 14610 HAS SOUPS 14610 WITH SCORE 14626.053
AT ITER 7086 NEW BEST:: SOT 131046 SOS 16047 HAS SOPS 16047 HAS SOUS 14607 HAS SOUPS 14607 WITH SCORE 14623.047
AT ITER 7088 NEW BEST:: SOT 131016 SOS 16011 HAS SOPS 16011 HAS SOUS 14571 HAS SOUPS 14571 WITH SCORE 14587.011
AT ITER 7101 NEW BEST:: SOT 131001 SOS 15956 HAS SOPS 15956 HAS SOUS 14556 HAS SOUPS 14556 WITH SCORE 14571.956
AT ITER 7105 NEW BEST:: SOT 131001 SOS 15955 HAS SOPS 15955 HAS SOUS 14555 HAS SOUPS 14555 WITH SCORE 14570.955
AT ITER 7172 NEW BEST:: SOT 131001 SOS 15954 HAS SOPS 15954 HAS SOUS 14554 HAS SOUPS 14554 WITH SCORE 14569.954
AT ITER 7305 NEW BEST:: SOT 130990 SOS 15901 HAS SOPS 15901 HAS SOUS 14510 HAS SOUPS 14510 WITH SCORE 14525.901
AT ITER 7322 NEW BEST:: SOT 130990 SOS 15890 HAS SOPS 15890 HAS SOUS 14499 HAS SOUPS 14499 WITH SCORE 14514.89
AT ITER 7412 NEW BEST:: SOT 130990 SOS 15888 HAS SOPS 15888 HAS SOUS 14494 HAS SOUPS 14494 WITH SCORE 14509.888
AT ITER 7453 NEW BEST:: SOT 130990 SOS 15884 HAS SOPS 15884 HAS SOUS 14486 HAS SOUPS 14486 WITH SCORE 14501.884
AT ITER 7490 NEW BEST:: SOT 131001 SOS 15881 HAS SOPS 15881 HAS SOUS 14483 HAS SOUPS 14483 WITH SCORE 14498.881
AT ITER 7520 NEW BEST:: SOT 131001 SOS 15870 HAS SOPS 15870 HAS SOUS 14483 HAS SOUPS 14483 WITH SCORE 14498.87
AT ITER 7543 NEW BEST:: SOT 131001 SOS 15870 HAS SOPS 15870 HAS SOUS 14455 HAS SOUPS 14455 WITH SCORE 14470.87
AT ITER 7602 NEW BEST:: SOT 131004 SOS 15862 HAS SOPS 15862 HAS SOUS 14447 HAS SOUPS 14447 WITH SCORE 14462.862
AT ITER 7690 NEW BEST:: SOT 131004 SOS 15861 HAS SOPS 15861 HAS SOUS 14446 HAS SOUPS 14446 WITH SCORE 14461.861
AT ITER 7704 NEW BEST:: SOT 130994 SOS 15813 HAS SOPS 15813 HAS SOUS 14422 HAS SOUPS 14422 WITH SCORE 14437.813
AT ITER 7714 NEW BEST:: SOT 130991 SOS 15807 HAS SOPS 15807 HAS SOUS 14416 HAS SOUPS 14416 WITH SCORE 14431.807
AT ITER 7730 NEW BEST:: SOT 130970 SOS 15857 HAS SOPS 15857 HAS SOUS 14413 HAS SOUPS 14413 WITH SCORE 14428.857
AT ITER 7737 NEW BEST:: SOT 130958 SOS 15851 HAS SOPS 15851 HAS SOUS 14407 HAS SOUPS 14407 WITH SCORE 14422.851
AT ITER 7802 NEW BEST:: SOT 130932 SOS 15799 HAS SOPS 15799 HAS SOUS 14380 HAS SOUPS 14380 WITH SCORE 14395.799
AT ITER 7860 NEW BEST:: SOT 130929 SOS 15778 HAS SOPS 15778 HAS SOUS 14359 HAS SOUPS 14359 WITH SCORE 14374.778
AT ITER 7877 NEW BEST:: SOT 130918 SOS 15752 HAS SOPS 15752 HAS SOUS 14344 HAS SOUPS 14344 WITH SCORE 14359.752
AT ITER 7878 NEW BEST:: SOT 130918 SOS 15743 HAS SOPS 15743 HAS SOUS 14344 HAS SOUPS 14344 WITH SCORE 14359.743
AT ITER 7919 NEW BEST:: SOT 130916 SOS 15737 HAS SOPS 15737 HAS SOUS 14340 HAS SOUPS 14340 WITH SCORE 14355.737
AT ITER 7940 NEW BEST:: SOT 130913 SOS 15723 HAS SOPS 15723 HAS SOUS 14329 HAS SOUPS 14329 WITH SCORE 14344.723
AT ITER 7956 NEW BEST:: SOT 130913 SOS 15723 HAS SOPS 15723 HAS SOUS 14291 HAS SOUPS 14291 WITH SCORE 14306.723
AT ITER 7971 NEW BEST:: SOT 130898 SOS 15660 HAS SOPS 15660 HAS SOUS 14260 HAS SOUPS 14260 WITH SCORE 14275.66
AT ITER 7973 NEW BEST:: SOT 130891 SOS 15653 HAS SOPS 15653 HAS SOUS 14256 HAS SOUPS 14256 WITH SCORE 14271.653
AT ITER 8006 NEW BEST:: SOT 130878 SOS 15599 HAS SOPS 15599 HAS SOUS 14243 HAS SOUPS 14243 WITH SCORE 14258.599
AT ITER 8020 NEW BEST:: SOT 130876 SOS 15597 HAS SOPS 15597 HAS SOUS 14241 HAS SOUPS 14241 WITH SCORE 14256.597
AT ITER 8096 NEW BEST:: SOT 130871 SOS 15587 HAS SOPS 15587 HAS SOUS 14231 HAS SOUPS 14231 WITH SCORE 14246.587
AT ITER 8105 NEW BEST:: SOT 130871 SOS 15587 HAS SOPS 15587 HAS SOUS 14222 HAS SOUPS 14222 WITH SCORE 14237.587
AT ITER 8110 NEW BEST:: SOT 130871 SOS 15583 HAS SOPS 15583 HAS SOUS 14218 HAS SOUPS 14218 WITH SCORE 14233.583
AT ITER 8112 NEW BEST:: SOT 130871 SOS 15558 HAS SOPS 15558 HAS SOUS 14200 HAS SOUPS 14200 WITH SCORE 14215.558
AT ITER 8180 NEW BEST:: SOT 130856 SOS 15543 HAS SOPS 15543 HAS SOUS 14185 HAS SOUPS 14185 WITH SCORE 14200.543
AT ITER 8181 NEW BEST:: SOT 130848 SOS 15528 HAS SOPS 15528 HAS SOUS 14154 HAS SOUPS 14154 WITH SCORE 14169.528
AT ITER 8196 NEW BEST:: SOT 130856 SOS 15544 HAS SOPS 15544 HAS SOUS 14149 HAS SOUPS 14149 WITH SCORE 14164.544
AT ITER 8208 NEW BEST:: SOT 130854 SOS 15519 HAS SOPS 15519 HAS SOUS 14140 HAS SOUPS 14140 WITH SCORE 14155.519
AT ITER 8240 NEW BEST:: SOT 130830 SOS 15471 HAS SOPS 15471 HAS SOUS 14116 HAS SOUPS 14116 WITH SCORE 14131.471
AT ITER 8245 NEW BEST:: SOT 130830 SOS 15465 HAS SOPS 15465 HAS SOUS 14116 HAS SOUPS 14116 WITH SCORE 14131.465
AT ITER 8255 NEW BEST:: SOT 130829 SOS 15449 HAS SOPS 15449 HAS SOUS 14104 HAS SOUPS 14104 WITH SCORE 14119.449
AT ITER 8294 NEW BEST:: SOT 130811 SOS 15413 HAS SOPS 15413 HAS SOUS 14064 HAS SOUPS 14064 WITH SCORE 14079.413
AT ITER 8312 NEW BEST:: SOT 130811 SOS 15409 HAS SOPS 15409 HAS SOUS 14064 HAS SOUPS 14064 WITH SCORE 14079.409
AT ITER 8370 NEW BEST:: SOT 130814 SOS 15405 HAS SOPS 15405 HAS SOUS 14062 HAS SOUPS 14062 WITH SCORE 14077.405
AT ITER 8403 NEW BEST:: SOT 130865 SOS 15353 HAS SOPS 15353 HAS SOUS 14061 HAS SOUPS 14061 WITH SCORE 14076.353
AT ITER 8411 NEW BEST:: SOT 130863 SOS 15351 HAS SOPS 15351 HAS SOUS 14059 HAS SOUPS 14059 WITH SCORE 14074.351
AT ITER 8517 NEW BEST:: SOT 130851 SOS 15339 HAS SOPS 15339 HAS SOUS 14047 HAS SOUPS 14047 WITH SCORE 14062.339
AT ITER 8581 NEW BEST:: SOT 130840 SOS 15317 HAS SOPS 15317 HAS SOUS 14025 HAS SOUPS 14025 WITH SCORE 14040.317
AT ITER 8634 NEW BEST:: SOT 130837 SOS 15363 HAS SOPS 15363 HAS SOUS 14005 HAS SOUPS 14005 WITH SCORE 14020.363
AT ITER 8645 NEW BEST:: SOT 130869 SOS 15360 HAS SOPS 15360 HAS SOUS 14002 HAS SOUPS 14002 WITH SCORE 14017.36
AT ITER 8687 NEW BEST:: SOT 130846 SOS 15317 HAS SOPS 15317 HAS SOUS 13959 HAS SOUPS 13959 WITH SCORE 13974.317
AT ITER 8695 NEW BEST:: SOT 130857 SOS 15333 HAS SOPS 15333 HAS SOUS 13944 HAS SOUPS 13944 WITH SCORE 13959.333
AT ITER 8800 NEW BEST:: SOT 130856 SOS 15331 HAS SOPS 15331 HAS SOUS 13942 HAS SOUPS 13942 WITH SCORE 13957.331
AT ITER 8803 NEW BEST:: SOT 130859 SOS 15352 HAS SOPS 15352 HAS SOUS 13941 HAS SOUPS 13941 WITH SCORE 13956.352
AT ITER 8865 NEW BEST:: SOT 130835 SOS 15304 HAS SOPS 15304 HAS SOUS 13893 HAS SOUPS 13893 WITH SCORE 13908.304
AT ITER 8879 NEW BEST:: SOT 130808 SOS 15250 HAS SOPS 15250 HAS SOUS 13866 HAS SOUPS 13866 WITH SCORE 13881.25
AT ITER 8891 NEW BEST:: SOT 130865 SOS 15305 HAS SOPS 15305 HAS SOUS 13864 HAS SOUPS 13864 WITH SCORE 13879.305
AT ITER 8912 NEW BEST:: SOT 130863 SOS 15301 HAS SOPS 15301 HAS SOUS 13860 HAS SOUPS 13860 WITH SCORE 13875.301
AT ITER 8991 NEW BEST:: SOT 130863 SOS 15292 HAS SOPS 15292 HAS SOUS 13851 HAS SOUPS 13851 WITH SCORE 13866.292
AT ITER 8995 NEW BEST:: SOT 130870 SOS 15288 HAS SOPS 15288 HAS SOUS 13847 HAS SOUPS 13847 WITH SCORE 13862.288
AT ITER 9023 NEW BEST:: SOT 130869 SOS 15293 HAS SOPS 15293 HAS SOUS 13846 HAS SOUPS 13846 WITH SCORE 13861.293
AT ITER 9027 NEW BEST:: SOT 130869 SOS 15281 HAS SOPS 15281 HAS SOUS 13834 HAS SOUPS 13834 WITH SCORE 13849.281
AT ITER 9028 NEW BEST:: SOT 130867 SOS 15276 HAS SOPS 15276 HAS SOUS 13832 HAS SOUPS 13832 WITH SCORE 13847.276
AT ITER 9049 NEW BEST:: SOT 130867 SOS 15272 HAS SOPS 15272 HAS SOUS 13824 HAS SOUPS 13824 WITH SCORE 13839.272
AT ITER 9060 NEW BEST:: SOT 130853 SOS 15240 HAS SOPS 15240 HAS SOUS 13810 HAS SOUPS 13810 WITH SCORE 13825.24
AT ITER 9161 NEW BEST:: SOT 130841 SOS 15228 HAS SOPS 15228 HAS SOUS 13798 HAS SOUPS 13798 WITH SCORE 13813.228
AT ITER 9162 NEW BEST:: SOT 130839 SOS 15222 HAS SOPS 15222 HAS SOUS 13796 HAS SOUPS 13796 WITH SCORE 13811.222
AT ITER 9233 NEW BEST:: SOT 130839 SOS 15199 HAS SOPS 15199 HAS SOUS 13773 HAS SOUPS 13773 WITH SCORE 13788.199
AT ITER 9330 NEW BEST:: SOT 130825 SOS 15171 HAS SOPS 15171 HAS SOUS 13746 HAS SOUPS 13746 WITH SCORE 13761.171
AT ITER 9345 NEW BEST:: SOT 130758 SOS 15096 HAS SOPS 15096 HAS SOUS 13679 HAS SOUPS 13679 WITH SCORE 13694.096
AT ITER 9376 NEW BEST:: SOT 130755 SOS 15094 HAS SOPS 15094 HAS SOUS 13676 HAS SOUPS 13676 WITH SCORE 13691.094
AT ITER 9396 NEW BEST:: SOT 130772 SOS 15090 HAS SOPS 15090 HAS SOUS 13675 HAS SOUPS 13675 WITH SCORE 13690.09
AT ITER 9455 NEW BEST:: SOT 130760 SOS 15066 HAS SOPS 15066 HAS SOUS 13655 HAS SOUPS 13655 WITH SCORE 13670.066
AT ITER 9458 NEW BEST:: SOT 130760 SOS 15066 HAS SOPS 15066 HAS SOUS 13650 HAS SOUPS 13650 WITH SCORE 13665.066
AT ITER 9465 NEW BEST:: SOT 130760 SOS 15065 HAS SOPS 15065 HAS SOUS 13649 HAS SOUPS 13649 WITH SCORE 13664.065
AT ITER 9489 NEW BEST:: SOT 130748 SOS 15067 HAS SOPS 15067 HAS SOUS 13648 HAS SOUPS 13648 WITH SCORE 13663.067
AT ITER 9506 NEW BEST:: SOT 130744 SOS 15073 HAS SOPS 15073 HAS SOUS 13634 HAS SOUPS 13634 WITH SCORE 13649.073
AT ITER 9517 NEW BEST:: SOT 130741 SOS 15071 HAS SOPS 15071 HAS SOUS 13632 HAS SOUPS 13632 WITH SCORE 13647.071
AT ITER 9571 NEW BEST:: SOT 130740 SOS 15076 HAS SOPS 15076 HAS SOUS 13630 HAS SOUPS 13630 WITH SCORE 13645.076
AT ITER 9648 NEW BEST:: SOT 130740 SOS 15061 HAS SOPS 15061 HAS SOUS 13615 HAS SOUPS 13615 WITH SCORE 13630.061
AT ITER 9680 NEW BEST:: SOT 130734 SOS 15049 HAS SOPS 15049 HAS SOUS 13609 HAS SOUPS 13609 WITH SCORE 13624.049
AT ITER 9788 NEW BEST:: SOT 130714 SOS 15009 HAS SOPS 15009 HAS SOUS 13589 HAS SOUPS 13589 WITH SCORE 13604.009
AT ITER 9837 NEW BEST:: SOT 130706 SOS 14993 HAS SOPS 14993 HAS SOUS 13573 HAS SOUPS 13573 WITH SCORE 13587.993
AT ITER 9874 NEW BEST:: SOT 130706 SOS 14966 HAS SOPS 14966 HAS SOUS 13545 HAS SOUPS 13545 WITH SCORE 13559.966
AT ITER 9908 NEW BEST:: SOT 130698 SOS 14970 HAS SOPS 14970 HAS SOUS 13537 HAS SOUPS 13537 WITH SCORE 13551.97
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 1408648 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16120528 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldRVt-PT-010B"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is ShieldRVt-PT-010B, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r427-tajo-167905979400272"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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