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.r459-smll-167912650900184.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 SmartHome-PT-04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912650900184
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 468K
-rw-r--r-- 1 mcc users 6.2K Feb 26 05:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 26 05:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 05:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 05:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.8K Feb 26 05:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 92K Feb 26 05:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 05:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 94K Feb 26 05:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 35K 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 1679259253414

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=SmartHome-PT-04
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-19 20:54:16] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-19 20:54:17] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 20:54:17] [INFO ] Load time of PNML (sax parser for PT used): 74 ms
[2023-03-19 20:54:17] [INFO ] Transformed 139 places.
[2023-03-19 20:54:17] [INFO ] Transformed 159 transitions.
[2023-03-19 20:54:17] [INFO ] Found NUPN structural information;
[2023-03-19 20:54:17] [INFO ] Parsed PT model containing 139 places and 159 transitions and 361 arcs in 397 ms.
[2023-03-19 20:54:17] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 139 places, 159 transitions and 361 arcs took 5 ms.
Total runtime 545 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 04
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: 139 places, 159 transitions, 361 arcs.
AT ITER 0 NEW BEST:: SOT 12929 SOS 2972 HAS SOPS 2972 HAS SOUS 2903 HAS SOUPS 2903 WITH SCORE 2905.972
AT ITER 23 NEW BEST:: SOT 12792 SOS 3627 HAS SOPS 3627 HAS SOUS 2839 HAS SOUPS 2839 WITH SCORE 2842.627
AT ITER 24 NEW BEST:: SOT 12730 SOS 3920 HAS SOPS 3920 HAS SOUS 2821 HAS SOUPS 2821 WITH SCORE 2824.92
AT ITER 25 NEW BEST:: SOT 12727 SOS 3911 HAS SOPS 3911 HAS SOUS 2818 HAS SOUPS 2818 WITH SCORE 2821.911
AT ITER 26 NEW BEST:: SOT 12712 SOS 3881 HAS SOPS 3881 HAS SOUS 2816 HAS SOUPS 2816 WITH SCORE 2819.881
AT ITER 41 NEW BEST:: SOT 12625 SOS 4099 HAS SOPS 4099 HAS SOUS 2758 HAS SOUPS 2758 WITH SCORE 2762.099
AT ITER 47 NEW BEST:: SOT 12610 SOS 4083 HAS SOPS 4083 HAS SOUS 2747 HAS SOUPS 2747 WITH SCORE 2751.083
AT ITER 52 NEW BEST:: SOT 12585 SOS 4075 HAS SOPS 4075 HAS SOUS 2746 HAS SOUPS 2746 WITH SCORE 2750.075
AT ITER 56 NEW BEST:: SOT 12574 SOS 4064 HAS SOPS 4064 HAS SOUS 2735 HAS SOUPS 2735 WITH SCORE 2739.064
AT ITER 59 NEW BEST:: SOT 12568 SOS 4058 HAS SOPS 4058 HAS SOUS 2733 HAS SOUPS 2733 WITH SCORE 2737.058
AT ITER 63 NEW BEST:: SOT 12562 SOS 4018 HAS SOPS 4018 HAS SOUS 2721 HAS SOUPS 2721 WITH SCORE 2725.018
AT ITER 71 NEW BEST:: SOT 12563 SOS 3988 HAS SOPS 3988 HAS SOUS 2699 HAS SOUPS 2699 WITH SCORE 2702.988
AT ITER 113 NEW BEST:: SOT 12552 SOS 3947 HAS SOPS 3947 HAS SOUS 2669 HAS SOUPS 2669 WITH SCORE 2672.947
AT ITER 115 NEW BEST:: SOT 12524 SOS 3891 HAS SOPS 3891 HAS SOUS 2634 HAS SOUPS 2634 WITH SCORE 2637.891
AT ITER 123 NEW BEST:: SOT 12523 SOS 3889 HAS SOPS 3889 HAS SOUS 2632 HAS SOUPS 2632 WITH SCORE 2635.889
AT ITER 126 NEW BEST:: SOT 12500 SOS 3884 HAS SOPS 3884 HAS SOUS 2622 HAS SOUPS 2622 WITH SCORE 2625.884
AT ITER 144 NEW BEST:: SOT 12488 SOS 3872 HAS SOPS 3872 HAS SOUS 2610 HAS SOUPS 2610 WITH SCORE 2613.872
AT ITER 160 NEW BEST:: SOT 12467 SOS 3830 HAS SOPS 3830 HAS SOUS 2568 HAS SOUPS 2568 WITH SCORE 2571.83
AT ITER 169 NEW BEST:: SOT 12446 SOS 3798 HAS SOPS 3798 HAS SOUS 2529 HAS SOUPS 2529 WITH SCORE 2532.798
AT ITER 183 NEW BEST:: SOT 12446 SOS 3797 HAS SOPS 3797 HAS SOUS 2528 HAS SOUPS 2528 WITH SCORE 2531.797
AT ITER 196 NEW BEST:: SOT 12440 SOS 3797 HAS SOPS 3797 HAS SOUS 2527 HAS SOUPS 2527 WITH SCORE 2530.797
AT ITER 202 NEW BEST:: SOT 12438 SOS 3807 HAS SOPS 3807 HAS SOUS 2525 HAS SOUPS 2525 WITH SCORE 2528.807
AT ITER 206 NEW BEST:: SOT 12429 SOS 3758 HAS SOPS 3758 HAS SOUS 2515 HAS SOUPS 2515 WITH SCORE 2518.758
AT ITER 213 NEW BEST:: SOT 12414 SOS 3728 HAS SOPS 3728 HAS SOUS 2515 HAS SOUPS 2515 WITH SCORE 2518.728
AT ITER 215 NEW BEST:: SOT 12404 SOS 3718 HAS SOPS 3718 HAS SOUS 2504 HAS SOUPS 2504 WITH SCORE 2507.718
AT ITER 217 NEW BEST:: SOT 12404 SOS 3718 HAS SOPS 3718 HAS SOUS 2490 HAS SOUPS 2490 WITH SCORE 2493.718
AT ITER 221 NEW BEST:: SOT 12400 SOS 3710 HAS SOPS 3710 HAS SOUS 2482 HAS SOUPS 2482 WITH SCORE 2485.71
AT ITER 239 NEW BEST:: SOT 12395 SOS 3695 HAS SOPS 3695 HAS SOUS 2477 HAS SOUPS 2477 WITH SCORE 2480.695
AT ITER 246 NEW BEST:: SOT 12393 SOS 3691 HAS SOPS 3691 HAS SOUS 2474 HAS SOUPS 2474 WITH SCORE 2477.691
AT ITER 259 NEW BEST:: SOT 12383 SOS 3682 HAS SOPS 3682 HAS SOUS 2455 HAS SOUPS 2455 WITH SCORE 2458.682
AT ITER 260 NEW BEST:: SOT 12372 SOS 3660 HAS SOPS 3660 HAS SOUS 2433 HAS SOUPS 2433 WITH SCORE 2436.66
AT ITER 262 NEW BEST:: SOT 12354 SOS 3658 HAS SOPS 3658 HAS SOUS 2423 HAS SOUPS 2423 WITH SCORE 2426.658
AT ITER 265 NEW BEST:: SOT 12342 SOS 3646 HAS SOPS 3646 HAS SOUS 2411 HAS SOUPS 2411 WITH SCORE 2414.646
AT ITER 278 NEW BEST:: SOT 12346 SOS 3650 HAS SOPS 3650 HAS SOUS 2409 HAS SOUPS 2409 WITH SCORE 2412.65
AT ITER 283 NEW BEST:: SOT 12319 SOS 3609 HAS SOPS 3609 HAS SOUS 2380 HAS SOUPS 2380 WITH SCORE 2383.609
AT ITER 289 NEW BEST:: SOT 12319 SOS 3611 HAS SOPS 3611 HAS SOUS 2377 HAS SOUPS 2377 WITH SCORE 2380.611
AT ITER 307 NEW BEST:: SOT 12321 SOS 3613 HAS SOPS 3613 HAS SOUS 2374 HAS SOUPS 2374 WITH SCORE 2377.613
AT ITER 325 NEW BEST:: SOT 12313 SOS 3605 HAS SOPS 3605 HAS SOUS 2372 HAS SOUPS 2372 WITH SCORE 2375.605
AT ITER 351 NEW BEST:: SOT 12314 SOS 3603 HAS SOPS 3603 HAS SOUS 2370 HAS SOUPS 2370 WITH SCORE 2373.603
AT ITER 363 NEW BEST:: SOT 12329 SOS 3601 HAS SOPS 3601 HAS SOUS 2368 HAS SOUPS 2368 WITH SCORE 2371.601
AT ITER 367 NEW BEST:: SOT 12334 SOS 3387 HAS SOPS 3387 HAS SOUS 2354 HAS SOUPS 2354 WITH SCORE 2357.387
AT ITER 370 NEW BEST:: SOT 12319 SOS 3375 HAS SOPS 3375 HAS SOUS 2342 HAS SOUPS 2342 WITH SCORE 2345.375
AT ITER 375 NEW BEST:: SOT 12318 SOS 3372 HAS SOPS 3372 HAS SOUS 2339 HAS SOUPS 2339 WITH SCORE 2342.372
AT ITER 403 NEW BEST:: SOT 12307 SOS 3350 HAS SOPS 3350 HAS SOUS 2328 HAS SOUPS 2328 WITH SCORE 2331.35
AT ITER 405 NEW BEST:: SOT 12303 SOS 3346 HAS SOPS 3346 HAS SOUS 2324 HAS SOUPS 2324 WITH SCORE 2327.346
AT ITER 407 NEW BEST:: SOT 12301 SOS 3342 HAS SOPS 3342 HAS SOUS 2324 HAS SOUPS 2324 WITH SCORE 2327.342
AT ITER 415 NEW BEST:: SOT 12298 SOS 3341 HAS SOPS 3341 HAS SOUS 2323 HAS SOUPS 2323 WITH SCORE 2326.341
AT ITER 416 NEW BEST:: SOT 12281 SOS 3331 HAS SOPS 3331 HAS SOUS 2313 HAS SOUPS 2313 WITH SCORE 2316.331
AT ITER 441 NEW BEST:: SOT 12279 SOS 3327 HAS SOPS 3327 HAS SOUS 2311 HAS SOUPS 2311 WITH SCORE 2314.327
AT ITER 454 NEW BEST:: SOT 12278 SOS 3325 HAS SOPS 3325 HAS SOUS 2309 HAS SOUPS 2309 WITH SCORE 2312.325
AT ITER 468 NEW BEST:: SOT 12279 SOS 3320 HAS SOPS 3320 HAS SOUS 2306 HAS SOUPS 2306 WITH SCORE 2309.32
AT ITER 470 NEW BEST:: SOT 12279 SOS 3307 HAS SOPS 3307 HAS SOUS 2293 HAS SOUPS 2293 WITH SCORE 2296.307
AT ITER 489 NEW BEST:: SOT 12260 SOS 3282 HAS SOPS 3282 HAS SOUS 2268 HAS SOUPS 2268 WITH SCORE 2271.282
AT ITER 492 NEW BEST:: SOT 12255 SOS 3272 HAS SOPS 3272 HAS SOUS 2258 HAS SOUPS 2258 WITH SCORE 2261.272
AT ITER 501 NEW BEST:: SOT 12257 SOS 3272 HAS SOPS 3272 HAS SOUS 2249 HAS SOUPS 2249 WITH SCORE 2252.272
AT ITER 508 NEW BEST:: SOT 12223 SOS 3229 HAS SOPS 3229 HAS SOUS 2206 HAS SOUPS 2206 WITH SCORE 2209.229
AT ITER 532 NEW BEST:: SOT 12216 SOS 3215 HAS SOPS 3215 HAS SOUS 2192 HAS SOUPS 2192 WITH SCORE 2195.215
AT ITER 541 NEW BEST:: SOT 12212 SOS 3211 HAS SOPS 3211 HAS SOUS 2190 HAS SOUPS 2190 WITH SCORE 2193.211
AT ITER 548 NEW BEST:: SOT 12210 SOS 3207 HAS SOPS 3207 HAS SOUS 2186 HAS SOUPS 2186 WITH SCORE 2189.207
AT ITER 569 NEW BEST:: SOT 12198 SOS 3183 HAS SOPS 3183 HAS SOUS 2174 HAS SOUPS 2174 WITH SCORE 2177.183
AT ITER 582 NEW BEST:: SOT 12191 SOS 3176 HAS SOPS 3176 HAS SOUS 2160 HAS SOUPS 2160 WITH SCORE 2163.176
AT ITER 585 NEW BEST:: SOT 12188 SOS 3170 HAS SOPS 3170 HAS SOUS 2136 HAS SOUPS 2136 WITH SCORE 2139.17
AT ITER 594 NEW BEST:: SOT 12182 SOS 3164 HAS SOPS 3164 HAS SOUS 2130 HAS SOUPS 2130 WITH SCORE 2133.164
AT ITER 606 NEW BEST:: SOT 12182 SOS 3164 HAS SOPS 3164 HAS SOUS 2129 HAS SOUPS 2129 WITH SCORE 2132.164
AT ITER 607 NEW BEST:: SOT 12182 SOS 3157 HAS SOPS 3157 HAS SOUS 2127 HAS SOUPS 2127 WITH SCORE 2130.157
AT ITER 608 NEW BEST:: SOT 12181 SOS 3155 HAS SOPS 3155 HAS SOUS 2125 HAS SOUPS 2125 WITH SCORE 2128.155
AT ITER 616 NEW BEST:: SOT 12183 SOS 3157 HAS SOPS 3157 HAS SOUS 2123 HAS SOUPS 2123 WITH SCORE 2126.157
AT ITER 676 NEW BEST:: SOT 12181 SOS 3153 HAS SOPS 3153 HAS SOUS 2123 HAS SOUPS 2123 WITH SCORE 2126.153
AT ITER 687 NEW BEST:: SOT 12181 SOS 3153 HAS SOPS 3153 HAS SOUS 2118 HAS SOUPS 2118 WITH SCORE 2121.153
AT ITER 691 NEW BEST:: SOT 12173 SOS 3137 HAS SOPS 3137 HAS SOUS 2102 HAS SOUPS 2102 WITH SCORE 2105.137
AT ITER 694 NEW BEST:: SOT 12153 SOS 3097 HAS SOPS 3097 HAS SOUS 2089 HAS SOUPS 2089 WITH SCORE 2092.097
AT ITER 699 NEW BEST:: SOT 12153 SOS 3097 HAS SOPS 3097 HAS SOUS 2087 HAS SOUPS 2087 WITH SCORE 2090.097
AT ITER 715 NEW BEST:: SOT 12151 SOS 3093 HAS SOPS 3093 HAS SOUS 2083 HAS SOUPS 2083 WITH SCORE 2086.093
AT ITER 716 NEW BEST:: SOT 12149 SOS 3089 HAS SOPS 3089 HAS SOUS 2081 HAS SOUPS 2081 WITH SCORE 2084.089
AT ITER 737 NEW BEST:: SOT 12134 SOS 3068 HAS SOPS 3068 HAS SOUS 2060 HAS SOUPS 2060 WITH SCORE 2063.068
AT ITER 740 NEW BEST:: SOT 12131 SOS 3069 HAS SOPS 3069 HAS SOUS 2054 HAS SOUPS 2054 WITH SCORE 2057.069
AT ITER 747 NEW BEST:: SOT 12122 SOS 3051 HAS SOPS 3051 HAS SOUS 2036 HAS SOUPS 2036 WITH SCORE 2039.051
AT ITER 783 NEW BEST:: SOT 12104 SOS 3035 HAS SOPS 3035 HAS SOUS 2014 HAS SOUPS 2014 WITH SCORE 2017.035
AT ITER 784 NEW BEST:: SOT 12104 SOS 3035 HAS SOPS 3035 HAS SOUS 2008 HAS SOUPS 2008 WITH SCORE 2011.035
AT ITER 823 NEW BEST:: SOT 12103 SOS 3033 HAS SOPS 3033 HAS SOUS 2006 HAS SOUPS 2006 WITH SCORE 2009.033
AT ITER 837 NEW BEST:: SOT 12076 SOS 2997 HAS SOPS 2997 HAS SOUS 2000 HAS SOUPS 2000 WITH SCORE 2002.997
AT ITER 849 NEW BEST:: SOT 12072 SOS 3004 HAS SOPS 3004 HAS SOUS 1992 HAS SOUPS 1992 WITH SCORE 1995.004
AT ITER 868 NEW BEST:: SOT 12068 SOS 2996 HAS SOPS 2996 HAS SOUS 1988 HAS SOUPS 1988 WITH SCORE 1990.996
AT ITER 870 NEW BEST:: SOT 12059 SOS 2978 HAS SOPS 2978 HAS SOUS 1948 HAS SOUPS 1948 WITH SCORE 1950.978
AT ITER 875 NEW BEST:: SOT 12047 SOS 2957 HAS SOPS 2957 HAS SOUS 1927 HAS SOUPS 1927 WITH SCORE 1929.957
AT ITER 886 NEW BEST:: SOT 12037 SOS 2937 HAS SOPS 2937 HAS SOUS 1917 HAS SOUPS 1917 WITH SCORE 1919.937
AT ITER 888 NEW BEST:: SOT 12027 SOS 2929 HAS SOPS 2929 HAS SOUS 1899 HAS SOUPS 1899 WITH SCORE 1901.929
AT ITER 895 NEW BEST:: SOT 12028 SOS 2927 HAS SOPS 2927 HAS SOUS 1895 HAS SOUPS 1895 WITH SCORE 1897.927
AT ITER 922 NEW BEST:: SOT 12027 SOS 2926 HAS SOPS 2926 HAS SOUS 1895 HAS SOUPS 1895 WITH SCORE 1897.926
AT ITER 962 NEW BEST:: SOT 12018 SOS 2908 HAS SOPS 2908 HAS SOUS 1877 HAS SOUPS 1877 WITH SCORE 1879.908
AT ITER 990 NEW BEST:: SOT 12007 SOS 2897 HAS SOPS 2897 HAS SOUS 1866 HAS SOUPS 1866 WITH SCORE 1868.897
AT ITER 1000 NEW BEST:: SOT 11995 SOS 2951 HAS SOPS 2951 HAS SOUS 1854 HAS SOUPS 1854 WITH SCORE 1856.951
AT ITER 1038 NEW BEST:: SOT 11992 SOS 2945 HAS SOPS 2945 HAS SOUS 1833 HAS SOUPS 1833 WITH SCORE 1835.945
AT ITER 1057 NEW BEST:: SOT 11981 SOS 2928 HAS SOPS 2928 HAS SOUS 1818 HAS SOUPS 1818 WITH SCORE 1820.928
AT ITER 1100 NEW BEST:: SOT 11989 SOS 2922 HAS SOPS 2922 HAS SOUS 1814 HAS SOUPS 1814 WITH SCORE 1816.922
AT ITER 1117 NEW BEST:: SOT 11985 SOS 2917 HAS SOPS 2917 HAS SOUS 1809 HAS SOUPS 1809 WITH SCORE 1811.917
AT ITER 1149 NEW BEST:: SOT 11977 SOS 2897 HAS SOPS 2897 HAS SOUS 1797 HAS SOUPS 1797 WITH SCORE 1799.897
AT ITER 1313 NEW BEST:: SOT 11968 SOS 2889 HAS SOPS 2889 HAS SOUS 1795 HAS SOUPS 1795 WITH SCORE 1797.889
AT ITER 1327 NEW BEST:: SOT 11962 SOS 2877 HAS SOPS 2877 HAS SOUS 1783 HAS SOUPS 1783 WITH SCORE 1785.877
AT ITER 1333 NEW BEST:: SOT 11956 SOS 2865 HAS SOPS 2865 HAS SOUS 1771 HAS SOUPS 1771 WITH SCORE 1773.865
AT ITER 1399 NEW BEST:: SOT 11953 SOS 2859 HAS SOPS 2859 HAS SOUS 1767 HAS SOUPS 1767 WITH SCORE 1769.859
AT ITER 1400 NEW BEST:: SOT 11951 SOS 2855 HAS SOPS 2855 HAS SOUS 1763 HAS SOUPS 1763 WITH SCORE 1765.855
AT ITER 1537 NEW BEST:: SOT 11949 SOS 2852 HAS SOPS 2852 HAS SOUS 1760 HAS SOUPS 1760 WITH SCORE 1762.852
AT ITER 1539 NEW BEST:: SOT 11940 SOS 2836 HAS SOPS 2836 HAS SOUS 1758 HAS SOUPS 1758 WITH SCORE 1760.836
AT ITER 1554 NEW BEST:: SOT 11940 SOS 2836 HAS SOPS 2836 HAS SOUS 1754 HAS SOUPS 1754 WITH SCORE 1756.836
AT ITER 1556 NEW BEST:: SOT 11941 SOS 2842 HAS SOPS 2842 HAS SOUS 1753 HAS SOUPS 1753 WITH SCORE 1755.842
AT ITER 1586 NEW BEST:: SOT 11941 SOS 2841 HAS SOPS 2841 HAS SOUS 1752 HAS SOUPS 1752 WITH SCORE 1754.841
AT ITER 1599 NEW BEST:: SOT 11935 SOS 2833 HAS SOPS 2833 HAS SOUS 1742 HAS SOUPS 1742 WITH SCORE 1744.833
AT ITER 1624 NEW BEST:: SOT 11937 SOS 2781 HAS SOPS 2781 HAS SOUS 1740 HAS SOUPS 1740 WITH SCORE 1742.781
AT ITER 1656 NEW BEST:: SOT 11929 SOS 2767 HAS SOPS 2767 HAS SOUS 1735 HAS SOUPS 1735 WITH SCORE 1737.767
AT ITER 1660 NEW BEST:: SOT 11928 SOS 2765 HAS SOPS 2765 HAS SOUS 1733 HAS SOUPS 1733 WITH SCORE 1735.765
AT ITER 1666 NEW BEST:: SOT 11918 SOS 2750 HAS SOPS 2750 HAS SOUS 1718 HAS SOUPS 1718 WITH SCORE 1720.75
AT ITER 1676 NEW BEST:: SOT 11916 SOS 2747 HAS SOPS 2747 HAS SOUS 1715 HAS SOUPS 1715 WITH SCORE 1717.747
AT ITER 1685 NEW BEST:: SOT 11914 SOS 2746 HAS SOPS 2746 HAS SOUS 1714 HAS SOUPS 1714 WITH SCORE 1716.746
AT ITER 1765 NEW BEST:: SOT 11910 SOS 2738 HAS SOPS 2738 HAS SOUS 1714 HAS SOUPS 1714 WITH SCORE 1716.738
AT ITER 1794 NEW BEST:: SOT 11910 SOS 2738 HAS SOPS 2738 HAS SOUS 1712 HAS SOUPS 1712 WITH SCORE 1714.738
AT ITER 1867 NEW BEST:: SOT 11909 SOS 2736 HAS SOPS 2736 HAS SOUS 1710 HAS SOUPS 1710 WITH SCORE 1712.736
AT ITER 1883 NEW BEST:: SOT 11899 SOS 2685 HAS SOPS 2685 HAS SOUS 1701 HAS SOUPS 1701 WITH SCORE 1703.685
AT ITER 1888 NEW BEST:: SOT 11899 SOS 2683 HAS SOPS 2683 HAS SOUS 1699 HAS SOUPS 1699 WITH SCORE 1701.683
AT ITER 1912 NEW BEST:: SOT 11905 SOS 2680 HAS SOPS 2680 HAS SOUS 1694 HAS SOUPS 1694 WITH SCORE 1696.68
AT ITER 1939 NEW BEST:: SOT 11900 SOS 2670 HAS SOPS 2670 HAS SOUS 1688 HAS SOUPS 1688 WITH SCORE 1690.67
AT ITER 1985 NEW BEST:: SOT 11897 SOS 2667 HAS SOPS 2667 HAS SOUS 1685 HAS SOUPS 1685 WITH SCORE 1687.667
AT ITER 1995 NEW BEST:: SOT 11894 SOS 2680 HAS SOPS 2680 HAS SOUS 1683 HAS SOUPS 1683 WITH SCORE 1685.68
AT ITER 2026 NEW BEST:: SOT 11891 SOS 2677 HAS SOPS 2677 HAS SOUS 1674 HAS SOUPS 1674 WITH SCORE 1676.677
AT ITER 2046 NEW BEST:: SOT 11891 SOS 2675 HAS SOPS 2675 HAS SOUS 1672 HAS SOUPS 1672 WITH SCORE 1674.675
AT ITER 2078 NEW BEST:: SOT 11884 SOS 2673 HAS SOPS 2673 HAS SOUS 1670 HAS SOUPS 1670 WITH SCORE 1672.673
AT ITER 2094 NEW BEST:: SOT 11877 SOS 2668 HAS SOPS 2668 HAS SOUS 1669 HAS SOUPS 1669 WITH SCORE 1671.668
AT ITER 2171 NEW BEST:: SOT 11873 SOS 2662 HAS SOPS 2662 HAS SOUS 1665 HAS SOUPS 1665 WITH SCORE 1667.662
AT ITER 2186 NEW BEST:: SOT 11867 SOS 2656 HAS SOPS 2656 HAS SOUS 1659 HAS SOUPS 1659 WITH SCORE 1661.656
AT ITER 2203 NEW BEST:: SOT 11866 SOS 2654 HAS SOPS 2654 HAS SOUS 1657 HAS SOUPS 1657 WITH SCORE 1659.654
AT ITER 2246 NEW BEST:: SOT 11866 SOS 2653 HAS SOPS 2653 HAS SOUS 1656 HAS SOUPS 1656 WITH SCORE 1658.653
AT ITER 2260 NEW BEST:: SOT 11859 SOS 2639 HAS SOPS 2639 HAS SOUS 1651 HAS SOUPS 1651 WITH SCORE 1653.639
AT ITER 2281 NEW BEST:: SOT 11862 SOS 2637 HAS SOPS 2637 HAS SOUS 1649 HAS SOUPS 1649 WITH SCORE 1651.637
AT ITER 2416 NEW BEST:: SOT 11860 SOS 2633 HAS SOPS 2633 HAS SOUS 1645 HAS SOUPS 1645 WITH SCORE 1647.633
AT ITER 2420 NEW BEST:: SOT 11858 SOS 2629 HAS SOPS 2629 HAS SOUS 1643 HAS SOUPS 1643 WITH SCORE 1645.629
AT ITER 2438 NEW BEST:: SOT 11850 SOS 2613 HAS SOPS 2613 HAS SOUS 1627 HAS SOUPS 1627 WITH SCORE 1629.613
AT ITER 2468 NEW BEST:: SOT 11850 SOS 2608 HAS SOPS 2608 HAS SOUS 1623 HAS SOUPS 1623 WITH SCORE 1625.608
AT ITER 2478 NEW BEST:: SOT 11853 SOS 2605 HAS SOPS 2605 HAS SOUS 1620 HAS SOUPS 1620 WITH SCORE 1622.605
AT ITER 2497 NEW BEST:: SOT 11847 SOS 2593 HAS SOPS 2593 HAS SOUS 1608 HAS SOUPS 1608 WITH SCORE 1610.593
AT ITER 2499 NEW BEST:: SOT 11846 SOS 2592 HAS SOPS 2592 HAS SOUS 1607 HAS SOUPS 1607 WITH SCORE 1609.592
AT ITER 2551 NEW BEST:: SOT 11842 SOS 2584 HAS SOPS 2584 HAS SOUS 1603 HAS SOUPS 1603 WITH SCORE 1605.584
AT ITER 2588 NEW BEST:: SOT 11842 SOS 2584 HAS SOPS 2584 HAS SOUS 1599 HAS SOUPS 1599 WITH SCORE 1601.584
AT ITER 2630 NEW BEST:: SOT 11834 SOS 2568 HAS SOPS 2568 HAS SOUS 1591 HAS SOUPS 1591 WITH SCORE 1593.568
AT ITER 2665 NEW BEST:: SOT 11819 SOS 2553 HAS SOPS 2553 HAS SOUS 1591 HAS SOUPS 1591 WITH SCORE 1593.553
AT ITER 2742 NEW BEST:: SOT 11818 SOS 2552 HAS SOPS 2552 HAS SOUS 1590 HAS SOUPS 1590 WITH SCORE 1592.552
AT ITER 2752 NEW BEST:: SOT 11816 SOS 2549 HAS SOPS 2549 HAS SOUS 1587 HAS SOUPS 1587 WITH SCORE 1589.549
AT ITER 2763 NEW BEST:: SOT 11811 SOS 2547 HAS SOPS 2547 HAS SOUS 1585 HAS SOUPS 1585 WITH SCORE 1587.547
AT ITER 2799 NEW BEST:: SOT 11811 SOS 2543 HAS SOPS 2543 HAS SOUS 1585 HAS SOUPS 1585 WITH SCORE 1587.543
AT ITER 2806 NEW BEST:: SOT 11810 SOS 2544 HAS SOPS 2544 HAS SOUS 1583 HAS SOUPS 1583 WITH SCORE 1585.544
AT ITER 2815 NEW BEST:: SOT 11808 SOS 2540 HAS SOPS 2540 HAS SOUS 1579 HAS SOUPS 1579 WITH SCORE 1581.54
AT ITER 2849 NEW BEST:: SOT 11804 SOS 2532 HAS SOPS 2532 HAS SOUS 1571 HAS SOUPS 1571 WITH SCORE 1573.532
AT ITER 2851 NEW BEST:: SOT 11795 SOS 2525 HAS SOPS 2525 HAS SOUS 1568 HAS SOUPS 1568 WITH SCORE 1570.525
AT ITER 2918 NEW BEST:: SOT 11794 SOS 2523 HAS SOPS 2523 HAS SOUS 1566 HAS SOUPS 1566 WITH SCORE 1568.523
AT ITER 3025 NEW BEST:: SOT 11798 SOS 2522 HAS SOPS 2522 HAS SOUS 1563 HAS SOUPS 1563 WITH SCORE 1565.522
AT ITER 3042 NEW BEST:: SOT 11792 SOS 2510 HAS SOPS 2510 HAS SOUS 1556 HAS SOUPS 1556 WITH SCORE 1558.51
AT ITER 3133 NEW BEST:: SOT 11791 SOS 2508 HAS SOPS 2508 HAS SOUS 1554 HAS SOUPS 1554 WITH SCORE 1556.508
AT ITER 3146 NEW BEST:: SOT 11776 SOS 2452 HAS SOPS 2452 HAS SOUS 1550 HAS SOUPS 1550 WITH SCORE 1552.452
AT ITER 3175 NEW BEST:: SOT 11764 SOS 2498 HAS SOPS 2498 HAS SOUS 1547 HAS SOUPS 1547 WITH SCORE 1549.498
AT ITER 3179 NEW BEST:: SOT 11762 SOS 2496 HAS SOPS 2496 HAS SOUS 1545 HAS SOUPS 1545 WITH SCORE 1547.496
AT ITER 3261 NEW BEST:: SOT 11754 SOS 2480 HAS SOPS 2480 HAS SOUS 1539 HAS SOUPS 1539 WITH SCORE 1541.48
AT ITER 3304 NEW BEST:: SOT 11754 SOS 2478 HAS SOPS 2478 HAS SOUS 1539 HAS SOUPS 1539 WITH SCORE 1541.478
AT ITER 3316 NEW BEST:: SOT 11752 SOS 2474 HAS SOPS 2474 HAS SOUS 1535 HAS SOUPS 1535 WITH SCORE 1537.474
AT ITER 3356 NEW BEST:: SOT 11748 SOS 2466 HAS SOPS 2466 HAS SOUS 1520 HAS SOUPS 1520 WITH SCORE 1522.466
AT ITER 3406 NEW BEST:: SOT 11748 SOS 2466 HAS SOPS 2466 HAS SOUS 1516 HAS SOUPS 1516 WITH SCORE 1518.466
AT ITER 3515 NEW BEST:: SOT 11743 SOS 2465 HAS SOPS 2465 HAS SOUS 1514 HAS SOUPS 1514 WITH SCORE 1516.465
AT ITER 3568 NEW BEST:: SOT 11743 SOS 2461 HAS SOPS 2461 HAS SOUS 1510 HAS SOUPS 1510 WITH SCORE 1512.461
AT ITER 3669 NEW BEST:: SOT 11743 SOS 2461 HAS SOPS 2461 HAS SOUS 1508 HAS SOUPS 1508 WITH SCORE 1510.461
AT ITER 3676 NEW BEST:: SOT 11741 SOS 2457 HAS SOPS 2457 HAS SOUS 1505 HAS SOUPS 1505 WITH SCORE 1507.457
AT ITER 3704 NEW BEST:: SOT 11739 SOS 2456 HAS SOPS 2456 HAS SOUS 1504 HAS SOUPS 1504 WITH SCORE 1506.456
AT ITER 3873 NEW BEST:: SOT 11737 SOS 2454 HAS SOPS 2454 HAS SOUS 1502 HAS SOUPS 1502 WITH SCORE 1504.454
AT ITER 3875 NEW BEST:: SOT 11739 SOS 2448 HAS SOPS 2448 HAS SOUS 1502 HAS SOUPS 1502 WITH SCORE 1504.448
AT ITER 3930 NEW BEST:: SOT 11735 SOS 2447 HAS SOPS 2447 HAS SOUS 1501 HAS SOUPS 1501 WITH SCORE 1503.447
AT ITER 4055 NEW BEST:: SOT 11736 SOS 2448 HAS SOPS 2448 HAS SOUS 1496 HAS SOUPS 1496 WITH SCORE 1498.448
AT ITER 4059 NEW BEST:: SOT 11736 SOS 2445 HAS SOPS 2445 HAS SOUS 1493 HAS SOUPS 1493 WITH SCORE 1495.445
AT ITER 4088 NEW BEST:: SOT 11730 SOS 2476 HAS SOPS 2476 HAS SOUS 1491 HAS SOUPS 1491 WITH SCORE 1493.476
AT ITER 4234 NEW BEST:: SOT 11729 SOS 2470 HAS SOPS 2470 HAS SOUS 1485 HAS SOUPS 1485 WITH SCORE 1487.47
AT ITER 4316 NEW BEST:: SOT 11723 SOS 2468 HAS SOPS 2468 HAS SOUS 1481 HAS SOUPS 1481 WITH SCORE 1483.468
AT ITER 4355 NEW BEST:: SOT 11721 SOS 2464 HAS SOPS 2464 HAS SOUS 1477 HAS SOUPS 1477 WITH SCORE 1479.464
AT ITER 4357 NEW BEST:: SOT 11715 SOS 2456 HAS SOPS 2456 HAS SOUS 1473 HAS SOUPS 1473 WITH SCORE 1475.456
AT ITER 4416 NEW BEST:: SOT 11713 SOS 2460 HAS SOPS 2460 HAS SOUS 1469 HAS SOUPS 1469 WITH SCORE 1471.46
AT ITER 4427 NEW BEST:: SOT 11713 SOS 2460 HAS SOPS 2460 HAS SOUS 1466 HAS SOUPS 1466 WITH SCORE 1468.46
AT ITER 4462 NEW BEST:: SOT 11707 SOS 2457 HAS SOPS 2457 HAS SOUS 1459 HAS SOUPS 1459 WITH SCORE 1461.457
AT ITER 4592 NEW BEST:: SOT 11688 SOS 2628 HAS SOPS 2628 HAS SOUS 1454 HAS SOUPS 1454 WITH SCORE 1456.628
AT ITER 4599 NEW BEST:: SOT 11687 SOS 2626 HAS SOPS 2626 HAS SOUS 1452 HAS SOUPS 1452 WITH SCORE 1454.626
AT ITER 4614 NEW BEST:: SOT 11688 SOS 2628 HAS SOPS 2628 HAS SOUS 1451 HAS SOUPS 1451 WITH SCORE 1453.628
AT ITER 4680 NEW BEST:: SOT 11688 SOS 2628 HAS SOPS 2628 HAS SOUS 1447 HAS SOUPS 1447 WITH SCORE 1449.628
AT ITER 4683 NEW BEST:: SOT 11679 SOS 2620 HAS SOPS 2620 HAS SOUS 1444 HAS SOUPS 1444 WITH SCORE 1446.62
AT ITER 4748 NEW BEST:: SOT 11673 SOS 2611 HAS SOPS 2611 HAS SOUS 1435 HAS SOUPS 1435 WITH SCORE 1437.611
AT ITER 4767 NEW BEST:: SOT 11672 SOS 2610 HAS SOPS 2610 HAS SOUS 1434 HAS SOUPS 1434 WITH SCORE 1436.61
AT ITER 4783 NEW BEST:: SOT 11669 SOS 2612 HAS SOPS 2612 HAS SOUS 1428 HAS SOUPS 1428 WITH SCORE 1430.612
AT ITER 4862 NEW BEST:: SOT 11669 SOS 2612 HAS SOPS 2612 HAS SOUS 1427 HAS SOUPS 1427 WITH SCORE 1429.612
AT ITER 4940 NEW BEST:: SOT 11669 SOS 2611 HAS SOPS 2611 HAS SOUS 1427 HAS SOUPS 1427 WITH SCORE 1429.611
AT ITER 4990 NEW BEST:: SOT 11669 SOS 2610 HAS SOPS 2610 HAS SOUS 1426 HAS SOUPS 1426 WITH SCORE 1428.61
AT ITER 5156 NEW BEST:: SOT 11667 SOS 2608 HAS SOPS 2608 HAS SOUS 1426 HAS SOUPS 1426 WITH SCORE 1428.608
AT ITER 5213 NEW BEST:: SOT 11667 SOS 2608 HAS SOPS 2608 HAS SOUS 1424 HAS SOUPS 1424 WITH SCORE 1426.608
AT ITER 5214 NEW BEST:: SOT 11667 SOS 2607 HAS SOPS 2607 HAS SOUS 1424 HAS SOUPS 1424 WITH SCORE 1426.607
AT ITER 5221 NEW BEST:: SOT 11665 SOS 2603 HAS SOPS 2603 HAS SOUS 1424 HAS SOUPS 1424 WITH SCORE 1426.603
AT ITER 5310 NEW BEST:: SOT 11662 SOS 2594 HAS SOPS 2594 HAS SOUS 1418 HAS SOUPS 1418 WITH SCORE 1420.594
AT ITER 5443 NEW BEST:: SOT 11661 SOS 2600 HAS SOPS 2600 HAS SOUS 1416 HAS SOUPS 1416 WITH SCORE 1418.6
AT ITER 5451 NEW BEST:: SOT 11660 SOS 2597 HAS SOPS 2597 HAS SOUS 1414 HAS SOUPS 1414 WITH SCORE 1416.597
AT ITER 5538 NEW BEST:: SOT 11653 SOS 2583 HAS SOPS 2583 HAS SOUS 1409 HAS SOUPS 1409 WITH SCORE 1411.583
AT ITER 5550 NEW BEST:: SOT 11635 SOS 2547 HAS SOPS 2547 HAS SOUS 1407 HAS SOUPS 1407 WITH SCORE 1409.547
AT ITER 5563 NEW BEST:: SOT 11639 SOS 2550 HAS SOPS 2550 HAS SOUS 1402 HAS SOUPS 1402 WITH SCORE 1404.55
AT ITER 5674 NEW BEST:: SOT 11639 SOS 2550 HAS SOPS 2550 HAS SOUS 1396 HAS SOUPS 1396 WITH SCORE 1398.55
AT ITER 5709 NEW BEST:: SOT 11641 SOS 2532 HAS SOPS 2532 HAS SOUS 1396 HAS SOUPS 1396 WITH SCORE 1398.532
AT ITER 5732 NEW BEST:: SOT 11636 SOS 2522 HAS SOPS 2522 HAS SOUS 1393 HAS SOUPS 1393 WITH SCORE 1395.522
AT ITER 5803 NEW BEST:: SOT 11634 SOS 2520 HAS SOPS 2520 HAS SOUS 1389 HAS SOUPS 1389 WITH SCORE 1391.52
AT ITER 6082 NEW BEST:: SOT 11633 SOS 2518 HAS SOPS 2518 HAS SOUS 1389 HAS SOUPS 1389 WITH SCORE 1391.518
AT ITER 6085 NEW BEST:: SOT 11628 SOS 2512 HAS SOPS 2512 HAS SOUS 1386 HAS SOUPS 1386 WITH SCORE 1388.512
AT ITER 6260 NEW BEST:: SOT 11626 SOS 2508 HAS SOPS 2508 HAS SOUS 1385 HAS SOUPS 1385 WITH SCORE 1387.508
AT ITER 6328 NEW BEST:: SOT 11629 SOS 2508 HAS SOPS 2508 HAS SOUS 1382 HAS SOUPS 1382 WITH SCORE 1384.508
AT ITER 6356 NEW BEST:: SOT 11625 SOS 2488 HAS SOPS 2488 HAS SOUS 1378 HAS SOUPS 1378 WITH SCORE 1380.488
AT ITER 6404 NEW BEST:: SOT 11624 SOS 2486 HAS SOPS 2486 HAS SOUS 1376 HAS SOUPS 1376 WITH SCORE 1378.486
AT ITER 6437 NEW BEST:: SOT 11624 SOS 2486 HAS SOPS 2486 HAS SOUS 1373 HAS SOUPS 1373 WITH SCORE 1375.486
AT ITER 6480 NEW BEST:: SOT 11624 SOS 2483 HAS SOPS 2483 HAS SOUS 1373 HAS SOUPS 1373 WITH SCORE 1375.483
AT ITER 6491 NEW BEST:: SOT 11622 SOS 2479 HAS SOPS 2479 HAS SOUS 1372 HAS SOUPS 1372 WITH SCORE 1374.479
AT ITER 6493 NEW BEST:: SOT 11621 SOS 2477 HAS SOPS 2477 HAS SOUS 1371 HAS SOUPS 1371 WITH SCORE 1373.477
AT ITER 6596 NEW BEST:: SOT 11621 SOS 2466 HAS SOPS 2466 HAS SOUS 1369 HAS SOUPS 1369 WITH SCORE 1371.466
AT ITER 6631 NEW BEST:: SOT 11621 SOS 2462 HAS SOPS 2462 HAS SOUS 1365 HAS SOUPS 1365 WITH SCORE 1367.462
AT ITER 6691 NEW BEST:: SOT 11619 SOS 2458 HAS SOPS 2458 HAS SOUS 1363 HAS SOUPS 1363 WITH SCORE 1365.458
AT ITER 6752 NEW BEST:: SOT 11615 SOS 2454 HAS SOPS 2454 HAS SOUS 1359 HAS SOUPS 1359 WITH SCORE 1361.454
AT ITER 6853 NEW BEST:: SOT 11615 SOS 2454 HAS SOPS 2454 HAS SOUS 1358 HAS SOUPS 1358 WITH SCORE 1360.454
AT ITER 7048 NEW BEST:: SOT 11614 SOS 2452 HAS SOPS 2452 HAS SOUS 1356 HAS SOUPS 1356 WITH SCORE 1358.452
AT ITER 7109 NEW BEST:: SOT 11609 SOS 2442 HAS SOPS 2442 HAS SOUS 1346 HAS SOUPS 1346 WITH SCORE 1348.442
AT ITER 7113 NEW BEST:: SOT 11607 SOS 2438 HAS SOPS 2438 HAS SOUS 1344 HAS SOUPS 1344 WITH SCORE 1346.438
AT ITER 7151 NEW BEST:: SOT 11604 SOS 2438 HAS SOPS 2438 HAS SOUS 1338 HAS SOUPS 1338 WITH SCORE 1340.438
AT ITER 7268 NEW BEST:: SOT 11595 SOS 2429 HAS SOPS 2429 HAS SOUS 1329 HAS SOUPS 1329 WITH SCORE 1331.429
AT ITER 7323 NEW BEST:: SOT 11599 SOS 2427 HAS SOPS 2427 HAS SOUS 1327 HAS SOUPS 1327 WITH SCORE 1329.427
AT ITER 7428 NEW BEST:: SOT 11594 SOS 2422 HAS SOPS 2422 HAS SOUS 1326 HAS SOUPS 1326 WITH SCORE 1328.422
AT ITER 7454 NEW BEST:: SOT 11596 SOS 2424 HAS SOPS 2424 HAS SOUS 1324 HAS SOUPS 1324 WITH SCORE 1326.424
AT ITER 7500 NEW BEST:: SOT 11596 SOS 2421 HAS SOPS 2421 HAS SOUS 1324 HAS SOUPS 1324 WITH SCORE 1326.421
AT ITER 7520 NEW BEST:: SOT 11596 SOS 2420 HAS SOPS 2420 HAS SOUS 1323 HAS SOUPS 1323 WITH SCORE 1325.42
AT ITER 7578 NEW BEST:: SOT 11578 SOS 2549 HAS SOPS 2549 HAS SOUS 1318 HAS SOUPS 1318 WITH SCORE 1320.549
AT ITER 7592 NEW BEST:: SOT 11571 SOS 2535 HAS SOPS 2535 HAS SOUS 1312 HAS SOUPS 1312 WITH SCORE 1314.535
AT ITER 7598 NEW BEST:: SOT 11570 SOS 2533 HAS SOPS 2533 HAS SOUS 1310 HAS SOUPS 1310 WITH SCORE 1312.533
AT ITER 7634 NEW BEST:: SOT 11575 SOS 2543 HAS SOPS 2543 HAS SOUS 1309 HAS SOUPS 1309 WITH SCORE 1311.543
AT ITER 8018 NEW BEST:: SOT 11575 SOS 2541 HAS SOPS 2541 HAS SOUS 1309 HAS SOUPS 1309 WITH SCORE 1311.541
AT ITER 8068 NEW BEST:: SOT 11575 SOS 2518 HAS SOPS 2518 HAS SOUS 1309 HAS SOUPS 1309 WITH SCORE 1311.518
AT ITER 8108 NEW BEST:: SOT 11574 SOS 2517 HAS SOPS 2517 HAS SOUS 1308 HAS SOUPS 1308 WITH SCORE 1310.517
AT ITER 8228 NEW BEST:: SOT 11574 SOS 2513 HAS SOPS 2513 HAS SOUS 1304 HAS SOUPS 1304 WITH SCORE 1306.513
AT ITER 8292 NEW BEST:: SOT 11575 SOS 2512 HAS SOPS 2512 HAS SOUS 1304 HAS SOUPS 1304 WITH SCORE 1306.512
AT ITER 8299 NEW BEST:: SOT 11566 SOS 2501 HAS SOPS 2501 HAS SOUS 1299 HAS SOUPS 1299 WITH SCORE 1301.501
AT ITER 8306 NEW BEST:: SOT 11564 SOS 2500 HAS SOPS 2500 HAS SOUS 1298 HAS SOUPS 1298 WITH SCORE 1300.5
AT ITER 8359 NEW BEST:: SOT 11564 SOS 2498 HAS SOPS 2498 HAS SOUS 1293 HAS SOUPS 1293 WITH SCORE 1295.498
AT ITER 8660 NEW BEST:: SOT 11565 SOS 2481 HAS SOPS 2481 HAS SOUS 1293 HAS SOUPS 1293 WITH SCORE 1295.481
AT ITER 8771 NEW BEST:: SOT 11564 SOS 2479 HAS SOPS 2479 HAS SOUS 1291 HAS SOUPS 1291 WITH SCORE 1293.479
AT ITER 8798 NEW BEST:: SOT 11562 SOS 2475 HAS SOPS 2475 HAS SOUS 1289 HAS SOUPS 1289 WITH SCORE 1291.475
AT ITER 8840 NEW BEST:: SOT 11561 SOS 2473 HAS SOPS 2473 HAS SOUS 1287 HAS SOUPS 1287 WITH SCORE 1289.473
AT ITER 9086 NEW BEST:: SOT 11560 SOS 2471 HAS SOPS 2471 HAS SOUS 1286 HAS SOUPS 1286 WITH SCORE 1288.471
AT ITER 9136 NEW BEST:: SOT 11558 SOS 2468 HAS SOPS 2468 HAS SOUS 1284 HAS SOUPS 1284 WITH SCORE 1286.468
AT ITER 9290 NEW BEST:: SOT 11559 SOS 2470 HAS SOPS 2470 HAS SOUS 1283 HAS SOUPS 1283 WITH SCORE 1285.47
AT ITER 9301 NEW BEST:: SOT 11560 SOS 2468 HAS SOPS 2468 HAS SOUS 1283 HAS SOUPS 1283 WITH SCORE 1285.468
AT ITER 9461 NEW BEST:: SOT 11556 SOS 2469 HAS SOPS 2469 HAS SOUS 1282 HAS SOUPS 1282 WITH SCORE 1284.469
AT ITER 9477 NEW BEST:: SOT 11555 SOS 2467 HAS SOPS 2467 HAS SOUS 1280 HAS SOUPS 1280 WITH SCORE 1282.467
AT ITER 9564 NEW BEST:: SOT 11555 SOS 2467 HAS SOPS 2467 HAS SOUS 1278 HAS SOUPS 1278 WITH SCORE 1280.467
AT ITER 9650 NEW BEST:: SOT 11553 SOS 2464 HAS SOPS 2464 HAS SOUS 1277 HAS SOUPS 1277 WITH SCORE 1279.464
AT ITER 9686 NEW BEST:: SOT 11552 SOS 2462 HAS SOPS 2462 HAS SOUS 1275 HAS SOUPS 1275 WITH SCORE 1277.462
AT ITER 9706 NEW BEST:: SOT 11552 SOS 2459 HAS SOPS 2459 HAS SOUS 1275 HAS SOUPS 1275 WITH SCORE 1277.459
AT ITER 9780 NEW BEST:: SOT 11547 SOS 2458 HAS SOPS 2458 HAS SOUS 1273 HAS SOUPS 1273 WITH SCORE 1275.458
AT ITER 9848 NEW BEST:: SOT 11535 SOS 2422 HAS SOPS 2422 HAS SOUS 1261 HAS SOUPS 1261 WITH SCORE 1263.422
STATE_SPACE STATES 5307680 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 7 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 29492811 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679259264212

--------------------
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="SmartHome-PT-04"
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 SmartHome-PT-04, 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 r459-smll-167912650900184"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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