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.r011-oct2-167813599800184.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is AirplaneLD-COL-0020, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813599800184
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 520K
-rw-r--r-- 1 mcc users 8.2K Feb 26 11:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 26 11:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 11:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 11:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 15:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 11:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 122K Feb 26 11:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 10K Feb 26 11:17 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 87K Feb 26 11:17 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 41K 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 1678730770068

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=AirplaneLD-COL-0020
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 18:06:13] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 18:06:13] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 18:06:13] [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-13 18:06:14] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-13 18:06:14] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1077 ms
[2023-03-13 18:06:15] [INFO ] Detected 3 constant HL places corresponding to 62 PT places.
[2023-03-13 18:06:15] [INFO ] Imported 20 HL places and 15 HL transitions for a total of 159 PT places and 252.0 transition bindings in 44 ms.
[2023-03-13 18:06:15] [INFO ] Unfolded HLPN to a Petri net with 159 places and 168 transitions 470 arcs in 28 ms.
[2023-03-13 18:06:15] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-13 18:06:15] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 159 places, 168 transitions and 470 arcs took 4 ms.
Total runtime 1348 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AirplaneLD (COL), instance 0020
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: 159 places, 168 transitions, 470 arcs.
AT ITER 0 NEW BEST:: SOT 12176 SOS 6722 HAS SOPS 6722 HAS SOUS 3999 HAS SOUPS 3999 WITH SCORE 4005.722
AT ITER 5 NEW BEST:: SOT 12220 SOS 6724 HAS SOPS 6724 HAS SOUS 3987 HAS SOUPS 3987 WITH SCORE 3993.724
AT ITER 11 NEW BEST:: SOT 12245 SOS 6735 HAS SOPS 6735 HAS SOUS 3983 HAS SOUPS 3983 WITH SCORE 3989.735
AT ITER 12 NEW BEST:: SOT 12337 SOS 6781 HAS SOPS 6781 HAS SOUS 3941 HAS SOUPS 3941 WITH SCORE 3947.781
AT ITER 16 NEW BEST:: SOT 12307 SOS 6721 HAS SOPS 6721 HAS SOUS 3909 HAS SOUPS 3909 WITH SCORE 3915.721
AT ITER 17 NEW BEST:: SOT 12415 SOS 6779 HAS SOPS 6779 HAS SOUS 3827 HAS SOUPS 3827 WITH SCORE 3833.779
AT ITER 18 NEW BEST:: SOT 12476 SOS 6814 HAS SOPS 6814 HAS SOUS 3818 HAS SOUPS 3818 WITH SCORE 3824.814
AT ITER 30 NEW BEST:: SOT 12530 SOS 6816 HAS SOPS 6816 HAS SOUS 3716 HAS SOUPS 3716 WITH SCORE 3722.816
AT ITER 32 NEW BEST:: SOT 12609 SOS 6885 HAS SOPS 6885 HAS SOUS 3714 HAS SOUPS 3714 WITH SCORE 3720.885
AT ITER 39 NEW BEST:: SOT 12656 SOS 6816 HAS SOPS 6816 HAS SOUS 3597 HAS SOUPS 3597 WITH SCORE 3603.816
AT ITER 41 NEW BEST:: SOT 12148 SOS 6788 HAS SOPS 6788 HAS SOUS 3107 HAS SOUPS 3107 WITH SCORE 3113.788
AT ITER 46 NEW BEST:: SOT 12258 SOS 6840 HAS SOPS 6840 HAS SOUS 2995 HAS SOUPS 2995 WITH SCORE 3001.84
AT ITER 48 NEW BEST:: SOT 12360 SOS 6891 HAS SOPS 6891 HAS SOUS 2895 HAS SOUPS 2895 WITH SCORE 2901.891
AT ITER 58 NEW BEST:: SOT 12360 SOS 6889 HAS SOPS 6889 HAS SOUS 2895 HAS SOUPS 2895 WITH SCORE 2901.889
AT ITER 67 NEW BEST:: SOT 11823 SOS 6352 HAS SOPS 6352 HAS SOUS 2300 HAS SOUPS 2300 WITH SCORE 2306.352
AT ITER 68 NEW BEST:: SOT 11664 SOS 6933 HAS SOPS 6933 HAS SOUS 2208 HAS SOUPS 2208 WITH SCORE 2214.933
AT ITER 69 NEW BEST:: SOT 11664 SOS 6915 HAS SOPS 6915 HAS SOUS 2208 HAS SOUPS 2208 WITH SCORE 2214.915
AT ITER 70 NEW BEST:: SOT 11647 SOS 7019 HAS SOPS 7019 HAS SOUS 2191 HAS SOUPS 2191 WITH SCORE 2198.019
AT ITER 71 NEW BEST:: SOT 11639 SOS 6990 HAS SOPS 6990 HAS SOUS 2183 HAS SOUPS 2183 WITH SCORE 2189.99
AT ITER 73 NEW BEST:: SOT 11680 SOS 7004 HAS SOPS 7004 HAS SOUS 2156 HAS SOUPS 2156 WITH SCORE 2163.004
AT ITER 74 NEW BEST:: SOT 11770 SOS 7038 HAS SOPS 7038 HAS SOUS 2100 HAS SOUPS 2100 WITH SCORE 2107.038
AT ITER 80 NEW BEST:: SOT 11793 SOS 7044 HAS SOPS 7044 HAS SOUS 2083 HAS SOUPS 2083 WITH SCORE 2090.044
AT ITER 92 NEW BEST:: SOT 11875 SOS 7116 HAS SOPS 7116 HAS SOUS 2073 HAS SOUPS 2073 WITH SCORE 2080.116
AT ITER 96 NEW BEST:: SOT 11875 SOS 7106 HAS SOPS 7106 HAS SOUS 2073 HAS SOUPS 2073 WITH SCORE 2080.106
AT ITER 113 NEW BEST:: SOT 11991 SOS 7182 HAS SOPS 7182 HAS SOUS 2033 HAS SOUPS 2033 WITH SCORE 2040.182
AT ITER 119 NEW BEST:: SOT 12025 SOS 7212 HAS SOPS 7212 HAS SOUS 2029 HAS SOUPS 2029 WITH SCORE 2036.212
AT ITER 130 NEW BEST:: SOT 11995 SOS 7152 HAS SOPS 7152 HAS SOUS 1999 HAS SOUPS 1999 WITH SCORE 2006.152
AT ITER 132 NEW BEST:: SOT 12164 SOS 7268 HAS SOPS 7268 HAS SOUS 1954 HAS SOUPS 1954 WITH SCORE 1961.268
AT ITER 135 NEW BEST:: SOT 12251 SOS 7312 HAS SOPS 7312 HAS SOUS 1911 HAS SOUPS 1911 WITH SCORE 1918.312
AT ITER 139 NEW BEST:: SOT 12293 SOS 7354 HAS SOPS 7354 HAS SOUS 1909 HAS SOUPS 1909 WITH SCORE 1916.354
AT ITER 141 NEW BEST:: SOT 12454 SOS 7474 HAS SOPS 7474 HAS SOUS 1872 HAS SOUPS 1872 WITH SCORE 1879.474
AT ITER 142 NEW BEST:: SOT 12436 SOS 7456 HAS SOPS 7456 HAS SOUS 1872 HAS SOUPS 1872 WITH SCORE 1879.456
AT ITER 143 NEW BEST:: SOT 12495 SOS 7460 HAS SOPS 7460 HAS SOUS 1817 HAS SOUPS 1817 WITH SCORE 1824.46
AT ITER 144 NEW BEST:: SOT 12471 SOS 7436 HAS SOPS 7436 HAS SOUS 1817 HAS SOUPS 1817 WITH SCORE 1824.436
AT ITER 159 NEW BEST:: SOT 12513 SOS 7462 HAS SOPS 7462 HAS SOUS 1801 HAS SOUPS 1801 WITH SCORE 1808.462
AT ITER 161 NEW BEST:: SOT 12540 SOS 7478 HAS SOPS 7478 HAS SOUS 1790 HAS SOUPS 1790 WITH SCORE 1797.478
AT ITER 165 NEW BEST:: SOT 12470 SOS 7408 HAS SOPS 7408 HAS SOUS 1787 HAS SOUPS 1787 WITH SCORE 1794.408
AT ITER 168 NEW BEST:: SOT 12530 SOS 7468 HAS SOPS 7468 HAS SOUS 1777 HAS SOUPS 1777 WITH SCORE 1784.468
AT ITER 169 NEW BEST:: SOT 12643 SOS 7562 HAS SOPS 7562 HAS SOUS 1758 HAS SOUPS 1758 WITH SCORE 1765.562
AT ITER 171 NEW BEST:: SOT 12799 SOS 7686 HAS SOPS 7686 HAS SOUS 1754 HAS SOUPS 1754 WITH SCORE 1761.686
AT ITER 172 NEW BEST:: SOT 12846 SOS 7726 HAS SOPS 7726 HAS SOUS 1751 HAS SOUPS 1751 WITH SCORE 1758.726
AT ITER 174 NEW BEST:: SOT 12872 SOS 7752 HAS SOPS 7752 HAS SOUS 1745 HAS SOUPS 1745 WITH SCORE 1752.752
AT ITER 181 NEW BEST:: SOT 12981 SOS 7848 HAS SOPS 7848 HAS SOUS 1732 HAS SOUPS 1732 WITH SCORE 1739.848
AT ITER 185 NEW BEST:: SOT 13113 SOS 7962 HAS SOPS 7962 HAS SOUS 1714 HAS SOUPS 1714 WITH SCORE 1721.962
AT ITER 191 NEW BEST:: SOT 13252 SOS 8054 HAS SOPS 8054 HAS SOUS 1667 HAS SOUPS 1667 WITH SCORE 1675.054
AT ITER 197 NEW BEST:: SOT 13241 SOS 8013 HAS SOPS 8013 HAS SOUS 1656 HAS SOUPS 1656 WITH SCORE 1664.013
AT ITER 199 NEW BEST:: SOT 13221 SOS 7993 HAS SOPS 7993 HAS SOUS 1656 HAS SOUPS 1656 WITH SCORE 1663.993
AT ITER 206 NEW BEST:: SOT 13029 SOS 10918 HAS SOPS 10918 HAS SOUS 1479 HAS SOUPS 1479 WITH SCORE 1489.918
AT ITER 208 NEW BEST:: SOT 13023 SOS 10912 HAS SOPS 10912 HAS SOUS 1479 HAS SOUPS 1479 WITH SCORE 1489.912
AT ITER 212 NEW BEST:: SOT 12990 SOS 10321 HAS SOPS 10321 HAS SOUS 1443 HAS SOUPS 1443 WITH SCORE 1453.321
AT ITER 222 NEW BEST:: SOT 12984 SOS 10315 HAS SOPS 10315 HAS SOUS 1443 HAS SOUPS 1443 WITH SCORE 1453.315
AT ITER 229 NEW BEST:: SOT 12946 SOS 10277 HAS SOPS 10277 HAS SOUS 1443 HAS SOUPS 1443 WITH SCORE 1453.277
AT ITER 232 NEW BEST:: SOT 12808 SOS 10139 HAS SOPS 10139 HAS SOUS 1443 HAS SOUPS 1443 WITH SCORE 1453.139
AT ITER 235 NEW BEST:: SOT 12866 SOS 10197 HAS SOPS 10197 HAS SOUS 1423 HAS SOUPS 1423 WITH SCORE 1433.197
AT ITER 237 NEW BEST:: SOT 12905 SOS 10236 HAS SOPS 10236 HAS SOUS 1396 HAS SOUPS 1396 WITH SCORE 1406.236
AT ITER 240 NEW BEST:: SOT 12913 SOS 10236 HAS SOPS 10236 HAS SOUS 1388 HAS SOUPS 1388 WITH SCORE 1398.236
AT ITER 256 NEW BEST:: SOT 12901 SOS 10224 HAS SOPS 10224 HAS SOUS 1388 HAS SOUPS 1388 WITH SCORE 1398.224
AT ITER 262 NEW BEST:: SOT 12835 SOS 10158 HAS SOPS 10158 HAS SOUS 1378 HAS SOUPS 1378 WITH SCORE 1388.158
AT ITER 273 NEW BEST:: SOT 12825 SOS 10148 HAS SOPS 10148 HAS SOUS 1378 HAS SOUPS 1378 WITH SCORE 1388.148
AT ITER 280 NEW BEST:: SOT 12872 SOS 10186 HAS SOPS 10186 HAS SOUS 1359 HAS SOUPS 1359 WITH SCORE 1369.186
AT ITER 291 NEW BEST:: SOT 12872 SOS 10186 HAS SOPS 10186 HAS SOUS 1358 HAS SOUPS 1358 WITH SCORE 1368.186
AT ITER 297 NEW BEST:: SOT 12864 SOS 10178 HAS SOPS 10178 HAS SOUS 1358 HAS SOUPS 1358 WITH SCORE 1368.178
AT ITER 306 NEW BEST:: SOT 12864 SOS 10175 HAS SOPS 10175 HAS SOUS 1358 HAS SOUPS 1358 WITH SCORE 1368.175
AT ITER 307 NEW BEST:: SOT 12832 SOS 10143 HAS SOPS 10143 HAS SOUS 1358 HAS SOUPS 1358 WITH SCORE 1368.143
AT ITER 308 NEW BEST:: SOT 12971 SOS 10282 HAS SOPS 10282 HAS SOUS 1347 HAS SOUPS 1347 WITH SCORE 1357.282
AT ITER 309 NEW BEST:: SOT 12951 SOS 10262 HAS SOPS 10262 HAS SOUS 1347 HAS SOUPS 1347 WITH SCORE 1357.262
AT ITER 327 NEW BEST:: SOT 12915 SOS 10226 HAS SOPS 10226 HAS SOUS 1347 HAS SOUPS 1347 WITH SCORE 1357.226
AT ITER 348 NEW BEST:: SOT 12815 SOS 10126 HAS SOPS 10126 HAS SOUS 1347 HAS SOUPS 1347 WITH SCORE 1357.126
AT ITER 356 NEW BEST:: SOT 12757 SOS 10068 HAS SOPS 10068 HAS SOUS 1347 HAS SOUPS 1347 WITH SCORE 1357.068
AT ITER 364 NEW BEST:: SOT 12757 SOS 10068 HAS SOPS 10068 HAS SOUS 1345 HAS SOUPS 1345 WITH SCORE 1355.068
AT ITER 375 NEW BEST:: SOT 12707 SOS 10018 HAS SOPS 10018 HAS SOUS 1345 HAS SOUPS 1345 WITH SCORE 1355.018
AT ITER 381 NEW BEST:: SOT 12761 SOS 10072 HAS SOPS 10072 HAS SOUS 1337 HAS SOUPS 1337 WITH SCORE 1347.072
AT ITER 387 NEW BEST:: SOT 12687 SOS 10457 HAS SOPS 10457 HAS SOUS 1307 HAS SOUPS 1307 WITH SCORE 1317.457
AT ITER 391 NEW BEST:: SOT 12693 SOS 10355 HAS SOPS 10355 HAS SOUS 1256 HAS SOUPS 1256 WITH SCORE 1266.355
AT ITER 404 NEW BEST:: SOT 12679 SOS 10341 HAS SOPS 10341 HAS SOUS 1256 HAS SOUPS 1256 WITH SCORE 1266.341
AT ITER 418 NEW BEST:: SOT 12599 SOS 10261 HAS SOPS 10261 HAS SOUS 1256 HAS SOUPS 1256 WITH SCORE 1266.261
AT ITER 421 NEW BEST:: SOT 12557 SOS 8688 HAS SOPS 8688 HAS SOUS 1253 HAS SOUPS 1253 WITH SCORE 1261.688
AT ITER 427 NEW BEST:: SOT 12545 SOS 8664 HAS SOPS 8664 HAS SOUS 1241 HAS SOUPS 1241 WITH SCORE 1249.664
AT ITER 433 NEW BEST:: SOT 12327 SOS 8456 HAS SOPS 8456 HAS SOUS 1225 HAS SOUPS 1225 WITH SCORE 1233.456
AT ITER 448 NEW BEST:: SOT 12317 SOS 8631 HAS SOPS 8631 HAS SOUS 1210 HAS SOUPS 1210 WITH SCORE 1218.631
AT ITER 464 NEW BEST:: SOT 12239 SOS 8553 HAS SOPS 8553 HAS SOUS 1202 HAS SOUPS 1202 WITH SCORE 1210.553
AT ITER 470 NEW BEST:: SOT 12131 SOS 8445 HAS SOPS 8445 HAS SOUS 1202 HAS SOUPS 1202 WITH SCORE 1210.445
AT ITER 472 NEW BEST:: SOT 12111 SOS 8425 HAS SOPS 8425 HAS SOUS 1201 HAS SOUPS 1201 WITH SCORE 1209.425
AT ITER 480 NEW BEST:: SOT 12078 SOS 8519 HAS SOPS 8519 HAS SOUS 1173 HAS SOUPS 1173 WITH SCORE 1181.519
AT ITER 488 NEW BEST:: SOT 11972 SOS 8413 HAS SOPS 8413 HAS SOUS 1173 HAS SOUPS 1173 WITH SCORE 1181.413
AT ITER 497 NEW BEST:: SOT 11934 SOS 8375 HAS SOPS 8375 HAS SOUS 1173 HAS SOUPS 1173 WITH SCORE 1181.375
AT ITER 507 NEW BEST:: SOT 12095 SOS 8529 HAS SOPS 8529 HAS SOUS 1152 HAS SOUPS 1152 WITH SCORE 1160.529
AT ITER 517 NEW BEST:: SOT 12095 SOS 8529 HAS SOPS 8529 HAS SOUS 1151 HAS SOUPS 1151 WITH SCORE 1159.529
AT ITER 537 NEW BEST:: SOT 12085 SOS 8519 HAS SOPS 8519 HAS SOUS 1151 HAS SOUPS 1151 WITH SCORE 1159.519
AT ITER 543 NEW BEST:: SOT 12094 SOS 8339 HAS SOPS 8339 HAS SOUS 1142 HAS SOUPS 1142 WITH SCORE 1150.339
AT ITER 563 NEW BEST:: SOT 12008 SOS 8315 HAS SOPS 8315 HAS SOUS 1138 HAS SOUPS 1138 WITH SCORE 1146.315
AT ITER 573 NEW BEST:: SOT 12050 SOS 8357 HAS SOPS 8357 HAS SOUS 1124 HAS SOUPS 1124 WITH SCORE 1132.357
AT ITER 587 NEW BEST:: SOT 12012 SOS 8319 HAS SOPS 8319 HAS SOUS 1124 HAS SOUPS 1124 WITH SCORE 1132.319
AT ITER 592 NEW BEST:: SOT 11958 SOS 8265 HAS SOPS 8265 HAS SOUS 1124 HAS SOUPS 1124 WITH SCORE 1132.265
AT ITER 598 NEW BEST:: SOT 11958 SOS 8265 HAS SOPS 8265 HAS SOUS 1123 HAS SOUPS 1123 WITH SCORE 1131.265
AT ITER 601 NEW BEST:: SOT 11956 SOS 8263 HAS SOPS 8263 HAS SOUS 1121 HAS SOUPS 1121 WITH SCORE 1129.263
AT ITER 603 NEW BEST:: SOT 11944 SOS 8251 HAS SOPS 8251 HAS SOUS 1121 HAS SOUPS 1121 WITH SCORE 1129.251
AT ITER 606 NEW BEST:: SOT 11902 SOS 8209 HAS SOPS 8209 HAS SOUS 1121 HAS SOUPS 1121 WITH SCORE 1129.209
AT ITER 610 NEW BEST:: SOT 11900 SOS 8179 HAS SOPS 8179 HAS SOUS 1119 HAS SOUPS 1119 WITH SCORE 1127.179
AT ITER 614 NEW BEST:: SOT 11900 SOS 8175 HAS SOPS 8175 HAS SOUS 1119 HAS SOUPS 1119 WITH SCORE 1127.175
AT ITER 622 NEW BEST:: SOT 11913 SOS 8188 HAS SOPS 8188 HAS SOUS 1112 HAS SOUPS 1112 WITH SCORE 1120.188
AT ITER 624 NEW BEST:: SOT 11911 SOS 8186 HAS SOPS 8186 HAS SOUS 1110 HAS SOUPS 1110 WITH SCORE 1118.186
AT ITER 633 NEW BEST:: SOT 11911 SOS 8181 HAS SOPS 8181 HAS SOUS 1107 HAS SOUPS 1107 WITH SCORE 1115.181
AT ITER 639 NEW BEST:: SOT 11857 SOS 8127 HAS SOPS 8127 HAS SOUS 1099 HAS SOUPS 1099 WITH SCORE 1107.127
AT ITER 674 NEW BEST:: SOT 11851 SOS 8121 HAS SOPS 8121 HAS SOUS 1099 HAS SOUPS 1099 WITH SCORE 1107.121
AT ITER 684 NEW BEST:: SOT 11675 SOS 7945 HAS SOPS 7945 HAS SOUS 1097 HAS SOUPS 1097 WITH SCORE 1104.945
AT ITER 697 NEW BEST:: SOT 11674 SOS 7938 HAS SOPS 7938 HAS SOUS 1096 HAS SOUPS 1096 WITH SCORE 1103.938
AT ITER 732 NEW BEST:: SOT 11666 SOS 7930 HAS SOPS 7930 HAS SOUS 1096 HAS SOUPS 1096 WITH SCORE 1103.93
AT ITER 740 NEW BEST:: SOT 11622 SOS 7886 HAS SOPS 7886 HAS SOUS 1096 HAS SOUPS 1096 WITH SCORE 1103.886
AT ITER 744 NEW BEST:: SOT 11622 SOS 7841 HAS SOPS 7841 HAS SOUS 1032 HAS SOUPS 1032 WITH SCORE 1039.841
AT ITER 804 NEW BEST:: SOT 11651 SOS 7903 HAS SOPS 7903 HAS SOUS 1027 HAS SOUPS 1027 WITH SCORE 1034.903
AT ITER 815 NEW BEST:: SOT 11619 SOS 7871 HAS SOPS 7871 HAS SOUS 1027 HAS SOUPS 1027 WITH SCORE 1034.871
AT ITER 818 NEW BEST:: SOT 11579 SOS 7831 HAS SOPS 7831 HAS SOUS 1027 HAS SOUPS 1027 WITH SCORE 1034.831
AT ITER 823 NEW BEST:: SOT 11579 SOS 7827 HAS SOPS 7827 HAS SOUS 1027 HAS SOUPS 1027 WITH SCORE 1034.827
AT ITER 832 NEW BEST:: SOT 11579 SOS 7703 HAS SOPS 7703 HAS SOUS 1015 HAS SOUPS 1015 WITH SCORE 1022.703
AT ITER 879 NEW BEST:: SOT 11559 SOS 7683 HAS SOPS 7683 HAS SOUS 1015 HAS SOUPS 1015 WITH SCORE 1022.683
AT ITER 906 NEW BEST:: SOT 11511 SOS 7635 HAS SOPS 7635 HAS SOUS 1015 HAS SOUPS 1015 WITH SCORE 1022.635
AT ITER 913 NEW BEST:: SOT 11443 SOS 7567 HAS SOPS 7567 HAS SOUS 1015 HAS SOUPS 1015 WITH SCORE 1022.567
AT ITER 933 NEW BEST:: SOT 11572 SOS 7691 HAS SOPS 7691 HAS SOUS 998 HAS SOUPS 998 WITH SCORE 1005.691
AT ITER 942 NEW BEST:: SOT 11572 SOS 7691 HAS SOPS 7691 HAS SOUS 996 HAS SOUPS 996 WITH SCORE 1003.691
AT ITER 954 NEW BEST:: SOT 11572 SOS 7675 HAS SOPS 7675 HAS SOUS 988 HAS SOUPS 988 WITH SCORE 995.675
AT ITER 957 NEW BEST:: SOT 11546 SOS 7649 HAS SOPS 7649 HAS SOUS 988 HAS SOUPS 988 WITH SCORE 995.649
AT ITER 992 NEW BEST:: SOT 11494 SOS 7597 HAS SOPS 7597 HAS SOUS 982 HAS SOUPS 982 WITH SCORE 989.597
AT ITER 1017 NEW BEST:: SOT 11494 SOS 7597 HAS SOPS 7597 HAS SOUS 968 HAS SOUPS 968 WITH SCORE 975.597
AT ITER 1111 NEW BEST:: SOT 11474 SOS 7577 HAS SOPS 7577 HAS SOUS 958 HAS SOUPS 958 WITH SCORE 965.577
AT ITER 1115 NEW BEST:: SOT 11338 SOS 7441 HAS SOPS 7441 HAS SOUS 954 HAS SOUPS 954 WITH SCORE 961.441
AT ITER 1118 NEW BEST:: SOT 11324 SOS 7427 HAS SOPS 7427 HAS SOUS 954 HAS SOUPS 954 WITH SCORE 961.427
AT ITER 1146 NEW BEST:: SOT 11307 SOS 7814 HAS SOPS 7814 HAS SOUS 913 HAS SOUPS 913 WITH SCORE 920.814
AT ITER 1164 NEW BEST:: SOT 11287 SOS 7794 HAS SOPS 7794 HAS SOUS 913 HAS SOUPS 913 WITH SCORE 920.794
AT ITER 1174 NEW BEST:: SOT 11249 SOS 7756 HAS SOPS 7756 HAS SOUS 913 HAS SOUPS 913 WITH SCORE 920.756
AT ITER 1269 NEW BEST:: SOT 11223 SOS 7730 HAS SOPS 7730 HAS SOUS 913 HAS SOUPS 913 WITH SCORE 920.73
AT ITER 1295 NEW BEST:: SOT 11223 SOS 7730 HAS SOPS 7730 HAS SOUS 897 HAS SOUPS 897 WITH SCORE 904.73
AT ITER 1316 NEW BEST:: SOT 11203 SOS 7710 HAS SOPS 7710 HAS SOUS 897 HAS SOUPS 897 WITH SCORE 904.71
AT ITER 1324 NEW BEST:: SOT 11201 SOS 7708 HAS SOPS 7708 HAS SOUS 895 HAS SOUPS 895 WITH SCORE 902.708
AT ITER 1357 NEW BEST:: SOT 11201 SOS 7708 HAS SOPS 7708 HAS SOUS 892 HAS SOUPS 892 WITH SCORE 899.708
AT ITER 1386 NEW BEST:: SOT 11200 SOS 7696 HAS SOPS 7696 HAS SOUS 891 HAS SOUPS 891 WITH SCORE 898.696
AT ITER 1396 NEW BEST:: SOT 11164 SOS 7660 HAS SOPS 7660 HAS SOUS 875 HAS SOUPS 875 WITH SCORE 882.66
AT ITER 1399 NEW BEST:: SOT 11156 SOS 7652 HAS SOPS 7652 HAS SOUS 875 HAS SOUPS 875 WITH SCORE 882.652
AT ITER 1428 NEW BEST:: SOT 11124 SOS 7620 HAS SOPS 7620 HAS SOUS 875 HAS SOUPS 875 WITH SCORE 882.62
AT ITER 1529 NEW BEST:: SOT 11098 SOS 7129 HAS SOPS 7129 HAS SOUS 873 HAS SOUPS 873 WITH SCORE 880.129
AT ITER 1540 NEW BEST:: SOT 11125 SOS 7156 HAS SOPS 7156 HAS SOUS 864 HAS SOUPS 864 WITH SCORE 871.156
AT ITER 1552 NEW BEST:: SOT 11126 SOS 7156 HAS SOPS 7156 HAS SOUS 863 HAS SOUPS 863 WITH SCORE 870.156
AT ITER 1560 NEW BEST:: SOT 11131 SOS 7156 HAS SOPS 7156 HAS SOUS 862 HAS SOUPS 862 WITH SCORE 869.156
AT ITER 1582 NEW BEST:: SOT 11111 SOS 7136 HAS SOPS 7136 HAS SOUS 862 HAS SOUPS 862 WITH SCORE 869.136
AT ITER 1623 NEW BEST:: SOT 11095 SOS 6960 HAS SOPS 6960 HAS SOUS 854 HAS SOUPS 854 WITH SCORE 860.96
AT ITER 1640 NEW BEST:: SOT 11095 SOS 6955 HAS SOPS 6955 HAS SOUS 854 HAS SOUPS 854 WITH SCORE 860.955
AT ITER 1641 NEW BEST:: SOT 11079 SOS 6939 HAS SOPS 6939 HAS SOUS 854 HAS SOUPS 854 WITH SCORE 860.939
AT ITER 1657 NEW BEST:: SOT 11079 SOS 6937 HAS SOPS 6937 HAS SOUS 854 HAS SOUPS 854 WITH SCORE 860.937
AT ITER 1686 NEW BEST:: SOT 11069 SOS 6927 HAS SOPS 6927 HAS SOUS 854 HAS SOUPS 854 WITH SCORE 860.927
AT ITER 1724 NEW BEST:: SOT 11069 SOS 6927 HAS SOPS 6927 HAS SOUS 852 HAS SOUPS 852 WITH SCORE 858.927
AT ITER 1733 NEW BEST:: SOT 11061 SOS 6919 HAS SOPS 6919 HAS SOUS 852 HAS SOUPS 852 WITH SCORE 858.919
AT ITER 1739 NEW BEST:: SOT 11061 SOS 6919 HAS SOPS 6919 HAS SOUS 842 HAS SOUPS 842 WITH SCORE 848.919
AT ITER 1761 NEW BEST:: SOT 11035 SOS 6893 HAS SOPS 6893 HAS SOUS 842 HAS SOUPS 842 WITH SCORE 848.893
AT ITER 1779 NEW BEST:: SOT 10997 SOS 6855 HAS SOPS 6855 HAS SOUS 842 HAS SOUPS 842 WITH SCORE 848.855
AT ITER 1820 NEW BEST:: SOT 10980 SOS 6821 HAS SOPS 6821 HAS SOUS 841 HAS SOUPS 841 WITH SCORE 847.821
AT ITER 1901 NEW BEST:: SOT 10980 SOS 6821 HAS SOPS 6821 HAS SOUS 833 HAS SOUPS 833 WITH SCORE 839.821
AT ITER 1946 NEW BEST:: SOT 10980 SOS 6821 HAS SOPS 6821 HAS SOUS 832 HAS SOUPS 832 WITH SCORE 838.821
AT ITER 2024 NEW BEST:: SOT 10978 SOS 6819 HAS SOPS 6819 HAS SOUS 832 HAS SOUPS 832 WITH SCORE 838.819
AT ITER 2043 NEW BEST:: SOT 10974 SOS 6815 HAS SOPS 6815 HAS SOUS 832 HAS SOUPS 832 WITH SCORE 838.815
AT ITER 2071 NEW BEST:: SOT 10976 SOS 6754 HAS SOPS 6754 HAS SOUS 828 HAS SOUPS 828 WITH SCORE 834.754
AT ITER 2119 NEW BEST:: SOT 10976 SOS 6754 HAS SOPS 6754 HAS SOUS 825 HAS SOUPS 825 WITH SCORE 831.754
AT ITER 2197 NEW BEST:: SOT 10975 SOS 6753 HAS SOPS 6753 HAS SOUS 824 HAS SOUPS 824 WITH SCORE 830.753
AT ITER 2200 NEW BEST:: SOT 10972 SOS 6804 HAS SOPS 6804 HAS SOUS 821 HAS SOUPS 821 WITH SCORE 827.804
AT ITER 2248 NEW BEST:: SOT 10912 SOS 6744 HAS SOPS 6744 HAS SOUS 821 HAS SOUPS 821 WITH SCORE 827.744
AT ITER 2322 NEW BEST:: SOT 10911 SOS 6743 HAS SOPS 6743 HAS SOUS 820 HAS SOUPS 820 WITH SCORE 826.743
AT ITER 2352 NEW BEST:: SOT 10887 SOS 6719 HAS SOPS 6719 HAS SOUS 820 HAS SOUPS 820 WITH SCORE 826.719
AT ITER 2356 NEW BEST:: SOT 10881 SOS 6707 HAS SOPS 6707 HAS SOUS 820 HAS SOUPS 820 WITH SCORE 826.707
AT ITER 2403 NEW BEST:: SOT 10881 SOS 6707 HAS SOPS 6707 HAS SOUS 814 HAS SOUPS 814 WITH SCORE 820.707
AT ITER 2555 NEW BEST:: SOT 10853 SOS 6679 HAS SOPS 6679 HAS SOUS 804 HAS SOUPS 804 WITH SCORE 810.679
AT ITER 2590 NEW BEST:: SOT 10856 SOS 6682 HAS SOPS 6682 HAS SOUS 801 HAS SOUPS 801 WITH SCORE 807.682
AT ITER 2599 NEW BEST:: SOT 10820 SOS 6646 HAS SOPS 6646 HAS SOUS 801 HAS SOUPS 801 WITH SCORE 807.646
AT ITER 2679 NEW BEST:: SOT 10769 SOS 6595 HAS SOPS 6595 HAS SOUS 800 HAS SOUPS 800 WITH SCORE 806.595
AT ITER 2692 NEW BEST:: SOT 10769 SOS 6595 HAS SOPS 6595 HAS SOUS 798 HAS SOUPS 798 WITH SCORE 804.595
AT ITER 2817 NEW BEST:: SOT 10737 SOS 6563 HAS SOPS 6563 HAS SOUS 798 HAS SOUPS 798 WITH SCORE 804.563
AT ITER 2857 NEW BEST:: SOT 10695 SOS 6521 HAS SOPS 6521 HAS SOUS 798 HAS SOUPS 798 WITH SCORE 804.521
AT ITER 2894 NEW BEST:: SOT 10613 SOS 6439 HAS SOPS 6439 HAS SOUS 795 HAS SOUPS 795 WITH SCORE 801.439
AT ITER 2916 NEW BEST:: SOT 10609 SOS 6672 HAS SOPS 6672 HAS SOUS 791 HAS SOUPS 791 WITH SCORE 797.672
AT ITER 3106 NEW BEST:: SOT 10637 SOS 6700 HAS SOPS 6700 HAS SOUS 782 HAS SOUPS 782 WITH SCORE 788.7
AT ITER 3186 NEW BEST:: SOT 10585 SOS 6648 HAS SOPS 6648 HAS SOUS 764 HAS SOUPS 764 WITH SCORE 770.648
AT ITER 3277 NEW BEST:: SOT 10585 SOS 6627 HAS SOPS 6627 HAS SOUS 764 HAS SOUPS 764 WITH SCORE 770.627
AT ITER 3423 NEW BEST:: SOT 10585 SOS 6627 HAS SOPS 6627 HAS SOUS 757 HAS SOUPS 757 WITH SCORE 763.627
AT ITER 3472 NEW BEST:: SOT 10573 SOS 6375 HAS SOPS 6375 HAS SOUS 751 HAS SOUPS 751 WITH SCORE 757.375
AT ITER 3603 NEW BEST:: SOT 10551 SOS 6624 HAS SOPS 6624 HAS SOUS 746 HAS SOUPS 746 WITH SCORE 752.624
AT ITER 3689 NEW BEST:: SOT 10545 SOS 6648 HAS SOPS 6648 HAS SOUS 743 HAS SOUPS 743 WITH SCORE 749.648
AT ITER 3739 NEW BEST:: SOT 10538 SOS 6406 HAS SOPS 6406 HAS SOUS 739 HAS SOUPS 739 WITH SCORE 745.406
AT ITER 3792 NEW BEST:: SOT 10510 SOS 6378 HAS SOPS 6378 HAS SOUS 739 HAS SOUPS 739 WITH SCORE 745.378
AT ITER 3855 NEW BEST:: SOT 10503 SOS 6365 HAS SOPS 6365 HAS SOUS 738 HAS SOUPS 738 WITH SCORE 744.365
AT ITER 3869 NEW BEST:: SOT 10503 SOS 6365 HAS SOPS 6365 HAS SOUS 726 HAS SOUPS 726 WITH SCORE 732.365
AT ITER 4024 NEW BEST:: SOT 10503 SOS 6365 HAS SOPS 6365 HAS SOUS 725 HAS SOUPS 725 WITH SCORE 731.365
AT ITER 4139 NEW BEST:: SOT 10499 SOS 6361 HAS SOPS 6361 HAS SOUS 725 HAS SOUPS 725 WITH SCORE 731.361
AT ITER 4171 NEW BEST:: SOT 10487 SOS 6349 HAS SOPS 6349 HAS SOUS 725 HAS SOUPS 725 WITH SCORE 731.349
AT ITER 4363 NEW BEST:: SOT 10487 SOS 6349 HAS SOPS 6349 HAS SOUS 721 HAS SOUPS 721 WITH SCORE 727.349
AT ITER 4462 NEW BEST:: SOT 10427 SOS 6289 HAS SOPS 6289 HAS SOUS 721 HAS SOUPS 721 WITH SCORE 727.289
AT ITER 4596 NEW BEST:: SOT 10427 SOS 6289 HAS SOPS 6289 HAS SOUS 719 HAS SOUPS 719 WITH SCORE 725.289
AT ITER 4775 NEW BEST:: SOT 10486 SOS 6348 HAS SOPS 6348 HAS SOUS 718 HAS SOUPS 718 WITH SCORE 724.348
AT ITER 4904 NEW BEST:: SOT 10466 SOS 6328 HAS SOPS 6328 HAS SOUS 708 HAS SOUPS 708 WITH SCORE 714.328
AT ITER 4937 NEW BEST:: SOT 10466 SOS 6382 HAS SOPS 6382 HAS SOUS 705 HAS SOUPS 705 WITH SCORE 711.382
AT ITER 4966 NEW BEST:: SOT 10456 SOS 6372 HAS SOPS 6372 HAS SOUS 705 HAS SOUPS 705 WITH SCORE 711.372
AT ITER 5397 NEW BEST:: SOT 10451 SOS 6209 HAS SOPS 6209 HAS SOUS 698 HAS SOUPS 698 WITH SCORE 704.209
AT ITER 5620 NEW BEST:: SOT 10456 SOS 6209 HAS SOPS 6209 HAS SOUS 695 HAS SOUPS 695 WITH SCORE 701.209
AT ITER 5651 NEW BEST:: SOT 10442 SOS 6195 HAS SOPS 6195 HAS SOUS 695 HAS SOUPS 695 WITH SCORE 701.195
AT ITER 5657 NEW BEST:: SOT 10436 SOS 6189 HAS SOPS 6189 HAS SOUS 689 HAS SOUPS 689 WITH SCORE 695.189
AT ITER 5706 NEW BEST:: SOT 10555 SOS 6307 HAS SOPS 6307 HAS SOUS 688 HAS SOUPS 688 WITH SCORE 694.307
AT ITER 5830 NEW BEST:: SOT 10519 SOS 6271 HAS SOPS 6271 HAS SOUS 688 HAS SOUPS 688 WITH SCORE 694.271
AT ITER 5950 NEW BEST:: SOT 10481 SOS 6233 HAS SOPS 6233 HAS SOUS 688 HAS SOUPS 688 WITH SCORE 694.233
AT ITER 5953 NEW BEST:: SOT 10544 SOS 6294 HAS SOPS 6294 HAS SOUS 685 HAS SOUPS 685 WITH SCORE 691.294
AT ITER 5995 NEW BEST:: SOT 10544 SOS 6294 HAS SOPS 6294 HAS SOUS 683 HAS SOUPS 683 WITH SCORE 689.294
AT ITER 6093 NEW BEST:: SOT 10522 SOS 6272 HAS SOPS 6272 HAS SOUS 683 HAS SOUPS 683 WITH SCORE 689.272
AT ITER 6096 NEW BEST:: SOT 10514 SOS 6264 HAS SOPS 6264 HAS SOUS 683 HAS SOUPS 683 WITH SCORE 689.264
AT ITER 6190 NEW BEST:: SOT 10514 SOS 6262 HAS SOPS 6262 HAS SOUS 682 HAS SOUPS 682 WITH SCORE 688.262
AT ITER 6311 NEW BEST:: SOT 10508 SOS 6256 HAS SOPS 6256 HAS SOUS 682 HAS SOUPS 682 WITH SCORE 688.256
AT ITER 6471 NEW BEST:: SOT 10486 SOS 6234 HAS SOPS 6234 HAS SOUS 682 HAS SOUPS 682 WITH SCORE 688.234
AT ITER 6713 NEW BEST:: SOT 10466 SOS 6214 HAS SOPS 6214 HAS SOUS 682 HAS SOUPS 682 WITH SCORE 688.214
AT ITER 6779 NEW BEST:: SOT 10466 SOS 6014 HAS SOPS 6014 HAS SOUS 672 HAS SOUPS 672 WITH SCORE 678.014
AT ITER 6795 NEW BEST:: SOT 10462 SOS 6010 HAS SOPS 6010 HAS SOUS 672 HAS SOUPS 672 WITH SCORE 678.01
AT ITER 6815 NEW BEST:: SOT 10462 SOS 6008 HAS SOPS 6008 HAS SOUS 671 HAS SOUPS 671 WITH SCORE 677.008
AT ITER 6849 NEW BEST:: SOT 10462 SOS 6008 HAS SOPS 6008 HAS SOUS 670 HAS SOUPS 670 WITH SCORE 676.008
AT ITER 6967 NEW BEST:: SOT 10457 SOS 5808 HAS SOPS 5808 HAS SOUS 670 HAS SOUPS 670 WITH SCORE 675.808
AT ITER 7148 NEW BEST:: SOT 10450 SOS 5704 HAS SOPS 5704 HAS SOUS 662 HAS SOUPS 662 WITH SCORE 667.704
AT ITER 7182 NEW BEST:: SOT 10404 SOS 5658 HAS SOPS 5658 HAS SOUS 659 HAS SOUPS 659 WITH SCORE 664.658
AT ITER 7188 NEW BEST:: SOT 10404 SOS 5658 HAS SOPS 5658 HAS SOUS 658 HAS SOUPS 658 WITH SCORE 663.658
AT ITER 7216 NEW BEST:: SOT 10342 SOS 5596 HAS SOPS 5596 HAS SOUS 658 HAS SOUPS 658 WITH SCORE 663.596
AT ITER 7298 NEW BEST:: SOT 10342 SOS 5596 HAS SOPS 5596 HAS SOUS 656 HAS SOUPS 656 WITH SCORE 661.596
AT ITER 7362 NEW BEST:: SOT 10340 SOS 5594 HAS SOPS 5594 HAS SOUS 656 HAS SOUPS 656 WITH SCORE 661.594
AT ITER 7453 NEW BEST:: SOT 10334 SOS 5588 HAS SOPS 5588 HAS SOUS 650 HAS SOUPS 650 WITH SCORE 655.588
AT ITER 7511 NEW BEST:: SOT 10334 SOS 5588 HAS SOPS 5588 HAS SOUS 649 HAS SOUPS 649 WITH SCORE 654.588
AT ITER 7525 NEW BEST:: SOT 10333 SOS 5527 HAS SOPS 5527 HAS SOUS 645 HAS SOUPS 645 WITH SCORE 650.527
AT ITER 7590 NEW BEST:: SOT 10331 SOS 5525 HAS SOPS 5525 HAS SOUS 645 HAS SOUPS 645 WITH SCORE 650.525
AT ITER 7621 NEW BEST:: SOT 10330 SOS 5585 HAS SOPS 5585 HAS SOUS 644 HAS SOUPS 644 WITH SCORE 649.585
AT ITER 7635 NEW BEST:: SOT 10331 SOS 5587 HAS SOPS 5587 HAS SOUS 642 HAS SOUPS 642 WITH SCORE 647.587
AT ITER 8005 NEW BEST:: SOT 10321 SOS 5577 HAS SOPS 5577 HAS SOUS 642 HAS SOUPS 642 WITH SCORE 647.577
AT ITER 8165 NEW BEST:: SOT 10321 SOS 5577 HAS SOPS 5577 HAS SOUS 641 HAS SOUPS 641 WITH SCORE 646.577
AT ITER 8171 NEW BEST:: SOT 10317 SOS 5569 HAS SOPS 5569 HAS SOUS 637 HAS SOUPS 637 WITH SCORE 642.569
AT ITER 8500 NEW BEST:: SOT 10317 SOS 5549 HAS SOPS 5549 HAS SOUS 637 HAS SOUPS 637 WITH SCORE 642.549
AT ITER 8651 NEW BEST:: SOT 10324 SOS 5562 HAS SOPS 5562 HAS SOUS 636 HAS SOUPS 636 WITH SCORE 641.562
AT ITER 8656 NEW BEST:: SOT 10314 SOS 5552 HAS SOPS 5552 HAS SOUS 634 HAS SOUPS 634 WITH SCORE 639.552
AT ITER 8721 NEW BEST:: SOT 10314 SOS 5552 HAS SOPS 5552 HAS SOUS 630 HAS SOUPS 630 WITH SCORE 635.552
AT ITER 8786 NEW BEST:: SOT 10314 SOS 5552 HAS SOPS 5552 HAS SOUS 629 HAS SOUPS 629 WITH SCORE 634.552
AT ITER 8822 NEW BEST:: SOT 10314 SOS 5552 HAS SOPS 5552 HAS SOUS 628 HAS SOUPS 628 WITH SCORE 633.552
AT ITER 8958 NEW BEST:: SOT 10290 SOS 5528 HAS SOPS 5528 HAS SOUS 627 HAS SOUPS 627 WITH SCORE 632.528
AT ITER 9125 NEW BEST:: SOT 10282 SOS 5520 HAS SOPS 5520 HAS SOUS 627 HAS SOUPS 627 WITH SCORE 632.52
AT ITER 9185 NEW BEST:: SOT 10282 SOS 5509 HAS SOPS 5509 HAS SOUS 626 HAS SOUPS 626 WITH SCORE 631.509
AT ITER 9222 NEW BEST:: SOT 10274 SOS 5501 HAS SOPS 5501 HAS SOUS 626 HAS SOUPS 626 WITH SCORE 631.501
AT ITER 9494 NEW BEST:: SOT 10272 SOS 5499 HAS SOPS 5499 HAS SOUS 624 HAS SOUPS 624 WITH SCORE 629.499
AT ITER 9752 NEW BEST:: SOT 10272 SOS 5499 HAS SOPS 5499 HAS SOUS 622 HAS SOUPS 622 WITH SCORE 627.499
STATE_SPACE STATES 308303 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 68 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 1339104 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678730781978

--------------------
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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ 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

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="AirplaneLD-COL-0020"
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 AirplaneLD-COL-0020, 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 r011-oct2-167813599800184"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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