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-167912711201000.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-Z2T4N04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912711201000
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 516K
-rw-r--r-- 1 mcc users 8.6K Feb 26 14:25 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 26 14:25 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 14:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 14:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 17:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Feb 25 17:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 14:29 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 111K Feb 26 14:29 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 26 14:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 104K Feb 26 14:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 17:25 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 1679307327654

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-Z2T4N04
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 10:15:29] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 10:15:29] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 10:15:29] [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:15:29] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-20 10:15:30] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 495 ms
[2023-03-20 10:15:30] [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:15:30] [INFO ] Unfolded HLPN to a Petri net with 72 places and 108 transitions 340 arcs in 14 ms.
[2023-03-20 10:15:30] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-20 10:15:30] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 72 places, 108 transitions and 340 arcs took 4 ms.
Total runtime 622 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (COL), instance Z2T4N04
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 6015 SOS 4418 HAS SOPS 4418 HAS SOUS 2927 HAS SOUPS 2927 WITH SCORE 2931.418
AT ITER 3 NEW BEST:: SOT 5998 SOS 4342 HAS SOPS 4342 HAS SOUS 2870 HAS SOUPS 2870 WITH SCORE 2874.342
AT ITER 4 NEW BEST:: SOT 5981 SOS 4254 HAS SOPS 4254 HAS SOUS 2809 HAS SOUPS 2809 WITH SCORE 2813.254
AT ITER 5 NEW BEST:: SOT 5742 SOS 4022 HAS SOPS 4022 HAS SOUS 2667 HAS SOUPS 2667 WITH SCORE 2671.022
AT ITER 6 NEW BEST:: SOT 5740 SOS 4018 HAS SOPS 4018 HAS SOUS 2652 HAS SOUPS 2652 WITH SCORE 2656.018
AT ITER 7 NEW BEST:: SOT 5740 SOS 3970 HAS SOPS 3970 HAS SOUS 2626 HAS SOUPS 2626 WITH SCORE 2629.97
AT ITER 9 NEW BEST:: SOT 5721 SOS 3994 HAS SOPS 3994 HAS SOUS 2604 HAS SOUPS 2604 WITH SCORE 2607.994
AT ITER 11 NEW BEST:: SOT 5393 SOS 3705 HAS SOPS 3705 HAS SOUS 2422 HAS SOUPS 2422 WITH SCORE 2425.705
AT ITER 14 NEW BEST:: SOT 5424 SOS 3711 HAS SOPS 3711 HAS SOUS 2407 HAS SOUPS 2407 WITH SCORE 2410.711
AT ITER 16 NEW BEST:: SOT 5417 SOS 3704 HAS SOPS 3704 HAS SOUS 2358 HAS SOUPS 2358 WITH SCORE 2361.704
AT ITER 18 NEW BEST:: SOT 5405 SOS 3705 HAS SOPS 3705 HAS SOUS 2331 HAS SOUPS 2331 WITH SCORE 2334.705
AT ITER 19 NEW BEST:: SOT 5405 SOS 3705 HAS SOPS 3705 HAS SOUS 2327 HAS SOUPS 2327 WITH SCORE 2330.705
AT ITER 21 NEW BEST:: SOT 5392 SOS 3655 HAS SOPS 3655 HAS SOUS 2321 HAS SOUPS 2321 WITH SCORE 2324.655
AT ITER 22 NEW BEST:: SOT 5387 SOS 3521 HAS SOPS 3521 HAS SOUS 2320 HAS SOUPS 2320 WITH SCORE 2323.521
AT ITER 26 NEW BEST:: SOT 5371 SOS 3506 HAS SOPS 3506 HAS SOUS 2303 HAS SOUPS 2303 WITH SCORE 2306.506
AT ITER 27 NEW BEST:: SOT 5371 SOS 3481 HAS SOPS 3481 HAS SOUS 2303 HAS SOUPS 2303 WITH SCORE 2306.481
AT ITER 30 NEW BEST:: SOT 5371 SOS 3481 HAS SOPS 3481 HAS SOUS 2276 HAS SOUPS 2276 WITH SCORE 2279.481
AT ITER 37 NEW BEST:: SOT 5359 SOS 3461 HAS SOPS 3461 HAS SOUS 2258 HAS SOUPS 2258 WITH SCORE 2261.461
AT ITER 38 NEW BEST:: SOT 5358 SOS 3499 HAS SOPS 3499 HAS SOUS 2253 HAS SOUPS 2253 WITH SCORE 2256.499
AT ITER 41 NEW BEST:: SOT 5327 SOS 3449 HAS SOPS 3449 HAS SOUS 2209 HAS SOUPS 2209 WITH SCORE 2212.449
AT ITER 44 NEW BEST:: SOT 5318 SOS 3424 HAS SOPS 3424 HAS SOUS 2187 HAS SOUPS 2187 WITH SCORE 2190.424
AT ITER 45 NEW BEST:: SOT 5303 SOS 3382 HAS SOPS 3382 HAS SOUS 2150 HAS SOUPS 2150 WITH SCORE 2153.382
AT ITER 46 NEW BEST:: SOT 5302 SOS 3352 HAS SOPS 3352 HAS SOUS 2145 HAS SOUPS 2145 WITH SCORE 2148.352
AT ITER 47 NEW BEST:: SOT 5285 SOS 3325 HAS SOPS 3325 HAS SOUS 2137 HAS SOUPS 2137 WITH SCORE 2140.325
AT ITER 54 NEW BEST:: SOT 5223 SOS 3281 HAS SOPS 3281 HAS SOUS 2129 HAS SOUPS 2129 WITH SCORE 2132.281
AT ITER 56 NEW BEST:: SOT 5231 SOS 3289 HAS SOPS 3289 HAS SOUS 2108 HAS SOUPS 2108 WITH SCORE 2111.289
AT ITER 58 NEW BEST:: SOT 5239 SOS 3295 HAS SOPS 3295 HAS SOUS 2099 HAS SOUPS 2099 WITH SCORE 2102.295
AT ITER 60 NEW BEST:: SOT 5238 SOS 3276 HAS SOPS 3276 HAS SOUS 2078 HAS SOUPS 2078 WITH SCORE 2081.276
AT ITER 62 NEW BEST:: SOT 5230 SOS 3268 HAS SOPS 3268 HAS SOUS 2054 HAS SOUPS 2054 WITH SCORE 2057.268
AT ITER 65 NEW BEST:: SOT 5219 SOS 3261 HAS SOPS 3261 HAS SOUS 2039 HAS SOUPS 2039 WITH SCORE 2042.261
AT ITER 66 NEW BEST:: SOT 5215 SOS 3248 HAS SOPS 3248 HAS SOUS 2035 HAS SOUPS 2035 WITH SCORE 2038.248
AT ITER 75 NEW BEST:: SOT 5205 SOS 3245 HAS SOPS 3245 HAS SOUS 2028 HAS SOUPS 2028 WITH SCORE 2031.245
AT ITER 80 NEW BEST:: SOT 5197 SOS 3229 HAS SOPS 3229 HAS SOUS 2012 HAS SOUPS 2012 WITH SCORE 2015.229
AT ITER 82 NEW BEST:: SOT 5071 SOS 3155 HAS SOPS 3155 HAS SOUS 1949 HAS SOUPS 1949 WITH SCORE 1952.155
AT ITER 87 NEW BEST:: SOT 5065 SOS 3153 HAS SOPS 3153 HAS SOUS 1943 HAS SOUPS 1943 WITH SCORE 1946.153
AT ITER 90 NEW BEST:: SOT 5078 SOS 3166 HAS SOPS 3166 HAS SOUS 1932 HAS SOUPS 1932 WITH SCORE 1935.166
AT ITER 95 NEW BEST:: SOT 5081 SOS 3170 HAS SOPS 3170 HAS SOUS 1915 HAS SOUPS 1915 WITH SCORE 1918.17
AT ITER 97 NEW BEST:: SOT 5070 SOS 3159 HAS SOPS 3159 HAS SOUS 1908 HAS SOUPS 1908 WITH SCORE 1911.159
AT ITER 114 NEW BEST:: SOT 5070 SOS 3136 HAS SOPS 3136 HAS SOUS 1908 HAS SOUPS 1908 WITH SCORE 1911.136
AT ITER 115 NEW BEST:: SOT 5070 SOS 3133 HAS SOPS 3133 HAS SOUS 1905 HAS SOUPS 1905 WITH SCORE 1908.133
AT ITER 127 NEW BEST:: SOT 5077 SOS 3131 HAS SOPS 3131 HAS SOUS 1902 HAS SOUPS 1902 WITH SCORE 1905.131
AT ITER 136 NEW BEST:: SOT 5074 SOS 3085 HAS SOPS 3085 HAS SOUS 1856 HAS SOUPS 1856 WITH SCORE 1859.085
AT ITER 141 NEW BEST:: SOT 5075 SOS 3127 HAS SOPS 3127 HAS SOUS 1851 HAS SOUPS 1851 WITH SCORE 1854.127
AT ITER 142 NEW BEST:: SOT 5064 SOS 3130 HAS SOPS 3130 HAS SOUS 1845 HAS SOUPS 1845 WITH SCORE 1848.13
AT ITER 144 NEW BEST:: SOT 5042 SOS 3093 HAS SOPS 3093 HAS SOUS 1790 HAS SOUPS 1790 WITH SCORE 1793.093
AT ITER 145 NEW BEST:: SOT 5042 SOS 2984 HAS SOPS 2984 HAS SOUS 1783 HAS SOUPS 1783 WITH SCORE 1785.984
AT ITER 146 NEW BEST:: SOT 5035 SOS 2973 HAS SOPS 2973 HAS SOUS 1761 HAS SOUPS 1761 WITH SCORE 1763.973
AT ITER 155 NEW BEST:: SOT 5032 SOS 2967 HAS SOPS 2967 HAS SOUS 1755 HAS SOUPS 1755 WITH SCORE 1757.967
AT ITER 157 NEW BEST:: SOT 5031 SOS 2974 HAS SOPS 2974 HAS SOUS 1754 HAS SOUPS 1754 WITH SCORE 1756.974
AT ITER 161 NEW BEST:: SOT 4984 SOS 2891 HAS SOPS 2891 HAS SOUS 1704 HAS SOUPS 1704 WITH SCORE 1706.891
AT ITER 162 NEW BEST:: SOT 4983 SOS 2889 HAS SOPS 2889 HAS SOUS 1703 HAS SOUPS 1703 WITH SCORE 1705.889
AT ITER 168 NEW BEST:: SOT 4994 SOS 2892 HAS SOPS 2892 HAS SOUS 1700 HAS SOUPS 1700 WITH SCORE 1702.892
AT ITER 170 NEW BEST:: SOT 4959 SOS 2832 HAS SOPS 2832 HAS SOUS 1670 HAS SOUPS 1670 WITH SCORE 1672.832
AT ITER 185 NEW BEST:: SOT 4961 SOS 2836 HAS SOPS 2836 HAS SOUS 1656 HAS SOUPS 1656 WITH SCORE 1658.836
AT ITER 196 NEW BEST:: SOT 4956 SOS 2841 HAS SOPS 2841 HAS SOUS 1651 HAS SOUPS 1651 WITH SCORE 1653.841
AT ITER 200 NEW BEST:: SOT 4945 SOS 2834 HAS SOPS 2834 HAS SOUS 1633 HAS SOUPS 1633 WITH SCORE 1635.834
AT ITER 207 NEW BEST:: SOT 4945 SOS 2842 HAS SOPS 2842 HAS SOUS 1630 HAS SOUPS 1630 WITH SCORE 1632.842
AT ITER 216 NEW BEST:: SOT 4943 SOS 2858 HAS SOPS 2858 HAS SOUS 1629 HAS SOUPS 1629 WITH SCORE 1631.858
AT ITER 219 NEW BEST:: SOT 4952 SOS 2872 HAS SOPS 2872 HAS SOUS 1626 HAS SOUPS 1626 WITH SCORE 1628.872
AT ITER 223 NEW BEST:: SOT 4943 SOS 2879 HAS SOPS 2879 HAS SOUS 1625 HAS SOUPS 1625 WITH SCORE 1627.879
AT ITER 229 NEW BEST:: SOT 4929 SOS 2861 HAS SOPS 2861 HAS SOUS 1623 HAS SOUPS 1623 WITH SCORE 1625.861
AT ITER 230 NEW BEST:: SOT 4926 SOS 2858 HAS SOPS 2858 HAS SOUS 1621 HAS SOUPS 1621 WITH SCORE 1623.858
AT ITER 240 NEW BEST:: SOT 4924 SOS 2820 HAS SOPS 2820 HAS SOUS 1600 HAS SOUPS 1600 WITH SCORE 1602.82
AT ITER 241 NEW BEST:: SOT 4920 SOS 2814 HAS SOPS 2814 HAS SOUS 1594 HAS SOUPS 1594 WITH SCORE 1596.814
AT ITER 242 NEW BEST:: SOT 4887 SOS 2749 HAS SOPS 2749 HAS SOUS 1560 HAS SOUPS 1560 WITH SCORE 1562.749
AT ITER 248 NEW BEST:: SOT 4873 SOS 2733 HAS SOPS 2733 HAS SOUS 1548 HAS SOUPS 1548 WITH SCORE 1550.733
AT ITER 254 NEW BEST:: SOT 4872 SOS 2731 HAS SOPS 2731 HAS SOUS 1545 HAS SOUPS 1545 WITH SCORE 1547.731
AT ITER 271 NEW BEST:: SOT 4869 SOS 2719 HAS SOPS 2719 HAS SOUS 1539 HAS SOUPS 1539 WITH SCORE 1541.719
AT ITER 277 NEW BEST:: SOT 4877 SOS 2676 HAS SOPS 2676 HAS SOUS 1537 HAS SOUPS 1537 WITH SCORE 1539.676
AT ITER 283 NEW BEST:: SOT 4880 SOS 2676 HAS SOPS 2676 HAS SOUS 1524 HAS SOUPS 1524 WITH SCORE 1526.676
AT ITER 288 NEW BEST:: SOT 4880 SOS 2666 HAS SOPS 2666 HAS SOUS 1524 HAS SOUPS 1524 WITH SCORE 1526.666
AT ITER 301 NEW BEST:: SOT 4872 SOS 2662 HAS SOPS 2662 HAS SOUS 1516 HAS SOUPS 1516 WITH SCORE 1518.662
AT ITER 302 NEW BEST:: SOT 4842 SOS 2632 HAS SOPS 2632 HAS SOUS 1502 HAS SOUPS 1502 WITH SCORE 1504.632
AT ITER 317 NEW BEST:: SOT 4846 SOS 2633 HAS SOPS 2633 HAS SOUS 1500 HAS SOUPS 1500 WITH SCORE 1502.633
AT ITER 319 NEW BEST:: SOT 4843 SOS 2630 HAS SOPS 2630 HAS SOUS 1499 HAS SOUPS 1499 WITH SCORE 1501.63
AT ITER 329 NEW BEST:: SOT 4844 SOS 2623 HAS SOPS 2623 HAS SOUS 1490 HAS SOUPS 1490 WITH SCORE 1492.623
AT ITER 335 NEW BEST:: SOT 4840 SOS 2606 HAS SOPS 2606 HAS SOUS 1477 HAS SOUPS 1477 WITH SCORE 1479.606
AT ITER 344 NEW BEST:: SOT 4844 SOS 2615 HAS SOPS 2615 HAS SOUS 1476 HAS SOUPS 1476 WITH SCORE 1478.615
AT ITER 346 NEW BEST:: SOT 4844 SOS 2613 HAS SOPS 2613 HAS SOUS 1476 HAS SOUPS 1476 WITH SCORE 1478.613
AT ITER 380 NEW BEST:: SOT 4829 SOS 2597 HAS SOPS 2597 HAS SOUS 1453 HAS SOUPS 1453 WITH SCORE 1455.597
AT ITER 384 NEW BEST:: SOT 4805 SOS 2554 HAS SOPS 2554 HAS SOUS 1423 HAS SOUPS 1423 WITH SCORE 1425.554
AT ITER 400 NEW BEST:: SOT 4802 SOS 2551 HAS SOPS 2551 HAS SOUS 1423 HAS SOUPS 1423 WITH SCORE 1425.551
AT ITER 406 NEW BEST:: SOT 4812 SOS 2559 HAS SOPS 2559 HAS SOUS 1420 HAS SOUPS 1420 WITH SCORE 1422.559
AT ITER 407 NEW BEST:: SOT 4807 SOS 2553 HAS SOPS 2553 HAS SOUS 1416 HAS SOUPS 1416 WITH SCORE 1418.553
AT ITER 412 NEW BEST:: SOT 4795 SOS 2518 HAS SOPS 2518 HAS SOUS 1402 HAS SOUPS 1402 WITH SCORE 1404.518
AT ITER 447 NEW BEST:: SOT 4802 SOS 2525 HAS SOPS 2525 HAS SOUS 1401 HAS SOUPS 1401 WITH SCORE 1403.525
AT ITER 452 NEW BEST:: SOT 4798 SOS 2517 HAS SOPS 2517 HAS SOUS 1392 HAS SOUPS 1392 WITH SCORE 1394.517
AT ITER 469 NEW BEST:: SOT 4800 SOS 2515 HAS SOPS 2515 HAS SOUS 1392 HAS SOUPS 1392 WITH SCORE 1394.515
AT ITER 480 NEW BEST:: SOT 4779 SOS 2500 HAS SOPS 2500 HAS SOUS 1378 HAS SOUPS 1378 WITH SCORE 1380.5
AT ITER 483 NEW BEST:: SOT 4767 SOS 2486 HAS SOPS 2486 HAS SOUS 1376 HAS SOUPS 1376 WITH SCORE 1378.486
AT ITER 485 NEW BEST:: SOT 4770 SOS 2483 HAS SOPS 2483 HAS SOUS 1373 HAS SOUPS 1373 WITH SCORE 1375.483
AT ITER 503 NEW BEST:: SOT 4807 SOS 2479 HAS SOPS 2479 HAS SOUS 1359 HAS SOUPS 1359 WITH SCORE 1361.479
AT ITER 508 NEW BEST:: SOT 4801 SOS 2479 HAS SOPS 2479 HAS SOUS 1353 HAS SOUPS 1353 WITH SCORE 1355.479
AT ITER 539 NEW BEST:: SOT 4792 SOS 2461 HAS SOPS 2461 HAS SOUS 1333 HAS SOUPS 1333 WITH SCORE 1335.461
AT ITER 560 NEW BEST:: SOT 4788 SOS 2455 HAS SOPS 2455 HAS SOUS 1323 HAS SOUPS 1323 WITH SCORE 1325.455
AT ITER 567 NEW BEST:: SOT 4779 SOS 2446 HAS SOPS 2446 HAS SOUS 1317 HAS SOUPS 1317 WITH SCORE 1319.446
AT ITER 570 NEW BEST:: SOT 4749 SOS 2404 HAS SOPS 2404 HAS SOUS 1292 HAS SOUPS 1292 WITH SCORE 1294.404
AT ITER 574 NEW BEST:: SOT 4762 SOS 2428 HAS SOPS 2428 HAS SOUS 1287 HAS SOUPS 1287 WITH SCORE 1289.428
AT ITER 579 NEW BEST:: SOT 4744 SOS 2373 HAS SOPS 2373 HAS SOUS 1251 HAS SOUPS 1251 WITH SCORE 1253.373
AT ITER 596 NEW BEST:: SOT 4744 SOS 2357 HAS SOPS 2357 HAS SOUS 1247 HAS SOUPS 1247 WITH SCORE 1249.357
AT ITER 599 NEW BEST:: SOT 4742 SOS 2355 HAS SOPS 2355 HAS SOUS 1246 HAS SOUPS 1246 WITH SCORE 1248.355
AT ITER 617 NEW BEST:: SOT 4735 SOS 2341 HAS SOPS 2341 HAS SOUS 1235 HAS SOUPS 1235 WITH SCORE 1237.341
AT ITER 622 NEW BEST:: SOT 4749 SOS 2345 HAS SOPS 2345 HAS SOUS 1233 HAS SOUPS 1233 WITH SCORE 1235.345
AT ITER 625 NEW BEST:: SOT 4742 SOS 2338 HAS SOPS 2338 HAS SOUS 1219 HAS SOUPS 1219 WITH SCORE 1221.338
AT ITER 639 NEW BEST:: SOT 4737 SOS 2332 HAS SOPS 2332 HAS SOUS 1213 HAS SOUPS 1213 WITH SCORE 1215.332
AT ITER 640 NEW BEST:: SOT 4736 SOS 2331 HAS SOPS 2331 HAS SOUS 1210 HAS SOUPS 1210 WITH SCORE 1212.331
AT ITER 669 NEW BEST:: SOT 4727 SOS 2320 HAS SOPS 2320 HAS SOUS 1203 HAS SOUPS 1203 WITH SCORE 1205.32
AT ITER 672 NEW BEST:: SOT 4724 SOS 2308 HAS SOPS 2308 HAS SOUS 1197 HAS SOUPS 1197 WITH SCORE 1199.308
AT ITER 674 NEW BEST:: SOT 4735 SOS 2291 HAS SOPS 2291 HAS SOUS 1181 HAS SOUPS 1181 WITH SCORE 1183.291
AT ITER 714 NEW BEST:: SOT 4717 SOS 2242 HAS SOPS 2242 HAS SOUS 1134 HAS SOUPS 1134 WITH SCORE 1136.242
AT ITER 720 NEW BEST:: SOT 4717 SOS 2242 HAS SOPS 2242 HAS SOUS 1133 HAS SOUPS 1133 WITH SCORE 1135.242
AT ITER 733 NEW BEST:: SOT 4714 SOS 2240 HAS SOPS 2240 HAS SOUS 1131 HAS SOUPS 1131 WITH SCORE 1133.24
AT ITER 773 NEW BEST:: SOT 4714 SOS 2218 HAS SOPS 2218 HAS SOUS 1120 HAS SOUPS 1120 WITH SCORE 1122.218
AT ITER 789 NEW BEST:: SOT 4695 SOS 2194 HAS SOPS 2194 HAS SOUS 1113 HAS SOUPS 1113 WITH SCORE 1115.194
AT ITER 830 NEW BEST:: SOT 4695 SOS 2192 HAS SOPS 2192 HAS SOUS 1113 HAS SOUPS 1113 WITH SCORE 1115.192
AT ITER 861 NEW BEST:: SOT 4693 SOS 2154 HAS SOPS 2154 HAS SOUS 1109 HAS SOUPS 1109 WITH SCORE 1111.154
AT ITER 884 NEW BEST:: SOT 4692 SOS 2152 HAS SOPS 2152 HAS SOUS 1108 HAS SOUPS 1108 WITH SCORE 1110.152
AT ITER 911 NEW BEST:: SOT 4688 SOS 2154 HAS SOPS 2154 HAS SOUS 1106 HAS SOUPS 1106 WITH SCORE 1108.154
AT ITER 922 NEW BEST:: SOT 4698 SOS 2156 HAS SOPS 2156 HAS SOUS 1098 HAS SOUPS 1098 WITH SCORE 1100.156
AT ITER 973 NEW BEST:: SOT 4698 SOS 2142 HAS SOPS 2142 HAS SOUS 1093 HAS SOUPS 1093 WITH SCORE 1095.142
AT ITER 986 NEW BEST:: SOT 4694 SOS 2134 HAS SOPS 2134 HAS SOUS 1081 HAS SOUPS 1081 WITH SCORE 1083.134
AT ITER 995 NEW BEST:: SOT 4696 SOS 2155 HAS SOPS 2155 HAS SOUS 1079 HAS SOUPS 1079 WITH SCORE 1081.155
AT ITER 1003 NEW BEST:: SOT 4695 SOS 2153 HAS SOPS 2153 HAS SOUS 1077 HAS SOUPS 1077 WITH SCORE 1079.153
AT ITER 1006 NEW BEST:: SOT 4693 SOS 2143 HAS SOPS 2143 HAS SOUS 1074 HAS SOUPS 1074 WITH SCORE 1076.143
AT ITER 1051 NEW BEST:: SOT 4694 SOS 2160 HAS SOPS 2160 HAS SOUS 1060 HAS SOUPS 1060 WITH SCORE 1062.16
AT ITER 1074 NEW BEST:: SOT 4694 SOS 2159 HAS SOPS 2159 HAS SOUS 1060 HAS SOUPS 1060 WITH SCORE 1062.159
AT ITER 1085 NEW BEST:: SOT 4688 SOS 2145 HAS SOPS 2145 HAS SOUS 1059 HAS SOUPS 1059 WITH SCORE 1061.145
AT ITER 1086 NEW BEST:: SOT 4681 SOS 2139 HAS SOPS 2139 HAS SOUS 1052 HAS SOUPS 1052 WITH SCORE 1054.139
AT ITER 1091 NEW BEST:: SOT 4631 SOS 2069 HAS SOPS 2069 HAS SOUS 1046 HAS SOUPS 1046 WITH SCORE 1048.069
AT ITER 1154 NEW BEST:: SOT 4614 SOS 2070 HAS SOPS 2070 HAS SOUS 1045 HAS SOUPS 1045 WITH SCORE 1047.07
AT ITER 1176 NEW BEST:: SOT 4617 SOS 2072 HAS SOPS 2072 HAS SOUS 1041 HAS SOUPS 1041 WITH SCORE 1043.072
AT ITER 1190 NEW BEST:: SOT 4627 SOS 2057 HAS SOPS 2057 HAS SOUS 1034 HAS SOUPS 1034 WITH SCORE 1036.057
AT ITER 1204 NEW BEST:: SOT 4626 SOS 2055 HAS SOPS 2055 HAS SOUS 1032 HAS SOUPS 1032 WITH SCORE 1034.055
AT ITER 1213 NEW BEST:: SOT 4623 SOS 2048 HAS SOPS 2048 HAS SOUS 1031 HAS SOUPS 1031 WITH SCORE 1033.048
AT ITER 1217 NEW BEST:: SOT 4633 SOS 2058 HAS SOPS 2058 HAS SOUS 1030 HAS SOUPS 1030 WITH SCORE 1032.058
AT ITER 1251 NEW BEST:: SOT 4630 SOS 2045 HAS SOPS 2045 HAS SOUS 1027 HAS SOUPS 1027 WITH SCORE 1029.045
AT ITER 1254 NEW BEST:: SOT 4628 SOS 2033 HAS SOPS 2033 HAS SOUS 1019 HAS SOUPS 1019 WITH SCORE 1021.033
AT ITER 1255 NEW BEST:: SOT 4627 SOS 2037 HAS SOPS 2037 HAS SOUS 1015 HAS SOUPS 1015 WITH SCORE 1017.037
AT ITER 1257 NEW BEST:: SOT 4642 SOS 2052 HAS SOPS 2052 HAS SOUS 1011 HAS SOUPS 1011 WITH SCORE 1013.052
AT ITER 1261 NEW BEST:: SOT 4642 SOS 2048 HAS SOPS 2048 HAS SOUS 1011 HAS SOUPS 1011 WITH SCORE 1013.048
AT ITER 1287 NEW BEST:: SOT 4642 SOS 2045 HAS SOPS 2045 HAS SOUS 1011 HAS SOUPS 1011 WITH SCORE 1013.045
AT ITER 1290 NEW BEST:: SOT 4642 SOS 2045 HAS SOPS 2045 HAS SOUS 999 HAS SOUPS 999 WITH SCORE 1001.045
AT ITER 1310 NEW BEST:: SOT 4640 SOS 2043 HAS SOPS 2043 HAS SOUS 999 HAS SOUPS 999 WITH SCORE 1001.043
AT ITER 1334 NEW BEST:: SOT 4635 SOS 2054 HAS SOPS 2054 HAS SOUS 996 HAS SOUPS 996 WITH SCORE 998.054
AT ITER 1357 NEW BEST:: SOT 4636 SOS 2054 HAS SOPS 2054 HAS SOUS 994 HAS SOUPS 994 WITH SCORE 996.054
AT ITER 1367 NEW BEST:: SOT 4634 SOS 2060 HAS SOPS 2060 HAS SOUS 992 HAS SOUPS 992 WITH SCORE 994.06
AT ITER 1372 NEW BEST:: SOT 4630 SOS 2051 HAS SOPS 2051 HAS SOUS 982 HAS SOUPS 982 WITH SCORE 984.051
AT ITER 1408 NEW BEST:: SOT 4624 SOS 2039 HAS SOPS 2039 HAS SOUS 974 HAS SOUPS 974 WITH SCORE 976.039
AT ITER 1410 NEW BEST:: SOT 4630 SOS 2045 HAS SOPS 2045 HAS SOUS 973 HAS SOUPS 973 WITH SCORE 975.045
AT ITER 1420 NEW BEST:: SOT 4630 SOS 2042 HAS SOPS 2042 HAS SOUS 973 HAS SOUPS 973 WITH SCORE 975.042
AT ITER 1428 NEW BEST:: SOT 4625 SOS 2025 HAS SOPS 2025 HAS SOUS 958 HAS SOUPS 958 WITH SCORE 960.025
AT ITER 1431 NEW BEST:: SOT 4630 SOS 2026 HAS SOPS 2026 HAS SOUS 956 HAS SOUPS 956 WITH SCORE 958.026
AT ITER 1434 NEW BEST:: SOT 4628 SOS 2028 HAS SOPS 2028 HAS SOUS 953 HAS SOUPS 953 WITH SCORE 955.028
AT ITER 1454 NEW BEST:: SOT 4625 SOS 2022 HAS SOPS 2022 HAS SOUS 950 HAS SOUPS 950 WITH SCORE 952.022
AT ITER 1499 NEW BEST:: SOT 4621 SOS 2013 HAS SOPS 2013 HAS SOUS 942 HAS SOUPS 942 WITH SCORE 944.013
AT ITER 1520 NEW BEST:: SOT 4611 SOS 1998 HAS SOPS 1998 HAS SOUS 937 HAS SOUPS 937 WITH SCORE 938.998
AT ITER 1528 NEW BEST:: SOT 4611 SOS 1997 HAS SOPS 1997 HAS SOUS 936 HAS SOUPS 936 WITH SCORE 937.997
AT ITER 1529 NEW BEST:: SOT 4603 SOS 1985 HAS SOPS 1985 HAS SOUS 932 HAS SOUPS 932 WITH SCORE 933.985
AT ITER 1557 NEW BEST:: SOT 4605 SOS 1987 HAS SOPS 1987 HAS SOUS 931 HAS SOUPS 931 WITH SCORE 932.987
AT ITER 1562 NEW BEST:: SOT 4615 SOS 1992 HAS SOPS 1992 HAS SOUS 923 HAS SOUPS 923 WITH SCORE 924.992
AT ITER 1589 NEW BEST:: SOT 4628 SOS 1999 HAS SOPS 1999 HAS SOUS 918 HAS SOUPS 918 WITH SCORE 919.999
AT ITER 1606 NEW BEST:: SOT 4628 SOS 1998 HAS SOPS 1998 HAS SOUS 918 HAS SOUPS 918 WITH SCORE 919.998
AT ITER 1628 NEW BEST:: SOT 4626 SOS 1990 HAS SOPS 1990 HAS SOUS 914 HAS SOUPS 914 WITH SCORE 915.99
AT ITER 1640 NEW BEST:: SOT 4619 SOS 1977 HAS SOPS 1977 HAS SOUS 906 HAS SOUPS 906 WITH SCORE 907.977
AT ITER 1752 NEW BEST:: SOT 4610 SOS 2016 HAS SOPS 2016 HAS SOUS 902 HAS SOUPS 902 WITH SCORE 904.016
AT ITER 1780 NEW BEST:: SOT 4611 SOS 2018 HAS SOPS 2018 HAS SOUS 901 HAS SOUPS 901 WITH SCORE 903.018
AT ITER 1809 NEW BEST:: SOT 4611 SOS 2016 HAS SOPS 2016 HAS SOUS 899 HAS SOUPS 899 WITH SCORE 901.016
AT ITER 1847 NEW BEST:: SOT 4610 SOS 2016 HAS SOPS 2016 HAS SOUS 898 HAS SOUPS 898 WITH SCORE 900.016
AT ITER 1851 NEW BEST:: SOT 4608 SOS 2009 HAS SOPS 2009 HAS SOUS 896 HAS SOUPS 896 WITH SCORE 898.009
AT ITER 1863 NEW BEST:: SOT 4612 SOS 2011 HAS SOPS 2011 HAS SOUS 895 HAS SOUPS 895 WITH SCORE 897.011
AT ITER 1908 NEW BEST:: SOT 4606 SOS 2008 HAS SOPS 2008 HAS SOUS 892 HAS SOUPS 892 WITH SCORE 894.008
AT ITER 1917 NEW BEST:: SOT 4605 SOS 2006 HAS SOPS 2006 HAS SOUS 890 HAS SOUPS 890 WITH SCORE 892.006
AT ITER 1935 NEW BEST:: SOT 4608 SOS 2013 HAS SOPS 2013 HAS SOUS 887 HAS SOUPS 887 WITH SCORE 889.013
AT ITER 1940 NEW BEST:: SOT 4607 SOS 2011 HAS SOPS 2011 HAS SOUS 886 HAS SOUPS 886 WITH SCORE 888.011
AT ITER 1993 NEW BEST:: SOT 4599 SOS 2078 HAS SOPS 2078 HAS SOUS 880 HAS SOUPS 880 WITH SCORE 882.078
AT ITER 2000 NEW BEST:: SOT 4602 SOS 2071 HAS SOPS 2071 HAS SOUS 878 HAS SOUPS 878 WITH SCORE 880.071
AT ITER 2012 NEW BEST:: SOT 4597 SOS 2069 HAS SOPS 2069 HAS SOUS 873 HAS SOUPS 873 WITH SCORE 875.069
AT ITER 2014 NEW BEST:: SOT 4596 SOS 2067 HAS SOPS 2067 HAS SOUS 873 HAS SOUPS 873 WITH SCORE 875.067
AT ITER 2033 NEW BEST:: SOT 4595 SOS 2067 HAS SOPS 2067 HAS SOUS 871 HAS SOUPS 871 WITH SCORE 873.067
AT ITER 2055 NEW BEST:: SOT 4586 SOS 2057 HAS SOPS 2057 HAS SOUS 868 HAS SOUPS 868 WITH SCORE 870.057
AT ITER 2078 NEW BEST:: SOT 4586 SOS 2057 HAS SOPS 2057 HAS SOUS 864 HAS SOUPS 864 WITH SCORE 866.057
AT ITER 2107 NEW BEST:: SOT 4574 SOS 2045 HAS SOPS 2045 HAS SOUS 850 HAS SOUPS 850 WITH SCORE 852.045
AT ITER 2119 NEW BEST:: SOT 4574 SOS 2045 HAS SOPS 2045 HAS SOUS 848 HAS SOUPS 848 WITH SCORE 850.045
AT ITER 2187 NEW BEST:: SOT 4575 SOS 2039 HAS SOPS 2039 HAS SOUS 847 HAS SOUPS 847 WITH SCORE 849.039
AT ITER 2222 NEW BEST:: SOT 4566 SOS 2026 HAS SOPS 2026 HAS SOUS 844 HAS SOUPS 844 WITH SCORE 846.026
AT ITER 2287 NEW BEST:: SOT 4563 SOS 2022 HAS SOPS 2022 HAS SOUS 841 HAS SOUPS 841 WITH SCORE 843.022
AT ITER 2288 NEW BEST:: SOT 4557 SOS 2016 HAS SOPS 2016 HAS SOUS 836 HAS SOUPS 836 WITH SCORE 838.016
AT ITER 2303 NEW BEST:: SOT 4557 SOS 2015 HAS SOPS 2015 HAS SOUS 836 HAS SOUPS 836 WITH SCORE 838.015
AT ITER 2320 NEW BEST:: SOT 4557 SOS 2015 HAS SOPS 2015 HAS SOUS 835 HAS SOUPS 835 WITH SCORE 837.015
AT ITER 2321 NEW BEST:: SOT 4556 SOS 2013 HAS SOPS 2013 HAS SOUS 833 HAS SOUPS 833 WITH SCORE 835.013
AT ITER 2335 NEW BEST:: SOT 4550 SOS 2012 HAS SOPS 2012 HAS SOUS 832 HAS SOUPS 832 WITH SCORE 834.012
AT ITER 2381 NEW BEST:: SOT 4542 SOS 2004 HAS SOPS 2004 HAS SOUS 827 HAS SOUPS 827 WITH SCORE 829.004
AT ITER 2399 NEW BEST:: SOT 4542 SOS 2006 HAS SOPS 2006 HAS SOUS 826 HAS SOUPS 826 WITH SCORE 828.006
AT ITER 2448 NEW BEST:: SOT 4544 SOS 2013 HAS SOPS 2013 HAS SOUS 825 HAS SOUPS 825 WITH SCORE 827.013
AT ITER 2470 NEW BEST:: SOT 4543 SOS 2008 HAS SOPS 2008 HAS SOUS 825 HAS SOUPS 825 WITH SCORE 827.008
AT ITER 2486 NEW BEST:: SOT 4543 SOS 2008 HAS SOPS 2008 HAS SOUS 824 HAS SOUPS 824 WITH SCORE 826.008
AT ITER 2495 NEW BEST:: SOT 4541 SOS 1960 HAS SOPS 1960 HAS SOUS 818 HAS SOUPS 818 WITH SCORE 819.96
AT ITER 2559 NEW BEST:: SOT 4541 SOS 1959 HAS SOPS 1959 HAS SOUS 817 HAS SOUPS 817 WITH SCORE 818.959
AT ITER 2569 NEW BEST:: SOT 4540 SOS 1958 HAS SOPS 1958 HAS SOUS 815 HAS SOUPS 815 WITH SCORE 816.958
AT ITER 2814 NEW BEST:: SOT 4538 SOS 1957 HAS SOPS 1957 HAS SOUS 815 HAS SOUPS 815 WITH SCORE 816.957
AT ITER 2844 NEW BEST:: SOT 4536 SOS 1959 HAS SOPS 1959 HAS SOUS 810 HAS SOUPS 810 WITH SCORE 811.959
AT ITER 2936 NEW BEST:: SOT 4532 SOS 1955 HAS SOPS 1955 HAS SOUS 806 HAS SOUPS 806 WITH SCORE 807.955
AT ITER 2947 NEW BEST:: SOT 4514 SOS 1941 HAS SOPS 1941 HAS SOUS 806 HAS SOUPS 806 WITH SCORE 807.941
AT ITER 2964 NEW BEST:: SOT 4513 SOS 1938 HAS SOPS 1938 HAS SOUS 804 HAS SOUPS 804 WITH SCORE 805.938
AT ITER 3102 NEW BEST:: SOT 4521 SOS 1944 HAS SOPS 1944 HAS SOUS 800 HAS SOUPS 800 WITH SCORE 801.944
AT ITER 3122 NEW BEST:: SOT 4520 SOS 1941 HAS SOPS 1941 HAS SOUS 797 HAS SOUPS 797 WITH SCORE 798.941
AT ITER 3206 NEW BEST:: SOT 4521 SOS 1937 HAS SOPS 1937 HAS SOUS 795 HAS SOUPS 795 WITH SCORE 796.937
AT ITER 3235 NEW BEST:: SOT 4520 SOS 1932 HAS SOPS 1932 HAS SOUS 792 HAS SOUPS 792 WITH SCORE 793.932
AT ITER 3328 NEW BEST:: SOT 4521 SOS 1935 HAS SOPS 1935 HAS SOUS 791 HAS SOUPS 791 WITH SCORE 792.935
AT ITER 3398 NEW BEST:: SOT 4517 SOS 1929 HAS SOPS 1929 HAS SOUS 789 HAS SOUPS 789 WITH SCORE 790.929
AT ITER 3459 NEW BEST:: SOT 4516 SOS 1921 HAS SOPS 1921 HAS SOUS 789 HAS SOUPS 789 WITH SCORE 790.921
AT ITER 3484 NEW BEST:: SOT 4518 SOS 1920 HAS SOPS 1920 HAS SOUS 788 HAS SOUPS 788 WITH SCORE 789.92
AT ITER 3577 NEW BEST:: SOT 4511 SOS 1914 HAS SOPS 1914 HAS SOUS 787 HAS SOUPS 787 WITH SCORE 788.914
AT ITER 3651 NEW BEST:: SOT 4512 SOS 1918 HAS SOPS 1918 HAS SOUS 786 HAS SOUPS 786 WITH SCORE 787.918
AT ITER 3677 NEW BEST:: SOT 4512 SOS 1920 HAS SOPS 1920 HAS SOUS 785 HAS SOUPS 785 WITH SCORE 786.92
AT ITER 3714 NEW BEST:: SOT 4524 SOS 1931 HAS SOPS 1931 HAS SOUS 780 HAS SOUPS 780 WITH SCORE 781.931
AT ITER 3729 NEW BEST:: SOT 4524 SOS 1925 HAS SOPS 1925 HAS SOUS 780 HAS SOUPS 780 WITH SCORE 781.925
AT ITER 3883 NEW BEST:: SOT 4523 SOS 1925 HAS SOPS 1925 HAS SOUS 779 HAS SOUPS 779 WITH SCORE 780.925
AT ITER 3953 NEW BEST:: SOT 4524 SOS 1925 HAS SOPS 1925 HAS SOUS 778 HAS SOUPS 778 WITH SCORE 779.925
AT ITER 3999 NEW BEST:: SOT 4517 SOS 1919 HAS SOPS 1919 HAS SOUS 773 HAS SOUPS 773 WITH SCORE 774.919
AT ITER 4643 NEW BEST:: SOT 4517 SOS 1923 HAS SOPS 1923 HAS SOUS 772 HAS SOUPS 772 WITH SCORE 773.923
AT ITER 4685 NEW BEST:: SOT 4516 SOS 1923 HAS SOPS 1923 HAS SOUS 769 HAS SOUPS 769 WITH SCORE 770.923
AT ITER 4842 NEW BEST:: SOT 4515 SOS 1919 HAS SOPS 1919 HAS SOUS 768 HAS SOUPS 768 WITH SCORE 769.919
AT ITER 4854 NEW BEST:: SOT 4515 SOS 1919 HAS SOPS 1919 HAS SOUS 767 HAS SOUPS 767 WITH SCORE 768.919
AT ITER 4888 NEW BEST:: SOT 4510 SOS 1914 HAS SOPS 1914 HAS SOUS 767 HAS SOUPS 767 WITH SCORE 768.914
AT ITER 4974 NEW BEST:: SOT 4510 SOS 1906 HAS SOPS 1906 HAS SOUS 767 HAS SOUPS 767 WITH SCORE 768.906
AT ITER 5281 NEW BEST:: SOT 4500 SOS 1885 HAS SOPS 1885 HAS SOUS 761 HAS SOUPS 761 WITH SCORE 762.885
AT ITER 5317 NEW BEST:: SOT 4499 SOS 1883 HAS SOPS 1883 HAS SOUS 759 HAS SOUPS 759 WITH SCORE 760.883
AT ITER 5416 NEW BEST:: SOT 4499 SOS 1882 HAS SOPS 1882 HAS SOUS 759 HAS SOUPS 759 WITH SCORE 760.882
AT ITER 5633 NEW BEST:: SOT 4501 SOS 1883 HAS SOPS 1883 HAS SOUS 758 HAS SOUPS 758 WITH SCORE 759.883
AT ITER 5649 NEW BEST:: SOT 4499 SOS 1882 HAS SOPS 1882 HAS SOUS 758 HAS SOUPS 758 WITH SCORE 759.882
AT ITER 5746 NEW BEST:: SOT 4496 SOS 1876 HAS SOPS 1876 HAS SOUS 758 HAS SOUPS 758 WITH SCORE 759.876
AT ITER 5835 NEW BEST:: SOT 4495 SOS 1876 HAS SOPS 1876 HAS SOUS 755 HAS SOUPS 755 WITH SCORE 756.876
AT ITER 5867 NEW BEST:: SOT 4495 SOS 1868 HAS SOPS 1868 HAS SOUS 755 HAS SOUPS 755 WITH SCORE 756.868
AT ITER 5881 NEW BEST:: SOT 4495 SOS 1868 HAS SOPS 1868 HAS SOUS 753 HAS SOUPS 753 WITH SCORE 754.868
AT ITER 6167 NEW BEST:: SOT 4494 SOS 1865 HAS SOPS 1865 HAS SOUS 752 HAS SOUPS 752 WITH SCORE 753.865
AT ITER 6187 NEW BEST:: SOT 4493 SOS 1865 HAS SOPS 1865 HAS SOUS 751 HAS SOUPS 751 WITH SCORE 752.865
AT ITER 6259 NEW BEST:: SOT 4490 SOS 1863 HAS SOPS 1863 HAS SOUS 748 HAS SOUPS 748 WITH SCORE 749.863
AT ITER 6571 NEW BEST:: SOT 4489 SOS 1861 HAS SOPS 1861 HAS SOUS 746 HAS SOUPS 746 WITH SCORE 747.861
AT ITER 6603 NEW BEST:: SOT 4488 SOS 1859 HAS SOPS 1859 HAS SOUS 746 HAS SOUPS 746 WITH SCORE 747.859
AT ITER 6754 NEW BEST:: SOT 4486 SOS 1858 HAS SOPS 1858 HAS SOUS 746 HAS SOUPS 746 WITH SCORE 747.858
AT ITER 6757 NEW BEST:: SOT 4484 SOS 1856 HAS SOPS 1856 HAS SOUS 742 HAS SOUPS 742 WITH SCORE 743.856
AT ITER 6775 NEW BEST:: SOT 4483 SOS 1854 HAS SOPS 1854 HAS SOUS 740 HAS SOUPS 740 WITH SCORE 741.854
AT ITER 6865 NEW BEST:: SOT 4481 SOS 1846 HAS SOPS 1846 HAS SOUS 739 HAS SOUPS 739 WITH SCORE 740.846
AT ITER 7141 NEW BEST:: SOT 4481 SOS 1844 HAS SOPS 1844 HAS SOUS 738 HAS SOUPS 738 WITH SCORE 739.844
AT ITER 7252 NEW BEST:: SOT 4474 SOS 1838 HAS SOPS 1838 HAS SOUS 737 HAS SOUPS 737 WITH SCORE 738.838
AT ITER 7257 NEW BEST:: SOT 4484 SOS 1842 HAS SOPS 1842 HAS SOUS 735 HAS SOUPS 735 WITH SCORE 736.842
AT ITER 7275 NEW BEST:: SOT 4483 SOS 1840 HAS SOPS 1840 HAS SOUS 732 HAS SOUPS 732 WITH SCORE 733.84
AT ITER 7361 NEW BEST:: SOT 4482 SOS 1838 HAS SOPS 1838 HAS SOUS 731 HAS SOUPS 731 WITH SCORE 732.838
AT ITER 7395 NEW BEST:: SOT 4481 SOS 1836 HAS SOPS 1836 HAS SOUS 729 HAS SOUPS 729 WITH SCORE 730.836
AT ITER 7532 NEW BEST:: SOT 4481 SOS 1836 HAS SOPS 1836 HAS SOUS 728 HAS SOUPS 728 WITH SCORE 729.836
AT ITER 7628 NEW BEST:: SOT 4469 SOS 1824 HAS SOPS 1824 HAS SOUS 720 HAS SOUPS 720 WITH SCORE 721.824
AT ITER 7849 NEW BEST:: SOT 4469 SOS 1818 HAS SOPS 1818 HAS SOUS 714 HAS SOUPS 714 WITH SCORE 715.818
AT ITER 8056 NEW BEST:: SOT 4477 SOS 1810 HAS SOPS 1810 HAS SOUS 714 HAS SOUPS 714 WITH SCORE 715.81
AT ITER 8508 NEW BEST:: SOT 4475 SOS 1809 HAS SOPS 1809 HAS SOUS 714 HAS SOUPS 714 WITH SCORE 715.809
AT ITER 8668 NEW BEST:: SOT 4476 SOS 1810 HAS SOPS 1810 HAS SOUS 713 HAS SOUPS 713 WITH SCORE 714.81
AT ITER 9015 NEW BEST:: SOT 4476 SOS 1808 HAS SOPS 1808 HAS SOUS 712 HAS SOUPS 712 WITH SCORE 713.808
AT ITER 9222 NEW BEST:: SOT 4470 SOS 1808 HAS SOPS 1808 HAS SOUS 710 HAS SOUPS 710 WITH SCORE 711.808
AT ITER 9473 NEW BEST:: SOT 4469 SOS 1807 HAS SOPS 1807 HAS SOUS 710 HAS SOUPS 710 WITH SCORE 711.807
AT ITER 9556 NEW BEST:: SOT 4468 SOS 1805 HAS SOPS 1805 HAS SOUS 708 HAS SOUPS 708 WITH SCORE 709.805
AT ITER 9791 NEW BEST:: SOT 4467 SOS 1803 HAS SOPS 1803 HAS SOUS 707 HAS SOUPS 707 WITH SCORE 708.803
STATE_SPACE STATES 210432 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 18 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 1408384 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679307334337

--------------------
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-Z2T4N04"
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-Z2T4N04, 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-167912711201000"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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