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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 196K
-rw-r--r-- 1 mcc users 3.4K Mar 30 01:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 30 01:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 28 16:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K 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.4K Apr 8 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.8K Mar 27 08:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K Mar 27 08:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 26 08:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K 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 32K 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 1589102926297

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 01a
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 13 NEW BEST:: SOT 6498 SOS 4976 HAS SOPS 4976 HAS SOUS 3761 HAS SOUPS 3761 WITH SCORE 3765.976
AT ITER 16 NEW BEST:: SOT 6471 SOS 4998 HAS SOPS 4998 HAS SOUS 3754 HAS SOUPS 3754 WITH SCORE 3758.998
AT ITER 19 NEW BEST:: SOT 6465 SOS 4956 HAS SOPS 4956 HAS SOUS 3735 HAS SOUPS 3735 WITH SCORE 3739.956
AT ITER 21 NEW BEST:: SOT 6459 SOS 4962 HAS SOPS 4962 HAS SOUS 3729 HAS SOUPS 3729 WITH SCORE 3733.962
AT ITER 22 NEW BEST:: SOT 6416 SOS 4917 HAS SOPS 4917 HAS SOUS 3684 HAS SOUPS 3684 WITH SCORE 3688.917
AT ITER 27 NEW BEST:: SOT 6411 SOS 4912 HAS SOPS 4912 HAS SOUS 3679 HAS SOUPS 3679 WITH SCORE 3683.912
AT ITER 29 NEW BEST:: SOT 6411 SOS 4913 HAS SOPS 4913 HAS SOUS 3668 HAS SOUPS 3668 WITH SCORE 3672.913
AT ITER 30 NEW BEST:: SOT 6408 SOS 4910 HAS SOPS 4910 HAS SOUS 3665 HAS SOUPS 3665 WITH SCORE 3669.91
AT ITER 31 NEW BEST:: SOT 6298 SOS 4800 HAS SOPS 4800 HAS SOUS 3643 HAS SOUPS 3643 WITH SCORE 3647.8
AT ITER 32 NEW BEST:: SOT 6295 SOS 4796 HAS SOPS 4796 HAS SOUS 3639 HAS SOUPS 3639 WITH SCORE 3643.796
AT ITER 35 NEW BEST:: SOT 6253 SOS 4754 HAS SOPS 4754 HAS SOUS 3597 HAS SOUPS 3597 WITH SCORE 3601.754
AT ITER 37 NEW BEST:: SOT 6224 SOS 4690 HAS SOPS 4690 HAS SOUS 3551 HAS SOUPS 3551 WITH SCORE 3555.69
AT ITER 40 NEW BEST:: SOT 6184 SOS 4649 HAS SOPS 4649 HAS SOUS 3510 HAS SOUPS 3510 WITH SCORE 3514.649
AT ITER 45 NEW BEST:: SOT 6182 SOS 4647 HAS SOPS 4647 HAS SOUS 3508 HAS SOUPS 3508 WITH SCORE 3512.647
AT ITER 48 NEW BEST:: SOT 6194 SOS 4658 HAS SOPS 4658 HAS SOUS 3503 HAS SOUPS 3503 WITH SCORE 3507.658
AT ITER 50 NEW BEST:: SOT 6179 SOS 4657 HAS SOPS 4657 HAS SOUS 3500 HAS SOUPS 3500 WITH SCORE 3504.657
AT ITER 53 NEW BEST:: SOT 6179 SOS 4642 HAS SOPS 4642 HAS SOUS 3494 HAS SOUPS 3494 WITH SCORE 3498.642
AT ITER 54 NEW BEST:: SOT 6137 SOS 4598 HAS SOPS 4598 HAS SOUS 3450 HAS SOUPS 3450 WITH SCORE 3454.598
AT ITER 65 NEW BEST:: SOT 6118 SOS 4579 HAS SOPS 4579 HAS SOUS 3431 HAS SOUPS 3431 WITH SCORE 3435.579
AT ITER 68 NEW BEST:: SOT 6118 SOS 4578 HAS SOPS 4578 HAS SOUS 3430 HAS SOUPS 3430 WITH SCORE 3434.578
AT ITER 70 NEW BEST:: SOT 6118 SOS 4567 HAS SOPS 4567 HAS SOUS 3429 HAS SOUPS 3429 WITH SCORE 3433.567
AT ITER 72 NEW BEST:: SOT 6116 SOS 4564 HAS SOPS 4564 HAS SOUS 3426 HAS SOUPS 3426 WITH SCORE 3430.564
AT ITER 73 NEW BEST:: SOT 6110 SOS 4559 HAS SOPS 4559 HAS SOUS 3421 HAS SOUPS 3421 WITH SCORE 3425.559
AT ITER 82 NEW BEST:: SOT 6065 SOS 4514 HAS SOPS 4514 HAS SOUS 3376 HAS SOUPS 3376 WITH SCORE 3380.514
AT ITER 93 NEW BEST:: SOT 6069 SOS 4484 HAS SOPS 4484 HAS SOUS 3346 HAS SOUPS 3346 WITH SCORE 3350.484
AT ITER 103 NEW BEST:: SOT 6064 SOS 4482 HAS SOPS 4482 HAS SOUS 3346 HAS SOUPS 3346 WITH SCORE 3350.482
AT ITER 106 NEW BEST:: SOT 6064 SOS 4454 HAS SOPS 4454 HAS SOUS 3318 HAS SOUPS 3318 WITH SCORE 3322.454
AT ITER 108 NEW BEST:: SOT 6065 SOS 4454 HAS SOPS 4454 HAS SOUS 3317 HAS SOUPS 3317 WITH SCORE 3321.454
AT ITER 111 NEW BEST:: SOT 6075 SOS 4442 HAS SOPS 4442 HAS SOUS 3305 HAS SOUPS 3305 WITH SCORE 3309.442
AT ITER 113 NEW BEST:: SOT 6074 SOS 4440 HAS SOPS 4440 HAS SOUS 3303 HAS SOUPS 3303 WITH SCORE 3307.44
AT ITER 119 NEW BEST:: SOT 6044 SOS 4410 HAS SOPS 4410 HAS SOUS 3273 HAS SOUPS 3273 WITH SCORE 3277.41
AT ITER 120 NEW BEST:: SOT 6026 SOS 4392 HAS SOPS 4392 HAS SOUS 3255 HAS SOUPS 3255 WITH SCORE 3259.392
AT ITER 121 NEW BEST:: SOT 5998 SOS 4391 HAS SOPS 4391 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3258.391
AT ITER 131 NEW BEST:: SOT 5984 SOS 4377 HAS SOPS 4377 HAS SOUS 3240 HAS SOUPS 3240 WITH SCORE 3244.377
AT ITER 141 NEW BEST:: SOT 5809 SOS 4202 HAS SOPS 4202 HAS SOUS 3205 HAS SOUPS 3205 WITH SCORE 3209.202
AT ITER 142 NEW BEST:: SOT 5804 SOS 4192 HAS SOPS 4192 HAS SOUS 3195 HAS SOUPS 3195 WITH SCORE 3199.192
AT ITER 143 NEW BEST:: SOT 5796 SOS 4184 HAS SOPS 4184 HAS SOUS 3194 HAS SOUPS 3194 WITH SCORE 3198.184
AT ITER 144 NEW BEST:: SOT 5796 SOS 4172 HAS SOPS 4172 HAS SOUS 3188 HAS SOUPS 3188 WITH SCORE 3192.172
AT ITER 152 NEW BEST:: SOT 5753 SOS 4110 HAS SOPS 4110 HAS SOUS 3134 HAS SOUPS 3134 WITH SCORE 3138.11
AT ITER 153 NEW BEST:: SOT 5753 SOS 4106 HAS SOPS 4106 HAS SOUS 3134 HAS SOUPS 3134 WITH SCORE 3138.106
AT ITER 158 NEW BEST:: SOT 5737 SOS 4083 HAS SOPS 4083 HAS SOUS 3111 HAS SOUPS 3111 WITH SCORE 3115.083
AT ITER 159 NEW BEST:: SOT 5723 SOS 4069 HAS SOPS 4069 HAS SOUS 3097 HAS SOUPS 3097 WITH SCORE 3101.069
AT ITER 165 NEW BEST:: SOT 5721 SOS 4017 HAS SOPS 4017 HAS SOUS 3095 HAS SOUPS 3095 WITH SCORE 3099.017
AT ITER 177 NEW BEST:: SOT 5699 SOS 3995 HAS SOPS 3995 HAS SOUS 3073 HAS SOUPS 3073 WITH SCORE 3076.995
AT ITER 181 NEW BEST:: SOT 5699 SOS 3998 HAS SOPS 3998 HAS SOUS 3072 HAS SOUPS 3072 WITH SCORE 3075.998
AT ITER 184 NEW BEST:: SOT 5722 SOS 3991 HAS SOPS 3991 HAS SOUS 3065 HAS SOUPS 3065 WITH SCORE 3068.991
AT ITER 190 NEW BEST:: SOT 5713 SOS 3981 HAS SOPS 3981 HAS SOUS 3055 HAS SOUPS 3055 WITH SCORE 3058.981
AT ITER 201 NEW BEST:: SOT 5680 SOS 3926 HAS SOPS 3926 HAS SOUS 3000 HAS SOUPS 3000 WITH SCORE 3003.926
AT ITER 203 NEW BEST:: SOT 5665 SOS 3911 HAS SOPS 3911 HAS SOUS 2985 HAS SOUPS 2985 WITH SCORE 2988.911
AT ITER 210 NEW BEST:: SOT 5660 SOS 3906 HAS SOPS 3906 HAS SOUS 2980 HAS SOUPS 2980 WITH SCORE 2983.906
AT ITER 225 NEW BEST:: SOT 5660 SOS 3901 HAS SOPS 3901 HAS SOUS 2975 HAS SOUPS 2975 WITH SCORE 2978.901
AT ITER 247 NEW BEST:: SOT 5650 SOS 3891 HAS SOPS 3891 HAS SOUS 2973 HAS SOUPS 2973 WITH SCORE 2976.891
AT ITER 249 NEW BEST:: SOT 5650 SOS 3888 HAS SOPS 3888 HAS SOUS 2970 HAS SOUPS 2970 WITH SCORE 2973.888
AT ITER 255 NEW BEST:: SOT 5640 SOS 3873 HAS SOPS 3873 HAS SOUS 2955 HAS SOUPS 2955 WITH SCORE 2958.873
AT ITER 267 NEW BEST:: SOT 5640 SOS 3844 HAS SOPS 3844 HAS SOUS 2926 HAS SOUPS 2926 WITH SCORE 2929.844
AT ITER 268 NEW BEST:: SOT 5641 SOS 3841 HAS SOPS 3841 HAS SOUS 2923 HAS SOUPS 2923 WITH SCORE 2926.841
AT ITER 274 NEW BEST:: SOT 5641 SOS 3839 HAS SOPS 3839 HAS SOUS 2921 HAS SOUPS 2921 WITH SCORE 2924.839
AT ITER 298 NEW BEST:: SOT 5613 SOS 3809 HAS SOPS 3809 HAS SOUS 2915 HAS SOUPS 2915 WITH SCORE 2918.809
AT ITER 300 NEW BEST:: SOT 5611 SOS 3807 HAS SOPS 3807 HAS SOUS 2913 HAS SOUPS 2913 WITH SCORE 2916.807
AT ITER 307 NEW BEST:: SOT 5610 SOS 3805 HAS SOPS 3805 HAS SOUS 2911 HAS SOUPS 2911 WITH SCORE 2914.805
AT ITER 333 NEW BEST:: SOT 5609 SOS 3804 HAS SOPS 3804 HAS SOUS 2910 HAS SOUPS 2910 WITH SCORE 2913.804
AT ITER 337 NEW BEST:: SOT 5627 SOS 3821 HAS SOPS 3821 HAS SOUS 2903 HAS SOUPS 2903 WITH SCORE 2906.821
AT ITER 338 NEW BEST:: SOT 5589 SOS 3815 HAS SOPS 3815 HAS SOUS 2897 HAS SOUPS 2897 WITH SCORE 2900.815
AT ITER 344 NEW BEST:: SOT 5561 SOS 3787 HAS SOPS 3787 HAS SOUS 2897 HAS SOUPS 2897 WITH SCORE 2900.787
AT ITER 345 NEW BEST:: SOT 5549 SOS 3775 HAS SOPS 3775 HAS SOUS 2897 HAS SOUPS 2897 WITH SCORE 2900.775
AT ITER 350 NEW BEST:: SOT 5543 SOS 3769 HAS SOPS 3769 HAS SOUS 2891 HAS SOUPS 2891 WITH SCORE 2894.769
AT ITER 351 NEW BEST:: SOT 5548 SOS 3745 HAS SOPS 3745 HAS SOUS 2867 HAS SOUPS 2867 WITH SCORE 2870.745
AT ITER 353 NEW BEST:: SOT 5541 SOS 3730 HAS SOPS 3730 HAS SOUS 2852 HAS SOUPS 2852 WITH SCORE 2855.73
AT ITER 377 NEW BEST:: SOT 5531 SOS 3720 HAS SOPS 3720 HAS SOUS 2842 HAS SOUPS 2842 WITH SCORE 2845.72
AT ITER 390 NEW BEST:: SOT 5513 SOS 3746 HAS SOPS 3746 HAS SOUS 2830 HAS SOUPS 2830 WITH SCORE 2833.746
AT ITER 407 NEW BEST:: SOT 5518 SOS 3739 HAS SOPS 3739 HAS SOUS 2823 HAS SOUPS 2823 WITH SCORE 2826.739
AT ITER 415 NEW BEST:: SOT 5509 SOS 3738 HAS SOPS 3738 HAS SOUS 2822 HAS SOUPS 2822 WITH SCORE 2825.738
AT ITER 418 NEW BEST:: SOT 5521 SOS 3726 HAS SOPS 3726 HAS SOUS 2810 HAS SOUPS 2810 WITH SCORE 2813.726
AT ITER 421 NEW BEST:: SOT 5521 SOS 3725 HAS SOPS 3725 HAS SOUS 2809 HAS SOUPS 2809 WITH SCORE 2812.725
AT ITER 423 NEW BEST:: SOT 5514 SOS 3717 HAS SOPS 3717 HAS SOUS 2801 HAS SOUPS 2801 WITH SCORE 2804.717
AT ITER 451 NEW BEST:: SOT 5509 SOS 3710 HAS SOPS 3710 HAS SOUS 2794 HAS SOUPS 2794 WITH SCORE 2797.71
AT ITER 476 NEW BEST:: SOT 5513 SOS 3690 HAS SOPS 3690 HAS SOUS 2774 HAS SOUPS 2774 WITH SCORE 2777.69
AT ITER 477 NEW BEST:: SOT 5501 SOS 3673 HAS SOPS 3673 HAS SOUS 2757 HAS SOUPS 2757 WITH SCORE 2760.673
AT ITER 480 NEW BEST:: SOT 5480 SOS 3506 HAS SOPS 3506 HAS SOUS 2732 HAS SOUPS 2732 WITH SCORE 2735.506
AT ITER 489 NEW BEST:: SOT 5479 SOS 3505 HAS SOPS 3505 HAS SOUS 2731 HAS SOUPS 2731 WITH SCORE 2734.505
AT ITER 504 NEW BEST:: SOT 5479 SOS 3485 HAS SOPS 3485 HAS SOUS 2724 HAS SOUPS 2724 WITH SCORE 2727.485
AT ITER 509 NEW BEST:: SOT 5489 SOS 3513 HAS SOPS 3513 HAS SOUS 2706 HAS SOUPS 2706 WITH SCORE 2709.513
AT ITER 511 NEW BEST:: SOT 5454 SOS 3470 HAS SOPS 3470 HAS SOUS 2663 HAS SOUPS 2663 WITH SCORE 2666.47
AT ITER 516 NEW BEST:: SOT 5441 SOS 3444 HAS SOPS 3444 HAS SOUS 2637 HAS SOUPS 2637 WITH SCORE 2640.444
AT ITER 517 NEW BEST:: SOT 5434 SOS 3437 HAS SOPS 3437 HAS SOUS 2630 HAS SOUPS 2630 WITH SCORE 2633.437
AT ITER 526 NEW BEST:: SOT 5406 SOS 3409 HAS SOPS 3409 HAS SOUS 2630 HAS SOUPS 2630 WITH SCORE 2633.409
AT ITER 531 NEW BEST:: SOT 5402 SOS 3401 HAS SOPS 3401 HAS SOUS 2622 HAS SOUPS 2622 WITH SCORE 2625.401
AT ITER 533 NEW BEST:: SOT 5403 SOS 3400 HAS SOPS 3400 HAS SOUS 2621 HAS SOUPS 2621 WITH SCORE 2624.4
AT ITER 544 NEW BEST:: SOT 5393 SOS 3380 HAS SOPS 3380 HAS SOUS 2601 HAS SOUPS 2601 WITH SCORE 2604.38
AT ITER 578 NEW BEST:: SOT 5327 SOS 3304 HAS SOPS 3304 HAS SOUS 2569 HAS SOUPS 2569 WITH SCORE 2572.304
AT ITER 586 NEW BEST:: SOT 5319 SOS 3296 HAS SOPS 3296 HAS SOUS 2561 HAS SOUPS 2561 WITH SCORE 2564.296
AT ITER 597 NEW BEST:: SOT 5319 SOS 3289 HAS SOPS 3289 HAS SOUS 2554 HAS SOUPS 2554 WITH SCORE 2557.289
AT ITER 603 NEW BEST:: SOT 5319 SOS 3294 HAS SOPS 3294 HAS SOUS 2549 HAS SOUPS 2549 WITH SCORE 2552.294
AT ITER 612 NEW BEST:: SOT 5317 SOS 3292 HAS SOPS 3292 HAS SOUS 2547 HAS SOUPS 2547 WITH SCORE 2550.292
AT ITER 622 NEW BEST:: SOT 5290 SOS 3290 HAS SOPS 3290 HAS SOUS 2545 HAS SOUPS 2545 WITH SCORE 2548.29
AT ITER 623 NEW BEST:: SOT 5288 SOS 3294 HAS SOPS 3294 HAS SOUS 2535 HAS SOUPS 2535 WITH SCORE 2538.294
AT ITER 624 NEW BEST:: SOT 5288 SOS 3292 HAS SOPS 3292 HAS SOUS 2533 HAS SOUPS 2533 WITH SCORE 2536.292
AT ITER 639 NEW BEST:: SOT 5287 SOS 3291 HAS SOPS 3291 HAS SOUS 2532 HAS SOUPS 2532 WITH SCORE 2535.291
AT ITER 641 NEW BEST:: SOT 5287 SOS 3256 HAS SOPS 3256 HAS SOUS 2497 HAS SOUPS 2497 WITH SCORE 2500.256
AT ITER 643 NEW BEST:: SOT 5310 SOS 3248 HAS SOPS 3248 HAS SOUS 2489 HAS SOUPS 2489 WITH SCORE 2492.248
AT ITER 666 NEW BEST:: SOT 5286 SOS 3232 HAS SOPS 3232 HAS SOUS 2484 HAS SOUPS 2484 WITH SCORE 2487.232
AT ITER 684 NEW BEST:: SOT 5281 SOS 3226 HAS SOPS 3226 HAS SOUS 2478 HAS SOUPS 2478 WITH SCORE 2481.226
AT ITER 685 NEW BEST:: SOT 5281 SOS 3222 HAS SOPS 3222 HAS SOUS 2478 HAS SOUPS 2478 WITH SCORE 2481.222
AT ITER 686 NEW BEST:: SOT 5287 SOS 3190 HAS SOPS 3190 HAS SOUS 2464 HAS SOUPS 2464 WITH SCORE 2467.19
AT ITER 706 NEW BEST:: SOT 5287 SOS 3180 HAS SOPS 3180 HAS SOUS 2454 HAS SOUPS 2454 WITH SCORE 2457.18
AT ITER 727 NEW BEST:: SOT 5275 SOS 3162 HAS SOPS 3162 HAS SOUS 2436 HAS SOUPS 2436 WITH SCORE 2439.162
AT ITER 729 NEW BEST:: SOT 5273 SOS 3160 HAS SOPS 3160 HAS SOUS 2434 HAS SOUPS 2434 WITH SCORE 2437.16
AT ITER 749 NEW BEST:: SOT 5273 SOS 3148 HAS SOPS 3148 HAS SOUS 2422 HAS SOUPS 2422 WITH SCORE 2425.148
AT ITER 794 NEW BEST:: SOT 5289 SOS 3157 HAS SOPS 3157 HAS SOUS 2421 HAS SOUPS 2421 WITH SCORE 2424.157
AT ITER 799 NEW BEST:: SOT 5250 SOS 3106 HAS SOPS 3106 HAS SOUS 2387 HAS SOUPS 2387 WITH SCORE 2390.106
AT ITER 801 NEW BEST:: SOT 5247 SOS 3103 HAS SOPS 3103 HAS SOUS 2387 HAS SOUPS 2387 WITH SCORE 2390.103
AT ITER 810 NEW BEST:: SOT 5245 SOS 3101 HAS SOPS 3101 HAS SOUS 2385 HAS SOUPS 2385 WITH SCORE 2388.101
AT ITER 813 NEW BEST:: SOT 5240 SOS 3096 HAS SOPS 3096 HAS SOUS 2380 HAS SOUPS 2380 WITH SCORE 2383.096
AT ITER 826 NEW BEST:: SOT 5240 SOS 3083 HAS SOPS 3083 HAS SOUS 2380 HAS SOUPS 2380 WITH SCORE 2383.083
AT ITER 842 NEW BEST:: SOT 5220 SOS 3063 HAS SOPS 3063 HAS SOUS 2345 HAS SOUPS 2345 WITH SCORE 2348.063
AT ITER 844 NEW BEST:: SOT 5213 SOS 3052 HAS SOPS 3052 HAS SOUS 2334 HAS SOUPS 2334 WITH SCORE 2337.052
AT ITER 852 NEW BEST:: SOT 5205 SOS 3046 HAS SOPS 3046 HAS SOUS 2286 HAS SOUPS 2286 WITH SCORE 2289.046
AT ITER 861 NEW BEST:: SOT 5195 SOS 3035 HAS SOPS 3035 HAS SOUS 2285 HAS SOUPS 2285 WITH SCORE 2288.035
AT ITER 864 NEW BEST:: SOT 5190 SOS 3030 HAS SOPS 3030 HAS SOUS 2280 HAS SOUPS 2280 WITH SCORE 2283.03
AT ITER 896 NEW BEST:: SOT 5183 SOS 3023 HAS SOPS 3023 HAS SOUS 2273 HAS SOUPS 2273 WITH SCORE 2276.023
AT ITER 904 NEW BEST:: SOT 5179 SOS 3019 HAS SOPS 3019 HAS SOUS 2269 HAS SOUPS 2269 WITH SCORE 2272.019
AT ITER 910 NEW BEST:: SOT 5177 SOS 3016 HAS SOPS 3016 HAS SOUS 2266 HAS SOUPS 2266 WITH SCORE 2269.016
AT ITER 911 NEW BEST:: SOT 5179 SOS 2999 HAS SOPS 2999 HAS SOUS 2249 HAS SOUPS 2249 WITH SCORE 2251.999
AT ITER 921 NEW BEST:: SOT 5176 SOS 2993 HAS SOPS 2993 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2245.993
AT ITER 926 NEW BEST:: SOT 5176 SOS 2985 HAS SOPS 2985 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2245.985
AT ITER 935 NEW BEST:: SOT 5170 SOS 2975 HAS SOPS 2975 HAS SOUS 2237 HAS SOUPS 2237 WITH SCORE 2239.975
AT ITER 942 NEW BEST:: SOT 5170 SOS 2967 HAS SOPS 2967 HAS SOUS 2229 HAS SOUPS 2229 WITH SCORE 2231.967
AT ITER 950 NEW BEST:: SOT 5170 SOS 2959 HAS SOPS 2959 HAS SOUS 2225 HAS SOUPS 2225 WITH SCORE 2227.959
AT ITER 954 NEW BEST:: SOT 5158 SOS 2938 HAS SOPS 2938 HAS SOUS 2219 HAS SOUPS 2219 WITH SCORE 2221.938
AT ITER 970 NEW BEST:: SOT 5154 SOS 2934 HAS SOPS 2934 HAS SOUS 2215 HAS SOUPS 2215 WITH SCORE 2217.934
AT ITER 993 NEW BEST:: SOT 5147 SOS 2931 HAS SOPS 2931 HAS SOUS 2212 HAS SOUPS 2212 WITH SCORE 2214.931
AT ITER 1000 NEW BEST:: SOT 5153 SOS 2911 HAS SOPS 2911 HAS SOUS 2206 HAS SOUPS 2206 WITH SCORE 2208.911
AT ITER 1002 NEW BEST:: SOT 5158 SOS 2895 HAS SOPS 2895 HAS SOUS 2203 HAS SOUPS 2203 WITH SCORE 2205.895
AT ITER 1006 NEW BEST:: SOT 5154 SOS 2893 HAS SOPS 2893 HAS SOUS 2201 HAS SOUPS 2201 WITH SCORE 2203.893
AT ITER 1015 NEW BEST:: SOT 5160 SOS 2891 HAS SOPS 2891 HAS SOUS 2201 HAS SOUPS 2201 WITH SCORE 2203.891
AT ITER 1017 NEW BEST:: SOT 5154 SOS 2873 HAS SOPS 2873 HAS SOUS 2201 HAS SOUPS 2201 WITH SCORE 2203.873
AT ITER 1028 NEW BEST:: SOT 5139 SOS 2858 HAS SOPS 2858 HAS SOUS 2184 HAS SOUPS 2184 WITH SCORE 2186.858
AT ITER 1031 NEW BEST:: SOT 5095 SOS 2814 HAS SOPS 2814 HAS SOUS 2184 HAS SOUPS 2184 WITH SCORE 2186.814
AT ITER 1034 NEW BEST:: SOT 5095 SOS 2823 HAS SOPS 2823 HAS SOUS 2183 HAS SOUPS 2183 WITH SCORE 2185.823
AT ITER 1037 NEW BEST:: SOT 5093 SOS 2821 HAS SOPS 2821 HAS SOUS 2181 HAS SOUPS 2181 WITH SCORE 2183.821
AT ITER 1039 NEW BEST:: SOT 5091 SOS 2819 HAS SOPS 2819 HAS SOUS 2179 HAS SOUPS 2179 WITH SCORE 2181.819
AT ITER 1056 NEW BEST:: SOT 5086 SOS 2823 HAS SOPS 2823 HAS SOUS 2164 HAS SOUPS 2164 WITH SCORE 2166.823
AT ITER 1066 NEW BEST:: SOT 5084 SOS 2821 HAS SOPS 2821 HAS SOUS 2162 HAS SOUPS 2162 WITH SCORE 2164.821
AT ITER 1072 NEW BEST:: SOT 5084 SOS 2817 HAS SOPS 2817 HAS SOUS 2151 HAS SOUPS 2151 WITH SCORE 2153.817
AT ITER 1084 NEW BEST:: SOT 5082 SOS 2815 HAS SOPS 2815 HAS SOUS 2151 HAS SOUPS 2151 WITH SCORE 2153.815
AT ITER 1100 NEW BEST:: SOT 5070 SOS 2796 HAS SOPS 2796 HAS SOUS 2132 HAS SOUPS 2132 WITH SCORE 2134.796
AT ITER 1103 NEW BEST:: SOT 5076 SOS 2791 HAS SOPS 2791 HAS SOUS 2127 HAS SOUPS 2127 WITH SCORE 2129.791
AT ITER 1112 NEW BEST:: SOT 5061 SOS 2776 HAS SOPS 2776 HAS SOUS 2124 HAS SOUPS 2124 WITH SCORE 2126.776
AT ITER 1116 NEW BEST:: SOT 5059 SOS 2772 HAS SOPS 2772 HAS SOUS 2120 HAS SOUPS 2120 WITH SCORE 2122.772
AT ITER 1189 NEW BEST:: SOT 5056 SOS 2769 HAS SOPS 2769 HAS SOUS 2098 HAS SOUPS 2098 WITH SCORE 2100.769
AT ITER 1201 NEW BEST:: SOT 5053 SOS 2763 HAS SOPS 2763 HAS SOUS 2092 HAS SOUPS 2092 WITH SCORE 2094.763
AT ITER 1253 NEW BEST:: SOT 5079 SOS 2766 HAS SOPS 2766 HAS SOUS 2084 HAS SOUPS 2084 WITH SCORE 2086.766
AT ITER 1262 NEW BEST:: SOT 5075 SOS 2761 HAS SOPS 2761 HAS SOUS 2079 HAS SOUPS 2079 WITH SCORE 2081.761
AT ITER 1273 NEW BEST:: SOT 5069 SOS 2759 HAS SOPS 2759 HAS SOUS 2077 HAS SOUPS 2077 WITH SCORE 2079.759
AT ITER 1304 NEW BEST:: SOT 5063 SOS 2753 HAS SOPS 2753 HAS SOUS 2071 HAS SOUPS 2071 WITH SCORE 2073.753
AT ITER 1318 NEW BEST:: SOT 5048 SOS 2731 HAS SOPS 2731 HAS SOUS 2049 HAS SOUPS 2049 WITH SCORE 2051.731
AT ITER 1367 NEW BEST:: SOT 5048 SOS 2729 HAS SOPS 2729 HAS SOUS 2049 HAS SOUPS 2049 WITH SCORE 2051.729
AT ITER 1403 NEW BEST:: SOT 5041 SOS 2704 HAS SOPS 2704 HAS SOUS 2042 HAS SOUPS 2042 WITH SCORE 2044.704
AT ITER 1412 NEW BEST:: SOT 5008 SOS 2662 HAS SOPS 2662 HAS SOUS 2018 HAS SOUPS 2018 WITH SCORE 2020.662
AT ITER 1417 NEW BEST:: SOT 5017 SOS 2659 HAS SOPS 2659 HAS SOUS 2017 HAS SOUPS 2017 WITH SCORE 2019.659
AT ITER 1421 NEW BEST:: SOT 5017 SOS 2663 HAS SOPS 2663 HAS SOUS 2014 HAS SOUPS 2014 WITH SCORE 2016.663
AT ITER 1445 NEW BEST:: SOT 5015 SOS 2654 HAS SOPS 2654 HAS SOUS 2005 HAS SOUPS 2005 WITH SCORE 2007.654
AT ITER 1464 NEW BEST:: SOT 5015 SOS 2654 HAS SOPS 2654 HAS SOUS 2004 HAS SOUPS 2004 WITH SCORE 2006.654
AT ITER 1466 NEW BEST:: SOT 5013 SOS 2652 HAS SOPS 2652 HAS SOUS 2002 HAS SOUPS 2002 WITH SCORE 2004.652
AT ITER 1484 NEW BEST:: SOT 5004 SOS 2643 HAS SOPS 2643 HAS SOUS 1990 HAS SOUPS 1990 WITH SCORE 1992.643
AT ITER 1489 NEW BEST:: SOT 4986 SOS 2625 HAS SOPS 2625 HAS SOUS 1984 HAS SOUPS 1984 WITH SCORE 1986.625
AT ITER 1491 NEW BEST:: SOT 4985 SOS 2623 HAS SOPS 2623 HAS SOUS 1982 HAS SOUPS 1982 WITH SCORE 1984.623
AT ITER 1509 NEW BEST:: SOT 4984 SOS 2622 HAS SOPS 2622 HAS SOUS 1981 HAS SOUPS 1981 WITH SCORE 1983.622
AT ITER 1528 NEW BEST:: SOT 4981 SOS 2619 HAS SOPS 2619 HAS SOUS 1978 HAS SOUPS 1978 WITH SCORE 1980.619
AT ITER 1539 NEW BEST:: SOT 4981 SOS 2618 HAS SOPS 2618 HAS SOUS 1977 HAS SOUPS 1977 WITH SCORE 1979.618
AT ITER 1555 NEW BEST:: SOT 4993 SOS 2608 HAS SOPS 2608 HAS SOUS 1967 HAS SOUPS 1967 WITH SCORE 1969.608
AT ITER 1572 NEW BEST:: SOT 4992 SOS 2607 HAS SOPS 2607 HAS SOUS 1966 HAS SOUPS 1966 WITH SCORE 1968.607
AT ITER 1592 NEW BEST:: SOT 4992 SOS 2597 HAS SOPS 2597 HAS SOUS 1956 HAS SOUPS 1956 WITH SCORE 1958.597
AT ITER 1603 NEW BEST:: SOT 4988 SOS 2593 HAS SOPS 2593 HAS SOUS 1952 HAS SOUPS 1952 WITH SCORE 1954.593
AT ITER 1634 NEW BEST:: SOT 4985 SOS 2587 HAS SOPS 2587 HAS SOUS 1946 HAS SOUPS 1946 WITH SCORE 1948.587
AT ITER 1653 NEW BEST:: SOT 4984 SOS 2586 HAS SOPS 2586 HAS SOUS 1945 HAS SOUPS 1945 WITH SCORE 1947.586
AT ITER 1673 NEW BEST:: SOT 4984 SOS 2581 HAS SOPS 2581 HAS SOUS 1944 HAS SOUPS 1944 WITH SCORE 1946.581
AT ITER 1682 NEW BEST:: SOT 4961 SOS 2558 HAS SOPS 2558 HAS SOUS 1921 HAS SOUPS 1921 WITH SCORE 1923.558
AT ITER 1704 NEW BEST:: SOT 4960 SOS 2557 HAS SOPS 2557 HAS SOUS 1920 HAS SOUPS 1920 WITH SCORE 1922.557
AT ITER 1706 NEW BEST:: SOT 4958 SOS 2558 HAS SOPS 2558 HAS SOUS 1919 HAS SOUPS 1919 WITH SCORE 1921.558
AT ITER 1729 NEW BEST:: SOT 4976 SOS 2573 HAS SOPS 2573 HAS SOUS 1908 HAS SOUPS 1908 WITH SCORE 1910.573
AT ITER 1748 NEW BEST:: SOT 4974 SOS 2572 HAS SOPS 2572 HAS SOUS 1907 HAS SOUPS 1907 WITH SCORE 1909.572
AT ITER 1751 NEW BEST:: SOT 4954 SOS 2552 HAS SOPS 2552 HAS SOUS 1887 HAS SOUPS 1887 WITH SCORE 1889.552
AT ITER 1779 NEW BEST:: SOT 4940 SOS 2536 HAS SOPS 2536 HAS SOUS 1871 HAS SOUPS 1871 WITH SCORE 1873.536
AT ITER 1797 NEW BEST:: SOT 4940 SOS 2535 HAS SOPS 2535 HAS SOUS 1870 HAS SOUPS 1870 WITH SCORE 1872.535
AT ITER 1799 NEW BEST:: SOT 4941 SOS 2522 HAS SOPS 2522 HAS SOUS 1857 HAS SOUPS 1857 WITH SCORE 1859.522
AT ITER 1823 NEW BEST:: SOT 4941 SOS 2521 HAS SOPS 2521 HAS SOUS 1856 HAS SOUPS 1856 WITH SCORE 1858.521
AT ITER 1839 NEW BEST:: SOT 4941 SOS 2514 HAS SOPS 2514 HAS SOUS 1849 HAS SOUPS 1849 WITH SCORE 1851.514
AT ITER 1868 NEW BEST:: SOT 4926 SOS 2497 HAS SOPS 2497 HAS SOUS 1840 HAS SOUPS 1840 WITH SCORE 1842.497
AT ITER 1911 NEW BEST:: SOT 4924 SOS 2491 HAS SOPS 2491 HAS SOUS 1836 HAS SOUPS 1836 WITH SCORE 1838.491
AT ITER 2072 NEW BEST:: SOT 4926 SOS 2461 HAS SOPS 2461 HAS SOUS 1806 HAS SOUPS 1806 WITH SCORE 1808.461
AT ITER 2079 NEW BEST:: SOT 4926 SOS 2441 HAS SOPS 2441 HAS SOUS 1806 HAS SOUPS 1806 WITH SCORE 1808.441
AT ITER 2080 NEW BEST:: SOT 4926 SOS 2434 HAS SOPS 2434 HAS SOUS 1799 HAS SOUPS 1799 WITH SCORE 1801.434
AT ITER 2106 NEW BEST:: SOT 4923 SOS 2429 HAS SOPS 2429 HAS SOUS 1794 HAS SOUPS 1794 WITH SCORE 1796.429
AT ITER 2152 NEW BEST:: SOT 4923 SOS 2428 HAS SOPS 2428 HAS SOUS 1793 HAS SOUPS 1793 WITH SCORE 1795.428
AT ITER 2200 NEW BEST:: SOT 4923 SOS 2428 HAS SOPS 2428 HAS SOUS 1791 HAS SOUPS 1791 WITH SCORE 1793.428
AT ITER 2216 NEW BEST:: SOT 4918 SOS 2423 HAS SOPS 2423 HAS SOUS 1786 HAS SOUPS 1786 WITH SCORE 1788.423
AT ITER 2227 NEW BEST:: SOT 4918 SOS 2424 HAS SOPS 2424 HAS SOUS 1783 HAS SOUPS 1783 WITH SCORE 1785.424
AT ITER 2232 NEW BEST:: SOT 4918 SOS 2413 HAS SOPS 2413 HAS SOUS 1780 HAS SOUPS 1780 WITH SCORE 1782.413
AT ITER 2255 NEW BEST:: SOT 4903 SOS 2407 HAS SOPS 2407 HAS SOUS 1778 HAS SOUPS 1778 WITH SCORE 1780.407
AT ITER 2258 NEW BEST:: SOT 4901 SOS 2406 HAS SOPS 2406 HAS SOUS 1777 HAS SOUPS 1777 WITH SCORE 1779.406
AT ITER 2263 NEW BEST:: SOT 4901 SOS 2403 HAS SOPS 2403 HAS SOUS 1775 HAS SOUPS 1775 WITH SCORE 1777.403
AT ITER 2295 NEW BEST:: SOT 4909 SOS 2409 HAS SOPS 2409 HAS SOUS 1773 HAS SOUPS 1773 WITH SCORE 1775.409
AT ITER 2365 NEW BEST:: SOT 4900 SOS 2403 HAS SOPS 2403 HAS SOUS 1757 HAS SOUPS 1757 WITH SCORE 1759.403
AT ITER 2398 NEW BEST:: SOT 4899 SOS 2400 HAS SOPS 2400 HAS SOUS 1753 HAS SOUPS 1753 WITH SCORE 1755.4
AT ITER 2412 NEW BEST:: SOT 4900 SOS 2398 HAS SOPS 2398 HAS SOUS 1751 HAS SOUPS 1751 WITH SCORE 1753.398
AT ITER 2426 NEW BEST:: SOT 4909 SOS 2391 HAS SOPS 2391 HAS SOUS 1741 HAS SOUPS 1741 WITH SCORE 1743.391
AT ITER 2487 NEW BEST:: SOT 4903 SOS 2385 HAS SOPS 2385 HAS SOUS 1735 HAS SOUPS 1735 WITH SCORE 1737.385
AT ITER 2494 NEW BEST:: SOT 4902 SOS 2384 HAS SOPS 2384 HAS SOUS 1734 HAS SOUPS 1734 WITH SCORE 1736.384
AT ITER 2526 NEW BEST:: SOT 4902 SOS 2376 HAS SOPS 2376 HAS SOUS 1726 HAS SOUPS 1726 WITH SCORE 1728.376
AT ITER 2545 NEW BEST:: SOT 4885 SOS 2363 HAS SOPS 2363 HAS SOUS 1723 HAS SOUPS 1723 WITH SCORE 1725.363
AT ITER 2589 NEW BEST:: SOT 4876 SOS 2356 HAS SOPS 2356 HAS SOUS 1716 HAS SOUPS 1716 WITH SCORE 1718.356
AT ITER 2655 NEW BEST:: SOT 4870 SOS 2355 HAS SOPS 2355 HAS SOUS 1715 HAS SOUPS 1715 WITH SCORE 1717.355
AT ITER 2779 NEW BEST:: SOT 4865 SOS 2351 HAS SOPS 2351 HAS SOUS 1711 HAS SOUPS 1711 WITH SCORE 1713.351
AT ITER 2802 NEW BEST:: SOT 4865 SOS 2349 HAS SOPS 2349 HAS SOUS 1709 HAS SOUPS 1709 WITH SCORE 1711.349
AT ITER 2803 NEW BEST:: SOT 4865 SOS 2368 HAS SOPS 2368 HAS SOUS 1706 HAS SOUPS 1706 WITH SCORE 1708.368
AT ITER 2816 NEW BEST:: SOT 4865 SOS 2367 HAS SOPS 2367 HAS SOUS 1705 HAS SOUPS 1705 WITH SCORE 1707.367
AT ITER 2872 NEW BEST:: SOT 4859 SOS 2361 HAS SOPS 2361 HAS SOUS 1699 HAS SOUPS 1699 WITH SCORE 1701.361
AT ITER 2878 NEW BEST:: SOT 4857 SOS 2359 HAS SOPS 2359 HAS SOUS 1697 HAS SOUPS 1697 WITH SCORE 1699.359
AT ITER 2888 NEW BEST:: SOT 4856 SOS 2357 HAS SOPS 2357 HAS SOUS 1695 HAS SOUPS 1695 WITH SCORE 1697.357
AT ITER 2940 NEW BEST:: SOT 4845 SOS 2347 HAS SOPS 2347 HAS SOUS 1692 HAS SOUPS 1692 WITH SCORE 1694.347
AT ITER 2997 NEW BEST:: SOT 4845 SOS 2347 HAS SOPS 2347 HAS SOUS 1691 HAS SOUPS 1691 WITH SCORE 1693.347
AT ITER 3052 NEW BEST:: SOT 4844 SOS 2344 HAS SOPS 2344 HAS SOUS 1690 HAS SOUPS 1690 WITH SCORE 1692.344
AT ITER 3084 NEW BEST:: SOT 4844 SOS 2343 HAS SOPS 2343 HAS SOUS 1689 HAS SOUPS 1689 WITH SCORE 1691.343
AT ITER 3118 NEW BEST:: SOT 4841 SOS 2339 HAS SOPS 2339 HAS SOUS 1687 HAS SOUPS 1687 WITH SCORE 1689.339
AT ITER 3131 NEW BEST:: SOT 4838 SOS 2334 HAS SOPS 2334 HAS SOUS 1684 HAS SOUPS 1684 WITH SCORE 1686.334
AT ITER 3156 NEW BEST:: SOT 4837 SOS 2332 HAS SOPS 2332 HAS SOUS 1682 HAS SOUPS 1682 WITH SCORE 1684.332
AT ITER 3306 NEW BEST:: SOT 4829 SOS 2343 HAS SOPS 2343 HAS SOUS 1677 HAS SOUPS 1677 WITH SCORE 1679.343
AT ITER 3307 NEW BEST:: SOT 4829 SOS 2340 HAS SOPS 2340 HAS SOUS 1676 HAS SOUPS 1676 WITH SCORE 1678.34
AT ITER 3330 NEW BEST:: SOT 4824 SOS 2335 HAS SOPS 2335 HAS SOUS 1676 HAS SOUPS 1676 WITH SCORE 1678.335
AT ITER 3339 NEW BEST:: SOT 4822 SOS 2333 HAS SOPS 2333 HAS SOUS 1674 HAS SOUPS 1674 WITH SCORE 1676.333
AT ITER 3370 NEW BEST:: SOT 4816 SOS 2327 HAS SOPS 2327 HAS SOUS 1668 HAS SOUPS 1668 WITH SCORE 1670.327
AT ITER 3413 NEW BEST:: SOT 4840 SOS 2348 HAS SOPS 2348 HAS SOUS 1666 HAS SOUPS 1666 WITH SCORE 1668.348
AT ITER 3420 NEW BEST:: SOT 4840 SOS 2346 HAS SOPS 2346 HAS SOUS 1664 HAS SOUPS 1664 WITH SCORE 1666.346
AT ITER 3438 NEW BEST:: SOT 4839 SOS 2347 HAS SOPS 2347 HAS SOUS 1662 HAS SOUPS 1662 WITH SCORE 1664.347
AT ITER 3479 NEW BEST:: SOT 4838 SOS 2346 HAS SOPS 2346 HAS SOUS 1661 HAS SOUPS 1661 WITH SCORE 1663.346
AT ITER 3491 NEW BEST:: SOT 4836 SOS 2344 HAS SOPS 2344 HAS SOUS 1659 HAS SOUPS 1659 WITH SCORE 1661.344
AT ITER 3494 NEW BEST:: SOT 4833 SOS 2341 HAS SOPS 2341 HAS SOUS 1659 HAS SOUPS 1659 WITH SCORE 1661.341
AT ITER 3517 NEW BEST:: SOT 4817 SOS 2315 HAS SOPS 2315 HAS SOUS 1659 HAS SOUPS 1659 WITH SCORE 1661.315
AT ITER 3533 NEW BEST:: SOT 4817 SOS 2299 HAS SOPS 2299 HAS SOUS 1659 HAS SOUPS 1659 WITH SCORE 1661.299
AT ITER 3554 NEW BEST:: SOT 4821 SOS 2302 HAS SOPS 2302 HAS SOUS 1657 HAS SOUPS 1657 WITH SCORE 1659.302
AT ITER 3638 NEW BEST:: SOT 4819 SOS 2294 HAS SOPS 2294 HAS SOUS 1652 HAS SOUPS 1652 WITH SCORE 1654.294
AT ITER 3732 NEW BEST:: SOT 4816 SOS 2277 HAS SOPS 2277 HAS SOUS 1645 HAS SOUPS 1645 WITH SCORE 1647.277
AT ITER 3740 NEW BEST:: SOT 4805 SOS 2276 HAS SOPS 2276 HAS SOUS 1644 HAS SOUPS 1644 WITH SCORE 1646.276
AT ITER 3771 NEW BEST:: SOT 4802 SOS 2270 HAS SOPS 2270 HAS SOUS 1638 HAS SOUPS 1638 WITH SCORE 1640.27
AT ITER 3857 NEW BEST:: SOT 4805 SOS 2271 HAS SOPS 2271 HAS SOUS 1637 HAS SOUPS 1637 WITH SCORE 1639.271
AT ITER 3875 NEW BEST:: SOT 4803 SOS 2269 HAS SOPS 2269 HAS SOUS 1635 HAS SOUPS 1635 WITH SCORE 1637.269
AT ITER 3894 NEW BEST:: SOT 4800 SOS 2265 HAS SOPS 2265 HAS SOUS 1633 HAS SOUPS 1633 WITH SCORE 1635.265
AT ITER 3960 NEW BEST:: SOT 4799 SOS 2262 HAS SOPS 2262 HAS SOUS 1630 HAS SOUPS 1630 WITH SCORE 1632.262
AT ITER 4001 NEW BEST:: SOT 4798 SOS 2260 HAS SOPS 2260 HAS SOUS 1630 HAS SOUPS 1630 WITH SCORE 1632.26
AT ITER 4023 NEW BEST:: SOT 4796 SOS 2259 HAS SOPS 2259 HAS SOUS 1629 HAS SOUPS 1629 WITH SCORE 1631.259
AT ITER 4052 NEW BEST:: SOT 4796 SOS 2249 HAS SOPS 2249 HAS SOUS 1619 HAS SOUPS 1619 WITH SCORE 1621.249
AT ITER 4055 NEW BEST:: SOT 4794 SOS 2247 HAS SOPS 2247 HAS SOUS 1619 HAS SOUPS 1619 WITH SCORE 1621.247
AT ITER 4073 NEW BEST:: SOT 4792 SOS 2243 HAS SOPS 2243 HAS SOUS 1615 HAS SOUPS 1615 WITH SCORE 1617.243
AT ITER 4083 NEW BEST:: SOT 4788 SOS 2236 HAS SOPS 2236 HAS SOUS 1608 HAS SOUPS 1608 WITH SCORE 1610.236
AT ITER 4195 NEW BEST:: SOT 4789 SOS 2238 HAS SOPS 2238 HAS SOUS 1606 HAS SOUPS 1606 WITH SCORE 1608.238
AT ITER 4200 NEW BEST:: SOT 4787 SOS 2230 HAS SOPS 2230 HAS SOUS 1605 HAS SOUPS 1605 WITH SCORE 1607.23
AT ITER 4316 NEW BEST:: SOT 4785 SOS 2229 HAS SOPS 2229 HAS SOUS 1604 HAS SOUPS 1604 WITH SCORE 1606.229
AT ITER 4319 NEW BEST:: SOT 4785 SOS 2228 HAS SOPS 2228 HAS SOUS 1604 HAS SOUPS 1604 WITH SCORE 1606.228
AT ITER 4415 NEW BEST:: SOT 4784 SOS 2227 HAS SOPS 2227 HAS SOUS 1603 HAS SOUPS 1603 WITH SCORE 1605.227
AT ITER 4422 NEW BEST:: SOT 4773 SOS 2208 HAS SOPS 2208 HAS SOUS 1584 HAS SOUPS 1584 WITH SCORE 1586.208
AT ITER 4480 NEW BEST:: SOT 4767 SOS 2194 HAS SOPS 2194 HAS SOUS 1581 HAS SOUPS 1581 WITH SCORE 1583.194
AT ITER 4524 NEW BEST:: SOT 4767 SOS 2192 HAS SOPS 2192 HAS SOUS 1579 HAS SOUPS 1579 WITH SCORE 1581.192
AT ITER 4553 NEW BEST:: SOT 4766 SOS 2198 HAS SOPS 2198 HAS SOUS 1578 HAS SOUPS 1578 WITH SCORE 1580.198
AT ITER 4613 NEW BEST:: SOT 4774 SOS 2203 HAS SOPS 2203 HAS SOUS 1577 HAS SOUPS 1577 WITH SCORE 1579.203
AT ITER 4726 NEW BEST:: SOT 4772 SOS 2202 HAS SOPS 2202 HAS SOUS 1571 HAS SOUPS 1571 WITH SCORE 1573.202
AT ITER 4762 NEW BEST:: SOT 4768 SOS 2197 HAS SOPS 2197 HAS SOUS 1571 HAS SOUPS 1571 WITH SCORE 1573.197
AT ITER 4796 NEW BEST:: SOT 4773 SOS 2205 HAS SOPS 2205 HAS SOUS 1570 HAS SOUPS 1570 WITH SCORE 1572.205
AT ITER 4913 NEW BEST:: SOT 4773 SOS 2203 HAS SOPS 2203 HAS SOUS 1570 HAS SOUPS 1570 WITH SCORE 1572.203
AT ITER 4924 NEW BEST:: SOT 4771 SOS 2200 HAS SOPS 2200 HAS SOUS 1569 HAS SOUPS 1569 WITH SCORE 1571.2
AT ITER 5103 NEW BEST:: SOT 4771 SOS 2198 HAS SOPS 2198 HAS SOUS 1567 HAS SOUPS 1567 WITH SCORE 1569.198
AT ITER 5105 NEW BEST:: SOT 4769 SOS 2196 HAS SOPS 2196 HAS SOUS 1565 HAS SOUPS 1565 WITH SCORE 1567.196
AT ITER 5106 NEW BEST:: SOT 4737 SOS 2181 HAS SOPS 2181 HAS SOUS 1552 HAS SOUPS 1552 WITH SCORE 1554.181
AT ITER 5113 NEW BEST:: SOT 4737 SOS 2180 HAS SOPS 2180 HAS SOUS 1551 HAS SOUPS 1551 WITH SCORE 1553.18
AT ITER 5150 NEW BEST:: SOT 4737 SOS 2178 HAS SOPS 2178 HAS SOUS 1549 HAS SOUPS 1549 WITH SCORE 1551.178
AT ITER 5152 NEW BEST:: SOT 4736 SOS 2176 HAS SOPS 2176 HAS SOUS 1547 HAS SOUPS 1547 WITH SCORE 1549.176
AT ITER 5241 NEW BEST:: SOT 4733 SOS 2176 HAS SOPS 2176 HAS SOUS 1546 HAS SOUPS 1546 WITH SCORE 1548.176
AT ITER 5309 NEW BEST:: SOT 4731 SOS 2172 HAS SOPS 2172 HAS SOUS 1542 HAS SOUPS 1542 WITH SCORE 1544.172
AT ITER 5313 NEW BEST:: SOT 4731 SOS 2177 HAS SOPS 2177 HAS SOUS 1541 HAS SOUPS 1541 WITH SCORE 1543.177
AT ITER 5330 NEW BEST:: SOT 4731 SOS 2164 HAS SOPS 2164 HAS SOUS 1538 HAS SOUPS 1538 WITH SCORE 1540.164
AT ITER 5393 NEW BEST:: SOT 4718 SOS 2151 HAS SOPS 2151 HAS SOUS 1525 HAS SOUPS 1525 WITH SCORE 1527.151
AT ITER 5640 NEW BEST:: SOT 4717 SOS 2150 HAS SOPS 2150 HAS SOUS 1524 HAS SOUPS 1524 WITH SCORE 1526.15
AT ITER 5657 NEW BEST:: SOT 4717 SOS 2149 HAS SOPS 2149 HAS SOUS 1523 HAS SOUPS 1523 WITH SCORE 1525.149
AT ITER 5669 NEW BEST:: SOT 4717 SOS 2143 HAS SOPS 2143 HAS SOUS 1523 HAS SOUPS 1523 WITH SCORE 1525.143
AT ITER 5714 NEW BEST:: SOT 4713 SOS 2140 HAS SOPS 2140 HAS SOUS 1523 HAS SOUPS 1523 WITH SCORE 1525.14
AT ITER 5726 NEW BEST:: SOT 4707 SOS 2130 HAS SOPS 2130 HAS SOUS 1513 HAS SOUPS 1513 WITH SCORE 1515.13
AT ITER 5858 NEW BEST:: SOT 4706 SOS 2129 HAS SOPS 2129 HAS SOUS 1512 HAS SOUPS 1512 WITH SCORE 1514.129
AT ITER 5864 NEW BEST:: SOT 4705 SOS 2128 HAS SOPS 2128 HAS SOUS 1511 HAS SOUPS 1511 WITH SCORE 1513.128
AT ITER 5889 NEW BEST:: SOT 4703 SOS 2126 HAS SOPS 2126 HAS SOUS 1509 HAS SOUPS 1509 WITH SCORE 1511.126
AT ITER 5959 NEW BEST:: SOT 4703 SOS 2125 HAS SOPS 2125 HAS SOUS 1508 HAS SOUPS 1508 WITH SCORE 1510.125
AT ITER 6025 NEW BEST:: SOT 4703 SOS 2109 HAS SOPS 2109 HAS SOUS 1507 HAS SOUPS 1507 WITH SCORE 1509.109
AT ITER 6052 NEW BEST:: SOT 4694 SOS 2095 HAS SOPS 2095 HAS SOUS 1501 HAS SOUPS 1501 WITH SCORE 1503.095
AT ITER 6140 NEW BEST:: SOT 4694 SOS 2094 HAS SOPS 2094 HAS SOUS 1500 HAS SOUPS 1500 WITH SCORE 1502.094
AT ITER 6258 NEW BEST:: SOT 4691 SOS 2093 HAS SOPS 2093 HAS SOUS 1499 HAS SOUPS 1499 WITH SCORE 1501.093
AT ITER 6388 NEW BEST:: SOT 4691 SOS 2092 HAS SOPS 2092 HAS SOUS 1498 HAS SOUPS 1498 WITH SCORE 1500.092
AT ITER 6666 NEW BEST:: SOT 4690 SOS 2090 HAS SOPS 2090 HAS SOUS 1496 HAS SOUPS 1496 WITH SCORE 1498.09
AT ITER 6694 NEW BEST:: SOT 4670 SOS 2098 HAS SOPS 2098 HAS SOUS 1490 HAS SOUPS 1490 WITH SCORE 1492.098
AT ITER 6707 NEW BEST:: SOT 4667 SOS 2095 HAS SOPS 2095 HAS SOUS 1490 HAS SOUPS 1490 WITH SCORE 1492.095
AT ITER 6725 NEW BEST:: SOT 4667 SOS 2094 HAS SOPS 2094 HAS SOUS 1489 HAS SOUPS 1489 WITH SCORE 1491.094
AT ITER 6788 NEW BEST:: SOT 4669 SOS 2090 HAS SOPS 2090 HAS SOUS 1489 HAS SOUPS 1489 WITH SCORE 1491.09
AT ITER 6935 NEW BEST:: SOT 4656 SOS 2073 HAS SOPS 2073 HAS SOUS 1472 HAS SOUPS 1472 WITH SCORE 1474.073
AT ITER 7139 NEW BEST:: SOT 4655 SOS 2072 HAS SOPS 2072 HAS SOUS 1471 HAS SOUPS 1471 WITH SCORE 1473.072
AT ITER 7159 NEW BEST:: SOT 4654 SOS 2070 HAS SOPS 2070 HAS SOUS 1469 HAS SOUPS 1469 WITH SCORE 1471.07
AT ITER 7257 NEW BEST:: SOT 4654 SOS 2069 HAS SOPS 2069 HAS SOUS 1469 HAS SOUPS 1469 WITH SCORE 1471.069
AT ITER 7367 NEW BEST:: SOT 4653 SOS 2063 HAS SOPS 2063 HAS SOUS 1467 HAS SOUPS 1467 WITH SCORE 1469.063
AT ITER 7370 NEW BEST:: SOT 4652 SOS 2059 HAS SOPS 2059 HAS SOUS 1466 HAS SOUPS 1466 WITH SCORE 1468.059
AT ITER 7572 NEW BEST:: SOT 4651 SOS 2055 HAS SOPS 2055 HAS SOUS 1465 HAS SOUPS 1465 WITH SCORE 1467.055
AT ITER 7631 NEW BEST:: SOT 4651 SOS 2054 HAS SOPS 2054 HAS SOUS 1464 HAS SOUPS 1464 WITH SCORE 1466.054
AT ITER 7695 NEW BEST:: SOT 4650 SOS 2044 HAS SOPS 2044 HAS SOUS 1460 HAS SOUPS 1460 WITH SCORE 1462.044
AT ITER 7702 NEW BEST:: SOT 4655 SOS 2043 HAS SOPS 2043 HAS SOUS 1459 HAS SOUPS 1459 WITH SCORE 1461.043
AT ITER 7708 NEW BEST:: SOT 4655 SOS 2041 HAS SOPS 2041 HAS SOUS 1459 HAS SOUPS 1459 WITH SCORE 1461.041
AT ITER 7797 NEW BEST:: SOT 4650 SOS 2034 HAS SOPS 2034 HAS SOUS 1452 HAS SOUPS 1452 WITH SCORE 1454.034
AT ITER 7901 NEW BEST:: SOT 4649 SOS 2033 HAS SOPS 2033 HAS SOUS 1451 HAS SOUPS 1451 WITH SCORE 1453.033
AT ITER 7914 NEW BEST:: SOT 4648 SOS 2030 HAS SOPS 2030 HAS SOUS 1448 HAS SOUPS 1448 WITH SCORE 1450.03
AT ITER 8023 NEW BEST:: SOT 4642 SOS 2032 HAS SOPS 2032 HAS SOUS 1446 HAS SOUPS 1446 WITH SCORE 1448.032
AT ITER 8150 NEW BEST:: SOT 4642 SOS 2031 HAS SOPS 2031 HAS SOUS 1445 HAS SOUPS 1445 WITH SCORE 1447.031
AT ITER 8179 NEW BEST:: SOT 4642 SOS 2030 HAS SOPS 2030 HAS SOUS 1445 HAS SOUPS 1445 WITH SCORE 1447.03
AT ITER 8367 NEW BEST:: SOT 4638 SOS 2025 HAS SOPS 2025 HAS SOUS 1442 HAS SOUPS 1442 WITH SCORE 1444.025
AT ITER 8410 NEW BEST:: SOT 4637 SOS 2024 HAS SOPS 2024 HAS SOUS 1441 HAS SOUPS 1441 WITH SCORE 1443.024
AT ITER 8485 NEW BEST:: SOT 4636 SOS 2023 HAS SOPS 2023 HAS SOUS 1440 HAS SOUPS 1440 WITH SCORE 1442.023
AT ITER 8489 NEW BEST:: SOT 4634 SOS 2021 HAS SOPS 2021 HAS SOUS 1438 HAS SOUPS 1438 WITH SCORE 1440.021
AT ITER 8506 NEW BEST:: SOT 4633 SOS 2020 HAS SOPS 2020 HAS SOUS 1437 HAS SOUPS 1437 WITH SCORE 1439.02
AT ITER 8836 NEW BEST:: SOT 4632 SOS 2019 HAS SOPS 2019 HAS SOUS 1436 HAS SOUPS 1436 WITH SCORE 1438.019
AT ITER 8850 NEW BEST:: SOT 4632 SOS 2018 HAS SOPS 2018 HAS SOUS 1436 HAS SOUPS 1436 WITH SCORE 1438.018
AT ITER 8925 NEW BEST:: SOT 4625 SOS 2011 HAS SOPS 2011 HAS SOUS 1429 HAS SOUPS 1429 WITH SCORE 1431.011
AT ITER 8926 NEW BEST:: SOT 4624 SOS 2012 HAS SOPS 2012 HAS SOUS 1428 HAS SOUPS 1428 WITH SCORE 1430.012
AT ITER 9006 NEW BEST:: SOT 4622 SOS 2007 HAS SOPS 2007 HAS SOUS 1423 HAS SOUPS 1423 WITH SCORE 1425.007
AT ITER 9086 NEW BEST:: SOT 4621 SOS 2006 HAS SOPS 2006 HAS SOUS 1422 HAS SOUPS 1422 WITH SCORE 1424.006
AT ITER 9277 NEW BEST:: SOT 4621 SOS 2004 HAS SOPS 2004 HAS SOUS 1420 HAS SOUPS 1420 WITH SCORE 1422.004
AT ITER 9350 NEW BEST:: SOT 4620 SOS 2003 HAS SOPS 2003 HAS SOUS 1419 HAS SOUPS 1419 WITH SCORE 1421.003
AT ITER 9487 NEW BEST:: SOT 4619 SOS 2002 HAS SOPS 2002 HAS SOUS 1418 HAS SOUPS 1418 WITH SCORE 1420.002
AT ITER 9511 NEW BEST:: SOT 4613 SOS 2004 HAS SOPS 2004 HAS SOUS 1416 HAS SOUPS 1416 WITH SCORE 1418.004
AT ITER 9592 NEW BEST:: SOT 4618 SOS 2002 HAS SOPS 2002 HAS SOUS 1414 HAS SOUPS 1414 WITH SCORE 1416.002
AT ITER 9634 NEW BEST:: SOT 4617 SOS 2000 HAS SOPS 2000 HAS SOUS 1412 HAS SOUPS 1412 WITH SCORE 1414.0
AT ITER 9712 NEW BEST:: SOT 4617 SOS 1995 HAS SOPS 1995 HAS SOUS 1411 HAS SOUPS 1411 WITH SCORE 1412.995
AT ITER 9761 NEW BEST:: SOT 4617 SOS 1992 HAS SOPS 1992 HAS SOUS 1410 HAS SOUPS 1410 WITH SCORE 1411.992
AT ITER 9980 NEW BEST:: SOT 4616 SOS 1991 HAS SOPS 1991 HAS SOUS 1409 HAS SOUPS 1409 WITH SCORE 1410.991
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 1589102941026

--------------------
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"

# 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-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 r048-ebro-158902541900200"
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 ;