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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 480K
-rw-r--r-- 1 mcc users 6.1K Feb 25 20:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 66K Feb 25 20:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 25 20:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 20:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 17:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.0K Feb 25 20:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 96K Feb 25 20:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 20:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 116K Feb 25 20:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 27K 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 1679573450985

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=ShieldPPPt-PT-004A
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 12:10:53] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 12:10:53] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 12:10:53] [INFO ] Load time of PNML (sax parser for PT used): 56 ms
[2023-03-23 12:10:53] [INFO ] Transformed 103 places.
[2023-03-23 12:10:53] [INFO ] Transformed 75 transitions.
[2023-03-23 12:10:53] [INFO ] Found NUPN structural information;
[2023-03-23 12:10:53] [INFO ] Parsed PT model containing 103 places and 75 transitions and 294 arcs in 182 ms.
[2023-03-23 12:10:53] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 103 places, 75 transitions and 294 arcs took 3 ms.
Total runtime 217 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (PT), instance 004A
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: 103 places, 75 transitions, 294 arcs.
AT ITER 0 NEW BEST:: SOT 6320 SOS 5279 HAS SOPS 5279 HAS SOUS 4323 HAS SOUPS 4323 WITH SCORE 4328.279
AT ITER 5 NEW BEST:: SOT 6324 SOS 5264 HAS SOPS 5264 HAS SOUS 4322 HAS SOUPS 4322 WITH SCORE 4327.264
AT ITER 6 NEW BEST:: SOT 6261 SOS 5201 HAS SOPS 5201 HAS SOUS 4272 HAS SOUPS 4272 WITH SCORE 4277.201
AT ITER 8 NEW BEST:: SOT 6222 SOS 5091 HAS SOPS 5091 HAS SOUS 4223 HAS SOUPS 4223 WITH SCORE 4228.091
AT ITER 9 NEW BEST:: SOT 6222 SOS 5078 HAS SOPS 5078 HAS SOUS 4216 HAS SOUPS 4216 WITH SCORE 4221.078
AT ITER 10 NEW BEST:: SOT 6222 SOS 5077 HAS SOPS 5077 HAS SOUS 4215 HAS SOUPS 4215 WITH SCORE 4220.077
AT ITER 12 NEW BEST:: SOT 6206 SOS 4951 HAS SOPS 4951 HAS SOUS 4128 HAS SOUPS 4128 WITH SCORE 4132.951
AT ITER 15 NEW BEST:: SOT 6206 SOS 4949 HAS SOPS 4949 HAS SOUS 4128 HAS SOUPS 4128 WITH SCORE 4132.949
AT ITER 16 NEW BEST:: SOT 6188 SOS 4922 HAS SOPS 4922 HAS SOUS 4101 HAS SOUPS 4101 WITH SCORE 4105.922
AT ITER 17 NEW BEST:: SOT 6188 SOS 4798 HAS SOPS 4798 HAS SOUS 4098 HAS SOUPS 4098 WITH SCORE 4102.798
AT ITER 18 NEW BEST:: SOT 6188 SOS 4683 HAS SOPS 4683 HAS SOUS 4079 HAS SOUPS 4079 WITH SCORE 4083.683
AT ITER 19 NEW BEST:: SOT 6188 SOS 4556 HAS SOPS 4556 HAS SOUS 4016 HAS SOUPS 4016 WITH SCORE 4020.556
AT ITER 20 NEW BEST:: SOT 6152 SOS 4540 HAS SOPS 4540 HAS SOUS 3981 HAS SOUPS 3981 WITH SCORE 3985.54
AT ITER 22 NEW BEST:: SOT 6085 SOS 4462 HAS SOPS 4462 HAS SOUS 3903 HAS SOUPS 3903 WITH SCORE 3907.462
AT ITER 24 NEW BEST:: SOT 6026 SOS 4405 HAS SOPS 4405 HAS SOUS 3849 HAS SOUPS 3849 WITH SCORE 3853.405
AT ITER 25 NEW BEST:: SOT 6029 SOS 4408 HAS SOPS 4408 HAS SOUS 3831 HAS SOUPS 3831 WITH SCORE 3835.408
AT ITER 29 NEW BEST:: SOT 6029 SOS 4408 HAS SOPS 4408 HAS SOUS 3828 HAS SOUPS 3828 WITH SCORE 3832.408
AT ITER 35 NEW BEST:: SOT 6026 SOS 4403 HAS SOPS 4403 HAS SOUS 3822 HAS SOUPS 3822 WITH SCORE 3826.403
AT ITER 36 NEW BEST:: SOT 6020 SOS 4279 HAS SOPS 4279 HAS SOUS 3753 HAS SOUPS 3753 WITH SCORE 3757.279
AT ITER 44 NEW BEST:: SOT 5954 SOS 4193 HAS SOPS 4193 HAS SOUS 3677 HAS SOUPS 3677 WITH SCORE 3681.193
AT ITER 46 NEW BEST:: SOT 5927 SOS 4166 HAS SOPS 4166 HAS SOUS 3663 HAS SOUPS 3663 WITH SCORE 3667.166
AT ITER 47 NEW BEST:: SOT 5867 SOS 4041 HAS SOPS 4041 HAS SOUS 3581 HAS SOUPS 3581 WITH SCORE 3585.041
AT ITER 49 NEW BEST:: SOT 5863 SOS 4037 HAS SOPS 4037 HAS SOUS 3577 HAS SOUPS 3577 WITH SCORE 3581.037
AT ITER 51 NEW BEST:: SOT 5811 SOS 3985 HAS SOPS 3985 HAS SOUS 3551 HAS SOUPS 3551 WITH SCORE 3554.985
AT ITER 55 NEW BEST:: SOT 5799 SOS 3937 HAS SOPS 3937 HAS SOUS 3529 HAS SOUPS 3529 WITH SCORE 3532.937
AT ITER 58 NEW BEST:: SOT 5799 SOS 3937 HAS SOPS 3937 HAS SOUS 3528 HAS SOUPS 3528 WITH SCORE 3531.937
AT ITER 59 NEW BEST:: SOT 5799 SOS 3901 HAS SOPS 3901 HAS SOUS 3519 HAS SOUPS 3519 WITH SCORE 3522.901
AT ITER 60 NEW BEST:: SOT 5799 SOS 3901 HAS SOPS 3901 HAS SOUS 3517 HAS SOUPS 3517 WITH SCORE 3520.901
AT ITER 62 NEW BEST:: SOT 5794 SOS 3893 HAS SOPS 3893 HAS SOUS 3509 HAS SOUPS 3509 WITH SCORE 3512.893
AT ITER 64 NEW BEST:: SOT 5747 SOS 3850 HAS SOPS 3850 HAS SOUS 3466 HAS SOUPS 3466 WITH SCORE 3469.85
AT ITER 65 NEW BEST:: SOT 5692 SOS 3722 HAS SOPS 3722 HAS SOUS 3383 HAS SOUPS 3383 WITH SCORE 3386.722
AT ITER 67 NEW BEST:: SOT 5707 SOS 3693 HAS SOPS 3693 HAS SOUS 3354 HAS SOUPS 3354 WITH SCORE 3357.693
AT ITER 72 NEW BEST:: SOT 5707 SOS 3691 HAS SOPS 3691 HAS SOUS 3348 HAS SOUPS 3348 WITH SCORE 3351.691
AT ITER 73 NEW BEST:: SOT 5704 SOS 3688 HAS SOPS 3688 HAS SOUS 3345 HAS SOUPS 3345 WITH SCORE 3348.688
AT ITER 75 NEW BEST:: SOT 5694 SOS 3678 HAS SOPS 3678 HAS SOUS 3335 HAS SOUPS 3335 WITH SCORE 3338.678
AT ITER 80 NEW BEST:: SOT 5663 SOS 3628 HAS SOPS 3628 HAS SOUS 3299 HAS SOUPS 3299 WITH SCORE 3302.628
AT ITER 81 NEW BEST:: SOT 5579 SOS 3544 HAS SOPS 3544 HAS SOUS 3215 HAS SOUPS 3215 WITH SCORE 3218.544
AT ITER 84 NEW BEST:: SOT 5572 SOS 3523 HAS SOPS 3523 HAS SOUS 3201 HAS SOUPS 3201 WITH SCORE 3204.523
AT ITER 88 NEW BEST:: SOT 5520 SOS 3471 HAS SOPS 3471 HAS SOUS 3121 HAS SOUPS 3121 WITH SCORE 3124.471
AT ITER 90 NEW BEST:: SOT 5520 SOS 3469 HAS SOPS 3469 HAS SOUS 3119 HAS SOUPS 3119 WITH SCORE 3122.469
AT ITER 91 NEW BEST:: SOT 5524 SOS 3367 HAS SOPS 3367 HAS SOUS 3060 HAS SOUPS 3060 WITH SCORE 3063.367
AT ITER 92 NEW BEST:: SOT 5484 SOS 3273 HAS SOPS 3273 HAS SOUS 2966 HAS SOUPS 2966 WITH SCORE 2969.273
AT ITER 94 NEW BEST:: SOT 5482 SOS 3269 HAS SOPS 3269 HAS SOUS 2962 HAS SOUPS 2962 WITH SCORE 2965.269
AT ITER 98 NEW BEST:: SOT 5428 SOS 3215 HAS SOPS 3215 HAS SOUS 2908 HAS SOUPS 2908 WITH SCORE 2911.215
AT ITER 99 NEW BEST:: SOT 5428 SOS 3194 HAS SOPS 3194 HAS SOUS 2904 HAS SOUPS 2904 WITH SCORE 2907.194
AT ITER 105 NEW BEST:: SOT 5418 SOS 3182 HAS SOPS 3182 HAS SOUS 2891 HAS SOUPS 2891 WITH SCORE 2894.182
AT ITER 106 NEW BEST:: SOT 5419 SOS 3144 HAS SOPS 3144 HAS SOUS 2874 HAS SOUPS 2874 WITH SCORE 2877.144
AT ITER 109 NEW BEST:: SOT 5420 SOS 3140 HAS SOPS 3140 HAS SOUS 2872 HAS SOUPS 2872 WITH SCORE 2875.14
AT ITER 110 NEW BEST:: SOT 5413 SOS 3128 HAS SOPS 3128 HAS SOUS 2860 HAS SOUPS 2860 WITH SCORE 2863.128
AT ITER 113 NEW BEST:: SOT 5413 SOS 3120 HAS SOPS 3120 HAS SOUS 2856 HAS SOUPS 2856 WITH SCORE 2859.12
AT ITER 114 NEW BEST:: SOT 5411 SOS 3110 HAS SOPS 3110 HAS SOUS 2853 HAS SOUPS 2853 WITH SCORE 2856.11
AT ITER 130 NEW BEST:: SOT 5410 SOS 3109 HAS SOPS 3109 HAS SOUS 2852 HAS SOUPS 2852 WITH SCORE 2855.109
AT ITER 136 NEW BEST:: SOT 5388 SOS 3087 HAS SOPS 3087 HAS SOUS 2845 HAS SOUPS 2845 WITH SCORE 2848.087
AT ITER 139 NEW BEST:: SOT 5350 SOS 3040 HAS SOPS 3040 HAS SOUS 2789 HAS SOUPS 2789 WITH SCORE 2792.04
AT ITER 140 NEW BEST:: SOT 5292 SOS 2979 HAS SOPS 2979 HAS SOUS 2719 HAS SOUPS 2719 WITH SCORE 2721.979
AT ITER 143 NEW BEST:: SOT 5266 SOS 2874 HAS SOPS 2874 HAS SOUS 2632 HAS SOUPS 2632 WITH SCORE 2634.874
AT ITER 154 NEW BEST:: SOT 5266 SOS 2811 HAS SOPS 2811 HAS SOUS 2615 HAS SOUPS 2615 WITH SCORE 2617.811
AT ITER 164 NEW BEST:: SOT 5266 SOS 2811 HAS SOPS 2811 HAS SOUS 2612 HAS SOUPS 2612 WITH SCORE 2614.811
AT ITER 165 NEW BEST:: SOT 5196 SOS 2720 HAS SOPS 2720 HAS SOUS 2554 HAS SOUPS 2554 WITH SCORE 2556.72
AT ITER 168 NEW BEST:: SOT 5178 SOS 2702 HAS SOPS 2702 HAS SOUS 2503 HAS SOUPS 2503 WITH SCORE 2505.702
AT ITER 172 NEW BEST:: SOT 5152 SOS 2670 HAS SOPS 2670 HAS SOUS 2464 HAS SOUPS 2464 WITH SCORE 2466.67
AT ITER 175 NEW BEST:: SOT 5152 SOS 2652 HAS SOPS 2652 HAS SOUS 2464 HAS SOUPS 2464 WITH SCORE 2466.652
AT ITER 176 NEW BEST:: SOT 5156 SOS 2648 HAS SOPS 2648 HAS SOUS 2460 HAS SOUPS 2460 WITH SCORE 2462.648
AT ITER 184 NEW BEST:: SOT 5156 SOS 2645 HAS SOPS 2645 HAS SOUS 2457 HAS SOUPS 2457 WITH SCORE 2459.645
AT ITER 185 NEW BEST:: SOT 5112 SOS 2601 HAS SOPS 2601 HAS SOUS 2412 HAS SOUPS 2412 WITH SCORE 2414.601
AT ITER 209 NEW BEST:: SOT 5123 SOS 2572 HAS SOPS 2572 HAS SOUS 2405 HAS SOUPS 2405 WITH SCORE 2407.572
AT ITER 213 NEW BEST:: SOT 5121 SOS 2549 HAS SOPS 2549 HAS SOUS 2394 HAS SOUPS 2394 WITH SCORE 2396.549
AT ITER 218 NEW BEST:: SOT 5108 SOS 2535 HAS SOPS 2535 HAS SOUS 2380 HAS SOUPS 2380 WITH SCORE 2382.535
AT ITER 230 NEW BEST:: SOT 5052 SOS 2470 HAS SOPS 2470 HAS SOUS 2348 HAS SOUPS 2348 WITH SCORE 2350.47
AT ITER 235 NEW BEST:: SOT 5048 SOS 2466 HAS SOPS 2466 HAS SOUS 2348 HAS SOUPS 2348 WITH SCORE 2350.466
AT ITER 245 NEW BEST:: SOT 5010 SOS 2425 HAS SOPS 2425 HAS SOUS 2307 HAS SOUPS 2307 WITH SCORE 2309.425
AT ITER 253 NEW BEST:: SOT 5010 SOS 2422 HAS SOPS 2422 HAS SOUS 2304 HAS SOUPS 2304 WITH SCORE 2306.422
AT ITER 279 NEW BEST:: SOT 5010 SOS 2394 HAS SOPS 2394 HAS SOUS 2276 HAS SOUPS 2276 WITH SCORE 2278.394
AT ITER 280 NEW BEST:: SOT 4970 SOS 2354 HAS SOPS 2354 HAS SOUS 2236 HAS SOUPS 2236 WITH SCORE 2238.354
AT ITER 282 NEW BEST:: SOT 4963 SOS 2343 HAS SOPS 2343 HAS SOUS 2225 HAS SOUPS 2225 WITH SCORE 2227.343
AT ITER 302 NEW BEST:: SOT 4958 SOS 2338 HAS SOPS 2338 HAS SOUS 2221 HAS SOUPS 2221 WITH SCORE 2223.338
AT ITER 304 NEW BEST:: SOT 4958 SOS 2335 HAS SOPS 2335 HAS SOUS 2218 HAS SOUPS 2218 WITH SCORE 2220.335
AT ITER 309 NEW BEST:: SOT 4952 SOS 2320 HAS SOPS 2320 HAS SOUS 2203 HAS SOUPS 2203 WITH SCORE 2205.32
AT ITER 313 NEW BEST:: SOT 4940 SOS 2313 HAS SOPS 2313 HAS SOUS 2196 HAS SOUPS 2196 WITH SCORE 2198.313
AT ITER 318 NEW BEST:: SOT 4925 SOS 2297 HAS SOPS 2297 HAS SOUS 2180 HAS SOUPS 2180 WITH SCORE 2182.297
AT ITER 340 NEW BEST:: SOT 4922 SOS 2288 HAS SOPS 2288 HAS SOUS 2177 HAS SOUPS 2177 WITH SCORE 2179.288
AT ITER 343 NEW BEST:: SOT 4918 SOS 2284 HAS SOPS 2284 HAS SOUS 2173 HAS SOUPS 2173 WITH SCORE 2175.284
AT ITER 345 NEW BEST:: SOT 4911 SOS 2277 HAS SOPS 2277 HAS SOUS 2166 HAS SOUPS 2166 WITH SCORE 2168.277
AT ITER 350 NEW BEST:: SOT 4911 SOS 2255 HAS SOPS 2255 HAS SOUS 2144 HAS SOUPS 2144 WITH SCORE 2146.255
AT ITER 358 NEW BEST:: SOT 4897 SOS 2241 HAS SOPS 2241 HAS SOUS 2130 HAS SOUPS 2130 WITH SCORE 2132.241
AT ITER 365 NEW BEST:: SOT 4892 SOS 2236 HAS SOPS 2236 HAS SOUS 2125 HAS SOUPS 2125 WITH SCORE 2127.236
AT ITER 366 NEW BEST:: SOT 4887 SOS 2231 HAS SOPS 2231 HAS SOUS 2120 HAS SOUPS 2120 WITH SCORE 2122.231
AT ITER 373 NEW BEST:: SOT 4890 SOS 2229 HAS SOPS 2229 HAS SOUS 2118 HAS SOUPS 2118 WITH SCORE 2120.229
AT ITER 379 NEW BEST:: SOT 4883 SOS 2214 HAS SOPS 2214 HAS SOUS 2110 HAS SOUPS 2110 WITH SCORE 2112.214
AT ITER 380 NEW BEST:: SOT 4881 SOS 2181 HAS SOPS 2181 HAS SOUS 2099 HAS SOUPS 2099 WITH SCORE 2101.181
AT ITER 394 NEW BEST:: SOT 4881 SOS 2177 HAS SOPS 2177 HAS SOUS 2096 HAS SOUPS 2096 WITH SCORE 2098.177
AT ITER 396 NEW BEST:: SOT 4873 SOS 2155 HAS SOPS 2155 HAS SOUS 2083 HAS SOUPS 2083 WITH SCORE 2085.155
AT ITER 398 NEW BEST:: SOT 4861 SOS 2135 HAS SOPS 2135 HAS SOUS 2063 HAS SOUPS 2063 WITH SCORE 2065.135
AT ITER 415 NEW BEST:: SOT 4845 SOS 2094 HAS SOPS 2094 HAS SOUS 2018 HAS SOUPS 2018 WITH SCORE 2020.094
AT ITER 424 NEW BEST:: SOT 4836 SOS 2069 HAS SOPS 2069 HAS SOUS 2018 HAS SOUPS 2018 WITH SCORE 2020.069
AT ITER 428 NEW BEST:: SOT 4821 SOS 2038 HAS SOPS 2038 HAS SOUS 1987 HAS SOUPS 1987 WITH SCORE 1989.038
AT ITER 438 NEW BEST:: SOT 4817 SOS 2034 HAS SOPS 2034 HAS SOUS 1983 HAS SOUPS 1983 WITH SCORE 1985.034
AT ITER 441 NEW BEST:: SOT 4821 SOS 2030 HAS SOPS 2030 HAS SOUS 1979 HAS SOUPS 1979 WITH SCORE 1981.03
AT ITER 452 NEW BEST:: SOT 4811 SOS 2010 HAS SOPS 2010 HAS SOUS 1959 HAS SOUPS 1959 WITH SCORE 1961.01
AT ITER 454 NEW BEST:: SOT 4811 SOS 2003 HAS SOPS 2003 HAS SOUS 1952 HAS SOUPS 1952 WITH SCORE 1954.003
AT ITER 470 NEW BEST:: SOT 4807 SOS 1999 HAS SOPS 1999 HAS SOUS 1948 HAS SOUPS 1948 WITH SCORE 1949.999
AT ITER 473 NEW BEST:: SOT 4805 SOS 1997 HAS SOPS 1997 HAS SOUS 1946 HAS SOUPS 1946 WITH SCORE 1947.997
AT ITER 474 NEW BEST:: SOT 4804 SOS 1994 HAS SOPS 1994 HAS SOUS 1943 HAS SOUPS 1943 WITH SCORE 1944.994
AT ITER 481 NEW BEST:: SOT 4793 SOS 1983 HAS SOPS 1983 HAS SOUS 1932 HAS SOUPS 1932 WITH SCORE 1933.983
AT ITER 486 NEW BEST:: SOT 4787 SOS 1973 HAS SOPS 1973 HAS SOUS 1922 HAS SOUPS 1922 WITH SCORE 1923.973
AT ITER 490 NEW BEST:: SOT 4793 SOS 1963 HAS SOPS 1963 HAS SOUS 1914 HAS SOUPS 1914 WITH SCORE 1915.963
AT ITER 491 NEW BEST:: SOT 4783 SOS 1953 HAS SOPS 1953 HAS SOUS 1904 HAS SOUPS 1904 WITH SCORE 1905.953
AT ITER 497 NEW BEST:: SOT 4783 SOS 1944 HAS SOPS 1944 HAS SOUS 1895 HAS SOUPS 1895 WITH SCORE 1896.944
AT ITER 507 NEW BEST:: SOT 4771 SOS 1932 HAS SOPS 1932 HAS SOUS 1891 HAS SOUPS 1891 WITH SCORE 1892.932
AT ITER 510 NEW BEST:: SOT 4767 SOS 1928 HAS SOPS 1928 HAS SOUS 1887 HAS SOUPS 1887 WITH SCORE 1888.928
AT ITER 514 NEW BEST:: SOT 4755 SOS 1916 HAS SOPS 1916 HAS SOUS 1875 HAS SOUPS 1875 WITH SCORE 1876.916
AT ITER 517 NEW BEST:: SOT 4755 SOS 1914 HAS SOPS 1914 HAS SOUS 1875 HAS SOUPS 1875 WITH SCORE 1876.914
AT ITER 521 NEW BEST:: SOT 4732 SOS 1889 HAS SOPS 1889 HAS SOUS 1848 HAS SOUPS 1848 WITH SCORE 1849.889
AT ITER 542 NEW BEST:: SOT 4725 SOS 1883 HAS SOPS 1883 HAS SOUS 1847 HAS SOUPS 1847 WITH SCORE 1848.883
AT ITER 554 NEW BEST:: SOT 4720 SOS 1876 HAS SOPS 1876 HAS SOUS 1840 HAS SOUPS 1840 WITH SCORE 1841.876
AT ITER 567 NEW BEST:: SOT 4722 SOS 1872 HAS SOPS 1872 HAS SOUS 1814 HAS SOUPS 1814 WITH SCORE 1815.872
AT ITER 579 NEW BEST:: SOT 4706 SOS 1856 HAS SOPS 1856 HAS SOUS 1799 HAS SOUPS 1799 WITH SCORE 1800.856
AT ITER 580 NEW BEST:: SOT 4701 SOS 1851 HAS SOPS 1851 HAS SOUS 1794 HAS SOUPS 1794 WITH SCORE 1795.851
AT ITER 586 NEW BEST:: SOT 4701 SOS 1846 HAS SOPS 1846 HAS SOUS 1789 HAS SOUPS 1789 WITH SCORE 1790.846
AT ITER 608 NEW BEST:: SOT 4700 SOS 1841 HAS SOPS 1841 HAS SOUS 1787 HAS SOUPS 1787 WITH SCORE 1788.841
AT ITER 636 NEW BEST:: SOT 4697 SOS 1836 HAS SOPS 1836 HAS SOUS 1782 HAS SOUPS 1782 WITH SCORE 1783.836
AT ITER 647 NEW BEST:: SOT 4691 SOS 1821 HAS SOPS 1821 HAS SOUS 1767 HAS SOUPS 1767 WITH SCORE 1768.821
AT ITER 658 NEW BEST:: SOT 4679 SOS 1803 HAS SOPS 1803 HAS SOUS 1749 HAS SOUPS 1749 WITH SCORE 1750.803
AT ITER 662 NEW BEST:: SOT 4677 SOS 1799 HAS SOPS 1799 HAS SOUS 1745 HAS SOUPS 1745 WITH SCORE 1746.799
AT ITER 663 NEW BEST:: SOT 4655 SOS 1778 HAS SOPS 1778 HAS SOUS 1724 HAS SOUPS 1724 WITH SCORE 1725.778
AT ITER 664 NEW BEST:: SOT 4644 SOS 1772 HAS SOPS 1772 HAS SOUS 1720 HAS SOUPS 1720 WITH SCORE 1721.772
AT ITER 673 NEW BEST:: SOT 4649 SOS 1771 HAS SOPS 1771 HAS SOUS 1717 HAS SOUPS 1717 WITH SCORE 1718.771
AT ITER 732 NEW BEST:: SOT 4649 SOS 1768 HAS SOPS 1768 HAS SOUS 1714 HAS SOUPS 1714 WITH SCORE 1715.768
AT ITER 736 NEW BEST:: SOT 4648 SOS 1767 HAS SOPS 1767 HAS SOUS 1713 HAS SOUPS 1713 WITH SCORE 1714.767
AT ITER 750 NEW BEST:: SOT 4642 SOS 1757 HAS SOPS 1757 HAS SOUS 1703 HAS SOUPS 1703 WITH SCORE 1704.757
AT ITER 755 NEW BEST:: SOT 4639 SOS 1751 HAS SOPS 1751 HAS SOUS 1693 HAS SOUPS 1693 WITH SCORE 1694.751
AT ITER 787 NEW BEST:: SOT 4630 SOS 1742 HAS SOPS 1742 HAS SOUS 1684 HAS SOUPS 1684 WITH SCORE 1685.742
AT ITER 820 NEW BEST:: SOT 4615 SOS 1727 HAS SOPS 1727 HAS SOUS 1668 HAS SOUPS 1668 WITH SCORE 1669.727
AT ITER 824 NEW BEST:: SOT 4604 SOS 1697 HAS SOPS 1697 HAS SOUS 1634 HAS SOUPS 1634 WITH SCORE 1635.697
AT ITER 840 NEW BEST:: SOT 4604 SOS 1691 HAS SOPS 1691 HAS SOUS 1630 HAS SOUPS 1630 WITH SCORE 1631.691
AT ITER 842 NEW BEST:: SOT 4603 SOS 1686 HAS SOPS 1686 HAS SOUS 1627 HAS SOUPS 1627 WITH SCORE 1628.686
AT ITER 854 NEW BEST:: SOT 4604 SOS 1675 HAS SOPS 1675 HAS SOUS 1620 HAS SOUPS 1620 WITH SCORE 1621.675
AT ITER 855 NEW BEST:: SOT 4604 SOS 1666 HAS SOPS 1666 HAS SOUS 1611 HAS SOUPS 1611 WITH SCORE 1612.666
AT ITER 859 NEW BEST:: SOT 4604 SOS 1661 HAS SOPS 1661 HAS SOUS 1607 HAS SOUPS 1607 WITH SCORE 1608.661
AT ITER 861 NEW BEST:: SOT 4602 SOS 1658 HAS SOPS 1658 HAS SOUS 1604 HAS SOUPS 1604 WITH SCORE 1605.658
AT ITER 866 NEW BEST:: SOT 4602 SOS 1655 HAS SOPS 1655 HAS SOUS 1602 HAS SOUPS 1602 WITH SCORE 1603.655
AT ITER 877 NEW BEST:: SOT 4605 SOS 1654 HAS SOPS 1654 HAS SOUS 1601 HAS SOUPS 1601 WITH SCORE 1602.654
AT ITER 878 NEW BEST:: SOT 4597 SOS 1652 HAS SOPS 1652 HAS SOUS 1597 HAS SOUPS 1597 WITH SCORE 1598.652
AT ITER 894 NEW BEST:: SOT 4594 SOS 1644 HAS SOPS 1644 HAS SOUS 1589 HAS SOUPS 1589 WITH SCORE 1590.644
AT ITER 913 NEW BEST:: SOT 4578 SOS 1621 HAS SOPS 1621 HAS SOUS 1549 HAS SOUPS 1549 WITH SCORE 1550.621
AT ITER 947 NEW BEST:: SOT 4573 SOS 1601 HAS SOPS 1601 HAS SOUS 1534 HAS SOUPS 1534 WITH SCORE 1535.601
AT ITER 970 NEW BEST:: SOT 4573 SOS 1603 HAS SOPS 1603 HAS SOUS 1531 HAS SOUPS 1531 WITH SCORE 1532.603
AT ITER 971 NEW BEST:: SOT 4572 SOS 1602 HAS SOPS 1602 HAS SOUS 1530 HAS SOUPS 1530 WITH SCORE 1531.602
AT ITER 977 NEW BEST:: SOT 4570 SOS 1600 HAS SOPS 1600 HAS SOUS 1528 HAS SOUPS 1528 WITH SCORE 1529.6
AT ITER 981 NEW BEST:: SOT 4574 SOS 1599 HAS SOPS 1599 HAS SOUS 1527 HAS SOUPS 1527 WITH SCORE 1528.599
AT ITER 1055 NEW BEST:: SOT 4574 SOS 1588 HAS SOPS 1588 HAS SOUS 1527 HAS SOUPS 1527 WITH SCORE 1528.588
AT ITER 1056 NEW BEST:: SOT 4566 SOS 1571 HAS SOPS 1571 HAS SOUS 1510 HAS SOUPS 1510 WITH SCORE 1511.571
AT ITER 1077 NEW BEST:: SOT 4560 SOS 1565 HAS SOPS 1565 HAS SOUS 1504 HAS SOUPS 1504 WITH SCORE 1505.565
AT ITER 1097 NEW BEST:: SOT 4558 SOS 1557 HAS SOPS 1557 HAS SOUS 1496 HAS SOUPS 1496 WITH SCORE 1497.557
AT ITER 1107 NEW BEST:: SOT 4555 SOS 1551 HAS SOPS 1551 HAS SOUS 1491 HAS SOUPS 1491 WITH SCORE 1492.551
AT ITER 1154 NEW BEST:: SOT 4555 SOS 1548 HAS SOPS 1548 HAS SOUS 1489 HAS SOUPS 1489 WITH SCORE 1490.548
AT ITER 1195 NEW BEST:: SOT 4557 SOS 1543 HAS SOPS 1543 HAS SOUS 1485 HAS SOUPS 1485 WITH SCORE 1486.543
AT ITER 1211 NEW BEST:: SOT 4556 SOS 1544 HAS SOPS 1544 HAS SOUS 1483 HAS SOUPS 1483 WITH SCORE 1484.544
AT ITER 1221 NEW BEST:: SOT 4556 SOS 1536 HAS SOPS 1536 HAS SOUS 1483 HAS SOUPS 1483 WITH SCORE 1484.536
AT ITER 1226 NEW BEST:: SOT 4544 SOS 1524 HAS SOPS 1524 HAS SOUS 1471 HAS SOUPS 1471 WITH SCORE 1472.524
AT ITER 1235 NEW BEST:: SOT 4542 SOS 1523 HAS SOPS 1523 HAS SOUS 1470 HAS SOUPS 1470 WITH SCORE 1471.523
AT ITER 1246 NEW BEST:: SOT 4535 SOS 1512 HAS SOPS 1512 HAS SOUS 1459 HAS SOUPS 1459 WITH SCORE 1460.512
AT ITER 1282 NEW BEST:: SOT 4535 SOS 1511 HAS SOPS 1511 HAS SOUS 1458 HAS SOUPS 1458 WITH SCORE 1459.511
AT ITER 1294 NEW BEST:: SOT 4520 SOS 1485 HAS SOPS 1485 HAS SOUS 1431 HAS SOUPS 1431 WITH SCORE 1432.485
AT ITER 1303 NEW BEST:: SOT 4521 SOS 1483 HAS SOPS 1483 HAS SOUS 1429 HAS SOUPS 1429 WITH SCORE 1430.483
AT ITER 1307 NEW BEST:: SOT 4516 SOS 1464 HAS SOPS 1464 HAS SOUS 1414 HAS SOUPS 1414 WITH SCORE 1415.464
AT ITER 1329 NEW BEST:: SOT 4510 SOS 1461 HAS SOPS 1461 HAS SOUS 1411 HAS SOUPS 1411 WITH SCORE 1412.461
AT ITER 1376 NEW BEST:: SOT 4510 SOS 1458 HAS SOPS 1458 HAS SOUS 1411 HAS SOUPS 1411 WITH SCORE 1412.458
AT ITER 1448 NEW BEST:: SOT 4496 SOS 1437 HAS SOPS 1437 HAS SOUS 1390 HAS SOUPS 1390 WITH SCORE 1391.437
AT ITER 1481 NEW BEST:: SOT 4493 SOS 1438 HAS SOPS 1438 HAS SOUS 1385 HAS SOUPS 1385 WITH SCORE 1386.438
AT ITER 1565 NEW BEST:: SOT 4485 SOS 1432 HAS SOPS 1432 HAS SOUS 1385 HAS SOUPS 1385 WITH SCORE 1386.432
AT ITER 1637 NEW BEST:: SOT 4478 SOS 1425 HAS SOPS 1425 HAS SOUS 1378 HAS SOUPS 1378 WITH SCORE 1379.425
AT ITER 1662 NEW BEST:: SOT 4469 SOS 1430 HAS SOPS 1430 HAS SOUS 1369 HAS SOUPS 1369 WITH SCORE 1370.43
AT ITER 1669 NEW BEST:: SOT 4465 SOS 1425 HAS SOPS 1425 HAS SOUS 1364 HAS SOUPS 1364 WITH SCORE 1365.425
AT ITER 1697 NEW BEST:: SOT 4465 SOS 1407 HAS SOPS 1407 HAS SOUS 1346 HAS SOUPS 1346 WITH SCORE 1347.407
AT ITER 1721 NEW BEST:: SOT 4462 SOS 1404 HAS SOPS 1404 HAS SOUS 1343 HAS SOUPS 1343 WITH SCORE 1344.404
AT ITER 1744 NEW BEST:: SOT 4458 SOS 1395 HAS SOPS 1395 HAS SOUS 1343 HAS SOUPS 1343 WITH SCORE 1344.395
AT ITER 1760 NEW BEST:: SOT 4454 SOS 1391 HAS SOPS 1391 HAS SOUS 1337 HAS SOUPS 1337 WITH SCORE 1338.391
AT ITER 1774 NEW BEST:: SOT 4453 SOS 1389 HAS SOPS 1389 HAS SOUS 1335 HAS SOUPS 1335 WITH SCORE 1336.389
AT ITER 1787 NEW BEST:: SOT 4445 SOS 1373 HAS SOPS 1373 HAS SOUS 1315 HAS SOUPS 1315 WITH SCORE 1316.373
AT ITER 1793 NEW BEST:: SOT 4444 SOS 1370 HAS SOPS 1370 HAS SOUS 1312 HAS SOUPS 1312 WITH SCORE 1313.37
AT ITER 1821 NEW BEST:: SOT 4439 SOS 1362 HAS SOPS 1362 HAS SOUS 1307 HAS SOUPS 1307 WITH SCORE 1308.362
AT ITER 1883 NEW BEST:: SOT 4441 SOS 1357 HAS SOPS 1357 HAS SOUS 1302 HAS SOUPS 1302 WITH SCORE 1303.357
AT ITER 1900 NEW BEST:: SOT 4440 SOS 1356 HAS SOPS 1356 HAS SOUS 1301 HAS SOUPS 1301 WITH SCORE 1302.356
AT ITER 1917 NEW BEST:: SOT 4440 SOS 1349 HAS SOPS 1349 HAS SOUS 1301 HAS SOUPS 1301 WITH SCORE 1302.349
AT ITER 1936 NEW BEST:: SOT 4439 SOS 1345 HAS SOPS 1345 HAS SOUS 1298 HAS SOUPS 1298 WITH SCORE 1299.345
AT ITER 1955 NEW BEST:: SOT 4436 SOS 1373 HAS SOPS 1373 HAS SOUS 1290 HAS SOUPS 1290 WITH SCORE 1291.373
AT ITER 1958 NEW BEST:: SOT 4440 SOS 1377 HAS SOPS 1377 HAS SOUS 1289 HAS SOUPS 1289 WITH SCORE 1290.377
AT ITER 1961 NEW BEST:: SOT 4440 SOS 1375 HAS SOPS 1375 HAS SOUS 1288 HAS SOUPS 1288 WITH SCORE 1289.375
AT ITER 1980 NEW BEST:: SOT 4437 SOS 1367 HAS SOPS 1367 HAS SOUS 1285 HAS SOUPS 1285 WITH SCORE 1286.367
AT ITER 1990 NEW BEST:: SOT 4435 SOS 1353 HAS SOPS 1353 HAS SOUS 1277 HAS SOUPS 1277 WITH SCORE 1278.353
AT ITER 2010 NEW BEST:: SOT 4434 SOS 1352 HAS SOPS 1352 HAS SOUS 1276 HAS SOUPS 1276 WITH SCORE 1277.352
AT ITER 2015 NEW BEST:: SOT 4430 SOS 1348 HAS SOPS 1348 HAS SOUS 1272 HAS SOUPS 1272 WITH SCORE 1273.348
AT ITER 2045 NEW BEST:: SOT 4430 SOS 1350 HAS SOPS 1350 HAS SOUS 1270 HAS SOUPS 1270 WITH SCORE 1271.35
AT ITER 2082 NEW BEST:: SOT 4427 SOS 1348 HAS SOPS 1348 HAS SOUS 1268 HAS SOUPS 1268 WITH SCORE 1269.348
AT ITER 2096 NEW BEST:: SOT 4424 SOS 1345 HAS SOPS 1345 HAS SOUS 1265 HAS SOUPS 1265 WITH SCORE 1266.345
AT ITER 2105 NEW BEST:: SOT 4422 SOS 1343 HAS SOPS 1343 HAS SOUS 1263 HAS SOUPS 1263 WITH SCORE 1264.343
AT ITER 2106 NEW BEST:: SOT 4417 SOS 1335 HAS SOPS 1335 HAS SOUS 1255 HAS SOUPS 1255 WITH SCORE 1256.335
AT ITER 2134 NEW BEST:: SOT 4409 SOS 1331 HAS SOPS 1331 HAS SOUS 1243 HAS SOUPS 1243 WITH SCORE 1244.331
AT ITER 2152 NEW BEST:: SOT 4407 SOS 1329 HAS SOPS 1329 HAS SOUS 1241 HAS SOUPS 1241 WITH SCORE 1242.329
AT ITER 2193 NEW BEST:: SOT 4407 SOS 1327 HAS SOPS 1327 HAS SOUS 1241 HAS SOUPS 1241 WITH SCORE 1242.327
AT ITER 2231 NEW BEST:: SOT 4405 SOS 1326 HAS SOPS 1326 HAS SOUS 1240 HAS SOUPS 1240 WITH SCORE 1241.326
AT ITER 2234 NEW BEST:: SOT 4405 SOS 1324 HAS SOPS 1324 HAS SOUS 1238 HAS SOUPS 1238 WITH SCORE 1239.324
AT ITER 2244 NEW BEST:: SOT 4403 SOS 1321 HAS SOPS 1321 HAS SOUS 1235 HAS SOUPS 1235 WITH SCORE 1236.321
AT ITER 2257 NEW BEST:: SOT 4400 SOS 1316 HAS SOPS 1316 HAS SOUS 1230 HAS SOUPS 1230 WITH SCORE 1231.316
AT ITER 2314 NEW BEST:: SOT 4398 SOS 1317 HAS SOPS 1317 HAS SOUS 1229 HAS SOUPS 1229 WITH SCORE 1230.317
AT ITER 2329 NEW BEST:: SOT 4397 SOS 1317 HAS SOPS 1317 HAS SOUS 1228 HAS SOUPS 1228 WITH SCORE 1229.317
AT ITER 2334 NEW BEST:: SOT 4396 SOS 1314 HAS SOPS 1314 HAS SOUS 1225 HAS SOUPS 1225 WITH SCORE 1226.314
AT ITER 2387 NEW BEST:: SOT 4397 SOS 1314 HAS SOPS 1314 HAS SOUS 1222 HAS SOUPS 1222 WITH SCORE 1223.314
AT ITER 2418 NEW BEST:: SOT 4396 SOS 1313 HAS SOPS 1313 HAS SOUS 1219 HAS SOUPS 1219 WITH SCORE 1220.313
AT ITER 2428 NEW BEST:: SOT 4378 SOS 1291 HAS SOPS 1291 HAS SOUS 1195 HAS SOUPS 1195 WITH SCORE 1196.291
AT ITER 2440 NEW BEST:: SOT 4378 SOS 1289 HAS SOPS 1289 HAS SOUS 1195 HAS SOUPS 1195 WITH SCORE 1196.289
AT ITER 2520 NEW BEST:: SOT 4378 SOS 1288 HAS SOPS 1288 HAS SOUS 1193 HAS SOUPS 1193 WITH SCORE 1194.288
AT ITER 2553 NEW BEST:: SOT 4373 SOS 1283 HAS SOPS 1283 HAS SOUS 1188 HAS SOUPS 1188 WITH SCORE 1189.283
AT ITER 2567 NEW BEST:: SOT 4373 SOS 1280 HAS SOPS 1280 HAS SOUS 1185 HAS SOUPS 1185 WITH SCORE 1186.28
AT ITER 2624 NEW BEST:: SOT 4371 SOS 1282 HAS SOPS 1282 HAS SOUS 1184 HAS SOUPS 1184 WITH SCORE 1185.282
AT ITER 2692 NEW BEST:: SOT 4369 SOS 1280 HAS SOPS 1280 HAS SOUS 1182 HAS SOUPS 1182 WITH SCORE 1183.28
AT ITER 2717 NEW BEST:: SOT 4372 SOS 1284 HAS SOPS 1284 HAS SOUS 1171 HAS SOUPS 1171 WITH SCORE 1172.284
AT ITER 2732 NEW BEST:: SOT 4374 SOS 1280 HAS SOPS 1280 HAS SOUS 1169 HAS SOUPS 1169 WITH SCORE 1170.28
AT ITER 2741 NEW BEST:: SOT 4367 SOS 1258 HAS SOPS 1258 HAS SOUS 1152 HAS SOUPS 1152 WITH SCORE 1153.258
AT ITER 2800 NEW BEST:: SOT 4370 SOS 1249 HAS SOPS 1249 HAS SOUS 1145 HAS SOUPS 1145 WITH SCORE 1146.249
AT ITER 2817 NEW BEST:: SOT 4373 SOS 1248 HAS SOPS 1248 HAS SOUS 1144 HAS SOUPS 1144 WITH SCORE 1145.248
AT ITER 2879 NEW BEST:: SOT 4360 SOS 1233 HAS SOPS 1233 HAS SOUS 1130 HAS SOUPS 1130 WITH SCORE 1131.233
AT ITER 2924 NEW BEST:: SOT 4360 SOS 1231 HAS SOPS 1231 HAS SOUS 1128 HAS SOUPS 1128 WITH SCORE 1129.231
AT ITER 2929 NEW BEST:: SOT 4362 SOS 1225 HAS SOPS 1225 HAS SOUS 1122 HAS SOUPS 1122 WITH SCORE 1123.225
AT ITER 2946 NEW BEST:: SOT 4362 SOS 1225 HAS SOPS 1225 HAS SOUS 1120 HAS SOUPS 1120 WITH SCORE 1121.225
AT ITER 2964 NEW BEST:: SOT 4358 SOS 1221 HAS SOPS 1221 HAS SOUS 1116 HAS SOUPS 1116 WITH SCORE 1117.221
AT ITER 2967 NEW BEST:: SOT 4356 SOS 1210 HAS SOPS 1210 HAS SOUS 1110 HAS SOUPS 1110 WITH SCORE 1111.21
AT ITER 2996 NEW BEST:: SOT 4353 SOS 1207 HAS SOPS 1207 HAS SOUS 1107 HAS SOUPS 1107 WITH SCORE 1108.207
AT ITER 3029 NEW BEST:: SOT 4347 SOS 1201 HAS SOPS 1201 HAS SOUS 1101 HAS SOUPS 1101 WITH SCORE 1102.201
AT ITER 3059 NEW BEST:: SOT 4348 SOS 1201 HAS SOPS 1201 HAS SOUS 1098 HAS SOUPS 1098 WITH SCORE 1099.201
AT ITER 3156 NEW BEST:: SOT 4345 SOS 1190 HAS SOPS 1190 HAS SOUS 1087 HAS SOUPS 1087 WITH SCORE 1088.19
AT ITER 3157 NEW BEST:: SOT 4333 SOS 1117 HAS SOPS 1117 HAS SOUS 1037 HAS SOUPS 1037 WITH SCORE 1038.117
AT ITER 3205 NEW BEST:: SOT 4312 SOS 1096 HAS SOPS 1096 HAS SOUS 1016 HAS SOUPS 1016 WITH SCORE 1017.096
AT ITER 3216 NEW BEST:: SOT 4312 SOS 1089 HAS SOPS 1089 HAS SOUS 1012 HAS SOUPS 1012 WITH SCORE 1013.089
AT ITER 3264 NEW BEST:: SOT 4312 SOS 1088 HAS SOPS 1088 HAS SOUS 1012 HAS SOUPS 1012 WITH SCORE 1013.088
AT ITER 3304 NEW BEST:: SOT 4308 SOS 1084 HAS SOPS 1084 HAS SOUS 1008 HAS SOUPS 1008 WITH SCORE 1009.084
AT ITER 3306 NEW BEST:: SOT 4295 SOS 1071 HAS SOPS 1071 HAS SOUS 995 HAS SOUPS 995 WITH SCORE 996.071
AT ITER 3384 NEW BEST:: SOT 4295 SOS 1069 HAS SOPS 1069 HAS SOUS 993 HAS SOUPS 993 WITH SCORE 994.069
AT ITER 3391 NEW BEST:: SOT 4291 SOS 1054 HAS SOPS 1054 HAS SOUS 983 HAS SOUPS 983 WITH SCORE 984.054
AT ITER 3526 NEW BEST:: SOT 4292 SOS 1053 HAS SOPS 1053 HAS SOUS 982 HAS SOUPS 982 WITH SCORE 983.053
AT ITER 3620 NEW BEST:: SOT 4293 SOS 1049 HAS SOPS 1049 HAS SOUS 978 HAS SOUPS 978 WITH SCORE 979.049
AT ITER 3631 NEW BEST:: SOT 4291 SOS 1044 HAS SOPS 1044 HAS SOUS 977 HAS SOUPS 977 WITH SCORE 978.044
AT ITER 3700 NEW BEST:: SOT 4290 SOS 1043 HAS SOPS 1043 HAS SOUS 976 HAS SOUPS 976 WITH SCORE 977.043
AT ITER 3776 NEW BEST:: SOT 4291 SOS 1041 HAS SOPS 1041 HAS SOUS 975 HAS SOUPS 975 WITH SCORE 976.041
AT ITER 3830 NEW BEST:: SOT 4288 SOS 1037 HAS SOPS 1037 HAS SOUS 971 HAS SOUPS 971 WITH SCORE 972.037
AT ITER 3922 NEW BEST:: SOT 4287 SOS 1034 HAS SOPS 1034 HAS SOUS 968 HAS SOUPS 968 WITH SCORE 969.034
AT ITER 4143 NEW BEST:: SOT 4284 SOS 1032 HAS SOPS 1032 HAS SOUS 968 HAS SOUPS 968 WITH SCORE 969.032
AT ITER 4149 NEW BEST:: SOT 4284 SOS 1028 HAS SOPS 1028 HAS SOUS 966 HAS SOUPS 966 WITH SCORE 967.028
AT ITER 4244 NEW BEST:: SOT 4280 SOS 1021 HAS SOPS 1021 HAS SOUS 959 HAS SOUPS 959 WITH SCORE 960.021
AT ITER 4377 NEW BEST:: SOT 4285 SOS 1022 HAS SOPS 1022 HAS SOUS 954 HAS SOUPS 954 WITH SCORE 955.022
AT ITER 4538 NEW BEST:: SOT 4284 SOS 1022 HAS SOPS 1022 HAS SOUS 953 HAS SOUPS 953 WITH SCORE 954.022
AT ITER 4548 NEW BEST:: SOT 4282 SOS 1020 HAS SOPS 1020 HAS SOUS 951 HAS SOUPS 951 WITH SCORE 952.02
AT ITER 4575 NEW BEST:: SOT 4275 SOS 1007 HAS SOPS 1007 HAS SOUS 942 HAS SOUPS 942 WITH SCORE 943.007
AT ITER 4619 NEW BEST:: SOT 4271 SOS 1003 HAS SOPS 1003 HAS SOUS 938 HAS SOUPS 938 WITH SCORE 939.003
AT ITER 4627 NEW BEST:: SOT 4270 SOS 1000 HAS SOPS 1000 HAS SOUS 935 HAS SOUPS 935 WITH SCORE 936.0
AT ITER 4710 NEW BEST:: SOT 4270 SOS 998 HAS SOPS 998 HAS SOUS 931 HAS SOUPS 931 WITH SCORE 931.998
AT ITER 4770 NEW BEST:: SOT 4269 SOS 997 HAS SOPS 997 HAS SOUS 930 HAS SOUPS 930 WITH SCORE 930.997
AT ITER 5015 NEW BEST:: SOT 4271 SOS 991 HAS SOPS 991 HAS SOUS 926 HAS SOUPS 926 WITH SCORE 926.991
AT ITER 5162 NEW BEST:: SOT 4270 SOS 989 HAS SOPS 989 HAS SOUS 924 HAS SOUPS 924 WITH SCORE 924.989
AT ITER 5281 NEW BEST:: SOT 4271 SOS 988 HAS SOPS 988 HAS SOUS 923 HAS SOUPS 923 WITH SCORE 923.988
AT ITER 5724 NEW BEST:: SOT 4268 SOS 984 HAS SOPS 984 HAS SOUS 919 HAS SOUPS 919 WITH SCORE 919.984
AT ITER 5752 NEW BEST:: SOT 4267 SOS 983 HAS SOPS 983 HAS SOUS 918 HAS SOUPS 918 WITH SCORE 918.983
AT ITER 5808 NEW BEST:: SOT 4266 SOS 981 HAS SOPS 981 HAS SOUS 916 HAS SOUPS 916 WITH SCORE 916.981
AT ITER 5927 NEW BEST:: SOT 4265 SOS 977 HAS SOPS 977 HAS SOUS 913 HAS SOUPS 913 WITH SCORE 913.977
AT ITER 6182 NEW BEST:: SOT 4265 SOS 976 HAS SOPS 976 HAS SOUS 912 HAS SOUPS 912 WITH SCORE 912.976
AT ITER 6209 NEW BEST:: SOT 4264 SOS 975 HAS SOPS 975 HAS SOUS 911 HAS SOUPS 911 WITH SCORE 911.975
AT ITER 6297 NEW BEST:: SOT 4264 SOS 973 HAS SOPS 973 HAS SOUS 909 HAS SOUPS 909 WITH SCORE 909.973
AT ITER 6324 NEW BEST:: SOT 4264 SOS 972 HAS SOPS 972 HAS SOUS 908 HAS SOUPS 908 WITH SCORE 908.972
AT ITER 6354 NEW BEST:: SOT 4265 SOS 971 HAS SOPS 971 HAS SOUS 907 HAS SOUPS 907 WITH SCORE 907.971
AT ITER 6467 NEW BEST:: SOT 4264 SOS 968 HAS SOPS 968 HAS SOUS 904 HAS SOUPS 904 WITH SCORE 904.968
AT ITER 6566 NEW BEST:: SOT 4262 SOS 964 HAS SOPS 964 HAS SOUS 900 HAS SOUPS 900 WITH SCORE 900.964
AT ITER 6616 NEW BEST:: SOT 4262 SOS 963 HAS SOPS 963 HAS SOUS 899 HAS SOUPS 899 WITH SCORE 899.963
AT ITER 6746 NEW BEST:: SOT 4261 SOS 962 HAS SOPS 962 HAS SOUS 898 HAS SOUPS 898 WITH SCORE 898.962
AT ITER 6839 NEW BEST:: SOT 4263 SOS 961 HAS SOPS 961 HAS SOUS 897 HAS SOUPS 897 WITH SCORE 897.961
AT ITER 6852 NEW BEST:: SOT 4265 SOS 963 HAS SOPS 963 HAS SOUS 896 HAS SOUPS 896 WITH SCORE 896.963
AT ITER 6879 NEW BEST:: SOT 4271 SOS 961 HAS SOPS 961 HAS SOUS 894 HAS SOUPS 894 WITH SCORE 894.961
AT ITER 7119 NEW BEST:: SOT 4271 SOS 959 HAS SOPS 959 HAS SOUS 893 HAS SOUPS 893 WITH SCORE 893.959
AT ITER 7152 NEW BEST:: SOT 4270 SOS 955 HAS SOPS 955 HAS SOUS 891 HAS SOUPS 891 WITH SCORE 891.955
AT ITER 7298 NEW BEST:: SOT 4270 SOS 953 HAS SOPS 953 HAS SOUS 890 HAS SOUPS 890 WITH SCORE 890.953
AT ITER 7356 NEW BEST:: SOT 4270 SOS 952 HAS SOPS 952 HAS SOUS 889 HAS SOUPS 889 WITH SCORE 889.952
AT ITER 7631 NEW BEST:: SOT 4267 SOS 947 HAS SOPS 947 HAS SOUS 887 HAS SOUPS 887 WITH SCORE 887.947
AT ITER 7695 NEW BEST:: SOT 4266 SOS 946 HAS SOPS 946 HAS SOUS 886 HAS SOUPS 886 WITH SCORE 886.946
AT ITER 7825 NEW BEST:: SOT 4265 SOS 944 HAS SOPS 944 HAS SOUS 884 HAS SOUPS 884 WITH SCORE 884.944
AT ITER 7871 NEW BEST:: SOT 4267 SOS 943 HAS SOPS 943 HAS SOUS 884 HAS SOUPS 884 WITH SCORE 884.943
AT ITER 7891 NEW BEST:: SOT 4267 SOS 942 HAS SOPS 942 HAS SOUS 883 HAS SOUPS 883 WITH SCORE 883.942
AT ITER 8162 NEW BEST:: SOT 4261 SOS 938 HAS SOPS 938 HAS SOUS 879 HAS SOUPS 879 WITH SCORE 879.938
AT ITER 8181 NEW BEST:: SOT 4259 SOS 936 HAS SOPS 936 HAS SOUS 878 HAS SOUPS 878 WITH SCORE 878.936
AT ITER 8391 NEW BEST:: SOT 4258 SOS 935 HAS SOPS 935 HAS SOUS 877 HAS SOUPS 877 WITH SCORE 877.935
AT ITER 8534 NEW BEST:: SOT 4258 SOS 933 HAS SOPS 933 HAS SOUS 875 HAS SOUPS 875 WITH SCORE 875.933
AT ITER 8564 NEW BEST:: SOT 4252 SOS 932 HAS SOPS 932 HAS SOUS 874 HAS SOUPS 874 WITH SCORE 874.932
AT ITER 8678 NEW BEST:: SOT 4252 SOS 931 HAS SOPS 931 HAS SOUS 873 HAS SOUPS 873 WITH SCORE 873.931
AT ITER 8717 NEW BEST:: SOT 4250 SOS 929 HAS SOPS 929 HAS SOUS 871 HAS SOUPS 871 WITH SCORE 871.929
AT ITER 8999 NEW BEST:: SOT 4251 SOS 929 HAS SOPS 929 HAS SOUS 870 HAS SOUPS 870 WITH SCORE 870.929
AT ITER 9205 NEW BEST:: SOT 4249 SOS 930 HAS SOPS 930 HAS SOUS 869 HAS SOUPS 869 WITH SCORE 869.93
AT ITER 9228 NEW BEST:: SOT 4247 SOS 927 HAS SOPS 927 HAS SOUS 866 HAS SOUPS 866 WITH SCORE 866.927
AT ITER 9229 NEW BEST:: SOT 4241 SOS 921 HAS SOPS 921 HAS SOUS 860 HAS SOUPS 860 WITH SCORE 860.921
AT ITER 9640 NEW BEST:: SOT 4241 SOS 915 HAS SOPS 915 HAS SOUS 860 HAS SOUPS 860 WITH SCORE 860.915
AT ITER 9852 NEW BEST:: SOT 4238 SOS 915 HAS SOPS 915 HAS SOUS 859 HAS SOUPS 859 WITH SCORE 859.915
AT ITER 9865 NEW BEST:: SOT 4239 SOS 914 HAS SOPS 914 HAS SOUS 858 HAS SOUPS 858 WITH SCORE 858.914
STATE_SPACE STATES 512000000000001 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 45 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 9856000000000001 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679573455987

--------------------
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:
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
++ sed s/.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="ShieldPPPt-PT-004A"
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 ShieldPPPt-PT-004A, 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 r395-oct2-167903718900584"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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