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.r323-tall-167889194800496.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 Referendum-PT-0050, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r323-tall-167889194800496
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.6M
-rw-r--r-- 1 mcc users 68K Feb 26 17:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 370K Feb 26 17:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 26K Feb 26 17:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 210K Feb 26 17:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 32K Feb 25 16:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 121K Feb 25 16:42 LTLCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 16:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 67K Feb 25 16:42 LTLFireability.xml
-rw-r--r-- 1 mcc users 105K Feb 26 17:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 563K Feb 26 17:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 104K Feb 26 17:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 823K Feb 26 17:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 16:42 UpperBounds.txt
-rw-r--r-- 1 mcc users 12K Feb 25 16:42 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 57K Mar 5 18:23 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 1679498526595

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=Referendum-PT-0050
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Referendum (PT), instance 0050
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: 151 places, 101 transitions, 251 arcs.
AT ITER 0 NEW BEST:: SOT 12505 SOS 7357 HAS SOPS 7357 HAS SOUS 7357 HAS SOUPS 7357 WITH SCORE 7364.357
AT ITER 1 NEW BEST:: SOT 12431 SOS 7251 HAS SOPS 7251 HAS SOUS 7251 HAS SOUPS 7251 WITH SCORE 7258.251
AT ITER 2 NEW BEST:: SOT 12387 SOS 7193 HAS SOPS 7193 HAS SOUS 7193 HAS SOUPS 7193 WITH SCORE 7200.193
AT ITER 4 NEW BEST:: SOT 12276 SOS 7077 HAS SOPS 7077 HAS SOUS 7077 HAS SOUPS 7077 WITH SCORE 7084.077
AT ITER 6 NEW BEST:: SOT 12182 SOS 6936 HAS SOPS 6936 HAS SOUS 6936 HAS SOUPS 6936 WITH SCORE 6942.936
AT ITER 10 NEW BEST:: SOT 12092 SOS 6801 HAS SOPS 6801 HAS SOUS 6801 HAS SOUPS 6801 WITH SCORE 6807.801
AT ITER 15 NEW BEST:: SOT 11956 SOS 6645 HAS SOPS 6645 HAS SOUS 6645 HAS SOUPS 6645 WITH SCORE 6651.645
AT ITER 16 NEW BEST:: SOT 11864 SOS 6507 HAS SOPS 6507 HAS SOUS 6507 HAS SOUPS 6507 WITH SCORE 6513.507
AT ITER 17 NEW BEST:: SOT 11859 SOS 6506 HAS SOPS 6506 HAS SOUS 6506 HAS SOUPS 6506 WITH SCORE 6512.506
AT ITER 21 NEW BEST:: SOT 11827 SOS 6458 HAS SOPS 6458 HAS SOUS 6458 HAS SOUPS 6458 WITH SCORE 6464.458
AT ITER 22 NEW BEST:: SOT 11755 SOS 6350 HAS SOPS 6350 HAS SOUS 6350 HAS SOUPS 6350 WITH SCORE 6356.35
AT ITER 23 NEW BEST:: SOT 11669 SOS 6221 HAS SOPS 6221 HAS SOUS 6221 HAS SOUPS 6221 WITH SCORE 6227.221
AT ITER 26 NEW BEST:: SOT 11641 SOS 6189 HAS SOPS 6189 HAS SOUS 6189 HAS SOUPS 6189 WITH SCORE 6195.189
AT ITER 28 NEW BEST:: SOT 11560 SOS 6142 HAS SOPS 6142 HAS SOUS 6125 HAS SOUPS 6125 WITH SCORE 6131.142
AT ITER 31 NEW BEST:: SOT 11498 SOS 6079 HAS SOPS 6079 HAS SOUS 6050 HAS SOUPS 6050 WITH SCORE 6056.079
AT ITER 40 NEW BEST:: SOT 11394 SOS 6021 HAS SOPS 6021 HAS SOUS 5949 HAS SOUPS 5949 WITH SCORE 5955.021
AT ITER 42 NEW BEST:: SOT 11353 SOS 5969 HAS SOPS 5969 HAS SOUS 5897 HAS SOUPS 5897 WITH SCORE 5902.969
AT ITER 43 NEW BEST:: SOT 11313 SOS 5996 HAS SOPS 5996 HAS SOUS 5811 HAS SOUPS 5811 WITH SCORE 5816.996
AT ITER 45 NEW BEST:: SOT 11285 SOS 5968 HAS SOPS 5968 HAS SOUS 5783 HAS SOUPS 5783 WITH SCORE 5788.968
AT ITER 52 NEW BEST:: SOT 11258 SOS 5938 HAS SOPS 5938 HAS SOUS 5753 HAS SOUPS 5753 WITH SCORE 5758.938
AT ITER 53 NEW BEST:: SOT 11205 SOS 5892 HAS SOPS 5892 HAS SOUS 5696 HAS SOUPS 5696 WITH SCORE 5701.892
AT ITER 55 NEW BEST:: SOT 11107 SOS 5753 HAS SOPS 5753 HAS SOUS 5557 HAS SOUPS 5557 WITH SCORE 5562.753
AT ITER 57 NEW BEST:: SOT 10964 SOS 5561 HAS SOPS 5561 HAS SOUS 5365 HAS SOUPS 5365 WITH SCORE 5370.561
AT ITER 59 NEW BEST:: SOT 10964 SOS 5561 HAS SOPS 5561 HAS SOUS 5320 HAS SOUPS 5320 WITH SCORE 5325.561
AT ITER 61 NEW BEST:: SOT 10945 SOS 5543 HAS SOPS 5543 HAS SOUS 5302 HAS SOUPS 5302 WITH SCORE 5307.543
AT ITER 62 NEW BEST:: SOT 10893 SOS 5485 HAS SOPS 5485 HAS SOUS 5244 HAS SOUPS 5244 WITH SCORE 5249.485
AT ITER 63 NEW BEST:: SOT 10891 SOS 5481 HAS SOPS 5481 HAS SOUS 5240 HAS SOUPS 5240 WITH SCORE 5245.481
AT ITER 65 NEW BEST:: SOT 10826 SOS 5395 HAS SOPS 5395 HAS SOUS 5154 HAS SOUPS 5154 WITH SCORE 5159.395
AT ITER 66 NEW BEST:: SOT 10777 SOS 5343 HAS SOPS 5343 HAS SOUS 5102 HAS SOUPS 5102 WITH SCORE 5107.343
AT ITER 67 NEW BEST:: SOT 10766 SOS 5321 HAS SOPS 5321 HAS SOUS 5080 HAS SOUPS 5080 WITH SCORE 5085.321
AT ITER 68 NEW BEST:: SOT 10761 SOS 5316 HAS SOPS 5316 HAS SOUS 5075 HAS SOUPS 5075 WITH SCORE 5080.316
AT ITER 70 NEW BEST:: SOT 10679 SOS 5193 HAS SOPS 5193 HAS SOUS 4952 HAS SOUPS 4952 WITH SCORE 4957.193
AT ITER 71 NEW BEST:: SOT 10678 SOS 5191 HAS SOPS 5191 HAS SOUS 4950 HAS SOUPS 4950 WITH SCORE 4955.191
AT ITER 72 NEW BEST:: SOT 10581 SOS 5113 HAS SOPS 5113 HAS SOUS 4845 HAS SOUPS 4845 WITH SCORE 4850.113
AT ITER 74 NEW BEST:: SOT 10552 SOS 5078 HAS SOPS 5078 HAS SOUS 4810 HAS SOUPS 4810 WITH SCORE 4815.078
AT ITER 76 NEW BEST:: SOT 10552 SOS 5046 HAS SOPS 5046 HAS SOUS 4806 HAS SOUPS 4806 WITH SCORE 4811.046
AT ITER 77 NEW BEST:: SOT 10553 SOS 4973 HAS SOPS 4973 HAS SOUS 4733 HAS SOUPS 4733 WITH SCORE 4737.973
AT ITER 78 NEW BEST:: SOT 10520 SOS 4940 HAS SOPS 4940 HAS SOUS 4700 HAS SOUPS 4700 WITH SCORE 4704.94
AT ITER 79 NEW BEST:: SOT 10422 SOS 4744 HAS SOPS 4744 HAS SOUS 4623 HAS SOUPS 4623 WITH SCORE 4627.744
AT ITER 80 NEW BEST:: SOT 10401 SOS 4702 HAS SOPS 4702 HAS SOUS 4581 HAS SOUPS 4581 WITH SCORE 4585.702
AT ITER 86 NEW BEST:: SOT 10319 SOS 4607 HAS SOPS 4607 HAS SOUS 4486 HAS SOUPS 4486 WITH SCORE 4490.607
AT ITER 93 NEW BEST:: SOT 10315 SOS 4599 HAS SOPS 4599 HAS SOUS 4478 HAS SOUPS 4478 WITH SCORE 4482.599
AT ITER 94 NEW BEST:: SOT 10307 SOS 4587 HAS SOPS 4587 HAS SOUS 4466 HAS SOUPS 4466 WITH SCORE 4470.587
AT ITER 96 NEW BEST:: SOT 10317 SOS 4607 HAS SOPS 4607 HAS SOUS 4454 HAS SOUPS 4454 WITH SCORE 4458.607
AT ITER 99 NEW BEST:: SOT 10305 SOS 4583 HAS SOPS 4583 HAS SOUS 4430 HAS SOUPS 4430 WITH SCORE 4434.583
AT ITER 105 NEW BEST:: SOT 10305 SOS 4580 HAS SOPS 4580 HAS SOUS 4429 HAS SOUPS 4429 WITH SCORE 4433.58
AT ITER 107 NEW BEST:: SOT 10215 SOS 4494 HAS SOPS 4494 HAS SOUS 4335 HAS SOUPS 4335 WITH SCORE 4339.494
AT ITER 108 NEW BEST:: SOT 10177 SOS 4499 HAS SOPS 4499 HAS SOUS 4299 HAS SOUPS 4299 WITH SCORE 4303.499
AT ITER 111 NEW BEST:: SOT 10116 SOS 4430 HAS SOPS 4430 HAS SOUS 4230 HAS SOUPS 4230 WITH SCORE 4234.43
AT ITER 114 NEW BEST:: SOT 10064 SOS 4352 HAS SOPS 4352 HAS SOUS 4152 HAS SOUPS 4152 WITH SCORE 4156.352
AT ITER 115 NEW BEST:: SOT 10012 SOS 4274 HAS SOPS 4274 HAS SOUS 4074 HAS SOUPS 4074 WITH SCORE 4078.274
AT ITER 116 NEW BEST:: SOT 9989 SOS 4258 HAS SOPS 4258 HAS SOUS 4058 HAS SOUPS 4058 WITH SCORE 4062.258
AT ITER 117 NEW BEST:: SOT 9989 SOS 4258 HAS SOPS 4258 HAS SOUS 4048 HAS SOUPS 4048 WITH SCORE 4052.258
AT ITER 118 NEW BEST:: SOT 9988 SOS 4256 HAS SOPS 4256 HAS SOUS 4046 HAS SOUPS 4046 WITH SCORE 4050.256
AT ITER 119 NEW BEST:: SOT 9992 SOS 4201 HAS SOPS 4201 HAS SOUS 4000 HAS SOUPS 4000 WITH SCORE 4004.201
AT ITER 123 NEW BEST:: SOT 9969 SOS 4155 HAS SOPS 4155 HAS SOUS 3954 HAS SOUPS 3954 WITH SCORE 3958.155
AT ITER 127 NEW BEST:: SOT 9958 SOS 4133 HAS SOPS 4133 HAS SOUS 3932 HAS SOUPS 3932 WITH SCORE 3936.133
AT ITER 131 NEW BEST:: SOT 9909 SOS 4096 HAS SOPS 4096 HAS SOUS 3883 HAS SOUPS 3883 WITH SCORE 3887.096
AT ITER 133 NEW BEST:: SOT 9903 SOS 4084 HAS SOPS 4084 HAS SOUS 3871 HAS SOUPS 3871 WITH SCORE 3875.084
AT ITER 142 NEW BEST:: SOT 9831 SOS 3940 HAS SOPS 3940 HAS SOUS 3817 HAS SOUPS 3817 WITH SCORE 3820.94
AT ITER 149 NEW BEST:: SOT 9819 SOS 3937 HAS SOPS 3937 HAS SOUS 3814 HAS SOUPS 3814 WITH SCORE 3817.937
AT ITER 152 NEW BEST:: SOT 9782 SOS 3863 HAS SOPS 3863 HAS SOUS 3740 HAS SOUPS 3740 WITH SCORE 3743.863
AT ITER 156 NEW BEST:: SOT 9754 SOS 3893 HAS SOPS 3893 HAS SOUS 3696 HAS SOUPS 3696 WITH SCORE 3699.893
AT ITER 163 NEW BEST:: SOT 9743 SOS 3871 HAS SOPS 3871 HAS SOUS 3677 HAS SOUPS 3677 WITH SCORE 3680.871
AT ITER 171 NEW BEST:: SOT 9748 SOS 3869 HAS SOPS 3869 HAS SOUS 3675 HAS SOUPS 3675 WITH SCORE 3678.869
AT ITER 172 NEW BEST:: SOT 9728 SOS 3829 HAS SOPS 3829 HAS SOUS 3635 HAS SOUPS 3635 WITH SCORE 3638.829
AT ITER 173 NEW BEST:: SOT 9699 SOS 3771 HAS SOPS 3771 HAS SOUS 3592 HAS SOUPS 3592 WITH SCORE 3595.771
AT ITER 174 NEW BEST:: SOT 9692 SOS 3757 HAS SOPS 3757 HAS SOUS 3578 HAS SOUPS 3578 WITH SCORE 3581.757
AT ITER 182 NEW BEST:: SOT 9692 SOS 3754 HAS SOPS 3754 HAS SOUS 3575 HAS SOUPS 3575 WITH SCORE 3578.754
AT ITER 187 NEW BEST:: SOT 9680 SOS 3714 HAS SOPS 3714 HAS SOUS 3547 HAS SOUPS 3547 WITH SCORE 3550.714
AT ITER 191 NEW BEST:: SOT 9675 SOS 3726 HAS SOPS 3726 HAS SOUS 3542 HAS SOUPS 3542 WITH SCORE 3545.726
AT ITER 192 NEW BEST:: SOT 9670 SOS 3716 HAS SOPS 3716 HAS SOUS 3532 HAS SOUPS 3532 WITH SCORE 3535.716
AT ITER 196 NEW BEST:: SOT 9638 SOS 3684 HAS SOPS 3684 HAS SOUS 3500 HAS SOUPS 3500 WITH SCORE 3503.684
AT ITER 204 NEW BEST:: SOT 9635 SOS 3705 HAS SOPS 3705 HAS SOUS 3497 HAS SOUPS 3497 WITH SCORE 3500.705
AT ITER 208 NEW BEST:: SOT 9633 SOS 3701 HAS SOPS 3701 HAS SOUS 3493 HAS SOUPS 3493 WITH SCORE 3496.701
AT ITER 228 NEW BEST:: SOT 9604 SOS 3667 HAS SOPS 3667 HAS SOUS 3459 HAS SOUPS 3459 WITH SCORE 3462.667
AT ITER 229 NEW BEST:: SOT 9591 SOS 3654 HAS SOPS 3654 HAS SOUS 3433 HAS SOUPS 3433 WITH SCORE 3436.654
AT ITER 232 NEW BEST:: SOT 9591 SOS 3641 HAS SOPS 3641 HAS SOUS 3433 HAS SOUPS 3433 WITH SCORE 3436.641
AT ITER 233 NEW BEST:: SOT 9590 SOS 3712 HAS SOPS 3712 HAS SOUS 3432 HAS SOUPS 3432 WITH SCORE 3435.712
AT ITER 234 NEW BEST:: SOT 9537 SOS 3606 HAS SOPS 3606 HAS SOUS 3328 HAS SOUPS 3328 WITH SCORE 3331.606
AT ITER 235 NEW BEST:: SOT 9488 SOS 3584 HAS SOPS 3584 HAS SOUS 3306 HAS SOUPS 3306 WITH SCORE 3309.584
AT ITER 236 NEW BEST:: SOT 9450 SOS 3536 HAS SOPS 3536 HAS SOUS 3258 HAS SOUPS 3258 WITH SCORE 3261.536
AT ITER 240 NEW BEST:: SOT 9426 SOS 3488 HAS SOPS 3488 HAS SOUS 3185 HAS SOUPS 3185 WITH SCORE 3188.488
AT ITER 245 NEW BEST:: SOT 9409 SOS 3454 HAS SOPS 3454 HAS SOUS 3151 HAS SOUPS 3151 WITH SCORE 3154.454
AT ITER 248 NEW BEST:: SOT 9382 SOS 3345 HAS SOPS 3345 HAS SOUS 3079 HAS SOUPS 3079 WITH SCORE 3082.345
AT ITER 257 NEW BEST:: SOT 9374 SOS 3329 HAS SOPS 3329 HAS SOUS 3063 HAS SOUPS 3063 WITH SCORE 3066.329
AT ITER 258 NEW BEST:: SOT 9331 SOS 3303 HAS SOPS 3303 HAS SOUS 3026 HAS SOUPS 3026 WITH SCORE 3029.303
AT ITER 259 NEW BEST:: SOT 9331 SOS 3283 HAS SOPS 3283 HAS SOUS 3026 HAS SOUPS 3026 WITH SCORE 3029.283
AT ITER 260 NEW BEST:: SOT 9323 SOS 3273 HAS SOPS 3273 HAS SOUS 3016 HAS SOUPS 3016 WITH SCORE 3019.273
AT ITER 262 NEW BEST:: SOT 9302 SOS 3231 HAS SOPS 3231 HAS SOUS 2995 HAS SOUPS 2995 WITH SCORE 2998.231
AT ITER 264 NEW BEST:: SOT 9295 SOS 3217 HAS SOPS 3217 HAS SOUS 2981 HAS SOUPS 2981 WITH SCORE 2984.217
AT ITER 266 NEW BEST:: SOT 9284 SOS 3139 HAS SOPS 3139 HAS SOUS 2914 HAS SOUPS 2914 WITH SCORE 2917.139
AT ITER 273 NEW BEST:: SOT 9266 SOS 3103 HAS SOPS 3103 HAS SOUS 2878 HAS SOUPS 2878 WITH SCORE 2881.103
AT ITER 274 NEW BEST:: SOT 9242 SOS 3055 HAS SOPS 3055 HAS SOUS 2830 HAS SOUPS 2830 WITH SCORE 2833.055
AT ITER 281 NEW BEST:: SOT 9193 SOS 3038 HAS SOPS 3038 HAS SOUS 2791 HAS SOUPS 2791 WITH SCORE 2794.038
AT ITER 286 NEW BEST:: SOT 9191 SOS 3034 HAS SOPS 3034 HAS SOUS 2787 HAS SOUPS 2787 WITH SCORE 2790.034
AT ITER 288 NEW BEST:: SOT 9191 SOS 2996 HAS SOPS 2996 HAS SOUS 2787 HAS SOUPS 2787 WITH SCORE 2789.996
AT ITER 293 NEW BEST:: SOT 9188 SOS 2990 HAS SOPS 2990 HAS SOUS 2781 HAS SOUPS 2781 WITH SCORE 2783.99
AT ITER 296 NEW BEST:: SOT 9164 SOS 2997 HAS SOPS 2997 HAS SOUS 2742 HAS SOUPS 2742 WITH SCORE 2744.997
AT ITER 297 NEW BEST:: SOT 9151 SOS 2971 HAS SOPS 2971 HAS SOUS 2729 HAS SOUPS 2729 WITH SCORE 2731.971
AT ITER 305 NEW BEST:: SOT 9146 SOS 3057 HAS SOPS 3057 HAS SOUS 2723 HAS SOUPS 2723 WITH SCORE 2726.057
AT ITER 310 NEW BEST:: SOT 9141 SOS 3047 HAS SOPS 3047 HAS SOUS 2718 HAS SOUPS 2718 WITH SCORE 2721.047
AT ITER 320 NEW BEST:: SOT 9134 SOS 3033 HAS SOPS 3033 HAS SOUS 2675 HAS SOUPS 2675 WITH SCORE 2678.033
AT ITER 321 NEW BEST:: SOT 9118 SOS 3011 HAS SOPS 3011 HAS SOUS 2653 HAS SOUPS 2653 WITH SCORE 2656.011
AT ITER 323 NEW BEST:: SOT 9105 SOS 3004 HAS SOPS 3004 HAS SOUS 2646 HAS SOUPS 2646 WITH SCORE 2649.004
AT ITER 330 NEW BEST:: SOT 9105 SOS 2998 HAS SOPS 2998 HAS SOUS 2640 HAS SOUPS 2640 WITH SCORE 2642.998
AT ITER 333 NEW BEST:: SOT 9102 SOS 3006 HAS SOPS 3006 HAS SOUS 2636 HAS SOUPS 2636 WITH SCORE 2639.006
AT ITER 336 NEW BEST:: SOT 9102 SOS 2986 HAS SOPS 2986 HAS SOUS 2636 HAS SOUPS 2636 WITH SCORE 2638.986
AT ITER 337 NEW BEST:: SOT 9058 SOS 2898 HAS SOPS 2898 HAS SOUS 2592 HAS SOUPS 2592 WITH SCORE 2594.898
AT ITER 353 NEW BEST:: SOT 9019 SOS 2897 HAS SOPS 2897 HAS SOUS 2588 HAS SOUPS 2588 WITH SCORE 2590.897
AT ITER 365 NEW BEST:: SOT 9010 SOS 2879 HAS SOPS 2879 HAS SOUS 2570 HAS SOUPS 2570 WITH SCORE 2572.879
AT ITER 367 NEW BEST:: SOT 9006 SOS 2871 HAS SOPS 2871 HAS SOUS 2566 HAS SOUPS 2566 WITH SCORE 2568.871
AT ITER 369 NEW BEST:: SOT 8998 SOS 2855 HAS SOPS 2855 HAS SOUS 2550 HAS SOUPS 2550 WITH SCORE 2552.855
AT ITER 371 NEW BEST:: SOT 8952 SOS 2789 HAS SOPS 2789 HAS SOUS 2484 HAS SOUPS 2484 WITH SCORE 2486.789
AT ITER 398 NEW BEST:: SOT 8943 SOS 2780 HAS SOPS 2780 HAS SOUS 2475 HAS SOUPS 2475 WITH SCORE 2477.78
AT ITER 402 NEW BEST:: SOT 8930 SOS 2754 HAS SOPS 2754 HAS SOUS 2452 HAS SOUPS 2452 WITH SCORE 2454.754
AT ITER 410 NEW BEST:: SOT 8927 SOS 2748 HAS SOPS 2748 HAS SOUS 2449 HAS SOUPS 2449 WITH SCORE 2451.748
AT ITER 415 NEW BEST:: SOT 8955 SOS 2804 HAS SOPS 2804 HAS SOUS 2444 HAS SOUPS 2444 WITH SCORE 2446.804
AT ITER 424 NEW BEST:: SOT 8934 SOS 2810 HAS SOPS 2810 HAS SOUS 2437 HAS SOUPS 2437 WITH SCORE 2439.81
AT ITER 431 NEW BEST:: SOT 8920 SOS 2794 HAS SOPS 2794 HAS SOUS 2421 HAS SOUPS 2421 WITH SCORE 2423.794
AT ITER 441 NEW BEST:: SOT 8909 SOS 2680 HAS SOPS 2680 HAS SOUS 2410 HAS SOUPS 2410 WITH SCORE 2412.68
AT ITER 443 NEW BEST:: SOT 8884 SOS 2630 HAS SOPS 2630 HAS SOUS 2363 HAS SOUPS 2363 WITH SCORE 2365.63
AT ITER 446 NEW BEST:: SOT 8881 SOS 2624 HAS SOPS 2624 HAS SOUS 2357 HAS SOUPS 2357 WITH SCORE 2359.624
AT ITER 457 NEW BEST:: SOT 8872 SOS 2606 HAS SOPS 2606 HAS SOUS 2339 HAS SOUPS 2339 WITH SCORE 2341.606
AT ITER 466 NEW BEST:: SOT 8872 SOS 2603 HAS SOPS 2603 HAS SOUS 2339 HAS SOUPS 2339 WITH SCORE 2341.603
AT ITER 469 NEW BEST:: SOT 8842 SOS 2543 HAS SOPS 2543 HAS SOUS 2269 HAS SOUPS 2269 WITH SCORE 2271.543
AT ITER 472 NEW BEST:: SOT 8834 SOS 2519 HAS SOPS 2519 HAS SOUS 2261 HAS SOUPS 2261 WITH SCORE 2263.519
AT ITER 476 NEW BEST:: SOT 8825 SOS 2501 HAS SOPS 2501 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2245.501
AT ITER 482 NEW BEST:: SOT 8817 SOS 2493 HAS SOPS 2493 HAS SOUS 2235 HAS SOUPS 2235 WITH SCORE 2237.493
AT ITER 483 NEW BEST:: SOT 8817 SOS 2492 HAS SOPS 2492 HAS SOUS 2235 HAS SOUPS 2235 WITH SCORE 2237.492
AT ITER 485 NEW BEST:: SOT 8812 SOS 2482 HAS SOPS 2482 HAS SOUS 2222 HAS SOUPS 2222 WITH SCORE 2224.482
AT ITER 492 NEW BEST:: SOT 8812 SOS 2482 HAS SOPS 2482 HAS SOUS 2216 HAS SOUPS 2216 WITH SCORE 2218.482
AT ITER 498 NEW BEST:: SOT 8790 SOS 2483 HAS SOPS 2483 HAS SOUS 2194 HAS SOUPS 2194 WITH SCORE 2196.483
AT ITER 511 NEW BEST:: SOT 8789 SOS 2482 HAS SOPS 2482 HAS SOUS 2193 HAS SOUPS 2193 WITH SCORE 2195.482
AT ITER 512 NEW BEST:: SOT 8807 SOS 2449 HAS SOPS 2449 HAS SOUS 2172 HAS SOUPS 2172 WITH SCORE 2174.449
AT ITER 513 NEW BEST:: SOT 8805 SOS 2445 HAS SOPS 2445 HAS SOUS 2169 HAS SOUPS 2169 WITH SCORE 2171.445
AT ITER 515 NEW BEST:: SOT 8787 SOS 2418 HAS SOPS 2418 HAS SOUS 2142 HAS SOUPS 2142 WITH SCORE 2144.418
AT ITER 519 NEW BEST:: SOT 8775 SOS 2394 HAS SOPS 2394 HAS SOUS 2119 HAS SOUPS 2119 WITH SCORE 2121.394
AT ITER 528 NEW BEST:: SOT 8761 SOS 2366 HAS SOPS 2366 HAS SOUS 2084 HAS SOUPS 2084 WITH SCORE 2086.366
AT ITER 529 NEW BEST:: SOT 8748 SOS 2340 HAS SOPS 2340 HAS SOUS 2061 HAS SOUPS 2061 WITH SCORE 2063.34
AT ITER 555 NEW BEST:: SOT 8737 SOS 2329 HAS SOPS 2329 HAS SOUS 2050 HAS SOUPS 2050 WITH SCORE 2052.329
AT ITER 557 NEW BEST:: SOT 8731 SOS 2317 HAS SOPS 2317 HAS SOUS 2044 HAS SOUPS 2044 WITH SCORE 2046.317
AT ITER 562 NEW BEST:: SOT 8714 SOS 2283 HAS SOPS 2283 HAS SOUS 2027 HAS SOUPS 2027 WITH SCORE 2029.283
AT ITER 564 NEW BEST:: SOT 8712 SOS 2279 HAS SOPS 2279 HAS SOUS 2025 HAS SOUPS 2025 WITH SCORE 2027.279
AT ITER 568 NEW BEST:: SOT 8723 SOS 2244 HAS SOPS 2244 HAS SOUS 2016 HAS SOUPS 2016 WITH SCORE 2018.244
AT ITER 569 NEW BEST:: SOT 8715 SOS 2228 HAS SOPS 2228 HAS SOUS 2000 HAS SOUPS 2000 WITH SCORE 2002.228
AT ITER 575 NEW BEST:: SOT 8710 SOS 2218 HAS SOPS 2218 HAS SOUS 1989 HAS SOUPS 1989 WITH SCORE 1991.218
AT ITER 576 NEW BEST:: SOT 8710 SOS 2218 HAS SOPS 2218 HAS SOUS 1986 HAS SOUPS 1986 WITH SCORE 1988.218
AT ITER 578 NEW BEST:: SOT 8710 SOS 2218 HAS SOPS 2218 HAS SOUS 1983 HAS SOUPS 1983 WITH SCORE 1985.218
AT ITER 596 NEW BEST:: SOT 8699 SOS 2211 HAS SOPS 2211 HAS SOUS 1970 HAS SOUPS 1970 WITH SCORE 1972.211
AT ITER 604 NEW BEST:: SOT 8693 SOS 2205 HAS SOPS 2205 HAS SOUS 1964 HAS SOUPS 1964 WITH SCORE 1966.205
AT ITER 605 NEW BEST:: SOT 8692 SOS 2203 HAS SOPS 2203 HAS SOUS 1959 HAS SOUPS 1959 WITH SCORE 1961.203
AT ITER 613 NEW BEST:: SOT 8659 SOS 2191 HAS SOPS 2191 HAS SOUS 1913 HAS SOUPS 1913 WITH SCORE 1915.191
AT ITER 617 NEW BEST:: SOT 8641 SOS 2155 HAS SOPS 2155 HAS SOUS 1894 HAS SOUPS 1894 WITH SCORE 1896.155
AT ITER 620 NEW BEST:: SOT 8639 SOS 2151 HAS SOPS 2151 HAS SOUS 1892 HAS SOUPS 1892 WITH SCORE 1894.151
AT ITER 632 NEW BEST:: SOT 8629 SOS 2116 HAS SOPS 2116 HAS SOUS 1869 HAS SOUPS 1869 WITH SCORE 1871.116
AT ITER 640 NEW BEST:: SOT 8584 SOS 1981 HAS SOPS 1981 HAS SOUS 1779 HAS SOUPS 1779 WITH SCORE 1780.981
AT ITER 668 NEW BEST:: SOT 8580 SOS 1977 HAS SOPS 1977 HAS SOUS 1775 HAS SOUPS 1775 WITH SCORE 1776.977
AT ITER 674 NEW BEST:: SOT 8576 SOS 1954 HAS SOPS 1954 HAS SOUS 1759 HAS SOUPS 1759 WITH SCORE 1760.954
AT ITER 679 NEW BEST:: SOT 8573 SOS 1948 HAS SOPS 1948 HAS SOUS 1753 HAS SOUPS 1753 WITH SCORE 1754.948
AT ITER 683 NEW BEST:: SOT 8556 SOS 1942 HAS SOPS 1942 HAS SOUS 1747 HAS SOUPS 1747 WITH SCORE 1748.942
AT ITER 691 NEW BEST:: SOT 8552 SOS 1943 HAS SOPS 1943 HAS SOUS 1740 HAS SOUPS 1740 WITH SCORE 1741.943
AT ITER 693 NEW BEST:: SOT 8529 SOS 1920 HAS SOPS 1920 HAS SOUS 1716 HAS SOUPS 1716 WITH SCORE 1717.92
AT ITER 705 NEW BEST:: SOT 8517 SOS 1884 HAS SOPS 1884 HAS SOUS 1704 HAS SOUPS 1704 WITH SCORE 1705.884
AT ITER 711 NEW BEST:: SOT 8500 SOS 1850 HAS SOPS 1850 HAS SOUS 1674 HAS SOUPS 1674 WITH SCORE 1675.85
AT ITER 712 NEW BEST:: SOT 8493 SOS 1836 HAS SOPS 1836 HAS SOUS 1667 HAS SOUPS 1667 WITH SCORE 1668.836
AT ITER 713 NEW BEST:: SOT 8480 SOS 1810 HAS SOPS 1810 HAS SOUS 1641 HAS SOUPS 1641 WITH SCORE 1642.81
AT ITER 717 NEW BEST:: SOT 8477 SOS 1804 HAS SOPS 1804 HAS SOUS 1635 HAS SOUPS 1635 WITH SCORE 1636.804
AT ITER 723 NEW BEST:: SOT 8458 SOS 1766 HAS SOPS 1766 HAS SOUS 1614 HAS SOUPS 1614 WITH SCORE 1615.766
AT ITER 734 NEW BEST:: SOT 8443 SOS 1736 HAS SOPS 1736 HAS SOUS 1599 HAS SOUPS 1599 WITH SCORE 1600.736
AT ITER 745 NEW BEST:: SOT 8430 SOS 1710 HAS SOPS 1710 HAS SOUS 1568 HAS SOUPS 1568 WITH SCORE 1569.71
AT ITER 757 NEW BEST:: SOT 8430 SOS 1705 HAS SOPS 1705 HAS SOUS 1567 HAS SOUPS 1567 WITH SCORE 1568.705
AT ITER 760 NEW BEST:: SOT 8429 SOS 1703 HAS SOPS 1703 HAS SOUS 1566 HAS SOUPS 1566 WITH SCORE 1567.703
AT ITER 762 NEW BEST:: SOT 8429 SOS 1703 HAS SOPS 1703 HAS SOUS 1554 HAS SOUPS 1554 WITH SCORE 1555.703
AT ITER 763 NEW BEST:: SOT 8427 SOS 1699 HAS SOPS 1699 HAS SOUS 1548 HAS SOUPS 1548 WITH SCORE 1549.699
AT ITER 766 NEW BEST:: SOT 8421 SOS 1687 HAS SOPS 1687 HAS SOUS 1536 HAS SOUPS 1536 WITH SCORE 1537.687
AT ITER 769 NEW BEST:: SOT 8421 SOS 1671 HAS SOPS 1671 HAS SOUS 1520 HAS SOUPS 1520 WITH SCORE 1521.671
AT ITER 788 NEW BEST:: SOT 8421 SOS 1664 HAS SOPS 1664 HAS SOUS 1519 HAS SOUPS 1519 WITH SCORE 1520.664
AT ITER 813 NEW BEST:: SOT 8417 SOS 1656 HAS SOPS 1656 HAS SOUS 1511 HAS SOUPS 1511 WITH SCORE 1512.656
AT ITER 824 NEW BEST:: SOT 8406 SOS 1622 HAS SOPS 1622 HAS SOUS 1488 HAS SOUPS 1488 WITH SCORE 1489.622
AT ITER 842 NEW BEST:: SOT 8406 SOS 1613 HAS SOPS 1613 HAS SOUS 1488 HAS SOUPS 1488 WITH SCORE 1489.613
AT ITER 883 NEW BEST:: SOT 8406 SOS 1603 HAS SOPS 1603 HAS SOUS 1488 HAS SOUPS 1488 WITH SCORE 1489.603
AT ITER 889 NEW BEST:: SOT 8395 SOS 1581 HAS SOPS 1581 HAS SOUS 1471 HAS SOUPS 1471 WITH SCORE 1472.581
AT ITER 909 NEW BEST:: SOT 8392 SOS 1580 HAS SOPS 1580 HAS SOUS 1470 HAS SOUPS 1470 WITH SCORE 1471.58
AT ITER 912 NEW BEST:: SOT 8396 SOS 1576 HAS SOPS 1576 HAS SOUS 1466 HAS SOUPS 1466 WITH SCORE 1467.576
AT ITER 943 NEW BEST:: SOT 8401 SOS 1572 HAS SOPS 1572 HAS SOUS 1462 HAS SOUPS 1462 WITH SCORE 1463.572
AT ITER 953 NEW BEST:: SOT 8397 SOS 1600 HAS SOPS 1600 HAS SOUS 1458 HAS SOUPS 1458 WITH SCORE 1459.6
AT ITER 956 NEW BEST:: SOT 8389 SOS 1565 HAS SOPS 1565 HAS SOUS 1446 HAS SOUPS 1446 WITH SCORE 1447.565
AT ITER 971 NEW BEST:: SOT 8389 SOS 1564 HAS SOPS 1564 HAS SOUS 1446 HAS SOUPS 1446 WITH SCORE 1447.564
AT ITER 975 NEW BEST:: SOT 8380 SOS 1546 HAS SOPS 1546 HAS SOUS 1437 HAS SOUPS 1437 WITH SCORE 1438.546
AT ITER 1014 NEW BEST:: SOT 8381 SOS 1548 HAS SOPS 1548 HAS SOUS 1431 HAS SOUPS 1431 WITH SCORE 1432.548
AT ITER 1019 NEW BEST:: SOT 8370 SOS 1552 HAS SOPS 1552 HAS SOUS 1417 HAS SOUPS 1417 WITH SCORE 1418.552
AT ITER 1030 NEW BEST:: SOT 8366 SOS 1540 HAS SOPS 1540 HAS SOUS 1409 HAS SOUPS 1409 WITH SCORE 1410.54
AT ITER 1035 NEW BEST:: SOT 8366 SOS 1533 HAS SOPS 1533 HAS SOUS 1409 HAS SOUPS 1409 WITH SCORE 1410.533
AT ITER 1039 NEW BEST:: SOT 8367 SOS 1532 HAS SOPS 1532 HAS SOUS 1408 HAS SOUPS 1408 WITH SCORE 1409.532
AT ITER 1051 NEW BEST:: SOT 8365 SOS 1528 HAS SOPS 1528 HAS SOUS 1405 HAS SOUPS 1405 WITH SCORE 1406.528
AT ITER 1069 NEW BEST:: SOT 8364 SOS 1526 HAS SOPS 1526 HAS SOUS 1403 HAS SOUPS 1403 WITH SCORE 1404.526
AT ITER 1075 NEW BEST:: SOT 8364 SOS 1526 HAS SOPS 1526 HAS SOUS 1400 HAS SOUPS 1400 WITH SCORE 1401.526
AT ITER 1076 NEW BEST:: SOT 8364 SOS 1526 HAS SOPS 1526 HAS SOUS 1397 HAS SOUPS 1397 WITH SCORE 1398.526
AT ITER 1078 NEW BEST:: SOT 8341 SOS 1505 HAS SOPS 1505 HAS SOUS 1374 HAS SOUPS 1374 WITH SCORE 1375.505
AT ITER 1089 NEW BEST:: SOT 8344 SOS 1511 HAS SOPS 1511 HAS SOUS 1370 HAS SOUPS 1370 WITH SCORE 1371.511
AT ITER 1090 NEW BEST:: SOT 8339 SOS 1529 HAS SOPS 1529 HAS SOUS 1365 HAS SOUPS 1365 WITH SCORE 1366.529
AT ITER 1112 NEW BEST:: SOT 8336 SOS 1523 HAS SOPS 1523 HAS SOUS 1357 HAS SOUPS 1357 WITH SCORE 1358.523
AT ITER 1122 NEW BEST:: SOT 8333 SOS 1520 HAS SOPS 1520 HAS SOUS 1354 HAS SOUPS 1354 WITH SCORE 1355.52
AT ITER 1136 NEW BEST:: SOT 8333 SOS 1504 HAS SOPS 1504 HAS SOUS 1338 HAS SOUPS 1338 WITH SCORE 1339.504
AT ITER 1188 NEW BEST:: SOT 8333 SOS 1502 HAS SOPS 1502 HAS SOUS 1336 HAS SOUPS 1336 WITH SCORE 1337.502
AT ITER 1205 NEW BEST:: SOT 8331 SOS 1498 HAS SOPS 1498 HAS SOUS 1334 HAS SOUPS 1334 WITH SCORE 1335.498
AT ITER 1206 NEW BEST:: SOT 8304 SOS 1444 HAS SOPS 1444 HAS SOUS 1302 HAS SOUPS 1302 WITH SCORE 1303.444
AT ITER 1217 NEW BEST:: SOT 8291 SOS 1418 HAS SOPS 1418 HAS SOUS 1284 HAS SOUPS 1284 WITH SCORE 1285.418
AT ITER 1229 NEW BEST:: SOT 8282 SOS 1409 HAS SOPS 1409 HAS SOUS 1275 HAS SOUPS 1275 WITH SCORE 1276.409
AT ITER 1255 NEW BEST:: SOT 8281 SOS 1407 HAS SOPS 1407 HAS SOUS 1274 HAS SOUPS 1274 WITH SCORE 1275.407
AT ITER 1265 NEW BEST:: SOT 8277 SOS 1399 HAS SOPS 1399 HAS SOUS 1266 HAS SOUPS 1266 WITH SCORE 1267.399
AT ITER 1268 NEW BEST:: SOT 8269 SOS 1410 HAS SOPS 1410 HAS SOUS 1255 HAS SOUPS 1255 WITH SCORE 1256.41
AT ITER 1273 NEW BEST:: SOT 8262 SOS 1396 HAS SOPS 1396 HAS SOUS 1246 HAS SOUPS 1246 WITH SCORE 1247.396
AT ITER 1279 NEW BEST:: SOT 8262 SOS 1392 HAS SOPS 1392 HAS SOUS 1246 HAS SOUPS 1246 WITH SCORE 1247.392
AT ITER 1297 NEW BEST:: SOT 8257 SOS 1382 HAS SOPS 1382 HAS SOUS 1239 HAS SOUPS 1239 WITH SCORE 1240.382
AT ITER 1298 NEW BEST:: SOT 8243 SOS 1390 HAS SOPS 1390 HAS SOUS 1235 HAS SOUPS 1235 WITH SCORE 1236.39
AT ITER 1303 NEW BEST:: SOT 8202 SOS 1368 HAS SOPS 1368 HAS SOUS 1225 HAS SOUPS 1225 WITH SCORE 1226.368
AT ITER 1339 NEW BEST:: SOT 8209 SOS 1360 HAS SOPS 1360 HAS SOUS 1217 HAS SOUPS 1217 WITH SCORE 1218.36
AT ITER 1351 NEW BEST:: SOT 8204 SOS 1345 HAS SOPS 1345 HAS SOUS 1207 HAS SOUPS 1207 WITH SCORE 1208.345
AT ITER 1352 NEW BEST:: SOT 8199 SOS 1335 HAS SOPS 1335 HAS SOUS 1188 HAS SOUPS 1188 WITH SCORE 1189.335
AT ITER 1370 NEW BEST:: SOT 8197 SOS 1340 HAS SOPS 1340 HAS SOUS 1185 HAS SOUPS 1185 WITH SCORE 1186.34
AT ITER 1387 NEW BEST:: SOT 8189 SOS 1334 HAS SOPS 1334 HAS SOUS 1179 HAS SOUPS 1179 WITH SCORE 1180.334
AT ITER 1398 NEW BEST:: SOT 8188 SOS 1332 HAS SOPS 1332 HAS SOUS 1173 HAS SOUPS 1173 WITH SCORE 1174.332
AT ITER 1408 NEW BEST:: SOT 8191 SOS 1331 HAS SOPS 1331 HAS SOUS 1172 HAS SOUPS 1172 WITH SCORE 1173.331
AT ITER 1422 NEW BEST:: SOT 8192 SOS 1315 HAS SOPS 1315 HAS SOUS 1164 HAS SOUPS 1164 WITH SCORE 1165.315
AT ITER 1446 NEW BEST:: SOT 8190 SOS 1309 HAS SOPS 1309 HAS SOUS 1162 HAS SOUPS 1162 WITH SCORE 1163.309
AT ITER 1456 NEW BEST:: SOT 8190 SOS 1307 HAS SOPS 1307 HAS SOUS 1162 HAS SOUPS 1162 WITH SCORE 1163.307
AT ITER 1486 NEW BEST:: SOT 8187 SOS 1301 HAS SOPS 1301 HAS SOUS 1159 HAS SOUPS 1159 WITH SCORE 1160.301
AT ITER 1496 NEW BEST:: SOT 8185 SOS 1297 HAS SOPS 1297 HAS SOUS 1157 HAS SOUPS 1157 WITH SCORE 1158.297
AT ITER 1508 NEW BEST:: SOT 8181 SOS 1289 HAS SOPS 1289 HAS SOUS 1147 HAS SOUPS 1147 WITH SCORE 1148.289
AT ITER 1529 NEW BEST:: SOT 8180 SOS 1287 HAS SOPS 1287 HAS SOUS 1145 HAS SOUPS 1145 WITH SCORE 1146.287
AT ITER 1538 NEW BEST:: SOT 8179 SOS 1285 HAS SOPS 1285 HAS SOUS 1144 HAS SOUPS 1144 WITH SCORE 1145.285
AT ITER 1544 NEW BEST:: SOT 8171 SOS 1269 HAS SOPS 1269 HAS SOUS 1136 HAS SOUPS 1136 WITH SCORE 1137.269
AT ITER 1563 NEW BEST:: SOT 8161 SOS 1249 HAS SOPS 1249 HAS SOUS 1116 HAS SOUPS 1116 WITH SCORE 1117.249
AT ITER 1568 NEW BEST:: SOT 8161 SOS 1249 HAS SOPS 1249 HAS SOUS 1106 HAS SOUPS 1106 WITH SCORE 1107.249
AT ITER 1574 NEW BEST:: SOT 8161 SOS 1244 HAS SOPS 1244 HAS SOUS 1106 HAS SOUPS 1106 WITH SCORE 1107.244
AT ITER 1598 NEW BEST:: SOT 8160 SOS 1241 HAS SOPS 1241 HAS SOUS 1104 HAS SOUPS 1104 WITH SCORE 1105.241
AT ITER 1636 NEW BEST:: SOT 8163 SOS 1224 HAS SOPS 1224 HAS SOUS 1094 HAS SOUPS 1094 WITH SCORE 1095.224
AT ITER 1651 NEW BEST:: SOT 8163 SOS 1224 HAS SOPS 1224 HAS SOUS 1090 HAS SOUPS 1090 WITH SCORE 1091.224
AT ITER 1656 NEW BEST:: SOT 8160 SOS 1225 HAS SOPS 1225 HAS SOUS 1087 HAS SOUPS 1087 WITH SCORE 1088.225
AT ITER 1659 NEW BEST:: SOT 8157 SOS 1219 HAS SOPS 1219 HAS SOUS 1084 HAS SOUPS 1084 WITH SCORE 1085.219
AT ITER 1682 NEW BEST:: SOT 8146 SOS 1197 HAS SOPS 1197 HAS SOUS 1078 HAS SOUPS 1078 WITH SCORE 1079.197
AT ITER 1695 NEW BEST:: SOT 8145 SOS 1195 HAS SOPS 1195 HAS SOUS 1077 HAS SOUPS 1077 WITH SCORE 1078.195
AT ITER 1719 NEW BEST:: SOT 8145 SOS 1192 HAS SOPS 1192 HAS SOUS 1074 HAS SOUPS 1074 WITH SCORE 1075.192
AT ITER 1724 NEW BEST:: SOT 8142 SOS 1186 HAS SOPS 1186 HAS SOUS 1068 HAS SOUPS 1068 WITH SCORE 1069.186
AT ITER 1731 NEW BEST:: SOT 8144 SOS 1177 HAS SOPS 1177 HAS SOUS 1064 HAS SOUPS 1064 WITH SCORE 1065.177
AT ITER 1747 NEW BEST:: SOT 8140 SOS 1174 HAS SOPS 1174 HAS SOUS 1061 HAS SOUPS 1061 WITH SCORE 1062.174
AT ITER 1750 NEW BEST:: SOT 8138 SOS 1170 HAS SOPS 1170 HAS SOUS 1053 HAS SOUPS 1053 WITH SCORE 1054.17
AT ITER 1760 NEW BEST:: SOT 8130 SOS 1154 HAS SOPS 1154 HAS SOUS 1036 HAS SOUPS 1036 WITH SCORE 1037.154
AT ITER 1776 NEW BEST:: SOT 8129 SOS 1153 HAS SOPS 1153 HAS SOUS 1035 HAS SOUPS 1035 WITH SCORE 1036.153
AT ITER 1861 NEW BEST:: SOT 8129 SOS 1182 HAS SOPS 1182 HAS SOUS 1026 HAS SOUPS 1026 WITH SCORE 1027.182
AT ITER 1867 NEW BEST:: SOT 8124 SOS 1172 HAS SOPS 1172 HAS SOUS 1018 HAS SOUPS 1018 WITH SCORE 1019.172
AT ITER 1874 NEW BEST:: SOT 8123 SOS 1170 HAS SOPS 1170 HAS SOUS 1017 HAS SOUPS 1017 WITH SCORE 1018.17
AT ITER 1897 NEW BEST:: SOT 8118 SOS 1181 HAS SOPS 1181 HAS SOUS 1008 HAS SOUPS 1008 WITH SCORE 1009.181
AT ITER 1901 NEW BEST:: SOT 8114 SOS 1173 HAS SOPS 1173 HAS SOUS 998 HAS SOUPS 998 WITH SCORE 999.173
AT ITER 1923 NEW BEST:: SOT 8111 SOS 1167 HAS SOPS 1167 HAS SOUS 991 HAS SOUPS 991 WITH SCORE 992.167
AT ITER 1979 NEW BEST:: SOT 8107 SOS 1159 HAS SOPS 1159 HAS SOUS 987 HAS SOUPS 987 WITH SCORE 988.159
AT ITER 1998 NEW BEST:: SOT 8107 SOS 1154 HAS SOPS 1154 HAS SOUS 987 HAS SOUPS 987 WITH SCORE 988.154
AT ITER 2006 NEW BEST:: SOT 8110 SOS 1160 HAS SOPS 1160 HAS SOUS 978 HAS SOUPS 978 WITH SCORE 979.16
AT ITER 2024 NEW BEST:: SOT 8109 SOS 1158 HAS SOPS 1158 HAS SOUS 976 HAS SOUPS 976 WITH SCORE 977.158
AT ITER 2038 NEW BEST:: SOT 8106 SOS 1152 HAS SOPS 1152 HAS SOUS 973 HAS SOUPS 973 WITH SCORE 974.152
AT ITER 2040 NEW BEST:: SOT 8104 SOS 1148 HAS SOPS 1148 HAS SOUS 971 HAS SOUPS 971 WITH SCORE 972.148
AT ITER 2050 NEW BEST:: SOT 8104 SOS 1140 HAS SOPS 1140 HAS SOUS 963 HAS SOUPS 963 WITH SCORE 964.14
AT ITER 2077 NEW BEST:: SOT 8104 SOS 1135 HAS SOPS 1135 HAS SOUS 963 HAS SOUPS 963 WITH SCORE 964.135
AT ITER 2093 NEW BEST:: SOT 8101 SOS 1126 HAS SOPS 1126 HAS SOUS 957 HAS SOUPS 957 WITH SCORE 958.126
AT ITER 2206 NEW BEST:: SOT 8101 SOS 1125 HAS SOPS 1125 HAS SOUS 957 HAS SOUPS 957 WITH SCORE 958.125
AT ITER 2207 NEW BEST:: SOT 8095 SOS 1113 HAS SOPS 1113 HAS SOUS 945 HAS SOUPS 945 WITH SCORE 946.113
AT ITER 2234 NEW BEST:: SOT 8092 SOS 1110 HAS SOPS 1110 HAS SOUS 939 HAS SOUPS 939 WITH SCORE 940.11
AT ITER 2263 NEW BEST:: SOT 8087 SOS 1064 HAS SOPS 1064 HAS SOUS 914 HAS SOUPS 914 WITH SCORE 915.064
AT ITER 2271 NEW BEST:: SOT 8075 SOS 1040 HAS SOPS 1040 HAS SOUS 899 HAS SOUPS 899 WITH SCORE 900.04
AT ITER 2331 NEW BEST:: SOT 8073 SOS 1036 HAS SOPS 1036 HAS SOUS 899 HAS SOUPS 899 WITH SCORE 900.036
AT ITER 2338 NEW BEST:: SOT 8065 SOS 1020 HAS SOPS 1020 HAS SOUS 885 HAS SOUPS 885 WITH SCORE 886.02
AT ITER 2379 NEW BEST:: SOT 8065 SOS 1020 HAS SOPS 1020 HAS SOUS 883 HAS SOUPS 883 WITH SCORE 884.02
AT ITER 2406 NEW BEST:: SOT 8064 SOS 1018 HAS SOPS 1018 HAS SOUS 882 HAS SOUPS 882 WITH SCORE 883.018
AT ITER 2416 NEW BEST:: SOT 8064 SOS 1013 HAS SOPS 1013 HAS SOUS 878 HAS SOUPS 878 WITH SCORE 879.013
AT ITER 2466 NEW BEST:: SOT 8103 SOS 1030 HAS SOPS 1030 HAS SOUS 872 HAS SOUPS 872 WITH SCORE 873.03
AT ITER 2487 NEW BEST:: SOT 8097 SOS 1018 HAS SOPS 1018 HAS SOUS 860 HAS SOUPS 860 WITH SCORE 861.018
AT ITER 2496 NEW BEST:: SOT 8094 SOS 1008 HAS SOPS 1008 HAS SOUS 853 HAS SOUPS 853 WITH SCORE 854.008
AT ITER 2497 NEW BEST:: SOT 8084 SOS 988 HAS SOPS 988 HAS SOUS 839 HAS SOUPS 839 WITH SCORE 839.988
AT ITER 2504 NEW BEST:: SOT 8079 SOS 978 HAS SOPS 978 HAS SOUS 834 HAS SOUPS 834 WITH SCORE 834.978
AT ITER 2526 NEW BEST:: SOT 8084 SOS 962 HAS SOPS 962 HAS SOUS 826 HAS SOUPS 826 WITH SCORE 826.962
AT ITER 2642 NEW BEST:: SOT 8072 SOS 938 HAS SOPS 938 HAS SOUS 821 HAS SOUPS 821 WITH SCORE 821.938
AT ITER 2668 NEW BEST:: SOT 8064 SOS 906 HAS SOPS 906 HAS SOUS 812 HAS SOUPS 812 WITH SCORE 812.906
AT ITER 2695 NEW BEST:: SOT 8059 SOS 896 HAS SOPS 896 HAS SOUS 798 HAS SOUPS 798 WITH SCORE 798.896
AT ITER 2750 NEW BEST:: SOT 8058 SOS 899 HAS SOPS 899 HAS SOUS 797 HAS SOUPS 797 WITH SCORE 797.899
AT ITER 2783 NEW BEST:: SOT 8055 SOS 893 HAS SOPS 893 HAS SOUS 794 HAS SOUPS 794 WITH SCORE 794.893
AT ITER 2789 NEW BEST:: SOT 8051 SOS 885 HAS SOPS 885 HAS SOUS 789 HAS SOUPS 789 WITH SCORE 789.885
AT ITER 2806 NEW BEST:: SOT 8051 SOS 885 HAS SOPS 885 HAS SOUS 784 HAS SOUPS 784 WITH SCORE 784.885
AT ITER 2813 NEW BEST:: SOT 8051 SOS 883 HAS SOPS 883 HAS SOUS 784 HAS SOUPS 784 WITH SCORE 784.883
AT ITER 2842 NEW BEST:: SOT 8049 SOS 879 HAS SOPS 879 HAS SOUS 780 HAS SOUPS 780 WITH SCORE 780.879
AT ITER 2959 NEW BEST:: SOT 8048 SOS 879 HAS SOPS 879 HAS SOUS 779 HAS SOUPS 779 WITH SCORE 779.879
AT ITER 2973 NEW BEST:: SOT 8045 SOS 873 HAS SOPS 873 HAS SOUS 774 HAS SOUPS 774 WITH SCORE 774.873
AT ITER 3067 NEW BEST:: SOT 8044 SOS 872 HAS SOPS 872 HAS SOUS 773 HAS SOUPS 773 WITH SCORE 773.872
AT ITER 3117 NEW BEST:: SOT 8043 SOS 870 HAS SOPS 870 HAS SOUS 771 HAS SOUPS 771 WITH SCORE 771.87
AT ITER 3142 NEW BEST:: SOT 8038 SOS 849 HAS SOPS 849 HAS SOUS 758 HAS SOUPS 758 WITH SCORE 758.849
AT ITER 3157 NEW BEST:: SOT 8033 SOS 845 HAS SOPS 845 HAS SOUS 753 HAS SOUPS 753 WITH SCORE 753.845
AT ITER 3363 NEW BEST:: SOT 8035 SOS 843 HAS SOPS 843 HAS SOUS 752 HAS SOUPS 752 WITH SCORE 752.843
AT ITER 3382 NEW BEST:: SOT 8034 SOS 842 HAS SOPS 842 HAS SOUS 751 HAS SOUPS 751 WITH SCORE 751.842
AT ITER 3384 NEW BEST:: SOT 8034 SOS 842 HAS SOPS 842 HAS SOUS 745 HAS SOUPS 745 WITH SCORE 745.842
AT ITER 3395 NEW BEST:: SOT 8034 SOS 841 HAS SOPS 841 HAS SOUS 745 HAS SOUPS 745 WITH SCORE 745.841
AT ITER 3396 NEW BEST:: SOT 8032 SOS 837 HAS SOPS 837 HAS SOUS 742 HAS SOUPS 742 WITH SCORE 742.837
AT ITER 3415 NEW BEST:: SOT 8026 SOS 791 HAS SOPS 791 HAS SOUS 736 HAS SOUPS 736 WITH SCORE 736.791
AT ITER 3425 NEW BEST:: SOT 8023 SOS 790 HAS SOPS 790 HAS SOUS 733 HAS SOUPS 733 WITH SCORE 733.79
AT ITER 3482 NEW BEST:: SOT 8021 SOS 786 HAS SOPS 786 HAS SOUS 728 HAS SOUPS 728 WITH SCORE 728.786
AT ITER 3498 NEW BEST:: SOT 8023 SOS 774 HAS SOPS 774 HAS SOUS 727 HAS SOUPS 727 WITH SCORE 727.774
AT ITER 3513 NEW BEST:: SOT 8019 SOS 766 HAS SOPS 766 HAS SOUS 719 HAS SOUPS 719 WITH SCORE 719.766
AT ITER 3561 NEW BEST:: SOT 8018 SOS 765 HAS SOPS 765 HAS SOUS 718 HAS SOUPS 718 WITH SCORE 718.765
AT ITER 3601 NEW BEST:: SOT 8018 SOS 760 HAS SOPS 760 HAS SOUS 718 HAS SOUPS 718 WITH SCORE 718.76
AT ITER 3611 NEW BEST:: SOT 8017 SOS 760 HAS SOPS 760 HAS SOUS 717 HAS SOUPS 717 WITH SCORE 717.76
AT ITER 3669 NEW BEST:: SOT 8014 SOS 759 HAS SOPS 759 HAS SOUS 714 HAS SOUPS 714 WITH SCORE 714.759
AT ITER 3759 NEW BEST:: SOT 8013 SOS 757 HAS SOPS 757 HAS SOUS 713 HAS SOUPS 713 WITH SCORE 713.757
AT ITER 3769 NEW BEST:: SOT 8013 SOS 756 HAS SOPS 756 HAS SOUS 713 HAS SOUPS 713 WITH SCORE 713.756
AT ITER 3821 NEW BEST:: SOT 8012 SOS 754 HAS SOPS 754 HAS SOUS 711 HAS SOUPS 711 WITH SCORE 711.754
AT ITER 3829 NEW BEST:: SOT 8010 SOS 750 HAS SOPS 750 HAS SOUS 709 HAS SOUPS 709 WITH SCORE 709.75
AT ITER 3847 NEW BEST:: SOT 8006 SOS 751 HAS SOPS 751 HAS SOUS 705 HAS SOUPS 705 WITH SCORE 705.751
AT ITER 3882 NEW BEST:: SOT 8004 SOS 747 HAS SOPS 747 HAS SOUS 701 HAS SOUPS 701 WITH SCORE 701.747
AT ITER 3895 NEW BEST:: SOT 8001 SOS 738 HAS SOPS 738 HAS SOUS 697 HAS SOUPS 697 WITH SCORE 697.738
AT ITER 3916 NEW BEST:: SOT 7999 SOS 726 HAS SOPS 726 HAS SOUS 687 HAS SOUPS 687 WITH SCORE 687.726
AT ITER 3945 NEW BEST:: SOT 7998 SOS 724 HAS SOPS 724 HAS SOUS 686 HAS SOUPS 686 WITH SCORE 686.724
AT ITER 3946 NEW BEST:: SOT 7996 SOS 720 HAS SOPS 720 HAS SOUS 685 HAS SOUPS 685 WITH SCORE 685.72
AT ITER 3952 NEW BEST:: SOT 7992 SOS 712 HAS SOPS 712 HAS SOUS 677 HAS SOUPS 677 WITH SCORE 677.712
AT ITER 3955 NEW BEST:: SOT 7991 SOS 708 HAS SOPS 708 HAS SOUS 676 HAS SOUPS 676 WITH SCORE 676.708
AT ITER 3965 NEW BEST:: SOT 7991 SOS 706 HAS SOPS 706 HAS SOUS 674 HAS SOUPS 674 WITH SCORE 674.706
AT ITER 4030 NEW BEST:: SOT 7990 SOS 704 HAS SOPS 704 HAS SOUS 672 HAS SOUPS 672 WITH SCORE 672.704
AT ITER 4102 NEW BEST:: SOT 7992 SOS 698 HAS SOPS 698 HAS SOUS 669 HAS SOUPS 669 WITH SCORE 669.698
AT ITER 4109 NEW BEST:: SOT 7988 SOS 690 HAS SOPS 690 HAS SOUS 658 HAS SOUPS 658 WITH SCORE 658.69
AT ITER 4130 NEW BEST:: SOT 7988 SOS 687 HAS SOPS 687 HAS SOUS 656 HAS SOUPS 656 WITH SCORE 656.687
AT ITER 4149 NEW BEST:: SOT 7986 SOS 681 HAS SOPS 681 HAS SOUS 652 HAS SOUPS 652 WITH SCORE 652.681
AT ITER 4157 NEW BEST:: SOT 7986 SOS 681 HAS SOPS 681 HAS SOUS 651 HAS SOUPS 651 WITH SCORE 651.681
AT ITER 4313 NEW BEST:: SOT 7986 SOS 681 HAS SOPS 681 HAS SOUS 650 HAS SOUPS 650 WITH SCORE 650.681
AT ITER 4323 NEW BEST:: SOT 7986 SOS 680 HAS SOPS 680 HAS SOUS 649 HAS SOUPS 649 WITH SCORE 649.68
AT ITER 4365 NEW BEST:: SOT 7983 SOS 679 HAS SOPS 679 HAS SOUS 648 HAS SOUPS 648 WITH SCORE 648.679
AT ITER 4408 NEW BEST:: SOT 7981 SOS 675 HAS SOPS 675 HAS SOUS 644 HAS SOUPS 644 WITH SCORE 644.675
AT ITER 4425 NEW BEST:: SOT 7979 SOS 692 HAS SOPS 692 HAS SOUS 642 HAS SOUPS 642 WITH SCORE 642.692
AT ITER 4458 NEW BEST:: SOT 7978 SOS 690 HAS SOPS 690 HAS SOUS 640 HAS SOUPS 640 WITH SCORE 640.69
AT ITER 4459 NEW BEST:: SOT 7978 SOS 690 HAS SOPS 690 HAS SOUS 637 HAS SOUPS 637 WITH SCORE 637.69
AT ITER 4462 NEW BEST:: SOT 7977 SOS 688 HAS SOPS 688 HAS SOUS 635 HAS SOUPS 635 WITH SCORE 635.688
AT ITER 4466 NEW BEST:: SOT 7976 SOS 686 HAS SOPS 686 HAS SOUS 634 HAS SOUPS 634 WITH SCORE 634.686
AT ITER 4536 NEW BEST:: SOT 7974 SOS 684 HAS SOPS 684 HAS SOUS 632 HAS SOUPS 632 WITH SCORE 632.684
AT ITER 4714 NEW BEST:: SOT 7969 SOS 674 HAS SOPS 674 HAS SOUS 624 HAS SOUPS 624 WITH SCORE 624.674
AT ITER 4741 NEW BEST:: SOT 7966 SOS 671 HAS SOPS 671 HAS SOUS 621 HAS SOUPS 621 WITH SCORE 621.671
AT ITER 4789 NEW BEST:: SOT 7965 SOS 668 HAS SOPS 668 HAS SOUS 620 HAS SOUPS 620 WITH SCORE 620.668
AT ITER 4968 NEW BEST:: SOT 7964 SOS 670 HAS SOPS 670 HAS SOUS 619 HAS SOUPS 619 WITH SCORE 619.67
AT ITER 5081 NEW BEST:: SOT 7964 SOS 669 HAS SOPS 669 HAS SOUS 618 HAS SOUPS 618 WITH SCORE 618.669
AT ITER 5117 NEW BEST:: SOT 7960 SOS 661 HAS SOPS 661 HAS SOUS 608 HAS SOUPS 608 WITH SCORE 608.661
AT ITER 5120 NEW BEST:: SOT 7959 SOS 656 HAS SOPS 656 HAS SOUS 605 HAS SOUPS 605 WITH SCORE 605.656
AT ITER 5148 NEW BEST:: SOT 7958 SOS 654 HAS SOPS 654 HAS SOUS 602 HAS SOUPS 602 WITH SCORE 602.654
AT ITER 5210 NEW BEST:: SOT 7956 SOS 643 HAS SOPS 643 HAS SOUS 600 HAS SOUPS 600 WITH SCORE 600.643
AT ITER 5225 NEW BEST:: SOT 7955 SOS 641 HAS SOPS 641 HAS SOUS 598 HAS SOUPS 598 WITH SCORE 598.641
AT ITER 5273 NEW BEST:: SOT 7951 SOS 633 HAS SOPS 633 HAS SOUS 590 HAS SOUPS 590 WITH SCORE 590.633
AT ITER 5329 NEW BEST:: SOT 7950 SOS 633 HAS SOPS 633 HAS SOUS 589 HAS SOUPS 589 WITH SCORE 589.633
AT ITER 5349 NEW BEST:: SOT 7947 SOS 622 HAS SOPS 622 HAS SOUS 581 HAS SOUPS 581 WITH SCORE 581.622
AT ITER 5369 NEW BEST:: SOT 7947 SOS 622 HAS SOPS 622 HAS SOUS 580 HAS SOUPS 580 WITH SCORE 580.622
AT ITER 5534 NEW BEST:: SOT 7946 SOS 620 HAS SOPS 620 HAS SOUS 578 HAS SOUPS 578 WITH SCORE 578.62
AT ITER 5561 NEW BEST:: SOT 7945 SOS 622 HAS SOPS 622 HAS SOUS 577 HAS SOUPS 577 WITH SCORE 577.622
AT ITER 5674 NEW BEST:: SOT 7941 SOS 614 HAS SOPS 614 HAS SOUS 569 HAS SOUPS 569 WITH SCORE 569.614
AT ITER 5726 NEW BEST:: SOT 7940 SOS 617 HAS SOPS 617 HAS SOUS 568 HAS SOUPS 568 WITH SCORE 568.617
AT ITER 5768 NEW BEST:: SOT 7940 SOS 615 HAS SOPS 615 HAS SOUS 568 HAS SOUPS 568 WITH SCORE 568.615
AT ITER 5818 NEW BEST:: SOT 7938 SOS 609 HAS SOPS 609 HAS SOUS 564 HAS SOUPS 564 WITH SCORE 564.609
AT ITER 6003 NEW BEST:: SOT 7931 SOS 604 HAS SOPS 604 HAS SOUS 559 HAS SOUPS 559 WITH SCORE 559.604
AT ITER 6017 NEW BEST:: SOT 7931 SOS 603 HAS SOPS 603 HAS SOUS 558 HAS SOUPS 558 WITH SCORE 558.603
AT ITER 6102 NEW BEST:: SOT 7931 SOS 599 HAS SOPS 599 HAS SOUS 558 HAS SOUPS 558 WITH SCORE 558.599
AT ITER 6282 NEW BEST:: SOT 7927 SOS 597 HAS SOPS 597 HAS SOUS 553 HAS SOUPS 553 WITH SCORE 553.597
AT ITER 6368 NEW BEST:: SOT 7924 SOS 593 HAS SOPS 593 HAS SOUS 548 HAS SOUPS 548 WITH SCORE 548.593
AT ITER 6385 NEW BEST:: SOT 7924 SOS 601 HAS SOPS 601 HAS SOUS 547 HAS SOUPS 547 WITH SCORE 547.601
AT ITER 6529 NEW BEST:: SOT 7924 SOS 597 HAS SOPS 597 HAS SOUS 547 HAS SOUPS 547 WITH SCORE 547.597
AT ITER 6585 NEW BEST:: SOT 7924 SOS 597 HAS SOPS 597 HAS SOUS 542 HAS SOUPS 542 WITH SCORE 542.597
AT ITER 6586 NEW BEST:: SOT 7921 SOS 588 HAS SOPS 588 HAS SOUS 537 HAS SOUPS 537 WITH SCORE 537.588
AT ITER 6595 NEW BEST:: SOT 7921 SOS 587 HAS SOPS 587 HAS SOUS 537 HAS SOUPS 537 WITH SCORE 537.587
AT ITER 6604 NEW BEST:: SOT 7920 SOS 585 HAS SOPS 585 HAS SOUS 536 HAS SOUPS 536 WITH SCORE 536.585
AT ITER 6664 NEW BEST:: SOT 7920 SOS 585 HAS SOPS 585 HAS SOUS 535 HAS SOUPS 535 WITH SCORE 535.585
AT ITER 6671 NEW BEST:: SOT 7920 SOS 582 HAS SOPS 582 HAS SOUS 535 HAS SOUPS 535 WITH SCORE 535.582
AT ITER 6804 NEW BEST:: SOT 7918 SOS 580 HAS SOPS 580 HAS SOUS 533 HAS SOUPS 533 WITH SCORE 533.58
AT ITER 6862 NEW BEST:: SOT 7916 SOS 576 HAS SOPS 576 HAS SOUS 527 HAS SOUPS 527 WITH SCORE 527.576
AT ITER 6994 NEW BEST:: SOT 7916 SOS 572 HAS SOPS 572 HAS SOUS 527 HAS SOUPS 527 WITH SCORE 527.572
AT ITER 7000 NEW BEST:: SOT 7919 SOS 550 HAS SOPS 550 HAS SOUS 516 HAS SOUPS 516 WITH SCORE 516.55
AT ITER 7032 NEW BEST:: SOT 7918 SOS 548 HAS SOPS 548 HAS SOUS 515 HAS SOUPS 515 WITH SCORE 515.548
AT ITER 7422 NEW BEST:: SOT 7916 SOS 546 HAS SOPS 546 HAS SOUS 513 HAS SOUPS 513 WITH SCORE 513.546
AT ITER 7534 NEW BEST:: SOT 7916 SOS 545 HAS SOPS 545 HAS SOUS 513 HAS SOUPS 513 WITH SCORE 513.545
AT ITER 7551 NEW BEST:: SOT 7915 SOS 545 HAS SOPS 545 HAS SOUS 512 HAS SOUPS 512 WITH SCORE 512.545
AT ITER 7628 NEW BEST:: SOT 7912 SOS 539 HAS SOPS 539 HAS SOUS 506 HAS SOUPS 506 WITH SCORE 506.539
AT ITER 7743 NEW BEST:: SOT 7910 SOS 537 HAS SOPS 537 HAS SOUS 504 HAS SOUPS 504 WITH SCORE 504.537
AT ITER 7746 NEW BEST:: SOT 7909 SOS 535 HAS SOPS 535 HAS SOUS 501 HAS SOUPS 501 WITH SCORE 501.535
AT ITER 7756 NEW BEST:: SOT 7905 SOS 527 HAS SOPS 527 HAS SOUS 492 HAS SOUPS 492 WITH SCORE 492.527
AT ITER 7838 NEW BEST:: SOT 7905 SOS 526 HAS SOPS 526 HAS SOUS 492 HAS SOUPS 492 WITH SCORE 492.526
AT ITER 7855 NEW BEST:: SOT 7902 SOS 520 HAS SOPS 520 HAS SOUS 489 HAS SOUPS 489 WITH SCORE 489.52
AT ITER 7907 NEW BEST:: SOT 7902 SOS 517 HAS SOPS 517 HAS SOUS 487 HAS SOUPS 487 WITH SCORE 487.517
AT ITER 7970 NEW BEST:: SOT 7900 SOS 511 HAS SOPS 511 HAS SOUS 483 HAS SOUPS 483 WITH SCORE 483.511
AT ITER 7994 NEW BEST:: SOT 7899 SOS 511 HAS SOPS 511 HAS SOUS 482 HAS SOUPS 482 WITH SCORE 482.511
AT ITER 8030 NEW BEST:: SOT 7899 SOS 510 HAS SOPS 510 HAS SOUS 481 HAS SOUPS 481 WITH SCORE 481.51
AT ITER 8171 NEW BEST:: SOT 7896 SOS 504 HAS SOPS 504 HAS SOUS 474 HAS SOUPS 474 WITH SCORE 474.504
AT ITER 8182 NEW BEST:: SOT 7893 SOS 501 HAS SOPS 501 HAS SOUS 471 HAS SOUPS 471 WITH SCORE 471.501
AT ITER 8204 NEW BEST:: SOT 7891 SOS 490 HAS SOPS 490 HAS SOUS 466 HAS SOUPS 466 WITH SCORE 466.49
AT ITER 8232 NEW BEST:: SOT 7891 SOS 489 HAS SOPS 489 HAS SOUS 466 HAS SOUPS 466 WITH SCORE 466.489
AT ITER 8387 NEW BEST:: SOT 7890 SOS 487 HAS SOPS 487 HAS SOUS 464 HAS SOUPS 464 WITH SCORE 464.487
AT ITER 8504 NEW BEST:: SOT 7889 SOS 486 HAS SOPS 486 HAS SOUS 463 HAS SOUPS 463 WITH SCORE 463.486
AT ITER 9035 NEW BEST:: SOT 7888 SOS 486 HAS SOPS 486 HAS SOUS 462 HAS SOUPS 462 WITH SCORE 462.486
AT ITER 9043 NEW BEST:: SOT 7887 SOS 482 HAS SOPS 482 HAS SOUS 459 HAS SOUPS 459 WITH SCORE 459.482
AT ITER 9246 NEW BEST:: SOT 7886 SOS 480 HAS SOPS 480 HAS SOUS 458 HAS SOUPS 458 WITH SCORE 458.48
AT ITER 9366 NEW BEST:: SOT 7885 SOS 480 HAS SOPS 480 HAS SOUS 457 HAS SOUPS 457 WITH SCORE 457.48
AT ITER 9547 NEW BEST:: SOT 7884 SOS 478 HAS SOPS 478 HAS SOUS 456 HAS SOUPS 456 WITH SCORE 456.478
AT ITER 9610 NEW BEST:: SOT 7880 SOS 470 HAS SOPS 470 HAS SOUS 448 HAS SOUPS 448 WITH SCORE 448.47
AT ITER 9759 NEW BEST:: SOT 7878 SOS 469 HAS SOPS 469 HAS SOUS 446 HAS SOUPS 446 WITH SCORE 446.469
AT ITER 9776 NEW BEST:: SOT 7878 SOS 464 HAS SOPS 464 HAS SOUS 442 HAS SOUPS 442 WITH SCORE 442.464
AT ITER 9944 NEW BEST:: SOT 7878 SOS 464 HAS SOPS 464 HAS SOUS 440 HAS SOUPS 440 WITH SCORE 440.464
STATE_SPACE STATES 717897987691852588770250 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 50 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 23929932923061752959008301 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679498530107

--------------------
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="Referendum-PT-0050"
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 Referendum-PT-0050, 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 r323-tall-167889194800496"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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