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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 428K
-rw-r--r-- 1 mcc users 8.5K Feb 25 14:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 25 14:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 14:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 14:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.5K Feb 25 14:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 60K Feb 25 14:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 25 14:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 14:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:12 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 50K 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 1678455365083

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-32a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GPUForwardProgress (PT), instance 32a
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: 136 places, 169 transitions, 661 arcs.
AT ITER 0 NEW BEST:: SOT 14992 SOS 12978 HAS SOPS 12976 HAS SOUS 9685 HAS SOUPS 9684 WITH SCORE 9696.978
AT ITER 2 NEW BEST:: SOT 14956 SOS 12859 HAS SOPS 12857 HAS SOUS 9624 HAS SOUPS 9623 WITH SCORE 9635.859
AT ITER 9 NEW BEST:: SOT 14784 SOS 12622 HAS SOPS 12620 HAS SOUS 9485 HAS SOUPS 9484 WITH SCORE 9496.622
AT ITER 10 NEW BEST:: SOT 14807 SOS 12499 HAS SOPS 12497 HAS SOUS 9294 HAS SOUPS 9293 WITH SCORE 9305.499
AT ITER 12 NEW BEST:: SOT 14747 SOS 12349 HAS SOPS 12347 HAS SOUS 9184 HAS SOUPS 9183 WITH SCORE 9195.349
AT ITER 13 NEW BEST:: SOT 14777 SOS 12222 HAS SOPS 12220 HAS SOUS 8989 HAS SOUPS 8988 WITH SCORE 9000.222
AT ITER 14 NEW BEST:: SOT 14841 SOS 12268 HAS SOPS 12266 HAS SOUS 8939 HAS SOUPS 8938 WITH SCORE 8950.268
AT ITER 16 NEW BEST:: SOT 14820 SOS 12247 HAS SOPS 12245 HAS SOUS 8918 HAS SOUPS 8917 WITH SCORE 8929.247
AT ITER 17 NEW BEST:: SOT 14774 SOS 12201 HAS SOPS 12199 HAS SOUS 8868 HAS SOUPS 8867 WITH SCORE 8879.201
AT ITER 18 NEW BEST:: SOT 14703 SOS 12006 HAS SOPS 12004 HAS SOUS 8675 HAS SOUPS 8674 WITH SCORE 8686.006
AT ITER 19 NEW BEST:: SOT 14676 SOS 11979 HAS SOPS 11977 HAS SOUS 8648 HAS SOUPS 8647 WITH SCORE 8658.979
AT ITER 20 NEW BEST:: SOT 14746 SOS 11955 HAS SOPS 11953 HAS SOUS 8556 HAS SOUPS 8555 WITH SCORE 8566.955
AT ITER 21 NEW BEST:: SOT 14724 SOS 11900 HAS SOPS 11898 HAS SOUS 8523 HAS SOUPS 8522 WITH SCORE 8533.9
AT ITER 25 NEW BEST:: SOT 14671 SOS 11847 HAS SOPS 11845 HAS SOUS 8470 HAS SOUPS 8469 WITH SCORE 8480.847
AT ITER 32 NEW BEST:: SOT 14628 SOS 11727 HAS SOPS 11725 HAS SOUS 8381 HAS SOUPS 8380 WITH SCORE 8391.727
AT ITER 33 NEW BEST:: SOT 14591 SOS 11690 HAS SOPS 11688 HAS SOUS 8344 HAS SOUPS 8343 WITH SCORE 8354.69
AT ITER 34 NEW BEST:: SOT 14531 SOS 11574 HAS SOPS 11572 HAS SOUS 8268 HAS SOUPS 8267 WITH SCORE 8278.574
AT ITER 35 NEW BEST:: SOT 14607 SOS 11567 HAS SOPS 11565 HAS SOUS 8260 HAS SOUPS 8259 WITH SCORE 8270.567
AT ITER 36 NEW BEST:: SOT 14559 SOS 11447 HAS SOPS 11445 HAS SOUS 8188 HAS SOUPS 8187 WITH SCORE 8198.447
AT ITER 39 NEW BEST:: SOT 14654 SOS 11417 HAS SOPS 11415 HAS SOUS 8090 HAS SOUPS 8089 WITH SCORE 8100.417
AT ITER 40 NEW BEST:: SOT 14594 SOS 11357 HAS SOPS 11355 HAS SOUS 8030 HAS SOUPS 8029 WITH SCORE 8040.357
AT ITER 41 NEW BEST:: SOT 14578 SOS 11265 HAS SOPS 11263 HAS SOUS 7873 HAS SOUPS 7872 WITH SCORE 7883.265
AT ITER 44 NEW BEST:: SOT 14620 SOS 11190 HAS SOPS 11188 HAS SOUS 7756 HAS SOUPS 7755 WITH SCORE 7766.19
AT ITER 46 NEW BEST:: SOT 14604 SOS 11174 HAS SOPS 11172 HAS SOUS 7716 HAS SOUPS 7715 WITH SCORE 7726.174
AT ITER 47 NEW BEST:: SOT 14598 SOS 11168 HAS SOPS 11166 HAS SOUS 7713 HAS SOUPS 7712 WITH SCORE 7723.168
AT ITER 52 NEW BEST:: SOT 14585 SOS 11155 HAS SOPS 11153 HAS SOUS 7713 HAS SOUPS 7712 WITH SCORE 7723.155
AT ITER 55 NEW BEST:: SOT 14549 SOS 11119 HAS SOPS 11117 HAS SOUS 7695 HAS SOUPS 7694 WITH SCORE 7705.119
AT ITER 56 NEW BEST:: SOT 14552 SOS 11125 HAS SOPS 11123 HAS SOUS 7686 HAS SOUPS 7685 WITH SCORE 7696.125
AT ITER 58 NEW BEST:: SOT 14564 SOS 10993 HAS SOPS 10991 HAS SOUS 7487 HAS SOUPS 7486 WITH SCORE 7496.993
AT ITER 59 NEW BEST:: SOT 14502 SOS 10838 HAS SOPS 10836 HAS SOUS 7394 HAS SOUPS 7393 WITH SCORE 7403.838
AT ITER 60 NEW BEST:: SOT 14510 SOS 10743 HAS SOPS 10741 HAS SOUS 7293 HAS SOUPS 7292 WITH SCORE 7302.743
AT ITER 63 NEW BEST:: SOT 14506 SOS 10739 HAS SOPS 10737 HAS SOUS 7289 HAS SOUPS 7288 WITH SCORE 7298.739
AT ITER 67 NEW BEST:: SOT 14502 SOS 10731 HAS SOPS 10729 HAS SOUS 7285 HAS SOUPS 7284 WITH SCORE 7294.731
AT ITER 70 NEW BEST:: SOT 14443 SOS 10564 HAS SOPS 10562 HAS SOUS 7118 HAS SOUPS 7117 WITH SCORE 7127.564
AT ITER 72 NEW BEST:: SOT 14443 SOS 10564 HAS SOPS 10562 HAS SOUS 7116 HAS SOUPS 7115 WITH SCORE 7125.564
AT ITER 75 NEW BEST:: SOT 14465 SOS 10436 HAS SOPS 10434 HAS SOUS 6919 HAS SOUPS 6918 WITH SCORE 6928.436
AT ITER 81 NEW BEST:: SOT 14491 SOS 10462 HAS SOPS 10460 HAS SOUS 6910 HAS SOUPS 6909 WITH SCORE 6919.462
AT ITER 82 NEW BEST:: SOT 14494 SOS 10465 HAS SOPS 10463 HAS SOUS 6907 HAS SOUPS 6906 WITH SCORE 6916.465
AT ITER 84 NEW BEST:: SOT 14466 SOS 10423 HAS SOPS 10421 HAS SOUS 6893 HAS SOUPS 6892 WITH SCORE 6902.423
AT ITER 89 NEW BEST:: SOT 14434 SOS 10391 HAS SOPS 10389 HAS SOUS 6861 HAS SOUPS 6860 WITH SCORE 6870.391
AT ITER 92 NEW BEST:: SOT 14504 SOS 10423 HAS SOPS 10421 HAS SOUS 6823 HAS SOUPS 6822 WITH SCORE 6832.423
AT ITER 93 NEW BEST:: SOT 14548 SOS 10388 HAS SOPS 10386 HAS SOUS 6744 HAS SOUPS 6743 WITH SCORE 6753.388
AT ITER 94 NEW BEST:: SOT 14532 SOS 10372 HAS SOPS 10370 HAS SOUS 6715 HAS SOUPS 6714 WITH SCORE 6724.372
AT ITER 96 NEW BEST:: SOT 14501 SOS 10341 HAS SOPS 10339 HAS SOUS 6690 HAS SOUPS 6689 WITH SCORE 6699.341
AT ITER 98 NEW BEST:: SOT 14437 SOS 10268 HAS SOPS 10266 HAS SOUS 6629 HAS SOUPS 6628 WITH SCORE 6638.268
AT ITER 109 NEW BEST:: SOT 14431 SOS 10256 HAS SOPS 10254 HAS SOUS 6617 HAS SOUPS 6616 WITH SCORE 6626.256
AT ITER 114 NEW BEST:: SOT 14397 SOS 10222 HAS SOPS 10220 HAS SOUS 6583 HAS SOUPS 6582 WITH SCORE 6592.222
AT ITER 117 NEW BEST:: SOT 14501 SOS 10252 HAS SOPS 10250 HAS SOUS 6517 HAS SOUPS 6516 WITH SCORE 6526.252
AT ITER 123 NEW BEST:: SOT 14501 SOS 10120 HAS SOPS 10118 HAS SOUS 6385 HAS SOUPS 6384 WITH SCORE 6394.12
AT ITER 126 NEW BEST:: SOT 14486 SOS 10105 HAS SOPS 10103 HAS SOUS 6351 HAS SOUPS 6350 WITH SCORE 6360.105
AT ITER 127 NEW BEST:: SOT 14480 SOS 10096 HAS SOPS 10094 HAS SOUS 6345 HAS SOUPS 6344 WITH SCORE 6354.096
AT ITER 130 NEW BEST:: SOT 14480 SOS 10016 HAS SOPS 10014 HAS SOUS 6265 HAS SOUPS 6264 WITH SCORE 6274.016
AT ITER 133 NEW BEST:: SOT 14480 SOS 10016 HAS SOPS 10014 HAS SOUS 6260 HAS SOUPS 6259 WITH SCORE 6269.016
AT ITER 145 NEW BEST:: SOT 14634 SOS 9936 HAS SOPS 9934 HAS SOUS 6221 HAS SOUPS 6220 WITH SCORE 6229.936
AT ITER 146 NEW BEST:: SOT 14584 SOS 9922 HAS SOPS 9920 HAS SOUS 6171 HAS SOUPS 6170 WITH SCORE 6179.922
AT ITER 147 NEW BEST:: SOT 14584 SOS 9922 HAS SOPS 9920 HAS SOUS 6170 HAS SOUPS 6169 WITH SCORE 6178.922
AT ITER 151 NEW BEST:: SOT 14580 SOS 9914 HAS SOPS 9912 HAS SOUS 6162 HAS SOUPS 6161 WITH SCORE 6170.914
AT ITER 156 NEW BEST:: SOT 14546 SOS 9898 HAS SOPS 9896 HAS SOUS 6130 HAS SOUPS 6129 WITH SCORE 6138.898
AT ITER 157 NEW BEST:: SOT 14652 SOS 9897 HAS SOPS 9895 HAS SOUS 6076 HAS SOUPS 6075 WITH SCORE 6084.897
AT ITER 161 NEW BEST:: SOT 14625 SOS 9870 HAS SOPS 9868 HAS SOUS 6049 HAS SOUPS 6048 WITH SCORE 6057.87
AT ITER 166 NEW BEST:: SOT 14625 SOS 9810 HAS SOPS 9808 HAS SOUS 5989 HAS SOUPS 5988 WITH SCORE 5997.81
AT ITER 170 NEW BEST:: SOT 14589 SOS 9738 HAS SOPS 9736 HAS SOUS 5953 HAS SOUPS 5952 WITH SCORE 5961.738
AT ITER 173 NEW BEST:: SOT 14588 SOS 9696 HAS SOPS 9694 HAS SOUS 5937 HAS SOUPS 5936 WITH SCORE 5945.696
AT ITER 177 NEW BEST:: SOT 14583 SOS 9691 HAS SOPS 9689 HAS SOUS 5932 HAS SOUPS 5931 WITH SCORE 5940.691
AT ITER 179 NEW BEST:: SOT 14583 SOS 9687 HAS SOPS 9685 HAS SOUS 5930 HAS SOUPS 5929 WITH SCORE 5938.687
AT ITER 181 NEW BEST:: SOT 14567 SOS 9671 HAS SOPS 9669 HAS SOUS 5914 HAS SOUPS 5913 WITH SCORE 5922.671
AT ITER 182 NEW BEST:: SOT 14579 SOS 9669 HAS SOPS 9667 HAS SOUS 5900 HAS SOUPS 5899 WITH SCORE 5908.669
AT ITER 186 NEW BEST:: SOT 14589 SOS 9674 HAS SOPS 9672 HAS SOUS 5895 HAS SOUPS 5894 WITH SCORE 5903.674
AT ITER 187 NEW BEST:: SOT 14579 SOS 9664 HAS SOPS 9662 HAS SOUS 5873 HAS SOUPS 5872 WITH SCORE 5881.664
AT ITER 190 NEW BEST:: SOT 14630 SOS 9715 HAS SOPS 9713 HAS SOUS 5855 HAS SOUPS 5854 WITH SCORE 5863.715
AT ITER 192 NEW BEST:: SOT 14622 SOS 9707 HAS SOPS 9705 HAS SOUS 5848 HAS SOUPS 5847 WITH SCORE 5856.707
AT ITER 195 NEW BEST:: SOT 14635 SOS 9692 HAS SOPS 9690 HAS SOUS 5821 HAS SOUPS 5820 WITH SCORE 5829.692
AT ITER 198 NEW BEST:: SOT 14621 SOS 9680 HAS SOPS 9678 HAS SOUS 5809 HAS SOUPS 5808 WITH SCORE 5817.68
AT ITER 199 NEW BEST:: SOT 14633 SOS 9646 HAS SOPS 9644 HAS SOUS 5803 HAS SOUPS 5802 WITH SCORE 5811.646
AT ITER 201 NEW BEST:: SOT 14657 SOS 9646 HAS SOPS 9644 HAS SOUS 5802 HAS SOUPS 5801 WITH SCORE 5810.646
AT ITER 205 NEW BEST:: SOT 13620 SOS 8602 HAS SOPS 8600 HAS SOUS 4709 HAS SOUPS 4708 WITH SCORE 4716.602
AT ITER 207 NEW BEST:: SOT 13594 SOS 8537 HAS SOPS 8535 HAS SOUS 4670 HAS SOUPS 4669 WITH SCORE 4677.537
AT ITER 209 NEW BEST:: SOT 13590 SOS 8427 HAS SOPS 8425 HAS SOUS 4516 HAS SOUPS 4515 WITH SCORE 4523.427
AT ITER 210 NEW BEST:: SOT 13600 SOS 8367 HAS SOPS 8365 HAS SOUS 4483 HAS SOUPS 4482 WITH SCORE 4490.367
AT ITER 213 NEW BEST:: SOT 13679 SOS 8300 HAS SOPS 8298 HAS SOUS 4458 HAS SOUPS 4457 WITH SCORE 4465.3
AT ITER 217 NEW BEST:: SOT 13675 SOS 8296 HAS SOPS 8294 HAS SOUS 4450 HAS SOUPS 4449 WITH SCORE 4457.296
AT ITER 224 NEW BEST:: SOT 13697 SOS 8297 HAS SOPS 8295 HAS SOUS 4438 HAS SOUPS 4437 WITH SCORE 4445.297
AT ITER 228 NEW BEST:: SOT 13683 SOS 8250 HAS SOPS 8248 HAS SOUS 4402 HAS SOUPS 4401 WITH SCORE 4409.25
AT ITER 234 NEW BEST:: SOT 13724 SOS 8205 HAS SOPS 8203 HAS SOUS 4398 HAS SOUPS 4397 WITH SCORE 4405.205
AT ITER 237 NEW BEST:: SOT 13692 SOS 8173 HAS SOPS 8171 HAS SOUS 4366 HAS SOUPS 4365 WITH SCORE 4373.173
AT ITER 239 NEW BEST:: SOT 13680 SOS 8161 HAS SOPS 8159 HAS SOUS 4354 HAS SOUPS 4353 WITH SCORE 4361.161
AT ITER 241 NEW BEST:: SOT 13680 SOS 8128 HAS SOPS 8126 HAS SOUS 4338 HAS SOUPS 4337 WITH SCORE 4345.128
AT ITER 242 NEW BEST:: SOT 13742 SOS 8156 HAS SOPS 8154 HAS SOUS 4332 HAS SOUPS 4331 WITH SCORE 4339.156
AT ITER 243 NEW BEST:: SOT 13760 SOS 8174 HAS SOPS 8172 HAS SOUS 4322 HAS SOUPS 4321 WITH SCORE 4329.174
AT ITER 246 NEW BEST:: SOT 13758 SOS 8170 HAS SOPS 8168 HAS SOUS 4319 HAS SOUPS 4318 WITH SCORE 4326.17
AT ITER 248 NEW BEST:: SOT 13706 SOS 8058 HAS SOPS 8056 HAS SOUS 4275 HAS SOUPS 4274 WITH SCORE 4282.058
AT ITER 251 NEW BEST:: SOT 13685 SOS 8037 HAS SOPS 8035 HAS SOUS 4261 HAS SOUPS 4260 WITH SCORE 4268.037
AT ITER 259 NEW BEST:: SOT 13667 SOS 7986 HAS SOPS 7984 HAS SOUS 4228 HAS SOUPS 4227 WITH SCORE 4234.986
AT ITER 274 NEW BEST:: SOT 13675 SOS 7992 HAS SOPS 7990 HAS SOUS 4216 HAS SOUPS 4215 WITH SCORE 4222.992
AT ITER 280 NEW BEST:: SOT 13684 SOS 7953 HAS SOPS 7951 HAS SOUS 4168 HAS SOUPS 4167 WITH SCORE 4174.953
AT ITER 288 NEW BEST:: SOT 13677 SOS 7946 HAS SOPS 7944 HAS SOUS 4154 HAS SOUPS 4153 WITH SCORE 4160.946
AT ITER 291 NEW BEST:: SOT 13660 SOS 7929 HAS SOPS 7927 HAS SOUS 4154 HAS SOUPS 4153 WITH SCORE 4160.929
AT ITER 297 NEW BEST:: SOT 13654 SOS 7923 HAS SOPS 7921 HAS SOUS 4142 HAS SOUPS 4141 WITH SCORE 4148.923
AT ITER 302 NEW BEST:: SOT 13652 SOS 7919 HAS SOPS 7917 HAS SOUS 4132 HAS SOUPS 4131 WITH SCORE 4138.919
AT ITER 315 NEW BEST:: SOT 13566 SOS 7833 HAS SOPS 7831 HAS SOUS 4119 HAS SOUPS 4118 WITH SCORE 4125.833
AT ITER 329 NEW BEST:: SOT 13564 SOS 7835 HAS SOPS 7833 HAS SOUS 4117 HAS SOUPS 4116 WITH SCORE 4123.835
AT ITER 341 NEW BEST:: SOT 13557 SOS 7820 HAS SOPS 7818 HAS SOUS 4103 HAS SOUPS 4102 WITH SCORE 4109.82
AT ITER 342 NEW BEST:: SOT 13547 SOS 7800 HAS SOPS 7798 HAS SOUS 4097 HAS SOUPS 4096 WITH SCORE 4103.8
AT ITER 351 NEW BEST:: SOT 13528 SOS 7779 HAS SOPS 7777 HAS SOUS 4078 HAS SOUPS 4077 WITH SCORE 4084.779
AT ITER 359 NEW BEST:: SOT 13543 SOS 7742 HAS SOPS 7740 HAS SOUS 4068 HAS SOUPS 4067 WITH SCORE 4074.742
AT ITER 365 NEW BEST:: SOT 13572 SOS 7742 HAS SOPS 7740 HAS SOUS 4018 HAS SOUPS 4017 WITH SCORE 4024.742
AT ITER 368 NEW BEST:: SOT 13577 SOS 7752 HAS SOPS 7750 HAS SOUS 4015 HAS SOUPS 4014 WITH SCORE 4021.752
AT ITER 374 NEW BEST:: SOT 13592 SOS 7767 HAS SOPS 7765 HAS SOUS 4000 HAS SOUPS 3999 WITH SCORE 4006.767
AT ITER 378 NEW BEST:: SOT 13566 SOS 7750 HAS SOPS 7748 HAS SOUS 3983 HAS SOUPS 3982 WITH SCORE 3989.75
AT ITER 379 NEW BEST:: SOT 13257 SOS 7489 HAS SOPS 7487 HAS SOUS 3722 HAS SOUPS 3721 WITH SCORE 3728.489
AT ITER 383 NEW BEST:: SOT 13236 SOS 7468 HAS SOPS 7466 HAS SOUS 3680 HAS SOUPS 3679 WITH SCORE 3686.468
AT ITER 387 NEW BEST:: SOT 13226 SOS 7478 HAS SOPS 7476 HAS SOUS 3670 HAS SOUPS 3669 WITH SCORE 3676.478
AT ITER 389 NEW BEST:: SOT 13159 SOS 7312 HAS SOPS 7310 HAS SOUS 3534 HAS SOUPS 3533 WITH SCORE 3540.312
AT ITER 397 NEW BEST:: SOT 13145 SOS 7298 HAS SOPS 7296 HAS SOUS 3506 HAS SOUPS 3505 WITH SCORE 3512.298
AT ITER 405 NEW BEST:: SOT 13169 SOS 7297 HAS SOPS 7295 HAS SOUS 3497 HAS SOUPS 3496 WITH SCORE 3503.297
AT ITER 406 NEW BEST:: SOT 13156 SOS 7286 HAS SOPS 7284 HAS SOUS 3497 HAS SOUPS 3496 WITH SCORE 3503.286
AT ITER 407 NEW BEST:: SOT 13228 SOS 7313 HAS SOPS 7311 HAS SOUS 3491 HAS SOUPS 3490 WITH SCORE 3497.313
AT ITER 416 NEW BEST:: SOT 13224 SOS 7303 HAS SOPS 7301 HAS SOUS 3489 HAS SOUPS 3488 WITH SCORE 3495.303
AT ITER 422 NEW BEST:: SOT 13210 SOS 7275 HAS SOPS 7273 HAS SOUS 3461 HAS SOUPS 3460 WITH SCORE 3467.275
AT ITER 424 NEW BEST:: SOT 13246 SOS 7196 HAS SOPS 7194 HAS SOUS 3450 HAS SOUPS 3449 WITH SCORE 3456.196
AT ITER 432 NEW BEST:: SOT 13246 SOS 7186 HAS SOPS 7184 HAS SOUS 3440 HAS SOUPS 3439 WITH SCORE 3446.186
AT ITER 453 NEW BEST:: SOT 13198 SOS 7090 HAS SOPS 7088 HAS SOUS 3392 HAS SOUPS 3391 WITH SCORE 3398.09
AT ITER 467 NEW BEST:: SOT 13200 SOS 7070 HAS SOPS 7068 HAS SOUS 3370 HAS SOUPS 3369 WITH SCORE 3376.07
AT ITER 471 NEW BEST:: SOT 13161 SOS 7031 HAS SOPS 7029 HAS SOUS 3331 HAS SOUPS 3330 WITH SCORE 3337.031
AT ITER 482 NEW BEST:: SOT 13159 SOS 7030 HAS SOPS 7028 HAS SOUS 3331 HAS SOUPS 3330 WITH SCORE 3337.03
AT ITER 498 NEW BEST:: SOT 13163 SOS 7005 HAS SOPS 7003 HAS SOUS 3313 HAS SOUPS 3312 WITH SCORE 3319.005
AT ITER 504 NEW BEST:: SOT 13163 SOS 6994 HAS SOPS 6992 HAS SOUS 3302 HAS SOUPS 3301 WITH SCORE 3307.994
AT ITER 506 NEW BEST:: SOT 13161 SOS 6987 HAS SOPS 6985 HAS SOUS 3295 HAS SOUPS 3294 WITH SCORE 3300.987
AT ITER 512 NEW BEST:: SOT 13157 SOS 6981 HAS SOPS 6979 HAS SOUS 3287 HAS SOUPS 3286 WITH SCORE 3292.981
AT ITER 513 NEW BEST:: SOT 13134 SOS 6958 HAS SOPS 6956 HAS SOUS 3246 HAS SOUPS 3245 WITH SCORE 3251.958
AT ITER 516 NEW BEST:: SOT 13134 SOS 6938 HAS SOPS 6936 HAS SOUS 3246 HAS SOUPS 3245 WITH SCORE 3251.938
AT ITER 536 NEW BEST:: SOT 13132 SOS 6950 HAS SOPS 6948 HAS SOUS 3228 HAS SOUPS 3227 WITH SCORE 3233.95
AT ITER 539 NEW BEST:: SOT 13144 SOS 6944 HAS SOPS 6942 HAS SOUS 3189 HAS SOUPS 3188 WITH SCORE 3194.944
AT ITER 544 NEW BEST:: SOT 13085 SOS 7073 HAS SOPS 7071 HAS SOUS 3178 HAS SOUPS 3177 WITH SCORE 3184.073
AT ITER 551 NEW BEST:: SOT 13081 SOS 7069 HAS SOPS 7067 HAS SOUS 3170 HAS SOUPS 3169 WITH SCORE 3176.069
AT ITER 561 NEW BEST:: SOT 13071 SOS 7059 HAS SOPS 7057 HAS SOUS 3165 HAS SOUPS 3164 WITH SCORE 3171.059
AT ITER 564 NEW BEST:: SOT 13058 SOS 7046 HAS SOPS 7044 HAS SOUS 3159 HAS SOUPS 3158 WITH SCORE 3165.046
AT ITER 566 NEW BEST:: SOT 13066 SOS 7036 HAS SOPS 7034 HAS SOUS 3134 HAS SOUPS 3133 WITH SCORE 3140.036
AT ITER 568 NEW BEST:: SOT 13056 SOS 7028 HAS SOPS 7026 HAS SOUS 3127 HAS SOUPS 3126 WITH SCORE 3133.028
AT ITER 570 NEW BEST:: SOT 13020 SOS 6980 HAS SOPS 6978 HAS SOUS 3079 HAS SOUPS 3078 WITH SCORE 3084.98
AT ITER 582 NEW BEST:: SOT 13057 SOS 7017 HAS SOPS 7015 HAS SOUS 3071 HAS SOUPS 3070 WITH SCORE 3077.017
AT ITER 591 NEW BEST:: SOT 13057 SOS 7013 HAS SOPS 7011 HAS SOUS 3063 HAS SOUPS 3062 WITH SCORE 3069.013
AT ITER 603 NEW BEST:: SOT 13045 SOS 6965 HAS SOPS 6963 HAS SOUS 3034 HAS SOUPS 3033 WITH SCORE 3039.965
AT ITER 606 NEW BEST:: SOT 13077 SOS 5795 HAS SOPS 5793 HAS SOUS 3028 HAS SOUPS 3027 WITH SCORE 3032.795
AT ITER 611 NEW BEST:: SOT 13058 SOS 5776 HAS SOPS 5774 HAS SOUS 3007 HAS SOUPS 3006 WITH SCORE 3011.776
AT ITER 632 NEW BEST:: SOT 13071 SOS 5770 HAS SOPS 5768 HAS SOUS 3007 HAS SOUPS 3006 WITH SCORE 3011.77
AT ITER 637 NEW BEST:: SOT 13068 SOS 5764 HAS SOPS 5762 HAS SOUS 2982 HAS SOUPS 2981 WITH SCORE 2986.764
AT ITER 665 NEW BEST:: SOT 13076 SOS 5762 HAS SOPS 5760 HAS SOUS 2971 HAS SOUPS 2970 WITH SCORE 2975.762
AT ITER 676 NEW BEST:: SOT 13076 SOS 5758 HAS SOPS 5756 HAS SOUS 2969 HAS SOUPS 2968 WITH SCORE 2973.758
AT ITER 694 NEW BEST:: SOT 13076 SOS 5758 HAS SOPS 5756 HAS SOUS 2966 HAS SOUPS 2965 WITH SCORE 2970.758
AT ITER 702 NEW BEST:: SOT 13029 SOS 5715 HAS SOPS 5713 HAS SOUS 2936 HAS SOUPS 2935 WITH SCORE 2940.715
AT ITER 720 NEW BEST:: SOT 13029 SOS 5704 HAS SOPS 5702 HAS SOUS 2936 HAS SOUPS 2935 WITH SCORE 2940.704
AT ITER 728 NEW BEST:: SOT 13014 SOS 5690 HAS SOPS 5688 HAS SOUS 2922 HAS SOUPS 2921 WITH SCORE 2926.69
AT ITER 731 NEW BEST:: SOT 13000 SOS 5596 HAS SOPS 5594 HAS SOUS 2898 HAS SOUPS 2897 WITH SCORE 2902.596
AT ITER 748 NEW BEST:: SOT 12993 SOS 5592 HAS SOPS 5590 HAS SOUS 2894 HAS SOUPS 2893 WITH SCORE 2898.592
AT ITER 765 NEW BEST:: SOT 12991 SOS 5590 HAS SOPS 5588 HAS SOUS 2892 HAS SOUPS 2891 WITH SCORE 2896.59
AT ITER 768 NEW BEST:: SOT 12964 SOS 5536 HAS SOPS 5534 HAS SOUS 2856 HAS SOUPS 2855 WITH SCORE 2860.536
AT ITER 770 NEW BEST:: SOT 12963 SOS 5533 HAS SOPS 5531 HAS SOUS 2854 HAS SOUPS 2853 WITH SCORE 2858.533
AT ITER 771 NEW BEST:: SOT 12957 SOS 5513 HAS SOPS 5511 HAS SOUS 2844 HAS SOUPS 2843 WITH SCORE 2848.513
AT ITER 781 NEW BEST:: SOT 12897 SOS 5453 HAS SOPS 5451 HAS SOUS 2838 HAS SOUPS 2837 WITH SCORE 2842.453
AT ITER 788 NEW BEST:: SOT 12897 SOS 5037 HAS SOPS 5035 HAS SOUS 2820 HAS SOUPS 2819 WITH SCORE 2824.037
AT ITER 800 NEW BEST:: SOT 12893 SOS 5003 HAS SOPS 5001 HAS SOUS 2797 HAS SOUPS 2796 WITH SCORE 2801.003
AT ITER 833 NEW BEST:: SOT 12890 SOS 5000 HAS SOPS 4998 HAS SOUS 2791 HAS SOUPS 2790 WITH SCORE 2795.0
AT ITER 843 NEW BEST:: SOT 12890 SOS 4982 HAS SOPS 4980 HAS SOUS 2782 HAS SOUPS 2781 WITH SCORE 2785.982
AT ITER 852 NEW BEST:: SOT 12814 SOS 4904 HAS SOPS 4902 HAS SOUS 2773 HAS SOUPS 2772 WITH SCORE 2776.904
AT ITER 900 NEW BEST:: SOT 12806 SOS 4900 HAS SOPS 4898 HAS SOUS 2765 HAS SOUPS 2764 WITH SCORE 2768.9
AT ITER 905 NEW BEST:: SOT 12806 SOS 4900 HAS SOPS 4898 HAS SOUS 2742 HAS SOUPS 2741 WITH SCORE 2745.9
AT ITER 907 NEW BEST:: SOT 12806 SOS 4894 HAS SOPS 4892 HAS SOUS 2736 HAS SOUPS 2735 WITH SCORE 2739.894
AT ITER 913 NEW BEST:: SOT 12809 SOS 4897 HAS SOPS 4895 HAS SOUS 2733 HAS SOUPS 2732 WITH SCORE 2736.897
AT ITER 917 NEW BEST:: SOT 12835 SOS 4897 HAS SOPS 4895 HAS SOUS 2713 HAS SOUPS 2712 WITH SCORE 2716.897
AT ITER 929 NEW BEST:: SOT 12802 SOS 4834 HAS SOPS 4832 HAS SOUS 2677 HAS SOUPS 2676 WITH SCORE 2680.834
AT ITER 934 NEW BEST:: SOT 12830 SOS 4848 HAS SOPS 4846 HAS SOUS 2673 HAS SOUPS 2672 WITH SCORE 2676.848
AT ITER 946 NEW BEST:: SOT 12825 SOS 4829 HAS SOPS 4827 HAS SOUS 2650 HAS SOUPS 2649 WITH SCORE 2653.829
AT ITER 975 NEW BEST:: SOT 12825 SOS 4816 HAS SOPS 4814 HAS SOUS 2650 HAS SOUPS 2649 WITH SCORE 2653.816
AT ITER 1001 NEW BEST:: SOT 12819 SOS 4810 HAS SOPS 4808 HAS SOUS 2638 HAS SOUPS 2637 WITH SCORE 2641.81
AT ITER 1015 NEW BEST:: SOT 12817 SOS 4814 HAS SOPS 4812 HAS SOUS 2636 HAS SOUPS 2635 WITH SCORE 2639.814
AT ITER 1017 NEW BEST:: SOT 12817 SOS 4814 HAS SOPS 4812 HAS SOUS 2633 HAS SOUPS 2632 WITH SCORE 2636.814
AT ITER 1019 NEW BEST:: SOT 12807 SOS 4800 HAS SOPS 4798 HAS SOUS 2613 HAS SOUPS 2612 WITH SCORE 2616.8
AT ITER 1037 NEW BEST:: SOT 12801 SOS 4792 HAS SOPS 4790 HAS SOUS 2605 HAS SOUPS 2604 WITH SCORE 2608.792
AT ITER 1057 NEW BEST:: SOT 12791 SOS 4772 HAS SOPS 4770 HAS SOUS 2587 HAS SOUPS 2586 WITH SCORE 2590.772
AT ITER 1065 NEW BEST:: SOT 12811 SOS 4792 HAS SOPS 4790 HAS SOUS 2583 HAS SOUPS 2582 WITH SCORE 2586.792
AT ITER 1070 NEW BEST:: SOT 12823 SOS 4800 HAS SOPS 4798 HAS SOUS 2579 HAS SOUPS 2578 WITH SCORE 2582.8
AT ITER 1076 NEW BEST:: SOT 12816 SOS 4786 HAS SOPS 4784 HAS SOUS 2558 HAS SOUPS 2557 WITH SCORE 2561.786
AT ITER 1078 NEW BEST:: SOT 12809 SOS 4765 HAS SOPS 4763 HAS SOUS 2537 HAS SOUPS 2536 WITH SCORE 2540.765
AT ITER 1079 NEW BEST:: SOT 12817 SOS 4773 HAS SOPS 4771 HAS SOUS 2529 HAS SOUPS 2528 WITH SCORE 2532.773
AT ITER 1107 NEW BEST:: SOT 12811 SOS 4761 HAS SOPS 4759 HAS SOUS 2517 HAS SOUPS 2516 WITH SCORE 2520.761
AT ITER 1135 NEW BEST:: SOT 12955 SOS 4817 HAS SOPS 4815 HAS SOUS 2497 HAS SOUPS 2496 WITH SCORE 2500.817
AT ITER 1181 NEW BEST:: SOT 12963 SOS 4785 HAS SOPS 4783 HAS SOUS 2486 HAS SOUPS 2485 WITH SCORE 2489.785
AT ITER 1183 NEW BEST:: SOT 12942 SOS 4722 HAS SOPS 4720 HAS SOUS 2423 HAS SOUPS 2422 WITH SCORE 2426.722
AT ITER 1196 NEW BEST:: SOT 12926 SOS 4712 HAS SOPS 4710 HAS SOUS 2404 HAS SOUPS 2403 WITH SCORE 2407.712
AT ITER 1212 NEW BEST:: SOT 12930 SOS 4652 HAS SOPS 4650 HAS SOUS 2404 HAS SOUPS 2403 WITH SCORE 2407.652
AT ITER 1213 NEW BEST:: SOT 12916 SOS 4641 HAS SOPS 4639 HAS SOUS 2376 HAS SOUPS 2375 WITH SCORE 2379.641
AT ITER 1216 NEW BEST:: SOT 12906 SOS 4651 HAS SOPS 4649 HAS SOUS 2366 HAS SOUPS 2365 WITH SCORE 2369.651
AT ITER 1273 NEW BEST:: SOT 12896 SOS 4641 HAS SOPS 4639 HAS SOUS 2361 HAS SOUPS 2360 WITH SCORE 2364.641
AT ITER 1283 NEW BEST:: SOT 12895 SOS 4642 HAS SOPS 4640 HAS SOUS 2359 HAS SOUPS 2358 WITH SCORE 2362.642
AT ITER 1286 NEW BEST:: SOT 12894 SOS 4640 HAS SOPS 4638 HAS SOUS 2356 HAS SOUPS 2355 WITH SCORE 2359.64
AT ITER 1327 NEW BEST:: SOT 12890 SOS 4615 HAS SOPS 4613 HAS SOUS 2331 HAS SOUPS 2330 WITH SCORE 2334.615
AT ITER 1328 NEW BEST:: SOT 12887 SOS 4598 HAS SOPS 4596 HAS SOUS 2318 HAS SOUPS 2317 WITH SCORE 2321.598
AT ITER 1349 NEW BEST:: SOT 12882 SOS 4578 HAS SOPS 4576 HAS SOUS 2292 HAS SOUPS 2291 WITH SCORE 2295.578
AT ITER 1371 NEW BEST:: SOT 12898 SOS 4592 HAS SOPS 4590 HAS SOUS 2290 HAS SOUPS 2289 WITH SCORE 2293.592
AT ITER 1374 NEW BEST:: SOT 12900 SOS 4592 HAS SOPS 4590 HAS SOUS 2284 HAS SOUPS 2283 WITH SCORE 2287.592
AT ITER 1389 NEW BEST:: SOT 12900 SOS 4590 HAS SOPS 4588 HAS SOUS 2280 HAS SOUPS 2279 WITH SCORE 2283.59
AT ITER 1395 NEW BEST:: SOT 12900 SOS 4593 HAS SOPS 4591 HAS SOUS 2266 HAS SOUPS 2265 WITH SCORE 2269.593
AT ITER 1400 NEW BEST:: SOT 12916 SOS 4436 HAS SOPS 4434 HAS SOUS 2255 HAS SOUPS 2254 WITH SCORE 2258.436
AT ITER 1525 NEW BEST:: SOT 12916 SOS 4415 HAS SOPS 4413 HAS SOUS 2241 HAS SOUPS 2240 WITH SCORE 2244.415
AT ITER 1529 NEW BEST:: SOT 12917 SOS 4412 HAS SOPS 4410 HAS SOUS 2233 HAS SOUPS 2232 WITH SCORE 2236.412
AT ITER 1561 NEW BEST:: SOT 12916 SOS 4407 HAS SOPS 4405 HAS SOUS 2227 HAS SOUPS 2226 WITH SCORE 2230.407
AT ITER 1571 NEW BEST:: SOT 12885 SOS 4376 HAS SOPS 4374 HAS SOUS 2207 HAS SOUPS 2206 WITH SCORE 2210.376
AT ITER 1572 NEW BEST:: SOT 12885 SOS 4376 HAS SOPS 4374 HAS SOUS 2205 HAS SOUPS 2204 WITH SCORE 2208.376
AT ITER 1665 NEW BEST:: SOT 12883 SOS 4373 HAS SOPS 4371 HAS SOUS 2203 HAS SOUPS 2202 WITH SCORE 2206.373
AT ITER 1666 NEW BEST:: SOT 12874 SOS 4355 HAS SOPS 4353 HAS SOUS 2190 HAS SOUPS 2189 WITH SCORE 2193.355
AT ITER 1721 NEW BEST:: SOT 12869 SOS 4229 HAS SOPS 4227 HAS SOUS 2177 HAS SOUPS 2176 WITH SCORE 2180.229
AT ITER 1731 NEW BEST:: SOT 12875 SOS 4233 HAS SOPS 4231 HAS SOUS 2167 HAS SOUPS 2166 WITH SCORE 2170.233
AT ITER 1755 NEW BEST:: SOT 12875 SOS 4225 HAS SOPS 4223 HAS SOUS 2159 HAS SOUPS 2158 WITH SCORE 2162.225
AT ITER 1757 NEW BEST:: SOT 12877 SOS 4222 HAS SOPS 4220 HAS SOUS 2158 HAS SOUPS 2157 WITH SCORE 2161.222
AT ITER 1774 NEW BEST:: SOT 12878 SOS 4214 HAS SOPS 4212 HAS SOUS 2146 HAS SOUPS 2145 WITH SCORE 2149.214
AT ITER 1796 NEW BEST:: SOT 12800 SOS 4136 HAS SOPS 4134 HAS SOUS 2146 HAS SOUPS 2145 WITH SCORE 2149.136
AT ITER 1799 NEW BEST:: SOT 12790 SOS 4122 HAS SOPS 4120 HAS SOUS 2142 HAS SOUPS 2141 WITH SCORE 2145.122
AT ITER 1814 NEW BEST:: SOT 12790 SOS 4117 HAS SOPS 4115 HAS SOUS 2140 HAS SOUPS 2139 WITH SCORE 2143.117
AT ITER 1817 NEW BEST:: SOT 12791 SOS 4112 HAS SOPS 4110 HAS SOUS 2131 HAS SOUPS 2130 WITH SCORE 2134.112
AT ITER 1818 NEW BEST:: SOT 12790 SOS 4107 HAS SOPS 4105 HAS SOUS 2129 HAS SOUPS 2128 WITH SCORE 2132.107
AT ITER 1845 NEW BEST:: SOT 12778 SOS 4095 HAS SOPS 4093 HAS SOUS 2105 HAS SOUPS 2104 WITH SCORE 2108.095
AT ITER 1864 NEW BEST:: SOT 12777 SOS 4090 HAS SOPS 4088 HAS SOUS 2101 HAS SOUPS 2100 WITH SCORE 2104.09
AT ITER 1917 NEW BEST:: SOT 12775 SOS 4105 HAS SOPS 4103 HAS SOUS 2100 HAS SOUPS 2099 WITH SCORE 2103.105
AT ITER 1925 NEW BEST:: SOT 12775 SOS 4111 HAS SOPS 4109 HAS SOUS 2098 HAS SOUPS 2097 WITH SCORE 2101.111
AT ITER 1931 NEW BEST:: SOT 12778 SOS 4122 HAS SOPS 4120 HAS SOUS 2096 HAS SOUPS 2095 WITH SCORE 2099.122
AT ITER 1932 NEW BEST:: SOT 12773 SOS 4123 HAS SOPS 4121 HAS SOUS 2094 HAS SOUPS 2093 WITH SCORE 2097.123
AT ITER 1936 NEW BEST:: SOT 12765 SOS 4121 HAS SOPS 4119 HAS SOUS 2090 HAS SOUPS 2089 WITH SCORE 2093.121
AT ITER 1946 NEW BEST:: SOT 12767 SOS 4119 HAS SOPS 4117 HAS SOUS 2090 HAS SOUPS 2089 WITH SCORE 2093.119
AT ITER 1960 NEW BEST:: SOT 12762 SOS 4064 HAS SOPS 4062 HAS SOUS 2031 HAS SOUPS 2030 WITH SCORE 2034.064
AT ITER 1966 NEW BEST:: SOT 12762 SOS 4062 HAS SOPS 4060 HAS SOUS 2030 HAS SOUPS 2029 WITH SCORE 2033.062
AT ITER 1993 NEW BEST:: SOT 12830 SOS 4120 HAS SOPS 4118 HAS SOUS 2020 HAS SOUPS 2019 WITH SCORE 2023.12
AT ITER 2013 NEW BEST:: SOT 12829 SOS 4120 HAS SOPS 4118 HAS SOUS 2018 HAS SOUPS 2017 WITH SCORE 2021.12
AT ITER 2029 NEW BEST:: SOT 12828 SOS 4136 HAS SOPS 4134 HAS SOUS 2015 HAS SOUPS 2014 WITH SCORE 2018.136
AT ITER 2045 NEW BEST:: SOT 12837 SOS 4134 HAS SOPS 4132 HAS SOUS 2007 HAS SOUPS 2006 WITH SCORE 2010.134
AT ITER 2052 NEW BEST:: SOT 12825 SOS 4106 HAS SOPS 4104 HAS SOUS 1999 HAS SOUPS 1998 WITH SCORE 2002.106
AT ITER 2074 NEW BEST:: SOT 12821 SOS 4102 HAS SOPS 4100 HAS SOUS 1997 HAS SOUPS 1996 WITH SCORE 2000.102
AT ITER 2085 NEW BEST:: SOT 12815 SOS 4096 HAS SOPS 4094 HAS SOUS 1988 HAS SOUPS 1987 WITH SCORE 1991.096
AT ITER 2113 NEW BEST:: SOT 12805 SOS 4089 HAS SOPS 4087 HAS SOUS 1979 HAS SOUPS 1978 WITH SCORE 1982.089
AT ITER 2124 NEW BEST:: SOT 12803 SOS 4082 HAS SOPS 4080 HAS SOUS 1977 HAS SOUPS 1976 WITH SCORE 1980.082
AT ITER 2127 NEW BEST:: SOT 12812 SOS 4061 HAS SOPS 4059 HAS SOUS 1973 HAS SOUPS 1972 WITH SCORE 1976.061
AT ITER 2181 NEW BEST:: SOT 12812 SOS 4058 HAS SOPS 4056 HAS SOUS 1971 HAS SOUPS 1970 WITH SCORE 1974.058
AT ITER 2204 NEW BEST:: SOT 12812 SOS 4055 HAS SOPS 4053 HAS SOUS 1968 HAS SOUPS 1967 WITH SCORE 1971.055
AT ITER 2211 NEW BEST:: SOT 12800 SOS 4044 HAS SOPS 4042 HAS SOUS 1961 HAS SOUPS 1960 WITH SCORE 1964.044
AT ITER 2213 NEW BEST:: SOT 12800 SOS 4042 HAS SOPS 4040 HAS SOUS 1959 HAS SOUPS 1958 WITH SCORE 1962.042
AT ITER 2310 NEW BEST:: SOT 12789 SOS 4028 HAS SOPS 4026 HAS SOUS 1953 HAS SOUPS 1952 WITH SCORE 1956.028
AT ITER 2364 NEW BEST:: SOT 12774 SOS 4001 HAS SOPS 3999 HAS SOUS 1923 HAS SOUPS 1922 WITH SCORE 1926.001
AT ITER 2390 NEW BEST:: SOT 12764 SOS 3972 HAS SOPS 3970 HAS SOUS 1885 HAS SOUPS 1884 WITH SCORE 1887.972
AT ITER 2393 NEW BEST:: SOT 12755 SOS 3945 HAS SOPS 3943 HAS SOUS 1885 HAS SOUPS 1884 WITH SCORE 1887.945
AT ITER 2419 NEW BEST:: SOT 12743 SOS 3932 HAS SOPS 3930 HAS SOUS 1869 HAS SOUPS 1868 WITH SCORE 1871.932
AT ITER 2460 NEW BEST:: SOT 12739 SOS 3930 HAS SOPS 3928 HAS SOUS 1867 HAS SOUPS 1866 WITH SCORE 1869.93
AT ITER 2475 NEW BEST:: SOT 12717 SOS 3896 HAS SOPS 3894 HAS SOUS 1858 HAS SOUPS 1857 WITH SCORE 1860.896
AT ITER 2480 NEW BEST:: SOT 12701 SOS 3880 HAS SOPS 3878 HAS SOUS 1850 HAS SOUPS 1849 WITH SCORE 1852.88
AT ITER 2521 NEW BEST:: SOT 12699 SOS 3879 HAS SOPS 3877 HAS SOUS 1850 HAS SOUPS 1849 WITH SCORE 1852.879
AT ITER 2573 NEW BEST:: SOT 12696 SOS 3875 HAS SOPS 3873 HAS SOUS 1848 HAS SOUPS 1847 WITH SCORE 1850.875
AT ITER 2681 NEW BEST:: SOT 12696 SOS 3874 HAS SOPS 3872 HAS SOUS 1847 HAS SOUPS 1846 WITH SCORE 1849.874
AT ITER 2697 NEW BEST:: SOT 12690 SOS 3862 HAS SOPS 3860 HAS SOUS 1829 HAS SOUPS 1828 WITH SCORE 1831.862
AT ITER 2700 NEW BEST:: SOT 12689 SOS 3859 HAS SOPS 3857 HAS SOUS 1822 HAS SOUPS 1821 WITH SCORE 1824.859
AT ITER 2706 NEW BEST:: SOT 12671 SOS 4122 HAS SOPS 3922 HAS SOUS 1815 HAS SOUPS 1805 WITH SCORE 1809.122
AT ITER 2726 NEW BEST:: SOT 12669 SOS 4120 HAS SOPS 3920 HAS SOUS 1812 HAS SOUPS 1802 WITH SCORE 1806.12
AT ITER 2740 NEW BEST:: SOT 12669 SOS 4115 HAS SOPS 3915 HAS SOUS 1812 HAS SOUPS 1802 WITH SCORE 1806.115
AT ITER 2776 NEW BEST:: SOT 12656 SOS 4103 HAS SOPS 3969 HAS SOUS 1800 HAS SOUPS 1793 WITH SCORE 1797.103
AT ITER 2797 NEW BEST:: SOT 12655 SOS 4105 HAS SOPS 3971 HAS SOUS 1798 HAS SOUPS 1791 WITH SCORE 1795.105
AT ITER 2820 NEW BEST:: SOT 12657 SOS 4095 HAS SOPS 3961 HAS SOUS 1790 HAS SOUPS 1783 WITH SCORE 1787.095
AT ITER 2883 NEW BEST:: SOT 12649 SOS 4087 HAS SOPS 3953 HAS SOUS 1790 HAS SOUPS 1783 WITH SCORE 1787.087
AT ITER 2909 NEW BEST:: SOT 12649 SOS 4086 HAS SOPS 3952 HAS SOUS 1790 HAS SOUPS 1783 WITH SCORE 1787.086
AT ITER 2911 NEW BEST:: SOT 12650 SOS 4084 HAS SOPS 3950 HAS SOUS 1789 HAS SOUPS 1782 WITH SCORE 1786.084
AT ITER 2923 NEW BEST:: SOT 12655 SOS 4085 HAS SOPS 3951 HAS SOUS 1782 HAS SOUPS 1775 WITH SCORE 1779.085
AT ITER 2927 NEW BEST:: SOT 12575 SOS 4366 HAS SOPS 4232 HAS SOUS 1774 HAS SOUPS 1767 WITH SCORE 1771.366
AT ITER 2969 NEW BEST:: SOT 12575 SOS 4364 HAS SOPS 4230 HAS SOUS 1774 HAS SOUPS 1767 WITH SCORE 1771.364
AT ITER 3066 NEW BEST:: SOT 12578 SOS 4362 HAS SOPS 4228 HAS SOUS 1770 HAS SOUPS 1763 WITH SCORE 1767.362
AT ITER 3079 NEW BEST:: SOT 12570 SOS 4354 HAS SOPS 4220 HAS SOUS 1770 HAS SOUPS 1763 WITH SCORE 1767.354
AT ITER 3095 NEW BEST:: SOT 12573 SOS 4351 HAS SOPS 4217 HAS SOUS 1768 HAS SOUPS 1761 WITH SCORE 1765.351
AT ITER 3148 NEW BEST:: SOT 12565 SOS 4332 HAS SOPS 4198 HAS SOUS 1752 HAS SOUPS 1745 WITH SCORE 1749.332
AT ITER 3155 NEW BEST:: SOT 12569 SOS 4331 HAS SOPS 4197 HAS SOUS 1745 HAS SOUPS 1738 WITH SCORE 1742.331
AT ITER 3206 NEW BEST:: SOT 12569 SOS 4321 HAS SOPS 4187 HAS SOUS 1740 HAS SOUPS 1733 WITH SCORE 1737.321
AT ITER 3229 NEW BEST:: SOT 12566 SOS 4314 HAS SOPS 4180 HAS SOUS 1734 HAS SOUPS 1727 WITH SCORE 1731.314
AT ITER 3238 NEW BEST:: SOT 12564 SOS 4312 HAS SOPS 4178 HAS SOUS 1734 HAS SOUPS 1727 WITH SCORE 1731.312
AT ITER 3260 NEW BEST:: SOT 12559 SOS 4305 HAS SOPS 4171 HAS SOUS 1724 HAS SOUPS 1717 WITH SCORE 1721.305
AT ITER 3285 NEW BEST:: SOT 12559 SOS 4303 HAS SOPS 4169 HAS SOUS 1722 HAS SOUPS 1715 WITH SCORE 1719.303
AT ITER 3398 NEW BEST:: SOT 12557 SOS 4303 HAS SOPS 4169 HAS SOUS 1720 HAS SOUPS 1713 WITH SCORE 1717.303
AT ITER 3404 NEW BEST:: SOT 12562 SOS 4300 HAS SOPS 4166 HAS SOUS 1719 HAS SOUPS 1712 WITH SCORE 1716.3
AT ITER 3429 NEW BEST:: SOT 12562 SOS 4289 HAS SOPS 4155 HAS SOUS 1701 HAS SOUPS 1694 WITH SCORE 1698.289
AT ITER 3441 NEW BEST:: SOT 12563 SOS 4286 HAS SOPS 4152 HAS SOUS 1699 HAS SOUPS 1692 WITH SCORE 1696.286
AT ITER 3448 NEW BEST:: SOT 12545 SOS 4288 HAS SOPS 4154 HAS SOUS 1694 HAS SOUPS 1687 WITH SCORE 1691.288
AT ITER 3470 NEW BEST:: SOT 12533 SOS 4664 HAS SOPS 4183 HAS SOUS 1697 HAS SOUPS 1676 WITH SCORE 1680.664
AT ITER 3490 NEW BEST:: SOT 12531 SOS 4660 HAS SOPS 4179 HAS SOUS 1693 HAS SOUPS 1672 WITH SCORE 1676.66
AT ITER 3492 NEW BEST:: SOT 12531 SOS 4657 HAS SOPS 4176 HAS SOUS 1693 HAS SOUPS 1672 WITH SCORE 1676.657
AT ITER 3536 NEW BEST:: SOT 12526 SOS 4653 HAS SOPS 4172 HAS SOUS 1688 HAS SOUPS 1667 WITH SCORE 1671.653
AT ITER 3616 NEW BEST:: SOT 12526 SOS 4648 HAS SOPS 4167 HAS SOUS 1688 HAS SOUPS 1667 WITH SCORE 1671.648
AT ITER 3722 NEW BEST:: SOT 12533 SOS 4654 HAS SOPS 4173 HAS SOUS 1686 HAS SOUPS 1665 WITH SCORE 1669.654
AT ITER 3732 NEW BEST:: SOT 12547 SOS 4663 HAS SOPS 4182 HAS SOUS 1685 HAS SOUPS 1664 WITH SCORE 1668.663
AT ITER 3734 NEW BEST:: SOT 12547 SOS 4657 HAS SOPS 4176 HAS SOUS 1682 HAS SOUPS 1661 WITH SCORE 1665.657
AT ITER 3763 NEW BEST:: SOT 12549 SOS 4655 HAS SOPS 4174 HAS SOUS 1681 HAS SOUPS 1660 WITH SCORE 1664.655
AT ITER 3835 NEW BEST:: SOT 12547 SOS 4653 HAS SOPS 4171 HAS SOUS 1679 HAS SOUPS 1658 WITH SCORE 1662.653
AT ITER 3863 NEW BEST:: SOT 12543 SOS 4647 HAS SOPS 4165 HAS SOUS 1671 HAS SOUPS 1650 WITH SCORE 1654.647
AT ITER 3874 NEW BEST:: SOT 12525 SOS 4629 HAS SOPS 4147 HAS SOUS 1653 HAS SOUPS 1632 WITH SCORE 1636.629
AT ITER 3900 NEW BEST:: SOT 12496 SOS 4612 HAS SOPS 4407 HAS SOUS 1636 HAS SOUPS 1627 WITH SCORE 1631.612
AT ITER 3980 NEW BEST:: SOT 12495 SOS 4610 HAS SOPS 4405 HAS SOUS 1636 HAS SOUPS 1627 WITH SCORE 1631.61
AT ITER 4040 NEW BEST:: SOT 12521 SOS 4616 HAS SOPS 4406 HAS SOUS 1607 HAS SOUPS 1598 WITH SCORE 1602.616
AT ITER 4045 NEW BEST:: SOT 12521 SOS 4594 HAS SOPS 4384 HAS SOUS 1607 HAS SOUPS 1598 WITH SCORE 1602.594
AT ITER 4168 NEW BEST:: SOT 12518 SOS 4591 HAS SOPS 4381 HAS SOUS 1601 HAS SOUPS 1592 WITH SCORE 1596.591
AT ITER 4210 NEW BEST:: SOT 12452 SOS 4973 HAS SOPS 4971 HAS SOUS 1542 HAS SOUPS 1541 WITH SCORE 1545.973
AT ITER 4259 NEW BEST:: SOT 12450 SOS 4969 HAS SOPS 4967 HAS SOUS 1536 HAS SOUPS 1535 WITH SCORE 1539.969
AT ITER 4262 NEW BEST:: SOT 12442 SOS 4943 HAS SOPS 4941 HAS SOUS 1511 HAS SOUPS 1510 WITH SCORE 1514.943
AT ITER 4277 NEW BEST:: SOT 12442 SOS 4939 HAS SOPS 4937 HAS SOUS 1511 HAS SOUPS 1510 WITH SCORE 1514.939
AT ITER 4298 NEW BEST:: SOT 12442 SOS 4933 HAS SOPS 4931 HAS SOUS 1505 HAS SOUPS 1504 WITH SCORE 1508.933
AT ITER 4317 NEW BEST:: SOT 12437 SOS 4927 HAS SOPS 4925 HAS SOUS 1495 HAS SOUPS 1494 WITH SCORE 1498.927
AT ITER 4333 NEW BEST:: SOT 12437 SOS 4913 HAS SOPS 4724 HAS SOUS 1502 HAS SOUPS 1494 WITH SCORE 1498.913
AT ITER 4354 NEW BEST:: SOT 12415 SOS 4879 HAS SOPS 4690 HAS SOUS 1474 HAS SOUPS 1466 WITH SCORE 1470.879
AT ITER 4397 NEW BEST:: SOT 12413 SOS 4875 HAS SOPS 4686 HAS SOUS 1470 HAS SOUPS 1462 WITH SCORE 1466.875
AT ITER 4410 NEW BEST:: SOT 12415 SOS 4876 HAS SOPS 4687 HAS SOUS 1469 HAS SOUPS 1461 WITH SCORE 1465.876
AT ITER 4431 NEW BEST:: SOT 12412 SOS 4873 HAS SOPS 4684 HAS SOUS 1462 HAS SOUPS 1454 WITH SCORE 1458.873
AT ITER 4443 NEW BEST:: SOT 12348 SOS 5176 HAS SOPS 4987 HAS SOUS 1441 HAS SOUPS 1433 WITH SCORE 1438.176
AT ITER 4574 NEW BEST:: SOT 12359 SOS 5181 HAS SOPS 4992 HAS SOUS 1439 HAS SOUPS 1431 WITH SCORE 1436.181
AT ITER 4619 NEW BEST:: SOT 12341 SOS 5163 HAS SOPS 4974 HAS SOUS 1439 HAS SOUPS 1431 WITH SCORE 1436.163
AT ITER 4620 NEW BEST:: SOT 12334 SOS 5158 HAS SOPS 4969 HAS SOUS 1439 HAS SOUPS 1431 WITH SCORE 1436.158
AT ITER 4646 NEW BEST:: SOT 12339 SOS 5159 HAS SOPS 4970 HAS SOUS 1438 HAS SOUPS 1430 WITH SCORE 1435.159
AT ITER 4665 NEW BEST:: SOT 12285 SOS 5153 HAS SOPS 4964 HAS SOUS 1426 HAS SOUPS 1418 WITH SCORE 1423.153
AT ITER 4669 NEW BEST:: SOT 12282 SOS 5149 HAS SOPS 4960 HAS SOUS 1422 HAS SOUPS 1414 WITH SCORE 1419.149
AT ITER 4706 NEW BEST:: SOT 12280 SOS 4988 HAS SOPS 4799 HAS SOUS 1419 HAS SOUPS 1411 WITH SCORE 1415.988
AT ITER 4770 NEW BEST:: SOT 12293 SOS 4952 HAS SOPS 4763 HAS SOUS 1417 HAS SOUPS 1409 WITH SCORE 1413.952
AT ITER 4791 NEW BEST:: SOT 12291 SOS 4950 HAS SOPS 4761 HAS SOUS 1415 HAS SOUPS 1407 WITH SCORE 1411.95
AT ITER 4806 NEW BEST:: SOT 12274 SOS 4945 HAS SOPS 4756 HAS SOUS 1410 HAS SOUPS 1402 WITH SCORE 1406.945
AT ITER 4884 NEW BEST:: SOT 12274 SOS 4814 HAS SOPS 4625 HAS SOUS 1401 HAS SOUPS 1393 WITH SCORE 1397.814
AT ITER 4898 NEW BEST:: SOT 12265 SOS 4809 HAS SOPS 4620 HAS SOUS 1395 HAS SOUPS 1387 WITH SCORE 1391.809
AT ITER 4910 NEW BEST:: SOT 12250 SOS 4796 HAS SOPS 4607 HAS SOUS 1390 HAS SOUPS 1382 WITH SCORE 1386.796
AT ITER 4920 NEW BEST:: SOT 12245 SOS 4793 HAS SOPS 4604 HAS SOUS 1390 HAS SOUPS 1382 WITH SCORE 1386.793
AT ITER 4923 NEW BEST:: SOT 12253 SOS 4785 HAS SOPS 4596 HAS SOUS 1388 HAS SOUPS 1380 WITH SCORE 1384.785
AT ITER 4927 NEW BEST:: SOT 12246 SOS 4780 HAS SOPS 4591 HAS SOUS 1383 HAS SOUPS 1375 WITH SCORE 1379.78
AT ITER 5054 NEW BEST:: SOT 12247 SOS 4779 HAS SOPS 4590 HAS SOUS 1383 HAS SOUPS 1375 WITH SCORE 1379.779
AT ITER 5079 NEW BEST:: SOT 12251 SOS 4778 HAS SOPS 4589 HAS SOUS 1382 HAS SOUPS 1374 WITH SCORE 1378.778
AT ITER 5101 NEW BEST:: SOT 12229 SOS 4758 HAS SOPS 4567 HAS SOUS 1361 HAS SOUPS 1353 WITH SCORE 1357.758
AT ITER 5203 NEW BEST:: SOT 12223 SOS 4755 HAS SOPS 4564 HAS SOUS 1356 HAS SOUPS 1348 WITH SCORE 1352.755
AT ITER 5231 NEW BEST:: SOT 12208 SOS 4758 HAS SOPS 4567 HAS SOUS 1348 HAS SOUPS 1340 WITH SCORE 1344.758
AT ITER 5235 NEW BEST:: SOT 12213 SOS 4757 HAS SOPS 4566 HAS SOUS 1346 HAS SOUPS 1338 WITH SCORE 1342.757
AT ITER 5239 NEW BEST:: SOT 12212 SOS 4757 HAS SOPS 4566 HAS SOUS 1345 HAS SOUPS 1337 WITH SCORE 1341.757
AT ITER 5255 NEW BEST:: SOT 12210 SOS 4753 HAS SOPS 4562 HAS SOUS 1343 HAS SOUPS 1335 WITH SCORE 1339.753
AT ITER 5320 NEW BEST:: SOT 12210 SOS 4751 HAS SOPS 4560 HAS SOUS 1341 HAS SOUPS 1333 WITH SCORE 1337.751
AT ITER 5327 NEW BEST:: SOT 12209 SOS 4750 HAS SOPS 4559 HAS SOUS 1340 HAS SOUPS 1332 WITH SCORE 1336.75
AT ITER 5343 NEW BEST:: SOT 12208 SOS 4749 HAS SOPS 4558 HAS SOUS 1339 HAS SOUPS 1331 WITH SCORE 1335.749
AT ITER 5390 NEW BEST:: SOT 12200 SOS 4735 HAS SOPS 4544 HAS SOUS 1329 HAS SOUPS 1321 WITH SCORE 1325.735
AT ITER 5462 NEW BEST:: SOT 12199 SOS 4734 HAS SOPS 4543 HAS SOUS 1328 HAS SOUPS 1320 WITH SCORE 1324.734
AT ITER 5485 NEW BEST:: SOT 12197 SOS 4732 HAS SOPS 4541 HAS SOUS 1328 HAS SOUPS 1320 WITH SCORE 1324.732
AT ITER 5544 NEW BEST:: SOT 12202 SOS 4734 HAS SOPS 4543 HAS SOUS 1325 HAS SOUPS 1317 WITH SCORE 1321.734
AT ITER 5623 NEW BEST:: SOT 12192 SOS 4729 HAS SOPS 4616 HAS SOUS 1317 HAS SOUPS 1312 WITH SCORE 1316.729
AT ITER 5790 NEW BEST:: SOT 12189 SOS 4730 HAS SOPS 4617 HAS SOUS 1315 HAS SOUPS 1310 WITH SCORE 1314.73
AT ITER 5829 NEW BEST:: SOT 12190 SOS 4730 HAS SOPS 4617 HAS SOUS 1312 HAS SOUPS 1307 WITH SCORE 1311.73
AT ITER 5875 NEW BEST:: SOT 12190 SOS 4729 HAS SOPS 4616 HAS SOUS 1312 HAS SOUPS 1307 WITH SCORE 1311.729
AT ITER 5948 NEW BEST:: SOT 12190 SOS 4737 HAS SOPS 4624 HAS SOUS 1304 HAS SOUPS 1299 WITH SCORE 1303.737
AT ITER 6156 NEW BEST:: SOT 12157 SOS 4712 HAS SOPS 4599 HAS SOUS 1286 HAS SOUPS 1281 WITH SCORE 1285.712
AT ITER 6311 NEW BEST:: SOT 12154 SOS 4711 HAS SOPS 4598 HAS SOUS 1286 HAS SOUPS 1281 WITH SCORE 1285.711
AT ITER 6362 NEW BEST:: SOT 12163 SOS 4719 HAS SOPS 4606 HAS SOUS 1284 HAS SOUPS 1279 WITH SCORE 1283.719
AT ITER 6482 NEW BEST:: SOT 12160 SOS 4716 HAS SOPS 4603 HAS SOUS 1276 HAS SOUPS 1271 WITH SCORE 1275.716
AT ITER 6519 NEW BEST:: SOT 12160 SOS 4716 HAS SOPS 4603 HAS SOUS 1275 HAS SOUPS 1270 WITH SCORE 1274.716
AT ITER 6521 NEW BEST:: SOT 12160 SOS 4714 HAS SOPS 4597 HAS SOUS 1267 HAS SOUPS 1262 WITH SCORE 1266.714
AT ITER 6532 NEW BEST:: SOT 12156 SOS 4710 HAS SOPS 4593 HAS SOUS 1267 HAS SOUPS 1262 WITH SCORE 1266.71
AT ITER 6587 NEW BEST:: SOT 12144 SOS 4698 HAS SOPS 4581 HAS SOUS 1256 HAS SOUPS 1251 WITH SCORE 1255.698
AT ITER 6597 NEW BEST:: SOT 12132 SOS 4686 HAS SOPS 4569 HAS SOUS 1251 HAS SOUPS 1246 WITH SCORE 1250.686
AT ITER 6689 NEW BEST:: SOT 12133 SOS 4684 HAS SOPS 4567 HAS SOUS 1251 HAS SOUPS 1246 WITH SCORE 1250.684
AT ITER 6936 NEW BEST:: SOT 12138 SOS 4661 HAS SOPS 4544 HAS SOUS 1248 HAS SOUPS 1243 WITH SCORE 1247.661
AT ITER 6944 NEW BEST:: SOT 12138 SOS 4661 HAS SOPS 4544 HAS SOUS 1239 HAS SOUPS 1234 WITH SCORE 1238.661
AT ITER 7104 NEW BEST:: SOT 12138 SOS 4659 HAS SOPS 4542 HAS SOUS 1239 HAS SOUPS 1234 WITH SCORE 1238.659
AT ITER 7137 NEW BEST:: SOT 12137 SOS 4657 HAS SOPS 4540 HAS SOUS 1236 HAS SOUPS 1231 WITH SCORE 1235.657
AT ITER 7482 NEW BEST:: SOT 12137 SOS 4655 HAS SOPS 4538 HAS SOUS 1233 HAS SOUPS 1228 WITH SCORE 1232.655
AT ITER 7525 NEW BEST:: SOT 12123 SOS 4641 HAS SOPS 4524 HAS SOUS 1216 HAS SOUPS 1211 WITH SCORE 1215.641
AT ITER 7602 NEW BEST:: SOT 12121 SOS 4639 HAS SOPS 4522 HAS SOUS 1215 HAS SOUPS 1210 WITH SCORE 1214.639
AT ITER 7661 NEW BEST:: SOT 12121 SOS 4636 HAS SOPS 4519 HAS SOUS 1213 HAS SOUPS 1208 WITH SCORE 1212.636
AT ITER 7825 NEW BEST:: SOT 12115 SOS 4630 HAS SOPS 4513 HAS SOUS 1201 HAS SOUPS 1196 WITH SCORE 1200.63
AT ITER 7868 NEW BEST:: SOT 12115 SOS 4630 HAS SOPS 4513 HAS SOUS 1200 HAS SOUPS 1195 WITH SCORE 1199.63
AT ITER 7908 NEW BEST:: SOT 12113 SOS 4626 HAS SOPS 4509 HAS SOUS 1196 HAS SOUPS 1191 WITH SCORE 1195.626
AT ITER 7964 NEW BEST:: SOT 12110 SOS 4623 HAS SOPS 4506 HAS SOUS 1196 HAS SOUPS 1191 WITH SCORE 1195.623
AT ITER 8028 NEW BEST:: SOT 12107 SOS 4620 HAS SOPS 4560 HAS SOUS 1192 HAS SOUPS 1189 WITH SCORE 1193.62
AT ITER 8085 NEW BEST:: SOT 12105 SOS 4620 HAS SOPS 4560 HAS SOUS 1188 HAS SOUPS 1185 WITH SCORE 1189.62
AT ITER 8141 NEW BEST:: SOT 12101 SOS 4617 HAS SOPS 4557 HAS SOUS 1187 HAS SOUPS 1184 WITH SCORE 1188.617
AT ITER 8151 NEW BEST:: SOT 12098 SOS 4618 HAS SOPS 4558 HAS SOUS 1182 HAS SOUPS 1179 WITH SCORE 1183.618
AT ITER 8382 NEW BEST:: SOT 12103 SOS 4613 HAS SOPS 4553 HAS SOUS 1178 HAS SOUPS 1175 WITH SCORE 1179.613
AT ITER 8408 NEW BEST:: SOT 12102 SOS 4612 HAS SOPS 4552 HAS SOUS 1177 HAS SOUPS 1174 WITH SCORE 1178.612
AT ITER 8537 NEW BEST:: SOT 12102 SOS 4610 HAS SOPS 4550 HAS SOUS 1174 HAS SOUPS 1171 WITH SCORE 1175.61
AT ITER 8546 NEW BEST:: SOT 12102 SOS 4609 HAS SOPS 4549 HAS SOUS 1174 HAS SOUPS 1171 WITH SCORE 1175.609
AT ITER 8598 NEW BEST:: SOT 12096 SOS 4604 HAS SOPS 4573 HAS SOUS 1168 HAS SOUPS 1166 WITH SCORE 1170.604
AT ITER 8686 NEW BEST:: SOT 12095 SOS 4601 HAS SOPS 4570 HAS SOUS 1165 HAS SOUPS 1163 WITH SCORE 1167.601
AT ITER 8714 NEW BEST:: SOT 12093 SOS 4598 HAS SOPS 4567 HAS SOUS 1161 HAS SOUPS 1159 WITH SCORE 1163.598
AT ITER 8763 NEW BEST:: SOT 12093 SOS 4594 HAS SOPS 4563 HAS SOUS 1158 HAS SOUPS 1156 WITH SCORE 1160.594
AT ITER 8843 NEW BEST:: SOT 12093 SOS 4593 HAS SOPS 4562 HAS SOUS 1158 HAS SOUPS 1156 WITH SCORE 1160.593
AT ITER 9154 NEW BEST:: SOT 12092 SOS 4592 HAS SOPS 4561 HAS SOUS 1156 HAS SOUPS 1154 WITH SCORE 1158.592
AT ITER 9227 NEW BEST:: SOT 12092 SOS 4594 HAS SOPS 4563 HAS SOUS 1154 HAS SOUPS 1152 WITH SCORE 1156.594
AT ITER 9243 NEW BEST:: SOT 12090 SOS 4592 HAS SOPS 4561 HAS SOUS 1150 HAS SOUPS 1148 WITH SCORE 1152.592
AT ITER 9260 NEW BEST:: SOT 12090 SOS 4592 HAS SOPS 4561 HAS SOUS 1148 HAS SOUPS 1146 WITH SCORE 1150.592
AT ITER 9410 NEW BEST:: SOT 12071 SOS 4573 HAS SOPS 4542 HAS SOUS 1138 HAS SOUPS 1136 WITH SCORE 1140.573
AT ITER 9480 NEW BEST:: SOT 12075 SOS 4577 HAS SOPS 4546 HAS SOUS 1137 HAS SOUPS 1135 WITH SCORE 1139.577
AT ITER 9544 NEW BEST:: SOT 12073 SOS 4575 HAS SOPS 4544 HAS SOUS 1135 HAS SOUPS 1133 WITH SCORE 1137.575
AT ITER 9614 NEW BEST:: SOT 12071 SOS 4571 HAS SOPS 4540 HAS SOUS 1129 HAS SOUPS 1127 WITH SCORE 1131.571
AT ITER 9677 NEW BEST:: SOT 12073 SOS 4569 HAS SOPS 4538 HAS SOUS 1127 HAS SOUPS 1125 WITH SCORE 1129.569
AT ITER 9726 NEW BEST:: SOT 12069 SOS 4568 HAS SOPS 4537 HAS SOUS 1124 HAS SOUPS 1122 WITH SCORE 1126.568
AT ITER 9801 NEW BEST:: SOT 12066 SOS 4564 HAS SOPS 4533 HAS SOUS 1120 HAS SOUPS 1118 WITH SCORE 1122.564
AT ITER 9828 NEW BEST:: SOT 12067 SOS 4561 HAS SOPS 4530 HAS SOUS 1117 HAS SOUPS 1115 WITH SCORE 1119.561
AT ITER 9876 NEW BEST:: SOT 12069 SOS 4559 HAS SOPS 4528 HAS SOUS 1115 HAS SOUPS 1113 WITH SCORE 1117.559
STATE_SPACE STATES 110676758401879606013 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 34 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3172717681345578656438 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678455375785

--------------------
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-32a"
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-32a, 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-167840342000120"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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