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-159033469700600.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 ShieldPPPt-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-159033469700600
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 216K
-rw-r--r-- 1 mcc users 3.6K May 14 01:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 14 01:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 19:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K May 13 19:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.9K May 13 14:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K May 13 14:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 08:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 08:49 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 37K 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 1590446599105

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (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: 159 places, 145 transitions, 362 arcs.
AT ITER 0 NEW BEST:: SOT 12637 SOS 3650 HAS SOPS 3650 HAS SOUS 3378 HAS SOUPS 3378 WITH SCORE 3381.65
AT ITER 14 NEW BEST:: SOT 12624 SOS 3637 HAS SOPS 3637 HAS SOUS 3365 HAS SOUPS 3365 WITH SCORE 3368.637
AT ITER 26 NEW BEST:: SOT 12611 SOS 3623 HAS SOPS 3623 HAS SOUS 3351 HAS SOUPS 3351 WITH SCORE 3354.623
AT ITER 29 NEW BEST:: SOT 12592 SOS 3622 HAS SOPS 3622 HAS SOUS 3345 HAS SOUPS 3345 WITH SCORE 3348.622
AT ITER 33 NEW BEST:: SOT 12592 SOS 3622 HAS SOPS 3622 HAS SOUS 3338 HAS SOUPS 3338 WITH SCORE 3341.622
AT ITER 62 NEW BEST:: SOT 12589 SOS 3624 HAS SOPS 3624 HAS SOUS 3335 HAS SOUPS 3335 WITH SCORE 3338.624
AT ITER 65 NEW BEST:: SOT 12580 SOS 3603 HAS SOPS 3603 HAS SOUS 3316 HAS SOUPS 3316 WITH SCORE 3319.603
AT ITER 78 NEW BEST:: SOT 12592 SOS 3569 HAS SOPS 3569 HAS SOUS 3293 HAS SOUPS 3293 WITH SCORE 3296.569
AT ITER 88 NEW BEST:: SOT 12578 SOS 3563 HAS SOPS 3563 HAS SOUS 3257 HAS SOUPS 3257 WITH SCORE 3260.563
AT ITER 100 NEW BEST:: SOT 12591 SOS 3559 HAS SOPS 3559 HAS SOUS 3253 HAS SOUPS 3253 WITH SCORE 3256.559
AT ITER 112 NEW BEST:: SOT 12591 SOS 3557 HAS SOPS 3557 HAS SOUS 3253 HAS SOUPS 3253 WITH SCORE 3256.557
AT ITER 155 NEW BEST:: SOT 12591 SOS 3548 HAS SOPS 3548 HAS SOUS 3246 HAS SOUPS 3246 WITH SCORE 3249.548
AT ITER 171 NEW BEST:: SOT 12591 SOS 3532 HAS SOPS 3532 HAS SOUS 3240 HAS SOUPS 3240 WITH SCORE 3243.532
AT ITER 212 NEW BEST:: SOT 12589 SOS 3513 HAS SOPS 3513 HAS SOUS 3232 HAS SOUPS 3232 WITH SCORE 3235.513
AT ITER 216 NEW BEST:: SOT 12578 SOS 3504 HAS SOPS 3504 HAS SOUS 3223 HAS SOUPS 3223 WITH SCORE 3226.504
AT ITER 224 NEW BEST:: SOT 12578 SOS 3499 HAS SOPS 3499 HAS SOUS 3223 HAS SOUPS 3223 WITH SCORE 3226.499
AT ITER 292 NEW BEST:: SOT 12574 SOS 3491 HAS SOPS 3491 HAS SOUS 3215 HAS SOUPS 3215 WITH SCORE 3218.491
AT ITER 302 NEW BEST:: SOT 12548 SOS 3439 HAS SOPS 3439 HAS SOUS 3163 HAS SOUPS 3163 WITH SCORE 3166.439
AT ITER 317 NEW BEST:: SOT 12550 SOS 3431 HAS SOPS 3431 HAS SOUS 3155 HAS SOUPS 3155 WITH SCORE 3158.431
AT ITER 363 NEW BEST:: SOT 12542 SOS 3423 HAS SOPS 3423 HAS SOUS 3147 HAS SOUPS 3147 WITH SCORE 3150.423
AT ITER 397 NEW BEST:: SOT 12542 SOS 3420 HAS SOPS 3420 HAS SOUS 3125 HAS SOUPS 3125 WITH SCORE 3128.42
AT ITER 403 NEW BEST:: SOT 12542 SOS 3416 HAS SOPS 3416 HAS SOUS 3118 HAS SOUPS 3118 WITH SCORE 3121.416
AT ITER 417 NEW BEST:: SOT 12546 SOS 3418 HAS SOPS 3418 HAS SOUS 3115 HAS SOUPS 3115 WITH SCORE 3118.418
AT ITER 431 NEW BEST:: SOT 12545 SOS 3416 HAS SOPS 3416 HAS SOUS 3113 HAS SOUPS 3113 WITH SCORE 3116.416
AT ITER 435 NEW BEST:: SOT 12534 SOS 3419 HAS SOPS 3419 HAS SOUS 3109 HAS SOUPS 3109 WITH SCORE 3112.419
AT ITER 440 NEW BEST:: SOT 12529 SOS 3382 HAS SOPS 3382 HAS SOUS 3093 HAS SOUPS 3093 WITH SCORE 3096.382
AT ITER 465 NEW BEST:: SOT 12532 SOS 3380 HAS SOPS 3380 HAS SOUS 3092 HAS SOUPS 3092 WITH SCORE 3095.38
AT ITER 487 NEW BEST:: SOT 12523 SOS 3368 HAS SOPS 3368 HAS SOUS 3080 HAS SOUPS 3080 WITH SCORE 3083.368
AT ITER 495 NEW BEST:: SOT 12521 SOS 3365 HAS SOPS 3365 HAS SOUS 3077 HAS SOUPS 3077 WITH SCORE 3080.365
AT ITER 513 NEW BEST:: SOT 12521 SOS 3365 HAS SOPS 3365 HAS SOUS 3076 HAS SOUPS 3076 WITH SCORE 3079.365
AT ITER 586 NEW BEST:: SOT 12517 SOS 3357 HAS SOPS 3357 HAS SOUS 3072 HAS SOUPS 3072 WITH SCORE 3075.357
AT ITER 597 NEW BEST:: SOT 12491 SOS 3319 HAS SOPS 3319 HAS SOUS 3032 HAS SOUPS 3032 WITH SCORE 3035.319
AT ITER 618 NEW BEST:: SOT 12491 SOS 3312 HAS SOPS 3312 HAS SOUS 3025 HAS SOUPS 3025 WITH SCORE 3028.312
AT ITER 624 NEW BEST:: SOT 12490 SOS 3310 HAS SOPS 3310 HAS SOUS 3001 HAS SOUPS 3001 WITH SCORE 3004.31
AT ITER 626 NEW BEST:: SOT 12490 SOS 3289 HAS SOPS 3289 HAS SOUS 3001 HAS SOUPS 3001 WITH SCORE 3004.289
AT ITER 632 NEW BEST:: SOT 12490 SOS 3289 HAS SOPS 3289 HAS SOUS 3000 HAS SOUPS 3000 WITH SCORE 3003.289
AT ITER 636 NEW BEST:: SOT 12490 SOS 3272 HAS SOPS 3272 HAS SOUS 3000 HAS SOUPS 3000 WITH SCORE 3003.272
AT ITER 647 NEW BEST:: SOT 12502 SOS 3259 HAS SOPS 3259 HAS SOUS 2988 HAS SOUPS 2988 WITH SCORE 2991.259
AT ITER 667 NEW BEST:: SOT 12502 SOS 3231 HAS SOPS 3231 HAS SOUS 2974 HAS SOUPS 2974 WITH SCORE 2977.231
AT ITER 670 NEW BEST:: SOT 12498 SOS 3228 HAS SOPS 3228 HAS SOUS 2970 HAS SOUPS 2970 WITH SCORE 2973.228
AT ITER 684 NEW BEST:: SOT 12497 SOS 3226 HAS SOPS 3226 HAS SOUS 2969 HAS SOUPS 2969 WITH SCORE 2972.226
AT ITER 705 NEW BEST:: SOT 12490 SOS 3206 HAS SOPS 3206 HAS SOUS 2952 HAS SOUPS 2952 WITH SCORE 2955.206
AT ITER 710 NEW BEST:: SOT 12471 SOS 3243 HAS SOPS 3243 HAS SOUS 2947 HAS SOUPS 2947 WITH SCORE 2950.243
AT ITER 719 NEW BEST:: SOT 12473 SOS 3242 HAS SOPS 3242 HAS SOUS 2946 HAS SOUPS 2946 WITH SCORE 2949.242
AT ITER 720 NEW BEST:: SOT 12466 SOS 3182 HAS SOPS 3182 HAS SOUS 2925 HAS SOUPS 2925 WITH SCORE 2928.182
AT ITER 741 NEW BEST:: SOT 12466 SOS 3181 HAS SOPS 3181 HAS SOUS 2924 HAS SOUPS 2924 WITH SCORE 2927.181
AT ITER 750 NEW BEST:: SOT 12437 SOS 3155 HAS SOPS 3155 HAS SOUS 2898 HAS SOUPS 2898 WITH SCORE 2901.155
AT ITER 784 NEW BEST:: SOT 12440 SOS 3154 HAS SOPS 3154 HAS SOUS 2891 HAS SOUPS 2891 WITH SCORE 2894.154
AT ITER 801 NEW BEST:: SOT 12435 SOS 3157 HAS SOPS 3157 HAS SOUS 2883 HAS SOUPS 2883 WITH SCORE 2886.157
AT ITER 843 NEW BEST:: SOT 12447 SOS 3171 HAS SOPS 3171 HAS SOUS 2880 HAS SOUPS 2880 WITH SCORE 2883.171
AT ITER 854 NEW BEST:: SOT 12445 SOS 3171 HAS SOPS 3171 HAS SOUS 2878 HAS SOUPS 2878 WITH SCORE 2881.171
AT ITER 859 NEW BEST:: SOT 12439 SOS 3164 HAS SOPS 3164 HAS SOUS 2872 HAS SOUPS 2872 WITH SCORE 2875.164
AT ITER 868 NEW BEST:: SOT 12439 SOS 3163 HAS SOPS 3163 HAS SOUS 2871 HAS SOUPS 2871 WITH SCORE 2874.163
AT ITER 932 NEW BEST:: SOT 12439 SOS 3159 HAS SOPS 3159 HAS SOUS 2867 HAS SOUPS 2867 WITH SCORE 2870.159
AT ITER 965 NEW BEST:: SOT 12433 SOS 3147 HAS SOPS 3147 HAS SOUS 2860 HAS SOUPS 2860 WITH SCORE 2863.147
AT ITER 970 NEW BEST:: SOT 12430 SOS 3118 HAS SOPS 3118 HAS SOUS 2844 HAS SOUPS 2844 WITH SCORE 2847.118
AT ITER 972 NEW BEST:: SOT 12428 SOS 3114 HAS SOPS 3114 HAS SOUS 2835 HAS SOUPS 2835 WITH SCORE 2838.114
AT ITER 973 NEW BEST:: SOT 12427 SOS 3074 HAS SOPS 3074 HAS SOUS 2811 HAS SOUPS 2811 WITH SCORE 2814.074
AT ITER 982 NEW BEST:: SOT 12427 SOS 3072 HAS SOPS 3072 HAS SOUS 2810 HAS SOUPS 2810 WITH SCORE 2813.072
AT ITER 995 NEW BEST:: SOT 12416 SOS 3036 HAS SOPS 3036 HAS SOUS 2795 HAS SOUPS 2795 WITH SCORE 2798.036
AT ITER 1009 NEW BEST:: SOT 12413 SOS 3030 HAS SOPS 3030 HAS SOUS 2793 HAS SOUPS 2793 WITH SCORE 2796.03
AT ITER 1014 NEW BEST:: SOT 12408 SOS 3020 HAS SOPS 3020 HAS SOUS 2783 HAS SOUPS 2783 WITH SCORE 2786.02
AT ITER 1039 NEW BEST:: SOT 12414 SOS 3007 HAS SOPS 3007 HAS SOUS 2781 HAS SOUPS 2781 WITH SCORE 2784.007
AT ITER 1042 NEW BEST:: SOT 12422 SOS 3012 HAS SOPS 3012 HAS SOUS 2778 HAS SOUPS 2778 WITH SCORE 2781.012
AT ITER 1054 NEW BEST:: SOT 12433 SOS 3002 HAS SOPS 3002 HAS SOUS 2773 HAS SOUPS 2773 WITH SCORE 2776.002
AT ITER 1055 NEW BEST:: SOT 12425 SOS 2986 HAS SOPS 2986 HAS SOUS 2761 HAS SOUPS 2761 WITH SCORE 2763.986
AT ITER 1074 NEW BEST:: SOT 12418 SOS 2979 HAS SOPS 2979 HAS SOUS 2754 HAS SOUPS 2754 WITH SCORE 2756.979
AT ITER 1114 NEW BEST:: SOT 12413 SOS 2976 HAS SOPS 2976 HAS SOUS 2751 HAS SOUPS 2751 WITH SCORE 2753.976
AT ITER 1133 NEW BEST:: SOT 12413 SOS 2952 HAS SOPS 2952 HAS SOUS 2743 HAS SOUPS 2743 WITH SCORE 2745.952
AT ITER 1158 NEW BEST:: SOT 12409 SOS 2939 HAS SOPS 2939 HAS SOUS 2735 HAS SOUPS 2735 WITH SCORE 2737.939
AT ITER 1172 NEW BEST:: SOT 12409 SOS 2938 HAS SOPS 2938 HAS SOUS 2729 HAS SOUPS 2729 WITH SCORE 2731.938
AT ITER 1174 NEW BEST:: SOT 12403 SOS 2936 HAS SOPS 2936 HAS SOUS 2723 HAS SOUPS 2723 WITH SCORE 2725.936
AT ITER 1179 NEW BEST:: SOT 12404 SOS 2940 HAS SOPS 2940 HAS SOUS 2715 HAS SOUPS 2715 WITH SCORE 2717.94
AT ITER 1217 NEW BEST:: SOT 12386 SOS 2912 HAS SOPS 2912 HAS SOUS 2687 HAS SOUPS 2687 WITH SCORE 2689.912
AT ITER 1230 NEW BEST:: SOT 12378 SOS 2912 HAS SOPS 2912 HAS SOUS 2681 HAS SOUPS 2681 WITH SCORE 2683.912
AT ITER 1252 NEW BEST:: SOT 12376 SOS 2912 HAS SOPS 2912 HAS SOUS 2679 HAS SOUPS 2679 WITH SCORE 2681.912
AT ITER 1280 NEW BEST:: SOT 12376 SOS 2908 HAS SOPS 2908 HAS SOUS 2678 HAS SOUPS 2678 WITH SCORE 2680.908
AT ITER 1346 NEW BEST:: SOT 12367 SOS 2888 HAS SOPS 2888 HAS SOUS 2658 HAS SOUPS 2658 WITH SCORE 2660.888
AT ITER 1385 NEW BEST:: SOT 12374 SOS 2886 HAS SOPS 2886 HAS SOUS 2658 HAS SOUPS 2658 WITH SCORE 2660.886
AT ITER 1399 NEW BEST:: SOT 12374 SOS 2878 HAS SOPS 2878 HAS SOUS 2653 HAS SOUPS 2653 WITH SCORE 2655.878
AT ITER 1413 NEW BEST:: SOT 12372 SOS 2875 HAS SOPS 2875 HAS SOUS 2650 HAS SOUPS 2650 WITH SCORE 2652.875
AT ITER 1416 NEW BEST:: SOT 12372 SOS 2874 HAS SOPS 2874 HAS SOUS 2649 HAS SOUPS 2649 WITH SCORE 2651.874
AT ITER 1429 NEW BEST:: SOT 12370 SOS 2868 HAS SOPS 2868 HAS SOUS 2645 HAS SOUPS 2645 WITH SCORE 2647.868
AT ITER 1442 NEW BEST:: SOT 12363 SOS 2858 HAS SOPS 2858 HAS SOUS 2638 HAS SOUPS 2638 WITH SCORE 2640.858
AT ITER 1448 NEW BEST:: SOT 12360 SOS 2852 HAS SOPS 2852 HAS SOUS 2632 HAS SOUPS 2632 WITH SCORE 2634.852
AT ITER 1455 NEW BEST:: SOT 12356 SOS 2844 HAS SOPS 2844 HAS SOUS 2624 HAS SOUPS 2624 WITH SCORE 2626.844
AT ITER 1597 NEW BEST:: SOT 12364 SOS 2825 HAS SOPS 2825 HAS SOUS 2621 HAS SOUPS 2621 WITH SCORE 2623.825
AT ITER 1633 NEW BEST:: SOT 12361 SOS 2822 HAS SOPS 2822 HAS SOUS 2618 HAS SOUPS 2618 WITH SCORE 2620.822
AT ITER 1687 NEW BEST:: SOT 12361 SOS 2818 HAS SOPS 2818 HAS SOUS 2618 HAS SOUPS 2618 WITH SCORE 2620.818
AT ITER 1688 NEW BEST:: SOT 12361 SOS 2810 HAS SOPS 2810 HAS SOUS 2610 HAS SOUPS 2610 WITH SCORE 2612.81
AT ITER 1696 NEW BEST:: SOT 12354 SOS 2809 HAS SOPS 2809 HAS SOUS 2609 HAS SOUPS 2609 WITH SCORE 2611.809
AT ITER 1710 NEW BEST:: SOT 12361 SOS 2803 HAS SOPS 2803 HAS SOUS 2608 HAS SOUPS 2608 WITH SCORE 2610.803
AT ITER 1750 NEW BEST:: SOT 12359 SOS 2801 HAS SOPS 2801 HAS SOUS 2606 HAS SOUPS 2606 WITH SCORE 2608.801
AT ITER 1776 NEW BEST:: SOT 12359 SOS 2798 HAS SOPS 2798 HAS SOUS 2603 HAS SOUPS 2603 WITH SCORE 2605.798
AT ITER 1836 NEW BEST:: SOT 12355 SOS 2789 HAS SOPS 2789 HAS SOUS 2599 HAS SOUPS 2599 WITH SCORE 2601.789
AT ITER 1993 NEW BEST:: SOT 12352 SOS 2786 HAS SOPS 2786 HAS SOUS 2596 HAS SOUPS 2596 WITH SCORE 2598.786
AT ITER 2001 NEW BEST:: SOT 12346 SOS 2783 HAS SOPS 2783 HAS SOUS 2593 HAS SOUPS 2593 WITH SCORE 2595.783
AT ITER 2005 NEW BEST:: SOT 12339 SOS 2769 HAS SOPS 2769 HAS SOUS 2593 HAS SOUPS 2593 WITH SCORE 2595.769
AT ITER 2048 NEW BEST:: SOT 12339 SOS 2768 HAS SOPS 2768 HAS SOUS 2592 HAS SOUPS 2592 WITH SCORE 2594.768
AT ITER 2158 NEW BEST:: SOT 12339 SOS 2759 HAS SOPS 2759 HAS SOUS 2592 HAS SOUPS 2592 WITH SCORE 2594.759
AT ITER 2180 NEW BEST:: SOT 12343 SOS 2757 HAS SOPS 2757 HAS SOUS 2590 HAS SOUPS 2590 WITH SCORE 2592.757
AT ITER 2217 NEW BEST:: SOT 12342 SOS 2756 HAS SOPS 2756 HAS SOUS 2590 HAS SOUPS 2590 WITH SCORE 2592.756
AT ITER 2267 NEW BEST:: SOT 12341 SOS 2754 HAS SOPS 2754 HAS SOUS 2588 HAS SOUPS 2588 WITH SCORE 2590.754
AT ITER 2312 NEW BEST:: SOT 12343 SOS 2751 HAS SOPS 2751 HAS SOUS 2585 HAS SOUPS 2585 WITH SCORE 2587.751
AT ITER 2381 NEW BEST:: SOT 12341 SOS 2736 HAS SOPS 2736 HAS SOUS 2570 HAS SOUPS 2570 WITH SCORE 2572.736
AT ITER 2383 NEW BEST:: SOT 12339 SOS 2722 HAS SOPS 2722 HAS SOUS 2566 HAS SOUPS 2566 WITH SCORE 2568.722
AT ITER 2428 NEW BEST:: SOT 12342 SOS 2701 HAS SOPS 2701 HAS SOUS 2560 HAS SOUPS 2560 WITH SCORE 2562.701
AT ITER 2448 NEW BEST:: SOT 12344 SOS 2679 HAS SOPS 2679 HAS SOUS 2554 HAS SOUPS 2554 WITH SCORE 2556.679
AT ITER 2516 NEW BEST:: SOT 12344 SOS 2676 HAS SOPS 2676 HAS SOUS 2554 HAS SOUPS 2554 WITH SCORE 2556.676
AT ITER 2537 NEW BEST:: SOT 12346 SOS 2678 HAS SOPS 2678 HAS SOUS 2553 HAS SOUPS 2553 WITH SCORE 2555.678
AT ITER 2585 NEW BEST:: SOT 12346 SOS 2672 HAS SOPS 2672 HAS SOUS 2547 HAS SOUPS 2547 WITH SCORE 2549.672
AT ITER 2588 NEW BEST:: SOT 12346 SOS 2669 HAS SOPS 2669 HAS SOUS 2544 HAS SOUPS 2544 WITH SCORE 2546.669
AT ITER 2678 NEW BEST:: SOT 12359 SOS 2659 HAS SOPS 2659 HAS SOUS 2538 HAS SOUPS 2538 WITH SCORE 2540.659
AT ITER 2696 NEW BEST:: SOT 12355 SOS 2651 HAS SOPS 2651 HAS SOUS 2530 HAS SOUPS 2530 WITH SCORE 2532.651
AT ITER 2729 NEW BEST:: SOT 12355 SOS 2648 HAS SOPS 2648 HAS SOUS 2527 HAS SOUPS 2527 WITH SCORE 2529.648
AT ITER 2750 NEW BEST:: SOT 12354 SOS 2646 HAS SOPS 2646 HAS SOUS 2525 HAS SOUPS 2525 WITH SCORE 2527.646
AT ITER 2754 NEW BEST:: SOT 12353 SOS 2645 HAS SOPS 2645 HAS SOUS 2524 HAS SOUPS 2524 WITH SCORE 2526.645
AT ITER 2780 NEW BEST:: SOT 12352 SOS 2643 HAS SOPS 2643 HAS SOUS 2523 HAS SOUPS 2523 WITH SCORE 2525.643
AT ITER 2796 NEW BEST:: SOT 12351 SOS 2642 HAS SOPS 2642 HAS SOUS 2522 HAS SOUPS 2522 WITH SCORE 2524.642
AT ITER 2817 NEW BEST:: SOT 12349 SOS 2638 HAS SOPS 2638 HAS SOUS 2518 HAS SOUPS 2518 WITH SCORE 2520.638
AT ITER 2848 NEW BEST:: SOT 12357 SOS 2653 HAS SOPS 2653 HAS SOUS 2517 HAS SOUPS 2517 WITH SCORE 2519.653
AT ITER 2860 NEW BEST:: SOT 12347 SOS 2646 HAS SOPS 2646 HAS SOUS 2510 HAS SOUPS 2510 WITH SCORE 2512.646
AT ITER 2864 NEW BEST:: SOT 12348 SOS 2645 HAS SOPS 2645 HAS SOUS 2509 HAS SOUPS 2509 WITH SCORE 2511.645
AT ITER 2920 NEW BEST:: SOT 12343 SOS 2642 HAS SOPS 2642 HAS SOUS 2506 HAS SOUPS 2506 WITH SCORE 2508.642
AT ITER 2926 NEW BEST:: SOT 12343 SOS 2641 HAS SOPS 2641 HAS SOUS 2505 HAS SOUPS 2505 WITH SCORE 2507.641
AT ITER 2998 NEW BEST:: SOT 12342 SOS 2640 HAS SOPS 2640 HAS SOUS 2504 HAS SOUPS 2504 WITH SCORE 2506.64
AT ITER 3003 NEW BEST:: SOT 12342 SOS 2638 HAS SOPS 2638 HAS SOUS 2502 HAS SOUPS 2502 WITH SCORE 2504.638
AT ITER 3026 NEW BEST:: SOT 12339 SOS 2637 HAS SOPS 2637 HAS SOUS 2499 HAS SOUPS 2499 WITH SCORE 2501.637
AT ITER 3046 NEW BEST:: SOT 12348 SOS 2631 HAS SOPS 2631 HAS SOUS 2490 HAS SOUPS 2490 WITH SCORE 2492.631
AT ITER 3058 NEW BEST:: SOT 12347 SOS 2629 HAS SOPS 2629 HAS SOUS 2488 HAS SOUPS 2488 WITH SCORE 2490.629
AT ITER 3084 NEW BEST:: SOT 12349 SOS 2628 HAS SOPS 2628 HAS SOUS 2487 HAS SOUPS 2487 WITH SCORE 2489.628
AT ITER 3091 NEW BEST:: SOT 12347 SOS 2627 HAS SOPS 2627 HAS SOUS 2486 HAS SOUPS 2486 WITH SCORE 2488.627
AT ITER 3106 NEW BEST:: SOT 12347 SOS 2626 HAS SOPS 2626 HAS SOUS 2485 HAS SOUPS 2485 WITH SCORE 2487.626
AT ITER 3109 NEW BEST:: SOT 12347 SOS 2622 HAS SOPS 2622 HAS SOUS 2481 HAS SOUPS 2481 WITH SCORE 2483.622
AT ITER 3155 NEW BEST:: SOT 12346 SOS 2620 HAS SOPS 2620 HAS SOUS 2479 HAS SOUPS 2479 WITH SCORE 2481.62
AT ITER 3196 NEW BEST:: SOT 12340 SOS 2608 HAS SOPS 2608 HAS SOUS 2467 HAS SOUPS 2467 WITH SCORE 2469.608
AT ITER 3200 NEW BEST:: SOT 12340 SOS 2606 HAS SOPS 2606 HAS SOUS 2465 HAS SOUPS 2465 WITH SCORE 2467.606
AT ITER 3218 NEW BEST:: SOT 12342 SOS 2597 HAS SOPS 2597 HAS SOUS 2458 HAS SOUPS 2458 WITH SCORE 2460.597
AT ITER 3255 NEW BEST:: SOT 12344 SOS 2585 HAS SOPS 2585 HAS SOUS 2446 HAS SOUPS 2446 WITH SCORE 2448.585
AT ITER 3266 NEW BEST:: SOT 12337 SOS 2571 HAS SOPS 2571 HAS SOUS 2432 HAS SOUPS 2432 WITH SCORE 2434.571
AT ITER 3284 NEW BEST:: SOT 12342 SOS 2574 HAS SOPS 2574 HAS SOUS 2425 HAS SOUPS 2425 WITH SCORE 2427.574
AT ITER 3308 NEW BEST:: SOT 12356 SOS 2582 HAS SOPS 2582 HAS SOUS 2415 HAS SOUPS 2415 WITH SCORE 2417.582
AT ITER 3315 NEW BEST:: SOT 12356 SOS 2575 HAS SOPS 2575 HAS SOUS 2408 HAS SOUPS 2408 WITH SCORE 2410.575
AT ITER 3393 NEW BEST:: SOT 12355 SOS 2576 HAS SOPS 2576 HAS SOUS 2407 HAS SOUPS 2407 WITH SCORE 2409.576
AT ITER 3465 NEW BEST:: SOT 12343 SOS 2573 HAS SOPS 2573 HAS SOUS 2404 HAS SOUPS 2404 WITH SCORE 2406.573
AT ITER 3471 NEW BEST:: SOT 12334 SOS 2563 HAS SOPS 2563 HAS SOUS 2394 HAS SOUPS 2394 WITH SCORE 2396.563
AT ITER 3478 NEW BEST:: SOT 12333 SOS 2561 HAS SOPS 2561 HAS SOUS 2392 HAS SOUPS 2392 WITH SCORE 2394.561
AT ITER 3485 NEW BEST:: SOT 12332 SOS 2557 HAS SOPS 2557 HAS SOUS 2389 HAS SOUPS 2389 WITH SCORE 2391.557
AT ITER 3493 NEW BEST:: SOT 12333 SOS 2543 HAS SOPS 2543 HAS SOUS 2383 HAS SOUPS 2383 WITH SCORE 2385.543
AT ITER 3518 NEW BEST:: SOT 12319 SOS 2551 HAS SOPS 2551 HAS SOUS 2379 HAS SOUPS 2379 WITH SCORE 2381.551
AT ITER 3525 NEW BEST:: SOT 12309 SOS 2544 HAS SOPS 2544 HAS SOUS 2372 HAS SOUPS 2372 WITH SCORE 2374.544
AT ITER 3538 NEW BEST:: SOT 12298 SOS 2542 HAS SOPS 2542 HAS SOUS 2366 HAS SOUPS 2366 WITH SCORE 2368.542
AT ITER 3588 NEW BEST:: SOT 12298 SOS 2538 HAS SOPS 2538 HAS SOUS 2362 HAS SOUPS 2362 WITH SCORE 2364.538
AT ITER 3665 NEW BEST:: SOT 12290 SOS 2536 HAS SOPS 2536 HAS SOUS 2360 HAS SOUPS 2360 WITH SCORE 2362.536
AT ITER 3691 NEW BEST:: SOT 12290 SOS 2532 HAS SOPS 2532 HAS SOUS 2356 HAS SOUPS 2356 WITH SCORE 2358.532
AT ITER 3699 NEW BEST:: SOT 12287 SOS 2531 HAS SOPS 2531 HAS SOUS 2355 HAS SOUPS 2355 WITH SCORE 2357.531
AT ITER 3720 NEW BEST:: SOT 12286 SOS 2529 HAS SOPS 2529 HAS SOUS 2353 HAS SOUPS 2353 WITH SCORE 2355.529
AT ITER 3956 NEW BEST:: SOT 12281 SOS 2543 HAS SOPS 2543 HAS SOUS 2347 HAS SOUPS 2347 WITH SCORE 2349.543
AT ITER 4018 NEW BEST:: SOT 12276 SOS 2538 HAS SOPS 2538 HAS SOUS 2342 HAS SOUPS 2342 WITH SCORE 2344.538
AT ITER 4115 NEW BEST:: SOT 12290 SOS 2548 HAS SOPS 2548 HAS SOUS 2341 HAS SOUPS 2341 WITH SCORE 2343.548
AT ITER 4122 NEW BEST:: SOT 12286 SOS 2548 HAS SOPS 2548 HAS SOUS 2337 HAS SOUPS 2337 WITH SCORE 2339.548
AT ITER 4150 NEW BEST:: SOT 12285 SOS 2546 HAS SOPS 2546 HAS SOUS 2335 HAS SOUPS 2335 WITH SCORE 2337.546
AT ITER 4194 NEW BEST:: SOT 12285 SOS 2546 HAS SOPS 2546 HAS SOUS 2333 HAS SOUPS 2333 WITH SCORE 2335.546
AT ITER 4205 NEW BEST:: SOT 12284 SOS 2544 HAS SOPS 2544 HAS SOUS 2332 HAS SOUPS 2332 WITH SCORE 2334.544
AT ITER 4206 NEW BEST:: SOT 12275 SOS 2538 HAS SOPS 2538 HAS SOUS 2332 HAS SOUPS 2332 WITH SCORE 2334.538
AT ITER 4270 NEW BEST:: SOT 12273 SOS 2536 HAS SOPS 2536 HAS SOUS 2332 HAS SOUPS 2332 WITH SCORE 2334.536
AT ITER 4284 NEW BEST:: SOT 12273 SOS 2535 HAS SOPS 2535 HAS SOUS 2331 HAS SOUPS 2331 WITH SCORE 2333.535
AT ITER 4292 NEW BEST:: SOT 12270 SOS 2529 HAS SOPS 2529 HAS SOUS 2325 HAS SOUPS 2325 WITH SCORE 2327.529
AT ITER 4363 NEW BEST:: SOT 12265 SOS 2515 HAS SOPS 2515 HAS SOUS 2319 HAS SOUPS 2319 WITH SCORE 2321.515
AT ITER 4370 NEW BEST:: SOT 12264 SOS 2514 HAS SOPS 2514 HAS SOUS 2317 HAS SOUPS 2317 WITH SCORE 2319.514
AT ITER 4481 NEW BEST:: SOT 12264 SOS 2511 HAS SOPS 2511 HAS SOUS 2314 HAS SOUPS 2314 WITH SCORE 2316.511
AT ITER 4517 NEW BEST:: SOT 12264 SOS 2510 HAS SOPS 2510 HAS SOUS 2313 HAS SOUPS 2313 WITH SCORE 2315.51
AT ITER 4667 NEW BEST:: SOT 12263 SOS 2518 HAS SOPS 2518 HAS SOUS 2311 HAS SOUPS 2311 WITH SCORE 2313.518
AT ITER 4685 NEW BEST:: SOT 12261 SOS 2509 HAS SOPS 2509 HAS SOUS 2311 HAS SOUPS 2311 WITH SCORE 2313.509
AT ITER 4721 NEW BEST:: SOT 12261 SOS 2508 HAS SOPS 2508 HAS SOUS 2310 HAS SOUPS 2310 WITH SCORE 2312.508
AT ITER 4805 NEW BEST:: SOT 12258 SOS 2499 HAS SOPS 2499 HAS SOUS 2304 HAS SOUPS 2304 WITH SCORE 2306.499
AT ITER 4812 NEW BEST:: SOT 12253 SOS 2516 HAS SOPS 2516 HAS SOUS 2299 HAS SOUPS 2299 WITH SCORE 2301.516
AT ITER 4817 NEW BEST:: SOT 12253 SOS 2513 HAS SOPS 2513 HAS SOUS 2296 HAS SOUPS 2296 WITH SCORE 2298.513
AT ITER 4932 NEW BEST:: SOT 12253 SOS 2512 HAS SOPS 2512 HAS SOUS 2295 HAS SOUPS 2295 WITH SCORE 2297.512
AT ITER 4941 NEW BEST:: SOT 12259 SOS 2511 HAS SOPS 2511 HAS SOUS 2294 HAS SOUPS 2294 WITH SCORE 2296.511
AT ITER 4943 NEW BEST:: SOT 12258 SOS 2509 HAS SOPS 2509 HAS SOUS 2292 HAS SOUPS 2292 WITH SCORE 2294.509
AT ITER 5128 NEW BEST:: SOT 12256 SOS 2505 HAS SOPS 2505 HAS SOUS 2290 HAS SOUPS 2290 WITH SCORE 2292.505
AT ITER 5133 NEW BEST:: SOT 12254 SOS 2505 HAS SOPS 2505 HAS SOUS 2289 HAS SOUPS 2289 WITH SCORE 2291.505
AT ITER 5151 NEW BEST:: SOT 12252 SOS 2500 HAS SOPS 2500 HAS SOUS 2286 HAS SOUPS 2286 WITH SCORE 2288.5
AT ITER 5223 NEW BEST:: SOT 12252 SOS 2498 HAS SOPS 2498 HAS SOUS 2284 HAS SOUPS 2284 WITH SCORE 2286.498
AT ITER 5253 NEW BEST:: SOT 12251 SOS 2494 HAS SOPS 2494 HAS SOUS 2280 HAS SOUPS 2280 WITH SCORE 2282.494
AT ITER 5255 NEW BEST:: SOT 12245 SOS 2476 HAS SOPS 2476 HAS SOUS 2268 HAS SOUPS 2268 WITH SCORE 2270.476
AT ITER 5276 NEW BEST:: SOT 12235 SOS 2473 HAS SOPS 2473 HAS SOUS 2265 HAS SOUPS 2265 WITH SCORE 2267.473
AT ITER 5364 NEW BEST:: SOT 12235 SOS 2471 HAS SOPS 2471 HAS SOUS 2265 HAS SOUPS 2265 WITH SCORE 2267.471
AT ITER 5423 NEW BEST:: SOT 12229 SOS 2467 HAS SOPS 2467 HAS SOUS 2259 HAS SOUPS 2259 WITH SCORE 2261.467
AT ITER 5472 NEW BEST:: SOT 12229 SOS 2466 HAS SOPS 2466 HAS SOUS 2258 HAS SOUPS 2258 WITH SCORE 2260.466
AT ITER 5486 NEW BEST:: SOT 12220 SOS 2456 HAS SOPS 2456 HAS SOUS 2258 HAS SOUPS 2258 WITH SCORE 2260.456
AT ITER 5567 NEW BEST:: SOT 12209 SOS 2454 HAS SOPS 2454 HAS SOUS 2256 HAS SOUPS 2256 WITH SCORE 2258.454
AT ITER 5582 NEW BEST:: SOT 12205 SOS 2442 HAS SOPS 2442 HAS SOUS 2252 HAS SOUPS 2252 WITH SCORE 2254.442
AT ITER 5605 NEW BEST:: SOT 12210 SOS 2438 HAS SOPS 2438 HAS SOUS 2248 HAS SOUPS 2248 WITH SCORE 2250.438
AT ITER 5656 NEW BEST:: SOT 12209 SOS 2434 HAS SOPS 2434 HAS SOUS 2246 HAS SOUPS 2246 WITH SCORE 2248.434
AT ITER 5819 NEW BEST:: SOT 12208 SOS 2432 HAS SOPS 2432 HAS SOUS 2245 HAS SOUPS 2245 WITH SCORE 2247.432
AT ITER 5892 NEW BEST:: SOT 12208 SOS 2427 HAS SOPS 2427 HAS SOUS 2245 HAS SOUPS 2245 WITH SCORE 2247.427
AT ITER 6026 NEW BEST:: SOT 12208 SOS 2425 HAS SOPS 2425 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2245.425
AT ITER 6063 NEW BEST:: SOT 12204 SOS 2418 HAS SOPS 2418 HAS SOUS 2236 HAS SOUPS 2236 WITH SCORE 2238.418
AT ITER 6095 NEW BEST:: SOT 12203 SOS 2417 HAS SOPS 2417 HAS SOUS 2235 HAS SOUPS 2235 WITH SCORE 2237.417
AT ITER 6157 NEW BEST:: SOT 12203 SOS 2405 HAS SOPS 2405 HAS SOUS 2223 HAS SOUPS 2223 WITH SCORE 2225.405
AT ITER 6158 NEW BEST:: SOT 12202 SOS 2403 HAS SOPS 2403 HAS SOUS 2221 HAS SOUPS 2221 WITH SCORE 2223.403
AT ITER 6179 NEW BEST:: SOT 12201 SOS 2401 HAS SOPS 2401 HAS SOUS 2219 HAS SOUPS 2219 WITH SCORE 2221.401
AT ITER 6241 NEW BEST:: SOT 12194 SOS 2394 HAS SOPS 2394 HAS SOUS 2212 HAS SOUPS 2212 WITH SCORE 2214.394
AT ITER 6351 NEW BEST:: SOT 12186 SOS 2382 HAS SOPS 2382 HAS SOUS 2212 HAS SOUPS 2212 WITH SCORE 2214.382
AT ITER 6415 NEW BEST:: SOT 12184 SOS 2378 HAS SOPS 2378 HAS SOUS 2208 HAS SOUPS 2208 WITH SCORE 2210.378
AT ITER 6557 NEW BEST:: SOT 12183 SOS 2376 HAS SOPS 2376 HAS SOUS 2206 HAS SOUPS 2206 WITH SCORE 2208.376
AT ITER 6580 NEW BEST:: SOT 12179 SOS 2370 HAS SOPS 2370 HAS SOUS 2200 HAS SOUPS 2200 WITH SCORE 2202.37
AT ITER 6585 NEW BEST:: SOT 12176 SOS 2367 HAS SOPS 2367 HAS SOUS 2194 HAS SOUPS 2194 WITH SCORE 2196.367
AT ITER 6622 NEW BEST:: SOT 12173 SOS 2369 HAS SOPS 2369 HAS SOUS 2188 HAS SOUPS 2188 WITH SCORE 2190.369
AT ITER 6647 NEW BEST:: SOT 12173 SOS 2371 HAS SOPS 2371 HAS SOUS 2186 HAS SOUPS 2186 WITH SCORE 2188.371
AT ITER 6686 NEW BEST:: SOT 12173 SOS 2363 HAS SOPS 2363 HAS SOUS 2178 HAS SOUPS 2178 WITH SCORE 2180.363
AT ITER 6751 NEW BEST:: SOT 12167 SOS 2353 HAS SOPS 2353 HAS SOUS 2174 HAS SOUPS 2174 WITH SCORE 2176.353
AT ITER 6761 NEW BEST:: SOT 12167 SOS 2359 HAS SOPS 2359 HAS SOUS 2172 HAS SOUPS 2172 WITH SCORE 2174.359
AT ITER 6765 NEW BEST:: SOT 12165 SOS 2355 HAS SOPS 2355 HAS SOUS 2172 HAS SOUPS 2172 WITH SCORE 2174.355
AT ITER 6804 NEW BEST:: SOT 12168 SOS 2350 HAS SOPS 2350 HAS SOUS 2167 HAS SOUPS 2167 WITH SCORE 2169.35
AT ITER 6913 NEW BEST:: SOT 12165 SOS 2344 HAS SOPS 2344 HAS SOUS 2162 HAS SOUPS 2162 WITH SCORE 2164.344
AT ITER 6952 NEW BEST:: SOT 12163 SOS 2340 HAS SOPS 2340 HAS SOUS 2159 HAS SOUPS 2159 WITH SCORE 2161.34
AT ITER 7014 NEW BEST:: SOT 12162 SOS 2330 HAS SOPS 2330 HAS SOUS 2157 HAS SOUPS 2157 WITH SCORE 2159.33
AT ITER 7221 NEW BEST:: SOT 12162 SOS 2325 HAS SOPS 2325 HAS SOUS 2152 HAS SOUPS 2152 WITH SCORE 2154.325
AT ITER 7454 NEW BEST:: SOT 12159 SOS 2328 HAS SOPS 2328 HAS SOUS 2149 HAS SOUPS 2149 WITH SCORE 2151.328
AT ITER 7557 NEW BEST:: SOT 12159 SOS 2315 HAS SOPS 2315 HAS SOUS 2149 HAS SOUPS 2149 WITH SCORE 2151.315
AT ITER 7579 NEW BEST:: SOT 12156 SOS 2313 HAS SOPS 2313 HAS SOUS 2147 HAS SOUPS 2147 WITH SCORE 2149.313
AT ITER 7599 NEW BEST:: SOT 12156 SOS 2313 HAS SOPS 2313 HAS SOUS 2145 HAS SOUPS 2145 WITH SCORE 2147.313
AT ITER 7735 NEW BEST:: SOT 12155 SOS 2310 HAS SOPS 2310 HAS SOUS 2144 HAS SOUPS 2144 WITH SCORE 2146.31
AT ITER 7812 NEW BEST:: SOT 12154 SOS 2308 HAS SOPS 2308 HAS SOUS 2142 HAS SOUPS 2142 WITH SCORE 2144.308
AT ITER 7815 NEW BEST:: SOT 12153 SOS 2306 HAS SOPS 2306 HAS SOUS 2140 HAS SOUPS 2140 WITH SCORE 2142.306
AT ITER 7849 NEW BEST:: SOT 12152 SOS 2301 HAS SOPS 2301 HAS SOUS 2138 HAS SOUPS 2138 WITH SCORE 2140.301
AT ITER 7963 NEW BEST:: SOT 12148 SOS 2298 HAS SOPS 2298 HAS SOUS 2135 HAS SOUPS 2135 WITH SCORE 2137.298
AT ITER 8606 NEW BEST:: SOT 12145 SOS 2292 HAS SOPS 2292 HAS SOUS 2129 HAS SOUPS 2129 WITH SCORE 2131.292
AT ITER 8640 NEW BEST:: SOT 12146 SOS 2289 HAS SOPS 2289 HAS SOUS 2126 HAS SOUPS 2126 WITH SCORE 2128.289
AT ITER 8678 NEW BEST:: SOT 12143 SOS 2286 HAS SOPS 2286 HAS SOUS 2123 HAS SOUPS 2123 WITH SCORE 2125.286
AT ITER 8756 NEW BEST:: SOT 12136 SOS 2270 HAS SOPS 2270 HAS SOUS 2116 HAS SOUPS 2116 WITH SCORE 2118.27
AT ITER 8890 NEW BEST:: SOT 12137 SOS 2269 HAS SOPS 2269 HAS SOUS 2115 HAS SOUPS 2115 WITH SCORE 2117.269
AT ITER 8919 NEW BEST:: SOT 12137 SOS 2268 HAS SOPS 2268 HAS SOUS 2114 HAS SOUPS 2114 WITH SCORE 2116.268
AT ITER 9232 NEW BEST:: SOT 12137 SOS 2268 HAS SOPS 2268 HAS SOUS 2113 HAS SOUPS 2113 WITH SCORE 2115.268
AT ITER 9301 NEW BEST:: SOT 12136 SOS 2265 HAS SOPS 2265 HAS SOUS 2112 HAS SOUPS 2112 WITH SCORE 2114.265
AT ITER 9316 NEW BEST:: SOT 12134 SOS 2256 HAS SOPS 2256 HAS SOUS 2106 HAS SOUPS 2106 WITH SCORE 2108.256
AT ITER 9348 NEW BEST:: SOT 12133 SOS 2254 HAS SOPS 2254 HAS SOUS 2106 HAS SOUPS 2106 WITH SCORE 2108.254
AT ITER 9466 NEW BEST:: SOT 12129 SOS 2246 HAS SOPS 2246 HAS SOUS 2102 HAS SOUPS 2102 WITH SCORE 2104.246
AT ITER 9501 NEW BEST:: SOT 12128 SOS 2245 HAS SOPS 2245 HAS SOUS 2101 HAS SOUPS 2101 WITH SCORE 2103.245
AT ITER 9610 NEW BEST:: SOT 12127 SOS 2265 HAS SOPS 2265 HAS SOUS 2100 HAS SOUPS 2100 WITH SCORE 2102.265
AT ITER 9874 NEW BEST:: SOT 12126 SOS 2261 HAS SOPS 2261 HAS SOUS 2098 HAS SOUPS 2098 WITH SCORE 2100.261
AT ITER 9993 NEW BEST:: SOT 12126 SOS 2258 HAS SOPS 2258 HAS SOUS 2097 HAS SOUPS 2097 WITH SCORE 2099.258
STATE_SPACE STATES 100165008476333 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 23 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 1151279058792669 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1590446724401

--------------------
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-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 ShieldPPPt-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-159033469700600"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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