Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033469400432.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldPPPs-PT-003A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469400432
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 184K
-rw-r--r-- 1 mcc users 3.5K May 14 01:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 01:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K May 13 18:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 18:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K May 14 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 14 10:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 14 10:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.0K May 13 13:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K May 13 13:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.1K May 13 08:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 9.7K May 13 08:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 27K May 12 20:42 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 1590442904065

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (PT), instance 003A
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 96 places, 81 transitions, 306 arcs.
AT ITER 0 NEW BEST:: SOT 5070 SOS 3635 HAS SOPS 3635 HAS SOUS 2927 HAS SOUPS 2927 WITH SCORE 2930.635
AT ITER 3 NEW BEST:: SOT 5042 SOS 3629 HAS SOPS 3629 HAS SOUS 2921 HAS SOUPS 2921 WITH SCORE 2924.629
AT ITER 4 NEW BEST:: SOT 5027 SOS 3612 HAS SOPS 3612 HAS SOUS 2904 HAS SOUPS 2904 WITH SCORE 2907.612
AT ITER 6 NEW BEST:: SOT 5057 SOS 3503 HAS SOPS 3503 HAS SOUS 2882 HAS SOUPS 2882 WITH SCORE 2885.503
AT ITER 12 NEW BEST:: SOT 5111 SOS 3419 HAS SOPS 3419 HAS SOUS 2876 HAS SOUPS 2876 WITH SCORE 2879.419
AT ITER 14 NEW BEST:: SOT 5079 SOS 3387 HAS SOPS 3387 HAS SOUS 2844 HAS SOUPS 2844 WITH SCORE 2847.387
AT ITER 15 NEW BEST:: SOT 5066 SOS 3372 HAS SOPS 3372 HAS SOUS 2829 HAS SOUPS 2829 WITH SCORE 2832.372
AT ITER 18 NEW BEST:: SOT 5039 SOS 3345 HAS SOPS 3345 HAS SOUS 2802 HAS SOUPS 2802 WITH SCORE 2805.345
AT ITER 26 NEW BEST:: SOT 5030 SOS 3300 HAS SOPS 3300 HAS SOUS 2801 HAS SOUPS 2801 WITH SCORE 2804.3
AT ITER 29 NEW BEST:: SOT 5003 SOS 3256 HAS SOPS 3256 HAS SOUS 2756 HAS SOUPS 2756 WITH SCORE 2759.256
AT ITER 32 NEW BEST:: SOT 4995 SOS 3241 HAS SOPS 3241 HAS SOUS 2739 HAS SOUPS 2739 WITH SCORE 2742.241
AT ITER 33 NEW BEST:: SOT 4991 SOS 3237 HAS SOPS 3237 HAS SOUS 2733 HAS SOUPS 2733 WITH SCORE 2736.237
AT ITER 39 NEW BEST:: SOT 4974 SOS 3219 HAS SOPS 3219 HAS SOUS 2709 HAS SOUPS 2709 WITH SCORE 2712.219
AT ITER 49 NEW BEST:: SOT 4972 SOS 3210 HAS SOPS 3210 HAS SOUS 2708 HAS SOUPS 2708 WITH SCORE 2711.21
AT ITER 50 NEW BEST:: SOT 4949 SOS 3192 HAS SOPS 3192 HAS SOUS 2690 HAS SOUPS 2690 WITH SCORE 2693.192
AT ITER 53 NEW BEST:: SOT 4953 SOS 3187 HAS SOPS 3187 HAS SOUS 2687 HAS SOUPS 2687 WITH SCORE 2690.187
AT ITER 54 NEW BEST:: SOT 4953 SOS 3186 HAS SOPS 3186 HAS SOUS 2686 HAS SOUPS 2686 WITH SCORE 2689.186
AT ITER 81 NEW BEST:: SOT 4944 SOS 3168 HAS SOPS 3168 HAS SOUS 2674 HAS SOUPS 2674 WITH SCORE 2677.168
AT ITER 82 NEW BEST:: SOT 4944 SOS 3167 HAS SOPS 3167 HAS SOUS 2673 HAS SOUPS 2673 WITH SCORE 2676.167
AT ITER 84 NEW BEST:: SOT 4939 SOS 3162 HAS SOPS 3162 HAS SOUS 2668 HAS SOUPS 2668 WITH SCORE 2671.162
AT ITER 105 NEW BEST:: SOT 4927 SOS 3142 HAS SOPS 3142 HAS SOUS 2648 HAS SOUPS 2648 WITH SCORE 2651.142
AT ITER 119 NEW BEST:: SOT 4925 SOS 3138 HAS SOPS 3138 HAS SOUS 2646 HAS SOUPS 2646 WITH SCORE 2649.138
AT ITER 152 NEW BEST:: SOT 4923 SOS 3134 HAS SOPS 3134 HAS SOUS 2642 HAS SOUPS 2642 WITH SCORE 2645.134
AT ITER 163 NEW BEST:: SOT 4896 SOS 3053 HAS SOPS 3053 HAS SOUS 2642 HAS SOUPS 2642 WITH SCORE 2645.053
AT ITER 178 NEW BEST:: SOT 4911 SOS 3030 HAS SOPS 3030 HAS SOUS 2629 HAS SOUPS 2629 WITH SCORE 2632.03
AT ITER 179 NEW BEST:: SOT 4918 SOS 3018 HAS SOPS 3018 HAS SOUS 2617 HAS SOUPS 2617 WITH SCORE 2620.018
AT ITER 203 NEW BEST:: SOT 4915 SOS 3013 HAS SOPS 3013 HAS SOUS 2612 HAS SOUPS 2612 WITH SCORE 2615.013
AT ITER 210 NEW BEST:: SOT 4879 SOS 2978 HAS SOPS 2978 HAS SOUS 2577 HAS SOUPS 2577 WITH SCORE 2579.978
AT ITER 215 NEW BEST:: SOT 4852 SOS 2972 HAS SOPS 2972 HAS SOUS 2555 HAS SOUPS 2555 WITH SCORE 2557.972
AT ITER 217 NEW BEST:: SOT 4789 SOS 2887 HAS SOPS 2887 HAS SOUS 2463 HAS SOUPS 2463 WITH SCORE 2465.887
AT ITER 218 NEW BEST:: SOT 4864 SOS 2805 HAS SOPS 2805 HAS SOUS 2442 HAS SOUPS 2442 WITH SCORE 2444.805
AT ITER 225 NEW BEST:: SOT 4863 SOS 2803 HAS SOPS 2803 HAS SOUS 2440 HAS SOUPS 2440 WITH SCORE 2442.803
AT ITER 239 NEW BEST:: SOT 4821 SOS 2768 HAS SOPS 2768 HAS SOUS 2405 HAS SOUPS 2405 WITH SCORE 2407.768
AT ITER 241 NEW BEST:: SOT 4821 SOS 2774 HAS SOPS 2774 HAS SOUS 2403 HAS SOUPS 2403 WITH SCORE 2405.774
AT ITER 243 NEW BEST:: SOT 4817 SOS 2768 HAS SOPS 2768 HAS SOUS 2397 HAS SOUPS 2397 WITH SCORE 2399.768
AT ITER 255 NEW BEST:: SOT 4801 SOS 2750 HAS SOPS 2750 HAS SOUS 2379 HAS SOUPS 2379 WITH SCORE 2381.75
AT ITER 260 NEW BEST:: SOT 4791 SOS 2723 HAS SOPS 2723 HAS SOUS 2373 HAS SOUPS 2373 WITH SCORE 2375.723
AT ITER 271 NEW BEST:: SOT 4791 SOS 2717 HAS SOPS 2717 HAS SOUS 2367 HAS SOUPS 2367 WITH SCORE 2369.717
AT ITER 282 NEW BEST:: SOT 4779 SOS 2719 HAS SOPS 2719 HAS SOUS 2366 HAS SOUPS 2366 WITH SCORE 2368.719
AT ITER 286 NEW BEST:: SOT 4760 SOS 2583 HAS SOPS 2583 HAS SOUS 2294 HAS SOUPS 2294 WITH SCORE 2296.583
AT ITER 295 NEW BEST:: SOT 4754 SOS 2577 HAS SOPS 2577 HAS SOUS 2288 HAS SOUPS 2288 WITH SCORE 2290.577
AT ITER 297 NEW BEST:: SOT 4780 SOS 2574 HAS SOPS 2574 HAS SOUS 2285 HAS SOUPS 2285 WITH SCORE 2287.574
AT ITER 304 NEW BEST:: SOT 4771 SOS 2562 HAS SOPS 2562 HAS SOUS 2273 HAS SOUPS 2273 WITH SCORE 2275.562
AT ITER 306 NEW BEST:: SOT 4747 SOS 2546 HAS SOPS 2546 HAS SOUS 2257 HAS SOUPS 2257 WITH SCORE 2259.546
AT ITER 307 NEW BEST:: SOT 4740 SOS 2537 HAS SOPS 2537 HAS SOUS 2248 HAS SOUPS 2248 WITH SCORE 2250.537
AT ITER 314 NEW BEST:: SOT 4740 SOS 2528 HAS SOPS 2528 HAS SOUS 2239 HAS SOUPS 2239 WITH SCORE 2241.528
AT ITER 319 NEW BEST:: SOT 4740 SOS 2526 HAS SOPS 2526 HAS SOUS 2237 HAS SOUPS 2237 WITH SCORE 2239.526
AT ITER 331 NEW BEST:: SOT 4742 SOS 2500 HAS SOPS 2500 HAS SOUS 2211 HAS SOUPS 2211 WITH SCORE 2213.5
AT ITER 333 NEW BEST:: SOT 4742 SOS 2501 HAS SOPS 2501 HAS SOUS 2210 HAS SOUPS 2210 WITH SCORE 2212.501
AT ITER 337 NEW BEST:: SOT 4738 SOS 2498 HAS SOPS 2498 HAS SOUS 2207 HAS SOUPS 2207 WITH SCORE 2209.498
AT ITER 355 NEW BEST:: SOT 4736 SOS 2496 HAS SOPS 2496 HAS SOUS 2205 HAS SOUPS 2205 WITH SCORE 2207.496
AT ITER 368 NEW BEST:: SOT 4728 SOS 2488 HAS SOPS 2488 HAS SOUS 2197 HAS SOUPS 2197 WITH SCORE 2199.488
AT ITER 390 NEW BEST:: SOT 4720 SOS 2480 HAS SOPS 2480 HAS SOUS 2189 HAS SOUPS 2189 WITH SCORE 2191.48
AT ITER 392 NEW BEST:: SOT 4708 SOS 2461 HAS SOPS 2461 HAS SOUS 2170 HAS SOUPS 2170 WITH SCORE 2172.461
AT ITER 396 NEW BEST:: SOT 4708 SOS 2455 HAS SOPS 2455 HAS SOUS 2164 HAS SOUPS 2164 WITH SCORE 2166.455
AT ITER 397 NEW BEST:: SOT 4700 SOS 2444 HAS SOPS 2444 HAS SOUS 2152 HAS SOUPS 2152 WITH SCORE 2154.444
AT ITER 398 NEW BEST:: SOT 4691 SOS 2440 HAS SOPS 2440 HAS SOUS 2148 HAS SOUPS 2148 WITH SCORE 2150.44
AT ITER 400 NEW BEST:: SOT 4679 SOS 2416 HAS SOPS 2416 HAS SOUS 2136 HAS SOUPS 2136 WITH SCORE 2138.416
AT ITER 403 NEW BEST:: SOT 4666 SOS 2340 HAS SOPS 2340 HAS SOUS 2058 HAS SOUPS 2058 WITH SCORE 2060.34
AT ITER 405 NEW BEST:: SOT 4663 SOS 2328 HAS SOPS 2328 HAS SOUS 2053 HAS SOUPS 2053 WITH SCORE 2055.328
AT ITER 410 NEW BEST:: SOT 4660 SOS 2325 HAS SOPS 2325 HAS SOUS 2050 HAS SOUPS 2050 WITH SCORE 2052.325
AT ITER 412 NEW BEST:: SOT 4667 SOS 2322 HAS SOPS 2322 HAS SOUS 2050 HAS SOUPS 2050 WITH SCORE 2052.322
AT ITER 413 NEW BEST:: SOT 4660 SOS 2315 HAS SOPS 2315 HAS SOUS 2043 HAS SOUPS 2043 WITH SCORE 2045.315
AT ITER 417 NEW BEST:: SOT 4660 SOS 2296 HAS SOPS 2296 HAS SOUS 2034 HAS SOUPS 2034 WITH SCORE 2036.296
AT ITER 422 NEW BEST:: SOT 4660 SOS 2294 HAS SOPS 2294 HAS SOUS 2034 HAS SOUPS 2034 WITH SCORE 2036.294
AT ITER 428 NEW BEST:: SOT 4657 SOS 2291 HAS SOPS 2291 HAS SOUS 2031 HAS SOUPS 2031 WITH SCORE 2033.291
AT ITER 429 NEW BEST:: SOT 4641 SOS 2266 HAS SOPS 2266 HAS SOUS 2006 HAS SOUPS 2006 WITH SCORE 2008.266
AT ITER 437 NEW BEST:: SOT 4608 SOS 2226 HAS SOPS 2226 HAS SOUS 1949 HAS SOUPS 1949 WITH SCORE 1951.226
AT ITER 439 NEW BEST:: SOT 4610 SOS 2224 HAS SOPS 2224 HAS SOUS 1947 HAS SOUPS 1947 WITH SCORE 1949.224
AT ITER 451 NEW BEST:: SOT 4630 SOS 2267 HAS SOPS 2267 HAS SOUS 1942 HAS SOUPS 1942 WITH SCORE 1944.267
AT ITER 464 NEW BEST:: SOT 4616 SOS 2236 HAS SOPS 2236 HAS SOUS 1938 HAS SOUPS 1938 WITH SCORE 1940.236
AT ITER 472 NEW BEST:: SOT 4617 SOS 2235 HAS SOPS 2235 HAS SOUS 1937 HAS SOUPS 1937 WITH SCORE 1939.235
AT ITER 473 NEW BEST:: SOT 4616 SOS 2233 HAS SOPS 2233 HAS SOUS 1935 HAS SOUPS 1935 WITH SCORE 1937.233
AT ITER 476 NEW BEST:: SOT 4616 SOS 2222 HAS SOPS 2222 HAS SOUS 1924 HAS SOUPS 1924 WITH SCORE 1926.222
AT ITER 486 NEW BEST:: SOT 4610 SOS 2216 HAS SOPS 2216 HAS SOUS 1917 HAS SOUPS 1917 WITH SCORE 1919.216
AT ITER 503 NEW BEST:: SOT 4584 SOS 2153 HAS SOPS 2153 HAS SOUS 1854 HAS SOUPS 1854 WITH SCORE 1856.153
AT ITER 511 NEW BEST:: SOT 4574 SOS 2151 HAS SOPS 2151 HAS SOUS 1841 HAS SOUPS 1841 WITH SCORE 1843.151
AT ITER 519 NEW BEST:: SOT 4576 SOS 2156 HAS SOPS 2156 HAS SOUS 1840 HAS SOUPS 1840 WITH SCORE 1842.156
AT ITER 543 NEW BEST:: SOT 4581 SOS 2136 HAS SOPS 2136 HAS SOUS 1817 HAS SOUPS 1817 WITH SCORE 1819.136
AT ITER 549 NEW BEST:: SOT 4581 SOS 2142 HAS SOPS 2142 HAS SOUS 1815 HAS SOUPS 1815 WITH SCORE 1817.142
AT ITER 573 NEW BEST:: SOT 4581 SOS 2140 HAS SOPS 2140 HAS SOUS 1813 HAS SOUPS 1813 WITH SCORE 1815.14
AT ITER 591 NEW BEST:: SOT 4580 SOS 2139 HAS SOPS 2139 HAS SOUS 1812 HAS SOUPS 1812 WITH SCORE 1814.139
AT ITER 598 NEW BEST:: SOT 4566 SOS 2101 HAS SOPS 2101 HAS SOUS 1794 HAS SOUPS 1794 WITH SCORE 1796.101
AT ITER 605 NEW BEST:: SOT 4566 SOS 2061 HAS SOPS 2061 HAS SOUS 1785 HAS SOUPS 1785 WITH SCORE 1787.061
AT ITER 609 NEW BEST:: SOT 4566 SOS 2059 HAS SOPS 2059 HAS SOUS 1785 HAS SOUPS 1785 WITH SCORE 1787.059
AT ITER 615 NEW BEST:: SOT 4566 SOS 2052 HAS SOPS 2052 HAS SOUS 1776 HAS SOUPS 1776 WITH SCORE 1778.052
AT ITER 626 NEW BEST:: SOT 4550 SOS 2044 HAS SOPS 2044 HAS SOUS 1768 HAS SOUPS 1768 WITH SCORE 1770.044
AT ITER 664 NEW BEST:: SOT 4550 SOS 2020 HAS SOPS 2020 HAS SOUS 1728 HAS SOUPS 1728 WITH SCORE 1730.02
AT ITER 666 NEW BEST:: SOT 4550 SOS 2017 HAS SOPS 2017 HAS SOUS 1723 HAS SOUPS 1723 WITH SCORE 1725.017
AT ITER 695 NEW BEST:: SOT 4531 SOS 1997 HAS SOPS 1997 HAS SOUS 1709 HAS SOUPS 1709 WITH SCORE 1710.997
AT ITER 697 NEW BEST:: SOT 4516 SOS 1982 HAS SOPS 1982 HAS SOUS 1702 HAS SOUPS 1702 WITH SCORE 1703.982
AT ITER 737 NEW BEST:: SOT 4515 SOS 1981 HAS SOPS 1981 HAS SOUS 1701 HAS SOUPS 1701 WITH SCORE 1702.981
AT ITER 740 NEW BEST:: SOT 4504 SOS 1965 HAS SOPS 1965 HAS SOUS 1685 HAS SOUPS 1685 WITH SCORE 1686.965
AT ITER 742 NEW BEST:: SOT 4491 SOS 1935 HAS SOPS 1935 HAS SOUS 1655 HAS SOUPS 1655 WITH SCORE 1656.935
AT ITER 743 NEW BEST:: SOT 4488 SOS 1932 HAS SOPS 1932 HAS SOUS 1652 HAS SOUPS 1652 WITH SCORE 1653.932
AT ITER 756 NEW BEST:: SOT 4478 SOS 1913 HAS SOPS 1913 HAS SOUS 1633 HAS SOUPS 1633 WITH SCORE 1634.913
AT ITER 762 NEW BEST:: SOT 4478 SOS 1885 HAS SOPS 1885 HAS SOUS 1626 HAS SOUPS 1626 WITH SCORE 1627.885
AT ITER 777 NEW BEST:: SOT 4475 SOS 1827 HAS SOPS 1827 HAS SOUS 1626 HAS SOUPS 1626 WITH SCORE 1627.827
AT ITER 785 NEW BEST:: SOT 4457 SOS 1790 HAS SOPS 1790 HAS SOUS 1617 HAS SOUPS 1617 WITH SCORE 1618.79
AT ITER 787 NEW BEST:: SOT 4465 SOS 1800 HAS SOPS 1800 HAS SOUS 1615 HAS SOUPS 1615 WITH SCORE 1616.8
AT ITER 795 NEW BEST:: SOT 4449 SOS 1784 HAS SOPS 1784 HAS SOUS 1599 HAS SOUPS 1599 WITH SCORE 1600.784
AT ITER 820 NEW BEST:: SOT 4448 SOS 1783 HAS SOPS 1783 HAS SOUS 1598 HAS SOUPS 1598 WITH SCORE 1599.783
AT ITER 822 NEW BEST:: SOT 4453 SOS 1781 HAS SOPS 1781 HAS SOUS 1591 HAS SOUPS 1591 WITH SCORE 1592.781
AT ITER 873 NEW BEST:: SOT 4453 SOS 1775 HAS SOPS 1775 HAS SOUS 1585 HAS SOUPS 1585 WITH SCORE 1586.775
AT ITER 878 NEW BEST:: SOT 4455 SOS 1771 HAS SOPS 1771 HAS SOUS 1581 HAS SOUPS 1581 WITH SCORE 1582.771
AT ITER 890 NEW BEST:: SOT 4458 SOS 1769 HAS SOPS 1769 HAS SOUS 1579 HAS SOUPS 1579 WITH SCORE 1580.769
AT ITER 900 NEW BEST:: SOT 4454 SOS 1820 HAS SOPS 1820 HAS SOUS 1572 HAS SOUPS 1572 WITH SCORE 1573.82
AT ITER 916 NEW BEST:: SOT 4444 SOS 1810 HAS SOPS 1810 HAS SOUS 1562 HAS SOUPS 1562 WITH SCORE 1563.81
AT ITER 968 NEW BEST:: SOT 4443 SOS 1809 HAS SOPS 1809 HAS SOUS 1561 HAS SOUPS 1561 WITH SCORE 1562.809
AT ITER 976 NEW BEST:: SOT 4446 SOS 1806 HAS SOPS 1806 HAS SOUS 1561 HAS SOUPS 1561 WITH SCORE 1562.806
AT ITER 991 NEW BEST:: SOT 4446 SOS 1804 HAS SOPS 1804 HAS SOUS 1557 HAS SOUPS 1557 WITH SCORE 1558.804
AT ITER 1010 NEW BEST:: SOT 4446 SOS 1796 HAS SOPS 1796 HAS SOUS 1549 HAS SOUPS 1549 WITH SCORE 1550.796
AT ITER 1015 NEW BEST:: SOT 4432 SOS 1781 HAS SOPS 1781 HAS SOUS 1533 HAS SOUPS 1533 WITH SCORE 1534.781
AT ITER 1022 NEW BEST:: SOT 4424 SOS 1773 HAS SOPS 1773 HAS SOUS 1525 HAS SOUPS 1525 WITH SCORE 1526.773
AT ITER 1061 NEW BEST:: SOT 4426 SOS 1743 HAS SOPS 1743 HAS SOUS 1502 HAS SOUPS 1502 WITH SCORE 1503.743
AT ITER 1064 NEW BEST:: SOT 4422 SOS 1731 HAS SOPS 1731 HAS SOUS 1496 HAS SOUPS 1496 WITH SCORE 1497.731
AT ITER 1078 NEW BEST:: SOT 4422 SOS 1730 HAS SOPS 1730 HAS SOUS 1495 HAS SOUPS 1495 WITH SCORE 1496.73
AT ITER 1093 NEW BEST:: SOT 4420 SOS 1727 HAS SOPS 1727 HAS SOUS 1491 HAS SOUPS 1491 WITH SCORE 1492.727
AT ITER 1133 NEW BEST:: SOT 4418 SOS 1725 HAS SOPS 1725 HAS SOUS 1489 HAS SOUPS 1489 WITH SCORE 1490.725
AT ITER 1135 NEW BEST:: SOT 4400 SOS 1683 HAS SOPS 1683 HAS SOUS 1465 HAS SOUPS 1465 WITH SCORE 1466.683
AT ITER 1137 NEW BEST:: SOT 4403 SOS 1686 HAS SOPS 1686 HAS SOUS 1459 HAS SOUPS 1459 WITH SCORE 1460.686
AT ITER 1195 NEW BEST:: SOT 4398 SOS 1677 HAS SOPS 1677 HAS SOUS 1450 HAS SOUPS 1450 WITH SCORE 1451.677
AT ITER 1214 NEW BEST:: SOT 4389 SOS 1600 HAS SOPS 1600 HAS SOUS 1442 HAS SOUPS 1442 WITH SCORE 1443.6
AT ITER 1231 NEW BEST:: SOT 4379 SOS 1588 HAS SOPS 1588 HAS SOUS 1431 HAS SOUPS 1431 WITH SCORE 1432.588
AT ITER 1233 NEW BEST:: SOT 4375 SOS 1586 HAS SOPS 1586 HAS SOUS 1429 HAS SOUPS 1429 WITH SCORE 1430.586
AT ITER 1237 NEW BEST:: SOT 4374 SOS 1585 HAS SOPS 1585 HAS SOUS 1428 HAS SOUPS 1428 WITH SCORE 1429.585
AT ITER 1239 NEW BEST:: SOT 4374 SOS 1585 HAS SOPS 1585 HAS SOUS 1422 HAS SOUPS 1422 WITH SCORE 1423.585
AT ITER 1242 NEW BEST:: SOT 4366 SOS 1575 HAS SOPS 1575 HAS SOUS 1412 HAS SOUPS 1412 WITH SCORE 1413.575
AT ITER 1248 NEW BEST:: SOT 4364 SOS 1573 HAS SOPS 1573 HAS SOUS 1410 HAS SOUPS 1410 WITH SCORE 1411.573
AT ITER 1262 NEW BEST:: SOT 4366 SOS 1572 HAS SOPS 1572 HAS SOUS 1410 HAS SOUPS 1410 WITH SCORE 1411.572
AT ITER 1264 NEW BEST:: SOT 4372 SOS 1571 HAS SOPS 1571 HAS SOUS 1409 HAS SOUPS 1409 WITH SCORE 1410.571
AT ITER 1265 NEW BEST:: SOT 4372 SOS 1570 HAS SOPS 1570 HAS SOUS 1408 HAS SOUPS 1408 WITH SCORE 1409.57
AT ITER 1277 NEW BEST:: SOT 4369 SOS 1567 HAS SOPS 1567 HAS SOUS 1405 HAS SOUPS 1405 WITH SCORE 1406.567
AT ITER 1284 NEW BEST:: SOT 4360 SOS 1562 HAS SOPS 1562 HAS SOUS 1400 HAS SOUPS 1400 WITH SCORE 1401.562
AT ITER 1286 NEW BEST:: SOT 4359 SOS 1560 HAS SOPS 1560 HAS SOUS 1398 HAS SOUPS 1398 WITH SCORE 1399.56
AT ITER 1304 NEW BEST:: SOT 4358 SOS 1559 HAS SOPS 1559 HAS SOUS 1397 HAS SOUPS 1397 WITH SCORE 1398.559
AT ITER 1343 NEW BEST:: SOT 4347 SOS 1548 HAS SOPS 1548 HAS SOUS 1386 HAS SOUPS 1386 WITH SCORE 1387.548
AT ITER 1355 NEW BEST:: SOT 4347 SOS 1548 HAS SOPS 1548 HAS SOUS 1383 HAS SOUPS 1383 WITH SCORE 1384.548
AT ITER 1358 NEW BEST:: SOT 4351 SOS 1544 HAS SOPS 1544 HAS SOUS 1379 HAS SOUPS 1379 WITH SCORE 1380.544
AT ITER 1372 NEW BEST:: SOT 4352 SOS 1523 HAS SOPS 1523 HAS SOUS 1374 HAS SOUPS 1374 WITH SCORE 1375.523
AT ITER 1384 NEW BEST:: SOT 4350 SOS 1521 HAS SOPS 1521 HAS SOUS 1372 HAS SOUPS 1372 WITH SCORE 1373.521
AT ITER 1423 NEW BEST:: SOT 4343 SOS 1517 HAS SOPS 1517 HAS SOUS 1362 HAS SOUPS 1362 WITH SCORE 1363.517
AT ITER 1433 NEW BEST:: SOT 4351 SOS 1501 HAS SOPS 1501 HAS SOUS 1359 HAS SOUPS 1359 WITH SCORE 1360.501
AT ITER 1449 NEW BEST:: SOT 4354 SOS 1505 HAS SOPS 1505 HAS SOUS 1358 HAS SOUPS 1358 WITH SCORE 1359.505
AT ITER 1455 NEW BEST:: SOT 4335 SOS 1491 HAS SOPS 1491 HAS SOUS 1351 HAS SOUPS 1351 WITH SCORE 1352.491
AT ITER 1462 NEW BEST:: SOT 4329 SOS 1485 HAS SOPS 1485 HAS SOUS 1344 HAS SOUPS 1344 WITH SCORE 1345.485
AT ITER 1469 NEW BEST:: SOT 4330 SOS 1490 HAS SOPS 1490 HAS SOUS 1339 HAS SOUPS 1339 WITH SCORE 1340.49
AT ITER 1494 NEW BEST:: SOT 4326 SOS 1482 HAS SOPS 1482 HAS SOUS 1331 HAS SOUPS 1331 WITH SCORE 1332.482
AT ITER 1500 NEW BEST:: SOT 4323 SOS 1479 HAS SOPS 1479 HAS SOUS 1327 HAS SOUPS 1327 WITH SCORE 1328.479
AT ITER 1512 NEW BEST:: SOT 4323 SOS 1478 HAS SOPS 1478 HAS SOUS 1327 HAS SOUPS 1327 WITH SCORE 1328.478
AT ITER 1530 NEW BEST:: SOT 4321 SOS 1482 HAS SOPS 1482 HAS SOUS 1325 HAS SOUPS 1325 WITH SCORE 1326.482
AT ITER 1534 NEW BEST:: SOT 4322 SOS 1477 HAS SOPS 1477 HAS SOUS 1319 HAS SOUPS 1319 WITH SCORE 1320.477
AT ITER 1574 NEW BEST:: SOT 4320 SOS 1475 HAS SOPS 1475 HAS SOUS 1317 HAS SOUPS 1317 WITH SCORE 1318.475
AT ITER 1585 NEW BEST:: SOT 4316 SOS 1469 HAS SOPS 1469 HAS SOUS 1311 HAS SOUPS 1311 WITH SCORE 1312.469
AT ITER 1681 NEW BEST:: SOT 4314 SOS 1466 HAS SOPS 1466 HAS SOUS 1309 HAS SOUPS 1309 WITH SCORE 1310.466
AT ITER 1690 NEW BEST:: SOT 4316 SOS 1474 HAS SOPS 1474 HAS SOUS 1306 HAS SOUPS 1306 WITH SCORE 1307.474
AT ITER 1717 NEW BEST:: SOT 4302 SOS 1469 HAS SOPS 1469 HAS SOUS 1301 HAS SOUPS 1301 WITH SCORE 1302.469
AT ITER 1721 NEW BEST:: SOT 4300 SOS 1466 HAS SOPS 1466 HAS SOUS 1298 HAS SOUPS 1298 WITH SCORE 1299.466
AT ITER 1738 NEW BEST:: SOT 4300 SOS 1458 HAS SOPS 1458 HAS SOUS 1296 HAS SOUPS 1296 WITH SCORE 1297.458
AT ITER 1748 NEW BEST:: SOT 4299 SOS 1458 HAS SOPS 1458 HAS SOUS 1294 HAS SOUPS 1294 WITH SCORE 1295.458
AT ITER 1765 NEW BEST:: SOT 4297 SOS 1456 HAS SOPS 1456 HAS SOUS 1292 HAS SOUPS 1292 WITH SCORE 1293.456
AT ITER 1768 NEW BEST:: SOT 4293 SOS 1452 HAS SOPS 1452 HAS SOUS 1288 HAS SOUPS 1288 WITH SCORE 1289.452
AT ITER 1813 NEW BEST:: SOT 4289 SOS 1449 HAS SOPS 1449 HAS SOUS 1285 HAS SOUPS 1285 WITH SCORE 1286.449
AT ITER 1816 NEW BEST:: SOT 4288 SOS 1448 HAS SOPS 1448 HAS SOUS 1284 HAS SOUPS 1284 WITH SCORE 1285.448
AT ITER 1851 NEW BEST:: SOT 4288 SOS 1446 HAS SOPS 1446 HAS SOUS 1283 HAS SOUPS 1283 WITH SCORE 1284.446
AT ITER 1973 NEW BEST:: SOT 4293 SOS 1452 HAS SOPS 1452 HAS SOUS 1279 HAS SOUPS 1279 WITH SCORE 1280.452
AT ITER 2002 NEW BEST:: SOT 4292 SOS 1451 HAS SOPS 1451 HAS SOUS 1279 HAS SOUPS 1279 WITH SCORE 1280.451
AT ITER 2007 NEW BEST:: SOT 4288 SOS 1443 HAS SOPS 1443 HAS SOUS 1275 HAS SOUPS 1275 WITH SCORE 1276.443
AT ITER 2116 NEW BEST:: SOT 4284 SOS 1439 HAS SOPS 1439 HAS SOUS 1271 HAS SOUPS 1271 WITH SCORE 1272.439
AT ITER 2186 NEW BEST:: SOT 4284 SOS 1441 HAS SOPS 1441 HAS SOUS 1266 HAS SOUPS 1266 WITH SCORE 1267.441
AT ITER 2198 NEW BEST:: SOT 4281 SOS 1441 HAS SOPS 1441 HAS SOUS 1263 HAS SOUPS 1263 WITH SCORE 1264.441
AT ITER 2218 NEW BEST:: SOT 4287 SOS 1443 HAS SOPS 1443 HAS SOUS 1260 HAS SOUPS 1260 WITH SCORE 1261.443
AT ITER 2242 NEW BEST:: SOT 4285 SOS 1440 HAS SOPS 1440 HAS SOUS 1258 HAS SOUPS 1258 WITH SCORE 1259.44
AT ITER 2254 NEW BEST:: SOT 4283 SOS 1438 HAS SOPS 1438 HAS SOUS 1256 HAS SOUPS 1256 WITH SCORE 1257.438
AT ITER 2263 NEW BEST:: SOT 4281 SOS 1435 HAS SOPS 1435 HAS SOUS 1253 HAS SOUPS 1253 WITH SCORE 1254.435
AT ITER 2294 NEW BEST:: SOT 4278 SOS 1422 HAS SOPS 1422 HAS SOUS 1246 HAS SOUPS 1246 WITH SCORE 1247.422
AT ITER 2556 NEW BEST:: SOT 4270 SOS 1414 HAS SOPS 1414 HAS SOUS 1238 HAS SOUPS 1238 WITH SCORE 1239.414
AT ITER 2622 NEW BEST:: SOT 4270 SOS 1410 HAS SOPS 1410 HAS SOUS 1235 HAS SOUPS 1235 WITH SCORE 1236.41
AT ITER 2683 NEW BEST:: SOT 4271 SOS 1409 HAS SOPS 1409 HAS SOUS 1235 HAS SOUPS 1235 WITH SCORE 1236.409
AT ITER 2690 NEW BEST:: SOT 4269 SOS 1407 HAS SOPS 1407 HAS SOUS 1233 HAS SOUPS 1233 WITH SCORE 1234.407
AT ITER 2723 NEW BEST:: SOT 4267 SOS 1399 HAS SOPS 1399 HAS SOUS 1230 HAS SOUPS 1230 WITH SCORE 1231.399
AT ITER 2737 NEW BEST:: SOT 4265 SOS 1376 HAS SOPS 1376 HAS SOUS 1218 HAS SOUPS 1218 WITH SCORE 1219.376
AT ITER 2768 NEW BEST:: SOT 4268 SOS 1367 HAS SOPS 1367 HAS SOUS 1218 HAS SOUPS 1218 WITH SCORE 1219.367
AT ITER 2805 NEW BEST:: SOT 4267 SOS 1362 HAS SOPS 1362 HAS SOUS 1211 HAS SOUPS 1211 WITH SCORE 1212.362
AT ITER 2934 NEW BEST:: SOT 4261 SOS 1359 HAS SOPS 1359 HAS SOUS 1210 HAS SOUPS 1210 WITH SCORE 1211.359
AT ITER 2957 NEW BEST:: SOT 4259 SOS 1356 HAS SOPS 1356 HAS SOUS 1207 HAS SOUPS 1207 WITH SCORE 1208.356
AT ITER 3087 NEW BEST:: SOT 4259 SOS 1355 HAS SOPS 1355 HAS SOUS 1205 HAS SOUPS 1205 WITH SCORE 1206.355
AT ITER 3166 NEW BEST:: SOT 4259 SOS 1349 HAS SOPS 1349 HAS SOUS 1199 HAS SOUPS 1199 WITH SCORE 1200.349
AT ITER 3214 NEW BEST:: SOT 4251 SOS 1348 HAS SOPS 1348 HAS SOUS 1193 HAS SOUPS 1193 WITH SCORE 1194.348
AT ITER 3253 NEW BEST:: SOT 4249 SOS 1347 HAS SOPS 1347 HAS SOUS 1192 HAS SOUPS 1192 WITH SCORE 1193.347
AT ITER 3360 NEW BEST:: SOT 4247 SOS 1344 HAS SOPS 1344 HAS SOUS 1189 HAS SOUPS 1189 WITH SCORE 1190.344
AT ITER 3372 NEW BEST:: SOT 4245 SOS 1345 HAS SOPS 1345 HAS SOUS 1187 HAS SOUPS 1187 WITH SCORE 1188.345
AT ITER 3386 NEW BEST:: SOT 4241 SOS 1341 HAS SOPS 1341 HAS SOUS 1183 HAS SOUPS 1183 WITH SCORE 1184.341
AT ITER 3401 NEW BEST:: SOT 4240 SOS 1340 HAS SOPS 1340 HAS SOUS 1183 HAS SOUPS 1183 WITH SCORE 1184.34
AT ITER 3402 NEW BEST:: SOT 4235 SOS 1338 HAS SOPS 1338 HAS SOUS 1180 HAS SOUPS 1180 WITH SCORE 1181.338
AT ITER 3461 NEW BEST:: SOT 4236 SOS 1333 HAS SOPS 1333 HAS SOUS 1175 HAS SOUPS 1175 WITH SCORE 1176.333
AT ITER 3529 NEW BEST:: SOT 4234 SOS 1331 HAS SOPS 1331 HAS SOUS 1173 HAS SOUPS 1173 WITH SCORE 1174.331
AT ITER 3604 NEW BEST:: SOT 4234 SOS 1328 HAS SOPS 1328 HAS SOUS 1172 HAS SOUPS 1172 WITH SCORE 1173.328
AT ITER 3651 NEW BEST:: SOT 4230 SOS 1324 HAS SOPS 1324 HAS SOUS 1169 HAS SOUPS 1169 WITH SCORE 1170.324
AT ITER 3672 NEW BEST:: SOT 4226 SOS 1319 HAS SOPS 1319 HAS SOUS 1164 HAS SOUPS 1164 WITH SCORE 1165.319
AT ITER 3887 NEW BEST:: SOT 4228 SOS 1318 HAS SOPS 1318 HAS SOUS 1163 HAS SOUPS 1163 WITH SCORE 1164.318
AT ITER 4181 NEW BEST:: SOT 4232 SOS 1317 HAS SOPS 1317 HAS SOUS 1162 HAS SOUPS 1162 WITH SCORE 1163.317
AT ITER 4196 NEW BEST:: SOT 4231 SOS 1316 HAS SOPS 1316 HAS SOUS 1161 HAS SOUPS 1161 WITH SCORE 1162.316
AT ITER 4241 NEW BEST:: SOT 4229 SOS 1313 HAS SOPS 1313 HAS SOUS 1157 HAS SOUPS 1157 WITH SCORE 1158.313
AT ITER 4304 NEW BEST:: SOT 4229 SOS 1312 HAS SOPS 1312 HAS SOUS 1157 HAS SOUPS 1157 WITH SCORE 1158.312
AT ITER 4317 NEW BEST:: SOT 4227 SOS 1310 HAS SOPS 1310 HAS SOUS 1155 HAS SOUPS 1155 WITH SCORE 1156.31
AT ITER 4407 NEW BEST:: SOT 4227 SOS 1309 HAS SOPS 1309 HAS SOUS 1155 HAS SOUPS 1155 WITH SCORE 1156.309
AT ITER 4423 NEW BEST:: SOT 4221 SOS 1291 HAS SOPS 1291 HAS SOUS 1141 HAS SOUPS 1141 WITH SCORE 1142.291
AT ITER 4426 NEW BEST:: SOT 4221 SOS 1282 HAS SOPS 1282 HAS SOUS 1140 HAS SOUPS 1140 WITH SCORE 1141.282
AT ITER 4457 NEW BEST:: SOT 4215 SOS 1276 HAS SOPS 1276 HAS SOUS 1136 HAS SOUPS 1136 WITH SCORE 1137.276
AT ITER 4477 NEW BEST:: SOT 4213 SOS 1270 HAS SOPS 1270 HAS SOUS 1131 HAS SOUPS 1131 WITH SCORE 1132.27
AT ITER 4557 NEW BEST:: SOT 4211 SOS 1265 HAS SOPS 1265 HAS SOUS 1128 HAS SOUPS 1128 WITH SCORE 1129.265
AT ITER 4607 NEW BEST:: SOT 4209 SOS 1263 HAS SOPS 1263 HAS SOUS 1126 HAS SOUPS 1126 WITH SCORE 1127.263
AT ITER 4649 NEW BEST:: SOT 4209 SOS 1262 HAS SOPS 1262 HAS SOUS 1125 HAS SOUPS 1125 WITH SCORE 1126.262
AT ITER 4666 NEW BEST:: SOT 4210 SOS 1258 HAS SOPS 1258 HAS SOUS 1125 HAS SOUPS 1125 WITH SCORE 1126.258
AT ITER 4781 NEW BEST:: SOT 4205 SOS 1261 HAS SOPS 1261 HAS SOUS 1124 HAS SOUPS 1124 WITH SCORE 1125.261
AT ITER 4912 NEW BEST:: SOT 4203 SOS 1259 HAS SOPS 1259 HAS SOUS 1122 HAS SOUPS 1122 WITH SCORE 1123.259
AT ITER 4926 NEW BEST:: SOT 4196 SOS 1253 HAS SOPS 1253 HAS SOUS 1116 HAS SOUPS 1116 WITH SCORE 1117.253
AT ITER 4944 NEW BEST:: SOT 4194 SOS 1249 HAS SOPS 1249 HAS SOUS 1113 HAS SOUPS 1113 WITH SCORE 1114.249
AT ITER 5287 NEW BEST:: SOT 4193 SOS 1247 HAS SOPS 1247 HAS SOUS 1112 HAS SOUPS 1112 WITH SCORE 1113.247
AT ITER 5459 NEW BEST:: SOT 4192 SOS 1244 HAS SOPS 1244 HAS SOUS 1110 HAS SOUPS 1110 WITH SCORE 1111.244
AT ITER 5593 NEW BEST:: SOT 4192 SOS 1237 HAS SOPS 1237 HAS SOUS 1105 HAS SOUPS 1105 WITH SCORE 1106.237
AT ITER 5700 NEW BEST:: SOT 4190 SOS 1233 HAS SOPS 1233 HAS SOUS 1101 HAS SOUPS 1101 WITH SCORE 1102.233
AT ITER 5757 NEW BEST:: SOT 4190 SOS 1231 HAS SOPS 1231 HAS SOUS 1100 HAS SOUPS 1100 WITH SCORE 1101.231
AT ITER 5839 NEW BEST:: SOT 4189 SOS 1229 HAS SOPS 1229 HAS SOUS 1098 HAS SOUPS 1098 WITH SCORE 1099.229
AT ITER 5926 NEW BEST:: SOT 4188 SOS 1224 HAS SOPS 1224 HAS SOUS 1095 HAS SOUPS 1095 WITH SCORE 1096.224
AT ITER 5943 NEW BEST:: SOT 4188 SOS 1223 HAS SOPS 1223 HAS SOUS 1095 HAS SOUPS 1095 WITH SCORE 1096.223
AT ITER 5979 NEW BEST:: SOT 4188 SOS 1221 HAS SOPS 1221 HAS SOUS 1095 HAS SOUPS 1095 WITH SCORE 1096.221
AT ITER 6000 NEW BEST:: SOT 4188 SOS 1221 HAS SOPS 1221 HAS SOUS 1094 HAS SOUPS 1094 WITH SCORE 1095.221
AT ITER 6342 NEW BEST:: SOT 4186 SOS 1216 HAS SOPS 1216 HAS SOUS 1087 HAS SOUPS 1087 WITH SCORE 1088.216
AT ITER 6386 NEW BEST:: SOT 4182 SOS 1211 HAS SOPS 1211 HAS SOUS 1082 HAS SOUPS 1082 WITH SCORE 1083.211
AT ITER 6418 NEW BEST:: SOT 4180 SOS 1209 HAS SOPS 1209 HAS SOUS 1081 HAS SOUPS 1081 WITH SCORE 1082.209
AT ITER 6422 NEW BEST:: SOT 4177 SOS 1206 HAS SOPS 1206 HAS SOUS 1078 HAS SOUPS 1078 WITH SCORE 1079.206
AT ITER 6670 NEW BEST:: SOT 4176 SOS 1205 HAS SOPS 1205 HAS SOUS 1077 HAS SOUPS 1077 WITH SCORE 1078.205
AT ITER 6749 NEW BEST:: SOT 4173 SOS 1199 HAS SOPS 1199 HAS SOUS 1073 HAS SOUPS 1073 WITH SCORE 1074.199
AT ITER 6765 NEW BEST:: SOT 4174 SOS 1198 HAS SOPS 1198 HAS SOUS 1073 HAS SOUPS 1073 WITH SCORE 1074.198
AT ITER 6866 NEW BEST:: SOT 4175 SOS 1196 HAS SOPS 1196 HAS SOUS 1071 HAS SOUPS 1071 WITH SCORE 1072.196
AT ITER 6895 NEW BEST:: SOT 4174 SOS 1192 HAS SOPS 1192 HAS SOUS 1069 HAS SOUPS 1069 WITH SCORE 1070.192
AT ITER 7326 NEW BEST:: SOT 4172 SOS 1189 HAS SOPS 1189 HAS SOUS 1063 HAS SOUPS 1063 WITH SCORE 1064.189
AT ITER 7335 NEW BEST:: SOT 4172 SOS 1187 HAS SOPS 1187 HAS SOUS 1063 HAS SOUPS 1063 WITH SCORE 1064.187
AT ITER 7496 NEW BEST:: SOT 4189 SOS 1154 HAS SOPS 1154 HAS SOUS 1055 HAS SOUPS 1055 WITH SCORE 1056.154
AT ITER 7539 NEW BEST:: SOT 4191 SOS 1151 HAS SOPS 1151 HAS SOUS 1054 HAS SOUPS 1054 WITH SCORE 1055.151
AT ITER 7547 NEW BEST:: SOT 4191 SOS 1148 HAS SOPS 1148 HAS SOUS 1051 HAS SOUPS 1051 WITH SCORE 1052.148
AT ITER 7822 NEW BEST:: SOT 4176 SOS 1144 HAS SOPS 1144 HAS SOUS 1042 HAS SOUPS 1042 WITH SCORE 1043.144
AT ITER 7980 NEW BEST:: SOT 4174 SOS 1141 HAS SOPS 1141 HAS SOUS 1039 HAS SOUPS 1039 WITH SCORE 1040.141
AT ITER 8031 NEW BEST:: SOT 4170 SOS 1138 HAS SOPS 1138 HAS SOUS 1036 HAS SOUPS 1036 WITH SCORE 1037.138
AT ITER 8061 NEW BEST:: SOT 4167 SOS 1137 HAS SOPS 1137 HAS SOUS 1034 HAS SOUPS 1034 WITH SCORE 1035.137
AT ITER 8175 NEW BEST:: SOT 4166 SOS 1136 HAS SOPS 1136 HAS SOUS 1033 HAS SOUPS 1033 WITH SCORE 1034.136
AT ITER 8192 NEW BEST:: SOT 4157 SOS 1124 HAS SOPS 1124 HAS SOUS 1021 HAS SOUPS 1021 WITH SCORE 1022.124
AT ITER 8312 NEW BEST:: SOT 4154 SOS 1114 HAS SOPS 1114 HAS SOUS 1015 HAS SOUPS 1015 WITH SCORE 1016.114
AT ITER 8317 NEW BEST:: SOT 4154 SOS 1114 HAS SOPS 1114 HAS SOUS 1014 HAS SOUPS 1014 WITH SCORE 1015.114
AT ITER 8341 NEW BEST:: SOT 4154 SOS 1115 HAS SOPS 1115 HAS SOUS 1012 HAS SOUPS 1012 WITH SCORE 1013.115
AT ITER 8505 NEW BEST:: SOT 4156 SOS 1114 HAS SOPS 1114 HAS SOUS 1012 HAS SOUPS 1012 WITH SCORE 1013.114
AT ITER 8523 NEW BEST:: SOT 4156 SOS 1111 HAS SOPS 1111 HAS SOUS 1010 HAS SOUPS 1010 WITH SCORE 1011.111
AT ITER 8834 NEW BEST:: SOT 4152 SOS 1095 HAS SOPS 1095 HAS SOUS 1008 HAS SOUPS 1008 WITH SCORE 1009.095
AT ITER 8862 NEW BEST:: SOT 4153 SOS 1094 HAS SOPS 1094 HAS SOUS 1007 HAS SOUPS 1007 WITH SCORE 1008.094
AT ITER 9211 NEW BEST:: SOT 4152 SOS 1093 HAS SOPS 1093 HAS SOUS 1006 HAS SOUPS 1006 WITH SCORE 1007.093
AT ITER 9412 NEW BEST:: SOT 4149 SOS 1082 HAS SOPS 1082 HAS SOUS 1000 HAS SOUPS 1000 WITH SCORE 1001.082
AT ITER 9498 NEW BEST:: SOT 4154 SOS 1075 HAS SOPS 1075 HAS SOUS 995 HAS SOUPS 995 WITH SCORE 996.075
AT ITER 9618 NEW BEST:: SOT 4152 SOS 1074 HAS SOPS 1074 HAS SOUS 995 HAS SOUPS 995 WITH SCORE 996.074
AT ITER 9810 NEW BEST:: SOT 4152 SOS 1070 HAS SOPS 1070 HAS SOUS 990 HAS SOUPS 990 WITH SCORE 991.07
AT ITER 9848 NEW BEST:: SOT 4151 SOS 1069 HAS SOPS 1069 HAS SOUS 990 HAS SOUPS 990 WITH SCORE 991.069
STATE_SPACE STATES 61292908391850 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 34 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 750630189053083 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1590444142541

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldPPPs-PT-003A"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is ShieldPPPs-PT-003A, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033469400432"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPs-PT-003A.tgz
mv ShieldPPPs-PT-003A 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 ;