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.r491-tall-167912711200960.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 smartxred
Input is UtilityControlRoom-COL-Z2T3N04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912711200960
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 488K
-rw-r--r-- 1 mcc users 9.4K Feb 26 14:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 26 14:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 26 14:24 CTLFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 26 14:24 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 17:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 25 17:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 17:24 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:24 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 26 14:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 140K Feb 26 14:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Feb 26 14:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 14:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 17:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 29K 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 1679307120277

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=UtilityControlRoom-COL-Z2T3N04
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 10:12:02] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 10:12:02] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 10:12:02] [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-20 10:12:02] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-20 10:12:03] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 724 ms
[2023-03-20 10:12:03] [INFO ] Imported 13 HL places and 12 HL transitions for a total of 72 PT places and 108.0 transition bindings in 15 ms.
[2023-03-20 10:12:03] [INFO ] Unfolded HLPN to a Petri net with 72 places and 108 transitions 340 arcs in 14 ms.
[2023-03-20 10:12:03] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-20 10:12:03] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 72 places, 108 transitions and 340 arcs took 3 ms.
Total runtime 863 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (COL), instance Z2T3N04
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: 72 places, 108 transitions, 340 arcs.
AT ITER 0 NEW BEST:: SOT 6082 SOS 4473 HAS SOPS 4473 HAS SOUS 2985 HAS SOUPS 2985 WITH SCORE 2989.473
AT ITER 1 NEW BEST:: SOT 6082 SOS 4451 HAS SOPS 4451 HAS SOUS 2970 HAS SOUPS 2970 WITH SCORE 2974.451
AT ITER 6 NEW BEST:: SOT 6082 SOS 4401 HAS SOPS 4401 HAS SOUS 2943 HAS SOUPS 2943 WITH SCORE 2947.401
AT ITER 8 NEW BEST:: SOT 6052 SOS 4356 HAS SOPS 4356 HAS SOUS 2891 HAS SOUPS 2891 WITH SCORE 2895.356
AT ITER 9 NEW BEST:: SOT 5932 SOS 4301 HAS SOPS 4301 HAS SOUS 2793 HAS SOUPS 2793 WITH SCORE 2797.301
AT ITER 12 NEW BEST:: SOT 5925 SOS 4309 HAS SOPS 4309 HAS SOUS 2769 HAS SOUPS 2769 WITH SCORE 2773.309
AT ITER 13 NEW BEST:: SOT 5905 SOS 4246 HAS SOPS 4246 HAS SOUS 2719 HAS SOUPS 2719 WITH SCORE 2723.246
AT ITER 15 NEW BEST:: SOT 5632 SOS 3973 HAS SOPS 3973 HAS SOUS 2557 HAS SOUPS 2557 WITH SCORE 2560.973
AT ITER 19 NEW BEST:: SOT 5620 SOS 3961 HAS SOPS 3961 HAS SOUS 2533 HAS SOUPS 2533 WITH SCORE 2536.961
AT ITER 20 NEW BEST:: SOT 5613 SOS 3980 HAS SOPS 3980 HAS SOUS 2522 HAS SOUPS 2522 WITH SCORE 2525.98
AT ITER 21 NEW BEST:: SOT 5596 SOS 3963 HAS SOPS 3963 HAS SOUS 2488 HAS SOUPS 2488 WITH SCORE 2491.963
AT ITER 37 NEW BEST:: SOT 5600 SOS 3971 HAS SOPS 3971 HAS SOUS 2484 HAS SOUPS 2484 WITH SCORE 2487.971
AT ITER 38 NEW BEST:: SOT 5600 SOS 3971 HAS SOPS 3971 HAS SOUS 2481 HAS SOUPS 2481 WITH SCORE 2484.971
AT ITER 39 NEW BEST:: SOT 5570 SOS 3912 HAS SOPS 3912 HAS SOUS 2445 HAS SOUPS 2445 WITH SCORE 2448.912
AT ITER 43 NEW BEST:: SOT 5570 SOS 3912 HAS SOPS 3912 HAS SOUS 2443 HAS SOUPS 2443 WITH SCORE 2446.912
AT ITER 46 NEW BEST:: SOT 5561 SOS 3894 HAS SOPS 3894 HAS SOUS 2407 HAS SOUPS 2407 WITH SCORE 2410.894
AT ITER 47 NEW BEST:: SOT 5536 SOS 3844 HAS SOPS 3844 HAS SOUS 2294 HAS SOUPS 2294 WITH SCORE 2297.844
AT ITER 48 NEW BEST:: SOT 5547 SOS 3850 HAS SOPS 3850 HAS SOUS 2290 HAS SOUPS 2290 WITH SCORE 2293.85
AT ITER 50 NEW BEST:: SOT 5537 SOS 3840 HAS SOPS 3840 HAS SOUS 2280 HAS SOUPS 2280 WITH SCORE 2283.84
AT ITER 52 NEW BEST:: SOT 5570 SOS 3834 HAS SOPS 3834 HAS SOUS 2267 HAS SOUPS 2267 WITH SCORE 2270.834
AT ITER 55 NEW BEST:: SOT 5585 SOS 3845 HAS SOPS 3845 HAS SOUS 2266 HAS SOUPS 2266 WITH SCORE 2269.845
AT ITER 59 NEW BEST:: SOT 5598 SOS 3845 HAS SOPS 3845 HAS SOUS 2260 HAS SOUPS 2260 WITH SCORE 2263.845
AT ITER 61 NEW BEST:: SOT 5594 SOS 3837 HAS SOPS 3837 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2246.837
AT ITER 63 NEW BEST:: SOT 5584 SOS 3827 HAS SOPS 3827 HAS SOUS 2236 HAS SOUPS 2236 WITH SCORE 2239.827
AT ITER 65 NEW BEST:: SOT 5579 SOS 3817 HAS SOPS 3817 HAS SOUS 2231 HAS SOUPS 2231 WITH SCORE 2234.817
AT ITER 67 NEW BEST:: SOT 5572 SOS 3779 HAS SOPS 3779 HAS SOUS 2229 HAS SOUPS 2229 WITH SCORE 2232.779
AT ITER 69 NEW BEST:: SOT 5557 SOS 3753 HAS SOPS 3753 HAS SOUS 2212 HAS SOUPS 2212 WITH SCORE 2215.753
AT ITER 72 NEW BEST:: SOT 5564 SOS 3764 HAS SOPS 3764 HAS SOUS 2207 HAS SOUPS 2207 WITH SCORE 2210.764
AT ITER 76 NEW BEST:: SOT 5548 SOS 3700 HAS SOPS 3700 HAS SOUS 2178 HAS SOUPS 2178 WITH SCORE 2181.7
AT ITER 78 NEW BEST:: SOT 5547 SOS 3690 HAS SOPS 3690 HAS SOUS 2175 HAS SOUPS 2175 WITH SCORE 2178.69
AT ITER 80 NEW BEST:: SOT 5540 SOS 3683 HAS SOPS 3683 HAS SOUS 2165 HAS SOUPS 2165 WITH SCORE 2168.683
AT ITER 88 NEW BEST:: SOT 5548 SOS 3767 HAS SOPS 3767 HAS SOUS 2147 HAS SOUPS 2147 WITH SCORE 2150.767
AT ITER 92 NEW BEST:: SOT 5550 SOS 3771 HAS SOPS 3771 HAS SOUS 2122 HAS SOUPS 2122 WITH SCORE 2125.771
AT ITER 93 NEW BEST:: SOT 5587 SOS 3261 HAS SOPS 3261 HAS SOUS 2117 HAS SOUPS 2117 WITH SCORE 2120.261
AT ITER 97 NEW BEST:: SOT 5575 SOS 3309 HAS SOPS 3309 HAS SOUS 2112 HAS SOUPS 2112 WITH SCORE 2115.309
AT ITER 103 NEW BEST:: SOT 5616 SOS 3371 HAS SOPS 3371 HAS SOUS 2109 HAS SOUPS 2109 WITH SCORE 2112.371
AT ITER 109 NEW BEST:: SOT 5604 SOS 3359 HAS SOPS 3359 HAS SOUS 2100 HAS SOUPS 2100 WITH SCORE 2103.359
AT ITER 110 NEW BEST:: SOT 5600 SOS 3273 HAS SOPS 3273 HAS SOUS 2046 HAS SOUPS 2046 WITH SCORE 2049.273
AT ITER 111 NEW BEST:: SOT 5579 SOS 3081 HAS SOPS 3081 HAS SOUS 2004 HAS SOUPS 2004 WITH SCORE 2007.081
AT ITER 112 NEW BEST:: SOT 5568 SOS 3053 HAS SOPS 3053 HAS SOUS 1979 HAS SOUPS 1979 WITH SCORE 1982.053
AT ITER 113 NEW BEST:: SOT 5459 SOS 2964 HAS SOPS 2964 HAS SOUS 1899 HAS SOUPS 1899 WITH SCORE 1901.964
AT ITER 122 NEW BEST:: SOT 5459 SOS 2977 HAS SOPS 2977 HAS SOUS 1886 HAS SOUPS 1886 WITH SCORE 1888.977
AT ITER 124 NEW BEST:: SOT 5454 SOS 2965 HAS SOPS 2965 HAS SOUS 1879 HAS SOUPS 1879 WITH SCORE 1881.965
AT ITER 131 NEW BEST:: SOT 5460 SOS 2971 HAS SOPS 2971 HAS SOUS 1870 HAS SOUPS 1870 WITH SCORE 1872.971
AT ITER 136 NEW BEST:: SOT 5378 SOS 2868 HAS SOPS 2868 HAS SOUS 1804 HAS SOUPS 1804 WITH SCORE 1806.868
AT ITER 138 NEW BEST:: SOT 5379 SOS 2867 HAS SOPS 2867 HAS SOUS 1804 HAS SOUPS 1804 WITH SCORE 1806.867
AT ITER 162 NEW BEST:: SOT 5361 SOS 2814 HAS SOPS 2814 HAS SOUS 1762 HAS SOUPS 1762 WITH SCORE 1764.814
AT ITER 169 NEW BEST:: SOT 5362 SOS 2816 HAS SOPS 2816 HAS SOUS 1761 HAS SOUPS 1761 WITH SCORE 1763.816
AT ITER 171 NEW BEST:: SOT 5351 SOS 2806 HAS SOPS 2806 HAS SOUS 1750 HAS SOUPS 1750 WITH SCORE 1752.806
AT ITER 176 NEW BEST:: SOT 5346 SOS 2793 HAS SOPS 2793 HAS SOUS 1749 HAS SOUPS 1749 WITH SCORE 1751.793
AT ITER 177 NEW BEST:: SOT 5331 SOS 2769 HAS SOPS 2769 HAS SOUS 1742 HAS SOUPS 1742 WITH SCORE 1744.769
AT ITER 181 NEW BEST:: SOT 5306 SOS 2759 HAS SOPS 2759 HAS SOUS 1722 HAS SOUPS 1722 WITH SCORE 1724.759
AT ITER 184 NEW BEST:: SOT 5310 SOS 2592 HAS SOPS 2592 HAS SOUS 1711 HAS SOUPS 1711 WITH SCORE 1713.592
AT ITER 185 NEW BEST:: SOT 5296 SOS 2567 HAS SOPS 2567 HAS SOUS 1693 HAS SOUPS 1693 WITH SCORE 1695.567
AT ITER 189 NEW BEST:: SOT 5284 SOS 2557 HAS SOPS 2557 HAS SOUS 1687 HAS SOUPS 1687 WITH SCORE 1689.557
AT ITER 200 NEW BEST:: SOT 5267 SOS 2521 HAS SOPS 2521 HAS SOUS 1681 HAS SOUPS 1681 WITH SCORE 1683.521
AT ITER 201 NEW BEST:: SOT 5253 SOS 2486 HAS SOPS 2486 HAS SOUS 1653 HAS SOUPS 1653 WITH SCORE 1655.486
AT ITER 202 NEW BEST:: SOT 5252 SOS 2491 HAS SOPS 2491 HAS SOUS 1652 HAS SOUPS 1652 WITH SCORE 1654.491
AT ITER 225 NEW BEST:: SOT 5242 SOS 2496 HAS SOPS 2496 HAS SOUS 1648 HAS SOUPS 1648 WITH SCORE 1650.496
AT ITER 227 NEW BEST:: SOT 5235 SOS 2498 HAS SOPS 2498 HAS SOUS 1645 HAS SOUPS 1645 WITH SCORE 1647.498
AT ITER 248 NEW BEST:: SOT 5203 SOS 2499 HAS SOPS 2499 HAS SOUS 1635 HAS SOUPS 1635 WITH SCORE 1637.499
AT ITER 250 NEW BEST:: SOT 5179 SOS 2529 HAS SOPS 2529 HAS SOUS 1632 HAS SOUPS 1632 WITH SCORE 1634.529
AT ITER 263 NEW BEST:: SOT 5164 SOS 2457 HAS SOPS 2457 HAS SOUS 1568 HAS SOUPS 1568 WITH SCORE 1570.457
AT ITER 265 NEW BEST:: SOT 5164 SOS 2455 HAS SOPS 2455 HAS SOUS 1567 HAS SOUPS 1567 WITH SCORE 1569.455
AT ITER 268 NEW BEST:: SOT 5146 SOS 2421 HAS SOPS 2421 HAS SOUS 1557 HAS SOUPS 1557 WITH SCORE 1559.421
AT ITER 271 NEW BEST:: SOT 5146 SOS 2421 HAS SOPS 2421 HAS SOUS 1556 HAS SOUPS 1556 WITH SCORE 1558.421
AT ITER 279 NEW BEST:: SOT 5051 SOS 2322 HAS SOPS 2322 HAS SOUS 1473 HAS SOUPS 1473 WITH SCORE 1475.322
AT ITER 287 NEW BEST:: SOT 5048 SOS 2318 HAS SOPS 2318 HAS SOUS 1469 HAS SOUPS 1469 WITH SCORE 1471.318
AT ITER 302 NEW BEST:: SOT 5047 SOS 2313 HAS SOPS 2313 HAS SOUS 1462 HAS SOUPS 1462 WITH SCORE 1464.313
AT ITER 305 NEW BEST:: SOT 5052 SOS 2288 HAS SOPS 2288 HAS SOUS 1450 HAS SOUPS 1450 WITH SCORE 1452.288
AT ITER 312 NEW BEST:: SOT 5050 SOS 2298 HAS SOPS 2298 HAS SOUS 1449 HAS SOUPS 1449 WITH SCORE 1451.298
AT ITER 316 NEW BEST:: SOT 5049 SOS 2290 HAS SOPS 2290 HAS SOUS 1445 HAS SOUPS 1445 WITH SCORE 1447.29
AT ITER 317 NEW BEST:: SOT 5046 SOS 2285 HAS SOPS 2285 HAS SOUS 1442 HAS SOUPS 1442 WITH SCORE 1444.285
AT ITER 352 NEW BEST:: SOT 5054 SOS 2285 HAS SOPS 2285 HAS SOUS 1432 HAS SOUPS 1432 WITH SCORE 1434.285
AT ITER 355 NEW BEST:: SOT 5053 SOS 2281 HAS SOPS 2281 HAS SOUS 1430 HAS SOUPS 1430 WITH SCORE 1432.281
AT ITER 357 NEW BEST:: SOT 5053 SOS 2280 HAS SOPS 2280 HAS SOUS 1429 HAS SOUPS 1429 WITH SCORE 1431.28
AT ITER 365 NEW BEST:: SOT 5045 SOS 2261 HAS SOPS 2261 HAS SOUS 1411 HAS SOUPS 1411 WITH SCORE 1413.261
AT ITER 374 NEW BEST:: SOT 5046 SOS 2240 HAS SOPS 2240 HAS SOUS 1410 HAS SOUPS 1410 WITH SCORE 1412.24
AT ITER 375 NEW BEST:: SOT 5029 SOS 2232 HAS SOPS 2232 HAS SOUS 1402 HAS SOUPS 1402 WITH SCORE 1404.232
AT ITER 377 NEW BEST:: SOT 5026 SOS 2229 HAS SOPS 2229 HAS SOUS 1399 HAS SOUPS 1399 WITH SCORE 1401.229
AT ITER 405 NEW BEST:: SOT 5023 SOS 2226 HAS SOPS 2226 HAS SOUS 1396 HAS SOUPS 1396 WITH SCORE 1398.226
AT ITER 420 NEW BEST:: SOT 5016 SOS 2183 HAS SOPS 2183 HAS SOUS 1396 HAS SOUPS 1396 WITH SCORE 1398.183
AT ITER 427 NEW BEST:: SOT 5029 SOS 2195 HAS SOPS 2195 HAS SOUS 1392 HAS SOUPS 1392 WITH SCORE 1394.195
AT ITER 454 NEW BEST:: SOT 5014 SOS 2116 HAS SOPS 2116 HAS SOUS 1335 HAS SOUPS 1335 WITH SCORE 1337.116
AT ITER 457 NEW BEST:: SOT 5009 SOS 2110 HAS SOPS 2110 HAS SOUS 1332 HAS SOUPS 1332 WITH SCORE 1334.11
AT ITER 469 NEW BEST:: SOT 5008 SOS 2106 HAS SOPS 2106 HAS SOUS 1328 HAS SOUPS 1328 WITH SCORE 1330.106
AT ITER 496 NEW BEST:: SOT 5002 SOS 2100 HAS SOPS 2100 HAS SOUS 1325 HAS SOUPS 1325 WITH SCORE 1327.1
AT ITER 505 NEW BEST:: SOT 5005 SOS 2103 HAS SOPS 2103 HAS SOUS 1324 HAS SOUPS 1324 WITH SCORE 1326.103
AT ITER 511 NEW BEST:: SOT 5002 SOS 2096 HAS SOPS 2096 HAS SOUS 1319 HAS SOUPS 1319 WITH SCORE 1321.096
AT ITER 512 NEW BEST:: SOT 5005 SOS 2086 HAS SOPS 2086 HAS SOUS 1317 HAS SOUPS 1317 WITH SCORE 1319.086
AT ITER 513 NEW BEST:: SOT 4990 SOS 2062 HAS SOPS 2062 HAS SOUS 1293 HAS SOUPS 1293 WITH SCORE 1295.062
AT ITER 517 NEW BEST:: SOT 4992 SOS 2066 HAS SOPS 2066 HAS SOUS 1287 HAS SOUPS 1287 WITH SCORE 1289.066
AT ITER 533 NEW BEST:: SOT 4985 SOS 2042 HAS SOPS 2042 HAS SOUS 1274 HAS SOUPS 1274 WITH SCORE 1276.042
AT ITER 535 NEW BEST:: SOT 4983 SOS 2040 HAS SOPS 2040 HAS SOUS 1272 HAS SOUPS 1272 WITH SCORE 1274.04
AT ITER 542 NEW BEST:: SOT 4983 SOS 2026 HAS SOPS 2026 HAS SOUS 1265 HAS SOUPS 1265 WITH SCORE 1267.026
AT ITER 546 NEW BEST:: SOT 4979 SOS 2014 HAS SOPS 2014 HAS SOUS 1262 HAS SOUPS 1262 WITH SCORE 1264.014
AT ITER 550 NEW BEST:: SOT 4967 SOS 1998 HAS SOPS 1998 HAS SOUS 1242 HAS SOUPS 1242 WITH SCORE 1243.998
AT ITER 560 NEW BEST:: SOT 4953 SOS 1968 HAS SOPS 1968 HAS SOUS 1219 HAS SOUPS 1219 WITH SCORE 1220.968
AT ITER 566 NEW BEST:: SOT 4954 SOS 1951 HAS SOPS 1951 HAS SOUS 1215 HAS SOUPS 1215 WITH SCORE 1216.951
AT ITER 587 NEW BEST:: SOT 4965 SOS 1913 HAS SOPS 1913 HAS SOUS 1213 HAS SOUPS 1213 WITH SCORE 1214.913
AT ITER 599 NEW BEST:: SOT 4964 SOS 1910 HAS SOPS 1910 HAS SOUS 1212 HAS SOUPS 1212 WITH SCORE 1213.91
AT ITER 604 NEW BEST:: SOT 4961 SOS 1902 HAS SOPS 1902 HAS SOUS 1207 HAS SOUPS 1207 WITH SCORE 1208.902
AT ITER 622 NEW BEST:: SOT 4957 SOS 1911 HAS SOPS 1911 HAS SOUS 1201 HAS SOUPS 1201 WITH SCORE 1202.911
AT ITER 634 NEW BEST:: SOT 4955 SOS 1907 HAS SOPS 1907 HAS SOUS 1194 HAS SOUPS 1194 WITH SCORE 1195.907
AT ITER 637 NEW BEST:: SOT 4949 SOS 1898 HAS SOPS 1898 HAS SOUS 1191 HAS SOUPS 1191 WITH SCORE 1192.898
AT ITER 661 NEW BEST:: SOT 4944 SOS 1894 HAS SOPS 1894 HAS SOUS 1191 HAS SOUPS 1191 WITH SCORE 1192.894
AT ITER 673 NEW BEST:: SOT 4933 SOS 1882 HAS SOPS 1882 HAS SOUS 1179 HAS SOUPS 1179 WITH SCORE 1180.882
AT ITER 708 NEW BEST:: SOT 4936 SOS 1871 HAS SOPS 1871 HAS SOUS 1176 HAS SOUPS 1176 WITH SCORE 1177.871
AT ITER 714 NEW BEST:: SOT 4939 SOS 1883 HAS SOPS 1883 HAS SOUS 1174 HAS SOUPS 1174 WITH SCORE 1175.883
AT ITER 719 NEW BEST:: SOT 4933 SOS 1877 HAS SOPS 1877 HAS SOUS 1168 HAS SOUPS 1168 WITH SCORE 1169.877
AT ITER 753 NEW BEST:: SOT 4930 SOS 1874 HAS SOPS 1874 HAS SOUS 1165 HAS SOUPS 1165 WITH SCORE 1166.874
AT ITER 782 NEW BEST:: SOT 4943 SOS 1873 HAS SOPS 1873 HAS SOUS 1164 HAS SOUPS 1164 WITH SCORE 1165.873
AT ITER 794 NEW BEST:: SOT 4939 SOS 1865 HAS SOPS 1865 HAS SOUS 1164 HAS SOUPS 1164 WITH SCORE 1165.865
AT ITER 810 NEW BEST:: SOT 4935 SOS 1858 HAS SOPS 1858 HAS SOUS 1159 HAS SOUPS 1159 WITH SCORE 1160.858
AT ITER 856 NEW BEST:: SOT 4938 SOS 1856 HAS SOPS 1856 HAS SOUS 1157 HAS SOUPS 1157 WITH SCORE 1158.856
AT ITER 919 NEW BEST:: SOT 4931 SOS 1852 HAS SOPS 1852 HAS SOUS 1151 HAS SOUPS 1151 WITH SCORE 1152.852
AT ITER 922 NEW BEST:: SOT 4925 SOS 1848 HAS SOPS 1848 HAS SOUS 1149 HAS SOUPS 1149 WITH SCORE 1150.848
AT ITER 930 NEW BEST:: SOT 4924 SOS 1846 HAS SOPS 1846 HAS SOUS 1147 HAS SOUPS 1147 WITH SCORE 1148.846
AT ITER 942 NEW BEST:: SOT 4910 SOS 1846 HAS SOPS 1846 HAS SOUS 1126 HAS SOUPS 1126 WITH SCORE 1127.846
AT ITER 945 NEW BEST:: SOT 4910 SOS 1842 HAS SOPS 1842 HAS SOUS 1122 HAS SOUPS 1122 WITH SCORE 1123.842
AT ITER 969 NEW BEST:: SOT 4910 SOS 1839 HAS SOPS 1839 HAS SOUS 1120 HAS SOUPS 1120 WITH SCORE 1121.839
AT ITER 981 NEW BEST:: SOT 4910 SOS 1839 HAS SOPS 1839 HAS SOUS 1117 HAS SOUPS 1117 WITH SCORE 1118.839
AT ITER 982 NEW BEST:: SOT 4903 SOS 1828 HAS SOPS 1828 HAS SOUS 1109 HAS SOUPS 1109 WITH SCORE 1110.828
AT ITER 1023 NEW BEST:: SOT 4905 SOS 1826 HAS SOPS 1826 HAS SOUS 1107 HAS SOUPS 1107 WITH SCORE 1108.826
AT ITER 1055 NEW BEST:: SOT 4893 SOS 1815 HAS SOPS 1815 HAS SOUS 1099 HAS SOUPS 1099 WITH SCORE 1100.815
AT ITER 1073 NEW BEST:: SOT 4891 SOS 1813 HAS SOPS 1813 HAS SOUS 1099 HAS SOUPS 1099 WITH SCORE 1100.813
AT ITER 1087 NEW BEST:: SOT 4889 SOS 1811 HAS SOPS 1811 HAS SOUS 1096 HAS SOUPS 1096 WITH SCORE 1097.811
AT ITER 1110 NEW BEST:: SOT 4865 SOS 1874 HAS SOPS 1874 HAS SOUS 1088 HAS SOUPS 1088 WITH SCORE 1089.874
AT ITER 1122 NEW BEST:: SOT 4865 SOS 1872 HAS SOPS 1872 HAS SOUS 1086 HAS SOUPS 1086 WITH SCORE 1087.872
AT ITER 1165 NEW BEST:: SOT 4858 SOS 1859 HAS SOPS 1859 HAS SOUS 1081 HAS SOUPS 1081 WITH SCORE 1082.859
AT ITER 1179 NEW BEST:: SOT 4863 SOS 1863 HAS SOPS 1863 HAS SOUS 1079 HAS SOUPS 1079 WITH SCORE 1080.863
AT ITER 1183 NEW BEST:: SOT 4863 SOS 1861 HAS SOPS 1861 HAS SOUS 1079 HAS SOUPS 1079 WITH SCORE 1080.861
AT ITER 1187 NEW BEST:: SOT 4860 SOS 1855 HAS SOPS 1855 HAS SOUS 1078 HAS SOUPS 1078 WITH SCORE 1079.855
AT ITER 1209 NEW BEST:: SOT 4841 SOS 1816 HAS SOPS 1816 HAS SOUS 1071 HAS SOUPS 1071 WITH SCORE 1072.816
AT ITER 1212 NEW BEST:: SOT 4842 SOS 1816 HAS SOPS 1816 HAS SOUS 1070 HAS SOUPS 1070 WITH SCORE 1071.816
AT ITER 1224 NEW BEST:: SOT 4822 SOS 1812 HAS SOPS 1812 HAS SOUS 1068 HAS SOUPS 1068 WITH SCORE 1069.812
AT ITER 1246 NEW BEST:: SOT 4813 SOS 1801 HAS SOPS 1801 HAS SOUS 1063 HAS SOUPS 1063 WITH SCORE 1064.801
AT ITER 1281 NEW BEST:: SOT 4811 SOS 1800 HAS SOPS 1800 HAS SOUS 1063 HAS SOUPS 1063 WITH SCORE 1064.8
AT ITER 1283 NEW BEST:: SOT 4808 SOS 1794 HAS SOPS 1794 HAS SOUS 1057 HAS SOUPS 1057 WITH SCORE 1058.794
AT ITER 1290 NEW BEST:: SOT 4807 SOS 1793 HAS SOPS 1793 HAS SOUS 1056 HAS SOUPS 1056 WITH SCORE 1057.793
AT ITER 1333 NEW BEST:: SOT 4807 SOS 1787 HAS SOPS 1787 HAS SOUS 1054 HAS SOUPS 1054 WITH SCORE 1055.787
AT ITER 1353 NEW BEST:: SOT 4808 SOS 1788 HAS SOPS 1788 HAS SOUS 1040 HAS SOUPS 1040 WITH SCORE 1041.788
AT ITER 1402 NEW BEST:: SOT 4807 SOS 1783 HAS SOPS 1783 HAS SOUS 1037 HAS SOUPS 1037 WITH SCORE 1038.783
AT ITER 1458 NEW BEST:: SOT 4796 SOS 1772 HAS SOPS 1772 HAS SOUS 1032 HAS SOUPS 1032 WITH SCORE 1033.772
AT ITER 1461 NEW BEST:: SOT 4786 SOS 1762 HAS SOPS 1762 HAS SOUS 1029 HAS SOUPS 1029 WITH SCORE 1030.762
AT ITER 1484 NEW BEST:: SOT 4786 SOS 1754 HAS SOPS 1754 HAS SOUS 1026 HAS SOUPS 1026 WITH SCORE 1027.754
AT ITER 1590 NEW BEST:: SOT 4778 SOS 1750 HAS SOPS 1750 HAS SOUS 1023 HAS SOUPS 1023 WITH SCORE 1024.75
AT ITER 1610 NEW BEST:: SOT 4778 SOS 1746 HAS SOPS 1746 HAS SOUS 1023 HAS SOUPS 1023 WITH SCORE 1024.746
AT ITER 1642 NEW BEST:: SOT 4778 SOS 1743 HAS SOPS 1743 HAS SOUS 1019 HAS SOUPS 1019 WITH SCORE 1020.743
AT ITER 1695 NEW BEST:: SOT 4779 SOS 1760 HAS SOPS 1760 HAS SOUS 1018 HAS SOUPS 1018 WITH SCORE 1019.76
AT ITER 1741 NEW BEST:: SOT 4777 SOS 1758 HAS SOPS 1758 HAS SOUS 1015 HAS SOUPS 1015 WITH SCORE 1016.758
AT ITER 1749 NEW BEST:: SOT 4776 SOS 1758 HAS SOPS 1758 HAS SOUS 1014 HAS SOUPS 1014 WITH SCORE 1015.758
AT ITER 1755 NEW BEST:: SOT 4764 SOS 1747 HAS SOPS 1747 HAS SOUS 1005 HAS SOUPS 1005 WITH SCORE 1006.747
AT ITER 1773 NEW BEST:: SOT 4765 SOS 1755 HAS SOPS 1755 HAS SOUS 1002 HAS SOUPS 1002 WITH SCORE 1003.755
AT ITER 1820 NEW BEST:: SOT 4764 SOS 1754 HAS SOPS 1754 HAS SOUS 1001 HAS SOUPS 1001 WITH SCORE 1002.754
AT ITER 1839 NEW BEST:: SOT 4761 SOS 1757 HAS SOPS 1757 HAS SOUS 1000 HAS SOUPS 1000 WITH SCORE 1001.757
AT ITER 1903 NEW BEST:: SOT 4754 SOS 1742 HAS SOPS 1742 HAS SOUS 997 HAS SOUPS 997 WITH SCORE 998.742
AT ITER 1904 NEW BEST:: SOT 4754 SOS 1742 HAS SOPS 1742 HAS SOUS 995 HAS SOUPS 995 WITH SCORE 996.742
AT ITER 1941 NEW BEST:: SOT 4754 SOS 1741 HAS SOPS 1741 HAS SOUS 994 HAS SOUPS 994 WITH SCORE 995.741
AT ITER 1981 NEW BEST:: SOT 4757 SOS 1744 HAS SOPS 1744 HAS SOUS 993 HAS SOUPS 993 WITH SCORE 994.744
AT ITER 1985 NEW BEST:: SOT 4755 SOS 1751 HAS SOPS 1751 HAS SOUS 992 HAS SOUPS 992 WITH SCORE 993.751
AT ITER 2053 NEW BEST:: SOT 4761 SOS 1745 HAS SOPS 1745 HAS SOUS 988 HAS SOUPS 988 WITH SCORE 989.745
AT ITER 2104 NEW BEST:: SOT 4759 SOS 1742 HAS SOPS 1742 HAS SOUS 987 HAS SOUPS 987 WITH SCORE 988.742
AT ITER 2154 NEW BEST:: SOT 4758 SOS 1739 HAS SOPS 1739 HAS SOUS 985 HAS SOUPS 985 WITH SCORE 986.739
AT ITER 2205 NEW BEST:: SOT 4758 SOS 1738 HAS SOPS 1738 HAS SOUS 985 HAS SOUPS 985 WITH SCORE 986.738
AT ITER 2226 NEW BEST:: SOT 4759 SOS 1733 HAS SOPS 1733 HAS SOUS 981 HAS SOUPS 981 WITH SCORE 982.733
AT ITER 2243 NEW BEST:: SOT 4756 SOS 1727 HAS SOPS 1727 HAS SOUS 975 HAS SOUPS 975 WITH SCORE 976.727
AT ITER 2276 NEW BEST:: SOT 4756 SOS 1725 HAS SOPS 1725 HAS SOUS 975 HAS SOUPS 975 WITH SCORE 976.725
AT ITER 2277 NEW BEST:: SOT 4752 SOS 1721 HAS SOPS 1721 HAS SOUS 973 HAS SOUPS 973 WITH SCORE 974.721
AT ITER 2304 NEW BEST:: SOT 4742 SOS 1738 HAS SOPS 1738 HAS SOUS 972 HAS SOUPS 972 WITH SCORE 973.738
AT ITER 2330 NEW BEST:: SOT 4741 SOS 1736 HAS SOPS 1736 HAS SOUS 970 HAS SOUPS 970 WITH SCORE 971.736
AT ITER 2446 NEW BEST:: SOT 4745 SOS 1738 HAS SOPS 1738 HAS SOUS 966 HAS SOUPS 966 WITH SCORE 967.738
AT ITER 2448 NEW BEST:: SOT 4746 SOS 1737 HAS SOPS 1737 HAS SOUS 965 HAS SOUPS 965 WITH SCORE 966.737
AT ITER 2458 NEW BEST:: SOT 4750 SOS 1747 HAS SOPS 1747 HAS SOUS 964 HAS SOUPS 964 WITH SCORE 965.747
AT ITER 2474 NEW BEST:: SOT 4762 SOS 1785 HAS SOPS 1785 HAS SOUS 962 HAS SOUPS 962 WITH SCORE 963.785
AT ITER 2497 NEW BEST:: SOT 4761 SOS 1783 HAS SOPS 1783 HAS SOUS 961 HAS SOUPS 961 WITH SCORE 962.783
AT ITER 2553 NEW BEST:: SOT 4763 SOS 1785 HAS SOPS 1785 HAS SOUS 959 HAS SOUPS 959 WITH SCORE 960.785
AT ITER 2566 NEW BEST:: SOT 4761 SOS 1781 HAS SOPS 1781 HAS SOUS 956 HAS SOUPS 956 WITH SCORE 957.781
AT ITER 2582 NEW BEST:: SOT 4761 SOS 1780 HAS SOPS 1780 HAS SOUS 955 HAS SOUPS 955 WITH SCORE 956.78
AT ITER 2588 NEW BEST:: SOT 4768 SOS 1786 HAS SOPS 1786 HAS SOUS 953 HAS SOUPS 953 WITH SCORE 954.786
AT ITER 2590 NEW BEST:: SOT 4768 SOS 1780 HAS SOPS 1780 HAS SOUS 953 HAS SOUPS 953 WITH SCORE 954.78
AT ITER 2667 NEW BEST:: SOT 4770 SOS 1782 HAS SOPS 1782 HAS SOUS 949 HAS SOUPS 949 WITH SCORE 950.782
AT ITER 2723 NEW BEST:: SOT 4770 SOS 1779 HAS SOPS 1779 HAS SOUS 948 HAS SOUPS 948 WITH SCORE 949.779
AT ITER 2772 NEW BEST:: SOT 4768 SOS 1775 HAS SOPS 1775 HAS SOUS 945 HAS SOUPS 945 WITH SCORE 946.775
AT ITER 2793 NEW BEST:: SOT 4767 SOS 1780 HAS SOPS 1780 HAS SOUS 944 HAS SOUPS 944 WITH SCORE 945.78
AT ITER 2807 NEW BEST:: SOT 4758 SOS 1768 HAS SOPS 1768 HAS SOUS 944 HAS SOUPS 944 WITH SCORE 945.768
AT ITER 2812 NEW BEST:: SOT 4758 SOS 1768 HAS SOPS 1768 HAS SOUS 943 HAS SOUPS 943 WITH SCORE 944.768
AT ITER 2845 NEW BEST:: SOT 4758 SOS 1766 HAS SOPS 1766 HAS SOUS 942 HAS SOUPS 942 WITH SCORE 943.766
AT ITER 2852 NEW BEST:: SOT 4752 SOS 1762 HAS SOPS 1762 HAS SOUS 938 HAS SOUPS 938 WITH SCORE 939.762
AT ITER 2862 NEW BEST:: SOT 4755 SOS 1774 HAS SOPS 1774 HAS SOUS 937 HAS SOUPS 937 WITH SCORE 938.774
AT ITER 2898 NEW BEST:: SOT 4753 SOS 1770 HAS SOPS 1770 HAS SOUS 933 HAS SOUPS 933 WITH SCORE 934.77
AT ITER 2899 NEW BEST:: SOT 4753 SOS 1766 HAS SOPS 1766 HAS SOUS 929 HAS SOUPS 929 WITH SCORE 930.766
AT ITER 2903 NEW BEST:: SOT 4754 SOS 1765 HAS SOPS 1765 HAS SOUS 929 HAS SOUPS 929 WITH SCORE 930.765
AT ITER 2930 NEW BEST:: SOT 4754 SOS 1764 HAS SOPS 1764 HAS SOUS 929 HAS SOUPS 929 WITH SCORE 930.764
AT ITER 2972 NEW BEST:: SOT 4754 SOS 1763 HAS SOPS 1763 HAS SOUS 928 HAS SOUPS 928 WITH SCORE 929.763
AT ITER 2991 NEW BEST:: SOT 4755 SOS 1763 HAS SOPS 1763 HAS SOUS 927 HAS SOUPS 927 WITH SCORE 928.763
AT ITER 3104 NEW BEST:: SOT 4751 SOS 1760 HAS SOPS 1760 HAS SOUS 919 HAS SOUPS 919 WITH SCORE 920.76
AT ITER 3320 NEW BEST:: SOT 4751 SOS 1760 HAS SOPS 1760 HAS SOUS 918 HAS SOUPS 918 WITH SCORE 919.76
AT ITER 3381 NEW BEST:: SOT 4751 SOS 1750 HAS SOPS 1750 HAS SOUS 918 HAS SOUPS 918 WITH SCORE 919.75
AT ITER 3462 NEW BEST:: SOT 4746 SOS 1733 HAS SOPS 1733 HAS SOUS 917 HAS SOUPS 917 WITH SCORE 918.733
AT ITER 3466 NEW BEST:: SOT 4744 SOS 1725 HAS SOPS 1725 HAS SOUS 914 HAS SOUPS 914 WITH SCORE 915.725
AT ITER 3498 NEW BEST:: SOT 4744 SOS 1717 HAS SOPS 1717 HAS SOUS 914 HAS SOUPS 914 WITH SCORE 915.717
AT ITER 3574 NEW BEST:: SOT 4736 SOS 1709 HAS SOPS 1709 HAS SOUS 909 HAS SOUPS 909 WITH SCORE 910.709
AT ITER 3597 NEW BEST:: SOT 4735 SOS 1707 HAS SOPS 1707 HAS SOUS 909 HAS SOUPS 909 WITH SCORE 910.707
AT ITER 3639 NEW BEST:: SOT 4721 SOS 1823 HAS SOPS 1823 HAS SOUS 905 HAS SOUPS 905 WITH SCORE 906.823
AT ITER 3640 NEW BEST:: SOT 4718 SOS 1822 HAS SOPS 1822 HAS SOUS 905 HAS SOUPS 905 WITH SCORE 906.822
AT ITER 3646 NEW BEST:: SOT 4714 SOS 1818 HAS SOPS 1818 HAS SOUS 901 HAS SOUPS 901 WITH SCORE 902.818
AT ITER 3709 NEW BEST:: SOT 4717 SOS 1777 HAS SOPS 1777 HAS SOUS 899 HAS SOUPS 899 WITH SCORE 900.777
AT ITER 3822 NEW BEST:: SOT 4714 SOS 1768 HAS SOPS 1768 HAS SOUS 899 HAS SOUPS 899 WITH SCORE 900.768
AT ITER 3823 NEW BEST:: SOT 4706 SOS 1750 HAS SOPS 1750 HAS SOUS 896 HAS SOUPS 896 WITH SCORE 897.75
AT ITER 3841 NEW BEST:: SOT 4706 SOS 1749 HAS SOPS 1749 HAS SOUS 896 HAS SOUPS 896 WITH SCORE 897.749
AT ITER 3875 NEW BEST:: SOT 4709 SOS 1752 HAS SOPS 1752 HAS SOUS 895 HAS SOUPS 895 WITH SCORE 896.752
AT ITER 3879 NEW BEST:: SOT 4708 SOS 1751 HAS SOPS 1751 HAS SOUS 893 HAS SOUPS 893 WITH SCORE 894.751
AT ITER 3891 NEW BEST:: SOT 4702 SOS 1745 HAS SOPS 1745 HAS SOUS 890 HAS SOUPS 890 WITH SCORE 891.745
AT ITER 4261 NEW BEST:: SOT 4677 SOS 1766 HAS SOPS 1766 HAS SOUS 881 HAS SOUPS 881 WITH SCORE 882.766
AT ITER 4352 NEW BEST:: SOT 4673 SOS 1762 HAS SOPS 1762 HAS SOUS 879 HAS SOUPS 879 WITH SCORE 880.762
AT ITER 4415 NEW BEST:: SOT 4670 SOS 1759 HAS SOPS 1759 HAS SOUS 877 HAS SOUPS 877 WITH SCORE 878.759
AT ITER 4476 NEW BEST:: SOT 4660 SOS 1749 HAS SOPS 1749 HAS SOUS 875 HAS SOUPS 875 WITH SCORE 876.749
AT ITER 4477 NEW BEST:: SOT 4661 SOS 1748 HAS SOPS 1748 HAS SOUS 875 HAS SOUPS 875 WITH SCORE 876.748
AT ITER 4515 NEW BEST:: SOT 4662 SOS 1744 HAS SOPS 1744 HAS SOUS 875 HAS SOUPS 875 WITH SCORE 876.744
AT ITER 4924 NEW BEST:: SOT 4665 SOS 1751 HAS SOPS 1751 HAS SOUS 874 HAS SOUPS 874 WITH SCORE 875.751
AT ITER 4970 NEW BEST:: SOT 4665 SOS 1749 HAS SOPS 1749 HAS SOUS 873 HAS SOUPS 873 WITH SCORE 874.749
AT ITER 5064 NEW BEST:: SOT 4663 SOS 1747 HAS SOPS 1747 HAS SOUS 871 HAS SOUPS 871 WITH SCORE 872.747
AT ITER 5086 NEW BEST:: SOT 4661 SOS 1743 HAS SOPS 1743 HAS SOUS 869 HAS SOUPS 869 WITH SCORE 870.743
AT ITER 5146 NEW BEST:: SOT 4658 SOS 1736 HAS SOPS 1736 HAS SOUS 864 HAS SOUPS 864 WITH SCORE 865.736
AT ITER 5285 NEW BEST:: SOT 4660 SOS 1727 HAS SOPS 1727 HAS SOUS 863 HAS SOUPS 863 WITH SCORE 864.727
AT ITER 5294 NEW BEST:: SOT 4660 SOS 1725 HAS SOPS 1725 HAS SOUS 863 HAS SOUPS 863 WITH SCORE 864.725
AT ITER 5432 NEW BEST:: SOT 4637 SOS 1756 HAS SOPS 1756 HAS SOUS 849 HAS SOUPS 849 WITH SCORE 850.756
AT ITER 5487 NEW BEST:: SOT 4603 SOS 1722 HAS SOPS 1722 HAS SOUS 824 HAS SOUPS 824 WITH SCORE 825.722
AT ITER 5492 NEW BEST:: SOT 4602 SOS 1719 HAS SOPS 1719 HAS SOUS 822 HAS SOUPS 822 WITH SCORE 823.719
AT ITER 5518 NEW BEST:: SOT 4599 SOS 1713 HAS SOPS 1713 HAS SOUS 819 HAS SOUPS 819 WITH SCORE 820.713
AT ITER 5878 NEW BEST:: SOT 4601 SOS 1715 HAS SOPS 1715 HAS SOUS 818 HAS SOUPS 818 WITH SCORE 819.715
AT ITER 5953 NEW BEST:: SOT 4581 SOS 1807 HAS SOPS 1807 HAS SOUS 815 HAS SOUPS 815 WITH SCORE 816.807
AT ITER 6033 NEW BEST:: SOT 4580 SOS 1807 HAS SOPS 1807 HAS SOUS 813 HAS SOUPS 813 WITH SCORE 814.807
AT ITER 6101 NEW BEST:: SOT 4564 SOS 1793 HAS SOPS 1793 HAS SOUS 804 HAS SOUPS 804 WITH SCORE 805.793
AT ITER 6111 NEW BEST:: SOT 4563 SOS 1790 HAS SOPS 1790 HAS SOUS 802 HAS SOUPS 802 WITH SCORE 803.79
AT ITER 6122 NEW BEST:: SOT 4564 SOS 1776 HAS SOPS 1776 HAS SOUS 802 HAS SOUPS 802 WITH SCORE 803.776
AT ITER 6428 NEW BEST:: SOT 4564 SOS 1775 HAS SOPS 1775 HAS SOUS 802 HAS SOUPS 802 WITH SCORE 803.775
AT ITER 6520 NEW BEST:: SOT 4561 SOS 1770 HAS SOPS 1770 HAS SOUS 800 HAS SOUPS 800 WITH SCORE 801.77
AT ITER 6710 NEW BEST:: SOT 4560 SOS 1769 HAS SOPS 1769 HAS SOUS 799 HAS SOUPS 799 WITH SCORE 800.769
AT ITER 6806 NEW BEST:: SOT 4557 SOS 1766 HAS SOPS 1766 HAS SOUS 797 HAS SOUPS 797 WITH SCORE 798.766
AT ITER 7140 NEW BEST:: SOT 4557 SOS 1765 HAS SOPS 1765 HAS SOUS 797 HAS SOUPS 797 WITH SCORE 798.765
AT ITER 7257 NEW BEST:: SOT 4556 SOS 1761 HAS SOPS 1761 HAS SOUS 795 HAS SOUPS 795 WITH SCORE 796.761
AT ITER 7292 NEW BEST:: SOT 4556 SOS 1759 HAS SOPS 1759 HAS SOUS 794 HAS SOUPS 794 WITH SCORE 795.759
AT ITER 7953 NEW BEST:: SOT 4556 SOS 1757 HAS SOPS 1757 HAS SOUS 794 HAS SOUPS 794 WITH SCORE 795.757
AT ITER 8364 NEW BEST:: SOT 4559 SOS 1759 HAS SOPS 1759 HAS SOUS 793 HAS SOUPS 793 WITH SCORE 794.759
AT ITER 8365 NEW BEST:: SOT 4558 SOS 1758 HAS SOPS 1758 HAS SOUS 792 HAS SOUPS 792 WITH SCORE 793.758
AT ITER 9125 NEW BEST:: SOT 4556 SOS 1756 HAS SOPS 1756 HAS SOUS 792 HAS SOUPS 792 WITH SCORE 793.756
AT ITER 9189 NEW BEST:: SOT 4557 SOS 1746 HAS SOPS 1746 HAS SOUS 790 HAS SOUPS 790 WITH SCORE 791.746
AT ITER 9272 NEW BEST:: SOT 4558 SOS 1742 HAS SOPS 1742 HAS SOUS 788 HAS SOUPS 788 WITH SCORE 789.742
AT ITER 9333 NEW BEST:: SOT 4557 SOS 1741 HAS SOPS 1741 HAS SOUS 788 HAS SOUPS 788 WITH SCORE 789.741
AT ITER 9906 NEW BEST:: SOT 4557 SOS 1740 HAS SOPS 1740 HAS SOUS 788 HAS SOUPS 788 WITH SCORE 789.74
STATE_SPACE STATES 208341 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 4 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 17 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 1393748 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679307127331

--------------------
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//
++ perl -pe 's/.*\.//g'
++ 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="UtilityControlRoom-COL-Z2T3N04"
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 UtilityControlRoom-COL-Z2T3N04, 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 r491-tall-167912711200960"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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