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.r291-tall-167873943400816.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 QuasiCertifProtocol-COL-06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873943400816
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 556K
-rw-r--r-- 1 mcc users 7.6K Feb 26 01:28 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 26 01:28 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 01:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 26 01:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 26 01:31 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 171K Feb 26 01:31 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 26 01:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 01:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 61K 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 1678819362599

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=QuasiCertifProtocol-COL-06
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 18:42:45] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 18:42:45] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 18:42:45] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-14 18:42:46] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 18:42:46] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 804 ms
[2023-03-14 18:42:46] [INFO ] Imported 30 HL places and 26 HL transitions for a total of 270 PT places and 116.0 transition bindings in 34 ms.
[2023-03-14 18:42:46] [INFO ] Unfolded HLPN to a Petri net with 270 places and 116 transitions 659 arcs in 28 ms.
[2023-03-14 18:42:46] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-14 18:42:46] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 270 places, 116 transitions and 659 arcs took 14 ms.
Total runtime 1150 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running QuasiCertifProtocol (COL), instance 06
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: 270 places, 116 transitions, 659 arcs.
AT ITER 0 NEW BEST:: SOT 18844 SOS 11152 HAS SOPS 11152 HAS SOUS 9305 HAS SOUPS 9305 WITH SCORE 9316.152
AT ITER 30 NEW BEST:: SOT 18889 SOS 11008 HAS SOPS 11008 HAS SOUS 9218 HAS SOUPS 9218 WITH SCORE 9229.008
AT ITER 54 NEW BEST:: SOT 18893 SOS 11003 HAS SOPS 11003 HAS SOUS 9211 HAS SOUPS 9211 WITH SCORE 9222.003
AT ITER 83 NEW BEST:: SOT 18854 SOS 10998 HAS SOPS 10998 HAS SOUS 9206 HAS SOUPS 9206 WITH SCORE 9216.998
AT ITER 93 NEW BEST:: SOT 18863 SOS 10987 HAS SOPS 10987 HAS SOUS 9148 HAS SOUPS 9148 WITH SCORE 9158.987
AT ITER 97 NEW BEST:: SOT 18862 SOS 10986 HAS SOPS 10986 HAS SOUS 9147 HAS SOUPS 9147 WITH SCORE 9157.986
AT ITER 115 NEW BEST:: SOT 18862 SOS 10982 HAS SOPS 10982 HAS SOUS 9143 HAS SOUPS 9143 WITH SCORE 9153.982
AT ITER 157 NEW BEST:: SOT 18857 SOS 10977 HAS SOPS 10977 HAS SOUS 9138 HAS SOUPS 9138 WITH SCORE 9148.977
AT ITER 169 NEW BEST:: SOT 18893 SOS 10979 HAS SOPS 10979 HAS SOUS 9132 HAS SOUPS 9132 WITH SCORE 9142.979
AT ITER 175 NEW BEST:: SOT 18893 SOS 10975 HAS SOPS 10975 HAS SOUS 9132 HAS SOUPS 9132 WITH SCORE 9142.975
AT ITER 180 NEW BEST:: SOT 18893 SOS 10968 HAS SOPS 10968 HAS SOUS 9125 HAS SOUPS 9125 WITH SCORE 9135.968
AT ITER 181 NEW BEST:: SOT 18893 SOS 10305 HAS SOPS 10305 HAS SOUS 9038 HAS SOUPS 9038 WITH SCORE 9048.305
AT ITER 223 NEW BEST:: SOT 18893 SOS 10285 HAS SOPS 10285 HAS SOUS 8981 HAS SOUPS 8981 WITH SCORE 8991.285
AT ITER 234 NEW BEST:: SOT 18892 SOS 10284 HAS SOPS 10284 HAS SOUS 8980 HAS SOUPS 8980 WITH SCORE 8990.284
AT ITER 244 NEW BEST:: SOT 18892 SOS 10273 HAS SOPS 10273 HAS SOUS 8936 HAS SOUPS 8936 WITH SCORE 8946.273
AT ITER 245 NEW BEST:: SOT 18892 SOS 10273 HAS SOPS 10273 HAS SOUS 8920 HAS SOUPS 8920 WITH SCORE 8930.273
AT ITER 285 NEW BEST:: SOT 18891 SOS 10272 HAS SOPS 10272 HAS SOUS 8919 HAS SOUPS 8919 WITH SCORE 8929.272
AT ITER 287 NEW BEST:: SOT 18884 SOS 10272 HAS SOPS 10272 HAS SOUS 8914 HAS SOUPS 8914 WITH SCORE 8924.272
AT ITER 289 NEW BEST:: SOT 18886 SOS 10113 HAS SOPS 10113 HAS SOUS 8756 HAS SOUPS 8756 WITH SCORE 8766.113
AT ITER 353 NEW BEST:: SOT 18922 SOS 10052 HAS SOPS 10052 HAS SOUS 8610 HAS SOUPS 8610 WITH SCORE 8620.052
AT ITER 369 NEW BEST:: SOT 18921 SOS 10050 HAS SOPS 10050 HAS SOUS 8608 HAS SOUPS 8608 WITH SCORE 8618.05
AT ITER 372 NEW BEST:: SOT 18920 SOS 10049 HAS SOPS 10049 HAS SOUS 8607 HAS SOUPS 8607 WITH SCORE 8617.049
AT ITER 374 NEW BEST:: SOT 18920 SOS 9956 HAS SOPS 9956 HAS SOUS 8562 HAS SOUPS 8562 WITH SCORE 8571.956
AT ITER 386 NEW BEST:: SOT 18913 SOS 9949 HAS SOPS 9949 HAS SOUS 8555 HAS SOUPS 8555 WITH SCORE 8564.949
AT ITER 431 NEW BEST:: SOT 18913 SOS 9914 HAS SOPS 9914 HAS SOUS 8520 HAS SOUPS 8520 WITH SCORE 8529.914
AT ITER 434 NEW BEST:: SOT 18913 SOS 9898 HAS SOPS 9898 HAS SOUS 8504 HAS SOUPS 8504 WITH SCORE 8513.898
AT ITER 472 NEW BEST:: SOT 18926 SOS 9897 HAS SOPS 9897 HAS SOUS 8503 HAS SOUPS 8503 WITH SCORE 8512.897
AT ITER 570 NEW BEST:: SOT 18926 SOS 9895 HAS SOPS 9895 HAS SOUS 8501 HAS SOUPS 8501 WITH SCORE 8510.895
AT ITER 587 NEW BEST:: SOT 18948 SOS 9894 HAS SOPS 9894 HAS SOUS 8500 HAS SOUPS 8500 WITH SCORE 8509.894
AT ITER 604 NEW BEST:: SOT 18946 SOS 9892 HAS SOPS 9892 HAS SOUS 8498 HAS SOUPS 8498 WITH SCORE 8507.892
AT ITER 629 NEW BEST:: SOT 18946 SOS 9892 HAS SOPS 9892 HAS SOUS 8496 HAS SOUPS 8496 WITH SCORE 8505.892
AT ITER 688 NEW BEST:: SOT 18935 SOS 9892 HAS SOPS 9892 HAS SOUS 8495 HAS SOUPS 8495 WITH SCORE 8504.892
AT ITER 698 NEW BEST:: SOT 18935 SOS 9740 HAS SOPS 9740 HAS SOUS 8495 HAS SOUPS 8495 WITH SCORE 8504.74
AT ITER 702 NEW BEST:: SOT 18946 SOS 9589 HAS SOPS 9589 HAS SOUS 8428 HAS SOUPS 8428 WITH SCORE 8437.589
AT ITER 747 NEW BEST:: SOT 18946 SOS 9515 HAS SOPS 9515 HAS SOUS 8385 HAS SOUPS 8385 WITH SCORE 8394.515
AT ITER 760 NEW BEST:: SOT 18989 SOS 9458 HAS SOPS 9458 HAS SOUS 8378 HAS SOUPS 8378 WITH SCORE 8387.458
AT ITER 775 NEW BEST:: SOT 18989 SOS 9455 HAS SOPS 9455 HAS SOUS 8375 HAS SOUPS 8375 WITH SCORE 8384.455
AT ITER 811 NEW BEST:: SOT 19030 SOS 9324 HAS SOPS 9324 HAS SOUS 8330 HAS SOUPS 8330 WITH SCORE 8339.324
AT ITER 877 NEW BEST:: SOT 19029 SOS 9323 HAS SOPS 9323 HAS SOUS 8329 HAS SOUPS 8329 WITH SCORE 8338.323
AT ITER 886 NEW BEST:: SOT 19025 SOS 9319 HAS SOPS 9319 HAS SOUS 8325 HAS SOUPS 8325 WITH SCORE 8334.319
AT ITER 896 NEW BEST:: SOT 19018 SOS 9334 HAS SOPS 9334 HAS SOUS 8318 HAS SOUPS 8318 WITH SCORE 8327.334
AT ITER 902 NEW BEST:: SOT 19005 SOS 9332 HAS SOPS 9332 HAS SOUS 8316 HAS SOUPS 8316 WITH SCORE 8325.332
AT ITER 937 NEW BEST:: SOT 19082 SOS 9325 HAS SOPS 9325 HAS SOUS 8309 HAS SOUPS 8309 WITH SCORE 8318.325
AT ITER 957 NEW BEST:: SOT 19085 SOS 9322 HAS SOPS 9322 HAS SOUS 8306 HAS SOUPS 8306 WITH SCORE 8315.322
AT ITER 965 NEW BEST:: SOT 19085 SOS 9322 HAS SOPS 9322 HAS SOUS 8299 HAS SOUPS 8299 WITH SCORE 8308.322
AT ITER 966 NEW BEST:: SOT 19085 SOS 9320 HAS SOPS 9320 HAS SOUS 8297 HAS SOUPS 8297 WITH SCORE 8306.32
AT ITER 973 NEW BEST:: SOT 19063 SOS 9307 HAS SOPS 9307 HAS SOUS 8275 HAS SOUPS 8275 WITH SCORE 8284.307
AT ITER 974 NEW BEST:: SOT 19063 SOS 9289 HAS SOPS 9289 HAS SOUS 8240 HAS SOUPS 8240 WITH SCORE 8249.289
AT ITER 1020 NEW BEST:: SOT 19062 SOS 9288 HAS SOPS 9288 HAS SOUS 8239 HAS SOUPS 8239 WITH SCORE 8248.288
AT ITER 1029 NEW BEST:: SOT 19085 SOS 9298 HAS SOPS 9298 HAS SOUS 8237 HAS SOUPS 8237 WITH SCORE 8246.298
AT ITER 1112 NEW BEST:: SOT 19126 SOS 9243 HAS SOPS 9243 HAS SOUS 8230 HAS SOUPS 8230 WITH SCORE 8239.243
AT ITER 1141 NEW BEST:: SOT 19121 SOS 9238 HAS SOPS 9238 HAS SOUS 8225 HAS SOUPS 8225 WITH SCORE 8234.238
AT ITER 1148 NEW BEST:: SOT 19100 SOS 9252 HAS SOPS 9252 HAS SOUS 8218 HAS SOUPS 8218 WITH SCORE 8227.252
AT ITER 1165 NEW BEST:: SOT 19099 SOS 9251 HAS SOPS 9251 HAS SOUS 8217 HAS SOUPS 8217 WITH SCORE 8226.251
AT ITER 1187 NEW BEST:: SOT 19100 SOS 9250 HAS SOPS 9250 HAS SOUS 8217 HAS SOUPS 8217 WITH SCORE 8226.25
AT ITER 1200 NEW BEST:: SOT 19099 SOS 9249 HAS SOPS 9249 HAS SOUS 8216 HAS SOUPS 8216 WITH SCORE 8225.249
AT ITER 1203 NEW BEST:: SOT 19096 SOS 9246 HAS SOPS 9246 HAS SOUS 8213 HAS SOUPS 8213 WITH SCORE 8222.246
AT ITER 1235 NEW BEST:: SOT 19089 SOS 9239 HAS SOPS 9239 HAS SOUS 8205 HAS SOUPS 8205 WITH SCORE 8214.239
AT ITER 1254 NEW BEST:: SOT 19089 SOS 9238 HAS SOPS 9238 HAS SOUS 8204 HAS SOUPS 8204 WITH SCORE 8213.238
AT ITER 1261 NEW BEST:: SOT 19058 SOS 9237 HAS SOPS 9237 HAS SOUS 8203 HAS SOUPS 8203 WITH SCORE 8212.237
AT ITER 1283 NEW BEST:: SOT 19058 SOS 9238 HAS SOPS 9238 HAS SOUS 8195 HAS SOUPS 8195 WITH SCORE 8204.238
AT ITER 1297 NEW BEST:: SOT 19081 SOS 9215 HAS SOPS 9215 HAS SOUS 8195 HAS SOUPS 8195 WITH SCORE 8204.215
AT ITER 1308 NEW BEST:: SOT 19080 SOS 9214 HAS SOPS 9214 HAS SOUS 8194 HAS SOUPS 8194 WITH SCORE 8203.214
AT ITER 1314 NEW BEST:: SOT 19080 SOS 9209 HAS SOPS 9209 HAS SOUS 8189 HAS SOUPS 8189 WITH SCORE 8198.209
AT ITER 1347 NEW BEST:: SOT 19070 SOS 9204 HAS SOPS 9204 HAS SOUS 8184 HAS SOUPS 8184 WITH SCORE 8193.204
AT ITER 1367 NEW BEST:: SOT 19070 SOS 9191 HAS SOPS 9191 HAS SOUS 8184 HAS SOUPS 8184 WITH SCORE 8193.191
AT ITER 1429 NEW BEST:: SOT 19070 SOS 9185 HAS SOPS 9185 HAS SOUS 8178 HAS SOUPS 8178 WITH SCORE 8187.185
AT ITER 1442 NEW BEST:: SOT 19069 SOS 9185 HAS SOPS 9185 HAS SOUS 8177 HAS SOUPS 8177 WITH SCORE 8186.185
AT ITER 1501 NEW BEST:: SOT 19066 SOS 9179 HAS SOPS 9179 HAS SOUS 8174 HAS SOUPS 8174 WITH SCORE 8183.179
AT ITER 1507 NEW BEST:: SOT 19076 SOS 9169 HAS SOPS 9169 HAS SOUS 8174 HAS SOUPS 8174 WITH SCORE 8183.169
AT ITER 1512 NEW BEST:: SOT 19035 SOS 9129 HAS SOPS 9129 HAS SOUS 8137 HAS SOUPS 8137 WITH SCORE 8146.129
AT ITER 1537 NEW BEST:: SOT 19083 SOS 9118 HAS SOPS 9118 HAS SOUS 8126 HAS SOUPS 8126 WITH SCORE 8135.118
AT ITER 1542 NEW BEST:: SOT 19087 SOS 9116 HAS SOPS 9116 HAS SOUS 8124 HAS SOUPS 8124 WITH SCORE 8133.116
AT ITER 1605 NEW BEST:: SOT 19077 SOS 9096 HAS SOPS 9096 HAS SOUS 8114 HAS SOUPS 8114 WITH SCORE 8123.096
AT ITER 1622 NEW BEST:: SOT 19084 SOS 9103 HAS SOPS 9103 HAS SOUS 8108 HAS SOUPS 8108 WITH SCORE 8117.103
AT ITER 1654 NEW BEST:: SOT 19114 SOS 9087 HAS SOPS 9087 HAS SOUS 8101 HAS SOUPS 8101 WITH SCORE 8110.087
AT ITER 1691 NEW BEST:: SOT 19114 SOS 9087 HAS SOPS 9087 HAS SOUS 8099 HAS SOUPS 8099 WITH SCORE 8108.087
AT ITER 1786 NEW BEST:: SOT 19069 SOS 9140 HAS SOPS 9140 HAS SOUS 8090 HAS SOUPS 8090 WITH SCORE 8099.14
AT ITER 1817 NEW BEST:: SOT 19079 SOS 9072 HAS SOPS 9072 HAS SOUS 8061 HAS SOUPS 8061 WITH SCORE 8070.072
AT ITER 1853 NEW BEST:: SOT 19072 SOS 9038 HAS SOPS 9038 HAS SOUS 8054 HAS SOUPS 8054 WITH SCORE 8063.038
AT ITER 1869 NEW BEST:: SOT 19074 SOS 9034 HAS SOPS 9034 HAS SOUS 8044 HAS SOUPS 8044 WITH SCORE 8053.034
AT ITER 1873 NEW BEST:: SOT 19067 SOS 9027 HAS SOPS 9027 HAS SOUS 8037 HAS SOUPS 8037 WITH SCORE 8046.027
AT ITER 1908 NEW BEST:: SOT 19064 SOS 9024 HAS SOPS 9024 HAS SOUS 8034 HAS SOUPS 8034 WITH SCORE 8043.024
AT ITER 1947 NEW BEST:: SOT 19067 SOS 9021 HAS SOPS 9021 HAS SOUS 8031 HAS SOUPS 8031 WITH SCORE 8040.021
AT ITER 1958 NEW BEST:: SOT 19064 SOS 9018 HAS SOPS 9018 HAS SOUS 8028 HAS SOUPS 8028 WITH SCORE 8037.018
AT ITER 1996 NEW BEST:: SOT 19064 SOS 9013 HAS SOPS 9013 HAS SOUS 8028 HAS SOUPS 8028 WITH SCORE 8037.013
AT ITER 2010 NEW BEST:: SOT 19023 SOS 8977 HAS SOPS 8977 HAS SOUS 8015 HAS SOUPS 8015 WITH SCORE 8023.977
AT ITER 2023 NEW BEST:: SOT 19023 SOS 8975 HAS SOPS 8975 HAS SOUS 8013 HAS SOUPS 8013 WITH SCORE 8021.975
AT ITER 2034 NEW BEST:: SOT 19023 SOS 8961 HAS SOPS 8961 HAS SOUS 7977 HAS SOUPS 7977 WITH SCORE 7985.961
AT ITER 2078 NEW BEST:: SOT 19023 SOS 8960 HAS SOPS 8960 HAS SOUS 7976 HAS SOUPS 7976 WITH SCORE 7984.96
AT ITER 2091 NEW BEST:: SOT 18992 SOS 8953 HAS SOPS 8953 HAS SOUS 7969 HAS SOUPS 7969 WITH SCORE 7977.953
AT ITER 2186 NEW BEST:: SOT 18992 SOS 8951 HAS SOPS 8951 HAS SOUS 7968 HAS SOUPS 7968 WITH SCORE 7976.951
AT ITER 2189 NEW BEST:: SOT 18992 SOS 8951 HAS SOPS 8951 HAS SOUS 7967 HAS SOUPS 7967 WITH SCORE 7975.951
AT ITER 2200 NEW BEST:: SOT 18994 SOS 8947 HAS SOPS 8947 HAS SOUS 7963 HAS SOUPS 7963 WITH SCORE 7971.947
AT ITER 2205 NEW BEST:: SOT 18995 SOS 8946 HAS SOPS 8946 HAS SOUS 7963 HAS SOUPS 7963 WITH SCORE 7971.946
AT ITER 2213 NEW BEST:: SOT 18993 SOS 8923 HAS SOPS 8923 HAS SOUS 7961 HAS SOUPS 7961 WITH SCORE 7969.923
AT ITER 2225 NEW BEST:: SOT 18989 SOS 8917 HAS SOPS 8917 HAS SOUS 7955 HAS SOUPS 7955 WITH SCORE 7963.917
AT ITER 2321 NEW BEST:: SOT 18934 SOS 8914 HAS SOPS 8914 HAS SOUS 7949 HAS SOUPS 7949 WITH SCORE 7957.914
AT ITER 2352 NEW BEST:: SOT 18932 SOS 8857 HAS SOPS 8857 HAS SOUS 7939 HAS SOUPS 7939 WITH SCORE 7947.857
AT ITER 2447 NEW BEST:: SOT 18935 SOS 8821 HAS SOPS 8821 HAS SOUS 7910 HAS SOUPS 7910 WITH SCORE 7918.821
AT ITER 2462 NEW BEST:: SOT 18935 SOS 8821 HAS SOPS 8821 HAS SOUS 7909 HAS SOUPS 7909 WITH SCORE 7917.821
AT ITER 2506 NEW BEST:: SOT 18935 SOS 8811 HAS SOPS 8811 HAS SOUS 7905 HAS SOUPS 7905 WITH SCORE 7913.811
AT ITER 2526 NEW BEST:: SOT 18935 SOS 8755 HAS SOPS 8755 HAS SOUS 7884 HAS SOUPS 7884 WITH SCORE 7892.755
AT ITER 2583 NEW BEST:: SOT 18938 SOS 8747 HAS SOPS 8747 HAS SOUS 7876 HAS SOUPS 7876 WITH SCORE 7884.747
AT ITER 2626 NEW BEST:: SOT 18936 SOS 8746 HAS SOPS 8746 HAS SOUS 7876 HAS SOUPS 7876 WITH SCORE 7884.746
AT ITER 2636 NEW BEST:: SOT 18936 SOS 8732 HAS SOPS 8732 HAS SOUS 7862 HAS SOUPS 7862 WITH SCORE 7870.732
AT ITER 2656 NEW BEST:: SOT 18936 SOS 8718 HAS SOPS 8718 HAS SOUS 7848 HAS SOUPS 7848 WITH SCORE 7856.718
AT ITER 2731 NEW BEST:: SOT 18936 SOS 8688 HAS SOPS 8688 HAS SOUS 7833 HAS SOUPS 7833 WITH SCORE 7841.688
AT ITER 2732 NEW BEST:: SOT 18935 SOS 8687 HAS SOPS 8687 HAS SOUS 7832 HAS SOUPS 7832 WITH SCORE 7840.687
AT ITER 2754 NEW BEST:: SOT 18933 SOS 8685 HAS SOPS 8685 HAS SOUS 7830 HAS SOUPS 7830 WITH SCORE 7838.685
AT ITER 2844 NEW BEST:: SOT 18961 SOS 8657 HAS SOPS 8657 HAS SOUS 7830 HAS SOUPS 7830 WITH SCORE 7838.657
AT ITER 2869 NEW BEST:: SOT 18943 SOS 8651 HAS SOPS 8651 HAS SOUS 7824 HAS SOUPS 7824 WITH SCORE 7832.651
AT ITER 2922 NEW BEST:: SOT 18942 SOS 8650 HAS SOPS 8650 HAS SOUS 7823 HAS SOUPS 7823 WITH SCORE 7831.65
AT ITER 2923 NEW BEST:: SOT 18743 SOS 8486 HAS SOPS 8486 HAS SOUS 7706 HAS SOUPS 7706 WITH SCORE 7714.486
AT ITER 2954 NEW BEST:: SOT 18742 SOS 8485 HAS SOPS 8485 HAS SOUS 7705 HAS SOUPS 7705 WITH SCORE 7713.485
AT ITER 2974 NEW BEST:: SOT 18742 SOS 8482 HAS SOPS 8482 HAS SOUS 7705 HAS SOUPS 7705 WITH SCORE 7713.482
AT ITER 2976 NEW BEST:: SOT 18742 SOS 8481 HAS SOPS 8481 HAS SOUS 7704 HAS SOUPS 7704 WITH SCORE 7712.481
AT ITER 3004 NEW BEST:: SOT 18742 SOS 8469 HAS SOPS 8469 HAS SOUS 7692 HAS SOUPS 7692 WITH SCORE 7700.469
AT ITER 3073 NEW BEST:: SOT 18742 SOS 8467 HAS SOPS 8467 HAS SOUS 7690 HAS SOUPS 7690 WITH SCORE 7698.467
AT ITER 3092 NEW BEST:: SOT 18740 SOS 8465 HAS SOPS 8465 HAS SOUS 7688 HAS SOUPS 7688 WITH SCORE 7696.465
AT ITER 3158 NEW BEST:: SOT 18273 SOS 8824 HAS SOPS 8824 HAS SOUS 7546 HAS SOUPS 7546 WITH SCORE 7554.824
AT ITER 3256 NEW BEST:: SOT 18273 SOS 8800 HAS SOPS 8800 HAS SOUS 7534 HAS SOUPS 7534 WITH SCORE 7542.8
AT ITER 3260 NEW BEST:: SOT 18331 SOS 8826 HAS SOPS 8826 HAS SOUS 7526 HAS SOUPS 7526 WITH SCORE 7534.826
AT ITER 3288 NEW BEST:: SOT 17165 SOS 7660 HAS SOPS 7660 HAS SOUS 6363 HAS SOUPS 6363 WITH SCORE 6370.66
AT ITER 3371 NEW BEST:: SOT 17245 SOS 7689 HAS SOPS 7689 HAS SOUS 6341 HAS SOUPS 6341 WITH SCORE 6348.689
AT ITER 3391 NEW BEST:: SOT 17244 SOS 7688 HAS SOPS 7688 HAS SOUS 6340 HAS SOUPS 6340 WITH SCORE 6347.688
AT ITER 3428 NEW BEST:: SOT 16514 SOS 8968 HAS SOPS 8968 HAS SOUS 5813 HAS SOUPS 5813 WITH SCORE 5821.968
AT ITER 3475 NEW BEST:: SOT 16510 SOS 8964 HAS SOPS 8964 HAS SOUS 5809 HAS SOUPS 5809 WITH SCORE 5817.964
AT ITER 3574 NEW BEST:: SOT 16510 SOS 8949 HAS SOPS 8949 HAS SOUS 5794 HAS SOUPS 5794 WITH SCORE 5802.949
AT ITER 3581 NEW BEST:: SOT 16471 SOS 8915 HAS SOPS 8915 HAS SOUS 5784 HAS SOUPS 5784 WITH SCORE 5792.915
AT ITER 3637 NEW BEST:: SOT 16471 SOS 8914 HAS SOPS 8914 HAS SOUS 5783 HAS SOUPS 5783 WITH SCORE 5791.914
AT ITER 3639 NEW BEST:: SOT 16316 SOS 8801 HAS SOPS 8801 HAS SOUS 5634 HAS SOUPS 5634 WITH SCORE 5642.801
AT ITER 3645 NEW BEST:: SOT 16353 SOS 8815 HAS SOPS 8815 HAS SOUS 5625 HAS SOUPS 5625 WITH SCORE 5633.815
AT ITER 3730 NEW BEST:: SOT 16352 SOS 8814 HAS SOPS 8814 HAS SOUS 5624 HAS SOUPS 5624 WITH SCORE 5632.814
AT ITER 3737 NEW BEST:: SOT 16344 SOS 8806 HAS SOPS 8806 HAS SOUS 5623 HAS SOUPS 5623 WITH SCORE 5631.806
AT ITER 3752 NEW BEST:: SOT 16381 SOS 8843 HAS SOPS 8843 HAS SOUS 5622 HAS SOUPS 5622 WITH SCORE 5630.843
AT ITER 3859 NEW BEST:: SOT 16379 SOS 8841 HAS SOPS 8841 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5628.841
AT ITER 3875 NEW BEST:: SOT 16378 SOS 8840 HAS SOPS 8840 HAS SOUS 5619 HAS SOUPS 5619 WITH SCORE 5627.84
AT ITER 3916 NEW BEST:: SOT 16378 SOS 8834 HAS SOPS 8834 HAS SOUS 5613 HAS SOUPS 5613 WITH SCORE 5621.834
AT ITER 3952 NEW BEST:: SOT 16362 SOS 8818 HAS SOPS 8818 HAS SOUS 5604 HAS SOUPS 5604 WITH SCORE 5612.818
AT ITER 4001 NEW BEST:: SOT 16358 SOS 8814 HAS SOPS 8814 HAS SOUS 5604 HAS SOUPS 5604 WITH SCORE 5612.814
AT ITER 4005 NEW BEST:: SOT 16355 SOS 8811 HAS SOPS 8811 HAS SOUS 5601 HAS SOUPS 5601 WITH SCORE 5609.811
AT ITER 4010 NEW BEST:: SOT 16352 SOS 8808 HAS SOPS 8808 HAS SOUS 5598 HAS SOUPS 5598 WITH SCORE 5606.808
AT ITER 4047 NEW BEST:: SOT 16352 SOS 8800 HAS SOPS 8800 HAS SOUS 5590 HAS SOUPS 5590 WITH SCORE 5598.8
AT ITER 4081 NEW BEST:: SOT 16351 SOS 8799 HAS SOPS 8799 HAS SOUS 5589 HAS SOUPS 5589 WITH SCORE 5597.799
AT ITER 4086 NEW BEST:: SOT 16350 SOS 8798 HAS SOPS 8798 HAS SOUS 5588 HAS SOUPS 5588 WITH SCORE 5596.798
AT ITER 4095 NEW BEST:: SOT 16338 SOS 8786 HAS SOPS 8786 HAS SOUS 5576 HAS SOUPS 5576 WITH SCORE 5584.786
AT ITER 4110 NEW BEST:: SOT 15588 SOS 8463 HAS SOPS 8463 HAS SOUS 4887 HAS SOUPS 4887 WITH SCORE 4895.463
AT ITER 4116 NEW BEST:: SOT 15588 SOS 8461 HAS SOPS 8461 HAS SOUS 4885 HAS SOUPS 4885 WITH SCORE 4893.461
AT ITER 4138 NEW BEST:: SOT 15581 SOS 8450 HAS SOPS 8450 HAS SOUS 4878 HAS SOUPS 4878 WITH SCORE 4886.45
AT ITER 4152 NEW BEST:: SOT 15581 SOS 8439 HAS SOPS 8439 HAS SOUS 4867 HAS SOUPS 4867 WITH SCORE 4875.439
AT ITER 4186 NEW BEST:: SOT 15538 SOS 8395 HAS SOPS 8395 HAS SOUS 4859 HAS SOUPS 4859 WITH SCORE 4867.395
AT ITER 4200 NEW BEST:: SOT 15532 SOS 8389 HAS SOPS 8389 HAS SOUS 4853 HAS SOUPS 4853 WITH SCORE 4861.389
AT ITER 4208 NEW BEST:: SOT 15532 SOS 8385 HAS SOPS 8385 HAS SOUS 4849 HAS SOUPS 4849 WITH SCORE 4857.385
AT ITER 4212 NEW BEST:: SOT 15583 SOS 8436 HAS SOPS 8436 HAS SOUS 4845 HAS SOUPS 4845 WITH SCORE 4853.436
AT ITER 4259 NEW BEST:: SOT 15567 SOS 8420 HAS SOPS 8420 HAS SOUS 4837 HAS SOUPS 4837 WITH SCORE 4845.42
AT ITER 4270 NEW BEST:: SOT 15438 SOS 8288 HAS SOPS 8288 HAS SOUS 4783 HAS SOUPS 4783 WITH SCORE 4791.288
AT ITER 4278 NEW BEST:: SOT 15417 SOS 8264 HAS SOPS 8264 HAS SOUS 4775 HAS SOUPS 4775 WITH SCORE 4783.264
AT ITER 4304 NEW BEST:: SOT 15370 SOS 8190 HAS SOPS 8190 HAS SOUS 4739 HAS SOUPS 4739 WITH SCORE 4747.19
AT ITER 4308 NEW BEST:: SOT 15334 SOS 8172 HAS SOPS 8172 HAS SOUS 4739 HAS SOUPS 4739 WITH SCORE 4747.172
AT ITER 4361 NEW BEST:: SOT 15291 SOS 8123 HAS SOPS 8123 HAS SOUS 4726 HAS SOUPS 4726 WITH SCORE 4734.123
AT ITER 4422 NEW BEST:: SOT 15285 SOS 8117 HAS SOPS 8117 HAS SOUS 4720 HAS SOUPS 4720 WITH SCORE 4728.117
AT ITER 4462 NEW BEST:: SOT 15282 SOS 8114 HAS SOPS 8114 HAS SOUS 4717 HAS SOUPS 4717 WITH SCORE 4725.114
AT ITER 4482 NEW BEST:: SOT 15280 SOS 8112 HAS SOPS 8112 HAS SOUS 4715 HAS SOUPS 4715 WITH SCORE 4723.112
AT ITER 4486 NEW BEST:: SOT 15252 SOS 8087 HAS SOPS 8087 HAS SOUS 4710 HAS SOUPS 4710 WITH SCORE 4718.087
AT ITER 4487 NEW BEST:: SOT 15252 SOS 8082 HAS SOPS 8082 HAS SOUS 4705 HAS SOUPS 4705 WITH SCORE 4713.082
AT ITER 4516 NEW BEST:: SOT 15252 SOS 8075 HAS SOPS 8075 HAS SOUS 4698 HAS SOUPS 4698 WITH SCORE 4706.075
AT ITER 4689 NEW BEST:: SOT 15251 SOS 8074 HAS SOPS 8074 HAS SOUS 4697 HAS SOUPS 4697 WITH SCORE 4705.074
AT ITER 4755 NEW BEST:: SOT 15250 SOS 8073 HAS SOPS 8073 HAS SOUS 4696 HAS SOUPS 4696 WITH SCORE 4704.073
AT ITER 4767 NEW BEST:: SOT 15221 SOS 8016 HAS SOPS 8016 HAS SOUS 4654 HAS SOUPS 4654 WITH SCORE 4662.016
AT ITER 4791 NEW BEST:: SOT 15213 SOS 8008 HAS SOPS 8008 HAS SOUS 4646 HAS SOUPS 4646 WITH SCORE 4654.008
AT ITER 4851 NEW BEST:: SOT 15208 SOS 8003 HAS SOPS 8003 HAS SOUS 4641 HAS SOUPS 4641 WITH SCORE 4649.003
AT ITER 4919 NEW BEST:: SOT 15182 SOS 7990 HAS SOPS 7990 HAS SOUS 4641 HAS SOUPS 4641 WITH SCORE 4648.99
AT ITER 4931 NEW BEST:: SOT 15178 SOS 7986 HAS SOPS 7986 HAS SOUS 4637 HAS SOUPS 4637 WITH SCORE 4644.986
AT ITER 4980 NEW BEST:: SOT 15134 SOS 7942 HAS SOPS 7942 HAS SOUS 4633 HAS SOUPS 4633 WITH SCORE 4640.942
AT ITER 5004 NEW BEST:: SOT 15123 SOS 7931 HAS SOPS 7931 HAS SOUS 4632 HAS SOUPS 4632 WITH SCORE 4639.931
AT ITER 5015 NEW BEST:: SOT 15094 SOS 7900 HAS SOPS 7900 HAS SOUS 4622 HAS SOUPS 4622 WITH SCORE 4629.9
AT ITER 5061 NEW BEST:: SOT 15094 SOS 7895 HAS SOPS 7895 HAS SOUS 4617 HAS SOUPS 4617 WITH SCORE 4624.895
AT ITER 5129 NEW BEST:: SOT 15041 SOS 7823 HAS SOPS 7823 HAS SOUS 4586 HAS SOUPS 4586 WITH SCORE 4593.823
AT ITER 5167 NEW BEST:: SOT 15037 SOS 7819 HAS SOPS 7819 HAS SOUS 4582 HAS SOUPS 4582 WITH SCORE 4589.819
AT ITER 5182 NEW BEST:: SOT 15037 SOS 7809 HAS SOPS 7809 HAS SOUS 4572 HAS SOUPS 4572 WITH SCORE 4579.809
AT ITER 5200 NEW BEST:: SOT 15076 SOS 7828 HAS SOPS 7828 HAS SOUS 4571 HAS SOUPS 4571 WITH SCORE 4578.828
AT ITER 5224 NEW BEST:: SOT 15076 SOS 7816 HAS SOPS 7816 HAS SOUS 4559 HAS SOUPS 4559 WITH SCORE 4566.816
AT ITER 5231 NEW BEST:: SOT 15053 SOS 7783 HAS SOPS 7783 HAS SOUS 4549 HAS SOUPS 4549 WITH SCORE 4556.783
AT ITER 5263 NEW BEST:: SOT 15053 SOS 7775 HAS SOPS 7775 HAS SOUS 4541 HAS SOUPS 4541 WITH SCORE 4548.775
AT ITER 5290 NEW BEST:: SOT 15035 SOS 7757 HAS SOPS 7757 HAS SOUS 4536 HAS SOUPS 4536 WITH SCORE 4543.757
AT ITER 5352 NEW BEST:: SOT 15025 SOS 7752 HAS SOPS 7752 HAS SOUS 4536 HAS SOUPS 4536 WITH SCORE 4543.752
AT ITER 5390 NEW BEST:: SOT 15023 SOS 7750 HAS SOPS 7750 HAS SOUS 4535 HAS SOUPS 4535 WITH SCORE 4542.75
AT ITER 5439 NEW BEST:: SOT 15056 SOS 7762 HAS SOPS 7762 HAS SOUS 4526 HAS SOUPS 4526 WITH SCORE 4533.762
AT ITER 5487 NEW BEST:: SOT 15053 SOS 7757 HAS SOPS 7757 HAS SOUS 4524 HAS SOUPS 4524 WITH SCORE 4531.757
AT ITER 5511 NEW BEST:: SOT 15023 SOS 7742 HAS SOPS 7742 HAS SOUS 4524 HAS SOUPS 4524 WITH SCORE 4531.742
AT ITER 5545 NEW BEST:: SOT 14958 SOS 7676 HAS SOPS 7676 HAS SOUS 4492 HAS SOUPS 4492 WITH SCORE 4499.676
AT ITER 5588 NEW BEST:: SOT 14958 SOS 7674 HAS SOPS 7674 HAS SOUS 4490 HAS SOUPS 4490 WITH SCORE 4497.674
AT ITER 5630 NEW BEST:: SOT 14949 SOS 7665 HAS SOPS 7665 HAS SOUS 4481 HAS SOUPS 4481 WITH SCORE 4488.665
AT ITER 5648 NEW BEST:: SOT 14949 SOS 7655 HAS SOPS 7655 HAS SOUS 4471 HAS SOUPS 4471 WITH SCORE 4478.655
AT ITER 5670 NEW BEST:: SOT 14933 SOS 7639 HAS SOPS 7639 HAS SOUS 4468 HAS SOUPS 4468 WITH SCORE 4475.639
AT ITER 5692 NEW BEST:: SOT 14933 SOS 7637 HAS SOPS 7637 HAS SOUS 4466 HAS SOUPS 4466 WITH SCORE 4473.637
AT ITER 5704 NEW BEST:: SOT 14921 SOS 7619 HAS SOPS 7619 HAS SOUS 4454 HAS SOUPS 4454 WITH SCORE 4461.619
AT ITER 5728 NEW BEST:: SOT 14928 SOS 7621 HAS SOPS 7621 HAS SOUS 4451 HAS SOUPS 4451 WITH SCORE 4458.621
AT ITER 5756 NEW BEST:: SOT 14928 SOS 7618 HAS SOPS 7618 HAS SOUS 4448 HAS SOUPS 4448 WITH SCORE 4455.618
AT ITER 5950 NEW BEST:: SOT 14927 SOS 7617 HAS SOPS 7617 HAS SOUS 4447 HAS SOUPS 4447 WITH SCORE 4454.617
AT ITER 6022 NEW BEST:: SOT 14893 SOS 7600 HAS SOPS 7600 HAS SOUS 4447 HAS SOUPS 4447 WITH SCORE 4454.6
AT ITER 6053 NEW BEST:: SOT 14893 SOS 7595 HAS SOPS 7595 HAS SOUS 4442 HAS SOUPS 4442 WITH SCORE 4449.595
AT ITER 6274 NEW BEST:: SOT 14892 SOS 7594 HAS SOPS 7594 HAS SOUS 4441 HAS SOUPS 4441 WITH SCORE 4448.594
AT ITER 6287 NEW BEST:: SOT 14891 SOS 7593 HAS SOPS 7593 HAS SOUS 4440 HAS SOUPS 4440 WITH SCORE 4447.593
AT ITER 6294 NEW BEST:: SOT 14889 SOS 7587 HAS SOPS 7587 HAS SOUS 4438 HAS SOUPS 4438 WITH SCORE 4445.587
AT ITER 6323 NEW BEST:: SOT 14883 SOS 7581 HAS SOPS 7581 HAS SOUS 4432 HAS SOUPS 4432 WITH SCORE 4439.581
AT ITER 6356 NEW BEST:: SOT 14847 SOS 7563 HAS SOPS 7563 HAS SOUS 4432 HAS SOUPS 4432 WITH SCORE 4439.563
AT ITER 6407 NEW BEST:: SOT 14843 SOS 7555 HAS SOPS 7555 HAS SOUS 4428 HAS SOUPS 4428 WITH SCORE 4435.555
AT ITER 6412 NEW BEST:: SOT 14829 SOS 7541 HAS SOPS 7541 HAS SOUS 4428 HAS SOUPS 4428 WITH SCORE 4435.541
AT ITER 6422 NEW BEST:: SOT 14809 SOS 7514 HAS SOPS 7514 HAS SOUS 4412 HAS SOUPS 4412 WITH SCORE 4419.514
AT ITER 6471 NEW BEST:: SOT 14805 SOS 7510 HAS SOPS 7510 HAS SOUS 4411 HAS SOUPS 4411 WITH SCORE 4418.51
AT ITER 6486 NEW BEST:: SOT 14759 SOS 7464 HAS SOPS 7464 HAS SOUS 4365 HAS SOUPS 4365 WITH SCORE 4372.464
AT ITER 6535 NEW BEST:: SOT 14761 SOS 7466 HAS SOPS 7466 HAS SOUS 4362 HAS SOUPS 4362 WITH SCORE 4369.466
AT ITER 6577 NEW BEST:: SOT 14747 SOS 7452 HAS SOPS 7452 HAS SOUS 4348 HAS SOUPS 4348 WITH SCORE 4355.452
AT ITER 6605 NEW BEST:: SOT 14745 SOS 7450 HAS SOPS 7450 HAS SOUS 4346 HAS SOUPS 4346 WITH SCORE 4353.45
AT ITER 6608 NEW BEST:: SOT 14745 SOS 7444 HAS SOPS 7444 HAS SOUS 4340 HAS SOUPS 4340 WITH SCORE 4347.444
AT ITER 6718 NEW BEST:: SOT 14743 SOS 7442 HAS SOPS 7442 HAS SOUS 4338 HAS SOUPS 4338 WITH SCORE 4345.442
AT ITER 6740 NEW BEST:: SOT 14742 SOS 7441 HAS SOPS 7441 HAS SOUS 4337 HAS SOUPS 4337 WITH SCORE 4344.441
AT ITER 6764 NEW BEST:: SOT 14742 SOS 7439 HAS SOPS 7439 HAS SOUS 4335 HAS SOUPS 4335 WITH SCORE 4342.439
AT ITER 6806 NEW BEST:: SOT 14741 SOS 7430 HAS SOPS 7430 HAS SOUS 4326 HAS SOUPS 4326 WITH SCORE 4333.43
AT ITER 6825 NEW BEST:: SOT 14741 SOS 7423 HAS SOPS 7423 HAS SOUS 4319 HAS SOUPS 4319 WITH SCORE 4326.423
AT ITER 6898 NEW BEST:: SOT 14738 SOS 7408 HAS SOPS 7408 HAS SOUS 4304 HAS SOUPS 4304 WITH SCORE 4311.408
AT ITER 6953 NEW BEST:: SOT 14714 SOS 7384 HAS SOPS 7384 HAS SOUS 4292 HAS SOUPS 4292 WITH SCORE 4299.384
AT ITER 6981 NEW BEST:: SOT 14744 SOS 7382 HAS SOPS 7382 HAS SOUS 4290 HAS SOUPS 4290 WITH SCORE 4297.382
AT ITER 7002 NEW BEST:: SOT 14770 SOS 7407 HAS SOPS 7407 HAS SOUS 4289 HAS SOUPS 4289 WITH SCORE 4296.407
AT ITER 7030 NEW BEST:: SOT 14721 SOS 7369 HAS SOPS 7369 HAS SOUS 4286 HAS SOUPS 4286 WITH SCORE 4293.369
AT ITER 7105 NEW BEST:: SOT 14735 SOS 7383 HAS SOPS 7383 HAS SOUS 4284 HAS SOUPS 4284 WITH SCORE 4291.383
AT ITER 7109 NEW BEST:: SOT 14735 SOS 7382 HAS SOPS 7382 HAS SOUS 4283 HAS SOUPS 4283 WITH SCORE 4290.382
AT ITER 7130 NEW BEST:: SOT 14735 SOS 7381 HAS SOPS 7381 HAS SOUS 4282 HAS SOUPS 4282 WITH SCORE 4289.381
AT ITER 7138 NEW BEST:: SOT 14731 SOS 7377 HAS SOPS 7377 HAS SOUS 4282 HAS SOUPS 4282 WITH SCORE 4289.377
AT ITER 7240 NEW BEST:: SOT 14726 SOS 7372 HAS SOPS 7372 HAS SOUS 4277 HAS SOUPS 4277 WITH SCORE 4284.372
AT ITER 7316 NEW BEST:: SOT 14726 SOS 7371 HAS SOPS 7371 HAS SOUS 4276 HAS SOUPS 4276 WITH SCORE 4283.371
AT ITER 7347 NEW BEST:: SOT 14719 SOS 7365 HAS SOPS 7365 HAS SOUS 4275 HAS SOUPS 4275 WITH SCORE 4282.365
AT ITER 7349 NEW BEST:: SOT 14671 SOS 7341 HAS SOPS 7341 HAS SOUS 4275 HAS SOUPS 4275 WITH SCORE 4282.341
AT ITER 7433 NEW BEST:: SOT 14671 SOS 7338 HAS SOPS 7338 HAS SOUS 4272 HAS SOUPS 4272 WITH SCORE 4279.338
AT ITER 7437 NEW BEST:: SOT 14651 SOS 7328 HAS SOPS 7328 HAS SOUS 4272 HAS SOUPS 4272 WITH SCORE 4279.328
AT ITER 7473 NEW BEST:: SOT 14649 SOS 7327 HAS SOPS 7327 HAS SOUS 4271 HAS SOUPS 4271 WITH SCORE 4278.327
AT ITER 7516 NEW BEST:: SOT 14649 SOS 7325 HAS SOPS 7325 HAS SOUS 4269 HAS SOUPS 4269 WITH SCORE 4276.325
AT ITER 7607 NEW BEST:: SOT 14648 SOS 7324 HAS SOPS 7324 HAS SOUS 4268 HAS SOUPS 4268 WITH SCORE 4275.324
AT ITER 7671 NEW BEST:: SOT 14648 SOS 7314 HAS SOPS 7314 HAS SOUS 4258 HAS SOUPS 4258 WITH SCORE 4265.314
AT ITER 7684 NEW BEST:: SOT 14644 SOS 7310 HAS SOPS 7310 HAS SOUS 4254 HAS SOUPS 4254 WITH SCORE 4261.31
AT ITER 7704 NEW BEST:: SOT 14643 SOS 7309 HAS SOPS 7309 HAS SOUS 4253 HAS SOUPS 4253 WITH SCORE 4260.309
AT ITER 7756 NEW BEST:: SOT 14620 SOS 7286 HAS SOPS 7286 HAS SOUS 4253 HAS SOUPS 4253 WITH SCORE 4260.286
AT ITER 7877 NEW BEST:: SOT 14618 SOS 7284 HAS SOPS 7284 HAS SOUS 4253 HAS SOUPS 4253 WITH SCORE 4260.284
AT ITER 7944 NEW BEST:: SOT 14566 SOS 7227 HAS SOPS 7227 HAS SOUS 4225 HAS SOUPS 4225 WITH SCORE 4232.227
AT ITER 7950 NEW BEST:: SOT 14566 SOS 7225 HAS SOPS 7225 HAS SOUS 4223 HAS SOUPS 4223 WITH SCORE 4230.225
AT ITER 8000 NEW BEST:: SOT 14566 SOS 7210 HAS SOPS 7210 HAS SOUS 4208 HAS SOUPS 4208 WITH SCORE 4215.21
AT ITER 8003 NEW BEST:: SOT 14566 SOS 7209 HAS SOPS 7209 HAS SOUS 4207 HAS SOUPS 4207 WITH SCORE 4214.209
AT ITER 8120 NEW BEST:: SOT 14549 SOS 7192 HAS SOPS 7192 HAS SOUS 4190 HAS SOUPS 4190 WITH SCORE 4197.192
AT ITER 8156 NEW BEST:: SOT 14547 SOS 7190 HAS SOPS 7190 HAS SOUS 4188 HAS SOUPS 4188 WITH SCORE 4195.19
AT ITER 8300 NEW BEST:: SOT 14547 SOS 7189 HAS SOPS 7189 HAS SOUS 4187 HAS SOUPS 4187 WITH SCORE 4194.189
AT ITER 8303 NEW BEST:: SOT 14547 SOS 7183 HAS SOPS 7183 HAS SOUS 4181 HAS SOUPS 4181 WITH SCORE 4188.183
AT ITER 8313 NEW BEST:: SOT 14545 SOS 7181 HAS SOPS 7181 HAS SOUS 4181 HAS SOUPS 4181 WITH SCORE 4188.181
AT ITER 8337 NEW BEST:: SOT 14540 SOS 7159 HAS SOPS 7159 HAS SOUS 4159 HAS SOUPS 4159 WITH SCORE 4166.159
AT ITER 8346 NEW BEST:: SOT 14480 SOS 7129 HAS SOPS 7129 HAS SOUS 4159 HAS SOUPS 4159 WITH SCORE 4166.129
AT ITER 8350 NEW BEST:: SOT 14466 SOS 7115 HAS SOPS 7115 HAS SOUS 4152 HAS SOUPS 4152 WITH SCORE 4159.115
AT ITER 8361 NEW BEST:: SOT 14465 SOS 7114 HAS SOPS 7114 HAS SOUS 4151 HAS SOUPS 4151 WITH SCORE 4158.114
AT ITER 8381 NEW BEST:: SOT 14432 SOS 7081 HAS SOPS 7081 HAS SOUS 4150 HAS SOUPS 4150 WITH SCORE 4157.081
AT ITER 8402 NEW BEST:: SOT 14432 SOS 7080 HAS SOPS 7080 HAS SOUS 4149 HAS SOUPS 4149 WITH SCORE 4156.08
AT ITER 8489 NEW BEST:: SOT 14425 SOS 7073 HAS SOPS 7073 HAS SOUS 4149 HAS SOUPS 4149 WITH SCORE 4156.073
AT ITER 8628 NEW BEST:: SOT 14414 SOS 7062 HAS SOPS 7062 HAS SOUS 4149 HAS SOUPS 4149 WITH SCORE 4156.062
AT ITER 8667 NEW BEST:: SOT 14399 SOS 7047 HAS SOPS 7047 HAS SOUS 4148 HAS SOUPS 4148 WITH SCORE 4155.047
AT ITER 8669 NEW BEST:: SOT 14407 SOS 7045 HAS SOPS 7045 HAS SOUS 4146 HAS SOUPS 4146 WITH SCORE 4153.045
AT ITER 8753 NEW BEST:: SOT 14405 SOS 7036 HAS SOPS 7036 HAS SOUS 4137 HAS SOUPS 4137 WITH SCORE 4144.036
AT ITER 8832 NEW BEST:: SOT 14397 SOS 7032 HAS SOPS 7032 HAS SOUS 4137 HAS SOUPS 4137 WITH SCORE 4144.032
AT ITER 8870 NEW BEST:: SOT 14397 SOS 7028 HAS SOPS 7028 HAS SOUS 4133 HAS SOUPS 4133 WITH SCORE 4140.028
AT ITER 9003 NEW BEST:: SOT 14384 SOS 7014 HAS SOPS 7014 HAS SOUS 4126 HAS SOUPS 4126 WITH SCORE 4133.014
AT ITER 9005 NEW BEST:: SOT 14384 SOS 7010 HAS SOPS 7010 HAS SOUS 4122 HAS SOUPS 4122 WITH SCORE 4129.01
AT ITER 9048 NEW BEST:: SOT 14382 SOS 7008 HAS SOPS 7008 HAS SOUS 4120 HAS SOUPS 4120 WITH SCORE 4127.008
AT ITER 9091 NEW BEST:: SOT 14382 SOS 7007 HAS SOPS 7007 HAS SOUS 4119 HAS SOUPS 4119 WITH SCORE 4126.007
AT ITER 9096 NEW BEST:: SOT 14376 SOS 6995 HAS SOPS 6995 HAS SOUS 4113 HAS SOUPS 4113 WITH SCORE 4119.995
AT ITER 9235 NEW BEST:: SOT 14364 SOS 6983 HAS SOPS 6983 HAS SOUS 4101 HAS SOUPS 4101 WITH SCORE 4107.983
AT ITER 9272 NEW BEST:: SOT 14352 SOS 6971 HAS SOPS 6971 HAS SOUS 4101 HAS SOUPS 4101 WITH SCORE 4107.971
AT ITER 9282 NEW BEST:: SOT 14345 SOS 6964 HAS SOPS 6964 HAS SOUS 4101 HAS SOUPS 4101 WITH SCORE 4107.964
AT ITER 9287 NEW BEST:: SOT 14343 SOS 6962 HAS SOPS 6962 HAS SOUS 4101 HAS SOUPS 4101 WITH SCORE 4107.962
AT ITER 9345 NEW BEST:: SOT 14313 SOS 6947 HAS SOPS 6947 HAS SOUS 4101 HAS SOUPS 4101 WITH SCORE 4107.947
AT ITER 9374 NEW BEST:: SOT 14300 SOS 6921 HAS SOPS 6921 HAS SOUS 4075 HAS SOUPS 4075 WITH SCORE 4081.921
AT ITER 9382 NEW BEST:: SOT 14299 SOS 6920 HAS SOPS 6920 HAS SOUS 4074 HAS SOUPS 4074 WITH SCORE 4080.92
AT ITER 9574 NEW BEST:: SOT 14286 SOS 6907 HAS SOPS 6907 HAS SOUS 4061 HAS SOUPS 4061 WITH SCORE 4067.907
AT ITER 9643 NEW BEST:: SOT 14268 SOS 6898 HAS SOPS 6898 HAS SOUS 4061 HAS SOUPS 4061 WITH SCORE 4067.898
AT ITER 9666 NEW BEST:: SOT 14284 SOS 6905 HAS SOPS 6905 HAS SOUS 4059 HAS SOUPS 4059 WITH SCORE 4065.905
AT ITER 9721 NEW BEST:: SOT 14280 SOS 6901 HAS SOPS 6901 HAS SOUS 4055 HAS SOUPS 4055 WITH SCORE 4061.901
AT ITER 9765 NEW BEST:: SOT 14280 SOS 6888 HAS SOPS 6888 HAS SOUS 4042 HAS SOUPS 4042 WITH SCORE 4048.888
AT ITER 9868 NEW BEST:: SOT 14274 SOS 6883 HAS SOPS 6883 HAS SOUS 4037 HAS SOUPS 4037 WITH SCORE 4043.883
AT ITER 9870 NEW BEST:: SOT 14273 SOS 6882 HAS SOPS 6882 HAS SOUS 4037 HAS SOUPS 4037 WITH SCORE 4043.882
AT ITER 9889 NEW BEST:: SOT 14265 SOS 6878 HAS SOPS 6878 HAS SOUS 4037 HAS SOUPS 4037 WITH SCORE 4043.878
AT ITER 9943 NEW BEST:: SOT 14263 SOS 6876 HAS SOPS 6876 HAS SOUS 4035 HAS SOUPS 4035 WITH SCORE 4041.876
AT ITER 9990 NEW BEST:: SOT 14263 SOS 6874 HAS SOPS 6874 HAS SOUS 4033 HAS SOUPS 4033 WITH SCORE 4039.874
STATE_SPACE STATES 2271960 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 74 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 16007988 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678819390275

--------------------
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="QuasiCertifProtocol-COL-06"
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 QuasiCertifProtocol-COL-06, 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 r291-tall-167873943400816"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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