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.r387-oct2-167903712000584.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 smart
Input is ShieldPPPt-PT-004A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r387-oct2-167903712000584
=====================================================================

--------------------
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 1679067693893

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldPPPt-PT-004A
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (PT), instance 004A
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 2 NEW BEST:: SOT 6305 SOS 5265 HAS SOPS 5265 HAS SOUS 4309 HAS SOUPS 4309 WITH SCORE 4314.265
AT ITER 3 NEW BEST:: SOT 6232 SOS 5238 HAS SOPS 5238 HAS SOUS 4286 HAS SOUPS 4286 WITH SCORE 4291.238
AT ITER 4 NEW BEST:: SOT 6217 SOS 5223 HAS SOPS 5223 HAS SOUS 4269 HAS SOUPS 4269 WITH SCORE 4274.223
AT ITER 8 NEW BEST:: SOT 6217 SOS 5094 HAS SOPS 5094 HAS SOUS 4259 HAS SOUPS 4259 WITH SCORE 4264.094
AT ITER 9 NEW BEST:: SOT 6217 SOS 5063 HAS SOPS 5063 HAS SOUS 4253 HAS SOUPS 4253 WITH SCORE 4258.063
AT ITER 10 NEW BEST:: SOT 6164 SOS 5042 HAS SOPS 5042 HAS SOUS 4218 HAS SOUPS 4218 WITH SCORE 4223.042
AT ITER 11 NEW BEST:: SOT 6164 SOS 5042 HAS SOPS 5042 HAS SOUS 4217 HAS SOUPS 4217 WITH SCORE 4222.042
AT ITER 12 NEW BEST:: SOT 6164 SOS 4995 HAS SOPS 4995 HAS SOUS 4217 HAS SOUPS 4217 WITH SCORE 4221.995
AT ITER 13 NEW BEST:: SOT 6127 SOS 4956 HAS SOPS 4956 HAS SOUS 4178 HAS SOUPS 4178 WITH SCORE 4182.956
AT ITER 15 NEW BEST:: SOT 6127 SOS 4864 HAS SOPS 4864 HAS SOUS 4176 HAS SOUPS 4176 WITH SCORE 4180.864
AT ITER 16 NEW BEST:: SOT 6127 SOS 4862 HAS SOPS 4862 HAS SOUS 4158 HAS SOUPS 4158 WITH SCORE 4162.862
AT ITER 17 NEW BEST:: SOT 6127 SOS 4773 HAS SOPS 4773 HAS SOUS 4140 HAS SOUPS 4140 WITH SCORE 4144.773
AT ITER 18 NEW BEST:: SOT 6067 SOS 4692 HAS SOPS 4692 HAS SOUS 4068 HAS SOUPS 4068 WITH SCORE 4072.692
AT ITER 20 NEW BEST:: SOT 6065 SOS 4690 HAS SOPS 4690 HAS SOUS 4066 HAS SOUPS 4066 WITH SCORE 4070.69
AT ITER 27 NEW BEST:: SOT 6041 SOS 4666 HAS SOPS 4666 HAS SOUS 4007 HAS SOUPS 4007 WITH SCORE 4011.666
AT ITER 28 NEW BEST:: SOT 6009 SOS 4634 HAS SOPS 4634 HAS SOUS 3973 HAS SOUPS 3973 WITH SCORE 3977.634
AT ITER 29 NEW BEST:: SOT 5962 SOS 4587 HAS SOPS 4587 HAS SOUS 3917 HAS SOUPS 3917 WITH SCORE 3921.587
AT ITER 32 NEW BEST:: SOT 5956 SOS 4581 HAS SOPS 4581 HAS SOUS 3898 HAS SOUPS 3898 WITH SCORE 3902.581
AT ITER 40 NEW BEST:: SOT 5956 SOS 4565 HAS SOPS 4565 HAS SOUS 3895 HAS SOUPS 3895 WITH SCORE 3899.565
AT ITER 41 NEW BEST:: SOT 5956 SOS 4455 HAS SOPS 4455 HAS SOUS 3858 HAS SOUPS 3858 WITH SCORE 3862.455
AT ITER 46 NEW BEST:: SOT 5948 SOS 4345 HAS SOPS 4345 HAS SOUS 3785 HAS SOUPS 3785 WITH SCORE 3789.345
AT ITER 49 NEW BEST:: SOT 5927 SOS 4324 HAS SOPS 4324 HAS SOUS 3780 HAS SOUPS 3780 WITH SCORE 3784.324
AT ITER 50 NEW BEST:: SOT 5927 SOS 4324 HAS SOPS 4324 HAS SOUS 3779 HAS SOUPS 3779 WITH SCORE 3783.324
AT ITER 51 NEW BEST:: SOT 5923 SOS 4304 HAS SOPS 4304 HAS SOUS 3767 HAS SOUPS 3767 WITH SCORE 3771.304
AT ITER 54 NEW BEST:: SOT 5790 SOS 4192 HAS SOPS 4192 HAS SOUS 3683 HAS SOUPS 3683 WITH SCORE 3687.192
AT ITER 55 NEW BEST:: SOT 5776 SOS 4178 HAS SOPS 4178 HAS SOUS 3669 HAS SOUPS 3669 WITH SCORE 3673.178
AT ITER 56 NEW BEST:: SOT 5797 SOS 4070 HAS SOPS 4070 HAS SOUS 3660 HAS SOUPS 3660 WITH SCORE 3664.07
AT ITER 58 NEW BEST:: SOT 5797 SOS 4056 HAS SOPS 4056 HAS SOUS 3654 HAS SOUPS 3654 WITH SCORE 3658.056
AT ITER 61 NEW BEST:: SOT 5792 SOS 4051 HAS SOPS 4051 HAS SOUS 3643 HAS SOUPS 3643 WITH SCORE 3647.051
AT ITER 62 NEW BEST:: SOT 5771 SOS 4030 HAS SOPS 4030 HAS SOUS 3622 HAS SOUPS 3622 WITH SCORE 3626.03
AT ITER 63 NEW BEST:: SOT 5765 SOS 4024 HAS SOPS 4024 HAS SOUS 3616 HAS SOUPS 3616 WITH SCORE 3620.024
AT ITER 64 NEW BEST:: SOT 5738 SOS 3947 HAS SOPS 3947 HAS SOUS 3600 HAS SOUPS 3600 WITH SCORE 3603.947
AT ITER 70 NEW BEST:: SOT 5716 SOS 3914 HAS SOPS 3914 HAS SOUS 3562 HAS SOUPS 3562 WITH SCORE 3565.914
AT ITER 75 NEW BEST:: SOT 5723 SOS 3921 HAS SOPS 3921 HAS SOUS 3558 HAS SOUPS 3558 WITH SCORE 3561.921
AT ITER 78 NEW BEST:: SOT 5723 SOS 3874 HAS SOPS 3874 HAS SOUS 3537 HAS SOUPS 3537 WITH SCORE 3540.874
AT ITER 79 NEW BEST:: SOT 5723 SOS 3872 HAS SOPS 3872 HAS SOUS 3535 HAS SOUPS 3535 WITH SCORE 3538.872
AT ITER 80 NEW BEST:: SOT 5723 SOS 3789 HAS SOPS 3789 HAS SOUS 3460 HAS SOUPS 3460 WITH SCORE 3463.789
AT ITER 81 NEW BEST:: SOT 5683 SOS 3709 HAS SOPS 3709 HAS SOUS 3392 HAS SOUPS 3392 WITH SCORE 3395.709
AT ITER 83 NEW BEST:: SOT 5668 SOS 3523 HAS SOPS 3523 HAS SOUS 3295 HAS SOUPS 3295 WITH SCORE 3298.523
AT ITER 85 NEW BEST:: SOT 5666 SOS 3485 HAS SOPS 3485 HAS SOUS 3275 HAS SOUPS 3275 WITH SCORE 3278.485
AT ITER 91 NEW BEST:: SOT 5651 SOS 3470 HAS SOPS 3470 HAS SOUS 3260 HAS SOUPS 3260 WITH SCORE 3263.47
AT ITER 95 NEW BEST:: SOT 5650 SOS 3469 HAS SOPS 3469 HAS SOUS 3259 HAS SOUPS 3259 WITH SCORE 3262.469
AT ITER 99 NEW BEST:: SOT 5610 SOS 3405 HAS SOPS 3405 HAS SOUS 3195 HAS SOUPS 3195 WITH SCORE 3198.405
AT ITER 100 NEW BEST:: SOT 5557 SOS 3360 HAS SOPS 3360 HAS SOUS 3148 HAS SOUPS 3148 WITH SCORE 3151.36
AT ITER 102 NEW BEST:: SOT 5556 SOS 3358 HAS SOPS 3358 HAS SOUS 3146 HAS SOUPS 3146 WITH SCORE 3149.358
AT ITER 110 NEW BEST:: SOT 5489 SOS 3261 HAS SOPS 3261 HAS SOUS 3057 HAS SOUPS 3057 WITH SCORE 3060.261
AT ITER 111 NEW BEST:: SOT 5487 SOS 3259 HAS SOPS 3259 HAS SOUS 3054 HAS SOUPS 3054 WITH SCORE 3057.259
AT ITER 113 NEW BEST:: SOT 5495 SOS 3256 HAS SOPS 3256 HAS SOUS 3044 HAS SOUPS 3044 WITH SCORE 3047.256
AT ITER 115 NEW BEST:: SOT 5499 SOS 3250 HAS SOPS 3250 HAS SOUS 3038 HAS SOUPS 3038 WITH SCORE 3041.25
AT ITER 117 NEW BEST:: SOT 5498 SOS 3249 HAS SOPS 3249 HAS SOUS 3037 HAS SOUPS 3037 WITH SCORE 3040.249
AT ITER 128 NEW BEST:: SOT 5510 SOS 3230 HAS SOPS 3230 HAS SOUS 3024 HAS SOUPS 3024 WITH SCORE 3027.23
AT ITER 131 NEW BEST:: SOT 5501 SOS 3217 HAS SOPS 3217 HAS SOUS 3011 HAS SOUPS 3011 WITH SCORE 3014.217
AT ITER 133 NEW BEST:: SOT 5501 SOS 3203 HAS SOPS 3203 HAS SOUS 2997 HAS SOUPS 2997 WITH SCORE 3000.203
AT ITER 137 NEW BEST:: SOT 5502 SOS 3197 HAS SOPS 3197 HAS SOUS 2991 HAS SOUPS 2991 WITH SCORE 2994.197
AT ITER 141 NEW BEST:: SOT 5501 SOS 3196 HAS SOPS 3196 HAS SOUS 2990 HAS SOUPS 2990 WITH SCORE 2993.196
AT ITER 146 NEW BEST:: SOT 5465 SOS 3160 HAS SOPS 3160 HAS SOUS 2954 HAS SOUPS 2954 WITH SCORE 2957.16
AT ITER 156 NEW BEST:: SOT 5365 SOS 3116 HAS SOPS 3116 HAS SOUS 2893 HAS SOUPS 2893 WITH SCORE 2896.116
AT ITER 160 NEW BEST:: SOT 5328 SOS 3079 HAS SOPS 3079 HAS SOUS 2856 HAS SOUPS 2856 WITH SCORE 2859.079
AT ITER 161 NEW BEST:: SOT 5328 SOS 3074 HAS SOPS 3074 HAS SOUS 2847 HAS SOUPS 2847 WITH SCORE 2850.074
AT ITER 162 NEW BEST:: SOT 5313 SOS 3038 HAS SOPS 3038 HAS SOUS 2816 HAS SOUPS 2816 WITH SCORE 2819.038
AT ITER 167 NEW BEST:: SOT 5289 SOS 3011 HAS SOPS 3011 HAS SOUS 2786 HAS SOUPS 2786 WITH SCORE 2789.011
AT ITER 168 NEW BEST:: SOT 5289 SOS 3003 HAS SOPS 3003 HAS SOUS 2778 HAS SOUPS 2778 WITH SCORE 2781.003
AT ITER 172 NEW BEST:: SOT 5296 SOS 3002 HAS SOPS 3002 HAS SOUS 2776 HAS SOUPS 2776 WITH SCORE 2779.002
AT ITER 175 NEW BEST:: SOT 5295 SOS 2977 HAS SOPS 2977 HAS SOUS 2766 HAS SOUPS 2766 WITH SCORE 2768.977
AT ITER 176 NEW BEST:: SOT 5290 SOS 2968 HAS SOPS 2968 HAS SOUS 2757 HAS SOUPS 2757 WITH SCORE 2759.968
AT ITER 184 NEW BEST:: SOT 5251 SOS 2911 HAS SOPS 2911 HAS SOUS 2700 HAS SOUPS 2700 WITH SCORE 2702.911
AT ITER 195 NEW BEST:: SOT 5250 SOS 2906 HAS SOPS 2906 HAS SOUS 2697 HAS SOUPS 2697 WITH SCORE 2699.906
AT ITER 196 NEW BEST:: SOT 5258 SOS 2896 HAS SOPS 2896 HAS SOUS 2687 HAS SOUPS 2687 WITH SCORE 2689.896
AT ITER 197 NEW BEST:: SOT 5245 SOS 2864 HAS SOPS 2864 HAS SOUS 2663 HAS SOUPS 2663 WITH SCORE 2665.864
AT ITER 198 NEW BEST:: SOT 5223 SOS 2811 HAS SOPS 2811 HAS SOUS 2618 HAS SOUPS 2618 WITH SCORE 2620.811
AT ITER 219 NEW BEST:: SOT 5213 SOS 2796 HAS SOPS 2796 HAS SOUS 2608 HAS SOUPS 2608 WITH SCORE 2610.796
AT ITER 252 NEW BEST:: SOT 5213 SOS 2794 HAS SOPS 2794 HAS SOUS 2606 HAS SOUPS 2606 WITH SCORE 2608.794
AT ITER 253 NEW BEST:: SOT 5213 SOS 2783 HAS SOPS 2783 HAS SOUS 2595 HAS SOUPS 2595 WITH SCORE 2597.783
AT ITER 257 NEW BEST:: SOT 5207 SOS 2776 HAS SOPS 2776 HAS SOUS 2588 HAS SOUPS 2588 WITH SCORE 2590.776
AT ITER 259 NEW BEST:: SOT 5215 SOS 2770 HAS SOPS 2770 HAS SOUS 2587 HAS SOUPS 2587 WITH SCORE 2589.77
AT ITER 261 NEW BEST:: SOT 5215 SOS 2765 HAS SOPS 2765 HAS SOUS 2586 HAS SOUPS 2586 WITH SCORE 2588.765
AT ITER 262 NEW BEST:: SOT 5215 SOS 2727 HAS SOPS 2727 HAS SOUS 2586 HAS SOUPS 2586 WITH SCORE 2588.727
AT ITER 278 NEW BEST:: SOT 5204 SOS 2694 HAS SOPS 2694 HAS SOUS 2555 HAS SOUPS 2555 WITH SCORE 2557.694
AT ITER 287 NEW BEST:: SOT 5171 SOS 2661 HAS SOPS 2661 HAS SOUS 2521 HAS SOUPS 2521 WITH SCORE 2523.661
AT ITER 288 NEW BEST:: SOT 5167 SOS 2659 HAS SOPS 2659 HAS SOUS 2519 HAS SOUPS 2519 WITH SCORE 2521.659
AT ITER 292 NEW BEST:: SOT 5163 SOS 2655 HAS SOPS 2655 HAS SOUS 2515 HAS SOUPS 2515 WITH SCORE 2517.655
AT ITER 294 NEW BEST:: SOT 5163 SOS 2649 HAS SOPS 2649 HAS SOUS 2509 HAS SOUPS 2509 WITH SCORE 2511.649
AT ITER 295 NEW BEST:: SOT 5161 SOS 2617 HAS SOPS 2617 HAS SOUS 2485 HAS SOUPS 2485 WITH SCORE 2487.617
AT ITER 297 NEW BEST:: SOT 5159 SOS 2615 HAS SOPS 2615 HAS SOUS 2483 HAS SOUPS 2483 WITH SCORE 2485.615
AT ITER 298 NEW BEST:: SOT 5159 SOS 2612 HAS SOPS 2612 HAS SOUS 2480 HAS SOUPS 2480 WITH SCORE 2482.612
AT ITER 301 NEW BEST:: SOT 5151 SOS 2608 HAS SOPS 2608 HAS SOUS 2473 HAS SOUPS 2473 WITH SCORE 2475.608
AT ITER 309 NEW BEST:: SOT 5151 SOS 2600 HAS SOPS 2600 HAS SOUS 2469 HAS SOUPS 2469 WITH SCORE 2471.6
AT ITER 316 NEW BEST:: SOT 5143 SOS 2589 HAS SOPS 2589 HAS SOUS 2458 HAS SOUPS 2458 WITH SCORE 2460.589
AT ITER 318 NEW BEST:: SOT 5098 SOS 2532 HAS SOPS 2532 HAS SOUS 2419 HAS SOUPS 2419 WITH SCORE 2421.532
AT ITER 320 NEW BEST:: SOT 5156 SOS 2486 HAS SOPS 2486 HAS SOUS 2373 HAS SOUPS 2373 WITH SCORE 2375.486
AT ITER 330 NEW BEST:: SOT 5133 SOS 2460 HAS SOPS 2460 HAS SOUS 2347 HAS SOUPS 2347 WITH SCORE 2349.46
AT ITER 333 NEW BEST:: SOT 5130 SOS 2467 HAS SOPS 2467 HAS SOUS 2343 HAS SOUPS 2343 WITH SCORE 2345.467
AT ITER 356 NEW BEST:: SOT 5130 SOS 2442 HAS SOPS 2442 HAS SOUS 2318 HAS SOUPS 2318 WITH SCORE 2320.442
AT ITER 357 NEW BEST:: SOT 5118 SOS 2427 HAS SOPS 2427 HAS SOUS 2302 HAS SOUPS 2302 WITH SCORE 2304.427
AT ITER 362 NEW BEST:: SOT 5118 SOS 2418 HAS SOPS 2418 HAS SOUS 2297 HAS SOUPS 2297 WITH SCORE 2299.418
AT ITER 366 NEW BEST:: SOT 5118 SOS 2410 HAS SOPS 2410 HAS SOUS 2287 HAS SOUPS 2287 WITH SCORE 2289.41
AT ITER 368 NEW BEST:: SOT 5103 SOS 2395 HAS SOPS 2395 HAS SOUS 2272 HAS SOUPS 2272 WITH SCORE 2274.395
AT ITER 373 NEW BEST:: SOT 5102 SOS 2388 HAS SOPS 2388 HAS SOUS 2265 HAS SOUPS 2265 WITH SCORE 2267.388
AT ITER 374 NEW BEST:: SOT 5082 SOS 2379 HAS SOPS 2379 HAS SOUS 2264 HAS SOUPS 2264 WITH SCORE 2266.379
AT ITER 378 NEW BEST:: SOT 5057 SOS 2372 HAS SOPS 2372 HAS SOUS 2257 HAS SOUPS 2257 WITH SCORE 2259.372
AT ITER 379 NEW BEST:: SOT 5020 SOS 2322 HAS SOPS 2322 HAS SOUS 2207 HAS SOUPS 2207 WITH SCORE 2209.322
AT ITER 389 NEW BEST:: SOT 4962 SOS 2268 HAS SOPS 2268 HAS SOUS 2162 HAS SOUPS 2162 WITH SCORE 2164.268
AT ITER 395 NEW BEST:: SOT 4926 SOS 2226 HAS SOPS 2226 HAS SOUS 2120 HAS SOUPS 2120 WITH SCORE 2122.226
AT ITER 396 NEW BEST:: SOT 4932 SOS 2225 HAS SOPS 2225 HAS SOUS 2119 HAS SOUPS 2119 WITH SCORE 2121.225
AT ITER 399 NEW BEST:: SOT 4932 SOS 2221 HAS SOPS 2221 HAS SOUS 2118 HAS SOUPS 2118 WITH SCORE 2120.221
AT ITER 411 NEW BEST:: SOT 4931 SOS 2220 HAS SOPS 2220 HAS SOUS 2117 HAS SOUPS 2117 WITH SCORE 2119.22
AT ITER 431 NEW BEST:: SOT 4935 SOS 2216 HAS SOPS 2216 HAS SOUS 2113 HAS SOUPS 2113 WITH SCORE 2115.216
AT ITER 433 NEW BEST:: SOT 4934 SOS 2215 HAS SOPS 2215 HAS SOUS 2112 HAS SOUPS 2112 WITH SCORE 2114.215
AT ITER 439 NEW BEST:: SOT 4929 SOS 2195 HAS SOPS 2195 HAS SOUS 2096 HAS SOUPS 2096 WITH SCORE 2098.195
AT ITER 450 NEW BEST:: SOT 4927 SOS 2193 HAS SOPS 2193 HAS SOUS 2094 HAS SOUPS 2094 WITH SCORE 2096.193
AT ITER 478 NEW BEST:: SOT 4909 SOS 2157 HAS SOPS 2157 HAS SOUS 2058 HAS SOUPS 2058 WITH SCORE 2060.157
AT ITER 480 NEW BEST:: SOT 4894 SOS 2145 HAS SOPS 2145 HAS SOUS 2046 HAS SOUPS 2046 WITH SCORE 2048.145
AT ITER 484 NEW BEST:: SOT 4894 SOS 2144 HAS SOPS 2144 HAS SOUS 2044 HAS SOUPS 2044 WITH SCORE 2046.144
AT ITER 488 NEW BEST:: SOT 4892 SOS 2142 HAS SOPS 2142 HAS SOUS 2044 HAS SOUPS 2044 WITH SCORE 2046.142
AT ITER 505 NEW BEST:: SOT 4881 SOS 2128 HAS SOPS 2128 HAS SOUS 2030 HAS SOUPS 2030 WITH SCORE 2032.128
AT ITER 513 NEW BEST:: SOT 4881 SOS 2124 HAS SOPS 2124 HAS SOUS 2028 HAS SOUPS 2028 WITH SCORE 2030.124
AT ITER 519 NEW BEST:: SOT 4873 SOS 2100 HAS SOPS 2100 HAS SOUS 2010 HAS SOUPS 2010 WITH SCORE 2012.1
AT ITER 520 NEW BEST:: SOT 4855 SOS 2065 HAS SOPS 2065 HAS SOUS 1961 HAS SOUPS 1961 WITH SCORE 1963.065
AT ITER 534 NEW BEST:: SOT 4855 SOS 2063 HAS SOPS 2063 HAS SOUS 1959 HAS SOUPS 1959 WITH SCORE 1961.063
AT ITER 538 NEW BEST:: SOT 4852 SOS 2059 HAS SOPS 2059 HAS SOUS 1955 HAS SOUPS 1955 WITH SCORE 1957.059
AT ITER 546 NEW BEST:: SOT 4852 SOS 2008 HAS SOPS 2008 HAS SOUS 1955 HAS SOUPS 1955 WITH SCORE 1957.008
AT ITER 579 NEW BEST:: SOT 4830 SOS 1998 HAS SOPS 1998 HAS SOUS 1942 HAS SOUPS 1942 WITH SCORE 1943.998
AT ITER 580 NEW BEST:: SOT 4830 SOS 1993 HAS SOPS 1993 HAS SOUS 1942 HAS SOUPS 1942 WITH SCORE 1943.993
AT ITER 586 NEW BEST:: SOT 4806 SOS 1954 HAS SOPS 1954 HAS SOUS 1903 HAS SOUPS 1903 WITH SCORE 1904.954
AT ITER 588 NEW BEST:: SOT 4804 SOS 1950 HAS SOPS 1950 HAS SOUS 1899 HAS SOUPS 1899 WITH SCORE 1900.95
AT ITER 592 NEW BEST:: SOT 4790 SOS 1936 HAS SOPS 1936 HAS SOUS 1885 HAS SOUPS 1885 WITH SCORE 1886.936
AT ITER 611 NEW BEST:: SOT 4788 SOS 1935 HAS SOPS 1935 HAS SOUS 1884 HAS SOUPS 1884 WITH SCORE 1885.935
AT ITER 627 NEW BEST:: SOT 4791 SOS 1934 HAS SOPS 1934 HAS SOUS 1883 HAS SOUPS 1883 WITH SCORE 1884.934
AT ITER 630 NEW BEST:: SOT 4780 SOS 1884 HAS SOPS 1884 HAS SOUS 1840 HAS SOUPS 1840 WITH SCORE 1841.884
AT ITER 635 NEW BEST:: SOT 4773 SOS 1877 HAS SOPS 1877 HAS SOUS 1833 HAS SOUPS 1833 WITH SCORE 1834.877
AT ITER 649 NEW BEST:: SOT 4739 SOS 1844 HAS SOPS 1844 HAS SOUS 1808 HAS SOUPS 1808 WITH SCORE 1809.844
AT ITER 682 NEW BEST:: SOT 4730 SOS 1819 HAS SOPS 1819 HAS SOUS 1783 HAS SOUPS 1783 WITH SCORE 1784.819
AT ITER 696 NEW BEST:: SOT 4727 SOS 1816 HAS SOPS 1816 HAS SOUS 1780 HAS SOUPS 1780 WITH SCORE 1781.816
AT ITER 708 NEW BEST:: SOT 4723 SOS 1828 HAS SOPS 1828 HAS SOUS 1777 HAS SOUPS 1777 WITH SCORE 1778.828
AT ITER 715 NEW BEST:: SOT 4721 SOS 1840 HAS SOPS 1840 HAS SOUS 1774 HAS SOUPS 1774 WITH SCORE 1775.84
AT ITER 717 NEW BEST:: SOT 4732 SOS 1834 HAS SOPS 1834 HAS SOUS 1770 HAS SOUPS 1770 WITH SCORE 1771.834
AT ITER 725 NEW BEST:: SOT 4724 SOS 1764 HAS SOPS 1764 HAS SOUS 1714 HAS SOUPS 1714 WITH SCORE 1715.764
AT ITER 730 NEW BEST:: SOT 4722 SOS 1759 HAS SOPS 1759 HAS SOUS 1709 HAS SOUPS 1709 WITH SCORE 1710.759
AT ITER 767 NEW BEST:: SOT 4714 SOS 1742 HAS SOPS 1742 HAS SOUS 1692 HAS SOUPS 1692 WITH SCORE 1693.742
AT ITER 768 NEW BEST:: SOT 4702 SOS 1733 HAS SOPS 1733 HAS SOUS 1683 HAS SOUPS 1683 WITH SCORE 1684.733
AT ITER 797 NEW BEST:: SOT 4697 SOS 1724 HAS SOPS 1724 HAS SOUS 1674 HAS SOUPS 1674 WITH SCORE 1675.724
AT ITER 801 NEW BEST:: SOT 4686 SOS 1713 HAS SOPS 1713 HAS SOUS 1667 HAS SOUPS 1667 WITH SCORE 1668.713
AT ITER 806 NEW BEST:: SOT 4685 SOS 1712 HAS SOPS 1712 HAS SOUS 1666 HAS SOUPS 1666 WITH SCORE 1667.712
AT ITER 814 NEW BEST:: SOT 4674 SOS 1703 HAS SOPS 1703 HAS SOUS 1657 HAS SOUPS 1657 WITH SCORE 1658.703
AT ITER 818 NEW BEST:: SOT 4674 SOS 1701 HAS SOPS 1701 HAS SOUS 1655 HAS SOUPS 1655 WITH SCORE 1656.701
AT ITER 820 NEW BEST:: SOT 4666 SOS 1687 HAS SOPS 1687 HAS SOUS 1646 HAS SOUPS 1646 WITH SCORE 1647.687
AT ITER 825 NEW BEST:: SOT 4661 SOS 1680 HAS SOPS 1680 HAS SOUS 1639 HAS SOUPS 1639 WITH SCORE 1640.68
AT ITER 828 NEW BEST:: SOT 4659 SOS 1676 HAS SOPS 1676 HAS SOUS 1635 HAS SOUPS 1635 WITH SCORE 1636.676
AT ITER 829 NEW BEST:: SOT 4657 SOS 1678 HAS SOPS 1678 HAS SOUS 1633 HAS SOUPS 1633 WITH SCORE 1634.678
AT ITER 832 NEW BEST:: SOT 4657 SOS 1676 HAS SOPS 1676 HAS SOUS 1631 HAS SOUPS 1631 WITH SCORE 1632.676
AT ITER 867 NEW BEST:: SOT 4656 SOS 1671 HAS SOPS 1671 HAS SOUS 1626 HAS SOUPS 1626 WITH SCORE 1627.671
AT ITER 875 NEW BEST:: SOT 4656 SOS 1670 HAS SOPS 1670 HAS SOUS 1625 HAS SOUPS 1625 WITH SCORE 1626.67
AT ITER 884 NEW BEST:: SOT 4656 SOS 1670 HAS SOPS 1670 HAS SOUS 1624 HAS SOUPS 1624 WITH SCORE 1625.67
AT ITER 894 NEW BEST:: SOT 4655 SOS 1669 HAS SOPS 1669 HAS SOUS 1623 HAS SOUPS 1623 WITH SCORE 1624.669
AT ITER 904 NEW BEST:: SOT 4652 SOS 1666 HAS SOPS 1666 HAS SOUS 1620 HAS SOUPS 1620 WITH SCORE 1621.666
AT ITER 912 NEW BEST:: SOT 4648 SOS 1662 HAS SOPS 1662 HAS SOUS 1618 HAS SOUPS 1618 WITH SCORE 1619.662
AT ITER 914 NEW BEST:: SOT 4644 SOS 1652 HAS SOPS 1652 HAS SOUS 1608 HAS SOUPS 1608 WITH SCORE 1609.652
AT ITER 930 NEW BEST:: SOT 4628 SOS 1636 HAS SOPS 1636 HAS SOUS 1592 HAS SOUPS 1592 WITH SCORE 1593.636
AT ITER 938 NEW BEST:: SOT 4619 SOS 1634 HAS SOPS 1634 HAS SOUS 1590 HAS SOUPS 1590 WITH SCORE 1591.634
AT ITER 941 NEW BEST:: SOT 4620 SOS 1632 HAS SOPS 1632 HAS SOUS 1588 HAS SOUPS 1588 WITH SCORE 1589.632
AT ITER 950 NEW BEST:: SOT 4620 SOS 1624 HAS SOPS 1624 HAS SOUS 1580 HAS SOUPS 1580 WITH SCORE 1581.624
AT ITER 971 NEW BEST:: SOT 4618 SOS 1621 HAS SOPS 1621 HAS SOUS 1577 HAS SOUPS 1577 WITH SCORE 1578.621
AT ITER 987 NEW BEST:: SOT 4618 SOS 1619 HAS SOPS 1619 HAS SOUS 1575 HAS SOUPS 1575 WITH SCORE 1576.619
AT ITER 1040 NEW BEST:: SOT 4589 SOS 1561 HAS SOPS 1561 HAS SOUS 1517 HAS SOUPS 1517 WITH SCORE 1518.561
AT ITER 1047 NEW BEST:: SOT 4585 SOS 1557 HAS SOPS 1557 HAS SOUS 1513 HAS SOUPS 1513 WITH SCORE 1514.557
AT ITER 1057 NEW BEST:: SOT 4578 SOS 1550 HAS SOPS 1550 HAS SOUS 1513 HAS SOUPS 1513 WITH SCORE 1514.55
AT ITER 1084 NEW BEST:: SOT 4574 SOS 1540 HAS SOPS 1540 HAS SOUS 1501 HAS SOUPS 1501 WITH SCORE 1502.54
AT ITER 1101 NEW BEST:: SOT 4574 SOS 1535 HAS SOPS 1535 HAS SOUS 1496 HAS SOUPS 1496 WITH SCORE 1497.535
AT ITER 1134 NEW BEST:: SOT 4574 SOS 1531 HAS SOPS 1531 HAS SOUS 1489 HAS SOUPS 1489 WITH SCORE 1490.531
AT ITER 1161 NEW BEST:: SOT 4574 SOS 1520 HAS SOPS 1520 HAS SOUS 1478 HAS SOUPS 1478 WITH SCORE 1479.52
AT ITER 1164 NEW BEST:: SOT 4572 SOS 1515 HAS SOPS 1515 HAS SOUS 1474 HAS SOUPS 1474 WITH SCORE 1475.515
AT ITER 1189 NEW BEST:: SOT 4589 SOS 1520 HAS SOPS 1520 HAS SOUS 1466 HAS SOUPS 1466 WITH SCORE 1467.52
AT ITER 1191 NEW BEST:: SOT 4587 SOS 1518 HAS SOPS 1518 HAS SOUS 1464 HAS SOUPS 1464 WITH SCORE 1465.518
AT ITER 1200 NEW BEST:: SOT 4589 SOS 1508 HAS SOPS 1508 HAS SOUS 1454 HAS SOUPS 1454 WITH SCORE 1455.508
AT ITER 1213 NEW BEST:: SOT 4587 SOS 1506 HAS SOPS 1506 HAS SOUS 1452 HAS SOUPS 1452 WITH SCORE 1453.506
AT ITER 1235 NEW BEST:: SOT 4586 SOS 1495 HAS SOPS 1495 HAS SOUS 1441 HAS SOUPS 1441 WITH SCORE 1442.495
AT ITER 1267 NEW BEST:: SOT 4582 SOS 1481 HAS SOPS 1481 HAS SOUS 1427 HAS SOUPS 1427 WITH SCORE 1428.481
AT ITER 1270 NEW BEST:: SOT 4576 SOS 1478 HAS SOPS 1478 HAS SOUS 1424 HAS SOUPS 1424 WITH SCORE 1425.478
AT ITER 1276 NEW BEST:: SOT 4574 SOS 1476 HAS SOPS 1476 HAS SOUS 1422 HAS SOUPS 1422 WITH SCORE 1423.476
AT ITER 1287 NEW BEST:: SOT 4573 SOS 1470 HAS SOPS 1470 HAS SOUS 1418 HAS SOUPS 1418 WITH SCORE 1419.47
AT ITER 1293 NEW BEST:: SOT 4566 SOS 1464 HAS SOPS 1464 HAS SOUS 1412 HAS SOUPS 1412 WITH SCORE 1413.464
AT ITER 1299 NEW BEST:: SOT 4562 SOS 1461 HAS SOPS 1461 HAS SOUS 1409 HAS SOUPS 1409 WITH SCORE 1410.461
AT ITER 1301 NEW BEST:: SOT 4560 SOS 1459 HAS SOPS 1459 HAS SOUS 1407 HAS SOUPS 1407 WITH SCORE 1408.459
AT ITER 1326 NEW BEST:: SOT 4558 SOS 1454 HAS SOPS 1454 HAS SOUS 1402 HAS SOUPS 1402 WITH SCORE 1403.454
AT ITER 1336 NEW BEST:: SOT 4558 SOS 1453 HAS SOPS 1453 HAS SOUS 1401 HAS SOUPS 1401 WITH SCORE 1402.453
AT ITER 1347 NEW BEST:: SOT 4548 SOS 1454 HAS SOPS 1454 HAS SOUS 1389 HAS SOUPS 1389 WITH SCORE 1390.454
AT ITER 1390 NEW BEST:: SOT 4547 SOS 1435 HAS SOPS 1435 HAS SOUS 1381 HAS SOUPS 1381 WITH SCORE 1382.435
AT ITER 1402 NEW BEST:: SOT 4543 SOS 1424 HAS SOPS 1424 HAS SOUS 1373 HAS SOUPS 1373 WITH SCORE 1374.424
AT ITER 1409 NEW BEST:: SOT 4545 SOS 1413 HAS SOPS 1413 HAS SOUS 1366 HAS SOUPS 1366 WITH SCORE 1367.413
AT ITER 1418 NEW BEST:: SOT 4539 SOS 1407 HAS SOPS 1407 HAS SOUS 1353 HAS SOUPS 1353 WITH SCORE 1354.407
AT ITER 1426 NEW BEST:: SOT 4539 SOS 1407 HAS SOPS 1407 HAS SOUS 1350 HAS SOUPS 1350 WITH SCORE 1351.407
AT ITER 1428 NEW BEST:: SOT 4536 SOS 1403 HAS SOPS 1403 HAS SOUS 1346 HAS SOUPS 1346 WITH SCORE 1347.403
AT ITER 1449 NEW BEST:: SOT 4535 SOS 1400 HAS SOPS 1400 HAS SOUS 1343 HAS SOUPS 1343 WITH SCORE 1344.4
AT ITER 1464 NEW BEST:: SOT 4521 SOS 1395 HAS SOPS 1395 HAS SOUS 1338 HAS SOUPS 1338 WITH SCORE 1339.395
AT ITER 1514 NEW BEST:: SOT 4522 SOS 1391 HAS SOPS 1391 HAS SOUS 1334 HAS SOUPS 1334 WITH SCORE 1335.391
AT ITER 1535 NEW BEST:: SOT 4515 SOS 1374 HAS SOPS 1374 HAS SOUS 1320 HAS SOUPS 1320 WITH SCORE 1321.374
AT ITER 1561 NEW BEST:: SOT 4513 SOS 1373 HAS SOPS 1373 HAS SOUS 1319 HAS SOUPS 1319 WITH SCORE 1320.373
AT ITER 1571 NEW BEST:: SOT 4510 SOS 1372 HAS SOPS 1372 HAS SOUS 1318 HAS SOUPS 1318 WITH SCORE 1319.372
AT ITER 1581 NEW BEST:: SOT 4506 SOS 1368 HAS SOPS 1368 HAS SOUS 1314 HAS SOUPS 1314 WITH SCORE 1315.368
AT ITER 1586 NEW BEST:: SOT 4503 SOS 1367 HAS SOPS 1367 HAS SOUS 1313 HAS SOUPS 1313 WITH SCORE 1314.367
AT ITER 1593 NEW BEST:: SOT 4501 SOS 1364 HAS SOPS 1364 HAS SOUS 1310 HAS SOUPS 1310 WITH SCORE 1311.364
AT ITER 1605 NEW BEST:: SOT 4501 SOS 1362 HAS SOPS 1362 HAS SOUS 1306 HAS SOUPS 1306 WITH SCORE 1307.362
AT ITER 1624 NEW BEST:: SOT 4500 SOS 1359 HAS SOPS 1359 HAS SOUS 1303 HAS SOUPS 1303 WITH SCORE 1304.359
AT ITER 1688 NEW BEST:: SOT 4498 SOS 1354 HAS SOPS 1354 HAS SOUS 1299 HAS SOUPS 1299 WITH SCORE 1300.354
AT ITER 1707 NEW BEST:: SOT 4491 SOS 1336 HAS SOPS 1336 HAS SOUS 1278 HAS SOUPS 1278 WITH SCORE 1279.336
AT ITER 1727 NEW BEST:: SOT 4490 SOS 1335 HAS SOPS 1335 HAS SOUS 1277 HAS SOUPS 1277 WITH SCORE 1278.335
AT ITER 1728 NEW BEST:: SOT 4490 SOS 1334 HAS SOPS 1334 HAS SOUS 1276 HAS SOUPS 1276 WITH SCORE 1277.334
AT ITER 1742 NEW BEST:: SOT 4488 SOS 1332 HAS SOPS 1332 HAS SOUS 1274 HAS SOUPS 1274 WITH SCORE 1275.332
AT ITER 1779 NEW BEST:: SOT 4476 SOS 1304 HAS SOPS 1304 HAS SOUS 1253 HAS SOUPS 1253 WITH SCORE 1254.304
AT ITER 1781 NEW BEST:: SOT 4471 SOS 1302 HAS SOPS 1302 HAS SOUS 1253 HAS SOUPS 1253 WITH SCORE 1254.302
AT ITER 1799 NEW BEST:: SOT 4470 SOS 1301 HAS SOPS 1301 HAS SOUS 1252 HAS SOUPS 1252 WITH SCORE 1253.301
AT ITER 1801 NEW BEST:: SOT 4467 SOS 1295 HAS SOPS 1295 HAS SOUS 1249 HAS SOUPS 1249 WITH SCORE 1250.295
AT ITER 1810 NEW BEST:: SOT 4465 SOS 1294 HAS SOPS 1294 HAS SOUS 1248 HAS SOUPS 1248 WITH SCORE 1249.294
AT ITER 1812 NEW BEST:: SOT 4463 SOS 1276 HAS SOPS 1276 HAS SOUS 1244 HAS SOUPS 1244 WITH SCORE 1245.276
AT ITER 1848 NEW BEST:: SOT 4459 SOS 1273 HAS SOPS 1273 HAS SOUS 1241 HAS SOUPS 1241 WITH SCORE 1242.273
AT ITER 1899 NEW BEST:: SOT 4458 SOS 1271 HAS SOPS 1271 HAS SOUS 1239 HAS SOUPS 1239 WITH SCORE 1240.271
AT ITER 1947 NEW BEST:: SOT 4461 SOS 1270 HAS SOPS 1270 HAS SOUS 1238 HAS SOUPS 1238 WITH SCORE 1239.27
AT ITER 1959 NEW BEST:: SOT 4461 SOS 1269 HAS SOPS 1269 HAS SOUS 1237 HAS SOUPS 1237 WITH SCORE 1238.269
AT ITER 1963 NEW BEST:: SOT 4461 SOS 1268 HAS SOPS 1268 HAS SOUS 1236 HAS SOUPS 1236 WITH SCORE 1237.268
AT ITER 2006 NEW BEST:: SOT 4460 SOS 1266 HAS SOPS 1266 HAS SOUS 1234 HAS SOUPS 1234 WITH SCORE 1235.266
AT ITER 2017 NEW BEST:: SOT 4460 SOS 1264 HAS SOPS 1264 HAS SOUS 1234 HAS SOUPS 1234 WITH SCORE 1235.264
AT ITER 2020 NEW BEST:: SOT 4463 SOS 1258 HAS SOPS 1258 HAS SOUS 1230 HAS SOUPS 1230 WITH SCORE 1231.258
AT ITER 2030 NEW BEST:: SOT 4463 SOS 1257 HAS SOPS 1257 HAS SOUS 1229 HAS SOUPS 1229 WITH SCORE 1230.257
AT ITER 2038 NEW BEST:: SOT 4462 SOS 1255 HAS SOPS 1255 HAS SOUS 1227 HAS SOUPS 1227 WITH SCORE 1228.255
AT ITER 2058 NEW BEST:: SOT 4461 SOS 1254 HAS SOPS 1254 HAS SOUS 1226 HAS SOUPS 1226 WITH SCORE 1227.254
AT ITER 2063 NEW BEST:: SOT 4464 SOS 1249 HAS SOPS 1249 HAS SOUS 1221 HAS SOUPS 1221 WITH SCORE 1222.249
AT ITER 2089 NEW BEST:: SOT 4464 SOS 1247 HAS SOPS 1247 HAS SOUS 1219 HAS SOUPS 1219 WITH SCORE 1220.247
AT ITER 2091 NEW BEST:: SOT 4461 SOS 1243 HAS SOPS 1243 HAS SOUS 1215 HAS SOUPS 1215 WITH SCORE 1216.243
AT ITER 2162 NEW BEST:: SOT 4459 SOS 1239 HAS SOPS 1239 HAS SOUS 1211 HAS SOUPS 1211 WITH SCORE 1212.239
AT ITER 2182 NEW BEST:: SOT 4455 SOS 1235 HAS SOPS 1235 HAS SOUS 1207 HAS SOUPS 1207 WITH SCORE 1208.235
AT ITER 2238 NEW BEST:: SOT 4455 SOS 1235 HAS SOPS 1235 HAS SOUS 1206 HAS SOUPS 1206 WITH SCORE 1207.235
AT ITER 2320 NEW BEST:: SOT 4453 SOS 1234 HAS SOPS 1234 HAS SOUS 1205 HAS SOUPS 1205 WITH SCORE 1206.234
AT ITER 2323 NEW BEST:: SOT 4453 SOS 1229 HAS SOPS 1229 HAS SOUS 1200 HAS SOUPS 1200 WITH SCORE 1201.229
AT ITER 2346 NEW BEST:: SOT 4453 SOS 1228 HAS SOPS 1228 HAS SOUS 1199 HAS SOUPS 1199 WITH SCORE 1200.228
AT ITER 2361 NEW BEST:: SOT 4455 SOS 1227 HAS SOPS 1227 HAS SOUS 1198 HAS SOUPS 1198 WITH SCORE 1199.227
AT ITER 2373 NEW BEST:: SOT 4460 SOS 1221 HAS SOPS 1221 HAS SOUS 1190 HAS SOUPS 1190 WITH SCORE 1191.221
AT ITER 2398 NEW BEST:: SOT 4460 SOS 1215 HAS SOPS 1215 HAS SOUS 1184 HAS SOUPS 1184 WITH SCORE 1185.215
AT ITER 2473 NEW BEST:: SOT 4454 SOS 1212 HAS SOPS 1212 HAS SOUS 1179 HAS SOUPS 1179 WITH SCORE 1180.212
AT ITER 2506 NEW BEST:: SOT 4452 SOS 1209 HAS SOPS 1209 HAS SOUS 1177 HAS SOUPS 1177 WITH SCORE 1178.209
AT ITER 2540 NEW BEST:: SOT 4454 SOS 1205 HAS SOPS 1205 HAS SOUS 1176 HAS SOUPS 1176 WITH SCORE 1177.205
AT ITER 2541 NEW BEST:: SOT 4449 SOS 1190 HAS SOPS 1190 HAS SOUS 1161 HAS SOUPS 1161 WITH SCORE 1162.19
AT ITER 2542 NEW BEST:: SOT 4444 SOS 1185 HAS SOPS 1185 HAS SOUS 1156 HAS SOUPS 1156 WITH SCORE 1157.185
AT ITER 2576 NEW BEST:: SOT 4444 SOS 1183 HAS SOPS 1183 HAS SOUS 1154 HAS SOUPS 1154 WITH SCORE 1155.183
AT ITER 2663 NEW BEST:: SOT 4444 SOS 1180 HAS SOPS 1180 HAS SOUS 1151 HAS SOUPS 1151 WITH SCORE 1152.18
AT ITER 2679 NEW BEST:: SOT 4443 SOS 1179 HAS SOPS 1179 HAS SOUS 1150 HAS SOUPS 1150 WITH SCORE 1151.179
AT ITER 2723 NEW BEST:: SOT 4442 SOS 1177 HAS SOPS 1177 HAS SOUS 1148 HAS SOUPS 1148 WITH SCORE 1149.177
AT ITER 2726 NEW BEST:: SOT 4441 SOS 1176 HAS SOPS 1176 HAS SOUS 1147 HAS SOUPS 1147 WITH SCORE 1148.176
AT ITER 2747 NEW BEST:: SOT 4439 SOS 1171 HAS SOPS 1171 HAS SOUS 1142 HAS SOUPS 1142 WITH SCORE 1143.171
AT ITER 2767 NEW BEST:: SOT 4437 SOS 1167 HAS SOPS 1167 HAS SOUS 1138 HAS SOUPS 1138 WITH SCORE 1139.167
AT ITER 2771 NEW BEST:: SOT 4439 SOS 1169 HAS SOPS 1169 HAS SOUS 1136 HAS SOUPS 1136 WITH SCORE 1137.169
AT ITER 2780 NEW BEST:: SOT 4439 SOS 1168 HAS SOPS 1168 HAS SOUS 1134 HAS SOUPS 1134 WITH SCORE 1135.168
AT ITER 2808 NEW BEST:: SOT 4437 SOS 1168 HAS SOPS 1168 HAS SOUS 1131 HAS SOUPS 1131 WITH SCORE 1132.168
AT ITER 2812 NEW BEST:: SOT 4437 SOS 1167 HAS SOPS 1167 HAS SOUS 1130 HAS SOUPS 1130 WITH SCORE 1131.167
AT ITER 2826 NEW BEST:: SOT 4436 SOS 1165 HAS SOPS 1165 HAS SOUS 1128 HAS SOUPS 1128 WITH SCORE 1129.165
AT ITER 2842 NEW BEST:: SOT 4435 SOS 1163 HAS SOPS 1163 HAS SOUS 1126 HAS SOUPS 1126 WITH SCORE 1127.163
AT ITER 2844 NEW BEST:: SOT 4433 SOS 1157 HAS SOPS 1157 HAS SOUS 1120 HAS SOUPS 1120 WITH SCORE 1121.157
AT ITER 2923 NEW BEST:: SOT 4430 SOS 1150 HAS SOPS 1150 HAS SOUS 1113 HAS SOUPS 1113 WITH SCORE 1114.15
AT ITER 2937 NEW BEST:: SOT 4430 SOS 1149 HAS SOPS 1149 HAS SOUS 1112 HAS SOUPS 1112 WITH SCORE 1113.149
AT ITER 2995 NEW BEST:: SOT 4425 SOS 1144 HAS SOPS 1144 HAS SOUS 1106 HAS SOUPS 1106 WITH SCORE 1107.144
AT ITER 3041 NEW BEST:: SOT 4425 SOS 1143 HAS SOPS 1143 HAS SOUS 1105 HAS SOUPS 1105 WITH SCORE 1106.143
AT ITER 3070 NEW BEST:: SOT 4425 SOS 1142 HAS SOPS 1142 HAS SOUS 1104 HAS SOUPS 1104 WITH SCORE 1105.142
AT ITER 3112 NEW BEST:: SOT 4425 SOS 1141 HAS SOPS 1141 HAS SOUS 1103 HAS SOUPS 1103 WITH SCORE 1104.141
AT ITER 3180 NEW BEST:: SOT 4424 SOS 1140 HAS SOPS 1140 HAS SOUS 1102 HAS SOUPS 1102 WITH SCORE 1103.14
AT ITER 3187 NEW BEST:: SOT 4423 SOS 1138 HAS SOPS 1138 HAS SOUS 1100 HAS SOUPS 1100 WITH SCORE 1101.138
AT ITER 3396 NEW BEST:: SOT 4418 SOS 1136 HAS SOPS 1136 HAS SOUS 1098 HAS SOUPS 1098 WITH SCORE 1099.136
AT ITER 3428 NEW BEST:: SOT 4418 SOS 1135 HAS SOPS 1135 HAS SOUS 1097 HAS SOUPS 1097 WITH SCORE 1098.135
AT ITER 3483 NEW BEST:: SOT 4410 SOS 1115 HAS SOPS 1115 HAS SOUS 1083 HAS SOUPS 1083 WITH SCORE 1084.115
AT ITER 3500 NEW BEST:: SOT 4410 SOS 1114 HAS SOPS 1114 HAS SOUS 1082 HAS SOUPS 1082 WITH SCORE 1083.114
AT ITER 3796 NEW BEST:: SOT 4408 SOS 1111 HAS SOPS 1111 HAS SOUS 1079 HAS SOUPS 1079 WITH SCORE 1080.111
AT ITER 3800 NEW BEST:: SOT 4405 SOS 1106 HAS SOPS 1106 HAS SOUS 1074 HAS SOUPS 1074 WITH SCORE 1075.106
AT ITER 3891 NEW BEST:: SOT 4403 SOS 1103 HAS SOPS 1103 HAS SOUS 1071 HAS SOUPS 1071 WITH SCORE 1072.103
AT ITER 3903 NEW BEST:: SOT 4402 SOS 1101 HAS SOPS 1101 HAS SOUS 1069 HAS SOUPS 1069 WITH SCORE 1070.101
AT ITER 4037 NEW BEST:: SOT 4401 SOS 1098 HAS SOPS 1098 HAS SOUS 1066 HAS SOUPS 1066 WITH SCORE 1067.098
AT ITER 4071 NEW BEST:: SOT 4401 SOS 1097 HAS SOPS 1097 HAS SOUS 1065 HAS SOUPS 1065 WITH SCORE 1066.097
AT ITER 4219 NEW BEST:: SOT 4400 SOS 1096 HAS SOPS 1096 HAS SOUS 1064 HAS SOUPS 1064 WITH SCORE 1065.096
AT ITER 4254 NEW BEST:: SOT 4401 SOS 1094 HAS SOPS 1094 HAS SOUS 1063 HAS SOUPS 1063 WITH SCORE 1064.094
AT ITER 4296 NEW BEST:: SOT 4401 SOS 1090 HAS SOPS 1090 HAS SOUS 1063 HAS SOUPS 1063 WITH SCORE 1064.09
AT ITER 4323 NEW BEST:: SOT 4397 SOS 1084 HAS SOPS 1084 HAS SOUS 1057 HAS SOUPS 1057 WITH SCORE 1058.084
AT ITER 4366 NEW BEST:: SOT 4396 SOS 1083 HAS SOPS 1083 HAS SOUS 1055 HAS SOUPS 1055 WITH SCORE 1056.083
AT ITER 4491 NEW BEST:: SOT 4396 SOS 1082 HAS SOPS 1082 HAS SOUS 1045 HAS SOUPS 1045 WITH SCORE 1046.082
AT ITER 4577 NEW BEST:: SOT 4395 SOS 1081 HAS SOPS 1081 HAS SOUS 1044 HAS SOUPS 1044 WITH SCORE 1045.081
AT ITER 4641 NEW BEST:: SOT 4394 SOS 1078 HAS SOPS 1078 HAS SOUS 1041 HAS SOUPS 1041 WITH SCORE 1042.078
AT ITER 4868 NEW BEST:: SOT 4390 SOS 1074 HAS SOPS 1074 HAS SOUS 1037 HAS SOUPS 1037 WITH SCORE 1038.074
AT ITER 5034 NEW BEST:: SOT 4382 SOS 1066 HAS SOPS 1066 HAS SOUS 1029 HAS SOUPS 1029 WITH SCORE 1030.066
AT ITER 5130 NEW BEST:: SOT 4382 SOS 1065 HAS SOPS 1065 HAS SOUS 1028 HAS SOUPS 1028 WITH SCORE 1029.065
AT ITER 5195 NEW BEST:: SOT 4383 SOS 1064 HAS SOPS 1064 HAS SOUS 1026 HAS SOUPS 1026 WITH SCORE 1027.064
AT ITER 5327 NEW BEST:: SOT 4377 SOS 1056 HAS SOPS 1056 HAS SOUS 1018 HAS SOUPS 1018 WITH SCORE 1019.056
AT ITER 5557 NEW BEST:: SOT 4375 SOS 1051 HAS SOPS 1051 HAS SOUS 1013 HAS SOUPS 1013 WITH SCORE 1014.051
AT ITER 5590 NEW BEST:: SOT 4371 SOS 1049 HAS SOPS 1049 HAS SOUS 1011 HAS SOUPS 1011 WITH SCORE 1012.049
AT ITER 5669 NEW BEST:: SOT 4371 SOS 1047 HAS SOPS 1047 HAS SOUS 1009 HAS SOUPS 1009 WITH SCORE 1010.047
AT ITER 5702 NEW BEST:: SOT 4371 SOS 1046 HAS SOPS 1046 HAS SOUS 1008 HAS SOUPS 1008 WITH SCORE 1009.046
AT ITER 5725 NEW BEST:: SOT 4368 SOS 1038 HAS SOPS 1038 HAS SOUS 1000 HAS SOUPS 1000 WITH SCORE 1001.038
AT ITER 5853 NEW BEST:: SOT 4368 SOS 1037 HAS SOPS 1037 HAS SOUS 999 HAS SOUPS 999 WITH SCORE 1000.037
AT ITER 5902 NEW BEST:: SOT 4364 SOS 1033 HAS SOPS 1033 HAS SOUS 993 HAS SOUPS 993 WITH SCORE 994.033
AT ITER 6258 NEW BEST:: SOT 4363 SOS 1032 HAS SOPS 1032 HAS SOUS 992 HAS SOUPS 992 WITH SCORE 993.032
AT ITER 6371 NEW BEST:: SOT 4363 SOS 1028 HAS SOPS 1028 HAS SOUS 991 HAS SOUPS 991 WITH SCORE 992.028
AT ITER 6857 NEW BEST:: SOT 4361 SOS 1028 HAS SOPS 1028 HAS SOUS 990 HAS SOUPS 990 WITH SCORE 991.028
AT ITER 7010 NEW BEST:: SOT 4362 SOS 1027 HAS SOPS 1027 HAS SOUS 989 HAS SOUPS 989 WITH SCORE 990.027
AT ITER 7066 NEW BEST:: SOT 4359 SOS 1019 HAS SOPS 1019 HAS SOUS 981 HAS SOUPS 981 WITH SCORE 982.019
AT ITER 7070 NEW BEST:: SOT 4359 SOS 1018 HAS SOPS 1018 HAS SOUS 980 HAS SOUPS 980 WITH SCORE 981.018
AT ITER 8416 NEW BEST:: SOT 4356 SOS 1014 HAS SOPS 1014 HAS SOUS 975 HAS SOUPS 975 WITH SCORE 976.014
AT ITER 8535 NEW BEST:: SOT 4355 SOS 1013 HAS SOPS 1013 HAS SOUS 974 HAS SOUPS 974 WITH SCORE 975.013
AT ITER 8577 NEW BEST:: SOT 4350 SOS 1010 HAS SOPS 1010 HAS SOUS 971 HAS SOUPS 971 WITH SCORE 972.01
AT ITER 8791 NEW BEST:: SOT 4350 SOS 1006 HAS SOPS 1006 HAS SOUS 967 HAS SOUPS 967 WITH SCORE 968.006
AT ITER 9117 NEW BEST:: SOT 4345 SOS 1003 HAS SOPS 1003 HAS SOUS 964 HAS SOUPS 964 WITH SCORE 965.003
AT ITER 9260 NEW BEST:: SOT 4344 SOS 1000 HAS SOPS 1000 HAS SOUS 961 HAS SOUPS 961 WITH SCORE 962.0
AT ITER 9316 NEW BEST:: SOT 4344 SOS 999 HAS SOPS 999 HAS SOUS 960 HAS SOUPS 960 WITH SCORE 960.999
AT ITER 9710 NEW BEST:: SOT 4342 SOS 997 HAS SOPS 997 HAS SOUS 958 HAS SOUPS 958 WITH SCORE 958.997
AT ITER 9809 NEW BEST:: SOT 4340 SOS 996 HAS SOPS 996 HAS SOUS 957 HAS SOUPS 957 WITH SCORE 957.996
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 1679067697229

--------------------
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="ShieldPPPt-PT-004A"
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"
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 smart"
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 1"
echo " Run identifier is r387-oct2-167903712000584"
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 ;