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.r048-ebro-158902541800184.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 DES-PT-00a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541800184
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 192K
-rw-r--r-- 1 mcc users 3.1K Mar 30 01:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 30 01:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 28 16:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 16:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K Apr 8 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 27 08:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 08:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 26 08:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 26 08:15 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 31K Mar 24 05:37 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 1589102903140

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

Filename model.pnml
Petri model created: 115 places, 76 transitions, 373 arcs.
AT ITER 0 NEW BEST:: SOT 6476 SOS 4897 HAS SOPS 4897 HAS SOUS 3746 HAS SOUPS 3746 WITH SCORE 3750.897
AT ITER 2 NEW BEST:: SOT 6458 SOS 4924 HAS SOPS 4924 HAS SOUS 3730 HAS SOUPS 3730 WITH SCORE 3734.924
AT ITER 4 NEW BEST:: SOT 6443 SOS 4881 HAS SOPS 4881 HAS SOUS 3721 HAS SOUPS 3721 WITH SCORE 3725.881
AT ITER 5 NEW BEST:: SOT 6443 SOS 4874 HAS SOPS 4874 HAS SOUS 3714 HAS SOUPS 3714 WITH SCORE 3718.874
AT ITER 6 NEW BEST:: SOT 6428 SOS 4859 HAS SOPS 4859 HAS SOUS 3709 HAS SOUPS 3709 WITH SCORE 3713.859
AT ITER 7 NEW BEST:: SOT 6283 SOS 4660 HAS SOPS 4660 HAS SOUS 3626 HAS SOUPS 3626 WITH SCORE 3630.66
AT ITER 11 NEW BEST:: SOT 6283 SOS 4616 HAS SOPS 4616 HAS SOUS 3614 HAS SOUPS 3614 WITH SCORE 3618.616
AT ITER 12 NEW BEST:: SOT 6248 SOS 4580 HAS SOPS 4580 HAS SOUS 3578 HAS SOUPS 3578 WITH SCORE 3582.58
AT ITER 14 NEW BEST:: SOT 6228 SOS 4565 HAS SOPS 4565 HAS SOUS 3563 HAS SOUPS 3563 WITH SCORE 3567.565
AT ITER 15 NEW BEST:: SOT 6228 SOS 4589 HAS SOPS 4589 HAS SOUS 3554 HAS SOUPS 3554 WITH SCORE 3558.589
AT ITER 18 NEW BEST:: SOT 6218 SOS 4568 HAS SOPS 4568 HAS SOUS 3541 HAS SOUPS 3541 WITH SCORE 3545.568
AT ITER 20 NEW BEST:: SOT 6218 SOS 4569 HAS SOPS 4569 HAS SOUS 3532 HAS SOUPS 3532 WITH SCORE 3536.569
AT ITER 27 NEW BEST:: SOT 6170 SOS 4513 HAS SOPS 4513 HAS SOUS 3476 HAS SOUPS 3476 WITH SCORE 3480.513
AT ITER 32 NEW BEST:: SOT 6128 SOS 4495 HAS SOPS 4495 HAS SOUS 3458 HAS SOUPS 3458 WITH SCORE 3462.495
AT ITER 35 NEW BEST:: SOT 6105 SOS 4492 HAS SOPS 4492 HAS SOUS 3455 HAS SOUPS 3455 WITH SCORE 3459.492
AT ITER 37 NEW BEST:: SOT 6102 SOS 4470 HAS SOPS 4470 HAS SOUS 3433 HAS SOUPS 3433 WITH SCORE 3437.47
AT ITER 38 NEW BEST:: SOT 6102 SOS 4462 HAS SOPS 4462 HAS SOUS 3425 HAS SOUPS 3425 WITH SCORE 3429.462
AT ITER 39 NEW BEST:: SOT 6102 SOS 4431 HAS SOPS 4431 HAS SOUS 3394 HAS SOUPS 3394 WITH SCORE 3398.431
AT ITER 48 NEW BEST:: SOT 6080 SOS 4410 HAS SOPS 4410 HAS SOUS 3373 HAS SOUPS 3373 WITH SCORE 3377.41
AT ITER 49 NEW BEST:: SOT 6071 SOS 4405 HAS SOPS 4405 HAS SOUS 3368 HAS SOUPS 3368 WITH SCORE 3372.405
AT ITER 52 NEW BEST:: SOT 6068 SOS 4402 HAS SOPS 4402 HAS SOUS 3365 HAS SOUPS 3365 WITH SCORE 3369.402
AT ITER 55 NEW BEST:: SOT 6057 SOS 4391 HAS SOPS 4391 HAS SOUS 3354 HAS SOUPS 3354 WITH SCORE 3358.391
AT ITER 68 NEW BEST:: SOT 5986 SOS 4343 HAS SOPS 4343 HAS SOUS 3306 HAS SOUPS 3306 WITH SCORE 3310.343
AT ITER 70 NEW BEST:: SOT 5986 SOS 4332 HAS SOPS 4332 HAS SOUS 3303 HAS SOUPS 3303 WITH SCORE 3307.332
AT ITER 85 NEW BEST:: SOT 5994 SOS 4364 HAS SOPS 4364 HAS SOUS 3277 HAS SOUPS 3277 WITH SCORE 3281.364
AT ITER 88 NEW BEST:: SOT 5988 SOS 4355 HAS SOPS 4355 HAS SOUS 3268 HAS SOUPS 3268 WITH SCORE 3272.355
AT ITER 94 NEW BEST:: SOT 5974 SOS 4341 HAS SOPS 4341 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3258.341
AT ITER 100 NEW BEST:: SOT 5974 SOS 4325 HAS SOPS 4325 HAS SOUS 3238 HAS SOUPS 3238 WITH SCORE 3242.325
AT ITER 105 NEW BEST:: SOT 5974 SOS 4299 HAS SOPS 4299 HAS SOUS 3229 HAS SOUPS 3229 WITH SCORE 3233.299
AT ITER 107 NEW BEST:: SOT 5977 SOS 4292 HAS SOPS 4292 HAS SOUS 3221 HAS SOUPS 3221 WITH SCORE 3225.292
AT ITER 111 NEW BEST:: SOT 5975 SOS 4290 HAS SOPS 4290 HAS SOUS 3219 HAS SOUPS 3219 WITH SCORE 3223.29
AT ITER 112 NEW BEST:: SOT 5975 SOS 4258 HAS SOPS 4258 HAS SOUS 3187 HAS SOUPS 3187 WITH SCORE 3191.258
AT ITER 123 NEW BEST:: SOT 5972 SOS 4255 HAS SOPS 4255 HAS SOUS 3184 HAS SOUPS 3184 WITH SCORE 3188.255
AT ITER 128 NEW BEST:: SOT 6009 SOS 4273 HAS SOPS 4273 HAS SOUS 3170 HAS SOUPS 3170 WITH SCORE 3174.273
AT ITER 131 NEW BEST:: SOT 6009 SOS 4272 HAS SOPS 4272 HAS SOUS 3169 HAS SOUPS 3169 WITH SCORE 3173.272
AT ITER 133 NEW BEST:: SOT 6004 SOS 4267 HAS SOPS 4267 HAS SOUS 3164 HAS SOUPS 3164 WITH SCORE 3168.267
AT ITER 137 NEW BEST:: SOT 5997 SOS 4233 HAS SOPS 4233 HAS SOUS 3130 HAS SOUPS 3130 WITH SCORE 3134.233
AT ITER 140 NEW BEST:: SOT 6005 SOS 4224 HAS SOPS 4224 HAS SOUS 3121 HAS SOUPS 3121 WITH SCORE 3125.224
AT ITER 146 NEW BEST:: SOT 6009 SOS 4228 HAS SOPS 4228 HAS SOUS 3115 HAS SOUPS 3115 WITH SCORE 3119.228
AT ITER 154 NEW BEST:: SOT 6039 SOS 4223 HAS SOPS 4223 HAS SOUS 3109 HAS SOUPS 3109 WITH SCORE 3113.223
AT ITER 160 NEW BEST:: SOT 5859 SOS 4036 HAS SOPS 4036 HAS SOUS 3089 HAS SOUPS 3089 WITH SCORE 3093.036
AT ITER 163 NEW BEST:: SOT 5847 SOS 4044 HAS SOPS 4044 HAS SOUS 3088 HAS SOUPS 3088 WITH SCORE 3092.044
AT ITER 164 NEW BEST:: SOT 5830 SOS 4027 HAS SOPS 4027 HAS SOUS 3071 HAS SOUPS 3071 WITH SCORE 3075.027
AT ITER 166 NEW BEST:: SOT 5829 SOS 3995 HAS SOPS 3995 HAS SOUS 3047 HAS SOUPS 3047 WITH SCORE 3050.995
AT ITER 173 NEW BEST:: SOT 5791 SOS 3949 HAS SOPS 3949 HAS SOUS 3001 HAS SOUPS 3001 WITH SCORE 3004.949
AT ITER 186 NEW BEST:: SOT 5707 SOS 3888 HAS SOPS 3888 HAS SOUS 2927 HAS SOUPS 2927 WITH SCORE 2930.888
AT ITER 194 NEW BEST:: SOT 5707 SOS 3860 HAS SOPS 3860 HAS SOUS 2899 HAS SOUPS 2899 WITH SCORE 2902.86
AT ITER 198 NEW BEST:: SOT 5704 SOS 3857 HAS SOPS 3857 HAS SOUS 2898 HAS SOUPS 2898 WITH SCORE 2901.857
AT ITER 201 NEW BEST:: SOT 5693 SOS 3840 HAS SOPS 3840 HAS SOUS 2881 HAS SOUPS 2881 WITH SCORE 2884.84
AT ITER 202 NEW BEST:: SOT 5657 SOS 3802 HAS SOPS 3802 HAS SOUS 2879 HAS SOUPS 2879 WITH SCORE 2882.802
AT ITER 204 NEW BEST:: SOT 5627 SOS 3763 HAS SOPS 3763 HAS SOUS 2840 HAS SOUPS 2840 WITH SCORE 2843.763
AT ITER 205 NEW BEST:: SOT 5618 SOS 3753 HAS SOPS 3753 HAS SOUS 2830 HAS SOUPS 2830 WITH SCORE 2833.753
AT ITER 210 NEW BEST:: SOT 5604 SOS 3708 HAS SOPS 3708 HAS SOUS 2808 HAS SOUPS 2808 WITH SCORE 2811.708
AT ITER 211 NEW BEST:: SOT 5586 SOS 3690 HAS SOPS 3690 HAS SOUS 2794 HAS SOUPS 2794 WITH SCORE 2797.69
AT ITER 232 NEW BEST:: SOT 5567 SOS 3686 HAS SOPS 3686 HAS SOUS 2792 HAS SOUPS 2792 WITH SCORE 2795.686
AT ITER 243 NEW BEST:: SOT 5547 SOS 3666 HAS SOPS 3666 HAS SOUS 2792 HAS SOUPS 2792 WITH SCORE 2795.666
AT ITER 250 NEW BEST:: SOT 5530 SOS 3658 HAS SOPS 3658 HAS SOUS 2780 HAS SOUPS 2780 WITH SCORE 2783.658
AT ITER 251 NEW BEST:: SOT 5489 SOS 3617 HAS SOPS 3617 HAS SOUS 2739 HAS SOUPS 2739 WITH SCORE 2742.617
AT ITER 253 NEW BEST:: SOT 5477 SOS 3603 HAS SOPS 3603 HAS SOUS 2733 HAS SOUPS 2733 WITH SCORE 2736.603
AT ITER 259 NEW BEST:: SOT 5481 SOS 3591 HAS SOPS 3591 HAS SOUS 2721 HAS SOUPS 2721 WITH SCORE 2724.591
AT ITER 263 NEW BEST:: SOT 5433 SOS 3543 HAS SOPS 3543 HAS SOUS 2721 HAS SOUPS 2721 WITH SCORE 2724.543
AT ITER 266 NEW BEST:: SOT 5438 SOS 3542 HAS SOPS 3542 HAS SOUS 2720 HAS SOUPS 2720 WITH SCORE 2723.542
AT ITER 276 NEW BEST:: SOT 5461 SOS 3569 HAS SOPS 3569 HAS SOUS 2717 HAS SOUPS 2717 WITH SCORE 2720.569
AT ITER 279 NEW BEST:: SOT 5451 SOS 3555 HAS SOPS 3555 HAS SOUS 2703 HAS SOUPS 2703 WITH SCORE 2706.555
AT ITER 280 NEW BEST:: SOT 5445 SOS 3545 HAS SOPS 3545 HAS SOUS 2697 HAS SOUPS 2697 WITH SCORE 2700.545
AT ITER 282 NEW BEST:: SOT 5439 SOS 3539 HAS SOPS 3539 HAS SOUS 2695 HAS SOUPS 2695 WITH SCORE 2698.539
AT ITER 283 NEW BEST:: SOT 5439 SOS 3527 HAS SOPS 3527 HAS SOUS 2690 HAS SOUPS 2690 WITH SCORE 2693.527
AT ITER 285 NEW BEST:: SOT 5424 SOS 3514 HAS SOPS 3514 HAS SOUS 2663 HAS SOUPS 2663 WITH SCORE 2666.514
AT ITER 291 NEW BEST:: SOT 5356 SOS 3446 HAS SOPS 3446 HAS SOUS 2659 HAS SOUPS 2659 WITH SCORE 2662.446
AT ITER 303 NEW BEST:: SOT 5316 SOS 3385 HAS SOPS 3385 HAS SOUS 2630 HAS SOUPS 2630 WITH SCORE 2633.385
AT ITER 304 NEW BEST:: SOT 5309 SOS 3378 HAS SOPS 3378 HAS SOUS 2623 HAS SOUPS 2623 WITH SCORE 2626.378
AT ITER 309 NEW BEST:: SOT 5299 SOS 3358 HAS SOPS 3358 HAS SOUS 2603 HAS SOUPS 2603 WITH SCORE 2606.358
AT ITER 328 NEW BEST:: SOT 5295 SOS 3350 HAS SOPS 3350 HAS SOUS 2595 HAS SOUPS 2595 WITH SCORE 2598.35
AT ITER 333 NEW BEST:: SOT 5279 SOS 3296 HAS SOPS 3296 HAS SOUS 2541 HAS SOUPS 2541 WITH SCORE 2544.296
AT ITER 345 NEW BEST:: SOT 5271 SOS 3286 HAS SOPS 3286 HAS SOUS 2531 HAS SOUPS 2531 WITH SCORE 2534.286
AT ITER 353 NEW BEST:: SOT 5223 SOS 3237 HAS SOPS 3237 HAS SOUS 2495 HAS SOUPS 2495 WITH SCORE 2498.237
AT ITER 357 NEW BEST:: SOT 5216 SOS 3216 HAS SOPS 3216 HAS SOUS 2474 HAS SOUPS 2474 WITH SCORE 2477.216
AT ITER 361 NEW BEST:: SOT 5256 SOS 3249 HAS SOPS 3249 HAS SOUS 2464 HAS SOUPS 2464 WITH SCORE 2467.249
AT ITER 364 NEW BEST:: SOT 5223 SOS 3226 HAS SOPS 3226 HAS SOUS 2441 HAS SOUPS 2441 WITH SCORE 2444.226
AT ITER 370 NEW BEST:: SOT 5212 SOS 3214 HAS SOPS 3214 HAS SOUS 2429 HAS SOUPS 2429 WITH SCORE 2432.214
AT ITER 382 NEW BEST:: SOT 5195 SOS 3182 HAS SOPS 3182 HAS SOUS 2397 HAS SOUPS 2397 WITH SCORE 2400.182
AT ITER 384 NEW BEST:: SOT 5243 SOS 3113 HAS SOPS 3113 HAS SOUS 2382 HAS SOUPS 2382 WITH SCORE 2385.113
AT ITER 387 NEW BEST:: SOT 5245 SOS 3109 HAS SOPS 3109 HAS SOUS 2378 HAS SOUPS 2378 WITH SCORE 2381.109
AT ITER 403 NEW BEST:: SOT 5238 SOS 3100 HAS SOPS 3100 HAS SOUS 2369 HAS SOUPS 2369 WITH SCORE 2372.1
AT ITER 405 NEW BEST:: SOT 5220 SOS 3082 HAS SOPS 3082 HAS SOUS 2351 HAS SOUPS 2351 WITH SCORE 2354.082
AT ITER 408 NEW BEST:: SOT 5217 SOS 3079 HAS SOPS 3079 HAS SOUS 2348 HAS SOUPS 2348 WITH SCORE 2351.079
AT ITER 411 NEW BEST:: SOT 5163 SOS 3041 HAS SOPS 3041 HAS SOUS 2323 HAS SOUPS 2323 WITH SCORE 2326.041
AT ITER 424 NEW BEST:: SOT 5125 SOS 2984 HAS SOPS 2984 HAS SOUS 2266 HAS SOUPS 2266 WITH SCORE 2268.984
AT ITER 427 NEW BEST:: SOT 5023 SOS 2902 HAS SOPS 2902 HAS SOUS 2250 HAS SOUPS 2250 WITH SCORE 2252.902
AT ITER 430 NEW BEST:: SOT 5031 SOS 2889 HAS SOPS 2889 HAS SOUS 2237 HAS SOUPS 2237 WITH SCORE 2239.889
AT ITER 435 NEW BEST:: SOT 5030 SOS 2886 HAS SOPS 2886 HAS SOUS 2234 HAS SOUPS 2234 WITH SCORE 2236.886
AT ITER 444 NEW BEST:: SOT 5030 SOS 2849 HAS SOPS 2849 HAS SOUS 2197 HAS SOUPS 2197 WITH SCORE 2199.849
AT ITER 450 NEW BEST:: SOT 4965 SOS 2771 HAS SOPS 2771 HAS SOUS 2171 HAS SOUPS 2171 WITH SCORE 2173.771
AT ITER 464 NEW BEST:: SOT 4965 SOS 2770 HAS SOPS 2770 HAS SOUS 2170 HAS SOUPS 2170 WITH SCORE 2172.77
AT ITER 475 NEW BEST:: SOT 4965 SOS 2742 HAS SOPS 2742 HAS SOUS 2162 HAS SOUPS 2162 WITH SCORE 2164.742
AT ITER 483 NEW BEST:: SOT 4960 SOS 2724 HAS SOPS 2724 HAS SOUS 2144 HAS SOUPS 2144 WITH SCORE 2146.724
AT ITER 516 NEW BEST:: SOT 4912 SOS 2715 HAS SOPS 2715 HAS SOUS 2142 HAS SOUPS 2142 WITH SCORE 2144.715
AT ITER 521 NEW BEST:: SOT 4912 SOS 2682 HAS SOPS 2682 HAS SOUS 2120 HAS SOUPS 2120 WITH SCORE 2122.682
AT ITER 545 NEW BEST:: SOT 4900 SOS 2670 HAS SOPS 2670 HAS SOUS 2108 HAS SOUPS 2108 WITH SCORE 2110.67
AT ITER 555 NEW BEST:: SOT 4924 SOS 2695 HAS SOPS 2695 HAS SOUS 2105 HAS SOUPS 2105 WITH SCORE 2107.695
AT ITER 560 NEW BEST:: SOT 4982 SOS 2703 HAS SOPS 2703 HAS SOUS 2100 HAS SOUPS 2100 WITH SCORE 2102.703
AT ITER 573 NEW BEST:: SOT 4979 SOS 2701 HAS SOPS 2701 HAS SOUS 2099 HAS SOUPS 2099 WITH SCORE 2101.701
AT ITER 586 NEW BEST:: SOT 4966 SOS 2692 HAS SOPS 2692 HAS SOUS 2098 HAS SOUPS 2098 WITH SCORE 2100.692
AT ITER 592 NEW BEST:: SOT 4959 SOS 2676 HAS SOPS 2676 HAS SOUS 2082 HAS SOUPS 2082 WITH SCORE 2084.676
AT ITER 598 NEW BEST:: SOT 4960 SOS 2673 HAS SOPS 2673 HAS SOUS 2079 HAS SOUPS 2079 WITH SCORE 2081.673
AT ITER 607 NEW BEST:: SOT 4956 SOS 2669 HAS SOPS 2669 HAS SOUS 2075 HAS SOUPS 2075 WITH SCORE 2077.669
AT ITER 626 NEW BEST:: SOT 4954 SOS 2667 HAS SOPS 2667 HAS SOUS 2073 HAS SOUPS 2073 WITH SCORE 2075.667
AT ITER 631 NEW BEST:: SOT 4952 SOS 2665 HAS SOPS 2665 HAS SOUS 2071 HAS SOUPS 2071 WITH SCORE 2073.665
AT ITER 640 NEW BEST:: SOT 4952 SOS 2660 HAS SOPS 2660 HAS SOUS 2066 HAS SOUPS 2066 WITH SCORE 2068.66
AT ITER 648 NEW BEST:: SOT 4964 SOS 2612 HAS SOPS 2612 HAS SOUS 2063 HAS SOUPS 2063 WITH SCORE 2065.612
AT ITER 659 NEW BEST:: SOT 4958 SOS 2606 HAS SOPS 2606 HAS SOUS 2061 HAS SOUPS 2061 WITH SCORE 2063.606
AT ITER 661 NEW BEST:: SOT 4962 SOS 2605 HAS SOPS 2605 HAS SOUS 2060 HAS SOUPS 2060 WITH SCORE 2062.605
AT ITER 669 NEW BEST:: SOT 4968 SOS 2599 HAS SOPS 2599 HAS SOUS 2054 HAS SOUPS 2054 WITH SCORE 2056.599
AT ITER 675 NEW BEST:: SOT 4955 SOS 2573 HAS SOPS 2573 HAS SOUS 2028 HAS SOUPS 2028 WITH SCORE 2030.573
AT ITER 678 NEW BEST:: SOT 4954 SOS 2571 HAS SOPS 2571 HAS SOUS 2026 HAS SOUPS 2026 WITH SCORE 2028.571
AT ITER 705 NEW BEST:: SOT 4967 SOS 2574 HAS SOPS 2574 HAS SOUS 2023 HAS SOUPS 2023 WITH SCORE 2025.574
AT ITER 719 NEW BEST:: SOT 4976 SOS 2568 HAS SOPS 2568 HAS SOUS 2019 HAS SOUPS 2019 WITH SCORE 2021.568
AT ITER 723 NEW BEST:: SOT 4952 SOS 2538 HAS SOPS 2538 HAS SOUS 2005 HAS SOUPS 2005 WITH SCORE 2007.538
AT ITER 730 NEW BEST:: SOT 4942 SOS 2526 HAS SOPS 2526 HAS SOUS 1993 HAS SOUPS 1993 WITH SCORE 1995.526
AT ITER 738 NEW BEST:: SOT 4937 SOS 2512 HAS SOPS 2512 HAS SOUS 1979 HAS SOUPS 1979 WITH SCORE 1981.512
AT ITER 758 NEW BEST:: SOT 4937 SOS 2543 HAS SOPS 2543 HAS SOUS 1978 HAS SOUPS 1978 WITH SCORE 1980.543
AT ITER 764 NEW BEST:: SOT 4920 SOS 2517 HAS SOPS 2517 HAS SOUS 1974 HAS SOUPS 1974 WITH SCORE 1976.517
AT ITER 783 NEW BEST:: SOT 4916 SOS 2512 HAS SOPS 2512 HAS SOUS 1969 HAS SOUPS 1969 WITH SCORE 1971.512
AT ITER 788 NEW BEST:: SOT 4914 SOS 2510 HAS SOPS 2510 HAS SOUS 1967 HAS SOUPS 1967 WITH SCORE 1969.51
AT ITER 797 NEW BEST:: SOT 4908 SOS 2502 HAS SOPS 2502 HAS SOUS 1959 HAS SOUPS 1959 WITH SCORE 1961.502
AT ITER 818 NEW BEST:: SOT 4904 SOS 2498 HAS SOPS 2498 HAS SOUS 1955 HAS SOUPS 1955 WITH SCORE 1957.498
AT ITER 865 NEW BEST:: SOT 4894 SOS 2497 HAS SOPS 2497 HAS SOUS 1954 HAS SOUPS 1954 WITH SCORE 1956.497
AT ITER 877 NEW BEST:: SOT 4888 SOS 2491 HAS SOPS 2491 HAS SOUS 1948 HAS SOUPS 1948 WITH SCORE 1950.491
AT ITER 888 NEW BEST:: SOT 4885 SOS 2485 HAS SOPS 2485 HAS SOUS 1942 HAS SOUPS 1942 WITH SCORE 1944.485
AT ITER 894 NEW BEST:: SOT 4884 SOS 2484 HAS SOPS 2484 HAS SOUS 1941 HAS SOUPS 1941 WITH SCORE 1943.484
AT ITER 897 NEW BEST:: SOT 4882 SOS 2482 HAS SOPS 2482 HAS SOUS 1939 HAS SOUPS 1939 WITH SCORE 1941.482
AT ITER 938 NEW BEST:: SOT 4878 SOS 2478 HAS SOPS 2478 HAS SOUS 1935 HAS SOUPS 1935 WITH SCORE 1937.478
AT ITER 949 NEW BEST:: SOT 4837 SOS 2406 HAS SOPS 2406 HAS SOUS 1863 HAS SOUPS 1863 WITH SCORE 1865.406
AT ITER 952 NEW BEST:: SOT 4834 SOS 2403 HAS SOPS 2403 HAS SOUS 1861 HAS SOUPS 1861 WITH SCORE 1863.403
AT ITER 961 NEW BEST:: SOT 4771 SOS 2329 HAS SOPS 2329 HAS SOUS 1839 HAS SOUPS 1839 WITH SCORE 1841.329
AT ITER 982 NEW BEST:: SOT 4755 SOS 2319 HAS SOPS 2319 HAS SOUS 1829 HAS SOUPS 1829 WITH SCORE 1831.319
AT ITER 1018 NEW BEST:: SOT 4754 SOS 2318 HAS SOPS 2318 HAS SOUS 1828 HAS SOUPS 1828 WITH SCORE 1830.318
AT ITER 1120 NEW BEST:: SOT 4752 SOS 2316 HAS SOPS 2316 HAS SOUS 1826 HAS SOUPS 1826 WITH SCORE 1828.316
AT ITER 1150 NEW BEST:: SOT 4744 SOS 2309 HAS SOPS 2309 HAS SOUS 1825 HAS SOUPS 1825 WITH SCORE 1827.309
AT ITER 1155 NEW BEST:: SOT 4736 SOS 2292 HAS SOPS 2292 HAS SOUS 1808 HAS SOUPS 1808 WITH SCORE 1810.292
AT ITER 1205 NEW BEST:: SOT 4732 SOS 2280 HAS SOPS 2280 HAS SOUS 1804 HAS SOUPS 1804 WITH SCORE 1806.28
AT ITER 1219 NEW BEST:: SOT 4732 SOS 2276 HAS SOPS 2276 HAS SOUS 1801 HAS SOUPS 1801 WITH SCORE 1803.276
AT ITER 1222 NEW BEST:: SOT 4728 SOS 2256 HAS SOPS 2256 HAS SOUS 1781 HAS SOUPS 1781 WITH SCORE 1783.256
AT ITER 1234 NEW BEST:: SOT 4694 SOS 2222 HAS SOPS 2222 HAS SOUS 1773 HAS SOUPS 1773 WITH SCORE 1775.222
AT ITER 1247 NEW BEST:: SOT 4691 SOS 2213 HAS SOPS 2213 HAS SOUS 1764 HAS SOUPS 1764 WITH SCORE 1766.213
AT ITER 1253 NEW BEST:: SOT 4690 SOS 2212 HAS SOPS 2212 HAS SOUS 1763 HAS SOUPS 1763 WITH SCORE 1765.212
AT ITER 1260 NEW BEST:: SOT 4702 SOS 2182 HAS SOPS 2182 HAS SOUS 1753 HAS SOUPS 1753 WITH SCORE 1755.182
AT ITER 1288 NEW BEST:: SOT 4779 SOS 2230 HAS SOPS 2230 HAS SOUS 1745 HAS SOUPS 1745 WITH SCORE 1747.23
AT ITER 1296 NEW BEST:: SOT 4765 SOS 2207 HAS SOPS 2207 HAS SOUS 1722 HAS SOUPS 1722 WITH SCORE 1724.207
AT ITER 1301 NEW BEST:: SOT 4766 SOS 2204 HAS SOPS 2204 HAS SOUS 1719 HAS SOUPS 1719 WITH SCORE 1721.204
AT ITER 1316 NEW BEST:: SOT 4764 SOS 2200 HAS SOPS 2200 HAS SOUS 1715 HAS SOUPS 1715 WITH SCORE 1717.2
AT ITER 1346 NEW BEST:: SOT 4756 SOS 2189 HAS SOPS 2189 HAS SOUS 1704 HAS SOUPS 1704 WITH SCORE 1706.189
AT ITER 1376 NEW BEST:: SOT 4751 SOS 2180 HAS SOPS 2180 HAS SOUS 1702 HAS SOUPS 1702 WITH SCORE 1704.18
AT ITER 1397 NEW BEST:: SOT 4750 SOS 2179 HAS SOPS 2179 HAS SOUS 1701 HAS SOUPS 1701 WITH SCORE 1703.179
AT ITER 1420 NEW BEST:: SOT 4749 SOS 2178 HAS SOPS 2178 HAS SOUS 1700 HAS SOUPS 1700 WITH SCORE 1702.178
AT ITER 1468 NEW BEST:: SOT 4749 SOS 2171 HAS SOPS 2171 HAS SOUS 1693 HAS SOUPS 1693 WITH SCORE 1695.171
AT ITER 1504 NEW BEST:: SOT 4748 SOS 2169 HAS SOPS 2169 HAS SOUS 1691 HAS SOUPS 1691 WITH SCORE 1693.169
AT ITER 1505 NEW BEST:: SOT 4748 SOS 2162 HAS SOPS 2162 HAS SOUS 1686 HAS SOUPS 1686 WITH SCORE 1688.162
AT ITER 1577 NEW BEST:: SOT 4743 SOS 2151 HAS SOPS 2151 HAS SOUS 1683 HAS SOUPS 1683 WITH SCORE 1685.151
AT ITER 1582 NEW BEST:: SOT 4734 SOS 2146 HAS SOPS 2146 HAS SOUS 1678 HAS SOUPS 1678 WITH SCORE 1680.146
AT ITER 1596 NEW BEST:: SOT 4734 SOS 2143 HAS SOPS 2143 HAS SOUS 1675 HAS SOUPS 1675 WITH SCORE 1677.143
AT ITER 1605 NEW BEST:: SOT 4735 SOS 2141 HAS SOPS 2141 HAS SOUS 1673 HAS SOUPS 1673 WITH SCORE 1675.141
AT ITER 1611 NEW BEST:: SOT 4735 SOS 2138 HAS SOPS 2138 HAS SOUS 1670 HAS SOUPS 1670 WITH SCORE 1672.138
AT ITER 1612 NEW BEST:: SOT 4732 SOS 2136 HAS SOPS 2136 HAS SOUS 1668 HAS SOUPS 1668 WITH SCORE 1670.136
AT ITER 1649 NEW BEST:: SOT 4727 SOS 2125 HAS SOPS 2125 HAS SOUS 1657 HAS SOUPS 1657 WITH SCORE 1659.125
AT ITER 1730 NEW BEST:: SOT 4725 SOS 2123 HAS SOPS 2123 HAS SOUS 1655 HAS SOUPS 1655 WITH SCORE 1657.123
AT ITER 1744 NEW BEST:: SOT 4725 SOS 2122 HAS SOPS 2122 HAS SOUS 1654 HAS SOUPS 1654 WITH SCORE 1656.122
AT ITER 1758 NEW BEST:: SOT 4710 SOS 2109 HAS SOPS 2109 HAS SOUS 1639 HAS SOUPS 1639 WITH SCORE 1641.109
AT ITER 1808 NEW BEST:: SOT 4702 SOS 2094 HAS SOPS 2094 HAS SOUS 1624 HAS SOUPS 1624 WITH SCORE 1626.094
AT ITER 1824 NEW BEST:: SOT 4702 SOS 2092 HAS SOPS 2092 HAS SOUS 1622 HAS SOUPS 1622 WITH SCORE 1624.092
AT ITER 1863 NEW BEST:: SOT 4672 SOS 2058 HAS SOPS 2058 HAS SOUS 1614 HAS SOUPS 1614 WITH SCORE 1616.058
AT ITER 1896 NEW BEST:: SOT 4660 SOS 2052 HAS SOPS 2052 HAS SOUS 1614 HAS SOUPS 1614 WITH SCORE 1616.052
AT ITER 1904 NEW BEST:: SOT 4650 SOS 2051 HAS SOPS 2051 HAS SOUS 1607 HAS SOUPS 1607 WITH SCORE 1609.051
AT ITER 1911 NEW BEST:: SOT 4650 SOS 2051 HAS SOPS 2051 HAS SOUS 1604 HAS SOUPS 1604 WITH SCORE 1606.051
AT ITER 1935 NEW BEST:: SOT 4650 SOS 2050 HAS SOPS 2050 HAS SOUS 1603 HAS SOUPS 1603 WITH SCORE 1605.05
AT ITER 1954 NEW BEST:: SOT 4649 SOS 2046 HAS SOPS 2046 HAS SOUS 1599 HAS SOUPS 1599 WITH SCORE 1601.046
AT ITER 1978 NEW BEST:: SOT 4643 SOS 2040 HAS SOPS 2040 HAS SOUS 1593 HAS SOUPS 1593 WITH SCORE 1595.04
AT ITER 1985 NEW BEST:: SOT 4640 SOS 2037 HAS SOPS 2037 HAS SOUS 1590 HAS SOUPS 1590 WITH SCORE 1592.037
AT ITER 2009 NEW BEST:: SOT 4638 SOS 2037 HAS SOPS 2037 HAS SOUS 1588 HAS SOUPS 1588 WITH SCORE 1590.037
AT ITER 2047 NEW BEST:: SOT 4641 SOS 2040 HAS SOPS 2040 HAS SOUS 1587 HAS SOUPS 1587 WITH SCORE 1589.04
AT ITER 2083 NEW BEST:: SOT 4634 SOS 2039 HAS SOPS 2039 HAS SOUS 1586 HAS SOUPS 1586 WITH SCORE 1588.039
AT ITER 2100 NEW BEST:: SOT 4630 SOS 2031 HAS SOPS 2031 HAS SOUS 1578 HAS SOUPS 1578 WITH SCORE 1580.031
AT ITER 2152 NEW BEST:: SOT 4628 SOS 2035 HAS SOPS 2035 HAS SOUS 1577 HAS SOUPS 1577 WITH SCORE 1579.035
AT ITER 2249 NEW BEST:: SOT 4628 SOS 2034 HAS SOPS 2034 HAS SOUS 1576 HAS SOUPS 1576 WITH SCORE 1578.034
AT ITER 2295 NEW BEST:: SOT 4622 SOS 2025 HAS SOPS 2025 HAS SOUS 1567 HAS SOUPS 1567 WITH SCORE 1569.025
AT ITER 2319 NEW BEST:: SOT 4622 SOS 2024 HAS SOPS 2024 HAS SOUS 1566 HAS SOUPS 1566 WITH SCORE 1568.024
AT ITER 2328 NEW BEST:: SOT 4623 SOS 2024 HAS SOPS 2024 HAS SOUS 1563 HAS SOUPS 1563 WITH SCORE 1565.024
AT ITER 2413 NEW BEST:: SOT 4601 SOS 2021 HAS SOPS 2021 HAS SOUS 1556 HAS SOUPS 1556 WITH SCORE 1558.021
AT ITER 2435 NEW BEST:: SOT 4599 SOS 2020 HAS SOPS 2020 HAS SOUS 1555 HAS SOUPS 1555 WITH SCORE 1557.02
AT ITER 2481 NEW BEST:: SOT 4598 SOS 2019 HAS SOPS 2019 HAS SOUS 1554 HAS SOUPS 1554 WITH SCORE 1556.019
AT ITER 2511 NEW BEST:: SOT 4596 SOS 2018 HAS SOPS 2018 HAS SOUS 1552 HAS SOUPS 1552 WITH SCORE 1554.018
AT ITER 2610 NEW BEST:: SOT 4595 SOS 2016 HAS SOPS 2016 HAS SOUS 1550 HAS SOUPS 1550 WITH SCORE 1552.016
AT ITER 2650 NEW BEST:: SOT 4586 SOS 2007 HAS SOPS 2007 HAS SOUS 1541 HAS SOUPS 1541 WITH SCORE 1543.007
AT ITER 2680 NEW BEST:: SOT 4585 SOS 2006 HAS SOPS 2006 HAS SOUS 1540 HAS SOUPS 1540 WITH SCORE 1542.006
AT ITER 2681 NEW BEST:: SOT 4583 SOS 2004 HAS SOPS 2004 HAS SOUS 1538 HAS SOUPS 1538 WITH SCORE 1540.004
AT ITER 2698 NEW BEST:: SOT 4580 SOS 2001 HAS SOPS 2001 HAS SOUS 1535 HAS SOUPS 1535 WITH SCORE 1537.001
AT ITER 2707 NEW BEST:: SOT 4578 SOS 2000 HAS SOPS 2000 HAS SOUS 1534 HAS SOUPS 1534 WITH SCORE 1536.0
AT ITER 2756 NEW BEST:: SOT 4574 SOS 1999 HAS SOPS 1999 HAS SOUS 1533 HAS SOUPS 1533 WITH SCORE 1534.999
AT ITER 2761 NEW BEST:: SOT 4571 SOS 1995 HAS SOPS 1995 HAS SOUS 1530 HAS SOUPS 1530 WITH SCORE 1531.995
AT ITER 2764 NEW BEST:: SOT 4566 SOS 1972 HAS SOPS 1972 HAS SOUS 1520 HAS SOUPS 1520 WITH SCORE 1521.972
AT ITER 2784 NEW BEST:: SOT 4564 SOS 1970 HAS SOPS 1970 HAS SOUS 1518 HAS SOUPS 1518 WITH SCORE 1519.97
AT ITER 2811 NEW BEST:: SOT 4567 SOS 1967 HAS SOPS 1967 HAS SOUS 1515 HAS SOUPS 1515 WITH SCORE 1516.967
AT ITER 2870 NEW BEST:: SOT 4565 SOS 1962 HAS SOPS 1962 HAS SOUS 1510 HAS SOUPS 1510 WITH SCORE 1511.962
AT ITER 2920 NEW BEST:: SOT 4555 SOS 1955 HAS SOPS 1955 HAS SOUS 1510 HAS SOUPS 1510 WITH SCORE 1511.955
AT ITER 2981 NEW BEST:: SOT 4538 SOS 1935 HAS SOPS 1935 HAS SOUS 1502 HAS SOUPS 1502 WITH SCORE 1503.935
AT ITER 2995 NEW BEST:: SOT 4538 SOS 1934 HAS SOPS 1934 HAS SOUS 1501 HAS SOUPS 1501 WITH SCORE 1502.934
AT ITER 3008 NEW BEST:: SOT 4538 SOS 1932 HAS SOPS 1932 HAS SOUS 1500 HAS SOUPS 1500 WITH SCORE 1501.932
AT ITER 3044 NEW BEST:: SOT 4538 SOS 1931 HAS SOPS 1931 HAS SOUS 1499 HAS SOUPS 1499 WITH SCORE 1500.931
AT ITER 3081 NEW BEST:: SOT 4538 SOS 1928 HAS SOPS 1928 HAS SOUS 1496 HAS SOUPS 1496 WITH SCORE 1497.928
AT ITER 3094 NEW BEST:: SOT 4536 SOS 1926 HAS SOPS 1926 HAS SOUS 1494 HAS SOUPS 1494 WITH SCORE 1495.926
AT ITER 3100 NEW BEST:: SOT 4532 SOS 1917 HAS SOPS 1917 HAS SOUS 1491 HAS SOUPS 1491 WITH SCORE 1492.917
AT ITER 3128 NEW BEST:: SOT 4530 SOS 1916 HAS SOPS 1916 HAS SOUS 1490 HAS SOUPS 1490 WITH SCORE 1491.916
AT ITER 3139 NEW BEST:: SOT 4524 SOS 1905 HAS SOPS 1905 HAS SOUS 1478 HAS SOUPS 1478 WITH SCORE 1479.905
AT ITER 3162 NEW BEST:: SOT 4519 SOS 1903 HAS SOPS 1903 HAS SOUS 1476 HAS SOUPS 1476 WITH SCORE 1477.903
AT ITER 3169 NEW BEST:: SOT 4515 SOS 1895 HAS SOPS 1895 HAS SOUS 1468 HAS SOUPS 1468 WITH SCORE 1469.895
AT ITER 3180 NEW BEST:: SOT 4515 SOS 1888 HAS SOPS 1888 HAS SOUS 1461 HAS SOUPS 1461 WITH SCORE 1462.888
AT ITER 3201 NEW BEST:: SOT 4513 SOS 1885 HAS SOPS 1885 HAS SOUS 1458 HAS SOUPS 1458 WITH SCORE 1459.885
AT ITER 3223 NEW BEST:: SOT 4513 SOS 1884 HAS SOPS 1884 HAS SOUS 1458 HAS SOUPS 1458 WITH SCORE 1459.884
AT ITER 3249 NEW BEST:: SOT 4512 SOS 1883 HAS SOPS 1883 HAS SOUS 1457 HAS SOUPS 1457 WITH SCORE 1458.883
AT ITER 3262 NEW BEST:: SOT 4509 SOS 1878 HAS SOPS 1878 HAS SOUS 1452 HAS SOUPS 1452 WITH SCORE 1453.878
AT ITER 3285 NEW BEST:: SOT 4509 SOS 1871 HAS SOPS 1871 HAS SOUS 1445 HAS SOUPS 1445 WITH SCORE 1446.871
AT ITER 3395 NEW BEST:: SOT 4519 SOS 1878 HAS SOPS 1878 HAS SOUS 1440 HAS SOUPS 1440 WITH SCORE 1441.878
AT ITER 3471 NEW BEST:: SOT 4518 SOS 1877 HAS SOPS 1877 HAS SOUS 1439 HAS SOUPS 1439 WITH SCORE 1440.877
AT ITER 3548 NEW BEST:: SOT 4515 SOS 1870 HAS SOPS 1870 HAS SOUS 1432 HAS SOUPS 1432 WITH SCORE 1433.87
AT ITER 3577 NEW BEST:: SOT 4507 SOS 1864 HAS SOPS 1864 HAS SOUS 1428 HAS SOUPS 1428 WITH SCORE 1429.864
AT ITER 3650 NEW BEST:: SOT 4484 SOS 1837 HAS SOPS 1837 HAS SOUS 1410 HAS SOUPS 1410 WITH SCORE 1411.837
AT ITER 3702 NEW BEST:: SOT 4481 SOS 1836 HAS SOPS 1836 HAS SOUS 1410 HAS SOUPS 1410 WITH SCORE 1411.836
AT ITER 3819 NEW BEST:: SOT 4473 SOS 1828 HAS SOPS 1828 HAS SOUS 1408 HAS SOUPS 1408 WITH SCORE 1409.828
AT ITER 3824 NEW BEST:: SOT 4474 SOS 1820 HAS SOPS 1820 HAS SOUS 1406 HAS SOUPS 1406 WITH SCORE 1407.82
AT ITER 3839 NEW BEST:: SOT 4476 SOS 1818 HAS SOPS 1818 HAS SOUS 1406 HAS SOUPS 1406 WITH SCORE 1407.818
AT ITER 3954 NEW BEST:: SOT 4480 SOS 1816 HAS SOPS 1816 HAS SOUS 1406 HAS SOUPS 1406 WITH SCORE 1407.816
AT ITER 4052 NEW BEST:: SOT 4480 SOS 1813 HAS SOPS 1813 HAS SOUS 1403 HAS SOUPS 1403 WITH SCORE 1404.813
AT ITER 4082 NEW BEST:: SOT 4479 SOS 1812 HAS SOPS 1812 HAS SOUS 1402 HAS SOUPS 1402 WITH SCORE 1403.812
AT ITER 4111 NEW BEST:: SOT 4479 SOS 1811 HAS SOPS 1811 HAS SOUS 1401 HAS SOUPS 1401 WITH SCORE 1402.811
AT ITER 4112 NEW BEST:: SOT 4477 SOS 1809 HAS SOPS 1809 HAS SOUS 1399 HAS SOUPS 1399 WITH SCORE 1400.809
AT ITER 4141 NEW BEST:: SOT 4486 SOS 1817 HAS SOPS 1817 HAS SOUS 1397 HAS SOUPS 1397 WITH SCORE 1398.817
AT ITER 4148 NEW BEST:: SOT 4485 SOS 1816 HAS SOPS 1816 HAS SOUS 1396 HAS SOUPS 1396 WITH SCORE 1397.816
AT ITER 4221 NEW BEST:: SOT 4479 SOS 1809 HAS SOPS 1809 HAS SOUS 1389 HAS SOUPS 1389 WITH SCORE 1390.809
AT ITER 4253 NEW BEST:: SOT 4488 SOS 1793 HAS SOPS 1793 HAS SOUS 1387 HAS SOUPS 1387 WITH SCORE 1388.793
AT ITER 4316 NEW BEST:: SOT 4488 SOS 1791 HAS SOPS 1791 HAS SOUS 1383 HAS SOUPS 1383 WITH SCORE 1384.791
AT ITER 4325 NEW BEST:: SOT 4484 SOS 1788 HAS SOPS 1788 HAS SOUS 1380 HAS SOUPS 1380 WITH SCORE 1381.788
AT ITER 4453 NEW BEST:: SOT 4476 SOS 1783 HAS SOPS 1783 HAS SOUS 1378 HAS SOUPS 1378 WITH SCORE 1379.783
AT ITER 4478 NEW BEST:: SOT 4483 SOS 1785 HAS SOPS 1785 HAS SOUS 1377 HAS SOUPS 1377 WITH SCORE 1378.785
AT ITER 4839 NEW BEST:: SOT 4482 SOS 1783 HAS SOPS 1783 HAS SOUS 1375 HAS SOUPS 1375 WITH SCORE 1376.783
AT ITER 4938 NEW BEST:: SOT 4482 SOS 1767 HAS SOPS 1767 HAS SOUS 1370 HAS SOUPS 1370 WITH SCORE 1371.767
AT ITER 4948 NEW BEST:: SOT 4482 SOS 1765 HAS SOPS 1765 HAS SOUS 1368 HAS SOUPS 1368 WITH SCORE 1369.765
AT ITER 5190 NEW BEST:: SOT 4481 SOS 1764 HAS SOPS 1764 HAS SOUS 1367 HAS SOUPS 1367 WITH SCORE 1368.764
AT ITER 5220 NEW BEST:: SOT 4479 SOS 1761 HAS SOPS 1761 HAS SOUS 1364 HAS SOUPS 1364 WITH SCORE 1365.761
AT ITER 5404 NEW BEST:: SOT 4478 SOS 1759 HAS SOPS 1759 HAS SOUS 1362 HAS SOUPS 1362 WITH SCORE 1363.759
AT ITER 5522 NEW BEST:: SOT 4479 SOS 1758 HAS SOPS 1758 HAS SOUS 1361 HAS SOUPS 1361 WITH SCORE 1362.758
AT ITER 5553 NEW BEST:: SOT 4478 SOS 1757 HAS SOPS 1757 HAS SOUS 1360 HAS SOUPS 1360 WITH SCORE 1361.757
AT ITER 5575 NEW BEST:: SOT 4478 SOS 1756 HAS SOPS 1756 HAS SOUS 1359 HAS SOUPS 1359 WITH SCORE 1360.756
AT ITER 5605 NEW BEST:: SOT 4477 SOS 1755 HAS SOPS 1755 HAS SOUS 1358 HAS SOUPS 1358 WITH SCORE 1359.755
AT ITER 5719 NEW BEST:: SOT 4475 SOS 1753 HAS SOPS 1753 HAS SOUS 1356 HAS SOUPS 1356 WITH SCORE 1357.753
AT ITER 5906 NEW BEST:: SOT 4467 SOS 1745 HAS SOPS 1745 HAS SOUS 1354 HAS SOUPS 1354 WITH SCORE 1355.745
AT ITER 6064 NEW BEST:: SOT 4463 SOS 1741 HAS SOPS 1741 HAS SOUS 1351 HAS SOUPS 1351 WITH SCORE 1352.741
AT ITER 6129 NEW BEST:: SOT 4462 SOS 1739 HAS SOPS 1739 HAS SOUS 1349 HAS SOUPS 1349 WITH SCORE 1350.739
AT ITER 6131 NEW BEST:: SOT 4461 SOS 1738 HAS SOPS 1738 HAS SOUS 1348 HAS SOUPS 1348 WITH SCORE 1349.738
AT ITER 6157 NEW BEST:: SOT 4458 SOS 1735 HAS SOPS 1735 HAS SOUS 1345 HAS SOUPS 1345 WITH SCORE 1346.735
AT ITER 6309 NEW BEST:: SOT 4460 SOS 1738 HAS SOPS 1738 HAS SOUS 1343 HAS SOUPS 1343 WITH SCORE 1344.738
AT ITER 6345 NEW BEST:: SOT 4458 SOS 1737 HAS SOPS 1737 HAS SOUS 1342 HAS SOUPS 1342 WITH SCORE 1343.737
AT ITER 6533 NEW BEST:: SOT 4453 SOS 1729 HAS SOPS 1729 HAS SOUS 1342 HAS SOUPS 1342 WITH SCORE 1343.729
AT ITER 6840 NEW BEST:: SOT 4452 SOS 1727 HAS SOPS 1727 HAS SOUS 1340 HAS SOUPS 1340 WITH SCORE 1341.727
AT ITER 7594 NEW BEST:: SOT 4452 SOS 1726 HAS SOPS 1726 HAS SOUS 1339 HAS SOUPS 1339 WITH SCORE 1340.726
AT ITER 7707 NEW BEST:: SOT 4452 SOS 1724 HAS SOPS 1724 HAS SOUS 1337 HAS SOUPS 1337 WITH SCORE 1338.724
AT ITER 7872 NEW BEST:: SOT 4451 SOS 1723 HAS SOPS 1723 HAS SOUS 1336 HAS SOUPS 1336 WITH SCORE 1337.723
AT ITER 7929 NEW BEST:: SOT 4450 SOS 1721 HAS SOPS 1721 HAS SOUS 1334 HAS SOUPS 1334 WITH SCORE 1335.721
AT ITER 8154 NEW BEST:: SOT 4450 SOS 1719 HAS SOPS 1719 HAS SOUS 1332 HAS SOUPS 1332 WITH SCORE 1333.719
AT ITER 8230 NEW BEST:: SOT 4450 SOS 1718 HAS SOPS 1718 HAS SOUS 1332 HAS SOUPS 1332 WITH SCORE 1333.718
AT ITER 8870 NEW BEST:: SOT 4449 SOS 1712 HAS SOPS 1712 HAS SOUS 1330 HAS SOUPS 1330 WITH SCORE 1331.712
AT ITER 8891 NEW BEST:: SOT 4446 SOS 1709 HAS SOPS 1709 HAS SOUS 1327 HAS SOUPS 1327 WITH SCORE 1328.709
AT ITER 9238 NEW BEST:: SOT 4443 SOS 1704 HAS SOPS 1704 HAS SOUS 1322 HAS SOUPS 1322 WITH SCORE 1323.704
AT ITER 9740 NEW BEST:: SOT 4442 SOS 1702 HAS SOPS 1702 HAS SOUS 1320 HAS SOUPS 1320 WITH SCORE 1321.702
AT ITER 9896 NEW BEST:: SOT 4442 SOS 1699 HAS SOPS 1699 HAS SOUS 1319 HAS SOUPS 1319 WITH SCORE 1320.699
STATE_SPACE STATES 24196956529 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 47 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 293095503793 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589102933412

--------------------
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="DES-PT-00a"
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 DES-PT-00a, 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 r048-ebro-158902541800184"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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