Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902541900248.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DES-PT-10a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541900248
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 208K
-rw-r--r-- 1 mcc users 2.8K Mar 30 01:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 30 01:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 28 16:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 16:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.0K Apr 8 14:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Mar 27 08:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 27 08:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 26 08:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 26 08:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 43K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589104441412

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 10a
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 155 places, 112 transitions, 552 arcs.
AT ITER 0 NEW BEST:: SOT 13206 SOS 11182 HAS SOPS 11182 HAS SOUS 7513 HAS SOUPS 7513 WITH SCORE 7524.182
AT ITER 2 NEW BEST:: SOT 13198 SOS 11174 HAS SOPS 11174 HAS SOUS 7505 HAS SOUPS 7505 WITH SCORE 7516.174
AT ITER 17 NEW BEST:: SOT 13177 SOS 11156 HAS SOPS 11156 HAS SOUS 7487 HAS SOUPS 7487 WITH SCORE 7498.156
AT ITER 20 NEW BEST:: SOT 13077 SOS 11060 HAS SOPS 11060 HAS SOUS 7391 HAS SOUPS 7391 WITH SCORE 7402.06
AT ITER 21 NEW BEST:: SOT 13023 SOS 11042 HAS SOPS 11042 HAS SOUS 7344 HAS SOUPS 7344 WITH SCORE 7355.042
AT ITER 22 NEW BEST:: SOT 12571 SOS 10146 HAS SOPS 10146 HAS SOUS 6897 HAS SOUPS 6897 WITH SCORE 6907.146
AT ITER 25 NEW BEST:: SOT 12472 SOS 9965 HAS SOPS 9965 HAS SOUS 6719 HAS SOUPS 6719 WITH SCORE 6728.965
AT ITER 29 NEW BEST:: SOT 12472 SOS 9918 HAS SOPS 9918 HAS SOUS 6684 HAS SOUPS 6684 WITH SCORE 6693.918
AT ITER 31 NEW BEST:: SOT 12435 SOS 9896 HAS SOPS 9896 HAS SOUS 6662 HAS SOUPS 6662 WITH SCORE 6671.896
AT ITER 34 NEW BEST:: SOT 12430 SOS 9891 HAS SOPS 9891 HAS SOUS 6657 HAS SOUPS 6657 WITH SCORE 6666.891
AT ITER 38 NEW BEST:: SOT 12427 SOS 9821 HAS SOPS 9821 HAS SOUS 6595 HAS SOUPS 6595 WITH SCORE 6604.821
AT ITER 41 NEW BEST:: SOT 12427 SOS 9812 HAS SOPS 9812 HAS SOUS 6586 HAS SOUPS 6586 WITH SCORE 6595.812
AT ITER 44 NEW BEST:: SOT 12427 SOS 9715 HAS SOPS 9715 HAS SOUS 6538 HAS SOUPS 6538 WITH SCORE 6547.715
AT ITER 48 NEW BEST:: SOT 12395 SOS 9683 HAS SOPS 9683 HAS SOUS 6506 HAS SOUPS 6506 WITH SCORE 6515.683
AT ITER 53 NEW BEST:: SOT 12335 SOS 9623 HAS SOPS 9623 HAS SOUS 6446 HAS SOUPS 6446 WITH SCORE 6455.623
AT ITER 61 NEW BEST:: SOT 12320 SOS 9608 HAS SOPS 9608 HAS SOUS 6431 HAS SOUPS 6431 WITH SCORE 6440.608
AT ITER 62 NEW BEST:: SOT 12320 SOS 9607 HAS SOPS 9607 HAS SOUS 6430 HAS SOUPS 6430 WITH SCORE 6439.607
AT ITER 65 NEW BEST:: SOT 12317 SOS 9592 HAS SOPS 9592 HAS SOUS 6415 HAS SOUPS 6415 WITH SCORE 6424.592
AT ITER 67 NEW BEST:: SOT 12317 SOS 9592 HAS SOPS 9592 HAS SOUS 6414 HAS SOUPS 6414 WITH SCORE 6423.592
AT ITER 76 NEW BEST:: SOT 12304 SOS 9580 HAS SOPS 9580 HAS SOUS 6402 HAS SOUPS 6402 WITH SCORE 6411.58
AT ITER 82 NEW BEST:: SOT 12313 SOS 9573 HAS SOPS 9573 HAS SOUS 6395 HAS SOUPS 6395 WITH SCORE 6404.573
AT ITER 88 NEW BEST:: SOT 12321 SOS 9560 HAS SOPS 9560 HAS SOUS 6379 HAS SOUPS 6379 WITH SCORE 6388.56
AT ITER 94 NEW BEST:: SOT 12159 SOS 9572 HAS SOPS 9572 HAS SOUS 6306 HAS SOUPS 6306 WITH SCORE 6315.572
AT ITER 95 NEW BEST:: SOT 12159 SOS 9571 HAS SOPS 9571 HAS SOUS 6305 HAS SOUPS 6305 WITH SCORE 6314.571
AT ITER 104 NEW BEST:: SOT 12125 SOS 9510 HAS SOPS 9510 HAS SOUS 6285 HAS SOUPS 6285 WITH SCORE 6294.51
AT ITER 105 NEW BEST:: SOT 12126 SOS 9511 HAS SOPS 9511 HAS SOUS 6281 HAS SOUPS 6281 WITH SCORE 6290.511
AT ITER 106 NEW BEST:: SOT 12126 SOS 9510 HAS SOPS 9510 HAS SOUS 6280 HAS SOUPS 6280 WITH SCORE 6289.51
AT ITER 108 NEW BEST:: SOT 12126 SOS 9511 HAS SOPS 9511 HAS SOUS 6279 HAS SOUPS 6279 WITH SCORE 6288.511
AT ITER 112 NEW BEST:: SOT 12126 SOS 9511 HAS SOPS 9511 HAS SOUS 6269 HAS SOUPS 6269 WITH SCORE 6278.511
AT ITER 117 NEW BEST:: SOT 12126 SOS 9507 HAS SOPS 9507 HAS SOUS 6269 HAS SOUPS 6269 WITH SCORE 6278.507
AT ITER 118 NEW BEST:: SOT 12126 SOS 9470 HAS SOPS 9470 HAS SOUS 6232 HAS SOUPS 6232 WITH SCORE 6241.47
AT ITER 119 NEW BEST:: SOT 12107 SOS 9451 HAS SOPS 9451 HAS SOUS 6213 HAS SOUPS 6213 WITH SCORE 6222.451
AT ITER 143 NEW BEST:: SOT 12082 SOS 9401 HAS SOPS 9401 HAS SOUS 6163 HAS SOUPS 6163 WITH SCORE 6172.401
AT ITER 146 NEW BEST:: SOT 11742 SOS 9056 HAS SOPS 9056 HAS SOUS 5810 HAS SOUPS 5810 WITH SCORE 5819.056
AT ITER 147 NEW BEST:: SOT 11742 SOS 8977 HAS SOPS 8977 HAS SOUS 5731 HAS SOUPS 5731 WITH SCORE 5739.977
AT ITER 157 NEW BEST:: SOT 11732 SOS 8962 HAS SOPS 8962 HAS SOUS 5716 HAS SOUPS 5716 WITH SCORE 5724.962
AT ITER 158 NEW BEST:: SOT 11672 SOS 8902 HAS SOPS 8902 HAS SOUS 5656 HAS SOUPS 5656 WITH SCORE 5664.902
AT ITER 159 NEW BEST:: SOT 11657 SOS 8887 HAS SOPS 8887 HAS SOUS 5633 HAS SOUPS 5633 WITH SCORE 5641.887
AT ITER 164 NEW BEST:: SOT 11636 SOS 8851 HAS SOPS 8851 HAS SOUS 5616 HAS SOUPS 5616 WITH SCORE 5624.851
AT ITER 169 NEW BEST:: SOT 11584 SOS 8761 HAS SOPS 8761 HAS SOUS 5582 HAS SOUPS 5582 WITH SCORE 5590.761
AT ITER 171 NEW BEST:: SOT 11560 SOS 8738 HAS SOPS 8738 HAS SOUS 5556 HAS SOUPS 5556 WITH SCORE 5564.738
AT ITER 173 NEW BEST:: SOT 11559 SOS 8738 HAS SOPS 8738 HAS SOUS 5554 HAS SOUPS 5554 WITH SCORE 5562.738
AT ITER 175 NEW BEST:: SOT 11570 SOS 8559 HAS SOPS 8559 HAS SOUS 5541 HAS SOUPS 5541 WITH SCORE 5549.559
AT ITER 177 NEW BEST:: SOT 11570 SOS 8559 HAS SOPS 8559 HAS SOUS 5535 HAS SOUPS 5535 WITH SCORE 5543.559
AT ITER 178 NEW BEST:: SOT 11552 SOS 8531 HAS SOPS 8531 HAS SOUS 5509 HAS SOUPS 5509 WITH SCORE 5517.531
AT ITER 182 NEW BEST:: SOT 11552 SOS 8530 HAS SOPS 8530 HAS SOUS 5508 HAS SOUPS 5508 WITH SCORE 5516.53
AT ITER 187 NEW BEST:: SOT 11530 SOS 8508 HAS SOPS 8508 HAS SOUS 5504 HAS SOUPS 5504 WITH SCORE 5512.508
AT ITER 193 NEW BEST:: SOT 11515 SOS 8492 HAS SOPS 8492 HAS SOUS 5496 HAS SOUPS 5496 WITH SCORE 5504.492
AT ITER 194 NEW BEST:: SOT 11515 SOS 8491 HAS SOPS 8491 HAS SOUS 5495 HAS SOUPS 5495 WITH SCORE 5503.491
AT ITER 197 NEW BEST:: SOT 11320 SOS 8463 HAS SOPS 8463 HAS SOUS 5483 HAS SOUPS 5483 WITH SCORE 5491.463
AT ITER 206 NEW BEST:: SOT 11320 SOS 8455 HAS SOPS 8455 HAS SOUS 5483 HAS SOUPS 5483 WITH SCORE 5491.455
AT ITER 209 NEW BEST:: SOT 11263 SOS 8398 HAS SOPS 8398 HAS SOUS 5426 HAS SOUPS 5426 WITH SCORE 5434.398
AT ITER 212 NEW BEST:: SOT 11255 SOS 8390 HAS SOPS 8390 HAS SOUS 5418 HAS SOUPS 5418 WITH SCORE 5426.39
AT ITER 213 NEW BEST:: SOT 11245 SOS 8380 HAS SOPS 8380 HAS SOUS 5403 HAS SOUPS 5403 WITH SCORE 5411.38
AT ITER 224 NEW BEST:: SOT 11265 SOS 8358 HAS SOPS 8358 HAS SOUS 5393 HAS SOUPS 5393 WITH SCORE 5401.358
AT ITER 226 NEW BEST:: SOT 11253 SOS 8342 HAS SOPS 8342 HAS SOUS 5377 HAS SOUPS 5377 WITH SCORE 5385.342
AT ITER 235 NEW BEST:: SOT 11253 SOS 8341 HAS SOPS 8341 HAS SOUS 5376 HAS SOUPS 5376 WITH SCORE 5384.341
AT ITER 248 NEW BEST:: SOT 11043 SOS 8148 HAS SOPS 8148 HAS SOUS 5286 HAS SOUPS 5286 WITH SCORE 5294.148
AT ITER 256 NEW BEST:: SOT 10867 SOS 7996 HAS SOPS 7996 HAS SOUS 5127 HAS SOUPS 5127 WITH SCORE 5134.996
AT ITER 272 NEW BEST:: SOT 10827 SOS 7956 HAS SOPS 7956 HAS SOUS 5050 HAS SOUPS 5050 WITH SCORE 5057.956
AT ITER 275 NEW BEST:: SOT 10817 SOS 7936 HAS SOPS 7936 HAS SOUS 5030 HAS SOUPS 5030 WITH SCORE 5037.936
AT ITER 278 NEW BEST:: SOT 10567 SOS 7515 HAS SOPS 7515 HAS SOUS 4923 HAS SOUPS 4923 WITH SCORE 4930.515
AT ITER 285 NEW BEST:: SOT 10564 SOS 7506 HAS SOPS 7506 HAS SOUS 4914 HAS SOUPS 4914 WITH SCORE 4921.506
AT ITER 298 NEW BEST:: SOT 10536 SOS 7532 HAS SOPS 7532 HAS SOUS 4824 HAS SOUPS 4824 WITH SCORE 4831.532
AT ITER 299 NEW BEST:: SOT 10541 SOS 7568 HAS SOPS 7568 HAS SOUS 4803 HAS SOUPS 4803 WITH SCORE 4810.568
AT ITER 302 NEW BEST:: SOT 10529 SOS 7556 HAS SOPS 7556 HAS SOUS 4791 HAS SOUPS 4791 WITH SCORE 4798.556
AT ITER 303 NEW BEST:: SOT 10517 SOS 7544 HAS SOPS 7544 HAS SOUS 4787 HAS SOUPS 4787 WITH SCORE 4794.544
AT ITER 305 NEW BEST:: SOT 10427 SOS 7550 HAS SOPS 7550 HAS SOUS 4723 HAS SOUPS 4723 WITH SCORE 4730.55
AT ITER 325 NEW BEST:: SOT 10421 SOS 7439 HAS SOPS 7439 HAS SOUS 4695 HAS SOUPS 4695 WITH SCORE 4702.439
AT ITER 336 NEW BEST:: SOT 10412 SOS 7430 HAS SOPS 7430 HAS SOUS 4692 HAS SOUPS 4692 WITH SCORE 4699.43
AT ITER 339 NEW BEST:: SOT 10408 SOS 7427 HAS SOPS 7427 HAS SOUS 4689 HAS SOUPS 4689 WITH SCORE 4696.427
AT ITER 344 NEW BEST:: SOT 10408 SOS 7351 HAS SOPS 7351 HAS SOUS 4659 HAS SOUPS 4659 WITH SCORE 4666.351
AT ITER 347 NEW BEST:: SOT 10269 SOS 7185 HAS SOPS 7185 HAS SOUS 4541 HAS SOUPS 4541 WITH SCORE 4548.185
AT ITER 349 NEW BEST:: SOT 10269 SOS 7125 HAS SOPS 7125 HAS SOUS 4481 HAS SOUPS 4481 WITH SCORE 4488.125
AT ITER 352 NEW BEST:: SOT 10220 SOS 7076 HAS SOPS 7076 HAS SOUS 4432 HAS SOUPS 4432 WITH SCORE 4439.076
AT ITER 361 NEW BEST:: SOT 10220 SOS 7076 HAS SOPS 7076 HAS SOUS 4431 HAS SOUPS 4431 WITH SCORE 4438.076
AT ITER 362 NEW BEST:: SOT 10220 SOS 7073 HAS SOPS 7073 HAS SOUS 4430 HAS SOUPS 4430 WITH SCORE 4437.073
AT ITER 363 NEW BEST:: SOT 10210 SOS 7053 HAS SOPS 7053 HAS SOUS 4410 HAS SOUPS 4410 WITH SCORE 4417.053
AT ITER 366 NEW BEST:: SOT 10204 SOS 7047 HAS SOPS 7047 HAS SOUS 4404 HAS SOUPS 4404 WITH SCORE 4411.047
AT ITER 386 NEW BEST:: SOT 10176 SOS 6995 HAS SOPS 6995 HAS SOUS 4352 HAS SOUPS 4352 WITH SCORE 4358.995
AT ITER 402 NEW BEST:: SOT 10166 SOS 6987 HAS SOPS 6987 HAS SOUS 4332 HAS SOUPS 4332 WITH SCORE 4338.987
AT ITER 410 NEW BEST:: SOT 10139 SOS 6960 HAS SOPS 6960 HAS SOUS 4323 HAS SOUPS 4323 WITH SCORE 4329.96
AT ITER 421 NEW BEST:: SOT 10129 SOS 6949 HAS SOPS 6949 HAS SOUS 4312 HAS SOUPS 4312 WITH SCORE 4318.949
AT ITER 427 NEW BEST:: SOT 10129 SOS 6938 HAS SOPS 6938 HAS SOUS 4301 HAS SOUPS 4301 WITH SCORE 4307.938
AT ITER 428 NEW BEST:: SOT 10106 SOS 6915 HAS SOPS 6915 HAS SOUS 4278 HAS SOUPS 4278 WITH SCORE 4284.915
AT ITER 433 NEW BEST:: SOT 10101 SOS 6905 HAS SOPS 6905 HAS SOUS 4268 HAS SOUPS 4268 WITH SCORE 4274.905
AT ITER 437 NEW BEST:: SOT 10095 SOS 6899 HAS SOPS 6899 HAS SOUS 4262 HAS SOUPS 4262 WITH SCORE 4268.899
AT ITER 450 NEW BEST:: SOT 10044 SOS 6848 HAS SOPS 6848 HAS SOUS 4228 HAS SOUPS 4228 WITH SCORE 4234.848
AT ITER 452 NEW BEST:: SOT 10036 SOS 6840 HAS SOPS 6840 HAS SOUS 4220 HAS SOUPS 4220 WITH SCORE 4226.84
AT ITER 453 NEW BEST:: SOT 10026 SOS 6830 HAS SOPS 6830 HAS SOUS 4210 HAS SOUPS 4210 WITH SCORE 4216.83
AT ITER 456 NEW BEST:: SOT 10022 SOS 6820 HAS SOPS 6820 HAS SOUS 4200 HAS SOUPS 4200 WITH SCORE 4206.82
AT ITER 466 NEW BEST:: SOT 9996 SOS 6770 HAS SOPS 6770 HAS SOUS 4150 HAS SOUPS 4150 WITH SCORE 4156.77
AT ITER 474 NEW BEST:: SOT 9935 SOS 6744 HAS SOPS 6744 HAS SOUS 4124 HAS SOUPS 4124 WITH SCORE 4130.744
AT ITER 490 NEW BEST:: SOT 9937 SOS 6741 HAS SOPS 6741 HAS SOUS 4121 HAS SOUPS 4121 WITH SCORE 4127.741
AT ITER 498 NEW BEST:: SOT 9901 SOS 6664 HAS SOPS 6664 HAS SOUS 4044 HAS SOUPS 4044 WITH SCORE 4050.664
AT ITER 503 NEW BEST:: SOT 9901 SOS 6662 HAS SOPS 6662 HAS SOUS 4042 HAS SOUPS 4042 WITH SCORE 4048.662
AT ITER 512 NEW BEST:: SOT 9911 SOS 6640 HAS SOPS 6640 HAS SOUS 4030 HAS SOUPS 4030 WITH SCORE 4036.64
AT ITER 517 NEW BEST:: SOT 9914 SOS 6677 HAS SOPS 6677 HAS SOUS 4027 HAS SOUPS 4027 WITH SCORE 4033.677
AT ITER 518 NEW BEST:: SOT 9915 SOS 6676 HAS SOPS 6676 HAS SOUS 4026 HAS SOUPS 4026 WITH SCORE 4032.676
AT ITER 519 NEW BEST:: SOT 9914 SOS 6687 HAS SOPS 6687 HAS SOUS 4024 HAS SOUPS 4024 WITH SCORE 4030.687
AT ITER 520 NEW BEST:: SOT 9881 SOS 6654 HAS SOPS 6654 HAS SOUS 4000 HAS SOUPS 4000 WITH SCORE 4006.654
AT ITER 530 NEW BEST:: SOT 9880 SOS 6634 HAS SOPS 6634 HAS SOUS 3999 HAS SOUPS 3999 WITH SCORE 4005.634
AT ITER 551 NEW BEST:: SOT 9745 SOS 6482 HAS SOPS 6482 HAS SOUS 3937 HAS SOUPS 3937 WITH SCORE 3943.482
AT ITER 558 NEW BEST:: SOT 9742 SOS 6479 HAS SOPS 6479 HAS SOUS 3934 HAS SOUPS 3934 WITH SCORE 3940.479
AT ITER 570 NEW BEST:: SOT 9694 SOS 6464 HAS SOPS 6464 HAS SOUS 3919 HAS SOUPS 3919 WITH SCORE 3925.464
AT ITER 590 NEW BEST:: SOT 9680 SOS 6443 HAS SOPS 6443 HAS SOUS 3898 HAS SOUPS 3898 WITH SCORE 3904.443
AT ITER 591 NEW BEST:: SOT 9680 SOS 6390 HAS SOPS 6390 HAS SOUS 3893 HAS SOUPS 3893 WITH SCORE 3899.39
AT ITER 595 NEW BEST:: SOT 9680 SOS 6086 HAS SOPS 6086 HAS SOUS 3893 HAS SOUPS 3893 WITH SCORE 3899.086
AT ITER 599 NEW BEST:: SOT 9680 SOS 6083 HAS SOPS 6083 HAS SOUS 3890 HAS SOUPS 3890 WITH SCORE 3896.083
AT ITER 603 NEW BEST:: SOT 9683 SOS 6081 HAS SOPS 6081 HAS SOUS 3889 HAS SOUPS 3889 WITH SCORE 3895.081
AT ITER 610 NEW BEST:: SOT 9667 SOS 6062 HAS SOPS 6062 HAS SOUS 3884 HAS SOUPS 3884 WITH SCORE 3890.062
AT ITER 633 NEW BEST:: SOT 9666 SOS 6061 HAS SOPS 6061 HAS SOUS 3883 HAS SOUPS 3883 WITH SCORE 3889.061
AT ITER 639 NEW BEST:: SOT 9665 SOS 6060 HAS SOPS 6060 HAS SOUS 3882 HAS SOUPS 3882 WITH SCORE 3888.06
AT ITER 647 NEW BEST:: SOT 9634 SOS 6040 HAS SOPS 6040 HAS SOUS 3872 HAS SOUPS 3872 WITH SCORE 3878.04
AT ITER 656 NEW BEST:: SOT 9634 SOS 6039 HAS SOPS 6039 HAS SOUS 3871 HAS SOUPS 3871 WITH SCORE 3877.039
AT ITER 658 NEW BEST:: SOT 9630 SOS 6035 HAS SOPS 6035 HAS SOUS 3867 HAS SOUPS 3867 WITH SCORE 3873.035
AT ITER 659 NEW BEST:: SOT 9614 SOS 6019 HAS SOPS 6019 HAS SOUS 3838 HAS SOUPS 3838 WITH SCORE 3844.019
AT ITER 669 NEW BEST:: SOT 9626 SOS 5998 HAS SOPS 5998 HAS SOUS 3817 HAS SOUPS 3817 WITH SCORE 3822.998
AT ITER 670 NEW BEST:: SOT 9625 SOS 5996 HAS SOPS 5996 HAS SOUS 3816 HAS SOUPS 3816 WITH SCORE 3821.996
AT ITER 675 NEW BEST:: SOT 9625 SOS 5983 HAS SOPS 5983 HAS SOUS 3814 HAS SOUPS 3814 WITH SCORE 3819.983
AT ITER 680 NEW BEST:: SOT 9612 SOS 5970 HAS SOPS 5970 HAS SOUS 3785 HAS SOUPS 3785 WITH SCORE 3790.97
AT ITER 691 NEW BEST:: SOT 9600 SOS 5958 HAS SOPS 5958 HAS SOUS 3773 HAS SOUPS 3773 WITH SCORE 3778.958
AT ITER 700 NEW BEST:: SOT 9592 SOS 5946 HAS SOPS 5946 HAS SOUS 3765 HAS SOUPS 3765 WITH SCORE 3770.946
AT ITER 710 NEW BEST:: SOT 9583 SOS 5930 HAS SOPS 5930 HAS SOUS 3750 HAS SOUPS 3750 WITH SCORE 3755.93
AT ITER 717 NEW BEST:: SOT 9581 SOS 5926 HAS SOPS 5926 HAS SOUS 3746 HAS SOUPS 3746 WITH SCORE 3751.926
AT ITER 741 NEW BEST:: SOT 9579 SOS 5924 HAS SOPS 5924 HAS SOUS 3744 HAS SOUPS 3744 WITH SCORE 3749.924
AT ITER 748 NEW BEST:: SOT 9571 SOS 5916 HAS SOPS 5916 HAS SOUS 3736 HAS SOUPS 3736 WITH SCORE 3741.916
AT ITER 762 NEW BEST:: SOT 9571 SOS 5914 HAS SOPS 5914 HAS SOUS 3736 HAS SOUPS 3736 WITH SCORE 3741.914
AT ITER 775 NEW BEST:: SOT 9571 SOS 5908 HAS SOPS 5908 HAS SOUS 3730 HAS SOUPS 3730 WITH SCORE 3735.908
AT ITER 782 NEW BEST:: SOT 9579 SOS 5900 HAS SOPS 5900 HAS SOUS 3722 HAS SOUPS 3722 WITH SCORE 3727.9
AT ITER 792 NEW BEST:: SOT 9579 SOS 5892 HAS SOPS 5892 HAS SOUS 3714 HAS SOUPS 3714 WITH SCORE 3719.892
AT ITER 794 NEW BEST:: SOT 9563 SOS 5876 HAS SOPS 5876 HAS SOUS 3680 HAS SOUPS 3680 WITH SCORE 3685.876
AT ITER 824 NEW BEST:: SOT 9560 SOS 5873 HAS SOPS 5873 HAS SOUS 3648 HAS SOUPS 3648 WITH SCORE 3653.873
AT ITER 838 NEW BEST:: SOT 9525 SOS 5801 HAS SOPS 5801 HAS SOUS 3629 HAS SOUPS 3629 WITH SCORE 3634.801
AT ITER 852 NEW BEST:: SOT 9525 SOS 5801 HAS SOPS 5801 HAS SOUS 3625 HAS SOUPS 3625 WITH SCORE 3630.801
AT ITER 874 NEW BEST:: SOT 9525 SOS 5782 HAS SOPS 5782 HAS SOUS 3619 HAS SOUPS 3619 WITH SCORE 3624.782
AT ITER 893 NEW BEST:: SOT 9524 SOS 5781 HAS SOPS 5781 HAS SOUS 3617 HAS SOUPS 3617 WITH SCORE 3622.781
AT ITER 906 NEW BEST:: SOT 9478 SOS 5735 HAS SOPS 5735 HAS SOUS 3571 HAS SOUPS 3571 WITH SCORE 3576.735
AT ITER 917 NEW BEST:: SOT 9413 SOS 5670 HAS SOPS 5670 HAS SOUS 3526 HAS SOUPS 3526 WITH SCORE 3531.67
AT ITER 921 NEW BEST:: SOT 9415 SOS 5649 HAS SOPS 5649 HAS SOUS 3519 HAS SOUPS 3519 WITH SCORE 3524.649
AT ITER 924 NEW BEST:: SOT 9415 SOS 5645 HAS SOPS 5645 HAS SOUS 3515 HAS SOUPS 3515 WITH SCORE 3520.645
AT ITER 936 NEW BEST:: SOT 9415 SOS 5627 HAS SOPS 5627 HAS SOUS 3497 HAS SOUPS 3497 WITH SCORE 3502.627
AT ITER 956 NEW BEST:: SOT 9406 SOS 5618 HAS SOPS 5618 HAS SOUS 3488 HAS SOUPS 3488 WITH SCORE 3493.618
AT ITER 968 NEW BEST:: SOT 9406 SOS 5627 HAS SOPS 5627 HAS SOUS 3487 HAS SOUPS 3487 WITH SCORE 3492.627
AT ITER 976 NEW BEST:: SOT 9393 SOS 5614 HAS SOPS 5614 HAS SOUS 3474 HAS SOUPS 3474 WITH SCORE 3479.614
AT ITER 985 NEW BEST:: SOT 9389 SOS 5602 HAS SOPS 5602 HAS SOUS 3462 HAS SOUPS 3462 WITH SCORE 3467.602
AT ITER 990 NEW BEST:: SOT 9350 SOS 5569 HAS SOPS 5569 HAS SOUS 3437 HAS SOUPS 3437 WITH SCORE 3442.569
AT ITER 1002 NEW BEST:: SOT 9349 SOS 5568 HAS SOPS 5568 HAS SOUS 3436 HAS SOUPS 3436 WITH SCORE 3441.568
AT ITER 1006 NEW BEST:: SOT 9341 SOS 5556 HAS SOPS 5556 HAS SOUS 3424 HAS SOUPS 3424 WITH SCORE 3429.556
AT ITER 1015 NEW BEST:: SOT 9334 SOS 5549 HAS SOPS 5549 HAS SOUS 3417 HAS SOUPS 3417 WITH SCORE 3422.549
AT ITER 1021 NEW BEST:: SOT 9334 SOS 5536 HAS SOPS 5536 HAS SOUS 3404 HAS SOUPS 3404 WITH SCORE 3409.536
AT ITER 1037 NEW BEST:: SOT 9329 SOS 5501 HAS SOPS 5501 HAS SOUS 3394 HAS SOUPS 3394 WITH SCORE 3399.501
AT ITER 1063 NEW BEST:: SOT 9321 SOS 5493 HAS SOPS 5493 HAS SOUS 3386 HAS SOUPS 3386 WITH SCORE 3391.493
AT ITER 1101 NEW BEST:: SOT 9320 SOS 5300 HAS SOPS 5300 HAS SOUS 3385 HAS SOUPS 3385 WITH SCORE 3390.3
AT ITER 1104 NEW BEST:: SOT 9286 SOS 5252 HAS SOPS 5252 HAS SOUS 3339 HAS SOUPS 3339 WITH SCORE 3344.252
AT ITER 1108 NEW BEST:: SOT 9270 SOS 5236 HAS SOPS 5236 HAS SOUS 3323 HAS SOUPS 3323 WITH SCORE 3328.236
AT ITER 1134 NEW BEST:: SOT 9255 SOS 5230 HAS SOPS 5230 HAS SOUS 3317 HAS SOUPS 3317 WITH SCORE 3322.23
AT ITER 1137 NEW BEST:: SOT 9250 SOS 5233 HAS SOPS 5233 HAS SOUS 3309 HAS SOUPS 3309 WITH SCORE 3314.233
AT ITER 1153 NEW BEST:: SOT 9259 SOS 5235 HAS SOPS 5235 HAS SOUS 3308 HAS SOUPS 3308 WITH SCORE 3313.235
AT ITER 1160 NEW BEST:: SOT 9259 SOS 5217 HAS SOPS 5217 HAS SOUS 3305 HAS SOUPS 3305 WITH SCORE 3310.217
AT ITER 1163 NEW BEST:: SOT 9256 SOS 5214 HAS SOPS 5214 HAS SOUS 3299 HAS SOUPS 3299 WITH SCORE 3304.214
AT ITER 1172 NEW BEST:: SOT 9243 SOS 5201 HAS SOPS 5201 HAS SOUS 3252 HAS SOUPS 3252 WITH SCORE 3257.201
AT ITER 1177 NEW BEST:: SOT 9226 SOS 5180 HAS SOPS 5180 HAS SOUS 3231 HAS SOUPS 3231 WITH SCORE 3236.18
AT ITER 1182 NEW BEST:: SOT 9219 SOS 5173 HAS SOPS 5173 HAS SOUS 3224 HAS SOUPS 3224 WITH SCORE 3229.173
AT ITER 1220 NEW BEST:: SOT 9250 SOS 5153 HAS SOPS 5153 HAS SOUS 3204 HAS SOUPS 3204 WITH SCORE 3209.153
AT ITER 1227 NEW BEST:: SOT 9247 SOS 5147 HAS SOPS 5147 HAS SOUS 3198 HAS SOUPS 3198 WITH SCORE 3203.147
AT ITER 1239 NEW BEST:: SOT 9234 SOS 5131 HAS SOPS 5131 HAS SOUS 3182 HAS SOUPS 3182 WITH SCORE 3187.131
AT ITER 1247 NEW BEST:: SOT 9232 SOS 5129 HAS SOPS 5129 HAS SOUS 3180 HAS SOUPS 3180 WITH SCORE 3185.129
AT ITER 1250 NEW BEST:: SOT 9232 SOS 5129 HAS SOPS 5129 HAS SOUS 3174 HAS SOUPS 3174 WITH SCORE 3179.129
AT ITER 1253 NEW BEST:: SOT 9232 SOS 5128 HAS SOPS 5128 HAS SOUS 3173 HAS SOUPS 3173 WITH SCORE 3178.128
AT ITER 1261 NEW BEST:: SOT 9220 SOS 5110 HAS SOPS 5110 HAS SOUS 3155 HAS SOUPS 3155 WITH SCORE 3160.11
AT ITER 1275 NEW BEST:: SOT 9227 SOS 5108 HAS SOPS 5108 HAS SOUS 3153 HAS SOUPS 3153 WITH SCORE 3158.108
AT ITER 1292 NEW BEST:: SOT 9218 SOS 5093 HAS SOPS 5093 HAS SOUS 3138 HAS SOUPS 3138 WITH SCORE 3143.093
AT ITER 1300 NEW BEST:: SOT 9209 SOS 5083 HAS SOPS 5083 HAS SOUS 3128 HAS SOUPS 3128 WITH SCORE 3133.083
AT ITER 1313 NEW BEST:: SOT 9271 SOS 5145 HAS SOPS 5145 HAS SOUS 3122 HAS SOUPS 3122 WITH SCORE 3127.145
AT ITER 1325 NEW BEST:: SOT 9259 SOS 5126 HAS SOPS 5126 HAS SOUS 3103 HAS SOUPS 3103 WITH SCORE 3108.126
AT ITER 1341 NEW BEST:: SOT 9258 SOS 5125 HAS SOPS 5125 HAS SOUS 3102 HAS SOUPS 3102 WITH SCORE 3107.125
AT ITER 1360 NEW BEST:: SOT 9256 SOS 5191 HAS SOPS 5191 HAS SOUS 3100 HAS SOUPS 3100 WITH SCORE 3105.191
AT ITER 1361 NEW BEST:: SOT 9235 SOS 5170 HAS SOPS 5170 HAS SOUS 3058 HAS SOUPS 3058 WITH SCORE 3063.17
AT ITER 1363 NEW BEST:: SOT 9245 SOS 5180 HAS SOPS 5180 HAS SOUS 3052 HAS SOUPS 3052 WITH SCORE 3057.18
AT ITER 1379 NEW BEST:: SOT 9233 SOS 5168 HAS SOPS 5168 HAS SOUS 3040 HAS SOUPS 3040 WITH SCORE 3045.168
AT ITER 1383 NEW BEST:: SOT 9229 SOS 5164 HAS SOPS 5164 HAS SOUS 3033 HAS SOUPS 3033 WITH SCORE 3038.164
AT ITER 1385 NEW BEST:: SOT 9229 SOS 5159 HAS SOPS 5159 HAS SOUS 3028 HAS SOUPS 3028 WITH SCORE 3033.159
AT ITER 1415 NEW BEST:: SOT 9166 SOS 5090 HAS SOPS 5090 HAS SOUS 2999 HAS SOUPS 2999 WITH SCORE 3004.09
AT ITER 1427 NEW BEST:: SOT 9166 SOS 5086 HAS SOPS 5086 HAS SOUS 2995 HAS SOUPS 2995 WITH SCORE 3000.086
AT ITER 1515 NEW BEST:: SOT 9171 SOS 5081 HAS SOPS 5081 HAS SOUS 2990 HAS SOUPS 2990 WITH SCORE 2995.081
AT ITER 1525 NEW BEST:: SOT 9171 SOS 5063 HAS SOPS 5063 HAS SOUS 2981 HAS SOUPS 2981 WITH SCORE 2986.063
AT ITER 1545 NEW BEST:: SOT 9169 SOS 5061 HAS SOPS 5061 HAS SOUS 2980 HAS SOUPS 2980 WITH SCORE 2985.061
AT ITER 1565 NEW BEST:: SOT 9161 SOS 5053 HAS SOPS 5053 HAS SOUS 2972 HAS SOUPS 2972 WITH SCORE 2977.053
AT ITER 1572 NEW BEST:: SOT 9158 SOS 5039 HAS SOPS 5039 HAS SOUS 2958 HAS SOUPS 2958 WITH SCORE 2963.039
AT ITER 1575 NEW BEST:: SOT 9169 SOS 4954 HAS SOPS 4954 HAS SOUS 2943 HAS SOUPS 2943 WITH SCORE 2947.954
AT ITER 1590 NEW BEST:: SOT 9173 SOS 4958 HAS SOPS 4958 HAS SOUS 2939 HAS SOUPS 2939 WITH SCORE 2943.958
AT ITER 1598 NEW BEST:: SOT 9173 SOS 4957 HAS SOPS 4957 HAS SOUS 2938 HAS SOUPS 2938 WITH SCORE 2942.957
AT ITER 1627 NEW BEST:: SOT 9173 SOS 4760 HAS SOPS 4760 HAS SOUS 2933 HAS SOUPS 2933 WITH SCORE 2937.76
AT ITER 1630 NEW BEST:: SOT 9144 SOS 4709 HAS SOPS 4709 HAS SOUS 2882 HAS SOUPS 2882 WITH SCORE 2886.709
AT ITER 1639 NEW BEST:: SOT 9145 SOS 4703 HAS SOPS 4703 HAS SOUS 2876 HAS SOUPS 2876 WITH SCORE 2880.703
AT ITER 1672 NEW BEST:: SOT 9140 SOS 4701 HAS SOPS 4701 HAS SOUS 2874 HAS SOUPS 2874 WITH SCORE 2878.701
AT ITER 1685 NEW BEST:: SOT 9136 SOS 4695 HAS SOPS 4695 HAS SOUS 2864 HAS SOUPS 2864 WITH SCORE 2868.695
AT ITER 1711 NEW BEST:: SOT 9111 SOS 4677 HAS SOPS 4677 HAS SOUS 2848 HAS SOUPS 2848 WITH SCORE 2852.677
AT ITER 1719 NEW BEST:: SOT 9111 SOS 4669 HAS SOPS 4669 HAS SOUS 2840 HAS SOUPS 2840 WITH SCORE 2844.669
AT ITER 1726 NEW BEST:: SOT 9110 SOS 4672 HAS SOPS 4672 HAS SOUS 2839 HAS SOUPS 2839 WITH SCORE 2843.672
AT ITER 1742 NEW BEST:: SOT 9118 SOS 4680 HAS SOPS 4680 HAS SOUS 2837 HAS SOUPS 2837 WITH SCORE 2841.68
AT ITER 1770 NEW BEST:: SOT 9116 SOS 4678 HAS SOPS 4678 HAS SOUS 2835 HAS SOUPS 2835 WITH SCORE 2839.678
AT ITER 1778 NEW BEST:: SOT 9118 SOS 4681 HAS SOPS 4681 HAS SOUS 2830 HAS SOUPS 2830 WITH SCORE 2834.681
AT ITER 1797 NEW BEST:: SOT 9104 SOS 4664 HAS SOPS 4664 HAS SOUS 2826 HAS SOUPS 2826 WITH SCORE 2830.664
AT ITER 1826 NEW BEST:: SOT 9088 SOS 4637 HAS SOPS 4637 HAS SOUS 2805 HAS SOUPS 2805 WITH SCORE 2809.637
AT ITER 1830 NEW BEST:: SOT 9088 SOS 4610 HAS SOPS 4610 HAS SOUS 2803 HAS SOUPS 2803 WITH SCORE 2807.61
AT ITER 1836 NEW BEST:: SOT 9079 SOS 4600 HAS SOPS 4600 HAS SOUS 2793 HAS SOUPS 2793 WITH SCORE 2797.6
AT ITER 1840 NEW BEST:: SOT 9073 SOS 4594 HAS SOPS 4594 HAS SOUS 2787 HAS SOUPS 2787 WITH SCORE 2791.594
AT ITER 1846 NEW BEST:: SOT 9070 SOS 4585 HAS SOPS 4585 HAS SOUS 2778 HAS SOUPS 2778 WITH SCORE 2782.585
AT ITER 1863 NEW BEST:: SOT 9070 SOS 4545 HAS SOPS 4545 HAS SOUS 2738 HAS SOUPS 2738 WITH SCORE 2742.545
AT ITER 1866 NEW BEST:: SOT 9067 SOS 4542 HAS SOPS 4542 HAS SOUS 2735 HAS SOUPS 2735 WITH SCORE 2739.542
AT ITER 1868 NEW BEST:: SOT 9061 SOS 4516 HAS SOPS 4516 HAS SOUS 2709 HAS SOUPS 2709 WITH SCORE 2713.516
AT ITER 1900 NEW BEST:: SOT 9061 SOS 4547 HAS SOPS 4547 HAS SOUS 2697 HAS SOUPS 2697 WITH SCORE 2701.547
AT ITER 1916 NEW BEST:: SOT 9043 SOS 4502 HAS SOPS 4502 HAS SOUS 2688 HAS SOUPS 2688 WITH SCORE 2692.502
AT ITER 1919 NEW BEST:: SOT 9071 SOS 4541 HAS SOPS 4541 HAS SOUS 2687 HAS SOUPS 2687 WITH SCORE 2691.541
AT ITER 1972 NEW BEST:: SOT 9071 SOS 4525 HAS SOPS 4525 HAS SOUS 2680 HAS SOUPS 2680 WITH SCORE 2684.525
AT ITER 1981 NEW BEST:: SOT 9068 SOS 4524 HAS SOPS 4524 HAS SOUS 2677 HAS SOUPS 2677 WITH SCORE 2681.524
AT ITER 2015 NEW BEST:: SOT 9056 SOS 4507 HAS SOPS 4507 HAS SOUS 2660 HAS SOUPS 2660 WITH SCORE 2664.507
AT ITER 2034 NEW BEST:: SOT 9054 SOS 4506 HAS SOPS 4506 HAS SOUS 2659 HAS SOUPS 2659 WITH SCORE 2663.506
AT ITER 2037 NEW BEST:: SOT 9054 SOS 4496 HAS SOPS 4496 HAS SOUS 2649 HAS SOUPS 2649 WITH SCORE 2653.496
AT ITER 2058 NEW BEST:: SOT 9048 SOS 4490 HAS SOPS 4490 HAS SOUS 2637 HAS SOUPS 2637 WITH SCORE 2641.49
AT ITER 2123 NEW BEST:: SOT 9040 SOS 4480 HAS SOPS 4480 HAS SOUS 2629 HAS SOUPS 2629 WITH SCORE 2633.48
AT ITER 2181 NEW BEST:: SOT 9037 SOS 4565 HAS SOPS 4565 HAS SOUS 2610 HAS SOUPS 2610 WITH SCORE 2614.565
AT ITER 2218 NEW BEST:: SOT 9036 SOS 4560 HAS SOPS 4560 HAS SOUS 2605 HAS SOUPS 2605 WITH SCORE 2609.56
AT ITER 2231 NEW BEST:: SOT 9026 SOS 4545 HAS SOPS 4545 HAS SOUS 2590 HAS SOUPS 2590 WITH SCORE 2594.545
AT ITER 2248 NEW BEST:: SOT 9023 SOS 4542 HAS SOPS 4542 HAS SOUS 2589 HAS SOUPS 2589 WITH SCORE 2593.542
AT ITER 2257 NEW BEST:: SOT 8979 SOS 4498 HAS SOPS 4498 HAS SOUS 2550 HAS SOUPS 2550 WITH SCORE 2554.498
AT ITER 2261 NEW BEST:: SOT 8979 SOS 4496 HAS SOPS 4496 HAS SOUS 2548 HAS SOUPS 2548 WITH SCORE 2552.496
AT ITER 2276 NEW BEST:: SOT 8978 SOS 4495 HAS SOPS 4495 HAS SOUS 2546 HAS SOUPS 2546 WITH SCORE 2550.495
AT ITER 2281 NEW BEST:: SOT 8976 SOS 4490 HAS SOPS 4490 HAS SOUS 2541 HAS SOUPS 2541 WITH SCORE 2545.49
AT ITER 2284 NEW BEST:: SOT 8971 SOS 4480 HAS SOPS 4480 HAS SOUS 2539 HAS SOUPS 2539 WITH SCORE 2543.48
AT ITER 2305 NEW BEST:: SOT 8969 SOS 4478 HAS SOPS 4478 HAS SOUS 2533 HAS SOUPS 2533 WITH SCORE 2537.478
AT ITER 2313 NEW BEST:: SOT 8964 SOS 4447 HAS SOPS 4447 HAS SOUS 2524 HAS SOUPS 2524 WITH SCORE 2528.447
AT ITER 2327 NEW BEST:: SOT 8970 SOS 4386 HAS SOPS 4386 HAS SOUS 2508 HAS SOUPS 2508 WITH SCORE 2512.386
AT ITER 2364 NEW BEST:: SOT 8969 SOS 4385 HAS SOPS 4385 HAS SOUS 2507 HAS SOUPS 2507 WITH SCORE 2511.385
AT ITER 2368 NEW BEST:: SOT 8968 SOS 4384 HAS SOPS 4384 HAS SOUS 2506 HAS SOUPS 2506 WITH SCORE 2510.384
AT ITER 2381 NEW BEST:: SOT 8968 SOS 4384 HAS SOPS 4384 HAS SOUS 2501 HAS SOUPS 2501 WITH SCORE 2505.384
AT ITER 2392 NEW BEST:: SOT 8968 SOS 4398 HAS SOPS 4398 HAS SOUS 2500 HAS SOUPS 2500 WITH SCORE 2504.398
AT ITER 2462 NEW BEST:: SOT 8964 SOS 4394 HAS SOPS 4394 HAS SOUS 2496 HAS SOUPS 2496 WITH SCORE 2500.394
AT ITER 2481 NEW BEST:: SOT 8945 SOS 4375 HAS SOPS 4375 HAS SOUS 2477 HAS SOUPS 2477 WITH SCORE 2481.375
AT ITER 2492 NEW BEST:: SOT 8944 SOS 4375 HAS SOPS 4375 HAS SOUS 2470 HAS SOUPS 2470 WITH SCORE 2474.375
AT ITER 2580 NEW BEST:: SOT 8943 SOS 4379 HAS SOPS 4379 HAS SOUS 2467 HAS SOUPS 2467 WITH SCORE 2471.379
AT ITER 2629 NEW BEST:: SOT 8941 SOS 4376 HAS SOPS 4376 HAS SOUS 2464 HAS SOUPS 2464 WITH SCORE 2468.376
AT ITER 2671 NEW BEST:: SOT 8922 SOS 4445 HAS SOPS 4445 HAS SOUS 2452 HAS SOUPS 2452 WITH SCORE 2456.445
AT ITER 2742 NEW BEST:: SOT 8903 SOS 4482 HAS SOPS 4482 HAS SOUS 2445 HAS SOUPS 2445 WITH SCORE 2449.482
AT ITER 2824 NEW BEST:: SOT 8905 SOS 4484 HAS SOPS 4484 HAS SOUS 2443 HAS SOUPS 2443 WITH SCORE 2447.484
AT ITER 2828 NEW BEST:: SOT 8905 SOS 4484 HAS SOPS 4484 HAS SOUS 2426 HAS SOUPS 2426 WITH SCORE 2430.484
AT ITER 2845 NEW BEST:: SOT 8907 SOS 4486 HAS SOPS 4486 HAS SOUS 2424 HAS SOUPS 2424 WITH SCORE 2428.486
AT ITER 2854 NEW BEST:: SOT 8899 SOS 4474 HAS SOPS 4474 HAS SOUS 2412 HAS SOUPS 2412 WITH SCORE 2416.474
AT ITER 2863 NEW BEST:: SOT 8898 SOS 4379 HAS SOPS 4379 HAS SOUS 2410 HAS SOUPS 2410 WITH SCORE 2414.379
AT ITER 2881 NEW BEST:: SOT 8890 SOS 4371 HAS SOPS 4371 HAS SOUS 2402 HAS SOUPS 2402 WITH SCORE 2406.371
AT ITER 2884 NEW BEST:: SOT 8864 SOS 4345 HAS SOPS 4345 HAS SOUS 2385 HAS SOUPS 2385 WITH SCORE 2389.345
AT ITER 2915 NEW BEST:: SOT 8856 SOS 4337 HAS SOPS 4337 HAS SOUS 2361 HAS SOUPS 2361 WITH SCORE 2365.337
AT ITER 2937 NEW BEST:: SOT 8851 SOS 4332 HAS SOPS 4332 HAS SOUS 2356 HAS SOUPS 2356 WITH SCORE 2360.332
AT ITER 2983 NEW BEST:: SOT 8850 SOS 4331 HAS SOPS 4331 HAS SOUS 2355 HAS SOUPS 2355 WITH SCORE 2359.331
AT ITER 2991 NEW BEST:: SOT 8847 SOS 4328 HAS SOPS 4328 HAS SOUS 2349 HAS SOUPS 2349 WITH SCORE 2353.328
AT ITER 3004 NEW BEST:: SOT 8847 SOS 4270 HAS SOPS 4270 HAS SOUS 2342 HAS SOUPS 2342 WITH SCORE 2346.27
AT ITER 3027 NEW BEST:: SOT 8846 SOS 4262 HAS SOPS 4262 HAS SOUS 2334 HAS SOUPS 2334 WITH SCORE 2338.262
AT ITER 3038 NEW BEST:: SOT 8845 SOS 4261 HAS SOPS 4261 HAS SOUS 2333 HAS SOUPS 2333 WITH SCORE 2337.261
AT ITER 3066 NEW BEST:: SOT 8851 SOS 4260 HAS SOPS 4260 HAS SOUS 2328 HAS SOUPS 2328 WITH SCORE 2332.26
AT ITER 3092 NEW BEST:: SOT 8833 SOS 4258 HAS SOPS 4258 HAS SOUS 2324 HAS SOUPS 2324 WITH SCORE 2328.258
AT ITER 3101 NEW BEST:: SOT 8826 SOS 4251 HAS SOPS 4251 HAS SOUS 2310 HAS SOUPS 2310 WITH SCORE 2314.251
AT ITER 3129 NEW BEST:: SOT 8807 SOS 4231 HAS SOPS 4231 HAS SOUS 2306 HAS SOUPS 2306 WITH SCORE 2310.231
AT ITER 3134 NEW BEST:: SOT 8807 SOS 4228 HAS SOPS 4228 HAS SOUS 2303 HAS SOUPS 2303 WITH SCORE 2307.228
AT ITER 3147 NEW BEST:: SOT 8806 SOS 4225 HAS SOPS 4225 HAS SOUS 2300 HAS SOUPS 2300 WITH SCORE 2304.225
AT ITER 3179 NEW BEST:: SOT 8806 SOS 4224 HAS SOPS 4224 HAS SOUS 2299 HAS SOUPS 2299 WITH SCORE 2303.224
AT ITER 3182 NEW BEST:: SOT 8786 SOS 4194 HAS SOPS 4194 HAS SOUS 2269 HAS SOUPS 2269 WITH SCORE 2273.194
AT ITER 3200 NEW BEST:: SOT 8777 SOS 4176 HAS SOPS 4176 HAS SOUS 2253 HAS SOUPS 2253 WITH SCORE 2257.176
AT ITER 3217 NEW BEST:: SOT 8772 SOS 4071 HAS SOPS 4071 HAS SOUS 2248 HAS SOUPS 2248 WITH SCORE 2252.071
AT ITER 3222 NEW BEST:: SOT 8772 SOS 4068 HAS SOPS 4068 HAS SOUS 2245 HAS SOUPS 2245 WITH SCORE 2249.068
AT ITER 3259 NEW BEST:: SOT 8772 SOS 4066 HAS SOPS 4066 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2247.066
AT ITER 3281 NEW BEST:: SOT 8759 SOS 4053 HAS SOPS 4053 HAS SOUS 2230 HAS SOUPS 2230 WITH SCORE 2234.053
AT ITER 3312 NEW BEST:: SOT 8727 SOS 4021 HAS SOPS 4021 HAS SOUS 2230 HAS SOUPS 2230 WITH SCORE 2234.021
AT ITER 3359 NEW BEST:: SOT 8704 SOS 3980 HAS SOPS 3980 HAS SOUS 2189 HAS SOUPS 2189 WITH SCORE 2192.98
AT ITER 3385 NEW BEST:: SOT 8708 SOS 3974 HAS SOPS 3974 HAS SOUS 2174 HAS SOUPS 2174 WITH SCORE 2177.974
AT ITER 3398 NEW BEST:: SOT 8709 SOS 3974 HAS SOPS 3974 HAS SOUS 2172 HAS SOUPS 2172 WITH SCORE 2175.974
AT ITER 3462 NEW BEST:: SOT 8709 SOS 3964 HAS SOPS 3964 HAS SOUS 2172 HAS SOUPS 2172 WITH SCORE 2175.964
AT ITER 3492 NEW BEST:: SOT 8715 SOS 3970 HAS SOPS 3970 HAS SOUS 2166 HAS SOUPS 2166 WITH SCORE 2169.97
AT ITER 3547 NEW BEST:: SOT 8713 SOS 3967 HAS SOPS 3967 HAS SOUS 2163 HAS SOUPS 2163 WITH SCORE 2166.967
AT ITER 3607 NEW BEST:: SOT 8713 SOS 3954 HAS SOPS 3954 HAS SOUS 2161 HAS SOUPS 2161 WITH SCORE 2164.954
AT ITER 3661 NEW BEST:: SOT 8709 SOS 3949 HAS SOPS 3949 HAS SOUS 2156 HAS SOUPS 2156 WITH SCORE 2159.949
AT ITER 3673 NEW BEST:: SOT 8705 SOS 3945 HAS SOPS 3945 HAS SOUS 2152 HAS SOUPS 2152 WITH SCORE 2155.945
AT ITER 3682 NEW BEST:: SOT 8705 SOS 3950 HAS SOPS 3950 HAS SOUS 2144 HAS SOUPS 2144 WITH SCORE 2147.95
AT ITER 3717 NEW BEST:: SOT 8703 SOS 3948 HAS SOPS 3948 HAS SOUS 2142 HAS SOUPS 2142 WITH SCORE 2145.948
AT ITER 3760 NEW BEST:: SOT 8702 SOS 3947 HAS SOPS 3947 HAS SOUS 2140 HAS SOUPS 2140 WITH SCORE 2143.947
AT ITER 3781 NEW BEST:: SOT 8708 SOS 3945 HAS SOPS 3945 HAS SOUS 2133 HAS SOUPS 2133 WITH SCORE 2136.945
AT ITER 3788 NEW BEST:: SOT 8708 SOS 3948 HAS SOPS 3948 HAS SOUS 2132 HAS SOUPS 2132 WITH SCORE 2135.948
AT ITER 3790 NEW BEST:: SOT 8708 SOS 3944 HAS SOPS 3944 HAS SOUS 2132 HAS SOUPS 2132 WITH SCORE 2135.944
AT ITER 3837 NEW BEST:: SOT 8705 SOS 3971 HAS SOPS 3971 HAS SOUS 2129 HAS SOUPS 2129 WITH SCORE 2132.971
AT ITER 3868 NEW BEST:: SOT 8705 SOS 3963 HAS SOPS 3963 HAS SOUS 2121 HAS SOUPS 2121 WITH SCORE 2124.963
AT ITER 3955 NEW BEST:: SOT 8674 SOS 3914 HAS SOPS 3914 HAS SOUS 2088 HAS SOUPS 2088 WITH SCORE 2091.914
AT ITER 3988 NEW BEST:: SOT 8673 SOS 3913 HAS SOPS 3913 HAS SOUS 2087 HAS SOUPS 2087 WITH SCORE 2090.913
AT ITER 4100 NEW BEST:: SOT 8672 SOS 3912 HAS SOPS 3912 HAS SOUS 2085 HAS SOUPS 2085 WITH SCORE 2088.912
AT ITER 4114 NEW BEST:: SOT 8669 SOS 3908 HAS SOPS 3908 HAS SOUS 2081 HAS SOUPS 2081 WITH SCORE 2084.908
AT ITER 4127 NEW BEST:: SOT 8670 SOS 3907 HAS SOPS 3907 HAS SOUS 2081 HAS SOUPS 2081 WITH SCORE 2084.907
AT ITER 4132 NEW BEST:: SOT 8664 SOS 3901 HAS SOPS 3901 HAS SOUS 2069 HAS SOUPS 2069 WITH SCORE 2072.901
AT ITER 4136 NEW BEST:: SOT 8660 SOS 3897 HAS SOPS 3897 HAS SOUS 2062 HAS SOUPS 2062 WITH SCORE 2065.897
AT ITER 4137 NEW BEST:: SOT 8660 SOS 3883 HAS SOPS 3883 HAS SOUS 2048 HAS SOUPS 2048 WITH SCORE 2051.883
AT ITER 4146 NEW BEST:: SOT 8659 SOS 3881 HAS SOPS 3881 HAS SOUS 2046 HAS SOUPS 2046 WITH SCORE 2049.881
AT ITER 4176 NEW BEST:: SOT 8658 SOS 3880 HAS SOPS 3880 HAS SOUS 2044 HAS SOUPS 2044 WITH SCORE 2047.88
AT ITER 4225 NEW BEST:: SOT 8655 SOS 3876 HAS SOPS 3876 HAS SOUS 2041 HAS SOUPS 2041 WITH SCORE 2044.876
AT ITER 4238 NEW BEST:: SOT 8643 SOS 3831 HAS SOPS 3831 HAS SOUS 2027 HAS SOUPS 2027 WITH SCORE 2030.831
AT ITER 4251 NEW BEST:: SOT 8642 SOS 3830 HAS SOPS 3830 HAS SOUS 2024 HAS SOUPS 2024 WITH SCORE 2027.83
AT ITER 4311 NEW BEST:: SOT 8641 SOS 3829 HAS SOPS 3829 HAS SOUS 2023 HAS SOUPS 2023 WITH SCORE 2026.829
AT ITER 4316 NEW BEST:: SOT 8639 SOS 3820 HAS SOPS 3820 HAS SOUS 2022 HAS SOUPS 2022 WITH SCORE 2025.82
AT ITER 4330 NEW BEST:: SOT 8639 SOS 3818 HAS SOPS 3818 HAS SOUS 2020 HAS SOUPS 2020 WITH SCORE 2023.818
AT ITER 4368 NEW BEST:: SOT 8641 SOS 3820 HAS SOPS 3820 HAS SOUS 2005 HAS SOUPS 2005 WITH SCORE 2008.82
AT ITER 4386 NEW BEST:: SOT 8641 SOS 3818 HAS SOPS 3818 HAS SOUS 2005 HAS SOUPS 2005 WITH SCORE 2008.818
AT ITER 4419 NEW BEST:: SOT 8639 SOS 3816 HAS SOPS 3816 HAS SOUS 2001 HAS SOUPS 2001 WITH SCORE 2004.816
AT ITER 4425 NEW BEST:: SOT 8632 SOS 3809 HAS SOPS 3809 HAS SOUS 1998 HAS SOUPS 1998 WITH SCORE 2001.809
AT ITER 4434 NEW BEST:: SOT 8638 SOS 3804 HAS SOPS 3804 HAS SOUS 1988 HAS SOUPS 1988 WITH SCORE 1991.804
AT ITER 4444 NEW BEST:: SOT 8642 SOS 3813 HAS SOPS 3813 HAS SOUS 1974 HAS SOUPS 1974 WITH SCORE 1977.813
AT ITER 4469 NEW BEST:: SOT 8628 SOS 3794 HAS SOPS 3794 HAS SOUS 1970 HAS SOUPS 1970 WITH SCORE 1973.794
AT ITER 4506 NEW BEST:: SOT 8629 SOS 3802 HAS SOPS 3802 HAS SOUS 1965 HAS SOUPS 1965 WITH SCORE 1968.802
AT ITER 4604 NEW BEST:: SOT 8629 SOS 3798 HAS SOPS 3798 HAS SOUS 1961 HAS SOUPS 1961 WITH SCORE 1964.798
AT ITER 4627 NEW BEST:: SOT 8628 SOS 3797 HAS SOPS 3797 HAS SOUS 1958 HAS SOUPS 1958 WITH SCORE 1961.797
AT ITER 4772 NEW BEST:: SOT 8626 SOS 3794 HAS SOPS 3794 HAS SOUS 1955 HAS SOUPS 1955 WITH SCORE 1958.794
AT ITER 4860 NEW BEST:: SOT 8624 SOS 3792 HAS SOPS 3792 HAS SOUS 1954 HAS SOUPS 1954 WITH SCORE 1957.792
AT ITER 4943 NEW BEST:: SOT 8623 SOS 3791 HAS SOPS 3791 HAS SOUS 1953 HAS SOUPS 1953 WITH SCORE 1956.791
AT ITER 5056 NEW BEST:: SOT 8622 SOS 3790 HAS SOPS 3790 HAS SOUS 1949 HAS SOUPS 1949 WITH SCORE 1952.79
AT ITER 5077 NEW BEST:: SOT 8622 SOS 3788 HAS SOPS 3788 HAS SOUS 1946 HAS SOUPS 1946 WITH SCORE 1949.788
AT ITER 5098 NEW BEST:: SOT 8614 SOS 3779 HAS SOPS 3779 HAS SOUS 1939 HAS SOUPS 1939 WITH SCORE 1942.779
AT ITER 5126 NEW BEST:: SOT 8608 SOS 3777 HAS SOPS 3777 HAS SOUS 1939 HAS SOUPS 1939 WITH SCORE 1942.777
AT ITER 5136 NEW BEST:: SOT 8607 SOS 3776 HAS SOPS 3776 HAS SOUS 1938 HAS SOUPS 1938 WITH SCORE 1941.776
AT ITER 5269 NEW BEST:: SOT 8606 SOS 3765 HAS SOPS 3765 HAS SOUS 1937 HAS SOUPS 1937 WITH SCORE 1940.765
AT ITER 5319 NEW BEST:: SOT 8603 SOS 3761 HAS SOPS 3761 HAS SOUS 1933 HAS SOUPS 1933 WITH SCORE 1936.761
AT ITER 5377 NEW BEST:: SOT 8599 SOS 3758 HAS SOPS 3758 HAS SOUS 1930 HAS SOUPS 1930 WITH SCORE 1933.758
AT ITER 5409 NEW BEST:: SOT 8599 SOS 3756 HAS SOPS 3756 HAS SOUS 1928 HAS SOUPS 1928 WITH SCORE 1931.756
AT ITER 5413 NEW BEST:: SOT 8599 SOS 3703 HAS SOPS 3703 HAS SOUS 1927 HAS SOUPS 1927 WITH SCORE 1930.703
AT ITER 5503 NEW BEST:: SOT 8592 SOS 3696 HAS SOPS 3696 HAS SOUS 1920 HAS SOUPS 1920 WITH SCORE 1923.696
AT ITER 5505 NEW BEST:: SOT 8591 SOS 3695 HAS SOPS 3695 HAS SOUS 1917 HAS SOUPS 1917 WITH SCORE 1920.695
AT ITER 5571 NEW BEST:: SOT 8590 SOS 3693 HAS SOPS 3693 HAS SOUS 1915 HAS SOUPS 1915 WITH SCORE 1918.693
AT ITER 5584 NEW BEST:: SOT 8587 SOS 3687 HAS SOPS 3687 HAS SOUS 1909 HAS SOUPS 1909 WITH SCORE 1912.687
AT ITER 5658 NEW BEST:: SOT 8585 SOS 3684 HAS SOPS 3684 HAS SOUS 1906 HAS SOUPS 1906 WITH SCORE 1909.684
AT ITER 5790 NEW BEST:: SOT 8585 SOS 3683 HAS SOPS 3683 HAS SOUS 1905 HAS SOUPS 1905 WITH SCORE 1908.683
AT ITER 5883 NEW BEST:: SOT 8585 SOS 3680 HAS SOPS 3680 HAS SOUS 1905 HAS SOUPS 1905 WITH SCORE 1908.68
AT ITER 5918 NEW BEST:: SOT 8555 SOS 3665 HAS SOPS 3665 HAS SOUS 1903 HAS SOUPS 1903 WITH SCORE 1906.665
AT ITER 6138 NEW BEST:: SOT 8386 SOS 3496 HAS SOPS 3496 HAS SOUS 1901 HAS SOUPS 1901 WITH SCORE 1904.496
AT ITER 6149 NEW BEST:: SOT 8385 SOS 3492 HAS SOPS 3492 HAS SOUS 1897 HAS SOUPS 1897 WITH SCORE 1900.492
AT ITER 6201 NEW BEST:: SOT 8385 SOS 3486 HAS SOPS 3486 HAS SOUS 1897 HAS SOUPS 1897 WITH SCORE 1900.486
AT ITER 6262 NEW BEST:: SOT 8365 SOS 3466 HAS SOPS 3466 HAS SOUS 1889 HAS SOUPS 1889 WITH SCORE 1892.466
AT ITER 6283 NEW BEST:: SOT 8354 SOS 3455 HAS SOPS 3455 HAS SOUS 1867 HAS SOUPS 1867 WITH SCORE 1870.455
AT ITER 6420 NEW BEST:: SOT 8352 SOS 3423 HAS SOPS 3423 HAS SOUS 1862 HAS SOUPS 1862 WITH SCORE 1865.423
AT ITER 6432 NEW BEST:: SOT 8352 SOS 3420 HAS SOPS 3420 HAS SOUS 1859 HAS SOUPS 1859 WITH SCORE 1862.42
AT ITER 6470 NEW BEST:: SOT 8335 SOS 3399 HAS SOPS 3399 HAS SOUS 1841 HAS SOUPS 1841 WITH SCORE 1844.399
AT ITER 6484 NEW BEST:: SOT 8334 SOS 3397 HAS SOPS 3397 HAS SOUS 1839 HAS SOUPS 1839 WITH SCORE 1842.397
AT ITER 6499 NEW BEST:: SOT 8333 SOS 3396 HAS SOPS 3396 HAS SOUS 1837 HAS SOUPS 1837 WITH SCORE 1840.396
AT ITER 6570 NEW BEST:: SOT 8304 SOS 3366 HAS SOPS 3366 HAS SOUS 1835 HAS SOUPS 1835 WITH SCORE 1838.366
AT ITER 6575 NEW BEST:: SOT 8304 SOS 3359 HAS SOPS 3359 HAS SOUS 1835 HAS SOUPS 1835 WITH SCORE 1838.359
AT ITER 6771 NEW BEST:: SOT 8302 SOS 3357 HAS SOPS 3357 HAS SOUS 1835 HAS SOUPS 1835 WITH SCORE 1838.357
AT ITER 6833 NEW BEST:: SOT 8305 SOS 3356 HAS SOPS 3356 HAS SOUS 1834 HAS SOUPS 1834 WITH SCORE 1837.356
AT ITER 7005 NEW BEST:: SOT 8305 SOS 3349 HAS SOPS 3349 HAS SOUS 1834 HAS SOUPS 1834 WITH SCORE 1837.349
AT ITER 7040 NEW BEST:: SOT 8299 SOS 3343 HAS SOPS 3343 HAS SOUS 1834 HAS SOUPS 1834 WITH SCORE 1837.343
AT ITER 7168 NEW BEST:: SOT 8299 SOS 3343 HAS SOPS 3343 HAS SOUS 1833 HAS SOUPS 1833 WITH SCORE 1836.343
AT ITER 7274 NEW BEST:: SOT 8298 SOS 3342 HAS SOPS 3342 HAS SOUS 1832 HAS SOUPS 1832 WITH SCORE 1835.342
AT ITER 7395 NEW BEST:: SOT 8295 SOS 3339 HAS SOPS 3339 HAS SOUS 1829 HAS SOUPS 1829 WITH SCORE 1832.339
AT ITER 7460 NEW BEST:: SOT 8294 SOS 3338 HAS SOPS 3338 HAS SOUS 1828 HAS SOUPS 1828 WITH SCORE 1831.338
AT ITER 7461 NEW BEST:: SOT 8295 SOS 3337 HAS SOPS 3337 HAS SOUS 1827 HAS SOUPS 1827 WITH SCORE 1830.337
AT ITER 7536 NEW BEST:: SOT 8295 SOS 3336 HAS SOPS 3336 HAS SOUS 1826 HAS SOUPS 1826 WITH SCORE 1829.336
AT ITER 7667 NEW BEST:: SOT 8282 SOS 3318 HAS SOPS 3318 HAS SOUS 1826 HAS SOUPS 1826 WITH SCORE 1829.318
AT ITER 7672 NEW BEST:: SOT 8278 SOS 3315 HAS SOPS 3315 HAS SOUS 1824 HAS SOUPS 1824 WITH SCORE 1827.315
AT ITER 7711 NEW BEST:: SOT 8278 SOS 3314 HAS SOPS 3314 HAS SOUS 1823 HAS SOUPS 1823 WITH SCORE 1826.314
AT ITER 7804 NEW BEST:: SOT 8276 SOS 3312 HAS SOPS 3312 HAS SOUS 1821 HAS SOUPS 1821 WITH SCORE 1824.312
AT ITER 7889 NEW BEST:: SOT 8274 SOS 3307 HAS SOPS 3307 HAS SOUS 1819 HAS SOUPS 1819 WITH SCORE 1822.307
AT ITER 8090 NEW BEST:: SOT 8272 SOS 3304 HAS SOPS 3304 HAS SOUS 1816 HAS SOUPS 1816 WITH SCORE 1819.304
AT ITER 8256 NEW BEST:: SOT 8268 SOS 3299 HAS SOPS 3299 HAS SOUS 1815 HAS SOUPS 1815 WITH SCORE 1818.299
AT ITER 8334 NEW BEST:: SOT 8260 SOS 3291 HAS SOPS 3291 HAS SOUS 1806 HAS SOUPS 1806 WITH SCORE 1809.291
AT ITER 8337 NEW BEST:: SOT 8258 SOS 3283 HAS SOPS 3283 HAS SOUS 1804 HAS SOUPS 1804 WITH SCORE 1807.283
AT ITER 8530 NEW BEST:: SOT 8257 SOS 3282 HAS SOPS 3282 HAS SOUS 1803 HAS SOUPS 1803 WITH SCORE 1806.282
AT ITER 8579 NEW BEST:: SOT 8257 SOS 3279 HAS SOPS 3279 HAS SOUS 1803 HAS SOUPS 1803 WITH SCORE 1806.279
AT ITER 8805 NEW BEST:: SOT 8256 SOS 3278 HAS SOPS 3278 HAS SOUS 1802 HAS SOUPS 1802 WITH SCORE 1805.278
AT ITER 8851 NEW BEST:: SOT 8254 SOS 3277 HAS SOPS 3277 HAS SOUS 1801 HAS SOUPS 1801 WITH SCORE 1804.277
AT ITER 9027 NEW BEST:: SOT 8249 SOS 3272 HAS SOPS 3272 HAS SOUS 1799 HAS SOUPS 1799 WITH SCORE 1802.272
AT ITER 9193 NEW BEST:: SOT 8247 SOS 3270 HAS SOPS 3270 HAS SOUS 1797 HAS SOUPS 1797 WITH SCORE 1800.27
AT ITER 9488 NEW BEST:: SOT 8247 SOS 3269 HAS SOPS 3269 HAS SOUS 1796 HAS SOUPS 1796 WITH SCORE 1799.269
AT ITER 9512 NEW BEST:: SOT 8243 SOS 3267 HAS SOPS 3267 HAS SOUS 1794 HAS SOUPS 1794 WITH SCORE 1797.267
AT ITER 9521 NEW BEST:: SOT 8240 SOS 3263 HAS SOPS 3263 HAS SOUS 1790 HAS SOUPS 1790 WITH SCORE 1793.263
AT ITER 9609 NEW BEST:: SOT 8237 SOS 3263 HAS SOPS 3263 HAS SOUS 1786 HAS SOUPS 1786 WITH SCORE 1789.263
AT ITER 9683 NEW BEST:: SOT 8237 SOS 3262 HAS SOPS 3262 HAS SOUS 1785 HAS SOUPS 1785 WITH SCORE 1788.262
AT ITER 9713 NEW BEST:: SOT 8233 SOS 3257 HAS SOPS 3257 HAS SOUS 1780 HAS SOUPS 1780 WITH SCORE 1783.257
AT ITER 9721 NEW BEST:: SOT 8229 SOS 3254 HAS SOPS 3254 HAS SOUS 1778 HAS SOUPS 1778 WITH SCORE 1781.254
AT ITER 9734 NEW BEST:: SOT 8228 SOS 3252 HAS SOPS 3252 HAS SOUS 1774 HAS SOUPS 1774 WITH SCORE 1777.252
STATE_SPACE STATES 1600305869653 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 51 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 19392057628571 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589104519550

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DES-PT-10a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is DES-PT-10a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902541900248"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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