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-167903711500208.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 ShieldIIPt-PT-002B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r387-oct2-167903711500208
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 432K
-rw-r--r-- 1 mcc users 6.5K Feb 25 17:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 25 17:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 17:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 17:08 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 16:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.3K Feb 25 17:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 25 17:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.4K Feb 25 17:10 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 84K Feb 25 17:10 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:56 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:56 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 34K 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 1679060299743

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=ShieldIIPt-PT-002B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPt (PT), instance 002B
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: 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 4 NEW BEST:: SOT 10642 SOS 3375 HAS SOPS 3375 HAS SOUS 3048 HAS SOUPS 3048 WITH SCORE 3051.375
AT ITER 6 NEW BEST:: SOT 10642 SOS 3374 HAS SOPS 3374 HAS SOUS 3036 HAS SOUPS 3036 WITH SCORE 3039.374
AT ITER 11 NEW BEST:: SOT 10646 SOS 3364 HAS SOPS 3364 HAS SOUS 3025 HAS SOUPS 3025 WITH SCORE 3028.364
AT ITER 13 NEW BEST:: SOT 10632 SOS 3350 HAS SOPS 3350 HAS SOUS 3011 HAS SOUPS 3011 WITH SCORE 3014.35
AT ITER 21 NEW BEST:: SOT 10632 SOS 3344 HAS SOPS 3344 HAS SOUS 3005 HAS SOUPS 3005 WITH SCORE 3008.344
AT ITER 26 NEW BEST:: SOT 10632 SOS 3337 HAS SOPS 3337 HAS SOUS 2998 HAS SOUPS 2998 WITH SCORE 3001.337
AT ITER 28 NEW BEST:: SOT 10598 SOS 3316 HAS SOPS 3316 HAS SOUS 2978 HAS SOUPS 2978 WITH SCORE 2981.316
AT ITER 31 NEW BEST:: SOT 10598 SOS 3309 HAS SOPS 3309 HAS SOUS 2963 HAS SOUPS 2963 WITH SCORE 2966.309
AT ITER 43 NEW BEST:: SOT 10598 SOS 3293 HAS SOPS 3293 HAS SOUS 2947 HAS SOUPS 2947 WITH SCORE 2950.293
AT ITER 58 NEW BEST:: SOT 10598 SOS 3263 HAS SOPS 3263 HAS SOUS 2947 HAS SOUPS 2947 WITH SCORE 2950.263
AT ITER 71 NEW BEST:: SOT 10593 SOS 3253 HAS SOPS 3253 HAS SOUS 2945 HAS SOUPS 2945 WITH SCORE 2948.253
AT ITER 75 NEW BEST:: SOT 10593 SOS 3253 HAS SOPS 3253 HAS SOUS 2920 HAS SOUPS 2920 WITH SCORE 2923.253
AT ITER 81 NEW BEST:: SOT 10597 SOS 3250 HAS SOPS 3250 HAS SOUS 2913 HAS SOUPS 2913 WITH SCORE 2916.25
AT ITER 85 NEW BEST:: SOT 10599 SOS 3250 HAS SOPS 3250 HAS SOUS 2911 HAS SOUPS 2911 WITH SCORE 2914.25
AT ITER 164 NEW BEST:: SOT 10569 SOS 3183 HAS SOPS 3183 HAS SOUS 2876 HAS SOUPS 2876 WITH SCORE 2879.183
AT ITER 166 NEW BEST:: SOT 10569 SOS 3182 HAS SOPS 3182 HAS SOUS 2875 HAS SOUPS 2875 WITH SCORE 2878.182
AT ITER 177 NEW BEST:: SOT 10559 SOS 3176 HAS SOPS 3176 HAS SOUS 2851 HAS SOUPS 2851 WITH SCORE 2854.176
AT ITER 186 NEW BEST:: SOT 10559 SOS 3158 HAS SOPS 3158 HAS SOUS 2851 HAS SOUPS 2851 WITH SCORE 2854.158
AT ITER 204 NEW BEST:: SOT 10552 SOS 3118 HAS SOPS 3118 HAS SOUS 2836 HAS SOUPS 2836 WITH SCORE 2839.118
AT ITER 220 NEW BEST:: SOT 10540 SOS 3132 HAS SOPS 3132 HAS SOUS 2832 HAS SOUPS 2832 WITH SCORE 2835.132
AT ITER 221 NEW BEST:: SOT 10559 SOS 3125 HAS SOPS 3125 HAS SOUS 2825 HAS SOUPS 2825 WITH SCORE 2828.125
AT ITER 224 NEW BEST:: SOT 10559 SOS 3124 HAS SOPS 3124 HAS SOUS 2824 HAS SOUPS 2824 WITH SCORE 2827.124
AT ITER 236 NEW BEST:: SOT 10556 SOS 3118 HAS SOPS 3118 HAS SOUS 2821 HAS SOUPS 2821 WITH SCORE 2824.118
AT ITER 239 NEW BEST:: SOT 10549 SOS 3089 HAS SOPS 3089 HAS SOUS 2807 HAS SOUPS 2807 WITH SCORE 2810.089
AT ITER 249 NEW BEST:: SOT 10531 SOS 3053 HAS SOPS 3053 HAS SOUS 2771 HAS SOUPS 2771 WITH SCORE 2774.053
AT ITER 257 NEW BEST:: SOT 10544 SOS 3050 HAS SOPS 3050 HAS SOUS 2768 HAS SOUPS 2768 WITH SCORE 2771.05
AT ITER 258 NEW BEST:: SOT 10528 SOS 3023 HAS SOPS 3023 HAS SOUS 2757 HAS SOUPS 2757 WITH SCORE 2760.023
AT ITER 264 NEW BEST:: SOT 10527 SOS 3022 HAS SOPS 3022 HAS SOUS 2756 HAS SOUPS 2756 WITH SCORE 2759.022
AT ITER 270 NEW BEST:: SOT 10529 SOS 3020 HAS SOPS 3020 HAS SOUS 2751 HAS SOUPS 2751 WITH SCORE 2754.02
AT ITER 281 NEW BEST:: SOT 10513 SOS 3008 HAS SOPS 3008 HAS SOUS 2735 HAS SOUPS 2735 WITH SCORE 2738.008
AT ITER 283 NEW BEST:: SOT 10511 SOS 2987 HAS SOPS 2987 HAS SOUS 2735 HAS SOUPS 2735 WITH SCORE 2737.987
AT ITER 304 NEW BEST:: SOT 10507 SOS 2975 HAS SOPS 2975 HAS SOUS 2727 HAS SOUPS 2727 WITH SCORE 2729.975
AT ITER 307 NEW BEST:: SOT 10498 SOS 2966 HAS SOPS 2966 HAS SOUS 2718 HAS SOUPS 2718 WITH SCORE 2720.966
AT ITER 308 NEW BEST:: SOT 10497 SOS 2964 HAS SOPS 2964 HAS SOUS 2716 HAS SOUPS 2716 WITH SCORE 2718.964
AT ITER 327 NEW BEST:: SOT 10498 SOS 2955 HAS SOPS 2955 HAS SOUS 2716 HAS SOUPS 2716 WITH SCORE 2718.955
AT ITER 338 NEW BEST:: SOT 10498 SOS 2949 HAS SOPS 2949 HAS SOUS 2704 HAS SOUPS 2704 WITH SCORE 2706.949
AT ITER 339 NEW BEST:: SOT 10472 SOS 2904 HAS SOPS 2904 HAS SOUS 2658 HAS SOUPS 2658 WITH SCORE 2660.904
AT ITER 357 NEW BEST:: SOT 10472 SOS 2890 HAS SOPS 2890 HAS SOUS 2644 HAS SOUPS 2644 WITH SCORE 2646.89
AT ITER 374 NEW BEST:: SOT 10472 SOS 2858 HAS SOPS 2858 HAS SOUS 2637 HAS SOUPS 2637 WITH SCORE 2639.858
AT ITER 389 NEW BEST:: SOT 10463 SOS 2842 HAS SOPS 2842 HAS SOUS 2621 HAS SOUPS 2621 WITH SCORE 2623.842
AT ITER 396 NEW BEST:: SOT 10475 SOS 2837 HAS SOPS 2837 HAS SOUS 2616 HAS SOUPS 2616 WITH SCORE 2618.837
AT ITER 410 NEW BEST:: SOT 10460 SOS 2810 HAS SOPS 2810 HAS SOUS 2592 HAS SOUPS 2592 WITH SCORE 2594.81
AT ITER 415 NEW BEST:: SOT 10461 SOS 2809 HAS SOPS 2809 HAS SOUS 2591 HAS SOUPS 2591 WITH SCORE 2593.809
AT ITER 445 NEW BEST:: SOT 10467 SOS 2793 HAS SOPS 2793 HAS SOUS 2591 HAS SOUPS 2591 WITH SCORE 2593.793
AT ITER 478 NEW BEST:: SOT 10465 SOS 2819 HAS SOPS 2819 HAS SOUS 2581 HAS SOUPS 2581 WITH SCORE 2583.819
AT ITER 479 NEW BEST:: SOT 10465 SOS 2816 HAS SOPS 2816 HAS SOUS 2578 HAS SOUPS 2578 WITH SCORE 2580.816
AT ITER 498 NEW BEST:: SOT 10465 SOS 2815 HAS SOPS 2815 HAS SOUS 2577 HAS SOUPS 2577 WITH SCORE 2579.815
AT ITER 516 NEW BEST:: SOT 10463 SOS 2813 HAS SOPS 2813 HAS SOUS 2575 HAS SOUPS 2575 WITH SCORE 2577.813
AT ITER 527 NEW BEST:: SOT 10463 SOS 2807 HAS SOPS 2807 HAS SOUS 2569 HAS SOUPS 2569 WITH SCORE 2571.807
AT ITER 550 NEW BEST:: SOT 10463 SOS 2806 HAS SOPS 2806 HAS SOUS 2568 HAS SOUPS 2568 WITH SCORE 2570.806
AT ITER 561 NEW BEST:: SOT 10463 SOS 2796 HAS SOPS 2796 HAS SOUS 2558 HAS SOUPS 2558 WITH SCORE 2560.796
AT ITER 562 NEW BEST:: SOT 10462 SOS 2782 HAS SOPS 2782 HAS SOUS 2556 HAS SOUPS 2556 WITH SCORE 2558.782
AT ITER 580 NEW BEST:: SOT 10462 SOS 2768 HAS SOPS 2768 HAS SOUS 2555 HAS SOUPS 2555 WITH SCORE 2557.768
AT ITER 591 NEW BEST:: SOT 10457 SOS 2759 HAS SOPS 2759 HAS SOUS 2544 HAS SOUPS 2544 WITH SCORE 2546.759
AT ITER 596 NEW BEST:: SOT 10472 SOS 2754 HAS SOPS 2754 HAS SOUS 2539 HAS SOUPS 2539 WITH SCORE 2541.754
AT ITER 602 NEW BEST:: SOT 10479 SOS 2723 HAS SOPS 2723 HAS SOUS 2529 HAS SOUPS 2529 WITH SCORE 2531.723
AT ITER 614 NEW BEST:: SOT 10479 SOS 2722 HAS SOPS 2722 HAS SOUS 2529 HAS SOUPS 2529 WITH SCORE 2531.722
AT ITER 644 NEW BEST:: SOT 10478 SOS 2720 HAS SOPS 2720 HAS SOUS 2524 HAS SOUPS 2524 WITH SCORE 2526.72
AT ITER 652 NEW BEST:: SOT 10469 SOS 2722 HAS SOPS 2722 HAS SOUS 2520 HAS SOUPS 2520 WITH SCORE 2522.722
AT ITER 711 NEW BEST:: SOT 10469 SOS 2718 HAS SOPS 2718 HAS SOUS 2516 HAS SOUPS 2516 WITH SCORE 2518.718
AT ITER 715 NEW BEST:: SOT 10460 SOS 2700 HAS SOPS 2700 HAS SOUS 2509 HAS SOUPS 2509 WITH SCORE 2511.7
AT ITER 716 NEW BEST:: SOT 10456 SOS 2696 HAS SOPS 2696 HAS SOUS 2505 HAS SOUPS 2505 WITH SCORE 2507.696
AT ITER 724 NEW BEST:: SOT 10452 SOS 2688 HAS SOPS 2688 HAS SOUS 2497 HAS SOUPS 2497 WITH SCORE 2499.688
AT ITER 737 NEW BEST:: SOT 10441 SOS 2660 HAS SOPS 2660 HAS SOUS 2469 HAS SOUPS 2469 WITH SCORE 2471.66
AT ITER 741 NEW BEST:: SOT 10419 SOS 2628 HAS SOPS 2628 HAS SOUS 2447 HAS SOUPS 2447 WITH SCORE 2449.628
AT ITER 749 NEW BEST:: SOT 10418 SOS 2627 HAS SOPS 2627 HAS SOUS 2446 HAS SOUPS 2446 WITH SCORE 2448.627
AT ITER 752 NEW BEST:: SOT 10417 SOS 2625 HAS SOPS 2625 HAS SOUS 2444 HAS SOUPS 2444 WITH SCORE 2446.625
AT ITER 753 NEW BEST:: SOT 10415 SOS 2623 HAS SOPS 2623 HAS SOUS 2444 HAS SOUPS 2444 WITH SCORE 2446.623
AT ITER 779 NEW BEST:: SOT 10420 SOS 2620 HAS SOPS 2620 HAS SOUS 2428 HAS SOUPS 2428 WITH SCORE 2430.62
AT ITER 793 NEW BEST:: SOT 10412 SOS 2604 HAS SOPS 2604 HAS SOUS 2412 HAS SOUPS 2412 WITH SCORE 2414.604
AT ITER 801 NEW BEST:: SOT 10416 SOS 2587 HAS SOPS 2587 HAS SOUS 2410 HAS SOUPS 2410 WITH SCORE 2412.587
AT ITER 806 NEW BEST:: SOT 10401 SOS 2572 HAS SOPS 2572 HAS SOUS 2408 HAS SOUPS 2408 WITH SCORE 2410.572
AT ITER 809 NEW BEST:: SOT 10407 SOS 2553 HAS SOPS 2553 HAS SOUS 2389 HAS SOUPS 2389 WITH SCORE 2391.553
AT ITER 821 NEW BEST:: SOT 10400 SOS 2530 HAS SOPS 2530 HAS SOUS 2375 HAS SOUPS 2375 WITH SCORE 2377.53
AT ITER 830 NEW BEST:: SOT 10399 SOS 2528 HAS SOPS 2528 HAS SOUS 2373 HAS SOUPS 2373 WITH SCORE 2375.528
AT ITER 833 NEW BEST:: SOT 10398 SOS 2526 HAS SOPS 2526 HAS SOUS 2370 HAS SOUPS 2370 WITH SCORE 2372.526
AT ITER 852 NEW BEST:: SOT 10395 SOS 2520 HAS SOPS 2520 HAS SOUS 2364 HAS SOUPS 2364 WITH SCORE 2366.52
AT ITER 929 NEW BEST:: SOT 10396 SOS 2515 HAS SOPS 2515 HAS SOUS 2363 HAS SOUPS 2363 WITH SCORE 2365.515
AT ITER 932 NEW BEST:: SOT 10396 SOS 2515 HAS SOPS 2515 HAS SOUS 2358 HAS SOUPS 2358 WITH SCORE 2360.515
AT ITER 937 NEW BEST:: SOT 10378 SOS 2509 HAS SOPS 2509 HAS SOUS 2352 HAS SOUPS 2352 WITH SCORE 2354.509
AT ITER 942 NEW BEST:: SOT 10377 SOS 2507 HAS SOPS 2507 HAS SOUS 2350 HAS SOUPS 2350 WITH SCORE 2352.507
AT ITER 951 NEW BEST:: SOT 10377 SOS 2507 HAS SOPS 2507 HAS SOUS 2349 HAS SOUPS 2349 WITH SCORE 2351.507
AT ITER 970 NEW BEST:: SOT 10372 SOS 2497 HAS SOPS 2497 HAS SOUS 2339 HAS SOUPS 2339 WITH SCORE 2341.497
AT ITER 971 NEW BEST:: SOT 10371 SOS 2494 HAS SOPS 2494 HAS SOUS 2337 HAS SOUPS 2337 WITH SCORE 2339.494
AT ITER 1001 NEW BEST:: SOT 10367 SOS 2486 HAS SOPS 2486 HAS SOUS 2327 HAS SOUPS 2327 WITH SCORE 2329.486
AT ITER 1006 NEW BEST:: SOT 10367 SOS 2480 HAS SOPS 2480 HAS SOUS 2316 HAS SOUPS 2316 WITH SCORE 2318.48
AT ITER 1012 NEW BEST:: SOT 10349 SOS 2444 HAS SOPS 2444 HAS SOUS 2280 HAS SOUPS 2280 WITH SCORE 2282.444
AT ITER 1027 NEW BEST:: SOT 10355 SOS 2450 HAS SOPS 2450 HAS SOUS 2278 HAS SOUPS 2278 WITH SCORE 2280.45
AT ITER 1042 NEW BEST:: SOT 10355 SOS 2444 HAS SOPS 2444 HAS SOUS 2272 HAS SOUPS 2272 WITH SCORE 2274.444
AT ITER 1048 NEW BEST:: SOT 10344 SOS 2422 HAS SOPS 2422 HAS SOUS 2251 HAS SOUPS 2251 WITH SCORE 2253.422
AT ITER 1074 NEW BEST:: SOT 10344 SOS 2421 HAS SOPS 2421 HAS SOUS 2251 HAS SOUPS 2251 WITH SCORE 2253.421
AT ITER 1080 NEW BEST:: SOT 10340 SOS 2417 HAS SOPS 2417 HAS SOUS 2251 HAS SOUPS 2251 WITH SCORE 2253.417
AT ITER 1110 NEW BEST:: SOT 10337 SOS 2415 HAS SOPS 2415 HAS SOUS 2249 HAS SOUPS 2249 WITH SCORE 2251.415
AT ITER 1119 NEW BEST:: SOT 10340 SOS 2421 HAS SOPS 2421 HAS SOUS 2245 HAS SOUPS 2245 WITH SCORE 2247.421
AT ITER 1135 NEW BEST:: SOT 10334 SOS 2417 HAS SOPS 2417 HAS SOUS 2241 HAS SOUPS 2241 WITH SCORE 2243.417
AT ITER 1161 NEW BEST:: SOT 10343 SOS 2388 HAS SOPS 2388 HAS SOUS 2230 HAS SOUPS 2230 WITH SCORE 2232.388
AT ITER 1180 NEW BEST:: SOT 10336 SOS 2374 HAS SOPS 2374 HAS SOUS 2216 HAS SOUPS 2216 WITH SCORE 2218.374
AT ITER 1189 NEW BEST:: SOT 10336 SOS 2373 HAS SOPS 2373 HAS SOUS 2215 HAS SOUPS 2215 WITH SCORE 2217.373
AT ITER 1194 NEW BEST:: SOT 10304 SOS 2344 HAS SOPS 2344 HAS SOUS 2186 HAS SOUPS 2186 WITH SCORE 2188.344
AT ITER 1201 NEW BEST:: SOT 10304 SOS 2334 HAS SOPS 2334 HAS SOUS 2176 HAS SOUPS 2176 WITH SCORE 2178.334
AT ITER 1204 NEW BEST:: SOT 10301 SOS 2323 HAS SOPS 2323 HAS SOUS 2168 HAS SOUPS 2168 WITH SCORE 2170.323
AT ITER 1224 NEW BEST:: SOT 10300 SOS 2303 HAS SOPS 2303 HAS SOUS 2157 HAS SOUPS 2157 WITH SCORE 2159.303
AT ITER 1230 NEW BEST:: SOT 10290 SOS 2275 HAS SOPS 2275 HAS SOUS 2129 HAS SOUPS 2129 WITH SCORE 2131.275
AT ITER 1232 NEW BEST:: SOT 10291 SOS 2256 HAS SOPS 2256 HAS SOUS 2111 HAS SOUPS 2111 WITH SCORE 2113.256
AT ITER 1251 NEW BEST:: SOT 10296 SOS 2255 HAS SOPS 2255 HAS SOUS 2110 HAS SOUPS 2110 WITH SCORE 2112.255
AT ITER 1252 NEW BEST:: SOT 10296 SOS 2251 HAS SOPS 2251 HAS SOUS 2106 HAS SOUPS 2106 WITH SCORE 2108.251
AT ITER 1254 NEW BEST:: SOT 10294 SOS 2247 HAS SOPS 2247 HAS SOUS 2104 HAS SOUPS 2104 WITH SCORE 2106.247
AT ITER 1277 NEW BEST:: SOT 10294 SOS 2244 HAS SOPS 2244 HAS SOUS 2101 HAS SOUPS 2101 WITH SCORE 2103.244
AT ITER 1332 NEW BEST:: SOT 10269 SOS 2210 HAS SOPS 2210 HAS SOUS 2082 HAS SOUPS 2082 WITH SCORE 2084.21
AT ITER 1371 NEW BEST:: SOT 10266 SOS 2206 HAS SOPS 2206 HAS SOUS 2080 HAS SOUPS 2080 WITH SCORE 2082.206
AT ITER 1408 NEW BEST:: SOT 10267 SOS 2200 HAS SOPS 2200 HAS SOUS 2074 HAS SOUPS 2074 WITH SCORE 2076.2
AT ITER 1462 NEW BEST:: SOT 10260 SOS 2204 HAS SOPS 2204 HAS SOUS 2069 HAS SOUPS 2069 WITH SCORE 2071.204
AT ITER 1467 NEW BEST:: SOT 10254 SOS 2195 HAS SOPS 2195 HAS SOUS 2060 HAS SOUPS 2060 WITH SCORE 2062.195
AT ITER 1469 NEW BEST:: SOT 10235 SOS 2176 HAS SOPS 2176 HAS SOUS 2041 HAS SOUPS 2041 WITH SCORE 2043.176
AT ITER 1472 NEW BEST:: SOT 10235 SOS 2174 HAS SOPS 2174 HAS SOUS 2039 HAS SOUPS 2039 WITH SCORE 2041.174
AT ITER 1479 NEW BEST:: SOT 10235 SOS 2173 HAS SOPS 2173 HAS SOUS 2038 HAS SOUPS 2038 WITH SCORE 2040.173
AT ITER 1482 NEW BEST:: SOT 10235 SOS 2166 HAS SOPS 2166 HAS SOUS 2038 HAS SOUPS 2038 WITH SCORE 2040.166
AT ITER 1559 NEW BEST:: SOT 10220 SOS 2150 HAS SOPS 2150 HAS SOUS 2012 HAS SOUPS 2012 WITH SCORE 2014.15
AT ITER 1642 NEW BEST:: SOT 10220 SOS 2150 HAS SOPS 2150 HAS SOUS 2003 HAS SOUPS 2003 WITH SCORE 2005.15
AT ITER 1692 NEW BEST:: SOT 10225 SOS 2156 HAS SOPS 2156 HAS SOUS 1999 HAS SOUPS 1999 WITH SCORE 2001.156
AT ITER 1693 NEW BEST:: SOT 10225 SOS 2152 HAS SOPS 2152 HAS SOUS 1999 HAS SOUPS 1999 WITH SCORE 2001.152
AT ITER 1721 NEW BEST:: SOT 10225 SOS 2148 HAS SOPS 2148 HAS SOUS 1995 HAS SOUPS 1995 WITH SCORE 1997.148
AT ITER 1753 NEW BEST:: SOT 10226 SOS 2157 HAS SOPS 2157 HAS SOUS 1994 HAS SOUPS 1994 WITH SCORE 1996.157
AT ITER 1762 NEW BEST:: SOT 10224 SOS 2158 HAS SOPS 2158 HAS SOUS 1993 HAS SOUPS 1993 WITH SCORE 1995.158
AT ITER 1782 NEW BEST:: SOT 10208 SOS 2109 HAS SOPS 2109 HAS SOUS 1959 HAS SOUPS 1959 WITH SCORE 1961.109
AT ITER 1820 NEW BEST:: SOT 10209 SOS 2111 HAS SOPS 2111 HAS SOUS 1955 HAS SOUPS 1955 WITH SCORE 1957.111
AT ITER 1826 NEW BEST:: SOT 10191 SOS 2096 HAS SOPS 2096 HAS SOUS 1946 HAS SOUPS 1946 WITH SCORE 1948.096
AT ITER 1834 NEW BEST:: SOT 10191 SOS 2095 HAS SOPS 2095 HAS SOUS 1945 HAS SOUPS 1945 WITH SCORE 1947.095
AT ITER 1835 NEW BEST:: SOT 10191 SOS 2094 HAS SOPS 2094 HAS SOUS 1945 HAS SOUPS 1945 WITH SCORE 1947.094
AT ITER 1841 NEW BEST:: SOT 10190 SOS 2090 HAS SOPS 2090 HAS SOUS 1941 HAS SOUPS 1941 WITH SCORE 1943.09
AT ITER 1881 NEW BEST:: SOT 10188 SOS 2073 HAS SOPS 2073 HAS SOUS 1935 HAS SOUPS 1935 WITH SCORE 1937.073
AT ITER 1899 NEW BEST:: SOT 10184 SOS 2065 HAS SOPS 2065 HAS SOUS 1931 HAS SOUPS 1931 WITH SCORE 1933.065
AT ITER 1901 NEW BEST:: SOT 10182 SOS 2061 HAS SOPS 2061 HAS SOUS 1929 HAS SOUPS 1929 WITH SCORE 1931.061
AT ITER 1924 NEW BEST:: SOT 10182 SOS 2054 HAS SOPS 2054 HAS SOUS 1922 HAS SOUPS 1922 WITH SCORE 1924.054
AT ITER 1943 NEW BEST:: SOT 10180 SOS 2048 HAS SOPS 2048 HAS SOUS 1916 HAS SOUPS 1916 WITH SCORE 1918.048
AT ITER 1998 NEW BEST:: SOT 10179 SOS 2046 HAS SOPS 2046 HAS SOUS 1914 HAS SOUPS 1914 WITH SCORE 1916.046
AT ITER 2016 NEW BEST:: SOT 10178 SOS 2033 HAS SOPS 2033 HAS SOUS 1901 HAS SOUPS 1901 WITH SCORE 1903.033
AT ITER 2084 NEW BEST:: SOT 10177 SOS 2031 HAS SOPS 2031 HAS SOUS 1899 HAS SOUPS 1899 WITH SCORE 1901.031
AT ITER 2117 NEW BEST:: SOT 10173 SOS 2027 HAS SOPS 2027 HAS SOUS 1895 HAS SOUPS 1895 WITH SCORE 1897.027
AT ITER 2130 NEW BEST:: SOT 10170 SOS 2021 HAS SOPS 2021 HAS SOUS 1889 HAS SOUPS 1889 WITH SCORE 1891.021
AT ITER 2143 NEW BEST:: SOT 10163 SOS 2000 HAS SOPS 2000 HAS SOUS 1882 HAS SOUPS 1882 WITH SCORE 1884.0
AT ITER 2189 NEW BEST:: SOT 10154 SOS 1995 HAS SOPS 1995 HAS SOUS 1877 HAS SOUPS 1877 WITH SCORE 1878.995
AT ITER 2191 NEW BEST:: SOT 10146 SOS 2003 HAS SOPS 2003 HAS SOUS 1876 HAS SOUPS 1876 WITH SCORE 1878.003
AT ITER 2200 NEW BEST:: SOT 10145 SOS 1996 HAS SOPS 1996 HAS SOUS 1869 HAS SOUPS 1869 WITH SCORE 1870.996
AT ITER 2218 NEW BEST:: SOT 10140 SOS 1992 HAS SOPS 1992 HAS SOUS 1864 HAS SOUPS 1864 WITH SCORE 1865.992
AT ITER 2230 NEW BEST:: SOT 10140 SOS 1984 HAS SOPS 1984 HAS SOUS 1861 HAS SOUPS 1861 WITH SCORE 1862.984
AT ITER 2251 NEW BEST:: SOT 10152 SOS 1972 HAS SOPS 1972 HAS SOUS 1847 HAS SOUPS 1847 WITH SCORE 1848.972
AT ITER 2271 NEW BEST:: SOT 10150 SOS 1970 HAS SOPS 1970 HAS SOUS 1845 HAS SOUPS 1845 WITH SCORE 1846.97
AT ITER 2278 NEW BEST:: SOT 10147 SOS 1964 HAS SOPS 1964 HAS SOUS 1839 HAS SOUPS 1839 WITH SCORE 1840.964
AT ITER 2318 NEW BEST:: SOT 10157 SOS 1954 HAS SOPS 1954 HAS SOUS 1829 HAS SOUPS 1829 WITH SCORE 1830.954
AT ITER 2336 NEW BEST:: SOT 10153 SOS 1959 HAS SOPS 1959 HAS SOUS 1826 HAS SOUPS 1826 WITH SCORE 1827.959
AT ITER 2363 NEW BEST:: SOT 10152 SOS 1954 HAS SOPS 1954 HAS SOUS 1821 HAS SOUPS 1821 WITH SCORE 1822.954
AT ITER 2467 NEW BEST:: SOT 10145 SOS 1933 HAS SOPS 1933 HAS SOUS 1807 HAS SOUPS 1807 WITH SCORE 1808.933
AT ITER 2513 NEW BEST:: SOT 10144 SOS 1932 HAS SOPS 1932 HAS SOUS 1806 HAS SOUPS 1806 WITH SCORE 1807.932
AT ITER 2595 NEW BEST:: SOT 10142 SOS 1931 HAS SOPS 1931 HAS SOUS 1805 HAS SOUPS 1805 WITH SCORE 1806.931
AT ITER 2637 NEW BEST:: SOT 10140 SOS 1927 HAS SOPS 1927 HAS SOUS 1801 HAS SOUPS 1801 WITH SCORE 1802.927
AT ITER 2651 NEW BEST:: SOT 10140 SOS 1926 HAS SOPS 1926 HAS SOUS 1800 HAS SOUPS 1800 WITH SCORE 1801.926
AT ITER 2699 NEW BEST:: SOT 10139 SOS 1926 HAS SOPS 1926 HAS SOUS 1798 HAS SOUPS 1798 WITH SCORE 1799.926
AT ITER 2701 NEW BEST:: SOT 10127 SOS 1925 HAS SOPS 1925 HAS SOUS 1786 HAS SOUPS 1786 WITH SCORE 1787.925
AT ITER 2797 NEW BEST:: SOT 10126 SOS 1923 HAS SOPS 1923 HAS SOUS 1781 HAS SOUPS 1781 WITH SCORE 1782.923
AT ITER 2809 NEW BEST:: SOT 10126 SOS 1923 HAS SOPS 1923 HAS SOUS 1779 HAS SOUPS 1779 WITH SCORE 1780.923
AT ITER 2862 NEW BEST:: SOT 10123 SOS 1920 HAS SOPS 1920 HAS SOUS 1776 HAS SOUPS 1776 WITH SCORE 1777.92
AT ITER 2876 NEW BEST:: SOT 10117 SOS 1922 HAS SOPS 1922 HAS SOUS 1770 HAS SOUPS 1770 WITH SCORE 1771.922
AT ITER 2953 NEW BEST:: SOT 10117 SOS 1922 HAS SOPS 1922 HAS SOUS 1764 HAS SOUPS 1764 WITH SCORE 1765.922
AT ITER 2962 NEW BEST:: SOT 10118 SOS 1918 HAS SOPS 1918 HAS SOUS 1764 HAS SOUPS 1764 WITH SCORE 1765.918
AT ITER 3003 NEW BEST:: SOT 10117 SOS 1911 HAS SOPS 1911 HAS SOUS 1760 HAS SOUPS 1760 WITH SCORE 1761.911
AT ITER 3084 NEW BEST:: SOT 10120 SOS 1924 HAS SOPS 1924 HAS SOUS 1757 HAS SOUPS 1757 WITH SCORE 1758.924
AT ITER 3120 NEW BEST:: SOT 10108 SOS 1912 HAS SOPS 1912 HAS SOUS 1745 HAS SOUPS 1745 WITH SCORE 1746.912
AT ITER 3170 NEW BEST:: SOT 10105 SOS 1911 HAS SOPS 1911 HAS SOUS 1745 HAS SOUPS 1745 WITH SCORE 1746.911
AT ITER 3249 NEW BEST:: SOT 10107 SOS 1903 HAS SOPS 1903 HAS SOUS 1742 HAS SOUPS 1742 WITH SCORE 1743.903
AT ITER 3283 NEW BEST:: SOT 10107 SOS 1890 HAS SOPS 1890 HAS SOUS 1742 HAS SOUPS 1742 WITH SCORE 1743.89
AT ITER 3342 NEW BEST:: SOT 10107 SOS 1889 HAS SOPS 1889 HAS SOUS 1741 HAS SOUPS 1741 WITH SCORE 1742.889
AT ITER 3352 NEW BEST:: SOT 10106 SOS 1887 HAS SOPS 1887 HAS SOUS 1739 HAS SOUPS 1739 WITH SCORE 1740.887
AT ITER 3695 NEW BEST:: SOT 10102 SOS 1885 HAS SOPS 1885 HAS SOUS 1737 HAS SOUPS 1737 WITH SCORE 1738.885
AT ITER 3832 NEW BEST:: SOT 10102 SOS 1876 HAS SOPS 1876 HAS SOUS 1735 HAS SOUPS 1735 WITH SCORE 1736.876
AT ITER 3924 NEW BEST:: SOT 10101 SOS 1875 HAS SOPS 1875 HAS SOUS 1734 HAS SOUPS 1734 WITH SCORE 1735.875
AT ITER 3926 NEW BEST:: SOT 10103 SOS 1869 HAS SOPS 1869 HAS SOUS 1728 HAS SOUPS 1728 WITH SCORE 1729.869
AT ITER 3996 NEW BEST:: SOT 10106 SOS 1867 HAS SOPS 1867 HAS SOUS 1726 HAS SOUPS 1726 WITH SCORE 1727.867
AT ITER 4010 NEW BEST:: SOT 10107 SOS 1878 HAS SOPS 1878 HAS SOUS 1717 HAS SOUPS 1717 WITH SCORE 1718.878
AT ITER 4176 NEW BEST:: SOT 10104 SOS 1872 HAS SOPS 1872 HAS SOUS 1713 HAS SOUPS 1713 WITH SCORE 1714.872
AT ITER 4266 NEW BEST:: SOT 10104 SOS 1867 HAS SOPS 1867 HAS SOUS 1711 HAS SOUPS 1711 WITH SCORE 1712.867
AT ITER 4292 NEW BEST:: SOT 10101 SOS 1861 HAS SOPS 1861 HAS SOUS 1711 HAS SOUPS 1711 WITH SCORE 1712.861
AT ITER 4294 NEW BEST:: SOT 10101 SOS 1860 HAS SOPS 1860 HAS SOUS 1710 HAS SOUPS 1710 WITH SCORE 1711.86
AT ITER 4393 NEW BEST:: SOT 10097 SOS 1854 HAS SOPS 1854 HAS SOUS 1704 HAS SOUPS 1704 WITH SCORE 1705.854
AT ITER 4408 NEW BEST:: SOT 10097 SOS 1853 HAS SOPS 1853 HAS SOUS 1703 HAS SOUPS 1703 WITH SCORE 1704.853
AT ITER 4416 NEW BEST:: SOT 10095 SOS 1849 HAS SOPS 1849 HAS SOUS 1703 HAS SOUPS 1703 WITH SCORE 1704.849
AT ITER 4431 NEW BEST:: SOT 10095 SOS 1841 HAS SOPS 1841 HAS SOUS 1703 HAS SOUPS 1703 WITH SCORE 1704.841
AT ITER 4548 NEW BEST:: SOT 10098 SOS 1838 HAS SOPS 1838 HAS SOUS 1700 HAS SOUPS 1700 WITH SCORE 1701.838
AT ITER 4587 NEW BEST:: SOT 10096 SOS 1842 HAS SOPS 1842 HAS SOUS 1697 HAS SOUPS 1697 WITH SCORE 1698.842
AT ITER 4592 NEW BEST:: SOT 10103 SOS 1840 HAS SOPS 1840 HAS SOUS 1694 HAS SOUPS 1694 WITH SCORE 1695.84
AT ITER 4642 NEW BEST:: SOT 10114 SOS 1830 HAS SOPS 1830 HAS SOUS 1684 HAS SOUPS 1684 WITH SCORE 1685.83
AT ITER 4706 NEW BEST:: SOT 10118 SOS 1828 HAS SOPS 1828 HAS SOUS 1683 HAS SOUPS 1683 WITH SCORE 1684.828
AT ITER 4713 NEW BEST:: SOT 10116 SOS 1825 HAS SOPS 1825 HAS SOUS 1682 HAS SOUPS 1682 WITH SCORE 1683.825
AT ITER 4741 NEW BEST:: SOT 10116 SOS 1824 HAS SOPS 1824 HAS SOUS 1681 HAS SOUPS 1681 WITH SCORE 1682.824
AT ITER 4835 NEW BEST:: SOT 10118 SOS 1822 HAS SOPS 1822 HAS SOUS 1679 HAS SOUPS 1679 WITH SCORE 1680.822
AT ITER 4858 NEW BEST:: SOT 10115 SOS 1818 HAS SOPS 1818 HAS SOUS 1675 HAS SOUPS 1675 WITH SCORE 1676.818
AT ITER 4863 NEW BEST:: SOT 10115 SOS 1816 HAS SOPS 1816 HAS SOUS 1675 HAS SOUPS 1675 WITH SCORE 1676.816
AT ITER 4870 NEW BEST:: SOT 10106 SOS 1808 HAS SOPS 1808 HAS SOUS 1667 HAS SOUPS 1667 WITH SCORE 1668.808
AT ITER 4874 NEW BEST:: SOT 10106 SOS 1805 HAS SOPS 1805 HAS SOUS 1664 HAS SOUPS 1664 WITH SCORE 1665.805
AT ITER 4940 NEW BEST:: SOT 10105 SOS 1804 HAS SOPS 1804 HAS SOUS 1663 HAS SOUPS 1663 WITH SCORE 1664.804
AT ITER 4953 NEW BEST:: SOT 10105 SOS 1803 HAS SOPS 1803 HAS SOUS 1662 HAS SOUPS 1662 WITH SCORE 1663.803
AT ITER 4960 NEW BEST:: SOT 10102 SOS 1799 HAS SOPS 1799 HAS SOUS 1658 HAS SOUPS 1658 WITH SCORE 1659.799
AT ITER 4981 NEW BEST:: SOT 10107 SOS 1794 HAS SOPS 1794 HAS SOUS 1653 HAS SOUPS 1653 WITH SCORE 1654.794
AT ITER 5022 NEW BEST:: SOT 10105 SOS 1794 HAS SOPS 1794 HAS SOUS 1651 HAS SOUPS 1651 WITH SCORE 1652.794
AT ITER 5050 NEW BEST:: SOT 10105 SOS 1792 HAS SOPS 1792 HAS SOUS 1651 HAS SOUPS 1651 WITH SCORE 1652.792
AT ITER 5179 NEW BEST:: SOT 10104 SOS 1791 HAS SOPS 1791 HAS SOUS 1650 HAS SOUPS 1650 WITH SCORE 1651.791
AT ITER 5183 NEW BEST:: SOT 10104 SOS 1786 HAS SOPS 1786 HAS SOUS 1648 HAS SOUPS 1648 WITH SCORE 1649.786
AT ITER 5230 NEW BEST:: SOT 10099 SOS 1779 HAS SOPS 1779 HAS SOUS 1646 HAS SOUPS 1646 WITH SCORE 1647.779
AT ITER 5296 NEW BEST:: SOT 10099 SOS 1777 HAS SOPS 1777 HAS SOUS 1645 HAS SOUPS 1645 WITH SCORE 1646.777
AT ITER 5326 NEW BEST:: SOT 10097 SOS 1777 HAS SOPS 1777 HAS SOUS 1644 HAS SOUPS 1644 WITH SCORE 1645.777
AT ITER 5348 NEW BEST:: SOT 10097 SOS 1777 HAS SOPS 1777 HAS SOUS 1643 HAS SOUPS 1643 WITH SCORE 1644.777
AT ITER 5394 NEW BEST:: SOT 10096 SOS 1776 HAS SOPS 1776 HAS SOUS 1642 HAS SOUPS 1642 WITH SCORE 1643.776
AT ITER 5406 NEW BEST:: SOT 10095 SOS 1777 HAS SOPS 1777 HAS SOUS 1641 HAS SOUPS 1641 WITH SCORE 1642.777
AT ITER 5458 NEW BEST:: SOT 10095 SOS 1777 HAS SOPS 1777 HAS SOUS 1640 HAS SOUPS 1640 WITH SCORE 1641.777
AT ITER 5469 NEW BEST:: SOT 10095 SOS 1775 HAS SOPS 1775 HAS SOUS 1640 HAS SOUPS 1640 WITH SCORE 1641.775
AT ITER 5489 NEW BEST:: SOT 10095 SOS 1768 HAS SOPS 1768 HAS SOUS 1640 HAS SOUPS 1640 WITH SCORE 1641.768
AT ITER 5517 NEW BEST:: SOT 10095 SOS 1766 HAS SOPS 1766 HAS SOUS 1638 HAS SOUPS 1638 WITH SCORE 1639.766
AT ITER 5536 NEW BEST:: SOT 10095 SOS 1764 HAS SOPS 1764 HAS SOUS 1635 HAS SOUPS 1635 WITH SCORE 1636.764
AT ITER 5603 NEW BEST:: SOT 10097 SOS 1765 HAS SOPS 1765 HAS SOUS 1634 HAS SOUPS 1634 WITH SCORE 1635.765
AT ITER 5609 NEW BEST:: SOT 10096 SOS 1764 HAS SOPS 1764 HAS SOUS 1632 HAS SOUPS 1632 WITH SCORE 1633.764
AT ITER 5692 NEW BEST:: SOT 10095 SOS 1763 HAS SOPS 1763 HAS SOUS 1631 HAS SOUPS 1631 WITH SCORE 1632.763
AT ITER 5738 NEW BEST:: SOT 10095 SOS 1762 HAS SOPS 1762 HAS SOUS 1630 HAS SOUPS 1630 WITH SCORE 1631.762
AT ITER 5814 NEW BEST:: SOT 10095 SOS 1761 HAS SOPS 1761 HAS SOUS 1629 HAS SOUPS 1629 WITH SCORE 1630.761
AT ITER 5879 NEW BEST:: SOT 10092 SOS 1757 HAS SOPS 1757 HAS SOUS 1626 HAS SOUPS 1626 WITH SCORE 1627.757
AT ITER 5933 NEW BEST:: SOT 10091 SOS 1756 HAS SOPS 1756 HAS SOUS 1626 HAS SOUPS 1626 WITH SCORE 1627.756
AT ITER 6040 NEW BEST:: SOT 10082 SOS 1756 HAS SOPS 1756 HAS SOUS 1623 HAS SOUPS 1623 WITH SCORE 1624.756
AT ITER 6146 NEW BEST:: SOT 10080 SOS 1755 HAS SOPS 1755 HAS SOUS 1622 HAS SOUPS 1622 WITH SCORE 1623.755
AT ITER 6155 NEW BEST:: SOT 10080 SOS 1753 HAS SOPS 1753 HAS SOUS 1620 HAS SOUPS 1620 WITH SCORE 1621.753
AT ITER 6209 NEW BEST:: SOT 10080 SOS 1752 HAS SOPS 1752 HAS SOUS 1620 HAS SOUPS 1620 WITH SCORE 1621.752
AT ITER 6224 NEW BEST:: SOT 10080 SOS 1751 HAS SOPS 1751 HAS SOUS 1620 HAS SOUPS 1620 WITH SCORE 1621.751
AT ITER 6233 NEW BEST:: SOT 10079 SOS 1750 HAS SOPS 1750 HAS SOUS 1619 HAS SOUPS 1619 WITH SCORE 1620.75
AT ITER 6871 NEW BEST:: SOT 10078 SOS 1748 HAS SOPS 1748 HAS SOUS 1618 HAS SOUPS 1618 WITH SCORE 1619.748
AT ITER 6945 NEW BEST:: SOT 10078 SOS 1747 HAS SOPS 1747 HAS SOUS 1617 HAS SOUPS 1617 WITH SCORE 1618.747
AT ITER 7103 NEW BEST:: SOT 10078 SOS 1746 HAS SOPS 1746 HAS SOUS 1616 HAS SOUPS 1616 WITH SCORE 1617.746
AT ITER 7527 NEW BEST:: SOT 10078 SOS 1746 HAS SOPS 1746 HAS SOUS 1615 HAS SOUPS 1615 WITH SCORE 1616.746
AT ITER 7534 NEW BEST:: SOT 10078 SOS 1742 HAS SOPS 1742 HAS SOUS 1613 HAS SOUPS 1613 WITH SCORE 1614.742
AT ITER 7554 NEW BEST:: SOT 10080 SOS 1736 HAS SOPS 1736 HAS SOUS 1607 HAS SOUPS 1607 WITH SCORE 1608.736
AT ITER 7595 NEW BEST:: SOT 10079 SOS 1735 HAS SOPS 1735 HAS SOUS 1606 HAS SOUPS 1606 WITH SCORE 1607.735
AT ITER 7756 NEW BEST:: SOT 10078 SOS 1733 HAS SOPS 1733 HAS SOUS 1604 HAS SOUPS 1604 WITH SCORE 1605.733
AT ITER 7846 NEW BEST:: SOT 10077 SOS 1731 HAS SOPS 1731 HAS SOUS 1603 HAS SOUPS 1603 WITH SCORE 1604.731
AT ITER 7879 NEW BEST:: SOT 10077 SOS 1728 HAS SOPS 1728 HAS SOUS 1602 HAS SOUPS 1602 WITH SCORE 1603.728
AT ITER 8463 NEW BEST:: SOT 10073 SOS 1720 HAS SOPS 1720 HAS SOUS 1600 HAS SOUPS 1600 WITH SCORE 1601.72
AT ITER 8540 NEW BEST:: SOT 10061 SOS 1708 HAS SOPS 1708 HAS SOUS 1588 HAS SOUPS 1588 WITH SCORE 1589.708
AT ITER 8832 NEW BEST:: SOT 10062 SOS 1707 HAS SOPS 1707 HAS SOUS 1587 HAS SOUPS 1587 WITH SCORE 1588.707
AT ITER 8856 NEW BEST:: SOT 10061 SOS 1720 HAS SOPS 1720 HAS SOUS 1586 HAS SOUPS 1586 WITH SCORE 1587.72
AT ITER 8885 NEW BEST:: SOT 10061 SOS 1714 HAS SOPS 1714 HAS SOUS 1580 HAS SOUPS 1580 WITH SCORE 1581.714
AT ITER 8941 NEW BEST:: SOT 10060 SOS 1713 HAS SOPS 1713 HAS SOUS 1579 HAS SOUPS 1579 WITH SCORE 1580.713
AT ITER 8991 NEW BEST:: SOT 10060 SOS 1712 HAS SOPS 1712 HAS SOUS 1578 HAS SOUPS 1578 WITH SCORE 1579.712
AT ITER 9227 NEW BEST:: SOT 10059 SOS 1711 HAS SOPS 1711 HAS SOUS 1577 HAS SOUPS 1577 WITH SCORE 1578.711
AT ITER 9412 NEW BEST:: SOT 10060 SOS 1709 HAS SOPS 1709 HAS SOUS 1575 HAS SOUPS 1575 WITH SCORE 1576.709
AT ITER 9469 NEW BEST:: SOT 10060 SOS 1708 HAS SOPS 1708 HAS SOUS 1575 HAS SOUPS 1575 WITH SCORE 1576.708
AT ITER 9704 NEW BEST:: SOT 10060 SOS 1705 HAS SOPS 1705 HAS SOUS 1575 HAS SOUPS 1575 WITH SCORE 1576.705
AT ITER 9942 NEW BEST:: SOT 10057 SOS 1702 HAS SOPS 1702 HAS SOUS 1572 HAS SOUPS 1572 WITH SCORE 1573.702
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 1679060308216

--------------------
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"
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 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 r387-oct2-167903711500208"
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 ;