fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r207-tajo-159033470300968
Last Updated
Jun 28, 2020

About the Execution of smart for ShieldRVt-PT-003B

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.880 20965.00 21020.00 0.00 1.2269E+0012 1.3619E+0013 1 13 normal

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-159033470300968.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 ShieldRVt-PT-003B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033470300968
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 200K
-rw-r--r-- 1 mcc users 3.1K May 14 02:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 14 02:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 20:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 13 20:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K May 14 10:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.6K May 13 14:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 13 14:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 09:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 09:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K 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 36K 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 1590454013089

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

Filename model.pnml
Petri model created: 153 places, 153 transitions, 360 arcs.
AT ITER 0 NEW BEST:: SOT 12982 SOS 4327 HAS SOPS 4327 HAS SOUS 3893 HAS SOUPS 3893 WITH SCORE 3897.327
AT ITER 6 NEW BEST:: SOT 12980 SOS 4325 HAS SOPS 4325 HAS SOUS 3893 HAS SOUPS 3893 WITH SCORE 3897.325
AT ITER 11 NEW BEST:: SOT 13001 SOS 4301 HAS SOPS 4301 HAS SOUS 3881 HAS SOUPS 3881 WITH SCORE 3885.301
AT ITER 14 NEW BEST:: SOT 13001 SOS 4295 HAS SOPS 4295 HAS SOUS 3875 HAS SOUPS 3875 WITH SCORE 3879.295
AT ITER 18 NEW BEST:: SOT 13004 SOS 4251 HAS SOPS 4251 HAS SOUS 3869 HAS SOUPS 3869 WITH SCORE 3873.251
AT ITER 27 NEW BEST:: SOT 12993 SOS 4244 HAS SOPS 4244 HAS SOUS 3858 HAS SOUPS 3858 WITH SCORE 3862.244
AT ITER 31 NEW BEST:: SOT 13027 SOS 4281 HAS SOPS 4281 HAS SOUS 3826 HAS SOUPS 3826 WITH SCORE 3830.281
AT ITER 33 NEW BEST:: SOT 13020 SOS 4267 HAS SOPS 4267 HAS SOUS 3819 HAS SOUPS 3819 WITH SCORE 3823.267
AT ITER 39 NEW BEST:: SOT 13000 SOS 4247 HAS SOPS 4247 HAS SOUS 3799 HAS SOUPS 3799 WITH SCORE 3803.247
AT ITER 42 NEW BEST:: SOT 12999 SOS 4246 HAS SOPS 4246 HAS SOUS 3798 HAS SOUPS 3798 WITH SCORE 3802.246
AT ITER 56 NEW BEST:: SOT 13000 SOS 4229 HAS SOPS 4229 HAS SOUS 3756 HAS SOUPS 3756 WITH SCORE 3760.229
AT ITER 63 NEW BEST:: SOT 13000 SOS 4215 HAS SOPS 4215 HAS SOUS 3749 HAS SOUPS 3749 WITH SCORE 3753.215
AT ITER 83 NEW BEST:: SOT 13000 SOS 4230 HAS SOPS 4230 HAS SOUS 3746 HAS SOUPS 3746 WITH SCORE 3750.23
AT ITER 86 NEW BEST:: SOT 12993 SOS 4213 HAS SOPS 4213 HAS SOUS 3729 HAS SOUPS 3729 WITH SCORE 3733.213
AT ITER 88 NEW BEST:: SOT 12980 SOS 4187 HAS SOPS 4187 HAS SOUS 3703 HAS SOUPS 3703 WITH SCORE 3707.187
AT ITER 90 NEW BEST:: SOT 12981 SOS 4159 HAS SOPS 4159 HAS SOUS 3689 HAS SOUPS 3689 WITH SCORE 3693.159
AT ITER 95 NEW BEST:: SOT 12981 SOS 4163 HAS SOPS 4163 HAS SOUS 3688 HAS SOUPS 3688 WITH SCORE 3692.163
AT ITER 122 NEW BEST:: SOT 12966 SOS 4157 HAS SOPS 4157 HAS SOUS 3673 HAS SOUPS 3673 WITH SCORE 3677.157
AT ITER 127 NEW BEST:: SOT 12953 SOS 4104 HAS SOPS 4104 HAS SOUS 3605 HAS SOUPS 3605 WITH SCORE 3609.104
AT ITER 148 NEW BEST:: SOT 12933 SOS 4044 HAS SOPS 4044 HAS SOUS 3565 HAS SOUPS 3565 WITH SCORE 3569.044
AT ITER 162 NEW BEST:: SOT 12914 SOS 3987 HAS SOPS 3987 HAS SOUS 3508 HAS SOUPS 3508 WITH SCORE 3511.987
AT ITER 173 NEW BEST:: SOT 12914 SOS 3980 HAS SOPS 3980 HAS SOUS 3494 HAS SOUPS 3494 WITH SCORE 3497.98
AT ITER 175 NEW BEST:: SOT 12898 SOS 3948 HAS SOPS 3948 HAS SOUS 3451 HAS SOUPS 3451 WITH SCORE 3454.948
AT ITER 177 NEW BEST:: SOT 12895 SOS 3942 HAS SOPS 3942 HAS SOUS 3448 HAS SOUPS 3448 WITH SCORE 3451.942
AT ITER 197 NEW BEST:: SOT 12887 SOS 3934 HAS SOPS 3934 HAS SOUS 3440 HAS SOUPS 3440 WITH SCORE 3443.934
AT ITER 222 NEW BEST:: SOT 12885 SOS 3932 HAS SOPS 3932 HAS SOUS 3438 HAS SOUPS 3438 WITH SCORE 3441.932
AT ITER 230 NEW BEST:: SOT 12895 SOS 3941 HAS SOPS 3941 HAS SOUS 3437 HAS SOUPS 3437 WITH SCORE 3440.941
AT ITER 240 NEW BEST:: SOT 12887 SOS 3913 HAS SOPS 3913 HAS SOUS 3421 HAS SOUPS 3421 WITH SCORE 3424.913
AT ITER 243 NEW BEST:: SOT 12911 SOS 3867 HAS SOPS 3867 HAS SOUS 3386 HAS SOUPS 3386 WITH SCORE 3389.867
AT ITER 252 NEW BEST:: SOT 12889 SOS 3823 HAS SOPS 3823 HAS SOUS 3368 HAS SOUPS 3368 WITH SCORE 3371.823
AT ITER 264 NEW BEST:: SOT 12889 SOS 3795 HAS SOPS 3795 HAS SOUS 3354 HAS SOUPS 3354 WITH SCORE 3357.795
AT ITER 269 NEW BEST:: SOT 12889 SOS 3785 HAS SOPS 3785 HAS SOUS 3344 HAS SOUPS 3344 WITH SCORE 3347.785
AT ITER 287 NEW BEST:: SOT 12889 SOS 3785 HAS SOPS 3785 HAS SOUS 3336 HAS SOUPS 3336 WITH SCORE 3339.785
AT ITER 300 NEW BEST:: SOT 12875 SOS 3732 HAS SOPS 3732 HAS SOUS 3311 HAS SOUPS 3311 WITH SCORE 3314.732
AT ITER 302 NEW BEST:: SOT 12875 SOS 3714 HAS SOPS 3714 HAS SOUS 3293 HAS SOUPS 3293 WITH SCORE 3296.714
AT ITER 304 NEW BEST:: SOT 12864 SOS 3710 HAS SOPS 3710 HAS SOUS 3282 HAS SOUPS 3282 WITH SCORE 3285.71
AT ITER 305 NEW BEST:: SOT 12863 SOS 3718 HAS SOPS 3718 HAS SOUS 3281 HAS SOUPS 3281 WITH SCORE 3284.718
AT ITER 313 NEW BEST:: SOT 12836 SOS 3698 HAS SOPS 3698 HAS SOUS 3261 HAS SOUPS 3261 WITH SCORE 3264.698
AT ITER 325 NEW BEST:: SOT 12830 SOS 3686 HAS SOPS 3686 HAS SOUS 3255 HAS SOUPS 3255 WITH SCORE 3258.686
AT ITER 334 NEW BEST:: SOT 12820 SOS 3656 HAS SOPS 3656 HAS SOUS 3225 HAS SOUPS 3225 WITH SCORE 3228.656
AT ITER 335 NEW BEST:: SOT 12805 SOS 3595 HAS SOPS 3595 HAS SOUS 3195 HAS SOUPS 3195 WITH SCORE 3198.595
AT ITER 346 NEW BEST:: SOT 12805 SOS 3581 HAS SOPS 3581 HAS SOUS 3195 HAS SOUPS 3195 WITH SCORE 3198.581
AT ITER 349 NEW BEST:: SOT 12811 SOS 3547 HAS SOPS 3547 HAS SOUS 3191 HAS SOUPS 3191 WITH SCORE 3194.547
AT ITER 367 NEW BEST:: SOT 12811 SOS 3546 HAS SOPS 3546 HAS SOUS 3190 HAS SOUPS 3190 WITH SCORE 3193.546
AT ITER 394 NEW BEST:: SOT 12827 SOS 3551 HAS SOPS 3551 HAS SOUS 3159 HAS SOUPS 3159 WITH SCORE 3162.551
AT ITER 412 NEW BEST:: SOT 12822 SOS 3541 HAS SOPS 3541 HAS SOUS 3154 HAS SOUPS 3154 WITH SCORE 3157.541
AT ITER 433 NEW BEST:: SOT 12824 SOS 3537 HAS SOPS 3537 HAS SOUS 3152 HAS SOUPS 3152 WITH SCORE 3155.537
AT ITER 438 NEW BEST:: SOT 12820 SOS 3520 HAS SOPS 3520 HAS SOUS 3144 HAS SOUPS 3144 WITH SCORE 3147.52
AT ITER 496 NEW BEST:: SOT 12824 SOS 3492 HAS SOPS 3492 HAS SOUS 3130 HAS SOUPS 3130 WITH SCORE 3133.492
AT ITER 514 NEW BEST:: SOT 12824 SOS 3482 HAS SOPS 3482 HAS SOUS 3124 HAS SOUPS 3124 WITH SCORE 3127.482
AT ITER 524 NEW BEST:: SOT 12811 SOS 3456 HAS SOPS 3456 HAS SOUS 3080 HAS SOUPS 3080 WITH SCORE 3083.456
AT ITER 585 NEW BEST:: SOT 12810 SOS 3453 HAS SOPS 3453 HAS SOUS 3078 HAS SOUPS 3078 WITH SCORE 3081.453
AT ITER 595 NEW BEST:: SOT 12796 SOS 3396 HAS SOPS 3396 HAS SOUS 3050 HAS SOUPS 3050 WITH SCORE 3053.396
AT ITER 607 NEW BEST:: SOT 12796 SOS 3392 HAS SOPS 3392 HAS SOUS 3050 HAS SOUPS 3050 WITH SCORE 3053.392
AT ITER 632 NEW BEST:: SOT 12792 SOS 3384 HAS SOPS 3384 HAS SOUS 3031 HAS SOUPS 3031 WITH SCORE 3034.384
AT ITER 645 NEW BEST:: SOT 12792 SOS 3377 HAS SOPS 3377 HAS SOUS 3030 HAS SOUPS 3030 WITH SCORE 3033.377
AT ITER 651 NEW BEST:: SOT 12785 SOS 3363 HAS SOPS 3363 HAS SOUS 3016 HAS SOUPS 3016 WITH SCORE 3019.363
AT ITER 661 NEW BEST:: SOT 12777 SOS 3355 HAS SOPS 3355 HAS SOUS 3008 HAS SOUPS 3008 WITH SCORE 3011.355
AT ITER 687 NEW BEST:: SOT 12777 SOS 3341 HAS SOPS 3341 HAS SOUS 2997 HAS SOUPS 2997 WITH SCORE 3000.341
AT ITER 720 NEW BEST:: SOT 12776 SOS 3334 HAS SOPS 3334 HAS SOUS 2990 HAS SOUPS 2990 WITH SCORE 2993.334
AT ITER 755 NEW BEST:: SOT 12775 SOS 3332 HAS SOPS 3332 HAS SOUS 2988 HAS SOUPS 2988 WITH SCORE 2991.332
AT ITER 757 NEW BEST:: SOT 12771 SOS 3313 HAS SOPS 3313 HAS SOUS 2987 HAS SOUPS 2987 WITH SCORE 2990.313
AT ITER 802 NEW BEST:: SOT 12774 SOS 3315 HAS SOPS 3315 HAS SOUS 2983 HAS SOUPS 2983 WITH SCORE 2986.315
AT ITER 836 NEW BEST:: SOT 12772 SOS 3312 HAS SOPS 3312 HAS SOUS 2980 HAS SOUPS 2980 WITH SCORE 2983.312
AT ITER 907 NEW BEST:: SOT 12763 SOS 3300 HAS SOPS 3300 HAS SOUS 2968 HAS SOUPS 2968 WITH SCORE 2971.3
AT ITER 929 NEW BEST:: SOT 12763 SOS 3299 HAS SOPS 3299 HAS SOUS 2967 HAS SOUPS 2967 WITH SCORE 2970.299
AT ITER 941 NEW BEST:: SOT 12731 SOS 3235 HAS SOPS 3235 HAS SOUS 2936 HAS SOUPS 2936 WITH SCORE 2939.235
AT ITER 955 NEW BEST:: SOT 12724 SOS 3236 HAS SOPS 3236 HAS SOUS 2929 HAS SOUPS 2929 WITH SCORE 2932.236
AT ITER 1006 NEW BEST:: SOT 12733 SOS 3249 HAS SOPS 3249 HAS SOUS 2926 HAS SOUPS 2926 WITH SCORE 2929.249
AT ITER 1033 NEW BEST:: SOT 12732 SOS 3229 HAS SOPS 3229 HAS SOUS 2924 HAS SOUPS 2924 WITH SCORE 2927.229
AT ITER 1041 NEW BEST:: SOT 12716 SOS 3213 HAS SOPS 3213 HAS SOUS 2908 HAS SOUPS 2908 WITH SCORE 2911.213
AT ITER 1047 NEW BEST:: SOT 12718 SOS 3209 HAS SOPS 3209 HAS SOUS 2907 HAS SOUPS 2907 WITH SCORE 2910.209
AT ITER 1050 NEW BEST:: SOT 12715 SOS 3203 HAS SOPS 3203 HAS SOUS 2901 HAS SOUPS 2901 WITH SCORE 2904.203
AT ITER 1052 NEW BEST:: SOT 12705 SOS 3193 HAS SOPS 3193 HAS SOUS 2875 HAS SOUPS 2875 WITH SCORE 2878.193
AT ITER 1090 NEW BEST:: SOT 12705 SOS 3191 HAS SOPS 3191 HAS SOUS 2871 HAS SOUPS 2871 WITH SCORE 2874.191
AT ITER 1102 NEW BEST:: SOT 12705 SOS 3186 HAS SOPS 3186 HAS SOUS 2866 HAS SOUPS 2866 WITH SCORE 2869.186
AT ITER 1103 NEW BEST:: SOT 12698 SOS 3172 HAS SOPS 3172 HAS SOUS 2857 HAS SOUPS 2857 WITH SCORE 2860.172
AT ITER 1173 NEW BEST:: SOT 12698 SOS 3157 HAS SOPS 3157 HAS SOUS 2842 HAS SOUPS 2842 WITH SCORE 2845.157
AT ITER 1174 NEW BEST:: SOT 12698 SOS 3157 HAS SOPS 3157 HAS SOUS 2839 HAS SOUPS 2839 WITH SCORE 2842.157
AT ITER 1190 NEW BEST:: SOT 12688 SOS 3124 HAS SOPS 3124 HAS SOUS 2806 HAS SOUPS 2806 WITH SCORE 2809.124
AT ITER 1203 NEW BEST:: SOT 12688 SOS 3116 HAS SOPS 3116 HAS SOUS 2798 HAS SOUPS 2798 WITH SCORE 2801.116
AT ITER 1298 NEW BEST:: SOT 12669 SOS 3118 HAS SOPS 3118 HAS SOUS 2780 HAS SOUPS 2780 WITH SCORE 2783.118
AT ITER 1301 NEW BEST:: SOT 12665 SOS 3114 HAS SOPS 3114 HAS SOUS 2772 HAS SOUPS 2772 WITH SCORE 2775.114
AT ITER 1329 NEW BEST:: SOT 12696 SOS 3176 HAS SOPS 3176 HAS SOUS 2770 HAS SOUPS 2770 WITH SCORE 2773.176
AT ITER 1330 NEW BEST:: SOT 12695 SOS 3174 HAS SOPS 3174 HAS SOUS 2769 HAS SOUPS 2769 WITH SCORE 2772.174
AT ITER 1344 NEW BEST:: SOT 12692 SOS 3171 HAS SOPS 3171 HAS SOUS 2766 HAS SOUPS 2766 WITH SCORE 2769.171
AT ITER 1396 NEW BEST:: SOT 12690 SOS 3159 HAS SOPS 3159 HAS SOUS 2764 HAS SOUPS 2764 WITH SCORE 2767.159
AT ITER 1443 NEW BEST:: SOT 12689 SOS 3158 HAS SOPS 3158 HAS SOUS 2763 HAS SOUPS 2763 WITH SCORE 2766.158
AT ITER 1448 NEW BEST:: SOT 12688 SOS 3135 HAS SOPS 3135 HAS SOUS 2757 HAS SOUPS 2757 WITH SCORE 2760.135
AT ITER 1492 NEW BEST:: SOT 12688 SOS 3132 HAS SOPS 3132 HAS SOUS 2757 HAS SOUPS 2757 WITH SCORE 2760.132
AT ITER 1496 NEW BEST:: SOT 12677 SOS 3110 HAS SOPS 3110 HAS SOUS 2746 HAS SOUPS 2746 WITH SCORE 2749.11
AT ITER 1511 NEW BEST:: SOT 12676 SOS 3108 HAS SOPS 3108 HAS SOUS 2744 HAS SOUPS 2744 WITH SCORE 2747.108
AT ITER 1514 NEW BEST:: SOT 12668 SOS 3100 HAS SOPS 3100 HAS SOUS 2741 HAS SOUPS 2741 WITH SCORE 2744.1
AT ITER 1515 NEW BEST:: SOT 12651 SOS 3066 HAS SOPS 3066 HAS SOUS 2736 HAS SOUPS 2736 WITH SCORE 2739.066
AT ITER 1572 NEW BEST:: SOT 12647 SOS 3062 HAS SOPS 3062 HAS SOUS 2732 HAS SOUPS 2732 WITH SCORE 2735.062
AT ITER 1597 NEW BEST:: SOT 12652 SOS 3090 HAS SOPS 3090 HAS SOUS 2727 HAS SOUPS 2727 WITH SCORE 2730.09
AT ITER 1626 NEW BEST:: SOT 12647 SOS 3080 HAS SOPS 3080 HAS SOUS 2722 HAS SOUPS 2722 WITH SCORE 2725.08
AT ITER 1681 NEW BEST:: SOT 12639 SOS 3086 HAS SOPS 3086 HAS SOUS 2720 HAS SOUPS 2720 WITH SCORE 2723.086
AT ITER 1685 NEW BEST:: SOT 12654 SOS 3082 HAS SOPS 3082 HAS SOUS 2716 HAS SOUPS 2716 WITH SCORE 2719.082
AT ITER 1734 NEW BEST:: SOT 12651 SOS 3066 HAS SOPS 3066 HAS SOUS 2705 HAS SOUPS 2705 WITH SCORE 2708.066
AT ITER 1735 NEW BEST:: SOT 12647 SOS 3058 HAS SOPS 3058 HAS SOUS 2698 HAS SOUPS 2698 WITH SCORE 2701.058
AT ITER 1746 NEW BEST:: SOT 12645 SOS 3054 HAS SOPS 3054 HAS SOUS 2696 HAS SOUPS 2696 WITH SCORE 2699.054
AT ITER 1748 NEW BEST:: SOT 12645 SOS 3053 HAS SOPS 3053 HAS SOUS 2695 HAS SOUPS 2695 WITH SCORE 2698.053
AT ITER 1763 NEW BEST:: SOT 12645 SOS 3056 HAS SOPS 3056 HAS SOUS 2692 HAS SOUPS 2692 WITH SCORE 2695.056
AT ITER 1832 NEW BEST:: SOT 12649 SOS 3067 HAS SOPS 3067 HAS SOUS 2691 HAS SOUPS 2691 WITH SCORE 2694.067
AT ITER 1889 NEW BEST:: SOT 12649 SOS 3067 HAS SOPS 3067 HAS SOUS 2689 HAS SOUPS 2689 WITH SCORE 2692.067
AT ITER 1917 NEW BEST:: SOT 12622 SOS 3051 HAS SOPS 3051 HAS SOUS 2666 HAS SOUPS 2666 WITH SCORE 2669.051
AT ITER 1937 NEW BEST:: SOT 12622 SOS 3035 HAS SOPS 3035 HAS SOUS 2658 HAS SOUPS 2658 WITH SCORE 2661.035
AT ITER 1944 NEW BEST:: SOT 12622 SOS 3035 HAS SOPS 3035 HAS SOUS 2655 HAS SOUPS 2655 WITH SCORE 2658.035
AT ITER 2023 NEW BEST:: SOT 12614 SOS 2990 HAS SOPS 2990 HAS SOUS 2636 HAS SOUPS 2636 WITH SCORE 2638.99
AT ITER 2024 NEW BEST:: SOT 12629 SOS 2997 HAS SOPS 2997 HAS SOUS 2632 HAS SOUPS 2632 WITH SCORE 2634.997
AT ITER 2042 NEW BEST:: SOT 12629 SOS 2996 HAS SOPS 2996 HAS SOUS 2631 HAS SOUPS 2631 WITH SCORE 2633.996
AT ITER 2069 NEW BEST:: SOT 12627 SOS 2992 HAS SOPS 2992 HAS SOUS 2627 HAS SOUPS 2627 WITH SCORE 2629.992
AT ITER 2077 NEW BEST:: SOT 12627 SOS 2995 HAS SOPS 2995 HAS SOUS 2625 HAS SOUPS 2625 WITH SCORE 2627.995
AT ITER 2106 NEW BEST:: SOT 12624 SOS 2982 HAS SOPS 2982 HAS SOUS 2620 HAS SOUPS 2620 WITH SCORE 2622.982
AT ITER 2108 NEW BEST:: SOT 12618 SOS 2970 HAS SOPS 2970 HAS SOUS 2614 HAS SOUPS 2614 WITH SCORE 2616.97
AT ITER 2204 NEW BEST:: SOT 12617 SOS 2918 HAS SOPS 2918 HAS SOUS 2601 HAS SOUPS 2601 WITH SCORE 2603.918
AT ITER 2223 NEW BEST:: SOT 12584 SOS 2897 HAS SOPS 2897 HAS SOUS 2571 HAS SOUPS 2571 WITH SCORE 2573.897
AT ITER 2224 NEW BEST:: SOT 12578 SOS 2891 HAS SOPS 2891 HAS SOUS 2565 HAS SOUPS 2565 WITH SCORE 2567.891
AT ITER 2239 NEW BEST:: SOT 12577 SOS 2874 HAS SOPS 2874 HAS SOUS 2548 HAS SOUPS 2548 WITH SCORE 2550.874
AT ITER 2249 NEW BEST:: SOT 12576 SOS 2872 HAS SOPS 2872 HAS SOUS 2546 HAS SOUPS 2546 WITH SCORE 2548.872
AT ITER 2252 NEW BEST:: SOT 12570 SOS 2854 HAS SOPS 2854 HAS SOUS 2545 HAS SOUPS 2545 WITH SCORE 2547.854
AT ITER 2264 NEW BEST:: SOT 12572 SOS 2853 HAS SOPS 2853 HAS SOUS 2544 HAS SOUPS 2544 WITH SCORE 2546.853
AT ITER 2324 NEW BEST:: SOT 12567 SOS 2847 HAS SOPS 2847 HAS SOUS 2538 HAS SOUPS 2538 WITH SCORE 2540.847
AT ITER 2350 NEW BEST:: SOT 12567 SOS 2867 HAS SOPS 2867 HAS SOUS 2536 HAS SOUPS 2536 WITH SCORE 2538.867
AT ITER 2356 NEW BEST:: SOT 12563 SOS 2859 HAS SOPS 2859 HAS SOUS 2535 HAS SOUPS 2535 WITH SCORE 2537.859
AT ITER 2402 NEW BEST:: SOT 12551 SOS 2808 HAS SOPS 2808 HAS SOUS 2496 HAS SOUPS 2496 WITH SCORE 2498.808
AT ITER 2431 NEW BEST:: SOT 12550 SOS 2806 HAS SOPS 2806 HAS SOUS 2495 HAS SOUPS 2495 WITH SCORE 2497.806
AT ITER 2441 NEW BEST:: SOT 12549 SOS 2805 HAS SOPS 2805 HAS SOUS 2494 HAS SOUPS 2494 WITH SCORE 2496.805
AT ITER 2447 NEW BEST:: SOT 12549 SOS 2779 HAS SOPS 2779 HAS SOUS 2481 HAS SOUPS 2481 WITH SCORE 2483.779
AT ITER 2450 NEW BEST:: SOT 12550 SOS 2777 HAS SOPS 2777 HAS SOUS 2481 HAS SOUPS 2481 WITH SCORE 2483.777
AT ITER 2507 NEW BEST:: SOT 12549 SOS 2775 HAS SOPS 2775 HAS SOUS 2480 HAS SOUPS 2480 WITH SCORE 2482.775
AT ITER 2541 NEW BEST:: SOT 12550 SOS 2755 HAS SOPS 2755 HAS SOUS 2471 HAS SOUPS 2471 WITH SCORE 2473.755
AT ITER 2546 NEW BEST:: SOT 12561 SOS 2762 HAS SOPS 2762 HAS SOUS 2467 HAS SOUPS 2467 WITH SCORE 2469.762
AT ITER 2547 NEW BEST:: SOT 12561 SOS 2756 HAS SOPS 2756 HAS SOUS 2461 HAS SOUPS 2461 WITH SCORE 2463.756
AT ITER 2590 NEW BEST:: SOT 12550 SOS 2745 HAS SOPS 2745 HAS SOUS 2461 HAS SOUPS 2461 WITH SCORE 2463.745
AT ITER 2613 NEW BEST:: SOT 12548 SOS 2743 HAS SOPS 2743 HAS SOUS 2459 HAS SOUPS 2459 WITH SCORE 2461.743
AT ITER 2666 NEW BEST:: SOT 12536 SOS 2739 HAS SOPS 2739 HAS SOUS 2455 HAS SOUPS 2455 WITH SCORE 2457.739
AT ITER 2719 NEW BEST:: SOT 12535 SOS 2737 HAS SOPS 2737 HAS SOUS 2453 HAS SOUPS 2453 WITH SCORE 2455.737
AT ITER 2723 NEW BEST:: SOT 12520 SOS 2714 HAS SOPS 2714 HAS SOUS 2438 HAS SOUPS 2438 WITH SCORE 2440.714
AT ITER 2749 NEW BEST:: SOT 12518 SOS 2714 HAS SOPS 2714 HAS SOUS 2436 HAS SOUPS 2436 WITH SCORE 2438.714
AT ITER 2832 NEW BEST:: SOT 12515 SOS 2708 HAS SOPS 2708 HAS SOUS 2430 HAS SOUPS 2430 WITH SCORE 2432.708
AT ITER 2835 NEW BEST:: SOT 12511 SOS 2706 HAS SOPS 2706 HAS SOUS 2430 HAS SOUPS 2430 WITH SCORE 2432.706
AT ITER 2842 NEW BEST:: SOT 12486 SOS 2722 HAS SOPS 2722 HAS SOUS 2422 HAS SOUPS 2422 WITH SCORE 2424.722
AT ITER 2881 NEW BEST:: SOT 12485 SOS 2719 HAS SOPS 2719 HAS SOUS 2419 HAS SOUPS 2419 WITH SCORE 2421.719
AT ITER 2890 NEW BEST:: SOT 12485 SOS 2712 HAS SOPS 2712 HAS SOUS 2412 HAS SOUPS 2412 WITH SCORE 2414.712
AT ITER 2970 NEW BEST:: SOT 12485 SOS 2711 HAS SOPS 2711 HAS SOUS 2411 HAS SOUPS 2411 WITH SCORE 2413.711
AT ITER 2988 NEW BEST:: SOT 12485 SOS 2667 HAS SOPS 2667 HAS SOUS 2396 HAS SOUPS 2396 WITH SCORE 2398.667
AT ITER 3083 NEW BEST:: SOT 12485 SOS 2663 HAS SOPS 2663 HAS SOUS 2396 HAS SOUPS 2396 WITH SCORE 2398.663
AT ITER 3133 NEW BEST:: SOT 12482 SOS 2654 HAS SOPS 2654 HAS SOUS 2385 HAS SOUPS 2385 WITH SCORE 2387.654
AT ITER 3177 NEW BEST:: SOT 12473 SOS 2645 HAS SOPS 2645 HAS SOUS 2376 HAS SOUPS 2376 WITH SCORE 2378.645
AT ITER 3226 NEW BEST:: SOT 12468 SOS 2645 HAS SOPS 2645 HAS SOUS 2371 HAS SOUPS 2371 WITH SCORE 2373.645
AT ITER 3229 NEW BEST:: SOT 12475 SOS 2629 HAS SOPS 2629 HAS SOUS 2367 HAS SOUPS 2367 WITH SCORE 2369.629
AT ITER 3271 NEW BEST:: SOT 12461 SOS 2615 HAS SOPS 2615 HAS SOUS 2360 HAS SOUPS 2360 WITH SCORE 2362.615
AT ITER 3292 NEW BEST:: SOT 12457 SOS 2604 HAS SOPS 2604 HAS SOUS 2350 HAS SOUPS 2350 WITH SCORE 2352.604
AT ITER 3315 NEW BEST:: SOT 12457 SOS 2596 HAS SOPS 2596 HAS SOUS 2350 HAS SOUPS 2350 WITH SCORE 2352.596
AT ITER 3332 NEW BEST:: SOT 12459 SOS 2600 HAS SOPS 2600 HAS SOUS 2349 HAS SOUPS 2349 WITH SCORE 2351.6
AT ITER 3347 NEW BEST:: SOT 12459 SOS 2593 HAS SOPS 2593 HAS SOUS 2349 HAS SOUPS 2349 WITH SCORE 2351.593
AT ITER 3493 NEW BEST:: SOT 12458 SOS 2595 HAS SOPS 2595 HAS SOUS 2348 HAS SOUPS 2348 WITH SCORE 2350.595
AT ITER 3508 NEW BEST:: SOT 12454 SOS 2579 HAS SOPS 2579 HAS SOUS 2344 HAS SOUPS 2344 WITH SCORE 2346.579
AT ITER 3547 NEW BEST:: SOT 12464 SOS 2598 HAS SOPS 2598 HAS SOUS 2336 HAS SOUPS 2336 WITH SCORE 2338.598
AT ITER 3557 NEW BEST:: SOT 12464 SOS 2596 HAS SOPS 2596 HAS SOUS 2334 HAS SOUPS 2334 WITH SCORE 2336.596
AT ITER 3565 NEW BEST:: SOT 12462 SOS 2600 HAS SOPS 2600 HAS SOUS 2332 HAS SOUPS 2332 WITH SCORE 2334.6
AT ITER 3582 NEW BEST:: SOT 12462 SOS 2597 HAS SOPS 2597 HAS SOUS 2326 HAS SOUPS 2326 WITH SCORE 2328.597
AT ITER 3648 NEW BEST:: SOT 12442 SOS 2557 HAS SOPS 2557 HAS SOUS 2309 HAS SOUPS 2309 WITH SCORE 2311.557
AT ITER 3656 NEW BEST:: SOT 12437 SOS 2547 HAS SOPS 2547 HAS SOUS 2304 HAS SOUPS 2304 WITH SCORE 2306.547
AT ITER 3665 NEW BEST:: SOT 12427 SOS 2527 HAS SOPS 2527 HAS SOUS 2294 HAS SOUPS 2294 WITH SCORE 2296.527
AT ITER 3671 NEW BEST:: SOT 12427 SOS 2524 HAS SOPS 2524 HAS SOUS 2294 HAS SOUPS 2294 WITH SCORE 2296.524
AT ITER 3674 NEW BEST:: SOT 12426 SOS 2522 HAS SOPS 2522 HAS SOUS 2292 HAS SOUPS 2292 WITH SCORE 2294.522
AT ITER 3708 NEW BEST:: SOT 12424 SOS 2517 HAS SOPS 2517 HAS SOUS 2289 HAS SOUPS 2289 WITH SCORE 2291.517
AT ITER 3760 NEW BEST:: SOT 12423 SOS 2515 HAS SOPS 2515 HAS SOUS 2287 HAS SOUPS 2287 WITH SCORE 2289.515
AT ITER 3763 NEW BEST:: SOT 12421 SOS 2460 HAS SOPS 2460 HAS SOUS 2263 HAS SOUPS 2263 WITH SCORE 2265.46
AT ITER 3777 NEW BEST:: SOT 12407 SOS 2447 HAS SOPS 2447 HAS SOUS 2250 HAS SOUPS 2250 WITH SCORE 2252.447
AT ITER 3790 NEW BEST:: SOT 12400 SOS 2459 HAS SOPS 2459 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2245.459
AT ITER 3820 NEW BEST:: SOT 12397 SOS 2453 HAS SOPS 2453 HAS SOUS 2227 HAS SOUPS 2227 WITH SCORE 2229.453
AT ITER 3874 NEW BEST:: SOT 12395 SOS 2451 HAS SOPS 2451 HAS SOUS 2225 HAS SOUPS 2225 WITH SCORE 2227.451
AT ITER 3875 NEW BEST:: SOT 12393 SOS 2447 HAS SOPS 2447 HAS SOUS 2224 HAS SOUPS 2224 WITH SCORE 2226.447
AT ITER 3935 NEW BEST:: SOT 12392 SOS 2446 HAS SOPS 2446 HAS SOUS 2223 HAS SOUPS 2223 WITH SCORE 2225.446
AT ITER 4023 NEW BEST:: SOT 12392 SOS 2433 HAS SOPS 2433 HAS SOUS 2214 HAS SOUPS 2214 WITH SCORE 2216.433
AT ITER 4061 NEW BEST:: SOT 12392 SOS 2430 HAS SOPS 2430 HAS SOUS 2211 HAS SOUPS 2211 WITH SCORE 2213.43
AT ITER 4071 NEW BEST:: SOT 12381 SOS 2416 HAS SOPS 2416 HAS SOUS 2200 HAS SOUPS 2200 WITH SCORE 2202.416
AT ITER 4140 NEW BEST:: SOT 12378 SOS 2410 HAS SOPS 2410 HAS SOUS 2197 HAS SOUPS 2197 WITH SCORE 2199.41
AT ITER 4145 NEW BEST:: SOT 12372 SOS 2398 HAS SOPS 2398 HAS SOUS 2191 HAS SOUPS 2191 WITH SCORE 2193.398
AT ITER 4150 NEW BEST:: SOT 12373 SOS 2396 HAS SOPS 2396 HAS SOUS 2190 HAS SOUPS 2190 WITH SCORE 2192.396
AT ITER 4273 NEW BEST:: SOT 12373 SOS 2391 HAS SOPS 2391 HAS SOUS 2190 HAS SOUPS 2190 WITH SCORE 2192.391
AT ITER 4303 NEW BEST:: SOT 12373 SOS 2387 HAS SOPS 2387 HAS SOUS 2190 HAS SOUPS 2190 WITH SCORE 2192.387
AT ITER 4316 NEW BEST:: SOT 12373 SOS 2383 HAS SOPS 2383 HAS SOUS 2190 HAS SOUPS 2190 WITH SCORE 2192.383
AT ITER 4319 NEW BEST:: SOT 12371 SOS 2379 HAS SOPS 2379 HAS SOUS 2187 HAS SOUPS 2187 WITH SCORE 2189.379
AT ITER 4380 NEW BEST:: SOT 12374 SOS 2380 HAS SOPS 2380 HAS SOUS 2183 HAS SOUPS 2183 WITH SCORE 2185.38
AT ITER 4403 NEW BEST:: SOT 12373 SOS 2379 HAS SOPS 2379 HAS SOUS 2182 HAS SOUPS 2182 WITH SCORE 2184.379
AT ITER 4434 NEW BEST:: SOT 12370 SOS 2382 HAS SOPS 2382 HAS SOUS 2181 HAS SOUPS 2181 WITH SCORE 2183.382
AT ITER 4492 NEW BEST:: SOT 12370 SOS 2380 HAS SOPS 2380 HAS SOUS 2179 HAS SOUPS 2179 WITH SCORE 2181.38
AT ITER 4496 NEW BEST:: SOT 12370 SOS 2378 HAS SOPS 2378 HAS SOUS 2177 HAS SOUPS 2177 WITH SCORE 2179.378
AT ITER 4538 NEW BEST:: SOT 12361 SOS 2370 HAS SOPS 2370 HAS SOUS 2175 HAS SOUPS 2175 WITH SCORE 2177.37
AT ITER 4589 NEW BEST:: SOT 12372 SOS 2392 HAS SOPS 2392 HAS SOUS 2173 HAS SOUPS 2173 WITH SCORE 2175.392
AT ITER 4683 NEW BEST:: SOT 12368 SOS 2380 HAS SOPS 2380 HAS SOUS 2165 HAS SOUPS 2165 WITH SCORE 2167.38
AT ITER 4689 NEW BEST:: SOT 12367 SOS 2366 HAS SOPS 2366 HAS SOUS 2150 HAS SOUPS 2150 WITH SCORE 2152.366
AT ITER 4726 NEW BEST:: SOT 12366 SOS 2365 HAS SOPS 2365 HAS SOUS 2150 HAS SOUPS 2150 WITH SCORE 2152.365
AT ITER 4753 NEW BEST:: SOT 12365 SOS 2364 HAS SOPS 2364 HAS SOUS 2149 HAS SOUPS 2149 WITH SCORE 2151.364
AT ITER 4762 NEW BEST:: SOT 12358 SOS 2364 HAS SOPS 2364 HAS SOUS 2142 HAS SOUPS 2142 WITH SCORE 2144.364
AT ITER 4769 NEW BEST:: SOT 12358 SOS 2363 HAS SOPS 2363 HAS SOUS 2142 HAS SOUPS 2142 WITH SCORE 2144.363
AT ITER 4838 NEW BEST:: SOT 12355 SOS 2365 HAS SOPS 2365 HAS SOUS 2139 HAS SOUPS 2139 WITH SCORE 2141.365
AT ITER 4866 NEW BEST:: SOT 12357 SOS 2369 HAS SOPS 2369 HAS SOUS 2133 HAS SOUPS 2133 WITH SCORE 2135.369
AT ITER 4885 NEW BEST:: SOT 12357 SOS 2368 HAS SOPS 2368 HAS SOUS 2132 HAS SOUPS 2132 WITH SCORE 2134.368
AT ITER 4969 NEW BEST:: SOT 12358 SOS 2366 HAS SOPS 2366 HAS SOUS 2130 HAS SOUPS 2130 WITH SCORE 2132.366
AT ITER 5017 NEW BEST:: SOT 12349 SOS 2341 HAS SOPS 2341 HAS SOUS 2118 HAS SOUPS 2118 WITH SCORE 2120.341
AT ITER 5037 NEW BEST:: SOT 12349 SOS 2341 HAS SOPS 2341 HAS SOUS 2116 HAS SOUPS 2116 WITH SCORE 2118.341
AT ITER 5064 NEW BEST:: SOT 12349 SOS 2341 HAS SOPS 2341 HAS SOUS 2113 HAS SOUPS 2113 WITH SCORE 2115.341
AT ITER 5068 NEW BEST:: SOT 12349 SOS 2340 HAS SOPS 2340 HAS SOUS 2112 HAS SOUPS 2112 WITH SCORE 2114.34
AT ITER 5081 NEW BEST:: SOT 12346 SOS 2338 HAS SOPS 2338 HAS SOUS 2106 HAS SOUPS 2106 WITH SCORE 2108.338
AT ITER 5117 NEW BEST:: SOT 12344 SOS 2337 HAS SOPS 2337 HAS SOUS 2105 HAS SOUPS 2105 WITH SCORE 2107.337
AT ITER 5278 NEW BEST:: SOT 12333 SOS 2335 HAS SOPS 2335 HAS SOUS 2094 HAS SOUPS 2094 WITH SCORE 2096.335
AT ITER 5300 NEW BEST:: SOT 12333 SOS 2334 HAS SOPS 2334 HAS SOUS 2093 HAS SOUPS 2093 WITH SCORE 2095.334
AT ITER 5325 NEW BEST:: SOT 12332 SOS 2333 HAS SOPS 2333 HAS SOUS 2092 HAS SOUPS 2092 WITH SCORE 2094.333
AT ITER 5346 NEW BEST:: SOT 12332 SOS 2333 HAS SOPS 2333 HAS SOUS 2089 HAS SOUPS 2089 WITH SCORE 2091.333
AT ITER 5422 NEW BEST:: SOT 12330 SOS 2332 HAS SOPS 2332 HAS SOUS 2088 HAS SOUPS 2088 WITH SCORE 2090.332
AT ITER 5437 NEW BEST:: SOT 12329 SOS 2328 HAS SOPS 2328 HAS SOUS 2086 HAS SOUPS 2086 WITH SCORE 2088.328
AT ITER 5440 NEW BEST:: SOT 12328 SOS 2320 HAS SOPS 2320 HAS SOUS 2078 HAS SOUPS 2078 WITH SCORE 2080.32
AT ITER 5454 NEW BEST:: SOT 12328 SOS 2320 HAS SOPS 2320 HAS SOUS 2074 HAS SOUPS 2074 WITH SCORE 2076.32
AT ITER 5462 NEW BEST:: SOT 12326 SOS 2318 HAS SOPS 2318 HAS SOUS 2072 HAS SOUPS 2072 WITH SCORE 2074.318
AT ITER 5505 NEW BEST:: SOT 12325 SOS 2316 HAS SOPS 2316 HAS SOUS 2071 HAS SOUPS 2071 WITH SCORE 2073.316
AT ITER 5565 NEW BEST:: SOT 12323 SOS 2314 HAS SOPS 2314 HAS SOUS 2071 HAS SOUPS 2071 WITH SCORE 2073.314
AT ITER 5575 NEW BEST:: SOT 12322 SOS 2313 HAS SOPS 2313 HAS SOUS 2071 HAS SOUPS 2071 WITH SCORE 2073.313
AT ITER 5612 NEW BEST:: SOT 12317 SOS 2308 HAS SOPS 2308 HAS SOUS 2071 HAS SOUPS 2071 WITH SCORE 2073.308
AT ITER 5643 NEW BEST:: SOT 12317 SOS 2305 HAS SOPS 2305 HAS SOUS 2070 HAS SOUPS 2070 WITH SCORE 2072.305
AT ITER 5663 NEW BEST:: SOT 12317 SOS 2303 HAS SOPS 2303 HAS SOUS 2069 HAS SOUPS 2069 WITH SCORE 2071.303
AT ITER 5709 NEW BEST:: SOT 12317 SOS 2298 HAS SOPS 2298 HAS SOUS 2064 HAS SOUPS 2064 WITH SCORE 2066.298
AT ITER 5732 NEW BEST:: SOT 12317 SOS 2284 HAS SOPS 2284 HAS SOUS 2064 HAS SOUPS 2064 WITH SCORE 2066.284
AT ITER 5752 NEW BEST:: SOT 12313 SOS 2276 HAS SOPS 2276 HAS SOUS 2056 HAS SOUPS 2056 WITH SCORE 2058.276
AT ITER 5777 NEW BEST:: SOT 12311 SOS 2272 HAS SOPS 2272 HAS SOUS 2054 HAS SOUPS 2054 WITH SCORE 2056.272
AT ITER 5787 NEW BEST:: SOT 12309 SOS 2268 HAS SOPS 2268 HAS SOUS 2052 HAS SOUPS 2052 WITH SCORE 2054.268
AT ITER 5866 NEW BEST:: SOT 12295 SOS 2247 HAS SOPS 2247 HAS SOUS 2038 HAS SOUPS 2038 WITH SCORE 2040.247
AT ITER 5926 NEW BEST:: SOT 12295 SOS 2238 HAS SOPS 2238 HAS SOUS 2038 HAS SOUPS 2038 WITH SCORE 2040.238
AT ITER 5933 NEW BEST:: SOT 12293 SOS 2231 HAS SOPS 2231 HAS SOUS 2034 HAS SOUPS 2034 WITH SCORE 2036.231
AT ITER 5978 NEW BEST:: SOT 12291 SOS 2238 HAS SOPS 2238 HAS SOUS 2032 HAS SOUPS 2032 WITH SCORE 2034.238
AT ITER 6010 NEW BEST:: SOT 12290 SOS 2233 HAS SOPS 2233 HAS SOUS 2027 HAS SOUPS 2027 WITH SCORE 2029.233
AT ITER 6029 NEW BEST:: SOT 12288 SOS 2231 HAS SOPS 2231 HAS SOUS 2025 HAS SOUPS 2025 WITH SCORE 2027.231
AT ITER 6115 NEW BEST:: SOT 12287 SOS 2231 HAS SOPS 2231 HAS SOUS 2023 HAS SOUPS 2023 WITH SCORE 2025.231
AT ITER 6343 NEW BEST:: SOT 12284 SOS 2225 HAS SOPS 2225 HAS SOUS 2020 HAS SOUPS 2020 WITH SCORE 2022.225
AT ITER 6562 NEW BEST:: SOT 12284 SOS 2222 HAS SOPS 2222 HAS SOUS 2020 HAS SOUPS 2020 WITH SCORE 2022.222
AT ITER 6702 NEW BEST:: SOT 12284 SOS 2219 HAS SOPS 2219 HAS SOUS 2018 HAS SOUPS 2018 WITH SCORE 2020.219
AT ITER 6731 NEW BEST:: SOT 12284 SOS 2217 HAS SOPS 2217 HAS SOUS 2018 HAS SOUPS 2018 WITH SCORE 2020.217
AT ITER 6789 NEW BEST:: SOT 12282 SOS 2211 HAS SOPS 2211 HAS SOUS 2014 HAS SOUPS 2014 WITH SCORE 2016.211
AT ITER 6864 NEW BEST:: SOT 12278 SOS 2207 HAS SOPS 2207 HAS SOUS 2009 HAS SOUPS 2009 WITH SCORE 2011.207
AT ITER 6914 NEW BEST:: SOT 12270 SOS 2191 HAS SOPS 2191 HAS SOUS 2000 HAS SOUPS 2000 WITH SCORE 2002.191
AT ITER 6969 NEW BEST:: SOT 12271 SOS 2179 HAS SOPS 2179 HAS SOUS 1995 HAS SOUPS 1995 WITH SCORE 1997.179
AT ITER 7025 NEW BEST:: SOT 12265 SOS 2183 HAS SOPS 2183 HAS SOUS 1993 HAS SOUPS 1993 WITH SCORE 1995.183
AT ITER 7034 NEW BEST:: SOT 12265 SOS 2178 HAS SOPS 2178 HAS SOUS 1993 HAS SOUPS 1993 WITH SCORE 1995.178
AT ITER 7154 NEW BEST:: SOT 12263 SOS 2178 HAS SOPS 2178 HAS SOUS 1991 HAS SOUPS 1991 WITH SCORE 1993.178
AT ITER 7306 NEW BEST:: SOT 12263 SOS 2176 HAS SOPS 2176 HAS SOUS 1991 HAS SOUPS 1991 WITH SCORE 1993.176
AT ITER 7340 NEW BEST:: SOT 12263 SOS 2156 HAS SOPS 2156 HAS SOUS 1991 HAS SOUPS 1991 WITH SCORE 1993.156
AT ITER 7353 NEW BEST:: SOT 12263 SOS 2155 HAS SOPS 2155 HAS SOUS 1990 HAS SOUPS 1990 WITH SCORE 1992.155
AT ITER 7486 NEW BEST:: SOT 12263 SOS 2153 HAS SOPS 2153 HAS SOUS 1990 HAS SOUPS 1990 WITH SCORE 1992.153
AT ITER 7596 NEW BEST:: SOT 12263 SOS 2154 HAS SOPS 2154 HAS SOUS 1989 HAS SOUPS 1989 WITH SCORE 1991.154
AT ITER 7635 NEW BEST:: SOT 12264 SOS 2156 HAS SOPS 2156 HAS SOUS 1988 HAS SOUPS 1988 WITH SCORE 1990.156
AT ITER 7668 NEW BEST:: SOT 12261 SOS 2150 HAS SOPS 2150 HAS SOUS 1983 HAS SOUPS 1983 WITH SCORE 1985.15
AT ITER 7738 NEW BEST:: SOT 12261 SOS 2149 HAS SOPS 2149 HAS SOUS 1982 HAS SOUPS 1982 WITH SCORE 1984.149
AT ITER 7900 NEW BEST:: SOT 12258 SOS 2149 HAS SOPS 2149 HAS SOUS 1979 HAS SOUPS 1979 WITH SCORE 1981.149
AT ITER 7906 NEW BEST:: SOT 12254 SOS 2144 HAS SOPS 2144 HAS SOUS 1976 HAS SOUPS 1976 WITH SCORE 1978.144
AT ITER 8058 NEW BEST:: SOT 12254 SOS 2143 HAS SOPS 2143 HAS SOUS 1975 HAS SOUPS 1975 WITH SCORE 1977.143
AT ITER 8152 NEW BEST:: SOT 12255 SOS 2140 HAS SOPS 2140 HAS SOUS 1973 HAS SOUPS 1973 WITH SCORE 1975.14
AT ITER 8292 NEW BEST:: SOT 12254 SOS 2139 HAS SOPS 2139 HAS SOUS 1971 HAS SOUPS 1971 WITH SCORE 1973.139
AT ITER 8447 NEW BEST:: SOT 12254 SOS 2138 HAS SOPS 2138 HAS SOUS 1971 HAS SOUPS 1971 WITH SCORE 1973.138
AT ITER 8463 NEW BEST:: SOT 12254 SOS 2135 HAS SOPS 2135 HAS SOUS 1968 HAS SOUPS 1968 WITH SCORE 1970.135
AT ITER 8482 NEW BEST:: SOT 12251 SOS 2129 HAS SOPS 2129 HAS SOUS 1964 HAS SOUPS 1964 WITH SCORE 1966.129
AT ITER 8529 NEW BEST:: SOT 12250 SOS 2123 HAS SOPS 2123 HAS SOUS 1962 HAS SOUPS 1962 WITH SCORE 1964.123
AT ITER 8670 NEW BEST:: SOT 12249 SOS 2113 HAS SOPS 2113 HAS SOUS 1960 HAS SOUPS 1960 WITH SCORE 1962.113
AT ITER 8758 NEW BEST:: SOT 12246 SOS 2101 HAS SOPS 2101 HAS SOUS 1956 HAS SOUPS 1956 WITH SCORE 1958.101
AT ITER 8827 NEW BEST:: SOT 12246 SOS 2100 HAS SOPS 2100 HAS SOUS 1956 HAS SOUPS 1956 WITH SCORE 1958.1
AT ITER 8828 NEW BEST:: SOT 12245 SOS 2099 HAS SOPS 2099 HAS SOUS 1954 HAS SOUPS 1954 WITH SCORE 1956.099
AT ITER 9110 NEW BEST:: SOT 12256 SOS 2110 HAS SOPS 2110 HAS SOUS 1953 HAS SOUPS 1953 WITH SCORE 1955.11
AT ITER 9228 NEW BEST:: SOT 12252 SOS 2120 HAS SOPS 2120 HAS SOUS 1949 HAS SOUPS 1949 WITH SCORE 1951.12
AT ITER 9291 NEW BEST:: SOT 12252 SOS 2119 HAS SOPS 2119 HAS SOUS 1949 HAS SOUPS 1949 WITH SCORE 1951.119
AT ITER 9315 NEW BEST:: SOT 12252 SOS 2115 HAS SOPS 2115 HAS SOUS 1949 HAS SOUPS 1949 WITH SCORE 1951.115
AT ITER 9354 NEW BEST:: SOT 12251 SOS 2113 HAS SOPS 2113 HAS SOUS 1948 HAS SOUPS 1948 WITH SCORE 1950.113
AT ITER 9486 NEW BEST:: SOT 12251 SOS 2123 HAS SOPS 2123 HAS SOUS 1946 HAS SOUPS 1946 WITH SCORE 1948.123
AT ITER 9497 NEW BEST:: SOT 12250 SOS 2124 HAS SOPS 2124 HAS SOUS 1945 HAS SOUPS 1945 WITH SCORE 1947.124
AT ITER 9542 NEW BEST:: SOT 12250 SOS 2118 HAS SOPS 2118 HAS SOUS 1945 HAS SOUPS 1945 WITH SCORE 1947.118
AT ITER 9679 NEW BEST:: SOT 12239 SOS 2096 HAS SOPS 2096 HAS SOUS 1934 HAS SOUPS 1934 WITH SCORE 1936.096
AT ITER 9762 NEW BEST:: SOT 12238 SOS 2094 HAS SOPS 2094 HAS SOUS 1932 HAS SOUPS 1932 WITH SCORE 1934.094
AT ITER 9823 NEW BEST:: SOT 12237 SOS 2092 HAS SOPS 2092 HAS SOUS 1930 HAS SOUPS 1930 WITH SCORE 1932.092
AT ITER 9831 NEW BEST:: SOT 12240 SOS 2086 HAS SOPS 2086 HAS SOUS 1930 HAS SOUPS 1930 WITH SCORE 1932.086
AT ITER 9887 NEW BEST:: SOT 12238 SOS 2082 HAS SOPS 2082 HAS SOUS 1926 HAS SOUPS 1926 WITH SCORE 1928.082
AT ITER 9945 NEW BEST:: SOT 12237 SOS 2080 HAS SOPS 2080 HAS SOUS 1926 HAS SOUPS 1926 WITH SCORE 1928.08
STATE_SPACE STATES 1226909246274 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 13 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 13618790532084 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1590454034054

--------------------
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="ShieldRVt-PT-003B"
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 ShieldRVt-PT-003B, 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-159033470300968"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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