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.r099-tall-167814472400416.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 DES-PT-10a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472400416
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 520K
-rw-r--r-- 1 mcc users 7.8K Feb 26 15:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 91K Feb 26 15:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 15:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 15:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 15:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 15:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:50 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 15:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 117K Feb 26 15:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.8K Feb 26 15:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 92K Feb 26 15:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:50 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 43K 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 1678241158671

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=DES-PT-10a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 10a
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: 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 20 NEW BEST:: SOT 13206 SOS 11089 HAS SOPS 11089 HAS SOUS 7511 HAS SOUPS 7511 WITH SCORE 7522.089
AT ITER 23 NEW BEST:: SOT 12672 SOS 10560 HAS SOPS 10560 HAS SOUS 6982 HAS SOUPS 6982 WITH SCORE 6992.56
AT ITER 24 NEW BEST:: SOT 12672 SOS 10550 HAS SOPS 10550 HAS SOUS 6972 HAS SOUPS 6972 WITH SCORE 6982.55
AT ITER 35 NEW BEST:: SOT 12630 SOS 10508 HAS SOPS 10508 HAS SOUS 6930 HAS SOUPS 6930 WITH SCORE 6940.508
AT ITER 47 NEW BEST:: SOT 12417 SOS 10295 HAS SOPS 10295 HAS SOUS 6886 HAS SOUPS 6886 WITH SCORE 6896.295
AT ITER 49 NEW BEST:: SOT 12405 SOS 10283 HAS SOPS 10283 HAS SOUS 6882 HAS SOUPS 6882 WITH SCORE 6892.283
AT ITER 54 NEW BEST:: SOT 12434 SOS 10221 HAS SOPS 10221 HAS SOUS 6807 HAS SOUPS 6807 WITH SCORE 6817.221
AT ITER 56 NEW BEST:: SOT 12157 SOS 9919 HAS SOPS 9919 HAS SOUS 6505 HAS SOUPS 6505 WITH SCORE 6514.919
AT ITER 57 NEW BEST:: SOT 12157 SOS 9833 HAS SOPS 9833 HAS SOUS 6419 HAS SOUPS 6419 WITH SCORE 6428.833
AT ITER 62 NEW BEST:: SOT 12157 SOS 9829 HAS SOPS 9829 HAS SOUS 6415 HAS SOUPS 6415 WITH SCORE 6424.829
AT ITER 64 NEW BEST:: SOT 12157 SOS 9829 HAS SOPS 9829 HAS SOUS 6405 HAS SOUPS 6405 WITH SCORE 6414.829
AT ITER 66 NEW BEST:: SOT 11852 SOS 9522 HAS SOPS 9522 HAS SOUS 6343 HAS SOUPS 6343 WITH SCORE 6352.522
AT ITER 72 NEW BEST:: SOT 11852 SOS 9500 HAS SOPS 9500 HAS SOUS 6339 HAS SOUPS 6339 WITH SCORE 6348.5
AT ITER 75 NEW BEST:: SOT 11847 SOS 9495 HAS SOPS 9495 HAS SOUS 6334 HAS SOUPS 6334 WITH SCORE 6343.495
AT ITER 76 NEW BEST:: SOT 11837 SOS 9485 HAS SOPS 9485 HAS SOUS 6324 HAS SOUPS 6324 WITH SCORE 6333.485
AT ITER 85 NEW BEST:: SOT 11837 SOS 9481 HAS SOPS 9481 HAS SOUS 6320 HAS SOUPS 6320 WITH SCORE 6329.481
AT ITER 86 NEW BEST:: SOT 11832 SOS 9476 HAS SOPS 9476 HAS SOUS 6315 HAS SOUPS 6315 WITH SCORE 6324.476
AT ITER 87 NEW BEST:: SOT 11788 SOS 9432 HAS SOPS 9432 HAS SOUS 6271 HAS SOUPS 6271 WITH SCORE 6280.432
AT ITER 89 NEW BEST:: SOT 11770 SOS 9414 HAS SOPS 9414 HAS SOUS 6252 HAS SOUPS 6252 WITH SCORE 6261.414
AT ITER 92 NEW BEST:: SOT 11752 SOS 9396 HAS SOPS 9396 HAS SOUS 6234 HAS SOUPS 6234 WITH SCORE 6243.396
AT ITER 94 NEW BEST:: SOT 11752 SOS 9348 HAS SOPS 9348 HAS SOUS 6186 HAS SOUPS 6186 WITH SCORE 6195.348
AT ITER 97 NEW BEST:: SOT 11740 SOS 9336 HAS SOPS 9336 HAS SOUS 6174 HAS SOUPS 6174 WITH SCORE 6183.336
AT ITER 99 NEW BEST:: SOT 11740 SOS 9333 HAS SOPS 9333 HAS SOUS 6173 HAS SOUPS 6173 WITH SCORE 6182.333
AT ITER 108 NEW BEST:: SOT 11739 SOS 9331 HAS SOPS 9331 HAS SOUS 6172 HAS SOUPS 6172 WITH SCORE 6181.331
AT ITER 110 NEW BEST:: SOT 11589 SOS 9181 HAS SOPS 9181 HAS SOUS 6022 HAS SOUPS 6022 WITH SCORE 6031.181
AT ITER 118 NEW BEST:: SOT 11574 SOS 9156 HAS SOPS 9156 HAS SOUS 5997 HAS SOUPS 5997 WITH SCORE 6006.156
AT ITER 119 NEW BEST:: SOT 11531 SOS 9084 HAS SOPS 9084 HAS SOUS 5925 HAS SOUPS 5925 WITH SCORE 5934.084
AT ITER 126 NEW BEST:: SOT 11531 SOS 9084 HAS SOPS 9084 HAS SOUS 5920 HAS SOUPS 5920 WITH SCORE 5929.084
AT ITER 131 NEW BEST:: SOT 11537 SOS 9077 HAS SOPS 9077 HAS SOUS 5919 HAS SOUPS 5919 WITH SCORE 5928.077
AT ITER 143 NEW BEST:: SOT 11528 SOS 9059 HAS SOPS 9059 HAS SOUS 5901 HAS SOUPS 5901 WITH SCORE 5910.059
AT ITER 145 NEW BEST:: SOT 11526 SOS 9057 HAS SOPS 9057 HAS SOUS 5899 HAS SOUPS 5899 WITH SCORE 5908.057
AT ITER 148 NEW BEST:: SOT 11503 SOS 9034 HAS SOPS 9034 HAS SOUS 5870 HAS SOUPS 5870 WITH SCORE 5879.034
AT ITER 150 NEW BEST:: SOT 11491 SOS 9020 HAS SOPS 9020 HAS SOUS 5864 HAS SOUPS 5864 WITH SCORE 5873.02
AT ITER 160 NEW BEST:: SOT 11465 SOS 8990 HAS SOPS 8990 HAS SOUS 5834 HAS SOUPS 5834 WITH SCORE 5842.99
AT ITER 170 NEW BEST:: SOT 11437 SOS 8913 HAS SOPS 8913 HAS SOUS 5827 HAS SOUPS 5827 WITH SCORE 5835.913
AT ITER 171 NEW BEST:: SOT 11153 SOS 8629 HAS SOPS 8629 HAS SOUS 5513 HAS SOUPS 5513 WITH SCORE 5521.629
AT ITER 176 NEW BEST:: SOT 11118 SOS 8594 HAS SOPS 8594 HAS SOUS 5495 HAS SOUPS 5495 WITH SCORE 5503.594
AT ITER 181 NEW BEST:: SOT 11118 SOS 8592 HAS SOPS 8592 HAS SOUS 5493 HAS SOUPS 5493 WITH SCORE 5501.592
AT ITER 184 NEW BEST:: SOT 11032 SOS 8506 HAS SOPS 8506 HAS SOUS 5406 HAS SOUPS 5406 WITH SCORE 5414.506
AT ITER 187 NEW BEST:: SOT 11032 SOS 8497 HAS SOPS 8497 HAS SOUS 5397 HAS SOUPS 5397 WITH SCORE 5405.497
AT ITER 189 NEW BEST:: SOT 11030 SOS 8495 HAS SOPS 8495 HAS SOUS 5395 HAS SOUPS 5395 WITH SCORE 5403.495
AT ITER 193 NEW BEST:: SOT 11029 SOS 8462 HAS SOPS 8462 HAS SOUS 5362 HAS SOUPS 5362 WITH SCORE 5370.462
AT ITER 200 NEW BEST:: SOT 11017 SOS 8450 HAS SOPS 8450 HAS SOUS 5350 HAS SOUPS 5350 WITH SCORE 5358.45
AT ITER 209 NEW BEST:: SOT 10901 SOS 8334 HAS SOPS 8334 HAS SOUS 5234 HAS SOUPS 5234 WITH SCORE 5242.334
AT ITER 215 NEW BEST:: SOT 10755 SOS 8188 HAS SOPS 8188 HAS SOUS 5143 HAS SOUPS 5143 WITH SCORE 5151.188
AT ITER 224 NEW BEST:: SOT 10737 SOS 8170 HAS SOPS 8170 HAS SOUS 5132 HAS SOUPS 5132 WITH SCORE 5140.17
AT ITER 227 NEW BEST:: SOT 10721 SOS 8153 HAS SOPS 8153 HAS SOUS 5131 HAS SOUPS 5131 WITH SCORE 5139.153
AT ITER 231 NEW BEST:: SOT 10725 SOS 8149 HAS SOPS 8149 HAS SOUS 5127 HAS SOUPS 5127 WITH SCORE 5135.149
AT ITER 236 NEW BEST:: SOT 10748 SOS 8088 HAS SOPS 8088 HAS SOUS 5066 HAS SOUPS 5066 WITH SCORE 5074.088
AT ITER 237 NEW BEST:: SOT 10664 SOS 8004 HAS SOPS 8004 HAS SOUS 4971 HAS SOUPS 4971 WITH SCORE 4979.004
AT ITER 238 NEW BEST:: SOT 10619 SOS 7944 HAS SOPS 7944 HAS SOUS 4931 HAS SOUPS 4931 WITH SCORE 4938.944
AT ITER 241 NEW BEST:: SOT 10619 SOS 7965 HAS SOPS 7965 HAS SOUS 4929 HAS SOUPS 4929 WITH SCORE 4936.965
AT ITER 244 NEW BEST:: SOT 10608 SOS 7954 HAS SOPS 7954 HAS SOUS 4918 HAS SOUPS 4918 WITH SCORE 4925.954
AT ITER 250 NEW BEST:: SOT 10606 SOS 7952 HAS SOPS 7952 HAS SOUS 4916 HAS SOUPS 4916 WITH SCORE 4923.952
AT ITER 252 NEW BEST:: SOT 10624 SOS 7970 HAS SOPS 7970 HAS SOUS 4908 HAS SOUPS 4908 WITH SCORE 4915.97
AT ITER 254 NEW BEST:: SOT 10620 SOS 7966 HAS SOPS 7966 HAS SOUS 4904 HAS SOUPS 4904 WITH SCORE 4911.966
AT ITER 262 NEW BEST:: SOT 10553 SOS 7851 HAS SOPS 7851 HAS SOUS 4789 HAS SOUPS 4789 WITH SCORE 4796.851
AT ITER 276 NEW BEST:: SOT 10549 SOS 7847 HAS SOPS 7847 HAS SOUS 4785 HAS SOUPS 4785 WITH SCORE 4792.847
AT ITER 278 NEW BEST:: SOT 10549 SOS 7816 HAS SOPS 7816 HAS SOUS 4754 HAS SOUPS 4754 WITH SCORE 4761.816
AT ITER 282 NEW BEST:: SOT 10541 SOS 7808 HAS SOPS 7808 HAS SOUS 4746 HAS SOUPS 4746 WITH SCORE 4753.808
AT ITER 284 NEW BEST:: SOT 10541 SOS 7807 HAS SOPS 7807 HAS SOUS 4746 HAS SOUPS 4746 WITH SCORE 4753.807
AT ITER 294 NEW BEST:: SOT 10388 SOS 7654 HAS SOPS 7654 HAS SOUS 4556 HAS SOUPS 4556 WITH SCORE 4563.654
AT ITER 295 NEW BEST:: SOT 10389 SOS 7655 HAS SOPS 7655 HAS SOUS 4537 HAS SOUPS 4537 WITH SCORE 4544.655
AT ITER 298 NEW BEST:: SOT 10400 SOS 7654 HAS SOPS 7654 HAS SOUS 4536 HAS SOUPS 4536 WITH SCORE 4543.654
AT ITER 307 NEW BEST:: SOT 10400 SOS 7606 HAS SOPS 7606 HAS SOUS 4488 HAS SOUPS 4488 WITH SCORE 4495.606
AT ITER 314 NEW BEST:: SOT 10391 SOS 7597 HAS SOPS 7597 HAS SOUS 4479 HAS SOUPS 4479 WITH SCORE 4486.597
AT ITER 315 NEW BEST:: SOT 10357 SOS 7563 HAS SOPS 7563 HAS SOUS 4445 HAS SOUPS 4445 WITH SCORE 4452.563
AT ITER 333 NEW BEST:: SOT 10357 SOS 7560 HAS SOPS 7560 HAS SOUS 4442 HAS SOUPS 4442 WITH SCORE 4449.56
AT ITER 334 NEW BEST:: SOT 10341 SOS 7544 HAS SOPS 7544 HAS SOUS 4426 HAS SOUPS 4426 WITH SCORE 4433.544
AT ITER 335 NEW BEST:: SOT 10341 SOS 7540 HAS SOPS 7540 HAS SOUS 4426 HAS SOUPS 4426 WITH SCORE 4433.54
AT ITER 353 NEW BEST:: SOT 10308 SOS 7475 HAS SOPS 7475 HAS SOUS 4392 HAS SOUPS 4392 WITH SCORE 4399.475
AT ITER 354 NEW BEST:: SOT 10327 SOS 7470 HAS SOPS 7470 HAS SOUS 4387 HAS SOUPS 4387 WITH SCORE 4394.47
AT ITER 366 NEW BEST:: SOT 10316 SOS 7459 HAS SOPS 7459 HAS SOUS 4379 HAS SOUPS 4379 WITH SCORE 4386.459
AT ITER 370 NEW BEST:: SOT 10309 SOS 7452 HAS SOPS 7452 HAS SOUS 4379 HAS SOUPS 4379 WITH SCORE 4386.452
AT ITER 388 NEW BEST:: SOT 10289 SOS 7432 HAS SOPS 7432 HAS SOUS 4359 HAS SOUPS 4359 WITH SCORE 4366.432
AT ITER 390 NEW BEST:: SOT 10289 SOS 7421 HAS SOPS 7421 HAS SOUS 4359 HAS SOUPS 4359 WITH SCORE 4366.421
AT ITER 395 NEW BEST:: SOT 10274 SOS 7392 HAS SOPS 7392 HAS SOUS 4330 HAS SOUPS 4330 WITH SCORE 4337.392
AT ITER 401 NEW BEST:: SOT 10273 SOS 7342 HAS SOPS 7342 HAS SOUS 4329 HAS SOUPS 4329 WITH SCORE 4336.342
AT ITER 410 NEW BEST:: SOT 10194 SOS 7242 HAS SOPS 7242 HAS SOUS 4229 HAS SOUPS 4229 WITH SCORE 4236.242
AT ITER 419 NEW BEST:: SOT 10220 SOS 7236 HAS SOPS 7236 HAS SOUS 4223 HAS SOUPS 4223 WITH SCORE 4230.236
AT ITER 423 NEW BEST:: SOT 10211 SOS 7227 HAS SOPS 7227 HAS SOUS 4196 HAS SOUPS 4196 WITH SCORE 4203.227
AT ITER 428 NEW BEST:: SOT 10211 SOS 7115 HAS SOPS 7115 HAS SOUS 4186 HAS SOUPS 4186 WITH SCORE 4193.115
AT ITER 433 NEW BEST:: SOT 10201 SOS 7122 HAS SOPS 7122 HAS SOUS 4176 HAS SOUPS 4176 WITH SCORE 4183.122
AT ITER 458 NEW BEST:: SOT 10190 SOS 7117 HAS SOPS 7117 HAS SOUS 4171 HAS SOUPS 4171 WITH SCORE 4178.117
AT ITER 460 NEW BEST:: SOT 10165 SOS 7087 HAS SOPS 7087 HAS SOUS 4159 HAS SOUPS 4159 WITH SCORE 4166.087
AT ITER 462 NEW BEST:: SOT 10142 SOS 7047 HAS SOPS 7047 HAS SOUS 4119 HAS SOUPS 4119 WITH SCORE 4126.047
AT ITER 464 NEW BEST:: SOT 10142 SOS 7043 HAS SOPS 7043 HAS SOUS 4114 HAS SOUPS 4114 WITH SCORE 4121.043
AT ITER 466 NEW BEST:: SOT 10141 SOS 7042 HAS SOPS 7042 HAS SOUS 4112 HAS SOUPS 4112 WITH SCORE 4119.042
AT ITER 482 NEW BEST:: SOT 10141 SOS 7034 HAS SOPS 7034 HAS SOUS 4104 HAS SOUPS 4104 WITH SCORE 4111.034
AT ITER 492 NEW BEST:: SOT 10136 SOS 7029 HAS SOPS 7029 HAS SOUS 4099 HAS SOUPS 4099 WITH SCORE 4106.029
AT ITER 508 NEW BEST:: SOT 10099 SOS 6976 HAS SOPS 6976 HAS SOUS 4046 HAS SOUPS 4046 WITH SCORE 4052.976
AT ITER 523 NEW BEST:: SOT 10099 SOS 6962 HAS SOPS 6962 HAS SOUS 4037 HAS SOUPS 4037 WITH SCORE 4043.962
AT ITER 534 NEW BEST:: SOT 10097 SOS 6959 HAS SOPS 6959 HAS SOUS 4035 HAS SOUPS 4035 WITH SCORE 4041.959
AT ITER 536 NEW BEST:: SOT 10071 SOS 6933 HAS SOPS 6933 HAS SOUS 4021 HAS SOUPS 4021 WITH SCORE 4027.933
AT ITER 541 NEW BEST:: SOT 10064 SOS 6919 HAS SOPS 6919 HAS SOUS 4007 HAS SOUPS 4007 WITH SCORE 4013.919
AT ITER 545 NEW BEST:: SOT 10060 SOS 6915 HAS SOPS 6915 HAS SOUS 4007 HAS SOUPS 4007 WITH SCORE 4013.915
AT ITER 555 NEW BEST:: SOT 10043 SOS 6918 HAS SOPS 6918 HAS SOUS 4006 HAS SOUPS 4006 WITH SCORE 4012.918
AT ITER 559 NEW BEST:: SOT 10036 SOS 6908 HAS SOPS 6908 HAS SOUS 3996 HAS SOUPS 3996 WITH SCORE 4002.908
AT ITER 567 NEW BEST:: SOT 10036 SOS 6908 HAS SOPS 6908 HAS SOUS 3984 HAS SOUPS 3984 WITH SCORE 3990.908
AT ITER 569 NEW BEST:: SOT 10034 SOS 6906 HAS SOPS 6906 HAS SOUS 3982 HAS SOUPS 3982 WITH SCORE 3988.906
AT ITER 585 NEW BEST:: SOT 10016 SOS 6888 HAS SOPS 6888 HAS SOUS 3956 HAS SOUPS 3956 WITH SCORE 3962.888
AT ITER 596 NEW BEST:: SOT 10001 SOS 6876 HAS SOPS 6876 HAS SOUS 3949 HAS SOUPS 3949 WITH SCORE 3955.876
AT ITER 617 NEW BEST:: SOT 9996 SOS 6871 HAS SOPS 6871 HAS SOUS 3926 HAS SOUPS 3926 WITH SCORE 3932.871
AT ITER 642 NEW BEST:: SOT 10001 SOS 6847 HAS SOPS 6847 HAS SOUS 3902 HAS SOUPS 3902 WITH SCORE 3908.847
AT ITER 645 NEW BEST:: SOT 10001 SOS 6840 HAS SOPS 6840 HAS SOUS 3895 HAS SOUPS 3895 WITH SCORE 3901.84
AT ITER 650 NEW BEST:: SOT 10019 SOS 6828 HAS SOPS 6828 HAS SOUS 3883 HAS SOUPS 3883 WITH SCORE 3889.828
AT ITER 652 NEW BEST:: SOT 10018 SOS 6816 HAS SOPS 6816 HAS SOUS 3871 HAS SOUPS 3871 WITH SCORE 3877.816
AT ITER 660 NEW BEST:: SOT 10023 SOS 6821 HAS SOPS 6821 HAS SOUS 3858 HAS SOUPS 3858 WITH SCORE 3864.821
AT ITER 666 NEW BEST:: SOT 10005 SOS 6803 HAS SOPS 6803 HAS SOUS 3849 HAS SOUPS 3849 WITH SCORE 3855.803
AT ITER 688 NEW BEST:: SOT 10005 SOS 6785 HAS SOPS 6785 HAS SOUS 3849 HAS SOUPS 3849 WITH SCORE 3855.785
AT ITER 700 NEW BEST:: SOT 10002 SOS 6782 HAS SOPS 6782 HAS SOUS 3849 HAS SOUPS 3849 WITH SCORE 3855.782
AT ITER 702 NEW BEST:: SOT 9971 SOS 6675 HAS SOPS 6675 HAS SOUS 3841 HAS SOUPS 3841 WITH SCORE 3847.675
AT ITER 707 NEW BEST:: SOT 9934 SOS 6629 HAS SOPS 6629 HAS SOUS 3795 HAS SOUPS 3795 WITH SCORE 3801.629
AT ITER 713 NEW BEST:: SOT 9931 SOS 6617 HAS SOPS 6617 HAS SOUS 3786 HAS SOUPS 3786 WITH SCORE 3792.617
AT ITER 726 NEW BEST:: SOT 9926 SOS 6612 HAS SOPS 6612 HAS SOUS 3781 HAS SOUPS 3781 WITH SCORE 3787.612
AT ITER 743 NEW BEST:: SOT 9926 SOS 6667 HAS SOPS 6667 HAS SOUS 3780 HAS SOUPS 3780 WITH SCORE 3786.667
AT ITER 755 NEW BEST:: SOT 9925 SOS 6666 HAS SOPS 6666 HAS SOUS 3779 HAS SOUPS 3779 WITH SCORE 3785.666
AT ITER 771 NEW BEST:: SOT 9924 SOS 6659 HAS SOPS 6659 HAS SOUS 3774 HAS SOUPS 3774 WITH SCORE 3780.659
AT ITER 772 NEW BEST:: SOT 9924 SOS 6657 HAS SOPS 6657 HAS SOUS 3772 HAS SOUPS 3772 WITH SCORE 3778.657
AT ITER 779 NEW BEST:: SOT 9918 SOS 6639 HAS SOPS 6639 HAS SOUS 3754 HAS SOUPS 3754 WITH SCORE 3760.639
AT ITER 796 NEW BEST:: SOT 9913 SOS 6633 HAS SOPS 6633 HAS SOUS 3748 HAS SOUPS 3748 WITH SCORE 3754.633
AT ITER 806 NEW BEST:: SOT 9922 SOS 6642 HAS SOPS 6642 HAS SOUS 3740 HAS SOUPS 3740 WITH SCORE 3746.642
AT ITER 834 NEW BEST:: SOT 9922 SOS 6621 HAS SOPS 6621 HAS SOUS 3719 HAS SOUPS 3719 WITH SCORE 3725.621
AT ITER 856 NEW BEST:: SOT 9922 SOS 6617 HAS SOPS 6617 HAS SOUS 3719 HAS SOUPS 3719 WITH SCORE 3725.617
AT ITER 891 NEW BEST:: SOT 9901 SOS 6583 HAS SOPS 6583 HAS SOUS 3685 HAS SOUPS 3685 WITH SCORE 3691.583
AT ITER 893 NEW BEST:: SOT 9901 SOS 6601 HAS SOPS 6601 HAS SOUS 3651 HAS SOUPS 3651 WITH SCORE 3657.601
AT ITER 899 NEW BEST:: SOT 9823 SOS 6517 HAS SOPS 6517 HAS SOUS 3619 HAS SOUPS 3619 WITH SCORE 3625.517
AT ITER 915 NEW BEST:: SOT 9791 SOS 6477 HAS SOPS 6477 HAS SOUS 3587 HAS SOUPS 3587 WITH SCORE 3593.477
AT ITER 918 NEW BEST:: SOT 9741 SOS 6435 HAS SOPS 6435 HAS SOUS 3557 HAS SOUPS 3557 WITH SCORE 3563.435
AT ITER 933 NEW BEST:: SOT 9733 SOS 6403 HAS SOPS 6403 HAS SOUS 3525 HAS SOUPS 3525 WITH SCORE 3531.403
AT ITER 942 NEW BEST:: SOT 9720 SOS 6403 HAS SOPS 6403 HAS SOUS 3508 HAS SOUPS 3508 WITH SCORE 3514.403
AT ITER 945 NEW BEST:: SOT 9642 SOS 6318 HAS SOPS 6318 HAS SOUS 3487 HAS SOUPS 3487 WITH SCORE 3493.318
AT ITER 957 NEW BEST:: SOT 9643 SOS 6310 HAS SOPS 6310 HAS SOUS 3482 HAS SOUPS 3482 WITH SCORE 3488.31
AT ITER 971 NEW BEST:: SOT 9642 SOS 6309 HAS SOPS 6309 HAS SOUS 3481 HAS SOUPS 3481 WITH SCORE 3487.309
AT ITER 974 NEW BEST:: SOT 9618 SOS 6276 HAS SOPS 6276 HAS SOUS 3448 HAS SOUPS 3448 WITH SCORE 3454.276
AT ITER 977 NEW BEST:: SOT 9613 SOS 6266 HAS SOPS 6266 HAS SOUS 3438 HAS SOUPS 3438 WITH SCORE 3444.266
AT ITER 981 NEW BEST:: SOT 9517 SOS 6170 HAS SOPS 6170 HAS SOUS 3406 HAS SOUPS 3406 WITH SCORE 3412.17
AT ITER 983 NEW BEST:: SOT 9516 SOS 6169 HAS SOPS 6169 HAS SOUS 3406 HAS SOUPS 3406 WITH SCORE 3412.169
AT ITER 990 NEW BEST:: SOT 9516 SOS 6169 HAS SOPS 6169 HAS SOUS 3404 HAS SOUPS 3404 WITH SCORE 3410.169
AT ITER 1011 NEW BEST:: SOT 9514 SOS 6167 HAS SOPS 6167 HAS SOUS 3402 HAS SOUPS 3402 WITH SCORE 3408.167
AT ITER 1030 NEW BEST:: SOT 9502 SOS 6156 HAS SOPS 6156 HAS SOUS 3394 HAS SOUPS 3394 WITH SCORE 3400.156
AT ITER 1031 NEW BEST:: SOT 9493 SOS 6145 HAS SOPS 6145 HAS SOUS 3383 HAS SOUPS 3383 WITH SCORE 3389.145
AT ITER 1047 NEW BEST:: SOT 9492 SOS 6143 HAS SOPS 6143 HAS SOUS 3381 HAS SOUPS 3381 WITH SCORE 3387.143
AT ITER 1052 NEW BEST:: SOT 9474 SOS 6108 HAS SOPS 6108 HAS SOUS 3362 HAS SOUPS 3362 WITH SCORE 3368.108
AT ITER 1096 NEW BEST:: SOT 9459 SOS 6075 HAS SOPS 6075 HAS SOUS 3329 HAS SOUPS 3329 WITH SCORE 3335.075
AT ITER 1115 NEW BEST:: SOT 9429 SOS 6045 HAS SOPS 6045 HAS SOUS 3310 HAS SOUPS 3310 WITH SCORE 3316.045
AT ITER 1117 NEW BEST:: SOT 9426 SOS 6042 HAS SOPS 6042 HAS SOUS 3309 HAS SOUPS 3309 WITH SCORE 3315.042
AT ITER 1122 NEW BEST:: SOT 9438 SOS 6049 HAS SOPS 6049 HAS SOUS 3292 HAS SOUPS 3292 WITH SCORE 3298.049
AT ITER 1123 NEW BEST:: SOT 9438 SOS 6043 HAS SOPS 6043 HAS SOUS 3286 HAS SOUPS 3286 WITH SCORE 3292.043
AT ITER 1138 NEW BEST:: SOT 9438 SOS 6038 HAS SOPS 6038 HAS SOUS 3281 HAS SOUPS 3281 WITH SCORE 3287.038
AT ITER 1144 NEW BEST:: SOT 9453 SOS 5983 HAS SOPS 5983 HAS SOUS 3262 HAS SOUPS 3262 WITH SCORE 3267.983
AT ITER 1159 NEW BEST:: SOT 9433 SOS 5913 HAS SOPS 5913 HAS SOUS 3236 HAS SOUPS 3236 WITH SCORE 3241.913
AT ITER 1167 NEW BEST:: SOT 9370 SOS 5706 HAS SOPS 5706 HAS SOUS 3149 HAS SOUPS 3149 WITH SCORE 3154.706
AT ITER 1169 NEW BEST:: SOT 9446 SOS 5813 HAS SOPS 5813 HAS SOUS 3140 HAS SOUPS 3140 WITH SCORE 3145.813
AT ITER 1180 NEW BEST:: SOT 9444 SOS 5811 HAS SOPS 5811 HAS SOUS 3138 HAS SOUPS 3138 WITH SCORE 3143.811
AT ITER 1195 NEW BEST:: SOT 9438 SOS 5781 HAS SOPS 5781 HAS SOUS 3116 HAS SOUPS 3116 WITH SCORE 3121.781
AT ITER 1202 NEW BEST:: SOT 9435 SOS 5773 HAS SOPS 5773 HAS SOUS 3110 HAS SOUPS 3110 WITH SCORE 3115.773
AT ITER 1208 NEW BEST:: SOT 9415 SOS 5753 HAS SOPS 5753 HAS SOUS 3100 HAS SOUPS 3100 WITH SCORE 3105.753
AT ITER 1235 NEW BEST:: SOT 9407 SOS 5745 HAS SOPS 5745 HAS SOUS 3092 HAS SOUPS 3092 WITH SCORE 3097.745
AT ITER 1249 NEW BEST:: SOT 9407 SOS 5721 HAS SOPS 5721 HAS SOUS 3092 HAS SOUPS 3092 WITH SCORE 3097.721
AT ITER 1257 NEW BEST:: SOT 9407 SOS 5718 HAS SOPS 5718 HAS SOUS 3090 HAS SOUPS 3090 WITH SCORE 3095.718
AT ITER 1277 NEW BEST:: SOT 9405 SOS 5710 HAS SOPS 5710 HAS SOUS 3082 HAS SOUPS 3082 WITH SCORE 3087.71
AT ITER 1294 NEW BEST:: SOT 9378 SOS 5634 HAS SOPS 5634 HAS SOUS 3068 HAS SOUPS 3068 WITH SCORE 3073.634
AT ITER 1295 NEW BEST:: SOT 9375 SOS 5631 HAS SOPS 5631 HAS SOUS 3065 HAS SOUPS 3065 WITH SCORE 3070.631
AT ITER 1312 NEW BEST:: SOT 9373 SOS 5624 HAS SOPS 5624 HAS SOUS 3059 HAS SOUPS 3059 WITH SCORE 3064.624
AT ITER 1341 NEW BEST:: SOT 9373 SOS 5458 HAS SOPS 5458 HAS SOUS 3053 HAS SOUPS 3053 WITH SCORE 3058.458
AT ITER 1357 NEW BEST:: SOT 9372 SOS 5377 HAS SOPS 5377 HAS SOUS 3008 HAS SOUPS 3008 WITH SCORE 3013.377
AT ITER 1360 NEW BEST:: SOT 9368 SOS 5345 HAS SOPS 5345 HAS SOUS 3002 HAS SOUPS 3002 WITH SCORE 3007.345
AT ITER 1371 NEW BEST:: SOT 9375 SOS 5343 HAS SOPS 5343 HAS SOUS 3000 HAS SOUPS 3000 WITH SCORE 3005.343
AT ITER 1391 NEW BEST:: SOT 9371 SOS 5342 HAS SOPS 5342 HAS SOUS 2999 HAS SOUPS 2999 WITH SCORE 3004.342
AT ITER 1427 NEW BEST:: SOT 9368 SOS 5339 HAS SOPS 5339 HAS SOUS 2996 HAS SOUPS 2996 WITH SCORE 3001.339
AT ITER 1451 NEW BEST:: SOT 9332 SOS 5303 HAS SOPS 5303 HAS SOUS 2974 HAS SOUPS 2974 WITH SCORE 2979.303
AT ITER 1462 NEW BEST:: SOT 9327 SOS 5295 HAS SOPS 5295 HAS SOUS 2966 HAS SOUPS 2966 WITH SCORE 2971.295
AT ITER 1485 NEW BEST:: SOT 9329 SOS 5297 HAS SOPS 5297 HAS SOUS 2965 HAS SOUPS 2965 WITH SCORE 2970.297
AT ITER 1513 NEW BEST:: SOT 9318 SOS 5286 HAS SOPS 5286 HAS SOUS 2954 HAS SOUPS 2954 WITH SCORE 2959.286
AT ITER 1520 NEW BEST:: SOT 9300 SOS 5263 HAS SOPS 5263 HAS SOUS 2931 HAS SOUPS 2931 WITH SCORE 2936.263
AT ITER 1521 NEW BEST:: SOT 9312 SOS 5264 HAS SOPS 5264 HAS SOUS 2928 HAS SOUPS 2928 WITH SCORE 2933.264
AT ITER 1549 NEW BEST:: SOT 9300 SOS 5252 HAS SOPS 5252 HAS SOUS 2916 HAS SOUPS 2916 WITH SCORE 2921.252
AT ITER 1559 NEW BEST:: SOT 9296 SOS 5243 HAS SOPS 5243 HAS SOUS 2911 HAS SOUPS 2911 WITH SCORE 2916.243
AT ITER 1595 NEW BEST:: SOT 9294 SOS 5185 HAS SOPS 5185 HAS SOUS 2906 HAS SOUPS 2906 WITH SCORE 2911.185
AT ITER 1644 NEW BEST:: SOT 9275 SOS 5128 HAS SOPS 5128 HAS SOUS 2906 HAS SOUPS 2906 WITH SCORE 2911.128
AT ITER 1657 NEW BEST:: SOT 9164 SOS 5017 HAS SOPS 5017 HAS SOUS 2887 HAS SOUPS 2887 WITH SCORE 2892.017
AT ITER 1700 NEW BEST:: SOT 9158 SOS 5005 HAS SOPS 5005 HAS SOUS 2875 HAS SOUPS 2875 WITH SCORE 2880.005
AT ITER 1719 NEW BEST:: SOT 9150 SOS 4997 HAS SOPS 4997 HAS SOUS 2867 HAS SOUPS 2867 WITH SCORE 2871.997
AT ITER 1727 NEW BEST:: SOT 9164 SOS 5011 HAS SOPS 5011 HAS SOUS 2840 HAS SOUPS 2840 WITH SCORE 2845.011
AT ITER 1729 NEW BEST:: SOT 9163 SOS 5010 HAS SOPS 5010 HAS SOUS 2838 HAS SOUPS 2838 WITH SCORE 2843.01
AT ITER 1746 NEW BEST:: SOT 9183 SOS 5039 HAS SOPS 5039 HAS SOUS 2827 HAS SOUPS 2827 WITH SCORE 2832.039
AT ITER 1780 NEW BEST:: SOT 9180 SOS 5032 HAS SOPS 5032 HAS SOUS 2820 HAS SOUPS 2820 WITH SCORE 2825.032
AT ITER 1790 NEW BEST:: SOT 9180 SOS 5022 HAS SOPS 5022 HAS SOUS 2810 HAS SOUPS 2810 WITH SCORE 2815.022
AT ITER 1795 NEW BEST:: SOT 9180 SOS 5042 HAS SOPS 5042 HAS SOUS 2808 HAS SOUPS 2808 WITH SCORE 2813.042
AT ITER 1805 NEW BEST:: SOT 9225 SOS 5072 HAS SOPS 5072 HAS SOUS 2802 HAS SOUPS 2802 WITH SCORE 2807.072
AT ITER 1812 NEW BEST:: SOT 9225 SOS 5043 HAS SOPS 5043 HAS SOUS 2802 HAS SOUPS 2802 WITH SCORE 2807.043
AT ITER 1818 NEW BEST:: SOT 9225 SOS 5076 HAS SOPS 5076 HAS SOUS 2799 HAS SOUPS 2799 WITH SCORE 2804.076
AT ITER 1837 NEW BEST:: SOT 9214 SOS 5065 HAS SOPS 5065 HAS SOUS 2788 HAS SOUPS 2788 WITH SCORE 2793.065
AT ITER 1844 NEW BEST:: SOT 9196 SOS 4979 HAS SOPS 4979 HAS SOUS 2783 HAS SOUPS 2783 WITH SCORE 2787.979
AT ITER 1859 NEW BEST:: SOT 9188 SOS 4971 HAS SOPS 4971 HAS SOUS 2767 HAS SOUPS 2767 WITH SCORE 2771.971
AT ITER 1871 NEW BEST:: SOT 9182 SOS 4965 HAS SOPS 4965 HAS SOUS 2752 HAS SOUPS 2752 WITH SCORE 2756.965
AT ITER 1872 NEW BEST:: SOT 9180 SOS 4965 HAS SOPS 4965 HAS SOUS 2748 HAS SOUPS 2748 WITH SCORE 2752.965
AT ITER 1874 NEW BEST:: SOT 9173 SOS 4958 HAS SOPS 4958 HAS SOUS 2741 HAS SOUPS 2741 WITH SCORE 2745.958
AT ITER 1891 NEW BEST:: SOT 9173 SOS 4957 HAS SOPS 4957 HAS SOUS 2740 HAS SOUPS 2740 WITH SCORE 2744.957
AT ITER 1911 NEW BEST:: SOT 9172 SOS 4956 HAS SOPS 4956 HAS SOUS 2738 HAS SOUPS 2738 WITH SCORE 2742.956
AT ITER 1924 NEW BEST:: SOT 9169 SOS 4952 HAS SOPS 4952 HAS SOUS 2735 HAS SOUPS 2735 WITH SCORE 2739.952
AT ITER 1937 NEW BEST:: SOT 9169 SOS 4961 HAS SOPS 4961 HAS SOUS 2734 HAS SOUPS 2734 WITH SCORE 2738.961
AT ITER 1967 NEW BEST:: SOT 9169 SOS 4959 HAS SOPS 4959 HAS SOUS 2732 HAS SOUPS 2732 WITH SCORE 2736.959
AT ITER 1970 NEW BEST:: SOT 9168 SOS 4957 HAS SOPS 4957 HAS SOUS 2730 HAS SOUPS 2730 WITH SCORE 2734.957
AT ITER 1979 NEW BEST:: SOT 9143 SOS 4921 HAS SOPS 4921 HAS SOUS 2714 HAS SOUPS 2714 WITH SCORE 2718.921
AT ITER 2003 NEW BEST:: SOT 9133 SOS 4911 HAS SOPS 4911 HAS SOUS 2694 HAS SOUPS 2694 WITH SCORE 2698.911
AT ITER 2058 NEW BEST:: SOT 9124 SOS 4929 HAS SOPS 4929 HAS SOUS 2691 HAS SOUPS 2691 WITH SCORE 2695.929
AT ITER 2104 NEW BEST:: SOT 9109 SOS 4914 HAS SOPS 4914 HAS SOUS 2681 HAS SOUPS 2681 WITH SCORE 2685.914
AT ITER 2137 NEW BEST:: SOT 9089 SOS 4939 HAS SOPS 4939 HAS SOUS 2673 HAS SOUPS 2673 WITH SCORE 2677.939
AT ITER 2143 NEW BEST:: SOT 9088 SOS 4938 HAS SOPS 4938 HAS SOUS 2671 HAS SOUPS 2671 WITH SCORE 2675.938
AT ITER 2150 NEW BEST:: SOT 9075 SOS 4933 HAS SOPS 4933 HAS SOUS 2666 HAS SOUPS 2666 WITH SCORE 2670.933
AT ITER 2182 NEW BEST:: SOT 9049 SOS 4883 HAS SOPS 4883 HAS SOUS 2640 HAS SOUPS 2640 WITH SCORE 2644.883
AT ITER 2189 NEW BEST:: SOT 9048 SOS 4882 HAS SOPS 4882 HAS SOUS 2639 HAS SOUPS 2639 WITH SCORE 2643.882
AT ITER 2223 NEW BEST:: SOT 9047 SOS 4880 HAS SOPS 4880 HAS SOUS 2637 HAS SOUPS 2637 WITH SCORE 2641.88
AT ITER 2226 NEW BEST:: SOT 9047 SOS 4876 HAS SOPS 4876 HAS SOUS 2633 HAS SOUPS 2633 WITH SCORE 2637.876
AT ITER 2254 NEW BEST:: SOT 9044 SOS 4873 HAS SOPS 4873 HAS SOUS 2630 HAS SOUPS 2630 WITH SCORE 2634.873
AT ITER 2282 NEW BEST:: SOT 9035 SOS 4852 HAS SOPS 4852 HAS SOUS 2609 HAS SOUPS 2609 WITH SCORE 2613.852
AT ITER 2286 NEW BEST:: SOT 9033 SOS 4849 HAS SOPS 4849 HAS SOUS 2608 HAS SOUPS 2608 WITH SCORE 2612.849
AT ITER 2300 NEW BEST:: SOT 9033 SOS 4849 HAS SOPS 4849 HAS SOUS 2594 HAS SOUPS 2594 WITH SCORE 2598.849
AT ITER 2305 NEW BEST:: SOT 9032 SOS 4848 HAS SOPS 4848 HAS SOUS 2594 HAS SOUPS 2594 WITH SCORE 2598.848
AT ITER 2311 NEW BEST:: SOT 9026 SOS 4800 HAS SOPS 4800 HAS SOUS 2594 HAS SOUPS 2594 WITH SCORE 2598.8
AT ITER 2333 NEW BEST:: SOT 9013 SOS 4787 HAS SOPS 4787 HAS SOUS 2584 HAS SOUPS 2584 WITH SCORE 2588.787
AT ITER 2340 NEW BEST:: SOT 9007 SOS 4800 HAS SOPS 4800 HAS SOUS 2579 HAS SOUPS 2579 WITH SCORE 2583.8
AT ITER 2350 NEW BEST:: SOT 8973 SOS 4766 HAS SOPS 4766 HAS SOUS 2560 HAS SOUPS 2560 WITH SCORE 2564.766
AT ITER 2362 NEW BEST:: SOT 8970 SOS 4763 HAS SOPS 4763 HAS SOUS 2557 HAS SOUPS 2557 WITH SCORE 2561.763
AT ITER 2391 NEW BEST:: SOT 8969 SOS 4762 HAS SOPS 4762 HAS SOUS 2553 HAS SOUPS 2553 WITH SCORE 2557.762
AT ITER 2452 NEW BEST:: SOT 8969 SOS 4734 HAS SOPS 4734 HAS SOUS 2553 HAS SOUPS 2553 WITH SCORE 2557.734
AT ITER 2545 NEW BEST:: SOT 8969 SOS 4733 HAS SOPS 4733 HAS SOUS 2552 HAS SOUPS 2552 WITH SCORE 2556.733
AT ITER 2601 NEW BEST:: SOT 8961 SOS 4725 HAS SOPS 4725 HAS SOUS 2537 HAS SOUPS 2537 WITH SCORE 2541.725
AT ITER 2637 NEW BEST:: SOT 8960 SOS 4724 HAS SOPS 4724 HAS SOUS 2536 HAS SOUPS 2536 WITH SCORE 2540.724
AT ITER 2666 NEW BEST:: SOT 8950 SOS 4714 HAS SOPS 4714 HAS SOUS 2516 HAS SOUPS 2516 WITH SCORE 2520.714
AT ITER 2685 NEW BEST:: SOT 8950 SOS 4700 HAS SOPS 4700 HAS SOUS 2513 HAS SOUPS 2513 WITH SCORE 2517.7
AT ITER 2689 NEW BEST:: SOT 8929 SOS 4664 HAS SOPS 4664 HAS SOUS 2477 HAS SOUPS 2477 WITH SCORE 2481.664
AT ITER 2712 NEW BEST:: SOT 8929 SOS 4594 HAS SOPS 4594 HAS SOUS 2470 HAS SOUPS 2470 WITH SCORE 2474.594
AT ITER 2721 NEW BEST:: SOT 8929 SOS 4587 HAS SOPS 4587 HAS SOUS 2463 HAS SOUPS 2463 WITH SCORE 2467.587
AT ITER 2724 NEW BEST:: SOT 8929 SOS 4583 HAS SOPS 4583 HAS SOUS 2457 HAS SOUPS 2457 WITH SCORE 2461.583
AT ITER 2729 NEW BEST:: SOT 8910 SOS 4546 HAS SOPS 4546 HAS SOUS 2450 HAS SOUPS 2450 WITH SCORE 2454.546
AT ITER 2747 NEW BEST:: SOT 8904 SOS 4540 HAS SOPS 4540 HAS SOUS 2444 HAS SOUPS 2444 WITH SCORE 2448.54
AT ITER 2779 NEW BEST:: SOT 8903 SOS 4539 HAS SOPS 4539 HAS SOUS 2443 HAS SOUPS 2443 WITH SCORE 2447.539
AT ITER 2799 NEW BEST:: SOT 8900 SOS 4536 HAS SOPS 4536 HAS SOUS 2437 HAS SOUPS 2437 WITH SCORE 2441.536
AT ITER 2807 NEW BEST:: SOT 8902 SOS 4534 HAS SOPS 4534 HAS SOUS 2436 HAS SOUPS 2436 WITH SCORE 2440.534
AT ITER 2810 NEW BEST:: SOT 8899 SOS 4531 HAS SOPS 4531 HAS SOUS 2426 HAS SOUPS 2426 WITH SCORE 2430.531
AT ITER 2811 NEW BEST:: SOT 8889 SOS 4521 HAS SOPS 4521 HAS SOUS 2424 HAS SOUPS 2424 WITH SCORE 2428.521
AT ITER 2820 NEW BEST:: SOT 8887 SOS 4519 HAS SOPS 4519 HAS SOUS 2418 HAS SOUPS 2418 WITH SCORE 2422.519
AT ITER 2831 NEW BEST:: SOT 8890 SOS 4522 HAS SOPS 4522 HAS SOUS 2413 HAS SOUPS 2413 WITH SCORE 2417.522
AT ITER 2861 NEW BEST:: SOT 8886 SOS 4518 HAS SOPS 4518 HAS SOUS 2405 HAS SOUPS 2405 WITH SCORE 2409.518
AT ITER 2865 NEW BEST:: SOT 8886 SOS 4511 HAS SOPS 4511 HAS SOUS 2398 HAS SOUPS 2398 WITH SCORE 2402.511
AT ITER 2899 NEW BEST:: SOT 8886 SOS 4508 HAS SOPS 4508 HAS SOUS 2395 HAS SOUPS 2395 WITH SCORE 2399.508
AT ITER 2914 NEW BEST:: SOT 8883 SOS 4505 HAS SOPS 4505 HAS SOUS 2392 HAS SOUPS 2392 WITH SCORE 2396.505
AT ITER 2926 NEW BEST:: SOT 8880 SOS 4502 HAS SOPS 4502 HAS SOUS 2392 HAS SOUPS 2392 WITH SCORE 2396.502
AT ITER 2947 NEW BEST:: SOT 8879 SOS 4501 HAS SOPS 4501 HAS SOUS 2391 HAS SOUPS 2391 WITH SCORE 2395.501
AT ITER 2963 NEW BEST:: SOT 8863 SOS 4468 HAS SOPS 4468 HAS SOUS 2359 HAS SOUPS 2359 WITH SCORE 2363.468
AT ITER 2972 NEW BEST:: SOT 8859 SOS 4464 HAS SOPS 4464 HAS SOUS 2351 HAS SOUPS 2351 WITH SCORE 2355.464
AT ITER 2985 NEW BEST:: SOT 8856 SOS 4461 HAS SOPS 4461 HAS SOUS 2351 HAS SOUPS 2351 WITH SCORE 2355.461
AT ITER 2988 NEW BEST:: SOT 8844 SOS 4430 HAS SOPS 4430 HAS SOUS 2324 HAS SOUPS 2324 WITH SCORE 2328.43
AT ITER 2991 NEW BEST:: SOT 8842 SOS 4426 HAS SOPS 4426 HAS SOUS 2320 HAS SOUPS 2320 WITH SCORE 2324.426
AT ITER 3062 NEW BEST:: SOT 8842 SOS 4424 HAS SOPS 4424 HAS SOUS 2318 HAS SOUPS 2318 WITH SCORE 2322.424
AT ITER 3088 NEW BEST:: SOT 8843 SOS 4451 HAS SOPS 4451 HAS SOUS 2316 HAS SOUPS 2316 WITH SCORE 2320.451
AT ITER 3098 NEW BEST:: SOT 8843 SOS 4451 HAS SOPS 4451 HAS SOUS 2306 HAS SOUPS 2306 WITH SCORE 2310.451
AT ITER 3117 NEW BEST:: SOT 8841 SOS 4449 HAS SOPS 4449 HAS SOUS 2302 HAS SOUPS 2302 WITH SCORE 2306.449
AT ITER 3127 NEW BEST:: SOT 8847 SOS 4433 HAS SOPS 4433 HAS SOUS 2292 HAS SOUPS 2292 WITH SCORE 2296.433
AT ITER 3139 NEW BEST:: SOT 8841 SOS 4427 HAS SOPS 4427 HAS SOUS 2286 HAS SOUPS 2286 WITH SCORE 2290.427
AT ITER 3145 NEW BEST:: SOT 8841 SOS 4427 HAS SOPS 4427 HAS SOUS 2285 HAS SOUPS 2285 WITH SCORE 2289.427
AT ITER 3156 NEW BEST:: SOT 8826 SOS 4412 HAS SOPS 4412 HAS SOUS 2282 HAS SOUPS 2282 WITH SCORE 2286.412
AT ITER 3169 NEW BEST:: SOT 8823 SOS 4406 HAS SOPS 4406 HAS SOUS 2276 HAS SOUPS 2276 WITH SCORE 2280.406
AT ITER 3171 NEW BEST:: SOT 8822 SOS 4404 HAS SOPS 4404 HAS SOUS 2275 HAS SOUPS 2275 WITH SCORE 2279.404
AT ITER 3189 NEW BEST:: SOT 8821 SOS 4403 HAS SOPS 4403 HAS SOUS 2275 HAS SOUPS 2275 WITH SCORE 2279.403
AT ITER 3191 NEW BEST:: SOT 8843 SOS 4429 HAS SOPS 4429 HAS SOUS 2237 HAS SOUPS 2237 WITH SCORE 2241.429
AT ITER 3193 NEW BEST:: SOT 8837 SOS 4423 HAS SOPS 4423 HAS SOUS 2234 HAS SOUPS 2234 WITH SCORE 2238.423
AT ITER 3194 NEW BEST:: SOT 8837 SOS 4423 HAS SOPS 4423 HAS SOUS 2230 HAS SOUPS 2230 WITH SCORE 2234.423
AT ITER 3264 NEW BEST:: SOT 8837 SOS 4407 HAS SOPS 4407 HAS SOUS 2222 HAS SOUPS 2222 WITH SCORE 2226.407
AT ITER 3270 NEW BEST:: SOT 8825 SOS 4357 HAS SOPS 4357 HAS SOUS 2195 HAS SOUPS 2195 WITH SCORE 2199.357
AT ITER 3281 NEW BEST:: SOT 8813 SOS 4333 HAS SOPS 4333 HAS SOUS 2171 HAS SOUPS 2171 WITH SCORE 2175.333
AT ITER 3325 NEW BEST:: SOT 8813 SOS 4333 HAS SOPS 4333 HAS SOUS 2167 HAS SOUPS 2167 WITH SCORE 2171.333
AT ITER 3358 NEW BEST:: SOT 8794 SOS 4305 HAS SOPS 4305 HAS SOUS 2154 HAS SOUPS 2154 WITH SCORE 2158.305
AT ITER 3374 NEW BEST:: SOT 8766 SOS 4277 HAS SOPS 4277 HAS SOUS 2141 HAS SOUPS 2141 WITH SCORE 2145.277
AT ITER 3449 NEW BEST:: SOT 8765 SOS 4276 HAS SOPS 4276 HAS SOUS 2139 HAS SOUPS 2139 WITH SCORE 2143.276
AT ITER 3470 NEW BEST:: SOT 8754 SOS 4267 HAS SOPS 4267 HAS SOUS 2130 HAS SOUPS 2130 WITH SCORE 2134.267
AT ITER 3510 NEW BEST:: SOT 8747 SOS 4263 HAS SOPS 4263 HAS SOUS 2126 HAS SOUPS 2126 WITH SCORE 2130.263
AT ITER 3538 NEW BEST:: SOT 8746 SOS 4262 HAS SOPS 4262 HAS SOUS 2126 HAS SOUPS 2126 WITH SCORE 2130.262
AT ITER 3613 NEW BEST:: SOT 8744 SOS 4258 HAS SOPS 4258 HAS SOUS 2123 HAS SOUPS 2123 WITH SCORE 2127.258
AT ITER 3717 NEW BEST:: SOT 8742 SOS 4160 HAS SOPS 4160 HAS SOUS 2114 HAS SOUPS 2114 WITH SCORE 2118.16
AT ITER 3862 NEW BEST:: SOT 8742 SOS 4157 HAS SOPS 4157 HAS SOUS 2111 HAS SOUPS 2111 WITH SCORE 2115.157
AT ITER 3878 NEW BEST:: SOT 8742 SOS 4154 HAS SOPS 4154 HAS SOUS 2108 HAS SOUPS 2108 WITH SCORE 2112.154
AT ITER 3902 NEW BEST:: SOT 8740 SOS 4152 HAS SOPS 4152 HAS SOUS 2105 HAS SOUPS 2105 WITH SCORE 2109.152
AT ITER 3924 NEW BEST:: SOT 8739 SOS 4151 HAS SOPS 4151 HAS SOUS 2104 HAS SOUPS 2104 WITH SCORE 2108.151
AT ITER 3945 NEW BEST:: SOT 8739 SOS 4143 HAS SOPS 4143 HAS SOUS 2104 HAS SOUPS 2104 WITH SCORE 2108.143
AT ITER 4057 NEW BEST:: SOT 8737 SOS 4141 HAS SOPS 4141 HAS SOUS 2104 HAS SOUPS 2104 WITH SCORE 2108.141
AT ITER 4106 NEW BEST:: SOT 8742 SOS 4149 HAS SOPS 4149 HAS SOUS 2100 HAS SOUPS 2100 WITH SCORE 2104.149
AT ITER 4129 NEW BEST:: SOT 8742 SOS 4147 HAS SOPS 4147 HAS SOUS 2100 HAS SOUPS 2100 WITH SCORE 2104.147
AT ITER 4193 NEW BEST:: SOT 8741 SOS 4146 HAS SOPS 4146 HAS SOUS 2100 HAS SOUPS 2100 WITH SCORE 2104.146
AT ITER 4220 NEW BEST:: SOT 8732 SOS 4138 HAS SOPS 4138 HAS SOUS 2095 HAS SOUPS 2095 WITH SCORE 2099.138
AT ITER 4262 NEW BEST:: SOT 8732 SOS 4096 HAS SOPS 4096 HAS SOUS 2095 HAS SOUPS 2095 WITH SCORE 2099.096
AT ITER 4301 NEW BEST:: SOT 8721 SOS 4094 HAS SOPS 4094 HAS SOUS 2094 HAS SOUPS 2094 WITH SCORE 2098.094
AT ITER 4359 NEW BEST:: SOT 8721 SOS 4093 HAS SOPS 4093 HAS SOUS 2093 HAS SOUPS 2093 WITH SCORE 2097.093
AT ITER 4384 NEW BEST:: SOT 8715 SOS 4086 HAS SOPS 4086 HAS SOUS 2090 HAS SOUPS 2090 WITH SCORE 2094.086
AT ITER 4395 NEW BEST:: SOT 8715 SOS 4107 HAS SOPS 4107 HAS SOUS 2089 HAS SOUPS 2089 WITH SCORE 2093.107
AT ITER 4595 NEW BEST:: SOT 8708 SOS 4100 HAS SOPS 4100 HAS SOUS 2084 HAS SOUPS 2084 WITH SCORE 2088.1
AT ITER 4704 NEW BEST:: SOT 8705 SOS 4099 HAS SOPS 4099 HAS SOUS 2083 HAS SOUPS 2083 WITH SCORE 2087.099
AT ITER 4742 NEW BEST:: SOT 8706 SOS 4100 HAS SOPS 4100 HAS SOUS 2081 HAS SOUPS 2081 WITH SCORE 2085.1
AT ITER 4746 NEW BEST:: SOT 8702 SOS 4096 HAS SOPS 4096 HAS SOUS 2077 HAS SOUPS 2077 WITH SCORE 2081.096
AT ITER 4836 NEW BEST:: SOT 8705 SOS 4095 HAS SOPS 4095 HAS SOUS 2076 HAS SOUPS 2076 WITH SCORE 2080.095
AT ITER 4844 NEW BEST:: SOT 8706 SOS 4100 HAS SOPS 4100 HAS SOUS 2074 HAS SOUPS 2074 WITH SCORE 2078.1
AT ITER 4961 NEW BEST:: SOT 8704 SOS 4098 HAS SOPS 4098 HAS SOUS 2071 HAS SOUPS 2071 WITH SCORE 2075.098
AT ITER 5050 NEW BEST:: SOT 8700 SOS 4090 HAS SOPS 4090 HAS SOUS 2067 HAS SOUPS 2067 WITH SCORE 2071.09
AT ITER 5127 NEW BEST:: SOT 8698 SOS 4088 HAS SOPS 4088 HAS SOUS 2063 HAS SOUPS 2063 WITH SCORE 2067.088
AT ITER 5148 NEW BEST:: SOT 8700 SOS 4090 HAS SOPS 4090 HAS SOUS 2060 HAS SOUPS 2060 WITH SCORE 2064.09
AT ITER 5167 NEW BEST:: SOT 8701 SOS 4087 HAS SOPS 4087 HAS SOUS 2058 HAS SOUPS 2058 WITH SCORE 2062.087
AT ITER 5258 NEW BEST:: SOT 8703 SOS 4089 HAS SOPS 4089 HAS SOUS 2053 HAS SOUPS 2053 WITH SCORE 2057.089
AT ITER 5303 NEW BEST:: SOT 8700 SOS 4086 HAS SOPS 4086 HAS SOUS 2050 HAS SOUPS 2050 WITH SCORE 2054.086
AT ITER 5367 NEW BEST:: SOT 8698 SOS 4084 HAS SOPS 4084 HAS SOUS 2048 HAS SOUPS 2048 WITH SCORE 2052.084
AT ITER 5379 NEW BEST:: SOT 8696 SOS 4082 HAS SOPS 4082 HAS SOUS 2046 HAS SOUPS 2046 WITH SCORE 2050.082
AT ITER 5389 NEW BEST:: SOT 8694 SOS 4080 HAS SOPS 4080 HAS SOUS 2046 HAS SOUPS 2046 WITH SCORE 2050.08
AT ITER 5525 NEW BEST:: SOT 8691 SOS 4077 HAS SOPS 4077 HAS SOUS 2040 HAS SOUPS 2040 WITH SCORE 2044.077
AT ITER 5565 NEW BEST:: SOT 8687 SOS 4073 HAS SOPS 4073 HAS SOUS 2036 HAS SOUPS 2036 WITH SCORE 2040.073
AT ITER 5580 NEW BEST:: SOT 8686 SOS 4072 HAS SOPS 4072 HAS SOUS 2034 HAS SOUPS 2034 WITH SCORE 2038.072
AT ITER 5618 NEW BEST:: SOT 8682 SOS 4068 HAS SOPS 4068 HAS SOUS 2030 HAS SOUPS 2030 WITH SCORE 2034.068
AT ITER 5630 NEW BEST:: SOT 8682 SOS 4067 HAS SOPS 4067 HAS SOUS 2029 HAS SOUPS 2029 WITH SCORE 2033.067
AT ITER 5792 NEW BEST:: SOT 8682 SOS 4066 HAS SOPS 4066 HAS SOUS 2028 HAS SOUPS 2028 WITH SCORE 2032.066
AT ITER 5960 NEW BEST:: SOT 8685 SOS 4060 HAS SOPS 4060 HAS SOUS 2028 HAS SOUPS 2028 WITH SCORE 2032.06
AT ITER 5965 NEW BEST:: SOT 8685 SOS 4058 HAS SOPS 4058 HAS SOUS 2026 HAS SOUPS 2026 WITH SCORE 2030.058
AT ITER 6013 NEW BEST:: SOT 8685 SOS 4066 HAS SOPS 4066 HAS SOUS 2025 HAS SOUPS 2025 WITH SCORE 2029.066
AT ITER 6025 NEW BEST:: SOT 8677 SOS 4064 HAS SOPS 4064 HAS SOUS 2023 HAS SOUPS 2023 WITH SCORE 2027.064
AT ITER 6026 NEW BEST:: SOT 8674 SOS 4059 HAS SOPS 4059 HAS SOUS 2018 HAS SOUPS 2018 WITH SCORE 2022.059
AT ITER 6045 NEW BEST:: SOT 8671 SOS 4056 HAS SOPS 4056 HAS SOUS 2015 HAS SOUPS 2015 WITH SCORE 2019.056
AT ITER 6111 NEW BEST:: SOT 8670 SOS 4055 HAS SOPS 4055 HAS SOUS 2015 HAS SOUPS 2015 WITH SCORE 2019.055
AT ITER 6155 NEW BEST:: SOT 8687 SOS 4072 HAS SOPS 4072 HAS SOUS 2003 HAS SOUPS 2003 WITH SCORE 2007.072
AT ITER 6172 NEW BEST:: SOT 8687 SOS 4067 HAS SOPS 4067 HAS SOUS 2003 HAS SOUPS 2003 WITH SCORE 2007.067
AT ITER 6242 NEW BEST:: SOT 8683 SOS 4063 HAS SOPS 4063 HAS SOUS 1999 HAS SOUPS 1999 WITH SCORE 2003.063
AT ITER 6268 NEW BEST:: SOT 8682 SOS 4062 HAS SOPS 4062 HAS SOUS 1998 HAS SOUPS 1998 WITH SCORE 2002.062
AT ITER 6363 NEW BEST:: SOT 8680 SOS 4060 HAS SOPS 4060 HAS SOUS 1996 HAS SOUPS 1996 WITH SCORE 2000.06
AT ITER 6384 NEW BEST:: SOT 8680 SOS 4057 HAS SOPS 4057 HAS SOUS 1993 HAS SOUPS 1993 WITH SCORE 1997.057
AT ITER 6430 NEW BEST:: SOT 8671 SOS 4048 HAS SOPS 4048 HAS SOUS 1990 HAS SOUPS 1990 WITH SCORE 1994.048
AT ITER 6510 NEW BEST:: SOT 8671 SOS 4044 HAS SOPS 4044 HAS SOUS 1986 HAS SOUPS 1986 WITH SCORE 1990.044
AT ITER 6511 NEW BEST:: SOT 8667 SOS 4040 HAS SOPS 4040 HAS SOUS 1982 HAS SOUPS 1982 WITH SCORE 1986.04
AT ITER 6594 NEW BEST:: SOT 8666 SOS 4038 HAS SOPS 4038 HAS SOUS 1980 HAS SOUPS 1980 WITH SCORE 1984.038
AT ITER 6627 NEW BEST:: SOT 8664 SOS 4030 HAS SOPS 4030 HAS SOUS 1972 HAS SOUPS 1972 WITH SCORE 1976.03
AT ITER 6628 NEW BEST:: SOT 8663 SOS 4028 HAS SOPS 4028 HAS SOUS 1970 HAS SOUPS 1970 WITH SCORE 1974.028
AT ITER 6683 NEW BEST:: SOT 8659 SOS 4024 HAS SOPS 4024 HAS SOUS 1966 HAS SOUPS 1966 WITH SCORE 1970.024
AT ITER 6726 NEW BEST:: SOT 8657 SOS 4022 HAS SOPS 4022 HAS SOUS 1965 HAS SOUPS 1965 WITH SCORE 1969.022
AT ITER 6796 NEW BEST:: SOT 8653 SOS 4016 HAS SOPS 4016 HAS SOUS 1959 HAS SOUPS 1959 WITH SCORE 1963.016
AT ITER 6799 NEW BEST:: SOT 8649 SOS 3987 HAS SOPS 3987 HAS SOUS 1953 HAS SOUPS 1953 WITH SCORE 1956.987
AT ITER 7140 NEW BEST:: SOT 8647 SOS 3985 HAS SOPS 3985 HAS SOUS 1952 HAS SOUPS 1952 WITH SCORE 1955.985
AT ITER 7279 NEW BEST:: SOT 8655 SOS 3982 HAS SOPS 3982 HAS SOUS 1947 HAS SOUPS 1947 WITH SCORE 1950.982
AT ITER 7347 NEW BEST:: SOT 8655 SOS 3980 HAS SOPS 3980 HAS SOUS 1947 HAS SOUPS 1947 WITH SCORE 1950.98
AT ITER 7348 NEW BEST:: SOT 8654 SOS 3979 HAS SOPS 3979 HAS SOUS 1946 HAS SOUPS 1946 WITH SCORE 1949.979
AT ITER 7370 NEW BEST:: SOT 8654 SOS 3976 HAS SOPS 3976 HAS SOUS 1946 HAS SOUPS 1946 WITH SCORE 1949.976
AT ITER 7408 NEW BEST:: SOT 8650 SOS 3972 HAS SOPS 3972 HAS SOUS 1945 HAS SOUPS 1945 WITH SCORE 1948.972
AT ITER 7478 NEW BEST:: SOT 8649 SOS 3971 HAS SOPS 3971 HAS SOUS 1945 HAS SOUPS 1945 WITH SCORE 1948.971
AT ITER 7527 NEW BEST:: SOT 8649 SOS 3854 HAS SOPS 3854 HAS SOUS 1945 HAS SOUPS 1945 WITH SCORE 1948.854
AT ITER 7533 NEW BEST:: SOT 8649 SOS 3827 HAS SOPS 3827 HAS SOUS 1945 HAS SOUPS 1945 WITH SCORE 1948.827
AT ITER 7542 NEW BEST:: SOT 8649 SOS 3822 HAS SOPS 3822 HAS SOUS 1940 HAS SOUPS 1940 WITH SCORE 1943.822
AT ITER 7586 NEW BEST:: SOT 8644 SOS 3813 HAS SOPS 3813 HAS SOUS 1935 HAS SOUPS 1935 WITH SCORE 1938.813
AT ITER 7600 NEW BEST:: SOT 8642 SOS 3811 HAS SOPS 3811 HAS SOUS 1933 HAS SOUPS 1933 WITH SCORE 1936.811
AT ITER 7617 NEW BEST:: SOT 8640 SOS 3808 HAS SOPS 3808 HAS SOUS 1930 HAS SOUPS 1930 WITH SCORE 1933.808
AT ITER 7640 NEW BEST:: SOT 8641 SOS 3786 HAS SOPS 3786 HAS SOUS 1927 HAS SOUPS 1927 WITH SCORE 1930.786
AT ITER 7733 NEW BEST:: SOT 8638 SOS 3783 HAS SOPS 3783 HAS SOUS 1924 HAS SOUPS 1924 WITH SCORE 1927.783
AT ITER 7854 NEW BEST:: SOT 8638 SOS 3771 HAS SOPS 3771 HAS SOUS 1923 HAS SOUPS 1923 WITH SCORE 1926.771
AT ITER 7886 NEW BEST:: SOT 8631 SOS 3764 HAS SOPS 3764 HAS SOUS 1918 HAS SOUPS 1918 WITH SCORE 1921.764
AT ITER 7906 NEW BEST:: SOT 8631 SOS 3762 HAS SOPS 3762 HAS SOUS 1916 HAS SOUPS 1916 WITH SCORE 1919.762
AT ITER 8371 NEW BEST:: SOT 8621 SOS 3754 HAS SOPS 3754 HAS SOUS 1910 HAS SOUPS 1910 WITH SCORE 1913.754
AT ITER 8457 NEW BEST:: SOT 8621 SOS 3752 HAS SOPS 3752 HAS SOUS 1909 HAS SOUPS 1909 WITH SCORE 1912.752
AT ITER 8508 NEW BEST:: SOT 8618 SOS 3749 HAS SOPS 3749 HAS SOUS 1903 HAS SOUPS 1903 WITH SCORE 1906.749
AT ITER 8594 NEW BEST:: SOT 8624 SOS 3744 HAS SOPS 3744 HAS SOUS 1900 HAS SOUPS 1900 WITH SCORE 1903.744
AT ITER 8701 NEW BEST:: SOT 8619 SOS 3739 HAS SOPS 3739 HAS SOUS 1895 HAS SOUPS 1895 WITH SCORE 1898.739
AT ITER 8788 NEW BEST:: SOT 8613 SOS 3733 HAS SOPS 3733 HAS SOUS 1882 HAS SOUPS 1882 WITH SCORE 1885.733
AT ITER 8833 NEW BEST:: SOT 8610 SOS 3726 HAS SOPS 3726 HAS SOUS 1880 HAS SOUPS 1880 WITH SCORE 1883.726
AT ITER 8871 NEW BEST:: SOT 8603 SOS 3720 HAS SOPS 3720 HAS SOUS 1874 HAS SOUPS 1874 WITH SCORE 1877.72
AT ITER 8893 NEW BEST:: SOT 8603 SOS 3720 HAS SOPS 3720 HAS SOUS 1868 HAS SOUPS 1868 WITH SCORE 1871.72
AT ITER 9113 NEW BEST:: SOT 8617 SOS 3734 HAS SOPS 3734 HAS SOUS 1866 HAS SOUPS 1866 WITH SCORE 1869.734
AT ITER 9127 NEW BEST:: SOT 8617 SOS 3728 HAS SOPS 3728 HAS SOUS 1866 HAS SOUPS 1866 WITH SCORE 1869.728
AT ITER 9288 NEW BEST:: SOT 8613 SOS 3722 HAS SOPS 3722 HAS SOUS 1861 HAS SOUPS 1861 WITH SCORE 1864.722
AT ITER 9306 NEW BEST:: SOT 8608 SOS 3718 HAS SOPS 3718 HAS SOUS 1860 HAS SOUPS 1860 WITH SCORE 1863.718
AT ITER 9317 NEW BEST:: SOT 8607 SOS 3715 HAS SOPS 3715 HAS SOUS 1857 HAS SOUPS 1857 WITH SCORE 1860.715
AT ITER 9386 NEW BEST:: SOT 8606 SOS 3714 HAS SOPS 3714 HAS SOUS 1856 HAS SOUPS 1856 WITH SCORE 1859.714
AT ITER 9419 NEW BEST:: SOT 8605 SOS 3713 HAS SOPS 3713 HAS SOUS 1855 HAS SOUPS 1855 WITH SCORE 1858.713
AT ITER 9503 NEW BEST:: SOT 8602 SOS 3712 HAS SOPS 3712 HAS SOUS 1854 HAS SOUPS 1854 WITH SCORE 1857.712
AT ITER 9529 NEW BEST:: SOT 8601 SOS 3711 HAS SOPS 3711 HAS SOUS 1853 HAS SOUPS 1853 WITH SCORE 1856.711
AT ITER 9571 NEW BEST:: SOT 8593 SOS 3703 HAS SOPS 3703 HAS SOUS 1851 HAS SOUPS 1851 WITH SCORE 1854.703
AT ITER 9650 NEW BEST:: SOT 8591 SOS 3699 HAS SOPS 3699 HAS SOUS 1848 HAS SOUPS 1848 WITH SCORE 1851.699
AT ITER 9694 NEW BEST:: SOT 8588 SOS 3693 HAS SOPS 3693 HAS SOUS 1842 HAS SOUPS 1842 WITH SCORE 1845.693
AT ITER 9706 NEW BEST:: SOT 8582 SOS 3687 HAS SOPS 3687 HAS SOUS 1839 HAS SOUPS 1839 WITH SCORE 1842.687
AT ITER 9974 NEW BEST:: SOT 8582 SOS 3677 HAS SOPS 3677 HAS SOUS 1839 HAS SOUPS 1839 WITH SCORE 1842.677
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 1678241267463

--------------------
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"
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 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 r099-tall-167814472400416"
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 ;