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.r131-smll-167819407500400.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 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 DiscoveryGPU-PT-13a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r131-smll-167819407500400
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 456K
-rw-r--r-- 1 mcc users 7.2K Feb 25 13:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 25 13:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 25 13:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 13:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 25 16:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 13:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 107K Feb 25 13:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 13:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 13:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 46K Mar 5 18:22 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 1679900632119

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=DiscoveryGPU-PT-13a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 13a
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: 133 places, 183 transitions, 588 arcs.
AT ITER 0 NEW BEST:: SOT 17874 SOS 8917 HAS SOPS 8917 HAS SOUS 8844 HAS SOUPS 8844 WITH SCORE 8852.917
AT ITER 1 NEW BEST:: SOT 17874 SOS 8882 HAS SOPS 8882 HAS SOUS 8809 HAS SOUPS 8809 WITH SCORE 8817.882
AT ITER 8 NEW BEST:: SOT 17962 SOS 8913 HAS SOPS 8913 HAS SOUS 8752 HAS SOUPS 8752 WITH SCORE 8760.913
AT ITER 12 NEW BEST:: SOT 17962 SOS 8833 HAS SOPS 8833 HAS SOUS 8672 HAS SOUPS 8672 WITH SCORE 8680.833
AT ITER 16 NEW BEST:: SOT 17990 SOS 8832 HAS SOPS 8832 HAS SOUS 8671 HAS SOUPS 8671 WITH SCORE 8679.832
AT ITER 23 NEW BEST:: SOT 18016 SOS 8829 HAS SOPS 8829 HAS SOUS 8668 HAS SOUPS 8668 WITH SCORE 8676.829
AT ITER 25 NEW BEST:: SOT 17994 SOS 8824 HAS SOPS 8824 HAS SOUS 8663 HAS SOUPS 8663 WITH SCORE 8671.824
AT ITER 29 NEW BEST:: SOT 17994 SOS 8775 HAS SOPS 8775 HAS SOUS 8662 HAS SOUPS 8662 WITH SCORE 8670.775
AT ITER 45 NEW BEST:: SOT 18014 SOS 8775 HAS SOPS 8775 HAS SOUS 8642 HAS SOUPS 8642 WITH SCORE 8650.775
AT ITER 50 NEW BEST:: SOT 18014 SOS 8756 HAS SOPS 8756 HAS SOUS 8623 HAS SOUPS 8623 WITH SCORE 8631.756
AT ITER 55 NEW BEST:: SOT 15181 SOS 7887 HAS SOPS 6012 HAS SOUS 6003 HAS SOUPS 5917 WITH SCORE 5924.887
AT ITER 57 NEW BEST:: SOT 15204 SOS 7910 HAS SOPS 5965 HAS SOUS 5868 HAS SOUPS 5782 WITH SCORE 5789.91
AT ITER 70 NEW BEST:: SOT 15245 SOS 7909 HAS SOPS 5921 HAS SOUS 5824 HAS SOUPS 5738 WITH SCORE 5745.909
AT ITER 74 NEW BEST:: SOT 15215 SOS 7894 HAS SOPS 5891 HAS SOUS 5779 HAS SOUPS 5693 WITH SCORE 5700.894
AT ITER 78 NEW BEST:: SOT 15235 SOS 7932 HAS SOPS 5950 HAS SOUS 5776 HAS SOUPS 5690 WITH SCORE 5697.932
AT ITER 81 NEW BEST:: SOT 15316 SOS 8012 HAS SOPS 5946 HAS SOUS 5719 HAS SOUPS 5624 WITH SCORE 5632.012
AT ITER 91 NEW BEST:: SOT 15314 SOS 8009 HAS SOPS 5942 HAS SOUS 5716 HAS SOUPS 5621 WITH SCORE 5629.009
AT ITER 96 NEW BEST:: SOT 15309 SOS 7962 HAS SOPS 5890 HAS SOUS 5700 HAS SOUPS 5605 WITH SCORE 5612.962
AT ITER 97 NEW BEST:: SOT 15275 SOS 8150 HAS SOPS 5854 HAS SOUS 5671 HAS SOUPS 5572 WITH SCORE 5580.15
AT ITER 107 NEW BEST:: SOT 15275 SOS 8148 HAS SOPS 5852 HAS SOUS 5671 HAS SOUPS 5572 WITH SCORE 5580.148
AT ITER 119 NEW BEST:: SOT 15273 SOS 8157 HAS SOPS 5848 HAS SOUS 5656 HAS SOUPS 5557 WITH SCORE 5565.157
AT ITER 120 NEW BEST:: SOT 15266 SOS 8150 HAS SOPS 5848 HAS SOUS 5656 HAS SOUPS 5557 WITH SCORE 5565.15
AT ITER 123 NEW BEST:: SOT 15266 SOS 8149 HAS SOPS 5848 HAS SOUS 5656 HAS SOUPS 5557 WITH SCORE 5565.149
AT ITER 133 NEW BEST:: SOT 15222 SOS 8086 HAS SOPS 5794 HAS SOUS 5621 HAS SOUPS 5522 WITH SCORE 5530.086
AT ITER 134 NEW BEST:: SOT 15214 SOS 8062 HAS SOPS 5770 HAS SOUS 5613 HAS SOUPS 5514 WITH SCORE 5522.062
AT ITER 137 NEW BEST:: SOT 15224 SOS 8041 HAS SOPS 5728 HAS SOUS 5571 HAS SOUPS 5472 WITH SCORE 5480.041
AT ITER 142 NEW BEST:: SOT 15220 SOS 8035 HAS SOPS 5720 HAS SOUS 5565 HAS SOUPS 5466 WITH SCORE 5474.035
AT ITER 151 NEW BEST:: SOT 15220 SOS 8036 HAS SOPS 5719 HAS SOUS 5563 HAS SOUPS 5464 WITH SCORE 5472.036
AT ITER 157 NEW BEST:: SOT 15154 SOS 7968 HAS SOPS 5651 HAS SOUS 5432 HAS SOUPS 5333 WITH SCORE 5340.968
AT ITER 169 NEW BEST:: SOT 15148 SOS 7959 HAS SOPS 5642 HAS SOUS 5426 HAS SOUPS 5327 WITH SCORE 5334.959
AT ITER 172 NEW BEST:: SOT 15140 SOS 7935 HAS SOPS 5618 HAS SOUS 5418 HAS SOUPS 5319 WITH SCORE 5326.935
AT ITER 174 NEW BEST:: SOT 13674 SOS 7754 HAS SOPS 4160 HAS SOUS 4322 HAS SOUPS 4130 WITH SCORE 4137.754
AT ITER 184 NEW BEST:: SOT 13598 SOS 7644 HAS SOPS 4008 HAS SOUS 4178 HAS SOUPS 3986 WITH SCORE 3993.644
AT ITER 192 NEW BEST:: SOT 13611 SOS 7648 HAS SOPS 4002 HAS SOUS 4172 HAS SOUPS 3980 WITH SCORE 3987.648
AT ITER 194 NEW BEST:: SOT 13616 SOS 7617 HAS SOPS 3976 HAS SOUS 4146 HAS SOUPS 3954 WITH SCORE 3961.617
AT ITER 204 NEW BEST:: SOT 13619 SOS 7609 HAS SOPS 3960 HAS SOUS 4130 HAS SOUPS 3938 WITH SCORE 3945.609
AT ITER 205 NEW BEST:: SOT 13555 SOS 7545 HAS SOPS 3832 HAS SOUS 4002 HAS SOUPS 3810 WITH SCORE 3817.545
AT ITER 220 NEW BEST:: SOT 13551 SOS 7528 HAS SOPS 3811 HAS SOUS 3981 HAS SOUPS 3789 WITH SCORE 3796.528
AT ITER 221 NEW BEST:: SOT 13543 SOS 7520 HAS SOPS 3795 HAS SOUS 3965 HAS SOUPS 3773 WITH SCORE 3780.52
AT ITER 223 NEW BEST:: SOT 13543 SOS 7520 HAS SOPS 3731 HAS SOUS 3901 HAS SOUPS 3709 WITH SCORE 3716.52
AT ITER 227 NEW BEST:: SOT 13512 SOS 7549 HAS SOPS 3729 HAS SOUS 3899 HAS SOUPS 3707 WITH SCORE 3714.549
AT ITER 232 NEW BEST:: SOT 13498 SOS 7544 HAS SOPS 3701 HAS SOUS 3871 HAS SOUPS 3679 WITH SCORE 3686.544
AT ITER 243 NEW BEST:: SOT 13483 SOS 7529 HAS SOPS 3671 HAS SOUS 3841 HAS SOUPS 3649 WITH SCORE 3656.529
AT ITER 258 NEW BEST:: SOT 13479 SOS 7528 HAS SOPS 3668 HAS SOUS 3838 HAS SOUPS 3646 WITH SCORE 3653.528
AT ITER 261 NEW BEST:: SOT 13547 SOS 7581 HAS SOPS 3658 HAS SOUS 3831 HAS SOUPS 3636 WITH SCORE 3643.581
AT ITER 266 NEW BEST:: SOT 13547 SOS 7580 HAS SOPS 3658 HAS SOUS 3831 HAS SOUPS 3636 WITH SCORE 3643.58
AT ITER 283 NEW BEST:: SOT 13547 SOS 7567 HAS SOPS 3632 HAS SOUS 3805 HAS SOUPS 3610 WITH SCORE 3617.567
AT ITER 292 NEW BEST:: SOT 13573 SOS 7575 HAS SOPS 3606 HAS SOUS 3779 HAS SOUPS 3584 WITH SCORE 3591.575
AT ITER 303 NEW BEST:: SOT 13571 SOS 7572 HAS SOPS 3602 HAS SOUS 3775 HAS SOUPS 3580 WITH SCORE 3587.572
AT ITER 319 NEW BEST:: SOT 13571 SOS 7567 HAS SOPS 3597 HAS SOUS 3770 HAS SOUPS 3575 WITH SCORE 3582.567
AT ITER 322 NEW BEST:: SOT 13569 SOS 7564 HAS SOPS 3593 HAS SOUS 3766 HAS SOUPS 3571 WITH SCORE 3578.564
AT ITER 345 NEW BEST:: SOT 13568 SOS 7561 HAS SOPS 3590 HAS SOUS 3764 HAS SOUPS 3569 WITH SCORE 3576.561
AT ITER 354 NEW BEST:: SOT 13549 SOS 7523 HAS SOPS 3552 HAS SOUS 3726 HAS SOUPS 3531 WITH SCORE 3538.523
AT ITER 362 NEW BEST:: SOT 13533 SOS 7507 HAS SOPS 3520 HAS SOUS 3694 HAS SOUPS 3499 WITH SCORE 3506.507
AT ITER 369 NEW BEST:: SOT 13514 SOS 7479 HAS SOPS 3482 HAS SOUS 3656 HAS SOUPS 3461 WITH SCORE 3468.479
AT ITER 376 NEW BEST:: SOT 13477 SOS 7442 HAS SOPS 3408 HAS SOUS 3582 HAS SOUPS 3387 WITH SCORE 3394.442
AT ITER 382 NEW BEST:: SOT 13464 SOS 7429 HAS SOPS 3382 HAS SOUS 3556 HAS SOUPS 3361 WITH SCORE 3368.429
AT ITER 417 NEW BEST:: SOT 13468 SOS 7410 HAS SOPS 3344 HAS SOUS 3518 HAS SOUPS 3323 WITH SCORE 3330.41
AT ITER 432 NEW BEST:: SOT 13471 SOS 7399 HAS SOPS 3329 HAS SOUS 3503 HAS SOUPS 3308 WITH SCORE 3315.399
AT ITER 446 NEW BEST:: SOT 13466 SOS 7394 HAS SOPS 3319 HAS SOUS 3493 HAS SOUPS 3298 WITH SCORE 3305.394
AT ITER 449 NEW BEST:: SOT 13425 SOS 7353 HAS SOPS 3286 HAS SOUS 3460 HAS SOUPS 3265 WITH SCORE 3272.353
AT ITER 455 NEW BEST:: SOT 13435 SOS 7329 HAS SOPS 3172 HAS SOUS 3346 HAS SOUPS 3151 WITH SCORE 3158.329
AT ITER 461 NEW BEST:: SOT 13435 SOS 7328 HAS SOPS 3171 HAS SOUS 3346 HAS SOUPS 3151 WITH SCORE 3158.328
AT ITER 478 NEW BEST:: SOT 13395 SOS 7268 HAS SOPS 3091 HAS SOUS 3266 HAS SOUPS 3071 WITH SCORE 3078.268
AT ITER 480 NEW BEST:: SOT 13367 SOS 7234 HAS SOPS 3047 HAS SOUS 3228 HAS SOUPS 3033 WITH SCORE 3040.234
AT ITER 493 NEW BEST:: SOT 13355 SOS 7210 HAS SOPS 3023 HAS SOUS 3204 HAS SOUPS 3009 WITH SCORE 3016.21
AT ITER 497 NEW BEST:: SOT 13355 SOS 7206 HAS SOPS 3019 HAS SOUS 3200 HAS SOUPS 3005 WITH SCORE 3012.206
AT ITER 501 NEW BEST:: SOT 13345 SOS 7200 HAS SOPS 3008 HAS SOUS 3189 HAS SOUPS 2994 WITH SCORE 3001.2
AT ITER 517 NEW BEST:: SOT 13281 SOS 7189 HAS SOPS 2986 HAS SOUS 3167 HAS SOUPS 2972 WITH SCORE 2979.189
AT ITER 529 NEW BEST:: SOT 13265 SOS 7165 HAS SOPS 2954 HAS SOUS 3135 HAS SOUPS 2940 WITH SCORE 2947.165
AT ITER 532 NEW BEST:: SOT 13249 SOS 7153 HAS SOPS 2948 HAS SOUS 3129 HAS SOUPS 2934 WITH SCORE 2941.153
AT ITER 562 NEW BEST:: SOT 13320 SOS 7172 HAS SOPS 2934 HAS SOUS 3115 HAS SOUPS 2920 WITH SCORE 2927.172
AT ITER 593 NEW BEST:: SOT 13302 SOS 7154 HAS SOPS 2898 HAS SOUS 3079 HAS SOUPS 2884 WITH SCORE 2891.154
AT ITER 597 NEW BEST:: SOT 13302 SOS 7154 HAS SOPS 2887 HAS SOUS 3068 HAS SOUPS 2873 WITH SCORE 2880.154
AT ITER 603 NEW BEST:: SOT 13329 SOS 7180 HAS SOPS 2883 HAS SOUS 3064 HAS SOUPS 2869 WITH SCORE 2876.18
AT ITER 622 NEW BEST:: SOT 13331 SOS 7159 HAS SOPS 2864 HAS SOUS 3045 HAS SOUPS 2850 WITH SCORE 2857.159
AT ITER 628 NEW BEST:: SOT 13323 SOS 7156 HAS SOPS 2854 HAS SOUS 3035 HAS SOUPS 2840 WITH SCORE 2847.156
AT ITER 649 NEW BEST:: SOT 13300 SOS 7133 HAS SOPS 2808 HAS SOUS 2989 HAS SOUPS 2794 WITH SCORE 2801.133
AT ITER 679 NEW BEST:: SOT 13300 SOS 7133 HAS SOPS 2808 HAS SOUS 2987 HAS SOUPS 2792 WITH SCORE 2799.133
AT ITER 680 NEW BEST:: SOT 13305 SOS 7136 HAS SOPS 2811 HAS SOUS 2986 HAS SOUPS 2791 WITH SCORE 2798.136
AT ITER 707 NEW BEST:: SOT 13316 SOS 7130 HAS SOPS 2799 HAS SOUS 2974 HAS SOUPS 2779 WITH SCORE 2786.13
AT ITER 722 NEW BEST:: SOT 13300 SOS 7106 HAS SOPS 2767 HAS SOUS 2942 HAS SOUPS 2747 WITH SCORE 2754.106
AT ITER 733 NEW BEST:: SOT 13268 SOS 7041 HAS SOPS 2703 HAS SOUS 2878 HAS SOUPS 2683 WITH SCORE 2690.041
AT ITER 737 NEW BEST:: SOT 13266 SOS 7052 HAS SOPS 2699 HAS SOUS 2874 HAS SOUPS 2679 WITH SCORE 2686.052
AT ITER 749 NEW BEST:: SOT 13254 SOS 7047 HAS SOPS 2689 HAS SOUS 2871 HAS SOUPS 2669 WITH SCORE 2676.047
AT ITER 758 NEW BEST:: SOT 13233 SOS 7026 HAS SOPS 2680 HAS SOUS 2851 HAS SOUPS 2660 WITH SCORE 2667.026
AT ITER 790 NEW BEST:: SOT 13231 SOS 7023 HAS SOPS 2676 HAS SOUS 2847 HAS SOUPS 2656 WITH SCORE 2663.023
AT ITER 822 NEW BEST:: SOT 13246 SOS 7038 HAS SOPS 2647 HAS SOUS 2818 HAS SOUPS 2627 WITH SCORE 2634.038
AT ITER 825 NEW BEST:: SOT 13261 SOS 7053 HAS SOPS 2641 HAS SOUS 2812 HAS SOUPS 2621 WITH SCORE 2628.053
AT ITER 833 NEW BEST:: SOT 13250 SOS 7045 HAS SOPS 2636 HAS SOUS 2807 HAS SOUPS 2616 WITH SCORE 2623.045
AT ITER 855 NEW BEST:: SOT 13251 SOS 7044 HAS SOPS 2635 HAS SOUS 2805 HAS SOUPS 2614 WITH SCORE 2621.044
AT ITER 858 NEW BEST:: SOT 13251 SOS 7044 HAS SOPS 2624 HAS SOUS 2794 HAS SOUPS 2603 WITH SCORE 2610.044
AT ITER 867 NEW BEST:: SOT 13238 SOS 7229 HAS SOPS 2604 HAS SOUS 2791 HAS SOUPS 2594 WITH SCORE 2601.229
AT ITER 874 NEW BEST:: SOT 13237 SOS 7234 HAS SOPS 2602 HAS SOUS 2783 HAS SOUPS 2586 WITH SCORE 2593.234
AT ITER 894 NEW BEST:: SOT 13278 SOS 7217 HAS SOPS 2568 HAS SOUS 2749 HAS SOUPS 2552 WITH SCORE 2559.217
AT ITER 905 NEW BEST:: SOT 13197 SOS 8197 HAS SOPS 2467 HAS SOUS 2674 HAS SOUPS 2461 WITH SCORE 2469.197
AT ITER 921 NEW BEST:: SOT 13151 SOS 8174 HAS SOPS 2444 HAS SOUS 2651 HAS SOUPS 2438 WITH SCORE 2446.174
AT ITER 935 NEW BEST:: SOT 13148 SOS 8168 HAS SOPS 2438 HAS SOUS 2645 HAS SOUPS 2432 WITH SCORE 2440.168
AT ITER 943 NEW BEST:: SOT 13144 SOS 8166 HAS SOPS 2430 HAS SOUS 2638 HAS SOUPS 2424 WITH SCORE 2432.166
AT ITER 949 NEW BEST:: SOT 13137 SOS 8159 HAS SOPS 2359 HAS SOUS 2567 HAS SOUPS 2353 WITH SCORE 2361.159
AT ITER 967 NEW BEST:: SOT 13130 SOS 8152 HAS SOPS 2345 HAS SOUS 2553 HAS SOUPS 2339 WITH SCORE 2347.152
AT ITER 1013 NEW BEST:: SOT 13112 SOS 8134 HAS SOPS 2309 HAS SOUS 2517 HAS SOUPS 2303 WITH SCORE 2311.134
AT ITER 1015 NEW BEST:: SOT 13100 SOS 8122 HAS SOPS 2245 HAS SOUS 2470 HAS SOUPS 2239 WITH SCORE 2247.122
AT ITER 1023 NEW BEST:: SOT 13095 SOS 8117 HAS SOPS 2245 HAS SOUS 2470 HAS SOUPS 2239 WITH SCORE 2247.117
AT ITER 1024 NEW BEST:: SOT 13089 SOS 8328 HAS SOPS 2237 HAS SOUS 2466 HAS SOUPS 2232 WITH SCORE 2240.328
AT ITER 1031 NEW BEST:: SOT 13087 SOS 8324 HAS SOPS 2233 HAS SOUS 2462 HAS SOUPS 2228 WITH SCORE 2236.324
AT ITER 1049 NEW BEST:: SOT 13078 SOS 8315 HAS SOPS 2215 HAS SOUS 2444 HAS SOUPS 2210 WITH SCORE 2218.315
AT ITER 1053 NEW BEST:: SOT 13077 SOS 8311 HAS SOPS 2203 HAS SOUS 2432 HAS SOUPS 2198 WITH SCORE 2206.311
AT ITER 1108 NEW BEST:: SOT 13074 SOS 8311 HAS SOPS 2200 HAS SOUS 2429 HAS SOUPS 2195 WITH SCORE 2203.311
AT ITER 1110 NEW BEST:: SOT 13074 SOS 8306 HAS SOPS 2190 HAS SOUS 2419 HAS SOUPS 2185 WITH SCORE 2193.306
AT ITER 1129 NEW BEST:: SOT 13066 SOS 8298 HAS SOPS 2174 HAS SOUS 2403 HAS SOUPS 2169 WITH SCORE 2177.298
AT ITER 1215 NEW BEST:: SOT 13077 SOS 8308 HAS SOPS 2170 HAS SOUS 2399 HAS SOUPS 2165 WITH SCORE 2173.308
AT ITER 1235 NEW BEST:: SOT 13076 SOS 8306 HAS SOPS 2168 HAS SOUS 2397 HAS SOUPS 2163 WITH SCORE 2171.306
AT ITER 1252 NEW BEST:: SOT 13074 SOS 8304 HAS SOPS 2164 HAS SOUS 2393 HAS SOUPS 2159 WITH SCORE 2167.304
AT ITER 1262 NEW BEST:: SOT 13068 SOS 8298 HAS SOPS 2152 HAS SOUS 2381 HAS SOUPS 2147 WITH SCORE 2155.298
AT ITER 1277 NEW BEST:: SOT 13064 SOS 8294 HAS SOPS 2144 HAS SOUS 2373 HAS SOUPS 2139 WITH SCORE 2147.294
AT ITER 1278 NEW BEST:: SOT 13065 SOS 8290 HAS SOPS 2141 HAS SOUS 2370 HAS SOUPS 2136 WITH SCORE 2144.29
AT ITER 1292 NEW BEST:: SOT 13062 SOS 8287 HAS SOPS 2138 HAS SOUS 2367 HAS SOUPS 2133 WITH SCORE 2141.287
AT ITER 1326 NEW BEST:: SOT 13064 SOS 8289 HAS SOPS 2117 HAS SOUS 2346 HAS SOUPS 2112 WITH SCORE 2120.289
AT ITER 1415 NEW BEST:: SOT 13062 SOS 8287 HAS SOPS 2113 HAS SOUS 2342 HAS SOUPS 2108 WITH SCORE 2116.287
AT ITER 1419 NEW BEST:: SOT 13048 SOS 8273 HAS SOPS 2099 HAS SOUS 2328 HAS SOUPS 2094 WITH SCORE 2102.273
AT ITER 1457 NEW BEST:: SOT 13046 SOS 8272 HAS SOPS 2098 HAS SOUS 2327 HAS SOUPS 2093 WITH SCORE 2101.272
AT ITER 1468 NEW BEST:: SOT 13037 SOS 8267 HAS SOPS 2098 HAS SOUS 2327 HAS SOUPS 2093 WITH SCORE 2101.267
AT ITER 1501 NEW BEST:: SOT 13021 SOS 8243 HAS SOPS 2066 HAS SOUS 2295 HAS SOUPS 2061 WITH SCORE 2069.243
AT ITER 1512 NEW BEST:: SOT 13018 SOS 8236 HAS SOPS 2060 HAS SOUS 2289 HAS SOUPS 2055 WITH SCORE 2063.236
AT ITER 1533 NEW BEST:: SOT 13013 SOS 8225 HAS SOPS 2044 HAS SOUS 2273 HAS SOUPS 2039 WITH SCORE 2047.225
AT ITER 1544 NEW BEST:: SOT 13009 SOS 8226 HAS SOPS 2042 HAS SOUS 2271 HAS SOUPS 2037 WITH SCORE 2045.226
AT ITER 1549 NEW BEST:: SOT 12998 SOS 8224 HAS SOPS 2029 HAS SOUS 2258 HAS SOUPS 2024 WITH SCORE 2032.224
AT ITER 1574 NEW BEST:: SOT 13024 SOS 8249 HAS SOPS 2027 HAS SOUS 2261 HAS SOUPS 2022 WITH SCORE 2030.249
AT ITER 1600 NEW BEST:: SOT 13020 SOS 8232 HAS SOPS 2000 HAS SOUS 2234 HAS SOUPS 1995 WITH SCORE 2003.232
AT ITER 1632 NEW BEST:: SOT 13014 SOS 8226 HAS SOPS 1988 HAS SOUS 2222 HAS SOUPS 1983 WITH SCORE 1991.226
AT ITER 1639 NEW BEST:: SOT 13012 SOS 8223 HAS SOPS 1984 HAS SOUS 2218 HAS SOUPS 1979 WITH SCORE 1987.223
AT ITER 1655 NEW BEST:: SOT 13009 SOS 8220 HAS SOPS 1978 HAS SOUS 2212 HAS SOUPS 1973 WITH SCORE 1981.22
AT ITER 1659 NEW BEST:: SOT 13006 SOS 8213 HAS SOPS 1972 HAS SOUS 2206 HAS SOUPS 1967 WITH SCORE 1975.213
AT ITER 1665 NEW BEST:: SOT 13004 SOS 8211 HAS SOPS 1970 HAS SOUS 2204 HAS SOUPS 1965 WITH SCORE 1973.211
AT ITER 1709 NEW BEST:: SOT 13003 SOS 8208 HAS SOPS 1968 HAS SOUS 2202 HAS SOUPS 1963 WITH SCORE 1971.208
AT ITER 1710 NEW BEST:: SOT 12985 SOS 8190 HAS SOPS 1941 HAS SOUS 2175 HAS SOUPS 1936 WITH SCORE 1944.19
AT ITER 1721 NEW BEST:: SOT 12998 SOS 8203 HAS SOPS 1938 HAS SOUS 2172 HAS SOUPS 1933 WITH SCORE 1941.203
AT ITER 1784 NEW BEST:: SOT 12990 SOS 8195 HAS SOPS 1913 HAS SOUS 2147 HAS SOUPS 1908 WITH SCORE 1916.195
AT ITER 1796 NEW BEST:: SOT 12988 SOS 8191 HAS SOPS 1907 HAS SOUS 2141 HAS SOUPS 1902 WITH SCORE 1910.191
AT ITER 1845 NEW BEST:: SOT 12983 SOS 8186 HAS SOPS 1901 HAS SOUS 2135 HAS SOUPS 1896 WITH SCORE 1904.186
AT ITER 1875 NEW BEST:: SOT 12979 SOS 8178 HAS SOPS 1889 HAS SOUS 2123 HAS SOUPS 1884 WITH SCORE 1892.178
AT ITER 1901 NEW BEST:: SOT 12977 SOS 8176 HAS SOPS 1887 HAS SOUS 2121 HAS SOUPS 1882 WITH SCORE 1890.176
AT ITER 1904 NEW BEST:: SOT 12977 SOS 8324 HAS SOPS 1884 HAS SOUS 2121 HAS SOUPS 1880 WITH SCORE 1888.324
AT ITER 1929 NEW BEST:: SOT 12972 SOS 8323 HAS SOPS 1882 HAS SOUS 2120 HAS SOUPS 1878 WITH SCORE 1886.323
AT ITER 1997 NEW BEST:: SOT 12977 SOS 8323 HAS SOPS 1877 HAS SOUS 2115 HAS SOUPS 1873 WITH SCORE 1881.323
AT ITER 2023 NEW BEST:: SOT 12959 SOS 8305 HAS SOPS 1850 HAS SOUS 2088 HAS SOUPS 1846 WITH SCORE 1854.305
AT ITER 2066 NEW BEST:: SOT 12955 SOS 8299 HAS SOPS 1842 HAS SOUS 2080 HAS SOUPS 1838 WITH SCORE 1846.299
AT ITER 2084 NEW BEST:: SOT 12953 SOS 8297 HAS SOPS 1838 HAS SOUS 2076 HAS SOUPS 1834 WITH SCORE 1842.297
AT ITER 2150 NEW BEST:: SOT 12953 SOS 8297 HAS SOPS 1833 HAS SOUS 2071 HAS SOUPS 1829 WITH SCORE 1837.297
AT ITER 2157 NEW BEST:: SOT 12955 SOS 8299 HAS SOPS 1832 HAS SOUS 2070 HAS SOUPS 1828 WITH SCORE 1836.299
AT ITER 2236 NEW BEST:: SOT 12954 SOS 8298 HAS SOPS 1831 HAS SOUS 2069 HAS SOUPS 1827 WITH SCORE 1835.298
AT ITER 2245 NEW BEST:: SOT 12953 SOS 8299 HAS SOPS 1829 HAS SOUS 2067 HAS SOUPS 1825 WITH SCORE 1833.299
AT ITER 2273 NEW BEST:: SOT 12951 SOS 8295 HAS SOPS 1825 HAS SOUS 2063 HAS SOUPS 1821 WITH SCORE 1829.295
AT ITER 2328 NEW BEST:: SOT 12930 SOS 8286 HAS SOPS 1807 HAS SOUS 2045 HAS SOUPS 1803 WITH SCORE 1811.286
AT ITER 2374 NEW BEST:: SOT 12931 SOS 8286 HAS SOPS 1806 HAS SOUS 2044 HAS SOUPS 1802 WITH SCORE 1810.286
AT ITER 2376 NEW BEST:: SOT 12915 SOS 8275 HAS SOPS 1787 HAS SOUS 2025 HAS SOUPS 1783 WITH SCORE 1791.275
AT ITER 2409 NEW BEST:: SOT 12911 SOS 8270 HAS SOPS 1779 HAS SOUS 2017 HAS SOUPS 1775 WITH SCORE 1783.27
AT ITER 2463 NEW BEST:: SOT 12903 SOS 8270 HAS SOPS 1771 HAS SOUS 2009 HAS SOUPS 1767 WITH SCORE 1775.27
AT ITER 2474 NEW BEST:: SOT 12902 SOS 8270 HAS SOPS 1769 HAS SOUS 2007 HAS SOUPS 1765 WITH SCORE 1773.27
AT ITER 2477 NEW BEST:: SOT 12904 SOS 8266 HAS SOPS 1765 HAS SOUS 2003 HAS SOUPS 1761 WITH SCORE 1769.266
AT ITER 2508 NEW BEST:: SOT 12899 SOS 8252 HAS SOPS 1755 HAS SOUS 1993 HAS SOUPS 1751 WITH SCORE 1759.252
AT ITER 2518 NEW BEST:: SOT 12898 SOS 8250 HAS SOPS 1752 HAS SOUS 1990 HAS SOUPS 1748 WITH SCORE 1756.25
AT ITER 2525 NEW BEST:: SOT 12897 SOS 8248 HAS SOPS 1750 HAS SOUS 1988 HAS SOUPS 1746 WITH SCORE 1754.248
AT ITER 2534 NEW BEST:: SOT 12893 SOS 8244 HAS SOPS 1745 HAS SOUS 1983 HAS SOUPS 1741 WITH SCORE 1749.244
AT ITER 2535 NEW BEST:: SOT 12895 SOS 8241 HAS SOPS 1725 HAS SOUS 1963 HAS SOUPS 1721 WITH SCORE 1729.241
AT ITER 2570 NEW BEST:: SOT 12895 SOS 8240 HAS SOPS 1725 HAS SOUS 1963 HAS SOUPS 1721 WITH SCORE 1729.24
AT ITER 2587 NEW BEST:: SOT 12893 SOS 8238 HAS SOPS 1722 HAS SOUS 1960 HAS SOUPS 1718 WITH SCORE 1726.238
AT ITER 2618 NEW BEST:: SOT 12893 SOS 8234 HAS SOPS 1718 HAS SOUS 1956 HAS SOUPS 1714 WITH SCORE 1722.234
AT ITER 2633 NEW BEST:: SOT 12893 SOS 8234 HAS SOPS 1717 HAS SOUS 1955 HAS SOUPS 1713 WITH SCORE 1721.234
AT ITER 2753 NEW BEST:: SOT 12893 SOS 8233 HAS SOPS 1715 HAS SOUS 1953 HAS SOUPS 1711 WITH SCORE 1719.233
AT ITER 2847 NEW BEST:: SOT 12894 SOS 8387 HAS SOPS 1714 HAS SOUS 1954 HAS SOUPS 1710 WITH SCORE 1718.387
AT ITER 2860 NEW BEST:: SOT 12894 SOS 8386 HAS SOPS 1714 HAS SOUS 1954 HAS SOUPS 1710 WITH SCORE 1718.386
AT ITER 2867 NEW BEST:: SOT 12878 SOS 8370 HAS SOPS 1682 HAS SOUS 1922 HAS SOUPS 1678 WITH SCORE 1686.37
AT ITER 2883 NEW BEST:: SOT 12878 SOS 8367 HAS SOPS 1676 HAS SOUS 1916 HAS SOUPS 1672 WITH SCORE 1680.367
AT ITER 2935 NEW BEST:: SOT 12876 SOS 8375 HAS SOPS 1672 HAS SOUS 1912 HAS SOUPS 1668 WITH SCORE 1676.375
AT ITER 3022 NEW BEST:: SOT 12875 SOS 8374 HAS SOPS 1670 HAS SOUS 1910 HAS SOUPS 1666 WITH SCORE 1674.374
AT ITER 3038 NEW BEST:: SOT 12875 SOS 8374 HAS SOPS 1657 HAS SOUS 1897 HAS SOUPS 1653 WITH SCORE 1661.374
AT ITER 3047 NEW BEST:: SOT 12873 SOS 8371 HAS SOPS 1653 HAS SOUS 1893 HAS SOUPS 1649 WITH SCORE 1657.371
AT ITER 3068 NEW BEST:: SOT 12879 SOS 8364 HAS SOPS 1650 HAS SOUS 1889 HAS SOUPS 1646 WITH SCORE 1654.364
AT ITER 3070 NEW BEST:: SOT 12873 SOS 8359 HAS SOPS 1650 HAS SOUS 1889 HAS SOUPS 1646 WITH SCORE 1654.359
AT ITER 3098 NEW BEST:: SOT 12872 SOS 8357 HAS SOPS 1647 HAS SOUS 1886 HAS SOUPS 1643 WITH SCORE 1651.357
AT ITER 3109 NEW BEST:: SOT 12868 SOS 8347 HAS SOPS 1631 HAS SOUS 1870 HAS SOUPS 1627 WITH SCORE 1635.347
AT ITER 3155 NEW BEST:: SOT 12869 SOS 8348 HAS SOPS 1627 HAS SOUS 1866 HAS SOUPS 1623 WITH SCORE 1631.348
AT ITER 3185 NEW BEST:: SOT 12851 SOS 8342 HAS SOPS 1627 HAS SOUS 1866 HAS SOUPS 1623 WITH SCORE 1631.342
AT ITER 3263 NEW BEST:: SOT 12844 SOS 8336 HAS SOPS 1616 HAS SOUS 1855 HAS SOUPS 1612 WITH SCORE 1620.336
AT ITER 3401 NEW BEST:: SOT 12844 SOS 8264 HAS SOPS 1616 HAS SOUS 1852 HAS SOUPS 1611 WITH SCORE 1619.264
AT ITER 3405 NEW BEST:: SOT 12844 SOS 8263 HAS SOPS 1616 HAS SOUS 1852 HAS SOUPS 1611 WITH SCORE 1619.263
AT ITER 3482 NEW BEST:: SOT 12838 SOS 8257 HAS SOPS 1604 HAS SOUS 1840 HAS SOUPS 1599 WITH SCORE 1607.257
AT ITER 3650 NEW BEST:: SOT 12835 SOS 8255 HAS SOPS 1603 HAS SOUS 1839 HAS SOUPS 1598 WITH SCORE 1606.255
AT ITER 3758 NEW BEST:: SOT 12834 SOS 8254 HAS SOPS 1601 HAS SOUS 1837 HAS SOUPS 1596 WITH SCORE 1604.254
AT ITER 3885 NEW BEST:: SOT 12824 SOS 8249 HAS SOPS 1591 HAS SOUS 1827 HAS SOUPS 1586 WITH SCORE 1594.249
AT ITER 3948 NEW BEST:: SOT 12816 SOS 8248 HAS SOPS 1582 HAS SOUS 1818 HAS SOUPS 1577 WITH SCORE 1585.248
AT ITER 4356 NEW BEST:: SOT 12820 SOS 8249 HAS SOPS 1581 HAS SOUS 1817 HAS SOUPS 1576 WITH SCORE 1584.249
AT ITER 4383 NEW BEST:: SOT 12820 SOS 8249 HAS SOPS 1580 HAS SOUS 1816 HAS SOUPS 1575 WITH SCORE 1583.249
AT ITER 4434 NEW BEST:: SOT 12806 SOS 8235 HAS SOPS 1575 HAS SOUS 1811 HAS SOUPS 1570 WITH SCORE 1578.235
AT ITER 4502 NEW BEST:: SOT 12783 SOS 8214 HAS SOPS 1538 HAS SOUS 1774 HAS SOUPS 1533 WITH SCORE 1541.214
AT ITER 4555 NEW BEST:: SOT 12781 SOS 8390 HAS SOPS 1528 HAS SOUS 1773 HAS SOUPS 1527 WITH SCORE 1535.39
AT ITER 4603 NEW BEST:: SOT 12778 SOS 8387 HAS SOPS 1524 HAS SOUS 1769 HAS SOUPS 1523 WITH SCORE 1531.387
AT ITER 4753 NEW BEST:: SOT 12777 SOS 8386 HAS SOPS 1522 HAS SOUS 1767 HAS SOUPS 1521 WITH SCORE 1529.386
AT ITER 4815 NEW BEST:: SOT 12775 SOS 8386 HAS SOPS 1520 HAS SOUS 1765 HAS SOUPS 1519 WITH SCORE 1527.386
AT ITER 4822 NEW BEST:: SOT 12774 SOS 8383 HAS SOPS 1516 HAS SOUS 1761 HAS SOUPS 1515 WITH SCORE 1523.383
AT ITER 4861 NEW BEST:: SOT 12774 SOS 8381 HAS SOPS 1516 HAS SOUS 1761 HAS SOUPS 1515 WITH SCORE 1523.381
AT ITER 4908 NEW BEST:: SOT 12773 SOS 8381 HAS SOPS 1515 HAS SOUS 1761 HAS SOUPS 1514 WITH SCORE 1522.381
AT ITER 4920 NEW BEST:: SOT 12765 SOS 8378 HAS SOPS 1509 HAS SOUS 1755 HAS SOUPS 1508 WITH SCORE 1516.378
AT ITER 4949 NEW BEST:: SOT 12764 SOS 8374 HAS SOPS 1507 HAS SOUS 1753 HAS SOUPS 1506 WITH SCORE 1514.374
AT ITER 4974 NEW BEST:: SOT 12765 SOS 8374 HAS SOPS 1506 HAS SOUS 1752 HAS SOUPS 1505 WITH SCORE 1513.374
AT ITER 5052 NEW BEST:: SOT 12770 SOS 8373 HAS SOPS 1504 HAS SOUS 1750 HAS SOUPS 1503 WITH SCORE 1511.373
AT ITER 5116 NEW BEST:: SOT 12769 SOS 8371 HAS SOPS 1502 HAS SOUS 1748 HAS SOUPS 1501 WITH SCORE 1509.371
AT ITER 5171 NEW BEST:: SOT 12772 SOS 8370 HAS SOPS 1500 HAS SOUS 1746 HAS SOUPS 1499 WITH SCORE 1507.37
AT ITER 5196 NEW BEST:: SOT 12770 SOS 8367 HAS SOPS 1496 HAS SOUS 1742 HAS SOUPS 1495 WITH SCORE 1503.367
AT ITER 5198 NEW BEST:: SOT 12769 SOS 8329 HAS SOPS 1496 HAS SOUS 1741 HAS SOUPS 1495 WITH SCORE 1503.329
AT ITER 5440 NEW BEST:: SOT 12762 SOS 8322 HAS SOPS 1482 HAS SOUS 1727 HAS SOUPS 1481 WITH SCORE 1489.322
AT ITER 5693 NEW BEST:: SOT 12771 SOS 8320 HAS SOPS 1478 HAS SOUS 1723 HAS SOUPS 1477 WITH SCORE 1485.32
AT ITER 5890 NEW BEST:: SOT 12771 SOS 8319 HAS SOPS 1477 HAS SOUS 1722 HAS SOUPS 1476 WITH SCORE 1484.319
AT ITER 6066 NEW BEST:: SOT 12771 SOS 8318 HAS SOPS 1477 HAS SOUS 1722 HAS SOUPS 1476 WITH SCORE 1484.318
AT ITER 6086 NEW BEST:: SOT 12735 SOS 8306 HAS SOPS 1477 HAS SOUS 1722 HAS SOUPS 1476 WITH SCORE 1484.306
AT ITER 6092 NEW BEST:: SOT 12733 SOS 8303 HAS SOPS 1473 HAS SOUS 1718 HAS SOUPS 1472 WITH SCORE 1480.303
AT ITER 6132 NEW BEST:: SOT 12732 SOS 8302 HAS SOPS 1473 HAS SOUS 1718 HAS SOUPS 1472 WITH SCORE 1480.302
AT ITER 6148 NEW BEST:: SOT 12732 SOS 8301 HAS SOPS 1468 HAS SOUS 1713 HAS SOUPS 1467 WITH SCORE 1475.301
AT ITER 6293 NEW BEST:: SOT 12735 SOS 8298 HAS SOPS 1462 HAS SOUS 1707 HAS SOUPS 1461 WITH SCORE 1469.298
AT ITER 6373 NEW BEST:: SOT 12735 SOS 8297 HAS SOPS 1460 HAS SOUS 1705 HAS SOUPS 1459 WITH SCORE 1467.297
AT ITER 6427 NEW BEST:: SOT 12734 SOS 8294 HAS SOPS 1456 HAS SOUS 1701 HAS SOUPS 1455 WITH SCORE 1463.294
AT ITER 6471 NEW BEST:: SOT 12750 SOS 8289 HAS SOPS 1446 HAS SOUS 1691 HAS SOUPS 1445 WITH SCORE 1453.289
AT ITER 6483 NEW BEST:: SOT 12749 SOS 8287 HAS SOPS 1443 HAS SOUS 1688 HAS SOUPS 1442 WITH SCORE 1450.287
AT ITER 6520 NEW BEST:: SOT 12743 SOS 8288 HAS SOPS 1441 HAS SOUS 1686 HAS SOUPS 1440 WITH SCORE 1448.288
AT ITER 6579 NEW BEST:: SOT 12739 SOS 8282 HAS SOPS 1433 HAS SOUS 1678 HAS SOUPS 1432 WITH SCORE 1440.282
AT ITER 6621 NEW BEST:: SOT 12744 SOS 8287 HAS SOPS 1431 HAS SOUS 1676 HAS SOUPS 1430 WITH SCORE 1438.287
AT ITER 6648 NEW BEST:: SOT 12734 SOS 8282 HAS SOPS 1421 HAS SOUS 1666 HAS SOUPS 1420 WITH SCORE 1428.282
AT ITER 6853 NEW BEST:: SOT 12743 SOS 8286 HAS SOPS 1407 HAS SOUS 1652 HAS SOUPS 1406 WITH SCORE 1414.286
AT ITER 6888 NEW BEST:: SOT 12742 SOS 8285 HAS SOPS 1406 HAS SOUS 1651 HAS SOUPS 1405 WITH SCORE 1413.285
AT ITER 7098 NEW BEST:: SOT 12742 SOS 8284 HAS SOPS 1405 HAS SOUS 1650 HAS SOUPS 1404 WITH SCORE 1412.284
AT ITER 7104 NEW BEST:: SOT 12740 SOS 8284 HAS SOPS 1401 HAS SOUS 1646 HAS SOUPS 1400 WITH SCORE 1408.284
AT ITER 7169 NEW BEST:: SOT 12733 SOS 8284 HAS SOPS 1394 HAS SOUS 1639 HAS SOUPS 1393 WITH SCORE 1401.284
AT ITER 7182 NEW BEST:: SOT 12740 SOS 8290 HAS SOPS 1390 HAS SOUS 1635 HAS SOUPS 1389 WITH SCORE 1397.29
AT ITER 7243 NEW BEST:: SOT 12740 SOS 8287 HAS SOPS 1384 HAS SOUS 1629 HAS SOUPS 1383 WITH SCORE 1391.287
AT ITER 7491 NEW BEST:: SOT 12738 SOS 8284 HAS SOPS 1380 HAS SOUS 1625 HAS SOUPS 1379 WITH SCORE 1387.284
AT ITER 7583 NEW BEST:: SOT 12736 SOS 8283 HAS SOPS 1377 HAS SOUS 1622 HAS SOUPS 1376 WITH SCORE 1384.283
AT ITER 7663 NEW BEST:: SOT 12734 SOS 8282 HAS SOPS 1373 HAS SOUS 1618 HAS SOUPS 1372 WITH SCORE 1380.282
AT ITER 7723 NEW BEST:: SOT 12733 SOS 8281 HAS SOPS 1372 HAS SOUS 1617 HAS SOUPS 1371 WITH SCORE 1379.281
AT ITER 7865 NEW BEST:: SOT 12731 SOS 8277 HAS SOPS 1368 HAS SOUS 1613 HAS SOUPS 1367 WITH SCORE 1375.277
AT ITER 7866 NEW BEST:: SOT 12729 SOS 8273 HAS SOPS 1361 HAS SOUS 1606 HAS SOUPS 1360 WITH SCORE 1368.273
AT ITER 7886 NEW BEST:: SOT 12728 SOS 8272 HAS SOPS 1359 HAS SOUS 1604 HAS SOUPS 1358 WITH SCORE 1366.272
AT ITER 7926 NEW BEST:: SOT 12728 SOS 8271 HAS SOPS 1357 HAS SOUS 1602 HAS SOUPS 1356 WITH SCORE 1364.271
AT ITER 8028 NEW BEST:: SOT 12724 SOS 8316 HAS SOPS 1349 HAS SOUS 1594 HAS SOUPS 1348 WITH SCORE 1356.316
AT ITER 8328 NEW BEST:: SOT 12721 SOS 8313 HAS SOPS 1343 HAS SOUS 1588 HAS SOUPS 1342 WITH SCORE 1350.313
AT ITER 8340 NEW BEST:: SOT 12719 SOS 8312 HAS SOPS 1341 HAS SOUS 1586 HAS SOUPS 1340 WITH SCORE 1348.312
AT ITER 8342 NEW BEST:: SOT 12717 SOS 8309 HAS SOPS 1337 HAS SOUS 1582 HAS SOUPS 1336 WITH SCORE 1344.309
AT ITER 8357 NEW BEST:: SOT 12715 SOS 8307 HAS SOPS 1335 HAS SOUS 1580 HAS SOUPS 1334 WITH SCORE 1342.307
AT ITER 8379 NEW BEST:: SOT 12715 SOS 8306 HAS SOPS 1335 HAS SOUS 1580 HAS SOUPS 1334 WITH SCORE 1342.306
AT ITER 8439 NEW BEST:: SOT 12718 SOS 8302 HAS SOPS 1327 HAS SOUS 1572 HAS SOUPS 1326 WITH SCORE 1334.302
AT ITER 8479 NEW BEST:: SOT 12726 SOS 8304 HAS SOPS 1325 HAS SOUS 1570 HAS SOUPS 1324 WITH SCORE 1332.304
AT ITER 8502 NEW BEST:: SOT 12726 SOS 8303 HAS SOPS 1325 HAS SOUS 1570 HAS SOUPS 1324 WITH SCORE 1332.303
AT ITER 8529 NEW BEST:: SOT 12724 SOS 8300 HAS SOPS 1321 HAS SOUS 1566 HAS SOUPS 1320 WITH SCORE 1328.3
AT ITER 8571 NEW BEST:: SOT 12691 SOS 8299 HAS SOPS 1319 HAS SOUS 1564 HAS SOUPS 1318 WITH SCORE 1326.299
AT ITER 8806 NEW BEST:: SOT 12688 SOS 8298 HAS SOPS 1317 HAS SOUS 1563 HAS SOUPS 1316 WITH SCORE 1324.298
AT ITER 8846 NEW BEST:: SOT 12682 SOS 8286 HAS SOPS 1293 HAS SOUS 1539 HAS SOUPS 1292 WITH SCORE 1300.286
AT ITER 8959 NEW BEST:: SOT 12683 SOS 8287 HAS SOPS 1291 HAS SOUS 1537 HAS SOUPS 1290 WITH SCORE 1298.287
AT ITER 8999 NEW BEST:: SOT 12686 SOS 8289 HAS SOPS 1287 HAS SOUS 1533 HAS SOUPS 1286 WITH SCORE 1294.289
AT ITER 9123 NEW BEST:: SOT 12684 SOS 8284 HAS SOPS 1283 HAS SOUS 1529 HAS SOUPS 1282 WITH SCORE 1290.284
AT ITER 9182 NEW BEST:: SOT 12683 SOS 8283 HAS SOPS 1283 HAS SOUS 1529 HAS SOUPS 1282 WITH SCORE 1290.283
AT ITER 9213 NEW BEST:: SOT 12680 SOS 8277 HAS SOPS 1271 HAS SOUS 1517 HAS SOUPS 1270 WITH SCORE 1278.277
AT ITER 9436 NEW BEST:: SOT 12695 SOS 8274 HAS SOPS 1265 HAS SOUS 1511 HAS SOUPS 1264 WITH SCORE 1272.274
AT ITER 9549 NEW BEST:: SOT 12694 SOS 8273 HAS SOPS 1264 HAS SOUS 1510 HAS SOUPS 1263 WITH SCORE 1271.273
AT ITER 9590 NEW BEST:: SOT 12693 SOS 8272 HAS SOPS 1262 HAS SOUS 1508 HAS SOUPS 1261 WITH SCORE 1269.272
AT ITER 9602 NEW BEST:: SOT 12693 SOS 8272 HAS SOPS 1261 HAS SOUS 1507 HAS SOUPS 1260 WITH SCORE 1268.272
AT ITER 9621 NEW BEST:: SOT 12693 SOS 8269 HAS SOPS 1261 HAS SOUS 1507 HAS SOUPS 1260 WITH SCORE 1268.269
AT ITER 9748 NEW BEST:: SOT 12692 SOS 8268 HAS SOPS 1257 HAS SOUS 1503 HAS SOUPS 1256 WITH SCORE 1264.268
AT ITER 9772 NEW BEST:: SOT 12686 SOS 8262 HAS SOPS 1249 HAS SOUS 1495 HAS SOUPS 1248 WITH SCORE 1256.262
AT ITER 9918 NEW BEST:: SOT 12697 SOS 8260 HAS SOPS 1221 HAS SOUS 1467 HAS SOUPS 1220 WITH SCORE 1228.26
STATE_SPACE STATES 34522712143932 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 15 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 571193964563223 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679900642271

--------------------
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="DiscoveryGPU-PT-13a"
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 DiscoveryGPU-PT-13a, 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 r131-smll-167819407500400"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DiscoveryGPU-PT-13a.tgz
mv DiscoveryGPU-PT-13a 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 ;