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.r483-tall-167912696601104.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 UtilityControlRoom-PT-Z2T3N06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696601104
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1016K
-rw-r--r-- 1 mcc users 14K Feb 26 14:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 26 14:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 22K Feb 26 14:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 105K Feb 26 14:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 17:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 50K Feb 25 17:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 25 17:24 LTLFireability.txt
-rw-r--r-- 1 mcc users 33K Feb 25 17:24 LTLFireability.xml
-rw-r--r-- 1 mcc users 47K Feb 26 14:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 261K Feb 26 14:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 49K Feb 26 14:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 207K Feb 26 14:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 17:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.2K Feb 25 17:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 70K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679190503890

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=UtilityControlRoom-PT-Z2T3N06
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (PT), instance Z2T3N06
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: 106 places, 162 transitions, 510 arcs.
AT ITER 0 NEW BEST:: SOT 13896 SOS 10272 HAS SOPS 10272 HAS SOUS 6806 HAS SOUPS 6806 WITH SCORE 6816.272
AT ITER 2 NEW BEST:: SOT 13864 SOS 10250 HAS SOPS 10250 HAS SOUS 6769 HAS SOUPS 6769 WITH SCORE 6779.25
AT ITER 4 NEW BEST:: SOT 13870 SOS 10249 HAS SOPS 10249 HAS SOUS 6754 HAS SOUPS 6754 WITH SCORE 6764.249
AT ITER 12 NEW BEST:: SOT 13758 SOS 9471 HAS SOPS 9471 HAS SOUS 6575 HAS SOUPS 6575 WITH SCORE 6584.471
AT ITER 16 NEW BEST:: SOT 13624 SOS 9214 HAS SOPS 9214 HAS SOUS 6311 HAS SOUPS 6311 WITH SCORE 6320.214
AT ITER 18 NEW BEST:: SOT 13633 SOS 9194 HAS SOPS 9194 HAS SOUS 6305 HAS SOUPS 6305 WITH SCORE 6314.194
AT ITER 19 NEW BEST:: SOT 12123 SOS 7807 HAS SOPS 7807 HAS SOUS 5418 HAS SOUPS 5418 WITH SCORE 5425.807
AT ITER 22 NEW BEST:: SOT 12170 SOS 7798 HAS SOPS 7798 HAS SOUS 5366 HAS SOUPS 5366 WITH SCORE 5373.798
AT ITER 24 NEW BEST:: SOT 12147 SOS 7775 HAS SOPS 7775 HAS SOUS 5356 HAS SOUPS 5356 WITH SCORE 5363.775
AT ITER 25 NEW BEST:: SOT 12128 SOS 7785 HAS SOPS 7785 HAS SOUS 5315 HAS SOUPS 5315 WITH SCORE 5322.785
AT ITER 26 NEW BEST:: SOT 12119 SOS 7761 HAS SOPS 7761 HAS SOUS 5291 HAS SOUPS 5291 WITH SCORE 5298.761
AT ITER 30 NEW BEST:: SOT 12061 SOS 7703 HAS SOPS 7703 HAS SOUS 5237 HAS SOUPS 5237 WITH SCORE 5244.703
AT ITER 32 NEW BEST:: SOT 12048 SOS 7699 HAS SOPS 7699 HAS SOUS 5230 HAS SOUPS 5230 WITH SCORE 5237.699
AT ITER 34 NEW BEST:: SOT 12048 SOS 7699 HAS SOPS 7699 HAS SOUS 5228 HAS SOUPS 5228 WITH SCORE 5235.699
AT ITER 45 NEW BEST:: SOT 12048 SOS 7677 HAS SOPS 7677 HAS SOUS 5228 HAS SOUPS 5228 WITH SCORE 5235.677
AT ITER 49 NEW BEST:: SOT 12191 SOS 7208 HAS SOPS 7208 HAS SOUS 5012 HAS SOUPS 5012 WITH SCORE 5019.208
AT ITER 52 NEW BEST:: SOT 12180 SOS 7072 HAS SOPS 7072 HAS SOUS 4971 HAS SOUPS 4971 WITH SCORE 4978.072
AT ITER 62 NEW BEST:: SOT 12166 SOS 7055 HAS SOPS 7055 HAS SOUS 4936 HAS SOUPS 4936 WITH SCORE 4943.055
AT ITER 64 NEW BEST:: SOT 12166 SOS 7049 HAS SOPS 7049 HAS SOUS 4936 HAS SOUPS 4936 WITH SCORE 4943.049
AT ITER 65 NEW BEST:: SOT 12141 SOS 7044 HAS SOPS 7044 HAS SOUS 4899 HAS SOUPS 4899 WITH SCORE 4906.044
AT ITER 69 NEW BEST:: SOT 12127 SOS 6946 HAS SOPS 6946 HAS SOUS 4857 HAS SOUPS 4857 WITH SCORE 4863.946
AT ITER 71 NEW BEST:: SOT 12108 SOS 6924 HAS SOPS 6924 HAS SOUS 4842 HAS SOUPS 4842 WITH SCORE 4848.924
AT ITER 75 NEW BEST:: SOT 12114 SOS 6878 HAS SOPS 6878 HAS SOUS 4818 HAS SOUPS 4818 WITH SCORE 4824.878
AT ITER 77 NEW BEST:: SOT 12084 SOS 6798 HAS SOPS 6798 HAS SOUS 4796 HAS SOUPS 4796 WITH SCORE 4802.798
AT ITER 83 NEW BEST:: SOT 12074 SOS 6694 HAS SOPS 6694 HAS SOUS 4775 HAS SOUPS 4775 WITH SCORE 4781.694
AT ITER 86 NEW BEST:: SOT 12070 SOS 6690 HAS SOPS 6690 HAS SOUS 4769 HAS SOUPS 4769 WITH SCORE 4775.69
AT ITER 87 NEW BEST:: SOT 12048 SOS 6659 HAS SOPS 6659 HAS SOUS 4738 HAS SOUPS 4738 WITH SCORE 4744.659
AT ITER 93 NEW BEST:: SOT 12043 SOS 6619 HAS SOPS 6619 HAS SOUS 4728 HAS SOUPS 4728 WITH SCORE 4734.619
AT ITER 96 NEW BEST:: SOT 11966 SOS 6554 HAS SOPS 6554 HAS SOUS 4722 HAS SOUPS 4722 WITH SCORE 4728.554
AT ITER 102 NEW BEST:: SOT 11966 SOS 6554 HAS SOPS 6554 HAS SOUS 4720 HAS SOUPS 4720 WITH SCORE 4726.554
AT ITER 103 NEW BEST:: SOT 11986 SOS 6491 HAS SOPS 6491 HAS SOUS 4646 HAS SOUPS 4646 WITH SCORE 4652.491
AT ITER 104 NEW BEST:: SOT 11950 SOS 6421 HAS SOPS 6421 HAS SOUS 4590 HAS SOUPS 4590 WITH SCORE 4596.421
AT ITER 105 NEW BEST:: SOT 11942 SOS 6421 HAS SOPS 6421 HAS SOUS 4576 HAS SOUPS 4576 WITH SCORE 4582.421
AT ITER 110 NEW BEST:: SOT 11936 SOS 6409 HAS SOPS 6409 HAS SOUS 4564 HAS SOUPS 4564 WITH SCORE 4570.409
AT ITER 111 NEW BEST:: SOT 11920 SOS 6401 HAS SOPS 6401 HAS SOUS 4555 HAS SOUPS 4555 WITH SCORE 4561.401
AT ITER 126 NEW BEST:: SOT 11904 SOS 6405 HAS SOPS 6405 HAS SOUS 4504 HAS SOUPS 4504 WITH SCORE 4510.405
AT ITER 129 NEW BEST:: SOT 11903 SOS 6403 HAS SOPS 6403 HAS SOUS 4503 HAS SOUPS 4503 WITH SCORE 4509.403
AT ITER 135 NEW BEST:: SOT 11878 SOS 6353 HAS SOPS 6353 HAS SOUS 4478 HAS SOUPS 4478 WITH SCORE 4484.353
AT ITER 139 NEW BEST:: SOT 11809 SOS 6299 HAS SOPS 6299 HAS SOUS 4371 HAS SOUPS 4371 WITH SCORE 4377.299
AT ITER 153 NEW BEST:: SOT 11817 SOS 6243 HAS SOPS 6243 HAS SOUS 4331 HAS SOUPS 4331 WITH SCORE 4337.243
AT ITER 162 NEW BEST:: SOT 11817 SOS 6240 HAS SOPS 6240 HAS SOUS 4331 HAS SOUPS 4331 WITH SCORE 4337.24
AT ITER 169 NEW BEST:: SOT 11754 SOS 6143 HAS SOPS 6143 HAS SOUS 4260 HAS SOUPS 4260 WITH SCORE 4266.143
AT ITER 170 NEW BEST:: SOT 11745 SOS 6095 HAS SOPS 6095 HAS SOUS 4236 HAS SOUPS 4236 WITH SCORE 4242.095
AT ITER 175 NEW BEST:: SOT 11739 SOS 6144 HAS SOPS 6144 HAS SOUS 4235 HAS SOUPS 4235 WITH SCORE 4241.144
AT ITER 179 NEW BEST:: SOT 11738 SOS 6142 HAS SOPS 6142 HAS SOUS 4232 HAS SOUPS 4232 WITH SCORE 4238.142
AT ITER 181 NEW BEST:: SOT 11726 SOS 6118 HAS SOPS 6118 HAS SOUS 4202 HAS SOUPS 4202 WITH SCORE 4208.118
AT ITER 182 NEW BEST:: SOT 11584 SOS 6596 HAS SOPS 6596 HAS SOUS 4148 HAS SOUPS 4148 WITH SCORE 4154.596
AT ITER 186 NEW BEST:: SOT 11588 SOS 6604 HAS SOPS 6604 HAS SOUS 4139 HAS SOUPS 4139 WITH SCORE 4145.604
AT ITER 202 NEW BEST:: SOT 11553 SOS 6558 HAS SOPS 6558 HAS SOUS 4091 HAS SOUPS 4091 WITH SCORE 4097.558
AT ITER 210 NEW BEST:: SOT 11551 SOS 6608 HAS SOPS 6608 HAS SOUS 4089 HAS SOUPS 4089 WITH SCORE 4095.608
AT ITER 212 NEW BEST:: SOT 11550 SOS 6608 HAS SOPS 6608 HAS SOUS 4088 HAS SOUPS 4088 WITH SCORE 4094.608
AT ITER 213 NEW BEST:: SOT 11537 SOS 6563 HAS SOPS 6563 HAS SOUS 4062 HAS SOUPS 4062 WITH SCORE 4068.563
AT ITER 215 NEW BEST:: SOT 11526 SOS 6511 HAS SOPS 6511 HAS SOUS 4045 HAS SOUPS 4045 WITH SCORE 4051.511
AT ITER 227 NEW BEST:: SOT 11519 SOS 6492 HAS SOPS 6492 HAS SOUS 3986 HAS SOUPS 3986 WITH SCORE 3992.492
AT ITER 233 NEW BEST:: SOT 11519 SOS 6500 HAS SOPS 6500 HAS SOUS 3984 HAS SOUPS 3984 WITH SCORE 3990.5
AT ITER 242 NEW BEST:: SOT 11519 SOS 6501 HAS SOPS 6501 HAS SOUS 3979 HAS SOUPS 3979 WITH SCORE 3985.501
AT ITER 255 NEW BEST:: SOT 11523 SOS 6500 HAS SOPS 6500 HAS SOUS 3979 HAS SOUPS 3979 WITH SCORE 3985.5
AT ITER 265 NEW BEST:: SOT 11520 SOS 6508 HAS SOPS 6508 HAS SOUS 3973 HAS SOUPS 3973 WITH SCORE 3979.508
AT ITER 272 NEW BEST:: SOT 11528 SOS 6544 HAS SOPS 6544 HAS SOUS 3971 HAS SOUPS 3971 WITH SCORE 3977.544
AT ITER 278 NEW BEST:: SOT 11528 SOS 6544 HAS SOPS 6544 HAS SOUS 3965 HAS SOUPS 3965 WITH SCORE 3971.544
AT ITER 280 NEW BEST:: SOT 11528 SOS 6514 HAS SOPS 6514 HAS SOUS 3965 HAS SOUPS 3965 WITH SCORE 3971.514
AT ITER 289 NEW BEST:: SOT 11522 SOS 6342 HAS SOPS 6342 HAS SOUS 3950 HAS SOUPS 3950 WITH SCORE 3956.342
AT ITER 290 NEW BEST:: SOT 11480 SOS 6188 HAS SOPS 6188 HAS SOUS 3913 HAS SOUPS 3913 WITH SCORE 3919.188
AT ITER 294 NEW BEST:: SOT 11490 SOS 6170 HAS SOPS 6170 HAS SOUS 3905 HAS SOUPS 3905 WITH SCORE 3911.17
AT ITER 297 NEW BEST:: SOT 11490 SOS 6182 HAS SOPS 6182 HAS SOUS 3901 HAS SOUPS 3901 WITH SCORE 3907.182
AT ITER 300 NEW BEST:: SOT 11481 SOS 6172 HAS SOPS 6172 HAS SOUS 3884 HAS SOUPS 3884 WITH SCORE 3890.172
AT ITER 314 NEW BEST:: SOT 11476 SOS 6183 HAS SOPS 6183 HAS SOUS 3881 HAS SOUPS 3881 WITH SCORE 3887.183
AT ITER 317 NEW BEST:: SOT 11475 SOS 6102 HAS SOPS 6102 HAS SOUS 3869 HAS SOUPS 3869 WITH SCORE 3875.102
AT ITER 318 NEW BEST:: SOT 11475 SOS 6102 HAS SOPS 6102 HAS SOUS 3861 HAS SOUPS 3861 WITH SCORE 3867.102
AT ITER 323 NEW BEST:: SOT 11477 SOS 6111 HAS SOPS 6111 HAS SOUS 3855 HAS SOUPS 3855 WITH SCORE 3861.111
AT ITER 328 NEW BEST:: SOT 11452 SOS 6066 HAS SOPS 6066 HAS SOUS 3836 HAS SOUPS 3836 WITH SCORE 3842.066
AT ITER 329 NEW BEST:: SOT 11450 SOS 6066 HAS SOPS 6066 HAS SOUS 3833 HAS SOUPS 3833 WITH SCORE 3839.066
AT ITER 331 NEW BEST:: SOT 11450 SOS 6065 HAS SOPS 6065 HAS SOUS 3833 HAS SOUPS 3833 WITH SCORE 3839.065
AT ITER 337 NEW BEST:: SOT 11452 SOS 6084 HAS SOPS 6084 HAS SOUS 3829 HAS SOUPS 3829 WITH SCORE 3835.084
AT ITER 339 NEW BEST:: SOT 11452 SOS 6079 HAS SOPS 6079 HAS SOUS 3829 HAS SOUPS 3829 WITH SCORE 3835.079
AT ITER 349 NEW BEST:: SOT 11442 SOS 6069 HAS SOPS 6069 HAS SOUS 3819 HAS SOUPS 3819 WITH SCORE 3825.069
AT ITER 359 NEW BEST:: SOT 11437 SOS 6064 HAS SOPS 6064 HAS SOUS 3814 HAS SOUPS 3814 WITH SCORE 3820.064
AT ITER 360 NEW BEST:: SOT 11421 SOS 6048 HAS SOPS 6048 HAS SOUS 3814 HAS SOUPS 3814 WITH SCORE 3820.048
AT ITER 364 NEW BEST:: SOT 11413 SOS 6030 HAS SOPS 6030 HAS SOUS 3804 HAS SOUPS 3804 WITH SCORE 3810.03
AT ITER 366 NEW BEST:: SOT 11411 SOS 6028 HAS SOPS 6028 HAS SOUS 3796 HAS SOUPS 3796 WITH SCORE 3802.028
AT ITER 390 NEW BEST:: SOT 11406 SOS 6013 HAS SOPS 6013 HAS SOUS 3786 HAS SOUPS 3786 WITH SCORE 3792.013
AT ITER 392 NEW BEST:: SOT 11474 SOS 6052 HAS SOPS 6052 HAS SOUS 3785 HAS SOUPS 3785 WITH SCORE 3791.052
AT ITER 398 NEW BEST:: SOT 11474 SOS 6051 HAS SOPS 6051 HAS SOUS 3782 HAS SOUPS 3782 WITH SCORE 3788.051
AT ITER 404 NEW BEST:: SOT 11476 SOS 6063 HAS SOPS 6063 HAS SOUS 3774 HAS SOUPS 3774 WITH SCORE 3780.063
AT ITER 408 NEW BEST:: SOT 11498 SOS 6062 HAS SOPS 6062 HAS SOUS 3763 HAS SOUPS 3763 WITH SCORE 3769.062
AT ITER 410 NEW BEST:: SOT 11491 SOS 6048 HAS SOPS 6048 HAS SOUS 3756 HAS SOUPS 3756 WITH SCORE 3762.048
AT ITER 414 NEW BEST:: SOT 11482 SOS 6036 HAS SOPS 6036 HAS SOUS 3744 HAS SOUPS 3744 WITH SCORE 3750.036
AT ITER 419 NEW BEST:: SOT 11506 SOS 6048 HAS SOPS 6048 HAS SOUS 3719 HAS SOUPS 3719 WITH SCORE 3725.048
AT ITER 435 NEW BEST:: SOT 11502 SOS 6032 HAS SOPS 6032 HAS SOUS 3715 HAS SOUPS 3715 WITH SCORE 3721.032
AT ITER 448 NEW BEST:: SOT 11506 SOS 6036 HAS SOPS 6036 HAS SOUS 3713 HAS SOUPS 3713 WITH SCORE 3719.036
AT ITER 449 NEW BEST:: SOT 11505 SOS 6023 HAS SOPS 6023 HAS SOUS 3707 HAS SOUPS 3707 WITH SCORE 3713.023
AT ITER 450 NEW BEST:: SOT 11503 SOS 6027 HAS SOPS 6027 HAS SOUS 3703 HAS SOUPS 3703 WITH SCORE 3709.027
AT ITER 455 NEW BEST:: SOT 11509 SOS 6061 HAS SOPS 6061 HAS SOUS 3695 HAS SOUPS 3695 WITH SCORE 3701.061
AT ITER 482 NEW BEST:: SOT 11452 SOS 6096 HAS SOPS 6096 HAS SOUS 3661 HAS SOUPS 3661 WITH SCORE 3667.096
AT ITER 487 NEW BEST:: SOT 11446 SOS 6109 HAS SOPS 6109 HAS SOUS 3655 HAS SOUPS 3655 WITH SCORE 3661.109
AT ITER 497 NEW BEST:: SOT 11443 SOS 6118 HAS SOPS 6118 HAS SOUS 3649 HAS SOUPS 3649 WITH SCORE 3655.118
AT ITER 501 NEW BEST:: SOT 11428 SOS 6106 HAS SOPS 6106 HAS SOUS 3628 HAS SOUPS 3628 WITH SCORE 3634.106
AT ITER 503 NEW BEST:: SOT 11424 SOS 6004 HAS SOPS 6004 HAS SOUS 3618 HAS SOUPS 3618 WITH SCORE 3624.004
AT ITER 505 NEW BEST:: SOT 11423 SOS 5912 HAS SOPS 5912 HAS SOUS 3615 HAS SOUPS 3615 WITH SCORE 3620.912
AT ITER 509 NEW BEST:: SOT 11423 SOS 5908 HAS SOPS 5908 HAS SOUS 3614 HAS SOUPS 3614 WITH SCORE 3619.908
AT ITER 514 NEW BEST:: SOT 11420 SOS 5914 HAS SOPS 5914 HAS SOUS 3611 HAS SOUPS 3611 WITH SCORE 3616.914
AT ITER 527 NEW BEST:: SOT 11420 SOS 5877 HAS SOPS 5877 HAS SOUS 3611 HAS SOUPS 3611 WITH SCORE 3616.877
AT ITER 538 NEW BEST:: SOT 11408 SOS 5868 HAS SOPS 5868 HAS SOUS 3603 HAS SOUPS 3603 WITH SCORE 3608.868
AT ITER 554 NEW BEST:: SOT 11404 SOS 5872 HAS SOPS 5872 HAS SOUS 3599 HAS SOUPS 3599 WITH SCORE 3604.872
AT ITER 562 NEW BEST:: SOT 11404 SOS 5840 HAS SOPS 5840 HAS SOUS 3596 HAS SOUPS 3596 WITH SCORE 3601.84
AT ITER 570 NEW BEST:: SOT 11380 SOS 5828 HAS SOPS 5828 HAS SOUS 3596 HAS SOUPS 3596 WITH SCORE 3601.828
AT ITER 575 NEW BEST:: SOT 11380 SOS 5612 HAS SOPS 5612 HAS SOUS 3591 HAS SOUPS 3591 WITH SCORE 3596.612
AT ITER 591 NEW BEST:: SOT 11380 SOS 5609 HAS SOPS 5609 HAS SOUS 3591 HAS SOUPS 3591 WITH SCORE 3596.609
AT ITER 598 NEW BEST:: SOT 11376 SOS 5551 HAS SOPS 5551 HAS SOUS 3590 HAS SOUPS 3590 WITH SCORE 3595.551
AT ITER 603 NEW BEST:: SOT 11371 SOS 5580 HAS SOPS 5580 HAS SOUS 3582 HAS SOUPS 3582 WITH SCORE 3587.58
AT ITER 610 NEW BEST:: SOT 11363 SOS 5530 HAS SOPS 5530 HAS SOUS 3554 HAS SOUPS 3554 WITH SCORE 3559.53
AT ITER 619 NEW BEST:: SOT 11365 SOS 5504 HAS SOPS 5504 HAS SOUS 3543 HAS SOUPS 3543 WITH SCORE 3548.504
AT ITER 620 NEW BEST:: SOT 11365 SOS 5498 HAS SOPS 5498 HAS SOUS 3537 HAS SOUPS 3537 WITH SCORE 3542.498
AT ITER 626 NEW BEST:: SOT 11341 SOS 5390 HAS SOPS 5390 HAS SOUS 3495 HAS SOUPS 3495 WITH SCORE 3500.39
AT ITER 629 NEW BEST:: SOT 11335 SOS 5388 HAS SOPS 5388 HAS SOUS 3493 HAS SOUPS 3493 WITH SCORE 3498.388
AT ITER 635 NEW BEST:: SOT 11335 SOS 5370 HAS SOPS 5370 HAS SOUS 3493 HAS SOUPS 3493 WITH SCORE 3498.37
AT ITER 637 NEW BEST:: SOT 11308 SOS 5350 HAS SOPS 5350 HAS SOUS 3442 HAS SOUPS 3442 WITH SCORE 3447.35
AT ITER 652 NEW BEST:: SOT 11302 SOS 5338 HAS SOPS 5338 HAS SOUS 3436 HAS SOUPS 3436 WITH SCORE 3441.338
AT ITER 653 NEW BEST:: SOT 11257 SOS 5295 HAS SOPS 5295 HAS SOUS 3409 HAS SOUPS 3409 WITH SCORE 3414.295
AT ITER 656 NEW BEST:: SOT 11265 SOS 5301 HAS SOPS 5301 HAS SOUS 3407 HAS SOUPS 3407 WITH SCORE 3412.301
AT ITER 658 NEW BEST:: SOT 11256 SOS 5292 HAS SOPS 5292 HAS SOUS 3407 HAS SOUPS 3407 WITH SCORE 3412.292
AT ITER 662 NEW BEST:: SOT 11257 SOS 5294 HAS SOPS 5294 HAS SOUS 3400 HAS SOUPS 3400 WITH SCORE 3405.294
AT ITER 663 NEW BEST:: SOT 11210 SOS 5230 HAS SOPS 5230 HAS SOUS 3342 HAS SOUPS 3342 WITH SCORE 3347.23
AT ITER 678 NEW BEST:: SOT 11206 SOS 5216 HAS SOPS 5216 HAS SOUS 3334 HAS SOUPS 3334 WITH SCORE 3339.216
AT ITER 684 NEW BEST:: SOT 11209 SOS 5219 HAS SOPS 5219 HAS SOUS 3316 HAS SOUPS 3316 WITH SCORE 3321.219
AT ITER 686 NEW BEST:: SOT 11203 SOS 5204 HAS SOPS 5204 HAS SOUS 3307 HAS SOUPS 3307 WITH SCORE 3312.204
AT ITER 694 NEW BEST:: SOT 11195 SOS 5193 HAS SOPS 5193 HAS SOUS 3295 HAS SOUPS 3295 WITH SCORE 3300.193
AT ITER 706 NEW BEST:: SOT 11194 SOS 5171 HAS SOPS 5171 HAS SOUS 3281 HAS SOUPS 3281 WITH SCORE 3286.171
AT ITER 716 NEW BEST:: SOT 11190 SOS 5161 HAS SOPS 5161 HAS SOUS 3271 HAS SOUPS 3271 WITH SCORE 3276.161
AT ITER 722 NEW BEST:: SOT 11206 SOS 5163 HAS SOPS 5163 HAS SOUS 3249 HAS SOUPS 3249 WITH SCORE 3254.163
AT ITER 731 NEW BEST:: SOT 11204 SOS 5151 HAS SOPS 5151 HAS SOUS 3241 HAS SOUPS 3241 WITH SCORE 3246.151
AT ITER 737 NEW BEST:: SOT 11201 SOS 5153 HAS SOPS 5153 HAS SOUS 3238 HAS SOUPS 3238 WITH SCORE 3243.153
AT ITER 738 NEW BEST:: SOT 11189 SOS 5141 HAS SOPS 5141 HAS SOUS 3235 HAS SOUPS 3235 WITH SCORE 3240.141
AT ITER 767 NEW BEST:: SOT 11198 SOS 5135 HAS SOPS 5135 HAS SOUS 3232 HAS SOUPS 3232 WITH SCORE 3237.135
AT ITER 771 NEW BEST:: SOT 11199 SOS 5139 HAS SOPS 5139 HAS SOUS 3226 HAS SOUPS 3226 WITH SCORE 3231.139
AT ITER 782 NEW BEST:: SOT 11211 SOS 5107 HAS SOPS 5107 HAS SOUS 3216 HAS SOUPS 3216 WITH SCORE 3221.107
AT ITER 785 NEW BEST:: SOT 11193 SOS 5089 HAS SOPS 5089 HAS SOUS 3212 HAS SOUPS 3212 WITH SCORE 3217.089
AT ITER 790 NEW BEST:: SOT 11207 SOS 5100 HAS SOPS 5100 HAS SOUS 3208 HAS SOUPS 3208 WITH SCORE 3213.1
AT ITER 799 NEW BEST:: SOT 11197 SOS 5077 HAS SOPS 5077 HAS SOUS 3196 HAS SOUPS 3196 WITH SCORE 3201.077
AT ITER 807 NEW BEST:: SOT 11201 SOS 5068 HAS SOPS 5068 HAS SOUS 3195 HAS SOUPS 3195 WITH SCORE 3200.068
AT ITER 809 NEW BEST:: SOT 11204 SOS 5062 HAS SOPS 5062 HAS SOUS 3186 HAS SOUPS 3186 WITH SCORE 3191.062
AT ITER 812 NEW BEST:: SOT 11198 SOS 5050 HAS SOPS 5050 HAS SOUS 3179 HAS SOUPS 3179 WITH SCORE 3184.05
AT ITER 813 NEW BEST:: SOT 11003 SOS 4928 HAS SOPS 4928 HAS SOUS 3127 HAS SOUPS 3127 WITH SCORE 3131.928
AT ITER 818 NEW BEST:: SOT 10993 SOS 4908 HAS SOPS 4908 HAS SOUS 3111 HAS SOUPS 3111 WITH SCORE 3115.908
AT ITER 831 NEW BEST:: SOT 10993 SOS 4905 HAS SOPS 4905 HAS SOUS 3108 HAS SOUPS 3108 WITH SCORE 3112.905
AT ITER 834 NEW BEST:: SOT 10989 SOS 4901 HAS SOPS 4901 HAS SOUS 3104 HAS SOUPS 3104 WITH SCORE 3108.901
AT ITER 838 NEW BEST:: SOT 11000 SOS 4910 HAS SOPS 4910 HAS SOUS 3087 HAS SOUPS 3087 WITH SCORE 3091.91
AT ITER 843 NEW BEST:: SOT 10994 SOS 4897 HAS SOPS 4897 HAS SOUS 3080 HAS SOUPS 3080 WITH SCORE 3084.897
AT ITER 863 NEW BEST:: SOT 10994 SOS 4823 HAS SOPS 4823 HAS SOUS 3064 HAS SOUPS 3064 WITH SCORE 3068.823
AT ITER 894 NEW BEST:: SOT 10994 SOS 4823 HAS SOPS 4823 HAS SOUS 3046 HAS SOUPS 3046 WITH SCORE 3050.823
AT ITER 925 NEW BEST:: SOT 10994 SOS 4822 HAS SOPS 4822 HAS SOUS 3046 HAS SOUPS 3046 WITH SCORE 3050.822
AT ITER 950 NEW BEST:: SOT 11004 SOS 4826 HAS SOPS 4826 HAS SOUS 3038 HAS SOUPS 3038 WITH SCORE 3042.826
AT ITER 961 NEW BEST:: SOT 11004 SOS 4826 HAS SOPS 4826 HAS SOUS 3035 HAS SOUPS 3035 WITH SCORE 3039.826
AT ITER 965 NEW BEST:: SOT 11004 SOS 4817 HAS SOPS 4817 HAS SOUS 3032 HAS SOUPS 3032 WITH SCORE 3036.817
AT ITER 968 NEW BEST:: SOT 10974 SOS 4791 HAS SOPS 4791 HAS SOUS 3026 HAS SOUPS 3026 WITH SCORE 3030.791
AT ITER 972 NEW BEST:: SOT 10995 SOS 4735 HAS SOPS 4735 HAS SOUS 2980 HAS SOUPS 2980 WITH SCORE 2984.735
AT ITER 988 NEW BEST:: SOT 10994 SOS 4720 HAS SOPS 4720 HAS SOUS 2976 HAS SOUPS 2976 WITH SCORE 2980.72
AT ITER 990 NEW BEST:: SOT 10986 SOS 4712 HAS SOPS 4712 HAS SOUS 2954 HAS SOUPS 2954 WITH SCORE 2958.712
AT ITER 1003 NEW BEST:: SOT 10986 SOS 4670 HAS SOPS 4670 HAS SOUS 2949 HAS SOUPS 2949 WITH SCORE 2953.67
AT ITER 1004 NEW BEST:: SOT 10984 SOS 4666 HAS SOPS 4666 HAS SOUS 2945 HAS SOUPS 2945 WITH SCORE 2949.666
AT ITER 1012 NEW BEST:: SOT 11019 SOS 4688 HAS SOPS 4688 HAS SOUS 2921 HAS SOUPS 2921 WITH SCORE 2925.688
AT ITER 1041 NEW BEST:: SOT 11019 SOS 4685 HAS SOPS 4685 HAS SOUS 2918 HAS SOUPS 2918 WITH SCORE 2922.685
AT ITER 1064 NEW BEST:: SOT 11014 SOS 4666 HAS SOPS 4666 HAS SOUS 2904 HAS SOUPS 2904 WITH SCORE 2908.666
AT ITER 1079 NEW BEST:: SOT 11002 SOS 4646 HAS SOPS 4646 HAS SOUS 2892 HAS SOUPS 2892 WITH SCORE 2896.646
AT ITER 1088 NEW BEST:: SOT 11016 SOS 4684 HAS SOPS 4684 HAS SOUS 2886 HAS SOUPS 2886 WITH SCORE 2890.684
AT ITER 1093 NEW BEST:: SOT 11010 SOS 4678 HAS SOPS 4678 HAS SOUS 2880 HAS SOUPS 2880 WITH SCORE 2884.678
AT ITER 1102 NEW BEST:: SOT 11010 SOS 4675 HAS SOPS 4675 HAS SOUS 2880 HAS SOUPS 2880 WITH SCORE 2884.675
AT ITER 1114 NEW BEST:: SOT 11008 SOS 4674 HAS SOPS 4674 HAS SOUS 2876 HAS SOUPS 2876 WITH SCORE 2880.674
AT ITER 1122 NEW BEST:: SOT 11011 SOS 4703 HAS SOPS 4703 HAS SOUS 2864 HAS SOUPS 2864 WITH SCORE 2868.703
AT ITER 1123 NEW BEST:: SOT 11010 SOS 4702 HAS SOPS 4702 HAS SOUS 2860 HAS SOUPS 2860 WITH SCORE 2864.702
AT ITER 1145 NEW BEST:: SOT 11008 SOS 4698 HAS SOPS 4698 HAS SOUS 2856 HAS SOUPS 2856 WITH SCORE 2860.698
AT ITER 1169 NEW BEST:: SOT 11015 SOS 4694 HAS SOPS 4694 HAS SOUS 2845 HAS SOUPS 2845 WITH SCORE 2849.694
AT ITER 1178 NEW BEST:: SOT 10997 SOS 4684 HAS SOPS 4684 HAS SOUS 2843 HAS SOUPS 2843 WITH SCORE 2847.684
AT ITER 1186 NEW BEST:: SOT 10986 SOS 4673 HAS SOPS 4673 HAS SOUS 2823 HAS SOUPS 2823 WITH SCORE 2827.673
AT ITER 1187 NEW BEST:: SOT 10977 SOS 4664 HAS SOPS 4664 HAS SOUS 2811 HAS SOUPS 2811 WITH SCORE 2815.664
AT ITER 1210 NEW BEST:: SOT 10977 SOS 4568 HAS SOPS 4568 HAS SOUS 2811 HAS SOUPS 2811 WITH SCORE 2815.568
AT ITER 1249 NEW BEST:: SOT 10989 SOS 4592 HAS SOPS 4592 HAS SOUS 2805 HAS SOUPS 2805 WITH SCORE 2809.592
AT ITER 1251 NEW BEST:: SOT 10986 SOS 4588 HAS SOPS 4588 HAS SOUS 2801 HAS SOUPS 2801 WITH SCORE 2805.588
AT ITER 1256 NEW BEST:: SOT 10981 SOS 4578 HAS SOPS 4578 HAS SOUS 2786 HAS SOUPS 2786 WITH SCORE 2790.578
AT ITER 1277 NEW BEST:: SOT 10976 SOS 4568 HAS SOPS 4568 HAS SOUS 2781 HAS SOUPS 2781 WITH SCORE 2785.568
AT ITER 1282 NEW BEST:: SOT 10982 SOS 4572 HAS SOPS 4572 HAS SOUS 2775 HAS SOUPS 2775 WITH SCORE 2779.572
AT ITER 1292 NEW BEST:: SOT 10977 SOS 4557 HAS SOPS 4557 HAS SOUS 2770 HAS SOUPS 2770 WITH SCORE 2774.557
AT ITER 1301 NEW BEST:: SOT 10971 SOS 4547 HAS SOPS 4547 HAS SOUS 2769 HAS SOUPS 2769 WITH SCORE 2773.547
AT ITER 1307 NEW BEST:: SOT 10965 SOS 4536 HAS SOPS 4536 HAS SOUS 2764 HAS SOUPS 2764 WITH SCORE 2768.536
AT ITER 1332 NEW BEST:: SOT 10965 SOS 4567 HAS SOPS 4567 HAS SOUS 2763 HAS SOUPS 2763 WITH SCORE 2767.567
AT ITER 1362 NEW BEST:: SOT 10957 SOS 4553 HAS SOPS 4553 HAS SOUS 2753 HAS SOUPS 2753 WITH SCORE 2757.553
AT ITER 1378 NEW BEST:: SOT 10951 SOS 4547 HAS SOPS 4547 HAS SOUS 2753 HAS SOUPS 2753 WITH SCORE 2757.547
AT ITER 1383 NEW BEST:: SOT 10949 SOS 4544 HAS SOPS 4544 HAS SOUS 2751 HAS SOUPS 2751 WITH SCORE 2755.544
AT ITER 1402 NEW BEST:: SOT 10924 SOS 4519 HAS SOPS 4519 HAS SOUS 2743 HAS SOUPS 2743 WITH SCORE 2747.519
AT ITER 1443 NEW BEST:: SOT 10919 SOS 4511 HAS SOPS 4511 HAS SOUS 2737 HAS SOUPS 2737 WITH SCORE 2741.511
AT ITER 1465 NEW BEST:: SOT 10919 SOS 4511 HAS SOPS 4511 HAS SOUS 2732 HAS SOUPS 2732 WITH SCORE 2736.511
AT ITER 1466 NEW BEST:: SOT 10917 SOS 4505 HAS SOPS 4505 HAS SOUS 2730 HAS SOUPS 2730 WITH SCORE 2734.505
AT ITER 1469 NEW BEST:: SOT 10917 SOS 4505 HAS SOPS 4505 HAS SOUS 2722 HAS SOUPS 2722 WITH SCORE 2726.505
AT ITER 1523 NEW BEST:: SOT 10926 SOS 4514 HAS SOPS 4514 HAS SOUS 2714 HAS SOUPS 2714 WITH SCORE 2718.514
AT ITER 1541 NEW BEST:: SOT 10926 SOS 4512 HAS SOPS 4512 HAS SOUS 2714 HAS SOUPS 2714 WITH SCORE 2718.512
AT ITER 1543 NEW BEST:: SOT 10933 SOS 4505 HAS SOPS 4505 HAS SOUS 2707 HAS SOUPS 2707 WITH SCORE 2711.505
AT ITER 1545 NEW BEST:: SOT 10931 SOS 4500 HAS SOPS 4500 HAS SOUS 2701 HAS SOUPS 2701 WITH SCORE 2705.5
AT ITER 1559 NEW BEST:: SOT 10930 SOS 4499 HAS SOPS 4499 HAS SOUS 2700 HAS SOUPS 2700 WITH SCORE 2704.499
AT ITER 1571 NEW BEST:: SOT 10881 SOS 4626 HAS SOPS 4626 HAS SOUS 2692 HAS SOUPS 2692 WITH SCORE 2696.626
AT ITER 1575 NEW BEST:: SOT 10883 SOS 4623 HAS SOPS 4623 HAS SOUS 2689 HAS SOUPS 2689 WITH SCORE 2693.623
AT ITER 1585 NEW BEST:: SOT 10878 SOS 4618 HAS SOPS 4618 HAS SOUS 2685 HAS SOUPS 2685 WITH SCORE 2689.618
AT ITER 1588 NEW BEST:: SOT 10876 SOS 4629 HAS SOPS 4629 HAS SOUS 2684 HAS SOUPS 2684 WITH SCORE 2688.629
AT ITER 1600 NEW BEST:: SOT 10870 SOS 4628 HAS SOPS 4628 HAS SOUS 2683 HAS SOUPS 2683 WITH SCORE 2687.628
AT ITER 1601 NEW BEST:: SOT 10853 SOS 4620 HAS SOPS 4620 HAS SOUS 2659 HAS SOUPS 2659 WITH SCORE 2663.62
AT ITER 1622 NEW BEST:: SOT 10850 SOS 4617 HAS SOPS 4617 HAS SOUS 2656 HAS SOUPS 2656 WITH SCORE 2660.617
AT ITER 1670 NEW BEST:: SOT 10852 SOS 4615 HAS SOPS 4615 HAS SOUS 2654 HAS SOUPS 2654 WITH SCORE 2658.615
AT ITER 1674 NEW BEST:: SOT 10846 SOS 4609 HAS SOPS 4609 HAS SOUS 2650 HAS SOUPS 2650 WITH SCORE 2654.609
AT ITER 1697 NEW BEST:: SOT 10846 SOS 4601 HAS SOPS 4601 HAS SOUS 2648 HAS SOUPS 2648 WITH SCORE 2652.601
AT ITER 1769 NEW BEST:: SOT 10837 SOS 4589 HAS SOPS 4589 HAS SOUS 2639 HAS SOUPS 2639 WITH SCORE 2643.589
AT ITER 1787 NEW BEST:: SOT 10834 SOS 4589 HAS SOPS 4589 HAS SOUS 2636 HAS SOUPS 2636 WITH SCORE 2640.589
AT ITER 1791 NEW BEST:: SOT 10839 SOS 4459 HAS SOPS 4459 HAS SOUS 2628 HAS SOUPS 2628 WITH SCORE 2632.459
AT ITER 1823 NEW BEST:: SOT 10841 SOS 4457 HAS SOPS 4457 HAS SOUS 2628 HAS SOUPS 2628 WITH SCORE 2632.457
AT ITER 1824 NEW BEST:: SOT 10828 SOS 4431 HAS SOPS 4431 HAS SOUS 2616 HAS SOUPS 2616 WITH SCORE 2620.431
AT ITER 1840 NEW BEST:: SOT 10825 SOS 4417 HAS SOPS 4417 HAS SOUS 2613 HAS SOUPS 2613 WITH SCORE 2617.417
AT ITER 1863 NEW BEST:: SOT 10852 SOS 4350 HAS SOPS 4350 HAS SOUS 2588 HAS SOUPS 2588 WITH SCORE 2592.35
AT ITER 1868 NEW BEST:: SOT 10849 SOS 4345 HAS SOPS 4345 HAS SOUS 2588 HAS SOUPS 2588 WITH SCORE 2592.345
AT ITER 1902 NEW BEST:: SOT 10843 SOS 4339 HAS SOPS 4339 HAS SOUS 2584 HAS SOUPS 2584 WITH SCORE 2588.339
AT ITER 1914 NEW BEST:: SOT 10846 SOS 4349 HAS SOPS 4349 HAS SOUS 2580 HAS SOUPS 2580 WITH SCORE 2584.349
AT ITER 1928 NEW BEST:: SOT 10857 SOS 4352 HAS SOPS 4352 HAS SOUS 2577 HAS SOUPS 2577 WITH SCORE 2581.352
AT ITER 1992 NEW BEST:: SOT 10856 SOS 4388 HAS SOPS 4388 HAS SOUS 2575 HAS SOUPS 2575 WITH SCORE 2579.388
AT ITER 2018 NEW BEST:: SOT 10859 SOS 4391 HAS SOPS 4391 HAS SOUS 2574 HAS SOUPS 2574 WITH SCORE 2578.391
AT ITER 2025 NEW BEST:: SOT 10847 SOS 4379 HAS SOPS 4379 HAS SOUS 2567 HAS SOUPS 2567 WITH SCORE 2571.379
AT ITER 2039 NEW BEST:: SOT 10847 SOS 4377 HAS SOPS 4377 HAS SOUS 2567 HAS SOUPS 2567 WITH SCORE 2571.377
AT ITER 2059 NEW BEST:: SOT 10849 SOS 4379 HAS SOPS 4379 HAS SOUS 2565 HAS SOUPS 2565 WITH SCORE 2569.379
AT ITER 2078 NEW BEST:: SOT 10848 SOS 4377 HAS SOPS 4377 HAS SOUS 2563 HAS SOUPS 2563 WITH SCORE 2567.377
AT ITER 2164 NEW BEST:: SOT 10859 SOS 4377 HAS SOPS 4377 HAS SOUS 2553 HAS SOUPS 2553 WITH SCORE 2557.377
AT ITER 2172 NEW BEST:: SOT 10852 SOS 4371 HAS SOPS 4371 HAS SOUS 2552 HAS SOUPS 2552 WITH SCORE 2556.371
AT ITER 2193 NEW BEST:: SOT 10842 SOS 4415 HAS SOPS 4415 HAS SOUS 2551 HAS SOUPS 2551 WITH SCORE 2555.415
AT ITER 2196 NEW BEST:: SOT 10842 SOS 4414 HAS SOPS 4414 HAS SOUS 2550 HAS SOUPS 2550 WITH SCORE 2554.414
AT ITER 2207 NEW BEST:: SOT 10843 SOS 4405 HAS SOPS 4405 HAS SOUS 2548 HAS SOUPS 2548 WITH SCORE 2552.405
AT ITER 2253 NEW BEST:: SOT 10829 SOS 4389 HAS SOPS 4389 HAS SOUS 2545 HAS SOUPS 2545 WITH SCORE 2549.389
AT ITER 2256 NEW BEST:: SOT 10829 SOS 4388 HAS SOPS 4388 HAS SOUS 2544 HAS SOUPS 2544 WITH SCORE 2548.388
AT ITER 2272 NEW BEST:: SOT 10828 SOS 4387 HAS SOPS 4387 HAS SOUS 2542 HAS SOUPS 2542 WITH SCORE 2546.387
AT ITER 2293 NEW BEST:: SOT 10826 SOS 4385 HAS SOPS 4385 HAS SOUS 2540 HAS SOUPS 2540 WITH SCORE 2544.385
AT ITER 2396 NEW BEST:: SOT 10808 SOS 4357 HAS SOPS 4357 HAS SOUS 2522 HAS SOUPS 2522 WITH SCORE 2526.357
AT ITER 2433 NEW BEST:: SOT 10809 SOS 4325 HAS SOPS 4325 HAS SOUS 2517 HAS SOUPS 2517 WITH SCORE 2521.325
AT ITER 2435 NEW BEST:: SOT 10812 SOS 4323 HAS SOPS 4323 HAS SOUS 2512 HAS SOUPS 2512 WITH SCORE 2516.323
AT ITER 2451 NEW BEST:: SOT 10797 SOS 4312 HAS SOPS 4312 HAS SOUS 2510 HAS SOUPS 2510 WITH SCORE 2514.312
AT ITER 2467 NEW BEST:: SOT 10782 SOS 4286 HAS SOPS 4286 HAS SOUS 2493 HAS SOUPS 2493 WITH SCORE 2497.286
AT ITER 2491 NEW BEST:: SOT 10779 SOS 4274 HAS SOPS 4274 HAS SOUS 2486 HAS SOUPS 2486 WITH SCORE 2490.274
AT ITER 2495 NEW BEST:: SOT 10784 SOS 4277 HAS SOPS 4277 HAS SOUS 2482 HAS SOUPS 2482 WITH SCORE 2486.277
AT ITER 2501 NEW BEST:: SOT 10788 SOS 4280 HAS SOPS 4280 HAS SOUS 2479 HAS SOUPS 2479 WITH SCORE 2483.28
AT ITER 2509 NEW BEST:: SOT 10782 SOS 4257 HAS SOPS 4257 HAS SOUS 2468 HAS SOUPS 2468 WITH SCORE 2472.257
AT ITER 2522 NEW BEST:: SOT 10755 SOS 4266 HAS SOPS 4266 HAS SOUS 2463 HAS SOUPS 2463 WITH SCORE 2467.266
AT ITER 2549 NEW BEST:: SOT 10753 SOS 4263 HAS SOPS 4263 HAS SOUS 2460 HAS SOUPS 2460 WITH SCORE 2464.263
AT ITER 2564 NEW BEST:: SOT 10745 SOS 4247 HAS SOPS 4247 HAS SOUS 2449 HAS SOUPS 2449 WITH SCORE 2453.247
AT ITER 2611 NEW BEST:: SOT 10745 SOS 4245 HAS SOPS 4245 HAS SOUS 2447 HAS SOUPS 2447 WITH SCORE 2451.245
AT ITER 2635 NEW BEST:: SOT 10746 SOS 4248 HAS SOPS 4248 HAS SOUS 2444 HAS SOUPS 2444 WITH SCORE 2448.248
AT ITER 2646 NEW BEST:: SOT 10746 SOS 4280 HAS SOPS 4280 HAS SOUS 2440 HAS SOUPS 2440 WITH SCORE 2444.28
AT ITER 2668 NEW BEST:: SOT 10746 SOS 4273 HAS SOPS 4273 HAS SOUS 2437 HAS SOUPS 2437 WITH SCORE 2441.273
AT ITER 2695 NEW BEST:: SOT 10746 SOS 4271 HAS SOPS 4271 HAS SOUS 2437 HAS SOUPS 2437 WITH SCORE 2441.271
AT ITER 2790 NEW BEST:: SOT 10747 SOS 4269 HAS SOPS 4269 HAS SOUS 2437 HAS SOUPS 2437 WITH SCORE 2441.269
AT ITER 2792 NEW BEST:: SOT 10747 SOS 4292 HAS SOPS 4292 HAS SOUS 2430 HAS SOUPS 2430 WITH SCORE 2434.292
AT ITER 2807 NEW BEST:: SOT 10742 SOS 4282 HAS SOPS 4282 HAS SOUS 2420 HAS SOUPS 2420 WITH SCORE 2424.282
AT ITER 2838 NEW BEST:: SOT 10740 SOS 4278 HAS SOPS 4278 HAS SOUS 2418 HAS SOUPS 2418 WITH SCORE 2422.278
AT ITER 2849 NEW BEST:: SOT 10737 SOS 4266 HAS SOPS 4266 HAS SOUS 2415 HAS SOUPS 2415 WITH SCORE 2419.266
AT ITER 2865 NEW BEST:: SOT 10749 SOS 4270 HAS SOPS 4270 HAS SOUS 2401 HAS SOUPS 2401 WITH SCORE 2405.27
AT ITER 2873 NEW BEST:: SOT 10746 SOS 4270 HAS SOPS 4270 HAS SOUS 2398 HAS SOUPS 2398 WITH SCORE 2402.27
AT ITER 2917 NEW BEST:: SOT 10741 SOS 4265 HAS SOPS 4265 HAS SOUS 2393 HAS SOUPS 2393 WITH SCORE 2397.265
AT ITER 2959 NEW BEST:: SOT 10737 SOS 4253 HAS SOPS 4253 HAS SOUS 2385 HAS SOUPS 2385 WITH SCORE 2389.253
AT ITER 2970 NEW BEST:: SOT 10733 SOS 4249 HAS SOPS 4249 HAS SOUS 2382 HAS SOUPS 2382 WITH SCORE 2386.249
AT ITER 2977 NEW BEST:: SOT 10732 SOS 4244 HAS SOPS 4244 HAS SOUS 2379 HAS SOUPS 2379 WITH SCORE 2383.244
AT ITER 3027 NEW BEST:: SOT 10729 SOS 4240 HAS SOPS 4240 HAS SOUS 2375 HAS SOUPS 2375 WITH SCORE 2379.24
AT ITER 3182 NEW BEST:: SOT 10717 SOS 4228 HAS SOPS 4228 HAS SOUS 2375 HAS SOUPS 2375 WITH SCORE 2379.228
AT ITER 3186 NEW BEST:: SOT 10716 SOS 4214 HAS SOPS 4214 HAS SOUS 2373 HAS SOUPS 2373 WITH SCORE 2377.214
AT ITER 3191 NEW BEST:: SOT 10710 SOS 4202 HAS SOPS 4202 HAS SOUS 2363 HAS SOUPS 2363 WITH SCORE 2367.202
AT ITER 3362 NEW BEST:: SOT 10671 SOS 4339 HAS SOPS 4339 HAS SOUS 2362 HAS SOUPS 2362 WITH SCORE 2366.339
AT ITER 3383 NEW BEST:: SOT 10681 SOS 4346 HAS SOPS 4346 HAS SOUS 2358 HAS SOUPS 2358 WITH SCORE 2362.346
AT ITER 3394 NEW BEST:: SOT 10681 SOS 4343 HAS SOPS 4343 HAS SOUS 2355 HAS SOUPS 2355 WITH SCORE 2359.343
AT ITER 3402 NEW BEST:: SOT 10680 SOS 4342 HAS SOPS 4342 HAS SOUS 2354 HAS SOUPS 2354 WITH SCORE 2358.342
AT ITER 3407 NEW BEST:: SOT 10678 SOS 4340 HAS SOPS 4340 HAS SOUS 2354 HAS SOUPS 2354 WITH SCORE 2358.34
AT ITER 3426 NEW BEST:: SOT 10679 SOS 4341 HAS SOPS 4341 HAS SOUS 2344 HAS SOUPS 2344 WITH SCORE 2348.341
AT ITER 3441 NEW BEST:: SOT 10677 SOS 4329 HAS SOPS 4329 HAS SOUS 2342 HAS SOUPS 2342 WITH SCORE 2346.329
AT ITER 3536 NEW BEST:: SOT 10665 SOS 4314 HAS SOPS 4314 HAS SOUS 2339 HAS SOUPS 2339 WITH SCORE 2343.314
AT ITER 3579 NEW BEST:: SOT 10665 SOS 4302 HAS SOPS 4302 HAS SOUS 2335 HAS SOUPS 2335 WITH SCORE 2339.302
AT ITER 3589 NEW BEST:: SOT 10591 SOS 4248 HAS SOPS 4248 HAS SOUS 2309 HAS SOUPS 2309 WITH SCORE 2313.248
AT ITER 3592 NEW BEST:: SOT 10592 SOS 4244 HAS SOPS 4244 HAS SOUS 2308 HAS SOUPS 2308 WITH SCORE 2312.244
AT ITER 3661 NEW BEST:: SOT 10597 SOS 4240 HAS SOPS 4240 HAS SOUS 2303 HAS SOUPS 2303 WITH SCORE 2307.24
AT ITER 3735 NEW BEST:: SOT 10544 SOS 4283 HAS SOPS 4283 HAS SOUS 2300 HAS SOUPS 2300 WITH SCORE 2304.283
AT ITER 3767 NEW BEST:: SOT 10542 SOS 4280 HAS SOPS 4280 HAS SOUS 2298 HAS SOUPS 2298 WITH SCORE 2302.28
AT ITER 3818 NEW BEST:: SOT 10543 SOS 4302 HAS SOPS 4302 HAS SOUS 2292 HAS SOUPS 2292 WITH SCORE 2296.302
AT ITER 3846 NEW BEST:: SOT 10546 SOS 4308 HAS SOPS 4308 HAS SOUS 2291 HAS SOUPS 2291 WITH SCORE 2295.308
AT ITER 3901 NEW BEST:: SOT 10545 SOS 4306 HAS SOPS 4306 HAS SOUS 2291 HAS SOUPS 2291 WITH SCORE 2295.306
AT ITER 3937 NEW BEST:: SOT 10545 SOS 4306 HAS SOPS 4306 HAS SOUS 2290 HAS SOUPS 2290 WITH SCORE 2294.306
AT ITER 3962 NEW BEST:: SOT 10539 SOS 4300 HAS SOPS 4300 HAS SOUS 2288 HAS SOUPS 2288 WITH SCORE 2292.3
AT ITER 3999 NEW BEST:: SOT 10534 SOS 4301 HAS SOPS 4301 HAS SOUS 2285 HAS SOUPS 2285 WITH SCORE 2289.301
AT ITER 4007 NEW BEST:: SOT 10535 SOS 4302 HAS SOPS 4302 HAS SOUS 2283 HAS SOUPS 2283 WITH SCORE 2287.302
AT ITER 4017 NEW BEST:: SOT 10531 SOS 4299 HAS SOPS 4299 HAS SOUS 2282 HAS SOUPS 2282 WITH SCORE 2286.299
AT ITER 4035 NEW BEST:: SOT 10530 SOS 4299 HAS SOPS 4299 HAS SOUS 2281 HAS SOUPS 2281 WITH SCORE 2285.299
AT ITER 4103 NEW BEST:: SOT 10530 SOS 4290 HAS SOPS 4290 HAS SOUS 2280 HAS SOUPS 2280 WITH SCORE 2284.29
AT ITER 4107 NEW BEST:: SOT 10529 SOS 4290 HAS SOPS 4290 HAS SOUS 2278 HAS SOUPS 2278 WITH SCORE 2282.29
AT ITER 4119 NEW BEST:: SOT 10529 SOS 4284 HAS SOPS 4284 HAS SOUS 2278 HAS SOUPS 2278 WITH SCORE 2282.284
AT ITER 4146 NEW BEST:: SOT 10527 SOS 4302 HAS SOPS 4302 HAS SOUS 2277 HAS SOUPS 2277 WITH SCORE 2281.302
AT ITER 4149 NEW BEST:: SOT 10544 SOS 4308 HAS SOPS 4308 HAS SOUS 2269 HAS SOUPS 2269 WITH SCORE 2273.308
AT ITER 4213 NEW BEST:: SOT 10544 SOS 4308 HAS SOPS 4308 HAS SOUS 2265 HAS SOUPS 2265 WITH SCORE 2269.308
AT ITER 4236 NEW BEST:: SOT 10555 SOS 4253 HAS SOPS 4253 HAS SOUS 2264 HAS SOUPS 2264 WITH SCORE 2268.253
AT ITER 4280 NEW BEST:: SOT 10554 SOS 4252 HAS SOPS 4252 HAS SOUS 2264 HAS SOUPS 2264 WITH SCORE 2268.252
AT ITER 4284 NEW BEST:: SOT 10554 SOS 4252 HAS SOPS 4252 HAS SOUS 2259 HAS SOUPS 2259 WITH SCORE 2263.252
AT ITER 4315 NEW BEST:: SOT 10553 SOS 4253 HAS SOPS 4253 HAS SOUS 2258 HAS SOUPS 2258 WITH SCORE 2262.253
AT ITER 4341 NEW BEST:: SOT 10552 SOS 4252 HAS SOPS 4252 HAS SOUS 2258 HAS SOUPS 2258 WITH SCORE 2262.252
AT ITER 4360 NEW BEST:: SOT 10552 SOS 4250 HAS SOPS 4250 HAS SOUS 2251 HAS SOUPS 2251 WITH SCORE 2255.25
AT ITER 4362 NEW BEST:: SOT 10570 SOS 4267 HAS SOPS 4267 HAS SOUS 2250 HAS SOUPS 2250 WITH SCORE 2254.267
AT ITER 4366 NEW BEST:: SOT 10570 SOS 4280 HAS SOPS 4280 HAS SOUS 2246 HAS SOUPS 2246 WITH SCORE 2250.28
AT ITER 4367 NEW BEST:: SOT 10579 SOS 4279 HAS SOPS 4279 HAS SOUS 2243 HAS SOUPS 2243 WITH SCORE 2247.279
AT ITER 4397 NEW BEST:: SOT 10579 SOS 4271 HAS SOPS 4271 HAS SOUS 2241 HAS SOUPS 2241 WITH SCORE 2245.271
AT ITER 4403 NEW BEST:: SOT 10569 SOS 4257 HAS SOPS 4257 HAS SOUS 2229 HAS SOUPS 2229 WITH SCORE 2233.257
AT ITER 4536 NEW BEST:: SOT 10580 SOS 4268 HAS SOPS 4268 HAS SOUS 2222 HAS SOUPS 2222 WITH SCORE 2226.268
AT ITER 4551 NEW BEST:: SOT 10580 SOS 4254 HAS SOPS 4254 HAS SOUS 2208 HAS SOUPS 2208 WITH SCORE 2212.254
AT ITER 4622 NEW BEST:: SOT 10578 SOS 4252 HAS SOPS 4252 HAS SOUS 2203 HAS SOUPS 2203 WITH SCORE 2207.252
AT ITER 4623 NEW BEST:: SOT 10601 SOS 4246 HAS SOPS 4246 HAS SOUS 2193 HAS SOUPS 2193 WITH SCORE 2197.246
AT ITER 4646 NEW BEST:: SOT 10635 SOS 4238 HAS SOPS 4238 HAS SOUS 2189 HAS SOUPS 2189 WITH SCORE 2193.238
AT ITER 4669 NEW BEST:: SOT 10635 SOS 4238 HAS SOPS 4238 HAS SOUS 2180 HAS SOUPS 2180 WITH SCORE 2184.238
AT ITER 4711 NEW BEST:: SOT 10630 SOS 4243 HAS SOPS 4243 HAS SOUS 2175 HAS SOUPS 2175 WITH SCORE 2179.243
AT ITER 4763 NEW BEST:: SOT 10627 SOS 4241 HAS SOPS 4241 HAS SOUS 2174 HAS SOUPS 2174 WITH SCORE 2178.241
AT ITER 4778 NEW BEST:: SOT 10612 SOS 4226 HAS SOPS 4226 HAS SOUS 2169 HAS SOUPS 2169 WITH SCORE 2173.226
AT ITER 4812 NEW BEST:: SOT 10615 SOS 4229 HAS SOPS 4229 HAS SOUS 2168 HAS SOUPS 2168 WITH SCORE 2172.229
AT ITER 4822 NEW BEST:: SOT 10614 SOS 4224 HAS SOPS 4224 HAS SOUS 2163 HAS SOUPS 2163 WITH SCORE 2167.224
AT ITER 4838 NEW BEST:: SOT 10613 SOS 4222 HAS SOPS 4222 HAS SOUS 2159 HAS SOUPS 2159 WITH SCORE 2163.222
AT ITER 4853 NEW BEST:: SOT 10609 SOS 4222 HAS SOPS 4222 HAS SOUS 2155 HAS SOUPS 2155 WITH SCORE 2159.222
AT ITER 4887 NEW BEST:: SOT 10608 SOS 4219 HAS SOPS 4219 HAS SOUS 2154 HAS SOUPS 2154 WITH SCORE 2158.219
AT ITER 4900 NEW BEST:: SOT 10607 SOS 4218 HAS SOPS 4218 HAS SOUS 2154 HAS SOUPS 2154 WITH SCORE 2158.218
AT ITER 4944 NEW BEST:: SOT 10606 SOS 4217 HAS SOPS 4217 HAS SOUS 2153 HAS SOUPS 2153 WITH SCORE 2157.217
AT ITER 4954 NEW BEST:: SOT 10600 SOS 4199 HAS SOPS 4199 HAS SOUS 2137 HAS SOUPS 2137 WITH SCORE 2141.199
AT ITER 4967 NEW BEST:: SOT 10599 SOS 4202 HAS SOPS 4202 HAS SOUS 2136 HAS SOUPS 2136 WITH SCORE 2140.202
AT ITER 4991 NEW BEST:: SOT 10595 SOS 4210 HAS SOPS 4210 HAS SOUS 2133 HAS SOUPS 2133 WITH SCORE 2137.21
AT ITER 4999 NEW BEST:: SOT 10592 SOS 4197 HAS SOPS 4197 HAS SOUS 2129 HAS SOUPS 2129 WITH SCORE 2133.197
AT ITER 5001 NEW BEST:: SOT 10592 SOS 4130 HAS SOPS 4130 HAS SOUS 2122 HAS SOUPS 2122 WITH SCORE 2126.13
AT ITER 5067 NEW BEST:: SOT 10602 SOS 4068 HAS SOPS 4068 HAS SOUS 2122 HAS SOUPS 2122 WITH SCORE 2126.068
AT ITER 5097 NEW BEST:: SOT 10586 SOS 4051 HAS SOPS 4051 HAS SOUS 2119 HAS SOUPS 2119 WITH SCORE 2123.051
AT ITER 5179 NEW BEST:: SOT 10581 SOS 4045 HAS SOPS 4045 HAS SOUS 2116 HAS SOUPS 2116 WITH SCORE 2120.045
AT ITER 5206 NEW BEST:: SOT 10572 SOS 4027 HAS SOPS 4027 HAS SOUS 2104 HAS SOUPS 2104 WITH SCORE 2108.027
AT ITER 5230 NEW BEST:: SOT 10571 SOS 4022 HAS SOPS 4022 HAS SOUS 2102 HAS SOUPS 2102 WITH SCORE 2106.022
AT ITER 5287 NEW BEST:: SOT 10563 SOS 4014 HAS SOPS 4014 HAS SOUS 2102 HAS SOUPS 2102 WITH SCORE 2106.014
AT ITER 5306 NEW BEST:: SOT 10551 SOS 4002 HAS SOPS 4002 HAS SOUS 2101 HAS SOUPS 2101 WITH SCORE 2105.002
AT ITER 5360 NEW BEST:: SOT 10543 SOS 4044 HAS SOPS 4044 HAS SOUS 2097 HAS SOUPS 2097 WITH SCORE 2101.044
AT ITER 5387 NEW BEST:: SOT 10498 SOS 4164 HAS SOPS 4164 HAS SOUS 2091 HAS SOUPS 2091 WITH SCORE 2095.164
AT ITER 5413 NEW BEST:: SOT 10498 SOS 4162 HAS SOPS 4162 HAS SOUS 2091 HAS SOUPS 2091 WITH SCORE 2095.162
AT ITER 5417 NEW BEST:: SOT 10497 SOS 4161 HAS SOPS 4161 HAS SOUS 2091 HAS SOUPS 2091 WITH SCORE 2095.161
AT ITER 5418 NEW BEST:: SOT 10489 SOS 4153 HAS SOPS 4153 HAS SOUS 2086 HAS SOUPS 2086 WITH SCORE 2090.153
AT ITER 5493 NEW BEST:: SOT 10489 SOS 4145 HAS SOPS 4145 HAS SOUS 2086 HAS SOUPS 2086 WITH SCORE 2090.145
AT ITER 5527 NEW BEST:: SOT 10489 SOS 4135 HAS SOPS 4135 HAS SOUS 2086 HAS SOUPS 2086 WITH SCORE 2090.135
AT ITER 5542 NEW BEST:: SOT 10471 SOS 4137 HAS SOPS 4137 HAS SOUS 2083 HAS SOUPS 2083 WITH SCORE 2087.137
AT ITER 5575 NEW BEST:: SOT 10469 SOS 4138 HAS SOPS 4138 HAS SOUS 2082 HAS SOUPS 2082 WITH SCORE 2086.138
AT ITER 5618 NEW BEST:: SOT 10469 SOS 4136 HAS SOPS 4136 HAS SOUS 2081 HAS SOUPS 2081 WITH SCORE 2085.136
AT ITER 5622 NEW BEST:: SOT 10447 SOS 4114 HAS SOPS 4114 HAS SOUS 2065 HAS SOUPS 2065 WITH SCORE 2069.114
AT ITER 5623 NEW BEST:: SOT 10447 SOS 4113 HAS SOPS 4113 HAS SOUS 2065 HAS SOUPS 2065 WITH SCORE 2069.113
AT ITER 5676 NEW BEST:: SOT 10457 SOS 4122 HAS SOPS 4122 HAS SOUS 2064 HAS SOUPS 2064 WITH SCORE 2068.122
AT ITER 5717 NEW BEST:: SOT 10452 SOS 4110 HAS SOPS 4110 HAS SOUS 2061 HAS SOUPS 2061 WITH SCORE 2065.11
AT ITER 5794 NEW BEST:: SOT 10450 SOS 4108 HAS SOPS 4108 HAS SOUS 2059 HAS SOUPS 2059 WITH SCORE 2063.108
AT ITER 5796 NEW BEST:: SOT 10450 SOS 4112 HAS SOPS 4112 HAS SOUS 2056 HAS SOUPS 2056 WITH SCORE 2060.112
AT ITER 5803 NEW BEST:: SOT 10450 SOS 4112 HAS SOPS 4112 HAS SOUS 2054 HAS SOUPS 2054 WITH SCORE 2058.112
AT ITER 5829 NEW BEST:: SOT 10450 SOS 4092 HAS SOPS 4092 HAS SOUS 2053 HAS SOUPS 2053 WITH SCORE 2057.092
AT ITER 5847 NEW BEST:: SOT 10448 SOS 4096 HAS SOPS 4096 HAS SOUS 2051 HAS SOUPS 2051 WITH SCORE 2055.096
AT ITER 5871 NEW BEST:: SOT 10447 SOS 4094 HAS SOPS 4094 HAS SOUS 2050 HAS SOUPS 2050 WITH SCORE 2054.094
AT ITER 5932 NEW BEST:: SOT 10447 SOS 4092 HAS SOPS 4092 HAS SOUS 2049 HAS SOUPS 2049 WITH SCORE 2053.092
AT ITER 5973 NEW BEST:: SOT 10446 SOS 4091 HAS SOPS 4091 HAS SOUS 2048 HAS SOUPS 2048 WITH SCORE 2052.091
AT ITER 6004 NEW BEST:: SOT 10444 SOS 4089 HAS SOPS 4089 HAS SOUS 2043 HAS SOUPS 2043 WITH SCORE 2047.089
AT ITER 6025 NEW BEST:: SOT 10417 SOS 4062 HAS SOPS 4062 HAS SOUS 2024 HAS SOUPS 2024 WITH SCORE 2028.062
AT ITER 6049 NEW BEST:: SOT 10414 SOS 4054 HAS SOPS 4054 HAS SOUS 2014 HAS SOUPS 2014 WITH SCORE 2018.054
AT ITER 6091 NEW BEST:: SOT 10413 SOS 4061 HAS SOPS 4061 HAS SOUS 2013 HAS SOUPS 2013 WITH SCORE 2017.061
AT ITER 6094 NEW BEST:: SOT 10411 SOS 4057 HAS SOPS 4057 HAS SOUS 2011 HAS SOUPS 2011 WITH SCORE 2015.057
AT ITER 6112 NEW BEST:: SOT 10397 SOS 4015 HAS SOPS 4015 HAS SOUS 1996 HAS SOUPS 1996 WITH SCORE 2000.015
AT ITER 6135 NEW BEST:: SOT 10394 SOS 4009 HAS SOPS 4009 HAS SOUS 1993 HAS SOUPS 1993 WITH SCORE 1997.009
AT ITER 6146 NEW BEST:: SOT 10384 SOS 3987 HAS SOPS 3987 HAS SOUS 1990 HAS SOUPS 1990 WITH SCORE 1993.987
AT ITER 6196 NEW BEST:: SOT 10383 SOS 3984 HAS SOPS 3984 HAS SOUS 1989 HAS SOUPS 1989 WITH SCORE 1992.984
AT ITER 6399 NEW BEST:: SOT 10380 SOS 3977 HAS SOPS 3977 HAS SOUS 1988 HAS SOUPS 1988 WITH SCORE 1991.977
AT ITER 6402 NEW BEST:: SOT 10370 SOS 3971 HAS SOPS 3971 HAS SOUS 1980 HAS SOUPS 1980 WITH SCORE 1983.971
AT ITER 6508 NEW BEST:: SOT 10368 SOS 3969 HAS SOPS 3969 HAS SOUS 1976 HAS SOUPS 1976 WITH SCORE 1979.969
AT ITER 6523 NEW BEST:: SOT 10368 SOS 3969 HAS SOPS 3969 HAS SOUS 1975 HAS SOUPS 1975 WITH SCORE 1978.969
AT ITER 6524 NEW BEST:: SOT 10366 SOS 3957 HAS SOPS 3957 HAS SOUS 1974 HAS SOUPS 1974 WITH SCORE 1977.957
AT ITER 6549 NEW BEST:: SOT 10366 SOS 3961 HAS SOPS 3961 HAS SOUS 1966 HAS SOUPS 1966 WITH SCORE 1969.961
AT ITER 6607 NEW BEST:: SOT 10364 SOS 3954 HAS SOPS 3954 HAS SOUS 1949 HAS SOUPS 1949 WITH SCORE 1952.954
AT ITER 6791 NEW BEST:: SOT 10361 SOS 3948 HAS SOPS 3948 HAS SOUS 1945 HAS SOUPS 1945 WITH SCORE 1948.948
AT ITER 6875 NEW BEST:: SOT 10360 SOS 3947 HAS SOPS 3947 HAS SOUS 1944 HAS SOUPS 1944 WITH SCORE 1947.947
AT ITER 6878 NEW BEST:: SOT 10348 SOS 3935 HAS SOPS 3935 HAS SOUS 1943 HAS SOUPS 1943 WITH SCORE 1946.935
AT ITER 6922 NEW BEST:: SOT 10342 SOS 3932 HAS SOPS 3932 HAS SOUS 1940 HAS SOUPS 1940 WITH SCORE 1943.932
AT ITER 7116 NEW BEST:: SOT 10334 SOS 3924 HAS SOPS 3924 HAS SOUS 1939 HAS SOUPS 1939 WITH SCORE 1942.924
AT ITER 7139 NEW BEST:: SOT 10331 SOS 3921 HAS SOPS 3921 HAS SOUS 1933 HAS SOUPS 1933 WITH SCORE 1936.921
AT ITER 7213 NEW BEST:: SOT 10333 SOS 3927 HAS SOPS 3927 HAS SOUS 1932 HAS SOUPS 1932 WITH SCORE 1935.927
AT ITER 7414 NEW BEST:: SOT 10337 SOS 3926 HAS SOPS 3926 HAS SOUS 1931 HAS SOUPS 1931 WITH SCORE 1934.926
AT ITER 7419 NEW BEST:: SOT 10335 SOS 3921 HAS SOPS 3921 HAS SOUS 1931 HAS SOUPS 1931 WITH SCORE 1934.921
AT ITER 7443 NEW BEST:: SOT 10335 SOS 3919 HAS SOPS 3919 HAS SOUS 1931 HAS SOUPS 1931 WITH SCORE 1934.919
AT ITER 7453 NEW BEST:: SOT 10335 SOS 3919 HAS SOPS 3919 HAS SOUS 1928 HAS SOUPS 1928 WITH SCORE 1931.919
AT ITER 7727 NEW BEST:: SOT 10336 SOS 3916 HAS SOPS 3916 HAS SOUS 1928 HAS SOUPS 1928 WITH SCORE 1931.916
AT ITER 7818 NEW BEST:: SOT 10338 SOS 3910 HAS SOPS 3910 HAS SOUS 1926 HAS SOUPS 1926 WITH SCORE 1929.91
AT ITER 7903 NEW BEST:: SOT 10336 SOS 3948 HAS SOPS 3948 HAS SOUS 1925 HAS SOUPS 1925 WITH SCORE 1928.948
AT ITER 8004 NEW BEST:: SOT 10336 SOS 3946 HAS SOPS 3946 HAS SOUS 1925 HAS SOUPS 1925 WITH SCORE 1928.946
AT ITER 8052 NEW BEST:: SOT 10340 SOS 3939 HAS SOPS 3939 HAS SOUS 1923 HAS SOUPS 1923 WITH SCORE 1926.939
AT ITER 8311 NEW BEST:: SOT 10337 SOS 3937 HAS SOPS 3937 HAS SOUS 1923 HAS SOUPS 1923 WITH SCORE 1926.937
AT ITER 8393 NEW BEST:: SOT 10332 SOS 3932 HAS SOPS 3932 HAS SOUS 1919 HAS SOUPS 1919 WITH SCORE 1922.932
AT ITER 8612 NEW BEST:: SOT 10325 SOS 3936 HAS SOPS 3936 HAS SOUS 1917 HAS SOUPS 1917 WITH SCORE 1920.936
AT ITER 8652 NEW BEST:: SOT 10325 SOS 3927 HAS SOPS 3927 HAS SOUS 1917 HAS SOUPS 1917 WITH SCORE 1920.927
AT ITER 8778 NEW BEST:: SOT 10324 SOS 3925 HAS SOPS 3925 HAS SOUS 1915 HAS SOUPS 1915 WITH SCORE 1918.925
AT ITER 8855 NEW BEST:: SOT 10312 SOS 3913 HAS SOPS 3913 HAS SOUS 1915 HAS SOUPS 1915 WITH SCORE 1918.913
AT ITER 8903 NEW BEST:: SOT 10312 SOS 3907 HAS SOPS 3907 HAS SOUS 1914 HAS SOUPS 1914 WITH SCORE 1917.907
AT ITER 9037 NEW BEST:: SOT 10311 SOS 3903 HAS SOPS 3903 HAS SOUS 1913 HAS SOUPS 1913 WITH SCORE 1916.903
AT ITER 9152 NEW BEST:: SOT 10312 SOS 3898 HAS SOPS 3898 HAS SOUS 1907 HAS SOUPS 1907 WITH SCORE 1910.898
AT ITER 9270 NEW BEST:: SOT 10311 SOS 3893 HAS SOPS 3893 HAS SOUS 1906 HAS SOUPS 1906 WITH SCORE 1909.893
AT ITER 9320 NEW BEST:: SOT 10305 SOS 3887 HAS SOPS 3887 HAS SOUS 1906 HAS SOUPS 1906 WITH SCORE 1909.887
AT ITER 9396 NEW BEST:: SOT 10296 SOS 3882 HAS SOPS 3882 HAS SOUS 1903 HAS SOUPS 1903 WITH SCORE 1906.882
AT ITER 9520 NEW BEST:: SOT 10294 SOS 3878 HAS SOPS 3878 HAS SOUS 1901 HAS SOUPS 1901 WITH SCORE 1904.878
AT ITER 9688 NEW BEST:: SOT 10296 SOS 3878 HAS SOPS 3878 HAS SOUS 1899 HAS SOUPS 1899 WITH SCORE 1902.878
AT ITER 9784 NEW BEST:: SOT 10296 SOS 3874 HAS SOPS 3874 HAS SOUS 1899 HAS SOUPS 1899 WITH SCORE 1902.874
AT ITER 9801 NEW BEST:: SOT 10295 SOS 3873 HAS SOPS 3873 HAS SOUS 1898 HAS SOUPS 1898 WITH SCORE 1901.873
AT ITER 9836 NEW BEST:: SOT 10295 SOS 3873 HAS SOPS 3873 HAS SOUS 1897 HAS SOUPS 1897 WITH SCORE 1900.873
STATE_SPACE STATES 26085150 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 6 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 23 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 238899108 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679190516167

--------------------
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="UtilityControlRoom-PT-Z2T3N06"
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 UtilityControlRoom-PT-Z2T3N06, 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 r483-tall-167912696601104"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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