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.r195-smll-167840341900088.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 GPUForwardProgress-PT-24a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r195-smll-167840341900088
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 512K
-rw-r--r-- 1 mcc users 7.6K Feb 25 14:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 25 14:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 14:16 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 25 14:16 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:11 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 114K Feb 25 14:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 14:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 107K Feb 25 14:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:11 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 38K 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 1678447928187

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=GPUForwardProgress-PT-24a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GPUForwardProgress (PT), instance 24a
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: 104 places, 129 transitions, 501 arcs.
AT ITER 0 NEW BEST:: SOT 8760 SOS 7534 HAS SOPS 7532 HAS SOUS 5656 HAS SOUPS 5655 WITH SCORE 5662.534
AT ITER 1 NEW BEST:: SOT 8810 SOS 7524 HAS SOPS 7522 HAS SOUS 5646 HAS SOUPS 5645 WITH SCORE 5652.524
AT ITER 2 NEW BEST:: SOT 8824 SOS 7486 HAS SOPS 7484 HAS SOUS 5597 HAS SOUPS 5596 WITH SCORE 5603.486
AT ITER 4 NEW BEST:: SOT 8912 SOS 7485 HAS SOPS 7483 HAS SOUS 5527 HAS SOUPS 5526 WITH SCORE 5533.485
AT ITER 5 NEW BEST:: SOT 8904 SOS 7477 HAS SOPS 7475 HAS SOUS 5519 HAS SOUPS 5518 WITH SCORE 5525.477
AT ITER 6 NEW BEST:: SOT 8946 SOS 7428 HAS SOPS 7426 HAS SOUS 5473 HAS SOUPS 5472 WITH SCORE 5479.428
AT ITER 7 NEW BEST:: SOT 8921 SOS 7403 HAS SOPS 7401 HAS SOUS 5448 HAS SOUPS 5447 WITH SCORE 5454.403
AT ITER 8 NEW BEST:: SOT 8896 SOS 7378 HAS SOPS 7376 HAS SOUS 5423 HAS SOUPS 5422 WITH SCORE 5429.378
AT ITER 9 NEW BEST:: SOT 8852 SOS 7264 HAS SOPS 7262 HAS SOUS 5353 HAS SOUPS 5352 WITH SCORE 5359.264
AT ITER 10 NEW BEST:: SOT 8917 SOS 7264 HAS SOPS 7262 HAS SOUS 5251 HAS SOUPS 5250 WITH SCORE 5257.264
AT ITER 12 NEW BEST:: SOT 8904 SOS 7251 HAS SOPS 7249 HAS SOUS 5238 HAS SOUPS 5237 WITH SCORE 5244.251
AT ITER 16 NEW BEST:: SOT 8969 SOS 7237 HAS SOPS 7235 HAS SOUS 5197 HAS SOUPS 5196 WITH SCORE 5203.237
AT ITER 17 NEW BEST:: SOT 9009 SOS 7277 HAS SOPS 7275 HAS SOUS 5180 HAS SOUPS 5179 WITH SCORE 5186.277
AT ITER 18 NEW BEST:: SOT 9050 SOS 7291 HAS SOPS 7289 HAS SOUS 5160 HAS SOUPS 5159 WITH SCORE 5166.291
AT ITER 19 NEW BEST:: SOT 9050 SOS 7205 HAS SOPS 7203 HAS SOUS 5115 HAS SOUPS 5114 WITH SCORE 5121.205
AT ITER 20 NEW BEST:: SOT 9031 SOS 7186 HAS SOPS 7184 HAS SOUS 5096 HAS SOUPS 5095 WITH SCORE 5102.186
AT ITER 21 NEW BEST:: SOT 9031 SOS 7126 HAS SOPS 7124 HAS SOUS 5036 HAS SOUPS 5035 WITH SCORE 5042.126
AT ITER 22 NEW BEST:: SOT 8975 SOS 7098 HAS SOPS 7096 HAS SOUS 5035 HAS SOUPS 5034 WITH SCORE 5041.098
AT ITER 23 NEW BEST:: SOT 8970 SOS 7093 HAS SOPS 7091 HAS SOUS 5030 HAS SOUPS 5029 WITH SCORE 5036.093
AT ITER 30 NEW BEST:: SOT 8939 SOS 7062 HAS SOPS 7060 HAS SOUS 5002 HAS SOUPS 5001 WITH SCORE 5008.062
AT ITER 31 NEW BEST:: SOT 8939 SOS 6490 HAS SOPS 6488 HAS SOUS 4408 HAS SOUPS 4407 WITH SCORE 4413.49
AT ITER 33 NEW BEST:: SOT 8935 SOS 6482 HAS SOPS 6480 HAS SOUS 4404 HAS SOUPS 4403 WITH SCORE 4409.482
AT ITER 37 NEW BEST:: SOT 8907 SOS 6468 HAS SOPS 6466 HAS SOUS 4404 HAS SOUPS 4403 WITH SCORE 4409.468
AT ITER 39 NEW BEST:: SOT 9049 SOS 6440 HAS SOPS 6438 HAS SOUS 4403 HAS SOUPS 4402 WITH SCORE 4408.44
AT ITER 43 NEW BEST:: SOT 8943 SOS 6387 HAS SOPS 6385 HAS SOUS 4324 HAS SOUPS 4323 WITH SCORE 4329.387
AT ITER 44 NEW BEST:: SOT 8921 SOS 6259 HAS SOPS 6257 HAS SOUS 4279 HAS SOUPS 4278 WITH SCORE 4284.259
AT ITER 46 NEW BEST:: SOT 8888 SOS 6215 HAS SOPS 6213 HAS SOUS 4246 HAS SOUPS 4245 WITH SCORE 4251.215
AT ITER 48 NEW BEST:: SOT 8886 SOS 6213 HAS SOPS 6211 HAS SOUS 4245 HAS SOUPS 4244 WITH SCORE 4250.213
AT ITER 49 NEW BEST:: SOT 9002 SOS 6141 HAS SOPS 6139 HAS SOUS 4208 HAS SOUPS 4207 WITH SCORE 4213.141
AT ITER 54 NEW BEST:: SOT 8968 SOS 6107 HAS SOPS 6105 HAS SOUS 4174 HAS SOUPS 4173 WITH SCORE 4179.107
AT ITER 55 NEW BEST:: SOT 8958 SOS 6087 HAS SOPS 6085 HAS SOUS 4164 HAS SOUPS 4163 WITH SCORE 4169.087
AT ITER 57 NEW BEST:: SOT 9014 SOS 6123 HAS SOPS 6121 HAS SOUS 4154 HAS SOUPS 4153 WITH SCORE 4159.123
AT ITER 65 NEW BEST:: SOT 9042 SOS 6038 HAS SOPS 6036 HAS SOUS 4090 HAS SOUPS 4089 WITH SCORE 4095.038
AT ITER 66 NEW BEST:: SOT 9028 SOS 5996 HAS SOPS 5994 HAS SOUS 4076 HAS SOUPS 4075 WITH SCORE 4080.996
AT ITER 67 NEW BEST:: SOT 9019 SOS 5978 HAS SOPS 5976 HAS SOUS 4058 HAS SOUPS 4057 WITH SCORE 4062.978
AT ITER 68 NEW BEST:: SOT 9041 SOS 5882 HAS SOPS 5880 HAS SOUS 4045 HAS SOUPS 4044 WITH SCORE 4049.882
AT ITER 70 NEW BEST:: SOT 9070 SOS 5911 HAS SOPS 5909 HAS SOUS 4033 HAS SOUPS 4032 WITH SCORE 4037.911
AT ITER 71 NEW BEST:: SOT 8981 SOS 5785 HAS SOPS 5783 HAS SOUS 3968 HAS SOUPS 3967 WITH SCORE 3972.785
AT ITER 74 NEW BEST:: SOT 8995 SOS 5773 HAS SOPS 5771 HAS SOUS 3964 HAS SOUPS 3963 WITH SCORE 3968.773
AT ITER 79 NEW BEST:: SOT 8978 SOS 5669 HAS SOPS 5667 HAS SOUS 3889 HAS SOUPS 3888 WITH SCORE 3893.669
AT ITER 81 NEW BEST:: SOT 8975 SOS 5666 HAS SOPS 5664 HAS SOUS 3886 HAS SOUPS 3885 WITH SCORE 3890.666
AT ITER 82 NEW BEST:: SOT 8975 SOS 5580 HAS SOPS 5578 HAS SOUS 3800 HAS SOUPS 3799 WITH SCORE 3804.58
AT ITER 85 NEW BEST:: SOT 8975 SOS 5546 HAS SOPS 5544 HAS SOUS 3800 HAS SOUPS 3799 WITH SCORE 3804.546
AT ITER 89 NEW BEST:: SOT 9007 SOS 5535 HAS SOPS 5533 HAS SOUS 3789 HAS SOUPS 3788 WITH SCORE 3793.535
AT ITER 90 NEW BEST:: SOT 8964 SOS 4559 HAS SOPS 4557 HAS SOUS 3659 HAS SOUPS 3658 WITH SCORE 3662.559
AT ITER 96 NEW BEST:: SOT 8965 SOS 4552 HAS SOPS 4550 HAS SOUS 3656 HAS SOUPS 3655 WITH SCORE 3659.552
AT ITER 97 NEW BEST:: SOT 8954 SOS 4507 HAS SOPS 4505 HAS SOUS 3631 HAS SOUPS 3630 WITH SCORE 3634.507
AT ITER 99 NEW BEST:: SOT 8943 SOS 4499 HAS SOPS 4497 HAS SOUS 3622 HAS SOUPS 3621 WITH SCORE 3625.499
AT ITER 107 NEW BEST:: SOT 8932 SOS 4488 HAS SOPS 4486 HAS SOUS 3620 HAS SOUPS 3619 WITH SCORE 3623.488
AT ITER 117 NEW BEST:: SOT 8960 SOS 4450 HAS SOPS 4448 HAS SOUS 3583 HAS SOUPS 3582 WITH SCORE 3586.45
AT ITER 120 NEW BEST:: SOT 8960 SOS 4440 HAS SOPS 4438 HAS SOUS 3583 HAS SOUPS 3582 WITH SCORE 3586.44
AT ITER 123 NEW BEST:: SOT 8958 SOS 4436 HAS SOPS 4434 HAS SOUS 3575 HAS SOUPS 3574 WITH SCORE 3578.436
AT ITER 127 NEW BEST:: SOT 8926 SOS 4404 HAS SOPS 4402 HAS SOUS 3543 HAS SOUPS 3542 WITH SCORE 3546.404
AT ITER 129 NEW BEST:: SOT 8935 SOS 4376 HAS SOPS 4374 HAS SOUS 3515 HAS SOUPS 3514 WITH SCORE 3518.376
AT ITER 130 NEW BEST:: SOT 8919 SOS 4364 HAS SOPS 4362 HAS SOUS 3502 HAS SOUPS 3501 WITH SCORE 3505.364
AT ITER 131 NEW BEST:: SOT 8917 SOS 4327 HAS SOPS 4325 HAS SOUS 3482 HAS SOUPS 3481 WITH SCORE 3485.327
AT ITER 135 NEW BEST:: SOT 8878 SOS 4314 HAS SOPS 4312 HAS SOUS 3443 HAS SOUPS 3442 WITH SCORE 3446.314
AT ITER 138 NEW BEST:: SOT 8878 SOS 4285 HAS SOPS 4283 HAS SOUS 3414 HAS SOUPS 3413 WITH SCORE 3417.285
AT ITER 139 NEW BEST:: SOT 8834 SOS 4241 HAS SOPS 4239 HAS SOUS 3376 HAS SOUPS 3375 WITH SCORE 3379.241
AT ITER 141 NEW BEST:: SOT 8834 SOS 4221 HAS SOPS 4219 HAS SOUS 3366 HAS SOUPS 3365 WITH SCORE 3369.221
AT ITER 149 NEW BEST:: SOT 8821 SOS 4217 HAS SOPS 4215 HAS SOUS 3362 HAS SOUPS 3361 WITH SCORE 3365.217
AT ITER 150 NEW BEST:: SOT 8829 SOS 4218 HAS SOPS 4216 HAS SOUS 3337 HAS SOUPS 3336 WITH SCORE 3340.218
AT ITER 151 NEW BEST:: SOT 8826 SOS 4212 HAS SOPS 4210 HAS SOUS 3334 HAS SOUPS 3333 WITH SCORE 3337.212
AT ITER 155 NEW BEST:: SOT 8814 SOS 4153 HAS SOPS 4151 HAS SOUS 3309 HAS SOUPS 3308 WITH SCORE 3312.153
AT ITER 163 NEW BEST:: SOT 8785 SOS 4060 HAS SOPS 4058 HAS SOUS 3280 HAS SOUPS 3279 WITH SCORE 3283.06
AT ITER 165 NEW BEST:: SOT 8755 SOS 3979 HAS SOPS 3977 HAS SOUS 3250 HAS SOUPS 3249 WITH SCORE 3252.979
AT ITER 171 NEW BEST:: SOT 8749 SOS 3973 HAS SOPS 3971 HAS SOUS 3247 HAS SOUPS 3246 WITH SCORE 3249.973
AT ITER 172 NEW BEST:: SOT 8723 SOS 3954 HAS SOPS 3952 HAS SOUS 3239 HAS SOUPS 3238 WITH SCORE 3241.954
AT ITER 174 NEW BEST:: SOT 8741 SOS 3926 HAS SOPS 3924 HAS SOUS 3227 HAS SOUPS 3226 WITH SCORE 3229.926
AT ITER 175 NEW BEST:: SOT 8709 SOS 3917 HAS SOPS 3915 HAS SOUS 3209 HAS SOUPS 3208 WITH SCORE 3211.917
AT ITER 176 NEW BEST:: SOT 8709 SOS 3914 HAS SOPS 3912 HAS SOUS 3209 HAS SOUPS 3208 WITH SCORE 3211.914
AT ITER 187 NEW BEST:: SOT 8705 SOS 3910 HAS SOPS 3908 HAS SOUS 3201 HAS SOUPS 3200 WITH SCORE 3203.91
AT ITER 192 NEW BEST:: SOT 8675 SOS 3857 HAS SOPS 3855 HAS SOUS 3178 HAS SOUPS 3177 WITH SCORE 3180.857
AT ITER 194 NEW BEST:: SOT 8669 SOS 3845 HAS SOPS 3843 HAS SOUS 3166 HAS SOUPS 3165 WITH SCORE 3168.845
AT ITER 195 NEW BEST:: SOT 8664 SOS 3856 HAS SOPS 3854 HAS SOUS 3161 HAS SOUPS 3160 WITH SCORE 3163.856
AT ITER 196 NEW BEST:: SOT 8658 SOS 3784 HAS SOPS 3782 HAS SOUS 3142 HAS SOUPS 3141 WITH SCORE 3144.784
AT ITER 197 NEW BEST:: SOT 8649 SOS 3778 HAS SOPS 3776 HAS SOUS 3140 HAS SOUPS 3139 WITH SCORE 3142.778
AT ITER 228 NEW BEST:: SOT 8643 SOS 3774 HAS SOPS 3772 HAS SOUS 3136 HAS SOUPS 3135 WITH SCORE 3138.774
AT ITER 239 NEW BEST:: SOT 8632 SOS 3763 HAS SOPS 3761 HAS SOUS 3125 HAS SOUPS 3124 WITH SCORE 3127.763
AT ITER 246 NEW BEST:: SOT 8608 SOS 3738 HAS SOPS 3736 HAS SOUS 3108 HAS SOUPS 3107 WITH SCORE 3110.738
AT ITER 256 NEW BEST:: SOT 8608 SOS 3733 HAS SOPS 3731 HAS SOUS 3107 HAS SOUPS 3106 WITH SCORE 3109.733
AT ITER 264 NEW BEST:: SOT 8602 SOS 3730 HAS SOPS 3728 HAS SOUS 3104 HAS SOUPS 3103 WITH SCORE 3106.73
AT ITER 269 NEW BEST:: SOT 8595 SOS 3720 HAS SOPS 3718 HAS SOUS 3088 HAS SOUPS 3087 WITH SCORE 3090.72
AT ITER 272 NEW BEST:: SOT 8589 SOS 3714 HAS SOPS 3712 HAS SOUS 3086 HAS SOUPS 3085 WITH SCORE 3088.714
AT ITER 277 NEW BEST:: SOT 8589 SOS 3699 HAS SOPS 3697 HAS SOUS 3076 HAS SOUPS 3075 WITH SCORE 3078.699
AT ITER 283 NEW BEST:: SOT 8568 SOS 3684 HAS SOPS 3682 HAS SOUS 3070 HAS SOUPS 3069 WITH SCORE 3072.684
AT ITER 285 NEW BEST:: SOT 8549 SOS 3646 HAS SOPS 3644 HAS SOUS 3053 HAS SOUPS 3052 WITH SCORE 3055.646
AT ITER 296 NEW BEST:: SOT 8549 SOS 3643 HAS SOPS 3641 HAS SOUS 3050 HAS SOUPS 3049 WITH SCORE 3052.643
AT ITER 298 NEW BEST:: SOT 8541 SOS 3611 HAS SOPS 3609 HAS SOUS 3034 HAS SOUPS 3033 WITH SCORE 3036.611
AT ITER 302 NEW BEST:: SOT 8512 SOS 3582 HAS SOPS 3580 HAS SOUS 3005 HAS SOUPS 3004 WITH SCORE 3007.582
AT ITER 305 NEW BEST:: SOT 8512 SOS 3576 HAS SOPS 3574 HAS SOUS 2999 HAS SOUPS 2998 WITH SCORE 3001.576
AT ITER 311 NEW BEST:: SOT 8486 SOS 3569 HAS SOPS 3567 HAS SOUS 2986 HAS SOUPS 2985 WITH SCORE 2988.569
AT ITER 316 NEW BEST:: SOT 8486 SOS 3552 HAS SOPS 3550 HAS SOUS 2966 HAS SOUPS 2965 WITH SCORE 2968.552
AT ITER 319 NEW BEST:: SOT 8482 SOS 3548 HAS SOPS 3546 HAS SOUS 2966 HAS SOUPS 2965 WITH SCORE 2968.548
AT ITER 333 NEW BEST:: SOT 8387 SOS 3453 HAS SOPS 3451 HAS SOUS 2867 HAS SOUPS 2866 WITH SCORE 2869.453
AT ITER 342 NEW BEST:: SOT 8383 SOS 3449 HAS SOPS 3447 HAS SOUS 2863 HAS SOUPS 2862 WITH SCORE 2865.449
AT ITER 344 NEW BEST:: SOT 8371 SOS 3425 HAS SOPS 3423 HAS SOUS 2851 HAS SOUPS 2850 WITH SCORE 2853.425
AT ITER 346 NEW BEST:: SOT 8368 SOS 3427 HAS SOPS 3425 HAS SOUS 2848 HAS SOUPS 2847 WITH SCORE 2850.427
AT ITER 347 NEW BEST:: SOT 8358 SOS 3420 HAS SOPS 3418 HAS SOUS 2838 HAS SOUPS 2837 WITH SCORE 2840.42
AT ITER 365 NEW BEST:: SOT 8333 SOS 3395 HAS SOPS 3393 HAS SOUS 2828 HAS SOUPS 2827 WITH SCORE 2830.395
AT ITER 400 NEW BEST:: SOT 8299 SOS 3361 HAS SOPS 3359 HAS SOUS 2794 HAS SOUPS 2793 WITH SCORE 2796.361
AT ITER 411 NEW BEST:: SOT 8297 SOS 3357 HAS SOPS 3355 HAS SOUS 2792 HAS SOUPS 2791 WITH SCORE 2794.357
AT ITER 418 NEW BEST:: SOT 8301 SOS 3307 HAS SOPS 3305 HAS SOUS 2769 HAS SOUPS 2768 WITH SCORE 2771.307
AT ITER 424 NEW BEST:: SOT 8288 SOS 3300 HAS SOPS 3298 HAS SOUS 2769 HAS SOUPS 2768 WITH SCORE 2771.3
AT ITER 433 NEW BEST:: SOT 8278 SOS 3290 HAS SOPS 3288 HAS SOUS 2759 HAS SOUPS 2758 WITH SCORE 2761.29
AT ITER 449 NEW BEST:: SOT 8282 SOS 3250 HAS SOPS 3248 HAS SOUS 2742 HAS SOUPS 2741 WITH SCORE 2744.25
AT ITER 453 NEW BEST:: SOT 8282 SOS 3237 HAS SOPS 3235 HAS SOUS 2736 HAS SOUPS 2735 WITH SCORE 2738.237
AT ITER 465 NEW BEST:: SOT 8281 SOS 3243 HAS SOPS 3241 HAS SOUS 2735 HAS SOUPS 2734 WITH SCORE 2737.243
AT ITER 482 NEW BEST:: SOT 8273 SOS 3239 HAS SOPS 3237 HAS SOUS 2722 HAS SOUPS 2721 WITH SCORE 2724.239
AT ITER 496 NEW BEST:: SOT 8259 SOS 3227 HAS SOPS 3225 HAS SOUS 2713 HAS SOUPS 2712 WITH SCORE 2715.227
AT ITER 497 NEW BEST:: SOT 8259 SOS 3221 HAS SOPS 3219 HAS SOUS 2701 HAS SOUPS 2700 WITH SCORE 2703.221
AT ITER 502 NEW BEST:: SOT 8339 SOS 3268 HAS SOPS 3266 HAS SOUS 2696 HAS SOUPS 2695 WITH SCORE 2698.268
AT ITER 508 NEW BEST:: SOT 8371 SOS 3220 HAS SOPS 3218 HAS SOUS 2695 HAS SOUPS 2694 WITH SCORE 2697.22
AT ITER 515 NEW BEST:: SOT 8368 SOS 3217 HAS SOPS 3215 HAS SOUS 2689 HAS SOUPS 2688 WITH SCORE 2691.217
AT ITER 519 NEW BEST:: SOT 8348 SOS 3207 HAS SOPS 3205 HAS SOUS 2679 HAS SOUPS 2678 WITH SCORE 2681.207
AT ITER 526 NEW BEST:: SOT 8344 SOS 3203 HAS SOPS 3201 HAS SOUS 2675 HAS SOUPS 2674 WITH SCORE 2677.203
AT ITER 534 NEW BEST:: SOT 8324 SOS 3143 HAS SOPS 3141 HAS SOUS 2648 HAS SOUPS 2647 WITH SCORE 2650.143
AT ITER 563 NEW BEST:: SOT 8334 SOS 3131 HAS SOPS 3129 HAS SOUS 2646 HAS SOUPS 2645 WITH SCORE 2648.131
AT ITER 564 NEW BEST:: SOT 8372 SOS 3147 HAS SOPS 3145 HAS SOUS 2644 HAS SOUPS 2643 WITH SCORE 2646.147
AT ITER 566 NEW BEST:: SOT 8350 SOS 3106 HAS SOPS 3104 HAS SOUS 2625 HAS SOUPS 2624 WITH SCORE 2627.106
AT ITER 578 NEW BEST:: SOT 8380 SOS 3070 HAS SOPS 3068 HAS SOUS 2623 HAS SOUPS 2622 WITH SCORE 2625.07
AT ITER 588 NEW BEST:: SOT 8373 SOS 3036 HAS SOPS 3034 HAS SOUS 2610 HAS SOUPS 2609 WITH SCORE 2612.036
AT ITER 604 NEW BEST:: SOT 8372 SOS 3035 HAS SOPS 3033 HAS SOUS 2609 HAS SOUPS 2608 WITH SCORE 2611.035
AT ITER 619 NEW BEST:: SOT 8365 SOS 3028 HAS SOPS 3026 HAS SOUS 2608 HAS SOUPS 2607 WITH SCORE 2610.028
AT ITER 621 NEW BEST:: SOT 8341 SOS 3012 HAS SOPS 3010 HAS SOUS 2592 HAS SOUPS 2591 WITH SCORE 2594.012
AT ITER 635 NEW BEST:: SOT 8347 SOS 3000 HAS SOPS 2998 HAS SOUS 2582 HAS SOUPS 2581 WITH SCORE 2584.0
AT ITER 647 NEW BEST:: SOT 8335 SOS 2987 HAS SOPS 2985 HAS SOUS 2546 HAS SOUPS 2545 WITH SCORE 2547.987
AT ITER 652 NEW BEST:: SOT 8334 SOS 2981 HAS SOPS 2979 HAS SOUS 2545 HAS SOUPS 2544 WITH SCORE 2546.981
AT ITER 653 NEW BEST:: SOT 8334 SOS 2982 HAS SOPS 2980 HAS SOUS 2544 HAS SOUPS 2543 WITH SCORE 2545.982
AT ITER 656 NEW BEST:: SOT 8334 SOS 2964 HAS SOPS 2962 HAS SOUS 2538 HAS SOUPS 2537 WITH SCORE 2539.964
AT ITER 659 NEW BEST:: SOT 8334 SOS 2958 HAS SOPS 2956 HAS SOUS 2527 HAS SOUPS 2526 WITH SCORE 2528.958
AT ITER 666 NEW BEST:: SOT 8334 SOS 2957 HAS SOPS 2955 HAS SOUS 2526 HAS SOUPS 2525 WITH SCORE 2527.957
AT ITER 667 NEW BEST:: SOT 8318 SOS 2946 HAS SOPS 2944 HAS SOUS 2515 HAS SOUPS 2514 WITH SCORE 2516.946
AT ITER 680 NEW BEST:: SOT 8318 SOS 2940 HAS SOPS 2938 HAS SOUS 2515 HAS SOUPS 2514 WITH SCORE 2516.94
AT ITER 681 NEW BEST:: SOT 8314 SOS 2936 HAS SOPS 2934 HAS SOUS 2511 HAS SOUPS 2510 WITH SCORE 2512.936
AT ITER 682 NEW BEST:: SOT 8314 SOS 2934 HAS SOPS 2932 HAS SOUS 2509 HAS SOUPS 2508 WITH SCORE 2510.934
AT ITER 687 NEW BEST:: SOT 8308 SOS 2928 HAS SOPS 2926 HAS SOUS 2502 HAS SOUPS 2501 WITH SCORE 2503.928
AT ITER 699 NEW BEST:: SOT 8303 SOS 2924 HAS SOPS 2922 HAS SOUS 2501 HAS SOUPS 2500 WITH SCORE 2502.924
AT ITER 700 NEW BEST:: SOT 8303 SOS 2922 HAS SOPS 2920 HAS SOUS 2500 HAS SOUPS 2499 WITH SCORE 2501.922
AT ITER 737 NEW BEST:: SOT 8326 SOS 2851 HAS SOPS 2849 HAS SOUS 2462 HAS SOUPS 2461 WITH SCORE 2463.851
AT ITER 738 NEW BEST:: SOT 8326 SOS 2848 HAS SOPS 2846 HAS SOUS 2459 HAS SOUPS 2458 WITH SCORE 2460.848
AT ITER 742 NEW BEST:: SOT 8319 SOS 2833 HAS SOPS 2831 HAS SOUS 2453 HAS SOUPS 2452 WITH SCORE 2454.833
AT ITER 745 NEW BEST:: SOT 8327 SOS 2800 HAS SOPS 2798 HAS SOUS 2445 HAS SOUPS 2444 WITH SCORE 2446.8
AT ITER 782 NEW BEST:: SOT 8330 SOS 2785 HAS SOPS 2783 HAS SOUS 2438 HAS SOUPS 2437 WITH SCORE 2439.785
AT ITER 785 NEW BEST:: SOT 8330 SOS 2782 HAS SOPS 2780 HAS SOUS 2435 HAS SOUPS 2434 WITH SCORE 2436.782
AT ITER 808 NEW BEST:: SOT 8300 SOS 2771 HAS SOPS 2769 HAS SOUS 2397 HAS SOUPS 2396 WITH SCORE 2398.771
AT ITER 813 NEW BEST:: SOT 8292 SOS 2765 HAS SOPS 2763 HAS SOUS 2393 HAS SOUPS 2392 WITH SCORE 2394.765
AT ITER 827 NEW BEST:: SOT 8229 SOS 3070 HAS SOPS 2950 HAS SOUS 2378 HAS SOUPS 2362 WITH SCORE 2365.07
AT ITER 846 NEW BEST:: SOT 8217 SOS 3046 HAS SOPS 2926 HAS SOUS 2350 HAS SOUPS 2334 WITH SCORE 2337.046
AT ITER 860 NEW BEST:: SOT 8217 SOS 3044 HAS SOPS 2924 HAS SOUS 2349 HAS SOUPS 2333 WITH SCORE 2336.044
AT ITER 866 NEW BEST:: SOT 8169 SOS 3004 HAS SOPS 2884 HAS SOUS 2305 HAS SOUPS 2289 WITH SCORE 2292.004
AT ITER 936 NEW BEST:: SOT 8163 SOS 3004 HAS SOPS 2884 HAS SOUS 2299 HAS SOUPS 2283 WITH SCORE 2286.004
AT ITER 940 NEW BEST:: SOT 8158 SOS 2994 HAS SOPS 2874 HAS SOUS 2284 HAS SOUPS 2268 WITH SCORE 2270.994
AT ITER 1007 NEW BEST:: SOT 8153 SOS 2984 HAS SOPS 2864 HAS SOUS 2269 HAS SOUPS 2253 WITH SCORE 2255.984
AT ITER 1027 NEW BEST:: SOT 8148 SOS 2984 HAS SOPS 2864 HAS SOUS 2267 HAS SOUPS 2251 WITH SCORE 2253.984
AT ITER 1078 NEW BEST:: SOT 8172 SOS 2984 HAS SOPS 2864 HAS SOUS 2265 HAS SOUPS 2249 WITH SCORE 2251.984
AT ITER 1080 NEW BEST:: SOT 8175 SOS 2981 HAS SOPS 2861 HAS SOUS 2265 HAS SOUPS 2249 WITH SCORE 2251.981
AT ITER 1087 NEW BEST:: SOT 8175 SOS 2979 HAS SOPS 2859 HAS SOUS 2265 HAS SOUPS 2249 WITH SCORE 2251.979
AT ITER 1121 NEW BEST:: SOT 8169 SOS 2967 HAS SOPS 2847 HAS SOUS 2259 HAS SOUPS 2243 WITH SCORE 2245.967
AT ITER 1126 NEW BEST:: SOT 8173 SOS 2971 HAS SOPS 2851 HAS SOUS 2258 HAS SOUPS 2242 WITH SCORE 2244.971
AT ITER 1142 NEW BEST:: SOT 8172 SOS 2968 HAS SOPS 2848 HAS SOUS 2256 HAS SOUPS 2240 WITH SCORE 2242.968
AT ITER 1165 NEW BEST:: SOT 8162 SOS 2958 HAS SOPS 2842 HAS SOUS 2250 HAS SOUPS 2234 WITH SCORE 2236.958
AT ITER 1172 NEW BEST:: SOT 8149 SOS 2952 HAS SOPS 2836 HAS SOUS 2237 HAS SOUPS 2221 WITH SCORE 2223.952
AT ITER 1189 NEW BEST:: SOT 8147 SOS 2945 HAS SOPS 2829 HAS SOUS 2235 HAS SOUPS 2219 WITH SCORE 2221.945
AT ITER 1207 NEW BEST:: SOT 8153 SOS 2942 HAS SOPS 2826 HAS SOUS 2231 HAS SOUPS 2215 WITH SCORE 2217.942
AT ITER 1236 NEW BEST:: SOT 8129 SOS 2918 HAS SOPS 2802 HAS SOUS 2207 HAS SOUPS 2191 WITH SCORE 2193.918
AT ITER 1247 NEW BEST:: SOT 8111 SOS 2912 HAS SOPS 2786 HAS SOUS 2190 HAS SOUPS 2174 WITH SCORE 2176.912
AT ITER 1264 NEW BEST:: SOT 8101 SOS 2902 HAS SOPS 2776 HAS SOUS 2190 HAS SOUPS 2174 WITH SCORE 2176.902
AT ITER 1266 NEW BEST:: SOT 8098 SOS 2902 HAS SOPS 2776 HAS SOUS 2187 HAS SOUPS 2171 WITH SCORE 2173.902
AT ITER 1270 NEW BEST:: SOT 8109 SOS 2894 HAS SOPS 2768 HAS SOUS 2187 HAS SOUPS 2171 WITH SCORE 2173.894
AT ITER 1273 NEW BEST:: SOT 8105 SOS 2898 HAS SOPS 2772 HAS SOUS 2185 HAS SOUPS 2169 WITH SCORE 2171.898
AT ITER 1278 NEW BEST:: SOT 8096 SOS 2901 HAS SOPS 2775 HAS SOUS 2183 HAS SOUPS 2167 WITH SCORE 2169.901
AT ITER 1279 NEW BEST:: SOT 8094 SOS 2898 HAS SOPS 2767 HAS SOUS 2180 HAS SOUPS 2163 WITH SCORE 2165.898
AT ITER 1281 NEW BEST:: SOT 7994 SOS 3131 HAS SOPS 2984 HAS SOUS 2169 HAS SOUPS 2152 WITH SCORE 2155.131
AT ITER 1282 NEW BEST:: SOT 7994 SOS 3128 HAS SOPS 2981 HAS SOUS 2167 HAS SOUPS 2150 WITH SCORE 2153.128
AT ITER 1303 NEW BEST:: SOT 7968 SOS 3136 HAS SOPS 3090 HAS SOUS 2137 HAS SOUPS 2132 WITH SCORE 2135.136
AT ITER 1307 NEW BEST:: SOT 7977 SOS 3134 HAS SOPS 3088 HAS SOUS 2136 HAS SOUPS 2131 WITH SCORE 2134.134
AT ITER 1317 NEW BEST:: SOT 7939 SOS 3086 HAS SOPS 3040 HAS SOUS 2093 HAS SOUPS 2088 WITH SCORE 2091.086
AT ITER 1323 NEW BEST:: SOT 7939 SOS 3086 HAS SOPS 3037 HAS SOUS 2088 HAS SOUPS 2083 WITH SCORE 2086.086
AT ITER 1325 NEW BEST:: SOT 7923 SOS 3070 HAS SOPS 3021 HAS SOUS 2056 HAS SOUPS 2051 WITH SCORE 2054.07
AT ITER 1326 NEW BEST:: SOT 7923 SOS 3052 HAS SOPS 3003 HAS SOUS 2038 HAS SOUPS 2033 WITH SCORE 2036.052
AT ITER 1341 NEW BEST:: SOT 7924 SOS 3052 HAS SOPS 3003 HAS SOUS 2036 HAS SOUPS 2031 WITH SCORE 2034.052
AT ITER 1357 NEW BEST:: SOT 7917 SOS 3045 HAS SOPS 2996 HAS SOUS 2022 HAS SOUPS 2017 WITH SCORE 2020.045
AT ITER 1365 NEW BEST:: SOT 7910 SOS 3031 HAS SOPS 2942 HAS SOUS 2022 HAS SOUPS 2013 WITH SCORE 2016.031
AT ITER 1378 NEW BEST:: SOT 7918 SOS 3029 HAS SOPS 2940 HAS SOUS 2021 HAS SOUPS 2012 WITH SCORE 2015.029
AT ITER 1397 NEW BEST:: SOT 7917 SOS 3028 HAS SOPS 2939 HAS SOUS 2020 HAS SOUPS 2011 WITH SCORE 2014.028
AT ITER 1446 NEW BEST:: SOT 7899 SOS 3046 HAS SOPS 2957 HAS SOUS 2014 HAS SOUPS 2005 WITH SCORE 2008.046
AT ITER 1470 NEW BEST:: SOT 7896 SOS 3043 HAS SOPS 2954 HAS SOUS 2012 HAS SOUPS 2003 WITH SCORE 2006.043
AT ITER 1489 NEW BEST:: SOT 7904 SOS 3051 HAS SOPS 2962 HAS SOUS 2003 HAS SOUPS 1994 WITH SCORE 1997.051
AT ITER 1495 NEW BEST:: SOT 7906 SOS 3029 HAS SOPS 2940 HAS SOUS 1984 HAS SOUPS 1975 WITH SCORE 1978.029
AT ITER 1501 NEW BEST:: SOT 7906 SOS 3027 HAS SOPS 2938 HAS SOUS 1983 HAS SOUPS 1974 WITH SCORE 1977.027
AT ITER 1514 NEW BEST:: SOT 7899 SOS 3018 HAS SOPS 2929 HAS SOUS 1977 HAS SOUPS 1968 WITH SCORE 1971.018
AT ITER 1516 NEW BEST:: SOT 7898 SOS 3015 HAS SOPS 2926 HAS SOUS 1977 HAS SOUPS 1968 WITH SCORE 1971.015
AT ITER 1521 NEW BEST:: SOT 7926 SOS 2813 HAS SOPS 2724 HAS SOUS 1973 HAS SOUPS 1964 WITH SCORE 1966.813
AT ITER 1525 NEW BEST:: SOT 7936 SOS 2734 HAS SOPS 2732 HAS SOUS 1964 HAS SOUPS 1963 WITH SCORE 1965.734
AT ITER 1530 NEW BEST:: SOT 7733 SOS 3246 HAS SOPS 3244 HAS SOUS 1852 HAS SOUPS 1851 WITH SCORE 1854.246
AT ITER 1543 NEW BEST:: SOT 7733 SOS 3251 HAS SOPS 3249 HAS SOUS 1843 HAS SOUPS 1842 WITH SCORE 1845.251
AT ITER 1544 NEW BEST:: SOT 7732 SOS 3250 HAS SOPS 3248 HAS SOUS 1841 HAS SOUPS 1840 WITH SCORE 1843.25
AT ITER 1553 NEW BEST:: SOT 7729 SOS 3247 HAS SOPS 3245 HAS SOUS 1835 HAS SOUPS 1834 WITH SCORE 1837.247
AT ITER 1564 NEW BEST:: SOT 7719 SOS 3237 HAS SOPS 3235 HAS SOUS 1815 HAS SOUPS 1814 WITH SCORE 1817.237
AT ITER 1570 NEW BEST:: SOT 7710 SOS 3228 HAS SOPS 3226 HAS SOUS 1813 HAS SOUPS 1812 WITH SCORE 1815.228
AT ITER 1572 NEW BEST:: SOT 7708 SOS 3182 HAS SOPS 3180 HAS SOUS 1811 HAS SOUPS 1810 WITH SCORE 1813.182
AT ITER 1573 NEW BEST:: SOT 7707 SOS 3179 HAS SOPS 3177 HAS SOUS 1810 HAS SOUPS 1809 WITH SCORE 1812.179
AT ITER 1595 NEW BEST:: SOT 7706 SOS 3178 HAS SOPS 3176 HAS SOUS 1809 HAS SOUPS 1808 WITH SCORE 1811.178
AT ITER 1597 NEW BEST:: SOT 7704 SOS 3177 HAS SOPS 3175 HAS SOUS 1809 HAS SOUPS 1808 WITH SCORE 1811.177
AT ITER 1601 NEW BEST:: SOT 7704 SOS 3172 HAS SOPS 3170 HAS SOUS 1796 HAS SOUPS 1795 WITH SCORE 1798.172
AT ITER 1603 NEW BEST:: SOT 7704 SOS 3169 HAS SOPS 3167 HAS SOUS 1790 HAS SOUPS 1789 WITH SCORE 1792.169
AT ITER 1609 NEW BEST:: SOT 7696 SOS 3171 HAS SOPS 3169 HAS SOUS 1788 HAS SOUPS 1787 WITH SCORE 1790.171
AT ITER 1611 NEW BEST:: SOT 7692 SOS 3159 HAS SOPS 3157 HAS SOUS 1787 HAS SOUPS 1786 WITH SCORE 1789.159
AT ITER 1612 NEW BEST:: SOT 7664 SOS 2578 HAS SOPS 2576 HAS SOUS 1759 HAS SOUPS 1758 WITH SCORE 1760.578
AT ITER 1613 NEW BEST:: SOT 7663 SOS 2577 HAS SOPS 2575 HAS SOUS 1758 HAS SOUPS 1757 WITH SCORE 1759.577
AT ITER 1622 NEW BEST:: SOT 7650 SOS 2560 HAS SOPS 2558 HAS SOUS 1727 HAS SOUPS 1726 WITH SCORE 1728.56
AT ITER 1633 NEW BEST:: SOT 7649 SOS 2559 HAS SOPS 2557 HAS SOUS 1725 HAS SOUPS 1724 WITH SCORE 1726.559
AT ITER 1642 NEW BEST:: SOT 7643 SOS 2553 HAS SOPS 2551 HAS SOUS 1719 HAS SOUPS 1718 WITH SCORE 1720.553
AT ITER 1645 NEW BEST:: SOT 7644 SOS 2552 HAS SOPS 2550 HAS SOUS 1719 HAS SOUPS 1718 WITH SCORE 1720.552
AT ITER 1655 NEW BEST:: SOT 7642 SOS 2550 HAS SOPS 2548 HAS SOUS 1719 HAS SOUPS 1718 WITH SCORE 1720.55
AT ITER 1661 NEW BEST:: SOT 7639 SOS 2547 HAS SOPS 2545 HAS SOUS 1713 HAS SOUPS 1712 WITH SCORE 1714.547
AT ITER 1711 NEW BEST:: SOT 7636 SOS 2544 HAS SOPS 2542 HAS SOUS 1708 HAS SOUPS 1707 WITH SCORE 1709.544
AT ITER 1722 NEW BEST:: SOT 7636 SOS 2515 HAS SOPS 2513 HAS SOUS 1706 HAS SOUPS 1705 WITH SCORE 1707.515
AT ITER 1728 NEW BEST:: SOT 7631 SOS 2512 HAS SOPS 2510 HAS SOUS 1703 HAS SOUPS 1702 WITH SCORE 1704.512
AT ITER 1733 NEW BEST:: SOT 7709 SOS 2522 HAS SOPS 2520 HAS SOUS 1686 HAS SOUPS 1685 WITH SCORE 1687.522
AT ITER 1759 NEW BEST:: SOT 7705 SOS 2506 HAS SOPS 2504 HAS SOUS 1670 HAS SOUPS 1669 WITH SCORE 1671.506
AT ITER 1772 NEW BEST:: SOT 7700 SOS 2466 HAS SOPS 2464 HAS SOUS 1656 HAS SOUPS 1655 WITH SCORE 1657.466
AT ITER 1792 NEW BEST:: SOT 7662 SOS 2428 HAS SOPS 2426 HAS SOUS 1644 HAS SOUPS 1643 WITH SCORE 1645.428
AT ITER 1793 NEW BEST:: SOT 7662 SOS 2430 HAS SOPS 2428 HAS SOUS 1642 HAS SOUPS 1641 WITH SCORE 1643.43
AT ITER 1823 NEW BEST:: SOT 7659 SOS 2427 HAS SOPS 2425 HAS SOUS 1636 HAS SOUPS 1635 WITH SCORE 1637.427
AT ITER 1855 NEW BEST:: SOT 7650 SOS 2418 HAS SOPS 2416 HAS SOUS 1627 HAS SOUPS 1626 WITH SCORE 1628.418
AT ITER 1902 NEW BEST:: SOT 7649 SOS 2416 HAS SOPS 2414 HAS SOUS 1625 HAS SOUPS 1624 WITH SCORE 1626.416
AT ITER 1917 NEW BEST:: SOT 7603 SOS 2370 HAS SOPS 2368 HAS SOUS 1608 HAS SOUPS 1607 WITH SCORE 1609.37
AT ITER 1921 NEW BEST:: SOT 7605 SOS 2348 HAS SOPS 2346 HAS SOUS 1598 HAS SOUPS 1597 WITH SCORE 1599.348
AT ITER 1927 NEW BEST:: SOT 7605 SOS 2347 HAS SOPS 2345 HAS SOUS 1597 HAS SOUPS 1596 WITH SCORE 1598.347
AT ITER 1930 NEW BEST:: SOT 7607 SOS 2349 HAS SOPS 2347 HAS SOUS 1595 HAS SOUPS 1594 WITH SCORE 1596.349
AT ITER 1949 NEW BEST:: SOT 7603 SOS 2345 HAS SOPS 2343 HAS SOUS 1595 HAS SOUPS 1594 WITH SCORE 1596.345
AT ITER 1992 NEW BEST:: SOT 7599 SOS 2330 HAS SOPS 2328 HAS SOUS 1583 HAS SOUPS 1582 WITH SCORE 1584.33
AT ITER 2001 NEW BEST:: SOT 7582 SOS 2341 HAS SOPS 2315 HAS SOUS 1568 HAS SOUPS 1565 WITH SCORE 1567.341
AT ITER 2009 NEW BEST:: SOT 7587 SOS 2346 HAS SOPS 2320 HAS SOUS 1566 HAS SOUPS 1563 WITH SCORE 1565.346
AT ITER 2049 NEW BEST:: SOT 7586 SOS 2345 HAS SOPS 2319 HAS SOUS 1566 HAS SOUPS 1563 WITH SCORE 1565.345
AT ITER 2050 NEW BEST:: SOT 7586 SOS 2339 HAS SOPS 2313 HAS SOUS 1560 HAS SOUPS 1557 WITH SCORE 1559.339
AT ITER 2054 NEW BEST:: SOT 7583 SOS 2337 HAS SOPS 2311 HAS SOUS 1559 HAS SOUPS 1556 WITH SCORE 1558.337
AT ITER 2060 NEW BEST:: SOT 7581 SOS 2338 HAS SOPS 2312 HAS SOUS 1558 HAS SOUPS 1555 WITH SCORE 1557.338
AT ITER 2065 NEW BEST:: SOT 7560 SOS 2342 HAS SOPS 2340 HAS SOUS 1532 HAS SOUPS 1531 WITH SCORE 1533.342
AT ITER 2082 NEW BEST:: SOT 7560 SOS 2336 HAS SOPS 2334 HAS SOUS 1526 HAS SOUPS 1525 WITH SCORE 1527.336
AT ITER 2155 NEW BEST:: SOT 7562 SOS 2334 HAS SOPS 2332 HAS SOUS 1525 HAS SOUPS 1524 WITH SCORE 1526.334
AT ITER 2160 NEW BEST:: SOT 7579 SOS 2332 HAS SOPS 2330 HAS SOUS 1524 HAS SOUPS 1523 WITH SCORE 1525.332
AT ITER 2177 NEW BEST:: SOT 7567 SOS 2320 HAS SOPS 2318 HAS SOUS 1500 HAS SOUPS 1499 WITH SCORE 1501.32
AT ITER 2315 NEW BEST:: SOT 7570 SOS 2321 HAS SOPS 2319 HAS SOUS 1498 HAS SOUPS 1497 WITH SCORE 1499.321
AT ITER 2366 NEW BEST:: SOT 7570 SOS 2317 HAS SOPS 2315 HAS SOUS 1495 HAS SOUPS 1494 WITH SCORE 1496.317
AT ITER 2383 NEW BEST:: SOT 7563 SOS 2303 HAS SOPS 2301 HAS SOUS 1488 HAS SOUPS 1487 WITH SCORE 1489.303
AT ITER 2395 NEW BEST:: SOT 7557 SOS 2300 HAS SOPS 2298 HAS SOUS 1485 HAS SOUPS 1484 WITH SCORE 1486.3
AT ITER 2419 NEW BEST:: SOT 7556 SOS 2299 HAS SOPS 2297 HAS SOUS 1483 HAS SOUPS 1482 WITH SCORE 1484.299
AT ITER 2427 NEW BEST:: SOT 7551 SOS 2289 HAS SOPS 2287 HAS SOUS 1468 HAS SOUPS 1467 WITH SCORE 1469.289
AT ITER 2433 NEW BEST:: SOT 7571 SOS 2307 HAS SOPS 2305 HAS SOUS 1464 HAS SOUPS 1463 WITH SCORE 1465.307
AT ITER 2437 NEW BEST:: SOT 7558 SOS 2298 HAS SOPS 2296 HAS SOUS 1462 HAS SOUPS 1461 WITH SCORE 1463.298
AT ITER 2452 NEW BEST:: SOT 7558 SOS 2282 HAS SOPS 2280 HAS SOUS 1454 HAS SOUPS 1453 WITH SCORE 1455.282
AT ITER 2484 NEW BEST:: SOT 7505 SOS 2270 HAS SOPS 2268 HAS SOUS 1416 HAS SOUPS 1415 WITH SCORE 1417.27
AT ITER 2550 NEW BEST:: SOT 7512 SOS 2275 HAS SOPS 2273 HAS SOUS 1414 HAS SOUPS 1413 WITH SCORE 1415.275
AT ITER 2554 NEW BEST:: SOT 7503 SOS 2249 HAS SOPS 2247 HAS SOUS 1399 HAS SOUPS 1398 WITH SCORE 1400.249
AT ITER 2575 NEW BEST:: SOT 7503 SOS 2248 HAS SOPS 2246 HAS SOUS 1398 HAS SOUPS 1397 WITH SCORE 1399.248
AT ITER 2643 NEW BEST:: SOT 7437 SOS 2729 HAS SOPS 2456 HAS SOUS 1397 HAS SOUPS 1378 WITH SCORE 1380.729
AT ITER 2712 NEW BEST:: SOT 7430 SOS 2720 HAS SOPS 2447 HAS SOUS 1388 HAS SOUPS 1369 WITH SCORE 1371.72
AT ITER 2716 NEW BEST:: SOT 7437 SOS 2723 HAS SOPS 2450 HAS SOUS 1382 HAS SOUPS 1363 WITH SCORE 1365.723
AT ITER 2775 NEW BEST:: SOT 7437 SOS 2719 HAS SOPS 2446 HAS SOUS 1382 HAS SOUPS 1363 WITH SCORE 1365.719
AT ITER 2785 NEW BEST:: SOT 7412 SOS 2710 HAS SOPS 2437 HAS SOUS 1379 HAS SOUPS 1360 WITH SCORE 1362.71
AT ITER 2795 NEW BEST:: SOT 7412 SOS 2243 HAS SOPS 2202 HAS SOUS 1349 HAS SOUPS 1345 WITH SCORE 1347.243
AT ITER 2808 NEW BEST:: SOT 7410 SOS 2242 HAS SOPS 2201 HAS SOUS 1347 HAS SOUPS 1343 WITH SCORE 1345.242
AT ITER 2836 NEW BEST:: SOT 7406 SOS 2214 HAS SOPS 2173 HAS SOUS 1327 HAS SOUPS 1323 WITH SCORE 1325.214
AT ITER 2842 NEW BEST:: SOT 7394 SOS 2238 HAS SOPS 2236 HAS SOUS 1322 HAS SOUPS 1321 WITH SCORE 1323.238
AT ITER 2926 NEW BEST:: SOT 7377 SOS 2230 HAS SOPS 2228 HAS SOUS 1311 HAS SOUPS 1310 WITH SCORE 1312.23
AT ITER 2972 NEW BEST:: SOT 7379 SOS 2228 HAS SOPS 2226 HAS SOUS 1304 HAS SOUPS 1303 WITH SCORE 1305.228
AT ITER 3020 NEW BEST:: SOT 7385 SOS 2225 HAS SOPS 2223 HAS SOUS 1304 HAS SOUPS 1303 WITH SCORE 1305.225
AT ITER 3022 NEW BEST:: SOT 7385 SOS 2211 HAS SOPS 2209 HAS SOUS 1285 HAS SOUPS 1284 WITH SCORE 1286.211
AT ITER 3034 NEW BEST:: SOT 7386 SOS 2209 HAS SOPS 2207 HAS SOUS 1283 HAS SOUPS 1282 WITH SCORE 1284.209
AT ITER 3057 NEW BEST:: SOT 7381 SOS 2199 HAS SOPS 2197 HAS SOUS 1275 HAS SOUPS 1274 WITH SCORE 1276.199
AT ITER 3082 NEW BEST:: SOT 7378 SOS 2193 HAS SOPS 2191 HAS SOUS 1265 HAS SOUPS 1264 WITH SCORE 1266.193
AT ITER 3103 NEW BEST:: SOT 7368 SOS 2183 HAS SOPS 2181 HAS SOUS 1260 HAS SOUPS 1259 WITH SCORE 1261.183
AT ITER 3111 NEW BEST:: SOT 7372 SOS 2179 HAS SOPS 2177 HAS SOUS 1252 HAS SOUPS 1251 WITH SCORE 1253.179
AT ITER 3183 NEW BEST:: SOT 7371 SOS 2178 HAS SOPS 2176 HAS SOUS 1252 HAS SOUPS 1251 WITH SCORE 1253.178
AT ITER 3208 NEW BEST:: SOT 7369 SOS 2176 HAS SOPS 2174 HAS SOUS 1251 HAS SOUPS 1250 WITH SCORE 1252.176
AT ITER 3216 NEW BEST:: SOT 7364 SOS 2171 HAS SOPS 2169 HAS SOUS 1251 HAS SOUPS 1250 WITH SCORE 1252.171
AT ITER 3225 NEW BEST:: SOT 7363 SOS 2170 HAS SOPS 2168 HAS SOUS 1249 HAS SOUPS 1248 WITH SCORE 1250.17
AT ITER 3228 NEW BEST:: SOT 7361 SOS 2171 HAS SOPS 2169 HAS SOUS 1248 HAS SOUPS 1247 WITH SCORE 1249.171
AT ITER 3245 NEW BEST:: SOT 7357 SOS 2168 HAS SOPS 2166 HAS SOUS 1245 HAS SOUPS 1244 WITH SCORE 1246.168
AT ITER 3259 NEW BEST:: SOT 7359 SOS 2169 HAS SOPS 2167 HAS SOUS 1244 HAS SOUPS 1243 WITH SCORE 1245.169
AT ITER 3275 NEW BEST:: SOT 7359 SOS 2161 HAS SOPS 2159 HAS SOUS 1238 HAS SOUPS 1237 WITH SCORE 1239.161
AT ITER 3293 NEW BEST:: SOT 7358 SOS 2158 HAS SOPS 2156 HAS SOUS 1236 HAS SOUPS 1235 WITH SCORE 1237.158
AT ITER 3378 NEW BEST:: SOT 7358 SOS 2157 HAS SOPS 2155 HAS SOUS 1236 HAS SOUPS 1235 WITH SCORE 1237.157
AT ITER 3382 NEW BEST:: SOT 7355 SOS 2154 HAS SOPS 2152 HAS SOUS 1236 HAS SOUPS 1235 WITH SCORE 1237.154
AT ITER 3450 NEW BEST:: SOT 7363 SOS 2158 HAS SOPS 2156 HAS SOUS 1232 HAS SOUPS 1231 WITH SCORE 1233.158
AT ITER 3495 NEW BEST:: SOT 7368 SOS 2157 HAS SOPS 2155 HAS SOUS 1232 HAS SOUPS 1231 WITH SCORE 1233.157
AT ITER 3507 NEW BEST:: SOT 7368 SOS 2156 HAS SOPS 2140 HAS SOUS 1233 HAS SOUPS 1231 WITH SCORE 1233.156
AT ITER 3513 NEW BEST:: SOT 7362 SOS 2152 HAS SOPS 2136 HAS SOUS 1229 HAS SOUPS 1227 WITH SCORE 1229.152
AT ITER 3542 NEW BEST:: SOT 7362 SOS 2150 HAS SOPS 2134 HAS SOUS 1227 HAS SOUPS 1225 WITH SCORE 1227.15
AT ITER 3567 NEW BEST:: SOT 7361 SOS 2149 HAS SOPS 2133 HAS SOUS 1226 HAS SOUPS 1224 WITH SCORE 1226.149
AT ITER 3612 NEW BEST:: SOT 7358 SOS 2129 HAS SOPS 2127 HAS SOUS 1223 HAS SOUPS 1222 WITH SCORE 1224.129
AT ITER 3633 NEW BEST:: SOT 7344 SOS 2115 HAS SOPS 2113 HAS SOUS 1209 HAS SOUPS 1208 WITH SCORE 1210.115
AT ITER 3670 NEW BEST:: SOT 7337 SOS 2121 HAS SOPS 2119 HAS SOUS 1205 HAS SOUPS 1204 WITH SCORE 1206.121
AT ITER 3692 NEW BEST:: SOT 7337 SOS 2121 HAS SOPS 2119 HAS SOUS 1204 HAS SOUPS 1203 WITH SCORE 1205.121
AT ITER 3701 NEW BEST:: SOT 7337 SOS 2104 HAS SOPS 2102 HAS SOUS 1185 HAS SOUPS 1184 WITH SCORE 1186.104
AT ITER 3713 NEW BEST:: SOT 7337 SOS 2100 HAS SOPS 2098 HAS SOUS 1183 HAS SOUPS 1182 WITH SCORE 1184.1
AT ITER 3734 NEW BEST:: SOT 7331 SOS 2098 HAS SOPS 2096 HAS SOUS 1178 HAS SOUPS 1177 WITH SCORE 1179.098
AT ITER 3799 NEW BEST:: SOT 7332 SOS 2098 HAS SOPS 2096 HAS SOUS 1177 HAS SOUPS 1176 WITH SCORE 1178.098
AT ITER 3874 NEW BEST:: SOT 7331 SOS 2097 HAS SOPS 2095 HAS SOUS 1177 HAS SOUPS 1176 WITH SCORE 1178.097
AT ITER 3974 NEW BEST:: SOT 7336 SOS 2095 HAS SOPS 2093 HAS SOUS 1176 HAS SOUPS 1175 WITH SCORE 1177.095
AT ITER 3997 NEW BEST:: SOT 7334 SOS 2090 HAS SOPS 2088 HAS SOUS 1173 HAS SOUPS 1172 WITH SCORE 1174.09
AT ITER 4041 NEW BEST:: SOT 7334 SOS 2088 HAS SOPS 2086 HAS SOUS 1172 HAS SOUPS 1171 WITH SCORE 1173.088
AT ITER 4047 NEW BEST:: SOT 7332 SOS 2129 HAS SOPS 2127 HAS SOUS 1171 HAS SOUPS 1170 WITH SCORE 1172.129
AT ITER 4090 NEW BEST:: SOT 7333 SOS 2126 HAS SOPS 2124 HAS SOUS 1165 HAS SOUPS 1164 WITH SCORE 1166.126
AT ITER 4170 NEW BEST:: SOT 7333 SOS 2123 HAS SOPS 2121 HAS SOUS 1162 HAS SOUPS 1161 WITH SCORE 1163.123
AT ITER 4211 NEW BEST:: SOT 7333 SOS 2122 HAS SOPS 2120 HAS SOUS 1162 HAS SOUPS 1161 WITH SCORE 1163.122
AT ITER 4227 NEW BEST:: SOT 7327 SOS 2117 HAS SOPS 2115 HAS SOUS 1156 HAS SOUPS 1155 WITH SCORE 1157.117
AT ITER 4231 NEW BEST:: SOT 7326 SOS 2116 HAS SOPS 2114 HAS SOUS 1155 HAS SOUPS 1154 WITH SCORE 1156.116
AT ITER 4246 NEW BEST:: SOT 7324 SOS 2114 HAS SOPS 2112 HAS SOUS 1155 HAS SOUPS 1154 WITH SCORE 1156.114
AT ITER 4287 NEW BEST:: SOT 7330 SOS 2115 HAS SOPS 2113 HAS SOUS 1154 HAS SOUPS 1153 WITH SCORE 1155.115
AT ITER 4619 NEW BEST:: SOT 7334 SOS 2111 HAS SOPS 2109 HAS SOUS 1154 HAS SOUPS 1153 WITH SCORE 1155.111
AT ITER 4627 NEW BEST:: SOT 7332 SOS 2106 HAS SOPS 2104 HAS SOUS 1151 HAS SOUPS 1150 WITH SCORE 1152.106
AT ITER 4665 NEW BEST:: SOT 7331 SOS 2106 HAS SOPS 2104 HAS SOUS 1150 HAS SOUPS 1149 WITH SCORE 1151.106
AT ITER 4683 NEW BEST:: SOT 7331 SOS 2100 HAS SOPS 2098 HAS SOUS 1145 HAS SOUPS 1144 WITH SCORE 1146.1
AT ITER 4686 NEW BEST:: SOT 7332 SOS 2101 HAS SOPS 2099 HAS SOUS 1144 HAS SOUPS 1143 WITH SCORE 1145.101
AT ITER 4874 NEW BEST:: SOT 7332 SOS 2095 HAS SOPS 2093 HAS SOUS 1138 HAS SOUPS 1137 WITH SCORE 1139.095
AT ITER 4918 NEW BEST:: SOT 7332 SOS 2093 HAS SOPS 2091 HAS SOUS 1138 HAS SOUPS 1137 WITH SCORE 1139.093
AT ITER 4924 NEW BEST:: SOT 7330 SOS 2092 HAS SOPS 2090 HAS SOUS 1137 HAS SOUPS 1136 WITH SCORE 1138.092
AT ITER 5054 NEW BEST:: SOT 7326 SOS 2091 HAS SOPS 2089 HAS SOUS 1136 HAS SOUPS 1135 WITH SCORE 1137.091
AT ITER 5228 NEW BEST:: SOT 7330 SOS 2091 HAS SOPS 2089 HAS SOUS 1135 HAS SOUPS 1134 WITH SCORE 1136.091
AT ITER 5315 NEW BEST:: SOT 7327 SOS 2086 HAS SOPS 2084 HAS SOUS 1132 HAS SOUPS 1131 WITH SCORE 1133.086
AT ITER 5325 NEW BEST:: SOT 7313 SOS 2168 HAS SOPS 2123 HAS SOUS 1131 HAS SOUPS 1127 WITH SCORE 1129.168
AT ITER 5451 NEW BEST:: SOT 7313 SOS 2167 HAS SOPS 2122 HAS SOUS 1131 HAS SOUPS 1127 WITH SCORE 1129.167
AT ITER 5457 NEW BEST:: SOT 7311 SOS 2164 HAS SOPS 2119 HAS SOUS 1127 HAS SOUPS 1123 WITH SCORE 1125.164
AT ITER 5508 NEW BEST:: SOT 7310 SOS 2160 HAS SOPS 2115 HAS SOUS 1124 HAS SOUPS 1120 WITH SCORE 1122.16
AT ITER 5517 NEW BEST:: SOT 7303 SOS 2153 HAS SOPS 2108 HAS SOUS 1122 HAS SOUPS 1118 WITH SCORE 1120.153
AT ITER 5622 NEW BEST:: SOT 7303 SOS 2153 HAS SOPS 2108 HAS SOUS 1121 HAS SOUPS 1117 WITH SCORE 1119.153
AT ITER 5643 NEW BEST:: SOT 7301 SOS 2149 HAS SOPS 2104 HAS SOUS 1117 HAS SOUPS 1113 WITH SCORE 1115.149
AT ITER 5710 NEW BEST:: SOT 7299 SOS 2150 HAS SOPS 2105 HAS SOUS 1116 HAS SOUPS 1112 WITH SCORE 1114.15
AT ITER 5738 NEW BEST:: SOT 7298 SOS 2148 HAS SOPS 2103 HAS SOUS 1113 HAS SOUPS 1109 WITH SCORE 1111.148
AT ITER 5746 NEW BEST:: SOT 7291 SOS 2139 HAS SOPS 2094 HAS SOUS 1104 HAS SOUPS 1100 WITH SCORE 1102.139
AT ITER 5889 NEW BEST:: SOT 7293 SOS 2140 HAS SOPS 2093 HAS SOUS 1103 HAS SOUPS 1099 WITH SCORE 1101.14
AT ITER 5995 NEW BEST:: SOT 7293 SOS 2139 HAS SOPS 2092 HAS SOUS 1103 HAS SOUPS 1099 WITH SCORE 1101.139
AT ITER 6022 NEW BEST:: SOT 7293 SOS 2139 HAS SOPS 2092 HAS SOUS 1102 HAS SOUPS 1098 WITH SCORE 1100.139
AT ITER 6104 NEW BEST:: SOT 7290 SOS 2135 HAS SOPS 2088 HAS SOUS 1098 HAS SOUPS 1094 WITH SCORE 1096.135
AT ITER 6341 NEW BEST:: SOT 7297 SOS 2139 HAS SOPS 2092 HAS SOUS 1095 HAS SOUPS 1091 WITH SCORE 1093.139
AT ITER 6417 NEW BEST:: SOT 7298 SOS 2139 HAS SOPS 2092 HAS SOUS 1093 HAS SOUPS 1089 WITH SCORE 1091.139
AT ITER 6432 NEW BEST:: SOT 7300 SOS 2137 HAS SOPS 2090 HAS SOUS 1091 HAS SOUPS 1087 WITH SCORE 1089.137
AT ITER 6553 NEW BEST:: SOT 7299 SOS 2136 HAS SOPS 2089 HAS SOUS 1089 HAS SOUPS 1085 WITH SCORE 1087.136
AT ITER 6577 NEW BEST:: SOT 7296 SOS 2132 HAS SOPS 2085 HAS SOUS 1089 HAS SOUPS 1085 WITH SCORE 1087.132
AT ITER 6587 NEW BEST:: SOT 7296 SOS 2128 HAS SOPS 2081 HAS SOUS 1089 HAS SOUPS 1085 WITH SCORE 1087.128
AT ITER 6698 NEW BEST:: SOT 7294 SOS 2126 HAS SOPS 2079 HAS SOUS 1089 HAS SOUPS 1085 WITH SCORE 1087.126
AT ITER 6864 NEW BEST:: SOT 7293 SOS 2121 HAS SOPS 2074 HAS SOUS 1082 HAS SOUPS 1078 WITH SCORE 1080.121
AT ITER 7031 NEW BEST:: SOT 7293 SOS 2120 HAS SOPS 2073 HAS SOUS 1082 HAS SOUPS 1078 WITH SCORE 1080.12
AT ITER 7055 NEW BEST:: SOT 7292 SOS 2117 HAS SOPS 2070 HAS SOUS 1078 HAS SOUPS 1074 WITH SCORE 1076.117
AT ITER 7215 NEW BEST:: SOT 7282 SOS 2108 HAS SOPS 2061 HAS SOUS 1067 HAS SOUPS 1063 WITH SCORE 1065.108
AT ITER 7375 NEW BEST:: SOT 7266 SOS 2129 HAS SOPS 2127 HAS SOUS 1060 HAS SOUPS 1059 WITH SCORE 1061.129
AT ITER 7446 NEW BEST:: SOT 7302 SOS 2154 HAS SOPS 2152 HAS SOUS 1048 HAS SOUPS 1047 WITH SCORE 1049.154
AT ITER 7550 NEW BEST:: SOT 7302 SOS 2151 HAS SOPS 2149 HAS SOUS 1047 HAS SOUPS 1046 WITH SCORE 1048.151
AT ITER 7606 NEW BEST:: SOT 7272 SOS 2179 HAS SOPS 2177 HAS SOUS 1016 HAS SOUPS 1015 WITH SCORE 1017.179
AT ITER 7675 NEW BEST:: SOT 7268 SOS 2173 HAS SOPS 2171 HAS SOUS 1014 HAS SOUPS 1013 WITH SCORE 1015.173
AT ITER 7716 NEW BEST:: SOT 7268 SOS 2172 HAS SOPS 2170 HAS SOUS 1011 HAS SOUPS 1010 WITH SCORE 1012.172
AT ITER 7738 NEW BEST:: SOT 7268 SOS 2170 HAS SOPS 2168 HAS SOUS 1009 HAS SOUPS 1008 WITH SCORE 1010.17
AT ITER 7746 NEW BEST:: SOT 7268 SOS 2170 HAS SOPS 2168 HAS SOUS 1008 HAS SOUPS 1007 WITH SCORE 1009.17
AT ITER 7760 NEW BEST:: SOT 7267 SOS 2169 HAS SOPS 2167 HAS SOUS 1008 HAS SOUPS 1007 WITH SCORE 1009.169
AT ITER 7833 NEW BEST:: SOT 7261 SOS 2161 HAS SOPS 2159 HAS SOUS 1005 HAS SOUPS 1004 WITH SCORE 1006.161
AT ITER 8086 NEW BEST:: SOT 7260 SOS 2158 HAS SOPS 2156 HAS SOUS 1002 HAS SOUPS 1001 WITH SCORE 1003.158
AT ITER 8167 NEW BEST:: SOT 7259 SOS 2122 HAS SOPS 2120 HAS SOUS 999 HAS SOUPS 998 WITH SCORE 1000.122
AT ITER 8170 NEW BEST:: SOT 7256 SOS 2115 HAS SOPS 2113 HAS SOUS 995 HAS SOUPS 994 WITH SCORE 996.115
AT ITER 8196 NEW BEST:: SOT 7255 SOS 2114 HAS SOPS 2112 HAS SOUS 995 HAS SOUPS 994 WITH SCORE 996.114
AT ITER 8412 NEW BEST:: SOT 7260 SOS 2115 HAS SOPS 2113 HAS SOUS 991 HAS SOUPS 990 WITH SCORE 992.115
AT ITER 8710 NEW BEST:: SOT 7259 SOS 2114 HAS SOPS 2112 HAS SOUS 989 HAS SOUPS 988 WITH SCORE 990.114
AT ITER 8756 NEW BEST:: SOT 7257 SOS 2110 HAS SOPS 2108 HAS SOUS 985 HAS SOUPS 984 WITH SCORE 986.11
AT ITER 8765 NEW BEST:: SOT 7219 SOS 2105 HAS SOPS 2103 HAS SOUS 966 HAS SOUPS 965 WITH SCORE 967.105
AT ITER 8813 NEW BEST:: SOT 7224 SOS 2108 HAS SOPS 2106 HAS SOUS 963 HAS SOUPS 962 WITH SCORE 964.108
AT ITER 8912 NEW BEST:: SOT 7224 SOS 2106 HAS SOPS 2104 HAS SOUS 960 HAS SOUPS 959 WITH SCORE 961.106
AT ITER 9025 NEW BEST:: SOT 7223 SOS 2101 HAS SOPS 2083 HAS SOUS 958 HAS SOUPS 956 WITH SCORE 958.101
AT ITER 9046 NEW BEST:: SOT 7224 SOS 2100 HAS SOPS 2082 HAS SOUS 958 HAS SOUPS 956 WITH SCORE 958.1
AT ITER 9368 NEW BEST:: SOT 7221 SOS 2098 HAS SOPS 2064 HAS SOUS 956 HAS SOUPS 953 WITH SCORE 955.098
AT ITER 9482 NEW BEST:: SOT 7219 SOS 2097 HAS SOPS 2063 HAS SOUS 956 HAS SOUPS 953 WITH SCORE 955.097
AT ITER 9627 NEW BEST:: SOT 7214 SOS 2096 HAS SOPS 2062 HAS SOUS 956 HAS SOUPS 953 WITH SCORE 955.096
AT ITER 9708 NEW BEST:: SOT 7213 SOS 2091 HAS SOPS 2057 HAS SOUS 952 HAS SOUPS 949 WITH SCORE 951.091
AT ITER 9860 NEW BEST:: SOT 7214 SOS 2088 HAS SOPS 2054 HAS SOUS 951 HAS SOUPS 948 WITH SCORE 950.088
AT ITER 9882 NEW BEST:: SOT 7215 SOS 2087 HAS SOPS 2053 HAS SOUS 949 HAS SOUPS 946 WITH SCORE 948.087
AT ITER 9911 NEW BEST:: SOT 7216 SOS 2086 HAS SOPS 2052 HAS SOUS 949 HAS SOUPS 946 WITH SCORE 948.086
STATE_SPACE STATES 1688285001190973 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 26 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 37140575448982534 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678447937058

--------------------
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="GPUForwardProgress-PT-24a"
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 GPUForwardProgress-PT-24a, 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 r195-smll-167840341900088"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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