Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 200K
-rw-r--r-- 1 mcc users 4.0K May 14 00:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 00:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 18:07 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 18:07 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 14 10:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.3K May 13 13:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 13:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 08:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 08:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 34K May 12 20:42 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1590439206136

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

Filename model.pnml
Petri model created: 143 places, 133 transitions, 330 arcs.
AT ITER 0 NEW BEST:: SOT 10655 SOS 3389 HAS SOPS 3389 HAS SOUS 3061 HAS SOUPS 3061 WITH SCORE 3064.389
AT ITER 2 NEW BEST:: SOT 10653 SOS 3385 HAS SOPS 3385 HAS SOUS 3057 HAS SOUPS 3057 WITH SCORE 3060.385
AT ITER 13 NEW BEST:: SOT 10653 SOS 3381 HAS SOPS 3381 HAS SOUS 3053 HAS SOUPS 3053 WITH SCORE 3056.381
AT ITER 16 NEW BEST:: SOT 10641 SOS 3357 HAS SOPS 3357 HAS SOUS 3029 HAS SOUPS 3029 WITH SCORE 3032.357
AT ITER 21 NEW BEST:: SOT 10641 SOS 3356 HAS SOPS 3356 HAS SOUS 3028 HAS SOUPS 3028 WITH SCORE 3031.356
AT ITER 25 NEW BEST:: SOT 10647 SOS 3341 HAS SOPS 3341 HAS SOUS 3023 HAS SOUPS 3023 WITH SCORE 3026.341
AT ITER 40 NEW BEST:: SOT 10647 SOS 3339 HAS SOPS 3339 HAS SOUS 3023 HAS SOUPS 3023 WITH SCORE 3026.339
AT ITER 42 NEW BEST:: SOT 10641 SOS 3337 HAS SOPS 3337 HAS SOUS 3017 HAS SOUPS 3017 WITH SCORE 3020.337
AT ITER 44 NEW BEST:: SOT 10629 SOS 3301 HAS SOPS 3301 HAS SOUS 2993 HAS SOUPS 2993 WITH SCORE 2996.301
AT ITER 45 NEW BEST:: SOT 10629 SOS 3296 HAS SOPS 3296 HAS SOUS 2988 HAS SOUPS 2988 WITH SCORE 2991.296
AT ITER 48 NEW BEST:: SOT 10629 SOS 3279 HAS SOPS 3279 HAS SOUS 2988 HAS SOUPS 2988 WITH SCORE 2991.279
AT ITER 51 NEW BEST:: SOT 10629 SOS 3298 HAS SOPS 3298 HAS SOUS 2979 HAS SOUPS 2979 WITH SCORE 2982.298
AT ITER 81 NEW BEST:: SOT 10629 SOS 3284 HAS SOPS 3284 HAS SOUS 2963 HAS SOUPS 2963 WITH SCORE 2966.284
AT ITER 85 NEW BEST:: SOT 10629 SOS 3252 HAS SOPS 3252 HAS SOUS 2963 HAS SOUPS 2963 WITH SCORE 2966.252
AT ITER 98 NEW BEST:: SOT 10629 SOS 3224 HAS SOPS 3224 HAS SOUS 2945 HAS SOUPS 2945 WITH SCORE 2948.224
AT ITER 101 NEW BEST:: SOT 10612 SOS 3205 HAS SOPS 3205 HAS SOUS 2926 HAS SOUPS 2926 WITH SCORE 2929.205
AT ITER 109 NEW BEST:: SOT 10612 SOS 3204 HAS SOPS 3204 HAS SOUS 2926 HAS SOUPS 2926 WITH SCORE 2929.204
AT ITER 120 NEW BEST:: SOT 10612 SOS 3201 HAS SOPS 3201 HAS SOUS 2925 HAS SOUPS 2925 WITH SCORE 2928.201
AT ITER 132 NEW BEST:: SOT 10608 SOS 3189 HAS SOPS 3189 HAS SOUS 2913 HAS SOUPS 2913 WITH SCORE 2916.189
AT ITER 139 NEW BEST:: SOT 10599 SOS 3151 HAS SOPS 3151 HAS SOUS 2860 HAS SOUPS 2860 WITH SCORE 2863.151
AT ITER 156 NEW BEST:: SOT 10602 SOS 3157 HAS SOPS 3157 HAS SOUS 2839 HAS SOUPS 2839 WITH SCORE 2842.157
AT ITER 191 NEW BEST:: SOT 10591 SOS 3147 HAS SOPS 3147 HAS SOUS 2830 HAS SOUPS 2830 WITH SCORE 2833.147
AT ITER 195 NEW BEST:: SOT 10597 SOS 3142 HAS SOPS 3142 HAS SOUS 2825 HAS SOUPS 2825 WITH SCORE 2828.142
AT ITER 202 NEW BEST:: SOT 10597 SOS 3140 HAS SOPS 3140 HAS SOUS 2823 HAS SOUPS 2823 WITH SCORE 2826.14
AT ITER 211 NEW BEST:: SOT 10629 SOS 3108 HAS SOPS 3108 HAS SOUS 2823 HAS SOUPS 2823 WITH SCORE 2826.108
AT ITER 216 NEW BEST:: SOT 10573 SOS 3066 HAS SOPS 3066 HAS SOUS 2777 HAS SOUPS 2777 WITH SCORE 2780.066
AT ITER 220 NEW BEST:: SOT 10553 SOS 3065 HAS SOPS 3065 HAS SOUS 2757 HAS SOUPS 2757 WITH SCORE 2760.065
AT ITER 221 NEW BEST:: SOT 10548 SOS 3061 HAS SOPS 3061 HAS SOUS 2753 HAS SOUPS 2753 WITH SCORE 2756.061
AT ITER 237 NEW BEST:: SOT 10536 SOS 3051 HAS SOPS 3051 HAS SOUS 2741 HAS SOUPS 2741 WITH SCORE 2744.051
AT ITER 259 NEW BEST:: SOT 10529 SOS 3002 HAS SOPS 3002 HAS SOUS 2726 HAS SOUPS 2726 WITH SCORE 2729.002
AT ITER 268 NEW BEST:: SOT 10503 SOS 3002 HAS SOPS 3002 HAS SOUS 2719 HAS SOUPS 2719 WITH SCORE 2722.002
AT ITER 304 NEW BEST:: SOT 10500 SOS 2999 HAS SOPS 2999 HAS SOUS 2716 HAS SOUPS 2716 WITH SCORE 2718.999
AT ITER 313 NEW BEST:: SOT 10487 SOS 2991 HAS SOPS 2991 HAS SOUS 2703 HAS SOUPS 2703 WITH SCORE 2705.991
AT ITER 346 NEW BEST:: SOT 10469 SOS 2971 HAS SOPS 2971 HAS SOUS 2685 HAS SOUPS 2685 WITH SCORE 2687.971
AT ITER 353 NEW BEST:: SOT 10472 SOS 2970 HAS SOPS 2970 HAS SOUS 2684 HAS SOUPS 2684 WITH SCORE 2686.97
AT ITER 357 NEW BEST:: SOT 10476 SOS 2962 HAS SOPS 2962 HAS SOUS 2682 HAS SOUPS 2682 WITH SCORE 2684.962
AT ITER 363 NEW BEST:: SOT 10454 SOS 2987 HAS SOPS 2987 HAS SOUS 2663 HAS SOUPS 2663 WITH SCORE 2665.987
AT ITER 379 NEW BEST:: SOT 10450 SOS 2952 HAS SOPS 2952 HAS SOUS 2655 HAS SOUPS 2655 WITH SCORE 2657.952
AT ITER 386 NEW BEST:: SOT 10445 SOS 2959 HAS SOPS 2959 HAS SOUS 2644 HAS SOUPS 2644 WITH SCORE 2646.959
AT ITER 389 NEW BEST:: SOT 10430 SOS 2929 HAS SOPS 2929 HAS SOUS 2634 HAS SOUPS 2634 WITH SCORE 2636.929
AT ITER 399 NEW BEST:: SOT 10430 SOS 2909 HAS SOPS 2909 HAS SOUS 2631 HAS SOUPS 2631 WITH SCORE 2633.909
AT ITER 404 NEW BEST:: SOT 10424 SOS 2897 HAS SOPS 2897 HAS SOUS 2625 HAS SOUPS 2625 WITH SCORE 2627.897
AT ITER 405 NEW BEST:: SOT 10433 SOS 2895 HAS SOPS 2895 HAS SOUS 2624 HAS SOUPS 2624 WITH SCORE 2626.895
AT ITER 410 NEW BEST:: SOT 10432 SOS 2881 HAS SOPS 2881 HAS SOUS 2622 HAS SOUPS 2622 WITH SCORE 2624.881
AT ITER 453 NEW BEST:: SOT 10455 SOS 2880 HAS SOPS 2880 HAS SOUS 2621 HAS SOUPS 2621 WITH SCORE 2623.88
AT ITER 458 NEW BEST:: SOT 10455 SOS 2875 HAS SOPS 2875 HAS SOUS 2616 HAS SOUPS 2616 WITH SCORE 2618.875
AT ITER 465 NEW BEST:: SOT 10452 SOS 2869 HAS SOPS 2869 HAS SOUS 2613 HAS SOUPS 2613 WITH SCORE 2615.869
AT ITER 480 NEW BEST:: SOT 10451 SOS 2841 HAS SOPS 2841 HAS SOUS 2604 HAS SOUPS 2604 WITH SCORE 2606.841
AT ITER 484 NEW BEST:: SOT 10451 SOS 2841 HAS SOPS 2841 HAS SOUS 2588 HAS SOUPS 2588 WITH SCORE 2590.841
AT ITER 500 NEW BEST:: SOT 10432 SOS 2841 HAS SOPS 2841 HAS SOUS 2569 HAS SOUPS 2569 WITH SCORE 2571.841
AT ITER 503 NEW BEST:: SOT 10429 SOS 2810 HAS SOPS 2810 HAS SOUS 2546 HAS SOUPS 2546 WITH SCORE 2548.81
AT ITER 508 NEW BEST:: SOT 10423 SOS 2798 HAS SOPS 2798 HAS SOUS 2534 HAS SOUPS 2534 WITH SCORE 2536.798
AT ITER 527 NEW BEST:: SOT 10431 SOS 2802 HAS SOPS 2802 HAS SOUS 2523 HAS SOUPS 2523 WITH SCORE 2525.802
AT ITER 537 NEW BEST:: SOT 10437 SOS 2803 HAS SOPS 2803 HAS SOUS 2507 HAS SOUPS 2507 WITH SCORE 2509.803
AT ITER 538 NEW BEST:: SOT 10437 SOS 2803 HAS SOPS 2803 HAS SOUS 2506 HAS SOUPS 2506 WITH SCORE 2508.803
AT ITER 585 NEW BEST:: SOT 10437 SOS 2799 HAS SOPS 2799 HAS SOUS 2504 HAS SOUPS 2504 WITH SCORE 2506.799
AT ITER 615 NEW BEST:: SOT 10428 SOS 2795 HAS SOPS 2795 HAS SOUS 2500 HAS SOUPS 2500 WITH SCORE 2502.795
AT ITER 630 NEW BEST:: SOT 10418 SOS 2769 HAS SOPS 2769 HAS SOUS 2474 HAS SOUPS 2474 WITH SCORE 2476.769
AT ITER 689 NEW BEST:: SOT 10419 SOS 2721 HAS SOPS 2721 HAS SOUS 2474 HAS SOUPS 2474 WITH SCORE 2476.721
AT ITER 694 NEW BEST:: SOT 10419 SOS 2719 HAS SOPS 2719 HAS SOUS 2472 HAS SOUPS 2472 WITH SCORE 2474.719
AT ITER 704 NEW BEST:: SOT 10412 SOS 2711 HAS SOPS 2711 HAS SOUS 2464 HAS SOUPS 2464 WITH SCORE 2466.711
AT ITER 708 NEW BEST:: SOT 10411 SOS 2708 HAS SOPS 2708 HAS SOUS 2460 HAS SOUPS 2460 WITH SCORE 2462.708
AT ITER 717 NEW BEST:: SOT 10405 SOS 2699 HAS SOPS 2699 HAS SOUS 2451 HAS SOUPS 2451 WITH SCORE 2453.699
AT ITER 726 NEW BEST:: SOT 10405 SOS 2697 HAS SOPS 2697 HAS SOUS 2449 HAS SOUPS 2449 WITH SCORE 2451.697
AT ITER 733 NEW BEST:: SOT 10404 SOS 2696 HAS SOPS 2696 HAS SOUS 2448 HAS SOUPS 2448 WITH SCORE 2450.696
AT ITER 735 NEW BEST:: SOT 10384 SOS 2649 HAS SOPS 2649 HAS SOUS 2426 HAS SOUPS 2426 WITH SCORE 2428.649
AT ITER 736 NEW BEST:: SOT 10348 SOS 2632 HAS SOPS 2632 HAS SOUS 2406 HAS SOUPS 2406 WITH SCORE 2408.632
AT ITER 744 NEW BEST:: SOT 10348 SOS 2627 HAS SOPS 2627 HAS SOUS 2401 HAS SOUPS 2401 WITH SCORE 2403.627
AT ITER 747 NEW BEST:: SOT 10336 SOS 2606 HAS SOPS 2606 HAS SOUS 2380 HAS SOUPS 2380 WITH SCORE 2382.606
AT ITER 809 NEW BEST:: SOT 10335 SOS 2605 HAS SOPS 2605 HAS SOUS 2380 HAS SOUPS 2380 WITH SCORE 2382.605
AT ITER 820 NEW BEST:: SOT 10345 SOS 2603 HAS SOPS 2603 HAS SOUS 2378 HAS SOUPS 2378 WITH SCORE 2380.603
AT ITER 827 NEW BEST:: SOT 10355 SOS 2539 HAS SOPS 2539 HAS SOUS 2342 HAS SOUPS 2342 WITH SCORE 2344.539
AT ITER 867 NEW BEST:: SOT 10355 SOS 2537 HAS SOPS 2537 HAS SOUS 2340 HAS SOUPS 2340 WITH SCORE 2342.537
AT ITER 893 NEW BEST:: SOT 10345 SOS 2511 HAS SOPS 2511 HAS SOUS 2303 HAS SOUPS 2303 WITH SCORE 2305.511
AT ITER 966 NEW BEST:: SOT 10343 SOS 2507 HAS SOPS 2507 HAS SOUS 2299 HAS SOUPS 2299 WITH SCORE 2301.507
AT ITER 972 NEW BEST:: SOT 10340 SOS 2504 HAS SOPS 2504 HAS SOUS 2295 HAS SOUPS 2295 WITH SCORE 2297.504
AT ITER 976 NEW BEST:: SOT 10335 SOS 2484 HAS SOPS 2484 HAS SOUS 2275 HAS SOUPS 2275 WITH SCORE 2277.484
AT ITER 1007 NEW BEST:: SOT 10335 SOS 2452 HAS SOPS 2452 HAS SOUS 2275 HAS SOUPS 2275 WITH SCORE 2277.452
AT ITER 1014 NEW BEST:: SOT 10341 SOS 2437 HAS SOPS 2437 HAS SOUS 2260 HAS SOUPS 2260 WITH SCORE 2262.437
AT ITER 1024 NEW BEST:: SOT 10341 SOS 2425 HAS SOPS 2425 HAS SOUS 2255 HAS SOUPS 2255 WITH SCORE 2257.425
AT ITER 1037 NEW BEST:: SOT 10341 SOS 2419 HAS SOPS 2419 HAS SOUS 2255 HAS SOUPS 2255 WITH SCORE 2257.419
AT ITER 1046 NEW BEST:: SOT 10337 SOS 2402 HAS SOPS 2402 HAS SOUS 2239 HAS SOUPS 2239 WITH SCORE 2241.402
AT ITER 1075 NEW BEST:: SOT 10326 SOS 2388 HAS SOPS 2388 HAS SOUS 2231 HAS SOUPS 2231 WITH SCORE 2233.388
AT ITER 1103 NEW BEST:: SOT 10329 SOS 2387 HAS SOPS 2387 HAS SOUS 2230 HAS SOUPS 2230 WITH SCORE 2232.387
AT ITER 1122 NEW BEST:: SOT 10328 SOS 2381 HAS SOPS 2381 HAS SOUS 2228 HAS SOUPS 2228 WITH SCORE 2230.381
AT ITER 1146 NEW BEST:: SOT 10337 SOS 2380 HAS SOPS 2380 HAS SOUS 2228 HAS SOUPS 2228 WITH SCORE 2230.38
AT ITER 1208 NEW BEST:: SOT 10336 SOS 2370 HAS SOPS 2370 HAS SOUS 2218 HAS SOUPS 2218 WITH SCORE 2220.37
AT ITER 1229 NEW BEST:: SOT 10333 SOS 2367 HAS SOPS 2367 HAS SOUS 2215 HAS SOUPS 2215 WITH SCORE 2217.367
AT ITER 1251 NEW BEST:: SOT 10334 SOS 2364 HAS SOPS 2364 HAS SOUS 2212 HAS SOUPS 2212 WITH SCORE 2214.364
AT ITER 1252 NEW BEST:: SOT 10333 SOS 2362 HAS SOPS 2362 HAS SOUS 2203 HAS SOUPS 2203 WITH SCORE 2205.362
AT ITER 1260 NEW BEST:: SOT 10328 SOS 2352 HAS SOPS 2352 HAS SOUS 2198 HAS SOUPS 2198 WITH SCORE 2200.352
AT ITER 1264 NEW BEST:: SOT 10342 SOS 2354 HAS SOPS 2354 HAS SOUS 2192 HAS SOUPS 2192 WITH SCORE 2194.354
AT ITER 1302 NEW BEST:: SOT 10341 SOS 2352 HAS SOPS 2352 HAS SOUS 2190 HAS SOUPS 2190 WITH SCORE 2192.352
AT ITER 1304 NEW BEST:: SOT 10340 SOS 2350 HAS SOPS 2350 HAS SOUS 2188 HAS SOUPS 2188 WITH SCORE 2190.35
AT ITER 1366 NEW BEST:: SOT 10339 SOS 2347 HAS SOPS 2347 HAS SOUS 2186 HAS SOUPS 2186 WITH SCORE 2188.347
AT ITER 1381 NEW BEST:: SOT 10337 SOS 2343 HAS SOPS 2343 HAS SOUS 2182 HAS SOUPS 2182 WITH SCORE 2184.343
AT ITER 1415 NEW BEST:: SOT 10337 SOS 2326 HAS SOPS 2326 HAS SOUS 2182 HAS SOUPS 2182 WITH SCORE 2184.326
AT ITER 1449 NEW BEST:: SOT 10335 SOS 2322 HAS SOPS 2322 HAS SOUS 2178 HAS SOUPS 2178 WITH SCORE 2180.322
AT ITER 1458 NEW BEST:: SOT 10336 SOS 2321 HAS SOPS 2321 HAS SOUS 2177 HAS SOUPS 2177 WITH SCORE 2179.321
AT ITER 1504 NEW BEST:: SOT 10311 SOS 2304 HAS SOPS 2304 HAS SOUS 2159 HAS SOUPS 2159 WITH SCORE 2161.304
AT ITER 1506 NEW BEST:: SOT 10292 SOS 2266 HAS SOPS 2266 HAS SOUS 2140 HAS SOUPS 2140 WITH SCORE 2142.266
AT ITER 1521 NEW BEST:: SOT 10285 SOS 2252 HAS SOPS 2252 HAS SOUS 2130 HAS SOUPS 2130 WITH SCORE 2132.252
AT ITER 1559 NEW BEST:: SOT 10282 SOS 2257 HAS SOPS 2257 HAS SOUS 2129 HAS SOUPS 2129 WITH SCORE 2131.257
AT ITER 1581 NEW BEST:: SOT 10278 SOS 2249 HAS SOPS 2249 HAS SOUS 2121 HAS SOUPS 2121 WITH SCORE 2123.249
AT ITER 1601 NEW BEST:: SOT 10277 SOS 2246 HAS SOPS 2246 HAS SOUS 2119 HAS SOUPS 2119 WITH SCORE 2121.246
AT ITER 1617 NEW BEST:: SOT 10277 SOS 2243 HAS SOPS 2243 HAS SOUS 2116 HAS SOUPS 2116 WITH SCORE 2118.243
AT ITER 1631 NEW BEST:: SOT 10277 SOS 2242 HAS SOPS 2242 HAS SOUS 2115 HAS SOUPS 2115 WITH SCORE 2117.242
AT ITER 1647 NEW BEST:: SOT 10278 SOS 2239 HAS SOPS 2239 HAS SOUS 2112 HAS SOUPS 2112 WITH SCORE 2114.239
AT ITER 1705 NEW BEST:: SOT 10273 SOS 2229 HAS SOPS 2229 HAS SOUS 2106 HAS SOUPS 2106 WITH SCORE 2108.229
AT ITER 1752 NEW BEST:: SOT 10272 SOS 2228 HAS SOPS 2228 HAS SOUS 2105 HAS SOUPS 2105 WITH SCORE 2107.228
AT ITER 1781 NEW BEST:: SOT 10261 SOS 2237 HAS SOPS 2237 HAS SOUS 2094 HAS SOUPS 2094 WITH SCORE 2096.237
AT ITER 1798 NEW BEST:: SOT 10261 SOS 2241 HAS SOPS 2241 HAS SOUS 2090 HAS SOUPS 2090 WITH SCORE 2092.241
AT ITER 1882 NEW BEST:: SOT 10250 SOS 2235 HAS SOPS 2235 HAS SOUS 2078 HAS SOUPS 2078 WITH SCORE 2080.235
AT ITER 1892 NEW BEST:: SOT 10250 SOS 2231 HAS SOPS 2231 HAS SOUS 2074 HAS SOUPS 2074 WITH SCORE 2076.231
AT ITER 1925 NEW BEST:: SOT 10235 SOS 2201 HAS SOPS 2201 HAS SOUS 2055 HAS SOUPS 2055 WITH SCORE 2057.201
AT ITER 1942 NEW BEST:: SOT 10222 SOS 2181 HAS SOPS 2181 HAS SOUS 2035 HAS SOUPS 2035 WITH SCORE 2037.181
AT ITER 1947 NEW BEST:: SOT 10222 SOS 2171 HAS SOPS 2171 HAS SOUS 2035 HAS SOUPS 2035 WITH SCORE 2037.171
AT ITER 1954 NEW BEST:: SOT 10219 SOS 2177 HAS SOPS 2177 HAS SOUS 2034 HAS SOUPS 2034 WITH SCORE 2036.177
AT ITER 1975 NEW BEST:: SOT 10219 SOS 2170 HAS SOPS 2170 HAS SOUS 2027 HAS SOUPS 2027 WITH SCORE 2029.17
AT ITER 1977 NEW BEST:: SOT 10218 SOS 2166 HAS SOPS 2166 HAS SOUS 2025 HAS SOUPS 2025 WITH SCORE 2027.166
AT ITER 1989 NEW BEST:: SOT 10202 SOS 2134 HAS SOPS 2134 HAS SOUS 2001 HAS SOUPS 2001 WITH SCORE 2003.134
AT ITER 2006 NEW BEST:: SOT 10200 SOS 2123 HAS SOPS 2123 HAS SOUS 1990 HAS SOUPS 1990 WITH SCORE 1992.123
AT ITER 2021 NEW BEST:: SOT 10200 SOS 2121 HAS SOPS 2121 HAS SOUS 1989 HAS SOUPS 1989 WITH SCORE 1991.121
AT ITER 2027 NEW BEST:: SOT 10199 SOS 2119 HAS SOPS 2119 HAS SOUS 1987 HAS SOUPS 1987 WITH SCORE 1989.119
AT ITER 2062 NEW BEST:: SOT 10199 SOS 2117 HAS SOPS 2117 HAS SOUS 1987 HAS SOUPS 1987 WITH SCORE 1989.117
AT ITER 2110 NEW BEST:: SOT 10197 SOS 2115 HAS SOPS 2115 HAS SOUS 1987 HAS SOUPS 1987 WITH SCORE 1989.115
AT ITER 2158 NEW BEST:: SOT 10206 SOS 2112 HAS SOPS 2112 HAS SOUS 1975 HAS SOUPS 1975 WITH SCORE 1977.112
AT ITER 2164 NEW BEST:: SOT 10206 SOS 2110 HAS SOPS 2110 HAS SOUS 1975 HAS SOUPS 1975 WITH SCORE 1977.11
AT ITER 2228 NEW BEST:: SOT 10200 SOS 2104 HAS SOPS 2104 HAS SOUS 1969 HAS SOUPS 1969 WITH SCORE 1971.104
AT ITER 2321 NEW BEST:: SOT 10199 SOS 2102 HAS SOPS 2102 HAS SOUS 1968 HAS SOUPS 1968 WITH SCORE 1970.102
AT ITER 2322 NEW BEST:: SOT 10197 SOS 2090 HAS SOPS 2090 HAS SOUS 1966 HAS SOUPS 1966 WITH SCORE 1968.09
AT ITER 2383 NEW BEST:: SOT 10183 SOS 2093 HAS SOPS 2093 HAS SOUS 1964 HAS SOUPS 1964 WITH SCORE 1966.093
AT ITER 2385 NEW BEST:: SOT 10183 SOS 2091 HAS SOPS 2091 HAS SOUS 1963 HAS SOUPS 1963 WITH SCORE 1965.091
AT ITER 2399 NEW BEST:: SOT 10181 SOS 2087 HAS SOPS 2087 HAS SOUS 1963 HAS SOUPS 1963 WITH SCORE 1965.087
AT ITER 2420 NEW BEST:: SOT 10181 SOS 2076 HAS SOPS 2076 HAS SOUS 1963 HAS SOUPS 1963 WITH SCORE 1965.076
AT ITER 2435 NEW BEST:: SOT 10199 SOS 2077 HAS SOPS 2077 HAS SOUS 1961 HAS SOUPS 1961 WITH SCORE 1963.077
AT ITER 2443 NEW BEST:: SOT 10199 SOS 2076 HAS SOPS 2076 HAS SOUS 1960 HAS SOUPS 1960 WITH SCORE 1962.076
AT ITER 2469 NEW BEST:: SOT 10199 SOS 2076 HAS SOPS 2076 HAS SOUS 1954 HAS SOUPS 1954 WITH SCORE 1956.076
AT ITER 2510 NEW BEST:: SOT 10199 SOS 2063 HAS SOPS 2063 HAS SOUS 1941 HAS SOUPS 1941 WITH SCORE 1943.063
AT ITER 2553 NEW BEST:: SOT 10207 SOS 2056 HAS SOPS 2056 HAS SOUS 1934 HAS SOUPS 1934 WITH SCORE 1936.056
AT ITER 2588 NEW BEST:: SOT 10207 SOS 2056 HAS SOPS 2056 HAS SOUS 1933 HAS SOUPS 1933 WITH SCORE 1935.056
AT ITER 2616 NEW BEST:: SOT 10207 SOS 2055 HAS SOPS 2055 HAS SOUS 1932 HAS SOUPS 1932 WITH SCORE 1934.055
AT ITER 2619 NEW BEST:: SOT 10209 SOS 2056 HAS SOPS 2056 HAS SOUS 1926 HAS SOUPS 1926 WITH SCORE 1928.056
AT ITER 2622 NEW BEST:: SOT 10208 SOS 2053 HAS SOPS 2053 HAS SOUS 1925 HAS SOUPS 1925 WITH SCORE 1927.053
AT ITER 2633 NEW BEST:: SOT 10195 SOS 2044 HAS SOPS 2044 HAS SOUS 1916 HAS SOUPS 1916 WITH SCORE 1918.044
AT ITER 2646 NEW BEST:: SOT 10192 SOS 2023 HAS SOPS 2023 HAS SOUS 1907 HAS SOUPS 1907 WITH SCORE 1909.023
AT ITER 2649 NEW BEST:: SOT 10191 SOS 2022 HAS SOPS 2022 HAS SOUS 1906 HAS SOUPS 1906 WITH SCORE 1908.022
AT ITER 2672 NEW BEST:: SOT 10190 SOS 2020 HAS SOPS 2020 HAS SOUS 1904 HAS SOUPS 1904 WITH SCORE 1906.02
AT ITER 2674 NEW BEST:: SOT 10190 SOS 2020 HAS SOPS 2020 HAS SOUS 1903 HAS SOUPS 1903 WITH SCORE 1905.02
AT ITER 2836 NEW BEST:: SOT 10190 SOS 2017 HAS SOPS 2017 HAS SOUS 1901 HAS SOUPS 1901 WITH SCORE 1903.017
AT ITER 2864 NEW BEST:: SOT 10185 SOS 2023 HAS SOPS 2023 HAS SOUS 1897 HAS SOUPS 1897 WITH SCORE 1899.023
AT ITER 3029 NEW BEST:: SOT 10184 SOS 2022 HAS SOPS 2022 HAS SOUS 1896 HAS SOUPS 1896 WITH SCORE 1898.022
AT ITER 3058 NEW BEST:: SOT 10183 SOS 2018 HAS SOPS 2018 HAS SOUS 1895 HAS SOUPS 1895 WITH SCORE 1897.018
AT ITER 3157 NEW BEST:: SOT 10183 SOS 2017 HAS SOPS 2017 HAS SOUS 1895 HAS SOUPS 1895 WITH SCORE 1897.017
AT ITER 3309 NEW BEST:: SOT 10182 SOS 2016 HAS SOPS 2016 HAS SOUS 1894 HAS SOUPS 1894 WITH SCORE 1896.016
AT ITER 3327 NEW BEST:: SOT 10169 SOS 2003 HAS SOPS 2003 HAS SOUS 1881 HAS SOUPS 1881 WITH SCORE 1883.003
AT ITER 3337 NEW BEST:: SOT 10167 SOS 1999 HAS SOPS 1999 HAS SOUS 1877 HAS SOUPS 1877 WITH SCORE 1878.999
AT ITER 3480 NEW BEST:: SOT 10167 SOS 1995 HAS SOPS 1995 HAS SOUS 1877 HAS SOUPS 1877 WITH SCORE 1878.995
AT ITER 3519 NEW BEST:: SOT 10167 SOS 1990 HAS SOPS 1990 HAS SOUS 1872 HAS SOUPS 1872 WITH SCORE 1873.99
AT ITER 3583 NEW BEST:: SOT 10169 SOS 1981 HAS SOPS 1981 HAS SOUS 1871 HAS SOUPS 1871 WITH SCORE 1872.981
AT ITER 3623 NEW BEST:: SOT 10162 SOS 1961 HAS SOPS 1961 HAS SOUS 1864 HAS SOUPS 1864 WITH SCORE 1865.961
AT ITER 3637 NEW BEST:: SOT 10162 SOS 1960 HAS SOPS 1960 HAS SOUS 1863 HAS SOUPS 1863 WITH SCORE 1864.96
AT ITER 3646 NEW BEST:: SOT 10167 SOS 1958 HAS SOPS 1958 HAS SOUS 1863 HAS SOUPS 1863 WITH SCORE 1864.958
AT ITER 3763 NEW BEST:: SOT 10165 SOS 1956 HAS SOPS 1956 HAS SOUS 1861 HAS SOUPS 1861 WITH SCORE 1862.956
AT ITER 3766 NEW BEST:: SOT 10165 SOS 1954 HAS SOPS 1954 HAS SOUS 1859 HAS SOUPS 1859 WITH SCORE 1860.954
AT ITER 3880 NEW BEST:: SOT 10170 SOS 1959 HAS SOPS 1959 HAS SOUS 1857 HAS SOUPS 1857 WITH SCORE 1858.959
AT ITER 3907 NEW BEST:: SOT 10179 SOS 1965 HAS SOPS 1965 HAS SOUS 1856 HAS SOUPS 1856 WITH SCORE 1857.965
AT ITER 3949 NEW BEST:: SOT 10175 SOS 1981 HAS SOPS 1981 HAS SOUS 1852 HAS SOUPS 1852 WITH SCORE 1853.981
AT ITER 3952 NEW BEST:: SOT 10173 SOS 1979 HAS SOPS 1979 HAS SOUS 1850 HAS SOUPS 1850 WITH SCORE 1851.979
AT ITER 3990 NEW BEST:: SOT 10170 SOS 1973 HAS SOPS 1973 HAS SOUS 1844 HAS SOUPS 1844 WITH SCORE 1845.973
AT ITER 4043 NEW BEST:: SOT 10170 SOS 1972 HAS SOPS 1972 HAS SOUS 1844 HAS SOUPS 1844 WITH SCORE 1845.972
AT ITER 4131 NEW BEST:: SOT 10166 SOS 1969 HAS SOPS 1969 HAS SOUS 1840 HAS SOUPS 1840 WITH SCORE 1841.969
AT ITER 4161 NEW BEST:: SOT 10165 SOS 1968 HAS SOPS 1968 HAS SOUS 1839 HAS SOUPS 1839 WITH SCORE 1840.968
AT ITER 4164 NEW BEST:: SOT 10163 SOS 1970 HAS SOPS 1970 HAS SOUS 1838 HAS SOUPS 1838 WITH SCORE 1839.97
AT ITER 4224 NEW BEST:: SOT 10163 SOS 1969 HAS SOPS 1969 HAS SOUS 1837 HAS SOUPS 1837 WITH SCORE 1838.969
AT ITER 4231 NEW BEST:: SOT 10163 SOS 1969 HAS SOPS 1969 HAS SOUS 1834 HAS SOUPS 1834 WITH SCORE 1835.969
AT ITER 4271 NEW BEST:: SOT 10162 SOS 1967 HAS SOPS 1967 HAS SOUS 1834 HAS SOUPS 1834 WITH SCORE 1835.967
AT ITER 4369 NEW BEST:: SOT 10160 SOS 1964 HAS SOPS 1964 HAS SOUS 1832 HAS SOUPS 1832 WITH SCORE 1833.964
AT ITER 4374 NEW BEST:: SOT 10160 SOS 1964 HAS SOPS 1964 HAS SOUS 1831 HAS SOUPS 1831 WITH SCORE 1832.964
AT ITER 4399 NEW BEST:: SOT 10161 SOS 1963 HAS SOPS 1963 HAS SOUS 1830 HAS SOUPS 1830 WITH SCORE 1831.963
AT ITER 4439 NEW BEST:: SOT 10158 SOS 1962 HAS SOPS 1962 HAS SOUS 1830 HAS SOUPS 1830 WITH SCORE 1831.962
AT ITER 4476 NEW BEST:: SOT 10158 SOS 1958 HAS SOPS 1958 HAS SOUS 1830 HAS SOUPS 1830 WITH SCORE 1831.958
AT ITER 4502 NEW BEST:: SOT 10158 SOS 1952 HAS SOPS 1952 HAS SOUS 1830 HAS SOUPS 1830 WITH SCORE 1831.952
AT ITER 4767 NEW BEST:: SOT 10158 SOS 1946 HAS SOPS 1946 HAS SOUS 1824 HAS SOUPS 1824 WITH SCORE 1825.946
AT ITER 4807 NEW BEST:: SOT 10154 SOS 1937 HAS SOPS 1937 HAS SOUS 1815 HAS SOUPS 1815 WITH SCORE 1816.937
AT ITER 4842 NEW BEST:: SOT 10155 SOS 1935 HAS SOPS 1935 HAS SOUS 1813 HAS SOUPS 1813 WITH SCORE 1814.935
AT ITER 4848 NEW BEST:: SOT 10154 SOS 1930 HAS SOPS 1930 HAS SOUS 1810 HAS SOUPS 1810 WITH SCORE 1811.93
AT ITER 4853 NEW BEST:: SOT 10153 SOS 1926 HAS SOPS 1926 HAS SOUS 1808 HAS SOUPS 1808 WITH SCORE 1809.926
AT ITER 4987 NEW BEST:: SOT 10149 SOS 1922 HAS SOPS 1922 HAS SOUS 1804 HAS SOUPS 1804 WITH SCORE 1805.922
AT ITER 5030 NEW BEST:: SOT 10149 SOS 1923 HAS SOPS 1923 HAS SOUS 1803 HAS SOUPS 1803 WITH SCORE 1804.923
AT ITER 5031 NEW BEST:: SOT 10142 SOS 1913 HAS SOPS 1913 HAS SOUS 1796 HAS SOUPS 1796 WITH SCORE 1797.913
AT ITER 5153 NEW BEST:: SOT 10141 SOS 1911 HAS SOPS 1911 HAS SOUS 1794 HAS SOUPS 1794 WITH SCORE 1795.911
AT ITER 5180 NEW BEST:: SOT 10138 SOS 1911 HAS SOPS 1911 HAS SOUS 1791 HAS SOUPS 1791 WITH SCORE 1792.911
AT ITER 5233 NEW BEST:: SOT 10135 SOS 1909 HAS SOPS 1909 HAS SOUS 1787 HAS SOUPS 1787 WITH SCORE 1788.909
AT ITER 5262 NEW BEST:: SOT 10135 SOS 1893 HAS SOPS 1893 HAS SOUS 1779 HAS SOUPS 1779 WITH SCORE 1780.893
AT ITER 5445 NEW BEST:: SOT 10134 SOS 1892 HAS SOPS 1892 HAS SOUS 1778 HAS SOUPS 1778 WITH SCORE 1779.892
AT ITER 5469 NEW BEST:: SOT 10132 SOS 1888 HAS SOPS 1888 HAS SOUS 1777 HAS SOUPS 1777 WITH SCORE 1778.888
AT ITER 5493 NEW BEST:: SOT 10132 SOS 1881 HAS SOPS 1881 HAS SOUS 1777 HAS SOUPS 1777 WITH SCORE 1778.881
AT ITER 5540 NEW BEST:: SOT 10132 SOS 1880 HAS SOPS 1880 HAS SOUS 1777 HAS SOUPS 1777 WITH SCORE 1778.88
AT ITER 5558 NEW BEST:: SOT 10131 SOS 1877 HAS SOPS 1877 HAS SOUS 1776 HAS SOUPS 1776 WITH SCORE 1777.877
AT ITER 5618 NEW BEST:: SOT 10130 SOS 1877 HAS SOPS 1877 HAS SOUS 1775 HAS SOUPS 1775 WITH SCORE 1776.877
AT ITER 5632 NEW BEST:: SOT 10130 SOS 1874 HAS SOPS 1874 HAS SOUS 1775 HAS SOUPS 1775 WITH SCORE 1776.874
AT ITER 5685 NEW BEST:: SOT 10132 SOS 1871 HAS SOPS 1871 HAS SOUS 1775 HAS SOUPS 1775 WITH SCORE 1776.871
AT ITER 5705 NEW BEST:: SOT 10131 SOS 1862 HAS SOPS 1862 HAS SOUS 1767 HAS SOUPS 1767 WITH SCORE 1768.862
AT ITER 5724 NEW BEST:: SOT 10127 SOS 1859 HAS SOPS 1859 HAS SOUS 1764 HAS SOUPS 1764 WITH SCORE 1765.859
AT ITER 5744 NEW BEST:: SOT 10124 SOS 1857 HAS SOPS 1857 HAS SOUS 1758 HAS SOUPS 1758 WITH SCORE 1759.857
AT ITER 5801 NEW BEST:: SOT 10124 SOS 1854 HAS SOPS 1854 HAS SOUS 1755 HAS SOUPS 1755 WITH SCORE 1756.854
AT ITER 5812 NEW BEST:: SOT 10123 SOS 1848 HAS SOPS 1848 HAS SOUS 1753 HAS SOUPS 1753 WITH SCORE 1754.848
AT ITER 6047 NEW BEST:: SOT 10120 SOS 1846 HAS SOPS 1846 HAS SOUS 1751 HAS SOUPS 1751 WITH SCORE 1752.846
AT ITER 6062 NEW BEST:: SOT 10118 SOS 1844 HAS SOPS 1844 HAS SOUS 1749 HAS SOUPS 1749 WITH SCORE 1750.844
AT ITER 6627 NEW BEST:: SOT 10120 SOS 1842 HAS SOPS 1842 HAS SOUS 1749 HAS SOUPS 1749 WITH SCORE 1750.842
AT ITER 6725 NEW BEST:: SOT 10118 SOS 1838 HAS SOPS 1838 HAS SOUS 1749 HAS SOUPS 1749 WITH SCORE 1750.838
AT ITER 6927 NEW BEST:: SOT 10117 SOS 1837 HAS SOPS 1837 HAS SOUS 1748 HAS SOUPS 1748 WITH SCORE 1749.837
AT ITER 6989 NEW BEST:: SOT 10117 SOS 1832 HAS SOPS 1832 HAS SOUS 1743 HAS SOUPS 1743 WITH SCORE 1744.832
AT ITER 7070 NEW BEST:: SOT 10127 SOS 1811 HAS SOPS 1811 HAS SOUS 1743 HAS SOUPS 1743 WITH SCORE 1744.811
AT ITER 7103 NEW BEST:: SOT 10125 SOS 1811 HAS SOPS 1811 HAS SOUS 1742 HAS SOUPS 1742 WITH SCORE 1743.811
AT ITER 7181 NEW BEST:: SOT 10125 SOS 1809 HAS SOPS 1809 HAS SOUS 1740 HAS SOUPS 1740 WITH SCORE 1741.809
AT ITER 7200 NEW BEST:: SOT 10127 SOS 1813 HAS SOPS 1813 HAS SOUS 1737 HAS SOUPS 1737 WITH SCORE 1738.813
AT ITER 7233 NEW BEST:: SOT 10127 SOS 1812 HAS SOPS 1812 HAS SOUS 1736 HAS SOUPS 1736 WITH SCORE 1737.812
AT ITER 7241 NEW BEST:: SOT 10125 SOS 1810 HAS SOPS 1810 HAS SOUS 1734 HAS SOUPS 1734 WITH SCORE 1735.81
AT ITER 7249 NEW BEST:: SOT 10123 SOS 1808 HAS SOPS 1808 HAS SOUS 1732 HAS SOUPS 1732 WITH SCORE 1733.808
AT ITER 7265 NEW BEST:: SOT 10121 SOS 1803 HAS SOPS 1803 HAS SOUS 1731 HAS SOUPS 1731 WITH SCORE 1732.803
AT ITER 7441 NEW BEST:: SOT 10120 SOS 1800 HAS SOPS 1800 HAS SOUS 1729 HAS SOUPS 1729 WITH SCORE 1730.8
AT ITER 7565 NEW BEST:: SOT 10118 SOS 1796 HAS SOPS 1796 HAS SOUS 1725 HAS SOUPS 1725 WITH SCORE 1726.796
AT ITER 7744 NEW BEST:: SOT 10119 SOS 1794 HAS SOPS 1794 HAS SOUS 1724 HAS SOUPS 1724 WITH SCORE 1725.794
AT ITER 7760 NEW BEST:: SOT 10122 SOS 1793 HAS SOPS 1793 HAS SOUS 1723 HAS SOUPS 1723 WITH SCORE 1724.793
AT ITER 7894 NEW BEST:: SOT 10122 SOS 1791 HAS SOPS 1791 HAS SOUS 1723 HAS SOUPS 1723 WITH SCORE 1724.791
AT ITER 7929 NEW BEST:: SOT 10121 SOS 1790 HAS SOPS 1790 HAS SOUS 1722 HAS SOUPS 1722 WITH SCORE 1723.79
AT ITER 8144 NEW BEST:: SOT 10120 SOS 1791 HAS SOPS 1791 HAS SOUS 1721 HAS SOUPS 1721 WITH SCORE 1722.791
AT ITER 8199 NEW BEST:: SOT 10119 SOS 1803 HAS SOPS 1803 HAS SOUS 1720 HAS SOUPS 1720 WITH SCORE 1721.803
AT ITER 8269 NEW BEST:: SOT 10118 SOS 1798 HAS SOPS 1798 HAS SOUS 1720 HAS SOUPS 1720 WITH SCORE 1721.798
AT ITER 8331 NEW BEST:: SOT 10112 SOS 1781 HAS SOPS 1781 HAS SOUS 1719 HAS SOUPS 1719 WITH SCORE 1720.781
AT ITER 8361 NEW BEST:: SOT 10106 SOS 1779 HAS SOPS 1779 HAS SOUS 1714 HAS SOUPS 1714 WITH SCORE 1715.779
AT ITER 8450 NEW BEST:: SOT 10104 SOS 1778 HAS SOPS 1778 HAS SOUS 1712 HAS SOUPS 1712 WITH SCORE 1713.778
AT ITER 8473 NEW BEST:: SOT 10104 SOS 1772 HAS SOPS 1772 HAS SOUS 1706 HAS SOUPS 1706 WITH SCORE 1707.772
AT ITER 8565 NEW BEST:: SOT 10125 SOS 1784 HAS SOPS 1784 HAS SOUS 1703 HAS SOUPS 1703 WITH SCORE 1704.784
AT ITER 8643 NEW BEST:: SOT 10121 SOS 1780 HAS SOPS 1780 HAS SOUS 1699 HAS SOUPS 1699 WITH SCORE 1700.78
AT ITER 8728 NEW BEST:: SOT 10124 SOS 1776 HAS SOPS 1776 HAS SOUS 1695 HAS SOUPS 1695 WITH SCORE 1696.776
AT ITER 8921 NEW BEST:: SOT 10124 SOS 1772 HAS SOPS 1772 HAS SOUS 1693 HAS SOUPS 1693 WITH SCORE 1694.772
AT ITER 8981 NEW BEST:: SOT 10122 SOS 1767 HAS SOPS 1767 HAS SOUS 1689 HAS SOUPS 1689 WITH SCORE 1690.767
AT ITER 8996 NEW BEST:: SOT 10121 SOS 1766 HAS SOPS 1766 HAS SOUS 1688 HAS SOUPS 1688 WITH SCORE 1689.766
AT ITER 9102 NEW BEST:: SOT 10121 SOS 1766 HAS SOPS 1766 HAS SOUS 1687 HAS SOUPS 1687 WITH SCORE 1688.766
AT ITER 9164 NEW BEST:: SOT 10117 SOS 1758 HAS SOPS 1758 HAS SOUS 1683 HAS SOUPS 1683 WITH SCORE 1684.758
AT ITER 9275 NEW BEST:: SOT 10117 SOS 1756 HAS SOPS 1756 HAS SOUS 1681 HAS SOUPS 1681 WITH SCORE 1682.756
AT ITER 9278 NEW BEST:: SOT 10116 SOS 1752 HAS SOPS 1752 HAS SOUS 1677 HAS SOUPS 1677 WITH SCORE 1678.752
AT ITER 9291 NEW BEST:: SOT 10114 SOS 1748 HAS SOPS 1748 HAS SOUS 1673 HAS SOUPS 1673 WITH SCORE 1674.748
AT ITER 9338 NEW BEST:: SOT 10113 SOS 1746 HAS SOPS 1746 HAS SOUS 1672 HAS SOUPS 1672 WITH SCORE 1673.746
AT ITER 9452 NEW BEST:: SOT 10112 SOS 1741 HAS SOPS 1741 HAS SOUS 1671 HAS SOUPS 1671 WITH SCORE 1672.741
AT ITER 9602 NEW BEST:: SOT 10111 SOS 1739 HAS SOPS 1739 HAS SOUS 1669 HAS SOUPS 1669 WITH SCORE 1670.739
AT ITER 9603 NEW BEST:: SOT 10109 SOS 1737 HAS SOPS 1737 HAS SOUS 1667 HAS SOUPS 1667 WITH SCORE 1668.737
AT ITER 9768 NEW BEST:: SOT 10107 SOS 1735 HAS SOPS 1735 HAS SOUS 1665 HAS SOUPS 1665 WITH SCORE 1666.735
STATE_SPACE STATES 3407669456341 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 19 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 37972499236790 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1590439222153

--------------------
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="ShieldIIPt-PT-002B"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ShieldIIPt-PT-002B, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033469200248"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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