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.r099-tall-167814472300368.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 DES-PT-01a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472300368
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 504K
-rw-r--r-- 1 mcc users 7.7K Feb 26 15:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 93K Feb 26 15:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 26 15:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 26 15:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 15:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 15:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 121K Feb 26 15:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.2K Feb 26 15:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 87K Feb 26 15:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:50 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 32K 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 1678240924735

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=DES-PT-01a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 01a
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: 119 places, 76 transitions, 381 arcs.
AT ITER 0 NEW BEST:: SOT 6504 SOS 4981 HAS SOPS 4981 HAS SOUS 3766 HAS SOUPS 3766 WITH SCORE 3770.981
AT ITER 2 NEW BEST:: SOT 6504 SOS 4974 HAS SOPS 4974 HAS SOUS 3759 HAS SOUPS 3759 WITH SCORE 3763.974
AT ITER 4 NEW BEST:: SOT 6582 SOS 5113 HAS SOPS 5113 HAS SOUS 3758 HAS SOUPS 3758 WITH SCORE 3763.113
AT ITER 5 NEW BEST:: SOT 6582 SOS 5111 HAS SOPS 5111 HAS SOUS 3756 HAS SOUPS 3756 WITH SCORE 3761.111
AT ITER 6 NEW BEST:: SOT 6582 SOS 5104 HAS SOPS 5104 HAS SOUS 3756 HAS SOUPS 3756 WITH SCORE 3761.104
AT ITER 13 NEW BEST:: SOT 6582 SOS 5102 HAS SOPS 5102 HAS SOUS 3755 HAS SOUPS 3755 WITH SCORE 3760.102
AT ITER 19 NEW BEST:: SOT 6582 SOS 5101 HAS SOPS 5101 HAS SOUS 3754 HAS SOUPS 3754 WITH SCORE 3759.101
AT ITER 21 NEW BEST:: SOT 6558 SOS 5077 HAS SOPS 5077 HAS SOUS 3746 HAS SOUPS 3746 WITH SCORE 3751.077
AT ITER 23 NEW BEST:: SOT 6557 SOS 5069 HAS SOPS 5069 HAS SOUS 3738 HAS SOUPS 3738 WITH SCORE 3743.069
AT ITER 28 NEW BEST:: SOT 6557 SOS 5048 HAS SOPS 5048 HAS SOUS 3724 HAS SOUPS 3724 WITH SCORE 3729.048
AT ITER 30 NEW BEST:: SOT 6514 SOS 5003 HAS SOPS 5003 HAS SOUS 3684 HAS SOUPS 3684 WITH SCORE 3689.003
AT ITER 31 NEW BEST:: SOT 6514 SOS 4993 HAS SOPS 4993 HAS SOUS 3682 HAS SOUPS 3682 WITH SCORE 3686.993
AT ITER 49 NEW BEST:: SOT 6505 SOS 4913 HAS SOPS 4913 HAS SOUS 3665 HAS SOUPS 3665 WITH SCORE 3669.913
AT ITER 50 NEW BEST:: SOT 6505 SOS 4872 HAS SOPS 4872 HAS SOUS 3626 HAS SOUPS 3626 WITH SCORE 3630.872
AT ITER 65 NEW BEST:: SOT 6455 SOS 4819 HAS SOPS 4819 HAS SOUS 3573 HAS SOUPS 3573 WITH SCORE 3577.819
AT ITER 68 NEW BEST:: SOT 6322 SOS 4685 HAS SOPS 4685 HAS SOUS 3521 HAS SOUPS 3521 WITH SCORE 3525.685
AT ITER 69 NEW BEST:: SOT 6318 SOS 4679 HAS SOPS 4679 HAS SOUS 3515 HAS SOUPS 3515 WITH SCORE 3519.679
AT ITER 71 NEW BEST:: SOT 6308 SOS 4669 HAS SOPS 4669 HAS SOUS 3505 HAS SOUPS 3505 WITH SCORE 3509.669
AT ITER 76 NEW BEST:: SOT 6307 SOS 4668 HAS SOPS 4668 HAS SOUS 3504 HAS SOUPS 3504 WITH SCORE 3508.668
AT ITER 88 NEW BEST:: SOT 6258 SOS 4601 HAS SOPS 4601 HAS SOUS 3431 HAS SOUPS 3431 WITH SCORE 3435.601
AT ITER 90 NEW BEST:: SOT 6256 SOS 4589 HAS SOPS 4589 HAS SOUS 3426 HAS SOUPS 3426 WITH SCORE 3430.589
AT ITER 96 NEW BEST:: SOT 6222 SOS 4555 HAS SOPS 4555 HAS SOUS 3392 HAS SOUPS 3392 WITH SCORE 3396.555
AT ITER 108 NEW BEST:: SOT 6180 SOS 4472 HAS SOPS 4472 HAS SOUS 3309 HAS SOUPS 3309 WITH SCORE 3313.472
AT ITER 111 NEW BEST:: SOT 6180 SOS 4462 HAS SOPS 4462 HAS SOUS 3304 HAS SOUPS 3304 WITH SCORE 3308.462
AT ITER 114 NEW BEST:: SOT 6175 SOS 4461 HAS SOPS 4461 HAS SOUS 3303 HAS SOUPS 3303 WITH SCORE 3307.461
AT ITER 122 NEW BEST:: SOT 6175 SOS 4459 HAS SOPS 4459 HAS SOUS 3301 HAS SOUPS 3301 WITH SCORE 3305.459
AT ITER 124 NEW BEST:: SOT 6175 SOS 4461 HAS SOPS 4461 HAS SOUS 3288 HAS SOUPS 3288 WITH SCORE 3292.461
AT ITER 135 NEW BEST:: SOT 6175 SOS 4458 HAS SOPS 4458 HAS SOUS 3285 HAS SOUPS 3285 WITH SCORE 3289.458
AT ITER 139 NEW BEST:: SOT 6131 SOS 4439 HAS SOPS 4439 HAS SOUS 3266 HAS SOUPS 3266 WITH SCORE 3270.439
AT ITER 140 NEW BEST:: SOT 6130 SOS 4438 HAS SOPS 4438 HAS SOUS 3265 HAS SOUPS 3265 WITH SCORE 3269.438
AT ITER 152 NEW BEST:: SOT 6092 SOS 4397 HAS SOPS 4397 HAS SOUS 3224 HAS SOUPS 3224 WITH SCORE 3228.397
AT ITER 155 NEW BEST:: SOT 6090 SOS 4310 HAS SOPS 4310 HAS SOUS 3221 HAS SOUPS 3221 WITH SCORE 3225.31
AT ITER 172 NEW BEST:: SOT 6090 SOS 4283 HAS SOPS 4283 HAS SOUS 3194 HAS SOUPS 3194 WITH SCORE 3198.283
AT ITER 177 NEW BEST:: SOT 6089 SOS 4282 HAS SOPS 4282 HAS SOUS 3193 HAS SOUPS 3193 WITH SCORE 3197.282
AT ITER 180 NEW BEST:: SOT 6076 SOS 4242 HAS SOPS 4242 HAS SOUS 3175 HAS SOUPS 3175 WITH SCORE 3179.242
AT ITER 183 NEW BEST:: SOT 6069 SOS 4226 HAS SOPS 4226 HAS SOUS 3159 HAS SOUPS 3159 WITH SCORE 3163.226
AT ITER 185 NEW BEST:: SOT 6061 SOS 4218 HAS SOPS 4218 HAS SOUS 3151 HAS SOUPS 3151 WITH SCORE 3155.218
AT ITER 191 NEW BEST:: SOT 6061 SOS 4215 HAS SOPS 4215 HAS SOUS 3148 HAS SOUPS 3148 WITH SCORE 3152.215
AT ITER 198 NEW BEST:: SOT 6057 SOS 4211 HAS SOPS 4211 HAS SOUS 3144 HAS SOUPS 3144 WITH SCORE 3148.211
AT ITER 204 NEW BEST:: SOT 6045 SOS 4198 HAS SOPS 4198 HAS SOUS 3131 HAS SOUPS 3131 WITH SCORE 3135.198
AT ITER 205 NEW BEST:: SOT 6002 SOS 3981 HAS SOPS 3981 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3089.981
AT ITER 211 NEW BEST:: SOT 6000 SOS 3979 HAS SOPS 3979 HAS SOUS 3084 HAS SOUPS 3084 WITH SCORE 3087.979
AT ITER 212 NEW BEST:: SOT 5999 SOS 3965 HAS SOPS 3965 HAS SOUS 3070 HAS SOUPS 3070 WITH SCORE 3073.965
AT ITER 216 NEW BEST:: SOT 5999 SOS 3948 HAS SOPS 3948 HAS SOUS 3053 HAS SOUPS 3053 WITH SCORE 3056.948
AT ITER 219 NEW BEST:: SOT 5966 SOS 3915 HAS SOPS 3915 HAS SOUS 3033 HAS SOUPS 3033 WITH SCORE 3036.915
AT ITER 223 NEW BEST:: SOT 5971 SOS 3882 HAS SOPS 3882 HAS SOUS 3000 HAS SOUPS 3000 WITH SCORE 3003.882
AT ITER 227 NEW BEST:: SOT 5974 SOS 3876 HAS SOPS 3876 HAS SOUS 3000 HAS SOUPS 3000 WITH SCORE 3003.876
AT ITER 246 NEW BEST:: SOT 5961 SOS 3830 HAS SOPS 3830 HAS SOUS 2954 HAS SOUPS 2954 WITH SCORE 2957.83
AT ITER 257 NEW BEST:: SOT 5943 SOS 3818 HAS SOPS 3818 HAS SOUS 2949 HAS SOUPS 2949 WITH SCORE 2952.818
AT ITER 259 NEW BEST:: SOT 5959 SOS 3825 HAS SOPS 3825 HAS SOUS 2936 HAS SOUPS 2936 WITH SCORE 2939.825
AT ITER 263 NEW BEST:: SOT 5953 SOS 3807 HAS SOPS 3807 HAS SOUS 2936 HAS SOUPS 2936 WITH SCORE 2939.807
AT ITER 266 NEW BEST:: SOT 5951 SOS 3792 HAS SOPS 3792 HAS SOUS 2921 HAS SOUPS 2921 WITH SCORE 2924.792
AT ITER 282 NEW BEST:: SOT 5951 SOS 3771 HAS SOPS 3771 HAS SOUS 2900 HAS SOUPS 2900 WITH SCORE 2903.771
AT ITER 284 NEW BEST:: SOT 5975 SOS 3793 HAS SOPS 3793 HAS SOUS 2898 HAS SOUPS 2898 WITH SCORE 2901.793
AT ITER 300 NEW BEST:: SOT 5978 SOS 3791 HAS SOPS 3791 HAS SOUS 2896 HAS SOUPS 2896 WITH SCORE 2899.791
AT ITER 307 NEW BEST:: SOT 5978 SOS 3789 HAS SOPS 3789 HAS SOUS 2894 HAS SOUPS 2894 WITH SCORE 2897.789
AT ITER 312 NEW BEST:: SOT 5977 SOS 3780 HAS SOPS 3780 HAS SOUS 2885 HAS SOUPS 2885 WITH SCORE 2888.78
AT ITER 318 NEW BEST:: SOT 5974 SOS 3777 HAS SOPS 3777 HAS SOUS 2882 HAS SOUPS 2882 WITH SCORE 2885.777
AT ITER 321 NEW BEST:: SOT 5951 SOS 3738 HAS SOPS 3738 HAS SOUS 2859 HAS SOUPS 2859 WITH SCORE 2862.738
AT ITER 335 NEW BEST:: SOT 5933 SOS 3727 HAS SOPS 3727 HAS SOUS 2854 HAS SOUPS 2854 WITH SCORE 2857.727
AT ITER 337 NEW BEST:: SOT 5920 SOS 3714 HAS SOPS 3714 HAS SOUS 2841 HAS SOUPS 2841 WITH SCORE 2844.714
AT ITER 342 NEW BEST:: SOT 5934 SOS 3694 HAS SOPS 3694 HAS SOUS 2821 HAS SOUPS 2821 WITH SCORE 2824.694
AT ITER 343 NEW BEST:: SOT 5930 SOS 3692 HAS SOPS 3692 HAS SOUS 2819 HAS SOUPS 2819 WITH SCORE 2822.692
AT ITER 354 NEW BEST:: SOT 5929 SOS 3687 HAS SOPS 3687 HAS SOUS 2814 HAS SOUPS 2814 WITH SCORE 2817.687
AT ITER 374 NEW BEST:: SOT 5928 SOS 3685 HAS SOPS 3685 HAS SOUS 2812 HAS SOUPS 2812 WITH SCORE 2815.685
AT ITER 379 NEW BEST:: SOT 5925 SOS 3677 HAS SOPS 3677 HAS SOUS 2804 HAS SOUPS 2804 WITH SCORE 2807.677
AT ITER 404 NEW BEST:: SOT 5901 SOS 3661 HAS SOPS 3661 HAS SOUS 2796 HAS SOUPS 2796 WITH SCORE 2799.661
AT ITER 408 NEW BEST:: SOT 5863 SOS 3623 HAS SOPS 3623 HAS SOUS 2773 HAS SOUPS 2773 WITH SCORE 2776.623
AT ITER 418 NEW BEST:: SOT 5829 SOS 3589 HAS SOPS 3589 HAS SOUS 2748 HAS SOUPS 2748 WITH SCORE 2751.589
AT ITER 426 NEW BEST:: SOT 5824 SOS 3584 HAS SOPS 3584 HAS SOUS 2743 HAS SOUPS 2743 WITH SCORE 2746.584
AT ITER 435 NEW BEST:: SOT 5824 SOS 3565 HAS SOPS 3565 HAS SOUS 2724 HAS SOUPS 2724 WITH SCORE 2727.565
AT ITER 451 NEW BEST:: SOT 5809 SOS 3550 HAS SOPS 3550 HAS SOUS 2721 HAS SOUPS 2721 WITH SCORE 2724.55
AT ITER 471 NEW BEST:: SOT 5808 SOS 3549 HAS SOPS 3549 HAS SOUS 2720 HAS SOUPS 2720 WITH SCORE 2723.549
AT ITER 476 NEW BEST:: SOT 5775 SOS 3510 HAS SOPS 3510 HAS SOUS 2681 HAS SOUPS 2681 WITH SCORE 2684.51
AT ITER 480 NEW BEST:: SOT 5760 SOS 3534 HAS SOPS 3534 HAS SOUS 2673 HAS SOUPS 2673 WITH SCORE 2676.534
AT ITER 484 NEW BEST:: SOT 5760 SOS 3494 HAS SOPS 3494 HAS SOUS 2665 HAS SOUPS 2665 WITH SCORE 2668.494
AT ITER 493 NEW BEST:: SOT 5751 SOS 3485 HAS SOPS 3485 HAS SOUS 2656 HAS SOUPS 2656 WITH SCORE 2659.485
AT ITER 497 NEW BEST:: SOT 5728 SOS 3470 HAS SOPS 3470 HAS SOUS 2641 HAS SOUPS 2641 WITH SCORE 2644.47
AT ITER 508 NEW BEST:: SOT 5709 SOS 3446 HAS SOPS 3446 HAS SOUS 2617 HAS SOUPS 2617 WITH SCORE 2620.446
AT ITER 512 NEW BEST:: SOT 5695 SOS 3422 HAS SOPS 3422 HAS SOUS 2608 HAS SOUPS 2608 WITH SCORE 2611.422
AT ITER 519 NEW BEST:: SOT 5652 SOS 3379 HAS SOPS 3379 HAS SOUS 2589 HAS SOUPS 2589 WITH SCORE 2592.379
AT ITER 520 NEW BEST:: SOT 5650 SOS 3377 HAS SOPS 3377 HAS SOUS 2587 HAS SOUPS 2587 WITH SCORE 2590.377
AT ITER 521 NEW BEST:: SOT 5650 SOS 3367 HAS SOPS 3367 HAS SOUS 2577 HAS SOUPS 2577 WITH SCORE 2580.367
AT ITER 523 NEW BEST:: SOT 5647 SOS 3432 HAS SOPS 3432 HAS SOUS 2574 HAS SOUPS 2574 WITH SCORE 2577.432
AT ITER 543 NEW BEST:: SOT 5647 SOS 3418 HAS SOPS 3418 HAS SOUS 2560 HAS SOUPS 2560 WITH SCORE 2563.418
AT ITER 551 NEW BEST:: SOT 5583 SOS 3353 HAS SOPS 3353 HAS SOUS 2539 HAS SOUPS 2539 WITH SCORE 2542.353
AT ITER 553 NEW BEST:: SOT 5547 SOS 3303 HAS SOPS 3303 HAS SOUS 2523 HAS SOUPS 2523 WITH SCORE 2526.303
AT ITER 560 NEW BEST:: SOT 5547 SOS 3279 HAS SOPS 3279 HAS SOUS 2523 HAS SOUPS 2523 WITH SCORE 2526.279
AT ITER 567 NEW BEST:: SOT 5539 SOS 3257 HAS SOPS 3257 HAS SOUS 2501 HAS SOUPS 2501 WITH SCORE 2504.257
AT ITER 568 NEW BEST:: SOT 5526 SOS 3235 HAS SOPS 3235 HAS SOUS 2479 HAS SOUPS 2479 WITH SCORE 2482.235
AT ITER 575 NEW BEST:: SOT 5524 SOS 3233 HAS SOPS 3233 HAS SOUS 2477 HAS SOUPS 2477 WITH SCORE 2480.233
AT ITER 583 NEW BEST:: SOT 5516 SOS 3225 HAS SOPS 3225 HAS SOUS 2469 HAS SOUPS 2469 WITH SCORE 2472.225
AT ITER 595 NEW BEST:: SOT 5491 SOS 3197 HAS SOPS 3197 HAS SOUS 2441 HAS SOUPS 2441 WITH SCORE 2444.197
AT ITER 596 NEW BEST:: SOT 5490 SOS 3194 HAS SOPS 3194 HAS SOUS 2438 HAS SOUPS 2438 WITH SCORE 2441.194
AT ITER 597 NEW BEST:: SOT 5481 SOS 3185 HAS SOPS 3185 HAS SOUS 2429 HAS SOUPS 2429 WITH SCORE 2432.185
AT ITER 604 NEW BEST:: SOT 5475 SOS 3179 HAS SOPS 3179 HAS SOUS 2423 HAS SOUPS 2423 WITH SCORE 2426.179
AT ITER 616 NEW BEST:: SOT 5463 SOS 3151 HAS SOPS 3151 HAS SOUS 2395 HAS SOUPS 2395 WITH SCORE 2398.151
AT ITER 618 NEW BEST:: SOT 5463 SOS 3137 HAS SOPS 3137 HAS SOUS 2381 HAS SOUPS 2381 WITH SCORE 2384.137
AT ITER 630 NEW BEST:: SOT 5463 SOS 3126 HAS SOPS 3126 HAS SOUS 2375 HAS SOUPS 2375 WITH SCORE 2378.126
AT ITER 664 NEW BEST:: SOT 5463 SOS 3092 HAS SOPS 3092 HAS SOUS 2366 HAS SOUPS 2366 WITH SCORE 2369.092
AT ITER 698 NEW BEST:: SOT 5429 SOS 3065 HAS SOPS 3065 HAS SOUS 2363 HAS SOUPS 2363 WITH SCORE 2366.065
AT ITER 727 NEW BEST:: SOT 5423 SOS 3059 HAS SOPS 3059 HAS SOUS 2357 HAS SOUPS 2357 WITH SCORE 2360.059
AT ITER 732 NEW BEST:: SOT 5422 SOS 3058 HAS SOPS 3058 HAS SOUS 2356 HAS SOUPS 2356 WITH SCORE 2359.058
AT ITER 733 NEW BEST:: SOT 5444 SOS 2966 HAS SOPS 2966 HAS SOUS 2350 HAS SOUPS 2350 WITH SCORE 2352.966
AT ITER 738 NEW BEST:: SOT 5442 SOS 2951 HAS SOPS 2951 HAS SOUS 2335 HAS SOUPS 2335 WITH SCORE 2337.951
AT ITER 747 NEW BEST:: SOT 5445 SOS 2945 HAS SOPS 2945 HAS SOUS 2333 HAS SOUPS 2333 WITH SCORE 2335.945
AT ITER 754 NEW BEST:: SOT 5445 SOS 2943 HAS SOPS 2943 HAS SOUS 2331 HAS SOUPS 2331 WITH SCORE 2333.943
AT ITER 762 NEW BEST:: SOT 5445 SOS 2945 HAS SOPS 2945 HAS SOUS 2330 HAS SOUPS 2330 WITH SCORE 2332.945
AT ITER 792 NEW BEST:: SOT 5437 SOS 2937 HAS SOPS 2937 HAS SOUS 2322 HAS SOUPS 2322 WITH SCORE 2324.937
AT ITER 803 NEW BEST:: SOT 5435 SOS 2935 HAS SOPS 2935 HAS SOUS 2320 HAS SOUPS 2320 WITH SCORE 2322.935
AT ITER 817 NEW BEST:: SOT 5444 SOS 2934 HAS SOPS 2934 HAS SOUS 2319 HAS SOUPS 2319 WITH SCORE 2321.934
AT ITER 824 NEW BEST:: SOT 5442 SOS 2932 HAS SOPS 2932 HAS SOUS 2317 HAS SOUPS 2317 WITH SCORE 2319.932
AT ITER 829 NEW BEST:: SOT 5437 SOS 2926 HAS SOPS 2926 HAS SOUS 2311 HAS SOUPS 2311 WITH SCORE 2313.926
AT ITER 830 NEW BEST:: SOT 5434 SOS 2923 HAS SOPS 2923 HAS SOUS 2308 HAS SOUPS 2308 WITH SCORE 2310.923
AT ITER 864 NEW BEST:: SOT 5434 SOS 2923 HAS SOPS 2923 HAS SOUS 2305 HAS SOUPS 2305 WITH SCORE 2307.923
AT ITER 885 NEW BEST:: SOT 5433 SOS 2922 HAS SOPS 2922 HAS SOUS 2304 HAS SOUPS 2304 WITH SCORE 2306.922
AT ITER 897 NEW BEST:: SOT 5421 SOS 2910 HAS SOPS 2910 HAS SOUS 2292 HAS SOUPS 2292 WITH SCORE 2294.91
AT ITER 905 NEW BEST:: SOT 5421 SOS 2909 HAS SOPS 2909 HAS SOUS 2291 HAS SOUPS 2291 WITH SCORE 2293.909
AT ITER 920 NEW BEST:: SOT 5408 SOS 2887 HAS SOPS 2887 HAS SOUS 2269 HAS SOUPS 2269 WITH SCORE 2271.887
AT ITER 940 NEW BEST:: SOT 5410 SOS 2885 HAS SOPS 2885 HAS SOUS 2267 HAS SOUPS 2267 WITH SCORE 2269.885
AT ITER 945 NEW BEST:: SOT 5372 SOS 2847 HAS SOPS 2847 HAS SOUS 2267 HAS SOUPS 2267 WITH SCORE 2269.847
AT ITER 967 NEW BEST:: SOT 5370 SOS 2844 HAS SOPS 2844 HAS SOUS 2265 HAS SOUPS 2265 WITH SCORE 2267.844
AT ITER 997 NEW BEST:: SOT 5370 SOS 2847 HAS SOPS 2847 HAS SOUS 2264 HAS SOUPS 2264 WITH SCORE 2266.847
AT ITER 998 NEW BEST:: SOT 5342 SOS 2810 HAS SOPS 2810 HAS SOUS 2255 HAS SOUPS 2255 WITH SCORE 2257.81
AT ITER 1001 NEW BEST:: SOT 5343 SOS 2809 HAS SOPS 2809 HAS SOUS 2254 HAS SOUPS 2254 WITH SCORE 2256.809
AT ITER 1040 NEW BEST:: SOT 5343 SOS 2787 HAS SOPS 2787 HAS SOUS 2252 HAS SOUPS 2252 WITH SCORE 2254.787
AT ITER 1042 NEW BEST:: SOT 5335 SOS 2784 HAS SOPS 2784 HAS SOUS 2248 HAS SOUPS 2248 WITH SCORE 2250.784
AT ITER 1069 NEW BEST:: SOT 5323 SOS 2780 HAS SOPS 2780 HAS SOUS 2248 HAS SOUPS 2248 WITH SCORE 2250.78
AT ITER 1082 NEW BEST:: SOT 5318 SOS 2775 HAS SOPS 2775 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2245.775
AT ITER 1084 NEW BEST:: SOT 5306 SOS 2751 HAS SOPS 2751 HAS SOUS 2219 HAS SOUPS 2219 WITH SCORE 2221.751
AT ITER 1097 NEW BEST:: SOT 5280 SOS 2758 HAS SOPS 2758 HAS SOUS 2202 HAS SOUPS 2202 WITH SCORE 2204.758
AT ITER 1101 NEW BEST:: SOT 5202 SOS 2680 HAS SOPS 2680 HAS SOUS 2145 HAS SOUPS 2145 WITH SCORE 2147.68
AT ITER 1128 NEW BEST:: SOT 5194 SOS 2672 HAS SOPS 2672 HAS SOUS 2137 HAS SOUPS 2137 WITH SCORE 2139.672
AT ITER 1135 NEW BEST:: SOT 5182 SOS 2660 HAS SOPS 2660 HAS SOUS 2137 HAS SOUPS 2137 WITH SCORE 2139.66
AT ITER 1139 NEW BEST:: SOT 5182 SOS 2659 HAS SOPS 2659 HAS SOUS 2136 HAS SOUPS 2136 WITH SCORE 2138.659
AT ITER 1141 NEW BEST:: SOT 5180 SOS 2657 HAS SOPS 2657 HAS SOUS 2134 HAS SOUPS 2134 WITH SCORE 2136.657
AT ITER 1158 NEW BEST:: SOT 5180 SOS 2652 HAS SOPS 2652 HAS SOUS 2127 HAS SOUPS 2127 WITH SCORE 2129.652
AT ITER 1168 NEW BEST:: SOT 5176 SOS 2642 HAS SOPS 2642 HAS SOUS 2117 HAS SOUPS 2117 WITH SCORE 2119.642
AT ITER 1176 NEW BEST:: SOT 5169 SOS 2628 HAS SOPS 2628 HAS SOUS 2103 HAS SOUPS 2103 WITH SCORE 2105.628
AT ITER 1188 NEW BEST:: SOT 5153 SOS 2612 HAS SOPS 2612 HAS SOUS 2103 HAS SOUPS 2103 WITH SCORE 2105.612
AT ITER 1192 NEW BEST:: SOT 5153 SOS 2606 HAS SOPS 2606 HAS SOUS 2101 HAS SOUPS 2101 WITH SCORE 2103.606
AT ITER 1197 NEW BEST:: SOT 5153 SOS 2605 HAS SOPS 2605 HAS SOUS 2100 HAS SOUPS 2100 WITH SCORE 2102.605
AT ITER 1243 NEW BEST:: SOT 5152 SOS 2604 HAS SOPS 2604 HAS SOUS 2097 HAS SOUPS 2097 WITH SCORE 2099.604
AT ITER 1244 NEW BEST:: SOT 5152 SOS 2600 HAS SOPS 2600 HAS SOUS 2093 HAS SOUPS 2093 WITH SCORE 2095.6
AT ITER 1259 NEW BEST:: SOT 5173 SOS 2592 HAS SOPS 2592 HAS SOUS 2085 HAS SOUPS 2085 WITH SCORE 2087.592
AT ITER 1274 NEW BEST:: SOT 5171 SOS 2590 HAS SOPS 2590 HAS SOUS 2083 HAS SOUPS 2083 WITH SCORE 2085.59
AT ITER 1290 NEW BEST:: SOT 5171 SOS 2589 HAS SOPS 2589 HAS SOUS 2082 HAS SOUPS 2082 WITH SCORE 2084.589
AT ITER 1307 NEW BEST:: SOT 5196 SOS 2590 HAS SOPS 2590 HAS SOUS 2047 HAS SOUPS 2047 WITH SCORE 2049.59
AT ITER 1318 NEW BEST:: SOT 5181 SOS 2620 HAS SOPS 2620 HAS SOUS 2041 HAS SOUPS 2041 WITH SCORE 2043.62
AT ITER 1320 NEW BEST:: SOT 5181 SOS 2615 HAS SOPS 2615 HAS SOUS 2040 HAS SOUPS 2040 WITH SCORE 2042.615
AT ITER 1355 NEW BEST:: SOT 5132 SOS 2562 HAS SOPS 2562 HAS SOUS 2027 HAS SOUPS 2027 WITH SCORE 2029.562
AT ITER 1380 NEW BEST:: SOT 5132 SOS 2532 HAS SOPS 2532 HAS SOUS 2018 HAS SOUPS 2018 WITH SCORE 2020.532
AT ITER 1419 NEW BEST:: SOT 5127 SOS 2525 HAS SOPS 2525 HAS SOUS 2011 HAS SOUPS 2011 WITH SCORE 2013.525
AT ITER 1434 NEW BEST:: SOT 5127 SOS 2521 HAS SOPS 2521 HAS SOUS 2011 HAS SOUPS 2011 WITH SCORE 2013.521
AT ITER 1437 NEW BEST:: SOT 5125 SOS 2519 HAS SOPS 2519 HAS SOUS 2010 HAS SOUPS 2010 WITH SCORE 2012.519
AT ITER 1443 NEW BEST:: SOT 5116 SOS 2504 HAS SOPS 2504 HAS SOUS 1995 HAS SOUPS 1995 WITH SCORE 1997.504
AT ITER 1450 NEW BEST:: SOT 5104 SOS 2492 HAS SOPS 2492 HAS SOUS 1995 HAS SOUPS 1995 WITH SCORE 1997.492
AT ITER 1452 NEW BEST:: SOT 5104 SOS 2480 HAS SOPS 2480 HAS SOUS 1995 HAS SOUPS 1995 WITH SCORE 1997.48
AT ITER 1470 NEW BEST:: SOT 5104 SOS 2479 HAS SOPS 2479 HAS SOUS 1994 HAS SOUPS 1994 WITH SCORE 1996.479
AT ITER 1491 NEW BEST:: SOT 5104 SOS 2481 HAS SOPS 2481 HAS SOUS 1993 HAS SOUPS 1993 WITH SCORE 1995.481
AT ITER 1545 NEW BEST:: SOT 5103 SOS 2480 HAS SOPS 2480 HAS SOUS 1992 HAS SOUPS 1992 WITH SCORE 1994.48
AT ITER 1565 NEW BEST:: SOT 5102 SOS 2479 HAS SOPS 2479 HAS SOUS 1991 HAS SOUPS 1991 WITH SCORE 1993.479
AT ITER 1591 NEW BEST:: SOT 5100 SOS 2477 HAS SOPS 2477 HAS SOUS 1991 HAS SOUPS 1991 WITH SCORE 1993.477
AT ITER 1619 NEW BEST:: SOT 5100 SOS 2466 HAS SOPS 2466 HAS SOUS 1980 HAS SOUPS 1980 WITH SCORE 1982.466
AT ITER 1634 NEW BEST:: SOT 5091 SOS 2460 HAS SOPS 2460 HAS SOUS 1974 HAS SOUPS 1974 WITH SCORE 1976.46
AT ITER 1666 NEW BEST:: SOT 5090 SOS 2460 HAS SOPS 2460 HAS SOUS 1972 HAS SOUPS 1972 WITH SCORE 1974.46
AT ITER 1682 NEW BEST:: SOT 5090 SOS 2457 HAS SOPS 2457 HAS SOUS 1969 HAS SOUPS 1969 WITH SCORE 1971.457
AT ITER 1723 NEW BEST:: SOT 5090 SOS 2449 HAS SOPS 2449 HAS SOUS 1963 HAS SOUPS 1963 WITH SCORE 1965.449
AT ITER 1736 NEW BEST:: SOT 5086 SOS 2445 HAS SOPS 2445 HAS SOUS 1959 HAS SOUPS 1959 WITH SCORE 1961.445
AT ITER 1740 NEW BEST:: SOT 5073 SOS 2427 HAS SOPS 2427 HAS SOUS 1948 HAS SOUPS 1948 WITH SCORE 1950.427
AT ITER 1747 NEW BEST:: SOT 5077 SOS 2429 HAS SOPS 2429 HAS SOUS 1942 HAS SOUPS 1942 WITH SCORE 1944.429
AT ITER 1757 NEW BEST:: SOT 5085 SOS 2422 HAS SOPS 2422 HAS SOUS 1942 HAS SOUPS 1942 WITH SCORE 1944.422
AT ITER 1763 NEW BEST:: SOT 5084 SOS 2421 HAS SOPS 2421 HAS SOUS 1941 HAS SOUPS 1941 WITH SCORE 1943.421
AT ITER 1772 NEW BEST:: SOT 5073 SOS 2410 HAS SOPS 2410 HAS SOUS 1940 HAS SOUPS 1940 WITH SCORE 1942.41
AT ITER 1773 NEW BEST:: SOT 5073 SOS 2407 HAS SOPS 2407 HAS SOUS 1937 HAS SOUPS 1937 WITH SCORE 1939.407
AT ITER 1775 NEW BEST:: SOT 5067 SOS 2380 HAS SOPS 2380 HAS SOUS 1937 HAS SOUPS 1937 WITH SCORE 1939.38
AT ITER 1782 NEW BEST:: SOT 5059 SOS 2378 HAS SOPS 2378 HAS SOUS 1935 HAS SOUPS 1935 WITH SCORE 1937.378
AT ITER 1789 NEW BEST:: SOT 5051 SOS 2371 HAS SOPS 2371 HAS SOUS 1931 HAS SOUPS 1931 WITH SCORE 1933.371
AT ITER 1840 NEW BEST:: SOT 5048 SOS 2367 HAS SOPS 2367 HAS SOUS 1929 HAS SOUPS 1929 WITH SCORE 1931.367
AT ITER 1842 NEW BEST:: SOT 5049 SOS 2370 HAS SOPS 2370 HAS SOUS 1928 HAS SOUPS 1928 WITH SCORE 1930.37
AT ITER 1847 NEW BEST:: SOT 5032 SOS 2360 HAS SOPS 2360 HAS SOUS 1918 HAS SOUPS 1918 WITH SCORE 1920.36
AT ITER 1853 NEW BEST:: SOT 5032 SOS 2356 HAS SOPS 2356 HAS SOUS 1914 HAS SOUPS 1914 WITH SCORE 1916.356
AT ITER 1877 NEW BEST:: SOT 5027 SOS 2333 HAS SOPS 2333 HAS SOUS 1909 HAS SOUPS 1909 WITH SCORE 1911.333
AT ITER 1887 NEW BEST:: SOT 5025 SOS 2331 HAS SOPS 2331 HAS SOUS 1907 HAS SOUPS 1907 WITH SCORE 1909.331
AT ITER 1938 NEW BEST:: SOT 5016 SOS 2322 HAS SOPS 2322 HAS SOUS 1898 HAS SOUPS 1898 WITH SCORE 1900.322
AT ITER 1954 NEW BEST:: SOT 5010 SOS 2316 HAS SOPS 2316 HAS SOUS 1892 HAS SOUPS 1892 WITH SCORE 1894.316
AT ITER 1977 NEW BEST:: SOT 5006 SOS 2310 HAS SOPS 2310 HAS SOUS 1886 HAS SOUPS 1886 WITH SCORE 1888.31
AT ITER 2040 NEW BEST:: SOT 5000 SOS 2304 HAS SOPS 2304 HAS SOUS 1884 HAS SOUPS 1884 WITH SCORE 1886.304
AT ITER 2048 NEW BEST:: SOT 4999 SOS 2295 HAS SOPS 2295 HAS SOUS 1875 HAS SOUPS 1875 WITH SCORE 1877.295
AT ITER 2052 NEW BEST:: SOT 5001 SOS 2294 HAS SOPS 2294 HAS SOUS 1874 HAS SOUPS 1874 WITH SCORE 1876.294
AT ITER 2072 NEW BEST:: SOT 5001 SOS 2289 HAS SOPS 2289 HAS SOUS 1873 HAS SOUPS 1873 WITH SCORE 1875.289
AT ITER 2074 NEW BEST:: SOT 5001 SOS 2288 HAS SOPS 2288 HAS SOUS 1872 HAS SOUPS 1872 WITH SCORE 1874.288
AT ITER 2075 NEW BEST:: SOT 4995 SOS 2276 HAS SOPS 2276 HAS SOUS 1860 HAS SOUPS 1860 WITH SCORE 1862.276
AT ITER 2088 NEW BEST:: SOT 4994 SOS 2274 HAS SOPS 2274 HAS SOUS 1858 HAS SOUPS 1858 WITH SCORE 1860.274
AT ITER 2124 NEW BEST:: SOT 4992 SOS 2272 HAS SOPS 2272 HAS SOUS 1856 HAS SOUPS 1856 WITH SCORE 1858.272
AT ITER 2152 NEW BEST:: SOT 4992 SOS 2272 HAS SOPS 2272 HAS SOUS 1855 HAS SOUPS 1855 WITH SCORE 1857.272
AT ITER 2206 NEW BEST:: SOT 4992 SOS 2272 HAS SOPS 2272 HAS SOUS 1854 HAS SOUPS 1854 WITH SCORE 1856.272
AT ITER 2227 NEW BEST:: SOT 4992 SOS 2256 HAS SOPS 2256 HAS SOUS 1854 HAS SOUPS 1854 WITH SCORE 1856.256
AT ITER 2231 NEW BEST:: SOT 4989 SOS 2253 HAS SOPS 2253 HAS SOUS 1851 HAS SOUPS 1851 WITH SCORE 1853.253
AT ITER 2297 NEW BEST:: SOT 4989 SOS 2251 HAS SOPS 2251 HAS SOUS 1851 HAS SOUPS 1851 WITH SCORE 1853.251
AT ITER 2380 NEW BEST:: SOT 4989 SOS 2250 HAS SOPS 2250 HAS SOUS 1850 HAS SOUPS 1850 WITH SCORE 1852.25
AT ITER 2402 NEW BEST:: SOT 4986 SOS 2247 HAS SOPS 2247 HAS SOUS 1847 HAS SOUPS 1847 WITH SCORE 1849.247
AT ITER 2416 NEW BEST:: SOT 4984 SOS 2249 HAS SOPS 2249 HAS SOUS 1835 HAS SOUPS 1835 WITH SCORE 1837.249
AT ITER 2434 NEW BEST:: SOT 4983 SOS 2248 HAS SOPS 2248 HAS SOUS 1834 HAS SOUPS 1834 WITH SCORE 1836.248
AT ITER 2451 NEW BEST:: SOT 4982 SOS 2246 HAS SOPS 2246 HAS SOUS 1832 HAS SOUPS 1832 WITH SCORE 1834.246
AT ITER 2466 NEW BEST:: SOT 4982 SOS 2245 HAS SOPS 2245 HAS SOUS 1831 HAS SOUPS 1831 WITH SCORE 1833.245
AT ITER 2503 NEW BEST:: SOT 4975 SOS 2238 HAS SOPS 2238 HAS SOUS 1824 HAS SOUPS 1824 WITH SCORE 1826.238
AT ITER 2509 NEW BEST:: SOT 4973 SOS 2234 HAS SOPS 2234 HAS SOUS 1820 HAS SOUPS 1820 WITH SCORE 1822.234
AT ITER 2532 NEW BEST:: SOT 4968 SOS 2229 HAS SOPS 2229 HAS SOUS 1815 HAS SOUPS 1815 WITH SCORE 1817.229
AT ITER 2541 NEW BEST:: SOT 4968 SOS 2225 HAS SOPS 2225 HAS SOUS 1813 HAS SOUPS 1813 WITH SCORE 1815.225
AT ITER 2573 NEW BEST:: SOT 4968 SOS 2224 HAS SOPS 2224 HAS SOUS 1812 HAS SOUPS 1812 WITH SCORE 1814.224
AT ITER 2626 NEW BEST:: SOT 4963 SOS 2214 HAS SOPS 2214 HAS SOUS 1802 HAS SOUPS 1802 WITH SCORE 1804.214
AT ITER 2648 NEW BEST:: SOT 4957 SOS 2208 HAS SOPS 2208 HAS SOUS 1796 HAS SOUPS 1796 WITH SCORE 1798.208
AT ITER 2665 NEW BEST:: SOT 4954 SOS 2206 HAS SOPS 2206 HAS SOUS 1794 HAS SOUPS 1794 WITH SCORE 1796.206
AT ITER 2687 NEW BEST:: SOT 4936 SOS 2187 HAS SOPS 2187 HAS SOUS 1775 HAS SOUPS 1775 WITH SCORE 1777.187
AT ITER 2702 NEW BEST:: SOT 4931 SOS 2165 HAS SOPS 2165 HAS SOUS 1768 HAS SOUPS 1768 WITH SCORE 1770.165
AT ITER 2757 NEW BEST:: SOT 4930 SOS 2164 HAS SOPS 2164 HAS SOUS 1767 HAS SOUPS 1767 WITH SCORE 1769.164
AT ITER 2790 NEW BEST:: SOT 4928 SOS 2160 HAS SOPS 2160 HAS SOUS 1763 HAS SOUPS 1763 WITH SCORE 1765.16
AT ITER 2812 NEW BEST:: SOT 4913 SOS 2143 HAS SOPS 2143 HAS SOUS 1748 HAS SOUPS 1748 WITH SCORE 1750.143
AT ITER 2827 NEW BEST:: SOT 4906 SOS 2134 HAS SOPS 2134 HAS SOUS 1743 HAS SOUPS 1743 WITH SCORE 1745.134
AT ITER 2860 NEW BEST:: SOT 4903 SOS 2131 HAS SOPS 2131 HAS SOUS 1740 HAS SOUPS 1740 WITH SCORE 1742.131
AT ITER 2903 NEW BEST:: SOT 4859 SOS 2118 HAS SOPS 2118 HAS SOUS 1729 HAS SOUPS 1729 WITH SCORE 1731.118
AT ITER 2917 NEW BEST:: SOT 4859 SOS 2116 HAS SOPS 2116 HAS SOUS 1729 HAS SOUPS 1729 WITH SCORE 1731.116
AT ITER 2925 NEW BEST:: SOT 4878 SOS 2154 HAS SOPS 2154 HAS SOUS 1725 HAS SOUPS 1725 WITH SCORE 1727.154
AT ITER 2926 NEW BEST:: SOT 4878 SOS 2154 HAS SOPS 2154 HAS SOUS 1723 HAS SOUPS 1723 WITH SCORE 1725.154
AT ITER 2935 NEW BEST:: SOT 4869 SOS 2163 HAS SOPS 2163 HAS SOUS 1719 HAS SOUPS 1719 WITH SCORE 1721.163
AT ITER 2953 NEW BEST:: SOT 4867 SOS 2159 HAS SOPS 2159 HAS SOUS 1715 HAS SOUPS 1715 WITH SCORE 1717.159
AT ITER 3026 NEW BEST:: SOT 4854 SOS 2143 HAS SOPS 2143 HAS SOUS 1699 HAS SOUPS 1699 WITH SCORE 1701.143
AT ITER 3045 NEW BEST:: SOT 4855 SOS 2150 HAS SOPS 2150 HAS SOUS 1692 HAS SOUPS 1692 WITH SCORE 1694.15
AT ITER 3072 NEW BEST:: SOT 4855 SOS 2149 HAS SOPS 2149 HAS SOUS 1691 HAS SOUPS 1691 WITH SCORE 1693.149
AT ITER 3079 NEW BEST:: SOT 4853 SOS 2143 HAS SOPS 2143 HAS SOUS 1685 HAS SOUPS 1685 WITH SCORE 1687.143
AT ITER 3127 NEW BEST:: SOT 4853 SOS 2126 HAS SOPS 2126 HAS SOUS 1668 HAS SOUPS 1668 WITH SCORE 1670.126
AT ITER 3161 NEW BEST:: SOT 4844 SOS 2114 HAS SOPS 2114 HAS SOUS 1656 HAS SOUPS 1656 WITH SCORE 1658.114
AT ITER 3250 NEW BEST:: SOT 4844 SOS 2102 HAS SOPS 2102 HAS SOUS 1652 HAS SOUPS 1652 WITH SCORE 1654.102
AT ITER 3294 NEW BEST:: SOT 4844 SOS 2101 HAS SOPS 2101 HAS SOUS 1651 HAS SOUPS 1651 WITH SCORE 1653.101
AT ITER 3312 NEW BEST:: SOT 4840 SOS 2093 HAS SOPS 2093 HAS SOUS 1643 HAS SOUPS 1643 WITH SCORE 1645.093
AT ITER 3364 NEW BEST:: SOT 4849 SOS 2087 HAS SOPS 2087 HAS SOUS 1641 HAS SOUPS 1641 WITH SCORE 1643.087
AT ITER 3398 NEW BEST:: SOT 4849 SOS 2083 HAS SOPS 2083 HAS SOUS 1641 HAS SOUPS 1641 WITH SCORE 1643.083
AT ITER 3400 NEW BEST:: SOT 4857 SOS 2078 HAS SOPS 2078 HAS SOUS 1636 HAS SOUPS 1636 WITH SCORE 1638.078
AT ITER 3425 NEW BEST:: SOT 4854 SOS 2072 HAS SOPS 2072 HAS SOUS 1630 HAS SOUPS 1630 WITH SCORE 1632.072
AT ITER 3426 NEW BEST:: SOT 4809 SOS 2032 HAS SOPS 2032 HAS SOUS 1622 HAS SOUPS 1622 WITH SCORE 1624.032
AT ITER 3463 NEW BEST:: SOT 4808 SOS 2031 HAS SOPS 2031 HAS SOUS 1621 HAS SOUPS 1621 WITH SCORE 1623.031
AT ITER 3495 NEW BEST:: SOT 4806 SOS 2023 HAS SOPS 2023 HAS SOUS 1620 HAS SOUPS 1620 WITH SCORE 1622.023
AT ITER 3564 NEW BEST:: SOT 4817 SOS 2030 HAS SOPS 2030 HAS SOUS 1619 HAS SOUPS 1619 WITH SCORE 1621.03
AT ITER 3757 NEW BEST:: SOT 4817 SOS 2030 HAS SOPS 2030 HAS SOUS 1617 HAS SOUPS 1617 WITH SCORE 1619.03
AT ITER 3769 NEW BEST:: SOT 4819 SOS 2029 HAS SOPS 2029 HAS SOUS 1616 HAS SOUPS 1616 WITH SCORE 1618.029
AT ITER 3770 NEW BEST:: SOT 4818 SOS 2015 HAS SOPS 2015 HAS SOUS 1602 HAS SOUPS 1602 WITH SCORE 1604.015
AT ITER 3774 NEW BEST:: SOT 4818 SOS 2014 HAS SOPS 2014 HAS SOUS 1601 HAS SOUPS 1601 WITH SCORE 1603.014
AT ITER 3809 NEW BEST:: SOT 4810 SOS 2010 HAS SOPS 2010 HAS SOUS 1597 HAS SOUPS 1597 WITH SCORE 1599.01
AT ITER 3856 NEW BEST:: SOT 4809 SOS 2009 HAS SOPS 2009 HAS SOUS 1596 HAS SOUPS 1596 WITH SCORE 1598.009
AT ITER 3857 NEW BEST:: SOT 4801 SOS 2003 HAS SOPS 2003 HAS SOUS 1587 HAS SOUPS 1587 WITH SCORE 1589.003
AT ITER 3860 NEW BEST:: SOT 4799 SOS 2001 HAS SOPS 2001 HAS SOUS 1585 HAS SOUPS 1585 WITH SCORE 1587.001
AT ITER 4007 NEW BEST:: SOT 4798 SOS 2000 HAS SOPS 2000 HAS SOUS 1584 HAS SOUPS 1584 WITH SCORE 1586.0
AT ITER 4190 NEW BEST:: SOT 4795 SOS 2001 HAS SOPS 2001 HAS SOUS 1583 HAS SOUPS 1583 WITH SCORE 1585.001
AT ITER 4196 NEW BEST:: SOT 4790 SOS 2023 HAS SOPS 2023 HAS SOUS 1578 HAS SOUPS 1578 WITH SCORE 1580.023
AT ITER 4219 NEW BEST:: SOT 4787 SOS 2017 HAS SOPS 2017 HAS SOUS 1572 HAS SOUPS 1572 WITH SCORE 1574.017
AT ITER 4334 NEW BEST:: SOT 4781 SOS 2002 HAS SOPS 2002 HAS SOUS 1557 HAS SOUPS 1557 WITH SCORE 1559.002
AT ITER 4599 NEW BEST:: SOT 4781 SOS 2000 HAS SOPS 2000 HAS SOUS 1556 HAS SOUPS 1556 WITH SCORE 1558.0
AT ITER 4608 NEW BEST:: SOT 4782 SOS 1997 HAS SOPS 1997 HAS SOUS 1553 HAS SOUPS 1553 WITH SCORE 1554.997
AT ITER 4742 NEW BEST:: SOT 4782 SOS 1987 HAS SOPS 1987 HAS SOUS 1547 HAS SOUPS 1547 WITH SCORE 1548.987
AT ITER 4830 NEW BEST:: SOT 4780 SOS 1985 HAS SOPS 1985 HAS SOUS 1545 HAS SOUPS 1545 WITH SCORE 1546.985
AT ITER 4922 NEW BEST:: SOT 4780 SOS 1984 HAS SOPS 1984 HAS SOUS 1544 HAS SOUPS 1544 WITH SCORE 1545.984
AT ITER 4982 NEW BEST:: SOT 4778 SOS 1982 HAS SOPS 1982 HAS SOUS 1542 HAS SOUPS 1542 WITH SCORE 1543.982
AT ITER 5045 NEW BEST:: SOT 4778 SOS 1976 HAS SOPS 1976 HAS SOUS 1541 HAS SOUPS 1541 WITH SCORE 1542.976
AT ITER 5131 NEW BEST:: SOT 4778 SOS 1976 HAS SOPS 1976 HAS SOUS 1539 HAS SOUPS 1539 WITH SCORE 1540.976
AT ITER 5221 NEW BEST:: SOT 4782 SOS 1963 HAS SOPS 1963 HAS SOUS 1526 HAS SOUPS 1526 WITH SCORE 1527.963
AT ITER 5246 NEW BEST:: SOT 4781 SOS 1962 HAS SOPS 1962 HAS SOUS 1525 HAS SOUPS 1525 WITH SCORE 1526.962
AT ITER 5266 NEW BEST:: SOT 4777 SOS 1958 HAS SOPS 1958 HAS SOUS 1520 HAS SOUPS 1520 WITH SCORE 1521.958
AT ITER 5311 NEW BEST:: SOT 4775 SOS 1954 HAS SOPS 1954 HAS SOUS 1516 HAS SOUPS 1516 WITH SCORE 1517.954
AT ITER 5399 NEW BEST:: SOT 4774 SOS 1952 HAS SOPS 1952 HAS SOUS 1514 HAS SOUPS 1514 WITH SCORE 1515.952
AT ITER 5416 NEW BEST:: SOT 4774 SOS 1951 HAS SOPS 1951 HAS SOUS 1513 HAS SOUPS 1513 WITH SCORE 1514.951
AT ITER 5481 NEW BEST:: SOT 4774 SOS 1950 HAS SOPS 1950 HAS SOUS 1512 HAS SOUPS 1512 WITH SCORE 1513.95
AT ITER 5525 NEW BEST:: SOT 4772 SOS 1945 HAS SOPS 1945 HAS SOUS 1507 HAS SOUPS 1507 WITH SCORE 1508.945
AT ITER 5695 NEW BEST:: SOT 4769 SOS 1938 HAS SOPS 1938 HAS SOUS 1506 HAS SOUPS 1506 WITH SCORE 1507.938
AT ITER 5787 NEW BEST:: SOT 4770 SOS 1937 HAS SOPS 1937 HAS SOUS 1505 HAS SOUPS 1505 WITH SCORE 1506.937
AT ITER 5858 NEW BEST:: SOT 4768 SOS 1936 HAS SOPS 1936 HAS SOUS 1504 HAS SOUPS 1504 WITH SCORE 1505.936
AT ITER 5950 NEW BEST:: SOT 4768 SOS 1933 HAS SOPS 1933 HAS SOUS 1503 HAS SOUPS 1503 WITH SCORE 1504.933
AT ITER 6055 NEW BEST:: SOT 4755 SOS 1922 HAS SOPS 1922 HAS SOUS 1500 HAS SOUPS 1500 WITH SCORE 1501.922
AT ITER 6106 NEW BEST:: SOT 4754 SOS 1920 HAS SOPS 1920 HAS SOUS 1498 HAS SOUPS 1498 WITH SCORE 1499.92
AT ITER 6152 NEW BEST:: SOT 4752 SOS 1918 HAS SOPS 1918 HAS SOUS 1496 HAS SOUPS 1496 WITH SCORE 1497.918
AT ITER 6298 NEW BEST:: SOT 4749 SOS 1915 HAS SOPS 1915 HAS SOUS 1493 HAS SOUPS 1493 WITH SCORE 1494.915
AT ITER 6354 NEW BEST:: SOT 4747 SOS 1908 HAS SOPS 1908 HAS SOUS 1490 HAS SOUPS 1490 WITH SCORE 1491.908
AT ITER 6404 NEW BEST:: SOT 4742 SOS 1897 HAS SOPS 1897 HAS SOUS 1479 HAS SOUPS 1479 WITH SCORE 1480.897
AT ITER 6563 NEW BEST:: SOT 4742 SOS 1895 HAS SOPS 1895 HAS SOUS 1477 HAS SOUPS 1477 WITH SCORE 1478.895
AT ITER 6748 NEW BEST:: SOT 4740 SOS 1892 HAS SOPS 1892 HAS SOUS 1475 HAS SOUPS 1475 WITH SCORE 1476.892
AT ITER 6750 NEW BEST:: SOT 4740 SOS 1887 HAS SOPS 1887 HAS SOUS 1474 HAS SOUPS 1474 WITH SCORE 1475.887
AT ITER 6961 NEW BEST:: SOT 4743 SOS 1882 HAS SOPS 1882 HAS SOUS 1469 HAS SOUPS 1469 WITH SCORE 1470.882
AT ITER 7041 NEW BEST:: SOT 4737 SOS 1875 HAS SOPS 1875 HAS SOUS 1466 HAS SOUPS 1466 WITH SCORE 1467.875
AT ITER 7188 NEW BEST:: SOT 4737 SOS 1872 HAS SOPS 1872 HAS SOUS 1466 HAS SOUPS 1466 WITH SCORE 1467.872
AT ITER 7383 NEW BEST:: SOT 4736 SOS 1871 HAS SOPS 1871 HAS SOUS 1465 HAS SOUPS 1465 WITH SCORE 1466.871
AT ITER 7415 NEW BEST:: SOT 4735 SOS 1870 HAS SOPS 1870 HAS SOUS 1464 HAS SOUPS 1464 WITH SCORE 1465.87
AT ITER 7418 NEW BEST:: SOT 4734 SOS 1868 HAS SOPS 1868 HAS SOUS 1463 HAS SOUPS 1463 WITH SCORE 1464.868
AT ITER 7668 NEW BEST:: SOT 4730 SOS 1864 HAS SOPS 1864 HAS SOUS 1459 HAS SOUPS 1459 WITH SCORE 1460.864
AT ITER 7767 NEW BEST:: SOT 4730 SOS 1863 HAS SOPS 1863 HAS SOUS 1458 HAS SOUPS 1458 WITH SCORE 1459.863
AT ITER 7803 NEW BEST:: SOT 4729 SOS 1859 HAS SOPS 1859 HAS SOUS 1454 HAS SOUPS 1454 WITH SCORE 1455.859
AT ITER 7955 NEW BEST:: SOT 4728 SOS 1857 HAS SOPS 1857 HAS SOUS 1452 HAS SOUPS 1452 WITH SCORE 1453.857
AT ITER 8110 NEW BEST:: SOT 4728 SOS 1857 HAS SOPS 1857 HAS SOUS 1451 HAS SOUPS 1451 WITH SCORE 1452.857
AT ITER 8197 NEW BEST:: SOT 4727 SOS 1856 HAS SOPS 1856 HAS SOUS 1450 HAS SOUPS 1450 WITH SCORE 1451.856
AT ITER 8299 NEW BEST:: SOT 4725 SOS 1854 HAS SOPS 1854 HAS SOUS 1450 HAS SOUPS 1450 WITH SCORE 1451.854
AT ITER 8376 NEW BEST:: SOT 4730 SOS 1855 HAS SOPS 1855 HAS SOUS 1449 HAS SOUPS 1449 WITH SCORE 1450.855
AT ITER 8425 NEW BEST:: SOT 4728 SOS 1833 HAS SOPS 1833 HAS SOUS 1443 HAS SOUPS 1443 WITH SCORE 1444.833
AT ITER 8456 NEW BEST:: SOT 4728 SOS 1842 HAS SOPS 1842 HAS SOUS 1440 HAS SOUPS 1440 WITH SCORE 1441.842
AT ITER 8538 NEW BEST:: SOT 4727 SOS 1840 HAS SOPS 1840 HAS SOUS 1440 HAS SOUPS 1440 WITH SCORE 1441.84
AT ITER 8624 NEW BEST:: SOT 4724 SOS 1835 HAS SOPS 1835 HAS SOUS 1439 HAS SOUPS 1439 WITH SCORE 1440.835
AT ITER 8655 NEW BEST:: SOT 4721 SOS 1831 HAS SOPS 1831 HAS SOUS 1435 HAS SOUPS 1435 WITH SCORE 1436.831
AT ITER 8832 NEW BEST:: SOT 4718 SOS 1830 HAS SOPS 1830 HAS SOUS 1435 HAS SOUPS 1435 WITH SCORE 1436.83
AT ITER 8898 NEW BEST:: SOT 4717 SOS 1829 HAS SOPS 1829 HAS SOUS 1434 HAS SOUPS 1434 WITH SCORE 1435.829
AT ITER 9227 NEW BEST:: SOT 4716 SOS 1825 HAS SOPS 1825 HAS SOUS 1434 HAS SOUPS 1434 WITH SCORE 1435.825
AT ITER 9247 NEW BEST:: SOT 4715 SOS 1822 HAS SOPS 1822 HAS SOUS 1431 HAS SOUPS 1431 WITH SCORE 1432.822
AT ITER 9248 NEW BEST:: SOT 4714 SOS 1818 HAS SOPS 1818 HAS SOUS 1427 HAS SOUPS 1427 WITH SCORE 1428.818
AT ITER 9435 NEW BEST:: SOT 4713 SOS 1817 HAS SOPS 1817 HAS SOUS 1426 HAS SOUPS 1426 WITH SCORE 1427.817
AT ITER 9833 NEW BEST:: SOT 4715 SOS 1817 HAS SOPS 1817 HAS SOUS 1425 HAS SOUPS 1425 WITH SCORE 1426.817
AT ITER 9884 NEW BEST:: SOT 4715 SOS 1801 HAS SOPS 1801 HAS SOUS 1425 HAS SOUPS 1425 WITH SCORE 1426.801
AT ITER 9962 NEW BEST:: SOT 4715 SOS 1800 HAS SOPS 1800 HAS SOUS 1424 HAS SOUPS 1424 WITH SCORE 1425.8
STATE_SPACE STATES 108580356 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 48 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 1213429339 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678240930418

--------------------
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-01a"
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 DES-PT-01a, 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 r099-tall-167814472300368"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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